| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_1.opb |
| MD5SUM | 8c398fbb12ba7dbf676dd8375a76e0de |
| 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.01 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -30 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 301 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| Number of terms in the objective function | 100 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2496 |
| Sum of products size (including duplicates) | 4992 |
| Number of different products | 1248 |
| Sum of products size | 2496 |
0.00/0.00 c 2016-06-07T03:15:17+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-4080090-1465262117.opb"] 0.00/0.01 c use --random-gen="1381526877 130788447 2420240233 3454543198 2782951750 1217318213 2619325289 2385279313 2763633286 850929943 3353782769 219471514 3158501319 3661601342 2804257942 1606579623 3227598265 6851500 1009300796 2197409449 2258656458 1993636477 2533755016 1764039849 938326030 3547471478 110889835 3568910438 3764516165 768353619 3709237332 681844453 591278893 2372820128 4035788117 1223800316 2368858983 2864157512 4273328816 2325771730 421118358 3047495182 1587215143 893658422 3682259059 131816507 928339572 3470527285 2892874949 2340507793 2525623755 2386568840 2978785911 4071333632 3629555907 4183642458 3696898102 536198360 2895065155 3511155756 1402704359 1916408201 4274154716 3156215159 2741702679 2723862955 3221391289 1044783606 1389463035 2232072520 2245116501 1398284179 572340746 240852145 769649880 110304361 703285217 1559617874 1148412238 1110993278 2700057054 1925563675 3928715565 4030833410 2969793475 727942116 2000157502 2011082744 3213799445 3623262992 2130185079 764726416 650674508 711806801 2885530957 3817366021 1571501358 276152603 2153922432 2174722979 2392299989 2045182178 823835398 922532150 1919589033 3054126824 495866100 4071275496 2211078066 4159814874 1960220116 1729005649 4136114624 1555970670 249241551 3290452813 2329927706 2002741429 2665346216 1764352722 571886433 2269898356 3434619501 2500362479 1406036979 3756056882 2274048893 928779784 4186555976 3791552109 2265568619 181152191 2543450438 1169165721 1348759517 1068838398 3347967832 3465283810 2241502937 740337903 2143443500 295229139 3959909478 1432929717 508225399 2177546446 1353660162 3070617067 460104700 3432313661 3320918282 2092914503 4088799312 488075460 453756978 955458276 161446813 542473328 2642381248 2477446259 1688214215 1176723828 438967088 3787904538 3120470300 1243475707 2943878424 1696999572 4092406950 702196109 1073880408 3338147437 2166472799 3297595956 1963074522 2110776947 758670762 3874391461 992947661 1211276186 2470423659 1271386692 2128331712 2346100717 1496890576 2266312403 722734304 1893350784 1175015596 130100313 266147660 529500528 3841959621 2758745980 3835113419 1937164626 2099371982 3720882416 2533281927 1608035113 3066386817 864472877 3407548530 1857096321 647436374 1183041613 3891955805 2852057717 3877965990 1978935756 955930614 3299134679 2967072554 1814515063 3452989435 1743401048 16249299 4076908088 1206611369 804153872 3466784 435920093 2913365614 519060739 859487113 62636972 1306041379 3226460397 373577275 2765274153 1514348580 3609919805 3740397989 1740018320 479484643 786336609 2318025944 1615514879 3686175660 2846999376 2266777821 76708521 721853290 354505345 2867721336 3795459879 1482730370 1985867028 1398191553 3802352718 1571929986 4170732987 2635089135 1810958856 2717078004 2096862433 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 | 999 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 116 | 1 | 999 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.004s 0.00/0.05 c #wall_clock_time = 0.004s 0.00/0.05 c #decision = 116 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 1 0.00/0.05 c #restart = 0 0.00/0.05 o -16 0.00/0.05 c BCD2: updating upper bound: 100 -> 83 0.00/0.05 c BCD2: 0 <= obj <= 83 0.00/0.05 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 999 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 50 | 1 | 999 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 = 50 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: found a new core of size 50: cost of the new core is >=1 0.00/0.06 c lower bound updated to -99 0.00/0.06 c BCD2: 1 <= obj <= 83 0.00/0.06 c BCD2: #cores=1, #unrelaxed=50, #relaxed=50, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 999 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 51 | 1 | 999 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.004s 0.00/0.06 c #wall_clock_time = 0.004s 0.00/0.06 c #decision = 51 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 50 and merging with 1 cores into a new core of size 100: cost of the new core is >=2 0.00/0.06 c lower bound updated to -98 0.00/0.06 c BCD2: 2 <= obj <= 83 0.00/0.06 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 999 0 | 1 | 0 0.09/0.10 c 0.0s | 1 | 1751 | 100 | 1099 0 | 1 | 1 0.09/0.17 c 0.1s | 2 | 4713 | 250 | 1209 0 | 1 | 1 0.19/0.29 c 0.2s | 3 | 8022 | 475 | 1330 0 | 1 | 1 0.38/0.48 c 0.4s | 4 | 10899 | 813 | 1464 0 | 1 | 1 0.79/0.81 c 0.7s | 5 | 13463 | 1320 | 1611 0 | 1 | 1 1.10/1.19 c 1.1s | 6 | 18635 | 2081 | 1773 1 | 1 | 1 1.59/1.67 c 1.6s | 7 | 24235 | 3223 | 1951 2 | 1 | 1 2.30/2.39 c 2.3s | 8 | 35551 | 4936 | 2147 4 | 1 | 1 3.19/3.27 c 3.2s | 9 | 55525 | 7506 | 2362 6 | 1 | 1 4.89/4.95 c 4.9s | 10 | 77272 | 11361 | 2599 9 | 1 | 1 6.89/6.97 c 6.9s | 10 | 133297 | 16861 | 2599 13 | 1 | 1 6.99/7.06 c 7.0s | 11 | 136693 | 17144 | 2859 13 | 1 | 1 8.99/9.09 c 9.0s | 11 | 161036 | 22044 | 2859 16 | 1 | 1 10.69/10.77 c 10.7s | 12 | 171371 | 25819 | 3145 18 | 1 | 1 12.79/12.83 c 12.8s | 12 | 219989 | 30919 | 3145 22 | 1 | 1 14.79/14.83 c 14.8s | 12 | 252365 | 36219 | 3145 25 | 1 | 1 15.89/15.92 c 15.9s | 13 | 261686 | 38832 | 3460 26 | 1 | 1 17.89/17.94 c 17.9s | 13 | 301316 | 44232 | 3460 29 | 1 | 1 19.89/19.95 c 19.9s | 13 | 313720 | 49032 | 3460 32 | 1 | 1 21.89/21.99 c 21.9s | 13 | 327157 | 53832 | 3460 34 | 1 | 1 23.89/23.92 c 23.9s | 14 | 340264 | 58352 | 3807 37 | 1 | 1 25.89/25.96 c 25.9s | 14 | 377703 | 63152 | 3807 39 | 1 | 1 27.88/27.98 c 27.9s | 14 | 397710 | 67852 | 3807 42 | 1 | 1 29.98/30.02 c 30.0s | 14 | 416198 | 72652 | 3807 44 | 1 | 1 31.99/32.05 c 32.0s | 14 | 426792 | 77252 | 3807 46 | 1 | 1 33.98/34.07 c 34.0s | 14 | 435664 | 81752 | 3807 48 | 1 | 1 36.08/36.10 c 36.0s | 14 | 450236 | 86152 | 3807 51 | 1 | 1 36.68/36.79 c 36.7s | 15 | 453738 | 87632 | 4188 51 | 1 | 1 38.78/38.83 c 38.8s | 15 | 469947 | 92032 | 4188 53 | 1 | 1 40.79/40.84 c 40.8s | 15 | 485771 | 96632 | 4188 55 | 1 | 1 42.78/42.85 c 42.8s | 15 | 508174 | 101032 | 4188 57 | 1 | 1 44.78/44.89 c 44.8s | 15 | 517567 | 105432 | 4188 59 | 1 | 1 46.88/46.93 c 46.9s | 15 | 533330 | 109432 | 4188 61 | 1 | 1 48.88/48.96 c 48.9s | 15 | 540028 | 113232 | 4188 63 | 1 | 1 50.88/50.97 c 50.9s | 15 | 585139 | 117432 | 4188 65 | 1 | 1 52.88/52.98 c 52.9s | 15 | 621807 | 121732 | 4188 67 | 1 | 1 54.88/54.98 c 54.9s | 15 | 647495 | 126032 | 4188 69 | 1 | 1 56.88/56.99 c 56.9s | 15 | 674929 | 130332 | 4188 71 | 1 | 1 57.38/57.45 c 57.4s | 16 | 686065 | 131552 | 4607 71 | 1 | 1 59.38/59.45 c 59.4s | 16 | 721526 | 135652 | 4607 73 | 1 | 1 61.38/61.47 c 61.4s | 16 | 763966 | 139552 | 4607 75 | 1 | 1 63.48/63.50 c 63.4s | 16 | 806480 | 143752 | 4607 76 | 1 | 1 65.48/65.50 c 65.4s | 16 | 835205 | 147752 | 4607 78 | 1 | 1 67.48/67.52 c 67.5s | 16 | 875901 | 151852 | 4607 80 | 1 | 1 69.48/69.57 c 69.5s | 16 | 905117 | 155752 | 4607 82 | 1 | 1 71.48/71.58 c 71.5s | 16 | 935411 | 160152 | 4607 83 | 1 | 1 73.57/73.63 c 73.6s | 16 | 969392 | 164352 | 4607 85 | 1 | 1 75.57/75.65 c 75.6s | 16 | 992699 | 168352 | 4607 87 | 1 | 1 77.57/77.66 c 77.6s | 16 | 1008490 | 172352 | 4607 88 | 1 | 1 79.57/79.68 c 79.6s | 16 | 1021884 | 175952 | 4607 90 | 1 | 1 81.58/81.69 c 81.6s | 16 | 1053326 | 179952 | 4607 92 | 1 | 1 83.69/83.71 c 83.6s | 16 | 1080458 | 184052 | 4607 93 | 1 | 1 85.68/85.73 c 85.7s | 16 | 1089353 | 187452 | 4607 95 | 1 | 1 87.68/87.77 c 87.7s | 16 | 1137313 | 191552 | 4607 97 | 1 | 1 89.68/89.79 c 89.7s | 16 | 1158695 | 195352 | 4607 98 | 1 | 1 90.88/90.99 c 90.9s | 17 | 1162566 | 197432 | 5068 99 | 1 | 1 92.98/93.04 c 93.0s | 17 | 1199789 | 201132 | 5068 100 | 1 | 1 95.08/95.10 c 95.0s | 17 | 1216923 | 204632 | 5068 102 | 1 | 1 97.08/97.15 c 97.1s | 17 | 1230217 | 208332 | 5068 103 | 1 | 1 99.08/99.16 c 99.1s | 17 | 1275933 | 212032 | 5068 104 | 1 | 1 101.08/101.20 c 101s | 17 | 1315115 | 216032 | 5068 106 | 1 | 1 103.18/103.28 c 103s | 17 | 1331678 | 220032 | 5068 108 | 1 | 1 105.28/105.31 c 105s | 17 | 1362141 | 224432 | 5068 109 | 1 | 1 107.27/107.32 c 107s | 17 | 1401123 | 228232 | 5068 111 | 1 | 1 109.27/109.33 c 109s | 17 | 1427987 | 232232 | 5068 112 | 1 | 1 111.27/111.35 c 111s | 17 | 1443154 | 235932 | 5068 114 | 1 | 1 113.28/113.39 c 113s | 17 | 1476494 | 239932 | 5068 115 | 1 | 1 115.37/115.44 c 115s | 17 | 1500454 | 244132 | 5068 117 | 1 | 1 117.47/117.50 c 117s | 17 | 1537119 | 248832 | 5068 119 | 1 | 1 119.47/119.53 c 119s | 17 | 1567116 | 253032 | 5068 120 | 1 | 1 121.47/121.55 c 121s | 17 | 1599280 | 257432 | 5068 122 | 1 | 1 123.47/123.56 c 123s | 17 | 1632396 | 262132 | 5068 124 | 1 | 1 125.48/125.56 c 125s | 17 | 1649432 | 266332 | 5068 125 | 1 | 1 127.47/127.60 c 127s | 17 | 1659703 | 270132 | 5068 127 | 1 | 1 129.57/129.61 c 129s | 17 | 1703678 | 273532 | 5068 128 | 1 | 1 131.57/131.62 c 131s | 17 | 1751435 | 277432 | 5068 129 | 1 | 1 133.57/133.64 c 133s | 17 | 1785240 | 281632 | 5068 131 | 1 | 1 135.57/135.65 c 135s | 17 | 1829831 | 285432 | 5068 133 | 1 | 1 137.57/137.66 c 137s | 17 | 1871685 | 289932 | 5068 134 | 1 | 1 139.57/139.67 c 139s | 17 | 1890538 | 293732 | 5068 136 | 1 | 1 140.97/141.00 c 140s | 18 | 1903914 | 296252 | 5575 136 | 1 | 1 142.97/143.01 c 142s | 18 | 1944463 | 300252 | 5575 138 | 1 | 1 144.97/145.03 c 144s | 18 | 1974191 | 304552 | 5575 139 | 1 | 1 146.96/147.06 c 146s | 18 | 2010013 | 309052 | 5575 141 | 1 | 1 148.96/149.09 c 149s | 18 | 2038370 | 313552 | 5575 142 | 1 | 1 151.06/151.12 c 151s | 18 | 2056777 | 317752 | 5575 144 | 1 | 1 153.06/153.14 c 153s | 18 | 2106867 | 322652 | 5575 146 | 1 | 1 155.07/155.15 c 155s | 18 | 2163150 | 327052 | 5575 147 | 1 | 1 157.06/157.19 c 157s | 18 | 2192917 | 331452 | 5575 149 | 1 | 1 159.16/159.23 c 159s | 18 | 2227197 | 335852 | 5575 150 | 1 | 1 161.16/161.26 c 161s | 18 | 2264795 | 340052 | 5575 152 | 1 | 1 163.16/163.27 c 163s | 18 | 2284402 | 344352 | 5575 153 | 1 | 1 165.26/165.30 c 165s | 18 | 2299818 | 348652 | 5575 155 | 1 | 1 167.27/167.30 c 167s | 18 | 2312394 | 352552 | 5575 156 | 1 | 1 169.26/169.34 c 169s | 18 | 2332052 | 356452 | 5575 157 | 1 | 1 171.26/171.37 c 171s | 18 | 2357334 | 360752 | 5575 159 | 1 | 1 173.36/173.42 c 173s | 18 | 2367696 | 364752 | 5575 160 | 1 | 1 175.36/175.42 c 175s | 18 | 2382882 | 368852 | 5575 162 | 1 | 1 177.36/177.43 c 177s | 18 | 2391076 | 372552 | 5575 163 | 1 | 1 179.36/179.46 c 179s | 18 | 2400395 | 376952 | 5575 164 | 1 | 1 181.37/181.46 c 181s | 18 | 2413361 | 380652 | 5575 166 | 1 | 1 183.47/183.54 c 183s | 18 | 2421026 | 383852 | 5575 167 | 1 | 1 185.47/185.56 c 185s | 18 | 2445695 | 387852 | 5575 168 | 1 | 1 187.57/187.60 c 187s | 18 | 2489414 | 392352 | 5575 170 | 1 | 1 189.57/189.63 c 189s | 18 | 2512624 | 396752 | 5575 171 | 1 | 1 191.56/191.66 c 191s | 18 | 2542514 | 400952 | 5575 173 | 1 | 1 193.57/193.67 c 193s | 18 | 2579839 | 405552 | 5575 174 | 1 | 1 195.56/195.69 c 195s | 18 | 2596088 | 409752 | 5575 176 | 1 | 1 197.66/197.72 c 197s | 18 | 2607089 | 413752 | 5575 177 | 1 | 1 199.66/199.74 c 199s | 18 | 2625104 | 417652 | 5575 179 | 1 | 1 201.66/201.75 c 201s | 18 | 2658411 | 421852 | 5575 180 | 1 | 1 203.66/203.77 c 203s | 18 | 2670025 | 425952 | 5575 181 | 1 | 1 205.67/205.77 c 205s | 18 | 2695476 | 430052 | 5575 183 | 1 | 1 207.76/207.80 c 207s | 18 | 2707914 | 434052 | 5575 184 | 1 | 1 209.76/209.80 c 209s | 18 | 2736972 | 437852 | 5575 186 | 1 | 1 211.76/211.81 c 211s | 18 | 2754992 | 441952 | 6133 187 | 1 | 1 212.96/213.08 c 213s | 19 | 2760827 | 444482 | 6133 188 | 1 | 1 215.06/215.11 c 215s | 19 | 2770345 | 448582 | 6133 189 | 1 | 1 217.06/217.13 c 217s | 19 | 2786600 | 452782 | 6133 190 | 1 | 1 219.16/219.22 c 219s | 19 | 2809648 | 456782 | 6133 192 | 1 | 1 221.17/221.27 c 221s | 19 | 2829540 | 460782 | 6133 193 | 1 | 1 223.27/223.31 c 223s | 19 | 2854286 | 465082 | 6133 194 | 1 | 1 225.26/225.32 c 225s | 19 | 2874248 | 469182 | 6133 195 | 1 | 1 227.26/227.32 c 227s | 19 | 2883408 | 472582 | 6133 197 | 1 | 1 229.26/229.37 c 229s | 19 | 2897227 | 475882 | 6133 198 | 1 | 1 231.36/231.41 c 231s | 19 | 2921252 | 479582 | 6133 199 | 1 | 1 233.36/233.44 c 233s | 19 | 2953005 | 483482 | 6133 200 | 1 | 1 235.36/235.46 c 235s | 19 | 2974975 | 487282 | 6133 201 | 1 | 1 237.46/237.51 c 237s | 19 | 2998129 | 491282 | 6133 203 | 1 | 1 239.45/239.53 c 239s | 19 | 3049017 | 495282 | 6133 204 | 1 | 1 241.46/241.56 c 241s | 19 | 3079924 | 499282 | 6133 205 | 1 | 1 243.46/243.57 c 243s | 19 | 3090567 | 502882 | 6133 206 | 1 | 1 245.45/245.58 c 245s | 19 | 3103525 | 506382 | 6133 207 | 1 | 1 247.56/247.62 c 247s | 19 | 3122597 | 510182 | 6133 208 | 1 | 1 249.55/249.65 c 249s | 19 | 3142602 | 513382 | 6133 209 | 1 | 1 251.55/251.66 c 251s | 19 | 3156228 | 516682 | 6133 211 | 1 | 1 253.55/253.69 c 253s | 19 | 3168765 | 519982 | 6133 212 | 1 | 1 255.55/255.69 c 255s | 19 | 3199160 | 523782 | 6133 213 | 1 | 1 257.65/257.72 c 257s | 19 | 3222898 | 527582 | 6133 214 | 1 | 1 259.66/259.76 c 259s | 19 | 3241615 | 530982 | 6133 215 | 1 | 1 261.76/261.80 c 261s | 19 | 3252820 | 534182 | 6133 216 | 1 | 1 263.75/263.84 c 263s | 19 | 3264673 | 537482 | 6133 217 | 1 | 1 265.75/265.85 c 265s | 19 | 3271363 | 540682 | 6133 218 | 1 | 1 267.75/267.86 c 267s | 19 | 3282727 | 543782 | 6133 219 | 1 | 1 269.75/269.87 c 269s | 19 | 3286874 | 546882 | 6133 220 | 1 | 1 271.85/271.90 c 271s | 19 | 3303989 | 550782 | 6133 221 | 1 | 1 273.85/273.94 c 273s | 19 | 3317988 | 554382 | 6133 222 | 1 | 1 276.05/276.13 c 276s | 19 | 3326519 | 557882 | 6133 224 | 1 | 1 278.05/278.17 c 278s | 19 | 3333343 | 561282 | 6133 225 | 1 | 1 280.15/280.23 c 280s | 19 | 3359609 | 564582 | 6133 226 | 1 | 1 282.15/282.28 c 282s | 19 | 3377770 | 568182 | 6133 227 | 1 | 1 284.25/284.31 c 284s | 19 | 3406906 | 572082 | 6133 228 | 1 | 1 286.25/286.32 c 286s | 19 | 3425908 | 575982 | 6133 229 | 1 | 1 288.25/288.33 c 288s | 19 | 3447529 | 579982 | 6133 230 | 1 | 1 290.25/290.35 c 290s | 19 | 3457004 | 583582 | 6133 232 | 1 | 1 292.24/292.36 c 292s | 19 | 3474727 | 586982 | 6133 233 | 1 | 1 294.24/294.37 c 294s | 19 | 3492917 | 590982 | 6133 234 | 1 | 1 296.24/296.37 c 296s | 19 | 3515134 | 595082 | 6133 235 | 1 | 1 298.34/298.40 c 298s | 19 | 3526684 | 598882 | 6133 236 | 1 | 1 300.35/300.43 c 300s | 19 | 3539167 | 602482 | 6133 238 | 1 | 1 302.34/302.47 c 302s | 19 | 3552958 | 606282 | 6133 239 | 1 | 1 304.34/304.48 c 304s | 19 | 3560912 | 609682 | 6133 240 | 1 | 1 306.44/306.53 c 306s | 19 | 3569941 | 613282 | 6133 241 | 1 | 1 308.44/308.58 c 308s | 19 | 3573990 | 616482 | 6133 242 | 1 | 1 310.45/310.59 c 310s | 19 | 3592621 | 619382 | 6133 243 | 1 | 1 312.55/312.62 c 312s | 19 | 3603895 | 623182 | 6133 244 | 1 | 1 314.55/314.65 c 314s | 19 | 3619821 | 626782 | 6133 245 | 1 | 1 316.54/316.66 c 316s | 19 | 3637649 | 630582 | 6133 246 | 1 | 1 318.54/318.67 c 318s | 19 | 3648168 | 634082 | 6133 248 | 1 | 1 320.64/320.74 c 320s | 19 | 3657810 | 637582 | 6133 249 | 1 | 1 322.64/322.76 c 322s | 19 | 3672926 | 641082 | 6133 250 | 1 | 1 324.74/324.82 c 324s | 19 | 3678045 | 644282 | 6133 251 | 1 | 1 326.75/326.87 c 326s | 19 | 3681036 | 647182 | 6133 252 | 1 | 1 328.74/328.89 c 328s | 19 | 3688960 | 650382 | 6133 253 | 1 | 1 330.74/330.89 c 330s | 19 | 3694925 | 653982 | 6133 254 | 1 | 1 332.74/332.89 c 332s | 19 | 3707380 | 657182 | 6133 255 | 1 | 1 334.84/334.90 c 334s | 19 | 3723896 | 660982 | 6133 256 | 1 | 1 336.84/336.92 c 336s | 19 | 3731869 | 664682 | 6747 257 | 1 | 1 338.04/338.10 c 338s | 20 | 3739210 | 666827 | 6747 258 | 1 | 1 340.04/340.15 c 340s | 20 | 3762321 | 670327 | 6747 259 | 1 | 1 342.05/342.19 c 342s | 20 | 3771925 | 673427 | 6747 260 | 1 | 1 344.14/344.23 c 344s | 20 | 3793305 | 676927 | 6747 260 | 1 | 1 346.14/346.26 c 346s | 20 | 3824880 | 680427 | 6747 262 | 1 | 1 348.24/348.30 c 348s | 20 | 3844362 | 684027 | 6747 263 | 1 | 1 350.24/350.34 c 350s | 20 | 3850317 | 687227 | 6747 263 | 1 | 1 352.34/352.40 c 352s | 20 | 3866492 | 690327 | 6747 264 | 1 | 1 354.34/354.43 c 354s | 20 | 3884062 | 693427 | 6747 265 | 1 | 1 356.34/356.45 c 356s | 20 | 3896821 | 696727 | 6747 266 | 1 | 1 358.44/358.51 c 358s | 20 | 3915195 | 700227 | 6747 267 | 1 | 1 360.43/360.51 c 360s | 20 | 3933259 | 703627 | 6747 268 | 1 | 1 362.43/362.56 c 362s | 20 | 3966149 | 707027 | 6747 269 | 1 | 1 364.43/364.58 c 364s | 20 | 3991214 | 710927 | 6747 270 | 1 | 1 366.43/366.59 c 366s | 20 | 4029214 | 715127 | 6747 272 | 1 | 1 368.44/368.60 c 368s | 20 | 4069723 | 719327 | 6747 273 | 1 | 1 370.53/370.63 c 370s | 20 | 4090060 | 723327 | 6747 274 | 1 | 1 372.53/372.68 c 372s | 20 | 4106228 | 727227 | 6747 275 | 1 | 1 374.63/374.76 c 374s | 20 | 4121905 | 730327 | 6747 276 | 1 | 1 376.63/376.79 c 376s | 20 | 4144479 | 734327 | 6747 277 | 1 | 1 378.73/378.82 c 378s | 20 | 4169186 | 738427 | 6747 278 | 1 | 1 380.73/380.84 c 380s | 20 | 4186005 | 742227 | 6747 279 | 1 | 1 382.74/382.85 c 382s | 20 | 4200692 | 746027 | 6747 280 | 1 | 1 384.73/384.86 c 384s | 20 | 4214306 | 749127 | 6747 281 | 1 | 1 386.73/386.89 c 386s | 20 | 4230764 | 752727 | 6747 282 | 1 | 1 388.83/388.92 c 388s | 20 | 4246579 | 756427 | 6747 283 | 1 | 1 390.82/390.93 c 390s | 20 | 4254580 | 759727 | 6747 284 | 1 | 1 392.93/393.02 c 392s | 20 | 4276283 | 763427 | 6747 286 | 1 | 1 394.93/395.06 c 394s | 20 | 4293603 | 767127 | 6747 287 | 1 | 1 396.93/397.09 c 397s | 20 | 4307652 | 770927 | 6747 288 | 1 | 1 399.03/399.10 c 399s | 20 | 4314720 | 774127 | 6747 289 | 1 | 1 401.03/401.15 c 401s | 20 | 4329924 | 777427 | 6747 290 | 1 | 1 403.03/403.16 c 403s | 20 | 4347044 | 781527 | 6747 291 | 1 | 1 405.13/405.24 c 405s | 20 | 4357721 | 785427 | 6747 292 | 1 | 1 407.13/407.28 c 407s | 20 | 4378363 | 789527 | 6747 293 | 1 | 1 409.24/409.32 c 409s | 20 | 4388478 | 793427 | 6747 294 | 1 | 1 411.23/411.33 c 411s | 20 | 4404245 | 797427 | 6747 295 | 1 | 1 413.23/413.35 c 413s | 20 | 4418844 | 801227 | 6747 296 | 1 | 1 415.23/415.38 c 415s | 20 | 4442082 | 805527 | 6747 298 | 1 | 1 417.23/417.38 c 417s | 20 | 4454069 | 809427 | 6747 299 | 1 | 1 419.33/419.42 c 419s | 20 | 4464813 | 813327 | 6747 300 | 1 | 1 421.34/421.46 c 421s | 20 | 4472777 | 817127 | 6747 301 | 1 | 1 423.53/423.65 c 423s | 20 | 4489661 | 821427 | 6747 302 | 1 | 1 425.53/425.65 c 425s | 20 | 4505555 | 825327 | 6747 303 | 1 | 1 427.53/427.69 c 427s | 20 | 4518584 | 829227 | 6747 304 | 1 | 1 429.63/429.71 c 429s | 20 | 4531640 | 833027 | 6747 306 | 1 | 1 431.63/431.73 c 431s | 20 | 4541291 | 836927 | 6747 307 | 1 | 1 433.63/433.78 c 433s | 20 | 4552210 | 840827 | 6747 308 | 1 | 1 435.63/435.79 c 435s | 20 | 4560374 | 844727 | 6747 309 | 1 | 1 437.63/437.79 c 437s | 20 | 4568742 | 848027 | 6747 310 | 1 | 1 439.73/439.83 c 439s | 20 | 4585288 | 852227 | 6747 311 | 1 | 1 441.72/441.88 c 441s | 20 | 4594962 | 855727 | 6747 312 | 1 | 1 443.82/443.94 c 443s | 20 | 4612370 | 859727 | 6747 313 | 1 | 1 445.82/445.97 c 445s | 20 | 4627107 | 863527 | 6747 314 | 1 | 1 447.92/448.00 c 447s | 20 | 4636747 | 867027 | 6747 315 | 1 | 1 449.93/450.06 c 449s | 20 | 4647815 | 870827 | 6747 316 | 1 | 1 452.03/452.18 c 452s | 20 | 4654825 | 874327 | 6747 317 | 1 | 1 454.02/454.18 c 454s | 20 | 4664042 | 878027 | 6747 319 | 1 | 1 456.12/456.22 c 456s | 20 | 4669597 | 881527 | 6747 320 | 1 | 1 458.12/458.23 c 458s | 20 | 4685278 | 884727 | 6747 320 | 1 | 1 460.12/460.29 c 460s | 20 | 4703866 | 888427 | 6747 322 | 1 | 1 462.22/462.30 c 462s | 20 | 4735950 | 892427 | 6747 323 | 1 | 1 464.23/464.33 c 464s | 20 | 4755050 | 896627 | 6747 324 | 1 | 1 466.22/466.34 c 466s | 20 | 4765447 | 900227 | 6747 325 | 1 | 1 468.22/468.35 c 468s | 20 | 4775603 | 903727 | 6747 326 | 1 | 1 470.22/470.38 c 470s | 20 | 4788734 | 907027 | 6747 327 | 1 | 1 472.32/472.41 c 472s | 20 | 4797394 | 910227 | 6747 328 | 1 | 1 474.32/474.45 c 474s | 20 | 4812024 | 913927 | 6747 329 | 1 | 1 476.32/476.48 c 476s | 20 | 4826262 | 917127 | 6747 330 | 1 | 1 478.42/478.52 c 478s | 20 | 4851378 | 920627 | 6747 331 | 1 | 1 480.42/480.52 c 480s | 20 | 4872963 | 924427 | 6747 332 | 1 | 1 482.42/482.58 c 482s | 20 | 4888239 | 928327 | 6747 333 | 1 | 1 484.52/484.63 c 484s | 20 | 4904052 | 931627 | 6747 334 | 1 | 1 486.52/486.64 c 486s | 20 | 4930790 | 935727 | 6747 335 | 1 | 1 488.61/488.70 c 488s | 20 | 4947910 | 940027 | 6747 336 | 1 | 1 490.62/490.74 c 490s | 20 | 4958660 | 943827 | 6747 337 | 1 | 1 492.61/492.78 c 492s | 20 | 4980479 | 947127 | 6747 338 | 1 | 1 494.71/494.81 c 494s | 20 | 4995624 | 950827 | 6747 340 | 1 | 1 496.71/496.84 c 496s | 20 | 5002893 | 954427 | 6747 341 | 1 | 1 498.71/498.85 c 498s | 20 | 5011449 | 958027 | 6747 342 | 1 | 1 500.71/500.85 c 500s | 20 | 5021012 | 961527 | 6747 343 | 1 | 1 502.72/502.88 c 502s | 20 | 5036514 | 964827 | 6747 344 | 1 | 1 504.82/504.95 c 504s | 20 | 5049443 | 968227 | 6747 345 | 1 | 1 506.81/506.96 c 506s | 20 | 5060662 | 971727 | 6747 346 | 1 | 1 508.81/509.00 c 508s | 20 | 5074475 | 974927 | 6747 346 | 1 | 1 510.91/511.01 c 510s | 20 | 5087822 | 978327 | 6747 347 | 1 | 1 512.91/513.03 c 512s | 20 | 5091599 | 981227 | 6747 348 | 1 | 1 514.91/515.09 c 515s | 20 | 5094628 | 984027 | 6747 349 | 1 | 1 517.02/517.14 c 517s | 20 | 5104928 | 987327 | 6747 350 | 1 | 1 519.11/519.21 c 519s | 20 | 5114713 | 990727 | 6747 351 | 1 | 1 521.11/521.25 c 521s | 20 | 5121048 | 993827 | 7422 352 | 1 | 1 523.21/523.36 c 523s | 20 | 5127149 | 996927 | 7422 353 | 1 | 1 525.31/525.44 c 525s | 20 | 5134772 | 1000227 | 7422 353 | 1 | 1 525.41/525.52 c 525s | 21 | 5134934 | 1000345 | 7422 353 | 1 | 1 527.41/527.55 c 527s | 21 | 5168266 | 1003145 | 7422 354 | 1 | 1 529.41/529.57 c 529s | 21 | 5204548 | 1006745 | 7422 355 | 1 | 1 531.50/531.60 c 531s | 21 | 5229919 | 1010245 | 7422 356 | 1 | 1 533.52/533.67 c 533s | 21 | 5253820 | 1014145 | 7422 357 | 1 | 1 535.51/535.70 c 535s | 21 | 5273856 | 1017445 | 7422 358 | 1 | 1 537.61/537.73 c 537s | 21 | 5311482 | 1021845 | 7422 359 | 1 | 1 539.61/539.77 c 539s | 21 | 5353227 | 1025545 | 7422 360 | 1 | 1 541.61/541.77 c 541s | 21 | 5393889 | 1029645 | 7422 361 | 1 | 1 543.71/543.82 c 543s | 21 | 5422302 | 1033745 | 7422 362 | 1 | 1 545.71/545.85 c 545s | 21 | 5461864 | 1038145 | 7422 363 | 1 | 1 547.71/547.87 c 547s | 21 | 5485403 | 1042045 | 7422 364 | 1 | 1 549.81/549.90 c 549s | 21 | 5508419 | 1045945 | 7422 366 | 1 | 1 551.81/551.94 c 551s | 21 | 5526048 | 1050045 | 7422 367 | 1 | 1 554.51/554.65 c 554s | 21 | 5536753 | 1053845 | 7422 368 | 1 | 1 556.51/556.67 c 556s | 21 | 5566503 | 1058145 | 7422 369 | 1 | 1 558.51/558.68 c 558s | 21 | 5591070 | 1062045 | 7422 370 | 1 | 1 560.61/560.72 c 560s | 21 | 5610765 | 1066045 | 7422 371 | 1 | 1 562.61/562.76 c 562s | 21 | 5625095 | 1069745 | 7422 372 | 1 | 1 564.61/564.78 c 564s | 21 | 5643560 | 1073045 | 7422 373 | 1 | 1 566.70/566.82 c 566s | 21 | 5669460 | 1076645 | 7422 374 | 1 | 1 568.71/568.85 c 568s | 21 | 5683438 | 1080245 | 7422 375 | 1 | 1 570.70/570.90 c 570s | 21 | 5695082 | 1083845 | 7422 375 | 1 | 1 572.80/572.92 c 572s | 21 | 5707443 | 1087045 | 7422 376 | 1 | 1 574.80/574.92 c 574s | 21 | 5724407 | 1090845 | 7422 377 | 1 | 1 576.90/577.06 c 576s | 21 | 5746380 | 1094145 | 7422 378 | 1 | 1 578.90/579.09 c 579s | 21 | 5762395 | 1097845 | 7422 379 | 1 | 1 581.00/581.12 c 581s | 21 | 5783930 | 1101545 | 7422 380 | 1 | 1 583.01/583.13 c 583s | 21 | 5815993 | 1105445 | 7422 381 | 1 | 1 585.00/585.13 c 585s | 21 | 5821956 | 1108745 | 7422 382 | 1 | 1 587.00/587.13 c 587s | 21 | 5838331 | 1111745 | 7422 383 | 1 | 1 589.00/589.18 c 589s | 21 | 5864774 | 1115645 | 7422 384 | 1 | 1 591.00/591.19 c 591s | 21 | 5886827 | 1119545 | 7422 385 | 1 | 1 593.10/593.20 c 593s | 21 | 5902982 | 1123545 | 7422 386 | 1 | 1 595.10/595.23 c 595s | 21 | 5928681 | 1126745 | 7422 387 | 1 | 1 597.10/597.28 c 597s | 21 | 5946850 | 1130445 | 7422 388 | 1 | 1 599.10/599.29 c 599s | 21 | 5966935 | 1133745 | 7422 389 | 1 | 1 601.19/601.34 c 601s | 21 | 5994139 | 1137845 | 7422 390 | 1 | 1 603.20/603.37 c 603s | 21 | 6009629 | 1141445 | 7422 391 | 1 | 1 605.20/605.39 c 605s | 21 | 6019811 | 1144845 | 7422 391 | 1 | 1 607.29/607.42 c 607s | 21 | 6026820 | 1148145 | 7422 392 | 1 | 1 609.30/609.43 c 609s | 21 | 6035194 | 1150545 | 7422 393 | 1 | 1 611.29/611.47 c 611s | 21 | 6071302 | 1154845 | 7422 394 | 1 | 1 613.39/613.53 c 613s | 21 | 6090912 | 1158545 | 7422 395 | 1 | 1 615.39/615.54 c 615s | 21 | 6114928 | 1162545 | 7422 396 | 1 | 1 617.39/617.59 c 617s | 21 | 6123708 | 1166345 | 7422 397 | 1 | 1 619.49/619.63 c 619s | 21 | 6144564 | 1169245 | 7422 398 | 1 | 1 621.50/621.64 c 621s | 21 | 6162206 | 1172545 | 7422 399 | 1 | 1 623.50/623.64 c 623s | 21 | 6185866 | 1176645 | 7422 400 | 1 | 1 625.50/625.67 c 625s | 21 | 6205167 | 1180645 | 7422 401 | 1 | 1 627.60/627.73 c 627s | 21 | 6224729 | 1184945 | 7422 402 | 1 | 1 629.60/629.74 c 629s | 21 | 6231758 | 1187745 | 7422 403 | 1 | 1 631.60/631.76 c 631s | 21 | 6246598 | 1191345 | 7422 404 | 1 | 1 633.60/633.79 c 633s | 21 | 6259647 | 1194545 | 7422 404 | 1 | 1 635.70/635.85 c 635s | 21 | 6271993 | 1198545 | 7422 406 | 1 | 1 637.80/637.95 c 637s | 21 | 6280457 | 1202345 | 7422 407 | 1 | 1 639.79/639.95 c 639s | 21 | 6318376 | 1205845 | 7422 407 | 1 | 1 641.79/641.99 c 641s | 21 | 6361668 | 1209645 | 7422 408 | 1 | 1 643.89/644.03 c 643s | 21 | 6374774 | 1213245 | 7422 409 | 1 | 1 645.89/646.06 c 646s | 21 | 6402318 | 1216745 | 7422 410 | 1 | 1 647.90/648.08 c 648s | 21 | 6427790 | 1220645 | 7422 411 | 1 | 1 650.00/650.12 c 650s | 21 | 6461610 | 1224545 | 7422 412 | 1 | 1 651.99/652.13 c 652s | 21 | 6484589 | 1228445 | 7422 413 | 1 | 1 653.99/654.13 c 654s | 21 | 6506465 | 1231845 | 7422 414 | 1 | 1 655.99/656.15 c 656s | 21 | 6526608 | 1235545 | 7422 415 | 1 | 1 657.99/658.16 c 658s | 21 | 6542868 | 1238745 | 7422 416 | 1 | 1 660.00/660.18 c 660s | 21 | 6556697 | 1242345 | 7422 417 | 1 | 1 661.99/662.20 c 662s | 21 | 6569442 | 1245845 | 7422 418 | 1 | 1 664.09/664.24 c 664s | 21 | 6580506 | 1249345 | 7422 419 | 1 | 1 666.09/666.29 c 666s | 21 | 6596438 | 1252645 | 7422 420 | 1 | 1 668.19/668.33 c 668s | 21 | 6612392 | 1256345 | 7422 421 | 1 | 1 670.19/670.36 c 670s | 21 | 6619308 | 1259745 | 7422 422 | 1 | 1 672.19/672.38 c 672s | 21 | 6627564 | 1262445 | 7422 422 | 1 | 1 674.19/674.39 c 674s | 21 | 6644163 | 1265645 | 7422 423 | 1 | 1 676.29/676.43 c 676s | 21 | 6667668 | 1269145 | 7422 424 | 1 | 1 678.29/678.45 c 678s | 21 | 6680934 | 1272545 | 7422 425 | 1 | 1 680.39/680.50 c 680s | 21 | 6694537 | 1275945 | 7422 426 | 1 | 1 682.39/682.52 c 682s | 21 | 6700186 | 1279145 | 7422 427 | 1 | 1 684.49/684.61 c 684s | 21 | 6708398 | 1282145 | 7422 428 | 1 | 1 686.48/686.62 c 686s | 21 | 6716540 | 1285645 | 7422 428 | 1 | 1 688.49/688.64 c 688s | 21 | 6725835 | 1289245 | 7422 429 | 1 | 1 690.48/690.68 c 690s | 21 | 6732907 | 1292445 | 7422 430 | 1 | 1 692.58/692.70 c 692s | 21 | 6742016 | 1295645 | 7422 431 | 1 | 1 694.58/694.74 c 694s | 21 | 6753797 | 1299245 | 7422 432 | 1 | 1 696.58/696.76 c 696s | 21 | 6771720 | 1302645 | 7422 433 | 1 | 1 698.58/698.77 c 698s | 21 | 6792757 | 1306145 | 7422 434 | 1 | 1 700.59/700.77 c 700s | 21 | 6814754 | 1310045 | 7422 435 | 1 | 1 702.68/702.81 c 702s | 21 | 6837940 | 1313445 | 7422 436 | 1 | 1 704.68/704.87 c 704s | 21 | 6857757 | 1316945 | 7422 437 | 1 | 1 706.68/706.88 c 706s | 21 | 6875318 | 1320345 | 7422 438 | 1 | 1 708.69/708.89 c 708s | 21 | 6885601 | 1323345 | 7422 438 | 1 | 1 710.79/710.93 c 710s | 21 | 6910252 | 1326945 | 7422 439 | 1 | 1 712.79/712.98 c 712s | 21 | 6928725 | 1330545 | 7422 440 | 1 | 1 714.89/715.00 c 714s | 21 | 6949986 | 1334145 | 7422 441 | 1 | 1 716.89/717.04 c 716s | 21 | 6964568 | 1337945 | 7422 442 | 1 | 1 719.08/719.24 c 719s | 21 | 6973810 | 1341645 | 7422 443 | 1 | 1 721.08/721.24 c 721s | 21 | 6985744 | 1344945 | 7422 444 | 1 | 1 723.08/723.29 c 723s | 21 | 6996413 | 1348445 | 7422 445 | 1 | 1 725.18/725.33 c 725s | 21 | 7007498 | 1351845 | 7422 446 | 1 | 1 727.18/727.36 c 727s | 21 | 7019557 | 1355245 | 7422 447 | 1 | 1 729.18/729.40 c 729s | 21 | 7027582 | 1358745 | 7422 448 | 1 | 1 731.28/731.45 c 731s | 21 | 7038803 | 1362145 | 7422 449 | 1 | 1 733.28/733.49 c 733s | 21 | 7049783 | 1365745 | 7422 449 | 1 | 1 735.37/735.52 c 735s | 21 | 7056330 | 1369345 | 7422 450 | 1 | 1 737.37/737.55 c 737s | 21 | 7062842 | 1372745 | 7422 451 | 1 | 1 739.37/739.59 c 739s | 21 | 7079087 | 1375145 | 7422 452 | 1 | 1 741.47/741.61 c 741s | 21 | 7094145 | 1377845 | 7422 453 | 1 | 1 743.48/743.68 c 743s | 21 | 7119283 | 1381645 | 7422 454 | 1 | 1 745.57/745.71 c 745s | 21 | 7137601 | 1384945 | 7422 455 | 1 | 1 747.57/747.72 c 747s | 21 | 7164384 | 1388745 | 7422 456 | 1 | 1 749.57/749.77 c 749s | 21 | 7198369 | 1392545 | 7422 457 | 1 | 1 751.56/751.79 c 751s | 21 | 7225302 | 1396045 | 7422 457 | 1 | 1 753.67/753.85 c 753s | 21 | 7256098 | 1400045 | 7422 459 | 1 | 1 755.76/755.91 c 755s | 21 | 7275718 | 1403945 | 7422 460 | 1 | 1 757.96/758.11 c 758s | 21 | 7285319 | 1407445 | 7422 460 | 1 | 1 759.97/760.14 c 760s | 21 | 7300152 | 1410645 | 7422 461 | 1 | 1 761.96/762.16 c 762s | 21 | 7320570 | 1414345 | 7422 462 | 1 | 1 763.96/764.17 c 764s | 21 | 7339761 | 1417945 | 7422 463 | 1 | 1 766.06/766.21 c 766s | 21 | 7355709 | 1421645 | 7422 464 | 1 | 1 768.06/768.23 c 768s | 21 | 7364732 | 1424945 | 7422 465 | 1 | 1 770.06/770.23 c 770s | 21 | 7380144 | 1428345 | 7422 466 | 1 | 1 772.06/772.28 c 772s | 21 | 7396944 | 1432145 | 7422 467 | 1 | 1 774.06/774.29 c 774s | 21 | 7404257 | 1435445 | 7422 468 | 1 | 1 776.15/776.34 c 776s | 21 | 7415729 | 1439345 | 7422 469 | 1 | 1 778.15/778.38 c 778s | 21 | 7425511 | 1443145 | 7422 470 | 1 | 1 780.25/780.42 c 780s | 21 | 7438744 | 1446945 | 7422 471 | 1 | 1 782.25/782.45 c 782s | 21 | 7448886 | 1450545 | 7422 472 | 1 | 1 784.55/784.71 c 784s | 21 | 7456780 | 1453945 | 7422 473 | 1 | 1 786.55/786.73 c 786s | 21 | 7477526 | 1457845 | 7422 474 | 1 | 1 788.55/788.78 c 788s | 21 | 7487818 | 1461445 | 7422 475 | 1 | 1 790.64/790.80 c 790s | 21 | 7501820 | 1464745 | 7422 476 | 1 | 1 792.64/792.81 c 792s | 21 | 7515280 | 1468945 | 7422 477 | 1 | 1 794.64/794.82 c 794s | 21 | 7533368 | 1472345 | 7422 478 | 1 | 1 796.64/796.87 c 796s | 21 | 7546994 | 1476245 | 7422 479 | 1 | 1 798.74/798.93 c 798s | 21 | 7557856 | 1480045 | 7422 480 | 1 | 1 800.74/800.98 c 800s | 21 | 7572537 | 1483845 | 7422 481 | 1 | 1 802.84/803.01 c 802s | 21 | 7594322 | 1487845 | 7422 482 | 1 | 1 804.83/805.03 c 804s | 21 | 7607946 | 1491645 | 8165 482 | 1 | 1 806.83/807.06 c 806s | 21 | 7622420 | 1495245 | 8165 483 | 1 | 1 808.83/809.07 c 809s | 21 | 7632795 | 1498745 | 8165 484 | 1 | 1 810.03/810.21 c 810s | 22 | 7637851 | 1500622 | 8165 485 | 1 | 1 812.03/812.21 c 812s | 22 | 7664599 | 1503722 | 8165 485 | 1 | 1 814.03/814.25 c 814s | 22 | 7681370 | 1507522 | 8165 486 | 1 | 1 816.03/816.28 c 816s | 22 | 7694017 | 1511022 | 8165 487 | 1 | 1 818.13/818.34 c 818s | 22 | 7714298 | 1514122 | 8165 488 | 1 | 1 820.24/820.40 c 820s | 22 | 7748064 | 1517022 | 8165 488 | 1 | 1 822.24/822.45 c 822s | 22 | 7764613 | 1520622 | 8165 489 | 1 | 1 824.23/824.48 c 824s | 22 | 7783625 | 1523822 | 8165 490 | 1 | 1 826.33/826.54 c 826s | 22 | 7804666 | 1527022 | 8165 491 | 1 | 1 828.33/828.56 c 828s | 22 | 7830202 | 1530022 | 8165 492 | 1 | 1 830.34/830.59 c 830s | 22 | 7852812 | 1533622 | 8165 492 | 1 | 1 832.43/832.60 c 832s | 22 | 7869989 | 1537022 | 8165 493 | 1 | 1 834.43/834.63 c 834s | 22 | 7883731 | 1540422 | 8165 494 | 1 | 1 836.42/836.64 c 836s | 22 | 7892425 | 1543622 | 8165 495 | 1 | 1 838.52/838.74 c 838s | 22 | 7902256 | 1546322 | 8165 496 | 1 | 1 840.52/840.77 c 840s | 22 | 7909411 | 1549222 | 8165 496 | 1 | 1 842.53/842.79 c 842s | 22 | 7921600 | 1551822 | 8165 497 | 1 | 1 844.63/844.82 c 844s | 22 | 7932167 | 1555122 | 8165 498 | 1 | 1 846.62/846.86 c 846s | 22 | 7947955 | 1558622 | 8165 498 | 1 | 1 848.72/848.90 c 848s | 22 | 7970165 | 1561922 | 8165 499 | 1 | 1 850.72/850.96 c 850s | 22 | 7981175 | 1564922 | 8165 500 | 1 | 1 852.72/852.96 c 852s | 22 | 7991815 | 1567922 | 8165 501 | 1 | 1 854.72/854.96 c 854s | 22 | 7999681 | 1571122 | 8165 501 | 1 | 1 856.72/857.00 c 856s | 22 | 8018159 | 1573922 | 8165 502 | 1 | 1 858.81/859.05 c 858s | 22 | 8031694 | 1577322 | 8165 503 | 1 | 1 860.81/861.09 c 861s | 22 | 8044606 | 1580422 | 8165 504 | 1 | 1 862.91/863.15 c 863s | 22 | 8055633 | 1583722 | 8165 504 | 1 | 1 864.91/865.19 c 865s | 22 | 8067741 | 1586722 | 8165 505 | 1 | 1 867.01/867.23 c 867s | 22 | 8076575 | 1590022 | 8165 506 | 1 | 1 869.01/869.26 c 869s | 22 | 8083601 | 1593222 | 8165 507 | 1 | 1 871.11/871.32 c 871s | 22 | 8087747 | 1596222 | 8165 507 | 1 | 1 873.11/873.34 c 873s | 22 | 8109180 | 1599522 | 8165 508 | 1 | 1 875.10/875.34 c 875s | 22 | 8129960 | 1602122 | 8165 509 | 1 | 1 877.10/877.36 c 877s | 22 | 8159781 | 1605522 | 8165 510 | 1 | 1 879.10/879.37 c 879s | 22 | 8181367 | 1608922 | 8165 511 | 1 | 1 881.20/881.43 c 881s | 22 | 8195745 | 1612322 | 8165 511 | 1 | 1 883.20/883.43 c 883s | 22 | 8216066 | 1615522 | 8165 512 | 1 | 1 885.19/885.45 c 885s | 22 | 8227028 | 1617822 | 8165 513 | 1 | 1 887.19/887.47 c 887s | 22 | 8250801 | 1620922 | 8165 513 | 1 | 1 889.29/889.51 c 889s | 22 | 8265133 | 1624222 | 8165 514 | 1 | 1 891.29/891.53 c 891s | 22 | 8274521 | 1627222 | 8165 515 | 1 | 1 893.29/893.58 c 893s | 22 | 8283203 | 1630222 | 8165 516 | 1 | 1 895.39/895.61 c 895s | 22 | 8301005 | 1633722 | 8165 516 | 1 | 1 897.39/897.61 c 897s | 22 | 8314120 | 1636822 | 8165 517 | 1 | 1 899.39/899.66 c 899s | 22 | 8329197 | 1640022 | 8165 518 | 1 | 1 901.49/901.71 c 901s | 22 | 8337374 | 1643222 | 8165 519 | 1 | 1 903.49/903.76 c 903s | 22 | 8346795 | 1646522 | 8165 520 | 1 | 1 905.59/905.84 c 905s | 22 | 8352404 | 1649822 | 8165 520 | 1 | 1 907.59/907.86 c 907s | 22 | 8364173 | 1651722 | 8165 521 | 1 | 1 909.69/909.90 c 909s | 22 | 8383765 | 1655122 | 8165 522 | 1 | 1 911.70/911.96 c 911s | 22 | 8396656 | 1658522 | 8165 522 | 1 | 1 913.69/913.99 c 913s | 22 | 8404115 | 1661722 | 8165 523 | 1 | 1 915.79/916.01 c 915s | 22 | 8412368 | 1664822 | 8165 524 | 1 | 1 917.79/918.05 c 917s | 22 | 8419122 | 1667722 | 8165 525 | 1 | 1 919.79/920.08 c 920s | 22 | 8435738 | 1670322 | 8165 525 | 1 | 1 921.88/922.13 c 922s | 22 | 8452991 | 1672522 | 8165 526 | 1 | 1 923.89/924.14 c 924s | 22 | 8479397 | 1675922 | 8165 527 | 1 | 1 925.99/926.27 c 926s | 22 | 8502670 | 1679822 | 8165 528 | 1 | 1 928.08/928.31 c 928s | 22 | 8543880 | 1683622 | 8165 528 | 1 | 1 930.08/930.35 c 930s | 22 | 8595039 | 1687822 | 8165 529 | 1 | 1 932.08/932.39 c 932s | 22 | 8610415 | 1691322 | 8165 530 | 1 | 1 934.18/934.44 c 934s | 22 | 8638093 | 1694922 | 8165 531 | 1 | 1 936.17/936.47 c 936s | 22 | 8685783 | 1698822 | 8165 532 | 1 | 1 938.18/938.48 c 938s | 22 | 8718233 | 1702822 | 8165 533 | 1 | 1 940.17/940.48 c 940s | 22 | 8755509 | 1706722 | 8165 534 | 1 | 1 942.27/942.53 c 942s | 22 | 8764496 | 1710222 | 8165 535 | 1 | 1 944.27/944.53 c 944s | 22 | 8774727 | 1713522 | 8165 536 | 1 | 1 946.27/946.59 c 946s | 22 | 8785193 | 1716022 | 8165 536 | 1 | 1 948.37/948.65 c 948s | 22 | 8805510 | 1719522 | 8165 537 | 1 | 1 950.37/950.66 c 950s | 22 | 8822027 | 1722622 | 8165 538 | 1 | 1 952.47/952.71 c 952s | 22 | 8842286 | 1726322 | 8165 539 | 1 | 1 954.46/954.73 c 954s | 22 | 8858192 | 1729822 | 8165 540 | 1 | 1 956.46/956.76 c 956s | 22 | 8869673 | 1733522 | 8165 540 | 1 | 1 958.46/958.77 c 958s | 22 | 8880997 | 1736622 | 8165 541 | 1 | 1 960.56/960.80 c 960s | 22 | 8894896 | 1740222 | 8165 542 | 1 | 1 962.56/962.84 c 962s | 22 | 8906235 | 1743722 | 8165 543 | 1 | 1 964.57/964.88 c 964s | 22 | 8925396 | 1747322 | 8165 544 | 1 | 1 966.76/967.04 c 966s | 22 | 8934151 | 1750822 | 8165 545 | 1 | 1 968.76/969.05 c 968s | 22 | 8946245 | 1754722 | 8165 545 | 1 | 1 970.86/971.11 c 971s | 22 | 8956968 | 1758222 | 8165 546 | 1 | 1 972.86/973.13 c 973s | 22 | 8968759 | 1761722 | 8165 547 | 1 | 1 974.85/975.17 c 975s | 22 | 8978366 | 1764922 | 8165 548 | 1 | 1 976.85/977.17 c 977s | 22 | 8984118 | 1767822 | 8165 549 | 1 | 1 978.95/979.24 c 979s | 22 | 8988970 | 1771122 | 8165 549 | 1 | 1 980.96/981.27 c 981s | 22 | 8996318 | 1774322 | 8165 550 | 1 | 1 982.95/983.28 c 983s | 22 | 9010922 | 1777722 | 8165 551 | 1 | 1 985.35/985.60 c 985s | 22 | 9017707 | 1780522 | 8165 552 | 1 | 1 987.34/987.64 c 987s | 22 | 9049581 | 1783922 | 8165 552 | 1 | 1 989.44/989.70 c 989s | 22 | 9060805 | 1787322 | 8165 553 | 1 | 1 991.44/991.74 c 991s | 22 | 9081103 | 1790822 | 8165 554 | 1 | 1 993.44/993.78 c 993s | 22 | 9090327 | 1793922 | 8165 555 | 1 | 1 995.54/995.82 c 995s | 22 | 9103413 | 1797222 | 8165 556 | 1 | 1 997.55/997.87 c 997s | 22 | 9117376 | 1800722 | 8165 556 | 1 | 1 999.55/999.88 c 999s | 22 | 9123916 | 1804022 | 8165 557 | 1 | 1 1001.55/1001.88 c 1001s | 22 | 9140046 | 1807022 | 8165 558 | 1 | 1 1003.65/1003.90 c 1003s | 22 | 9157412 | 1810822 | 8165 559 | 1 | 1 1005.64/1005.94 c 1005s | 22 | 9168365 | 1814322 | 8165 560 | 1 | 1 1007.64/1007.94 c 1007s | 22 | 9180535 | 1817322 | 8165 560 | 1 | 1 1009.65/1009.96 c 1009s | 22 | 9193390 | 1820722 | 8165 561 | 1 | 1 1011.64/1011.97 c 1011s | 22 | 9202605 | 1824022 | 8165 562 | 1 | 1 1013.74/1014.00 c 1013s | 22 | 9211487 | 1827522 | 8165 563 | 1 | 1 1015.73/1016.01 c 1015s | 22 | 9218369 | 1830622 | 8165 564 | 1 | 1 1017.73/1018.03 c 1017s | 22 | 9224020 | 1833922 | 8165 564 | 1 | 1 1019.73/1020.08 c 1020s | 22 | 9233425 | 1837022 | 8165 565 | 1 | 1 1022.03/1022.32 c 1022s | 22 | 9241018 | 1840122 | 8165 566 | 1 | 1 1024.03/1024.32 c 1024s | 22 | 9271181 | 1843322 | 8165 567 | 1 | 1 1026.03/1026.33 c 1026s | 22 | 9294820 | 1846922 | 8165 567 | 1 | 1 1028.02/1028.35 c 1028s | 22 | 9322139 | 1850822 | 8165 568 | 1 | 1 1030.02/1030.37 c 1030s | 22 | 9343351 | 1854522 | 8165 569 | 1 | 1 1032.12/1032.43 c 1032s | 22 | 9362052 | 1858022 | 8165 570 | 1 | 1 1034.12/1034.49 c 1034s | 22 | 9380459 | 1861522 | 8165 571 | 1 | 1 1036.22/1036.51 c 1036s | 22 | 9394235 | 1864922 | 8165 572 | 1 | 1 1038.22/1038.52 c 1038s | 22 | 9405046 | 1868122 | 8165 573 | 1 | 1 1040.51/1040.84 c 1040s | 22 | 9411343 | 1870622 | 8165 573 | 1 | 1 1042.53/1042.89 c 1042s | 22 | 9438248 | 1873822 | 8165 574 | 1 | 1 1044.62/1044.92 c 1044s | 22 | 9455376 | 1877322 | 8165 575 | 1 | 1 1046.62/1046.94 c 1046s | 22 | 9484478 | 1880722 | 8165 576 | 1 | 1 1048.62/1048.99 c 1048s | 22 | 9520119 | 1884322 | 8165 577 | 1 | 1 1050.72/1051.02 c 1050s | 22 | 9554006 | 1887922 | 8165 577 | 1 | 1 1052.72/1053.04 c 1052s | 22 | 9570816 | 1891322 | 8165 578 | 1 | 1 1054.82/1055.10 c 1055s | 22 | 9590871 | 1894622 | 8165 579 | 1 | 1 1056.82/1057.10 c 1057s | 22 | 9607165 | 1897422 | 8165 580 | 1 | 1 1058.82/1059.14 c 1059s | 22 | 9622454 | 1900722 | 8165 580 | 1 | 1 1060.81/1061.19 c 1061s | 22 | 9641264 | 1904122 | 8165 581 | 1 | 1 1062.91/1063.20 c 1063s | 22 | 9658872 | 1907422 | 8165 582 | 1 | 1 1064.91/1065.23 c 1065s | 22 | 9686630 | 1911022 | 8165 583 | 1 | 1 1066.91/1067.27 c 1067s | 22 | 9706599 | 1914722 | 8165 584 | 1 | 1 1069.01/1069.31 c 1069s | 22 | 9719771 | 1918222 | 8165 585 | 1 | 1 1071.01/1071.33 c 1071s | 22 | 9730710 | 1921622 | 8165 585 | 1 | 1 1073.01/1073.38 c 1073s | 22 | 9741761 | 1923422 | 8165 586 | 1 | 1 1075.10/1075.41 c 1075s | 22 | 9757717 | 1926922 | 8165 587 | 1 | 1 1077.10/1077.42 c 1077s | 22 | 9769270 | 1930122 | 8165 587 | 1 | 1 1079.10/1079.43 c 1079s | 22 | 9776665 | 1933122 | 8165 588 | 1 | 1 1081.11/1081.45 c 1081s | 22 | 9781578 | 1936022 | 8165 589 | 1 | 1 1083.10/1083.48 c 1083s | 22 | 9789413 | 1939122 | 8165 590 | 1 | 1 1085.20/1085.56 c 1085s | 22 | 9795512 | 1942322 | 8165 590 | 1 | 1 1087.30/1087.63 c 1087s | 22 | 9800659 | 1945322 | 8165 591 | 1 | 1 1089.30/1089.64 c 1089s | 22 | 9804088 | 1948122 | 8165 592 | 1 | 1 1091.30/1091.68 c 1091s | 22 | 9813506 | 1951022 | 8165 592 | 1 | 1 1093.30/1093.69 c 1093s | 22 | 9818646 | 1953822 | 8165 593 | 1 | 1 1095.30/1095.69 c 1095s | 22 | 9827740 | 1956822 | 8165 594 | 1 | 1 1097.39/1097.71 c 1097s | 22 | 9841034 | 1960222 | 8165 595 | 1 | 1 1099.39/1099.76 c 1099s | 22 | 9847899 | 1963522 | 8165 595 | 1 | 1 1101.49/1101.81 c 1101s | 22 | 9856339 | 1966822 | 8165 596 | 1 | 1 1103.49/1103.86 c 1103s | 22 | 9866067 | 1970022 | 8165 597 | 1 | 1 1105.49/1105.87 c 1105s | 22 | 9874525 | 1973122 | 8165 598 | 1 | 1 1107.59/1107.90 c 1107s | 22 | 9880031 | 1976122 | 8165 598 | 1 | 1 1109.59/1109.95 c 1109s | 22 | 9884828 | 1979222 | 8165 599 | 1 | 1 1111.89/1112.26 c 1112s | 22 | 9890319 | 1981722 | 8165 600 | 1 | 1 1113.89/1114.26 c 1114s | 22 | 9903508 | 1984822 | 8165 601 | 1 | 1 1115.98/1116.31 c 1116s | 22 | 9919485 | 1987922 | 8165 601 | 1 | 1 1117.98/1118.35 c 1118s | 22 | 9940409 | 1991522 | 8165 602 | 1 | 1 1120.08/1120.40 c 1120s | 22 | 9959815 | 1994722 | 8165 603 | 1 | 1 1122.08/1122.43 c 1122s | 22 | 9970350 | 1997822 | 8165 604 | 1 | 1 1124.08/1124.46 c 1124s | 22 | 9983872 | 2001422 | 8165 604 | 1 | 1 1126.28/1126.61 c 1126s | 22 | 9990463 | 2004222 | 8165 605 | 1 | 1 1128.28/1128.67 c 1128s | 22 | 9997423 | 2007322 | 8165 606 | 1 | 1 1130.38/1130.71 c 1130s | 22 | 10009946 | 2010722 | 8165 607 | 1 | 1 1132.37/1132.73 c 1132s | 22 | 10040095 | 2013822 | 8165 607 | 1 | 1 1134.37/1134.76 c 1134s | 22 | 10066787 | 2017122 | 8165 608 | 1 | 1 1136.47/1136.88 c 1136s | 22 | 10083899 | 2020522 | 8165 609 | 1 | 1 1138.57/1138.92 c 1138s | 22 | 10109864 | 2024122 | 8165 610 | 1 | 1 1140.57/1140.98 c 1140s | 22 | 10123082 | 2027422 | 8165 611 | 1 | 1 1142.68/1143.02 c 1142s | 22 | 10142428 | 2030922 | 8165 612 | 1 | 1 1144.67/1145.04 c 1144s | 22 | 10166448 | 2034522 | 8165 612 | 1 | 1 1146.67/1147.07 c 1147s | 22 | 10188982 | 2038322 | 8165 613 | 1 | 1 1148.77/1149.13 c 1149s | 22 | 10205195 | 2042222 | 8165 614 | 1 | 1 1151.07/1151.42 c 1151s | 22 | 10223057 | 2045422 | 8165 615 | 1 | 1 1153.07/1153.43 c 1153s | 22 | 10236469 | 2048722 | 8165 616 | 1 | 1 1155.06/1155.44 c 1155s | 22 | 10254850 | 2052522 | 8165 617 | 1 | 1 1157.06/1157.47 c 1157s | 22 | 10272210 | 2056422 | 8165 618 | 1 | 1 1159.07/1159.48 c 1159s | 22 | 10282899 | 2060022 | 8165 619 | 1 | 1 1161.16/1161.54 c 1161s | 22 | 10295778 | 2063122 | 8165 619 | 1 | 1 1163.16/1163.56 c 1163s | 22 | 10305240 | 2066522 | 8165 620 | 1 | 1 1165.26/1165.61 c 1165s | 22 | 10313248 | 2069922 | 8165 621 | 1 | 1 1167.26/1167.67 c 1167s | 22 | 10322963 | 2073422 | 8165 622 | 1 | 1 1169.26/1169.68 c 1169s | 22 | 10327274 | 2076422 | 8165 622 | 1 | 1 1171.36/1171.72 c 1171s | 22 | 10331577 | 2079422 | 8165 623 | 1 | 1 1173.36/1173.73 c 1173s | 22 | 10340573 | 2081522 | 8165 624 | 1 | 1 1175.35/1175.76 c 1175s | 22 | 10358985 | 2084822 | 8165 624 | 1 | 1 1177.35/1177.79 c 1177s | 22 | 10370903 | 2088322 | 8165 625 | 1 | 1 1179.45/1179.80 c 1179s | 22 | 10384139 | 2091522 | 8165 626 | 1 | 1 1181.45/1181.85 c 1181s | 22 | 10395834 | 2094922 | 8165 627 | 1 | 1 1183.45/1183.89 c 1183s | 22 | 10409274 | 2097822 | 8165 628 | 1 | 1 1185.45/1185.90 c 1185s | 22 | 10434293 | 2101222 | 8165 628 | 1 | 1 1187.55/1187.91 c 1187s | 22 | 10453047 | 2104922 | 8165 629 | 1 | 1 1189.55/1189.95 c 1189s | 22 | 10464199 | 2108522 | 8165 630 | 1 | 1 1191.55/1191.98 c 1191s | 22 | 10471572 | 2111722 | 8165 631 | 1 | 1 1193.65/1194.03 c 1193s | 22 | 10476166 | 2114922 | 8165 632 | 1 | 1 1195.75/1196.16 c 1196s | 22 | 10484577 | 2118422 | 8165 633 | 1 | 1 1197.74/1198.17 c 1198s | 22 | 10494706 | 2121722 | 8165 633 | 1 | 1 1199.85/1200.21 c 1200s | 22 | 10504076 | 2125122 | 8165 634 | 1 | 1 1201.84/1202.22 c 1202s | 22 | 10508775 | 2127522 | 8165 635 | 1 | 1 1203.84/1204.22 c 1204s | 22 | 10517107 | 2130922 | 8165 635 | 1 | 1 1205.83/1206.25 c 1206s | 22 | 10532579 | 2134522 | 8165 636 | 1 | 1 1207.83/1208.26 c 1208s | 22 | 10542594 | 2137722 | 8165 637 | 1 | 1 1209.83/1210.29 c 1210s | 22 | 10558077 | 2141122 | 8165 638 | 1 | 1 1211.84/1212.30 c 1212s | 22 | 10568409 | 2144222 | 8165 639 | 1 | 1 1213.93/1214.35 c 1214s | 22 | 10573980 | 2147222 | 8165 639 | 1 | 1 1215.93/1216.38 c 1216s | 22 | 10578200 | 2149922 | 8165 640 | 1 | 1 1218.13/1218.50 c 1218s | 22 | 10580601 | 2152222 | 8165 641 | 1 | 1 1220.14/1220.55 c 1220s | 22 | 10586381 | 2155222 | 8165 641 | 1 | 1 1222.14/1222.57 c 1222s | 22 | 10591458 | 2158322 | 8165 642 | 1 | 1 1224.23/1224.63 c 1224s | 22 | 10597399 | 2161722 | 8165 643 | 1 | 1 1226.24/1226.64 c 1226s | 22 | 10603079 | 2164722 | 8165 644 | 1 | 1 1228.23/1228.65 c 1228s | 22 | 10620232 | 2168122 | 8165 644 | 1 | 1 1230.33/1230.72 c 1230s | 22 | 10631500 | 2171222 | 8165 645 | 1 | 1 1232.33/1232.78 c 1232s | 22 | 10641894 | 2174422 | 8165 646 | 1 | 1 1234.43/1234.80 c 1234s | 22 | 10650960 | 2177122 | 8165 647 | 1 | 1 1236.43/1236.85 c 1236s | 22 | 10667963 | 2180422 | 8165 647 | 1 | 1 1238.43/1238.88 c 1238s | 22 | 10678459 | 2183522 | 8165 648 | 1 | 1 1240.53/1240.93 c 1240s | 22 | 10685026 | 2186622 | 8165 649 | 1 | 1 1242.52/1242.98 c 1242s | 22 | 10693343 | 2189522 | 8165 649 | 1 | 1 1244.62/1245.01 c 1244s | 22 | 10699886 | 2192722 | 8165 650 | 1 | 1 1246.62/1247.02 c 1246s | 22 | 10710242 | 2196122 | 8165 651 | 1 | 1 1248.62/1249.04 c 1248s | 22 | 10718480 | 2199322 | 8165 652 | 1 | 1 1250.62/1251.06 c 1250s | 22 | 10723503 | 2202222 | 8165 653 | 1 | 1 1252.72/1253.12 c 1253s | 22 | 10730610 | 2205422 | 8165 653 | 1 | 1 1254.72/1255.17 c 1255s | 22 | 10740031 | 2207822 | 8165 654 | 1 | 1 1256.82/1257.24 c 1257s | 22 | 10747297 | 2211022 | 8165 655 | 1 | 1 1258.82/1259.27 c 1259s | 22 | 10753157 | 2213922 | 8165 655 | 1 | 1 1260.82/1261.28 c 1261s | 22 | 10758937 | 2217022 | 8165 656 | 1 | 1 1262.92/1263.33 c 1263s | 22 | 10762238 | 2219722 | 8165 657 | 1 | 1 1264.91/1265.39 c 1265s | 22 | 10767078 | 2222222 | 8165 657 | 1 | 1 1267.01/1267.45 c 1267s | 22 | 10772084 | 2225122 | 8165 658 | 1 | 1 1269.02/1269.49 c 1269s | 22 | 10776428 | 2227922 | 8165 659 | 1 | 1 1271.11/1271.56 c 1271s | 22 | 10784929 | 2230922 | 8165 659 | 1 | 1 1273.11/1273.57 c 1273s | 22 | 10790233 | 2233922 | 8165 660 | 1 | 1 1275.21/1275.61 c 1275s | 22 | 10794110 | 2236722 | 8982 661 | 1 | 1 1277.21/1277.68 c 1277s | 22 | 10799398 | 2240022 | 8982 661 | 1 | 1 1279.31/1279.75 c 1279s | 22 | 10805149 | 2242822 | 8982 662 | 1 | 1 1281.31/1281.77 c 1281s | 22 | 10811492 | 2245722 | 8982 662 | 1 | 1 1283.41/1283.83 c 1283s | 22 | 10815581 | 2248722 | 8982 663 | 1 | 1 1285.10/1285.54 c 1285s | 23 | 10818397 | 2251038 | 8982 664 | 1 | 1 1287.10/1287.60 c 1287s | 23 | 10834977 | 2253638 | 8982 664 | 1 | 1 1289.20/1289.60 c 1289s | 23 | 10853653 | 2257638 | 8982 665 | 1 | 1 1291.20/1291.62 c 1291s | 23 | 10875447 | 2260638 | 8982 666 | 1 | 1 1293.21/1293.69 c 1293s | 23 | 10892210 | 2264138 | 8982 667 | 1 | 1 1295.30/1295.70 c 1295s | 23 | 10915035 | 2268038 | 8982 667 | 1 | 1 1297.30/1297.71 c 1297s | 23 | 10925129 | 2271438 | 8982 668 | 1 | 1 1299.60/1300.05 c 1299s | 23 | 10932991 | 2274438 | 8982 669 | 1 | 1 1301.70/1302.14 c 1302s | 23 | 10959355 | 2277938 | 8982 670 | 1 | 1 1303.70/1304.15 c 1304s | 23 | 10973989 | 2281538 | 8982 670 | 1 | 1 1305.69/1306.19 c 1306s | 23 | 10988203 | 2285138 | 8982 671 | 1 | 1 1307.79/1308.23 c 1308s | 23 | 10998443 | 2288438 | 8982 672 | 1 | 1 1309.80/1310.24 c 1310s | 23 | 11020224 | 2291838 | 8982 673 | 1 | 1 1311.80/1312.29 c 1312s | 23 | 11040824 | 2295438 | 8982 673 | 1 | 1 1313.90/1314.32 c 1314s | 23 | 11062737 | 2299238 | 8982 674 | 1 | 1 1315.89/1316.34 c 1316s | 23 | 11075659 | 2302838 | 8982 675 | 1 | 1 1317.89/1318.37 c 1318s | 23 | 11100570 | 2306238 | 8982 676 | 1 | 1 1319.89/1320.38 c 1320s | 23 | 11119059 | 2309838 | 8982 676 | 1 | 1 1321.99/1322.41 c 1322s | 23 | 11136884 | 2313638 | 8982 677 | 1 | 1 1324.00/1324.43 c 1324s | 23 | 11151327 | 2317538 | 8982 678 | 1 | 1 1325.99/1326.48 c 1326s | 23 | 11160700 | 2320538 | 8982 679 | 1 | 1 1328.09/1328.53 c 1328s | 23 | 11165377 | 2323838 | 8982 680 | 1 | 1 1330.09/1330.54 c 1330s | 23 | 11170990 | 2327138 | 8982 680 | 1 | 1 1332.09/1332.58 c 1332s | 23 | 11179523 | 2330238 | 8982 681 | 1 | 1 1334.19/1334.61 c 1334s | 23 | 11186364 | 2333038 | 8982 682 | 1 | 1 1336.19/1336.65 c 1336s | 23 | 11199106 | 2335838 | 8982 682 | 1 | 1 1338.19/1338.67 c 1338s | 23 | 11222560 | 2340038 | 8982 683 | 1 | 1 1340.29/1340.70 c 1340s | 23 | 11235187 | 2343538 | 8982 684 | 1 | 1 1342.29/1342.75 c 1342s | 23 | 11248597 | 2346738 | 8982 685 | 1 | 1 1344.29/1344.75 c 1344s | 23 | 11261562 | 2350538 | 8982 685 | 1 | 1 1346.28/1346.76 c 1346s | 23 | 11268233 | 2353638 | 8982 686 | 1 | 1 1348.38/1348.80 c 1348s | 23 | 11280347 | 2357038 | 8982 687 | 1 | 1 1350.39/1350.81 c 1350s | 23 | 11289412 | 2360438 | 8982 688 | 1 | 1 1352.38/1352.87 c 1352s | 23 | 11296242 | 2363838 | 8982 688 | 1 | 1 1354.48/1354.90 c 1354s | 23 | 11303864 | 2367238 | 8982 689 | 1 | 1 1356.58/1357.00 c 1356s | 23 | 11309092 | 2370438 | 8982 690 | 1 | 1 1358.58/1359.03 c 1358s | 23 | 11318100 | 2373738 | 8982 690 | 1 | 1 1360.58/1361.08 c 1361s | 23 | 11325783 | 2376738 | 8982 691 | 1 | 1 1362.77/1363.20 c 1363s | 23 | 11337903 | 2379438 | 8982 692 | 1 | 1 1364.78/1365.23 c 1365s | 23 | 11361008 | 2383238 | 8982 693 | 1 | 1 1366.77/1367.24 c 1367s | 23 | 11374342 | 2386838 | 8982 693 | 1 | 1 1368.77/1369.26 c 1369s | 23 | 11383131 | 2390238 | 8982 694 | 1 | 1 1370.87/1371.31 c 1371s | 23 | 11398869 | 2393538 | 8982 695 | 1 | 1 1372.87/1373.35 c 1373s | 23 | 11407960 | 2396538 | 8982 695 | 1 | 1 1374.87/1375.37 c 1375s | 23 | 11418049 | 2399838 | 8982 696 | 1 | 1 1376.88/1377.37 c 1377s | 23 | 11426675 | 2403138 | 8982 697 | 1 | 1 1378.87/1379.38 c 1379s | 23 | 11436889 | 2406338 | 8982 698 | 1 | 1 1380.97/1381.44 c 1381s | 23 | 11441905 | 2409438 | 8982 698 | 1 | 1 1382.97/1383.48 c 1383s | 23 | 11447431 | 2412438 | 8982 699 | 1 | 1 1385.07/1385.53 c 1385s | 23 | 11453057 | 2415038 | 8982 699 | 1 | 1 1387.07/1387.54 c 1387s | 23 | 11462025 | 2418338 | 8982 700 | 1 | 1 1389.07/1389.58 c 1389s | 23 | 11470986 | 2421238 | 8982 701 | 1 | 1 1391.17/1391.62 c 1391s | 23 | 11477491 | 2424338 | 8982 701 | 1 | 1 1393.17/1393.64 c 1393s | 23 | 11484792 | 2426938 | 8982 702 | 1 | 1 1395.17/1395.66 c 1395s | 23 | 11496103 | 2430438 | 8982 703 | 1 | 1 1397.27/1397.72 c 1397s | 23 | 11504231 | 2433638 | 8982 704 | 1 | 1 1399.27/1399.76 c 1399s | 23 | 11512322 | 2436538 | 8982 704 | 1 | 1 1401.27/1401.77 c 1401s | 23 | 11523021 | 2439538 | 8982 705 | 1 | 1 1403.36/1403.80 c 1403s | 23 | 11528701 | 2442638 | 8982 705 | 1 | 1 1405.37/1405.81 c 1405s | 23 | 11533782 | 2445638 | 8982 706 | 1 | 1 1407.36/1407.87 c 1407s | 23 | 11540155 | 2448338 | 8982 707 | 1 | 1 1409.46/1409.90 c 1409s | 23 | 11547614 | 2451338 | 8982 707 | 1 | 1 1411.46/1411.94 c 1411s | 23 | 11556617 | 2454338 | 8982 708 | 1 | 1 1413.46/1413.95 c 1413s | 23 | 11561545 | 2457138 | 8982 709 | 1 | 1 1415.56/1416.02 c 1415s | 23 | 11566500 | 2460238 | 8982 709 | 1 | 1 1417.57/1418.05 c 1417s | 23 | 11571539 | 2462838 | 8982 710 | 1 | 1 1419.56/1420.06 c 1420s | 23 | 11574910 | 2465438 | 8982 710 | 1 | 1 1421.56/1422.07 c 1422s | 23 | 11577855 | 2468038 | 8982 711 | 1 | 1 1423.56/1424.07 c 1424s | 23 | 11582275 | 2470838 | 8982 712 | 1 | 1 1425.66/1426.13 c 1426s | 23 | 11590067 | 2473838 | 8982 712 | 1 | 1 1427.66/1428.15 c 1428s | 23 | 11606721 | 2476838 | 8982 713 | 1 | 1 1429.66/1430.15 c 1430s | 23 | 11620344 | 2480038 | 8982 714 | 1 | 1 1431.66/1432.16 c 1432s | 23 | 11633105 | 2482838 | 8982 714 | 1 | 1 1433.76/1434.20 c 1434s | 23 | 11646236 | 2486238 | 8982 715 | 1 | 1 1435.76/1436.25 c 1436s | 23 | 11662296 | 2489538 | 8982 716 | 1 | 1 1437.76/1438.28 c 1438s | 23 | 11675345 | 2493138 | 8982 717 | 1 | 1 1439.86/1440.32 c 1440s | 23 | 11685137 | 2496738 | 8982 717 | 1 | 1 1441.86/1442.34 c 1442s | 23 | 11691793 | 2500038 | 8982 718 | 1 | 1 1443.86/1444.37 c 1444s | 23 | 11708452 | 2503638 | 8982 719 | 1 | 1 1445.86/1446.39 c 1446s | 23 | 11721252 | 2507038 | 8982 720 | 1 | 1 1447.95/1448.44 c 1448s | 23 | 11728328 | 2510338 | 8982 720 | 1 | 1 1449.95/1450.47 c 1450s | 23 | 11735128 | 2513438 | 8982 721 | 1 | 1 1452.05/1452.52 c 1452s | 23 | 11739691 | 2516438 | 8982 722 | 1 | 1 1454.05/1454.53 c 1454s | 23 | 11752839 | 2519038 | 8982 722 | 1 | 1 1456.06/1456.54 c 1456s | 23 | 11766634 | 2522138 | 8982 723 | 1 | 1 1458.05/1458.54 c 1458s | 23 | 11776187 | 2525338 | 8982 724 | 1 | 1 1460.05/1460.57 c 1460s | 23 | 11787632 | 2528438 | 8982 724 | 1 | 1 1462.15/1462.62 c 1462s | 23 | 11799113 | 2531538 | 8982 725 | 1 | 1 1464.15/1464.65 c 1464s | 23 | 11816760 | 2534838 | 8982 726 | 1 | 1 1466.15/1466.66 c 1466s | 23 | 11838603 | 2538238 | 8982 726 | 1 | 1 1468.16/1468.68 c 1468s | 23 | 11866787 | 2541638 | 8982 727 | 1 | 1 1470.26/1470.74 c 1470s | 23 | 11884360 | 2544838 | 8982 728 | 1 | 1 1472.35/1472.82 c 1472s | 23 | 11896526 | 2548138 | 8982 729 | 1 | 1 1474.35/1474.86 c 1474s | 23 | 11910839 | 2551538 | 8982 729 | 1 | 1 1476.35/1476.89 c 1476s | 23 | 11915049 | 2553638 | 8982 730 | 1 | 1 1478.45/1478.90 c 1478s | 23 | 11943180 | 2557038 | 8982 730 | 1 | 1 1480.45/1480.91 c 1480s | 23 | 11971926 | 2560238 | 8982 731 | 1 | 1 1482.45/1482.95 c 1482s | 23 | 12013906 | 2563238 | 8982 732 | 1 | 1 1484.45/1484.98 c 1484s | 23 | 12040013 | 2566438 | 8982 733 | 1 | 1 1486.55/1487.03 c 1486s | 23 | 12066954 | 2569738 | 8982 733 | 1 | 1 1488.55/1489.07 c 1489s | 23 | 12090974 | 2572938 | 8982 734 | 1 | 1 1490.65/1491.10 c 1491s | 23 | 12106397 | 2575838 | 8982 735 | 1 | 1 1492.65/1493.14 c 1493s | 23 | 12121797 | 2579038 | 8982 735 | 1 | 1 1494.65/1495.15 c 1495s | 23 | 12135958 | 2582138 | 8982 736 | 1 | 1 1496.65/1497.16 c 1497s | 23 | 12147428 | 2585038 | 8982 737 | 1 | 1 1498.95/1499.41 c 1499s | 23 | 12155014 | 2587438 | 8982 737 | 1 | 1 1500.94/1501.43 c 1501s | 23 | 12184027 | 2590238 | 8982 738 | 1 | 1 1502.94/1503.48 c 1503s | 23 | 12213325 | 2593638 | 8982 738 | 1 | 1 1505.04/1505.52 c 1505s | 23 | 12228386 | 2597038 | 8982 739 | 1 | 1 1507.04/1507.58 c 1507s | 23 | 12260014 | 2600138 | 8982 740 | 1 | 1 1509.14/1509.60 c 1509s | 23 | 12311376 | 2603738 | 8982 741 | 1 | 1 1511.14/1511.66 c 1511s | 23 | 12357100 | 2607438 | 8982 742 | 1 | 1 1513.15/1513.68 c 1513s | 23 | 12383985 | 2610738 | 8982 742 | 1 | 1 1515.14/1515.68 c 1515s | 23 | 12412434 | 2614438 | 8982 743 | 1 | 1 1517.24/1517.71 c 1517s | 23 | 12429543 | 2617238 | 8982 744 | 1 | 1 1519.24/1519.78 c 1519s | 23 | 12475410 | 2620838 | 8982 744 | 1 | 1 1521.24/1521.78 c 1521s | 23 | 12514733 | 2624138 | 8982 745 | 1 | 1 1523.34/1523.83 c 1523s | 23 | 12545914 | 2627638 | 8982 746 | 1 | 1 1525.35/1525.83 c 1525s | 23 | 12572066 | 2631138 | 8982 747 | 1 | 1 1527.34/1527.88 c 1527s | 23 | 12596406 | 2634638 | 8982 747 | 1 | 1 1529.44/1529.90 c 1529s | 23 | 12619351 | 2638138 | 8982 748 | 1 | 1 1531.44/1531.96 c 1531s | 23 | 12638041 | 2641738 | 8982 749 | 1 | 1 1533.44/1533.97 c 1533s | 23 | 12654893 | 2645138 | 8982 750 | 1 | 1 1535.44/1535.98 c 1535s | 23 | 12669102 | 2648438 | 8982 750 | 1 | 1 1537.94/1538.43 c 1538s | 23 | 12678715 | 2651538 | 8982 751 | 1 | 1 1539.95/1540.44 c 1540s | 23 | 12700067 | 2653838 | 8982 752 | 1 | 1 1541.95/1542.45 c 1542s | 23 | 12719059 | 2657238 | 8982 752 | 1 | 1 1543.95/1544.50 c 1544s | 23 | 12731353 | 2660438 | 8982 753 | 1 | 1 1546.05/1546.55 c 1546s | 23 | 12741547 | 2663338 | 8982 754 | 1 | 1 1548.04/1548.56 c 1548s | 23 | 12754611 | 2665938 | 8982 754 | 1 | 1 1550.04/1550.58 c 1550s | 23 | 12774050 | 2669438 | 8982 755 | 1 | 1 1552.14/1552.61 c 1552s | 23 | 12781693 | 2672338 | 8982 756 | 1 | 1 1554.14/1554.67 c 1554s | 23 | 12791741 | 2675338 | 8982 756 | 1 | 1 1556.24/1556.70 c 1556s | 23 | 12796877 | 2678538 | 8982 757 | 1 | 1 1558.14/1558.70 c 1558s | 23 | 12803819 | 2681538 | 8982 758 | 1 | 1 1560.24/1560.70 c 1560s | 23 | 12814406 | 2684838 | 8982 758 | 1 | 1 1562.24/1562.76 c 1562s | 23 | 12823078 | 2687538 | 8982 759 | 1 | 1 1564.24/1564.79 c 1564s | 23 | 12831918 | 2690238 | 8982 760 | 1 | 1 1566.34/1566.84 c 1566s | 23 | 12840308 | 2693138 | 8982 760 | 1 | 1 1568.44/1568.90 c 1568s | 23 | 12849811 | 2696238 | 8982 761 | 1 | 1 1570.54/1571.01 c 1570s | 23 | 12861209 | 2698938 | 8982 762 | 1 | 1 1572.54/1573.03 c 1572s | 23 | 12876607 | 2701938 | 8982 762 | 1 | 1 1574.53/1575.07 c 1575s | 23 | 12895498 | 2705138 | 8982 763 | 1 | 1 1576.53/1577.07 c 1577s | 23 | 12910223 | 2708338 | 8982 764 | 1 | 1 1578.63/1579.12 c 1579s | 23 | 12920705 | 2711438 | 8982 764 | 1 | 1 1580.73/1581.20 c 1581s | 23 | 12925635 | 2713138 | 8982 765 | 1 | 1 1582.73/1583.25 c 1583s | 23 | 12958126 | 2716038 | 8982 765 | 1 | 1 1584.74/1585.27 c 1585s | 23 | 12988626 | 2719038 | 8982 766 | 1 | 1 1586.73/1587.28 c 1587s | 23 | 13021257 | 2722438 | 8982 767 | 1 | 1 1588.83/1589.35 c 1589s | 23 | 13036426 | 2725638 | 8982 767 | 1 | 1 1590.83/1591.38 c 1591s | 23 | 13051057 | 2728438 | 8982 768 | 1 | 1 1592.93/1593.43 c 1593s | 23 | 13058108 | 2731138 | 8982 769 | 1 | 1 1594.93/1595.45 c 1595s | 23 | 13066330 | 2733938 | 8982 769 | 1 | 1 1596.93/1597.48 c 1597s | 23 | 13081496 | 2736838 | 8982 770 | 1 | 1 1598.94/1599.48 c 1599s | 23 | 13095849 | 2740038 | 8982 770 | 1 | 1 1600.93/1601.49 c 1601s | 23 | 13107848 | 2742938 | 8982 771 | 1 | 1 1603.03/1603.54 c 1603s | 23 | 13129103 | 2746438 | 8982 772 | 1 | 1 1605.03/1605.57 c 1605s | 23 | 13142339 | 2749838 | 8982 773 | 1 | 1 1607.13/1607.60 c 1607s | 23 | 13155357 | 2753338 | 8982 773 | 1 | 1 1609.13/1609.62 c 1609s | 23 | 13168189 | 2756738 | 8982 774 | 1 | 1 1611.83/1612.33 c 1612s | 23 | 13174533 | 2759738 | 8982 775 | 1 | 1 1613.83/1614.34 c 1614s | 23 | 13188336 | 2762338 | 8982 775 | 1 | 1 1615.93/1616.40 c 1616s | 23 | 13212123 | 2765638 | 8982 776 | 1 | 1 1617.93/1618.44 c 1618s | 23 | 13231583 | 2769138 | 8982 777 | 1 | 1 1619.94/1620.46 c 1620s | 23 | 13247569 | 2772238 | 8982 777 | 1 | 1 1621.93/1622.47 c 1622s | 23 | 13258786 | 2775338 | 8982 778 | 1 | 1 1624.03/1624.50 c 1624s | 23 | 13271063 | 2778538 | 8982 779 | 1 | 1 1626.03/1626.51 c 1626s | 23 | 13283704 | 2781638 | 8982 780 | 1 | 1 1628.03/1628.51 c 1628s | 23 | 13294229 | 2784838 | 8982 780 | 1 | 1 1630.43/1630.97 c 1630s | 23 | 13300358 | 2787538 | 8982 781 | 1 | 1 1632.53/1633.01 c 1632s | 23 | 13316913 | 2790538 | 8982 781 | 1 | 1 1634.53/1635.02 c 1634s | 23 | 13329584 | 2793838 | 8982 782 | 1 | 1 1636.53/1637.04 c 1636s | 23 | 13340303 | 2796838 | 8982 783 | 1 | 1 1638.63/1639.16 c 1639s | 23 | 13353235 | 2799838 | 8982 784 | 1 | 1 1640.63/1641.18 c 1641s | 23 | 13360545 | 2802638 | 8982 784 | 1 | 1 1642.73/1643.22 c 1643s | 23 | 13367182 | 2805238 | 8982 785 | 1 | 1 1644.73/1645.22 c 1645s | 23 | 13373751 | 2808038 | 8982 785 | 1 | 1 1646.73/1647.24 c 1647s | 23 | 13378520 | 2810638 | 8982 786 | 1 | 1 1648.73/1649.27 c 1649s | 23 | 13387896 | 2813838 | 8982 787 | 1 | 1 1650.83/1651.30 c 1651s | 23 | 13394145 | 2816938 | 8982 787 | 1 | 1 1652.83/1653.35 c 1653s | 23 | 13402461 | 2819838 | 8982 788 | 1 | 1 1654.92/1655.41 c 1655s | 23 | 13408517 | 2822638 | 8982 788 | 1 | 1 1656.92/1657.45 c 1657s | 23 | 13412325 | 2825338 | 8982 789 | 1 | 1 1658.92/1659.48 c 1659s | 23 | 13422318 | 2826738 | 8982 789 | 1 | 1 1661.02/1661.50 c 1661s | 23 | 13436984 | 2829538 | 8982 790 | 1 | 1 1663.02/1663.51 c 1663s | 23 | 13447339 | 2832438 | 8982 791 | 1 | 1 1665.03/1665.56 c 1665s | 23 | 13475066 | 2835438 | 8982 791 | 1 | 1 1667.23/1667.73 c 1667s | 23 | 13488631 | 2838238 | 8982 792 | 1 | 1 1669.22/1669.74 c 1669s | 23 | 13507077 | 2841538 | 8982 793 | 1 | 1 1671.32/1671.80 c 1671s | 23 | 13527901 | 2844938 | 8982 793 | 1 | 1 1673.32/1673.82 c 1673s | 23 | 13553804 | 2847938 | 8982 794 | 1 | 1 1675.32/1675.83 c 1675s | 23 | 13576625 | 2851438 | 8982 795 | 1 | 1 1677.32/1677.88 c 1677s | 23 | 13590580 | 2855038 | 8982 796 | 1 | 1 1679.42/1679.92 c 1679s | 23 | 13600558 | 2858338 | 8982 796 | 1 | 1 1681.72/1682.27 c 1682s | 23 | 13607282 | 2860838 | 8982 797 | 1 | 1 1683.82/1684.30 c 1684s | 23 | 13627328 | 2864138 | 8982 798 | 1 | 1 1685.82/1686.31 c 1686s | 23 | 13645763 | 2867338 | 8982 798 | 1 | 1 1687.81/1688.34 c 1688s | 23 | 13663540 | 2870738 | 8982 799 | 1 | 1 1689.81/1690.37 c 1690s | 23 | 13675018 | 2873938 | 8982 800 | 1 | 1 1691.81/1692.38 c 1692s | 23 | 13687222 | 2876538 | 8982 800 | 1 | 1 1693.91/1694.40 c 1694s | 23 | 13717354 | 2879938 | 8982 801 | 1 | 1 1695.91/1696.45 c 1696s | 23 | 13733829 | 2883138 | 8982 802 | 1 | 1 1697.92/1698.49 c 1698s | 23 | 13743346 | 2886238 | 8982 802 | 1 | 1 1700.02/1700.55 c 1700s | 23 | 13757244 | 2888838 | 8982 803 | 1 | 1 1702.02/1702.56 c 1702s | 23 | 13771838 | 2892038 | 8982 804 | 1 | 1 1704.12/1704.61 c 1704s | 23 | 13780610 | 2894938 | 8982 804 | 1 | 1 1706.12/1706.63 c 1706s | 23 | 13786871 | 2897538 | 8982 805 | 1 | 1 1708.12/1708.67 c 1708s | 23 | 13801234 | 2900638 | 8982 806 | 1 | 1 1710.13/1710.68 c 1710s | 23 | 13809204 | 2903638 | 8982 806 | 1 | 1 1712.22/1712.73 c 1712s | 23 | 13818179 | 2906438 | 8982 807 | 1 | 1 1714.22/1714.74 c 1714s | 23 | 13827904 | 2909338 | 8982 807 | 1 | 1 1716.32/1716.82 c 1716s | 23 | 13839834 | 2912238 | 8982 808 | 1 | 1 1718.32/1718.87 c 1718s | 23 | 13848835 | 2915138 | 8982 809 | 1 | 1 1720.32/1720.88 c 1720s | 23 | 13853403 | 2917938 | 8982 809 | 1 | 1 1722.42/1722.90 c 1722s | 23 | 13857068 | 2920438 | 8982 810 | 1 | 1 1724.81/1725.34 c 1725s | 23 | 13861187 | 2922438 | 8982 810 | 1 | 1 1726.81/1727.36 c 1727s | 23 | 13873844 | 2924438 | 8982 811 | 1 | 1 1728.82/1729.39 c 1729s | 23 | 13892499 | 2928038 | 8982 812 | 1 | 1 1730.81/1731.39 c 1731s | 23 | 13903620 | 2931138 | 8982 812 | 1 | 1 1732.91/1733.42 c 1733s | 23 | 13913858 | 2933938 | 8982 813 | 1 | 1 1735.01/1735.50 c 1735s | 23 | 13929350 | 2937238 | 8982 813 | 1 | 1 1737.01/1737.55 c 1737s | 23 | 13939570 | 2940138 | 8982 814 | 1 | 1 1739.01/1739.56 c 1739s | 23 | 13948566 | 2943038 | 8982 815 | 1 | 1 1741.11/1741.60 c 1741s | 23 | 13955154 | 2945738 | 8982 815 | 1 | 1 1743.02/1743.60 c 1743s | 23 | 13968019 | 2948238 | 8982 816 | 1 | 1 1745.11/1745.62 c 1745s | 23 | 13979470 | 2951038 | 8982 817 | 1 | 1 1747.11/1747.66 c 1747s | 23 | 13986775 | 2953938 | 8982 817 | 1 | 1 1749.21/1749.78 c 1749s | 23 | 13998156 | 2956238 | 8982 818 | 1 | 1 1751.31/1751.86 c 1751s | 23 | 14010433 | 2959238 | 8982 818 | 1 | 1 1753.41/1753.91 c 1753s | 23 | 14025551 | 2962238 | 8982 819 | 1 | 1 1755.41/1755.95 c 1755s | 23 | 14038983 | 2965138 | 8982 820 | 1 | 1 1757.51/1758.00 c 1757s | 23 | 14050642 | 2968138 | 8982 820 | 1 | 1 1759.51/1760.06 c 1759s | 23 | 14057585 | 2970838 | 8982 821 | 1 | 1 1761.61/1762.10 c 1762s | 23 | 14063065 | 2973638 | 8982 821 | 1 | 1 1763.60/1764.12 c 1764s | 23 | 14072093 | 2976138 | 8982 822 | 1 | 1 1765.60/1766.13 c 1766s | 23 | 14076572 | 2978638 | 8982 823 | 1 | 1 1767.60/1768.17 c 1768s | 23 | 14082885 | 2981438 | 8982 823 | 1 | 1 1769.70/1770.24 c 1770s | 23 | 14086545 | 2983938 | 8982 824 | 1 | 1 1771.71/1772.27 c 1772s | 23 | 14092728 | 2986838 | 8982 824 | 1 | 1 1773.70/1774.27 c 1774s | 23 | 14096757 | 2989338 | 8982 825 | 1 | 1 1775.71/1776.29 c 1776s | 23 | 14102338 | 2991238 | 8982 825 | 1 | 1 1777.81/1778.35 c 1778s | 23 | 14111097 | 2994538 | 8982 826 | 1 | 1 1779.91/1780.40 c 1780s | 23 | 14118502 | 2997638 | 8982 827 | 1 | 1 1781.91/1782.41 c 1782s | 23 | 14123877 | 3000638 | 8982 827 | 1 | 1 1783.91/1784.43 c 1784s | 23 | 14130174 | 3003138 | 8982 828 | 1 | 1 1785.91/1786.49 c 1786s | 23 | 14138072 | 3006138 | 8982 829 | 1 | 1 1788.01/1788.53 c 1788s | 23 | 14145096 | 3009238 | 8982 829 | 1 | 1 1790.01/1790.58 c 1790s | 23 | 14149715 | 3012138 | 8982 830 | 1 | 1 1792.21/1792.72 c 1792s | 23 | 14157371 | 3015138 | 8982 830 | 1 | 1 1794.21/1794.76 c 1794s | 23 | 14164469 | 3018038 | 8982 831 | 1 | 1 1796.30/1796.81 c 1796s | 23 | 14171283 | 3020838 | 8982 832 | 1 | 1 1798.30/1798.87 c 1798s | 23 | 14179597 | 3023738 | 8982 832 | 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-4080090-1465262117/watcher-4080090-1465262117 -o /tmp/evaluation-result-4080090-1465262117/solver-4080090-1465262117 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080090-1465262117.opb pid=7273 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.18 2.22 2.18 3/180 7276 /proc/meminfo: memFree=29469552/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=739772 CPUtime=0 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 2763 0 0 0 0 0 0 0 20 0 4 0 108144813 757526528 3125 33554432000 4194304 16246674 140734866487088 140734866486512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 185711 3133 441 2943 0 182605 0 [pid=7276/tid=7277] ppid=7273 vsize=757180 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 775352320 3191 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=761276 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 779546624 3209 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=765372 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108144813 783740928 3225 33554432000 4194304 16246674 140734866487088 140428332485808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100168 s] /proc/loadavg: 2.18 2.22 2.18 3/180 7276 /proc/meminfo: memFree=29469552/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 25649 0 0 0 6 3 0 0 20 0 4 0 108144813 1247350784 25998 33554432000 4194304 16246674 140734866487088 140734866486512 13192951 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 304529 26004 790 2943 0 301423 0 [pid=7276/tid=7277] ppid=7273 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1247350784 26011 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1247350784 26016 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108144813 1247350784 26021 33554432000 4194304 16246674 140734866487088 140428332485808 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.200538 s] /proc/loadavg: 2.18 2.22 2.18 3/180 7276 /proc/meminfo: memFree=29469552/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 49684 0 0 0 14 5 0 0 20 0 4 0 108144813 1247350784 50033 33554432000 4194304 16246674 140734866487088 140734866486512 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 304529 50045 790 2943 0 301423 0 [pid=7276/tid=7277] ppid=7273 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1247350784 50054 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1247350784 50064 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108144813 1247350784 50072 33554432000 4194304 16246674 140734866487088 140428332485808 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.300461 s] /proc/loadavg: 2.18 2.22 2.18 3/180 7276 /proc/meminfo: memFree=29469552/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 74298 0 0 0 21 8 0 0 20 0 4 0 108144813 1247350784 74646 33554432000 4194304 16246674 140734866487088 140734866486512 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 304529 74661 790 2943 0 301423 0 [pid=7276/tid=7277] ppid=7273 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1247350784 74666 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1247350784 74673 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108144813 1247350784 74679 33554432000 4194304 16246674 140734866487088 140428332485808 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.700418 s] /proc/loadavg: 2.18 2.22 2.18 3/180 7276 /proc/meminfo: memFree=29469552/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 176490 0 0 0 46 23 0 0 20 0 4 0 108144813 1247350784 176839 33554432000 4194304 16246674 140734866487088 140734866468992 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 304529 176850 790 2943 0 301423 0 [pid=7276/tid=7277] ppid=7273 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1247350784 176856 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1247350784 176863 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108144813 1247350784 176869 33554432000 4194304 16246674 140734866487088 140428332485808 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.5004 s] /proc/loadavg: 2.18 2.22 2.18 3/184 7280 /proc/meminfo: memFree=28483672/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1221188 CPUtime=1.49 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 246246 0 0 0 117 32 0 0 20 0 4 0 108144813 1250496512 246572 33554432000 4194304 16246674 140734866487088 140734866486400 5600869 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 305297 246572 849 2943 0 302191 0 [pid=7276/tid=7277] ppid=7273 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1250496512 246572 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1250496512 246572 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1250496512 246572 33554432000 4194304 16246674 140734866487088 140428332485808 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.10039 s] /proc/loadavg: 2.18 2.22 2.18 4/184 7280 /proc/meminfo: memFree=28401948/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 267889 0 0 0 273 36 0 0 20 0 4 0 108144813 1338576896 268215 33554432000 4194304 16246674 140734866487088 140734866468992 5675369 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 326801 268215 850 2943 0 323695 0 [pid=7276/tid=7277] ppid=7273 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1338576896 268215 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1338576896 268215 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1338576896 268215 33554432000 4194304 16246674 140734866487088 140428332485808 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) 1307204 [startup+6.30039 s] /proc/loadavg: 2.17 2.22 2.18 3/184 7280 /proc/meminfo: memFree=28390836/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1313348 CPUtime=6.29 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 269431 0 0 0 593 36 0 0 20 0 4 0 108144813 1344868352 269757 33554432000 4194304 16246674 140734866487088 140734866486184 5723034 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 328337 269757 850 2943 0 325231 0 [pid=7276/tid=7277] ppid=7273 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1344868352 269757 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1344868352 269757 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1344868352 269757 33554432000 4194304 16246674 140734866487088 140428332485808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1313348 [startup+12.7004 s] /proc/loadavg: 2.24 2.23 2.18 3/184 7280 /proc/meminfo: memFree=28389992/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1313348 CPUtime=12.69 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 269431 0 0 0 1233 36 0 0 20 0 4 0 108144813 1344868352 269757 33554432000 4194304 16246674 140734866487088 140734866468992 5723564 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 328337 269757 850 2943 0 325231 0 [pid=7276/tid=7277] ppid=7273 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1344868352 269757 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1344868352 269757 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1344868352 269757 33554432000 4194304 16246674 140734866487088 140428332485808 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.5004 s] /proc/loadavg: 2.18 2.22 2.18 4/184 7280 /proc/meminfo: memFree=28384572/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1313348 CPUtime=25.49 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 269433 0 0 0 2513 36 0 0 20 0 4 0 108144813 1344868352 269759 33554432000 4194304 16246674 140734866487088 140734866468992 6013193 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 328337 269759 852 2943 0 325231 0 [pid=7276/tid=7277] ppid=7273 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1344868352 269759 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1344868352 269759 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1344868352 269759 33554432000 4194304 16246674 140734866487088 140428332485808 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.18 2.21 2.18 3/184 7280 /proc/meminfo: memFree=28376360/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1321540 CPUtime=51.08 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 271481 0 0 0 5072 36 0 0 20 0 4 0 108144813 1353256960 271807 33554432000 4194304 16246674 140734866487088 140734866468992 5707798 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 330385 271807 852 2943 0 327279 0 [pid=7276/tid=7277] ppid=7273 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1353256960 271807 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1353256960 271807 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1353256960 271807 33554432000 4194304 16246674 140734866487088 140428332485808 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) 1321540 [startup+102.301 s] /proc/loadavg: 2.13 2.19 2.17 3/184 7282 /proc/meminfo: memFree=28376340/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1321540 CPUtime=102.28 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 271481 0 0 0 10191 37 0 0 20 0 4 0 108144813 1353256960 271807 33554432000 4194304 16246674 140734866487088 140734866468992 12478258 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 330385 271807 852 2943 0 327279 0 [pid=7276/tid=7277] ppid=7273 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1353256960 271807 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1353256960 271807 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1353256960 271807 33554432000 4194304 16246674 140734866487088 140428332485808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1321540 ################ # More data... # ################ /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274372 33554432000 4194304 16246674 140734866487088 140428332485808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1331780 [startup+1362.3 s] /proc/loadavg: 2.28 2.18 2.17 3/184 7313 /proc/meminfo: memFree=28357940/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1331780 CPUtime=1361.88 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 274428 0 0 0 136138 50 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140734866468992 5823447 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 332945 274373 854 2943 0 329839 0 [pid=7276/tid=7277] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428332485808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1331780 [startup+1422.3 s] /proc/loadavg: 2.19 2.17 2.17 3/184 7314 /proc/meminfo: memFree=28354548/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1331780 CPUtime=1421.86 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 274435 0 0 0 142136 50 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140734866486184 12483204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 332945 274373 854 2943 0 329839 0 [pid=7276/tid=7277] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428332485808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1331780 [startup+1482.3 s] /proc/loadavg: 2.31 2.20 2.18 3/184 7315 /proc/meminfo: memFree=28354412/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1331780 CPUtime=1481.85 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 274435 0 0 0 148135 50 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140734866468992 13928256 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 332945 274373 854 2943 0 329839 0 [pid=7276/tid=7277] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428332485808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1331780 [startup+1542.31 s] /proc/loadavg: 2.27 2.21 2.18 3/185 7319 /proc/meminfo: memFree=28352204/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1331780 CPUtime=1541.85 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 274435 0 0 0 154134 51 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140734866468992 5661124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 332945 274373 854 2943 0 329839 0 [pid=7276/tid=7277] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428332485808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1331780 [startup+1602.3 s] /proc/loadavg: 2.23 2.21 2.18 4/184 7368 /proc/meminfo: memFree=28349456/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1331780 CPUtime=1601.83 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 274435 0 0 0 160132 51 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140734866468992 6021033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 332945 274373 854 2943 0 329839 0 [pid=7276/tid=7277] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428332485808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1331780 [startup+1662.3 s] /proc/loadavg: 2.30 2.22 2.19 3/184 7370 /proc/meminfo: memFree=28348932/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1331780 CPUtime=1661.82 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 274435 0 0 0 166130 52 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140734866470088 5673867 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 332945 274373 854 2943 0 329839 0 [pid=7276/tid=7277] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428332485808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1331780 [startup+1722.3 s] /proc/loadavg: 2.23 2.21 2.18 3/184 7371 /proc/meminfo: memFree=28348768/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1331780 CPUtime=1721.82 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 274435 0 0 0 172129 53 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140734866468992 13194233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 332945 274373 854 2943 0 329839 0 [pid=7276/tid=7277] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428332485808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1331780 [startup+1782.3 s] /proc/loadavg: 2.28 2.21 2.19 3/184 7372 /proc/meminfo: memFree=28331264/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1331780 CPUtime=1781.81 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 274435 0 0 0 178127 54 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140734866468992 5545776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 332945 274373 854 2943 0 329839 0 [pid=7276/tid=7277] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428332485808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1331780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.27 2.22 2.18 3/184 7373 /proc/meminfo: memFree=28330644/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1331780 CPUtime=1800 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 274435 0 0 0 179946 54 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140734866468992 5677403 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 332945 274373 854 2943 0 329839 0 [pid=7276/tid=7277] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428332485808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1331780 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 7276 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.27 2.22 2.18 3/184 7373 /proc/meminfo: memFree=28330644/32872528 swapFree=16252/1391864 [pid=7276] ppid=7273 vsize=1331780 CPUtime=1800 cores=0,2,4,6 /proc/7276/stat : 7276 (toysat) R 7273 7276 5783 0 -1 4202496 274435 0 0 0 179946 54 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140734866468992 5677403 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7276/statm: 332945 274373 854 2943 0 329839 0 [pid=7276/tid=7277] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7277/stat : 7277 (toysat) S 7273 7276 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428353449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7276/tid=7278] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7278/stat : 7278 (toysat) S 7273 7276 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428342959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7276/tid=7279] ppid=7273 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/7276/task/7279/stat : 7279 (toysat) S 7273 7276 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108144813 1363742720 274373 33554432000 4194304 16246674 140734866487088 140428332485808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1331780 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.47 CPU system time (s): 0.542917 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 1331780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.47 system time used= 0.542917 maximum resident set size= 1097492 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274435 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= 405 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.5081 second user time and 16.4325 second system time The end
Begin job on node119 at 2016-06-07 03:15:17 IDJOB=4080090 IDBENCH=48251 IDSOLVER=2542 FILE ID=node119/4080090-1465262117 RUNJOBID= node119-1465252213-5799 PBS_JOBID= 19843259 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080090-1465262117/watcher-4080090-1465262117 -o /tmp/evaluation-result-4080090-1465262117/solver-4080090-1465262117 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080090-1465262117.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de RANDOM SEED=726557251 node119.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.410 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.82 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.410 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 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.410 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.410 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.410 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.410 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 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: 29470352 kB Buffers: 62312 kB Cached: 153340 kB SwapCached: 856 kB Active: 1201596 kB Inactive: 104020 kB Active(anon): 1090604 kB Inactive(anon): 1640 kB Active(file): 110992 kB Inactive(file): 102380 kB Unevictable: 1391864 kB Mlocked: 16252 kB SwapTotal: 67108856 kB SwapFree: 67100136 kB Dirty: 16336 kB Writeback: 0 kB AnonPages: 2481064 kB Mapped: 10544 kB Shmem: 0 kB Slab: 568916 kB SReclaimable: 12992 kB SUnreclaim: 555924 kB KernelStack: 1456 kB PageTables: 8920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2624508 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1380352 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= 71708 MiB End job on node119 at 2016-06-07 03:45:17