| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
| MD5SUM | cdfa46b59876181d5d89fd18757b8cfb |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 9 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| 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 | 12 |
| Minimum length of a constraint | 66 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1273 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4329 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T22:23:20+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-4079750-1465244600.opb"] 0.00/0.01 c use --random-gen="1122534304 3030140309 2843707689 4253703130 2787678745 393794402 2056507814 3142182824 3575997161 2063656407 71515830 2658965936 2089032336 3867953836 2554124222 396562746 2340243103 2978756257 2243666308 1669306829 3549220701 3688370212 4062304516 3312565577 111396571 80298421 491278968 116901427 2567841555 2687785715 4183415001 3136727445 3446777392 1061711735 357812721 3191581125 1759333209 3946017476 1325966945 3326521523 3990075691 312661451 2206024640 4050816890 452613538 1092404179 1248473928 394384368 3170588970 3324061154 2448915373 2537136093 1778402773 3316606319 1872985138 2694442437 1045522417 3933164272 2523798112 698032214 1835184241 1675533318 2897309360 2074302506 2844277790 457494558 1579222233 2332299393 1753410738 1809269302 896994925 4269791964 1614431530 4108681724 2887714111 2564129786 1351544307 4030899708 2910294209 2856766430 3156442795 1307679027 3160595457 4266734491 568542960 4222583434 765306459 637404323 3301372286 1291483845 900270948 3801947198 2863070245 708151855 1174181636 2402851080 4175458029 2858306544 1666054479 3347329617 144561225 52365302 2679738613 364371053 2750274243 1592511327 3201293778 689968738 2886914620 2892433404 4137985971 4285817545 2967856245 1808358254 1284470190 1294514454 1653350436 1085725433 783046345 1597950511 3361421967 108476559 2981249125 3446459468 2783219305 884292499 1611790885 2097694782 2890987200 2549907891 2836827161 297732010 1722762775 3193741788 1284153413 913431564 4118317767 1133380302 229945412 1168502425 2050917325 3545989603 4207399989 3045250769 774301195 3990970691 1611004138 855774660 2328173041 429683742 3189959026 94460341 3563262303 1308907972 1888989785 3741626209 1033161803 785649423 1075516608 2440735920 1610121812 2599290270 544729784 3839877715 2008114174 558866862 3941509047 2358343044 4154968892 1320086055 115915878 343959517 1141777211 3120819599 3719911033 2307589726 726122467 944701193 3708133059 970314308 2909736306 3860360327 369915441 1273805140 2827197697 814351547 2618515707 2569652096 2074254671 2354109146 2301488083 671100422 676871794 1594792708 3961232575 427759045 2383620512 2296486816 4240871253 2499858979 792769342 1725787339 1950357030 2854533890 1325779494 1502365593 151122641 108768933 2343390531 3916617738 1306001818 579572171 247075969 3566126641 464901807 1261030876 1703544738 4212299991 3954879684 3739306110 2892616955 4010740072 3645600777 2649902535 57790792 1854120600 1090251308 3809301608 206947159 2502408737 4099913146 3650340009 2052674336 421388978 2330793801 1395127021 2686153198 4076831294 1785167809 308261820 1319135483 1621077418 1272772295 3640610984 2143027162 3695884001 1902453739 3878356074 2938278982 2664162301 2581660002 1251113490 3382590727 2052749502 3781044394 2112533647 255 362436" option to reproduce the execution 0.00/0.01 c #vars 146 0.00/0.01 c #constraints 12 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 52 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 64 | 0 | 52 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.001s 0.00/0.01 c #wall_clock_time = 0.001s 0.00/0.01 c #decision = 64 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 o 2028 0.00/0.01 c BCD2: updating upper bound: 3060 -> 2027 0.00/0.01 c BCD2: 0 <= obj <= 2027 0.00/0.01 c BCD2: #cores=0, #unrelaxed=96, #relaxed=0, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 52 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 219 | 100 | 52 0 | 0 | 0 0.00/0.08 c 0.1s | 2 | 489 | 250 | 58 2 | 0 | 0 0.09/0.15 c 0.1s | 3 | 840 | 475 | 64 4 | 0 | 0 0.19/0.25 c 0.2s | 4 | 1298 | 813 | 71 8 | 0 | 0 0.39/0.40 c 0.4s | 5 | 1930 | 1320 | 79 14 | 0 | 0 0.59/0.65 c 0.6s | 6 | 2819 | 2081 | 96 21 | 0 | 0 0.99/1.01 c 1.0s | 7 | 4091 | 3223 | 106 32 | 0 | 0 1.39/1.42 c 1.4s | 8 | 5942 | 4936 | 117 48 | 0 | 0 1.89/1.90 c 1.9s | 9 | 8674 | 7506 | 129 70 | 0 | 0 2.59/2.63 c 2.6s | 10 | 12731 | 11361 | 142 101 | 0 | 0 3.59/3.69 c 3.7s | 11 | 18736 | 17144 | 157 146 | 0 | 0 5.19/5.29 c 5.3s | 12 | 27649 | 25819 | 173 209 | 0 | 0 7.28/7.30 c 7.3s | 12 | 39002 | 36819 | 173 285 | 0 | 0 7.58/7.69 c 7.7s | 13 | 41038 | 38832 | 191 299 | 0 | 0 9.58/9.69 c 9.7s | 13 | 52119 | 49632 | 191 370 | 0 | 0 11.29/11.31 c 11.3s | 14 | 61008 | 58352 | 211 427 | 0 | 0 13.30/13.33 c 13.3s | 14 | 72122 | 69152 | 211 493 | 0 | 0 15.29/15.33 c 15.3s | 14 | 83319 | 80152 | 211 560 | 0 | 0 16.69/16.71 c 16.7s | 15 | 90891 | 87632 | 233 606 | 0 | 0 18.69/18.72 c 18.7s | 15 | 101711 | 98132 | 233 666 | 0 | 0 20.69/20.72 c 20.7s | 15 | 112299 | 108532 | 233 727 | 0 | 0 22.69/22.72 c 22.7s | 15 | 123405 | 119432 | 233 790 | 0 | 0 24.69/24.73 c 24.7s | 15 | 134735 | 130532 | 233 854 | 0 | 0 24.89/24.90 c 24.9s | 16 | 135770 | 131552 | 257 860 | 0 | 0 26.88/26.91 c 26.9s | 16 | 146296 | 141852 | 257 915 | 0 | 0 28.88/28.91 c 28.9s | 16 | 156399 | 151852 | 257 969 | 0 | 0 30.89/30.92 c 30.9s | 16 | 166708 | 162052 | 257 1024 | 0 | 0 32.88/32.93 c 32.9s | 16 | 177036 | 172252 | 257 1079 | 0 | 0 34.89/34.94 c 34.9s | 16 | 187461 | 182552 | 257 1134 | 0 | 0 36.89/36.95 c 36.9s | 16 | 198071 | 193052 | 257 1191 | 0 | 0 37.69/37.80 c 37.8s | 17 | 202505 | 197432 | 283 1214 | 0 | 0 39.78/39.82 c 39.8s | 17 | 213044 | 207732 | 283 1266 | 0 | 0 41.79/41.82 c 41.8s | 17 | 223067 | 217632 | 283 1316 | 0 | 0 43.78/43.84 c 43.8s | 17 | 233262 | 227732 | 283 1367 | 0 | 0 45.78/45.85 c 45.8s | 17 | 244235 | 238532 | 283 1421 | 0 | 0 47.78/47.86 c 47.8s | 17 | 254855 | 249032 | 283 1474 | 0 | 0 49.78/49.87 c 49.9s | 17 | 265181 | 259232 | 283 1526 | 0 | 0 51.79/51.88 c 51.9s | 17 | 275719 | 269632 | 283 1579 | 0 | 0 53.78/53.90 c 53.9s | 17 | 286052 | 279832 | 283 1631 | 0 | 0 55.88/55.90 c 55.9s | 17 | 297570 | 291232 | 283 1688 | 0 | 0 56.78/56.82 c 56.8s | 18 | 302653 | 296252 | 312 1712 | 0 | 0 58.78/58.82 c 58.8s | 18 | 313530 | 306852 | 312 1762 | 0 | 0 60.78/60.84 c 60.8s | 18 | 324540 | 317752 | 312 1813 | 0 | 0 62.79/62.85 c 62.8s | 18 | 334834 | 327952 | 312 1861 | 0 | 0 64.78/64.85 c 64.8s | 18 | 345243 | 338252 | 312 1909 | 0 | 0 66.78/66.87 c 66.9s | 18 | 355493 | 348352 | 312 1957 | 0 | 0 68.78/68.89 c 68.9s | 18 | 366057 | 358752 | 312 2006 | 0 | 0 70.78/70.89 c 70.9s | 18 | 376859 | 369352 | 312 2056 | 0 | 0 72.78/72.89 c 72.9s | 18 | 386974 | 379352 | 312 2103 | 0 | 0 74.89/74.90 c 74.9s | 18 | 397303 | 389552 | 312 2152 | 0 | 0 76.88/76.91 c 76.9s | 18 | 407188 | 399352 | 312 2199 | 0 | 0 78.88/78.93 c 78.9s | 18 | 418176 | 410152 | 312 2249 | 0 | 0 80.88/80.93 c 80.9s | 18 | 428647 | 420452 | 312 2298 | 0 | 0 82.87/82.93 c 82.9s | 18 | 439333 | 430952 | 312 2348 | 0 | 0 84.88/84.95 c 84.9s | 18 | 450578 | 442052 | 344 2400 | 0 | 0 85.38/85.41 c 85.4s | 19 | 453018 | 444482 | 344 2410 | 0 | 0 87.38/87.43 c 87.4s | 19 | 463340 | 454582 | 344 2454 | 0 | 0 89.38/89.45 c 89.4s | 19 | 473816 | 464982 | 344 2500 | 0 | 0 91.38/91.46 c 91.4s | 19 | 484019 | 475082 | 344 2544 | 0 | 0 93.37/93.47 c 93.5s | 19 | 494389 | 485382 | 344 2589 | 0 | 0 95.38/95.47 c 95.5s | 19 | 505360 | 496282 | 344 2637 | 0 | 0 97.38/97.48 c 97.5s | 19 | 515458 | 506282 | 344 2681 | 0 | 0 99.38/99.48 c 99.5s | 19 | 525067 | 515782 | 344 2722 | 0 | 0 101.47/101.50 c 101s | 19 | 534974 | 525582 | 344 2765 | 0 | 0 103.48/103.51 c 103s | 19 | 545136 | 535582 | 344 2809 | 0 | 0 105.47/105.53 c 105s | 19 | 554892 | 545182 | 344 2852 | 0 | 0 107.48/107.55 c 107s | 19 | 564919 | 554982 | 344 2895 | 0 | 0 109.48/109.57 c 109s | 19 | 575125 | 564982 | 344 2939 | 0 | 0 111.47/111.57 c 111s | 19 | 585184 | 574882 | 344 2982 | 0 | 0 113.47/113.58 c 113s | 19 | 595410 | 584882 | 344 3026 | 0 | 0 115.48/115.59 c 115s | 19 | 605259 | 594582 | 344 3068 | 0 | 0 117.57/117.62 c 117s | 19 | 614912 | 604082 | 344 3110 | 0 | 0 119.58/119.64 c 119s | 19 | 624630 | 613682 | 344 3152 | 0 | 0 121.57/121.65 c 121s | 19 | 634675 | 623482 | 344 3195 | 0 | 0 123.57/123.66 c 123s | 19 | 645049 | 633682 | 344 3240 | 0 | 0 125.57/125.67 c 125s | 19 | 655153 | 643582 | 344 3283 | 0 | 0 127.57/127.69 c 127s | 19 | 665338 | 653582 | 344 3327 | 0 | 0 129.67/129.70 c 129s | 19 | 675374 | 663482 | 379 3370 | 0 | 0 130.37/130.43 c 130s | 20 | 678740 | 666827 | 379 3384 | 0 | 0 132.37/132.45 c 132s | 20 | 688384 | 676227 | 379 3422 | 0 | 0 134.37/134.46 c 134s | 20 | 697909 | 685627 | 379 3460 | 0 | 0 136.38/136.48 c 136s | 20 | 707428 | 695027 | 379 3499 | 0 | 0 138.37/138.48 c 138s | 20 | 716826 | 704327 | 379 3537 | 0 | 0 140.47/140.50 c 140s | 20 | 726453 | 713827 | 379 3575 | 0 | 0 142.46/142.51 c 142s | 20 | 736609 | 723827 | 379 3616 | 0 | 0 144.46/144.52 c 144s | 20 | 746335 | 733427 | 379 3655 | 0 | 0 146.47/146.54 c 146s | 20 | 755682 | 742627 | 379 3692 | 0 | 0 148.47/148.56 c 148s | 20 | 765741 | 752527 | 379 3733 | 0 | 0 150.46/150.57 c 150s | 20 | 776139 | 762727 | 379 3774 | 0 | 0 152.47/152.59 c 152s | 20 | 785643 | 772127 | 379 3813 | 0 | 0 154.47/154.59 c 154s | 20 | 795281 | 781627 | 379 3852 | 0 | 0 156.47/156.59 c 156s | 20 | 805344 | 791527 | 379 3892 | 0 | 0 158.56/158.61 c 158s | 20 | 815071 | 801127 | 379 3931 | 0 | 0 160.57/160.62 c 160s | 20 | 824596 | 810527 | 379 3970 | 0 | 0 162.56/162.63 c 162s | 20 | 834196 | 820027 | 379 4008 | 0 | 0 164.56/164.63 c 164s | 20 | 843866 | 829527 | 379 4047 | 0 | 0 166.56/166.65 c 166s | 20 | 853480 | 839027 | 379 4086 | 0 | 0 168.56/168.67 c 168s | 20 | 863072 | 848527 | 379 4124 | 0 | 0 170.56/170.69 c 170s | 20 | 872720 | 858027 | 379 4163 | 0 | 0 172.56/172.69 c 172s | 20 | 881941 | 867127 | 379 4200 | 0 | 0 174.65/174.70 c 174s | 20 | 891370 | 876427 | 379 4238 | 0 | 0 176.65/176.72 c 176s | 20 | 900565 | 885527 | 379 4275 | 0 | 0 178.65/178.72 c 178s | 20 | 909792 | 894627 | 379 4312 | 0 | 0 180.65/180.73 c 180s | 20 | 918996 | 903727 | 379 4350 | 0 | 0 182.66/182.75 c 182s | 20 | 928357 | 912927 | 379 4387 | 0 | 0 184.64/184.77 c 184s | 20 | 937867 | 922327 | 379 4426 | 0 | 0 186.64/186.79 c 186s | 20 | 947468 | 931827 | 379 4464 | 0 | 0 188.75/188.81 c 188s | 20 | 956800 | 941027 | 379 4502 | 0 | 0 190.74/190.82 c 190s | 20 | 966022 | 950127 | 379 4540 | 0 | 0 192.74/192.82 c 192s | 20 | 975242 | 959227 | 379 4577 | 0 | 0 194.74/194.83 c 194s | 20 | 984681 | 968527 | 379 4615 | 0 | 0 196.74/196.84 c 196s | 20 | 994029 | 977727 | 379 4653 | 0 | 0 198.74/198.85 c 198s | 20 | 1003311 | 986927 | 379 4691 | 0 | 0 200.74/200.87 c 200s | 20 | 1012989 | 996527 | 417 4729 | 0 | 0 201.54/201.67 c 201s | 21 | 1016853 | 1000345 | 417 4743 | 0 | 0 203.54/203.68 c 203s | 21 | 1026412 | 1009645 | 417 4778 | 0 | 0 205.54/205.70 c 205s | 21 | 1035644 | 1018745 | 417 4813 | 0 | 0 207.64/207.70 c 207s | 21 | 1045049 | 1028045 | 417 4848 | 0 | 0 209.63/209.72 c 209s | 21 | 1054967 | 1037845 | 417 4885 | 0 | 0 211.64/211.73 c 211s | 21 | 1064790 | 1047545 | 417 4921 | 0 | 0 213.63/213.73 c 213s | 21 | 1074014 | 1056645 | 417 4956 | 0 | 0 215.64/215.73 c 215s | 21 | 1083300 | 1065745 | 417 4990 | 0 | 0 217.64/217.75 c 217s | 21 | 1092849 | 1075145 | 417 5026 | 0 | 0 219.63/219.76 c 219s | 21 | 1102194 | 1084345 | 417 5061 | 0 | 0 221.64/221.77 c 221s | 21 | 1111374 | 1093445 | 417 5095 | 0 | 0 223.62/223.78 c 223s | 21 | 1120803 | 1102745 | 417 5130 | 0 | 0 225.63/225.79 c 225s | 21 | 1129827 | 1111645 | 417 5164 | 0 | 0 227.64/227.79 c 227s | 21 | 1139150 | 1120845 | 417 5199 | 0 | 0 229.73/229.80 c 229s | 21 | 1148448 | 1130045 | 417 5233 | 0 | 0 231.72/231.81 c 231s | 21 | 1157729 | 1139245 | 417 5268 | 0 | 0 233.73/233.81 c 233s | 21 | 1167073 | 1148445 | 417 5303 | 0 | 0 235.72/235.83 c 235s | 21 | 1176591 | 1157845 | 417 5338 | 0 | 0 237.72/237.84 c 237s | 21 | 1186066 | 1167245 | 417 5374 | 0 | 0 239.73/239.85 c 239s | 21 | 1195177 | 1176245 | 417 5408 | 0 | 0 241.72/241.86 c 241s | 21 | 1204494 | 1185445 | 417 5443 | 0 | 0 243.71/243.88 c 243s | 21 | 1213807 | 1194645 | 417 5478 | 0 | 0 245.72/245.88 c 245s | 21 | 1222839 | 1203545 | 417 5512 | 0 | 0 247.82/247.90 c 247s | 21 | 1232215 | 1212745 | 417 5547 | 0 | 0 249.81/249.92 c 249s | 21 | 1241613 | 1222045 | 417 5582 | 0 | 0 251.82/251.92 c 251s | 21 | 1250940 | 1231245 | 417 5617 | 0 | 0 253.81/253.93 c 253s | 21 | 1260470 | 1240645 | 417 5652 | 0 | 0 255.81/255.95 c 255s | 21 | 1269717 | 1249745 | 417 5687 | 0 | 0 257.82/257.95 c 257s | 21 | 1278729 | 1258645 | 417 5721 | 0 | 0 259.81/259.95 c 259s | 21 | 1287744 | 1267545 | 417 5755 | 0 | 0 261.82/261.96 c 261s | 21 | 1296640 | 1276345 | 417 5788 | 0 | 0 263.80/263.97 c 263s | 21 | 1305655 | 1285245 | 417 5822 | 0 | 0 265.81/265.98 c 265s | 21 | 1314775 | 1294245 | 417 5857 | 0 | 0 267.90/268.00 c 267s | 21 | 1323797 | 1303145 | 417 5891 | 0 | 0 269.90/270.01 c 269s | 21 | 1332820 | 1312045 | 417 5925 | 0 | 0 271.91/272.01 c 271s | 21 | 1341797 | 1320945 | 417 5959 | 0 | 0 273.90/274.01 c 273s | 21 | 1351306 | 1330345 | 417 5994 | 0 | 0 275.90/276.02 c 276s | 21 | 1360706 | 1339645 | 417 6030 | 0 | 0 277.90/278.02 c 278s | 21 | 1369603 | 1348445 | 417 6063 | 0 | 0 279.90/280.04 c 280s | 21 | 1378409 | 1357145 | 417 6097 | 0 | 0 281.90/282.04 c 282s | 21 | 1387363 | 1365945 | 417 6130 | 0 | 0 283.90/284.06 c 284s | 21 | 1396925 | 1375345 | 417 6166 | 0 | 0 285.90/286.08 c 286s | 21 | 1406940 | 1385145 | 417 6203 | 0 | 0 287.89/288.09 c 288s | 21 | 1416578 | 1394545 | 417 6238 | 0 | 0 289.90/290.09 c 290s | 21 | 1425864 | 1403645 | 417 6273 | 0 | 0 291.99/292.12 c 292s | 21 | 1435485 | 1413045 | 417 6309 | 0 | 0 293.99/294.13 c 294s | 21 | 1444869 | 1422245 | 417 6344 | 0 | 0 295.99/296.13 c 296s | 21 | 1454208 | 1431445 | 417 6379 | 0 | 0 297.99/298.14 c 298s | 21 | 1463498 | 1440645 | 417 6414 | 0 | 0 299.99/300.15 c 300s | 21 | 1472949 | 1449945 | 417 6449 | 0 | 0 301.99/302.17 c 302s | 21 | 1482177 | 1459045 | 417 6483 | 0 | 0 303.98/304.18 c 304s | 21 | 1491377 | 1468145 | 417 6518 | 0 | 0 306.08/306.20 c 306s | 21 | 1500376 | 1477045 | 417 6552 | 0 | 0 308.08/308.21 c 308s | 21 | 1509835 | 1486445 | 417 6587 | 0 | 0 310.09/310.21 c 310s | 21 | 1518900 | 1495445 | 459 6620 | 0 | 0 311.19/311.38 c 311s | 22 | 1524108 | 1500622 | 459 6638 | 0 | 0 313.18/313.38 c 313s | 22 | 1533404 | 1509722 | 459 6670 | 0 | 0 315.18/315.38 c 315s | 22 | 1542660 | 1518922 | 459 6702 | 0 | 0 317.28/317.40 c 317s | 22 | 1552085 | 1528222 | 459 6735 | 0 | 0 319.28/319.40 c 319s | 22 | 1561173 | 1537222 | 459 6766 | 0 | 0 321.28/321.42 c 321s | 22 | 1570794 | 1546722 | 459 6800 | 0 | 0 323.28/323.43 c 323s | 22 | 1580876 | 1556722 | 459 6835 | 0 | 0 325.27/325.44 c 325s | 22 | 1590415 | 1566122 | 459 6868 | 0 | 0 327.27/327.44 c 327s | 22 | 1599919 | 1575522 | 459 6901 | 0 | 0 329.28/329.46 c 329s | 22 | 1609186 | 1584722 | 459 6933 | 0 | 0 331.27/331.48 c 331s | 22 | 1618876 | 1594322 | 459 6967 | 0 | 0 333.28/333.50 c 333s | 22 | 1627587 | 1602922 | 459 6997 | 0 | 0 335.27/335.50 c 335s | 22 | 1636318 | 1611522 | 459 7027 | 0 | 0 337.36/337.51 c 337s | 22 | 1645132 | 1620222 | 459 7058 | 0 | 0 339.36/339.53 c 339s | 22 | 1654335 | 1629322 | 459 7089 | 0 | 0 341.37/341.55 c 341s | 22 | 1663612 | 1638522 | 459 7121 | 0 | 0 343.37/343.56 c 343s | 22 | 1672773 | 1647522 | 459 7153 | 0 | 0 345.37/345.57 c 345s | 22 | 1682108 | 1656622 | 459 7185 | 0 | 0 347.36/347.59 c 347s | 22 | 1690923 | 1665322 | 459 7215 | 0 | 0 349.46/349.60 c 349s | 22 | 1700168 | 1674422 | 459 7247 | 0 | 0 351.46/351.62 c 351s | 22 | 1709075 | 1683222 | 459 7278 | 0 | 0 353.45/353.62 c 353s | 22 | 1717977 | 1692022 | 459 7309 | 0 | 0 355.45/355.64 c 355s | 22 | 1726760 | 1700722 | 459 7340 | 0 | 0 357.46/357.64 c 357s | 22 | 1735544 | 1709422 | 459 7370 | 0 | 0 359.45/359.66 c 359s | 22 | 1745311 | 1719122 | 459 7404 | 0 | 0 361.45/361.67 c 361s | 22 | 1754818 | 1728522 | 459 7437 | 0 | 0 363.46/363.69 c 363s | 22 | 1764126 | 1737722 | 459 7469 | 0 | 0 365.55/365.70 c 365s | 22 | 1773333 | 1746822 | 459 7501 | 0 | 0 367.55/367.70 c 367s | 22 | 1782415 | 1755822 | 459 7533 | 0 | 0 369.55/369.72 c 369s | 22 | 1791627 | 1764922 | 459 7565 | 0 | 0 371.55/371.72 c 371s | 22 | 1800548 | 1773722 | 459 7596 | 0 | 0 373.55/373.74 c 373s | 22 | 1809801 | 1782922 | 459 7628 | 0 | 0 375.55/375.74 c 375s | 22 | 1818798 | 1791822 | 459 7659 | 0 | 0 377.55/377.75 c 377s | 22 | 1827778 | 1800722 | 459 7690 | 0 | 0 379.54/379.75 c 379s | 22 | 1836570 | 1809422 | 459 7721 | 0 | 0 381.55/381.77 c 381s | 22 | 1845704 | 1818422 | 459 7752 | 0 | 0 383.54/383.78 c 383s | 22 | 1854707 | 1827322 | 459 7784 | 0 | 0 385.64/385.81 c 385s | 22 | 1863598 | 1836122 | 459 7815 | 0 | 0 387.64/387.82 c 387s | 22 | 1872372 | 1844822 | 459 7845 | 0 | 0 389.64/389.83 c 389s | 22 | 1881076 | 1853422 | 459 7876 | 0 | 0 391.64/391.83 c 391s | 22 | 1890109 | 1862322 | 459 7907 | 0 | 0 393.65/393.85 c 393s | 22 | 1898837 | 1870922 | 459 7937 | 0 | 0 395.64/395.88 c 395s | 22 | 1907632 | 1879622 | 459 7968 | 0 | 0 397.64/397.89 c 397s | 22 | 1916512 | 1888422 | 459 7999 | 0 | 0 399.74/399.90 c 399s | 22 | 1925487 | 1897322 | 459 8030 | 0 | 0 401.74/401.92 c 401s | 22 | 1934731 | 1906522 | 459 8062 | 0 | 0 403.73/403.93 c 403s | 22 | 1943309 | 1915022 | 459 8092 | 0 | 0 405.73/405.94 c 405s | 22 | 1951998 | 1923622 | 459 8123 | 0 | 0 407.73/407.97 c 407s | 22 | 1960288 | 1931822 | 459 8152 | 0 | 0 409.73/409.99 c 409s | 22 | 1968886 | 1940322 | 459 8182 | 0 | 0 411.83/412.00 c 411s | 22 | 1978317 | 1949722 | 459 8215 | 0 | 0 413.82/414.02 c 414s | 22 | 1987473 | 1958822 | 459 8247 | 0 | 0 415.82/416.02 c 416s | 22 | 1995881 | 1967122 | 459 8276 | 0 | 0 417.83/418.04 c 418s | 22 | 2004484 | 1975622 | 459 8306 | 0 | 0 419.82/420.06 c 420s | 22 | 2012864 | 1983922 | 459 8335 | 0 | 0 421.83/422.07 c 422s | 22 | 2021664 | 1992622 | 459 8366 | 0 | 0 423.82/424.09 c 424s | 22 | 2030453 | 2001322 | 459 8396 | 0 | 0 425.92/426.10 c 426s | 22 | 2039383 | 2010122 | 459 8427 | 0 | 0 427.92/428.11 c 428s | 22 | 2048209 | 2018822 | 459 8457 | 0 | 0 429.93/430.12 c 430s | 22 | 2056722 | 2027222 | 459 8487 | 0 | 0 431.92/432.13 c 432s | 22 | 2065567 | 2035922 | 459 8517 | 0 | 0 433.92/434.15 c 434s | 22 | 2074382 | 2044622 | 459 8548 | 0 | 0 435.92/436.15 c 436s | 22 | 2082885 | 2053022 | 459 8577 | 0 | 0 437.92/438.16 c 438s | 22 | 2091470 | 2061522 | 459 8607 | 0 | 0 439.92/440.18 c 440s | 22 | 2100266 | 2070222 | 459 8638 | 0 | 0 441.91/442.19 c 442s | 22 | 2108907 | 2078722 | 459 8668 | 0 | 0 443.91/444.19 c 444s | 22 | 2117792 | 2087422 | 459 8698 | 0 | 0 446.01/446.22 c 446s | 22 | 2126476 | 2096022 | 459 8729 | 0 | 0 448.01/448.24 c 448s | 22 | 2135569 | 2104922 | 459 8760 | 0 | 0 450.01/450.24 c 450s | 22 | 2144147 | 2113422 | 459 8790 | 0 | 0 452.02/452.25 c 452s | 22 | 2152721 | 2121922 | 459 8820 | 0 | 0 454.01/454.27 c 454s | 22 | 2161616 | 2130722 | 459 8851 | 0 | 0 456.00/456.28 c 456s | 22 | 2170424 | 2139422 | 459 8882 | 0 | 0 458.10/458.30 c 458s | 22 | 2179032 | 2147922 | 459 8912 | 0 | 0 460.10/460.32 c 460s | 22 | 2187778 | 2156522 | 459 8942 | 0 | 0 462.10/462.33 c 462s | 22 | 2196870 | 2165522 | 459 8973 | 0 | 0 464.11/464.35 c 464s | 22 | 2205487 | 2174022 | 459 9003 | 0 | 0 466.10/466.36 c 466s | 22 | 2214508 | 2182922 | 459 9034 | 0 | 0 468.10/468.36 c 468s | 22 | 2223492 | 2191822 | 459 9066 | 0 | 0 470.10/470.37 c 470s | 22 | 2232460 | 2200722 | 459 9097 | 0 | 0 472.10/472.38 c 472s | 22 | 2241281 | 2209422 | 459 9128 | 0 | 0 474.19/474.40 c 474s | 22 | 2249654 | 2217722 | 459 9157 | 0 | 0 476.21/476.42 c 476s | 22 | 2258460 | 2226422 | 459 9187 | 0 | 0 478.19/478.42 c 478s | 22 | 2267410 | 2235222 | 505 9218 | 0 | 0 480.20/480.44 c 480s | 22 | 2276011 | 2243722 | 505 9246 | 0 | 0 481.99/482.20 c 482s | 23 | 2283394 | 2251038 | 505 9270 | 0 | 0 483.99/484.22 c 484s | 23 | 2292567 | 2259938 | 505 9298 | 0 | 0 486.01/486.23 c 486s | 23 | 2301771 | 2268938 | 505 9328 | 0 | 0 487.99/488.23 c 488s | 23 | 2311238 | 2278238 | 505 9358 | 0 | 0 489.99/490.25 c 490s | 23 | 2320396 | 2287238 | 505 9387 | 0 | 0 492.00/492.26 c 492s | 23 | 2329189 | 2295938 | 505 9415 | 0 | 0 493.99/494.26 c 494s | 23 | 2338222 | 2304838 | 505 9444 | 0 | 0 495.99/496.28 c 496s | 23 | 2347138 | 2313638 | 505 9472 | 0 | 0 497.99/498.29 c 498s | 23 | 2355876 | 2322238 | 505 9500 | 0 | 0 500.09/500.30 c 500s | 23 | 2364612 | 2330838 | 505 9528 | 0 | 0 502.08/502.30 c 502s | 23 | 2374058 | 2340038 | 505 9558 | 0 | 0 504.09/504.31 c 504s | 23 | 2384110 | 2349738 | 505 9590 | 0 | 0 506.09/506.32 c 506s | 23 | 2393917 | 2359238 | 505 9621 | 0 | 0 508.09/508.34 c 508s | 23 | 2403374 | 2368438 | 505 9651 | 0 | 0 510.08/510.34 c 510s | 23 | 2412610 | 2377438 | 505 9680 | 0 | 0 512.08/512.35 c 512s | 23 | 2421309 | 2385938 | 505 9708 | 0 | 0 514.09/514.37 c 514s | 23 | 2429896 | 2394338 | 505 9735 | 0 | 0 516.09/516.38 c 516s | 23 | 2438589 | 2402938 | 505 9763 | 0 | 0 518.09/518.39 c 518s | 23 | 2447223 | 2411438 | 505 9790 | 0 | 0 520.09/520.39 c 520s | 23 | 2455816 | 2419938 | 505 9818 | 0 | 0 522.18/522.40 c 522s | 23 | 2464605 | 2428638 | 505 9846 | 0 | 0 524.17/524.41 c 524s | 23 | 2473327 | 2437238 | 505 9874 | 0 | 0 526.17/526.41 c 526s | 23 | 2481944 | 2445738 | 505 9902 | 0 | 0 528.18/528.42 c 528s | 23 | 2490342 | 2454038 | 505 9929 | 0 | 0 530.18/530.43 c 530s | 23 | 2498832 | 2462438 | 505 9956 | 0 | 0 532.19/532.43 c 532s | 23 | 2507533 | 2470938 | 505 9984 | 0 | 0 534.17/534.44 c 534s | 23 | 2516036 | 2479238 | 505 10011 | 0 | 0 536.17/536.45 c 536s | 23 | 2524706 | 2487738 | 505 10039 | 0 | 0 538.17/538.45 c 538s | 23 | 2533345 | 2496238 | 505 10067 | 0 | 0 540.17/540.47 c 540s | 23 | 2542344 | 2505038 | 505 10095 | 0 | 0 542.18/542.48 c 542s | 23 | 2550989 | 2513538 | 505 10123 | 0 | 0 544.17/544.48 c 544s | 23 | 2559479 | 2521938 | 505 10151 | 0 | 0 546.17/546.48 c 546s | 23 | 2567911 | 2530238 | 505 10178 | 0 | 0 548.16/548.49 c 548s | 23 | 2576319 | 2538538 | 505 10205 | 0 | 0 550.27/550.50 c 550s | 23 | 2586030 | 2548038 | 505 10236 | 0 | 0 552.27/552.52 c 552s | 23 | 2595772 | 2557538 | 505 10267 | 0 | 0 554.27/554.53 c 554s | 23 | 2605367 | 2566938 | 505 10297 | 0 | 0 556.26/556.54 c 556s | 23 | 2614923 | 2576338 | 505 10328 | 0 | 0 558.26/558.56 c 558s | 23 | 2624233 | 2585538 | 505 10358 | 0 | 0 560.26/560.57 c 560s | 23 | 2633256 | 2594438 | 505 10387 | 0 | 0 562.26/562.57 c 562s | 23 | 2642513 | 2603538 | 505 10416 | 0 | 0 564.26/564.57 c 564s | 23 | 2651520 | 2612438 | 505 10445 | 0 | 0 566.27/566.57 c 566s | 23 | 2660147 | 2620938 | 505 10473 | 0 | 0 568.26/568.58 c 568s | 23 | 2668843 | 2629538 | 505 10501 | 0 | 0 570.25/570.58 c 570s | 23 | 2677638 | 2638238 | 505 10529 | 0 | 0 572.25/572.59 c 572s | 23 | 2686485 | 2646938 | 505 10557 | 0 | 0 574.36/574.60 c 574s | 23 | 2695195 | 2655538 | 505 10586 | 0 | 0 576.35/576.61 c 576s | 23 | 2703992 | 2664238 | 505 10614 | 0 | 0 578.36/578.63 c 578s | 23 | 2712625 | 2672738 | 505 10642 | 0 | 0 580.35/580.65 c 580s | 23 | 2721190 | 2681238 | 505 10670 | 0 | 0 582.35/582.65 c 582s | 23 | 2729673 | 2689638 | 505 10697 | 0 | 0 584.34/584.67 c 584s | 23 | 2738402 | 2698238 | 505 10726 | 0 | 0 586.35/586.68 c 586s | 23 | 2747754 | 2707438 | 505 10755 | 0 | 0 588.35/588.68 c 588s | 23 | 2756757 | 2716338 | 505 10784 | 0 | 0 590.34/590.69 c 590s | 23 | 2765566 | 2725038 | 505 10813 | 0 | 0 592.44/592.70 c 592s | 23 | 2774166 | 2733538 | 505 10841 | 0 | 0 594.44/594.70 c 594s | 23 | 2782791 | 2742038 | 505 10868 | 0 | 0 596.44/596.72 c 596s | 23 | 2791417 | 2750538 | 505 10896 | 0 | 0 598.44/598.72 c 598s | 23 | 2800116 | 2759138 | 505 10925 | 0 | 0 600.45/600.73 c 600s | 23 | 2808849 | 2767738 | 505 10953 | 0 | 0 602.44/602.74 c 602s | 23 | 2817500 | 2776238 | 505 10981 | 0 | 0 604.43/604.75 c 604s | 23 | 2826039 | 2784638 | 505 11008 | 0 | 0 606.43/606.77 c 606s | 23 | 2835171 | 2793638 | 505 11037 | 0 | 0 608.43/608.77 c 608s | 23 | 2844088 | 2802438 | 505 11066 | 0 | 0 610.43/610.80 c 610s | 23 | 2853619 | 2811838 | 505 11096 | 0 | 0 612.54/612.81 c 612s | 23 | 2862657 | 2820738 | 505 11125 | 0 | 0 614.53/614.83 c 614s | 23 | 2871672 | 2829638 | 505 11154 | 0 | 0 616.53/616.84 c 616s | 23 | 2880480 | 2838338 | 505 11182 | 0 | 0 618.53/618.87 c 618s | 23 | 2889098 | 2846838 | 505 11210 | 0 | 0 620.53/620.88 c 620s | 23 | 2898567 | 2856138 | 505 11239 | 0 | 0 622.53/622.89 c 622s | 23 | 2907719 | 2865138 | 505 11269 | 0 | 0 624.53/624.90 c 624s | 23 | 2916410 | 2873738 | 505 11297 | 0 | 0 626.62/626.91 c 626s | 23 | 2925017 | 2882238 | 505 11324 | 0 | 0 628.62/628.91 c 628s | 23 | 2933471 | 2890638 | 505 11352 | 0 | 0 630.63/630.93 c 630s | 23 | 2942923 | 2900038 | 505 11382 | 0 | 0 632.63/632.94 c 632s | 23 | 2951801 | 2908838 | 505 11411 | 0 | 0 634.62/634.94 c 634s | 23 | 2960667 | 2917638 | 505 11439 | 0 | 0 636.63/636.94 c 636s | 23 | 2969676 | 2926538 | 505 11468 | 0 | 0 638.63/638.95 c 638s | 23 | 2978362 | 2935138 | 505 11497 | 0 | 0 640.62/640.96 c 640s | 23 | 2987466 | 2944138 | 505 11526 | 0 | 0 642.62/642.97 c 642s | 23 | 2996961 | 2953538 | 505 11557 | 0 | 0 644.61/644.98 c 644s | 23 | 3006366 | 2962838 | 505 11587 | 0 | 0 646.62/646.98 c 646s | 23 | 3015149 | 2971538 | 505 11616 | 0 | 0 648.61/649.00 c 648s | 23 | 3024311 | 2980538 | 505 11645 | 0 | 0 650.71/651.00 c 650s | 23 | 3032982 | 2989038 | 505 11672 | 0 | 0 652.71/653.01 c 652s | 23 | 3041978 | 2997938 | 505 11701 | 0 | 0 654.72/655.02 c 655s | 23 | 3050892 | 3006738 | 505 11730 | 0 | 0 656.72/657.03 c 657s | 23 | 3059699 | 3015338 | 505 11758 | 0 | 0 658.72/659.04 c 659s | 23 | 3068608 | 3024138 | 505 11787 | 0 | 0 660.71/661.06 c 661s | 23 | 3077795 | 3033238 | 505 11817 | 0 | 0 662.71/663.07 c 663s | 23 | 3086983 | 3042338 | 505 11846 | 0 | 0 664.71/665.08 c 665s | 23 | 3095562 | 3050838 | 505 11874 | 0 | 0 666.81/667.10 c 667s | 23 | 3104082 | 3059238 | 505 11902 | 0 | 0 668.81/669.12 c 669s | 23 | 3112803 | 3067838 | 505 11930 | 0 | 0 670.81/671.12 c 671s | 23 | 3121590 | 3076538 | 505 11958 | 0 | 0 672.81/673.12 c 673s | 23 | 3130919 | 3085738 | 505 11988 | 0 | 0 674.80/675.15 c 675s | 23 | 3140247 | 3094938 | 505 12018 | 0 | 0 676.80/677.15 c 677s | 23 | 3149443 | 3104038 | 505 12048 | 0 | 0 678.81/679.16 c 679s | 23 | 3158782 | 3113238 | 505 12078 | 0 | 0 680.81/681.18 c 681s | 23 | 3168372 | 3122738 | 505 12109 | 0 | 0 682.82/683.18 c 683s | 23 | 3177608 | 3131838 | 505 12138 | 0 | 0 684.80/685.18 c 685s | 23 | 3186411 | 3140538 | 505 12166 | 0 | 0 686.80/687.20 c 687s | 23 | 3195433 | 3149438 | 505 12195 | 0 | 0 688.90/689.21 c 689s | 23 | 3204370 | 3158238 | 505 12224 | 0 | 0 690.90/691.22 c 691s | 23 | 3213407 | 3167138 | 505 12253 | 0 | 0 692.90/693.22 c 693s | 23 | 3223608 | 3177238 | 505 12286 | 0 | 0 694.90/695.24 c 695s | 23 | 3233478 | 3187038 | 505 12318 | 0 | 0 696.89/697.26 c 697s | 23 | 3243139 | 3196538 | 505 12349 | 0 | 0 698.89/699.27 c 699s | 23 | 3252665 | 3205938 | 505 12379 | 0 | 0 700.89/701.28 c 701s | 23 | 3262225 | 3215338 | 505 12410 | 0 | 0 702.89/703.28 c 703s | 23 | 3271445 | 3224438 | 505 12440 | 0 | 0 704.90/705.29 c 705s | 23 | 3280754 | 3233638 | 505 12470 | 0 | 0 706.89/707.30 c 707s | 23 | 3289985 | 3242738 | 505 12500 | 0 | 0 708.99/709.31 c 709s | 23 | 3299030 | 3251638 | 505 12529 | 0 | 0 710.99/711.31 c 711s | 23 | 3308335 | 3260738 | 505 12558 | 0 | 0 712.99/713.32 c 713s | 23 | 3317704 | 3269938 | 505 12588 | 0 | 0 714.99/715.33 c 715s | 23 | 3326797 | 3278938 | 505 12618 | 0 | 0 717.00/717.34 c 717s | 23 | 3335935 | 3287938 | 505 12647 | 0 | 0 718.99/719.34 c 719s | 23 | 3345470 | 3297338 | 505 12678 | 0 | 0 720.98/721.36 c 721s | 23 | 3355114 | 3306838 | 505 12709 | 0 | 0 722.99/723.36 c 723s | 23 | 3364637 | 3316238 | 505 12739 | 0 | 0 724.98/725.37 c 725s | 23 | 3374206 | 3325638 | 505 12770 | 0 | 0 726.98/727.39 c 727s | 23 | 3383817 | 3335138 | 505 12801 | 0 | 0 728.99/729.40 c 729s | 23 | 3393206 | 3344338 | 505 12831 | 0 | 0 731.08/731.42 c 731s | 23 | 3402175 | 3353138 | 556 12859 | 0 | 0 733.08/733.43 c 733s | 23 | 3411346 | 3362138 | 556 12887 | 0 | 0 735.07/735.45 c 735s | 23 | 3420216 | 3370938 | 556 12913 | 0 | 0 736.47/736.82 c 736s | 24 | 3425996 | 3376662 | 556 12931 | 0 | 0 738.47/738.83 c 738s | 24 | 3436178 | 3386562 | 556 12960 | 0 | 0 740.47/740.83 c 740s | 24 | 3445421 | 3395662 | 556 12987 | 0 | 0 742.48/742.85 c 742s | 24 | 3454507 | 3404662 | 556 13014 | 0 | 0 744.49/744.86 c 744s | 24 | 3463374 | 3413462 | 556 13040 | 0 | 0 746.47/746.88 c 746s | 24 | 3471944 | 3421962 | 556 13066 | 0 | 0 748.47/748.89 c 748s | 24 | 3480732 | 3430662 | 556 13092 | 0 | 0 750.57/750.91 c 750s | 24 | 3489836 | 3439662 | 556 13119 | 0 | 0 752.57/752.92 c 752s | 24 | 3498820 | 3448462 | 556 13145 | 0 | 0 754.57/754.94 c 754s | 24 | 3507660 | 3457162 | 556 13171 | 0 | 0 756.57/756.95 c 756s | 24 | 3516864 | 3466162 | 556 13198 | 0 | 0 758.56/758.96 c 758s | 24 | 3525600 | 3474762 | 556 13224 | 0 | 0 760.56/760.98 c 760s | 24 | 3534584 | 3483562 | 556 13250 | 0 | 0 762.66/763.00 c 762s | 24 | 3543675 | 3492562 | 556 13277 | 0 | 0 764.66/765.00 c 764s | 24 | 3553147 | 3501862 | 556 13305 | 0 | 0 766.66/767.01 c 766s | 24 | 3562774 | 3511362 | 556 13334 | 0 | 0 768.67/769.02 c 769s | 24 | 3571709 | 3520162 | 556 13360 | 0 | 0 770.66/771.03 c 771s | 24 | 3580856 | 3529162 | 556 13387 | 0 | 0 772.66/773.04 c 773s | 24 | 3590021 | 3538262 | 556 13414 | 0 | 0 774.66/775.05 c 775s | 24 | 3598685 | 3546862 | 556 13440 | 0 | 0 776.66/777.07 c 777s | 24 | 3607273 | 3555362 | 556 13466 | 0 | 0 778.66/779.08 c 779s | 24 | 3616026 | 3564062 | 556 13492 | 0 | 0 780.66/781.08 c 781s | 24 | 3624973 | 3572962 | 556 13519 | 0 | 0 782.76/783.10 c 783s | 24 | 3634238 | 3582162 | 556 13547 | 0 | 0 784.75/785.10 c 785s | 24 | 3643044 | 3590862 | 556 13573 | 0 | 0 786.75/787.12 c 787s | 24 | 3651998 | 3599762 | 556 13600 | 0 | 0 788.75/789.14 c 789s | 24 | 3660880 | 3608562 | 556 13626 | 0 | 0 790.75/791.14 c 791s | 24 | 3670347 | 3617962 | 556 13655 | 0 | 0 792.76/793.15 c 793s | 24 | 3680512 | 3628062 | 556 13685 | 0 | 0 794.75/795.17 c 795s | 24 | 3690885 | 3638362 | 556 13715 | 0 | 0 796.75/797.18 c 797s | 24 | 3700487 | 3647862 | 556 13744 | 0 | 0 798.85/799.20 c 799s | 24 | 3709784 | 3657062 | 556 13771 | 0 | 0 800.85/801.20 c 801s | 24 | 3718900 | 3666062 | 556 13798 | 0 | 0 802.85/803.21 c 803s | 24 | 3728377 | 3675462 | 556 13826 | 0 | 0 804.85/805.22 c 805s | 24 | 3737626 | 3684662 | 556 13853 | 0 | 0 806.85/807.23 c 807s | 24 | 3747283 | 3694262 | 556 13882 | 0 | 0 808.84/809.24 c 809s | 24 | 3756949 | 3703862 | 556 13911 | 0 | 0 810.85/811.25 c 811s | 24 | 3766533 | 3713362 | 556 13939 | 0 | 0 812.85/813.25 c 813s | 24 | 3775900 | 3722662 | 556 13967 | 0 | 0 814.86/815.26 c 815s | 24 | 3785495 | 3732162 | 556 13996 | 0 | 0 816.85/817.26 c 817s | 24 | 3795215 | 3741762 | 556 14024 | 0 | 0 818.85/819.27 c 819s | 24 | 3804832 | 3751262 | 556 14053 | 0 | 0 820.85/821.27 c 821s | 24 | 3814709 | 3760962 | 556 14082 | 0 | 0 822.85/823.28 c 823s | 24 | 3823928 | 3770062 | 556 14109 | 0 | 0 824.85/825.28 c 825s | 24 | 3832975 | 3778962 | 556 14136 | 0 | 0 826.86/827.29 c 827s | 24 | 3841502 | 3787362 | 556 14161 | 0 | 0 828.95/829.31 c 829s | 24 | 3850346 | 3796062 | 556 14187 | 0 | 0 830.95/831.31 c 831s | 24 | 3858957 | 3804562 | 556 14212 | 0 | 0 832.95/833.33 c 833s | 24 | 3868030 | 3813562 | 556 14239 | 0 | 0 834.95/835.34 c 835s | 24 | 3877201 | 3822662 | 556 14267 | 0 | 0 836.95/837.35 c 837s | 24 | 3885694 | 3831062 | 556 14292 | 0 | 0 838.95/839.37 c 839s | 24 | 3894009 | 3839262 | 556 14317 | 0 | 0 840.94/841.37 c 841s | 24 | 3902638 | 3847762 | 556 14342 | 0 | 0 842.95/843.37 c 843s | 24 | 3911362 | 3856362 | 556 14368 | 0 | 0 844.94/845.39 c 845s | 24 | 3920352 | 3865262 | 556 14395 | 0 | 0 847.04/847.40 c 847s | 24 | 3929017 | 3873862 | 556 14420 | 0 | 0 849.04/849.41 c 849s | 24 | 3938417 | 3883162 | 556 14448 | 0 | 0 851.05/851.42 c 851s | 24 | 3947298 | 3891962 | 556 14475 | 0 | 0 853.05/853.43 c 853s | 24 | 3956164 | 3900762 | 556 14501 | 0 | 0 855.05/855.43 c 855s | 24 | 3964765 | 3909262 | 556 14527 | 0 | 0 857.04/857.43 c 857s | 24 | 3973340 | 3917762 | 556 14552 | 0 | 0 859.04/859.44 c 859s | 24 | 3982023 | 3926362 | 556 14578 | 0 | 0 861.05/861.44 c 861s | 24 | 3990888 | 3935162 | 556 14604 | 0 | 0 863.04/863.46 c 863s | 24 | 3999659 | 3943862 | 556 14631 | 0 | 0 865.04/865.47 c 865s | 24 | 4008755 | 3952862 | 556 14658 | 0 | 0 867.04/867.48 c 867s | 24 | 4017655 | 3961662 | 556 14684 | 0 | 0 869.04/869.48 c 869s | 24 | 4026255 | 3970162 | 556 14710 | 0 | 0 871.04/871.49 c 871s | 24 | 4035026 | 3978862 | 556 14736 | 0 | 0 873.05/873.50 c 873s | 24 | 4043736 | 3987462 | 556 14762 | 0 | 0 875.14/875.52 c 875s | 24 | 4052788 | 3996362 | 556 14788 | 0 | 0 877.14/877.52 c 877s | 24 | 4061553 | 4005062 | 556 14815 | 0 | 0 879.14/879.52 c 879s | 24 | 4070473 | 4013862 | 556 14841 | 0 | 0 881.14/881.55 c 881s | 24 | 4079196 | 4022462 | 556 14867 | 0 | 0 883.13/883.57 c 883s | 24 | 4088031 | 4031162 | 556 14893 | 0 | 0 885.14/885.57 c 885s | 24 | 4096818 | 4039862 | 556 14919 | 0 | 0 887.13/887.59 c 887s | 24 | 4105610 | 4048562 | 556 14946 | 0 | 0 889.23/889.60 c 889s | 24 | 4114194 | 4057062 | 556 14971 | 0 | 0 891.23/891.62 c 891s | 24 | 4122972 | 4065762 | 556 14997 | 0 | 0 893.23/893.62 c 893s | 24 | 4131464 | 4074162 | 556 15023 | 0 | 0 895.23/895.63 c 895s | 24 | 4139734 | 4082262 | 556 15047 | 0 | 0 897.24/897.65 c 897s | 24 | 4148235 | 4090662 | 556 15072 | 0 | 0 899.23/899.65 c 899s | 24 | 4156736 | 4099062 | 556 15098 | 0 | 0 901.23/901.66 c 901s | 24 | 4165112 | 4107362 | 556 15123 | 0 | 0 903.24/903.67 c 903s | 24 | 4173588 | 4115762 | 556 15148 | 0 | 0 905.24/905.69 c 905s | 24 | 4182052 | 4124162 | 556 15174 | 0 | 0 907.33/907.70 c 907s | 24 | 4190879 | 4132862 | 556 15200 | 0 | 0 909.34/909.72 c 909s | 24 | 4199255 | 4141162 | 556 15225 | 0 | 0 911.33/911.73 c 911s | 24 | 4208073 | 4149862 | 556 15251 | 0 | 0 913.34/913.74 c 913s | 24 | 4216507 | 4158162 | 556 15276 | 0 | 0 915.33/915.76 c 915s | 24 | 4225136 | 4166662 | 556 15302 | 0 | 0 917.33/917.77 c 917s | 24 | 4234019 | 4175362 | 556 15328 | 0 | 0 919.34/919.78 c 919s | 24 | 4242606 | 4183862 | 556 15354 | 0 | 0 921.33/921.78 c 921s | 24 | 4251337 | 4192462 | 556 15380 | 0 | 0 923.43/923.80 c 923s | 24 | 4259820 | 4200862 | 556 15406 | 0 | 0 925.43/925.80 c 925s | 24 | 4268096 | 4209062 | 556 15431 | 0 | 0 927.43/927.82 c 927s | 24 | 4276467 | 4217362 | 556 15456 | 0 | 0 929.43/929.83 c 929s | 24 | 4284772 | 4225562 | 556 15481 | 0 | 0 931.43/931.84 c 931s | 24 | 4294829 | 4235462 | 556 15511 | 0 | 0 933.43/933.84 c 933s | 24 | 4304803 | 4245362 | 556 15540 | 0 | 0 935.43/935.86 c 935s | 24 | 4314663 | 4255162 | 556 15570 | 0 | 0 937.43/937.87 c 937s | 24 | 4324194 | 4264562 | 556 15598 | 0 | 0 939.42/939.89 c 939s | 24 | 4333203 | 4273462 | 556 15624 | 0 | 0 941.53/941.90 c 941s | 24 | 4342152 | 4282262 | 556 15650 | 0 | 0 943.54/943.92 c 943s | 24 | 4351695 | 4291662 | 556 15679 | 0 | 0 945.52/945.93 c 945s | 24 | 4361247 | 4301062 | 556 15707 | 0 | 0 947.53/947.94 c 947s | 24 | 4370785 | 4310462 | 556 15735 | 0 | 0 949.53/949.95 c 949s | 24 | 4380211 | 4319762 | 556 15763 | 0 | 0 951.53/951.96 c 951s | 24 | 4389340 | 4328762 | 556 15790 | 0 | 0 953.52/953.98 c 953s | 24 | 4398484 | 4337762 | 556 15817 | 0 | 0 955.53/956.00 c 955s | 24 | 4407662 | 4346762 | 556 15844 | 0 | 0 957.63/958.01 c 957s | 24 | 4417069 | 4356062 | 556 15872 | 0 | 0 959.63/960.03 c 960s | 24 | 4426961 | 4365862 | 556 15902 | 0 | 0 961.63/962.05 c 962s | 24 | 4435985 | 4374762 | 556 15928 | 0 | 0 963.63/964.05 c 964s | 24 | 4444957 | 4383662 | 556 15955 | 0 | 0 965.63/966.07 c 966s | 24 | 4453906 | 4392562 | 556 15982 | 0 | 0 967.63/968.08 c 968s | 24 | 4463309 | 4401862 | 556 16010 | 0 | 0 969.63/970.09 c 970s | 24 | 4472749 | 4411162 | 556 16038 | 0 | 0 971.73/972.10 c 972s | 24 | 4482631 | 4420962 | 556 16067 | 0 | 0 973.73/974.12 c 974s | 24 | 4492144 | 4430362 | 556 16096 | 0 | 0 975.72/976.13 c 976s | 24 | 4500982 | 4439062 | 556 16122 | 0 | 0 977.72/978.15 c 978s | 24 | 4509689 | 4447662 | 556 16148 | 0 | 0 979.73/980.17 c 980s | 24 | 4518492 | 4456362 | 556 16174 | 0 | 0 981.72/982.18 c 982s | 24 | 4527196 | 4464962 | 556 16200 | 0 | 0 983.72/984.18 c 984s | 24 | 4536597 | 4474262 | 556 16228 | 0 | 0 985.72/986.20 c 986s | 24 | 4545753 | 4483262 | 556 16255 | 0 | 0 987.82/988.20 c 988s | 24 | 4554933 | 4492262 | 556 16282 | 0 | 0 989.82/990.21 c 990s | 24 | 4563915 | 4501162 | 556 16309 | 0 | 0 991.83/992.23 c 992s | 24 | 4573073 | 4510162 | 556 16336 | 0 | 0 993.82/994.23 c 994s | 24 | 4582515 | 4519462 | 556 16364 | 0 | 0 995.82/996.25 c 996s | 24 | 4591788 | 4528562 | 556 16392 | 0 | 0 997.82/998.25 c 998s | 24 | 4601234 | 4537862 | 556 16420 | 0 | 0 999.82/1000.26 c 1000s | 24 | 4610862 | 4547362 | 556 16448 | 0 | 0 1001.82/1002.26 c 1002s | 24 | 4620595 | 4556962 | 556 16477 | 0 | 0 1003.82/1004.28 c 1004s | 24 | 4629867 | 4566162 | 556 16505 | 0 | 0 1005.82/1006.28 c 1006s | 24 | 4639006 | 4575162 | 556 16532 | 0 | 0 1007.92/1008.30 c 1008s | 24 | 4648240 | 4584262 | 556 16560 | 0 | 0 1009.92/1010.30 c 1010s | 24 | 4657567 | 4593462 | 556 16588 | 0 | 0 1011.92/1012.32 c 1012s | 24 | 4666862 | 4602662 | 556 16616 | 0 | 0 1013.92/1014.33 c 1014s | 24 | 4676065 | 4611762 | 556 16643 | 0 | 0 1015.92/1016.33 c 1016s | 24 | 4685478 | 4621062 | 556 16672 | 0 | 0 1017.92/1018.34 c 1018s | 24 | 4695665 | 4631162 | 556 16702 | 0 | 0 1019.91/1020.34 c 1020s | 24 | 4705499 | 4640862 | 556 16731 | 0 | 0 1021.92/1022.35 c 1022s | 24 | 4715435 | 4650662 | 556 16760 | 0 | 0 1023.91/1024.35 c 1024s | 24 | 4725556 | 4660662 | 556 16790 | 0 | 0 1025.92/1026.36 c 1026s | 24 | 4735534 | 4670562 | 556 16819 | 0 | 0 1027.91/1028.38 c 1028s | 24 | 4745414 | 4680362 | 556 16849 | 0 | 0 1030.02/1030.40 c 1030s | 24 | 4754901 | 4689762 | 556 16877 | 0 | 0 1032.02/1032.40 c 1032s | 24 | 4764195 | 4698962 | 556 16904 | 0 | 0 1034.02/1034.41 c 1034s | 24 | 4773394 | 4708062 | 556 16932 | 0 | 0 1036.01/1036.41 c 1036s | 24 | 4783080 | 4717662 | 556 16960 | 0 | 0 1038.02/1038.42 c 1038s | 24 | 4792508 | 4726962 | 556 16988 | 0 | 0 1040.01/1040.43 c 1040s | 24 | 4802385 | 4736662 | 556 17017 | 0 | 0 1042.01/1042.44 c 1042s | 24 | 4811802 | 4745962 | 556 17045 | 0 | 0 1044.01/1044.45 c 1044s | 24 | 4821419 | 4755462 | 556 17074 | 0 | 0 1046.01/1046.46 c 1046s | 24 | 4830931 | 4764862 | 556 17102 | 0 | 0 1048.02/1048.47 c 1048s | 24 | 4840168 | 4773962 | 556 17130 | 0 | 0 1050.01/1050.47 c 1050s | 24 | 4849579 | 4783262 | 556 17158 | 0 | 0 1052.01/1052.48 c 1052s | 24 | 4859380 | 4792962 | 556 17187 | 0 | 0 1054.01/1054.49 c 1054s | 24 | 4868558 | 4802062 | 556 17214 | 0 | 0 1056.01/1056.49 c 1056s | 24 | 4878531 | 4811862 | 556 17243 | 0 | 0 1058.11/1058.51 c 1058s | 24 | 4888456 | 4821662 | 556 17273 | 0 | 0 1060.12/1060.51 c 1060s | 24 | 4898035 | 4831162 | 556 17301 | 0 | 0 1062.11/1062.52 c 1062s | 24 | 4907632 | 4840662 | 556 17330 | 0 | 0 1064.11/1064.53 c 1064s | 24 | 4916842 | 4849762 | 556 17357 | 0 | 0 1066.11/1066.55 c 1066s | 24 | 4926679 | 4859462 | 556 17386 | 0 | 0 1068.11/1068.56 c 1068s | 24 | 4936213 | 4868862 | 556 17415 | 0 | 0 1070.11/1070.58 c 1070s | 24 | 4945772 | 4878262 | 556 17443 | 0 | 0 1072.12/1072.59 c 1072s | 24 | 4954752 | 4887162 | 556 17470 | 0 | 0 1074.11/1074.59 c 1074s | 24 | 4964344 | 4896562 | 556 17498 | 0 | 0 1076.21/1076.60 c 1076s | 24 | 4974190 | 4906262 | 556 17527 | 0 | 0 1078.21/1078.62 c 1078s | 24 | 4983641 | 4915562 | 556 17555 | 0 | 0 1080.20/1080.63 c 1080s | 24 | 4992847 | 4924662 | 556 17583 | 0 | 0 1082.21/1082.64 c 1082s | 24 | 5002306 | 4934062 | 556 17611 | 0 | 0 1084.22/1084.65 c 1084s | 24 | 5011293 | 4942962 | 556 17638 | 0 | 0 1086.21/1086.65 c 1086s | 24 | 5021091 | 4952662 | 556 17667 | 0 | 0 1088.21/1088.66 c 1088s | 24 | 5030167 | 4961662 | 556 17693 | 0 | 0 1090.21/1090.66 c 1090s | 24 | 5039333 | 4970762 | 556 17721 | 0 | 0 1092.21/1092.67 c 1092s | 24 | 5048423 | 4979762 | 556 17748 | 0 | 0 1094.21/1094.68 c 1094s | 24 | 5057542 | 4988762 | 556 17775 | 0 | 0 1096.21/1096.69 c 1096s | 24 | 5066962 | 4998062 | 556 17803 | 0 | 0 1098.31/1098.70 c 1098s | 24 | 5076036 | 5007062 | 556 17830 | 0 | 0 1100.30/1100.73 c 1100s | 24 | 5085377 | 5016262 | 556 17857 | 0 | 0 1102.30/1102.73 c 1102s | 24 | 5095077 | 5025762 | 556 17886 | 0 | 0 1104.30/1104.74 c 1104s | 24 | 5104507 | 5034962 | 612 17912 | 0 | 0 1106.31/1106.76 c 1106s | 24 | 5113553 | 5043862 | 612 17937 | 0 | 0 1108.30/1108.78 c 1108s | 24 | 5122042 | 5052262 | 612 17960 | 0 | 0 1110.30/1110.79 c 1110s | 24 | 5130630 | 5060762 | 612 17984 | 0 | 0 1111.40/1111.86 c 1111s | 25 | 5134988 | 5065098 | 612 17996 | 0 | 0 1113.40/1113.86 c 1113s | 25 | 5143499 | 5073398 | 612 18019 | 0 | 0 1115.40/1115.88 c 1115s | 25 | 5151978 | 5081798 | 612 18042 | 0 | 0 1117.50/1117.90 c 1117s | 25 | 5160994 | 5090698 | 612 18067 | 0 | 0 1119.51/1119.91 c 1119s | 25 | 5170124 | 5099698 | 612 18091 | 0 | 0 1121.50/1121.91 c 1121s | 25 | 5178614 | 5108098 | 612 18115 | 0 | 0 1123.50/1123.92 c 1123s | 25 | 5186704 | 5116098 | 612 18137 | 0 | 0 1125.50/1125.94 c 1125s | 25 | 5195087 | 5124398 | 612 18160 | 0 | 0 1127.50/1127.96 c 1127s | 25 | 5203360 | 5132598 | 612 18183 | 0 | 0 1129.50/1129.97 c 1129s | 25 | 5211727 | 5140898 | 612 18206 | 0 | 0 1131.51/1131.97 c 1131s | 25 | 5219998 | 5149098 | 612 18229 | 0 | 0 1133.49/1133.98 c 1133s | 25 | 5228160 | 5157198 | 612 18251 | 0 | 0 1135.59/1136.00 c 1135s | 25 | 5236222 | 5165198 | 612 18274 | 0 | 0 1137.59/1138.02 c 1138s | 25 | 5244788 | 5173698 | 612 18297 | 0 | 0 1139.59/1140.03 c 1140s | 25 | 5253483 | 5182298 | 612 18321 | 0 | 0 1141.60/1142.03 c 1142s | 25 | 5262528 | 5191198 | 612 18345 | 0 | 0 1143.61/1144.05 c 1144s | 25 | 5271338 | 5199898 | 612 18369 | 0 | 0 1145.60/1146.06 c 1146s | 25 | 5280023 | 5208498 | 612 18393 | 0 | 0 1147.60/1148.07 c 1148s | 25 | 5288409 | 5216798 | 612 18416 | 0 | 0 1149.60/1150.07 c 1150s | 25 | 5296836 | 5225098 | 612 18439 | 0 | 0 1151.60/1152.08 c 1152s | 25 | 5305560 | 5233698 | 612 18463 | 0 | 0 1153.61/1154.09 c 1154s | 25 | 5314184 | 5242198 | 612 18487 | 0 | 0 1155.71/1156.10 c 1156s | 25 | 5322862 | 5250798 | 612 18510 | 0 | 0 1157.70/1158.12 c 1158s | 25 | 5331462 | 5259298 | 612 18534 | 0 | 0 1159.70/1160.12 c 1160s | 25 | 5340034 | 5267798 | 612 18557 | 0 | 0 1161.70/1162.14 c 1162s | 25 | 5348596 | 5276298 | 612 18581 | 0 | 0 1163.70/1164.15 c 1164s | 25 | 5356866 | 5284498 | 612 18604 | 0 | 0 1165.70/1166.17 c 1166s | 25 | 5365360 | 5292898 | 612 18627 | 0 | 0 1167.70/1168.18 c 1168s | 25 | 5373752 | 5301198 | 612 18650 | 0 | 0 1169.69/1170.19 c 1170s | 25 | 5382268 | 5309598 | 612 18673 | 0 | 0 1171.79/1172.21 c 1172s | 25 | 5390857 | 5318098 | 612 18697 | 0 | 0 1173.79/1174.23 c 1174s | 25 | 5399462 | 5326598 | 612 18720 | 0 | 0 1175.79/1176.24 c 1176s | 25 | 5408436 | 5335498 | 612 18745 | 0 | 0 1177.80/1178.26 c 1178s | 25 | 5417007 | 5343998 | 612 18769 | 0 | 0 1179.79/1180.27 c 1180s | 25 | 5425492 | 5352398 | 612 18792 | 0 | 0 1181.79/1182.27 c 1182s | 25 | 5433724 | 5360598 | 612 18815 | 0 | 0 1183.79/1184.28 c 1184s | 25 | 5442103 | 5368898 | 612 18838 | 0 | 0 1185.89/1186.30 c 1186s | 25 | 5450649 | 5377398 | 612 18861 | 0 | 0 1187.89/1188.33 c 1188s | 25 | 5458829 | 5385498 | 612 18884 | 0 | 0 1189.90/1190.34 c 1190s | 25 | 5467007 | 5393598 | 612 18906 | 0 | 0 1191.89/1192.35 c 1192s | 25 | 5475291 | 5401798 | 612 18929 | 0 | 0 1193.89/1194.37 c 1194s | 25 | 5483662 | 5410098 | 612 18952 | 0 | 0 1195.89/1196.38 c 1196s | 25 | 5491836 | 5418198 | 612 18975 | 0 | 0 1197.89/1198.39 c 1198s | 25 | 5499993 | 5426298 | 612 18997 | 0 | 0 1199.89/1200.39 c 1200s | 25 | 5508253 | 5434498 | 612 19020 | 0 | 0 1201.99/1202.42 c 1202s | 25 | 5516827 | 5442998 | 612 19044 | 0 | 0 1203.99/1204.44 c 1204s | 25 | 5525615 | 5451698 | 612 19068 | 0 | 0 1205.98/1206.45 c 1206s | 25 | 5534588 | 5460598 | 612 19093 | 0 | 0 1207.98/1208.46 c 1208s | 25 | 5543233 | 5469198 | 612 19117 | 0 | 0 1209.98/1210.47 c 1210s | 25 | 5551486 | 5477398 | 612 19140 | 0 | 0 1211.98/1212.49 c 1212s | 25 | 5559745 | 5485598 | 612 19162 | 0 | 0 1213.99/1214.49 c 1214s | 25 | 5568031 | 5493798 | 612 19185 | 0 | 0 1216.08/1216.51 c 1216s | 25 | 5578041 | 5503698 | 612 19213 | 0 | 0 1218.08/1218.53 c 1218s | 25 | 5588269 | 5513698 | 612 19240 | 0 | 0 1220.09/1220.55 c 1220s | 25 | 5598193 | 5523398 | 612 19267 | 0 | 0 1222.09/1222.56 c 1222s | 25 | 5607557 | 5532598 | 612 19292 | 0 | 0 1224.09/1224.57 c 1224s | 25 | 5616938 | 5541798 | 612 19318 | 0 | 0 1226.10/1226.58 c 1226s | 25 | 5626682 | 5551398 | 612 19344 | 0 | 0 1228.09/1228.60 c 1228s | 25 | 5636950 | 5561398 | 612 19372 | 0 | 0 1230.19/1230.62 c 1230s | 25 | 5646503 | 5570698 | 612 19398 | 0 | 0 1232.19/1232.63 c 1232s | 25 | 5656503 | 5580398 | 612 19424 | 0 | 0 1234.19/1234.63 c 1234s | 25 | 5666259 | 5589898 | 612 19451 | 0 | 0 1236.19/1236.63 c 1236s | 25 | 5675199 | 5598698 | 612 19475 | 0 | 0 1238.19/1238.64 c 1238s | 25 | 5684417 | 5607798 | 612 19500 | 0 | 0 1240.19/1240.66 c 1240s | 25 | 5693547 | 5616798 | 612 19525 | 0 | 0 1242.19/1242.67 c 1242s | 25 | 5702541 | 5625698 | 612 19550 | 0 | 0 1244.19/1244.67 c 1244s | 25 | 5711689 | 5634698 | 612 19575 | 0 | 0 1246.18/1246.69 c 1246s | 25 | 5721313 | 5644098 | 612 19600 | 0 | 0 1248.28/1248.71 c 1248s | 25 | 5730641 | 5653198 | 612 19626 | 0 | 0 1250.29/1250.72 c 1250s | 25 | 5740281 | 5662698 | 612 19652 | 0 | 0 1252.28/1252.74 c 1252s | 25 | 5749707 | 5671998 | 612 19678 | 0 | 0 1254.28/1254.75 c 1254s | 25 | 5759071 | 5681098 | 612 19703 | 0 | 0 1256.28/1256.77 c 1256s | 25 | 5768329 | 5690098 | 612 19728 | 0 | 0 1258.28/1258.78 c 1258s | 25 | 5777612 | 5699198 | 612 19753 | 0 | 0 1260.38/1260.80 c 1260s | 25 | 5786789 | 5708198 | 612 19778 | 0 | 0 1262.39/1262.81 c 1262s | 25 | 5795709 | 5716998 | 612 19802 | 0 | 0 1264.38/1264.83 c 1264s | 25 | 5804942 | 5726098 | 612 19827 | 0 | 0 1266.38/1266.84 c 1266s | 25 | 5814405 | 5735298 | 612 19853 | 0 | 0 1268.38/1268.85 c 1268s | 25 | 5823448 | 5744198 | 612 19878 | 0 | 0 1270.38/1270.87 c 1270s | 25 | 5832597 | 5753198 | 612 19903 | 0 | 0 1272.39/1272.87 c 1272s | 25 | 5841679 | 5762098 | 612 19928 | 0 | 0 1274.38/1274.88 c 1274s | 25 | 5850868 | 5771098 | 612 19953 | 0 | 0 1276.48/1276.90 c 1276s | 25 | 5860506 | 5780598 | 612 19979 | 0 | 0 1278.48/1278.91 c 1278s | 25 | 5869542 | 5789498 | 612 20003 | 0 | 0 1280.48/1280.93 c 1280s | 25 | 5878437 | 5798298 | 612 20028 | 0 | 0 1282.47/1282.94 c 1282s | 25 | 5887051 | 5806798 | 612 20051 | 0 | 0 1284.48/1284.95 c 1284s | 25 | 5895460 | 5815098 | 612 20074 | 0 | 0 1286.48/1286.97 c 1286s | 25 | 5903652 | 5823198 | 612 20097 | 0 | 0 1288.48/1288.99 c 1288s | 25 | 5912176 | 5831598 | 612 20120 | 0 | 0 1290.58/1291.00 c 1290s | 25 | 5920455 | 5839798 | 612 20143 | 0 | 0 1292.57/1293.01 c 1293s | 25 | 5928647 | 5847898 | 612 20165 | 0 | 0 1294.57/1295.03 c 1295s | 25 | 5937497 | 5856598 | 612 20189 | 0 | 0 1296.58/1297.05 c 1297s | 25 | 5946087 | 5865098 | 612 20213 | 0 | 0 1298.57/1299.06 c 1299s | 25 | 5954464 | 5873298 | 612 20235 | 0 | 0 1300.57/1301.07 c 1301s | 25 | 5963315 | 5881998 | 612 20260 | 0 | 0 1302.57/1303.09 c 1303s | 25 | 5971816 | 5890398 | 612 20283 | 0 | 0 1304.57/1305.09 c 1305s | 25 | 5980244 | 5898698 | 612 20306 | 0 | 0 1306.67/1307.11 c 1307s | 25 | 5989044 | 5907398 | 612 20330 | 0 | 0 1308.68/1309.12 c 1309s | 25 | 5997374 | 5915598 | 612 20353 | 0 | 0 1310.67/1311.13 c 1311s | 25 | 6006523 | 5924498 | 612 20378 | 0 | 0 1312.67/1313.14 c 1313s | 25 | 6015623 | 5933398 | 612 20403 | 0 | 0 1314.67/1315.15 c 1315s | 25 | 6024449 | 5942098 | 612 20427 | 0 | 0 1316.67/1317.17 c 1317s | 25 | 6032876 | 5950398 | 612 20450 | 0 | 0 1318.67/1319.17 c 1319s | 25 | 6041098 | 5958498 | 612 20472 | 0 | 0 1320.67/1321.19 c 1321s | 25 | 6049455 | 5966698 | 612 20495 | 0 | 0 1322.68/1323.19 c 1323s | 25 | 6057963 | 5974998 | 612 20518 | 0 | 0 1324.77/1325.20 c 1325s | 25 | 6066393 | 5983298 | 612 20541 | 0 | 0 1326.77/1327.21 c 1327s | 25 | 6074725 | 5991498 | 612 20564 | 0 | 0 1328.77/1329.22 c 1329s | 25 | 6082964 | 5999598 | 612 20587 | 0 | 0 1330.77/1331.24 c 1331s | 25 | 6091474 | 6007998 | 612 20610 | 0 | 0 1332.78/1333.25 c 1333s | 25 | 6100298 | 6016698 | 612 20634 | 0 | 0 1334.76/1335.26 c 1335s | 25 | 6109371 | 6025598 | 612 20659 | 0 | 0 1336.77/1337.28 c 1337s | 25 | 6118186 | 6034298 | 612 20683 | 0 | 0 1338.77/1339.28 c 1339s | 25 | 6126737 | 6042698 | 612 20707 | 0 | 0 1340.77/1341.28 c 1341s | 25 | 6135891 | 6051698 | 612 20732 | 0 | 0 1342.87/1343.30 c 1343s | 25 | 6144655 | 6060298 | 612 20756 | 0 | 0 1344.88/1345.31 c 1345s | 25 | 6153247 | 6068698 | 612 20779 | 0 | 0 1346.87/1347.31 c 1347s | 25 | 6161953 | 6077198 | 612 20803 | 0 | 0 1348.87/1349.32 c 1349s | 25 | 6170564 | 6085598 | 612 20826 | 0 | 0 1350.87/1351.34 c 1351s | 25 | 6179318 | 6094098 | 612 20850 | 0 | 0 1352.86/1353.36 c 1353s | 25 | 6188479 | 6102998 | 612 20875 | 0 | 0 1354.87/1355.37 c 1355s | 25 | 6197241 | 6111598 | 612 20899 | 0 | 0 1356.86/1357.40 c 1357s | 25 | 6205683 | 6119898 | 612 20922 | 0 | 0 1358.96/1359.41 c 1359s | 25 | 6214227 | 6128298 | 612 20946 | 0 | 0 1360.97/1361.41 c 1361s | 25 | 6222975 | 6136898 | 612 20970 | 0 | 0 1362.96/1363.43 c 1363s | 25 | 6231938 | 6145698 | 612 20994 | 0 | 0 1364.96/1365.44 c 1365s | 25 | 6240981 | 6154598 | 612 21019 | 0 | 0 1366.97/1367.46 c 1367s | 25 | 6249819 | 6163298 | 612 21043 | 0 | 0 1368.96/1369.48 c 1369s | 25 | 6258545 | 6171898 | 612 21067 | 0 | 0 1370.96/1371.49 c 1371s | 25 | 6267077 | 6180298 | 612 21090 | 0 | 0 1373.07/1373.51 c 1373s | 25 | 6275833 | 6188898 | 612 21114 | 0 | 0 1375.06/1375.51 c 1375s | 25 | 6284881 | 6197798 | 612 21138 | 0 | 0 1377.06/1377.51 c 1377s | 25 | 6293283 | 6206098 | 612 21161 | 0 | 0 1379.07/1379.52 c 1379s | 25 | 6302504 | 6215198 | 612 21186 | 0 | 0 1381.07/1381.52 c 1381s | 25 | 6311316 | 6223898 | 612 21210 | 0 | 0 1383.06/1383.53 c 1383s | 25 | 6320251 | 6232698 | 612 21234 | 0 | 0 1385.06/1385.54 c 1385s | 25 | 6329171 | 6241498 | 612 21259 | 0 | 0 1387.06/1387.54 c 1387s | 25 | 6337980 | 6250198 | 612 21283 | 0 | 0 1389.06/1389.55 c 1389s | 25 | 6346807 | 6258898 | 612 21307 | 0 | 0 1391.07/1391.57 c 1391s | 25 | 6355579 | 6267498 | 612 21331 | 0 | 0 1393.06/1393.57 c 1393s | 25 | 6364239 | 6275898 | 612 21354 | 0 | 0 1395.06/1395.59 c 1395s | 25 | 6373269 | 6284698 | 612 21379 | 0 | 0 1397.16/1397.61 c 1397s | 25 | 6382341 | 6293598 | 612 21403 | 0 | 0 1399.16/1399.62 c 1399s | 25 | 6391737 | 6302898 | 612 21429 | 0 | 0 1401.16/1401.64 c 1401s | 25 | 6401047 | 6312098 | 612 21455 | 0 | 0 1403.16/1403.65 c 1403s | 25 | 6410033 | 6320998 | 612 21479 | 0 | 0 1405.16/1405.67 c 1405s | 25 | 6419371 | 6330198 | 612 21505 | 0 | 0 1407.16/1407.67 c 1407s | 25 | 6428553 | 6339198 | 612 21529 | 0 | 0 1409.16/1409.68 c 1409s | 25 | 6437812 | 6348298 | 612 21555 | 0 | 0 1411.15/1411.69 c 1411s | 25 | 6446457 | 6356798 | 612 21578 | 0 | 0 1413.16/1413.69 c 1413s | 25 | 6454711 | 6364898 | 612 21601 | 0 | 0 1415.26/1415.71 c 1415s | 25 | 6463185 | 6373198 | 612 21624 | 0 | 0 1417.25/1417.72 c 1417s | 25 | 6472397 | 6382198 | 612 21649 | 0 | 0 1419.25/1419.74 c 1419s | 25 | 6481293 | 6390898 | 612 21673 | 0 | 0 1421.25/1421.74 c 1421s | 25 | 6489923 | 6399398 | 612 21696 | 0 | 0 1423.25/1423.75 c 1423s | 25 | 6498321 | 6407698 | 612 21719 | 0 | 0 1425.26/1425.76 c 1425s | 25 | 6506653 | 6415898 | 612 21742 | 0 | 0 1427.25/1427.77 c 1427s | 25 | 6515325 | 6424398 | 612 21766 | 0 | 0 1429.25/1429.79 c 1429s | 25 | 6524127 | 6433098 | 612 21790 | 0 | 0 1431.25/1431.79 c 1431s | 25 | 6532762 | 6441598 | 612 21813 | 0 | 0 1433.35/1433.82 c 1433s | 25 | 6541253 | 6449998 | 612 21837 | 0 | 0 1435.35/1435.83 c 1435s | 25 | 6549426 | 6458098 | 612 21860 | 0 | 0 1437.36/1437.83 c 1437s | 25 | 6558576 | 6467098 | 612 21884 | 0 | 0 1439.35/1439.84 c 1439s | 25 | 6568121 | 6476498 | 612 21910 | 0 | 0 1441.35/1441.85 c 1441s | 25 | 6576903 | 6485198 | 612 21935 | 0 | 0 1443.35/1443.86 c 1443s | 25 | 6585678 | 6493898 | 612 21959 | 0 | 0 1445.36/1445.88 c 1445s | 25 | 6594074 | 6502198 | 612 21982 | 0 | 0 1447.35/1447.88 c 1447s | 25 | 6602453 | 6510498 | 612 22005 | 0 | 0 1449.36/1449.90 c 1449s | 25 | 6611384 | 6519298 | 612 22030 | 0 | 0 1451.45/1451.92 c 1451s | 25 | 6620425 | 6528198 | 612 22054 | 0 | 0 1453.45/1453.94 c 1453s | 25 | 6629152 | 6536798 | 612 22078 | 0 | 0 1455.45/1455.94 c 1455s | 25 | 6637959 | 6545498 | 612 22103 | 0 | 0 1457.45/1457.95 c 1457s | 25 | 6646769 | 6554198 | 612 22127 | 0 | 0 1459.45/1459.96 c 1459s | 25 | 6655466 | 6562798 | 612 22151 | 0 | 0 1461.45/1461.96 c 1461s | 25 | 6663997 | 6571198 | 612 22174 | 0 | 0 1463.45/1463.98 c 1463s | 25 | 6672716 | 6579798 | 612 22198 | 0 | 0 1465.45/1465.99 c 1465s | 25 | 6681702 | 6588698 | 612 22223 | 0 | 0 1467.55/1468.00 c 1467s | 25 | 6691897 | 6598798 | 612 22251 | 0 | 0 1469.54/1470.00 c 1469s | 25 | 6701233 | 6607998 | 612 22276 | 0 | 0 1471.55/1472.00 c 1471s | 25 | 6710761 | 6617398 | 612 22302 | 0 | 0 1473.56/1474.01 c 1473s | 25 | 6719864 | 6626398 | 612 22327 | 0 | 0 1475.55/1476.03 c 1476s | 25 | 6728944 | 6635398 | 612 22352 | 0 | 0 1477.55/1478.05 c 1478s | 25 | 6738094 | 6644498 | 612 22377 | 0 | 0 1479.54/1480.05 c 1480s | 25 | 6747108 | 6653398 | 612 22401 | 0 | 0 1481.55/1482.06 c 1482s | 25 | 6755770 | 6661998 | 612 22425 | 0 | 0 1483.56/1484.08 c 1484s | 25 | 6764738 | 6670898 | 612 22450 | 0 | 0 1485.54/1486.09 c 1486s | 25 | 6773687 | 6679698 | 612 22474 | 0 | 0 1487.64/1488.11 c 1488s | 25 | 6782534 | 6688398 | 612 22498 | 0 | 0 1489.65/1490.12 c 1490s | 25 | 6791787 | 6697498 | 612 22524 | 0 | 0 1491.64/1492.12 c 1492s | 25 | 6800578 | 6706198 | 612 22548 | 0 | 0 1493.64/1494.15 c 1494s | 25 | 6809396 | 6714898 | 612 22572 | 0 | 0 1495.65/1496.17 c 1496s | 25 | 6819676 | 6724898 | 612 22600 | 0 | 0 1497.64/1498.19 c 1498s | 25 | 6829869 | 6734898 | 612 22627 | 0 | 0 1499.65/1500.19 c 1500s | 25 | 6839242 | 6744098 | 612 22653 | 0 | 0 1501.65/1502.19 c 1502s | 25 | 6848292 | 6752998 | 612 22677 | 0 | 0 1503.75/1504.20 c 1504s | 25 | 6857617 | 6762198 | 612 22703 | 0 | 0 1505.75/1506.22 c 1506s | 25 | 6866847 | 6771298 | 612 22728 | 0 | 0 1507.75/1508.23 c 1508s | 25 | 6876001 | 6780298 | 612 22753 | 0 | 0 1509.75/1510.24 c 1510s | 25 | 6885041 | 6789198 | 612 22777 | 0 | 0 1511.75/1512.26 c 1512s | 25 | 6894299 | 6798398 | 612 22803 | 0 | 0 1513.74/1514.27 c 1514s | 25 | 6903498 | 6807498 | 612 22828 | 0 | 0 1515.74/1516.29 c 1516s | 25 | 6912795 | 6816698 | 612 22854 | 0 | 0 1517.84/1518.30 c 1518s | 25 | 6921687 | 6825498 | 612 22878 | 0 | 0 1519.85/1520.30 c 1520s | 25 | 6930572 | 6834298 | 612 22902 | 0 | 0 1521.84/1522.32 c 1522s | 25 | 6939706 | 6843298 | 612 22927 | 0 | 0 1523.84/1524.32 c 1524s | 25 | 6948715 | 6852198 | 612 22952 | 0 | 0 1525.84/1526.33 c 1526s | 25 | 6957536 | 6860898 | 612 22976 | 0 | 0 1527.84/1528.34 c 1528s | 25 | 6966430 | 6869698 | 612 23001 | 0 | 0 1529.84/1530.36 c 1530s | 25 | 6975251 | 6878398 | 612 23025 | 0 | 0 1531.85/1532.38 c 1532s | 25 | 6984206 | 6887198 | 612 23049 | 0 | 0 1533.84/1534.39 c 1534s | 25 | 6993186 | 6895998 | 612 23074 | 0 | 0 1535.94/1536.40 c 1536s | 25 | 7002044 | 6904698 | 612 23098 | 0 | 0 1537.94/1538.42 c 1538s | 25 | 7011001 | 6913498 | 612 23122 | 0 | 0 1539.94/1540.43 c 1540s | 25 | 7019523 | 6921898 | 612 23146 | 0 | 0 1541.93/1542.44 c 1542s | 25 | 7028080 | 6930298 | 612 23169 | 0 | 0 1543.94/1544.44 c 1544s | 25 | 7036532 | 6938598 | 612 23192 | 0 | 0 1545.93/1546.45 c 1546s | 25 | 7045029 | 6946998 | 612 23216 | 0 | 0 1547.93/1548.45 c 1548s | 25 | 7053447 | 6955298 | 612 23239 | 0 | 0 1549.93/1550.46 c 1550s | 25 | 7062582 | 6964298 | 612 23264 | 0 | 0 1551.93/1552.48 c 1552s | 25 | 7071669 | 6973198 | 612 23289 | 0 | 0 1553.94/1554.49 c 1554s | 25 | 7080307 | 6981698 | 612 23312 | 0 | 0 1555.93/1556.50 c 1556s | 25 | 7088391 | 6989698 | 612 23335 | 0 | 0 1558.03/1558.51 c 1558s | 25 | 7096766 | 6997998 | 612 23358 | 0 | 0 1560.03/1560.52 c 1560s | 25 | 7105939 | 7006898 | 612 23383 | 0 | 0 1562.03/1562.55 c 1562s | 25 | 7114783 | 7015598 | 612 23407 | 0 | 0 1564.03/1564.56 c 1564s | 25 | 7123417 | 7024098 | 612 23430 | 0 | 0 1566.04/1566.57 c 1566s | 25 | 7132003 | 7032598 | 612 23454 | 0 | 0 1568.03/1568.58 c 1568s | 25 | 7140690 | 7041198 | 612 23478 | 0 | 0 1570.03/1570.58 c 1570s | 25 | 7149618 | 7049898 | 612 23502 | 0 | 0 1572.03/1572.59 c 1572s | 25 | 7158442 | 7058498 | 612 23526 | 0 | 0 1574.13/1574.60 c 1574s | 25 | 7167011 | 7066998 | 612 23550 | 0 | 0 1576.14/1576.62 c 1576s | 25 | 7175524 | 7075398 | 612 23573 | 0 | 0 1578.14/1578.62 c 1578s | 25 | 7184004 | 7083798 | 612 23597 | 0 | 0 1580.14/1580.62 c 1580s | 25 | 7192806 | 7092498 | 612 23621 | 0 | 0 1582.14/1582.65 c 1582s | 25 | 7201460 | 7100998 | 612 23645 | 0 | 0 1584.13/1584.67 c 1584s | 25 | 7210132 | 7109498 | 612 23668 | 0 | 0 1586.13/1586.68 c 1586s | 25 | 7219122 | 7118298 | 612 23693 | 0 | 0 1588.13/1588.69 c 1588s | 25 | 7227767 | 7126798 | 612 23716 | 0 | 0 1590.24/1590.70 c 1590s | 25 | 7236571 | 7135398 | 612 23740 | 0 | 0 1592.23/1592.72 c 1592s | 25 | 7245304 | 7143898 | 612 23764 | 0 | 0 1594.23/1594.74 c 1594s | 25 | 7253761 | 7152198 | 612 23787 | 0 | 0 1596.23/1596.75 c 1596s | 25 | 7262468 | 7160698 | 612 23811 | 0 | 0 1598.23/1598.76 c 1598s | 25 | 7270805 | 7168898 | 612 23833 | 0 | 0 1600.23/1600.78 c 1600s | 25 | 7279195 | 7177098 | 612 23856 | 0 | 0 1602.23/1602.79 c 1602s | 25 | 7287637 | 7185398 | 612 23880 | 0 | 0 1604.33/1604.81 c 1604s | 25 | 7296369 | 7193998 | 612 23903 | 0 | 0 1606.32/1606.83 c 1606s | 25 | 7305169 | 7202698 | 612 23928 | 0 | 0 1608.33/1608.84 c 1608s | 25 | 7314201 | 7211598 | 612 23952 | 0 | 0 1610.33/1610.85 c 1610s | 25 | 7322804 | 7220098 | 612 23976 | 0 | 0 1612.32/1612.87 c 1612s | 25 | 7330929 | 7228098 | 612 23998 | 0 | 0 1614.33/1614.89 c 1614s | 25 | 7339551 | 7236598 | 612 24022 | 0 | 0 1616.33/1616.89 c 1616s | 25 | 7347940 | 7244898 | 612 24045 | 0 | 0 1618.42/1618.90 c 1618s | 25 | 7356520 | 7253398 | 612 24069 | 0 | 0 1620.42/1620.91 c 1620s | 25 | 7364976 | 7261798 | 612 24092 | 0 | 0 1622.43/1622.91 c 1622s | 25 | 7373627 | 7270298 | 612 24116 | 0 | 0 1624.42/1624.94 c 1624s | 25 | 7382131 | 7278698 | 612 24139 | 0 | 0 1626.43/1626.94 c 1626s | 25 | 7390677 | 7287098 | 612 24163 | 0 | 0 1628.42/1628.94 c 1628s | 25 | 7398986 | 7295298 | 612 24186 | 0 | 0 1630.42/1630.97 c 1630s | 25 | 7407343 | 7303598 | 612 24209 | 0 | 0 1632.42/1632.97 c 1632s | 25 | 7415512 | 7311698 | 612 24232 | 0 | 0 1634.43/1634.98 c 1634s | 25 | 7423701 | 7319798 | 612 24255 | 0 | 0 1636.43/1636.99 c 1636s | 25 | 7433106 | 7328998 | 612 24280 | 0 | 0 1638.53/1639.01 c 1638s | 25 | 7442495 | 7338198 | 612 24306 | 0 | 0 1640.52/1641.01 c 1641s | 25 | 7452070 | 7347498 | 612 24332 | 0 | 0 1642.52/1643.02 c 1643s | 25 | 7461150 | 7356398 | 612 24356 | 0 | 0 1644.53/1645.02 c 1645s | 25 | 7470814 | 7365798 | 612 24382 | 0 | 0 1646.52/1647.04 c 1647s | 25 | 7479852 | 7374598 | 612 24407 | 0 | 0 1648.53/1649.05 c 1649s | 25 | 7488644 | 7383298 | 612 24431 | 0 | 0 1650.52/1651.05 c 1651s | 25 | 7497234 | 7391798 | 612 24455 | 0 | 0 1652.52/1653.05 c 1653s | 25 | 7505357 | 7399798 | 612 24477 | 0 | 0 1654.52/1655.05 c 1655s | 25 | 7513536 | 7407898 | 612 24499 | 0 | 0 1656.52/1657.05 c 1657s | 25 | 7522168 | 7416398 | 612 24523 | 0 | 0 1658.52/1659.05 c 1659s | 25 | 7531362 | 7425498 | 612 24548 | 0 | 0 1660.53/1661.07 c 1661s | 25 | 7540770 | 7434798 | 612 24574 | 0 | 0 1662.52/1663.09 c 1663s | 25 | 7550080 | 7443998 | 612 24599 | 0 | 0 1664.52/1665.09 c 1665s | 25 | 7559228 | 7452998 | 612 24624 | 0 | 0 1666.62/1667.10 c 1667s | 25 | 7569068 | 7462598 | 612 24651 | 0 | 0 1668.62/1669.10 c 1669s | 25 | 7578497 | 7471798 | 612 24677 | 0 | 0 1670.62/1671.11 c 1671s | 25 | 7587139 | 7480298 | 612 24700 | 0 | 0 1672.62/1673.13 c 1673s | 25 | 7595768 | 7488798 | 612 24724 | 0 | 0 1674.62/1675.15 c 1675s | 25 | 7604506 | 7497398 | 612 24748 | 0 | 0 1676.62/1677.15 c 1677s | 25 | 7613044 | 7505798 | 612 24771 | 0 | 0 1678.62/1679.15 c 1679s | 25 | 7621730 | 7514398 | 612 24795 | 0 | 0 1680.62/1681.17 c 1681s | 25 | 7630198 | 7522798 | 612 24819 | 0 | 0 1682.63/1683.18 c 1683s | 25 | 7638682 | 7531198 | 612 24842 | 0 | 0 1684.62/1685.18 c 1685s | 25 | 7647078 | 7539498 | 612 24865 | 0 | 0 1686.62/1687.19 c 1687s | 25 | 7655559 | 7547898 | 674 24887 | 0 | 0 1688.72/1689.22 c 1689s | 25 | 7663956 | 7556198 | 674 24909 | 0 | 0 1690.72/1691.24 c 1691s | 25 | 7672073 | 7564198 | 674 24929 | 0 | 0 1692.71/1693.24 c 1693s | 25 | 7680808 | 7572798 | 674 24951 | 0 | 0 1694.72/1695.24 c 1695s | 25 | 7689634 | 7581498 | 674 24974 | 0 | 0 1696.71/1697.25 c 1697s | 25 | 7698585 | 7590298 | 674 24996 | 0 | 0 1698.41/1698.96 c 1698s | 26 | 7706087 | 7597752 | 674 25015 | 0 | 0 1700.41/1700.97 c 1700s | 26 | 7715211 | 7606552 | 674 25038 | 0 | 0 1702.42/1702.99 c 1702s | 26 | 7724156 | 7615352 | 674 25060 | 0 | 0 1704.52/1705.01 c 1704s | 26 | 7732879 | 7623952 | 674 25082 | 0 | 0 1706.51/1707.03 c 1707s | 26 | 7741821 | 7632752 | 674 25104 | 0 | 0 1708.51/1709.05 c 1709s | 26 | 7750293 | 7641052 | 674 25125 | 0 | 0 1710.51/1711.05 c 1711s | 26 | 7758949 | 7649552 | 674 25147 | 0 | 0 1712.51/1713.07 c 1713s | 26 | 7767967 | 7658452 | 674 25170 | 0 | 0 1714.52/1715.09 c 1715s | 26 | 7777015 | 7667452 | 674 25193 | 0 | 0 1716.62/1717.12 c 1717s | 26 | 7785682 | 7676052 | 674 25215 | 0 | 0 1718.61/1719.13 c 1719s | 26 | 7794167 | 7684452 | 674 25236 | 0 | 0 1720.61/1721.15 c 1721s | 26 | 7803044 | 7693252 | 674 25258 | 0 | 0 1722.61/1723.16 c 1723s | 26 | 7811457 | 7701552 | 674 25279 | 0 | 0 1724.61/1725.17 c 1725s | 26 | 7819767 | 7709752 | 674 25300 | 0 | 0 1726.62/1727.17 c 1727s | 26 | 7828651 | 7718552 | 674 25323 | 0 | 0 1728.61/1729.18 c 1729s | 26 | 7837395 | 7727152 | 674 25345 | 0 | 0 1730.61/1731.18 c 1731s | 26 | 7846188 | 7735852 | 674 25367 | 0 | 0 1732.61/1733.19 c 1733s | 26 | 7855137 | 7744652 | 674 25389 | 0 | 0 1734.70/1735.21 c 1735s | 26 | 7863747 | 7753152 | 674 25411 | 0 | 0 1736.70/1737.22 c 1737s | 26 | 7872475 | 7761752 | 674 25433 | 0 | 0 1738.72/1739.23 c 1739s | 26 | 7881123 | 7770252 | 674 25455 | 0 | 0 1740.71/1741.24 c 1741s | 26 | 7889977 | 7778952 | 674 25477 | 0 | 0 1742.71/1743.27 c 1743s | 26 | 7899055 | 7787852 | 674 25500 | 0 | 0 1744.71/1745.29 c 1745s | 26 | 7907517 | 7796152 | 674 25521 | 0 | 0 1746.81/1747.31 c 1747s | 26 | 7915814 | 7804352 | 674 25542 | 0 | 0 1748.81/1749.33 c 1749s | 26 | 7924021 | 7812452 | 674 25563 | 0 | 0 1750.82/1751.34 c 1751s | 26 | 7932620 | 7820952 | 674 25584 | 0 | 0 1752.81/1753.35 c 1753s | 26 | 7941358 | 7829552 | 674 25606 | 0 | 0 1754.81/1755.37 c 1755s | 26 | 7950135 | 7838252 | 674 25628 | 0 | 0 1756.81/1757.38 c 1757s | 26 | 7958593 | 7846652 | 674 25650 | 0 | 0 1758.91/1759.40 c 1759s | 26 | 7966856 | 7854852 | 674 25671 | 0 | 0 1760.91/1761.40 c 1761s | 26 | 7975532 | 7863452 | 674 25693 | 0 | 0 1762.92/1763.41 c 1763s | 26 | 7984683 | 7872552 | 674 25716 | 0 | 0 1764.91/1765.42 c 1765s | 26 | 7994083 | 7881752 | 674 25739 | 0 | 0 1766.91/1767.44 c 1767s | 26 | 8002885 | 7890452 | 674 25762 | 0 | 0 1768.91/1769.45 c 1769s | 26 | 8012367 | 7899752 | 674 25786 | 0 | 0 1770.91/1771.46 c 1771s | 26 | 8021060 | 7908352 | 674 25808 | 0 | 0 1772.90/1773.47 c 1773s | 26 | 8029627 | 7916852 | 674 25829 | 0 | 0 1774.91/1775.49 c 1775s | 26 | 8038018 | 7925152 | 674 25851 | 0 | 0 1777.00/1777.51 c 1777s | 26 | 8046820 | 7933852 | 674 25873 | 0 | 0 1779.00/1779.52 c 1779s | 26 | 8055508 | 7942452 | 674 25894 | 0 | 0 1781.00/1781.52 c 1781s | 26 | 8064083 | 7950952 | 674 25916 | 0 | 0 1783.00/1783.52 c 1783s | 26 | 8072572 | 7959352 | 674 25937 | 0 | 0 1785.00/1785.53 c 1785s | 26 | 8081205 | 7967852 | 674 25959 | 0 | 0 1787.01/1787.54 c 1787s | 26 | 8089783 | 7976352 | 674 25981 | 0 | 0 1789.00/1789.55 c 1789s | 26 | 8097958 | 7984452 | 674 26002 | 0 | 0 1791.00/1791.57 c 1791s | 26 | 8106896 | 7993252 | 674 26024 | 0 | 0 1793.00/1793.59 c 1793s | 26 | 8115419 | 8001652 | 674 26046 | 0 | 0 1795.10/1795.62 c 1795s | 26 | 8124069 | 8010152 | 674 26067 | 0 | 0 1797.10/1797.62 c 1797s | 26 | 8132412 | 8018352 | 674 26088 | 0 | 0 1799.11/1799.62 c 1799s | 26 | 8141032 | 8026852 | 674 26110 | 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-4079750-1465244600/watcher-4079750-1465244600 -o /tmp/evaluation-result-4079750-1465244600/solver-4079750-1465244600 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079750-1465244600.opb pid=11753 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.09 2.10 2.02 3/179 11756 /proc/meminfo: memFree=30566184/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=735676 CPUtime=0 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 2746 0 0 0 0 0 0 0 20 0 4 0 106393429 753332224 2596 33554432000 4194304 16246674 140736649497728 140736649497152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 184687 2608 441 2943 0 181581 0 [pid=11756/tid=11757] ppid=11753 vsize=754108 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 772206592 2667 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=757180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 775352320 2679 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=761276 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106393429 779546624 2696 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10022 s] /proc/loadavg: 2.09 2.10 2.02 3/179 11756 /proc/meminfo: memFree=30566184/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 21241 0 0 0 6 3 0 0 20 0 4 0 106393429 1247350784 21078 33554432000 4194304 16246674 140736649497728 140736649497152 5723965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 304529 21090 771 2943 0 301423 0 [pid=11756/tid=11757] ppid=11753 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1247350784 21093 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1247350784 21097 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106393429 1247350784 21098 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200527 s] /proc/loadavg: 2.09 2.10 2.02 3/179 11756 /proc/meminfo: memFree=30566184/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 39265 0 0 0 14 5 0 0 20 0 4 0 106393429 1247350784 39101 33554432000 4194304 16246674 140736649497728 140736649497152 5601873 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 304529 39105 771 2943 0 301423 0 [pid=11756/tid=11757] ppid=11753 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1247350784 39109 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1247350784 39113 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106393429 1247350784 39116 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300489 s] /proc/loadavg: 2.09 2.10 2.02 3/179 11756 /proc/meminfo: memFree=30566184/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 58332 0 0 0 23 6 0 0 20 0 4 0 106393429 1247350784 58169 33554432000 4194304 16246674 140736649497728 140736649497152 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 304529 58184 771 2943 0 301423 0 [pid=11756/tid=11757] ppid=11753 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1247350784 58188 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1247350784 58191 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106393429 1247350784 58197 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700408 s] /proc/loadavg: 2.09 2.10 2.02 3/179 11756 /proc/meminfo: memFree=30566184/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 137320 0 0 0 53 16 0 0 20 0 4 0 106393429 1247350784 137157 33554432000 4194304 16246674 140736649497728 140736649479616 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 304529 137163 771 2943 0 301423 0 [pid=11756/tid=11757] ppid=11753 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1247350784 137169 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1247350784 137178 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106393429 1247350784 137187 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.09 2.10 2.02 4/183 11760 /proc/meminfo: memFree=29684644/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 245679 0 0 0 117 32 0 0 20 0 4 0 106393429 1248399360 245493 33554432000 4194304 16246674 140736649497728 140736649479616 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 304785 245493 833 2943 0 301679 0 [pid=11756/tid=11757] ppid=11753 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1248399360 245493 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1248399360 245493 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1248399360 245493 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10042 s] /proc/loadavg: 2.09 2.10 2.02 3/183 11760 /proc/meminfo: memFree=29497396/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 267505 0 0 0 274 35 0 0 20 0 4 0 106393429 1337528320 267319 33554432000 4194304 16246674 140736649497728 140736649480728 5709991 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326545 267319 833 2943 0 323439 0 [pid=11756/tid=11757] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267319 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267319 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267319 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30042 s] /proc/loadavg: 2.08 2.10 2.02 3/183 11760 /proc/meminfo: memFree=29497184/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 267506 0 0 0 593 36 0 0 20 0 4 0 106393429 1337528320 267320 33554432000 4194304 16246674 140736649497728 140736649480728 6021024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326545 267320 833 2943 0 323439 0 [pid=11756/tid=11757] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267320 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267320 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267320 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.08 2.10 2.02 3/183 11760 /proc/meminfo: memFree=29497088/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1306180 CPUtime=12.68 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 267507 0 0 0 1231 37 0 0 20 0 4 0 106393429 1337528320 267321 33554432000 4194304 16246674 140736649497728 140736649479616 6020448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326545 267321 833 2943 0 323439 0 [pid=11756/tid=11757] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267321 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267321 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267321 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.06 2.09 2.02 3/183 11760 /proc/meminfo: memFree=29497440/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1306180 CPUtime=25.49 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 267508 0 0 0 2509 40 0 0 20 0 4 0 106393429 1337528320 267322 33554432000 4194304 16246674 140736649497728 140736649480728 13949829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326545 267322 834 2943 0 323439 0 [pid=11756/tid=11757] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267322 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267322 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267322 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.04 2.08 2.02 3/183 11760 /proc/meminfo: memFree=29497288/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1306180 CPUtime=51.08 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 267549 0 0 0 5066 42 0 0 20 0 4 0 106393429 1337528320 267363 33554432000 4194304 16246674 140736649497728 140736649480728 8224724 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326545 267363 836 2943 0 323439 0 [pid=11756/tid=11757] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267363 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267363 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267363 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.301 s] /proc/loadavg: 2.01 2.07 2.01 3/183 11761 /proc/meminfo: memFree=29496588/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1306180 CPUtime=102.28 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 267612 0 0 0 10180 48 0 0 20 0 4 0 106393429 1337528320 267426 33554432000 4194304 16246674 140736649497728 140736649479616 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326545 267426 836 2943 0 323439 0 [pid=11756/tid=11757] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267426 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267426 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1337528320 267426 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1307204 [startup+1362.3 s] /proc/loadavg: 2.03 2.07 2.02 3/183 11841 /proc/meminfo: memFree=29498756/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1307204 CPUtime=1361.87 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 268265 0 0 0 136040 147 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140736649480728 13927267 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326801 267942 838 2943 0 323695 0 [pid=11756/tid=11757] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1307204 [startup+1422.3 s] /proc/loadavg: 2.08 2.07 2.02 3/183 11843 /proc/meminfo: memFree=29498508/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1307204 CPUtime=1421.86 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 268265 0 0 0 142036 150 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140736649480728 5600331 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326801 267942 838 2943 0 323695 0 [pid=11756/tid=11757] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1307204 [startup+1482.3 s] /proc/loadavg: 2.03 2.05 2.02 3/183 11844 /proc/meminfo: memFree=29498260/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1307204 CPUtime=1481.85 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 268265 0 0 0 148028 157 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140736649479616 13192992 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326801 267942 838 2943 0 323695 0 [pid=11756/tid=11757] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1307204 [startup+1542.31 s] /proc/loadavg: 2.01 2.04 2.01 3/183 11845 /proc/meminfo: memFree=29497640/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1307204 CPUtime=1541.84 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 268265 0 0 0 154025 159 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140736649479616 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326801 267942 838 2943 0 323695 0 [pid=11756/tid=11757] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1307204 [startup+1602.3 s] /proc/loadavg: 2.10 2.06 2.02 3/184 11849 /proc/meminfo: memFree=29496632/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1307204 CPUtime=1601.83 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 268265 0 0 0 160023 160 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140736649479616 5710083 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326801 267942 838 2943 0 323695 0 [pid=11756/tid=11757] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1307204 [startup+1662.3 s] /proc/loadavg: 2.10 2.06 2.02 3/183 11850 /proc/meminfo: memFree=29497156/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1307204 CPUtime=1661.82 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 268265 0 0 0 166012 170 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140736649480728 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326801 267942 838 2943 0 323695 0 [pid=11756/tid=11757] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1307204 [startup+1722.3 s] /proc/loadavg: 2.14 2.08 2.02 3/183 11852 /proc/meminfo: memFree=29496816/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1307204 CPUtime=1721.81 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 268265 0 0 0 172008 173 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140736649479616 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326801 267942 838 2943 0 323695 0 [pid=11756/tid=11757] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1307204 [startup+1782.3 s] /proc/loadavg: 2.19 2.11 2.03 3/183 11853 /proc/meminfo: memFree=29496596/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1307204 CPUtime=1781.8 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 268265 0 0 0 178006 174 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140736649480728 5861552 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326801 267942 838 2943 0 323695 0 [pid=11756/tid=11757] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1307204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.13 2.10 2.03 3/183 11854 /proc/meminfo: memFree=29496180/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1307204 CPUtime=1800 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 268265 0 0 0 179825 175 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140736649479616 13191802 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326801 267942 838 2943 0 323695 0 [pid=11756/tid=11757] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1307204 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 11756 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.13 2.10 2.03 3/183 11854 /proc/meminfo: memFree=29496180/32872528 swapFree=11196/354588 [pid=11756] ppid=11753 vsize=1307204 CPUtime=1800 cores=0,2,4,6 /proc/11756/stat : 11756 (toysat) R 11753 11756 8429 0 -1 4202496 268265 0 0 0 179825 175 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140736649479616 13191802 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11756/statm: 326801 267942 838 2943 0 323695 0 [pid=11756/tid=11757] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11757/stat : 11757 (toysat) S 11753 11756 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145664699632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11756/tid=11758] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11758/stat : 11758 (toysat) S 11753 11756 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145654209776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11756/tid=11759] ppid=11753 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11756/task/11759/stat : 11759 (toysat) S 11753 11756 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106393429 1338576896 267942 33554432000 4194304 16246674 140736649497728 140145643736240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1307204 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1798.26 CPU system time (s): 1.75373 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 1307204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.26 system time used= 1.75373 maximum resident set size= 1071768 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268265 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= 409 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.70528 second user time and 6.81596 second system time The end
Begin job on node126 at 2016-06-06 22:23:20 IDJOB=4079750 IDBENCH=2902 IDSOLVER=2542 FILE ID=node126/4079750-1465244600 RUNJOBID= node126-1465218023-8445 PBS_JOBID= 19843210 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079750-1465244600/watcher-4079750-1465244600 -o /tmp/evaluation-result-4079750-1465244600/solver-4079750-1465244600 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079750-1465244600.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb RANDOM SEED=578315116 node126.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.500 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.00 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.500 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.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.500 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.500 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.56 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.500 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.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30566712 kB Buffers: 46048 kB Cached: 125936 kB SwapCached: 2248 kB Active: 1159484 kB Inactive: 92584 kB Active(anon): 1080068 kB Inactive(anon): 2384 kB Active(file): 79416 kB Inactive(file): 90200 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098544 kB Dirty: 16376 kB Writeback: 0 kB AnonPages: 1435616 kB Mapped: 10468 kB Shmem: 0 kB Slab: 567800 kB SReclaimable: 11888 kB SUnreclaim: 555912 kB KernelStack: 1488 kB PageTables: 6912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1576068 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1241088 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node126 at 2016-06-06 22:53:20