| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-markshare1_1.opb |
| MD5SUM | a432642e9fdf105f945bae55612ade38 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 37.7423 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 7 |
| Optimality of the best value was proved | NO |
| Number of variables | 280 |
| Total number of constraints | 11 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 11 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 130 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 43691 |
| Number of bits for the biggest coefficient in the objective function | 16 |
| Sum of the numbers in the objective function | 524412 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 261245 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 524412 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T02:59:04+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-4100097-1466211544.opb"] 0.00/0.01 c use --random-gen="3625425893 1471364420 2836637448 3408004016 2156698884 3618644782 1353980981 2889219753 1890172030 1374066251 1600684174 3742214142 903604056 3324790850 2026978055 222638542 2643503167 80256937 1079600071 2084283858 3668922515 3889253082 319779036 4238050737 3801703526 224866987 4180559976 95037880 1274887628 3936966913 2876035236 552934366 462566050 1262096605 3909813259 3321519849 3741341807 3490215148 4017570815 2791833922 2279908892 3025532250 2646393317 3499710239 1024018806 1670191015 2381760221 1467321209 3256984022 3465316160 2586492413 261840674 1315981570 1431271302 1088759354 3531673589 3910820986 2153911972 723503501 1008798755 3056466360 2333690296 2972003904 311570711 4113727345 2741253153 2369065214 1634405486 3353782859 191832695 1513676009 2849419437 2520113257 3173062858 3966065392 787508995 3368463335 4200245664 2943729248 214441466 2176786339 894167150 1679023501 1395195950 3090089369 1596336584 145599754 3912299172 2709011530 2235908610 1604077918 3191376751 3901068639 1091600925 2700271572 1716114693 1710701845 3096970684 2593414685 2637986711 101409228 4174808391 2412246399 1590004372 2872068950 2935667955 4121554487 4178597363 1291761643 1341881735 2330397027 1065651296 2510161729 46631950 1772758788 1591823127 2069868207 3795322123 1980790492 3767388278 1170117253 1080467985 1924634699 3568815381 2093362111 227948421 2732209200 3375837441 347658953 2892930483 1857489107 706221025 587467541 2468070266 502105686 352066459 3401855410 1804369459 1888620978 3517592926 1114747297 1614588777 1801025413 839085046 2488429115 2990324663 1368004124 2304967674 138497133 2863233629 1427747431 2681962016 853111907 3062983404 2613856379 3851884029 841052413 2786928120 3213664502 39667430 3583193581 2763895092 183581636 3284652538 3685749533 4028758748 1360660779 3398546302 1549010656 3394340055 3259935703 3774220138 1595224983 1518809396 2649178498 304197925 2725681800 3297569900 3833794209 866481518 4076399949 1292728802 3874218714 2297220581 1161633482 2764125435 3521846349 2365922115 3200494712 3942152368 1939563962 2323336854 1998539088 2422181124 4214083494 1292864678 2691576560 4164687585 917803892 579948638 4025674698 3447696308 3725700671 3345835266 2384630767 2897146646 3342933995 912182214 2022771659 56856776 3704101491 3174849211 2873662827 2594560934 4248296867 135341037 2824572676 1139613746 4015705109 3879154421 2936780803 3587086782 3950132529 1075685555 3270146981 733191890 1127636739 3956142859 321857398 3121677167 1265521840 542881335 2911520404 3244867373 2787881859 2874291970 329271723 650280191 1958536429 2485168089 4238910911 3554773231 2133136015 808817668 3164145220 1238540261 2357918879 1733466496 69956162 1604445272 2002140008 3467936276 1285221912 2396277998 2687088390 4175878153 255 362436" option to reproduce the execution 0.00/0.01 c #vars 280 0.00/0.01 c #constraints 11 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 99 0 | 54 | 0 0.00/0.02 c 0.0s | 0 | 29 | 0 | 99 0 | 54 | 0 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 29 0.00/0.02 c #random_decision = 1 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 243 0.00/0.02 c BCD2: hardening fixes 48 literals 0.00/0.02 c BCD2: updating upper bound: 524412 -> 242 0.00/0.02 c BCD2: 0 <= obj <= 242 0.00/0.02 c BCD2: #cores=0, #unrelaxed=132, #relaxed=0, #hardened=48 0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 99 0 | 54 | 0 0.00/0.04 c 0.0s | 1 | 262 | 100 | 99 0 | 54 | 0 0.00/0.09 c 0.1s | 2 | 579 | 250 | 109 0 | 54 | 0 0.09/0.15 c 0.1s | 3 | 979 | 475 | 120 1 | 54 | 0 0.19/0.25 c 0.2s | 4 | 1472 | 813 | 132 3 | 54 | 0 0.29/0.43 c 0.4s | 5 | 2131 | 1320 | 146 6 | 54 | 0 0.29/0.69 c 0.7s | 6 | 3038 | 2081 | 178 10 | 54 | 0 0.99/1.07 c 1.1s | 7 | 4333 | 3223 | 196 16 | 54 | 0 1.50/1.55 c 1.5s | 8 | 6197 | 4936 | 216 23 | 54 | 0 2.09/2.14 c 2.1s | 9 | 8931 | 7506 | 238 35 | 54 | 0 2.99/3.03 c 3.0s | 10 | 12943 | 11361 | 262 51 | 54 | 0 4.19/4.28 c 4.3s | 11 | 18900 | 17144 | 289 75 | 54 | 0 6.19/6.29 c 6.3s | 11 | 27695 | 25744 | 318 108 | 54 | 0 6.29/6.31 c 6.3s | 12 | 27766 | 25819 | 318 108 | 54 | 0 8.29/8.33 c 8.3s | 12 | 36635 | 34519 | 318 140 | 54 | 0 9.29/9.34 c 9.3s | 13 | 40959 | 38832 | 350 156 | 54 | 0 11.29/11.35 c 11.3s | 13 | 49849 | 47532 | 350 186 | 54 | 0 13.29/13.36 c 13.3s | 13 | 58564 | 56232 | 350 216 | 54 | 0 13.78/13.86 c 13.8s | 14 | 60694 | 58352 | 386 223 | 54 | 0 15.79/15.86 c 15.8s | 14 | 69387 | 66852 | 386 251 | 54 | 0 17.78/17.87 c 17.9s | 14 | 78240 | 75652 | 386 279 | 54 | 0 19.78/19.88 c 19.9s | 14 | 87179 | 84552 | 386 308 | 54 | 0 20.48/20.57 c 20.5s | 15 | 90263 | 87632 | 425 317 | 54 | 0 22.48/22.59 c 22.6s | 15 | 98836 | 96032 | 425 343 | 54 | 0 24.59/24.60 c 24.6s | 15 | 107374 | 104532 | 425 369 | 54 | 0 26.58/26.60 c 26.6s | 15 | 115716 | 112832 | 425 395 | 54 | 0 28.58/28.61 c 28.6s | 15 | 124146 | 121232 | 425 420 | 54 | 0 30.59/30.62 c 30.6s | 15 | 132771 | 129832 | 425 447 | 54 | 0 30.99/31.02 c 31.0s | 16 | 134495 | 131552 | 468 452 | 54 | 0 32.99/33.03 c 33.0s | 16 | 142873 | 139752 | 468 476 | 54 | 0 34.99/35.03 c 35.0s | 16 | 151514 | 148352 | 468 501 | 54 | 0 36.99/37.06 c 37.0s | 16 | 160237 | 157052 | 468 526 | 54 | 0 38.99/39.08 c 39.1s | 16 | 168548 | 165352 | 468 550 | 54 | 0 40.99/41.10 c 41.1s | 16 | 177069 | 173852 | 468 575 | 54 | 0 43.09/43.10 c 43.1s | 16 | 185500 | 182252 | 468 599 | 54 | 0 45.09/45.12 c 45.1s | 16 | 194035 | 190752 | 468 624 | 54 | 0 46.68/46.76 c 46.7s | 17 | 200735 | 197432 | 515 643 | 54 | 0 48.69/48.78 c 48.8s | 17 | 208712 | 205232 | 515 665 | 54 | 0 50.68/50.79 c 50.8s | 17 | 216533 | 213032 | 515 686 | 54 | 0 52.78/52.80 c 52.8s | 17 | 224039 | 220532 | 515 707 | 54 | 0 54.78/54.80 c 54.8s | 17 | 231650 | 228132 | 515 728 | 54 | 0 56.78/56.80 c 56.8s | 17 | 239264 | 235732 | 515 749 | 54 | 0 58.78/58.82 c 58.8s | 17 | 246797 | 243232 | 515 769 | 54 | 0 60.79/60.84 c 60.8s | 17 | 254426 | 250832 | 515 790 | 54 | 0 62.78/62.86 c 62.8s | 17 | 263060 | 259432 | 515 814 | 54 | 0 64.78/64.86 c 64.8s | 17 | 271598 | 267932 | 515 837 | 54 | 0 66.78/66.87 c 66.8s | 17 | 279748 | 276032 | 515 860 | 54 | 0 68.78/68.87 c 68.8s | 17 | 287873 | 284132 | 515 882 | 54 | 0 70.78/70.87 c 70.9s | 17 | 296183 | 292432 | 515 905 | 54 | 0 71.78/71.84 c 71.8s | 18 | 300014 | 296252 | 567 915 | 54 | 0 73.77/73.87 c 73.8s | 18 | 308092 | 304152 | 567 935 | 54 | 0 75.77/75.89 c 75.9s | 18 | 315909 | 311952 | 567 955 | 54 | 0 77.87/77.91 c 77.9s | 18 | 323721 | 319752 | 567 975 | 54 | 0 79.87/79.92 c 79.9s | 18 | 330936 | 326952 | 567 994 | 54 | 0 81.87/81.93 c 81.9s | 18 | 338647 | 334652 | 567 1014 | 54 | 0 83.88/83.93 c 83.9s | 18 | 346270 | 342252 | 567 1033 | 54 | 0 85.87/85.95 c 85.9s | 18 | 354184 | 350152 | 567 1054 | 54 | 0 87.87/87.95 c 87.9s | 18 | 361800 | 357752 | 567 1073 | 54 | 0 89.87/89.95 c 89.9s | 18 | 369319 | 365252 | 567 1093 | 54 | 0 91.87/91.97 c 91.9s | 18 | 376423 | 372352 | 567 1111 | 54 | 0 93.87/93.97 c 94.0s | 18 | 383827 | 379752 | 567 1130 | 54 | 0 95.87/95.98 c 96.0s | 18 | 391142 | 387052 | 567 1149 | 54 | 0 97.87/97.99 c 98.0s | 18 | 398553 | 394452 | 567 1168 | 54 | 0 99.86/100.00 c 100.0s | 18 | 405775 | 401652 | 567 1186 | 54 | 0 101.96/102.02 c 101s | 18 | 413001 | 408852 | 567 1205 | 54 | 0 103.96/104.04 c 104s | 18 | 420631 | 416452 | 567 1225 | 54 | 0 105.97/106.06 c 106s | 18 | 428154 | 423952 | 567 1244 | 54 | 0 107.97/108.08 c 108s | 18 | 435580 | 431352 | 567 1263 | 54 | 0 110.07/110.11 c 110s | 18 | 442897 | 438652 | 567 1282 | 54 | 0 111.57/111.67 c 111s | 19 | 448738 | 444482 | 624 1297 | 54 | 0 113.57/113.70 c 113s | 19 | 456497 | 452082 | 624 1315 | 54 | 0 115.67/115.72 c 115s | 19 | 464115 | 459682 | 624 1333 | 54 | 0 117.66/117.73 c 117s | 19 | 471833 | 467382 | 624 1351 | 54 | 0 119.66/119.73 c 119s | 19 | 479345 | 474882 | 624 1369 | 54 | 0 121.66/121.76 c 121s | 19 | 486654 | 482182 | 624 1387 | 54 | 0 123.66/123.78 c 123s | 19 | 493967 | 489482 | 624 1404 | 54 | 0 125.67/125.79 c 125s | 19 | 501371 | 496882 | 624 1422 | 54 | 0 127.76/127.81 c 127s | 19 | 508689 | 504182 | 624 1439 | 54 | 0 129.76/129.84 c 129s | 19 | 516006 | 511482 | 624 1457 | 54 | 0 131.76/131.86 c 131s | 19 | 523325 | 518782 | 624 1475 | 54 | 0 133.76/133.88 c 133s | 19 | 530855 | 526282 | 624 1492 | 54 | 0 135.76/135.88 c 135s | 19 | 538157 | 533582 | 624 1510 | 54 | 0 137.76/137.88 c 137s | 19 | 545279 | 540682 | 624 1527 | 54 | 0 139.75/139.89 c 139s | 19 | 553185 | 548582 | 624 1545 | 54 | 0 141.85/141.91 c 141s | 19 | 560601 | 555982 | 624 1563 | 54 | 0 143.85/143.91 c 143s | 19 | 568107 | 563482 | 624 1581 | 54 | 0 145.85/145.94 c 145s | 19 | 575814 | 571182 | 624 1599 | 54 | 0 147.85/147.95 c 147s | 19 | 583131 | 578482 | 624 1617 | 54 | 0 149.86/149.98 c 149s | 19 | 590336 | 585682 | 624 1634 | 54 | 0 151.95/152.01 c 151s | 19 | 597649 | 592982 | 624 1651 | 54 | 0 153.95/154.03 c 154s | 19 | 604871 | 600182 | 624 1669 | 54 | 0 155.95/156.03 c 156s | 19 | 612104 | 607382 | 624 1686 | 54 | 0 157.94/158.05 c 158s | 19 | 619623 | 614882 | 624 1704 | 54 | 0 159.94/160.07 c 160s | 19 | 626931 | 622182 | 624 1721 | 54 | 0 161.95/162.10 c 162s | 19 | 634238 | 629482 | 624 1739 | 54 | 0 164.04/164.11 c 164s | 19 | 641242 | 636482 | 624 1755 | 54 | 0 166.04/166.11 c 166s | 19 | 648253 | 643482 | 624 1772 | 54 | 0 168.04/168.12 c 168s | 19 | 655567 | 650782 | 624 1790 | 54 | 0 170.04/170.13 c 170s | 19 | 662872 | 658082 | 624 1807 | 54 | 0 172.04/172.14 c 172s | 19 | 670288 | 665482 | 687 1824 | 54 | 0 172.44/172.53 c 172s | 20 | 671632 | 666827 | 687 1827 | 54 | 0 174.43/174.54 c 174s | 20 | 679396 | 674427 | 687 1844 | 54 | 0 176.43/176.56 c 176s | 20 | 687305 | 682327 | 687 1861 | 54 | 0 178.44/178.56 c 178s | 20 | 694824 | 689827 | 687 1878 | 54 | 0 180.43/180.58 c 180s | 20 | 702130 | 697127 | 687 1894 | 54 | 0 182.53/182.61 c 182s | 20 | 709741 | 704727 | 687 1911 | 54 | 0 184.54/184.62 c 184s | 20 | 716950 | 711927 | 687 1927 | 54 | 0 186.54/186.62 c 186s | 20 | 723852 | 718827 | 687 1942 | 54 | 0 188.54/188.63 c 188s | 20 | 730961 | 725927 | 687 1957 | 54 | 0 190.54/190.66 c 190s | 20 | 738071 | 733027 | 687 1973 | 54 | 0 192.53/192.69 c 192s | 20 | 745321 | 740227 | 687 1989 | 54 | 0 194.63/194.71 c 194s | 20 | 752254 | 747127 | 687 2004 | 54 | 0 196.63/196.71 c 196s | 20 | 759069 | 753927 | 687 2019 | 54 | 0 198.63/198.71 c 198s | 20 | 766085 | 760927 | 687 2035 | 54 | 0 200.63/200.73 c 200s | 20 | 773588 | 768427 | 687 2051 | 54 | 0 202.64/202.74 c 202s | 20 | 780894 | 775727 | 687 2067 | 54 | 0 204.63/204.75 c 204s | 20 | 788109 | 782927 | 687 2083 | 54 | 0 206.63/206.77 c 206s | 20 | 795320 | 790127 | 687 2099 | 54 | 0 208.73/208.80 c 208s | 20 | 802940 | 797727 | 687 2116 | 54 | 0 210.72/210.82 c 210s | 20 | 810767 | 805527 | 687 2133 | 54 | 0 212.72/212.83 c 212s | 20 | 818485 | 813227 | 687 2150 | 54 | 0 214.73/214.86 c 214s | 20 | 825924 | 820627 | 687 2166 | 54 | 0 216.72/216.86 c 216s | 20 | 833440 | 828127 | 687 2183 | 54 | 0 218.72/218.88 c 218s | 20 | 840847 | 835527 | 687 2199 | 54 | 0 220.82/220.90 c 220s | 20 | 848156 | 842827 | 687 2215 | 54 | 0 222.82/222.91 c 222s | 20 | 855386 | 850027 | 687 2231 | 54 | 0 224.81/224.92 c 224s | 20 | 862092 | 856727 | 687 2246 | 54 | 0 226.82/226.95 c 226s | 20 | 869010 | 863627 | 687 2261 | 54 | 0 228.81/228.95 c 228s | 20 | 875824 | 870427 | 687 2276 | 54 | 0 230.81/230.98 c 230s | 20 | 882736 | 877327 | 687 2291 | 54 | 0 232.81/232.99 c 232s | 20 | 889653 | 884227 | 687 2307 | 54 | 0 234.91/235.01 c 234s | 20 | 896763 | 891327 | 687 2322 | 54 | 0 236.91/237.04 c 237s | 20 | 903881 | 898427 | 687 2338 | 54 | 0 238.91/239.04 c 239s | 20 | 910990 | 905527 | 687 2354 | 54 | 0 240.90/241.04 c 241s | 20 | 917909 | 912427 | 687 2369 | 54 | 0 242.90/243.06 c 243s | 20 | 924841 | 919327 | 687 2384 | 54 | 0 244.90/245.06 c 245s | 20 | 932165 | 926627 | 687 2401 | 54 | 0 246.90/247.08 c 247s | 20 | 939471 | 933927 | 687 2417 | 54 | 0 248.91/249.09 c 249s | 20 | 946691 | 941127 | 687 2433 | 54 | 0 251.00/251.11 c 251s | 20 | 953912 | 948327 | 687 2449 | 54 | 0 252.99/253.12 c 253s | 20 | 960727 | 955127 | 687 2464 | 54 | 0 254.99/255.13 c 255s | 20 | 967740 | 962127 | 687 2480 | 54 | 0 257.00/257.16 c 257s | 20 | 974979 | 969327 | 687 2496 | 54 | 0 259.00/259.18 c 259s | 20 | 982391 | 976727 | 687 2512 | 54 | 0 261.00/261.19 c 261s | 20 | 989705 | 984027 | 687 2528 | 54 | 0 262.99/263.19 c 263s | 20 | 996812 | 991127 | 687 2544 | 54 | 0 265.09/265.20 c 265s | 20 | 1004234 | 998527 | 756 2559 | 54 | 0 265.59/265.72 c 265s | 21 | 1006051 | 1000345 | 756 2563 | 54 | 0 267.60/267.73 c 267s | 21 | 1013515 | 1007645 | 756 2578 | 54 | 0 269.59/269.75 c 269s | 21 | 1020822 | 1014945 | 756 2593 | 54 | 0 271.59/271.75 c 271s | 21 | 1028038 | 1022145 | 756 2608 | 54 | 0 273.59/273.77 c 273s | 21 | 1035248 | 1029345 | 756 2623 | 54 | 0 275.59/275.78 c 275s | 21 | 1042267 | 1036345 | 756 2637 | 54 | 0 277.59/277.79 c 277s | 21 | 1049378 | 1043445 | 756 2651 | 54 | 0 279.60/279.79 c 279s | 21 | 1056711 | 1050745 | 756 2666 | 54 | 0 281.69/281.80 c 281s | 21 | 1063549 | 1057545 | 756 2680 | 54 | 0 283.68/283.80 c 283s | 21 | 1070379 | 1064345 | 756 2694 | 54 | 0 285.68/285.81 c 285s | 21 | 1076907 | 1070845 | 756 2707 | 54 | 0 287.68/287.84 c 287s | 21 | 1082955 | 1076845 | 756 2720 | 54 | 0 289.68/289.86 c 289s | 21 | 1087474 | 1081345 | 756 2729 | 54 | 0 291.69/291.88 c 291s | 21 | 1092782 | 1086645 | 756 2740 | 54 | 0 293.68/293.88 c 293s | 21 | 1099491 | 1093345 | 756 2753 | 54 | 0 295.68/295.89 c 295s | 21 | 1106301 | 1100145 | 756 2767 | 54 | 0 297.78/297.90 c 297s | 21 | 1113133 | 1106945 | 756 2781 | 54 | 0 299.78/299.92 c 299s | 21 | 1120182 | 1113945 | 756 2795 | 54 | 0 301.78/301.95 c 301s | 21 | 1127218 | 1120945 | 756 2810 | 54 | 0 303.78/303.97 c 303s | 21 | 1134248 | 1127945 | 756 2824 | 54 | 0 305.77/305.97 c 305s | 21 | 1140770 | 1134445 | 756 2838 | 54 | 0 307.87/308.00 c 307s | 21 | 1147302 | 1140945 | 756 2851 | 54 | 0 309.87/310.00 c 309s | 21 | 1153611 | 1147245 | 756 2864 | 54 | 0 311.87/312.01 c 311s | 21 | 1160361 | 1153945 | 756 2878 | 54 | 0 313.86/314.02 c 314s | 21 | 1166682 | 1160245 | 756 2891 | 54 | 0 315.87/316.06 c 316s | 21 | 1172928 | 1166445 | 756 2903 | 54 | 0 317.86/318.07 c 318s | 21 | 1178944 | 1172445 | 756 2916 | 54 | 0 319.96/320.10 c 320s | 21 | 1185467 | 1178945 | 756 2929 | 54 | 0 321.96/322.11 c 322s | 21 | 1191803 | 1185245 | 756 2942 | 54 | 0 323.96/324.13 c 324s | 21 | 1198203 | 1191545 | 756 2955 | 54 | 0 325.96/326.14 c 326s | 21 | 1205766 | 1199045 | 756 2970 | 54 | 0 327.96/328.15 c 328s | 21 | 1213013 | 1206245 | 756 2985 | 54 | 0 329.96/330.16 c 330s | 21 | 1220026 | 1213245 | 756 2999 | 54 | 0 331.95/332.18 c 332s | 21 | 1226948 | 1220145 | 756 3013 | 54 | 0 333.95/334.20 c 334s | 21 | 1233770 | 1226945 | 756 3027 | 54 | 0 336.05/336.20 c 336s | 21 | 1240595 | 1233745 | 756 3040 | 54 | 0 338.05/338.23 c 338s | 21 | 1247302 | 1240445 | 756 3054 | 54 | 0 340.07/340.26 c 340s | 21 | 1253926 | 1247045 | 756 3068 | 54 | 0 342.05/342.26 c 342s | 21 | 1260344 | 1253445 | 756 3080 | 54 | 0 344.05/344.27 c 344s | 21 | 1266973 | 1260045 | 756 3094 | 54 | 0 346.05/346.27 c 346s | 21 | 1273985 | 1267045 | 756 3108 | 54 | 0 348.05/348.29 c 348s | 21 | 1280712 | 1273745 | 756 3122 | 54 | 0 350.15/350.31 c 350s | 21 | 1287229 | 1280245 | 756 3135 | 54 | 0 352.15/352.32 c 352s | 21 | 1293848 | 1286845 | 756 3148 | 54 | 0 354.14/354.35 c 354s | 21 | 1300357 | 1293345 | 756 3162 | 54 | 0 356.14/356.36 c 356s | 21 | 1307062 | 1300045 | 756 3175 | 54 | 0 358.14/358.37 c 358s | 21 | 1314233 | 1307145 | 756 3190 | 54 | 0 360.14/360.38 c 360s | 21 | 1321362 | 1314245 | 756 3204 | 54 | 0 362.15/362.38 c 362s | 21 | 1328504 | 1321345 | 756 3219 | 54 | 0 364.14/364.40 c 364s | 21 | 1335431 | 1328245 | 756 3233 | 54 | 0 366.24/366.42 c 366s | 21 | 1342155 | 1334945 | 756 3247 | 54 | 0 368.24/368.45 c 368s | 21 | 1349177 | 1341945 | 756 3261 | 54 | 0 370.24/370.47 c 370s | 21 | 1355911 | 1348645 | 756 3275 | 54 | 0 372.33/372.50 c 372s | 21 | 1362413 | 1355145 | 756 3288 | 54 | 0 374.33/374.51 c 374s | 21 | 1368626 | 1361345 | 756 3301 | 54 | 0 376.34/376.54 c 376s | 21 | 1374081 | 1366745 | 756 3312 | 54 | 0 378.33/378.57 c 378s | 21 | 1379806 | 1372445 | 756 3323 | 54 | 0 380.33/380.58 c 380s | 21 | 1386016 | 1378645 | 756 3336 | 54 | 0 382.33/382.59 c 382s | 21 | 1392427 | 1385045 | 756 3349 | 54 | 0 384.33/384.60 c 384s | 21 | 1398646 | 1391245 | 756 3362 | 54 | 0 386.43/386.60 c 386s | 21 | 1404963 | 1397545 | 756 3375 | 54 | 0 388.43/388.61 c 388s | 21 | 1411776 | 1404345 | 756 3389 | 54 | 0 390.43/390.63 c 390s | 21 | 1418807 | 1411345 | 756 3403 | 54 | 0 392.43/392.66 c 392s | 21 | 1425532 | 1418045 | 756 3417 | 54 | 0 394.43/394.68 c 394s | 21 | 1432040 | 1424545 | 756 3430 | 54 | 0 396.53/396.70 c 396s | 21 | 1438377 | 1430845 | 756 3443 | 54 | 0 398.53/398.73 c 398s | 21 | 1444594 | 1437045 | 756 3456 | 54 | 0 400.54/400.76 c 400s | 21 | 1451008 | 1443445 | 756 3469 | 54 | 0 402.53/402.79 c 402s | 21 | 1457425 | 1449845 | 756 3482 | 54 | 0 404.63/404.81 c 404s | 21 | 1463138 | 1455545 | 756 3493 | 54 | 0 406.63/406.84 c 406s | 21 | 1467544 | 1459945 | 756 3502 | 54 | 0 408.63/408.85 c 408s | 21 | 1472259 | 1464645 | 756 3512 | 54 | 0 410.62/410.86 c 410s | 21 | 1477896 | 1470245 | 756 3524 | 54 | 0 412.63/412.87 c 412s | 21 | 1483423 | 1475745 | 756 3535 | 54 | 0 414.62/414.89 c 414s | 21 | 1489419 | 1481745 | 756 3547 | 54 | 0 416.72/416.93 c 416s | 21 | 1494975 | 1487245 | 756 3558 | 54 | 0 418.72/418.95 c 418s | 21 | 1500896 | 1493145 | 832 3570 | 54 | 0 420.72/420.95 c 420s | 21 | 1507318 | 1499545 | 832 3582 | 54 | 0 421.02/421.29 c 421s | 22 | 1508394 | 1500622 | 832 3584 | 54 | 0 423.02/423.30 c 423s | 22 | 1515287 | 1507322 | 832 3597 | 54 | 0 425.12/425.32 c 425s | 22 | 1522218 | 1514222 | 832 3610 | 54 | 0 427.11/427.32 c 427s | 22 | 1528947 | 1520922 | 832 3623 | 54 | 0 429.12/429.33 c 429s | 22 | 1535794 | 1527722 | 832 3636 | 54 | 0 431.11/431.34 c 431s | 22 | 1542711 | 1534622 | 832 3649 | 54 | 0 433.11/433.35 c 433s | 22 | 1549639 | 1541522 | 832 3662 | 54 | 0 435.11/435.36 c 435s | 22 | 1556153 | 1548022 | 832 3675 | 54 | 0 437.11/437.38 c 437s | 22 | 1562774 | 1554622 | 832 3687 | 54 | 0 439.12/439.39 c 439s | 22 | 1569400 | 1561222 | 832 3700 | 54 | 0 441.21/441.41 c 441s | 22 | 1576247 | 1568022 | 832 3713 | 54 | 0 443.21/443.43 c 443s | 22 | 1583094 | 1574822 | 832 3726 | 54 | 0 445.21/445.43 c 445s | 22 | 1589949 | 1581622 | 832 3739 | 54 | 0 447.20/447.44 c 447s | 22 | 1596867 | 1588522 | 832 3752 | 54 | 0 449.20/449.45 c 449s | 22 | 1603593 | 1595222 | 832 3765 | 54 | 0 451.21/451.47 c 451s | 22 | 1610229 | 1601822 | 832 3777 | 54 | 0 453.20/453.49 c 453s | 22 | 1617259 | 1608822 | 832 3790 | 54 | 0 455.30/455.51 c 455s | 22 | 1624184 | 1615722 | 832 3804 | 54 | 0 457.30/457.52 c 457s | 22 | 1631194 | 1622722 | 832 3817 | 54 | 0 459.30/459.55 c 459s | 22 | 1638021 | 1629522 | 832 3830 | 54 | 0 461.30/461.57 c 461s | 22 | 1644938 | 1636422 | 832 3843 | 54 | 0 463.30/463.58 c 463s | 22 | 1651455 | 1642922 | 832 3855 | 54 | 0 465.29/465.60 c 465s | 22 | 1658369 | 1649822 | 832 3868 | 54 | 0 467.39/467.61 c 467s | 22 | 1665186 | 1656622 | 832 3881 | 54 | 0 469.39/469.62 c 469s | 22 | 1671804 | 1663222 | 832 3894 | 54 | 0 471.39/471.63 c 471s | 22 | 1678405 | 1669822 | 832 3907 | 54 | 0 473.39/473.63 c 473s | 22 | 1685148 | 1676522 | 832 3919 | 54 | 0 475.40/475.65 c 475s | 22 | 1692369 | 1683722 | 832 3933 | 54 | 0 477.39/477.66 c 477s | 22 | 1699278 | 1690622 | 832 3946 | 54 | 0 479.39/479.69 c 479s | 22 | 1705893 | 1697222 | 832 3959 | 54 | 0 481.49/481.71 c 481s | 22 | 1712521 | 1703822 | 832 3971 | 54 | 0 483.49/483.73 c 483s | 22 | 1719369 | 1710622 | 832 3984 | 54 | 0 485.49/485.74 c 485s | 22 | 1726306 | 1717522 | 832 3997 | 54 | 0 487.49/487.75 c 487s | 22 | 1733143 | 1724322 | 832 4010 | 54 | 0 489.48/489.76 c 489s | 22 | 1739975 | 1731122 | 832 4023 | 54 | 0 491.48/491.77 c 491s | 22 | 1746499 | 1737622 | 832 4036 | 54 | 0 493.48/493.77 c 493s | 22 | 1753231 | 1744322 | 832 4049 | 54 | 0 495.48/495.78 c 495s | 22 | 1759737 | 1750822 | 832 4061 | 54 | 0 497.58/497.81 c 497s | 22 | 1766247 | 1757322 | 832 4074 | 54 | 0 499.59/499.82 c 499s | 22 | 1772563 | 1763622 | 832 4086 | 54 | 0 501.58/501.84 c 501s | 22 | 1778975 | 1770022 | 832 4098 | 54 | 0 503.58/503.87 c 503s | 22 | 1785312 | 1776322 | 832 4110 | 54 | 0 505.58/505.88 c 505s | 22 | 1792769 | 1783722 | 832 4124 | 54 | 0 507.68/507.90 c 507s | 22 | 1799877 | 1790822 | 832 4137 | 54 | 0 509.68/509.91 c 509s | 22 | 1806896 | 1797822 | 832 4151 | 54 | 0 511.68/511.92 c 511s | 22 | 1813922 | 1804822 | 832 4164 | 54 | 0 513.67/513.92 c 513s | 22 | 1820941 | 1811822 | 832 4177 | 54 | 0 515.67/515.93 c 515s | 22 | 1827859 | 1818722 | 832 4190 | 54 | 0 517.67/517.95 c 517s | 22 | 1834991 | 1825822 | 832 4204 | 54 | 0 519.67/519.95 c 519s | 22 | 1841908 | 1832722 | 832 4217 | 54 | 0 521.67/521.95 c 521s | 22 | 1848726 | 1839522 | 832 4230 | 54 | 0 523.67/523.96 c 523s | 22 | 1855531 | 1846322 | 832 4243 | 54 | 0 525.67/525.97 c 525s | 22 | 1862359 | 1853122 | 832 4256 | 54 | 0 527.76/528.00 c 527s | 22 | 1869185 | 1859922 | 832 4269 | 54 | 0 529.76/530.03 c 530s | 22 | 1876203 | 1866922 | 832 4282 | 54 | 0 531.76/532.04 c 532s | 22 | 1883124 | 1873822 | 832 4295 | 54 | 0 533.76/534.05 c 534s | 22 | 1890045 | 1880722 | 832 4308 | 54 | 0 535.77/536.05 c 536s | 22 | 1896961 | 1887622 | 832 4321 | 54 | 0 537.76/538.08 c 538s | 22 | 1904182 | 1894822 | 832 4335 | 54 | 0 539.76/540.08 c 540s | 22 | 1911102 | 1901722 | 832 4348 | 54 | 0 541.75/542.09 c 542s | 22 | 1918129 | 1908722 | 832 4361 | 54 | 0 543.85/544.11 c 544s | 22 | 1925143 | 1915722 | 832 4374 | 54 | 0 545.85/546.11 c 546s | 22 | 1932083 | 1922622 | 832 4388 | 54 | 0 547.86/548.14 c 548s | 22 | 1939006 | 1929522 | 832 4401 | 54 | 0 549.85/550.17 c 550s | 22 | 1945821 | 1936322 | 832 4414 | 54 | 0 551.85/552.17 c 552s | 22 | 1952534 | 1943022 | 832 4426 | 54 | 0 553.95/554.20 c 554s | 22 | 1959256 | 1949722 | 832 4439 | 54 | 0 555.95/556.20 c 556s | 22 | 1965881 | 1956322 | 832 4452 | 54 | 0 557.95/558.22 c 558s | 22 | 1972492 | 1962922 | 832 4464 | 54 | 0 559.95/560.22 c 560s | 22 | 1979309 | 1969722 | 832 4477 | 54 | 0 561.94/562.22 c 562s | 22 | 1986024 | 1976422 | 832 4490 | 54 | 0 563.94/564.23 c 564s | 22 | 1992743 | 1983122 | 832 4503 | 54 | 0 565.94/566.24 c 566s | 22 | 1999364 | 1989722 | 832 4516 | 54 | 0 567.94/568.27 c 568s | 22 | 2005876 | 1996222 | 832 4528 | 54 | 0 569.95/570.29 c 570s | 22 | 2012494 | 2002822 | 832 4541 | 54 | 0 572.05/572.31 c 572s | 22 | 2019221 | 2009522 | 832 4553 | 54 | 0 574.04/574.33 c 574s | 22 | 2025862 | 2016122 | 832 4566 | 54 | 0 576.04/576.35 c 576s | 22 | 2032979 | 2023222 | 832 4579 | 54 | 0 578.04/578.36 c 578s | 22 | 2039594 | 2029822 | 832 4592 | 54 | 0 580.04/580.38 c 580s | 22 | 2046318 | 2036522 | 832 4605 | 54 | 0 582.04/582.39 c 582s | 22 | 2053142 | 2043322 | 832 4618 | 54 | 0 584.14/584.41 c 584s | 22 | 2059863 | 2050022 | 832 4631 | 54 | 0 586.13/586.42 c 586s | 22 | 2066667 | 2056822 | 832 4644 | 54 | 0 588.13/588.43 c 588s | 22 | 2073276 | 2063422 | 832 4656 | 54 | 0 590.13/590.46 c 590s | 22 | 2079786 | 2069922 | 832 4668 | 54 | 0 592.13/592.48 c 592s | 22 | 2086394 | 2076522 | 832 4681 | 54 | 0 594.23/594.51 c 594s | 22 | 2092909 | 2083022 | 832 4693 | 54 | 0 596.24/596.53 c 596s | 22 | 2099442 | 2089522 | 832 4706 | 54 | 0 598.23/598.56 c 598s | 22 | 2106048 | 2096122 | 832 4718 | 54 | 0 600.23/600.57 c 600s | 22 | 2112656 | 2102722 | 832 4731 | 54 | 0 602.32/602.60 c 602s | 22 | 2119275 | 2109322 | 832 4744 | 54 | 0 604.32/604.61 c 604s | 22 | 2125995 | 2116022 | 832 4756 | 54 | 0 606.32/606.62 c 606s | 22 | 2132399 | 2122422 | 832 4769 | 54 | 0 608.33/608.65 c 608s | 22 | 2138704 | 2128722 | 832 4781 | 54 | 0 610.32/610.66 c 610s | 22 | 2145248 | 2135222 | 832 4793 | 54 | 0 612.32/612.66 c 612s | 22 | 2152279 | 2142222 | 832 4806 | 54 | 0 614.32/614.68 c 614s | 22 | 2159210 | 2149122 | 832 4819 | 54 | 0 616.32/616.70 c 616s | 22 | 2165922 | 2155822 | 832 4832 | 54 | 0 618.42/618.72 c 618s | 22 | 2172852 | 2162722 | 832 4845 | 54 | 0 620.42/620.74 c 620s | 22 | 2179579 | 2169422 | 832 4858 | 54 | 0 622.41/622.76 c 622s | 22 | 2186394 | 2176222 | 832 4871 | 54 | 0 624.41/624.79 c 624s | 22 | 2193302 | 2183122 | 832 4884 | 54 | 0 626.51/626.80 c 626s | 22 | 2200049 | 2189822 | 832 4897 | 54 | 0 628.51/628.81 c 628s | 22 | 2206359 | 2196122 | 832 4909 | 54 | 0 630.51/630.83 c 630s | 22 | 2212879 | 2202622 | 832 4921 | 54 | 0 632.52/632.84 c 632s | 22 | 2219195 | 2208922 | 832 4933 | 54 | 0 634.51/634.85 c 634s | 22 | 2225598 | 2215322 | 832 4945 | 54 | 0 636.51/636.87 c 636s | 22 | 2232216 | 2221922 | 832 4958 | 54 | 0 638.51/638.87 c 638s | 22 | 2238929 | 2228622 | 832 4971 | 54 | 0 640.51/640.88 c 640s | 22 | 2245445 | 2235122 | 916 4983 | 54 | 0 642.51/642.89 c 642s | 22 | 2251973 | 2241622 | 916 4995 | 54 | 0 644.50/644.89 c 644s | 22 | 2258593 | 2248222 | 916 5006 | 54 | 0 645.40/645.75 c 645s | 23 | 2261409 | 2251038 | 916 5011 | 54 | 0 647.40/647.77 c 647s | 23 | 2268388 | 2257838 | 916 5023 | 54 | 0 649.40/649.78 c 649s | 23 | 2275122 | 2264538 | 916 5035 | 54 | 0 651.50/651.82 c 651s | 23 | 2281747 | 2271138 | 916 5047 | 54 | 0 653.50/653.84 c 653s | 23 | 2288062 | 2277438 | 916 5058 | 54 | 0 655.50/655.87 c 655s | 23 | 2294585 | 2283938 | 916 5070 | 54 | 0 657.50/657.88 c 657s | 23 | 2301013 | 2290338 | 916 5081 | 54 | 0 659.60/659.91 c 659s | 23 | 2307743 | 2297038 | 916 5093 | 54 | 0 661.60/661.91 c 661s | 23 | 2314459 | 2303738 | 916 5105 | 54 | 0 663.60/663.92 c 663s | 23 | 2321085 | 2310338 | 916 5117 | 54 | 0 665.61/665.94 c 665s | 23 | 2327903 | 2317138 | 916 5129 | 54 | 0 667.60/667.96 c 667s | 23 | 2334753 | 2323938 | 916 5141 | 54 | 0 669.60/669.99 c 669s | 23 | 2341290 | 2330438 | 916 5152 | 54 | 0 671.69/672.02 c 671s | 23 | 2347407 | 2336538 | 916 5163 | 54 | 0 673.69/674.04 c 674s | 23 | 2353841 | 2342938 | 916 5174 | 54 | 0 675.69/676.05 c 676s | 23 | 2360053 | 2349138 | 916 5185 | 54 | 0 677.70/678.05 c 678s | 23 | 2366468 | 2355538 | 916 5197 | 54 | 0 679.69/680.06 c 680s | 23 | 2372681 | 2361738 | 916 5208 | 54 | 0 681.69/682.07 c 682s | 23 | 2378998 | 2368038 | 916 5219 | 54 | 0 683.69/684.09 c 684s | 23 | 2384921 | 2373938 | 916 5230 | 54 | 0 685.79/686.11 c 686s | 23 | 2391242 | 2380238 | 916 5241 | 54 | 0 687.79/688.12 c 688s | 23 | 2397349 | 2386338 | 916 5251 | 54 | 0 689.80/690.12 c 690s | 23 | 2403467 | 2392438 | 916 5262 | 54 | 0 691.79/692.13 c 692s | 23 | 2409791 | 2398738 | 916 5274 | 54 | 0 693.79/694.13 c 694s | 23 | 2416122 | 2405038 | 916 5285 | 54 | 0 695.79/696.14 c 696s | 23 | 2422230 | 2411138 | 916 5296 | 54 | 0 697.79/698.16 c 698s | 23 | 2428443 | 2417338 | 916 5307 | 54 | 0 699.79/700.16 c 700s | 23 | 2434662 | 2423538 | 916 5318 | 54 | 0 701.79/702.17 c 702s | 23 | 2441077 | 2429938 | 916 5329 | 54 | 0 703.79/704.17 c 704s | 23 | 2447394 | 2436238 | 916 5340 | 54 | 0 705.79/706.18 c 706s | 23 | 2453712 | 2442538 | 916 5351 | 54 | 0 707.79/708.19 c 708s | 23 | 2459928 | 2448738 | 916 5362 | 54 | 0 709.79/710.19 c 710s | 23 | 2466151 | 2454938 | 916 5374 | 54 | 0 711.88/712.21 c 712s | 23 | 2472467 | 2461238 | 916 5385 | 54 | 0 713.89/714.22 c 714s | 23 | 2478999 | 2467738 | 916 5396 | 54 | 0 715.88/716.23 c 716s | 23 | 2485316 | 2474038 | 916 5407 | 54 | 0 717.88/718.25 c 718s | 23 | 2491641 | 2480338 | 916 5419 | 54 | 0 719.88/720.28 c 720s | 23 | 2497857 | 2486538 | 916 5430 | 54 | 0 721.98/722.30 c 722s | 23 | 2504282 | 2492938 | 916 5441 | 54 | 0 723.98/724.34 c 724s | 23 | 2510591 | 2499238 | 916 5452 | 54 | 0 725.99/726.37 c 726s | 23 | 2516710 | 2505338 | 916 5463 | 54 | 0 727.98/728.39 c 728s | 23 | 2522948 | 2511538 | 916 5474 | 54 | 0 729.98/730.39 c 730s | 23 | 2529266 | 2517838 | 916 5485 | 54 | 0 732.08/732.41 c 732s | 23 | 2535785 | 2524338 | 916 5497 | 54 | 0 734.08/734.43 c 734s | 23 | 2542225 | 2530738 | 916 5508 | 54 | 0 736.08/736.46 c 736s | 23 | 2548432 | 2536938 | 916 5519 | 54 | 0 738.08/738.48 c 738s | 23 | 2553671 | 2542138 | 916 5529 | 54 | 0 740.18/740.51 c 740s | 23 | 2559690 | 2548138 | 916 5539 | 54 | 0 742.18/742.53 c 742s | 23 | 2565327 | 2553738 | 916 5549 | 54 | 0 744.18/744.53 c 744s | 23 | 2571259 | 2559638 | 916 5560 | 54 | 0 746.18/746.54 c 746s | 23 | 2577390 | 2565738 | 916 5571 | 54 | 0 748.18/748.54 c 748s | 23 | 2583408 | 2571738 | 916 5581 | 54 | 0 750.18/750.56 c 750s | 23 | 2589530 | 2577838 | 916 5592 | 54 | 0 752.17/752.58 c 752s | 23 | 2595745 | 2584038 | 916 5604 | 54 | 0 754.17/754.60 c 754s | 23 | 2601861 | 2590138 | 916 5614 | 54 | 0 756.27/756.63 c 756s | 23 | 2607587 | 2595838 | 916 5625 | 54 | 0 758.28/758.64 c 758s | 23 | 2613300 | 2601538 | 916 5635 | 54 | 0 760.28/760.65 c 760s | 23 | 2618926 | 2607138 | 916 5645 | 54 | 0 762.29/762.67 c 762s | 23 | 2624756 | 2612938 | 916 5655 | 54 | 0 764.28/764.67 c 764s | 23 | 2630869 | 2619038 | 916 5666 | 54 | 0 766.28/766.69 c 766s | 23 | 2636992 | 2625138 | 916 5677 | 54 | 0 768.38/768.71 c 768s | 23 | 2643447 | 2631538 | 916 5689 | 54 | 0 770.38/770.73 c 770s | 23 | 2650701 | 2638738 | 916 5701 | 54 | 0 772.38/772.76 c 772s | 23 | 2657620 | 2645638 | 916 5713 | 54 | 0 774.38/774.79 c 774s | 23 | 2664748 | 2652738 | 916 5726 | 54 | 0 776.48/776.80 c 776s | 23 | 2672083 | 2660038 | 916 5739 | 54 | 0 778.48/778.83 c 778s | 23 | 2679335 | 2667238 | 916 5752 | 54 | 0 780.47/780.86 c 780s | 23 | 2686599 | 2674438 | 916 5764 | 54 | 0 782.47/782.89 c 782s | 23 | 2693534 | 2681338 | 916 5776 | 54 | 0 784.57/784.90 c 784s | 23 | 2700558 | 2688338 | 916 5789 | 54 | 0 786.58/786.92 c 786s | 23 | 2707684 | 2695438 | 916 5801 | 54 | 0 788.57/788.93 c 788s | 23 | 2714724 | 2702438 | 916 5814 | 54 | 0 790.57/790.95 c 790s | 23 | 2721566 | 2709238 | 916 5826 | 54 | 0 792.57/792.95 c 792s | 23 | 2727895 | 2715538 | 916 5837 | 54 | 0 794.67/795.00 c 794s | 23 | 2733431 | 2721038 | 916 5847 | 54 | 0 796.67/797.01 c 796s | 23 | 2738862 | 2726438 | 916 5856 | 54 | 0 798.68/799.04 c 799s | 23 | 2744073 | 2731638 | 916 5865 | 54 | 0 800.67/801.06 c 801s | 23 | 2750492 | 2738038 | 916 5877 | 54 | 0 802.67/803.08 c 803s | 23 | 2757029 | 2744538 | 916 5888 | 54 | 0 804.77/805.11 c 805s | 23 | 2763541 | 2751038 | 916 5900 | 54 | 0 806.77/807.13 c 807s | 23 | 2770170 | 2757638 | 916 5911 | 54 | 0 808.77/809.14 c 809s | 23 | 2776205 | 2763638 | 916 5922 | 54 | 0 810.77/811.16 c 811s | 23 | 2782032 | 2769438 | 916 5932 | 54 | 0 812.77/813.17 c 813s | 23 | 2788240 | 2775638 | 916 5943 | 54 | 0 814.77/815.18 c 815s | 23 | 2793573 | 2780938 | 916 5952 | 54 | 0 816.86/817.22 c 817s | 23 | 2797913 | 2785238 | 916 5960 | 54 | 0 818.86/819.26 c 819s | 23 | 2802150 | 2789438 | 916 5967 | 54 | 0 820.86/821.28 c 821s | 23 | 2807969 | 2795238 | 916 5978 | 54 | 0 822.97/823.30 c 823s | 23 | 2814305 | 2801538 | 916 5989 | 54 | 0 824.98/825.35 c 825s | 23 | 2819851 | 2807038 | 916 5999 | 54 | 0 826.97/827.37 c 827s | 23 | 2823800 | 2810938 | 916 6005 | 54 | 0 829.07/829.41 c 829s | 23 | 2828728 | 2815838 | 916 6014 | 54 | 0 831.07/831.42 c 831s | 23 | 2835157 | 2822238 | 916 6026 | 54 | 0 833.07/833.43 c 833s | 23 | 2841676 | 2828738 | 916 6037 | 54 | 0 835.07/835.44 c 835s | 23 | 2848300 | 2835338 | 916 6049 | 54 | 0 837.08/837.45 c 837s | 23 | 2855132 | 2842138 | 916 6061 | 54 | 0 839.07/839.47 c 839s | 23 | 2861867 | 2848838 | 916 6073 | 54 | 0 841.07/841.48 c 841s | 23 | 2868411 | 2855338 | 916 6084 | 54 | 0 843.07/843.49 c 843s | 23 | 2875041 | 2861938 | 916 6096 | 54 | 0 845.17/845.50 c 845s | 23 | 2881763 | 2868638 | 916 6108 | 54 | 0 847.17/847.52 c 847s | 23 | 2888295 | 2875138 | 916 6119 | 54 | 0 849.17/849.53 c 849s | 23 | 2894953 | 2881738 | 916 6131 | 54 | 0 851.17/851.54 c 851s | 23 | 2901687 | 2888438 | 916 6143 | 54 | 0 853.17/853.56 c 853s | 23 | 2908410 | 2895138 | 916 6155 | 54 | 0 855.16/855.57 c 855s | 23 | 2914941 | 2901638 | 916 6166 | 54 | 0 857.16/857.57 c 857s | 23 | 2921399 | 2908038 | 916 6178 | 54 | 0 859.26/859.60 c 859s | 23 | 2927922 | 2914538 | 916 6189 | 54 | 0 861.27/861.61 c 861s | 23 | 2934664 | 2921238 | 916 6201 | 54 | 0 863.26/863.62 c 863s | 23 | 2941280 | 2927838 | 916 6213 | 54 | 0 865.26/865.65 c 865s | 23 | 2947612 | 2934138 | 916 6224 | 54 | 0 867.26/867.66 c 867s | 23 | 2953940 | 2940438 | 916 6235 | 54 | 0 869.26/869.68 c 869s | 23 | 2960374 | 2946838 | 916 6247 | 54 | 0 871.27/871.69 c 871s | 23 | 2964688 | 2951138 | 916 6254 | 54 | 0 873.37/873.73 c 873s | 23 | 2970719 | 2957138 | 916 6265 | 54 | 0 875.36/875.75 c 875s | 23 | 2976752 | 2963138 | 916 6276 | 54 | 0 877.36/877.76 c 877s | 23 | 2982498 | 2968838 | 916 6286 | 54 | 0 879.36/879.77 c 879s | 23 | 2988234 | 2974538 | 916 6296 | 54 | 0 881.36/881.79 c 881s | 23 | 2994567 | 2980838 | 916 6307 | 54 | 0 883.46/883.82 c 883s | 23 | 3000701 | 2986938 | 916 6318 | 54 | 0 885.46/885.83 c 885s | 23 | 3006965 | 2993138 | 916 6329 | 54 | 0 887.46/887.85 c 887s | 23 | 3013016 | 2999138 | 916 6340 | 54 | 0 889.46/889.88 c 889s | 23 | 3018064 | 3004138 | 916 6348 | 54 | 0 891.56/891.90 c 891s | 23 | 3022085 | 3008138 | 916 6356 | 54 | 0 893.56/893.91 c 893s | 23 | 3026011 | 3012038 | 916 6362 | 54 | 0 895.55/895.93 c 895s | 23 | 3030525 | 3016538 | 916 6370 | 54 | 0 897.56/897.94 c 897s | 23 | 3036352 | 3022338 | 916 6381 | 54 | 0 899.55/899.97 c 899s | 23 | 3041782 | 3027738 | 916 6390 | 54 | 0 901.55/901.99 c 901s | 23 | 3045987 | 3031938 | 916 6398 | 54 | 0 903.65/904.04 c 904s | 23 | 3050307 | 3036238 | 916 6405 | 54 | 0 905.65/906.06 c 906s | 23 | 3054413 | 3040338 | 916 6413 | 54 | 0 907.65/908.09 c 908s | 23 | 3058933 | 3044838 | 916 6421 | 54 | 0 909.66/910.09 c 910s | 23 | 3064574 | 3050438 | 916 6431 | 54 | 0 911.75/912.10 c 912s | 23 | 3071001 | 3056838 | 916 6442 | 54 | 0 913.75/914.10 c 914s | 23 | 3077217 | 3063038 | 916 6453 | 54 | 0 915.75/916.11 c 916s | 23 | 3083644 | 3069438 | 916 6464 | 54 | 0 917.75/918.12 c 918s | 23 | 3090166 | 3075938 | 916 6476 | 54 | 0 919.75/920.16 c 920s | 23 | 3096497 | 3082238 | 916 6487 | 54 | 0 921.76/922.19 c 922s | 23 | 3102712 | 3088438 | 916 6498 | 54 | 0 923.85/924.20 c 924s | 23 | 3109252 | 3094938 | 916 6509 | 54 | 0 925.85/926.23 c 926s | 23 | 3115878 | 3101538 | 916 6521 | 54 | 0 927.85/928.24 c 928s | 23 | 3122400 | 3108038 | 916 6533 | 54 | 0 929.85/930.25 c 930s | 23 | 3128719 | 3114338 | 916 6544 | 54 | 0 931.85/932.28 c 932s | 23 | 3135369 | 3120938 | 916 6556 | 54 | 0 933.95/934.31 c 934s | 23 | 3141686 | 3127238 | 916 6567 | 54 | 0 935.95/936.32 c 936s | 23 | 3148208 | 3133738 | 916 6578 | 54 | 0 937.95/938.35 c 938s | 23 | 3154934 | 3140438 | 916 6590 | 54 | 0 939.95/940.35 c 940s | 23 | 3161572 | 3147038 | 916 6602 | 54 | 0 941.95/942.36 c 942s | 23 | 3168315 | 3153738 | 916 6614 | 54 | 0 943.95/944.37 c 944s | 23 | 3174849 | 3160238 | 916 6625 | 54 | 0 945.96/946.39 c 946s | 23 | 3181439 | 3166738 | 916 6637 | 54 | 0 947.95/948.39 c 948s | 23 | 3187998 | 3173238 | 916 6648 | 54 | 0 950.05/950.40 c 950s | 23 | 3194522 | 3179738 | 916 6660 | 54 | 0 952.05/952.43 c 952s | 23 | 3200967 | 3186138 | 916 6671 | 54 | 0 954.05/954.44 c 954s | 23 | 3207380 | 3192538 | 916 6683 | 54 | 0 956.05/956.46 c 956s | 23 | 3213500 | 3198638 | 916 6693 | 54 | 0 958.06/958.47 c 958s | 23 | 3219610 | 3204738 | 916 6704 | 54 | 0 960.05/960.48 c 960s | 23 | 3225430 | 3210538 | 916 6715 | 54 | 0 962.05/962.49 c 962s | 23 | 3231960 | 3217038 | 916 6726 | 54 | 0 964.15/964.51 c 964s | 23 | 3238597 | 3223638 | 916 6738 | 54 | 0 966.14/966.53 c 966s | 23 | 3245429 | 3230438 | 916 6750 | 54 | 0 968.14/968.55 c 968s | 23 | 3252060 | 3237038 | 916 6762 | 54 | 0 970.15/970.56 c 970s | 23 | 3258592 | 3243538 | 916 6773 | 54 | 0 972.14/972.57 c 972s | 23 | 3265210 | 3250138 | 916 6785 | 54 | 0 974.14/974.59 c 974s | 23 | 3271952 | 3256838 | 916 6797 | 54 | 0 976.14/976.59 c 976s | 23 | 3278465 | 3263338 | 916 6808 | 54 | 0 978.24/978.61 c 978s | 23 | 3284790 | 3269638 | 916 6820 | 54 | 0 980.24/980.63 c 980s | 23 | 3290892 | 3275738 | 916 6830 | 54 | 0 982.25/982.66 c 982s | 23 | 3297413 | 3282238 | 916 6842 | 54 | 0 984.24/984.66 c 984s | 23 | 3303829 | 3288638 | 916 6853 | 54 | 0 986.24/986.67 c 986s | 23 | 3310569 | 3295338 | 916 6865 | 54 | 0 988.24/988.68 c 988s | 23 | 3317016 | 3301738 | 916 6877 | 54 | 0 990.34/990.71 c 990s | 23 | 3323236 | 3307938 | 916 6888 | 54 | 0 992.34/992.71 c 992s | 23 | 3329865 | 3314538 | 916 6899 | 54 | 0 994.35/994.73 c 994s | 23 | 3336393 | 3321038 | 916 6911 | 54 | 0 996.34/996.75 c 996s | 23 | 3342916 | 3327538 | 916 6922 | 54 | 0 998.34/998.76 c 998s | 23 | 3349561 | 3334138 | 916 6934 | 54 | 0 1000.34/1000.79 c 1000s | 23 | 3356199 | 3340738 | 916 6946 | 54 | 0 1002.44/1002.81 c 1002s | 23 | 3362735 | 3347238 | 916 6957 | 54 | 0 1004.44/1004.82 c 1004s | 23 | 3369050 | 3353538 | 1008 6968 | 54 | 0 1006.44/1006.84 c 1006s | 23 | 3375374 | 3359838 | 1008 6979 | 54 | 0 1008.44/1008.85 c 1008s | 23 | 3381625 | 3366038 | 1008 6989 | 54 | 0 1010.44/1010.85 c 1010s | 23 | 3387860 | 3372238 | 1008 6999 | 54 | 0 1011.84/1012.28 c 1012s | 24 | 3392310 | 3376662 | 1008 7006 | 54 | 0 1013.93/1014.31 c 1014s | 24 | 3399192 | 3383362 | 1008 7017 | 54 | 0 1015.93/1016.32 c 1016s | 24 | 3405711 | 3389862 | 1008 7028 | 54 | 0 1017.93/1018.33 c 1018s | 24 | 3412425 | 3396562 | 1008 7039 | 54 | 0 1019.93/1020.35 c 1020s | 24 | 3418837 | 3402962 | 1008 7049 | 54 | 0 1021.94/1022.37 c 1022s | 24 | 3425878 | 3409962 | 1008 7061 | 54 | 0 1023.94/1024.38 c 1024s | 24 | 3432696 | 3416762 | 1008 7072 | 54 | 0 1025.94/1026.39 c 1026s | 24 | 3439220 | 3423262 | 1008 7083 | 54 | 0 1027.94/1028.39 c 1028s | 24 | 3445650 | 3429662 | 1008 7093 | 54 | 0 1030.04/1030.41 c 1030s | 24 | 3452262 | 3436262 | 1008 7104 | 54 | 0 1032.04/1032.43 c 1032s | 24 | 3459007 | 3442962 | 1008 7115 | 54 | 0 1034.04/1034.45 c 1034s | 24 | 3465538 | 3449462 | 1008 7126 | 54 | 0 1036.04/1036.45 c 1036s | 24 | 3472069 | 3455962 | 1008 7136 | 54 | 0 1038.04/1038.48 c 1038s | 24 | 3478974 | 3462862 | 1008 7148 | 54 | 0 1040.14/1040.50 c 1040s | 24 | 3485704 | 3469562 | 1008 7159 | 54 | 0 1042.14/1042.53 c 1042s | 24 | 3492542 | 3476362 | 1008 7170 | 54 | 0 1044.14/1044.56 c 1044s | 24 | 3499277 | 3483062 | 1008 7181 | 54 | 0 1046.14/1046.57 c 1046s | 24 | 3505899 | 3489662 | 1008 7191 | 54 | 0 1048.14/1048.57 c 1048s | 24 | 3512527 | 3496262 | 1008 7202 | 54 | 0 1050.13/1050.59 c 1050s | 24 | 3519054 | 3502762 | 1008 7213 | 54 | 0 1052.23/1052.60 c 1052s | 24 | 3525582 | 3509262 | 1008 7224 | 54 | 0 1054.23/1054.61 c 1054s | 24 | 3532219 | 3515862 | 1008 7234 | 54 | 0 1056.23/1056.63 c 1056s | 24 | 3538736 | 3522362 | 1008 7245 | 54 | 0 1058.24/1058.64 c 1058s | 24 | 3545256 | 3528862 | 1008 7256 | 54 | 0 1060.23/1060.64 c 1060s | 24 | 3551784 | 3535362 | 1008 7266 | 54 | 0 1062.23/1062.67 c 1062s | 24 | 3558326 | 3541862 | 1008 7277 | 54 | 0 1064.23/1064.69 c 1064s | 24 | 3564659 | 3548162 | 1008 7288 | 54 | 0 1066.33/1066.71 c 1066s | 24 | 3570899 | 3554362 | 1008 7298 | 54 | 0 1068.33/1068.73 c 1068s | 24 | 3577435 | 3560862 | 1008 7308 | 54 | 0 1070.34/1070.74 c 1070s | 24 | 3583655 | 3567062 | 1008 7319 | 54 | 0 1072.33/1072.76 c 1072s | 24 | 3590086 | 3573462 | 1008 7329 | 54 | 0 1074.33/1074.78 c 1074s | 24 | 3596512 | 3579862 | 1008 7340 | 54 | 0 1076.43/1076.80 c 1076s | 24 | 3602816 | 3586162 | 1008 7350 | 54 | 0 1078.43/1078.81 c 1078s | 24 | 3609132 | 3592462 | 1008 7360 | 54 | 0 1080.43/1080.84 c 1080s | 24 | 3615460 | 3598762 | 1008 7371 | 54 | 0 1082.43/1082.85 c 1082s | 24 | 3621897 | 3605162 | 1008 7381 | 54 | 0 1084.42/1084.85 c 1084s | 24 | 3628316 | 3611562 | 1008 7392 | 54 | 0 1086.42/1086.88 c 1086s | 24 | 3634730 | 3617962 | 1008 7402 | 54 | 0 1088.42/1088.88 c 1088s | 24 | 3641059 | 3624262 | 1008 7413 | 54 | 0 1090.42/1090.90 c 1090s | 24 | 3647080 | 3630262 | 1008 7423 | 54 | 0 1092.52/1092.92 c 1092s | 24 | 3653096 | 3636262 | 1008 7433 | 54 | 0 1094.53/1094.93 c 1094s | 24 | 3659115 | 3642262 | 1008 7443 | 54 | 0 1096.53/1096.93 c 1096s | 24 | 3665154 | 3648262 | 1008 7453 | 54 | 0 1098.53/1098.94 c 1098s | 24 | 3671115 | 3654162 | 1008 7462 | 54 | 0 1100.53/1100.96 c 1100s | 24 | 3677313 | 3660362 | 1008 7472 | 54 | 0 1102.53/1102.96 c 1102s | 24 | 3683420 | 3666462 | 1008 7483 | 54 | 0 1104.53/1104.98 c 1104s | 24 | 3689528 | 3672562 | 1008 7493 | 54 | 0 1106.53/1106.99 c 1106s | 24 | 3695863 | 3678862 | 1008 7503 | 54 | 0 1108.63/1109.00 c 1108s | 24 | 3702502 | 3685462 | 1008 7514 | 54 | 0 1110.63/1111.01 c 1110s | 24 | 3709018 | 3691962 | 1008 7524 | 54 | 0 1112.62/1113.01 c 1112s | 24 | 3715536 | 3698462 | 1008 7535 | 54 | 0 1114.62/1115.03 c 1115s | 24 | 3722258 | 3705162 | 1008 7546 | 54 | 0 1116.62/1117.03 c 1117s | 24 | 3728669 | 3711562 | 1008 7557 | 54 | 0 1118.63/1119.05 c 1119s | 24 | 3734991 | 3717862 | 1008 7567 | 54 | 0 1120.62/1121.07 c 1121s | 24 | 3741512 | 3724362 | 1008 7578 | 54 | 0 1122.62/1123.08 c 1123s | 24 | 3748040 | 3730862 | 1008 7588 | 54 | 0 1124.72/1125.11 c 1125s | 24 | 3754446 | 3737262 | 1008 7599 | 54 | 0 1126.72/1127.13 c 1127s | 24 | 3760761 | 3743562 | 1008 7609 | 54 | 0 1128.72/1129.13 c 1129s | 24 | 3766966 | 3749762 | 1008 7619 | 54 | 0 1130.73/1131.16 c 1131s | 24 | 3773088 | 3755862 | 1008 7629 | 54 | 0 1132.72/1133.18 c 1133s | 24 | 3779095 | 3761862 | 1008 7639 | 54 | 0 1134.72/1135.18 c 1135s | 24 | 3785425 | 3768162 | 1008 7650 | 54 | 0 1136.72/1137.19 c 1137s | 24 | 3791833 | 3774562 | 1008 7660 | 54 | 0 1138.82/1139.20 c 1139s | 24 | 3798159 | 3780862 | 1008 7671 | 54 | 0 1140.82/1141.22 c 1141s | 24 | 3804273 | 3786962 | 1008 7681 | 54 | 0 1142.82/1143.24 c 1143s | 24 | 3810597 | 3793262 | 1008 7691 | 54 | 0 1144.82/1145.27 c 1145s | 24 | 3816828 | 3799462 | 1008 7701 | 54 | 0 1146.92/1147.31 c 1147s | 24 | 3823042 | 3805662 | 1008 7712 | 54 | 0 1148.91/1149.33 c 1149s | 24 | 3829063 | 3811662 | 1008 7721 | 54 | 0 1150.91/1151.36 c 1151s | 24 | 3835285 | 3817862 | 1008 7732 | 54 | 0 1152.91/1153.37 c 1153s | 24 | 3841416 | 3823962 | 1008 7742 | 54 | 0 1154.92/1155.40 c 1155s | 24 | 3847951 | 3830462 | 1008 7752 | 54 | 0 1157.01/1157.42 c 1157s | 24 | 3853958 | 3836462 | 1008 7762 | 54 | 0 1159.01/1159.44 c 1159s | 24 | 3860169 | 3842662 | 1008 7772 | 54 | 0 1161.01/1161.45 c 1161s | 24 | 3866290 | 3848762 | 1008 7782 | 54 | 0 1163.01/1163.48 c 1163s | 24 | 3872501 | 3854962 | 1008 7793 | 54 | 0 1165.11/1165.50 c 1165s | 24 | 3878530 | 3860962 | 1008 7803 | 54 | 0 1167.12/1167.51 c 1167s | 24 | 3884863 | 3867262 | 1008 7813 | 54 | 0 1169.11/1169.52 c 1169s | 24 | 3890974 | 3873362 | 1008 7823 | 54 | 0 1171.11/1171.55 c 1171s | 24 | 3897298 | 3879662 | 1008 7833 | 54 | 0 1173.11/1173.58 c 1173s | 24 | 3903415 | 3885762 | 1008 7843 | 54 | 0 1175.11/1175.58 c 1175s | 24 | 3909622 | 3891962 | 1008 7854 | 54 | 0 1177.21/1177.60 c 1177s | 24 | 3915636 | 3897962 | 1008 7864 | 54 | 0 1179.22/1179.61 c 1179s | 24 | 3921564 | 3903862 | 1008 7873 | 54 | 0 1181.22/1181.61 c 1181s | 24 | 3927374 | 3909662 | 1008 7883 | 54 | 0 1183.22/1183.62 c 1183s | 24 | 3933201 | 3915462 | 1008 7892 | 54 | 0 1185.22/1185.62 c 1185s | 24 | 3938928 | 3921162 | 1008 7902 | 54 | 0 1187.22/1187.65 c 1187s | 24 | 3944849 | 3927062 | 1008 7912 | 54 | 0 1189.22/1189.68 c 1189s | 24 | 3949266 | 3931462 | 1008 7919 | 54 | 0 1191.22/1191.68 c 1191s | 24 | 3954612 | 3936762 | 1008 7928 | 54 | 0 1193.31/1193.70 c 1193s | 24 | 3960375 | 3942462 | 1008 7937 | 54 | 0 1195.31/1195.72 c 1195s | 24 | 3966701 | 3948762 | 1008 7948 | 54 | 0 1197.31/1197.73 c 1197s | 24 | 3973129 | 3955162 | 1008 7958 | 54 | 0 1199.31/1199.75 c 1199s | 24 | 3979445 | 3961462 | 1008 7968 | 54 | 0 1201.31/1201.78 c 1201s | 24 | 3985563 | 3967562 | 1008 7978 | 54 | 0 1203.32/1203.80 c 1203s | 24 | 3991481 | 3973462 | 1008 7988 | 54 | 0 1205.41/1205.81 c 1205s | 24 | 3997690 | 3979662 | 1008 7998 | 54 | 0 1207.41/1207.82 c 1207s | 24 | 4003901 | 3985862 | 1008 8008 | 54 | 0 1209.41/1209.82 c 1209s | 24 | 4010116 | 3992062 | 1008 8019 | 54 | 0 1211.41/1211.85 c 1211s | 24 | 4016218 | 3998162 | 1008 8029 | 54 | 0 1213.41/1213.88 c 1213s | 24 | 4022259 | 4004162 | 1008 8039 | 54 | 0 1215.42/1215.90 c 1215s | 24 | 4028370 | 4010262 | 1008 8049 | 54 | 0 1217.51/1217.93 c 1217s | 24 | 4033901 | 4015762 | 1008 8058 | 54 | 0 1219.51/1219.96 c 1219s | 24 | 4039820 | 4021662 | 1008 8067 | 54 | 0 1221.51/1221.99 c 1221s | 24 | 4045843 | 4027662 | 1008 8077 | 54 | 0 1223.61/1224.00 c 1223s | 24 | 4051961 | 4033762 | 1008 8087 | 54 | 0 1225.61/1226.01 c 1225s | 24 | 4057984 | 4039762 | 1008 8097 | 54 | 0 1227.61/1228.03 c 1228s | 24 | 4064205 | 4045962 | 1008 8107 | 54 | 0 1229.61/1230.04 c 1230s | 24 | 4070125 | 4051862 | 1008 8117 | 54 | 0 1231.61/1232.04 c 1232s | 24 | 4076340 | 4058062 | 1008 8127 | 54 | 0 1233.61/1234.07 c 1234s | 24 | 4082757 | 4064462 | 1008 8138 | 54 | 0 1235.61/1236.07 c 1236s | 24 | 4089480 | 4071162 | 1008 8149 | 54 | 0 1237.60/1238.08 c 1238s | 24 | 4095997 | 4077662 | 1008 8159 | 54 | 0 1239.71/1240.11 c 1240s | 24 | 4102526 | 4084162 | 1008 8170 | 54 | 0 1241.70/1242.14 c 1242s | 24 | 4108845 | 4090462 | 1008 8180 | 54 | 0 1243.70/1244.16 c 1244s | 24 | 4115376 | 4096962 | 1008 8191 | 54 | 0 1245.70/1246.17 c 1246s | 24 | 4121596 | 4103162 | 1008 8201 | 54 | 0 1247.70/1248.18 c 1248s | 24 | 4127920 | 4109462 | 1008 8211 | 54 | 0 1249.80/1250.20 c 1250s | 24 | 4134234 | 4115762 | 1008 8222 | 54 | 0 1251.81/1252.22 c 1252s | 24 | 4140551 | 4122062 | 1008 8232 | 54 | 0 1253.80/1254.24 c 1254s | 24 | 4146872 | 4128362 | 1008 8242 | 54 | 0 1255.80/1256.25 c 1256s | 24 | 4153005 | 4134462 | 1008 8252 | 54 | 0 1257.80/1258.29 c 1258s | 24 | 4159134 | 4140562 | 1008 8263 | 54 | 0 1259.90/1260.31 c 1260s | 24 | 4165343 | 4146762 | 1008 8273 | 54 | 0 1261.90/1262.32 c 1262s | 24 | 4171458 | 4152862 | 1008 8283 | 54 | 0 1263.91/1264.33 c 1264s | 24 | 4177482 | 4158862 | 1008 8293 | 54 | 0 1265.90/1266.34 c 1266s | 24 | 4183513 | 4164862 | 1008 8303 | 54 | 0 1267.90/1268.36 c 1268s | 24 | 4189526 | 4170862 | 1008 8313 | 54 | 0 1269.90/1270.38 c 1270s | 24 | 4195551 | 4176862 | 1008 8323 | 54 | 0 1272.00/1272.41 c 1272s | 24 | 4201552 | 4182862 | 1008 8332 | 54 | 0 1274.00/1274.43 c 1274s | 24 | 4207558 | 4188862 | 1008 8342 | 54 | 0 1276.00/1276.45 c 1276s | 24 | 4213785 | 4195062 | 1008 8353 | 54 | 0 1278.00/1278.46 c 1278s | 24 | 4219903 | 4201162 | 1008 8363 | 54 | 0 1280.00/1280.49 c 1280s | 24 | 4226320 | 4207562 | 1008 8373 | 54 | 0 1282.10/1282.50 c 1282s | 24 | 4232626 | 4213862 | 1008 8384 | 54 | 0 1284.10/1284.50 c 1284s | 24 | 4239063 | 4220262 | 1008 8394 | 54 | 0 1286.10/1286.51 c 1286s | 24 | 4245567 | 4226762 | 1008 8405 | 54 | 0 1288.10/1288.53 c 1288s | 24 | 4251984 | 4233162 | 1008 8415 | 54 | 0 1290.09/1290.53 c 1290s | 24 | 4258101 | 4239262 | 1008 8425 | 54 | 0 1292.09/1292.54 c 1292s | 24 | 4264220 | 4245362 | 1008 8435 | 54 | 0 1294.09/1294.57 c 1294s | 24 | 4270141 | 4251262 | 1008 8445 | 54 | 0 1296.09/1296.58 c 1296s | 24 | 4276059 | 4257162 | 1008 8455 | 54 | 0 1298.19/1298.61 c 1298s | 24 | 4282285 | 4263362 | 1008 8465 | 54 | 0 1300.20/1300.63 c 1300s | 24 | 4288700 | 4269762 | 1008 8476 | 54 | 0 1302.19/1302.63 c 1302s | 24 | 4294625 | 4275662 | 1008 8485 | 54 | 0 1304.19/1304.66 c 1304s | 24 | 4300550 | 4281562 | 1008 8495 | 54 | 0 1306.20/1306.68 c 1306s | 24 | 4306580 | 4287562 | 1008 8505 | 54 | 0 1308.20/1308.68 c 1308s | 24 | 4312610 | 4293562 | 1008 8515 | 54 | 0 1310.20/1310.68 c 1310s | 24 | 4318645 | 4299562 | 1008 8525 | 54 | 0 1312.30/1312.71 c 1312s | 24 | 4324672 | 4305562 | 1008 8535 | 54 | 0 1314.30/1314.73 c 1314s | 24 | 4330699 | 4311562 | 1008 8545 | 54 | 0 1316.29/1316.75 c 1316s | 24 | 4337030 | 4317862 | 1008 8555 | 54 | 0 1318.29/1318.78 c 1318s | 24 | 4343070 | 4323862 | 1008 8565 | 54 | 0 1320.39/1320.81 c 1320s | 24 | 4348980 | 4329762 | 1008 8575 | 54 | 0 1322.39/1322.81 c 1322s | 24 | 4354829 | 4335562 | 1008 8584 | 54 | 0 1324.40/1324.82 c 1324s | 24 | 4361178 | 4341862 | 1008 8595 | 54 | 0 1326.39/1326.84 c 1326s | 24 | 4367625 | 4348262 | 1008 8605 | 54 | 0 1328.39/1328.86 c 1328s | 24 | 4374197 | 4354762 | 1008 8616 | 54 | 0 1330.39/1330.88 c 1330s | 24 | 4380619 | 4361162 | 1008 8626 | 54 | 0 1332.49/1332.91 c 1332s | 24 | 4386746 | 4367262 | 1008 8636 | 54 | 0 1334.49/1334.92 c 1334s | 24 | 4392883 | 4373362 | 1008 8647 | 54 | 0 1336.49/1336.92 c 1336s | 24 | 4399107 | 4379562 | 1008 8657 | 54 | 0 1338.49/1338.93 c 1338s | 24 | 4405317 | 4385762 | 1008 8667 | 54 | 0 1340.49/1340.94 c 1340s | 24 | 4411553 | 4391962 | 1008 8677 | 54 | 0 1342.49/1342.97 c 1342s | 24 | 4417880 | 4398262 | 1008 8688 | 54 | 0 1344.49/1344.99 c 1344s | 24 | 4423899 | 4404262 | 1008 8698 | 54 | 0 1346.59/1347.02 c 1347s | 24 | 4429920 | 4410262 | 1008 8707 | 54 | 0 1348.59/1349.06 c 1349s | 24 | 4436052 | 4416362 | 1008 8718 | 54 | 0 1350.59/1351.06 c 1351s | 24 | 4441985 | 4422262 | 1008 8727 | 54 | 0 1352.58/1353.09 c 1353s | 24 | 4447915 | 4428162 | 1008 8737 | 54 | 0 1354.68/1355.12 c 1355s | 24 | 4454051 | 4434262 | 1008 8747 | 54 | 0 1356.68/1357.13 c 1357s | 24 | 4460197 | 4440362 | 1008 8757 | 54 | 0 1358.68/1359.13 c 1359s | 24 | 4466331 | 4446462 | 1008 8767 | 54 | 0 1360.69/1361.15 c 1361s | 24 | 4472335 | 4452462 | 1008 8777 | 54 | 0 1362.68/1363.18 c 1363s | 24 | 4478482 | 4458562 | 1008 8787 | 54 | 0 1364.78/1365.21 c 1365s | 24 | 4484503 | 4464562 | 1008 8797 | 54 | 0 1366.78/1367.22 c 1367s | 24 | 4490735 | 4470762 | 1008 8807 | 54 | 0 1368.78/1369.24 c 1369s | 24 | 4496848 | 4476862 | 1008 8818 | 54 | 0 1370.78/1371.28 c 1371s | 24 | 4502786 | 4482762 | 1008 8827 | 54 | 0 1372.79/1373.29 c 1373s | 24 | 4508932 | 4488862 | 1008 8837 | 54 | 0 1374.78/1375.30 c 1375s | 24 | 4515546 | 4495462 | 1008 8848 | 54 | 0 1376.88/1377.32 c 1377s | 24 | 4522078 | 4501962 | 1008 8859 | 54 | 0 1378.88/1379.35 c 1379s | 24 | 4528701 | 4508562 | 1008 8870 | 54 | 0 1380.89/1381.38 c 1381s | 24 | 4535254 | 4515062 | 1008 8880 | 54 | 0 1382.89/1383.39 c 1383s | 24 | 4541316 | 4521062 | 1008 8890 | 54 | 0 1384.99/1385.42 c 1385s | 24 | 4547567 | 4527262 | 1008 8900 | 54 | 0 1386.99/1387.42 c 1387s | 24 | 4553985 | 4533662 | 1008 8911 | 54 | 0 1388.99/1389.45 c 1389s | 24 | 4560715 | 4540362 | 1008 8922 | 54 | 0 1390.99/1391.47 c 1391s | 24 | 4567329 | 4546962 | 1008 8932 | 54 | 0 1393.09/1393.50 c 1393s | 24 | 4573955 | 4553562 | 1008 8943 | 54 | 0 1395.08/1395.52 c 1395s | 24 | 4580279 | 4559862 | 1008 8953 | 54 | 0 1397.08/1397.55 c 1397s | 24 | 4586899 | 4566462 | 1008 8964 | 54 | 0 1399.09/1399.56 c 1399s | 24 | 4593338 | 4572862 | 1008 8975 | 54 | 0 1401.08/1401.58 c 1401s | 24 | 4600069 | 4579562 | 1008 8986 | 54 | 0 1403.08/1403.59 c 1403s | 24 | 4606488 | 4585962 | 1008 8996 | 54 | 0 1405.18/1405.62 c 1405s | 24 | 4612919 | 4592362 | 1008 9007 | 54 | 0 1407.18/1407.62 c 1407s | 24 | 4618953 | 4598362 | 1008 9017 | 54 | 0 1409.18/1409.64 c 1409s | 24 | 4624770 | 4604162 | 1008 9026 | 54 | 0 1411.19/1411.66 c 1411s | 24 | 4630987 | 4610362 | 1008 9036 | 54 | 0 1413.18/1413.67 c 1413s | 24 | 4637425 | 4616762 | 1008 9047 | 54 | 0 1415.18/1415.68 c 1415s | 24 | 4643548 | 4622862 | 1008 9057 | 54 | 0 1417.18/1417.69 c 1417s | 24 | 4649762 | 4629062 | 1008 9067 | 54 | 0 1419.28/1419.72 c 1419s | 24 | 4655897 | 4635162 | 1008 9077 | 54 | 0 1421.28/1421.75 c 1421s | 24 | 4662127 | 4641362 | 1008 9087 | 54 | 0 1423.29/1423.77 c 1423s | 24 | 4668185 | 4647362 | 1008 9097 | 54 | 0 1425.28/1425.79 c 1425s | 24 | 4674638 | 4653762 | 1008 9107 | 54 | 0 1427.38/1427.81 c 1427s | 24 | 4681061 | 4660162 | 1008 9118 | 54 | 0 1429.38/1429.84 c 1429s | 24 | 4687685 | 4666762 | 1008 9129 | 54 | 0 1431.38/1431.84 c 1431s | 24 | 4694420 | 4673462 | 1008 9139 | 54 | 0 1433.38/1433.85 c 1433s | 24 | 4701279 | 4680262 | 1008 9151 | 54 | 0 1435.38/1435.88 c 1435s | 24 | 4707810 | 4686762 | 1008 9161 | 54 | 0 1437.48/1437.91 c 1437s | 24 | 4714034 | 4692962 | 1008 9171 | 54 | 0 1439.48/1439.93 c 1439s | 24 | 4720472 | 4699362 | 1008 9182 | 54 | 0 1441.48/1441.95 c 1441s | 24 | 4727088 | 4705962 | 1008 9193 | 54 | 0 1443.48/1443.96 c 1443s | 24 | 4734025 | 4712862 | 1008 9204 | 54 | 0 1445.48/1445.98 c 1445s | 24 | 4741055 | 4719862 | 1008 9215 | 54 | 0 1447.58/1448.01 c 1447s | 24 | 4748088 | 4726862 | 1008 9227 | 54 | 0 1449.57/1450.02 c 1450s | 24 | 4755057 | 4733762 | 1008 9238 | 54 | 0 1451.57/1452.03 c 1452s | 24 | 4762131 | 4740762 | 1008 9250 | 54 | 0 1453.57/1454.06 c 1454s | 24 | 4769177 | 4747662 | 1008 9261 | 54 | 0 1455.57/1456.08 c 1456s | 24 | 4775910 | 4754362 | 1008 9272 | 54 | 0 1457.57/1458.08 c 1458s | 24 | 4782884 | 4761262 | 1008 9283 | 54 | 0 1459.58/1460.08 c 1460s | 24 | 4789749 | 4768062 | 1008 9294 | 54 | 0 1461.67/1462.10 c 1462s | 24 | 4796688 | 4774962 | 1008 9306 | 54 | 0 1463.67/1464.11 c 1464s | 24 | 4803462 | 4781662 | 1008 9317 | 54 | 0 1465.67/1466.11 c 1466s | 24 | 4810091 | 4788262 | 1008 9328 | 54 | 0 1467.67/1468.12 c 1468s | 24 | 4816731 | 4794862 | 1008 9338 | 54 | 0 1469.67/1470.15 c 1470s | 24 | 4823582 | 4801662 | 1008 9350 | 54 | 0 1471.68/1472.17 c 1472s | 24 | 4830001 | 4808062 | 1008 9360 | 54 | 0 1473.67/1474.18 c 1474s | 24 | 4836438 | 4814462 | 1008 9371 | 54 | 0 1475.77/1476.20 c 1476s | 24 | 4843279 | 4821262 | 1008 9382 | 54 | 0 1477.77/1478.22 c 1478s | 24 | 4849872 | 4827762 | 1008 9393 | 54 | 0 1479.77/1480.25 c 1480s | 24 | 4856728 | 4834562 | 1008 9404 | 54 | 0 1481.77/1482.27 c 1482s | 24 | 4863050 | 4840862 | 1008 9414 | 54 | 0 1483.78/1484.28 c 1484s | 24 | 4868955 | 4846762 | 1008 9424 | 54 | 0 1485.87/1486.30 c 1486s | 24 | 4875474 | 4853262 | 1008 9434 | 54 | 0 1487.87/1488.31 c 1488s | 24 | 4881989 | 4859762 | 1008 9445 | 54 | 0 1489.87/1490.33 c 1490s | 24 | 4888508 | 4866262 | 1008 9456 | 54 | 0 1491.87/1492.36 c 1492s | 24 | 4895142 | 4872862 | 1008 9467 | 54 | 0 1493.86/1494.36 c 1494s | 24 | 4901663 | 4879362 | 1008 9477 | 54 | 0 1495.87/1496.38 c 1496s | 24 | 4907674 | 4885362 | 1008 9487 | 54 | 0 1497.86/1498.39 c 1498s | 24 | 4913983 | 4891662 | 1008 9498 | 54 | 0 1499.96/1500.41 c 1500s | 24 | 4920390 | 4898062 | 1008 9508 | 54 | 0 1501.96/1502.43 c 1502s | 24 | 4926506 | 4904162 | 1008 9518 | 54 | 0 1503.96/1504.43 c 1504s | 24 | 4932622 | 4910262 | 1008 9528 | 54 | 0 1505.96/1506.44 c 1506s | 24 | 4938843 | 4916462 | 1008 9538 | 54 | 0 1507.97/1508.46 c 1508s | 24 | 4945251 | 4922862 | 1008 9549 | 54 | 0 1509.96/1510.49 c 1510s | 24 | 4951358 | 4928962 | 1008 9559 | 54 | 0 1512.06/1512.51 c 1512s | 24 | 4957473 | 4935062 | 1008 9569 | 54 | 0 1514.06/1514.51 c 1514s | 24 | 4963389 | 4940962 | 1008 9578 | 54 | 0 1516.06/1516.52 c 1516s | 24 | 4969608 | 4947162 | 1008 9589 | 54 | 0 1518.06/1518.54 c 1518s | 24 | 4976035 | 4953562 | 1008 9599 | 54 | 0 1520.07/1520.57 c 1520s | 24 | 4982452 | 4959962 | 1008 9610 | 54 | 0 1522.06/1522.57 c 1522s | 24 | 4988564 | 4966062 | 1008 9620 | 54 | 0 1524.06/1524.59 c 1524s | 24 | 4994570 | 4972062 | 1008 9629 | 54 | 0 1526.06/1526.59 c 1526s | 24 | 5000285 | 4977762 | 1008 9639 | 54 | 0 1528.16/1528.60 c 1528s | 24 | 5005618 | 4983062 | 1008 9648 | 54 | 0 1530.16/1530.61 c 1530s | 24 | 5011430 | 4988862 | 1008 9657 | 54 | 0 1532.16/1532.63 c 1532s | 24 | 5017234 | 4994662 | 1008 9667 | 54 | 0 1534.16/1534.64 c 1534s | 24 | 5023047 | 5000462 | 1008 9676 | 54 | 0 1536.16/1536.65 c 1536s | 24 | 5028783 | 5006162 | 1008 9686 | 54 | 0 1538.16/1538.68 c 1538s | 24 | 5034512 | 5011862 | 1008 9695 | 54 | 0 1540.16/1540.69 c 1540s | 24 | 5040737 | 5018062 | 1008 9705 | 54 | 0 1542.16/1542.69 c 1542s | 24 | 5047051 | 5024362 | 1008 9716 | 54 | 0 1544.26/1544.70 c 1544s | 24 | 5053383 | 5030662 | 1109 9725 | 54 | 0 1546.26/1546.72 c 1546s | 24 | 5059214 | 5036462 | 1109 9734 | 54 | 0 1548.25/1548.74 c 1548s | 24 | 5065420 | 5042662 | 1109 9744 | 54 | 0 1550.25/1550.75 c 1550s | 24 | 5071246 | 5048462 | 1109 9752 | 54 | 0 1552.25/1552.79 c 1552s | 24 | 5076271 | 5053462 | 1109 9760 | 54 | 0 1554.26/1554.79 c 1554s | 24 | 5082190 | 5059362 | 1109 9769 | 54 | 0 1556.36/1556.82 c 1556s | 24 | 5087913 | 5065062 | 1109 9778 | 54 | 0 1556.36/1556.83 c 1556s | 25 | 5087948 | 5065098 | 1109 9778 | 54 | 0 1558.35/1558.85 c 1558s | 25 | 5094217 | 5071198 | 1109 9787 | 54 | 0 1560.35/1560.88 c 1560s | 25 | 5100531 | 5077498 | 1109 9797 | 54 | 0 1562.35/1562.89 c 1562s | 25 | 5106458 | 5083398 | 1109 9806 | 54 | 0 1564.45/1564.90 c 1564s | 25 | 5112877 | 5089798 | 1109 9815 | 54 | 0 1566.46/1566.93 c 1566s | 25 | 5119094 | 5095998 | 1109 9825 | 54 | 0 1568.47/1568.96 c 1568s | 25 | 5125824 | 5102698 | 1109 9835 | 54 | 0 1570.46/1570.98 c 1570s | 25 | 5132027 | 5108898 | 1109 9844 | 54 | 0 1572.56/1573.00 c 1572s | 25 | 5137180 | 5113998 | 1109 9852 | 54 | 0 1574.56/1575.00 c 1574s | 25 | 5141188 | 5117998 | 1109 9858 | 54 | 0 1576.56/1577.04 c 1577s | 25 | 5145713 | 5122498 | 1109 9864 | 54 | 0 1578.56/1579.05 c 1579s | 25 | 5151227 | 5127998 | 1109 9873 | 54 | 0 1580.56/1581.07 c 1581s | 25 | 5156347 | 5133098 | 1109 9880 | 54 | 0 1582.56/1583.09 c 1583s | 25 | 5162361 | 5139098 | 1109 9890 | 54 | 0 1584.66/1585.11 c 1585s | 25 | 5168471 | 5145198 | 1109 9899 | 54 | 0 1586.65/1587.12 c 1587s | 25 | 5174694 | 5151398 | 1109 9908 | 54 | 0 1588.65/1589.13 c 1589s | 25 | 5181029 | 5157698 | 1109 9918 | 54 | 0 1590.65/1591.15 c 1591s | 25 | 5187245 | 5163898 | 1109 9927 | 54 | 0 1592.66/1593.17 c 1593s | 25 | 5193275 | 5169898 | 1109 9936 | 54 | 0 1594.65/1595.18 c 1595s | 25 | 5199217 | 5175798 | 1109 9945 | 54 | 0 1596.65/1597.18 c 1597s | 25 | 5204929 | 5181498 | 1109 9954 | 54 | 0 1598.65/1599.18 c 1599s | 25 | 5210948 | 5187498 | 1109 9963 | 54 | 0 1600.75/1601.21 c 1601s | 25 | 5217171 | 5193698 | 1109 9972 | 54 | 0 1602.75/1603.23 c 1603s | 25 | 5223393 | 5199898 | 1109 9982 | 54 | 0 1604.76/1605.24 c 1605s | 25 | 5229630 | 5206098 | 1109 9991 | 54 | 0 1606.75/1607.28 c 1607s | 25 | 5235844 | 5212298 | 1109 10001 | 54 | 0 1608.85/1609.30 c 1609s | 25 | 5241855 | 5218298 | 1109 10010 | 54 | 0 1610.85/1611.32 c 1611s | 25 | 5248274 | 5224698 | 1109 10019 | 54 | 0 1612.85/1613.35 c 1613s | 25 | 5254597 | 5230998 | 1109 10029 | 54 | 0 1614.85/1615.35 c 1615s | 25 | 5261020 | 5237398 | 1109 10039 | 54 | 0 1616.86/1617.38 c 1617s | 25 | 5267133 | 5243498 | 1109 10048 | 54 | 0 1618.85/1619.39 c 1619s | 25 | 5273566 | 5249898 | 1109 10058 | 54 | 0 1620.95/1621.40 c 1621s | 25 | 5279778 | 5256098 | 1109 10067 | 54 | 0 1622.95/1623.43 c 1623s | 25 | 5285999 | 5262298 | 1109 10076 | 54 | 0 1624.95/1625.43 c 1625s | 25 | 5291738 | 5267998 | 1109 10085 | 54 | 0 1626.95/1627.45 c 1627s | 25 | 5297678 | 5273898 | 1109 10094 | 54 | 0 1628.95/1629.46 c 1629s | 25 | 5303990 | 5280198 | 1109 10104 | 54 | 0 1630.95/1631.47 c 1631s | 25 | 5310408 | 5286598 | 1109 10113 | 54 | 0 1632.95/1633.49 c 1633s | 25 | 5316746 | 5292898 | 1109 10123 | 54 | 0 1635.05/1635.51 c 1635s | 25 | 5323271 | 5299398 | 1109 10133 | 54 | 0 1637.05/1637.55 c 1637s | 25 | 5329688 | 5305798 | 1109 10143 | 54 | 0 1639.04/1639.55 c 1639s | 25 | 5335917 | 5311998 | 1109 10152 | 54 | 0 1641.05/1641.56 c 1641s | 25 | 5342132 | 5318198 | 1109 10161 | 54 | 0 1643.04/1643.56 c 1643s | 25 | 5348145 | 5324198 | 1109 10170 | 54 | 0 1645.04/1645.57 c 1645s | 25 | 5354463 | 5330498 | 1109 10180 | 54 | 0 1647.04/1647.58 c 1647s | 25 | 5360704 | 5336698 | 1109 10189 | 54 | 0 1649.04/1649.59 c 1649s | 25 | 5367479 | 5343398 | 1109 10199 | 54 | 0 1651.14/1651.60 c 1651s | 25 | 5373902 | 5349798 | 1109 10209 | 54 | 0 1653.15/1653.63 c 1653s | 25 | 5380322 | 5356198 | 1109 10219 | 54 | 0 1655.14/1655.64 c 1655s | 25 | 5386747 | 5362598 | 1109 10229 | 54 | 0 1657.14/1657.67 c 1657s | 25 | 5392969 | 5368798 | 1109 10238 | 54 | 0 1659.14/1659.68 c 1659s | 25 | 5399001 | 5374798 | 1109 10247 | 54 | 0 1661.24/1661.71 c 1661s | 25 | 5405427 | 5381198 | 1109 10257 | 54 | 0 1663.24/1663.73 c 1663s | 25 | 5411551 | 5387298 | 1109 10266 | 54 | 0 1665.24/1665.75 c 1665s | 25 | 5417765 | 5393498 | 1109 10276 | 54 | 0 1667.24/1667.77 c 1667s | 25 | 5423976 | 5399698 | 1109 10285 | 54 | 0 1669.24/1669.78 c 1669s | 25 | 5430293 | 5405998 | 1109 10294 | 54 | 0 1671.24/1671.78 c 1671s | 25 | 5436428 | 5412098 | 1109 10304 | 54 | 0 1673.33/1673.81 c 1673s | 25 | 5442741 | 5418398 | 1109 10313 | 54 | 0 1675.33/1675.83 c 1675s | 25 | 5448964 | 5424598 | 1109 10323 | 54 | 0 1677.34/1677.85 c 1677s | 25 | 5455095 | 5430698 | 1109 10332 | 54 | 0 1679.33/1679.86 c 1679s | 25 | 5461324 | 5436898 | 1109 10341 | 54 | 0 1681.33/1681.88 c 1681s | 25 | 5467349 | 5442898 | 1109 10351 | 54 | 0 1683.33/1683.88 c 1683s | 25 | 5473187 | 5448698 | 1109 10359 | 54 | 0 1685.33/1685.89 c 1685s | 25 | 5479209 | 5454698 | 1109 10369 | 54 | 0 1687.43/1687.91 c 1687s | 25 | 5485231 | 5460698 | 1109 10378 | 54 | 0 1689.44/1689.92 c 1689s | 25 | 5491156 | 5466598 | 1109 10387 | 54 | 0 1691.43/1691.92 c 1691s | 25 | 5497203 | 5472598 | 1109 10396 | 54 | 0 1693.43/1693.94 c 1693s | 25 | 5503428 | 5478798 | 1109 10405 | 54 | 0 1695.43/1695.94 c 1695s | 25 | 5509565 | 5484898 | 1109 10414 | 54 | 0 1697.44/1697.97 c 1697s | 25 | 5515787 | 5491098 | 1109 10424 | 54 | 0 1699.45/1699.99 c 1699s | 25 | 5521808 | 5497098 | 1109 10433 | 54 | 0 1701.55/1702.02 c 1701s | 25 | 5527923 | 5503198 | 1109 10442 | 54 | 0 1703.54/1704.04 c 1704s | 25 | 5533938 | 5509198 | 1109 10451 | 54 | 0 1705.54/1706.07 c 1706s | 25 | 5539861 | 5515098 | 1109 10460 | 54 | 0 1707.54/1708.08 c 1708s | 25 | 5545482 | 5520698 | 1109 10469 | 54 | 0 1709.54/1710.09 c 1710s | 25 | 5551209 | 5526398 | 1109 10478 | 54 | 0 1711.64/1712.12 c 1712s | 25 | 5555522 | 5530698 | 1109 10484 | 54 | 0 1713.64/1714.17 c 1714s | 25 | 5559730 | 5534898 | 1109 10490 | 54 | 0 1715.63/1716.19 c 1716s | 25 | 5563838 | 5538998 | 1109 10496 | 54 | 0 1717.73/1718.20 c 1718s | 25 | 5568161 | 5543298 | 1109 10503 | 54 | 0 1719.73/1720.20 c 1720s | 25 | 5573283 | 5548398 | 1109 10511 | 54 | 0 1721.73/1722.24 c 1722s | 25 | 5577300 | 5552398 | 1109 10517 | 54 | 0 1723.73/1724.26 c 1724s | 25 | 5582029 | 5557098 | 1109 10524 | 54 | 0 1725.74/1726.28 c 1726s | 25 | 5587751 | 5562798 | 1109 10533 | 54 | 0 1727.83/1728.31 c 1728s | 25 | 5592879 | 5567898 | 1109 10540 | 54 | 0 1729.83/1730.35 c 1730s | 25 | 5597004 | 5571998 | 1109 10546 | 54 | 0 1731.83/1732.39 c 1732s | 25 | 5601032 | 5575998 | 1109 10552 | 54 | 0 1733.93/1734.43 c 1734s | 25 | 5605247 | 5580198 | 1109 10559 | 54 | 0 1735.93/1736.44 c 1736s | 25 | 5610465 | 5585398 | 1109 10567 | 54 | 0 1737.94/1738.47 c 1738s | 25 | 5616178 | 5591098 | 1109 10575 | 54 | 0 1739.93/1740.49 c 1740s | 25 | 5620736 | 5595598 | 1109 10582 | 54 | 0 1742.03/1742.52 c 1742s | 25 | 5624671 | 5599498 | 1109 10588 | 54 | 0 1744.03/1744.56 c 1744s | 25 | 5628614 | 5603398 | 1109 10594 | 54 | 0 1746.13/1746.61 c 1746s | 25 | 5632526 | 5607298 | 1109 10600 | 54 | 0 1748.13/1748.66 c 1748s | 25 | 5636570 | 5611298 | 1109 10606 | 54 | 0 1750.13/1750.67 c 1750s | 25 | 5641899 | 5616598 | 1109 10614 | 54 | 0 1752.13/1752.69 c 1752s | 25 | 5647504 | 5622198 | 1109 10622 | 54 | 0 1754.23/1754.72 c 1754s | 25 | 5653336 | 5627998 | 1109 10631 | 54 | 0 1756.23/1756.74 c 1756s | 25 | 5659071 | 5633698 | 1109 10640 | 54 | 0 1758.23/1758.78 c 1758s | 25 | 5664794 | 5639398 | 1109 10648 | 54 | 0 1760.33/1760.80 c 1760s | 25 | 5669824 | 5644398 | 1109 10656 | 54 | 0 1762.33/1762.82 c 1762s | 25 | 5675738 | 5650298 | 1109 10665 | 54 | 0 1764.33/1764.85 c 1764s | 25 | 5680767 | 5655298 | 1109 10673 | 54 | 0 1766.32/1766.88 c 1766s | 25 | 5685782 | 5660298 | 1109 10680 | 54 | 0 1768.42/1768.90 c 1768s | 25 | 5690524 | 5664998 | 1109 10687 | 54 | 0 1770.42/1770.92 c 1770s | 25 | 5695954 | 5670398 | 1109 10696 | 54 | 0 1772.42/1772.93 c 1772s | 25 | 5702095 | 5676498 | 1109 10705 | 54 | 0 1774.42/1774.96 c 1774s | 25 | 5708729 | 5683098 | 1109 10715 | 54 | 0 1776.43/1776.96 c 1776s | 25 | 5714857 | 5689198 | 1109 10724 | 54 | 0 1778.42/1778.97 c 1778s | 25 | 5721186 | 5695498 | 1109 10733 | 54 | 0 1780.42/1780.98 c 1780s | 25 | 5727607 | 5701898 | 1109 10743 | 54 | 0 1782.42/1783.00 c 1782s | 25 | 5733534 | 5707798 | 1109 10752 | 54 | 0 1784.52/1785.03 c 1785s | 25 | 5739576 | 5713798 | 1109 10761 | 54 | 0 1786.52/1787.06 c 1787s | 25 | 5745907 | 5720098 | 1109 10771 | 54 | 0 1788.53/1789.09 c 1789s | 25 | 5752332 | 5726498 | 1109 10780 | 54 | 0 1790.52/1791.09 c 1791s | 25 | 5758369 | 5732498 | 1109 10789 | 54 | 0 1792.62/1793.10 c 1793s | 25 | 5763507 | 5737598 | 1109 10797 | 54 | 0 1794.62/1795.13 c 1795s | 25 | 5769136 | 5743198 | 1109 10805 | 54 | 0 1796.62/1797.14 c 1797s | 25 | 5775076 | 5749098 | 1109 10814 | 54 | 0 1798.62/1799.15 c 1799s | 25 | 5781008 | 5754998 | 1109 10823 | 54 | 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-4100097-1466211544/watcher-4100097-1466211544 -o /tmp/evaluation-result-4100097-1466211544/solver-4100097-1466211544 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100097-1466211544.opb pid=18008 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.29 2.34 2.29 3/179 18011 /proc/meminfo: memFree=27589652/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=723388 CPUtime=0 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 2698 0 0 0 0 0 0 0 20 0 4 0 23199955 740749312 3060 33554432000 4194304 16246674 140735703913072 140735703912496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 181359 3069 441 2943 0 178253 0 [pid=18011/tid=18012] ppid=18008 vsize=740796 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 758575104 3126 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=744892 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 762769408 3145 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=750012 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199956 768012288 3162 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100181 s] /proc/loadavg: 2.29 2.34 2.29 3/179 18011 /proc/meminfo: memFree=27589652/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 22044 0 0 0 6 3 0 0 20 0 4 0 23199955 1247350784 22392 33554432000 4194304 16246674 140735703913072 140735703912496 13191638 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 304529 22398 781 2943 0 301423 0 [pid=18011/tid=18012] ppid=18008 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1247350784 22400 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1247350784 22403 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199956 1247350784 22407 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200546 s] /proc/loadavg: 2.29 2.34 2.29 3/179 18011 /proc/meminfo: memFree=27589652/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 40163 0 0 0 14 5 0 0 20 0 4 0 23199955 1247350784 40511 33554432000 4194304 16246674 140735703913072 140735703894976 5523709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 304529 40516 781 2943 0 301423 0 [pid=18011/tid=18012] ppid=18008 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1247350784 40517 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1247350784 40518 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199956 1247350784 40521 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300498 s] /proc/loadavg: 2.29 2.34 2.29 3/179 18011 /proc/meminfo: memFree=27589652/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 57003 0 0 0 22 7 0 0 20 0 4 0 23199955 1247350784 57351 33554432000 4194304 16246674 140735703913072 140735703894976 5676365 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 304529 57356 781 2943 0 301423 0 [pid=18011/tid=18012] ppid=18008 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1247350784 57357 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1247350784 57361 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199956 1247350784 57365 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.758482 s] /proc/loadavg: 2.29 2.34 2.29 3/179 18011 /proc/meminfo: memFree=27589652/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1218116 CPUtime=0.75 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 137344 0 0 0 56 19 0 0 20 0 4 0 23199955 1247350784 137693 33554432000 4194304 16246674 140735703913072 140735703894976 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 304529 137707 781 2943 0 301423 0 [pid=18011/tid=18012] ppid=18008 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1247350784 137714 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1247350784 137722 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199956 1247350784 137725 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.75 Current children cumulated vsize (KiB) 1218116 [startup+1.50748 s] /proc/loadavg: 2.29 2.34 2.29 2/176 18050 /proc/meminfo: memFree=27711308/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1219140 CPUtime=1.5 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 245797 0 0 0 116 34 0 0 20 0 4 0 23199955 1248399360 246123 33554432000 4194304 16246674 140735703913072 140735703912384 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 304785 246123 844 2943 0 301679 0 [pid=18011/tid=18012] ppid=18008 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1248399360 246123 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1248399360 246123 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1248399360 246123 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 1219140 [startup+3.10044 s] /proc/loadavg: 2.35 2.35 2.29 3/183 18064 /proc/meminfo: memFree=26891096/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1305156 CPUtime=3.09 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 267274 0 0 0 272 37 0 0 20 0 4 0 23199955 1336479744 267600 33554432000 4194304 16246674 140735703913072 140735703894976 5711318 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 326289 267600 844 2943 0 323183 0 [pid=18011/tid=18012] ppid=18008 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1336479744 267600 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1336479744 267600 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1336479744 267600 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1305156 [startup+6.30036 s] /proc/loadavg: 2.35 2.35 2.29 3/183 18113 /proc/meminfo: memFree=26504416/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 267579 0 0 0 592 37 0 0 20 0 4 0 23199955 1337528320 267905 33554432000 4194304 16246674 140735703913072 140735703894976 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 326545 267905 844 2943 0 323439 0 [pid=18011/tid=18012] ppid=18008 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1337528320 267905 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1337528320 267905 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1337528320 267905 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.22 2.32 2.28 3/183 18162 /proc/meminfo: memFree=26472448/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 267633 0 0 0 1232 37 0 0 20 0 4 0 23199955 1337528320 267959 33554432000 4194304 16246674 140735703913072 140735703894976 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 326545 267959 844 2943 0 323439 0 [pid=18011/tid=18012] ppid=18008 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1337528320 267959 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1337528320 267959 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1337528320 267959 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5004 s] /proc/loadavg: 2.19 2.31 2.28 4/183 18162 /proc/meminfo: memFree=26471908/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1307204 CPUtime=25.48 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 267891 0 0 0 2511 37 0 0 20 0 4 0 23199955 1338576896 268217 33554432000 4194304 16246674 140735703913072 140735703894976 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 326801 268217 845 2943 0 323695 0 [pid=18011/tid=18012] ppid=18008 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1338576896 268217 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1338576896 268217 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1338576896 268217 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1307204 [startup+51.1004 s] /proc/loadavg: 2.33 2.33 2.28 3/183 18162 /proc/meminfo: memFree=26471280/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1307204 CPUtime=51.08 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 267896 0 0 0 5070 38 0 0 20 0 4 0 23199955 1338576896 268217 33554432000 4194304 16246674 140735703913072 140735703894976 5601624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 326801 268217 845 2943 0 323695 0 [pid=18011/tid=18012] ppid=18008 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1338576896 268217 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1338576896 268217 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1338576896 268217 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1307204 [startup+102.3 s] /proc/loadavg: 2.30 2.32 2.28 3/184 18166 /proc/meminfo: memFree=26470248/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1308228 CPUtime=102.26 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 268167 0 0 0 10188 38 0 0 20 0 4 0 23199955 1339625472 268473 33554432000 4194304 16246674 140735703913072 140735703896072 5711552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 327057 268473 845 2943 0 323951 0 [pid=18011/tid=18012] ppid=18008 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1339625472 268473 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1339625472 268473 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1339625472 268473 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1308228 ################ # More data... # ################ /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269167 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1311300 [startup+1302.3 s] /proc/loadavg: 2.22 2.23 2.25 3/185 18219 /proc/meminfo: memFree=26464216/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1311300 CPUtime=1301.89 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 269279 0 0 0 130137 52 0 0 20 0 4 0 23199955 1342771200 269243 33554432000 4194304 16246674 140735703913072 140735703894976 5823275 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 327825 269243 847 2943 0 324719 0 [pid=18011/tid=18012] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1311300 [startup+1362.3 s] /proc/loadavg: 2.17 2.21 2.24 4/184 18220 /proc/meminfo: memFree=26464388/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1311300 CPUtime=1361.88 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 269279 0 0 0 136135 53 0 0 20 0 4 0 23199955 1342771200 269243 33554432000 4194304 16246674 140735703913072 140735703896072 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 327825 269243 847 2943 0 324719 0 [pid=18011/tid=18012] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1311300 [startup+1422.3 s] /proc/loadavg: 2.19 2.21 2.24 3/184 18222 /proc/meminfo: memFree=26464716/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1311300 CPUtime=1421.88 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 269279 0 0 0 142134 54 0 0 20 0 4 0 23199955 1342771200 269243 33554432000 4194304 16246674 140735703913072 140735703896072 6021554 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 327825 269243 847 2943 0 324719 0 [pid=18011/tid=18012] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1311300 [startup+1482.3 s] /proc/loadavg: 2.47 2.28 2.26 3/184 18223 /proc/meminfo: memFree=26464472/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1311300 CPUtime=1481.87 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 269279 0 0 0 148133 54 0 0 20 0 4 0 23199955 1342771200 269243 33554432000 4194304 16246674 140735703913072 140735703894976 5711980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 327825 269243 847 2943 0 324719 0 [pid=18011/tid=18012] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1311300 [startup+1542.3 s] /proc/loadavg: 2.42 2.30 2.27 3/184 18224 /proc/meminfo: memFree=26464348/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1311300 CPUtime=1541.86 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 269279 0 0 0 154132 54 0 0 20 0 4 0 23199955 1342771200 269243 33554432000 4194304 16246674 140735703913072 140735703896072 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 327825 269243 847 2943 0 324719 0 [pid=18011/tid=18012] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1311300 [startup+1602.3 s] /proc/loadavg: 2.40 2.32 2.27 3/184 18225 /proc/meminfo: memFree=26464100/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1311300 CPUtime=1601.85 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 269279 0 0 0 160130 55 0 0 20 0 4 0 23199955 1342771200 269243 33554432000 4194304 16246674 140735703913072 140735703894976 5603284 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 327825 269243 847 2943 0 324719 0 [pid=18011/tid=18012] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1342771200 269243 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1311300 [startup+1662.3 s] /proc/loadavg: 2.41 2.33 2.28 3/184 18226 /proc/meminfo: memFree=26463488/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1312324 CPUtime=1661.84 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 269406 0 0 0 166129 55 0 0 20 0 4 0 23199955 1343819776 269370 33554432000 4194304 16246674 140735703913072 140735703894976 5600068 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 328081 269370 847 2943 0 324975 0 [pid=18011/tid=18012] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1343819776 269370 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1343819776 269370 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1343819776 269370 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1312324 [startup+1722.3 s] /proc/loadavg: 2.24 2.30 2.27 3/183 18227 /proc/meminfo: memFree=26463464/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1312324 CPUtime=1721.83 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 269420 0 0 0 172127 56 0 0 20 0 4 0 23199955 1343819776 269384 33554432000 4194304 16246674 140735703913072 140735703894976 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 328081 269384 847 2943 0 324975 0 [pid=18011/tid=18012] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1343819776 269384 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1343819776 269384 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1343819776 269384 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1312324 [startup+1782.3 s] /proc/loadavg: 2.23 2.28 2.27 3/184 18229 /proc/meminfo: memFree=26463340/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1312324 CPUtime=1781.83 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 269420 0 0 0 178127 56 0 0 20 0 4 0 23199955 1343819776 269384 33554432000 4194304 16246674 140735703913072 140735703896072 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 328081 269384 847 2943 0 324975 0 [pid=18011/tid=18012] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1343819776 269384 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1343819776 269384 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1343819776 269384 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1312324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.24 2.29 2.27 3/184 18229 /proc/meminfo: memFree=26463220/32872528 swapFree=1459628/1655852 [pid=18011] ppid=18008 vsize=1312324 CPUtime=1800.02 cores=1,3,5,7 /proc/18011/stat : 18011 (toysat) R 18008 18011 16189 0 -1 4202496 269484 0 0 0 179946 56 0 0 20 0 4 0 23199955 1343819776 269448 33554432000 4194304 16246674 140735703913072 140735703896072 5711784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18011/statm: 328081 269448 847 2943 0 324975 0 [pid=18011/tid=18012] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199956 1343819776 269448 33554432000 4194304 16246674 140735703913072 140218938141936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18011/tid=18013] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199956 1343819776 269448 33554432000 4194304 16246674 140735703913072 140218927652080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18011/tid=18014] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23199956 1343819776 269448 33554432000 4194304 16246674 140735703913072 140218917178544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1312324 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 18011 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.47 CPU system time (s): 0.565913 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 1312324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.47 system time used= 0.565913 maximum resident set size= 1077792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269484 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= 375 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.45732 second user time and 7.06293 second system time The end
Begin job on node136 at 2016-06-18 02:59:04 IDJOB=4100097 IDBENCH=1573 IDSOLVER=2542 FILE ID=node136/4100097-1466211544 RUNJOBID= node136-1466206055-16206 PBS_JOBID= 19918141 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-markshare1_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100097-1466211544/watcher-4100097-1466211544 -o /tmp/evaluation-result-4100097-1466211544/solver-4100097-1466211544 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100097-1466211544.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a432642e9fdf105f945bae55612ade38 RANDOM SEED=1420953287 node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27589916 kB Buffers: 141408 kB Cached: 1643680 kB SwapCached: 0 kB Active: 1230320 kB Inactive: 1650744 kB Active(anon): 1098464 kB Inactive(anon): 0 kB Active(file): 131856 kB Inactive(file): 1650744 kB Unevictable: 1655852 kB Mlocked: 1459628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16316 kB Writeback: 0 kB AnonPages: 2702512 kB Mapped: 16556 kB Shmem: 204 kB Slab: 608684 kB SReclaimable: 52860 kB SUnreclaim: 555824 kB KernelStack: 1520 kB PageTables: 9548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2888912 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 882688 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= 71700 MiB End job on node136 at 2016-06-18 03:29:05