| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_1.opb |
| MD5SUM | 487945ea0e229650aa78cf341d4ff673 |
| 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 | 61 |
| Total number of constraints | 15 |
| 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 | 14 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 59 |
| 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 | 1488 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4465 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T22:18:32+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-4079737-1465244312.opb"] 0.00/0.01 c use --random-gen="50060325 1451921334 2782691523 4217278604 3540138529 3157387094 1866150532 1768968135 4226983415 3439925964 1774071347 385242819 4274633794 2335837782 2385377517 2166290908 3985789154 4216852300 1092164731 1323810361 2889516660 642923621 307727304 1447715152 1667541601 3727773477 819575757 3765654876 592475865 3091042570 1538684935 3511086557 720439445 2784397915 972612233 2581753920 4143374710 1633807899 4089621861 3811749102 2236498693 3726491845 2108997739 1516630214 1695318557 3228954637 2608551006 3457604909 329682105 2703594497 2165448425 3913292308 3789953545 2625658313 1611100567 1083539381 2150063864 2673712584 553570089 3086390730 734256471 2500421903 946786764 391075780 1942537099 832202290 2517340384 588094595 335203394 1845554951 130312630 2846559519 1429610580 1713942612 2812984051 2800354793 3519342289 1616867333 681771066 1194679386 3441332637 4006107 3546025472 1030339000 3685023630 549492867 3299180655 4053704804 378680868 3307134261 3708879242 1262493966 2687330475 1132496823 798308603 3534007633 3370036612 4012923632 1379204975 3617915793 2027930201 334509511 3354703624 2516676920 2070951915 16731946 3417496085 1764440331 3133277408 1416730577 2102202501 3143934273 858402818 440311103 3068685981 3156436066 2832496488 1410530028 2829195193 432184942 1624748472 676662499 3691436126 182895821 2407673832 4264890525 2187681876 2258453560 2428457386 2463450336 1210259345 3734609099 1633767253 375122737 2825675093 3402530282 700129587 1785071548 830287969 1707617454 2976770291 284235567 3138744607 3153964323 2666427259 2281658939 1041133728 2412323314 2784269279 2073448173 1710682943 1579803453 2846332597 1920186339 1640373636 1630628465 1519838199 2445567337 99550791 1727132786 1427108708 2044316880 3146438262 3878214705 405126754 3783922165 1297523426 439090088 3596308590 4087846193 2781966085 1398686846 1827356566 1307023476 1215685539 485310082 3838689755 3292578312 720663833 2285067618 1008378606 211713154 638679131 2031040733 2617319282 3952978010 520620893 543289020 426703496 827633114 1767843666 3886449711 1401391674 511539429 1952671071 1777400109 2013680958 2724144415 3038151335 2707208519 1348292887 2316433986 161438400 2750212642 2058804786 1141909997 2807809847 3806847866 1521323079 367591292 2873969581 2497497967 3605376926 2904218887 185510713 181165620 1060530143 4157755801 394499754 3096452039 777903104 2197818405 2682991890 63916808 346112942 2738588901 1858304037 2520979542 375114963 3687605625 2335028779 983121281 2756817200 28242228 814689179 2494773006 4186219434 3082498205 274013592 1748282324 2618837027 2685710212 2233154655 14243433 3876721596 2332219510 2923248090 2305785562 1557603062 764578772 3009832014 2568570794 4191017760 3033431936 3690209553 1889726589 255 362436" option to reproduce the execution 0.00/0.01 c #vars 61 0.00/0.01 c #constraints 15 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 | 25 0 | 1 | 0 0.00/0.04 c 0.0s | 1 | 127 | 100 | 25 2 | 1 | 0 0.00/0.07 c 0.1s | 2 | 307 | 250 | 28 7 | 1 | 0 0.09/0.13 c 0.1s | 3 | 571 | 475 | 31 14 | 1 | 0 0.18/0.20 c 0.2s | 4 | 938 | 813 | 35 24 | 1 | 0 0.28/0.32 c 0.3s | 5 | 1494 | 1320 | 39 38 | 1 | 0 0.38/0.49 c 0.5s | 6 | 2300 | 2081 | 48 59 | 1 | 0 0.69/0.75 c 0.7s | 7 | 3492 | 3223 | 53 87 | 1 | 0 1.09/1.13 c 1.1s | 8 | 5254 | 4936 | 59 129 | 1 | 0 1.59/1.62 c 1.6s | 9 | 7922 | 7506 | 65 186 | 1 | 0 2.09/2.16 c 2.1s | 10 | 11913 | 11361 | 72 267 | 1 | 0 2.89/2.99 c 3.0s | 11 | 17866 | 17144 | 80 382 | 1 | 0 4.09/4.17 c 4.2s | 12 | 26813 | 25819 | 88 542 | 1 | 0 5.89/5.96 c 5.9s | 13 | 40192 | 38832 | 97 767 | 1 | 0 7.89/7.96 c 7.9s | 13 | 55053 | 53332 | 97 1001 | 1 | 0 8.59/8.62 c 8.6s | 14 | 60197 | 58352 | 107 1086 | 1 | 0 10.58/10.62 c 10.6s | 14 | 75978 | 73652 | 107 1318 | 1 | 0 12.38/12.46 c 12.4s | 15 | 90248 | 87632 | 118 1527 | 1 | 0 14.39/14.47 c 14.5s | 15 | 105885 | 102832 | 118 1740 | 1 | 0 16.38/16.48 c 16.5s | 15 | 122046 | 118632 | 118 1964 | 1 | 0 17.98/18.06 c 18.0s | 16 | 135271 | 131552 | 130 2151 | 1 | 0 19.98/20.07 c 20.1s | 16 | 151347 | 147252 | 130 2353 | 1 | 0 21.99/22.07 c 22.1s | 16 | 167863 | 163252 | 130 2564 | 1 | 0 23.98/24.08 c 24.1s | 16 | 184182 | 179252 | 130 2778 | 1 | 0 25.98/26.08 c 26.1s | 16 | 200258 | 195152 | 130 2990 | 1 | 0 26.28/26.36 c 26.3s | 17 | 202558 | 197432 | 143 3018 | 1 | 0 28.28/28.37 c 28.4s | 17 | 218369 | 212932 | 143 3202 | 1 | 0 30.28/30.38 c 30.4s | 17 | 234047 | 228332 | 143 3390 | 1 | 0 32.28/32.39 c 32.4s | 17 | 249863 | 243832 | 143 3582 | 1 | 0 34.28/34.39 c 34.4s | 17 | 266559 | 260132 | 143 3786 | 1 | 0 36.29/36.40 c 36.4s | 17 | 283108 | 276332 | 143 3983 | 1 | 0 38.39/38.40 c 38.4s | 17 | 298935 | 291832 | 143 4172 | 1 | 0 38.99/39.00 c 39.0s | 18 | 303398 | 296252 | 158 4223 | 1 | 0 40.99/41.00 c 41.0s | 18 | 319801 | 312152 | 158 4398 | 1 | 0 42.99/43.01 c 43.0s | 18 | 336212 | 328152 | 158 4580 | 1 | 0 44.99/45.01 c 45.0s | 18 | 352075 | 343552 | 158 4754 | 1 | 0 46.99/47.02 c 47.0s | 18 | 367195 | 358452 | 158 4921 | 1 | 0 48.99/49.02 c 49.0s | 18 | 382952 | 373852 | 158 5097 | 1 | 0 50.99/51.03 c 51.0s | 18 | 398781 | 389252 | 158 5270 | 1 | 0 52.98/53.04 c 53.0s | 18 | 415128 | 405152 | 158 5448 | 1 | 0 54.99/55.04 c 55.0s | 18 | 432203 | 421752 | 158 5633 | 1 | 0 56.98/57.05 c 57.0s | 18 | 449099 | 438252 | 158 5819 | 1 | 0 57.78/57.80 c 57.8s | 19 | 455483 | 444482 | 174 5886 | 1 | 0 59.78/59.81 c 59.8s | 19 | 471142 | 459782 | 174 6042 | 1 | 0 61.78/61.81 c 61.8s | 19 | 487317 | 475682 | 174 6209 | 1 | 0 63.79/63.82 c 63.8s | 19 | 503033 | 491082 | 174 6370 | 1 | 0 65.78/65.83 c 65.8s | 19 | 519432 | 507182 | 174 6536 | 1 | 0 67.78/67.83 c 67.8s | 19 | 535327 | 522882 | 174 6701 | 1 | 0 69.78/69.83 c 69.8s | 19 | 550855 | 538182 | 174 6858 | 1 | 0 71.78/71.84 c 71.8s | 19 | 566241 | 553382 | 174 7014 | 1 | 0 73.79/73.84 c 73.8s | 19 | 581246 | 568182 | 174 7165 | 1 | 0 75.78/75.84 c 75.8s | 19 | 596372 | 583082 | 174 7318 | 1 | 0 77.78/77.85 c 77.8s | 19 | 611715 | 598182 | 174 7475 | 1 | 0 79.78/79.86 c 79.8s | 19 | 626519 | 612782 | 174 7627 | 1 | 0 81.78/81.87 c 81.9s | 19 | 641465 | 627482 | 174 7777 | 1 | 0 83.78/83.87 c 83.9s | 19 | 656997 | 642682 | 174 7934 | 1 | 0 85.78/85.88 c 85.9s | 19 | 672841 | 658182 | 174 8096 | 1 | 0 86.98/87.04 c 87.0s | 20 | 681624 | 666827 | 192 8182 | 1 | 0 88.97/89.05 c 89.0s | 20 | 697320 | 682227 | 192 8328 | 1 | 0 90.97/91.05 c 91.0s | 20 | 713758 | 698327 | 192 8478 | 1 | 0 92.97/93.06 c 93.0s | 20 | 729816 | 713927 | 192 8625 | 1 | 0 94.97/95.07 c 95.1s | 20 | 745682 | 729527 | 192 8772 | 1 | 0 96.97/97.08 c 97.1s | 20 | 761826 | 745427 | 192 8922 | 1 | 0 98.98/99.08 c 99.1s | 20 | 777977 | 761227 | 192 9072 | 1 | 0 100.97/101.08 c 101s | 20 | 793664 | 776527 | 192 9218 | 1 | 0 102.97/103.09 c 103s | 20 | 809220 | 791827 | 192 9367 | 1 | 0 105.07/105.11 c 105s | 20 | 824566 | 806927 | 192 9514 | 1 | 0 107.07/107.12 c 107s | 20 | 840020 | 822127 | 192 9656 | 1 | 0 109.07/109.13 c 109s | 20 | 856125 | 838027 | 192 9806 | 1 | 0 111.07/111.13 c 111s | 20 | 871758 | 853227 | 192 9949 | 1 | 0 113.07/113.14 c 113s | 20 | 887673 | 868727 | 192 10096 | 1 | 0 115.07/115.15 c 115s | 20 | 903797 | 884427 | 192 10247 | 1 | 0 117.07/117.16 c 117s | 20 | 918953 | 899227 | 192 10388 | 1 | 0 119.07/119.16 c 119s | 20 | 933996 | 914027 | 192 10528 | 1 | 0 121.08/121.18 c 121s | 20 | 950011 | 929527 | 192 10678 | 1 | 0 123.07/123.19 c 123s | 20 | 965061 | 944327 | 192 10820 | 1 | 0 125.07/125.19 c 125s | 20 | 980630 | 959627 | 192 10963 | 1 | 0 127.17/127.21 c 127s | 20 | 996810 | 975527 | 192 11115 | 1 | 0 129.17/129.21 c 129s | 20 | 1013078 | 991427 | 192 11269 | 1 | 0 130.27/130.36 c 130s | 21 | 1022159 | 1000345 | 212 11349 | 1 | 0 132.27/132.36 c 132s | 21 | 1037941 | 1015745 | 212 11481 | 1 | 0 134.27/134.36 c 134s | 21 | 1053654 | 1031145 | 212 11614 | 1 | 0 136.27/136.38 c 136s | 21 | 1069489 | 1046645 | 212 11749 | 1 | 0 138.27/138.38 c 138s | 21 | 1086161 | 1062945 | 212 11891 | 1 | 0 140.27/140.38 c 140s | 21 | 1103323 | 1079545 | 212 12032 | 1 | 0 142.37/142.40 c 142s | 21 | 1120124 | 1095945 | 212 12174 | 1 | 0 144.37/144.41 c 144s | 21 | 1136151 | 1111545 | 212 12307 | 1 | 0 146.37/146.42 c 146s | 21 | 1151335 | 1126445 | 212 12436 | 1 | 0 148.36/148.42 c 148s | 21 | 1166783 | 1141445 | 212 12566 | 1 | 0 150.36/150.43 c 150s | 21 | 1182350 | 1156645 | 212 12699 | 1 | 0 152.36/152.45 c 152s | 21 | 1198644 | 1172545 | 212 12841 | 1 | 0 154.36/154.45 c 154s | 21 | 1213548 | 1187045 | 212 12966 | 1 | 0 156.36/156.45 c 156s | 21 | 1229097 | 1202245 | 212 13098 | 1 | 0 158.37/158.46 c 158s | 21 | 1244969 | 1217845 | 212 13235 | 1 | 0 160.36/160.46 c 160s | 21 | 1260669 | 1233245 | 212 13370 | 1 | 0 162.36/162.47 c 162s | 21 | 1275931 | 1248145 | 212 13498 | 1 | 0 164.36/164.48 c 164s | 21 | 1291136 | 1263045 | 212 13626 | 1 | 0 166.36/166.49 c 166s | 21 | 1306140 | 1277745 | 212 13754 | 1 | 0 168.37/168.49 c 168s | 21 | 1321200 | 1292545 | 212 13884 | 1 | 0 170.36/170.49 c 170s | 21 | 1336853 | 1307945 | 212 14019 | 1 | 0 172.46/172.50 c 172s | 21 | 1352515 | 1323345 | 212 14153 | 1 | 0 174.46/174.51 c 174s | 21 | 1368405 | 1338945 | 212 14290 | 1 | 0 176.46/176.52 c 176s | 21 | 1384132 | 1354345 | 212 14424 | 1 | 0 178.46/178.52 c 178s | 21 | 1399629 | 1369545 | 212 14557 | 1 | 0 180.46/180.52 c 180s | 21 | 1414876 | 1384445 | 212 14688 | 1 | 0 182.46/182.53 c 182s | 21 | 1429887 | 1399045 | 212 14816 | 1 | 0 184.46/184.54 c 184s | 21 | 1445537 | 1414245 | 212 14951 | 1 | 0 186.46/186.54 c 186s | 21 | 1461368 | 1429645 | 212 15086 | 1 | 0 188.46/188.55 c 188s | 21 | 1477115 | 1445045 | 212 15224 | 1 | 0 190.46/190.56 c 190s | 21 | 1493190 | 1460745 | 212 15365 | 1 | 0 192.46/192.56 c 192s | 21 | 1509379 | 1476645 | 212 15505 | 1 | 0 194.45/194.56 c 194s | 21 | 1525498 | 1492445 | 234 15642 | 1 | 0 195.45/195.57 c 195s | 22 | 1533941 | 1500622 | 234 15708 | 1 | 0 197.45/197.58 c 197s | 22 | 1548827 | 1515122 | 234 15821 | 1 | 0 199.45/199.58 c 199s | 22 | 1563361 | 1529422 | 234 15932 | 1 | 0 201.45/201.59 c 201s | 22 | 1578003 | 1543822 | 234 16047 | 1 | 0 203.46/203.60 c 203s | 22 | 1592935 | 1558422 | 234 16163 | 1 | 0 205.56/205.60 c 205s | 22 | 1608208 | 1573322 | 234 16281 | 1 | 0 207.56/207.61 c 207s | 22 | 1623493 | 1588322 | 234 16401 | 1 | 0 209.56/209.61 c 209s | 22 | 1639139 | 1603622 | 234 16523 | 1 | 0 211.56/211.62 c 211s | 22 | 1654333 | 1618422 | 234 16640 | 1 | 0 213.56/213.62 c 213s | 22 | 1669625 | 1633322 | 234 16757 | 1 | 0 215.56/215.63 c 215s | 22 | 1685300 | 1648622 | 234 16878 | 1 | 0 217.56/217.64 c 217s | 22 | 1701551 | 1664422 | 234 17005 | 1 | 0 219.56/219.64 c 219s | 22 | 1717277 | 1679622 | 234 17125 | 1 | 0 221.56/221.64 c 221s | 22 | 1732529 | 1694522 | 234 17243 | 1 | 0 223.56/223.64 c 223s | 22 | 1748443 | 1710122 | 234 17369 | 1 | 0 225.56/225.65 c 225s | 22 | 1764663 | 1725922 | 234 17496 | 1 | 0 227.55/227.66 c 227s | 22 | 1780285 | 1741222 | 234 17617 | 1 | 0 229.55/229.66 c 229s | 22 | 1796086 | 1756622 | 234 17740 | 1 | 0 231.55/231.67 c 231s | 22 | 1812059 | 1772122 | 234 17865 | 1 | 0 233.55/233.67 c 233s | 22 | 1828087 | 1787722 | 234 17993 | 1 | 0 235.55/235.68 c 235s | 22 | 1844414 | 1803522 | 234 18121 | 1 | 0 237.56/237.69 c 237s | 22 | 1860403 | 1819022 | 234 18248 | 1 | 0 239.55/239.69 c 239s | 22 | 1877083 | 1835222 | 234 18380 | 1 | 0 241.65/241.70 c 241s | 22 | 1892886 | 1850622 | 234 18505 | 1 | 0 243.65/243.71 c 243s | 22 | 1908257 | 1865522 | 234 18620 | 1 | 0 245.65/245.72 c 245s | 22 | 1923891 | 1880622 | 234 18738 | 1 | 0 247.65/247.73 c 247s | 22 | 1939054 | 1895322 | 234 18853 | 1 | 0 249.66/249.74 c 249s | 22 | 1954210 | 1910122 | 234 18969 | 1 | 0 251.65/251.74 c 251s | 22 | 1969412 | 1925022 | 234 19087 | 1 | 0 253.65/253.75 c 253s | 22 | 1985315 | 1940522 | 234 19209 | 1 | 0 255.65/255.76 c 255s | 22 | 2000738 | 1955722 | 234 19328 | 1 | 0 257.65/257.77 c 257s | 22 | 2016146 | 1970722 | 234 19446 | 1 | 0 259.65/259.78 c 259s | 22 | 2031663 | 1985822 | 234 19565 | 1 | 0 261.65/261.78 c 261s | 22 | 2046772 | 2000622 | 234 19681 | 1 | 0 263.65/263.78 c 263s | 22 | 2061167 | 2014822 | 234 19793 | 1 | 0 265.64/265.79 c 265s | 22 | 2075860 | 2029222 | 234 19906 | 1 | 0 267.74/267.80 c 267s | 22 | 2091147 | 2044122 | 234 20024 | 1 | 0 269.74/269.80 c 269s | 22 | 2106463 | 2059122 | 234 20145 | 1 | 0 271.75/271.81 c 271s | 22 | 2122251 | 2074622 | 234 20269 | 1 | 0 273.74/273.81 c 273s | 22 | 2137302 | 2089422 | 234 20387 | 1 | 0 275.75/275.81 c 275s | 22 | 2152558 | 2104422 | 234 20506 | 1 | 0 277.75/277.82 c 277s | 22 | 2168144 | 2119722 | 234 20631 | 1 | 0 279.75/279.83 c 279s | 22 | 2183030 | 2134322 | 234 20748 | 1 | 0 281.75/281.84 c 281s | 22 | 2198288 | 2149222 | 234 20868 | 1 | 0 283.76/283.85 c 283s | 22 | 2212734 | 2163322 | 234 20978 | 1 | 0 285.75/285.86 c 285s | 22 | 2227075 | 2177422 | 234 21090 | 1 | 0 287.75/287.87 c 287s | 22 | 2241298 | 2191322 | 234 21200 | 1 | 0 289.75/289.88 c 289s | 22 | 2255199 | 2204922 | 234 21306 | 1 | 0 291.85/291.90 c 291s | 22 | 2269648 | 2219122 | 234 21420 | 1 | 0 293.85/293.90 c 293s | 22 | 2285009 | 2234122 | 234 21538 | 1 | 0 295.85/295.91 c 295s | 22 | 2299821 | 2248522 | 258 21643 | 1 | 0 296.15/296.27 c 296s | 23 | 2302393 | 2251038 | 258 21661 | 1 | 0 298.15/298.27 c 298s | 23 | 2316333 | 2264638 | 258 21758 | 1 | 0 300.14/300.28 c 300s | 23 | 2330698 | 2278738 | 258 21859 | 1 | 0 302.14/302.29 c 302s | 23 | 2345075 | 2292838 | 258 21961 | 1 | 0 304.24/304.30 c 304s | 23 | 2359708 | 2307138 | 258 22063 | 1 | 0 306.24/306.31 c 306s | 23 | 2374064 | 2321238 | 258 22164 | 1 | 0 308.24/308.31 c 308s | 23 | 2388981 | 2335838 | 258 22270 | 1 | 0 310.25/310.32 c 310s | 23 | 2403662 | 2350138 | 258 22373 | 1 | 0 312.24/312.33 c 312s | 23 | 2418234 | 2364538 | 258 22476 | 1 | 0 314.24/314.34 c 314s | 23 | 2432791 | 2378938 | 258 22581 | 1 | 0 316.24/316.35 c 316s | 23 | 2447937 | 2393838 | 258 22688 | 1 | 0 318.24/318.36 c 318s | 23 | 2462730 | 2408338 | 258 22793 | 1 | 0 320.24/320.36 c 320s | 23 | 2477636 | 2422938 | 258 22899 | 1 | 0 322.24/322.37 c 322s | 23 | 2492951 | 2438038 | 258 23009 | 1 | 0 324.24/324.38 c 324s | 23 | 2507917 | 2452638 | 258 23115 | 1 | 0 326.24/326.38 c 326s | 23 | 2522349 | 2466838 | 258 23219 | 1 | 0 328.24/328.38 c 328s | 23 | 2537008 | 2481238 | 258 23325 | 1 | 0 330.23/330.39 c 330s | 23 | 2551305 | 2495238 | 258 23425 | 1 | 0 332.24/332.40 c 332s | 23 | 2566045 | 2509738 | 258 23531 | 1 | 0 334.23/334.40 c 334s | 23 | 2580776 | 2524238 | 258 23637 | 1 | 0 336.33/336.41 c 336s | 23 | 2595633 | 2538838 | 258 23743 | 1 | 0 338.33/338.42 c 338s | 23 | 2610466 | 2553338 | 258 23848 | 1 | 0 340.33/340.42 c 340s | 23 | 2625047 | 2567538 | 258 23950 | 1 | 0 342.34/342.43 c 342s | 23 | 2639618 | 2581838 | 258 24053 | 1 | 0 344.34/344.44 c 344s | 23 | 2654624 | 2596438 | 258 24158 | 1 | 0 346.34/346.45 c 346s | 23 | 2669260 | 2610738 | 258 24261 | 1 | 0 348.34/348.46 c 348s | 23 | 2684348 | 2625438 | 258 24368 | 1 | 0 350.34/350.46 c 350s | 23 | 2699486 | 2640238 | 258 24475 | 1 | 0 352.34/352.47 c 352s | 23 | 2714733 | 2655138 | 258 24584 | 1 | 0 354.34/354.48 c 354s | 23 | 2730824 | 2670938 | 258 24701 | 1 | 0 356.34/356.48 c 356s | 23 | 2746724 | 2686538 | 258 24818 | 1 | 0 358.33/358.49 c 358s | 23 | 2762203 | 2701738 | 258 24930 | 1 | 0 360.43/360.50 c 360s | 23 | 2776750 | 2715938 | 258 25031 | 1 | 0 362.43/362.51 c 362s | 23 | 2791558 | 2730438 | 258 25136 | 1 | 0 364.43/364.52 c 364s | 23 | 2807092 | 2745638 | 258 25247 | 1 | 0 366.43/366.52 c 366s | 23 | 2821938 | 2760238 | 258 25353 | 1 | 0 368.44/368.53 c 368s | 23 | 2836851 | 2774838 | 258 25461 | 1 | 0 370.43/370.54 c 370s | 23 | 2850897 | 2788638 | 258 25562 | 1 | 0 372.43/372.55 c 372s | 23 | 2864564 | 2802038 | 258 25658 | 1 | 0 374.43/374.56 c 374s | 23 | 2878837 | 2816038 | 258 25759 | 1 | 0 376.43/376.57 c 376s | 23 | 2893938 | 2830638 | 258 25864 | 1 | 0 378.44/378.57 c 378s | 23 | 2908691 | 2844938 | 258 25967 | 1 | 0 380.43/380.58 c 380s | 23 | 2923983 | 2859738 | 258 26075 | 1 | 0 382.43/382.59 c 382s | 23 | 2938481 | 2873838 | 258 26177 | 1 | 0 384.53/384.60 c 384s | 23 | 2953209 | 2888238 | 258 26282 | 1 | 0 386.53/386.61 c 386s | 23 | 2968712 | 2903338 | 258 26392 | 1 | 0 388.53/388.62 c 388s | 23 | 2984487 | 2918738 | 258 26506 | 1 | 0 390.53/390.62 c 390s | 23 | 2999416 | 2933338 | 258 26613 | 1 | 0 392.53/392.63 c 392s | 23 | 3014038 | 2947638 | 258 26718 | 1 | 0 394.53/394.64 c 394s | 23 | 3028755 | 2962138 | 258 26824 | 1 | 0 396.52/396.65 c 396s | 23 | 3043308 | 2976438 | 258 26930 | 1 | 0 398.52/398.66 c 398s | 23 | 3058285 | 2991138 | 258 27038 | 1 | 0 400.52/400.66 c 400s | 23 | 3074074 | 3006638 | 258 27153 | 1 | 0 402.53/402.67 c 402s | 23 | 3089511 | 3021738 | 258 27263 | 1 | 0 404.52/404.67 c 404s | 23 | 3105187 | 3036938 | 258 27375 | 1 | 0 406.52/406.67 c 406s | 23 | 3119959 | 3051438 | 258 27482 | 1 | 0 408.52/408.68 c 408s | 23 | 3134900 | 3066138 | 258 27591 | 1 | 0 410.53/410.68 c 410s | 23 | 3149862 | 3080838 | 258 27701 | 1 | 0 412.54/412.69 c 412s | 23 | 3165363 | 3095938 | 258 27815 | 1 | 0 414.53/414.69 c 414s | 23 | 3180570 | 3110738 | 258 27925 | 1 | 0 416.63/416.70 c 416s | 23 | 3195097 | 3125038 | 258 28031 | 1 | 0 418.63/418.71 c 418s | 23 | 3210654 | 3140238 | 258 28144 | 1 | 0 420.63/420.72 c 420s | 23 | 3226039 | 3155338 | 258 28257 | 1 | 0 422.63/422.73 c 422s | 23 | 3241399 | 3170338 | 258 28369 | 1 | 0 424.63/424.74 c 424s | 23 | 3256516 | 3185238 | 258 28481 | 1 | 0 426.63/426.74 c 426s | 23 | 3271024 | 3199538 | 258 28588 | 1 | 0 428.63/428.75 c 428s | 23 | 3285410 | 3213738 | 258 28694 | 1 | 0 430.63/430.76 c 430s | 23 | 3299724 | 3227838 | 258 28800 | 1 | 0 432.63/432.77 c 432s | 23 | 3313879 | 3241738 | 258 28901 | 1 | 0 434.63/434.78 c 434s | 23 | 3328802 | 3256138 | 258 29003 | 1 | 0 436.63/436.78 c 436s | 23 | 3343598 | 3270438 | 258 29106 | 1 | 0 438.63/438.79 c 438s | 23 | 3358304 | 3284638 | 258 29209 | 1 | 0 440.72/440.80 c 440s | 23 | 3372758 | 3298638 | 258 29309 | 1 | 0 442.72/442.80 c 442s | 23 | 3387451 | 3312838 | 258 29411 | 1 | 0 444.72/444.81 c 444s | 23 | 3401788 | 3326838 | 258 29513 | 1 | 0 446.72/446.81 c 446s | 23 | 3416445 | 3341138 | 258 29616 | 1 | 0 448.73/448.81 c 448s | 23 | 3431135 | 3355438 | 284 29718 | 1 | 0 450.72/450.81 c 450s | 23 | 3445391 | 3369438 | 284 29810 | 1 | 0 451.72/451.82 c 451s | 24 | 3452882 | 3376662 | 284 29858 | 1 | 0 453.72/453.82 c 453s | 24 | 3467826 | 3391162 | 284 29953 | 1 | 0 455.72/455.82 c 455s | 24 | 3483325 | 3406262 | 284 30052 | 1 | 0 457.72/457.83 c 457s | 24 | 3499072 | 3421462 | 284 30153 | 1 | 0 459.73/459.84 c 459s | 24 | 3514148 | 3436062 | 284 30248 | 1 | 0 461.72/461.85 c 461s | 24 | 3529637 | 3450962 | 284 30346 | 1 | 0 463.72/463.85 c 463s | 24 | 3545808 | 3466562 | 284 30449 | 1 | 0 465.72/465.86 c 465s | 24 | 3561819 | 3482062 | 284 30552 | 1 | 0 467.71/467.86 c 467s | 24 | 3577407 | 3497262 | 284 30653 | 1 | 0 469.72/469.88 c 469s | 24 | 3593403 | 3512762 | 284 30756 | 1 | 0 471.71/471.88 c 471s | 24 | 3609410 | 3528362 | 284 30861 | 1 | 0 473.71/473.88 c 473s | 24 | 3624799 | 3543162 | 284 30959 | 1 | 0 475.71/475.89 c 475s | 24 | 3640217 | 3558062 | 284 31058 | 1 | 0 477.81/477.90 c 477s | 24 | 3656362 | 3573662 | 284 31160 | 1 | 0 479.81/479.90 c 479s | 24 | 3671881 | 3588862 | 284 31259 | 1 | 0 481.83/481.91 c 481s | 24 | 3688441 | 3604862 | 284 31364 | 1 | 0 483.82/483.92 c 483s | 24 | 3704222 | 3620262 | 284 31465 | 1 | 0 485.82/485.93 c 485s | 24 | 3719816 | 3635462 | 284 31566 | 1 | 0 487.82/487.94 c 487s | 24 | 3735638 | 3650862 | 284 31668 | 1 | 0 489.82/489.95 c 489s | 24 | 3751669 | 3666362 | 284 31771 | 1 | 0 491.82/491.95 c 491s | 24 | 3767495 | 3681562 | 284 31872 | 1 | 0 493.82/493.95 c 493s | 24 | 3782728 | 3696262 | 284 31969 | 1 | 0 495.82/495.97 c 495s | 24 | 3797823 | 3710862 | 284 32065 | 1 | 0 497.82/497.98 c 497s | 24 | 3812864 | 3725362 | 284 32161 | 1 | 0 499.82/499.99 c 499s | 24 | 3827938 | 3740162 | 284 32260 | 1 | 0 501.82/501.99 c 501s | 24 | 3842454 | 3754362 | 284 32354 | 1 | 0 503.82/503.99 c 503s | 24 | 3858035 | 3769562 | 284 32453 | 1 | 0 505.81/505.99 c 505s | 24 | 3873095 | 3784362 | 284 32551 | 1 | 0 507.81/507.99 c 507s | 24 | 3888634 | 3799362 | 284 32651 | 1 | 0 509.81/509.99 c 509s | 24 | 3904410 | 3814562 | 284 32752 | 1 | 0 511.91/512.00 c 511s | 24 | 3920783 | 3830262 | 284 32857 | 1 | 0 513.91/514.00 c 513s | 24 | 3936185 | 3845162 | 284 32956 | 1 | 0 515.82/516.00 c 515s | 24 | 3952049 | 3860562 | 284 33059 | 1 | 0 517.91/518.01 c 517s | 24 | 3967519 | 3875562 | 284 33159 | 1 | 0 519.91/520.01 c 519s | 24 | 3983875 | 3891362 | 284 33265 | 1 | 0 521.91/522.01 c 521s | 24 | 3999668 | 3906762 | 284 33368 | 1 | 0 523.91/524.02 c 524s | 24 | 4015600 | 3922362 | 284 33473 | 1 | 0 525.91/526.03 c 526s | 24 | 4031444 | 3937862 | 284 33578 | 1 | 0 527.92/528.03 c 528s | 24 | 4047477 | 3953462 | 284 33683 | 1 | 0 529.91/530.04 c 530s | 24 | 4062902 | 3968462 | 284 33783 | 1 | 0 531.91/532.05 c 532s | 24 | 4078336 | 3983462 | 284 33883 | 1 | 0 533.91/534.06 c 534s | 24 | 4093992 | 3998562 | 284 33984 | 1 | 0 535.91/536.06 c 536s | 24 | 4109740 | 4014062 | 284 34087 | 1 | 0 537.91/538.07 c 538s | 24 | 4125312 | 4029362 | 284 34190 | 1 | 0 539.91/540.07 c 540s | 24 | 4141194 | 4044862 | 284 34294 | 1 | 0 541.91/542.08 c 542s | 24 | 4157021 | 4060262 | 284 34398 | 1 | 0 543.91/544.09 c 544s | 24 | 4173013 | 4075862 | 284 34504 | 1 | 0 546.01/546.10 c 546s | 24 | 4188677 | 4091162 | 284 34607 | 1 | 0 548.00/548.11 c 548s | 24 | 4204717 | 4106762 | 284 34713 | 1 | 0 550.01/550.11 c 550s | 24 | 4220155 | 4121962 | 284 34816 | 1 | 0 552.00/552.11 c 552s | 24 | 4236042 | 4137562 | 284 34922 | 1 | 0 554.00/554.12 c 554s | 24 | 4252345 | 4153462 | 284 35030 | 1 | 0 556.00/556.13 c 556s | 24 | 4268471 | 4169062 | 284 35132 | 1 | 0 558.00/558.14 c 558s | 24 | 4284412 | 4184462 | 284 35233 | 1 | 0 560.00/560.15 c 560s | 24 | 4300510 | 4200262 | 284 35337 | 1 | 0 562.01/562.16 c 562s | 24 | 4316322 | 4215562 | 284 35439 | 1 | 0 564.00/564.17 c 564s | 24 | 4331986 | 4230662 | 284 35540 | 1 | 0 566.00/566.18 c 566s | 24 | 4347521 | 4245562 | 284 35639 | 1 | 0 568.00/568.19 c 568s | 24 | 4363332 | 4260862 | 284 35742 | 1 | 0 570.10/570.20 c 570s | 24 | 4379967 | 4276962 | 284 35851 | 1 | 0 572.10/572.21 c 572s | 24 | 4395634 | 4292162 | 284 35952 | 1 | 0 574.10/574.22 c 574s | 24 | 4411528 | 4307562 | 284 36054 | 1 | 0 576.10/576.23 c 576s | 24 | 4427374 | 4322862 | 284 36156 | 1 | 0 578.10/578.24 c 578s | 24 | 4443369 | 4338362 | 284 36260 | 1 | 0 580.09/580.25 c 580s | 24 | 4459056 | 4353662 | 284 36361 | 1 | 0 582.09/582.26 c 582s | 24 | 4474651 | 4368962 | 284 36463 | 1 | 0 584.10/584.27 c 584s | 24 | 4490712 | 4384562 | 284 36567 | 1 | 0 586.10/586.27 c 586s | 24 | 4507006 | 4400362 | 284 36673 | 1 | 0 588.10/588.28 c 588s | 24 | 4523580 | 4416462 | 284 36780 | 1 | 0 590.10/590.29 c 590s | 24 | 4540110 | 4432362 | 284 36886 | 1 | 0 592.20/592.30 c 592s | 24 | 4556799 | 4448562 | 284 36997 | 1 | 0 594.20/594.30 c 594s | 24 | 4573418 | 4464562 | 284 37100 | 1 | 0 596.20/596.30 c 596s | 24 | 4589749 | 4480362 | 284 37202 | 1 | 0 598.20/598.32 c 598s | 24 | 4605666 | 4495762 | 284 37303 | 1 | 0 600.20/600.33 c 600s | 24 | 4621151 | 4510862 | 284 37402 | 1 | 0 602.20/602.33 c 602s | 24 | 4636593 | 4525962 | 284 37501 | 1 | 0 604.20/604.34 c 604s | 24 | 4652144 | 4541162 | 284 37601 | 1 | 0 606.19/606.35 c 606s | 24 | 4667308 | 4555962 | 284 37699 | 1 | 0 608.20/608.36 c 608s | 24 | 4683801 | 4571762 | 284 37803 | 1 | 0 610.19/610.36 c 610s | 24 | 4699160 | 4586762 | 284 37902 | 1 | 0 612.19/612.36 c 612s | 24 | 4714836 | 4602062 | 284 38004 | 1 | 0 614.19/614.37 c 614s | 24 | 4730685 | 4617562 | 284 38108 | 1 | 0 616.19/616.37 c 616s | 24 | 4746482 | 4633062 | 284 38211 | 1 | 0 618.20/618.38 c 618s | 24 | 4762318 | 4648662 | 284 38315 | 1 | 0 620.19/620.39 c 620s | 24 | 4778171 | 4664162 | 284 38418 | 1 | 0 622.29/622.40 c 622s | 24 | 4794735 | 4680262 | 284 38525 | 1 | 0 624.29/624.41 c 624s | 24 | 4810975 | 4696062 | 284 38632 | 1 | 0 626.30/626.41 c 626s | 24 | 4827366 | 4711862 | 284 38737 | 1 | 0 628.30/628.42 c 628s | 24 | 4843961 | 4727862 | 284 38843 | 1 | 0 630.30/630.43 c 630s | 24 | 4860673 | 4743962 | 284 38950 | 1 | 0 632.30/632.44 c 632s | 24 | 4876859 | 4759662 | 284 39055 | 1 | 0 634.30/634.45 c 634s | 24 | 4893488 | 4775862 | 284 39164 | 1 | 0 636.30/636.45 c 636s | 24 | 4909383 | 4791362 | 284 39268 | 1 | 0 638.30/638.45 c 638s | 24 | 4925205 | 4806762 | 284 39372 | 1 | 0 640.29/640.46 c 640s | 24 | 4941131 | 4822162 | 284 39476 | 1 | 0 642.30/642.46 c 642s | 24 | 4956854 | 4837462 | 284 39578 | 1 | 0 644.29/644.47 c 644s | 24 | 4972336 | 4852562 | 284 39679 | 1 | 0 646.29/646.48 c 646s | 24 | 4988192 | 4868162 | 284 39784 | 1 | 0 648.29/648.48 c 648s | 24 | 5004162 | 4883762 | 284 39890 | 1 | 0 650.29/650.49 c 650s | 24 | 5020223 | 4899462 | 284 39996 | 1 | 0 652.30/652.49 c 652s | 24 | 5036406 | 4915262 | 284 40104 | 1 | 0 654.29/654.50 c 654s | 24 | 5052866 | 4931262 | 284 40212 | 1 | 0 656.39/656.51 c 656s | 24 | 5069059 | 4946962 | 284 40319 | 1 | 0 658.39/658.52 c 658s | 24 | 5085742 | 4963162 | 284 40429 | 1 | 0 660.39/660.52 c 660s | 24 | 5102301 | 4979262 | 284 40539 | 1 | 0 662.39/662.53 c 662s | 24 | 5119233 | 4995662 | 284 40651 | 1 | 0 664.39/664.54 c 664s | 24 | 5134274 | 5010362 | 284 40748 | 1 | 0 666.39/666.54 c 666s | 24 | 5149188 | 5024962 | 284 40846 | 1 | 0 668.39/668.54 c 668s | 24 | 5164237 | 5039662 | 313 40938 | 1 | 0 670.39/670.55 c 670s | 24 | 5179569 | 5054562 | 313 41029 | 1 | 0 671.79/671.96 c 671s | 25 | 5190357 | 5065098 | 313 41094 | 1 | 0 673.79/673.96 c 673s | 25 | 5205563 | 5079498 | 313 41180 | 1 | 0 675.79/675.97 c 675s | 25 | 5220440 | 5093898 | 313 41266 | 1 | 0 677.79/677.98 c 677s | 25 | 5235677 | 5108698 | 313 41356 | 1 | 0 679.79/679.98 c 679s | 25 | 5251134 | 5123598 | 313 41446 | 1 | 0 681.78/681.99 c 681s | 25 | 5267163 | 5139198 | 313 41540 | 1 | 0 683.88/684.00 c 683s | 25 | 5282786 | 5154298 | 313 41632 | 1 | 0 685.88/686.01 c 685s | 25 | 5298555 | 5169398 | 313 41723 | 1 | 0 687.88/688.01 c 687s | 25 | 5314268 | 5184598 | 313 41815 | 1 | 0 689.88/690.02 c 690s | 25 | 5329726 | 5199698 | 313 41907 | 1 | 0 691.88/692.02 c 692s | 25 | 5345700 | 5215198 | 313 42000 | 1 | 0 693.88/694.02 c 694s | 25 | 5361503 | 5230598 | 313 42094 | 1 | 0 695.89/696.04 c 696s | 25 | 5377555 | 5246098 | 313 42188 | 1 | 0 697.89/698.04 c 698s | 25 | 5393504 | 5261698 | 313 42284 | 1 | 0 699.89/700.04 c 700s | 25 | 5409207 | 5276898 | 313 42377 | 1 | 0 701.89/702.05 c 702s | 25 | 5424335 | 5291598 | 313 42466 | 1 | 0 703.89/704.05 c 704s | 25 | 5438595 | 5305498 | 313 42550 | 1 | 0 705.88/706.05 c 706s | 25 | 5452936 | 5319398 | 313 42633 | 1 | 0 707.88/708.05 c 708s | 25 | 5467670 | 5333598 | 313 42718 | 1 | 0 709.88/710.07 c 710s | 25 | 5482274 | 5347898 | 313 42805 | 1 | 0 711.88/712.07 c 712s | 25 | 5497232 | 5362598 | 313 42894 | 1 | 0 713.89/714.07 c 714s | 25 | 5511982 | 5377098 | 313 42981 | 1 | 0 715.88/716.07 c 716s | 25 | 5527274 | 5391998 | 313 43071 | 1 | 0 717.88/718.07 c 718s | 25 | 5542815 | 5407098 | 313 43164 | 1 | 0 719.88/720.08 c 720s | 25 | 5558083 | 5421898 | 313 43254 | 1 | 0 721.88/722.08 c 722s | 25 | 5573300 | 5436798 | 313 43344 | 1 | 0 723.88/724.09 c 724s | 25 | 5588563 | 5451798 | 313 43435 | 1 | 0 725.98/726.11 c 726s | 25 | 5603407 | 5466298 | 313 43523 | 1 | 0 727.98/728.11 c 728s | 25 | 5618415 | 5480998 | 313 43613 | 1 | 0 729.98/730.11 c 730s | 25 | 5633347 | 5495598 | 313 43702 | 1 | 0 731.97/732.12 c 732s | 25 | 5648007 | 5510098 | 313 43790 | 1 | 0 733.97/734.13 c 734s | 25 | 5662877 | 5524598 | 313 43878 | 1 | 0 735.97/736.13 c 736s | 25 | 5678011 | 5539298 | 313 43968 | 1 | 0 737.98/738.14 c 738s | 25 | 5693326 | 5554198 | 313 44060 | 1 | 0 739.97/740.15 c 740s | 25 | 5709167 | 5569598 | 313 44153 | 1 | 0 741.97/742.16 c 742s | 25 | 5724420 | 5584598 | 313 44246 | 1 | 0 743.97/744.17 c 744s | 25 | 5739656 | 5599498 | 313 44338 | 1 | 0 745.97/746.18 c 746s | 25 | 5755371 | 5614898 | 313 44433 | 1 | 0 747.97/748.18 c 748s | 25 | 5771389 | 5630498 | 313 44529 | 1 | 0 749.97/750.19 c 750s | 25 | 5787261 | 5645998 | 313 44626 | 1 | 0 751.97/752.19 c 752s | 25 | 5802865 | 5660998 | 313 44718 | 1 | 0 754.07/754.20 c 754s | 25 | 5818614 | 5675998 | 313 44809 | 1 | 0 756.07/756.21 c 756s | 25 | 5834088 | 5690798 | 313 44899 | 1 | 0 758.06/758.21 c 758s | 25 | 5849190 | 5705298 | 313 44987 | 1 | 0 760.07/760.22 c 760s | 25 | 5863356 | 5719098 | 313 45069 | 1 | 0 762.06/762.23 c 762s | 25 | 5878583 | 5733798 | 313 45159 | 1 | 0 764.06/764.24 c 764s | 25 | 5893590 | 5748298 | 313 45247 | 1 | 0 766.06/766.25 c 766s | 25 | 5908625 | 5762998 | 313 45337 | 1 | 0 768.06/768.25 c 768s | 25 | 5924022 | 5777898 | 313 45428 | 1 | 0 770.07/770.26 c 770s | 25 | 5939413 | 5792898 | 313 45519 | 1 | 0 772.07/772.28 c 772s | 25 | 5954838 | 5807998 | 313 45612 | 1 | 0 774.07/774.28 c 774s | 25 | 5970484 | 5823298 | 313 45707 | 1 | 0 776.07/776.29 c 776s | 25 | 5985694 | 5838198 | 313 45799 | 1 | 0 778.16/778.30 c 778s | 25 | 6002003 | 5853998 | 313 45894 | 1 | 0 780.16/780.31 c 780s | 25 | 6017577 | 5869198 | 313 45986 | 1 | 0 782.16/782.31 c 782s | 25 | 6033190 | 5884298 | 313 46077 | 1 | 0 784.16/784.32 c 784s | 25 | 6049062 | 5899698 | 313 46171 | 1 | 0 786.15/786.33 c 786s | 25 | 6064646 | 5914698 | 313 46262 | 1 | 0 788.15/788.33 c 788s | 25 | 6080614 | 5930098 | 313 46357 | 1 | 0 790.15/790.34 c 790s | 25 | 6096324 | 5945398 | 313 46451 | 1 | 0 792.14/792.35 c 792s | 25 | 6112308 | 5960898 | 313 46545 | 1 | 0 794.15/794.35 c 794s | 25 | 6128387 | 5976398 | 313 46639 | 1 | 0 796.14/796.36 c 796s | 25 | 6144303 | 5991798 | 313 46733 | 1 | 0 798.14/798.36 c 798s | 25 | 6159969 | 6006998 | 313 46826 | 1 | 0 800.14/800.36 c 800s | 25 | 6175824 | 6022398 | 313 46921 | 1 | 0 802.14/802.38 c 802s | 25 | 6191513 | 6037798 | 313 47014 | 1 | 0 804.14/804.39 c 804s | 25 | 6207479 | 6053398 | 313 47110 | 1 | 0 806.15/806.39 c 806s | 25 | 6222903 | 6068398 | 313 47201 | 1 | 0 808.24/808.40 c 808s | 25 | 6238030 | 6083198 | 313 47292 | 1 | 0 810.24/810.41 c 810s | 25 | 6253889 | 6098598 | 313 47386 | 1 | 0 812.24/812.41 c 812s | 25 | 6269655 | 6113998 | 313 47481 | 1 | 0 814.24/814.42 c 814s | 25 | 6285005 | 6128998 | 313 47574 | 1 | 0 816.24/816.43 c 816s | 25 | 6300300 | 6143898 | 313 47666 | 1 | 0 818.24/818.44 c 818s | 25 | 6316163 | 6159298 | 313 47760 | 1 | 0 820.24/820.44 c 820s | 25 | 6331939 | 6174598 | 313 47854 | 1 | 0 822.24/822.45 c 822s | 25 | 6348098 | 6190198 | 313 47951 | 1 | 0 824.23/824.46 c 824s | 25 | 6364394 | 6205998 | 313 48049 | 1 | 0 826.23/826.47 c 826s | 25 | 6380532 | 6221698 | 313 48146 | 1 | 0 828.24/828.47 c 828s | 25 | 6396802 | 6237498 | 313 48245 | 1 | 0 830.23/830.48 c 830s | 25 | 6412911 | 6253098 | 313 48342 | 1 | 0 832.23/832.49 c 832s | 25 | 6429193 | 6268898 | 313 48440 | 1 | 0 834.23/834.49 c 834s | 25 | 6444958 | 6284298 | 313 48536 | 1 | 0 836.23/836.50 c 836s | 25 | 6461497 | 6300298 | 313 48635 | 1 | 0 838.32/838.51 c 838s | 25 | 6477904 | 6316098 | 313 48729 | 1 | 0 840.33/840.51 c 840s | 25 | 6493576 | 6331098 | 313 48818 | 1 | 0 842.32/842.52 c 842s | 25 | 6509070 | 6346098 | 313 48908 | 1 | 0 844.32/844.52 c 844s | 25 | 6524455 | 6360898 | 313 48997 | 1 | 0 846.32/846.53 c 846s | 25 | 6540053 | 6375898 | 313 49086 | 1 | 0 848.32/848.54 c 848s | 25 | 6555410 | 6390898 | 313 49177 | 1 | 0 850.32/850.55 c 850s | 25 | 6570240 | 6405398 | 313 49264 | 1 | 0 852.32/852.55 c 852s | 25 | 6585094 | 6419898 | 313 49352 | 1 | 0 854.31/854.56 c 854s | 25 | 6600376 | 6434898 | 313 49443 | 1 | 0 856.31/856.56 c 856s | 25 | 6615402 | 6449698 | 313 49531 | 1 | 0 858.31/858.57 c 858s | 25 | 6630775 | 6464798 | 313 49623 | 1 | 0 860.31/860.57 c 860s | 25 | 6646477 | 6480098 | 313 49716 | 1 | 0 862.32/862.58 c 862s | 25 | 6661537 | 6494898 | 313 49805 | 1 | 0 864.31/864.58 c 864s | 25 | 6676541 | 6509698 | 313 49894 | 1 | 0 866.31/866.58 c 866s | 25 | 6691588 | 6524498 | 313 49985 | 1 | 0 868.31/868.59 c 868s | 25 | 6707129 | 6539698 | 313 50078 | 1 | 0 870.31/870.60 c 870s | 25 | 6722613 | 6554798 | 313 50168 | 1 | 0 872.31/872.60 c 872s | 25 | 6737654 | 6569598 | 313 50257 | 1 | 0 874.31/874.60 c 874s | 25 | 6752464 | 6584098 | 313 50344 | 1 | 0 876.41/876.61 c 876s | 25 | 6767248 | 6598498 | 313 50432 | 1 | 0 878.41/878.62 c 878s | 25 | 6781791 | 6612798 | 313 50518 | 1 | 0 880.41/880.63 c 880s | 25 | 6796882 | 6627498 | 313 50608 | 1 | 0 882.40/882.64 c 882s | 25 | 6812090 | 6642398 | 313 50699 | 1 | 0 884.41/884.64 c 884s | 25 | 6827625 | 6657598 | 313 50791 | 1 | 0 886.42/886.64 c 886s | 25 | 6842576 | 6672198 | 313 50880 | 1 | 0 888.41/888.65 c 888s | 25 | 6857333 | 6686598 | 313 50968 | 1 | 0 890.41/890.66 c 890s | 25 | 6872445 | 6701198 | 313 51057 | 1 | 0 892.41/892.66 c 892s | 25 | 6887220 | 6715498 | 313 51144 | 1 | 0 894.40/894.67 c 894s | 25 | 6901629 | 6729498 | 313 51227 | 1 | 0 896.41/896.67 c 896s | 25 | 6916460 | 6743898 | 313 51314 | 1 | 0 898.40/898.68 c 898s | 25 | 6931554 | 6758498 | 313 51402 | 1 | 0 900.40/900.69 c 900s | 25 | 6946927 | 6773298 | 313 51492 | 1 | 0 902.50/902.70 c 902s | 25 | 6962039 | 6787898 | 313 51581 | 1 | 0 904.50/904.70 c 904s | 25 | 6976379 | 6801698 | 313 51665 | 1 | 0 906.50/906.70 c 906s | 25 | 6990205 | 6815098 | 313 51746 | 1 | 0 908.50/908.71 c 908s | 25 | 7004352 | 6828798 | 313 51829 | 1 | 0 910.50/910.72 c 910s | 25 | 7018468 | 6842598 | 313 51911 | 1 | 0 912.50/912.72 c 912s | 25 | 7032717 | 6856598 | 313 51996 | 1 | 0 914.49/914.74 c 914s | 25 | 7046934 | 6870498 | 313 52079 | 1 | 0 916.49/916.75 c 916s | 25 | 7061560 | 6884798 | 313 52165 | 1 | 0 918.49/918.75 c 918s | 25 | 7076341 | 6899198 | 313 52251 | 1 | 0 920.50/920.75 c 920s | 25 | 7091177 | 6913698 | 313 52339 | 1 | 0 922.49/922.76 c 922s | 25 | 7106101 | 6928298 | 313 52429 | 1 | 0 924.49/924.76 c 924s | 25 | 7120907 | 6942798 | 313 52516 | 1 | 0 926.49/926.78 c 926s | 25 | 7135053 | 6956598 | 313 52600 | 1 | 0 928.49/928.79 c 928s | 25 | 7149834 | 6970998 | 313 52686 | 1 | 0 930.60/930.80 c 930s | 25 | 7164352 | 6985198 | 313 52771 | 1 | 0 932.60/932.81 c 932s | 25 | 7179320 | 6999798 | 313 52860 | 1 | 0 934.59/934.82 c 934s | 25 | 7193876 | 7013998 | 313 52946 | 1 | 0 936.59/936.84 c 936s | 25 | 7209029 | 7028798 | 313 53036 | 1 | 0 938.59/938.84 c 938s | 25 | 7224191 | 7043498 | 313 53125 | 1 | 0 940.59/940.85 c 940s | 25 | 7239194 | 7058098 | 313 53214 | 1 | 0 942.60/942.85 c 942s | 25 | 7254285 | 7072798 | 313 53305 | 1 | 0 944.58/944.86 c 944s | 25 | 7269874 | 7087898 | 313 53397 | 1 | 0 946.58/946.87 c 946s | 25 | 7284656 | 7102398 | 313 53485 | 1 | 0 948.58/948.88 c 948s | 25 | 7299926 | 7117298 | 313 53575 | 1 | 0 950.58/950.89 c 950s | 25 | 7315111 | 7132198 | 313 53666 | 1 | 0 952.58/952.90 c 952s | 25 | 7330104 | 7146798 | 313 53755 | 1 | 0 954.69/954.91 c 954s | 25 | 7345066 | 7161398 | 313 53845 | 1 | 0 956.68/956.92 c 956s | 25 | 7360055 | 7176098 | 313 53935 | 1 | 0 958.68/958.92 c 958s | 25 | 7375318 | 7190998 | 313 54027 | 1 | 0 960.68/960.93 c 960s | 25 | 7390297 | 7205498 | 313 54114 | 1 | 0 962.68/962.94 c 962s | 25 | 7405596 | 7220298 | 313 54204 | 1 | 0 964.67/964.94 c 964s | 25 | 7420711 | 7234998 | 313 54293 | 1 | 0 966.68/966.95 c 966s | 25 | 7435153 | 7249198 | 313 54380 | 1 | 0 968.67/968.96 c 968s | 25 | 7450367 | 7264098 | 313 54470 | 1 | 0 970.67/970.97 c 970s | 25 | 7465664 | 7279098 | 313 54562 | 1 | 0 972.67/972.97 c 972s | 25 | 7480380 | 7293498 | 313 54650 | 1 | 0 974.67/974.98 c 974s | 25 | 7495725 | 7308498 | 313 54742 | 1 | 0 976.67/976.98 c 976s | 25 | 7510878 | 7323298 | 313 54832 | 1 | 0 978.67/978.98 c 978s | 25 | 7525911 | 7337898 | 313 54922 | 1 | 0 980.66/980.98 c 980s | 25 | 7540574 | 7352198 | 313 55009 | 1 | 0 982.66/982.99 c 982s | 25 | 7555252 | 7366498 | 313 55095 | 1 | 0 984.76/985.00 c 984s | 25 | 7570530 | 7381298 | 313 55186 | 1 | 0 986.76/987.01 c 986s | 25 | 7585499 | 7395898 | 313 55275 | 1 | 0 988.77/989.02 c 989s | 25 | 7600430 | 7410498 | 313 55364 | 1 | 0 990.76/991.03 c 991s | 25 | 7615150 | 7424798 | 313 55451 | 1 | 0 992.76/993.04 c 993s | 25 | 7629909 | 7439198 | 313 55539 | 1 | 0 994.76/995.04 c 995s | 25 | 7644774 | 7453798 | 313 55630 | 1 | 0 996.76/997.05 c 997s | 25 | 7659607 | 7468298 | 313 55718 | 1 | 0 998.76/999.06 c 999s | 25 | 7674646 | 7482898 | 313 55808 | 1 | 0 1000.76/1001.06 c 1001s | 25 | 7690088 | 7497898 | 313 55899 | 1 | 0 1002.75/1003.07 c 1003s | 25 | 7705313 | 7512698 | 313 55990 | 1 | 0 1004.75/1005.07 c 1005s | 25 | 7720871 | 7527798 | 313 56083 | 1 | 0 1006.75/1007.08 c 1007s | 25 | 7736469 | 7542998 | 313 56176 | 1 | 0 1008.85/1009.10 c 1009s | 25 | 7751532 | 7557698 | 345 56258 | 1 | 0 1010.85/1011.11 c 1011s | 25 | 7766673 | 7572398 | 345 56340 | 1 | 0 1012.86/1013.12 c 1013s | 25 | 7781553 | 7586898 | 345 56421 | 1 | 0 1014.25/1014.58 c 1014s | 26 | 7792662 | 7597752 | 345 56482 | 1 | 0 1016.25/1016.59 c 1016s | 26 | 7806857 | 7611652 | 345 56558 | 1 | 0 1018.35/1018.60 c 1018s | 26 | 7821257 | 7625752 | 345 56635 | 1 | 0 1020.35/1020.61 c 1020s | 26 | 7836045 | 7640152 | 345 56715 | 1 | 0 1022.35/1022.62 c 1022s | 26 | 7851058 | 7654852 | 345 56797 | 1 | 0 1024.34/1024.63 c 1024s | 26 | 7865864 | 7669252 | 345 56877 | 1 | 0 1026.34/1026.64 c 1026s | 26 | 7880586 | 7683552 | 345 56956 | 1 | 0 1028.36/1028.65 c 1028s | 26 | 7895584 | 7698152 | 345 57037 | 1 | 0 1030.35/1030.66 c 1030s | 26 | 7910625 | 7712752 | 345 57117 | 1 | 0 1032.35/1032.66 c 1032s | 26 | 7925717 | 7727552 | 345 57199 | 1 | 0 1034.35/1034.68 c 1034s | 26 | 7940525 | 7742052 | 345 57279 | 1 | 0 1036.35/1036.68 c 1036s | 26 | 7955442 | 7756552 | 345 57360 | 1 | 0 1038.35/1038.68 c 1038s | 26 | 7970192 | 7771052 | 345 57441 | 1 | 0 1040.35/1040.69 c 1040s | 26 | 7984533 | 7785152 | 345 57519 | 1 | 0 1042.34/1042.69 c 1042s | 26 | 7999178 | 7799552 | 345 57599 | 1 | 0 1044.34/1044.69 c 1044s | 26 | 8013951 | 7814052 | 345 57680 | 1 | 0 1046.34/1046.69 c 1046s | 26 | 8028722 | 7828452 | 345 57761 | 1 | 0 1048.44/1048.70 c 1048s | 26 | 8043516 | 7842852 | 345 57841 | 1 | 0 1050.44/1050.71 c 1050s | 26 | 8057963 | 7856952 | 345 57919 | 1 | 0 1052.44/1052.71 c 1052s | 26 | 8072536 | 7871152 | 345 57997 | 1 | 0 1054.43/1054.71 c 1054s | 26 | 8087248 | 7885552 | 345 58077 | 1 | 0 1056.43/1056.72 c 1056s | 26 | 8102338 | 7900352 | 345 58160 | 1 | 0 1058.43/1058.72 c 1058s | 26 | 8117470 | 7915152 | 345 58242 | 1 | 0 1060.43/1060.73 c 1060s | 26 | 8132758 | 7930152 | 345 58325 | 1 | 0 1062.44/1062.74 c 1062s | 26 | 8147832 | 7944952 | 345 58407 | 1 | 0 1064.43/1064.75 c 1064s | 26 | 8162498 | 7959252 | 345 58486 | 1 | 0 1066.43/1066.76 c 1066s | 26 | 8177434 | 7973752 | 345 58567 | 1 | 0 1068.43/1068.76 c 1068s | 26 | 8192214 | 7988152 | 345 58647 | 1 | 0 1070.42/1070.78 c 1070s | 26 | 8207240 | 8002852 | 345 58728 | 1 | 0 1072.42/1072.79 c 1072s | 26 | 8222629 | 8017952 | 345 58812 | 1 | 0 1074.43/1074.79 c 1074s | 26 | 8237722 | 8032852 | 345 58894 | 1 | 0 1076.52/1076.80 c 1076s | 26 | 8252805 | 8047652 | 345 58977 | 1 | 0 1078.52/1078.81 c 1078s | 26 | 8268179 | 8062652 | 345 59060 | 1 | 0 1080.52/1080.81 c 1080s | 26 | 8283100 | 8077152 | 345 59141 | 1 | 0 1082.52/1082.81 c 1082s | 26 | 8297876 | 8091652 | 345 59221 | 1 | 0 1084.51/1084.83 c 1084s | 26 | 8312534 | 8106052 | 345 59300 | 1 | 0 1086.52/1086.83 c 1086s | 26 | 8327557 | 8120652 | 345 59381 | 1 | 0 1088.51/1088.83 c 1088s | 26 | 8342696 | 8135452 | 345 59464 | 1 | 0 1090.51/1090.84 c 1090s | 26 | 8357302 | 8149752 | 345 59543 | 1 | 0 1092.51/1092.84 c 1092s | 26 | 8372573 | 8164552 | 345 59626 | 1 | 0 1094.52/1094.85 c 1094s | 26 | 8387635 | 8179252 | 345 59708 | 1 | 0 1096.52/1096.86 c 1096s | 26 | 8402687 | 8193952 | 345 59790 | 1 | 0 1098.52/1098.86 c 1098s | 26 | 8417684 | 8208652 | 345 59872 | 1 | 0 1100.51/1100.87 c 1100s | 26 | 8432411 | 8223052 | 345 59953 | 1 | 0 1102.51/1102.87 c 1102s | 26 | 8447716 | 8237952 | 345 60036 | 1 | 0 1104.51/1104.89 c 1104s | 26 | 8463219 | 8253052 | 345 60121 | 1 | 0 1106.61/1106.90 c 1106s | 26 | 8478941 | 8268252 | 345 60206 | 1 | 0 1108.52/1108.90 c 1108s | 26 | 8494059 | 8282952 | 345 60289 | 1 | 0 1110.61/1110.91 c 1110s | 26 | 8509244 | 8297752 | 345 60372 | 1 | 0 1112.61/1112.91 c 1112s | 26 | 8524149 | 8312252 | 345 60454 | 1 | 0 1114.60/1114.92 c 1114s | 26 | 8538725 | 8326452 | 345 60532 | 1 | 0 1116.60/1116.93 c 1116s | 26 | 8553456 | 8340852 | 345 60612 | 1 | 0 1118.60/1118.93 c 1118s | 26 | 8567930 | 8355052 | 345 60691 | 1 | 0 1120.61/1120.94 c 1120s | 26 | 8582479 | 8369252 | 345 60770 | 1 | 0 1122.60/1122.95 c 1122s | 26 | 8597164 | 8383552 | 345 60850 | 1 | 0 1124.60/1124.95 c 1124s | 26 | 8612355 | 8398452 | 345 60934 | 1 | 0 1126.60/1126.96 c 1126s | 26 | 8626897 | 8412652 | 345 61011 | 1 | 0 1128.60/1128.96 c 1128s | 26 | 8640975 | 8426352 | 345 61085 | 1 | 0 1130.60/1130.97 c 1130s | 26 | 8654893 | 8439952 | 345 61158 | 1 | 0 1132.60/1132.98 c 1132s | 26 | 8668832 | 8453652 | 345 61233 | 1 | 0 1134.59/1134.98 c 1134s | 26 | 8683044 | 8467552 | 345 61310 | 1 | 0 1136.59/1137.00 c 1136s | 26 | 8697164 | 8481352 | 345 61386 | 1 | 0 1138.69/1139.00 c 1138s | 26 | 8710681 | 8494652 | 345 61458 | 1 | 0 1140.69/1141.01 c 1140s | 26 | 8724342 | 8508052 | 345 61531 | 1 | 0 1142.69/1143.01 c 1142s | 26 | 8738383 | 8521852 | 345 61607 | 1 | 0 1144.68/1145.01 c 1145s | 26 | 8752337 | 8535552 | 345 61682 | 1 | 0 1146.68/1147.02 c 1147s | 26 | 8766497 | 8549452 | 345 61758 | 1 | 0 1148.68/1149.03 c 1149s | 26 | 8780278 | 8563052 | 345 61833 | 1 | 0 1150.68/1151.04 c 1151s | 26 | 8794558 | 8577052 | 345 61910 | 1 | 0 1152.68/1153.05 c 1153s | 26 | 8808780 | 8590952 | 345 61986 | 1 | 0 1154.68/1155.05 c 1155s | 26 | 8822515 | 8604252 | 345 62059 | 1 | 0 1156.67/1157.06 c 1157s | 26 | 8836903 | 8618452 | 345 62138 | 1 | 0 1158.67/1159.06 c 1159s | 26 | 8851325 | 8632652 | 345 62216 | 1 | 0 1160.67/1161.06 c 1161s | 26 | 8865904 | 8646952 | 345 62295 | 1 | 0 1162.67/1163.06 c 1163s | 26 | 8881186 | 8661752 | 345 62375 | 1 | 0 1164.69/1165.06 c 1165s | 26 | 8896370 | 8676452 | 345 62455 | 1 | 0 1166.68/1167.07 c 1167s | 26 | 8911199 | 8690852 | 345 62533 | 1 | 0 1168.68/1169.07 c 1169s | 26 | 8926338 | 8705552 | 345 62613 | 1 | 0 1170.68/1171.07 c 1171s | 26 | 8941078 | 8719852 | 345 62691 | 1 | 0 1172.67/1173.08 c 1173s | 26 | 8955682 | 8734052 | 345 62768 | 1 | 0 1174.67/1175.08 c 1175s | 26 | 8970275 | 8748252 | 345 62846 | 1 | 0 1176.67/1177.10 c 1177s | 26 | 8984804 | 8762352 | 345 62924 | 1 | 0 1178.76/1179.10 c 1179s | 26 | 8998922 | 8776052 | 345 62998 | 1 | 0 1180.76/1181.11 c 1181s | 26 | 9013370 | 8790152 | 345 63076 | 1 | 0 1182.76/1183.12 c 1183s | 26 | 9028018 | 8804452 | 345 63155 | 1 | 0 1184.76/1185.13 c 1185s | 26 | 9042548 | 8818652 | 345 63231 | 1 | 0 1186.76/1187.15 c 1187s | 26 | 9056602 | 8832352 | 345 63306 | 1 | 0 1188.77/1189.16 c 1189s | 26 | 9070786 | 8846252 | 345 63382 | 1 | 0 1190.76/1191.17 c 1191s | 26 | 9084976 | 8860052 | 345 63458 | 1 | 0 1192.76/1193.18 c 1193s | 26 | 9098917 | 8873652 | 345 63533 | 1 | 0 1194.75/1195.20 c 1195s | 26 | 9112691 | 8887152 | 345 63607 | 1 | 0 1196.85/1197.21 c 1197s | 26 | 9127275 | 8901352 | 345 63686 | 1 | 0 1198.85/1199.21 c 1199s | 26 | 9141548 | 8915252 | 345 63762 | 1 | 0 1200.86/1201.22 c 1201s | 26 | 9155775 | 8929252 | 345 63839 | 1 | 0 1202.85/1203.22 c 1203s | 26 | 9169605 | 8942852 | 345 63914 | 1 | 0 1204.85/1205.23 c 1205s | 26 | 9183936 | 8956952 | 345 63992 | 1 | 0 1206.85/1207.23 c 1207s | 26 | 9198647 | 8971352 | 345 64071 | 1 | 0 1208.85/1209.24 c 1209s | 26 | 9212866 | 8985352 | 345 64148 | 1 | 0 1210.86/1211.25 c 1211s | 26 | 9227043 | 8999352 | 345 64226 | 1 | 0 1212.85/1213.27 c 1213s | 26 | 9241345 | 9013252 | 345 64303 | 1 | 0 1214.83/1215.28 c 1215s | 26 | 9254970 | 9026652 | 345 64377 | 1 | 0 1216.83/1217.29 c 1217s | 26 | 9269028 | 9040452 | 345 64453 | 1 | 0 1218.93/1219.30 c 1219s | 26 | 9282857 | 9053952 | 345 64527 | 1 | 0 1220.93/1221.30 c 1221s | 26 | 9297172 | 9067652 | 345 64603 | 1 | 0 1222.94/1223.31 c 1223s | 26 | 9311746 | 9081852 | 345 64681 | 1 | 0 1224.93/1225.32 c 1225s | 26 | 9325603 | 9095352 | 345 64756 | 1 | 0 1226.93/1227.32 c 1227s | 26 | 9339438 | 9108852 | 345 64830 | 1 | 0 1228.93/1229.33 c 1229s | 26 | 9353806 | 9122752 | 345 64908 | 1 | 0 1230.93/1231.34 c 1231s | 26 | 9368781 | 9137252 | 345 64989 | 1 | 0 1232.92/1233.35 c 1233s | 26 | 9383439 | 9151452 | 345 65067 | 1 | 0 1234.93/1235.35 c 1235s | 26 | 9397582 | 9165252 | 345 65143 | 1 | 0 1236.92/1237.36 c 1237s | 26 | 9411374 | 9178752 | 345 65219 | 1 | 0 1238.92/1239.37 c 1239s | 26 | 9425793 | 9192852 | 345 65296 | 1 | 0 1240.92/1241.38 c 1241s | 26 | 9440057 | 9206852 | 345 65371 | 1 | 0 1242.92/1243.39 c 1243s | 26 | 9453804 | 9220252 | 345 65444 | 1 | 0 1244.93/1245.39 c 1245s | 26 | 9466785 | 9232852 | 345 65512 | 1 | 0 1247.03/1247.40 c 1247s | 26 | 9480046 | 9245852 | 345 65584 | 1 | 0 1249.02/1249.41 c 1249s | 26 | 9493531 | 9258952 | 345 65655 | 1 | 0 1251.02/1251.42 c 1251s | 26 | 9507054 | 9272152 | 345 65726 | 1 | 0 1253.02/1253.44 c 1253s | 26 | 9520549 | 9285452 | 345 65799 | 1 | 0 1255.02/1255.44 c 1255s | 26 | 9534101 | 9298752 | 345 65872 | 1 | 0 1257.03/1257.44 c 1257s | 26 | 9547687 | 9312152 | 345 65945 | 1 | 0 1259.02/1259.45 c 1259s | 26 | 9561975 | 9326152 | 345 66022 | 1 | 0 1261.02/1261.46 c 1261s | 26 | 9575986 | 9339952 | 345 66098 | 1 | 0 1263.02/1263.47 c 1263s | 26 | 9589997 | 9353752 | 345 66174 | 1 | 0 1265.02/1265.48 c 1265s | 26 | 9603711 | 9367252 | 345 66248 | 1 | 0 1267.02/1267.48 c 1267s | 26 | 9617630 | 9380952 | 345 66323 | 1 | 0 1269.02/1269.49 c 1269s | 26 | 9631534 | 9394652 | 345 66399 | 1 | 0 1271.11/1271.50 c 1271s | 26 | 9645601 | 9408552 | 345 66476 | 1 | 0 1273.11/1273.51 c 1273s | 26 | 9659747 | 9422552 | 345 66554 | 1 | 0 1275.11/1275.52 c 1275s | 26 | 9674139 | 9436752 | 345 66632 | 1 | 0 1277.11/1277.52 c 1277s | 26 | 9688239 | 9450652 | 345 66710 | 1 | 0 1279.11/1279.53 c 1279s | 26 | 9702005 | 9464152 | 345 66784 | 1 | 0 1281.11/1281.53 c 1281s | 26 | 9716118 | 9477952 | 345 66859 | 1 | 0 1283.10/1283.54 c 1283s | 26 | 9729692 | 9491252 | 345 66932 | 1 | 0 1285.10/1285.55 c 1285s | 26 | 9743044 | 9504252 | 345 67003 | 1 | 0 1287.10/1287.56 c 1287s | 26 | 9756343 | 9517252 | 345 67075 | 1 | 0 1289.10/1289.56 c 1289s | 26 | 9769568 | 9530252 | 345 67146 | 1 | 0 1291.11/1291.57 c 1291s | 26 | 9782482 | 9542852 | 345 67216 | 1 | 0 1293.10/1293.57 c 1293s | 26 | 9795841 | 9555952 | 345 67289 | 1 | 0 1295.10/1295.58 c 1295s | 26 | 9809728 | 9569452 | 345 67363 | 1 | 0 1297.20/1297.60 c 1297s | 26 | 9823092 | 9582452 | 345 67435 | 1 | 0 1299.20/1299.60 c 1299s | 26 | 9835877 | 9594952 | 345 67504 | 1 | 0 1301.20/1301.60 c 1301s | 26 | 9848866 | 9607652 | 345 67574 | 1 | 0 1303.20/1303.61 c 1303s | 26 | 9862199 | 9620752 | 345 67647 | 1 | 0 1305.19/1305.62 c 1305s | 26 | 9875569 | 9633852 | 345 67720 | 1 | 0 1307.19/1307.63 c 1307s | 26 | 9889521 | 9647552 | 345 67795 | 1 | 0 1309.19/1309.64 c 1309s | 26 | 9902931 | 9660752 | 345 67868 | 1 | 0 1311.19/1311.65 c 1311s | 26 | 9916781 | 9674152 | 345 67943 | 1 | 0 1313.20/1313.66 c 1313s | 26 | 9930210 | 9687352 | 345 68015 | 1 | 0 1315.20/1315.67 c 1315s | 26 | 9944391 | 9701252 | 345 68092 | 1 | 0 1317.19/1317.68 c 1317s | 26 | 9958090 | 9714652 | 345 68165 | 1 | 0 1319.19/1319.70 c 1319s | 26 | 9971961 | 9728252 | 345 68240 | 1 | 0 1321.29/1321.70 c 1321s | 26 | 9986081 | 9742052 | 345 68316 | 1 | 0 1323.29/1323.71 c 1323s | 26 | 10000368 | 9756052 | 345 68393 | 1 | 0 1325.29/1325.72 c 1325s | 26 | 10014873 | 9770152 | 345 68470 | 1 | 0 1327.29/1327.73 c 1327s | 26 | 10028662 | 9783652 | 345 68544 | 1 | 0 1329.28/1329.73 c 1329s | 26 | 10042678 | 9797352 | 345 68619 | 1 | 0 1331.28/1331.74 c 1331s | 26 | 10056280 | 9810752 | 345 68694 | 1 | 0 1333.28/1333.76 c 1333s | 26 | 10069790 | 9824052 | 345 68767 | 1 | 0 1335.28/1335.76 c 1335s | 26 | 10083922 | 9837852 | 345 68844 | 1 | 0 1337.29/1337.77 c 1337s | 26 | 10097268 | 9850952 | 345 68916 | 1 | 0 1339.28/1339.78 c 1339s | 26 | 10110790 | 9864252 | 345 68990 | 1 | 0 1341.28/1341.79 c 1341s | 26 | 10124282 | 9877452 | 345 69063 | 1 | 0 1343.28/1343.79 c 1343s | 26 | 10137211 | 9890152 | 345 69132 | 1 | 0 1345.38/1345.80 c 1345s | 26 | 10150573 | 9903352 | 345 69205 | 1 | 0 1347.38/1347.81 c 1347s | 26 | 10163918 | 9916452 | 345 69277 | 1 | 0 1349.38/1349.82 c 1349s | 26 | 10177289 | 9929552 | 345 69349 | 1 | 0 1351.37/1351.83 c 1351s | 26 | 10190742 | 9942752 | 345 69422 | 1 | 0 1353.37/1353.84 c 1353s | 26 | 10204691 | 9956552 | 345 69498 | 1 | 0 1355.37/1355.85 c 1355s | 26 | 10218576 | 9970152 | 345 69572 | 1 | 0 1357.37/1357.86 c 1357s | 26 | 10231871 | 9983252 | 345 69645 | 1 | 0 1359.37/1359.86 c 1359s | 26 | 10244889 | 9996052 | 345 69716 | 1 | 0 1361.38/1361.87 c 1361s | 26 | 10258346 | 10009252 | 345 69789 | 1 | 0 1363.37/1363.88 c 1363s | 26 | 10272018 | 10022752 | 345 69863 | 1 | 0 1365.37/1365.89 c 1365s | 26 | 10285297 | 10035952 | 345 69936 | 1 | 0 1367.47/1367.90 c 1367s | 26 | 10299319 | 10049752 | 345 70012 | 1 | 0 1369.47/1369.91 c 1369s | 26 | 10312897 | 10063052 | 345 70084 | 1 | 0 1371.47/1371.92 c 1371s | 26 | 10326250 | 10076152 | 345 70156 | 1 | 0 1373.48/1373.94 c 1373s | 26 | 10339200 | 10088952 | 345 70227 | 1 | 0 1375.47/1375.94 c 1375s | 26 | 10352016 | 10101552 | 345 70296 | 1 | 0 1377.48/1377.95 c 1377s | 26 | 10365893 | 10115152 | 345 70371 | 1 | 0 1379.48/1379.95 c 1379s | 26 | 10379470 | 10128552 | 345 70445 | 1 | 0 1381.48/1381.96 c 1381s | 26 | 10392983 | 10141852 | 345 70518 | 1 | 0 1383.48/1383.96 c 1383s | 26 | 10406432 | 10155052 | 345 70590 | 1 | 0 1385.48/1385.97 c 1385s | 26 | 10419831 | 10168252 | 345 70663 | 1 | 0 1387.47/1387.98 c 1387s | 26 | 10433325 | 10181552 | 345 70737 | 1 | 0 1389.47/1389.98 c 1389s | 26 | 10446868 | 10194852 | 345 70810 | 1 | 0 1391.57/1392.00 c 1391s | 26 | 10460580 | 10208352 | 345 70885 | 1 | 0 1393.57/1394.01 c 1393s | 26 | 10474418 | 10221952 | 345 70960 | 1 | 0 1395.58/1396.02 c 1396s | 26 | 10487350 | 10234752 | 345 71031 | 1 | 0 1397.57/1398.02 c 1398s | 26 | 10500533 | 10247752 | 345 71103 | 1 | 0 1399.57/1400.03 c 1400s | 26 | 10514038 | 10261052 | 345 71178 | 1 | 0 1401.57/1402.04 c 1402s | 26 | 10527414 | 10274252 | 345 71252 | 1 | 0 1403.57/1404.05 c 1404s | 26 | 10540997 | 10287652 | 345 71327 | 1 | 0 1405.57/1406.06 c 1406s | 26 | 10554606 | 10301052 | 345 71403 | 1 | 0 1407.58/1408.06 c 1408s | 26 | 10567752 | 10313952 | 345 71475 | 1 | 0 1409.57/1410.07 c 1410s | 26 | 10580829 | 10326752 | 345 71546 | 1 | 0 1411.57/1412.08 c 1412s | 26 | 10594224 | 10339852 | 345 71619 | 1 | 0 1413.57/1414.09 c 1414s | 26 | 10607713 | 10353052 | 345 71691 | 1 | 0 1415.67/1416.10 c 1416s | 26 | 10620727 | 10365752 | 345 71762 | 1 | 0 1417.67/1418.11 c 1418s | 26 | 10634017 | 10378752 | 345 71834 | 1 | 0 1419.67/1420.11 c 1420s | 26 | 10647264 | 10391652 | 345 71906 | 1 | 0 1421.66/1422.12 c 1422s | 26 | 10660685 | 10404852 | 345 71979 | 1 | 0 1423.66/1424.13 c 1424s | 26 | 10674263 | 10418152 | 345 72054 | 1 | 0 1425.66/1426.14 c 1426s | 26 | 10688044 | 10431652 | 345 72130 | 1 | 0 1427.66/1428.14 c 1428s | 26 | 10701581 | 10444952 | 345 72204 | 1 | 0 1429.67/1430.14 c 1430s | 26 | 10715492 | 10458552 | 345 72280 | 1 | 0 1431.66/1432.14 c 1432s | 26 | 10729375 | 10472152 | 345 72356 | 1 | 0 1433.66/1434.15 c 1434s | 26 | 10743426 | 10485952 | 345 72433 | 1 | 0 1435.66/1436.15 c 1436s | 26 | 10757258 | 10499552 | 345 72509 | 1 | 0 1437.66/1438.16 c 1438s | 26 | 10771228 | 10513252 | 345 72585 | 1 | 0 1439.66/1440.16 c 1440s | 26 | 10784989 | 10526752 | 345 72661 | 1 | 0 1441.67/1442.17 c 1442s | 26 | 10798620 | 10540152 | 345 72736 | 1 | 0 1443.66/1444.17 c 1444s | 26 | 10812562 | 10553852 | 345 72813 | 1 | 0 1445.66/1446.18 c 1446s | 26 | 10826892 | 10567852 | 345 72891 | 1 | 0 1447.66/1448.18 c 1448s | 26 | 10841156 | 10581852 | 345 72970 | 1 | 0 1449.76/1450.20 c 1450s | 26 | 10855248 | 10595652 | 345 73047 | 1 | 0 1451.77/1452.20 c 1452s | 26 | 10868924 | 10609052 | 345 73123 | 1 | 0 1453.77/1454.21 c 1454s | 26 | 10882761 | 10622652 | 345 73199 | 1 | 0 1455.76/1456.21 c 1456s | 26 | 10896750 | 10636352 | 345 73277 | 1 | 0 1457.76/1458.23 c 1458s | 26 | 10910941 | 10650252 | 345 73356 | 1 | 0 1459.76/1460.23 c 1460s | 26 | 10925087 | 10664152 | 345 73433 | 1 | 0 1461.76/1462.23 c 1462s | 26 | 10939111 | 10677952 | 345 73508 | 1 | 0 1463.77/1464.24 c 1464s | 26 | 10952903 | 10691552 | 345 73582 | 1 | 0 1465.76/1466.25 c 1466s | 26 | 10967098 | 10705552 | 345 73658 | 1 | 0 1467.76/1468.26 c 1468s | 26 | 10980676 | 10718952 | 345 73732 | 1 | 0 1469.76/1470.26 c 1470s | 26 | 10994041 | 10732152 | 345 73804 | 1 | 0 1471.76/1472.27 c 1472s | 26 | 11007799 | 10745652 | 345 73878 | 1 | 0 1473.76/1474.27 c 1474s | 26 | 11021565 | 10759152 | 345 73952 | 1 | 0 1475.77/1476.28 c 1476s | 26 | 11035242 | 10772652 | 345 74026 | 1 | 0 1477.76/1478.28 c 1478s | 26 | 11049212 | 10786352 | 345 74101 | 1 | 0 1479.76/1480.29 c 1480s | 26 | 11063062 | 10799952 | 345 74175 | 1 | 0 1481.86/1482.30 c 1482s | 26 | 11077030 | 10813652 | 345 74251 | 1 | 0 1483.86/1484.31 c 1484s | 26 | 11090936 | 10827252 | 345 74326 | 1 | 0 1485.86/1486.32 c 1486s | 26 | 11104831 | 10840852 | 345 74401 | 1 | 0 1487.86/1488.33 c 1488s | 26 | 11118717 | 10854452 | 345 74476 | 1 | 0 1489.86/1490.35 c 1490s | 26 | 11131921 | 10867452 | 345 74547 | 1 | 0 1491.85/1492.35 c 1492s | 26 | 11145489 | 10880852 | 345 74621 | 1 | 0 1493.85/1494.35 c 1494s | 26 | 11158887 | 10894052 | 345 74694 | 1 | 0 1495.85/1496.36 c 1496s | 26 | 11172289 | 10907152 | 345 74766 | 1 | 0 1497.86/1498.37 c 1498s | 26 | 11186106 | 10920652 | 345 74841 | 1 | 0 1499.85/1500.38 c 1500s | 26 | 11199643 | 10933952 | 345 74915 | 1 | 0 1501.85/1502.39 c 1502s | 26 | 11213889 | 10947852 | 345 74991 | 1 | 0 1503.95/1504.40 c 1504s | 26 | 11227370 | 10961052 | 345 75064 | 1 | 0 1505.95/1506.40 c 1506s | 26 | 11241141 | 10974552 | 345 75138 | 1 | 0 1507.95/1508.42 c 1508s | 26 | 11254700 | 10987852 | 345 75211 | 1 | 0 1509.96/1510.42 c 1510s | 26 | 11267908 | 11000852 | 345 75283 | 1 | 0 1511.95/1512.43 c 1512s | 26 | 11281318 | 11014052 | 345 75355 | 1 | 0 1513.95/1514.44 c 1514s | 26 | 11294205 | 11026752 | 345 75425 | 1 | 0 1515.95/1516.44 c 1516s | 26 | 11307772 | 11040052 | 345 75499 | 1 | 0 1517.95/1518.44 c 1518s | 26 | 11320912 | 11052952 | 345 75570 | 1 | 0 1519.95/1520.46 c 1520s | 26 | 11334303 | 11066052 | 345 75642 | 1 | 0 1521.96/1522.47 c 1522s | 26 | 11347407 | 11078952 | 345 75714 | 1 | 0 1523.95/1524.47 c 1524s | 26 | 11360858 | 11092252 | 345 75787 | 1 | 0 1525.95/1526.49 c 1526s | 26 | 11374001 | 11105252 | 345 75859 | 1 | 0 1528.05/1528.50 c 1528s | 26 | 11386675 | 11117752 | 345 75929 | 1 | 0 1530.05/1530.51 c 1530s | 26 | 11399347 | 11130252 | 345 75997 | 1 | 0 1532.05/1532.51 c 1532s | 26 | 11411807 | 11142552 | 345 76065 | 1 | 0 1534.06/1534.52 c 1534s | 26 | 11424878 | 11155452 | 345 76136 | 1 | 0 1536.05/1536.53 c 1536s | 26 | 11437461 | 11167852 | 345 76204 | 1 | 0 1538.05/1538.53 c 1538s | 26 | 11450185 | 11180352 | 345 76273 | 1 | 0 1540.05/1540.54 c 1540s | 26 | 11462953 | 11192952 | 345 76343 | 1 | 0 1542.05/1542.55 c 1542s | 26 | 11475532 | 11205352 | 345 76412 | 1 | 0 1544.06/1544.56 c 1544s | 26 | 11489295 | 11218852 | 345 76487 | 1 | 0 1546.05/1546.58 c 1546s | 26 | 11502603 | 11231952 | 345 76559 | 1 | 0 1548.05/1548.59 c 1548s | 26 | 11515748 | 11244852 | 345 76631 | 1 | 0 1550.15/1550.60 c 1550s | 26 | 11529059 | 11257952 | 345 76705 | 1 | 0 1552.15/1552.61 c 1552s | 26 | 11541977 | 11270652 | 345 76774 | 1 | 0 1554.15/1554.62 c 1554s | 26 | 11555149 | 11283652 | 345 76846 | 1 | 0 1556.15/1556.62 c 1556s | 26 | 11568673 | 11296952 | 345 76919 | 1 | 0 1558.15/1558.62 c 1558s | 26 | 11582763 | 11310652 | 345 76994 | 1 | 0 1560.14/1560.63 c 1560s | 26 | 11596036 | 11323652 | 380 77062 | 1 | 0 1562.14/1562.65 c 1562s | 26 | 11609436 | 11336852 | 380 77128 | 1 | 0 1564.14/1564.65 c 1564s | 26 | 11622283 | 11349552 | 380 77192 | 1 | 0 1566.14/1566.66 c 1566s | 26 | 11634932 | 11362052 | 380 77255 | 1 | 0 1568.15/1568.66 c 1568s | 26 | 11647806 | 11374652 | 380 77318 | 1 | 0 1570.14/1570.67 c 1570s | 26 | 11660967 | 11387552 | 380 77384 | 1 | 0 1571.55/1572.09 c 1572s | 27 | 11670314 | 11396733 | 380 77430 | 1 | 0 1573.54/1574.09 c 1574s | 27 | 11683826 | 11409933 | 380 77495 | 1 | 0 1575.54/1576.09 c 1576s | 27 | 11697619 | 11423433 | 380 77562 | 1 | 0 1577.54/1578.09 c 1578s | 27 | 11711727 | 11437133 | 380 77629 | 1 | 0 1579.65/1580.10 c 1580s | 27 | 11725421 | 11450533 | 380 77696 | 1 | 0 1581.65/1582.11 c 1582s | 27 | 11739402 | 11464133 | 380 77763 | 1 | 0 1583.65/1584.12 c 1584s | 27 | 11753200 | 11477633 | 380 77829 | 1 | 0 1585.65/1586.13 c 1586s | 27 | 11766944 | 11491133 | 380 77896 | 1 | 0 1587.64/1588.13 c 1588s | 27 | 11780590 | 11504533 | 380 77963 | 1 | 0 1589.64/1590.14 c 1590s | 27 | 11794434 | 11518133 | 380 78030 | 1 | 0 1591.64/1592.14 c 1592s | 27 | 11808091 | 11531533 | 380 78096 | 1 | 0 1593.64/1594.15 c 1594s | 27 | 11821593 | 11544833 | 380 78162 | 1 | 0 1595.65/1596.15 c 1596s | 27 | 11835135 | 11558133 | 380 78228 | 1 | 0 1597.64/1598.16 c 1598s | 27 | 11848942 | 11571733 | 380 78295 | 1 | 0 1599.64/1600.17 c 1600s | 27 | 11862643 | 11585233 | 380 78363 | 1 | 0 1601.64/1602.18 c 1602s | 27 | 11876636 | 11598933 | 380 78430 | 1 | 0 1603.64/1604.19 c 1604s | 27 | 11890018 | 11612033 | 380 78496 | 1 | 0 1605.74/1606.20 c 1606s | 27 | 11903129 | 11624833 | 380 78560 | 1 | 0 1607.64/1608.20 c 1608s | 27 | 11916066 | 11637433 | 380 78622 | 1 | 0 1609.74/1610.21 c 1610s | 27 | 11928884 | 11650033 | 380 78684 | 1 | 0 1611.74/1612.21 c 1612s | 27 | 11941424 | 11662333 | 380 78745 | 1 | 0 1613.74/1614.21 c 1614s | 27 | 11954722 | 11675333 | 380 78810 | 1 | 0 1615.74/1616.22 c 1616s | 27 | 11968893 | 11689133 | 380 78879 | 1 | 0 1617.74/1618.23 c 1618s | 27 | 11983065 | 11702933 | 380 78947 | 1 | 0 1619.73/1620.23 c 1620s | 27 | 11996682 | 11716233 | 380 79013 | 1 | 0 1621.73/1622.23 c 1622s | 27 | 12010519 | 11729733 | 380 79080 | 1 | 0 1623.73/1624.23 c 1624s | 27 | 12024297 | 11743033 | 380 79146 | 1 | 0 1625.73/1626.25 c 1626s | 27 | 12038333 | 11756733 | 380 79214 | 1 | 0 1627.73/1628.26 c 1628s | 27 | 12052136 | 11770233 | 380 79280 | 1 | 0 1629.74/1630.27 c 1630s | 27 | 12065535 | 11783333 | 380 79345 | 1 | 0 1631.74/1632.27 c 1632s | 27 | 12078812 | 11796233 | 380 79410 | 1 | 0 1633.74/1634.28 c 1634s | 27 | 12092208 | 11809333 | 380 79475 | 1 | 0 1635.74/1636.29 c 1636s | 27 | 12105350 | 11822233 | 380 79539 | 1 | 0 1637.84/1638.30 c 1638s | 27 | 12118537 | 11835133 | 380 79603 | 1 | 0 1639.84/1640.31 c 1640s | 27 | 12131636 | 11847933 | 380 79667 | 1 | 0 1641.84/1642.31 c 1642s | 27 | 12144724 | 11860633 | 380 79731 | 1 | 0 1643.84/1644.33 c 1644s | 27 | 12157945 | 11873433 | 380 79795 | 1 | 0 1645.83/1646.34 c 1646s | 27 | 12171362 | 11886433 | 380 79860 | 1 | 0 1647.83/1648.34 c 1648s | 27 | 12184481 | 11899233 | 380 79923 | 1 | 0 1649.83/1650.35 c 1650s | 27 | 12197950 | 11912433 | 380 79988 | 1 | 0 1651.84/1652.35 c 1652s | 27 | 12211972 | 11926133 | 380 80056 | 1 | 0 1653.83/1654.37 c 1654s | 27 | 12225998 | 11939833 | 380 80124 | 1 | 0 1655.83/1656.37 c 1656s | 27 | 12239664 | 11953133 | 380 80190 | 1 | 0 1657.83/1658.38 c 1658s | 27 | 12253266 | 11966433 | 380 80256 | 1 | 0 1659.83/1660.39 c 1660s | 27 | 12266589 | 11979433 | 380 80320 | 1 | 0 1661.93/1662.40 c 1662s | 27 | 12280451 | 11992933 | 380 80388 | 1 | 0 1663.94/1664.41 c 1664s | 27 | 12293791 | 12005933 | 380 80452 | 1 | 0 1665.93/1666.41 c 1666s | 27 | 12306978 | 12018833 | 380 80517 | 1 | 0 1667.93/1668.41 c 1668s | 27 | 12320763 | 12032333 | 380 80584 | 1 | 0 1669.93/1670.42 c 1670s | 27 | 12334322 | 12045533 | 380 80650 | 1 | 0 1671.93/1672.44 c 1672s | 27 | 12348080 | 12058933 | 380 80717 | 1 | 0 1673.93/1674.45 c 1674s | 27 | 12361855 | 12072333 | 380 80784 | 1 | 0 1675.93/1676.46 c 1676s | 27 | 12375353 | 12085433 | 380 80850 | 1 | 0 1677.93/1678.47 c 1678s | 27 | 12388681 | 12098433 | 380 80914 | 1 | 0 1679.92/1680.49 c 1680s | 27 | 12401343 | 12110833 | 380 80977 | 1 | 0 1681.92/1682.49 c 1682s | 27 | 12414927 | 12123833 | 380 81041 | 1 | 0 1684.02/1684.50 c 1684s | 27 | 12428024 | 12136433 | 380 81104 | 1 | 0 1686.02/1686.51 c 1686s | 27 | 12441359 | 12149433 | 380 81169 | 1 | 0 1688.03/1688.52 c 1688s | 27 | 12455234 | 12162933 | 380 81237 | 1 | 0 1690.02/1690.53 c 1690s | 27 | 12469522 | 12176533 | 380 81305 | 1 | 0 1692.02/1692.53 c 1692s | 27 | 12483545 | 12190133 | 380 81373 | 1 | 0 1694.02/1694.55 c 1694s | 27 | 12497042 | 12203333 | 380 81440 | 1 | 0 1696.02/1696.55 c 1696s | 27 | 12510880 | 12216833 | 380 81508 | 1 | 0 1698.03/1698.55 c 1698s | 27 | 12524687 | 12230233 | 380 81575 | 1 | 0 1700.02/1700.56 c 1700s | 27 | 12538622 | 12243833 | 380 81644 | 1 | 0 1702.02/1702.57 c 1702s | 27 | 12553034 | 12257733 | 380 81714 | 1 | 0 1704.02/1704.58 c 1704s | 27 | 12567486 | 12271733 | 380 81785 | 1 | 0 1706.02/1706.58 c 1706s | 27 | 12581082 | 12284933 | 380 81851 | 1 | 0 1708.02/1708.59 c 1708s | 27 | 12594883 | 12298433 | 380 81919 | 1 | 0 1710.03/1710.60 c 1710s | 27 | 12608469 | 12311633 | 380 81986 | 1 | 0 1712.12/1712.61 c 1712s | 27 | 12621577 | 12324333 | 380 82049 | 1 | 0 1714.12/1714.62 c 1714s | 27 | 12635169 | 12337633 | 380 82116 | 1 | 0 1716.12/1716.63 c 1716s | 27 | 12648560 | 12350733 | 380 82182 | 1 | 0 1718.13/1718.63 c 1718s | 27 | 12662053 | 12363933 | 380 82248 | 1 | 0 1720.13/1720.64 c 1720s | 27 | 12675452 | 12377133 | 380 82315 | 1 | 0 1722.13/1722.66 c 1722s | 27 | 12689049 | 12390433 | 380 82383 | 1 | 0 1724.12/1724.67 c 1724s | 27 | 12703056 | 12404033 | 380 82451 | 1 | 0 1726.12/1726.68 c 1726s | 27 | 12716573 | 12417233 | 380 82517 | 1 | 0 1728.12/1728.69 c 1728s | 27 | 12730242 | 12430633 | 380 82585 | 1 | 0 1730.22/1730.70 c 1730s | 27 | 12744002 | 12444133 | 380 82653 | 1 | 0 1732.22/1732.70 c 1732s | 27 | 12757976 | 12457833 | 380 82722 | 1 | 0 1734.23/1734.72 c 1734s | 27 | 12771366 | 12470833 | 380 82788 | 1 | 0 1736.22/1736.72 c 1736s | 27 | 12784212 | 12483433 | 380 82851 | 1 | 0 1738.22/1738.73 c 1738s | 27 | 12797340 | 12496233 | 380 82915 | 1 | 0 1740.22/1740.74 c 1740s | 27 | 12811062 | 12509533 | 380 82983 | 1 | 0 1742.22/1742.74 c 1742s | 27 | 12824440 | 12522533 | 380 83047 | 1 | 0 1744.22/1744.74 c 1744s | 27 | 12838073 | 12535733 | 380 83113 | 1 | 0 1746.22/1746.75 c 1746s | 27 | 12851177 | 12548533 | 380 83177 | 1 | 0 1748.22/1748.77 c 1748s | 27 | 12865105 | 12561933 | 380 83244 | 1 | 0 1750.22/1750.78 c 1750s | 27 | 12878950 | 12575433 | 380 83313 | 1 | 0 1752.22/1752.78 c 1752s | 27 | 12892967 | 12589033 | 380 83382 | 1 | 0 1754.21/1754.79 c 1754s | 27 | 12906465 | 12602033 | 380 83447 | 1 | 0 1756.32/1756.81 c 1756s | 27 | 12919620 | 12614733 | 380 83510 | 1 | 0 1758.31/1758.81 c 1758s | 27 | 12932607 | 12627333 | 380 83574 | 1 | 0 1760.31/1760.81 c 1760s | 27 | 12945862 | 12640233 | 380 83639 | 1 | 0 1762.31/1762.81 c 1762s | 27 | 12958899 | 12652933 | 380 83703 | 1 | 0 1764.31/1764.82 c 1764s | 27 | 12972209 | 12665933 | 380 83769 | 1 | 0 1766.31/1766.82 c 1766s | 27 | 12985373 | 12678733 | 380 83833 | 1 | 0 1768.32/1768.83 c 1768s | 27 | 12998367 | 12691433 | 380 83897 | 1 | 0 1770.31/1770.83 c 1770s | 27 | 13012183 | 12704833 | 380 83965 | 1 | 0 1772.31/1772.84 c 1772s | 27 | 13025392 | 12717733 | 380 84031 | 1 | 0 1774.31/1774.85 c 1774s | 27 | 13039290 | 12731333 | 380 84100 | 1 | 0 1776.31/1776.86 c 1776s | 27 | 13052632 | 12744433 | 380 84165 | 1 | 0 1778.32/1778.87 c 1778s | 27 | 13065954 | 12757433 | 380 84230 | 1 | 0 1780.31/1780.88 c 1780s | 27 | 13079285 | 12770433 | 380 84296 | 1 | 0 1782.31/1782.88 c 1782s | 27 | 13092878 | 12783633 | 380 84362 | 1 | 0 1784.31/1784.89 c 1784s | 27 | 13105739 | 12796133 | 380 84425 | 1 | 0 1786.41/1786.90 c 1786s | 27 | 13119190 | 12809233 | 380 84492 | 1 | 0 1788.41/1788.90 c 1788s | 27 | 13132356 | 12822133 | 380 84557 | 1 | 0 1790.41/1790.91 c 1790s | 27 | 13146229 | 12835633 | 380 84626 | 1 | 0 1792.41/1792.92 c 1792s | 27 | 13159359 | 12848533 | 380 84691 | 1 | 0 1794.41/1794.93 c 1794s | 27 | 13172736 | 12861633 | 380 84758 | 1 | 0 1796.41/1796.93 c 1796s | 27 | 13186389 | 12874933 | 380 84826 | 1 | 0 1798.40/1798.95 c 1798s | 27 | 13200702 | 12888833 | 380 84897 | 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-4079737-1465244312/watcher-4079737-1465244312 -o /tmp/evaluation-result-4079737-1465244312/solver-4079737-1465244312 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079737-1465244312.opb pid=2596 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.30 2.26 2.19 3/179 2599 /proc/meminfo: memFree=29283556/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=688572 CPUtime=0 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 2564 0 0 0 0 0 0 0 20 0 4 0 106364784 705097728 2925 33554432000 4194304 16246674 140736182199184 140736182198608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 172911 2933 441 2943 0 169805 0 [pid=2599/tid=2600] ppid=2596 vsize=733628 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 751235072 3100 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=737724 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 755429376 3117 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=741820 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106364784 759623680 3133 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100166 s] /proc/loadavg: 2.30 2.26 2.19 3/179 2599 /proc/meminfo: memFree=29283556/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 19164 0 0 0 7 2 0 0 20 0 4 0 106364784 1247350784 19513 33554432000 4194304 16246674 140736182199184 140736182198608 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 304529 19519 753 2943 0 301423 0 [pid=2599/tid=2600] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 19525 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 19528 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 19531 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200593 s] /proc/loadavg: 2.30 2.26 2.19 3/179 2599 /proc/meminfo: memFree=29283556/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 34748 0 0 0 14 4 0 0 20 0 4 0 106364784 1247350784 35097 33554432000 4194304 16246674 140736182199184 140736182198608 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 304529 35103 753 2943 0 301423 0 [pid=2599/tid=2600] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 35105 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 35110 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 35114 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.30047 s] /proc/loadavg: 2.30 2.26 2.19 3/179 2599 /proc/meminfo: memFree=29283556/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1218116 CPUtime=0.28 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 50683 0 0 0 22 6 0 0 20 0 4 0 106364784 1247350784 51032 33554432000 4194304 16246674 140736182199184 140736182198608 6021133 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 304529 51038 753 2943 0 301423 0 [pid=2599/tid=2600] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 51042 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 51049 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 51057 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700396 s] /proc/loadavg: 2.30 2.26 2.19 3/179 2599 /proc/meminfo: memFree=29283556/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 113706 0 0 0 54 15 0 0 20 0 4 0 106364784 1247350784 114055 33554432000 4194304 16246674 140736182199184 140736182198608 6021055 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 304529 114064 753 2943 0 301423 0 [pid=2599/tid=2600] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 114068 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 114071 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 114078 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50036 s] /proc/loadavg: 2.30 2.26 2.19 3/183 2603 /proc/meminfo: memFree=28568856/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1218116 CPUtime=1.49 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 243579 0 0 0 117 32 0 0 20 0 4 0 106364784 1247350784 243928 33554432000 4194304 16246674 140736182199184 140736182182184 5602147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 304529 243932 753 2943 0 301423 0 [pid=2599/tid=2600] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 243935 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 243939 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106364784 1247350784 243944 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10036 s] /proc/loadavg: 2.30 2.26 2.19 3/183 2603 /proc/meminfo: memFree=28300752/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267387 0 0 0 274 35 0 0 20 0 4 0 106364784 1337528320 267713 33554432000 4194304 16246674 140736182199184 140736182181056 5724787 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267713 824 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267713 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267713 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267713 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.35 2.27 2.20 3/183 2603 /proc/meminfo: memFree=28213224/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267439 0 0 0 594 35 0 0 20 0 4 0 106364784 1337528320 267765 33554432000 4194304 16246674 140736182199184 140736182181056 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267765 824 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267765 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267765 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267765 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.33 2.26 2.20 3/183 2603 /proc/meminfo: memFree=28214064/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=12.68 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267453 0 0 0 1233 35 0 0 20 0 4 0 106364784 1337528320 267779 33554432000 4194304 16246674 140736182199184 140736182181056 12415676 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267779 824 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267779 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267779 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267779 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.39 2.28 2.20 3/183 2603 /proc/meminfo: memFree=28213492/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=25.48 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267467 0 0 0 2513 35 0 0 20 0 4 0 106364784 1337528320 267793 33554432000 4194304 16246674 140736182199184 140736182182184 5677392 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267793 825 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267793 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267793 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267793 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.46 2.31 2.21 3/183 2603 /proc/meminfo: memFree=28213472/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=51.09 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267476 0 0 0 5073 36 0 0 20 0 4 0 106364784 1337528320 267802 33554432000 4194304 16246674 140736182199184 140736182182184 5589208 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267802 825 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267802 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267802 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267802 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1306180 [startup+102.3 s] /proc/loadavg: 2.29 2.29 2.21 3/184 2607 /proc/meminfo: memFree=28213364/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=102.28 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267497 0 0 0 10192 36 0 0 20 0 4 0 106364784 1337528320 267823 33554432000 4194304 16246674 140736182199184 140736182181056 6023384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267823 828 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267823 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267823 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267823 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1306180 [startup+1362.3 s] /proc/loadavg: 2.38 2.32 2.27 3/183 2638 /proc/meminfo: memFree=28208612/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=1361.87 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267958 0 0 0 136133 54 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 140736182181056 6021376 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267948 829 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1306180 [startup+1422.3 s] /proc/loadavg: 2.18 2.28 2.26 3/183 2639 /proc/meminfo: memFree=28209148/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=1421.87 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267958 0 0 0 142132 55 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 140736182181056 5553792 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267948 829 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1306180 [startup+1482.3 s] /proc/loadavg: 2.29 2.28 2.27 3/183 2640 /proc/meminfo: memFree=28208896/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=1481.86 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267958 0 0 0 148130 56 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 140736182181056 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267948 829 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1306180 [startup+1542.31 s] /proc/loadavg: 2.36 2.31 2.27 3/183 2642 /proc/meminfo: memFree=28208776/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=1541.86 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267958 0 0 0 154129 57 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 140736182181056 13759557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267948 829 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1306180 [startup+1602.3 s] /proc/loadavg: 2.17 2.26 2.26 3/183 2643 /proc/meminfo: memFree=28209016/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=1601.84 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267958 0 0 0 160126 58 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 140736182181056 6012046 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267948 829 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1306180 [startup+1662.3 s] /proc/loadavg: 2.23 2.26 2.26 3/183 2693 /proc/meminfo: memFree=28214044/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=1661.83 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267958 0 0 0 166124 59 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 140736182182184 5711514 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267948 829 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1306180 [startup+1722.3 s] /proc/loadavg: 2.20 2.24 2.25 3/183 2694 /proc/meminfo: memFree=28213440/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=1721.83 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267958 0 0 0 172123 60 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 140736182181056 6012330 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267948 829 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1306180 [startup+1782.3 s] /proc/loadavg: 2.20 2.24 2.25 3/183 2695 /proc/meminfo: memFree=28213136/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=1781.81 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267958 0 0 0 178121 60 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 140736182181056 5710360 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267948 829 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1306180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.23 2.24 2.25 4/183 2695 /proc/meminfo: memFree=28213388/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=1800 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267958 0 0 0 179940 60 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 140736182181056 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267948 829 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1306180 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 2599 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.23 2.24 2.25 4/183 2695 /proc/meminfo: memFree=28213388/32872528 swapFree=16080/1655368 [pid=2599] ppid=2596 vsize=1306180 CPUtime=1800 cores=0,2,4,6 /proc/2599/stat : 2599 (toysat) R 2596 2599 32454 0 -1 4202496 267958 0 0 0 179940 60 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 140736182181056 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2599/statm: 326545 267948 829 2943 0 323439 0 [pid=2599/tid=2600] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2600/stat : 2600 (toysat) S 2596 2599 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866180398320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2599/tid=2601] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2601/stat : 2601 (toysat) S 2596 2599 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866169908464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2599/tid=2602] ppid=2596 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2599/task/2602/stat : 2602 (toysat) S 2596 2599 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106364784 1337528320 267948 33554432000 4194304 16246674 140736182199184 139866159434928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1306180 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.41 CPU system time (s): 0.609907 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1306180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.41 system time used= 0.609907 maximum resident set size= 1071792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 267958 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= 356 involuntary context switches= 1874 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.3264 second user time and 16.8284 second system time The end
Begin job on node122 at 2016-06-06 22:18:32 IDJOB=4079737 IDBENCH=2900 IDSOLVER=2542 FILE ID=node122/4079737-1465244312 RUNJOBID= node122-1465218907-32470 PBS_JOBID= 19843205 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079737-1465244312/watcher-4079737-1465244312 -o /tmp/evaluation-result-4079737-1465244312/solver-4079737-1465244312 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079737-1465244312.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 487945ea0e229650aa78cf341d4ff673 RANDOM SEED=1583849882 node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 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: 29284200 kB Buffers: 48836 kB Cached: 104316 kB SwapCached: 860 kB Active: 1153880 kB Inactive: 74716 kB Active(anon): 1076128 kB Inactive(anon): 1584 kB Active(file): 77752 kB Inactive(file): 73132 kB Unevictable: 1655368 kB Mlocked: 16080 kB SwapTotal: 67108856 kB SwapFree: 67099464 kB Dirty: 16408 kB Writeback: 0 kB AnonPages: 2730076 kB Mapped: 10364 kB Shmem: 0 kB Slab: 568184 kB SReclaimable: 12272 kB SUnreclaim: 555912 kB KernelStack: 1456 kB PageTables: 9492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2875016 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1644544 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= 71712 MiB End job on node122 at 2016-06-06 22:48:33