| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_5.opb |
| MD5SUM | 996170804397234947041ed4d87d3aa0 |
| 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 | -47 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -59 |
| Optimality of the best value was proved | NO |
| Number of variables | 400 |
| Total number of constraints | 601 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 5056 |
| Sum of products size (including duplicates) | 10112 |
| Number of different products | 2528 |
| Sum of products size | 5056 |
0.00/0.00 c 2016-06-18T21:36:27+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-4106805-1466278587.opb"] 0.00/0.01 c use --random-gen="2657438124 4023066604 3731942198 247206021 2455667199 911790371 2763178013 2525624541 1624618925 3695661357 583551414 3099109960 1007891969 1493804724 2727958534 3348530067 2041918298 1024721212 3020397636 550255011 1871578218 1569950707 1834760845 3150498467 2070456728 1619902605 2733255240 1515810122 135810643 3456381226 2302337901 1992824740 880686121 1924440191 690327845 3251849519 3154561171 3192574046 1484165927 4279184497 3040241755 1848554457 2664376988 1266832063 953164546 3773149385 1055097571 3906148901 2977048892 4076783147 1974413184 4202858026 3096193377 898632122 920692658 2274146067 4027061233 635331725 2487421228 2013011972 69708775 2905512300 1975926292 3563350989 57842635 1594079717 2719260479 1673037083 3162407046 576687630 1379851162 1052473898 182921265 1475446941 3872052100 1758320295 2455519283 1637469288 3416154919 1959818221 3936788976 115242591 3700730206 2692020830 19564403 1416054780 4261003162 1071461981 2850904413 2411027197 1297606289 3621639671 2505653536 311082463 3571102887 2752459990 2577446501 2899282419 1988305735 1245888822 535628889 1767765289 1994685033 2506595913 3395161372 4184653372 1860995341 2745629207 2854017393 2166177118 1875100120 2710818775 4041272712 2393974524 564667108 2187016178 843084348 2814120940 2454335894 1526038113 523155312 1332074526 813579451 3567311906 2898939894 2753666554 4112591753 3838615351 2660876420 1779089447 2466116811 3416624670 3939054776 3667666016 1688090370 4241844539 1359357834 1747920398 2590492766 362409157 3770958536 4065323730 2977547798 388728534 950937854 2738606261 2706007508 1864480654 4130878464 1092688664 978759466 2997646751 1556408934 2714222253 1386315467 1261836371 175361508 1501676029 3798092738 4134836854 1341697987 1922552943 1821227998 465882253 3167980217 1432514077 1468658501 3988864979 1813833077 389434309 2407029963 886157853 1458201110 1185836568 2617996748 1735599057 2797986310 1670784521 2141480100 1761195456 1733078341 2257552284 2239602148 2395901421 1983753750 2874231596 534781331 3521543889 3637959393 3184647911 3320822692 2599525597 1334231368 2858625693 3409313209 178690464 380223380 2970300221 1528210836 774007209 561089421 2622710196 1854807902 4089840143 1503330254 3405352926 3167195032 4052694200 1277282144 4009811871 2494573048 2484539170 4141596850 2028387517 2893925022 1177102816 1440314054 2529645243 1223349443 3396123509 4209709348 557297919 1125665596 1345419254 4254959897 3121798312 3527204642 485507262 1243429280 3248809662 1486377448 1762688479 2019091282 3615073526 494397979 1608362326 3022286595 2162882760 371653109 2707776013 3077230320 485360082 3315829779 677976851 3354594726 617351381 1264395978 2164137657 2489738015 570827612 2094718629 2711335068 1742094499 1916130023 3931682980 577487155 255 362436" option to reproduce the execution 0.00/0.03 c #vars 400 0.00/0.03 c #constraints 601 0.00/0.09 c BCD2: Hardening is enabled. 0.00/0.09 c BCD2: BiasedSearch is enabled. 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 2019 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 231 | 1 | 2019 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.005s 0.09/0.11 c #wall_clock_time = 0.005s 0.09/0.11 c #decision = 231 0.09/0.11 c #random_decision = 2 0.09/0.11 c #conflict = 1 0.09/0.11 c #restart = 0 0.09/0.11 o -32 0.09/0.11 c BCD2: updating upper bound: 200 -> 167 0.09/0.11 c BCD2: 0 <= obj <= 167 0.09/0.11 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2019 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 100 | 1 | 2019 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.004s 0.09/0.11 c #wall_clock_time = 0.004s 0.09/0.11 c #decision = 100 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 1 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 100: cost of the new core is >=1 0.09/0.11 c lower bound updated to -199 0.09/0.11 c BCD2: 1 <= obj <= 167 0.09/0.11 c BCD2: #cores=1, #unrelaxed=100, #relaxed=100, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2019 0 | 0 | 0 0.09/0.12 c 0.0s | 0 | 101 | 1 | 2019 0 | 0 | 0 0.09/0.12 c #cpu_time = 0.009s 0.09/0.12 c #wall_clock_time = 0.009s 0.09/0.12 c #decision = 101 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 1 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: relaxing 100 and merging with 1 cores into a new core of size 200: cost of the new core is >=2 0.09/0.12 c lower bound updated to -198 0.09/0.12 c BCD2: 2 <= obj <= 167 0.09/0.12 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 2019 0 | 1 | 0 0.09/0.16 c 0.0s | 1 | 2117 | 100 | 2221 0 | 1 | 1 0.29/0.38 c 0.3s | 2 | 6542 | 250 | 2444 0 | 1 | 1 0.59/0.67 c 0.6s | 3 | 12677 | 475 | 2689 0 | 1 | 1 1.28/1.30 c 1.2s | 4 | 17190 | 813 | 2958 0 | 1 | 1 1.99/2.01 c 1.9s | 5 | 21261 | 1320 | 3254 0 | 1 | 1 2.89/2.99 c 2.9s | 6 | 30920 | 2081 | 3580 0 | 1 | 1 4.79/4.88 c 4.8s | 7 | 38765 | 3223 | 3939 0 | 1 | 1 6.99/7.08 c 7.0s | 7 | 44920 | 4223 | 3939 1 | 1 | 1 8.09/8.15 c 8.0s | 8 | 50757 | 4936 | 4333 1 | 1 | 1 10.09/10.18 c 10.1s | 8 | 67231 | 6136 | 4333 1 | 1 | 1 12.20/12.27 c 12.2s | 8 | 74967 | 7336 | 4333 2 | 1 | 1 12.59/12.61 c 12.5s | 9 | 75574 | 7506 | 4767 2 | 1 | 1 14.69/14.76 c 14.6s | 9 | 87563 | 8606 | 4767 2 | 1 | 1 16.79/16.84 c 16.7s | 9 | 93659 | 9706 | 4767 3 | 1 | 1 18.89/18.93 c 18.8s | 9 | 113989 | 11306 | 5244 3 | 1 | 1 18.99/19.05 c 18.9s | 10 | 114265 | 11361 | 5244 3 | 1 | 1 20.99/21.07 c 20.9s | 10 | 129439 | 12661 | 5244 4 | 1 | 1 23.09/23.12 c 23.0s | 10 | 154239 | 14161 | 5244 4 | 1 | 1 25.18/25.23 c 25.1s | 10 | 187561 | 15661 | 5244 5 | 1 | 1 26.68/26.75 c 26.6s | 11 | 223182 | 17144 | 5769 5 | 1 | 1 28.78/28.81 c 28.7s | 11 | 238823 | 18644 | 5769 6 | 1 | 1 30.79/30.85 c 30.7s | 11 | 255300 | 20544 | 5769 6 | 1 | 1 32.88/32.93 c 32.8s | 11 | 262989 | 22144 | 5769 7 | 1 | 1 34.88/34.98 c 34.9s | 11 | 286948 | 23544 | 5769 7 | 1 | 1 36.98/37.02 c 36.9s | 12 | 328860 | 25819 | 6346 8 | 1 | 1 38.98/39.08 c 39.0s | 12 | 350380 | 27219 | 6346 8 | 1 | 1 41.18/41.27 c 41.1s | 12 | 369300 | 28619 | 6346 9 | 1 | 1 43.28/43.31 c 43.2s | 12 | 403428 | 30019 | 6346 9 | 1 | 1 45.28/45.36 c 45.2s | 12 | 443361 | 32019 | 6346 10 | 1 | 1 47.39/47.49 c 47.4s | 12 | 490578 | 34019 | 6346 10 | 1 | 1 49.49/49.52 c 49.4s | 12 | 523289 | 35419 | 6346 11 | 1 | 1 51.48/51.59 c 51.5s | 12 | 566368 | 37119 | 6346 11 | 1 | 1 53.18/53.26 c 53.1s | 13 | 596365 | 38832 | 6981 12 | 1 | 1 55.38/55.40 c 55.3s | 13 | 623892 | 40532 | 6981 12 | 1 | 1 57.38/57.50 c 57.4s | 13 | 650947 | 42032 | 6981 13 | 1 | 1 59.48/59.54 c 59.4s | 13 | 686952 | 43432 | 6981 13 | 1 | 1 61.47/61.57 c 61.4s | 13 | 714993 | 44832 | 6981 14 | 1 | 1 63.57/63.61 c 63.5s | 13 | 741216 | 46732 | 6981 14 | 1 | 1 65.57/65.66 c 65.5s | 13 | 754504 | 47932 | 6981 14 | 1 | 1 67.67/67.71 c 67.6s | 13 | 767933 | 49332 | 6981 15 | 1 | 1 69.67/69.77 c 69.6s | 13 | 799206 | 51232 | 6981 15 | 1 | 1 71.67/71.77 c 71.6s | 13 | 823949 | 52732 | 6981 16 | 1 | 1 73.87/73.94 c 73.8s | 13 | 847312 | 54132 | 6981 16 | 1 | 1 76.07/76.12 c 76.0s | 13 | 874809 | 55532 | 6981 17 | 1 | 1 78.08/78.13 c 78.0s | 13 | 905374 | 57232 | 6981 17 | 1 | 1 78.97/79.02 c 78.9s | 14 | 923502 | 58352 | 7680 17 | 1 | 1 80.98/81.02 c 80.9s | 14 | 936482 | 59552 | 7680 17 | 1 | 1 83.08/83.15 c 83.0s | 14 | 975799 | 61252 | 7680 18 | 1 | 1 85.18/85.21 c 85.1s | 14 | 1019147 | 62852 | 7680 18 | 1 | 1 87.28/87.32 c 87.2s | 14 | 1048193 | 64652 | 7680 19 | 1 | 1 89.28/89.37 c 89.2s | 14 | 1066602 | 66052 | 7680 19 | 1 | 1 91.38/91.41 c 91.3s | 14 | 1114810 | 68152 | 7680 20 | 1 | 1 93.37/93.44 c 93.3s | 14 | 1153908 | 70152 | 7680 20 | 1 | 1 95.37/95.49 c 95.4s | 14 | 1185716 | 71752 | 7680 21 | 1 | 1 97.47/97.53 c 97.4s | 14 | 1217957 | 74452 | 7680 21 | 1 | 1 99.47/99.55 c 99.4s | 14 | 1238784 | 76952 | 7680 22 | 1 | 1 101.47/101.56 c 101s | 14 | 1270090 | 79452 | 7680 22 | 1 | 1 103.57/103.62 c 103s | 14 | 1305059 | 81852 | 7680 23 | 1 | 1 105.58/105.64 c 105s | 14 | 1338787 | 84152 | 7680 24 | 1 | 1 107.67/107.71 c 107s | 14 | 1371420 | 86452 | 7680 24 | 1 | 1 108.67/108.75 c 108s | 15 | 1392051 | 87632 | 8448 24 | 1 | 1 110.87/110.92 c 110s | 15 | 1435927 | 89432 | 8448 25 | 1 | 1 112.87/112.97 c 112s | 15 | 1485224 | 91232 | 8448 25 | 1 | 1 114.97/115.03 c 114s | 15 | 1529140 | 93332 | 8448 26 | 1 | 1 116.97/117.07 c 116s | 15 | 1583919 | 95332 | 8448 26 | 1 | 1 118.97/119.09 c 118s | 15 | 1651785 | 97532 | 8448 27 | 1 | 1 121.08/121.11 c 120s | 15 | 1686964 | 99632 | 8448 27 | 1 | 1 123.07/123.15 c 123s | 15 | 1730564 | 101632 | 8448 28 | 1 | 1 125.17/125.23 c 125s | 15 | 1772478 | 103732 | 8448 28 | 1 | 1 127.27/127.36 c 127s | 15 | 1811021 | 106032 | 8448 29 | 1 | 1 129.37/129.41 c 129s | 15 | 1858734 | 108232 | 8448 29 | 1 | 1 131.37/131.44 c 131s | 15 | 1906705 | 110532 | 8448 30 | 1 | 1 133.47/133.54 c 133s | 15 | 1939241 | 112732 | 8448 30 | 1 | 1 135.47/135.56 c 135s | 15 | 1962872 | 114532 | 8448 31 | 1 | 1 137.57/137.66 c 137s | 15 | 1989215 | 116532 | 8448 31 | 1 | 1 139.57/139.67 c 139s | 15 | 2001069 | 118232 | 8448 31 | 1 | 1 141.56/141.68 c 141s | 15 | 2007242 | 119432 | 8448 32 | 1 | 1 143.66/143.72 c 143s | 15 | 2030138 | 121132 | 8448 32 | 1 | 1 145.66/145.77 c 145s | 15 | 2059508 | 123032 | 8448 33 | 1 | 1 147.86/147.90 c 147s | 15 | 2074857 | 125032 | 8448 33 | 1 | 1 149.86/149.95 c 149s | 15 | 2089451 | 126632 | 8448 33 | 1 | 1 151.96/152.02 c 151s | 15 | 2130137 | 128532 | 8448 34 | 1 | 1 153.97/154.05 c 153s | 15 | 2164261 | 130432 | 8448 34 | 1 | 1 155.17/155.23 c 155s | 16 | 2186749 | 131552 | 9293 34 | 1 | 1 157.16/157.29 c 157s | 16 | 2218837 | 133552 | 9293 35 | 1 | 1 159.26/159.36 c 159s | 16 | 2273693 | 135452 | 9293 35 | 1 | 1 161.37/161.44 c 161s | 16 | 2309707 | 137352 | 9293 36 | 1 | 1 163.37/163.47 c 163s | 16 | 2354027 | 139252 | 9293 36 | 1 | 1 165.46/165.51 c 165s | 16 | 2400060 | 140852 | 9293 36 | 1 | 1 167.46/167.56 c 167s | 16 | 2474256 | 143052 | 9293 37 | 1 | 1 169.47/169.59 c 169s | 16 | 2531352 | 145352 | 9293 37 | 1 | 1 171.57/171.61 c 171s | 16 | 2578129 | 147452 | 9293 38 | 1 | 1 173.56/173.62 c 173s | 16 | 2620114 | 149352 | 9293 38 | 1 | 1 175.56/175.63 c 175s | 16 | 2661887 | 151252 | 9293 39 | 1 | 1 177.66/177.72 c 177s | 16 | 2682138 | 153252 | 9293 39 | 1 | 1 179.76/179.80 c 179s | 16 | 2712563 | 155152 | 9293 39 | 1 | 1 181.76/181.81 c 181s | 16 | 2741533 | 156752 | 9293 40 | 1 | 1 183.86/183.90 c 183s | 16 | 2768011 | 158652 | 9293 40 | 1 | 1 185.97/186.00 c 185s | 16 | 2790502 | 160352 | 9293 40 | 1 | 1 187.96/188.02 c 187s | 16 | 2802872 | 161952 | 9293 41 | 1 | 1 190.06/190.10 c 189s | 16 | 2825912 | 163752 | 9293 41 | 1 | 1 192.06/192.12 c 192s | 16 | 2838026 | 165352 | 9293 41 | 1 | 1 194.16/194.23 c 194s | 16 | 2840943 | 166652 | 9293 42 | 1 | 1 196.36/196.44 c 196s | 16 | 2852349 | 167752 | 9293 42 | 1 | 1 198.36/198.49 c 198s | 16 | 2899628 | 169252 | 9293 42 | 1 | 1 200.46/200.50 c 200s | 16 | 2932652 | 171252 | 9293 43 | 1 | 1 202.46/202.51 c 202s | 16 | 2973668 | 173052 | 9293 43 | 1 | 1 204.46/204.57 c 204s | 16 | 3013271 | 175152 | 9293 44 | 1 | 1 206.46/206.57 c 206s | 16 | 3073793 | 177152 | 9293 44 | 1 | 1 208.56/208.62 c 208s | 16 | 3125709 | 179352 | 9293 44 | 1 | 1 210.56/210.67 c 210s | 16 | 3171526 | 181352 | 9293 45 | 1 | 1 212.55/212.69 c 212s | 16 | 3200483 | 183152 | 9293 45 | 1 | 1 214.65/214.75 c 214s | 16 | 3241938 | 185052 | 9293 46 | 1 | 1 216.66/216.79 c 216s | 16 | 3270178 | 186952 | 9293 46 | 1 | 1 218.75/218.90 c 218s | 16 | 3309753 | 189052 | 9293 46 | 1 | 1 220.85/220.97 c 220s | 16 | 3335110 | 190952 | 9293 47 | 1 | 1 223.05/223.10 c 222s | 16 | 3355439 | 192852 | 9293 47 | 1 | 1 225.05/225.14 c 225s | 16 | 3381136 | 194652 | 9293 48 | 1 | 1 227.05/227.16 c 227s | 16 | 3400230 | 196352 | 10223 48 | 1 | 1 228.25/228.38 c 228s | 17 | 3413558 | 197432 | 10223 48 | 1 | 1 230.35/230.41 c 230s | 17 | 3453028 | 198532 | 10223 48 | 1 | 1 232.35/232.46 c 232s | 17 | 3506070 | 200432 | 10223 49 | 1 | 1 234.45/234.50 c 234s | 17 | 3558595 | 202632 | 10223 49 | 1 | 1 236.46/236.51 c 236s | 17 | 3592456 | 204232 | 10223 49 | 1 | 1 238.55/238.66 c 238s | 17 | 3612687 | 205832 | 10223 50 | 1 | 1 240.65/240.72 c 240s | 17 | 3623835 | 207232 | 10223 50 | 1 | 1 242.75/242.85 c 242s | 17 | 3632390 | 208832 | 10223 50 | 1 | 1 244.85/244.93 c 244s | 17 | 3648943 | 210432 | 10223 51 | 1 | 1 246.85/246.94 c 246s | 17 | 3656661 | 211532 | 10223 51 | 1 | 1 248.95/249.03 c 248s | 17 | 3686140 | 213532 | 10223 51 | 1 | 1 250.95/251.09 c 250s | 17 | 3716473 | 214732 | 10223 51 | 1 | 1 253.05/253.12 c 253s | 17 | 3768564 | 216632 | 10223 52 | 1 | 1 255.15/255.21 c 255s | 17 | 3806242 | 218732 | 10223 52 | 1 | 1 257.14/257.28 c 257s | 17 | 3835025 | 220432 | 10223 52 | 1 | 1 259.24/259.35 c 259s | 17 | 3888448 | 222232 | 10223 53 | 1 | 1 261.34/261.43 c 261s | 17 | 3945235 | 224232 | 10223 53 | 1 | 1 263.44/263.53 c 263s | 17 | 3992922 | 226332 | 10223 54 | 1 | 1 265.54/265.64 c 265s | 17 | 4046462 | 228432 | 10223 54 | 1 | 1 267.64/267.73 c 267s | 17 | 4062621 | 230232 | 10223 54 | 1 | 1 269.64/269.79 c 269s | 17 | 4093767 | 232032 | 10223 55 | 1 | 1 271.75/271.83 c 271s | 17 | 4117637 | 233832 | 10223 55 | 1 | 1 273.74/273.86 c 273s | 17 | 4143419 | 235832 | 10223 55 | 1 | 1 275.74/275.87 c 275s | 17 | 4162746 | 237232 | 10223 56 | 1 | 1 277.84/277.97 c 277s | 17 | 4190985 | 239032 | 10223 56 | 1 | 1 279.94/280.01 c 279s | 17 | 4208760 | 240432 | 10223 56 | 1 | 1 281.95/282.03 c 281s | 17 | 4232248 | 242232 | 10223 57 | 1 | 1 284.05/284.11 c 283s | 17 | 4252694 | 243732 | 10223 57 | 1 | 1 286.05/286.17 c 286s | 17 | 4271767 | 245532 | 10223 57 | 1 | 1 288.25/288.31 c 288s | 17 | 4288701 | 247232 | 10223 58 | 1 | 1 290.25/290.32 c 290s | 17 | 4306351 | 248832 | 10223 58 | 1 | 1 292.35/292.41 c 292s | 17 | 4325005 | 250532 | 10223 58 | 1 | 1 294.35/294.44 c 294s | 17 | 4347083 | 252332 | 10223 59 | 1 | 1 296.45/296.50 c 296s | 17 | 4360832 | 254132 | 10223 59 | 1 | 1 298.45/298.58 c 298s | 17 | 4369607 | 255732 | 10223 59 | 1 | 1 300.55/300.62 c 300s | 17 | 4377557 | 257132 | 10223 60 | 1 | 1 302.55/302.64 c 302s | 17 | 4380872 | 258632 | 10223 60 | 1 | 1 304.65/304.77 c 304s | 17 | 4387908 | 260332 | 10223 60 | 1 | 1 306.74/306.83 c 306s | 17 | 4400081 | 261732 | 10223 60 | 1 | 1 308.84/308.93 c 308s | 17 | 4408465 | 263232 | 10223 61 | 1 | 1 310.94/311.01 c 310s | 17 | 4437176 | 264932 | 10223 61 | 1 | 1 314.14/314.24 c 314s | 17 | 4455522 | 266132 | 10223 61 | 1 | 1 316.24/316.31 c 316s | 17 | 4466882 | 268432 | 10223 62 | 1 | 1 318.24/318.37 c 318s | 17 | 4492913 | 270932 | 10223 62 | 1 | 1 320.34/320.46 c 320s | 17 | 4529290 | 273132 | 10223 63 | 1 | 1 322.35/322.49 c 322s | 17 | 4569810 | 275732 | 10223 63 | 1 | 1 324.44/324.56 c 324s | 17 | 4605014 | 278232 | 10223 64 | 1 | 1 326.44/326.56 c 326s | 17 | 4648897 | 280532 | 10223 64 | 1 | 1 328.44/328.59 c 328s | 17 | 4686150 | 282732 | 10223 64 | 1 | 1 330.54/330.64 c 330s | 17 | 4719816 | 284732 | 10223 65 | 1 | 1 332.54/332.66 c 332s | 17 | 4759480 | 287032 | 10223 65 | 1 | 1 334.64/334.72 c 334s | 17 | 4793695 | 289132 | 10223 66 | 1 | 1 336.64/336.75 c 336s | 17 | 4841199 | 291332 | 10223 66 | 1 | 1 338.63/338.77 c 338s | 17 | 4883673 | 293332 | 10223 66 | 1 | 1 340.63/340.78 c 340s | 17 | 4914069 | 295132 | 11246 67 | 1 | 1 341.73/341.85 c 341s | 18 | 4930404 | 296252 | 11246 67 | 1 | 1 343.83/343.96 c 343s | 18 | 4973462 | 298152 | 11246 67 | 1 | 1 345.93/346.04 c 345s | 18 | 5023985 | 299852 | 11246 68 | 1 | 1 348.03/348.16 c 348s | 18 | 5069777 | 301952 | 11246 68 | 1 | 1 350.13/350.29 c 350s | 18 | 5103534 | 303852 | 11246 68 | 1 | 1 352.33/352.41 c 352s | 18 | 5139649 | 305452 | 11246 69 | 1 | 1 354.43/354.50 c 354s | 18 | 5177025 | 307552 | 11246 69 | 1 | 1 356.34/356.50 c 356s | 18 | 5210242 | 309052 | 11246 69 | 1 | 1 358.43/358.58 c 358s | 18 | 5236627 | 310752 | 11246 69 | 1 | 1 360.53/360.66 c 360s | 18 | 5261635 | 312252 | 11246 70 | 1 | 1 362.53/362.69 c 362s | 18 | 5277252 | 313652 | 11246 70 | 1 | 1 364.73/364.80 c 364s | 18 | 5298540 | 315152 | 11246 70 | 1 | 1 366.73/366.86 c 366s | 18 | 5311319 | 316552 | 11246 70 | 1 | 1 368.83/368.99 c 368s | 18 | 5335602 | 318452 | 11246 71 | 1 | 1 370.93/371.03 c 370s | 18 | 5358508 | 319852 | 11246 71 | 1 | 1 373.03/373.11 c 372s | 18 | 5382055 | 321652 | 11246 71 | 1 | 1 375.04/375.15 c 375s | 18 | 5404438 | 323252 | 11246 72 | 1 | 1 377.03/377.19 c 377s | 18 | 5431601 | 324752 | 11246 72 | 1 | 1 379.13/379.26 c 379s | 18 | 5453688 | 326752 | 11246 72 | 1 | 1 381.13/381.29 c 381s | 18 | 5466356 | 328452 | 11246 72 | 1 | 1 383.23/383.33 c 383s | 18 | 5490456 | 330252 | 11246 73 | 1 | 1 385.33/385.41 c 385s | 18 | 5509944 | 331952 | 11246 73 | 1 | 1 387.33/387.43 c 387s | 18 | 5525265 | 333652 | 11246 73 | 1 | 1 389.43/389.54 c 389s | 18 | 5539809 | 335352 | 11246 74 | 1 | 1 391.53/391.63 c 391s | 18 | 5553855 | 337052 | 11246 74 | 1 | 1 393.53/393.67 c 393s | 18 | 5567756 | 338852 | 11246 74 | 1 | 1 395.63/395.76 c 395s | 18 | 5581899 | 340552 | 11246 75 | 1 | 1 397.63/397.78 c 397s | 18 | 5589919 | 342252 | 11246 75 | 1 | 1 400.02/400.10 c 399s | 18 | 5595944 | 343252 | 11246 75 | 1 | 1 402.02/402.13 c 402s | 18 | 5614146 | 344352 | 11246 75 | 1 | 1 404.12/404.20 c 404s | 18 | 5635313 | 345752 | 11246 76 | 1 | 1 406.12/406.21 c 406s | 18 | 5662021 | 347452 | 11246 76 | 1 | 1 408.14/408.27 c 408s | 18 | 5674789 | 349052 | 11246 76 | 1 | 1 410.24/410.32 c 410s | 18 | 5701667 | 350852 | 11246 76 | 1 | 1 412.33/412.42 c 412s | 18 | 5728022 | 352352 | 11246 77 | 1 | 1 414.33/414.45 c 414s | 18 | 5740831 | 353752 | 11246 77 | 1 | 1 416.43/416.56 c 416s | 18 | 5765016 | 355152 | 11246 77 | 1 | 1 418.43/418.59 c 418s | 18 | 5789845 | 356852 | 11246 77 | 1 | 1 420.53/420.60 c 420s | 18 | 5813472 | 358452 | 11246 78 | 1 | 1 422.53/422.63 c 422s | 18 | 5838396 | 360052 | 11246 78 | 1 | 1 424.63/424.72 c 424s | 18 | 5860194 | 361752 | 11246 78 | 1 | 1 426.63/426.76 c 426s | 18 | 5872442 | 363352 | 11246 79 | 1 | 1 428.73/428.87 c 428s | 18 | 5886921 | 364952 | 11246 79 | 1 | 1 430.83/430.93 c 430s | 18 | 5903433 | 366652 | 11246 79 | 1 | 1 432.93/433.01 c 432s | 18 | 5924400 | 368352 | 11246 79 | 1 | 1 434.92/435.03 c 434s | 18 | 5943084 | 370052 | 11246 80 | 1 | 1 437.02/437.14 c 437s | 18 | 5960061 | 371652 | 11246 80 | 1 | 1 439.02/439.19 c 439s | 18 | 5972665 | 373152 | 11246 80 | 1 | 1 441.13/441.26 c 441s | 18 | 5991150 | 374752 | 11246 81 | 1 | 1 443.23/443.37 c 443s | 18 | 6007632 | 376552 | 11246 81 | 1 | 1 445.32/445.47 c 445s | 18 | 6015439 | 378052 | 11246 81 | 1 | 1 447.42/447.58 c 447s | 18 | 6025017 | 379652 | 11246 81 | 1 | 1 449.52/449.62 c 449s | 18 | 6032023 | 381152 | 11246 82 | 1 | 1 451.52/451.64 c 451s | 18 | 6036145 | 382552 | 11246 82 | 1 | 1 453.72/453.83 c 453s | 18 | 6039176 | 383652 | 11246 82 | 1 | 1 455.82/455.94 c 455s | 18 | 6065026 | 385452 | 11246 82 | 1 | 1 457.82/457.98 c 457s | 18 | 6075302 | 386652 | 11246 83 | 1 | 1 460.02/460.12 c 459s | 18 | 6099123 | 388152 | 11246 83 | 1 | 1 462.02/462.16 c 462s | 18 | 6118715 | 389552 | 11246 83 | 1 | 1 464.12/464.24 c 464s | 18 | 6149730 | 391452 | 11246 83 | 1 | 1 466.12/466.29 c 466s | 18 | 6181452 | 392952 | 11246 84 | 1 | 1 468.21/468.32 c 468s | 18 | 6213612 | 394452 | 11246 84 | 1 | 1 470.21/470.39 c 470s | 18 | 6240739 | 396052 | 11246 84 | 1 | 1 472.31/472.44 c 472s | 18 | 6263080 | 397652 | 11246 85 | 1 | 1 474.31/474.48 c 474s | 18 | 6281711 | 399252 | 11246 85 | 1 | 1 476.41/476.55 c 476s | 18 | 6306190 | 400852 | 11246 85 | 1 | 1 478.42/478.59 c 478s | 18 | 6321317 | 402252 | 11246 85 | 1 | 1 480.62/480.70 c 480s | 18 | 6332462 | 403652 | 11246 86 | 1 | 1 482.61/482.76 c 482s | 18 | 6345392 | 405352 | 11246 86 | 1 | 1 484.81/484.90 c 484s | 18 | 6363133 | 407052 | 11246 86 | 1 | 1 486.81/486.90 c 486s | 18 | 6378684 | 408652 | 11246 86 | 1 | 1 488.81/488.94 c 488s | 18 | 6395962 | 410352 | 11246 87 | 1 | 1 490.81/490.97 c 490s | 18 | 6408513 | 412052 | 11246 87 | 1 | 1 492.82/492.98 c 492s | 18 | 6416942 | 413552 | 11246 87 | 1 | 1 494.92/495.06 c 494s | 18 | 6430668 | 415252 | 11246 88 | 1 | 1 497.01/497.17 c 497s | 18 | 6444252 | 416852 | 11246 88 | 1 | 1 499.11/499.28 c 499s | 18 | 6452503 | 418252 | 11246 88 | 1 | 1 501.21/501.35 c 501s | 18 | 6463133 | 419752 | 11246 88 | 1 | 1 503.31/503.44 c 503s | 18 | 6474178 | 421452 | 11246 89 | 1 | 1 505.31/505.45 c 505s | 18 | 6488800 | 423252 | 11246 89 | 1 | 1 507.41/507.52 c 507s | 18 | 6502323 | 424952 | 11246 89 | 1 | 1 509.41/509.56 c 509s | 18 | 6513057 | 426552 | 11246 90 | 1 | 1 511.51/511.66 c 511s | 18 | 6523082 | 428352 | 11246 90 | 1 | 1 513.51/513.70 c 513s | 18 | 6528897 | 429852 | 11246 90 | 1 | 1 515.70/515.83 c 515s | 18 | 6543670 | 430952 | 11246 90 | 1 | 1 517.71/517.85 c 517s | 18 | 6562405 | 432552 | 11246 91 | 1 | 1 519.71/519.88 c 519s | 18 | 6595887 | 434152 | 11246 91 | 1 | 1 521.71/521.89 c 521s | 18 | 6622914 | 435652 | 11246 91 | 1 | 1 523.81/523.91 c 523s | 18 | 6656614 | 437252 | 11246 91 | 1 | 1 525.82/525.94 c 525s | 18 | 6691576 | 439052 | 11246 92 | 1 | 1 527.81/527.98 c 527s | 18 | 6720558 | 440652 | 11246 92 | 1 | 1 529.91/530.01 c 529s | 18 | 6751558 | 442352 | 12371 92 | 1 | 1 531.91/532.08 c 531s | 18 | 6773376 | 443852 | 12371 92 | 1 | 1 532.81/532.99 c 532s | 19 | 6777264 | 444482 | 12371 93 | 1 | 1 534.91/535.00 c 534s | 19 | 6805747 | 445782 | 12371 93 | 1 | 1 537.01/537.12 c 536s | 19 | 6845503 | 447382 | 12371 93 | 1 | 1 539.02/539.15 c 539s | 19 | 6867932 | 448582 | 12371 93 | 1 | 1 541.11/541.25 c 541s | 19 | 6888690 | 450182 | 12371 93 | 1 | 1 543.20/543.36 c 543s | 19 | 6901441 | 451582 | 12371 94 | 1 | 1 545.20/545.39 c 545s | 19 | 6945977 | 453382 | 12371 94 | 1 | 1 547.30/547.48 c 547s | 19 | 6979610 | 455282 | 12371 94 | 1 | 1 549.40/549.53 c 549s | 19 | 7005893 | 456782 | 12371 94 | 1 | 1 551.50/551.65 c 551s | 19 | 7049363 | 458782 | 12371 95 | 1 | 1 553.60/553.73 c 553s | 19 | 7086848 | 460382 | 12371 95 | 1 | 1 555.70/555.84 c 555s | 19 | 7120490 | 462082 | 12371 95 | 1 | 1 557.80/557.91 c 557s | 19 | 7159279 | 463382 | 12371 96 | 1 | 1 559.81/559.99 c 559s | 19 | 7204078 | 464982 | 12371 96 | 1 | 1 561.90/562.10 c 561s | 19 | 7233652 | 466482 | 12371 96 | 1 | 1 564.00/564.15 c 564s | 19 | 7245841 | 467982 | 12371 96 | 1 | 1 566.20/566.31 c 566s | 19 | 7270039 | 469382 | 12371 97 | 1 | 1 568.20/568.39 c 568s | 19 | 7299592 | 470982 | 12371 97 | 1 | 1 570.30/570.41 c 570s | 19 | 7318456 | 472482 | 12371 97 | 1 | 1 572.30/572.41 c 572s | 19 | 7343464 | 474082 | 12371 97 | 1 | 1 574.30/574.43 c 574s | 19 | 7373819 | 475582 | 12371 97 | 1 | 1 576.40/576.53 c 576s | 19 | 7397883 | 477182 | 12371 98 | 1 | 1 578.40/578.55 c 578s | 19 | 7422701 | 478582 | 12371 98 | 1 | 1 580.49/580.61 c 580s | 19 | 7444385 | 480282 | 12371 98 | 1 | 1 582.49/582.61 c 582s | 19 | 7454646 | 481482 | 12371 98 | 1 | 1 584.49/584.68 c 584s | 19 | 7461991 | 482882 | 12371 99 | 1 | 1 586.69/586.85 c 586s | 19 | 7468922 | 484182 | 12371 99 | 1 | 1 588.79/588.96 c 588s | 19 | 7482971 | 485582 | 12371 99 | 1 | 1 590.89/591.00 c 590s | 19 | 7500393 | 487282 | 12371 99 | 1 | 1 592.89/593.04 c 592s | 19 | 7515144 | 488482 | 12371 100 | 1 | 1 594.99/595.11 c 594s | 19 | 7539440 | 490082 | 12371 100 | 1 | 1 597.08/597.22 c 597s | 19 | 7554388 | 491682 | 12371 100 | 1 | 1 599.19/599.35 c 599s | 19 | 7570098 | 492982 | 12371 100 | 1 | 1 601.29/601.43 c 601s | 19 | 7588441 | 494382 | 12371 100 | 1 | 1 603.39/603.56 c 603s | 19 | 7601781 | 495782 | 12371 101 | 1 | 1 605.49/605.63 c 605s | 19 | 7610214 | 497282 | 12371 101 | 1 | 1 607.59/607.71 c 607s | 19 | 7622439 | 498582 | 12371 101 | 1 | 1 609.59/609.78 c 609s | 19 | 7635695 | 499982 | 12371 101 | 1 | 1 611.68/611.87 c 611s | 19 | 7652542 | 501382 | 12371 102 | 1 | 1 613.98/614.11 c 613s | 19 | 7658404 | 502782 | 12371 102 | 1 | 1 615.99/616.13 c 616s | 19 | 7670212 | 504182 | 12371 102 | 1 | 1 617.98/618.15 c 618s | 19 | 7681204 | 505482 | 12371 102 | 1 | 1 620.08/620.29 c 620s | 19 | 7688862 | 506682 | 12371 102 | 1 | 1 622.28/622.41 c 622s | 19 | 7696041 | 507882 | 12371 103 | 1 | 1 624.38/624.53 c 624s | 19 | 7700312 | 509182 | 12371 103 | 1 | 1 626.38/626.58 c 626s | 19 | 7706077 | 510382 | 12371 103 | 1 | 1 628.58/628.73 c 628s | 19 | 7710563 | 511682 | 12371 103 | 1 | 1 630.68/630.83 c 630s | 19 | 7717444 | 513182 | 12371 103 | 1 | 1 632.77/632.96 c 632s | 19 | 7723303 | 514582 | 12371 104 | 1 | 1 635.37/635.59 c 635s | 19 | 7729349 | 515982 | 12371 104 | 1 | 1 637.77/637.99 c 637s | 19 | 7759100 | 517482 | 12371 104 | 1 | 1 639.87/640.09 c 639s | 19 | 7797233 | 519482 | 12371 104 | 1 | 1 642.07/642.23 c 642s | 19 | 7828411 | 520882 | 12371 105 | 1 | 1 644.17/644.30 c 644s | 19 | 7841208 | 522282 | 12371 105 | 1 | 1 646.17/646.39 c 646s | 19 | 7864706 | 523882 | 12371 105 | 1 | 1 648.37/648.50 c 648s | 19 | 7896597 | 525382 | 12371 105 | 1 | 1 650.37/650.57 c 650s | 19 | 7922977 | 526882 | 12371 106 | 1 | 1 652.46/652.62 c 652s | 19 | 7944015 | 528482 | 12371 106 | 1 | 1 654.47/654.65 c 654s | 19 | 7964144 | 529982 | 12371 106 | 1 | 1 656.57/656.74 c 656s | 19 | 7975441 | 531482 | 12371 106 | 1 | 1 658.56/658.79 c 658s | 19 | 7991045 | 532782 | 12371 107 | 1 | 1 660.66/660.84 c 660s | 19 | 8012969 | 534382 | 12371 107 | 1 | 1 662.76/662.93 c 662s | 19 | 8029838 | 536082 | 12371 107 | 1 | 1 664.86/665.07 c 664s | 19 | 8051266 | 537682 | 12371 107 | 1 | 1 666.86/667.09 c 666s | 19 | 8068832 | 539182 | 12371 108 | 1 | 1 669.06/669.24 c 669s | 19 | 8084990 | 540782 | 12371 108 | 1 | 1 671.16/671.38 c 671s | 19 | 8092346 | 542382 | 12371 108 | 1 | 1 673.25/673.49 c 673s | 19 | 8113236 | 543982 | 12371 108 | 1 | 1 675.36/675.52 c 675s | 19 | 8123519 | 545282 | 12371 109 | 1 | 1 677.35/677.56 c 677s | 19 | 8138381 | 546882 | 12371 109 | 1 | 1 679.35/679.57 c 679s | 19 | 8147702 | 548382 | 12371 109 | 1 | 1 681.46/681.64 c 681s | 19 | 8156659 | 549882 | 12371 109 | 1 | 1 683.55/683.73 c 683s | 19 | 8163733 | 551282 | 12371 109 | 1 | 1 685.65/685.81 c 685s | 19 | 8173447 | 552682 | 12371 110 | 1 | 1 687.65/687.86 c 687s | 19 | 8179196 | 553982 | 12371 110 | 1 | 1 689.75/689.92 c 689s | 19 | 8186371 | 555382 | 12371 110 | 1 | 1 691.76/691.99 c 691s | 19 | 8193752 | 556782 | 12371 110 | 1 | 1 693.96/694.12 c 693s | 19 | 8201668 | 558282 | 12371 111 | 1 | 1 696.05/696.20 c 696s | 19 | 8210157 | 559882 | 12371 111 | 1 | 1 698.05/698.29 c 698s | 19 | 8217664 | 561382 | 12371 111 | 1 | 1 700.15/700.33 c 700s | 19 | 8223942 | 562782 | 12371 111 | 1 | 1 702.25/702.45 c 702s | 19 | 8231985 | 564282 | 12371 112 | 1 | 1 704.35/704.53 c 704s | 19 | 8240176 | 565582 | 12371 112 | 1 | 1 706.45/706.65 c 706s | 19 | 8249749 | 566882 | 12371 112 | 1 | 1 708.55/708.70 c 708s | 19 | 8263139 | 568482 | 12371 112 | 1 | 1 710.55/710.73 c 710s | 19 | 8277040 | 570182 | 12371 112 | 1 | 1 712.54/712.73 c 712s | 19 | 8289021 | 571582 | 12371 113 | 1 | 1 714.64/714.85 c 714s | 19 | 8299628 | 573282 | 12371 113 | 1 | 1 716.74/716.98 c 716s | 19 | 8306002 | 574082 | 12371 113 | 1 | 1 718.84/719.04 c 718s | 19 | 8324005 | 575582 | 12371 113 | 1 | 1 721.04/721.20 c 721s | 19 | 8346205 | 576982 | 12371 114 | 1 | 1 723.14/723.30 c 723s | 19 | 8366733 | 577982 | 12371 114 | 1 | 1 725.85/726.03 c 725s | 19 | 8409375 | 579882 | 12371 114 | 1 | 1 727.94/728.17 c 728s | 19 | 8445412 | 581582 | 12371 114 | 1 | 1 730.04/730.29 c 730s | 19 | 8475505 | 582782 | 12371 114 | 1 | 1 732.14/732.34 c 732s | 19 | 8505672 | 584082 | 12371 115 | 1 | 1 734.14/734.35 c 734s | 19 | 8540816 | 585482 | 12371 115 | 1 | 1 736.24/736.41 c 736s | 19 | 8573408 | 587282 | 12371 115 | 1 | 1 738.24/738.45 c 738s | 19 | 8598073 | 588882 | 12371 115 | 1 | 1 740.24/740.48 c 740s | 19 | 8625866 | 590382 | 12371 116 | 1 | 1 742.34/742.56 c 742s | 19 | 8659798 | 591882 | 12371 116 | 1 | 1 744.33/744.58 c 744s | 19 | 8681562 | 593682 | 12371 116 | 1 | 1 746.33/746.58 c 746s | 19 | 8700696 | 595182 | 12371 116 | 1 | 1 748.43/748.60 c 748s | 19 | 8736915 | 596882 | 12371 117 | 1 | 1 750.53/750.71 c 750s | 19 | 8769363 | 598282 | 12371 117 | 1 | 1 752.63/752.82 c 752s | 19 | 8793680 | 599682 | 12371 117 | 1 | 1 754.63/754.88 c 754s | 19 | 8803223 | 601282 | 12371 117 | 1 | 1 756.73/756.98 c 756s | 19 | 8822990 | 602682 | 12371 118 | 1 | 1 758.83/759.06 c 758s | 19 | 8853814 | 604382 | 12371 118 | 1 | 1 760.93/761.18 c 761s | 19 | 8878047 | 606182 | 12371 118 | 1 | 1 763.03/763.29 c 763s | 19 | 8892478 | 607682 | 12371 118 | 1 | 1 765.03/765.29 c 765s | 19 | 8914159 | 609082 | 12371 119 | 1 | 1 767.13/767.33 c 767s | 19 | 8936716 | 610782 | 12371 119 | 1 | 1 769.13/769.34 c 769s | 19 | 8953702 | 612582 | 12371 119 | 1 | 1 771.22/771.46 c 771s | 19 | 8976538 | 614282 | 12371 119 | 1 | 1 773.23/773.49 c 773s | 19 | 8991329 | 615782 | 12371 120 | 1 | 1 775.22/775.49 c 775s | 19 | 9008762 | 617582 | 12371 120 | 1 | 1 777.32/777.57 c 777s | 19 | 9024813 | 619182 | 12371 120 | 1 | 1 779.42/779.61 c 779s | 19 | 9036270 | 620682 | 12371 120 | 1 | 1 781.42/781.66 c 781s | 19 | 9043853 | 622082 | 12371 121 | 1 | 1 783.42/783.66 c 783s | 19 | 9054478 | 623682 | 12371 121 | 1 | 1 785.42/785.66 c 785s | 19 | 9068729 | 625182 | 12371 121 | 1 | 1 787.52/787.75 c 787s | 19 | 9081364 | 627082 | 12371 121 | 1 | 1 789.62/789.87 c 789s | 19 | 9085671 | 628482 | 12371 122 | 1 | 1 791.71/791.94 c 791s | 19 | 9101083 | 630182 | 12371 122 | 1 | 1 793.91/794.11 c 793s | 19 | 9113559 | 631882 | 12371 122 | 1 | 1 796.01/796.22 c 796s | 19 | 9131912 | 633282 | 12371 122 | 1 | 1 798.11/798.33 c 798s | 19 | 9143823 | 634582 | 12371 123 | 1 | 1 800.11/800.38 c 800s | 19 | 9170807 | 636382 | 12371 123 | 1 | 1 802.11/802.39 c 802s | 19 | 9190055 | 638082 | 12371 123 | 1 | 1 804.21/804.41 c 804s | 19 | 9213278 | 639282 | 12371 123 | 1 | 1 806.21/806.48 c 806s | 19 | 9232231 | 640482 | 12371 124 | 1 | 1 808.21/808.50 c 808s | 19 | 9243889 | 641582 | 12371 124 | 1 | 1 810.31/810.57 c 810s | 19 | 9256460 | 643082 | 12371 124 | 1 | 1 812.41/812.68 c 812s | 19 | 9267405 | 644482 | 12371 124 | 1 | 1 814.51/814.71 c 814s | 19 | 9280464 | 645882 | 12371 124 | 1 | 1 816.51/816.78 c 816s | 19 | 9292793 | 647282 | 12371 125 | 1 | 1 818.61/818.88 c 818s | 19 | 9306095 | 648882 | 12371 125 | 1 | 1 820.71/820.94 c 820s | 19 | 9319766 | 650582 | 12371 125 | 1 | 1 822.81/823.01 c 822s | 19 | 9331588 | 652182 | 12371 125 | 1 | 1 824.81/825.02 c 824s | 19 | 9341402 | 653782 | 12371 126 | 1 | 1 826.81/827.02 c 826s | 19 | 9355471 | 655582 | 12371 126 | 1 | 1 828.91/829.13 c 829s | 19 | 9370372 | 657282 | 12371 126 | 1 | 1 831.01/831.26 c 831s | 19 | 9386708 | 658782 | 12371 127 | 1 | 1 833.11/833.39 c 833s | 19 | 9399480 | 660482 | 12371 127 | 1 | 1 835.21/835.49 c 835s | 19 | 9407620 | 662182 | 13609 127 | 1 | 1 837.31/837.56 c 837s | 19 | 9420168 | 663982 | 13609 127 | 1 | 1 839.41/839.61 c 839s | 19 | 9429571 | 665482 | 13609 127 | 1 | 1 841.41/841.65 c 841s | 20 | 9435488 | 666827 | 13609 128 | 1 | 1 843.40/843.66 c 843s | 20 | 9448520 | 668227 | 13609 128 | 1 | 1 845.60/845.80 c 845s | 20 | 9473660 | 670127 | 13609 128 | 1 | 1 847.60/847.80 c 847s | 20 | 9486785 | 671627 | 13609 128 | 1 | 1 849.60/849.85 c 849s | 20 | 9494584 | 673027 | 13609 128 | 1 | 1 851.60/851.85 c 851s | 20 | 9502862 | 674427 | 13609 129 | 1 | 1 853.70/853.93 c 853s | 20 | 9510056 | 675727 | 13609 129 | 1 | 1 855.99/856.26 c 856s | 20 | 9535795 | 677127 | 13609 129 | 1 | 1 857.99/858.27 c 858s | 20 | 9572104 | 678827 | 13609 129 | 1 | 1 860.10/860.34 c 860s | 20 | 9609193 | 680627 | 13609 130 | 1 | 1 862.20/862.43 c 862s | 20 | 9634297 | 682127 | 13609 130 | 1 | 1 864.29/864.50 c 864s | 20 | 9651758 | 683627 | 13609 130 | 1 | 1 866.39/866.62 c 866s | 20 | 9687889 | 685627 | 13609 130 | 1 | 1 868.49/868.74 c 868s | 20 | 9711935 | 687027 | 13609 131 | 1 | 1 870.59/870.84 c 870s | 20 | 9735213 | 688427 | 13609 131 | 1 | 1 872.69/872.95 c 872s | 20 | 9760247 | 690027 | 13609 131 | 1 | 1 874.69/874.96 c 874s | 20 | 9780003 | 691527 | 13609 131 | 1 | 1 876.89/877.10 c 876s | 20 | 9799233 | 693127 | 13609 131 | 1 | 1 878.99/879.21 c 879s | 20 | 9819288 | 694227 | 13609 132 | 1 | 1 881.00/881.25 c 881s | 20 | 9853556 | 695827 | 13609 132 | 1 | 1 882.98/883.27 c 883s | 20 | 9881205 | 697627 | 13609 132 | 1 | 1 885.08/885.39 c 885s | 20 | 9908032 | 699127 | 13609 132 | 1 | 1 887.18/887.47 c 887s | 20 | 9936147 | 701027 | 13609 133 | 1 | 1 889.18/889.48 c 889s | 20 | 9963944 | 702527 | 13609 133 | 1 | 1 891.28/891.58 c 891s | 20 | 10000363 | 704627 | 13609 133 | 1 | 1 893.38/893.60 c 893s | 20 | 10029372 | 706327 | 13609 133 | 1 | 1 895.58/895.84 c 895s | 20 | 10063060 | 707827 | 13609 134 | 1 | 1 897.58/897.89 c 897s | 20 | 10082633 | 709427 | 13609 134 | 1 | 1 899.78/900.01 c 899s | 20 | 10098018 | 711227 | 13609 134 | 1 | 1 901.78/902.06 c 901s | 20 | 10125847 | 712827 | 13609 134 | 1 | 1 903.78/904.08 c 903s | 20 | 10144877 | 714227 | 13609 134 | 1 | 1 905.98/906.20 c 906s | 20 | 10157929 | 715627 | 13609 135 | 1 | 1 908.08/908.32 c 908s | 20 | 10171108 | 717127 | 13609 135 | 1 | 1 910.18/910.41 c 910s | 20 | 10185230 | 718727 | 13609 135 | 1 | 1 912.17/912.45 c 912s | 20 | 10197335 | 720127 | 13609 135 | 1 | 1 914.27/914.53 c 914s | 20 | 10208357 | 721527 | 13609 135 | 1 | 1 916.27/916.55 c 916s | 20 | 10217195 | 722927 | 13609 136 | 1 | 1 918.28/918.58 c 918s | 20 | 10227926 | 724527 | 13609 136 | 1 | 1 920.37/920.70 c 920s | 20 | 10230755 | 725927 | 13609 136 | 1 | 1 922.47/922.72 c 922s | 20 | 10233464 | 727127 | 13609 136 | 1 | 1 924.57/924.81 c 924s | 20 | 10238198 | 728527 | 13609 136 | 1 | 1 926.67/926.96 c 926s | 20 | 10253166 | 729227 | 13609 137 | 1 | 1 928.87/929.17 c 929s | 20 | 10262337 | 729827 | 13609 137 | 1 | 1 930.87/931.18 c 931s | 20 | 10284308 | 731127 | 13609 137 | 1 | 1 932.97/933.27 c 933s | 20 | 10316079 | 732827 | 13609 137 | 1 | 1 935.17/935.41 c 935s | 20 | 10336304 | 733927 | 13609 137 | 1 | 1 937.17/937.42 c 937s | 20 | 10378968 | 735327 | 13609 137 | 1 | 1 939.18/939.49 c 939s | 20 | 10412965 | 736827 | 13609 138 | 1 | 1 941.27/941.53 c 941s | 20 | 10438291 | 738427 | 13609 138 | 1 | 1 943.37/943.68 c 943s | 20 | 10461684 | 739927 | 13609 138 | 1 | 1 945.57/945.80 c 945s | 20 | 10483392 | 741227 | 13609 138 | 1 | 1 947.57/947.84 c 947s | 20 | 10521755 | 742627 | 13609 139 | 1 | 1 949.67/949.93 c 949s | 20 | 10545815 | 744627 | 13609 139 | 1 | 1 951.76/952.06 c 951s | 20 | 10557834 | 746127 | 13609 139 | 1 | 1 953.86/954.12 c 954s | 20 | 10586997 | 747927 | 13609 139 | 1 | 1 955.96/956.21 c 956s | 20 | 10614240 | 749227 | 13609 139 | 1 | 1 957.97/958.29 c 958s | 20 | 10638489 | 750427 | 13609 140 | 1 | 1 960.07/960.35 c 960s | 20 | 10666500 | 751727 | 13609 140 | 1 | 1 962.26/962.53 c 962s | 20 | 10688394 | 753327 | 13609 140 | 1 | 1 964.26/964.58 c 964s | 20 | 10703389 | 754827 | 13609 140 | 1 | 1 966.46/966.79 c 966s | 20 | 10715605 | 756327 | 13609 141 | 1 | 1 968.56/968.84 c 968s | 20 | 10734207 | 757727 | 13609 141 | 1 | 1 970.66/970.91 c 970s | 20 | 10753110 | 759327 | 13609 141 | 1 | 1 972.65/972.98 c 972s | 20 | 10775198 | 760627 | 13609 141 | 1 | 1 974.75/975.04 c 974s | 20 | 10790513 | 762027 | 13609 141 | 1 | 1 976.85/977.17 c 977s | 20 | 10801694 | 763327 | 13609 142 | 1 | 1 978.95/979.24 c 979s | 20 | 10814644 | 764527 | 13609 142 | 1 | 1 980.96/981.27 c 981s | 20 | 10823615 | 765927 | 13609 142 | 1 | 1 983.05/983.37 c 983s | 20 | 10837483 | 767327 | 13609 142 | 1 | 1 985.25/985.50 c 985s | 20 | 10856454 | 768927 | 13609 142 | 1 | 1 987.25/987.54 c 987s | 20 | 10870469 | 770327 | 13609 143 | 1 | 1 989.35/989.61 c 989s | 20 | 10889271 | 771927 | 13609 143 | 1 | 1 991.45/991.72 c 991s | 20 | 10893857 | 773227 | 13609 143 | 1 | 1 993.45/993.76 c 993s | 20 | 10899417 | 774427 | 13609 143 | 1 | 1 995.54/995.82 c 995s | 20 | 10902723 | 775627 | 13609 143 | 1 | 1 997.64/997.94 c 997s | 20 | 10908169 | 776927 | 13609 143 | 1 | 1 999.75/1000.07 c 999s | 20 | 10911196 | 778327 | 13609 144 | 1 | 1 1001.74/1002.07 c 1001s | 20 | 10915391 | 779627 | 13609 144 | 1 | 1 1003.84/1004.12 c 1004s | 20 | 10923335 | 780627 | 13609 144 | 1 | 1 1006.04/1006.31 c 1006s | 20 | 10940078 | 781927 | 13609 144 | 1 | 1 1008.74/1009.04 c 1008s | 20 | 10950782 | 782327 | 13609 144 | 1 | 1 1010.84/1011.14 c 1011s | 20 | 10991509 | 784227 | 13609 145 | 1 | 1 1012.85/1013.19 c 1013s | 20 | 11032398 | 785827 | 13609 145 | 1 | 1 1014.94/1015.22 c 1015s | 20 | 11047219 | 787327 | 13609 145 | 1 | 1 1016.94/1017.24 c 1017s | 20 | 11067521 | 788727 | 13609 145 | 1 | 1 1019.04/1019.36 c 1019s | 20 | 11092324 | 790627 | 13609 145 | 1 | 1 1021.04/1021.38 c 1021s | 20 | 11121217 | 792027 | 13609 146 | 1 | 1 1023.23/1023.51 c 1023s | 20 | 11142926 | 793627 | 13609 146 | 1 | 1 1025.33/1025.60 c 1025s | 20 | 11169904 | 795427 | 13609 146 | 1 | 1 1027.33/1027.60 c 1027s | 20 | 11192924 | 796927 | 13609 146 | 1 | 1 1029.34/1029.61 c 1029s | 20 | 11203573 | 798227 | 13609 147 | 1 | 1 1031.33/1031.62 c 1031s | 20 | 11223063 | 799927 | 13609 147 | 1 | 1 1033.43/1033.71 c 1033s | 20 | 11244796 | 801627 | 13609 147 | 1 | 1 1035.43/1035.78 c 1035s | 20 | 11263110 | 803327 | 13609 147 | 1 | 1 1037.63/1037.95 c 1037s | 20 | 11281715 | 804927 | 13609 148 | 1 | 1 1039.73/1040.09 c 1039s | 20 | 11294052 | 806527 | 13609 148 | 1 | 1 1041.93/1042.21 c 1042s | 20 | 11297747 | 807827 | 13609 148 | 1 | 1 1044.03/1044.31 c 1044s | 20 | 11306913 | 809127 | 13609 148 | 1 | 1 1046.03/1046.34 c 1046s | 20 | 11316162 | 810327 | 13609 148 | 1 | 1 1048.03/1048.38 c 1048s | 20 | 11337960 | 811127 | 13609 148 | 1 | 1 1050.13/1050.47 c 1050s | 20 | 11370665 | 812627 | 13609 149 | 1 | 1 1052.23/1052.59 c 1052s | 20 | 11437717 | 814627 | 13609 149 | 1 | 1 1054.33/1054.63 c 1054s | 20 | 11456898 | 816427 | 13609 149 | 1 | 1 1056.33/1056.64 c 1056s | 20 | 11476265 | 818227 | 13609 149 | 1 | 1 1058.33/1058.64 c 1058s | 20 | 11493174 | 819827 | 13609 150 | 1 | 1 1060.33/1060.66 c 1060s | 20 | 11504599 | 821627 | 13609 150 | 1 | 1 1062.43/1062.78 c 1062s | 20 | 11543999 | 823727 | 13609 150 | 1 | 1 1064.43/1064.80 c 1064s | 20 | 11568760 | 825327 | 13609 150 | 1 | 1 1066.52/1066.81 c 1066s | 20 | 11600084 | 827027 | 13609 151 | 1 | 1 1068.62/1068.93 c 1068s | 20 | 11629165 | 828727 | 13609 151 | 1 | 1 1070.72/1071.06 c 1070s | 20 | 11656786 | 830527 | 13609 151 | 1 | 1 1072.82/1073.11 c 1072s | 20 | 11682892 | 832127 | 13609 151 | 1 | 1 1074.82/1075.18 c 1075s | 20 | 11721288 | 833727 | 13609 152 | 1 | 1 1076.92/1077.22 c 1077s | 20 | 11764939 | 835627 | 13609 152 | 1 | 1 1078.93/1079.26 c 1079s | 20 | 11800052 | 837227 | 13609 152 | 1 | 1 1081.02/1081.33 c 1081s | 20 | 11829860 | 838827 | 13609 152 | 1 | 1 1083.11/1083.41 c 1083s | 20 | 11854341 | 840427 | 13609 153 | 1 | 1 1085.11/1085.44 c 1085s | 20 | 11882489 | 842027 | 13609 153 | 1 | 1 1087.21/1087.50 c 1087s | 20 | 11913653 | 843727 | 13609 153 | 1 | 1 1089.31/1089.60 c 1089s | 20 | 11950635 | 845227 | 13609 153 | 1 | 1 1091.31/1091.64 c 1091s | 20 | 11981557 | 846927 | 13609 154 | 1 | 1 1093.41/1093.72 c 1093s | 20 | 12018560 | 848327 | 13609 154 | 1 | 1 1095.51/1095.82 c 1095s | 20 | 12063908 | 850227 | 13609 154 | 1 | 1 1097.51/1097.83 c 1097s | 20 | 12109232 | 852027 | 13609 154 | 1 | 1 1099.51/1099.85 c 1099s | 20 | 12138977 | 853627 | 13609 155 | 1 | 1 1101.61/1101.90 c 1101s | 20 | 12168710 | 855127 | 13609 155 | 1 | 1 1103.60/1103.94 c 1103s | 20 | 12209577 | 856827 | 13609 155 | 1 | 1 1105.70/1106.05 c 1105s | 20 | 12247153 | 858727 | 13609 155 | 1 | 1 1107.80/1108.13 c 1108s | 20 | 12274306 | 860227 | 13609 156 | 1 | 1 1109.90/1110.20 c 1110s | 20 | 12301036 | 862027 | 13609 156 | 1 | 1 1111.91/1112.21 c 1112s | 20 | 12324933 | 863627 | 13609 156 | 1 | 1 1114.01/1114.36 c 1114s | 20 | 12336736 | 865127 | 13609 156 | 1 | 1 1116.10/1116.41 c 1116s | 20 | 12350213 | 866627 | 13609 156 | 1 | 1 1118.20/1118.55 c 1118s | 20 | 12353079 | 867827 | 13609 157 | 1 | 1 1120.30/1120.69 c 1120s | 20 | 12354300 | 869027 | 13609 157 | 1 | 1 1122.50/1122.84 c 1122s | 20 | 12356157 | 870227 | 13609 157 | 1 | 1 1124.70/1125.02 c 1124s | 20 | 12360394 | 871527 | 13609 157 | 1 | 1 1126.70/1127.03 c 1126s | 20 | 12382413 | 872627 | 13609 157 | 1 | 1 1128.70/1129.09 c 1128s | 20 | 12425639 | 874027 | 13609 157 | 1 | 1 1130.80/1131.16 c 1131s | 20 | 12449826 | 875327 | 13609 158 | 1 | 1 1132.90/1133.29 c 1133s | 20 | 12470354 | 876727 | 13609 158 | 1 | 1 1135.01/1135.36 c 1135s | 20 | 12498309 | 878427 | 13609 158 | 1 | 1 1137.00/1137.40 c 1137s | 20 | 12517998 | 879927 | 13609 158 | 1 | 1 1139.10/1139.41 c 1139s | 20 | 12539441 | 881127 | 13609 159 | 1 | 1 1141.20/1141.58 c 1141s | 20 | 12561819 | 882727 | 13609 159 | 1 | 1 1143.30/1143.68 c 1143s | 20 | 12602273 | 884427 | 13609 159 | 1 | 1 1145.30/1145.69 c 1145s | 20 | 12625496 | 886027 | 13609 159 | 1 | 1 1147.40/1147.76 c 1147s | 20 | 12637756 | 887427 | 13609 159 | 1 | 1 1149.40/1149.79 c 1149s | 20 | 12659104 | 889127 | 13609 160 | 1 | 1 1151.50/1151.80 c 1151s | 20 | 12672722 | 890927 | 13609 160 | 1 | 1 1153.49/1153.86 c 1153s | 20 | 12683422 | 892427 | 13609 160 | 1 | 1 1155.59/1155.93 c 1155s | 20 | 12707934 | 894027 | 13609 160 | 1 | 1 1157.69/1158.02 c 1157s | 20 | 12732052 | 895527 | 13609 161 | 1 | 1 1159.69/1160.09 c 1159s | 20 | 12762265 | 897427 | 13609 161 | 1 | 1 1161.79/1162.16 c 1162s | 20 | 12782597 | 899027 | 13609 161 | 1 | 1 1163.79/1164.19 c 1164s | 20 | 12807943 | 900927 | 13609 161 | 1 | 1 1165.99/1166.32 c 1166s | 20 | 12820271 | 902627 | 13609 162 | 1 | 1 1168.00/1168.33 c 1168s | 20 | 12835617 | 904227 | 13609 162 | 1 | 1 1169.99/1170.36 c 1170s | 20 | 12861683 | 905827 | 13609 162 | 1 | 1 1172.09/1172.41 c 1172s | 20 | 12894720 | 907627 | 13609 162 | 1 | 1 1174.09/1174.47 c 1174s | 20 | 12929353 | 909227 | 13609 163 | 1 | 1 1176.09/1176.49 c 1176s | 20 | 12960079 | 910727 | 13609 163 | 1 | 1 1178.19/1178.55 c 1178s | 20 | 12996001 | 912427 | 13609 163 | 1 | 1 1180.29/1180.63 c 1180s | 20 | 13018684 | 914027 | 13609 163 | 1 | 1 1182.29/1182.68 c 1182s | 20 | 13050736 | 915727 | 13609 163 | 1 | 1 1184.49/1184.80 c 1184s | 20 | 13071955 | 917027 | 13609 164 | 1 | 1 1186.59/1186.92 c 1186s | 20 | 13107837 | 918627 | 13609 164 | 1 | 1 1188.58/1188.99 c 1188s | 20 | 13127170 | 920227 | 13609 164 | 1 | 1 1190.68/1191.01 c 1190s | 20 | 13160753 | 921927 | 13609 164 | 1 | 1 1192.68/1193.01 c 1192s | 20 | 13189604 | 923527 | 13609 165 | 1 | 1 1194.78/1195.16 c 1195s | 20 | 13220367 | 925327 | 13609 165 | 1 | 1 1196.88/1197.24 c 1197s | 20 | 13251913 | 927027 | 13609 165 | 1 | 1 1198.98/1199.30 c 1199s | 20 | 13274896 | 928827 | 13609 165 | 1 | 1 1200.98/1201.36 c 1201s | 20 | 13296587 | 930427 | 13609 166 | 1 | 1 1202.98/1203.39 c 1203s | 20 | 13311732 | 932127 | 13609 166 | 1 | 1 1205.07/1205.44 c 1205s | 20 | 13324366 | 933927 | 13609 166 | 1 | 1 1207.07/1207.46 c 1207s | 20 | 13333799 | 935627 | 13609 166 | 1 | 1 1209.07/1209.48 c 1209s | 20 | 13370468 | 937127 | 13609 167 | 1 | 1 1211.17/1211.57 c 1211s | 20 | 13394654 | 938727 | 13609 167 | 1 | 1 1213.27/1213.63 c 1213s | 20 | 13426314 | 940527 | 13609 167 | 1 | 1 1215.28/1215.69 c 1215s | 20 | 13467402 | 942227 | 13609 167 | 1 | 1 1217.38/1217.72 c 1217s | 20 | 13486977 | 943627 | 13609 168 | 1 | 1 1219.37/1219.76 c 1219s | 20 | 13512595 | 945427 | 13609 168 | 1 | 1 1221.47/1221.88 c 1221s | 20 | 13537354 | 946927 | 13609 168 | 1 | 1 1223.57/1223.94 c 1223s | 20 | 13550269 | 948327 | 13609 168 | 1 | 1 1225.57/1225.99 c 1225s | 20 | 13564549 | 949827 | 13609 168 | 1 | 1 1227.67/1228.01 c 1227s | 20 | 13577404 | 951327 | 13609 169 | 1 | 1 1229.67/1230.03 c 1229s | 20 | 13580583 | 952527 | 13609 169 | 1 | 1 1231.77/1232.15 c 1232s | 20 | 13583051 | 953827 | 13609 169 | 1 | 1 1233.87/1234.24 c 1234s | 20 | 13603205 | 955127 | 13609 169 | 1 | 1 1235.86/1236.26 c 1236s | 20 | 13622582 | 956727 | 13609 169 | 1 | 1 1237.96/1238.30 c 1238s | 20 | 13630844 | 957927 | 13609 170 | 1 | 1 1240.06/1240.46 c 1240s | 20 | 13634935 | 959327 | 13609 170 | 1 | 1 1242.16/1242.58 c 1242s | 20 | 13644445 | 960827 | 13609 170 | 1 | 1 1244.26/1244.65 c 1244s | 20 | 13655125 | 962227 | 13609 170 | 1 | 1 1246.26/1246.68 c 1246s | 20 | 13679982 | 963827 | 13609 170 | 1 | 1 1248.36/1248.77 c 1248s | 20 | 13696995 | 965427 | 13609 171 | 1 | 1 1250.37/1250.78 c 1250s | 20 | 13716578 | 966927 | 13609 171 | 1 | 1 1252.46/1252.87 c 1252s | 20 | 13747309 | 968727 | 13609 171 | 1 | 1 1254.56/1254.91 c 1254s | 20 | 13773736 | 970427 | 13609 171 | 1 | 1 1256.66/1257.07 c 1256s | 20 | 13799748 | 972227 | 13609 172 | 1 | 1 1258.67/1259.08 c 1258s | 20 | 13818707 | 973627 | 13609 172 | 1 | 1 1260.77/1261.16 c 1261s | 20 | 13853743 | 975427 | 13609 172 | 1 | 1 1262.77/1263.17 c 1263s | 20 | 13884651 | 976927 | 13609 172 | 1 | 1 1264.97/1265.30 c 1265s | 20 | 13906417 | 978527 | 13609 173 | 1 | 1 1266.97/1267.37 c 1267s | 20 | 13923876 | 980027 | 13609 173 | 1 | 1 1269.17/1269.50 c 1269s | 20 | 13939692 | 981727 | 13609 173 | 1 | 1 1271.17/1271.60 c 1271s | 20 | 13959684 | 983127 | 13609 173 | 1 | 1 1273.27/1273.64 c 1273s | 20 | 13974677 | 984827 | 13609 173 | 1 | 1 1275.37/1275.72 c 1275s | 20 | 13990904 | 986427 | 13609 174 | 1 | 1 1277.36/1277.75 c 1277s | 20 | 14005804 | 988327 | 13609 174 | 1 | 1 1279.46/1279.85 c 1279s | 20 | 14010950 | 989727 | 13609 174 | 1 | 1 1281.56/1281.91 c 1281s | 20 | 14027000 | 991627 | 13609 174 | 1 | 1 1283.66/1284.01 c 1283s | 20 | 14043675 | 993527 | 14970 175 | 1 | 1 1285.67/1286.02 c 1285s | 20 | 14051892 | 995227 | 14970 175 | 1 | 1 1287.66/1288.05 c 1287s | 20 | 14073922 | 996827 | 14970 175 | 1 | 1 1289.76/1290.12 c 1290s | 20 | 14091297 | 998527 | 14970 175 | 1 | 1 1291.76/1292.12 c 1292s | 20 | 14102782 | 1000227 | 14970 175 | 1 | 1 1291.86/1292.26 c 1292s | 21 | 14103231 | 1000345 | 14970 175 | 1 | 1 1294.76/1295.17 c 1295s | 21 | 14104776 | 1000445 | 14970 176 | 1 | 1 1296.86/1297.22 c 1297s | 21 | 14130793 | 1001645 | 14970 176 | 1 | 1 1300.16/1300.51 c 1300s | 21 | 14145106 | 1002645 | 14970 176 | 1 | 1 1302.26/1302.63 c 1302s | 21 | 14155123 | 1003745 | 14970 176 | 1 | 1 1304.27/1304.68 c 1304s | 21 | 14175183 | 1004945 | 14970 176 | 1 | 1 1306.36/1306.70 c 1306s | 21 | 14197345 | 1006545 | 14970 176 | 1 | 1 1308.46/1308.83 c 1308s | 21 | 14205873 | 1007845 | 14970 176 | 1 | 1 1310.56/1310.99 c 1310s | 21 | 14214885 | 1008945 | 14970 177 | 1 | 1 1312.66/1313.08 c 1312s | 21 | 14222596 | 1010045 | 14970 177 | 1 | 1 1314.86/1315.24 c 1315s | 21 | 14229535 | 1011245 | 14970 177 | 1 | 1 1316.86/1317.27 c 1317s | 21 | 14235926 | 1012545 | 14970 177 | 1 | 1 1318.96/1319.37 c 1319s | 21 | 14240614 | 1013645 | 14970 177 | 1 | 1 1320.96/1321.39 c 1321s | 21 | 14246080 | 1014745 | 14970 177 | 1 | 1 1323.07/1323.48 c 1323s | 21 | 14252021 | 1015845 | 14970 178 | 1 | 1 1325.27/1325.63 c 1325s | 21 | 14258612 | 1017045 | 14970 178 | 1 | 1 1327.26/1327.67 c 1327s | 21 | 14260388 | 1018245 | 14970 178 | 1 | 1 1329.46/1329.81 c 1329s | 21 | 14263226 | 1019445 | 14970 178 | 1 | 1 1331.56/1331.95 c 1331s | 21 | 14266264 | 1020545 | 14970 178 | 1 | 1 1333.76/1334.12 c 1334s | 21 | 14276091 | 1021745 | 14970 178 | 1 | 1 1335.76/1336.18 c 1336s | 21 | 14287910 | 1022945 | 14970 178 | 1 | 1 1337.86/1338.27 c 1338s | 21 | 14297017 | 1023645 | 14970 179 | 1 | 1 1339.96/1340.37 c 1340s | 21 | 14326674 | 1025245 | 14970 179 | 1 | 1 1342.06/1342.42 c 1342s | 21 | 14352765 | 1027145 | 14970 179 | 1 | 1 1344.05/1344.43 c 1344s | 21 | 14363193 | 1028445 | 14970 179 | 1 | 1 1346.06/1346.50 c 1346s | 21 | 14394137 | 1029745 | 14970 179 | 1 | 1 1348.15/1348.51 c 1348s | 21 | 14435074 | 1031045 | 14970 180 | 1 | 1 1350.15/1350.59 c 1350s | 21 | 14467478 | 1032645 | 14970 180 | 1 | 1 1352.25/1352.63 c 1352s | 21 | 14479747 | 1034145 | 14970 180 | 1 | 1 1354.25/1354.68 c 1354s | 21 | 14489949 | 1035345 | 14970 180 | 1 | 1 1356.45/1356.80 c 1356s | 21 | 14533086 | 1036745 | 14970 180 | 1 | 1 1358.45/1358.86 c 1358s | 21 | 14562624 | 1038245 | 14970 180 | 1 | 1 1360.55/1360.95 c 1360s | 21 | 14581853 | 1039545 | 14970 181 | 1 | 1 1362.56/1362.98 c 1362s | 21 | 14603933 | 1041045 | 14970 181 | 1 | 1 1364.65/1365.09 c 1364s | 21 | 14623284 | 1042545 | 14970 181 | 1 | 1 1366.85/1367.25 c 1367s | 21 | 14642906 | 1043845 | 14970 181 | 1 | 1 1368.85/1369.29 c 1369s | 21 | 14673546 | 1045145 | 14970 181 | 1 | 1 1370.95/1371.37 c 1371s | 21 | 14704394 | 1046445 | 14970 182 | 1 | 1 1372.95/1373.37 c 1373s | 21 | 14720310 | 1047845 | 14970 182 | 1 | 1 1375.05/1375.46 c 1375s | 21 | 14738748 | 1049245 | 14970 182 | 1 | 1 1377.15/1377.59 c 1377s | 21 | 14754596 | 1050845 | 14970 182 | 1 | 1 1379.35/1379.77 c 1379s | 21 | 14768341 | 1052145 | 14970 182 | 1 | 1 1381.35/1381.79 c 1381s | 21 | 14796305 | 1053345 | 14970 182 | 1 | 1 1383.45/1383.90 c 1383s | 21 | 14812386 | 1054745 | 14970 183 | 1 | 1 1385.65/1386.04 c 1385s | 21 | 14833655 | 1056145 | 14970 183 | 1 | 1 1387.75/1388.14 c 1388s | 21 | 14848538 | 1057545 | 14970 183 | 1 | 1 1389.74/1390.18 c 1390s | 21 | 14868971 | 1058645 | 14970 183 | 1 | 1 1391.84/1392.25 c 1392s | 21 | 14894851 | 1059945 | 14970 183 | 1 | 1 1393.84/1394.26 c 1394s | 21 | 14902770 | 1061045 | 14970 183 | 1 | 1 1395.94/1396.35 c 1396s | 21 | 14926304 | 1062245 | 14970 184 | 1 | 1 1398.04/1398.42 c 1398s | 21 | 14931521 | 1063345 | 14970 184 | 1 | 1 1400.14/1400.51 c 1400s | 21 | 14943687 | 1064545 | 14970 184 | 1 | 1 1402.15/1402.55 c 1402s | 21 | 14952137 | 1065845 | 14970 184 | 1 | 1 1404.14/1404.55 c 1404s | 21 | 14956521 | 1066945 | 14970 184 | 1 | 1 1406.24/1406.61 c 1406s | 21 | 14961799 | 1068145 | 14970 184 | 1 | 1 1408.24/1408.67 c 1408s | 21 | 14975086 | 1069245 | 14970 185 | 1 | 1 1410.34/1410.74 c 1410s | 21 | 14985334 | 1070745 | 14970 185 | 1 | 1 1412.44/1412.83 c 1412s | 21 | 14993904 | 1072045 | 14970 185 | 1 | 1 1414.54/1414.98 c 1414s | 21 | 15002765 | 1073445 | 14970 185 | 1 | 1 1416.64/1417.02 c 1416s | 21 | 15011002 | 1074645 | 14970 185 | 1 | 1 1418.65/1419.08 c 1418s | 21 | 15019545 | 1075845 | 14970 185 | 1 | 1 1420.64/1421.09 c 1420s | 21 | 15025149 | 1076745 | 14970 186 | 1 | 1 1422.74/1423.14 c 1423s | 21 | 15034102 | 1078145 | 14970 186 | 1 | 1 1424.84/1425.20 c 1425s | 21 | 15040459 | 1079545 | 14970 186 | 1 | 1 1426.84/1427.30 c 1427s | 21 | 15047200 | 1080845 | 14970 186 | 1 | 1 1428.94/1429.36 c 1429s | 21 | 15057599 | 1082345 | 14970 186 | 1 | 1 1431.04/1431.45 c 1431s | 21 | 15069464 | 1083945 | 14970 186 | 1 | 1 1433.14/1433.53 c 1433s | 21 | 15075912 | 1085345 | 14970 187 | 1 | 1 1435.14/1435.60 c 1435s | 21 | 15089737 | 1086645 | 14970 187 | 1 | 1 1438.13/1438.55 c 1438s | 21 | 15102538 | 1087745 | 14970 187 | 1 | 1 1440.23/1440.61 c 1440s | 21 | 15128684 | 1088645 | 14970 187 | 1 | 1 1442.24/1442.64 c 1442s | 21 | 15155653 | 1089845 | 14970 187 | 1 | 1 1444.44/1444.83 c 1444s | 21 | 15176552 | 1091245 | 14970 187 | 1 | 1 1446.44/1446.88 c 1446s | 21 | 15190500 | 1092645 | 14970 188 | 1 | 1 1448.54/1448.97 c 1448s | 21 | 15203390 | 1094145 | 14970 188 | 1 | 1 1450.65/1451.03 c 1450s | 21 | 15229143 | 1095545 | 14970 188 | 1 | 1 1452.64/1453.08 c 1452s | 21 | 15271757 | 1097245 | 14970 188 | 1 | 1 1454.84/1455.20 c 1455s | 21 | 15298752 | 1098845 | 14970 188 | 1 | 1 1456.94/1457.35 c 1457s | 21 | 15331512 | 1100445 | 14970 189 | 1 | 1 1459.14/1459.55 c 1459s | 21 | 15351365 | 1101845 | 14970 189 | 1 | 1 1461.24/1461.63 c 1461s | 21 | 15390273 | 1103445 | 14970 189 | 1 | 1 1463.24/1463.69 c 1463s | 21 | 15415711 | 1105245 | 14970 189 | 1 | 1 1465.34/1465.76 c 1465s | 21 | 15443652 | 1106845 | 14970 189 | 1 | 1 1467.44/1467.86 c 1467s | 21 | 15461015 | 1108445 | 14970 190 | 1 | 1 1469.54/1469.91 c 1469s | 21 | 15500353 | 1110145 | 14970 190 | 1 | 1 1471.64/1472.05 c 1471s | 21 | 15526854 | 1111845 | 14970 190 | 1 | 1 1473.64/1474.07 c 1473s | 21 | 15546896 | 1113145 | 14970 190 | 1 | 1 1475.74/1476.19 c 1476s | 21 | 15566574 | 1114745 | 14970 191 | 1 | 1 1477.83/1478.20 c 1478s | 21 | 15587812 | 1116345 | 14970 191 | 1 | 1 1479.83/1480.28 c 1480s | 21 | 15604341 | 1118045 | 14970 191 | 1 | 1 1481.93/1482.30 c 1482s | 21 | 15629497 | 1119545 | 14970 191 | 1 | 1 1483.93/1484.35 c 1484s | 21 | 15643156 | 1120945 | 14970 191 | 1 | 1 1486.03/1486.42 c 1486s | 21 | 15656173 | 1122345 | 14970 192 | 1 | 1 1488.13/1488.55 c 1488s | 21 | 15677096 | 1124045 | 14970 192 | 1 | 1 1490.33/1490.76 c 1490s | 21 | 15695589 | 1125645 | 14970 192 | 1 | 1 1492.34/1492.76 c 1492s | 21 | 15702688 | 1126945 | 14970 192 | 1 | 1 1494.33/1494.77 c 1494s | 21 | 15716020 | 1128445 | 14970 192 | 1 | 1 1496.43/1496.82 c 1496s | 21 | 15719664 | 1129945 | 14970 192 | 1 | 1 1498.43/1498.87 c 1498s | 21 | 15728539 | 1130845 | 14970 193 | 1 | 1 1500.43/1500.89 c 1500s | 21 | 15734994 | 1132345 | 14970 193 | 1 | 1 1502.53/1502.90 c 1502s | 21 | 15740122 | 1133545 | 14970 193 | 1 | 1 1504.54/1504.93 c 1504s | 21 | 15749406 | 1134845 | 14970 193 | 1 | 1 1506.64/1507.01 c 1506s | 21 | 15781687 | 1136345 | 14970 193 | 1 | 1 1508.73/1509.11 c 1508s | 21 | 15807294 | 1137945 | 14970 194 | 1 | 1 1511.03/1511.46 c 1511s | 21 | 15818997 | 1138845 | 14970 194 | 1 | 1 1513.02/1513.47 c 1513s | 21 | 15874407 | 1140645 | 14970 194 | 1 | 1 1515.12/1515.59 c 1515s | 21 | 15900627 | 1142245 | 14970 194 | 1 | 1 1517.22/1517.66 c 1517s | 21 | 15939663 | 1143545 | 14970 194 | 1 | 1 1519.32/1519.71 c 1519s | 21 | 15983404 | 1145445 | 14970 195 | 1 | 1 1521.42/1521.80 c 1521s | 21 | 16016501 | 1147045 | 14970 195 | 1 | 1 1523.42/1523.85 c 1523s | 21 | 16034983 | 1148445 | 14970 195 | 1 | 1 1525.52/1525.94 c 1525s | 21 | 16070263 | 1149845 | 14970 195 | 1 | 1 1527.63/1528.00 c 1527s | 21 | 16104852 | 1151745 | 14970 195 | 1 | 1 1529.73/1530.12 c 1530s | 21 | 16128818 | 1153345 | 14970 196 | 1 | 1 1531.72/1532.17 c 1532s | 21 | 16169554 | 1154945 | 14970 196 | 1 | 1 1533.92/1534.32 c 1534s | 21 | 16197808 | 1156645 | 14970 196 | 1 | 1 1536.02/1536.41 c 1536s | 21 | 16228589 | 1158145 | 14970 196 | 1 | 1 1538.02/1538.48 c 1538s | 21 | 16253052 | 1159945 | 14970 196 | 1 | 1 1540.32/1540.72 c 1540s | 21 | 16272892 | 1161345 | 14970 197 | 1 | 1 1542.42/1542.82 c 1542s | 21 | 16300152 | 1163045 | 14970 197 | 1 | 1 1544.42/1544.86 c 1544s | 21 | 16327004 | 1164845 | 14970 197 | 1 | 1 1546.42/1546.88 c 1546s | 21 | 16348986 | 1166545 | 14970 197 | 1 | 1 1548.52/1548.93 c 1548s | 21 | 16363178 | 1168045 | 14970 197 | 1 | 1 1550.62/1551.01 c 1550s | 21 | 16386340 | 1169745 | 14970 198 | 1 | 1 1552.72/1553.10 c 1552s | 21 | 16405171 | 1171545 | 14970 198 | 1 | 1 1554.71/1555.16 c 1555s | 21 | 16426720 | 1173245 | 14970 198 | 1 | 1 1556.91/1557.30 c 1557s | 21 | 16439760 | 1175145 | 14970 198 | 1 | 1 1558.92/1559.35 c 1559s | 21 | 16451700 | 1176445 | 14970 199 | 1 | 1 1561.02/1561.40 c 1561s | 21 | 16479115 | 1178045 | 14970 199 | 1 | 1 1563.02/1563.44 c 1563s | 21 | 16499552 | 1179445 | 14970 199 | 1 | 1 1565.12/1565.51 c 1565s | 21 | 16526355 | 1181145 | 14970 199 | 1 | 1 1567.72/1568.16 c 1568s | 21 | 16545787 | 1182445 | 14970 199 | 1 | 1 1569.82/1570.22 c 1570s | 21 | 16588066 | 1183745 | 14970 200 | 1 | 1 1571.82/1572.27 c 1572s | 21 | 16625777 | 1185645 | 14970 200 | 1 | 1 1573.82/1574.27 c 1574s | 21 | 16656250 | 1187145 | 14970 200 | 1 | 1 1575.82/1576.28 c 1576s | 21 | 16710714 | 1188945 | 14970 200 | 1 | 1 1577.92/1578.36 c 1578s | 21 | 16740025 | 1190645 | 14970 200 | 1 | 1 1580.02/1580.41 c 1580s | 21 | 16769492 | 1191945 | 14970 201 | 1 | 1 1582.02/1582.46 c 1582s | 21 | 16791751 | 1193545 | 14970 201 | 1 | 1 1584.02/1584.46 c 1584s | 21 | 16819054 | 1195145 | 14970 201 | 1 | 1 1586.01/1586.49 c 1586s | 21 | 16848008 | 1196945 | 14970 201 | 1 | 1 1588.31/1588.71 c 1588s | 21 | 16878406 | 1198545 | 14970 202 | 1 | 1 1590.41/1590.88 c 1590s | 21 | 16905607 | 1200445 | 14970 202 | 1 | 1 1592.52/1592.97 c 1592s | 21 | 16940112 | 1201945 | 14970 202 | 1 | 1 1594.51/1594.99 c 1594s | 21 | 16968500 | 1203645 | 14970 202 | 1 | 1 1596.71/1597.13 c 1597s | 21 | 16981941 | 1205145 | 14970 202 | 1 | 1 1598.81/1599.21 c 1599s | 21 | 16998578 | 1206645 | 14970 203 | 1 | 1 1600.81/1601.23 c 1601s | 21 | 17012054 | 1207945 | 14970 203 | 1 | 1 1602.91/1603.32 c 1603s | 21 | 17033722 | 1209745 | 14970 203 | 1 | 1 1605.01/1605.40 c 1605s | 21 | 17047938 | 1211145 | 14970 203 | 1 | 1 1607.01/1607.46 c 1607s | 21 | 17059524 | 1212545 | 14970 203 | 1 | 1 1609.11/1609.54 c 1609s | 21 | 17069579 | 1214045 | 14970 204 | 1 | 1 1611.12/1611.57 c 1611s | 21 | 17076885 | 1215545 | 14970 204 | 1 | 1 1613.21/1613.62 c 1613s | 21 | 17087455 | 1217145 | 14970 204 | 1 | 1 1615.31/1615.77 c 1615s | 21 | 17099282 | 1218645 | 14970 204 | 1 | 1 1617.51/1617.91 c 1617s | 21 | 17118281 | 1220145 | 14970 204 | 1 | 1 1619.51/1619.96 c 1619s | 21 | 17141784 | 1221345 | 14970 204 | 1 | 1 1621.61/1622.08 c 1621s | 21 | 17177721 | 1222945 | 14970 205 | 1 | 1 1623.71/1624.19 c 1624s | 21 | 17198953 | 1224345 | 14970 205 | 1 | 1 1625.90/1626.32 c 1626s | 21 | 17249733 | 1226045 | 14970 205 | 1 | 1 1627.90/1628.38 c 1628s | 21 | 17286465 | 1227745 | 14970 205 | 1 | 1 1630.00/1630.45 c 1630s | 21 | 17335111 | 1229245 | 14970 206 | 1 | 1 1632.01/1632.48 c 1632s | 21 | 17357838 | 1230945 | 14970 206 | 1 | 1 1634.10/1634.57 c 1634s | 21 | 17404427 | 1233145 | 14970 206 | 1 | 1 1636.20/1636.66 c 1636s | 21 | 17449481 | 1235045 | 14970 206 | 1 | 1 1638.30/1638.76 c 1638s | 21 | 17473769 | 1236645 | 14970 207 | 1 | 1 1640.40/1640.80 c 1640s | 21 | 17517404 | 1238245 | 14970 207 | 1 | 1 1642.40/1642.87 c 1642s | 21 | 17547314 | 1240045 | 14970 207 | 1 | 1 1644.50/1644.93 c 1644s | 21 | 17588188 | 1241745 | 14970 207 | 1 | 1 1646.60/1647.01 c 1646s | 21 | 17623987 | 1243545 | 14970 207 | 1 | 1 1648.70/1649.11 c 1648s | 21 | 17670401 | 1245445 | 14970 208 | 1 | 1 1650.71/1651.12 c 1651s | 21 | 17720843 | 1247245 | 14970 208 | 1 | 1 1652.70/1653.18 c 1653s | 21 | 17759314 | 1249245 | 14970 208 | 1 | 1 1654.80/1655.24 c 1655s | 21 | 17791771 | 1251045 | 14970 208 | 1 | 1 1656.90/1657.32 c 1657s | 21 | 17844509 | 1252845 | 14970 209 | 1 | 1 1659.00/1659.42 c 1659s | 21 | 17865743 | 1254645 | 14970 209 | 1 | 1 1661.00/1661.46 c 1661s | 21 | 17901484 | 1256445 | 14970 209 | 1 | 1 1663.00/1663.47 c 1663s | 21 | 17929410 | 1258345 | 14970 209 | 1 | 1 1665.00/1665.49 c 1665s | 21 | 17954531 | 1260045 | 14970 210 | 1 | 1 1667.10/1667.56 c 1667s | 21 | 17982321 | 1261845 | 14970 210 | 1 | 1 1669.20/1669.65 c 1669s | 21 | 18005496 | 1263745 | 14970 210 | 1 | 1 1671.30/1671.77 c 1671s | 21 | 18012608 | 1265245 | 14970 210 | 1 | 1 1673.40/1673.83 c 1673s | 21 | 18025259 | 1266845 | 14970 210 | 1 | 1 1676.01/1676.46 c 1676s | 21 | 18034777 | 1267445 | 14970 211 | 1 | 1 1678.10/1678.55 c 1678s | 21 | 18069795 | 1269345 | 14970 211 | 1 | 1 1680.10/1680.55 c 1680s | 21 | 18101087 | 1270745 | 14970 211 | 1 | 1 1682.10/1682.59 c 1682s | 21 | 18129175 | 1272345 | 14970 211 | 1 | 1 1684.20/1684.64 c 1684s | 21 | 18162178 | 1274145 | 14970 211 | 1 | 1 1686.20/1686.69 c 1686s | 21 | 18196323 | 1275745 | 14970 212 | 1 | 1 1688.30/1688.78 c 1688s | 21 | 18225082 | 1277545 | 14970 212 | 1 | 1 1690.31/1690.78 c 1690s | 21 | 18254680 | 1279145 | 14970 212 | 1 | 1 1692.30/1692.79 c 1692s | 21 | 18284913 | 1280745 | 14970 212 | 1 | 1 1694.40/1694.87 c 1694s | 21 | 18314729 | 1282345 | 14970 213 | 1 | 1 1696.50/1696.92 c 1696s | 21 | 18355564 | 1284245 | 14970 213 | 1 | 1 1698.50/1698.98 c 1698s | 21 | 18375512 | 1285945 | 14970 213 | 1 | 1 1700.50/1700.99 c 1700s | 21 | 18411637 | 1287745 | 14970 213 | 1 | 1 1702.60/1703.03 c 1702s | 21 | 18434218 | 1289445 | 14970 213 | 1 | 1 1704.70/1705.11 c 1704s | 21 | 18455749 | 1291145 | 14970 214 | 1 | 1 1706.70/1707.16 c 1707s | 21 | 18480186 | 1293045 | 14970 214 | 1 | 1 1708.90/1709.30 c 1709s | 21 | 18500148 | 1294645 | 14970 214 | 1 | 1 1711.00/1711.41 c 1711s | 21 | 18525453 | 1296345 | 14970 214 | 1 | 1 1713.00/1713.48 c 1713s | 21 | 18542580 | 1297845 | 14970 215 | 1 | 1 1715.10/1715.52 c 1715s | 21 | 18549396 | 1299345 | 14970 215 | 1 | 1 1717.49/1717.93 c 1717s | 21 | 18557487 | 1300545 | 14970 215 | 1 | 1 1719.49/1719.98 c 1719s | 21 | 18605714 | 1302345 | 14970 215 | 1 | 1 1721.59/1722.00 c 1721s | 21 | 18623517 | 1303545 | 14970 215 | 1 | 1 1723.59/1724.09 c 1723s | 21 | 18649528 | 1305045 | 14970 216 | 1 | 1 1725.69/1726.17 c 1726s | 21 | 18700331 | 1307145 | 14970 216 | 1 | 1 1727.70/1728.18 c 1728s | 21 | 18724198 | 1308845 | 14970 216 | 1 | 1 1729.79/1730.25 c 1730s | 21 | 18765671 | 1310845 | 14970 216 | 1 | 1 1731.89/1732.30 c 1732s | 21 | 18782951 | 1312545 | 14970 216 | 1 | 1 1733.99/1734.45 c 1734s | 21 | 18805183 | 1314345 | 14970 217 | 1 | 1 1736.09/1736.54 c 1736s | 21 | 18826008 | 1316345 | 14970 217 | 1 | 1 1738.09/1738.57 c 1738s | 21 | 18842470 | 1318245 | 14970 217 | 1 | 1 1740.19/1740.65 c 1740s | 21 | 18851181 | 1320045 | 14970 217 | 1 | 1 1742.19/1742.69 c 1742s | 21 | 18897561 | 1321645 | 14970 218 | 1 | 1 1744.30/1744.73 c 1744s | 21 | 18937230 | 1323645 | 14970 218 | 1 | 1 1746.29/1746.80 c 1746s | 21 | 18966708 | 1325545 | 14970 218 | 1 | 1 1748.49/1748.93 c 1748s | 21 | 18988880 | 1327145 | 14970 218 | 1 | 1 1750.59/1751.06 c 1750s | 21 | 19004668 | 1328645 | 14970 219 | 1 | 1 1752.59/1753.08 c 1752s | 21 | 19022154 | 1329845 | 14970 219 | 1 | 1 1754.69/1755.12 c 1755s | 21 | 19060089 | 1331545 | 14970 219 | 1 | 1 1756.69/1757.16 c 1757s | 21 | 19087503 | 1333445 | 14970 219 | 1 | 1 1758.69/1759.18 c 1759s | 21 | 19106255 | 1335145 | 14970 219 | 1 | 1 1760.79/1761.29 c 1761s | 21 | 19123837 | 1336545 | 14970 220 | 1 | 1 1762.89/1763.34 c 1763s | 21 | 19151122 | 1338445 | 14970 220 | 1 | 1 1764.88/1765.38 c 1765s | 21 | 19172616 | 1340245 | 14970 220 | 1 | 1 1766.98/1767.47 c 1767s | 21 | 19198497 | 1341745 | 14970 220 | 1 | 1 1769.08/1769.51 c 1769s | 21 | 19234046 | 1343245 | 14970 221 | 1 | 1 1771.18/1771.62 c 1771s | 21 | 19250242 | 1344945 | 14970 221 | 1 | 1 1773.28/1773.70 c 1773s | 21 | 19263174 | 1346745 | 14970 221 | 1 | 1 1775.28/1775.78 c 1775s | 21 | 19276936 | 1348545 | 14970 221 | 1 | 1 1777.48/1777.93 c 1777s | 21 | 19283622 | 1350145 | 14970 221 | 1 | 1 1779.58/1780.01 c 1779s | 21 | 19306864 | 1351745 | 14970 222 | 1 | 1 1781.59/1782.06 c 1781s | 21 | 19330799 | 1353545 | 14970 222 | 1 | 1 1783.68/1784.16 c 1784s | 21 | 19355018 | 1355145 | 14970 222 | 1 | 1 1785.78/1786.28 c 1786s | 21 | 19392271 | 1356845 | 14970 222 | 1 | 1 1787.89/1788.38 c 1788s | 21 | 19421997 | 1358445 | 14970 223 | 1 | 1 1789.99/1790.46 c 1790s | 21 | 19453051 | 1360245 | 14970 223 | 1 | 1 1792.09/1792.50 c 1792s | 21 | 19482451 | 1362245 | 14970 223 | 1 | 1 1794.09/1794.54 c 1794s | 21 | 19507877 | 1363945 | 14970 223 | 1 | 1 1796.19/1796.61 c 1796s | 21 | 19529319 | 1365745 | 14970 223 | 1 | 1 1798.29/1798.71 c 1798s | 21 | 19561318 | 1367645 | 14970 224 | 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-4106805-1466278587/watcher-4106805-1466278587 -o /tmp/evaluation-result-4106805-1466278587/solver-4106805-1466278587 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24754 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106805-1466278587.opb pid=25042 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.30 2.25 2.19 2/174 25045 /proc/meminfo: memFree=30236496/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=804284 CPUtime=0 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 3015 0 0 0 0 0 0 0 20 0 4 0 29905204 823586816 3375 33554432000 4194304 16246674 140736556768048 140736556767472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 201839 3384 441 2943 0 198733 0 [pid=25045/tid=25046] ppid=25042 vsize=822716 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 842461184 3446 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=826812 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 846655488 3462 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=830908 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29905204 850849792 3478 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100065 s] /proc/loadavg: 2.30 2.25 2.19 2/174 25045 /proc/meminfo: memFree=30236496/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 26328 0 0 0 6 3 0 0 20 0 4 0 29905204 1249447936 26654 33554432000 4194304 16246674 140736556768048 140736556751040 4224759 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 305041 26658 725 2943 0 301935 0 [pid=25045/tid=25046] ppid=25042 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1249447936 26661 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1249447936 26664 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29905204 1249447936 26667 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200452 s] /proc/loadavg: 2.30 2.25 2.19 2/174 25045 /proc/meminfo: memFree=30236496/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1222212 CPUtime=0.18 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 33248 0 0 0 14 4 0 0 20 0 4 0 29905204 1251545088 33574 33554432000 4194304 16246674 140736556768048 140736556767360 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 305553 33584 843 2943 0 302447 0 [pid=25045/tid=25046] ppid=25042 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1251545088 33591 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1251545088 33597 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1251545088 33604 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1222212 [startup+0.300428 s] /proc/loadavg: 2.30 2.25 2.19 2/174 25045 /proc/meminfo: memFree=30236496/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1222212 CPUtime=0.29 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 59676 0 0 0 21 8 0 0 20 0 4 0 29905204 1251545088 60001 33554432000 4194304 16246674 140736556768048 140736556767360 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 305553 60012 843 2943 0 302447 0 [pid=25045/tid=25046] ppid=25042 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1251545088 60018 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1251545088 60024 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1251545088 60030 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1222212 [startup+0.700398 s] /proc/loadavg: 2.30 2.25 2.19 2/174 25045 /proc/meminfo: memFree=30236496/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1222212 CPUtime=0.69 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 161371 0 0 0 48 21 0 0 20 0 4 0 29905204 1251545088 161697 33554432000 4194304 16246674 140736556768048 140736556749952 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 305553 161709 843 2943 0 302447 0 [pid=25045/tid=25046] ppid=25042 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1251545088 161715 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1251545088 161722 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1251545088 161732 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1222212 [startup+1.50043 s] /proc/loadavg: 2.30 2.25 2.19 3/183 25098 /proc/meminfo: memFree=28489600/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1301060 CPUtime=1.48 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 266263 0 0 0 114 34 0 0 20 0 4 0 29905204 1332285440 266588 33554432000 4194304 16246674 140736556768048 140736556749952 5717780 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 325265 266588 846 2943 0 322159 0 [pid=25045/tid=25046] ppid=25042 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1332285440 266588 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1332285440 266588 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1332285440 266588 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1301060 [startup+3.10043 s] /proc/loadavg: 2.30 2.25 2.19 3/183 25098 /proc/meminfo: memFree=28095256/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 267677 0 0 0 274 35 0 0 20 0 4 0 29905204 1338576896 268002 33554432000 4194304 16246674 140736556768048 140736556749952 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 326801 268002 849 2943 0 323695 0 [pid=25045/tid=25046] ppid=25042 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1338576896 268002 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1338576896 268002 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1338576896 268002 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30044 s] /proc/loadavg: 2.28 2.25 2.19 3/183 25098 /proc/meminfo: memFree=28094620/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 267698 0 0 0 594 35 0 0 20 0 4 0 29905204 1338576896 268023 33554432000 4194304 16246674 140736556768048 140736556749952 6012196 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 326801 268023 849 2943 0 323695 0 [pid=25045/tid=25046] ppid=25042 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1338576896 268023 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1338576896 268023 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1338576896 268023 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.25 2.25 2.19 3/183 25098 /proc/meminfo: memFree=28090204/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1307204 CPUtime=12.69 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 267897 0 0 0 1234 35 0 0 20 0 4 0 29905204 1338576896 268222 33554432000 4194304 16246674 140736556768048 140736556749952 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 326801 268222 852 2943 0 323695 0 [pid=25045/tid=25046] ppid=25042 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1338576896 268222 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1338576896 268222 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1338576896 268222 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.20 2.23 2.19 3/183 25098 /proc/meminfo: memFree=28085336/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1310276 CPUtime=25.48 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 268665 0 0 0 2513 35 0 0 20 0 4 0 29905204 1341722624 268990 33554432000 4194304 16246674 140736556768048 140736556749952 6021376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 327569 268990 852 2943 0 324463 0 [pid=25045/tid=25046] ppid=25042 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1341722624 268990 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1341722624 268990 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1341722624 268990 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 2.20 2.23 2.18 4/183 25098 /proc/meminfo: memFree=28071148/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1311300 CPUtime=51.08 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 268921 0 0 0 5073 35 0 0 20 0 4 0 29905204 1342771200 269246 33554432000 4194304 16246674 140736556768048 140736556749952 12474881 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 327825 269246 852 2943 0 324719 0 [pid=25045/tid=25046] ppid=25042 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1342771200 269246 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1342771200 269246 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1342771200 269246 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1311300 [startup+102.301 s] /proc/loadavg: 2.19 2.22 2.18 3/183 25099 /proc/meminfo: memFree=28068584/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1314372 CPUtime=102.28 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 269689 0 0 0 10192 36 0 0 20 0 4 0 29905204 1345916928 270014 33554432000 4194304 16246674 140736556768048 140736556749952 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 328593 270014 852 2943 0 325487 0 [pid=25045/tid=25046] ppid=25042 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1345916928 270014 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1345916928 270014 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1345916928 270014 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1314372 ################ # More data... # ################ /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1361645568 273858 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1329732 [startup+1362.3 s] /proc/loadavg: 2.29 2.28 2.21 3/183 25131 /proc/meminfo: memFree=28043016/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1329732 CPUtime=1361.95 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 273834 0 0 0 136146 49 0 0 20 0 4 0 29905204 1361645568 273858 33554432000 4194304 16246674 140736556768048 140736556749952 6845864 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 332433 273858 853 2943 0 329327 0 [pid=25045/tid=25046] ppid=25042 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1361645568 273858 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1361645568 273858 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1361645568 273858 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1329732 [startup+1422.3 s] /proc/loadavg: 2.26 2.27 2.20 3/184 25135 /proc/meminfo: memFree=28042520/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1329732 CPUtime=1421.95 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 273834 0 0 0 142146 49 0 0 20 0 4 0 29905204 1361645568 273858 33554432000 4194304 16246674 140736556768048 140736556749952 5669473 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 332433 273858 853 2943 0 329327 0 [pid=25045/tid=25046] ppid=25042 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1361645568 273858 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1361645568 273858 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1361645568 273858 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1329732 [startup+1482.3 s] /proc/loadavg: 2.28 2.27 2.20 3/184 25158 /proc/meminfo: memFree=28042136/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1329732 CPUtime=1481.93 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 273834 0 0 0 148143 50 0 0 20 0 4 0 29905204 1361645568 273858 33554432000 4194304 16246674 140736556768048 140736556749952 12483204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 332433 273858 853 2943 0 329327 0 [pid=25045/tid=25046] ppid=25042 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1361645568 273858 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1361645568 273858 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1361645568 273858 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1329732 [startup+1542.31 s] /proc/loadavg: 2.33 2.28 2.21 3/183 25159 /proc/meminfo: memFree=28040596/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1332804 CPUtime=1541.92 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 274602 0 0 0 154142 50 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 140736556749952 6011839 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 333201 274626 853 2943 0 330095 0 [pid=25045/tid=25046] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1332804 [startup+1602.3 s] /proc/loadavg: 2.34 2.29 2.21 3/183 25160 /proc/meminfo: memFree=28040372/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1332804 CPUtime=1601.91 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 274602 0 0 0 160140 51 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 140736556749952 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 333201 274626 853 2943 0 330095 0 [pid=25045/tid=25046] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1332804 [startup+1662.3 s] /proc/loadavg: 2.20 2.26 2.20 3/183 25162 /proc/meminfo: memFree=28040576/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1332804 CPUtime=1661.9 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 274602 0 0 0 166139 51 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 140736556749952 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 333201 274626 853 2943 0 330095 0 [pid=25045/tid=25046] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 1332804 [startup+1722.3 s] /proc/loadavg: 2.36 2.30 2.22 3/183 25163 /proc/meminfo: memFree=28040196/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1332804 CPUtime=1721.89 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 274602 0 0 0 172137 52 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 140736556749952 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 333201 274626 853 2943 0 330095 0 [pid=25045/tid=25046] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1332804 [startup+1782.3 s] /proc/loadavg: 2.35 2.30 2.22 3/183 25164 /proc/meminfo: memFree=28039976/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1332804 CPUtime=1781.88 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 274602 0 0 0 178136 52 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 140736556749952 5831907 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 333201 274626 853 2943 0 330095 0 [pid=25045/tid=25046] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 1332804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.25 2.28 2.22 3/183 25164 /proc/meminfo: memFree=28039820/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1332804 CPUtime=1800.09 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 274602 0 0 0 179956 53 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 140736556749952 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 333201 274626 853 2943 0 330095 0 [pid=25045/tid=25046] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1332804 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 25045 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.25 2.28 2.22 3/183 25164 /proc/meminfo: memFree=28039820/32872528 swapFree=1370848/1518016 [pid=25045] ppid=25042 vsize=1332804 CPUtime=1800.09 cores=1,3,5,7 /proc/25045/stat : 25045 (toysat) R 25042 25045 24737 0 -1 4202496 274602 0 0 0 179956 53 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 140736556749952 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25045/statm: 333201 274626 853 2943 0 330095 0 [pid=25045/tid=25046] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25046/stat : 25046 (toysat) S 25042 25045 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986728889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25045/tid=25047] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25047/stat : 25047 (toysat) S 25042 25045 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986718399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25045/tid=25048] ppid=25042 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/25045/task/25048/stat : 25048 (toysat) S 25042 25045 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905204 1364791296 274626 33554432000 4194304 16246674 140736556768048 139986707926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1332804 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.1 CPU user time (s): 1799.57 CPU system time (s): 0.530919 CPU usage (%): 99.9771 Max. virtual memory (cumulated for all children) (KiB): 1332804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.530919 maximum resident set size= 1098504 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274602 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= 324 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.96624 second user time and 7.02193 second system time The end
Begin job on node129 at 2016-06-18 21:36:27 IDJOB=4106805 IDBENCH=48266 IDSOLVER=2542 FILE ID=node129/4106805-1466278587 RUNJOBID= node129-1466274985-24754 PBS_JOBID= 19918243 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106805-1466278587/watcher-4106805-1466278587 -o /tmp/evaluation-result-4106805-1466278587/solver-4106805-1466278587 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24754 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106805-1466278587.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 996170804397234947041ed4d87d3aa0 RANDOM SEED=1288800324 node129.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.143 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.28 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.143 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.143 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.143 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.143 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.143 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.54 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.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30236876 kB Buffers: 160112 kB Cached: 214308 kB SwapCached: 1940 kB Active: 136344 kB Inactive: 244440 kB Active(anon): 7124 kB Inactive(anon): 1076 kB Active(file): 129220 kB Inactive(file): 243364 kB Unevictable: 1518016 kB Mlocked: 1370848 kB SwapTotal: 67108856 kB SwapFree: 67099228 kB Dirty: 16336 kB Writeback: 0 kB AnonPages: 1502092 kB Mapped: 7296 kB Shmem: 0 kB Slab: 603256 kB SReclaimable: 47408 kB SUnreclaim: 555848 kB KernelStack: 1480 kB PageTables: 7252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1636300 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 126976 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= 71704 MiB End job on node129 at 2016-06-18 22:06:28