| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.61 |
| Name | PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-regular-n26-d4-i2.cnf.gz-extracted.pb.metafix.opb |
| MD5SUM | 6428b73b3a804d96c910c603a1b30c5b |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.010997 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 105 |
| Total number of constraints | 104 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 104 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 8 |
| Number of bits of the biggest sum of numbers | 4 |
| 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-30T21:06:21+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-4121154-1467313581.opb"] 0.00/0.01 c use --random-gen="2895404570 2619455565 2186521289 1978460092 2046171103 305125822 3708545004 1779785364 2360622847 3903953851 1646731247 182490386 2303719884 47352127 1657146382 967729705 3436423351 3371740020 3797231684 2090152725 1757504019 3915753115 2723316787 3164947634 2862765904 2666490203 1323692157 4220106049 1917344928 973776106 2921731631 1751490318 1737336804 1462870323 780319797 3036134493 2971515100 1940960917 3062709024 693565498 2842987310 3462778665 363371556 3370996385 3283093217 444654516 2878247441 435732150 4120396406 368980331 2482937208 903111988 3412956980 3704832769 4122324513 3545024426 1520331599 2291520974 1057276643 1401397956 1825247477 1156528109 641170643 1976447251 81889762 4290053421 3131290073 3848930486 3145413006 1073551767 3495300297 3757493403 1081224128 229196593 311006644 2814785986 3879249613 2829275310 3582548748 1929966339 4108118967 898656342 3499498444 1269002315 724508261 744033180 2388457252 3234911726 2793117459 522994484 3787213209 1759885374 1680632509 3240893101 3333646778 2723815375 840440879 1239258439 813951100 3459435323 3365824041 2220916429 4034149663 4860513 1824516828 2312031918 1631568528 2667221603 3875281215 3033278007 2386532742 2484702771 855531467 1994722894 1089869862 520610094 2968852081 2928641471 3652497472 934187019 627206960 373087168 2332157758 2769742258 4112292176 4140201130 409133602 3278014624 2238146664 3853411733 517561182 993135745 345694548 2432278183 3714369976 2562812822 814804824 3718092181 509411192 2705540337 2036470701 3053898465 806194466 970442846 56976301 1187583001 2598632073 4021261603 2866233901 749664397 1084583404 1763545680 1490602571 1951026530 4016822934 1990997103 1910715942 1954578971 1536604720 3343392531 1863403489 3955791816 1368288990 1537342456 706246022 1563694833 3092131015 1464143837 1124528156 8465894 934027716 346779534 625423051 3669794101 74104710 1502365392 3179971088 202165132 38433720 1313088500 4184560166 2214241859 2676563911 326124923 2958817396 1383107603 1666747760 1059978680 1407352141 2872480004 1041781367 614123573 2389549291 2399383512 1948018145 4256758539 1311543070 542289710 3828089480 2179123137 740415297 2662897223 1423131801 5069815 4144922100 1222950399 2218521046 1348732434 3031923460 2727441428 1709361711 2907477880 1763971496 1989533104 2330664410 608924559 2662177689 4144834267 559869927 2400964612 3726136758 1208097445 223038742 813644832 3107372775 2843855464 3196664817 241037826 3619100571 2079632822 2804015519 3302721765 1440660175 3745276316 3621579988 4091794309 2083156442 3597946095 2979146898 2639885699 1600311284 1253210847 349732816 3569034681 455315793 691034078 3938127506 4164957865 582600379 3300895883 3326825532 2993653620 3226257904 3903045301 3939637167 1057685678 255 362436" option to reproduce the execution 0.00/0.01 c #vars 105 0.00/0.01 c #constraints 104 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 69 0 | 0 | 0 0.00/0.02 c 0.0s | 1 | 126 | 100 | 69 0 | 0 | 0 0.00/0.03 c 0.0s | 2 | 339 | 250 | 76 3 | 0 | 0 0.00/0.05 c 0.0s | 3 | 706 | 475 | 84 8 | 0 | 0 0.00/0.09 c 0.1s | 4 | 1207 | 813 | 93 13 | 0 | 0 0.09/0.14 c 0.1s | 5 | 1999 | 1320 | 103 21 | 0 | 0 0.19/0.20 c 0.2s | 6 | 3477 | 2081 | 126 31 | 0 | 0 0.29/0.31 c 0.3s | 7 | 5176 | 3223 | 139 47 | 0 | 0 0.39/0.49 c 0.5s | 8 | 7536 | 4936 | 153 68 | 0 | 0 0.69/0.74 c 0.7s | 9 | 11473 | 7506 | 169 96 | 0 | 0 1.10/1.11 c 1.1s | 10 | 17432 | 11361 | 186 136 | 0 | 0 1.49/1.50 c 1.5s | 11 | 25157 | 17144 | 205 191 | 0 | 0 2.09/2.11 c 2.1s | 12 | 38361 | 25819 | 226 269 | 0 | 0 2.99/3.01 c 3.0s | 13 | 55541 | 38832 | 249 374 | 0 | 0 4.29/4.36 c 4.3s | 14 | 81982 | 58352 | 274 518 | 0 | 0 6.29/6.36 c 6.4s | 14 | 121476 | 87152 | 302 714 | 0 | 0 6.39/6.40 c 6.4s | 15 | 122134 | 87632 | 302 717 | 0 | 0 8.39/8.40 c 8.4s | 15 | 159216 | 115932 | 302 894 | 0 | 0 9.49/9.57 c 9.6s | 16 | 178861 | 131552 | 333 991 | 0 | 0 11.49/11.57 c 11.6s | 16 | 222031 | 160652 | 333 1157 | 0 | 0 13.49/13.57 c 13.6s | 16 | 259590 | 188552 | 333 1317 | 0 | 0 14.19/14.24 c 14.2s | 17 | 271200 | 197432 | 367 1366 | 0 | 0 16.19/16.24 c 16.2s | 17 | 301974 | 222332 | 367 1495 | 0 | 0 18.19/18.25 c 18.2s | 17 | 333615 | 247132 | 367 1624 | 0 | 0 20.19/20.25 c 20.2s | 17 | 365119 | 272232 | 367 1753 | 0 | 0 22.19/22.24 c 22.2s | 18 | 395182 | 296252 | 404 1876 | 0 | 0 24.19/24.25 c 24.2s | 18 | 426670 | 321252 | 404 1994 | 0 | 0 26.19/26.25 c 26.2s | 18 | 463466 | 348452 | 404 2123 | 0 | 0 28.19/28.25 c 28.2s | 18 | 494610 | 373652 | 404 2242 | 0 | 0 30.19/30.26 c 30.2s | 18 | 526045 | 399052 | 404 2363 | 0 | 0 32.19/32.27 c 32.3s | 18 | 554962 | 423352 | 404 2479 | 0 | 0 33.98/34.02 c 34.0s | 19 | 580656 | 444482 | 445 2579 | 0 | 0 35.98/36.02 c 36.0s | 19 | 616023 | 470482 | 445 2691 | 0 | 0 37.98/38.03 c 38.0s | 19 | 650551 | 496182 | 445 2803 | 0 | 0 39.98/40.03 c 40.0s | 19 | 683670 | 522082 | 445 2916 | 0 | 0 41.98/42.03 c 42.0s | 19 | 718084 | 548382 | 445 3031 | 0 | 0 43.99/44.04 c 44.0s | 19 | 752911 | 574782 | 445 3145 | 0 | 0 45.98/46.04 c 46.0s | 19 | 785687 | 600082 | 445 3255 | 0 | 0 47.99/48.04 c 48.0s | 19 | 813604 | 623382 | 445 3355 | 0 | 0 49.99/50.04 c 50.0s | 19 | 841657 | 646382 | 445 3455 | 0 | 0 51.69/51.74 c 51.7s | 20 | 868108 | 666827 | 490 3542 | 0 | 0 53.68/53.75 c 53.7s | 20 | 902129 | 693627 | 490 3648 | 0 | 0 55.68/55.75 c 55.7s | 20 | 936684 | 720327 | 490 3754 | 0 | 0 57.68/57.76 c 57.7s | 20 | 969126 | 745827 | 490 3854 | 0 | 0 59.68/59.76 c 59.8s | 20 | 1000200 | 771027 | 490 3954 | 0 | 0 61.69/61.76 c 61.8s | 20 | 1029646 | 794827 | 490 4047 | 0 | 0 63.68/63.77 c 63.8s | 20 | 1060873 | 819127 | 490 4144 | 0 | 0 65.68/65.77 c 65.8s | 20 | 1091982 | 844027 | 490 4242 | 0 | 0 67.68/67.77 c 67.8s | 20 | 1124180 | 869227 | 490 4341 | 0 | 0 69.68/69.77 c 69.8s | 20 | 1155189 | 894127 | 490 4440 | 0 | 0 71.68/71.78 c 71.8s | 20 | 1184897 | 918327 | 490 4535 | 0 | 0 73.68/73.79 c 73.8s | 20 | 1213005 | 941727 | 490 4628 | 0 | 0 75.68/75.79 c 75.8s | 20 | 1237880 | 963827 | 490 4715 | 0 | 0 77.68/77.79 c 77.8s | 20 | 1265295 | 987027 | 490 4807 | 0 | 0 78.88/78.98 c 79.0s | 21 | 1281207 | 1000345 | 539 4857 | 0 | 0 80.88/80.98 c 81.0s | 21 | 1319285 | 1025945 | 539 4949 | 0 | 0 82.88/82.98 c 83.0s | 21 | 1356989 | 1052445 | 539 5044 | 0 | 0 84.87/84.98 c 85.0s | 21 | 1391842 | 1078345 | 539 5138 | 0 | 0 86.88/86.98 c 87.0s | 21 | 1428243 | 1103645 | 539 5230 | 0 | 0 88.87/88.99 c 89.0s | 21 | 1462218 | 1128745 | 539 5321 | 0 | 0 90.97/91.00 c 91.0s | 21 | 1495287 | 1152945 | 539 5408 | 0 | 0 92.97/93.00 c 93.0s | 21 | 1528035 | 1177045 | 539 5494 | 0 | 0 94.97/95.00 c 95.0s | 21 | 1560159 | 1201245 | 539 5582 | 0 | 0 96.97/97.01 c 97.0s | 21 | 1592407 | 1225645 | 539 5670 | 0 | 0 98.98/99.01 c 99.0s | 21 | 1627246 | 1250545 | 539 5760 | 0 | 0 100.97/101.02 c 101s | 21 | 1656553 | 1274045 | 539 5845 | 0 | 0 102.97/103.02 c 103s | 21 | 1690246 | 1298745 | 539 5934 | 0 | 0 104.97/105.03 c 105s | 21 | 1720288 | 1322345 | 539 6020 | 0 | 0 106.97/107.03 c 107s | 21 | 1745746 | 1344045 | 539 6097 | 0 | 0 108.98/109.03 c 109s | 21 | 1771342 | 1365645 | 539 6174 | 0 | 0 110.97/111.04 c 111s | 21 | 1796968 | 1386945 | 539 6250 | 0 | 0 112.97/113.04 c 113s | 21 | 1822910 | 1408445 | 539 6326 | 0 | 0 114.97/115.05 c 115s | 21 | 1852345 | 1431945 | 539 6411 | 0 | 0 116.98/117.05 c 117s | 21 | 1883536 | 1456345 | 539 6499 | 0 | 0 118.98/119.06 c 119s | 21 | 1914825 | 1480345 | 539 6586 | 0 | 0 120.67/120.72 c 120s | 22 | 1941273 | 1500622 | 593 6656 | 0 | 0 122.67/122.73 c 122s | 22 | 1970212 | 1523722 | 593 6731 | 0 | 0 124.67/124.74 c 124s | 22 | 1997982 | 1546322 | 593 6805 | 0 | 0 126.67/126.74 c 126s | 22 | 2026039 | 1569022 | 593 6879 | 0 | 0 128.68/128.74 c 128s | 22 | 2053928 | 1591822 | 593 6954 | 0 | 0 130.67/130.75 c 130s | 22 | 2081043 | 1614422 | 593 7029 | 0 | 0 132.67/132.75 c 132s | 22 | 2107823 | 1636522 | 593 7101 | 0 | 0 134.67/134.76 c 134s | 22 | 2134152 | 1658422 | 593 7173 | 0 | 0 136.67/136.77 c 136s | 22 | 2161770 | 1681022 | 593 7247 | 0 | 0 138.67/138.77 c 138s | 22 | 2191736 | 1704422 | 593 7324 | 0 | 0 140.67/140.77 c 140s | 22 | 2223435 | 1728522 | 593 7404 | 0 | 0 142.67/142.78 c 142s | 22 | 2255135 | 1752222 | 593 7481 | 0 | 0 144.67/144.79 c 144s | 22 | 2283528 | 1774522 | 593 7555 | 0 | 0 146.67/146.79 c 146s | 22 | 2313025 | 1797222 | 593 7630 | 0 | 0 148.76/148.80 c 148s | 22 | 2340219 | 1819822 | 593 7704 | 0 | 0 150.77/150.81 c 150s | 22 | 2362741 | 1839722 | 593 7769 | 0 | 0 152.76/152.82 c 152s | 22 | 2390282 | 1862022 | 593 7842 | 0 | 0 154.76/154.82 c 154s | 22 | 2418318 | 1884022 | 593 7915 | 0 | 0 156.76/156.83 c 156s | 22 | 2446341 | 1906522 | 593 7988 | 0 | 0 158.76/158.83 c 158s | 22 | 2474538 | 1929022 | 593 8062 | 0 | 0 160.77/160.83 c 160s | 22 | 2501653 | 1950422 | 593 8132 | 0 | 0 162.78/162.84 c 162s | 22 | 2531655 | 1973122 | 593 8207 | 0 | 0 164.77/164.84 c 164s | 22 | 2559989 | 1995322 | 593 8280 | 0 | 0 166.77/166.85 c 166s | 22 | 2586142 | 2016722 | 593 8350 | 0 | 0 168.77/168.86 c 168s | 22 | 2611642 | 2038022 | 593 8420 | 0 | 0 170.77/170.86 c 170s | 22 | 2638261 | 2059722 | 593 8491 | 0 | 0 172.77/172.87 c 172s | 22 | 2664330 | 2081322 | 593 8562 | 0 | 0 174.77/174.87 c 174s | 22 | 2690564 | 2102722 | 593 8633 | 0 | 0 176.77/176.87 c 176s | 22 | 2716622 | 2124222 | 593 8703 | 0 | 0 178.76/178.88 c 178s | 22 | 2746195 | 2147122 | 593 8779 | 0 | 0 180.76/180.88 c 180s | 22 | 2774805 | 2169122 | 593 8851 | 0 | 0 182.76/182.88 c 182s | 22 | 2802843 | 2191322 | 593 8924 | 0 | 0 184.77/184.89 c 184s | 22 | 2830382 | 2213122 | 593 8996 | 0 | 0 186.76/186.89 c 186s | 22 | 2855925 | 2234422 | 593 9066 | 0 | 0 188.36/188.44 c 188s | 23 | 2876454 | 2251038 | 653 9116 | 0 | 0 190.37/190.44 c 190s | 23 | 2905024 | 2273838 | 653 9184 | 0 | 0 192.36/192.45 c 192s | 23 | 2933307 | 2296438 | 653 9251 | 0 | 0 194.36/194.46 c 194s | 23 | 2962840 | 2319338 | 653 9319 | 0 | 0 196.36/196.46 c 196s | 23 | 2988241 | 2340638 | 653 9383 | 0 | 0 198.35/198.47 c 198s | 23 | 3018190 | 2363938 | 653 9453 | 0 | 0 200.35/200.47 c 200s | 23 | 3048096 | 2387238 | 653 9522 | 0 | 0 202.36/202.48 c 202s | 23 | 3075775 | 2409838 | 653 9590 | 0 | 0 204.35/204.48 c 204s | 23 | 3104821 | 2433038 | 653 9659 | 0 | 0 206.35/206.48 c 206s | 23 | 3132988 | 2455638 | 653 9726 | 0 | 0 208.35/208.49 c 208s | 23 | 3160715 | 2477638 | 653 9792 | 0 | 0 210.35/210.49 c 210s | 23 | 3190864 | 2501138 | 653 9862 | 0 | 0 212.36/212.50 c 212s | 23 | 3218509 | 2523438 | 653 9929 | 0 | 0 214.36/214.50 c 214s | 23 | 3242589 | 2544138 | 653 9990 | 0 | 0 216.46/216.50 c 216s | 23 | 3268234 | 2565738 | 653 10055 | 0 | 0 218.46/218.50 c 218s | 23 | 3292956 | 2586638 | 653 10118 | 0 | 0 220.46/220.51 c 220s | 23 | 3320921 | 2608938 | 653 10184 | 0 | 0 222.46/222.52 c 222s | 23 | 3347829 | 2630638 | 653 10249 | 0 | 0 224.46/224.52 c 224s | 23 | 3373118 | 2651638 | 653 10312 | 0 | 0 226.46/226.53 c 226s | 23 | 3400670 | 2673338 | 653 10377 | 0 | 0 228.46/228.54 c 228s | 23 | 3428140 | 2695438 | 653 10443 | 0 | 0 230.46/230.54 c 230s | 23 | 3456262 | 2717938 | 653 10511 | 0 | 0 232.45/232.55 c 232s | 23 | 3482538 | 2739538 | 653 10576 | 0 | 0 234.45/234.56 c 234s | 23 | 3510158 | 2761738 | 653 10642 | 0 | 0 236.47/236.57 c 236s | 23 | 3539326 | 2784238 | 653 10710 | 0 | 0 238.46/238.57 c 238s | 23 | 3567938 | 2806538 | 653 10776 | 0 | 0 240.46/240.57 c 240s | 23 | 3595082 | 2828338 | 653 10841 | 0 | 0 242.46/242.58 c 242s | 23 | 3620305 | 2849138 | 653 10903 | 0 | 0 244.45/244.58 c 244s | 23 | 3649693 | 2871738 | 653 10971 | 0 | 0 246.46/246.58 c 246s | 23 | 3676836 | 2892738 | 653 11034 | 0 | 0 248.45/248.59 c 248s | 23 | 3703689 | 2914038 | 653 11098 | 0 | 0 250.45/250.59 c 250s | 23 | 3729504 | 2934938 | 653 11161 | 0 | 0 252.45/252.59 c 252s | 23 | 3754359 | 2955038 | 653 11220 | 0 | 0 254.55/254.60 c 254s | 23 | 3779957 | 2975738 | 653 11282 | 0 | 0 256.55/256.60 c 256s | 23 | 3805228 | 2996138 | 653 11343 | 0 | 0 258.55/258.61 c 258s | 23 | 3832401 | 3017238 | 653 11406 | 0 | 0 260.55/260.61 c 260s | 23 | 3857295 | 3037538 | 653 11467 | 0 | 0 262.55/262.61 c 262s | 23 | 3881947 | 3057738 | 653 11527 | 0 | 0 264.55/264.62 c 264s | 23 | 3907383 | 3078338 | 653 11589 | 0 | 0 266.55/266.62 c 266s | 23 | 3931765 | 3098938 | 653 11650 | 0 | 0 268.55/268.63 c 268s | 23 | 3956837 | 3119938 | 653 11713 | 0 | 0 270.55/270.63 c 270s | 23 | 3980935 | 3140538 | 653 11775 | 0 | 0 272.54/272.64 c 272s | 23 | 4007510 | 3162438 | 653 11840 | 0 | 0 274.54/274.64 c 274s | 23 | 4033461 | 3183938 | 653 11905 | 0 | 0 276.54/276.65 c 276s | 23 | 4060637 | 3205738 | 653 11970 | 0 | 0 278.54/278.66 c 278s | 23 | 4087877 | 3227938 | 653 12037 | 0 | 0 280.55/280.66 c 280s | 23 | 4116440 | 3250938 | 653 12106 | 0 | 0 282.55/282.67 c 282s | 23 | 4142905 | 3272738 | 653 12171 | 0 | 0 284.55/284.68 c 284s | 23 | 4169234 | 3294638 | 653 12237 | 0 | 0 286.55/286.68 c 286s | 23 | 4196363 | 3316638 | 653 12303 | 0 | 0 288.55/288.68 c 288s | 23 | 4222747 | 3338438 | 653 12368 | 0 | 0 290.55/290.69 c 290s | 23 | 4249515 | 3360538 | 719 12432 | 0 | 0 292.05/292.15 c 292s | 24 | 4269199 | 3376662 | 719 12476 | 0 | 0 294.05/294.15 c 294s | 24 | 4296501 | 3398362 | 719 12535 | 0 | 0 296.05/296.16 c 296s | 24 | 4324512 | 3420362 | 719 12595 | 0 | 0 298.05/298.17 c 298s | 24 | 4350826 | 3441962 | 719 12654 | 0 | 0 300.04/300.17 c 300s | 24 | 4379782 | 3464362 | 719 12714 | 0 | 0 302.04/302.17 c 302s | 24 | 4411502 | 3487862 | 719 12779 | 0 | 0 304.05/304.18 c 304s | 24 | 4441996 | 3511362 | 719 12843 | 0 | 0 306.05/306.18 c 306s | 24 | 4470187 | 3533862 | 719 12904 | 0 | 0 308.05/308.19 c 308s | 24 | 4497451 | 3555962 | 719 12964 | 0 | 0 310.04/310.20 c 310s | 24 | 4524887 | 3578162 | 719 13025 | 0 | 0 312.14/312.21 c 312s | 24 | 4553284 | 3600262 | 719 13085 | 0 | 0 314.14/314.21 c 314s | 24 | 4583465 | 3623462 | 719 13149 | 0 | 0 316.14/316.21 c 316s | 24 | 4612261 | 3646262 | 719 13211 | 0 | 0 318.14/318.22 c 318s | 24 | 4640196 | 3668462 | 719 13271 | 0 | 0 320.15/320.22 c 320s | 24 | 4669223 | 3691362 | 719 13334 | 0 | 0 322.14/322.22 c 322s | 24 | 4699013 | 3714762 | 719 13398 | 0 | 0 324.14/324.23 c 324s | 24 | 4727848 | 3737662 | 719 13461 | 0 | 0 326.14/326.23 c 326s | 24 | 4754901 | 3759762 | 719 13521 | 0 | 0 328.14/328.24 c 328s | 24 | 4781404 | 3781762 | 719 13581 | 0 | 0 330.13/330.24 c 330s | 24 | 4810379 | 3804662 | 719 13644 | 0 | 0 332.14/332.25 c 332s | 24 | 4838965 | 3826962 | 719 13704 | 0 | 0 334.13/334.25 c 334s | 24 | 4866537 | 3849362 | 719 13766 | 0 | 0 336.13/336.25 c 336s | 24 | 4896211 | 3872262 | 719 13828 | 0 | 0 338.14/338.26 c 338s | 24 | 4926539 | 3895562 | 719 13892 | 0 | 0 340.14/340.26 c 340s | 24 | 4953682 | 3917562 | 719 13952 | 0 | 0 342.15/342.26 c 342s | 24 | 4981918 | 3939962 | 719 14014 | 0 | 0 344.14/344.27 c 344s | 24 | 5008261 | 3961262 | 719 14072 | 0 | 0 346.14/346.27 c 346s | 24 | 5036295 | 3983162 | 719 14131 | 0 | 0 348.14/348.27 c 348s | 24 | 5064163 | 4005262 | 719 14192 | 0 | 0 350.13/350.27 c 350s | 24 | 5091721 | 4027262 | 719 14252 | 0 | 0 352.13/352.27 c 352s | 24 | 5119176 | 4048762 | 719 14311 | 0 | 0 354.14/354.28 c 354s | 24 | 5142641 | 4068762 | 719 14366 | 0 | 0 356.13/356.28 c 356s | 24 | 5169703 | 4090562 | 719 14425 | 0 | 0 358.13/358.28 c 358s | 24 | 5195511 | 4111862 | 719 14483 | 0 | 0 360.13/360.29 c 360s | 24 | 5224000 | 4133762 | 719 14543 | 0 | 0 362.23/362.30 c 362s | 24 | 5250673 | 4154762 | 719 14601 | 0 | 0 364.23/364.30 c 364s | 24 | 5277757 | 4176262 | 719 14659 | 0 | 0 366.23/366.30 c 366s | 24 | 5301852 | 4196362 | 719 14714 | 0 | 0 368.23/368.31 c 368s | 24 | 5327880 | 4217362 | 719 14772 | 0 | 0 370.23/370.32 c 370s | 24 | 5352976 | 4237762 | 719 14827 | 0 | 0 372.23/372.32 c 372s | 24 | 5376018 | 4257162 | 719 14881 | 0 | 0 374.23/374.33 c 374s | 24 | 5400836 | 4277462 | 719 14936 | 0 | 0 376.23/376.34 c 376s | 24 | 5425179 | 4297562 | 719 14991 | 0 | 0 378.22/378.34 c 378s | 24 | 5449418 | 4317962 | 719 15046 | 0 | 0 380.22/380.35 c 380s | 24 | 5475294 | 4338862 | 719 15103 | 0 | 0 382.22/382.37 c 382s | 24 | 5500085 | 4359562 | 719 15160 | 0 | 0 384.22/384.37 c 384s | 24 | 5523224 | 4379262 | 719 15213 | 0 | 0 386.22/386.38 c 386s | 24 | 5545289 | 4398362 | 719 15265 | 0 | 0 388.23/388.38 c 388s | 24 | 5569115 | 4418562 | 719 15320 | 0 | 0 390.22/390.38 c 390s | 24 | 5595369 | 4439762 | 719 15379 | 0 | 0 392.23/392.39 c 392s | 24 | 5620893 | 4460462 | 719 15435 | 0 | 0 394.33/394.40 c 394s | 24 | 5645333 | 4480662 | 719 15490 | 0 | 0 396.32/396.40 c 396s | 24 | 5670289 | 4501262 | 719 15547 | 0 | 0 398.32/398.41 c 398s | 24 | 5695519 | 4522362 | 719 15604 | 0 | 0 400.33/400.41 c 400s | 24 | 5719326 | 4542462 | 719 15659 | 0 | 0 402.32/402.42 c 402s | 24 | 5743467 | 4562562 | 719 15713 | 0 | 0 404.32/404.42 c 404s | 24 | 5764922 | 4581362 | 719 15765 | 0 | 0 406.32/406.43 c 406s | 24 | 5789284 | 4601462 | 719 15820 | 0 | 0 408.32/408.44 c 408s | 24 | 5812694 | 4621162 | 719 15873 | 0 | 0 410.33/410.44 c 410s | 24 | 5836076 | 4640862 | 719 15927 | 0 | 0 412.32/412.44 c 412s | 24 | 5862392 | 4662262 | 719 15986 | 0 | 0 414.31/414.44 c 414s | 24 | 5888709 | 4683062 | 719 16043 | 0 | 0 416.31/416.45 c 416s | 24 | 5915389 | 4703962 | 719 16100 | 0 | 0 418.31/418.45 c 418s | 24 | 5941625 | 4724662 | 719 16157 | 0 | 0 420.31/420.46 c 420s | 24 | 5967567 | 4745462 | 719 16214 | 0 | 0 422.32/422.47 c 422s | 24 | 5990693 | 4765562 | 719 16268 | 0 | 0 424.32/424.48 c 424s | 24 | 6014983 | 4785662 | 719 16323 | 0 | 0 426.31/426.48 c 426s | 24 | 6039464 | 4805862 | 719 16379 | 0 | 0 428.31/428.49 c 428s | 24 | 6064762 | 4826662 | 719 16436 | 0 | 0 430.31/430.49 c 430s | 24 | 6091315 | 4847762 | 719 16493 | 0 | 0 432.32/432.49 c 432s | 24 | 6117287 | 4868862 | 719 16551 | 0 | 0 434.31/434.49 c 434s | 24 | 6140232 | 4888662 | 719 16605 | 0 | 0 436.41/436.50 c 436s | 24 | 6162535 | 4907862 | 719 16657 | 0 | 0 438.40/438.50 c 438s | 24 | 6187995 | 4928662 | 719 16714 | 0 | 0 440.40/440.51 c 440s | 24 | 6211461 | 4948562 | 719 16768 | 0 | 0 442.41/442.51 c 442s | 24 | 6235783 | 4968762 | 719 16824 | 0 | 0 444.42/444.51 c 444s | 24 | 6260014 | 4988762 | 719 16878 | 0 | 0 446.41/446.52 c 446s | 24 | 6283594 | 5008662 | 719 16932 | 0 | 0 448.41/448.52 c 448s | 24 | 6309221 | 5029262 | 791 16989 | 0 | 0 450.41/450.52 c 450s | 24 | 6334863 | 5049462 | 791 17039 | 0 | 0 451.91/452.06 c 452s | 25 | 6355077 | 5065098 | 791 17078 | 0 | 0 453.91/454.06 c 454s | 25 | 6378994 | 5084598 | 791 17126 | 0 | 0 455.91/456.06 c 456s | 25 | 6405442 | 5104998 | 791 17176 | 0 | 0 457.91/458.07 c 458s | 25 | 6434914 | 5126498 | 791 17230 | 0 | 0 459.90/460.07 c 460s | 25 | 6463457 | 5147798 | 791 17283 | 0 | 0 461.91/462.08 c 462s | 25 | 6492960 | 5169498 | 791 17337 | 0 | 0 463.90/464.08 c 464s | 25 | 6519139 | 5190298 | 791 17388 | 0 | 0 465.90/466.08 c 466s | 25 | 6543818 | 5210298 | 791 17438 | 0 | 0 467.90/468.08 c 468s | 25 | 6569879 | 5231098 | 791 17490 | 0 | 0 469.89/470.09 c 470s | 25 | 6595351 | 5251098 | 791 17539 | 0 | 0 471.90/472.09 c 472s | 25 | 6620930 | 5271198 | 791 17589 | 0 | 0 474.01/474.10 c 474s | 25 | 6647627 | 5291898 | 791 17640 | 0 | 0 475.99/476.11 c 476s | 25 | 6672870 | 5312198 | 791 17691 | 0 | 0 477.99/478.12 c 478s | 25 | 6699377 | 5332398 | 791 17741 | 0 | 0 479.99/480.12 c 480s | 25 | 6726629 | 5353098 | 791 17792 | 0 | 0 481.99/482.13 c 482s | 25 | 6751779 | 5373298 | 791 17843 | 0 | 0 484.00/484.14 c 484s | 25 | 6780242 | 5394198 | 791 17895 | 0 | 0 485.99/486.14 c 486s | 25 | 6806571 | 5414498 | 791 17945 | 0 | 0 487.99/488.15 c 488s | 25 | 6833442 | 5435698 | 791 17998 | 0 | 0 489.99/490.16 c 490s | 25 | 6859443 | 5456298 | 791 18049 | 0 | 0 491.98/492.16 c 492s | 25 | 6884931 | 5476798 | 791 18100 | 0 | 0 493.98/494.17 c 494s | 25 | 6908649 | 5496398 | 791 18148 | 0 | 0 495.98/496.17 c 496s | 25 | 6931736 | 5515698 | 791 18196 | 0 | 0 497.98/498.17 c 498s | 25 | 6959855 | 5537298 | 791 18250 | 0 | 0 499.98/500.18 c 500s | 25 | 6985090 | 5557898 | 791 18301 | 0 | 0 501.98/502.19 c 502s | 25 | 7010554 | 5578598 | 791 18352 | 0 | 0 503.98/504.19 c 504s | 25 | 7036881 | 5599198 | 791 18404 | 0 | 0 505.98/506.19 c 506s | 25 | 7063408 | 5619998 | 791 18455 | 0 | 0 507.98/508.20 c 508s | 25 | 7090191 | 5641098 | 791 18508 | 0 | 0 510.07/510.20 c 510s | 25 | 7113935 | 5660598 | 791 18556 | 0 | 0 512.07/512.21 c 512s | 25 | 7138437 | 5680298 | 791 18605 | 0 | 0 514.07/514.22 c 514s | 25 | 7162513 | 5700198 | 791 18655 | 0 | 0 516.07/516.22 c 516s | 25 | 7188242 | 5720198 | 791 18704 | 0 | 0 518.08/518.23 c 518s | 25 | 7214214 | 5740598 | 791 18755 | 0 | 0 520.07/520.23 c 520s | 25 | 7240311 | 5761198 | 791 18806 | 0 | 0 522.07/522.24 c 522s | 25 | 7267226 | 5782298 | 791 18859 | 0 | 0 524.07/524.24 c 524s | 25 | 7293667 | 5802898 | 791 18910 | 0 | 0 526.06/526.24 c 526s | 25 | 7316996 | 5821798 | 791 18957 | 0 | 0 528.07/528.25 c 528s | 25 | 7346137 | 5842798 | 791 19010 | 0 | 0 530.08/530.25 c 530s | 25 | 7375569 | 5863898 | 791 19062 | 0 | 0 532.07/532.26 c 532s | 25 | 7402485 | 5884898 | 791 19114 | 0 | 0 534.07/534.27 c 534s | 25 | 7430276 | 5906398 | 791 19168 | 0 | 0 536.06/536.28 c 536s | 25 | 7457909 | 5927898 | 791 19221 | 0 | 0 538.06/538.28 c 538s | 25 | 7483478 | 5948398 | 791 19272 | 0 | 0 540.07/540.29 c 540s | 25 | 7509029 | 5968398 | 791 19322 | 0 | 0 542.06/542.29 c 542s | 25 | 7534573 | 5988698 | 791 19372 | 0 | 0 544.06/544.30 c 544s | 25 | 7560315 | 6008998 | 791 19423 | 0 | 0 546.16/546.30 c 546s | 25 | 7587261 | 6029698 | 791 19475 | 0 | 0 548.16/548.30 c 548s | 25 | 7613496 | 6050598 | 791 19527 | 0 | 0 550.16/550.31 c 550s | 25 | 7641271 | 6072198 | 791 19581 | 0 | 0 552.16/552.31 c 552s | 25 | 7669800 | 6094298 | 791 19636 | 0 | 0 554.15/554.32 c 554s | 25 | 7700740 | 6117098 | 791 19693 | 0 | 0 556.15/556.32 c 556s | 25 | 7726948 | 6137798 | 791 19745 | 0 | 0 558.15/558.32 c 558s | 25 | 7752447 | 6158298 | 791 19796 | 0 | 0 560.15/560.32 c 560s | 25 | 7780807 | 6179598 | 791 19849 | 0 | 0 562.15/562.33 c 562s | 25 | 7806378 | 6199498 | 791 19898 | 0 | 0 564.15/564.33 c 564s | 25 | 7834742 | 6219798 | 791 19949 | 0 | 0 566.14/566.34 c 566s | 25 | 7863298 | 6240598 | 791 20000 | 0 | 0 568.14/568.35 c 568s | 25 | 7885694 | 6259298 | 791 20047 | 0 | 0 570.14/570.35 c 570s | 25 | 7910967 | 6279598 | 791 20097 | 0 | 0 572.14/572.35 c 572s | 25 | 7940665 | 6301298 | 791 20151 | 0 | 0 574.15/574.35 c 574s | 25 | 7966097 | 6321898 | 791 20202 | 0 | 0 576.13/576.36 c 576s | 25 | 7993175 | 6343298 | 791 20255 | 0 | 0 578.13/578.36 c 578s | 25 | 8021754 | 6365398 | 791 20310 | 0 | 0 580.13/580.37 c 580s | 25 | 8048596 | 6386698 | 791 20363 | 0 | 0 582.14/582.37 c 582s | 25 | 8075130 | 6407298 | 791 20414 | 0 | 0 584.14/584.38 c 584s | 25 | 8101580 | 6427998 | 791 20466 | 0 | 0 586.14/586.39 c 586s | 25 | 8129788 | 6449398 | 791 20519 | 0 | 0 588.14/588.39 c 588s | 25 | 8159414 | 6471298 | 791 20574 | 0 | 0 590.24/590.40 c 590s | 25 | 8187844 | 6493498 | 791 20629 | 0 | 0 592.24/592.40 c 592s | 25 | 8216045 | 6514898 | 791 20683 | 0 | 0 594.23/594.41 c 594s | 25 | 8243391 | 6536598 | 791 20737 | 0 | 0 596.23/596.41 c 596s | 25 | 8271993 | 6557998 | 791 20790 | 0 | 0 598.23/598.42 c 598s | 25 | 8301393 | 6580098 | 791 20845 | 0 | 0 600.23/600.42 c 600s | 25 | 8329068 | 6601698 | 791 20899 | 0 | 0 602.22/602.43 c 602s | 25 | 8357436 | 6623598 | 791 20954 | 0 | 0 604.22/604.43 c 604s | 25 | 8383831 | 6644598 | 791 21006 | 0 | 0 606.22/606.43 c 606s | 25 | 8409921 | 6665198 | 791 21057 | 0 | 0 608.24/608.44 c 608s | 25 | 8435947 | 6685598 | 791 21108 | 0 | 0 610.23/610.44 c 610s | 25 | 8461179 | 6705998 | 791 21159 | 0 | 0 612.23/612.45 c 612s | 25 | 8490239 | 6727298 | 791 21212 | 0 | 0 614.23/614.45 c 614s | 25 | 8516412 | 6747798 | 791 21262 | 0 | 0 616.22/616.45 c 616s | 25 | 8540835 | 6767498 | 791 21311 | 0 | 0 618.22/618.46 c 618s | 25 | 8568141 | 6788598 | 791 21363 | 0 | 0 620.23/620.47 c 620s | 25 | 8594103 | 6809098 | 791 21414 | 0 | 0 622.22/622.47 c 622s | 25 | 8618993 | 6828598 | 791 21463 | 0 | 0 624.22/624.47 c 624s | 25 | 8641699 | 6847498 | 791 21509 | 0 | 0 626.21/626.47 c 626s | 25 | 8665644 | 6866998 | 791 21558 | 0 | 0 628.21/628.48 c 628s | 25 | 8687813 | 6885698 | 791 21605 | 0 | 0 630.22/630.48 c 630s | 25 | 8709191 | 6903898 | 791 21650 | 0 | 0 632.21/632.48 c 632s | 25 | 8732080 | 6922698 | 791 21697 | 0 | 0 634.21/634.48 c 634s | 25 | 8756471 | 6942398 | 791 21746 | 0 | 0 636.20/636.48 c 636s | 25 | 8781622 | 6962398 | 791 21796 | 0 | 0 638.20/638.49 c 638s | 25 | 8804584 | 6981498 | 791 21843 | 0 | 0 640.20/640.49 c 640s | 25 | 8827413 | 7000398 | 791 21891 | 0 | 0 642.21/642.50 c 642s | 25 | 8849753 | 7019198 | 791 21938 | 0 | 0 644.30/644.50 c 644s | 25 | 8872336 | 7038198 | 791 21985 | 0 | 0 646.30/646.51 c 646s | 25 | 8892643 | 7056198 | 791 22030 | 0 | 0 648.30/648.51 c 648s | 25 | 8915440 | 7075198 | 791 22077 | 0 | 0 650.29/650.52 c 650s | 25 | 8939885 | 7094898 | 791 22127 | 0 | 0 652.29/652.52 c 652s | 25 | 8963726 | 7114498 | 791 22176 | 0 | 0 654.30/654.52 c 654s | 25 | 8987998 | 7134398 | 791 22225 | 0 | 0 656.29/656.52 c 656s | 25 | 9010881 | 7153598 | 791 22273 | 0 | 0 658.29/658.53 c 658s | 25 | 9034720 | 7172698 | 791 22321 | 0 | 0 660.29/660.53 c 660s | 25 | 9059726 | 7192498 | 791 22370 | 0 | 0 662.29/662.54 c 662s | 25 | 9084132 | 7212198 | 791 22419 | 0 | 0 664.30/664.55 c 664s | 25 | 9107658 | 7231798 | 791 22468 | 0 | 0 666.29/666.56 c 666s | 25 | 9132418 | 7251898 | 791 22518 | 0 | 0 668.29/668.56 c 668s | 25 | 9157318 | 7271998 | 791 22568 | 0 | 0 670.29/670.56 c 670s | 25 | 9180566 | 7291198 | 791 22616 | 0 | 0 672.28/672.56 c 672s | 25 | 9204221 | 7310698 | 791 22664 | 0 | 0 674.28/674.57 c 674s | 25 | 9231902 | 7332098 | 791 22718 | 0 | 0 676.28/676.57 c 676s | 25 | 9256224 | 7351998 | 791 22767 | 0 | 0 678.28/678.57 c 678s | 25 | 9282003 | 7372598 | 791 22819 | 0 | 0 680.28/680.57 c 680s | 25 | 9308505 | 7393198 | 791 22870 | 0 | 0 682.28/682.58 c 682s | 25 | 9333272 | 7412998 | 791 22920 | 0 | 0 684.28/684.58 c 684s | 25 | 9359990 | 7433798 | 791 22972 | 0 | 0 686.28/686.59 c 686s | 25 | 9386774 | 7454498 | 791 23023 | 0 | 0 688.27/688.59 c 688s | 25 | 9410546 | 7473798 | 791 23072 | 0 | 0 690.37/690.60 c 690s | 25 | 9434861 | 7493498 | 791 23121 | 0 | 0 692.38/692.60 c 692s | 25 | 9458815 | 7512798 | 791 23169 | 0 | 0 694.37/694.60 c 694s | 25 | 9483049 | 7532298 | 791 23218 | 0 | 0 696.37/696.60 c 696s | 25 | 9508944 | 7552498 | 871 23266 | 0 | 0 698.27/698.60 c 698s | 25 | 9535213 | 7572898 | 871 23312 | 0 | 0 700.37/700.60 c 700s | 25 | 9560998 | 7593098 | 871 23358 | 0 | 0 700.77/701.05 c 701s | 26 | 9567057 | 7597752 | 871 23369 | 0 | 0 702.77/703.06 c 703s | 26 | 9591878 | 7617052 | 871 23412 | 0 | 0 704.77/705.06 c 705s | 26 | 9615880 | 7636252 | 871 23455 | 0 | 0 706.76/707.06 c 707s | 26 | 9640703 | 7655652 | 871 23498 | 0 | 0 708.76/709.06 c 709s | 26 | 9663217 | 7674352 | 871 23540 | 0 | 0 710.76/711.07 c 711s | 26 | 9686542 | 7693352 | 871 23583 | 0 | 0 712.76/713.07 c 713s | 26 | 9708654 | 7711652 | 871 23624 | 0 | 0 714.77/715.08 c 715s | 26 | 9729600 | 7729152 | 871 23663 | 0 | 0 716.75/717.08 c 717s | 26 | 9750463 | 7746852 | 871 23703 | 0 | 0 718.75/719.08 c 719s | 26 | 9776193 | 7766852 | 871 23748 | 0 | 0 720.75/721.09 c 721s | 26 | 9799186 | 7785752 | 871 23790 | 0 | 0 722.85/723.10 c 723s | 26 | 9822095 | 7804552 | 871 23833 | 0 | 0 724.85/725.10 c 725s | 26 | 9847238 | 7824552 | 871 23878 | 0 | 0 726.85/727.10 c 727s | 26 | 9871949 | 7844052 | 871 23921 | 0 | 0 728.85/729.11 c 729s | 26 | 9898273 | 7864752 | 871 23968 | 0 | 0 730.85/731.11 c 731s | 26 | 9922819 | 7884252 | 871 24012 | 0 | 0 732.85/733.12 c 733s | 26 | 9947773 | 7904152 | 871 24056 | 0 | 0 734.85/735.13 c 735s | 26 | 9973651 | 7924752 | 871 24103 | 0 | 0 736.85/737.13 c 737s | 26 | 9999264 | 7944952 | 871 24148 | 0 | 0 738.84/739.14 c 739s | 26 | 10022641 | 7964252 | 871 24192 | 0 | 0 740.84/741.15 c 741s | 26 | 10046747 | 7983552 | 871 24235 | 0 | 0 742.84/743.15 c 743s | 26 | 10071128 | 8002652 | 871 24278 | 0 | 0 744.84/745.15 c 745s | 26 | 10096648 | 8022652 | 871 24323 | 0 | 0 746.83/747.17 c 747s | 26 | 10117610 | 8040352 | 871 24363 | 0 | 0 748.84/749.17 c 749s | 26 | 10141908 | 8059952 | 871 24408 | 0 | 0 750.83/751.18 c 751s | 26 | 10165133 | 8079152 | 871 24451 | 0 | 0 752.83/753.18 c 753s | 26 | 10188609 | 8098252 | 871 24494 | 0 | 0 754.83/755.18 c 755s | 26 | 10210540 | 8116852 | 871 24537 | 0 | 0 756.84/757.19 c 757s | 26 | 10232963 | 8135452 | 871 24579 | 0 | 0 758.93/759.20 c 759s | 26 | 10256006 | 8154652 | 871 24622 | 0 | 0 760.83/761.20 c 761s | 26 | 10278066 | 8173152 | 871 24664 | 0 | 0 762.93/763.21 c 763s | 26 | 10299521 | 8191552 | 871 24705 | 0 | 0 764.93/765.22 c 765s | 26 | 10322304 | 8210652 | 871 24748 | 0 | 0 766.93/767.22 c 767s | 26 | 10344819 | 8229152 | 871 24790 | 0 | 0 768.93/769.23 c 769s | 26 | 10370690 | 8249552 | 871 24836 | 0 | 0 770.93/771.23 c 771s | 26 | 10396184 | 8269552 | 871 24881 | 0 | 0 772.93/773.24 c 773s | 26 | 10420104 | 8288852 | 871 24924 | 0 | 0 774.93/775.24 c 775s | 26 | 10444427 | 8308152 | 871 24968 | 0 | 0 776.92/777.25 c 777s | 26 | 10468478 | 8327452 | 871 25012 | 0 | 0 778.92/779.25 c 779s | 26 | 10490301 | 8345652 | 871 25053 | 0 | 0 780.92/781.26 c 781s | 26 | 10512725 | 8364452 | 871 25096 | 0 | 0 782.93/783.27 c 783s | 26 | 10535064 | 8383352 | 871 25139 | 0 | 0 784.92/785.27 c 785s | 26 | 10559221 | 8403452 | 871 25184 | 0 | 0 786.91/787.28 c 787s | 26 | 10582211 | 8422752 | 871 25228 | 0 | 0 788.91/789.28 c 789s | 26 | 10604665 | 8441452 | 871 25270 | 0 | 0 790.92/791.29 c 791s | 26 | 10626033 | 8459652 | 871 25311 | 0 | 0 792.93/793.29 c 793s | 26 | 10647558 | 8478152 | 871 25352 | 0 | 0 794.92/795.29 c 795s | 26 | 10670448 | 8497052 | 871 25395 | 0 | 0 797.01/797.30 c 797s | 26 | 10691866 | 8515152 | 871 25436 | 0 | 0 799.01/799.30 c 799s | 26 | 10712796 | 8533052 | 871 25476 | 0 | 0 801.01/801.31 c 801s | 26 | 10732963 | 8550252 | 871 25515 | 0 | 0 803.01/803.31 c 803s | 26 | 10754766 | 8568352 | 871 25557 | 0 | 0 805.01/805.32 c 805s | 26 | 10775702 | 8585952 | 871 25597 | 0 | 0 807.00/807.32 c 807s | 26 | 10795548 | 8603052 | 871 25635 | 0 | 0 809.00/809.33 c 809s | 26 | 10816628 | 8620552 | 871 25674 | 0 | 0 811.00/811.34 c 811s | 26 | 10835422 | 8636752 | 871 25710 | 0 | 0 813.00/813.35 c 813s | 26 | 10853775 | 8652952 | 871 25747 | 0 | 0 815.00/815.35 c 815s | 26 | 10873723 | 8669952 | 871 25785 | 0 | 0 817.00/817.36 c 817s | 26 | 10894641 | 8687752 | 871 25825 | 0 | 0 818.99/819.37 c 819s | 26 | 10914401 | 8705052 | 871 25864 | 0 | 0 820.99/821.38 c 821s | 26 | 10932633 | 8721352 | 871 25901 | 0 | 0 822.99/823.38 c 823s | 26 | 10954080 | 8739052 | 871 25940 | 0 | 0 824.99/825.39 c 825s | 26 | 10974697 | 8756452 | 871 25979 | 0 | 0 827.00/827.40 c 827s | 26 | 10996971 | 8775052 | 871 26021 | 0 | 0 829.10/829.41 c 829s | 26 | 11017086 | 8792452 | 871 26060 | 0 | 0 831.09/831.41 c 831s | 26 | 11037229 | 8809952 | 871 26100 | 0 | 0 833.09/833.42 c 833s | 26 | 11057595 | 8827752 | 871 26140 | 0 | 0 835.08/835.42 c 835s | 26 | 11079569 | 8846352 | 871 26182 | 0 | 0 837.08/837.43 c 837s | 26 | 11099784 | 8863752 | 871 26221 | 0 | 0 839.09/839.44 c 839s | 26 | 11119396 | 8880952 | 871 26259 | 0 | 0 841.08/841.45 c 841s | 26 | 11139333 | 8898252 | 871 26298 | 0 | 0 843.08/843.46 c 843s | 26 | 11160735 | 8916252 | 871 26339 | 0 | 0 845.07/845.47 c 845s | 26 | 11181993 | 8934052 | 871 26379 | 0 | 0 847.07/847.48 c 847s | 26 | 11203236 | 8951952 | 871 26419 | 0 | 0 849.08/849.48 c 849s | 26 | 11224599 | 8970352 | 871 26461 | 0 | 0 851.09/851.49 c 851s | 26 | 11247196 | 8989052 | 871 26503 | 0 | 0 853.08/853.49 c 853s | 26 | 11269643 | 9008152 | 871 26546 | 0 | 0 855.17/855.50 c 855s | 26 | 11291197 | 9026752 | 871 26588 | 0 | 0 857.17/857.50 c 857s | 26 | 11311374 | 9044352 | 871 26628 | 0 | 0 859.17/859.51 c 859s | 26 | 11331996 | 9062252 | 871 26668 | 0 | 0 861.17/861.51 c 861s | 26 | 11355300 | 9081152 | 871 26711 | 0 | 0 863.18/863.52 c 863s | 26 | 11378260 | 9099452 | 871 26752 | 0 | 0 865.17/865.52 c 865s | 26 | 11402246 | 9118352 | 871 26795 | 0 | 0 867.17/867.53 c 867s | 26 | 11426616 | 9137452 | 871 26838 | 0 | 0 869.17/869.54 c 869s | 26 | 11449057 | 9155552 | 871 26879 | 0 | 0 871.17/871.55 c 871s | 26 | 11473365 | 9174252 | 871 26921 | 0 | 0 873.17/873.55 c 873s | 26 | 11493680 | 9191652 | 871 26960 | 0 | 0 875.16/875.56 c 875s | 26 | 11513987 | 9209052 | 871 27000 | 0 | 0 877.16/877.57 c 877s | 26 | 11536014 | 9227252 | 871 27041 | 0 | 0 879.16/879.58 c 879s | 26 | 11556697 | 9244752 | 871 27080 | 0 | 0 881.16/881.58 c 881s | 26 | 11578605 | 9262752 | 871 27121 | 0 | 0 883.15/883.59 c 883s | 26 | 11599564 | 9280152 | 871 27160 | 0 | 0 885.16/885.60 c 885s | 26 | 11619887 | 9297252 | 871 27198 | 0 | 0 887.25/887.60 c 887s | 26 | 11641952 | 9314852 | 871 27238 | 0 | 0 889.25/889.61 c 889s | 26 | 11662205 | 9331752 | 871 27276 | 0 | 0 891.25/891.61 c 891s | 26 | 11682332 | 9348752 | 871 27314 | 0 | 0 893.25/893.62 c 893s | 26 | 11703123 | 9366452 | 871 27354 | 0 | 0 895.24/895.62 c 895s | 26 | 11724587 | 9383952 | 871 27393 | 0 | 0 897.25/897.63 c 897s | 26 | 11747444 | 9402352 | 871 27434 | 0 | 0 899.24/899.64 c 899s | 26 | 11769875 | 9420752 | 871 27476 | 0 | 0 901.24/901.65 c 901s | 26 | 11793090 | 9439852 | 871 27519 | 0 | 0 903.25/903.66 c 903s | 26 | 11814058 | 9457652 | 871 27559 | 0 | 0 905.24/905.66 c 905s | 26 | 11835502 | 9475452 | 871 27599 | 0 | 0 907.25/907.67 c 907s | 26 | 11856326 | 9492952 | 871 27638 | 0 | 0 909.24/909.68 c 909s | 26 | 11877180 | 9510652 | 871 27678 | 0 | 0 911.24/911.69 c 911s | 26 | 11896558 | 9527652 | 871 27717 | 0 | 0 913.34/913.70 c 913s | 26 | 11917193 | 9544952 | 871 27756 | 0 | 0 915.33/915.70 c 915s | 26 | 11936690 | 9562252 | 871 27795 | 0 | 0 917.33/917.71 c 917s | 26 | 11958525 | 9580852 | 871 27837 | 0 | 0 919.34/919.72 c 919s | 26 | 11981622 | 9599552 | 871 27879 | 0 | 0 921.33/921.72 c 921s | 26 | 12003789 | 9617752 | 871 27919 | 0 | 0 923.33/923.73 c 923s | 26 | 12024743 | 9635852 | 871 27960 | 0 | 0 925.32/925.73 c 925s | 26 | 12045776 | 9653552 | 871 28000 | 0 | 0 927.32/927.73 c 927s | 26 | 12068450 | 9672252 | 871 28042 | 0 | 0 929.32/929.74 c 929s | 26 | 12089345 | 9689752 | 871 28081 | 0 | 0 931.33/931.75 c 931s | 26 | 12108801 | 9706352 | 871 28119 | 0 | 0 933.32/933.75 c 933s | 26 | 12128537 | 9723152 | 871 28157 | 0 | 0 935.31/935.76 c 935s | 26 | 12150741 | 9741152 | 871 28197 | 0 | 0 937.32/937.76 c 937s | 26 | 12171967 | 9758752 | 871 28237 | 0 | 0 939.32/939.77 c 939s | 26 | 12193200 | 9776852 | 871 28278 | 0 | 0 941.33/941.77 c 941s | 26 | 12215167 | 9795352 | 871 28320 | 0 | 0 943.32/943.78 c 943s | 26 | 12237724 | 9814152 | 871 28362 | 0 | 0 945.32/945.78 c 945s | 26 | 12259419 | 9832452 | 871 28404 | 0 | 0 947.32/947.79 c 947s | 26 | 12281917 | 9850652 | 871 28444 | 0 | 0 949.42/949.80 c 949s | 26 | 12302349 | 9867752 | 871 28483 | 0 | 0 951.41/951.81 c 951s | 26 | 12323375 | 9884952 | 871 28521 | 0 | 0 953.42/953.81 c 953s | 26 | 12347074 | 9903452 | 871 28563 | 0 | 0 955.41/955.82 c 955s | 26 | 12368891 | 9921252 | 871 28603 | 0 | 0 957.41/957.82 c 957s | 26 | 12388433 | 9938252 | 871 28641 | 0 | 0 959.41/959.83 c 959s | 26 | 12409807 | 9956252 | 871 28681 | 0 | 0 961.40/961.84 c 961s | 26 | 12432346 | 9974852 | 871 28723 | 0 | 0 963.40/963.84 c 963s | 26 | 12454053 | 9992652 | 871 28763 | 0 | 0 965.41/965.85 c 965s | 26 | 12474258 | 10009852 | 871 28802 | 0 | 0 967.40/967.86 c 967s | 26 | 12495078 | 10027552 | 871 28842 | 0 | 0 969.40/969.86 c 969s | 26 | 12515336 | 10044852 | 871 28881 | 0 | 0 971.40/971.87 c 971s | 26 | 12537873 | 10063352 | 871 28923 | 0 | 0 973.40/973.88 c 973s | 26 | 12560505 | 10081952 | 871 28965 | 0 | 0 975.40/975.89 c 975s | 26 | 12583722 | 10100552 | 871 29007 | 0 | 0 977.39/977.89 c 977s | 26 | 12603064 | 10117252 | 871 29045 | 0 | 0 979.49/979.90 c 979s | 26 | 12624866 | 10135152 | 871 29085 | 0 | 0 981.50/981.90 c 981s | 26 | 12647601 | 10153352 | 871 29127 | 0 | 0 983.50/983.91 c 983s | 26 | 12669170 | 10171252 | 871 29167 | 0 | 0 985.49/985.91 c 985s | 26 | 12690735 | 10189252 | 871 29208 | 0 | 0 987.50/987.91 c 987s | 26 | 12712650 | 10207352 | 871 29249 | 0 | 0 989.49/989.92 c 989s | 26 | 12734364 | 10225252 | 871 29289 | 0 | 0 991.49/991.93 c 991s | 26 | 12756141 | 10243352 | 871 29330 | 0 | 0 993.49/993.93 c 993s | 26 | 12777835 | 10261652 | 871 29371 | 0 | 0 995.48/995.94 c 995s | 26 | 12799280 | 10279552 | 871 29411 | 0 | 0 997.48/997.95 c 997s | 26 | 12823053 | 10298552 | 871 29454 | 0 | 0 999.49/999.96 c 999s | 26 | 12844366 | 10316352 | 871 29494 | 0 | 0 1001.48/1001.97 c 1001s | 26 | 12866313 | 10334352 | 871 29534 | 0 | 0 1003.48/1003.97 c 1003s | 26 | 12886780 | 10351552 | 871 29573 | 0 | 0 1005.48/1005.97 c 1005s | 26 | 12906904 | 10368552 | 871 29611 | 0 | 0 1007.48/1007.97 c 1007s | 26 | 12926372 | 10385052 | 871 29648 | 0 | 0 1009.48/1009.97 c 1009s | 26 | 12946068 | 10401952 | 871 29687 | 0 | 0 1011.48/1011.98 c 1011s | 26 | 12967557 | 10419452 | 871 29726 | 0 | 0 1013.48/1013.98 c 1013s | 26 | 12987645 | 10436652 | 871 29765 | 0 | 0 1015.47/1015.99 c 1015s | 26 | 13008229 | 10454052 | 871 29805 | 0 | 0 1017.47/1017.99 c 1017s | 26 | 13030328 | 10472352 | 871 29846 | 0 | 0 1019.47/1020.00 c 1019s | 26 | 13051558 | 10490252 | 871 29886 | 0 | 0 1021.48/1022.00 c 1021s | 26 | 13074381 | 10508752 | 871 29928 | 0 | 0 1023.57/1024.00 c 1023s | 26 | 13097001 | 10527452 | 871 29971 | 0 | 0 1025.57/1026.01 c 1025s | 26 | 13118997 | 10545352 | 871 30011 | 0 | 0 1027.57/1028.01 c 1028s | 26 | 13140515 | 10563152 | 871 30051 | 0 | 0 1029.57/1030.02 c 1030s | 26 | 13163320 | 10581952 | 871 30094 | 0 | 0 1031.57/1032.03 c 1032s | 26 | 13184489 | 10599952 | 871 30135 | 0 | 0 1033.58/1034.03 c 1034s | 26 | 13206603 | 10618652 | 871 30177 | 0 | 0 1035.57/1036.04 c 1036s | 26 | 13227156 | 10636652 | 871 30218 | 0 | 0 1037.57/1038.04 c 1038s | 26 | 13248403 | 10654752 | 871 30259 | 0 | 0 1039.57/1040.05 c 1040s | 26 | 13272297 | 10674052 | 871 30303 | 0 | 0 1041.57/1042.05 c 1042s | 26 | 13294446 | 10692552 | 871 30346 | 0 | 0 1043.57/1044.06 c 1044s | 26 | 13318099 | 10711852 | 871 30390 | 0 | 0 1045.57/1046.07 c 1046s | 26 | 13341966 | 10731252 | 871 30434 | 0 | 0 1047.56/1048.07 c 1048s | 26 | 13366184 | 10750452 | 871 30478 | 0 | 0 1049.56/1050.08 c 1050s | 26 | 13389402 | 10769452 | 871 30521 | 0 | 0 1051.56/1052.09 c 1052s | 26 | 13410945 | 10787652 | 871 30563 | 0 | 0 1053.66/1054.10 c 1054s | 26 | 13432758 | 10805652 | 871 30604 | 0 | 0 1055.57/1056.10 c 1056s | 26 | 13454602 | 10823852 | 871 30645 | 0 | 0 1057.66/1058.10 c 1058s | 26 | 13477789 | 10842652 | 871 30688 | 0 | 0 1059.66/1060.10 c 1060s | 26 | 13501182 | 10861652 | 871 30732 | 0 | 0 1061.66/1062.11 c 1062s | 26 | 13523364 | 10879952 | 871 30774 | 0 | 0 1063.66/1064.11 c 1064s | 26 | 13548179 | 10899052 | 871 30817 | 0 | 0 1065.66/1066.11 c 1066s | 26 | 13569715 | 10917252 | 871 30858 | 0 | 0 1067.67/1068.12 c 1068s | 26 | 13590861 | 10935252 | 871 30899 | 0 | 0 1069.67/1070.12 c 1070s | 26 | 13612798 | 10953552 | 871 30940 | 0 | 0 1071.67/1072.12 c 1072s | 26 | 13635281 | 10972252 | 871 30982 | 0 | 0 1073.67/1074.12 c 1074s | 26 | 13655888 | 10989752 | 871 31022 | 0 | 0 1075.66/1076.13 c 1076s | 26 | 13678008 | 11007852 | 871 31062 | 0 | 0 1077.67/1078.13 c 1078s | 26 | 13699829 | 11025852 | 871 31103 | 0 | 0 1079.66/1080.13 c 1080s | 26 | 13718991 | 11042552 | 871 31140 | 0 | 0 1081.66/1082.13 c 1082s | 26 | 13738962 | 11059552 | 871 31179 | 0 | 0 1083.66/1084.14 c 1084s | 26 | 13759352 | 11077052 | 871 31218 | 0 | 0 1085.66/1086.14 c 1086s | 26 | 13780762 | 11095152 | 871 31259 | 0 | 0 1087.66/1088.15 c 1088s | 26 | 13801628 | 11112952 | 871 31299 | 0 | 0 1089.66/1090.15 c 1090s | 26 | 13822846 | 11130952 | 871 31340 | 0 | 0 1091.66/1092.16 c 1092s | 26 | 13845014 | 11149052 | 871 31380 | 0 | 0 1093.66/1094.16 c 1094s | 26 | 13868079 | 11167352 | 871 31421 | 0 | 0 1095.65/1096.17 c 1096s | 26 | 13890013 | 11185152 | 871 31462 | 0 | 0 1097.66/1098.17 c 1098s | 26 | 13911802 | 11203052 | 871 31502 | 0 | 0 1099.67/1100.17 c 1100s | 26 | 13933345 | 11220752 | 871 31542 | 0 | 0 1101.66/1102.18 c 1102s | 26 | 13955138 | 11239052 | 871 31584 | 0 | 0 1103.66/1104.19 c 1104s | 26 | 13975604 | 11256252 | 871 31622 | 0 | 0 1105.66/1106.19 c 1106s | 26 | 13996946 | 11274052 | 871 31662 | 0 | 0 1107.76/1108.20 c 1108s | 26 | 14017683 | 11291452 | 871 31702 | 0 | 0 1109.76/1110.20 c 1110s | 26 | 14038687 | 11309252 | 871 31742 | 0 | 0 1111.77/1112.21 c 1112s | 26 | 14061570 | 11327352 | 959 31780 | 0 | 0 1113.76/1114.22 c 1114s | 26 | 14081619 | 11344252 | 959 31815 | 0 | 0 1115.76/1116.22 c 1116s | 26 | 14101729 | 11360952 | 959 31849 | 0 | 0 1117.75/1118.22 c 1118s | 26 | 14121357 | 11377452 | 959 31883 | 0 | 0 1119.75/1120.23 c 1120s | 26 | 14140517 | 11393652 | 959 31916 | 0 | 0 1120.15/1120.63 c 1120s | 27 | 14144060 | 11396733 | 959 31923 | 0 | 0 1122.15/1122.64 c 1122s | 27 | 14163309 | 11413533 | 959 31957 | 0 | 0 1124.15/1124.65 c 1124s | 27 | 14183050 | 11430333 | 959 31991 | 0 | 0 1126.15/1126.65 c 1126s | 27 | 14205161 | 11447933 | 959 32027 | 0 | 0 1128.16/1128.66 c 1128s | 27 | 14227303 | 11466033 | 959 32064 | 0 | 0 1130.15/1130.67 c 1130s | 27 | 14248384 | 11483633 | 959 32100 | 0 | 0 1132.15/1132.68 c 1132s | 27 | 14270570 | 11501133 | 959 32136 | 0 | 0 1134.15/1134.68 c 1134s | 27 | 14293802 | 11519233 | 959 32173 | 0 | 0 1136.16/1136.69 c 1136s | 27 | 14316073 | 11537333 | 959 32210 | 0 | 0 1138.16/1138.69 c 1138s | 27 | 14337506 | 11554733 | 959 32246 | 0 | 0 1140.16/1140.69 c 1140s | 27 | 14357622 | 11571233 | 959 32280 | 0 | 0 1142.26/1142.70 c 1142s | 27 | 14379105 | 11588733 | 959 32315 | 0 | 0 1144.26/1144.70 c 1144s | 27 | 14403019 | 11607233 | 959 32353 | 0 | 0 1146.25/1146.71 c 1146s | 27 | 14424937 | 11624933 | 959 32390 | 0 | 0 1148.25/1148.71 c 1148s | 27 | 14443779 | 11641133 | 959 32423 | 0 | 0 1150.26/1150.71 c 1150s | 27 | 14467028 | 11659533 | 959 32461 | 0 | 0 1152.25/1152.72 c 1152s | 27 | 14490712 | 11678533 | 959 32500 | 0 | 0 1154.25/1154.72 c 1154s | 27 | 14513109 | 11696833 | 959 32538 | 0 | 0 1156.25/1156.73 c 1156s | 27 | 14533753 | 11714133 | 959 32573 | 0 | 0 1158.25/1158.74 c 1158s | 27 | 14553402 | 11731233 | 959 32608 | 0 | 0 1160.25/1160.74 c 1160s | 27 | 14574752 | 11748933 | 959 32644 | 0 | 0 1162.26/1162.74 c 1162s | 27 | 14596980 | 11767033 | 959 32682 | 0 | 0 1164.25/1164.75 c 1164s | 27 | 14616004 | 11783533 | 959 32715 | 0 | 0 1166.25/1166.76 c 1166s | 27 | 14636061 | 11800533 | 959 32750 | 0 | 0 1168.25/1168.76 c 1168s | 27 | 14656001 | 11817433 | 959 32785 | 0 | 0 1170.25/1170.77 c 1170s | 27 | 14677715 | 11835133 | 959 32821 | 0 | 0 1172.26/1172.77 c 1172s | 27 | 14703954 | 11854733 | 959 32862 | 0 | 0 1174.25/1174.78 c 1174s | 27 | 14725036 | 11872233 | 959 32898 | 0 | 0 1176.25/1176.79 c 1176s | 27 | 14749392 | 11890833 | 959 32936 | 0 | 0 1178.35/1178.80 c 1178s | 27 | 14775342 | 11910133 | 959 32976 | 0 | 0 1180.35/1180.80 c 1180s | 27 | 14799504 | 11928533 | 959 33013 | 0 | 0 1182.35/1182.81 c 1182s | 27 | 14824316 | 11947033 | 959 33052 | 0 | 0 1184.36/1184.82 c 1184s | 27 | 14848047 | 11965533 | 959 33090 | 0 | 0 1186.35/1186.83 c 1186s | 27 | 14870518 | 11983533 | 959 33127 | 0 | 0 1188.35/1188.83 c 1188s | 27 | 14895795 | 12002533 | 959 33166 | 0 | 0 1190.35/1190.84 c 1190s | 27 | 14919342 | 12021133 | 959 33204 | 0 | 0 1192.34/1192.84 c 1192s | 27 | 14944117 | 12040233 | 959 33243 | 0 | 0 1194.34/1194.84 c 1194s | 27 | 14966427 | 12057733 | 959 33280 | 0 | 0 1196.35/1196.85 c 1196s | 27 | 14986339 | 12074533 | 959 33314 | 0 | 0 1198.34/1198.86 c 1198s | 27 | 15006576 | 12091433 | 959 33349 | 0 | 0 1200.34/1200.87 c 1200s | 27 | 15027941 | 12108633 | 959 33384 | 0 | 0 1202.34/1202.87 c 1202s | 27 | 15051930 | 12127233 | 959 33423 | 0 | 0 1204.35/1204.88 c 1204s | 27 | 15072241 | 12144033 | 959 33457 | 0 | 0 1206.35/1206.89 c 1206s | 27 | 15090696 | 12159833 | 959 33490 | 0 | 0 1208.35/1208.90 c 1208s | 27 | 15110039 | 12176333 | 959 33524 | 0 | 0 1210.45/1210.90 c 1210s | 27 | 15129967 | 12192933 | 959 33558 | 0 | 0 1212.45/1212.91 c 1212s | 27 | 15149672 | 12209533 | 959 33592 | 0 | 0 1214.44/1214.92 c 1214s | 27 | 15170698 | 12226733 | 959 33627 | 0 | 0 1216.44/1216.93 c 1216s | 27 | 15192914 | 12244633 | 959 33664 | 0 | 0 1218.45/1218.93 c 1218s | 27 | 15215179 | 12262533 | 959 33701 | 0 | 0 1220.44/1220.93 c 1220s | 27 | 15236522 | 12279833 | 959 33737 | 0 | 0 1222.44/1222.94 c 1222s | 27 | 15257379 | 12297033 | 959 33773 | 0 | 0 1224.44/1224.94 c 1224s | 27 | 15280527 | 12315133 | 959 33810 | 0 | 0 1226.44/1226.94 c 1226s | 27 | 15304954 | 12333733 | 959 33848 | 0 | 0 1228.44/1228.95 c 1228s | 27 | 15329252 | 12352333 | 959 33886 | 0 | 0 1230.44/1230.95 c 1230s | 27 | 15352428 | 12370333 | 959 33923 | 0 | 0 1232.44/1232.96 c 1232s | 27 | 15374770 | 12388333 | 959 33960 | 0 | 0 1234.44/1234.97 c 1234s | 27 | 15398248 | 12406833 | 959 33999 | 0 | 0 1236.43/1236.98 c 1236s | 27 | 15420583 | 12424633 | 959 34035 | 0 | 0 1238.43/1238.99 c 1238s | 27 | 15441190 | 12441433 | 959 34070 | 0 | 0 1240.45/1240.99 c 1240s | 27 | 15463359 | 12459033 | 959 34106 | 0 | 0 1242.44/1243.00 c 1242s | 27 | 15487070 | 12477333 | 959 34144 | 0 | 0 1244.54/1245.01 c 1244s | 27 | 15506004 | 12493533 | 959 34177 | 0 | 0 1246.54/1247.02 c 1247s | 27 | 15529192 | 12511333 | 959 34213 | 0 | 0 1248.54/1249.02 c 1249s | 27 | 15550931 | 12528933 | 959 34250 | 0 | 0 1250.54/1251.03 c 1251s | 27 | 15573920 | 12546633 | 959 34286 | 0 | 0 1252.54/1253.03 c 1253s | 27 | 15597375 | 12564733 | 959 34323 | 0 | 0 1254.54/1255.04 c 1255s | 27 | 15618575 | 12581933 | 959 34359 | 0 | 0 1256.54/1257.04 c 1257s | 27 | 15639440 | 12599033 | 959 34394 | 0 | 0 1258.53/1259.06 c 1259s | 27 | 15659225 | 12615533 | 959 34428 | 0 | 0 1260.53/1261.07 c 1261s | 27 | 15681293 | 12633233 | 959 34464 | 0 | 0 1262.53/1263.08 c 1263s | 27 | 15700171 | 12649333 | 959 34497 | 0 | 0 1264.54/1265.08 c 1265s | 27 | 15721722 | 12666533 | 959 34532 | 0 | 0 1266.53/1267.09 c 1267s | 27 | 15742511 | 12683233 | 959 34566 | 0 | 0 1268.53/1269.09 c 1269s | 27 | 15762520 | 12699633 | 959 34599 | 0 | 0 1270.63/1271.10 c 1271s | 27 | 15783592 | 12716633 | 959 34634 | 0 | 0 1272.63/1273.11 c 1273s | 27 | 15805329 | 12733933 | 959 34669 | 0 | 0 1274.63/1275.12 c 1275s | 27 | 15824732 | 12750233 | 959 34702 | 0 | 0 1276.64/1277.12 c 1277s | 27 | 15843900 | 12766333 | 959 34735 | 0 | 0 1278.63/1279.12 c 1279s | 27 | 15863122 | 12782533 | 959 34768 | 0 | 0 1280.63/1281.13 c 1281s | 27 | 15884659 | 12800433 | 959 34805 | 0 | 0 1282.63/1283.13 c 1283s | 27 | 15907445 | 12819133 | 959 34843 | 0 | 0 1284.63/1285.14 c 1285s | 27 | 15930757 | 12837933 | 959 34882 | 0 | 0 1286.64/1287.14 c 1287s | 27 | 15952720 | 12855733 | 959 34918 | 0 | 0 1288.63/1289.15 c 1289s | 27 | 15974517 | 12873433 | 959 34955 | 0 | 0 1290.63/1291.15 c 1291s | 27 | 15995563 | 12890733 | 959 34990 | 0 | 0 1292.63/1293.16 c 1293s | 27 | 16016184 | 12908533 | 959 35027 | 0 | 0 1294.63/1295.16 c 1295s | 27 | 16036602 | 12926033 | 959 35063 | 0 | 0 1296.63/1297.16 c 1297s | 27 | 16057925 | 12943933 | 959 35100 | 0 | 0 1298.64/1299.17 c 1299s | 27 | 16080506 | 12962433 | 959 35138 | 0 | 0 1300.63/1301.18 c 1301s | 27 | 16104005 | 12981533 | 959 35177 | 0 | 0 1302.63/1303.19 c 1303s | 27 | 16126470 | 13000133 | 959 35215 | 0 | 0 1304.63/1305.19 c 1305s | 27 | 16147722 | 13018133 | 959 35252 | 0 | 0 1306.73/1307.20 c 1307s | 27 | 16170908 | 13036833 | 959 35291 | 0 | 0 1308.73/1309.21 c 1309s | 27 | 16194710 | 13055833 | 959 35330 | 0 | 0 1310.73/1311.22 c 1311s | 27 | 16218445 | 13074933 | 959 35369 | 0 | 0 1312.72/1313.22 c 1313s | 27 | 16242068 | 13093633 | 959 35408 | 0 | 0 1314.72/1315.23 c 1315s | 27 | 16264711 | 13112033 | 959 35446 | 0 | 0 1316.72/1317.23 c 1317s | 27 | 16287995 | 13130633 | 959 35484 | 0 | 0 1318.72/1319.24 c 1319s | 27 | 16311477 | 13149233 | 959 35522 | 0 | 0 1320.73/1321.25 c 1321s | 27 | 16330252 | 13165633 | 959 35556 | 0 | 0 1322.72/1323.26 c 1323s | 27 | 16351119 | 13182833 | 959 35592 | 0 | 0 1324.72/1325.27 c 1325s | 27 | 16371941 | 13200133 | 959 35627 | 0 | 0 1326.72/1327.28 c 1327s | 27 | 16393201 | 13217933 | 959 35664 | 0 | 0 1328.72/1329.29 c 1329s | 27 | 16411951 | 13234433 | 959 35698 | 0 | 0 1330.72/1331.29 c 1331s | 27 | 16433257 | 13252033 | 959 35734 | 0 | 0 1332.73/1333.30 c 1333s | 27 | 16455281 | 13270133 | 959 35771 | 0 | 0 1334.82/1335.31 c 1335s | 27 | 16476908 | 13287833 | 959 35808 | 0 | 0 1336.82/1337.32 c 1337s | 27 | 16497891 | 13305233 | 959 35843 | 0 | 0 1338.82/1339.33 c 1339s | 27 | 16518271 | 13322433 | 959 35879 | 0 | 0 1340.82/1341.33 c 1341s | 27 | 16539378 | 13339833 | 959 35915 | 0 | 0 1342.82/1343.34 c 1343s | 27 | 16561950 | 13357933 | 959 35952 | 0 | 0 1344.83/1345.35 c 1345s | 27 | 16582668 | 13375133 | 959 35987 | 0 | 0 1346.82/1347.35 c 1347s | 27 | 16602587 | 13392033 | 959 36022 | 0 | 0 1348.82/1349.35 c 1349s | 27 | 16624168 | 13409233 | 959 36057 | 0 | 0 1350.82/1351.36 c 1351s | 27 | 16647968 | 13427433 | 959 36095 | 0 | 0 1352.82/1353.36 c 1353s | 27 | 16669767 | 13445233 | 959 36131 | 0 | 0 1354.83/1355.37 c 1355s | 27 | 16691061 | 13462933 | 959 36168 | 0 | 0 1356.82/1357.38 c 1357s | 27 | 16713385 | 13480833 | 959 36204 | 0 | 0 1358.82/1359.38 c 1359s | 27 | 16734738 | 13498333 | 959 36240 | 0 | 0 1360.82/1361.39 c 1361s | 27 | 16756908 | 13516333 | 959 36277 | 0 | 0 1362.82/1363.39 c 1363s | 27 | 16780570 | 13534733 | 959 36315 | 0 | 0 1364.92/1365.40 c 1365s | 27 | 16802941 | 13552633 | 959 36352 | 0 | 0 1366.82/1367.40 c 1367s | 27 | 16823477 | 13569933 | 959 36388 | 0 | 0 1368.91/1369.41 c 1369s | 27 | 16845907 | 13587933 | 959 36425 | 0 | 0 1370.91/1371.41 c 1371s | 27 | 16867479 | 13605533 | 959 36461 | 0 | 0 1372.91/1373.41 c 1373s | 27 | 16889222 | 13623333 | 959 36498 | 0 | 0 1374.92/1375.41 c 1375s | 27 | 16910119 | 13640933 | 959 36534 | 0 | 0 1376.92/1377.42 c 1377s | 27 | 16931656 | 13658533 | 959 36571 | 0 | 0 1378.93/1379.43 c 1379s | 27 | 16952631 | 13676233 | 959 36607 | 0 | 0 1380.92/1381.43 c 1381s | 27 | 16976569 | 13694833 | 959 36645 | 0 | 0 1382.92/1383.43 c 1383s | 27 | 17000159 | 13713533 | 959 36684 | 0 | 0 1384.92/1385.43 c 1385s | 27 | 17022295 | 13731533 | 959 36721 | 0 | 0 1386.92/1387.44 c 1387s | 27 | 17046211 | 13750433 | 959 36760 | 0 | 0 1388.92/1389.44 c 1389s | 27 | 17066172 | 13767333 | 959 36795 | 0 | 0 1390.92/1391.45 c 1391s | 27 | 17092188 | 13786633 | 959 36835 | 0 | 0 1392.92/1393.46 c 1393s | 27 | 17113171 | 13803733 | 959 36870 | 0 | 0 1394.92/1395.46 c 1395s | 27 | 17132903 | 13820533 | 959 36904 | 0 | 0 1396.91/1397.47 c 1397s | 27 | 17152165 | 13836833 | 959 36938 | 0 | 0 1398.91/1399.47 c 1399s | 27 | 17170932 | 13852933 | 959 36971 | 0 | 0 1400.92/1401.48 c 1401s | 27 | 17190212 | 13869233 | 959 37004 | 0 | 0 1403.01/1403.50 c 1403s | 27 | 17210878 | 13886433 | 959 37039 | 0 | 0 1405.01/1405.51 c 1405s | 27 | 17232371 | 13903933 | 959 37075 | 0 | 0 1407.01/1407.51 c 1407s | 27 | 17252514 | 13920433 | 959 37109 | 0 | 0 1409.01/1409.51 c 1409s | 27 | 17271883 | 13936233 | 959 37141 | 0 | 0 1411.01/1411.52 c 1411s | 27 | 17293484 | 13953233 | 959 37176 | 0 | 0 1413.02/1413.52 c 1413s | 27 | 17315781 | 13970733 | 959 37212 | 0 | 0 1415.01/1415.53 c 1415s | 27 | 17336178 | 13987633 | 959 37247 | 0 | 0 1417.01/1417.53 c 1417s | 27 | 17355043 | 14003833 | 959 37280 | 0 | 0 1419.01/1419.54 c 1419s | 27 | 17375250 | 14020433 | 959 37314 | 0 | 0 1421.01/1421.55 c 1421s | 27 | 17396746 | 14037633 | 959 37349 | 0 | 0 1423.01/1423.56 c 1423s | 27 | 17418103 | 14054933 | 959 37384 | 0 | 0 1425.00/1425.56 c 1425s | 27 | 17441092 | 14072733 | 959 37421 | 0 | 0 1427.00/1427.57 c 1427s | 27 | 17462058 | 14089833 | 959 37456 | 0 | 0 1429.00/1429.57 c 1429s | 27 | 17482130 | 14106433 | 959 37490 | 0 | 0 1431.00/1431.58 c 1431s | 27 | 17501254 | 14122633 | 959 37524 | 0 | 0 1433.00/1433.59 c 1433s | 27 | 17519901 | 14138533 | 959 37556 | 0 | 0 1435.01/1435.60 c 1435s | 27 | 17538064 | 14154133 | 959 37588 | 0 | 0 1437.10/1437.61 c 1437s | 27 | 17557728 | 14170833 | 959 37622 | 0 | 0 1439.11/1439.62 c 1439s | 27 | 17577924 | 14187833 | 959 37657 | 0 | 0 1441.11/1441.62 c 1441s | 27 | 17597414 | 14204533 | 959 37692 | 0 | 0 1443.11/1443.62 c 1443s | 27 | 17617259 | 14221333 | 959 37726 | 0 | 0 1445.11/1445.63 c 1445s | 27 | 17636597 | 14237733 | 959 37759 | 0 | 0 1447.12/1447.63 c 1447s | 27 | 17656870 | 14254533 | 959 37794 | 0 | 0 1449.11/1449.63 c 1449s | 27 | 17675923 | 14270933 | 959 37827 | 0 | 0 1451.11/1451.64 c 1451s | 27 | 17694884 | 14287233 | 959 37861 | 0 | 0 1453.11/1453.65 c 1453s | 27 | 17713905 | 14303933 | 959 37895 | 0 | 0 1455.11/1455.65 c 1455s | 27 | 17734549 | 14320833 | 959 37930 | 0 | 0 1457.11/1457.66 c 1457s | 27 | 17756017 | 14337833 | 959 37965 | 0 | 0 1459.11/1459.67 c 1459s | 27 | 17777139 | 14355133 | 959 38000 | 0 | 0 1461.10/1461.67 c 1461s | 27 | 17797290 | 14371933 | 959 38035 | 0 | 0 1463.10/1463.67 c 1463s | 27 | 17816695 | 14388033 | 959 38068 | 0 | 0 1465.10/1465.68 c 1465s | 27 | 17837072 | 14405033 | 959 38103 | 0 | 0 1467.10/1467.69 c 1467s | 27 | 17857284 | 14422033 | 959 38138 | 0 | 0 1469.11/1469.69 c 1469s | 27 | 17876478 | 14438333 | 959 38171 | 0 | 0 1471.20/1471.70 c 1471s | 27 | 17897571 | 14455333 | 959 38206 | 0 | 0 1473.20/1473.71 c 1473s | 27 | 17918616 | 14472133 | 959 38241 | 0 | 0 1475.20/1475.72 c 1475s | 27 | 17937689 | 14488433 | 959 38274 | 0 | 0 1477.20/1477.72 c 1477s | 27 | 17957730 | 14505233 | 959 38309 | 0 | 0 1479.20/1479.73 c 1479s | 27 | 17979091 | 14522833 | 959 38345 | 0 | 0 1481.20/1481.73 c 1481s | 27 | 18001128 | 14540933 | 959 38382 | 0 | 0 1483.20/1483.74 c 1483s | 27 | 18022489 | 14558533 | 959 38418 | 0 | 0 1485.20/1485.75 c 1485s | 27 | 18043823 | 14576133 | 959 38454 | 0 | 0 1487.20/1487.76 c 1487s | 27 | 18063797 | 14593233 | 959 38489 | 0 | 0 1489.20/1489.76 c 1489s | 27 | 18082089 | 14609333 | 959 38522 | 0 | 0 1491.20/1491.76 c 1491s | 27 | 18099939 | 14625033 | 959 38554 | 0 | 0 1493.20/1493.76 c 1493s | 27 | 18118025 | 14640933 | 959 38587 | 0 | 0 1495.20/1495.77 c 1495s | 27 | 18137402 | 14657633 | 959 38621 | 0 | 0 1497.20/1497.77 c 1497s | 27 | 18159475 | 14675333 | 959 38658 | 0 | 0 1499.19/1499.77 c 1499s | 27 | 18180635 | 14692833 | 959 38694 | 0 | 0 1501.19/1501.78 c 1501s | 27 | 18203076 | 14710933 | 959 38731 | 0 | 0 1503.20/1503.79 c 1503s | 27 | 18224164 | 14728433 | 959 38767 | 0 | 0 1505.19/1505.79 c 1505s | 27 | 18244786 | 14745233 | 959 38801 | 0 | 0 1507.29/1507.80 c 1507s | 27 | 18264422 | 14761633 | 959 38835 | 0 | 0 1509.30/1509.81 c 1509s | 27 | 18284354 | 14778633 | 959 38870 | 0 | 0 1511.30/1511.82 c 1511s | 27 | 18304998 | 14796133 | 959 38906 | 0 | 0 1513.30/1513.82 c 1513s | 27 | 18324044 | 14812433 | 959 38940 | 0 | 0 1515.31/1515.83 c 1515s | 27 | 18343035 | 14828833 | 959 38973 | 0 | 0 1517.30/1517.83 c 1517s | 27 | 18363493 | 14845833 | 959 39008 | 0 | 0 1519.30/1519.84 c 1519s | 27 | 18384958 | 14863433 | 959 39045 | 0 | 0 1521.29/1521.84 c 1521s | 27 | 18407589 | 14881033 | 959 39081 | 0 | 0 1523.29/1523.85 c 1523s | 27 | 18431577 | 14898933 | 959 39118 | 0 | 0 1525.30/1525.86 c 1525s | 27 | 18452820 | 14916033 | 959 39153 | 0 | 0 1527.29/1527.87 c 1527s | 27 | 18475647 | 14933933 | 959 39190 | 0 | 0 1529.29/1529.88 c 1529s | 27 | 18495403 | 14950733 | 959 39224 | 0 | 0 1531.29/1531.88 c 1531s | 27 | 18515366 | 14967733 | 959 39259 | 0 | 0 1533.29/1533.89 c 1533s | 27 | 18533370 | 14983733 | 959 39292 | 0 | 0 1535.39/1535.90 c 1535s | 27 | 18553954 | 15000733 | 959 39327 | 0 | 0 1537.40/1537.90 c 1537s | 27 | 18574378 | 15017733 | 959 39362 | 0 | 0 1539.39/1539.91 c 1539s | 27 | 18594599 | 15034533 | 959 39397 | 0 | 0 1541.39/1541.91 c 1541s | 27 | 18614890 | 15051433 | 959 39431 | 0 | 0 1543.39/1543.92 c 1543s | 27 | 18638012 | 15069533 | 959 39469 | 0 | 0 1545.39/1545.93 c 1545s | 27 | 18662202 | 15088033 | 959 39507 | 0 | 0 1547.39/1547.94 c 1547s | 27 | 18687413 | 15106433 | 959 39545 | 0 | 0 1549.39/1549.94 c 1549s | 27 | 18711679 | 15124633 | 959 39582 | 0 | 0 1551.39/1551.95 c 1551s | 27 | 18732030 | 15141433 | 959 39617 | 0 | 0 1553.39/1553.96 c 1553s | 27 | 18757010 | 15160333 | 959 39655 | 0 | 0 1555.39/1555.97 c 1555s | 27 | 18781399 | 15179133 | 959 39694 | 0 | 0 1557.39/1557.98 c 1557s | 27 | 18803149 | 15196733 | 959 39731 | 0 | 0 1559.40/1559.99 c 1559s | 27 | 18825304 | 15214733 | 959 39768 | 0 | 0 1561.39/1561.99 c 1561s | 27 | 18847506 | 15232633 | 959 39805 | 0 | 0 1563.49/1564.00 c 1563s | 27 | 18870440 | 15250633 | 959 39842 | 0 | 0 1565.49/1566.01 c 1565s | 27 | 18895294 | 15269133 | 959 39880 | 0 | 0 1567.49/1568.02 c 1568s | 27 | 18915720 | 15285933 | 959 39914 | 0 | 0 1569.49/1570.02 c 1570s | 27 | 18938282 | 15303733 | 959 39951 | 0 | 0 1571.50/1572.03 c 1572s | 27 | 18959873 | 15321333 | 959 39988 | 0 | 0 1573.49/1574.04 c 1574s | 27 | 18981658 | 15338933 | 959 40024 | 0 | 0 1575.49/1576.05 c 1576s | 27 | 19003414 | 15356433 | 959 40060 | 0 | 0 1577.49/1578.05 c 1578s | 27 | 19025128 | 15373633 | 959 40096 | 0 | 0 1579.49/1580.05 c 1580s | 27 | 19048359 | 15391833 | 959 40133 | 0 | 0 1581.49/1582.06 c 1582s | 27 | 19069400 | 15409033 | 959 40169 | 0 | 0 1583.49/1584.06 c 1584s | 27 | 19091468 | 15426833 | 959 40205 | 0 | 0 1585.48/1586.07 c 1586s | 27 | 19113354 | 15444233 | 959 40241 | 0 | 0 1587.48/1588.08 c 1588s | 27 | 19132722 | 15460433 | 959 40274 | 0 | 0 1589.48/1590.08 c 1590s | 27 | 19152134 | 15477033 | 959 40309 | 0 | 0 1591.48/1592.09 c 1592s | 27 | 19171901 | 15493433 | 959 40342 | 0 | 0 1593.49/1594.09 c 1594s | 27 | 19191959 | 15510333 | 959 40377 | 0 | 0 1595.48/1596.09 c 1596s | 27 | 19211538 | 15526833 | 959 40411 | 0 | 0 1597.58/1598.10 c 1598s | 27 | 19232310 | 15544233 | 959 40447 | 0 | 0 1599.58/1600.10 c 1600s | 27 | 19252813 | 15561333 | 959 40482 | 0 | 0 1601.58/1602.11 c 1602s | 27 | 19274007 | 15578433 | 959 40517 | 0 | 0 1603.58/1604.11 c 1604s | 27 | 19294817 | 15595733 | 959 40553 | 0 | 0 1605.58/1606.11 c 1606s | 27 | 19317968 | 15613633 | 959 40590 | 0 | 0 1607.58/1608.12 c 1608s | 27 | 19340670 | 15631433 | 959 40627 | 0 | 0 1609.59/1610.12 c 1610s | 27 | 19361880 | 15648933 | 959 40663 | 0 | 0 1611.59/1612.13 c 1612s | 27 | 19380971 | 15665133 | 959 40696 | 0 | 0 1613.58/1614.14 c 1614s | 27 | 19402642 | 15682733 | 959 40732 | 0 | 0 1615.58/1616.14 c 1616s | 27 | 19421294 | 15698933 | 959 40766 | 0 | 0 1617.59/1618.14 c 1618s | 27 | 19443086 | 15716433 | 959 40802 | 0 | 0 1619.58/1620.15 c 1620s | 27 | 19463184 | 15733033 | 959 40836 | 0 | 0 1621.58/1622.15 c 1622s | 27 | 19482594 | 15749633 | 959 40870 | 0 | 0 1623.58/1624.16 c 1624s | 27 | 19500629 | 15765433 | 959 40903 | 0 | 0 1625.58/1626.17 c 1626s | 27 | 19519787 | 15781833 | 959 40937 | 0 | 0 1627.58/1628.17 c 1628s | 27 | 19538235 | 15797833 | 959 40969 | 0 | 0 1629.58/1630.18 c 1630s | 27 | 19558179 | 15814533 | 959 41004 | 0 | 0 1631.58/1632.18 c 1632s | 27 | 19576787 | 15830733 | 959 41037 | 0 | 0 1633.57/1634.19 c 1634s | 27 | 19597058 | 15847533 | 959 41072 | 0 | 0 1635.67/1636.20 c 1636s | 27 | 19618088 | 15864933 | 959 41108 | 0 | 0 1637.67/1638.21 c 1638s | 27 | 19637953 | 15881533 | 959 41142 | 0 | 0 1639.68/1640.21 c 1640s | 27 | 19655374 | 15897033 | 959 41174 | 0 | 0 1641.67/1642.21 c 1642s | 27 | 19674735 | 15913233 | 959 41208 | 0 | 0 1643.67/1644.23 c 1644s | 27 | 19696472 | 15930233 | 959 41243 | 0 | 0 1645.67/1646.24 c 1646s | 27 | 19716065 | 15946533 | 959 41276 | 0 | 0 1647.67/1648.25 c 1648s | 27 | 19734501 | 15962333 | 959 41309 | 0 | 0 1649.67/1650.25 c 1650s | 27 | 19751870 | 15977733 | 959 41340 | 0 | 0 1651.68/1652.25 c 1652s | 27 | 19771791 | 15994433 | 959 41375 | 0 | 0 1653.67/1654.26 c 1654s | 27 | 19791674 | 16010833 | 959 41409 | 0 | 0 1655.67/1656.27 c 1656s | 27 | 19809585 | 16026333 | 959 41441 | 0 | 0 1657.67/1658.28 c 1658s | 27 | 19829139 | 16042633 | 959 41474 | 0 | 0 1659.68/1660.29 c 1660s | 27 | 19849464 | 16059233 | 959 41509 | 0 | 0 1661.78/1662.30 c 1662s | 27 | 19870687 | 16076733 | 959 41545 | 0 | 0 1663.78/1664.30 c 1664s | 27 | 19889779 | 16092833 | 959 41578 | 0 | 0 1665.77/1666.31 c 1666s | 27 | 19907549 | 16108233 | 959 41610 | 0 | 0 1667.77/1668.32 c 1668s | 27 | 19925479 | 16123933 | 959 41642 | 0 | 0 1669.77/1670.33 c 1670s | 27 | 19945641 | 16141033 | 959 41678 | 0 | 0 1671.77/1672.34 c 1672s | 27 | 19963745 | 16156733 | 959 41710 | 0 | 0 1673.78/1674.35 c 1674s | 27 | 19983377 | 16173033 | 959 41744 | 0 | 0 1675.77/1676.36 c 1676s | 27 | 20004389 | 16189833 | 959 41778 | 0 | 0 1677.77/1678.36 c 1678s | 27 | 20022237 | 16205333 | 959 41810 | 0 | 0 1679.77/1680.37 c 1680s | 27 | 20041141 | 16221133 | 959 41843 | 0 | 0 1681.77/1682.38 c 1682s | 27 | 20062010 | 16237933 | 959 41877 | 0 | 0 1683.77/1684.39 c 1684s | 27 | 20080331 | 16253333 | 959 41909 | 0 | 0 1685.78/1686.40 c 1686s | 27 | 20096958 | 16267833 | 959 41939 | 0 | 0 1687.87/1688.40 c 1688s | 27 | 20116279 | 16283833 | 959 41972 | 0 | 0 1689.87/1690.40 c 1690s | 27 | 20134704 | 16299433 | 959 42004 | 0 | 0 1691.87/1692.41 c 1692s | 27 | 20154652 | 16315933 | 959 42037 | 0 | 0 1693.87/1694.42 c 1694s | 27 | 20176302 | 16333133 | 959 42072 | 0 | 0 1695.87/1696.43 c 1696s | 27 | 20199215 | 16350533 | 959 42108 | 0 | 0 1697.87/1698.43 c 1698s | 27 | 20219865 | 16367733 | 959 42143 | 0 | 0 1699.86/1700.44 c 1700s | 27 | 20241612 | 16385333 | 959 42179 | 0 | 0 1701.86/1702.44 c 1702s | 27 | 20260525 | 16401733 | 959 42213 | 0 | 0 1703.86/1704.44 c 1704s | 27 | 20281456 | 16419133 | 959 42249 | 0 | 0 1705.86/1706.45 c 1706s | 27 | 20302465 | 16436633 | 959 42285 | 0 | 0 1707.87/1708.45 c 1708s | 27 | 20322855 | 16453533 | 959 42320 | 0 | 0 1709.86/1710.46 c 1710s | 27 | 20343889 | 16470133 | 959 42354 | 0 | 0 1711.86/1712.46 c 1712s | 27 | 20366022 | 16487833 | 959 42390 | 0 | 0 1713.86/1714.47 c 1714s | 27 | 20390020 | 16506233 | 959 42428 | 0 | 0 1715.86/1716.48 c 1716s | 27 | 20411642 | 16523333 | 959 42463 | 0 | 0 1717.86/1718.48 c 1718s | 27 | 20431048 | 16539633 | 959 42497 | 0 | 0 1719.88/1720.49 c 1720s | 27 | 20451270 | 16556333 | 959 42531 | 0 | 0 1721.87/1722.49 c 1722s | 27 | 20471156 | 16572833 | 959 42565 | 0 | 0 1723.97/1724.50 c 1724s | 27 | 20489984 | 16589133 | 959 42599 | 0 | 0 1725.97/1726.51 c 1726s | 27 | 20508287 | 16604933 | 959 42631 | 0 | 0 1727.97/1728.52 c 1728s | 27 | 20528043 | 16621733 | 959 42666 | 0 | 0 1729.97/1730.52 c 1730s | 27 | 20548072 | 16638233 | 959 42700 | 0 | 0 1731.97/1732.52 c 1732s | 27 | 20567899 | 16654733 | 959 42734 | 0 | 0 1733.96/1734.53 c 1734s | 27 | 20588794 | 16671933 | 959 42769 | 0 | 0 1735.96/1736.54 c 1736s | 27 | 20610239 | 16689133 | 959 42804 | 0 | 0 1737.96/1738.55 c 1738s | 27 | 20632168 | 16706633 | 959 42840 | 0 | 0 1739.96/1740.55 c 1740s | 27 | 20652192 | 16722933 | 959 42874 | 0 | 0 1741.97/1742.56 c 1742s | 27 | 20672522 | 16739833 | 959 42909 | 0 | 0 1743.96/1744.56 c 1744s | 27 | 20693018 | 16756833 | 959 42943 | 0 | 0 1745.96/1746.57 c 1746s | 27 | 20710433 | 16772233 | 959 42975 | 0 | 0 1747.96/1748.58 c 1748s | 27 | 20730277 | 16788733 | 959 43009 | 0 | 0 1749.96/1750.59 c 1750s | 27 | 20750270 | 16805433 | 959 43043 | 0 | 0 1751.96/1752.60 c 1752s | 27 | 20769651 | 16821733 | 959 43077 | 0 | 0 1753.96/1754.60 c 1754s | 27 | 20788980 | 16838233 | 959 43111 | 0 | 0 1756.06/1756.60 c 1756s | 27 | 20812179 | 16856333 | 959 43148 | 0 | 0 1758.06/1758.61 c 1758s | 27 | 20832517 | 16873133 | 959 43182 | 0 | 0 1760.05/1760.61 c 1760s | 27 | 20852849 | 16890033 | 959 43217 | 0 | 0 1762.06/1762.62 c 1762s | 27 | 20872994 | 16906733 | 959 43252 | 0 | 0 1764.06/1764.62 c 1764s | 27 | 20891870 | 16922633 | 959 43284 | 0 | 0 1766.07/1766.63 c 1766s | 27 | 20914616 | 16940333 | 959 43321 | 0 | 0 1768.06/1768.64 c 1768s | 27 | 20936306 | 16957833 | 959 43357 | 0 | 0 1770.06/1770.65 c 1770s | 27 | 20954702 | 16973533 | 1055 43389 | 0 | 0 1772.06/1772.65 c 1772s | 27 | 20973560 | 16989333 | 1055 43418 | 0 | 0 1774.06/1774.66 c 1774s | 27 | 20992742 | 17005733 | 1055 43449 | 0 | 0 1776.06/1776.67 c 1776s | 27 | 21013811 | 17022733 | 1055 43481 | 0 | 0 1778.06/1778.68 c 1778s | 27 | 21035519 | 17039733 | 1055 43513 | 0 | 0 1780.06/1780.69 c 1780s | 27 | 21056695 | 17057033 | 1055 43546 | 0 | 0 1782.16/1782.70 c 1782s | 27 | 21075805 | 17073433 | 1055 43576 | 0 | 0 1784.15/1784.70 c 1784s | 27 | 21094235 | 17089333 | 1055 43606 | 0 | 0 1784.86/1785.45 c 1785s | 28 | 21100817 | 17095205 | 1055 43617 | 0 | 0 1786.85/1787.45 c 1787s | 28 | 21123075 | 17112405 | 1055 43649 | 0 | 0 1788.85/1789.45 c 1789s | 28 | 21143869 | 17129005 | 1055 43680 | 0 | 0 1790.85/1791.46 c 1791s | 28 | 21163330 | 17145205 | 1055 43710 | 0 | 0 1792.85/1793.48 c 1793s | 28 | 21184181 | 17161905 | 1055 43742 | 0 | 0 1794.85/1795.48 c 1795s | 28 | 21207548 | 17179805 | 1055 43775 | 0 | 0 1796.86/1797.49 c 1797s | 28 | 21229142 | 17197005 | 1055 43807 | 0 | 0 1798.95/1799.50 c 1799s | 28 | 21248087 | 17212805 | 1055 43837 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4121154-1467313581/watcher-4121154-1467313581 -o /tmp/evaluation-result-4121154-1467313581/solver-4121154-1467313581 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467310918-18130 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121154-1467313581.opb pid=19123 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.16 2.17 2.17 3/179 19126 /proc/meminfo: memFree=28500160/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=725572 CPUtime=0 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 2710 0 0 0 0 0 0 0 20 0 4 0 12314947 742985728 3581 33554432000 4194304 16246674 140733705176432 140733705175856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 181905 3589 442 2943 0 178799 0 [pid=19126/tid=19127] ppid=19123 vsize=744004 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 761860096 3653 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=748100 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 766054400 3669 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=753220 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 771297280 3689 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100122 s] /proc/loadavg: 2.16 2.17 2.17 3/179 19126 /proc/meminfo: memFree=28500160/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 24773 0 0 0 6 3 0 0 20 0 4 0 12314947 1247350784 25633 33554432000 4194304 16246674 140733705176432 140733705175856 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 304529 25641 708 2943 0 301423 0 [pid=19126/tid=19127] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 25647 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 25654 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 25660 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200511 s] /proc/loadavg: 2.16 2.17 2.17 3/179 19126 /proc/meminfo: memFree=28500160/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 47614 0 0 0 13 6 0 0 20 0 4 0 12314947 1247350784 48474 33554432000 4194304 16246674 140733705176432 140733705175856 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 304529 48488 709 2943 0 301423 0 [pid=19126/tid=19127] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 48494 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 48501 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 48509 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300468 s] /proc/loadavg: 2.16 2.17 2.17 3/179 19126 /proc/meminfo: memFree=28500160/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 70259 0 0 0 20 9 0 0 20 0 4 0 12314947 1247350784 71119 33554432000 4194304 16246674 140733705176432 140733705159432 6076251 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 304529 71129 709 2943 0 301423 0 [pid=19126/tid=19127] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 71135 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 71145 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 71151 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700374 s] /proc/loadavg: 2.16 2.17 2.17 3/179 19126 /proc/meminfo: memFree=28500160/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 161157 0 0 0 47 22 0 0 20 0 4 0 12314947 1247350784 162018 33554432000 4194304 16246674 140733705176432 140733705159432 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 304529 162026 709 2943 0 301423 0 [pid=19126/tid=19127] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 162035 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 162042 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 162047 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.15 2.17 2.17 3/183 19130 /proc/meminfo: memFree=27515740/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 245473 0 0 0 115 34 0 0 20 0 4 0 12314947 1247350784 246313 33554432000 4194304 16246674 140733705176432 140733705159432 5589217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 304529 246313 783 2943 0 301423 0 [pid=19126/tid=19127] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 246313 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 246313 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 246313 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.1004 s] /proc/loadavg: 2.15 2.17 2.17 3/183 19130 /proc/meminfo: memFree=27427684/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 267378 0 0 0 272 37 0 0 20 0 4 0 12314947 1337528320 268218 33554432000 4194304 16246674 140733705176432 140733705159432 5827686 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326545 268218 783 2943 0 323439 0 [pid=19126/tid=19127] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268218 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268218 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268218 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.3004 s] /proc/loadavg: 2.14 2.17 2.17 3/183 19130 /proc/meminfo: memFree=27427296/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 267390 0 0 0 592 37 0 0 20 0 4 0 12314947 1337528320 268230 33554432000 4194304 16246674 140733705176432 140733705159432 5762744 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326545 268230 783 2943 0 323439 0 [pid=19126/tid=19127] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268230 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268230 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268230 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.13 2.16 2.16 3/183 19130 /proc/meminfo: memFree=27427056/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 267407 0 0 0 1232 37 0 0 20 0 4 0 12314947 1337528320 268247 33554432000 4194304 16246674 140733705176432 140733705159432 6026288 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326545 268247 783 2943 0 323439 0 [pid=19126/tid=19127] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268247 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268247 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268247 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.16 2.17 2.17 3/183 19130 /proc/meminfo: memFree=27427640/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1306180 CPUtime=25.49 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 267423 0 0 0 2512 37 0 0 20 0 4 0 12314947 1337528320 268263 33554432000 4194304 16246674 140733705176432 140733705159432 5823961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326545 268263 785 2943 0 323439 0 [pid=19126/tid=19127] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268263 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268263 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268263 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.24 2.19 2.17 3/183 19130 /proc/meminfo: memFree=27427736/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1306180 CPUtime=51.09 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 267439 0 0 0 5071 38 0 0 20 0 4 0 12314947 1337528320 268279 33554432000 4194304 16246674 140733705176432 140733705159432 13192744 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326545 268279 785 2943 0 323439 0 [pid=19126/tid=19127] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268279 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268279 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268279 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1306180 [startup+102.3 s] /proc/loadavg: 2.16 2.17 2.17 3/183 19132 /proc/meminfo: memFree=27427564/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1306180 CPUtime=102.28 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 267442 0 0 0 10190 38 0 0 20 0 4 0 12314947 1337528320 268282 33554432000 4194304 16246674 140733705176432 140733705159432 5667050 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326545 268282 787 2943 0 323439 0 [pid=19126/tid=19127] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268282 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268282 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268282 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268520 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1307204 [startup+1302.3 s] /proc/loadavg: 2.26 2.25 2.21 4/183 19211 /proc/meminfo: memFree=27432364/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1307204 CPUtime=1301.83 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268078 0 0 0 130114 69 0 0 20 0 4 0 12314947 1338576896 268520 33554432000 4194304 16246674 140733705176432 140733705159432 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326801 268520 789 2943 0 323695 0 [pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268520 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268520 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268520 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1307204 [startup+1362.3 s] /proc/loadavg: 2.39 2.28 2.22 3/183 19212 /proc/meminfo: memFree=27431140/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1307204 CPUtime=1361.82 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 136112 70 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705159432 5824052 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326801 268521 789 2943 0 323695 0 [pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1307204 [startup+1422.3 s] /proc/loadavg: 2.22 2.25 2.22 3/184 19216 /proc/meminfo: memFree=27430620/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1307204 CPUtime=1421.81 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 142110 71 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705158336 6836764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326801 268521 789 2943 0 323695 0 [pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1307204 [startup+1482.3 s] /proc/loadavg: 2.45 2.30 2.23 3/183 19217 /proc/meminfo: memFree=27431024/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1307204 CPUtime=1481.8 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 148108 72 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705159432 5754796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326801 268521 789 2943 0 323695 0 [pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1307204 [startup+1542.31 s] /proc/loadavg: 2.29 2.27 2.22 4/183 19218 /proc/meminfo: memFree=27431152/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1307204 CPUtime=1541.8 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 154107 73 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705158336 13198373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326801 268521 789 2943 0 323695 0 [pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1307204 [startup+1602.3 s] /proc/loadavg: 2.22 2.25 2.22 4/183 19220 /proc/meminfo: memFree=27430668/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1307204 CPUtime=1601.78 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 160104 74 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705159432 12470896 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326801 268521 789 2943 0 323695 0 [pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1307204 [startup+1662.3 s] /proc/loadavg: 2.24 2.25 2.22 3/183 19221 /proc/meminfo: memFree=27430416/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1307204 CPUtime=1661.78 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 166102 76 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705159432 13927434 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326801 268521 789 2943 0 323695 0 [pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1307204 [startup+1722.3 s] /proc/loadavg: 2.22 2.23 2.21 3/183 19222 /proc/meminfo: memFree=27430544/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1307204 CPUtime=1721.77 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 172100 77 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705158336 5823619 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326801 268521 789 2943 0 323695 0 [pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1307204 [startup+1782.3 s] /proc/loadavg: 2.19 2.22 2.20 3/183 19223 /proc/meminfo: memFree=27429924/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1307204 CPUtime=1781.76 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 178098 78 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705159432 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326801 268521 789 2943 0 323695 0 [pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1307204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.22 2.22 2.20 3/183 19223 /proc/meminfo: memFree=27430296/32872528 swapFree=1498612/1645780 [pid=19126] ppid=19123 vsize=1307204 CPUtime=1800.05 cores=1,3,5,7 /proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 179927 78 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705159432 6836001 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19126/statm: 326801 268521 789 2943 0 323695 0 [pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1307204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 19126 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.07 CPU user time (s): 1799.28 CPU system time (s): 0.789879 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 1307204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.789879 maximum resident set size= 1074084 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268079 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= 415 involuntary context switches= 1988 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.53331 second user time and 6.98694 second system time The end
Begin job on node124 at 2016-06-30 21:06:21 IDJOB=4121154 IDBENCH=110323 IDSOLVER=2542 FILE ID=node124/4121154-1467313581 RUNJOBID= node124-1467310918-18130 PBS_JOBID= 20005255 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n26-d4-i2.cnf.gz-extracted.pb.metafix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121154-1467313581/watcher-4121154-1467313581 -o /tmp/evaluation-result-4121154-1467313581/solver-4121154-1467313581 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467310918-18130 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121154-1467313581.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6428b73b3a804d96c910c603a1b30c5b RANDOM SEED=963790894 node124.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 : 2667.062 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 : 5334.12 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 : 2667.062 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 : 2667.062 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.062 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.062 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 : 2667.062 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.062 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.062 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: 28501052 kB Buffers: 149380 kB Cached: 737220 kB SwapCached: 0 kB Active: 1346564 kB Inactive: 631188 kB Active(anon): 1082396 kB Inactive(anon): 11336 kB Active(file): 264168 kB Inactive(file): 619852 kB Unevictable: 1645780 kB Mlocked: 1498612 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16324 kB Writeback: 0 kB AnonPages: 2741176 kB Mapped: 17100 kB Shmem: 204 kB Slab: 610504 kB SReclaimable: 54584 kB SUnreclaim: 555920 kB KernelStack: 1520 kB PageTables: 9416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2873828 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 686080 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= 71692 MiB End job on node124 at 2016-06-30 21:36:22