| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_3.opb |
| MD5SUM | 4ec3492215da9d1ca4e43111c42870de |
| 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) | 2488 |
| Sum of products size (including duplicates) | 4976 |
| Number of different products | 1244 |
| Sum of products size | 2488 |
0.00/0.00 c 2016-06-07T03:04: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-4080091-1465261490.opb"] 0.00/0.01 c use --random-gen="2385837289 3327948780 233642536 3597314725 3063468183 2921237891 829294318 1446851055 4247519271 3435929916 1439960327 1498303187 3323894750 2420011970 2798051407 355040318 1236512875 755596679 4218755681 101982513 385340523 3827100889 388648049 3665032357 3896287223 4294567954 3994487248 3555163863 4289725252 1501785368 3263408558 3084865758 2829920755 2109036806 2291274407 3035214728 852245308 2155942683 899696529 1075984310 1743911028 2028101719 1932087640 409874754 3996539298 230555961 4045972027 262925487 1653037798 1910980844 341264447 1216904819 3381635469 4120973698 2814945137 1642117667 4102263265 236740527 1671337428 1977714402 546003971 3834306761 2300413011 3313885705 3369148194 857409347 4149395487 3206164842 3284845709 905761732 2912586797 426494729 1771650816 1724266977 1639101716 789001721 817181610 1587415841 3967828319 981731886 3913880957 1858831616 2032419144 2247002333 4077850762 1232076241 3601594785 1489207004 3369063435 3138607060 876730051 3104275942 2267524365 2349018823 2716534189 2591928099 199550279 4111447689 83334838 1222512753 1305801043 2309657869 4068229930 2110274746 3166397655 1847269765 264096432 2864364490 3473342742 838038792 551858362 2566766726 241957533 2959161965 3696655961 2759775899 1359341603 4142775535 1492646138 2394798281 992492426 4273524197 810024357 3014062042 2139516047 1632806496 1884835023 624401624 461116021 2971631249 2143175040 3318693733 2121186205 3036529271 1850556557 421457611 1272047131 1972751169 4077457367 2842508412 3437078156 747734189 2031363783 213989867 3705417885 1328579394 3794144891 3116611543 1205485848 733527377 3378980826 3217853864 511158852 3935498476 2006448256 377635284 1847218337 1291035768 3438533313 1274338345 3631352117 1445512388 2612388590 318857089 3618006207 2639582982 4246435741 3888379054 3351343440 2311489671 2404157094 1221617089 1709000722 3695647760 3899514692 811866164 3334323978 3260357377 1120806889 277125024 4183902042 1984735002 441103322 2708409718 1841896597 2185499039 114710449 1365338041 1600008122 1482672386 2850441344 2696614562 112049311 1356407003 171141414 4110675390 1312063222 2403423811 1008807612 1412940946 2143235879 1769304137 3807919074 1767969565 1261205603 1203475270 1901398813 2364255035 1106582414 3200127083 529302988 248079943 1068159823 3308658934 1274628592 3669472424 645180943 2414069223 1796363570 3486832430 2048355483 945193613 2326438286 1043502539 1467512162 1220624260 2507437861 1360804700 3068775441 3209571081 3424212626 1920198813 3322385709 1482851375 3599544724 4105320903 331468332 725169139 216846804 1066034951 989450764 2582832378 967623430 49341193 42737152 2690784728 4139369682 4180815434 1800070003 3400294173 3362750222 850982115 734147867 3829784389 182382783 3533911035 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 | 996 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 112 | 0 | 996 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.003s 0.00/0.05 c #wall_clock_time = 0.003s 0.00/0.05 c #decision = 112 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 o -15 0.00/0.05 c BCD2: updating upper bound: 100 -> 84 0.00/0.05 c BCD2: 0 <= obj <= 84 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 | 996 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 51 | 2 | 996 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 = 51 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 <= 84 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 | 996 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 51 | 1 | 996 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 <= 84 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 | 996 0 | 1 | 0 0.09/0.10 c 0.0s | 1 | 2326 | 100 | 1096 0 | 1 | 1 0.09/0.17 c 0.1s | 2 | 4273 | 250 | 1206 0 | 1 | 1 0.19/0.27 c 0.2s | 3 | 6155 | 475 | 1327 0 | 1 | 1 0.39/0.45 c 0.4s | 4 | 10540 | 813 | 1460 0 | 1 | 1 0.58/0.69 c 0.6s | 5 | 15589 | 1320 | 1607 0 | 1 | 1 1.10/1.10 c 1.0s | 6 | 20828 | 2081 | 1768 1 | 1 | 1 1.49/1.53 c 1.5s | 7 | 36162 | 3223 | 1945 2 | 1 | 1 2.09/2.16 c 2.1s | 8 | 61583 | 4936 | 2140 4 | 1 | 1 2.99/3.06 c 3.0s | 9 | 94500 | 7506 | 2354 6 | 1 | 1 4.49/4.52 c 4.5s | 10 | 142710 | 11361 | 2590 9 | 1 | 1 6.49/6.56 c 6.5s | 10 | 194381 | 16761 | 2590 13 | 1 | 1 6.60/6.70 c 6.6s | 11 | 200573 | 17144 | 2850 13 | 1 | 1 8.69/8.73 c 8.7s | 11 | 246769 | 22444 | 2850 16 | 1 | 1 9.90/9.97 c 9.9s | 12 | 280417 | 25819 | 3136 19 | 1 | 1 11.89/11.99 c 11.9s | 12 | 309303 | 30719 | 3136 22 | 1 | 1 13.89/13.99 c 13.9s | 12 | 325237 | 35519 | 3136 25 | 1 | 1 15.19/15.26 c 15.2s | 13 | 348572 | 38832 | 3450 26 | 1 | 1 17.29/17.31 c 17.3s | 13 | 417458 | 44332 | 3450 30 | 1 | 1 19.29/19.36 c 19.3s | 13 | 470324 | 49732 | 3450 33 | 1 | 1 21.29/21.37 c 21.3s | 13 | 522207 | 54632 | 3450 35 | 1 | 1 22.79/22.86 c 22.8s | 14 | 543221 | 58352 | 3796 37 | 1 | 1 24.79/24.88 c 24.8s | 14 | 583439 | 63752 | 3796 40 | 1 | 1 26.89/26.90 c 26.8s | 14 | 635432 | 68952 | 3796 43 | 1 | 1 28.89/28.91 c 28.8s | 14 | 659172 | 73952 | 3796 45 | 1 | 1 30.89/30.92 c 30.9s | 14 | 717071 | 78752 | 3796 48 | 1 | 1 32.89/32.94 c 32.9s | 14 | 755437 | 83652 | 3796 50 | 1 | 1 34.48/34.56 c 34.5s | 15 | 785689 | 87632 | 4176 52 | 1 | 1 36.48/36.59 c 36.5s | 15 | 820927 | 92432 | 4176 54 | 1 | 1 38.59/38.61 c 38.6s | 15 | 856556 | 96832 | 4176 56 | 1 | 1 40.58/40.65 c 40.6s | 15 | 888389 | 101332 | 4176 58 | 1 | 1 42.58/42.67 c 42.6s | 15 | 920678 | 105632 | 4176 60 | 1 | 1 44.58/44.67 c 44.6s | 15 | 961992 | 110132 | 4176 62 | 1 | 1 46.68/46.70 c 46.6s | 15 | 982834 | 114232 | 4176 64 | 1 | 1 48.68/48.75 c 48.7s | 15 | 1016510 | 119232 | 4176 67 | 1 | 1 50.69/50.79 c 50.7s | 15 | 1038023 | 124332 | 4176 69 | 1 | 1 52.68/52.80 c 52.7s | 15 | 1052892 | 129032 | 4176 71 | 1 | 1 54.08/54.10 c 54.0s | 16 | 1065593 | 131552 | 4594 72 | 1 | 1 56.09/56.14 c 56.1s | 16 | 1099929 | 136252 | 4594 74 | 1 | 1 58.08/58.14 c 58.1s | 16 | 1117947 | 140552 | 4594 76 | 1 | 1 60.08/60.14 c 60.1s | 16 | 1145416 | 144752 | 4594 78 | 1 | 1 62.08/62.17 c 62.1s | 16 | 1176656 | 149852 | 4594 80 | 1 | 1 64.08/64.18 c 64.1s | 16 | 1204233 | 154752 | 4594 82 | 1 | 1 66.18/66.21 c 66.2s | 16 | 1229548 | 158952 | 4594 84 | 1 | 1 68.18/68.26 c 68.2s | 16 | 1263146 | 163452 | 4594 85 | 1 | 1 70.28/70.31 c 70.3s | 16 | 1290872 | 168252 | 4594 87 | 1 | 1 72.28/72.33 c 72.3s | 16 | 1320943 | 172652 | 4594 89 | 1 | 1 74.27/74.33 c 74.3s | 16 | 1348379 | 177352 | 4594 91 | 1 | 1 76.27/76.37 c 76.3s | 16 | 1367770 | 181952 | 4594 93 | 1 | 1 78.37/78.41 c 78.3s | 16 | 1401473 | 186352 | 4594 95 | 1 | 1 80.38/80.45 c 80.4s | 16 | 1443566 | 190752 | 4594 97 | 1 | 1 82.37/82.47 c 82.4s | 16 | 1468065 | 195052 | 4594 99 | 1 | 1 83.47/83.57 c 83.5s | 17 | 1483376 | 197432 | 5054 100 | 1 | 1 85.47/85.57 c 85.5s | 17 | 1520378 | 201332 | 5054 101 | 1 | 1 87.57/87.61 c 87.5s | 17 | 1543029 | 205332 | 5054 103 | 1 | 1 89.57/89.61 c 89.5s | 17 | 1584373 | 209432 | 5054 104 | 1 | 1 91.57/91.63 c 91.6s | 17 | 1611884 | 213432 | 5054 106 | 1 | 1 93.58/93.67 c 93.6s | 17 | 1653342 | 217832 | 5054 107 | 1 | 1 95.57/95.68 c 95.6s | 17 | 1676425 | 222132 | 5054 109 | 1 | 1 97.57/97.69 c 97.6s | 17 | 1688485 | 225832 | 5054 110 | 1 | 1 99.67/99.71 c 99.6s | 17 | 1704167 | 229832 | 5054 112 | 1 | 1 101.68/101.72 c 101s | 17 | 1715743 | 233132 | 5054 113 | 1 | 1 103.68/103.74 c 103s | 17 | 1752346 | 237132 | 5054 115 | 1 | 1 105.68/105.75 c 105s | 17 | 1786276 | 241332 | 5054 116 | 1 | 1 107.68/107.76 c 107s | 17 | 1810192 | 245732 | 5054 118 | 1 | 1 109.78/109.81 c 109s | 17 | 1845953 | 249532 | 5054 119 | 1 | 1 111.78/111.86 c 111s | 17 | 1876498 | 253532 | 5054 121 | 1 | 1 113.78/113.88 c 113s | 17 | 1896312 | 257432 | 5054 123 | 1 | 1 115.88/115.91 c 115s | 17 | 1916222 | 261332 | 5054 124 | 1 | 1 117.88/117.92 c 117s | 17 | 1931880 | 265532 | 5054 126 | 1 | 1 119.88/119.94 c 119s | 17 | 1941112 | 269232 | 5054 127 | 1 | 1 121.87/121.95 c 121s | 17 | 1949228 | 272532 | 5054 128 | 1 | 1 123.87/123.97 c 123s | 17 | 1977741 | 276632 | 5054 130 | 1 | 1 125.87/125.99 c 125s | 17 | 1996838 | 280732 | 5054 131 | 1 | 1 127.97/128.01 c 127s | 17 | 2032137 | 284632 | 5054 133 | 1 | 1 129.97/130.01 c 129s | 17 | 2066357 | 288532 | 5054 134 | 1 | 1 131.98/132.06 c 132s | 17 | 2084179 | 292232 | 5054 136 | 1 | 1 134.07/134.11 c 134s | 17 | 2088410 | 295432 | 5560 137 | 1 | 1 134.47/134.59 c 134s | 18 | 2091649 | 296252 | 5560 137 | 1 | 1 136.57/136.60 c 136s | 18 | 2116275 | 299652 | 5560 138 | 1 | 1 138.58/138.62 c 138s | 18 | 2145393 | 303352 | 5560 140 | 1 | 1 140.57/140.65 c 140s | 18 | 2166212 | 306852 | 5560 141 | 1 | 1 142.67/142.72 c 142s | 18 | 2177337 | 309852 | 5560 142 | 1 | 1 144.67/144.75 c 144s | 18 | 2208694 | 313652 | 5560 143 | 1 | 1 146.67/146.79 c 146s | 18 | 2237293 | 317752 | 5560 145 | 1 | 1 148.77/148.81 c 148s | 18 | 2284595 | 321752 | 5560 146 | 1 | 1 150.78/150.87 c 150s | 18 | 2330219 | 325552 | 5560 147 | 1 | 1 152.77/152.89 c 152s | 18 | 2363396 | 329252 | 5560 149 | 1 | 1 154.87/154.96 c 154s | 18 | 2395893 | 333152 | 5560 150 | 1 | 1 156.87/156.96 c 156s | 18 | 2426408 | 336852 | 5560 151 | 1 | 1 158.87/158.99 c 158s | 18 | 2470572 | 341152 | 5560 153 | 1 | 1 160.97/161.00 c 160s | 18 | 2498224 | 345152 | 5560 154 | 1 | 1 162.96/163.02 c 162s | 18 | 2524249 | 348952 | 5560 156 | 1 | 1 164.97/165.03 c 164s | 18 | 2539599 | 352852 | 5560 157 | 1 | 1 166.96/167.05 c 166s | 18 | 2559916 | 357052 | 5560 158 | 1 | 1 168.96/169.06 c 169s | 18 | 2569225 | 360452 | 5560 160 | 1 | 1 170.96/171.07 c 171s | 18 | 2581511 | 363852 | 5560 161 | 1 | 1 173.06/173.11 c 173s | 18 | 2594383 | 367552 | 5560 162 | 1 | 1 175.06/175.16 c 175s | 18 | 2606336 | 371152 | 5560 163 | 1 | 1 177.07/177.19 c 177s | 18 | 2627665 | 374752 | 5560 165 | 1 | 1 179.16/179.24 c 179s | 18 | 2650236 | 378852 | 5560 166 | 1 | 1 181.16/181.26 c 181s | 18 | 2663485 | 382352 | 5560 167 | 1 | 1 183.16/183.27 c 183s | 18 | 2672817 | 385552 | 5560 168 | 1 | 1 185.26/185.32 c 185s | 18 | 2693535 | 389152 | 5560 170 | 1 | 1 187.26/187.36 c 187s | 18 | 2708305 | 393052 | 5560 171 | 1 | 1 189.36/189.40 c 189s | 18 | 2723257 | 396952 | 5560 172 | 1 | 1 191.36/191.40 c 191s | 18 | 2736793 | 400552 | 5560 173 | 1 | 1 193.36/193.42 c 193s | 18 | 2753399 | 404052 | 5560 175 | 1 | 1 195.36/195.45 c 195s | 18 | 2777955 | 407952 | 5560 176 | 1 | 1 197.36/197.46 c 197s | 18 | 2839718 | 412252 | 5560 178 | 1 | 1 199.35/199.49 c 199s | 18 | 2870314 | 416252 | 5560 179 | 1 | 1 201.45/201.54 c 201s | 18 | 2885900 | 420052 | 5560 180 | 1 | 1 203.46/203.59 c 203s | 18 | 2898308 | 423852 | 5560 182 | 1 | 1 205.55/205.61 c 205s | 18 | 2917431 | 428152 | 5560 183 | 1 | 1 207.55/207.63 c 207s | 18 | 2943694 | 432352 | 5560 185 | 1 | 1 209.55/209.64 c 209s | 18 | 2963053 | 435852 | 5560 186 | 1 | 1 211.55/211.66 c 211s | 18 | 2974955 | 439452 | 5560 187 | 1 | 1 213.56/213.68 c 213s | 18 | 2991068 | 443052 | 6117 188 | 1 | 1 214.36/214.41 c 214s | 19 | 2997358 | 444482 | 6117 189 | 1 | 1 216.36/216.45 c 216s | 19 | 3025469 | 448582 | 6117 190 | 1 | 1 218.36/218.45 c 218s | 19 | 3044792 | 452782 | 6117 191 | 1 | 1 220.36/220.46 c 220s | 19 | 3057288 | 456882 | 6117 192 | 1 | 1 222.36/222.47 c 222s | 19 | 3079940 | 460582 | 6117 194 | 1 | 1 224.47/224.51 c 224s | 19 | 3099948 | 464282 | 6117 195 | 1 | 1 226.46/226.56 c 226s | 19 | 3115576 | 467782 | 6117 196 | 1 | 1 228.46/228.57 c 228s | 19 | 3128461 | 471482 | 6117 197 | 1 | 1 230.56/230.62 c 230s | 19 | 3140693 | 475182 | 6117 198 | 1 | 1 232.56/232.65 c 232s | 19 | 3150939 | 479082 | 6117 199 | 1 | 1 234.66/234.70 c 234s | 19 | 3157696 | 482882 | 6117 201 | 1 | 1 236.66/236.71 c 236s | 19 | 3166562 | 486182 | 6117 202 | 1 | 1 238.66/238.75 c 238s | 19 | 3181963 | 489382 | 6117 203 | 1 | 1 240.66/240.78 c 240s | 19 | 3210704 | 493382 | 6117 204 | 1 | 1 242.66/242.79 c 242s | 19 | 3246273 | 497682 | 6117 205 | 1 | 1 244.75/244.82 c 244s | 19 | 3275603 | 501782 | 6117 207 | 1 | 1 246.75/246.82 c 246s | 19 | 3305587 | 505382 | 6117 208 | 1 | 1 248.75/248.87 c 248s | 19 | 3326037 | 508982 | 6117 209 | 1 | 1 250.76/250.87 c 250s | 19 | 3360606 | 512782 | 6117 210 | 1 | 1 252.85/252.94 c 252s | 19 | 3393120 | 516982 | 6117 212 | 1 | 1 254.85/254.94 c 254s | 19 | 3425992 | 521382 | 6117 213 | 1 | 1 256.85/256.97 c 256s | 19 | 3452077 | 525382 | 6117 214 | 1 | 1 258.85/258.99 c 258s | 19 | 3471621 | 529082 | 6117 215 | 1 | 1 260.95/261.01 c 260s | 19 | 3488132 | 532882 | 6117 217 | 1 | 1 262.96/263.02 c 262s | 19 | 3507166 | 536782 | 6117 218 | 1 | 1 264.95/265.06 c 264s | 19 | 3536109 | 540682 | 6117 219 | 1 | 1 266.95/267.07 c 267s | 19 | 3554443 | 544682 | 6117 220 | 1 | 1 269.05/269.15 c 269s | 19 | 3567129 | 548382 | 6117 222 | 1 | 1 271.05/271.18 c 271s | 19 | 3603977 | 552482 | 6117 223 | 1 | 1 273.15/273.22 c 273s | 19 | 3626009 | 556682 | 6117 224 | 1 | 1 275.15/275.23 c 275s | 19 | 3653570 | 560982 | 6117 226 | 1 | 1 277.15/277.23 c 277s | 19 | 3686227 | 564682 | 6117 227 | 1 | 1 279.15/279.27 c 279s | 19 | 3703006 | 568682 | 6117 228 | 1 | 1 281.25/281.31 c 281s | 19 | 3716763 | 572582 | 6117 229 | 1 | 1 283.24/283.33 c 283s | 19 | 3735957 | 576382 | 6117 230 | 1 | 1 285.24/285.37 c 285s | 19 | 3745442 | 580082 | 6117 232 | 1 | 1 287.34/287.41 c 287s | 19 | 3766159 | 583782 | 6117 233 | 1 | 1 289.35/289.45 c 289s | 19 | 3785648 | 587582 | 6117 234 | 1 | 1 291.34/291.49 c 291s | 19 | 3816023 | 591982 | 6117 235 | 1 | 1 293.44/293.50 c 293s | 19 | 3841278 | 596382 | 6117 237 | 1 | 1 295.44/295.53 c 295s | 19 | 3853792 | 599982 | 6117 238 | 1 | 1 297.44/297.57 c 297s | 19 | 3866053 | 603782 | 6117 239 | 1 | 1 299.54/299.60 c 299s | 19 | 3873629 | 607282 | 6117 240 | 1 | 1 301.64/301.70 c 301s | 19 | 3880642 | 610282 | 6117 241 | 1 | 1 303.65/303.74 c 303s | 19 | 3910957 | 613882 | 6117 242 | 1 | 1 305.65/305.78 c 305s | 19 | 3940973 | 617582 | 6117 244 | 1 | 1 307.75/307.83 c 307s | 19 | 3962779 | 621082 | 6117 245 | 1 | 1 309.75/309.88 c 309s | 19 | 3985373 | 625082 | 6117 246 | 1 | 1 311.85/311.92 c 311s | 19 | 3997310 | 628782 | 6117 247 | 1 | 1 313.84/313.95 c 313s | 19 | 4012615 | 632082 | 6117 248 | 1 | 1 315.84/315.96 c 315s | 19 | 4045207 | 635982 | 6117 249 | 1 | 1 317.85/317.99 c 317s | 19 | 4066850 | 639682 | 6117 251 | 1 | 1 319.94/320.00 c 319s | 19 | 4092415 | 643782 | 6117 252 | 1 | 1 321.94/322.02 c 321s | 19 | 4111254 | 647382 | 6117 253 | 1 | 1 323.94/324.02 c 323s | 19 | 4125799 | 651182 | 6117 254 | 1 | 1 326.04/326.11 c 326s | 19 | 4143320 | 655282 | 6117 256 | 1 | 1 328.04/328.14 c 328s | 19 | 4160688 | 659582 | 6117 257 | 1 | 1 330.05/330.14 c 330s | 19 | 4169132 | 662982 | 6729 258 | 1 | 1 332.04/332.18 c 332s | 19 | 4182632 | 666182 | 6729 259 | 1 | 1 332.44/332.59 c 332s | 20 | 4184357 | 666827 | 6729 259 | 1 | 1 334.64/334.76 c 334s | 20 | 4191871 | 669827 | 6729 260 | 1 | 1 336.64/336.78 c 336s | 20 | 4224383 | 674327 | 6729 261 | 1 | 1 338.74/338.82 c 338s | 20 | 4261400 | 679127 | 6729 262 | 1 | 1 340.74/340.85 c 340s | 20 | 4300878 | 683627 | 6729 264 | 1 | 1 342.73/342.87 c 342s | 20 | 4322950 | 687627 | 6729 265 | 1 | 1 344.83/344.91 c 344s | 20 | 4334065 | 691527 | 6729 266 | 1 | 1 346.83/346.93 c 346s | 20 | 4355358 | 695327 | 6729 267 | 1 | 1 348.83/348.98 c 348s | 20 | 4389012 | 699827 | 6729 269 | 1 | 1 350.94/351.00 c 350s | 20 | 4417937 | 704327 | 6729 270 | 1 | 1 352.93/353.05 c 352s | 20 | 4431466 | 708327 | 6729 271 | 1 | 1 354.93/355.08 c 355s | 20 | 4461162 | 712227 | 6729 272 | 1 | 1 356.93/357.09 c 357s | 20 | 4488064 | 716427 | 6729 273 | 1 | 1 359.03/359.12 c 359s | 20 | 4513296 | 720827 | 6729 275 | 1 | 1 361.03/361.14 c 361s | 20 | 4532240 | 725027 | 6729 276 | 1 | 1 363.04/363.15 c 363s | 20 | 4545246 | 728727 | 6729 277 | 1 | 1 365.03/365.16 c 365s | 20 | 4559939 | 732927 | 6729 278 | 1 | 1 367.13/367.21 c 367s | 20 | 4574173 | 737027 | 6729 279 | 1 | 1 369.13/369.27 c 369s | 20 | 4582424 | 740727 | 6729 280 | 1 | 1 371.13/371.27 c 371s | 20 | 4588402 | 744127 | 6729 281 | 1 | 1 373.24/373.31 c 373s | 20 | 4609949 | 747427 | 6729 282 | 1 | 1 375.24/375.32 c 375s | 20 | 4634126 | 751027 | 6729 283 | 1 | 1 377.24/377.35 c 377s | 20 | 4646855 | 754827 | 6729 284 | 1 | 1 379.24/379.38 c 379s | 20 | 4665344 | 757927 | 6729 285 | 1 | 1 381.34/381.41 c 381s | 20 | 4708971 | 762027 | 6729 287 | 1 | 1 383.33/383.45 c 383s | 20 | 4728972 | 765927 | 6729 288 | 1 | 1 385.33/385.50 c 385s | 20 | 4739268 | 769627 | 6729 289 | 1 | 1 387.43/387.52 c 387s | 20 | 4748953 | 772527 | 6729 290 | 1 | 1 389.44/389.57 c 389s | 20 | 4773619 | 776527 | 6729 291 | 1 | 1 391.54/391.62 c 391s | 20 | 4800619 | 780627 | 6729 292 | 1 | 1 393.53/393.66 c 393s | 20 | 4828146 | 784427 | 6729 293 | 1 | 1 395.63/395.70 c 395s | 20 | 4855373 | 788827 | 6729 294 | 1 | 1 397.63/397.72 c 397s | 20 | 4867258 | 792227 | 6729 295 | 1 | 1 399.63/399.73 c 399s | 20 | 4881490 | 796227 | 6729 296 | 1 | 1 401.63/401.76 c 401s | 20 | 4892646 | 800227 | 6729 298 | 1 | 1 403.64/403.79 c 403s | 20 | 4900030 | 804027 | 6729 299 | 1 | 1 405.73/405.84 c 405s | 20 | 4917297 | 808127 | 6729 300 | 1 | 1 407.73/407.89 c 407s | 20 | 4937430 | 812427 | 6729 301 | 1 | 1 409.73/409.89 c 409s | 20 | 4949721 | 816227 | 6729 302 | 1 | 1 411.83/411.92 c 411s | 20 | 4977691 | 820127 | 6729 303 | 1 | 1 413.83/413.94 c 413s | 20 | 4999683 | 823627 | 6729 304 | 1 | 1 415.83/415.98 c 415s | 20 | 5022793 | 827527 | 6729 305 | 1 | 1 417.93/418.01 c 417s | 20 | 5037676 | 830927 | 6729 306 | 1 | 1 419.93/420.03 c 419s | 20 | 5051795 | 834427 | 6729 307 | 1 | 1 421.92/422.06 c 421s | 20 | 5059718 | 837527 | 6729 308 | 1 | 1 423.92/424.06 c 424s | 20 | 5068975 | 841127 | 6729 309 | 1 | 1 426.02/426.10 c 426s | 20 | 5080225 | 844827 | 6729 310 | 1 | 1 428.02/428.14 c 428s | 20 | 5087908 | 848327 | 6729 311 | 1 | 1 430.03/430.16 c 430s | 20 | 5104065 | 851727 | 6729 312 | 1 | 1 432.12/432.20 c 432s | 20 | 5124693 | 855727 | 6729 314 | 1 | 1 434.12/434.23 c 434s | 20 | 5137883 | 859527 | 6729 315 | 1 | 1 436.12/436.25 c 436s | 20 | 5151419 | 863827 | 6729 316 | 1 | 1 438.12/438.29 c 438s | 20 | 5158604 | 867527 | 6729 317 | 1 | 1 440.22/440.30 c 440s | 20 | 5164279 | 871027 | 6729 318 | 1 | 1 442.23/442.33 c 442s | 20 | 5179433 | 874527 | 6729 319 | 1 | 1 444.22/444.38 c 444s | 20 | 5203498 | 878427 | 6729 320 | 1 | 1 446.32/446.41 c 446s | 20 | 5212882 | 881927 | 6729 321 | 1 | 1 448.32/448.44 c 448s | 20 | 5225068 | 884827 | 6729 322 | 1 | 1 450.32/450.45 c 450s | 20 | 5242854 | 888627 | 6729 323 | 1 | 1 452.32/452.46 c 452s | 20 | 5258070 | 892727 | 6729 324 | 1 | 1 454.32/454.47 c 454s | 20 | 5277938 | 896927 | 6729 325 | 1 | 1 456.32/456.50 c 456s | 20 | 5292292 | 900627 | 6729 327 | 1 | 1 458.42/458.50 c 458s | 20 | 5320537 | 905027 | 6729 328 | 1 | 1 460.42/460.52 c 460s | 20 | 5340272 | 908927 | 6729 329 | 1 | 1 462.41/462.52 c 462s | 20 | 5350653 | 912527 | 6729 330 | 1 | 1 464.41/464.53 c 464s | 20 | 5365405 | 916427 | 6729 331 | 1 | 1 466.42/466.54 c 466s | 20 | 5376905 | 920027 | 6729 332 | 1 | 1 468.41/468.54 c 468s | 20 | 5384501 | 923427 | 6729 333 | 1 | 1 470.41/470.58 c 470s | 20 | 5392101 | 926727 | 6729 334 | 1 | 1 472.51/472.62 c 472s | 20 | 5404136 | 929827 | 6729 335 | 1 | 1 474.51/474.66 c 474s | 20 | 5418265 | 933827 | 6729 336 | 1 | 1 476.51/476.68 c 476s | 20 | 5428394 | 937527 | 6729 337 | 1 | 1 478.62/478.74 c 478s | 20 | 5433843 | 940827 | 6729 338 | 1 | 1 480.63/480.75 c 480s | 20 | 5444612 | 943927 | 6729 339 | 1 | 1 482.62/482.76 c 482s | 20 | 5458247 | 947727 | 6729 340 | 1 | 1 484.72/484.80 c 484s | 20 | 5470096 | 951727 | 6729 341 | 1 | 1 486.72/486.83 c 486s | 20 | 5476177 | 955127 | 6729 342 | 1 | 1 488.72/488.85 c 488s | 20 | 5484955 | 958727 | 6729 343 | 1 | 1 490.72/490.86 c 490s | 20 | 5493856 | 962327 | 6729 344 | 1 | 1 492.72/492.87 c 492s | 20 | 5501329 | 965927 | 6729 345 | 1 | 1 494.82/494.90 c 494s | 20 | 5508860 | 969427 | 6729 346 | 1 | 1 496.82/496.95 c 496s | 20 | 5512173 | 972227 | 6729 347 | 1 | 1 498.82/498.98 c 498s | 20 | 5523588 | 976327 | 6729 348 | 1 | 1 500.81/500.99 c 500s | 20 | 5528710 | 979827 | 6729 349 | 1 | 1 502.81/502.99 c 502s | 20 | 5536860 | 983527 | 6729 350 | 1 | 1 504.92/505.02 c 504s | 20 | 5545928 | 987127 | 6729 351 | 1 | 1 506.91/507.07 c 507s | 20 | 5552237 | 990627 | 6729 352 | 1 | 1 509.01/509.10 c 509s | 20 | 5579049 | 994027 | 7402 353 | 1 | 1 511.01/511.11 c 511s | 20 | 5602042 | 998127 | 7402 354 | 1 | 1 512.21/512.31 c 512s | 21 | 5609348 | 1000345 | 7402 355 | 1 | 1 514.21/514.31 c 514s | 21 | 5647658 | 1003845 | 7402 356 | 1 | 1 516.21/516.32 c 516s | 21 | 5681456 | 1007945 | 7402 357 | 1 | 1 518.21/518.32 c 518s | 21 | 5719203 | 1012445 | 7402 358 | 1 | 1 520.22/520.38 c 520s | 21 | 5736576 | 1016545 | 7402 359 | 1 | 1 522.21/522.38 c 522s | 21 | 5754236 | 1020545 | 7402 360 | 1 | 1 524.31/524.41 c 524s | 21 | 5775854 | 1024145 | 7402 361 | 1 | 1 526.31/526.43 c 526s | 21 | 5797880 | 1028145 | 7402 362 | 1 | 1 528.31/528.44 c 528s | 21 | 5814119 | 1031945 | 7402 363 | 1 | 1 530.41/530.50 c 530s | 21 | 5847040 | 1036045 | 7402 364 | 1 | 1 532.41/532.51 c 532s | 21 | 5878251 | 1040245 | 7402 366 | 1 | 1 534.41/534.53 c 534s | 21 | 5909821 | 1044445 | 7402 367 | 1 | 1 536.41/536.56 c 536s | 21 | 5941137 | 1048945 | 7402 368 | 1 | 1 538.41/538.59 c 538s | 21 | 5963129 | 1052945 | 7402 369 | 1 | 1 540.50/540.60 c 540s | 21 | 5975384 | 1056445 | 7402 370 | 1 | 1 542.50/542.60 c 542s | 21 | 6008778 | 1060145 | 7402 371 | 1 | 1 544.51/544.64 c 544s | 21 | 6028689 | 1064245 | 7402 372 | 1 | 1 546.50/546.65 c 546s | 21 | 6041524 | 1067945 | 7402 373 | 1 | 1 548.50/548.69 c 548s | 21 | 6052592 | 1071645 | 7402 374 | 1 | 1 550.60/550.72 c 550s | 21 | 6061282 | 1075045 | 7402 375 | 1 | 1 552.60/552.73 c 552s | 21 | 6072179 | 1078645 | 7402 376 | 1 | 1 554.60/554.76 c 554s | 21 | 6085428 | 1081845 | 7402 376 | 1 | 1 556.61/556.79 c 556s | 21 | 6102740 | 1085245 | 7402 377 | 1 | 1 558.71/558.81 c 558s | 21 | 6124647 | 1088845 | 7402 378 | 1 | 1 560.70/560.82 c 560s | 21 | 6138009 | 1092445 | 7402 379 | 1 | 1 562.70/562.83 c 562s | 21 | 6163018 | 1095945 | 7402 380 | 1 | 1 564.70/564.88 c 564s | 21 | 6176835 | 1099445 | 7402 381 | 1 | 1 566.90/567.04 c 566s | 21 | 6186565 | 1102945 | 7402 382 | 1 | 1 568.90/569.05 c 568s | 21 | 6201493 | 1106145 | 7402 383 | 1 | 1 570.91/571.07 c 571s | 21 | 6223870 | 1109845 | 7402 384 | 1 | 1 572.90/573.08 c 573s | 21 | 6239770 | 1113645 | 7402 385 | 1 | 1 574.90/575.09 c 575s | 21 | 6251374 | 1117145 | 7402 386 | 1 | 1 576.90/577.09 c 577s | 21 | 6266692 | 1120945 | 7402 387 | 1 | 1 579.00/579.12 c 579s | 21 | 6278812 | 1124845 | 7402 388 | 1 | 1 581.00/581.14 c 581s | 21 | 6288200 | 1128645 | 7402 389 | 1 | 1 583.00/583.16 c 583s | 21 | 6300974 | 1132445 | 7402 390 | 1 | 1 585.00/585.20 c 585s | 21 | 6310877 | 1135845 | 7402 391 | 1 | 1 587.10/587.21 c 587s | 21 | 6316997 | 1139245 | 7402 392 | 1 | 1 589.10/589.22 c 589s | 21 | 6330737 | 1142745 | 7402 392 | 1 | 1 591.10/591.27 c 591s | 21 | 6347998 | 1146345 | 7402 393 | 1 | 1 593.10/593.28 c 593s | 21 | 6371945 | 1149845 | 7402 394 | 1 | 1 595.20/595.30 c 595s | 21 | 6403670 | 1153645 | 7402 395 | 1 | 1 597.20/597.33 c 597s | 21 | 6426447 | 1157445 | 7402 396 | 1 | 1 599.19/599.36 c 599s | 21 | 6442908 | 1161445 | 7402 397 | 1 | 1 601.29/601.40 c 601s | 21 | 6455779 | 1165045 | 7402 398 | 1 | 1 603.49/603.66 c 603s | 21 | 6475533 | 1168845 | 7402 399 | 1 | 1 605.59/605.70 c 605s | 21 | 6508971 | 1173245 | 7402 401 | 1 | 1 607.59/607.77 c 607s | 21 | 6539703 | 1177845 | 7402 402 | 1 | 1 609.69/609.80 c 609s | 21 | 6561274 | 1181945 | 7402 403 | 1 | 1 611.69/611.80 c 611s | 21 | 6587610 | 1186245 | 7402 404 | 1 | 1 613.70/613.83 c 613s | 21 | 6598833 | 1190145 | 7402 405 | 1 | 1 615.69/615.89 c 615s | 21 | 6615382 | 1193445 | 7402 406 | 1 | 1 617.79/617.92 c 617s | 21 | 6641598 | 1197245 | 7402 407 | 1 | 1 619.80/619.96 c 619s | 21 | 6685797 | 1201245 | 7402 408 | 1 | 1 621.80/621.99 c 621s | 21 | 6726343 | 1205445 | 7402 409 | 1 | 1 623.90/624.01 c 623s | 21 | 6755066 | 1209445 | 7402 410 | 1 | 1 625.90/626.04 c 625s | 21 | 6781894 | 1213645 | 7402 411 | 1 | 1 627.90/628.07 c 628s | 21 | 6798728 | 1217645 | 7402 412 | 1 | 1 629.90/630.09 c 630s | 21 | 6816625 | 1221245 | 7402 413 | 1 | 1 632.00/632.10 c 632s | 21 | 6833331 | 1225145 | 7402 414 | 1 | 1 634.00/634.10 c 634s | 21 | 6854614 | 1227945 | 7402 415 | 1 | 1 636.00/636.13 c 636s | 21 | 6872457 | 1231345 | 7402 416 | 1 | 1 638.00/638.14 c 638s | 21 | 6897312 | 1235345 | 7402 417 | 1 | 1 640.00/640.16 c 640s | 21 | 6922200 | 1239145 | 7402 418 | 1 | 1 642.00/642.17 c 642s | 21 | 6937990 | 1243045 | 7402 419 | 1 | 1 644.19/644.32 c 644s | 21 | 6948654 | 1246345 | 7402 420 | 1 | 1 646.19/646.38 c 646s | 21 | 6975446 | 1249845 | 7402 421 | 1 | 1 648.29/648.41 c 648s | 21 | 6994378 | 1253645 | 7402 422 | 1 | 1 650.29/650.46 c 650s | 21 | 7027891 | 1257245 | 7402 423 | 1 | 1 652.39/652.50 c 652s | 21 | 7048292 | 1260945 | 7402 424 | 1 | 1 654.40/654.52 c 654s | 21 | 7080030 | 1264645 | 7402 425 | 1 | 1 656.39/656.55 c 656s | 21 | 7107490 | 1268345 | 7402 426 | 1 | 1 658.39/658.56 c 658s | 21 | 7138006 | 1272445 | 7402 427 | 1 | 1 660.39/660.58 c 660s | 21 | 7162347 | 1276245 | 7402 428 | 1 | 1 662.49/662.60 c 662s | 21 | 7183024 | 1280245 | 7402 429 | 1 | 1 664.49/664.63 c 664s | 21 | 7202294 | 1284445 | 7402 430 | 1 | 1 666.69/666.86 c 666s | 21 | 7216287 | 1287145 | 7402 431 | 1 | 1 668.70/668.89 c 668s | 21 | 7244434 | 1291145 | 7402 432 | 1 | 1 670.79/670.92 c 670s | 21 | 7275503 | 1295345 | 7402 433 | 1 | 1 672.79/672.97 c 672s | 21 | 7294382 | 1299445 | 7402 434 | 1 | 1 674.79/674.99 c 674s | 21 | 7315061 | 1303045 | 7402 435 | 1 | 1 676.89/677.00 c 676s | 21 | 7330078 | 1306945 | 7402 436 | 1 | 1 678.89/679.01 c 678s | 21 | 7344377 | 1310645 | 7402 437 | 1 | 1 680.89/681.05 c 680s | 21 | 7355585 | 1313545 | 7402 438 | 1 | 1 682.89/683.06 c 683s | 21 | 7380411 | 1317645 | 7402 439 | 1 | 1 684.88/685.09 c 685s | 21 | 7409137 | 1321845 | 7402 440 | 1 | 1 686.98/687.11 c 687s | 21 | 7434262 | 1326345 | 7402 441 | 1 | 1 688.98/689.11 c 689s | 21 | 7447994 | 1330245 | 7402 442 | 1 | 1 690.98/691.12 c 691s | 21 | 7458528 | 1333645 | 7402 443 | 1 | 1 692.99/693.13 c 693s | 21 | 7473350 | 1337445 | 7402 444 | 1 | 1 694.98/695.13 c 695s | 21 | 7488057 | 1341145 | 7402 445 | 1 | 1 696.98/697.17 c 697s | 21 | 7509811 | 1344945 | 7402 446 | 1 | 1 699.08/699.21 c 699s | 21 | 7525830 | 1348845 | 7402 447 | 1 | 1 701.08/701.22 c 701s | 21 | 7536493 | 1352545 | 7402 448 | 1 | 1 703.08/703.23 c 703s | 21 | 7555669 | 1356345 | 7402 449 | 1 | 1 705.09/705.27 c 705s | 21 | 7567177 | 1359945 | 7402 450 | 1 | 1 707.08/707.27 c 707s | 21 | 7585700 | 1363945 | 7402 451 | 1 | 1 709.08/709.28 c 709s | 21 | 7601974 | 1368145 | 7402 452 | 1 | 1 711.18/711.35 c 711s | 21 | 7610312 | 1371845 | 7402 453 | 1 | 1 713.18/713.39 c 713s | 21 | 7619947 | 1375745 | 7402 454 | 1 | 1 715.28/715.44 c 715s | 21 | 7627944 | 1379445 | 7402 455 | 1 | 1 717.28/717.44 c 717s | 21 | 7639709 | 1383245 | 7402 456 | 1 | 1 719.29/719.46 c 719s | 21 | 7653206 | 1386645 | 7402 457 | 1 | 1 721.28/721.47 c 721s | 21 | 7665272 | 1390445 | 7402 458 | 1 | 1 723.28/723.49 c 723s | 21 | 7677343 | 1394345 | 7402 459 | 1 | 1 725.38/725.51 c 725s | 21 | 7694649 | 1398245 | 7402 460 | 1 | 1 727.38/727.52 c 727s | 21 | 7706032 | 1401845 | 7402 461 | 1 | 1 729.38/729.53 c 729s | 21 | 7714948 | 1405345 | 7402 462 | 1 | 1 731.39/731.55 c 731s | 21 | 7726799 | 1409445 | 7402 463 | 1 | 1 733.38/733.59 c 733s | 21 | 7733624 | 1412945 | 7402 464 | 1 | 1 735.48/735.60 c 735s | 21 | 7751160 | 1415745 | 7402 465 | 1 | 1 737.48/737.62 c 737s | 21 | 7771281 | 1419045 | 7402 466 | 1 | 1 739.48/739.63 c 739s | 21 | 7779600 | 1422445 | 7402 466 | 1 | 1 741.48/741.64 c 741s | 21 | 7801558 | 1426245 | 7402 467 | 1 | 1 743.48/743.65 c 743s | 21 | 7819595 | 1429745 | 7402 468 | 1 | 1 745.47/745.70 c 745s | 21 | 7838396 | 1433745 | 7402 469 | 1 | 1 747.67/747.84 c 747s | 21 | 7852252 | 1437445 | 7402 470 | 1 | 1 749.67/749.86 c 749s | 21 | 7869200 | 1440845 | 7402 471 | 1 | 1 751.67/751.88 c 751s | 21 | 7888729 | 1444745 | 7402 472 | 1 | 1 753.76/753.91 c 753s | 21 | 7907689 | 1448745 | 7402 473 | 1 | 1 755.76/755.91 c 755s | 21 | 7920834 | 1452145 | 7402 474 | 1 | 1 757.77/757.95 c 757s | 21 | 7948624 | 1456345 | 7402 475 | 1 | 1 759.76/759.99 c 759s | 21 | 7971130 | 1460545 | 7402 476 | 1 | 1 761.86/762.03 c 761s | 21 | 7988134 | 1464545 | 7402 478 | 1 | 1 763.86/764.05 c 763s | 21 | 8001682 | 1468645 | 7402 479 | 1 | 1 765.86/766.06 c 766s | 21 | 8022084 | 1472045 | 7402 479 | 1 | 1 767.86/768.07 c 768s | 21 | 8038619 | 1475945 | 7402 481 | 1 | 1 769.87/770.07 c 770s | 21 | 8069516 | 1479945 | 7402 482 | 1 | 1 771.96/772.11 c 772s | 21 | 8083454 | 1484045 | 7402 483 | 1 | 1 773.95/774.11 c 774s | 21 | 8094175 | 1487745 | 7402 484 | 1 | 1 775.95/776.13 c 776s | 21 | 8109906 | 1491145 | 8143 484 | 1 | 1 777.95/778.17 c 778s | 21 | 8131119 | 1495145 | 8143 485 | 1 | 1 779.95/780.19 c 780s | 21 | 8147262 | 1499045 | 8143 486 | 1 | 1 780.86/781.02 c 780s | 22 | 8153980 | 1500622 | 8143 487 | 1 | 1 782.85/783.08 c 783s | 22 | 8173511 | 1503422 | 8143 487 | 1 | 1 784.95/785.13 c 785s | 22 | 8197440 | 1507122 | 8143 488 | 1 | 1 786.95/787.13 c 787s | 22 | 8211364 | 1510722 | 8143 489 | 1 | 1 788.96/789.15 c 789s | 22 | 8241499 | 1514122 | 8143 490 | 1 | 1 790.96/791.20 c 791s | 22 | 8278301 | 1517722 | 8143 491 | 1 | 1 792.96/793.20 c 793s | 22 | 8300280 | 1521222 | 8143 492 | 1 | 1 795.05/795.23 c 795s | 22 | 8326909 | 1525122 | 8143 493 | 1 | 1 797.05/797.26 c 797s | 22 | 8349822 | 1529222 | 8143 494 | 1 | 1 799.05/799.28 c 799s | 22 | 8364991 | 1533222 | 8143 494 | 1 | 1 801.15/801.39 c 801s | 22 | 8379450 | 1536622 | 8143 495 | 1 | 1 803.25/803.42 c 803s | 22 | 8409969 | 1540322 | 8143 496 | 1 | 1 805.25/805.45 c 805s | 22 | 8443180 | 1544322 | 8143 497 | 1 | 1 807.26/807.47 c 807s | 22 | 8476481 | 1548122 | 8143 498 | 1 | 1 809.25/809.48 c 809s | 22 | 8493087 | 1551822 | 8143 499 | 1 | 1 811.35/811.50 c 811s | 22 | 8513827 | 1555622 | 8143 500 | 1 | 1 813.35/813.51 c 813s | 22 | 8532395 | 1559422 | 8143 501 | 1 | 1 815.34/815.52 c 815s | 22 | 8546293 | 1563022 | 8143 502 | 1 | 1 817.34/817.55 c 817s | 22 | 8552078 | 1566222 | 8143 502 | 1 | 1 819.35/819.58 c 819s | 22 | 8560763 | 1568822 | 8143 503 | 1 | 1 821.44/821.63 c 821s | 22 | 8576442 | 1572822 | 8143 504 | 1 | 1 823.44/823.67 c 823s | 22 | 8597524 | 1576522 | 8143 505 | 1 | 1 825.54/825.72 c 825s | 22 | 8613474 | 1580222 | 8143 506 | 1 | 1 827.54/827.74 c 827s | 22 | 8631923 | 1584422 | 8143 507 | 1 | 1 829.54/829.78 c 829s | 22 | 8644900 | 1588022 | 8143 508 | 1 | 1 831.54/831.78 c 831s | 22 | 8662404 | 1591622 | 8143 509 | 1 | 1 833.53/833.79 c 833s | 22 | 8688603 | 1595422 | 8143 509 | 1 | 1 835.63/835.82 c 835s | 22 | 8713239 | 1599322 | 8143 510 | 1 | 1 837.63/837.86 c 837s | 22 | 8744916 | 1603222 | 8143 511 | 1 | 1 839.73/839.90 c 839s | 22 | 8764806 | 1607022 | 8143 512 | 1 | 1 841.73/841.94 c 841s | 22 | 8783950 | 1610922 | 8143 513 | 1 | 1 843.72/843.95 c 843s | 22 | 8795826 | 1614322 | 8143 514 | 1 | 1 845.73/845.98 c 845s | 22 | 8818950 | 1617922 | 8143 515 | 1 | 1 847.72/847.98 c 847s | 22 | 8834188 | 1621522 | 8143 516 | 1 | 1 849.82/850.04 c 849s | 22 | 8840457 | 1624822 | 8143 516 | 1 | 1 851.82/852.07 c 852s | 22 | 8855525 | 1628522 | 8143 517 | 1 | 1 853.92/854.13 c 854s | 22 | 8871760 | 1632222 | 8143 518 | 1 | 1 855.92/856.14 c 856s | 22 | 8883560 | 1635922 | 8143 519 | 1 | 1 857.92/858.17 c 858s | 22 | 8896186 | 1639422 | 8143 520 | 1 | 1 859.91/860.20 c 860s | 22 | 8910424 | 1642922 | 8143 521 | 1 | 1 862.02/862.23 c 862s | 22 | 8939694 | 1646322 | 8143 522 | 1 | 1 864.02/864.24 c 864s | 22 | 8966441 | 1649922 | 8143 523 | 1 | 1 866.12/866.30 c 866s | 22 | 8980457 | 1653422 | 8143 523 | 1 | 1 868.12/868.35 c 868s | 22 | 8991763 | 1656622 | 8143 524 | 1 | 1 870.12/870.39 c 870s | 22 | 9023403 | 1659722 | 8143 525 | 1 | 1 872.22/872.43 c 872s | 22 | 9065819 | 1663222 | 8143 526 | 1 | 1 874.21/874.46 c 874s | 22 | 9110136 | 1667222 | 8143 527 | 1 | 1 876.21/876.49 c 876s | 22 | 9148062 | 1671422 | 8143 528 | 1 | 1 878.31/878.51 c 878s | 22 | 9170158 | 1675122 | 8143 529 | 1 | 1 880.31/880.53 c 880s | 22 | 9207744 | 1678322 | 8143 529 | 1 | 1 882.31/882.56 c 882s | 22 | 9249439 | 1682222 | 8143 530 | 1 | 1 884.31/884.59 c 884s | 22 | 9266120 | 1685722 | 8143 531 | 1 | 1 886.31/886.60 c 886s | 22 | 9301213 | 1689622 | 8143 532 | 1 | 1 888.41/888.65 c 888s | 22 | 9327321 | 1693522 | 8143 533 | 1 | 1 890.50/890.70 c 890s | 22 | 9363508 | 1697622 | 8143 534 | 1 | 1 892.50/892.73 c 892s | 22 | 9378648 | 1701422 | 8143 535 | 1 | 1 894.50/894.77 c 894s | 22 | 9394491 | 1705122 | 8143 536 | 1 | 1 896.60/896.81 c 896s | 22 | 9405622 | 1708822 | 8143 537 | 1 | 1 898.61/898.81 c 898s | 22 | 9418613 | 1711122 | 8143 537 | 1 | 1 900.60/900.82 c 900s | 22 | 9439265 | 1715122 | 8143 538 | 1 | 1 902.60/902.83 c 902s | 22 | 9463687 | 1719322 | 8143 539 | 1 | 1 904.60/904.87 c 904s | 22 | 9479203 | 1723322 | 8143 540 | 1 | 1 906.60/906.88 c 906s | 22 | 9493228 | 1726622 | 8143 541 | 1 | 1 908.69/908.92 c 908s | 22 | 9506917 | 1730322 | 8143 542 | 1 | 1 910.70/910.97 c 910s | 22 | 9518913 | 1734222 | 8143 543 | 1 | 1 912.80/913.03 c 912s | 22 | 9527188 | 1737322 | 8143 544 | 1 | 1 914.79/915.06 c 915s | 22 | 9539034 | 1741022 | 8143 544 | 1 | 1 916.79/917.08 c 917s | 22 | 9559117 | 1745022 | 8143 545 | 1 | 1 918.79/919.09 c 919s | 22 | 9566333 | 1748622 | 8143 546 | 1 | 1 920.99/921.24 c 921s | 22 | 9572036 | 1751722 | 8143 547 | 1 | 1 922.99/923.25 c 923s | 22 | 9592543 | 1755022 | 8143 548 | 1 | 1 925.08/925.31 c 925s | 22 | 9607528 | 1758622 | 8143 549 | 1 | 1 927.09/927.37 c 927s | 22 | 9623102 | 1762122 | 8143 550 | 1 | 1 929.08/929.38 c 929s | 22 | 9634842 | 1765122 | 8143 550 | 1 | 1 931.18/931.40 c 931s | 22 | 9653515 | 1768622 | 8143 551 | 1 | 1 933.18/933.44 c 933s | 22 | 9667461 | 1772522 | 8143 552 | 1 | 1 935.18/935.45 c 935s | 22 | 9675807 | 1776022 | 8143 553 | 1 | 1 937.29/937.50 c 937s | 22 | 9693306 | 1779122 | 8143 554 | 1 | 1 939.30/939.51 c 939s | 22 | 9726317 | 1783222 | 8143 555 | 1 | 1 941.29/941.60 c 941s | 22 | 9745185 | 1787222 | 8143 556 | 1 | 1 943.39/943.62 c 943s | 22 | 9754841 | 1790322 | 8143 556 | 1 | 1 945.38/945.64 c 945s | 22 | 9775409 | 1794222 | 8143 557 | 1 | 1 947.38/947.64 c 947s | 22 | 9789944 | 1798122 | 8143 558 | 1 | 1 949.38/949.69 c 949s | 22 | 9805078 | 1801522 | 8143 559 | 1 | 1 951.48/951.71 c 951s | 22 | 9826897 | 1805822 | 8143 560 | 1 | 1 953.49/953.75 c 953s | 22 | 9847451 | 1809922 | 8143 561 | 1 | 1 955.48/955.75 c 955s | 22 | 9859889 | 1813922 | 8143 562 | 1 | 1 957.48/957.79 c 957s | 22 | 9868779 | 1817522 | 8143 563 | 1 | 1 959.48/959.79 c 959s | 22 | 9878452 | 1820922 | 8143 564 | 1 | 1 961.58/961.82 c 961s | 22 | 9890199 | 1824422 | 8143 564 | 1 | 1 963.57/963.83 c 963s | 22 | 9905902 | 1828122 | 8143 565 | 1 | 1 965.58/965.85 c 965s | 22 | 9915645 | 1831722 | 8143 566 | 1 | 1 967.57/967.88 c 967s | 22 | 9924130 | 1835222 | 8143 567 | 1 | 1 969.67/969.90 c 969s | 22 | 9929156 | 1838422 | 8143 568 | 1 | 1 971.67/971.91 c 971s | 22 | 9940818 | 1840922 | 8143 568 | 1 | 1 973.67/973.94 c 973s | 22 | 9964984 | 1844822 | 8143 569 | 1 | 1 975.67/975.97 c 975s | 22 | 9983776 | 1848722 | 8143 570 | 1 | 1 977.77/978.03 c 977s | 22 | 10000745 | 1852622 | 8143 571 | 1 | 1 979.77/980.05 c 979s | 22 | 10010541 | 1855922 | 8143 572 | 1 | 1 981.76/982.08 c 982s | 22 | 10025906 | 1859822 | 8143 573 | 1 | 1 983.86/984.12 c 984s | 22 | 10036136 | 1863422 | 8143 574 | 1 | 1 985.86/986.13 c 986s | 22 | 10061690 | 1867322 | 8143 575 | 1 | 1 987.86/988.16 c 988s | 22 | 10081483 | 1871522 | 8143 576 | 1 | 1 989.87/990.18 c 990s | 22 | 10094503 | 1875422 | 8143 577 | 1 | 1 991.86/992.19 c 992s | 22 | 10098486 | 1878222 | 8143 577 | 1 | 1 993.86/994.19 c 994s | 22 | 10107907 | 1882022 | 8143 578 | 1 | 1 995.96/996.20 c 996s | 22 | 10120102 | 1885122 | 8143 579 | 1 | 1 997.96/998.20 c 998s | 22 | 10136046 | 1888822 | 8143 580 | 1 | 1 999.96/1000.25 c 1000s | 22 | 10149449 | 1892622 | 8143 581 | 1 | 1 1001.96/1002.27 c 1002s | 22 | 10158955 | 1896322 | 8143 582 | 1 | 1 1003.95/1004.29 c 1004s | 22 | 10167940 | 1900122 | 8143 583 | 1 | 1 1006.15/1006.42 c 1006s | 22 | 10188274 | 1903322 | 8143 583 | 1 | 1 1008.15/1008.45 c 1008s | 22 | 10208467 | 1906722 | 8143 584 | 1 | 1 1010.25/1010.51 c 1010s | 22 | 10222326 | 1910322 | 8143 585 | 1 | 1 1012.25/1012.56 c 1012s | 22 | 10245018 | 1913922 | 8143 586 | 1 | 1 1014.35/1014.60 c 1014s | 22 | 10259604 | 1917422 | 8143 587 | 1 | 1 1016.35/1016.63 c 1016s | 22 | 10285797 | 1921322 | 8143 588 | 1 | 1 1018.35/1018.64 c 1018s | 22 | 10306371 | 1925622 | 8143 589 | 1 | 1 1020.35/1020.67 c 1020s | 22 | 10326875 | 1929522 | 8143 590 | 1 | 1 1022.36/1022.68 c 1022s | 22 | 10346360 | 1933322 | 8143 591 | 1 | 1 1024.35/1024.69 c 1024s | 22 | 10357899 | 1936822 | 8143 591 | 1 | 1 1026.45/1026.71 c 1026s | 22 | 10368982 | 1939522 | 8143 592 | 1 | 1 1028.45/1028.74 c 1028s | 22 | 10391989 | 1943622 | 8143 593 | 1 | 1 1030.46/1030.77 c 1030s | 22 | 10407105 | 1947622 | 8143 594 | 1 | 1 1032.55/1032.83 c 1032s | 22 | 10413957 | 1950922 | 8143 595 | 1 | 1 1034.55/1034.88 c 1034s | 22 | 10421522 | 1954422 | 8143 596 | 1 | 1 1036.54/1036.88 c 1036s | 22 | 10428996 | 1957922 | 8143 596 | 1 | 1 1038.54/1038.89 c 1038s | 22 | 10441718 | 1960522 | 8143 597 | 1 | 1 1040.64/1040.94 c 1040s | 22 | 10459310 | 1964322 | 8143 598 | 1 | 1 1042.65/1042.95 c 1042s | 22 | 10475282 | 1967522 | 8143 599 | 1 | 1 1044.64/1044.99 c 1044s | 22 | 10489401 | 1971022 | 8143 600 | 1 | 1 1046.74/1047.00 c 1046s | 22 | 10503239 | 1974422 | 8143 600 | 1 | 1 1048.74/1049.03 c 1048s | 22 | 10507817 | 1977122 | 8143 601 | 1 | 1 1050.74/1051.04 c 1050s | 22 | 10515752 | 1980122 | 8143 602 | 1 | 1 1052.74/1053.09 c 1053s | 22 | 10527845 | 1983722 | 8143 603 | 1 | 1 1054.83/1055.13 c 1055s | 22 | 10535621 | 1987322 | 8143 603 | 1 | 1 1056.84/1057.18 c 1057s | 22 | 10542662 | 1991022 | 8143 604 | 1 | 1 1058.93/1059.21 c 1059s | 22 | 10553452 | 1994322 | 8143 605 | 1 | 1 1060.93/1061.26 c 1061s | 22 | 10566677 | 1998022 | 8143 606 | 1 | 1 1063.03/1063.32 c 1063s | 22 | 10585965 | 2001522 | 8143 607 | 1 | 1 1065.03/1065.38 c 1065s | 22 | 10596558 | 2004822 | 8143 608 | 1 | 1 1067.13/1067.43 c 1067s | 22 | 10607917 | 2008122 | 8143 608 | 1 | 1 1069.13/1069.45 c 1069s | 22 | 10624508 | 2011422 | 8143 609 | 1 | 1 1071.13/1071.49 c 1071s | 22 | 10637359 | 2014822 | 8143 610 | 1 | 1 1073.23/1073.50 c 1073s | 22 | 10646050 | 2018422 | 8143 611 | 1 | 1 1075.22/1075.53 c 1075s | 22 | 10659452 | 2022122 | 8143 612 | 1 | 1 1077.22/1077.59 c 1077s | 22 | 10671490 | 2025522 | 8143 613 | 1 | 1 1079.22/1079.59 c 1079s | 22 | 10679334 | 2029022 | 8143 613 | 1 | 1 1081.32/1081.65 c 1081s | 22 | 10694213 | 2032922 | 8143 614 | 1 | 1 1083.33/1083.69 c 1083s | 22 | 10701743 | 2036222 | 8143 615 | 1 | 1 1085.42/1085.72 c 1085s | 22 | 10708188 | 2039422 | 8143 616 | 1 | 1 1087.52/1087.81 c 1087s | 22 | 10713468 | 2042322 | 8143 617 | 1 | 1 1089.52/1089.82 c 1089s | 22 | 10721883 | 2046022 | 8143 617 | 1 | 1 1091.52/1091.82 c 1091s | 22 | 10729181 | 2049322 | 8143 618 | 1 | 1 1093.51/1093.83 c 1093s | 22 | 10738298 | 2052822 | 8143 619 | 1 | 1 1095.51/1095.85 c 1095s | 22 | 10765032 | 2055822 | 8143 620 | 1 | 1 1097.52/1097.87 c 1097s | 22 | 10787285 | 2059822 | 8143 621 | 1 | 1 1099.61/1099.92 c 1099s | 22 | 10822583 | 2064122 | 8143 622 | 1 | 1 1101.61/1101.96 c 1101s | 22 | 10863200 | 2067822 | 8143 623 | 1 | 1 1103.61/1103.99 c 1103s | 22 | 10916409 | 2071822 | 8143 624 | 1 | 1 1105.71/1106.01 c 1105s | 22 | 10946242 | 2075422 | 8143 625 | 1 | 1 1107.70/1108.05 c 1107s | 22 | 10969134 | 2079322 | 8143 626 | 1 | 1 1109.80/1110.16 c 1110s | 22 | 10989580 | 2083322 | 8143 627 | 1 | 1 1111.81/1112.16 c 1112s | 22 | 11026839 | 2087222 | 8143 627 | 1 | 1 1113.90/1114.22 c 1114s | 22 | 11046523 | 2091422 | 8143 628 | 1 | 1 1115.90/1116.22 c 1116s | 22 | 11091841 | 2095522 | 8143 629 | 1 | 1 1117.90/1118.25 c 1118s | 22 | 11122493 | 2099722 | 8143 630 | 1 | 1 1119.90/1120.28 c 1120s | 22 | 11137252 | 2103322 | 8143 631 | 1 | 1 1122.00/1122.30 c 1122s | 22 | 11153183 | 2106822 | 8143 632 | 1 | 1 1124.00/1124.32 c 1124s | 22 | 11169132 | 2110722 | 8143 633 | 1 | 1 1125.99/1126.35 c 1126s | 22 | 11181672 | 2114822 | 8143 634 | 1 | 1 1128.09/1128.40 c 1128s | 22 | 11195729 | 2118622 | 8143 635 | 1 | 1 1130.29/1130.60 c 1130s | 22 | 11217438 | 2121722 | 8143 636 | 1 | 1 1132.29/1132.63 c 1132s | 22 | 11246808 | 2125322 | 8143 637 | 1 | 1 1134.29/1134.64 c 1134s | 22 | 11271110 | 2129622 | 8143 638 | 1 | 1 1136.29/1136.67 c 1136s | 22 | 11290200 | 2133222 | 8143 639 | 1 | 1 1138.39/1138.71 c 1138s | 22 | 11304104 | 2136722 | 8143 639 | 1 | 1 1140.39/1140.74 c 1140s | 22 | 11317255 | 2140122 | 8143 640 | 1 | 1 1142.39/1142.75 c 1142s | 22 | 11328603 | 2143622 | 8143 641 | 1 | 1 1144.39/1144.76 c 1144s | 22 | 11344156 | 2147322 | 8143 642 | 1 | 1 1146.49/1146.80 c 1146s | 22 | 11357245 | 2151322 | 8143 643 | 1 | 1 1148.49/1148.81 c 1148s | 22 | 11370243 | 2155222 | 8143 644 | 1 | 1 1150.49/1150.83 c 1150s | 22 | 11377973 | 2157822 | 8143 644 | 1 | 1 1152.49/1152.87 c 1152s | 22 | 11392972 | 2161922 | 8143 645 | 1 | 1 1154.48/1154.89 c 1154s | 22 | 11403705 | 2165922 | 8143 646 | 1 | 1 1156.48/1156.89 c 1156s | 22 | 11420058 | 2170522 | 8143 647 | 1 | 1 1158.58/1158.92 c 1158s | 22 | 11430030 | 2174422 | 8143 648 | 1 | 1 1160.58/1160.94 c 1160s | 22 | 11444092 | 2178522 | 8143 649 | 1 | 1 1162.58/1162.96 c 1162s | 22 | 11457264 | 2182822 | 8143 650 | 1 | 1 1164.59/1164.98 c 1164s | 22 | 11464932 | 2186322 | 8143 651 | 1 | 1 1166.68/1167.01 c 1166s | 22 | 11477961 | 2190122 | 8143 652 | 1 | 1 1168.68/1169.05 c 1168s | 22 | 11496720 | 2194322 | 8143 653 | 1 | 1 1170.68/1171.10 c 1171s | 22 | 11506832 | 2198122 | 8143 654 | 1 | 1 1172.78/1173.13 c 1173s | 22 | 11522554 | 2202222 | 8143 655 | 1 | 1 1174.77/1175.17 c 1175s | 22 | 11540126 | 2205922 | 8143 656 | 1 | 1 1176.78/1177.19 c 1177s | 22 | 11557450 | 2210122 | 8143 657 | 1 | 1 1178.88/1179.21 c 1179s | 22 | 11573057 | 2214422 | 8143 658 | 1 | 1 1180.87/1181.22 c 1181s | 22 | 11593942 | 2216922 | 8143 659 | 1 | 1 1182.87/1183.25 c 1183s | 22 | 11643299 | 2220722 | 8143 660 | 1 | 1 1184.87/1185.29 c 1185s | 22 | 11676193 | 2224822 | 8143 661 | 1 | 1 1186.97/1187.33 c 1187s | 22 | 11704677 | 2229122 | 8143 662 | 1 | 1 1188.97/1189.33 c 1189s | 22 | 11737146 | 2233422 | 8143 663 | 1 | 1 1190.98/1191.36 c 1191s | 22 | 11776121 | 2237722 | 8958 663 | 1 | 1 1193.07/1193.41 c 1193s | 22 | 11807938 | 2241722 | 8958 664 | 1 | 1 1195.07/1195.44 c 1195s | 22 | 11824630 | 2245522 | 8958 665 | 1 | 1 1197.07/1197.49 c 1197s | 22 | 11842478 | 2249522 | 8958 666 | 1 | 1 1197.86/1198.27 c 1198s | 23 | 11846893 | 2251038 | 8958 666 | 1 | 1 1199.87/1200.28 c 1200s | 23 | 11858308 | 2253838 | 8958 667 | 1 | 1 1201.97/1202.30 c 1202s | 23 | 11893429 | 2258038 | 8958 668 | 1 | 1 1203.96/1204.34 c 1204s | 23 | 11915097 | 2261538 | 8958 669 | 1 | 1 1206.06/1206.44 c 1206s | 23 | 11934051 | 2265438 | 8958 670 | 1 | 1 1208.06/1208.48 c 1208s | 23 | 11948950 | 2269538 | 8958 670 | 1 | 1 1210.06/1210.50 c 1210s | 23 | 11960338 | 2273238 | 8958 671 | 1 | 1 1212.16/1212.59 c 1212s | 23 | 11973654 | 2276638 | 8958 672 | 1 | 1 1214.25/1214.60 c 1214s | 23 | 11997070 | 2280138 | 8958 673 | 1 | 1 1216.26/1216.64 c 1216s | 23 | 12028970 | 2284438 | 8958 674 | 1 | 1 1218.25/1218.66 c 1218s | 23 | 12069901 | 2288238 | 8958 675 | 1 | 1 1220.26/1220.67 c 1220s | 23 | 12089555 | 2292038 | 8958 675 | 1 | 1 1222.26/1222.69 c 1222s | 23 | 12112061 | 2295938 | 8958 676 | 1 | 1 1224.26/1224.70 c 1224s | 23 | 12130795 | 2299738 | 8958 677 | 1 | 1 1226.36/1226.74 c 1226s | 23 | 12154722 | 2303938 | 8958 678 | 1 | 1 1228.36/1228.77 c 1228s | 23 | 12172261 | 2307838 | 8958 679 | 1 | 1 1230.46/1230.81 c 1230s | 23 | 12182470 | 2311638 | 8958 680 | 1 | 1 1232.45/1232.83 c 1232s | 23 | 12200412 | 2314238 | 8958 680 | 1 | 1 1234.45/1234.88 c 1234s | 23 | 12223590 | 2318038 | 8958 681 | 1 | 1 1236.55/1236.90 c 1236s | 23 | 12242717 | 2321838 | 8958 682 | 1 | 1 1238.55/1238.94 c 1238s | 23 | 12259808 | 2325738 | 8958 683 | 1 | 1 1240.56/1240.95 c 1240s | 23 | 12270950 | 2329538 | 8958 684 | 1 | 1 1242.55/1243.00 c 1242s | 23 | 12302399 | 2332538 | 8958 684 | 1 | 1 1244.65/1245.02 c 1244s | 23 | 12323752 | 2335938 | 8958 685 | 1 | 1 1246.65/1247.03 c 1246s | 23 | 12341126 | 2339438 | 8958 686 | 1 | 1 1248.65/1249.07 c 1249s | 23 | 12366587 | 2343638 | 8958 687 | 1 | 1 1250.65/1251.08 c 1251s | 23 | 12390485 | 2347738 | 8958 688 | 1 | 1 1252.75/1253.12 c 1253s | 23 | 12410303 | 2351938 | 8958 688 | 1 | 1 1254.75/1255.17 c 1255s | 23 | 12424288 | 2355838 | 8958 689 | 1 | 1 1256.74/1257.18 c 1257s | 23 | 12439990 | 2360138 | 8958 690 | 1 | 1 1258.84/1259.25 c 1259s | 23 | 12443755 | 2362038 | 8958 691 | 1 | 1 1260.84/1261.25 c 1261s | 23 | 12453163 | 2365938 | 8958 692 | 1 | 1 1262.94/1263.30 c 1263s | 23 | 12471741 | 2370038 | 8958 692 | 1 | 1 1264.94/1265.34 c 1265s | 23 | 12492160 | 2374238 | 8958 693 | 1 | 1 1266.94/1267.34 c 1267s | 23 | 12505614 | 2377938 | 8958 694 | 1 | 1 1268.94/1269.35 c 1269s | 23 | 12522878 | 2381838 | 8958 695 | 1 | 1 1270.93/1271.38 c 1271s | 23 | 12540372 | 2386038 | 8958 696 | 1 | 1 1272.93/1273.39 c 1273s | 23 | 12552900 | 2390138 | 8958 697 | 1 | 1 1275.03/1275.43 c 1275s | 23 | 12561855 | 2393838 | 8958 698 | 1 | 1 1277.03/1277.45 c 1277s | 23 | 12574633 | 2397438 | 8958 698 | 1 | 1 1279.03/1279.48 c 1279s | 23 | 12582564 | 2401138 | 8958 699 | 1 | 1 1281.32/1281.76 c 1281s | 23 | 12586645 | 2403538 | 8958 700 | 1 | 1 1283.33/1283.79 c 1283s | 23 | 12606707 | 2407238 | 8958 701 | 1 | 1 1285.42/1285.83 c 1285s | 23 | 12621201 | 2411238 | 8958 701 | 1 | 1 1287.42/1287.86 c 1287s | 23 | 12637147 | 2414938 | 8958 702 | 1 | 1 1289.52/1289.92 c 1289s | 23 | 12647633 | 2418438 | 8958 703 | 1 | 1 1291.52/1291.98 c 1291s | 23 | 12658317 | 2422038 | 8958 704 | 1 | 1 1293.61/1294.08 c 1294s | 23 | 12668945 | 2425338 | 8958 705 | 1 | 1 1295.62/1296.09 c 1296s | 23 | 12682487 | 2429338 | 8958 705 | 1 | 1 1297.73/1298.11 c 1298s | 23 | 12696507 | 2433238 | 8958 706 | 1 | 1 1299.72/1300.15 c 1300s | 23 | 12707048 | 2437038 | 8958 707 | 1 | 1 1301.72/1302.15 c 1302s | 23 | 12719120 | 2440538 | 8958 708 | 1 | 1 1303.72/1304.15 c 1304s | 23 | 12729172 | 2444138 | 8958 709 | 1 | 1 1305.72/1306.17 c 1306s | 23 | 12737083 | 2447238 | 8958 709 | 1 | 1 1307.72/1308.18 c 1308s | 23 | 12742099 | 2450338 | 8958 710 | 1 | 1 1309.82/1310.26 c 1310s | 23 | 12746948 | 2453338 | 8958 711 | 1 | 1 1311.82/1312.30 c 1312s | 23 | 12758524 | 2455338 | 8958 711 | 1 | 1 1313.91/1314.33 c 1314s | 23 | 12791759 | 2459338 | 8958 712 | 1 | 1 1315.91/1316.35 c 1316s | 23 | 12824020 | 2463038 | 8958 713 | 1 | 1 1317.91/1318.37 c 1318s | 23 | 12863141 | 2467138 | 8958 714 | 1 | 1 1319.91/1320.39 c 1320s | 23 | 12882295 | 2470838 | 8958 714 | 1 | 1 1322.01/1322.47 c 1322s | 23 | 12926545 | 2475538 | 8958 716 | 1 | 1 1324.01/1324.50 c 1324s | 23 | 12953509 | 2479838 | 8958 716 | 1 | 1 1326.10/1326.54 c 1326s | 23 | 12976014 | 2483238 | 8958 717 | 1 | 1 1328.10/1328.59 c 1328s | 23 | 12998117 | 2487238 | 8958 718 | 1 | 1 1330.10/1330.59 c 1330s | 23 | 13014561 | 2491138 | 8958 719 | 1 | 1 1332.20/1332.64 c 1332s | 23 | 13033022 | 2495038 | 8958 720 | 1 | 1 1334.40/1334.80 c 1334s | 23 | 13044733 | 2498538 | 8958 721 | 1 | 1 1336.50/1336.97 c 1336s | 23 | 13083211 | 2502138 | 8958 721 | 1 | 1 1338.50/1338.97 c 1338s | 23 | 13111334 | 2505638 | 8958 722 | 1 | 1 1340.50/1340.97 c 1340s | 23 | 13128104 | 2509138 | 8958 723 | 1 | 1 1342.60/1343.01 c 1342s | 23 | 13161847 | 2513238 | 8958 724 | 1 | 1 1344.60/1345.03 c 1344s | 23 | 13192600 | 2517038 | 8958 725 | 1 | 1 1346.70/1347.13 c 1347s | 23 | 13220491 | 2521038 | 8958 726 | 1 | 1 1348.70/1349.15 c 1349s | 23 | 13246244 | 2524838 | 8958 726 | 1 | 1 1350.69/1351.17 c 1351s | 23 | 13292956 | 2528538 | 8958 727 | 1 | 1 1352.70/1353.17 c 1353s | 23 | 13327523 | 2533138 | 8958 728 | 1 | 1 1354.69/1355.19 c 1355s | 23 | 13350341 | 2536538 | 8958 729 | 1 | 1 1356.79/1357.21 c 1357s | 23 | 13376136 | 2540438 | 8958 730 | 1 | 1 1358.79/1359.24 c 1359s | 23 | 13385612 | 2543838 | 8958 731 | 1 | 1 1360.79/1361.28 c 1361s | 23 | 13411347 | 2546638 | 8958 731 | 1 | 1 1362.89/1363.31 c 1363s | 23 | 13441616 | 2550038 | 8958 732 | 1 | 1 1364.89/1365.37 c 1365s | 23 | 13484597 | 2553938 | 8958 733 | 1 | 1 1366.90/1367.38 c 1367s | 23 | 13511891 | 2557838 | 8958 734 | 1 | 1 1368.89/1369.39 c 1369s | 23 | 13529132 | 2562038 | 8958 735 | 1 | 1 1370.99/1371.45 c 1371s | 23 | 13551117 | 2565138 | 8958 735 | 1 | 1 1372.99/1373.46 c 1373s | 23 | 13568891 | 2568538 | 8958 736 | 1 | 1 1374.99/1375.48 c 1375s | 23 | 13580978 | 2572238 | 8958 737 | 1 | 1 1377.08/1377.51 c 1377s | 23 | 13597454 | 2576038 | 8958 738 | 1 | 1 1379.09/1379.55 c 1379s | 23 | 13619289 | 2580038 | 8958 738 | 1 | 1 1381.08/1381.56 c 1381s | 23 | 13639575 | 2583438 | 8958 739 | 1 | 1 1383.08/1383.57 c 1383s | 23 | 13667304 | 2587138 | 8958 740 | 1 | 1 1385.18/1385.61 c 1385s | 23 | 13683550 | 2590938 | 8958 741 | 1 | 1 1387.18/1387.63 c 1387s | 23 | 13699595 | 2594738 | 8958 742 | 1 | 1 1389.28/1389.71 c 1389s | 23 | 13708710 | 2598638 | 8958 743 | 1 | 1 1391.28/1391.72 c 1391s | 23 | 13716520 | 2602738 | 8958 743 | 1 | 1 1393.29/1393.74 c 1393s | 23 | 13726525 | 2606438 | 8958 744 | 1 | 1 1395.28/1395.79 c 1395s | 23 | 13741452 | 2609838 | 8958 745 | 1 | 1 1397.38/1397.82 c 1397s | 23 | 13749124 | 2613238 | 8958 746 | 1 | 1 1399.38/1399.89 c 1399s | 23 | 13764969 | 2616938 | 8958 747 | 1 | 1 1401.57/1402.05 c 1401s | 23 | 13775979 | 2620538 | 8958 747 | 1 | 1 1403.67/1404.12 c 1404s | 23 | 13797454 | 2624938 | 8958 748 | 1 | 1 1405.67/1406.16 c 1406s | 23 | 13811216 | 2629038 | 8958 749 | 1 | 1 1407.68/1408.18 c 1408s | 23 | 13837659 | 2633238 | 8958 750 | 1 | 1 1409.78/1410.21 c 1410s | 23 | 13853844 | 2637238 | 8958 751 | 1 | 1 1411.77/1412.26 c 1412s | 23 | 13869607 | 2641038 | 8958 752 | 1 | 1 1413.87/1414.30 c 1414s | 23 | 13876563 | 2644838 | 8958 753 | 1 | 1 1415.88/1416.33 c 1416s | 23 | 13885392 | 2648038 | 8958 753 | 1 | 1 1417.88/1418.33 c 1418s | 23 | 13905320 | 2651738 | 8958 754 | 1 | 1 1419.88/1420.34 c 1420s | 23 | 13914355 | 2655138 | 8958 755 | 1 | 1 1421.88/1422.39 c 1422s | 23 | 13928413 | 2658138 | 8958 756 | 1 | 1 1423.98/1424.40 c 1424s | 23 | 13942226 | 2661638 | 8958 756 | 1 | 1 1425.98/1426.42 c 1426s | 23 | 13953573 | 2665238 | 8958 757 | 1 | 1 1427.98/1428.44 c 1428s | 23 | 13962826 | 2668138 | 8958 758 | 1 | 1 1429.98/1430.45 c 1430s | 23 | 13978070 | 2672238 | 8958 759 | 1 | 1 1431.98/1432.46 c 1432s | 23 | 13991133 | 2676338 | 8958 759 | 1 | 1 1433.98/1434.47 c 1434s | 23 | 14002752 | 2680038 | 8958 760 | 1 | 1 1436.07/1436.51 c 1436s | 23 | 14009199 | 2683638 | 8958 761 | 1 | 1 1438.07/1438.54 c 1438s | 23 | 14017825 | 2687238 | 8958 762 | 1 | 1 1440.07/1440.57 c 1440s | 23 | 14025788 | 2691138 | 8958 763 | 1 | 1 1442.07/1442.57 c 1442s | 23 | 14037688 | 2695038 | 8958 764 | 1 | 1 1444.17/1444.60 c 1444s | 23 | 14054538 | 2699138 | 8958 764 | 1 | 1 1446.18/1446.61 c 1446s | 23 | 14068668 | 2702938 | 8958 765 | 1 | 1 1448.17/1448.65 c 1448s | 23 | 14074675 | 2707038 | 8958 766 | 1 | 1 1450.17/1450.70 c 1450s | 23 | 14082094 | 2710738 | 8958 767 | 1 | 1 1452.27/1452.75 c 1452s | 23 | 14093298 | 2714138 | 8958 768 | 1 | 1 1454.37/1454.83 c 1454s | 23 | 14099764 | 2717538 | 8958 768 | 1 | 1 1456.37/1456.87 c 1456s | 23 | 14106573 | 2721438 | 8958 769 | 1 | 1 1458.37/1458.88 c 1458s | 23 | 14113626 | 2724938 | 8958 770 | 1 | 1 1460.48/1460.94 c 1460s | 23 | 14129723 | 2728238 | 8958 771 | 1 | 1 1462.47/1462.99 c 1462s | 23 | 14149993 | 2731738 | 8958 772 | 1 | 1 1464.57/1465.03 c 1464s | 23 | 14167116 | 2735538 | 8958 772 | 1 | 1 1466.57/1467.09 c 1467s | 23 | 14190430 | 2739738 | 8958 773 | 1 | 1 1468.67/1469.14 c 1469s | 23 | 14211414 | 2743738 | 8958 774 | 1 | 1 1470.67/1471.15 c 1471s | 23 | 14227273 | 2747738 | 8958 775 | 1 | 1 1472.67/1473.15 c 1473s | 23 | 14236560 | 2751238 | 8958 776 | 1 | 1 1474.67/1475.16 c 1475s | 23 | 14245762 | 2754538 | 8958 777 | 1 | 1 1476.66/1477.19 c 1477s | 23 | 14254891 | 2756938 | 8958 777 | 1 | 1 1478.76/1479.24 c 1479s | 23 | 14269767 | 2761038 | 8958 778 | 1 | 1 1480.76/1481.25 c 1481s | 23 | 14279406 | 2764538 | 8958 779 | 1 | 1 1482.76/1483.29 c 1483s | 23 | 14288616 | 2768638 | 8958 780 | 1 | 1 1484.86/1485.32 c 1485s | 23 | 14299463 | 2772638 | 8958 781 | 1 | 1 1486.87/1487.34 c 1487s | 23 | 14305075 | 2776138 | 8958 781 | 1 | 1 1488.86/1489.39 c 1489s | 23 | 14314854 | 2779838 | 8958 782 | 1 | 1 1490.96/1491.41 c 1491s | 23 | 14327926 | 2783438 | 8958 783 | 1 | 1 1492.96/1493.44 c 1493s | 23 | 14339333 | 2786438 | 8958 784 | 1 | 1 1494.96/1495.45 c 1495s | 23 | 14359200 | 2790938 | 8958 785 | 1 | 1 1496.96/1497.47 c 1497s | 23 | 14376135 | 2794938 | 8958 785 | 1 | 1 1498.97/1499.47 c 1499s | 23 | 14386215 | 2798738 | 8958 786 | 1 | 1 1500.96/1501.50 c 1501s | 23 | 14403153 | 2802238 | 8958 787 | 1 | 1 1503.06/1503.53 c 1503s | 23 | 14416584 | 2805938 | 8958 788 | 1 | 1 1505.06/1505.54 c 1505s | 23 | 14429769 | 2809538 | 8958 789 | 1 | 1 1507.06/1507.56 c 1507s | 23 | 14440339 | 2813138 | 8958 789 | 1 | 1 1509.06/1509.59 c 1509s | 23 | 14446170 | 2816038 | 8958 790 | 1 | 1 1511.16/1511.63 c 1511s | 23 | 14459214 | 2819938 | 8958 791 | 1 | 1 1513.16/1513.64 c 1513s | 23 | 14473380 | 2823838 | 8958 792 | 1 | 1 1515.16/1515.66 c 1515s | 23 | 14490429 | 2827838 | 8958 793 | 1 | 1 1517.16/1517.67 c 1517s | 23 | 14505176 | 2831638 | 8958 793 | 1 | 1 1519.26/1519.71 c 1519s | 23 | 14514209 | 2834838 | 8958 794 | 1 | 1 1521.26/1521.73 c 1521s | 23 | 14527732 | 2838338 | 8958 795 | 1 | 1 1523.26/1523.74 c 1523s | 23 | 14538145 | 2841838 | 8958 796 | 1 | 1 1525.27/1525.78 c 1525s | 23 | 14552864 | 2845738 | 8958 797 | 1 | 1 1527.26/1527.79 c 1527s | 23 | 14563872 | 2849338 | 8958 797 | 1 | 1 1529.36/1529.81 c 1529s | 23 | 14574139 | 2852538 | 8958 798 | 1 | 1 1531.36/1531.85 c 1531s | 23 | 14584856 | 2856338 | 8958 799 | 1 | 1 1533.46/1533.90 c 1533s | 23 | 14591247 | 2859638 | 8958 800 | 1 | 1 1535.46/1535.90 c 1535s | 23 | 14594642 | 2861638 | 8958 800 | 1 | 1 1537.47/1537.93 c 1537s | 23 | 14601933 | 2864238 | 8958 801 | 1 | 1 1539.46/1539.99 c 1539s | 23 | 14616535 | 2868038 | 8958 801 | 1 | 1 1541.56/1542.02 c 1541s | 23 | 14626228 | 2871438 | 8958 802 | 1 | 1 1543.56/1544.03 c 1543s | 23 | 14635390 | 2874838 | 8958 803 | 1 | 1 1545.56/1546.04 c 1545s | 23 | 14643769 | 2878238 | 8958 804 | 1 | 1 1547.56/1548.05 c 1547s | 23 | 14651763 | 2882038 | 8958 804 | 1 | 1 1549.56/1550.09 c 1550s | 23 | 14659470 | 2885538 | 8958 805 | 1 | 1 1551.66/1552.14 c 1552s | 23 | 14665683 | 2888538 | 8958 806 | 1 | 1 1553.66/1554.19 c 1554s | 23 | 14675273 | 2891838 | 8958 807 | 1 | 1 1555.66/1556.19 c 1556s | 23 | 14683803 | 2895038 | 8958 807 | 1 | 1 1557.76/1558.24 c 1558s | 23 | 14691083 | 2898338 | 8958 808 | 1 | 1 1559.75/1560.29 c 1560s | 23 | 14696513 | 2901738 | 8958 809 | 1 | 1 1561.85/1562.31 c 1562s | 23 | 14702982 | 2904938 | 8958 809 | 1 | 1 1563.86/1564.35 c 1564s | 23 | 14707545 | 2908338 | 8958 810 | 1 | 1 1565.85/1566.37 c 1566s | 23 | 14712877 | 2911638 | 8958 811 | 1 | 1 1567.95/1568.42 c 1568s | 23 | 14721467 | 2914838 | 8958 812 | 1 | 1 1569.95/1570.43 c 1570s | 23 | 14729989 | 2918338 | 8958 812 | 1 | 1 1571.95/1572.47 c 1572s | 23 | 14738593 | 2921538 | 8958 813 | 1 | 1 1573.95/1574.48 c 1574s | 23 | 14743168 | 2924538 | 8958 814 | 1 | 1 1576.05/1576.51 c 1576s | 23 | 14748939 | 2927838 | 8958 814 | 1 | 1 1578.06/1578.53 c 1578s | 23 | 14753389 | 2930838 | 8958 815 | 1 | 1 1580.05/1580.59 c 1580s | 23 | 14762960 | 2932638 | 8958 816 | 1 | 1 1582.15/1582.61 c 1582s | 23 | 14798950 | 2937038 | 8958 816 | 1 | 1 1584.15/1584.62 c 1584s | 23 | 14836468 | 2940638 | 8958 817 | 1 | 1 1586.15/1586.66 c 1586s | 23 | 14869051 | 2944138 | 8958 818 | 1 | 1 1588.15/1588.69 c 1588s | 23 | 14891334 | 2948038 | 8958 819 | 1 | 1 1590.25/1590.73 c 1590s | 23 | 14914022 | 2951638 | 8958 820 | 1 | 1 1592.25/1592.74 c 1592s | 23 | 14934944 | 2955338 | 8958 820 | 1 | 1 1594.25/1594.76 c 1594s | 23 | 14965900 | 2959338 | 8958 821 | 1 | 1 1596.25/1596.79 c 1596s | 23 | 14981906 | 2963138 | 8958 822 | 1 | 1 1598.35/1598.82 c 1598s | 23 | 14990963 | 2966138 | 8958 823 | 1 | 1 1600.35/1600.82 c 1600s | 23 | 15005271 | 2969538 | 8958 824 | 1 | 1 1602.35/1602.87 c 1602s | 23 | 15018512 | 2973238 | 8958 824 | 1 | 1 1604.45/1604.90 c 1604s | 23 | 15043866 | 2976138 | 8958 825 | 1 | 1 1606.44/1606.96 c 1606s | 23 | 15071188 | 2979838 | 8958 826 | 1 | 1 1608.44/1608.97 c 1608s | 23 | 15089569 | 2983538 | 8958 827 | 1 | 1 1610.55/1611.04 c 1610s | 23 | 15121477 | 2987338 | 8958 828 | 1 | 1 1612.55/1613.07 c 1613s | 23 | 15154343 | 2991038 | 8958 828 | 1 | 1 1614.55/1615.08 c 1615s | 23 | 15194536 | 2994838 | 8958 829 | 1 | 1 1616.66/1617.12 c 1617s | 23 | 15215708 | 2999038 | 8958 830 | 1 | 1 1618.65/1619.15 c 1619s | 23 | 15234706 | 3002238 | 8958 831 | 1 | 1 1620.75/1621.22 c 1621s | 23 | 15256469 | 3005738 | 8958 832 | 1 | 1 1622.75/1623.25 c 1623s | 23 | 15274335 | 3009938 | 8958 832 | 1 | 1 1624.75/1625.29 c 1625s | 23 | 15286725 | 3013438 | 8958 833 | 1 | 1 1626.85/1627.31 c 1627s | 23 | 15297930 | 3016938 | 8958 834 | 1 | 1 1628.85/1629.36 c 1629s | 23 | 15307398 | 3020238 | 8958 835 | 1 | 1 1630.85/1631.39 c 1631s | 23 | 15334142 | 3022538 | 8958 835 | 1 | 1 1632.94/1633.43 c 1633s | 23 | 15361822 | 3026438 | 8958 836 | 1 | 1 1634.94/1635.43 c 1635s | 23 | 15395297 | 3030138 | 8958 837 | 1 | 1 1636.94/1637.47 c 1637s | 23 | 15421597 | 3033838 | 8958 838 | 1 | 1 1638.94/1639.48 c 1639s | 23 | 15448944 | 3037638 | 8958 839 | 1 | 1 1640.94/1641.49 c 1641s | 23 | 15472191 | 3041638 | 8958 839 | 1 | 1 1643.05/1643.53 c 1643s | 23 | 15500495 | 3045638 | 8958 840 | 1 | 1 1645.04/1645.56 c 1645s | 23 | 15532601 | 3049738 | 8958 841 | 1 | 1 1647.04/1647.59 c 1647s | 23 | 15543538 | 3053338 | 8958 842 | 1 | 1 1649.54/1650.07 c 1650s | 23 | 15549762 | 3055738 | 8958 843 | 1 | 1 1651.64/1652.11 c 1652s | 23 | 15573098 | 3059638 | 8958 843 | 1 | 1 1653.64/1654.16 c 1654s | 23 | 15585346 | 3063338 | 8958 844 | 1 | 1 1655.74/1656.20 c 1656s | 23 | 15594733 | 3066638 | 8958 845 | 1 | 1 1657.74/1658.26 c 1658s | 23 | 15609556 | 3070238 | 8958 846 | 1 | 1 1659.74/1660.26 c 1660s | 23 | 15621633 | 3074038 | 8958 847 | 1 | 1 1661.74/1662.28 c 1662s | 23 | 15639824 | 3077638 | 8958 847 | 1 | 1 1663.84/1664.31 c 1664s | 23 | 15665326 | 3081338 | 8958 848 | 1 | 1 1665.83/1666.34 c 1666s | 23 | 15687038 | 3085238 | 8958 849 | 1 | 1 1667.83/1668.35 c 1668s | 23 | 15706467 | 3088938 | 8958 850 | 1 | 1 1669.83/1670.37 c 1670s | 23 | 15722569 | 3092438 | 8958 851 | 1 | 1 1671.93/1672.40 c 1672s | 23 | 15736214 | 3096238 | 8958 851 | 1 | 1 1673.93/1674.42 c 1674s | 23 | 15744340 | 3098538 | 8958 852 | 1 | 1 1675.94/1676.44 c 1676s | 23 | 15759198 | 3101938 | 8958 853 | 1 | 1 1678.03/1678.53 c 1678s | 23 | 15767558 | 3105638 | 8958 854 | 1 | 1 1680.03/1680.56 c 1680s | 23 | 15777291 | 3109038 | 8958 854 | 1 | 1 1682.03/1682.58 c 1682s | 23 | 15786223 | 3112338 | 8958 855 | 1 | 1 1684.13/1684.63 c 1684s | 23 | 15791774 | 3114938 | 8958 856 | 1 | 1 1686.13/1686.69 c 1686s | 23 | 15812507 | 3118238 | 8958 856 | 1 | 1 1688.23/1688.71 c 1688s | 23 | 15835607 | 3121438 | 8958 857 | 1 | 1 1690.25/1690.74 c 1690s | 23 | 15856057 | 3124638 | 8958 858 | 1 | 1 1692.24/1692.77 c 1692s | 23 | 15878250 | 3128338 | 8958 859 | 1 | 1 1694.34/1694.81 c 1694s | 23 | 15913544 | 3132138 | 8958 859 | 1 | 1 1696.34/1696.86 c 1696s | 23 | 15929913 | 3135838 | 8958 860 | 1 | 1 1698.44/1698.91 c 1698s | 23 | 15943948 | 3139438 | 8958 861 | 1 | 1 1700.44/1700.97 c 1700s | 23 | 15959991 | 3142038 | 8958 862 | 1 | 1 1702.54/1703.00 c 1702s | 23 | 15977872 | 3145638 | 8958 862 | 1 | 1 1704.44/1705.00 c 1704s | 23 | 15994921 | 3149338 | 8958 863 | 1 | 1 1706.53/1707.00 c 1706s | 23 | 16009330 | 3152838 | 8958 864 | 1 | 1 1708.53/1709.04 c 1708s | 23 | 16022008 | 3156538 | 8958 865 | 1 | 1 1710.63/1711.16 c 1711s | 23 | 16034215 | 3160338 | 8958 866 | 1 | 1 1712.73/1713.20 c 1713s | 23 | 16047262 | 3163638 | 8958 866 | 1 | 1 1714.73/1715.24 c 1715s | 23 | 16065254 | 3167338 | 8958 867 | 1 | 1 1716.74/1717.26 c 1717s | 23 | 16078580 | 3170838 | 8958 868 | 1 | 1 1718.73/1719.27 c 1719s | 23 | 16088021 | 3174238 | 8958 869 | 1 | 1 1720.73/1721.27 c 1721s | 23 | 16096531 | 3177438 | 8958 869 | 1 | 1 1722.83/1723.30 c 1723s | 23 | 16114278 | 3181138 | 8958 870 | 1 | 1 1724.83/1725.32 c 1725s | 23 | 16134958 | 3185238 | 8958 871 | 1 | 1 1726.83/1727.32 c 1727s | 23 | 16150242 | 3188838 | 8958 872 | 1 | 1 1728.84/1729.35 c 1729s | 23 | 16167504 | 3192238 | 8958 873 | 1 | 1 1730.83/1731.36 c 1731s | 23 | 16186359 | 3196138 | 8958 873 | 1 | 1 1732.93/1733.41 c 1733s | 23 | 16202224 | 3199938 | 8958 874 | 1 | 1 1734.93/1735.46 c 1735s | 23 | 16220338 | 3203738 | 8958 875 | 1 | 1 1737.03/1737.50 c 1737s | 23 | 16235345 | 3207738 | 8958 876 | 1 | 1 1739.03/1739.53 c 1739s | 23 | 16246361 | 3211138 | 8958 877 | 1 | 1 1741.03/1741.59 c 1741s | 23 | 16254013 | 3214338 | 8958 877 | 1 | 1 1743.13/1743.61 c 1743s | 23 | 16259327 | 3217738 | 8958 878 | 1 | 1 1745.12/1745.64 c 1745s | 23 | 16265648 | 3221238 | 8958 879 | 1 | 1 1747.12/1747.69 c 1747s | 23 | 16282707 | 3224038 | 8958 879 | 1 | 1 1749.12/1749.69 c 1749s | 23 | 16302066 | 3227638 | 8958 880 | 1 | 1 1751.22/1751.70 c 1751s | 23 | 16315221 | 3231138 | 8958 881 | 1 | 1 1753.22/1753.76 c 1753s | 23 | 16331175 | 3234638 | 8958 882 | 1 | 1 1755.32/1755.82 c 1755s | 23 | 16341392 | 3238138 | 8958 883 | 1 | 1 1757.33/1757.87 c 1757s | 23 | 16348330 | 3240738 | 8958 883 | 1 | 1 1759.42/1759.90 c 1759s | 23 | 16367413 | 3244738 | 8958 884 | 1 | 1 1761.42/1761.92 c 1761s | 23 | 16389065 | 3248638 | 8958 885 | 1 | 1 1763.42/1763.92 c 1763s | 23 | 16401497 | 3252538 | 8958 886 | 1 | 1 1765.42/1765.94 c 1765s | 23 | 16427027 | 3256138 | 8958 887 | 1 | 1 1767.42/1767.99 c 1767s | 23 | 16451334 | 3259638 | 8958 887 | 1 | 1 1769.53/1770.00 c 1769s | 23 | 16474103 | 3263638 | 8958 888 | 1 | 1 1771.52/1772.01 c 1771s | 23 | 16498966 | 3267438 | 8958 889 | 1 | 1 1773.52/1774.04 c 1773s | 23 | 16520598 | 3271238 | 8958 890 | 1 | 1 1775.52/1776.04 c 1775s | 23 | 16537396 | 3274738 | 8958 891 | 1 | 1 1777.52/1778.09 c 1778s | 23 | 16558511 | 3278738 | 8958 891 | 1 | 1 1779.52/1780.09 c 1780s | 23 | 16566769 | 3282138 | 8958 892 | 1 | 1 1781.62/1782.11 c 1782s | 23 | 16580601 | 3285638 | 8958 893 | 1 | 1 1783.62/1784.15 c 1784s | 23 | 16591908 | 3289338 | 8958 894 | 1 | 1 1785.62/1786.15 c 1786s | 23 | 16604393 | 3292638 | 8958 895 | 1 | 1 1787.62/1788.17 c 1788s | 23 | 16612797 | 3296238 | 8958 895 | 1 | 1 1789.62/1790.19 c 1790s | 23 | 16620005 | 3300038 | 8958 896 | 1 | 1 1791.81/1792.39 c 1792s | 23 | 16630227 | 3303538 | 8958 897 | 1 | 1 1793.91/1794.42 c 1794s | 23 | 16647805 | 3307138 | 8958 898 | 1 | 1 1795.92/1796.47 c 1796s | 23 | 16667121 | 3310738 | 8958 898 | 1 | 1 1798.02/1798.52 c 1798s | 23 | 16689458 | 3314438 | 8958 899 | 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-4080091-1465261490/watcher-4080091-1465261490 -o /tmp/evaluation-result-4080091-1465261490/solver-4080091-1465261490 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5739 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080091-1465261490.opb pid=5983 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.22 2.22 2.18 3/180 5986 /proc/meminfo: memFree=29985352/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=707004 CPUtime=0 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 2631 0 0 0 0 0 0 0 20 0 4 0 108082057 723972096 3503 33554432000 4194304 16246674 140736599058704 140736599058128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 177263 3513 441 2943 0 174157 0 [pid=5986/tid=5987] ppid=5983 vsize=724412 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 741797888 3570 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=728508 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 745992192 3589 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=732604 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 750186496 3605 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.22 2.22 2.18 3/180 5986 /proc/meminfo: memFree=29985352/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 25478 0 0 0 5 4 0 0 20 0 4 0 108082057 1247350784 26337 33554432000 4194304 16246674 140736599058704 140736599058128 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 304529 26353 790 2943 0 301423 0 [pid=5986/tid=5987] ppid=5983 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1247350784 26365 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1247350784 26376 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1247350784 26386 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200525 s] /proc/loadavg: 2.22 2.22 2.18 3/180 5986 /proc/meminfo: memFree=29985352/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 50233 0 0 0 11 8 0 0 20 0 4 0 108082057 1247350784 51092 33554432000 4194304 16246674 140736599058704 140736599040576 12478070 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 304529 51109 790 2943 0 301423 0 [pid=5986/tid=5987] ppid=5983 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1247350784 51120 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1247350784 51131 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1247350784 51141 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300472 s] /proc/loadavg: 2.22 2.22 2.18 3/180 5986 /proc/meminfo: memFree=29985352/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 75597 0 0 0 18 11 0 0 20 0 4 0 108082057 1247350784 76456 33554432000 4194304 16246674 140736599058704 140736599040576 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 304529 76463 790 2943 0 301423 0 [pid=5986/tid=5987] ppid=5983 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1247350784 76468 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1247350784 76472 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1247350784 76477 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700367 s] /proc/loadavg: 2.22 2.22 2.18 3/180 5986 /proc/meminfo: memFree=29985352/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 173737 0 0 0 44 25 0 0 20 0 4 0 108082057 1247350784 174596 33554432000 4194304 16246674 140736599058704 140736599040576 5530837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 304529 174612 790 2943 0 301423 0 [pid=5986/tid=5987] ppid=5983 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1247350784 174621 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1247350784 174630 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1247350784 174640 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50037 s] /proc/loadavg: 2.20 2.22 2.18 3/184 5990 /proc/meminfo: memFree=28202644/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1221188 CPUtime=1.49 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 246327 0 0 0 113 36 0 0 20 0 4 0 108082057 1250496512 247163 33554432000 4194304 16246674 140736599058704 140736599040576 13950704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 305297 247163 850 2943 0 302191 0 [pid=5986/tid=5987] ppid=5983 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1250496512 247163 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1250496512 247163 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1250496512 247163 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10037 s] /proc/loadavg: 2.20 2.22 2.18 3/184 5990 /proc/meminfo: memFree=28114604/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 267469 0 0 0 271 38 0 0 20 0 4 0 108082057 1337528320 268305 33554432000 4194304 16246674 140736599058704 140736599041704 6071559 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 326545 268305 851 2943 0 323439 0 [pid=5986/tid=5987] ppid=5983 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1337528320 268305 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1337528320 268305 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1337528320 268305 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30037 s] /proc/loadavg: 2.20 2.22 2.18 3/184 5990 /proc/meminfo: memFree=28105088/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1311300 CPUtime=6.28 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 268911 0 0 0 590 38 0 0 20 0 4 0 108082057 1342771200 269747 33554432000 4194304 16246674 140736599058704 140736599057880 6020976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 327825 269747 851 2943 0 324719 0 [pid=5986/tid=5987] ppid=5983 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1342771200 269747 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1342771200 269747 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1342771200 269747 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1311300 [startup+12.7004 s] /proc/loadavg: 2.25 2.23 2.18 3/184 5990 /proc/meminfo: memFree=28095348/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1313348 CPUtime=12.69 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 269431 0 0 0 1230 39 0 0 20 0 4 0 108082057 1344868352 270267 33554432000 4194304 16246674 140736599058704 140736599040576 13191752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 328337 270267 853 2943 0 325231 0 [pid=5986/tid=5987] ppid=5983 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1344868352 270267 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1344868352 270267 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1344868352 270267 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1313348 [startup+25.5005 s] /proc/loadavg: 2.21 2.22 2.18 3/184 5990 /proc/meminfo: memFree=28091308/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1313348 CPUtime=25.49 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 269431 0 0 0 2510 39 0 0 20 0 4 0 108082057 1344868352 270267 33554432000 4194304 16246674 140736599058704 140736599040576 5659293 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 328337 270267 853 2943 0 325231 0 [pid=5986/tid=5987] ppid=5983 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1344868352 270267 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1344868352 270267 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1344868352 270267 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.20 2.21 2.18 3/184 5990 /proc/meminfo: memFree=28087688/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1316420 CPUtime=51.08 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 270199 0 0 0 5069 39 0 0 20 0 4 0 108082057 1348014080 271035 33554432000 4194304 16246674 140736599058704 140736599040576 6020736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 329105 271035 853 2943 0 325999 0 [pid=5986/tid=5987] ppid=5983 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1348014080 271035 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1348014080 271035 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1348014080 271035 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.3 s] /proc/loadavg: 2.20 2.21 2.18 3/184 5991 /proc/meminfo: memFree=28082296/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1316420 CPUtime=102.29 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 270199 0 0 0 10189 40 0 0 20 0 4 0 108082057 1348014080 271035 33554432000 4194304 16246674 140736599058704 140736599040576 5707776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 329105 271035 853 2943 0 325999 0 [pid=5986/tid=5987] ppid=5983 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1348014080 271035 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1348014080 271035 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1348014080 271035 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275391 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1333828 [startup+1362.3 s] /proc/loadavg: 2.30 2.23 2.20 3/184 7736 /proc/meminfo: memFree=27827212/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1333828 CPUtime=1361.89 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 274940 0 0 0 136136 53 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 140736599040576 7253048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 333457 275393 854 2943 0 330351 0 [pid=5986/tid=5987] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1333828 [startup+1422.3 s] /proc/loadavg: 2.21 2.22 2.19 4/184 7737 /proc/meminfo: memFree=27827036/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1333828 CPUtime=1421.88 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 274953 0 0 0 142134 54 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 140736599040576 5589718 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 333457 275393 854 2943 0 330351 0 [pid=5986/tid=5987] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1333828 [startup+1482.3 s] /proc/loadavg: 2.13 2.19 2.18 3/184 7738 /proc/meminfo: memFree=27827008/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1333828 CPUtime=1481.86 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 274953 0 0 0 148132 54 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 140736599040576 12483387 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 333457 275393 854 2943 0 330351 0 [pid=5986/tid=5987] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1333828 [startup+1542.31 s] /proc/loadavg: 2.17 2.18 2.18 3/185 7743 /proc/meminfo: memFree=27827288/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1333828 CPUtime=1541.87 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 274953 0 0 0 154132 55 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 140736599040576 13193696 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 333457 275393 854 2943 0 330351 0 [pid=5986/tid=5987] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1333828 [startup+1602.3 s] /proc/loadavg: 2.31 2.22 2.19 4/184 7744 /proc/meminfo: memFree=27827544/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1333828 CPUtime=1601.85 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 274953 0 0 0 160130 55 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 140736599040576 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 333457 275393 854 2943 0 330351 0 [pid=5986/tid=5987] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1333828 [startup+1662.3 s] /proc/loadavg: 2.26 2.22 2.19 3/184 7745 /proc/meminfo: memFree=27826312/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1333828 CPUtime=1661.84 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 274953 0 0 0 166128 56 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 140736599040576 5667424 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 333457 275393 854 2943 0 330351 0 [pid=5986/tid=5987] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1333828 [startup+1722.3 s] /proc/loadavg: 2.13 2.20 2.18 4/184 7758 /proc/meminfo: memFree=27826016/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1333828 CPUtime=1721.83 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 274953 0 0 0 172126 57 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 140736599040576 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 333457 275393 854 2943 0 330351 0 [pid=5986/tid=5987] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1333828 [startup+1782.3 s] /proc/loadavg: 2.18 2.20 2.18 3/183 7759 /proc/meminfo: memFree=27825656/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1333828 CPUtime=1781.82 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 274953 0 0 0 178125 57 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 140736599040576 5823905 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 333457 275393 854 2943 0 330351 0 [pid=5986/tid=5987] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1333828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.14 2.19 2.18 3/183 7759 /proc/meminfo: memFree=27825788/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1333828 CPUtime=1800.01 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 274953 0 0 0 179944 57 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 140736599041704 12483387 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 333457 275393 854 2943 0 330351 0 [pid=5986/tid=5987] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1333828 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 5986 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.14 2.19 2.18 3/183 7759 /proc/meminfo: memFree=27825788/32872528 swapFree=16384/1696552 [pid=5986] ppid=5983 vsize=1333828 CPUtime=1800.01 cores=0,2,4,6 /proc/5986/stat : 5986 (toysat) R 5983 5986 5723 0 -1 4202496 274953 0 0 0 179944 57 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 140736599041704 12483387 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5986/statm: 333457 275393 854 2943 0 330351 0 [pid=5986/tid=5987] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5987/stat : 5987 (toysat) S 5983 5986 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633809665264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5986/tid=5988] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5988/stat : 5988 (toysat) S 5983 5986 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633799175408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5986/tid=5989] ppid=5983 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/5986/task/5989/stat : 5989 (toysat) S 5983 5986 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082057 1365839872 275393 33554432000 4194304 16246674 140736599058704 139633681755312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1333828 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.45 CPU system time (s): 0.579911 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 1333828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.45 system time used= 0.579911 maximum resident set size= 1101572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274953 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= 412 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6253 second user time and 6.94894 second system time The end
Begin job on node125 at 2016-06-07 03:04:50 IDJOB=4080091 IDBENCH=48245 IDSOLVER=2542 FILE ID=node125/4080091-1465261490 RUNJOBID= node125-1465259688-5739 PBS_JOBID= 19843289 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080091-1465261490/watcher-4080091-1465261490 -o /tmp/evaluation-result-4080091-1465261490/solver-4080091-1465261490 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5739 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080091-1465261490.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4ec3492215da9d1ca4e43111c42870de RANDOM SEED=1221274046 node125.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.456 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 : 5332.91 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.456 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.56 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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: 30002736 kB Buffers: 73696 kB Cached: 138060 kB SwapCached: 2016 kB Active: 355404 kB Inactive: 110240 kB Active(anon): 254616 kB Inactive(anon): 1380 kB Active(file): 100788 kB Inactive(file): 108860 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 32620 kB Writeback: 0 kB AnonPages: 2009124 kB Mapped: 10828 kB Shmem: 0 kB Slab: 570036 kB SReclaimable: 14160 kB SUnreclaim: 555876 kB KernelStack: 1488 kB PageTables: 9008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2830172 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1742848 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= 71728 MiB End job on node125 at 2016-06-07 03:34:51