| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.61 |
| Name | PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-fixed-bandwidth-91.cnf.gz-extracted.pb.metafix.opb |
| MD5SUM | d9c210eaf4a7cd2925a54072bba639a8 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.012997 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 365 |
| Total number of constraints | 364 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 364 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 8 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-30T21:26:12+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-4121514-1467314772.opb"] 0.00/0.01 c use --random-gen="2689359909 4126456120 731412451 906543818 793113117 1415342550 2847940509 1392861179 686912503 400712555 1999836313 1527944408 592751010 2675491139 2859935529 1105796813 2459954431 1200263173 2734456101 2215197215 3370519542 2178442117 1870331596 2952372557 3038827495 1678343134 4057241450 4267406309 1710257484 1675594858 1790395477 3154679809 4281097550 2555360457 3850086407 817011647 3144351315 2183915082 4102810738 3622316294 997940596 2895764414 2626589648 3384358725 3958345821 215153469 1378392030 280888822 1781765038 3157451144 3428257500 3342787874 183738125 3020466336 1313675246 3336851098 1411745431 2449116970 2805714570 1759685048 838693139 1904492659 2002241333 2289372234 568498687 3935712946 2969051685 1640020664 3555517430 1762584797 2889494555 3553500865 1766853620 3500210568 365796667 3056476741 1690471848 4117341553 2467500104 1140867941 972736606 1021150096 2721277136 2909104191 1237110840 2944283461 2221637386 1505271807 1596272563 3120689219 660399682 246175302 3148221093 4288478913 3461398643 873526780 419143433 471487585 1204082779 2556280443 1807475097 2120893878 1021770818 4165668048 3229393535 3707457189 965800599 707739835 3829271092 2191756336 3019071517 2958900494 128188129 4239673344 1016379986 3342410097 3508177582 2179991254 3948659800 1067107113 3529279579 3024934260 499498962 1585224630 2630864592 1567526678 2114323272 4156332125 4205624314 574788215 1939392143 882324055 1766357910 1156157107 1729263663 2313785014 1714744116 4013625607 2620643781 2112627845 3716925234 1580254093 2718337411 3569664286 9757261 3363671940 1180961256 2849742182 1291031011 3302233418 3426626431 3067884956 1167100671 239277301 3681120962 3878201774 2665375253 4149636830 612160220 3567976595 99997755 1845977837 3671552267 850189293 3903510301 1689752775 3960706809 2844536661 227729974 2222765202 4236360169 3942934851 1451230942 4091564583 4219181249 2377354380 4076591190 844534687 278653999 121470491 996780234 285015721 1017842898 372712033 2317186059 1604225979 2170500673 4176250090 2290428069 2844009114 3452772453 3073078635 2987244166 2398260208 3984745080 3077445983 514023059 4233135883 502751130 2048237190 881880017 623062861 965292794 3789895844 4275181051 2319057930 1824133959 3872742095 2127917292 2316921234 1296621696 1606675782 2055766154 3555498493 1083267268 978256560 512992783 3730144574 3451860397 1512714350 942484285 3003452633 2023285596 464393362 2454591003 1624994195 3790223159 149786368 4179288564 2839090023 300930285 2647763376 3070504577 755897948 766825798 2944461693 1135482440 1916466864 1887162766 2496348011 3969614756 4224940647 3327225745 1654565569 574354336 2908666916 1999811139 998303235 836699578 2425645912 3239017993 4272910346 294616354 441563518 878954363 310859869 255 362436" option to reproduce the execution 0.00/0.01 c #vars 365 0.00/0.01 c #constraints 364 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 | 243 0 | 0 | 0 0.00/0.03 c 0.0s | 1 | 172 | 100 | 243 0 | 0 | 0 0.00/0.04 c 0.0s | 2 | 442 | 250 | 268 0 | 0 | 0 0.00/0.07 c 0.0s | 3 | 747 | 475 | 295 1 | 0 | 0 0.09/0.10 c 0.1s | 4 | 1405 | 813 | 325 1 | 0 | 0 0.09/0.16 c 0.1s | 5 | 2073 | 1320 | 358 4 | 0 | 0 0.19/0.24 c 0.2s | 6 | 3208 | 2081 | 434 6 | 0 | 0 0.29/0.39 c 0.4s | 7 | 4748 | 3223 | 478 9 | 0 | 0 0.49/0.59 c 0.6s | 8 | 7068 | 4936 | 526 14 | 0 | 0 0.78/0.87 c 0.9s | 9 | 10701 | 7506 | 579 21 | 0 | 0 1.19/1.28 c 1.3s | 10 | 15940 | 11361 | 637 31 | 0 | 0 1.79/1.81 c 1.8s | 11 | 23476 | 17144 | 701 44 | 0 | 0 2.58/2.65 c 2.6s | 12 | 35565 | 25819 | 772 62 | 0 | 0 3.89/3.97 c 4.0s | 13 | 52277 | 38832 | 850 88 | 0 | 0 5.89/5.98 c 6.0s | 13 | 76542 | 57432 | 850 123 | 0 | 0 5.99/6.08 c 6.1s | 14 | 77784 | 58352 | 936 125 | 0 | 0 7.99/8.08 c 8.1s | 14 | 103537 | 77352 | 936 157 | 0 | 0 9.09/9.12 c 9.1s | 15 | 117499 | 87632 | 1030 174 | 0 | 0 11.09/11.13 c 11.1s | 15 | 142279 | 106432 | 1030 205 | 0 | 0 13.09/13.14 c 13.1s | 15 | 168325 | 126332 | 1030 237 | 0 | 0 13.69/13.74 c 13.7s | 16 | 174904 | 131552 | 1133 245 | 0 | 0 15.69/15.75 c 15.7s | 16 | 202725 | 151452 | 1133 275 | 0 | 0 17.69/17.76 c 17.7s | 16 | 227985 | 170152 | 1133 303 | 0 | 0 19.69/19.77 c 19.7s | 16 | 253467 | 188652 | 1133 330 | 0 | 0 20.68/20.70 c 20.7s | 17 | 265827 | 197432 | 1247 343 | 0 | 0 22.69/22.71 c 22.7s | 17 | 287278 | 213932 | 1247 366 | 0 | 0 24.69/24.72 c 24.7s | 17 | 309018 | 230732 | 1247 389 | 0 | 0 26.69/26.73 c 26.7s | 17 | 329178 | 246832 | 1247 411 | 0 | 0 28.69/28.73 c 28.7s | 17 | 347935 | 262332 | 1247 432 | 0 | 0 30.69/30.74 c 30.7s | 17 | 370684 | 279632 | 1247 456 | 0 | 0 32.69/32.75 c 32.7s | 17 | 390697 | 295532 | 1372 478 | 0 | 0 32.79/32.85 c 32.8s | 18 | 391537 | 296252 | 1372 479 | 0 | 0 34.78/34.86 c 34.8s | 18 | 414277 | 313352 | 1372 502 | 0 | 0 36.78/36.86 c 36.8s | 18 | 436233 | 329752 | 1372 523 | 0 | 0 38.78/38.87 c 38.8s | 18 | 458577 | 346452 | 1372 545 | 0 | 0 40.79/40.87 c 40.9s | 18 | 482026 | 363752 | 1372 567 | 0 | 0 42.78/42.87 c 42.9s | 18 | 504868 | 380652 | 1372 589 | 0 | 0 44.78/44.87 c 44.9s | 18 | 527075 | 397752 | 1372 611 | 0 | 0 46.78/46.88 c 46.9s | 18 | 548399 | 413952 | 1372 632 | 0 | 0 48.78/48.88 c 48.9s | 18 | 569209 | 429352 | 1372 651 | 0 | 0 50.78/50.89 c 50.9s | 18 | 589421 | 444452 | 1510 670 | 0 | 0 50.78/50.89 c 50.9s | 19 | 589454 | 444482 | 1510 670 | 0 | 0 52.89/52.91 c 52.9s | 19 | 614167 | 462982 | 1510 692 | 0 | 0 54.88/54.91 c 54.9s | 19 | 638119 | 481182 | 1510 714 | 0 | 0 56.88/56.92 c 56.9s | 19 | 661184 | 499382 | 1510 735 | 0 | 0 58.88/58.93 c 58.9s | 19 | 685463 | 517782 | 1510 757 | 0 | 0 60.87/60.94 c 60.9s | 19 | 708214 | 535382 | 1510 778 | 0 | 0 62.87/62.95 c 62.9s | 19 | 732149 | 553682 | 1510 799 | 0 | 0 64.88/64.95 c 64.9s | 19 | 754661 | 570382 | 1510 818 | 0 | 0 66.88/66.95 c 66.9s | 19 | 778307 | 587882 | 1510 839 | 0 | 0 68.88/68.96 c 68.9s | 19 | 799859 | 604482 | 1510 858 | 0 | 0 70.88/70.97 c 70.9s | 19 | 820571 | 620382 | 1510 876 | 0 | 0 72.88/72.97 c 73.0s | 19 | 840738 | 636282 | 1510 895 | 0 | 0 74.89/74.97 c 75.0s | 19 | 861056 | 652082 | 1510 913 | 0 | 0 76.88/76.99 c 77.0s | 19 | 879636 | 666582 | 1662 929 | 0 | 0 76.99/77.02 c 77.0s | 20 | 879925 | 666827 | 1662 929 | 0 | 0 78.98/79.03 c 79.0s | 20 | 901252 | 683227 | 1662 947 | 0 | 0 80.98/81.03 c 81.0s | 20 | 921240 | 698527 | 1662 963 | 0 | 0 82.98/83.04 c 83.0s | 20 | 940431 | 713427 | 1662 979 | 0 | 0 84.98/85.04 c 85.0s | 20 | 959562 | 728327 | 1662 995 | 0 | 0 86.98/87.04 c 87.0s | 20 | 978370 | 742927 | 1662 1010 | 0 | 0 88.98/89.05 c 89.0s | 20 | 996767 | 757627 | 1662 1026 | 0 | 0 90.98/91.06 c 91.0s | 20 | 1016947 | 773327 | 1662 1042 | 0 | 0 92.97/93.06 c 93.0s | 20 | 1038468 | 789527 | 1662 1060 | 0 | 0 94.97/95.07 c 95.1s | 20 | 1059831 | 805727 | 1662 1077 | 0 | 0 96.97/97.07 c 97.1s | 20 | 1080213 | 821327 | 1662 1093 | 0 | 0 98.98/99.07 c 99.1s | 20 | 1100329 | 837127 | 1662 1110 | 0 | 0 100.97/101.09 c 101s | 20 | 1120791 | 852627 | 1662 1127 | 0 | 0 102.97/103.09 c 103s | 20 | 1139668 | 867527 | 1662 1142 | 0 | 0 105.07/105.10 c 105s | 20 | 1159418 | 882627 | 1662 1158 | 0 | 0 107.07/107.11 c 107s | 20 | 1178854 | 897627 | 1662 1174 | 0 | 0 109.07/109.12 c 109s | 20 | 1198517 | 912627 | 1662 1190 | 0 | 0 111.08/111.13 c 111s | 20 | 1218452 | 928027 | 1662 1206 | 0 | 0 113.07/113.13 c 113s | 20 | 1237272 | 942727 | 1662 1222 | 0 | 0 115.07/115.14 c 115s | 20 | 1257372 | 958027 | 1662 1238 | 0 | 0 117.07/117.14 c 117s | 20 | 1274171 | 971527 | 1662 1253 | 0 | 0 119.07/119.15 c 119s | 20 | 1295441 | 988027 | 1662 1270 | 0 | 0 120.67/120.75 c 120s | 21 | 1311069 | 1000345 | 1829 1283 | 0 | 0 122.67/122.75 c 122s | 21 | 1331261 | 1015645 | 1829 1297 | 0 | 0 124.67/124.76 c 124s | 21 | 1350078 | 1029945 | 1829 1311 | 0 | 0 126.67/126.76 c 126s | 21 | 1370156 | 1045245 | 1829 1326 | 0 | 0 128.68/128.77 c 128s | 21 | 1389769 | 1060845 | 1829 1341 | 0 | 0 130.67/130.77 c 130s | 21 | 1408438 | 1075845 | 1829 1355 | 0 | 0 132.67/132.78 c 132s | 21 | 1427676 | 1090645 | 1829 1369 | 0 | 0 134.67/134.78 c 134s | 21 | 1446298 | 1105445 | 1829 1383 | 0 | 0 136.67/136.79 c 136s | 21 | 1469302 | 1122645 | 1829 1400 | 0 | 0 138.77/138.80 c 138s | 21 | 1490800 | 1139245 | 1829 1416 | 0 | 0 140.67/140.80 c 140s | 21 | 1512775 | 1155845 | 1829 1432 | 0 | 0 142.77/142.80 c 142s | 21 | 1534624 | 1172145 | 1829 1448 | 0 | 0 144.77/144.82 c 144s | 21 | 1557619 | 1189245 | 1829 1465 | 0 | 0 146.76/146.83 c 146s | 21 | 1578369 | 1204845 | 1829 1480 | 0 | 0 148.76/148.83 c 148s | 21 | 1599460 | 1220445 | 1829 1495 | 0 | 0 150.77/150.84 c 150s | 21 | 1622040 | 1237245 | 1829 1511 | 0 | 0 152.76/152.84 c 152s | 21 | 1643433 | 1253545 | 1829 1527 | 0 | 0 154.76/154.84 c 154s | 21 | 1663907 | 1269245 | 1829 1542 | 0 | 0 156.76/156.85 c 156s | 21 | 1685334 | 1285545 | 1829 1558 | 0 | 0 158.76/158.85 c 158s | 21 | 1706031 | 1301345 | 1829 1573 | 0 | 0 160.76/160.86 c 160s | 21 | 1727267 | 1317245 | 1829 1589 | 0 | 0 162.77/162.86 c 162s | 21 | 1747071 | 1332545 | 1829 1603 | 0 | 0 164.77/164.87 c 164s | 21 | 1767524 | 1348045 | 1829 1618 | 0 | 0 166.77/166.88 c 166s | 21 | 1789498 | 1364645 | 1829 1635 | 0 | 0 168.77/168.89 c 168s | 21 | 1810928 | 1380745 | 1829 1650 | 0 | 0 170.87/170.90 c 170s | 21 | 1832038 | 1396845 | 1829 1666 | 0 | 0 172.86/172.91 c 172s | 21 | 1851951 | 1412145 | 1829 1681 | 0 | 0 174.87/174.92 c 174s | 21 | 1872748 | 1427845 | 1829 1696 | 0 | 0 176.86/176.92 c 176s | 21 | 1891188 | 1442645 | 1829 1710 | 0 | 0 178.86/178.93 c 178s | 21 | 1911259 | 1458445 | 1829 1725 | 0 | 0 180.86/180.94 c 180s | 21 | 1933059 | 1474845 | 1829 1741 | 0 | 0 182.86/182.95 c 182s | 21 | 1954032 | 1490945 | 2012 1757 | 0 | 0 184.26/184.34 c 184s | 22 | 1966279 | 1500622 | 2012 1765 | 0 | 0 186.26/186.35 c 186s | 22 | 1985622 | 1515422 | 2012 1779 | 0 | 0 188.26/188.36 c 188s | 22 | 2006239 | 1531122 | 2012 1793 | 0 | 0 190.27/190.37 c 190s | 22 | 2027854 | 1547022 | 2012 1808 | 0 | 0 192.26/192.37 c 192s | 22 | 2045947 | 1561322 | 2012 1821 | 0 | 0 194.26/194.37 c 194s | 22 | 2064796 | 1575922 | 2012 1834 | 0 | 0 196.26/196.38 c 196s | 22 | 2086517 | 1592022 | 2012 1849 | 0 | 0 198.25/198.38 c 198s | 22 | 2105203 | 1606622 | 2012 1862 | 0 | 0 200.26/200.39 c 200s | 22 | 2124745 | 1621422 | 2012 1875 | 0 | 0 202.25/202.40 c 202s | 22 | 2145230 | 1636622 | 2012 1889 | 0 | 0 204.35/204.40 c 204s | 22 | 2165021 | 1651722 | 2012 1902 | 0 | 0 206.35/206.42 c 206s | 22 | 2184268 | 1666422 | 2012 1916 | 0 | 0 208.36/208.42 c 208s | 22 | 2201050 | 1680322 | 2012 1928 | 0 | 0 210.36/210.43 c 210s | 22 | 2220549 | 1695122 | 2012 1941 | 0 | 0 212.37/212.43 c 212s | 22 | 2237581 | 1708922 | 2012 1954 | 0 | 0 214.36/214.43 c 214s | 22 | 2253942 | 1721922 | 2012 1966 | 0 | 0 216.36/216.45 c 216s | 22 | 2268344 | 1734022 | 2012 1977 | 0 | 0 218.36/218.45 c 218s | 22 | 2284935 | 1747122 | 2012 1989 | 0 | 0 220.36/220.45 c 220s | 22 | 2301594 | 1760022 | 2012 2000 | 0 | 0 222.36/222.45 c 222s | 22 | 2318216 | 1773122 | 2012 2012 | 0 | 0 224.36/224.46 c 224s | 22 | 2336945 | 1787522 | 2012 2026 | 0 | 0 226.35/226.46 c 226s | 22 | 2355489 | 1801922 | 2012 2039 | 0 | 0 228.35/228.47 c 228s | 22 | 2376186 | 1817622 | 2012 2053 | 0 | 0 230.35/230.47 c 230s | 22 | 2395644 | 1832722 | 2012 2067 | 0 | 0 232.35/232.48 c 232s | 22 | 2415352 | 1847722 | 2012 2081 | 0 | 0 234.36/234.49 c 234s | 22 | 2434913 | 1862622 | 2012 2094 | 0 | 0 236.46/236.51 c 236s | 22 | 2454356 | 1877222 | 2012 2108 | 0 | 0 238.45/238.51 c 238s | 22 | 2473822 | 1892022 | 2012 2121 | 0 | 0 240.45/240.52 c 240s | 22 | 2492704 | 1906622 | 2012 2134 | 0 | 0 242.45/242.52 c 242s | 22 | 2510386 | 1920022 | 2012 2147 | 0 | 0 244.45/244.53 c 244s | 22 | 2529537 | 1934322 | 2012 2160 | 0 | 0 246.46/246.54 c 246s | 22 | 2548770 | 1948822 | 2012 2173 | 0 | 0 248.45/248.54 c 248s | 22 | 2568424 | 1963622 | 2012 2187 | 0 | 0 250.45/250.54 c 250s | 22 | 2588438 | 1978522 | 2012 2201 | 0 | 0 252.45/252.55 c 252s | 22 | 2607490 | 1993322 | 2012 2214 | 0 | 0 254.45/254.56 c 254s | 22 | 2624550 | 2006922 | 2012 2227 | 0 | 0 256.45/256.57 c 256s | 22 | 2643695 | 2021522 | 2012 2240 | 0 | 0 258.45/258.57 c 258s | 22 | 2662472 | 2035722 | 2012 2253 | 0 | 0 260.44/260.58 c 260s | 22 | 2681514 | 2050322 | 2012 2266 | 0 | 0 262.44/262.59 c 262s | 22 | 2699385 | 2064322 | 2012 2279 | 0 | 0 264.44/264.59 c 264s | 22 | 2719058 | 2079322 | 2012 2293 | 0 | 0 266.54/266.60 c 266s | 22 | 2737537 | 2093222 | 2012 2306 | 0 | 0 268.54/268.61 c 268s | 22 | 2756480 | 2107422 | 2012 2319 | 0 | 0 270.55/270.61 c 270s | 22 | 2774974 | 2121622 | 2012 2332 | 0 | 0 272.54/272.62 c 272s | 22 | 2792078 | 2135322 | 2012 2344 | 0 | 0 274.54/274.62 c 274s | 22 | 2809578 | 2148722 | 2012 2357 | 0 | 0 276.54/276.63 c 276s | 22 | 2828092 | 2162422 | 2012 2369 | 0 | 0 278.54/278.63 c 278s | 22 | 2845054 | 2175822 | 2012 2381 | 0 | 0 280.56/280.64 c 280s | 22 | 2863030 | 2189822 | 2012 2394 | 0 | 0 282.55/282.65 c 282s | 22 | 2881307 | 2204022 | 2012 2407 | 0 | 0 284.55/284.66 c 284s | 22 | 2898831 | 2217322 | 2012 2419 | 0 | 0 286.55/286.67 c 286s | 22 | 2916163 | 2231122 | 2012 2432 | 0 | 0 288.55/288.67 c 288s | 22 | 2932836 | 2244122 | 2214 2443 | 0 | 0 289.55/289.69 c 289s | 23 | 2942056 | 2251038 | 2214 2449 | 0 | 0 291.55/291.69 c 291s | 23 | 2959834 | 2264538 | 2214 2460 | 0 | 0 293.65/293.71 c 293s | 23 | 2978080 | 2278838 | 2214 2471 | 0 | 0 295.65/295.71 c 295s | 23 | 2995014 | 2292138 | 2214 2482 | 0 | 0 297.64/297.72 c 297s | 23 | 3012125 | 2305438 | 2214 2493 | 0 | 0 299.64/299.72 c 299s | 23 | 3029248 | 2318838 | 2214 2504 | 0 | 0 301.64/301.73 c 301s | 23 | 3049149 | 2333438 | 2214 2516 | 0 | 0 303.65/303.74 c 303s | 23 | 3067330 | 2346838 | 2214 2528 | 0 | 0 305.64/305.74 c 305s | 23 | 3085835 | 2360438 | 2214 2539 | 0 | 0 307.64/307.75 c 307s | 23 | 3102360 | 2372938 | 2214 2549 | 0 | 0 309.64/309.76 c 309s | 23 | 3120864 | 2387038 | 2214 2561 | 0 | 0 311.64/311.76 c 311s | 23 | 3140102 | 2401138 | 2214 2572 | 0 | 0 313.64/313.77 c 313s | 23 | 3158135 | 2414938 | 2214 2584 | 0 | 0 315.65/315.78 c 315s | 23 | 3176831 | 2429138 | 2214 2596 | 0 | 0 317.64/317.78 c 317s | 23 | 3195406 | 2443138 | 2214 2607 | 0 | 0 319.64/319.80 c 319s | 23 | 3214988 | 2457238 | 2214 2619 | 0 | 0 321.74/321.80 c 321s | 23 | 3233004 | 2470738 | 2214 2630 | 0 | 0 323.74/323.82 c 323s | 23 | 3252153 | 2484438 | 2214 2642 | 0 | 0 325.74/325.82 c 325s | 23 | 3270494 | 2498438 | 2214 2653 | 0 | 0 327.74/327.82 c 327s | 23 | 3287583 | 2511338 | 2214 2664 | 0 | 0 329.74/329.83 c 329s | 23 | 3303673 | 2523638 | 2214 2674 | 0 | 0 331.74/331.83 c 331s | 23 | 3321601 | 2536938 | 2214 2685 | 0 | 0 333.74/333.83 c 333s | 23 | 3341727 | 2551338 | 2214 2697 | 0 | 0 335.73/335.84 c 335s | 23 | 3361713 | 2566038 | 2214 2709 | 0 | 0 337.74/337.85 c 337s | 23 | 3381129 | 2580538 | 2214 2721 | 0 | 0 339.73/339.86 c 339s | 23 | 3400062 | 2594938 | 2214 2733 | 0 | 0 341.74/341.87 c 341s | 23 | 3418746 | 2609138 | 2214 2745 | 0 | 0 343.74/343.87 c 343s | 23 | 3436873 | 2622938 | 2214 2757 | 0 | 0 345.74/345.87 c 345s | 23 | 3455310 | 2636038 | 2214 2768 | 0 | 0 347.74/347.88 c 347s | 23 | 3473001 | 2649138 | 2214 2778 | 0 | 0 349.75/349.89 c 349s | 23 | 3491047 | 2662838 | 2214 2790 | 0 | 0 351.74/351.90 c 351s | 23 | 3509634 | 2676938 | 2214 2801 | 0 | 0 353.84/353.90 c 353s | 23 | 3526715 | 2690238 | 2214 2812 | 0 | 0 355.84/355.91 c 355s | 23 | 3545040 | 2703838 | 2214 2824 | 0 | 0 357.84/357.92 c 357s | 23 | 3565842 | 2718238 | 2214 2835 | 0 | 0 359.84/359.93 c 359s | 23 | 3582442 | 2731338 | 2214 2846 | 0 | 0 361.84/361.94 c 361s | 23 | 3601932 | 2745738 | 2214 2858 | 0 | 0 363.83/363.94 c 363s | 23 | 3621177 | 2759838 | 2214 2870 | 0 | 0 365.83/365.96 c 365s | 23 | 3639623 | 2773638 | 2214 2881 | 0 | 0 367.83/367.96 c 367s | 23 | 3658310 | 2787338 | 2214 2893 | 0 | 0 369.83/369.97 c 369s | 23 | 3678517 | 2801438 | 2214 2904 | 0 | 0 371.84/371.98 c 371s | 23 | 3698467 | 2816138 | 2214 2916 | 0 | 0 373.83/374.00 c 373s | 23 | 3717547 | 2830038 | 2214 2928 | 0 | 0 375.93/376.00 c 375s | 23 | 3735738 | 2843538 | 2214 2939 | 0 | 0 377.93/378.01 c 377s | 23 | 3752137 | 2856438 | 2214 2950 | 0 | 0 379.93/380.01 c 379s | 23 | 3769369 | 2869538 | 2214 2961 | 0 | 0 381.93/382.01 c 381s | 23 | 3786366 | 2882938 | 2214 2972 | 0 | 0 383.93/384.02 c 384s | 23 | 3803684 | 2895738 | 2214 2983 | 0 | 0 385.93/386.04 c 386s | 23 | 3820836 | 2908738 | 2214 2993 | 0 | 0 387.93/388.05 c 388s | 23 | 3839297 | 2922438 | 2214 3005 | 0 | 0 389.93/390.06 c 390s | 23 | 3858499 | 2936638 | 2214 3016 | 0 | 0 391.93/392.06 c 392s | 23 | 3876400 | 2949938 | 2214 3028 | 0 | 0 393.93/394.07 c 394s | 23 | 3894607 | 2963138 | 2214 3039 | 0 | 0 395.93/396.08 c 396s | 23 | 3913510 | 2977338 | 2214 3050 | 0 | 0 397.92/398.09 c 398s | 23 | 3931525 | 2991138 | 2214 3062 | 0 | 0 400.02/400.10 c 400s | 23 | 3949229 | 3004838 | 2214 3073 | 0 | 0 402.02/402.11 c 402s | 23 | 3967512 | 3018538 | 2214 3085 | 0 | 0 404.02/404.12 c 404s | 23 | 3986950 | 3032538 | 2214 3096 | 0 | 0 406.02/406.13 c 406s | 23 | 4005630 | 3045838 | 2214 3108 | 0 | 0 408.03/408.14 c 408s | 23 | 4023462 | 3059338 | 2214 3119 | 0 | 0 410.02/410.14 c 410s | 23 | 4041517 | 3073338 | 2214 3130 | 0 | 0 412.02/412.15 c 412s | 23 | 4059942 | 3087738 | 2214 3142 | 0 | 0 414.02/414.15 c 414s | 23 | 4078713 | 3101538 | 2214 3154 | 0 | 0 416.02/416.16 c 416s | 23 | 4097171 | 3115538 | 2214 3165 | 0 | 0 418.03/418.16 c 418s | 23 | 4115278 | 3129038 | 2214 3176 | 0 | 0 420.02/420.16 c 420s | 23 | 4133413 | 3143038 | 2214 3188 | 0 | 0 422.02/422.17 c 422s | 23 | 4150382 | 3156238 | 2214 3199 | 0 | 0 424.02/424.18 c 424s | 23 | 4169256 | 3169738 | 2214 3210 | 0 | 0 426.02/426.19 c 426s | 23 | 4187631 | 3183038 | 2214 3221 | 0 | 0 428.02/428.19 c 428s | 23 | 4206052 | 3196638 | 2214 3233 | 0 | 0 430.13/430.21 c 430s | 23 | 4225112 | 3210638 | 2214 3244 | 0 | 0 432.12/432.21 c 432s | 23 | 4242769 | 3224338 | 2214 3256 | 0 | 0 434.13/434.23 c 434s | 23 | 4261073 | 3237938 | 2214 3267 | 0 | 0 436.13/436.23 c 436s | 23 | 4279491 | 3251638 | 2214 3279 | 0 | 0 438.13/438.24 c 438s | 23 | 4295736 | 3264238 | 2214 3289 | 0 | 0 440.13/440.26 c 440s | 23 | 4313063 | 3277638 | 2214 3300 | 0 | 0 442.13/442.27 c 442s | 23 | 4330824 | 3291138 | 2214 3312 | 0 | 0 444.12/444.28 c 444s | 23 | 4350891 | 3306038 | 2214 3324 | 0 | 0 446.12/446.28 c 446s | 23 | 4367994 | 3318638 | 2214 3335 | 0 | 0 448.12/448.29 c 448s | 23 | 4385104 | 3331638 | 2214 3345 | 0 | 0 450.22/450.30 c 450s | 23 | 4402888 | 3345038 | 2214 3357 | 0 | 0 452.22/452.31 c 452s | 23 | 4421075 | 3358238 | 2436 3367 | 0 | 0 454.23/454.32 c 454s | 23 | 4436530 | 3370038 | 2436 3376 | 0 | 0 455.33/455.45 c 455s | 24 | 4445269 | 3376662 | 2436 3381 | 0 | 0 457.32/457.45 c 457s | 24 | 4463409 | 3390162 | 2436 3391 | 0 | 0 459.32/459.46 c 459s | 24 | 4479793 | 3402862 | 2436 3401 | 0 | 0 461.32/461.47 c 461s | 24 | 4496605 | 3415362 | 2436 3411 | 0 | 0 463.32/463.48 c 463s | 24 | 4513446 | 3428562 | 2436 3421 | 0 | 0 465.32/465.49 c 465s | 24 | 4528372 | 3440262 | 2436 3429 | 0 | 0 467.32/467.50 c 467s | 24 | 4543723 | 3452262 | 2436 3438 | 0 | 0 469.42/469.51 c 469s | 24 | 4558065 | 3464362 | 2436 3448 | 0 | 0 471.41/471.51 c 471s | 24 | 4576229 | 3477962 | 2436 3458 | 0 | 0 473.41/473.52 c 473s | 24 | 4594229 | 3491662 | 2436 3468 | 0 | 0 475.41/475.52 c 475s | 24 | 4610069 | 3503962 | 2436 3478 | 0 | 0 477.42/477.53 c 477s | 24 | 4626724 | 3516662 | 2436 3487 | 0 | 0 479.41/479.53 c 479s | 24 | 4644055 | 3529962 | 2436 3497 | 0 | 0 481.41/481.55 c 481s | 24 | 4660170 | 3542062 | 2436 3507 | 0 | 0 483.41/483.55 c 483s | 24 | 4677407 | 3555162 | 2436 3516 | 0 | 0 485.41/485.55 c 485s | 24 | 4694187 | 3568262 | 2436 3526 | 0 | 0 487.41/487.57 c 487s | 24 | 4711339 | 3581462 | 2436 3536 | 0 | 0 489.42/489.57 c 489s | 24 | 4727497 | 3593962 | 2436 3546 | 0 | 0 491.41/491.57 c 491s | 24 | 4745147 | 3606962 | 2436 3556 | 0 | 0 493.42/493.57 c 493s | 24 | 4762849 | 3620262 | 2436 3566 | 0 | 0 495.42/495.58 c 495s | 24 | 4779204 | 3632762 | 2436 3576 | 0 | 0 497.41/497.58 c 497s | 24 | 4795459 | 3644962 | 2436 3585 | 0 | 0 499.51/499.60 c 499s | 24 | 4811343 | 3657462 | 2436 3594 | 0 | 0 501.52/501.62 c 501s | 24 | 4828044 | 3670662 | 2436 3605 | 0 | 0 503.51/503.62 c 503s | 24 | 4843893 | 3683062 | 2436 3614 | 0 | 0 505.51/505.63 c 505s | 24 | 4860856 | 3695862 | 2436 3624 | 0 | 0 507.52/507.63 c 507s | 24 | 4877563 | 3708762 | 2436 3634 | 0 | 0 509.51/509.65 c 509s | 24 | 4892876 | 3721162 | 2436 3643 | 0 | 0 511.52/511.66 c 511s | 24 | 4908343 | 3733262 | 2436 3652 | 0 | 0 513.51/513.66 c 513s | 24 | 4924747 | 3746162 | 2436 3662 | 0 | 0 515.51/515.66 c 515s | 24 | 4942667 | 3759462 | 2436 3672 | 0 | 0 517.51/517.68 c 517s | 24 | 4960204 | 3772462 | 2436 3682 | 0 | 0 519.51/519.69 c 519s | 24 | 4977880 | 3786162 | 2436 3693 | 0 | 0 521.61/521.71 c 521s | 24 | 4994786 | 3799362 | 2436 3703 | 0 | 0 523.62/523.71 c 523s | 24 | 5013433 | 3813662 | 2436 3714 | 0 | 0 525.61/525.72 c 525s | 24 | 5030895 | 3827362 | 2436 3724 | 0 | 0 527.61/527.72 c 527s | 24 | 5049984 | 3841262 | 2436 3735 | 0 | 0 529.61/529.73 c 529s | 24 | 5067889 | 3855062 | 2436 3745 | 0 | 0 531.61/531.74 c 531s | 24 | 5085126 | 3868462 | 2436 3755 | 0 | 0 533.61/533.74 c 533s | 24 | 5102482 | 3881862 | 2436 3766 | 0 | 0 535.61/535.75 c 535s | 24 | 5120591 | 3895762 | 2436 3776 | 0 | 0 537.61/537.76 c 537s | 24 | 5135096 | 3907462 | 2436 3785 | 0 | 0 539.61/539.78 c 539s | 24 | 5151166 | 3919862 | 2436 3794 | 0 | 0 541.61/541.78 c 541s | 24 | 5165646 | 3931262 | 2436 3803 | 0 | 0 543.71/543.80 c 543s | 24 | 5181687 | 3943462 | 2436 3812 | 0 | 0 545.70/545.82 c 545s | 24 | 5197816 | 3955462 | 2436 3822 | 0 | 0 547.71/547.83 c 547s | 24 | 5214067 | 3967462 | 2436 3831 | 0 | 0 549.70/549.83 c 549s | 24 | 5231154 | 3980362 | 2436 3841 | 0 | 0 551.70/551.84 c 551s | 24 | 5249803 | 3994662 | 2436 3851 | 0 | 0 553.70/553.85 c 553s | 24 | 5267857 | 4008462 | 2436 3862 | 0 | 0 555.70/555.86 c 555s | 24 | 5284383 | 4021662 | 2436 3872 | 0 | 0 557.71/557.86 c 557s | 24 | 5301180 | 4034662 | 2436 3882 | 0 | 0 559.70/559.87 c 559s | 24 | 5317942 | 4047462 | 2436 3892 | 0 | 0 561.70/561.87 c 561s | 24 | 5332392 | 4059162 | 2436 3900 | 0 | 0 563.71/563.89 c 563s | 24 | 5348982 | 4072062 | 2436 3910 | 0 | 0 565.81/565.90 c 565s | 24 | 5366346 | 4085162 | 2436 3920 | 0 | 0 567.80/567.90 c 567s | 24 | 5383103 | 4098162 | 2436 3930 | 0 | 0 569.81/569.91 c 569s | 24 | 5402161 | 4112362 | 2436 3941 | 0 | 0 571.80/571.91 c 571s | 24 | 5419439 | 4125362 | 2436 3951 | 0 | 0 573.80/573.93 c 573s | 24 | 5436451 | 4138362 | 2436 3961 | 0 | 0 575.80/575.94 c 575s | 24 | 5452420 | 4150362 | 2436 3970 | 0 | 0 577.80/577.95 c 577s | 24 | 5469577 | 4163062 | 2436 3980 | 0 | 0 579.80/579.95 c 579s | 24 | 5486447 | 4175862 | 2436 3989 | 0 | 0 581.81/581.95 c 581s | 24 | 5503245 | 4188662 | 2436 3999 | 0 | 0 583.80/583.96 c 583s | 24 | 5521619 | 4202462 | 2436 4010 | 0 | 0 585.80/585.96 c 585s | 24 | 5538532 | 4215262 | 2436 4019 | 0 | 0 587.80/587.97 c 587s | 24 | 5555850 | 4228162 | 2436 4029 | 0 | 0 589.80/589.97 c 589s | 24 | 5575107 | 4242062 | 2436 4040 | 0 | 0 591.80/591.98 c 591s | 24 | 5594923 | 4256462 | 2436 4051 | 0 | 0 593.79/593.99 c 593s | 24 | 5612818 | 4269662 | 2436 4061 | 0 | 0 595.89/596.00 c 595s | 24 | 5632837 | 4283962 | 2436 4072 | 0 | 0 597.89/598.01 c 597s | 24 | 5650508 | 4297362 | 2436 4082 | 0 | 0 599.89/600.01 c 599s | 24 | 5669465 | 4311362 | 2436 4093 | 0 | 0 601.89/602.02 c 602s | 24 | 5687849 | 4324962 | 2436 4103 | 0 | 0 603.90/604.03 c 604s | 24 | 5706395 | 4338962 | 2436 4114 | 0 | 0 605.89/606.04 c 606s | 24 | 5720756 | 4350562 | 2436 4123 | 0 | 0 607.89/608.05 c 608s | 24 | 5736960 | 4363162 | 2436 4132 | 0 | 0 609.89/610.05 c 610s | 24 | 5754527 | 4376462 | 2436 4142 | 0 | 0 611.89/612.05 c 612s | 24 | 5770137 | 4389162 | 2436 4152 | 0 | 0 613.89/614.07 c 614s | 24 | 5789146 | 4403762 | 2436 4163 | 0 | 0 615.90/616.08 c 616s | 24 | 5807516 | 4417862 | 2436 4174 | 0 | 0 617.89/618.09 c 618s | 24 | 5824919 | 4431262 | 2436 4184 | 0 | 0 619.99/620.10 c 620s | 24 | 5842366 | 4444362 | 2436 4194 | 0 | 0 621.99/622.10 c 622s | 24 | 5861116 | 4458462 | 2436 4205 | 0 | 0 624.00/624.12 c 624s | 24 | 5877539 | 4471062 | 2436 4214 | 0 | 0 626.00/626.12 c 626s | 24 | 5894478 | 4484162 | 2436 4224 | 0 | 0 628.00/628.12 c 628s | 24 | 5909846 | 4496562 | 2436 4234 | 0 | 0 630.00/630.14 c 630s | 24 | 5925221 | 4508962 | 2436 4243 | 0 | 0 631.99/632.14 c 632s | 24 | 5942368 | 4522462 | 2436 4253 | 0 | 0 633.99/634.14 c 634s | 24 | 5958416 | 4535062 | 2436 4263 | 0 | 0 635.99/636.14 c 636s | 24 | 5975707 | 4547562 | 2436 4273 | 0 | 0 638.00/638.15 c 638s | 24 | 5994914 | 4561562 | 2436 4283 | 0 | 0 639.99/640.16 c 640s | 24 | 6013795 | 4575262 | 2436 4294 | 0 | 0 641.99/642.16 c 642s | 24 | 6029987 | 4587962 | 2436 4303 | 0 | 0 643.99/644.16 c 644s | 24 | 6047756 | 4601562 | 2436 4314 | 0 | 0 645.99/646.17 c 646s | 24 | 6062886 | 4613662 | 2436 4323 | 0 | 0 647.99/648.19 c 648s | 24 | 6078005 | 4625762 | 2436 4332 | 0 | 0 650.10/650.20 c 650s | 24 | 6097855 | 4640262 | 2436 4343 | 0 | 0 652.09/652.21 c 652s | 24 | 6114132 | 4652862 | 2436 4353 | 0 | 0 654.09/654.22 c 654s | 24 | 6133745 | 4667462 | 2436 4364 | 0 | 0 656.09/656.23 c 656s | 24 | 6152674 | 4681462 | 2436 4375 | 0 | 0 658.08/658.23 c 658s | 24 | 6169336 | 4694562 | 2436 4385 | 0 | 0 660.08/660.24 c 660s | 24 | 6184832 | 4707262 | 2436 4394 | 0 | 0 662.09/662.25 c 662s | 24 | 6202149 | 4720762 | 2436 4404 | 0 | 0 664.08/664.26 c 664s | 24 | 6217611 | 4733362 | 2436 4414 | 0 | 0 666.08/666.26 c 666s | 24 | 6234523 | 4746662 | 2436 4424 | 0 | 0 668.08/668.27 c 668s | 24 | 6252205 | 4760362 | 2436 4434 | 0 | 0 670.08/670.28 c 670s | 24 | 6268116 | 4772662 | 2436 4444 | 0 | 0 672.09/672.28 c 672s | 24 | 6284645 | 4785362 | 2436 4453 | 0 | 0 674.08/674.29 c 674s | 24 | 6300216 | 4797362 | 2436 4463 | 0 | 0 676.19/676.30 c 676s | 24 | 6317253 | 4810162 | 2436 4472 | 0 | 0 678.19/678.31 c 678s | 24 | 6334122 | 4822962 | 2436 4482 | 0 | 0 680.19/680.32 c 680s | 24 | 6350252 | 4835362 | 2436 4492 | 0 | 0 682.19/682.33 c 682s | 24 | 6365389 | 4847262 | 2436 4501 | 0 | 0 684.20/684.33 c 684s | 24 | 6380950 | 4859362 | 2436 4510 | 0 | 0 686.19/686.36 c 686s | 24 | 6397361 | 4871962 | 2436 4520 | 0 | 0 688.19/688.37 c 688s | 24 | 6414569 | 4885262 | 2436 4530 | 0 | 0 690.19/690.38 c 690s | 24 | 6432016 | 4898362 | 2436 4540 | 0 | 0 692.19/692.38 c 692s | 24 | 6449230 | 4911462 | 2436 4550 | 0 | 0 694.19/694.38 c 694s | 24 | 6466445 | 4924762 | 2436 4560 | 0 | 0 696.19/696.40 c 696s | 24 | 6486061 | 4938962 | 2436 4571 | 0 | 0 698.28/698.42 c 698s | 24 | 6503457 | 4953162 | 2436 4582 | 0 | 0 700.28/700.43 c 700s | 24 | 6517981 | 4964962 | 2436 4591 | 0 | 0 702.28/702.44 c 702s | 24 | 6531922 | 4976562 | 2436 4599 | 0 | 0 704.28/704.44 c 704s | 24 | 6548143 | 4989162 | 2436 4609 | 0 | 0 706.28/706.45 c 706s | 24 | 6565599 | 5002062 | 2436 4619 | 0 | 0 708.28/708.46 c 708s | 24 | 6582119 | 5015062 | 2436 4629 | 0 | 0 710.28/710.47 c 710s | 24 | 6599749 | 5028562 | 2436 4639 | 0 | 0 712.27/712.48 c 712s | 24 | 6616833 | 5041462 | 2680 4648 | 0 | 0 714.27/714.49 c 714s | 24 | 6636460 | 5055562 | 2680 4658 | 0 | 0 715.67/715.89 c 715s | 25 | 6649076 | 5065098 | 2680 4664 | 0 | 0 717.77/717.90 c 717s | 25 | 6667178 | 5078898 | 2680 4674 | 0 | 0 719.77/719.91 c 719s | 25 | 6683734 | 5091398 | 2680 4684 | 0 | 0 721.76/721.92 c 721s | 25 | 6702234 | 5105298 | 2680 4694 | 0 | 0 723.77/723.93 c 723s | 25 | 6720080 | 5118998 | 2680 4704 | 0 | 0 725.76/725.95 c 725s | 25 | 6737007 | 5132098 | 2680 4713 | 0 | 0 727.76/727.95 c 727s | 25 | 6755399 | 5146198 | 2680 4723 | 0 | 0 729.76/729.97 c 729s | 25 | 6775203 | 5160998 | 2680 4733 | 0 | 0 731.76/731.97 c 731s | 25 | 6793242 | 5174898 | 2680 4743 | 0 | 0 733.76/733.99 c 733s | 25 | 6810748 | 5188898 | 2680 4752 | 0 | 0 735.77/735.99 c 735s | 25 | 6829137 | 5203098 | 2680 4762 | 0 | 0 737.76/737.99 c 737s | 25 | 6848233 | 5217198 | 2680 4772 | 0 | 0 739.86/740.01 c 739s | 25 | 6864210 | 5229898 | 2680 4781 | 0 | 0 741.86/742.02 c 742s | 25 | 6881924 | 5243598 | 2680 4790 | 0 | 0 743.86/744.03 c 744s | 25 | 6898296 | 5256298 | 2680 4799 | 0 | 0 745.86/746.03 c 746s | 25 | 6915783 | 5269598 | 2680 4809 | 0 | 0 747.86/748.04 c 748s | 25 | 6934774 | 5283798 | 2680 4818 | 0 | 0 749.86/750.05 c 750s | 25 | 6953199 | 5297898 | 2680 4828 | 0 | 0 751.85/752.06 c 752s | 25 | 6971221 | 5312198 | 2680 4838 | 0 | 0 753.85/754.07 c 754s | 25 | 6989795 | 5325998 | 2680 4848 | 0 | 0 755.85/756.08 c 756s | 25 | 7007313 | 5339298 | 2680 4857 | 0 | 0 757.95/758.10 c 758s | 25 | 7022929 | 5351498 | 2680 4866 | 0 | 0 759.95/760.11 c 760s | 25 | 7040276 | 5364698 | 2680 4875 | 0 | 0 761.94/762.12 c 762s | 25 | 7057759 | 5378098 | 2680 4884 | 0 | 0 763.94/764.12 c 764s | 25 | 7075864 | 5391898 | 2680 4894 | 0 | 0 765.94/766.12 c 766s | 25 | 7091632 | 5404298 | 2680 4902 | 0 | 0 767.94/768.12 c 768s | 25 | 7108649 | 5416998 | 2680 4911 | 0 | 0 769.95/770.13 c 770s | 25 | 7125968 | 5429998 | 2680 4920 | 0 | 0 771.94/772.15 c 772s | 25 | 7142993 | 5443398 | 2680 4929 | 0 | 0 773.94/774.15 c 774s | 25 | 7158895 | 5455498 | 2680 4938 | 0 | 0 775.94/776.17 c 776s | 25 | 7174546 | 5467998 | 2680 4946 | 0 | 0 777.94/778.18 c 778s | 25 | 7191342 | 5480698 | 2680 4955 | 0 | 0 779.94/780.18 c 780s | 25 | 7207228 | 5492998 | 2680 4964 | 0 | 0 781.95/782.20 c 782s | 25 | 7222887 | 5504998 | 2680 4972 | 0 | 0 784.04/784.21 c 784s | 25 | 7238750 | 5516998 | 2680 4980 | 0 | 0 786.04/786.22 c 786s | 25 | 7254185 | 5528998 | 2680 4989 | 0 | 0 788.04/788.22 c 788s | 25 | 7270031 | 5541098 | 2680 4997 | 0 | 0 790.04/790.23 c 790s | 25 | 7286560 | 5553498 | 2680 5006 | 0 | 0 792.03/792.25 c 792s | 25 | 7303780 | 5566298 | 2680 5015 | 0 | 0 794.04/794.25 c 794s | 25 | 7319354 | 5578598 | 2680 5023 | 0 | 0 796.03/796.25 c 796s | 25 | 7334392 | 5590298 | 2680 5031 | 0 | 0 798.03/798.26 c 798s | 25 | 7348827 | 5601498 | 2680 5039 | 0 | 0 800.03/800.28 c 800s | 25 | 7363083 | 5612898 | 2680 5047 | 0 | 0 802.02/802.29 c 802s | 25 | 7378417 | 5624698 | 2680 5055 | 0 | 0 804.12/804.31 c 804s | 25 | 7393325 | 5636198 | 2680 5064 | 0 | 0 806.13/806.32 c 806s | 25 | 7408453 | 5648098 | 2680 5072 | 0 | 0 808.12/808.33 c 808s | 25 | 7423303 | 5660098 | 2680 5080 | 0 | 0 810.12/810.34 c 810s | 25 | 7436303 | 5670698 | 2680 5088 | 0 | 0 812.12/812.35 c 812s | 25 | 7451588 | 5682798 | 2680 5096 | 0 | 0 814.12/814.36 c 814s | 25 | 7468538 | 5695498 | 2680 5105 | 0 | 0 816.12/816.37 c 816s | 25 | 7483852 | 5707798 | 2680 5114 | 0 | 0 818.11/818.38 c 818s | 25 | 7498669 | 5719398 | 2680 5122 | 0 | 0 820.21/820.40 c 820s | 25 | 7514780 | 5732098 | 2680 5131 | 0 | 0 822.21/822.40 c 822s | 25 | 7533787 | 5746598 | 2680 5141 | 0 | 0 824.21/824.40 c 824s | 25 | 7549438 | 5758798 | 2680 5149 | 0 | 0 826.21/826.40 c 826s | 25 | 7565404 | 5771098 | 2680 5158 | 0 | 0 828.21/828.43 c 828s | 25 | 7581513 | 5783498 | 2680 5166 | 0 | 0 830.21/830.44 c 830s | 25 | 7596433 | 5795198 | 2680 5174 | 0 | 0 832.20/832.46 c 832s | 25 | 7611790 | 5806998 | 2680 5182 | 0 | 0 834.20/834.47 c 834s | 25 | 7628448 | 5819498 | 2680 5191 | 0 | 0 836.20/836.47 c 836s | 25 | 7643587 | 5831098 | 2680 5199 | 0 | 0 838.20/838.48 c 838s | 25 | 7659703 | 5843098 | 2680 5207 | 0 | 0 840.20/840.48 c 840s | 25 | 7674687 | 5854398 | 2680 5215 | 0 | 0 842.19/842.48 c 842s | 25 | 7689831 | 5865798 | 2680 5223 | 0 | 0 844.19/844.48 c 844s | 25 | 7705835 | 5877898 | 2680 5232 | 0 | 0 846.19/846.49 c 846s | 25 | 7720563 | 5889298 | 2680 5240 | 0 | 0 848.29/848.51 c 848s | 25 | 7735260 | 5900598 | 2680 5248 | 0 | 0 850.29/850.51 c 850s | 25 | 7751694 | 5913098 | 2680 5256 | 0 | 0 852.29/852.52 c 852s | 25 | 7767724 | 5925298 | 2680 5265 | 0 | 0 854.28/854.52 c 854s | 25 | 7784435 | 5937798 | 2680 5273 | 0 | 0 856.28/856.54 c 856s | 25 | 7799750 | 5949698 | 2680 5282 | 0 | 0 858.29/858.54 c 858s | 25 | 7815920 | 5962098 | 2680 5290 | 0 | 0 860.29/860.55 c 860s | 25 | 7831832 | 5974198 | 2680 5299 | 0 | 0 862.29/862.56 c 862s | 25 | 7847438 | 5986598 | 2680 5307 | 0 | 0 864.28/864.56 c 864s | 25 | 7864574 | 5999698 | 2680 5316 | 0 | 0 866.28/866.57 c 866s | 25 | 7881027 | 6012098 | 2680 5325 | 0 | 0 868.28/868.57 c 868s | 25 | 7897703 | 6024798 | 2680 5334 | 0 | 0 870.28/870.58 c 870s | 25 | 7914913 | 6037098 | 2680 5342 | 0 | 0 872.38/872.60 c 872s | 25 | 7931450 | 6049198 | 2680 5351 | 0 | 0 874.38/874.61 c 874s | 25 | 7948129 | 6061498 | 2680 5359 | 0 | 0 876.37/876.62 c 876s | 25 | 7964177 | 6074198 | 2680 5368 | 0 | 0 878.37/878.62 c 878s | 25 | 7983154 | 6088498 | 2680 5378 | 0 | 0 880.37/880.64 c 880s | 25 | 7999586 | 6101798 | 2680 5387 | 0 | 0 882.37/882.64 c 882s | 25 | 8013068 | 6113298 | 2680 5395 | 0 | 0 884.37/884.66 c 884s | 25 | 8027391 | 6125398 | 2680 5404 | 0 | 0 886.38/886.67 c 886s | 25 | 8043556 | 6137898 | 2680 5412 | 0 | 0 888.37/888.68 c 888s | 25 | 8060162 | 6150398 | 2680 5421 | 0 | 0 890.37/890.69 c 890s | 25 | 8077092 | 6163198 | 2680 5430 | 0 | 0 892.36/892.69 c 892s | 25 | 8093178 | 6175598 | 2680 5438 | 0 | 0 894.46/894.70 c 894s | 25 | 8109200 | 6188098 | 2680 5447 | 0 | 0 896.46/896.71 c 896s | 25 | 8127817 | 6202598 | 2680 5457 | 0 | 0 898.47/898.71 c 898s | 25 | 8142921 | 6214998 | 2680 5466 | 0 | 0 900.46/900.75 c 900s | 25 | 8159636 | 6227698 | 2680 5474 | 0 | 0 902.45/902.75 c 902s | 25 | 8179240 | 6241798 | 2680 5484 | 0 | 0 904.45/904.76 c 904s | 25 | 8197528 | 6255498 | 2680 5494 | 0 | 0 906.45/906.77 c 906s | 25 | 8214678 | 6268798 | 2680 5503 | 0 | 0 908.46/908.78 c 908s | 25 | 8234567 | 6283598 | 2680 5514 | 0 | 0 910.45/910.78 c 910s | 25 | 8253709 | 6297998 | 2680 5524 | 0 | 0 912.45/912.79 c 912s | 25 | 8273374 | 6312698 | 2680 5534 | 0 | 0 914.55/914.80 c 914s | 25 | 8292621 | 6326998 | 2680 5544 | 0 | 0 916.55/916.80 c 916s | 25 | 8311087 | 6340898 | 2680 5554 | 0 | 0 918.55/918.82 c 918s | 25 | 8329050 | 6354598 | 2680 5563 | 0 | 0 920.55/920.82 c 920s | 25 | 8347048 | 6367998 | 2680 5573 | 0 | 0 922.54/922.84 c 922s | 25 | 8365883 | 6381998 | 2680 5582 | 0 | 0 924.54/924.85 c 924s | 25 | 8385794 | 6396398 | 2680 5592 | 0 | 0 926.54/926.85 c 926s | 25 | 8405786 | 6410598 | 2680 5602 | 0 | 0 928.54/928.87 c 928s | 25 | 8424370 | 6424698 | 2680 5612 | 0 | 0 930.54/930.87 c 930s | 25 | 8441262 | 6437598 | 2680 5621 | 0 | 0 932.54/932.87 c 932s | 25 | 8460121 | 6451898 | 2680 5632 | 0 | 0 934.53/934.89 c 934s | 25 | 8477063 | 6464998 | 2680 5641 | 0 | 0 936.53/936.89 c 936s | 25 | 8494910 | 6478698 | 2680 5650 | 0 | 0 938.63/938.90 c 938s | 25 | 8509886 | 6490698 | 2680 5659 | 0 | 0 940.63/940.91 c 940s | 25 | 8525338 | 6502698 | 2680 5667 | 0 | 0 942.63/942.93 c 942s | 25 | 8542019 | 6515398 | 2680 5676 | 0 | 0 944.63/944.94 c 944s | 25 | 8558395 | 6528098 | 2680 5685 | 0 | 0 946.62/946.95 c 946s | 25 | 8574477 | 6540698 | 2680 5694 | 0 | 0 948.62/948.97 c 948s | 25 | 8590168 | 6553498 | 2680 5703 | 0 | 0 950.62/950.97 c 950s | 25 | 8606216 | 6565698 | 2680 5712 | 0 | 0 952.62/952.98 c 952s | 25 | 8625215 | 6579198 | 2680 5721 | 0 | 0 954.63/954.99 c 954s | 25 | 8640745 | 6591398 | 2680 5730 | 0 | 0 956.73/957.00 c 956s | 25 | 8657014 | 6603898 | 2680 5739 | 0 | 0 958.72/959.01 c 958s | 25 | 8673005 | 6616398 | 2680 5747 | 0 | 0 960.72/961.01 c 960s | 25 | 8689333 | 6628898 | 2680 5756 | 0 | 0 962.72/963.03 c 963s | 25 | 8706906 | 6642598 | 2680 5766 | 0 | 0 964.72/965.04 c 965s | 25 | 8723142 | 6655598 | 2680 5775 | 0 | 0 966.73/967.04 c 967s | 25 | 8741035 | 6669098 | 2680 5784 | 0 | 0 968.72/969.06 c 969s | 25 | 8759536 | 6683198 | 2680 5794 | 0 | 0 970.72/971.07 c 971s | 25 | 8774322 | 6694998 | 2680 5802 | 0 | 0 972.72/973.08 c 973s | 25 | 8791573 | 6707998 | 2680 5812 | 0 | 0 974.72/975.09 c 975s | 25 | 8808731 | 6721398 | 2680 5821 | 0 | 0 976.71/977.09 c 977s | 25 | 8825308 | 6734298 | 2680 5830 | 0 | 0 978.72/979.10 c 979s | 25 | 8840820 | 6746598 | 2680 5839 | 0 | 0 980.81/981.12 c 981s | 25 | 8858429 | 6760098 | 2680 5848 | 0 | 0 982.81/983.14 c 983s | 25 | 8876630 | 6773598 | 2680 5858 | 0 | 0 984.81/985.14 c 985s | 25 | 8891985 | 6785798 | 2680 5866 | 0 | 0 986.81/987.14 c 987s | 25 | 8909542 | 6799398 | 2680 5876 | 0 | 0 988.81/989.15 c 989s | 25 | 8929085 | 6814498 | 2680 5886 | 0 | 0 990.81/991.15 c 991s | 25 | 8946893 | 6828398 | 2680 5896 | 0 | 0 992.80/993.15 c 993s | 25 | 8964339 | 6841998 | 2680 5905 | 0 | 0 994.80/995.16 c 995s | 25 | 8982171 | 6855798 | 2680 5915 | 0 | 0 996.80/997.17 c 997s | 25 | 8999354 | 6868998 | 2680 5924 | 0 | 0 998.80/999.18 c 999s | 25 | 9016351 | 6881598 | 2680 5933 | 0 | 0 1000.90/1001.20 c 1001s | 25 | 9033736 | 6894398 | 2680 5942 | 0 | 0 1002.91/1003.20 c 1003s | 25 | 9051350 | 6907698 | 2680 5952 | 0 | 0 1004.90/1005.22 c 1005s | 25 | 9068694 | 6921198 | 2680 5961 | 0 | 0 1006.90/1007.22 c 1007s | 25 | 9086455 | 6934198 | 2680 5970 | 0 | 0 1008.90/1009.24 c 1009s | 25 | 9104761 | 6947998 | 2680 5980 | 0 | 0 1010.89/1011.24 c 1011s | 25 | 9120511 | 6959998 | 2680 5988 | 0 | 0 1012.90/1013.26 c 1013s | 25 | 9137897 | 6972998 | 2680 5998 | 0 | 0 1014.89/1015.28 c 1015s | 25 | 9156415 | 6986998 | 2680 6007 | 0 | 0 1016.99/1017.30 c 1017s | 25 | 9170746 | 6998498 | 2680 6016 | 0 | 0 1018.99/1019.30 c 1019s | 25 | 9188988 | 7011798 | 2680 6025 | 0 | 0 1020.99/1021.32 c 1021s | 25 | 9205783 | 7024798 | 2680 6034 | 0 | 0 1022.99/1023.32 c 1023s | 25 | 9221429 | 7036698 | 2680 6042 | 0 | 0 1024.99/1025.33 c 1025s | 25 | 9238273 | 7049298 | 2680 6051 | 0 | 0 1026.99/1027.33 c 1027s | 25 | 9252722 | 7061098 | 2680 6060 | 0 | 0 1028.98/1029.35 c 1029s | 25 | 9265938 | 7072098 | 2680 6067 | 0 | 0 1030.98/1031.35 c 1031s | 25 | 9280648 | 7083698 | 2680 6075 | 0 | 0 1032.98/1033.35 c 1033s | 25 | 9296050 | 7095798 | 2680 6084 | 0 | 0 1034.98/1035.36 c 1035s | 25 | 9312019 | 7107798 | 2680 6092 | 0 | 0 1036.98/1037.37 c 1037s | 25 | 9329506 | 7120698 | 2680 6102 | 0 | 0 1038.98/1039.37 c 1039s | 25 | 9345145 | 7133198 | 2680 6110 | 0 | 0 1040.97/1041.38 c 1041s | 25 | 9360847 | 7145898 | 2680 6119 | 0 | 0 1043.07/1043.40 c 1043s | 25 | 9377721 | 7158998 | 2680 6129 | 0 | 0 1045.07/1045.41 c 1045s | 25 | 9396262 | 7172898 | 2680 6138 | 0 | 0 1047.08/1047.43 c 1047s | 25 | 9414143 | 7186598 | 2680 6148 | 0 | 0 1049.09/1049.43 c 1049s | 25 | 9432783 | 7200698 | 2680 6158 | 0 | 0 1051.07/1051.44 c 1051s | 25 | 9451440 | 7214498 | 2680 6168 | 0 | 0 1053.07/1053.44 c 1053s | 25 | 9469282 | 7228398 | 2680 6177 | 0 | 0 1055.07/1055.44 c 1055s | 25 | 9486322 | 7241398 | 2680 6187 | 0 | 0 1057.07/1057.45 c 1057s | 25 | 9503324 | 7254398 | 2680 6196 | 0 | 0 1059.08/1059.47 c 1059s | 25 | 9520750 | 7267498 | 2680 6205 | 0 | 0 1061.07/1061.47 c 1061s | 25 | 9540982 | 7282698 | 2680 6216 | 0 | 0 1063.07/1063.48 c 1063s | 25 | 9561281 | 7297498 | 2680 6226 | 0 | 0 1065.16/1065.50 c 1065s | 25 | 9579587 | 7311898 | 2680 6236 | 0 | 0 1067.16/1067.50 c 1067s | 25 | 9597296 | 7325398 | 2680 6246 | 0 | 0 1069.16/1069.51 c 1069s | 25 | 9615264 | 7339298 | 2680 6256 | 0 | 0 1071.17/1071.51 c 1071s | 25 | 9635819 | 7354598 | 2680 6266 | 0 | 0 1073.16/1073.51 c 1073s | 25 | 9654008 | 7368498 | 2680 6276 | 0 | 0 1075.16/1075.52 c 1075s | 25 | 9673158 | 7382598 | 2680 6286 | 0 | 0 1077.16/1077.53 c 1077s | 25 | 9690800 | 7396098 | 2680 6296 | 0 | 0 1079.16/1079.54 c 1079s | 25 | 9708424 | 7409298 | 2680 6305 | 0 | 0 1081.15/1081.54 c 1081s | 25 | 9729020 | 7424098 | 2680 6315 | 0 | 0 1083.16/1083.55 c 1083s | 25 | 9748507 | 7438198 | 2680 6325 | 0 | 0 1085.15/1085.56 c 1085s | 25 | 9767470 | 7452698 | 2680 6335 | 0 | 0 1087.15/1087.57 c 1087s | 25 | 9786516 | 7466498 | 2680 6345 | 0 | 0 1089.15/1089.58 c 1089s | 25 | 9804518 | 7480198 | 2680 6355 | 0 | 0 1091.14/1091.59 c 1091s | 25 | 9821506 | 7493498 | 2680 6364 | 0 | 0 1093.15/1093.59 c 1093s | 25 | 9840112 | 7506898 | 2680 6374 | 0 | 0 1095.14/1095.60 c 1095s | 25 | 9859747 | 7521198 | 2680 6384 | 0 | 0 1097.24/1097.61 c 1097s | 25 | 9878267 | 7535198 | 2680 6394 | 0 | 0 1099.24/1099.62 c 1099s | 25 | 9896822 | 7549198 | 2949 6403 | 0 | 0 1101.23/1101.63 c 1101s | 25 | 9916777 | 7563898 | 2949 6412 | 0 | 0 1103.23/1103.64 c 1103s | 25 | 9935468 | 7577798 | 2949 6421 | 0 | 0 1105.24/1105.64 c 1105s | 25 | 9952186 | 7590598 | 2949 6429 | 0 | 0 1106.34/1106.71 c 1106s | 26 | 9961212 | 7597752 | 2949 6434 | 0 | 0 1108.33/1108.72 c 1108s | 26 | 9976701 | 7609852 | 2949 6442 | 0 | 0 1110.34/1110.73 c 1110s | 26 | 9992931 | 7622352 | 2949 6449 | 0 | 0 1112.33/1112.74 c 1112s | 26 | 10008838 | 7634652 | 2949 6457 | 0 | 0 1114.33/1114.76 c 1114s | 26 | 10024275 | 7646452 | 2949 6465 | 0 | 0 1116.33/1116.77 c 1116s | 26 | 10042232 | 7659752 | 2949 6473 | 0 | 0 1118.34/1118.78 c 1118s | 26 | 10060359 | 7673452 | 2949 6482 | 0 | 0 1120.33/1120.78 c 1120s | 26 | 10077790 | 7686952 | 2949 6490 | 0 | 0 1122.33/1122.79 c 1122s | 26 | 10094467 | 7699652 | 2949 6498 | 0 | 0 1124.33/1124.79 c 1124s | 26 | 10111055 | 7712452 | 2949 6506 | 0 | 0 1126.32/1126.79 c 1126s | 26 | 10127729 | 7725352 | 2949 6514 | 0 | 0 1128.42/1128.81 c 1128s | 26 | 10143488 | 7737752 | 2949 6522 | 0 | 0 1130.43/1130.82 c 1130s | 26 | 10160095 | 7750352 | 2949 6530 | 0 | 0 1132.41/1132.83 c 1132s | 26 | 10177126 | 7763152 | 2949 6538 | 0 | 0 1134.41/1134.84 c 1134s | 26 | 10193460 | 7775552 | 2949 6546 | 0 | 0 1136.41/1136.86 c 1136s | 26 | 10211879 | 7789052 | 2949 6555 | 0 | 0 1138.41/1138.86 c 1138s | 26 | 10230851 | 7803252 | 2949 6563 | 0 | 0 1140.42/1140.86 c 1140s | 26 | 10247568 | 7816252 | 2949 6572 | 0 | 0 1142.41/1142.86 c 1142s | 26 | 10265956 | 7829852 | 2949 6580 | 0 | 0 1144.42/1144.87 c 1144s | 26 | 10282763 | 7842652 | 2949 6588 | 0 | 0 1146.41/1146.88 c 1146s | 26 | 10300235 | 7856052 | 2949 6597 | 0 | 0 1148.41/1148.89 c 1148s | 26 | 10317557 | 7869352 | 2949 6605 | 0 | 0 1150.51/1150.90 c 1150s | 26 | 10333408 | 7881552 | 2949 6613 | 0 | 0 1152.51/1152.92 c 1152s | 26 | 10352018 | 7895352 | 2949 6622 | 0 | 0 1154.51/1154.92 c 1154s | 26 | 10367434 | 7907652 | 2949 6629 | 0 | 0 1156.51/1156.93 c 1156s | 26 | 10383591 | 7920452 | 2949 6637 | 0 | 0 1158.50/1158.93 c 1158s | 26 | 10400120 | 7933252 | 2949 6645 | 0 | 0 1160.50/1160.94 c 1160s | 26 | 10416827 | 7946252 | 2949 6654 | 0 | 0 1162.50/1162.95 c 1162s | 26 | 10434262 | 7959252 | 2949 6662 | 0 | 0 1164.51/1164.95 c 1164s | 26 | 10451076 | 7972352 | 2949 6670 | 0 | 0 1166.50/1166.96 c 1166s | 26 | 10467709 | 7985152 | 2949 6678 | 0 | 0 1168.50/1168.97 c 1168s | 26 | 10483552 | 7997252 | 2949 6686 | 0 | 0 1170.50/1170.98 c 1170s | 26 | 10500427 | 8010052 | 2949 6694 | 0 | 0 1172.50/1172.98 c 1172s | 26 | 10516380 | 8022552 | 2949 6702 | 0 | 0 1174.51/1174.99 c 1174s | 26 | 10534527 | 8036452 | 2949 6711 | 0 | 0 1176.50/1177.00 c 1176s | 26 | 10552573 | 8050252 | 2949 6719 | 0 | 0 1178.60/1179.02 c 1179s | 26 | 10569459 | 8063352 | 2949 6728 | 0 | 0 1180.60/1181.04 c 1181s | 26 | 10583988 | 8074652 | 2949 6735 | 0 | 0 1182.59/1183.04 c 1183s | 26 | 10601315 | 8087952 | 2949 6743 | 0 | 0 1184.59/1185.05 c 1185s | 26 | 10617772 | 8100352 | 2949 6751 | 0 | 0 1186.59/1187.06 c 1187s | 26 | 10633785 | 8112952 | 2949 6759 | 0 | 0 1188.59/1189.06 c 1189s | 26 | 10653131 | 8127452 | 2949 6768 | 0 | 0 1190.59/1191.07 c 1191s | 26 | 10671933 | 8141752 | 2949 6777 | 0 | 0 1192.58/1193.07 c 1193s | 26 | 10688818 | 8154952 | 2949 6785 | 0 | 0 1194.58/1195.08 c 1195s | 26 | 10704624 | 8166952 | 2949 6793 | 0 | 0 1196.58/1197.08 c 1197s | 26 | 10719174 | 8178252 | 2949 6800 | 0 | 0 1198.58/1199.10 c 1199s | 26 | 10733838 | 8189952 | 2949 6807 | 0 | 0 1200.68/1201.13 c 1201s | 26 | 10748456 | 8201252 | 2949 6815 | 0 | 0 1202.67/1203.14 c 1203s | 26 | 10763724 | 8213052 | 2949 6822 | 0 | 0 1204.67/1205.15 c 1205s | 26 | 10779167 | 8224752 | 2949 6829 | 0 | 0 1206.67/1207.15 c 1207s | 26 | 10793518 | 8235752 | 2949 6836 | 0 | 0 1208.67/1209.15 c 1209s | 26 | 10809562 | 8247552 | 2949 6844 | 0 | 0 1210.67/1211.17 c 1211s | 26 | 10826054 | 8260152 | 2949 6852 | 0 | 0 1212.66/1213.17 c 1213s | 26 | 10839696 | 8271252 | 2949 6859 | 0 | 0 1214.66/1215.17 c 1215s | 26 | 10854492 | 8283052 | 2949 6866 | 0 | 0 1216.66/1217.17 c 1217s | 26 | 10869595 | 8295052 | 2949 6874 | 0 | 0 1218.66/1219.17 c 1219s | 26 | 10884679 | 8307352 | 2949 6881 | 0 | 0 1220.68/1221.17 c 1221s | 26 | 10901388 | 8320152 | 2949 6889 | 0 | 0 1222.66/1223.18 c 1223s | 26 | 10917928 | 8332852 | 2949 6897 | 0 | 0 1224.66/1225.19 c 1225s | 26 | 10933777 | 8345152 | 2949 6905 | 0 | 0 1226.66/1227.20 c 1227s | 26 | 10949185 | 8357052 | 2949 6913 | 0 | 0 1228.76/1229.21 c 1229s | 26 | 10965003 | 8369252 | 2949 6920 | 0 | 0 1230.76/1231.22 c 1231s | 26 | 10980831 | 8381752 | 2949 6928 | 0 | 0 1232.76/1233.23 c 1233s | 26 | 10997769 | 8394452 | 2949 6936 | 0 | 0 1234.75/1235.24 c 1235s | 26 | 11013162 | 8406352 | 2949 6944 | 0 | 0 1236.75/1237.26 c 1237s | 26 | 11029228 | 8418452 | 2949 6952 | 0 | 0 1238.75/1239.26 c 1239s | 26 | 11046496 | 8431752 | 2949 6960 | 0 | 0 1240.75/1241.27 c 1241s | 26 | 11062837 | 8444452 | 2949 6968 | 0 | 0 1242.75/1243.28 c 1243s | 26 | 11077139 | 8455952 | 2949 6975 | 0 | 0 1244.75/1245.29 c 1245s | 26 | 11091237 | 8467052 | 2949 6982 | 0 | 0 1246.84/1247.30 c 1247s | 26 | 11105229 | 8478452 | 2949 6989 | 0 | 0 1248.84/1249.31 c 1249s | 26 | 11121269 | 8490752 | 2949 6997 | 0 | 0 1250.84/1251.31 c 1251s | 26 | 11136935 | 8502752 | 2949 7005 | 0 | 0 1252.84/1253.34 c 1253s | 26 | 11152907 | 8514952 | 2949 7013 | 0 | 0 1254.84/1255.34 c 1255s | 26 | 11167917 | 8526552 | 2949 7020 | 0 | 0 1256.85/1257.36 c 1257s | 26 | 11182520 | 8538052 | 2949 7027 | 0 | 0 1258.84/1259.36 c 1259s | 26 | 11198297 | 8550052 | 2949 7035 | 0 | 0 1260.84/1261.37 c 1261s | 26 | 11213622 | 8561652 | 2949 7042 | 0 | 0 1262.83/1263.38 c 1263s | 26 | 11228580 | 8573452 | 2949 7049 | 0 | 0 1264.93/1265.40 c 1265s | 26 | 11245231 | 8586652 | 2949 7058 | 0 | 0 1266.93/1267.41 c 1267s | 26 | 11259409 | 8598152 | 2949 7065 | 0 | 0 1268.93/1269.41 c 1269s | 26 | 11276001 | 8610652 | 2949 7073 | 0 | 0 1270.92/1271.43 c 1271s | 26 | 11293486 | 8623852 | 2949 7081 | 0 | 0 1272.92/1273.43 c 1273s | 26 | 11309365 | 8635852 | 2949 7089 | 0 | 0 1274.92/1275.46 c 1275s | 26 | 11324913 | 8647752 | 2949 7097 | 0 | 0 1276.92/1277.47 c 1277s | 26 | 11340186 | 8659552 | 2949 7104 | 0 | 0 1278.93/1279.48 c 1279s | 26 | 11355049 | 8671452 | 2949 7112 | 0 | 0 1280.92/1281.49 c 1281s | 26 | 11371060 | 8683952 | 2949 7119 | 0 | 0 1282.91/1283.50 c 1283s | 26 | 11388523 | 8697052 | 2949 7128 | 0 | 0 1285.02/1285.51 c 1285s | 26 | 11406074 | 8710252 | 2949 7136 | 0 | 0 1287.02/1287.52 c 1287s | 26 | 11423809 | 8723552 | 2949 7144 | 0 | 0 1289.02/1289.53 c 1289s | 26 | 11440430 | 8736052 | 2949 7152 | 0 | 0 1291.02/1291.55 c 1291s | 26 | 11456797 | 8748652 | 2949 7160 | 0 | 0 1293.01/1293.56 c 1293s | 26 | 11472461 | 8760552 | 2949 7168 | 0 | 0 1295.01/1295.56 c 1295s | 26 | 11488773 | 8773152 | 2949 7176 | 0 | 0 1297.01/1297.58 c 1297s | 26 | 11501742 | 8783952 | 2949 7183 | 0 | 0 1299.11/1299.60 c 1299s | 26 | 11515325 | 8794752 | 2949 7189 | 0 | 0 1301.11/1301.60 c 1301s | 26 | 11530839 | 8806752 | 2949 7197 | 0 | 0 1303.11/1303.61 c 1303s | 26 | 11546260 | 8818452 | 2949 7204 | 0 | 0 1305.10/1305.62 c 1305s | 26 | 11559937 | 8829752 | 2949 7212 | 0 | 0 1307.10/1307.63 c 1307s | 26 | 11575191 | 8841452 | 2949 7219 | 0 | 0 1309.10/1309.63 c 1309s | 26 | 11591188 | 8853452 | 2949 7227 | 0 | 0 1311.10/1311.64 c 1311s | 26 | 11607954 | 8865652 | 2949 7234 | 0 | 0 1313.10/1313.65 c 1313s | 26 | 11623735 | 8878052 | 2949 7242 | 0 | 0 1315.10/1315.66 c 1315s | 26 | 11640137 | 8890552 | 2949 7250 | 0 | 0 1317.09/1317.67 c 1317s | 26 | 11656155 | 8902752 | 2949 7258 | 0 | 0 1319.09/1319.68 c 1319s | 26 | 11671631 | 8915152 | 2949 7266 | 0 | 0 1321.09/1321.69 c 1321s | 26 | 11686032 | 8926452 | 2949 7273 | 0 | 0 1323.18/1323.70 c 1323s | 26 | 11699881 | 8937752 | 2949 7280 | 0 | 0 1325.18/1325.71 c 1325s | 26 | 11714043 | 8948752 | 2949 7287 | 0 | 0 1327.19/1327.72 c 1327s | 26 | 11730933 | 8961552 | 2949 7295 | 0 | 0 1329.18/1329.74 c 1329s | 26 | 11747374 | 8973752 | 2949 7303 | 0 | 0 1331.18/1331.77 c 1331s | 26 | 11761767 | 8985152 | 2949 7310 | 0 | 0 1333.18/1333.77 c 1333s | 26 | 11776852 | 8996952 | 2949 7317 | 0 | 0 1335.18/1335.77 c 1335s | 26 | 11791743 | 9008452 | 2949 7324 | 0 | 0 1337.18/1337.79 c 1337s | 26 | 11807710 | 9020652 | 2949 7332 | 0 | 0 1339.18/1339.79 c 1339s | 26 | 11824107 | 9033252 | 2949 7340 | 0 | 0 1341.27/1341.81 c 1341s | 26 | 11837287 | 9043652 | 2949 7347 | 0 | 0 1343.27/1343.82 c 1343s | 26 | 11853160 | 9055952 | 2949 7354 | 0 | 0 1345.28/1345.82 c 1345s | 26 | 11869851 | 9068452 | 2949 7362 | 0 | 0 1347.28/1347.83 c 1347s | 26 | 11885655 | 9080652 | 2949 7370 | 0 | 0 1349.28/1349.84 c 1349s | 26 | 11901917 | 9093152 | 2949 7378 | 0 | 0 1351.27/1351.84 c 1351s | 26 | 11917876 | 9105352 | 2949 7386 | 0 | 0 1353.27/1353.85 c 1353s | 26 | 11933565 | 9117452 | 2949 7393 | 0 | 0 1355.27/1355.86 c 1355s | 26 | 11949791 | 9130052 | 2949 7401 | 0 | 0 1357.27/1357.87 c 1357s | 26 | 11964511 | 9141652 | 2949 7409 | 0 | 0 1359.27/1359.88 c 1359s | 26 | 11980941 | 9154152 | 2949 7417 | 0 | 0 1361.28/1361.89 c 1361s | 26 | 11997282 | 9166452 | 2949 7424 | 0 | 0 1363.27/1363.89 c 1363s | 26 | 12013245 | 9178852 | 2949 7432 | 0 | 0 1365.37/1365.90 c 1365s | 26 | 12028913 | 9190752 | 2949 7440 | 0 | 0 1367.37/1367.90 c 1367s | 26 | 12045323 | 9203052 | 2949 7448 | 0 | 0 1369.37/1369.91 c 1369s | 26 | 12062859 | 9215752 | 2949 7456 | 0 | 0 1371.37/1371.94 c 1371s | 26 | 12078935 | 9228352 | 2949 7464 | 0 | 0 1373.37/1373.94 c 1373s | 26 | 12096372 | 9241352 | 2949 7472 | 0 | 0 1375.37/1375.95 c 1375s | 26 | 12113205 | 9254252 | 2949 7480 | 0 | 0 1377.37/1377.97 c 1377s | 26 | 12131260 | 9267652 | 2949 7488 | 0 | 0 1379.37/1379.99 c 1379s | 26 | 12148390 | 9280652 | 2949 7497 | 0 | 0 1381.47/1382.01 c 1381s | 26 | 12165720 | 9293952 | 2949 7505 | 0 | 0 1383.46/1384.01 c 1383s | 26 | 12183035 | 9307152 | 2949 7513 | 0 | 0 1385.47/1386.02 c 1386s | 26 | 12199959 | 9320052 | 2949 7522 | 0 | 0 1387.46/1388.02 c 1388s | 26 | 12217610 | 9333352 | 2949 7530 | 0 | 0 1389.46/1390.03 c 1390s | 26 | 12234786 | 9346552 | 2949 7538 | 0 | 0 1391.46/1392.04 c 1392s | 26 | 12251666 | 9359652 | 2949 7547 | 0 | 0 1393.46/1394.05 c 1394s | 26 | 12267793 | 9372152 | 2949 7554 | 0 | 0 1395.47/1396.06 c 1396s | 26 | 12283152 | 9383852 | 2949 7562 | 0 | 0 1397.46/1398.07 c 1398s | 26 | 12297034 | 9394852 | 2949 7569 | 0 | 0 1399.46/1400.08 c 1400s | 26 | 12311960 | 9406252 | 2949 7576 | 0 | 0 1401.46/1402.09 c 1402s | 26 | 12327268 | 9417752 | 2949 7583 | 0 | 0 1403.56/1404.10 c 1404s | 26 | 12341903 | 9428952 | 2949 7590 | 0 | 0 1405.57/1406.10 c 1406s | 26 | 12354140 | 9439352 | 2949 7597 | 0 | 0 1407.57/1408.13 c 1408s | 26 | 12367161 | 9449752 | 2949 7604 | 0 | 0 1409.56/1410.14 c 1410s | 26 | 12382085 | 9461152 | 2949 7611 | 0 | 0 1411.56/1412.16 c 1412s | 26 | 12395826 | 9472052 | 2949 7618 | 0 | 0 1413.56/1414.16 c 1414s | 26 | 12411229 | 9483852 | 2949 7625 | 0 | 0 1415.56/1416.18 c 1416s | 26 | 12425086 | 9494952 | 2949 7632 | 0 | 0 1417.56/1418.18 c 1418s | 26 | 12439405 | 9506152 | 2949 7639 | 0 | 0 1419.57/1420.18 c 1420s | 26 | 12455779 | 9518552 | 2949 7647 | 0 | 0 1421.56/1422.19 c 1422s | 26 | 12470455 | 9530152 | 2949 7654 | 0 | 0 1423.66/1424.20 c 1424s | 26 | 12485953 | 9541952 | 2949 7662 | 0 | 0 1425.66/1426.20 c 1426s | 26 | 12501902 | 9554052 | 2949 7670 | 0 | 0 1427.66/1428.22 c 1428s | 26 | 12516461 | 9565352 | 2949 7677 | 0 | 0 1429.66/1430.23 c 1430s | 26 | 12533043 | 9577752 | 2949 7685 | 0 | 0 1431.67/1432.23 c 1432s | 26 | 12547733 | 9589352 | 2949 7692 | 0 | 0 1433.66/1434.24 c 1434s | 26 | 12562482 | 9601152 | 2949 7699 | 0 | 0 1435.66/1436.25 c 1436s | 26 | 12576829 | 9612652 | 2949 7707 | 0 | 0 1437.66/1438.27 c 1438s | 26 | 12590794 | 9623552 | 2949 7714 | 0 | 0 1439.66/1440.27 c 1440s | 26 | 12604309 | 9634552 | 2949 7721 | 0 | 0 1441.66/1442.28 c 1442s | 26 | 12619812 | 9646052 | 2949 7728 | 0 | 0 1443.66/1444.30 c 1444s | 26 | 12636657 | 9659152 | 2949 7736 | 0 | 0 1445.76/1446.31 c 1446s | 26 | 12652011 | 9670752 | 2949 7743 | 0 | 0 1447.76/1448.31 c 1448s | 26 | 12668152 | 9683452 | 2949 7752 | 0 | 0 1449.76/1450.31 c 1450s | 26 | 12683829 | 9695652 | 2949 7759 | 0 | 0 1451.75/1452.32 c 1452s | 26 | 12700237 | 9707852 | 2949 7767 | 0 | 0 1453.76/1454.33 c 1454s | 26 | 12716681 | 9720652 | 2949 7775 | 0 | 0 1455.75/1456.35 c 1456s | 26 | 12730109 | 9731652 | 2949 7782 | 0 | 0 1457.75/1458.36 c 1458s | 26 | 12744905 | 9743352 | 2949 7789 | 0 | 0 1459.75/1460.37 c 1460s | 26 | 12760010 | 9754552 | 2949 7797 | 0 | 0 1461.75/1462.37 c 1462s | 26 | 12775806 | 9766452 | 2949 7804 | 0 | 0 1463.75/1464.38 c 1464s | 26 | 12792186 | 9778952 | 2949 7812 | 0 | 0 1465.76/1466.38 c 1466s | 26 | 12807305 | 9790652 | 2949 7819 | 0 | 0 1467.85/1468.40 c 1468s | 26 | 12822325 | 9801852 | 2949 7827 | 0 | 0 1469.85/1470.42 c 1470s | 26 | 12838405 | 9814252 | 2949 7834 | 0 | 0 1471.85/1472.43 c 1472s | 26 | 12852457 | 9825052 | 2949 7841 | 0 | 0 1473.85/1474.44 c 1474s | 26 | 12867516 | 9836452 | 2949 7848 | 0 | 0 1475.85/1476.45 c 1476s | 26 | 12883594 | 9848552 | 2949 7856 | 0 | 0 1477.85/1478.45 c 1478s | 26 | 12898102 | 9859852 | 2949 7863 | 0 | 0 1479.85/1480.46 c 1480s | 26 | 12913948 | 9872152 | 2949 7871 | 0 | 0 1481.85/1482.47 c 1482s | 26 | 12930379 | 9884652 | 2949 7879 | 0 | 0 1483.85/1484.47 c 1484s | 26 | 12946795 | 9897352 | 2949 7887 | 0 | 0 1485.85/1486.48 c 1486s | 26 | 12963685 | 9910052 | 2949 7895 | 0 | 0 1487.86/1488.49 c 1488s | 26 | 12979991 | 9922952 | 2949 7903 | 0 | 0 1489.85/1490.49 c 1490s | 26 | 12997373 | 9935852 | 2949 7911 | 0 | 0 1491.95/1492.50 c 1492s | 26 | 13013938 | 9948252 | 2949 7919 | 0 | 0 1493.95/1494.51 c 1494s | 26 | 13029546 | 9960152 | 2949 7927 | 0 | 0 1495.95/1496.51 c 1496s | 26 | 13045355 | 9972152 | 2949 7934 | 0 | 0 1497.95/1498.51 c 1498s | 26 | 13058817 | 9983152 | 2949 7941 | 0 | 0 1499.96/1500.52 c 1500s | 26 | 13073592 | 9994552 | 2949 7949 | 0 | 0 1501.95/1502.52 c 1502s | 26 | 13088706 | 10006552 | 2949 7956 | 0 | 0 1503.95/1504.53 c 1504s | 26 | 13104964 | 10018752 | 2949 7964 | 0 | 0 1505.95/1506.56 c 1506s | 26 | 13120221 | 10030752 | 2949 7972 | 0 | 0 1507.95/1508.56 c 1508s | 26 | 13135103 | 10042152 | 2949 7979 | 0 | 0 1509.95/1510.57 c 1510s | 26 | 13149814 | 10053652 | 2949 7986 | 0 | 0 1511.95/1512.57 c 1512s | 26 | 13164955 | 10065552 | 2949 7994 | 0 | 0 1513.94/1514.58 c 1514s | 26 | 13182560 | 10078752 | 2949 8002 | 0 | 0 1515.94/1516.59 c 1516s | 26 | 13198493 | 10091152 | 2949 8010 | 0 | 0 1518.04/1518.60 c 1518s | 26 | 13215912 | 10104252 | 2949 8018 | 0 | 0 1520.04/1520.61 c 1520s | 26 | 13229358 | 10115052 | 2949 8025 | 0 | 0 1522.04/1522.61 c 1522s | 26 | 13243063 | 10125952 | 2949 8032 | 0 | 0 1524.05/1524.62 c 1524s | 26 | 13260097 | 10138752 | 2949 8040 | 0 | 0 1526.04/1526.64 c 1526s | 26 | 13275490 | 10150552 | 2949 8048 | 0 | 0 1528.04/1528.66 c 1528s | 26 | 13289542 | 10161752 | 2949 8055 | 0 | 0 1530.04/1530.67 c 1530s | 26 | 13304302 | 10173152 | 2949 8062 | 0 | 0 1532.04/1532.68 c 1532s | 26 | 13319684 | 10184952 | 2949 8069 | 0 | 0 1534.04/1534.69 c 1534s | 26 | 13333925 | 10196052 | 2949 8076 | 0 | 0 1536.05/1536.69 c 1536s | 26 | 13347855 | 10207052 | 2949 8083 | 0 | 0 1538.05/1538.70 c 1538s | 26 | 13362622 | 10218452 | 2949 8091 | 0 | 0 1540.15/1540.70 c 1540s | 26 | 13378863 | 10230552 | 2949 8098 | 0 | 0 1542.15/1542.72 c 1542s | 26 | 13395467 | 10243052 | 2949 8106 | 0 | 0 1544.15/1544.72 c 1544s | 26 | 13409336 | 10254252 | 2949 8113 | 0 | 0 1546.15/1546.73 c 1546s | 26 | 13424067 | 10265752 | 2949 8121 | 0 | 0 1548.14/1548.73 c 1548s | 26 | 13440391 | 10277852 | 2949 8128 | 0 | 0 1550.14/1550.74 c 1550s | 26 | 13454935 | 10289452 | 2949 8136 | 0 | 0 1552.14/1552.74 c 1552s | 26 | 13468612 | 10300452 | 2949 8143 | 0 | 0 1554.14/1554.77 c 1554s | 26 | 13484059 | 10312452 | 2949 8150 | 0 | 0 1556.24/1556.81 c 1556s | 26 | 13500669 | 10324652 | 2949 8158 | 0 | 0 1558.25/1558.82 c 1558s | 26 | 13514971 | 10335752 | 2949 8165 | 0 | 0 1560.24/1560.83 c 1560s | 26 | 13530185 | 10347552 | 2949 8173 | 0 | 0 1562.24/1562.85 c 1562s | 26 | 13545794 | 10359352 | 2949 8180 | 0 | 0 1564.24/1564.86 c 1564s | 26 | 13561382 | 10371352 | 2949 8188 | 0 | 0 1566.24/1566.87 c 1566s | 26 | 13577233 | 10383452 | 2949 8195 | 0 | 0 1568.24/1568.88 c 1568s | 26 | 13592077 | 10394952 | 2949 8203 | 0 | 0 1570.25/1570.89 c 1570s | 26 | 13605695 | 10405852 | 2949 8210 | 0 | 0 1572.34/1572.90 c 1572s | 26 | 13620414 | 10417452 | 2949 8217 | 0 | 0 1574.34/1574.91 c 1574s | 26 | 13634788 | 10429052 | 2949 8224 | 0 | 0 1576.34/1576.91 c 1576s | 26 | 13650894 | 10441352 | 2949 8232 | 0 | 0 1578.34/1578.92 c 1578s | 26 | 13665678 | 10452952 | 2949 8240 | 0 | 0 1580.34/1580.93 c 1580s | 26 | 13679791 | 10463952 | 2949 8247 | 0 | 0 1582.34/1582.94 c 1582s | 26 | 13694448 | 10475652 | 2949 8254 | 0 | 0 1584.33/1584.96 c 1584s | 26 | 13709934 | 10487552 | 2949 8262 | 0 | 0 1586.33/1586.97 c 1586s | 26 | 13725384 | 10499352 | 2949 8269 | 0 | 0 1588.33/1588.98 c 1588s | 26 | 13742279 | 10512152 | 2949 8277 | 0 | 0 1590.33/1590.99 c 1590s | 26 | 13758415 | 10524352 | 2949 8285 | 0 | 0 1592.43/1593.00 c 1592s | 26 | 13774102 | 10536352 | 2949 8292 | 0 | 0 1594.44/1595.01 c 1594s | 26 | 13788735 | 10548052 | 2949 8300 | 0 | 0 1596.43/1597.03 c 1597s | 26 | 13804332 | 10560052 | 2949 8307 | 0 | 0 1598.43/1599.04 c 1599s | 26 | 13818548 | 10570952 | 2949 8314 | 0 | 0 1600.43/1601.04 c 1601s | 26 | 13832595 | 10581852 | 2949 8321 | 0 | 0 1602.43/1603.05 c 1603s | 26 | 13848473 | 10593652 | 2949 8329 | 0 | 0 1604.44/1605.05 c 1605s | 26 | 13863430 | 10605152 | 2949 8336 | 0 | 0 1606.44/1607.05 c 1607s | 26 | 13877321 | 10616252 | 2949 8343 | 0 | 0 1608.44/1609.07 c 1609s | 26 | 13892257 | 10627752 | 2949 8350 | 0 | 0 1610.44/1611.08 c 1611s | 26 | 13908501 | 10640452 | 2949 8359 | 0 | 0 1612.43/1613.08 c 1613s | 26 | 13924477 | 10652652 | 2949 8366 | 0 | 0 1614.43/1615.09 c 1615s | 26 | 13939977 | 10664752 | 2949 8374 | 0 | 0 1616.44/1617.10 c 1617s | 26 | 13955997 | 10677052 | 2949 8382 | 0 | 0 1618.53/1619.10 c 1619s | 26 | 13973348 | 10689752 | 2949 8390 | 0 | 0 1620.53/1621.11 c 1621s | 26 | 13990834 | 10702852 | 2949 8398 | 0 | 0 1622.53/1623.12 c 1623s | 26 | 14004400 | 10713452 | 2949 8405 | 0 | 0 1624.53/1625.12 c 1625s | 26 | 14017500 | 10724052 | 2949 8412 | 0 | 0 1626.53/1627.12 c 1627s | 26 | 14031907 | 10735252 | 2949 8419 | 0 | 0 1628.53/1629.13 c 1629s | 26 | 14047717 | 10747052 | 2949 8426 | 0 | 0 1630.53/1631.14 c 1631s | 26 | 14062890 | 10758452 | 2949 8433 | 0 | 0 1632.52/1633.14 c 1633s | 26 | 14078078 | 10770152 | 2949 8441 | 0 | 0 1634.52/1635.14 c 1635s | 26 | 14092577 | 10781452 | 2949 8448 | 0 | 0 1636.52/1637.15 c 1637s | 26 | 14107186 | 10792952 | 2949 8455 | 0 | 0 1638.53/1639.16 c 1639s | 26 | 14121505 | 10804052 | 2949 8462 | 0 | 0 1640.52/1641.16 c 1641s | 26 | 14137152 | 10816152 | 2949 8470 | 0 | 0 1642.52/1643.18 c 1643s | 26 | 14151219 | 10827152 | 2949 8477 | 0 | 0 1644.52/1645.19 c 1645s | 26 | 14163785 | 10837452 | 2949 8484 | 0 | 0 1646.62/1647.21 c 1647s | 26 | 14178980 | 10849052 | 2949 8491 | 0 | 0 1648.62/1649.22 c 1649s | 26 | 14195331 | 10861252 | 2949 8499 | 0 | 0 1650.63/1651.22 c 1651s | 26 | 14210538 | 10872952 | 2949 8506 | 0 | 0 1652.62/1653.24 c 1653s | 26 | 14225548 | 10884652 | 2949 8514 | 0 | 0 1654.63/1655.24 c 1655s | 26 | 14242018 | 10896752 | 2949 8521 | 0 | 0 1656.63/1657.24 c 1657s | 26 | 14257727 | 10908752 | 2949 8529 | 0 | 0 1658.63/1659.29 c 1659s | 26 | 14274244 | 10921052 | 2949 8537 | 0 | 0 1660.73/1661.31 c 1661s | 26 | 14289166 | 10932052 | 2949 8544 | 0 | 0 1662.73/1663.31 c 1663s | 26 | 14302315 | 10942352 | 2949 8550 | 0 | 0 1664.73/1665.32 c 1665s | 26 | 14316992 | 10953452 | 2949 8557 | 0 | 0 1666.72/1667.33 c 1667s | 26 | 14331114 | 10964352 | 2949 8564 | 0 | 0 1668.72/1669.34 c 1669s | 26 | 14345795 | 10975452 | 2949 8571 | 0 | 0 1670.72/1671.35 c 1671s | 26 | 14360496 | 10986852 | 2949 8578 | 0 | 0 1672.72/1673.37 c 1673s | 26 | 14375227 | 10997752 | 2949 8585 | 0 | 0 1674.73/1675.37 c 1675s | 26 | 14389002 | 11008352 | 2949 8592 | 0 | 0 1676.72/1677.38 c 1677s | 26 | 14402921 | 11018952 | 2949 8599 | 0 | 0 1678.82/1679.40 c 1679s | 26 | 14417612 | 11030452 | 2949 8606 | 0 | 0 1680.82/1681.41 c 1681s | 26 | 14431553 | 11041352 | 2949 8613 | 0 | 0 1682.82/1683.42 c 1683s | 26 | 14446190 | 11052452 | 2949 8620 | 0 | 0 1684.82/1685.43 c 1685s | 26 | 14462222 | 11064652 | 2949 8628 | 0 | 0 1686.83/1687.45 c 1687s | 26 | 14478140 | 11076852 | 2949 8636 | 0 | 0 1688.82/1689.45 c 1689s | 26 | 14494408 | 11089252 | 2949 8643 | 0 | 0 1690.82/1691.45 c 1691s | 26 | 14510454 | 11101452 | 2949 8651 | 0 | 0 1692.82/1693.46 c 1693s | 26 | 14525462 | 11113252 | 2949 8659 | 0 | 0 1694.82/1695.47 c 1695s | 26 | 14540857 | 11125352 | 2949 8666 | 0 | 0 1696.83/1697.49 c 1697s | 26 | 14557202 | 11137552 | 2949 8674 | 0 | 0 1698.82/1699.50 c 1699s | 26 | 14573279 | 11149952 | 2949 8682 | 0 | 0 1700.92/1701.51 c 1701s | 26 | 14591331 | 11163052 | 2949 8690 | 0 | 0 1702.92/1703.52 c 1703s | 26 | 14606108 | 11174852 | 2949 8698 | 0 | 0 1704.92/1705.55 c 1705s | 26 | 14622191 | 11187152 | 2949 8706 | 0 | 0 1706.92/1707.55 c 1707s | 26 | 14638631 | 11199452 | 2949 8713 | 0 | 0 1708.92/1709.55 c 1709s | 26 | 14653378 | 11211152 | 2949 8721 | 0 | 0 1710.92/1711.56 c 1711s | 26 | 14669087 | 11222852 | 2949 8728 | 0 | 0 1712.91/1713.56 c 1713s | 26 | 14685059 | 11235152 | 2949 8736 | 0 | 0 1714.91/1715.58 c 1715s | 26 | 14699559 | 11246052 | 2949 8743 | 0 | 0 1716.91/1717.59 c 1717s | 26 | 14716012 | 11258452 | 2949 8751 | 0 | 0 1718.91/1719.59 c 1719s | 26 | 14730997 | 11269752 | 2949 8758 | 0 | 0 1720.92/1721.60 c 1721s | 26 | 14746035 | 11281752 | 2949 8766 | 0 | 0 1723.01/1723.60 c 1723s | 26 | 14761685 | 11294152 | 2949 8773 | 0 | 0 1725.01/1725.61 c 1725s | 26 | 14777397 | 11306252 | 2949 8781 | 0 | 0 1727.01/1727.62 c 1727s | 26 | 14793722 | 11318552 | 3244 8789 | 0 | 0 1729.01/1729.63 c 1729s | 26 | 14809623 | 11330552 | 3244 8796 | 0 | 0 1731.01/1731.64 c 1731s | 26 | 14826119 | 11342952 | 3244 8803 | 0 | 0 1733.02/1733.64 c 1733s | 26 | 14839728 | 11354052 | 3244 8809 | 0 | 0 1735.01/1735.65 c 1735s | 26 | 14852746 | 11364552 | 3244 8815 | 0 | 0 1737.01/1737.65 c 1737s | 26 | 14868407 | 11376652 | 3244 8822 | 0 | 0 1739.01/1739.66 c 1739s | 26 | 14883375 | 11388252 | 3244 8829 | 0 | 0 1740.41/1741.05 c 1741s | 27 | 14894388 | 11396733 | 3244 8834 | 0 | 0 1742.41/1743.05 c 1743s | 27 | 14910746 | 11408633 | 3244 8841 | 0 | 0 1744.41/1745.06 c 1745s | 27 | 14923714 | 11418933 | 3244 8847 | 0 | 0 1746.41/1747.06 c 1747s | 27 | 14937677 | 11430033 | 3244 8853 | 0 | 0 1748.42/1749.07 c 1749s | 27 | 14951936 | 11441133 | 3244 8859 | 0 | 0 1750.41/1751.08 c 1751s | 27 | 14966896 | 11452533 | 3244 8866 | 0 | 0 1752.41/1753.09 c 1753s | 27 | 14981371 | 11463533 | 3244 8872 | 0 | 0 1754.41/1755.09 c 1755s | 27 | 14995851 | 11474733 | 3244 8879 | 0 | 0 1756.51/1757.10 c 1757s | 27 | 15010676 | 11486333 | 3244 8885 | 0 | 0 1758.51/1759.12 c 1759s | 27 | 15026529 | 11498633 | 3244 8892 | 0 | 0 1760.51/1761.13 c 1761s | 27 | 15041164 | 11509633 | 3244 8899 | 0 | 0 1762.51/1763.14 c 1763s | 27 | 15056119 | 11521133 | 3244 8905 | 0 | 0 1764.50/1765.14 c 1765s | 27 | 15072549 | 11533433 | 3244 8912 | 0 | 0 1766.50/1767.16 c 1767s | 27 | 15086048 | 11544133 | 3244 8919 | 0 | 0 1768.50/1769.18 c 1769s | 27 | 15102258 | 11556033 | 3244 8926 | 0 | 0 1770.60/1771.20 c 1771s | 27 | 15116116 | 11567033 | 3244 8932 | 0 | 0 1772.50/1773.20 c 1773s | 27 | 15130065 | 11577833 | 3244 8938 | 0 | 0 1774.60/1775.21 c 1775s | 27 | 15144260 | 11588733 | 3244 8944 | 0 | 0 1776.60/1777.21 c 1777s | 27 | 15157890 | 11599333 | 3244 8951 | 0 | 0 1778.60/1779.23 c 1779s | 27 | 15171666 | 11610033 | 3244 8957 | 0 | 0 1780.60/1781.23 c 1781s | 27 | 15185604 | 11620933 | 3244 8963 | 0 | 0 1782.61/1783.23 c 1783s | 27 | 15202384 | 11633433 | 3244 8970 | 0 | 0 1784.61/1785.26 c 1785s | 27 | 15216013 | 11644033 | 3244 8977 | 0 | 0 1786.61/1787.26 c 1787s | 27 | 15231887 | 11655833 | 3244 8983 | 0 | 0 1788.61/1789.28 c 1789s | 27 | 15248415 | 11667833 | 3244 8990 | 0 | 0 1790.61/1791.29 c 1791s | 27 | 15262031 | 11678433 | 3244 8997 | 0 | 0 1792.61/1793.30 c 1793s | 27 | 15277890 | 11690233 | 3244 9003 | 0 | 0 1794.71/1795.31 c 1795s | 27 | 15294056 | 11702233 | 3244 9010 | 0 | 0 1796.71/1797.32 c 1797s | 27 | 15308508 | 11713733 | 3244 9017 | 0 | 0 1798.71/1799.33 c 1799s | 27 | 15323612 | 11725233 | 3244 9024 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4121514-1467314772/watcher-4121514-1467314772 -o /tmp/evaluation-result-4121514-1467314772/solver-4121514-1467314772 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11512 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121514-1467314772.opb pid=12953 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.18 2.17 2.11 3/179 12956 /proc/meminfo: memFree=29354668/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=734652 CPUtime=0 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 2742 0 0 0 0 0 0 0 20 0 4 0 10506428 752283648 3102 33554432000 4194304 16246674 140733687306704 140733687306128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 184431 3112 441 2943 0 181325 0 [pid=12956/tid=12957] ppid=12953 vsize=753084 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 771158016 3173 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=757180 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 775352320 3192 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=761276 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 779546624 3208 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.18 2.17 2.11 3/179 12956 /proc/meminfo: memFree=29354668/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 24856 0 0 0 6 3 0 0 20 0 4 0 10506428 1247350784 25205 33554432000 4194304 16246674 140733687306704 140733687306128 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 304529 25214 707 2943 0 301423 0 [pid=12956/tid=12957] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 25220 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 25226 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 25235 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200532 s] /proc/loadavg: 2.18 2.17 2.11 3/179 12956 /proc/meminfo: memFree=29354668/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 47205 0 0 0 13 6 0 0 20 0 4 0 10506428 1247350784 47555 33554432000 4194304 16246674 140733687306704 140733687306128 13191557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 304529 47567 707 2943 0 301423 0 [pid=12956/tid=12957] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 47575 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 47582 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 47589 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300495 s] /proc/loadavg: 2.18 2.17 2.11 3/179 12956 /proc/meminfo: memFree=29354668/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 69875 0 0 0 19 10 0 0 20 0 4 0 10506428 1247350784 70224 33554432000 4194304 16246674 140733687306704 140733687306128 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 304529 70234 707 2943 0 301423 0 [pid=12956/tid=12957] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 70241 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 70251 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 70257 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700407 s] /proc/loadavg: 2.18 2.17 2.11 3/179 12956 /proc/meminfo: memFree=29354668/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1218116 CPUtime=0.68 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 157752 0 0 0 46 22 0 0 20 0 4 0 10506428 1247350784 158102 33554432000 4194304 16246674 140733687306704 140733687288576 12479207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 304529 158114 708 2943 0 301423 0 [pid=12956/tid=12957] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 158121 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 158126 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 158130 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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: 2.18 2.17 2.11 3/183 12960 /proc/meminfo: memFree=28371516/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1219140 CPUtime=1.49 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 245751 0 0 0 116 33 0 0 20 0 4 0 10506428 1248399360 246080 33554432000 4194304 16246674 140733687306704 140733687289704 5976032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 304785 246080 784 2943 0 301679 0 [pid=12956/tid=12957] ppid=12953 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1248399360 246080 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1248399360 246080 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1248399360 246080 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10041 s] /proc/loadavg: 2.16 2.17 2.11 3/183 12960 /proc/meminfo: memFree=28285320/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 267454 0 0 0 272 37 0 0 20 0 4 0 10506428 1337528320 267783 33554432000 4194304 16246674 140733687306704 140733687289704 5675461 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 326545 267783 784 2943 0 323439 0 [pid=12956/tid=12957] ppid=12953 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1337528320 267783 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1337528320 267783 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1337528320 267783 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30042 s] /proc/loadavg: 2.16 2.17 2.11 3/183 12960 /proc/meminfo: memFree=28282996/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 267719 0 0 0 592 37 0 0 20 0 4 0 10506428 1338576896 268048 33554432000 4194304 16246674 140733687306704 140733687288576 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 326801 268048 784 2943 0 323695 0 [pid=12956/tid=12957] ppid=12953 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1338576896 268048 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1338576896 268048 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1338576896 268048 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.14 2.16 2.11 3/183 12960 /proc/meminfo: memFree=28282536/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1308228 CPUtime=12.69 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 267834 0 0 0 1232 37 0 0 20 0 4 0 10506428 1339625472 268163 33554432000 4194304 16246674 140733687306704 140733687288576 12477756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 327057 268163 784 2943 0 323951 0 [pid=12956/tid=12957] ppid=12953 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1339625472 268163 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1339625472 268163 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1339625472 268163 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.11 2.15 2.11 3/183 12961 /proc/meminfo: memFree=28281260/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1309252 CPUtime=25.49 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 268323 0 0 0 2511 38 0 0 20 0 4 0 10506428 1340674048 268652 33554432000 4194304 16246674 140733687306704 140733687288576 12483391 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 327313 268652 785 2943 0 324207 0 [pid=12956/tid=12957] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268652 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268652 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268652 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.21 2.17 2.11 4/183 12961 /proc/meminfo: memFree=28282904/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1309252 CPUtime=51.08 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 268333 0 0 0 5070 38 0 0 20 0 4 0 10506428 1340674048 268662 33554432000 4194304 16246674 140733687306704 140733687289704 5653044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 327313 268662 785 2943 0 324207 0 [pid=12956/tid=12957] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268662 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268662 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268662 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1309252 [startup+102.3 s] /proc/loadavg: 2.19 2.17 2.11 3/183 12962 /proc/meminfo: memFree=28282524/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1309252 CPUtime=102.28 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 268337 0 0 0 10189 39 0 0 20 0 4 0 10506428 1340674048 268666 33554432000 4194304 16246674 140733687306704 140733687288576 5997240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 327313 268666 788 2943 0 324207 0 [pid=12956/tid=12957] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268666 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268666 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268666 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1315396 [startup+1302.3 s] /proc/loadavg: 2.25 2.18 2.11 3/183 13090 /proc/meminfo: memFree=28270804/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1315396 CPUtime=1301.81 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270312 0 0 0 130121 60 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140733687288576 6010173 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 328849 270458 788 2943 0 325743 0 [pid=12956/tid=12957] ppid=12953 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1315396 [startup+1362.3 s] /proc/loadavg: 2.28 2.19 2.11 3/183 13091 /proc/meminfo: memFree=28269432/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1315396 CPUtime=1361.77 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270347 0 0 0 136116 61 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140733687288576 5822548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 328849 270458 788 2943 0 325743 0 [pid=12956/tid=12957] ppid=12953 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 1315396 [startup+1422.3 s] /proc/loadavg: 2.17 2.18 2.11 3/183 13092 /proc/meminfo: memFree=28268432/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1316420 CPUtime=1421.77 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270603 0 0 0 142115 62 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140733687288576 6011904 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 329105 270714 788 2943 0 325999 0 [pid=12956/tid=12957] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1316420 [startup+1482.3 s] /proc/loadavg: 2.23 2.19 2.12 3/184 13096 /proc/meminfo: memFree=28268164/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1316420 CPUtime=1481.75 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270603 0 0 0 148112 63 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140733687289704 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 329105 270714 788 2943 0 325999 0 [pid=12956/tid=12957] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 1316420 [startup+1542.31 s] /proc/loadavg: 2.16 2.18 2.12 3/183 13097 /proc/meminfo: memFree=28268064/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1316420 CPUtime=1541.75 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270603 0 0 0 154111 64 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140733687289704 13193684 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 329105 270714 788 2943 0 325999 0 [pid=12956/tid=12957] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 1316420 [startup+1602.3 s] /proc/loadavg: 2.06 2.15 2.11 3/183 13099 /proc/meminfo: memFree=28267844/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1316420 CPUtime=1601.73 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270603 0 0 0 160109 64 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140733687288576 5666924 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 329105 270714 788 2943 0 325999 0 [pid=12956/tid=12957] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 1316420 [startup+1662.3 s] /proc/loadavg: 2.27 2.19 2.12 3/183 13100 /proc/meminfo: memFree=28267600/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1316420 CPUtime=1661.73 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270603 0 0 0 166107 66 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140733687289704 5823230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 329105 270714 788 2943 0 325999 0 [pid=12956/tid=12957] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1316420 [startup+1722.3 s] /proc/loadavg: 2.16 2.17 2.11 3/183 13101 /proc/meminfo: memFree=28267620/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1316420 CPUtime=1721.71 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270603 0 0 0 172105 66 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140733687288576 12874961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 329105 270714 788 2943 0 325999 0 [pid=12956/tid=12957] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 1316420 [startup+1782.3 s] /proc/loadavg: 2.16 2.17 2.11 4/183 13102 /proc/meminfo: memFree=28265120/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1318468 CPUtime=1781.7 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 271115 0 0 0 178104 66 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140733687288576 5546177 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 329617 271226 788 2943 0 326511 0 [pid=12956/tid=12957] ppid=12953 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1318468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.25 2.19 2.12 3/183 13102 /proc/meminfo: memFree=28265704/32872528 swapFree=1102192/1183952 [pid=12956] ppid=12953 vsize=1318468 CPUtime=1800.01 cores=1,3,5,7 /proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 271115 0 0 0 179934 67 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140733687289704 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12956/statm: 329617 271226 788 2943 0 326511 0 [pid=12956/tid=12957] ppid=12953 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12956/tid=12958] ppid=12953 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12956/tid=12959] ppid=12953 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1318468 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 12956 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.61 CPU time (s): 1800.02 CPU user time (s): 1799.35 CPU system time (s): 0.671897 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (KiB): 1318468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.35 system time used= 0.671897 maximum resident set size= 1084904 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271115 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= 488 involuntary context switches= 1959 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.46832 second user time and 7.06293 second system time The end
Begin job on node115 at 2016-06-30 21:26:12 IDJOB=4121514 IDBENCH=110533 IDSOLVER=2542 FILE ID=node115/4121514-1467314772 RUNJOBID= node115-1467308742-11512 PBS_JOBID= 20005276 Free space on /tmp= 71648 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-91.cnf.gz-extracted.pb.metafix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121514-1467314772/watcher-4121514-1467314772 -o /tmp/evaluation-result-4121514-1467314772/solver-4121514-1467314772 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11512 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121514-1467314772.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d9c210eaf4a7cd2925a54072bba639a8 RANDOM SEED=398630013 node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 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 : 2667.087 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 : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29355584 kB Buffers: 158784 kB Cached: 343856 kB SwapCached: 0 kB Active: 1369036 kB Inactive: 219908 kB Active(anon): 1082340 kB Inactive(anon): 6556 kB Active(file): 286696 kB Inactive(file): 213352 kB Unevictable: 1183952 kB Mlocked: 1102192 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 32936 kB Writeback: 0 kB AnonPages: 2308912 kB Mapped: 17100 kB Shmem: 204 kB Slab: 607592 kB SReclaimable: 51864 kB SUnreclaim: 555728 kB KernelStack: 1520 kB PageTables: 8488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2404540 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 129024 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= 71632 MiB End job on node115 at 2016-06-30 21:56:13