| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-fixed-bandwidth-62.cnf.gz-extracted.pb.metafix.opb |
| MD5SUM | 37e9f89e51a54903ebd996c330e9c2a4 |
| 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.011998 |
| 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 | 249 |
| Total number of constraints | 248 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 248 |
| 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-30T22:10:32+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-4122722-1467317432.opb"] 0.00/0.01 c use --random-gen="2585430808 1256185465 1417961128 2785984100 2130895892 2998322745 548178198 2158868285 2496396943 210101228 3182356313 1243773502 1786570288 1493834148 2268577058 4054264811 1830282483 786733998 1506521781 2065378173 129557906 3961736115 1559367719 1898074752 1156770500 276600057 2116209872 3350976681 92020514 3007519573 951334601 1878648970 1899115336 1167332391 4087601891 370279743 1987413377 3448702168 3851799938 4256564021 2783689087 3690441939 3789829951 3010884435 2853724025 1132612893 682105294 1940127433 191752418 1946494772 830454867 2079644614 20735499 3742518307 2356039594 3431586481 2700625474 3931335230 2905326112 937204872 2024359102 2148642885 846961877 1911689418 3056938339 1737557298 3393527558 1210617029 4232349726 3334043599 4199110854 109087826 3145434906 944611846 328320196 730661882 1259857072 3233744992 1472799232 3401491096 1612010030 1602041584 2917012199 71801173 3154728093 2519020165 625172454 1961750506 838549681 2363189095 1474578489 148902001 3408729797 2598650974 412527093 825229278 2212226491 3646617588 73442955 3407401892 2765590958 2908803805 1154313618 2036165962 2992599204 3495799138 1222169597 3563685356 3084279691 1088462830 3862589520 2381593599 67105297 3773478622 2210304223 921094785 2913889911 2417241229 4262756817 2927078542 3058504943 3426013133 3057457187 1483090645 2730176921 4255748386 562052754 4124871891 822623314 460845444 1471331497 1346827028 2860762386 446580481 3512414605 403037953 4203373707 3320409970 1779977609 4038078090 1139785135 314698893 888455185 2164603366 2226669978 4061221955 376878604 2739217649 1193836808 1259619361 3240144159 2449696273 2586073441 2260577517 337650434 1648241262 1185915344 2586351268 3284113571 696753272 2586444133 3061243661 16424876 1248204861 2125568607 1232604382 3476524854 3211630891 4020923096 1830152149 3486959481 902804804 2566135412 12015141 3343623002 2083307370 3201521396 462312807 2598269574 293718619 993187736 750482412 49349132 877980847 3503716739 3762428329 3569616145 1561213520 3134864217 252997609 2275604315 787493475 2494327530 2339718593 1455666624 1485302497 3048549167 1386751709 1723599844 3986056224 802760505 739319032 1182009803 588616045 1392457132 1625952297 1786199289 1728812473 4029784815 698861882 3294080909 4179491975 1607129668 4118302217 1500405077 3053668337 3086879800 1864915068 328303270 3023204749 786233434 1107328701 194517032 2976850387 1464560462 3022521721 549557760 2384577715 2473893795 2045200475 926271266 3610241090 1221148356 1850504959 2399626087 359160644 1343845699 1984413718 3812128185 4176955673 3449155118 2218024817 3664753813 2273817406 3352971740 1631096295 3296269149 2893557710 2932180135 1076420877 2410337044 248039059 1153931233 1389129896 1972307454 161392745 255 362436" option to reproduce the execution 0.00/0.01 c #vars 249 0.00/0.01 c #constraints 248 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 | 165 0 | 0 | 0 0.00/0.03 c 0.0s | 1 | 172 | 100 | 165 0 | 0 | 0 0.00/0.04 c 0.0s | 2 | 418 | 250 | 182 0 | 0 | 0 0.00/0.06 c 0.0s | 3 | 750 | 475 | 201 1 | 0 | 0 0.00/0.10 c 0.1s | 4 | 1196 | 813 | 222 3 | 0 | 0 0.09/0.14 c 0.1s | 5 | 2000 | 1320 | 245 6 | 0 | 0 0.18/0.22 c 0.2s | 6 | 3066 | 2081 | 297 10 | 0 | 0 0.29/0.32 c 0.3s | 7 | 4662 | 3223 | 327 14 | 0 | 0 0.48/0.50 c 0.5s | 8 | 7365 | 4936 | 360 22 | 0 | 0 0.69/0.77 c 0.7s | 9 | 11065 | 7506 | 397 32 | 0 | 0 1.09/1.16 c 1.1s | 10 | 16328 | 11361 | 437 46 | 0 | 0 1.59/1.61 c 1.6s | 11 | 24949 | 17144 | 481 67 | 0 | 0 2.30/2.35 c 2.3s | 12 | 36014 | 25819 | 530 95 | 0 | 0 3.40/3.43 c 3.4s | 13 | 54655 | 38832 | 583 136 | 0 | 0 5.09/5.10 c 5.1s | 14 | 81407 | 58352 | 642 191 | 0 | 0 7.09/7.11 c 7.1s | 14 | 112294 | 82252 | 642 253 | 0 | 0 7.49/7.59 c 7.6s | 15 | 119540 | 87632 | 707 267 | 0 | 0 9.49/9.59 c 9.6s | 15 | 147683 | 109132 | 707 319 | 0 | 0 11.49/11.60 c 11.6s | 15 | 174922 | 129732 | 707 369 | 0 | 0 11.69/11.78 c 11.8s | 16 | 177211 | 131552 | 778 373 | 0 | 0 13.69/13.78 c 13.8s | 16 | 205530 | 153152 | 778 421 | 0 | 0 15.69/15.78 c 15.8s | 16 | 234791 | 175152 | 778 469 | 0 | 0 17.69/17.78 c 17.8s | 17 | 264745 | 197432 | 856 519 | 0 | 0 19.69/19.78 c 19.8s | 17 | 291410 | 217732 | 856 559 | 0 | 0 21.69/21.79 c 21.8s | 17 | 316314 | 237032 | 856 598 | 0 | 0 23.69/23.79 c 23.8s | 17 | 342470 | 257132 | 856 640 | 0 | 0 25.69/25.80 c 25.8s | 17 | 369500 | 277432 | 856 681 | 0 | 0 27.59/27.68 c 27.7s | 18 | 393811 | 296252 | 942 719 | 0 | 0 29.58/29.68 c 29.7s | 18 | 420223 | 317152 | 942 758 | 0 | 0 31.58/31.69 c 31.7s | 18 | 443937 | 336552 | 942 795 | 0 | 0 33.68/33.70 c 33.7s | 18 | 473803 | 358852 | 942 837 | 0 | 0 35.68/35.70 c 35.7s | 18 | 500885 | 379352 | 942 876 | 0 | 0 37.68/37.70 c 37.7s | 18 | 528065 | 399552 | 942 914 | 0 | 0 39.69/39.71 c 39.7s | 18 | 553862 | 419652 | 942 951 | 0 | 0 41.68/41.71 c 41.7s | 18 | 582854 | 441152 | 942 992 | 0 | 0 41.98/42.05 c 42.0s | 19 | 586985 | 444482 | 1037 998 | 0 | 0 43.99/44.05 c 44.0s | 19 | 612660 | 463982 | 1037 1031 | 0 | 0 45.98/46.06 c 46.0s | 19 | 636895 | 483082 | 1037 1063 | 0 | 0 47.98/48.06 c 48.0s | 19 | 661255 | 501782 | 1037 1095 | 0 | 0 49.98/50.07 c 50.1s | 19 | 684720 | 519882 | 1037 1126 | 0 | 0 51.98/52.07 c 52.1s | 19 | 707276 | 537282 | 1037 1156 | 0 | 0 53.98/54.08 c 54.1s | 19 | 730783 | 555682 | 1037 1187 | 0 | 0 55.98/56.08 c 56.1s | 19 | 756666 | 575482 | 1037 1221 | 0 | 0 57.98/58.09 c 58.1s | 19 | 783406 | 595082 | 1037 1255 | 0 | 0 59.98/60.09 c 60.1s | 19 | 808047 | 613682 | 1037 1287 | 0 | 0 61.98/62.10 c 62.1s | 19 | 831065 | 631182 | 1037 1317 | 0 | 0 64.08/64.10 c 64.1s | 19 | 855002 | 649382 | 1037 1349 | 0 | 0 65.88/65.95 c 65.9s | 20 | 877736 | 666827 | 1141 1378 | 0 | 0 67.87/67.95 c 67.9s | 20 | 904549 | 687227 | 1141 1414 | 0 | 0 69.87/69.96 c 69.9s | 20 | 930879 | 707227 | 1141 1448 | 0 | 0 71.87/71.97 c 72.0s | 20 | 954506 | 726227 | 1141 1480 | 0 | 0 73.87/73.98 c 74.0s | 20 | 979141 | 745327 | 1141 1510 | 0 | 0 75.88/75.98 c 76.0s | 20 | 1004953 | 765027 | 1141 1541 | 0 | 0 77.87/77.98 c 78.0s | 20 | 1028539 | 782527 | 1141 1571 | 0 | 0 79.87/79.99 c 80.0s | 20 | 1051735 | 799327 | 1141 1599 | 0 | 0 81.97/82.00 c 82.0s | 20 | 1074359 | 816627 | 1141 1628 | 0 | 0 83.97/84.01 c 84.0s | 20 | 1097672 | 834427 | 1141 1656 | 0 | 0 85.97/86.01 c 86.0s | 20 | 1122859 | 853427 | 1141 1687 | 0 | 0 87.97/88.01 c 88.0s | 20 | 1147088 | 872127 | 1141 1717 | 0 | 0 89.96/90.01 c 90.0s | 20 | 1170769 | 890027 | 1141 1747 | 0 | 0 91.96/92.02 c 92.0s | 20 | 1195770 | 908127 | 1141 1777 | 0 | 0 93.96/94.02 c 94.0s | 20 | 1220895 | 926927 | 1141 1806 | 0 | 0 95.96/96.03 c 96.0s | 20 | 1245856 | 945827 | 1141 1836 | 0 | 0 97.97/98.04 c 98.0s | 20 | 1270017 | 964327 | 1141 1866 | 0 | 0 99.96/100.04 c 100s | 20 | 1294652 | 983027 | 1141 1895 | 0 | 0 101.87/101.99 c 101s | 21 | 1317526 | 1000345 | 1256 1922 | 0 | 0 103.86/103.99 c 103s | 21 | 1339192 | 1017745 | 1256 1946 | 0 | 0 105.96/106.00 c 105s | 21 | 1362342 | 1035845 | 1256 1973 | 0 | 0 107.96/108.00 c 107s | 21 | 1387115 | 1054345 | 1256 1999 | 0 | 0 109.86/110.00 c 109s | 21 | 1410604 | 1072545 | 1256 2026 | 0 | 0 111.96/112.00 c 111s | 21 | 1434687 | 1090645 | 1256 2052 | 0 | 0 113.96/114.01 c 113s | 21 | 1458033 | 1108045 | 1256 2077 | 0 | 0 115.96/116.01 c 115s | 21 | 1480408 | 1125045 | 1256 2102 | 0 | 0 117.96/118.02 c 118s | 21 | 1501227 | 1141445 | 1256 2126 | 0 | 0 119.97/120.02 c 120s | 21 | 1524236 | 1159345 | 1256 2152 | 0 | 0 121.96/122.03 c 122s | 21 | 1546525 | 1176045 | 1256 2176 | 0 | 0 123.96/124.04 c 124s | 21 | 1569564 | 1193145 | 1256 2201 | 0 | 0 125.96/126.04 c 126s | 21 | 1592426 | 1210545 | 1256 2227 | 0 | 0 127.96/128.05 c 128s | 21 | 1614983 | 1228245 | 1256 2252 | 0 | 0 129.95/130.05 c 130s | 21 | 1636229 | 1244645 | 1256 2276 | 0 | 0 131.96/132.06 c 132s | 21 | 1658045 | 1261745 | 1256 2301 | 0 | 0 133.95/134.06 c 134s | 21 | 1680443 | 1279445 | 1256 2327 | 0 | 0 135.95/136.07 c 136s | 21 | 1702537 | 1296145 | 1256 2351 | 0 | 0 137.95/138.07 c 138s | 21 | 1725447 | 1313145 | 1256 2375 | 0 | 0 139.95/140.08 c 140s | 21 | 1748457 | 1330445 | 1256 2400 | 0 | 0 141.95/142.08 c 142s | 21 | 1771988 | 1348045 | 1256 2426 | 0 | 0 143.95/144.10 c 144s | 21 | 1795838 | 1366445 | 1256 2453 | 0 | 0 146.05/146.10 c 146s | 21 | 1817803 | 1383945 | 1256 2478 | 0 | 0 148.05/148.11 c 148s | 21 | 1841473 | 1402445 | 1256 2505 | 0 | 0 150.05/150.11 c 150s | 21 | 1864133 | 1420145 | 1256 2531 | 0 | 0 152.04/152.12 c 152s | 21 | 1887183 | 1437745 | 1256 2557 | 0 | 0 154.05/154.14 c 154s | 21 | 1910891 | 1456245 | 1256 2583 | 0 | 0 156.04/156.14 c 156s | 21 | 1933033 | 1473845 | 1256 2609 | 0 | 0 158.04/158.14 c 158s | 21 | 1954677 | 1490845 | 1382 2633 | 0 | 0 159.14/159.28 c 159s | 22 | 1967354 | 1500622 | 1382 2646 | 0 | 0 161.14/161.29 c 161s | 22 | 1989252 | 1517722 | 1382 2669 | 0 | 0 163.24/163.30 c 163s | 22 | 2014166 | 1536322 | 1382 2693 | 0 | 0 165.24/165.30 c 165s | 22 | 2037959 | 1554522 | 1382 2717 | 0 | 0 167.25/167.31 c 167s | 22 | 2060915 | 1572522 | 1382 2741 | 0 | 0 169.24/169.32 c 169s | 22 | 2083588 | 1589922 | 1382 2764 | 0 | 0 171.24/171.32 c 171s | 22 | 2106917 | 1607822 | 1382 2787 | 0 | 0 173.24/173.33 c 173s | 22 | 2130388 | 1626022 | 1382 2811 | 0 | 0 175.24/175.34 c 175s | 22 | 2153692 | 1643922 | 1382 2835 | 0 | 0 177.24/177.34 c 177s | 22 | 2177047 | 1661622 | 1382 2858 | 0 | 0 179.24/179.35 c 179s | 22 | 2200395 | 1680022 | 1382 2882 | 0 | 0 181.23/181.36 c 181s | 22 | 2223774 | 1698422 | 1382 2907 | 0 | 0 183.23/183.36 c 183s | 22 | 2247671 | 1716722 | 1382 2931 | 0 | 0 185.23/185.36 c 185s | 22 | 2271048 | 1734422 | 1382 2954 | 0 | 0 187.23/187.37 c 187s | 22 | 2294536 | 1752522 | 1382 2978 | 0 | 0 189.23/189.38 c 189s | 22 | 2317719 | 1770722 | 1382 3003 | 0 | 0 191.23/191.39 c 191s | 22 | 2339878 | 1788022 | 1382 3025 | 0 | 0 193.33/193.40 c 193s | 22 | 2362232 | 1805222 | 1382 3048 | 0 | 0 195.33/195.41 c 195s | 22 | 2384769 | 1822722 | 1382 3072 | 0 | 0 197.33/197.41 c 197s | 22 | 2408133 | 1841022 | 1382 3096 | 0 | 0 199.32/199.41 c 199s | 22 | 2432525 | 1859222 | 1382 3120 | 0 | 0 201.33/201.41 c 201s | 22 | 2455501 | 1877022 | 1382 3144 | 0 | 0 203.32/203.42 c 203s | 22 | 2479697 | 1895422 | 1382 3168 | 0 | 0 205.32/205.42 c 205s | 22 | 2502048 | 1913022 | 1382 3192 | 0 | 0 207.32/207.43 c 207s | 22 | 2525606 | 1930822 | 1382 3215 | 0 | 0 209.32/209.43 c 209s | 22 | 2547600 | 1947922 | 1382 3238 | 0 | 0 211.32/211.43 c 211s | 22 | 2571511 | 1966122 | 1382 3262 | 0 | 0 213.33/213.44 c 213s | 22 | 2595591 | 1984422 | 1382 3286 | 0 | 0 215.33/215.45 c 215s | 22 | 2619281 | 2002622 | 1382 3311 | 0 | 0 217.33/217.46 c 217s | 22 | 2640836 | 2019422 | 1382 3333 | 0 | 0 219.32/219.46 c 219s | 22 | 2662842 | 2036122 | 1382 3355 | 0 | 0 221.32/221.46 c 221s | 22 | 2685797 | 2053322 | 1382 3378 | 0 | 0 223.33/223.47 c 223s | 22 | 2708438 | 2070222 | 1382 3400 | 0 | 0 225.32/225.48 c 225s | 22 | 2732478 | 2088222 | 1382 3424 | 0 | 0 227.32/227.48 c 227s | 22 | 2754693 | 2105422 | 1382 3447 | 0 | 0 229.32/229.49 c 229s | 22 | 2777909 | 2123222 | 1382 3471 | 0 | 0 231.31/231.49 c 231s | 22 | 2801055 | 2140422 | 1382 3494 | 0 | 0 233.41/233.50 c 233s | 22 | 2823816 | 2157922 | 1382 3518 | 0 | 0 235.42/235.51 c 235s | 22 | 2846234 | 2174622 | 1382 3540 | 0 | 0 237.41/237.51 c 237s | 22 | 2868404 | 2191822 | 1382 3563 | 0 | 0 239.41/239.52 c 239s | 22 | 2892086 | 2209722 | 1382 3587 | 0 | 0 241.41/241.52 c 241s | 22 | 2914493 | 2226922 | 1382 3609 | 0 | 0 243.41/243.53 c 243s | 22 | 2935171 | 2243122 | 1521 3630 | 0 | 0 244.31/244.44 c 244s | 23 | 2945333 | 2251038 | 1521 3640 | 0 | 0 246.31/246.45 c 246s | 23 | 2966514 | 2267438 | 1521 3659 | 0 | 0 248.30/248.45 c 248s | 23 | 2988981 | 2284638 | 1521 3680 | 0 | 0 250.30/250.46 c 250s | 23 | 3011548 | 2302138 | 1521 3701 | 0 | 0 252.30/252.47 c 252s | 23 | 3034344 | 2319438 | 1521 3722 | 0 | 0 254.30/254.48 c 254s | 23 | 3057006 | 2336738 | 1521 3743 | 0 | 0 256.31/256.48 c 256s | 23 | 3080059 | 2354138 | 1521 3765 | 0 | 0 258.29/258.49 c 258s | 23 | 3103168 | 2371738 | 1521 3787 | 0 | 0 260.29/260.50 c 260s | 23 | 3124277 | 2388138 | 1521 3808 | 0 | 0 262.39/262.51 c 262s | 23 | 3145572 | 2404538 | 1521 3828 | 0 | 0 264.39/264.51 c 264s | 23 | 3168628 | 2421738 | 1521 3850 | 0 | 0 266.39/266.52 c 266s | 23 | 3190557 | 2438538 | 1521 3871 | 0 | 0 268.40/268.52 c 268s | 23 | 3211772 | 2454838 | 1521 3892 | 0 | 0 270.39/270.52 c 270s | 23 | 3232902 | 2471038 | 1521 3912 | 0 | 0 272.39/272.53 c 272s | 23 | 3254408 | 2487338 | 1521 3933 | 0 | 0 274.39/274.53 c 274s | 23 | 3276783 | 2503938 | 1521 3954 | 0 | 0 276.39/276.54 c 276s | 23 | 3298896 | 2520738 | 1521 3975 | 0 | 0 278.39/278.55 c 278s | 23 | 3322534 | 2538238 | 1521 3996 | 0 | 0 280.40/280.56 c 280s | 23 | 3344578 | 2555138 | 1521 4018 | 0 | 0 282.39/282.56 c 282s | 23 | 3366035 | 2572038 | 1521 4038 | 0 | 0 284.39/284.57 c 284s | 23 | 3388256 | 2589438 | 1521 4060 | 0 | 0 286.39/286.58 c 286s | 23 | 3411288 | 2606838 | 1521 4081 | 0 | 0 288.39/288.59 c 288s | 23 | 3436185 | 2625238 | 1521 4104 | 0 | 0 290.40/290.59 c 290s | 23 | 3460066 | 2642738 | 1521 4125 | 0 | 0 292.39/292.60 c 292s | 23 | 3481791 | 2659538 | 1521 4146 | 0 | 0 294.49/294.61 c 294s | 23 | 3505164 | 2677238 | 1521 4168 | 0 | 0 296.49/296.61 c 296s | 23 | 3526208 | 2693938 | 1521 4189 | 0 | 0 298.48/298.61 c 298s | 23 | 3549174 | 2711538 | 1521 4212 | 0 | 0 300.48/300.62 c 300s | 23 | 3572182 | 2729138 | 1521 4234 | 0 | 0 302.49/302.62 c 302s | 23 | 3594353 | 2746138 | 1521 4255 | 0 | 0 304.48/304.63 c 304s | 23 | 3618127 | 2764238 | 1521 4278 | 0 | 0 306.48/306.63 c 306s | 23 | 3641431 | 2782038 | 1521 4301 | 0 | 0 308.48/308.63 c 308s | 23 | 3663815 | 2799138 | 1521 4323 | 0 | 0 310.47/310.63 c 310s | 23 | 3686021 | 2816338 | 1521 4344 | 0 | 0 312.47/312.64 c 312s | 23 | 3709823 | 2834238 | 1521 4367 | 0 | 0 314.48/314.64 c 314s | 23 | 3732606 | 2851338 | 1521 4389 | 0 | 0 316.47/316.65 c 316s | 23 | 3756431 | 2868938 | 1521 4411 | 0 | 0 318.47/318.65 c 318s | 23 | 3779388 | 2886538 | 1521 4433 | 0 | 0 320.47/320.65 c 320s | 23 | 3802246 | 2903738 | 1521 4455 | 0 | 0 322.47/322.67 c 322s | 23 | 3824712 | 2920838 | 1521 4477 | 0 | 0 324.48/324.67 c 324s | 23 | 3847194 | 2937938 | 1521 4498 | 0 | 0 326.47/326.68 c 326s | 23 | 3868934 | 2954338 | 1521 4519 | 0 | 0 328.47/328.68 c 328s | 23 | 3891021 | 2971138 | 1521 4540 | 0 | 0 330.47/330.69 c 330s | 23 | 3913113 | 2987838 | 1521 4561 | 0 | 0 332.47/332.69 c 332s | 23 | 3934866 | 3004538 | 1521 4582 | 0 | 0 334.47/334.69 c 334s | 23 | 3954550 | 3020138 | 1521 4602 | 0 | 0 336.47/336.70 c 336s | 23 | 3974897 | 3035838 | 1521 4622 | 0 | 0 338.56/338.71 c 338s | 23 | 3997137 | 3053038 | 1521 4643 | 0 | 0 340.56/340.71 c 340s | 23 | 4020267 | 3070638 | 1521 4666 | 0 | 0 342.56/342.72 c 342s | 23 | 4043000 | 3087338 | 1521 4686 | 0 | 0 344.56/344.72 c 344s | 23 | 4065347 | 3103738 | 1521 4707 | 0 | 0 346.56/346.72 c 346s | 23 | 4089377 | 3121638 | 1521 4729 | 0 | 0 348.56/348.73 c 348s | 23 | 4109411 | 3137538 | 1521 4749 | 0 | 0 350.55/350.74 c 350s | 23 | 4131339 | 3154138 | 1521 4770 | 0 | 0 352.55/352.74 c 352s | 23 | 4151793 | 3169838 | 1521 4790 | 0 | 0 354.55/354.75 c 354s | 23 | 4173641 | 3186238 | 1521 4810 | 0 | 0 356.55/356.75 c 356s | 23 | 4195988 | 3203438 | 1521 4832 | 0 | 0 358.56/358.75 c 358s | 23 | 4219193 | 3221138 | 1521 4854 | 0 | 0 360.55/360.76 c 360s | 23 | 4243047 | 3239238 | 1521 4876 | 0 | 0 362.55/362.76 c 362s | 23 | 4266630 | 3256838 | 1521 4898 | 0 | 0 364.55/364.77 c 364s | 23 | 4289714 | 3274138 | 1521 4920 | 0 | 0 366.55/366.77 c 366s | 23 | 4312965 | 3291838 | 1521 4942 | 0 | 0 368.55/368.78 c 368s | 23 | 4334569 | 3308538 | 1521 4963 | 0 | 0 370.55/370.78 c 370s | 23 | 4356254 | 3325338 | 1521 4984 | 0 | 0 372.54/372.78 c 372s | 23 | 4378146 | 3342238 | 1521 5006 | 0 | 0 374.54/374.79 c 374s | 23 | 4401443 | 3359838 | 1674 5027 | 0 | 0 376.54/376.79 c 376s | 23 | 4422263 | 3375738 | 1674 5045 | 0 | 0 376.74/376.91 c 376s | 24 | 4423518 | 3376662 | 1674 5046 | 0 | 0 378.74/378.91 c 378s | 24 | 4444763 | 3393062 | 1674 5064 | 0 | 0 380.74/380.91 c 380s | 24 | 4467084 | 3409962 | 1674 5083 | 0 | 0 382.74/382.91 c 382s | 24 | 4489571 | 3426962 | 1674 5102 | 0 | 0 384.73/384.92 c 384s | 24 | 4509278 | 3443062 | 1674 5119 | 0 | 0 386.73/386.94 c 386s | 24 | 4529231 | 3459062 | 1674 5137 | 0 | 0 388.73/388.94 c 388s | 24 | 4548802 | 3474562 | 1674 5154 | 0 | 0 390.73/390.95 c 390s | 24 | 4569261 | 3490462 | 1674 5172 | 0 | 0 392.73/392.96 c 392s | 24 | 4589470 | 3506462 | 1674 5190 | 0 | 0 394.73/394.97 c 394s | 24 | 4608110 | 3521762 | 1674 5207 | 0 | 0 396.73/396.98 c 396s | 24 | 4628724 | 3537562 | 1674 5224 | 0 | 0 398.72/398.98 c 398s | 24 | 4649779 | 3553362 | 1674 5242 | 0 | 0 400.72/401.00 c 400s | 24 | 4670970 | 3569662 | 1674 5260 | 0 | 0 402.82/403.00 c 402s | 24 | 4693479 | 3587162 | 1674 5279 | 0 | 0 404.82/405.00 c 404s | 24 | 4716617 | 3604862 | 1674 5299 | 0 | 0 406.83/407.01 c 406s | 24 | 4738680 | 3622162 | 1674 5318 | 0 | 0 408.82/409.01 c 408s | 24 | 4761429 | 3639662 | 1674 5338 | 0 | 0 410.82/411.02 c 411s | 24 | 4782065 | 3655962 | 1674 5356 | 0 | 0 412.82/413.03 c 413s | 24 | 4804596 | 3673062 | 1674 5375 | 0 | 0 414.82/415.04 c 415s | 24 | 4824437 | 3689262 | 1674 5394 | 0 | 0 416.82/417.05 c 417s | 24 | 4844959 | 3705462 | 1674 5412 | 0 | 0 418.81/419.05 c 419s | 24 | 4868419 | 3723162 | 1674 5432 | 0 | 0 420.81/421.05 c 421s | 24 | 4891926 | 3740762 | 1674 5452 | 0 | 0 422.81/423.06 c 423s | 24 | 4913037 | 3757362 | 1674 5470 | 0 | 0 424.81/425.07 c 425s | 24 | 4935867 | 3774862 | 1674 5490 | 0 | 0 426.82/427.08 c 427s | 24 | 4955915 | 3790162 | 1674 5507 | 0 | 0 428.82/429.08 c 429s | 24 | 4976297 | 3806062 | 1674 5525 | 0 | 0 430.81/431.09 c 431s | 24 | 4997209 | 3822362 | 1674 5543 | 0 | 0 432.81/433.09 c 433s | 24 | 5017843 | 3838662 | 1674 5562 | 0 | 0 434.91/435.10 c 435s | 24 | 5037000 | 3854262 | 1674 5579 | 0 | 0 436.91/437.11 c 437s | 24 | 5056766 | 3869662 | 1674 5597 | 0 | 0 438.91/439.12 c 439s | 24 | 5077086 | 3885062 | 1674 5614 | 0 | 0 440.92/441.12 c 441s | 24 | 5096772 | 3900662 | 1674 5631 | 0 | 0 442.91/443.14 c 443s | 24 | 5117643 | 3917162 | 1674 5650 | 0 | 0 444.91/445.15 c 445s | 24 | 5138693 | 3933262 | 1674 5668 | 0 | 0 446.91/447.15 c 447s | 24 | 5160822 | 3949862 | 1674 5687 | 0 | 0 448.90/449.16 c 449s | 24 | 5183617 | 3966962 | 1674 5706 | 0 | 0 450.91/451.16 c 451s | 24 | 5207501 | 3984562 | 1674 5726 | 0 | 0 452.90/453.17 c 453s | 24 | 5229868 | 4001562 | 1674 5746 | 0 | 0 454.90/455.18 c 455s | 24 | 5252315 | 4018962 | 1674 5765 | 0 | 0 456.90/457.18 c 457s | 24 | 5275981 | 4036462 | 1674 5785 | 0 | 0 458.90/459.18 c 459s | 24 | 5298214 | 4053462 | 1674 5804 | 0 | 0 460.90/461.19 c 461s | 24 | 5321737 | 4070962 | 1674 5824 | 0 | 0 462.90/463.20 c 463s | 24 | 5345822 | 4088662 | 1674 5844 | 0 | 0 465.00/465.20 c 465s | 24 | 5366898 | 4105262 | 1674 5863 | 0 | 0 467.00/467.20 c 467s | 24 | 5384985 | 4119662 | 1674 5879 | 0 | 0 468.99/469.21 c 469s | 24 | 5403517 | 4133762 | 1674 5895 | 0 | 0 470.99/471.22 c 471s | 24 | 5424282 | 4148962 | 1674 5912 | 0 | 0 472.99/473.23 c 473s | 24 | 5447938 | 4166662 | 1674 5932 | 0 | 0 475.00/475.24 c 475s | 24 | 5472228 | 4185062 | 1674 5953 | 0 | 0 476.99/477.24 c 477s | 24 | 5492549 | 4200362 | 1674 5970 | 0 | 0 478.98/479.25 c 479s | 24 | 5512932 | 4215662 | 1674 5987 | 0 | 0 480.98/481.25 c 481s | 24 | 5535295 | 4231762 | 1674 6006 | 0 | 0 482.98/483.25 c 483s | 24 | 5557385 | 4248462 | 1674 6025 | 0 | 0 484.99/485.26 c 485s | 24 | 5580179 | 4265262 | 1674 6043 | 0 | 0 486.98/487.26 c 487s | 24 | 5600378 | 4281162 | 1674 6062 | 0 | 0 488.98/489.26 c 489s | 24 | 5620416 | 4296562 | 1674 6079 | 0 | 0 490.98/491.27 c 491s | 24 | 5641161 | 4312262 | 1674 6097 | 0 | 0 492.98/493.27 c 493s | 24 | 5661405 | 4327762 | 1674 6115 | 0 | 0 494.98/495.27 c 495s | 24 | 5680939 | 4342962 | 1674 6132 | 0 | 0 496.98/497.28 c 497s | 24 | 5701712 | 4358562 | 1674 6150 | 0 | 0 499.07/499.30 c 499s | 24 | 5722060 | 4373862 | 1674 6168 | 0 | 0 501.07/501.31 c 501s | 24 | 5741499 | 4388562 | 1674 6184 | 0 | 0 503.07/503.32 c 503s | 24 | 5760811 | 4403562 | 1674 6202 | 0 | 0 505.07/505.32 c 505s | 24 | 5781703 | 4419362 | 1674 6220 | 0 | 0 507.07/507.33 c 507s | 24 | 5801038 | 4434162 | 1674 6237 | 0 | 0 509.08/509.34 c 509s | 24 | 5820288 | 4449562 | 1674 6254 | 0 | 0 511.07/511.34 c 511s | 24 | 5837632 | 4463262 | 1674 6270 | 0 | 0 513.07/513.35 c 513s | 24 | 5857383 | 4477862 | 1674 6286 | 0 | 0 515.07/515.35 c 515s | 24 | 5876893 | 4492762 | 1674 6303 | 0 | 0 517.07/517.36 c 517s | 24 | 5895032 | 4507062 | 1674 6319 | 0 | 0 519.07/519.37 c 519s | 24 | 5912608 | 4520962 | 1674 6335 | 0 | 0 521.06/521.38 c 521s | 24 | 5932858 | 4536162 | 1674 6353 | 0 | 0 523.06/523.38 c 523s | 24 | 5952783 | 4551562 | 1674 6370 | 0 | 0 525.06/525.39 c 525s | 24 | 5972813 | 4566662 | 1674 6387 | 0 | 0 527.16/527.40 c 527s | 24 | 5992561 | 4581562 | 1674 6404 | 0 | 0 529.16/529.41 c 529s | 24 | 6013388 | 4597162 | 1674 6422 | 0 | 0 531.16/531.42 c 531s | 24 | 6033727 | 4612762 | 1674 6440 | 0 | 0 533.16/533.43 c 533s | 24 | 6052264 | 4627162 | 1674 6456 | 0 | 0 535.16/535.44 c 535s | 24 | 6070435 | 4641562 | 1674 6473 | 0 | 0 537.16/537.45 c 537s | 24 | 6089033 | 4655962 | 1674 6489 | 0 | 0 539.15/539.45 c 539s | 24 | 6107182 | 4670162 | 1674 6505 | 0 | 0 541.15/541.46 c 541s | 24 | 6127697 | 4685962 | 1674 6523 | 0 | 0 543.15/543.47 c 543s | 24 | 6149572 | 4702062 | 1674 6542 | 0 | 0 545.15/545.47 c 545s | 24 | 6169201 | 4716962 | 1674 6559 | 0 | 0 547.15/547.47 c 547s | 24 | 6187965 | 4731762 | 1674 6576 | 0 | 0 549.14/549.49 c 549s | 24 | 6207767 | 4746562 | 1674 6593 | 0 | 0 551.14/551.49 c 551s | 24 | 6228974 | 4762162 | 1674 6610 | 0 | 0 553.24/553.50 c 553s | 24 | 6249992 | 4777862 | 1674 6628 | 0 | 0 555.14/555.50 c 555s | 24 | 6270294 | 4793162 | 1674 6646 | 0 | 0 557.24/557.50 c 557s | 24 | 6291641 | 4809162 | 1674 6664 | 0 | 0 559.24/559.51 c 559s | 24 | 6313721 | 4825462 | 1674 6683 | 0 | 0 561.24/561.51 c 561s | 24 | 6334094 | 4841362 | 1674 6701 | 0 | 0 563.24/563.52 c 563s | 24 | 6353673 | 4856662 | 1674 6718 | 0 | 0 565.24/565.53 c 565s | 24 | 6374209 | 4872062 | 1674 6736 | 0 | 0 567.24/567.54 c 567s | 24 | 6395032 | 4887562 | 1674 6754 | 0 | 0 569.23/569.55 c 569s | 24 | 6415586 | 4902962 | 1674 6771 | 0 | 0 571.23/571.56 c 571s | 24 | 6435139 | 4918262 | 1674 6789 | 0 | 0 573.23/573.56 c 573s | 24 | 6456601 | 4933962 | 1674 6807 | 0 | 0 575.23/575.57 c 575s | 24 | 6478347 | 4949762 | 1674 6825 | 0 | 0 577.24/577.58 c 577s | 24 | 6499386 | 4965462 | 1674 6842 | 0 | 0 579.23/579.58 c 579s | 24 | 6520481 | 4980962 | 1674 6860 | 0 | 0 581.23/581.59 c 581s | 24 | 6540540 | 4996362 | 1674 6878 | 0 | 0 583.33/583.60 c 583s | 24 | 6560078 | 5012362 | 1674 6895 | 0 | 0 585.33/585.60 c 585s | 24 | 6582565 | 5028862 | 1842 6914 | 0 | 0 587.33/587.61 c 587s | 24 | 6603890 | 5045362 | 1842 6930 | 0 | 0 589.33/589.61 c 589s | 24 | 6626037 | 5061862 | 1842 6947 | 0 | 0 589.72/590.02 c 590s | 25 | 6630297 | 5065098 | 1842 6951 | 0 | 0 591.72/592.03 c 592s | 25 | 6647228 | 5078798 | 1842 6964 | 0 | 0 593.73/594.04 c 594s | 25 | 6665464 | 5092798 | 1842 6978 | 0 | 0 595.72/596.04 c 596s | 25 | 6684523 | 5107598 | 1842 6993 | 0 | 0 597.73/598.04 c 598s | 25 | 6706043 | 5124098 | 1842 7010 | 0 | 0 599.72/600.05 c 600s | 25 | 6726560 | 5139698 | 1842 7026 | 0 | 0 601.72/602.05 c 602s | 25 | 6747483 | 5155498 | 1842 7042 | 0 | 0 603.73/604.06 c 604s | 25 | 6769060 | 5171498 | 1842 7059 | 0 | 0 605.72/606.06 c 606s | 25 | 6789205 | 5186598 | 1842 7075 | 0 | 0 607.72/608.07 c 608s | 25 | 6810188 | 5201898 | 1842 7090 | 0 | 0 609.72/610.08 c 610s | 25 | 6831197 | 5217398 | 1842 7106 | 0 | 0 611.72/612.08 c 612s | 25 | 6851534 | 5232398 | 1842 7122 | 0 | 0 613.72/614.09 c 614s | 25 | 6872036 | 5247398 | 1842 7137 | 0 | 0 615.73/616.10 c 616s | 25 | 6893501 | 5262698 | 1842 7153 | 0 | 0 617.82/618.10 c 618s | 25 | 6915636 | 5278698 | 1842 7170 | 0 | 0 619.82/620.10 c 620s | 25 | 6936695 | 5293798 | 1842 7185 | 0 | 0 621.82/622.10 c 622s | 25 | 6955900 | 5308098 | 1842 7200 | 0 | 0 623.82/624.10 c 624s | 25 | 6974042 | 5322198 | 1842 7214 | 0 | 0 625.82/626.11 c 626s | 25 | 6993329 | 5336498 | 1842 7229 | 0 | 0 627.82/628.11 c 628s | 25 | 7012889 | 5350898 | 1842 7244 | 0 | 0 629.81/630.12 c 630s | 25 | 7032772 | 5365798 | 1842 7260 | 0 | 0 631.81/632.13 c 632s | 25 | 7052498 | 5380798 | 1842 7275 | 0 | 0 633.81/634.14 c 634s | 25 | 7073899 | 5396298 | 1842 7292 | 0 | 0 635.81/636.15 c 636s | 25 | 7090941 | 5409798 | 1842 7306 | 0 | 0 637.82/638.16 c 638s | 25 | 7108524 | 5423298 | 1842 7320 | 0 | 0 639.80/640.17 c 640s | 25 | 7128346 | 5438098 | 1842 7335 | 0 | 0 641.80/642.18 c 642s | 25 | 7149920 | 5453898 | 1842 7351 | 0 | 0 643.80/644.19 c 644s | 25 | 7169725 | 5468698 | 1842 7367 | 0 | 0 645.80/646.19 c 646s | 25 | 7191618 | 5484298 | 1842 7382 | 0 | 0 647.90/648.21 c 648s | 25 | 7211044 | 5498998 | 1842 7398 | 0 | 0 649.90/650.21 c 650s | 25 | 7231363 | 5514498 | 1842 7413 | 0 | 0 651.90/652.22 c 652s | 25 | 7252949 | 5530298 | 1842 7429 | 0 | 0 653.90/654.23 c 654s | 25 | 7274539 | 5545998 | 1842 7446 | 0 | 0 655.90/656.24 c 656s | 25 | 7296110 | 5561498 | 1842 7462 | 0 | 0 657.90/658.24 c 658s | 25 | 7317467 | 5577198 | 1842 7478 | 0 | 0 659.89/660.25 c 660s | 25 | 7338768 | 5592298 | 1842 7494 | 0 | 0 661.90/662.26 c 662s | 25 | 7358544 | 5607298 | 1842 7509 | 0 | 0 663.89/664.27 c 664s | 25 | 7378964 | 5622598 | 1842 7525 | 0 | 0 665.89/666.27 c 666s | 25 | 7397212 | 5636398 | 1842 7540 | 0 | 0 667.89/668.28 c 668s | 25 | 7417980 | 5651198 | 1842 7555 | 0 | 0 669.88/670.29 c 670s | 25 | 7438880 | 5666798 | 1842 7571 | 0 | 0 671.89/672.29 c 672s | 25 | 7460576 | 5682898 | 1842 7588 | 0 | 0 673.88/674.30 c 674s | 25 | 7481421 | 5698598 | 1842 7604 | 0 | 0 675.98/676.30 c 676s | 25 | 7502456 | 5713898 | 1842 7620 | 0 | 0 677.98/678.30 c 678s | 25 | 7524362 | 5729498 | 1842 7636 | 0 | 0 679.98/680.31 c 680s | 25 | 7545146 | 5744798 | 1842 7652 | 0 | 0 681.98/682.32 c 682s | 25 | 7565828 | 5760498 | 1842 7668 | 0 | 0 683.98/684.32 c 684s | 25 | 7588063 | 5776498 | 1842 7685 | 0 | 0 685.98/686.33 c 686s | 25 | 7609670 | 5792498 | 1842 7701 | 0 | 0 687.98/688.34 c 688s | 25 | 7631724 | 5808698 | 1842 7718 | 0 | 0 689.98/690.35 c 690s | 25 | 7653689 | 5824498 | 1842 7735 | 0 | 0 691.98/692.36 c 692s | 25 | 7674709 | 5840398 | 1842 7751 | 0 | 0 693.98/694.36 c 694s | 25 | 7696291 | 5855998 | 1842 7767 | 0 | 0 695.98/696.37 c 696s | 25 | 7716737 | 5870798 | 1842 7782 | 0 | 0 697.97/698.38 c 698s | 25 | 7737814 | 5886098 | 1842 7798 | 0 | 0 699.97/700.39 c 700s | 25 | 7758801 | 5901498 | 1842 7813 | 0 | 0 702.07/702.40 c 702s | 25 | 7779315 | 5916998 | 1842 7830 | 0 | 0 704.07/704.41 c 704s | 25 | 7800777 | 5932698 | 1842 7846 | 0 | 0 706.07/706.41 c 706s | 25 | 7821967 | 5948198 | 1842 7862 | 0 | 0 708.08/708.42 c 708s | 25 | 7842976 | 5963698 | 1842 7878 | 0 | 0 710.07/710.42 c 710s | 25 | 7864506 | 5979398 | 1842 7894 | 0 | 0 712.07/712.43 c 712s | 25 | 7885707 | 5994998 | 1842 7910 | 0 | 0 714.07/714.43 c 714s | 25 | 7906244 | 6009898 | 1842 7926 | 0 | 0 716.07/716.44 c 716s | 25 | 7924711 | 6023798 | 1842 7940 | 0 | 0 718.07/718.45 c 718s | 25 | 7943418 | 6037398 | 1842 7955 | 0 | 0 720.07/720.46 c 720s | 25 | 7964528 | 6052698 | 1842 7970 | 0 | 0 722.08/722.47 c 722s | 25 | 7985324 | 6068098 | 1842 7986 | 0 | 0 724.08/724.48 c 724s | 25 | 8006596 | 6083398 | 1842 8002 | 0 | 0 726.08/726.48 c 726s | 25 | 8028755 | 6099398 | 1842 8019 | 0 | 0 728.08/728.48 c 728s | 25 | 8048971 | 6114098 | 1842 8034 | 0 | 0 730.08/730.48 c 730s | 25 | 8068793 | 6128698 | 1842 8049 | 0 | 0 732.07/732.49 c 732s | 25 | 8090504 | 6144198 | 1842 8065 | 0 | 0 734.17/734.50 c 734s | 25 | 8110714 | 6158898 | 1842 8081 | 0 | 0 736.17/736.51 c 736s | 25 | 8128925 | 6172398 | 1842 8095 | 0 | 0 738.17/738.51 c 738s | 25 | 8149190 | 6187098 | 1842 8110 | 0 | 0 740.17/740.52 c 740s | 25 | 8169114 | 6201398 | 1842 8125 | 0 | 0 742.18/742.53 c 742s | 25 | 8190993 | 6216498 | 1842 8140 | 0 | 0 744.17/744.54 c 744s | 25 | 8210536 | 6230798 | 1842 8155 | 0 | 0 746.17/746.54 c 746s | 25 | 8229642 | 6244998 | 1842 8170 | 0 | 0 748.17/748.54 c 748s | 25 | 8248818 | 6258798 | 1842 8184 | 0 | 0 750.17/750.55 c 750s | 25 | 8269153 | 6273198 | 1842 8199 | 0 | 0 752.18/752.56 c 752s | 25 | 8290003 | 6288798 | 1842 8215 | 0 | 0 754.17/754.57 c 754s | 25 | 8308013 | 6303098 | 1842 8230 | 0 | 0 756.17/756.59 c 756s | 25 | 8327529 | 6317498 | 1842 8245 | 0 | 0 758.17/758.59 c 758s | 25 | 8346727 | 6331698 | 1842 8259 | 0 | 0 760.27/760.60 c 760s | 25 | 8365541 | 6346298 | 1842 8274 | 0 | 0 762.27/762.60 c 762s | 25 | 8385703 | 6361098 | 1842 8290 | 0 | 0 764.28/764.61 c 764s | 25 | 8403813 | 6375498 | 1842 8304 | 0 | 0 766.27/766.61 c 766s | 25 | 8422376 | 6389998 | 1842 8319 | 0 | 0 768.27/768.62 c 768s | 25 | 8442060 | 6404898 | 1842 8334 | 0 | 0 770.27/770.63 c 770s | 25 | 8461617 | 6419198 | 1842 8349 | 0 | 0 772.27/772.63 c 772s | 25 | 8483598 | 6434698 | 1842 8365 | 0 | 0 774.27/774.64 c 774s | 25 | 8502508 | 6449298 | 1842 8379 | 0 | 0 776.27/776.65 c 776s | 25 | 8521827 | 6463798 | 1842 8394 | 0 | 0 778.27/778.66 c 778s | 25 | 8540877 | 6477998 | 1842 8409 | 0 | 0 780.27/780.67 c 780s | 25 | 8558628 | 6491798 | 1842 8423 | 0 | 0 782.27/782.68 c 782s | 25 | 8576856 | 6505398 | 1842 8437 | 0 | 0 784.26/784.69 c 784s | 25 | 8595411 | 6519398 | 1842 8451 | 0 | 0 786.27/786.69 c 786s | 25 | 8616732 | 6534898 | 1842 8467 | 0 | 0 788.26/788.70 c 788s | 25 | 8638748 | 6550798 | 1842 8484 | 0 | 0 790.36/790.70 c 790s | 25 | 8658229 | 6565498 | 1842 8499 | 0 | 0 792.36/792.72 c 792s | 25 | 8678258 | 6580398 | 1842 8514 | 0 | 0 794.36/794.72 c 794s | 25 | 8697115 | 6594298 | 1842 8529 | 0 | 0 796.36/796.73 c 796s | 25 | 8716368 | 6609098 | 1842 8544 | 0 | 0 798.37/798.75 c 798s | 25 | 8737123 | 6623798 | 1842 8559 | 0 | 0 800.36/800.76 c 800s | 25 | 8757437 | 6639098 | 1842 8575 | 0 | 0 802.36/802.77 c 802s | 25 | 8777664 | 6653898 | 1842 8590 | 0 | 0 804.36/804.77 c 804s | 25 | 8798087 | 6668898 | 1842 8606 | 0 | 0 806.36/806.78 c 806s | 25 | 8817612 | 6683298 | 1842 8621 | 0 | 0 808.36/808.78 c 808s | 25 | 8836744 | 6697298 | 1842 8635 | 0 | 0 810.37/810.78 c 810s | 25 | 8856480 | 6711798 | 1842 8650 | 0 | 0 812.36/812.79 c 812s | 25 | 8877344 | 6726898 | 1842 8666 | 0 | 0 814.36/814.79 c 814s | 25 | 8899200 | 6743098 | 1842 8683 | 0 | 0 816.36/816.79 c 816s | 25 | 8918926 | 6758498 | 1842 8698 | 0 | 0 818.46/818.80 c 818s | 25 | 8941088 | 6774198 | 1842 8714 | 0 | 0 820.46/820.80 c 820s | 25 | 8961918 | 6789698 | 1842 8731 | 0 | 0 822.46/822.81 c 822s | 25 | 8983373 | 6805398 | 1842 8747 | 0 | 0 824.46/824.81 c 824s | 25 | 9003598 | 6820598 | 1842 8762 | 0 | 0 826.46/826.82 c 826s | 25 | 9023271 | 6835998 | 1842 8778 | 0 | 0 828.46/828.83 c 828s | 25 | 9042880 | 6851298 | 1842 8794 | 0 | 0 830.46/830.84 c 830s | 25 | 9065581 | 6867598 | 1842 8811 | 0 | 0 832.46/832.85 c 832s | 25 | 9088004 | 6883498 | 1842 8827 | 0 | 0 834.46/834.87 c 834s | 25 | 9106537 | 6897198 | 1842 8841 | 0 | 0 836.45/836.87 c 836s | 25 | 9124235 | 6910498 | 1842 8855 | 0 | 0 838.45/838.87 c 838s | 25 | 9144143 | 6925298 | 1842 8871 | 0 | 0 840.45/840.88 c 840s | 25 | 9163452 | 6939898 | 1842 8886 | 0 | 0 842.45/842.90 c 842s | 25 | 9183599 | 6955198 | 1842 8902 | 0 | 0 844.46/844.90 c 844s | 25 | 9202777 | 6969898 | 1842 8917 | 0 | 0 846.55/846.91 c 846s | 25 | 9224853 | 6985398 | 1842 8933 | 0 | 0 848.55/848.92 c 848s | 25 | 9245495 | 7000698 | 1842 8948 | 0 | 0 850.55/850.94 c 850s | 25 | 9265617 | 7015298 | 1842 8964 | 0 | 0 852.55/852.95 c 852s | 25 | 9284915 | 7029398 | 1842 8978 | 0 | 0 854.55/854.96 c 854s | 25 | 9303916 | 7044098 | 1842 8993 | 0 | 0 856.56/856.97 c 856s | 25 | 9324181 | 7058598 | 1842 9009 | 0 | 0 858.55/858.98 c 858s | 25 | 9346045 | 7073998 | 1842 9025 | 0 | 0 860.65/861.00 c 860s | 25 | 9365990 | 7088598 | 1842 9040 | 0 | 0 862.65/863.00 c 862s | 25 | 9385274 | 7102898 | 1842 9054 | 0 | 0 864.65/865.01 c 864s | 25 | 9405271 | 7117498 | 1842 9070 | 0 | 0 866.65/867.01 c 866s | 25 | 9425803 | 7132598 | 1842 9085 | 0 | 0 868.65/869.02 c 868s | 25 | 9447740 | 7148198 | 1842 9101 | 0 | 0 870.65/871.02 c 871s | 25 | 9469871 | 7163798 | 1842 9118 | 0 | 0 872.65/873.03 c 873s | 25 | 9489222 | 7178898 | 1842 9133 | 0 | 0 874.65/875.04 c 875s | 25 | 9511062 | 7194598 | 1842 9149 | 0 | 0 876.64/877.05 c 877s | 25 | 9531978 | 7210198 | 1842 9165 | 0 | 0 878.66/879.06 c 879s | 25 | 9553217 | 7225898 | 1842 9181 | 0 | 0 880.65/881.08 c 881s | 25 | 9573072 | 7240898 | 1842 9197 | 0 | 0 882.65/883.09 c 883s | 25 | 9593691 | 7255998 | 1842 9212 | 0 | 0 884.65/885.09 c 885s | 25 | 9615805 | 7271898 | 1842 9229 | 0 | 0 886.75/887.10 c 887s | 25 | 9636103 | 7287098 | 1842 9244 | 0 | 0 888.75/889.11 c 889s | 25 | 9656923 | 7302198 | 1842 9260 | 0 | 0 890.76/891.12 c 891s | 25 | 9678239 | 7317498 | 1842 9276 | 0 | 0 892.75/893.12 c 893s | 25 | 9697512 | 7332398 | 1842 9291 | 0 | 0 894.75/895.12 c 895s | 25 | 9717349 | 7347398 | 1842 9307 | 0 | 0 896.75/897.12 c 897s | 25 | 9736633 | 7361998 | 1842 9322 | 0 | 0 898.75/899.14 c 899s | 25 | 9756424 | 7377198 | 1842 9337 | 0 | 0 900.75/901.14 c 901s | 25 | 9776550 | 7392098 | 1842 9353 | 0 | 0 902.75/903.15 c 903s | 25 | 9798761 | 7407798 | 1842 9369 | 0 | 0 904.75/905.15 c 905s | 25 | 9819610 | 7422898 | 1842 9385 | 0 | 0 906.75/907.15 c 907s | 25 | 9839704 | 7438198 | 1842 9400 | 0 | 0 908.75/909.15 c 909s | 25 | 9862952 | 7454298 | 1842 9417 | 0 | 0 910.75/911.16 c 911s | 25 | 9883845 | 7469498 | 1842 9433 | 0 | 0 912.75/913.17 c 913s | 25 | 9904289 | 7484598 | 1842 9448 | 0 | 0 914.74/915.17 c 915s | 25 | 9924559 | 7499698 | 1842 9464 | 0 | 0 916.74/917.17 c 917s | 25 | 9945974 | 7515198 | 1842 9480 | 0 | 0 918.74/919.18 c 919s | 25 | 9967221 | 7530998 | 1842 9496 | 0 | 0 920.74/921.19 c 921s | 25 | 9986522 | 7546198 | 2027 9511 | 0 | 0 922.84/923.20 c 923s | 25 | 10007293 | 7561398 | 2027 9526 | 0 | 0 924.85/925.21 c 925s | 25 | 10027392 | 7576198 | 2027 9539 | 0 | 0 926.84/927.23 c 927s | 25 | 10047416 | 7591298 | 2027 9554 | 0 | 0 927.84/928.29 c 928s | 26 | 10055399 | 7597752 | 2027 9560 | 0 | 0 929.94/930.31 c 930s | 26 | 10072953 | 7611552 | 2027 9573 | 0 | 0 931.94/932.32 c 932s | 26 | 10090211 | 7624552 | 2027 9585 | 0 | 0 933.94/934.33 c 934s | 26 | 10107793 | 7638152 | 2027 9599 | 0 | 0 935.94/936.35 c 936s | 26 | 10125584 | 7651652 | 2027 9612 | 0 | 0 937.94/938.35 c 938s | 26 | 10142727 | 7664752 | 2027 9624 | 0 | 0 939.94/940.35 c 940s | 26 | 10163171 | 7679552 | 2027 9639 | 0 | 0 941.94/942.37 c 942s | 26 | 10180107 | 7693052 | 2027 9652 | 0 | 0 943.94/944.38 c 944s | 26 | 10198239 | 7706752 | 2027 9665 | 0 | 0 945.94/946.39 c 946s | 26 | 10215767 | 7719552 | 2027 9677 | 0 | 0 947.94/948.39 c 948s | 26 | 10233732 | 7732952 | 2027 9690 | 0 | 0 950.05/950.41 c 950s | 26 | 10252376 | 7747352 | 2027 9704 | 0 | 0 952.04/952.42 c 952s | 26 | 10269465 | 7760952 | 2027 9716 | 0 | 0 954.04/954.43 c 954s | 26 | 10288829 | 7775752 | 2027 9730 | 0 | 0 956.04/956.44 c 956s | 26 | 10308243 | 7789752 | 2027 9743 | 0 | 0 958.04/958.44 c 958s | 26 | 10327678 | 7803952 | 2027 9756 | 0 | 0 960.05/960.44 c 960s | 26 | 10347283 | 7818752 | 2027 9770 | 0 | 0 962.04/962.44 c 962s | 26 | 10365867 | 7833152 | 2027 9784 | 0 | 0 964.04/964.44 c 964s | 26 | 10385943 | 7847952 | 2027 9797 | 0 | 0 966.04/966.44 c 966s | 26 | 10404545 | 7861752 | 2027 9810 | 0 | 0 968.04/968.45 c 968s | 26 | 10423796 | 7876252 | 2027 9824 | 0 | 0 970.04/970.47 c 970s | 26 | 10444792 | 7891352 | 2027 9838 | 0 | 0 972.05/972.47 c 972s | 26 | 10464737 | 7905852 | 2027 9851 | 0 | 0 974.04/974.49 c 974s | 26 | 10483439 | 7919152 | 2027 9864 | 0 | 0 976.14/976.50 c 976s | 26 | 10503636 | 7934152 | 2027 9878 | 0 | 0 978.14/978.50 c 978s | 26 | 10523141 | 7948652 | 2027 9891 | 0 | 0 980.14/980.51 c 980s | 26 | 10541497 | 7962652 | 2027 9905 | 0 | 0 982.13/982.52 c 982s | 26 | 10559944 | 7976952 | 2027 9918 | 0 | 0 984.14/984.52 c 984s | 26 | 10578215 | 7991252 | 2027 9931 | 0 | 0 986.13/986.53 c 986s | 26 | 10598757 | 8006252 | 2027 9945 | 0 | 0 988.13/988.53 c 988s | 26 | 10619893 | 8021052 | 2027 9959 | 0 | 0 990.13/990.54 c 990s | 26 | 10638185 | 8035352 | 2027 9972 | 0 | 0 992.13/992.55 c 992s | 26 | 10654942 | 8048052 | 2027 9984 | 0 | 0 994.14/994.57 c 994s | 26 | 10673436 | 8062152 | 2027 9998 | 0 | 0 996.13/996.58 c 996s | 26 | 10690892 | 8075852 | 2027 10010 | 0 | 0 998.13/998.59 c 998s | 26 | 10709218 | 8089652 | 2027 10023 | 0 | 0 1000.23/1000.61 c 1000s | 26 | 10726274 | 8102852 | 2027 10036 | 0 | 0 1002.23/1002.63 c 1002s | 26 | 10745559 | 8117152 | 2027 10049 | 0 | 0 1004.23/1004.63 c 1004s | 26 | 10764221 | 8131152 | 2027 10062 | 0 | 0 1006.24/1006.64 c 1006s | 26 | 10781863 | 8144752 | 2027 10075 | 0 | 0 1008.23/1008.64 c 1008s | 26 | 10798426 | 8157952 | 2027 10087 | 0 | 0 1010.23/1010.65 c 1010s | 26 | 10816605 | 8172052 | 2027 10100 | 0 | 0 1012.23/1012.67 c 1012s | 26 | 10837435 | 8187252 | 2027 10114 | 0 | 0 1014.23/1014.69 c 1014s | 26 | 10856545 | 8201352 | 2027 10128 | 0 | 0 1016.33/1016.70 c 1016s | 26 | 10874624 | 8215452 | 2027 10141 | 0 | 0 1018.33/1018.71 c 1018s | 26 | 10891038 | 8228352 | 2027 10153 | 0 | 0 1020.33/1020.71 c 1020s | 26 | 10909077 | 8242152 | 2027 10166 | 0 | 0 1022.33/1022.72 c 1022s | 26 | 10928155 | 8256552 | 2027 10179 | 0 | 0 1024.33/1024.73 c 1024s | 26 | 10946340 | 8270452 | 2027 10192 | 0 | 0 1026.33/1026.74 c 1026s | 26 | 10965271 | 8283952 | 2027 10205 | 0 | 0 1028.32/1028.76 c 1028s | 26 | 10983326 | 8297652 | 2027 10218 | 0 | 0 1030.33/1030.77 c 1030s | 26 | 11001701 | 8311452 | 2027 10230 | 0 | 0 1032.32/1032.77 c 1032s | 26 | 11020528 | 8325452 | 2027 10244 | 0 | 0 1034.32/1034.77 c 1034s | 26 | 11038060 | 8339452 | 2027 10257 | 0 | 0 1036.32/1036.79 c 1036s | 26 | 11056399 | 8353452 | 2027 10270 | 0 | 0 1038.42/1038.81 c 1038s | 26 | 11075295 | 8367352 | 2027 10283 | 0 | 0 1040.42/1040.81 c 1040s | 26 | 11092691 | 8380652 | 2027 10295 | 0 | 0 1042.43/1042.82 c 1042s | 26 | 11111390 | 8394752 | 2027 10308 | 0 | 0 1044.42/1044.82 c 1044s | 26 | 11130774 | 8409252 | 2027 10322 | 0 | 0 1046.42/1046.83 c 1046s | 26 | 11150398 | 8423652 | 2027 10335 | 0 | 0 1048.42/1048.85 c 1048s | 26 | 11168352 | 8437352 | 2027 10348 | 0 | 0 1050.42/1050.86 c 1050s | 26 | 11187107 | 8451252 | 2027 10361 | 0 | 0 1052.43/1052.86 c 1052s | 26 | 11206547 | 8465952 | 2027 10374 | 0 | 0 1054.42/1054.86 c 1054s | 26 | 11225091 | 8479652 | 2027 10387 | 0 | 0 1056.42/1056.87 c 1056s | 26 | 11246252 | 8495252 | 2027 10402 | 0 | 0 1058.42/1058.88 c 1058s | 26 | 11264737 | 8509252 | 2027 10415 | 0 | 0 1060.42/1060.89 c 1060s | 26 | 11283878 | 8523452 | 2027 10429 | 0 | 0 1062.42/1062.89 c 1062s | 26 | 11301982 | 8537152 | 2027 10442 | 0 | 0 1064.52/1064.90 c 1064s | 26 | 11320028 | 8551252 | 2027 10455 | 0 | 0 1066.52/1066.91 c 1066s | 26 | 11337637 | 8564552 | 2027 10468 | 0 | 0 1068.52/1068.92 c 1068s | 26 | 11358376 | 8579052 | 2027 10481 | 0 | 0 1070.52/1070.93 c 1070s | 26 | 11374477 | 8591952 | 2027 10494 | 0 | 0 1072.52/1072.94 c 1072s | 26 | 11392844 | 8605452 | 2027 10506 | 0 | 0 1074.51/1074.95 c 1074s | 26 | 11411361 | 8619052 | 2027 10519 | 0 | 0 1076.53/1076.96 c 1076s | 26 | 11429797 | 8633252 | 2027 10533 | 0 | 0 1078.52/1078.96 c 1078s | 26 | 11449481 | 8648152 | 2027 10547 | 0 | 0 1080.52/1080.97 c 1080s | 26 | 11468713 | 8662852 | 2027 10561 | 0 | 0 1082.52/1082.98 c 1082s | 26 | 11488798 | 8677852 | 2027 10576 | 0 | 0 1084.52/1084.98 c 1084s | 26 | 11508054 | 8692252 | 2027 10589 | 0 | 0 1086.53/1086.99 c 1086s | 26 | 11525642 | 8706152 | 2027 10603 | 0 | 0 1088.63/1089.01 c 1088s | 26 | 11543220 | 8720252 | 2027 10616 | 0 | 0 1090.62/1091.01 c 1090s | 26 | 11562351 | 8734652 | 2027 10630 | 0 | 0 1092.62/1093.02 c 1093s | 26 | 11582030 | 8748452 | 2027 10643 | 0 | 0 1094.62/1095.04 c 1095s | 26 | 11600450 | 8761952 | 2027 10655 | 0 | 0 1096.62/1097.05 c 1097s | 26 | 11618885 | 8775852 | 2027 10668 | 0 | 0 1098.63/1099.06 c 1099s | 26 | 11637619 | 8789752 | 2027 10681 | 0 | 0 1100.62/1101.07 c 1101s | 26 | 11657773 | 8803952 | 2027 10694 | 0 | 0 1102.62/1103.07 c 1103s | 26 | 11676221 | 8817452 | 2027 10707 | 0 | 0 1104.62/1105.09 c 1105s | 26 | 11696628 | 8832152 | 2027 10721 | 0 | 0 1106.72/1107.10 c 1107s | 26 | 11717970 | 8847452 | 2027 10735 | 0 | 0 1108.72/1109.11 c 1109s | 26 | 11737446 | 8862152 | 2027 10749 | 0 | 0 1110.72/1111.12 c 1111s | 26 | 11756455 | 8876452 | 2027 10762 | 0 | 0 1112.72/1113.12 c 1113s | 26 | 11774898 | 8890252 | 2027 10775 | 0 | 0 1114.72/1115.13 c 1115s | 26 | 11794022 | 8904752 | 2027 10788 | 0 | 0 1116.72/1117.14 c 1117s | 26 | 11812539 | 8918552 | 2027 10801 | 0 | 0 1118.72/1119.14 c 1119s | 26 | 11830386 | 8932052 | 2027 10814 | 0 | 0 1120.71/1121.15 c 1121s | 26 | 11847831 | 8945552 | 2027 10826 | 0 | 0 1122.72/1123.16 c 1123s | 26 | 11866890 | 8959752 | 2027 10840 | 0 | 0 1124.71/1125.17 c 1125s | 26 | 11884475 | 8973152 | 2027 10852 | 0 | 0 1126.71/1127.18 c 1127s | 26 | 11902380 | 8986652 | 2027 10865 | 0 | 0 1128.71/1129.18 c 1129s | 26 | 11920926 | 9000552 | 2027 10878 | 0 | 0 1130.71/1131.18 c 1131s | 26 | 11939351 | 9014252 | 2027 10891 | 0 | 0 1132.72/1133.19 c 1133s | 26 | 11959149 | 9029952 | 2027 10905 | 0 | 0 1134.71/1135.19 c 1135s | 26 | 11979605 | 9045752 | 2027 10920 | 0 | 0 1136.81/1137.20 c 1137s | 26 | 12000733 | 9061652 | 2027 10935 | 0 | 0 1138.81/1139.21 c 1139s | 26 | 12021453 | 9077252 | 2027 10950 | 0 | 0 1140.81/1141.21 c 1141s | 26 | 12041959 | 9091952 | 2027 10964 | 0 | 0 1142.81/1143.22 c 1143s | 26 | 12060797 | 9106452 | 2027 10977 | 0 | 0 1144.82/1145.22 c 1145s | 26 | 12082212 | 9121652 | 2027 10992 | 0 | 0 1146.81/1147.23 c 1147s | 26 | 12101890 | 9136252 | 2027 11005 | 0 | 0 1148.81/1149.23 c 1149s | 26 | 12121953 | 9151152 | 2027 11019 | 0 | 0 1150.81/1151.24 c 1151s | 26 | 12140094 | 9165452 | 2027 11033 | 0 | 0 1152.81/1153.24 c 1153s | 26 | 12159535 | 9180052 | 2027 11047 | 0 | 0 1154.81/1155.25 c 1155s | 26 | 12178641 | 9194352 | 2027 11060 | 0 | 0 1156.81/1157.26 c 1157s | 26 | 12200563 | 9209952 | 2027 11075 | 0 | 0 1158.81/1159.27 c 1159s | 26 | 12221620 | 9225352 | 2027 11089 | 0 | 0 1160.81/1161.27 c 1161s | 26 | 12242361 | 9240552 | 2027 11104 | 0 | 0 1162.81/1163.27 c 1163s | 26 | 12261530 | 9254552 | 2027 11117 | 0 | 0 1164.80/1165.27 c 1165s | 26 | 12281973 | 9269052 | 2027 11130 | 0 | 0 1166.81/1167.27 c 1167s | 26 | 12303240 | 9284552 | 2027 11145 | 0 | 0 1168.80/1169.27 c 1169s | 26 | 12321896 | 9298352 | 2027 11158 | 0 | 0 1170.80/1171.28 c 1171s | 26 | 12339812 | 9311252 | 2027 11170 | 0 | 0 1172.80/1173.29 c 1173s | 26 | 12357505 | 9324752 | 2027 11183 | 0 | 0 1174.90/1175.30 c 1175s | 26 | 12374733 | 9338052 | 2027 11196 | 0 | 0 1176.90/1177.31 c 1177s | 26 | 12391372 | 9350752 | 2027 11208 | 0 | 0 1178.91/1179.31 c 1179s | 26 | 12409709 | 9364052 | 2027 11221 | 0 | 0 1180.90/1181.31 c 1181s | 26 | 12427714 | 9377352 | 2027 11234 | 0 | 0 1182.90/1183.31 c 1183s | 26 | 12445676 | 9390852 | 2027 11247 | 0 | 0 1184.90/1185.32 c 1185s | 26 | 12464868 | 9405252 | 2027 11261 | 0 | 0 1186.90/1187.32 c 1187s | 26 | 12485253 | 9419752 | 2027 11275 | 0 | 0 1188.90/1189.33 c 1189s | 26 | 12504481 | 9434252 | 2027 11288 | 0 | 0 1190.91/1191.33 c 1191s | 26 | 12523390 | 9448552 | 2027 11302 | 0 | 0 1192.90/1193.35 c 1193s | 26 | 12541202 | 9462552 | 2027 11316 | 0 | 0 1194.90/1195.36 c 1195s | 26 | 12556750 | 9475352 | 2027 11328 | 0 | 0 1196.90/1197.36 c 1197s | 26 | 12573201 | 9488252 | 2027 11340 | 0 | 0 1198.90/1199.36 c 1199s | 26 | 12590592 | 9501752 | 2027 11353 | 0 | 0 1200.90/1201.36 c 1201s | 26 | 12607085 | 9514352 | 2027 11365 | 0 | 0 1202.90/1203.36 c 1203s | 26 | 12623631 | 9527152 | 2027 11378 | 0 | 0 1204.90/1205.37 c 1205s | 26 | 12640588 | 9539852 | 2027 11390 | 0 | 0 1206.90/1207.38 c 1207s | 26 | 12658222 | 9552852 | 2027 11402 | 0 | 0 1208.90/1209.38 c 1209s | 26 | 12676485 | 9566252 | 2027 11415 | 0 | 0 1210.89/1211.38 c 1211s | 26 | 12695507 | 9580652 | 2027 11429 | 0 | 0 1212.90/1213.39 c 1213s | 26 | 12714484 | 9594952 | 2027 11443 | 0 | 0 1214.99/1215.40 c 1215s | 26 | 12731852 | 9608552 | 2027 11456 | 0 | 0 1216.99/1217.41 c 1217s | 26 | 12748109 | 9621652 | 2027 11468 | 0 | 0 1218.99/1219.41 c 1219s | 26 | 12764926 | 9635052 | 2027 11481 | 0 | 0 1220.99/1221.41 c 1221s | 26 | 12783415 | 9648552 | 2027 11494 | 0 | 0 1222.99/1223.42 c 1223s | 26 | 12800612 | 9661552 | 2027 11507 | 0 | 0 1225.00/1225.43 c 1225s | 26 | 12817761 | 9674652 | 2027 11520 | 0 | 0 1226.99/1227.44 c 1227s | 26 | 12835514 | 9688052 | 2027 11532 | 0 | 0 1228.99/1229.46 c 1229s | 26 | 12851883 | 9700652 | 2027 11545 | 0 | 0 1230.99/1231.46 c 1231s | 26 | 12869664 | 9714252 | 2027 11558 | 0 | 0 1232.99/1233.48 c 1233s | 26 | 12887243 | 9728052 | 2027 11571 | 0 | 0 1235.00/1235.48 c 1235s | 26 | 12904861 | 9741552 | 2027 11584 | 0 | 0 1236.99/1237.49 c 1237s | 26 | 12923203 | 9755152 | 2027 11597 | 0 | 0 1239.09/1239.51 c 1239s | 26 | 12942123 | 9769352 | 2027 11611 | 0 | 0 1241.09/1241.52 c 1241s | 26 | 12961450 | 9783452 | 2027 11624 | 0 | 0 1243.09/1243.54 c 1243s | 26 | 12978536 | 9796352 | 2027 11637 | 0 | 0 1245.09/1245.56 c 1245s | 26 | 12995123 | 9808652 | 2027 11648 | 0 | 0 1247.10/1247.56 c 1247s | 26 | 13011132 | 9820952 | 2027 11660 | 0 | 0 1249.09/1249.58 c 1249s | 26 | 13028183 | 9834052 | 2027 11673 | 0 | 0 1251.09/1251.58 c 1251s | 26 | 13045919 | 9847552 | 2027 11686 | 0 | 0 1253.09/1253.59 c 1253s | 26 | 13065800 | 9861652 | 2027 11699 | 0 | 0 1255.09/1255.59 c 1255s | 26 | 13084174 | 9875852 | 2027 11713 | 0 | 0 1257.19/1257.61 c 1257s | 26 | 13101190 | 9888752 | 2027 11726 | 0 | 0 1259.19/1259.62 c 1259s | 26 | 13118196 | 9901552 | 2027 11738 | 0 | 0 1261.19/1261.62 c 1261s | 26 | 13135549 | 9914552 | 2027 11750 | 0 | 0 1263.19/1263.63 c 1263s | 26 | 13153109 | 9927852 | 2027 11763 | 0 | 0 1265.19/1265.63 c 1265s | 26 | 13171609 | 9941152 | 2027 11776 | 0 | 0 1267.19/1267.64 c 1267s | 26 | 13191696 | 9955952 | 2027 11790 | 0 | 0 1269.19/1269.65 c 1269s | 26 | 13210588 | 9970352 | 2027 11803 | 0 | 0 1271.19/1271.66 c 1271s | 26 | 13229374 | 9984752 | 2027 11817 | 0 | 0 1273.19/1273.67 c 1273s | 26 | 13246573 | 9998352 | 2027 11830 | 0 | 0 1275.19/1275.67 c 1275s | 26 | 13264118 | 10011752 | 2027 11842 | 0 | 0 1277.18/1277.68 c 1277s | 26 | 13282142 | 10025552 | 2027 11856 | 0 | 0 1279.18/1279.69 c 1279s | 26 | 13300329 | 10039152 | 2027 11869 | 0 | 0 1281.19/1281.70 c 1281s | 26 | 13318973 | 10052952 | 2027 11882 | 0 | 0 1283.29/1283.71 c 1283s | 26 | 13337487 | 10066752 | 2027 11895 | 0 | 0 1285.28/1285.72 c 1285s | 26 | 13356479 | 10080752 | 2027 11908 | 0 | 0 1287.28/1287.73 c 1287s | 26 | 13375250 | 10094652 | 2027 11921 | 0 | 0 1289.28/1289.74 c 1289s | 26 | 13392677 | 10108252 | 2027 11935 | 0 | 0 1291.28/1291.75 c 1291s | 26 | 13411151 | 10122052 | 2027 11948 | 0 | 0 1293.29/1293.75 c 1293s | 26 | 13430413 | 10136652 | 2027 11962 | 0 | 0 1295.28/1295.76 c 1295s | 26 | 13450711 | 10151452 | 2027 11976 | 0 | 0 1297.28/1297.77 c 1297s | 26 | 13469731 | 10165952 | 2027 11989 | 0 | 0 1299.28/1299.78 c 1299s | 26 | 13488549 | 10180852 | 2027 12003 | 0 | 0 1301.28/1301.79 c 1301s | 26 | 13509994 | 10196452 | 2027 12018 | 0 | 0 1303.39/1303.80 c 1303s | 26 | 13528200 | 10210852 | 2027 12031 | 0 | 0 1305.39/1305.81 c 1305s | 26 | 13548608 | 10226052 | 2027 12045 | 0 | 0 1307.39/1307.82 c 1307s | 26 | 13568175 | 10240852 | 2027 12059 | 0 | 0 1309.39/1309.82 c 1309s | 26 | 13586686 | 10254852 | 2027 12073 | 0 | 0 1311.39/1311.84 c 1311s | 26 | 13606791 | 10269752 | 2027 12087 | 0 | 0 1313.38/1313.85 c 1313s | 26 | 13625848 | 10283652 | 2027 12100 | 0 | 0 1315.38/1315.85 c 1315s | 26 | 13645335 | 10298452 | 2027 12114 | 0 | 0 1317.39/1317.86 c 1317s | 26 | 13663687 | 10312552 | 2027 12127 | 0 | 0 1319.38/1319.86 c 1319s | 26 | 13682476 | 10326752 | 2027 12140 | 0 | 0 1321.38/1321.87 c 1321s | 26 | 13699834 | 10340152 | 2027 12153 | 0 | 0 1323.38/1323.87 c 1323s | 26 | 13718174 | 10354452 | 2027 12167 | 0 | 0 1325.38/1325.87 c 1325s | 26 | 13737968 | 10369352 | 2027 12181 | 0 | 0 1327.39/1327.88 c 1327s | 26 | 13759363 | 10384852 | 2027 12195 | 0 | 0 1329.38/1329.89 c 1329s | 26 | 13779557 | 10399652 | 2027 12209 | 0 | 0 1331.38/1331.89 c 1331s | 26 | 13799746 | 10414652 | 2027 12224 | 0 | 0 1333.48/1333.90 c 1333s | 26 | 13818018 | 10428552 | 2027 12237 | 0 | 0 1335.48/1335.90 c 1335s | 26 | 13836318 | 10442552 | 2027 12251 | 0 | 0 1337.48/1337.91 c 1337s | 26 | 13854777 | 10456952 | 2027 12264 | 0 | 0 1339.49/1339.91 c 1339s | 26 | 13873816 | 10471052 | 2027 12278 | 0 | 0 1341.48/1341.91 c 1341s | 26 | 13892427 | 10485052 | 2027 12291 | 0 | 0 1343.48/1343.91 c 1343s | 26 | 13911009 | 10499452 | 2027 12305 | 0 | 0 1345.48/1345.91 c 1345s | 26 | 13930118 | 10513752 | 2027 12318 | 0 | 0 1347.48/1347.91 c 1347s | 26 | 13949552 | 10528152 | 2027 12332 | 0 | 0 1349.48/1349.92 c 1349s | 26 | 13968526 | 10542252 | 2027 12346 | 0 | 0 1351.48/1351.92 c 1351s | 26 | 13987769 | 10556652 | 2027 12360 | 0 | 0 1353.48/1353.93 c 1353s | 26 | 14006227 | 10570652 | 2027 12373 | 0 | 0 1355.48/1355.94 c 1355s | 26 | 14026514 | 10585252 | 2027 12387 | 0 | 0 1357.48/1357.96 c 1357s | 26 | 14046513 | 10599552 | 2027 12401 | 0 | 0 1359.48/1359.97 c 1359s | 26 | 14065898 | 10614152 | 2027 12414 | 0 | 0 1361.48/1361.98 c 1361s | 26 | 14086396 | 10628652 | 2027 12428 | 0 | 0 1363.47/1363.99 c 1363s | 26 | 14101412 | 10640552 | 2027 12439 | 0 | 0 1365.47/1365.99 c 1365s | 26 | 14119580 | 10654252 | 2027 12453 | 0 | 0 1367.57/1368.00 c 1367s | 26 | 14138092 | 10668452 | 2027 12466 | 0 | 0 1369.57/1370.01 c 1369s | 26 | 14157961 | 10683552 | 2027 12480 | 0 | 0 1371.57/1372.01 c 1371s | 26 | 14177769 | 10698452 | 2027 12494 | 0 | 0 1373.58/1374.03 c 1374s | 26 | 14196975 | 10712752 | 2027 12508 | 0 | 0 1375.57/1376.04 c 1376s | 26 | 14216130 | 10727452 | 2027 12522 | 0 | 0 1377.57/1378.04 c 1378s | 26 | 14235893 | 10741952 | 2027 12536 | 0 | 0 1379.57/1380.05 c 1380s | 26 | 14255865 | 10756452 | 2027 12549 | 0 | 0 1381.57/1382.06 c 1382s | 26 | 14276480 | 10770952 | 2027 12563 | 0 | 0 1383.57/1384.06 c 1384s | 26 | 14294648 | 10784452 | 2027 12576 | 0 | 0 1385.58/1386.07 c 1386s | 26 | 14313151 | 10798952 | 2027 12590 | 0 | 0 1387.57/1388.07 c 1388s | 26 | 14333348 | 10813752 | 2027 12604 | 0 | 0 1389.57/1390.07 c 1390s | 26 | 14351791 | 10827752 | 2027 12617 | 0 | 0 1391.57/1392.09 c 1392s | 26 | 14372550 | 10842652 | 2027 12632 | 0 | 0 1393.57/1394.09 c 1394s | 26 | 14392439 | 10857052 | 2027 12645 | 0 | 0 1395.67/1396.10 c 1396s | 26 | 14413477 | 10872452 | 2027 12660 | 0 | 0 1397.67/1398.11 c 1398s | 26 | 14432381 | 10886852 | 2027 12674 | 0 | 0 1399.67/1400.11 c 1400s | 26 | 14447529 | 10898552 | 2027 12685 | 0 | 0 1401.66/1402.13 c 1402s | 26 | 14463027 | 10910452 | 2027 12697 | 0 | 0 1403.66/1404.13 c 1404s | 26 | 14481577 | 10924152 | 2027 12710 | 0 | 0 1405.66/1406.14 c 1406s | 26 | 14500457 | 10938252 | 2027 12723 | 0 | 0 1407.67/1408.14 c 1408s | 26 | 14517622 | 10950752 | 2027 12735 | 0 | 0 1409.66/1410.15 c 1410s | 26 | 14532930 | 10961652 | 2027 12746 | 0 | 0 1411.66/1412.17 c 1412s | 26 | 14550219 | 10973952 | 2027 12757 | 0 | 0 1413.66/1414.18 c 1414s | 26 | 14566514 | 10986452 | 2027 12769 | 0 | 0 1415.66/1416.18 c 1416s | 26 | 14583841 | 10999652 | 2027 12782 | 0 | 0 1417.66/1418.18 c 1418s | 26 | 14602165 | 11013352 | 2027 12795 | 0 | 0 1419.67/1420.19 c 1420s | 26 | 14620464 | 11027552 | 2027 12809 | 0 | 0 1421.77/1422.20 c 1422s | 26 | 14638013 | 11040252 | 2027 12821 | 0 | 0 1423.77/1424.20 c 1424s | 26 | 14654879 | 11052952 | 2027 12833 | 0 | 0 1425.77/1426.20 c 1426s | 26 | 14671401 | 11065452 | 2027 12845 | 0 | 0 1427.77/1428.21 c 1428s | 26 | 14690286 | 11079352 | 2027 12859 | 0 | 0 1429.77/1430.21 c 1430s | 26 | 14709570 | 11093552 | 2027 12872 | 0 | 0 1431.77/1432.22 c 1432s | 26 | 14727047 | 11105852 | 2027 12884 | 0 | 0 1433.77/1434.23 c 1434s | 26 | 14745626 | 11119352 | 2027 12897 | 0 | 0 1435.77/1436.24 c 1436s | 26 | 14761975 | 11131952 | 2027 12909 | 0 | 0 1437.77/1438.25 c 1438s | 26 | 14779919 | 11144852 | 2027 12921 | 0 | 0 1439.77/1440.27 c 1440s | 26 | 14796794 | 11157552 | 2027 12933 | 0 | 0 1441.77/1442.27 c 1442s | 26 | 14812656 | 11169852 | 2027 12945 | 0 | 0 1443.76/1444.28 c 1444s | 26 | 14829162 | 11182252 | 2027 12957 | 0 | 0 1445.76/1446.28 c 1446s | 26 | 14845699 | 11194952 | 2027 12969 | 0 | 0 1447.76/1448.29 c 1448s | 26 | 14860810 | 11206952 | 2027 12981 | 0 | 0 1449.76/1450.29 c 1450s | 26 | 14878782 | 11220452 | 2027 12994 | 0 | 0 1451.86/1452.30 c 1452s | 26 | 14895393 | 11233152 | 2027 13006 | 0 | 0 1453.87/1454.31 c 1454s | 26 | 14912954 | 11246352 | 2027 13019 | 0 | 0 1455.86/1456.32 c 1456s | 26 | 14929077 | 11258452 | 2027 13030 | 0 | 0 1457.86/1458.33 c 1458s | 26 | 14943594 | 11269852 | 2027 13041 | 0 | 0 1459.86/1460.34 c 1460s | 26 | 14958638 | 11281252 | 2027 13052 | 0 | 0 1461.86/1462.35 c 1462s | 26 | 14973904 | 11292452 | 2027 13063 | 0 | 0 1463.86/1464.35 c 1464s | 26 | 14989113 | 11303652 | 2027 13074 | 0 | 0 1465.87/1466.36 c 1466s | 26 | 15004538 | 11315152 | 2230 13085 | 0 | 0 1467.86/1468.38 c 1468s | 26 | 15024815 | 11329752 | 2230 13098 | 0 | 0 1469.86/1470.38 c 1470s | 26 | 15042357 | 11343352 | 2230 13110 | 0 | 0 1471.86/1472.38 c 1472s | 26 | 15060242 | 11356952 | 2230 13121 | 0 | 0 1473.86/1474.39 c 1474s | 26 | 15079287 | 11371252 | 2230 13134 | 0 | 0 1475.96/1476.40 c 1476s | 26 | 15098150 | 11385552 | 2230 13146 | 0 | 0 1477.46/1477.90 c 1477s | 27 | 15113401 | 11396733 | 2230 13156 | 0 | 0 1479.46/1479.91 c 1479s | 27 | 15130736 | 11410333 | 2230 13168 | 0 | 0 1481.46/1481.91 c 1481s | 27 | 15147888 | 11423533 | 2230 13179 | 0 | 0 1483.46/1483.93 c 1483s | 27 | 15165804 | 11437333 | 2230 13190 | 0 | 0 1485.46/1485.93 c 1485s | 27 | 15184789 | 11451833 | 2230 13203 | 0 | 0 1487.46/1487.94 c 1487s | 27 | 15204075 | 11466533 | 2230 13215 | 0 | 0 1489.46/1489.94 c 1489s | 27 | 15223126 | 11481233 | 2230 13228 | 0 | 0 1491.46/1491.94 c 1491s | 27 | 15241292 | 11495133 | 2230 13239 | 0 | 0 1493.46/1493.94 c 1493s | 27 | 15257980 | 11508333 | 2230 13251 | 0 | 0 1495.45/1495.95 c 1495s | 27 | 15275301 | 11522033 | 2230 13262 | 0 | 0 1497.45/1497.96 c 1497s | 27 | 15293672 | 11536233 | 2230 13274 | 0 | 0 1499.45/1499.97 c 1499s | 27 | 15312506 | 11550633 | 2230 13287 | 0 | 0 1501.45/1501.98 c 1501s | 27 | 15332219 | 11565533 | 2230 13299 | 0 | 0 1503.45/1503.98 c 1503s | 27 | 15352600 | 11580533 | 2230 13312 | 0 | 0 1505.46/1505.99 c 1505s | 27 | 15371262 | 11594533 | 2230 13324 | 0 | 0 1507.45/1507.99 c 1507s | 27 | 15390890 | 11609233 | 2230 13336 | 0 | 0 1509.55/1510.00 c 1509s | 27 | 15406621 | 11622133 | 2230 13347 | 0 | 0 1511.55/1512.02 c 1511s | 27 | 15424250 | 11635933 | 2230 13359 | 0 | 0 1513.55/1514.02 c 1514s | 27 | 15443521 | 11650733 | 2230 13372 | 0 | 0 1515.55/1516.04 c 1516s | 27 | 15463183 | 11665733 | 2230 13385 | 0 | 0 1517.55/1518.05 c 1518s | 27 | 15480436 | 11679333 | 2230 13396 | 0 | 0 1519.55/1520.06 c 1520s | 27 | 15499119 | 11693433 | 2230 13408 | 0 | 0 1521.55/1522.07 c 1522s | 27 | 15516437 | 11707033 | 2230 13420 | 0 | 0 1523.55/1524.08 c 1524s | 27 | 15535811 | 11721733 | 2230 13432 | 0 | 0 1525.55/1526.08 c 1526s | 27 | 15552532 | 11735233 | 2230 13444 | 0 | 0 1527.55/1528.09 c 1528s | 27 | 15570903 | 11749133 | 2230 13456 | 0 | 0 1529.55/1530.10 c 1530s | 27 | 15588145 | 11762233 | 2230 13467 | 0 | 0 1531.65/1532.12 c 1532s | 27 | 15606503 | 11775733 | 2230 13478 | 0 | 0 1533.64/1534.13 c 1534s | 27 | 15622952 | 11788333 | 2230 13489 | 0 | 0 1535.64/1536.14 c 1536s | 27 | 15639936 | 11801333 | 2230 13500 | 0 | 0 1537.64/1538.14 c 1538s | 27 | 15656917 | 11813933 | 2230 13511 | 0 | 0 1539.65/1540.16 c 1540s | 27 | 15674167 | 11827133 | 2230 13522 | 0 | 0 1541.64/1542.17 c 1542s | 27 | 15690478 | 11840033 | 2230 13533 | 0 | 0 1543.65/1544.18 c 1544s | 27 | 15707234 | 11852733 | 2230 13544 | 0 | 0 1545.65/1546.19 c 1546s | 27 | 15724447 | 11866033 | 2230 13555 | 0 | 0 1547.65/1548.19 c 1548s | 27 | 15742062 | 11879533 | 2230 13567 | 0 | 0 1549.75/1550.20 c 1550s | 27 | 15758820 | 11892833 | 2230 13578 | 0 | 0 1551.76/1552.22 c 1552s | 27 | 15775881 | 11906333 | 2230 13590 | 0 | 0 1553.75/1554.22 c 1554s | 27 | 15793851 | 11920133 | 2230 13601 | 0 | 0 1555.75/1556.23 c 1556s | 27 | 15810668 | 11933333 | 2230 13613 | 0 | 0 1557.75/1558.23 c 1558s | 27 | 15829102 | 11947433 | 2230 13625 | 0 | 0 1559.75/1560.24 c 1560s | 27 | 15847553 | 11961433 | 2230 13637 | 0 | 0 1561.75/1562.25 c 1562s | 27 | 15865659 | 11975333 | 2230 13648 | 0 | 0 1563.75/1564.25 c 1564s | 27 | 15885418 | 11990033 | 2230 13661 | 0 | 0 1565.75/1566.25 c 1566s | 27 | 15903974 | 12004133 | 2230 13673 | 0 | 0 1567.75/1568.27 c 1568s | 27 | 15920825 | 12017533 | 2230 13685 | 0 | 0 1569.75/1570.28 c 1570s | 27 | 15938570 | 12031433 | 2230 13696 | 0 | 0 1571.75/1572.29 c 1572s | 27 | 15957802 | 12046533 | 2230 13710 | 0 | 0 1573.75/1574.29 c 1574s | 27 | 15975486 | 12060633 | 2230 13722 | 0 | 0 1575.74/1576.29 c 1576s | 27 | 15994692 | 12075133 | 2230 13734 | 0 | 0 1577.84/1578.30 c 1578s | 27 | 16013473 | 12089633 | 2230 13747 | 0 | 0 1579.84/1580.31 c 1580s | 27 | 16030621 | 12103133 | 2230 13759 | 0 | 0 1581.84/1582.33 c 1582s | 27 | 16047014 | 12115833 | 2230 13769 | 0 | 0 1583.84/1584.33 c 1584s | 27 | 16064180 | 12129433 | 2230 13781 | 0 | 0 1585.85/1586.34 c 1586s | 27 | 16080071 | 12142033 | 2230 13792 | 0 | 0 1587.84/1588.35 c 1588s | 27 | 16097354 | 12155433 | 2230 13804 | 0 | 0 1589.84/1590.35 c 1590s | 27 | 16114578 | 12168633 | 2230 13815 | 0 | 0 1591.84/1592.36 c 1592s | 27 | 16131734 | 12182033 | 2230 13827 | 0 | 0 1593.84/1594.36 c 1594s | 27 | 16148436 | 12195033 | 2230 13838 | 0 | 0 1595.84/1596.37 c 1596s | 27 | 16165489 | 12208433 | 2230 13850 | 0 | 0 1597.85/1598.38 c 1598s | 27 | 16183014 | 12222033 | 2230 13862 | 0 | 0 1599.84/1600.38 c 1600s | 27 | 16202021 | 12236333 | 2230 13874 | 0 | 0 1601.84/1602.39 c 1602s | 27 | 16220662 | 12250533 | 2230 13887 | 0 | 0 1603.84/1604.39 c 1604s | 27 | 16238400 | 12264333 | 2230 13899 | 0 | 0 1605.94/1606.41 c 1606s | 27 | 16255903 | 12277633 | 2230 13910 | 0 | 0 1607.94/1608.42 c 1608s | 27 | 16272846 | 12290833 | 2230 13922 | 0 | 0 1609.94/1610.43 c 1610s | 27 | 16290737 | 12304533 | 2230 13934 | 0 | 0 1611.94/1612.44 c 1612s | 27 | 16309787 | 12319133 | 2230 13947 | 0 | 0 1613.94/1614.44 c 1614s | 27 | 16330072 | 12334333 | 2230 13960 | 0 | 0 1615.94/1616.46 c 1616s | 27 | 16348990 | 12348733 | 2230 13972 | 0 | 0 1617.94/1618.47 c 1618s | 27 | 16366798 | 12362733 | 2230 13984 | 0 | 0 1619.94/1620.48 c 1620s | 27 | 16383936 | 12376333 | 2230 13996 | 0 | 0 1621.93/1622.49 c 1622s | 27 | 16402349 | 12390233 | 2230 14008 | 0 | 0 1624.03/1624.50 c 1624s | 27 | 16417269 | 12402533 | 2230 14019 | 0 | 0 1626.03/1626.52 c 1626s | 27 | 16436039 | 12417033 | 2230 14032 | 0 | 0 1628.03/1628.52 c 1628s | 27 | 16453937 | 12430933 | 2230 14044 | 0 | 0 1630.03/1630.53 c 1630s | 27 | 16471966 | 12444833 | 2230 14056 | 0 | 0 1632.04/1632.54 c 1632s | 27 | 16489201 | 12458433 | 2230 14067 | 0 | 0 1634.03/1634.54 c 1634s | 27 | 16508048 | 12472433 | 2230 14080 | 0 | 0 1636.03/1636.54 c 1636s | 27 | 16524180 | 12485333 | 2230 14091 | 0 | 0 1638.03/1638.54 c 1638s | 27 | 16542006 | 12498633 | 2230 14102 | 0 | 0 1640.03/1640.55 c 1640s | 27 | 16559575 | 12512533 | 2230 14114 | 0 | 0 1642.03/1642.55 c 1642s | 27 | 16577368 | 12526633 | 2230 14126 | 0 | 0 1644.04/1644.56 c 1644s | 27 | 16594975 | 12540533 | 2230 14138 | 0 | 0 1646.03/1646.56 c 1646s | 27 | 16612689 | 12554133 | 2230 14150 | 0 | 0 1648.03/1648.57 c 1648s | 27 | 16630954 | 12568133 | 2230 14162 | 0 | 0 1650.03/1650.58 c 1650s | 27 | 16648338 | 12582133 | 2230 14174 | 0 | 0 1652.03/1652.59 c 1652s | 27 | 16666683 | 12596333 | 2230 14187 | 0 | 0 1654.13/1654.60 c 1654s | 27 | 16685463 | 12610433 | 2230 14199 | 0 | 0 1656.14/1656.60 c 1656s | 27 | 16703555 | 12624633 | 2230 14212 | 0 | 0 1658.14/1658.61 c 1658s | 27 | 16721252 | 12638233 | 2230 14224 | 0 | 0 1660.13/1660.61 c 1660s | 27 | 16740912 | 12653233 | 2230 14237 | 0 | 0 1662.13/1662.62 c 1662s | 27 | 16760083 | 12668033 | 2230 14250 | 0 | 0 1664.13/1664.63 c 1664s | 27 | 16778284 | 12682333 | 2230 14262 | 0 | 0 1666.14/1666.63 c 1666s | 27 | 16795724 | 12695833 | 2230 14274 | 0 | 0 1668.13/1668.63 c 1668s | 27 | 16813411 | 12709733 | 2230 14286 | 0 | 0 1670.13/1670.65 c 1670s | 27 | 16831203 | 12723533 | 2230 14298 | 0 | 0 1672.13/1672.66 c 1672s | 27 | 16849419 | 12737233 | 2230 14310 | 0 | 0 1674.13/1674.66 c 1674s | 27 | 16867833 | 12751133 | 2230 14322 | 0 | 0 1676.13/1676.67 c 1676s | 27 | 16885607 | 12764833 | 2230 14334 | 0 | 0 1678.14/1678.69 c 1678s | 27 | 16901253 | 12777033 | 2230 14344 | 0 | 0 1680.23/1680.70 c 1680s | 27 | 16917831 | 12790333 | 2230 14356 | 0 | 0 1682.23/1682.71 c 1682s | 27 | 16936178 | 12804533 | 2230 14368 | 0 | 0 1684.23/1684.71 c 1684s | 27 | 16953369 | 12817533 | 2230 14380 | 0 | 0 1686.23/1686.73 c 1686s | 27 | 16972952 | 12832333 | 2230 14392 | 0 | 0 1688.23/1688.73 c 1688s | 27 | 16991917 | 12846233 | 2230 14404 | 0 | 0 1690.24/1690.74 c 1690s | 27 | 17010529 | 12860433 | 2230 14417 | 0 | 0 1692.23/1692.74 c 1692s | 27 | 17030655 | 12875333 | 2230 14430 | 0 | 0 1694.23/1694.74 c 1694s | 27 | 17049969 | 12889933 | 2230 14442 | 0 | 0 1696.23/1696.75 c 1696s | 27 | 17068776 | 12904133 | 2230 14454 | 0 | 0 1698.23/1698.75 c 1698s | 27 | 17088493 | 12919033 | 2230 14467 | 0 | 0 1700.23/1700.75 c 1700s | 27 | 17104609 | 12932133 | 2230 14478 | 0 | 0 1702.23/1702.77 c 1702s | 27 | 17122181 | 12945933 | 2230 14490 | 0 | 0 1704.23/1704.78 c 1704s | 27 | 17140736 | 12960333 | 2230 14503 | 0 | 0 1706.23/1706.78 c 1706s | 27 | 17157587 | 12973933 | 2230 14515 | 0 | 0 1708.23/1708.79 c 1708s | 27 | 17175200 | 12987733 | 2230 14527 | 0 | 0 1710.23/1710.80 c 1710s | 27 | 17192008 | 13000733 | 2230 14538 | 0 | 0 1712.33/1712.80 c 1712s | 27 | 17209544 | 13014233 | 2230 14550 | 0 | 0 1714.33/1714.81 c 1714s | 27 | 17225860 | 13027133 | 2230 14561 | 0 | 0 1716.33/1716.83 c 1716s | 27 | 17241631 | 13039433 | 2230 14572 | 0 | 0 1718.32/1718.84 c 1718s | 27 | 17257606 | 13051733 | 2230 14582 | 0 | 0 1720.32/1720.87 c 1720s | 27 | 17273935 | 13064433 | 2230 14594 | 0 | 0 1722.32/1722.87 c 1722s | 27 | 17289545 | 13076533 | 2230 14604 | 0 | 0 1724.33/1724.89 c 1724s | 27 | 17306082 | 13089033 | 2230 14615 | 0 | 0 1726.42/1726.90 c 1726s | 27 | 17321726 | 13101133 | 2230 14626 | 0 | 0 1728.42/1728.91 c 1728s | 27 | 17337789 | 13113433 | 2230 14636 | 0 | 0 1730.42/1730.91 c 1730s | 27 | 17353972 | 13125633 | 2230 14647 | 0 | 0 1732.42/1732.92 c 1732s | 27 | 17368817 | 13137233 | 2230 14657 | 0 | 0 1734.42/1734.93 c 1734s | 27 | 17384855 | 13149533 | 2230 14668 | 0 | 0 1736.43/1736.94 c 1736s | 27 | 17402576 | 13162733 | 2230 14679 | 0 | 0 1738.42/1738.94 c 1738s | 27 | 17419130 | 13175333 | 2230 14690 | 0 | 0 1740.42/1740.95 c 1740s | 27 | 17435015 | 13187533 | 2230 14701 | 0 | 0 1742.42/1742.96 c 1742s | 27 | 17451489 | 13199933 | 2230 14712 | 0 | 0 1744.42/1744.97 c 1744s | 27 | 17468604 | 13213233 | 2230 14723 | 0 | 0 1746.42/1746.98 c 1746s | 27 | 17484844 | 13225933 | 2230 14734 | 0 | 0 1748.42/1748.99 c 1748s | 27 | 17503383 | 13239533 | 2230 14746 | 0 | 0 1750.42/1750.99 c 1750s | 27 | 17520772 | 13253433 | 2230 14758 | 0 | 0 1752.52/1753.00 c 1752s | 27 | 17539543 | 13267633 | 2230 14770 | 0 | 0 1754.52/1755.01 c 1754s | 27 | 17558121 | 13281833 | 2230 14782 | 0 | 0 1756.52/1757.02 c 1757s | 27 | 17575302 | 13295433 | 2230 14794 | 0 | 0 1758.52/1759.03 c 1759s | 27 | 17592832 | 13309133 | 2230 14806 | 0 | 0 1760.51/1761.04 c 1761s | 27 | 17609618 | 13322633 | 2230 14817 | 0 | 0 1762.51/1763.05 c 1763s | 27 | 17627662 | 13336533 | 2230 14829 | 0 | 0 1764.51/1765.06 c 1765s | 27 | 17645693 | 13350233 | 2230 14841 | 0 | 0 1766.51/1767.07 c 1767s | 27 | 17663301 | 13364233 | 2230 14853 | 0 | 0 1768.51/1769.07 c 1769s | 27 | 17682409 | 13378633 | 2230 14865 | 0 | 0 1770.52/1771.09 c 1771s | 27 | 17702391 | 13393633 | 2230 14878 | 0 | 0 1772.51/1773.09 c 1773s | 27 | 17720154 | 13407733 | 2230 14890 | 0 | 0 1774.61/1775.10 c 1775s | 27 | 17738620 | 13422033 | 2230 14903 | 0 | 0 1776.61/1777.11 c 1777s | 27 | 17756236 | 13435733 | 2230 14915 | 0 | 0 1778.61/1779.12 c 1779s | 27 | 17773468 | 13449133 | 2230 14927 | 0 | 0 1780.61/1781.13 c 1781s | 27 | 17792947 | 13463533 | 2230 14939 | 0 | 0 1782.62/1783.13 c 1783s | 27 | 17808879 | 13476133 | 2230 14950 | 0 | 0 1784.61/1785.15 c 1785s | 27 | 17825366 | 13489033 | 2230 14961 | 0 | 0 1786.61/1787.15 c 1787s | 27 | 17842486 | 13502133 | 2230 14973 | 0 | 0 1788.61/1789.16 c 1789s | 27 | 17859571 | 13515433 | 2230 14984 | 0 | 0 1790.61/1791.16 c 1791s | 27 | 17876078 | 13528333 | 2230 14996 | 0 | 0 1792.61/1793.17 c 1793s | 27 | 17892166 | 13541133 | 2230 15007 | 0 | 0 1794.61/1795.17 c 1795s | 27 | 17909328 | 13554433 | 2230 15019 | 0 | 0 1796.61/1797.18 c 1797s | 27 | 17926409 | 13567633 | 2230 15030 | 0 | 0 1798.61/1799.19 c 1799s | 27 | 17943037 | 13580533 | 2230 15041 | 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-4122722-1467317432/watcher-4122722-1467317432 -o /tmp/evaluation-result-4122722-1467317432/solver-4122722-1467317432 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19959 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122722-1467317432.opb pid=22024 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.11 2.08 2.01 3/178 22027 /proc/meminfo: memFree=29421784/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=403900 CPUtime=0 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 1448 0 0 0 0 0 0 0 20 0 4 0 12846967 413593600 2320 33554432000 4194304 16246674 140736735144368 140736735143792 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 101743 2330 441 2943 0 98637 0 [pid=22027/tid=22028] ppid=22024 vsize=421308 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 431419392 2386 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=425404 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 435613696 2403 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=429500 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12846968 439808000 2420 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100212 s] /proc/loadavg: 2.11 2.08 2.01 3/178 22027 /proc/meminfo: memFree=29421784/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 24176 0 0 0 5 4 0 0 20 0 4 0 12846967 1247350784 25038 33554432000 4194304 16246674 140736735144368 140736735143304 12875570 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 304529 25045 708 2943 0 301423 0 [pid=22027/tid=22028] ppid=22024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1247350784 25050 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1247350784 25053 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12846968 1247350784 25058 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200482 s] /proc/loadavg: 2.11 2.08 2.01 3/178 22027 /proc/meminfo: memFree=29421784/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 46283 0 0 0 12 6 0 0 20 0 4 0 12846967 1247350784 47144 33554432000 4194304 16246674 140736735144368 140736735143304 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 304529 47155 708 2943 0 301423 0 [pid=22027/tid=22028] ppid=22024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1247350784 47161 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1247350784 47167 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12846968 1247350784 47175 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300455 s] /proc/loadavg: 2.11 2.08 2.01 3/178 22027 /proc/meminfo: memFree=29421784/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 68297 0 0 0 20 9 0 0 20 0 4 0 12846967 1247350784 69158 33554432000 4194304 16246674 140736735144368 140736735143304 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 304529 69170 708 2943 0 301423 0 [pid=22027/tid=22028] ppid=22024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1247350784 69176 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1247350784 69181 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12846968 1247350784 69186 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.70038 s] /proc/loadavg: 2.11 2.08 2.01 3/178 22027 /proc/meminfo: memFree=29421784/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 156337 0 0 0 45 24 0 0 20 0 4 0 12846967 1247350784 157198 33554432000 4194304 16246674 140736735144368 140736735143304 5723873 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 304529 157207 708 2943 0 301423 0 [pid=22027/tid=22028] ppid=22024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1247350784 157212 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1247350784 157221 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12846968 1247350784 157228 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50039 s] /proc/loadavg: 2.10 2.07 2.01 3/182 22031 /proc/meminfo: memFree=28447116/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 245618 0 0 0 114 35 0 0 20 0 4 0 12846967 1248399360 246459 33554432000 4194304 16246674 140736735144368 140736735143680 5822699 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 304785 246459 785 2943 0 301679 0 [pid=22027/tid=22028] ppid=22024 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1248399360 246459 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1248399360 246459 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1248399360 246459 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10039 s] /proc/loadavg: 2.10 2.07 2.01 3/182 22031 /proc/meminfo: memFree=28350404/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 267383 0 0 0 271 38 0 0 20 0 4 0 12846967 1337528320 268224 33554432000 4194304 16246674 140736735144368 140736735127368 5545724 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 326545 268224 785 2943 0 323439 0 [pid=22027/tid=22028] ppid=22024 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1337528320 268224 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1337528320 268224 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1337528320 268224 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.3004 s] /proc/loadavg: 2.10 2.07 2.01 3/182 22031 /proc/meminfo: memFree=28349320/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 267453 0 0 0 591 38 0 0 20 0 4 0 12846967 1337528320 268294 33554432000 4194304 16246674 140736735144368 140736735127368 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 326545 268294 785 2943 0 323439 0 [pid=22027/tid=22028] ppid=22024 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1337528320 268294 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1337528320 268294 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1337528320 268294 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.08 2.07 2.01 4/182 22031 /proc/meminfo: memFree=28348376/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1307204 CPUtime=12.69 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 267651 0 0 0 1231 38 0 0 20 0 4 0 12846967 1338576896 268492 33554432000 4194304 16246674 140736735144368 140736735126272 5823627 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 326801 268492 785 2943 0 323695 0 [pid=22027/tid=22028] ppid=22024 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1338576896 268492 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1338576896 268492 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1338576896 268492 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.07 2.07 2.01 3/182 22032 /proc/meminfo: memFree=28348072/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1307204 CPUtime=25.49 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 267819 0 0 0 2511 38 0 0 20 0 4 0 12846967 1338576896 268660 33554432000 4194304 16246674 140736735144368 140736735127368 5545872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 326801 268660 785 2943 0 323695 0 [pid=22027/tid=22028] ppid=22024 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1338576896 268660 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1338576896 268660 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1338576896 268660 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.12 2.08 2.01 3/181 22032 /proc/meminfo: memFree=28347432/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1308228 CPUtime=51.08 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 267901 0 0 0 5070 38 0 0 20 0 4 0 12846967 1339625472 268739 33554432000 4194304 16246674 140736735144368 140736735126272 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 327057 268739 786 2943 0 323951 0 [pid=22027/tid=22028] ppid=22024 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1339625472 268739 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1339625472 268739 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1339625472 268739 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1308228 [startup+102.3 s] /proc/loadavg: 2.16 2.09 2.02 3/181 22033 /proc/meminfo: memFree=28346180/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1309252 CPUtime=102.27 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 268160 0 0 0 10188 39 0 0 20 0 4 0 12846967 1340674048 268982 33554432000 4194304 16246674 140736735144368 140736735127368 6011892 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 327313 268982 786 2943 0 324207 0 [pid=22027/tid=22028] ppid=22024 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1340674048 268982 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1340674048 268982 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1340674048 268982 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1340674048 269179 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1309252 [startup+1362.3 s] /proc/loadavg: 1.12 1.12 1.40 2/171 22095 /proc/meminfo: memFree=29436920/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1309252 CPUtime=1361.88 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 268689 0 0 0 136139 49 0 0 20 0 4 0 12846967 1340674048 269179 33554432000 4194304 16246674 140736735144368 140736735127368 5545704 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 327313 269179 789 2943 0 324207 0 [pid=22027/tid=22028] ppid=22024 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1340674048 269179 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1340674048 269179 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1340674048 269179 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1309252 [startup+1422.3 s] /proc/loadavg: 1.04 1.10 1.37 2/171 22096 /proc/meminfo: memFree=29436920/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1309252 CPUtime=1421.88 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 268689 0 0 0 142138 50 0 0 20 0 4 0 12846967 1340674048 269179 33554432000 4194304 16246674 140736735144368 140736735127368 12483317 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 327313 269179 789 2943 0 324207 0 [pid=22027/tid=22028] ppid=22024 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1340674048 269179 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1340674048 269179 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1340674048 269179 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1309252 [startup+1482.3 s] /proc/loadavg: 1.25 1.14 1.36 2/171 22097 /proc/meminfo: memFree=29436912/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1309252 CPUtime=1481.86 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 268689 0 0 0 148136 50 0 0 20 0 4 0 12846967 1340674048 269179 33554432000 4194304 16246674 140736735144368 140736735126272 5706863 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 327313 269179 789 2943 0 324207 0 [pid=22027/tid=22028] ppid=22024 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1340674048 269179 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1340674048 269179 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1340674048 269179 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1309252 [startup+1542.31 s] /proc/loadavg: 1.18 1.14 1.35 2/170 22098 /proc/meminfo: memFree=29436304/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1310276 CPUtime=1541.85 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 268877 0 0 0 154135 50 0 0 20 0 4 0 12846967 1341722624 269367 33554432000 4194304 16246674 140736735144368 140736735127368 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 327569 269367 789 2943 0 324463 0 [pid=22027/tid=22028] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269367 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269367 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269367 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1310276 [startup+1602.3 s] /proc/loadavg: 1.07 1.11 1.33 2/171 22100 /proc/meminfo: memFree=29435924/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1310276 CPUtime=1601.84 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 268945 0 0 0 160133 51 0 0 20 0 4 0 12846967 1341722624 269435 33554432000 4194304 16246674 140736735144368 140736735126272 5545796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 327569 269435 789 2943 0 324463 0 [pid=22027/tid=22028] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1310276 [startup+1662.3 s] /proc/loadavg: 1.06 1.10 1.31 2/171 22101 /proc/meminfo: memFree=29435740/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1310276 CPUtime=1661.83 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 268946 0 0 0 166131 52 0 0 20 0 4 0 12846967 1341722624 269435 33554432000 4194304 16246674 140736735144368 140736735127368 13818362 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 327569 269435 789 2943 0 324463 0 [pid=22027/tid=22028] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1310276 [startup+1722.3 s] /proc/loadavg: 1.18 1.13 1.30 2/171 22102 /proc/meminfo: memFree=29435924/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1310276 CPUtime=1721.82 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 268946 0 0 0 172130 52 0 0 20 0 4 0 12846967 1341722624 269435 33554432000 4194304 16246674 140736735144368 140736735127368 5995168 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 327569 269435 789 2943 0 324463 0 [pid=22027/tid=22028] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1310276 [startup+1782.3 s] /proc/loadavg: 1.13 1.12 1.28 2/172 22106 /proc/meminfo: memFree=29435100/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1310276 CPUtime=1781.81 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 268946 0 0 0 178129 52 0 0 20 0 4 0 12846967 1341722624 269435 33554432000 4194304 16246674 140736735144368 140736735127368 13950232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 327569 269435 789 2943 0 324463 0 [pid=22027/tid=22028] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1310276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.18 1.13 1.28 2/172 22106 /proc/meminfo: memFree=29435668/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1310276 CPUtime=1800.01 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 268946 0 0 0 179949 52 0 0 20 0 4 0 12846967 1341722624 269435 33554432000 4194304 16246674 140736735144368 140736735126272 5754983 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 327569 269435 789 2943 0 324463 0 [pid=22027/tid=22028] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1310276 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 22027 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.18 1.13 1.28 2/172 22106 /proc/meminfo: memFree=29435668/32872528 swapFree=447588/480292 [pid=22027] ppid=22024 vsize=1310276 CPUtime=1800.01 cores=0,2,4,6 /proc/22027/stat : 22027 (toysat) R 22024 22027 16080 0 -1 4202496 268946 0 0 0 179949 52 0 0 20 0 4 0 12846967 1341722624 269435 33554432000 4194304 16246674 140736735144368 140736735126272 5754983 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22027/statm: 327569 269435 789 2943 0 324463 0 [pid=22027/tid=22028] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22028/stat : 22028 (toysat) S 22024 22027 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658719304944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22027/tid=22029] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22029/stat : 22029 (toysat) S 22024 22027 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658635418864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22027/tid=22030] ppid=22024 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/22027/task/22030/stat : 22030 (toysat) S 22024 22027 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12846968 1341722624 269435 33554432000 4194304 16246674 140736735144368 140658624945328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1310276 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.5 CPU system time (s): 0.528919 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1310276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.5 system time used= 0.528919 maximum resident set size= 1077740 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268946 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= 368 involuntary context switches= 1837 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.32134 second user time and 5.77712 second system time The end
Begin job on node104 at 2016-06-30 22:10:32 IDJOB=4122722 IDBENCH=111278 IDSOLVER=2542 FILE ID=node104/4122722-1467317432 RUNJOBID= node104-1467310023-19959 PBS_JOBID= 20005270 Free space on /tmp= 71704 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-62.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-4122722-1467317432/watcher-4122722-1467317432 -o /tmp/evaluation-result-4122722-1467317432/solver-4122722-1467317432 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19959 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122722-1467317432.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 37e9f89e51a54903ebd996c330e9c2a4 RANDOM SEED=1678909237 node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.334 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.334 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.334 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.334 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.334 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.334 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.334 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.334 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: 29422676 kB Buffers: 201060 kB Cached: 937540 kB SwapCached: 0 kB Active: 1430296 kB Inactive: 795752 kB Active(anon): 1089988 kB Inactive(anon): 0 kB Active(file): 340308 kB Inactive(file): 795752 kB Unevictable: 480292 kB Mlocked: 447588 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16536 kB Writeback: 0 kB AnonPages: 1569644 kB Mapped: 16388 kB Shmem: 204 kB Slab: 611624 kB SReclaimable: 55672 kB SUnreclaim: 555952 kB KernelStack: 1512 kB PageTables: 6656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1689892 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1105920 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= 71704 MiB End job on node104 at 2016-06-30 22:40:33