| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-stocfor1.opb |
| MD5SUM | f5fea9f9b3e2808f219e4e92af96aba2 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -40 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -71 |
| Optimality of the best value was proved | NO |
| Number of variables | 3330 |
| Total number of constraints | 117 |
| 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 | 117 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 240 |
| Number of terms in the objective function | 810 |
| Biggest coefficient in the objective function | 21201 |
| Number of bits for the biggest coefficient in the objective function | 15 |
| Sum of the numbers in the objective function | 524901 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 524901 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T05:36:41+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-4101177-1466221000.opb"] 0.00/0.01 c use --random-gen="4112028882 1777930698 3278423019 1981167710 3727589309 2694737740 2333514170 2450396465 76319446 543159504 1799826406 3301131488 2720965007 2678891964 3536607279 2828000540 2050136075 3258580424 3543130661 1318877861 113165415 1881084804 548513850 3246840800 2832688992 3626761609 3955322365 4060869956 2618624683 4170091032 1599298354 448745825 3944813739 3280474651 1589395788 3075622979 2198496704 1772693058 3391263007 2967527933 2959747515 4140999588 2396908484 3379504107 939619877 717411159 3993573762 2027489830 3957974596 135514264 3342668964 4220994188 2994684728 752720532 3913551862 3189093587 1804065918 2425949318 2335272802 3440148569 1346367786 1735914064 3754919970 2435981504 3402135958 1047049867 3525003212 1340750211 1965971452 299978573 2794545049 3169513224 777417427 1464871254 331032245 931635314 2942215138 792589239 3832258815 3146710302 1000725706 3917114556 3781093307 4223868427 2486147646 2251342165 3581441840 3308420435 3037869453 1042398708 1531079980 12626134 1474937242 1891991035 2828976815 2084196409 4061116943 3521852031 3120633643 1157536644 938225190 2502337344 2495073538 3492628933 2058506526 1940690386 3537102733 3723411787 3982791329 207668797 3044135201 2890046205 2729318567 3013371737 3090854918 1057711795 2005362661 2309171965 587561164 3210526969 3044033664 1990342457 3429997992 1505996642 2429576123 3622571166 77799346 3033974726 2682358914 1811084093 1460533466 824739338 3349076261 41857158 2960663018 80512191 3728733218 1918951284 2609869783 1263906145 3254928545 1534706525 1039564056 2083081095 4184208161 2478975236 790199058 1089676124 1015700758 2004125481 75568328 1426093842 1418872300 2860331192 977577254 862820542 3509250162 1586430760 705018985 4293527263 140327484 780930489 2969896309 1272693669 4161848493 769245241 2159272843 2416694099 4234730961 3432992322 2777749411 501312621 1656218701 1350369182 3597934251 1493703220 2588520584 3324455023 807850332 462190976 3681826404 2298484583 1999540162 950066458 1357332489 466705982 1287200053 599097472 2107650121 503464351 4078018140 3210587497 1657254212 2653972664 1213368097 1443423608 196767741 4128881820 3133481667 1911754872 3873731286 1882698817 2362176939 4280162744 2218671832 4046034259 62510321 152346960 3648448828 435698628 3377385523 1892371037 2231402464 2777421374 4211878722 3395346560 2540354645 702758916 3969460746 772591465 1027061784 623021539 1670658192 968021506 423332844 422303611 2861025468 1620127519 2615135537 1715821659 3876113839 2928902298 2657913745 1514324513 609891154 4219302395 2445067876 2652260598 232886973 4041356869 2534655758 1021587708 2033457069 2176745966 2724585438 3817618439 2160638786 3331834948 4012301923 2273530565 3570328996 3601402098 3011473202 2119076930 2398934462 681759431 255 362436" option to reproduce the execution 0.00/0.04 c #vars 3330 0.00/0.04 c #constraints 117 0.19/0.24 c BCD2: Hardening is enabled. 0.19/0.24 c BCD2: BiasedSearch is enabled. 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 1170 0 | 999 | 0 0.19/0.28 c 0.0s | 1 | 282 | 100 | 1170 0 | 1008 | 0 0.29/0.31 c 0.1s | 2 | 440 | 250 | 1287 0 | 1008 | 0 0.29/0.35 c 0.1s | 3 | 672 | 475 | 1416 0 | 1008 | 0 0.39/0.42 c 0.2s | 4 | 1019 | 813 | 1558 0 | 1008 | 0 0.39/0.49 c 0.2s | 5 | 1574 | 1320 | 1714 0 | 1008 | 0 0.59/0.65 c 0.4s | 6 | 2588 | 2081 | 2075 0 | 1012 | 0 0.89/0.90 c 0.7s | 7 | 4100 | 3223 | 2283 0 | 1012 | 0 1.09/1.16 c 0.9s | 8 | 5899 | 4936 | 2512 1 | 1012 | 0 1.59/1.63 c 1.4s | 9 | 8738 | 7506 | 2764 2 | 1012 | 0 2.69/2.76 c 2.5s | 10 | 13191 | 11361 | 3041 4 | 1012 | 0 3.79/3.89 c 3.6s | 11 | 19543 | 17144 | 3346 7 | 1012 | 0 5.79/5.89 c 5.6s | 11 | 28715 | 24844 | 3346 10 | 1032 | 0 6.29/6.35 c 6.1s | 12 | 29730 | 25819 | 3681 10 | 1032 | 0 8.28/8.35 c 8.1s | 12 | 37119 | 32619 | 3681 13 | 1033 | 0 10.28/10.37 c 10.1s | 12 | 42306 | 37219 | 3681 15 | 1033 | 0 11.09/11.15 c 10.9s | 13 | 43938 | 38832 | 4050 16 | 1033 | 0 13.09/13.15 c 12.9s | 13 | 52333 | 45832 | 4050 18 | 1041 | 0 15.09/15.17 c 14.9s | 13 | 58190 | 50932 | 4050 20 | 1041 | 0 17.19/17.22 c 17.0s | 13 | 63182 | 55532 | 4050 22 | 1041 | 0 18.29/18.33 c 18.1s | 14 | 66259 | 58352 | 4455 22 | 1041 | 0 20.29/20.36 c 20.1s | 14 | 73188 | 64552 | 4455 25 | 1041 | 0 22.29/22.37 c 22.1s | 14 | 80174 | 70552 | 4455 27 | 1041 | 0 24.39/24.41 c 24.2s | 14 | 89437 | 77952 | 4455 30 | 1041 | 0 26.39/26.41 c 26.2s | 14 | 99246 | 86152 | 4455 32 | 1045 | 0 26.98/27.02 c 26.8s | 15 | 101292 | 87632 | 4901 32 | 1045 | 0 28.98/29.04 c 28.8s | 15 | 112879 | 96732 | 4901 34 | 1045 | 0 30.98/31.07 c 30.8s | 15 | 121693 | 101732 | 4901 36 | 1045 | 0 32.99/33.08 c 32.8s | 15 | 128943 | 106232 | 4901 38 | 1045 | 0 35.08/35.10 c 34.9s | 15 | 136930 | 112032 | 4901 39 | 1045 | 0 37.08/37.12 c 36.9s | 15 | 143762 | 118132 | 4901 41 | 1045 | 0 39.08/39.13 c 38.9s | 15 | 148736 | 122732 | 4901 43 | 1045 | 0 41.08/41.14 c 40.9s | 15 | 156499 | 127632 | 4901 45 | 1045 | 0 42.08/42.17 c 41.9s | 16 | 160826 | 131552 | 5392 46 | 1045 | 0 44.09/44.18 c 43.9s | 16 | 170818 | 139852 | 5392 48 | 1045 | 0 46.08/46.20 c 46.0s | 16 | 179260 | 146852 | 5392 50 | 1045 | 0 48.18/48.22 c 48.0s | 16 | 189353 | 155352 | 5392 53 | 1045 | 0 50.18/50.23 c 50.0s | 16 | 197585 | 161152 | 5392 55 | 1045 | 0 52.18/52.29 c 52.0s | 16 | 204083 | 166952 | 5392 57 | 1045 | 0 54.28/54.30 c 54.1s | 16 | 210535 | 172952 | 5392 58 | 1045 | 0 56.28/56.33 c 56.1s | 16 | 216205 | 178352 | 5392 60 | 1045 | 0 58.28/58.33 c 58.1s | 16 | 222848 | 184152 | 5392 62 | 1045 | 0 60.28/60.35 c 60.1s | 16 | 230021 | 190352 | 5392 64 | 1045 | 0 62.28/62.38 c 62.1s | 16 | 236409 | 196252 | 5932 65 | 1045 | 0 62.98/63.02 c 62.8s | 17 | 237656 | 197432 | 5932 66 | 1045 | 0 64.98/65.04 c 64.8s | 17 | 246633 | 203932 | 5932 67 | 1045 | 0 66.97/67.07 c 66.8s | 17 | 252521 | 208332 | 5932 69 | 1045 | 0 68.97/69.09 c 68.8s | 17 | 258481 | 212632 | 5932 70 | 1045 | 0 70.97/71.10 c 70.9s | 17 | 264514 | 216932 | 5932 71 | 1045 | 0 73.07/73.10 c 72.9s | 17 | 270528 | 221232 | 5932 72 | 1045 | 0 75.07/75.13 c 74.9s | 17 | 276477 | 225532 | 5932 73 | 1045 | 0 77.08/77.17 c 76.9s | 17 | 285799 | 229032 | 5932 74 | 1045 | 0 79.07/79.19 c 78.9s | 17 | 295221 | 232732 | 5932 75 | 1045 | 0 81.17/81.22 c 81.0s | 17 | 304098 | 236532 | 5932 77 | 1045 | 0 83.17/83.23 c 83.0s | 17 | 312351 | 240732 | 5932 78 | 1045 | 0 85.17/85.24 c 85.0s | 17 | 320365 | 244432 | 5932 79 | 1045 | 0 87.28/87.30 c 87.1s | 17 | 327139 | 248132 | 5932 80 | 1045 | 0 89.28/89.32 c 89.1s | 17 | 335722 | 251832 | 5932 81 | 1045 | 0 91.28/91.33 c 91.1s | 17 | 346335 | 255932 | 5932 82 | 1045 | 0 93.28/93.36 c 93.1s | 17 | 355593 | 260332 | 5932 83 | 1045 | 0 95.38/95.40 c 95.2s | 17 | 364049 | 264032 | 5932 84 | 1045 | 0 97.38/97.48 c 97.2s | 17 | 373301 | 269632 | 5932 86 | 1045 | 0 99.48/99.50 c 99.3s | 17 | 383370 | 274632 | 5932 87 | 1045 | 0 101.48/101.50 c 101s | 17 | 392650 | 279032 | 5932 88 | 1045 | 0 103.48/103.53 c 103s | 17 | 401489 | 283132 | 5932 90 | 1045 | 0 105.48/105.55 c 105s | 17 | 411636 | 287532 | 5932 91 | 1045 | 0 107.48/107.56 c 107s | 17 | 418902 | 291132 | 5932 92 | 1045 | 0 109.48/109.57 c 109s | 17 | 427238 | 294932 | 6526 93 | 1045 | 0 110.18/110.22 c 109s | 18 | 431431 | 296252 | 6526 93 | 1045 | 0 112.18/112.26 c 112s | 18 | 440675 | 300552 | 6526 94 | 1045 | 0 114.17/114.29 c 114s | 18 | 448739 | 304952 | 6526 95 | 1045 | 0 116.27/116.31 c 116s | 18 | 457589 | 312152 | 6526 97 | 1045 | 0 118.27/118.32 c 118s | 18 | 464158 | 317552 | 6526 99 | 1045 | 0 120.37/120.47 c 120s | 18 | 469715 | 322352 | 6526 100 | 1048 | 0 122.37/122.47 c 122s | 18 | 475891 | 326852 | 6526 101 | 1048 | 0 124.38/124.49 c 124s | 18 | 482131 | 331752 | 6526 102 | 1048 | 0 126.47/126.52 c 126s | 18 | 492452 | 336452 | 6526 103 | 1048 | 0 128.47/128.57 c 128s | 18 | 501187 | 340352 | 6526 104 | 1048 | 0 130.47/130.59 c 130s | 18 | 509045 | 344352 | 6526 105 | 1048 | 0 132.57/132.61 c 132s | 18 | 517065 | 348252 | 6526 106 | 1048 | 0 134.57/134.63 c 134s | 18 | 525969 | 353652 | 6526 108 | 1048 | 0 136.57/136.66 c 136s | 18 | 533881 | 358052 | 6526 109 | 1048 | 0 138.57/138.70 c 138s | 18 | 542220 | 362252 | 6526 110 | 1048 | 0 140.67/140.71 c 140s | 18 | 548975 | 365952 | 6526 111 | 1048 | 0 142.67/142.75 c 142s | 18 | 555778 | 370352 | 6526 112 | 1048 | 0 144.67/144.79 c 144s | 18 | 562596 | 374352 | 6526 113 | 1048 | 0 146.76/146.80 c 146s | 18 | 569324 | 378452 | 6526 114 | 1048 | 0 148.76/148.82 c 148s | 18 | 576345 | 382752 | 6526 115 | 1048 | 0 150.77/150.84 c 150s | 18 | 584911 | 389652 | 6526 117 | 1048 | 0 152.76/152.86 c 152s | 18 | 591802 | 395952 | 6526 119 | 1048 | 0 154.76/154.88 c 154s | 18 | 596943 | 400752 | 6526 120 | 1048 | 0 156.86/156.90 c 156s | 18 | 602858 | 405952 | 6526 121 | 1048 | 0 158.86/158.92 c 158s | 18 | 609208 | 411552 | 6526 123 | 1048 | 0 160.86/160.94 c 160s | 18 | 615111 | 416852 | 6526 124 | 1048 | 0 162.87/162.97 c 162s | 18 | 620652 | 421752 | 6526 125 | 1048 | 0 164.97/165.02 c 164s | 18 | 626408 | 427152 | 6526 127 | 1048 | 0 167.06/167.11 c 166s | 18 | 630744 | 431052 | 6526 128 | 1048 | 0 169.07/169.11 c 168s | 18 | 637391 | 436752 | 6526 129 | 1048 | 0 171.07/171.12 c 170s | 18 | 642823 | 441452 | 7179 130 | 1048 | 0 172.27/172.38 c 172s | 19 | 646610 | 444482 | 7179 131 | 1048 | 0 174.37/174.40 c 174s | 19 | 654366 | 450982 | 7179 132 | 1048 | 0 176.37/176.46 c 176s | 19 | 661687 | 456082 | 7179 134 | 1048 | 0 178.36/178.48 c 178s | 19 | 670987 | 463582 | 7179 135 | 1048 | 0 180.37/180.49 c 180s | 19 | 677851 | 469282 | 7179 137 | 1048 | 0 182.46/182.51 c 182s | 19 | 684412 | 475082 | 7179 138 | 1048 | 0 184.46/184.54 c 184s | 19 | 690850 | 480582 | 7179 139 | 1048 | 0 186.97/187.04 c 186s | 19 | 698753 | 487182 | 7179 141 | 1048 | 0 188.96/189.08 c 188s | 19 | 706840 | 493882 | 7179 142 | 1048 | 0 191.06/191.11 c 190s | 19 | 714289 | 499982 | 7179 144 | 1048 | 0 193.06/193.13 c 192s | 19 | 722866 | 507282 | 7179 146 | 1048 | 0 195.06/195.15 c 194s | 19 | 729774 | 513082 | 7179 147 | 1048 | 0 197.06/197.18 c 196s | 19 | 736929 | 519082 | 7179 148 | 1048 | 0 199.06/199.19 c 198s | 19 | 744320 | 525582 | 7179 150 | 1048 | 0 201.16/201.20 c 200s | 19 | 751637 | 531782 | 7179 152 | 1048 | 0 203.16/203.21 c 202s | 19 | 758863 | 537882 | 7179 153 | 1048 | 0 205.16/205.24 c 204s | 19 | 766239 | 544182 | 7179 154 | 1048 | 0 207.16/207.25 c 207s | 19 | 773039 | 549682 | 7179 156 | 1048 | 0 209.26/209.37 c 209s | 19 | 780895 | 555982 | 7179 157 | 1048 | 0 211.26/211.39 c 211s | 19 | 788644 | 562382 | 7179 159 | 1048 | 0 213.26/213.39 c 213s | 19 | 795766 | 568882 | 7179 160 | 1048 | 0 215.36/215.41 c 215s | 19 | 801822 | 573882 | 7179 162 | 1048 | 0 217.46/217.50 c 217s | 19 | 807736 | 579082 | 7179 163 | 1048 | 0 219.45/219.51 c 219s | 19 | 814992 | 585382 | 7179 164 | 1048 | 0 221.45/221.51 c 221s | 19 | 821905 | 591082 | 7179 166 | 1048 | 0 223.45/223.58 c 223s | 19 | 830243 | 598582 | 7179 167 | 1048 | 0 225.56/225.61 c 225s | 19 | 838737 | 605582 | 7179 169 | 1048 | 0 227.55/227.64 c 227s | 19 | 845618 | 611382 | 7179 170 | 1048 | 0 229.55/229.67 c 229s | 19 | 850939 | 616282 | 7179 172 | 1048 | 0 231.55/231.67 c 231s | 19 | 856330 | 621082 | 7179 173 | 1048 | 0 233.55/233.69 c 233s | 19 | 863241 | 626982 | 7179 174 | 1048 | 0 235.55/235.69 c 235s | 19 | 873085 | 634082 | 7179 176 | 1048 | 0 237.55/237.70 c 237s | 19 | 882022 | 641682 | 7179 178 | 1048 | 0 239.65/239.73 c 239s | 19 | 887739 | 646882 | 7179 179 | 1048 | 0 241.65/241.75 c 241s | 19 | 894182 | 652382 | 7179 180 | 1048 | 0 243.86/243.92 c 243s | 19 | 899490 | 656682 | 7179 181 | 1048 | 0 245.86/245.94 c 245s | 19 | 908233 | 663982 | 7897 183 | 1048 | 0 247.06/247.13 c 246s | 20 | 912681 | 666827 | 7897 183 | 1048 | 0 249.05/249.15 c 248s | 20 | 922823 | 674527 | 7897 185 | 1048 | 0 251.05/251.17 c 250s | 20 | 932279 | 681527 | 7897 187 | 1048 | 0 253.15/253.26 c 253s | 20 | 939315 | 687327 | 7897 188 | 1048 | 0 255.15/255.30 c 255s | 20 | 946766 | 692827 | 7897 189 | 1048 | 0 257.25/257.33 c 257s | 20 | 953396 | 697527 | 7897 190 | 1048 | 0 259.25/259.34 c 259s | 20 | 959142 | 702327 | 7897 191 | 1048 | 0 261.25/261.34 c 261s | 20 | 967638 | 707527 | 7897 192 | 1048 | 0 263.25/263.36 c 263s | 20 | 974605 | 712827 | 7897 194 | 1048 | 0 265.35/265.40 c 265s | 20 | 981152 | 718227 | 7897 195 | 1048 | 0 267.35/267.42 c 267s | 20 | 988455 | 724427 | 7897 196 | 1048 | 0 269.35/269.43 c 269s | 20 | 995866 | 729927 | 7897 197 | 1048 | 0 271.34/271.44 c 271s | 20 | 1004598 | 736627 | 7897 199 | 1048 | 0 273.34/273.46 c 273s | 20 | 1012883 | 742327 | 7897 200 | 1048 | 0 275.34/275.48 c 275s | 20 | 1019739 | 747827 | 7897 201 | 1048 | 0 277.34/277.49 c 277s | 20 | 1024900 | 752227 | 7897 202 | 1048 | 0 279.35/279.50 c 279s | 20 | 1031483 | 756827 | 7897 203 | 1048 | 0 281.44/281.52 c 281s | 20 | 1038775 | 762427 | 7897 205 | 1048 | 0 283.44/283.55 c 283s | 20 | 1046180 | 767827 | 7897 206 | 1048 | 0 285.44/285.56 c 285s | 20 | 1052237 | 772827 | 7897 207 | 1048 | 0 287.44/287.59 c 287s | 20 | 1058765 | 777927 | 7897 208 | 1048 | 0 289.45/289.59 c 289s | 20 | 1063728 | 781727 | 7897 209 | 1048 | 0 291.55/291.62 c 291s | 20 | 1070028 | 786527 | 7897 210 | 1048 | 0 293.55/293.65 c 293s | 20 | 1076731 | 791627 | 7897 211 | 1048 | 0 295.55/295.67 c 295s | 20 | 1082470 | 796027 | 7897 212 | 1048 | 0 297.55/297.68 c 297s | 20 | 1088564 | 800627 | 7897 213 | 1048 | 0 299.65/299.71 c 299s | 20 | 1095116 | 805727 | 7897 214 | 1048 | 0 301.65/301.71 c 301s | 20 | 1099738 | 809727 | 7897 215 | 1048 | 0 303.65/303.73 c 303s | 20 | 1105895 | 814727 | 7897 216 | 1048 | 0 305.65/305.76 c 305s | 20 | 1112517 | 819927 | 7897 217 | 1048 | 0 307.65/307.78 c 307s | 20 | 1117189 | 823527 | 7897 218 | 1048 | 0 309.64/309.79 c 309s | 20 | 1123303 | 828727 | 7897 219 | 1048 | 0 311.64/311.80 c 311s | 20 | 1129848 | 833327 | 7897 220 | 1048 | 0 313.74/313.81 c 313s | 20 | 1136069 | 838027 | 7897 221 | 1048 | 0 315.75/315.81 c 315s | 20 | 1143374 | 843727 | 7897 223 | 1048 | 0 317.74/317.82 c 317s | 20 | 1151345 | 849627 | 7897 224 | 1048 | 0 319.74/319.84 c 319s | 20 | 1158363 | 855227 | 7897 225 | 1048 | 0 321.74/321.85 c 321s | 20 | 1164847 | 860627 | 7897 226 | 1048 | 0 323.74/323.86 c 323s | 20 | 1172560 | 866927 | 7897 228 | 1048 | 0 325.74/325.86 c 325s | 20 | 1179255 | 872427 | 7897 229 | 1048 | 0 327.74/327.86 c 327s | 20 | 1183769 | 875827 | 7897 230 | 1048 | 0 329.74/329.89 c 329s | 20 | 1191227 | 881227 | 7897 231 | 1048 | 0 331.84/331.92 c 331s | 20 | 1198231 | 886427 | 7897 232 | 1048 | 0 333.84/333.94 c 333s | 20 | 1203215 | 890327 | 7897 233 | 1048 | 0 335.84/335.96 c 335s | 20 | 1210062 | 895627 | 7897 234 | 1048 | 0 337.83/337.97 c 337s | 20 | 1216440 | 900427 | 7897 235 | 1048 | 0 339.84/340.00 c 339s | 20 | 1220871 | 903927 | 7897 236 | 1048 | 0 341.93/342.04 c 341s | 20 | 1227686 | 909327 | 7897 237 | 1048 | 0 343.93/344.07 c 343s | 20 | 1233838 | 914327 | 7897 238 | 1048 | 0 346.13/346.21 c 345s | 20 | 1239508 | 918427 | 7897 239 | 1048 | 0 348.14/348.23 c 347s | 20 | 1245393 | 922927 | 7897 240 | 1048 | 0 350.14/350.27 c 350s | 20 | 1251392 | 927727 | 7897 241 | 1048 | 0 352.14/352.29 c 352s | 20 | 1255702 | 931127 | 7897 242 | 1048 | 0 354.24/354.32 c 354s | 20 | 1261898 | 935727 | 7897 243 | 1048 | 0 356.23/356.36 c 356s | 20 | 1268623 | 940927 | 7897 244 | 1048 | 0 358.43/358.54 c 358s | 20 | 1275003 | 945927 | 7897 245 | 1048 | 0 360.43/360.54 c 360s | 20 | 1279132 | 949227 | 7897 246 | 1048 | 0 362.43/362.54 c 362s | 20 | 1284093 | 953727 | 7897 247 | 1048 | 0 364.63/364.76 c 364s | 20 | 1288941 | 957527 | 7897 248 | 1048 | 0 366.63/366.76 c 366s | 20 | 1295579 | 962627 | 7897 249 | 1048 | 0 368.63/368.79 c 368s | 20 | 1301162 | 966927 | 7897 250 | 1048 | 0 370.74/370.83 c 370s | 20 | 1306365 | 971027 | 7897 251 | 1048 | 0 373.44/373.52 c 373s | 20 | 1311731 | 975427 | 7897 252 | 1048 | 0 375.44/375.55 c 375s | 20 | 1317578 | 979927 | 7897 253 | 1048 | 0 377.44/377.58 c 377s | 20 | 1325253 | 985027 | 7897 254 | 1048 | 0 379.44/379.59 c 379s | 20 | 1330334 | 988827 | 7897 255 | 1048 | 0 381.53/381.61 c 381s | 20 | 1337038 | 993727 | 8687 256 | 1048 | 0 383.53/383.61 c 383s | 20 | 1341623 | 997027 | 8687 256 | 1048 | 0 384.94/385.08 c 384s | 21 | 1346315 | 1000345 | 8687 257 | 1048 | 0 387.03/387.13 c 386s | 21 | 1351041 | 1004845 | 8687 258 | 1048 | 0 389.03/389.17 c 388s | 21 | 1354374 | 1008145 | 8687 259 | 1048 | 0 391.13/391.21 c 390s | 21 | 1357295 | 1011045 | 8687 259 | 1048 | 0 393.13/393.26 c 393s | 21 | 1360125 | 1013845 | 8687 260 | 1048 | 0 395.13/395.29 c 395s | 21 | 1362948 | 1016645 | 8687 260 | 1048 | 0 397.23/397.34 c 397s | 21 | 1366522 | 1020045 | 8687 261 | 1048 | 0 399.23/399.40 c 399s | 21 | 1368951 | 1022445 | 8687 262 | 1048 | 0 401.73/401.87 c 401s | 21 | 1370371 | 1023845 | 8687 262 | 1048 | 0 403.74/403.89 c 403s | 21 | 1373339 | 1026745 | 8687 262 | 1048 | 0 405.83/405.90 c 405s | 21 | 1376431 | 1029745 | 8687 263 | 1048 | 0 407.83/407.96 c 407s | 21 | 1379703 | 1032845 | 8687 264 | 1048 | 0 409.93/410.02 c 409s | 21 | 1382781 | 1035745 | 8687 264 | 1048 | 0 411.93/412.05 c 411s | 21 | 1386135 | 1038945 | 8687 265 | 1048 | 0 413.93/414.06 c 413s | 21 | 1389685 | 1042145 | 8687 266 | 1048 | 0 416.02/416.11 c 415s | 21 | 1392730 | 1044845 | 8687 266 | 1048 | 0 418.03/418.14 c 417s | 21 | 1396544 | 1048345 | 8687 267 | 1048 | 0 420.13/420.22 c 419s | 21 | 1400274 | 1051645 | 8687 267 | 1048 | 0 422.12/422.27 c 422s | 21 | 1402816 | 1053945 | 8687 268 | 1048 | 0 424.12/424.27 c 424s | 21 | 1406256 | 1057245 | 8687 269 | 1048 | 0 426.23/426.33 c 426s | 21 | 1408987 | 1059845 | 8687 269 | 1048 | 0 428.23/428.38 c 428s | 21 | 1411935 | 1062745 | 8687 270 | 1048 | 0 430.33/430.42 c 430s | 21 | 1414785 | 1065545 | 8687 270 | 1048 | 0 432.53/432.66 c 432s | 21 | 1417101 | 1067845 | 8687 271 | 1048 | 0 434.63/434.72 c 434s | 21 | 1419623 | 1070345 | 8687 271 | 1048 | 0 436.63/436.78 c 436s | 21 | 1422288 | 1072945 | 8687 272 | 1048 | 0 438.73/438.81 c 438s | 21 | 1425103 | 1075745 | 8687 272 | 1048 | 0 440.73/440.82 c 440s | 21 | 1428390 | 1078945 | 8687 273 | 1048 | 0 442.73/442.86 c 442s | 21 | 1431440 | 1081945 | 8687 274 | 1048 | 0 444.83/444.92 c 444s | 21 | 1434992 | 1085345 | 8687 274 | 1048 | 0 446.83/446.99 c 446s | 21 | 1437664 | 1087945 | 8687 275 | 1048 | 0 448.93/449.04 c 448s | 21 | 1440653 | 1090845 | 8687 275 | 1048 | 0 450.93/451.08 c 450s | 21 | 1443625 | 1093445 | 8687 276 | 1048 | 0 453.02/453.10 c 452s | 21 | 1447281 | 1096845 | 8687 277 | 1048 | 0 455.02/455.14 c 454s | 21 | 1451295 | 1100545 | 8687 277 | 1048 | 0 457.02/457.17 c 456s | 21 | 1454059 | 1103145 | 8687 278 | 1048 | 0 459.12/459.20 c 458s | 21 | 1457969 | 1106845 | 8687 279 | 1048 | 0 461.12/461.28 c 461s | 21 | 1461849 | 1110445 | 8687 279 | 1048 | 0 463.22/463.30 c 463s | 21 | 1465034 | 1113545 | 8687 280 | 1048 | 0 465.23/465.35 c 465s | 21 | 1468231 | 1116645 | 8687 281 | 1048 | 0 467.22/467.35 c 467s | 21 | 1471588 | 1119845 | 8687 281 | 1048 | 0 469.32/469.40 c 469s | 21 | 1473101 | 1121345 | 8687 282 | 1048 | 0 471.72/471.86 c 471s | 21 | 1476543 | 1124645 | 8687 282 | 1048 | 0 473.72/473.88 c 473s | 21 | 1479462 | 1127445 | 8687 283 | 1048 | 0 475.82/475.90 c 475s | 21 | 1482737 | 1130545 | 8687 283 | 1048 | 0 477.82/477.95 c 477s | 21 | 1485672 | 1133345 | 8687 284 | 1048 | 0 479.82/479.99 c 479s | 21 | 1489083 | 1136645 | 8687 285 | 1048 | 0 481.92/482.04 c 481s | 21 | 1492772 | 1140245 | 8687 285 | 1048 | 0 483.92/484.09 c 483s | 21 | 1494611 | 1142045 | 8687 286 | 1048 | 0 486.01/486.10 c 485s | 21 | 1497623 | 1144945 | 8687 286 | 1048 | 0 488.01/488.12 c 487s | 21 | 1500842 | 1148045 | 8687 287 | 1048 | 0 490.01/490.14 c 489s | 21 | 1503974 | 1150945 | 8687 288 | 1048 | 0 492.11/492.21 c 491s | 21 | 1505349 | 1152245 | 8687 288 | 1048 | 0 494.11/494.23 c 493s | 21 | 1508259 | 1155045 | 8687 288 | 1048 | 0 496.12/496.25 c 496s | 21 | 1511337 | 1158045 | 8687 289 | 1048 | 0 498.11/498.29 c 498s | 21 | 1514629 | 1161245 | 8687 290 | 1048 | 0 500.21/500.31 c 500s | 21 | 1517916 | 1164445 | 8687 290 | 1048 | 0 502.21/502.36 c 502s | 21 | 1518592 | 1165045 | 8687 290 | 1048 | 0 504.21/504.38 c 504s | 21 | 1521653 | 1168045 | 8687 291 | 1048 | 0 506.21/506.38 c 506s | 21 | 1524487 | 1170845 | 8687 292 | 1048 | 0 508.22/508.39 c 508s | 21 | 1527678 | 1173945 | 8687 292 | 1048 | 0 510.31/510.45 c 510s | 21 | 1530279 | 1176445 | 8687 293 | 1048 | 0 512.31/512.45 c 512s | 21 | 1532804 | 1178945 | 8687 293 | 1048 | 0 514.31/514.48 c 514s | 21 | 1535534 | 1181645 | 8687 294 | 1048 | 0 516.31/516.49 c 516s | 21 | 1539096 | 1184945 | 8687 294 | 1048 | 0 518.51/518.67 c 518s | 21 | 1541867 | 1187645 | 8687 295 | 1048 | 0 520.51/520.69 c 520s | 21 | 1544759 | 1190445 | 8687 296 | 1048 | 0 522.61/522.70 c 522s | 21 | 1548179 | 1193745 | 8687 296 | 1048 | 0 524.61/524.72 c 524s | 21 | 1551364 | 1196745 | 8687 297 | 1048 | 0 526.61/526.76 c 526s | 21 | 1554459 | 1199645 | 8687 297 | 1048 | 0 528.60/528.77 c 528s | 21 | 1557862 | 1202845 | 8687 298 | 1048 | 0 530.60/530.79 c 530s | 21 | 1560758 | 1205445 | 8687 299 | 1048 | 0 532.71/532.87 c 532s | 21 | 1562661 | 1207145 | 8687 299 | 1048 | 0 534.91/535.00 c 534s | 21 | 1565924 | 1210245 | 8687 300 | 1048 | 0 536.91/537.05 c 536s | 21 | 1569810 | 1213845 | 8687 300 | 1048 | 0 538.92/539.09 c 538s | 21 | 1572796 | 1216745 | 8687 301 | 1048 | 0 541.01/541.13 c 540s | 21 | 1576241 | 1219945 | 8687 301 | 1048 | 0 543.01/543.18 c 542s | 21 | 1579409 | 1223045 | 8687 302 | 1048 | 0 545.11/545.20 c 544s | 21 | 1582877 | 1226345 | 8687 303 | 1048 | 0 547.11/547.24 c 546s | 21 | 1586286 | 1229345 | 8687 303 | 1048 | 0 549.11/549.24 c 548s | 21 | 1588830 | 1231845 | 8687 304 | 1048 | 0 551.12/551.26 c 551s | 21 | 1592251 | 1235045 | 8687 305 | 1048 | 0 553.11/553.27 c 553s | 21 | 1596112 | 1238545 | 8687 305 | 1048 | 0 555.21/555.31 c 555s | 21 | 1600069 | 1242245 | 8687 306 | 1048 | 0 557.21/557.31 c 557s | 21 | 1602465 | 1244545 | 8687 306 | 1048 | 0 559.21/559.34 c 559s | 21 | 1605644 | 1247545 | 8687 307 | 1048 | 0 561.21/561.39 c 561s | 21 | 1608859 | 1250545 | 8687 308 | 1048 | 0 563.31/563.41 c 563s | 21 | 1612990 | 1254245 | 8687 308 | 1048 | 0 565.31/565.41 c 565s | 21 | 1615993 | 1257145 | 8687 309 | 1048 | 0 567.31/567.44 c 567s | 21 | 1618261 | 1259345 | 8687 309 | 1048 | 0 569.31/569.48 c 569s | 21 | 1621643 | 1262445 | 8687 310 | 1048 | 0 571.40/571.51 c 571s | 21 | 1623848 | 1264645 | 8687 310 | 1048 | 0 573.40/573.54 c 573s | 21 | 1625990 | 1266745 | 8687 311 | 1048 | 0 575.50/575.66 c 575s | 21 | 1629076 | 1269745 | 8687 312 | 1048 | 0 577.60/577.72 c 577s | 21 | 1632128 | 1272745 | 8687 312 | 1048 | 0 579.61/579.72 c 579s | 21 | 1635538 | 1275945 | 8687 313 | 1048 | 0 581.70/581.80 c 581s | 21 | 1638880 | 1279145 | 8687 313 | 1048 | 0 583.70/583.87 c 583s | 21 | 1641155 | 1281345 | 8687 314 | 1048 | 0 585.70/585.89 c 585s | 21 | 1644363 | 1284345 | 8687 314 | 1048 | 0 587.80/587.93 c 587s | 21 | 1647860 | 1287545 | 8687 315 | 1048 | 0 589.80/589.93 c 589s | 21 | 1650560 | 1290145 | 8687 316 | 1048 | 0 591.81/591.98 c 591s | 21 | 1653995 | 1293445 | 8687 316 | 1048 | 0 593.80/594.00 c 593s | 21 | 1657560 | 1296745 | 8687 317 | 1048 | 0 595.90/596.02 c 595s | 21 | 1660082 | 1299045 | 8687 317 | 1048 | 0 597.90/598.03 c 597s | 21 | 1662965 | 1301845 | 8687 318 | 1048 | 0 599.90/600.05 c 599s | 21 | 1665869 | 1304645 | 8687 319 | 1048 | 0 601.90/602.06 c 601s | 21 | 1667280 | 1306045 | 8687 319 | 1048 | 0 604.00/604.11 c 603s | 21 | 1670150 | 1308845 | 8687 319 | 1048 | 0 606.00/606.17 c 605s | 21 | 1673390 | 1311945 | 8687 320 | 1048 | 0 607.99/608.18 c 607s | 21 | 1676414 | 1314845 | 8687 321 | 1048 | 0 610.09/610.23 c 609s | 21 | 1679849 | 1318145 | 8687 321 | 1048 | 0 612.09/612.23 c 611s | 21 | 1683346 | 1321345 | 8687 322 | 1048 | 0 614.10/614.25 c 614s | 21 | 1685463 | 1323345 | 8687 322 | 1048 | 0 616.10/616.26 c 616s | 21 | 1688962 | 1326645 | 8687 323 | 1048 | 0 618.21/618.36 c 618s | 21 | 1691566 | 1329145 | 8687 324 | 1048 | 0 620.30/620.41 c 620s | 21 | 1695058 | 1332545 | 8687 324 | 1048 | 0 622.30/622.46 c 622s | 21 | 1698316 | 1335645 | 8687 325 | 1048 | 0 624.40/624.51 c 624s | 21 | 1701362 | 1338645 | 8687 325 | 1048 | 0 626.39/626.57 c 626s | 21 | 1702985 | 1340245 | 8687 326 | 1048 | 0 628.39/628.57 c 628s | 21 | 1706625 | 1343745 | 8687 326 | 1048 | 0 630.69/630.80 c 630s | 21 | 1708808 | 1345845 | 8687 327 | 1048 | 0 632.79/632.91 c 632s | 21 | 1711923 | 1348945 | 8687 328 | 1048 | 0 634.79/634.93 c 634s | 21 | 1715327 | 1352245 | 8687 328 | 1048 | 0 636.80/636.98 c 636s | 21 | 1718248 | 1355045 | 8687 329 | 1048 | 0 638.89/639.00 c 638s | 21 | 1721066 | 1357845 | 8687 329 | 1048 | 0 640.89/641.03 c 640s | 21 | 1724452 | 1361145 | 8687 330 | 1048 | 0 642.89/643.04 c 642s | 21 | 1727335 | 1363945 | 8687 331 | 1048 | 0 644.89/645.09 c 644s | 21 | 1730905 | 1367345 | 8687 331 | 1048 | 0 646.99/647.10 c 646s | 21 | 1734433 | 1370645 | 8687 332 | 1048 | 0 649.00/649.17 c 648s | 21 | 1737563 | 1373645 | 8687 333 | 1048 | 0 651.09/651.23 c 650s | 21 | 1740589 | 1376545 | 8687 333 | 1048 | 0 653.49/653.60 c 653s | 21 | 1742445 | 1378345 | 8687 333 | 1048 | 0 655.49/655.64 c 655s | 21 | 1745898 | 1381645 | 8687 334 | 1048 | 0 657.49/657.69 c 657s | 21 | 1749155 | 1384745 | 8687 335 | 1048 | 0 659.48/659.69 c 659s | 21 | 1753269 | 1387845 | 8687 335 | 1048 | 0 661.58/661.74 c 661s | 21 | 1756956 | 1391445 | 8687 336 | 1048 | 0 663.58/663.76 c 663s | 21 | 1760488 | 1394745 | 8687 337 | 1048 | 0 665.68/665.85 c 665s | 21 | 1766691 | 1400345 | 8687 338 | 1048 | 0 667.69/667.85 c 667s | 21 | 1771996 | 1405045 | 8687 339 | 1048 | 0 669.68/669.88 c 669s | 21 | 1776138 | 1408845 | 8687 340 | 1048 | 0 671.78/671.90 c 671s | 21 | 1780272 | 1412545 | 8687 340 | 1048 | 0 673.78/673.92 c 673s | 21 | 1783931 | 1415945 | 8687 341 | 1048 | 0 675.78/675.95 c 675s | 21 | 1787852 | 1419445 | 8687 342 | 1048 | 0 677.88/678.01 c 677s | 21 | 1791916 | 1423145 | 8687 343 | 1048 | 0 679.98/680.14 c 679s | 21 | 1796064 | 1426845 | 8687 343 | 1048 | 0 681.99/682.15 c 681s | 21 | 1799156 | 1429645 | 8687 344 | 1048 | 0 684.19/684.37 c 684s | 21 | 1802072 | 1432445 | 8687 344 | 1048 | 0 686.18/686.39 c 686s | 21 | 1805682 | 1435845 | 8687 345 | 1048 | 0 688.18/688.39 c 688s | 21 | 1808835 | 1438845 | 8687 346 | 1048 | 0 690.28/690.40 c 690s | 21 | 1812441 | 1442245 | 8687 346 | 1048 | 0 693.19/693.34 c 693s | 21 | 1816332 | 1445845 | 8687 347 | 1048 | 0 695.19/695.36 c 695s | 21 | 1820370 | 1449545 | 8687 348 | 1048 | 0 697.19/697.38 c 697s | 21 | 1824237 | 1452945 | 8687 349 | 1048 | 0 699.29/699.40 c 699s | 21 | 1826709 | 1455045 | 8687 349 | 1048 | 0 701.29/701.44 c 701s | 21 | 1830874 | 1458945 | 8687 350 | 1048 | 0 703.29/703.48 c 703s | 21 | 1834691 | 1462545 | 8687 350 | 1048 | 0 705.38/705.53 c 705s | 21 | 1838492 | 1465945 | 8687 351 | 1048 | 0 707.38/707.54 c 707s | 21 | 1842299 | 1469445 | 8687 352 | 1048 | 0 709.39/709.58 c 709s | 21 | 1845879 | 1472745 | 8687 353 | 1048 | 0 711.48/711.60 c 711s | 21 | 1847965 | 1474745 | 8687 353 | 1048 | 0 713.48/713.65 c 713s | 21 | 1850715 | 1477445 | 8687 353 | 1048 | 0 715.78/715.97 c 715s | 21 | 1853284 | 1479945 | 8687 354 | 1048 | 0 717.78/717.98 c 717s | 21 | 1856737 | 1483345 | 8687 355 | 1048 | 0 719.88/720.02 c 719s | 21 | 1859959 | 1486545 | 8687 355 | 1048 | 0 721.88/722.06 c 721s | 21 | 1863307 | 1489845 | 8687 356 | 1048 | 0 723.88/724.09 c 723s | 21 | 1865935 | 1492445 | 9556 356 | 1048 | 0 725.99/726.15 c 725s | 21 | 1869096 | 1495545 | 9556 357 | 1048 | 0 727.98/728.20 c 727s | 21 | 1871947 | 1498345 | 9556 357 | 1048 | 0 730.08/730.23 c 729s | 22 | 1874255 | 1500622 | 9556 358 | 1048 | 0 732.08/732.25 c 732s | 22 | 1882170 | 1507522 | 9556 359 | 1048 | 0 734.08/734.25 c 734s | 22 | 1888593 | 1513322 | 9556 360 | 1048 | 0 736.07/736.25 c 736s | 22 | 1893584 | 1517622 | 9556 361 | 1048 | 0 738.08/738.27 c 738s | 22 | 1901029 | 1523922 | 9556 362 | 1048 | 0 740.07/740.27 c 740s | 22 | 1908346 | 1530522 | 9556 363 | 1048 | 0 742.17/742.30 c 742s | 22 | 1917253 | 1536922 | 9556 365 | 1048 | 0 744.17/744.31 c 744s | 22 | 1923031 | 1541922 | 9556 365 | 1048 | 0 746.18/746.37 c 746s | 22 | 1925646 | 1544122 | 9556 366 | 1048 | 0 748.18/748.38 c 748s | 22 | 1934926 | 1551222 | 9556 367 | 1048 | 0 750.28/750.41 c 750s | 22 | 1942394 | 1557322 | 9556 368 | 1048 | 0 752.28/752.43 c 752s | 22 | 1949119 | 1562822 | 9556 369 | 1048 | 0 754.27/754.47 c 754s | 22 | 1954640 | 1567822 | 9556 370 | 1048 | 0 756.27/756.48 c 756s | 22 | 1959388 | 1572022 | 9556 371 | 1048 | 0 758.37/758.56 c 758s | 22 | 1964216 | 1576022 | 9556 372 | 1048 | 0 760.37/760.56 c 760s | 22 | 1973323 | 1582422 | 9556 373 | 1048 | 0 762.37/762.59 c 762s | 22 | 1980500 | 1587922 | 9556 374 | 1048 | 0 764.38/764.59 c 764s | 22 | 1987048 | 1593422 | 9556 375 | 1048 | 0 766.47/766.61 c 766s | 22 | 1994532 | 1599522 | 9556 376 | 1048 | 0 768.47/768.65 c 768s | 22 | 2001043 | 1604922 | 9556 377 | 1048 | 0 770.47/770.66 c 770s | 22 | 2006100 | 1609222 | 9556 378 | 1048 | 0 772.47/772.67 c 772s | 22 | 2012195 | 1614422 | 9556 379 | 1048 | 0 774.47/774.70 c 774s | 22 | 2018515 | 1619622 | 9556 380 | 1048 | 0 776.47/776.70 c 776s | 22 | 2023134 | 1623722 | 9556 381 | 1048 | 0 778.57/778.70 c 778s | 22 | 2029851 | 1628922 | 9556 382 | 1048 | 0 780.57/780.73 c 780s | 22 | 2037153 | 1634722 | 9556 383 | 1048 | 0 782.57/782.75 c 782s | 22 | 2043362 | 1639822 | 9556 384 | 1048 | 0 784.57/784.78 c 784s | 22 | 2049544 | 1645122 | 9556 385 | 1048 | 0 786.67/786.87 c 786s | 22 | 2054092 | 1649122 | 9556 386 | 1048 | 0 788.67/788.87 c 788s | 22 | 2060143 | 1654222 | 9556 386 | 1048 | 0 790.67/790.89 c 790s | 22 | 2065662 | 1659222 | 9556 387 | 1048 | 0 793.07/793.23 c 792s | 22 | 2069519 | 1662522 | 9556 388 | 1048 | 0 795.07/795.23 c 794s | 22 | 2077374 | 1668522 | 9556 389 | 1048 | 0 797.06/797.25 c 797s | 22 | 2085158 | 1674822 | 9556 390 | 1048 | 0 799.06/799.26 c 799s | 22 | 2092973 | 1681222 | 9556 391 | 1048 | 0 801.06/801.27 c 801s | 22 | 2100693 | 1686822 | 9556 393 | 1048 | 0 803.06/803.28 c 803s | 22 | 2107971 | 1692222 | 9556 394 | 1048 | 0 805.07/805.29 c 805s | 22 | 2116355 | 1697822 | 9556 395 | 1048 | 0 807.16/807.31 c 807s | 22 | 2124971 | 1704222 | 9556 396 | 1048 | 0 809.16/809.32 c 809s | 22 | 2133030 | 1710322 | 9556 397 | 1048 | 0 811.16/811.33 c 811s | 22 | 2140944 | 1716922 | 9556 398 | 1048 | 0 813.16/813.35 c 813s | 22 | 2147894 | 1722922 | 9556 399 | 1048 | 0 815.17/815.38 c 815s | 22 | 2153618 | 1727822 | 9556 400 | 1048 | 0 817.17/817.40 c 817s | 22 | 2160169 | 1733322 | 9556 401 | 1048 | 0 819.27/819.42 c 819s | 22 | 2166029 | 1738322 | 9556 402 | 1048 | 0 821.37/821.50 c 821s | 22 | 2171119 | 1742722 | 9556 403 | 1048 | 0 823.36/823.56 c 823s | 22 | 2174847 | 1745822 | 9556 404 | 1048 | 0 825.36/825.57 c 825s | 22 | 2181631 | 1751322 | 9556 405 | 1048 | 0 827.36/827.58 c 827s | 22 | 2187683 | 1756022 | 9556 405 | 1048 | 0 829.46/829.60 c 829s | 22 | 2196177 | 1762622 | 9556 407 | 1048 | 0 831.66/831.86 c 831s | 22 | 2203135 | 1768022 | 9556 408 | 1048 | 0 833.96/834.18 c 833s | 22 | 2211129 | 1774322 | 9556 409 | 1048 | 0 836.06/836.25 c 836s | 22 | 2220249 | 1781322 | 9556 410 | 1048 | 0 838.06/838.27 c 838s | 22 | 2228765 | 1788022 | 9556 411 | 1048 | 0 840.17/840.32 c 840s | 22 | 2236998 | 1793922 | 9556 413 | 1048 | 0 842.17/842.35 c 842s | 22 | 2244455 | 1798822 | 9556 413 | 1065 | 0 844.16/844.35 c 844s | 22 | 2249287 | 1802622 | 9556 413 | 1065 | 0 846.16/846.37 c 846s | 22 | 2255027 | 1806622 | 9556 414 | 1065 | 0 848.26/848.47 c 848s | 22 | 2261750 | 1810522 | 9556 415 | 1065 | 0 850.27/850.48 c 850s | 22 | 2267483 | 1814422 | 9556 415 | 1065 | 0 852.37/852.54 c 852s | 22 | 2272634 | 1818222 | 9556 416 | 1065 | 0 854.46/854.65 c 854s | 22 | 2277627 | 1821622 | 9556 417 | 1065 | 0 856.46/856.66 c 856s | 22 | 2283275 | 1825122 | 9556 417 | 1065 | 0 858.56/858.70 c 858s | 22 | 2289447 | 1829122 | 9556 418 | 1065 | 0 860.66/860.82 c 860s | 22 | 2294483 | 1832722 | 9556 419 | 1065 | 0 862.66/862.86 c 862s | 22 | 2300278 | 1836722 | 9556 419 | 1065 | 0 864.66/864.86 c 864s | 22 | 2305032 | 1839922 | 9556 420 | 1065 | 0 866.77/866.92 c 866s | 22 | 2309924 | 1843622 | 9556 420 | 1065 | 0 868.76/868.93 c 868s | 22 | 2314093 | 1847122 | 9556 421 | 1065 | 0 870.76/870.94 c 870s | 22 | 2318398 | 1850522 | 9556 422 | 1065 | 0 872.76/872.97 c 872s | 22 | 2322623 | 1853722 | 9556 422 | 1065 | 0 874.96/875.12 c 874s | 22 | 2326765 | 1856222 | 9556 423 | 1065 | 0 876.95/877.14 c 876s | 22 | 2333360 | 1859722 | 9556 423 | 1065 | 0 878.95/879.14 c 878s | 22 | 2339479 | 1863622 | 9556 424 | 1065 | 0 880.96/881.15 c 880s | 22 | 2344961 | 1867322 | 9556 425 | 1065 | 0 882.95/883.16 c 882s | 22 | 2350418 | 1871222 | 9556 425 | 1065 | 0 884.95/885.16 c 884s | 22 | 2357330 | 1875122 | 9556 426 | 1065 | 0 886.95/887.17 c 886s | 22 | 2363063 | 1878422 | 9556 427 | 1065 | 0 888.95/889.18 c 888s | 22 | 2369896 | 1882022 | 9556 427 | 1065 | 0 890.96/891.19 c 890s | 22 | 2376081 | 1885222 | 9556 428 | 1065 | 0 893.06/893.21 c 892s | 22 | 2381720 | 1888522 | 9556 429 | 1065 | 0 895.05/895.28 c 895s | 22 | 2387653 | 1892422 | 9556 429 | 1065 | 0 897.46/897.65 c 897s | 22 | 2392260 | 1896022 | 9556 430 | 1065 | 0 899.45/899.69 c 899s | 22 | 2398068 | 1900922 | 9556 431 | 1065 | 0 901.65/901.82 c 901s | 22 | 2403889 | 1905922 | 9556 432 | 1065 | 0 903.65/903.84 c 903s | 22 | 2409775 | 1911022 | 9556 433 | 1065 | 0 905.65/905.86 c 905s | 22 | 2415328 | 1915222 | 9556 433 | 1065 | 0 907.65/907.87 c 907s | 22 | 2422289 | 1919222 | 9556 434 | 1065 | 0 909.75/909.90 c 909s | 22 | 2427912 | 1922822 | 9556 435 | 1065 | 0 911.75/911.91 c 911s | 22 | 2432633 | 1926522 | 9556 435 | 1065 | 0 913.75/913.93 c 913s | 22 | 2441600 | 1934122 | 9556 437 | 1068 | 0 915.75/915.94 c 915s | 22 | 2446749 | 1939122 | 9556 438 | 1068 | 0 917.75/917.95 c 917s | 22 | 2455674 | 1943722 | 9556 439 | 1068 | 0 919.75/919.99 c 919s | 22 | 2466266 | 1947722 | 9556 439 | 1068 | 0 921.84/922.02 c 921s | 22 | 2477522 | 1951522 | 9556 440 | 1068 | 0 923.85/924.05 c 923s | 22 | 2488579 | 1956422 | 9556 441 | 1068 | 0 925.84/926.07 c 925s | 22 | 2497620 | 1962922 | 9556 442 | 1068 | 0 927.84/928.09 c 927s | 22 | 2505423 | 1968822 | 9556 443 | 1068 | 0 929.94/930.10 c 929s | 22 | 2513270 | 1975222 | 9556 444 | 1068 | 0 931.95/932.11 c 931s | 22 | 2521250 | 1981822 | 9556 446 | 1068 | 0 933.95/934.12 c 933s | 22 | 2525730 | 1985422 | 9556 446 | 1068 | 0 935.95/936.15 c 935s | 22 | 2533017 | 1991522 | 9556 448 | 1068 | 0 938.05/938.30 c 938s | 22 | 2539537 | 1996922 | 9556 449 | 1068 | 0 940.14/940.32 c 940s | 22 | 2545254 | 2001622 | 9556 449 | 1068 | 0 942.14/942.33 c 942s | 22 | 2552418 | 2007622 | 9556 451 | 1068 | 0 944.14/944.35 c 944s | 22 | 2560018 | 2014022 | 9556 452 | 1068 | 0 946.24/946.45 c 946s | 22 | 2566544 | 2019322 | 9556 453 | 1068 | 0 948.24/948.45 c 948s | 22 | 2573778 | 2025422 | 9556 454 | 1068 | 0 950.25/950.46 c 950s | 22 | 2580844 | 2031522 | 9556 455 | 1068 | 0 952.24/952.49 c 952s | 22 | 2583439 | 2033622 | 9556 455 | 1068 | 0 954.34/954.52 c 954s | 22 | 2591198 | 2039222 | 9556 456 | 1068 | 0 956.45/956.69 c 956s | 22 | 2592079 | 2039922 | 9556 456 | 1068 | 0 958.55/958.72 c 958s | 22 | 2601618 | 2048422 | 9556 458 | 1068 | 0 960.55/960.75 c 960s | 22 | 2607193 | 2053522 | 9556 459 | 1068 | 0 962.55/962.79 c 962s | 22 | 2611968 | 2057222 | 9556 460 | 1068 | 0 964.55/964.79 c 964s | 22 | 2620080 | 2063822 | 9556 461 | 1068 | 0 966.65/966.81 c 966s | 22 | 2628451 | 2070422 | 9556 462 | 1068 | 0 968.95/969.19 c 968s | 22 | 2633140 | 2074322 | 9556 463 | 1068 | 0 971.04/971.20 c 970s | 22 | 2638321 | 2079422 | 9556 463 | 1068 | 0 973.04/973.21 c 972s | 22 | 2644223 | 2083222 | 9556 464 | 1068 | 0 975.04/975.21 c 974s | 22 | 2652398 | 2089822 | 9556 465 | 1068 | 0 977.04/977.23 c 976s | 22 | 2659267 | 2095922 | 9556 467 | 1068 | 0 979.04/979.24 c 978s | 22 | 2665035 | 2101222 | 9556 468 | 1068 | 0 981.05/981.26 c 981s | 22 | 2670176 | 2106122 | 9556 468 | 1068 | 0 983.04/983.27 c 983s | 22 | 2674624 | 2110122 | 9556 469 | 1068 | 0 985.14/985.31 c 985s | 22 | 2678921 | 2114122 | 9556 470 | 1068 | 0 987.24/987.43 c 987s | 22 | 2682766 | 2117622 | 9556 471 | 1068 | 0 989.24/989.47 c 989s | 22 | 2687216 | 2121822 | 9556 471 | 1068 | 0 991.34/991.52 c 991s | 22 | 2690700 | 2125122 | 9556 472 | 1068 | 0 994.64/994.86 c 994s | 22 | 2694295 | 2128622 | 9556 473 | 1068 | 0 996.64/996.89 c 996s | 22 | 2698957 | 2133022 | 9556 473 | 1068 | 0 998.74/998.92 c 998s | 22 | 2702927 | 2136822 | 9556 474 | 1068 | 0 1000.84/1001.02 c 1000s | 22 | 2705719 | 2139522 | 9556 475 | 1068 | 0 1002.83/1003.04 c 1002s | 22 | 2709610 | 2143222 | 9556 475 | 1068 | 0 1004.83/1005.07 c 1004s | 22 | 2713311 | 2146822 | 9556 476 | 1068 | 0 1006.83/1007.09 c 1006s | 22 | 2716543 | 2149722 | 9556 476 | 1068 | 0 1008.84/1009.09 c 1008s | 22 | 2721277 | 2154222 | 9556 477 | 1068 | 0 1010.94/1011.13 c 1010s | 22 | 2725879 | 2158622 | 9556 478 | 1068 | 0 1012.95/1013.14 c 1012s | 22 | 2729018 | 2161622 | 9556 479 | 1068 | 0 1014.94/1015.18 c 1014s | 22 | 2733614 | 2166022 | 9556 479 | 1068 | 0 1017.34/1017.53 c 1017s | 22 | 2735800 | 2168122 | 9556 480 | 1068 | 0 1019.64/1019.82 c 1019s | 22 | 2740034 | 2172222 | 9556 481 | 1068 | 0 1021.64/1021.87 c 1021s | 22 | 2744746 | 2176422 | 9556 481 | 1068 | 0 1023.74/1023.91 c 1023s | 22 | 2748408 | 2179822 | 9556 482 | 1068 | 0 1025.74/1025.94 c 1025s | 22 | 2752314 | 2183422 | 9556 483 | 1068 | 0 1027.74/1027.96 c 1027s | 22 | 2756594 | 2187522 | 9556 483 | 1068 | 0 1029.93/1030.11 c 1029s | 22 | 2758801 | 2189622 | 9556 484 | 1068 | 0 1031.93/1032.16 c 1031s | 22 | 2763084 | 2193722 | 9556 484 | 1068 | 0 1033.94/1034.17 c 1033s | 22 | 2767038 | 2197422 | 9556 485 | 1068 | 0 1036.04/1036.21 c 1035s | 22 | 2770525 | 2200822 | 9556 486 | 1068 | 0 1038.03/1038.25 c 1038s | 22 | 2772268 | 2202322 | 9556 486 | 1068 | 0 1040.03/1040.26 c 1040s | 22 | 2776712 | 2206422 | 9556 487 | 1068 | 0 1042.03/1042.26 c 1042s | 22 | 2780960 | 2210422 | 9556 487 | 1068 | 0 1044.03/1044.26 c 1044s | 22 | 2784050 | 2213322 | 9556 488 | 1068 | 0 1046.13/1046.30 c 1046s | 22 | 2787983 | 2217122 | 9556 489 | 1068 | 0 1048.13/1048.31 c 1048s | 22 | 2791265 | 2220322 | 9556 489 | 1068 | 0 1050.63/1050.84 c 1050s | 22 | 2794223 | 2223222 | 9556 490 | 1068 | 0 1052.63/1052.89 c 1052s | 22 | 2798207 | 2226922 | 9556 491 | 1068 | 0 1054.73/1054.93 c 1054s | 22 | 2802363 | 2230822 | 9556 491 | 1068 | 0 1056.73/1056.95 c 1056s | 22 | 2806230 | 2234522 | 9556 492 | 1068 | 0 1058.83/1059.07 c 1058s | 22 | 2810647 | 2238722 | 10512 493 | 1068 | 0 1060.82/1061.07 c 1060s | 22 | 2814512 | 2242422 | 10512 493 | 1068 | 0 1062.92/1063.12 c 1062s | 22 | 2818200 | 2245922 | 10512 494 | 1068 | 0 1064.92/1065.17 c 1064s | 22 | 2822294 | 2249922 | 10512 494 | 1068 | 0 1065.84/1066.06 c 1065s | 23 | 2823635 | 2251038 | 10512 495 | 1068 | 0 1067.83/1068.10 c 1067s | 23 | 2826323 | 2253138 | 10512 495 | 1068 | 0 1069.93/1070.11 c 1069s | 23 | 2834988 | 2259238 | 10512 496 | 1068 | 0 1071.93/1072.13 c 1071s | 23 | 2841956 | 2265538 | 10512 497 | 1068 | 0 1074.03/1074.24 c 1073s | 23 | 2847004 | 2269938 | 10512 498 | 1068 | 0 1076.13/1076.37 c 1076s | 23 | 2848293 | 2270938 | 10512 498 | 1069 | 0 1078.23/1078.42 c 1078s | 23 | 2853418 | 2275438 | 10512 499 | 1069 | 0 1080.22/1080.48 c 1080s | 23 | 2856246 | 2278238 | 10512 499 | 1069 | 0 1082.23/1082.49 c 1082s | 23 | 2859646 | 2281438 | 10512 500 | 1069 | 0 1084.32/1084.53 c 1084s | 23 | 2865458 | 2285838 | 10512 501 | 1069 | 0 1086.32/1086.55 c 1086s | 23 | 2870651 | 2289838 | 10512 501 | 1069 | 0 1088.32/1088.57 c 1088s | 23 | 2874847 | 2293338 | 10512 502 | 1069 | 0 1090.42/1090.62 c 1090s | 23 | 2878229 | 2296138 | 10512 502 | 1069 | 0 1092.42/1092.63 c 1092s | 23 | 2882669 | 2299638 | 10512 503 | 1069 | 0 1094.43/1094.64 c 1094s | 23 | 2887908 | 2303538 | 10512 504 | 1069 | 0 1096.42/1096.64 c 1096s | 23 | 2893387 | 2307938 | 10512 504 | 1069 | 0 1098.42/1098.68 c 1098s | 23 | 2898858 | 2311738 | 10512 505 | 1069 | 0 1100.62/1100.81 c 1100s | 23 | 2903091 | 2315138 | 10512 506 | 1069 | 0 1102.62/1102.87 c 1102s | 23 | 2908101 | 2318738 | 10512 506 | 1069 | 0 1104.62/1104.87 c 1104s | 23 | 2912294 | 2321938 | 10512 507 | 1069 | 0 1106.63/1106.88 c 1106s | 23 | 2917188 | 2325438 | 10512 507 | 1069 | 0 1108.63/1108.89 c 1108s | 23 | 2921665 | 2328738 | 10512 508 | 1069 | 0 1110.83/1111.01 c 1110s | 23 | 2925886 | 2332138 | 10512 508 | 1069 | 0 1112.82/1113.03 c 1112s | 23 | 2930728 | 2335638 | 10512 509 | 1069 | 0 1114.82/1115.09 c 1114s | 23 | 2935476 | 2339138 | 10512 510 | 1069 | 0 1116.92/1117.11 c 1116s | 23 | 2939361 | 2342438 | 10512 510 | 1069 | 0 1118.92/1119.11 c 1118s | 23 | 2944299 | 2345738 | 10512 511 | 1069 | 0 1120.92/1121.16 c 1120s | 23 | 2950065 | 2349738 | 10512 511 | 1069 | 0 1122.93/1123.17 c 1122s | 23 | 2954686 | 2353138 | 10512 512 | 1069 | 0 1125.02/1125.20 c 1124s | 23 | 2958707 | 2356238 | 10512 513 | 1069 | 0 1127.12/1127.36 c 1127s | 23 | 2963406 | 2360238 | 10512 513 | 1069 | 0 1129.22/1129.41 c 1129s | 23 | 2968011 | 2363638 | 10512 514 | 1069 | 0 1131.42/1131.61 c 1131s | 23 | 2974184 | 2368838 | 10512 515 | 1069 | 0 1133.42/1133.64 c 1133s | 23 | 2979468 | 2372838 | 10512 515 | 1069 | 0 1135.42/1135.66 c 1135s | 23 | 2984233 | 2376638 | 10512 516 | 1069 | 0 1137.42/1137.67 c 1137s | 23 | 2988454 | 2379938 | 10512 517 | 1069 | 0 1139.42/1139.68 c 1139s | 23 | 2993004 | 2383638 | 10512 517 | 1069 | 0 1141.81/1142.00 c 1141s | 23 | 2996165 | 2386138 | 10512 518 | 1069 | 0 1143.82/1144.06 c 1143s | 23 | 3000437 | 2389138 | 10512 518 | 1069 | 0 1145.91/1146.10 c 1145s | 23 | 3005284 | 2392538 | 10512 519 | 1069 | 0 1147.91/1148.13 c 1147s | 23 | 3010784 | 2395838 | 10512 519 | 1069 | 0 1149.91/1150.15 c 1149s | 23 | 3015239 | 2399038 | 10512 520 | 1069 | 0 1151.90/1152.19 c 1151s | 23 | 3020013 | 2402638 | 10512 520 | 1069 | 0 1154.00/1154.20 c 1153s | 23 | 3024735 | 2406238 | 10512 521 | 1069 | 0 1156.01/1156.21 c 1155s | 23 | 3028866 | 2409838 | 10512 522 | 1069 | 0 1158.00/1158.21 c 1157s | 23 | 3033739 | 2413538 | 10512 522 | 1069 | 0 1160.00/1160.23 c 1159s | 23 | 3038603 | 2417438 | 10512 523 | 1069 | 0 1162.00/1162.27 c 1162s | 23 | 3042040 | 2420438 | 10512 523 | 1069 | 0 1164.00/1164.29 c 1164s | 23 | 3046479 | 2423838 | 10512 524 | 1069 | 0 1166.10/1166.31 c 1166s | 23 | 3051766 | 2427538 | 10512 525 | 1069 | 0 1168.10/1168.34 c 1168s | 23 | 3056240 | 2430638 | 10512 525 | 1069 | 0 1170.10/1170.35 c 1170s | 23 | 3060895 | 2434438 | 10512 526 | 1069 | 0 1172.09/1172.36 c 1172s | 23 | 3065838 | 2437738 | 10512 526 | 1069 | 0 1174.09/1174.36 c 1174s | 23 | 3071342 | 2441438 | 10512 527 | 1069 | 0 1176.10/1176.38 c 1176s | 23 | 3075263 | 2444438 | 10512 528 | 1069 | 0 1178.20/1178.42 c 1178s | 23 | 3080083 | 2448038 | 10512 528 | 1069 | 0 1180.20/1180.46 c 1180s | 23 | 3084668 | 2451538 | 10512 529 | 1069 | 0 1182.19/1182.50 c 1182s | 23 | 3089192 | 2455238 | 10512 529 | 1069 | 0 1184.29/1184.51 c 1184s | 23 | 3093568 | 2458738 | 10512 530 | 1069 | 0 1186.29/1186.55 c 1186s | 23 | 3097651 | 2461838 | 10512 531 | 1069 | 0 1188.39/1188.60 c 1188s | 23 | 3101888 | 2465438 | 10512 531 | 1069 | 0 1190.39/1190.61 c 1190s | 23 | 3103832 | 2466838 | 10512 531 | 1069 | 0 1192.39/1192.63 c 1192s | 23 | 3107786 | 2469438 | 10512 532 | 1069 | 0 1194.39/1194.65 c 1194s | 23 | 3112576 | 2472738 | 10512 532 | 1069 | 0 1196.39/1196.68 c 1196s | 23 | 3117147 | 2476038 | 10512 533 | 1069 | 0 1198.49/1198.70 c 1198s | 23 | 3120906 | 2478938 | 10512 533 | 1069 | 0 1200.49/1200.73 c 1200s | 23 | 3125286 | 2482338 | 10512 534 | 1069 | 0 1202.88/1203.15 c 1202s | 23 | 3128942 | 2485338 | 10512 535 | 1069 | 0 1204.98/1205.22 c 1204s | 23 | 3133387 | 2488438 | 10512 535 | 1069 | 0 1206.98/1207.23 c 1206s | 23 | 3137248 | 2491038 | 10512 536 | 1069 | 0 1208.98/1209.28 c 1209s | 23 | 3141410 | 2493938 | 10512 536 | 1069 | 0 1211.07/1211.32 c 1211s | 23 | 3146547 | 2497238 | 10512 537 | 1069 | 0 1213.08/1213.35 c 1213s | 23 | 3151234 | 2500638 | 10512 537 | 1069 | 0 1215.17/1215.42 c 1215s | 23 | 3154782 | 2503638 | 10512 538 | 1069 | 0 1217.17/1217.47 c 1217s | 23 | 3160880 | 2508138 | 10512 538 | 1069 | 0 1219.27/1219.50 c 1219s | 23 | 3164953 | 2510838 | 10512 539 | 1069 | 0 1221.27/1221.55 c 1221s | 23 | 3169629 | 2514338 | 10512 540 | 1069 | 0 1223.37/1223.60 c 1223s | 23 | 3174464 | 2517738 | 10512 540 | 1069 | 0 1225.37/1225.63 c 1225s | 23 | 3179791 | 2521538 | 10512 541 | 1069 | 0 1227.37/1227.66 c 1227s | 23 | 3184227 | 2524838 | 10512 541 | 1069 | 0 1229.47/1229.79 c 1229s | 23 | 3189297 | 2528538 | 10512 542 | 1069 | 0 1231.67/1231.98 c 1231s | 23 | 3193628 | 2531738 | 10512 542 | 1069 | 0 1233.66/1233.99 c 1233s | 23 | 3198504 | 2535138 | 10512 543 | 1069 | 0 1235.76/1236.02 c 1235s | 23 | 3203078 | 2538038 | 10512 544 | 1069 | 0 1237.76/1238.03 c 1237s | 23 | 3207243 | 2541238 | 10512 544 | 1069 | 0 1239.76/1240.06 c 1239s | 23 | 3211734 | 2544638 | 10512 545 | 1069 | 0 1241.77/1242.08 c 1241s | 23 | 3216134 | 2547938 | 10512 545 | 1069 | 0 1243.87/1244.13 c 1243s | 23 | 3219191 | 2550238 | 10512 546 | 1069 | 0 1245.87/1246.18 c 1245s | 23 | 3223791 | 2553638 | 10512 546 | 1069 | 0 1247.97/1248.22 c 1247s | 23 | 3227641 | 2556438 | 10512 547 | 1069 | 0 1249.97/1250.28 c 1250s | 23 | 3231991 | 2559738 | 10512 547 | 1069 | 0 1252.06/1252.30 c 1252s | 23 | 3235833 | 2562338 | 10512 548 | 1069 | 0 1254.06/1254.36 c 1254s | 23 | 3240868 | 2566038 | 10512 548 | 1069 | 0 1256.26/1256.59 c 1256s | 23 | 3245415 | 2570038 | 10512 549 | 1069 | 0 1258.36/1258.60 c 1258s | 23 | 3249956 | 2573238 | 10512 550 | 1069 | 0 1260.37/1260.63 c 1260s | 23 | 3254667 | 2576738 | 10512 550 | 1069 | 0 1262.36/1262.64 c 1262s | 23 | 3259205 | 2579938 | 10512 551 | 1069 | 0 1264.36/1264.64 c 1264s | 23 | 3263350 | 2583138 | 10512 551 | 1069 | 0 1266.36/1266.64 c 1266s | 23 | 3267058 | 2585738 | 10512 552 | 1069 | 0 1268.36/1268.68 c 1268s | 23 | 3271831 | 2589338 | 10512 552 | 1069 | 0 1270.45/1270.70 c 1270s | 23 | 3275406 | 2592038 | 10512 553 | 1069 | 0 1272.46/1272.73 c 1272s | 23 | 3280058 | 2595238 | 10512 553 | 1069 | 0 1274.45/1274.76 c 1274s | 23 | 3284747 | 2598338 | 10512 554 | 1069 | 0 1276.75/1277.08 c 1276s | 23 | 3289636 | 2602338 | 10512 555 | 1069 | 0 1278.85/1279.15 c 1278s | 23 | 3295182 | 2605738 | 10512 555 | 1069 | 0 1280.95/1281.20 c 1280s | 23 | 3299105 | 2608838 | 10512 556 | 1069 | 0 1282.95/1283.21 c 1282s | 23 | 3302937 | 2612138 | 10512 556 | 1069 | 0 1284.94/1285.23 c 1284s | 23 | 3307344 | 2615638 | 10512 557 | 1069 | 0 1286.94/1287.24 c 1286s | 23 | 3311965 | 2618938 | 10512 557 | 1069 | 0 1288.96/1289.24 c 1288s | 23 | 3315865 | 2622138 | 10512 558 | 1069 | 0 1290.95/1291.29 c 1291s | 23 | 3320189 | 2625638 | 10512 559 | 1069 | 0 1293.15/1293.49 c 1293s | 23 | 3324236 | 2629038 | 10512 559 | 1069 | 0 1295.25/1295.52 c 1295s | 23 | 3327836 | 2631538 | 10512 560 | 1069 | 0 1297.25/1297.56 c 1297s | 23 | 3332765 | 2635438 | 10512 560 | 1069 | 0 1299.25/1299.58 c 1299s | 23 | 3336732 | 2638538 | 10512 561 | 1069 | 0 1301.35/1301.63 c 1301s | 23 | 3341216 | 2642038 | 10512 561 | 1069 | 0 1303.35/1303.67 c 1303s | 23 | 3344720 | 2645038 | 10512 562 | 1069 | 0 1305.45/1305.71 c 1305s | 23 | 3348434 | 2648238 | 10512 562 | 1069 | 0 1307.44/1307.72 c 1307s | 23 | 3352256 | 2651338 | 10512 563 | 1069 | 0 1310.95/1311.21 c 1310s | 23 | 3357398 | 2655638 | 10512 564 | 1069 | 0 1312.94/1313.26 c 1313s | 23 | 3361675 | 2658938 | 10512 564 | 1069 | 0 1314.94/1315.28 c 1315s | 23 | 3364690 | 2661438 | 10512 565 | 1069 | 0 1317.04/1317.33 c 1317s | 23 | 3370196 | 2665638 | 10512 565 | 1069 | 0 1319.14/1319.44 c 1319s | 23 | 3374840 | 2668838 | 10512 566 | 1069 | 0 1321.24/1321.50 c 1321s | 23 | 3378368 | 2671638 | 10512 566 | 1069 | 0 1323.23/1323.55 c 1323s | 23 | 3382153 | 2674638 | 10512 567 | 1069 | 0 1325.34/1325.61 c 1325s | 23 | 3387010 | 2678238 | 10512 568 | 1069 | 0 1327.33/1327.64 c 1327s | 23 | 3391686 | 2681938 | 10512 568 | 1069 | 0 1329.33/1329.66 c 1329s | 23 | 3394935 | 2684538 | 10512 569 | 1069 | 0 1331.43/1331.71 c 1331s | 23 | 3399508 | 2688238 | 10512 569 | 1069 | 0 1333.43/1333.71 c 1333s | 23 | 3404593 | 2692238 | 10512 570 | 1069 | 0 1335.43/1335.75 c 1335s | 23 | 3411047 | 2697138 | 10512 571 | 1069 | 0 1337.53/1337.80 c 1337s | 23 | 3413839 | 2699638 | 10512 571 | 1069 | 0 1339.53/1339.82 c 1339s | 23 | 3417884 | 2702938 | 10512 572 | 1069 | 0 1341.53/1341.85 c 1341s | 23 | 3422953 | 2706838 | 10512 572 | 1069 | 0 1343.52/1343.89 c 1343s | 23 | 3428462 | 2710938 | 10512 573 | 1069 | 0 1345.62/1345.92 c 1345s | 23 | 3433041 | 2714638 | 10512 574 | 1069 | 0 1347.83/1348.16 c 1347s | 23 | 3436809 | 2717738 | 10512 574 | 1069 | 0 1349.83/1350.20 c 1349s | 23 | 3440310 | 2720638 | 10512 575 | 1069 | 0 1351.93/1352.29 c 1352s | 23 | 3444943 | 2724038 | 10512 575 | 1069 | 0 1354.03/1354.30 c 1354s | 23 | 3449759 | 2727338 | 10512 576 | 1069 | 0 1356.03/1356.36 c 1356s | 23 | 3454590 | 2730938 | 10512 577 | 1069 | 0 1358.13/1358.40 c 1358s | 23 | 3458570 | 2734038 | 10512 577 | 1069 | 0 1360.13/1360.42 c 1360s | 23 | 3464524 | 2739138 | 10512 578 | 1069 | 0 1362.12/1362.48 c 1362s | 23 | 3468760 | 2742738 | 10512 579 | 1069 | 0 1364.12/1364.49 c 1364s | 23 | 3473256 | 2746538 | 10512 579 | 1069 | 0 1366.22/1366.51 c 1366s | 23 | 3478459 | 2750938 | 10512 580 | 1069 | 0 1368.32/1368.60 c 1368s | 23 | 3482510 | 2754438 | 10512 581 | 1069 | 0 1370.33/1370.61 c 1370s | 23 | 3487114 | 2758238 | 10512 581 | 1069 | 0 1372.32/1372.63 c 1372s | 23 | 3490996 | 2761738 | 10512 582 | 1069 | 0 1375.62/1375.91 c 1375s | 23 | 3493982 | 2764538 | 10512 582 | 1069 | 0 1377.62/1377.92 c 1377s | 23 | 3499324 | 2768538 | 10512 583 | 1069 | 0 1379.62/1379.92 c 1379s | 23 | 3503806 | 2771938 | 10512 584 | 1069 | 0 1381.61/1381.99 c 1381s | 23 | 3508406 | 2775538 | 10512 584 | 1069 | 0 1383.62/1383.99 c 1383s | 23 | 3512780 | 2778738 | 10512 585 | 1069 | 0 1385.61/1386.00 c 1385s | 23 | 3517386 | 2782438 | 10512 585 | 1069 | 0 1387.71/1388.06 c 1387s | 23 | 3521157 | 2785338 | 10512 586 | 1069 | 0 1389.81/1390.10 c 1389s | 23 | 3526983 | 2789438 | 10512 586 | 1069 | 0 1391.81/1392.13 c 1391s | 23 | 3530489 | 2792338 | 10512 587 | 1069 | 0 1393.81/1394.13 c 1393s | 23 | 3535001 | 2795938 | 10512 588 | 1069 | 0 1395.81/1396.14 c 1395s | 23 | 3539901 | 2800038 | 10512 588 | 1069 | 0 1397.81/1398.16 c 1397s | 23 | 3543654 | 2803238 | 10512 589 | 1069 | 0 1399.91/1400.20 c 1399s | 23 | 3547871 | 2806638 | 10512 589 | 1069 | 0 1401.91/1402.25 c 1402s | 23 | 3552547 | 2810338 | 10512 590 | 1069 | 0 1403.91/1404.25 c 1404s | 23 | 3556380 | 2813338 | 10512 591 | 1069 | 0 1405.91/1406.29 c 1406s | 23 | 3561314 | 2816938 | 10512 591 | 1069 | 0 1407.91/1408.29 c 1408s | 23 | 3565541 | 2820438 | 10512 592 | 1069 | 0 1409.92/1410.30 c 1410s | 23 | 3570175 | 2824038 | 10512 592 | 1069 | 0 1412.01/1412.32 c 1412s | 23 | 3573459 | 2826938 | 10512 593 | 1069 | 0 1414.01/1414.33 c 1414s | 23 | 3577791 | 2830338 | 10512 593 | 1069 | 0 1416.01/1416.36 c 1416s | 23 | 3581286 | 2833338 | 10512 594 | 1069 | 0 1418.01/1418.39 c 1418s | 23 | 3585656 | 2837038 | 10512 595 | 1069 | 0 1420.11/1420.43 c 1420s | 23 | 3589444 | 2840338 | 10512 595 | 1069 | 0 1422.11/1422.45 c 1422s | 23 | 3593701 | 2844138 | 10512 596 | 1069 | 0 1424.10/1424.46 c 1424s | 23 | 3597482 | 2846838 | 10512 596 | 1069 | 0 1426.10/1426.48 c 1426s | 23 | 3602148 | 2850338 | 10512 597 | 1069 | 0 1428.20/1428.53 c 1428s | 23 | 3606450 | 2853538 | 10512 597 | 1069 | 0 1430.30/1430.61 c 1430s | 23 | 3611265 | 2856838 | 10512 598 | 1069 | 0 1432.30/1432.63 c 1432s | 23 | 3615087 | 2860038 | 10512 599 | 1069 | 0 1434.30/1434.66 c 1434s | 23 | 3621167 | 2865438 | 10512 599 | 1069 | 0 1436.30/1436.66 c 1436s | 23 | 3624529 | 2867938 | 10512 600 | 1069 | 0 1438.40/1438.73 c 1438s | 23 | 3629346 | 2871638 | 10512 601 | 1069 | 0 1440.40/1440.77 c 1440s | 23 | 3633874 | 2875238 | 10512 601 | 1069 | 0 1442.49/1442.80 c 1442s | 23 | 3637965 | 2878338 | 10512 602 | 1069 | 0 1444.49/1444.82 c 1444s | 23 | 3642775 | 2881938 | 10512 602 | 1069 | 0 1446.49/1446.82 c 1446s | 23 | 3647145 | 2885438 | 10512 603 | 1069 | 0 1448.50/1448.85 c 1448s | 23 | 3651333 | 2888938 | 10512 603 | 1069 | 0 1450.59/1450.93 c 1450s | 23 | 3655347 | 2892138 | 10512 604 | 1069 | 0 1453.08/1453.45 c 1453s | 23 | 3659110 | 2895138 | 10512 605 | 1069 | 0 1455.09/1455.48 c 1455s | 23 | 3663178 | 2898538 | 10512 605 | 1069 | 0 1457.19/1457.52 c 1457s | 23 | 3668232 | 2902638 | 10512 606 | 1069 | 0 1459.18/1459.56 c 1459s | 23 | 3673339 | 2906538 | 10512 606 | 1069 | 0 1461.28/1461.60 c 1461s | 23 | 3676661 | 2909338 | 10512 607 | 1069 | 0 1463.28/1463.66 c 1463s | 23 | 3680482 | 2912538 | 10512 608 | 1069 | 0 1465.28/1465.69 c 1465s | 23 | 3684330 | 2915638 | 10512 608 | 1069 | 0 1467.38/1467.71 c 1467s | 23 | 3687555 | 2918338 | 10512 608 | 1069 | 0 1469.38/1469.74 c 1469s | 23 | 3690835 | 2921138 | 10512 609 | 1069 | 0 1471.37/1471.75 c 1471s | 23 | 3695167 | 2924738 | 10512 610 | 1069 | 0 1473.47/1473.81 c 1473s | 23 | 3699714 | 2928838 | 10512 610 | 1069 | 0 1475.47/1475.83 c 1475s | 23 | 3702771 | 2931338 | 10512 611 | 1069 | 0 1477.47/1477.88 c 1477s | 23 | 3707695 | 2935338 | 10512 611 | 1069 | 0 1479.57/1479.91 c 1479s | 23 | 3712701 | 2939538 | 10512 612 | 1069 | 0 1481.57/1481.93 c 1481s | 23 | 3716452 | 2942838 | 10512 613 | 1069 | 0 1483.58/1483.97 c 1483s | 23 | 3720616 | 2946538 | 10512 613 | 1069 | 0 1485.57/1485.99 c 1485s | 23 | 3723786 | 2949238 | 10512 614 | 1069 | 0 1487.67/1488.03 c 1487s | 23 | 3728610 | 2953238 | 10512 614 | 1069 | 0 1489.67/1490.04 c 1489s | 23 | 3733317 | 2957138 | 10512 615 | 1069 | 0 1491.77/1492.13 c 1491s | 23 | 3736722 | 2960138 | 10512 616 | 1069 | 0 1493.77/1494.14 c 1493s | 23 | 3742103 | 2965038 | 10512 616 | 1069 | 0 1495.77/1496.15 c 1495s | 23 | 3746359 | 2968738 | 10512 617 | 1069 | 0 1497.77/1498.17 c 1497s | 23 | 3750696 | 2972538 | 10512 618 | 1069 | 0 1499.77/1500.17 c 1499s | 23 | 3755337 | 2976938 | 10512 619 | 1069 | 0 1501.76/1502.19 c 1501s | 23 | 3760128 | 2980838 | 10512 619 | 1069 | 0 1503.86/1504.23 c 1503s | 23 | 3764080 | 2984238 | 10512 620 | 1069 | 0 1505.87/1506.29 c 1506s | 23 | 3767936 | 2987438 | 10512 620 | 1069 | 0 1507.97/1508.33 c 1508s | 23 | 3771821 | 2990838 | 10512 621 | 1069 | 0 1509.97/1510.35 c 1510s | 23 | 3775323 | 2994038 | 10512 621 | 1069 | 0 1513.37/1513.73 c 1513s | 23 | 3776703 | 2995338 | 10512 622 | 1069 | 0 1515.36/1515.75 c 1515s | 23 | 3783008 | 3000238 | 10512 622 | 1069 | 0 1517.36/1517.75 c 1517s | 23 | 3787170 | 3003738 | 10512 623 | 1069 | 0 1519.36/1519.76 c 1519s | 23 | 3792247 | 3007538 | 10512 624 | 1069 | 0 1521.35/1521.77 c 1521s | 23 | 3796258 | 3010638 | 10512 624 | 1069 | 0 1523.35/1523.78 c 1523s | 23 | 3799994 | 3013638 | 10512 625 | 1069 | 0 1525.46/1525.81 c 1525s | 23 | 3804504 | 3017138 | 10512 625 | 1069 | 0 1527.45/1527.82 c 1527s | 23 | 3809245 | 3020638 | 10512 626 | 1069 | 0 1529.46/1529.84 c 1529s | 23 | 3813334 | 3023938 | 10512 627 | 1069 | 0 1531.45/1531.90 c 1531s | 23 | 3818035 | 3027938 | 10512 627 | 1069 | 0 1533.55/1533.94 c 1533s | 23 | 3822189 | 3031438 | 10512 628 | 1069 | 0 1535.55/1535.99 c 1535s | 23 | 3825787 | 3034638 | 10512 628 | 1069 | 0 1537.75/1538.12 c 1537s | 23 | 3828389 | 3036838 | 10512 629 | 1069 | 0 1539.76/1540.15 c 1539s | 23 | 3833182 | 3040538 | 10512 629 | 1069 | 0 1541.75/1542.20 c 1541s | 23 | 3836864 | 3043438 | 10512 630 | 1069 | 0 1543.85/1544.25 c 1544s | 23 | 3840897 | 3046738 | 10512 630 | 1069 | 0 1545.85/1546.27 c 1546s | 23 | 3842857 | 3048338 | 10512 631 | 1069 | 0 1547.85/1548.28 c 1548s | 23 | 3847541 | 3052138 | 10512 631 | 1069 | 0 1549.95/1550.32 c 1550s | 23 | 3851445 | 3055238 | 10512 632 | 1069 | 0 1551.94/1552.39 c 1552s | 23 | 3855305 | 3058438 | 10512 632 | 1069 | 0 1554.05/1554.43 c 1554s | 23 | 3858756 | 3061338 | 10512 633 | 1069 | 0 1556.34/1556.73 c 1556s | 23 | 3862219 | 3064238 | 10512 633 | 1069 | 0 1558.34/1558.76 c 1558s | 23 | 3865055 | 3066338 | 10512 634 | 1069 | 0 1560.34/1560.77 c 1560s | 23 | 3869237 | 3069738 | 10512 634 | 1069 | 0 1562.43/1562.81 c 1562s | 23 | 3872944 | 3072838 | 10512 635 | 1069 | 0 1564.43/1564.83 c 1564s | 23 | 3877156 | 3076138 | 10512 635 | 1069 | 0 1566.43/1566.88 c 1566s | 23 | 3881367 | 3079638 | 10512 636 | 1069 | 0 1568.44/1568.88 c 1568s | 23 | 3884195 | 3081838 | 10512 636 | 1069 | 0 1570.44/1570.90 c 1570s | 23 | 3888154 | 3085138 | 10512 637 | 1069 | 0 1572.53/1572.93 c 1572s | 23 | 3892392 | 3088538 | 10512 638 | 1069 | 0 1574.53/1574.94 c 1574s | 23 | 3896451 | 3091838 | 10512 638 | 1069 | 0 1576.73/1577.19 c 1576s | 23 | 3899792 | 3094438 | 10512 639 | 1069 | 0 1578.83/1579.25 c 1579s | 23 | 3903016 | 3097338 | 10512 639 | 1069 | 0 1580.93/1581.36 c 1581s | 23 | 3906779 | 3100138 | 10512 640 | 1069 | 0 1582.92/1583.36 c 1583s | 23 | 3912466 | 3104238 | 10512 640 | 1069 | 0 1585.02/1585.41 c 1585s | 23 | 3916832 | 3107638 | 10512 641 | 1069 | 0 1587.03/1587.45 c 1587s | 23 | 3921324 | 3111138 | 10512 641 | 1069 | 0 1589.23/1589.65 c 1589s | 23 | 3925582 | 3114638 | 10512 642 | 1069 | 0 1591.22/1591.67 c 1591s | 23 | 3930387 | 3118538 | 10512 643 | 1069 | 0 1593.32/1593.73 c 1593s | 23 | 3935001 | 3122138 | 10512 643 | 1069 | 0 1595.52/1595.91 c 1595s | 23 | 3938642 | 3125238 | 10512 644 | 1069 | 0 1597.52/1597.96 c 1597s | 23 | 3943048 | 3128538 | 10512 644 | 1069 | 0 1599.52/1600.00 c 1599s | 23 | 3947061 | 3131738 | 10512 645 | 1069 | 0 1601.61/1602.02 c 1601s | 23 | 3951060 | 3135038 | 10512 646 | 1069 | 0 1603.71/1604.14 c 1603s | 23 | 3954125 | 3137738 | 10512 646 | 1069 | 0 1605.73/1606.17 c 1605s | 23 | 3957442 | 3140538 | 10512 646 | 1069 | 0 1607.72/1608.20 c 1607s | 23 | 3961728 | 3144238 | 10512 647 | 1069 | 0 1609.92/1610.39 c 1610s | 23 | 3965012 | 3146938 | 10512 648 | 1069 | 0 1612.01/1612.42 c 1612s | 23 | 3969165 | 3150138 | 10512 648 | 1069 | 0 1614.01/1614.45 c 1614s | 23 | 3973370 | 3153138 | 10512 649 | 1069 | 0 1616.01/1616.47 c 1616s | 23 | 3977930 | 3156338 | 10512 649 | 1069 | 0 1618.11/1618.51 c 1618s | 23 | 3982432 | 3159638 | 10512 650 | 1069 | 0 1620.11/1620.56 c 1620s | 23 | 3987081 | 3163138 | 10512 650 | 1069 | 0 1622.21/1622.62 c 1622s | 23 | 3991754 | 3166638 | 10512 651 | 1069 | 0 1624.31/1624.71 c 1624s | 23 | 3995886 | 3170138 | 10512 652 | 1069 | 0 1626.31/1626.74 c 1626s | 23 | 3999820 | 3173138 | 10512 652 | 1069 | 0 1628.31/1628.78 c 1628s | 23 | 4004552 | 3176838 | 10512 653 | 1069 | 0 1630.41/1630.81 c 1630s | 23 | 4009035 | 3180138 | 10512 653 | 1069 | 0 1632.40/1632.83 c 1632s | 23 | 4014393 | 3184038 | 10512 654 | 1069 | 0 1634.40/1634.88 c 1634s | 23 | 4019497 | 3187738 | 10512 655 | 1069 | 0 1636.51/1636.93 c 1636s | 23 | 4024545 | 3191338 | 10512 655 | 1069 | 0 1638.50/1638.96 c 1638s | 23 | 4030131 | 3195138 | 10512 656 | 1069 | 0 1640.50/1640.97 c 1640s | 23 | 4036033 | 3199038 | 10512 656 | 1069 | 0 1642.80/1643.24 c 1643s | 23 | 4038665 | 3201038 | 10512 657 | 1069 | 0 1644.80/1645.28 c 1645s | 23 | 4044184 | 3205138 | 10512 657 | 1069 | 0 1646.90/1647.31 c 1647s | 23 | 4050222 | 3209138 | 10512 658 | 1069 | 0 1649.00/1649.42 c 1649s | 23 | 4054967 | 3212038 | 10512 659 | 1069 | 0 1651.00/1651.46 c 1651s | 23 | 4061625 | 3215638 | 10512 659 | 1069 | 0 1653.00/1653.46 c 1653s | 23 | 4067601 | 3219038 | 10512 660 | 1069 | 0 1654.99/1655.47 c 1655s | 23 | 4073905 | 3222338 | 10512 660 | 1069 | 0 1656.99/1657.48 c 1657s | 23 | 4079852 | 3225738 | 10512 661 | 1069 | 0 1659.09/1659.52 c 1659s | 23 | 4085910 | 3229038 | 10512 662 | 1069 | 0 1661.08/1661.57 c 1661s | 23 | 4093368 | 3232838 | 10512 662 | 1069 | 0 1663.08/1663.59 c 1663s | 23 | 4099791 | 3236138 | 10512 663 | 1069 | 0 1665.18/1665.61 c 1665s | 23 | 4105839 | 3239738 | 10512 663 | 1069 | 0 1667.20/1667.65 c 1667s | 23 | 4108260 | 3241738 | 10512 664 | 1069 | 0 1669.19/1669.66 c 1669s | 23 | 4113054 | 3245138 | 10512 664 | 1069 | 0 1671.29/1671.70 c 1671s | 23 | 4118528 | 3248938 | 10512 665 | 1069 | 0 1673.28/1673.73 c 1673s | 23 | 4123478 | 3252438 | 10512 666 | 1069 | 0 1675.28/1675.78 c 1675s | 23 | 4128797 | 3256438 | 10512 666 | 1069 | 0 1677.28/1677.79 c 1677s | 23 | 4133056 | 3259838 | 10512 667 | 1069 | 0 1679.39/1679.81 c 1679s | 23 | 4136829 | 3262838 | 10512 667 | 1069 | 0 1681.38/1681.82 c 1681s | 23 | 4141392 | 3266538 | 10512 668 | 1069 | 0 1683.38/1683.87 c 1683s | 23 | 4147227 | 3270538 | 10512 669 | 1069 | 0 1685.48/1685.90 c 1685s | 23 | 4153800 | 3274338 | 10512 669 | 1069 | 0 1687.58/1688.06 c 1687s | 23 | 4159996 | 3277638 | 10512 670 | 1069 | 0 1689.58/1690.09 c 1689s | 23 | 4165893 | 3281138 | 10512 670 | 1069 | 0 1691.68/1692.11 c 1691s | 23 | 4169093 | 3283538 | 10512 671 | 1069 | 0 1693.68/1694.14 c 1693s | 23 | 4173043 | 3286438 | 10512 671 | 1069 | 0 1695.67/1696.18 c 1695s | 23 | 4178108 | 3290238 | 10512 672 | 1069 | 0 1697.77/1698.20 c 1697s | 23 | 4182902 | 3294038 | 10512 673 | 1069 | 0 1699.77/1700.21 c 1699s | 23 | 4188418 | 3298038 | 10512 673 | 1069 | 0 1701.77/1702.24 c 1701s | 23 | 4194924 | 3301438 | 10512 674 | 1069 | 0 1703.87/1704.30 c 1704s | 23 | 4200937 | 3304838 | 10512 675 | 1069 | 0 1705.87/1706.34 c 1706s | 23 | 4207249 | 3308438 | 10512 675 | 1069 | 0 1707.87/1708.34 c 1708s | 23 | 4209855 | 3309838 | 10512 675 | 1069 | 0 1709.87/1710.36 c 1710s | 23 | 4215847 | 3312838 | 10512 676 | 1069 | 0 1711.86/1712.39 c 1712s | 23 | 4223033 | 3316338 | 10512 676 | 1069 | 0 1713.96/1714.43 c 1714s | 23 | 4230182 | 3319838 | 10512 677 | 1069 | 0 1716.06/1716.57 c 1716s | 23 | 4237095 | 3323438 | 10512 678 | 1069 | 0 1718.06/1718.58 c 1718s | 23 | 4242543 | 3326438 | 10512 678 | 1069 | 0 1720.17/1720.62 c 1720s | 23 | 4248823 | 3329938 | 10512 679 | 1069 | 0 1722.17/1722.66 c 1722s | 23 | 4254336 | 3333038 | 10512 679 | 1069 | 0 1724.27/1724.71 c 1724s | 23 | 4260601 | 3336438 | 10512 680 | 1069 | 0 1726.37/1726.82 c 1726s | 23 | 4267121 | 3340038 | 10512 681 | 1069 | 0 1728.37/1728.86 c 1728s | 23 | 4273898 | 3343938 | 10512 681 | 1069 | 0 1730.47/1730.90 c 1730s | 23 | 4280395 | 3347538 | 10512 682 | 1069 | 0 1732.47/1732.93 c 1732s | 23 | 4286731 | 3351238 | 10512 682 | 1069 | 0 1734.47/1734.95 c 1734s | 23 | 4293177 | 3354938 | 11564 683 | 1069 | 0 1736.47/1737.00 c 1736s | 23 | 4297817 | 3358038 | 11564 683 | 1069 | 0 1738.57/1739.09 c 1738s | 23 | 4301261 | 3361038 | 11564 684 | 1069 | 0 1740.67/1741.10 c 1740s | 23 | 4306238 | 3364838 | 11564 684 | 1069 | 0 1742.66/1743.16 c 1742s | 23 | 4310099 | 3367938 | 11564 685 | 1069 | 0 1744.66/1745.20 c 1744s | 23 | 4313685 | 3371038 | 11564 685 | 1069 | 0 1746.76/1747.23 c 1746s | 23 | 4317288 | 3374138 | 11564 686 | 1069 | 0 1748.76/1749.23 c 1748s | 24 | 4320952 | 3376662 | 11564 686 | 1069 | 0 1750.76/1751.26 c 1751s | 24 | 4323656 | 3378362 | 11564 687 | 1069 | 0 1752.86/1753.30 c 1753s | 24 | 4327910 | 3381562 | 11564 687 | 1070 | 0 1754.86/1755.32 c 1755s | 24 | 4330764 | 3384362 | 11564 688 | 1070 | 0 1756.96/1757.40 c 1757s | 24 | 4338578 | 3390762 | 11564 689 | 1070 | 0 1758.95/1759.44 c 1759s | 24 | 4342681 | 3394562 | 11564 689 | 1070 | 0 1760.95/1761.47 c 1761s | 24 | 4347229 | 3398762 | 11564 690 | 1070 | 0 1762.96/1763.49 c 1763s | 24 | 4353100 | 3403962 | 11564 691 | 1070 | 0 1765.06/1765.52 c 1765s | 24 | 4357692 | 3408162 | 11564 691 | 1070 | 0 1767.05/1767.53 c 1767s | 24 | 4361815 | 3411862 | 11564 692 | 1070 | 0 1769.05/1769.57 c 1769s | 24 | 4366425 | 3415962 | 11564 692 | 1070 | 0 1771.05/1771.57 c 1771s | 24 | 4371087 | 3420162 | 11564 693 | 1070 | 0 1773.05/1773.59 c 1773s | 24 | 4374975 | 3423662 | 11564 694 | 1070 | 0 1775.15/1775.63 c 1775s | 24 | 4380017 | 3428362 | 11564 694 | 1070 | 0 1777.15/1777.66 c 1777s | 24 | 4384243 | 3432162 | 11564 695 | 1070 | 0 1779.15/1779.68 c 1779s | 24 | 4389053 | 3436462 | 11564 696 | 1070 | 0 1781.25/1781.71 c 1781s | 24 | 4393672 | 3440562 | 11564 696 | 1070 | 0 1783.25/1783.74 c 1783s | 24 | 4398245 | 3444762 | 11564 697 | 1070 | 0 1785.24/1785.77 c 1785s | 24 | 4401987 | 3448162 | 11564 698 | 1070 | 0 1787.24/1787.77 c 1787s | 24 | 4406336 | 3452162 | 11564 698 | 1070 | 0 1789.25/1789.80 c 1789s | 24 | 4409623 | 3455362 | 11564 699 | 1070 | 0 1791.35/1791.81 c 1791s | 24 | 4413149 | 3458562 | 11564 699 | 1070 | 0 1793.35/1793.82 c 1793s | 24 | 4415837 | 3461162 | 11564 700 | 1070 | 0 1795.35/1795.83 c 1795s | 24 | 4419747 | 3464962 | 11564 700 | 1070 | 0 1797.55/1798.09 c 1797s | 24 | 4422000 | 3467162 | 11564 701 | 1070 | 0 1799.65/1800.13 c 1799s | 24 | 4426428 | 3471262 | 11564 701 | 1070 | 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-4101177-1466221000/watcher-4101177-1466221000 -o /tmp/evaluation-result-4101177-1466221000/solver-4101177-1466221000 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101177-1466221000.opb pid=1394 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.24 2.24 2.25 2/179 1397 /proc/meminfo: memFree=29012076/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=443836 CPUtime=0 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 1606 0 0 0 0 0 0 0 20 0 4 0 24146581 454488064 1967 33554432000 4194304 16246674 140736162974800 140736162974224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 111727 1977 441 2943 0 108621 0 [pid=1397/tid=1398] ppid=1394 vsize=703932 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 720826368 2980 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=709052 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 726069248 3001 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=713148 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24146581 730263552 3017 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.24 2.24 2.25 2/179 1397 /proc/meminfo: memFree=29012076/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 33645 0 0 0 5 4 0 0 20 0 4 0 24146581 1247350784 33998 33554432000 4194304 16246674 140736162974800 140736162974224 12652961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 304529 34009 656 2943 0 301423 0 [pid=1397/tid=1398] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 34018 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 34028 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 34037 33554432000 4194304 16246674 140736162974800 140498771631280 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.200503 s] /proc/loadavg: 2.24 2.24 2.25 2/179 1397 /proc/meminfo: memFree=29012076/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 65153 0 0 0 10 9 0 0 20 0 4 0 24146581 1247350784 65505 33554432000 4194304 16246674 140736162974800 140736162974224 12449130 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 304529 65520 657 2943 0 301423 0 [pid=1397/tid=1398] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 65530 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 65539 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 65548 33554432000 4194304 16246674 140736162974800 140498771631280 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.300419 s] /proc/loadavg: 2.24 2.24 2.25 2/179 1397 /proc/meminfo: memFree=29012076/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 82428 0 0 0 17 12 0 0 20 0 4 0 24146581 1247350784 82777 33554432000 4194304 16246674 140736162974800 140736162974224 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 304529 82783 759 2943 0 301423 0 [pid=1397/tid=1398] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 82786 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 82790 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 82794 33554432000 4194304 16246674 140736162974800 140498771631280 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.700332 s] /proc/loadavg: 2.24 2.24 2.25 2/179 1397 /proc/meminfo: memFree=29012076/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 120976 0 0 0 51 17 0 0 20 0 4 0 24146581 1247350784 121326 33554432000 4194304 16246674 140736162974800 140736162974224 5723366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 304529 121332 759 2943 0 301423 0 [pid=1397/tid=1398] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 121334 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 121336 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 121339 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.24 2.24 2.25 3/183 1402 /proc/meminfo: memFree=28364296/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1225284 CPUtime=1.49 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 161967 0 0 0 126 23 0 0 20 0 4 0 24146581 1254690816 162293 33554432000 4194304 16246674 140736162974800 140736162974112 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 306321 162293 828 2943 0 303215 0 [pid=1397/tid=1398] ppid=1394 vsize=1225284 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1254690816 162293 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1225284 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1254690816 162293 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1225284 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1254690816 162293 33554432000 4194304 16246674 140736162974800 140498771631280 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) 1225284 [startup+3.10039 s] /proc/loadavg: 2.24 2.24 2.25 3/183 1402 /proc/meminfo: memFree=28309364/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1285700 CPUtime=3.09 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 262321 0 0 0 270 39 0 0 20 0 4 0 24146581 1316556800 262647 33554432000 4194304 16246674 140736162974800 140736162956672 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 321425 262647 830 2943 0 318319 0 [pid=1397/tid=1398] ppid=1394 vsize=1285700 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1316556800 262647 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1285700 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1316556800 262647 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1285700 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1316556800 262647 33554432000 4194304 16246674 140736162974800 140498771631280 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) 1285700 [startup+6.30039 s] /proc/loadavg: 2.22 2.24 2.24 4/183 1402 /proc/meminfo: memFree=27929892/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1317444 CPUtime=6.29 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 270432 0 0 0 589 40 0 0 20 0 4 0 24146581 1349062656 270758 33554432000 4194304 16246674 140736162974800 140736162956672 5600856 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 329361 270758 831 2943 0 326255 0 [pid=1397/tid=1398] ppid=1394 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1349062656 270758 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1349062656 270758 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1349062656 270758 33554432000 4194304 16246674 140736162974800 140498771631280 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) 1317444 [startup+12.7004 s] /proc/loadavg: 2.29 2.25 2.25 3/183 1402 /proc/meminfo: memFree=27929412/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1317444 CPUtime=12.69 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 270433 0 0 0 1228 41 0 0 20 0 4 0 24146581 1349062656 270759 33554432000 4194304 16246674 140736162974800 140736162956672 5824017 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 329361 270759 832 2943 0 326255 0 [pid=1397/tid=1398] ppid=1394 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1349062656 270759 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1349062656 270759 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1349062656 270759 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1317444 [startup+25.5005 s] /proc/loadavg: 2.22 2.23 2.24 3/183 1402 /proc/meminfo: memFree=27922860/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1323588 CPUtime=25.49 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 271969 0 0 0 2508 41 0 0 20 0 4 0 24146581 1355354112 272295 33554432000 4194304 16246674 140736162974800 140736162956672 5600476 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 330897 272295 832 2943 0 327791 0 [pid=1397/tid=1398] ppid=1394 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1355354112 272295 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1355354112 272295 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1355354112 272295 33554432000 4194304 16246674 140736162974800 140498771631280 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) 1323588 [startup+51.1005 s] /proc/loadavg: 2.15 2.22 2.24 4/183 1402 /proc/meminfo: memFree=27919620/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1326660 CPUtime=51.08 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 272738 0 0 0 5067 41 0 0 20 0 4 0 24146581 1358499840 273064 33554432000 4194304 16246674 140736162974800 140736162956672 5662756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 331665 273064 833 2943 0 328559 0 [pid=1397/tid=1398] ppid=1394 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1358499840 273064 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1358499840 273064 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1358499840 273064 33554432000 4194304 16246674 140736162974800 140498771631280 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) 1326660 [startup+102.3 s] /proc/loadavg: 2.35 2.26 2.25 3/183 1403 /proc/meminfo: memFree=27915928/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1329732 CPUtime=102.28 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 273506 0 0 0 10186 42 0 0 20 0 4 0 24146581 1361645568 273832 33554432000 4194304 16246674 140736162974800 140736162956672 6021620 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 332433 273832 833 2943 0 329327 0 [pid=1397/tid=1398] ppid=1394 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1361645568 273832 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1361645568 273832 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1361645568 273832 33554432000 4194304 16246674 140736162974800 140498771631280 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) 1329732 ################ # More data... # ################ /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 1370692 [startup+1362.3 s] /proc/loadavg: 2.29 2.24 2.25 4/183 1435 /proc/meminfo: memFree=27660352/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1370692 CPUtime=1362.02 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 283878 0 0 0 136138 64 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 342673 284329 833 2943 0 339567 0 [pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 1370692 [startup+1422.3 s] /proc/loadavg: 2.19 2.22 2.24 3/184 1447 /proc/meminfo: memFree=27660720/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1370692 CPUtime=1422.01 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 283899 0 0 0 142136 65 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 6021672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 342673 284329 833 2943 0 339567 0 [pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 1370692 [startup+1482.3 s] /proc/loadavg: 2.21 2.21 2.24 3/184 1473 /proc/meminfo: memFree=27660068/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1370692 CPUtime=1481.97 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 283933 0 0 0 148132 65 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5677589 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 342673 284329 833 2943 0 339567 0 [pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 1370692 [startup+1542.31 s] /proc/loadavg: 2.17 2.20 2.23 4/183 1523 /proc/meminfo: memFree=28362196/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1370692 CPUtime=1541.96 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 283972 0 0 0 154129 67 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 342673 284329 833 2943 0 339567 0 [pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 1370692 [startup+1602.3 s] /proc/loadavg: 2.15 2.19 2.22 3/183 1524 /proc/meminfo: memFree=28354928/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1370692 CPUtime=1601.91 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 284015 0 0 0 160123 68 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 342673 284329 833 2943 0 339567 0 [pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1370692 [startup+1662.3 s] /proc/loadavg: 2.13 2.17 2.21 3/183 1525 /proc/meminfo: memFree=28354344/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1370692 CPUtime=1661.88 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 284051 0 0 0 166118 70 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5522925 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 342673 284329 833 2943 0 339567 0 [pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1370692 [startup+1722.3 s] /proc/loadavg: 2.05 2.14 2.19 4/183 1526 /proc/meminfo: memFree=28350000/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1370692 CPUtime=1721.87 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 284080 0 0 0 172115 72 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5600464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 342673 284329 833 2943 0 339567 0 [pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1370692 [startup+1782.3 s] /proc/loadavg: 2.12 2.15 2.19 3/183 1529 /proc/meminfo: memFree=28349792/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1370692 CPUtime=1781.85 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 284091 0 0 0 178113 72 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5600068 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 342673 284329 833 2943 0 339567 0 [pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1370692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.09 2.14 2.19 3/183 1529 /proc/meminfo: memFree=28350032/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1370692 CPUtime=1800.05 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 284097 0 0 0 179932 73 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 342673 284329 833 2943 0 339567 0 [pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1370692 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 1397 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.09 2.14 2.19 3/183 1529 /proc/meminfo: memFree=28350032/32872528 swapFree=1200228/1314692 [pid=1397] ppid=1394 vsize=1370692 CPUtime=1800.05 cores=0,2,4,6 /proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 284097 0 0 0 179932 73 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1397/statm: 342673 284329 833 2943 0 339567 0 [pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1370692 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.33 CPU system time (s): 0.731888 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 1370692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 0.731888 maximum resident set size= 1137316 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284097 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= 362 involuntary context switches= 1840 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.53431 second user time and 6.98594 second system time The end
Begin job on node131 at 2016-06-18 05:36:41 IDJOB=4101177 IDBENCH=1710 IDSOLVER=2542 FILE ID=node131/4101177-1466221000 RUNJOBID= node131-1466206062-31240 PBS_JOBID= 19918146 Free space on /tmp= 71672 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stocfor1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101177-1466221000/watcher-4101177-1466221000 -o /tmp/evaluation-result-4101177-1466221000/solver-4101177-1466221000 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101177-1466221000.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f5fea9f9b3e2808f219e4e92af96aba2 RANDOM SEED=1117084047 node131.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.752 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.50 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.752 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.752 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.57 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.752 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.56 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.752 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.752 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.752 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.57 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.752 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: 29012596 kB Buffers: 107304 kB Cached: 147136 kB SwapCached: 1508 kB Active: 1665868 kB Inactive: 143360 kB Active(anon): 1554416 kB Inactive(anon): 2680 kB Active(file): 111452 kB Inactive(file): 140680 kB Unevictable: 1314692 kB Mlocked: 1200228 kB SwapTotal: 67108856 kB SwapFree: 67099852 kB Dirty: 16364 kB Writeback: 0 kB AnonPages: 2869140 kB Mapped: 10672 kB Shmem: 0 kB Slab: 601760 kB SReclaimable: 45640 kB SUnreclaim: 556120 kB KernelStack: 1456 kB PageTables: 9792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3009688 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 145408 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= 71672 MiB End job on node131 at 2016-06-18 06:06:41