| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_1.opb |
| MD5SUM | c7543821508efc06c2ce41424051ab2c |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 71 |
| Total number of constraints | 17 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 70 |
| Number of terms in the objective function | 1 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5652 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T14:45:12+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-4105625-1466253911.opb"] 0.00/0.01 c use --random-gen="830187502 3635987556 2889257885 2963581678 1971997812 1067356408 4253392203 2295924532 752962796 1889397316 1477657995 1125640406 3223483188 2680470334 441787061 3167511086 3977928416 2142683917 2739318778 426014760 900486903 320381854 747938627 1884582986 502742203 3326956517 4160946586 2849450469 1195187319 3763277291 3231446909 3501227729 3943637714 703429489 2019402760 205852967 941434929 2880626887 2442115582 3334473915 2034629236 4143983031 2591832272 1170244173 1444158102 843697954 4174799328 4070940845 3784741890 3091277101 1954971134 4011028174 1137210140 1928450237 1198569313 902855123 1007122365 2242658276 857506660 2092045566 768501357 109613838 2573349406 3354025309 3120466271 4147827357 3202977758 123173867 1912458952 1037487037 2459276837 1345198946 3926720399 1533289793 1353347126 1839802109 3709579928 3652476141 3727338349 1850519787 1309388975 1785585148 2502684252 3978241691 1905832348 443670234 1105035041 1391950116 1109686889 1784861143 967386353 243557201 447237260 243672240 1676838538 447423001 2773522717 748879642 4085171897 1227787127 3611486843 503386290 358842475 3618739267 947296663 2970837886 2880162210 4233129875 1847413573 1157069535 3493122524 397662356 550472433 1757270869 1080735742 275252691 566022874 4274418764 711980316 1375661702 1082493594 1746173326 388919727 4083599066 350179048 3387268842 872139528 1216876764 3995374622 929121032 37646445 1489459927 3956904764 1765843299 1731261499 1368781352 2921592284 1162784605 3387257429 2859703765 1861401116 1218662437 3401031286 2484489303 1806370577 1550637477 3667476742 639151281 522168997 691105904 3938427183 3446345386 2348950218 1614077911 804090306 950647214 1880850711 4121396757 458066297 3915479946 3859954880 3108257841 2145578798 3119992480 785894114 587108534 2694494598 824174979 990680972 2237648595 1729168717 4143168896 2171293151 3963992902 3852650695 3017057197 1485897502 4025232072 2496957869 42577782 2201887898 1959979599 3141064963 1622394561 2184762551 2988335248 1373617787 1346337118 2650874072 3073970984 3653914830 3810154297 1273944908 454684674 832662572 3419782285 2563276657 3638318615 281885705 3178331343 335477785 1252922742 3210624177 616481304 1147910862 3094263723 2907297688 3920892443 284799365 322894810 1612851612 2624188420 1505951139 3244483341 789672706 2131173056 1261792996 2001265581 1379420639 3942725780 3244272957 2091402289 3846146657 3161256446 586817560 2878643982 3424449936 1128457208 3128503463 2173112994 3399605551 2296986562 3235431430 1717792402 3347337869 658788317 2927930984 2635778943 101776387 297584108 1688705755 1975178271 1546205476 622145848 2482505654 877553998 1780931242 262732516 1853990977 3605269453 3093019015 3899254149 4230867471 1442289621 1958750295 968792786 255 362436" option to reproduce the execution 0.00/0.01 c #vars 71 0.00/0.01 c #constraints 17 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 29 0 | 1 | 0 0.00/0.04 c 0.0s | 1 | 146 | 100 | 29 1 | 1 | 0 0.00/0.09 c 0.1s | 2 | 337 | 250 | 32 5 | 1 | 0 0.09/0.15 c 0.1s | 3 | 599 | 475 | 36 12 | 1 | 0 0.19/0.25 c 0.2s | 4 | 979 | 813 | 40 21 | 1 | 0 0.39/0.40 c 0.4s | 5 | 1522 | 1320 | 44 34 | 1 | 0 0.58/0.62 c 0.6s | 6 | 2314 | 2081 | 54 52 | 1 | 0 0.90/0.93 c 0.9s | 7 | 3498 | 3223 | 60 79 | 1 | 0 1.39/1.40 c 1.4s | 8 | 5262 | 4936 | 66 116 | 1 | 0 1.79/1.88 c 1.9s | 9 | 7888 | 7506 | 73 167 | 1 | 0 2.49/2.59 c 2.6s | 10 | 11797 | 11361 | 81 241 | 1 | 0 3.59/3.60 c 3.6s | 11 | 17627 | 17144 | 90 344 | 1 | 0 5.09/5.15 c 5.1s | 12 | 26435 | 25819 | 100 489 | 1 | 0 7.09/7.16 c 7.1s | 12 | 38029 | 37319 | 100 667 | 1 | 0 7.39/7.43 c 7.4s | 13 | 39552 | 38832 | 111 689 | 1 | 0 9.38/9.44 c 9.4s | 13 | 51381 | 50332 | 111 852 | 1 | 0 10.78/10.85 c 10.8s | 14 | 59568 | 58352 | 123 970 | 1 | 0 12.78/12.86 c 12.8s | 14 | 71185 | 69752 | 123 1120 | 1 | 0 14.78/14.86 c 14.9s | 14 | 82620 | 81052 | 123 1270 | 1 | 0 15.98/16.06 c 16.0s | 15 | 89298 | 87632 | 136 1356 | 1 | 0 17.98/18.07 c 18.1s | 15 | 100846 | 99032 | 136 1496 | 1 | 0 19.99/20.09 c 20.1s | 15 | 112749 | 110832 | 136 1637 | 1 | 0 21.98/22.10 c 22.1s | 15 | 124069 | 122032 | 136 1772 | 1 | 0 23.68/23.75 c 23.7s | 16 | 133699 | 131552 | 150 1892 | 1 | 0 25.69/25.75 c 25.7s | 16 | 145360 | 142952 | 150 2020 | 1 | 0 27.70/27.76 c 27.7s | 16 | 157031 | 154452 | 150 2151 | 1 | 0 29.69/29.77 c 29.8s | 16 | 169153 | 166452 | 150 2285 | 1 | 0 31.69/31.77 c 31.8s | 16 | 181182 | 178352 | 150 2419 | 1 | 0 33.69/33.78 c 33.8s | 16 | 193182 | 190252 | 150 2554 | 1 | 0 34.89/34.93 c 34.9s | 17 | 200427 | 197432 | 165 2635 | 1 | 0 36.89/36.93 c 36.9s | 17 | 212457 | 209332 | 165 2752 | 1 | 0 38.89/38.94 c 38.9s | 17 | 224223 | 220932 | 165 2868 | 1 | 0 40.89/40.94 c 40.9s | 17 | 235517 | 232032 | 165 2982 | 1 | 0 42.89/42.95 c 42.9s | 17 | 246641 | 243032 | 165 3094 | 1 | 0 44.88/44.95 c 44.9s | 17 | 257929 | 254232 | 165 3210 | 1 | 0 46.88/46.96 c 46.9s | 17 | 269602 | 265732 | 165 3330 | 1 | 0 48.88/48.98 c 49.0s | 17 | 281229 | 277232 | 165 3449 | 1 | 0 50.88/50.99 c 51.0s | 17 | 292764 | 288632 | 165 3569 | 1 | 0 52.28/52.38 c 52.4s | 18 | 300478 | 296252 | 182 3647 | 1 | 0 54.28/54.38 c 54.4s | 18 | 311453 | 307052 | 182 3749 | 1 | 0 56.29/56.39 c 56.4s | 18 | 322739 | 318152 | 182 3856 | 1 | 0 58.28/58.40 c 58.4s | 18 | 333987 | 329252 | 182 3963 | 1 | 0 60.38/60.41 c 60.4s | 18 | 345210 | 340352 | 182 4068 | 1 | 0 62.38/62.42 c 62.4s | 18 | 356186 | 351152 | 182 4171 | 1 | 0 64.38/64.43 c 64.4s | 18 | 367755 | 362552 | 182 4282 | 1 | 0 66.38/66.43 c 66.4s | 18 | 379088 | 373752 | 182 4389 | 1 | 0 68.38/68.45 c 68.4s | 18 | 390944 | 385452 | 182 4503 | 1 | 0 70.38/70.46 c 70.4s | 18 | 402978 | 397352 | 182 4620 | 1 | 0 72.38/72.47 c 72.5s | 18 | 414836 | 409052 | 182 4733 | 1 | 0 74.37/74.48 c 74.5s | 18 | 426678 | 420752 | 182 4847 | 1 | 0 76.37/76.49 c 76.5s | 18 | 438514 | 432352 | 182 4959 | 1 | 0 78.37/78.49 c 78.5s | 18 | 449473 | 443152 | 201 5058 | 1 | 0 78.67/78.74 c 78.7s | 19 | 450817 | 444482 | 201 5070 | 1 | 0 80.67/80.74 c 80.7s | 19 | 462159 | 455682 | 201 5167 | 1 | 0 82.68/82.76 c 82.7s | 19 | 473543 | 466882 | 201 5265 | 1 | 0 84.67/84.76 c 84.7s | 19 | 484779 | 477982 | 201 5363 | 1 | 0 86.68/86.76 c 86.7s | 19 | 496887 | 489882 | 201 5468 | 1 | 0 88.68/88.77 c 88.8s | 19 | 508643 | 501482 | 201 5571 | 1 | 0 90.68/90.78 c 90.8s | 19 | 519925 | 512582 | 201 5670 | 1 | 0 92.68/92.78 c 92.8s | 19 | 531562 | 524082 | 201 5772 | 1 | 0 94.68/94.79 c 94.8s | 19 | 543107 | 535482 | 201 5873 | 1 | 0 96.78/96.80 c 96.8s | 19 | 554767 | 546982 | 201 5973 | 1 | 0 98.78/98.80 c 98.8s | 19 | 566540 | 558582 | 201 6078 | 1 | 0 100.78/100.80 c 100s | 19 | 578373 | 570282 | 201 6182 | 1 | 0 102.78/102.80 c 102s | 19 | 589926 | 581682 | 201 6284 | 1 | 0 104.78/104.82 c 104s | 19 | 601930 | 593482 | 201 6389 | 1 | 0 106.78/106.83 c 106s | 19 | 613808 | 605182 | 201 6494 | 1 | 0 108.77/108.84 c 108s | 19 | 626200 | 617382 | 201 6605 | 1 | 0 110.77/110.86 c 110s | 19 | 638056 | 629082 | 201 6711 | 1 | 0 112.77/112.87 c 112s | 19 | 650023 | 640882 | 201 6818 | 1 | 0 114.77/114.88 c 114s | 19 | 662114 | 652782 | 201 6925 | 1 | 0 116.78/116.88 c 116s | 19 | 674327 | 664782 | 222 7032 | 1 | 0 117.17/117.21 c 117s | 20 | 676414 | 666827 | 222 7049 | 1 | 0 119.17/119.23 c 119s | 20 | 688051 | 678327 | 222 7141 | 1 | 0 121.18/121.23 c 121s | 20 | 699825 | 689827 | 222 7232 | 1 | 0 123.17/123.24 c 123s | 20 | 712474 | 702227 | 222 7331 | 1 | 0 125.17/125.26 c 125s | 20 | 724493 | 714127 | 222 7425 | 1 | 0 127.17/127.27 c 127s | 20 | 736411 | 725927 | 222 7519 | 1 | 0 129.17/129.27 c 129s | 20 | 748093 | 737427 | 222 7612 | 1 | 0 131.17/131.28 c 131s | 20 | 760016 | 749127 | 222 7706 | 1 | 0 133.17/133.29 c 133s | 20 | 771192 | 760027 | 222 7792 | 1 | 0 135.27/135.30 c 135s | 20 | 782240 | 770827 | 222 7878 | 1 | 0 137.27/137.31 c 137s | 20 | 793446 | 781827 | 222 7966 | 1 | 0 139.26/139.32 c 139s | 20 | 804795 | 793027 | 222 8057 | 1 | 0 141.26/141.34 c 141s | 20 | 816029 | 804127 | 222 8146 | 1 | 0 143.26/143.34 c 143s | 20 | 827366 | 815227 | 222 8236 | 1 | 0 145.27/145.36 c 145s | 20 | 838693 | 826327 | 222 8325 | 1 | 0 147.27/147.37 c 147s | 20 | 850048 | 837527 | 222 8416 | 1 | 0 149.27/149.39 c 149s | 20 | 862029 | 849327 | 222 8512 | 1 | 0 151.27/151.39 c 151s | 20 | 873396 | 860527 | 222 8603 | 1 | 0 153.27/153.39 c 153s | 20 | 884805 | 871727 | 222 8694 | 1 | 0 155.37/155.41 c 155s | 20 | 896486 | 883227 | 222 8789 | 1 | 0 157.38/157.42 c 157s | 20 | 908196 | 894727 | 222 8884 | 1 | 0 159.37/159.42 c 159s | 20 | 920034 | 906427 | 222 8980 | 1 | 0 161.37/161.43 c 161s | 20 | 931847 | 918127 | 222 9076 | 1 | 0 163.37/163.44 c 163s | 20 | 943549 | 929727 | 222 9173 | 1 | 0 165.37/165.45 c 165s | 20 | 956358 | 942327 | 222 9270 | 1 | 0 167.37/167.46 c 167s | 20 | 968695 | 954527 | 222 9365 | 1 | 0 169.37/169.48 c 169s | 20 | 980598 | 966327 | 222 9457 | 1 | 0 171.36/171.48 c 171s | 20 | 992533 | 978127 | 222 9549 | 1 | 0 173.36/173.49 c 173s | 20 | 1004875 | 990327 | 222 9644 | 1 | 0 175.07/175.17 c 175s | 21 | 1015055 | 1000345 | 245 9717 | 1 | 0 177.06/177.18 c 177s | 21 | 1025676 | 1010645 | 245 9791 | 1 | 0 179.06/179.19 c 179s | 21 | 1036490 | 1021245 | 245 9869 | 1 | 0 181.16/181.21 c 181s | 21 | 1047852 | 1032445 | 245 9953 | 1 | 0 183.16/183.22 c 183s | 21 | 1058743 | 1043145 | 245 10030 | 1 | 0 185.16/185.23 c 185s | 21 | 1069613 | 1053845 | 245 10108 | 1 | 0 187.17/187.24 c 187s | 21 | 1080667 | 1064745 | 245 10189 | 1 | 0 189.16/189.24 c 189s | 21 | 1091517 | 1075445 | 245 10269 | 1 | 0 191.16/191.25 c 191s | 21 | 1102730 | 1086545 | 245 10353 | 1 | 0 193.16/193.27 c 193s | 21 | 1113868 | 1097545 | 245 10435 | 1 | 0 195.16/195.28 c 195s | 21 | 1124878 | 1108445 | 245 10516 | 1 | 0 197.16/197.29 c 197s | 21 | 1136440 | 1119845 | 245 10603 | 1 | 0 199.27/199.31 c 199s | 21 | 1148223 | 1131445 | 245 10690 | 1 | 0 201.26/201.31 c 201s | 21 | 1159519 | 1142545 | 245 10770 | 1 | 0 203.26/203.33 c 203s | 21 | 1170435 | 1153245 | 245 10847 | 1 | 0 205.26/205.34 c 205s | 21 | 1181638 | 1164345 | 245 10927 | 1 | 0 207.26/207.35 c 207s | 21 | 1191970 | 1174545 | 245 11001 | 1 | 0 209.26/209.36 c 209s | 21 | 1203344 | 1185745 | 245 11082 | 1 | 0 211.27/211.38 c 211s | 21 | 1214047 | 1196345 | 245 11159 | 1 | 0 213.26/213.38 c 213s | 21 | 1224919 | 1207145 | 245 11238 | 1 | 0 215.26/215.39 c 215s | 21 | 1236863 | 1218945 | 245 11324 | 1 | 0 217.26/217.39 c 217s | 21 | 1248450 | 1230445 | 245 11408 | 1 | 0 219.36/219.40 c 219s | 21 | 1259726 | 1241645 | 245 11491 | 1 | 0 221.36/221.42 c 221s | 21 | 1271040 | 1252845 | 245 11574 | 1 | 0 223.36/223.43 c 223s | 21 | 1282242 | 1263945 | 245 11657 | 1 | 0 225.36/225.45 c 225s | 21 | 1293591 | 1275145 | 245 11741 | 1 | 0 227.36/227.46 c 227s | 21 | 1304775 | 1286145 | 245 11822 | 1 | 0 229.36/229.47 c 229s | 21 | 1315802 | 1297045 | 245 11902 | 1 | 0 231.35/231.47 c 231s | 21 | 1326926 | 1308045 | 245 11984 | 1 | 0 233.36/233.49 c 233s | 21 | 1338527 | 1319545 | 245 12071 | 1 | 0 235.35/235.50 c 235s | 21 | 1349273 | 1330145 | 245 12149 | 1 | 0 237.45/237.51 c 237s | 21 | 1360174 | 1340945 | 245 12230 | 1 | 0 239.45/239.52 c 239s | 21 | 1371140 | 1351845 | 245 12311 | 1 | 0 241.45/241.54 c 241s | 21 | 1382428 | 1363045 | 245 12396 | 1 | 0 243.45/243.55 c 243s | 21 | 1393688 | 1374145 | 245 12479 | 1 | 0 245.46/245.56 c 245s | 21 | 1404720 | 1385045 | 245 12561 | 1 | 0 247.45/247.57 c 247s | 21 | 1416317 | 1396545 | 245 12646 | 1 | 0 249.45/249.59 c 249s | 21 | 1427765 | 1407845 | 245 12731 | 1 | 0 251.55/251.60 c 251s | 21 | 1439127 | 1419045 | 245 12816 | 1 | 0 253.55/253.60 c 253s | 21 | 1450570 | 1430345 | 245 12901 | 1 | 0 255.56/255.60 c 255s | 21 | 1461819 | 1441445 | 245 12983 | 1 | 0 257.56/257.60 c 257s | 21 | 1473126 | 1452645 | 245 13068 | 1 | 0 259.55/259.61 c 259s | 21 | 1484519 | 1463945 | 245 13153 | 1 | 0 261.55/261.63 c 261s | 21 | 1496005 | 1475345 | 245 13239 | 1 | 0 263.55/263.64 c 263s | 21 | 1507926 | 1487145 | 245 13328 | 1 | 0 265.55/265.65 c 265s | 21 | 1519434 | 1498545 | 270 13408 | 1 | 0 265.95/266.01 c 266s | 22 | 1521531 | 1500622 | 270 13423 | 1 | 0 267.95/268.02 c 268s | 22 | 1532498 | 1511422 | 270 13496 | 1 | 0 269.95/270.03 c 270s | 22 | 1543376 | 1522222 | 270 13570 | 1 | 0 271.95/272.04 c 272s | 22 | 1554863 | 1533622 | 270 13649 | 1 | 0 273.95/274.06 c 274s | 22 | 1565568 | 1544222 | 270 13720 | 1 | 0 275.95/276.06 c 276s | 22 | 1576636 | 1555122 | 270 13793 | 1 | 0 277.95/278.06 c 278s | 22 | 1587685 | 1566022 | 270 13867 | 1 | 0 279.95/280.07 c 280s | 22 | 1598895 | 1577022 | 270 13941 | 1 | 0 281.95/282.09 c 282s | 22 | 1609833 | 1587822 | 270 14013 | 1 | 0 283.95/284.09 c 284s | 22 | 1621650 | 1599422 | 270 14092 | 1 | 0 286.05/286.11 c 286s | 22 | 1632979 | 1610622 | 270 14168 | 1 | 0 288.04/288.13 c 288s | 22 | 1643596 | 1621122 | 270 14238 | 1 | 0 290.04/290.14 c 290s | 22 | 1654864 | 1632122 | 270 14311 | 1 | 0 292.04/292.14 c 292s | 22 | 1666331 | 1643322 | 270 14388 | 1 | 0 294.04/294.15 c 294s | 22 | 1678061 | 1654822 | 270 14467 | 1 | 0 296.05/296.17 c 296s | 22 | 1689755 | 1666222 | 270 14544 | 1 | 0 298.04/298.18 c 298s | 22 | 1701657 | 1677922 | 270 14622 | 1 | 0 300.04/300.19 c 300s | 22 | 1713493 | 1689522 | 270 14701 | 1 | 0 302.14/302.20 c 302s | 22 | 1725623 | 1701522 | 270 14782 | 1 | 0 304.15/304.22 c 304s | 22 | 1737142 | 1712822 | 270 14858 | 1 | 0 306.15/306.22 c 306s | 22 | 1748327 | 1723822 | 270 14933 | 1 | 0 308.15/308.22 c 308s | 22 | 1759338 | 1734622 | 270 15006 | 1 | 0 310.15/310.23 c 310s | 22 | 1770770 | 1745822 | 270 15083 | 1 | 0 312.15/312.24 c 312s | 22 | 1782794 | 1757522 | 270 15163 | 1 | 0 314.14/314.25 c 314s | 22 | 1794076 | 1768522 | 270 15237 | 1 | 0 316.14/316.26 c 316s | 22 | 1804880 | 1779122 | 270 15308 | 1 | 0 318.14/318.26 c 318s | 22 | 1815828 | 1789922 | 270 15382 | 1 | 0 320.15/320.28 c 320s | 22 | 1826925 | 1800922 | 270 15457 | 1 | 0 322.14/322.28 c 322s | 22 | 1838026 | 1811922 | 270 15530 | 1 | 0 324.24/324.30 c 324s | 22 | 1849242 | 1823022 | 270 15604 | 1 | 0 326.24/326.30 c 326s | 22 | 1860412 | 1834122 | 270 15678 | 1 | 0 328.24/328.32 c 328s | 22 | 1871543 | 1845122 | 270 15752 | 1 | 0 330.24/330.33 c 330s | 22 | 1882447 | 1855922 | 270 15825 | 1 | 0 332.25/332.35 c 332s | 22 | 1893319 | 1866722 | 270 15899 | 1 | 0 334.24/334.35 c 334s | 22 | 1904118 | 1877422 | 270 15971 | 1 | 0 336.24/336.36 c 336s | 22 | 1915298 | 1888422 | 270 16046 | 1 | 0 338.24/338.37 c 338s | 22 | 1926209 | 1899122 | 270 16118 | 1 | 0 340.24/340.37 c 340s | 22 | 1937420 | 1910122 | 270 16192 | 1 | 0 342.25/342.38 c 342s | 22 | 1948922 | 1921422 | 270 16269 | 1 | 0 344.24/344.38 c 344s | 22 | 1959550 | 1931922 | 270 16339 | 1 | 0 346.34/346.40 c 346s | 22 | 1970531 | 1942722 | 270 16412 | 1 | 0 348.34/348.40 c 348s | 22 | 1981482 | 1953522 | 270 16485 | 1 | 0 350.34/350.42 c 350s | 22 | 1992266 | 1964222 | 270 16558 | 1 | 0 352.33/352.43 c 352s | 22 | 2003149 | 1975022 | 270 16633 | 1 | 0 354.34/354.44 c 354s | 22 | 2013970 | 1985622 | 270 16704 | 1 | 0 356.33/356.45 c 356s | 22 | 2024518 | 1996022 | 270 16774 | 1 | 0 358.33/358.47 c 358s | 22 | 2035531 | 2006922 | 270 16848 | 1 | 0 360.33/360.48 c 360s | 22 | 2046591 | 2017822 | 270 16923 | 1 | 0 362.33/362.48 c 362s | 22 | 2057452 | 2028522 | 270 16996 | 1 | 0 364.33/364.49 c 364s | 22 | 2068688 | 2039522 | 270 17071 | 1 | 0 366.34/366.49 c 366s | 22 | 2079505 | 2050222 | 270 17145 | 1 | 0 368.43/368.51 c 368s | 22 | 2090857 | 2061422 | 270 17222 | 1 | 0 370.43/370.52 c 370s | 22 | 2102200 | 2072622 | 270 17300 | 1 | 0 372.43/372.53 c 372s | 22 | 2113249 | 2083522 | 270 17375 | 1 | 0 374.43/374.55 c 374s | 22 | 2124060 | 2094222 | 270 17447 | 1 | 0 376.43/376.56 c 376s | 22 | 2134994 | 2105022 | 270 17519 | 1 | 0 378.44/378.56 c 378s | 22 | 2145899 | 2115822 | 270 17592 | 1 | 0 380.43/380.58 c 380s | 22 | 2157023 | 2126822 | 270 17667 | 1 | 0 382.43/382.59 c 382s | 22 | 2168342 | 2138022 | 270 17743 | 1 | 0 384.43/384.59 c 384s | 22 | 2179530 | 2149022 | 270 17818 | 1 | 0 386.53/386.60 c 386s | 22 | 2190925 | 2160222 | 270 17894 | 1 | 0 388.53/388.61 c 388s | 22 | 2202623 | 2171722 | 270 17972 | 1 | 0 390.53/390.62 c 390s | 22 | 2213918 | 2182822 | 270 18048 | 1 | 0 392.53/392.62 c 392s | 22 | 2225710 | 2194422 | 270 18128 | 1 | 0 394.53/394.63 c 394s | 22 | 2237693 | 2206222 | 270 18209 | 1 | 0 396.53/396.63 c 396s | 22 | 2249494 | 2217822 | 270 18289 | 1 | 0 398.53/398.65 c 398s | 22 | 2261536 | 2229622 | 270 18370 | 1 | 0 400.53/400.65 c 400s | 22 | 2273011 | 2240922 | 297 18444 | 1 | 0 402.32/402.49 c 402s | 23 | 2283256 | 2251038 | 297 18508 | 1 | 0 404.42/404.50 c 404s | 23 | 2294218 | 2261738 | 297 18574 | 1 | 0 406.42/406.50 c 406s | 23 | 2305541 | 2272838 | 297 18642 | 1 | 0 408.42/408.50 c 408s | 23 | 2316412 | 2283538 | 297 18708 | 1 | 0 410.43/410.51 c 410s | 23 | 2327759 | 2294638 | 297 18777 | 1 | 0 412.42/412.52 c 412s | 23 | 2339457 | 2306138 | 297 18847 | 1 | 0 414.42/414.52 c 414s | 23 | 2350911 | 2317438 | 297 18915 | 1 | 0 416.42/416.52 c 416s | 23 | 2362301 | 2328638 | 297 18984 | 1 | 0 418.43/418.53 c 418s | 23 | 2373273 | 2339438 | 297 19051 | 1 | 0 420.43/420.53 c 420s | 23 | 2383973 | 2349938 | 297 19115 | 1 | 0 422.44/422.55 c 422s | 23 | 2394531 | 2360338 | 297 19178 | 1 | 0 424.43/424.55 c 424s | 23 | 2405561 | 2371238 | 297 19244 | 1 | 0 426.43/426.56 c 426s | 23 | 2416632 | 2382138 | 297 19311 | 1 | 0 428.43/428.56 c 428s | 23 | 2427681 | 2393038 | 297 19378 | 1 | 0 430.43/430.57 c 430s | 23 | 2438823 | 2404038 | 297 19447 | 1 | 0 432.44/432.58 c 432s | 23 | 2449887 | 2414938 | 297 19513 | 1 | 0 434.43/434.59 c 434s | 23 | 2461071 | 2425938 | 297 19582 | 1 | 0 436.53/436.61 c 436s | 23 | 2472367 | 2437038 | 297 19651 | 1 | 0 438.53/438.61 c 438s | 23 | 2483371 | 2447738 | 297 19717 | 1 | 0 440.53/440.62 c 440s | 23 | 2494275 | 2458438 | 297 19783 | 1 | 0 442.52/442.62 c 442s | 23 | 2506044 | 2469938 | 297 19854 | 1 | 0 444.53/444.63 c 444s | 23 | 2517453 | 2481038 | 297 19922 | 1 | 0 446.52/446.63 c 446s | 23 | 2528592 | 2491938 | 297 19990 | 1 | 0 448.52/448.64 c 448s | 23 | 2540011 | 2503038 | 297 20059 | 1 | 0 450.52/450.64 c 450s | 23 | 2551290 | 2514138 | 297 20128 | 1 | 0 452.52/452.65 c 452s | 23 | 2562895 | 2525538 | 297 20199 | 1 | 0 454.52/454.66 c 454s | 23 | 2574584 | 2537038 | 297 20272 | 1 | 0 456.53/456.67 c 456s | 23 | 2586135 | 2548438 | 297 20344 | 1 | 0 458.52/458.68 c 458s | 23 | 2597489 | 2559638 | 297 20415 | 1 | 0 460.52/460.69 c 460s | 23 | 2608362 | 2570338 | 297 20481 | 1 | 0 462.62/462.71 c 462s | 23 | 2619588 | 2581338 | 297 20550 | 1 | 0 464.62/464.72 c 464s | 23 | 2630919 | 2592538 | 297 20619 | 1 | 0 466.62/466.74 c 466s | 23 | 2641971 | 2603438 | 297 20687 | 1 | 0 468.62/468.75 c 468s | 23 | 2653689 | 2614938 | 297 20759 | 1 | 0 470.62/470.76 c 470s | 23 | 2665376 | 2626438 | 297 20832 | 1 | 0 472.62/472.77 c 472s | 23 | 2677080 | 2637938 | 297 20905 | 1 | 0 474.62/474.78 c 474s | 23 | 2688352 | 2649038 | 297 20975 | 1 | 0 476.62/476.78 c 476s | 23 | 2698752 | 2659338 | 297 21038 | 1 | 0 478.62/478.78 c 478s | 23 | 2709774 | 2670138 | 297 21105 | 1 | 0 480.61/480.79 c 480s | 23 | 2720817 | 2681038 | 297 21173 | 1 | 0 482.71/482.80 c 482s | 23 | 2732135 | 2692238 | 297 21244 | 1 | 0 484.71/484.82 c 484s | 23 | 2744234 | 2704038 | 297 21317 | 1 | 0 486.71/486.84 c 486s | 23 | 2755476 | 2715138 | 297 21386 | 1 | 0 488.71/488.85 c 488s | 23 | 2767074 | 2726538 | 297 21458 | 1 | 0 490.72/490.86 c 490s | 23 | 2778615 | 2737938 | 297 21529 | 1 | 0 492.72/492.86 c 492s | 23 | 2790071 | 2749238 | 297 21601 | 1 | 0 494.72/494.86 c 494s | 23 | 2801458 | 2760538 | 297 21673 | 1 | 0 496.72/496.87 c 496s | 23 | 2813063 | 2772038 | 297 21747 | 1 | 0 498.72/498.88 c 498s | 23 | 2824547 | 2783438 | 297 21820 | 1 | 0 500.72/500.89 c 500s | 23 | 2836618 | 2795338 | 297 21897 | 1 | 0 502.72/502.89 c 502s | 23 | 2848497 | 2807038 | 297 21971 | 1 | 0 504.71/504.89 c 504s | 23 | 2860102 | 2818438 | 297 22043 | 1 | 0 506.81/506.90 c 506s | 23 | 2871886 | 2830038 | 297 22117 | 1 | 0 508.81/508.91 c 508s | 23 | 2884386 | 2842338 | 297 22194 | 1 | 0 510.81/510.93 c 510s | 23 | 2896437 | 2854238 | 297 22269 | 1 | 0 512.81/512.93 c 512s | 23 | 2908286 | 2865938 | 297 22342 | 1 | 0 514.82/514.94 c 514s | 23 | 2920014 | 2877538 | 297 22415 | 1 | 0 516.81/516.95 c 516s | 23 | 2931849 | 2889238 | 297 22489 | 1 | 0 518.81/518.96 c 518s | 23 | 2943484 | 2900738 | 297 22562 | 1 | 0 520.80/520.97 c 520s | 23 | 2955134 | 2912238 | 297 22635 | 1 | 0 522.80/522.98 c 522s | 23 | 2966799 | 2923738 | 297 22708 | 1 | 0 524.81/524.98 c 524s | 23 | 2978412 | 2935238 | 297 22781 | 1 | 0 526.80/526.99 c 526s | 23 | 2990249 | 2946938 | 297 22857 | 1 | 0 528.80/528.99 c 528s | 23 | 3001865 | 2958438 | 297 22930 | 1 | 0 530.91/531.00 c 530s | 23 | 3013678 | 2970138 | 297 23005 | 1 | 0 532.91/533.00 c 532s | 23 | 3025447 | 2981638 | 297 23078 | 1 | 0 534.91/535.00 c 534s | 23 | 3036877 | 2992838 | 297 23147 | 1 | 0 536.91/537.01 c 536s | 23 | 3048431 | 3004038 | 297 23216 | 1 | 0 538.91/539.02 c 539s | 23 | 3061137 | 3016538 | 297 23294 | 1 | 0 540.90/541.03 c 541s | 23 | 3073398 | 3028638 | 297 23367 | 1 | 0 542.90/543.04 c 543s | 23 | 3085326 | 3040438 | 297 23439 | 1 | 0 544.90/545.05 c 545s | 23 | 3096963 | 3051938 | 297 23509 | 1 | 0 546.90/547.06 c 547s | 23 | 3108594 | 3063438 | 297 23581 | 1 | 0 548.91/549.07 c 549s | 23 | 3120074 | 3074738 | 297 23650 | 1 | 0 550.90/551.08 c 551s | 23 | 3131766 | 3086238 | 297 23721 | 1 | 0 552.90/553.08 c 553s | 23 | 3143284 | 3097538 | 297 23792 | 1 | 0 555.00/555.10 c 555s | 23 | 3154610 | 3108538 | 297 23860 | 1 | 0 557.00/557.11 c 557s | 23 | 3165961 | 3119638 | 297 23929 | 1 | 0 559.00/559.13 c 559s | 23 | 3177441 | 3130838 | 297 23999 | 1 | 0 561.00/561.14 c 561s | 23 | 3188850 | 3142038 | 297 24069 | 1 | 0 562.99/563.14 c 563s | 23 | 3200536 | 3153538 | 297 24143 | 1 | 0 564.99/565.15 c 565s | 23 | 3212252 | 3164938 | 297 24214 | 1 | 0 566.99/567.16 c 567s | 23 | 3223408 | 3175938 | 297 24282 | 1 | 0 568.99/569.17 c 569s | 23 | 3234677 | 3186938 | 297 24350 | 1 | 0 570.99/571.18 c 571s | 23 | 3246564 | 3198538 | 297 24423 | 1 | 0 572.98/573.19 c 573s | 23 | 3258442 | 3210138 | 297 24495 | 1 | 0 575.08/575.20 c 575s | 23 | 3270654 | 3222138 | 297 24569 | 1 | 0 577.08/577.21 c 577s | 23 | 3283167 | 3234438 | 297 24645 | 1 | 0 579.08/579.23 c 579s | 23 | 3294644 | 3245738 | 297 24715 | 1 | 0 581.08/581.24 c 581s | 23 | 3306129 | 3257038 | 297 24785 | 1 | 0 583.08/583.25 c 583s | 23 | 3317457 | 3268238 | 297 24854 | 1 | 0 585.08/585.26 c 585s | 23 | 3328923 | 3279538 | 297 24925 | 1 | 0 587.08/587.28 c 587s | 23 | 3340341 | 3290738 | 297 24995 | 1 | 0 589.08/589.29 c 589s | 23 | 3352056 | 3302238 | 297 25068 | 1 | 0 591.17/591.31 c 591s | 23 | 3363640 | 3313538 | 297 25138 | 1 | 0 593.17/593.31 c 593s | 23 | 3375612 | 3325238 | 297 25211 | 1 | 0 595.18/595.31 c 595s | 23 | 3387687 | 3337138 | 297 25286 | 1 | 0 597.17/597.32 c 597s | 23 | 3399535 | 3348738 | 297 25359 | 1 | 0 599.18/599.32 c 599s | 23 | 3411235 | 3360238 | 327 25428 | 1 | 0 601.17/601.34 c 601s | 23 | 3423270 | 3372038 | 327 25495 | 1 | 0 601.97/602.14 c 602s | 24 | 3428030 | 3376662 | 327 25521 | 1 | 0 603.98/604.15 c 604s | 24 | 3439934 | 3388262 | 327 25588 | 1 | 0 605.97/606.17 c 606s | 24 | 3451232 | 3399362 | 327 25652 | 1 | 0 607.97/608.18 c 608s | 24 | 3462313 | 3410162 | 327 25713 | 1 | 0 609.97/610.18 c 610s | 24 | 3473769 | 3421362 | 327 25777 | 1 | 0 612.07/612.20 c 612s | 24 | 3484960 | 3432362 | 327 25839 | 1 | 0 614.07/614.21 c 614s | 24 | 3496737 | 3443862 | 327 25905 | 1 | 0 616.08/616.22 c 616s | 24 | 3508031 | 3454962 | 327 25968 | 1 | 0 618.07/618.23 c 618s | 24 | 3519556 | 3466262 | 327 26032 | 1 | 0 620.06/620.23 c 620s | 24 | 3531154 | 3477662 | 327 26097 | 1 | 0 622.06/622.25 c 622s | 24 | 3542406 | 3488662 | 327 26160 | 1 | 0 624.06/624.26 c 624s | 24 | 3554047 | 3500162 | 327 26226 | 1 | 0 626.06/626.28 c 626s | 24 | 3565994 | 3511862 | 327 26293 | 1 | 0 628.07/628.28 c 628s | 24 | 3577504 | 3523162 | 327 26358 | 1 | 0 630.06/630.29 c 630s | 24 | 3588961 | 3534362 | 327 26423 | 1 | 0 632.15/632.30 c 632s | 24 | 3601119 | 3546362 | 327 26490 | 1 | 0 634.15/634.30 c 634s | 24 | 3612163 | 3557262 | 327 26551 | 1 | 0 636.15/636.31 c 636s | 24 | 3623241 | 3568162 | 327 26612 | 1 | 0 638.15/638.33 c 638s | 24 | 3634758 | 3579462 | 327 26675 | 1 | 0 640.16/640.33 c 640s | 24 | 3646405 | 3590862 | 327 26739 | 1 | 0 642.15/642.34 c 642s | 24 | 3657975 | 3602262 | 327 26803 | 1 | 0 644.15/644.34 c 644s | 24 | 3669862 | 3613962 | 327 26869 | 1 | 0 646.15/646.34 c 646s | 24 | 3681575 | 3625462 | 327 26934 | 1 | 0 648.15/648.35 c 648s | 24 | 3693535 | 3637262 | 327 27002 | 1 | 0 650.15/650.37 c 650s | 24 | 3705460 | 3649062 | 327 27069 | 1 | 0 652.14/652.38 c 652s | 24 | 3716858 | 3660262 | 327 27133 | 1 | 0 654.14/654.39 c 654s | 24 | 3728054 | 3671262 | 327 27195 | 1 | 0 656.14/656.39 c 656s | 24 | 3738811 | 3681862 | 327 27255 | 1 | 0 658.24/658.40 c 658s | 24 | 3749905 | 3692762 | 327 27317 | 1 | 0 660.24/660.42 c 660s | 24 | 3760931 | 3703662 | 327 27379 | 1 | 0 662.25/662.44 c 662s | 24 | 3772517 | 3715162 | 327 27444 | 1 | 0 664.24/664.45 c 664s | 24 | 3784590 | 3727162 | 327 27511 | 1 | 0 666.24/666.46 c 666s | 24 | 3796249 | 3738662 | 327 27575 | 1 | 0 668.24/668.47 c 668s | 24 | 3808153 | 3750362 | 327 27641 | 1 | 0 670.23/670.47 c 670s | 24 | 3819968 | 3761962 | 327 27707 | 1 | 0 672.23/672.47 c 672s | 24 | 3831546 | 3773362 | 327 27771 | 1 | 0 674.24/674.49 c 674s | 24 | 3843392 | 3784962 | 327 27837 | 1 | 0 676.34/676.50 c 676s | 24 | 3855267 | 3796662 | 327 27905 | 1 | 0 678.34/678.52 c 678s | 24 | 3866897 | 3808162 | 327 27971 | 1 | 0 680.33/680.53 c 680s | 24 | 3878856 | 3819862 | 327 28038 | 1 | 0 682.33/682.54 c 682s | 24 | 3890734 | 3831662 | 327 28104 | 1 | 0 684.33/684.55 c 684s | 24 | 3902509 | 3843362 | 327 28171 | 1 | 0 686.34/686.57 c 686s | 24 | 3913844 | 3854562 | 327 28234 | 1 | 0 688.33/688.58 c 688s | 24 | 3925506 | 3866062 | 327 28299 | 1 | 0 690.33/690.58 c 690s | 24 | 3937279 | 3877762 | 327 28365 | 1 | 0 692.43/692.60 c 692s | 24 | 3949456 | 3889862 | 327 28435 | 1 | 0 694.43/694.61 c 694s | 24 | 3960956 | 3901162 | 327 28499 | 1 | 0 696.43/696.61 c 696s | 24 | 3972081 | 3912162 | 327 28562 | 1 | 0 698.43/698.62 c 698s | 24 | 3983519 | 3923462 | 327 28626 | 1 | 0 700.42/700.63 c 700s | 24 | 3995243 | 3935062 | 327 28692 | 1 | 0 702.42/702.64 c 702s | 24 | 4006522 | 3946262 | 327 28756 | 1 | 0 704.42/704.64 c 704s | 24 | 4017805 | 3957462 | 327 28820 | 1 | 0 706.42/706.66 c 706s | 24 | 4028925 | 3968462 | 327 28883 | 1 | 0 708.43/708.67 c 708s | 24 | 4040344 | 3979662 | 327 28946 | 1 | 0 710.42/710.68 c 710s | 24 | 4051670 | 3990762 | 327 29009 | 1 | 0 712.41/712.69 c 712s | 24 | 4062940 | 4001762 | 327 29072 | 1 | 0 714.51/714.71 c 714s | 24 | 4074345 | 4012962 | 327 29136 | 1 | 0 716.51/716.72 c 716s | 24 | 4086130 | 4024562 | 327 29202 | 1 | 0 718.51/718.73 c 718s | 24 | 4097790 | 4036062 | 327 29268 | 1 | 0 720.52/720.74 c 720s | 24 | 4109705 | 4047662 | 327 29334 | 1 | 0 722.51/722.74 c 722s | 24 | 4121186 | 4058962 | 327 29399 | 1 | 0 724.51/724.75 c 724s | 24 | 4132879 | 4070462 | 327 29465 | 1 | 0 726.51/726.75 c 726s | 24 | 4144768 | 4082062 | 327 29531 | 1 | 0 728.51/728.75 c 728s | 24 | 4156288 | 4093362 | 327 29597 | 1 | 0 730.51/730.76 c 730s | 24 | 4168139 | 4104962 | 327 29664 | 1 | 0 732.51/732.78 c 732s | 24 | 4179761 | 4116362 | 327 29730 | 1 | 0 734.50/734.78 c 734s | 24 | 4191266 | 4127662 | 327 29795 | 1 | 0 736.50/736.78 c 736s | 24 | 4203014 | 4139162 | 327 29861 | 1 | 0 738.50/738.78 c 738s | 24 | 4214877 | 4150762 | 327 29927 | 1 | 0 740.50/740.78 c 740s | 24 | 4226940 | 4162662 | 327 29995 | 1 | 0 742.50/742.79 c 742s | 24 | 4238807 | 4174262 | 327 30061 | 1 | 0 744.50/744.80 c 744s | 24 | 4250499 | 4185662 | 327 30126 | 1 | 0 746.60/746.82 c 746s | 24 | 4262331 | 4197262 | 327 30192 | 1 | 0 748.60/748.84 c 748s | 24 | 4274323 | 4209062 | 327 30260 | 1 | 0 750.60/750.84 c 750s | 24 | 4285404 | 4219962 | 327 30322 | 1 | 0 752.60/752.86 c 752s | 24 | 4295893 | 4230262 | 327 30380 | 1 | 0 754.61/754.86 c 754s | 24 | 4306237 | 4240462 | 327 30438 | 1 | 0 756.60/756.88 c 756s | 24 | 4316939 | 4251062 | 327 30498 | 1 | 0 758.60/758.89 c 758s | 24 | 4328054 | 4262062 | 327 30561 | 1 | 0 760.70/760.91 c 760s | 24 | 4339081 | 4272962 | 327 30624 | 1 | 0 762.70/762.92 c 762s | 24 | 4350159 | 4283862 | 327 30686 | 1 | 0 764.70/764.93 c 764s | 24 | 4361495 | 4295062 | 327 30750 | 1 | 0 766.70/766.93 c 766s | 24 | 4372806 | 4306262 | 327 30815 | 1 | 0 768.70/768.95 c 768s | 24 | 4383922 | 4317262 | 327 30878 | 1 | 0 770.69/770.96 c 770s | 24 | 4394752 | 4327962 | 327 30940 | 1 | 0 772.69/772.97 c 772s | 24 | 4405975 | 4339062 | 327 31005 | 1 | 0 774.69/774.97 c 774s | 24 | 4416905 | 4349862 | 327 31066 | 1 | 0 776.69/776.98 c 776s | 24 | 4427694 | 4360562 | 327 31127 | 1 | 0 778.69/778.99 c 778s | 24 | 4438504 | 4371262 | 327 31188 | 1 | 0 780.79/781.00 c 780s | 24 | 4449816 | 4382462 | 327 31253 | 1 | 0 782.79/783.01 c 782s | 24 | 4460954 | 4393462 | 327 31317 | 1 | 0 784.78/785.03 c 785s | 24 | 4471871 | 4404262 | 327 31378 | 1 | 0 786.78/787.03 c 787s | 24 | 4482692 | 4414962 | 327 31439 | 1 | 0 788.78/789.04 c 789s | 24 | 4494316 | 4426362 | 327 31505 | 1 | 0 790.79/791.04 c 791s | 24 | 4505111 | 4437062 | 327 31566 | 1 | 0 792.78/793.05 c 793s | 24 | 4516441 | 4448262 | 327 31631 | 1 | 0 794.78/795.05 c 795s | 24 | 4527737 | 4459462 | 327 31695 | 1 | 0 796.78/797.07 c 797s | 24 | 4539009 | 4470562 | 327 31760 | 1 | 0 798.78/799.07 c 799s | 24 | 4550289 | 4481762 | 327 31825 | 1 | 0 800.78/801.07 c 801s | 24 | 4561664 | 4493062 | 327 31891 | 1 | 0 802.78/803.08 c 803s | 24 | 4573172 | 4504462 | 327 31957 | 1 | 0 804.88/805.10 c 805s | 24 | 4584455 | 4515662 | 327 32023 | 1 | 0 806.88/807.11 c 807s | 24 | 4595957 | 4527062 | 327 32090 | 1 | 0 808.88/809.12 c 809s | 24 | 4607375 | 4538362 | 327 32156 | 1 | 0 810.87/811.14 c 811s | 24 | 4619034 | 4549662 | 327 32220 | 1 | 0 812.88/813.14 c 813s | 24 | 4630738 | 4561162 | 327 32285 | 1 | 0 814.87/815.14 c 815s | 24 | 4642771 | 4572762 | 327 32351 | 1 | 0 816.87/817.15 c 817s | 24 | 4654981 | 4584662 | 327 32419 | 1 | 0 818.87/819.16 c 819s | 24 | 4666839 | 4596362 | 327 32486 | 1 | 0 820.87/821.17 c 821s | 24 | 4678172 | 4607362 | 327 32548 | 1 | 0 822.87/823.17 c 823s | 24 | 4689765 | 4618562 | 327 32612 | 1 | 0 824.87/825.18 c 825s | 24 | 4702011 | 4630462 | 327 32679 | 1 | 0 826.97/827.20 c 827s | 24 | 4713651 | 4641662 | 327 32743 | 1 | 0 828.97/829.21 c 829s | 24 | 4725383 | 4653062 | 327 32808 | 1 | 0 830.96/831.22 c 831s | 24 | 4736913 | 4664362 | 327 32873 | 1 | 0 832.96/833.24 c 833s | 24 | 4748480 | 4675762 | 327 32939 | 1 | 0 834.96/835.24 c 835s | 24 | 4759867 | 4686962 | 327 33002 | 1 | 0 836.97/837.25 c 837s | 24 | 4771295 | 4698162 | 327 33066 | 1 | 0 838.97/839.25 c 839s | 24 | 4782703 | 4709462 | 327 33131 | 1 | 0 840.97/841.26 c 841s | 24 | 4794400 | 4721062 | 327 33199 | 1 | 0 842.97/843.28 c 843s | 24 | 4806322 | 4732762 | 327 33265 | 1 | 0 844.97/845.29 c 845s | 24 | 4818267 | 4744562 | 327 33332 | 1 | 0 846.97/847.29 c 847s | 24 | 4829603 | 4755762 | 327 33395 | 1 | 0 848.97/849.30 c 849s | 24 | 4841057 | 4767062 | 327 33459 | 1 | 0 851.06/851.31 c 851s | 24 | 4852781 | 4778662 | 327 33526 | 1 | 0 853.06/853.31 c 853s | 24 | 4865032 | 4790562 | 327 33593 | 1 | 0 855.06/855.32 c 855s | 24 | 4877611 | 4802962 | 327 33664 | 1 | 0 857.06/857.32 c 857s | 24 | 4889810 | 4814962 | 327 33732 | 1 | 0 859.06/859.34 c 859s | 24 | 4902012 | 4826962 | 327 33801 | 1 | 0 861.05/861.35 c 861s | 24 | 4913923 | 4838762 | 327 33868 | 1 | 0 863.05/863.35 c 863s | 24 | 4926259 | 4850962 | 327 33939 | 1 | 0 865.05/865.36 c 865s | 24 | 4938481 | 4862962 | 327 34008 | 1 | 0 867.05/867.37 c 867s | 24 | 4950875 | 4875062 | 327 34078 | 1 | 0 869.05/869.38 c 869s | 24 | 4963012 | 4886862 | 327 34145 | 1 | 0 871.05/871.38 c 871s | 24 | 4975042 | 4898562 | 327 34212 | 1 | 0 873.05/873.39 c 873s | 24 | 4986530 | 4909762 | 327 34277 | 1 | 0 875.04/875.39 c 875s | 24 | 4998012 | 4921062 | 327 34342 | 1 | 0 877.14/877.41 c 877s | 24 | 5009795 | 4932562 | 327 34409 | 1 | 0 879.14/879.41 c 879s | 24 | 5021846 | 4944262 | 327 34476 | 1 | 0 881.14/881.41 c 881s | 24 | 5034068 | 4956162 | 327 34546 | 1 | 0 883.15/883.42 c 883s | 24 | 5045759 | 4967662 | 327 34613 | 1 | 0 885.14/885.44 c 885s | 24 | 5057446 | 4979162 | 327 34680 | 1 | 0 887.14/887.44 c 887s | 24 | 5069176 | 4990662 | 327 34747 | 1 | 0 889.14/889.45 c 889s | 24 | 5080890 | 5002262 | 327 34814 | 1 | 0 891.13/891.46 c 891s | 24 | 5092959 | 5014162 | 327 34884 | 1 | 0 893.14/893.47 c 893s | 24 | 5105120 | 5026162 | 327 34954 | 1 | 0 895.13/895.49 c 895s | 24 | 5116631 | 5037362 | 360 35014 | 1 | 0 897.13/897.49 c 897s | 24 | 5128565 | 5049062 | 360 35075 | 1 | 0 899.23/899.50 c 899s | 24 | 5140638 | 5060762 | 360 35136 | 1 | 0 899.93/900.26 c 900s | 25 | 5145146 | 5065098 | 360 35159 | 1 | 0 901.93/902.26 c 902s | 25 | 5157045 | 5076598 | 360 35219 | 1 | 0 903.92/904.27 c 904s | 25 | 5168537 | 5087798 | 360 35277 | 1 | 0 905.92/906.28 c 906s | 25 | 5180353 | 5099398 | 360 35338 | 1 | 0 907.92/908.29 c 908s | 25 | 5192374 | 5110998 | 360 35398 | 1 | 0 909.92/910.30 c 910s | 25 | 5204312 | 5122398 | 360 35457 | 1 | 0 912.02/912.30 c 912s | 25 | 5215914 | 5133698 | 360 35516 | 1 | 0 914.03/914.31 c 914s | 25 | 5227812 | 5145198 | 360 35577 | 1 | 0 916.02/916.32 c 916s | 25 | 5239430 | 5156498 | 360 35635 | 1 | 0 918.02/918.33 c 918s | 25 | 5251020 | 5167798 | 360 35694 | 1 | 0 920.02/920.34 c 920s | 25 | 5262996 | 5179398 | 360 35756 | 1 | 0 922.01/922.35 c 922s | 25 | 5274904 | 5190898 | 360 35816 | 1 | 0 924.01/924.35 c 924s | 25 | 5286788 | 5202298 | 360 35876 | 1 | 0 926.02/926.35 c 926s | 25 | 5298629 | 5213698 | 360 35935 | 1 | 0 928.01/928.36 c 928s | 25 | 5310583 | 5225198 | 360 35995 | 1 | 0 930.02/930.37 c 930s | 25 | 5322401 | 5236598 | 360 36055 | 1 | 0 932.02/932.38 c 932s | 25 | 5334683 | 5248498 | 360 36117 | 1 | 0 934.02/934.38 c 934s | 25 | 5346701 | 5260198 | 360 36179 | 1 | 0 936.02/936.38 c 936s | 25 | 5358814 | 5271998 | 360 36242 | 1 | 0 938.02/938.39 c 938s | 25 | 5371057 | 5283898 | 360 36305 | 1 | 0 940.01/940.39 c 940s | 25 | 5383083 | 5295498 | 360 36366 | 1 | 0 942.11/942.40 c 942s | 25 | 5394627 | 5306598 | 360 36424 | 1 | 0 944.11/944.40 c 944s | 25 | 5406490 | 5317998 | 360 36483 | 1 | 0 946.11/946.41 c 946s | 25 | 5418122 | 5329398 | 360 36543 | 1 | 0 948.12/948.42 c 948s | 25 | 5429304 | 5340298 | 360 36599 | 1 | 0 950.11/950.43 c 950s | 25 | 5440451 | 5351198 | 360 36656 | 1 | 0 952.11/952.43 c 952s | 25 | 5451821 | 5362298 | 360 36714 | 1 | 0 954.11/954.44 c 954s | 25 | 5463133 | 5373298 | 360 36771 | 1 | 0 956.11/956.45 c 956s | 25 | 5474878 | 5384698 | 360 36831 | 1 | 0 958.11/958.45 c 958s | 25 | 5486660 | 5396198 | 360 36892 | 1 | 0 960.11/960.45 c 960s | 25 | 5498501 | 5407598 | 360 36952 | 1 | 0 962.11/962.45 c 962s | 25 | 5510016 | 5418798 | 360 37010 | 1 | 0 964.11/964.46 c 964s | 25 | 5521944 | 5430298 | 360 37071 | 1 | 0 966.10/966.46 c 966s | 25 | 5533773 | 5441698 | 360 37131 | 1 | 0 968.10/968.47 c 968s | 25 | 5545765 | 5453298 | 360 37192 | 1 | 0 970.11/970.48 c 970s | 25 | 5557798 | 5464998 | 360 37254 | 1 | 0 972.10/972.49 c 972s | 25 | 5569899 | 5476798 | 360 37317 | 1 | 0 974.20/974.51 c 974s | 25 | 5582171 | 5488798 | 360 37380 | 1 | 0 976.20/976.51 c 976s | 25 | 5594501 | 5500898 | 360 37444 | 1 | 0 978.20/978.52 c 978s | 25 | 5606159 | 5512298 | 360 37503 | 1 | 0 980.19/980.54 c 980s | 25 | 5617756 | 5523598 | 360 37561 | 1 | 0 982.20/982.54 c 982s | 25 | 5629535 | 5535098 | 360 37621 | 1 | 0 984.19/984.54 c 984s | 25 | 5641165 | 5546498 | 360 37681 | 1 | 0 986.19/986.55 c 986s | 25 | 5653574 | 5558598 | 360 37743 | 1 | 0 988.19/988.56 c 988s | 25 | 5665685 | 5570398 | 360 37805 | 1 | 0 990.19/990.57 c 990s | 25 | 5677571 | 5582098 | 360 37865 | 1 | 0 992.19/992.58 c 992s | 25 | 5689414 | 5593798 | 360 37926 | 1 | 0 994.20/994.59 c 994s | 25 | 5700967 | 5605198 | 360 37985 | 1 | 0 996.29/996.60 c 996s | 25 | 5712517 | 5616598 | 360 38045 | 1 | 0 998.29/998.61 c 998s | 25 | 5724576 | 5628398 | 360 38106 | 1 | 0 1000.29/1000.61 c 1000s | 25 | 5736510 | 5640198 | 360 38167 | 1 | 0 1002.29/1002.61 c 1002s | 25 | 5748376 | 5651898 | 360 38228 | 1 | 0 1004.29/1004.62 c 1004s | 25 | 5760400 | 5663798 | 360 38290 | 1 | 0 1006.29/1006.63 c 1006s | 25 | 5772101 | 5675198 | 360 38350 | 1 | 0 1008.29/1008.64 c 1008s | 25 | 5784159 | 5687098 | 360 38412 | 1 | 0 1010.29/1010.64 c 1010s | 25 | 5795929 | 5698598 | 360 38473 | 1 | 0 1012.29/1012.66 c 1012s | 25 | 5806833 | 5709298 | 360 38529 | 1 | 0 1014.28/1014.66 c 1014s | 25 | 5818410 | 5720598 | 360 38588 | 1 | 0 1016.29/1016.67 c 1016s | 25 | 5829755 | 5731698 | 360 38645 | 1 | 0 1018.28/1018.68 c 1018s | 25 | 5841317 | 5742998 | 360 38704 | 1 | 0 1020.27/1020.68 c 1020s | 25 | 5852642 | 5754098 | 360 38762 | 1 | 0 1022.27/1022.69 c 1022s | 25 | 5864487 | 5765698 | 360 38823 | 1 | 0 1024.37/1024.70 c 1024s | 25 | 5875606 | 5776598 | 360 38881 | 1 | 0 1026.37/1026.71 c 1026s | 25 | 5887513 | 5788198 | 360 38940 | 1 | 0 1028.38/1028.73 c 1028s | 25 | 5899418 | 5799798 | 360 39001 | 1 | 0 1030.36/1030.74 c 1030s | 25 | 5911311 | 5811398 | 360 39062 | 1 | 0 1032.36/1032.75 c 1032s | 25 | 5922749 | 5822498 | 360 39119 | 1 | 0 1034.37/1034.76 c 1034s | 25 | 5934084 | 5833598 | 360 39177 | 1 | 0 1036.37/1036.77 c 1036s | 25 | 5945850 | 5844998 | 360 39237 | 1 | 0 1038.37/1038.78 c 1038s | 25 | 5958100 | 5856898 | 360 39300 | 1 | 0 1040.37/1040.79 c 1040s | 25 | 5970371 | 5868898 | 360 39362 | 1 | 0 1042.47/1042.80 c 1042s | 25 | 5982254 | 5880498 | 360 39423 | 1 | 0 1044.47/1044.81 c 1044s | 25 | 5994293 | 5892198 | 360 39484 | 1 | 0 1046.47/1046.82 c 1046s | 25 | 6006270 | 5903798 | 360 39546 | 1 | 0 1048.47/1048.83 c 1048s | 25 | 6018082 | 5915398 | 360 39607 | 1 | 0 1050.46/1050.83 c 1050s | 25 | 6028941 | 5925998 | 360 39662 | 1 | 0 1052.47/1052.84 c 1052s | 25 | 6040738 | 5937498 | 360 39721 | 1 | 0 1054.46/1054.84 c 1054s | 25 | 6052265 | 5948898 | 360 39781 | 1 | 0 1056.46/1056.85 c 1056s | 25 | 6063063 | 5959498 | 360 39836 | 1 | 0 1058.46/1058.87 c 1058s | 25 | 6074241 | 5970498 | 360 39893 | 1 | 0 1060.46/1060.88 c 1060s | 25 | 6085710 | 5981698 | 360 39952 | 1 | 0 1062.46/1062.89 c 1062s | 25 | 6097034 | 5992798 | 360 40010 | 1 | 0 1064.46/1064.90 c 1064s | 25 | 6108557 | 6004098 | 360 40069 | 1 | 0 1066.55/1066.91 c 1066s | 25 | 6120403 | 6015598 | 360 40130 | 1 | 0 1068.55/1068.92 c 1068s | 25 | 6131871 | 6026698 | 360 40188 | 1 | 0 1070.55/1070.93 c 1070s | 25 | 6143344 | 6037898 | 360 40247 | 1 | 0 1072.55/1072.94 c 1072s | 25 | 6154595 | 6048898 | 360 40305 | 1 | 0 1074.55/1074.95 c 1074s | 25 | 6166116 | 6060198 | 360 40365 | 1 | 0 1076.55/1076.95 c 1076s | 25 | 6177620 | 6071398 | 360 40424 | 1 | 0 1078.55/1078.96 c 1078s | 25 | 6189357 | 6082798 | 360 40484 | 1 | 0 1080.55/1080.97 c 1080s | 25 | 6200849 | 6093998 | 360 40543 | 1 | 0 1082.55/1082.98 c 1082s | 25 | 6212517 | 6105398 | 360 40604 | 1 | 0 1084.55/1084.99 c 1084s | 25 | 6224411 | 6116998 | 360 40666 | 1 | 0 1086.55/1087.00 c 1086s | 25 | 6236534 | 6128798 | 360 40729 | 1 | 0 1088.64/1089.00 c 1088s | 25 | 6248297 | 6140298 | 360 40791 | 1 | 0 1090.64/1091.01 c 1090s | 25 | 6259211 | 6150998 | 360 40847 | 1 | 0 1092.64/1093.01 c 1092s | 25 | 6270255 | 6161698 | 360 40903 | 1 | 0 1094.64/1095.02 c 1095s | 25 | 6281474 | 6172598 | 360 40960 | 1 | 0 1096.64/1097.03 c 1097s | 25 | 6292716 | 6183598 | 360 41018 | 1 | 0 1098.64/1099.05 c 1099s | 25 | 6303913 | 6194498 | 360 41075 | 1 | 0 1100.63/1101.07 c 1101s | 25 | 6315521 | 6205798 | 360 41135 | 1 | 0 1102.63/1103.08 c 1103s | 25 | 6326673 | 6216698 | 360 41192 | 1 | 0 1104.64/1105.09 c 1105s | 25 | 6338166 | 6227898 | 360 41251 | 1 | 0 1106.74/1107.10 c 1107s | 25 | 6349934 | 6239498 | 360 41313 | 1 | 0 1108.74/1109.10 c 1109s | 25 | 6361192 | 6250398 | 360 41370 | 1 | 0 1110.75/1111.11 c 1111s | 25 | 6372823 | 6261598 | 360 41429 | 1 | 0 1112.74/1113.12 c 1113s | 25 | 6384401 | 6272798 | 360 41489 | 1 | 0 1114.74/1115.12 c 1115s | 25 | 6395555 | 6283698 | 360 41546 | 1 | 0 1116.74/1117.12 c 1117s | 25 | 6407075 | 6294998 | 360 41606 | 1 | 0 1118.74/1119.12 c 1119s | 25 | 6418174 | 6305798 | 360 41662 | 1 | 0 1120.74/1121.13 c 1121s | 25 | 6429078 | 6316498 | 360 41719 | 1 | 0 1122.73/1123.13 c 1123s | 25 | 6440566 | 6327598 | 360 41778 | 1 | 0 1124.73/1125.13 c 1125s | 25 | 6451711 | 6338398 | 360 41835 | 1 | 0 1126.73/1127.14 c 1127s | 25 | 6462989 | 6349298 | 360 41892 | 1 | 0 1128.72/1129.15 c 1129s | 25 | 6474348 | 6360298 | 360 41950 | 1 | 0 1130.72/1131.15 c 1131s | 25 | 6486207 | 6371798 | 360 42011 | 1 | 0 1132.73/1133.16 c 1133s | 25 | 6497793 | 6382998 | 360 42071 | 1 | 0 1134.72/1135.18 c 1135s | 25 | 6509555 | 6394298 | 360 42130 | 1 | 0 1136.72/1137.19 c 1137s | 25 | 6521324 | 6405698 | 360 42191 | 1 | 0 1138.82/1139.20 c 1139s | 25 | 6533172 | 6417198 | 360 42252 | 1 | 0 1140.82/1141.21 c 1141s | 25 | 6545274 | 6428998 | 360 42315 | 1 | 0 1142.82/1143.21 c 1143s | 25 | 6557457 | 6440698 | 360 42378 | 1 | 0 1144.82/1145.23 c 1145s | 25 | 6568963 | 6451798 | 360 42435 | 1 | 0 1146.82/1147.24 c 1147s | 25 | 6580511 | 6462998 | 360 42494 | 1 | 0 1148.82/1149.24 c 1149s | 25 | 6591536 | 6473598 | 360 42549 | 1 | 0 1150.81/1151.25 c 1151s | 25 | 6602890 | 6484598 | 360 42606 | 1 | 0 1152.81/1153.26 c 1153s | 25 | 6614294 | 6495798 | 360 42665 | 1 | 0 1154.82/1155.28 c 1155s | 25 | 6625445 | 6506598 | 360 42722 | 1 | 0 1156.81/1157.29 c 1157s | 25 | 6636874 | 6517698 | 360 42781 | 1 | 0 1158.91/1159.31 c 1159s | 25 | 6648521 | 6529098 | 360 42840 | 1 | 0 1160.91/1161.32 c 1161s | 25 | 6659949 | 6540098 | 360 42898 | 1 | 0 1162.91/1163.32 c 1163s | 25 | 6671259 | 6551198 | 360 42957 | 1 | 0 1164.91/1165.32 c 1165s | 25 | 6682636 | 6562298 | 360 43016 | 1 | 0 1166.91/1167.33 c 1167s | 25 | 6694194 | 6573598 | 360 43076 | 1 | 0 1168.92/1169.34 c 1169s | 25 | 6706202 | 6585198 | 360 43138 | 1 | 0 1170.92/1171.35 c 1171s | 25 | 6717813 | 6596598 | 360 43199 | 1 | 0 1172.92/1173.37 c 1173s | 25 | 6729484 | 6607998 | 360 43259 | 1 | 0 1174.92/1175.37 c 1175s | 25 | 6741436 | 6619698 | 360 43322 | 1 | 0 1176.92/1177.39 c 1177s | 25 | 6752964 | 6630898 | 360 43381 | 1 | 0 1179.02/1179.41 c 1179s | 25 | 6764961 | 6642598 | 360 43444 | 1 | 0 1181.01/1181.42 c 1181s | 25 | 6777257 | 6654598 | 360 43509 | 1 | 0 1183.01/1183.43 c 1183s | 25 | 6789650 | 6666598 | 360 43574 | 1 | 0 1185.01/1185.44 c 1185s | 25 | 6801322 | 6677998 | 360 43634 | 1 | 0 1187.01/1187.45 c 1187s | 25 | 6812088 | 6688598 | 360 43689 | 1 | 0 1189.01/1189.46 c 1189s | 25 | 6822798 | 6699098 | 360 43744 | 1 | 0 1191.02/1191.48 c 1191s | 25 | 6833545 | 6709698 | 360 43800 | 1 | 0 1193.01/1193.48 c 1193s | 25 | 6844150 | 6720098 | 360 43854 | 1 | 0 1195.11/1195.50 c 1195s | 25 | 6855228 | 6730998 | 360 43911 | 1 | 0 1197.11/1197.52 c 1197s | 25 | 6866629 | 6742098 | 360 43969 | 1 | 0 1199.11/1199.52 c 1199s | 25 | 6878517 | 6753598 | 360 44029 | 1 | 0 1201.11/1201.52 c 1201s | 25 | 6889570 | 6764298 | 360 44085 | 1 | 0 1203.11/1203.53 c 1203s | 25 | 6900496 | 6774998 | 360 44141 | 1 | 0 1205.11/1205.54 c 1205s | 25 | 6911929 | 6786098 | 360 44199 | 1 | 0 1207.11/1207.55 c 1207s | 25 | 6923111 | 6797098 | 360 44257 | 1 | 0 1209.11/1209.56 c 1209s | 25 | 6934557 | 6808298 | 360 44316 | 1 | 0 1211.10/1211.57 c 1211s | 25 | 6945777 | 6819398 | 360 44374 | 1 | 0 1213.11/1213.58 c 1213s | 25 | 6957210 | 6830698 | 360 44435 | 1 | 0 1215.10/1215.59 c 1215s | 25 | 6968525 | 6841798 | 360 44494 | 1 | 0 1217.10/1217.59 c 1217s | 25 | 6979704 | 6852698 | 360 44551 | 1 | 0 1219.20/1219.61 c 1219s | 25 | 6990816 | 6863598 | 360 44609 | 1 | 0 1221.20/1221.62 c 1221s | 25 | 7002185 | 6874798 | 360 44669 | 1 | 0 1223.20/1223.64 c 1223s | 25 | 7013653 | 6886098 | 360 44728 | 1 | 0 1225.21/1225.64 c 1225s | 25 | 7024335 | 6896598 | 360 44783 | 1 | 0 1227.20/1227.65 c 1227s | 25 | 7035228 | 6907298 | 360 44838 | 1 | 0 1229.20/1229.66 c 1229s | 25 | 7046225 | 6918098 | 360 44894 | 1 | 0 1231.20/1231.66 c 1231s | 25 | 7056950 | 6928698 | 360 44950 | 1 | 0 1233.20/1233.67 c 1233s | 25 | 7067621 | 6939198 | 360 45004 | 1 | 0 1235.20/1235.69 c 1235s | 25 | 7078392 | 6949698 | 360 45059 | 1 | 0 1237.31/1237.70 c 1237s | 25 | 7089502 | 6960598 | 360 45116 | 1 | 0 1239.30/1239.71 c 1239s | 25 | 7100002 | 6970998 | 360 45170 | 1 | 0 1241.30/1241.72 c 1241s | 25 | 7110971 | 6981798 | 360 45227 | 1 | 0 1243.30/1243.72 c 1243s | 25 | 7121496 | 6992198 | 360 45282 | 1 | 0 1245.30/1245.73 c 1245s | 25 | 7132784 | 7003298 | 360 45341 | 1 | 0 1247.30/1247.75 c 1247s | 25 | 7143573 | 7013898 | 360 45397 | 1 | 0 1249.30/1249.76 c 1249s | 25 | 7153951 | 7024098 | 360 45450 | 1 | 0 1251.30/1251.77 c 1251s | 25 | 7164504 | 7034498 | 360 45505 | 1 | 0 1253.30/1253.79 c 1253s | 25 | 7175813 | 7045598 | 360 45564 | 1 | 0 1255.30/1255.79 c 1255s | 25 | 7186708 | 7056298 | 360 45620 | 1 | 0 1257.40/1257.80 c 1257s | 25 | 7197932 | 7067298 | 360 45677 | 1 | 0 1259.40/1259.82 c 1259s | 25 | 7209191 | 7078398 | 360 45735 | 1 | 0 1261.41/1261.83 c 1261s | 25 | 7220459 | 7089398 | 360 45794 | 1 | 0 1263.40/1263.84 c 1263s | 25 | 7231388 | 7100098 | 360 45849 | 1 | 0 1265.40/1265.84 c 1265s | 25 | 7242129 | 7110598 | 360 45904 | 1 | 0 1267.40/1267.85 c 1267s | 25 | 7253085 | 7121298 | 360 45960 | 1 | 0 1269.40/1269.86 c 1269s | 25 | 7264331 | 7132298 | 360 46019 | 1 | 0 1271.40/1271.87 c 1271s | 25 | 7275255 | 7142998 | 360 46075 | 1 | 0 1273.40/1273.87 c 1273s | 25 | 7286360 | 7153798 | 360 46133 | 1 | 0 1275.40/1275.88 c 1275s | 25 | 7297337 | 7164598 | 360 46189 | 1 | 0 1277.39/1277.88 c 1277s | 25 | 7308229 | 7175298 | 360 46245 | 1 | 0 1279.39/1279.88 c 1279s | 25 | 7319555 | 7186498 | 360 46304 | 1 | 0 1281.39/1281.89 c 1281s | 25 | 7330675 | 7197398 | 360 46362 | 1 | 0 1283.40/1283.89 c 1283s | 25 | 7341904 | 7208398 | 360 46420 | 1 | 0 1285.49/1285.91 c 1285s | 25 | 7353399 | 7219598 | 360 46479 | 1 | 0 1287.49/1287.91 c 1287s | 25 | 7364344 | 7230398 | 360 46536 | 1 | 0 1289.49/1289.93 c 1289s | 25 | 7375716 | 7241498 | 360 46595 | 1 | 0 1291.49/1291.93 c 1291s | 25 | 7386929 | 7252498 | 360 46653 | 1 | 0 1293.49/1293.93 c 1293s | 25 | 7397930 | 7263298 | 360 46710 | 1 | 0 1295.50/1295.95 c 1295s | 25 | 7409141 | 7274298 | 360 46768 | 1 | 0 1297.49/1297.95 c 1297s | 25 | 7419884 | 7284898 | 360 46825 | 1 | 0 1299.49/1299.96 c 1299s | 25 | 7430646 | 7295498 | 360 46881 | 1 | 0 1301.49/1301.97 c 1301s | 25 | 7441288 | 7305998 | 360 46937 | 1 | 0 1303.49/1303.99 c 1303s | 25 | 7452503 | 7316998 | 360 46996 | 1 | 0 1305.50/1305.99 c 1305s | 25 | 7463614 | 7327898 | 360 47054 | 1 | 0 1307.49/1307.99 c 1307s | 25 | 7474768 | 7338798 | 360 47112 | 1 | 0 1309.49/1309.99 c 1309s | 25 | 7486205 | 7349998 | 360 47172 | 1 | 0 1311.59/1312.00 c 1311s | 25 | 7497532 | 7361098 | 360 47232 | 1 | 0 1313.59/1314.00 c 1313s | 25 | 7508830 | 7372198 | 360 47291 | 1 | 0 1315.59/1316.00 c 1315s | 25 | 7519222 | 7382398 | 360 47344 | 1 | 0 1317.59/1318.01 c 1317s | 25 | 7529893 | 7392798 | 360 47397 | 1 | 0 1319.58/1320.02 c 1320s | 25 | 7540981 | 7403598 | 360 47453 | 1 | 0 1321.59/1322.03 c 1322s | 25 | 7552145 | 7414498 | 360 47510 | 1 | 0 1323.59/1324.05 c 1324s | 25 | 7562966 | 7425098 | 360 47566 | 1 | 0 1325.59/1326.06 c 1326s | 25 | 7574104 | 7435998 | 360 47622 | 1 | 0 1327.59/1328.06 c 1328s | 25 | 7585298 | 7446998 | 360 47680 | 1 | 0 1329.60/1330.07 c 1330s | 25 | 7596817 | 7458298 | 360 47739 | 1 | 0 1331.59/1332.08 c 1332s | 25 | 7607787 | 7468998 | 360 47796 | 1 | 0 1333.59/1334.09 c 1334s | 25 | 7618713 | 7479698 | 360 47851 | 1 | 0 1335.59/1336.09 c 1336s | 25 | 7629390 | 7490098 | 360 47905 | 1 | 0 1337.69/1338.10 c 1338s | 25 | 7640098 | 7500598 | 360 47959 | 1 | 0 1339.69/1340.11 c 1340s | 25 | 7651312 | 7511398 | 360 48016 | 1 | 0 1341.69/1342.12 c 1342s | 25 | 7662344 | 7522198 | 360 48073 | 1 | 0 1343.69/1344.13 c 1344s | 25 | 7673127 | 7532798 | 360 48128 | 1 | 0 1345.69/1346.14 c 1346s | 25 | 7683886 | 7543398 | 397 48183 | 1 | 0 1347.69/1348.15 c 1348s | 25 | 7695111 | 7554498 | 397 48236 | 1 | 0 1349.69/1350.16 c 1350s | 25 | 7706173 | 7565298 | 397 48288 | 1 | 0 1351.69/1352.16 c 1352s | 25 | 7717536 | 7576398 | 397 48341 | 1 | 0 1353.69/1354.16 c 1354s | 25 | 7728757 | 7587298 | 397 48393 | 1 | 0 1355.69/1356.11 c 1356s | 26 | 7739541 | 7597752 | 397 48443 | 1 | 0 1357.69/1358.13 c 1358s | 26 | 7749812 | 7607752 | 397 48490 | 1 | 0 1359.68/1360.13 c 1360s | 26 | 7760042 | 7617752 | 397 48537 | 1 | 0 1361.68/1362.13 c 1362s | 26 | 7770751 | 7628152 | 397 48586 | 1 | 0 1363.69/1364.14 c 1364s | 26 | 7781424 | 7638552 | 397 48636 | 1 | 0 1365.68/1366.16 c 1366s | 26 | 7792074 | 7648952 | 397 48685 | 1 | 0 1367.68/1368.16 c 1368s | 26 | 7802204 | 7658952 | 397 48732 | 1 | 0 1369.68/1370.18 c 1370s | 26 | 7812491 | 7669152 | 397 48781 | 1 | 0 1371.68/1372.19 c 1372s | 26 | 7822882 | 7679352 | 397 48829 | 1 | 0 1373.78/1374.20 c 1374s | 26 | 7833251 | 7689552 | 397 48877 | 1 | 0 1375.79/1376.21 c 1376s | 26 | 7843812 | 7699952 | 397 48926 | 1 | 0 1377.78/1378.23 c 1378s | 26 | 7853977 | 7709952 | 397 48974 | 1 | 0 1379.78/1380.23 c 1380s | 26 | 7864234 | 7720052 | 397 49021 | 1 | 0 1381.78/1382.24 c 1382s | 26 | 7874946 | 7730552 | 397 49071 | 1 | 0 1383.78/1384.25 c 1384s | 26 | 7885971 | 7741352 | 397 49122 | 1 | 0 1385.78/1386.27 c 1386s | 26 | 7896399 | 7751652 | 397 49171 | 1 | 0 1387.78/1388.27 c 1388s | 26 | 7907699 | 7762752 | 397 49224 | 1 | 0 1389.77/1390.28 c 1390s | 26 | 7918664 | 7773552 | 397 49276 | 1 | 0 1391.77/1392.29 c 1392s | 26 | 7929281 | 7784052 | 397 49326 | 1 | 0 1393.87/1394.30 c 1394s | 26 | 7940240 | 7794852 | 397 49378 | 1 | 0 1395.87/1396.32 c 1396s | 26 | 7950633 | 7805052 | 397 49427 | 1 | 0 1397.88/1398.32 c 1398s | 26 | 7961221 | 7815452 | 397 49477 | 1 | 0 1399.87/1400.34 c 1400s | 26 | 7972294 | 7826352 | 397 49530 | 1 | 0 1401.87/1402.34 c 1402s | 26 | 7982963 | 7836852 | 397 49580 | 1 | 0 1403.87/1404.36 c 1404s | 26 | 7993789 | 7847552 | 397 49630 | 1 | 0 1405.87/1406.36 c 1406s | 26 | 8005085 | 7858552 | 397 49683 | 1 | 0 1407.87/1408.37 c 1408s | 26 | 8016342 | 7869452 | 397 49735 | 1 | 0 1409.88/1410.38 c 1410s | 26 | 8027250 | 7880052 | 397 49786 | 1 | 0 1411.87/1412.39 c 1412s | 26 | 8037927 | 7890552 | 397 49836 | 1 | 0 1413.97/1414.40 c 1414s | 26 | 8048830 | 7901252 | 397 49887 | 1 | 0 1415.97/1416.40 c 1416s | 26 | 8059834 | 7912052 | 397 49939 | 1 | 0 1417.98/1418.40 c 1418s | 26 | 8070716 | 7922752 | 397 49990 | 1 | 0 1419.98/1420.42 c 1420s | 26 | 8081266 | 7933152 | 397 50039 | 1 | 0 1421.98/1422.42 c 1422s | 26 | 8091885 | 7943552 | 397 50089 | 1 | 0 1423.98/1424.43 c 1424s | 26 | 8102713 | 7954152 | 397 50139 | 1 | 0 1425.97/1426.43 c 1426s | 26 | 8113065 | 7964352 | 397 50188 | 1 | 0 1427.97/1428.44 c 1428s | 26 | 8123431 | 7974552 | 397 50236 | 1 | 0 1429.97/1430.45 c 1430s | 26 | 8134581 | 7985452 | 397 50289 | 1 | 0 1431.98/1432.47 c 1432s | 26 | 8145534 | 7996152 | 397 50340 | 1 | 0 1433.97/1434.48 c 1434s | 26 | 8156466 | 8006852 | 397 50391 | 1 | 0 1435.97/1436.48 c 1436s | 26 | 8167768 | 8017952 | 397 50445 | 1 | 0 1437.97/1438.49 c 1438s | 26 | 8178108 | 8028152 | 397 50494 | 1 | 0 1440.07/1440.51 c 1440s | 26 | 8189226 | 8039052 | 397 50547 | 1 | 0 1442.07/1442.52 c 1442s | 26 | 8200512 | 8050052 | 397 50600 | 1 | 0 1444.07/1444.53 c 1444s | 26 | 8211387 | 8060752 | 397 50651 | 1 | 0 1446.07/1446.53 c 1446s | 26 | 8222340 | 8071552 | 397 50704 | 1 | 0 1448.07/1448.54 c 1448s | 26 | 8233255 | 8082352 | 397 50756 | 1 | 0 1450.07/1450.56 c 1450s | 26 | 8243999 | 8092852 | 397 50807 | 1 | 0 1452.07/1452.56 c 1452s | 26 | 8254438 | 8103052 | 397 50855 | 1 | 0 1454.07/1454.57 c 1454s | 26 | 8265120 | 8113552 | 397 50905 | 1 | 0 1456.07/1456.59 c 1456s | 26 | 8275629 | 8123852 | 397 50954 | 1 | 0 1458.06/1458.59 c 1458s | 26 | 8286264 | 8134252 | 397 51003 | 1 | 0 1460.16/1460.61 c 1460s | 26 | 8296957 | 8144752 | 397 51054 | 1 | 0 1462.16/1462.62 c 1462s | 26 | 8307741 | 8155352 | 397 51105 | 1 | 0 1464.16/1464.64 c 1464s | 26 | 8319179 | 8166552 | 397 51158 | 1 | 0 1466.16/1466.65 c 1466s | 26 | 8330169 | 8177352 | 397 51211 | 1 | 0 1468.17/1468.66 c 1468s | 26 | 8341086 | 8188052 | 397 51262 | 1 | 0 1470.16/1470.66 c 1470s | 26 | 8352442 | 8199052 | 397 51314 | 1 | 0 1472.17/1472.67 c 1472s | 26 | 8364170 | 8210452 | 397 51369 | 1 | 0 1474.17/1474.69 c 1474s | 26 | 8375545 | 8221552 | 397 51422 | 1 | 0 1476.17/1476.70 c 1476s | 26 | 8386451 | 8232252 | 397 51473 | 1 | 0 1478.27/1478.71 c 1478s | 26 | 8397606 | 8243152 | 397 51526 | 1 | 0 1480.27/1480.71 c 1480s | 26 | 8408660 | 8253952 | 397 51578 | 1 | 0 1482.27/1482.71 c 1482s | 26 | 8419884 | 8264952 | 397 51631 | 1 | 0 1484.27/1484.72 c 1484s | 26 | 8431324 | 8276152 | 397 51686 | 1 | 0 1486.27/1486.72 c 1486s | 26 | 8442752 | 8287352 | 397 51740 | 1 | 0 1488.27/1488.73 c 1488s | 26 | 8453642 | 8298052 | 397 51791 | 1 | 0 1490.27/1490.74 c 1490s | 26 | 8464953 | 8308952 | 397 51844 | 1 | 0 1492.27/1492.75 c 1492s | 26 | 8476594 | 8320352 | 397 51899 | 1 | 0 1494.26/1494.76 c 1494s | 26 | 8487739 | 8331252 | 397 51952 | 1 | 0 1496.26/1496.77 c 1496s | 26 | 8498985 | 8342352 | 397 52005 | 1 | 0 1498.26/1498.78 c 1498s | 26 | 8510205 | 8353352 | 397 52059 | 1 | 0 1500.26/1500.79 c 1500s | 26 | 8521351 | 8364252 | 397 52111 | 1 | 0 1502.27/1502.80 c 1502s | 26 | 8532741 | 8375452 | 397 52166 | 1 | 0 1504.36/1504.81 c 1504s | 26 | 8544254 | 8386752 | 397 52220 | 1 | 0 1506.36/1506.83 c 1506s | 26 | 8555869 | 8398052 | 397 52276 | 1 | 0 1508.36/1508.85 c 1508s | 26 | 8567474 | 8409352 | 397 52331 | 1 | 0 1510.36/1510.86 c 1510s | 26 | 8578070 | 8419752 | 397 52380 | 1 | 0 1512.36/1512.86 c 1512s | 26 | 8588557 | 8430152 | 397 52430 | 1 | 0 1514.36/1514.87 c 1514s | 26 | 8599244 | 8440752 | 397 52480 | 1 | 0 1516.36/1516.88 c 1516s | 26 | 8610019 | 8451452 | 397 52532 | 1 | 0 1518.36/1518.88 c 1518s | 26 | 8620250 | 8461552 | 397 52579 | 1 | 0 1520.36/1520.89 c 1520s | 26 | 8631146 | 8472352 | 397 52630 | 1 | 0 1522.36/1522.89 c 1522s | 26 | 8641735 | 8482852 | 397 52680 | 1 | 0 1524.36/1524.90 c 1524s | 26 | 8651851 | 8492852 | 397 52728 | 1 | 0 1526.46/1526.91 c 1526s | 26 | 8662328 | 8503152 | 397 52777 | 1 | 0 1528.45/1528.93 c 1528s | 26 | 8673111 | 8513752 | 397 52827 | 1 | 0 1530.45/1530.95 c 1530s | 26 | 8684217 | 8524652 | 397 52879 | 1 | 0 1532.45/1532.95 c 1532s | 26 | 8694647 | 8534952 | 397 52928 | 1 | 0 1534.45/1534.96 c 1534s | 26 | 8705140 | 8545252 | 397 52977 | 1 | 0 1536.46/1536.98 c 1536s | 26 | 8715982 | 8555952 | 397 53028 | 1 | 0 1538.45/1538.99 c 1538s | 26 | 8727066 | 8566852 | 397 53080 | 1 | 0 1540.55/1541.00 c 1540s | 26 | 8738214 | 8577852 | 397 53132 | 1 | 0 1542.55/1543.01 c 1542s | 26 | 8749273 | 8588752 | 397 53185 | 1 | 0 1544.55/1545.01 c 1544s | 26 | 8759740 | 8599052 | 397 53235 | 1 | 0 1546.56/1547.03 c 1547s | 26 | 8770364 | 8609552 | 397 53285 | 1 | 0 1548.57/1549.05 c 1549s | 26 | 8780997 | 8620052 | 397 53335 | 1 | 0 1550.56/1551.06 c 1551s | 26 | 8791302 | 8630252 | 397 53384 | 1 | 0 1552.56/1553.07 c 1553s | 26 | 8801218 | 8640052 | 397 53430 | 1 | 0 1554.55/1555.08 c 1555s | 26 | 8811617 | 8650352 | 397 53479 | 1 | 0 1556.65/1557.10 c 1557s | 26 | 8822134 | 8660752 | 397 53529 | 1 | 0 1558.65/1559.10 c 1559s | 26 | 8832522 | 8671052 | 397 53578 | 1 | 0 1560.66/1561.12 c 1561s | 26 | 8843090 | 8681552 | 397 53628 | 1 | 0 1562.65/1563.12 c 1563s | 26 | 8853686 | 8692052 | 397 53678 | 1 | 0 1564.65/1565.13 c 1565s | 26 | 8864497 | 8702752 | 397 53729 | 1 | 0 1566.65/1567.14 c 1567s | 26 | 8875109 | 8713252 | 397 53780 | 1 | 0 1568.65/1569.15 c 1569s | 26 | 8886031 | 8724052 | 397 53831 | 1 | 0 1570.65/1571.15 c 1571s | 26 | 8896658 | 8734552 | 397 53881 | 1 | 0 1572.65/1573.16 c 1573s | 26 | 8907103 | 8744852 | 397 53930 | 1 | 0 1574.65/1575.18 c 1575s | 26 | 8917850 | 8755452 | 397 53980 | 1 | 0 1576.65/1577.19 c 1577s | 26 | 8928658 | 8766052 | 397 54031 | 1 | 0 1578.65/1579.19 c 1579s | 26 | 8939533 | 8776752 | 397 54083 | 1 | 0 1580.75/1581.21 c 1581s | 26 | 8950526 | 8787552 | 397 54135 | 1 | 0 1582.75/1583.22 c 1583s | 26 | 8961821 | 8798652 | 397 54189 | 1 | 0 1584.75/1585.22 c 1585s | 26 | 8972811 | 8809452 | 397 54241 | 1 | 0 1586.74/1587.23 c 1587s | 26 | 8983378 | 8819852 | 397 54291 | 1 | 0 1588.74/1589.23 c 1589s | 26 | 8994166 | 8830452 | 397 54341 | 1 | 0 1590.74/1591.24 c 1591s | 26 | 9004617 | 8840752 | 397 54391 | 1 | 0 1592.74/1593.25 c 1593s | 26 | 9015398 | 8851352 | 397 54442 | 1 | 0 1594.76/1595.25 c 1595s | 26 | 9025957 | 8861752 | 397 54492 | 1 | 0 1596.75/1597.27 c 1597s | 26 | 9036440 | 8872052 | 397 54542 | 1 | 0 1598.75/1599.28 c 1599s | 26 | 9047259 | 8882652 | 397 54592 | 1 | 0 1600.75/1601.29 c 1601s | 26 | 9058181 | 8893352 | 397 54644 | 1 | 0 1602.85/1603.30 c 1603s | 26 | 9068989 | 8903952 | 397 54695 | 1 | 0 1604.85/1605.31 c 1605s | 26 | 9079862 | 8914652 | 397 54746 | 1 | 0 1606.86/1607.32 c 1607s | 26 | 9090786 | 8925352 | 397 54797 | 1 | 0 1608.85/1609.33 c 1609s | 26 | 9101904 | 8936252 | 397 54850 | 1 | 0 1610.85/1611.35 c 1611s | 26 | 9112421 | 8946652 | 397 54900 | 1 | 0 1612.85/1613.36 c 1613s | 26 | 9122870 | 8956952 | 397 54950 | 1 | 0 1614.85/1615.36 c 1615s | 26 | 9133923 | 8967852 | 397 55002 | 1 | 0 1616.85/1617.38 c 1617s | 26 | 9144680 | 8978452 | 397 55054 | 1 | 0 1618.85/1619.38 c 1619s | 26 | 9155309 | 8988952 | 397 55104 | 1 | 0 1620.85/1621.39 c 1621s | 26 | 9165952 | 8999452 | 397 55155 | 1 | 0 1622.95/1623.41 c 1623s | 26 | 9176229 | 9009652 | 397 55204 | 1 | 0 1624.95/1625.42 c 1625s | 26 | 9186717 | 9020052 | 397 55254 | 1 | 0 1626.94/1627.42 c 1627s | 26 | 9197700 | 9030952 | 397 55307 | 1 | 0 1628.94/1629.44 c 1629s | 26 | 9208931 | 9042052 | 397 55360 | 1 | 0 1630.95/1631.45 c 1631s | 26 | 9220399 | 9053352 | 397 55415 | 1 | 0 1632.94/1633.45 c 1633s | 26 | 9231645 | 9064452 | 397 55470 | 1 | 0 1634.94/1635.46 c 1635s | 26 | 9242923 | 9075652 | 397 55524 | 1 | 0 1636.94/1637.47 c 1637s | 26 | 9254338 | 9086952 | 397 55579 | 1 | 0 1638.94/1639.47 c 1639s | 26 | 9265841 | 9098352 | 397 55635 | 1 | 0 1640.95/1641.49 c 1641s | 26 | 9277233 | 9109652 | 397 55690 | 1 | 0 1642.94/1643.49 c 1643s | 26 | 9288731 | 9121052 | 397 55746 | 1 | 0 1645.04/1645.50 c 1645s | 26 | 9300665 | 9132752 | 397 55802 | 1 | 0 1647.04/1647.51 c 1647s | 26 | 9312251 | 9144152 | 397 55855 | 1 | 0 1649.04/1649.52 c 1649s | 26 | 9323769 | 9155552 | 397 55908 | 1 | 0 1651.04/1651.52 c 1651s | 26 | 9335365 | 9166952 | 397 55961 | 1 | 0 1653.05/1653.53 c 1653s | 26 | 9346822 | 9178252 | 397 56014 | 1 | 0 1655.04/1655.53 c 1655s | 26 | 9357810 | 9189052 | 397 56065 | 1 | 0 1657.04/1657.54 c 1657s | 26 | 9369007 | 9200052 | 397 56117 | 1 | 0 1659.04/1659.55 c 1659s | 26 | 9379939 | 9210852 | 397 56168 | 1 | 0 1661.04/1661.55 c 1661s | 26 | 9390857 | 9221652 | 397 56219 | 1 | 0 1663.04/1663.56 c 1663s | 26 | 9401587 | 9232252 | 397 56269 | 1 | 0 1665.04/1665.58 c 1665s | 26 | 9412514 | 9243052 | 397 56320 | 1 | 0 1667.03/1667.59 c 1667s | 26 | 9422916 | 9253352 | 397 56369 | 1 | 0 1669.03/1669.59 c 1669s | 26 | 9433041 | 9263352 | 397 56416 | 1 | 0 1671.13/1671.60 c 1671s | 26 | 9442961 | 9273152 | 397 56463 | 1 | 0 1673.13/1673.60 c 1673s | 26 | 9452945 | 9283052 | 397 56510 | 1 | 0 1675.13/1675.60 c 1675s | 26 | 9463043 | 9293052 | 397 56557 | 1 | 0 1677.14/1677.61 c 1677s | 26 | 9473246 | 9303152 | 397 56605 | 1 | 0 1679.13/1679.62 c 1679s | 26 | 9483643 | 9313452 | 397 56654 | 1 | 0 1681.13/1681.62 c 1681s | 26 | 9493965 | 9323652 | 397 56703 | 1 | 0 1683.13/1683.63 c 1683s | 26 | 9504541 | 9334052 | 397 56753 | 1 | 0 1685.13/1685.64 c 1685s | 26 | 9515211 | 9344552 | 397 56803 | 1 | 0 1687.14/1687.65 c 1687s | 26 | 9526132 | 9355352 | 397 56855 | 1 | 0 1689.13/1689.66 c 1689s | 26 | 9537033 | 9366052 | 397 56907 | 1 | 0 1691.13/1691.66 c 1691s | 26 | 9547875 | 9376752 | 397 56958 | 1 | 0 1693.13/1693.67 c 1693s | 26 | 9559047 | 9387752 | 397 57012 | 1 | 0 1695.13/1695.68 c 1695s | 26 | 9570442 | 9398952 | 397 57064 | 1 | 0 1697.13/1697.69 c 1697s | 26 | 9580872 | 9409252 | 397 57113 | 1 | 0 1699.13/1699.70 c 1699s | 26 | 9590709 | 9418952 | 397 57159 | 1 | 0 1701.23/1701.72 c 1701s | 26 | 9601063 | 9429152 | 397 57207 | 1 | 0 1703.23/1703.74 c 1703s | 26 | 9611313 | 9439252 | 397 57255 | 1 | 0 1705.23/1705.74 c 1705s | 26 | 9621884 | 9449652 | 397 57305 | 1 | 0 1707.23/1707.75 c 1707s | 26 | 9632411 | 9460052 | 397 57355 | 1 | 0 1709.23/1709.75 c 1709s | 26 | 9642762 | 9470252 | 397 57404 | 1 | 0 1711.23/1711.76 c 1711s | 26 | 9653078 | 9480452 | 397 57453 | 1 | 0 1713.23/1713.78 c 1713s | 26 | 9663784 | 9491052 | 397 57504 | 1 | 0 1715.23/1715.79 c 1715s | 26 | 9674575 | 9501652 | 397 57555 | 1 | 0 1717.33/1717.80 c 1717s | 26 | 9685405 | 9512352 | 397 57607 | 1 | 0 1719.32/1719.81 c 1719s | 26 | 9696293 | 9523052 | 397 57659 | 1 | 0 1721.32/1721.82 c 1721s | 26 | 9707461 | 9534052 | 397 57712 | 1 | 0 1723.33/1723.82 c 1723s | 26 | 9717951 | 9544352 | 397 57762 | 1 | 0 1725.32/1725.84 c 1725s | 26 | 9728617 | 9554752 | 397 57812 | 1 | 0 1727.32/1727.84 c 1727s | 26 | 9738955 | 9564952 | 397 57860 | 1 | 0 1729.32/1729.85 c 1729s | 26 | 9749448 | 9575252 | 397 57910 | 1 | 0 1731.32/1731.87 c 1731s | 26 | 9759754 | 9585452 | 397 57959 | 1 | 0 1733.33/1733.88 c 1733s | 26 | 9770100 | 9595652 | 397 58008 | 1 | 0 1735.32/1735.90 c 1735s | 26 | 9781138 | 9606552 | 397 58061 | 1 | 0 1737.42/1737.92 c 1737s | 26 | 9791377 | 9616652 | 397 58109 | 1 | 0 1739.42/1739.92 c 1739s | 26 | 9801329 | 9626452 | 397 58155 | 1 | 0 1741.42/1741.92 c 1741s | 26 | 9811322 | 9636352 | 397 58202 | 1 | 0 1743.42/1743.94 c 1743s | 26 | 9821329 | 9646252 | 397 58249 | 1 | 0 1745.43/1745.95 c 1745s | 26 | 9831654 | 9656452 | 397 58298 | 1 | 0 1747.42/1747.95 c 1747s | 26 | 9842068 | 9666752 | 397 58348 | 1 | 0 1749.42/1749.96 c 1749s | 26 | 9852245 | 9676852 | 397 58396 | 1 | 0 1751.42/1751.97 c 1751s | 26 | 9862842 | 9687352 | 397 58446 | 1 | 0 1753.42/1753.99 c 1753s | 26 | 9873312 | 9697652 | 397 58495 | 1 | 0 1755.52/1756.00 c 1755s | 26 | 9883844 | 9708052 | 397 58545 | 1 | 0 1757.52/1758.01 c 1757s | 26 | 9894347 | 9718452 | 397 58595 | 1 | 0 1759.52/1760.02 c 1760s | 26 | 9904880 | 9728852 | 397 58645 | 1 | 0 1761.52/1762.03 c 1762s | 26 | 9915938 | 9739752 | 397 58697 | 1 | 0 1763.53/1764.05 c 1764s | 26 | 9926541 | 9750252 | 397 58748 | 1 | 0 1765.52/1766.06 c 1766s | 26 | 9937463 | 9761052 | 397 58800 | 1 | 0 1767.52/1768.08 c 1768s | 26 | 9948392 | 9771852 | 397 58852 | 1 | 0 1769.53/1770.09 c 1770s | 26 | 9959610 | 9782852 | 397 58904 | 1 | 0 1771.62/1772.11 c 1772s | 26 | 9970983 | 9794052 | 397 58958 | 1 | 0 1773.62/1774.12 c 1774s | 26 | 9981702 | 9804652 | 397 59009 | 1 | 0 1775.62/1776.14 c 1776s | 26 | 9992469 | 9815352 | 397 59060 | 1 | 0 1777.62/1778.15 c 1778s | 26 | 10003274 | 9826052 | 397 59112 | 1 | 0 1779.62/1780.16 c 1780s | 26 | 10013914 | 9836552 | 397 59163 | 1 | 0 1781.62/1782.17 c 1782s | 26 | 10024775 | 9847252 | 397 59214 | 1 | 0 1783.62/1784.18 c 1784s | 26 | 10035466 | 9857852 | 397 59266 | 1 | 0 1785.62/1786.19 c 1786s | 26 | 10045949 | 9868252 | 397 59316 | 1 | 0 1787.72/1788.20 c 1788s | 26 | 10057076 | 9879252 | 397 59370 | 1 | 0 1789.72/1790.22 c 1790s | 26 | 10067899 | 9889852 | 397 59422 | 1 | 0 1791.71/1792.23 c 1792s | 26 | 10078607 | 9900352 | 397 59472 | 1 | 0 1793.72/1794.25 c 1794s | 26 | 10089566 | 9911152 | 397 59524 | 1 | 0 1795.71/1796.26 c 1796s | 26 | 10100611 | 9921952 | 397 59577 | 1 | 0 1797.71/1798.26 c 1798s | 26 | 10111552 | 9932752 | 397 59629 | 1 | 0 1799.71/1800.27 c 1800s | 26 | 10123154 | 9944152 | 397 59685 | 1 | 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-4105625-1466253911/watcher-4105625-1466253911 -o /tmp/evaluation-result-4105625-1466253911/solver-4105625-1466253911 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105625-1466253911.opb pid=5774 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.14 2.15 2.13 3/179 5777 /proc/meminfo: memFree=30177596/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=709052 CPUtime=0 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 2640 0 0 0 0 0 0 0 20 0 4 0 27441279 726069248 2491 33554432000 4194304 16246674 140735588834176 140735588833600 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 177775 2502 441 2943 0 174669 0 [pid=5777/tid=5778] ppid=5774 vsize=753084 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 771158016 2665 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=757180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 775352320 2682 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=761276 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27441280 779546624 2698 33554432000 4194304 16246674 140735588834176 140239696809136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100168 s] /proc/loadavg: 2.14 2.15 2.13 3/179 5777 /proc/meminfo: memFree=30177596/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 19724 0 0 0 7 2 0 0 20 0 4 0 27441279 1247350784 19562 33554432000 4194304 16246674 140735588834176 140735588833600 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 304529 19568 751 2943 0 301423 0 [pid=5777/tid=5778] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 19573 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 19577 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 19581 33554432000 4194304 16246674 140735588834176 140239696809136 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.200516 s] /proc/loadavg: 2.14 2.15 2.13 3/179 5777 /proc/meminfo: memFree=30177596/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 35949 0 0 0 15 4 0 0 20 0 4 0 27441279 1247350784 35788 33554432000 4194304 16246674 140735588834176 140735588833600 6021055 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 304529 35795 752 2943 0 301423 0 [pid=5777/tid=5778] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 35802 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 35808 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 35815 33554432000 4194304 16246674 140735588834176 140239696809136 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.300489 s] /proc/loadavg: 2.14 2.15 2.13 3/179 5777 /proc/meminfo: memFree=30177596/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 52197 0 0 0 23 6 0 0 20 0 4 0 27441279 1247350784 52035 33554432000 4194304 16246674 140735588834176 140735588833600 6021174 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 304529 52042 752 2943 0 301423 0 [pid=5777/tid=5778] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 52050 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 52054 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 52059 33554432000 4194304 16246674 140735588834176 140239696809136 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.700395 s] /proc/loadavg: 2.14 2.15 2.13 3/179 5777 /proc/meminfo: memFree=30177596/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 118259 0 0 0 54 15 0 0 20 0 4 0 27441279 1247350784 118097 33554432000 4194304 16246674 140735588834176 140735588833600 6021055 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 304529 118106 752 2943 0 301423 0 [pid=5777/tid=5778] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 118109 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 118117 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 118126 33554432000 4194304 16246674 140735588834176 140239696809136 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.50037 s] /proc/loadavg: 2.14 2.15 2.13 3/183 5781 /proc/meminfo: memFree=29365736/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 245566 0 0 0 117 32 0 0 20 0 4 0 27441279 1247350784 245381 33554432000 4194304 16246674 140735588834176 140735588833488 6012220 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 304529 245381 822 2943 0 301423 0 [pid=5777/tid=5778] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 245381 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 245381 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1247350784 245381 33554432000 4194304 16246674 140735588834176 140239696809136 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.10041 s] /proc/loadavg: 2.13 2.14 2.13 3/183 5781 /proc/meminfo: memFree=29196476/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 267360 0 0 0 275 34 0 0 20 0 4 0 27441279 1337528320 267175 33554432000 4194304 16246674 140735588834176 140735588816064 13943608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326545 267175 822 2943 0 323439 0 [pid=5777/tid=5778] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267175 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267175 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267175 33554432000 4194304 16246674 140735588834176 140239696809136 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.13 2.14 2.13 3/183 5781 /proc/meminfo: memFree=29109072/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 267442 0 0 0 595 34 0 0 20 0 4 0 27441279 1337528320 267257 33554432000 4194304 16246674 140735588834176 140735588817176 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326545 267257 822 2943 0 323439 0 [pid=5777/tid=5778] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267257 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267257 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267257 33554432000 4194304 16246674 140735588834176 140239696809136 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.18 2.16 2.13 3/183 5781 /proc/meminfo: memFree=29108640/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1306180 CPUtime=12.68 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 267464 0 0 0 1234 34 0 0 20 0 4 0 27441279 1337528320 267279 33554432000 4194304 16246674 140735588834176 140735588816064 5600723 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326545 267279 822 2943 0 323439 0 [pid=5777/tid=5778] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267279 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267279 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267279 33554432000 4194304 16246674 140735588834176 140239696809136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1306180 [startup+25.5074 s] /proc/loadavg: 2.22 2.17 2.14 3/183 5781 /proc/meminfo: memFree=29108920/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1306180 CPUtime=25.49 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 267524 0 0 0 2515 34 0 0 20 0 4 0 27441279 1337528320 267339 33554432000 4194304 16246674 140735588834176 140735588816064 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326545 267339 823 2943 0 323439 0 [pid=5777/tid=5778] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267339 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267339 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267339 33554432000 4194304 16246674 140735588834176 140239696809136 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.1004 s] /proc/loadavg: 2.15 2.15 2.13 3/183 5781 /proc/meminfo: memFree=29108800/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 267527 0 0 0 5073 35 0 0 20 0 4 0 27441279 1337528320 267342 33554432000 4194304 16246674 140735588834176 140735588816064 5827958 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326545 267342 826 2943 0 323439 0 [pid=5777/tid=5778] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267342 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267342 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267342 33554432000 4194304 16246674 140735588834176 140239696809136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.3 s] /proc/loadavg: 2.23 2.17 2.14 3/183 5782 /proc/meminfo: memFree=29108552/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1306180 CPUtime=102.28 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 267527 0 0 0 10192 36 0 0 20 0 4 0 27441279 1337528320 267342 33554432000 4194304 16246674 140735588834176 140735588816064 13195020 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326545 267342 826 2943 0 323439 0 [pid=5777/tid=5778] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267342 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267342 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1337528320 267342 33554432000 4194304 16246674 140735588834176 140239696809136 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/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239696809136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1307204 [startup+1302.3 s] /proc/loadavg: 2.06 2.08 2.08 3/183 6126 /proc/meminfo: memFree=15805924/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1307204 CPUtime=1301.89 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 267999 0 0 0 130136 53 0 0 20 0 4 0 27441279 1338576896 267741 33554432000 4194304 16246674 140735588834176 140735588816064 5824416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326801 267741 828 2943 0 323695 0 [pid=5777/tid=5778] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239696809136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1307204 [startup+1362.3 s] /proc/loadavg: 2.02 2.06 2.08 3/183 6127 /proc/meminfo: memFree=15806072/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1307204 CPUtime=1361.88 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 267999 0 0 0 136134 54 0 0 20 0 4 0 27441279 1338576896 267741 33554432000 4194304 16246674 140735588834176 140735588817176 5827682 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326801 267741 828 2943 0 323695 0 [pid=5777/tid=5778] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239696809136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1307204 [startup+1422.3 s] /proc/loadavg: 2.00 2.05 2.07 3/183 6176 /proc/meminfo: memFree=23838288/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1307204 CPUtime=1421.88 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 267999 0 0 0 142133 55 0 0 20 0 4 0 27441279 1338576896 267741 33554432000 4194304 16246674 140735588834176 140735588817176 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326801 267741 828 2943 0 323695 0 [pid=5777/tid=5778] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239696809136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1307204 [startup+1482.3 s] /proc/loadavg: 2.11 2.07 2.08 3/183 6178 /proc/meminfo: memFree=16867096/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1307204 CPUtime=1481.87 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 267999 0 0 0 148131 56 0 0 20 0 4 0 27441279 1338576896 267741 33554432000 4194304 16246674 140735588834176 140735588817176 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326801 267741 828 2943 0 323695 0 [pid=5777/tid=5778] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239696809136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1307204 [startup+1542.3 s] /proc/loadavg: 1.96 2.04 2.07 3/184 6231 /proc/meminfo: memFree=28834304/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1307204 CPUtime=1541.86 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 267999 0 0 0 154130 56 0 0 20 0 4 0 27441279 1338576896 267741 33554432000 4194304 16246674 140735588834176 140735588816064 5514728 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326801 267741 828 2943 0 323695 0 [pid=5777/tid=5778] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267741 33554432000 4194304 16246674 140735588834176 140239696809136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1307204 [startup+1602.3 s] /proc/loadavg: 2.06 2.04 2.07 3/182 6232 /proc/meminfo: memFree=21653216/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1307204 CPUtime=1601.85 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 268081 0 0 0 160127 58 0 0 20 0 4 0 27441279 1338576896 267823 33554432000 4194304 16246674 140735588834176 140735588817176 5546219 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326801 267823 828 2943 0 323695 0 [pid=5777/tid=5778] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239696809136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1307204 [startup+1662.31 s] /proc/loadavg: 2.09 2.05 2.07 3/183 6234 /proc/meminfo: memFree=16999716/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1307204 CPUtime=1661.84 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 268081 0 0 0 166126 58 0 0 20 0 4 0 27441279 1338576896 267823 33554432000 4194304 16246674 140735588834176 140735588816064 6845797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326801 267823 828 2943 0 323695 0 [pid=5777/tid=5778] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239696809136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1307204 [startup+1722.3 s] /proc/loadavg: 2.03 2.04 2.06 3/183 6283 /proc/meminfo: memFree=26610484/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1307204 CPUtime=1721.82 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 268081 0 0 0 172124 58 0 0 20 0 4 0 27441279 1338576896 267823 33554432000 4194304 16246674 140735588834176 140735588817176 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326801 267823 828 2943 0 323695 0 [pid=5777/tid=5778] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239696809136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1307204 [startup+1782.3 s] /proc/loadavg: 2.09 2.04 2.06 3/183 6285 /proc/meminfo: memFree=17781284/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1307204 CPUtime=1781.82 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 268081 0 0 0 178123 59 0 0 20 0 4 0 27441279 1338576896 267823 33554432000 4194304 16246674 140735588834176 140735588817176 5710312 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326801 267823 828 2943 0 323695 0 [pid=5777/tid=5778] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239696809136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1307204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.06 2.04 2.06 3/183 6285 /proc/meminfo: memFree=14665048/32872528 swapFree=526336/559040 [pid=5777] ppid=5774 vsize=1307204 CPUtime=1800.02 cores=1,3,5,7 /proc/5777/stat : 5777 (toysat) R 5774 5777 28898 0 -1 4202496 268081 0 0 0 179942 60 0 0 20 0 4 0 27441279 1338576896 267823 33554432000 4194304 16246674 140735588834176 140735588816064 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5777/statm: 326801 267823 828 2943 0 323695 0 [pid=5777/tid=5778] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5778/stat : 5778 (toysat) S 5774 5777 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239717772528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5777/tid=5779] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5779/stat : 5779 (toysat) S 5774 5777 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239707282672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5777/tid=5780] ppid=5774 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5777/task/5780/stat : 5780 (toysat) S 5774 5777 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27441280 1338576896 267823 33554432000 4194304 16246674 140735588834176 140239696809136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 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 5777 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.51 CPU time (s): 1800.03 CPU user time (s): 1799.43 CPU system time (s): 0.600908 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 1307204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.600908 maximum resident set size= 1071292 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268081 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= 345 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.42533 second user time and 7.09992 second system time The end
Begin job on node106 at 2016-06-18 14:45:12 IDJOB=4105625 IDBENCH=2930 IDSOLVER=2542 FILE ID=node106/4105625-1466253911 RUNJOBID= node106-1466241787-28915 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105625-1466253911/watcher-4105625-1466253911 -o /tmp/evaluation-result-4105625-1466253911/solver-4105625-1466253911 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105625-1466253911.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c7543821508efc06c2ce41424051ab2c RANDOM SEED=599572095 node106.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.073 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.14 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.073 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.073 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.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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.38 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.073 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: 30178628 kB Buffers: 99340 kB Cached: 213440 kB SwapCached: 1868 kB Active: 1169048 kB Inactive: 220656 kB Active(anon): 1076140 kB Inactive(anon): 3048 kB Active(file): 92908 kB Inactive(file): 217608 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16312 kB Writeback: 0 kB AnonPages: 1635172 kB Mapped: 10400 kB Shmem: 0 kB Slab: 612228 kB SReclaimable: 55944 kB SUnreclaim: 556284 kB KernelStack: 1472 kB PageTables: 7324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1777120 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1101824 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= 71668 MiB End job on node106 at 2016-06-18 15:15:12