| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=251-P2=101-P3=11-P4=89-P5=53-P6=439-P7=491-P8=389-B.opb |
| MD5SUM | 016a6113efb9500350327fbbc3111675 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.19097 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 216 |
| Total number of constraints | 17 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 648 |
| Sum of products size (including duplicates) | 1296 |
| Number of different products | 648 |
| Sum of products size | 1296 |
0.00/0.00 c 2016-06-18T18:45:25+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-4106262-1466268325.opb"] 0.00/0.01 c use --random-gen="1266030909 2760841273 2457178121 3801994246 4019997840 4290495777 4102050111 2590764915 2076318155 296934571 1112046716 1078721709 2999673774 986375042 3129534431 3361657172 3120345454 4130379839 585414297 946638512 3491060696 1913726255 3338369507 4104480252 1180259192 3399866499 3692709756 3207762969 3016533162 3010334934 1870690604 3966778358 2068762400 3984575154 2361960778 589996566 1174768126 2265891946 893825956 274407653 586520119 2749240130 1041405862 2831490062 1552658800 881407054 1008541593 42240117 4178542326 3376115049 2917377705 215719093 1482300912 837111544 3195971695 3159803238 991034716 1596963882 3533516788 4120420140 3012623780 2445322932 3284888295 3459370166 2426912652 3732774520 3804831228 1832522896 102129881 2767025507 3225591028 1551095013 992726415 286005795 717483838 344756551 547935511 1699340967 1126405536 277666957 1509792552 3150101996 3137323306 115668553 175556012 1249974576 676687372 4270271071 682727880 3975382173 1091573019 3883586930 209368070 2311469204 525375172 2180663797 356205445 526031952 4032042773 3263101184 4255471903 1890665601 44834863 3942016037 2503883222 425267851 3599227020 1186095492 793760931 2139149699 1031662159 493895910 60271820 1110471702 4160780695 2523571020 2366005133 2188625275 560990829 3621520933 4086530964 3852201259 893620704 176619540 1119802831 223510835 4291800895 276932009 2702996810 863898572 1696766498 207971418 2602789691 3099604306 911663076 1585976173 38547649 599342951 976583567 2394989253 625274209 3489921942 4225453940 601731192 3214370617 741354525 548765336 2551163793 3655476841 152306599 2866864386 1302567782 2240585103 2233354954 4117917787 3794500654 3265113428 3670278271 2375073473 2808745569 1880641375 1407638969 3872313069 3300398123 1105065675 597661153 1228116637 4226118631 1341794193 201168516 92836669 1224691558 2798575766 2089598738 486626859 1337966870 3446382377 2625566339 2444456080 2077054393 1658114262 792853713 3158022766 3774995906 599166293 3751159833 4280673573 4292445193 2764438662 724766138 4205197385 2574155824 2826139518 1422659308 3449159330 1994453399 3398173869 1271400935 1969192664 113969267 575054839 1822212225 2359529076 1067016812 1830568882 502652287 1786921126 466684339 309348285 2692055065 2208585671 2367642400 694584094 3279863047 4120599921 1111903653 219469568 1786931627 1611191320 2957515110 832867963 1351390021 952755137 1114146097 2864439005 4244903893 4193292275 2276888633 3053779044 508563748 4222405399 2095483445 950767906 1165940533 3498510103 3085212153 2916063375 1741705182 3428791743 4035014943 1238878915 2707741933 2234822776 71711574 349493989 710984862 3079605996 2046840639 837701256 486356802 1278709776 856001203 106346247 3630211501 1288701783 2534704162 255 362436" option to reproduce the execution 0.00/0.01 c #vars 216 0.00/0.01 c #constraints 17 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 944 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 113 | 100 | 944 0 | 0 | 0 0.09/0.10 c 0.1s | 2 | 290 | 250 | 1039 0 | 0 | 0 0.09/0.16 c 0.1s | 3 | 527 | 475 | 1143 0 | 0 | 0 0.18/0.27 c 0.2s | 4 | 917 | 813 | 1258 0 | 0 | 0 0.49/0.51 c 0.5s | 5 | 1612 | 1320 | 1384 0 | 0 | 0 0.89/0.99 c 1.0s | 6 | 2529 | 2081 | 1676 1 | 0 | 0 1.69/1.74 c 1.7s | 7 | 3830 | 3223 | 1844 2 | 0 | 0 2.09/2.17 c 2.1s | 8 | 5775 | 4936 | 2029 3 | 0 | 0 3.79/3.88 c 3.8s | 9 | 8705 | 7506 | 2232 5 | 0 | 0 5.29/5.32 c 5.3s | 10 | 12758 | 11361 | 2456 7 | 0 | 0 7.28/7.35 c 7.3s | 10 | 18284 | 16761 | 2456 11 | 0 | 0 7.38/7.48 c 7.4s | 11 | 18673 | 17144 | 2702 11 | 0 | 0 9.48/9.51 c 9.5s | 11 | 23827 | 22044 | 2702 14 | 0 | 0 10.58/10.68 c 10.6s | 12 | 27690 | 25819 | 2973 17 | 0 | 0 12.68/12.70 c 12.7s | 12 | 33344 | 31319 | 2973 20 | 0 | 0 14.68/14.71 c 14.7s | 12 | 38693 | 36519 | 2973 23 | 0 | 0 15.59/15.68 c 15.6s | 13 | 41144 | 38832 | 3271 24 | 0 | 0 17.58/17.70 c 17.7s | 13 | 48266 | 45232 | 3271 27 | 0 | 0 19.68/19.70 c 19.7s | 13 | 55258 | 51732 | 3271 31 | 0 | 0 21.68/21.72 c 21.7s | 13 | 62352 | 58132 | 3599 34 | 0 | 0 21.78/21.80 c 21.8s | 14 | 62596 | 58352 | 3599 34 | 0 | 0 23.79/23.83 c 23.8s | 14 | 67211 | 62352 | 3599 36 | 0 | 0 25.79/25.85 c 25.8s | 14 | 72413 | 67252 | 3599 39 | 0 | 0 27.79/27.87 c 27.8s | 14 | 76843 | 71452 | 3599 41 | 0 | 0 29.79/29.90 c 29.9s | 14 | 82000 | 76452 | 3599 43 | 0 | 0 31.89/31.92 c 31.9s | 14 | 86182 | 80252 | 3599 45 | 0 | 0 33.89/33.96 c 33.9s | 14 | 91099 | 85052 | 3599 47 | 0 | 0 35.19/35.26 c 35.2s | 15 | 93741 | 87632 | 3959 48 | 0 | 0 36.88/36.90 c 36.9s | 15 | 99663 | 92911 | 3959 51 | 0 | 0 36.88/36.90 c #cpu_time = 36.765s 36.88/36.90 c #wall_clock_time = 36.863s 36.88/36.90 c #decision = 99663 36.88/36.90 c #random_decision = 394 36.88/36.90 c #conflict = 92911 36.88/36.90 c #restart = 15 36.88/36.90 o 473 36.88/36.90 c BCD2: updating upper bound: 511 -> 472 36.88/36.90 c BCD2: 0 <= obj <= 472 36.88/36.90 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 36.88/36.90 c BCD2: #sat=1 #unsat=1 bias=1/2 36.88/36.90 c Solving starts ... 36.88/36.90 c ============================[ Search Statistics ]============================ 36.88/36.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 36.88/36.90 c | | | | Limit GC | Var | Constra 36.88/36.90 c ============================================================================= 36.88/36.90 c 0.0s | 0 | 0 | 0 | 3959 0 | 0 | 0 36.88/36.91 c 0.0s | 0 | 7 | 0 | 3959 0 | 0 | 0 36.88/36.91 c #cpu_time = 0.010s 36.88/36.91 c #wall_clock_time = 0.010s 36.88/36.91 c #decision = 7 36.88/36.91 c #random_decision = 0 36.88/36.91 c #conflict = 0 36.88/36.91 c #restart = 0 36.88/36.91 c BCD2: found a new core of size 8: cost of the new core is >=2 36.88/36.91 c lower bound updated to 2 36.88/36.91 c BCD2: 2 <= obj <= 472 36.88/36.91 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 36.88/36.91 c BCD2: #sat=1 #unsat=2 bias=2/3 36.88/36.91 c Solving starts ... 36.88/36.91 c ============================[ Search Statistics ]============================ 36.88/36.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 36.88/36.91 c | | | | Limit GC | Var | Constra 36.88/36.91 c ============================================================================= 36.88/36.91 c 0.0s | 0 | 0 | 0 | 3959 0 | 0 | 0 36.88/36.96 c 0.1s | 1 | 200 | 100 | 3959 0 | 0 | 0 36.99/37.00 c 0.1s | 2 | 437 | 250 | 3959 0 | 0 | 0 37.09/37.17 c 0.3s | 3 | 728 | 475 | 3959 0 | 0 | 0 37.39/37.46 c 0.5s | 4 | 1175 | 813 | 3959 0 | 0 | 0 37.69/37.76 c 0.9s | 5 | 2047 | 1320 | 3959 0 | 0 | 0 38.09/38.14 c 1.2s | 6 | 3303 | 2081 | 3959 1 | 0 | 0 38.69/38.78 c 1.9s | 7 | 5015 | 3223 | 3959 1 | 0 | 0 39.28/39.37 c 2.5s | 8 | 7192 | 4936 | 3959 2 | 0 | 0 40.28/40.34 c 3.4s | 9 | 10357 | 7506 | 3959 3 | 0 | 0 41.48/41.52 c 4.6s | 10 | 14644 | 11361 | 3959 5 | 0 | 0 43.58/43.64 c 6.7s | 10 | 16643 | 12761 | 3959 6 | 0 | 0 45.58/45.62 c 8.7s | 11 | 21460 | 17144 | 3959 7 | 0 | 0 47.58/47.64 c 10.7s | 11 | 26772 | 22044 | 3959 10 | 0 | 0 49.48/49.52 c 12.6s | 12 | 30654 | 25819 | 3959 11 | 0 | 0 51.48/51.53 c 14.6s | 12 | 36707 | 31119 | 3959 14 | 0 | 0 53.48/53.55 c 16.6s | 12 | 41961 | 36019 | 3959 16 | 0 | 0 54.58/54.61 c 17.7s | 13 | 44954 | 38832 | 4355 17 | 0 | 0 56.58/56.63 c 19.7s | 13 | 51103 | 44632 | 4355 20 | 0 | 0 58.58/58.64 c 21.7s | 13 | 57122 | 50232 | 4355 22 | 0 | 0 60.59/60.67 c 23.8s | 13 | 63444 | 55832 | 4355 24 | 0 | 0 61.58/61.64 c 24.7s | 14 | 66308 | 58352 | 4355 25 | 0 | 0 63.58/63.65 c 26.7s | 14 | 72418 | 63952 | 4355 28 | 0 | 0 65.58/65.68 c 28.8s | 14 | 76215 | 67352 | 4355 29 | 0 | 0 67.68/67.71 c 30.8s | 14 | 80263 | 71252 | 4355 30 | 0 | 0 69.68/69.75 c 32.8s | 14 | 84512 | 75252 | 4355 32 | 0 | 0 71.69/71.78 c 34.9s | 14 | 89516 | 80052 | 4355 34 | 0 | 0 73.78/73.81 c 36.9s | 14 | 93557 | 83852 | 4355 35 | 0 | 0 75.68/75.70 c 38.8s | 15 | 97593 | 87632 | 4355 37 | 0 | 0 77.68/77.71 c 40.8s | 15 | 104228 | 93732 | 4355 39 | 0 | 0 79.68/79.72 c 42.8s | 15 | 108888 | 98232 | 4355 41 | 0 | 0 81.68/81.72 c 44.8s | 15 | 113365 | 102632 | 4355 43 | 0 | 0 83.68/83.72 c 46.8s | 15 | 118510 | 107432 | 4791 44 | 0 | 0 85.68/85.76 c 48.9s | 15 | 123648 | 112232 | 4791 46 | 0 | 0 87.77/87.80 c 50.9s | 15 | 128016 | 116432 | 4791 48 | 0 | 0 89.77/89.86 c 52.9s | 15 | 131801 | 119932 | 4791 49 | 0 | 0 91.77/91.89 c 55.0s | 15 | 134838 | 122832 | 4791 50 | 0 | 0 93.87/93.92 c 57.0s | 15 | 139449 | 127132 | 4791 52 | 0 | 0 95.67/95.72 c 58.8s | 16 | 144359 | 131552 | 4791 53 | 0 | 0 97.67/97.74 c 60.8s | 16 | 149105 | 135952 | 4791 55 | 0 | 0 99.67/99.75 c 62.8s | 16 | 153457 | 140252 | 4791 57 | 0 | 0 101.67/101.79 c 64.9s | 16 | 157930 | 144652 | 4791 58 | 0 | 0 103.77/103.81 c 66.9s | 16 | 162198 | 148852 | 4791 60 | 0 | 0 105.78/105.82 c 68.9s | 16 | 166739 | 153352 | 4791 62 | 0 | 0 107.77/107.84 c 70.9s | 16 | 171127 | 157652 | 4791 63 | 0 | 0 109.77/109.85 c 72.9s | 16 | 175748 | 162152 | 4791 65 | 0 | 0 111.77/111.86 c 75.0s | 16 | 179932 | 166252 | 4791 66 | 0 | 0 113.77/113.88 c 77.0s | 16 | 184497 | 170752 | 4791 68 | 0 | 0 115.77/115.88 c 79.0s | 16 | 188455 | 174652 | 4791 70 | 0 | 0 117.77/117.90 c 81.0s | 16 | 192727 | 178852 | 4791 71 | 0 | 0 119.87/119.94 c 83.0s | 16 | 196890 | 182952 | 4791 73 | 0 | 0 121.87/121.98 c 85.1s | 16 | 200644 | 186652 | 4791 74 | 0 | 0 123.97/124.01 c 87.1s | 16 | 204589 | 190552 | 4791 76 | 0 | 0 125.97/126.05 c 89.1s | 16 | 208645 | 194552 | 4791 77 | 0 | 0 127.37/127.40 c 90.5s | 17 | 211586 | 197432 | 4791 78 | 0 | 0 129.37/129.42 c 92.5s | 17 | 218215 | 203032 | 5271 80 | 0 | 0 131.37/131.46 c 94.6s | 17 | 223544 | 207832 | 5271 82 | 0 | 0 133.37/133.48 c 96.6s | 17 | 228272 | 212132 | 5271 84 | 0 | 0 135.48/135.52 c 98.6s | 17 | 232871 | 216532 | 5271 85 | 0 | 0 137.47/137.52 c 100s | 17 | 237593 | 220932 | 5271 87 | 0 | 0 139.47/139.53 c 102s | 17 | 242436 | 225432 | 5271 88 | 0 | 0 141.47/141.59 c 104s | 17 | 247254 | 230032 | 5271 90 | 0 | 0 143.47/143.59 c 106s | 17 | 251613 | 234232 | 5271 91 | 0 | 0 145.57/145.61 c 108s | 17 | 256965 | 238832 | 5271 93 | 0 | 0 147.57/147.64 c 110s | 17 | 261960 | 243632 | 5271 95 | 0 | 0 149.57/149.69 c 112s | 17 | 266734 | 248132 | 5271 96 | 0 | 0 151.57/151.69 c 114s | 17 | 271554 | 252532 | 5271 98 | 0 | 0 153.67/153.75 c 116s | 17 | 276688 | 257132 | 5271 100 | 0 | 0 155.67/155.76 c 118s | 17 | 281765 | 262032 | 5271 101 | 0 | 0 157.67/157.80 c 120s | 17 | 286050 | 266232 | 5271 103 | 0 | 0 159.77/159.84 c 122s | 17 | 291135 | 271032 | 5271 104 | 0 | 0 161.77/161.84 c 124s | 17 | 295726 | 275432 | 5271 106 | 0 | 0 163.77/163.87 c 126s | 17 | 300225 | 279832 | 5271 108 | 0 | 0 165.86/165.92 c 129s | 17 | 304814 | 284132 | 5271 109 | 0 | 0 167.86/167.96 c 131s | 17 | 309464 | 288532 | 5271 111 | 0 | 0 169.86/169.96 c 133s | 17 | 313719 | 292532 | 5271 112 | 0 | 0 171.86/171.97 c 135s | 17 | 317709 | 296232 | 5271 113 | 0 | 0 171.86/171.99 c 135s | 18 | 317728 | 296252 | 5271 113 | 0 | 0 173.97/174.01 c 137s | 18 | 322812 | 300252 | 5271 115 | 0 | 0 175.96/176.02 c 139s | 18 | 328268 | 305052 | 5271 116 | 0 | 0 177.96/178.04 c 141s | 18 | 333233 | 309752 | 5271 118 | 0 | 0 179.96/180.09 c 143s | 18 | 337446 | 313752 | 5271 119 | 0 | 0 182.06/182.11 c 145s | 18 | 341118 | 317052 | 5271 121 | 0 | 0 184.06/184.13 c 147s | 18 | 344841 | 320052 | 5271 122 | 0 | 0 186.07/186.16 c 149s | 18 | 348675 | 322852 | 5271 123 | 0 | 0 188.17/188.21 c 151s | 18 | 351887 | 325252 | 5271 123 | 0 | 0 190.16/190.25 c 153s | 18 | 356042 | 328352 | 5271 125 | 0 | 0 192.16/192.28 c 155s | 18 | 359728 | 331152 | 5271 126 | 0 | 0 194.26/194.32 c 157s | 18 | 363826 | 334852 | 5271 127 | 0 | 0 196.26/196.33 c 159s | 18 | 368808 | 339452 | 5271 128 | 0 | 0 198.26/198.34 c 161s | 18 | 373990 | 344252 | 5271 130 | 0 | 0 200.26/200.35 c 163s | 18 | 378959 | 348652 | 5799 132 | 0 | 0 202.36/202.40 c 165s | 18 | 383549 | 353052 | 5799 133 | 0 | 0 204.36/204.40 c 167s | 18 | 388343 | 357552 | 5799 134 | 0 | 0 206.36/206.41 c 169s | 18 | 393570 | 362452 | 5799 136 | 0 | 0 208.36/208.43 c 171s | 18 | 398780 | 367252 | 5799 137 | 0 | 0 210.36/210.45 c 173s | 18 | 403661 | 371952 | 5799 139 | 0 | 0 212.36/212.49 c 175s | 18 | 408797 | 376852 | 5799 140 | 0 | 0 214.45/214.53 c 177s | 18 | 413466 | 381352 | 5799 142 | 0 | 0 216.45/216.55 c 179s | 18 | 418418 | 386152 | 5799 143 | 0 | 0 218.45/218.60 c 181s | 18 | 423634 | 390652 | 5799 145 | 0 | 0 220.55/220.61 c 183s | 18 | 428368 | 395252 | 5799 146 | 0 | 0 222.55/222.66 c 185s | 18 | 432999 | 399752 | 5799 148 | 0 | 0 224.56/224.66 c 187s | 18 | 438456 | 404852 | 5799 149 | 0 | 0 226.66/226.71 c 189s | 18 | 443597 | 409252 | 5799 151 | 0 | 0 228.65/228.71 c 191s | 18 | 448448 | 413752 | 5799 152 | 0 | 0 230.65/230.71 c 193s | 18 | 453237 | 418352 | 5799 154 | 0 | 0 232.65/232.77 c 195s | 18 | 458668 | 423352 | 5799 155 | 0 | 0 234.65/234.77 c 197s | 18 | 463266 | 427652 | 5799 157 | 0 | 0 236.66/236.79 c 199s | 18 | 468504 | 432552 | 5799 158 | 0 | 0 238.65/238.79 c 201s | 18 | 473296 | 437252 | 5799 160 | 0 | 0 240.75/240.80 c 203s | 18 | 478407 | 442152 | 5799 161 | 0 | 0 241.75/241.88 c 204s | 19 | 480831 | 444482 | 5799 162 | 0 | 0 243.85/243.90 c 206s | 19 | 486157 | 449582 | 5799 164 | 0 | 0 245.85/245.91 c 209s | 19 | 491090 | 454382 | 5799 165 | 0 | 0 247.85/247.94 c 211s | 19 | 496704 | 459782 | 5799 167 | 0 | 0 249.85/249.95 c 213s | 19 | 502190 | 464982 | 5799 169 | 0 | 0 251.85/251.95 c 215s | 19 | 508328 | 470782 | 5799 171 | 0 | 0 253.85/253.99 c 217s | 19 | 514544 | 476782 | 5799 173 | 0 | 0 255.85/255.99 c 219s | 19 | 520024 | 482082 | 5799 175 | 0 | 0 257.95/258.02 c 221s | 19 | 525889 | 487782 | 5799 177 | 0 | 0 259.94/260.03 c 223s | 19 | 532329 | 493982 | 5799 179 | 0 | 0 261.96/262.04 c 225s | 19 | 538189 | 499682 | 5799 181 | 0 | 0 263.95/264.05 c 227s | 19 | 544367 | 505482 | 5799 183 | 0 | 0 265.95/266.06 c 229s | 19 | 550577 | 511382 | 5799 185 | 0 | 0 267.95/268.06 c 231s | 19 | 556907 | 517382 | 5799 187 | 0 | 0 269.95/270.07 c 233s | 19 | 562707 | 522682 | 5799 188 | 0 | 0 271.95/272.07 c 235s | 19 | 567944 | 527682 | 5799 190 | 0 | 0 273.95/274.10 c 237s | 19 | 573420 | 532882 | 5799 192 | 0 | 0 276.05/276.11 c 239s | 19 | 578842 | 538082 | 5799 194 | 0 | 0 278.05/278.11 c 241s | 19 | 584442 | 543482 | 5799 195 | 0 | 0 280.05/280.15 c 243s | 19 | 589777 | 548582 | 5799 197 | 0 | 0 282.05/282.15 c 245s | 19 | 595292 | 553882 | 5799 199 | 0 | 0 284.04/284.17 c 247s | 19 | 601198 | 559582 | 5799 201 | 0 | 0 286.05/286.19 c 249s | 19 | 607139 | 565182 | 5799 203 | 0 | 0 288.14/288.23 c 251s | 19 | 613350 | 571082 | 6379 205 | 0 | 0 290.14/290.25 c 253s | 19 | 619481 | 576982 | 6379 206 | 0 | 0 292.14/292.28 c 255s | 19 | 625734 | 583082 | 6379 208 | 0 | 0 294.24/294.30 c 257s | 19 | 632189 | 589282 | 6379 210 | 0 | 0 296.24/296.32 c 259s | 19 | 637778 | 594682 | 6379 212 | 0 | 0 298.25/298.34 c 261s | 19 | 643085 | 599782 | 6379 213 | 0 | 0 300.24/300.37 c 263s | 19 | 648941 | 605182 | 6379 215 | 0 | 0 302.34/302.40 c 265s | 19 | 654129 | 610082 | 6379 217 | 0 | 0 304.34/304.42 c 267s | 19 | 659902 | 615582 | 6379 218 | 0 | 0 306.34/306.44 c 269s | 19 | 666058 | 621482 | 6379 220 | 0 | 0 308.34/308.45 c 271s | 19 | 672069 | 626982 | 6379 222 | 0 | 0 310.35/310.45 c 273s | 19 | 677986 | 632482 | 6379 223 | 0 | 0 312.34/312.45 c 275s | 19 | 683521 | 637682 | 6379 225 | 0 | 0 314.34/314.49 c 277s | 19 | 688819 | 642782 | 6379 227 | 0 | 0 316.34/316.50 c 279s | 19 | 694116 | 647882 | 6379 228 | 0 | 0 318.44/318.53 c 281s | 19 | 699136 | 652782 | 6379 230 | 0 | 0 320.44/320.56 c 283s | 19 | 704202 | 657682 | 6379 231 | 0 | 0 322.45/322.58 c 285s | 19 | 710370 | 663582 | 6379 233 | 0 | 0 323.64/323.78 c 286s | 20 | 713784 | 666827 | 6379 234 | 0 | 0 325.64/325.78 c 288s | 20 | 720713 | 673527 | 6379 236 | 0 | 0 327.63/327.78 c 290s | 20 | 726343 | 679027 | 6379 237 | 0 | 0 329.73/329.81 c 292s | 20 | 731805 | 684427 | 6379 239 | 0 | 0 331.73/331.84 c 294s | 20 | 737014 | 689527 | 6379 241 | 0 | 0 333.73/333.85 c 296s | 20 | 742848 | 695227 | 6379 242 | 0 | 0 335.73/335.85 c 298s | 20 | 747452 | 699727 | 6379 243 | 0 | 0 337.74/337.86 c 300s | 20 | 751326 | 703527 | 6379 245 | 0 | 0 339.73/339.88 c 302s | 20 | 756214 | 708327 | 6379 246 | 0 | 0 341.83/341.90 c 304s | 20 | 761727 | 713727 | 6379 248 | 0 | 0 343.83/343.91 c 307s | 20 | 767015 | 718927 | 6379 249 | 0 | 0 345.83/345.92 c 309s | 20 | 771164 | 723027 | 6379 250 | 0 | 0 347.83/347.93 c 311s | 20 | 775288 | 727127 | 6379 251 | 0 | 0 349.83/349.94 c 313s | 20 | 779851 | 731627 | 6379 253 | 0 | 0 351.83/351.96 c 315s | 20 | 786026 | 737627 | 6379 254 | 0 | 0 353.83/353.97 c 317s | 20 | 790568 | 742127 | 6379 256 | 0 | 0 355.94/356.00 c 319s | 20 | 794424 | 745927 | 6379 257 | 0 | 0 357.94/358.01 c 321s | 20 | 797740 | 749127 | 6379 258 | 0 | 0 360.04/360.17 c 323s | 20 | 800411 | 751727 | 6379 259 | 0 | 0 362.14/362.25 c 325s | 20 | 803284 | 754427 | 6379 259 | 0 | 0 364.14/364.25 c 327s | 20 | 806812 | 757827 | 6379 260 | 0 | 0 366.14/366.26 c 329s | 20 | 811850 | 762727 | 6379 262 | 0 | 0 368.14/368.29 c 331s | 20 | 815977 | 766727 | 6379 263 | 0 | 0 370.23/370.33 c 333s | 20 | 818972 | 769627 | 6379 264 | 0 | 0 372.23/372.37 c 335s | 20 | 823676 | 774227 | 6379 265 | 0 | 0 374.33/374.41 c 337s | 20 | 828762 | 779227 | 6379 266 | 0 | 0 376.34/376.44 c 339s | 20 | 832992 | 783327 | 6379 267 | 0 | 0 378.33/378.44 c 341s | 20 | 837479 | 787727 | 6379 269 | 0 | 0 380.33/380.48 c 343s | 20 | 842232 | 792327 | 6379 270 | 0 | 0 382.43/382.52 c 345s | 20 | 846148 | 796127 | 6379 271 | 0 | 0 384.43/384.53 c 347s | 20 | 850829 | 800727 | 6379 272 | 0 | 0 386.43/386.55 c 349s | 20 | 856130 | 805827 | 6379 274 | 0 | 0 388.44/388.57 c 351s | 20 | 860672 | 810227 | 6379 275 | 0 | 0 390.43/390.57 c 353s | 20 | 865695 | 815127 | 6379 276 | 0 | 0 392.43/392.58 c 355s | 20 | 870250 | 819527 | 6379 278 | 0 | 0 394.53/394.61 c 357s | 20 | 875044 | 824127 | 6379 279 | 0 | 0 396.53/396.63 c 359s | 20 | 879762 | 828727 | 6379 280 | 0 | 0 398.53/398.68 c 361s | 20 | 884618 | 833527 | 6379 282 | 0 | 0 400.63/400.74 c 363s | 20 | 889500 | 838227 | 6379 283 | 0 | 0 402.63/402.74 c 365s | 20 | 893688 | 842327 | 6379 284 | 0 | 0 404.63/404.78 c 367s | 20 | 898205 | 846727 | 6379 285 | 0 | 0 406.73/406.82 c 369s | 20 | 902832 | 851227 | 6379 287 | 0 | 0 408.72/408.83 c 371s | 20 | 908363 | 856427 | 6379 288 | 0 | 0 410.72/410.84 c 373s | 20 | 913326 | 861127 | 6379 290 | 0 | 0 412.72/412.87 c 375s | 20 | 918134 | 865827 | 6379 291 | 0 | 0 414.83/414.90 c 377s | 20 | 922813 | 870327 | 6379 292 | 0 | 0 416.82/416.92 c 380s | 20 | 927371 | 874527 | 6379 293 | 0 | 0 418.82/418.95 c 382s | 20 | 931319 | 878227 | 6379 294 | 0 | 0 420.82/420.95 c 384s | 20 | 935059 | 881727 | 6379 295 | 0 | 0 422.82/422.97 c 386s | 20 | 940228 | 886827 | 6379 297 | 0 | 0 424.82/424.98 c 388s | 20 | 944758 | 891227 | 6379 298 | 0 | 0 426.83/427.00 c 390s | 20 | 947971 | 894227 | 6379 299 | 0 | 0 428.92/429.02 c 392s | 20 | 952463 | 898627 | 6379 300 | 0 | 0 430.92/431.06 c 394s | 20 | 957100 | 903127 | 7017 301 | 0 | 0 432.92/433.08 c 396s | 20 | 961446 | 907227 | 7017 302 | 0 | 0 434.92/435.08 c 398s | 20 | 965449 | 910827 | 7017 303 | 0 | 0 437.02/437.11 c 400s | 20 | 970339 | 915627 | 7017 304 | 0 | 0 439.03/439.15 c 402s | 20 | 975028 | 920027 | 7017 306 | 0 | 0 441.13/441.21 c 404s | 20 | 978826 | 923627 | 7017 307 | 0 | 0 443.12/443.22 c 406s | 20 | 983064 | 927627 | 7017 308 | 0 | 0 445.12/445.25 c 408s | 20 | 987157 | 931527 | 7017 309 | 0 | 0 447.22/447.31 c 410s | 20 | 990903 | 935127 | 7017 310 | 0 | 0 449.22/449.38 c 412s | 20 | 994949 | 938827 | 7017 311 | 0 | 0 451.32/451.41 c 414s | 20 | 998718 | 942227 | 7017 311 | 0 | 0 453.32/453.41 c 416s | 20 | 1003216 | 946527 | 7017 313 | 0 | 0 455.32/455.45 c 418s | 20 | 1007330 | 950527 | 7017 314 | 0 | 0 457.32/457.47 c 420s | 20 | 1011611 | 954627 | 7017 315 | 0 | 0 459.42/459.50 c 422s | 20 | 1015434 | 958127 | 7017 316 | 0 | 0 461.41/461.51 c 424s | 20 | 1018793 | 961227 | 7017 316 | 0 | 0 463.41/463.53 c 426s | 20 | 1022371 | 964627 | 7017 317 | 0 | 0 465.42/465.59 c 428s | 20 | 1025365 | 967427 | 7017 318 | 0 | 0 467.41/467.59 c 430s | 20 | 1028191 | 970127 | 7017 319 | 0 | 0 469.51/469.64 c 432s | 20 | 1031329 | 973127 | 7017 320 | 0 | 0 471.51/471.66 c 434s | 20 | 1035932 | 977627 | 7017 321 | 0 | 0 473.51/473.67 c 436s | 20 | 1040340 | 981927 | 7017 322 | 0 | 0 475.61/475.72 c 438s | 20 | 1043556 | 985027 | 7017 323 | 0 | 0 477.71/477.81 c 440s | 20 | 1046898 | 988227 | 7017 323 | 0 | 0 479.72/479.84 c 442s | 20 | 1050477 | 991627 | 7017 324 | 0 | 0 481.71/481.86 c 444s | 20 | 1054800 | 995827 | 7017 325 | 0 | 0 483.81/483.92 c 447s | 20 | 1059076 | 999927 | 7017 327 | 0 | 0 484.02/484.11 c 447s | 21 | 1059500 | 1000345 | 7017 327 | 0 | 0 486.01/486.14 c 449s | 21 | 1065913 | 1006545 | 7017 328 | 0 | 0 488.01/488.16 c 451s | 21 | 1070691 | 1011245 | 7017 330 | 0 | 0 490.01/490.18 c 453s | 21 | 1075354 | 1015845 | 7017 331 | 0 | 0 492.11/492.20 c 455s | 21 | 1080528 | 1020945 | 7017 332 | 0 | 0 494.11/494.24 c 457s | 21 | 1085597 | 1025945 | 7017 333 | 0 | 0 496.11/496.26 c 459s | 21 | 1089877 | 1030145 | 7017 335 | 0 | 0 498.11/498.26 c 461s | 21 | 1094044 | 1034245 | 7017 336 | 0 | 0 500.11/500.28 c 463s | 21 | 1098287 | 1038445 | 7017 337 | 0 | 0 502.11/502.29 c 465s | 21 | 1102805 | 1042945 | 7017 338 | 0 | 0 504.21/504.33 c 467s | 21 | 1107846 | 1047845 | 7017 339 | 0 | 0 506.20/506.37 c 469s | 21 | 1112076 | 1052045 | 7017 340 | 0 | 0 508.31/508.41 c 471s | 21 | 1117378 | 1057245 | 7017 342 | 0 | 0 510.30/510.42 c 473s | 21 | 1122172 | 1061945 | 7017 343 | 0 | 0 512.30/512.44 c 475s | 21 | 1127554 | 1067245 | 7017 344 | 0 | 0 514.30/514.47 c 477s | 21 | 1132411 | 1072045 | 7017 346 | 0 | 0 516.30/516.48 c 479s | 21 | 1137393 | 1076945 | 7017 347 | 0 | 0 518.41/518.50 c 481s | 21 | 1142341 | 1081845 | 7017 348 | 0 | 0 520.41/520.53 c 483s | 21 | 1147726 | 1087045 | 7017 350 | 0 | 0 522.41/522.53 c 485s | 21 | 1152117 | 1091345 | 7017 351 | 0 | 0 524.41/524.54 c 487s | 21 | 1156282 | 1095445 | 7017 352 | 0 | 0 526.41/526.56 c 489s | 21 | 1160934 | 1100045 | 7017 353 | 0 | 0 528.51/528.61 c 491s | 21 | 1165901 | 1104945 | 7017 354 | 0 | 0 530.51/530.64 c 493s | 21 | 1171004 | 1109845 | 7017 356 | 0 | 0 532.51/532.66 c 495s | 21 | 1175776 | 1114545 | 7017 357 | 0 | 0 534.51/534.68 c 497s | 21 | 1180435 | 1119145 | 7017 358 | 0 | 0 536.51/536.70 c 499s | 21 | 1184801 | 1123445 | 7017 359 | 0 | 0 538.61/538.71 c 501s | 21 | 1189526 | 1128045 | 7017 361 | 0 | 0 540.60/540.72 c 503s | 21 | 1194276 | 1132745 | 7017 362 | 0 | 0 542.60/542.73 c 505s | 21 | 1199303 | 1137645 | 7017 363 | 0 | 0 544.61/544.74 c 507s | 21 | 1204445 | 1142645 | 7017 365 | 0 | 0 546.60/546.74 c 509s | 21 | 1208781 | 1146945 | 7017 366 | 0 | 0 548.60/548.75 c 511s | 21 | 1213441 | 1151545 | 7017 367 | 0 | 0 550.60/550.76 c 513s | 21 | 1218185 | 1156245 | 7017 368 | 0 | 0 552.70/552.82 c 515s | 21 | 1223328 | 1161245 | 7017 370 | 0 | 0 554.70/554.85 c 517s | 21 | 1228120 | 1165945 | 7017 371 | 0 | 0 556.71/556.87 c 519s | 21 | 1233138 | 1170845 | 7017 372 | 0 | 0 558.70/558.89 c 521s | 21 | 1237478 | 1175145 | 7017 373 | 0 | 0 560.80/560.93 c 524s | 21 | 1241959 | 1179545 | 7017 374 | 0 | 0 562.80/562.97 c 526s | 21 | 1246581 | 1184045 | 7017 376 | 0 | 0 564.80/564.97 c 528s | 21 | 1251384 | 1188745 | 7017 377 | 0 | 0 566.90/567.00 c 530s | 21 | 1255479 | 1192745 | 7017 378 | 0 | 0 568.90/569.04 c 532s | 21 | 1260699 | 1197845 | 7017 379 | 0 | 0 570.90/571.10 c 534s | 21 | 1265195 | 1202245 | 7017 381 | 0 | 0 573.00/573.10 c 536s | 21 | 1270485 | 1207445 | 7017 382 | 0 | 0 575.00/575.13 c 538s | 21 | 1275606 | 1212445 | 7017 383 | 0 | 0 577.00/577.17 c 540s | 21 | 1280310 | 1217045 | 7017 384 | 0 | 0 579.00/579.18 c 542s | 21 | 1284467 | 1221145 | 7017 386 | 0 | 0 581.09/581.20 c 544s | 21 | 1289574 | 1226145 | 7017 387 | 0 | 0 583.10/583.22 c 546s | 21 | 1294147 | 1230645 | 7017 388 | 0 | 0 585.09/585.26 c 548s | 21 | 1298450 | 1234845 | 7017 389 | 0 | 0 587.09/587.28 c 550s | 21 | 1302733 | 1239045 | 7017 390 | 0 | 0 589.19/589.31 c 552s | 21 | 1306905 | 1243145 | 7017 391 | 0 | 0 591.19/591.34 c 554s | 21 | 1312325 | 1248445 | 7017 393 | 0 | 0 593.19/593.35 c 556s | 21 | 1316565 | 1252645 | 7017 394 | 0 | 0 595.20/595.37 c 558s | 21 | 1320808 | 1256845 | 7017 395 | 0 | 0 597.19/597.38 c 560s | 21 | 1325244 | 1261245 | 7017 396 | 0 | 0 599.29/599.41 c 562s | 21 | 1330442 | 1266345 | 7017 398 | 0 | 0 601.29/601.44 c 564s | 21 | 1334753 | 1270545 | 7017 399 | 0 | 0 603.29/603.45 c 566s | 21 | 1338829 | 1274545 | 7017 400 | 0 | 0 605.49/605.66 c 568s | 21 | 1343301 | 1278945 | 7017 401 | 0 | 0 607.59/607.70 c 570s | 21 | 1348157 | 1283745 | 7017 402 | 0 | 0 609.59/609.70 c 572s | 21 | 1352009 | 1287545 | 7017 403 | 0 | 0 611.59/611.73 c 574s | 21 | 1355557 | 1291045 | 7017 404 | 0 | 0 613.59/613.75 c 576s | 21 | 1360969 | 1296145 | 7017 406 | 0 | 0 615.58/615.77 c 578s | 21 | 1365626 | 1300645 | 7017 407 | 0 | 0 617.69/617.81 c 580s | 21 | 1370255 | 1305145 | 7017 408 | 0 | 0 619.68/619.81 c 582s | 21 | 1374498 | 1309145 | 7017 409 | 0 | 0 621.68/621.83 c 584s | 21 | 1378531 | 1312945 | 7017 410 | 0 | 0 623.69/623.85 c 586s | 21 | 1382964 | 1317145 | 7017 411 | 0 | 0 625.79/625.90 c 588s | 21 | 1387098 | 1321145 | 7017 412 | 0 | 0 627.79/627.94 c 591s | 21 | 1391272 | 1325145 | 7017 413 | 0 | 0 629.79/629.99 c 593s | 21 | 1395540 | 1329245 | 7017 414 | 0 | 0 631.89/632.03 c 595s | 21 | 1399893 | 1333045 | 7017 415 | 0 | 0 633.99/634.10 c 597s | 21 | 1403524 | 1336245 | 7017 416 | 0 | 0 635.99/636.14 c 599s | 21 | 1408229 | 1340445 | 7017 417 | 0 | 0 638.00/638.16 c 601s | 21 | 1412407 | 1344445 | 7017 418 | 0 | 0 640.09/640.22 c 603s | 21 | 1416405 | 1348245 | 7017 419 | 0 | 0 642.09/642.23 c 605s | 21 | 1420488 | 1351645 | 7017 420 | 0 | 0 644.09/644.28 c 607s | 21 | 1423487 | 1354545 | 7017 421 | 0 | 0 646.09/646.28 c 609s | 21 | 1426041 | 1357045 | 7017 422 | 0 | 0 648.19/648.30 c 611s | 21 | 1429577 | 1360445 | 7017 423 | 0 | 0 650.20/650.31 c 613s | 21 | 1433452 | 1364045 | 7017 424 | 0 | 0 652.19/652.36 c 615s | 21 | 1436965 | 1367245 | 7017 424 | 0 | 0 654.29/654.40 c 617s | 21 | 1440314 | 1370345 | 7017 425 | 0 | 0 656.29/656.45 c 619s | 21 | 1442928 | 1372945 | 7017 426 | 0 | 0 658.39/658.50 c 621s | 21 | 1445268 | 1375245 | 7017 427 | 0 | 0 660.39/660.55 c 623s | 21 | 1448763 | 1378445 | 7017 427 | 0 | 0 662.39/662.57 c 625s | 21 | 1453333 | 1382745 | 7017 429 | 0 | 0 664.39/664.58 c 627s | 21 | 1457084 | 1386445 | 7017 430 | 0 | 0 666.48/666.61 c 629s | 21 | 1461510 | 1390745 | 7017 431 | 0 | 0 668.48/668.69 c 631s | 21 | 1465770 | 1394945 | 7017 432 | 0 | 0 670.48/670.69 c 633s | 21 | 1470478 | 1399545 | 7719 433 | 0 | 0 672.58/672.75 c 635s | 21 | 1474219 | 1403145 | 7719 434 | 0 | 0 674.58/674.77 c 637s | 21 | 1477773 | 1406545 | 7719 434 | 0 | 0 676.68/676.80 c 639s | 21 | 1481537 | 1410245 | 7719 435 | 0 | 0 678.69/678.84 c 641s | 21 | 1485602 | 1414145 | 7719 436 | 0 | 0 680.68/680.86 c 643s | 21 | 1489537 | 1417845 | 7719 437 | 0 | 0 682.78/682.91 c 645s | 21 | 1493188 | 1421445 | 7719 438 | 0 | 0 684.78/684.92 c 648s | 21 | 1497153 | 1425145 | 7719 439 | 0 | 0 686.77/686.94 c 650s | 21 | 1501250 | 1429045 | 7719 440 | 0 | 0 688.77/688.96 c 652s | 21 | 1504763 | 1432545 | 7719 441 | 0 | 0 690.78/690.97 c 654s | 21 | 1509209 | 1436845 | 7719 442 | 0 | 0 692.87/693.00 c 656s | 21 | 1513714 | 1441245 | 7719 443 | 0 | 0 694.87/695.03 c 658s | 21 | 1517784 | 1445245 | 7719 444 | 0 | 0 696.87/697.07 c 660s | 21 | 1521632 | 1449045 | 7719 445 | 0 | 0 698.97/699.10 c 662s | 21 | 1526045 | 1453145 | 7719 446 | 0 | 0 700.97/701.14 c 664s | 21 | 1530122 | 1456845 | 7719 447 | 0 | 0 702.97/703.15 c 666s | 21 | 1534247 | 1460845 | 7719 448 | 0 | 0 705.07/705.23 c 668s | 21 | 1538284 | 1464645 | 7719 449 | 0 | 0 707.06/707.26 c 670s | 21 | 1542342 | 1468445 | 7719 449 | 0 | 0 709.06/709.29 c 672s | 21 | 1546518 | 1472445 | 7719 450 | 0 | 0 711.16/711.30 c 674s | 21 | 1550867 | 1476645 | 7719 451 | 0 | 0 713.16/713.32 c 676s | 21 | 1555033 | 1480645 | 7719 452 | 0 | 0 715.16/715.36 c 678s | 21 | 1559168 | 1484645 | 7719 453 | 0 | 0 717.16/717.36 c 680s | 21 | 1562799 | 1488245 | 7719 454 | 0 | 0 719.26/719.42 c 682s | 21 | 1566906 | 1492245 | 7719 455 | 0 | 0 721.26/721.45 c 684s | 21 | 1569715 | 1495045 | 7719 456 | 0 | 0 723.26/723.45 c 686s | 21 | 1573288 | 1498545 | 7719 457 | 0 | 0 724.35/724.53 c 687s | 22 | 1575508 | 1500622 | 7719 457 | 0 | 0 726.35/726.57 c 689s | 22 | 1580045 | 1504422 | 7719 458 | 0 | 0 728.45/728.61 c 691s | 22 | 1584520 | 1508822 | 7719 459 | 0 | 0 730.46/730.68 c 693s | 22 | 1589060 | 1513022 | 7719 460 | 0 | 0 732.45/732.69 c 695s | 22 | 1593486 | 1517122 | 7719 461 | 0 | 0 734.45/734.69 c 697s | 22 | 1597420 | 1520922 | 7719 462 | 0 | 0 736.55/736.70 c 699s | 22 | 1601794 | 1525122 | 7719 463 | 0 | 0 738.55/738.75 c 701s | 22 | 1606167 | 1529422 | 7719 464 | 0 | 0 740.55/740.78 c 703s | 22 | 1610206 | 1533222 | 7719 465 | 0 | 0 742.65/742.82 c 705s | 22 | 1614955 | 1537622 | 7719 466 | 0 | 0 744.75/744.91 c 707s | 22 | 1619587 | 1542022 | 7719 467 | 0 | 0 746.74/746.95 c 710s | 22 | 1623431 | 1545722 | 7719 468 | 0 | 0 748.74/748.98 c 712s | 22 | 1627004 | 1549122 | 7719 469 | 0 | 0 750.74/750.99 c 714s | 22 | 1631579 | 1553422 | 7719 470 | 0 | 0 752.84/753.02 c 716s | 22 | 1635912 | 1557522 | 7719 471 | 0 | 0 754.84/755.04 c 718s | 22 | 1640602 | 1562022 | 7719 472 | 0 | 0 756.84/757.06 c 720s | 22 | 1645443 | 1566722 | 7719 473 | 0 | 0 758.83/759.09 c 722s | 22 | 1649985 | 1571022 | 7719 474 | 0 | 0 760.83/761.09 c 724s | 22 | 1653689 | 1574522 | 7719 475 | 0 | 0 762.93/763.11 c 726s | 22 | 1657399 | 1578022 | 7719 476 | 0 | 0 764.93/765.14 c 728s | 22 | 1661774 | 1582022 | 7719 477 | 0 | 0 766.93/767.16 c 730s | 22 | 1665695 | 1585722 | 7719 477 | 0 | 0 769.03/769.22 c 732s | 22 | 1669606 | 1589422 | 7719 478 | 0 | 0 771.03/771.25 c 734s | 22 | 1673084 | 1592422 | 7719 479 | 0 | 0 773.03/773.28 c 736s | 22 | 1677679 | 1596822 | 7719 480 | 0 | 0 775.03/775.28 c 738s | 22 | 1681869 | 1600922 | 7719 481 | 0 | 0 777.12/777.33 c 740s | 22 | 1686257 | 1605122 | 7719 482 | 0 | 0 779.12/779.36 c 742s | 22 | 1690767 | 1609522 | 7719 483 | 0 | 0 781.12/781.38 c 744s | 22 | 1694780 | 1613022 | 7719 484 | 0 | 0 783.13/783.40 c 746s | 22 | 1699517 | 1617522 | 7719 485 | 0 | 0 785.22/785.40 c 748s | 22 | 1703410 | 1621122 | 7719 486 | 0 | 0 787.22/787.45 c 750s | 22 | 1707968 | 1625322 | 7719 487 | 0 | 0 789.22/789.47 c 752s | 22 | 1711238 | 1628422 | 7719 488 | 0 | 0 791.22/791.49 c 754s | 22 | 1715378 | 1632322 | 7719 489 | 0 | 0 793.32/793.57 c 756s | 22 | 1720177 | 1636922 | 7719 490 | 0 | 0 795.33/795.58 c 758s | 22 | 1724810 | 1641322 | 7719 491 | 0 | 0 797.32/797.58 c 760s | 22 | 1730266 | 1646422 | 7719 492 | 0 | 0 799.43/799.62 c 762s | 22 | 1735358 | 1650722 | 7719 493 | 0 | 0 801.43/801.63 c 764s | 22 | 1740215 | 1655322 | 7719 494 | 0 | 0 803.42/803.65 c 766s | 22 | 1745472 | 1660122 | 7719 495 | 0 | 0 805.42/805.66 c 768s | 22 | 1750037 | 1664422 | 7719 496 | 0 | 0 807.43/807.67 c 770s | 22 | 1754608 | 1668822 | 7719 497 | 0 | 0 809.53/809.73 c 772s | 22 | 1759288 | 1673122 | 7719 498 | 0 | 0 811.52/811.75 c 774s | 22 | 1763621 | 1677122 | 7719 499 | 0 | 0 813.52/813.78 c 776s | 22 | 1768415 | 1681722 | 7719 500 | 0 | 0 815.52/815.79 c 778s | 22 | 1772830 | 1685922 | 7719 501 | 0 | 0 817.62/817.82 c 780s | 22 | 1777648 | 1690422 | 7719 503 | 0 | 0 819.62/819.87 c 782s | 22 | 1782146 | 1694822 | 7719 504 | 0 | 0 821.62/821.87 c 784s | 22 | 1786761 | 1699322 | 7719 505 | 0 | 0 823.62/823.88 c 786s | 22 | 1791417 | 1703822 | 7719 506 | 0 | 0 825.71/825.94 c 789s | 22 | 1795619 | 1707722 | 7719 507 | 0 | 0 827.71/827.95 c 791s | 22 | 1799598 | 1711522 | 7719 508 | 0 | 0 829.71/829.99 c 793s | 22 | 1804173 | 1715922 | 7719 509 | 0 | 0 831.81/832.01 c 795s | 22 | 1808844 | 1720322 | 7719 510 | 0 | 0 833.82/834.08 c 797s | 22 | 1812240 | 1723522 | 7719 510 | 0 | 0 835.92/836.13 c 799s | 22 | 1816834 | 1727922 | 7719 511 | 0 | 0 837.91/838.18 c 801s | 22 | 1821027 | 1731922 | 7719 512 | 0 | 0 840.01/840.20 c 803s | 22 | 1824386 | 1735122 | 7719 513 | 0 | 0 842.01/842.20 c 805s | 22 | 1828618 | 1739122 | 7719 514 | 0 | 0 844.01/844.22 c 807s | 22 | 1833053 | 1743322 | 7719 515 | 0 | 0 846.01/846.26 c 809s | 22 | 1837005 | 1747022 | 7719 516 | 0 | 0 848.01/848.29 c 811s | 22 | 1841655 | 1751122 | 7719 517 | 0 | 0 850.10/850.32 c 813s | 22 | 1845268 | 1754522 | 7719 518 | 0 | 0 852.10/852.35 c 815s | 22 | 1849802 | 1758722 | 7719 519 | 0 | 0 854.10/854.38 c 817s | 22 | 1854271 | 1763022 | 7719 520 | 0 | 0 856.10/856.38 c 819s | 22 | 1858635 | 1767122 | 7719 521 | 0 | 0 858.20/858.40 c 821s | 22 | 1863201 | 1771322 | 7719 522 | 0 | 0 860.20/860.44 c 823s | 22 | 1867769 | 1775722 | 7719 523 | 0 | 0 862.20/862.44 c 825s | 22 | 1871888 | 1779422 | 7719 524 | 0 | 0 864.20/864.47 c 827s | 22 | 1876140 | 1783422 | 7719 525 | 0 | 0 866.20/866.48 c 829s | 22 | 1880191 | 1786822 | 7719 526 | 0 | 0 868.29/868.53 c 831s | 22 | 1884234 | 1790622 | 7719 526 | 0 | 0 870.29/870.55 c 833s | 22 | 1888018 | 1794222 | 7719 527 | 0 | 0 872.30/872.58 c 835s | 22 | 1891661 | 1797722 | 7719 528 | 0 | 0 874.40/874.65 c 837s | 22 | 1895226 | 1800922 | 7719 529 | 0 | 0 876.39/876.68 c 839s | 22 | 1899953 | 1805422 | 7719 530 | 0 | 0 878.49/878.71 c 841s | 22 | 1904044 | 1809322 | 7719 531 | 0 | 0 880.49/880.73 c 843s | 22 | 1907526 | 1812522 | 7719 532 | 0 | 0 882.48/882.78 c 845s | 22 | 1911165 | 1815922 | 7719 533 | 0 | 0 884.48/884.79 c 847s | 22 | 1916011 | 1820422 | 7719 534 | 0 | 0 886.59/886.81 c 849s | 22 | 1920513 | 1824222 | 7719 535 | 0 | 0 888.58/888.82 c 851s | 22 | 1924224 | 1827722 | 7719 535 | 0 | 0 890.58/890.85 c 853s | 22 | 1928161 | 1831222 | 7719 536 | 0 | 0 892.58/892.89 c 855s | 22 | 1932979 | 1835822 | 7719 537 | 0 | 0 894.58/894.89 c 857s | 22 | 1937762 | 1840522 | 7719 538 | 0 | 0 896.67/896.91 c 860s | 22 | 1942453 | 1844822 | 7719 539 | 0 | 0 898.68/898.92 c 862s | 22 | 1946995 | 1849122 | 7719 541 | 0 | 0 900.67/900.93 c 864s | 22 | 1951875 | 1853622 | 7719 542 | 0 | 0 902.67/902.97 c 866s | 22 | 1956605 | 1857922 | 7719 543 | 0 | 0 904.77/905.01 c 868s | 22 | 1961551 | 1862122 | 7719 544 | 0 | 0 906.77/907.02 c 870s | 22 | 1966343 | 1866622 | 7719 545 | 0 | 0 908.77/909.04 c 872s | 22 | 1970598 | 1870522 | 7719 546 | 0 | 0 910.77/911.06 c 874s | 22 | 1974928 | 1874622 | 7719 547 | 0 | 0 912.76/913.08 c 876s | 22 | 1978961 | 1878522 | 7719 548 | 0 | 0 914.77/915.08 c 878s | 22 | 1983404 | 1882522 | 7719 549 | 0 | 0 916.86/917.12 c 880s | 22 | 1988446 | 1887322 | 7719 550 | 0 | 0 918.86/919.13 c 882s | 22 | 1993558 | 1892222 | 7719 551 | 0 | 0 920.86/921.17 c 884s | 22 | 1998882 | 1897222 | 7719 552 | 0 | 0 922.87/923.17 c 886s | 22 | 2003111 | 1901122 | 7719 553 | 0 | 0 924.96/925.21 c 888s | 22 | 2008153 | 1905922 | 7719 554 | 0 | 0 926.96/927.23 c 890s | 22 | 2012328 | 1909822 | 7719 555 | 0 | 0 928.96/929.25 c 892s | 22 | 2016782 | 1913822 | 7719 556 | 0 | 0 930.96/931.28 c 894s | 22 | 2022100 | 1918422 | 7719 557 | 0 | 0 932.96/933.29 c 896s | 22 | 2026586 | 1922222 | 7719 558 | 0 | 0 935.05/935.30 c 898s | 22 | 2031211 | 1926622 | 7719 559 | 0 | 0 937.06/937.31 c 900s | 22 | 2035436 | 1930722 | 7719 560 | 0 | 0 939.06/939.32 c 902s | 22 | 2039902 | 1934822 | 7719 561 | 0 | 0 941.16/941.45 c 904s | 22 | 2043380 | 1938122 | 7719 562 | 0 | 0 943.16/943.46 c 906s | 22 | 2047198 | 1941822 | 7719 563 | 0 | 0 945.15/945.48 c 908s | 22 | 2052034 | 1946222 | 7719 564 | 0 | 0 947.24/947.51 c 910s | 22 | 2056730 | 1950622 | 7719 565 | 0 | 0 949.24/949.52 c 912s | 22 | 2060948 | 1954622 | 7719 566 | 0 | 0 951.23/951.54 c 914s | 22 | 2065142 | 1958522 | 7719 567 | 0 | 0 953.23/953.57 c 916s | 22 | 2069812 | 1963022 | 7719 568 | 0 | 0 955.23/955.59 c 918s | 22 | 2074657 | 1967622 | 7719 569 | 0 | 0 957.33/957.61 c 920s | 22 | 2078173 | 1970822 | 7719 570 | 0 | 0 959.33/959.63 c 922s | 22 | 2082802 | 1975222 | 7719 571 | 0 | 0 961.33/961.67 c 924s | 22 | 2087530 | 1979722 | 7719 572 | 0 | 0 963.33/963.69 c 926s | 22 | 2091399 | 1983422 | 7719 573 | 0 | 0 965.42/965.70 c 928s | 22 | 2095794 | 1987722 | 7719 574 | 0 | 0 967.42/967.78 c 930s | 22 | 2099378 | 1991022 | 7719 574 | 0 | 0 969.52/969.86 c 932s | 22 | 2104133 | 1995422 | 7719 576 | 0 | 0 971.52/971.88 c 934s | 22 | 2107969 | 1999022 | 7719 576 | 0 | 0 973.62/973.91 c 936s | 22 | 2112955 | 2003622 | 7719 577 | 0 | 0 975.72/976.00 c 939s | 22 | 2117626 | 2007922 | 7719 579 | 0 | 0 977.72/978.03 c 941s | 22 | 2121969 | 2012122 | 7719 580 | 0 | 0 979.71/980.07 c 943s | 22 | 2126588 | 2016622 | 7719 581 | 0 | 0 981.71/982.07 c 945s | 22 | 2130724 | 2020622 | 7719 582 | 0 | 0 983.81/984.12 c 947s | 22 | 2135882 | 2025522 | 7719 583 | 0 | 0 985.81/986.15 c 949s | 22 | 2139964 | 2029522 | 7719 584 | 0 | 0 987.81/988.15 c 951s | 22 | 2144108 | 2033322 | 7719 585 | 0 | 0 989.82/990.16 c 953s | 22 | 2148397 | 2037422 | 7719 586 | 0 | 0 991.81/992.18 c 955s | 22 | 2152834 | 2041722 | 7719 587 | 0 | 0 993.91/994.20 c 957s | 22 | 2157051 | 2045822 | 7719 588 | 0 | 0 995.91/996.21 c 959s | 22 | 2160926 | 2049522 | 7719 588 | 0 | 0 997.90/998.24 c 961s | 22 | 2165136 | 2053522 | 7719 589 | 0 | 0 999.91/1000.27 c 963s | 22 | 2169470 | 2057722 | 7719 590 | 0 | 0 1001.91/1002.27 c 965s | 22 | 2173832 | 2061922 | 7719 591 | 0 | 0 1003.90/1004.29 c 967s | 22 | 2178235 | 2066222 | 7719 592 | 0 | 0 1006.00/1006.38 c 969s | 22 | 2182726 | 2070522 | 7719 594 | 0 | 0 1008.10/1008.43 c 971s | 22 | 2186063 | 2073722 | 7719 594 | 0 | 0 1010.10/1010.43 c 973s | 22 | 2189166 | 2076622 | 7719 595 | 0 | 0 1012.10/1012.46 c 975s | 22 | 2192777 | 2080022 | 7719 596 | 0 | 0 1014.11/1014.47 c 977s | 22 | 2197742 | 2084822 | 7719 597 | 0 | 0 1016.10/1016.50 c 979s | 22 | 2202424 | 2089322 | 7719 598 | 0 | 0 1018.19/1018.59 c 981s | 22 | 2206311 | 2093022 | 7719 599 | 0 | 0 1020.29/1020.60 c 983s | 22 | 2211428 | 2098022 | 7719 600 | 0 | 0 1022.29/1022.60 c 985s | 22 | 2215817 | 2102222 | 7719 601 | 0 | 0 1024.29/1024.67 c 987s | 22 | 2219479 | 2105622 | 7719 602 | 0 | 0 1026.29/1026.68 c 989s | 22 | 2223148 | 2109122 | 7719 603 | 0 | 0 1028.30/1028.70 c 991s | 22 | 2226960 | 2112722 | 7719 604 | 0 | 0 1030.39/1030.72 c 993s | 22 | 2231236 | 2116722 | 7719 605 | 0 | 0 1032.39/1032.79 c 995s | 22 | 2234984 | 2120222 | 7719 605 | 0 | 0 1034.49/1034.83 c 997s | 22 | 2238971 | 2123922 | 7719 606 | 0 | 0 1036.48/1036.85 c 999s | 22 | 2242975 | 2127722 | 7719 607 | 0 | 0 1038.48/1038.86 c 1001s | 22 | 2247010 | 2131622 | 7719 608 | 0 | 0 1040.49/1040.88 c 1003s | 22 | 2251021 | 2135522 | 7719 609 | 0 | 0 1042.48/1042.89 c 1005s | 22 | 2255858 | 2140222 | 7719 610 | 0 | 0 1044.48/1044.90 c 1007s | 22 | 2260660 | 2144922 | 8491 611 | 0 | 0 1046.68/1047.01 c 1010s | 22 | 2265333 | 2149322 | 8491 612 | 0 | 0 1048.68/1049.05 c 1012s | 22 | 2269906 | 2153722 | 8491 613 | 0 | 0 1050.68/1051.07 c 1014s | 22 | 2274345 | 2157922 | 8491 614 | 0 | 0 1052.78/1053.10 c 1016s | 22 | 2279011 | 2162422 | 8491 615 | 0 | 0 1054.78/1055.13 c 1018s | 22 | 2283690 | 2166822 | 8491 616 | 0 | 0 1056.77/1057.17 c 1020s | 22 | 2288181 | 2171022 | 8491 617 | 0 | 0 1058.77/1059.18 c 1022s | 22 | 2292631 | 2175322 | 8491 618 | 0 | 0 1060.87/1061.21 c 1024s | 22 | 2296874 | 2179422 | 8491 619 | 0 | 0 1062.87/1063.22 c 1026s | 22 | 2301456 | 2183822 | 8491 620 | 0 | 0 1064.87/1065.23 c 1028s | 22 | 2306761 | 2188822 | 8491 621 | 0 | 0 1066.96/1067.39 c 1030s | 22 | 2311207 | 2193122 | 8491 622 | 0 | 0 1069.07/1069.40 c 1032s | 22 | 2316256 | 2198022 | 8491 623 | 0 | 0 1071.06/1071.45 c 1034s | 22 | 2321697 | 2203322 | 8491 624 | 0 | 0 1073.06/1073.47 c 1036s | 22 | 2325576 | 2206922 | 8491 625 | 0 | 0 1075.16/1075.54 c 1038s | 22 | 2328985 | 2210222 | 8491 625 | 0 | 0 1077.16/1077.55 c 1040s | 22 | 2332557 | 2213722 | 8491 626 | 0 | 0 1079.16/1079.56 c 1042s | 22 | 2336942 | 2217922 | 8491 627 | 0 | 0 1081.16/1081.57 c 1044s | 22 | 2341673 | 2222422 | 8491 628 | 0 | 0 1083.15/1083.60 c 1046s | 22 | 2346019 | 2226422 | 8491 629 | 0 | 0 1085.25/1085.62 c 1048s | 22 | 2350380 | 2230622 | 8491 630 | 0 | 0 1087.25/1087.65 c 1050s | 22 | 2354826 | 2234822 | 8491 631 | 0 | 0 1089.25/1089.67 c 1052s | 22 | 2358942 | 2238722 | 8491 632 | 0 | 0 1091.35/1091.78 c 1054s | 22 | 2363027 | 2242522 | 8491 633 | 0 | 0 1093.35/1093.79 c 1056s | 22 | 2367557 | 2246522 | 8491 633 | 0 | 0 1095.46/1095.83 c 1058s | 22 | 2371263 | 2250022 | 8491 634 | 0 | 0 1096.05/1096.45 c 1059s | 23 | 2372334 | 2251038 | 8491 634 | 0 | 0 1098.04/1098.47 c 1061s | 23 | 2379145 | 2257538 | 8491 636 | 0 | 0 1100.04/1100.49 c 1063s | 23 | 2384129 | 2262338 | 8491 637 | 0 | 0 1102.14/1102.53 c 1065s | 23 | 2389779 | 2267938 | 8491 638 | 0 | 0 1104.15/1104.56 c 1067s | 23 | 2394212 | 2272338 | 8491 639 | 0 | 0 1106.14/1106.59 c 1069s | 23 | 2399344 | 2277338 | 8491 640 | 0 | 0 1108.24/1108.60 c 1071s | 23 | 2404079 | 2281738 | 8491 641 | 0 | 0 1110.24/1110.63 c 1073s | 23 | 2408499 | 2285938 | 8491 642 | 0 | 0 1112.23/1112.68 c 1075s | 23 | 2413035 | 2289838 | 8491 643 | 0 | 0 1114.24/1114.68 c 1077s | 23 | 2416998 | 2293438 | 8491 644 | 0 | 0 1116.35/1116.70 c 1079s | 23 | 2421048 | 2297038 | 8491 645 | 0 | 0 1118.34/1118.74 c 1081s | 23 | 2425711 | 2301538 | 8491 646 | 0 | 0 1120.34/1120.75 c 1083s | 23 | 2429906 | 2305438 | 8491 646 | 0 | 0 1122.44/1122.83 c 1085s | 23 | 2433970 | 2309338 | 8491 647 | 0 | 0 1124.44/1124.84 c 1087s | 23 | 2438860 | 2314138 | 8491 648 | 0 | 0 1126.43/1126.87 c 1089s | 23 | 2443219 | 2318438 | 8491 649 | 0 | 0 1128.44/1128.89 c 1091s | 23 | 2447069 | 2322238 | 8491 650 | 0 | 0 1130.54/1130.94 c 1094s | 23 | 2450601 | 2325738 | 8491 651 | 0 | 0 1132.53/1132.98 c 1096s | 23 | 2453624 | 2328738 | 8491 652 | 0 | 0 1134.53/1134.98 c 1098s | 23 | 2456954 | 2332038 | 8491 652 | 0 | 0 1136.63/1137.01 c 1100s | 23 | 2461630 | 2336438 | 8491 653 | 0 | 0 1138.63/1139.02 c 1102s | 23 | 2466328 | 2340938 | 8491 654 | 0 | 0 1140.63/1141.03 c 1104s | 23 | 2471126 | 2345538 | 8491 655 | 0 | 0 1142.63/1143.04 c 1106s | 23 | 2475204 | 2349438 | 8491 656 | 0 | 0 1144.62/1145.05 c 1108s | 23 | 2478213 | 2352238 | 8491 657 | 0 | 0 1146.62/1147.08 c 1110s | 23 | 2482052 | 2355938 | 8491 657 | 0 | 0 1148.72/1149.11 c 1112s | 23 | 2485448 | 2359138 | 8491 658 | 0 | 0 1150.72/1151.12 c 1114s | 23 | 2489135 | 2362638 | 8491 659 | 0 | 0 1152.72/1153.15 c 1116s | 23 | 2493162 | 2366338 | 8491 660 | 0 | 0 1154.72/1155.17 c 1118s | 23 | 2496801 | 2369638 | 8491 660 | 0 | 0 1156.71/1157.17 c 1120s | 23 | 2501651 | 2374238 | 8491 661 | 0 | 0 1158.81/1159.24 c 1122s | 23 | 2506432 | 2378838 | 8491 662 | 0 | 0 1160.91/1161.31 c 1124s | 23 | 2509953 | 2382038 | 8491 663 | 0 | 0 1162.91/1163.33 c 1126s | 23 | 2513236 | 2385038 | 8491 664 | 0 | 0 1164.91/1165.34 c 1128s | 23 | 2517416 | 2388938 | 8491 665 | 0 | 0 1166.91/1167.38 c 1130s | 23 | 2522382 | 2393838 | 8491 666 | 0 | 0 1169.01/1169.44 c 1132s | 23 | 2525909 | 2397338 | 8491 667 | 0 | 0 1171.01/1171.45 c 1134s | 23 | 2530283 | 2401638 | 8491 667 | 0 | 0 1173.01/1173.47 c 1136s | 23 | 2535124 | 2406338 | 8491 668 | 0 | 0 1175.01/1175.49 c 1138s | 23 | 2538190 | 2409238 | 8491 669 | 0 | 0 1177.10/1177.51 c 1140s | 23 | 2542400 | 2413338 | 8491 670 | 0 | 0 1179.10/1179.57 c 1142s | 23 | 2545313 | 2415938 | 8491 671 | 0 | 0 1181.11/1181.60 c 1144s | 23 | 2550541 | 2421038 | 8491 672 | 0 | 0 1183.20/1183.64 c 1146s | 23 | 2554844 | 2425138 | 8491 673 | 0 | 0 1185.20/1185.69 c 1148s | 23 | 2558706 | 2428638 | 8491 673 | 0 | 0 1187.29/1187.73 c 1150s | 23 | 2562315 | 2431938 | 8491 674 | 0 | 0 1189.29/1189.75 c 1152s | 23 | 2566312 | 2435638 | 8491 675 | 0 | 0 1191.29/1191.78 c 1154s | 23 | 2570889 | 2440038 | 8491 676 | 0 | 0 1193.39/1193.85 c 1156s | 23 | 2574201 | 2442838 | 8491 676 | 0 | 0 1195.40/1195.86 c 1158s | 23 | 2578334 | 2446538 | 8491 677 | 0 | 0 1197.39/1197.89 c 1160s | 23 | 2582056 | 2449738 | 8491 678 | 0 | 0 1199.49/1199.91 c 1163s | 23 | 2585070 | 2452538 | 8491 679 | 0 | 0 1201.49/1201.96 c 1165s | 23 | 2589345 | 2456538 | 8491 679 | 0 | 0 1203.49/1203.96 c 1167s | 23 | 2593665 | 2460338 | 8491 680 | 0 | 0 1205.59/1206.01 c 1169s | 23 | 2597509 | 2463738 | 8491 681 | 0 | 0 1207.59/1208.01 c 1171s | 23 | 2600987 | 2466838 | 8491 682 | 0 | 0 1209.58/1210.06 c 1173s | 23 | 2604775 | 2469938 | 8491 682 | 0 | 0 1211.68/1212.12 c 1175s | 23 | 2608757 | 2473238 | 8491 683 | 0 | 0 1213.68/1214.13 c 1177s | 23 | 2613757 | 2478038 | 8491 684 | 0 | 0 1215.68/1216.19 c 1179s | 23 | 2618011 | 2481938 | 8491 685 | 0 | 0 1217.68/1218.19 c 1181s | 23 | 2621600 | 2485238 | 8491 686 | 0 | 0 1219.68/1220.19 c 1183s | 23 | 2625735 | 2489138 | 8491 687 | 0 | 0 1221.78/1222.25 c 1185s | 23 | 2630202 | 2493438 | 8491 688 | 0 | 0 1223.78/1224.27 c 1187s | 23 | 2634606 | 2497438 | 8491 688 | 0 | 0 1225.87/1226.30 c 1189s | 23 | 2637779 | 2500438 | 8491 689 | 0 | 0 1227.87/1228.32 c 1191s | 23 | 2640564 | 2503138 | 8491 690 | 0 | 0 1229.87/1230.34 c 1193s | 23 | 2643370 | 2505838 | 8491 690 | 0 | 0 1231.87/1232.34 c 1195s | 23 | 2646239 | 2508638 | 8491 691 | 0 | 0 1233.98/1234.43 c 1197s | 23 | 2649178 | 2511438 | 8491 691 | 0 | 0 1235.97/1236.45 c 1199s | 23 | 2652923 | 2514638 | 8491 692 | 0 | 0 1237.96/1238.45 c 1201s | 23 | 2657338 | 2518838 | 8491 693 | 0 | 0 1239.96/1240.46 c 1203s | 23 | 2661309 | 2522638 | 8491 694 | 0 | 0 1241.97/1242.49 c 1205s | 23 | 2664860 | 2526038 | 8491 695 | 0 | 0 1244.06/1244.57 c 1207s | 23 | 2667956 | 2529038 | 8491 695 | 0 | 0 1246.16/1246.63 c 1209s | 23 | 2671376 | 2532338 | 8491 696 | 0 | 0 1248.17/1248.69 c 1211s | 23 | 2674400 | 2535238 | 8491 697 | 0 | 0 1250.26/1250.73 c 1213s | 23 | 2677713 | 2538438 | 8491 697 | 0 | 0 1252.26/1252.74 c 1215s | 23 | 2681113 | 2541738 | 8491 698 | 0 | 0 1254.26/1254.76 c 1217s | 23 | 2683895 | 2544338 | 8491 699 | 0 | 0 1256.35/1256.85 c 1219s | 23 | 2687559 | 2547638 | 8491 699 | 0 | 0 1258.35/1258.85 c 1221s | 23 | 2690854 | 2550738 | 8491 700 | 0 | 0 1260.36/1260.87 c 1223s | 23 | 2693673 | 2553438 | 8491 701 | 0 | 0 1262.46/1262.92 c 1226s | 23 | 2697065 | 2556638 | 8491 701 | 0 | 0 1264.45/1264.97 c 1228s | 23 | 2700254 | 2559638 | 8491 702 | 0 | 0 1266.55/1267.03 c 1230s | 23 | 2703423 | 2562738 | 8491 703 | 0 | 0 1268.65/1269.10 c 1232s | 23 | 2706952 | 2566138 | 8491 703 | 0 | 0 1270.65/1271.15 c 1234s | 23 | 2709946 | 2569038 | 8491 704 | 0 | 0 1272.65/1273.18 c 1236s | 23 | 2713263 | 2572238 | 8491 705 | 0 | 0 1274.75/1275.23 c 1238s | 23 | 2716232 | 2574938 | 8491 705 | 0 | 0 1276.75/1277.25 c 1240s | 23 | 2719124 | 2577738 | 8491 706 | 0 | 0 1278.74/1279.26 c 1242s | 23 | 2721925 | 2580438 | 8491 706 | 0 | 0 1280.84/1281.31 c 1244s | 23 | 2725190 | 2583538 | 8491 707 | 0 | 0 1282.84/1283.34 c 1246s | 23 | 2728068 | 2586238 | 8491 708 | 0 | 0 1284.84/1285.36 c 1248s | 23 | 2730646 | 2588738 | 8491 708 | 0 | 0 1286.93/1287.43 c 1250s | 23 | 2733344 | 2591338 | 8491 709 | 0 | 0 1289.03/1289.55 c 1252s | 23 | 2736893 | 2594638 | 8491 710 | 0 | 0 1291.04/1291.55 c 1254s | 23 | 2740737 | 2598338 | 8491 710 | 0 | 0 1293.03/1293.58 c 1256s | 23 | 2744232 | 2601738 | 8491 711 | 0 | 0 1295.13/1295.61 c 1258s | 23 | 2747729 | 2605138 | 8491 712 | 0 | 0 1297.13/1297.63 c 1260s | 23 | 2751396 | 2608738 | 8491 713 | 0 | 0 1299.23/1299.72 c 1262s | 23 | 2754972 | 2612238 | 8491 713 | 0 | 0 1301.23/1301.73 c 1264s | 23 | 2758063 | 2615238 | 8491 714 | 0 | 0 1303.24/1303.79 c 1266s | 23 | 2761339 | 2618438 | 8491 715 | 0 | 0 1305.34/1305.84 c 1268s | 23 | 2764841 | 2621638 | 8491 715 | 0 | 0 1307.33/1307.87 c 1270s | 23 | 2768264 | 2624638 | 8491 716 | 0 | 0 1309.33/1309.90 c 1272s | 23 | 2770895 | 2627138 | 8491 717 | 0 | 0 1311.43/1311.94 c 1275s | 23 | 2774608 | 2630738 | 8491 717 | 0 | 0 1313.43/1313.98 c 1277s | 23 | 2778391 | 2634338 | 8491 718 | 0 | 0 1315.43/1315.99 c 1279s | 23 | 2782095 | 2637938 | 8491 719 | 0 | 0 1317.53/1318.04 c 1281s | 23 | 2785975 | 2641738 | 8491 720 | 0 | 0 1319.52/1320.05 c 1283s | 23 | 2789560 | 2645238 | 8491 721 | 0 | 0 1321.52/1322.06 c 1285s | 23 | 2793412 | 2648938 | 8491 721 | 0 | 0 1323.52/1324.06 c 1287s | 23 | 2797228 | 2652638 | 8491 722 | 0 | 0 1325.62/1326.12 c 1289s | 23 | 2801273 | 2656538 | 8491 723 | 0 | 0 1327.62/1328.19 c 1291s | 23 | 2804608 | 2659638 | 8491 724 | 0 | 0 1329.62/1330.19 c 1293s | 23 | 2807580 | 2662438 | 8491 724 | 0 | 0 1331.72/1332.24 c 1295s | 23 | 2811347 | 2666038 | 8491 725 | 0 | 0 1333.72/1334.27 c 1297s | 23 | 2816088 | 2670638 | 8491 726 | 0 | 0 1335.72/1336.27 c 1299s | 23 | 2820126 | 2674638 | 8491 727 | 0 | 0 1337.81/1338.30 c 1301s | 23 | 2823453 | 2677938 | 8491 728 | 0 | 0 1339.81/1340.34 c 1303s | 23 | 2826579 | 2681038 | 8491 728 | 0 | 0 1341.81/1342.35 c 1305s | 23 | 2829795 | 2684238 | 8491 729 | 0 | 0 1343.92/1344.41 c 1307s | 23 | 2833012 | 2687438 | 8491 730 | 0 | 0 1345.91/1346.47 c 1309s | 23 | 2836216 | 2690638 | 8491 731 | 0 | 0 1347.91/1348.49 c 1311s | 23 | 2839838 | 2694238 | 8491 731 | 0 | 0 1350.01/1350.51 c 1313s | 23 | 2843153 | 2697538 | 8491 732 | 0 | 0 1352.01/1352.56 c 1315s | 23 | 2846785 | 2701038 | 8491 733 | 0 | 0 1354.01/1354.56 c 1317s | 23 | 2849964 | 2703938 | 8491 733 | 0 | 0 1356.11/1356.63 c 1319s | 23 | 2853968 | 2707838 | 8491 734 | 0 | 0 1358.12/1358.64 c 1321s | 23 | 2857344 | 2711138 | 8491 735 | 0 | 0 1360.21/1360.71 c 1323s | 23 | 2861083 | 2714638 | 8491 736 | 0 | 0 1362.21/1362.76 c 1325s | 23 | 2864616 | 2718038 | 8491 736 | 0 | 0 1364.30/1364.81 c 1327s | 23 | 2868571 | 2721838 | 8491 737 | 0 | 0 1366.31/1366.84 c 1329s | 23 | 2872175 | 2725338 | 8491 738 | 0 | 0 1368.30/1368.89 c 1331s | 23 | 2875922 | 2729038 | 8491 739 | 0 | 0 1370.40/1370.95 c 1334s | 23 | 2878996 | 2732038 | 8491 740 | 0 | 0 1372.41/1372.96 c 1336s | 23 | 2882737 | 2735638 | 8491 740 | 0 | 0 1374.40/1374.98 c 1338s | 23 | 2886469 | 2739338 | 8491 741 | 0 | 0 1376.50/1377.00 c 1340s | 23 | 2890270 | 2743038 | 8491 742 | 0 | 0 1378.50/1379.02 c 1342s | 23 | 2893825 | 2746338 | 8491 743 | 0 | 0 1380.60/1381.15 c 1344s | 23 | 2897802 | 2750138 | 8491 744 | 0 | 0 1382.60/1383.19 c 1346s | 23 | 2901656 | 2753638 | 8491 744 | 0 | 0 1384.70/1385.22 c 1348s | 23 | 2904954 | 2756838 | 8491 745 | 0 | 0 1386.71/1387.25 c 1350s | 23 | 2908139 | 2759738 | 8491 746 | 0 | 0 1388.70/1389.29 c 1352s | 23 | 2911384 | 2762738 | 8491 746 | 0 | 0 1390.80/1391.34 c 1354s | 23 | 2915018 | 2766238 | 8491 747 | 0 | 0 1392.80/1393.35 c 1356s | 23 | 2918487 | 2769638 | 8491 748 | 0 | 0 1394.90/1395.40 c 1358s | 23 | 2921527 | 2772638 | 8491 748 | 0 | 0 1396.90/1397.44 c 1360s | 23 | 2926138 | 2777138 | 8491 749 | 0 | 0 1398.91/1399.49 c 1362s | 23 | 2930005 | 2780938 | 8491 750 | 0 | 0 1401.01/1401.54 c 1364s | 23 | 2934058 | 2784738 | 8491 751 | 0 | 0 1403.00/1403.57 c 1366s | 23 | 2937822 | 2788438 | 8491 752 | 0 | 0 1405.00/1405.57 c 1368s | 23 | 2941319 | 2791838 | 8491 753 | 0 | 0 1407.00/1407.58 c 1370s | 23 | 2945003 | 2795338 | 8491 753 | 0 | 0 1409.10/1409.60 c 1372s | 23 | 2948807 | 2798738 | 8491 754 | 0 | 0 1411.10/1411.63 c 1374s | 23 | 2953039 | 2802838 | 8491 755 | 0 | 0 1413.10/1413.70 c 1376s | 23 | 2956709 | 2806138 | 8491 756 | 0 | 0 1415.19/1415.70 c 1378s | 23 | 2960805 | 2810038 | 8491 757 | 0 | 0 1417.19/1417.75 c 1380s | 23 | 2964723 | 2813838 | 8491 757 | 0 | 0 1419.29/1419.80 c 1382s | 23 | 2968658 | 2817638 | 8491 758 | 0 | 0 1421.30/1421.82 c 1384s | 23 | 2972566 | 2821338 | 8491 759 | 0 | 0 1423.30/1423.84 c 1386s | 23 | 2976546 | 2825138 | 8491 760 | 0 | 0 1425.31/1425.85 c 1388s | 23 | 2980107 | 2828538 | 8491 761 | 0 | 0 1427.30/1427.86 c 1390s | 23 | 2984140 | 2832438 | 8491 762 | 0 | 0 1429.40/1429.91 c 1393s | 23 | 2988197 | 2836238 | 8491 762 | 0 | 0 1431.40/1431.93 c 1395s | 23 | 2992219 | 2840138 | 8491 763 | 0 | 0 1433.40/1433.98 c 1397s | 23 | 2995716 | 2843538 | 8491 764 | 0 | 0 1435.40/1435.99 c 1399s | 23 | 2998817 | 2846538 | 8491 765 | 0 | 0 1437.50/1438.01 c 1401s | 23 | 3002247 | 2849838 | 8491 765 | 0 | 0 1439.51/1440.04 c 1403s | 23 | 3005747 | 2853238 | 8491 766 | 0 | 0 1441.60/1442.11 c 1405s | 23 | 3008727 | 2856038 | 8491 767 | 0 | 0 1443.60/1444.15 c 1407s | 23 | 3011742 | 2858938 | 8491 767 | 0 | 0 1445.60/1446.17 c 1409s | 23 | 3015583 | 2862638 | 8491 768 | 0 | 0 1447.70/1448.20 c 1411s | 23 | 3019535 | 2866438 | 8491 769 | 0 | 0 1449.70/1450.28 c 1413s | 23 | 3022337 | 2869138 | 8491 770 | 0 | 0 1451.71/1452.28 c 1415s | 23 | 3025518 | 2872138 | 8491 770 | 0 | 0 1453.81/1454.31 c 1417s | 23 | 3030069 | 2876538 | 8491 771 | 0 | 0 1455.80/1456.33 c 1419s | 23 | 3034610 | 2880938 | 8491 772 | 0 | 0 1457.80/1458.34 c 1421s | 23 | 3039008 | 2885138 | 8491 773 | 0 | 0 1459.80/1460.38 c 1423s | 23 | 3042533 | 2888538 | 8491 774 | 0 | 0 1461.90/1462.40 c 1425s | 23 | 3046207 | 2891838 | 8491 774 | 0 | 0 1463.90/1464.44 c 1427s | 23 | 3049949 | 2895438 | 8491 775 | 0 | 0 1465.90/1466.47 c 1429s | 23 | 3053459 | 2898838 | 8491 776 | 0 | 0 1467.90/1468.47 c 1431s | 23 | 3057330 | 2902638 | 8491 777 | 0 | 0 1470.00/1470.51 c 1433s | 23 | 3061300 | 2906438 | 8491 778 | 0 | 0 1472.09/1472.63 c 1435s | 23 | 3065188 | 2910238 | 8491 779 | 0 | 0 1474.09/1474.66 c 1437s | 23 | 3069411 | 2914338 | 8491 779 | 0 | 0 1476.09/1476.66 c 1439s | 23 | 3073459 | 2918238 | 8491 780 | 0 | 0 1478.19/1478.71 c 1441s | 23 | 3077549 | 2921938 | 8491 781 | 0 | 0 1480.20/1480.76 c 1443s | 23 | 3081639 | 2925838 | 8491 782 | 0 | 0 1482.29/1482.85 c 1445s | 23 | 3084848 | 2928938 | 8491 783 | 0 | 0 1484.29/1484.90 c 1447s | 23 | 3088053 | 2931938 | 8491 783 | 0 | 0 1486.39/1486.97 c 1450s | 23 | 3091050 | 2934638 | 8491 784 | 0 | 0 1488.39/1488.98 c 1452s | 23 | 3094596 | 2938038 | 8491 785 | 0 | 0 1490.49/1491.03 c 1454s | 23 | 3098310 | 2941638 | 8491 785 | 0 | 0 1492.49/1493.04 c 1456s | 23 | 3101834 | 2945038 | 8491 786 | 0 | 0 1494.50/1495.05 c 1458s | 23 | 3105438 | 2948438 | 8491 787 | 0 | 0 1496.49/1497.09 c 1460s | 23 | 3108693 | 2951338 | 8491 788 | 0 | 0 1498.59/1499.12 c 1462s | 23 | 3112830 | 2955238 | 8491 788 | 0 | 0 1500.59/1501.14 c 1464s | 23 | 3116397 | 2958638 | 8491 789 | 0 | 0 1502.59/1503.18 c 1466s | 23 | 3120099 | 2962238 | 8491 790 | 0 | 0 1504.69/1505.24 c 1468s | 23 | 3124053 | 2966038 | 8491 791 | 0 | 0 1506.70/1507.26 c 1470s | 23 | 3127490 | 2969238 | 8491 791 | 0 | 0 1508.80/1509.31 c 1472s | 23 | 3131446 | 2973038 | 8491 792 | 0 | 0 1510.79/1511.33 c 1474s | 23 | 3135229 | 2976738 | 8491 793 | 0 | 0 1512.79/1513.33 c 1476s | 23 | 3139197 | 2980438 | 8491 794 | 0 | 0 1514.79/1515.35 c 1478s | 23 | 3142907 | 2984038 | 8491 795 | 0 | 0 1516.79/1517.36 c 1480s | 23 | 3147096 | 2987938 | 8491 796 | 0 | 0 1518.89/1519.40 c 1482s | 23 | 3151468 | 2992038 | 8491 796 | 0 | 0 1520.89/1521.46 c 1484s | 23 | 3155809 | 2996038 | 8491 797 | 0 | 0 1522.88/1523.49 c 1486s | 23 | 3159964 | 2999738 | 8491 798 | 0 | 0 1524.98/1525.53 c 1488s | 23 | 3163902 | 3003538 | 8491 799 | 0 | 0 1526.98/1527.53 c 1490s | 23 | 3167759 | 3007238 | 8491 800 | 0 | 0 1528.98/1529.56 c 1492s | 23 | 3171792 | 3011138 | 8491 801 | 0 | 0 1531.08/1531.60 c 1494s | 23 | 3175215 | 3014338 | 8491 801 | 0 | 0 1533.09/1533.64 c 1496s | 23 | 3178281 | 3017238 | 8491 802 | 0 | 0 1535.08/1535.64 c 1498s | 23 | 3182030 | 3020838 | 8491 803 | 0 | 0 1537.08/1537.66 c 1500s | 23 | 3185851 | 3024538 | 8491 804 | 0 | 0 1539.08/1539.68 c 1502s | 23 | 3189859 | 3028338 | 8491 804 | 0 | 0 1541.18/1541.73 c 1504s | 23 | 3193798 | 3032138 | 8491 805 | 0 | 0 1543.18/1543.73 c 1506s | 23 | 3197594 | 3035638 | 8491 806 | 0 | 0 1545.19/1545.73 c 1508s | 23 | 3201943 | 3039838 | 8491 807 | 0 | 0 1547.18/1547.74 c 1510s | 23 | 3205946 | 3043638 | 8491 808 | 0 | 0 1549.18/1549.75 c 1512s | 23 | 3209391 | 3046938 | 8491 808 | 0 | 0 1551.28/1551.80 c 1514s | 23 | 3213380 | 3050638 | 8491 809 | 0 | 0 1553.28/1553.88 c 1516s | 23 | 3217079 | 3054138 | 8491 810 | 0 | 0 1555.28/1555.89 c 1518s | 23 | 3221139 | 3058038 | 8491 811 | 0 | 0 1557.38/1557.93 c 1521s | 23 | 3225078 | 3061738 | 8491 812 | 0 | 0 1559.39/1559.93 c 1523s | 23 | 3228744 | 3065238 | 8491 812 | 0 | 0 1561.38/1561.97 c 1525s | 23 | 3232611 | 3068938 | 8491 813 | 0 | 0 1563.38/1563.98 c 1527s | 23 | 3236452 | 3072638 | 8491 814 | 0 | 0 1565.48/1566.03 c 1529s | 23 | 3240359 | 3076338 | 8491 815 | 0 | 0 1567.48/1568.04 c 1531s | 23 | 3243893 | 3079738 | 8491 816 | 0 | 0 1569.48/1570.09 c 1533s | 23 | 3248014 | 3083638 | 8491 816 | 0 | 0 1571.58/1572.11 c 1535s | 23 | 3251786 | 3087238 | 8491 817 | 0 | 0 1573.57/1574.19 c 1537s | 23 | 3254928 | 3090238 | 8491 818 | 0 | 0 1575.67/1576.20 c 1539s | 23 | 3257782 | 3093038 | 8491 819 | 0 | 0 1577.67/1578.22 c 1541s | 23 | 3261602 | 3096738 | 8491 819 | 0 | 0 1579.67/1580.25 c 1543s | 23 | 3265594 | 3100638 | 8491 820 | 0 | 0 1581.67/1582.27 c 1545s | 23 | 3268999 | 3103838 | 8491 821 | 0 | 0 1583.77/1584.32 c 1547s | 23 | 3272416 | 3107138 | 8491 822 | 0 | 0 1585.78/1586.37 c 1549s | 23 | 3276295 | 3110938 | 8491 822 | 0 | 0 1587.77/1588.38 c 1551s | 23 | 3280318 | 3114838 | 8491 823 | 0 | 0 1589.87/1590.40 c 1553s | 23 | 3284089 | 3118538 | 8491 824 | 0 | 0 1591.87/1592.40 c 1555s | 23 | 3287853 | 3122138 | 8491 825 | 0 | 0 1593.87/1594.44 c 1557s | 23 | 3291532 | 3125638 | 8491 826 | 0 | 0 1595.87/1596.48 c 1559s | 23 | 3295285 | 3129238 | 8491 826 | 0 | 0 1597.98/1598.55 c 1561s | 23 | 3298783 | 3132638 | 8491 827 | 0 | 0 1599.97/1600.56 c 1563s | 23 | 3302198 | 3135938 | 8491 828 | 0 | 0 1602.07/1602.60 c 1565s | 23 | 3305249 | 3138838 | 8491 829 | 0 | 0 1604.07/1604.63 c 1567s | 23 | 3308821 | 3142238 | 8491 829 | 0 | 0 1606.07/1606.67 c 1569s | 23 | 3312294 | 3145538 | 8491 830 | 0 | 0 1608.07/1608.69 c 1571s | 23 | 3315676 | 3148738 | 8491 831 | 0 | 0 1610.17/1610.72 c 1573s | 23 | 3319527 | 3152338 | 8491 831 | 0 | 0 1612.17/1612.78 c 1575s | 23 | 3323127 | 3155838 | 8491 832 | 0 | 0 1614.27/1614.81 c 1577s | 23 | 3326852 | 3159438 | 8491 833 | 0 | 0 1616.27/1616.88 c 1579s | 23 | 3330114 | 3162638 | 8491 834 | 0 | 0 1618.37/1618.92 c 1582s | 23 | 3333502 | 3165938 | 8491 834 | 0 | 0 1620.36/1620.97 c 1584s | 23 | 3336850 | 3169138 | 8491 835 | 0 | 0 1622.46/1623.01 c 1586s | 23 | 3340232 | 3172338 | 8491 836 | 0 | 0 1624.47/1625.03 c 1588s | 23 | 3343112 | 3175138 | 8491 836 | 0 | 0 1626.47/1627.08 c 1590s | 23 | 3346719 | 3178638 | 8491 837 | 0 | 0 1628.46/1629.09 c 1592s | 23 | 3349424 | 3181238 | 8491 838 | 0 | 0 1630.56/1631.13 c 1594s | 23 | 3353564 | 3185238 | 8491 839 | 0 | 0 1632.57/1633.18 c 1596s | 23 | 3357387 | 3188938 | 8491 840 | 0 | 0 1634.67/1635.24 c 1598s | 23 | 3361702 | 3193138 | 8491 840 | 0 | 0 1636.67/1637.27 c 1600s | 23 | 3365374 | 3196738 | 8491 841 | 0 | 0 1638.68/1639.27 c 1602s | 23 | 3369326 | 3200538 | 8491 842 | 0 | 0 1640.67/1641.29 c 1604s | 23 | 3371822 | 3202938 | 8491 843 | 0 | 0 1642.77/1643.30 c 1606s | 23 | 3374921 | 3205838 | 8491 843 | 0 | 0 1644.77/1645.31 c 1608s | 23 | 3377674 | 3208538 | 8491 844 | 0 | 0 1646.77/1647.32 c 1610s | 23 | 3380148 | 3210938 | 8491 844 | 0 | 0 1648.77/1649.37 c 1612s | 23 | 3383334 | 3214038 | 8491 845 | 0 | 0 1650.87/1651.43 c 1614s | 23 | 3386331 | 3216938 | 8491 846 | 0 | 0 1652.87/1653.45 c 1616s | 23 | 3389469 | 3219938 | 8491 846 | 0 | 0 1654.87/1655.47 c 1618s | 23 | 3392934 | 3223338 | 8491 847 | 0 | 0 1656.97/1657.51 c 1620s | 23 | 3396066 | 3226338 | 8491 848 | 0 | 0 1658.97/1659.52 c 1622s | 23 | 3399445 | 3229638 | 8491 848 | 0 | 0 1660.97/1661.52 c 1624s | 23 | 3402701 | 3232738 | 8491 849 | 0 | 0 1662.97/1663.52 c 1626s | 23 | 3405126 | 3235038 | 8491 850 | 0 | 0 1665.07/1665.62 c 1628s | 23 | 3407890 | 3237738 | 8491 850 | 0 | 0 1667.06/1667.64 c 1630s | 23 | 3411591 | 3241338 | 8491 851 | 0 | 0 1669.06/1669.65 c 1632s | 23 | 3415065 | 3244638 | 8491 852 | 0 | 0 1671.06/1671.65 c 1634s | 23 | 3418370 | 3247738 | 8491 852 | 0 | 0 1673.06/1673.66 c 1636s | 23 | 3421862 | 3251138 | 8491 853 | 0 | 0 1675.16/1675.71 c 1638s | 23 | 3424547 | 3253738 | 8491 854 | 0 | 0 1677.17/1677.73 c 1640s | 23 | 3428025 | 3257138 | 8491 854 | 0 | 0 1679.16/1679.75 c 1642s | 23 | 3431561 | 3260538 | 9341 855 | 0 | 0 1681.16/1681.79 c 1644s | 23 | 3434670 | 3263538 | 9341 856 | 0 | 0 1683.26/1683.84 c 1646s | 23 | 3438136 | 3266938 | 9341 856 | 0 | 0 1685.26/1685.89 c 1648s | 23 | 3440843 | 3269538 | 9341 857 | 0 | 0 1687.36/1687.93 c 1651s | 23 | 3444432 | 3273038 | 9341 857 | 0 | 0 1689.36/1689.94 c 1653s | 23 | 3448214 | 3276538 | 9341 858 | 0 | 0 1691.37/1691.95 c 1655s | 23 | 3452179 | 3280438 | 9341 859 | 0 | 0 1693.46/1694.01 c 1657s | 23 | 3455125 | 3283138 | 9341 859 | 0 | 0 1695.46/1696.07 c 1659s | 23 | 3458496 | 3286338 | 9341 860 | 0 | 0 1697.56/1698.10 c 1661s | 23 | 3461603 | 3289338 | 9341 861 | 0 | 0 1699.56/1700.10 c 1663s | 23 | 3464237 | 3291938 | 9341 861 | 0 | 0 1701.56/1702.14 c 1665s | 23 | 3467590 | 3295238 | 9341 862 | 0 | 0 1703.57/1704.18 c 1667s | 23 | 3470848 | 3298438 | 9341 862 | 0 | 0 1705.56/1706.18 c 1669s | 23 | 3474064 | 3301538 | 9341 863 | 0 | 0 1707.66/1708.20 c 1671s | 23 | 3477014 | 3304438 | 9341 864 | 0 | 0 1709.66/1710.23 c 1673s | 23 | 3480494 | 3307838 | 9341 864 | 0 | 0 1711.66/1712.26 c 1675s | 23 | 3484343 | 3311538 | 9341 865 | 0 | 0 1713.66/1714.28 c 1677s | 23 | 3487677 | 3314638 | 9341 866 | 0 | 0 1715.66/1716.29 c 1679s | 23 | 3490348 | 3317238 | 9341 866 | 0 | 0 1717.76/1718.33 c 1681s | 23 | 3493723 | 3320538 | 9341 867 | 0 | 0 1719.75/1720.37 c 1683s | 23 | 3497019 | 3323738 | 9341 868 | 0 | 0 1721.86/1722.41 c 1685s | 23 | 3500372 | 3326938 | 9341 868 | 0 | 0 1723.85/1724.48 c 1687s | 23 | 3503454 | 3329938 | 9341 869 | 0 | 0 1725.85/1726.49 c 1689s | 23 | 3506514 | 3332838 | 9341 869 | 0 | 0 1727.95/1728.52 c 1691s | 23 | 3510013 | 3336138 | 9341 870 | 0 | 0 1729.96/1730.52 c 1693s | 23 | 3513163 | 3339138 | 9341 871 | 0 | 0 1731.95/1732.56 c 1695s | 23 | 3516261 | 3342038 | 9341 871 | 0 | 0 1733.95/1734.57 c 1697s | 23 | 3519596 | 3345138 | 9341 872 | 0 | 0 1735.95/1736.57 c 1699s | 23 | 3522573 | 3347938 | 9341 872 | 0 | 0 1738.05/1738.60 c 1701s | 23 | 3526083 | 3351338 | 9341 873 | 0 | 0 1740.05/1740.66 c 1703s | 23 | 3528980 | 3354138 | 9341 874 | 0 | 0 1742.15/1742.73 c 1705s | 23 | 3531911 | 3356938 | 9341 874 | 0 | 0 1744.16/1744.76 c 1707s | 23 | 3535025 | 3359838 | 9341 875 | 0 | 0 1746.25/1746.81 c 1709s | 23 | 3537838 | 3362438 | 9341 875 | 0 | 0 1748.25/1748.84 c 1711s | 23 | 3540038 | 3364538 | 9341 876 | 0 | 0 1750.35/1750.92 c 1714s | 23 | 3543637 | 3368038 | 9341 876 | 0 | 0 1752.35/1752.97 c 1716s | 23 | 3546866 | 3371138 | 9341 877 | 0 | 0 1754.35/1754.97 c 1718s | 23 | 3549501 | 3373638 | 9341 877 | 0 | 0 1756.26/1756.82 c 1719s | 24 | 3552620 | 3376662 | 9341 878 | 0 | 0 1758.25/1758.84 c 1721s | 24 | 3555293 | 3378862 | 9341 878 | 0 | 0 1760.25/1760.85 c 1723s | 24 | 3559349 | 3382662 | 9341 879 | 0 | 0 1762.25/1762.89 c 1725s | 24 | 3563122 | 3386262 | 9341 880 | 0 | 0 1764.35/1764.91 c 1728s | 24 | 3566241 | 3389262 | 9341 881 | 0 | 0 1766.35/1766.94 c 1730s | 24 | 3569734 | 3392662 | 9341 881 | 0 | 0 1768.35/1768.95 c 1732s | 24 | 3572924 | 3395662 | 9341 882 | 0 | 0 1770.44/1771.03 c 1734s | 24 | 3576017 | 3398562 | 9341 882 | 0 | 0 1772.44/1773.04 c 1736s | 24 | 3579414 | 3401862 | 9341 883 | 0 | 0 1774.44/1775.08 c 1738s | 24 | 3581848 | 3404062 | 9341 883 | 0 | 0 1776.44/1777.09 c 1740s | 24 | 3584903 | 3407062 | 9341 884 | 0 | 0 1778.54/1779.17 c 1742s | 24 | 3587116 | 3409162 | 9341 884 | 0 | 0 1780.64/1781.23 c 1744s | 24 | 3589789 | 3411562 | 9341 885 | 0 | 0 1782.65/1783.26 c 1746s | 24 | 3593234 | 3414962 | 9341 886 | 0 | 0 1784.74/1785.30 c 1748s | 24 | 3596420 | 3417962 | 9341 886 | 0 | 0 1786.74/1787.35 c 1750s | 24 | 3599546 | 3420562 | 9341 887 | 0 | 0 1788.84/1789.40 c 1752s | 24 | 3602505 | 3422962 | 9341 887 | 0 | 0 1790.84/1791.43 c 1754s | 24 | 3606520 | 3426762 | 9341 888 | 0 | 0 1792.84/1793.46 c 1756s | 24 | 3609920 | 3430062 | 9341 889 | 0 | 0 1794.85/1795.47 c 1758s | 24 | 3614455 | 3434462 | 9341 890 | 0 | 0 1796.95/1797.52 c 1760s | 24 | 3618189 | 3437962 | 9341 890 | 0 | 0 1798.94/1799.54 c 1762s | 24 | 3621038 | 3440762 | 9341 891 | 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-4106262-1466268325/watcher-4106262-1466268325 -o /tmp/evaluation-result-4106262-1466268325/solver-4106262-1466268325 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106262-1466268325.opb pid=14382 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.53 2.31 2.14 4/179 14385 /proc/meminfo: memFree=30096956/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=684476 CPUtime=0 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 2543 0 0 0 0 0 0 0 20 0 4 0 28881718 700903424 2904 33554432000 4194304 16246674 140735192840784 140735192840208 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14385/statm: 171631 2915 441 2943 0 168525 0 [pid=14385/tid=14386] ppid=14382 vsize=701884 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 718729216 2975 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=707004 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 723972096 2994 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=711100 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28881718 728166400 3009 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100126 s] /proc/loadavg: 2.53 2.31 2.14 4/179 14385 /proc/meminfo: memFree=30096956/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 21950 0 0 0 6 3 0 0 20 0 4 0 28881718 1247350784 22299 33554432000 4194304 16246674 140735192840784 140735192840208 5546500 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14385/statm: 304529 22308 758 2943 0 301423 0 [pid=14385/tid=14386] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 22310 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 22314 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 22319 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.20048 s] /proc/loadavg: 2.53 2.31 2.14 4/179 14385 /proc/meminfo: memFree=30096956/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 38898 0 0 0 13 5 0 0 20 0 4 0 28881718 1247350784 39247 33554432000 4194304 16246674 140735192840784 140735192840208 5677541 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14385/statm: 304529 39251 758 2943 0 301423 0 [pid=14385/tid=14386] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 39256 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 39262 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 39269 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300436 s] /proc/loadavg: 2.53 2.31 2.14 4/179 14385 /proc/meminfo: memFree=30096956/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 56546 0 0 0 21 8 0 0 20 0 4 0 28881718 1247350784 56895 33554432000 4194304 16246674 140735192840784 140735192840208 5677277 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14385/statm: 304529 56900 758 2943 0 301423 0 [pid=14385/tid=14386] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 56904 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 56911 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 56920 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700366 s] /proc/loadavg: 2.53 2.31 2.14 4/179 14385 /proc/meminfo: memFree=30096956/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 121832 0 0 0 52 17 0 0 20 0 4 0 28881718 1247350784 122181 33554432000 4194304 16246674 140735192840784 140735192823776 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14385/statm: 304529 122183 758 2943 0 301423 0 [pid=14385/tid=14386] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 122186 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 122191 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 122196 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50031 s] /proc/loadavg: 2.56 2.32 2.14 3/183 14389 /proc/meminfo: memFree=29294580/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1218116 CPUtime=1.49 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 243439 0 0 0 114 35 0 0 20 0 4 0 28881718 1247350784 243789 33554432000 4194304 16246674 140735192840784 140735192822656 5545885 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14385/statm: 304529 243794 765 2943 0 301423 0 [pid=14385/tid=14386] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 243799 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 243802 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28881718 1247350784 243802 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10036 s] /proc/loadavg: 2.56 2.32 2.14 3/183 14389 /proc/meminfo: memFree=29111060/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1302084 CPUtime=3.09 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 266470 0 0 0 271 38 0 0 20 0 4 0 28881718 1333334016 266796 33554432000 4194304 16246674 140735192840784 140735192822656 5712540 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14385/statm: 325521 266796 833 2943 0 322415 0 [pid=14385/tid=14386] ppid=14382 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1333334016 266796 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1333334016 266796 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1333334016 266796 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1302084 [startup+6.30036 s] /proc/loadavg: 2.52 2.32 2.14 3/183 14389 /proc/meminfo: memFree=29024280/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 267843 0 0 0 591 38 0 0 20 0 4 0 28881718 1338576896 268169 33554432000 4194304 16246674 140735192840784 140735192822656 5822604 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14385/statm: 326801 268169 833 2943 0 323695 0 [pid=14385/tid=14386] ppid=14382 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1338576896 268169 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1338576896 268169 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1338576896 268169 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.48 2.31 2.14 3/183 14389 /proc/meminfo: memFree=29020956/32872528 swapFree=681968/737156 [pid=14385] ppid=14382 vsize=1310276 CPUtime=12.68 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 268645 0 0 0 1230 38 0 0 20 0 4 0 28881718 1341722624 268971 33554432000 4194304 16246674 140735192840784 140735192822656 5722656 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14385/statm: 327569 268971 835 2943 0 324463 0 [pid=14385/tid=14386] ppid=14382 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1341722624 268971 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1341722624 268971 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1341722624 268971 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1310276 [startup+25.5074 s] /proc/loadavg: 2.40 2.30 2.14 3/183 14389 /proc/meminfo: memFree=29021360/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1311300 CPUtime=25.5 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 268779 0 0 0 2511 39 0 0 20 0 4 0 28881718 1342771200 269105 33554432000 4194304 16246674 140735192840784 140735192822656 5523480 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14385/statm: 327825 269105 835 2943 0 324719 0 [pid=14385/tid=14386] ppid=14382 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1342771200 269105 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1342771200 269105 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1342771200 269105 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1311300 [startup+51.1004 s] /proc/loadavg: 2.32 2.29 2.14 3/183 14389 /proc/meminfo: memFree=29014624/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1316420 CPUtime=51.08 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 270199 0 0 0 5069 39 0 0 20 0 4 0 28881718 1348014080 270525 33554432000 4194304 16246674 140735192840784 140735192839880 5545984 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14385/statm: 329105 270525 853 2943 0 325999 0 [pid=14385/tid=14386] ppid=14382 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1348014080 270525 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1348014080 270525 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1348014080 270525 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.3 s] /proc/loadavg: 2.28 2.27 2.14 3/183 14390 /proc/meminfo: memFree=29014312/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1316420 CPUtime=102.27 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 270199 0 0 0 10188 39 0 0 20 0 4 0 28881718 1348014080 270525 33554432000 4194304 16246674 140735192840784 140735192822656 12477688 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14385/statm: 329105 270525 853 2943 0 325999 0 [pid=14385/tid=14386] ppid=14382 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1348014080 270525 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1348014080 270525 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1348014080 270525 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1361645568 273860 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1329732 [startup+1362.3 s] /proc/loadavg: 2.15 2.18 2.15 3/183 14443 /proc/meminfo: memFree=28981656/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1329732 CPUtime=1361.81 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 273953 0 0 0 136133 48 0 0 20 0 4 0 28881718 1361645568 273860 33554432000 4194304 16246674 140735192840784 140735192822656 5823723 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14385/statm: 332433 273860 855 2943 0 329327 0 [pid=14385/tid=14386] ppid=14382 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1361645568 273860 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1361645568 273860 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1361645568 273860 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1329732 [startup+1422.3 s] /proc/loadavg: 2.27 2.19 2.16 3/183 14444 /proc/meminfo: memFree=28979436/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1331780 CPUtime=1421.8 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 274465 0 0 0 142131 49 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 140735192822656 5822492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14385/statm: 332945 274372 855 2943 0 329839 0 [pid=14385/tid=14386] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1331780 [startup+1482.3 s] /proc/loadavg: 2.21 2.19 2.15 4/184 14448 /proc/meminfo: memFree=28979040/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1331780 CPUtime=1481.79 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 274465 0 0 0 148130 49 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 140735192822656 5553796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14385/statm: 332945 274372 855 2943 0 329839 0 [pid=14385/tid=14386] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1331780 [startup+1542.3 s] /proc/loadavg: 2.14 2.17 2.15 4/183 14450 /proc/meminfo: memFree=28979460/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1331780 CPUtime=1541.79 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 274465 0 0 0 154130 49 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 140735192822656 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14385/statm: 332945 274372 855 2943 0 329839 0 [pid=14385/tid=14386] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1331780 [startup+1602.3 s] /proc/loadavg: 2.21 2.18 2.15 4/183 14451 /proc/meminfo: memFree=28979336/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1331780 CPUtime=1601.77 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 274465 0 0 0 160128 49 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 140735192822656 5711326 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14385/statm: 332945 274372 855 2943 0 329839 0 [pid=14385/tid=14386] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1331780 [startup+1662.31 s] /proc/loadavg: 2.18 2.17 2.15 3/183 14501 /proc/meminfo: memFree=29004392/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1331780 CPUtime=1661.77 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 274465 0 0 0 166127 50 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 140735192822656 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14385/statm: 332945 274372 855 2943 0 329839 0 [pid=14385/tid=14386] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1331780 [startup+1722.3 s] /proc/loadavg: 2.26 2.20 2.16 4/183 14502 /proc/meminfo: memFree=29001724/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1331780 CPUtime=1721.75 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 274465 0 0 0 172125 50 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 140735192822592 5712056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14385/statm: 332945 274372 855 2943 0 329839 0 [pid=14385/tid=14386] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1331780 [startup+1782.3 s] /proc/loadavg: 2.18 2.19 2.16 3/183 14503 /proc/meminfo: memFree=29000308/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1331780 CPUtime=1781.74 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 274465 0 0 0 178124 50 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 140735192822656 13949744 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14385/statm: 332945 274372 855 2943 0 329839 0 [pid=14385/tid=14386] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1331780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.14 2.18 2.16 4/183 14503 /proc/meminfo: memFree=29000188/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1331780 CPUtime=1800.04 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 274465 0 0 0 179954 50 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 140735192822656 5825609 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14385/statm: 332945 274372 855 2943 0 329839 0 [pid=14385/tid=14386] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1331780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 14385 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.14 2.18 2.16 4/183 14503 /proc/meminfo: memFree=29000188/32872528 swapFree=681964/737152 [pid=14385] ppid=14382 vsize=1331780 CPUtime=1800.04 cores=0,2,4,6 /proc/14385/stat : 14385 (toysat) R 14382 14385 13233 0 -1 4202496 274465 0 0 0 179954 50 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 140735192822656 5825609 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14385/statm: 332945 274372 855 2943 0 329839 0 [pid=14385/tid=14386] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14386/stat : 14386 (toysat) S 14382 14385 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993292975344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14385/tid=14387] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14387/stat : 14387 (toysat) S 14382 14385 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993282485488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14385/tid=14388] ppid=14382 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/14385/task/14388/stat : 14388 (toysat) S 14382 14385 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28881718 1363742720 274372 33554432000 4194304 16246674 140735192840784 139993272011952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1331780 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.06 CPU user time (s): 1799.55 CPU system time (s): 0.504923 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 1331780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.504923 maximum resident set size= 1097488 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274465 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= 440 involuntary context switches= 2259 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.9353 second user time and 18.1632 second system time The end
Begin job on node112 at 2016-06-18 18:45:25 IDJOB=4106262 IDBENCH=47994 IDSOLVER=2542 FILE ID=node112/4106262-1466268325 RUNJOBID= node112-1466264161-13249 PBS_JOBID= 19918218 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=251-P1=251-P2=101-P3=11-P4=89-P5=53-P6=439-P7=491-P8=389-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106262-1466268325/watcher-4106262-1466268325 -o /tmp/evaluation-result-4106262-1466268325/solver-4106262-1466268325 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106262-1466268325.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 016a6113efb9500350327fbbc3111675 RANDOM SEED=1655150063 node112.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.734 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.46 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.734 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.734 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 : 5321.48 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.734 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.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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.734 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.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30097220 kB Buffers: 63792 kB Cached: 155404 kB SwapCached: 2028 kB Active: 1171284 kB Inactive: 127500 kB Active(anon): 1079844 kB Inactive(anon): 2096 kB Active(file): 91440 kB Inactive(file): 125404 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096744 kB Dirty: 16592 kB Writeback: 0 kB AnonPages: 1820244 kB Mapped: 10496 kB Shmem: 0 kB Slab: 602708 kB SReclaimable: 45812 kB SUnreclaim: 556896 kB KernelStack: 1488 kB PageTables: 7492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1965464 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 96256 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= 71680 MiB End job on node112 at 2016-06-18 19:15:26