| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/ subsetcard/normalized-subsetcard-geq-fixedbandwidth-40.opb |
| MD5SUM | 1e15440c5c5c87ea1b9db448ab7b0aa0 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.009997 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 161 |
| Total number of constraints | 80 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 8 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-16T20:30:52+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-4096092-1466101852.opb"] 0.00/0.01 c use --random-gen="48949806 3192054282 291047206 464827670 923109803 2558530415 1619704110 2599839192 1033872779 832669114 419951654 877872806 2940466584 874324029 2122305711 3765887017 2276059366 2834692813 3970564178 755705625 1156946587 3043979620 2069708208 690696419 1953602762 195737558 3218170976 946754415 197432261 78190282 3841050531 2676696482 4023556823 789275264 2084391223 3492816149 1167648048 72023580 2761280719 125010339 274535953 632586036 884113149 4135397653 779699064 2125178017 1394078194 1687428509 441607776 1588270857 1712530677 1977700339 3091782769 1707997655 1560837122 3329297919 526510291 2040674704 3184798721 1164438078 2731838032 1441525797 2479223633 1862218179 1070665093 2369049732 4196373518 3395763196 427721118 1614204257 2701672754 3683121026 860309045 3757708602 4228131207 1795452205 2308351144 3890499659 899114410 783014212 3255669395 1784797246 3745316399 813608313 3385032140 2324629417 3831575961 3970213325 3794164436 1781414167 3519534825 4128230517 226444032 18600889 3398716141 1949897623 1622344230 1421890448 2113929172 1511686804 2716394909 3380602361 2135977393 2435623511 2364041601 947921902 592369804 3793342135 47258952 261166941 3116531166 2465481505 1317507783 66533301 268701748 1261475531 3351336961 1028143187 848781004 4289065355 3345025544 3184554526 2660780811 809840325 474939886 2942414892 387029318 2103784676 914427304 232441641 1188829516 326501449 1409838315 1322189685 248924365 1709685746 3075750299 3595339574 647795789 3255359808 1000584492 3533903254 2023175761 1721465663 1897406583 1930836515 1335773531 1992082893 2094536322 643025389 2139075790 271307806 2345648147 3809221711 660583273 861349861 3528639260 3567036999 1118543422 3148834298 3048219838 343865424 89788449 1326231396 417903501 1121395667 541783585 501386309 22068390 227191052 1979701159 1000680674 4204287680 632716266 3978289965 3835817485 3024865959 2829539411 2065474653 4231580144 1476877259 4151346417 1922068880 4227388483 107738117 2498204740 3679288642 3461729317 2673117317 1430875435 2733483071 1179126966 3256348626 3075264657 3741780013 1506058163 2329781530 270857350 4072029037 3482120944 1087210873 1076985655 831459263 3095264198 4268435497 686570163 1683624092 2695663434 2802256408 4266447678 3144743183 4275739497 470047511 2661178190 620568904 1534808917 3202270268 3344662105 1459484796 4015546032 2149616461 3406509606 2088693468 3846382294 3118049883 2646856344 3943288319 2306776048 4291364252 841838787 2391591477 346284100 612205131 3541564101 456527516 1968336591 617253816 2017732831 4127205676 649666597 409591135 4011279395 3693739319 791615294 27331258 3818636950 2725529631 1616666249 1307632578 3523210226 1048359329 4049582112 2861526120 2557238528 394875678 350337585 255 362436" option to reproduce the execution 0.00/0.01 c #vars 161 0.00/0.01 c #constraints 80 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 | 80 0 | 0 | 0 0.00/0.02 c 0.0s | 1 | 172 | 100 | 80 0 | 0 | 0 0.00/0.03 c 0.0s | 2 | 393 | 250 | 88 2 | 0 | 0 0.00/0.05 c 0.0s | 3 | 694 | 475 | 97 4 | 0 | 0 0.00/0.08 c 0.1s | 4 | 1239 | 813 | 107 8 | 0 | 0 0.09/0.11 c 0.1s | 5 | 2054 | 1320 | 118 13 | 0 | 0 0.09/0.18 c 0.2s | 6 | 3060 | 2081 | 143 20 | 0 | 0 0.19/0.28 c 0.3s | 7 | 4916 | 3223 | 158 30 | 0 | 0 0.19/0.49 c 0.4s | 8 | 7308 | 4936 | 174 46 | 0 | 0 0.68/0.70 c 0.7s | 9 | 11011 | 7506 | 192 66 | 0 | 0 0.99/1.07 c 1.1s | 10 | 16419 | 11361 | 212 97 | 0 | 0 1.40/1.45 c 1.4s | 11 | 24223 | 17144 | 234 135 | 0 | 0 1.99/2.09 c 2.1s | 12 | 35635 | 25819 | 258 190 | 0 | 0 2.89/2.94 c 2.9s | 13 | 54863 | 38832 | 284 276 | 0 | 0 4.29/4.31 c 4.3s | 14 | 81398 | 58352 | 313 387 | 0 | 0 6.29/6.31 c 6.3s | 14 | 118606 | 86452 | 313 535 | 0 | 0 6.29/6.40 c 6.4s | 15 | 120301 | 87632 | 345 541 | 0 | 0 8.39/8.40 c 8.4s | 15 | 159153 | 116232 | 345 688 | 0 | 0 9.39/9.46 c 9.4s | 16 | 180152 | 131552 | 380 762 | 0 | 0 11.39/11.46 c 11.5s | 16 | 217843 | 159752 | 380 891 | 0 | 0 13.39/13.47 c 13.5s | 16 | 258362 | 188952 | 380 1030 | 0 | 0 13.99/14.05 c 14.0s | 17 | 269633 | 197432 | 419 1071 | 0 | 0 15.99/16.06 c 16.0s | 17 | 304129 | 223132 | 419 1183 | 0 | 0 17.99/18.06 c 18.1s | 17 | 339067 | 249332 | 419 1295 | 0 | 0 19.98/20.07 c 20.1s | 17 | 370286 | 273032 | 419 1391 | 0 | 0 21.88/21.98 c 22.0s | 18 | 401599 | 296252 | 461 1485 | 0 | 0 23.88/23.98 c 24.0s | 18 | 432550 | 318852 | 461 1573 | 0 | 0 25.88/25.99 c 26.0s | 18 | 468251 | 342452 | 461 1667 | 0 | 0 27.89/27.99 c 28.0s | 18 | 506102 | 366552 | 461 1763 | 0 | 0 29.88/30.00 c 30.0s | 18 | 540694 | 390352 | 461 1856 | 0 | 0 31.98/32.00 c 32.0s | 18 | 574003 | 413052 | 461 1948 | 0 | 0 33.98/34.01 c 34.0s | 18 | 604567 | 435252 | 461 2038 | 0 | 0 34.78/34.80 c 34.8s | 19 | 618494 | 444482 | 508 2074 | 0 | 0 36.78/36.80 c 36.8s | 19 | 654944 | 470082 | 508 2169 | 0 | 0 38.69/38.80 c 38.8s | 19 | 689762 | 494682 | 508 2261 | 0 | 0 40.79/40.81 c 40.8s | 19 | 724318 | 518382 | 508 2350 | 0 | 0 42.79/42.82 c 42.8s | 19 | 759960 | 542982 | 508 2442 | 0 | 0 44.79/44.82 c 44.8s | 19 | 794090 | 566882 | 508 2532 | 0 | 0 46.79/46.83 c 46.8s | 19 | 826807 | 590782 | 508 2621 | 0 | 0 48.79/48.83 c 48.8s | 19 | 860603 | 613982 | 508 2708 | 0 | 0 50.79/50.83 c 50.8s | 19 | 893622 | 637882 | 508 2796 | 0 | 0 52.79/52.84 c 52.8s | 19 | 926522 | 661282 | 508 2883 | 0 | 0 53.28/53.34 c 53.3s | 20 | 933924 | 666827 | 559 2902 | 0 | 0 55.29/55.34 c 55.3s | 20 | 968606 | 692527 | 559 2990 | 0 | 0 57.28/57.35 c 57.3s | 20 | 999667 | 715827 | 559 3072 | 0 | 0 59.28/59.35 c 59.3s | 20 | 1031501 | 740027 | 559 3155 | 0 | 0 61.28/61.36 c 61.3s | 20 | 1062497 | 764827 | 559 3239 | 0 | 0 63.28/63.36 c 63.4s | 20 | 1095756 | 789727 | 559 3322 | 0 | 0 65.29/65.36 c 65.4s | 20 | 1126920 | 813027 | 559 3401 | 0 | 0 67.28/67.37 c 67.4s | 20 | 1159788 | 836727 | 559 3479 | 0 | 0 69.28/69.38 c 69.4s | 20 | 1193783 | 862027 | 559 3564 | 0 | 0 71.28/71.38 c 71.4s | 20 | 1228455 | 887327 | 559 3649 | 0 | 0 73.27/73.39 c 73.4s | 20 | 1263722 | 912927 | 559 3735 | 0 | 0 75.27/75.39 c 75.4s | 20 | 1294767 | 936527 | 559 3815 | 0 | 0 77.29/77.39 c 77.4s | 20 | 1328053 | 961027 | 559 3898 | 0 | 0 79.28/79.39 c 79.4s | 20 | 1364177 | 986427 | 559 3985 | 0 | 0 80.48/80.52 c 80.5s | 21 | 1382727 | 1000345 | 615 4030 | 0 | 0 82.48/82.53 c 82.5s | 21 | 1416831 | 1024345 | 615 4101 | 0 | 0 84.48/84.53 c 84.5s | 21 | 1448999 | 1047645 | 615 4170 | 0 | 0 86.48/86.53 c 86.5s | 21 | 1482897 | 1071045 | 615 4240 | 0 | 0 88.48/88.54 c 88.5s | 21 | 1516443 | 1094045 | 615 4309 | 0 | 0 90.48/90.55 c 90.5s | 21 | 1550810 | 1118145 | 615 4382 | 0 | 0 92.48/92.55 c 92.5s | 21 | 1581788 | 1140645 | 615 4452 | 0 | 0 94.47/94.55 c 94.5s | 21 | 1614939 | 1163445 | 615 4523 | 0 | 0 96.47/96.55 c 96.5s | 21 | 1648678 | 1187245 | 615 4597 | 0 | 0 98.47/98.56 c 98.5s | 21 | 1683541 | 1211445 | 615 4671 | 0 | 0 100.48/100.56 c 100s | 21 | 1717657 | 1235345 | 615 4745 | 0 | 0 102.47/102.57 c 102s | 21 | 1751408 | 1259045 | 615 4817 | 0 | 0 104.47/104.57 c 104s | 21 | 1784820 | 1282445 | 615 4888 | 0 | 0 106.47/106.58 c 106s | 21 | 1821787 | 1307345 | 615 4965 | 0 | 0 108.47/108.58 c 108s | 21 | 1856657 | 1332145 | 615 5041 | 0 | 0 110.47/110.58 c 110s | 21 | 1891464 | 1356845 | 615 5118 | 0 | 0 112.48/112.59 c 112s | 21 | 1927358 | 1381345 | 615 5194 | 0 | 0 114.47/114.59 c 114s | 21 | 1958029 | 1404045 | 615 5263 | 0 | 0 116.47/116.59 c 116s | 21 | 1991496 | 1428145 | 615 5338 | 0 | 0 118.47/118.59 c 118s | 21 | 2023960 | 1451445 | 615 5410 | 0 | 0 120.47/120.59 c 120s | 21 | 2058475 | 1475745 | 615 5485 | 0 | 0 122.57/122.60 c 122s | 21 | 2093151 | 1500145 | 677 5556 | 0 | 0 122.57/122.64 c 122s | 22 | 2093820 | 1500622 | 677 5557 | 0 | 0 124.58/124.64 c 124s | 22 | 2126094 | 1521622 | 677 5616 | 0 | 0 126.57/126.65 c 126s | 22 | 2159762 | 1542922 | 677 5676 | 0 | 0 128.57/128.65 c 128s | 22 | 2190291 | 1562922 | 677 5732 | 0 | 0 130.57/130.65 c 130s | 22 | 2223786 | 1584222 | 677 5792 | 0 | 0 132.57/132.65 c 132s | 22 | 2256720 | 1606122 | 677 5854 | 0 | 0 134.58/134.66 c 134s | 22 | 2289248 | 1627622 | 677 5915 | 0 | 0 136.57/136.66 c 136s | 22 | 2320812 | 1648422 | 677 5973 | 0 | 0 138.57/138.66 c 138s | 22 | 2354994 | 1670622 | 677 6036 | 0 | 0 140.57/140.67 c 140s | 22 | 2387969 | 1692122 | 677 6096 | 0 | 0 142.57/142.68 c 142s | 22 | 2421430 | 1713822 | 677 6157 | 0 | 0 144.57/144.68 c 144s | 22 | 2449562 | 1733822 | 677 6213 | 0 | 0 146.57/146.69 c 146s | 22 | 2480731 | 1754622 | 677 6271 | 0 | 0 148.57/148.69 c 148s | 22 | 2512904 | 1775722 | 677 6330 | 0 | 0 150.57/150.69 c 150s | 22 | 2542543 | 1795822 | 677 6387 | 0 | 0 152.66/152.70 c 152s | 22 | 2571341 | 1815522 | 677 6443 | 0 | 0 154.66/154.71 c 154s | 22 | 2599037 | 1834422 | 677 6496 | 0 | 0 156.66/156.72 c 156s | 22 | 2628557 | 1854022 | 677 6551 | 0 | 0 158.67/158.73 c 158s | 22 | 2658753 | 1873922 | 677 6607 | 0 | 0 160.66/160.74 c 160s | 22 | 2684574 | 1892622 | 677 6659 | 0 | 0 162.66/162.74 c 162s | 22 | 2710581 | 1911122 | 677 6711 | 0 | 0 164.66/164.74 c 164s | 22 | 2738287 | 1930422 | 677 6765 | 0 | 0 166.66/166.75 c 166s | 22 | 2768830 | 1950922 | 677 6822 | 0 | 0 168.67/168.75 c 168s | 22 | 2799406 | 1971822 | 677 6880 | 0 | 0 170.66/170.76 c 170s | 22 | 2827270 | 1991422 | 677 6935 | 0 | 0 172.66/172.76 c 172s | 22 | 2854272 | 2010222 | 677 6987 | 0 | 0 174.66/174.76 c 174s | 22 | 2882428 | 2029222 | 677 7041 | 0 | 0 176.67/176.76 c 176s | 22 | 2906744 | 2047022 | 677 7091 | 0 | 0 178.67/178.77 c 178s | 22 | 2936833 | 2067322 | 677 7148 | 0 | 0 180.67/180.78 c 180s | 22 | 2968465 | 2089122 | 677 7209 | 0 | 0 182.67/182.78 c 182s | 22 | 3003789 | 2111822 | 677 7273 | 0 | 0 184.66/184.79 c 184s | 22 | 3033265 | 2132022 | 677 7330 | 0 | 0 186.76/186.80 c 186s | 22 | 3067459 | 2154522 | 677 7394 | 0 | 0 188.76/188.81 c 188s | 22 | 3101095 | 2176322 | 677 7455 | 0 | 0 190.76/190.81 c 190s | 22 | 3137598 | 2199122 | 677 7520 | 0 | 0 192.77/192.82 c 192s | 22 | 3171987 | 2221522 | 677 7583 | 0 | 0 194.76/194.83 c 194s | 22 | 3207647 | 2244222 | 745 7645 | 0 | 0 195.36/195.46 c 195s | 23 | 3218711 | 2251038 | 745 7663 | 0 | 0 197.36/197.46 c 197s | 23 | 3247485 | 2273038 | 745 7719 | 0 | 0 199.37/199.47 c 199s | 23 | 3280083 | 2296638 | 745 7778 | 0 | 0 201.36/201.48 c 201s | 23 | 3306113 | 2317138 | 745 7830 | 0 | 0 203.36/203.48 c 203s | 23 | 3332788 | 2338138 | 745 7883 | 0 | 0 205.36/205.48 c 205s | 23 | 3361951 | 2360238 | 745 7940 | 0 | 0 207.36/207.49 c 207s | 23 | 3390337 | 2381438 | 745 7994 | 0 | 0 209.36/209.49 c 209s | 23 | 3419796 | 2403938 | 745 8052 | 0 | 0 211.36/211.49 c 211s | 23 | 3448984 | 2426038 | 745 8109 | 0 | 0 213.36/213.49 c 213s | 23 | 3479755 | 2449638 | 745 8170 | 0 | 0 215.36/215.49 c 215s | 23 | 3511344 | 2473238 | 745 8230 | 0 | 0 217.36/217.49 c 217s | 23 | 3541181 | 2495538 | 745 8287 | 0 | 0 219.45/219.50 c 219s | 23 | 3574267 | 2518938 | 745 8347 | 0 | 0 221.46/221.50 c 221s | 23 | 3606715 | 2542938 | 745 8409 | 0 | 0 223.45/223.51 c 223s | 23 | 3638413 | 2565438 | 745 8467 | 0 | 0 225.45/225.51 c 225s | 23 | 3670629 | 2587338 | 745 8524 | 0 | 0 227.45/227.51 c 227s | 23 | 3704359 | 2611338 | 745 8585 | 0 | 0 229.45/229.52 c 229s | 23 | 3735746 | 2634438 | 745 8645 | 0 | 0 231.45/231.53 c 231s | 23 | 3766215 | 2657538 | 745 8705 | 0 | 0 233.46/233.53 c 233s | 23 | 3795201 | 2680038 | 745 8763 | 0 | 0 235.45/235.53 c 235s | 23 | 3827318 | 2703338 | 745 8822 | 0 | 0 237.45/237.54 c 237s | 23 | 3858034 | 2726038 | 745 8880 | 0 | 0 239.45/239.54 c 239s | 23 | 3890777 | 2749838 | 745 8942 | 0 | 0 241.46/241.55 c 241s | 23 | 3918562 | 2770938 | 745 8996 | 0 | 0 243.46/243.56 c 243s | 23 | 3946950 | 2792138 | 745 9051 | 0 | 0 245.46/245.56 c 245s | 23 | 3977828 | 2815638 | 745 9113 | 0 | 0 247.46/247.57 c 247s | 23 | 4008162 | 2838238 | 745 9172 | 0 | 0 249.46/249.58 c 249s | 23 | 4040491 | 2862138 | 745 9234 | 0 | 0 251.45/251.58 c 251s | 23 | 4071016 | 2885038 | 745 9293 | 0 | 0 253.45/253.59 c 253s | 23 | 4103282 | 2907538 | 745 9351 | 0 | 0 255.46/255.59 c 255s | 23 | 4132679 | 2928938 | 745 9407 | 0 | 0 257.55/257.60 c 257s | 23 | 4160993 | 2950138 | 745 9462 | 0 | 0 259.55/259.60 c 259s | 23 | 4191177 | 2972238 | 745 9518 | 0 | 0 261.55/261.60 c 261s | 23 | 4222016 | 2995238 | 745 9578 | 0 | 0 263.55/263.61 c 263s | 23 | 4252512 | 3017538 | 745 9636 | 0 | 0 265.55/265.62 c 265s | 23 | 4284384 | 3039538 | 745 9692 | 0 | 0 267.56/267.62 c 267s | 23 | 4314011 | 3060238 | 745 9745 | 0 | 0 269.55/269.63 c 269s | 23 | 4345747 | 3081838 | 745 9801 | 0 | 0 271.55/271.63 c 271s | 23 | 4379396 | 3104938 | 745 9861 | 0 | 0 273.55/273.64 c 273s | 23 | 4409592 | 3126338 | 745 9916 | 0 | 0 275.55/275.64 c 275s | 23 | 4441231 | 3149638 | 745 9976 | 0 | 0 277.56/277.64 c 277s | 23 | 4473061 | 3172738 | 745 10035 | 0 | 0 279.55/279.64 c 279s | 23 | 4501020 | 3193838 | 745 10090 | 0 | 0 281.55/281.65 c 281s | 23 | 4533995 | 3217638 | 745 10151 | 0 | 0 283.55/283.65 c 283s | 23 | 4564685 | 3240438 | 745 10210 | 0 | 0 285.55/285.66 c 285s | 23 | 4595461 | 3263538 | 745 10270 | 0 | 0 287.55/287.66 c 287s | 23 | 4628147 | 3287338 | 745 10332 | 0 | 0 289.55/289.66 c 289s | 23 | 4661580 | 3311538 | 745 10395 | 0 | 0 291.54/291.67 c 291s | 23 | 4692064 | 3334138 | 745 10454 | 0 | 0 293.54/293.68 c 293s | 23 | 4722314 | 3356238 | 820 10510 | 0 | 0 295.55/295.61 c 295s | 24 | 4748596 | 3376662 | 820 10559 | 0 | 0 297.55/297.61 c 297s | 24 | 4777539 | 3397162 | 820 10607 | 0 | 0 299.55/299.62 c 299s | 24 | 4804794 | 3417162 | 820 10654 | 0 | 0 301.55/301.63 c 301s | 24 | 4834334 | 3437762 | 820 10702 | 0 | 0 303.55/303.63 c 303s | 24 | 4865024 | 3459262 | 820 10752 | 0 | 0 305.54/305.63 c 305s | 24 | 4895654 | 3480862 | 820 10803 | 0 | 0 307.54/307.64 c 307s | 24 | 4927505 | 3503062 | 820 10855 | 0 | 0 309.54/309.65 c 309s | 24 | 4960407 | 3525262 | 820 10907 | 0 | 0 311.55/311.66 c 311s | 24 | 4992329 | 3547262 | 820 10958 | 0 | 0 313.54/313.66 c 313s | 24 | 5028088 | 3571262 | 820 11014 | 0 | 0 315.54/315.67 c 315s | 24 | 5059102 | 3592462 | 820 11063 | 0 | 0 317.54/317.68 c 317s | 24 | 5089761 | 3614262 | 820 11114 | 0 | 0 319.54/319.69 c 319s | 24 | 5121130 | 3636262 | 820 11165 | 0 | 0 321.54/321.69 c 321s | 24 | 5152908 | 3658062 | 820 11215 | 0 | 0 323.54/323.70 c 323s | 24 | 5183750 | 3680362 | 820 11267 | 0 | 0 325.64/325.71 c 325s | 24 | 5216230 | 3701962 | 820 11317 | 0 | 0 327.64/327.72 c 327s | 24 | 5248874 | 3724162 | 820 11369 | 0 | 0 329.64/329.72 c 329s | 24 | 5281857 | 3746462 | 820 11421 | 0 | 0 331.64/331.73 c 331s | 24 | 5314849 | 3768562 | 820 11472 | 0 | 0 333.64/333.74 c 333s | 24 | 5341317 | 3788362 | 820 11517 | 0 | 0 335.63/335.74 c 335s | 24 | 5372878 | 3809662 | 820 11567 | 0 | 0 337.64/337.75 c 337s | 24 | 5405647 | 3831562 | 820 11619 | 0 | 0 339.64/339.75 c 339s | 24 | 5437215 | 3853662 | 820 11670 | 0 | 0 341.64/341.76 c 341s | 24 | 5469717 | 3875862 | 820 11722 | 0 | 0 343.64/343.76 c 343s | 24 | 5500266 | 3897362 | 820 11773 | 0 | 0 345.65/345.76 c 345s | 24 | 5529296 | 3918662 | 820 11822 | 0 | 0 347.64/347.77 c 347s | 24 | 5562054 | 3940562 | 820 11873 | 0 | 0 349.64/349.78 c 349s | 24 | 5593280 | 3961762 | 820 11922 | 0 | 0 351.64/351.78 c 351s | 24 | 5626280 | 3983762 | 820 11974 | 0 | 0 353.64/353.78 c 353s | 24 | 5658439 | 4005662 | 820 12025 | 0 | 0 355.64/355.79 c 355s | 24 | 5692853 | 4028362 | 820 12078 | 0 | 0 357.63/357.79 c 357s | 24 | 5725714 | 4050362 | 820 12129 | 0 | 0 359.63/359.80 c 359s | 24 | 5759460 | 4072862 | 820 12182 | 0 | 0 361.73/361.80 c 361s | 24 | 5790640 | 4094062 | 820 12232 | 0 | 0 363.73/363.80 c 363s | 24 | 5821171 | 4115062 | 820 12280 | 0 | 0 365.73/365.81 c 365s | 24 | 5853503 | 4136862 | 820 12332 | 0 | 0 367.74/367.82 c 367s | 24 | 5884533 | 4158062 | 820 12382 | 0 | 0 369.73/369.82 c 369s | 24 | 5917147 | 4180062 | 820 12433 | 0 | 0 371.73/371.83 c 371s | 24 | 5949749 | 4202262 | 820 12485 | 0 | 0 373.74/373.83 c 373s | 24 | 5984719 | 4225262 | 820 12539 | 0 | 0 375.74/375.84 c 375s | 24 | 6017017 | 4247562 | 820 12591 | 0 | 0 377.74/377.84 c 377s | 24 | 6047624 | 4270362 | 820 12644 | 0 | 0 379.74/379.84 c 379s | 24 | 6075004 | 4291262 | 820 12693 | 0 | 0 381.73/381.85 c 381s | 24 | 6101702 | 4310662 | 820 12737 | 0 | 0 383.73/383.86 c 383s | 24 | 6129187 | 4330462 | 820 12784 | 0 | 0 385.73/385.86 c 385s | 24 | 6160226 | 4352062 | 820 12834 | 0 | 0 387.73/387.87 c 387s | 24 | 6188509 | 4373562 | 820 12884 | 0 | 0 389.74/389.88 c 389s | 24 | 6213791 | 4393662 | 820 12930 | 0 | 0 391.73/391.88 c 391s | 24 | 6242903 | 4415762 | 820 12981 | 0 | 0 393.73/393.89 c 393s | 24 | 6270980 | 4436762 | 820 13029 | 0 | 0 395.73/395.90 c 395s | 24 | 6295757 | 4455762 | 820 13073 | 0 | 0 397.83/397.90 c 397s | 24 | 6320987 | 4474762 | 820 13117 | 0 | 0 399.83/399.90 c 399s | 24 | 6345543 | 4493662 | 820 13162 | 0 | 0 401.84/401.91 c 401s | 24 | 6373106 | 4513862 | 820 13210 | 0 | 0 403.83/403.91 c 403s | 24 | 6398878 | 4533062 | 820 13255 | 0 | 0 405.83/405.91 c 405s | 24 | 6424609 | 4552762 | 820 13301 | 0 | 0 407.83/407.92 c 407s | 24 | 6451232 | 4572762 | 820 13349 | 0 | 0 409.83/409.93 c 409s | 24 | 6476521 | 4591862 | 820 13394 | 0 | 0 411.83/411.94 c 411s | 24 | 6502351 | 4610562 | 820 13438 | 0 | 0 413.83/413.95 c 413s | 24 | 6528696 | 4629162 | 820 13481 | 0 | 0 415.83/415.95 c 415s | 24 | 6555198 | 4648562 | 820 13527 | 0 | 0 417.83/417.96 c 417s | 24 | 6580978 | 4667762 | 820 13572 | 0 | 0 419.82/419.96 c 419s | 24 | 6606453 | 4687562 | 820 13618 | 0 | 0 421.82/421.97 c 421s | 24 | 6631447 | 4706262 | 820 13662 | 0 | 0 423.83/423.97 c 423s | 24 | 6657059 | 4725162 | 820 13706 | 0 | 0 425.82/425.98 c 425s | 24 | 6684007 | 4744862 | 820 13752 | 0 | 0 427.82/427.98 c 427s | 24 | 6712850 | 4766362 | 820 13802 | 0 | 0 429.82/429.99 c 429s | 24 | 6741741 | 4787362 | 820 13851 | 0 | 0 431.82/431.99 c 431s | 24 | 6770748 | 4808662 | 820 13900 | 0 | 0 433.82/433.99 c 433s | 24 | 6796641 | 4828362 | 820 13947 | 0 | 0 435.83/436.00 c 435s | 24 | 6825916 | 4849562 | 820 13996 | 0 | 0 437.93/438.01 c 437s | 24 | 6853658 | 4869262 | 820 14042 | 0 | 0 439.93/440.01 c 440s | 24 | 6882390 | 4889962 | 820 14091 | 0 | 0 441.93/442.02 c 442s | 24 | 6911773 | 4910062 | 820 14138 | 0 | 0 443.92/444.03 c 444s | 24 | 6943675 | 4931262 | 820 14187 | 0 | 0 445.92/446.04 c 446s | 24 | 6974604 | 4952662 | 820 14237 | 0 | 0 447.93/448.04 c 448s | 24 | 7004751 | 4973262 | 820 14285 | 0 | 0 449.92/450.05 c 450s | 24 | 7033043 | 4993562 | 820 14331 | 0 | 0 451.92/452.06 c 452s | 24 | 7062899 | 5013762 | 820 14378 | 0 | 0 453.92/454.07 c 454s | 24 | 7090322 | 5032962 | 903 14422 | 0 | 0 455.92/456.08 c 456s | 24 | 7112938 | 5050362 | 903 14459 | 0 | 0 457.72/457.82 c 457s | 25 | 7132171 | 5065098 | 903 14491 | 0 | 0 459.72/459.83 c 459s | 25 | 7157565 | 5084698 | 903 14533 | 0 | 0 461.72/461.83 c 461s | 25 | 7183799 | 5104598 | 903 14575 | 0 | 0 463.72/463.83 c 463s | 25 | 7209717 | 5124698 | 903 14618 | 0 | 0 465.72/465.84 c 465s | 25 | 7238354 | 5145398 | 903 14663 | 0 | 0 467.73/467.84 c 467s | 25 | 7266046 | 5165898 | 903 14707 | 0 | 0 469.72/469.85 c 469s | 25 | 7293912 | 5186898 | 903 14752 | 0 | 0 471.72/471.85 c 471s | 25 | 7323187 | 5208698 | 903 14798 | 0 | 0 473.72/473.86 c 473s | 25 | 7350598 | 5229198 | 903 14842 | 0 | 0 475.71/475.86 c 475s | 25 | 7380746 | 5251298 | 903 14890 | 0 | 0 477.72/477.87 c 477s | 25 | 7412027 | 5274498 | 903 14940 | 0 | 0 479.71/479.87 c 479s | 25 | 7442248 | 5297198 | 903 14988 | 0 | 0 481.71/481.88 c 481s | 25 | 7471860 | 5319298 | 903 15036 | 0 | 0 483.72/483.88 c 483s | 25 | 7502147 | 5341998 | 903 15085 | 0 | 0 485.72/485.88 c 485s | 25 | 7531924 | 5364698 | 903 15133 | 0 | 0 487.72/487.89 c 487s | 25 | 7557086 | 5384298 | 903 15176 | 0 | 0 489.73/489.89 c 489s | 25 | 7585909 | 5405998 | 903 15223 | 0 | 0 491.82/491.90 c 491s | 25 | 7613728 | 5427198 | 903 15268 | 0 | 0 493.82/493.90 c 493s | 25 | 7644010 | 5449498 | 903 15316 | 0 | 0 495.82/495.90 c 495s | 25 | 7672393 | 5470598 | 903 15360 | 0 | 0 497.82/497.91 c 497s | 25 | 7699856 | 5490998 | 903 15402 | 0 | 0 499.82/499.92 c 499s | 25 | 7728063 | 5511998 | 903 15446 | 0 | 0 501.82/501.92 c 501s | 25 | 7758031 | 5534298 | 903 15493 | 0 | 0 503.81/503.93 c 503s | 25 | 7789870 | 5557498 | 903 15542 | 0 | 0 505.81/505.93 c 505s | 25 | 7820270 | 5580498 | 903 15592 | 0 | 0 507.81/507.94 c 507s | 25 | 7849772 | 5602898 | 903 15639 | 0 | 0 509.81/509.95 c 509s | 25 | 7880551 | 5625598 | 903 15688 | 0 | 0 511.82/511.95 c 511s | 25 | 7910063 | 5647398 | 903 15735 | 0 | 0 513.81/513.96 c 513s | 25 | 7938402 | 5668498 | 903 15780 | 0 | 0 515.81/515.96 c 515s | 25 | 7966235 | 5689598 | 903 15825 | 0 | 0 517.81/517.96 c 517s | 25 | 7998539 | 5713198 | 903 15876 | 0 | 0 519.81/519.96 c 519s | 25 | 8027540 | 5735198 | 903 15921 | 0 | 0 521.81/521.97 c 521s | 25 | 8056203 | 5756498 | 903 15966 | 0 | 0 523.81/523.97 c 523s | 25 | 8082346 | 5776798 | 903 16008 | 0 | 0 525.80/525.98 c 525s | 25 | 8109542 | 5797398 | 903 16050 | 0 | 0 527.80/527.98 c 527s | 25 | 8136153 | 5817498 | 903 16092 | 0 | 0 529.80/529.98 c 529s | 25 | 8163293 | 5837698 | 903 16134 | 0 | 0 531.80/531.98 c 531s | 25 | 8190259 | 5857798 | 903 16176 | 0 | 0 533.81/533.98 c 533s | 25 | 8214267 | 5876198 | 903 16214 | 0 | 0 535.80/535.99 c 535s | 25 | 8238494 | 5894298 | 903 16252 | 0 | 0 537.80/537.99 c 537s | 25 | 8262034 | 5912598 | 903 16290 | 0 | 0 539.80/540.00 c 539s | 25 | 8286686 | 5930898 | 903 16328 | 0 | 0 541.91/542.00 c 541s | 25 | 8316527 | 5952698 | 903 16375 | 0 | 0 543.90/544.00 c 543s | 25 | 8347277 | 5974398 | 903 16422 | 0 | 0 545.91/546.01 c 545s | 25 | 8376456 | 5995598 | 903 16467 | 0 | 0 547.90/548.01 c 547s | 25 | 8402019 | 6015998 | 903 16511 | 0 | 0 549.90/550.01 c 550s | 25 | 8431453 | 6038098 | 903 16559 | 0 | 0 551.90/552.02 c 552s | 25 | 8460911 | 6059798 | 903 16607 | 0 | 0 553.90/554.03 c 554s | 25 | 8492324 | 6082798 | 903 16656 | 0 | 0 555.90/556.03 c 556s | 25 | 8520785 | 6103998 | 903 16702 | 0 | 0 557.90/558.03 c 558s | 25 | 8552390 | 6126798 | 903 16751 | 0 | 0 559.89/560.04 c 560s | 25 | 8583112 | 6149198 | 903 16800 | 0 | 0 561.89/562.05 c 562s | 25 | 8613365 | 6171598 | 903 16848 | 0 | 0 563.89/564.05 c 564s | 25 | 8644433 | 6194598 | 903 16897 | 0 | 0 565.89/566.05 c 566s | 25 | 8671854 | 6215898 | 903 16943 | 0 | 0 567.90/568.05 c 568s | 25 | 8700987 | 6237198 | 903 16989 | 0 | 0 569.89/570.05 c 570s | 25 | 8729815 | 6258198 | 903 17034 | 0 | 0 571.90/572.06 c 572s | 25 | 8756983 | 6278798 | 903 17079 | 0 | 0 573.89/574.07 c 574s | 25 | 8785581 | 6299198 | 903 17123 | 0 | 0 575.89/576.07 c 576s | 25 | 8813660 | 6319098 | 903 17166 | 0 | 0 577.89/578.08 c 578s | 25 | 8839876 | 6339198 | 903 17209 | 0 | 0 579.89/580.09 c 580s | 25 | 8865913 | 6358798 | 903 17251 | 0 | 0 581.89/582.10 c 582s | 25 | 8893490 | 6379398 | 903 17295 | 0 | 0 583.98/584.10 c 584s | 25 | 8923660 | 6400498 | 903 17341 | 0 | 0 585.98/586.10 c 586s | 25 | 8955043 | 6422198 | 903 17387 | 0 | 0 587.98/588.10 c 588s | 25 | 8988146 | 6444198 | 903 17435 | 0 | 0 589.98/590.11 c 590s | 25 | 9020671 | 6466098 | 903 17482 | 0 | 0 591.98/592.12 c 592s | 25 | 9051052 | 6486798 | 903 17527 | 0 | 0 593.97/594.12 c 594s | 25 | 9080665 | 6506798 | 903 17570 | 0 | 0 595.98/596.13 c 596s | 25 | 9110218 | 6526898 | 903 17613 | 0 | 0 597.98/598.13 c 598s | 25 | 9138197 | 6546698 | 903 17656 | 0 | 0 599.98/600.13 c 600s | 25 | 9162720 | 6564598 | 903 17694 | 0 | 0 601.99/602.14 c 602s | 25 | 9190872 | 6584598 | 903 17737 | 0 | 0 603.98/604.15 c 604s | 25 | 9218835 | 6604198 | 903 17780 | 0 | 0 605.98/606.16 c 606s | 25 | 9247198 | 6624298 | 903 17823 | 0 | 0 607.98/608.17 c 608s | 25 | 9276277 | 6644598 | 903 17867 | 0 | 0 609.97/610.17 c 610s | 25 | 9304897 | 6664698 | 903 17911 | 0 | 0 611.97/612.17 c 612s | 25 | 9332515 | 6684798 | 903 17954 | 0 | 0 613.98/614.18 c 614s | 25 | 9359732 | 6704298 | 903 17995 | 0 | 0 615.97/616.19 c 616s | 25 | 9388036 | 6724298 | 903 18038 | 0 | 0 617.97/618.19 c 618s | 25 | 9415966 | 6744398 | 903 18082 | 0 | 0 619.97/620.19 c 620s | 25 | 9442949 | 6763798 | 903 18124 | 0 | 0 622.07/622.20 c 622s | 25 | 9470029 | 6784298 | 903 18167 | 0 | 0 624.06/624.20 c 624s | 25 | 9492707 | 6802498 | 903 18207 | 0 | 0 626.08/626.21 c 626s | 25 | 9517221 | 6821698 | 903 18248 | 0 | 0 628.07/628.22 c 628s | 25 | 9541317 | 6840398 | 903 18289 | 0 | 0 630.07/630.22 c 630s | 25 | 9566941 | 6860798 | 903 18332 | 0 | 0 632.07/632.22 c 632s | 25 | 9594494 | 6881398 | 903 18377 | 0 | 0 634.06/634.23 c 634s | 25 | 9620770 | 6902098 | 903 18422 | 0 | 0 636.07/636.24 c 636s | 25 | 9647893 | 6922698 | 903 18466 | 0 | 0 638.06/638.25 c 638s | 25 | 9673493 | 6942598 | 903 18510 | 0 | 0 640.06/640.25 c 640s | 25 | 9702512 | 6963798 | 903 18555 | 0 | 0 642.06/642.25 c 642s | 25 | 9725687 | 6981798 | 903 18594 | 0 | 0 644.06/644.25 c 644s | 25 | 9749719 | 7000198 | 903 18634 | 0 | 0 646.06/646.26 c 646s | 25 | 9774882 | 7019098 | 903 18675 | 0 | 0 648.06/648.27 c 648s | 25 | 9801391 | 7038798 | 903 18718 | 0 | 0 650.06/650.27 c 650s | 25 | 9829681 | 7058998 | 903 18761 | 0 | 0 652.05/652.28 c 652s | 25 | 9855604 | 7078798 | 903 18804 | 0 | 0 654.05/654.28 c 654s | 25 | 9879566 | 7097398 | 903 18844 | 0 | 0 656.05/656.29 c 656s | 25 | 9901502 | 7114498 | 903 18881 | 0 | 0 658.06/658.29 c 658s | 25 | 9926078 | 7132698 | 903 18921 | 0 | 0 660.05/660.29 c 660s | 25 | 9951358 | 7151398 | 903 18961 | 0 | 0 662.05/662.30 c 662s | 25 | 9976436 | 7170698 | 903 19003 | 0 | 0 664.14/664.30 c 664s | 25 | 10002029 | 7189698 | 903 19044 | 0 | 0 666.14/666.31 c 666s | 25 | 10029308 | 7209698 | 903 19087 | 0 | 0 668.14/668.31 c 668s | 25 | 10052266 | 7227298 | 903 19125 | 0 | 0 670.14/670.32 c 670s | 25 | 10073097 | 7243798 | 903 19161 | 0 | 0 672.14/672.32 c 672s | 25 | 10096597 | 7262098 | 903 19201 | 0 | 0 674.14/674.33 c 674s | 25 | 10119849 | 7279998 | 903 19240 | 0 | 0 676.14/676.33 c 676s | 25 | 10145030 | 7298998 | 903 19281 | 0 | 0 678.14/678.33 c 678s | 25 | 10170828 | 7318598 | 903 19323 | 0 | 0 680.14/680.34 c 680s | 25 | 10194977 | 7337398 | 903 19364 | 0 | 0 682.15/682.34 c 682s | 25 | 10220511 | 7356298 | 903 19405 | 0 | 0 684.14/684.34 c 684s | 25 | 10245897 | 7375398 | 903 19446 | 0 | 0 686.13/686.35 c 686s | 25 | 10270679 | 7394098 | 903 19487 | 0 | 0 688.13/688.35 c 688s | 25 | 10296642 | 7413698 | 903 19529 | 0 | 0 690.13/690.36 c 690s | 25 | 10323461 | 7433398 | 903 19571 | 0 | 0 692.14/692.36 c 692s | 25 | 10348248 | 7452298 | 903 19612 | 0 | 0 694.13/694.37 c 694s | 25 | 10378681 | 7473998 | 903 19658 | 0 | 0 696.13/696.38 c 696s | 25 | 10404695 | 7493398 | 903 19700 | 0 | 0 698.12/698.38 c 698s | 25 | 10435273 | 7514798 | 903 19747 | 0 | 0 700.12/700.39 c 700s | 25 | 10464826 | 7535798 | 903 19792 | 0 | 0 702.12/702.39 c 702s | 25 | 10495057 | 7557398 | 994 19836 | 0 | 0 704.14/704.40 c 704s | 25 | 10521655 | 7577998 | 994 19877 | 0 | 0 705.93/706.15 c 706s | 26 | 10549076 | 7597752 | 994 19915 | 0 | 0 707.93/708.15 c 708s | 26 | 10576263 | 7618852 | 994 19956 | 0 | 0 709.93/710.16 c 710s | 26 | 10602472 | 7639152 | 994 19996 | 0 | 0 711.93/712.17 c 712s | 26 | 10631445 | 7661252 | 994 20039 | 0 | 0 713.93/714.17 c 714s | 26 | 10660099 | 7682352 | 994 20080 | 0 | 0 715.93/716.18 c 716s | 26 | 10687838 | 7703052 | 994 20121 | 0 | 0 717.92/718.19 c 718s | 26 | 10715041 | 7723952 | 994 20161 | 0 | 0 719.92/720.19 c 720s | 26 | 10741863 | 7744452 | 994 20201 | 0 | 0 722.02/722.20 c 722s | 26 | 10766967 | 7764052 | 994 20239 | 0 | 0 724.03/724.21 c 724s | 26 | 10794460 | 7784952 | 994 20280 | 0 | 0 726.02/726.22 c 726s | 26 | 10820164 | 7804552 | 994 20318 | 0 | 0 728.02/728.22 c 728s | 26 | 10846543 | 7824452 | 994 20358 | 0 | 0 730.02/730.22 c 730s | 26 | 10872818 | 7844552 | 994 20397 | 0 | 0 732.02/732.22 c 732s | 26 | 10897577 | 7863952 | 994 20435 | 0 | 0 734.02/734.22 c 734s | 26 | 10923106 | 7883452 | 994 20474 | 0 | 0 736.02/736.23 c 736s | 26 | 10949753 | 7903552 | 994 20513 | 0 | 0 738.01/738.23 c 738s | 26 | 10977605 | 7924252 | 994 20554 | 0 | 0 740.01/740.24 c 740s | 26 | 11004571 | 7944552 | 994 20594 | 0 | 0 742.01/742.24 c 742s | 26 | 11031455 | 7964752 | 994 20634 | 0 | 0 744.01/744.25 c 744s | 26 | 11060794 | 7986252 | 994 20677 | 0 | 0 746.01/746.25 c 746s | 26 | 11089625 | 8007652 | 994 20719 | 0 | 0 748.01/748.25 c 748s | 26 | 11119008 | 8029552 | 994 20761 | 0 | 0 750.01/750.26 c 750s | 26 | 11145885 | 8050152 | 994 20802 | 0 | 0 752.02/752.26 c 752s | 26 | 11172033 | 8070452 | 994 20842 | 0 | 0 754.01/754.26 c 754s | 26 | 11199463 | 8091252 | 994 20883 | 0 | 0 756.01/756.27 c 756s | 26 | 11226463 | 8111752 | 994 20923 | 0 | 0 758.01/758.28 c 758s | 26 | 11254007 | 8132352 | 994 20964 | 0 | 0 760.01/760.29 c 760s | 26 | 11282010 | 8153152 | 994 21005 | 0 | 0 762.01/762.29 c 762s | 26 | 11309855 | 8174052 | 994 21046 | 0 | 0 764.00/764.29 c 764s | 26 | 11337416 | 8194752 | 994 21087 | 0 | 0 766.10/766.30 c 766s | 26 | 11363853 | 8214552 | 994 21126 | 0 | 0 768.10/768.30 c 768s | 26 | 11391503 | 8234852 | 994 21166 | 0 | 0 770.11/770.30 c 770s | 26 | 11416710 | 8254352 | 994 21205 | 0 | 0 772.10/772.31 c 772s | 26 | 11446932 | 8276252 | 994 21248 | 0 | 0 774.10/774.31 c 774s | 26 | 11474604 | 8296952 | 994 21289 | 0 | 0 776.10/776.32 c 776s | 26 | 11501760 | 8317452 | 994 21329 | 0 | 0 778.09/778.32 c 778s | 26 | 11527914 | 8337152 | 994 21368 | 0 | 0 780.10/780.33 c 780s | 26 | 11554773 | 8356952 | 994 21407 | 0 | 0 782.09/782.33 c 782s | 26 | 11580683 | 8376252 | 994 21445 | 0 | 0 784.10/784.33 c 784s | 26 | 11606623 | 8396052 | 994 21484 | 0 | 0 786.10/786.33 c 786s | 26 | 11634973 | 8416552 | 994 21524 | 0 | 0 788.10/788.34 c 788s | 26 | 11662841 | 8437252 | 994 21565 | 0 | 0 790.10/790.35 c 790s | 26 | 11692277 | 8458652 | 994 21607 | 0 | 0 792.10/792.35 c 792s | 26 | 11722693 | 8481052 | 994 21651 | 0 | 0 794.09/794.36 c 794s | 26 | 11751348 | 8502452 | 994 21693 | 0 | 0 796.09/796.36 c 796s | 26 | 11779252 | 8523752 | 994 21735 | 0 | 0 798.09/798.37 c 798s | 26 | 11807728 | 8544952 | 994 21777 | 0 | 0 800.09/800.38 c 800s | 26 | 11837448 | 8566752 | 994 21820 | 0 | 0 802.09/802.39 c 802s | 26 | 11867596 | 8588552 | 994 21863 | 0 | 0 804.08/804.39 c 804s | 26 | 11896605 | 8609952 | 994 21905 | 0 | 0 806.08/806.39 c 806s | 26 | 11924369 | 8631452 | 994 21948 | 0 | 0 808.18/808.40 c 808s | 26 | 11953786 | 8653752 | 994 21992 | 0 | 0 810.19/810.40 c 810s | 26 | 11984290 | 8676252 | 994 22036 | 0 | 0 812.19/812.41 c 812s | 26 | 12011799 | 8697052 | 994 22077 | 0 | 0 814.19/814.41 c 814s | 26 | 12040410 | 8718352 | 994 22119 | 0 | 0 816.18/816.42 c 816s | 26 | 12069424 | 8739852 | 994 22162 | 0 | 0 818.18/818.43 c 818s | 26 | 12097384 | 8761152 | 994 22204 | 0 | 0 820.18/820.43 c 820s | 26 | 12126064 | 8782552 | 994 22246 | 0 | 0 822.18/822.43 c 822s | 26 | 12155282 | 8804352 | 994 22290 | 0 | 0 824.17/824.43 c 824s | 26 | 12186008 | 8826552 | 994 22334 | 0 | 0 826.18/826.43 c 826s | 26 | 12216307 | 8848452 | 994 22377 | 0 | 0 828.17/828.44 c 828s | 26 | 12246387 | 8870252 | 994 22420 | 0 | 0 830.17/830.45 c 830s | 26 | 12275529 | 8891552 | 994 22463 | 0 | 0 832.17/832.46 c 832s | 26 | 12304370 | 8912652 | 994 22504 | 0 | 0 834.17/834.46 c 834s | 26 | 12333363 | 8933852 | 994 22546 | 0 | 0 836.17/836.46 c 836s | 26 | 12358576 | 8953352 | 994 22585 | 0 | 0 838.17/838.46 c 838s | 26 | 12384772 | 8973452 | 994 22624 | 0 | 0 840.17/840.47 c 840s | 26 | 12414232 | 8995352 | 994 22666 | 0 | 0 842.17/842.48 c 842s | 26 | 12443002 | 9016252 | 994 22707 | 0 | 0 844.16/844.48 c 844s | 26 | 12471300 | 9036952 | 994 22748 | 0 | 0 846.16/846.48 c 846s | 26 | 12501471 | 9059252 | 994 22791 | 0 | 0 848.17/848.48 c 848s | 26 | 12530965 | 9081052 | 994 22834 | 0 | 0 850.16/850.49 c 850s | 26 | 12561318 | 9103052 | 994 22877 | 0 | 0 852.16/852.49 c 852s | 26 | 12586552 | 9122152 | 994 22914 | 0 | 0 854.15/854.49 c 854s | 26 | 12612476 | 9141552 | 994 22952 | 0 | 0 856.25/856.50 c 856s | 26 | 12636864 | 9160052 | 994 22988 | 0 | 0 858.25/858.50 c 858s | 26 | 12662899 | 9179652 | 994 23026 | 0 | 0 860.26/860.50 c 860s | 26 | 12689696 | 9199952 | 994 23066 | 0 | 0 862.25/862.51 c 862s | 26 | 12714764 | 9219252 | 994 23104 | 0 | 0 864.24/864.51 c 864s | 26 | 12741009 | 9238752 | 994 23142 | 0 | 0 866.24/866.52 c 866s | 26 | 12763885 | 9256852 | 994 23177 | 0 | 0 868.24/868.53 c 868s | 26 | 12789571 | 9276552 | 994 23215 | 0 | 0 870.25/870.54 c 870s | 26 | 12813484 | 9295952 | 994 23253 | 0 | 0 872.24/872.54 c 872s | 26 | 12837774 | 9314852 | 994 23290 | 0 | 0 874.24/874.54 c 874s | 26 | 12861243 | 9333452 | 994 23326 | 0 | 0 876.23/876.55 c 876s | 26 | 12886462 | 9353052 | 994 23364 | 0 | 0 878.23/878.55 c 878s | 26 | 12914210 | 9374052 | 994 23405 | 0 | 0 880.24/880.55 c 880s | 26 | 12939355 | 9393552 | 994 23443 | 0 | 0 882.25/882.55 c 882s | 26 | 12963929 | 9412852 | 994 23481 | 0 | 0 884.24/884.56 c 884s | 26 | 12988106 | 9431952 | 994 23518 | 0 | 0 886.24/886.56 c 886s | 26 | 13012252 | 9450752 | 994 23555 | 0 | 0 888.24/888.57 c 888s | 26 | 13040000 | 9471652 | 994 23596 | 0 | 0 890.24/890.58 c 890s | 26 | 13066468 | 9491952 | 994 23636 | 0 | 0 892.24/892.58 c 892s | 26 | 13093457 | 9512152 | 994 23675 | 0 | 0 894.23/894.58 c 894s | 26 | 13119657 | 9532452 | 994 23715 | 0 | 0 896.23/896.59 c 896s | 26 | 13145488 | 9552352 | 994 23754 | 0 | 0 898.23/898.59 c 898s | 26 | 13172237 | 9572752 | 994 23793 | 0 | 0 900.33/900.60 c 900s | 26 | 13197843 | 9591852 | 994 23831 | 0 | 0 902.33/902.60 c 902s | 26 | 13223597 | 9611052 | 994 23868 | 0 | 0 904.33/904.61 c 904s | 26 | 13246526 | 9628952 | 994 23903 | 0 | 0 906.33/906.61 c 906s | 26 | 13271696 | 9647552 | 994 23939 | 0 | 0 908.33/908.61 c 908s | 26 | 13297894 | 9667252 | 994 23976 | 0 | 0 910.32/910.62 c 910s | 26 | 13323741 | 9687252 | 994 24015 | 0 | 0 912.32/912.62 c 912s | 26 | 13348921 | 9706852 | 994 24053 | 0 | 0 914.32/914.63 c 914s | 26 | 13373792 | 9726052 | 994 24090 | 0 | 0 916.32/916.63 c 916s | 26 | 13400500 | 9746552 | 994 24129 | 0 | 0 918.32/918.63 c 918s | 26 | 13425651 | 9766052 | 994 24167 | 0 | 0 920.32/920.63 c 920s | 26 | 13449999 | 9784952 | 994 24204 | 0 | 0 922.31/922.64 c 922s | 26 | 13475203 | 9803852 | 994 24241 | 0 | 0 924.31/924.64 c 924s | 26 | 13500838 | 9823352 | 994 24279 | 0 | 0 926.32/926.65 c 926s | 26 | 13523012 | 9840952 | 994 24314 | 0 | 0 928.31/928.66 c 928s | 26 | 13548042 | 9860052 | 994 24351 | 0 | 0 930.32/930.66 c 930s | 26 | 13570758 | 9878152 | 994 24386 | 0 | 0 932.32/932.67 c 932s | 26 | 13593722 | 9895952 | 994 24421 | 0 | 0 934.32/934.67 c 934s | 26 | 13617993 | 9914352 | 994 24456 | 0 | 0 936.31/936.68 c 936s | 26 | 13640221 | 9931952 | 994 24490 | 0 | 0 938.32/938.68 c 938s | 26 | 13666464 | 9951652 | 994 24528 | 0 | 0 940.31/940.69 c 940s | 26 | 13693379 | 9972152 | 994 24568 | 0 | 0 942.31/942.70 c 942s | 26 | 13721710 | 9992752 | 994 24608 | 0 | 0 944.41/944.70 c 944s | 26 | 13748726 | 10012952 | 994 24647 | 0 | 0 946.41/946.70 c 946s | 26 | 13775286 | 10032452 | 994 24685 | 0 | 0 948.41/948.70 c 948s | 26 | 13799825 | 10050952 | 994 24721 | 0 | 0 950.41/950.71 c 950s | 26 | 13826087 | 10070952 | 994 24760 | 0 | 0 952.40/952.71 c 952s | 26 | 13853063 | 10090852 | 994 24799 | 0 | 0 954.40/954.71 c 954s | 26 | 13881639 | 10112052 | 994 24840 | 0 | 0 956.40/956.72 c 956s | 26 | 13909677 | 10133452 | 994 24881 | 0 | 0 958.40/958.72 c 958s | 26 | 13935354 | 10153052 | 994 24919 | 0 | 0 960.41/960.73 c 960s | 26 | 13960293 | 10172352 | 994 24956 | 0 | 0 962.40/962.73 c 962s | 26 | 13984636 | 10190952 | 994 24992 | 0 | 0 964.40/964.73 c 964s | 26 | 14007154 | 10208152 | 994 25026 | 0 | 0 966.40/966.74 c 966s | 26 | 14029438 | 10226052 | 994 25060 | 0 | 0 968.39/968.74 c 968s | 26 | 14052836 | 10244952 | 994 25097 | 0 | 0 970.39/970.75 c 970s | 26 | 14081079 | 10266452 | 994 25139 | 0 | 0 972.39/972.75 c 972s | 26 | 14106027 | 10285452 | 994 25175 | 0 | 0 974.39/974.76 c 974s | 26 | 14133324 | 10305652 | 994 25215 | 0 | 0 976.40/976.76 c 976s | 26 | 14160767 | 10326352 | 994 25254 | 0 | 0 978.40/978.77 c 978s | 26 | 14187364 | 10346752 | 994 25293 | 0 | 0 980.39/980.77 c 980s | 26 | 14213304 | 10366452 | 994 25331 | 0 | 0 982.40/982.78 c 982s | 26 | 14238774 | 10385952 | 994 25369 | 0 | 0 984.39/984.78 c 984s | 26 | 14264836 | 10405752 | 994 25407 | 0 | 0 986.39/986.79 c 986s | 26 | 14290221 | 10425252 | 994 25444 | 0 | 0 988.39/988.79 c 988s | 26 | 14317771 | 10446452 | 994 25485 | 0 | 0 990.39/990.79 c 990s | 26 | 14344313 | 10466852 | 994 25524 | 0 | 0 992.48/992.80 c 992s | 26 | 14368372 | 10485552 | 994 25560 | 0 | 0 994.49/994.81 c 994s | 26 | 14394920 | 10505852 | 994 25599 | 0 | 0 996.48/996.82 c 996s | 26 | 14424133 | 10527552 | 994 25641 | 0 | 0 998.48/998.82 c 998s | 26 | 14452281 | 10548852 | 994 25683 | 0 | 0 1000.48/1000.83 c 1000s | 26 | 14480082 | 10569752 | 994 25723 | 0 | 0 1002.47/1002.83 c 1002s | 26 | 14506158 | 10589752 | 994 25762 | 0 | 0 1004.47/1004.83 c 1004s | 26 | 14534172 | 10611152 | 994 25804 | 0 | 0 1006.49/1006.84 c 1006s | 26 | 14565018 | 10633552 | 994 25848 | 0 | 0 1008.48/1008.84 c 1008s | 26 | 14590908 | 10654052 | 994 25887 | 0 | 0 1010.48/1010.85 c 1010s | 26 | 14617281 | 10674452 | 994 25926 | 0 | 0 1012.47/1012.86 c 1012s | 26 | 14644216 | 10694552 | 994 25966 | 0 | 0 1014.47/1014.87 c 1014s | 26 | 14670892 | 10714552 | 994 26005 | 0 | 0 1016.48/1016.87 c 1016s | 26 | 14698114 | 10735052 | 994 26045 | 0 | 0 1018.47/1018.88 c 1018s | 26 | 14727585 | 10756552 | 994 26087 | 0 | 0 1020.47/1020.88 c 1020s | 26 | 14753438 | 10776252 | 994 26126 | 0 | 0 1022.47/1022.89 c 1022s | 26 | 14781286 | 10797552 | 994 26167 | 0 | 0 1024.47/1024.89 c 1024s | 26 | 14807269 | 10817652 | 994 26205 | 0 | 0 1026.57/1026.90 c 1026s | 26 | 14836144 | 10839152 | 994 26248 | 0 | 0 1028.47/1028.90 c 1028s | 26 | 14862527 | 10859452 | 994 26287 | 0 | 0 1030.56/1030.91 c 1030s | 26 | 14889414 | 10879952 | 994 26327 | 0 | 0 1032.56/1032.91 c 1032s | 26 | 14913876 | 10898852 | 994 26364 | 0 | 0 1034.56/1034.92 c 1034s | 26 | 14941170 | 10919552 | 994 26404 | 0 | 0 1036.56/1036.92 c 1036s | 26 | 14966036 | 10938452 | 994 26441 | 0 | 0 1038.56/1038.93 c 1038s | 26 | 14990240 | 10957652 | 994 26478 | 0 | 0 1040.56/1040.94 c 1040s | 26 | 15016754 | 10977552 | 994 26518 | 0 | 0 1042.56/1042.94 c 1042s | 26 | 15038765 | 10994752 | 994 26551 | 0 | 0 1044.56/1044.95 c 1044s | 26 | 15063965 | 11013752 | 994 26588 | 0 | 0 1046.56/1046.95 c 1046s | 26 | 15088610 | 11032652 | 994 26625 | 0 | 0 1048.56/1048.96 c 1048s | 26 | 15114106 | 11052152 | 994 26663 | 0 | 0 1050.56/1050.97 c 1050s | 26 | 15140949 | 11072252 | 994 26702 | 0 | 0 1052.55/1052.97 c 1052s | 26 | 15168514 | 11092552 | 994 26742 | 0 | 0 1054.55/1054.97 c 1054s | 26 | 15195737 | 11112352 | 994 26780 | 0 | 0 1056.55/1056.98 c 1056s | 26 | 15223110 | 11132452 | 994 26820 | 0 | 0 1058.55/1058.98 c 1058s | 26 | 15252117 | 11153552 | 994 26861 | 0 | 0 1060.55/1060.99 c 1060s | 26 | 15280897 | 11174452 | 994 26902 | 0 | 0 1062.55/1062.99 c 1062s | 26 | 15307191 | 11194552 | 994 26941 | 0 | 0 1064.54/1065.00 c 1064s | 26 | 15330436 | 11212352 | 994 26975 | 0 | 0 1066.64/1067.00 c 1066s | 26 | 15354937 | 11231152 | 994 27011 | 0 | 0 1068.64/1069.01 c 1068s | 26 | 15378559 | 11249752 | 994 27047 | 0 | 0 1070.64/1071.02 c 1071s | 26 | 15404973 | 11269552 | 994 27086 | 0 | 0 1072.64/1073.02 c 1073s | 26 | 15429615 | 11288452 | 994 27123 | 0 | 0 1074.64/1075.03 c 1075s | 26 | 15455639 | 11307852 | 994 27161 | 0 | 0 1076.63/1077.03 c 1077s | 26 | 15482279 | 11327352 | 1094 27196 | 0 | 0 1078.63/1079.03 c 1079s | 26 | 15505717 | 11345652 | 1094 27229 | 0 | 0 1080.64/1081.03 c 1081s | 26 | 15531323 | 11364952 | 1094 27263 | 0 | 0 1082.64/1083.03 c 1083s | 26 | 15556782 | 11383952 | 1094 27297 | 0 | 0 1084.04/1084.44 c 1084s | 27 | 15573144 | 11396733 | 1094 27320 | 0 | 0 1086.04/1086.45 c 1086s | 27 | 15599834 | 11415833 | 1094 27353 | 0 | 0 1088.04/1088.45 c 1088s | 27 | 15624229 | 11433633 | 1094 27385 | 0 | 0 1090.04/1090.46 c 1090s | 27 | 15650062 | 11452633 | 1094 27419 | 0 | 0 1092.04/1092.46 c 1092s | 27 | 15676243 | 11472033 | 1094 27453 | 0 | 0 1094.03/1094.46 c 1094s | 27 | 15703406 | 11492433 | 1094 27489 | 0 | 0 1096.03/1096.46 c 1096s | 27 | 15729707 | 11511833 | 1094 27523 | 0 | 0 1098.03/1098.46 c 1098s | 27 | 15757714 | 11531633 | 1094 27558 | 0 | 0 1100.04/1100.47 c 1100s | 27 | 15786237 | 11551733 | 1094 27594 | 0 | 0 1102.03/1102.47 c 1102s | 27 | 15815138 | 11571933 | 1094 27630 | 0 | 0 1104.03/1104.47 c 1104s | 27 | 15841837 | 11591333 | 1094 27664 | 0 | 0 1106.02/1106.48 c 1106s | 27 | 15866583 | 11609733 | 1094 27697 | 0 | 0 1108.02/1108.49 c 1108s | 27 | 15896246 | 11630333 | 1094 27733 | 0 | 0 1110.03/1110.49 c 1110s | 27 | 15923170 | 11649533 | 1094 27767 | 0 | 0 1112.04/1112.50 c 1112s | 27 | 15948304 | 11668533 | 1094 27801 | 0 | 0 1114.12/1114.51 c 1114s | 27 | 15974126 | 11687533 | 1094 27835 | 0 | 0 1116.12/1116.52 c 1116s | 27 | 16006338 | 11708033 | 1094 27871 | 0 | 0 1118.12/1118.52 c 1118s | 27 | 16029580 | 11725933 | 1094 27903 | 0 | 0 1120.12/1120.53 c 1120s | 27 | 16055484 | 11745433 | 1094 27937 | 0 | 0 1122.12/1122.53 c 1122s | 27 | 16082899 | 11765533 | 1094 27973 | 0 | 0 1124.12/1124.53 c 1124s | 27 | 16112136 | 11785833 | 1094 28009 | 0 | 0 1126.12/1126.54 c 1126s | 27 | 16139723 | 11805933 | 1094 28045 | 0 | 0 1128.12/1128.54 c 1128s | 27 | 16166695 | 11825133 | 1094 28079 | 0 | 0 1130.11/1130.55 c 1130s | 27 | 16194906 | 11843933 | 1094 28112 | 0 | 0 1132.11/1132.56 c 1132s | 27 | 16221446 | 11862733 | 1094 28146 | 0 | 0 1134.12/1134.56 c 1134s | 27 | 16252466 | 11883433 | 1094 28182 | 0 | 0 1136.11/1136.57 c 1136s | 27 | 16279792 | 11903133 | 1094 28217 | 0 | 0 1138.11/1138.57 c 1138s | 27 | 16305853 | 11922133 | 1094 28251 | 0 | 0 1140.11/1140.58 c 1140s | 27 | 16331435 | 11940833 | 1094 28284 | 0 | 0 1142.11/1142.58 c 1142s | 27 | 16353097 | 11957733 | 1094 28314 | 0 | 0 1144.10/1144.58 c 1144s | 27 | 16377226 | 11975833 | 1094 28346 | 0 | 0 1146.11/1146.59 c 1146s | 27 | 16403007 | 11994633 | 1094 28380 | 0 | 0 1148.10/1148.59 c 1148s | 27 | 16429100 | 12012833 | 1094 28412 | 0 | 0 1150.20/1150.60 c 1150s | 27 | 16453689 | 12030033 | 1094 28442 | 0 | 0 1152.20/1152.60 c 1152s | 27 | 16476525 | 12046833 | 1094 28472 | 0 | 0 1154.20/1154.61 c 1154s | 27 | 16500074 | 12064133 | 1094 28503 | 0 | 0 1156.21/1156.61 c 1156s | 27 | 16527696 | 12083033 | 1094 28536 | 0 | 0 1158.21/1158.62 c 1158s | 27 | 16554903 | 12101533 | 1094 28569 | 0 | 0 1160.21/1160.62 c 1160s | 27 | 16577407 | 12117933 | 1094 28598 | 0 | 0 1162.21/1162.63 c 1162s | 27 | 16600763 | 12135033 | 1094 28628 | 0 | 0 1164.20/1164.63 c 1164s | 27 | 16621539 | 12150833 | 1094 28656 | 0 | 0 1166.20/1166.64 c 1166s | 27 | 16644395 | 12167833 | 1094 28687 | 0 | 0 1168.20/1168.64 c 1168s | 27 | 16669332 | 12185633 | 1094 28718 | 0 | 0 1170.20/1170.65 c 1170s | 27 | 16696214 | 12204533 | 1094 28752 | 0 | 0 1172.20/1172.65 c 1172s | 27 | 16721453 | 12222433 | 1094 28783 | 0 | 0 1174.20/1174.66 c 1174s | 27 | 16745435 | 12239733 | 1094 28814 | 0 | 0 1176.20/1176.66 c 1176s | 27 | 16768906 | 12257233 | 1094 28845 | 0 | 0 1178.19/1178.67 c 1178s | 27 | 16793505 | 12275233 | 1094 28878 | 0 | 0 1180.20/1180.68 c 1180s | 27 | 16818064 | 12292833 | 1094 28909 | 0 | 0 1182.19/1182.68 c 1182s | 27 | 16839457 | 12308633 | 1094 28937 | 0 | 0 1184.19/1184.68 c 1184s | 27 | 16863765 | 12325933 | 1094 28968 | 0 | 0 1186.19/1186.69 c 1186s | 27 | 16889109 | 12343533 | 1094 28999 | 0 | 0 1188.29/1188.70 c 1188s | 27 | 16912697 | 12360233 | 1094 29029 | 0 | 0 1190.29/1190.70 c 1190s | 27 | 16935287 | 12376833 | 1094 29058 | 0 | 0 1192.30/1192.70 c 1192s | 27 | 16961000 | 12394533 | 1094 29089 | 0 | 0 1194.29/1194.71 c 1194s | 27 | 16985039 | 12411433 | 1094 29120 | 0 | 0 1196.29/1196.72 c 1196s | 27 | 17008957 | 12428333 | 1094 29150 | 0 | 0 1198.29/1198.73 c 1198s | 27 | 17034356 | 12446533 | 1094 29182 | 0 | 0 1200.29/1200.73 c 1200s | 27 | 17060019 | 12464333 | 1094 29213 | 0 | 0 1202.29/1202.74 c 1202s | 27 | 17086057 | 12482533 | 1094 29246 | 0 | 0 1204.29/1204.75 c 1204s | 27 | 17112236 | 12501233 | 1094 29279 | 0 | 0 1206.29/1206.75 c 1206s | 27 | 17137287 | 12519433 | 1094 29311 | 0 | 0 1208.29/1208.76 c 1208s | 27 | 17164667 | 12538833 | 1094 29346 | 0 | 0 1210.29/1210.76 c 1210s | 27 | 17193591 | 12558933 | 1094 29382 | 0 | 0 1212.29/1212.77 c 1212s | 27 | 17221617 | 12578433 | 1094 29416 | 0 | 0 1214.30/1214.78 c 1214s | 27 | 17249352 | 12598033 | 1094 29451 | 0 | 0 1216.29/1216.78 c 1216s | 27 | 17277564 | 12617333 | 1094 29486 | 0 | 0 1218.29/1218.79 c 1218s | 27 | 17303469 | 12635833 | 1094 29519 | 0 | 0 1220.39/1220.80 c 1220s | 27 | 17332169 | 12655233 | 1094 29553 | 0 | 0 1222.39/1222.81 c 1222s | 27 | 17358221 | 12674033 | 1094 29587 | 0 | 0 1224.39/1224.81 c 1224s | 27 | 17385371 | 12693233 | 1094 29621 | 0 | 0 1226.39/1226.81 c 1226s | 27 | 17412200 | 12712333 | 1094 29655 | 0 | 0 1228.39/1228.81 c 1228s | 27 | 17438919 | 12730933 | 1094 29688 | 0 | 0 1230.39/1230.82 c 1230s | 27 | 17465707 | 12749633 | 1094 29721 | 0 | 0 1232.38/1232.82 c 1232s | 27 | 17490212 | 12767233 | 1094 29753 | 0 | 0 1234.38/1234.83 c 1234s | 27 | 17511557 | 12783833 | 1094 29782 | 0 | 0 1236.39/1236.84 c 1236s | 27 | 17532428 | 12800233 | 1094 29811 | 0 | 0 1238.39/1238.85 c 1238s | 27 | 17554007 | 12817133 | 1094 29841 | 0 | 0 1240.39/1240.85 c 1240s | 27 | 17575995 | 12834133 | 1094 29871 | 0 | 0 1242.39/1242.85 c 1242s | 27 | 17596118 | 12850533 | 1094 29900 | 0 | 0 1244.39/1244.86 c 1244s | 27 | 17620016 | 12869033 | 1094 29933 | 0 | 0 1246.39/1246.87 c 1246s | 27 | 17642066 | 12886833 | 1094 29964 | 0 | 0 1248.39/1248.87 c 1248s | 27 | 17666723 | 12905233 | 1094 29996 | 0 | 0 1250.38/1250.87 c 1250s | 27 | 17694797 | 12925133 | 1094 30032 | 0 | 0 1252.38/1252.88 c 1252s | 27 | 17720181 | 12943833 | 1094 30065 | 0 | 0 1254.38/1254.89 c 1254s | 27 | 17740434 | 12959833 | 1094 30093 | 0 | 0 1256.38/1256.89 c 1256s | 27 | 17767492 | 12978833 | 1094 30127 | 0 | 0 1258.48/1258.90 c 1258s | 27 | 17796829 | 12997833 | 1094 30161 | 0 | 0 1260.38/1260.90 c 1260s | 27 | 17824744 | 13017233 | 1094 30195 | 0 | 0 1262.48/1262.90 c 1262s | 27 | 17851200 | 13035233 | 1094 30227 | 0 | 0 1264.48/1264.91 c 1264s | 27 | 17876290 | 13052633 | 1094 30258 | 0 | 0 1266.48/1266.92 c 1266s | 27 | 17904225 | 13070933 | 1094 30290 | 0 | 0 1268.48/1268.92 c 1268s | 27 | 17931248 | 13089133 | 1094 30323 | 0 | 0 1270.49/1270.92 c 1270s | 27 | 17958957 | 13108333 | 1094 30357 | 0 | 0 1272.48/1272.93 c 1272s | 27 | 17984022 | 13126233 | 1094 30389 | 0 | 0 1274.48/1274.93 c 1274s | 27 | 18011304 | 13144333 | 1094 30421 | 0 | 0 1276.48/1276.94 c 1276s | 27 | 18037293 | 13162433 | 1094 30454 | 0 | 0 1278.48/1278.94 c 1278s | 27 | 18064477 | 13181133 | 1094 30487 | 0 | 0 1280.48/1280.94 c 1280s | 27 | 18090340 | 13200333 | 1094 30521 | 0 | 0 1282.48/1282.94 c 1282s | 27 | 18118998 | 13219533 | 1094 30555 | 0 | 0 1284.47/1284.95 c 1284s | 27 | 18148331 | 13239133 | 1094 30590 | 0 | 0 1286.47/1286.95 c 1286s | 27 | 18173487 | 13257133 | 1094 30622 | 0 | 0 1288.48/1288.96 c 1288s | 27 | 18198744 | 13275133 | 1094 30654 | 0 | 0 1290.48/1290.97 c 1290s | 27 | 18228199 | 13294233 | 1094 30689 | 0 | 0 1292.49/1292.97 c 1292s | 27 | 18259276 | 13313933 | 1094 30724 | 0 | 0 1294.48/1294.98 c 1294s | 27 | 18288590 | 13333333 | 1094 30758 | 0 | 0 1296.48/1296.99 c 1296s | 27 | 18318744 | 13352933 | 1094 30793 | 0 | 0 1298.48/1298.99 c 1298s | 27 | 18345679 | 13371633 | 1094 30827 | 0 | 0 1300.48/1301.00 c 1300s | 27 | 18371453 | 13389433 | 1094 30859 | 0 | 0 1302.58/1303.00 c 1302s | 27 | 18399083 | 13408033 | 1094 30892 | 0 | 0 1304.48/1305.00 c 1304s | 27 | 18424261 | 13425633 | 1094 30923 | 0 | 0 1306.57/1307.01 c 1306s | 27 | 18447209 | 13442033 | 1094 30952 | 0 | 0 1308.57/1309.02 c 1309s | 27 | 18471453 | 13459133 | 1094 30983 | 0 | 0 1310.57/1311.02 c 1311s | 27 | 18498217 | 13477733 | 1094 31016 | 0 | 0 1312.57/1313.03 c 1313s | 27 | 18523001 | 13495433 | 1094 31048 | 0 | 0 1314.57/1315.04 c 1315s | 27 | 18548230 | 13513133 | 1094 31079 | 0 | 0 1316.58/1317.05 c 1317s | 27 | 18576398 | 13531733 | 1094 31113 | 0 | 0 1318.57/1319.05 c 1319s | 27 | 18603836 | 13550733 | 1094 31147 | 0 | 0 1320.58/1321.06 c 1321s | 27 | 18628549 | 13568633 | 1094 31179 | 0 | 0 1322.58/1323.07 c 1323s | 27 | 18655837 | 13586933 | 1094 31212 | 0 | 0 1324.57/1325.08 c 1325s | 27 | 18680749 | 13604733 | 1094 31243 | 0 | 0 1326.58/1327.09 c 1327s | 27 | 18707530 | 13622833 | 1094 31276 | 0 | 0 1328.57/1329.09 c 1329s | 27 | 18736855 | 13641633 | 1094 31309 | 0 | 0 1330.57/1331.10 c 1331s | 27 | 18761770 | 13659433 | 1094 31341 | 0 | 0 1332.67/1333.10 c 1333s | 27 | 18788943 | 13678133 | 1094 31374 | 0 | 0 1334.67/1335.11 c 1335s | 27 | 18815917 | 13696633 | 1094 31408 | 0 | 0 1336.67/1337.12 c 1337s | 27 | 18840779 | 13714533 | 1094 31439 | 0 | 0 1338.68/1339.12 c 1339s | 27 | 18864561 | 13731933 | 1094 31470 | 0 | 0 1340.67/1341.13 c 1341s | 27 | 18890780 | 13749833 | 1094 31502 | 0 | 0 1342.67/1343.13 c 1343s | 27 | 18915449 | 13767433 | 1094 31534 | 0 | 0 1344.67/1345.13 c 1345s | 27 | 18939591 | 13784933 | 1094 31565 | 0 | 0 1346.67/1347.13 c 1347s | 27 | 18964231 | 13802633 | 1094 31597 | 0 | 0 1348.67/1349.14 c 1349s | 27 | 18990138 | 13820633 | 1094 31629 | 0 | 0 1350.67/1351.15 c 1351s | 27 | 19015891 | 13838933 | 1094 31661 | 0 | 0 1352.67/1353.15 c 1353s | 27 | 19043451 | 13857933 | 1094 31695 | 0 | 0 1354.67/1355.16 c 1355s | 27 | 19070435 | 13876633 | 1094 31729 | 0 | 0 1356.67/1357.17 c 1357s | 27 | 19093158 | 13893633 | 1094 31759 | 0 | 0 1358.67/1359.17 c 1359s | 27 | 19119011 | 13911533 | 1094 31791 | 0 | 0 1360.68/1361.17 c 1361s | 27 | 19143561 | 13928733 | 1094 31821 | 0 | 0 1362.67/1363.17 c 1363s | 27 | 19165772 | 13945033 | 1094 31850 | 0 | 0 1364.67/1365.18 c 1365s | 27 | 19190875 | 13962733 | 1094 31882 | 0 | 0 1366.67/1367.18 c 1367s | 27 | 19214331 | 13980033 | 1094 31912 | 0 | 0 1368.67/1369.19 c 1369s | 27 | 19235178 | 13996033 | 1094 31941 | 0 | 0 1370.77/1371.20 c 1371s | 27 | 19258924 | 14012933 | 1094 31971 | 0 | 0 1372.77/1373.21 c 1373s | 27 | 19285055 | 14031233 | 1094 32003 | 0 | 0 1374.77/1375.22 c 1375s | 27 | 19308900 | 14048533 | 1094 32034 | 0 | 0 1376.77/1377.23 c 1377s | 27 | 19332585 | 14065533 | 1094 32064 | 0 | 0 1378.76/1379.23 c 1379s | 27 | 19355756 | 14082233 | 1094 32094 | 0 | 0 1380.76/1381.25 c 1381s | 27 | 19379488 | 14099933 | 1094 32126 | 0 | 0 1382.76/1383.25 c 1383s | 27 | 19403093 | 14118233 | 1094 32158 | 0 | 0 1384.77/1385.26 c 1385s | 27 | 19424906 | 14135733 | 1094 32189 | 0 | 0 1386.76/1387.27 c 1387s | 27 | 19448054 | 14153633 | 1094 32221 | 0 | 0 1388.76/1389.27 c 1389s | 27 | 19470317 | 14171033 | 1094 32252 | 0 | 0 1390.76/1391.27 c 1391s | 27 | 19496854 | 14190133 | 1094 32286 | 0 | 0 1392.76/1393.28 c 1393s | 27 | 19522156 | 14209333 | 1094 32320 | 0 | 0 1394.76/1395.29 c 1395s | 27 | 19547716 | 14227933 | 1094 32353 | 0 | 0 1396.77/1397.30 c 1397s | 27 | 19572193 | 14246233 | 1094 32386 | 0 | 0 1398.87/1399.30 c 1399s | 27 | 19595655 | 14263833 | 1094 32417 | 0 | 0 1400.86/1401.31 c 1401s | 27 | 19620802 | 14282333 | 1094 32450 | 0 | 0 1402.86/1403.32 c 1403s | 27 | 19643390 | 14299333 | 1094 32480 | 0 | 0 1404.86/1405.33 c 1405s | 27 | 19669314 | 14317333 | 1094 32512 | 0 | 0 1406.87/1407.34 c 1407s | 27 | 19696917 | 14335733 | 1094 32545 | 0 | 0 1408.86/1409.34 c 1409s | 27 | 19722093 | 14353933 | 1094 32577 | 0 | 0 1410.86/1411.34 c 1411s | 27 | 19746346 | 14371633 | 1094 32608 | 0 | 0 1412.86/1413.35 c 1413s | 27 | 19768790 | 14388133 | 1094 32638 | 0 | 0 1414.86/1415.36 c 1415s | 27 | 19791118 | 14404533 | 1094 32667 | 0 | 0 1416.86/1417.37 c 1417s | 27 | 19814243 | 14421233 | 1094 32697 | 0 | 0 1418.86/1419.38 c 1419s | 27 | 19835601 | 14437033 | 1094 32725 | 0 | 0 1420.86/1421.39 c 1421s | 27 | 19856640 | 14453233 | 1094 32753 | 0 | 0 1422.86/1423.39 c 1423s | 27 | 19877563 | 14469033 | 1094 32781 | 0 | 0 1424.86/1425.40 c 1425s | 27 | 19901443 | 14486433 | 1094 32812 | 0 | 0 1426.96/1427.40 c 1427s | 27 | 19924629 | 14503433 | 1094 32843 | 0 | 0 1428.95/1429.41 c 1429s | 27 | 19950201 | 14522133 | 1094 32876 | 0 | 0 1430.96/1431.41 c 1431s | 27 | 19975445 | 14540033 | 1094 32908 | 0 | 0 1432.95/1433.42 c 1433s | 27 | 19999549 | 14557633 | 1094 32939 | 0 | 0 1434.96/1435.42 c 1435s | 27 | 20025040 | 14575433 | 1094 32971 | 0 | 0 1436.96/1437.43 c 1437s | 27 | 20050118 | 14592833 | 1094 33002 | 0 | 0 1438.96/1439.44 c 1439s | 27 | 20075407 | 14610633 | 1094 33033 | 0 | 0 1440.97/1441.44 c 1441s | 27 | 20099552 | 14627933 | 1094 33064 | 0 | 0 1442.96/1443.45 c 1443s | 27 | 20125841 | 14646133 | 1094 33097 | 0 | 0 1444.96/1445.46 c 1445s | 27 | 20153800 | 14664833 | 1094 33130 | 0 | 0 1446.96/1447.46 c 1447s | 27 | 20180256 | 14682833 | 1094 33162 | 0 | 0 1448.96/1449.47 c 1449s | 27 | 20201635 | 14698833 | 1094 33191 | 0 | 0 1450.95/1451.47 c 1451s | 27 | 20228388 | 14718133 | 1094 33225 | 0 | 0 1452.96/1453.47 c 1453s | 27 | 20251858 | 14735733 | 1094 33256 | 0 | 0 1454.95/1455.48 c 1455s | 27 | 20275184 | 14752933 | 1094 33287 | 0 | 0 1456.95/1457.48 c 1457s | 27 | 20296698 | 14769533 | 1094 33317 | 0 | 0 1458.95/1459.49 c 1459s | 27 | 20318570 | 14786333 | 1094 33347 | 0 | 0 1460.95/1461.49 c 1461s | 27 | 20341052 | 14803233 | 1094 33377 | 0 | 0 1463.05/1463.50 c 1463s | 27 | 20362824 | 14819933 | 1094 33406 | 0 | 0 1464.95/1465.50 c 1465s | 27 | 20384349 | 14836533 | 1094 33436 | 0 | 0 1467.05/1467.50 c 1467s | 27 | 20406355 | 14852533 | 1094 33464 | 0 | 0 1469.05/1469.51 c 1469s | 27 | 20433625 | 14871133 | 1094 33498 | 0 | 0 1471.05/1471.52 c 1471s | 27 | 20458775 | 14889633 | 1094 33530 | 0 | 0 1473.05/1473.53 c 1473s | 27 | 20484783 | 14908333 | 1094 33564 | 0 | 0 1475.05/1475.53 c 1475s | 27 | 20510607 | 14927133 | 1094 33597 | 0 | 0 1477.04/1477.54 c 1477s | 27 | 20534478 | 14945033 | 1094 33629 | 0 | 0 1479.04/1479.54 c 1479s | 27 | 20558607 | 14962733 | 1094 33660 | 0 | 0 1481.05/1481.55 c 1481s | 27 | 20586752 | 14982433 | 1094 33695 | 0 | 0 1483.05/1483.56 c 1483s | 27 | 20613655 | 15002033 | 1094 33730 | 0 | 0 1485.05/1485.56 c 1485s | 27 | 20636153 | 15020233 | 1094 33762 | 0 | 0 1487.06/1487.56 c 1487s | 27 | 20659836 | 15038933 | 1094 33795 | 0 | 0 1489.05/1489.57 c 1489s | 27 | 20684813 | 15058433 | 1094 33829 | 0 | 0 1491.05/1491.58 c 1491s | 27 | 20711706 | 15077633 | 1094 33863 | 0 | 0 1493.05/1493.59 c 1493s | 27 | 20738021 | 15097433 | 1094 33898 | 0 | 0 1495.05/1495.59 c 1495s | 27 | 20761541 | 15114833 | 1094 33929 | 0 | 0 1497.15/1497.60 c 1497s | 27 | 20786799 | 15133133 | 1094 33962 | 0 | 0 1499.05/1499.60 c 1499s | 27 | 20812881 | 15151433 | 1094 33994 | 0 | 0 1501.14/1501.61 c 1501s | 27 | 20839157 | 15170533 | 1094 34028 | 0 | 0 1503.14/1503.61 c 1503s | 27 | 20865365 | 15189033 | 1094 34061 | 0 | 0 1505.14/1505.61 c 1505s | 27 | 20891776 | 15208433 | 1094 34095 | 0 | 0 1507.14/1507.62 c 1507s | 27 | 20919520 | 15227233 | 1094 34129 | 0 | 0 1509.15/1509.62 c 1509s | 27 | 20945230 | 15245133 | 1094 34160 | 0 | 0 1511.14/1511.63 c 1511s | 27 | 20971823 | 15263733 | 1094 34193 | 0 | 0 1513.14/1513.64 c 1513s | 27 | 20995667 | 15280733 | 1094 34223 | 0 | 0 1515.14/1515.64 c 1515s | 27 | 21022835 | 15298933 | 1094 34256 | 0 | 0 1517.14/1517.65 c 1517s | 27 | 21052114 | 15318433 | 1094 34290 | 0 | 0 1519.14/1519.65 c 1519s | 27 | 21079066 | 15337133 | 1094 34324 | 0 | 0 1521.14/1521.65 c 1521s | 27 | 21103210 | 15355033 | 1094 34355 | 0 | 0 1523.14/1523.65 c 1523s | 27 | 21129079 | 15373433 | 1094 34388 | 0 | 0 1525.14/1525.65 c 1525s | 27 | 21155436 | 15391533 | 1094 34420 | 0 | 0 1527.14/1527.66 c 1527s | 27 | 21176976 | 15407733 | 1094 34449 | 0 | 0 1529.14/1529.66 c 1529s | 27 | 21200989 | 15425333 | 1094 34480 | 0 | 0 1531.15/1531.67 c 1531s | 27 | 21224630 | 15442933 | 1094 34512 | 0 | 0 1533.15/1533.67 c 1533s | 27 | 21249227 | 15460833 | 1094 34543 | 0 | 0 1535.14/1535.67 c 1535s | 27 | 21273871 | 15478633 | 1094 34575 | 0 | 0 1537.14/1537.68 c 1537s | 27 | 21298991 | 15496433 | 1094 34607 | 0 | 0 1539.14/1539.68 c 1539s | 27 | 21326221 | 15514933 | 1094 34640 | 0 | 0 1541.14/1541.69 c 1541s | 27 | 21351686 | 15532833 | 1094 34672 | 0 | 0 1543.15/1543.70 c 1543s | 27 | 21373890 | 15548833 | 1094 34700 | 0 | 0 1545.24/1545.70 c 1545s | 27 | 21399792 | 15566433 | 1094 34731 | 0 | 0 1547.24/1547.70 c 1547s | 27 | 21426112 | 15584633 | 1094 34764 | 0 | 0 1549.24/1549.71 c 1549s | 27 | 21451173 | 15602133 | 1094 34795 | 0 | 0 1551.24/1551.71 c 1551s | 27 | 21479045 | 15620433 | 1094 34828 | 0 | 0 1553.24/1553.73 c 1553s | 27 | 21508771 | 15640033 | 1094 34863 | 0 | 0 1555.24/1555.73 c 1555s | 27 | 21539360 | 15659933 | 1094 34898 | 0 | 0 1557.24/1557.73 c 1557s | 27 | 21565535 | 15677933 | 1094 34930 | 0 | 0 1559.24/1559.74 c 1559s | 27 | 21592972 | 15696633 | 1094 34964 | 0 | 0 1561.24/1561.74 c 1561s | 27 | 21621850 | 15715433 | 1094 34997 | 0 | 0 1563.24/1563.74 c 1563s | 27 | 21648504 | 15734033 | 1094 35030 | 0 | 0 1565.24/1565.75 c 1565s | 27 | 21677342 | 15753233 | 1094 35065 | 0 | 0 1567.24/1567.75 c 1567s | 27 | 21705204 | 15772133 | 1094 35099 | 0 | 0 1569.24/1569.76 c 1569s | 27 | 21731269 | 15789933 | 1094 35130 | 0 | 0 1571.24/1571.77 c 1571s | 27 | 21760293 | 15808933 | 1094 35165 | 0 | 0 1573.23/1573.78 c 1573s | 27 | 21788077 | 15827933 | 1094 35199 | 0 | 0 1575.23/1575.78 c 1575s | 27 | 21817153 | 15847033 | 1094 35233 | 0 | 0 1577.24/1577.79 c 1577s | 27 | 21841295 | 15864333 | 1094 35264 | 0 | 0 1579.33/1579.80 c 1579s | 27 | 21864770 | 15881833 | 1094 35295 | 0 | 0 1581.33/1581.81 c 1581s | 27 | 21893601 | 15901333 | 1094 35330 | 0 | 0 1583.33/1583.81 c 1583s | 27 | 21922241 | 15919733 | 1094 35362 | 0 | 0 1585.33/1585.82 c 1585s | 27 | 21949563 | 15937733 | 1094 35395 | 0 | 0 1587.33/1587.83 c 1587s | 27 | 21973513 | 15954733 | 1094 35425 | 0 | 0 1589.34/1589.84 c 1589s | 27 | 21999257 | 15972033 | 1094 35456 | 0 | 0 1591.33/1591.84 c 1591s | 27 | 22026926 | 15990433 | 1094 35488 | 0 | 0 1593.33/1593.84 c 1593s | 27 | 22048652 | 16006633 | 1094 35517 | 0 | 0 1595.33/1595.85 c 1595s | 27 | 22073893 | 16023933 | 1094 35548 | 0 | 0 1597.33/1597.86 c 1597s | 27 | 22097496 | 16040433 | 1094 35578 | 0 | 0 1599.33/1599.86 c 1599s | 27 | 22122792 | 16057833 | 1094 35609 | 0 | 0 1601.33/1601.86 c 1601s | 27 | 22148406 | 16075333 | 1094 35640 | 0 | 0 1603.33/1603.87 c 1603s | 27 | 22172480 | 16092533 | 1094 35671 | 0 | 0 1605.33/1605.88 c 1605s | 27 | 22196917 | 16110033 | 1094 35702 | 0 | 0 1607.32/1607.88 c 1607s | 27 | 22219168 | 16126233 | 1094 35731 | 0 | 0 1609.32/1609.88 c 1609s | 27 | 22243448 | 16142933 | 1094 35760 | 0 | 0 1611.33/1611.88 c 1611s | 27 | 22262791 | 16158133 | 1094 35787 | 0 | 0 1613.32/1613.89 c 1613s | 27 | 22285887 | 16175033 | 1094 35818 | 0 | 0 1615.42/1615.90 c 1615s | 27 | 22307340 | 16190933 | 1094 35846 | 0 | 0 1617.42/1617.90 c 1617s | 27 | 22329948 | 16207033 | 1094 35874 | 0 | 0 1619.42/1619.91 c 1619s | 27 | 22353341 | 16223533 | 1094 35904 | 0 | 0 1621.43/1621.91 c 1621s | 27 | 22375567 | 16239633 | 1094 35932 | 0 | 0 1623.44/1623.91 c 1623s | 27 | 22398146 | 16256733 | 1094 35963 | 0 | 0 1625.43/1625.92 c 1625s | 27 | 22424056 | 16275033 | 1094 35996 | 0 | 0 1627.43/1627.92 c 1627s | 27 | 22449441 | 16293033 | 1094 36028 | 0 | 0 1629.43/1629.93 c 1629s | 27 | 22472735 | 16310333 | 1094 36058 | 0 | 0 1631.43/1631.94 c 1631s | 27 | 22496646 | 16328033 | 1094 36090 | 0 | 0 1633.44/1633.94 c 1633s | 27 | 22520405 | 16345733 | 1094 36121 | 0 | 0 1635.43/1635.94 c 1635s | 27 | 22544636 | 16362933 | 1094 36152 | 0 | 0 1637.43/1637.96 c 1637s | 27 | 22567810 | 16380133 | 1094 36182 | 0 | 0 1639.43/1639.96 c 1639s | 27 | 22592483 | 16398233 | 1094 36215 | 0 | 0 1641.43/1641.96 c 1641s | 27 | 22617332 | 16415333 | 1094 36245 | 0 | 0 1643.43/1643.97 c 1643s | 27 | 22639769 | 16431933 | 1094 36275 | 0 | 0 1645.43/1645.98 c 1645s | 27 | 22661346 | 16448233 | 1094 36304 | 0 | 0 1647.42/1647.99 c 1647s | 27 | 22680668 | 16463933 | 1094 36332 | 0 | 0 1649.52/1650.00 c 1649s | 27 | 22705340 | 16481133 | 1094 36362 | 0 | 0 1651.52/1652.00 c 1651s | 27 | 22731272 | 16498533 | 1094 36393 | 0 | 0 1653.52/1654.01 c 1654s | 27 | 22754308 | 16515333 | 1094 36423 | 0 | 0 1655.52/1656.01 c 1656s | 27 | 22776311 | 16531833 | 1094 36452 | 0 | 0 1657.53/1658.02 c 1658s | 27 | 22797996 | 16548233 | 1094 36481 | 0 | 0 1659.52/1660.03 c 1660s | 27 | 22819976 | 16565033 | 1094 36511 | 0 | 0 1661.52/1662.03 c 1662s | 27 | 22844117 | 16582033 | 1094 36541 | 0 | 0 1663.52/1664.03 c 1664s | 27 | 22867956 | 16598933 | 1094 36571 | 0 | 0 1665.52/1666.04 c 1666s | 27 | 22892809 | 16616433 | 1094 36602 | 0 | 0 1667.52/1668.04 c 1668s | 27 | 22919226 | 16634133 | 1094 36634 | 0 | 0 1669.52/1670.06 c 1670s | 27 | 22944078 | 16651333 | 1094 36665 | 0 | 0 1671.52/1672.06 c 1672s | 27 | 22966889 | 16667733 | 1094 36694 | 0 | 0 1673.52/1674.06 c 1674s | 27 | 22991974 | 16684733 | 1094 36724 | 0 | 0 1675.52/1676.07 c 1676s | 27 | 23014968 | 16701033 | 1094 36753 | 0 | 0 1677.52/1678.07 c 1678s | 27 | 23039475 | 16718333 | 1094 36784 | 0 | 0 1679.53/1680.08 c 1680s | 27 | 23063269 | 16735133 | 1094 36814 | 0 | 0 1681.52/1682.09 c 1682s | 27 | 23084623 | 16751033 | 1094 36842 | 0 | 0 1683.52/1684.09 c 1684s | 27 | 23107632 | 16768033 | 1094 36872 | 0 | 0 1685.62/1686.10 c 1686s | 27 | 23130163 | 16784533 | 1094 36902 | 0 | 0 1687.62/1688.11 c 1688s | 27 | 23152040 | 16800533 | 1094 36930 | 0 | 0 1689.62/1690.13 c 1690s | 27 | 23176702 | 16817533 | 1094 36961 | 0 | 0 1691.63/1692.13 c 1692s | 27 | 23197631 | 16833533 | 1094 36989 | 0 | 0 1693.62/1694.14 c 1694s | 27 | 23221133 | 16851233 | 1094 37021 | 0 | 0 1695.62/1696.15 c 1696s | 27 | 23242137 | 16867533 | 1094 37050 | 0 | 0 1697.62/1698.16 c 1698s | 27 | 23264151 | 16884133 | 1094 37079 | 0 | 0 1699.62/1700.16 c 1700s | 27 | 23284402 | 16900333 | 1094 37108 | 0 | 0 1701.62/1702.17 c 1702s | 27 | 23306270 | 16917133 | 1094 37138 | 0 | 0 1703.62/1704.18 c 1704s | 27 | 23327123 | 16933533 | 1094 37167 | 0 | 0 1705.61/1706.18 c 1706s | 27 | 23345777 | 16948633 | 1094 37194 | 0 | 0 1707.61/1708.19 c 1708s | 27 | 23366552 | 16964433 | 1094 37222 | 0 | 0 1709.71/1710.20 c 1710s | 27 | 23390264 | 16981333 | 1204 37250 | 0 | 0 1711.71/1712.21 c 1712s | 27 | 23413203 | 16997533 | 1204 37277 | 0 | 0 1713.72/1714.21 c 1714s | 27 | 23432994 | 17012933 | 1204 37301 | 0 | 0 1715.71/1716.21 c 1716s | 27 | 23454554 | 17028433 | 1204 37326 | 0 | 0 1717.71/1718.22 c 1718s | 27 | 23476357 | 17044733 | 1204 37353 | 0 | 0 1719.71/1720.22 c 1720s | 27 | 23496749 | 17060533 | 1204 37379 | 0 | 0 1721.71/1722.23 c 1722s | 27 | 23519094 | 17077233 | 1204 37406 | 0 | 0 1723.71/1724.23 c 1724s | 27 | 23537146 | 17091933 | 1204 37430 | 0 | 0 1724.11/1724.68 c 1724s | 28 | 23541082 | 17095205 | 1204 37435 | 0 | 0 1726.11/1726.69 c 1726s | 28 | 23564275 | 17112205 | 1204 37462 | 0 | 0 1728.11/1728.69 c 1728s | 28 | 23586791 | 17129305 | 1204 37490 | 0 | 0 1730.12/1730.69 c 1730s | 28 | 23608762 | 17146105 | 1204 37517 | 0 | 0 1732.21/1732.70 c 1732s | 28 | 23629607 | 17162505 | 1204 37543 | 0 | 0 1734.21/1734.70 c 1734s | 28 | 23653675 | 17179905 | 1204 37571 | 0 | 0 1736.21/1736.71 c 1736s | 28 | 23677256 | 17197005 | 1204 37598 | 0 | 0 1738.21/1738.71 c 1738s | 28 | 23700165 | 17214305 | 1204 37626 | 0 | 0 1740.21/1740.72 c 1740s | 28 | 23721911 | 17230805 | 1204 37653 | 0 | 0 1742.21/1742.73 c 1742s | 28 | 23744678 | 17248105 | 1204 37681 | 0 | 0 1744.20/1744.73 c 1744s | 28 | 23765181 | 17264505 | 1204 37707 | 0 | 0 1746.20/1746.73 c 1746s | 28 | 23787764 | 17282005 | 1204 37735 | 0 | 0 1748.20/1748.74 c 1748s | 28 | 23810273 | 17299105 | 1204 37762 | 0 | 0 1750.20/1750.75 c 1750s | 28 | 23833274 | 17315905 | 1204 37789 | 0 | 0 1752.21/1752.75 c 1752s | 28 | 23856909 | 17333505 | 1204 37818 | 0 | 0 1754.20/1754.75 c 1754s | 28 | 23881425 | 17350805 | 1204 37846 | 0 | 0 1756.20/1756.76 c 1756s | 28 | 23904952 | 17368205 | 1204 37874 | 0 | 0 1758.21/1758.76 c 1758s | 28 | 23927541 | 17385205 | 1204 37901 | 0 | 0 1760.21/1760.77 c 1760s | 28 | 23949641 | 17402105 | 1204 37928 | 0 | 0 1762.21/1762.78 c 1762s | 28 | 23971705 | 17418905 | 1204 37955 | 0 | 0 1764.22/1764.78 c 1764s | 28 | 23992153 | 17434705 | 1204 37981 | 0 | 0 1766.21/1766.79 c 1766s | 28 | 24015225 | 17451805 | 1204 38008 | 0 | 0 1768.31/1768.80 c 1768s | 28 | 24039532 | 17469105 | 1204 38036 | 0 | 0 1770.31/1770.80 c 1770s | 28 | 24065782 | 17487105 | 1204 38065 | 0 | 0 1772.31/1772.81 c 1772s | 28 | 24088409 | 17503805 | 1204 38092 | 0 | 0 1774.31/1774.82 c 1774s | 28 | 24109153 | 17519905 | 1204 38118 | 0 | 0 1776.31/1776.84 c 1776s | 28 | 24129751 | 17536005 | 1204 38144 | 0 | 0 1778.31/1778.85 c 1778s | 28 | 24152295 | 17552805 | 1204 38170 | 0 | 0 1780.31/1780.86 c 1780s | 28 | 24175420 | 17570005 | 1204 38198 | 0 | 0 1782.31/1782.86 c 1782s | 28 | 24199905 | 17587605 | 1204 38226 | 0 | 0 1784.30/1784.88 c 1784s | 28 | 24224093 | 17605005 | 1204 38254 | 0 | 0 1786.31/1786.88 c 1786s | 28 | 24248323 | 17622505 | 1204 38283 | 0 | 0 1788.30/1788.89 c 1788s | 28 | 24271645 | 17639605 | 1204 38310 | 0 | 0 1790.30/1790.89 c 1790s | 28 | 24294874 | 17656405 | 1204 38337 | 0 | 0 1792.40/1792.90 c 1792s | 28 | 24318613 | 17673905 | 1204 38365 | 0 | 0 1794.40/1794.90 c 1794s | 28 | 24339988 | 17690205 | 1204 38391 | 0 | 0 1796.40/1796.90 c 1796s | 28 | 24360670 | 17705905 | 1204 38416 | 0 | 0 1798.41/1798.91 c 1798s | 28 | 24380842 | 17720905 | 1204 38440 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4096092-1466101852/watcher-4096092-1466101852 -o /tmp/evaluation-result-4096092-1466101852/solver-4096092-1466101852 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466098250-27994 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096092-1466101852.opb pid=28297 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.21 2.21 2.18 1/174 28300 /proc/meminfo: memFree=30448960/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=824764 CPUtime=0 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 3096 0 0 0 0 0 0 0 20 0 4 0 12233924 844558336 2946 33554432000 4194304 16246674 140733996424288 140733996423712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 206959 2958 441 2943 0 203853 0 [pid=28300/tid=28301] ppid=28297 vsize=843196 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 863432704 3018 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=847292 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 867627008 3034 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=851388 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12233925 871821312 3050 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100165 s] /proc/loadavg: 2.21 2.21 2.18 1/174 28300 /proc/meminfo: memFree=30448960/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 24700 0 0 0 5 4 0 0 20 0 4 0 12233924 1247350784 24539 33554432000 4194304 16246674 140733996424288 140733996423712 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 304529 24545 707 2943 0 301423 0 [pid=28300/tid=28301] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 24555 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 24563 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 24569 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.2005 s] /proc/loadavg: 2.21 2.21 2.18 1/174 28300 /proc/meminfo: memFree=30448960/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 46851 0 0 0 12 7 0 0 20 0 4 0 12233924 1247350784 46690 33554432000 4194304 16246674 140733996424288 140733996423712 5708022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 304529 46701 707 2943 0 301423 0 [pid=28300/tid=28301] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 46705 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 46711 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 46716 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.618114 s] /proc/loadavg: 2.21 2.21 2.18 1/174 28300 /proc/meminfo: memFree=30448960/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1218116 CPUtime=0.61 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 143215 0 0 0 39 22 0 0 20 0 4 0 12233924 1247350784 143055 33554432000 4194304 16246674 140733996424288 140733996407288 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 304529 143064 707 2943 0 301423 0 [pid=28300/tid=28301] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 143070 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 143076 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 143083 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 1218116 [startup+0.700441 s] /proc/loadavg: 2.21 2.21 2.18 1/174 28300 /proc/meminfo: memFree=30448960/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 162484 0 0 0 43 25 0 0 20 0 4 0 12233924 1247350784 162323 33554432000 4194304 16246674 140733996424288 140733996407288 5724508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 304529 162331 708 2943 0 301423 0 [pid=28300/tid=28301] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 162339 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 162345 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 162350 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.5076 s] /proc/loadavg: 2.35 2.24 2.19 3/184 28339 /proc/meminfo: memFree=28713580/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1218116 CPUtime=1.5 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 245494 0 0 0 113 37 0 0 20 0 4 0 12233924 1247350784 245313 33554432000 4194304 16246674 140733996424288 140733996407288 6021436 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 304529 245313 784 2943 0 301423 0 [pid=28300/tid=28301] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 245313 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 245313 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1247350784 245313 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 1218116 [startup+3.10042 s] /proc/loadavg: 2.35 2.24 2.19 3/184 28339 /proc/meminfo: memFree=28307968/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 267369 0 0 0 269 40 0 0 20 0 4 0 12233924 1337528320 267188 33554432000 4194304 16246674 140733996424288 140733996407288 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 326545 267188 784 2943 0 323439 0 [pid=28300/tid=28301] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267188 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267188 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267188 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30039 s] /proc/loadavg: 2.33 2.23 2.19 3/184 28339 /proc/meminfo: memFree=28306748/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 267465 0 0 0 589 40 0 0 20 0 4 0 12233924 1337528320 267284 33554432000 4194304 16246674 140733996424288 140733996407288 5667309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 326545 267284 784 2943 0 323439 0 [pid=28300/tid=28301] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267284 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267284 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267284 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7003 s] /proc/loadavg: 2.30 2.23 2.19 4/183 28339 /proc/meminfo: memFree=28306416/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1306180 CPUtime=12.69 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 267469 0 0 0 1229 40 0 0 20 0 4 0 12233924 1337528320 267288 33554432000 4194304 16246674 140733996424288 140733996407288 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 326545 267288 786 2943 0 323439 0 [pid=28300/tid=28301] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267288 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267288 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267288 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5004 s] /proc/loadavg: 2.33 2.24 2.19 4/183 28339 /proc/meminfo: memFree=28307132/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1306180 CPUtime=25.48 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 267470 0 0 0 2508 40 0 0 20 0 4 0 12233924 1337528320 267289 33554432000 4194304 16246674 140733996424288 140733996407288 6836352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 326545 267289 786 2943 0 323439 0 [pid=28300/tid=28301] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267289 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267289 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267289 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1306180 [startup+51.1004 s] /proc/loadavg: 2.25 2.23 2.19 3/183 28339 /proc/meminfo: memFree=28307016/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1306180 CPUtime=51.09 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 267470 0 0 0 5068 41 0 0 20 0 4 0 12233924 1337528320 267289 33554432000 4194304 16246674 140733996424288 140733996407288 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 326545 267289 786 2943 0 323439 0 [pid=28300/tid=28301] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267289 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267289 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267289 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.30 2.25 2.19 4/183 28341 /proc/meminfo: memFree=28306460/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1306180 CPUtime=102.27 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 267471 0 0 0 10185 42 0 0 20 0 4 0 12233924 1337528320 267290 33554432000 4194304 16246674 140733996424288 140733996406208 5754660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 326545 267290 786 2943 0 323439 0 [pid=28300/tid=28301] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267290 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267290 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1337528320 267290 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1307204 [startup+1302.3 s] /proc/loadavg: 2.27 2.27 2.20 3/183 28371 /proc/meminfo: memFree=28298612/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1307204 CPUtime=1301.88 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 268174 0 0 0 130117 71 0 0 20 0 4 0 12233924 1338576896 267840 33554432000 4194304 16246674 140733996424288 140733996407288 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 326801 267840 787 2943 0 323695 0 [pid=28300/tid=28301] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1307204 [startup+1362.3 s] /proc/loadavg: 2.38 2.31 2.22 3/183 28372 /proc/meminfo: memFree=28298656/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1307204 CPUtime=1361.87 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 268174 0 0 0 136114 73 0 0 20 0 4 0 12233924 1338576896 267840 33554432000 4194304 16246674 140733996424288 140733996406208 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 326801 267840 787 2943 0 323695 0 [pid=28300/tid=28301] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1307204 [startup+1422.3 s] /proc/loadavg: 2.51 2.35 2.23 3/183 28373 /proc/meminfo: memFree=28298560/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1307204 CPUtime=1421.86 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 268174 0 0 0 142112 74 0 0 20 0 4 0 12233924 1338576896 267840 33554432000 4194304 16246674 140733996424288 140733996406208 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 326801 267840 787 2943 0 323695 0 [pid=28300/tid=28301] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1307204 [startup+1482.3 s] /proc/loadavg: 2.47 2.36 2.24 4/183 28374 /proc/meminfo: memFree=28298600/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1307204 CPUtime=1481.85 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 268174 0 0 0 148109 76 0 0 20 0 4 0 12233924 1338576896 267840 33554432000 4194304 16246674 140733996424288 140733996407288 5754764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 326801 267840 787 2943 0 323695 0 [pid=28300/tid=28301] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1307204 [startup+1542.3 s] /proc/loadavg: 2.36 2.35 2.25 3/183 28375 /proc/meminfo: memFree=28298960/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1307204 CPUtime=1541.84 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 268174 0 0 0 154107 77 0 0 20 0 4 0 12233924 1338576896 267840 33554432000 4194304 16246674 140733996424288 140733996407288 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 326801 267840 787 2943 0 323695 0 [pid=28300/tid=28301] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1307204 [startup+1602.3 s] /proc/loadavg: 2.31 2.34 2.25 3/183 28377 /proc/meminfo: memFree=28298716/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1307204 CPUtime=1601.83 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 268174 0 0 0 160106 77 0 0 20 0 4 0 12233924 1338576896 267840 33554432000 4194304 16246674 140733996424288 140733996407288 5522872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 326801 267840 787 2943 0 323695 0 [pid=28300/tid=28301] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1307204 [startup+1662.3 s] /proc/loadavg: 2.25 2.32 2.25 3/183 28378 /proc/meminfo: memFree=28298624/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1307204 CPUtime=1661.82 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 268174 0 0 0 166104 78 0 0 20 0 4 0 12233924 1338576896 267840 33554432000 4194304 16246674 140733996424288 140733996407288 6836773 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 326801 267840 787 2943 0 323695 0 [pid=28300/tid=28301] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1307204 [startup+1722.3 s] /proc/loadavg: 2.13 2.27 2.24 3/183 28379 /proc/meminfo: memFree=28298444/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1307204 CPUtime=1721.81 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 268174 0 0 0 172102 79 0 0 20 0 4 0 12233924 1338576896 267840 33554432000 4194304 16246674 140733996424288 140733996406208 5675777 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 326801 267840 787 2943 0 323695 0 [pid=28300/tid=28301] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1338576896 267840 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1307204 [startup+1782.3 s] /proc/loadavg: 2.27 2.28 2.24 3/184 28383 /proc/meminfo: memFree=28297056/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1308228 CPUtime=1781.81 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 268270 0 0 0 178101 80 0 0 20 0 4 0 12233924 1339625472 267936 33554432000 4194304 16246674 140733996424288 140733996406208 5808184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 327057 267936 787 2943 0 323951 0 [pid=28300/tid=28301] ppid=28297 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1339625472 267936 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1339625472 267936 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1339625472 267936 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1308228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.21 2.27 2.24 3/184 28383 /proc/meminfo: memFree=28297668/32872528 swapFree=1430864/1543284 [pid=28300] ppid=28297 vsize=1308228 CPUtime=1800 cores=0,2,4,6 /proc/28300/stat : 28300 (toysat) R 28297 28300 27978 0 -1 4202496 268270 0 0 0 179920 80 0 0 20 0 4 0 12233924 1339625472 267936 33554432000 4194304 16246674 140733996424288 140733996407288 5721929 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28300/statm: 327057 267936 787 2943 0 323951 0 [pid=28300/tid=28301] ppid=28297 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28301/stat : 28301 (toysat) S 28297 28300 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12233925 1339625472 267936 33554432000 4194304 16246674 140733996424288 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28300/tid=28302] ppid=28297 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28302/stat : 28302 (toysat) S 28297 28300 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233925 1339625472 267936 33554432000 4194304 16246674 140733996424288 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28300/tid=28303] ppid=28297 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/28300/task/28303/stat : 28303 (toysat) S 28297 28300 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233925 1339625472 267936 33554432000 4194304 16246674 140733996424288 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1308228 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 28300 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.21 CPU system time (s): 0.803877 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 1308228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.21 system time used= 0.803877 maximum resident set size= 1071744 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268270 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= 424 involuntary context switches= 1955 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.19121 second user time and 8.43172 second system time The end
Begin job on node116 at 2016-06-16 20:30:52 IDJOB=4096092 IDBENCH=107565 IDSOLVER=2542 FILE ID=node116/4096092-1466101852 RUNJOBID= node116-1466098250-27994 PBS_JOBID= 19904066 Free space on /tmp= 71620 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-40.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096092-1466101852/watcher-4096092-1466101852 -o /tmp/evaluation-result-4096092-1466101852/solver-4096092-1466101852 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466098250-27994 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096092-1466101852.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1e15440c5c5c87ea1b9db448ab7b0aa0 RANDOM SEED=1330231613 node116.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.781 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.56 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.781 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.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 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.781 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.781 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.54 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.781 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.781 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30449952 kB Buffers: 42308 kB Cached: 129344 kB SwapCached: 2820 kB Active: 101680 kB Inactive: 74236 kB Active(anon): 4548 kB Inactive(anon): 1948 kB Active(file): 97132 kB Inactive(file): 72288 kB Unevictable: 1543284 kB Mlocked: 1430864 kB SwapTotal: 67108856 kB SwapFree: 67099404 kB Dirty: 16344 kB Writeback: 0 kB AnonPages: 1621592 kB Mapped: 7148 kB Shmem: 0 kB Slab: 570016 kB SReclaimable: 14416 kB SUnreclaim: 555600 kB KernelStack: 1528 kB PageTables: 6256 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1639780 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 188416 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= 71604 MiB End job on node116 at 2016-06-16 21:00:53