| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.51 |
| Name | PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-fixed-bandwidth-23.cnf.gz-extracted.pb.metafix.opb |
| MD5SUM | 969b3984a3fd48c2c26e12fbd87dc505 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.009998 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 93 |
| Total number of constraints | 92 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 92 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 8 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-30T20:47: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-4120850-1467312424.opb"] 0.00/0.01 c use --random-gen="1014565446 1728237521 2862283078 135764510 143887955 891293721 2258434308 2103011114 3734750182 3265320491 3897334453 1342814887 2835139865 1791909269 3885924885 977661389 1025462052 964753821 2119038580 97914168 2424639595 1819535601 254719624 740049956 2602008705 2970633999 3198240288 3246823276 2651785012 152089896 3820054556 3370153506 3824744739 3614356588 206334218 893114856 3978527223 649067573 2024223520 2733947180 1727375345 4107054952 3888871831 3753274170 2555295240 2093898724 3091716088 2319809240 4098618616 1285224495 2474315259 3734791024 3915406970 1102720668 255270996 3965550378 123633093 3999677107 3438795647 1035250520 2940208909 2864046520 860405376 597235193 3529811930 1630654653 1576268527 3094086011 329415491 3769882332 3931351918 3306858070 1203712646 2237099116 1303695888 2592351737 2339802715 561435203 3243017764 1966644104 4089057078 3449804129 2498486618 1277813914 2694381444 1973097625 2269246920 2099772048 1200978449 2375992684 3528919384 1286739400 973168861 2469125615 1422223731 3594062900 1115043279 2904596489 3472911862 1889011383 2874306754 483088702 311186467 233009094 2352231359 3859635554 3916803425 1594673799 4012310358 3601529160 1056858339 1745041866 3457512558 3816685394 1691615363 3815693227 1574000253 3202465114 3723267573 3758709918 4212370541 694427906 2990530433 399130164 2001007084 2811798690 2589908203 1324315709 3406296211 3439002619 2160219307 1534007538 1466462212 3517404013 979500105 3991814633 3699069490 2608914984 2647379622 1685658605 2265626588 3963020835 4130966587 190125087 259502015 1732307794 3124355900 1623437021 3934747688 80463118 264761558 2104402092 1809123010 2107816833 2013029182 523180809 1950960033 1341144449 2478870556 3515565261 468858736 3861542205 24271581 616761650 1362041868 4241871604 1596420364 1211281141 2740991088 975613946 4211113815 1340246860 2412347941 635065664 3500527966 822226829 669492131 764440276 1569670352 1410091691 3659267833 459891640 607813338 119620514 2427080893 1447394181 3433578730 992332936 424638884 3536969781 2058823736 1506485966 2648268706 3374042285 2584020247 941400278 3894071063 837884319 2190795727 393615564 1462975922 3776079877 1098914390 4214461975 729752401 2251930754 634943241 1073004577 1452919214 62289412 843535805 162867143 1626117282 2326359172 3716289488 2116420323 1950533742 1694685561 439781713 3186662787 4289364065 2654730542 1079295255 882848409 3908147188 2390610116 2694292562 3670763227 59926705 337530230 151117527 398652808 3723790832 3069317902 3391158937 801237326 2986663602 3647990422 1215877008 2654227833 2608073735 1601493004 3252542482 1650861132 2367947313 776746652 2189884417 2668390113 3915890144 3670883638 4042482543 2077789682 3874781529 4092849414 3945556397 2737877052 255 362436" option to reproduce the execution 0.00/0.01 c #vars 93 0.00/0.01 c #constraints 92 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 61 0 | 0 | 0 0.00/0.02 c 0.0s | 1 | 130 | 100 | 61 1 | 0 | 0 0.00/0.03 c 0.0s | 2 | 335 | 250 | 68 3 | 0 | 0 0.00/0.05 c 0.0s | 3 | 687 | 475 | 75 8 | 0 | 0 0.00/0.09 c 0.1s | 4 | 1201 | 813 | 83 15 | 0 | 0 0.09/0.13 c 0.1s | 5 | 1995 | 1320 | 92 23 | 0 | 0 0.19/0.21 c 0.2s | 6 | 3162 | 2081 | 113 35 | 0 | 0 0.29/0.31 c 0.3s | 7 | 5218 | 3223 | 125 51 | 0 | 0 0.39/0.46 c 0.5s | 8 | 8100 | 4936 | 138 74 | 0 | 0 0.68/0.70 c 0.7s | 9 | 11867 | 7506 | 152 105 | 0 | 0 1.09/1.11 c 1.1s | 10 | 16771 | 11361 | 168 150 | 0 | 0 1.48/1.54 c 1.5s | 11 | 24975 | 17144 | 185 210 | 0 | 0 2.19/2.26 c 2.2s | 12 | 35652 | 25819 | 204 292 | 0 | 0 3.18/3.26 c 3.2s | 13 | 51174 | 38832 | 225 402 | 0 | 0 4.58/4.63 c 4.6s | 14 | 76486 | 58352 | 248 557 | 0 | 0 6.59/6.63 c 6.6s | 14 | 114030 | 86252 | 248 766 | 0 | 0 6.69/6.73 c 6.7s | 15 | 116067 | 87632 | 273 776 | 0 | 0 8.68/8.73 c 8.7s | 15 | 159733 | 117632 | 273 983 | 0 | 0 9.58/9.63 c 9.6s | 16 | 179799 | 131552 | 301 1079 | 0 | 0 11.59/11.64 c 11.6s | 16 | 219149 | 160052 | 301 1257 | 0 | 0 13.59/13.64 c 13.6s | 16 | 259304 | 188052 | 301 1434 | 0 | 0 14.19/14.28 c 14.3s | 17 | 273467 | 197432 | 332 1492 | 0 | 0 16.19/16.28 c 16.3s | 17 | 315208 | 226132 | 332 1655 | 0 | 0 18.19/18.29 c 18.3s | 17 | 354695 | 254432 | 332 1816 | 0 | 0 20.19/20.29 c 20.3s | 17 | 390388 | 281432 | 332 1972 | 0 | 0 21.29/21.37 c 21.4s | 18 | 410463 | 296252 | 366 2056 | 0 | 0 23.29/23.38 c 23.4s | 18 | 449425 | 324352 | 366 2204 | 0 | 0 25.29/25.38 c 25.4s | 18 | 489219 | 352752 | 366 2354 | 0 | 0 27.28/27.39 c 27.4s | 18 | 526113 | 379952 | 366 2497 | 0 | 0 29.28/29.39 c 29.4s | 18 | 563391 | 406952 | 366 2640 | 0 | 0 31.28/31.39 c 31.4s | 18 | 599031 | 433552 | 366 2780 | 0 | 0 32.18/32.20 c 32.2s | 19 | 614088 | 444482 | 403 2836 | 0 | 0 34.19/34.21 c 34.2s | 19 | 647666 | 469882 | 403 2957 | 0 | 0 36.18/36.21 c 36.2s | 19 | 680411 | 494982 | 403 3076 | 0 | 0 38.18/38.21 c 38.2s | 19 | 715545 | 520882 | 403 3200 | 0 | 0 40.18/40.21 c 40.2s | 19 | 748328 | 545382 | 403 3317 | 0 | 0 42.19/42.22 c 42.2s | 19 | 783133 | 570482 | 403 3436 | 0 | 0 44.19/44.23 c 44.2s | 19 | 819103 | 596382 | 403 3559 | 0 | 0 46.19/46.24 c 46.2s | 19 | 852047 | 620982 | 403 3676 | 0 | 0 48.18/48.24 c 48.2s | 19 | 882577 | 645182 | 403 3790 | 0 | 0 49.88/49.95 c 49.9s | 20 | 910416 | 666827 | 444 3892 | 0 | 0 51.88/51.95 c 51.9s | 20 | 944247 | 691527 | 444 3999 | 0 | 0 53.89/53.96 c 53.9s | 20 | 974108 | 714827 | 444 4100 | 0 | 0 55.88/55.96 c 55.9s | 20 | 1004021 | 738627 | 444 4202 | 0 | 0 57.88/57.96 c 58.0s | 20 | 1031292 | 761327 | 444 4299 | 0 | 0 59.88/59.97 c 60.0s | 20 | 1062272 | 785227 | 444 4401 | 0 | 0 61.87/61.97 c 62.0s | 20 | 1098332 | 810727 | 444 4513 | 0 | 0 63.88/63.98 c 64.0s | 20 | 1132475 | 836627 | 444 4626 | 0 | 0 65.87/65.98 c 66.0s | 20 | 1168838 | 863027 | 444 4742 | 0 | 0 67.87/67.98 c 68.0s | 20 | 1204191 | 889227 | 444 4856 | 0 | 0 69.87/69.98 c 70.0s | 20 | 1238153 | 914127 | 444 4964 | 0 | 0 71.87/71.99 c 72.0s | 20 | 1270052 | 938927 | 444 5073 | 0 | 0 73.87/73.99 c 74.0s | 20 | 1302852 | 963827 | 444 5181 | 0 | 0 75.88/75.99 c 76.0s | 20 | 1336216 | 989227 | 444 5293 | 0 | 0 76.77/76.88 c 76.9s | 21 | 1350889 | 1000345 | 489 5338 | 0 | 0 78.77/78.88 c 78.9s | 21 | 1378054 | 1022045 | 489 5423 | 0 | 0 80.78/80.89 c 80.9s | 21 | 1405164 | 1043545 | 489 5507 | 0 | 0 82.77/82.90 c 82.9s | 21 | 1434158 | 1066145 | 489 5596 | 0 | 0 84.87/84.90 c 84.9s | 21 | 1463010 | 1089045 | 489 5686 | 0 | 0 86.88/86.91 c 86.9s | 21 | 1488907 | 1110845 | 489 5772 | 0 | 0 88.87/88.92 c 88.9s | 21 | 1513388 | 1131645 | 489 5853 | 0 | 0 90.87/90.93 c 90.9s | 21 | 1538427 | 1152845 | 489 5937 | 0 | 0 92.86/92.93 c 92.9s | 21 | 1565049 | 1174745 | 489 6023 | 0 | 0 94.86/94.93 c 94.9s | 21 | 1591447 | 1196645 | 489 6109 | 0 | 0 96.87/96.94 c 96.9s | 21 | 1618476 | 1218745 | 489 6197 | 0 | 0 98.86/98.94 c 98.9s | 21 | 1642794 | 1239645 | 489 6279 | 0 | 0 100.86/100.94 c 100s | 21 | 1667902 | 1260645 | 489 6362 | 0 | 0 102.86/102.95 c 102s | 21 | 1693555 | 1281745 | 489 6445 | 0 | 0 104.86/104.95 c 104s | 21 | 1720638 | 1303645 | 489 6531 | 0 | 0 106.86/106.95 c 106s | 21 | 1746723 | 1325545 | 489 6618 | 0 | 0 108.87/108.96 c 108s | 21 | 1771730 | 1346645 | 489 6701 | 0 | 0 110.86/110.97 c 110s | 21 | 1796196 | 1367445 | 489 6783 | 0 | 0 112.86/112.97 c 112s | 21 | 1821996 | 1389045 | 489 6869 | 0 | 0 114.86/114.98 c 114s | 21 | 1849948 | 1411045 | 489 6956 | 0 | 0 116.86/116.98 c 116s | 21 | 1876038 | 1432245 | 489 7040 | 0 | 0 118.87/118.99 c 118s | 21 | 1903015 | 1453945 | 489 7126 | 0 | 0 120.86/120.99 c 120s | 21 | 1929932 | 1475545 | 489 7211 | 0 | 0 122.96/123.00 c 122s | 21 | 1956520 | 1497145 | 538 7293 | 0 | 0 123.17/123.29 c 123s | 22 | 1961245 | 1500622 | 538 7306 | 0 | 0 125.16/125.29 c 125s | 22 | 1992684 | 1523922 | 538 7390 | 0 | 0 127.16/127.29 c 127s | 22 | 2022769 | 1546522 | 538 7471 | 0 | 0 129.26/129.30 c 129s | 22 | 2051354 | 1568722 | 538 7551 | 0 | 0 131.25/131.30 c 131s | 22 | 2082395 | 1592222 | 538 7636 | 0 | 0 133.25/133.31 c 133s | 22 | 2112371 | 1615322 | 538 7720 | 0 | 0 135.26/135.31 c 135s | 22 | 2145147 | 1639722 | 538 7808 | 0 | 0 137.25/137.32 c 137s | 22 | 2172449 | 1662022 | 538 7888 | 0 | 0 139.25/139.32 c 139s | 22 | 2198539 | 1683522 | 538 7965 | 0 | 0 141.26/141.32 c 141s | 22 | 2224950 | 1705122 | 538 8043 | 0 | 0 143.25/143.33 c 143s | 22 | 2252856 | 1727622 | 538 8123 | 0 | 0 145.26/145.33 c 145s | 22 | 2279386 | 1749522 | 538 8201 | 0 | 0 147.25/147.33 c 147s | 22 | 2306469 | 1771522 | 538 8280 | 0 | 0 149.25/149.33 c 149s | 22 | 2335152 | 1794422 | 538 8362 | 0 | 0 151.25/151.34 c 151s | 22 | 2362681 | 1817022 | 538 8443 | 0 | 0 153.25/153.34 c 153s | 22 | 2391226 | 1839822 | 538 8525 | 0 | 0 155.25/155.35 c 155s | 22 | 2422603 | 1864122 | 538 8613 | 0 | 0 157.25/157.35 c 157s | 22 | 2453982 | 1888022 | 538 8699 | 0 | 0 159.24/159.36 c 159s | 22 | 2486336 | 1912022 | 538 8787 | 0 | 0 161.24/161.36 c 161s | 22 | 2520206 | 1937022 | 538 8877 | 0 | 0 163.24/163.36 c 163s | 22 | 2551252 | 1961122 | 538 8964 | 0 | 0 165.24/165.36 c 165s | 22 | 2581441 | 1984422 | 538 9048 | 0 | 0 167.25/167.37 c 167s | 22 | 2611867 | 2008022 | 538 9134 | 0 | 0 169.25/169.38 c 169s | 22 | 2641331 | 2030822 | 538 9216 | 0 | 0 171.25/171.38 c 171s | 22 | 2670567 | 2054022 | 538 9300 | 0 | 0 173.24/173.39 c 173s | 22 | 2699982 | 2077122 | 538 9385 | 0 | 0 175.24/175.39 c 175s | 22 | 2729683 | 2100522 | 538 9469 | 0 | 0 177.34/177.40 c 177s | 22 | 2758736 | 2123022 | 538 9550 | 0 | 0 179.25/179.40 c 179s | 22 | 2789311 | 2147022 | 538 9637 | 0 | 0 181.34/181.40 c 181s | 22 | 2821079 | 2171022 | 538 9724 | 0 | 0 183.34/183.40 c 183s | 22 | 2853636 | 2195822 | 538 9814 | 0 | 0 185.34/185.41 c 185s | 22 | 2883416 | 2219422 | 538 9898 | 0 | 0 187.34/187.41 c 187s | 22 | 2911295 | 2241722 | 592 9976 | 0 | 0 188.04/188.20 c 188s | 23 | 2923614 | 2251038 | 592 10007 | 0 | 0 190.14/190.20 c 190s | 23 | 2959231 | 2276238 | 592 10090 | 0 | 0 192.14/192.20 c 192s | 23 | 2994632 | 2301738 | 592 10174 | 0 | 0 194.14/194.21 c 194s | 23 | 3025741 | 2325438 | 592 10252 | 0 | 0 196.14/196.21 c 196s | 23 | 3056555 | 2349038 | 592 10330 | 0 | 0 198.14/198.22 c 198s | 23 | 3088831 | 2373338 | 592 10410 | 0 | 0 200.14/200.22 c 200s | 23 | 3121901 | 2398238 | 592 10493 | 0 | 0 202.13/202.22 c 202s | 23 | 3155183 | 2422938 | 592 10575 | 0 | 0 204.13/204.22 c 204s | 23 | 3190816 | 2448138 | 592 10658 | 0 | 0 206.13/206.22 c 206s | 23 | 3226139 | 2473438 | 592 10742 | 0 | 0 208.13/208.23 c 208s | 23 | 3264649 | 2500238 | 592 10831 | 0 | 0 210.14/210.23 c 210s | 23 | 3297638 | 2524638 | 592 10912 | 0 | 0 212.13/212.23 c 212s | 23 | 3330273 | 2548938 | 592 10992 | 0 | 0 214.13/214.24 c 214s | 23 | 3364570 | 2573938 | 592 11075 | 0 | 0 216.13/216.25 c 216s | 23 | 3395246 | 2597438 | 592 11153 | 0 | 0 218.13/218.25 c 218s | 23 | 3429056 | 2622638 | 592 11237 | 0 | 0 220.12/220.26 c 220s | 23 | 3462734 | 2647538 | 592 11319 | 0 | 0 222.13/222.26 c 222s | 23 | 3498699 | 2673638 | 592 11405 | 0 | 0 224.12/224.27 c 224s | 23 | 3534735 | 2699638 | 592 11492 | 0 | 0 226.13/226.28 c 226s | 23 | 3565736 | 2723338 | 592 11570 | 0 | 0 228.13/228.28 c 228s | 23 | 3598983 | 2748038 | 592 11652 | 0 | 0 230.13/230.29 c 230s | 23 | 3628237 | 2770738 | 592 11727 | 0 | 0 232.13/232.29 c 232s | 23 | 3655661 | 2792738 | 592 11800 | 0 | 0 234.12/234.30 c 234s | 23 | 3680920 | 2813738 | 592 11869 | 0 | 0 236.22/236.30 c 236s | 23 | 3714063 | 2838738 | 592 11952 | 0 | 0 238.22/238.31 c 238s | 23 | 3751807 | 2865238 | 592 12041 | 0 | 0 240.22/240.31 c 240s | 23 | 3791313 | 2892438 | 592 12131 | 0 | 0 242.22/242.32 c 242s | 23 | 3823889 | 2917338 | 592 12213 | 0 | 0 244.22/244.32 c 244s | 23 | 3858296 | 2942538 | 592 12297 | 0 | 0 246.22/246.33 c 246s | 23 | 3893042 | 2967838 | 592 12381 | 0 | 0 248.22/248.34 c 248s | 23 | 3924938 | 2991938 | 592 12460 | 0 | 0 250.21/250.34 c 250s | 23 | 3960713 | 3017938 | 592 12546 | 0 | 0 252.21/252.35 c 252s | 23 | 3999114 | 3044538 | 592 12635 | 0 | 0 254.21/254.35 c 254s | 23 | 4035916 | 3070638 | 592 12722 | 0 | 0 256.22/256.35 c 256s | 23 | 4073012 | 3096638 | 592 12808 | 0 | 0 258.21/258.35 c 258s | 23 | 4111197 | 3123338 | 592 12897 | 0 | 0 260.21/260.36 c 260s | 23 | 4147923 | 3149738 | 592 12985 | 0 | 0 262.21/262.37 c 262s | 23 | 4185309 | 3176338 | 592 13074 | 0 | 0 264.21/264.37 c 264s | 23 | 4221604 | 3202238 | 592 13160 | 0 | 0 266.22/266.38 c 266s | 23 | 4260237 | 3228938 | 592 13249 | 0 | 0 268.21/268.38 c 268s | 23 | 4295590 | 3254438 | 592 13334 | 0 | 0 270.20/270.39 c 270s | 23 | 4328210 | 3279438 | 592 13416 | 0 | 0 272.20/272.39 c 272s | 23 | 4359080 | 3304038 | 592 13498 | 0 | 0 274.21/274.39 c 274s | 23 | 4398363 | 3331238 | 592 13589 | 0 | 0 276.21/276.39 c 276s | 23 | 4430499 | 3355438 | 652 13668 | 0 | 0 278.11/278.23 c 278s | 24 | 4457085 | 3376662 | 652 13733 | 0 | 0 280.10/280.24 c 280s | 24 | 4489339 | 3399762 | 652 13802 | 0 | 0 282.10/282.24 c 282s | 24 | 4522744 | 3424262 | 652 13875 | 0 | 0 284.10/284.25 c 284s | 24 | 4556544 | 3448962 | 652 13950 | 0 | 0 286.10/286.25 c 286s | 24 | 4587747 | 3472462 | 652 14020 | 0 | 0 288.11/288.25 c 288s | 24 | 4620969 | 3496262 | 652 14092 | 0 | 0 290.10/290.25 c 290s | 24 | 4652359 | 3520662 | 652 14165 | 0 | 0 292.10/292.25 c 292s | 24 | 4682551 | 3544162 | 652 14236 | 0 | 0 294.10/294.26 c 294s | 24 | 4713192 | 3567462 | 652 14306 | 0 | 0 296.10/296.26 c 296s | 24 | 4742285 | 3590562 | 652 14376 | 0 | 0 298.10/298.27 c 298s | 24 | 4772215 | 3613862 | 652 14446 | 0 | 0 300.09/300.27 c 300s | 24 | 4802887 | 3637262 | 652 14516 | 0 | 0 302.09/302.28 c 302s | 24 | 4837459 | 3662562 | 652 14592 | 0 | 0 304.09/304.28 c 304s | 24 | 4869836 | 3686662 | 652 14664 | 0 | 0 306.09/306.28 c 306s | 24 | 4901378 | 3710862 | 652 14737 | 0 | 0 308.10/308.29 c 308s | 24 | 4939312 | 3737262 | 652 14817 | 0 | 0 310.10/310.29 c 310s | 24 | 4971362 | 3761162 | 652 14889 | 0 | 0 312.19/312.30 c 312s | 24 | 5006560 | 3786262 | 652 14965 | 0 | 0 314.19/314.31 c 314s | 24 | 5042837 | 3812462 | 652 15044 | 0 | 0 316.19/316.31 c 316s | 24 | 5082382 | 3838862 | 652 15124 | 0 | 0 318.19/318.32 c 318s | 24 | 5116007 | 3863362 | 652 15196 | 0 | 0 320.19/320.32 c 320s | 24 | 5146506 | 3886762 | 652 15266 | 0 | 0 322.19/322.33 c 322s | 24 | 5173071 | 3908162 | 652 15329 | 0 | 0 324.18/324.34 c 324s | 24 | 5199188 | 3929462 | 652 15393 | 0 | 0 326.18/326.34 c 326s | 24 | 5226254 | 3951062 | 652 15458 | 0 | 0 328.18/328.34 c 328s | 24 | 5255911 | 3973962 | 652 15527 | 0 | 0 330.18/330.35 c 330s | 24 | 5285225 | 3996862 | 652 15595 | 0 | 0 332.18/332.36 c 332s | 24 | 5314345 | 4019262 | 652 15661 | 0 | 0 334.18/334.36 c 334s | 24 | 5342963 | 4042162 | 652 15729 | 0 | 0 336.18/336.36 c 336s | 24 | 5374004 | 4065862 | 652 15801 | 0 | 0 338.18/338.36 c 338s | 24 | 5404670 | 4089462 | 652 15871 | 0 | 0 340.17/340.37 c 340s | 24 | 5436071 | 4113362 | 652 15943 | 0 | 0 342.17/342.37 c 342s | 24 | 5468105 | 4137662 | 652 16016 | 0 | 0 344.18/344.37 c 344s | 24 | 5498103 | 4161062 | 652 16087 | 0 | 0 346.18/346.38 c 346s | 24 | 5526626 | 4183662 | 652 16155 | 0 | 0 348.18/348.38 c 348s | 24 | 5554306 | 4205862 | 652 16221 | 0 | 0 350.17/350.38 c 350s | 24 | 5584438 | 4229262 | 652 16292 | 0 | 0 352.17/352.39 c 352s | 24 | 5611842 | 4251462 | 652 16359 | 0 | 0 354.27/354.40 c 354s | 24 | 5638890 | 4273562 | 652 16425 | 0 | 0 356.17/356.40 c 356s | 24 | 5670318 | 4297362 | 652 16497 | 0 | 0 358.27/358.41 c 358s | 24 | 5699908 | 4320362 | 652 16567 | 0 | 0 360.27/360.41 c 360s | 24 | 5730290 | 4343662 | 652 16637 | 0 | 0 362.27/362.42 c 362s | 24 | 5759815 | 4366662 | 652 16707 | 0 | 0 364.27/364.42 c 364s | 24 | 5795076 | 4391862 | 652 16783 | 0 | 0 366.27/366.42 c 366s | 24 | 5826591 | 4415562 | 652 16855 | 0 | 0 368.27/368.43 c 368s | 24 | 5859438 | 4439462 | 652 16928 | 0 | 0 370.26/370.43 c 370s | 24 | 5894758 | 4464562 | 652 17003 | 0 | 0 372.26/372.44 c 372s | 24 | 5929420 | 4490362 | 652 17082 | 0 | 0 374.27/374.44 c 374s | 24 | 5963126 | 4515062 | 652 17156 | 0 | 0 376.27/376.44 c 376s | 24 | 5998516 | 4541362 | 652 17236 | 0 | 0 378.27/378.45 c 378s | 24 | 6028281 | 4564762 | 652 17307 | 0 | 0 380.26/380.45 c 380s | 24 | 6054258 | 4586262 | 652 17371 | 0 | 0 382.26/382.45 c 382s | 24 | 6084137 | 4609562 | 652 17441 | 0 | 0 384.26/384.46 c 384s | 24 | 6113887 | 4632762 | 652 17512 | 0 | 0 386.26/386.46 c 386s | 24 | 6144641 | 4656762 | 652 17584 | 0 | 0 388.27/388.47 c 388s | 24 | 6173005 | 4679462 | 652 17653 | 0 | 0 390.26/390.47 c 390s | 24 | 6204244 | 4703262 | 652 17726 | 0 | 0 392.26/392.47 c 392s | 24 | 6232157 | 4725562 | 652 17793 | 0 | 0 394.26/394.48 c 394s | 24 | 6256009 | 4745762 | 652 17854 | 0 | 0 396.26/396.48 c 396s | 24 | 6287797 | 4770162 | 652 17928 | 0 | 0 398.26/398.49 c 398s | 24 | 6321665 | 4795562 | 652 18006 | 0 | 0 400.26/400.49 c 400s | 24 | 6354498 | 4820062 | 652 18080 | 0 | 0 402.36/402.50 c 402s | 24 | 6387210 | 4844562 | 652 18154 | 0 | 0 404.35/404.50 c 404s | 24 | 6416835 | 4868062 | 652 18225 | 0 | 0 406.35/406.50 c 406s | 24 | 6447444 | 4891962 | 652 18298 | 0 | 0 408.35/408.51 c 408s | 24 | 6482907 | 4917662 | 652 18376 | 0 | 0 410.35/410.51 c 410s | 24 | 6514181 | 4942562 | 652 18451 | 0 | 0 412.36/412.52 c 412s | 24 | 6548643 | 4968062 | 652 18529 | 0 | 0 414.35/414.52 c 414s | 24 | 6582949 | 4993362 | 652 18606 | 0 | 0 416.36/416.52 c 416s | 24 | 6619695 | 5019562 | 652 18686 | 0 | 0 418.36/418.53 c 418s | 24 | 6654547 | 5044862 | 718 18758 | 0 | 0 419.95/420.11 c 420s | 25 | 6682194 | 5065098 | 718 18814 | 0 | 0 421.95/422.12 c 422s | 25 | 6714318 | 5089398 | 718 18880 | 0 | 0 423.95/424.12 c 424s | 25 | 6743249 | 5111998 | 718 18941 | 0 | 0 425.95/426.12 c 426s | 25 | 6769280 | 5133498 | 718 18999 | 0 | 0 427.95/428.13 c 428s | 25 | 6797522 | 5155798 | 718 19060 | 0 | 0 429.96/430.13 c 430s | 25 | 6826419 | 5178098 | 718 19120 | 0 | 0 431.95/432.13 c 432s | 25 | 6855718 | 5200198 | 718 19180 | 0 | 0 433.95/434.13 c 434s | 25 | 6882976 | 5221898 | 718 19239 | 0 | 0 435.95/436.14 c 436s | 25 | 6910715 | 5243598 | 718 19299 | 0 | 0 437.95/438.14 c 438s | 25 | 6937823 | 5264998 | 718 19357 | 0 | 0 439.95/440.14 c 440s | 25 | 6967538 | 5287298 | 718 19418 | 0 | 0 441.95/442.15 c 442s | 25 | 6998166 | 5310098 | 718 19481 | 0 | 0 443.95/444.15 c 444s | 25 | 7026727 | 5332598 | 718 19542 | 0 | 0 445.95/446.15 c 446s | 25 | 7056580 | 5355298 | 718 19604 | 0 | 0 447.94/448.15 c 448s | 25 | 7082579 | 5376398 | 718 19661 | 0 | 0 449.94/450.16 c 450s | 25 | 7108588 | 5397598 | 718 19719 | 0 | 0 451.95/452.16 c 452s | 25 | 7135609 | 5419398 | 718 19779 | 0 | 0 453.94/454.16 c 454s | 25 | 7163273 | 5441498 | 718 19839 | 0 | 0 455.94/456.17 c 456s | 25 | 7189429 | 5463098 | 718 19898 | 0 | 0 457.94/458.17 c 458s | 25 | 7214376 | 5483998 | 718 19955 | 0 | 0 459.93/460.18 c 460s | 25 | 7240872 | 5505398 | 718 20013 | 0 | 0 461.94/462.19 c 462s | 25 | 7266551 | 5526298 | 718 20070 | 0 | 0 463.93/464.19 c 464s | 25 | 7293575 | 5548098 | 718 20129 | 0 | 0 466.03/466.20 c 466s | 25 | 7319452 | 5569298 | 718 20186 | 0 | 0 468.03/468.20 c 468s | 25 | 7342145 | 5588898 | 718 20240 | 0 | 0 470.03/470.21 c 470s | 25 | 7367643 | 5609398 | 718 20295 | 0 | 0 472.03/472.21 c 472s | 25 | 7394641 | 5630798 | 718 20354 | 0 | 0 474.03/474.22 c 474s | 25 | 7422272 | 5652498 | 718 20413 | 0 | 0 476.02/476.23 c 476s | 25 | 7448016 | 5673498 | 718 20470 | 0 | 0 478.02/478.23 c 478s | 25 | 7476540 | 5695498 | 718 20531 | 0 | 0 480.02/480.24 c 480s | 25 | 7502454 | 5716598 | 718 20588 | 0 | 0 482.02/482.24 c 482s | 25 | 7530744 | 5738498 | 718 20648 | 0 | 0 484.02/484.25 c 484s | 25 | 7555229 | 5758898 | 718 20704 | 0 | 0 486.02/486.26 c 486s | 25 | 7579226 | 5779398 | 718 20759 | 0 | 0 488.02/488.26 c 488s | 25 | 7602703 | 5799898 | 718 20815 | 0 | 0 490.01/490.26 c 490s | 25 | 7628113 | 5821198 | 718 20873 | 0 | 0 492.02/492.27 c 492s | 25 | 7655791 | 5843298 | 718 20933 | 0 | 0 494.02/494.27 c 494s | 25 | 7687630 | 5866998 | 718 20998 | 0 | 0 496.03/496.28 c 496s | 25 | 7718232 | 5890198 | 718 21061 | 0 | 0 498.02/498.29 c 498s | 25 | 7746983 | 5911998 | 718 21121 | 0 | 0 500.02/500.29 c 500s | 25 | 7772721 | 5932698 | 718 21178 | 0 | 0 502.12/502.30 c 502s | 25 | 7799567 | 5954298 | 718 21237 | 0 | 0 504.12/504.30 c 504s | 25 | 7827595 | 5976598 | 718 21298 | 0 | 0 506.11/506.30 c 506s | 25 | 7855720 | 5998598 | 718 21358 | 0 | 0 508.12/508.31 c 508s | 25 | 7883585 | 6020798 | 718 21419 | 0 | 0 510.11/510.32 c 510s | 25 | 7912063 | 6042998 | 718 21480 | 0 | 0 512.11/512.33 c 512s | 25 | 7941989 | 6065798 | 718 21542 | 0 | 0 514.11/514.33 c 514s | 25 | 7972057 | 6088298 | 718 21604 | 0 | 0 516.11/516.33 c 516s | 25 | 8000780 | 6110698 | 718 21665 | 0 | 0 518.11/518.33 c 518s | 25 | 8029676 | 6132498 | 718 21725 | 0 | 0 520.11/520.34 c 520s | 25 | 8055076 | 6152998 | 718 21781 | 0 | 0 522.10/522.34 c 522s | 25 | 8084628 | 6175198 | 718 21842 | 0 | 0 524.10/524.35 c 524s | 25 | 8110584 | 6195998 | 718 21898 | 0 | 0 526.10/526.36 c 526s | 25 | 8137709 | 6217298 | 718 21957 | 0 | 0 528.11/528.36 c 528s | 25 | 8167719 | 6239998 | 718 22019 | 0 | 0 530.11/530.37 c 530s | 25 | 8195420 | 6261298 | 718 22077 | 0 | 0 532.11/532.37 c 532s | 25 | 8223261 | 6282998 | 718 22136 | 0 | 0 534.10/534.38 c 534s | 25 | 8254901 | 6305898 | 718 22199 | 0 | 0 536.10/536.38 c 536s | 25 | 8283968 | 6328198 | 718 22260 | 0 | 0 538.10/538.39 c 538s | 25 | 8310872 | 6349598 | 718 22318 | 0 | 0 540.10/540.39 c 540s | 25 | 8340647 | 6372598 | 718 22381 | 0 | 0 542.11/542.40 c 542s | 25 | 8368748 | 6394498 | 718 22441 | 0 | 0 544.20/544.40 c 544s | 25 | 8398169 | 6417398 | 718 22504 | 0 | 0 546.20/546.40 c 546s | 25 | 8428713 | 6440098 | 718 22566 | 0 | 0 548.20/548.40 c 548s | 25 | 8459088 | 6462898 | 718 22629 | 0 | 0 550.19/550.41 c 550s | 25 | 8487823 | 6484798 | 718 22689 | 0 | 0 552.19/552.42 c 552s | 25 | 8513915 | 6505798 | 718 22747 | 0 | 0 554.20/554.42 c 554s | 25 | 8540411 | 6527098 | 718 22805 | 0 | 0 556.19/556.43 c 556s | 25 | 8566728 | 6548198 | 718 22862 | 0 | 0 558.20/558.43 c 558s | 25 | 8594675 | 6569998 | 718 22922 | 0 | 0 560.19/560.44 c 560s | 25 | 8623408 | 6591998 | 718 22982 | 0 | 0 562.19/562.44 c 562s | 25 | 8653963 | 6614998 | 718 23045 | 0 | 0 564.20/564.45 c 564s | 25 | 8682119 | 6637098 | 718 23105 | 0 | 0 566.19/566.45 c 566s | 25 | 8712311 | 6659998 | 718 23168 | 0 | 0 568.19/568.46 c 568s | 25 | 8743714 | 6682998 | 718 23231 | 0 | 0 570.18/570.46 c 570s | 25 | 8772947 | 6705398 | 718 23292 | 0 | 0 572.18/572.47 c 572s | 25 | 8803274 | 6727798 | 718 23354 | 0 | 0 574.18/574.48 c 574s | 25 | 8833907 | 6750898 | 718 23417 | 0 | 0 576.19/576.48 c 576s | 25 | 8868138 | 6775298 | 718 23484 | 0 | 0 578.18/578.49 c 578s | 25 | 8900379 | 6799098 | 718 23549 | 0 | 0 580.18/580.49 c 580s | 25 | 8931022 | 6822598 | 718 23613 | 0 | 0 582.17/582.49 c 582s | 25 | 8964669 | 6846898 | 718 23680 | 0 | 0 584.27/584.50 c 584s | 25 | 8997462 | 6870798 | 718 23746 | 0 | 0 586.27/586.50 c 586s | 25 | 9029438 | 6894298 | 718 23810 | 0 | 0 588.17/588.50 c 588s | 25 | 9061288 | 6918498 | 718 23876 | 0 | 0 590.27/590.50 c 590s | 25 | 9092867 | 6942498 | 718 23943 | 0 | 0 592.27/592.51 c 592s | 25 | 9123739 | 6966398 | 718 24009 | 0 | 0 594.27/594.51 c 594s | 25 | 9153999 | 6989698 | 718 24072 | 0 | 0 596.27/596.51 c 596s | 25 | 9183371 | 7012398 | 718 24135 | 0 | 0 598.27/598.52 c 598s | 25 | 9207636 | 7032798 | 718 24191 | 0 | 0 600.26/600.53 c 600s | 25 | 9236532 | 7055998 | 718 24254 | 0 | 0 602.27/602.53 c 602s | 25 | 9264286 | 7077798 | 718 24314 | 0 | 0 604.27/604.54 c 604s | 25 | 9292630 | 7099898 | 718 24374 | 0 | 0 606.27/606.55 c 606s | 25 | 9320334 | 7121498 | 718 24433 | 0 | 0 608.27/608.56 c 608s | 25 | 9348774 | 7143698 | 718 24494 | 0 | 0 610.27/610.56 c 610s | 25 | 9377520 | 7165998 | 718 24555 | 0 | 0 612.26/612.56 c 612s | 25 | 9406342 | 7188498 | 718 24617 | 0 | 0 614.26/614.57 c 614s | 25 | 9437052 | 7211698 | 718 24681 | 0 | 0 616.26/616.57 c 616s | 25 | 9467486 | 7234798 | 718 24744 | 0 | 0 618.26/618.57 c 618s | 25 | 9494961 | 7256498 | 718 24803 | 0 | 0 620.26/620.58 c 620s | 25 | 9523324 | 7278598 | 718 24864 | 0 | 0 622.26/622.58 c 622s | 25 | 9554925 | 7302198 | 718 24929 | 0 | 0 624.26/624.59 c 624s | 25 | 9581459 | 7323598 | 718 24987 | 0 | 0 626.25/626.59 c 626s | 25 | 9610604 | 7346298 | 718 25049 | 0 | 0 628.25/628.59 c 628s | 25 | 9642342 | 7369898 | 718 25114 | 0 | 0 630.35/630.60 c 630s | 25 | 9674767 | 7393798 | 718 25180 | 0 | 0 632.27/632.60 c 632s | 25 | 9707521 | 7417998 | 718 25246 | 0 | 0 634.36/634.60 c 634s | 25 | 9738272 | 7441398 | 718 25311 | 0 | 0 636.36/636.60 c 636s | 25 | 9769927 | 7464598 | 718 25375 | 0 | 0 638.36/638.61 c 638s | 25 | 9797158 | 7485998 | 718 25434 | 0 | 0 640.36/640.61 c 640s | 25 | 9825799 | 7508198 | 718 25495 | 0 | 0 642.36/642.62 c 642s | 25 | 9854450 | 7530698 | 718 25557 | 0 | 0 644.36/644.62 c 644s | 25 | 9885397 | 7553998 | 790 25619 | 0 | 0 646.36/646.62 c 646s | 25 | 9912920 | 7575998 | 790 25674 | 0 | 0 648.25/648.52 c 648s | 26 | 9941196 | 7597752 | 790 25728 | 0 | 0 650.25/650.53 c 650s | 26 | 9970469 | 7619252 | 790 25781 | 0 | 0 652.25/652.53 c 652s | 26 | 9997311 | 7640552 | 790 25834 | 0 | 0 654.26/654.54 c 654s | 26 | 10024980 | 7662252 | 790 25888 | 0 | 0 656.25/656.54 c 656s | 26 | 10052528 | 7683452 | 790 25941 | 0 | 0 658.25/658.55 c 658s | 26 | 10083780 | 7706852 | 790 25999 | 0 | 0 660.24/660.56 c 660s | 26 | 10114373 | 7729452 | 790 26055 | 0 | 0 662.24/662.56 c 662s | 26 | 10144610 | 7751452 | 790 26110 | 0 | 0 664.25/664.56 c 664s | 26 | 10175981 | 7774152 | 790 26166 | 0 | 0 666.24/666.57 c 666s | 26 | 10206359 | 7796452 | 790 26222 | 0 | 0 668.24/668.57 c 668s | 26 | 10236262 | 7818952 | 790 26277 | 0 | 0 670.24/670.58 c 670s | 26 | 10267327 | 7841952 | 790 26335 | 0 | 0 672.24/672.59 c 672s | 26 | 10295483 | 7863852 | 790 26389 | 0 | 0 674.24/674.59 c 674s | 26 | 10325407 | 7886052 | 790 26445 | 0 | 0 676.26/676.60 c 676s | 26 | 10354794 | 7908252 | 790 26500 | 0 | 0 678.35/678.60 c 678s | 26 | 10384124 | 7930452 | 790 26555 | 0 | 0 680.35/680.61 c 680s | 26 | 10415665 | 7953052 | 790 26612 | 0 | 0 682.35/682.61 c 682s | 26 | 10448337 | 7976552 | 790 26670 | 0 | 0 684.35/684.62 c 684s | 26 | 10479518 | 7999752 | 790 26728 | 0 | 0 686.35/686.62 c 686s | 26 | 10511315 | 8022952 | 790 26786 | 0 | 0 688.35/688.62 c 688s | 26 | 10544497 | 8046152 | 790 26844 | 0 | 0 690.35/690.63 c 690s | 26 | 10578301 | 8069152 | 790 26902 | 0 | 0 692.35/692.63 c 692s | 26 | 10610217 | 8092052 | 790 26959 | 0 | 0 694.35/694.63 c 694s | 26 | 10645234 | 8116252 | 790 27019 | 0 | 0 696.34/696.64 c 696s | 26 | 10676702 | 8139352 | 790 27077 | 0 | 0 698.35/698.65 c 698s | 26 | 10704830 | 8160752 | 790 27130 | 0 | 0 700.34/700.66 c 700s | 26 | 10729760 | 8181052 | 790 27180 | 0 | 0 702.34/702.66 c 702s | 26 | 10756812 | 8202252 | 790 27232 | 0 | 0 704.34/704.66 c 704s | 26 | 10784098 | 8223852 | 790 27286 | 0 | 0 706.34/706.67 c 706s | 26 | 10807914 | 8243752 | 790 27336 | 0 | 0 708.34/708.67 c 708s | 26 | 10835699 | 8265352 | 790 27390 | 0 | 0 710.34/710.67 c 710s | 26 | 10865429 | 8287652 | 790 27446 | 0 | 0 712.33/712.67 c 712s | 26 | 10896981 | 8310852 | 790 27504 | 0 | 0 714.34/714.68 c 714s | 26 | 10922430 | 8331852 | 790 27556 | 0 | 0 716.34/716.68 c 716s | 26 | 10949409 | 8353052 | 790 27609 | 0 | 0 718.34/718.69 c 718s | 26 | 10978869 | 8374952 | 790 27664 | 0 | 0 720.35/720.69 c 720s | 26 | 11008476 | 8397052 | 790 27719 | 0 | 0 722.34/722.69 c 722s | 26 | 11035820 | 8418152 | 790 27772 | 0 | 0 724.44/724.70 c 724s | 26 | 11059758 | 8438052 | 790 27821 | 0 | 0 726.44/726.70 c 726s | 26 | 11085382 | 8458452 | 790 27873 | 0 | 0 728.44/728.71 c 728s | 26 | 11112574 | 8479552 | 790 27926 | 0 | 0 730.44/730.72 c 730s | 26 | 11139573 | 8500352 | 790 27977 | 0 | 0 732.44/732.72 c 732s | 26 | 11169286 | 8522352 | 790 28032 | 0 | 0 734.43/734.72 c 734s | 26 | 11197219 | 8543252 | 790 28084 | 0 | 0 736.43/736.73 c 736s | 26 | 11226010 | 8564852 | 790 28137 | 0 | 0 738.43/738.73 c 738s | 26 | 11254167 | 8586552 | 790 28191 | 0 | 0 740.43/740.74 c 740s | 26 | 11280971 | 8607452 | 790 28244 | 0 | 0 742.43/742.75 c 742s | 26 | 11310997 | 8629852 | 790 28300 | 0 | 0 744.44/744.75 c 744s | 26 | 11337734 | 8651252 | 790 28353 | 0 | 0 746.43/746.75 c 746s | 26 | 11364063 | 8672452 | 790 28406 | 0 | 0 748.43/748.76 c 748s | 26 | 11390831 | 8693852 | 790 28459 | 0 | 0 750.43/750.77 c 750s | 26 | 11419400 | 8715952 | 790 28515 | 0 | 0 752.43/752.77 c 752s | 26 | 11450366 | 8738852 | 790 28572 | 0 | 0 754.44/754.77 c 754s | 26 | 11478238 | 8760652 | 790 28626 | 0 | 0 756.43/756.78 c 756s | 26 | 11506282 | 8782352 | 790 28680 | 0 | 0 758.43/758.78 c 758s | 26 | 11534304 | 8803852 | 790 28734 | 0 | 0 760.44/760.78 c 760s | 26 | 11562076 | 8825452 | 790 28788 | 0 | 0 762.44/762.79 c 762s | 26 | 11591354 | 8847752 | 790 28844 | 0 | 0 764.43/764.79 c 764s | 26 | 11618316 | 8869252 | 790 28897 | 0 | 0 766.44/766.80 c 766s | 26 | 11642856 | 8889552 | 790 28948 | 0 | 0 768.53/768.80 c 768s | 26 | 11671303 | 8911552 | 790 29003 | 0 | 0 770.53/770.81 c 770s | 26 | 11698808 | 8933052 | 790 29057 | 0 | 0 772.53/772.81 c 772s | 26 | 11725251 | 8954252 | 790 29110 | 0 | 0 774.53/774.81 c 774s | 26 | 11753393 | 8976052 | 790 29164 | 0 | 0 776.53/776.82 c 776s | 26 | 11780637 | 8997352 | 790 29218 | 0 | 0 778.54/778.82 c 778s | 26 | 11805727 | 9017352 | 790 29268 | 0 | 0 780.53/780.82 c 780s | 26 | 11833639 | 9038552 | 790 29320 | 0 | 0 782.53/782.82 c 782s | 26 | 11863025 | 9060552 | 790 29375 | 0 | 0 784.53/784.83 c 784s | 26 | 11889840 | 9081652 | 790 29428 | 0 | 0 786.52/786.84 c 786s | 26 | 11917631 | 9102952 | 790 29481 | 0 | 0 788.53/788.84 c 788s | 26 | 11949026 | 9125952 | 790 29538 | 0 | 0 790.52/790.84 c 790s | 26 | 11979948 | 9148852 | 790 29596 | 0 | 0 792.52/792.84 c 792s | 26 | 12010354 | 9171152 | 790 29651 | 0 | 0 794.52/794.85 c 794s | 26 | 12038787 | 9192752 | 790 29705 | 0 | 0 796.52/796.86 c 796s | 26 | 12067465 | 9214552 | 790 29760 | 0 | 0 798.52/798.86 c 798s | 26 | 12096899 | 9236552 | 790 29815 | 0 | 0 800.54/800.87 c 800s | 26 | 12123971 | 9258052 | 790 29868 | 0 | 0 802.53/802.87 c 802s | 26 | 12149708 | 9278352 | 790 29919 | 0 | 0 804.53/804.87 c 804s | 26 | 12177886 | 9299952 | 790 29973 | 0 | 0 806.53/806.88 c 806s | 26 | 12206163 | 9321352 | 790 30026 | 0 | 0 808.53/808.88 c 808s | 26 | 12235207 | 9343552 | 790 30081 | 0 | 0 810.53/810.89 c 810s | 26 | 12262781 | 9364952 | 790 30134 | 0 | 0 812.53/812.90 c 812s | 26 | 12292744 | 9387052 | 790 30189 | 0 | 0 814.63/814.90 c 814s | 26 | 12320114 | 9408552 | 790 30243 | 0 | 0 816.63/816.91 c 816s | 26 | 12345598 | 9428852 | 790 30294 | 0 | 0 818.63/818.92 c 818s | 26 | 12371586 | 9449452 | 790 30345 | 0 | 0 820.62/820.92 c 820s | 26 | 12394755 | 9468752 | 790 30393 | 0 | 0 822.63/822.92 c 822s | 26 | 12419002 | 9488452 | 790 30442 | 0 | 0 824.62/824.92 c 824s | 26 | 12444396 | 9508552 | 790 30492 | 0 | 0 826.62/826.93 c 826s | 26 | 12472263 | 9529652 | 790 30544 | 0 | 0 828.62/828.93 c 828s | 26 | 12501138 | 9551352 | 790 30598 | 0 | 0 830.62/830.93 c 830s | 26 | 12532541 | 9573652 | 790 30654 | 0 | 0 832.62/832.94 c 832s | 26 | 12560331 | 9595052 | 790 30707 | 0 | 0 834.63/834.95 c 834s | 26 | 12587137 | 9615952 | 790 30759 | 0 | 0 836.62/836.95 c 836s | 26 | 12613968 | 9636952 | 790 30812 | 0 | 0 838.62/838.95 c 838s | 26 | 12638216 | 9657152 | 790 30862 | 0 | 0 840.62/840.95 c 840s | 26 | 12666627 | 9678552 | 790 30915 | 0 | 0 842.62/842.96 c 842s | 26 | 12693378 | 9699252 | 790 30967 | 0 | 0 844.62/844.96 c 844s | 26 | 12717045 | 9718952 | 790 31016 | 0 | 0 846.62/846.97 c 846s | 26 | 12744861 | 9740252 | 790 31068 | 0 | 0 848.62/848.97 c 848s | 26 | 12771168 | 9761052 | 790 31120 | 0 | 0 850.62/850.98 c 850s | 26 | 12800248 | 9783052 | 790 31175 | 0 | 0 852.61/852.98 c 852s | 26 | 12825672 | 9803552 | 790 31226 | 0 | 0 854.61/854.99 c 854s | 26 | 12852717 | 9825052 | 790 31280 | 0 | 0 856.62/857.00 c 856s | 26 | 12881441 | 9847352 | 790 31335 | 0 | 0 858.71/859.00 c 858s | 26 | 12914579 | 9871352 | 790 31395 | 0 | 0 860.71/861.01 c 860s | 26 | 12944200 | 9893852 | 790 31452 | 0 | 0 862.71/863.02 c 863s | 26 | 12971374 | 9915352 | 790 31505 | 0 | 0 864.71/865.02 c 865s | 26 | 12998667 | 9936552 | 790 31558 | 0 | 0 866.71/867.03 c 867s | 26 | 13028333 | 9958652 | 790 31613 | 0 | 0 868.73/869.04 c 869s | 26 | 13056726 | 9979652 | 790 31665 | 0 | 0 870.72/871.04 c 871s | 26 | 13083320 | 10000452 | 790 31717 | 0 | 0 872.72/873.05 c 873s | 26 | 13114157 | 10023152 | 790 31774 | 0 | 0 874.72/875.05 c 875s | 26 | 13142148 | 10044752 | 790 31828 | 0 | 0 876.72/877.05 c 877s | 26 | 13170864 | 10066752 | 790 31883 | 0 | 0 878.72/879.06 c 879s | 26 | 13200097 | 10088952 | 790 31938 | 0 | 0 880.72/881.07 c 881s | 26 | 13227037 | 10110352 | 790 31991 | 0 | 0 882.71/883.07 c 883s | 26 | 13255580 | 10132352 | 790 32046 | 0 | 0 884.71/885.08 c 885s | 26 | 13282148 | 10153252 | 790 32098 | 0 | 0 886.71/887.08 c 887s | 26 | 13312585 | 10175852 | 790 32155 | 0 | 0 888.71/889.08 c 889s | 26 | 13342558 | 10198352 | 790 32211 | 0 | 0 890.72/891.09 c 891s | 26 | 13373280 | 10221352 | 790 32269 | 0 | 0 892.71/893.09 c 893s | 26 | 13405357 | 10244752 | 790 32327 | 0 | 0 894.81/895.10 c 895s | 26 | 13434565 | 10266752 | 790 32382 | 0 | 0 896.81/897.10 c 897s | 26 | 13464465 | 10288752 | 790 32437 | 0 | 0 898.81/899.11 c 899s | 26 | 13495341 | 10311552 | 790 32494 | 0 | 0 900.81/901.11 c 901s | 26 | 13524097 | 10333652 | 790 32550 | 0 | 0 902.82/903.11 c 903s | 26 | 13553090 | 10356052 | 790 32606 | 0 | 0 904.81/905.12 c 905s | 26 | 13581693 | 10377952 | 790 32661 | 0 | 0 906.81/907.12 c 907s | 26 | 13610324 | 10399652 | 790 32715 | 0 | 0 908.81/909.12 c 909s | 26 | 13638180 | 10421052 | 790 32768 | 0 | 0 910.81/911.13 c 911s | 26 | 13666489 | 10442852 | 790 32822 | 0 | 0 912.81/913.14 c 913s | 26 | 13693697 | 10464252 | 790 32876 | 0 | 0 914.81/915.14 c 915s | 26 | 13719500 | 10484952 | 790 32927 | 0 | 0 916.80/917.14 c 917s | 26 | 13743287 | 10504652 | 790 32976 | 0 | 0 918.80/919.14 c 919s | 26 | 13768970 | 10525052 | 790 33027 | 0 | 0 920.80/921.15 c 921s | 26 | 13796316 | 10545952 | 790 33078 | 0 | 0 922.80/923.15 c 923s | 26 | 13825197 | 10567652 | 790 33132 | 0 | 0 924.81/925.15 c 925s | 26 | 13854917 | 10590152 | 790 33188 | 0 | 0 926.80/927.15 c 927s | 26 | 13884416 | 10612752 | 790 33244 | 0 | 0 928.80/929.15 c 929s | 26 | 13912393 | 10634552 | 790 33299 | 0 | 0 930.80/931.16 c 931s | 26 | 13938419 | 10655552 | 790 33351 | 0 | 0 932.80/933.16 c 933s | 26 | 13967459 | 10677552 | 790 33406 | 0 | 0 934.81/935.17 c 935s | 26 | 13998307 | 10700452 | 790 33463 | 0 | 0 936.80/937.18 c 937s | 26 | 14028380 | 10723252 | 790 33520 | 0 | 0 938.81/939.18 c 939s | 26 | 14056402 | 10745352 | 790 33575 | 0 | 0 940.81/941.19 c 941s | 26 | 14081355 | 10765652 | 790 33625 | 0 | 0 942.80/943.19 c 943s | 26 | 14107404 | 10786252 | 790 33676 | 0 | 0 944.80/945.20 c 945s | 26 | 14134945 | 10808052 | 790 33731 | 0 | 0 946.81/947.20 c 947s | 26 | 14161317 | 10829552 | 790 33784 | 0 | 0 948.90/949.20 c 949s | 26 | 14189053 | 10851552 | 790 33838 | 0 | 0 950.90/951.21 c 951s | 26 | 14221824 | 10875352 | 790 33898 | 0 | 0 952.90/953.21 c 953s | 26 | 14253101 | 10898752 | 790 33957 | 0 | 0 954.90/955.22 c 955s | 26 | 14282703 | 10921352 | 790 34013 | 0 | 0 956.90/957.22 c 957s | 26 | 14308100 | 10942152 | 790 34065 | 0 | 0 958.91/959.22 c 959s | 26 | 14335323 | 10963552 | 790 34118 | 0 | 0 960.90/961.22 c 961s | 26 | 14363057 | 10984952 | 790 34172 | 0 | 0 962.90/963.22 c 963s | 26 | 14392263 | 11007152 | 790 34228 | 0 | 0 964.90/965.23 c 965s | 26 | 14420532 | 11028852 | 790 34282 | 0 | 0 966.90/967.24 c 967s | 26 | 14449586 | 11051352 | 790 34338 | 0 | 0 968.91/969.24 c 969s | 26 | 14482598 | 11074652 | 790 34396 | 0 | 0 970.90/971.24 c 971s | 26 | 14514918 | 11097952 | 790 34454 | 0 | 0 972.90/973.25 c 973s | 26 | 14549039 | 11122052 | 790 34515 | 0 | 0 974.90/975.25 c 975s | 26 | 14581754 | 11145452 | 790 34573 | 0 | 0 976.90/977.25 c 977s | 26 | 14613641 | 11168752 | 790 34632 | 0 | 0 978.90/979.26 c 979s | 26 | 14642393 | 11190952 | 790 34687 | 0 | 0 980.91/981.26 c 981s | 26 | 14673193 | 11214152 | 790 34745 | 0 | 0 982.90/983.27 c 983s | 26 | 14704421 | 11237652 | 790 34804 | 0 | 0 984.90/985.27 c 985s | 26 | 14737755 | 11261452 | 790 34864 | 0 | 0 986.90/987.28 c 987s | 26 | 14767171 | 11283452 | 790 34919 | 0 | 0 988.90/989.29 c 989s | 26 | 14795286 | 11304652 | 790 34971 | 0 | 0 990.90/991.29 c 991s | 26 | 14823568 | 11325752 | 870 35021 | 0 | 0 992.90/993.29 c 993s | 26 | 14851393 | 11346552 | 870 35068 | 0 | 0 994.89/995.30 c 995s | 26 | 14878390 | 11367352 | 870 35115 | 0 | 0 996.99/997.30 c 997s | 26 | 14904909 | 11387952 | 870 35162 | 0 | 0 997.79/998.17 c 998s | 27 | 14916402 | 11396733 | 870 35182 | 0 | 0 999.80/1000.18 c 1000s | 27 | 14946002 | 11419433 | 870 35233 | 0 | 0 1001.81/1002.19 c 1002s | 27 | 14975149 | 11441633 | 870 35283 | 0 | 0 1003.80/1004.19 c 1004s | 27 | 15005805 | 11464533 | 870 35335 | 0 | 0 1005.90/1006.20 c 1006s | 27 | 15035848 | 11486833 | 870 35386 | 0 | 0 1007.90/1008.20 c 1008s | 27 | 15063412 | 11508033 | 870 35433 | 0 | 0 1009.90/1010.20 c 1010s | 27 | 15090506 | 11528933 | 870 35481 | 0 | 0 1011.90/1012.20 c 1012s | 27 | 15118157 | 11550333 | 870 35529 | 0 | 0 1013.90/1014.20 c 1014s | 27 | 15145199 | 11571333 | 870 35577 | 0 | 0 1015.89/1016.21 c 1016s | 27 | 15172879 | 11593033 | 870 35626 | 0 | 0 1017.89/1018.21 c 1018s | 27 | 15201533 | 11614833 | 870 35675 | 0 | 0 1019.89/1020.22 c 1020s | 27 | 15233396 | 11638333 | 870 35729 | 0 | 0 1021.89/1022.23 c 1022s | 27 | 15261739 | 11659933 | 870 35778 | 0 | 0 1023.90/1024.23 c 1024s | 27 | 15286930 | 11680133 | 870 35823 | 0 | 0 1025.89/1026.23 c 1026s | 27 | 15312472 | 11700533 | 870 35869 | 0 | 0 1027.89/1028.23 c 1028s | 27 | 15338140 | 11720833 | 870 35915 | 0 | 0 1029.89/1030.23 c 1030s | 27 | 15362113 | 11740633 | 870 35960 | 0 | 0 1031.89/1032.23 c 1032s | 27 | 15385881 | 11760233 | 870 36004 | 0 | 0 1033.89/1034.24 c 1034s | 27 | 15411670 | 11780633 | 870 36050 | 0 | 0 1035.90/1036.24 c 1036s | 27 | 15438832 | 11801533 | 870 36097 | 0 | 0 1037.89/1038.25 c 1038s | 27 | 15467439 | 11823133 | 870 36146 | 0 | 0 1039.89/1040.25 c 1040s | 27 | 15492278 | 11842733 | 870 36190 | 0 | 0 1041.88/1042.26 c 1042s | 27 | 15517498 | 11862733 | 870 36236 | 0 | 0 1043.88/1044.27 c 1044s | 27 | 15544249 | 11882833 | 870 36281 | 0 | 0 1045.89/1046.27 c 1046s | 27 | 15571312 | 11903533 | 870 36328 | 0 | 0 1047.89/1048.27 c 1048s | 27 | 15598421 | 11924133 | 870 36375 | 0 | 0 1049.89/1050.27 c 1050s | 27 | 15623499 | 11944333 | 870 36420 | 0 | 0 1051.89/1052.27 c 1052s | 27 | 15648863 | 11964533 | 870 36466 | 0 | 0 1053.89/1054.27 c 1054s | 27 | 15674128 | 11984633 | 870 36511 | 0 | 0 1055.89/1056.28 c 1056s | 27 | 15699661 | 12005133 | 870 36558 | 0 | 0 1057.89/1058.29 c 1058s | 27 | 15727408 | 12026433 | 870 36606 | 0 | 0 1059.89/1060.29 c 1060s | 27 | 15754846 | 12047733 | 870 36654 | 0 | 0 1061.98/1062.30 c 1062s | 27 | 15780192 | 12068033 | 870 36700 | 0 | 0 1063.98/1064.30 c 1064s | 27 | 15807595 | 12089333 | 870 36748 | 0 | 0 1065.98/1066.30 c 1066s | 27 | 15835312 | 12110533 | 870 36796 | 0 | 0 1067.98/1068.30 c 1068s | 27 | 15863152 | 12131933 | 870 36845 | 0 | 0 1069.99/1070.31 c 1070s | 27 | 15891353 | 12153333 | 870 36893 | 0 | 0 1071.98/1072.32 c 1072s | 27 | 15918568 | 12174233 | 870 36941 | 0 | 0 1073.98/1074.32 c 1074s | 27 | 15944649 | 12194833 | 870 36987 | 0 | 0 1075.98/1076.32 c 1076s | 27 | 15969451 | 12214933 | 870 37033 | 0 | 0 1077.98/1078.33 c 1078s | 27 | 15995157 | 12235033 | 870 37078 | 0 | 0 1079.99/1080.34 c 1080s | 27 | 16019136 | 12254733 | 870 37122 | 0 | 0 1081.99/1082.34 c 1082s | 27 | 16045174 | 12275133 | 870 37168 | 0 | 0 1083.99/1084.35 c 1084s | 27 | 16071906 | 12296033 | 870 37215 | 0 | 0 1085.99/1086.35 c 1086s | 27 | 16097599 | 12316033 | 870 37260 | 0 | 0 1087.98/1088.35 c 1088s | 27 | 16123063 | 12336233 | 870 37306 | 0 | 0 1089.98/1090.35 c 1090s | 27 | 16151798 | 12357733 | 870 37355 | 0 | 0 1091.99/1092.35 c 1092s | 27 | 16179836 | 12379033 | 870 37403 | 0 | 0 1093.98/1094.36 c 1094s | 27 | 16208692 | 12400933 | 870 37452 | 0 | 0 1095.98/1096.37 c 1096s | 27 | 16235252 | 12421533 | 870 37499 | 0 | 0 1097.98/1098.37 c 1098s | 27 | 16263987 | 12443133 | 870 37548 | 0 | 0 1099.98/1100.38 c 1100s | 27 | 16290862 | 12464033 | 870 37596 | 0 | 0 1101.98/1102.39 c 1102s | 27 | 16315783 | 12483733 | 870 37640 | 0 | 0 1103.98/1104.39 c 1104s | 27 | 16343917 | 12505133 | 870 37689 | 0 | 0 1105.97/1106.39 c 1106s | 27 | 16369516 | 12525333 | 870 37735 | 0 | 0 1107.97/1108.39 c 1108s | 27 | 16394848 | 12545633 | 870 37781 | 0 | 0 1110.08/1110.40 c 1110s | 27 | 16422681 | 12567233 | 870 37830 | 0 | 0 1112.08/1112.40 c 1112s | 27 | 16450877 | 12588433 | 870 37878 | 0 | 0 1114.09/1114.40 c 1114s | 27 | 16477227 | 12609233 | 870 37925 | 0 | 0 1116.08/1116.40 c 1116s | 27 | 16506640 | 12631233 | 870 37975 | 0 | 0 1118.08/1118.41 c 1118s | 27 | 16537173 | 12653533 | 870 38025 | 0 | 0 1120.08/1120.42 c 1120s | 27 | 16565836 | 12675933 | 870 38076 | 0 | 0 1122.08/1122.42 c 1122s | 27 | 16596849 | 12698633 | 870 38128 | 0 | 0 1124.08/1124.43 c 1124s | 27 | 16627226 | 12720933 | 870 38178 | 0 | 0 1126.08/1126.43 c 1126s | 27 | 16656599 | 12742933 | 870 38228 | 0 | 0 1128.08/1128.44 c 1128s | 27 | 16685184 | 12764733 | 870 38278 | 0 | 0 1130.08/1130.44 c 1130s | 27 | 16717157 | 12787633 | 870 38330 | 0 | 0 1132.08/1132.45 c 1132s | 27 | 16747387 | 12810233 | 870 38381 | 0 | 0 1134.08/1134.45 c 1134s | 27 | 16775374 | 12831833 | 870 38430 | 0 | 0 1136.08/1136.46 c 1136s | 27 | 16804016 | 12853533 | 870 38480 | 0 | 0 1138.08/1138.46 c 1138s | 27 | 16833126 | 12875833 | 870 38531 | 0 | 0 1140.07/1140.46 c 1140s | 27 | 16864924 | 12898833 | 870 38583 | 0 | 0 1142.07/1142.47 c 1142s | 27 | 16896040 | 12922033 | 870 38636 | 0 | 0 1144.07/1144.48 c 1144s | 27 | 16926566 | 12944833 | 870 38687 | 0 | 0 1146.07/1146.48 c 1146s | 27 | 16956101 | 12967333 | 870 38739 | 0 | 0 1148.08/1148.49 c 1148s | 27 | 16984731 | 12989533 | 870 38789 | 0 | 0 1150.07/1150.49 c 1150s | 27 | 17013782 | 13011733 | 870 38840 | 0 | 0 1152.07/1152.49 c 1152s | 27 | 17045021 | 13035033 | 870 38893 | 0 | 0 1154.17/1154.50 c 1154s | 27 | 17078580 | 13058933 | 870 38948 | 0 | 0 1156.17/1156.50 c 1156s | 27 | 17111763 | 13082933 | 870 39002 | 0 | 0 1158.17/1158.50 c 1158s | 27 | 17143009 | 13106033 | 870 39055 | 0 | 0 1160.18/1160.51 c 1160s | 27 | 17173489 | 13129033 | 870 39108 | 0 | 0 1162.17/1162.51 c 1162s | 27 | 17204799 | 13152233 | 870 39160 | 0 | 0 1164.17/1164.52 c 1164s | 27 | 17236764 | 13175433 | 870 39214 | 0 | 0 1166.17/1166.52 c 1166s | 27 | 17269455 | 13198333 | 870 39266 | 0 | 0 1168.17/1168.53 c 1168s | 27 | 17301855 | 13221533 | 870 39319 | 0 | 0 1170.17/1170.53 c 1170s | 27 | 17333420 | 13244633 | 870 39371 | 0 | 0 1172.17/1172.54 c 1172s | 27 | 17363187 | 13267033 | 870 39423 | 0 | 0 1174.17/1174.54 c 1174s | 27 | 17392539 | 13289233 | 870 39473 | 0 | 0 1176.17/1176.55 c 1176s | 27 | 17419575 | 13310433 | 870 39522 | 0 | 0 1178.17/1178.55 c 1178s | 27 | 17445883 | 13331333 | 870 39569 | 0 | 0 1180.17/1180.55 c 1180s | 27 | 17474417 | 13353033 | 870 39619 | 0 | 0 1182.18/1182.56 c 1182s | 27 | 17503180 | 13375033 | 870 39669 | 0 | 0 1184.17/1184.56 c 1184s | 27 | 17529775 | 13396033 | 870 39717 | 0 | 0 1186.17/1186.57 c 1186s | 27 | 17556870 | 13417733 | 870 39766 | 0 | 0 1188.17/1188.57 c 1188s | 27 | 17583046 | 13438733 | 870 39814 | 0 | 0 1190.17/1190.58 c 1190s | 27 | 17608668 | 13459633 | 870 39862 | 0 | 0 1192.17/1192.58 c 1192s | 27 | 17636111 | 13481133 | 870 39911 | 0 | 0 1194.17/1194.58 c 1194s | 27 | 17663838 | 13502133 | 870 39959 | 0 | 0 1196.16/1196.59 c 1196s | 27 | 17694007 | 13523833 | 870 40008 | 0 | 0 1198.16/1198.59 c 1198s | 27 | 17725412 | 13546033 | 870 40058 | 0 | 0 1200.26/1200.60 c 1200s | 27 | 17752695 | 13566733 | 870 40105 | 0 | 0 1202.27/1202.60 c 1202s | 27 | 17781808 | 13588433 | 870 40154 | 0 | 0 1204.28/1204.61 c 1204s | 27 | 17805829 | 13607933 | 870 40198 | 0 | 0 1206.27/1206.61 c 1206s | 27 | 17830710 | 13627733 | 870 40243 | 0 | 0 1208.27/1208.61 c 1208s | 27 | 17856769 | 13647633 | 870 40288 | 0 | 0 1210.27/1210.61 c 1210s | 27 | 17884470 | 13668233 | 870 40334 | 0 | 0 1212.27/1212.61 c 1212s | 27 | 17912041 | 13689133 | 870 40382 | 0 | 0 1214.27/1214.61 c 1214s | 27 | 17939384 | 13710433 | 870 40430 | 0 | 0 1216.27/1216.62 c 1216s | 27 | 17965502 | 13730733 | 870 40476 | 0 | 0 1218.26/1218.62 c 1218s | 27 | 17997366 | 13752733 | 870 40526 | 0 | 0 1220.26/1220.63 c 1220s | 27 | 18026304 | 13774033 | 870 40574 | 0 | 0 1222.26/1222.63 c 1222s | 27 | 18055672 | 13796533 | 870 40625 | 0 | 0 1224.26/1224.63 c 1224s | 27 | 18083615 | 13817833 | 870 40674 | 0 | 0 1226.27/1226.63 c 1226s | 27 | 18113646 | 13839733 | 870 40723 | 0 | 0 1228.26/1228.64 c 1228s | 27 | 18142629 | 13861533 | 870 40773 | 0 | 0 1230.26/1230.64 c 1230s | 27 | 18173404 | 13883633 | 870 40823 | 0 | 0 1232.26/1232.65 c 1232s | 27 | 18206781 | 13907033 | 870 40876 | 0 | 0 1234.26/1234.65 c 1234s | 27 | 18237165 | 13929733 | 870 40927 | 0 | 0 1236.26/1236.65 c 1236s | 27 | 18268674 | 13952933 | 870 40980 | 0 | 0 1238.26/1238.66 c 1238s | 27 | 18298653 | 13975033 | 870 41030 | 0 | 0 1240.25/1240.67 c 1240s | 27 | 18324124 | 13995633 | 870 41077 | 0 | 0 1242.25/1242.67 c 1242s | 27 | 18352585 | 14017133 | 870 41125 | 0 | 0 1244.25/1244.67 c 1244s | 27 | 18383272 | 14039633 | 870 41177 | 0 | 0 1246.26/1246.68 c 1246s | 27 | 18411833 | 14061433 | 870 41226 | 0 | 0 1248.27/1248.69 c 1248s | 27 | 18439719 | 14083133 | 870 41276 | 0 | 0 1250.26/1250.69 c 1250s | 27 | 18469972 | 14105133 | 870 41325 | 0 | 0 1252.36/1252.70 c 1252s | 27 | 18497376 | 14126333 | 870 41374 | 0 | 0 1254.36/1254.70 c 1254s | 27 | 18525772 | 14147833 | 870 41422 | 0 | 0 1256.36/1256.70 c 1256s | 27 | 18556439 | 14170133 | 870 41473 | 0 | 0 1258.36/1258.70 c 1258s | 27 | 18586070 | 14192433 | 870 41524 | 0 | 0 1260.37/1260.71 c 1260s | 27 | 18614285 | 14213533 | 870 41572 | 0 | 0 1262.36/1262.72 c 1262s | 27 | 18640777 | 14233933 | 870 41618 | 0 | 0 1264.36/1264.72 c 1264s | 27 | 18667494 | 14254733 | 870 41665 | 0 | 0 1266.36/1266.73 c 1266s | 27 | 18696767 | 14277133 | 870 41716 | 0 | 0 1268.36/1268.74 c 1268s | 27 | 18723299 | 14298033 | 870 41764 | 0 | 0 1270.36/1270.74 c 1270s | 27 | 18750335 | 14319233 | 870 41812 | 0 | 0 1272.36/1272.74 c 1272s | 27 | 18779935 | 14341733 | 870 41863 | 0 | 0 1274.35/1274.75 c 1274s | 27 | 18808401 | 14363733 | 870 41913 | 0 | 0 1276.35/1276.75 c 1276s | 27 | 18836191 | 14385033 | 870 41961 | 0 | 0 1278.35/1278.75 c 1278s | 27 | 18864272 | 14406733 | 870 42010 | 0 | 0 1280.35/1280.76 c 1280s | 27 | 18893716 | 14428933 | 870 42061 | 0 | 0 1282.36/1282.76 c 1282s | 27 | 18923502 | 14451233 | 870 42111 | 0 | 0 1284.35/1284.76 c 1284s | 27 | 18949755 | 14472333 | 870 42159 | 0 | 0 1286.35/1286.76 c 1286s | 27 | 18978183 | 14494233 | 870 42209 | 0 | 0 1288.35/1288.77 c 1288s | 27 | 19007370 | 14516433 | 870 42259 | 0 | 0 1290.35/1290.77 c 1290s | 27 | 19037950 | 14539033 | 870 42311 | 0 | 0 1292.35/1292.77 c 1292s | 27 | 19068372 | 14561433 | 870 42361 | 0 | 0 1294.35/1294.77 c 1294s | 27 | 19096087 | 14582933 | 870 42410 | 0 | 0 1296.35/1296.77 c 1296s | 27 | 19122784 | 14604033 | 870 42458 | 0 | 0 1298.35/1298.77 c 1298s | 27 | 19147671 | 14624033 | 870 42503 | 0 | 0 1300.35/1300.77 c 1300s | 27 | 19172612 | 14644033 | 870 42549 | 0 | 0 1302.35/1302.77 c 1302s | 27 | 19200875 | 14665633 | 870 42597 | 0 | 0 1304.36/1304.78 c 1304s | 27 | 19227612 | 14686633 | 870 42645 | 0 | 0 1306.35/1306.78 c 1306s | 27 | 19255099 | 14707933 | 870 42694 | 0 | 0 1308.35/1308.78 c 1308s | 27 | 19281908 | 14728733 | 870 42741 | 0 | 0 1310.35/1310.79 c 1310s | 27 | 19309027 | 14749833 | 870 42789 | 0 | 0 1312.45/1312.80 c 1312s | 27 | 19336284 | 14771233 | 870 42837 | 0 | 0 1314.45/1314.80 c 1314s | 27 | 19365548 | 14793433 | 870 42888 | 0 | 0 1316.46/1316.81 c 1316s | 27 | 19392710 | 14814533 | 870 42936 | 0 | 0 1318.45/1318.81 c 1318s | 27 | 19418047 | 14835233 | 870 42982 | 0 | 0 1320.45/1320.82 c 1320s | 27 | 19445224 | 14856233 | 870 43030 | 0 | 0 1322.45/1322.83 c 1322s | 27 | 19473264 | 14877533 | 870 43078 | 0 | 0 1324.45/1324.84 c 1324s | 27 | 19502711 | 14899833 | 870 43129 | 0 | 0 1326.44/1326.84 c 1326s | 27 | 19532942 | 14922133 | 870 43179 | 0 | 0 1328.45/1328.84 c 1328s | 27 | 19561921 | 14944333 | 870 43229 | 0 | 0 1330.44/1330.85 c 1330s | 27 | 19590464 | 14966233 | 870 43279 | 0 | 0 1332.44/1332.85 c 1332s | 27 | 19619518 | 14988633 | 870 43330 | 0 | 0 1334.44/1334.86 c 1334s | 27 | 19648465 | 15010833 | 870 43380 | 0 | 0 1336.44/1336.86 c 1336s | 27 | 19680605 | 15034233 | 870 43433 | 0 | 0 1338.45/1338.86 c 1338s | 27 | 19713026 | 15057633 | 870 43487 | 0 | 0 1340.44/1340.87 c 1340s | 27 | 19743449 | 15080733 | 870 43539 | 0 | 0 1342.44/1342.87 c 1342s | 27 | 19773497 | 15103233 | 870 43590 | 0 | 0 1344.45/1344.88 c 1344s | 27 | 19804637 | 15126133 | 870 43642 | 0 | 0 1346.45/1346.88 c 1346s | 27 | 19836214 | 15149233 | 870 43694 | 0 | 0 1348.45/1348.89 c 1348s | 27 | 19863345 | 15170233 | 870 43741 | 0 | 0 1350.45/1350.90 c 1350s | 27 | 19891638 | 15191933 | 870 43790 | 0 | 0 1352.54/1352.91 c 1352s | 27 | 19916980 | 15211633 | 870 43834 | 0 | 0 1354.54/1354.91 c 1354s | 27 | 19944138 | 15232133 | 870 43881 | 0 | 0 1356.54/1356.91 c 1356s | 27 | 19974044 | 15254233 | 870 43931 | 0 | 0 1358.54/1358.92 c 1358s | 27 | 20001913 | 15275733 | 870 43979 | 0 | 0 1360.54/1360.92 c 1360s | 27 | 20034379 | 15298933 | 870 44032 | 0 | 0 1362.55/1362.93 c 1362s | 27 | 20064292 | 15321833 | 870 44083 | 0 | 0 1364.54/1364.94 c 1364s | 27 | 20095028 | 15344633 | 870 44135 | 0 | 0 1366.54/1366.95 c 1366s | 27 | 20120440 | 15365533 | 870 44181 | 1 | 0 1368.54/1368.95 c 1368s | 27 | 20143288 | 15384833 | 870 44224 | 1 | 0 1370.54/1370.95 c 1370s | 27 | 20164090 | 15402733 | 870 44264 | 1 | 0 1372.55/1372.96 c 1372s | 27 | 20188554 | 15422633 | 870 44309 | 1 | 0 1374.54/1374.96 c 1374s | 27 | 20214245 | 15443033 | 870 44355 | 1 | 0 1376.54/1376.96 c 1376s | 27 | 20238332 | 15462733 | 870 44399 | 1 | 0 1378.54/1378.97 c 1378s | 27 | 20265686 | 15484033 | 870 44447 | 1 | 0 1380.54/1380.97 c 1380s | 27 | 20292360 | 15505233 | 870 44495 | 1 | 0 1382.54/1382.98 c 1382s | 27 | 20315319 | 15524333 | 870 44538 | 1 | 0 1384.54/1384.98 c 1384s | 27 | 20339053 | 15544033 | 870 44582 | 1 | 0 1386.54/1386.98 c 1386s | 27 | 20361071 | 15562433 | 870 44624 | 1 | 0 1388.54/1388.99 c 1388s | 27 | 20385489 | 15581933 | 870 44667 | 1 | 0 1390.64/1391.00 c 1390s | 27 | 20409071 | 15601233 | 870 44711 | 1 | 0 1392.64/1393.00 c 1392s | 27 | 20432274 | 15620333 | 870 44754 | 1 | 0 1394.63/1395.01 c 1394s | 27 | 20455309 | 15639833 | 870 44797 | 1 | 0 1396.64/1397.01 c 1397s | 27 | 20478759 | 15659433 | 870 44842 | 1 | 0 1398.63/1399.02 c 1399s | 27 | 20502911 | 15678733 | 870 44885 | 1 | 0 1400.63/1401.02 c 1401s | 27 | 20530495 | 15699733 | 870 44933 | 1 | 0 1402.63/1403.02 c 1403s | 27 | 20558366 | 15721333 | 870 44982 | 1 | 0 1404.63/1405.02 c 1405s | 27 | 20585323 | 15742133 | 870 45029 | 1 | 0 1406.64/1407.03 c 1407s | 27 | 20611300 | 15762633 | 870 45075 | 1 | 0 1408.63/1409.03 c 1409s | 27 | 20637518 | 15783333 | 870 45122 | 1 | 0 1410.63/1411.04 c 1411s | 27 | 20663460 | 15803533 | 870 45168 | 1 | 0 1412.64/1413.05 c 1413s | 27 | 20686809 | 15822933 | 870 45212 | 1 | 0 1414.64/1415.06 c 1415s | 27 | 20712022 | 15843133 | 870 45257 | 1 | 0 1416.64/1417.06 c 1417s | 27 | 20739293 | 15864033 | 870 45305 | 1 | 0 1418.64/1419.07 c 1419s | 27 | 20762140 | 15883033 | 870 45348 | 1 | 0 1420.64/1421.07 c 1421s | 27 | 20787053 | 15903033 | 870 45393 | 1 | 0 1422.64/1423.07 c 1423s | 27 | 20811927 | 15923133 | 870 45439 | 1 | 0 1424.64/1425.08 c 1425s | 27 | 20839156 | 15944233 | 870 45487 | 1 | 0 1426.63/1427.08 c 1427s | 27 | 20864717 | 15964333 | 870 45532 | 1 | 0 1428.64/1429.09 c 1429s | 27 | 20891171 | 15985333 | 870 45580 | 1 | 0 1430.63/1431.09 c 1431s | 27 | 20918793 | 16006533 | 870 45628 | 1 | 0 1432.73/1433.10 c 1433s | 27 | 20943862 | 16027033 | 870 45674 | 1 | 0 1434.73/1435.10 c 1435s | 27 | 20968656 | 16047133 | 870 45720 | 1 | 0 1436.73/1437.11 c 1437s | 27 | 20993197 | 16066933 | 870 45764 | 1 | 0 1438.73/1439.11 c 1439s | 27 | 21020651 | 16087933 | 870 45812 | 1 | 0 1440.74/1441.12 c 1441s | 27 | 21046576 | 16108433 | 870 45858 | 1 | 0 1442.73/1443.13 c 1443s | 27 | 21069327 | 16127433 | 870 45901 | 1 | 0 1444.73/1445.14 c 1445s | 27 | 21091146 | 16145833 | 870 45942 | 1 | 0 1446.73/1447.15 c 1447s | 27 | 21117512 | 16166333 | 870 45988 | 1 | 0 1448.73/1449.15 c 1449s | 27 | 21145466 | 16187433 | 870 46036 | 1 | 0 1450.72/1451.16 c 1451s | 27 | 21172812 | 16208133 | 870 46083 | 1 | 0 1452.73/1453.17 c 1453s | 27 | 21199357 | 16228833 | 870 46130 | 1 | 0 1454.72/1455.17 c 1455s | 27 | 21227631 | 16250433 | 870 46178 | 1 | 0 1456.72/1457.17 c 1457s | 27 | 21256076 | 16272033 | 870 46228 | 1 | 0 1458.72/1459.17 c 1459s | 27 | 21281070 | 16292033 | 870 46273 | 1 | 0 1460.72/1461.18 c 1461s | 27 | 21308442 | 16313033 | 870 46321 | 1 | 0 1462.74/1463.19 c 1463s | 27 | 21334688 | 16333933 | 870 46368 | 1 | 0 1464.73/1465.19 c 1465s | 27 | 21359261 | 16353233 | 870 46411 | 1 | 0 1466.73/1467.19 c 1467s | 27 | 21385420 | 16373533 | 870 46457 | 1 | 0 1468.83/1469.20 c 1469s | 27 | 21412985 | 16394633 | 870 46505 | 1 | 0 1470.83/1471.20 c 1471s | 27 | 21442868 | 16417033 | 870 46555 | 1 | 0 1472.83/1473.21 c 1473s | 27 | 21471220 | 16438433 | 870 46604 | 1 | 0 1474.83/1475.21 c 1475s | 27 | 21497676 | 16459233 | 870 46651 | 1 | 0 1476.83/1477.22 c 1477s | 27 | 21524699 | 16480233 | 870 46698 | 1 | 0 1478.83/1479.22 c 1479s | 27 | 21546775 | 16498633 | 870 46740 | 1 | 0 1480.82/1481.23 c 1481s | 27 | 21572435 | 16519033 | 870 46786 | 1 | 0 1482.82/1483.23 c 1483s | 27 | 21597168 | 16539033 | 870 46831 | 1 | 0 1484.82/1485.23 c 1485s | 27 | 21622617 | 16559133 | 870 46877 | 1 | 0 1486.83/1487.24 c 1487s | 27 | 21648868 | 16579733 | 870 46923 | 1 | 0 1488.82/1489.24 c 1489s | 27 | 21675505 | 16600433 | 870 46970 | 1 | 0 1490.82/1491.25 c 1491s | 27 | 21703781 | 16622033 | 870 47019 | 1 | 0 1492.82/1493.26 c 1493s | 27 | 21733505 | 16644833 | 870 47071 | 1 | 0 1494.82/1495.26 c 1495s | 27 | 21762835 | 16667133 | 870 47122 | 1 | 0 1496.83/1497.27 c 1497s | 27 | 21793001 | 16689533 | 870 47173 | 1 | 0 1498.82/1499.27 c 1499s | 27 | 21822560 | 16711633 | 870 47224 | 1 | 0 1500.82/1501.27 c 1501s | 27 | 21852768 | 16733633 | 870 47274 | 1 | 0 1502.82/1503.28 c 1503s | 27 | 21881996 | 16755733 | 870 47324 | 1 | 0 1504.82/1505.29 c 1505s | 27 | 21908532 | 16776933 | 870 47372 | 1 | 0 1506.82/1507.29 c 1507s | 27 | 21936383 | 16798633 | 870 47422 | 1 | 0 1508.82/1509.30 c 1509s | 27 | 21964517 | 16820233 | 870 47471 | 1 | 0 1510.92/1511.30 c 1511s | 27 | 21991308 | 16841233 | 870 47518 | 1 | 0 1512.92/1513.30 c 1513s | 27 | 22019984 | 16862733 | 870 47567 | 1 | 0 1514.92/1515.31 c 1515s | 27 | 22046619 | 16883733 | 870 47614 | 1 | 0 1516.92/1517.31 c 1517s | 27 | 22073846 | 16905133 | 870 47663 | 1 | 0 1518.92/1519.32 c 1519s | 27 | 22098734 | 16925033 | 870 47708 | 1 | 0 1520.93/1521.32 c 1521s | 27 | 22125144 | 16945333 | 870 47753 | 1 | 0 1522.92/1523.32 c 1523s | 27 | 22151097 | 16966033 | 870 47800 | 1 | 0 1524.92/1525.33 c 1525s | 27 | 22176581 | 16986033 | 958 47842 | 1 | 0 1526.92/1527.34 c 1527s | 27 | 22204680 | 17007233 | 958 47886 | 1 | 0 1528.92/1529.34 c 1529s | 27 | 22231416 | 17027533 | 958 47928 | 1 | 0 1530.92/1531.35 c 1531s | 27 | 22260750 | 17048733 | 958 47971 | 1 | 0 1532.91/1533.36 c 1533s | 27 | 22289941 | 17070233 | 958 48016 | 1 | 0 1534.91/1535.37 c 1535s | 27 | 22317196 | 17091133 | 958 48059 | 1 | 0 1535.32/1535.73 c 1535s | 28 | 22322766 | 17095205 | 958 48067 | 1 | 0 1537.31/1537.74 c 1537s | 28 | 22349662 | 17115805 | 958 48109 | 1 | 0 1539.31/1539.74 c 1539s | 28 | 22377165 | 17136405 | 958 48152 | 1 | 0 1541.31/1541.75 c 1541s | 28 | 22405046 | 17157605 | 958 48195 | 1 | 0 1543.31/1543.75 c 1543s | 28 | 22432802 | 17178805 | 958 48239 | 1 | 0 1545.31/1545.75 c 1545s | 28 | 22464063 | 17201705 | 958 48286 | 1 | 0 1547.32/1547.76 c 1547s | 28 | 22494549 | 17224305 | 958 48332 | 1 | 0 1549.31/1549.76 c 1549s | 28 | 22522357 | 17245805 | 958 48377 | 1 | 0 1551.31/1551.76 c 1551s | 28 | 22550443 | 17267305 | 958 48421 | 1 | 0 1553.31/1553.76 c 1553s | 28 | 22577969 | 17288505 | 958 48465 | 1 | 0 1555.32/1555.77 c 1555s | 28 | 22606047 | 17309905 | 958 48509 | 1 | 0 1557.32/1557.77 c 1557s | 28 | 22631892 | 17330305 | 958 48551 | 1 | 0 1559.31/1559.78 c 1559s | 28 | 22655743 | 17349805 | 958 48591 | 1 | 0 1561.31/1561.78 c 1561s | 28 | 22680457 | 17369605 | 958 48632 | 1 | 0 1563.31/1563.79 c 1563s | 28 | 22700825 | 17387405 | 958 48669 | 1 | 0 1565.31/1565.79 c 1565s | 28 | 22725723 | 17407205 | 958 48710 | 1 | 0 1567.41/1567.80 c 1567s | 28 | 22751287 | 17427505 | 958 48751 | 1 | 0 1569.42/1569.81 c 1569s | 28 | 22778680 | 17448805 | 958 48795 | 1 | 0 1571.41/1571.81 c 1571s | 28 | 22806520 | 17469905 | 958 48839 | 1 | 0 1573.41/1573.82 c 1573s | 28 | 22832466 | 17490205 | 958 48880 | 1 | 0 1575.41/1575.82 c 1575s | 28 | 22856024 | 17509305 | 958 48920 | 1 | 0 1577.41/1577.83 c 1577s | 28 | 22880131 | 17528405 | 958 48959 | 1 | 0 1579.41/1579.83 c 1579s | 28 | 22904106 | 17547805 | 958 48999 | 1 | 0 1581.41/1581.84 c 1581s | 28 | 22928812 | 17567705 | 958 49039 | 1 | 0 1583.41/1583.85 c 1583s | 28 | 22954166 | 17587605 | 958 49080 | 1 | 0 1585.40/1585.85 c 1585s | 28 | 22978197 | 17606905 | 958 49120 | 1 | 0 1587.40/1587.86 c 1587s | 28 | 23002991 | 17626305 | 958 49160 | 1 | 0 1589.40/1589.87 c 1589s | 28 | 23027567 | 17646105 | 958 49201 | 1 | 0 1591.41/1591.88 c 1591s | 28 | 23051819 | 17665705 | 958 49242 | 1 | 0 1593.40/1593.89 c 1593s | 28 | 23076801 | 17685605 | 958 49282 | 1 | 0 1595.40/1595.90 c 1595s | 28 | 23102172 | 17705805 | 958 49324 | 1 | 0 1597.50/1597.90 c 1597s | 28 | 23127780 | 17726205 | 958 49366 | 1 | 0 1599.50/1599.90 c 1599s | 28 | 23158788 | 17748805 | 958 49413 | 1 | 0 1601.50/1601.90 c 1601s | 28 | 23188964 | 17771305 | 958 49460 | 1 | 0 1603.42/1603.90 c 1603s | 28 | 23217488 | 17793105 | 958 49505 | 1 | 0 1605.51/1605.91 c 1605s | 28 | 23243737 | 17813805 | 958 49548 | 1 | 0 1607.51/1607.92 c 1607s | 28 | 23269082 | 17833605 | 958 49588 | 1 | 0 1609.51/1609.93 c 1609s | 28 | 23295944 | 17854105 | 958 49630 | 1 | 0 1611.51/1611.93 c 1611s | 28 | 23323464 | 17874805 | 958 49673 | 1 | 0 1613.50/1613.93 c 1613s | 28 | 23348864 | 17895105 | 958 49715 | 1 | 0 1615.51/1615.94 c 1615s | 28 | 23373879 | 17915205 | 958 49756 | 1 | 0 1617.50/1617.94 c 1617s | 28 | 23399515 | 17936005 | 958 49799 | 1 | 0 1619.50/1619.95 c 1619s | 28 | 23428873 | 17958105 | 958 49845 | 1 | 0 1621.50/1621.96 c 1621s | 28 | 23457430 | 17979405 | 958 49888 | 1 | 0 1623.50/1623.97 c 1623s | 28 | 23484368 | 18000305 | 958 49932 | 1 | 0 1625.51/1625.97 c 1625s | 28 | 23510089 | 18020505 | 958 49973 | 1 | 0 1627.50/1627.97 c 1627s | 28 | 23536551 | 18041305 | 958 50016 | 1 | 0 1629.50/1629.98 c 1629s | 28 | 23566937 | 18063605 | 958 50062 | 1 | 0 1631.50/1631.99 c 1631s | 28 | 23593158 | 18084505 | 958 50105 | 1 | 0 1633.50/1633.99 c 1633s | 28 | 23621621 | 18105705 | 958 50149 | 1 | 0 1635.60/1636.00 c 1635s | 28 | 23648570 | 18126205 | 958 50191 | 1 | 0 1637.60/1638.00 c 1637s | 28 | 23675507 | 18146905 | 958 50234 | 1 | 0 1639.60/1640.01 c 1639s | 28 | 23705607 | 18168605 | 958 50279 | 1 | 0 1641.60/1642.01 c 1641s | 28 | 23732930 | 18189505 | 958 50322 | 1 | 0 1643.60/1644.02 c 1644s | 28 | 23759057 | 18210005 | 958 50364 | 1 | 0 1645.59/1646.02 c 1646s | 28 | 23783258 | 18229405 | 958 50404 | 1 | 0 1647.59/1648.03 c 1648s | 28 | 23809750 | 18250205 | 958 50447 | 1 | 0 1649.61/1650.03 c 1650s | 28 | 23838228 | 18271705 | 958 50491 | 1 | 0 1651.60/1652.04 c 1652s | 28 | 23864148 | 18292005 | 958 50533 | 1 | 0 1653.60/1654.05 c 1654s | 28 | 23890647 | 18312705 | 958 50576 | 1 | 0 1655.60/1656.05 c 1656s | 28 | 23916946 | 18333605 | 958 50619 | 1 | 0 1657.60/1658.05 c 1658s | 28 | 23942217 | 18353305 | 958 50659 | 1 | 0 1659.60/1660.06 c 1660s | 28 | 23968045 | 18373305 | 958 50700 | 1 | 0 1661.60/1662.06 c 1662s | 28 | 23993785 | 18393105 | 958 50741 | 1 | 0 1663.60/1664.06 c 1664s | 28 | 24020012 | 18413205 | 958 50782 | 1 | 0 1665.59/1666.07 c 1666s | 28 | 24049347 | 18434305 | 958 50826 | 1 | 0 1667.59/1668.07 c 1668s | 28 | 24077654 | 18455605 | 958 50869 | 1 | 0 1669.59/1670.08 c 1670s | 28 | 24107228 | 18477605 | 958 50915 | 1 | 0 1671.60/1672.08 c 1672s | 28 | 24136622 | 18499405 | 958 50960 | 1 | 0 1673.59/1674.08 c 1674s | 28 | 24163203 | 18519905 | 958 51002 | 1 | 0 1675.59/1676.08 c 1676s | 28 | 24190948 | 18540705 | 958 51045 | 1 | 0 1677.59/1678.08 c 1678s | 28 | 24218778 | 18562105 | 958 51089 | 1 | 0 1679.59/1680.09 c 1680s | 28 | 24248658 | 18584305 | 958 51135 | 1 | 0 1681.60/1682.09 c 1682s | 28 | 24277651 | 18606105 | 958 51179 | 1 | 0 1683.59/1684.10 c 1684s | 28 | 24307375 | 18628005 | 958 51225 | 1 | 0 1685.69/1686.11 c 1686s | 28 | 24333204 | 18648005 | 958 51266 | 1 | 0 1687.70/1688.11 c 1688s | 28 | 24357192 | 18667405 | 958 51305 | 1 | 0 1689.70/1690.11 c 1690s | 28 | 24383735 | 18687605 | 958 51347 | 1 | 0 1691.69/1692.12 c 1692s | 28 | 24410290 | 18707905 | 958 51389 | 1 | 0 1693.70/1694.13 c 1694s | 28 | 24436287 | 18727805 | 958 51430 | 1 | 0 1695.69/1696.13 c 1696s | 28 | 24462463 | 18748005 | 958 51471 | 1 | 0 1697.69/1698.14 c 1698s | 28 | 24489642 | 18769005 | 958 51515 | 1 | 0 1699.69/1700.14 c 1700s | 28 | 24515881 | 18789005 | 958 51556 | 1 | 0 1701.69/1702.15 c 1702s | 28 | 24541359 | 18808705 | 958 51596 | 1 | 0 1703.69/1704.16 c 1704s | 28 | 24566240 | 18828305 | 958 51636 | 2 | 0 1705.70/1706.16 c 1706s | 28 | 24593400 | 18849105 | 958 51679 | 2 | 0 1707.69/1708.17 c 1708s | 28 | 24623185 | 18870605 | 958 51723 | 2 | 0 1709.69/1710.17 c 1710s | 28 | 24653891 | 18892605 | 958 51768 | 2 | 0 1711.69/1712.18 c 1712s | 28 | 24684772 | 18915005 | 958 51815 | 2 | 0 1713.69/1714.19 c 1714s | 28 | 24712718 | 18936405 | 958 51859 | 2 | 0 1715.79/1716.20 c 1716s | 28 | 24738081 | 18956705 | 958 51900 | 2 | 0 1717.79/1718.20 c 1718s | 28 | 24764324 | 18977105 | 958 51942 | 2 | 0 1719.79/1720.21 c 1720s | 28 | 24791926 | 18998205 | 958 51986 | 2 | 0 1721.79/1722.21 c 1722s | 28 | 24822588 | 19020305 | 958 52031 | 2 | 0 1723.79/1724.22 c 1724s | 28 | 24852543 | 19042105 | 958 52076 | 2 | 0 1725.78/1726.23 c 1726s | 28 | 24882947 | 19064605 | 958 52123 | 2 | 0 1727.79/1728.23 c 1728s | 28 | 24910450 | 19085905 | 958 52167 | 2 | 0 1729.78/1730.23 c 1730s | 28 | 24935694 | 19106405 | 958 52209 | 2 | 0 1731.78/1732.24 c 1732s | 28 | 24963161 | 19127405 | 958 52252 | 2 | 0 1733.78/1734.25 c 1734s | 28 | 24991272 | 19148605 | 958 52296 | 2 | 0 1735.78/1736.25 c 1736s | 28 | 25015220 | 19168205 | 958 52336 | 2 | 0 1737.78/1738.26 c 1738s | 28 | 25042717 | 19189405 | 958 52380 | 2 | 0 1739.79/1740.26 c 1740s | 28 | 25068837 | 19209705 | 958 52422 | 2 | 0 1741.78/1742.26 c 1742s | 28 | 25093286 | 19229505 | 958 52463 | 2 | 0 1743.78/1744.27 c 1744s | 28 | 25117486 | 19249005 | 958 52503 | 2 | 0 1745.78/1746.27 c 1746s | 28 | 25145889 | 19270505 | 958 52547 | 2 | 0 1747.78/1748.28 c 1748s | 28 | 25176357 | 19292505 | 958 52592 | 2 | 0 1749.79/1750.28 c 1750s | 28 | 25207323 | 19315105 | 958 52639 | 2 | 0 1751.78/1752.29 c 1752s | 28 | 25238534 | 19337805 | 958 52685 | 2 | 0 1753.89/1754.30 c 1754s | 28 | 25267044 | 19359305 | 958 52729 | 2 | 0 1755.89/1756.30 c 1756s | 28 | 25294481 | 19380605 | 958 52773 | 2 | 0 1757.88/1758.31 c 1758s | 28 | 25321016 | 19401405 | 958 52816 | 2 | 0 1759.88/1760.32 c 1760s | 28 | 25349749 | 19423205 | 958 52860 | 3 | 0 1761.89/1762.32 c 1762s | 28 | 25374112 | 19442705 | 958 52900 | 3 | 0 1763.88/1764.32 c 1764s | 28 | 25405013 | 19464705 | 958 52945 | 3 | 0 1765.88/1766.33 c 1766s | 28 | 25431386 | 19484905 | 958 52986 | 3 | 0 1767.88/1768.33 c 1768s | 28 | 25459795 | 19506205 | 958 53030 | 3 | 0 1769.88/1770.34 c 1770s | 28 | 25490585 | 19528405 | 958 53076 | 3 | 0 1771.88/1772.34 c 1772s | 28 | 25513934 | 19547405 | 958 53115 | 3 | 0 1773.89/1774.35 c 1774s | 28 | 25533188 | 19564205 | 958 53149 | 3 | 0 1775.88/1776.36 c 1776s | 28 | 25553455 | 19581605 | 958 53184 | 3 | 0 1777.88/1778.36 c 1778s | 28 | 25573345 | 19598805 | 958 53220 | 3 | 0 1779.88/1780.37 c 1780s | 28 | 25597804 | 19618105 | 958 53259 | 3 | 0 1781.88/1782.37 c 1782s | 28 | 25621943 | 19637205 | 958 53298 | 3 | 0 1783.88/1784.38 c 1784s | 28 | 25644984 | 19656205 | 958 53337 | 3 | 0 1785.88/1786.38 c 1786s | 28 | 25669740 | 19675905 | 958 53378 | 3 | 0 1787.88/1788.39 c 1788s | 28 | 25693030 | 19695005 | 958 53417 | 3 | 0 1789.88/1790.39 c 1790s | 28 | 25716280 | 19714105 | 958 53457 | 3 | 0 1791.97/1792.40 c 1792s | 28 | 25740577 | 19733905 | 958 53497 | 3 | 0 1793.97/1794.40 c 1794s | 28 | 25762057 | 19752405 | 958 53535 | 3 | 0 1795.98/1796.41 c 1796s | 28 | 25786873 | 19772305 | 958 53576 | 3 | 0 1797.97/1798.42 c 1798s | 28 | 25812845 | 19792605 | 958 53617 | 3 | 0 1799.97/1800.42 c 1800s | 28 | 25838734 | 19812905 | 958 53659 | 3 | 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-4120850-1467312424/watcher-4120850-1467312424 -o /tmp/evaluation-result-4120850-1467312424/solver-4120850-1467312424 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467309401-22697 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120850-1467312424.opb pid=23654 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.39 2.30 2.20 3/179 23657 /proc/meminfo: memFree=27240572/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=652732 CPUtime=0 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 2419 0 0 0 0 0 0 0 20 0 4 0 12193555 668397568 3292 33554432000 4194304 16246674 140736708007648 140736708007072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 163695 3302 441 2943 0 160589 0 [pid=23657/tid=23658] ppid=23654 vsize=670140 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 686223360 3362 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=674236 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 690417664 3379 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=679356 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 695660544 3396 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100168 s] /proc/loadavg: 2.39 2.30 2.20 3/179 23657 /proc/meminfo: memFree=27240572/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 24828 0 0 0 5 4 0 0 20 0 4 0 12193555 1247350784 25690 33554432000 4194304 16246674 140736708007648 140736708007072 5669490 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 304529 25698 709 2943 0 301423 0 [pid=23657/tid=23658] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 25703 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 25710 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 25718 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200494 s] /proc/loadavg: 2.39 2.30 2.20 3/179 23657 /proc/meminfo: memFree=27240572/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 47693 0 0 0 12 7 0 0 20 0 4 0 12193555 1247350784 48554 33554432000 4194304 16246674 140736708007648 140736707989568 5828874 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 304529 48563 709 2943 0 301423 0 [pid=23657/tid=23658] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 48571 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 48579 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 48585 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300473 s] /proc/loadavg: 2.39 2.30 2.20 3/179 23657 /proc/meminfo: memFree=27240572/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 70633 0 0 0 17 12 0 0 20 0 4 0 12193555 1247350784 71494 33554432000 4194304 16246674 140736708007648 140736707989568 5708022 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 304529 71506 709 2943 0 301423 0 [pid=23657/tid=23658] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 71513 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 71523 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 71529 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700395 s] /proc/loadavg: 2.39 2.30 2.20 3/179 23657 /proc/meminfo: memFree=27240572/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 161843 0 0 0 45 23 0 0 20 0 4 0 12193555 1247350784 162705 33554432000 4194304 16246674 140736708007648 140736707989568 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 304529 162716 709 2943 0 301423 0 [pid=23657/tid=23658] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 162722 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 162730 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 162736 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50039 s] /proc/loadavg: 2.39 2.30 2.20 3/183 23661 /proc/meminfo: memFree=26256952/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1218116 CPUtime=1.48 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 245470 0 0 0 112 36 0 0 20 0 4 0 12193555 1247350784 246311 33554432000 4194304 16246674 140736708007648 140736707990648 6836165 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 304529 246311 784 2943 0 301423 0 [pid=23657/tid=23658] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 246311 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 246311 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 246311 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1218116 [startup+3.10041 s] /proc/loadavg: 2.39 2.30 2.20 3/183 23661 /proc/meminfo: memFree=26168160/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1306180 CPUtime=3.08 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267394 0 0 0 269 39 0 0 20 0 4 0 12193555 1337528320 268235 33554432000 4194304 16246674 140736708007648 140736707989568 8224811 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326545 268235 784 2943 0 323439 0 [pid=23657/tid=23658] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268235 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268235 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268235 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.36 2.29 2.20 4/183 23661 /proc/meminfo: memFree=26168672/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1306180 CPUtime=6.28 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267399 0 0 0 589 39 0 0 20 0 4 0 12193555 1337528320 268240 33554432000 4194304 16246674 140736708007648 140736707990648 5822592 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326545 268240 784 2943 0 323439 0 [pid=23657/tid=23658] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268240 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268240 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268240 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.41 2.31 2.21 3/183 23661 /proc/meminfo: memFree=26169028/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1306180 CPUtime=12.69 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267402 0 0 0 1229 40 0 0 20 0 4 0 12193555 1337528320 268243 33554432000 4194304 16246674 140736708007648 140736707989568 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326545 268243 784 2943 0 323439 0 [pid=23657/tid=23658] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268243 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268243 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268243 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.40 2.31 2.21 4/183 23661 /proc/meminfo: memFree=26169208/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1306180 CPUtime=25.48 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267421 0 0 0 2508 40 0 0 20 0 4 0 12193555 1337528320 268262 33554432000 4194304 16246674 140736708007648 140736707990648 5667556 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326545 268262 784 2943 0 323439 0 [pid=23657/tid=23658] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268262 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268262 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268262 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.32 2.30 2.20 4/183 23661 /proc/meminfo: memFree=26168812/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1306180 CPUtime=51.08 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267429 0 0 0 5067 41 0 0 20 0 4 0 12193555 1337528320 268271 33554432000 4194304 16246674 140736708007648 140736707989568 13906976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326545 268271 786 2943 0 323439 0 [pid=23657/tid=23658] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268271 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268271 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268271 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.3 s] /proc/loadavg: 2.41 2.33 2.22 4/183 23662 /proc/meminfo: memFree=26168484/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1306180 CPUtime=102.26 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267450 0 0 0 10184 42 0 0 20 0 4 0 12193555 1337528320 268277 33554432000 4194304 16246674 140736708007648 140736707989568 5516736 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326545 268277 787 2943 0 323439 0 [pid=23657/tid=23658] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268277 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268277 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268277 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1307204 [startup+1362.3 s] /proc/loadavg: 2.38 2.32 2.28 3/183 23961 /proc/meminfo: memFree=26163512/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1307204 CPUtime=1361.94 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267865 0 0 0 136122 72 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140736707990648 5823271 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326801 268437 789 2943 0 323695 0 [pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1307204 [startup+1422.3 s] /proc/loadavg: 2.32 2.30 2.27 3/184 23965 /proc/meminfo: memFree=26164208/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1307204 CPUtime=1421.94 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267865 0 0 0 142121 73 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140736707990648 5523513 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326801 268437 789 2943 0 323695 0 [pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1307204 [startup+1482.3 s] /proc/loadavg: 2.23 2.28 2.27 3/183 23966 /proc/meminfo: memFree=26163980/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1307204 CPUtime=1481.92 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267865 0 0 0 148118 74 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140736707990648 5677164 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326801 268437 789 2943 0 323695 0 [pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1307204 [startup+1542.31 s] /proc/loadavg: 2.38 2.31 2.28 3/183 23967 /proc/meminfo: memFree=26164028/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1307204 CPUtime=1541.92 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267930 0 0 0 154117 75 0 0 20 0 4 0 12193555 1338576896 268502 33554432000 4194304 16246674 140736708007648 140736707989568 5661428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326801 268502 789 2943 0 323695 0 [pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268502 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268502 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268502 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1307204 [startup+1602.3 s] /proc/loadavg: 2.37 2.32 2.28 3/183 23968 /proc/meminfo: memFree=26163920/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1307204 CPUtime=1601.91 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267958 0 0 0 160114 77 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140736707990648 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326801 268530 789 2943 0 323695 0 [pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1307204 [startup+1662.3 s] /proc/loadavg: 2.37 2.32 2.28 3/183 23970 /proc/meminfo: memFree=26163428/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1307204 CPUtime=1661.9 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267958 0 0 0 166112 78 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140736707989568 12875392 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326801 268530 789 2943 0 323695 0 [pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 1307204 [startup+1722.3 s] /proc/loadavg: 2.42 2.33 2.28 3/183 23971 /proc/meminfo: memFree=26163444/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1307204 CPUtime=1721.89 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267958 0 0 0 172110 79 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140736707990648 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326801 268530 789 2943 0 323695 0 [pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1307204 [startup+1782.3 s] /proc/loadavg: 2.43 2.35 2.28 4/183 23972 /proc/meminfo: memFree=26163080/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1307204 CPUtime=1781.88 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267958 0 0 0 178108 80 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140736707990648 13928272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326801 268530 789 2943 0 323695 0 [pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 1307204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.31 2.33 2.28 3/183 23972 /proc/meminfo: memFree=26163324/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1307204 CPUtime=1800.07 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267958 0 0 0 179927 80 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140736707989568 6009987 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326801 268530 789 2943 0 323695 0 [pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1307204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 23657 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.31 2.33 2.28 3/183 23972 /proc/meminfo: memFree=26163324/32872528 swapFree=1459604/1655828 [pid=23657] ppid=23654 vsize=1307204 CPUtime=1800.07 cores=0,2,4,6 /proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267958 0 0 0 179927 80 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140736707989568 6009987 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23657/statm: 326801 268530 789 2943 0 323695 0 [pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1307204 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.09 CPU user time (s): 1799.28 CPU system time (s): 0.806877 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 1307204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.806877 maximum resident set size= 1074120 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 267958 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 288 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.66229 second user time and 6.90795 second system time The end
Begin job on node136 at 2016-06-30 20:47:04 IDJOB=4120850 IDBENCH=110160 IDSOLVER=2542 FILE ID=node136/4120850-1467312424 RUNJOBID= node136-1467309401-22697 PBS_JOBID= 20005289 Free space on /tmp= 71632 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-23.cnf.gz-extracted.pb.metafix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120850-1467312424/watcher-4120850-1467312424 -o /tmp/evaluation-result-4120850-1467312424/solver-4120850-1467312424 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467309401-22697 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120850-1467312424.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 969b3984a3fd48c2c26e12fbd87dc505 RANDOM SEED=1306827538 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 : 2666.182 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 : 5332.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27241472 kB Buffers: 193700 kB Cached: 1930824 kB SwapCached: 0 kB Active: 1485820 kB Inactive: 1739456 kB Active(anon): 1103304 kB Inactive(anon): 0 kB Active(file): 382516 kB Inactive(file): 1739456 kB Unevictable: 1655828 kB Mlocked: 1459604 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16320 kB Writeback: 0 kB AnonPages: 2830500 kB Mapped: 17136 kB Shmem: 204 kB Slab: 614968 kB SReclaimable: 59124 kB SUnreclaim: 555844 kB KernelStack: 1520 kB PageTables: 9440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2891696 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1355776 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= 71612 MiB End job on node136 at 2016-06-30 21:17:04