| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.11 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_2.opb |
| MD5SUM | 25ec3c4431eaa97f8c8dfc7dcac7b55c |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 51 |
| Total number of constraints | 13 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 1 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1293 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3879 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T14:12:45+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-4105577-1466251965.opb"] 0.00/0.01 c use --random-gen="1788355139 3694368837 4049987837 1937810140 879887620 2781073088 1491928446 39303529 3040143023 3959768560 1600141454 1896917561 404773965 1110693022 2981253164 80474748 4076942995 541375665 479653999 3598956108 3705339398 1509791065 975403756 2707116455 3916956159 639881848 136376546 1236890628 2583286667 15963353 2853090183 314469772 1848064090 2380363910 306644998 2731926118 15596905 1339621539 2714255131 1460133726 762687497 4232134015 3821272865 1668277836 1625901177 2661655236 1485591426 2986280815 1255296753 3552852666 4229679600 870042395 3916228760 2236682690 3147591369 2285550938 4077652749 3359036164 2125672238 3859231987 1806429603 2586539094 1899557844 615588963 268887567 646412938 3762709055 1020242552 1199433897 3736047758 359335239 2341975651 2682239951 4002261212 2162825936 1510564546 854961285 356891525 2276579115 4256628030 4133209990 3326659782 995523968 1181404309 578681516 1335645332 2130781782 1195040278 4134008124 2636262274 3841131803 3572914613 2041995064 2632093590 3415627470 377350195 1173446694 2855627676 818235412 1352675957 3796473666 1102900635 2992787269 3076663871 462300856 1804959124 122780326 2858627902 1456523423 491171625 3100936214 1400558306 129247478 3231440173 964394356 416395472 3877012352 2586507037 3792873156 1426099482 2680299807 1550244269 2105893724 2513583569 2815361674 3491733694 1338431819 3941347623 1842715461 3824162975 215372504 3966126478 1089540834 3188615612 1822109575 70964724 2236390356 1728378770 2001816616 2911627800 2553041998 2444138943 2199392235 3587173630 3625438365 2000533724 4055591094 176053219 1791261912 3103804904 1423059504 3371381400 957362804 4236620137 1484949359 2997536093 497113390 1177806459 2276470958 3456177995 2828631425 2910766829 4218553633 1734072916 676974409 4160673563 2764490447 1984684496 489347204 1872983541 2607313429 912166918 507398815 2938225265 888300529 2362510800 3247306800 3833830164 2233902383 686909089 2606276339 2209434658 1529795748 2840382048 4092253356 161908469 4131477023 1593087222 736865917 3808795676 3098789094 44558089 101728803 555717000 2010028639 4240552315 2620132112 4108605555 997097351 2755973756 2291997401 1326645223 3312868364 878740429 1276683526 4161515653 2675250857 3308334681 2666252184 2601600761 2744672307 1340398554 1742889906 3538250929 2550344863 2238784453 2214535883 2441220908 735261558 1789219942 3242848189 1225442912 1847914790 274644369 2194295612 3412323853 2498164981 2207431208 169312857 963055668 4069688268 1467141429 3391139754 1014834306 1675100633 3149598881 2145862526 2042063747 3605455765 2544426905 3409929953 1107112686 1271225251 2855405444 3695034963 1721237583 2054749242 419167291 1768374070 2570336213 794062488 3246372338 374101740 1343690055 2579341651 2553253214 255 362436" option to reproduce the execution 0.00/0.01 c #vars 51 0.00/0.01 c #constraints 13 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 21 0 | 1 | 0 0.00/0.03 c 0.0s | 1 | 129 | 100 | 21 3 | 1 | 0 0.00/0.06 c 0.0s | 2 | 308 | 250 | 24 8 | 1 | 0 0.00/0.09 c 0.1s | 3 | 568 | 475 | 27 17 | 1 | 0 0.08/0.15 c 0.1s | 4 | 932 | 813 | 30 30 | 1 | 0 0.19/0.24 c 0.2s | 5 | 1459 | 1320 | 33 46 | 1 | 0 0.29/0.37 c 0.4s | 6 | 2251 | 2081 | 41 71 | 1 | 0 0.48/0.56 c 0.5s | 7 | 3422 | 3223 | 46 107 | 1 | 0 0.68/0.84 c 0.8s | 8 | 5181 | 4936 | 51 156 | 1 | 0 1.19/1.28 c 1.3s | 9 | 7818 | 7506 | 57 226 | 1 | 0 1.68/1.77 c 1.8s | 10 | 11788 | 11361 | 63 325 | 1 | 0 2.29/2.38 c 2.4s | 11 | 17682 | 17144 | 70 465 | 1 | 0 3.29/3.32 c 3.3s | 12 | 26592 | 25819 | 77 660 | 1 | 0 4.60/4.68 c 4.7s | 13 | 39835 | 38832 | 85 930 | 1 | 0 6.59/6.68 c 6.7s | 13 | 58698 | 57432 | 85 1291 | 1 | 0 6.69/6.78 c 6.8s | 14 | 59638 | 58352 | 94 1309 | 1 | 0 8.69/8.79 c 8.8s | 14 | 78047 | 76452 | 94 1632 | 1 | 0 9.99/10.02 c 10.0s | 15 | 89314 | 87632 | 104 1833 | 1 | 0 11.99/12.03 c 12.0s | 15 | 107939 | 106032 | 104 2138 | 1 | 0 13.99/14.03 c 14.0s | 15 | 127067 | 124832 | 104 2450 | 1 | 0 14.68/14.77 c 14.8s | 16 | 133868 | 131552 | 115 2560 | 1 | 0 16.69/16.78 c 16.8s | 16 | 153603 | 150952 | 115 2850 | 1 | 0 18.68/18.78 c 18.8s | 16 | 173044 | 170152 | 115 3146 | 1 | 0 20.68/20.78 c 20.8s | 16 | 192303 | 189152 | 115 3437 | 1 | 0 21.58/21.66 c 21.6s | 17 | 200709 | 197432 | 127 3565 | 1 | 0 23.58/23.66 c 23.6s | 17 | 219688 | 216132 | 127 3829 | 1 | 0 25.58/25.67 c 25.7s | 17 | 238948 | 235132 | 127 4097 | 1 | 0 27.59/27.68 c 27.7s | 17 | 257967 | 253832 | 127 4360 | 1 | 0 29.58/29.69 c 29.7s | 17 | 277175 | 272832 | 127 4629 | 1 | 0 31.58/31.69 c 31.7s | 17 | 296006 | 291532 | 127 4897 | 1 | 0 32.08/32.19 c 32.2s | 18 | 300756 | 296252 | 140 4964 | 1 | 0 34.08/34.19 c 34.2s | 18 | 319536 | 314752 | 140 5197 | 1 | 0 36.18/36.20 c 36.2s | 18 | 338717 | 333652 | 140 5439 | 1 | 0 38.18/38.20 c 38.2s | 18 | 357570 | 352252 | 140 5676 | 1 | 0 40.18/40.21 c 40.2s | 18 | 376754 | 371152 | 140 5921 | 1 | 0 42.18/42.22 c 42.2s | 18 | 395393 | 389652 | 140 6152 | 1 | 0 44.19/44.23 c 44.2s | 18 | 414562 | 408652 | 140 6392 | 1 | 0 46.18/46.24 c 46.2s | 18 | 433301 | 427252 | 140 6629 | 1 | 0 48.08/48.14 c 48.1s | 19 | 450729 | 444482 | 154 6843 | 1 | 0 50.08/50.14 c 50.1s | 19 | 468354 | 461882 | 154 7047 | 1 | 0 52.08/52.15 c 52.1s | 19 | 486576 | 479882 | 154 7259 | 1 | 0 54.09/54.15 c 54.1s | 19 | 504884 | 497982 | 154 7471 | 1 | 0 56.08/56.15 c 56.1s | 19 | 523177 | 516082 | 154 7690 | 1 | 0 58.08/58.16 c 58.1s | 19 | 541442 | 534082 | 154 7904 | 1 | 0 60.08/60.17 c 60.2s | 19 | 559571 | 551982 | 154 8114 | 1 | 0 62.08/62.17 c 62.2s | 19 | 577475 | 569682 | 154 8324 | 1 | 0 64.07/64.18 c 64.2s | 19 | 595374 | 587382 | 154 8534 | 1 | 0 66.08/66.18 c 66.2s | 19 | 613596 | 605482 | 154 8752 | 1 | 0 68.07/68.18 c 68.2s | 19 | 632234 | 623882 | 154 8972 | 1 | 0 70.07/70.18 c 70.2s | 19 | 651126 | 642582 | 154 9192 | 1 | 0 72.08/72.19 c 72.2s | 19 | 669957 | 661182 | 154 9415 | 1 | 0 72.78/72.83 c 72.8s | 20 | 675656 | 666827 | 170 9477 | 1 | 0 74.78/74.83 c 74.8s | 20 | 693294 | 684227 | 170 9663 | 1 | 0 76.78/76.83 c 76.8s | 20 | 711100 | 701827 | 170 9855 | 1 | 0 78.78/78.84 c 78.8s | 20 | 729343 | 719827 | 170 10050 | 1 | 0 80.78/80.84 c 80.8s | 20 | 748023 | 738227 | 170 10253 | 1 | 0 82.78/82.85 c 82.8s | 20 | 765939 | 755827 | 170 10441 | 1 | 0 84.78/84.85 c 84.8s | 20 | 784369 | 773927 | 170 10637 | 1 | 0 86.77/86.86 c 86.8s | 20 | 803175 | 792427 | 170 10838 | 1 | 0 88.77/88.86 c 88.8s | 20 | 821870 | 810827 | 170 11042 | 1 | 0 90.77/90.87 c 90.9s | 20 | 839998 | 828727 | 170 11237 | 1 | 0 92.77/92.87 c 92.9s | 20 | 858713 | 847227 | 170 11441 | 1 | 0 94.78/94.88 c 94.9s | 20 | 876776 | 865127 | 170 11636 | 1 | 0 96.76/96.88 c 96.9s | 20 | 895367 | 883527 | 170 11837 | 1 | 0 98.76/98.89 c 98.9s | 20 | 913777 | 901727 | 170 12035 | 1 | 0 100.76/100.90 c 100s | 20 | 932219 | 920027 | 170 12234 | 1 | 0 102.86/102.90 c 102s | 20 | 950878 | 938527 | 170 12438 | 1 | 0 104.86/104.90 c 104s | 20 | 968716 | 956227 | 170 12633 | 1 | 0 106.86/106.91 c 106s | 20 | 987161 | 974527 | 170 12837 | 1 | 0 108.86/108.92 c 108s | 20 | 1005307 | 992527 | 170 13037 | 1 | 0 109.76/109.81 c 109s | 21 | 1013211 | 1000345 | 188 13116 | 1 | 0 111.75/111.82 c 111s | 21 | 1031574 | 1018145 | 188 13289 | 1 | 0 113.75/113.83 c 113s | 21 | 1049021 | 1035345 | 188 13457 | 1 | 0 115.76/115.84 c 115s | 21 | 1066986 | 1053145 | 188 13630 | 1 | 0 117.77/117.84 c 117s | 21 | 1084704 | 1070645 | 188 13802 | 1 | 0 119.76/119.84 c 119s | 21 | 1102786 | 1088545 | 188 13980 | 1 | 0 121.76/121.85 c 121s | 21 | 1120586 | 1106045 | 188 14152 | 1 | 0 123.76/123.85 c 123s | 21 | 1138162 | 1123345 | 188 14321 | 1 | 0 125.76/125.86 c 125s | 21 | 1157065 | 1141845 | 188 14504 | 1 | 0 127.76/127.86 c 127s | 21 | 1176037 | 1160445 | 188 14689 | 1 | 0 129.75/129.86 c 129s | 21 | 1194940 | 1179045 | 188 14875 | 1 | 0 131.75/131.87 c 131s | 21 | 1213609 | 1197345 | 188 15056 | 1 | 0 133.75/133.88 c 133s | 21 | 1232068 | 1215445 | 188 15234 | 1 | 0 135.75/135.88 c 135s | 21 | 1251081 | 1234045 | 188 15419 | 1 | 0 137.75/137.89 c 137s | 21 | 1270506 | 1253045 | 188 15611 | 1 | 0 139.76/139.89 c 139s | 21 | 1288378 | 1270745 | 188 15786 | 1 | 0 141.75/141.90 c 141s | 21 | 1306951 | 1289145 | 188 15965 | 1 | 0 143.85/143.90 c 143s | 21 | 1325238 | 1307245 | 188 16145 | 1 | 0 145.84/145.90 c 145s | 21 | 1343887 | 1325645 | 188 16328 | 1 | 0 147.84/147.91 c 147s | 21 | 1362493 | 1344045 | 188 16511 | 1 | 0 149.84/149.92 c 149s | 21 | 1381804 | 1363045 | 188 16702 | 1 | 0 151.85/151.92 c 151s | 21 | 1400462 | 1381445 | 188 16886 | 1 | 0 153.84/153.92 c 153s | 21 | 1418785 | 1399645 | 188 17070 | 1 | 0 155.84/155.92 c 155s | 21 | 1436978 | 1417645 | 188 17253 | 1 | 0 157.84/157.92 c 157s | 21 | 1455499 | 1435945 | 188 17436 | 1 | 0 159.84/159.93 c 159s | 21 | 1474089 | 1454345 | 188 17619 | 1 | 0 161.85/161.94 c 161s | 21 | 1492371 | 1472445 | 188 17802 | 1 | 0 163.84/163.95 c 163s | 21 | 1509987 | 1489845 | 188 17974 | 1 | 0 165.05/165.19 c 165s | 22 | 1520862 | 1500622 | 207 18071 | 1 | 0 167.04/167.19 c 167s | 22 | 1538859 | 1518222 | 207 18229 | 1 | 0 169.15/169.20 c 169s | 22 | 1556898 | 1536022 | 207 18387 | 1 | 0 171.15/171.20 c 171s | 22 | 1574901 | 1553822 | 207 18549 | 1 | 0 173.14/173.21 c 173s | 22 | 1592255 | 1570922 | 207 18702 | 1 | 0 175.14/175.22 c 175s | 22 | 1609960 | 1588322 | 207 18859 | 1 | 0 177.15/177.22 c 177s | 22 | 1628220 | 1606322 | 207 19023 | 1 | 0 179.14/179.23 c 179s | 22 | 1646271 | 1624122 | 207 19185 | 1 | 0 181.14/181.23 c 181s | 22 | 1664952 | 1642522 | 207 19352 | 1 | 0 183.14/183.23 c 183s | 22 | 1683224 | 1660522 | 207 19515 | 1 | 0 185.14/185.24 c 185s | 22 | 1701584 | 1678622 | 207 19682 | 1 | 0 187.15/187.25 c 187s | 22 | 1720586 | 1697322 | 207 19854 | 1 | 0 189.14/189.26 c 189s | 22 | 1739535 | 1715922 | 207 20025 | 1 | 0 191.14/191.26 c 191s | 22 | 1758834 | 1734922 | 207 20202 | 1 | 0 193.13/193.27 c 193s | 22 | 1778501 | 1754122 | 207 20373 | 1 | 0 195.14/195.28 c 195s | 22 | 1797600 | 1772822 | 207 20540 | 1 | 0 197.14/197.29 c 197s | 22 | 1816293 | 1791222 | 207 20706 | 1 | 0 199.15/199.30 c 199s | 22 | 1835268 | 1809822 | 207 20874 | 1 | 0 201.24/201.31 c 201s | 22 | 1853970 | 1828222 | 207 21041 | 1 | 0 203.24/203.31 c 203s | 22 | 1872898 | 1846822 | 207 21213 | 1 | 0 205.24/205.32 c 205s | 22 | 1892109 | 1865722 | 207 21382 | 1 | 0 207.23/207.33 c 207s | 22 | 1910177 | 1883522 | 207 21542 | 1 | 0 209.23/209.33 c 209s | 22 | 1928609 | 1901722 | 207 21707 | 1 | 0 211.24/211.34 c 211s | 22 | 1947367 | 1920222 | 207 21876 | 1 | 0 213.23/213.34 c 213s | 22 | 1966068 | 1938622 | 207 22043 | 1 | 0 215.23/215.35 c 215s | 22 | 1984959 | 1957222 | 207 22215 | 1 | 0 217.23/217.36 c 217s | 22 | 2003138 | 1975122 | 207 22377 | 1 | 0 219.23/219.36 c 219s | 22 | 2021286 | 1993022 | 207 22541 | 1 | 0 221.24/221.36 c 221s | 22 | 2039569 | 2011022 | 207 22705 | 1 | 0 223.23/223.37 c 223s | 22 | 2058757 | 2029922 | 207 22877 | 1 | 0 225.23/225.38 c 225s | 22 | 2078209 | 2049022 | 207 23054 | 1 | 0 227.22/227.38 c 227s | 22 | 2097445 | 2067822 | 207 23226 | 1 | 0 229.22/229.38 c 229s | 22 | 2117116 | 2087122 | 207 23403 | 1 | 0 231.22/231.39 c 231s | 22 | 2136120 | 2105822 | 207 23575 | 1 | 0 233.23/233.40 c 233s | 22 | 2155690 | 2125022 | 207 23751 | 1 | 0 235.32/235.40 c 235s | 22 | 2174775 | 2143822 | 207 23924 | 1 | 0 237.32/237.41 c 237s | 22 | 2194454 | 2163122 | 207 24104 | 1 | 0 239.32/239.42 c 239s | 22 | 2213926 | 2182322 | 207 24283 | 1 | 0 241.32/241.42 c 241s | 22 | 2233298 | 2201422 | 207 24461 | 1 | 0 243.33/243.42 c 243s | 22 | 2252532 | 2220422 | 207 24639 | 1 | 0 245.33/245.43 c 245s | 22 | 2270399 | 2238022 | 228 24796 | 1 | 0 246.82/246.92 c 246s | 23 | 2283556 | 2251038 | 228 24903 | 1 | 0 248.82/248.93 c 248s | 23 | 2301033 | 2268238 | 228 25044 | 1 | 0 250.83/250.94 c 250s | 23 | 2319049 | 2286038 | 228 25190 | 1 | 0 252.82/252.95 c 252s | 23 | 2336618 | 2303438 | 228 25332 | 1 | 0 254.82/254.95 c 254s | 23 | 2354260 | 2320838 | 228 25475 | 1 | 0 256.82/256.96 c 256s | 23 | 2371746 | 2338138 | 228 25619 | 1 | 0 258.82/258.96 c 258s | 23 | 2390069 | 2356238 | 228 25768 | 1 | 0 260.82/260.97 c 260s | 23 | 2408634 | 2374638 | 228 25919 | 1 | 0 262.82/262.98 c 262s | 23 | 2427322 | 2393138 | 228 26073 | 1 | 0 264.82/264.99 c 264s | 23 | 2445806 | 2411438 | 228 26225 | 1 | 0 266.91/267.00 c 266s | 23 | 2463830 | 2429238 | 228 26372 | 1 | 0 268.91/269.00 c 268s | 23 | 2482186 | 2447338 | 228 26523 | 1 | 0 270.91/271.01 c 270s | 23 | 2500753 | 2465638 | 228 26676 | 1 | 0 272.92/273.01 c 272s | 23 | 2518438 | 2483138 | 228 26823 | 1 | 0 274.91/275.01 c 274s | 23 | 2536068 | 2500538 | 228 26967 | 1 | 0 276.90/277.02 c 277s | 23 | 2553940 | 2518238 | 228 27114 | 1 | 0 278.90/279.04 c 279s | 23 | 2571747 | 2535838 | 228 27260 | 1 | 0 280.90/281.04 c 281s | 23 | 2589761 | 2553638 | 228 27409 | 1 | 0 282.91/283.05 c 283s | 23 | 2608010 | 2571638 | 228 27559 | 1 | 0 284.92/285.06 c 285s | 23 | 2626175 | 2589538 | 228 27710 | 1 | 0 286.91/287.06 c 287s | 23 | 2644381 | 2607538 | 228 27862 | 1 | 0 288.91/289.07 c 289s | 23 | 2662193 | 2625138 | 228 28010 | 1 | 0 290.91/291.08 c 291s | 23 | 2680146 | 2642838 | 228 28159 | 1 | 0 292.91/293.08 c 293s | 23 | 2698127 | 2660538 | 228 28307 | 1 | 0 294.91/295.08 c 295s | 23 | 2716811 | 2678938 | 228 28462 | 1 | 0 296.90/297.08 c 297s | 23 | 2735694 | 2697538 | 228 28620 | 1 | 0 298.90/299.09 c 299s | 23 | 2754408 | 2715938 | 228 28770 | 1 | 0 301.00/301.10 c 301s | 23 | 2772560 | 2733838 | 228 28915 | 1 | 0 303.00/303.11 c 303s | 23 | 2790641 | 2751738 | 228 29059 | 1 | 0 305.00/305.12 c 305s | 23 | 2809214 | 2770038 | 228 29207 | 1 | 0 307.00/307.12 c 307s | 23 | 2826953 | 2787538 | 228 29350 | 1 | 0 309.00/309.13 c 309s | 23 | 2844682 | 2805038 | 228 29494 | 1 | 0 311.00/311.14 c 311s | 23 | 2862497 | 2822638 | 228 29638 | 1 | 0 313.00/313.14 c 313s | 23 | 2880812 | 2840638 | 228 29786 | 1 | 0 315.00/315.14 c 315s | 23 | 2898819 | 2858338 | 228 29931 | 1 | 0 316.99/317.14 c 317s | 23 | 2916961 | 2876238 | 228 30075 | 1 | 0 319.00/319.14 c 319s | 23 | 2934393 | 2893538 | 228 30215 | 1 | 0 320.99/321.15 c 321s | 23 | 2951740 | 2910738 | 228 30356 | 1 | 0 322.99/323.16 c 323s | 23 | 2968988 | 2927838 | 228 30496 | 1 | 0 324.99/325.17 c 325s | 23 | 2986664 | 2945338 | 228 30640 | 1 | 0 326.99/327.18 c 327s | 23 | 3004507 | 2962938 | 228 30786 | 1 | 0 329.00/329.19 c 329s | 23 | 3022005 | 2980238 | 228 30929 | 1 | 0 330.99/331.19 c 331s | 23 | 3040017 | 2997938 | 228 31075 | 1 | 0 333.00/333.19 c 333s | 23 | 3057923 | 3015538 | 228 31220 | 1 | 0 335.10/335.20 c 335s | 23 | 3076157 | 3033538 | 228 31370 | 1 | 0 337.10/337.20 c 337s | 23 | 3093754 | 3050938 | 228 31514 | 1 | 0 339.10/339.21 c 339s | 23 | 3111633 | 3068638 | 228 31660 | 1 | 0 341.10/341.21 c 341s | 23 | 3129274 | 3086138 | 228 31804 | 1 | 0 343.10/343.21 c 343s | 23 | 3147553 | 3104138 | 228 31954 | 1 | 0 345.10/345.22 c 345s | 23 | 3165773 | 3122138 | 228 32105 | 1 | 0 347.09/347.23 c 347s | 23 | 3183575 | 3139738 | 228 32252 | 1 | 0 349.09/349.23 c 349s | 23 | 3201512 | 3157438 | 228 32400 | 1 | 0 351.09/351.23 c 351s | 23 | 3219285 | 3174938 | 228 32545 | 1 | 0 353.09/353.24 c 353s | 23 | 3237386 | 3192738 | 228 32693 | 1 | 0 355.09/355.25 c 355s | 23 | 3255124 | 3210238 | 228 32838 | 1 | 0 357.09/357.25 c 357s | 23 | 3273132 | 3228038 | 228 32986 | 1 | 0 359.09/359.25 c 359s | 23 | 3290935 | 3245538 | 228 33131 | 1 | 0 361.09/361.25 c 361s | 23 | 3308662 | 3263038 | 228 33277 | 1 | 0 363.09/363.26 c 363s | 23 | 3326811 | 3280938 | 228 33427 | 1 | 0 365.08/365.26 c 365s | 23 | 3345150 | 3299038 | 228 33577 | 1 | 0 367.08/367.26 c 367s | 23 | 3363308 | 3316938 | 228 33727 | 1 | 0 369.08/369.27 c 369s | 23 | 3381449 | 3334838 | 228 33878 | 1 | 0 371.08/371.27 c 371s | 23 | 3399405 | 3352538 | 251 34027 | 1 | 0 373.08/373.28 c 373s | 23 | 3416973 | 3369838 | 251 34157 | 1 | 0 373.88/374.05 c 374s | 24 | 3423935 | 3376662 | 251 34209 | 1 | 0 375.88/376.05 c 376s | 24 | 3441877 | 3394262 | 251 34340 | 1 | 0 377.88/378.06 c 378s | 24 | 3459228 | 3411362 | 251 34467 | 1 | 0 379.88/380.06 c 380s | 24 | 3476436 | 3428362 | 251 34594 | 1 | 0 381.88/382.07 c 382s | 24 | 3493979 | 3445662 | 251 34724 | 1 | 0 383.88/384.08 c 384s | 24 | 3510948 | 3462462 | 251 34851 | 1 | 0 385.87/386.08 c 386s | 24 | 3528378 | 3479662 | 251 34982 | 1 | 0 387.87/388.09 c 388s | 24 | 3545626 | 3496662 | 251 35110 | 1 | 0 389.97/390.10 c 390s | 24 | 3563094 | 3513962 | 251 35241 | 1 | 0 391.97/392.10 c 392s | 24 | 3580405 | 3531062 | 251 35371 | 1 | 0 393.97/394.11 c 394s | 24 | 3598002 | 3548362 | 251 35502 | 1 | 0 395.98/396.11 c 396s | 24 | 3615498 | 3565662 | 251 35634 | 1 | 0 397.97/398.12 c 398s | 24 | 3633377 | 3583362 | 251 35769 | 1 | 0 399.97/400.13 c 400s | 24 | 3651577 | 3601262 | 251 35907 | 1 | 0 401.97/402.13 c 402s | 24 | 3668644 | 3618162 | 251 36035 | 1 | 0 403.97/404.14 c 404s | 24 | 3686174 | 3635462 | 251 36167 | 1 | 0 405.98/406.14 c 406s | 24 | 3703803 | 3652862 | 251 36299 | 1 | 0 407.96/408.15 c 408s | 24 | 3721316 | 3670162 | 251 36431 | 1 | 0 409.96/410.15 c 410s | 24 | 3738790 | 3687462 | 251 36564 | 1 | 0 411.96/412.15 c 412s | 24 | 3756712 | 3705162 | 251 36700 | 1 | 0 413.97/414.16 c 414s | 24 | 3774257 | 3722462 | 251 36833 | 1 | 0 415.97/416.16 c 416s | 24 | 3792012 | 3739962 | 251 36966 | 1 | 0 417.97/418.16 c 418s | 24 | 3810016 | 3757762 | 251 37103 | 1 | 0 419.97/420.17 c 420s | 24 | 3827554 | 3775062 | 251 37235 | 1 | 0 421.96/422.18 c 422s | 24 | 3844991 | 3792262 | 251 37366 | 1 | 0 423.96/424.18 c 424s | 24 | 3862745 | 3809862 | 251 37501 | 1 | 0 425.96/426.19 c 426s | 24 | 3880276 | 3827162 | 251 37634 | 1 | 0 427.97/428.20 c 428s | 24 | 3898525 | 3845162 | 251 37774 | 1 | 0 429.96/430.20 c 430s | 24 | 3916373 | 3862762 | 251 37910 | 1 | 0 432.06/432.20 c 432s | 24 | 3934184 | 3880362 | 251 38045 | 1 | 0 434.06/434.21 c 434s | 24 | 3952188 | 3898162 | 251 38183 | 1 | 0 436.06/436.22 c 436s | 24 | 3969550 | 3915262 | 251 38313 | 1 | 0 438.06/438.22 c 438s | 24 | 3986908 | 3932362 | 251 38440 | 1 | 0 440.07/440.23 c 440s | 24 | 4003926 | 3949162 | 251 38567 | 1 | 0 442.06/442.23 c 442s | 24 | 4020806 | 3965762 | 251 38692 | 1 | 0 444.06/444.24 c 444s | 24 | 4038372 | 3983062 | 251 38822 | 1 | 0 446.06/446.24 c 446s | 24 | 4055689 | 4000162 | 251 38950 | 1 | 0 448.06/448.25 c 448s | 24 | 4073102 | 4017362 | 251 39081 | 1 | 0 450.06/450.26 c 450s | 24 | 4090803 | 4034762 | 251 39213 | 1 | 0 452.07/452.26 c 452s | 24 | 4108395 | 4052162 | 251 39346 | 1 | 0 454.06/454.27 c 454s | 24 | 4126229 | 4069762 | 251 39481 | 1 | 0 456.06/456.27 c 456s | 24 | 4143302 | 4086662 | 251 39610 | 1 | 0 458.05/458.29 c 458s | 24 | 4159790 | 4102962 | 251 39734 | 1 | 0 460.05/460.29 c 460s | 24 | 4176904 | 4119762 | 251 39860 | 1 | 0 462.06/462.29 c 462s | 24 | 4193858 | 4136362 | 251 39986 | 1 | 0 464.05/464.30 c 464s | 24 | 4211410 | 4153662 | 251 40118 | 1 | 0 466.15/466.30 c 466s | 24 | 4228892 | 4170862 | 251 40248 | 1 | 0 468.15/468.31 c 468s | 24 | 4246305 | 4187962 | 251 40379 | 1 | 0 470.15/470.32 c 470s | 24 | 4263872 | 4205262 | 251 40511 | 1 | 0 472.15/472.32 c 472s | 24 | 4280829 | 4221962 | 251 40637 | 1 | 0 474.15/474.33 c 474s | 24 | 4297776 | 4238662 | 251 40763 | 1 | 0 476.15/476.33 c 476s | 24 | 4315566 | 4256162 | 251 40896 | 1 | 0 478.14/478.34 c 478s | 24 | 4333775 | 4274062 | 251 41033 | 1 | 0 480.14/480.34 c 480s | 24 | 4351107 | 4291162 | 251 41163 | 1 | 0 482.14/482.35 c 482s | 24 | 4368367 | 4308162 | 251 41292 | 1 | 0 484.14/484.35 c 484s | 24 | 4385342 | 4324962 | 251 41420 | 1 | 0 486.15/486.37 c 486s | 24 | 4402968 | 4342362 | 251 41553 | 1 | 0 488.15/488.38 c 488s | 24 | 4420486 | 4359662 | 251 41684 | 1 | 0 490.15/490.39 c 490s | 24 | 4438256 | 4377162 | 251 41818 | 1 | 0 492.15/492.39 c 492s | 24 | 4455693 | 4394362 | 251 41950 | 1 | 0 494.24/494.40 c 494s | 24 | 4473067 | 4411562 | 251 42083 | 1 | 0 496.24/496.40 c 496s | 24 | 4490792 | 4429062 | 251 42219 | 1 | 0 498.25/498.41 c 498s | 24 | 4507965 | 4445962 | 251 42347 | 1 | 0 500.24/500.41 c 500s | 24 | 4525079 | 4462862 | 251 42476 | 1 | 0 502.24/502.42 c 502s | 24 | 4542696 | 4480262 | 251 42611 | 1 | 0 504.24/504.42 c 504s | 24 | 4560623 | 4497962 | 251 42749 | 1 | 0 506.24/506.42 c 506s | 24 | 4577585 | 4514662 | 251 42875 | 1 | 0 508.24/508.43 c 508s | 24 | 4595161 | 4531962 | 251 43004 | 1 | 0 510.23/510.43 c 510s | 24 | 4612459 | 4548962 | 251 43133 | 1 | 0 512.23/512.44 c 512s | 24 | 4629519 | 4565762 | 251 43261 | 1 | 0 514.23/514.45 c 514s | 24 | 4646972 | 4582962 | 251 43390 | 1 | 0 516.23/516.45 c 516s | 24 | 4663772 | 4599562 | 251 43516 | 1 | 0 518.23/518.46 c 518s | 24 | 4680839 | 4616362 | 251 43643 | 1 | 0 520.23/520.47 c 520s | 24 | 4698363 | 4633662 | 251 43775 | 1 | 0 522.22/522.48 c 522s | 24 | 4715324 | 4650462 | 251 43903 | 1 | 0 524.22/524.49 c 524s | 24 | 4732884 | 4667762 | 251 44035 | 1 | 0 526.32/526.50 c 526s | 24 | 4750708 | 4685262 | 251 44170 | 1 | 0 528.32/528.51 c 528s | 24 | 4768884 | 4703162 | 251 44306 | 1 | 0 530.32/530.51 c 530s | 24 | 4786492 | 4720562 | 251 44435 | 1 | 0 532.34/532.52 c 532s | 24 | 4804174 | 4737962 | 251 44566 | 1 | 0 534.33/534.52 c 534s | 24 | 4821346 | 4754862 | 251 44694 | 1 | 0 536.33/536.52 c 536s | 24 | 4838223 | 4771462 | 251 44819 | 1 | 0 538.32/538.53 c 538s | 24 | 4855461 | 4788462 | 251 44949 | 1 | 0 540.32/540.53 c 540s | 24 | 4872551 | 4805262 | 251 45076 | 1 | 0 542.33/542.54 c 542s | 24 | 4889456 | 4821962 | 251 45203 | 1 | 0 544.32/544.55 c 544s | 24 | 4906994 | 4839162 | 251 45333 | 1 | 0 546.32/546.56 c 546s | 24 | 4924199 | 4856062 | 251 45462 | 1 | 0 548.31/548.57 c 548s | 24 | 4941046 | 4872662 | 251 45589 | 1 | 0 550.31/550.58 c 550s | 24 | 4958385 | 4889662 | 251 45717 | 1 | 0 552.31/552.58 c 552s | 24 | 4975538 | 4906562 | 251 45844 | 1 | 0 554.32/554.59 c 554s | 24 | 4992795 | 4923562 | 251 45973 | 1 | 0 556.41/556.60 c 556s | 24 | 5009770 | 4940262 | 251 46101 | 1 | 0 558.41/558.61 c 558s | 24 | 5026737 | 4956962 | 251 46228 | 1 | 0 560.41/560.61 c 560s | 24 | 5043592 | 4973562 | 251 46355 | 1 | 0 562.41/562.62 c 562s | 24 | 5060006 | 4989762 | 251 46477 | 1 | 0 564.41/564.62 c 564s | 24 | 5076681 | 5006262 | 251 46603 | 1 | 0 566.41/566.63 c 566s | 24 | 5093563 | 5022962 | 251 46730 | 1 | 0 568.41/568.64 c 568s | 24 | 5110150 | 5039362 | 277 46847 | 1 | 0 570.41/570.65 c 570s | 24 | 5126816 | 5055862 | 277 46961 | 1 | 0 571.60/571.81 c 571s | 25 | 5136120 | 5065098 | 277 47025 | 1 | 0 573.61/573.82 c 573s | 25 | 5152807 | 5081598 | 277 47138 | 1 | 0 575.61/575.82 c 575s | 25 | 5168957 | 5097598 | 277 47249 | 1 | 0 577.61/577.82 c 577s | 25 | 5185565 | 5113998 | 277 47363 | 1 | 0 579.61/579.82 c 579s | 25 | 5202556 | 5130798 | 277 47480 | 1 | 0 581.60/581.82 c 581s | 25 | 5219743 | 5147798 | 277 47599 | 1 | 0 583.60/583.82 c 583s | 25 | 5237050 | 5164898 | 277 47719 | 1 | 0 585.60/585.84 c 585s | 25 | 5254454 | 5182098 | 277 47836 | 1 | 0 587.60/587.84 c 587s | 25 | 5271650 | 5199098 | 277 47952 | 1 | 0 589.60/589.84 c 589s | 25 | 5288577 | 5215798 | 277 48067 | 1 | 0 591.59/591.85 c 591s | 25 | 5305950 | 5232898 | 277 48185 | 1 | 0 593.59/593.85 c 593s | 25 | 5322997 | 5249698 | 277 48301 | 1 | 0 595.59/595.85 c 595s | 25 | 5339809 | 5266298 | 277 48416 | 1 | 0 597.59/597.85 c 597s | 25 | 5356397 | 5282698 | 277 48530 | 1 | 0 599.59/599.86 c 599s | 25 | 5372843 | 5298998 | 277 48643 | 1 | 0 601.60/601.87 c 601s | 25 | 5389402 | 5315398 | 277 48758 | 1 | 0 603.59/603.87 c 603s | 25 | 5405985 | 5331798 | 277 48872 | 1 | 0 605.59/605.88 c 605s | 25 | 5422886 | 5348498 | 277 48988 | 1 | 0 607.58/607.88 c 607s | 25 | 5439607 | 5364998 | 277 49103 | 1 | 0 609.58/609.89 c 609s | 25 | 5456732 | 5381798 | 277 49220 | 1 | 0 611.68/611.90 c 611s | 25 | 5474208 | 5398998 | 277 49340 | 1 | 0 613.59/613.90 c 613s | 25 | 5490535 | 5415098 | 277 49452 | 1 | 0 615.69/615.91 c 615s | 25 | 5507515 | 5431798 | 277 49569 | 1 | 0 617.69/617.91 c 617s | 25 | 5524557 | 5448498 | 277 49686 | 1 | 0 619.69/619.92 c 619s | 25 | 5541274 | 5464998 | 277 49800 | 1 | 0 621.69/621.92 c 621s | 25 | 5558460 | 5481898 | 277 49916 | 1 | 0 623.69/623.93 c 623s | 25 | 5575878 | 5498998 | 277 50034 | 1 | 0 625.69/625.94 c 625s | 25 | 5593254 | 5516098 | 277 50152 | 1 | 0 627.68/627.95 c 627s | 25 | 5609703 | 5532298 | 277 50264 | 1 | 0 629.68/629.96 c 629s | 25 | 5627672 | 5549898 | 277 50382 | 1 | 0 631.68/631.97 c 631s | 25 | 5644903 | 5566798 | 277 50498 | 1 | 0 633.68/633.97 c 633s | 25 | 5661648 | 5583298 | 277 50611 | 1 | 0 635.69/635.98 c 635s | 25 | 5678833 | 5600198 | 277 50727 | 1 | 0 637.68/637.99 c 637s | 25 | 5695816 | 5616898 | 277 50842 | 1 | 0 639.68/639.99 c 639s | 25 | 5713136 | 5633998 | 277 50961 | 1 | 0 641.78/642.00 c 641s | 25 | 5729879 | 5650498 | 277 51075 | 1 | 0 643.78/644.01 c 643s | 25 | 5746455 | 5666898 | 277 51189 | 1 | 0 645.78/646.02 c 646s | 25 | 5763582 | 5683798 | 277 51307 | 1 | 0 647.78/648.02 c 648s | 25 | 5781284 | 5701198 | 277 51428 | 1 | 0 649.77/650.02 c 650s | 25 | 5798247 | 5717898 | 277 51545 | 1 | 0 651.77/652.03 c 652s | 25 | 5814951 | 5734398 | 277 51660 | 1 | 0 653.77/654.04 c 654s | 25 | 5831677 | 5750898 | 277 51776 | 1 | 0 655.77/656.05 c 656s | 25 | 5847752 | 5766798 | 277 51885 | 1 | 0 657.78/658.06 c 658s | 25 | 5863504 | 5782398 | 277 51992 | 1 | 0 659.77/660.07 c 660s | 25 | 5879638 | 5798298 | 277 52102 | 1 | 0 661.77/662.08 c 662s | 25 | 5895745 | 5814198 | 277 52212 | 1 | 0 663.77/664.08 c 664s | 25 | 5912631 | 5830798 | 277 52326 | 1 | 0 665.77/666.09 c 666s | 25 | 5929588 | 5847498 | 277 52442 | 1 | 0 667.76/668.10 c 668s | 25 | 5945840 | 5863598 | 277 52554 | 1 | 0 669.77/670.10 c 670s | 25 | 5962298 | 5879898 | 277 52667 | 1 | 0 671.86/672.11 c 672s | 25 | 5978566 | 5895998 | 277 52778 | 1 | 0 673.86/674.12 c 674s | 25 | 5995284 | 5912498 | 277 52893 | 1 | 0 675.86/676.12 c 676s | 25 | 6012741 | 5929698 | 277 53014 | 1 | 0 677.86/678.13 c 678s | 25 | 6029306 | 5946098 | 277 53129 | 1 | 0 679.86/680.14 c 680s | 25 | 6046404 | 5962898 | 277 53246 | 1 | 0 681.87/682.14 c 682s | 25 | 6063851 | 5979998 | 277 53362 | 1 | 0 683.87/684.16 c 684s | 25 | 6081175 | 5996998 | 277 53479 | 1 | 0 685.86/686.16 c 686s | 25 | 6098326 | 6013898 | 277 53594 | 1 | 0 687.86/688.16 c 688s | 25 | 6115404 | 6030698 | 277 53709 | 1 | 0 689.86/690.17 c 690s | 25 | 6132150 | 6047198 | 277 53822 | 1 | 0 691.87/692.18 c 692s | 25 | 6149424 | 6064198 | 277 53938 | 1 | 0 693.86/694.19 c 694s | 25 | 6165966 | 6080498 | 277 54051 | 1 | 0 695.86/696.19 c 696s | 25 | 6182247 | 6096598 | 277 54161 | 1 | 0 697.96/698.20 c 698s | 25 | 6198940 | 6113098 | 277 54276 | 1 | 0 699.96/700.21 c 700s | 25 | 6215689 | 6129598 | 277 54389 | 1 | 0 701.96/702.21 c 702s | 25 | 6232329 | 6145998 | 277 54502 | 1 | 0 703.97/704.23 c 704s | 25 | 6249223 | 6162698 | 277 54618 | 1 | 0 705.96/706.24 c 706s | 25 | 6265613 | 6178898 | 277 54731 | 1 | 0 707.96/708.25 c 708s | 25 | 6282549 | 6195598 | 277 54847 | 1 | 0 709.95/710.25 c 710s | 25 | 6298988 | 6211898 | 277 54960 | 1 | 0 711.95/712.25 c 712s | 25 | 6315324 | 6228098 | 277 55072 | 1 | 0 713.95/714.26 c 714s | 25 | 6331802 | 6244398 | 277 55186 | 1 | 0 715.96/716.27 c 716s | 25 | 6348484 | 6260898 | 277 55301 | 1 | 0 717.95/718.27 c 718s | 25 | 6365181 | 6277398 | 277 55415 | 1 | 0 719.95/720.28 c 720s | 25 | 6382020 | 6293998 | 277 55531 | 1 | 0 721.95/722.28 c 722s | 25 | 6398976 | 6310698 | 277 55646 | 1 | 0 723.96/724.28 c 724s | 25 | 6415363 | 6326898 | 277 55759 | 1 | 0 725.97/726.29 c 726s | 25 | 6432186 | 6343498 | 277 55876 | 1 | 0 727.96/728.30 c 728s | 25 | 6449524 | 6360498 | 277 55991 | 1 | 0 730.06/730.30 c 730s | 25 | 6466105 | 6376798 | 277 56104 | 1 | 0 732.06/732.31 c 732s | 25 | 6482541 | 6392998 | 277 56216 | 1 | 0 734.06/734.32 c 734s | 25 | 6498877 | 6409098 | 277 56327 | 1 | 0 736.06/736.33 c 736s | 25 | 6516008 | 6425898 | 277 56444 | 1 | 0 738.06/738.33 c 738s | 25 | 6533381 | 6442898 | 277 56561 | 1 | 0 740.06/740.34 c 740s | 25 | 6549913 | 6459198 | 277 56675 | 1 | 0 742.06/742.35 c 742s | 25 | 6566487 | 6475498 | 277 56788 | 1 | 0 744.05/744.35 c 744s | 25 | 6582938 | 6491698 | 277 56901 | 1 | 0 746.05/746.36 c 746s | 25 | 6599235 | 6507798 | 277 57014 | 1 | 0 748.05/748.37 c 748s | 25 | 6615817 | 6524198 | 277 57129 | 1 | 0 750.06/750.38 c 750s | 25 | 6632138 | 6540298 | 277 57241 | 1 | 0 752.05/752.39 c 752s | 25 | 6649369 | 6557298 | 277 57358 | 1 | 0 754.05/754.39 c 754s | 25 | 6666002 | 6573698 | 277 57473 | 1 | 0 756.05/756.39 c 756s | 25 | 6682488 | 6589998 | 277 57587 | 1 | 0 758.15/758.40 c 758s | 25 | 6699094 | 6606398 | 277 57700 | 1 | 0 760.15/760.40 c 760s | 25 | 6716005 | 6622998 | 277 57816 | 1 | 0 762.16/762.41 c 762s | 25 | 6732621 | 6639398 | 277 57931 | 1 | 0 764.15/764.41 c 764s | 25 | 6749110 | 6655698 | 277 58045 | 1 | 0 766.15/766.42 c 766s | 25 | 6766503 | 6672798 | 277 58165 | 1 | 0 768.15/768.42 c 768s | 25 | 6783258 | 6689398 | 277 58282 | 1 | 0 770.15/770.42 c 770s | 25 | 6800551 | 6706398 | 277 58402 | 1 | 0 772.15/772.43 c 772s | 25 | 6817702 | 6723298 | 277 58522 | 1 | 0 774.14/774.44 c 774s | 25 | 6834792 | 6740098 | 277 58641 | 1 | 0 776.14/776.44 c 776s | 25 | 6850424 | 6755498 | 277 58747 | 1 | 0 778.14/778.45 c 778s | 25 | 6866327 | 6771198 | 277 58854 | 1 | 0 780.14/780.46 c 780s | 25 | 6882570 | 6787198 | 277 58964 | 1 | 0 782.15/782.46 c 782s | 25 | 6898874 | 6803298 | 277 59076 | 1 | 0 784.16/784.46 c 784s | 25 | 6914960 | 6819198 | 277 59185 | 1 | 0 786.15/786.47 c 786s | 25 | 6931327 | 6835398 | 277 59298 | 1 | 0 788.15/788.48 c 788s | 25 | 6947807 | 6851698 | 277 59412 | 1 | 0 790.15/790.49 c 790s | 25 | 6965074 | 6868698 | 277 59529 | 1 | 0 792.15/792.49 c 792s | 25 | 6982241 | 6885598 | 277 59643 | 1 | 0 794.15/794.49 c 794s | 25 | 6998985 | 6902098 | 277 59755 | 1 | 0 796.25/796.51 c 796s | 25 | 7015949 | 6918798 | 277 59869 | 1 | 0 798.24/798.51 c 798s | 25 | 7032499 | 6935098 | 277 59981 | 1 | 0 800.24/800.52 c 800s | 25 | 7048949 | 6951398 | 277 60093 | 1 | 0 802.24/802.53 c 802s | 25 | 7065223 | 6967498 | 277 60202 | 1 | 0 804.24/804.54 c 804s | 25 | 7081179 | 6983298 | 277 60310 | 1 | 0 806.25/806.55 c 806s | 25 | 7097013 | 6998998 | 277 60418 | 1 | 0 808.24/808.56 c 808s | 25 | 7112772 | 7014598 | 277 60526 | 1 | 0 810.24/810.56 c 810s | 25 | 7128765 | 7030398 | 277 60635 | 1 | 0 812.24/812.56 c 812s | 25 | 7145229 | 7046598 | 277 60747 | 1 | 0 814.24/814.57 c 814s | 25 | 7161463 | 7062598 | 277 60857 | 1 | 0 816.24/816.58 c 816s | 25 | 7177202 | 7078198 | 277 60965 | 1 | 0 818.24/818.58 c 818s | 25 | 7192993 | 7093798 | 277 61074 | 1 | 0 820.24/820.59 c 820s | 25 | 7209437 | 7109998 | 277 61187 | 1 | 0 822.24/822.59 c 822s | 25 | 7225106 | 7125498 | 277 61295 | 1 | 0 824.34/824.60 c 824s | 25 | 7241059 | 7141198 | 277 61404 | 1 | 0 826.34/826.60 c 826s | 25 | 7257346 | 7157298 | 277 61518 | 1 | 0 828.34/828.61 c 828s | 25 | 7274286 | 7173998 | 277 61631 | 1 | 0 830.34/830.61 c 830s | 25 | 7291000 | 7190498 | 277 61742 | 1 | 0 832.33/832.62 c 832s | 25 | 7307647 | 7206898 | 277 61853 | 1 | 0 834.34/834.63 c 834s | 25 | 7324253 | 7223298 | 277 61963 | 1 | 0 836.34/836.63 c 836s | 25 | 7340582 | 7239398 | 277 62072 | 1 | 0 838.34/838.64 c 838s | 25 | 7356980 | 7255598 | 277 62183 | 1 | 0 840.35/840.65 c 840s | 25 | 7373149 | 7271598 | 277 62291 | 1 | 0 842.34/842.66 c 842s | 25 | 7389645 | 7287898 | 277 62402 | 1 | 0 844.34/844.67 c 844s | 25 | 7405954 | 7303998 | 277 62512 | 1 | 0 846.34/846.67 c 846s | 25 | 7422208 | 7320098 | 277 62622 | 1 | 0 848.34/848.68 c 848s | 25 | 7438691 | 7336398 | 277 62734 | 1 | 0 850.34/850.68 c 850s | 25 | 7455229 | 7352698 | 277 62845 | 1 | 0 852.34/852.69 c 852s | 25 | 7471624 | 7368898 | 277 62956 | 1 | 0 854.34/854.69 c 854s | 25 | 7487763 | 7384898 | 277 63066 | 1 | 0 856.33/856.69 c 856s | 25 | 7504460 | 7401398 | 277 63179 | 1 | 0 858.33/858.70 c 858s | 25 | 7521011 | 7417698 | 277 63292 | 1 | 0 860.43/860.70 c 860s | 25 | 7537327 | 7433798 | 277 63402 | 1 | 0 862.43/862.71 c 862s | 25 | 7553726 | 7449998 | 277 63513 | 1 | 0 864.44/864.71 c 864s | 25 | 7570583 | 7466598 | 277 63627 | 1 | 0 866.43/866.72 c 866s | 25 | 7587165 | 7482998 | 277 63739 | 1 | 0 868.43/868.73 c 868s | 25 | 7603779 | 7499498 | 277 63854 | 1 | 0 870.43/870.74 c 870s | 25 | 7620276 | 7515798 | 277 63965 | 1 | 0 872.43/872.74 c 872s | 25 | 7636758 | 7532098 | 277 64078 | 1 | 0 874.44/874.75 c 874s | 25 | 7653536 | 7548698 | 305 64190 | 1 | 0 876.43/876.75 c 876s | 25 | 7670227 | 7565198 | 305 64294 | 1 | 0 878.43/878.76 c 878s | 25 | 7686501 | 7581298 | 305 64395 | 1 | 0 880.44/880.76 c 880s | 25 | 7703118 | 7597698 | 305 64498 | 1 | 0 880.44/880.77 c 880s | 26 | 7703172 | 7597752 | 305 64498 | 1 | 0 882.43/882.78 c 882s | 26 | 7719682 | 7613952 | 305 64599 | 1 | 0 884.43/884.78 c 884s | 26 | 7736201 | 7630252 | 305 64700 | 1 | 0 886.44/886.79 c 886s | 26 | 7752461 | 7646352 | 305 64801 | 1 | 0 888.53/888.80 c 888s | 26 | 7768511 | 7662152 | 305 64899 | 1 | 0 890.53/890.80 c 890s | 26 | 7784877 | 7678252 | 305 65001 | 1 | 0 892.53/892.81 c 892s | 26 | 7800924 | 7694052 | 305 65100 | 1 | 0 894.53/894.81 c 894s | 26 | 7816730 | 7709652 | 305 65198 | 1 | 0 896.53/896.82 c 896s | 26 | 7832719 | 7725452 | 305 65296 | 1 | 0 898.53/898.83 c 898s | 26 | 7848365 | 7740952 | 305 65392 | 1 | 0 900.53/900.84 c 900s | 26 | 7864548 | 7756952 | 305 65492 | 1 | 0 902.53/902.84 c 902s | 26 | 7880411 | 7772652 | 305 65590 | 1 | 0 904.53/904.85 c 904s | 26 | 7896213 | 7788252 | 305 65688 | 1 | 0 906.53/906.85 c 906s | 26 | 7911559 | 7803452 | 305 65784 | 1 | 0 908.53/908.85 c 908s | 26 | 7927135 | 7818852 | 305 65881 | 1 | 0 910.52/910.86 c 910s | 26 | 7942938 | 7834452 | 305 65978 | 1 | 0 912.52/912.87 c 912s | 26 | 7958997 | 7850352 | 305 66079 | 1 | 0 914.52/914.88 c 914s | 26 | 7974584 | 7865752 | 305 66176 | 1 | 0 916.52/916.89 c 916s | 26 | 7990513 | 7881452 | 305 66275 | 1 | 0 918.52/918.89 c 918s | 26 | 8006934 | 7897652 | 305 66378 | 1 | 0 920.53/920.90 c 920s | 26 | 8023299 | 7913852 | 305 66481 | 1 | 0 922.62/922.90 c 922s | 26 | 8039537 | 7929952 | 305 66584 | 1 | 0 924.62/924.90 c 924s | 26 | 8055538 | 7945752 | 305 66684 | 1 | 0 926.62/926.91 c 926s | 26 | 8071820 | 7961852 | 305 66787 | 1 | 0 928.63/928.92 c 928s | 26 | 8087413 | 7977252 | 305 66882 | 1 | 0 930.63/930.93 c 930s | 26 | 8103307 | 7992952 | 305 66981 | 1 | 0 932.63/932.94 c 932s | 26 | 8119514 | 8008952 | 305 67082 | 1 | 0 934.63/934.94 c 934s | 26 | 8135380 | 8024652 | 305 67181 | 1 | 0 936.63/936.95 c 936s | 26 | 8150944 | 8040052 | 305 67277 | 1 | 0 938.63/938.95 c 938s | 26 | 8166753 | 8055652 | 305 67376 | 1 | 0 940.62/940.96 c 940s | 26 | 8182223 | 8070952 | 305 67473 | 1 | 0 942.63/942.97 c 942s | 26 | 8197582 | 8086152 | 305 67568 | 1 | 0 944.62/944.98 c 944s | 26 | 8213129 | 8101552 | 305 67666 | 1 | 0 946.62/946.99 c 946s | 26 | 8228295 | 8116552 | 305 67761 | 1 | 0 948.62/949.00 c 948s | 26 | 8243653 | 8131752 | 305 67857 | 1 | 0 950.72/951.00 c 950s | 26 | 8259631 | 8147552 | 305 67956 | 1 | 0 952.72/953.01 c 952s | 26 | 8276199 | 8163952 | 305 68061 | 1 | 0 954.73/955.01 c 954s | 26 | 8293025 | 8180552 | 305 68167 | 1 | 0 956.72/957.02 c 957s | 26 | 8308927 | 8196252 | 305 68266 | 1 | 0 958.72/959.02 c 959s | 26 | 8325312 | 8212452 | 305 68369 | 1 | 0 960.72/961.03 c 961s | 26 | 8341474 | 8228452 | 305 68469 | 1 | 0 962.72/963.03 c 963s | 26 | 8357273 | 8244052 | 305 68569 | 1 | 0 964.72/965.04 c 965s | 26 | 8373146 | 8259752 | 305 68668 | 1 | 0 966.72/967.05 c 967s | 26 | 8388730 | 8275152 | 305 68764 | 1 | 0 968.71/969.06 c 969s | 26 | 8404580 | 8290752 | 305 68862 | 1 | 0 970.71/971.06 c 971s | 26 | 8420609 | 8306552 | 305 68962 | 1 | 0 972.71/973.07 c 973s | 26 | 8436418 | 8322252 | 305 69061 | 1 | 0 974.71/975.08 c 975s | 26 | 8452312 | 8337952 | 305 69160 | 1 | 0 976.72/977.09 c 977s | 26 | 8467919 | 8353352 | 305 69256 | 1 | 0 978.72/979.10 c 979s | 26 | 8484429 | 8369552 | 305 69358 | 1 | 0 980.82/981.10 c 981s | 26 | 8500639 | 8385452 | 305 69458 | 1 | 0 982.82/983.11 c 983s | 26 | 8516533 | 8401152 | 305 69556 | 1 | 0 984.82/985.12 c 985s | 26 | 8533144 | 8417552 | 305 69660 | 1 | 0 986.82/987.12 c 987s | 26 | 8549138 | 8433352 | 305 69759 | 1 | 0 988.82/989.13 c 989s | 26 | 8565682 | 8449652 | 305 69862 | 1 | 0 990.82/991.14 c 991s | 26 | 8582140 | 8465952 | 305 69965 | 1 | 0 992.82/993.15 c 993s | 26 | 8598595 | 8482252 | 305 70068 | 1 | 0 994.82/995.15 c 995s | 26 | 8614789 | 8498252 | 305 70169 | 1 | 0 996.82/997.16 c 997s | 26 | 8630389 | 8513652 | 305 70265 | 1 | 0 998.82/999.16 c 999s | 26 | 8646656 | 8529752 | 305 70367 | 1 | 0 1000.82/1001.17 c 1001s | 26 | 8663216 | 8546152 | 305 70469 | 1 | 0 1002.81/1003.18 c 1003s | 26 | 8679036 | 8561752 | 305 70566 | 1 | 0 1004.81/1005.18 c 1005s | 26 | 8695247 | 8577752 | 305 70666 | 1 | 0 1006.81/1007.19 c 1007s | 26 | 8711323 | 8593652 | 305 70766 | 1 | 0 1008.81/1009.19 c 1009s | 26 | 8727160 | 8609352 | 305 70865 | 1 | 0 1010.91/1011.20 c 1011s | 26 | 8743280 | 8625352 | 305 70966 | 1 | 0 1012.81/1013.20 c 1013s | 26 | 8759563 | 8641452 | 305 71068 | 1 | 0 1014.91/1015.20 c 1015s | 26 | 8775424 | 8657152 | 305 71167 | 1 | 0 1016.91/1017.21 c 1017s | 26 | 8791084 | 8672652 | 305 71265 | 1 | 0 1018.91/1019.21 c 1019s | 26 | 8807027 | 8688452 | 305 71367 | 1 | 0 1020.91/1021.22 c 1021s | 26 | 8823019 | 8704252 | 305 71467 | 1 | 0 1022.92/1023.23 c 1023s | 26 | 8838773 | 8719852 | 305 71565 | 1 | 0 1024.91/1025.24 c 1025s | 26 | 8854637 | 8735552 | 305 71664 | 1 | 0 1026.91/1027.25 c 1027s | 26 | 8870409 | 8751152 | 305 71762 | 1 | 0 1028.91/1029.26 c 1029s | 26 | 8886200 | 8766752 | 305 71861 | 1 | 0 1030.91/1031.26 c 1031s | 26 | 8902395 | 8782752 | 305 71962 | 1 | 0 1032.91/1033.26 c 1033s | 26 | 8918246 | 8798452 | 305 72061 | 1 | 0 1034.91/1035.27 c 1035s | 26 | 8934292 | 8814352 | 305 72162 | 1 | 0 1036.91/1037.27 c 1037s | 26 | 8950365 | 8830252 | 305 72263 | 1 | 0 1038.91/1039.28 c 1039s | 26 | 8966316 | 8846052 | 305 72364 | 1 | 0 1040.90/1041.28 c 1041s | 26 | 8982268 | 8861852 | 305 72465 | 1 | 0 1042.90/1043.28 c 1043s | 26 | 8997925 | 8877352 | 305 72562 | 1 | 0 1044.91/1045.28 c 1045s | 26 | 9013350 | 8892652 | 305 72659 | 1 | 0 1046.90/1047.29 c 1047s | 26 | 9029091 | 8908252 | 305 72757 | 1 | 0 1048.90/1049.29 c 1049s | 26 | 9045151 | 8924152 | 305 72859 | 1 | 0 1051.01/1051.30 c 1051s | 26 | 9061582 | 8940452 | 305 72962 | 1 | 0 1053.01/1053.30 c 1053s | 26 | 9077773 | 8956452 | 305 73063 | 1 | 0 1055.01/1055.31 c 1055s | 26 | 9093952 | 8972452 | 305 73164 | 1 | 0 1057.01/1057.31 c 1057s | 26 | 9110343 | 8988652 | 305 73266 | 1 | 0 1059.01/1059.32 c 1059s | 26 | 9126621 | 9004752 | 305 73369 | 1 | 0 1061.00/1061.33 c 1061s | 26 | 9142992 | 9020952 | 305 73472 | 1 | 0 1063.00/1063.34 c 1063s | 26 | 9158940 | 9036752 | 305 73573 | 1 | 0 1065.00/1065.34 c 1065s | 26 | 9175113 | 9052752 | 305 73675 | 1 | 0 1067.00/1067.35 c 1067s | 26 | 9191212 | 9068652 | 305 73776 | 1 | 0 1069.01/1069.35 c 1069s | 26 | 9206938 | 9084252 | 305 73876 | 1 | 0 1071.00/1071.35 c 1071s | 26 | 9223002 | 9100152 | 305 73978 | 1 | 0 1073.00/1073.35 c 1073s | 26 | 9239288 | 9116252 | 305 74080 | 1 | 0 1075.00/1075.36 c 1075s | 26 | 9255250 | 9132052 | 305 74181 | 1 | 0 1077.00/1077.37 c 1077s | 26 | 9271517 | 9148152 | 305 74284 | 1 | 0 1079.01/1079.38 c 1079s | 26 | 9288121 | 9164552 | 305 74384 | 1 | 0 1081.00/1081.38 c 1081s | 26 | 9304694 | 9180952 | 305 74485 | 1 | 0 1083.00/1083.39 c 1083s | 26 | 9321178 | 9197252 | 305 74586 | 1 | 0 1085.00/1085.39 c 1085s | 26 | 9337569 | 9213452 | 305 74686 | 1 | 0 1087.10/1087.40 c 1087s | 26 | 9353704 | 9229452 | 305 74785 | 1 | 0 1089.10/1089.41 c 1089s | 26 | 9370061 | 9245652 | 305 74886 | 1 | 0 1091.10/1091.41 c 1091s | 26 | 9386456 | 9261852 | 305 74986 | 1 | 0 1093.09/1093.42 c 1093s | 26 | 9403409 | 9278552 | 305 75090 | 1 | 0 1095.09/1095.43 c 1095s | 26 | 9419842 | 9294752 | 305 75190 | 1 | 0 1097.09/1097.43 c 1097s | 26 | 9436103 | 9310852 | 305 75291 | 1 | 0 1099.09/1099.44 c 1099s | 26 | 9452679 | 9327252 | 305 75393 | 1 | 0 1101.10/1101.44 c 1101s | 26 | 9469251 | 9343652 | 305 75494 | 1 | 0 1103.11/1103.45 c 1103s | 26 | 9485623 | 9359852 | 305 75595 | 1 | 0 1105.10/1105.45 c 1105s | 26 | 9501897 | 9375952 | 305 75695 | 1 | 0 1107.10/1107.46 c 1107s | 26 | 9518167 | 9392052 | 305 75796 | 1 | 0 1109.10/1109.46 c 1109s | 26 | 9534223 | 9407952 | 305 75895 | 1 | 0 1111.10/1111.47 c 1111s | 26 | 9551062 | 9424552 | 305 75999 | 1 | 0 1113.11/1113.48 c 1113s | 26 | 9567546 | 9440852 | 305 76101 | 1 | 0 1115.10/1115.49 c 1115s | 26 | 9583711 | 9456852 | 305 76199 | 1 | 0 1117.10/1117.49 c 1117s | 26 | 9599788 | 9472752 | 305 76298 | 1 | 0 1119.20/1119.50 c 1119s | 26 | 9615975 | 9488752 | 305 76397 | 1 | 0 1121.19/1121.51 c 1121s | 26 | 9632336 | 9504952 | 305 76498 | 1 | 0 1123.19/1123.51 c 1123s | 26 | 9648472 | 9520952 | 305 76598 | 1 | 0 1125.20/1125.51 c 1125s | 26 | 9664417 | 9536752 | 305 76696 | 1 | 0 1127.19/1127.51 c 1127s | 26 | 9680539 | 9552652 | 305 76796 | 1 | 0 1129.19/1129.52 c 1129s | 26 | 9696695 | 9568652 | 305 76897 | 1 | 0 1131.19/1131.53 c 1131s | 26 | 9712893 | 9584652 | 305 76997 | 1 | 0 1133.19/1133.53 c 1133s | 26 | 9728869 | 9600452 | 305 77096 | 1 | 0 1135.19/1135.54 c 1135s | 26 | 9744544 | 9615952 | 305 77193 | 1 | 0 1137.19/1137.54 c 1137s | 26 | 9760410 | 9631652 | 305 77291 | 1 | 0 1139.19/1139.55 c 1139s | 26 | 9776873 | 9647852 | 305 77392 | 1 | 0 1141.19/1141.55 c 1141s | 26 | 9793162 | 9663952 | 305 77493 | 1 | 0 1143.20/1143.56 c 1143s | 26 | 9809250 | 9679852 | 305 77593 | 1 | 0 1145.19/1145.56 c 1145s | 26 | 9824906 | 9695352 | 305 77690 | 1 | 0 1147.20/1147.58 c 1147s | 26 | 9840772 | 9711052 | 305 77789 | 1 | 0 1149.19/1149.59 c 1149s | 26 | 9856861 | 9726952 | 305 77889 | 1 | 0 1151.29/1151.60 c 1151s | 26 | 9872679 | 9742652 | 305 77987 | 1 | 0 1153.29/1153.60 c 1153s | 26 | 9888693 | 9758552 | 305 78087 | 1 | 0 1155.29/1155.60 c 1155s | 26 | 9904645 | 9774352 | 305 78185 | 1 | 0 1157.29/1157.61 c 1157s | 26 | 9920571 | 9790152 | 305 78284 | 1 | 0 1159.30/1159.62 c 1159s | 26 | 9936417 | 9805852 | 305 78384 | 1 | 0 1161.29/1161.62 c 1161s | 26 | 9952273 | 9821552 | 305 78482 | 1 | 0 1163.29/1163.63 c 1163s | 26 | 9968416 | 9837552 | 305 78583 | 1 | 0 1165.29/1165.64 c 1165s | 26 | 9984172 | 9853152 | 305 78682 | 1 | 0 1167.29/1167.64 c 1167s | 26 | 9999936 | 9868752 | 305 78780 | 1 | 0 1169.29/1169.65 c 1169s | 26 | 10016300 | 9884952 | 305 78882 | 1 | 0 1171.29/1171.66 c 1171s | 26 | 10032228 | 9900752 | 305 78982 | 1 | 0 1173.29/1173.66 c 1173s | 26 | 10048157 | 9916552 | 305 79082 | 1 | 0 1175.29/1175.67 c 1175s | 26 | 10064331 | 9932552 | 305 79184 | 1 | 0 1177.28/1177.68 c 1177s | 26 | 10080262 | 9948352 | 305 79283 | 1 | 0 1179.28/1179.69 c 1179s | 26 | 10095974 | 9963952 | 305 79381 | 1 | 0 1181.29/1181.69 c 1181s | 26 | 10111435 | 9979252 | 305 79476 | 1 | 0 1183.28/1183.70 c 1183s | 26 | 10126930 | 9994652 | 305 79573 | 1 | 0 1185.38/1185.71 c 1185s | 26 | 10142883 | 10010452 | 305 79673 | 1 | 0 1187.38/1187.72 c 1187s | 26 | 10158722 | 10026152 | 305 79772 | 1 | 0 1189.38/1189.72 c 1189s | 26 | 10174780 | 10042052 | 305 79873 | 1 | 0 1191.38/1191.72 c 1191s | 26 | 10190731 | 10057852 | 305 79973 | 1 | 0 1193.39/1193.73 c 1193s | 26 | 10206812 | 10073752 | 305 80073 | 1 | 0 1195.38/1195.74 c 1195s | 26 | 10222810 | 10089552 | 305 80172 | 1 | 0 1197.38/1197.74 c 1197s | 26 | 10239113 | 10105652 | 305 80274 | 1 | 0 1199.38/1199.74 c 1199s | 26 | 10255201 | 10121552 | 305 80375 | 1 | 0 1201.38/1201.75 c 1201s | 26 | 10270734 | 10136952 | 305 80472 | 1 | 0 1203.38/1203.76 c 1203s | 26 | 10286785 | 10152852 | 305 80572 | 1 | 0 1205.39/1205.77 c 1205s | 26 | 10302946 | 10168852 | 305 80673 | 1 | 0 1207.38/1207.77 c 1207s | 26 | 10319550 | 10185252 | 305 80777 | 1 | 0 1209.38/1209.78 c 1209s | 26 | 10336043 | 10201552 | 305 80881 | 1 | 0 1211.38/1211.79 c 1211s | 26 | 10352460 | 10217752 | 305 80984 | 1 | 0 1213.38/1213.79 c 1213s | 26 | 10368270 | 10233352 | 305 81083 | 1 | 0 1215.48/1215.80 c 1215s | 26 | 10384269 | 10249152 | 305 81184 | 1 | 0 1217.48/1217.81 c 1217s | 26 | 10399906 | 10264652 | 305 81280 | 1 | 0 1219.47/1219.82 c 1219s | 26 | 10414942 | 10279552 | 305 81373 | 1 | 0 1221.48/1221.83 c 1221s | 26 | 10429997 | 10294452 | 305 81466 | 1 | 0 1223.48/1223.83 c 1223s | 26 | 10445602 | 10309852 | 305 81563 | 1 | 0 1225.48/1225.84 c 1225s | 26 | 10461498 | 10325552 | 305 81663 | 1 | 0 1227.49/1227.84 c 1227s | 26 | 10477545 | 10341452 | 305 81763 | 1 | 0 1229.48/1229.85 c 1229s | 26 | 10493418 | 10357152 | 305 81862 | 1 | 0 1231.48/1231.85 c 1231s | 26 | 10509536 | 10373052 | 305 81963 | 1 | 0 1233.48/1233.85 c 1233s | 26 | 10525535 | 10388852 | 305 82063 | 1 | 0 1235.48/1235.86 c 1235s | 26 | 10541304 | 10404452 | 305 82161 | 1 | 0 1237.48/1237.87 c 1237s | 26 | 10557142 | 10420152 | 305 82260 | 1 | 0 1239.48/1239.88 c 1239s | 26 | 10573394 | 10436252 | 305 82361 | 1 | 0 1241.48/1241.88 c 1241s | 26 | 10589336 | 10452052 | 305 82461 | 1 | 0 1243.47/1243.89 c 1243s | 26 | 10605424 | 10467952 | 305 82562 | 1 | 0 1245.47/1245.89 c 1245s | 26 | 10621514 | 10483852 | 305 82662 | 1 | 0 1247.57/1247.90 c 1247s | 26 | 10638372 | 10500452 | 305 82767 | 1 | 0 1249.57/1249.91 c 1249s | 26 | 10654806 | 10516652 | 305 82870 | 1 | 0 1251.58/1251.91 c 1251s | 26 | 10671102 | 10532752 | 305 82971 | 1 | 0 1253.57/1253.91 c 1253s | 26 | 10687486 | 10548952 | 305 83073 | 1 | 0 1255.57/1255.92 c 1255s | 26 | 10703634 | 10564952 | 305 83175 | 1 | 0 1257.57/1257.92 c 1257s | 26 | 10719474 | 10580652 | 305 83275 | 1 | 0 1259.57/1259.92 c 1259s | 26 | 10735429 | 10596452 | 305 83376 | 1 | 0 1261.58/1261.93 c 1261s | 26 | 10751719 | 10612552 | 305 83478 | 1 | 0 1263.57/1263.94 c 1263s | 26 | 10767595 | 10628252 | 305 83577 | 1 | 0 1265.57/1265.94 c 1265s | 26 | 10783138 | 10643652 | 305 83675 | 1 | 0 1267.57/1267.95 c 1267s | 26 | 10798493 | 10658852 | 305 83773 | 1 | 0 1269.57/1269.96 c 1269s | 26 | 10813585 | 10673752 | 305 83867 | 1 | 0 1271.57/1271.97 c 1271s | 26 | 10829119 | 10689052 | 305 83964 | 1 | 0 1273.57/1273.97 c 1273s | 26 | 10844705 | 10704452 | 305 84062 | 1 | 0 1275.58/1275.97 c 1275s | 26 | 10860097 | 10719652 | 305 84159 | 1 | 0 1277.57/1277.98 c 1277s | 26 | 10876084 | 10735352 | 305 84259 | 1 | 0 1279.57/1279.98 c 1279s | 26 | 10892762 | 10751752 | 305 84364 | 1 | 0 1281.57/1281.98 c 1281s | 26 | 10908818 | 10767652 | 305 84465 | 1 | 0 1283.67/1284.00 c 1283s | 26 | 10925373 | 10783952 | 305 84570 | 1 | 0 1285.68/1286.00 c 1285s | 26 | 10941372 | 10799752 | 305 84670 | 1 | 0 1287.67/1288.01 c 1287s | 26 | 10958223 | 10816352 | 305 84776 | 1 | 0 1289.67/1290.01 c 1289s | 26 | 10975271 | 10833152 | 305 84884 | 1 | 0 1291.67/1292.02 c 1292s | 26 | 10991970 | 10849552 | 305 84989 | 1 | 0 1293.67/1294.02 c 1294s | 26 | 11008947 | 10866252 | 305 85095 | 1 | 0 1295.68/1296.03 c 1296s | 26 | 11024875 | 10881952 | 305 85193 | 1 | 0 1297.67/1298.04 c 1298s | 26 | 11040443 | 10897352 | 305 85290 | 1 | 0 1299.67/1300.04 c 1300s | 26 | 11056375 | 10913052 | 305 85389 | 1 | 0 1301.67/1302.05 c 1302s | 26 | 11072022 | 10928552 | 305 85487 | 1 | 0 1303.67/1304.05 c 1304s | 26 | 11088191 | 10944552 | 305 85589 | 1 | 0 1305.66/1306.06 c 1306s | 26 | 11103405 | 10959652 | 305 85684 | 1 | 0 1307.67/1308.08 c 1308s | 26 | 11119159 | 10975252 | 305 85784 | 1 | 0 1309.66/1310.09 c 1310s | 26 | 11134781 | 10990752 | 305 85882 | 1 | 0 1311.66/1312.09 c 1312s | 26 | 11150726 | 11006552 | 305 85983 | 1 | 0 1313.76/1314.10 c 1314s | 26 | 11166903 | 11022552 | 305 86085 | 1 | 0 1315.76/1316.11 c 1316s | 26 | 11183343 | 11038852 | 305 86190 | 1 | 0 1317.76/1318.12 c 1318s | 26 | 11199096 | 11054452 | 305 86289 | 1 | 0 1319.77/1320.12 c 1320s | 26 | 11214917 | 11070052 | 305 86388 | 1 | 0 1321.76/1322.13 c 1322s | 26 | 11230543 | 11085552 | 305 86486 | 1 | 0 1323.76/1324.13 c 1324s | 26 | 11246442 | 11101352 | 305 86587 | 1 | 0 1325.76/1326.14 c 1326s | 26 | 11262267 | 11117052 | 305 86687 | 1 | 0 1327.76/1328.15 c 1328s | 26 | 11278291 | 11132952 | 305 86789 | 1 | 0 1329.77/1330.15 c 1330s | 26 | 11294499 | 11148952 | 305 86891 | 1 | 0 1331.76/1332.16 c 1332s | 26 | 11311130 | 11165252 | 305 86994 | 1 | 0 1333.77/1334.17 c 1334s | 26 | 11327744 | 11181552 | 305 87098 | 1 | 0 1335.77/1336.18 c 1336s | 26 | 11344703 | 11198152 | 305 87204 | 1 | 0 1337.77/1338.18 c 1338s | 26 | 11361638 | 11214852 | 305 87310 | 1 | 0 1339.77/1340.19 c 1340s | 26 | 11377974 | 11231052 | 305 87413 | 1 | 0 1341.77/1342.19 c 1342s | 26 | 11394315 | 11247252 | 305 87517 | 1 | 0 1343.76/1344.19 c 1344s | 26 | 11410791 | 11263552 | 305 87621 | 1 | 0 1345.76/1346.19 c 1346s | 26 | 11427032 | 11279652 | 305 87724 | 1 | 0 1347.86/1348.20 c 1348s | 26 | 11443428 | 11295852 | 305 87828 | 1 | 0 1349.86/1350.21 c 1350s | 26 | 11459411 | 11311652 | 305 87930 | 1 | 0 1351.86/1352.21 c 1352s | 26 | 11474124 | 11326252 | 336 88014 | 1 | 0 1353.87/1354.22 c 1354s | 26 | 11489395 | 11341352 | 336 88101 | 1 | 0 1355.86/1356.23 c 1356s | 26 | 11504328 | 11356152 | 336 88185 | 1 | 0 1357.86/1358.23 c 1358s | 26 | 11519441 | 11371152 | 336 88271 | 1 | 0 1359.86/1360.23 c 1360s | 26 | 11535165 | 11386752 | 336 88360 | 1 | 0 1361.16/1361.54 c 1361s | 27 | 11545233 | 11396733 | 336 88418 | 1 | 0 1363.16/1363.55 c 1363s | 27 | 11560736 | 11412033 | 336 88505 | 1 | 0 1365.16/1365.57 c 1365s | 27 | 11576305 | 11427433 | 336 88593 | 1 | 0 1367.16/1367.57 c 1367s | 27 | 11592741 | 11443633 | 336 88685 | 1 | 0 1369.16/1369.57 c 1369s | 27 | 11608608 | 11459333 | 336 88774 | 1 | 0 1371.16/1371.58 c 1371s | 27 | 11624558 | 11475133 | 336 88864 | 1 | 0 1373.16/1373.59 c 1373s | 27 | 11640711 | 11491133 | 336 88956 | 1 | 0 1375.15/1375.60 c 1375s | 27 | 11656229 | 11506533 | 336 89044 | 1 | 0 1377.25/1377.60 c 1377s | 27 | 11672261 | 11522433 | 336 89135 | 1 | 0 1379.16/1379.60 c 1379s | 27 | 11688086 | 11538133 | 336 89226 | 1 | 0 1381.25/1381.60 c 1381s | 27 | 11703282 | 11553233 | 336 89312 | 1 | 0 1383.25/1383.60 c 1383s | 27 | 11718750 | 11568533 | 336 89399 | 1 | 0 1385.25/1385.60 c 1385s | 27 | 11734707 | 11584333 | 336 89490 | 1 | 0 1387.25/1387.62 c 1387s | 27 | 11750706 | 11600233 | 336 89581 | 1 | 0 1389.25/1389.62 c 1389s | 27 | 11766861 | 11616233 | 336 89674 | 1 | 0 1391.26/1391.62 c 1391s | 27 | 11783546 | 11632733 | 336 89769 | 1 | 0 1393.26/1393.63 c 1393s | 27 | 11799555 | 11648533 | 336 89858 | 1 | 0 1395.25/1395.64 c 1395s | 27 | 11815236 | 11664033 | 336 89947 | 1 | 0 1397.25/1397.64 c 1397s | 27 | 11830795 | 11679433 | 336 90036 | 1 | 0 1399.25/1399.65 c 1399s | 27 | 11846252 | 11694733 | 336 90123 | 1 | 0 1401.26/1401.65 c 1401s | 27 | 11861904 | 11710233 | 336 90211 | 1 | 0 1403.25/1403.66 c 1403s | 27 | 11877821 | 11726033 | 336 90303 | 1 | 0 1405.25/1405.67 c 1405s | 27 | 11893511 | 11741533 | 336 90392 | 1 | 0 1407.25/1407.67 c 1407s | 27 | 11909756 | 11757633 | 336 90484 | 1 | 0 1409.25/1409.68 c 1409s | 27 | 11925827 | 11773533 | 336 90575 | 1 | 0 1411.25/1411.68 c 1411s | 27 | 11942078 | 11789533 | 336 90668 | 1 | 0 1413.26/1413.69 c 1413s | 27 | 11957636 | 11804933 | 336 90757 | 1 | 0 1415.35/1415.70 c 1415s | 27 | 11973378 | 11820533 | 336 90848 | 1 | 0 1417.35/1417.70 c 1417s | 27 | 11989102 | 11836033 | 336 90936 | 1 | 0 1419.35/1419.72 c 1419s | 27 | 12004955 | 11851733 | 336 91026 | 1 | 0 1421.35/1421.73 c 1421s | 27 | 12021187 | 11867733 | 336 91118 | 1 | 0 1423.35/1423.74 c 1423s | 27 | 12037652 | 11883933 | 336 91210 | 1 | 0 1425.35/1425.74 c 1425s | 27 | 12054084 | 11900133 | 336 91304 | 1 | 0 1427.35/1427.74 c 1427s | 27 | 12070163 | 11915933 | 336 91395 | 1 | 0 1429.34/1429.75 c 1429s | 27 | 12086389 | 11931933 | 336 91488 | 1 | 0 1431.34/1431.75 c 1431s | 27 | 12102977 | 11948233 | 336 91581 | 1 | 0 1433.34/1433.76 c 1433s | 27 | 12119585 | 11964533 | 336 91675 | 1 | 0 1435.35/1435.76 c 1435s | 27 | 12136307 | 11980933 | 336 91769 | 1 | 0 1437.35/1437.77 c 1437s | 27 | 12152901 | 11997333 | 336 91863 | 1 | 0 1439.35/1439.78 c 1439s | 27 | 12169399 | 12013633 | 336 91957 | 1 | 0 1441.35/1441.79 c 1441s | 27 | 12186113 | 12030133 | 336 92052 | 1 | 0 1443.35/1443.79 c 1443s | 27 | 12202910 | 12046733 | 336 92148 | 1 | 0 1445.35/1445.79 c 1445s | 27 | 12219655 | 12063233 | 336 92243 | 1 | 0 1447.35/1447.80 c 1447s | 27 | 12236175 | 12079533 | 336 92338 | 1 | 0 1449.45/1449.80 c 1449s | 27 | 12252645 | 12095733 | 336 92432 | 1 | 0 1451.45/1451.81 c 1451s | 27 | 12268438 | 12111333 | 336 92521 | 1 | 0 1453.45/1453.81 c 1453s | 27 | 12283983 | 12126733 | 336 92610 | 1 | 0 1455.45/1455.82 c 1455s | 27 | 12299955 | 12142533 | 336 92701 | 1 | 0 1457.45/1457.82 c 1457s | 27 | 12315884 | 12158333 | 336 92793 | 1 | 0 1459.45/1459.84 c 1459s | 27 | 12332368 | 12174633 | 336 92888 | 1 | 0 1461.44/1461.84 c 1461s | 27 | 12348796 | 12190833 | 336 92980 | 1 | 0 1463.44/1463.84 c 1463s | 27 | 12365362 | 12207233 | 336 93075 | 1 | 0 1465.44/1465.85 c 1465s | 27 | 12381835 | 12223533 | 336 93169 | 1 | 0 1467.44/1467.86 c 1467s | 27 | 12398138 | 12239633 | 336 93263 | 1 | 0 1469.45/1469.87 c 1469s | 27 | 12414425 | 12255733 | 336 93356 | 1 | 0 1471.44/1471.87 c 1471s | 27 | 12430432 | 12271533 | 336 93448 | 1 | 0 1473.44/1473.89 c 1473s | 27 | 12446515 | 12287433 | 336 93540 | 1 | 0 1475.44/1475.90 c 1475s | 27 | 12462908 | 12303533 | 336 93631 | 1 | 0 1477.54/1477.90 c 1477s | 27 | 12479216 | 12319533 | 336 93722 | 1 | 0 1479.54/1479.90 c 1479s | 27 | 12495501 | 12335633 | 336 93814 | 1 | 0 1481.54/1481.91 c 1481s | 27 | 12511950 | 12351833 | 336 93908 | 1 | 0 1483.54/1483.91 c 1483s | 27 | 12527531 | 12367233 | 336 93997 | 1 | 0 1485.54/1485.92 c 1485s | 27 | 12543079 | 12382633 | 336 94085 | 1 | 0 1487.54/1487.93 c 1487s | 27 | 12559062 | 12398433 | 336 94175 | 1 | 0 1489.54/1489.93 c 1489s | 27 | 12574997 | 12414233 | 336 94266 | 1 | 0 1491.54/1491.93 c 1491s | 27 | 12591031 | 12430133 | 336 94357 | 1 | 0 1493.54/1493.94 c 1493s | 27 | 12607054 | 12445933 | 336 94448 | 1 | 0 1495.53/1495.95 c 1495s | 27 | 12623054 | 12461733 | 336 94538 | 1 | 0 1497.53/1497.96 c 1497s | 27 | 12639253 | 12477733 | 336 94631 | 1 | 0 1499.53/1499.96 c 1499s | 27 | 12655211 | 12493433 | 336 94720 | 1 | 0 1501.53/1501.97 c 1501s | 27 | 12671089 | 12509133 | 336 94810 | 1 | 0 1503.54/1503.98 c 1503s | 27 | 12687181 | 12525033 | 336 94902 | 1 | 0 1505.53/1505.98 c 1505s | 27 | 12703215 | 12540833 | 336 94993 | 1 | 0 1507.53/1508.00 c 1507s | 27 | 12719619 | 12557033 | 336 95087 | 1 | 0 1509.63/1510.01 c 1509s | 27 | 12736484 | 12573633 | 336 95184 | 1 | 0 1511.63/1512.01 c 1511s | 27 | 12753175 | 12590033 | 336 95278 | 1 | 0 1513.63/1514.02 c 1514s | 27 | 12769815 | 12606433 | 336 95373 | 1 | 0 1515.64/1516.03 c 1516s | 27 | 12786026 | 12622433 | 336 95465 | 1 | 0 1517.63/1518.03 c 1518s | 27 | 12803010 | 12639133 | 336 95561 | 1 | 0 1519.64/1520.04 c 1520s | 27 | 12819975 | 12655833 | 336 95658 | 1 | 0 1521.64/1522.05 c 1522s | 27 | 12836451 | 12672033 | 336 95751 | 1 | 0 1523.64/1524.06 c 1524s | 27 | 12853324 | 12688633 | 336 95847 | 1 | 0 1525.64/1526.06 c 1526s | 27 | 12869901 | 12705033 | 336 95942 | 1 | 0 1527.64/1528.07 c 1528s | 27 | 12886632 | 12721533 | 336 96038 | 1 | 0 1529.63/1530.07 c 1530s | 27 | 12903769 | 12738433 | 336 96135 | 1 | 0 1531.63/1532.07 c 1532s | 27 | 12919691 | 12754233 | 336 96226 | 1 | 0 1533.63/1534.08 c 1534s | 27 | 12935634 | 12770033 | 336 96317 | 1 | 0 1535.63/1536.08 c 1536s | 27 | 12951486 | 12785733 | 336 96408 | 1 | 0 1537.64/1538.09 c 1538s | 27 | 12967454 | 12801533 | 336 96500 | 1 | 0 1539.63/1540.10 c 1540s | 27 | 12983915 | 12817633 | 336 96593 | 1 | 0 1541.73/1542.10 c 1542s | 27 | 12999378 | 12832833 | 336 96679 | 1 | 0 1543.73/1544.10 c 1544s | 27 | 13014968 | 12848133 | 336 96766 | 1 | 0 1545.73/1546.11 c 1546s | 27 | 13030985 | 12863833 | 336 96856 | 1 | 0 1547.73/1548.11 c 1548s | 27 | 13047176 | 12879633 | 336 96947 | 1 | 0 1549.73/1550.12 c 1550s | 27 | 13063973 | 12896133 | 336 97042 | 1 | 0 1551.73/1552.12 c 1552s | 27 | 13080594 | 12912433 | 336 97134 | 1 | 0 1553.73/1554.13 c 1554s | 27 | 13097024 | 12928633 | 336 97227 | 1 | 0 1555.73/1556.13 c 1556s | 27 | 13113037 | 12944433 | 336 97318 | 1 | 0 1557.73/1558.13 c 1558s | 27 | 13128983 | 12960133 | 336 97407 | 1 | 0 1559.72/1560.14 c 1560s | 27 | 13144911 | 12975833 | 336 97498 | 1 | 0 1561.73/1562.14 c 1562s | 27 | 13161191 | 12991833 | 336 97590 | 1 | 0 1563.72/1564.15 c 1564s | 27 | 13177810 | 13008033 | 336 97683 | 1 | 0 1565.72/1566.15 c 1566s | 27 | 13194383 | 13024233 | 336 97777 | 1 | 0 1567.72/1568.16 c 1568s | 27 | 13210537 | 13040133 | 336 97869 | 1 | 0 1569.72/1570.17 c 1570s | 27 | 13226228 | 13055633 | 336 97957 | 1 | 0 1571.73/1572.18 c 1572s | 27 | 13242266 | 13071433 | 336 98048 | 1 | 0 1573.73/1574.19 c 1574s | 27 | 13258574 | 13087533 | 336 98141 | 1 | 0 1575.83/1576.20 c 1576s | 27 | 13274952 | 13103733 | 336 98234 | 1 | 0 1577.83/1578.20 c 1578s | 27 | 13291274 | 13119733 | 336 98326 | 1 | 0 1579.83/1580.21 c 1580s | 27 | 13307952 | 13136033 | 336 98420 | 1 | 0 1581.83/1582.22 c 1582s | 27 | 13324708 | 13152533 | 336 98516 | 1 | 0 1583.83/1584.22 c 1584s | 27 | 13341044 | 13168533 | 336 98607 | 1 | 0 1585.83/1586.22 c 1586s | 27 | 13357839 | 13185033 | 336 98702 | 1 | 0 1587.83/1588.23 c 1588s | 27 | 13374463 | 13201333 | 336 98796 | 1 | 0 1589.83/1590.23 c 1590s | 27 | 13390714 | 13217333 | 336 98887 | 1 | 0 1591.83/1592.24 c 1592s | 27 | 13406851 | 13233233 | 336 98979 | 1 | 0 1593.82/1594.25 c 1594s | 27 | 13423030 | 13249233 | 336 99072 | 1 | 0 1595.83/1596.25 c 1596s | 27 | 13439112 | 13265033 | 336 99163 | 1 | 0 1597.82/1598.26 c 1598s | 27 | 13454963 | 13280633 | 336 99252 | 1 | 0 1599.82/1600.26 c 1600s | 27 | 13470881 | 13296333 | 336 99343 | 1 | 0 1601.82/1602.27 c 1602s | 27 | 13487474 | 13312633 | 336 99437 | 1 | 0 1603.82/1604.28 c 1604s | 27 | 13503439 | 13328433 | 336 99530 | 1 | 0 1605.83/1606.28 c 1606s | 27 | 13519446 | 13344233 | 336 99620 | 1 | 0 1607.82/1608.28 c 1608s | 27 | 13535756 | 13360333 | 336 99713 | 1 | 0 1609.82/1610.29 c 1610s | 27 | 13552395 | 13376633 | 336 99807 | 1 | 0 1611.92/1612.30 c 1612s | 27 | 13568176 | 13392133 | 336 99896 | 1 | 0 1613.92/1614.30 c 1614s | 27 | 13584396 | 13408133 | 336 99989 | 1 | 0 1615.92/1616.31 c 1616s | 27 | 13599967 | 13423533 | 336 100078 | 1 | 0 1617.92/1618.31 c 1618s | 27 | 13615712 | 13439033 | 336 100169 | 1 | 0 1619.92/1620.32 c 1620s | 27 | 13631937 | 13455033 | 336 100261 | 1 | 0 1621.92/1622.32 c 1622s | 27 | 13647665 | 13470433 | 336 100350 | 1 | 0 1623.92/1624.32 c 1624s | 27 | 13663915 | 13486433 | 336 100442 | 1 | 0 1625.91/1626.33 c 1626s | 27 | 13680447 | 13502733 | 336 100535 | 1 | 0 1627.91/1628.34 c 1628s | 27 | 13696280 | 13518333 | 336 100625 | 1 | 0 1629.92/1630.34 c 1630s | 27 | 13712579 | 13534433 | 336 100718 | 1 | 0 1631.92/1632.35 c 1632s | 27 | 13729051 | 13550633 | 336 100811 | 1 | 0 1633.92/1634.35 c 1634s | 27 | 13745384 | 13566733 | 336 100903 | 1 | 0 1635.92/1636.35 c 1636s | 27 | 13761368 | 13582533 | 336 100994 | 1 | 0 1637.92/1638.36 c 1638s | 27 | 13776953 | 13597933 | 336 101083 | 1 | 0 1639.93/1640.36 c 1640s | 27 | 13793089 | 13613833 | 336 101175 | 1 | 0 1641.92/1642.37 c 1642s | 27 | 13809600 | 13630133 | 336 101269 | 1 | 0 1643.92/1644.38 c 1644s | 27 | 13826125 | 13646433 | 336 101363 | 1 | 0 1645.92/1646.38 c 1646s | 27 | 13842139 | 13662233 | 336 101454 | 1 | 0 1647.92/1648.39 c 1648s | 27 | 13859174 | 13678933 | 336 101550 | 1 | 0 1649.92/1650.39 c 1650s | 27 | 13876040 | 13695533 | 336 101646 | 1 | 0 1651.92/1652.40 c 1652s | 27 | 13892624 | 13711933 | 336 101741 | 1 | 0 1654.02/1654.41 c 1654s | 27 | 13909321 | 13728433 | 336 101837 | 1 | 0 1656.02/1656.42 c 1656s | 27 | 13925987 | 13744933 | 336 101932 | 1 | 0 1658.02/1658.42 c 1658s | 27 | 13942898 | 13761533 | 336 102028 | 1 | 0 1660.02/1660.43 c 1660s | 27 | 13959490 | 13777933 | 336 102124 | 1 | 0 1662.02/1662.44 c 1662s | 27 | 13975903 | 13794133 | 336 102218 | 1 | 0 1664.02/1664.45 c 1664s | 27 | 13992219 | 13810233 | 336 102310 | 1 | 0 1666.01/1666.45 c 1666s | 27 | 14008377 | 13826233 | 336 102400 | 1 | 0 1668.01/1668.46 c 1668s | 27 | 14024787 | 13842433 | 336 102493 | 1 | 0 1670.01/1670.47 c 1670s | 27 | 14041135 | 13858633 | 336 102585 | 1 | 0 1672.01/1672.47 c 1672s | 27 | 14057732 | 13875033 | 336 102679 | 1 | 0 1674.02/1674.47 c 1674s | 27 | 14074175 | 13891333 | 336 102772 | 1 | 0 1676.01/1676.48 c 1676s | 27 | 14090401 | 13907433 | 336 102864 | 1 | 0 1678.01/1678.49 c 1678s | 27 | 14106531 | 13923433 | 336 102956 | 1 | 0 1680.01/1680.49 c 1680s | 27 | 14122555 | 13939333 | 336 103048 | 1 | 0 1682.01/1682.50 c 1682s | 27 | 14138679 | 13955333 | 336 103140 | 1 | 0 1684.11/1684.50 c 1684s | 27 | 14154826 | 13971333 | 336 103232 | 1 | 0 1686.12/1686.51 c 1686s | 27 | 14171784 | 13988033 | 336 103327 | 1 | 0 1688.11/1688.52 c 1688s | 27 | 14188354 | 14004433 | 336 103422 | 1 | 0 1690.11/1690.52 c 1690s | 27 | 14204757 | 14020633 | 336 103515 | 1 | 0 1692.11/1692.52 c 1692s | 27 | 14221147 | 14036833 | 336 103608 | 1 | 0 1694.11/1694.53 c 1694s | 27 | 14237672 | 14053233 | 336 103703 | 1 | 0 1696.11/1696.54 c 1696s | 27 | 14254106 | 14069533 | 336 103797 | 1 | 0 1698.11/1698.54 c 1698s | 27 | 14270282 | 14085533 | 336 103888 | 1 | 0 1700.10/1700.55 c 1700s | 27 | 14286718 | 14101733 | 336 103982 | 1 | 0 1702.10/1702.56 c 1702s | 27 | 14302791 | 14117633 | 336 104073 | 1 | 0 1704.10/1704.56 c 1704s | 27 | 14319348 | 14133933 | 336 104167 | 1 | 0 1706.10/1706.56 c 1706s | 27 | 14336118 | 14150433 | 336 104262 | 1 | 0 1708.11/1708.57 c 1708s | 27 | 14352294 | 14166433 | 336 104354 | 1 | 0 1710.10/1710.58 c 1710s | 27 | 14368753 | 14182633 | 336 104448 | 1 | 0 1712.20/1712.60 c 1712s | 27 | 14384659 | 14198433 | 336 104540 | 1 | 0 1714.20/1714.60 c 1714s | 27 | 14400486 | 14214133 | 336 104631 | 1 | 0 1716.20/1716.60 c 1716s | 27 | 14416203 | 14229733 | 336 104721 | 1 | 0 1718.20/1718.61 c 1718s | 27 | 14432265 | 14245633 | 336 104814 | 1 | 0 1720.21/1720.61 c 1720s | 27 | 14448452 | 14261633 | 336 104907 | 1 | 0 1722.20/1722.62 c 1722s | 27 | 14464500 | 14277533 | 336 104999 | 1 | 0 1724.20/1724.63 c 1724s | 27 | 14479915 | 14292833 | 336 105087 | 1 | 0 1726.20/1726.64 c 1726s | 27 | 14495763 | 14308533 | 336 105177 | 1 | 0 1728.20/1728.64 c 1728s | 27 | 14511720 | 14324333 | 336 105268 | 1 | 0 1730.20/1730.65 c 1730s | 27 | 14527351 | 14339833 | 336 105357 | 1 | 0 1732.21/1732.65 c 1732s | 27 | 14543234 | 14355533 | 336 105447 | 1 | 0 1734.20/1734.67 c 1734s | 27 | 14559094 | 14371233 | 336 105538 | 1 | 0 1736.20/1736.68 c 1736s | 27 | 14575045 | 14387033 | 336 105629 | 1 | 0 1738.20/1738.68 c 1738s | 27 | 14590978 | 14402833 | 336 105720 | 1 | 0 1740.20/1740.69 c 1740s | 27 | 14607024 | 14418733 | 336 105812 | 1 | 0 1742.21/1742.69 c 1742s | 27 | 14622837 | 14434433 | 336 105904 | 1 | 0 1744.20/1744.70 c 1744s | 27 | 14638925 | 14450333 | 336 105995 | 1 | 0 1746.30/1746.71 c 1746s | 27 | 14654518 | 14465733 | 336 106084 | 1 | 0 1748.30/1748.71 c 1748s | 27 | 14670397 | 14481433 | 336 106174 | 1 | 0 1750.30/1750.72 c 1750s | 27 | 14686318 | 14497233 | 336 106266 | 1 | 0 1752.30/1752.72 c 1752s | 27 | 14702463 | 14513233 | 336 106359 | 1 | 0 1754.31/1754.73 c 1754s | 27 | 14718514 | 14529133 | 336 106451 | 1 | 0 1756.30/1756.75 c 1756s | 27 | 14734327 | 14544833 | 336 106543 | 1 | 0 1758.30/1758.75 c 1758s | 27 | 14750174 | 14560533 | 336 106634 | 1 | 0 1760.30/1760.76 c 1760s | 27 | 14766072 | 14576333 | 336 106725 | 1 | 0 1762.30/1762.77 c 1762s | 27 | 14782311 | 14592433 | 336 106819 | 1 | 0 1764.30/1764.77 c 1764s | 27 | 14798980 | 14608933 | 336 106915 | 1 | 0 1766.30/1766.77 c 1766s | 27 | 14815533 | 14625333 | 336 107011 | 1 | 0 1768.30/1768.77 c 1768s | 27 | 14831291 | 14640933 | 336 107101 | 1 | 0 1770.30/1770.77 c 1770s | 27 | 14847532 | 14657033 | 336 107194 | 1 | 0 1772.29/1772.78 c 1772s | 27 | 14863478 | 14672833 | 336 107286 | 1 | 0 1774.29/1774.79 c 1774s | 27 | 14879854 | 14689033 | 336 107379 | 1 | 0 1776.30/1776.79 c 1776s | 27 | 14896350 | 14705333 | 336 107474 | 1 | 0 1778.29/1778.80 c 1778s | 27 | 14912935 | 14721733 | 336 107570 | 1 | 0 1780.39/1780.81 c 1780s | 27 | 14929931 | 14738533 | 336 107668 | 1 | 0 1782.39/1782.82 c 1782s | 27 | 14946840 | 14755233 | 336 107765 | 1 | 0 1784.39/1784.83 c 1784s | 27 | 14963439 | 14771633 | 336 107859 | 1 | 0 1786.39/1786.83 c 1786s | 27 | 14980143 | 14788133 | 336 107954 | 1 | 0 1788.40/1788.84 c 1788s | 27 | 14996810 | 14804633 | 336 108049 | 1 | 0 1790.40/1790.84 c 1790s | 27 | 15013669 | 14821233 | 336 108146 | 1 | 0 1792.39/1792.85 c 1792s | 27 | 15030459 | 14837833 | 336 108242 | 1 | 0 1794.39/1794.85 c 1794s | 27 | 15046783 | 14853933 | 336 108336 | 1 | 0 1796.39/1796.86 c 1796s | 27 | 15063549 | 14870433 | 336 108431 | 1 | 0 1798.39/1798.87 c 1798s | 27 | 15079922 | 14886633 | 336 108525 | 1 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4105577-1466251965/watcher-4105577-1466251965 -o /tmp/evaluation-result-4105577-1466251965/solver-4105577-1466251965 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105577-1466251965.opb pid=23524 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 2.00 2.00 3/179 23527 /proc/meminfo: memFree=30574236/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=318908 CPUtime=0 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 1122 0 0 0 0 0 0 0 20 0 4 0 27246473 326561792 972 33554432000 4194304 16246674 140735741071952 140735741071376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 80495 981 441 2943 0 77389 0 [pid=23527/tid=23528] ppid=23524 vsize=334268 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 342290432 1031 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=338364 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 346484736 1048 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=342460 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27246473 350679040 1064 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100161 s] /proc/loadavg: 1.99 2.00 2.00 3/179 23527 /proc/meminfo: memFree=30574236/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 18723 0 0 0 6 2 0 0 20 0 4 0 27246473 1247350784 18562 33554432000 4194304 16246674 140735741071952 140735741071376 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 304529 18570 751 2943 0 301423 0 [pid=23527/tid=23528] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 18574 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 18579 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 18580 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.20051 s] /proc/loadavg: 1.99 2.00 2.00 3/179 23527 /proc/meminfo: memFree=30574236/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 34018 0 0 0 13 6 0 0 20 0 4 0 27246473 1247350784 33856 33554432000 4194304 16246674 140735741071952 140735741071376 6074686 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 304529 33861 752 2943 0 301423 0 [pid=23527/tid=23528] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 33865 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 33870 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 33873 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300504 s] /proc/loadavg: 1.99 2.00 2.00 3/179 23527 /proc/meminfo: memFree=30574236/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 49666 0 0 0 21 8 0 0 20 0 4 0 27246473 1247350784 49504 33554432000 4194304 16246674 140735741071952 140735741071376 5724508 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 304529 49515 752 2943 0 301423 0 [pid=23527/tid=23528] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 49518 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 49521 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 49524 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700413 s] /proc/loadavg: 1.99 2.00 2.00 3/179 23527 /proc/meminfo: memFree=30574236/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1218116 CPUtime=0.68 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 114021 0 0 0 51 17 0 0 20 0 4 0 27246473 1247350784 113860 33554432000 4194304 16246674 140735741071952 140735741071376 6021055 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 304529 113874 752 2943 0 301423 0 [pid=23527/tid=23528] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 113878 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 113880 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 113883 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 1.99 2.00 2.00 3/183 23531 /proc/meminfo: memFree=29796452/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 242909 0 0 0 114 35 0 0 20 0 4 0 27246473 1247350784 242747 33554432000 4194304 16246674 140735741071952 140735741053824 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 304529 242755 752 2943 0 301423 0 [pid=23527/tid=23528] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 242758 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 242764 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27246473 1247350784 242771 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10041 s] /proc/loadavg: 1.99 2.00 2.00 3/183 23531 /proc/meminfo: memFree=29593100/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267384 0 0 0 271 38 0 0 20 0 4 0 27246473 1337528320 267199 33554432000 4194304 16246674 140735741071952 140735741053824 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267199 824 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267199 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267199 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267199 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.3004 s] /proc/loadavg: 1.99 2.00 2.00 3/183 23531 /proc/meminfo: memFree=29505316/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267442 0 0 0 591 38 0 0 20 0 4 0 27246473 1337528320 267257 33554432000 4194304 16246674 140735741071952 140735741053824 13752941 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267257 824 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267257 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267257 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267257 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 1.99 2.00 2.00 3/183 23531 /proc/meminfo: memFree=29505348/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267458 0 0 0 1231 38 0 0 20 0 4 0 27246473 1337528320 267273 33554432000 4194304 16246674 140735741071952 140735741053824 5717604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267273 824 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267273 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267273 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267273 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5075 s] /proc/loadavg: 1.99 2.00 2.00 3/183 23580 /proc/meminfo: memFree=29510204/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=25.49 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267475 0 0 0 2511 38 0 0 20 0 4 0 27246473 1337528320 267290 33554432000 4194304 16246674 140735741071952 140735741053824 12479221 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267290 825 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267290 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267290 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267290 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1004 s] /proc/loadavg: 1.99 2.00 2.00 3/183 23580 /proc/meminfo: memFree=29507592/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267487 0 0 0 5069 39 0 0 20 0 4 0 27246473 1337528320 267561 33554432000 4194304 16246674 140735741071952 140735741053824 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267561 827 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267561 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267561 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267561 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 1.99 2.00 2.00 3/183 23581 /proc/meminfo: memFree=29507388/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=102.26 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267504 0 0 0 10186 40 0 0 20 0 4 0 27246473 1337528320 267567 33554432000 4194304 16246674 140735741071952 140735741053824 5518360 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267567 828 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267567 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267567 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267567 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267666 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1306180 [startup+1302.3 s] /proc/loadavg: 2.12 2.12 2.04 4/183 23611 /proc/meminfo: memFree=29504240/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=1301.97 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267797 0 0 0 130133 64 0 0 20 0 4 0 27246473 1337528320 267666 33554432000 4194304 16246674 140735741071952 140735741053824 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267666 828 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267666 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267666 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267666 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1306180 [startup+1362.3 s] /proc/loadavg: 2.04 2.10 2.04 3/183 23612 /proc/meminfo: memFree=29503892/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=1361.96 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267797 0 0 0 136131 65 0 0 20 0 4 0 27246473 1337528320 267666 33554432000 4194304 16246674 140735741071952 140735741053824 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267666 828 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267666 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267666 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267666 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1306180 [startup+1422.3 s] /proc/loadavg: 2.06 2.09 2.04 3/183 23614 /proc/meminfo: memFree=29503884/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=1421.95 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267798 0 0 0 142129 66 0 0 20 0 4 0 27246473 1337528320 267667 33554432000 4194304 16246674 140735741071952 140735741053824 6020840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267667 829 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267667 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267667 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267667 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1306180 [startup+1482.3 s] /proc/loadavg: 2.02 2.07 2.03 3/183 23615 /proc/meminfo: memFree=29504136/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=1481.94 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267798 0 0 0 148127 67 0 0 20 0 4 0 27246473 1337528320 267667 33554432000 4194304 16246674 140735741071952 140735741053824 6021368 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267667 829 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267667 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267667 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267667 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1306180 [startup+1542.3 s] /proc/loadavg: 2.01 2.06 2.02 3/183 23616 /proc/meminfo: memFree=29503884/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=1541.94 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267804 0 0 0 154126 68 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140735741053824 5721540 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267673 829 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 1306180 [startup+1602.3 s] /proc/loadavg: 2.00 2.04 2.02 3/183 23617 /proc/meminfo: memFree=29504136/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=1601.92 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267804 0 0 0 160123 69 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140735741053824 5827690 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267673 829 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1306180 [startup+1662.31 s] /proc/loadavg: 2.00 2.03 2.01 3/184 23621 /proc/meminfo: memFree=29504144/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=1661.92 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267804 0 0 0 166122 70 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140735741054952 12415720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267673 829 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1306180 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.01 3/183 23623 /proc/meminfo: memFree=29504156/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=1721.9 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267804 0 0 0 172120 70 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140735741053824 13193632 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267673 829 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 1306180 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 23624 /proc/meminfo: memFree=29503788/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=1781.89 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267804 0 0 0 178118 71 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140735741053824 5600136 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267673 829 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 1306180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.14 2.05 2.01 3/183 23624 /proc/meminfo: memFree=29504036/32872528 swapFree=163656/177964 [pid=23527] ppid=23524 vsize=1306180 CPUtime=1800.09 cores=1,3,5,7 /proc/23527/stat : 23527 (toysat) R 23524 23527 20760 0 -1 4202496 267804 0 0 0 179937 72 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140735741053824 5711552 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23527/statm: 326545 267673 829 2943 0 323439 0 [pid=23527/tid=23528] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23528/stat : 23528 (toysat) S 23524 23527 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119792135408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23527/tid=23529] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23529/stat : 23529 (toysat) S 23524 23527 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119781645552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23527/tid=23530] ppid=23524 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23527/task/23530/stat : 23530 (toysat) S 23524 23527 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27246473 1337528320 267673 33554432000 4194304 16246674 140735741071952 140119771172016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1306180 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 23527 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.11 CPU user time (s): 1799.38 CPU system time (s): 0.72289 CPU usage (%): 99.9776 Max. virtual memory (cumulated for all children) (KiB): 1306180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.38 system time used= 0.72289 maximum resident set size= 1070692 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 267804 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= 220 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.56031 second user time and 6.97594 second system time The end
Begin job on node105 at 2016-06-18 14:12:45 IDJOB=4105577 IDBENCH=2915 IDSOLVER=2542 FILE ID=node105/4105577-1466251965 RUNJOBID= node105-1466229502-20777 PBS_JOBID= 19918174 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105577-1466251965/watcher-4105577-1466251965 -o /tmp/evaluation-result-4105577-1466251965/solver-4105577-1466251965 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105577-1466251965.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 25ec3c4431eaa97f8c8dfc7dcac7b55c RANDOM SEED=1434308816 node105.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.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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.561 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.561 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.561 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.561 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.54 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.561 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.561 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.561 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.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30574764 kB Buffers: 109652 kB Cached: 196496 kB SwapCached: 1676 kB Active: 1167768 kB Inactive: 215024 kB Active(anon): 1074588 kB Inactive(anon): 4412 kB Active(file): 93180 kB Inactive(file): 210612 kB Unevictable: 177964 kB Mlocked: 163656 kB SwapTotal: 67108856 kB SwapFree: 67097160 kB Dirty: 16448 kB Writeback: 20 kB AnonPages: 1254400 kB Mapped: 10456 kB Shmem: 0 kB Slab: 604376 kB SReclaimable: 47944 kB SUnreclaim: 556432 kB KernelStack: 1456 kB PageTables: 6584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1397276 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1083392 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= 71716 MiB End job on node105 at 2016-06-18 14:42:46