| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/ vertexcover-instances/normalized-vertexcover-grid6x27.opb |
| MD5SUM | 53504fbbfe0f7221c87d53e54f29db9b |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.009997 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 162 |
| Total number of constraints | 325 |
| Number of constraints which are clauses | 324 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 162 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 81 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 243 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-15T22:32:33+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-4089162-1466022752.opb"] 0.00/0.01 c use --random-gen="3652807365 2686550668 214411394 2409257533 3053882925 4000690541 3418675848 899149765 3087229069 295376172 1426282198 2863845216 741309789 3353294823 3997083426 3698452626 3108768170 3528001515 1000403296 302585247 2421677031 143846865 4166684891 3627887811 2716173449 708723884 135210868 2372033996 2288235696 2138415293 214315708 3117821147 2614620065 2183912112 2515723559 3200139913 4001363816 545283807 44653193 147161422 1766297284 746538990 2607843496 3073525640 867394998 27011384 688781147 3022089853 339166155 3791705634 855004800 1734734484 2228221763 3365055779 92107910 1289536383 2089947819 1497250771 2140086575 809640451 3042482801 4284633648 1227287707 1805612399 72580655 3302781832 2328130307 4103562866 2512553874 2073686570 3323280947 2429596741 1450514029 44913890 2385071039 621848543 1031544889 433923237 2695984623 3175974127 3810427119 562743314 550251944 22412704 1688267184 3480921735 2187259578 194650800 1517050287 2079538005 327820526 2870805385 2249371743 2793549826 1285601894 3533797389 1892410352 3493702385 892949682 3120676630 1905306516 2797206282 2585647992 1471831617 3256463614 1566447373 2952501314 3535958612 1740091160 588651529 1501650831 313695339 532531006 3150193617 624624068 2746613572 704033753 724203065 2874744464 2994526832 1313234445 3051688102 2852955762 3801036248 572056153 4025591842 637114196 2988858511 2651390422 1582919451 1420031557 898560089 3033011573 3159925046 35795153 1357562547 4244603972 4208601966 3491729169 3340485408 3571588504 790609450 2788497937 3261675899 3130821487 1298864879 2286089738 3816824481 598027042 2846689640 2290311224 1689424148 4031514188 3443165092 318360087 3519407947 1949640933 3513258266 1419816002 1766415025 3022715840 826346283 486128926 2517094205 2855214509 3552677898 1823073664 4283049664 268254125 1272386368 2464745062 2850968832 114347824 4054655607 2825076808 2616128946 1008894454 125058014 1010305648 1396505939 1799790129 2570598671 2261608409 320769706 590361450 913776476 1068117227 2359852779 2661049152 3581599849 3806663736 1169374055 2661497630 3035217697 1539505806 853338822 810277368 2182205854 3308719022 3109325985 4114512965 2943108826 814865634 658897092 887873238 54868854 3193380217 2383841980 2031968665 2438163824 1625785758 179484744 2505963488 765571233 3500251127 1284940129 3206882984 2181918014 216728712 3154350099 3277940909 3968503440 429573254 4239254932 3282769842 2581834872 1630450352 767051973 465706659 2578416612 3944981005 1856317926 1014317313 3497243886 311192931 4267110860 1556242116 2496934063 478725175 3568080157 251408524 396335836 246202555 1258709951 3231203182 438918821 1772844392 2647397325 1279722565 3061491969 431528199 1735865396 1755583856 4111038707 659768680 103879389 255 362436" option to reproduce the execution 0.00/0.01 c #vars 162 0.00/0.01 c #constraints 325 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 | 162 0 | 0 | 0 0.00/0.03 c 0.0s | 1 | 181 | 100 | 162 0 | 0 | 0 0.00/0.05 c 0.0s | 2 | 406 | 250 | 179 0 | 0 | 0 0.09/0.10 c 0.1s | 3 | 705 | 475 | 197 2 | 0 | 0 0.09/0.18 c 0.2s | 4 | 1114 | 813 | 217 5 | 0 | 0 0.19/0.28 c 0.3s | 5 | 1692 | 1320 | 239 8 | 0 | 0 0.39/0.46 c 0.4s | 6 | 2523 | 2081 | 290 12 | 0 | 0 0.69/0.73 c 0.7s | 7 | 3744 | 3223 | 319 18 | 0 | 0 0.99/1.02 c 1.0s | 8 | 5548 | 4936 | 351 27 | 0 | 0 1.39/1.45 c 1.4s | 9 | 8213 | 7506 | 387 39 | 0 | 0 1.99/2.04 c 2.0s | 10 | 12191 | 11361 | 426 56 | 0 | 0 2.89/2.93 c 2.9s | 11 | 18093 | 17144 | 469 79 | 0 | 0 4.19/4.27 c 4.3s | 12 | 26963 | 25819 | 516 111 | 0 | 0 6.19/6.28 c 6.3s | 12 | 39650 | 38219 | 516 153 | 0 | 0 6.29/6.39 c 6.4s | 13 | 40264 | 38832 | 568 155 | 0 | 0 8.39/8.40 c 8.4s | 13 | 52750 | 51132 | 568 194 | 0 | 0 9.49/9.59 c 9.6s | 14 | 60140 | 58352 | 625 216 | 0 | 0 11.59/11.60 c 11.6s | 14 | 72596 | 70552 | 625 252 | 0 | 0 13.59/13.61 c 13.6s | 14 | 84785 | 82552 | 625 286 | 0 | 0 14.39/14.47 c 14.5s | 15 | 89953 | 87632 | 688 301 | 0 | 0 16.39/16.48 c 16.5s | 15 | 102521 | 99932 | 688 333 | 0 | 0 18.39/18.48 c 18.5s | 15 | 114736 | 111932 | 688 365 | 0 | 0 20.39/20.49 c 20.5s | 15 | 126787 | 123732 | 688 396 | 0 | 0 21.79/21.80 c 21.8s | 16 | 134797 | 131552 | 757 416 | 0 | 0 23.79/23.81 c 23.8s | 16 | 147253 | 143652 | 757 446 | 0 | 0 25.79/25.82 c 25.8s | 16 | 159365 | 155552 | 757 474 | 0 | 0 27.78/27.84 c 27.8s | 16 | 171357 | 167252 | 757 503 | 0 | 0 29.79/29.84 c 29.8s | 16 | 183158 | 178852 | 757 531 | 0 | 0 31.78/31.85 c 31.8s | 16 | 194882 | 190252 | 757 559 | 0 | 0 33.09/33.12 c 33.1s | 17 | 202182 | 197432 | 833 576 | 0 | 0 35.08/35.13 c 35.1s | 17 | 214391 | 209232 | 833 602 | 0 | 0 37.08/37.14 c 37.1s | 17 | 226382 | 220832 | 833 627 | 0 | 0 39.08/39.14 c 39.1s | 17 | 238193 | 232432 | 833 653 | 0 | 0 41.08/41.16 c 41.1s | 17 | 249968 | 243932 | 833 679 | 0 | 0 43.08/43.17 c 43.2s | 17 | 261447 | 255132 | 833 703 | 0 | 0 45.09/45.18 c 45.2s | 17 | 273091 | 266532 | 833 729 | 0 | 0 47.08/47.18 c 47.2s | 17 | 284615 | 277732 | 833 754 | 0 | 0 49.08/49.19 c 49.2s | 17 | 296213 | 288932 | 833 778 | 0 | 0 50.48/50.53 c 50.5s | 18 | 303682 | 296252 | 917 794 | 0 | 0 52.48/52.54 c 52.5s | 18 | 315230 | 307452 | 917 817 | 0 | 0 54.48/54.56 c 54.5s | 18 | 326628 | 318652 | 917 840 | 0 | 0 56.48/56.57 c 56.6s | 18 | 338217 | 329952 | 917 862 | 0 | 0 58.48/58.58 c 58.6s | 18 | 349719 | 341252 | 917 885 | 0 | 0 60.49/60.59 c 60.6s | 18 | 361005 | 352352 | 917 908 | 0 | 0 62.48/62.59 c 62.6s | 18 | 372088 | 363152 | 917 930 | 0 | 0 64.58/64.61 c 64.6s | 18 | 383642 | 374352 | 917 953 | 0 | 0 66.58/66.63 c 66.6s | 18 | 395054 | 385252 | 917 975 | 0 | 0 68.58/68.65 c 68.6s | 18 | 406480 | 396352 | 917 998 | 0 | 0 70.58/70.66 c 70.6s | 18 | 417635 | 407252 | 917 1020 | 0 | 0 72.59/72.66 c 72.6s | 18 | 428882 | 418152 | 917 1042 | 0 | 0 74.58/74.67 c 74.7s | 18 | 440084 | 429152 | 917 1064 | 0 | 0 76.58/76.67 c 76.7s | 18 | 451273 | 440152 | 917 1087 | 0 | 0 77.38/77.48 c 77.5s | 19 | 455699 | 444482 | 1009 1095 | 0 | 0 79.38/79.48 c 79.5s | 19 | 467513 | 455882 | 1009 1116 | 0 | 0 81.39/81.49 c 81.5s | 19 | 479102 | 467182 | 1009 1137 | 0 | 0 83.48/83.50 c 83.5s | 19 | 490309 | 478082 | 1009 1157 | 0 | 0 85.48/85.50 c 85.5s | 19 | 501696 | 489182 | 1009 1178 | 0 | 0 87.48/87.51 c 87.5s | 19 | 513045 | 500182 | 1009 1198 | 0 | 0 89.48/89.51 c 89.5s | 19 | 524055 | 510882 | 1009 1218 | 0 | 0 91.48/91.53 c 91.5s | 19 | 535481 | 521982 | 1009 1239 | 0 | 0 93.48/93.54 c 93.5s | 19 | 546732 | 532882 | 1009 1259 | 0 | 0 95.47/95.55 c 95.5s | 19 | 557952 | 543782 | 1009 1279 | 0 | 0 97.47/97.56 c 97.5s | 19 | 568996 | 554482 | 1009 1299 | 0 | 0 99.47/99.57 c 99.6s | 19 | 580153 | 565282 | 1009 1319 | 0 | 0 101.47/101.57 c 101s | 19 | 591218 | 576182 | 1009 1340 | 0 | 0 103.48/103.58 c 103s | 19 | 602294 | 586982 | 1009 1360 | 0 | 0 105.47/105.59 c 105s | 19 | 613375 | 597682 | 1009 1380 | 0 | 0 107.57/107.60 c 107s | 19 | 624563 | 608482 | 1009 1400 | 0 | 0 109.57/109.60 c 109s | 19 | 635555 | 619182 | 1009 1420 | 0 | 0 111.57/111.61 c 111s | 19 | 646723 | 629982 | 1009 1440 | 0 | 0 113.57/113.63 c 113s | 19 | 657712 | 640682 | 1009 1460 | 0 | 0 115.58/115.65 c 115s | 19 | 669035 | 651682 | 1009 1480 | 0 | 0 117.57/117.66 c 117s | 19 | 680255 | 662582 | 1110 1500 | 0 | 0 118.37/118.47 c 118s | 20 | 684570 | 666827 | 1110 1507 | 0 | 0 120.37/120.48 c 120s | 20 | 696088 | 677927 | 1110 1526 | 0 | 0 122.47/122.50 c 122s | 20 | 707489 | 688727 | 1110 1544 | 0 | 0 124.47/124.52 c 124s | 20 | 718831 | 699427 | 1110 1563 | 0 | 0 126.48/126.53 c 126s | 20 | 730274 | 710327 | 1110 1581 | 0 | 0 128.47/128.54 c 128s | 20 | 741464 | 720927 | 1110 1599 | 0 | 0 130.47/130.55 c 130s | 20 | 753107 | 731927 | 1110 1618 | 0 | 0 132.47/132.57 c 132s | 20 | 764664 | 742827 | 1110 1636 | 0 | 0 134.47/134.58 c 134s | 20 | 776054 | 753927 | 1110 1655 | 0 | 0 136.48/136.59 c 136s | 20 | 787300 | 764727 | 1110 1674 | 0 | 0 138.47/138.60 c 138s | 20 | 798335 | 775127 | 1110 1691 | 0 | 0 140.57/140.61 c 140s | 20 | 809167 | 785627 | 1110 1709 | 0 | 0 142.57/142.61 c 142s | 20 | 820503 | 796727 | 1110 1728 | 0 | 0 144.57/144.61 c 144s | 20 | 831881 | 807727 | 1110 1747 | 0 | 0 146.57/146.63 c 146s | 20 | 843256 | 818327 | 1110 1765 | 0 | 0 148.57/148.65 c 148s | 20 | 854470 | 828927 | 1110 1783 | 0 | 0 150.56/150.66 c 150s | 20 | 865682 | 839827 | 1110 1801 | 0 | 0 152.56/152.67 c 152s | 20 | 876403 | 850327 | 1110 1819 | 0 | 0 154.56/154.68 c 154s | 20 | 887824 | 861227 | 1110 1838 | 0 | 0 156.56/156.68 c 156s | 20 | 898832 | 871727 | 1110 1855 | 0 | 0 158.56/158.69 c 158s | 20 | 909903 | 882327 | 1110 1874 | 0 | 0 160.57/160.70 c 160s | 20 | 921281 | 893127 | 1110 1892 | 0 | 0 162.66/162.71 c 162s | 20 | 932437 | 903727 | 1110 1910 | 0 | 0 164.66/164.73 c 164s | 20 | 943311 | 914227 | 1110 1928 | 0 | 0 166.66/166.74 c 166s | 20 | 954342 | 924627 | 1110 1946 | 0 | 0 168.66/168.74 c 168s | 20 | 965436 | 935227 | 1110 1964 | 0 | 0 170.66/170.75 c 170s | 20 | 976417 | 946027 | 1110 1982 | 0 | 0 172.67/172.75 c 172s | 20 | 987404 | 956627 | 1110 2000 | 0 | 0 174.67/174.76 c 174s | 20 | 998064 | 967027 | 1110 2018 | 0 | 0 176.67/176.76 c 176s | 20 | 1008984 | 977527 | 1110 2036 | 0 | 0 178.67/178.77 c 178s | 20 | 1019714 | 987927 | 1110 2053 | 0 | 0 180.67/180.78 c 180s | 20 | 1030642 | 998527 | 1221 2070 | 0 | 0 181.07/181.12 c 181s | 21 | 1032499 | 1000345 | 1221 2073 | 0 | 0 183.07/183.14 c 183s | 21 | 1043944 | 1011245 | 1221 2090 | 0 | 0 185.07/185.14 c 185s | 21 | 1055102 | 1021745 | 1221 2107 | 0 | 0 187.07/187.16 c 187s | 21 | 1066018 | 1032245 | 1221 2123 | 0 | 0 189.06/189.16 c 189s | 21 | 1077189 | 1042645 | 1221 2139 | 0 | 0 191.06/191.17 c 191s | 21 | 1088297 | 1053445 | 1221 2156 | 0 | 0 193.06/193.19 c 193s | 21 | 1099275 | 1064045 | 1221 2172 | 0 | 0 195.16/195.20 c 195s | 21 | 1110141 | 1074545 | 1221 2189 | 0 | 0 197.16/197.20 c 197s | 21 | 1120957 | 1084945 | 1221 2205 | 0 | 0 199.17/199.21 c 199s | 21 | 1131968 | 1095545 | 1221 2221 | 0 | 0 201.16/201.21 c 201s | 21 | 1142880 | 1105745 | 1221 2237 | 0 | 0 203.16/203.22 c 203s | 21 | 1153909 | 1115945 | 1221 2253 | 0 | 0 205.16/205.23 c 205s | 21 | 1164573 | 1126145 | 1221 2269 | 0 | 0 207.16/207.24 c 207s | 21 | 1175383 | 1136545 | 1221 2285 | 0 | 0 209.16/209.24 c 209s | 21 | 1186254 | 1147045 | 1221 2301 | 0 | 0 211.16/211.25 c 211s | 21 | 1197141 | 1157645 | 1221 2318 | 0 | 0 213.15/213.26 c 213s | 21 | 1207843 | 1168045 | 1221 2334 | 0 | 0 215.15/215.26 c 215s | 21 | 1218712 | 1178345 | 1221 2350 | 0 | 0 217.15/217.26 c 217s | 21 | 1229415 | 1188745 | 1221 2366 | 0 | 0 219.15/219.27 c 219s | 21 | 1240356 | 1199345 | 1221 2382 | 0 | 0 221.16/221.28 c 221s | 21 | 1251483 | 1209645 | 1221 2398 | 0 | 0 223.15/223.30 c 223s | 21 | 1262532 | 1220145 | 1221 2415 | 0 | 0 225.25/225.30 c 225s | 21 | 1273190 | 1230345 | 1221 2431 | 0 | 0 227.25/227.30 c 227s | 21 | 1283740 | 1240545 | 1221 2447 | 0 | 0 229.25/229.30 c 229s | 21 | 1294464 | 1250845 | 1221 2463 | 0 | 0 231.25/231.31 c 231s | 21 | 1305557 | 1261445 | 1221 2479 | 0 | 0 233.26/233.32 c 233s | 21 | 1316220 | 1271745 | 1221 2495 | 0 | 0 235.25/235.32 c 235s | 21 | 1326874 | 1281945 | 1221 2511 | 0 | 0 237.25/237.33 c 237s | 21 | 1337414 | 1292245 | 1221 2527 | 0 | 0 239.25/239.34 c 239s | 21 | 1347754 | 1302345 | 1221 2543 | 0 | 0 241.25/241.34 c 241s | 21 | 1358187 | 1312345 | 1221 2558 | 0 | 0 243.25/243.36 c 243s | 21 | 1368785 | 1322645 | 1221 2574 | 0 | 0 245.26/245.37 c 245s | 21 | 1379085 | 1332745 | 1221 2590 | 0 | 0 247.25/247.37 c 247s | 21 | 1389517 | 1342645 | 1221 2605 | 0 | 0 249.25/249.37 c 249s | 21 | 1400197 | 1352845 | 1221 2621 | 0 | 0 251.25/251.38 c 251s | 21 | 1411041 | 1363245 | 1221 2637 | 0 | 0 253.25/253.38 c 253s | 21 | 1421750 | 1373445 | 1221 2653 | 0 | 0 255.35/255.40 c 255s | 21 | 1432357 | 1383845 | 1221 2669 | 0 | 0 257.35/257.41 c 257s | 21 | 1442905 | 1394145 | 1221 2685 | 0 | 0 259.35/259.42 c 259s | 21 | 1453341 | 1404345 | 1221 2701 | 0 | 0 261.35/261.44 c 261s | 21 | 1463878 | 1414445 | 1221 2717 | 0 | 0 263.35/263.44 c 263s | 21 | 1474659 | 1424845 | 1221 2733 | 0 | 0 265.34/265.46 c 265s | 21 | 1485229 | 1434945 | 1221 2749 | 0 | 0 267.35/267.46 c 267s | 21 | 1495463 | 1444745 | 1221 2764 | 0 | 0 269.35/269.47 c 269s | 21 | 1505831 | 1454845 | 1221 2779 | 0 | 0 271.35/271.49 c 271s | 21 | 1516235 | 1464945 | 1221 2795 | 0 | 0 273.35/273.49 c 273s | 21 | 1526406 | 1474845 | 1221 2811 | 0 | 0 275.45/275.52 c 275s | 21 | 1536333 | 1484545 | 1221 2826 | 0 | 0 277.45/277.53 c 277s | 21 | 1547416 | 1495145 | 1344 2841 | 0 | 0 278.55/278.61 c 278s | 22 | 1553153 | 1500622 | 1344 2849 | 0 | 0 280.56/280.62 c 280s | 22 | 1564366 | 1511122 | 1344 2864 | 0 | 0 282.55/282.65 c 282s | 22 | 1575270 | 1521622 | 1344 2879 | 0 | 0 284.55/284.66 c 284s | 22 | 1586288 | 1532222 | 1344 2894 | 0 | 0 286.55/286.67 c 286s | 22 | 1597013 | 1542622 | 1344 2908 | 0 | 0 288.55/288.68 c 288s | 22 | 1607673 | 1553022 | 1344 2923 | 0 | 0 290.55/290.69 c 290s | 22 | 1617990 | 1563122 | 1344 2937 | 0 | 0 292.55/292.70 c 292s | 22 | 1628582 | 1573422 | 1344 2952 | 0 | 0 294.65/294.71 c 294s | 22 | 1639042 | 1583622 | 1344 2966 | 0 | 0 296.64/296.71 c 296s | 22 | 1649236 | 1593522 | 1344 2980 | 0 | 0 298.64/298.73 c 298s | 22 | 1659860 | 1603922 | 1344 2995 | 0 | 0 300.64/300.74 c 300s | 22 | 1670399 | 1614322 | 1344 3010 | 0 | 0 302.64/302.75 c 302s | 22 | 1680623 | 1624322 | 1344 3024 | 0 | 0 304.65/304.76 c 304s | 22 | 1690943 | 1634322 | 1344 3038 | 0 | 0 306.64/306.77 c 306s | 22 | 1701461 | 1644622 | 1344 3053 | 0 | 0 308.64/308.78 c 308s | 22 | 1711604 | 1654522 | 1344 3067 | 0 | 0 310.64/310.79 c 310s | 22 | 1722027 | 1664722 | 1344 3081 | 0 | 0 312.74/312.81 c 312s | 22 | 1732750 | 1675322 | 1344 3096 | 0 | 0 314.74/314.82 c 314s | 22 | 1743167 | 1685522 | 1344 3111 | 0 | 0 316.75/316.83 c 316s | 22 | 1753408 | 1695622 | 1344 3125 | 0 | 0 318.74/318.84 c 318s | 22 | 1763964 | 1705922 | 1344 3140 | 0 | 0 320.74/320.84 c 320s | 22 | 1774147 | 1715922 | 1344 3154 | 0 | 0 322.74/322.86 c 322s | 22 | 1784460 | 1726022 | 1344 3168 | 0 | 0 324.74/324.86 c 324s | 22 | 1794733 | 1736022 | 1344 3183 | 0 | 0 326.75/326.88 c 326s | 22 | 1804872 | 1745922 | 1344 3197 | 0 | 0 328.74/328.88 c 328s | 22 | 1814927 | 1755722 | 1344 3210 | 0 | 0 330.84/330.90 c 330s | 22 | 1825435 | 1766022 | 1344 3225 | 0 | 0 332.84/332.92 c 332s | 22 | 1835720 | 1776022 | 1344 3239 | 0 | 0 334.84/334.92 c 334s | 22 | 1845847 | 1785822 | 1344 3253 | 0 | 0 336.84/336.93 c 336s | 22 | 1855966 | 1795622 | 1344 3267 | 0 | 0 338.85/338.94 c 338s | 22 | 1865868 | 1805222 | 1344 3281 | 0 | 0 340.84/340.95 c 340s | 22 | 1875929 | 1815022 | 1344 3294 | 0 | 0 342.84/342.96 c 342s | 22 | 1886111 | 1824922 | 1344 3309 | 0 | 0 344.84/344.97 c 344s | 22 | 1896057 | 1834622 | 1344 3322 | 0 | 0 346.84/346.98 c 346s | 22 | 1906428 | 1844822 | 1344 3337 | 0 | 0 348.84/348.98 c 348s | 22 | 1916741 | 1854922 | 1344 3351 | 0 | 0 350.85/350.98 c 350s | 22 | 1927072 | 1864922 | 1344 3365 | 0 | 0 352.94/353.00 c 352s | 22 | 1937372 | 1875022 | 1344 3380 | 0 | 0 354.94/355.01 c 354s | 22 | 1947484 | 1884922 | 1344 3394 | 0 | 0 356.94/357.01 c 356s | 22 | 1957597 | 1894822 | 1344 3408 | 0 | 0 358.93/359.03 c 359s | 22 | 1967638 | 1904522 | 1344 3421 | 0 | 0 360.93/361.06 c 361s | 22 | 1977823 | 1914522 | 1344 3436 | 0 | 0 362.94/363.07 c 363s | 22 | 1987902 | 1924322 | 1344 3449 | 0 | 0 364.93/365.08 c 365s | 22 | 1997825 | 1934022 | 1344 3463 | 0 | 0 366.93/367.08 c 367s | 22 | 2008140 | 1943622 | 1344 3477 | 0 | 0 368.93/369.09 c 369s | 22 | 2018069 | 1953322 | 1344 3491 | 0 | 0 371.03/371.10 c 371s | 22 | 2028477 | 1963422 | 1344 3505 | 0 | 0 373.03/373.11 c 373s | 22 | 2038655 | 1973322 | 1344 3519 | 0 | 0 375.04/375.13 c 375s | 22 | 2048773 | 1983222 | 1344 3533 | 0 | 0 377.03/377.14 c 377s | 22 | 2059050 | 1993222 | 1344 3547 | 0 | 0 379.03/379.16 c 379s | 22 | 2069219 | 2003122 | 1344 3561 | 0 | 0 381.03/381.16 c 381s | 22 | 2079333 | 2012922 | 1344 3575 | 0 | 0 383.03/383.17 c 383s | 22 | 2089332 | 2022722 | 1344 3589 | 0 | 0 385.03/385.18 c 385s | 22 | 2099319 | 2032522 | 1344 3603 | 0 | 0 387.04/387.18 c 387s | 22 | 2109417 | 2042322 | 1344 3617 | 0 | 0 389.03/389.18 c 389s | 22 | 2119342 | 2052122 | 1344 3631 | 0 | 0 391.03/391.19 c 391s | 22 | 2129082 | 2061722 | 1344 3644 | 0 | 0 393.13/393.20 c 393s | 22 | 2139145 | 2071522 | 1344 3658 | 0 | 0 395.13/395.21 c 395s | 22 | 2149263 | 2081322 | 1344 3672 | 0 | 0 397.14/397.21 c 397s | 22 | 2159065 | 2090922 | 1344 3686 | 0 | 0 399.13/399.22 c 399s | 22 | 2169013 | 2100622 | 1344 3699 | 0 | 0 401.13/401.24 c 401s | 22 | 2178832 | 2110122 | 1344 3713 | 0 | 0 403.13/403.24 c 403s | 22 | 2189065 | 2120122 | 1344 3727 | 0 | 0 405.13/405.24 c 405s | 22 | 2199332 | 2130222 | 1344 3741 | 0 | 0 407.13/407.25 c 407s | 22 | 2209500 | 2140222 | 1344 3756 | 0 | 0 409.13/409.27 c 409s | 22 | 2219788 | 2150122 | 1344 3770 | 0 | 0 411.13/411.29 c 411s | 22 | 2229877 | 2160022 | 1344 3784 | 0 | 0 413.13/413.29 c 413s | 22 | 2239999 | 2169922 | 1344 3798 | 0 | 0 415.23/415.31 c 415s | 22 | 2249908 | 2179622 | 1344 3811 | 0 | 0 417.23/417.31 c 417s | 22 | 2259808 | 2189022 | 1344 3825 | 0 | 0 419.23/419.32 c 419s | 22 | 2269775 | 2198822 | 1344 3839 | 0 | 0 421.23/421.32 c 421s | 22 | 2279714 | 2208622 | 1344 3852 | 0 | 0 423.22/423.34 c 423s | 22 | 2289665 | 2218422 | 1344 3866 | 0 | 0 425.22/425.36 c 425s | 22 | 2299630 | 2228222 | 1344 3880 | 0 | 0 427.22/427.37 c 427s | 22 | 2309469 | 2237922 | 1479 3894 | 0 | 0 429.22/429.38 c 429s | 22 | 2319509 | 2247522 | 1479 3906 | 0 | 0 430.03/430.13 c 430s | 23 | 2323058 | 2251038 | 1479 3911 | 0 | 0 432.02/432.13 c 432s | 23 | 2333182 | 2260938 | 1479 3923 | 0 | 0 434.02/434.14 c 434s | 23 | 2343346 | 2270838 | 1479 3936 | 0 | 0 436.02/436.16 c 436s | 23 | 2353459 | 2280738 | 1479 3949 | 0 | 0 438.02/438.16 c 438s | 23 | 2363434 | 2290438 | 1479 3961 | 0 | 0 440.03/440.18 c 440s | 23 | 2373281 | 2300038 | 1479 3974 | 0 | 0 442.02/442.19 c 442s | 23 | 2383229 | 2309838 | 1479 3986 | 0 | 0 444.02/444.19 c 444s | 23 | 2393057 | 2319438 | 1479 3999 | 0 | 0 446.12/446.21 c 446s | 23 | 2403117 | 2329338 | 1479 4012 | 0 | 0 448.12/448.23 c 448s | 23 | 2412766 | 2338838 | 1479 4024 | 0 | 0 450.12/450.24 c 450s | 23 | 2422925 | 2348638 | 1479 4036 | 0 | 0 452.13/452.25 c 452s | 23 | 2432807 | 2358238 | 1479 4049 | 0 | 0 454.12/454.25 c 454s | 23 | 2442618 | 2367738 | 1479 4061 | 0 | 0 456.12/456.27 c 456s | 23 | 2452339 | 2377238 | 1479 4073 | 0 | 0 458.12/458.28 c 458s | 23 | 2462628 | 2387338 | 1479 4086 | 0 | 0 460.22/460.30 c 460s | 23 | 2473108 | 2397538 | 1479 4100 | 0 | 0 462.22/462.31 c 462s | 23 | 2483587 | 2407638 | 1479 4113 | 0 | 0 464.22/464.32 c 464s | 23 | 2493903 | 2417638 | 1479 4125 | 0 | 0 466.22/466.34 c 466s | 23 | 2504319 | 2427738 | 1479 4138 | 0 | 0 468.22/468.35 c 468s | 23 | 2514547 | 2437638 | 1479 4151 | 0 | 0 470.22/470.36 c 470s | 23 | 2524900 | 2447738 | 1479 4164 | 0 | 0 472.22/472.37 c 472s | 23 | 2535080 | 2457538 | 1479 4177 | 0 | 0 474.21/474.38 c 474s | 23 | 2545453 | 2467538 | 1479 4190 | 0 | 0 476.22/476.39 c 476s | 23 | 2555723 | 2477638 | 1479 4203 | 0 | 0 478.21/478.39 c 478s | 23 | 2565858 | 2487538 | 1479 4216 | 0 | 0 480.31/480.41 c 480s | 23 | 2575934 | 2497238 | 1479 4228 | 0 | 0 482.31/482.42 c 482s | 23 | 2585836 | 2506838 | 1479 4241 | 0 | 0 484.31/484.43 c 484s | 23 | 2595953 | 2516738 | 1479 4253 | 0 | 0 486.31/486.43 c 486s | 23 | 2606026 | 2526538 | 1479 4266 | 0 | 0 488.32/488.44 c 488s | 23 | 2616062 | 2536238 | 1479 4278 | 0 | 0 490.31/490.46 c 490s | 23 | 2626341 | 2546338 | 1479 4292 | 0 | 0 492.31/492.46 c 492s | 23 | 2636251 | 2555938 | 1479 4304 | 0 | 0 494.31/494.47 c 494s | 23 | 2646262 | 2565538 | 1479 4316 | 0 | 0 496.31/496.47 c 496s | 23 | 2655868 | 2574938 | 1479 4328 | 0 | 0 498.32/498.48 c 498s | 23 | 2665769 | 2584538 | 1479 4341 | 0 | 0 500.31/500.49 c 500s | 23 | 2675591 | 2594138 | 1479 4353 | 0 | 0 502.31/502.49 c 502s | 23 | 2685654 | 2603938 | 1479 4366 | 0 | 0 504.41/504.50 c 504s | 23 | 2695679 | 2613738 | 1479 4379 | 0 | 0 506.42/506.51 c 506s | 23 | 2705621 | 2623438 | 1479 4391 | 0 | 0 508.42/508.52 c 508s | 23 | 2715503 | 2633038 | 1479 4404 | 0 | 0 510.42/510.52 c 510s | 23 | 2725152 | 2642438 | 1479 4416 | 0 | 0 512.42/512.52 c 512s | 23 | 2735026 | 2652038 | 1479 4428 | 0 | 0 514.41/514.53 c 514s | 23 | 2744821 | 2661538 | 1479 4440 | 0 | 0 516.41/516.53 c 516s | 23 | 2754543 | 2670938 | 1479 4453 | 0 | 0 518.41/518.54 c 518s | 23 | 2764708 | 2680938 | 1479 4465 | 0 | 0 520.41/520.54 c 520s | 23 | 2774548 | 2690538 | 1479 4478 | 0 | 0 522.42/522.56 c 522s | 23 | 2784513 | 2700238 | 1479 4490 | 0 | 0 524.41/524.57 c 524s | 23 | 2794411 | 2709838 | 1479 4503 | 0 | 0 526.41/526.59 c 526s | 23 | 2804441 | 2719638 | 1479 4515 | 0 | 0 528.51/528.60 c 528s | 23 | 2814142 | 2728938 | 1479 4528 | 0 | 0 530.51/530.61 c 530s | 23 | 2823913 | 2738138 | 1479 4539 | 0 | 0 532.51/532.63 c 532s | 23 | 2833455 | 2747238 | 1479 4551 | 0 | 0 534.52/534.63 c 534s | 23 | 2843083 | 2756638 | 1479 4563 | 0 | 0 536.51/536.65 c 536s | 23 | 2852892 | 2766138 | 1479 4576 | 0 | 0 538.51/538.67 c 538s | 23 | 2862477 | 2775538 | 1479 4588 | 0 | 0 540.51/540.67 c 540s | 23 | 2872188 | 2785038 | 1479 4600 | 0 | 0 542.51/542.69 c 542s | 23 | 2882717 | 2795138 | 1479 4613 | 0 | 0 544.61/544.70 c 544s | 23 | 2893109 | 2805338 | 1479 4626 | 0 | 0 546.61/546.71 c 546s | 23 | 2903246 | 2815238 | 1479 4639 | 0 | 0 548.61/548.72 c 548s | 23 | 2913234 | 2825038 | 1479 4652 | 0 | 0 550.61/550.72 c 550s | 23 | 2923294 | 2834738 | 1479 4664 | 0 | 0 552.61/552.74 c 552s | 23 | 2933262 | 2844138 | 1479 4676 | 0 | 0 554.61/554.74 c 554s | 23 | 2943262 | 2853938 | 1479 4689 | 0 | 0 556.61/556.75 c 556s | 23 | 2953462 | 2863938 | 1479 4702 | 0 | 0 558.60/558.76 c 558s | 23 | 2963460 | 2873738 | 1479 4714 | 0 | 0 560.60/560.77 c 560s | 23 | 2973485 | 2883638 | 1479 4727 | 0 | 0 562.60/562.77 c 562s | 23 | 2983248 | 2893138 | 1479 4739 | 0 | 0 564.60/564.78 c 564s | 23 | 2992950 | 2902638 | 1479 4752 | 0 | 0 566.60/566.78 c 566s | 23 | 3003245 | 2912638 | 1479 4765 | 0 | 0 568.61/568.78 c 568s | 23 | 3013365 | 2922438 | 1479 4777 | 0 | 0 570.60/570.78 c 570s | 23 | 3023152 | 2932038 | 1479 4790 | 0 | 0 572.70/572.80 c 572s | 23 | 3032934 | 2941638 | 1479 4802 | 0 | 0 574.70/574.80 c 574s | 23 | 3043079 | 2951538 | 1479 4815 | 0 | 0 576.70/576.81 c 576s | 23 | 3053173 | 2961238 | 1479 4827 | 0 | 0 578.70/578.83 c 578s | 23 | 3063062 | 2970738 | 1479 4840 | 0 | 0 580.70/580.84 c 580s | 23 | 3073012 | 2980438 | 1479 4852 | 0 | 0 582.70/582.86 c 582s | 23 | 3082910 | 2990038 | 1479 4864 | 0 | 0 584.70/584.86 c 584s | 23 | 3092652 | 2999438 | 1479 4877 | 0 | 0 586.70/586.88 c 586s | 23 | 3102487 | 3009038 | 1479 4889 | 0 | 0 588.70/588.88 c 588s | 23 | 3112434 | 3018538 | 1479 4901 | 0 | 0 590.70/590.89 c 590s | 23 | 3122635 | 3028438 | 1479 4914 | 0 | 0 592.69/592.90 c 592s | 23 | 3132491 | 3038038 | 1479 4926 | 0 | 0 594.79/594.91 c 594s | 23 | 3142337 | 3047638 | 1479 4939 | 0 | 0 596.79/596.92 c 596s | 23 | 3152142 | 3057138 | 1479 4951 | 0 | 0 598.79/598.92 c 598s | 23 | 3161762 | 3066538 | 1479 4963 | 0 | 0 600.80/600.93 c 600s | 23 | 3171599 | 3076138 | 1479 4976 | 0 | 0 602.81/602.94 c 602s | 23 | 3181729 | 3085638 | 1479 4988 | 0 | 0 604.80/604.95 c 604s | 23 | 3191493 | 3095138 | 1479 5000 | 0 | 0 606.80/606.96 c 606s | 23 | 3201027 | 3104338 | 1479 5012 | 0 | 0 608.80/608.96 c 608s | 23 | 3211033 | 3113838 | 1479 5024 | 0 | 0 610.80/610.98 c 610s | 23 | 3221157 | 3123638 | 1479 5037 | 0 | 0 612.80/612.98 c 612s | 23 | 3231094 | 3133338 | 1479 5049 | 0 | 0 614.81/615.00 c 614s | 23 | 3240994 | 3143038 | 1479 5062 | 0 | 0 616.90/617.01 c 616s | 23 | 3250909 | 3152738 | 1479 5074 | 0 | 0 618.90/619.02 c 619s | 23 | 3260609 | 3162138 | 1479 5087 | 0 | 0 620.90/621.03 c 621s | 23 | 3270430 | 3171738 | 1479 5099 | 0 | 0 622.90/623.06 c 623s | 23 | 3280434 | 3181438 | 1479 5112 | 0 | 0 624.90/625.07 c 625s | 23 | 3290012 | 3190838 | 1479 5124 | 0 | 0 626.90/627.08 c 627s | 23 | 3299960 | 3200538 | 1479 5136 | 0 | 0 628.89/629.09 c 629s | 23 | 3309980 | 3210338 | 1479 5149 | 0 | 0 630.99/631.10 c 631s | 23 | 3319831 | 3220038 | 1479 5161 | 0 | 0 632.99/633.11 c 633s | 23 | 3329636 | 3229638 | 1479 5174 | 0 | 0 634.99/635.12 c 635s | 23 | 3339296 | 3239138 | 1479 5186 | 0 | 0 636.99/637.15 c 637s | 23 | 3349172 | 3248838 | 1479 5199 | 0 | 0 639.00/639.16 c 639s | 23 | 3358881 | 3258338 | 1479 5211 | 0 | 0 640.99/641.17 c 641s | 23 | 3368306 | 3267538 | 1479 5223 | 0 | 0 642.99/643.18 c 643s | 23 | 3378111 | 3277138 | 1479 5235 | 0 | 0 644.99/645.18 c 645s | 23 | 3387741 | 3286538 | 1479 5247 | 0 | 0 647.09/647.20 c 647s | 23 | 3397407 | 3295838 | 1479 5259 | 0 | 0 649.09/649.20 c 649s | 23 | 3407241 | 3305438 | 1479 5272 | 0 | 0 651.10/651.22 c 651s | 23 | 3416850 | 3314938 | 1479 5284 | 0 | 0 653.09/653.23 c 653s | 23 | 3426313 | 3324238 | 1479 5296 | 0 | 0 655.09/655.25 c 655s | 23 | 3436237 | 3333638 | 1479 5308 | 0 | 0 657.09/657.26 c 657s | 23 | 3446070 | 3343138 | 1479 5321 | 0 | 0 659.09/659.27 c 659s | 23 | 3456921 | 3353438 | 1627 5334 | 0 | 0 661.10/661.28 c 661s | 23 | 3467329 | 3363438 | 1627 5345 | 0 | 0 663.09/663.30 c 663s | 23 | 3477412 | 3373138 | 1627 5357 | 0 | 0 663.89/664.06 c 664s | 24 | 3481134 | 3376662 | 1627 5361 | 0 | 0 665.89/666.07 c 666s | 24 | 3491001 | 3386162 | 1627 5372 | 0 | 0 667.89/668.09 c 668s | 24 | 3501122 | 3395962 | 1627 5384 | 0 | 0 669.90/670.10 c 670s | 24 | 3511397 | 3405962 | 1627 5395 | 0 | 0 671.99/672.10 c 672s | 24 | 3521309 | 3415662 | 1627 5407 | 0 | 0 673.99/674.11 c 674s | 24 | 3531513 | 3425562 | 1627 5418 | 0 | 0 675.99/676.11 c 676s | 24 | 3541363 | 3435262 | 1627 5430 | 0 | 0 677.99/678.13 c 678s | 24 | 3551407 | 3444962 | 1627 5441 | 0 | 0 679.99/680.14 c 680s | 24 | 3561538 | 3454562 | 1627 5452 | 0 | 0 681.99/682.16 c 682s | 24 | 3571465 | 3464062 | 1627 5464 | 0 | 0 683.98/684.17 c 684s | 24 | 3581128 | 3473162 | 1627 5474 | 0 | 0 685.98/686.18 c 686s | 24 | 3590983 | 3482762 | 1627 5486 | 0 | 0 687.98/688.19 c 688s | 24 | 3600878 | 3492462 | 1627 5497 | 0 | 0 690.08/690.20 c 690s | 24 | 3610631 | 3502062 | 1627 5508 | 0 | 0 692.08/692.23 c 692s | 24 | 3620450 | 3511662 | 1627 5520 | 0 | 0 694.09/694.24 c 694s | 24 | 3630238 | 3521062 | 1627 5531 | 0 | 0 696.08/696.24 c 696s | 24 | 3640360 | 3531062 | 1627 5542 | 0 | 0 698.08/698.24 c 698s | 24 | 3650227 | 3540762 | 1627 5554 | 0 | 0 700.08/700.27 c 700s | 24 | 3660386 | 3550762 | 1627 5566 | 0 | 0 702.08/702.27 c 702s | 24 | 3670151 | 3560362 | 1627 5577 | 0 | 0 704.08/704.29 c 704s | 24 | 3680095 | 3569962 | 1627 5588 | 0 | 0 706.09/706.30 c 706s | 24 | 3690094 | 3579662 | 1627 5600 | 0 | 0 708.18/708.30 c 708s | 24 | 3700265 | 3589462 | 1627 5611 | 0 | 0 710.18/710.33 c 710s | 24 | 3710258 | 3599162 | 1627 5623 | 0 | 0 712.18/712.34 c 712s | 24 | 3720219 | 3608762 | 1627 5634 | 0 | 0 714.18/714.34 c 714s | 24 | 3729890 | 3618162 | 1627 5645 | 0 | 0 716.17/716.35 c 716s | 24 | 3739764 | 3627762 | 1627 5656 | 0 | 0 718.18/718.35 c 718s | 24 | 3750381 | 3637862 | 1627 5668 | 0 | 0 720.17/720.36 c 720s | 24 | 3760240 | 3647262 | 1627 5679 | 0 | 0 722.17/722.38 c 722s | 24 | 3770269 | 3657062 | 1627 5691 | 0 | 0 724.17/724.39 c 724s | 24 | 3780130 | 3666662 | 1627 5702 | 0 | 0 726.27/726.40 c 726s | 24 | 3790182 | 3676462 | 1627 5713 | 0 | 0 728.28/728.41 c 728s | 24 | 3800025 | 3686062 | 1627 5725 | 0 | 0 730.28/730.43 c 730s | 24 | 3810048 | 3695862 | 1627 5736 | 0 | 0 732.27/732.44 c 732s | 24 | 3819865 | 3705462 | 1627 5748 | 0 | 0 734.27/734.45 c 734s | 24 | 3829777 | 3715162 | 1627 5759 | 0 | 0 736.27/736.46 c 736s | 24 | 3839771 | 3724762 | 1627 5770 | 0 | 0 738.27/738.46 c 738s | 24 | 3849463 | 3734262 | 1627 5781 | 0 | 0 740.28/740.48 c 740s | 24 | 3859202 | 3743862 | 1627 5793 | 0 | 0 742.27/742.48 c 742s | 24 | 3868874 | 3753162 | 1627 5804 | 0 | 0 744.26/744.49 c 744s | 24 | 3878554 | 3762362 | 1627 5815 | 0 | 0 746.36/746.50 c 746s | 24 | 3888669 | 3772062 | 1627 5826 | 0 | 0 748.36/748.53 c 748s | 24 | 3899043 | 3781662 | 1627 5837 | 0 | 0 750.36/750.54 c 750s | 24 | 3908961 | 3791162 | 1627 5848 | 0 | 0 752.37/752.54 c 752s | 24 | 3918580 | 3800562 | 1627 5860 | 0 | 0 754.36/754.56 c 754s | 24 | 3928330 | 3810062 | 1627 5871 | 0 | 0 756.36/756.57 c 756s | 24 | 3938157 | 3819662 | 1627 5882 | 0 | 0 758.36/758.59 c 758s | 24 | 3948181 | 3829462 | 1627 5894 | 0 | 0 760.46/760.61 c 760s | 24 | 3958197 | 3839262 | 1627 5905 | 0 | 0 762.46/762.62 c 762s | 24 | 3968094 | 3848862 | 1627 5916 | 0 | 0 764.46/764.63 c 764s | 24 | 3977889 | 3858262 | 1627 5927 | 0 | 0 766.45/766.64 c 766s | 24 | 3987708 | 3867862 | 1627 5939 | 0 | 0 768.45/768.65 c 768s | 24 | 3997269 | 3877262 | 1627 5950 | 0 | 0 770.45/770.65 c 770s | 24 | 4007043 | 3886862 | 1627 5961 | 0 | 0 772.45/772.67 c 772s | 24 | 4016560 | 3896162 | 1627 5972 | 0 | 0 774.45/774.69 c 774s | 24 | 4026461 | 3905762 | 1627 5983 | 0 | 0 776.46/776.69 c 776s | 24 | 4036293 | 3915262 | 1627 5994 | 0 | 0 778.55/778.70 c 778s | 24 | 4045850 | 3924562 | 1627 6005 | 0 | 0 780.55/780.71 c 780s | 24 | 4055301 | 3933562 | 1627 6016 | 0 | 0 782.55/782.71 c 782s | 24 | 4065304 | 3943362 | 1627 6027 | 0 | 0 784.54/784.72 c 784s | 24 | 4075495 | 3953362 | 1627 6039 | 0 | 0 786.54/786.74 c 786s | 24 | 4085468 | 3962862 | 1627 6050 | 0 | 0 788.55/788.76 c 788s | 24 | 4095464 | 3972662 | 1627 6062 | 0 | 0 790.54/790.77 c 790s | 24 | 4105109 | 3982062 | 1627 6073 | 0 | 0 792.54/792.79 c 792s | 24 | 4114853 | 3991462 | 1627 6084 | 0 | 0 794.54/794.79 c 794s | 24 | 4124274 | 4000662 | 1627 6095 | 0 | 0 796.54/796.79 c 796s | 24 | 4134159 | 4010362 | 1627 6106 | 0 | 0 798.64/798.81 c 798s | 24 | 4143810 | 4019862 | 1627 6117 | 0 | 0 800.64/800.82 c 800s | 24 | 4153730 | 4029562 | 1627 6129 | 0 | 0 802.64/802.83 c 802s | 24 | 4163662 | 4039162 | 1627 6140 | 0 | 0 804.64/804.83 c 804s | 24 | 4173457 | 4048662 | 1627 6151 | 0 | 0 806.64/806.83 c 806s | 24 | 4183129 | 4058062 | 1627 6162 | 0 | 0 808.64/808.83 c 808s | 24 | 4192670 | 4067362 | 1627 6173 | 0 | 0 810.64/810.83 c 810s | 24 | 4202250 | 4076762 | 1627 6185 | 0 | 0 812.64/812.84 c 812s | 24 | 4211776 | 4086062 | 1627 6195 | 0 | 0 814.63/814.86 c 814s | 24 | 4221651 | 4095762 | 1627 6207 | 0 | 0 816.63/816.87 c 816s | 24 | 4231340 | 4105162 | 1627 6218 | 0 | 0 818.63/818.89 c 818s | 24 | 4240780 | 4114462 | 1627 6229 | 0 | 0 820.73/820.91 c 820s | 24 | 4250250 | 4123762 | 1627 6240 | 0 | 0 822.73/822.93 c 822s | 24 | 4259768 | 4132762 | 1627 6250 | 0 | 0 824.72/824.94 c 824s | 24 | 4269819 | 4142562 | 1627 6262 | 0 | 0 826.72/826.94 c 826s | 24 | 4279840 | 4152262 | 1627 6273 | 0 | 0 828.72/828.96 c 828s | 24 | 4289781 | 4161962 | 1627 6285 | 0 | 0 830.72/830.97 c 830s | 24 | 4299742 | 4171762 | 1627 6296 | 0 | 0 832.72/832.99 c 832s | 24 | 4309612 | 4181462 | 1627 6308 | 0 | 0 834.73/834.99 c 834s | 24 | 4319366 | 4191062 | 1627 6319 | 0 | 0 836.82/837.00 c 836s | 24 | 4329262 | 4200762 | 1627 6330 | 0 | 0 838.82/839.02 c 839s | 24 | 4339254 | 4210562 | 1627 6342 | 0 | 0 840.83/841.03 c 841s | 24 | 4348931 | 4219962 | 1627 6353 | 0 | 0 842.82/843.04 c 843s | 24 | 4358940 | 4229662 | 1627 6364 | 0 | 0 844.82/845.04 c 845s | 24 | 4368826 | 4239262 | 1627 6376 | 0 | 0 846.83/847.05 c 847s | 24 | 4378651 | 4248762 | 1627 6387 | 0 | 0 848.82/849.07 c 849s | 24 | 4388386 | 4258262 | 1627 6398 | 0 | 0 850.82/851.08 c 851s | 24 | 4398056 | 4267662 | 1627 6409 | 0 | 0 852.92/853.10 c 853s | 24 | 4407861 | 4277162 | 1627 6420 | 0 | 0 854.91/855.12 c 855s | 24 | 4417485 | 4286462 | 1627 6431 | 0 | 0 856.91/857.12 c 857s | 24 | 4427131 | 4295962 | 1627 6442 | 0 | 0 858.92/859.14 c 859s | 24 | 4437025 | 4305562 | 1627 6454 | 0 | 0 860.91/861.15 c 861s | 24 | 4446547 | 4314762 | 1627 6465 | 0 | 0 862.91/863.17 c 863s | 24 | 4456438 | 4324362 | 1627 6476 | 0 | 0 864.91/865.18 c 865s | 24 | 4466183 | 4333862 | 1627 6487 | 0 | 0 866.91/867.19 c 867s | 24 | 4475967 | 4343462 | 1627 6498 | 0 | 0 869.01/869.20 c 869s | 24 | 4485628 | 4352862 | 1627 6509 | 0 | 0 871.01/871.21 c 871s | 24 | 4495161 | 4362162 | 1627 6520 | 0 | 0 873.00/873.22 c 873s | 24 | 4504710 | 4371262 | 1627 6531 | 0 | 0 875.00/875.24 c 875s | 24 | 4514348 | 4380562 | 1627 6542 | 0 | 0 877.00/877.26 c 877s | 24 | 4523924 | 4389762 | 1627 6553 | 0 | 0 879.00/879.28 c 879s | 24 | 4534181 | 4399762 | 1627 6565 | 0 | 0 881.01/881.29 c 881s | 24 | 4544324 | 4409662 | 1627 6576 | 0 | 0 883.00/883.30 c 883s | 24 | 4554288 | 4419362 | 1627 6588 | 0 | 0 885.10/885.32 c 885s | 24 | 4564515 | 4429362 | 1627 6599 | 0 | 0 887.09/887.33 c 887s | 24 | 4574447 | 4439062 | 1627 6611 | 0 | 0 889.09/889.36 c 889s | 24 | 4584680 | 4449062 | 1627 6623 | 0 | 0 891.09/891.37 c 891s | 24 | 4594947 | 4458862 | 1627 6634 | 0 | 0 893.09/893.37 c 893s | 24 | 4605077 | 4468362 | 1627 6645 | 0 | 0 895.09/895.38 c 895s | 24 | 4615053 | 4478062 | 1627 6657 | 0 | 0 897.09/897.38 c 897s | 24 | 4625035 | 4487862 | 1627 6668 | 0 | 0 899.09/899.39 c 899s | 24 | 4634840 | 4497462 | 1627 6680 | 0 | 0 901.09/901.39 c 901s | 24 | 4644827 | 4507062 | 1627 6691 | 0 | 0 903.19/903.40 c 903s | 24 | 4654549 | 4516462 | 1627 6702 | 0 | 0 905.20/905.41 c 905s | 24 | 4664348 | 4525862 | 1627 6713 | 0 | 0 907.19/907.41 c 907s | 24 | 4674226 | 4535462 | 1627 6724 | 0 | 0 909.19/909.42 c 909s | 24 | 4684381 | 4545362 | 1627 6736 | 0 | 0 911.19/911.43 c 911s | 24 | 4694270 | 4555062 | 1627 6747 | 0 | 0 913.18/913.45 c 913s | 24 | 4703993 | 4564462 | 1627 6759 | 0 | 0 915.18/915.48 c 915s | 24 | 4713620 | 4573862 | 1627 6770 | 0 | 0 917.18/917.48 c 917s | 24 | 4723411 | 4583362 | 1627 6781 | 0 | 0 919.28/919.50 c 919s | 24 | 4732939 | 4592662 | 1627 6792 | 0 | 0 921.28/921.50 c 921s | 24 | 4742875 | 4602362 | 1627 6803 | 0 | 0 923.27/923.52 c 923s | 24 | 4752739 | 4611962 | 1627 6814 | 0 | 0 925.27/925.54 c 925s | 24 | 4762563 | 4621562 | 1627 6826 | 0 | 0 927.27/927.55 c 927s | 24 | 4772193 | 4630962 | 1627 6837 | 0 | 0 929.28/929.57 c 929s | 24 | 4782280 | 4640662 | 1627 6848 | 0 | 0 931.27/931.58 c 931s | 24 | 4791903 | 4649862 | 1627 6859 | 0 | 0 933.27/933.59 c 933s | 24 | 4801453 | 4659262 | 1627 6870 | 0 | 0 935.37/935.60 c 935s | 24 | 4811356 | 4668962 | 1627 6881 | 0 | 0 937.37/937.61 c 937s | 24 | 4821175 | 4678562 | 1627 6893 | 0 | 0 939.37/939.61 c 939s | 24 | 4830881 | 4688062 | 1627 6904 | 0 | 0 941.37/941.63 c 941s | 24 | 4840904 | 4697762 | 1627 6915 | 0 | 0 943.37/943.65 c 943s | 24 | 4850570 | 4707262 | 1627 6927 | 0 | 0 945.37/945.67 c 945s | 24 | 4860429 | 4716562 | 1627 6937 | 0 | 0 947.37/947.67 c 947s | 24 | 4869803 | 4725562 | 1627 6948 | 0 | 0 949.37/949.69 c 949s | 24 | 4879572 | 4735062 | 1627 6959 | 0 | 0 951.38/951.69 c 951s | 24 | 4889201 | 4744262 | 1627 6970 | 0 | 0 953.36/953.70 c 953s | 24 | 4899072 | 4753762 | 1627 6981 | 0 | 0 955.46/955.71 c 955s | 24 | 4909622 | 4763962 | 1627 6993 | 0 | 0 957.46/957.73 c 957s | 24 | 4919942 | 4773862 | 1627 7005 | 0 | 0 959.46/959.74 c 959s | 24 | 4930153 | 4783762 | 1627 7017 | 0 | 0 961.46/961.76 c 961s | 24 | 4940183 | 4793462 | 1627 7028 | 0 | 0 963.46/963.77 c 963s | 24 | 4950232 | 4803162 | 1627 7039 | 0 | 0 965.46/965.78 c 965s | 24 | 4960357 | 4812962 | 1627 7051 | 0 | 0 967.55/967.80 c 967s | 24 | 4970618 | 4823062 | 1627 7063 | 0 | 0 969.55/969.80 c 969s | 24 | 4980673 | 4832862 | 1627 7074 | 0 | 0 971.55/971.81 c 971s | 24 | 4990747 | 4842662 | 1627 7086 | 0 | 0 973.55/973.83 c 973s | 24 | 5001013 | 4852662 | 1627 7098 | 0 | 0 975.55/975.85 c 975s | 24 | 5011216 | 4862462 | 1627 7109 | 0 | 0 977.55/977.87 c 977s | 24 | 5021297 | 4872262 | 1627 7121 | 0 | 0 979.55/979.88 c 979s | 24 | 5031325 | 4882162 | 1627 7132 | 0 | 0 981.55/981.89 c 981s | 24 | 5041249 | 4891862 | 1627 7144 | 0 | 0 983.64/983.90 c 983s | 24 | 5051314 | 4901662 | 1627 7155 | 0 | 0 985.64/985.91 c 985s | 24 | 5061325 | 4911262 | 1627 7167 | 0 | 0 987.65/987.92 c 987s | 24 | 5071244 | 4920762 | 1627 7178 | 0 | 0 989.64/989.93 c 989s | 24 | 5081194 | 4930462 | 1627 7189 | 0 | 0 991.64/991.95 c 991s | 24 | 5091059 | 4939962 | 1627 7200 | 0 | 0 993.64/993.97 c 993s | 24 | 5101119 | 4949662 | 1627 7212 | 0 | 0 995.64/995.98 c 995s | 24 | 5111321 | 4959562 | 1627 7223 | 0 | 0 997.64/997.98 c 997s | 24 | 5121357 | 4969362 | 1627 7235 | 0 | 0 999.65/999.99 c 999s | 24 | 5131352 | 4979062 | 1627 7246 | 0 | 0 1001.64/1001.99 c 1001s | 24 | 5141033 | 4988562 | 1627 7258 | 0 | 0 1003.74/1004.00 c 1003s | 24 | 5150833 | 4998162 | 1627 7269 | 0 | 0 1005.73/1006.01 c 1005s | 24 | 5160567 | 5007562 | 1627 7280 | 0 | 0 1007.73/1008.03 c 1008s | 24 | 5170583 | 5017162 | 1627 7291 | 0 | 0 1009.73/1010.05 c 1010s | 24 | 5180640 | 5026962 | 1627 7303 | 0 | 0 1011.75/1012.05 c 1012s | 24 | 5190806 | 5036862 | 1790 7314 | 0 | 0 1013.73/1014.06 c 1014s | 24 | 5200746 | 5046562 | 1790 7324 | 0 | 0 1015.73/1016.07 c 1016s | 24 | 5210725 | 5056062 | 1790 7334 | 0 | 0 1017.63/1017.98 c 1017s | 25 | 5219929 | 5065098 | 1790 7344 | 0 | 0 1019.73/1020.00 c 1019s | 25 | 5230427 | 5075298 | 1790 7355 | 0 | 0 1021.74/1022.01 c 1021s | 25 | 5240704 | 5085398 | 1790 7366 | 0 | 0 1023.73/1024.02 c 1024s | 25 | 5251106 | 5095498 | 1790 7376 | 0 | 0 1025.73/1026.02 c 1026s | 25 | 5261484 | 5105598 | 1790 7387 | 0 | 0 1027.72/1028.03 c 1028s | 25 | 5271616 | 5115298 | 1790 7398 | 0 | 0 1029.72/1030.03 c 1030s | 25 | 5281653 | 5124898 | 1790 7408 | 0 | 0 1031.72/1032.03 c 1032s | 25 | 5291632 | 5134398 | 1790 7418 | 0 | 0 1033.73/1034.04 c 1034s | 25 | 5301746 | 5144198 | 1790 7429 | 0 | 0 1035.72/1036.05 c 1036s | 25 | 5312155 | 5154298 | 1790 7439 | 0 | 0 1037.72/1038.05 c 1038s | 25 | 5322583 | 5164198 | 1790 7450 | 0 | 0 1039.72/1040.06 c 1040s | 25 | 5332508 | 5173898 | 1790 7461 | 0 | 0 1041.72/1042.07 c 1042s | 25 | 5342596 | 5183498 | 1790 7471 | 0 | 0 1043.72/1044.08 c 1044s | 25 | 5352882 | 5193398 | 1790 7482 | 0 | 0 1045.71/1046.10 c 1046s | 25 | 5363094 | 5203298 | 1790 7492 | 0 | 0 1047.81/1048.10 c 1048s | 25 | 5373076 | 5212998 | 1790 7503 | 0 | 0 1049.81/1050.11 c 1050s | 25 | 5382967 | 5222598 | 1790 7513 | 0 | 0 1051.81/1052.12 c 1052s | 25 | 5392872 | 5232198 | 1790 7523 | 0 | 0 1053.81/1054.14 c 1054s | 25 | 5403223 | 5242298 | 1790 7534 | 0 | 0 1055.82/1056.16 c 1056s | 25 | 5413326 | 5252198 | 1790 7545 | 0 | 0 1057.81/1058.17 c 1058s | 25 | 5423268 | 5261898 | 1790 7555 | 0 | 0 1059.81/1060.17 c 1060s | 25 | 5433294 | 5271698 | 1790 7566 | 0 | 0 1061.81/1062.18 c 1062s | 25 | 5443246 | 5281398 | 1790 7576 | 0 | 0 1063.90/1064.20 c 1064s | 25 | 5453599 | 5291298 | 1790 7587 | 0 | 0 1065.90/1066.21 c 1066s | 25 | 5463790 | 5301098 | 1790 7597 | 0 | 0 1067.91/1068.22 c 1068s | 25 | 5473917 | 5310798 | 1790 7608 | 0 | 0 1069.90/1070.23 c 1070s | 25 | 5483845 | 5320398 | 1790 7618 | 0 | 0 1071.90/1072.24 c 1072s | 25 | 5493763 | 5329998 | 1790 7628 | 0 | 0 1073.90/1074.25 c 1074s | 25 | 5503959 | 5339798 | 1790 7639 | 0 | 0 1075.90/1076.26 c 1076s | 25 | 5513726 | 5349298 | 1790 7649 | 0 | 0 1077.90/1078.27 c 1078s | 25 | 5524171 | 5359398 | 1790 7660 | 0 | 0 1079.90/1080.29 c 1080s | 25 | 5534483 | 5369398 | 1790 7671 | 0 | 0 1082.00/1082.30 c 1082s | 25 | 5544637 | 5379298 | 1790 7681 | 0 | 0 1083.99/1084.30 c 1084s | 25 | 5554763 | 5389198 | 1790 7692 | 0 | 0 1086.00/1086.33 c 1086s | 25 | 5564888 | 5399098 | 1790 7703 | 0 | 0 1088.00/1088.34 c 1088s | 25 | 5574759 | 5408798 | 1790 7713 | 0 | 0 1090.00/1090.37 c 1090s | 25 | 5584719 | 5418598 | 1790 7724 | 0 | 0 1092.01/1092.39 c 1092s | 25 | 5594694 | 5428298 | 1790 7734 | 0 | 0 1094.10/1094.41 c 1094s | 25 | 5604636 | 5437998 | 1790 7744 | 0 | 0 1096.10/1096.41 c 1096s | 25 | 5614446 | 5447598 | 1790 7755 | 0 | 0 1098.10/1098.43 c 1098s | 25 | 5624715 | 5457498 | 1790 7765 | 0 | 0 1100.10/1100.43 c 1100s | 25 | 5634802 | 5467298 | 1790 7776 | 0 | 0 1102.10/1102.44 c 1102s | 25 | 5645012 | 5477198 | 1790 7786 | 0 | 0 1104.10/1104.46 c 1104s | 25 | 5655017 | 5486998 | 1790 7797 | 0 | 0 1106.09/1106.47 c 1106s | 25 | 5664973 | 5496698 | 1790 7807 | 0 | 0 1108.09/1108.47 c 1108s | 25 | 5674730 | 5506098 | 1790 7818 | 0 | 0 1110.09/1110.48 c 1110s | 25 | 5684604 | 5515798 | 1790 7828 | 0 | 0 1112.09/1112.49 c 1112s | 25 | 5694528 | 5525398 | 1790 7838 | 0 | 0 1114.19/1114.51 c 1114s | 25 | 5704516 | 5535098 | 1790 7849 | 0 | 0 1116.19/1116.52 c 1116s | 25 | 5714460 | 5544798 | 1790 7859 | 0 | 0 1118.19/1118.52 c 1118s | 25 | 5724289 | 5554398 | 1790 7869 | 0 | 0 1120.18/1120.53 c 1120s | 25 | 5734101 | 5563998 | 1790 7880 | 0 | 0 1122.18/1122.53 c 1122s | 25 | 5743882 | 5573498 | 1790 7890 | 0 | 0 1124.18/1124.54 c 1124s | 25 | 5753873 | 5583198 | 1790 7900 | 0 | 0 1126.18/1126.54 c 1126s | 25 | 5763893 | 5592798 | 1790 7911 | 0 | 0 1128.18/1128.55 c 1128s | 25 | 5773722 | 5602398 | 1790 7921 | 0 | 0 1130.18/1130.57 c 1130s | 25 | 5783449 | 5611898 | 1790 7931 | 0 | 0 1132.18/1132.59 c 1132s | 25 | 5793382 | 5621498 | 1790 7942 | 0 | 0 1134.28/1134.61 c 1134s | 25 | 5803253 | 5630898 | 1790 7952 | 0 | 0 1136.28/1136.61 c 1136s | 25 | 5813993 | 5641298 | 1790 7963 | 0 | 0 1138.28/1138.63 c 1138s | 25 | 5824480 | 5651398 | 1790 7974 | 0 | 0 1140.27/1140.64 c 1140s | 25 | 5834744 | 5661398 | 1790 7984 | 0 | 0 1142.27/1142.64 c 1142s | 25 | 5844989 | 5671398 | 1790 7995 | 0 | 0 1144.27/1144.64 c 1144s | 25 | 5855364 | 5681298 | 1790 8006 | 0 | 0 1146.27/1146.65 c 1146s | 25 | 5865709 | 5691298 | 1790 8016 | 0 | 0 1148.27/1148.65 c 1148s | 25 | 5875835 | 5701098 | 1790 8027 | 0 | 0 1150.27/1150.66 c 1150s | 25 | 5886051 | 5710998 | 1790 8037 | 0 | 0 1152.28/1152.68 c 1152s | 25 | 5896482 | 5721098 | 1790 8048 | 0 | 0 1154.27/1154.68 c 1154s | 25 | 5906631 | 5730898 | 1790 8059 | 0 | 0 1156.27/1156.69 c 1156s | 25 | 5916804 | 5740698 | 1790 8069 | 0 | 0 1158.27/1158.69 c 1158s | 25 | 5927131 | 5750598 | 1790 8080 | 0 | 0 1160.37/1160.71 c 1160s | 25 | 5937291 | 5760498 | 1790 8091 | 0 | 0 1162.38/1162.72 c 1162s | 25 | 5947721 | 5770698 | 1790 8102 | 0 | 0 1164.37/1164.73 c 1164s | 25 | 5957938 | 5780698 | 1790 8112 | 0 | 0 1166.37/1166.73 c 1166s | 25 | 5968187 | 5790698 | 1790 8123 | 0 | 0 1168.37/1168.74 c 1168s | 25 | 5978324 | 5800498 | 1790 8134 | 0 | 0 1170.36/1170.75 c 1170s | 25 | 5988579 | 5810398 | 1790 8144 | 0 | 0 1172.37/1172.76 c 1172s | 25 | 5998823 | 5819998 | 1790 8154 | 0 | 0 1174.36/1174.77 c 1174s | 25 | 6008983 | 5829898 | 1790 8165 | 0 | 0 1176.36/1176.77 c 1176s | 25 | 6019007 | 5839598 | 1790 8175 | 0 | 0 1178.36/1178.78 c 1178s | 25 | 6029102 | 5849398 | 1790 8186 | 0 | 0 1180.36/1180.79 c 1180s | 25 | 6039143 | 5859098 | 1790 8196 | 0 | 0 1182.46/1182.80 c 1182s | 25 | 6049124 | 5868698 | 1790 8207 | 0 | 0 1184.46/1184.80 c 1184s | 25 | 6059044 | 5878298 | 1790 8217 | 0 | 0 1186.45/1186.81 c 1186s | 25 | 6069092 | 5888098 | 1790 8228 | 0 | 0 1188.45/1188.82 c 1188s | 25 | 6078695 | 5897398 | 1790 8238 | 0 | 0 1190.45/1190.84 c 1190s | 25 | 6088682 | 5907098 | 1790 8248 | 0 | 0 1192.45/1192.84 c 1192s | 25 | 6098555 | 5916698 | 1790 8258 | 0 | 0 1194.44/1194.84 c 1194s | 25 | 6108480 | 5926398 | 1790 8269 | 0 | 0 1196.45/1196.84 c 1196s | 25 | 6118612 | 5936198 | 1790 8279 | 0 | 0 1198.44/1198.86 c 1198s | 25 | 6128540 | 5945698 | 1790 8289 | 0 | 0 1200.44/1200.86 c 1200s | 25 | 6138702 | 5955198 | 1790 8300 | 0 | 0 1202.44/1202.87 c 1202s | 25 | 6149163 | 5965298 | 1790 8311 | 0 | 0 1204.45/1204.88 c 1204s | 25 | 6159563 | 5975398 | 1790 8321 | 0 | 0 1206.45/1206.89 c 1206s | 25 | 6169774 | 5985298 | 1790 8332 | 0 | 0 1208.45/1208.90 c 1208s | 25 | 6179991 | 5995198 | 1790 8343 | 0 | 0 1210.55/1210.92 c 1210s | 25 | 6190101 | 6004898 | 1790 8353 | 0 | 0 1212.54/1212.93 c 1212s | 25 | 6200179 | 6014698 | 1790 8364 | 0 | 0 1214.54/1214.94 c 1214s | 25 | 6210088 | 6024298 | 1790 8374 | 0 | 0 1216.54/1216.96 c 1216s | 25 | 6219863 | 6033798 | 1790 8384 | 0 | 0 1218.55/1218.96 c 1218s | 25 | 6229844 | 6043498 | 1790 8395 | 0 | 0 1220.54/1220.96 c 1220s | 25 | 6239989 | 6053298 | 1790 8405 | 0 | 0 1222.54/1222.98 c 1222s | 25 | 6249758 | 6062698 | 1790 8415 | 0 | 0 1224.64/1225.00 c 1224s | 25 | 6258913 | 6071498 | 1790 8425 | 0 | 0 1226.64/1227.00 c 1226s | 25 | 6268465 | 6080698 | 1790 8435 | 0 | 0 1228.64/1229.00 c 1228s | 25 | 6278280 | 6090198 | 1790 8445 | 0 | 0 1230.64/1231.02 c 1231s | 25 | 6288317 | 6099798 | 1790 8455 | 0 | 0 1232.63/1233.03 c 1233s | 25 | 6298269 | 6109498 | 1790 8466 | 0 | 0 1234.63/1235.04 c 1235s | 25 | 6308650 | 6119598 | 1790 8476 | 0 | 0 1236.63/1237.05 c 1237s | 25 | 6318546 | 6129198 | 1790 8487 | 0 | 0 1238.63/1239.05 c 1239s | 25 | 6328721 | 6139098 | 1790 8497 | 0 | 0 1240.63/1241.06 c 1241s | 25 | 6338771 | 6148798 | 1790 8508 | 0 | 0 1242.63/1243.07 c 1243s | 25 | 6348808 | 6158598 | 1790 8518 | 0 | 0 1244.62/1245.07 c 1245s | 25 | 6358719 | 6168298 | 1790 8529 | 0 | 0 1246.62/1247.08 c 1247s | 25 | 6368724 | 6177898 | 1790 8539 | 0 | 0 1248.62/1249.09 c 1249s | 25 | 6378784 | 6187598 | 1790 8549 | 0 | 0 1250.72/1251.11 c 1251s | 25 | 6388604 | 6197198 | 1790 8560 | 0 | 0 1252.72/1253.12 c 1253s | 25 | 6398551 | 6206798 | 1790 8570 | 0 | 0 1254.73/1255.14 c 1255s | 25 | 6408610 | 6216498 | 1790 8581 | 0 | 0 1256.72/1257.16 c 1257s | 25 | 6418387 | 6225898 | 1790 8591 | 0 | 0 1258.72/1259.17 c 1259s | 25 | 6428308 | 6235598 | 1790 8601 | 0 | 0 1260.72/1261.18 c 1261s | 25 | 6438354 | 6245398 | 1790 8612 | 0 | 0 1262.72/1263.19 c 1263s | 25 | 6448916 | 6255698 | 1790 8623 | 0 | 0 1264.81/1265.20 c 1265s | 25 | 6459257 | 6265798 | 1790 8634 | 0 | 0 1266.83/1267.20 c 1267s | 25 | 6469334 | 6275598 | 1790 8644 | 0 | 0 1268.82/1269.21 c 1269s | 25 | 6479648 | 6285698 | 1790 8655 | 0 | 0 1270.82/1271.23 c 1271s | 25 | 6490051 | 6295698 | 1790 8666 | 0 | 0 1272.82/1273.23 c 1273s | 25 | 6500214 | 6305598 | 1790 8676 | 0 | 0 1274.82/1275.23 c 1275s | 25 | 6510222 | 6315298 | 1790 8687 | 0 | 0 1276.82/1277.25 c 1277s | 25 | 6520411 | 6325198 | 1790 8697 | 0 | 0 1278.82/1279.27 c 1279s | 25 | 6530693 | 6335198 | 1790 8708 | 0 | 0 1280.82/1281.28 c 1281s | 25 | 6540833 | 6344898 | 1790 8718 | 0 | 0 1282.91/1283.30 c 1283s | 25 | 6550860 | 6354598 | 1790 8729 | 0 | 0 1284.91/1285.31 c 1285s | 25 | 6561070 | 6364498 | 1790 8739 | 0 | 0 1286.91/1287.32 c 1287s | 25 | 6570907 | 6374098 | 1790 8750 | 0 | 0 1288.92/1289.33 c 1289s | 25 | 6580839 | 6383798 | 1790 8760 | 0 | 0 1290.91/1291.34 c 1291s | 25 | 6590959 | 6393598 | 1790 8771 | 0 | 0 1292.91/1293.34 c 1293s | 25 | 6601076 | 6403198 | 1790 8781 | 0 | 0 1294.91/1295.35 c 1295s | 25 | 6610944 | 6412798 | 1790 8791 | 0 | 0 1296.90/1297.37 c 1297s | 25 | 6621025 | 6422398 | 1790 8802 | 0 | 0 1298.90/1299.38 c 1299s | 25 | 6630733 | 6431798 | 1790 8812 | 0 | 0 1300.91/1301.39 c 1301s | 25 | 6641013 | 6441898 | 1790 8822 | 0 | 0 1302.90/1303.39 c 1303s | 25 | 6651017 | 6451598 | 1790 8833 | 0 | 0 1305.00/1305.40 c 1305s | 25 | 6660945 | 6461198 | 1790 8843 | 0 | 0 1307.00/1307.42 c 1307s | 25 | 6670833 | 6470898 | 1790 8854 | 0 | 0 1309.00/1309.43 c 1309s | 25 | 6680697 | 6480498 | 1790 8864 | 0 | 0 1311.00/1311.44 c 1311s | 25 | 6690907 | 6490298 | 1790 8874 | 0 | 0 1313.01/1313.46 c 1313s | 25 | 6701111 | 6500098 | 1790 8885 | 0 | 0 1315.00/1315.49 c 1315s | 25 | 6711212 | 6509898 | 1790 8896 | 0 | 0 1317.10/1317.50 c 1317s | 25 | 6721444 | 6519798 | 1790 8906 | 0 | 0 1319.10/1319.52 c 1319s | 25 | 6731415 | 6529498 | 1790 8917 | 0 | 0 1321.10/1321.53 c 1321s | 25 | 6741119 | 6538798 | 1790 8927 | 0 | 0 1323.10/1323.54 c 1323s | 25 | 6750854 | 6548298 | 1790 8937 | 0 | 0 1325.10/1325.56 c 1325s | 25 | 6761074 | 6558298 | 1790 8948 | 0 | 0 1327.10/1327.57 c 1327s | 25 | 6771312 | 6568298 | 1790 8958 | 0 | 0 1329.10/1329.58 c 1329s | 25 | 6781484 | 6578198 | 1790 8969 | 0 | 0 1331.09/1331.59 c 1331s | 25 | 6791636 | 6587998 | 1790 8980 | 0 | 0 1333.19/1333.60 c 1333s | 25 | 6801549 | 6597598 | 1790 8990 | 0 | 0 1335.19/1335.61 c 1335s | 25 | 6811509 | 6607298 | 1790 9000 | 0 | 0 1337.20/1337.61 c 1337s | 25 | 6821556 | 6616998 | 1790 9011 | 0 | 0 1339.19/1339.63 c 1339s | 25 | 6831323 | 6626498 | 1790 9021 | 0 | 0 1341.19/1341.64 c 1341s | 25 | 6841173 | 6636098 | 1790 9031 | 0 | 0 1343.19/1343.64 c 1343s | 25 | 6851210 | 6645898 | 1790 9042 | 0 | 0 1345.19/1345.66 c 1345s | 25 | 6861079 | 6655498 | 1790 9052 | 0 | 0 1347.19/1347.67 c 1347s | 25 | 6870881 | 6664798 | 1790 9062 | 0 | 0 1349.18/1349.67 c 1349s | 25 | 6880976 | 6674498 | 1790 9073 | 0 | 0 1351.18/1351.67 c 1351s | 25 | 6891192 | 6684398 | 1790 9083 | 0 | 0 1353.18/1353.68 c 1353s | 25 | 6901461 | 6694398 | 1790 9094 | 0 | 0 1355.18/1355.69 c 1355s | 25 | 6911523 | 6704098 | 1790 9104 | 0 | 0 1357.19/1357.69 c 1357s | 25 | 6921529 | 6713698 | 1790 9115 | 0 | 0 1359.19/1359.70 c 1359s | 25 | 6931601 | 6723498 | 1790 9125 | 0 | 0 1361.29/1361.70 c 1361s | 25 | 6941928 | 6733498 | 1790 9136 | 0 | 0 1363.28/1363.70 c 1363s | 25 | 6951957 | 6743098 | 1790 9146 | 0 | 0 1365.28/1365.72 c 1365s | 25 | 6961945 | 6752698 | 1790 9157 | 0 | 0 1367.28/1367.74 c 1367s | 25 | 6972003 | 6762498 | 1790 9167 | 0 | 0 1369.28/1369.75 c 1369s | 25 | 6981933 | 6771998 | 1790 9177 | 0 | 0 1371.29/1371.76 c 1371s | 25 | 6991701 | 6781398 | 1790 9187 | 0 | 0 1373.28/1373.78 c 1373s | 25 | 7001613 | 6790798 | 1790 9198 | 0 | 0 1375.38/1375.80 c 1375s | 25 | 7011704 | 6800398 | 1790 9208 | 0 | 0 1377.38/1377.81 c 1377s | 25 | 7021769 | 6809998 | 1790 9218 | 0 | 0 1379.38/1379.83 c 1379s | 25 | 7031534 | 6819298 | 1790 9228 | 0 | 0 1381.38/1381.83 c 1381s | 25 | 7041398 | 6828698 | 1790 9238 | 0 | 0 1383.39/1383.84 c 1383s | 25 | 7051276 | 6838198 | 1790 9248 | 0 | 0 1385.38/1385.86 c 1385s | 25 | 7061400 | 6847998 | 1790 9259 | 0 | 0 1387.38/1387.88 c 1387s | 25 | 7071520 | 6857798 | 1790 9270 | 0 | 0 1389.38/1389.89 c 1389s | 25 | 7081293 | 6867298 | 1790 9280 | 0 | 0 1391.38/1391.89 c 1391s | 25 | 7091060 | 6876698 | 1790 9290 | 0 | 0 1393.48/1393.91 c 1393s | 25 | 7100980 | 6886198 | 1790 9300 | 0 | 0 1395.49/1395.92 c 1395s | 25 | 7110977 | 6895698 | 1790 9310 | 0 | 0 1397.48/1397.93 c 1397s | 25 | 7121615 | 6906098 | 1790 9321 | 0 | 0 1399.48/1399.95 c 1399s | 25 | 7131828 | 6916098 | 1790 9332 | 0 | 0 1401.48/1401.96 c 1401s | 25 | 7142148 | 6926098 | 1790 9343 | 0 | 0 1403.48/1403.97 c 1403s | 25 | 7152398 | 6936098 | 1790 9354 | 0 | 0 1405.48/1405.97 c 1405s | 25 | 7162867 | 6946298 | 1790 9364 | 0 | 0 1407.48/1407.99 c 1407s | 25 | 7173249 | 6956398 | 1790 9375 | 0 | 0 1409.48/1409.99 c 1409s | 25 | 7183115 | 6965798 | 1790 9385 | 0 | 0 1411.58/1412.00 c 1411s | 25 | 7193288 | 6975598 | 1790 9396 | 0 | 0 1413.58/1414.01 c 1413s | 25 | 7203557 | 6985598 | 1790 9407 | 0 | 0 1415.57/1416.01 c 1415s | 25 | 7213649 | 6995498 | 1790 9417 | 0 | 0 1417.58/1418.01 c 1417s | 25 | 7223771 | 7005298 | 1790 9428 | 0 | 0 1419.57/1420.03 c 1420s | 25 | 7233952 | 7015198 | 1790 9438 | 0 | 0 1421.57/1422.03 c 1422s | 25 | 7244329 | 7025198 | 1790 9449 | 0 | 0 1423.57/1424.04 c 1424s | 25 | 7254506 | 7035098 | 1790 9460 | 0 | 0 1425.57/1426.05 c 1426s | 25 | 7264813 | 7045098 | 1790 9471 | 0 | 0 1427.57/1428.05 c 1428s | 25 | 7274869 | 7054898 | 1790 9481 | 0 | 0 1429.58/1430.06 c 1430s | 25 | 7285047 | 7064898 | 1790 9492 | 0 | 0 1431.57/1432.08 c 1432s | 25 | 7295113 | 7074698 | 1790 9502 | 0 | 0 1433.57/1434.08 c 1434s | 25 | 7305413 | 7084698 | 1790 9513 | 0 | 0 1435.57/1436.09 c 1436s | 25 | 7315699 | 7094698 | 1790 9524 | 0 | 0 1437.57/1438.09 c 1438s | 25 | 7325848 | 7104598 | 1790 9534 | 0 | 0 1439.67/1440.11 c 1440s | 25 | 7335885 | 7114298 | 1790 9545 | 0 | 0 1441.67/1442.12 c 1442s | 25 | 7345863 | 7123998 | 1790 9555 | 0 | 0 1443.67/1444.13 c 1444s | 25 | 7356155 | 7133998 | 1790 9566 | 0 | 0 1445.67/1446.15 c 1446s | 25 | 7366281 | 7143798 | 1790 9577 | 0 | 0 1447.67/1448.16 c 1448s | 25 | 7376300 | 7153598 | 1790 9587 | 0 | 0 1449.66/1450.17 c 1450s | 25 | 7386178 | 7163098 | 1790 9597 | 0 | 0 1451.67/1452.17 c 1452s | 25 | 7396123 | 7172798 | 1790 9608 | 0 | 0 1453.66/1454.19 c 1454s | 25 | 7406185 | 7182598 | 1790 9618 | 0 | 0 1455.76/1456.20 c 1456s | 25 | 7416046 | 7192198 | 1790 9629 | 0 | 0 1457.76/1458.20 c 1458s | 25 | 7426066 | 7201898 | 1790 9639 | 0 | 0 1459.77/1460.21 c 1460s | 25 | 7436101 | 7211598 | 1790 9649 | 0 | 0 1461.77/1462.21 c 1462s | 25 | 7446089 | 7221298 | 1790 9660 | 0 | 0 1463.78/1464.22 c 1464s | 25 | 7456153 | 7230998 | 1790 9670 | 0 | 0 1465.77/1466.23 c 1466s | 25 | 7466218 | 7240698 | 1790 9681 | 0 | 0 1467.77/1468.24 c 1468s | 25 | 7476276 | 7250498 | 1790 9691 | 0 | 0 1469.77/1470.25 c 1470s | 25 | 7486457 | 7260398 | 1790 9702 | 0 | 0 1471.77/1472.26 c 1472s | 25 | 7496583 | 7270198 | 1790 9712 | 0 | 0 1473.77/1474.27 c 1474s | 25 | 7506267 | 7279598 | 1790 9722 | 0 | 0 1475.77/1476.28 c 1476s | 25 | 7515946 | 7288998 | 1790 9733 | 0 | 0 1477.76/1478.29 c 1478s | 25 | 7525951 | 7298798 | 1790 9743 | 0 | 0 1479.86/1480.30 c 1480s | 25 | 7535938 | 7308498 | 1790 9754 | 0 | 0 1481.86/1482.32 c 1482s | 25 | 7545948 | 7318198 | 1790 9764 | 0 | 0 1483.86/1484.32 c 1484s | 25 | 7556369 | 7328198 | 1790 9775 | 0 | 0 1485.86/1486.34 c 1486s | 25 | 7566666 | 7338198 | 1790 9786 | 0 | 0 1487.87/1488.35 c 1488s | 25 | 7576774 | 7347998 | 1790 9796 | 0 | 0 1489.86/1490.37 c 1490s | 25 | 7586969 | 7357698 | 1790 9806 | 0 | 0 1491.86/1492.37 c 1492s | 25 | 7597493 | 7367598 | 1790 9817 | 0 | 0 1493.86/1494.38 c 1494s | 25 | 7607601 | 7377298 | 1790 9828 | 0 | 0 1495.86/1496.39 c 1496s | 25 | 7617721 | 7387198 | 1790 9838 | 0 | 0 1497.96/1498.40 c 1498s | 25 | 7627810 | 7396998 | 1790 9849 | 0 | 0 1499.97/1500.41 c 1500s | 25 | 7637768 | 7406698 | 1790 9859 | 0 | 0 1501.96/1502.42 c 1502s | 25 | 7647758 | 7416498 | 1790 9870 | 0 | 0 1503.96/1504.44 c 1504s | 25 | 7658300 | 7426598 | 1790 9881 | 0 | 0 1505.96/1506.44 c 1506s | 25 | 7668269 | 7436398 | 1790 9891 | 0 | 0 1507.96/1508.45 c 1508s | 25 | 7678207 | 7446098 | 1790 9902 | 0 | 0 1509.97/1510.45 c 1510s | 25 | 7688170 | 7455898 | 1790 9912 | 0 | 0 1511.96/1512.46 c 1512s | 25 | 7698078 | 7465498 | 1790 9922 | 0 | 0 1513.96/1514.47 c 1514s | 25 | 7708038 | 7475098 | 1790 9933 | 0 | 0 1515.96/1516.47 c 1516s | 25 | 7718056 | 7484898 | 1790 9943 | 0 | 0 1517.96/1518.47 c 1518s | 25 | 7727893 | 7494498 | 1790 9954 | 0 | 0 1519.96/1520.49 c 1520s | 25 | 7738065 | 7503998 | 1790 9964 | 0 | 0 1522.06/1522.51 c 1522s | 25 | 7747501 | 7512998 | 1790 9974 | 0 | 0 1524.05/1524.53 c 1524s | 25 | 7757213 | 7522398 | 1790 9984 | 0 | 0 1526.05/1526.54 c 1526s | 25 | 7767314 | 7532198 | 1790 9994 | 0 | 0 1528.05/1528.55 c 1528s | 25 | 7777107 | 7541798 | 1790 10004 | 0 | 0 1530.05/1530.55 c 1530s | 25 | 7786886 | 7551298 | 1970 10014 | 0 | 0 1532.05/1532.56 c 1532s | 25 | 7796786 | 7560998 | 1970 10023 | 0 | 0 1534.06/1534.58 c 1534s | 25 | 7806812 | 7570698 | 1970 10033 | 0 | 0 1536.05/1536.60 c 1536s | 25 | 7816937 | 7580598 | 1970 10043 | 0 | 0 1538.15/1538.60 c 1538s | 25 | 7826699 | 7590098 | 1970 10052 | 0 | 0 1539.75/1540.25 c 1540s | 26 | 7834705 | 7597752 | 1970 10059 | 0 | 0 1541.76/1542.26 c 1542s | 26 | 7844996 | 7607752 | 1970 10069 | 0 | 0 1543.75/1544.27 c 1544s | 26 | 7855338 | 7617852 | 1970 10079 | 0 | 0 1545.75/1546.28 c 1546s | 26 | 7865293 | 7627552 | 1970 10088 | 0 | 0 1547.75/1548.28 c 1548s | 26 | 7875196 | 7637252 | 1970 10098 | 0 | 0 1549.75/1550.29 c 1550s | 26 | 7885761 | 7647352 | 1970 10108 | 0 | 0 1551.76/1552.29 c 1552s | 26 | 7896413 | 7657452 | 1970 10118 | 0 | 0 1553.75/1554.30 c 1554s | 26 | 7906598 | 7667252 | 1970 10127 | 0 | 0 1555.85/1556.32 c 1556s | 26 | 7916483 | 7676752 | 1970 10137 | 0 | 0 1557.85/1558.32 c 1558s | 26 | 7926710 | 7686652 | 1970 10146 | 0 | 0 1559.85/1560.33 c 1560s | 26 | 7936543 | 7696252 | 1970 10156 | 0 | 0 1561.85/1562.34 c 1562s | 26 | 7946736 | 7706152 | 1970 10165 | 0 | 0 1563.86/1564.36 c 1564s | 26 | 7956780 | 7715852 | 1970 10175 | 0 | 0 1565.85/1566.37 c 1566s | 26 | 7966563 | 7725352 | 1970 10184 | 0 | 0 1567.85/1568.38 c 1568s | 26 | 7976672 | 7735052 | 1970 10194 | 0 | 0 1569.95/1570.40 c 1570s | 26 | 7986949 | 7744952 | 1970 10203 | 0 | 0 1571.95/1572.40 c 1572s | 26 | 7996779 | 7754552 | 1970 10213 | 0 | 0 1573.95/1574.41 c 1574s | 26 | 8006907 | 7764352 | 1970 10222 | 0 | 0 1575.96/1576.42 c 1576s | 26 | 8016651 | 7773852 | 1970 10232 | 0 | 0 1577.95/1578.42 c 1578s | 26 | 8026725 | 7783652 | 1970 10241 | 0 | 0 1579.95/1580.43 c 1580s | 26 | 8036639 | 7793352 | 1970 10251 | 0 | 0 1581.95/1582.44 c 1582s | 26 | 8046807 | 7803252 | 1970 10261 | 0 | 0 1583.95/1584.44 c 1584s | 26 | 8056507 | 7812752 | 1970 10270 | 0 | 0 1585.95/1586.45 c 1586s | 26 | 8066567 | 7822552 | 1970 10279 | 0 | 0 1587.96/1588.45 c 1588s | 26 | 8076409 | 7832152 | 1970 10289 | 0 | 0 1589.95/1590.47 c 1590s | 26 | 8086428 | 7841952 | 1970 10298 | 0 | 0 1591.95/1592.48 c 1592s | 26 | 8096331 | 7851452 | 1970 10308 | 0 | 0 1594.05/1594.50 c 1594s | 26 | 8106418 | 7861052 | 1970 10317 | 0 | 0 1596.05/1596.52 c 1596s | 26 | 8116440 | 7870652 | 1970 10327 | 0 | 0 1598.05/1598.52 c 1598s | 26 | 8126245 | 7880252 | 1970 10336 | 0 | 0 1600.06/1600.53 c 1600s | 26 | 8136092 | 7889952 | 1970 10345 | 0 | 0 1602.05/1602.55 c 1602s | 26 | 8145688 | 7899352 | 1970 10355 | 0 | 0 1604.05/1604.57 c 1604s | 26 | 8155538 | 7908952 | 1970 10364 | 0 | 0 1606.05/1606.58 c 1606s | 26 | 8165080 | 7917952 | 1970 10373 | 0 | 0 1608.05/1608.59 c 1608s | 26 | 8174844 | 7927452 | 1970 10382 | 0 | 0 1610.05/1610.60 c 1610s | 26 | 8184768 | 7937152 | 1970 10392 | 0 | 0 1612.15/1612.61 c 1612s | 26 | 8194618 | 7946752 | 1970 10401 | 0 | 0 1614.14/1614.62 c 1614s | 26 | 8204658 | 7956552 | 1970 10411 | 0 | 0 1616.14/1616.63 c 1616s | 26 | 8214649 | 7966252 | 1970 10420 | 0 | 0 1618.14/1618.63 c 1618s | 26 | 8224522 | 7975852 | 1970 10430 | 0 | 0 1620.14/1620.63 c 1620s | 26 | 8234453 | 7985552 | 1970 10439 | 0 | 0 1622.15/1622.64 c 1622s | 26 | 8244390 | 7995152 | 1970 10449 | 0 | 0 1624.14/1624.66 c 1624s | 26 | 8254344 | 8004852 | 1970 10458 | 0 | 0 1626.14/1626.67 c 1626s | 26 | 8264120 | 8014252 | 1970 10467 | 0 | 0 1628.14/1628.67 c 1628s | 26 | 8273979 | 8023852 | 1970 10477 | 0 | 0 1630.14/1630.69 c 1630s | 26 | 8283752 | 8033252 | 1970 10486 | 0 | 0 1632.24/1632.70 c 1632s | 26 | 8293556 | 8042752 | 1970 10495 | 0 | 0 1634.24/1634.72 c 1634s | 26 | 8303327 | 8052252 | 1970 10505 | 0 | 0 1636.24/1636.74 c 1636s | 26 | 8313601 | 8062252 | 1970 10514 | 0 | 0 1638.23/1638.76 c 1638s | 26 | 8323802 | 8072152 | 1970 10524 | 0 | 0 1640.23/1640.76 c 1640s | 26 | 8333469 | 8081452 | 1970 10533 | 0 | 0 1642.23/1642.78 c 1642s | 26 | 8343724 | 8091052 | 1970 10542 | 0 | 0 1644.23/1644.79 c 1644s | 26 | 8353890 | 8100552 | 1970 10552 | 0 | 0 1646.34/1646.80 c 1646s | 26 | 8364111 | 8110552 | 1970 10562 | 0 | 0 1648.33/1648.81 c 1648s | 26 | 8374136 | 8120352 | 1970 10571 | 0 | 0 1650.33/1650.82 c 1650s | 26 | 8384749 | 8130552 | 1970 10581 | 0 | 0 1652.33/1652.83 c 1652s | 26 | 8394812 | 8140352 | 1970 10591 | 0 | 0 1654.33/1654.85 c 1654s | 26 | 8404701 | 8149852 | 1970 10600 | 0 | 0 1656.33/1656.85 c 1656s | 26 | 8414951 | 8159852 | 1970 10610 | 0 | 0 1658.34/1658.87 c 1658s | 26 | 8425131 | 8169852 | 1970 10620 | 0 | 0 1660.33/1660.89 c 1660s | 26 | 8435243 | 8179752 | 1970 10629 | 0 | 0 1662.33/1662.89 c 1662s | 26 | 8445309 | 8189552 | 1970 10639 | 0 | 0 1664.34/1664.89 c 1664s | 26 | 8455607 | 8199552 | 1970 10649 | 0 | 0 1666.44/1666.91 c 1666s | 26 | 8465952 | 8209652 | 1970 10659 | 0 | 0 1668.44/1668.91 c 1668s | 26 | 8476175 | 8219552 | 1970 10668 | 0 | 0 1670.44/1670.92 c 1670s | 26 | 8486216 | 8229352 | 1970 10678 | 0 | 0 1672.43/1672.93 c 1672s | 26 | 8496480 | 8239152 | 1970 10687 | 0 | 0 1674.43/1674.95 c 1674s | 26 | 8506494 | 8248552 | 1970 10697 | 0 | 0 1676.43/1676.95 c 1676s | 26 | 8516467 | 8258352 | 1970 10706 | 0 | 0 1678.43/1678.96 c 1678s | 26 | 8526640 | 8268252 | 1970 10716 | 0 | 0 1680.44/1680.97 c 1680s | 26 | 8536902 | 8278152 | 1970 10726 | 0 | 0 1682.43/1682.98 c 1682s | 26 | 8547016 | 8288052 | 1970 10735 | 0 | 0 1684.43/1684.99 c 1684s | 26 | 8556940 | 8297752 | 1970 10745 | 0 | 0 1686.53/1687.01 c 1686s | 26 | 8567032 | 8307552 | 1970 10754 | 0 | 0 1688.53/1689.02 c 1689s | 26 | 8577330 | 8317452 | 1970 10764 | 0 | 0 1690.53/1691.03 c 1691s | 26 | 8587695 | 8327152 | 1970 10774 | 0 | 0 1692.54/1693.03 c 1693s | 26 | 8597805 | 8337052 | 1970 10783 | 0 | 0 1694.53/1695.05 c 1695s | 26 | 8608059 | 8347052 | 1970 10793 | 0 | 0 1696.53/1697.06 c 1697s | 26 | 8618187 | 8356752 | 1970 10803 | 0 | 0 1698.53/1699.08 c 1699s | 26 | 8628087 | 8366252 | 1970 10812 | 0 | 0 1700.53/1701.09 c 1701s | 26 | 8637933 | 8375952 | 1970 10821 | 0 | 0 1702.63/1703.10 c 1703s | 26 | 8647973 | 8385752 | 1970 10831 | 0 | 0 1704.63/1705.11 c 1705s | 26 | 8658017 | 8395552 | 1970 10841 | 0 | 0 1706.63/1707.12 c 1707s | 26 | 8668237 | 8405352 | 1970 10850 | 0 | 0 1708.63/1709.14 c 1709s | 26 | 8678263 | 8415152 | 1970 10860 | 0 | 0 1710.63/1711.14 c 1711s | 26 | 8688163 | 8424652 | 1970 10869 | 0 | 0 1712.62/1713.15 c 1713s | 26 | 8697771 | 8434052 | 1970 10878 | 0 | 0 1714.62/1715.16 c 1715s | 26 | 8707446 | 8443552 | 1970 10888 | 0 | 0 1716.63/1717.18 c 1717s | 26 | 8717918 | 8453552 | 1970 10898 | 0 | 0 1718.72/1719.20 c 1719s | 26 | 8728196 | 8463552 | 1970 10907 | 0 | 0 1720.72/1721.21 c 1721s | 26 | 8738804 | 8473352 | 1970 10917 | 0 | 0 1722.72/1723.22 c 1723s | 26 | 8748990 | 8483152 | 1970 10926 | 0 | 0 1724.73/1725.24 c 1725s | 26 | 8758878 | 8492852 | 1970 10936 | 0 | 0 1726.73/1727.26 c 1727s | 26 | 8768843 | 8502452 | 1970 10945 | 0 | 0 1728.74/1729.28 c 1729s | 26 | 8778597 | 8511852 | 1970 10955 | 0 | 0 1730.73/1731.29 c 1731s | 26 | 8788469 | 8521152 | 1970 10964 | 0 | 0 1732.73/1733.29 c 1733s | 26 | 8798524 | 8530852 | 1970 10973 | 0 | 0 1734.83/1735.30 c 1735s | 26 | 8808684 | 8540552 | 1970 10983 | 0 | 0 1736.83/1737.30 c 1737s | 26 | 8818665 | 8550252 | 1970 10992 | 0 | 0 1738.83/1739.31 c 1739s | 26 | 8828856 | 8560052 | 1970 11002 | 0 | 0 1740.83/1741.33 c 1741s | 26 | 8838801 | 8569652 | 1970 11011 | 0 | 0 1742.83/1743.35 c 1743s | 26 | 8848520 | 8579052 | 1970 11020 | 0 | 0 1744.82/1745.36 c 1745s | 26 | 8858650 | 8588352 | 1970 11030 | 0 | 0 1746.82/1747.38 c 1747s | 26 | 8869029 | 8598452 | 1970 11039 | 0 | 0 1748.82/1749.38 c 1749s | 26 | 8879530 | 8608652 | 1970 11049 | 0 | 0 1750.83/1751.39 c 1751s | 26 | 8890120 | 8618852 | 1970 11059 | 0 | 0 1752.82/1753.39 c 1753s | 26 | 8900583 | 8628952 | 1970 11069 | 0 | 0 1754.82/1755.39 c 1755s | 26 | 8911013 | 8639152 | 1970 11079 | 0 | 0 1756.92/1757.40 c 1757s | 26 | 8921212 | 8649052 | 1970 11089 | 0 | 0 1758.92/1759.42 c 1759s | 26 | 8931658 | 8659252 | 1970 11099 | 0 | 0 1760.92/1761.43 c 1761s | 26 | 8942107 | 8669352 | 1970 11109 | 0 | 0 1762.92/1763.43 c 1763s | 26 | 8952236 | 8679252 | 1970 11118 | 0 | 0 1764.91/1765.44 c 1765s | 26 | 8962772 | 8689352 | 1970 11128 | 0 | 0 1766.91/1767.45 c 1767s | 26 | 8973176 | 8699452 | 1970 11138 | 0 | 0 1768.91/1769.45 c 1769s | 26 | 8983341 | 8709352 | 1970 11148 | 0 | 0 1770.91/1771.45 c 1771s | 26 | 8993496 | 8719252 | 1970 11158 | 0 | 0 1772.91/1773.47 c 1773s | 26 | 9003766 | 8729252 | 1970 11167 | 0 | 0 1774.92/1775.48 c 1775s | 26 | 9013861 | 8739052 | 1970 11177 | 0 | 0 1776.91/1777.49 c 1777s | 26 | 9023838 | 8748552 | 1970 11186 | 0 | 0 1778.91/1779.49 c 1779s | 26 | 9033837 | 8758352 | 1970 11196 | 0 | 0 1781.01/1781.50 c 1781s | 26 | 9044091 | 8768352 | 1970 11206 | 0 | 0 1783.01/1783.50 c 1783s | 26 | 9054191 | 8778152 | 1970 11215 | 0 | 0 1785.01/1785.52 c 1785s | 26 | 9064037 | 8787752 | 1970 11225 | 0 | 0 1787.02/1787.53 c 1787s | 26 | 9074024 | 8797552 | 1970 11234 | 0 | 0 1789.01/1789.53 c 1789s | 26 | 9084055 | 8807252 | 1970 11244 | 0 | 0 1791.02/1791.54 c 1791s | 26 | 9094505 | 8817452 | 1970 11254 | 0 | 0 1793.02/1793.56 c 1793s | 26 | 9104841 | 8827452 | 1970 11264 | 0 | 0 1795.02/1795.57 c 1795s | 26 | 9115173 | 8837552 | 1970 11274 | 0 | 0 1797.02/1797.59 c 1797s | 26 | 9124923 | 8847052 | 1970 11283 | 0 | 0 1799.02/1799.59 c 1799s | 26 | 9134616 | 8856352 | 1970 11292 | 0 | 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-4089162-1466022752/watcher-4089162-1466022752 -o /tmp/evaluation-result-4089162-1466022752/solver-4089162-1466022752 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089162-1466022752.opb pid=7829 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.14 2.06 2.06 3/179 7832 /proc/meminfo: memFree=30454280/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=712124 CPUtime=0 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 2655 0 0 0 0 0 0 0 20 0 4 0 4320682 729214976 3016 33554432000 4194304 16246674 140734468204176 140734468203600 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 178799 3025 441 2943 0 175693 0 [pid=7832/tid=7833] ppid=7829 vsize=730556 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 748089344 3086 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=734652 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 752283648 3102 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=738748 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4320682 756477952 3117 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100171 s] /proc/loadavg: 2.14 2.06 2.06 3/179 7832 /proc/meminfo: memFree=30454280/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 29906 0 0 0 5 4 0 0 20 0 4 0 4320682 1247350784 30255 33554432000 4194304 16246674 140734468204176 140734468203600 6021055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 304529 30271 711 2943 0 301423 0 [pid=7832/tid=7833] ppid=7829 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1247350784 30281 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1247350784 30290 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4320682 1247350784 30297 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200516 s] /proc/loadavg: 2.14 2.06 2.06 3/179 7832 /proc/meminfo: memFree=30454280/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 59111 0 0 0 11 8 0 0 20 0 4 0 4320682 1247350784 59461 33554432000 4194304 16246674 140734468204176 140734468203600 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 304529 59475 711 2943 0 301423 0 [pid=7832/tid=7833] ppid=7829 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1247350784 59484 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1247350784 59490 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4320682 1247350784 59495 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300472 s] /proc/loadavg: 2.14 2.06 2.06 3/179 7832 /proc/meminfo: memFree=30454280/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 88164 0 0 0 17 12 0 0 20 0 4 0 4320682 1247350784 88513 33554432000 4194304 16246674 140734468204176 140734468203600 5662594 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 304529 88527 711 2943 0 301423 0 [pid=7832/tid=7833] ppid=7829 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1247350784 88538 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1247350784 88549 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4320682 1247350784 88560 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700369 s] /proc/loadavg: 2.14 2.06 2.06 3/179 7832 /proc/meminfo: memFree=30454280/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 207701 0 0 0 41 28 0 0 20 0 4 0 4320682 1247350784 208050 33554432000 4194304 16246674 140734468204176 140734468203600 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 304529 208067 712 2943 0 301423 0 [pid=7832/tid=7833] ppid=7829 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1247350784 208077 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1247350784 208088 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4320682 1247350784 208097 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50037 s] /proc/loadavg: 2.14 2.06 2.06 3/183 7836 /proc/meminfo: memFree=29470848/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1305156 CPUtime=1.49 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 267219 0 0 0 113 36 0 0 20 0 4 0 4320682 1336479744 267548 33554432000 4194304 16246674 140734468204176 140734468186048 13965488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 326289 267548 789 2943 0 323183 0 [pid=7832/tid=7833] ppid=7829 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1336479744 267548 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1336479744 267548 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1336479744 267548 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1305156 [startup+3.10036 s] /proc/loadavg: 2.13 2.06 2.06 3/183 7836 /proc/meminfo: memFree=29383304/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 267475 0 0 0 273 36 0 0 20 0 4 0 4320682 1337528320 267804 33554432000 4194304 16246674 140734468204176 140734468186048 5707040 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 326545 267804 789 2943 0 323439 0 [pid=7832/tid=7833] ppid=7829 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1337528320 267804 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1337528320 267804 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1337528320 267804 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.13 2.06 2.06 3/183 7836 /proc/meminfo: memFree=29382600/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 267520 0 0 0 593 36 0 0 20 0 4 0 4320682 1337528320 267849 33554432000 4194304 16246674 140734468204176 140734468186048 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 326545 267849 789 2943 0 323439 0 [pid=7832/tid=7833] ppid=7829 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1337528320 267849 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1337528320 267849 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1337528320 267849 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.11 2.06 2.06 3/183 7836 /proc/meminfo: memFree=29382484/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1306180 CPUtime=12.69 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 267522 0 0 0 1233 36 0 0 20 0 4 0 4320682 1337528320 267851 33554432000 4194304 16246674 140734468204176 140734468187176 7249904 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 326545 267851 789 2943 0 323439 0 [pid=7832/tid=7833] ppid=7829 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1337528320 267851 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1337528320 267851 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1337528320 267851 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.09 2.06 2.06 3/184 7838 /proc/meminfo: memFree=29382036/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1306180 CPUtime=25.49 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 267527 0 0 0 2513 36 0 0 20 0 4 0 4320682 1337528320 267856 33554432000 4194304 16246674 140734468204176 140734468186048 5829736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 326545 267856 789 2943 0 323439 0 [pid=7832/tid=7833] ppid=7829 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1337528320 267856 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1337528320 267856 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1337528320 267856 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.06 2.05 2.06 3/184 7838 /proc/meminfo: memFree=29380412/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1307204 CPUtime=51.08 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 267689 0 0 0 5072 36 0 0 20 0 4 0 4320682 1338576896 268018 33554432000 4194304 16246674 140734468204176 140734468186048 12482213 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 326801 268018 789 2943 0 323695 0 [pid=7832/tid=7833] ppid=7829 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1338576896 268018 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1338576896 268018 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1338576896 268018 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1307204 [startup+102.3 s] /proc/loadavg: 2.08 2.06 2.06 3/183 7839 /proc/meminfo: memFree=29380424/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1307204 CPUtime=102.28 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 267715 0 0 0 10191 37 0 0 20 0 4 0 4320682 1338576896 268044 33554432000 4194304 16246674 140734468204176 140734468186048 5546271 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 326801 268044 791 2943 0 323695 0 [pid=7832/tid=7833] ppid=7829 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1338576896 268044 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1338576896 268044 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1338576896 268044 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1307204 ################ # More data... # ################ /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1315396 [startup+1362.3 s] /proc/loadavg: 2.10 2.13 2.09 4/183 7870 /proc/meminfo: memFree=29361440/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1315396 CPUtime=1361.89 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 270299 0 0 0 136132 57 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140734468186048 12483230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 328849 270212 793 2943 0 325743 0 [pid=7832/tid=7833] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1315396 [startup+1422.3 s] /proc/loadavg: 2.12 2.13 2.09 3/183 7871 /proc/meminfo: memFree=29361788/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1315396 CPUtime=1421.88 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 270299 0 0 0 142131 57 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140734468186048 5721725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 328849 270212 793 2943 0 325743 0 [pid=7832/tid=7833] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1315396 [startup+1482.3 s] /proc/loadavg: 2.18 2.14 2.09 3/183 7872 /proc/meminfo: memFree=29362128/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1315396 CPUtime=1481.86 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 270299 0 0 0 148128 58 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140734468186048 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 328849 270212 793 2943 0 325743 0 [pid=7832/tid=7833] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1315396 [startup+1542.31 s] /proc/loadavg: 2.10 2.12 2.09 3/183 7873 /proc/meminfo: memFree=29362108/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1315396 CPUtime=1541.86 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 270299 0 0 0 154128 58 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140734468186048 5546224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 328849 270212 793 2943 0 325743 0 [pid=7832/tid=7833] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1315396 [startup+1602.3 s] /proc/loadavg: 2.17 2.13 2.09 3/183 7875 /proc/meminfo: memFree=29362224/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1315396 CPUtime=1601.85 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 270299 0 0 0 160126 59 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140734468186048 5823258 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 328849 270212 793 2943 0 325743 0 [pid=7832/tid=7833] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1346965504 270212 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1315396 [startup+1662.3 s] /proc/loadavg: 2.21 2.15 2.10 3/184 7928 /proc/meminfo: memFree=29372836/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1316420 CPUtime=1661.83 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 270555 0 0 0 166124 59 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140734468186048 6845883 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 329105 270468 793 2943 0 325999 0 [pid=7832/tid=7833] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1316420 [startup+1722.3 s] /proc/loadavg: 2.17 2.15 2.10 3/184 7951 /proc/meminfo: memFree=29370992/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1316420 CPUtime=1721.82 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 270555 0 0 0 172122 60 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140734468186048 5754664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 329105 270468 793 2943 0 325999 0 [pid=7832/tid=7833] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1316420 [startup+1782.3 s] /proc/loadavg: 2.06 2.12 2.09 3/183 7952 /proc/meminfo: memFree=29371308/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1316420 CPUtime=1781.81 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 270555 0 0 0 178120 61 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140734468186048 5861500 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 329105 270468 793 2943 0 325999 0 [pid=7832/tid=7833] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1316420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.04 2.11 2.09 3/183 7952 /proc/meminfo: memFree=29371228/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1316420 CPUtime=1800.02 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 270555 0 0 0 179940 62 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140734468186048 6021388 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 329105 270468 793 2943 0 325999 0 [pid=7832/tid=7833] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1316420 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 7832 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.04 2.11 2.09 3/183 7952 /proc/meminfo: memFree=29371228/32872528 swapFree=496356/529060 [pid=7832] ppid=7829 vsize=1316420 CPUtime=1800.02 cores=0,2,4,6 /proc/7832/stat : 7832 (toysat) R 7829 7832 5955 0 -1 4202496 270555 0 0 0 179940 62 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140734468186048 6021388 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7832/statm: 329105 270468 793 2943 0 325999 0 [pid=7832/tid=7833] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7833/stat : 7833 (toysat) S 7829 7832 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028929879280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7832/tid=7834] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7834/stat : 7834 (toysat) S 7829 7832 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028919389424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7832/tid=7835] ppid=7829 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/7832/task/7835/stat : 7835 (toysat) S 7829 7832 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4320682 1348014080 270468 33554432000 4194304 16246674 140734468204176 140028908915888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1316420 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.41 CPU system time (s): 0.621905 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 1316420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.41 system time used= 0.621905 maximum resident set size= 1081872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270555 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= 432 involuntary context switches= 1983 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.47132 second user time and 7.04993 second system time The end
Begin job on node141 at 2016-06-15 22:32:32 IDJOB=4089162 IDBENCH=107367 IDSOLVER=2542 FILE ID=node141/4089162-1466022752 RUNJOBID= node141-1466008015-5971 PBS_JOBID= 19902806 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid6x27.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089162-1466022752/watcher-4089162-1466022752 -o /tmp/evaluation-result-4089162-1466022752/solver-4089162-1466022752 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089162-1466022752.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 53504fbbfe0f7221c87d53e54f29db9b RANDOM SEED=360372735 node141.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.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.09 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.547 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.547 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.54 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.547 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.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30454404 kB Buffers: 25588 kB Cached: 74824 kB SwapCached: 13072 kB Active: 1138404 kB Inactive: 50884 kB Active(anon): 1079148 kB Inactive(anon): 12008 kB Active(file): 59256 kB Inactive(file): 38876 kB Unevictable: 529060 kB Mlocked: 496356 kB SwapTotal: 67108856 kB SwapFree: 67088056 kB Dirty: 16312 kB Writeback: 24 kB AnonPages: 1606128 kB Mapped: 10292 kB Shmem: 0 kB Slab: 566764 kB SReclaimable: 10580 kB SUnreclaim: 556184 kB KernelStack: 1456 kB PageTables: 7272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1747776 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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 node141 at 2016-06-15 23:02:33