| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-maros.opb |
| MD5SUM | 6803f1153be9bf743da46b6e6a13cfbf |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 12 |
| Best CPU time to get the best result obtained on this benchmark | 0.013997 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | YES |
| Number of variables | 90 |
| Total number of constraints | 6 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 15 |
| Maximum length of a constraint | 90 |
| Number of terms in the objective function | 90 |
| Biggest coefficient in the objective function | 168516 |
| Number of bits for the biggest coefficient in the objective function | 18 |
| Sum of the numbers in the objective function | 524354 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262133 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 524354 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T04:01:16+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-4100569-1466215276.opb"] 0.00/0.01 c use --random-gen="2517088199 1893608471 2874685961 2677774163 863978990 2169168450 3956780203 3445477849 3854824480 2455276775 3000069473 4228835055 1088126875 3716980273 2487757638 772776626 2538663826 3490005729 2063621421 3109802641 1119338279 354349483 3824750887 353031819 4202481760 3136600028 1027812097 1557218999 3668370002 666207048 2871248417 3916400218 18979127 3671340739 3748977680 4058140454 1207905714 1940555352 3420566787 912518648 3360983705 3328477297 1968486502 1095900893 2649446749 3254070066 2284108693 528861104 3102793692 4009697064 3843066401 3635807255 3989039631 1921773199 3982879608 1195216772 4234490190 589965455 675696211 1964810851 3103831619 665325400 782587918 2647585667 439642262 2996739252 433091759 280781392 1503373663 549147779 4047746736 2711384186 3929459805 3001649149 1397187521 3290718144 777595188 3464128076 3242672660 3568865965 1495382338 909040891 1448416842 3958211201 255716705 3576951818 154987440 610182500 2938773858 2173395468 1248685486 3887101445 389916527 422217716 3540996147 840744542 851492090 1706633300 936416007 3550352134 1725327981 597200657 1596271152 3756808048 608277868 1798476321 421913553 2194920544 3439737392 3347714774 2059386850 2695958548 436012787 3233000974 799062566 2319454049 805918741 1546194969 249192567 2675347701 678701585 1894037682 1485552983 3269435643 1391574400 2776930890 171429703 3838354528 659551337 1208239230 2409770577 1645332578 981311605 3767385756 1048740067 4169655583 1139487995 484460025 3011491043 3964764021 3985975735 2293253222 1244852925 908702745 1271271232 2644445998 3383143396 4209417632 2613377586 131009831 1317769229 521822115 1501913979 666992665 3963793364 1133906695 3436475437 2949601079 2904452466 1018935798 1046630374 264921170 1636225522 444545951 1770064264 2905210977 3144628941 67002126 422790214 4152116289 3904886130 2528584359 39663588 86381253 122843418 2001770624 1508364236 2332765013 375135642 2280705218 1557686517 186229451 384641781 2318520589 533700375 840965059 2942339243 3272460984 4241886235 101877116 2151563415 2834268857 4138091663 3552913082 657705076 4045783723 1931379794 1878276165 2371599495 3056224636 2581786320 2586819489 3588593313 612469549 3010063347 2800488738 2216522887 536899759 2918026886 3929624613 1687790601 2857218984 253947416 1534831280 1311477915 3421970879 3916922940 2808646823 4166706313 4199575446 799227787 3996326054 1953411453 2683459220 752417062 651547870 2837355734 2842860630 2700746192 2642373431 515803924 448772555 4124588379 3953953723 769418005 269589519 2777260273 3590880790 23786021 1333597828 489075502 2042867589 1992180857 3677506950 2145176585 2803584594 1883982999 3781930003 1651209404 3072045734 4233063317 1401399115 2780294704 648774628 4065075346 631790711 255 362436" option to reproduce the execution 0.00/0.01 c #vars 90 0.00/0.01 c #constraints 6 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 32 0 | 29 | 0 0.00/0.01 c 0.0s | 0 | 8 | 0 | 32 0 | 29 | 0 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 8 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 o 16 0.00/0.01 c BCD2: hardening fixes 27 literals 0.00/0.01 c BCD2: updating upper bound: 524354 -> 15 0.00/0.01 c BCD2: 0 <= obj <= 15 0.00/0.01 c BCD2: #cores=0, #unrelaxed=63, #relaxed=0, #hardened=27 0.00/0.01 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 32 0 | 29 | 0 0.00/0.01 c 0.0s | 0 | 48 | 0 | 32 0 | 29 | 0 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 48 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 48: cost of the new core is >=1 0.00/0.01 c lower bound updated to 1 0.00/0.01 c BCD2: 1 <= obj <= 15 0.00/0.01 c BCD2: #cores=1, #unrelaxed=15, #relaxed=48, #hardened=27 0.00/0.01 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 32 0 | 29 | 0 0.00/0.03 c 0.0s | 1 | 148 | 100 | 32 0 | 29 | 0 0.00/0.05 c 0.0s | 2 | 343 | 250 | 36 3 | 29 | 0 0.00/0.08 c 0.1s | 3 | 622 | 475 | 40 7 | 29 | 0 0.09/0.15 c 0.1s | 4 | 999 | 813 | 44 14 | 29 | 0 0.19/0.24 c 0.2s | 5 | 1545 | 1320 | 49 23 | 29 | 0 0.29/0.38 c 0.4s | 6 | 2332 | 2081 | 60 37 | 29 | 0 0.48/0.58 c 0.6s | 7 | 3513 | 3223 | 66 55 | 29 | 0 0.79/0.89 c 0.9s | 8 | 5253 | 4936 | 73 82 | 29 | 0 1.29/1.34 c 1.3s | 9 | 7921 | 7506 | 81 121 | 29 | 0 1.79/1.81 c 1.8s | 10 | 11809 | 11361 | 90 175 | 29 | 0 2.49/2.54 c 2.5s | 11 | 17644 | 17144 | 100 252 | 29 | 0 3.59/3.60 c 3.6s | 12 | 26474 | 25819 | 111 360 | 29 | 0 5.19/5.21 c 5.2s | 13 | 39521 | 38832 | 123 513 | 29 | 0 7.19/7.21 c 7.2s | 13 | 56189 | 55332 | 123 696 | 29 | 0 7.49/7.58 c 7.6s | 14 | 59212 | 58352 | 136 730 | 29 | 0 9.49/9.59 c 9.6s | 14 | 75829 | 74852 | 136 901 | 29 | 0 11.09/11.17 c 11.2s | 15 | 88614 | 87632 | 150 1034 | 29 | 0 13.09/13.18 c 13.2s | 15 | 104837 | 103832 | 150 1190 | 29 | 0 15.08/15.19 c 15.2s | 15 | 121045 | 120032 | 150 1347 | 29 | 0 16.59/16.62 c 16.6s | 16 | 132574 | 131552 | 165 1460 | 29 | 0 18.58/18.63 c 18.6s | 16 | 148757 | 147552 | 165 1603 | 29 | 0 20.58/20.64 c 20.6s | 16 | 164785 | 163552 | 165 1749 | 29 | 0 22.58/22.64 c 22.6s | 16 | 180684 | 179452 | 165 1894 | 29 | 0 24.58/24.64 c 24.6s | 16 | 196793 | 195552 | 165 2043 | 29 | 0 24.78/24.88 c 24.9s | 17 | 198676 | 197432 | 182 2059 | 29 | 0 26.79/26.88 c 26.9s | 17 | 214925 | 213632 | 182 2197 | 29 | 0 28.79/28.88 c 28.9s | 17 | 231651 | 230132 | 182 2340 | 29 | 0 30.79/30.89 c 30.9s | 17 | 248380 | 246832 | 182 2484 | 29 | 0 32.78/32.89 c 32.9s | 17 | 265015 | 263432 | 182 2628 | 29 | 0 34.88/34.90 c 34.9s | 17 | 280822 | 279232 | 182 2759 | 29 | 0 36.88/36.90 c 36.9s | 17 | 296520 | 294932 | 201 2888 | 29 | 0 36.98/37.07 c 37.1s | 18 | 297843 | 296252 | 201 2898 | 29 | 0 38.98/39.08 c 39.1s | 18 | 313106 | 311452 | 201 3016 | 29 | 0 40.98/41.08 c 41.1s | 18 | 329023 | 327352 | 201 3138 | 29 | 0 42.99/43.09 c 43.1s | 18 | 344925 | 343252 | 201 3263 | 29 | 0 44.98/45.10 c 45.1s | 18 | 361041 | 359352 | 201 3389 | 29 | 0 47.08/47.11 c 47.1s | 18 | 377460 | 375752 | 201 3521 | 29 | 0 49.08/49.12 c 49.1s | 18 | 393568 | 391852 | 201 3648 | 29 | 0 51.08/51.12 c 51.1s | 18 | 409559 | 407852 | 201 3773 | 29 | 0 53.08/53.14 c 53.1s | 18 | 425863 | 424152 | 201 3900 | 29 | 0 55.08/55.14 c 55.1s | 18 | 441971 | 440252 | 201 4028 | 29 | 0 55.58/55.69 c 55.7s | 19 | 446208 | 444482 | 222 4061 | 29 | 0 57.58/57.69 c 57.7s | 19 | 462317 | 460482 | 222 4180 | 29 | 0 59.68/59.71 c 59.7s | 19 | 477602 | 475782 | 222 4289 | 29 | 0 61.68/61.71 c 61.7s | 19 | 493107 | 491282 | 222 4401 | 29 | 0 63.67/63.72 c 63.7s | 19 | 508621 | 506782 | 222 4514 | 29 | 0 65.68/65.72 c 65.7s | 19 | 524523 | 522682 | 222 4631 | 29 | 0 67.68/67.72 c 67.7s | 19 | 540334 | 538482 | 222 4746 | 29 | 0 69.68/69.72 c 69.7s | 19 | 556121 | 554282 | 222 4860 | 29 | 0 71.68/71.73 c 71.7s | 19 | 572129 | 570282 | 222 4977 | 29 | 0 73.68/73.73 c 73.7s | 19 | 588145 | 586282 | 222 5095 | 29 | 0 75.68/75.74 c 75.7s | 19 | 603848 | 601982 | 222 5209 | 29 | 0 77.68/77.74 c 77.7s | 19 | 619750 | 617882 | 222 5325 | 29 | 0 79.68/79.74 c 79.7s | 19 | 635647 | 633782 | 222 5443 | 29 | 0 81.68/81.74 c 81.7s | 19 | 650862 | 648982 | 222 5554 | 29 | 0 83.68/83.76 c 83.7s | 19 | 666556 | 664682 | 245 5667 | 29 | 0 83.98/84.03 c 84.0s | 20 | 668693 | 666827 | 245 5682 | 29 | 0 85.97/86.04 c 86.0s | 20 | 684157 | 682127 | 245 5785 | 29 | 0 87.98/88.04 c 88.0s | 20 | 699666 | 697627 | 245 5891 | 29 | 0 89.97/90.04 c 90.0s | 20 | 715669 | 713627 | 245 6000 | 29 | 0 91.97/92.05 c 92.0s | 20 | 731373 | 729327 | 245 6106 | 29 | 0 93.97/94.05 c 94.0s | 20 | 747172 | 745127 | 245 6213 | 29 | 0 95.97/96.06 c 96.0s | 20 | 763391 | 761327 | 245 6323 | 29 | 0 97.98/98.07 c 98.1s | 20 | 779318 | 777227 | 245 6431 | 29 | 0 99.97/100.07 c 100s | 20 | 795548 | 793427 | 245 6542 | 29 | 0 101.97/102.09 c 102s | 20 | 811948 | 809827 | 245 6655 | 29 | 0 104.07/104.10 c 104s | 20 | 828581 | 826427 | 245 6771 | 29 | 0 106.07/106.11 c 106s | 20 | 845188 | 843027 | 245 6885 | 29 | 0 108.07/108.12 c 108s | 20 | 860992 | 858827 | 245 6990 | 29 | 0 110.07/110.12 c 110s | 20 | 876691 | 874527 | 245 7093 | 29 | 0 112.07/112.13 c 112s | 20 | 891887 | 889727 | 245 7194 | 29 | 0 114.07/114.14 c 114s | 20 | 906892 | 904727 | 245 7293 | 29 | 0 116.07/116.14 c 116s | 20 | 921693 | 919527 | 245 7393 | 29 | 0 118.07/118.15 c 118s | 20 | 937297 | 935127 | 245 7497 | 29 | 0 120.07/120.16 c 120s | 20 | 953092 | 950927 | 245 7603 | 29 | 0 122.08/122.17 c 122s | 20 | 968999 | 966827 | 245 7711 | 29 | 0 124.07/124.18 c 124s | 20 | 984801 | 982627 | 245 7819 | 29 | 0 126.07/126.19 c 126s | 20 | 1000910 | 998727 | 270 7926 | 29 | 0 126.27/126.39 c 126s | 21 | 1002524 | 1000345 | 270 7936 | 29 | 0 128.27/128.39 c 128s | 21 | 1017862 | 1015545 | 270 8030 | 29 | 0 130.37/130.40 c 130s | 21 | 1033506 | 1031045 | 270 8128 | 29 | 0 132.37/132.41 c 132s | 21 | 1049536 | 1046845 | 270 8229 | 29 | 0 134.37/134.41 c 134s | 21 | 1064335 | 1061645 | 270 8319 | 29 | 0 136.38/136.42 c 136s | 21 | 1079535 | 1076845 | 270 8412 | 29 | 0 138.37/138.42 c 138s | 21 | 1094634 | 1091945 | 270 8505 | 29 | 0 140.37/140.43 c 140s | 21 | 1110155 | 1107445 | 270 8601 | 29 | 0 142.37/142.43 c 142s | 21 | 1125247 | 1122545 | 270 8695 | 29 | 0 144.36/144.44 c 144s | 21 | 1140659 | 1137945 | 270 8789 | 29 | 0 146.37/146.45 c 146s | 21 | 1155963 | 1153245 | 270 8884 | 29 | 0 148.36/148.46 c 148s | 21 | 1171694 | 1168945 | 270 8982 | 29 | 0 150.36/150.46 c 150s | 21 | 1186994 | 1184245 | 270 9077 | 29 | 0 152.36/152.46 c 152s | 21 | 1202002 | 1199245 | 270 9170 | 29 | 0 154.37/154.47 c 154s | 21 | 1217303 | 1214545 | 270 9264 | 29 | 0 156.37/156.47 c 156s | 21 | 1232605 | 1229845 | 270 9360 | 29 | 0 158.37/158.47 c 158s | 21 | 1248606 | 1245845 | 270 9459 | 29 | 0 160.37/160.47 c 160s | 21 | 1263511 | 1260745 | 270 9551 | 29 | 0 162.37/162.48 c 162s | 21 | 1278510 | 1275745 | 270 9644 | 29 | 0 164.37/164.49 c 164s | 21 | 1293714 | 1290945 | 270 9739 | 29 | 0 166.46/166.50 c 166s | 21 | 1309034 | 1306245 | 270 9836 | 29 | 0 168.46/168.50 c 168s | 21 | 1324402 | 1321445 | 270 9932 | 29 | 0 170.36/170.50 c 170s | 21 | 1339393 | 1336445 | 270 10025 | 29 | 0 172.46/172.51 c 172s | 21 | 1354700 | 1351745 | 270 10121 | 29 | 0 174.46/174.51 c 174s | 21 | 1370309 | 1367345 | 270 10221 | 29 | 0 176.46/176.52 c 176s | 21 | 1386236 | 1383245 | 270 10322 | 29 | 0 178.46/178.52 c 178s | 21 | 1401983 | 1398945 | 270 10422 | 29 | 0 180.47/180.53 c 180s | 21 | 1418214 | 1415145 | 270 10527 | 29 | 0 182.46/182.53 c 182s | 21 | 1433423 | 1430345 | 270 10621 | 29 | 0 184.46/184.54 c 184s | 21 | 1448926 | 1445845 | 270 10716 | 29 | 0 186.46/186.54 c 186s | 21 | 1463819 | 1460745 | 270 10807 | 29 | 0 188.46/188.55 c 188s | 21 | 1478628 | 1475545 | 270 10897 | 29 | 0 190.46/190.57 c 190s | 21 | 1493723 | 1490645 | 297 10990 | 29 | 0 191.85/191.91 c 191s | 22 | 1503704 | 1500622 | 297 11047 | 29 | 0 193.85/193.92 c 193s | 22 | 1518936 | 1515822 | 297 11133 | 29 | 0 195.86/195.92 c 195s | 22 | 1534161 | 1531022 | 297 11219 | 29 | 0 197.85/197.92 c 197s | 22 | 1550172 | 1546722 | 297 11308 | 29 | 0 199.85/199.92 c 199s | 22 | 1565834 | 1562222 | 297 11395 | 29 | 0 201.85/201.93 c 201s | 22 | 1580849 | 1577222 | 297 11481 | 29 | 0 203.86/203.93 c 203s | 22 | 1596060 | 1592422 | 297 11567 | 29 | 0 205.86/205.93 c 205s | 22 | 1611567 | 1607922 | 297 11655 | 29 | 0 207.87/207.94 c 207s | 22 | 1626464 | 1622822 | 297 11739 | 29 | 0 209.86/209.95 c 209s | 22 | 1641680 | 1638022 | 297 11825 | 29 | 0 211.86/211.96 c 211s | 22 | 1657185 | 1653222 | 297 11912 | 29 | 0 213.86/213.97 c 213s | 22 | 1672293 | 1668322 | 297 11998 | 29 | 0 215.86/215.98 c 215s | 22 | 1687804 | 1683822 | 297 12087 | 29 | 0 217.86/217.99 c 217s | 22 | 1703727 | 1699722 | 297 12177 | 29 | 0 219.86/219.99 c 219s | 22 | 1719237 | 1715222 | 297 12266 | 29 | 0 221.96/222.00 c 221s | 22 | 1734836 | 1730722 | 297 12355 | 29 | 0 223.96/224.01 c 223s | 22 | 1750506 | 1746222 | 297 12444 | 29 | 0 225.96/226.02 c 226s | 22 | 1766002 | 1761622 | 297 12533 | 29 | 0 227.96/228.03 c 228s | 22 | 1781870 | 1777222 | 297 12624 | 29 | 0 229.96/230.03 c 230s | 22 | 1797845 | 1793022 | 297 12715 | 29 | 0 231.95/232.05 c 232s | 22 | 1813757 | 1808922 | 297 12807 | 29 | 0 233.95/234.05 c 234s | 22 | 1829357 | 1824522 | 297 12898 | 29 | 0 235.95/236.05 c 236s | 22 | 1845132 | 1840222 | 297 12990 | 29 | 0 237.95/238.05 c 238s | 22 | 1861248 | 1856322 | 297 13085 | 29 | 0 239.95/240.06 c 240s | 22 | 1875848 | 1870922 | 297 13167 | 29 | 0 241.96/242.06 c 242s | 22 | 1890576 | 1885522 | 297 13250 | 29 | 0 243.95/244.07 c 244s | 22 | 1904874 | 1899822 | 297 13330 | 29 | 0 245.95/246.08 c 246s | 22 | 1919282 | 1914222 | 297 13413 | 29 | 0 247.95/248.09 c 248s | 22 | 1933891 | 1928822 | 297 13497 | 29 | 0 249.95/250.10 c 250s | 22 | 1948892 | 1943822 | 297 13582 | 29 | 0 252.05/252.10 c 252s | 22 | 1964594 | 1959522 | 297 13671 | 29 | 0 254.06/254.11 c 254s | 22 | 1980194 | 1975122 | 297 13759 | 29 | 0 256.05/256.11 c 256s | 22 | 1995605 | 1990522 | 297 13847 | 29 | 0 258.05/258.12 c 258s | 22 | 2011000 | 2005922 | 297 13936 | 29 | 0 260.05/260.13 c 260s | 22 | 2026400 | 2021322 | 297 14024 | 29 | 0 262.05/262.14 c 262s | 22 | 2041709 | 2036622 | 297 14112 | 29 | 0 264.06/264.14 c 264s | 22 | 2057334 | 2052222 | 297 14203 | 29 | 0 266.05/266.14 c 266s | 22 | 2072743 | 2067622 | 297 14293 | 29 | 0 268.05/268.15 c 268s | 22 | 2087342 | 2082222 | 297 14376 | 29 | 0 270.05/270.15 c 270s | 22 | 2102051 | 2096922 | 297 14460 | 29 | 0 272.05/272.17 c 272s | 22 | 2116948 | 2111822 | 297 14545 | 29 | 0 274.04/274.18 c 274s | 22 | 2131864 | 2126722 | 297 14629 | 29 | 0 276.05/276.18 c 276s | 22 | 2147085 | 2141922 | 297 14715 | 29 | 0 278.04/278.19 c 278s | 22 | 2162096 | 2156922 | 297 14801 | 29 | 0 280.04/280.19 c 280s | 22 | 2177441 | 2172122 | 297 14889 | 29 | 0 282.04/282.19 c 282s | 22 | 2192677 | 2187322 | 297 14977 | 29 | 0 284.14/284.20 c 284s | 22 | 2207949 | 2202522 | 297 15065 | 29 | 0 286.14/286.21 c 286s | 22 | 2223547 | 2218122 | 297 15155 | 29 | 0 288.15/288.22 c 288s | 22 | 2239447 | 2234022 | 297 15248 | 29 | 0 290.15/290.22 c 290s | 22 | 2254548 | 2249122 | 327 15327 | 29 | 0 290.35/290.48 c 290s | 23 | 2256459 | 2251038 | 327 15337 | 29 | 0 292.35/292.49 c 292s | 23 | 2271131 | 2265638 | 327 15413 | 29 | 0 294.35/294.49 c 294s | 23 | 2285542 | 2280038 | 327 15489 | 29 | 0 296.35/296.49 c 296s | 23 | 2300150 | 2294638 | 327 15565 | 29 | 0 298.45/298.50 c 298s | 23 | 2314851 | 2309338 | 327 15643 | 29 | 0 300.45/300.50 c 300s | 23 | 2329149 | 2323638 | 327 15718 | 29 | 0 302.45/302.51 c 302s | 23 | 2344160 | 2338638 | 327 15797 | 29 | 0 304.44/304.51 c 304s | 23 | 2359157 | 2353638 | 327 15875 | 29 | 0 306.44/306.52 c 306s | 23 | 2374159 | 2368638 | 327 15955 | 29 | 0 308.44/308.53 c 308s | 23 | 2389472 | 2383938 | 327 16038 | 29 | 0 310.44/310.53 c 310s | 23 | 2404433 | 2398838 | 327 16116 | 29 | 0 312.44/312.54 c 312s | 23 | 2420232 | 2414438 | 327 16197 | 29 | 0 314.44/314.55 c 314s | 23 | 2436575 | 2430338 | 327 16280 | 29 | 0 316.44/316.56 c 316s | 23 | 2452819 | 2446138 | 327 16363 | 29 | 0 318.44/318.56 c 318s | 23 | 2468350 | 2461638 | 327 16445 | 29 | 0 320.43/320.57 c 320s | 23 | 2484080 | 2477238 | 327 16527 | 29 | 0 322.44/322.58 c 322s | 23 | 2499077 | 2492138 | 327 16605 | 29 | 0 324.45/324.59 c 324s | 23 | 2513964 | 2506938 | 327 16683 | 29 | 0 326.54/326.60 c 326s | 23 | 2528957 | 2521838 | 327 16762 | 29 | 0 328.54/328.61 c 328s | 23 | 2543463 | 2536338 | 327 16839 | 29 | 0 330.54/330.61 c 330s | 23 | 2558174 | 2551038 | 327 16916 | 29 | 0 332.54/332.62 c 332s | 23 | 2573087 | 2565938 | 327 16995 | 29 | 0 334.54/334.62 c 334s | 23 | 2587967 | 2580738 | 327 17074 | 29 | 0 336.54/336.63 c 336s | 23 | 2603290 | 2596038 | 327 17156 | 29 | 0 338.53/338.64 c 338s | 23 | 2618498 | 2611238 | 327 17236 | 29 | 0 340.53/340.65 c 340s | 23 | 2633517 | 2626238 | 327 17315 | 29 | 0 342.53/342.66 c 342s | 23 | 2647810 | 2640538 | 327 17390 | 29 | 0 344.53/344.67 c 344s | 23 | 2662014 | 2654738 | 327 17464 | 29 | 0 346.55/346.68 c 346s | 23 | 2676002 | 2668738 | 327 17538 | 29 | 0 348.54/348.68 c 348s | 23 | 2690113 | 2682838 | 327 17613 | 29 | 0 350.54/350.69 c 350s | 23 | 2704713 | 2697438 | 327 17690 | 29 | 0 352.54/352.69 c 352s | 23 | 2719324 | 2712038 | 327 17768 | 29 | 0 354.64/354.71 c 354s | 23 | 2734433 | 2727138 | 327 17849 | 29 | 0 356.63/356.71 c 356s | 23 | 2749142 | 2741838 | 327 17927 | 29 | 0 358.64/358.72 c 358s | 23 | 2764551 | 2757238 | 327 18009 | 29 | 0 360.63/360.73 c 360s | 23 | 2779748 | 2772438 | 327 18089 | 29 | 0 362.63/362.73 c 362s | 23 | 2794920 | 2787538 | 327 18170 | 29 | 0 364.63/364.74 c 364s | 23 | 2810421 | 2803038 | 327 18252 | 29 | 0 366.63/366.74 c 366s | 23 | 2825436 | 2818038 | 327 18333 | 29 | 0 368.63/368.75 c 368s | 23 | 2840552 | 2833038 | 327 18413 | 29 | 0 370.63/370.75 c 370s | 23 | 2855564 | 2848038 | 327 18494 | 29 | 0 372.63/372.76 c 372s | 23 | 2870761 | 2863238 | 327 18576 | 29 | 0 374.63/374.76 c 374s | 23 | 2886414 | 2878838 | 327 18660 | 29 | 0 376.63/376.77 c 376s | 23 | 2902022 | 2894438 | 327 18745 | 29 | 0 378.63/378.77 c 378s | 23 | 2917223 | 2909638 | 327 18827 | 29 | 0 380.64/380.77 c 380s | 23 | 2932329 | 2924738 | 327 18906 | 29 | 0 382.63/382.78 c 382s | 23 | 2946835 | 2939238 | 327 18982 | 29 | 0 384.63/384.79 c 384s | 23 | 2961436 | 2953838 | 327 19060 | 29 | 0 386.63/386.79 c 386s | 23 | 2975941 | 2968338 | 327 19137 | 29 | 0 388.73/388.80 c 388s | 23 | 2990642 | 2983038 | 327 19216 | 29 | 0 390.73/390.80 c 390s | 23 | 3005880 | 2998238 | 327 19298 | 29 | 0 392.64/392.80 c 392s | 23 | 3021142 | 3013438 | 327 19379 | 29 | 0 394.73/394.81 c 394s | 23 | 3035941 | 3028238 | 327 19458 | 29 | 0 396.73/396.82 c 396s | 23 | 3050862 | 3043138 | 327 19538 | 29 | 0 398.73/398.82 c 398s | 23 | 3065676 | 3057938 | 327 19618 | 29 | 0 400.73/400.83 c 400s | 23 | 3080757 | 3072938 | 327 19699 | 29 | 0 402.73/402.84 c 402s | 23 | 3095845 | 3087938 | 327 19779 | 29 | 0 404.74/404.84 c 404s | 23 | 3111119 | 3102938 | 327 19860 | 29 | 0 406.73/406.86 c 406s | 23 | 3126562 | 3118338 | 327 19944 | 29 | 0 408.73/408.86 c 408s | 23 | 3141370 | 3133138 | 327 20024 | 29 | 0 410.73/410.86 c 410s | 23 | 3156281 | 3148038 | 327 20104 | 29 | 0 412.73/412.86 c 412s | 23 | 3171198 | 3162838 | 327 20183 | 29 | 0 414.73/414.87 c 414s | 23 | 3186473 | 3177938 | 327 20265 | 29 | 0 416.73/416.87 c 416s | 23 | 3201641 | 3193038 | 327 20346 | 29 | 0 418.73/418.87 c 418s | 23 | 3216756 | 3208138 | 327 20426 | 29 | 0 420.73/420.88 c 420s | 23 | 3232053 | 3223438 | 327 20509 | 29 | 0 422.72/422.88 c 422s | 23 | 3247484 | 3238838 | 327 20592 | 29 | 0 424.72/424.88 c 424s | 23 | 3262678 | 3254038 | 327 20674 | 29 | 0 426.73/426.89 c 426s | 23 | 3278196 | 3269538 | 327 20758 | 29 | 0 428.82/428.90 c 428s | 23 | 3293199 | 3284538 | 327 20839 | 29 | 0 430.82/430.91 c 430s | 23 | 3308595 | 3299938 | 327 20922 | 29 | 0 432.82/432.92 c 432s | 23 | 3324478 | 3315538 | 327 21007 | 29 | 0 434.82/434.92 c 434s | 23 | 3340140 | 3331138 | 327 21093 | 29 | 0 436.82/436.93 c 436s | 23 | 3355873 | 3346638 | 327 21176 | 29 | 0 438.83/438.94 c 438s | 23 | 3370874 | 3361638 | 360 21252 | 29 | 0 440.82/440.90 c 440s | 24 | 3385995 | 3376662 | 360 21327 | 29 | 0 442.82/442.90 c 442s | 24 | 3401294 | 3391762 | 360 21401 | 29 | 0 444.82/444.90 c 444s | 24 | 3415886 | 3406362 | 360 21471 | 29 | 0 446.82/446.91 c 446s | 24 | 3430490 | 3420962 | 360 21541 | 29 | 0 448.82/448.92 c 448s | 24 | 3444987 | 3435462 | 360 21611 | 29 | 0 450.81/450.93 c 450s | 24 | 3460130 | 3450462 | 360 21684 | 29 | 0 452.82/452.93 c 452s | 24 | 3474727 | 3465062 | 360 21756 | 29 | 0 454.82/454.94 c 454s | 24 | 3489140 | 3479462 | 360 21825 | 29 | 0 456.82/456.94 c 456s | 24 | 3503935 | 3494262 | 360 21896 | 29 | 0 458.82/458.94 c 458s | 24 | 3518543 | 3508862 | 360 21968 | 29 | 0 460.83/460.94 c 460s | 24 | 3533629 | 3523762 | 360 22040 | 29 | 0 462.82/462.94 c 462s | 24 | 3548126 | 3538262 | 360 22110 | 29 | 0 464.82/464.95 c 464s | 24 | 3562629 | 3552762 | 360 22180 | 29 | 0 466.82/466.96 c 466s | 24 | 3577439 | 3567562 | 360 22252 | 29 | 0 468.82/468.97 c 468s | 24 | 3592259 | 3582362 | 360 22325 | 29 | 0 470.82/470.97 c 470s | 24 | 3606364 | 3596462 | 360 22394 | 29 | 0 472.82/472.98 c 472s | 24 | 3620967 | 3611062 | 360 22464 | 29 | 0 474.81/474.98 c 474s | 24 | 3635268 | 3625362 | 360 22534 | 29 | 0 476.81/476.99 c 476s | 24 | 3649868 | 3639962 | 360 22604 | 29 | 0 478.81/478.99 c 478s | 24 | 3664688 | 3654762 | 360 22677 | 29 | 0 480.81/481.00 c 480s | 24 | 3679393 | 3669462 | 360 22749 | 29 | 0 482.82/483.00 c 482s | 24 | 3693974 | 3683962 | 360 22819 | 29 | 0 484.91/485.00 c 484s | 24 | 3708469 | 3698462 | 360 22891 | 29 | 0 486.91/487.01 c 486s | 24 | 3724066 | 3713762 | 360 22966 | 29 | 0 488.91/489.02 c 489s | 24 | 3739419 | 3728862 | 360 23041 | 29 | 0 490.91/491.02 c 491s | 24 | 3755241 | 3744262 | 360 23118 | 29 | 0 492.91/493.02 c 493s | 24 | 3771184 | 3759862 | 360 23197 | 29 | 0 494.92/495.03 c 495s | 24 | 3785704 | 3774362 | 360 23266 | 29 | 0 496.91/497.04 c 497s | 24 | 3800401 | 3789062 | 360 23336 | 29 | 0 498.91/499.04 c 499s | 24 | 3814803 | 3803462 | 360 23405 | 29 | 0 500.91/501.04 c 501s | 24 | 3828707 | 3817362 | 360 23472 | 29 | 0 502.91/503.05 c 503s | 24 | 3843318 | 3831962 | 360 23541 | 29 | 0 504.92/505.05 c 505s | 24 | 3857614 | 3846262 | 360 23610 | 29 | 0 506.91/507.06 c 507s | 24 | 3871818 | 3860462 | 360 23678 | 29 | 0 508.91/509.06 c 509s | 24 | 3886493 | 3875062 | 360 23748 | 29 | 0 510.91/511.07 c 511s | 24 | 3900696 | 3889262 | 360 23816 | 29 | 0 512.91/513.08 c 513s | 24 | 3915049 | 3903562 | 360 23885 | 29 | 0 514.91/515.09 c 515s | 24 | 3929545 | 3918062 | 360 23956 | 29 | 0 516.91/517.09 c 517s | 24 | 3944374 | 3932762 | 360 24027 | 29 | 0 519.01/519.10 c 519s | 24 | 3958895 | 3947262 | 360 24098 | 29 | 0 521.00/521.11 c 521s | 24 | 3973691 | 3962062 | 360 24170 | 29 | 0 523.00/523.12 c 523s | 24 | 3988508 | 3976862 | 360 24243 | 29 | 0 525.00/525.13 c 525s | 24 | 4003222 | 3991562 | 360 24314 | 29 | 0 527.01/527.14 c 527s | 24 | 4017313 | 4005662 | 360 24382 | 29 | 0 529.02/529.14 c 529s | 24 | 4031216 | 4019562 | 360 24449 | 29 | 0 531.01/531.16 c 531s | 24 | 4045220 | 4033562 | 360 24517 | 29 | 0 533.01/533.16 c 533s | 24 | 4059523 | 4047762 | 360 24587 | 29 | 0 535.01/535.16 c 535s | 24 | 4073583 | 4061762 | 360 24655 | 29 | 0 537.01/537.16 c 537s | 24 | 4087583 | 4075762 | 360 24722 | 29 | 0 539.02/539.16 c 539s | 24 | 4102193 | 4090362 | 360 24792 | 29 | 0 541.01/541.17 c 541s | 24 | 4116083 | 4104262 | 360 24859 | 29 | 0 543.01/543.18 c 543s | 24 | 4129986 | 4118162 | 360 24926 | 29 | 0 545.01/545.18 c 545s | 24 | 4143592 | 4131762 | 360 24992 | 29 | 0 547.00/547.19 c 547s | 24 | 4157993 | 4146162 | 360 25061 | 29 | 0 549.10/549.20 c 549s | 24 | 4172486 | 4160662 | 360 25131 | 29 | 0 551.11/551.20 c 551s | 24 | 4186990 | 4175162 | 360 25202 | 29 | 0 553.10/553.21 c 553s | 24 | 4201906 | 4189862 | 360 25274 | 29 | 0 555.10/555.21 c 555s | 24 | 4216459 | 4204362 | 360 25345 | 29 | 0 557.10/557.22 c 557s | 24 | 4230652 | 4218562 | 360 25413 | 29 | 0 559.10/559.23 c 559s | 24 | 4245448 | 4233262 | 360 25485 | 29 | 0 561.10/561.24 c 561s | 24 | 4260281 | 4248062 | 360 25557 | 29 | 0 563.11/563.25 c 563s | 24 | 4274894 | 4262662 | 360 25628 | 29 | 0 565.10/565.26 c 565s | 24 | 4289194 | 4276962 | 360 25698 | 29 | 0 567.10/567.27 c 567s | 24 | 4303924 | 4291662 | 360 25769 | 29 | 0 569.10/569.28 c 569s | 24 | 4319100 | 4306662 | 360 25843 | 29 | 0 571.10/571.29 c 571s | 24 | 4334001 | 4321562 | 360 25915 | 29 | 0 573.20/573.30 c 573s | 24 | 4348601 | 4336162 | 360 25987 | 29 | 0 575.20/575.31 c 575s | 24 | 4363301 | 4350862 | 360 26060 | 29 | 0 577.20/577.32 c 577s | 24 | 4378246 | 4365662 | 360 26133 | 29 | 0 579.20/579.33 c 579s | 24 | 4393373 | 4380762 | 360 26207 | 29 | 0 581.19/581.34 c 581s | 24 | 4408735 | 4396062 | 360 26283 | 29 | 0 583.19/583.34 c 583s | 24 | 4423892 | 4411062 | 360 26358 | 29 | 0 585.20/585.34 c 585s | 24 | 4439256 | 4426362 | 360 26434 | 29 | 0 587.20/587.35 c 587s | 24 | 4454064 | 4441162 | 360 26506 | 29 | 0 589.20/589.36 c 589s | 24 | 4468658 | 4455762 | 360 26576 | 29 | 0 591.20/591.36 c 591s | 24 | 4482556 | 4469662 | 360 26643 | 29 | 0 593.20/593.37 c 593s | 24 | 4496565 | 4483662 | 360 26711 | 29 | 0 595.20/595.38 c 595s | 24 | 4510661 | 4497762 | 360 26779 | 29 | 0 597.21/597.38 c 597s | 24 | 4524853 | 4511962 | 360 26848 | 29 | 0 599.20/599.39 c 599s | 24 | 4539561 | 4526662 | 360 26921 | 29 | 0 601.20/601.39 c 601s | 24 | 4553865 | 4540962 | 360 26991 | 29 | 0 603.20/603.40 c 603s | 24 | 4568362 | 4555462 | 360 27062 | 29 | 0 605.30/605.40 c 605s | 24 | 4583171 | 4570162 | 360 27135 | 29 | 0 607.30/607.40 c 607s | 24 | 4597668 | 4584662 | 360 27206 | 29 | 0 609.30/609.41 c 609s | 24 | 4612713 | 4599562 | 360 27280 | 29 | 0 611.30/611.42 c 611s | 24 | 4627672 | 4614462 | 360 27354 | 29 | 0 613.29/613.43 c 613s | 24 | 4642813 | 4629562 | 360 27428 | 29 | 0 615.29/615.43 c 615s | 24 | 4658020 | 4644762 | 360 27503 | 29 | 0 617.29/617.44 c 617s | 24 | 4673223 | 4659962 | 360 27579 | 29 | 0 619.30/619.45 c 619s | 24 | 4688337 | 4675062 | 360 27653 | 29 | 0 621.29/621.46 c 621s | 24 | 4703489 | 4690162 | 360 27727 | 29 | 0 623.29/623.47 c 623s | 24 | 4717893 | 4704562 | 360 27797 | 29 | 0 625.29/625.48 c 625s | 24 | 4732191 | 4718862 | 360 27867 | 29 | 0 627.29/627.49 c 627s | 24 | 4747198 | 4733862 | 360 27940 | 29 | 0 629.39/629.50 c 629s | 24 | 4761802 | 4748462 | 360 28012 | 29 | 0 631.40/631.50 c 631s | 24 | 4776473 | 4763062 | 360 28084 | 29 | 0 633.39/633.51 c 633s | 24 | 4790963 | 4777562 | 360 28155 | 29 | 0 635.39/635.51 c 635s | 24 | 4806065 | 4792662 | 360 28230 | 29 | 0 637.39/637.51 c 637s | 24 | 4820868 | 4807462 | 360 28302 | 29 | 0 639.39/639.51 c 639s | 24 | 4835871 | 4822462 | 360 28376 | 29 | 0 641.40/641.52 c 641s | 24 | 4851062 | 4837562 | 360 28451 | 29 | 0 643.40/643.52 c 643s | 24 | 4866501 | 4852862 | 360 28527 | 29 | 0 645.39/645.53 c 645s | 24 | 4880696 | 4867062 | 360 28596 | 29 | 0 647.39/647.53 c 647s | 24 | 4894796 | 4881162 | 360 28665 | 29 | 0 649.39/649.54 c 649s | 24 | 4909000 | 4895362 | 360 28735 | 29 | 0 651.39/651.54 c 651s | 24 | 4923603 | 4909962 | 360 28807 | 29 | 0 653.40/653.55 c 653s | 24 | 4938002 | 4924362 | 360 28878 | 29 | 0 655.39/655.56 c 655s | 24 | 4953068 | 4939362 | 360 28952 | 29 | 0 657.39/657.57 c 657s | 24 | 4967886 | 4954162 | 360 29026 | 29 | 0 659.39/659.58 c 659s | 24 | 4982987 | 4969262 | 360 29101 | 29 | 0 661.39/661.59 c 661s | 24 | 4998296 | 4984562 | 360 29178 | 29 | 0 663.49/663.60 c 663s | 24 | 5013406 | 4999662 | 360 29251 | 29 | 0 665.39/665.60 c 665s | 24 | 5028201 | 5014462 | 360 29324 | 29 | 0 667.49/667.60 c 667s | 24 | 5043309 | 5029562 | 397 29398 | 29 | 0 669.49/669.60 c 669s | 24 | 5058215 | 5044462 | 397 29465 | 29 | 0 671.49/671.60 c 671s | 24 | 5072717 | 5058962 | 397 29530 | 29 | 0 672.29/672.43 c 672s | 25 | 5078851 | 5065098 | 397 29558 | 29 | 0 674.29/674.44 c 674s | 25 | 5093227 | 5079398 | 397 29622 | 29 | 0 676.28/676.44 c 676s | 25 | 5107833 | 5093998 | 397 29689 | 29 | 0 678.28/678.45 c 678s | 25 | 5122253 | 5108398 | 397 29753 | 29 | 0 680.28/680.46 c 680s | 25 | 5136939 | 5122898 | 397 29818 | 29 | 0 682.28/682.47 c 682s | 25 | 5151636 | 5137598 | 397 29883 | 29 | 0 684.28/684.48 c 684s | 25 | 5165853 | 5151798 | 397 29946 | 29 | 0 686.29/686.48 c 686s | 25 | 5180356 | 5166198 | 397 30011 | 29 | 0 688.28/688.48 c 688s | 25 | 5195091 | 5180898 | 397 30077 | 29 | 0 690.28/690.49 c 690s | 25 | 5209721 | 5195498 | 397 30142 | 29 | 0 692.38/692.50 c 692s | 25 | 5224638 | 5210398 | 397 30210 | 29 | 0 694.39/694.51 c 694s | 25 | 5239459 | 5225198 | 397 30276 | 29 | 0 696.39/696.51 c 696s | 25 | 5254010 | 5239698 | 397 30340 | 29 | 0 698.39/698.52 c 698s | 25 | 5269090 | 5254498 | 397 30406 | 29 | 0 700.38/700.52 c 700s | 25 | 5283112 | 5268498 | 397 30469 | 29 | 0 702.38/702.53 c 702s | 25 | 5297422 | 5282798 | 397 30533 | 29 | 0 704.38/704.53 c 704s | 25 | 5312151 | 5297498 | 397 30598 | 29 | 0 706.38/706.54 c 706s | 25 | 5327139 | 5312398 | 397 30665 | 29 | 0 708.39/708.54 c 708s | 25 | 5342157 | 5327298 | 397 30732 | 29 | 0 710.38/710.54 c 710s | 25 | 5357383 | 5342298 | 397 30800 | 29 | 0 712.38/712.55 c 712s | 25 | 5373030 | 5357598 | 397 30869 | 29 | 0 714.38/714.55 c 714s | 25 | 5388131 | 5372498 | 397 30936 | 29 | 0 716.38/716.56 c 716s | 25 | 5403112 | 5387298 | 397 31003 | 29 | 0 718.38/718.56 c 718s | 25 | 5417838 | 5401898 | 397 31069 | 29 | 0 720.38/720.56 c 720s | 25 | 5432703 | 5416598 | 397 31136 | 29 | 0 722.37/722.57 c 722s | 25 | 5447934 | 5431598 | 397 31204 | 29 | 0 724.37/724.57 c 724s | 25 | 5463199 | 5446598 | 397 31273 | 29 | 0 726.37/726.58 c 726s | 25 | 5478548 | 5461698 | 397 31342 | 29 | 0 728.37/728.58 c 728s | 25 | 5493879 | 5476698 | 397 31411 | 29 | 0 730.37/730.59 c 730s | 25 | 5509190 | 5491698 | 397 31479 | 29 | 0 732.36/732.60 c 732s | 25 | 5524255 | 5506698 | 397 31547 | 29 | 0 734.46/734.61 c 734s | 25 | 5539670 | 5521998 | 397 31615 | 29 | 0 736.46/736.63 c 736s | 25 | 5554524 | 5536798 | 397 31682 | 29 | 0 738.46/738.64 c 738s | 25 | 5568727 | 5550998 | 397 31746 | 29 | 0 740.46/740.65 c 740s | 25 | 5583351 | 5565598 | 397 31811 | 29 | 0 742.47/742.65 c 742s | 25 | 5598352 | 5580398 | 397 31878 | 29 | 0 744.46/744.66 c 744s | 25 | 5613182 | 5595098 | 397 31944 | 29 | 0 746.46/746.66 c 746s | 25 | 5628596 | 5610198 | 397 32012 | 29 | 0 748.46/748.67 c 748s | 25 | 5643396 | 5624998 | 397 32078 | 29 | 0 750.45/750.67 c 750s | 25 | 5658465 | 5639998 | 397 32146 | 29 | 0 752.45/752.68 c 752s | 25 | 5673748 | 5655098 | 397 32214 | 29 | 0 754.46/754.68 c 754s | 25 | 5689275 | 5670598 | 397 32285 | 29 | 0 756.46/756.69 c 756s | 25 | 5704744 | 5685998 | 397 32355 | 29 | 0 758.46/758.69 c 758s | 25 | 5720043 | 5701298 | 397 32425 | 29 | 0 760.56/760.70 c 760s | 25 | 5734965 | 5716198 | 397 32492 | 29 | 0 762.55/762.72 c 762s | 25 | 5749469 | 5730698 | 397 32557 | 29 | 0 764.55/764.72 c 764s | 25 | 5764378 | 5745598 | 397 32625 | 29 | 0 766.56/766.72 c 766s | 25 | 5779659 | 5760798 | 397 32694 | 29 | 0 768.55/768.74 c 768s | 25 | 5794801 | 5775798 | 397 32762 | 29 | 0 770.55/770.74 c 770s | 25 | 5809912 | 5790898 | 397 32830 | 29 | 0 772.55/772.75 c 772s | 25 | 5825116 | 5806098 | 397 32900 | 29 | 0 774.55/774.75 c 774s | 25 | 5840219 | 5821198 | 397 32969 | 29 | 0 776.56/776.76 c 776s | 25 | 5855460 | 5836398 | 397 33037 | 29 | 0 778.55/778.77 c 778s | 25 | 5870673 | 5851598 | 397 33106 | 29 | 0 780.56/780.78 c 780s | 25 | 5886008 | 5866798 | 397 33176 | 29 | 0 782.56/782.78 c 782s | 25 | 5901533 | 5881998 | 397 33245 | 29 | 0 784.55/784.78 c 784s | 25 | 5917168 | 5897398 | 397 33316 | 29 | 0 786.55/786.78 c 786s | 25 | 5932575 | 5912798 | 397 33386 | 29 | 0 788.56/788.80 c 788s | 25 | 5948178 | 5928398 | 397 33457 | 29 | 0 790.65/790.80 c 790s | 25 | 5963585 | 5943798 | 397 33527 | 29 | 0 792.65/792.81 c 792s | 25 | 5979286 | 5959498 | 397 33599 | 29 | 0 794.65/794.82 c 794s | 25 | 5994539 | 5974698 | 397 33668 | 29 | 0 796.65/796.83 c 796s | 25 | 6009846 | 5989898 | 397 33737 | 29 | 0 798.65/798.84 c 798s | 25 | 6025304 | 6005298 | 397 33808 | 29 | 0 800.65/800.85 c 800s | 25 | 6040604 | 6020598 | 397 33878 | 29 | 0 802.64/802.85 c 802s | 25 | 6055908 | 6035898 | 397 33948 | 29 | 0 804.64/804.86 c 804s | 25 | 6071509 | 6051498 | 397 34020 | 29 | 0 806.64/806.87 c 806s | 25 | 6087010 | 6066998 | 397 34091 | 29 | 0 808.64/808.88 c 808s | 25 | 6102712 | 6082698 | 397 34164 | 29 | 0 810.64/810.89 c 810s | 25 | 6117922 | 6097898 | 397 34233 | 29 | 0 812.64/812.89 c 812s | 25 | 6132215 | 6112198 | 397 34298 | 29 | 0 814.64/814.89 c 814s | 25 | 6147411 | 6127098 | 397 34366 | 29 | 0 816.74/816.91 c 816s | 25 | 6162209 | 6141798 | 397 34433 | 29 | 0 818.74/818.92 c 818s | 25 | 6176814 | 6156398 | 397 34499 | 29 | 0 820.74/820.93 c 820s | 25 | 6191778 | 6171198 | 397 34566 | 29 | 0 822.74/822.93 c 822s | 25 | 6206587 | 6185898 | 397 34633 | 29 | 0 824.74/824.94 c 824s | 25 | 6221895 | 6201198 | 397 34702 | 29 | 0 826.74/826.94 c 826s | 25 | 6236303 | 6215598 | 397 34768 | 29 | 0 828.74/828.95 c 828s | 25 | 6251308 | 6230598 | 397 34836 | 29 | 0 830.73/830.95 c 830s | 25 | 6266465 | 6245698 | 397 34905 | 29 | 0 832.73/832.96 c 832s | 25 | 6281764 | 6260998 | 397 34975 | 29 | 0 834.73/834.96 c 834s | 25 | 6296979 | 6276198 | 397 35045 | 29 | 0 836.73/836.97 c 836s | 25 | 6312680 | 6291898 | 397 35118 | 29 | 0 838.73/838.98 c 838s | 25 | 6327300 | 6306498 | 397 35183 | 29 | 0 840.72/840.98 c 840s | 25 | 6341291 | 6320498 | 397 35245 | 29 | 0 842.82/843.00 c 842s | 25 | 6355528 | 6334698 | 397 35307 | 29 | 0 844.82/845.01 c 844s | 25 | 6370002 | 6349098 | 397 35371 | 29 | 0 846.82/847.01 c 847s | 25 | 6384509 | 6363598 | 397 35435 | 29 | 0 848.82/849.02 c 849s | 25 | 6398511 | 6377598 | 397 35496 | 29 | 0 850.82/851.03 c 851s | 25 | 6412601 | 6391698 | 397 35558 | 29 | 0 852.82/853.03 c 853s | 25 | 6426515 | 6405598 | 397 35620 | 29 | 0 854.82/855.04 c 855s | 25 | 6440817 | 6419898 | 397 35683 | 29 | 0 856.82/857.04 c 857s | 25 | 6455235 | 6434298 | 397 35747 | 29 | 0 858.81/859.06 c 859s | 25 | 6469339 | 6448398 | 397 35809 | 29 | 0 860.81/861.07 c 861s | 25 | 6483535 | 6462598 | 397 35872 | 29 | 0 862.81/863.08 c 863s | 25 | 6498139 | 6477198 | 397 35938 | 29 | 0 864.82/865.10 c 865s | 25 | 6512841 | 6491898 | 397 36002 | 29 | 0 866.92/867.10 c 867s | 25 | 6527243 | 6506298 | 397 36065 | 29 | 0 868.92/869.10 c 869s | 25 | 6541640 | 6520698 | 397 36128 | 29 | 0 870.92/871.12 c 871s | 25 | 6556053 | 6535098 | 397 36192 | 29 | 0 872.91/873.12 c 873s | 25 | 6570580 | 6549598 | 397 36256 | 29 | 0 874.91/875.13 c 875s | 25 | 6584884 | 6563898 | 397 36319 | 29 | 0 876.91/877.13 c 877s | 25 | 6599513 | 6578498 | 397 36384 | 29 | 0 878.91/879.14 c 879s | 25 | 6614106 | 6592998 | 397 36449 | 29 | 0 880.91/881.16 c 881s | 25 | 6629198 | 6608098 | 397 36517 | 29 | 0 882.90/883.17 c 883s | 25 | 6644313 | 6623198 | 397 36585 | 29 | 0 884.90/885.18 c 885s | 25 | 6658603 | 6637498 | 397 36647 | 29 | 0 886.90/887.18 c 887s | 25 | 6672915 | 6651798 | 397 36710 | 29 | 0 888.90/889.19 c 889s | 25 | 6687218 | 6666098 | 397 36774 | 29 | 0 891.00/891.20 c 891s | 25 | 6701539 | 6680398 | 397 36838 | 29 | 0 893.00/893.22 c 893s | 25 | 6715645 | 6694498 | 397 36901 | 29 | 0 895.00/895.22 c 895s | 25 | 6730246 | 6709098 | 397 36966 | 29 | 0 896.99/897.22 c 897s | 25 | 6744457 | 6723298 | 397 37030 | 29 | 0 898.99/899.22 c 899s | 25 | 6759374 | 6738198 | 397 37096 | 29 | 0 901.00/901.23 c 901s | 25 | 6773657 | 6752498 | 397 37159 | 29 | 0 903.01/903.25 c 903s | 25 | 6787966 | 6766798 | 397 37223 | 29 | 0 905.00/905.26 c 905s | 25 | 6802769 | 6781598 | 397 37289 | 29 | 0 907.00/907.27 c 907s | 25 | 6817682 | 6796498 | 397 37355 | 29 | 0 909.00/909.27 c 909s | 25 | 6832686 | 6811498 | 397 37422 | 29 | 0 911.00/911.28 c 911s | 25 | 6847393 | 6826198 | 397 37487 | 29 | 0 913.00/913.28 c 913s | 25 | 6861790 | 6840598 | 397 37551 | 29 | 0 915.00/915.29 c 915s | 25 | 6876607 | 6855398 | 397 37617 | 29 | 0 917.09/917.30 c 917s | 25 | 6890803 | 6869598 | 397 37681 | 29 | 0 919.09/919.31 c 919s | 25 | 6905602 | 6884398 | 397 37747 | 29 | 0 921.09/921.31 c 921s | 25 | 6920302 | 6899098 | 397 37813 | 29 | 0 923.09/923.31 c 923s | 25 | 6934979 | 6913698 | 397 37878 | 29 | 0 925.09/925.32 c 925s | 25 | 6949589 | 6928298 | 397 37944 | 29 | 0 927.10/927.33 c 927s | 25 | 6964308 | 6942998 | 397 38009 | 29 | 0 929.09/929.34 c 929s | 25 | 6979224 | 6957898 | 397 38076 | 29 | 0 931.08/931.35 c 931s | 25 | 6993967 | 6972598 | 397 38143 | 29 | 0 933.08/933.36 c 933s | 25 | 7008981 | 6987598 | 397 38211 | 29 | 0 935.08/935.37 c 935s | 25 | 7024184 | 7002798 | 397 38279 | 29 | 0 937.09/937.38 c 937s | 25 | 7039492 | 7018098 | 397 38349 | 29 | 0 939.08/939.39 c 939s | 25 | 7054496 | 7033098 | 397 38416 | 29 | 0 941.18/941.41 c 941s | 25 | 7069401 | 7047998 | 397 38481 | 29 | 0 943.17/943.41 c 943s | 25 | 7084002 | 7062598 | 397 38546 | 29 | 0 945.17/945.41 c 945s | 25 | 7098694 | 7077298 | 397 38611 | 29 | 0 947.17/947.42 c 947s | 25 | 7113724 | 7092298 | 397 38677 | 29 | 0 949.18/949.43 c 949s | 25 | 7128414 | 7106998 | 397 38742 | 29 | 0 951.17/951.43 c 951s | 25 | 7143315 | 7121798 | 397 38808 | 29 | 0 953.18/953.44 c 953s | 25 | 7158908 | 7137398 | 397 38876 | 29 | 0 955.17/955.45 c 955s | 25 | 7174207 | 7152698 | 397 38944 | 29 | 0 957.17/957.46 c 957s | 25 | 7189113 | 7167598 | 397 39010 | 29 | 0 959.17/959.46 c 959s | 25 | 7203926 | 7182398 | 397 39076 | 29 | 0 961.18/961.47 c 961s | 25 | 7219023 | 7197298 | 397 39142 | 29 | 0 963.17/963.48 c 963s | 25 | 7233856 | 7212098 | 397 39208 | 29 | 0 965.17/965.48 c 965s | 25 | 7249090 | 7227298 | 397 39276 | 29 | 0 967.17/967.49 c 967s | 25 | 7264395 | 7242598 | 397 39344 | 29 | 0 969.17/969.49 c 969s | 25 | 7279396 | 7257598 | 397 39411 | 29 | 0 971.17/971.49 c 971s | 25 | 7294608 | 7272798 | 397 39479 | 29 | 0 973.16/973.49 c 973s | 25 | 7310128 | 7288298 | 397 39548 | 29 | 0 975.26/975.50 c 975s | 25 | 7325337 | 7303498 | 397 39615 | 29 | 0 977.26/977.50 c 977s | 25 | 7340734 | 7318898 | 397 39684 | 29 | 0 979.26/979.51 c 979s | 25 | 7356138 | 7334298 | 397 39754 | 29 | 0 981.26/981.51 c 981s | 25 | 7371539 | 7349698 | 397 39823 | 29 | 0 983.26/983.53 c 983s | 25 | 7386545 | 7364598 | 397 39889 | 29 | 0 985.25/985.53 c 985s | 25 | 7401133 | 7379098 | 397 39953 | 29 | 0 987.25/987.54 c 987s | 25 | 7414931 | 7392898 | 397 40014 | 29 | 0 989.25/989.56 c 989s | 25 | 7428857 | 7406798 | 397 40077 | 29 | 0 991.25/991.56 c 991s | 25 | 7442649 | 7420598 | 397 40138 | 29 | 0 993.25/993.57 c 993s | 25 | 7456848 | 7434798 | 397 40201 | 29 | 0 995.25/995.57 c 995s | 25 | 7470648 | 7448598 | 397 40262 | 29 | 0 997.25/997.58 c 997s | 25 | 7484649 | 7462598 | 397 40325 | 29 | 0 999.25/999.59 c 999s | 25 | 7498957 | 7476898 | 397 40389 | 29 | 0 1001.25/1001.60 c 1001s | 25 | 7513057 | 7490998 | 397 40452 | 29 | 0 1003.35/1003.61 c 1003s | 25 | 7527582 | 7505498 | 397 40516 | 29 | 0 1005.35/1005.61 c 1005s | 25 | 7542115 | 7519998 | 397 40580 | 29 | 0 1007.36/1007.62 c 1007s | 25 | 7556768 | 7534598 | 397 40645 | 29 | 0 1009.35/1009.63 c 1009s | 25 | 7570670 | 7548498 | 437 40705 | 29 | 0 1011.35/1011.64 c 1011s | 25 | 7584575 | 7562398 | 437 40761 | 29 | 0 1013.35/1013.65 c 1013s | 25 | 7598795 | 7576598 | 437 40820 | 29 | 0 1015.34/1015.65 c 1015s | 25 | 7612492 | 7590298 | 437 40876 | 29 | 0 1016.44/1016.74 c 1016s | 26 | 7619947 | 7597752 | 437 40906 | 29 | 0 1018.45/1018.75 c 1018s | 26 | 7634479 | 7612052 | 437 40964 | 29 | 0 1020.44/1020.76 c 1020s | 26 | 7648807 | 7626352 | 437 41022 | 29 | 0 1022.44/1022.76 c 1022s | 26 | 7663822 | 7641252 | 437 41083 | 29 | 0 1024.44/1024.77 c 1024s | 26 | 7678320 | 7655752 | 437 41142 | 29 | 0 1026.44/1026.77 c 1026s | 26 | 7692523 | 7669952 | 437 41200 | 29 | 0 1028.44/1028.78 c 1028s | 26 | 7706927 | 7684352 | 437 41259 | 29 | 0 1030.44/1030.79 c 1030s | 26 | 7721427 | 7698852 | 437 41318 | 29 | 0 1032.54/1032.80 c 1032s | 26 | 7736224 | 7713652 | 437 41379 | 29 | 0 1034.54/1034.81 c 1034s | 26 | 7751158 | 7728552 | 437 41440 | 29 | 0 1036.53/1036.82 c 1036s | 26 | 7765463 | 7742852 | 437 41498 | 29 | 0 1038.53/1038.84 c 1038s | 26 | 7780066 | 7757452 | 437 41558 | 29 | 0 1040.53/1040.85 c 1040s | 26 | 7794070 | 7771452 | 437 41615 | 29 | 0 1042.53/1042.86 c 1042s | 26 | 7808270 | 7785652 | 437 41673 | 29 | 0 1044.53/1044.86 c 1044s | 26 | 7822493 | 7799852 | 437 41731 | 29 | 0 1046.52/1046.87 c 1046s | 26 | 7837167 | 7814452 | 437 41792 | 29 | 0 1048.52/1048.88 c 1048s | 26 | 7851467 | 7828752 | 437 41850 | 29 | 0 1050.52/1050.89 c 1050s | 26 | 7866273 | 7843552 | 437 41911 | 29 | 0 1052.53/1052.89 c 1052s | 26 | 7880076 | 7857352 | 437 41967 | 29 | 0 1054.52/1054.90 c 1054s | 26 | 7894273 | 7871552 | 437 42025 | 29 | 0 1056.62/1056.92 c 1056s | 26 | 7908572 | 7885852 | 437 42084 | 29 | 0 1058.62/1058.93 c 1058s | 26 | 7923482 | 7900752 | 437 42145 | 29 | 0 1060.63/1060.93 c 1060s | 26 | 7938475 | 7915752 | 437 42207 | 29 | 0 1062.62/1062.94 c 1062s | 26 | 7953496 | 7930752 | 437 42269 | 29 | 0 1064.63/1064.94 c 1064s | 26 | 7968503 | 7945752 | 437 42331 | 29 | 0 1066.62/1066.95 c 1066s | 26 | 7983611 | 7960852 | 437 42394 | 29 | 0 1068.62/1068.95 c 1068s | 26 | 7998263 | 7975452 | 437 42453 | 29 | 0 1070.62/1070.96 c 1070s | 26 | 8012431 | 7989552 | 437 42510 | 29 | 0 1072.62/1072.96 c 1072s | 26 | 8026237 | 8003352 | 437 42566 | 29 | 0 1074.62/1074.97 c 1074s | 26 | 8040027 | 8017152 | 437 42622 | 29 | 0 1076.62/1076.99 c 1076s | 26 | 8054192 | 8031252 | 437 42679 | 29 | 0 1078.61/1078.99 c 1078s | 26 | 8068479 | 8045552 | 437 42738 | 29 | 0 1080.61/1080.99 c 1080s | 26 | 8082778 | 8059852 | 437 42796 | 29 | 0 1082.61/1082.99 c 1082s | 26 | 8097620 | 8074652 | 437 42858 | 29 | 0 1084.71/1085.00 c 1084s | 26 | 8112332 | 8089352 | 437 42918 | 29 | 0 1086.72/1087.00 c 1086s | 26 | 8127293 | 8104252 | 437 42979 | 29 | 0 1088.72/1089.01 c 1088s | 26 | 8141894 | 8118852 | 437 43039 | 29 | 0 1090.71/1091.02 c 1091s | 26 | 8156285 | 8133252 | 437 43098 | 29 | 0 1092.71/1093.02 c 1093s | 26 | 8170889 | 8147852 | 437 43158 | 29 | 0 1094.71/1095.03 c 1095s | 26 | 8184886 | 8161852 | 437 43216 | 29 | 0 1096.71/1097.03 c 1097s | 26 | 8199662 | 8176552 | 437 43277 | 29 | 0 1098.72/1099.04 c 1099s | 26 | 8214467 | 8191352 | 437 43338 | 29 | 0 1100.71/1101.05 c 1101s | 26 | 8229763 | 8206552 | 437 43401 | 29 | 0 1102.71/1103.05 c 1103s | 26 | 8244743 | 8221452 | 437 43462 | 29 | 0 1104.71/1105.06 c 1105s | 26 | 8259905 | 8236452 | 437 43525 | 29 | 0 1106.71/1107.07 c 1107s | 26 | 8274855 | 8251252 | 437 43586 | 29 | 0 1108.71/1109.07 c 1109s | 26 | 8289356 | 8265752 | 437 43646 | 29 | 0 1110.71/1111.09 c 1111s | 26 | 8303669 | 8280052 | 437 43704 | 29 | 0 1112.80/1113.10 c 1113s | 26 | 8318609 | 8294952 | 437 43765 | 29 | 0 1114.80/1115.10 c 1115s | 26 | 8332832 | 8309152 | 437 43823 | 29 | 0 1116.80/1117.11 c 1117s | 26 | 8347325 | 8323652 | 437 43883 | 29 | 0 1118.80/1119.12 c 1119s | 26 | 8361341 | 8337652 | 437 43941 | 29 | 0 1120.80/1121.13 c 1121s | 26 | 8375040 | 8351352 | 437 43997 | 29 | 0 1122.80/1123.14 c 1123s | 26 | 8389245 | 8365552 | 437 44056 | 29 | 0 1124.79/1125.15 c 1125s | 26 | 8403996 | 8380252 | 437 44117 | 29 | 0 1126.79/1127.16 c 1127s | 26 | 8418427 | 8394652 | 437 44176 | 29 | 0 1128.79/1129.17 c 1129s | 26 | 8432326 | 8408552 | 437 44233 | 29 | 0 1130.79/1131.17 c 1131s | 26 | 8446929 | 8423152 | 437 44294 | 29 | 0 1132.79/1133.18 c 1133s | 26 | 8461676 | 8437752 | 437 44354 | 29 | 0 1134.79/1135.20 c 1135s | 26 | 8476576 | 8452652 | 437 44416 | 29 | 0 1136.90/1137.20 c 1137s | 26 | 8491732 | 8467752 | 437 44478 | 29 | 0 1138.89/1139.21 c 1139s | 26 | 8507361 | 8483352 | 437 44544 | 29 | 0 1140.89/1141.22 c 1141s | 26 | 8522471 | 8498452 | 437 44606 | 29 | 0 1142.89/1143.23 c 1143s | 26 | 8536358 | 8512352 | 437 44662 | 29 | 0 1144.90/1145.23 c 1145s | 26 | 8550965 | 8526952 | 437 44722 | 29 | 0 1146.89/1147.25 c 1147s | 26 | 8564965 | 8540952 | 437 44780 | 29 | 0 1148.89/1149.26 c 1149s | 26 | 8580179 | 8556152 | 437 44842 | 29 | 0 1150.89/1151.26 c 1151s | 26 | 8594682 | 8570652 | 437 44901 | 29 | 0 1152.89/1153.27 c 1153s | 26 | 8609321 | 8585252 | 437 44961 | 29 | 0 1154.89/1155.27 c 1155s | 26 | 8623947 | 8599852 | 437 45021 | 29 | 0 1156.89/1157.27 c 1157s | 26 | 8638864 | 8614752 | 437 45084 | 29 | 0 1158.88/1159.28 c 1159s | 26 | 8653604 | 8629452 | 437 45145 | 29 | 0 1160.88/1161.28 c 1161s | 26 | 8668517 | 8644352 | 437 45207 | 29 | 0 1162.88/1163.29 c 1163s | 26 | 8683674 | 8659452 | 437 45270 | 29 | 0 1164.88/1165.29 c 1165s | 26 | 8699075 | 8674852 | 437 45334 | 29 | 0 1166.98/1167.30 c 1167s | 26 | 8713680 | 8689452 | 437 45395 | 29 | 0 1168.99/1169.31 c 1169s | 26 | 8728384 | 8704152 | 437 45455 | 29 | 0 1170.98/1171.32 c 1171s | 26 | 8743190 | 8718952 | 437 45517 | 29 | 0 1172.97/1173.33 c 1173s | 26 | 8757787 | 8733552 | 437 45577 | 29 | 0 1174.97/1175.33 c 1175s | 26 | 8772956 | 8748652 | 437 45640 | 29 | 0 1176.97/1177.34 c 1177s | 26 | 8787861 | 8763552 | 437 45701 | 29 | 0 1178.98/1179.35 c 1179s | 26 | 8803160 | 8778852 | 437 45765 | 29 | 0 1180.97/1181.36 c 1181s | 26 | 8817382 | 8793052 | 437 45824 | 29 | 0 1182.98/1183.36 c 1183s | 26 | 8831091 | 8806752 | 437 45881 | 29 | 0 1184.97/1185.36 c 1185s | 26 | 8845295 | 8820952 | 437 45940 | 29 | 0 1186.97/1187.37 c 1187s | 26 | 8860001 | 8835652 | 437 46001 | 29 | 0 1188.97/1189.39 c 1189s | 26 | 8874304 | 8849952 | 437 46060 | 29 | 0 1190.98/1191.39 c 1191s | 26 | 8888876 | 8864452 | 437 46120 | 29 | 0 1193.07/1193.40 c 1193s | 26 | 8903600 | 8879152 | 437 46181 | 29 | 0 1195.07/1195.41 c 1195s | 26 | 8918596 | 8894052 | 437 46243 | 29 | 0 1197.07/1197.41 c 1197s | 26 | 8933909 | 8909352 | 437 46307 | 29 | 0 1199.07/1199.42 c 1199s | 26 | 8949322 | 8924752 | 437 46371 | 29 | 0 1201.07/1201.43 c 1201s | 26 | 8964015 | 8939452 | 437 46432 | 29 | 0 1203.07/1203.44 c 1203s | 26 | 8978511 | 8953952 | 437 46492 | 29 | 0 1205.07/1205.45 c 1205s | 26 | 8993529 | 8968952 | 437 46554 | 29 | 0 1207.07/1207.45 c 1207s | 26 | 9008536 | 8983952 | 437 46617 | 29 | 0 1209.07/1209.46 c 1209s | 26 | 9023658 | 8999052 | 437 46680 | 29 | 0 1211.06/1211.47 c 1211s | 26 | 9038603 | 9013952 | 437 46742 | 29 | 0 1213.07/1213.47 c 1213s | 26 | 9053533 | 9028852 | 437 46804 | 29 | 0 1215.06/1215.48 c 1215s | 26 | 9068747 | 9044052 | 437 46867 | 29 | 0 1217.06/1217.49 c 1217s | 26 | 9084496 | 9059552 | 437 46932 | 29 | 0 1219.06/1219.49 c 1219s | 26 | 9099815 | 9074852 | 437 46996 | 29 | 0 1221.06/1221.49 c 1221s | 26 | 9114920 | 9089952 | 437 47060 | 29 | 0 1223.16/1223.50 c 1223s | 26 | 9129738 | 9104752 | 437 47122 | 29 | 0 1225.16/1225.51 c 1225s | 26 | 9145221 | 9120152 | 437 47186 | 29 | 0 1227.16/1227.52 c 1227s | 26 | 9160941 | 9135852 | 437 47253 | 29 | 0 1229.16/1229.53 c 1229s | 26 | 9176147 | 9151052 | 437 47317 | 29 | 0 1231.15/1231.54 c 1231s | 26 | 9191550 | 9166452 | 437 47381 | 29 | 0 1233.15/1233.55 c 1233s | 26 | 9206970 | 9181852 | 437 47446 | 29 | 0 1235.15/1235.56 c 1235s | 26 | 9222477 | 9197352 | 437 47512 | 29 | 0 1237.16/1237.56 c 1237s | 26 | 9238082 | 9212952 | 437 47578 | 29 | 0 1239.15/1239.56 c 1239s | 26 | 9252001 | 9226852 | 437 47634 | 29 | 0 1241.15/1241.57 c 1241s | 26 | 9265894 | 9240752 | 437 47691 | 29 | 0 1243.15/1243.57 c 1243s | 26 | 9279892 | 9254752 | 437 47748 | 29 | 0 1245.14/1245.59 c 1245s | 26 | 9293595 | 9268452 | 437 47803 | 29 | 0 1247.24/1247.60 c 1247s | 26 | 9307301 | 9282152 | 437 47859 | 29 | 0 1249.14/1249.60 c 1249s | 26 | 9321304 | 9296152 | 437 47915 | 29 | 0 1251.24/1251.61 c 1251s | 26 | 9335493 | 9310352 | 437 47973 | 29 | 0 1253.24/1253.62 c 1253s | 26 | 9350042 | 9324852 | 437 48032 | 29 | 0 1255.24/1255.63 c 1255s | 26 | 9364487 | 9339252 | 437 48091 | 29 | 0 1257.24/1257.65 c 1257s | 26 | 9378284 | 9353052 | 437 48148 | 29 | 0 1259.24/1259.65 c 1259s | 26 | 9392090 | 9366852 | 437 48204 | 29 | 0 1261.24/1261.66 c 1261s | 26 | 9406490 | 9381252 | 437 48263 | 29 | 0 1263.24/1263.67 c 1263s | 26 | 9421410 | 9396152 | 437 48324 | 29 | 0 1265.24/1265.68 c 1265s | 26 | 9435904 | 9410652 | 437 48383 | 29 | 0 1267.24/1267.68 c 1267s | 26 | 9450299 | 9425052 | 437 48441 | 29 | 0 1269.24/1269.69 c 1269s | 26 | 9464952 | 9439652 | 437 48502 | 29 | 0 1271.24/1271.70 c 1271s | 26 | 9479272 | 9453952 | 437 48560 | 29 | 0 1273.33/1273.70 c 1273s | 26 | 9493490 | 9468152 | 437 48619 | 29 | 0 1275.33/1275.70 c 1275s | 26 | 9507418 | 9482052 | 437 48675 | 29 | 0 1277.33/1277.71 c 1277s | 26 | 9522312 | 9496752 | 437 48735 | 29 | 0 1279.33/1279.71 c 1279s | 26 | 9536010 | 9510452 | 437 48791 | 29 | 0 1281.33/1281.72 c 1281s | 26 | 9549921 | 9524352 | 437 48849 | 29 | 0 1283.33/1283.73 c 1283s | 26 | 9564526 | 9538952 | 437 48909 | 29 | 0 1285.33/1285.73 c 1285s | 26 | 9579227 | 9553652 | 437 48969 | 29 | 0 1287.33/1287.73 c 1287s | 26 | 9594247 | 9568652 | 437 49032 | 29 | 0 1289.33/1289.74 c 1289s | 26 | 9608655 | 9583052 | 437 49092 | 29 | 0 1291.32/1291.75 c 1291s | 26 | 9622984 | 9597352 | 437 49150 | 29 | 0 1293.33/1293.75 c 1293s | 26 | 9637799 | 9612152 | 437 49210 | 29 | 0 1295.32/1295.76 c 1295s | 26 | 9651893 | 9626252 | 437 49267 | 29 | 0 1297.32/1297.77 c 1297s | 26 | 9665893 | 9640252 | 437 49324 | 29 | 0 1299.32/1299.78 c 1299s | 26 | 9680210 | 9654552 | 437 49382 | 29 | 0 1301.32/1301.78 c 1301s | 26 | 9695429 | 9669552 | 437 49443 | 29 | 0 1303.32/1303.78 c 1303s | 26 | 9709633 | 9683652 | 437 49499 | 29 | 0 1305.32/1305.79 c 1305s | 26 | 9723028 | 9697052 | 437 49554 | 29 | 0 1307.32/1307.79 c 1307s | 26 | 9737326 | 9711352 | 437 49612 | 29 | 0 1309.42/1309.81 c 1309s | 26 | 9752220 | 9726152 | 437 49673 | 29 | 0 1311.41/1311.81 c 1311s | 26 | 9766118 | 9740052 | 437 49730 | 29 | 0 1313.41/1313.82 c 1313s | 26 | 9780121 | 9754052 | 437 49787 | 29 | 0 1315.41/1315.82 c 1315s | 26 | 9793920 | 9767852 | 437 49844 | 29 | 0 1317.42/1317.83 c 1317s | 26 | 9808254 | 9782152 | 437 49902 | 29 | 0 1319.41/1319.84 c 1319s | 26 | 9822358 | 9796252 | 437 49960 | 29 | 0 1321.41/1321.84 c 1321s | 26 | 9837157 | 9811052 | 437 50021 | 29 | 0 1323.41/1323.85 c 1323s | 26 | 9851858 | 9825752 | 437 50082 | 29 | 0 1325.41/1325.86 c 1325s | 26 | 9866463 | 9840352 | 437 50142 | 29 | 0 1327.42/1327.87 c 1327s | 26 | 9880965 | 9854852 | 437 50202 | 29 | 0 1329.41/1329.88 c 1329s | 26 | 9895769 | 9869652 | 437 50263 | 29 | 0 1331.41/1331.88 c 1331s | 26 | 9910572 | 9884452 | 437 50325 | 29 | 0 1333.41/1333.88 c 1333s | 26 | 9924671 | 9898552 | 437 50382 | 29 | 0 1335.41/1335.89 c 1335s | 26 | 9939577 | 9913452 | 437 50443 | 29 | 0 1337.51/1337.90 c 1337s | 26 | 9955000 | 9928752 | 437 50506 | 29 | 0 1339.51/1339.91 c 1339s | 26 | 9969928 | 9943652 | 437 50567 | 29 | 0 1341.50/1341.91 c 1341s | 26 | 9984430 | 9958152 | 437 50626 | 29 | 0 1343.50/1343.91 c 1343s | 26 | 9998742 | 9972452 | 437 50685 | 29 | 0 1345.50/1345.92 c 1345s | 26 | 10013408 | 9987052 | 437 50745 | 29 | 0 1347.50/1347.92 c 1347s | 26 | 10028359 | 10001852 | 437 50806 | 29 | 0 1349.50/1349.93 c 1349s | 26 | 10043258 | 10016752 | 437 50866 | 29 | 0 1351.50/1351.94 c 1351s | 26 | 10058267 | 10031752 | 437 50928 | 29 | 0 1353.50/1353.94 c 1353s | 26 | 10072158 | 10045652 | 437 50984 | 29 | 0 1355.50/1355.94 c 1355s | 26 | 10086715 | 10060152 | 437 51044 | 29 | 0 1357.50/1357.95 c 1357s | 26 | 10101172 | 10074552 | 437 51103 | 29 | 0 1359.49/1359.97 c 1359s | 26 | 10115545 | 10088852 | 437 51161 | 29 | 0 1361.50/1361.97 c 1361s | 26 | 10129779 | 10103052 | 437 51219 | 29 | 0 1363.49/1363.97 c 1363s | 26 | 10144219 | 10117352 | 437 51278 | 29 | 0 1365.49/1365.97 c 1365s | 26 | 10159026 | 10132052 | 437 51338 | 29 | 0 1367.49/1367.98 c 1367s | 26 | 10173636 | 10146652 | 437 51398 | 29 | 0 1369.49/1369.98 c 1369s | 26 | 10188358 | 10161352 | 437 51459 | 29 | 0 1371.49/1371.99 c 1371s | 26 | 10203654 | 10176452 | 437 51520 | 29 | 0 1373.49/1373.99 c 1373s | 26 | 10218714 | 10191252 | 437 51581 | 29 | 0 1375.58/1376.00 c 1375s | 26 | 10233609 | 10205952 | 437 51641 | 29 | 0 1377.58/1378.01 c 1377s | 26 | 10248981 | 10221052 | 437 51704 | 29 | 0 1379.58/1380.01 c 1379s | 26 | 10264398 | 10236152 | 437 51766 | 29 | 0 1381.58/1382.02 c 1382s | 26 | 10279951 | 10251552 | 437 51830 | 29 | 0 1383.58/1384.03 c 1384s | 26 | 10294868 | 10266452 | 437 51891 | 29 | 0 1385.59/1386.04 c 1386s | 26 | 10309365 | 10280952 | 437 51951 | 29 | 0 1387.59/1388.04 c 1388s | 26 | 10324090 | 10295652 | 437 52012 | 29 | 0 1389.59/1390.06 c 1390s | 26 | 10338400 | 10309952 | 437 52071 | 29 | 0 1391.59/1392.07 c 1392s | 26 | 10352547 | 10324052 | 437 52129 | 29 | 0 1393.59/1394.08 c 1394s | 26 | 10367449 | 10338852 | 437 52190 | 29 | 0 1395.59/1396.09 c 1396s | 26 | 10382465 | 10353752 | 437 52251 | 29 | 0 1397.69/1398.11 c 1398s | 26 | 10397467 | 10368652 | 437 52313 | 29 | 0 1399.69/1400.11 c 1400s | 26 | 10411777 | 10382952 | 437 52372 | 29 | 0 1401.69/1402.11 c 1402s | 26 | 10426190 | 10397352 | 437 52431 | 29 | 0 1403.69/1404.12 c 1404s | 26 | 10440669 | 10411752 | 437 52491 | 29 | 0 1405.69/1406.12 c 1406s | 26 | 10455369 | 10426452 | 437 52552 | 29 | 0 1407.69/1408.13 c 1408s | 26 | 10470198 | 10441252 | 437 52613 | 29 | 0 1409.69/1410.13 c 1410s | 26 | 10485042 | 10456052 | 437 52674 | 29 | 0 1411.68/1412.15 c 1412s | 26 | 10499957 | 10470952 | 437 52736 | 29 | 0 1413.68/1414.15 c 1414s | 26 | 10514950 | 10485752 | 437 52797 | 29 | 0 1415.68/1416.15 c 1416s | 26 | 10529468 | 10500052 | 437 52856 | 29 | 0 1417.68/1418.16 c 1418s | 26 | 10544578 | 10515152 | 437 52919 | 29 | 0 1419.69/1420.17 c 1420s | 26 | 10560031 | 10530552 | 437 52983 | 29 | 0 1421.68/1422.18 c 1422s | 26 | 10575521 | 10545752 | 437 53046 | 29 | 0 1423.68/1424.18 c 1424s | 26 | 10591208 | 10561152 | 437 53111 | 29 | 0 1425.68/1426.18 c 1426s | 26 | 10606610 | 10576552 | 437 53176 | 29 | 0 1427.68/1428.19 c 1428s | 26 | 10621909 | 10591852 | 437 53240 | 29 | 0 1429.78/1430.20 c 1430s | 26 | 10636712 | 10606652 | 437 53301 | 29 | 0 1431.79/1432.21 c 1432s | 26 | 10650708 | 10620652 | 437 53358 | 29 | 0 1433.78/1434.22 c 1434s | 26 | 10664621 | 10634552 | 437 53416 | 29 | 0 1435.78/1436.22 c 1436s | 26 | 10678727 | 10648652 | 437 53474 | 29 | 0 1437.78/1438.23 c 1438s | 26 | 10693018 | 10662952 | 437 53533 | 29 | 0 1439.78/1440.23 c 1440s | 26 | 10707734 | 10677552 | 437 53593 | 29 | 0 1441.78/1442.23 c 1442s | 26 | 10722034 | 10691852 | 437 53653 | 29 | 0 1443.77/1444.24 c 1444s | 26 | 10736966 | 10706652 | 437 53714 | 29 | 0 1445.77/1446.25 c 1446s | 26 | 10751854 | 10721352 | 437 53774 | 29 | 0 1447.77/1448.25 c 1448s | 26 | 10766826 | 10736252 | 437 53836 | 29 | 0 1449.77/1450.26 c 1450s | 26 | 10781295 | 10750652 | 437 53896 | 29 | 0 1451.77/1452.27 c 1452s | 26 | 10795596 | 10764952 | 437 53955 | 29 | 0 1453.79/1454.27 c 1454s | 26 | 10809720 | 10779052 | 437 54014 | 29 | 0 1455.78/1456.28 c 1456s | 26 | 10823831 | 10793152 | 437 54073 | 29 | 0 1457.78/1458.29 c 1458s | 26 | 10837934 | 10807252 | 437 54131 | 29 | 0 1459.88/1460.30 c 1460s | 26 | 10851730 | 10821052 | 437 54189 | 29 | 0 1461.87/1462.30 c 1462s | 26 | 10865934 | 10835252 | 437 54248 | 29 | 0 1463.87/1464.31 c 1464s | 26 | 10879645 | 10848952 | 437 54305 | 29 | 0 1465.88/1466.31 c 1466s | 26 | 10893262 | 10862552 | 437 54360 | 29 | 0 1467.87/1468.31 c 1468s | 26 | 10906862 | 10876152 | 437 54415 | 29 | 0 1469.87/1470.32 c 1470s | 26 | 10920264 | 10889552 | 437 54469 | 29 | 0 1471.87/1472.32 c 1472s | 26 | 10933758 | 10903052 | 437 54524 | 29 | 0 1473.87/1474.33 c 1474s | 26 | 10947864 | 10917152 | 437 54581 | 29 | 0 1475.88/1476.33 c 1476s | 26 | 10961731 | 10930952 | 437 54637 | 29 | 0 1477.87/1478.34 c 1478s | 26 | 10975031 | 10944252 | 437 54691 | 29 | 0 1479.87/1480.34 c 1480s | 26 | 10988227 | 10957452 | 437 54744 | 29 | 0 1481.87/1482.35 c 1482s | 26 | 11001334 | 10970552 | 437 54798 | 29 | 0 1483.87/1484.35 c 1484s | 26 | 11014939 | 10984152 | 437 54854 | 29 | 0 1485.87/1486.36 c 1486s | 26 | 11029040 | 10998252 | 437 54912 | 29 | 0 1487.87/1488.37 c 1488s | 26 | 11042832 | 11012052 | 437 54968 | 29 | 0 1489.87/1490.38 c 1490s | 26 | 11056728 | 11025952 | 437 55025 | 29 | 0 1491.87/1492.39 c 1492s | 26 | 11070940 | 11040152 | 437 55084 | 29 | 0 1493.97/1494.40 c 1494s | 26 | 11085348 | 11054552 | 437 55143 | 29 | 0 1495.97/1496.41 c 1496s | 26 | 11099344 | 11068552 | 437 55200 | 29 | 0 1497.97/1498.42 c 1498s | 26 | 11113944 | 11083152 | 437 55261 | 29 | 0 1499.97/1500.42 c 1500s | 26 | 11128455 | 11097652 | 437 55321 | 29 | 0 1501.96/1502.42 c 1502s | 26 | 11142947 | 11112152 | 437 55381 | 29 | 0 1503.97/1504.43 c 1504s | 26 | 11157554 | 11126752 | 437 55441 | 29 | 0 1505.97/1506.43 c 1506s | 26 | 11172053 | 11141252 | 437 55502 | 29 | 0 1507.97/1508.44 c 1508s | 26 | 11185657 | 11154852 | 437 55557 | 29 | 0 1509.98/1510.45 c 1510s | 26 | 11199560 | 11168752 | 437 55614 | 29 | 0 1511.97/1512.45 c 1512s | 26 | 11212662 | 11181852 | 437 55667 | 29 | 0 1513.97/1514.45 c 1514s | 26 | 11226163 | 11195352 | 437 55722 | 29 | 0 1515.97/1516.46 c 1516s | 26 | 11240057 | 11209252 | 437 55779 | 29 | 0 1517.97/1518.46 c 1518s | 26 | 11253054 | 11222252 | 437 55832 | 29 | 0 1519.97/1520.47 c 1520s | 26 | 11266256 | 11235452 | 437 55886 | 29 | 0 1521.97/1522.48 c 1522s | 26 | 11279964 | 11249152 | 437 55942 | 29 | 0 1523.97/1524.49 c 1524s | 26 | 11294160 | 11263352 | 437 56000 | 29 | 0 1525.96/1526.49 c 1526s | 26 | 11308979 | 11278052 | 437 56061 | 29 | 0 1527.96/1528.49 c 1528s | 26 | 11323276 | 11292352 | 437 56120 | 29 | 0 1530.06/1530.50 c 1530s | 26 | 11337993 | 11307052 | 437 56180 | 29 | 0 1532.06/1532.51 c 1532s | 26 | 11352709 | 11321752 | 481 56239 | 29 | 0 1534.07/1534.52 c 1534s | 26 | 11367214 | 11336252 | 481 56294 | 29 | 0 1536.06/1536.53 c 1536s | 26 | 11381409 | 11350452 | 481 56348 | 29 | 0 1538.06/1538.53 c 1538s | 26 | 11395207 | 11364252 | 481 56400 | 29 | 0 1540.06/1540.54 c 1540s | 26 | 11409439 | 11378452 | 481 56454 | 29 | 0 1542.06/1542.55 c 1542s | 26 | 11423448 | 11392452 | 481 56507 | 29 | 0 1542.66/1543.17 c 1543s | 27 | 11427719 | 11396733 | 481 56523 | 29 | 0 1544.66/1545.17 c 1545s | 27 | 11441448 | 11410433 | 481 56574 | 29 | 0 1546.67/1547.18 c 1547s | 27 | 11455249 | 11424233 | 481 56626 | 29 | 0 1548.66/1549.19 c 1549s | 27 | 11469256 | 11438233 | 481 56679 | 29 | 0 1550.67/1551.19 c 1551s | 27 | 11483154 | 11452133 | 481 56731 | 29 | 0 1552.66/1553.20 c 1553s | 27 | 11497955 | 11466933 | 481 56787 | 29 | 0 1554.76/1555.21 c 1555s | 27 | 11512560 | 11481533 | 481 56842 | 29 | 0 1556.76/1557.21 c 1557s | 27 | 11526767 | 11495733 | 481 56895 | 29 | 0 1558.76/1559.21 c 1559s | 27 | 11540974 | 11509933 | 481 56949 | 29 | 0 1560.76/1561.21 c 1561s | 27 | 11555677 | 11524433 | 481 57004 | 29 | 0 1562.77/1563.21 c 1563s | 27 | 11570639 | 11539333 | 481 57060 | 29 | 0 1564.76/1565.22 c 1565s | 27 | 11585540 | 11554233 | 481 57117 | 29 | 0 1566.76/1567.23 c 1567s | 27 | 11600474 | 11569133 | 481 57174 | 29 | 0 1568.76/1569.24 c 1569s | 27 | 11615132 | 11583733 | 481 57229 | 29 | 0 1570.76/1571.24 c 1571s | 27 | 11629535 | 11598133 | 481 57283 | 29 | 0 1572.76/1573.24 c 1573s | 27 | 11644231 | 11612733 | 481 57339 | 29 | 0 1574.76/1575.24 c 1575s | 27 | 11657930 | 11626433 | 481 57390 | 29 | 0 1576.75/1577.25 c 1577s | 27 | 11672059 | 11640533 | 481 57444 | 29 | 0 1578.75/1579.26 c 1579s | 27 | 11686057 | 11654533 | 481 57497 | 29 | 0 1580.75/1581.27 c 1581s | 27 | 11700757 | 11669233 | 481 57552 | 29 | 0 1582.75/1583.27 c 1583s | 27 | 11715263 | 11683733 | 481 57607 | 29 | 0 1584.76/1585.27 c 1585s | 27 | 11729775 | 11698233 | 481 57662 | 29 | 0 1586.75/1587.27 c 1587s | 27 | 11744676 | 11713133 | 481 57719 | 29 | 0 1588.75/1589.28 c 1589s | 27 | 11759086 | 11727533 | 481 57774 | 29 | 0 1590.75/1591.29 c 1591s | 27 | 11773377 | 11741833 | 481 57828 | 29 | 0 1592.85/1593.30 c 1593s | 27 | 11787579 | 11756033 | 481 57882 | 29 | 0 1594.85/1595.31 c 1595s | 27 | 11801898 | 11770333 | 481 57936 | 29 | 0 1596.86/1597.31 c 1597s | 27 | 11816074 | 11784433 | 481 57989 | 29 | 0 1598.86/1599.32 c 1599s | 27 | 11830941 | 11799033 | 481 58045 | 29 | 0 1600.86/1601.32 c 1601s | 27 | 11846288 | 11813933 | 481 58102 | 29 | 0 1602.86/1603.33 c 1603s | 27 | 11861776 | 11829133 | 481 58161 | 29 | 0 1604.86/1605.34 c 1605s | 27 | 11876731 | 11844033 | 481 58217 | 29 | 0 1606.86/1607.34 c 1607s | 27 | 11891145 | 11858433 | 481 58271 | 29 | 0 1608.86/1609.34 c 1609s | 27 | 11905544 | 11872833 | 481 58325 | 29 | 0 1610.85/1611.34 c 1611s | 27 | 11919751 | 11887033 | 481 58379 | 29 | 0 1612.85/1613.35 c 1613s | 27 | 11933848 | 11901133 | 481 58433 | 29 | 0 1614.85/1615.36 c 1615s | 27 | 11948549 | 11915833 | 481 58488 | 29 | 0 1616.85/1617.37 c 1617s | 27 | 11963351 | 11930633 | 481 58545 | 29 | 0 1618.86/1619.37 c 1619s | 27 | 11977569 | 11944833 | 481 58598 | 29 | 0 1620.85/1621.37 c 1621s | 27 | 11991264 | 11958533 | 481 58650 | 29 | 0 1622.85/1623.38 c 1623s | 27 | 12004865 | 11972133 | 481 58702 | 29 | 0 1624.85/1625.40 c 1625s | 27 | 12019072 | 11986333 | 481 58756 | 29 | 0 1626.95/1627.40 c 1627s | 27 | 12033069 | 12000333 | 481 58809 | 29 | 0 1628.95/1629.41 c 1629s | 27 | 12047472 | 12014733 | 481 58864 | 29 | 0 1630.95/1631.41 c 1631s | 27 | 12061971 | 12029233 | 481 58919 | 29 | 0 1632.94/1633.42 c 1633s | 27 | 12076979 | 12044233 | 481 58977 | 29 | 0 1634.94/1635.43 c 1635s | 27 | 12091073 | 12058333 | 481 59030 | 29 | 0 1636.94/1637.43 c 1637s | 27 | 12105172 | 12072433 | 481 59084 | 29 | 0 1638.94/1639.45 c 1639s | 27 | 12119378 | 12086633 | 481 59139 | 29 | 0 1640.94/1641.46 c 1641s | 27 | 12133274 | 12100533 | 481 59192 | 29 | 0 1642.95/1643.47 c 1643s | 27 | 12147674 | 12114933 | 481 59247 | 29 | 0 1644.94/1645.49 c 1645s | 27 | 12162092 | 12129333 | 481 59302 | 29 | 0 1646.95/1647.50 c 1647s | 27 | 12176184 | 12143433 | 481 59355 | 29 | 0 1649.05/1649.50 c 1649s | 27 | 12189994 | 12157233 | 481 59406 | 29 | 0 1651.05/1651.51 c 1651s | 27 | 12204394 | 12171633 | 481 59460 | 29 | 0 1653.05/1653.52 c 1653s | 27 | 12218802 | 12186033 | 481 59514 | 29 | 0 1655.05/1655.53 c 1655s | 27 | 12232809 | 12200033 | 481 59566 | 29 | 0 1657.05/1657.54 c 1657s | 27 | 12246707 | 12213933 | 481 59618 | 29 | 0 1659.05/1659.55 c 1659s | 27 | 12260513 | 12227733 | 481 59670 | 29 | 0 1661.05/1661.56 c 1661s | 27 | 12274653 | 12241833 | 481 59723 | 29 | 0 1663.04/1663.57 c 1663s | 27 | 12289152 | 12256333 | 481 59778 | 29 | 0 1665.05/1665.58 c 1665s | 27 | 12303703 | 12270833 | 481 59833 | 29 | 0 1667.04/1667.58 c 1667s | 27 | 12317975 | 12285033 | 481 59886 | 29 | 0 1669.04/1669.59 c 1669s | 27 | 12332582 | 12299633 | 481 59941 | 29 | 0 1671.14/1671.60 c 1671s | 27 | 12346791 | 12313833 | 481 59995 | 29 | 0 1673.14/1673.61 c 1673s | 27 | 12361120 | 12328133 | 481 60049 | 29 | 0 1675.14/1675.61 c 1675s | 27 | 12375903 | 12342833 | 481 60105 | 29 | 0 1677.15/1677.61 c 1677s | 27 | 12390521 | 12357333 | 481 60160 | 29 | 0 1679.14/1679.62 c 1679s | 27 | 12405597 | 12372333 | 481 60217 | 29 | 0 1681.14/1681.63 c 1681s | 27 | 12420162 | 12386833 | 481 60273 | 29 | 0 1683.14/1683.63 c 1683s | 27 | 12434981 | 12401633 | 481 60329 | 29 | 0 1685.14/1685.64 c 1685s | 27 | 12450111 | 12416733 | 481 60387 | 29 | 0 1687.14/1687.65 c 1687s | 27 | 12464517 | 12431133 | 481 60441 | 29 | 0 1689.15/1689.66 c 1689s | 27 | 12478223 | 12444833 | 481 60493 | 29 | 0 1691.14/1691.67 c 1691s | 27 | 12491721 | 12458333 | 481 60544 | 29 | 0 1693.14/1693.68 c 1693s | 27 | 12505619 | 12472233 | 481 60596 | 29 | 0 1695.14/1695.69 c 1695s | 27 | 12520026 | 12486633 | 481 60651 | 29 | 0 1697.14/1697.70 c 1697s | 27 | 12534239 | 12500833 | 481 60705 | 29 | 0 1699.15/1699.70 c 1699s | 27 | 12548235 | 12514833 | 481 60756 | 29 | 0 1701.25/1701.70 c 1701s | 27 | 12561928 | 12528533 | 481 60808 | 29 | 0 1703.24/1703.71 c 1703s | 27 | 12575837 | 12542433 | 481 60859 | 29 | 0 1705.24/1705.71 c 1705s | 27 | 12589334 | 12555933 | 481 60909 | 29 | 0 1707.24/1707.72 c 1707s | 27 | 12603029 | 12569633 | 481 60961 | 29 | 0 1709.24/1709.73 c 1709s | 27 | 12616927 | 12583533 | 481 61012 | 29 | 0 1711.24/1711.73 c 1711s | 27 | 12631228 | 12597833 | 481 61066 | 29 | 0 1713.24/1713.75 c 1713s | 27 | 12645835 | 12612433 | 481 61122 | 29 | 0 1715.24/1715.76 c 1715s | 27 | 12660138 | 12626733 | 481 61175 | 29 | 0 1717.24/1717.76 c 1717s | 27 | 12673942 | 12640533 | 481 61227 | 29 | 0 1719.24/1719.77 c 1719s | 27 | 12687736 | 12654333 | 481 61279 | 29 | 0 1721.23/1721.77 c 1721s | 27 | 12702049 | 12668633 | 481 61332 | 29 | 0 1723.24/1723.78 c 1723s | 27 | 12715838 | 12682433 | 481 61384 | 29 | 0 1725.23/1725.79 c 1725s | 27 | 12729753 | 12696333 | 481 61436 | 29 | 0 1727.33/1727.80 c 1727s | 27 | 12745055 | 12711633 | 481 61494 | 29 | 0 1729.33/1729.81 c 1729s | 27 | 12759553 | 12726133 | 481 61549 | 29 | 0 1731.33/1731.82 c 1731s | 27 | 12774064 | 12740633 | 481 61603 | 29 | 0 1733.34/1733.83 c 1733s | 27 | 12788703 | 12755233 | 481 61658 | 29 | 0 1735.34/1735.84 c 1735s | 27 | 12802879 | 12769333 | 481 61712 | 29 | 0 1737.33/1737.86 c 1737s | 27 | 12816962 | 12783333 | 481 61765 | 29 | 0 1739.33/1739.86 c 1739s | 27 | 12830980 | 12797333 | 481 61818 | 29 | 0 1741.33/1741.86 c 1741s | 27 | 12844381 | 12810733 | 481 61868 | 29 | 0 1743.33/1743.87 c 1743s | 27 | 12858182 | 12824533 | 481 61920 | 29 | 0 1745.34/1745.88 c 1745s | 27 | 12871976 | 12838333 | 481 61972 | 29 | 0 1747.33/1747.89 c 1747s | 27 | 12886000 | 12852333 | 481 62025 | 29 | 0 1749.43/1749.90 c 1749s | 27 | 12900219 | 12866433 | 481 62079 | 29 | 0 1751.43/1751.90 c 1751s | 27 | 12914021 | 12880233 | 481 62130 | 29 | 0 1753.43/1753.91 c 1753s | 27 | 12928218 | 12894433 | 481 62184 | 29 | 0 1755.43/1755.91 c 1755s | 27 | 12942731 | 12908933 | 481 62239 | 29 | 0 1757.43/1757.92 c 1757s | 27 | 12956935 | 12923133 | 481 62292 | 29 | 0 1759.43/1759.93 c 1759s | 27 | 12971231 | 12937433 | 481 62346 | 29 | 0 1761.42/1761.94 c 1761s | 27 | 12986068 | 12952233 | 481 62402 | 29 | 0 1763.42/1763.95 c 1763s | 27 | 13000267 | 12966433 | 481 62455 | 29 | 0 1765.42/1765.95 c 1765s | 27 | 13014419 | 12980533 | 481 62508 | 29 | 0 1767.42/1767.95 c 1767s | 27 | 13028959 | 12994933 | 481 62562 | 29 | 0 1769.44/1769.97 c 1769s | 27 | 13043169 | 13009133 | 481 62616 | 29 | 0 1771.43/1771.98 c 1771s | 27 | 13057599 | 13023533 | 481 62670 | 29 | 0 1773.43/1773.99 c 1773s | 27 | 13071782 | 13037633 | 481 62724 | 29 | 0 1775.43/1775.99 c 1775s | 27 | 13086586 | 13052433 | 481 62780 | 29 | 0 1777.43/1777.99 c 1777s | 27 | 13101593 | 13067433 | 481 62837 | 29 | 0 1779.43/1779.99 c 1779s | 27 | 13115998 | 13081833 | 481 62892 | 29 | 0 1781.43/1782.00 c 1781s | 27 | 13130290 | 13096133 | 481 62945 | 29 | 0 1783.53/1784.00 c 1783s | 27 | 13143990 | 13109833 | 481 62997 | 29 | 0 1785.53/1786.02 c 1786s | 27 | 13157898 | 13123733 | 481 63049 | 29 | 0 1787.52/1788.02 c 1788s | 27 | 13171797 | 13137633 | 481 63102 | 29 | 0 1789.52/1790.03 c 1790s | 27 | 13186302 | 13152133 | 481 63157 | 29 | 0 1791.53/1792.03 c 1792s | 27 | 13200577 | 13166333 | 481 63210 | 29 | 0 1793.52/1794.03 c 1794s | 27 | 13214676 | 13180433 | 481 63264 | 29 | 0 1795.52/1796.04 c 1796s | 27 | 13229175 | 13194933 | 481 63319 | 29 | 0 1797.52/1798.05 c 1798s | 27 | 13244483 | 13210033 | 481 63376 | 29 | 0 1799.52/1800.07 c 1800s | 27 | 13259508 | 13225033 | 481 63434 | 29 | 0
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-4100569-1466215276/watcher-4100569-1466215276 -o /tmp/evaluation-result-4100569-1466215276/solver-4100569-1466215276 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100569-1466215276.opb pid=14902 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.22 2.24 2.25 3/180 14905 /proc/meminfo: memFree=29410320/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=700860 CPUtime=0 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 2613 0 0 0 0 0 0 0 20 0 4 0 23574343 717680640 2973 33554432000 4194304 16246674 140736162330064 140736162329488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 175983 2982 441 2943 0 172877 0 [pid=14905/tid=14906] ppid=14902 vsize=719292 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 736555008 3043 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=723388 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 740749312 3059 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=727484 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23574343 744943616 3075 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100166 s] /proc/loadavg: 2.22 2.24 2.25 3/180 14905 /proc/meminfo: memFree=29410320/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 24241 0 0 0 6 3 0 0 20 0 4 0 23574343 1247350784 24588 33554432000 4194304 16246674 140736162330064 140736162329488 12477891 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 304529 24593 785 2943 0 301423 0 [pid=14905/tid=14906] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 24598 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 24603 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 24609 33554432000 4194304 16246674 140736162330064 140352809852080 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) 1218116 [startup+0.200447 s] /proc/loadavg: 2.22 2.24 2.25 3/180 14905 /proc/meminfo: memFree=29410320/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 42598 0 0 0 14 5 0 0 20 0 4 0 23574343 1247350784 42945 33554432000 4194304 16246674 140736162330064 140736162329488 5602147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 304529 42953 786 2943 0 301423 0 [pid=14905/tid=14906] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 42956 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 42959 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 42963 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.30047 s] /proc/loadavg: 2.22 2.24 2.25 3/180 14905 /proc/meminfo: memFree=29410320/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 60400 0 0 0 22 7 0 0 20 0 4 0 23574343 1247350784 60747 33554432000 4194304 16246674 140736162330064 140736162313064 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 304529 60754 786 2943 0 301423 0 [pid=14905/tid=14906] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 60758 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 60762 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 60766 33554432000 4194304 16246674 140736162330064 140352809852080 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) 1218116 [startup+0.700381 s] /proc/loadavg: 2.22 2.24 2.25 3/180 14905 /proc/meminfo: memFree=29410320/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 133983 0 0 0 52 17 0 0 20 0 4 0 23574343 1247350784 134331 33554432000 4194304 16246674 140736162330064 140736162313064 5589685 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 304529 134344 786 2943 0 301423 0 [pid=14905/tid=14906] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 134354 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 134364 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 134374 33554432000 4194304 16246674 140736162330064 140352809852080 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) 1218116 [startup+1.50041 s] /proc/loadavg: 2.22 2.24 2.25 3/184 14909 /proc/meminfo: memFree=28573000/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 245589 0 0 0 116 33 0 0 20 0 4 0 23574343 1247350784 245914 33554432000 4194304 16246674 140736162330064 140736162329376 12468488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 304529 245914 846 2943 0 301423 0 [pid=14905/tid=14906] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 245914 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 245914 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1247350784 245914 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10039 s] /proc/loadavg: 2.22 2.24 2.25 3/184 14909 /proc/meminfo: memFree=28384876/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1305156 CPUtime=3.09 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 267377 0 0 0 272 37 0 0 20 0 4 0 23574343 1336479744 267702 33554432000 4194304 16246674 140736162330064 140736162311936 13192062 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 326289 267702 846 2943 0 323183 0 [pid=14905/tid=14906] ppid=14902 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1336479744 267702 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1336479744 267702 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1336479744 267702 33554432000 4194304 16246674 140736162330064 140352809852080 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) 1305156 [startup+6.3004 s] /proc/loadavg: 2.20 2.23 2.24 3/184 14909 /proc/meminfo: memFree=28339120/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 267489 0 0 0 592 37 0 0 20 0 4 0 23574343 1337528320 267814 33554432000 4194304 16246674 140736162330064 140736162311936 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 326545 267814 848 2943 0 323439 0 [pid=14905/tid=14906] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267814 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267814 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267814 33554432000 4194304 16246674 140736162330064 140352809852080 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) 1306180 [startup+12.7004 s] /proc/loadavg: 2.19 2.23 2.24 3/184 14909 /proc/meminfo: memFree=28338916/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 267522 0 0 0 1232 37 0 0 20 0 4 0 23574343 1337528320 267847 33554432000 4194304 16246674 140736162330064 140736162313064 5723016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 326545 267847 848 2943 0 323439 0 [pid=14905/tid=14906] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267847 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267847 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267847 33554432000 4194304 16246674 140736162330064 140352809852080 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) 1306180 [startup+25.5005 s] /proc/loadavg: 2.21 2.23 2.24 3/184 14909 /proc/meminfo: memFree=28339040/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1306180 CPUtime=25.48 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 267524 0 0 0 2511 37 0 0 20 0 4 0 23574343 1337528320 267849 33554432000 4194304 16246674 140736162330064 140736162313064 5712004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 326545 267849 849 2943 0 323439 0 [pid=14905/tid=14906] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267849 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267849 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267849 33554432000 4194304 16246674 140736162330064 140352809852080 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) 1306180 [startup+51.1005 s] /proc/loadavg: 2.14 2.21 2.24 3/183 14909 /proc/meminfo: memFree=28337028/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 267570 0 0 0 5070 38 0 0 20 0 4 0 23574343 1337528320 267895 33554432000 4194304 16246674 140736162330064 140736162311936 5995739 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 326545 267895 849 2943 0 323439 0 [pid=14905/tid=14906] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267895 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267895 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267895 33554432000 4194304 16246674 140736162330064 140352809852080 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) 1306180 [startup+102.3 s] /proc/loadavg: 2.14 2.21 2.23 4/183 14910 /proc/meminfo: memFree=28336580/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1306180 CPUtime=102.27 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 267602 0 0 0 10188 39 0 0 20 0 4 0 23574343 1337528320 267927 33554432000 4194304 16246674 140736162330064 140736162311936 5709972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 326545 267927 849 2943 0 323439 0 [pid=14905/tid=14906] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267927 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267927 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1337528320 267927 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1338576896 268439 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1307204 [startup+1362.3 s] /proc/loadavg: 2.17 2.15 2.17 3/183 14941 /proc/meminfo: memFree=28330488/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1308228 CPUtime=1361.89 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 268474 0 0 0 136123 66 0 0 20 0 4 0 23574343 1339625472 268674 33554432000 4194304 16246674 140736162330064 140736162311936 6021684 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 327057 268674 850 2943 0 323951 0 [pid=14905/tid=14906] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268674 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268674 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268674 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1308228 [startup+1422.3 s] /proc/loadavg: 2.31 2.19 2.18 3/183 14942 /proc/meminfo: memFree=28330124/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1308228 CPUtime=1421.89 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 268474 0 0 0 142122 67 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140736162311936 5711326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 327057 268734 850 2943 0 323951 0 [pid=14905/tid=14906] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1308228 [startup+1482.3 s] /proc/loadavg: 2.21 2.18 2.18 3/183 14943 /proc/meminfo: memFree=28330004/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1308228 CPUtime=1481.87 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 268474 0 0 0 148119 68 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140736162313064 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 327057 268734 850 2943 0 323951 0 [pid=14905/tid=14906] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1308228 [startup+1542.31 s] /proc/loadavg: 2.12 2.16 2.17 3/183 14945 /proc/meminfo: memFree=28330028/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1308228 CPUtime=1541.86 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 268474 0 0 0 154117 69 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140736162311936 5827664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 327057 268734 850 2943 0 323951 0 [pid=14905/tid=14906] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1308228 [startup+1602.3 s] /proc/loadavg: 2.08 2.14 2.16 3/183 14946 /proc/meminfo: memFree=28329980/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1308228 CPUtime=1601.86 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 268474 0 0 0 160115 71 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140736162311936 5808388 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 327057 268734 850 2943 0 323951 0 [pid=14905/tid=14906] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1308228 [startup+1662.3 s] /proc/loadavg: 2.06 2.13 2.16 3/183 14947 /proc/meminfo: memFree=28330232/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1308228 CPUtime=1661.85 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 268474 0 0 0 166113 72 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140736162311936 6020832 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 327057 268734 850 2943 0 323951 0 [pid=14905/tid=14906] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1308228 [startup+1722.3 s] /proc/loadavg: 2.20 2.16 2.17 3/183 14996 /proc/meminfo: memFree=28315480/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1308228 CPUtime=1721.83 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 268474 0 0 0 172110 73 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140736162311936 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 327057 268734 850 2943 0 323951 0 [pid=14905/tid=14906] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1308228 [startup+1782.3 s] /proc/loadavg: 2.22 2.17 2.17 3/184 15000 /proc/meminfo: memFree=28277824/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1308228 CPUtime=1781.83 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 268474 0 0 0 178108 75 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140736162311936 5712628 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 327057 268734 850 2943 0 323951 0 [pid=14905/tid=14906] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1308228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.15 2.16 2.17 3/183 15001 /proc/meminfo: memFree=28278112/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1308228 CPUtime=1800.02 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 268474 0 0 0 179927 75 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140736162311936 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 327057 268734 850 2943 0 323951 0 [pid=14905/tid=14906] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1308228 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 14905 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.15 2.16 2.17 3/183 15001 /proc/meminfo: memFree=28278112/32872528 swapFree=1286400/1433568 [pid=14905] ppid=14902 vsize=1308228 CPUtime=1800.02 cores=1,3,5,7 /proc/14905/stat : 14905 (toysat) R 14902 14905 12983 0 -1 4202496 268474 0 0 0 179927 75 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140736162311936 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14905/statm: 327057 268734 850 2943 0 323951 0 [pid=14905/tid=14906] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352903163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14905/tid=14907] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352820325616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14905/tid=14908] ppid=14902 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23574343 1339625472 268734 33554432000 4194304 16246674 140736162330064 140352809852080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1308228 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.28 CPU system time (s): 0.756884 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 1308228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.756884 maximum resident set size= 1074936 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268474 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= 395 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.31904 second user time and 8.48571 second system time The end
Begin job on node130 at 2016-06-18 04:01:16 IDJOB=4100569 IDBENCH=1634 IDSOLVER=2542 FILE ID=node130/4100569-1466215276 RUNJOBID= node130-1466206066-13000 PBS_JOBID= 19918147 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-maros.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100569-1466215276/watcher-4100569-1466215276 -o /tmp/evaluation-result-4100569-1466215276/solver-4100569-1466215276 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100569-1466215276.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6803f1153be9bf743da46b6e6a13cfbf RANDOM SEED=1366968023 node130.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.365 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.73 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.365 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.365 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.365 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.365 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.365 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.53 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.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29410872 kB Buffers: 89156 kB Cached: 119536 kB SwapCached: 1804 kB Active: 1177800 kB Inactive: 114044 kB Active(anon): 1083684 kB Inactive(anon): 1604 kB Active(file): 94116 kB Inactive(file): 112440 kB Unevictable: 1433568 kB Mlocked: 1286400 kB SwapTotal: 67108856 kB SwapFree: 67099028 kB Dirty: 16340 kB Writeback: 0 kB AnonPages: 2491204 kB Mapped: 10788 kB Shmem: 0 kB Slab: 601732 kB SReclaimable: 45328 kB SUnreclaim: 556404 kB KernelStack: 1528 kB PageTables: 8968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2661664 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 124928 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= 71716 MiB End job on node130 at 2016-06-18 04:31:16