| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-fixed-bandwidth-25.cnf.gz-extracted.pb.metafix.opb |
| MD5SUM | e7066fcf3ed4bb8d6d816d15fcc09171 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.009998 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 101 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| 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:03:52+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.01 c directory-1.2.2.0 0.00/0.01 c exceptions-0.8.2.1 0.00/0.01 c extended-reals-0.2.1.0 0.00/0.01 c filepath-1.4.0.0 0.00/0.01 c finite-field-0.8.0 0.00/0.01 c hashable-1.2.4.0 0.00/0.01 c heaps-0.3.3 0.00/0.01 c intern-0.9.1.4 0.00/0.01 c loop-0.3.0 0.00/0.01 c mtl-2.2.1 0.00/0.01 c multiset-0.3.2 0.00/0.01 c mwc-random-0.13.3.2 0.00/0.01 c parse_dimacs-1.3 0.00/0.01 c parsec-3.1.9 0.00/0.01 c prettyclass-1.0.0.0 0.00/0.01 c primes-0.2.1.0 0.00/0.01 c primitive-0.6.1.0 0.00/0.01 c process-1.2.3.0 0.00/0.01 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-4122634-1467317032.opb"] 0.00/0.02 c use --random-gen="481490323 2743321119 422535032 1966843767 785583660 558003876 3243772071 319097166 767800505 1383183946 2337368884 3051377649 2393182988 3127806940 2975213033 3746084483 3436935467 3306654823 4243066481 3141552057 1871663 218479935 1954960025 3227837420 1680464677 4161642247 4018401186 36093797 2234514926 1394840143 437818075 2934131469 648969854 3113154903 2622391239 1096143780 2910566457 345812686 3864803273 3637848998 1410448347 3311650606 1650899902 3352878460 2119776001 3496173065 3968654170 1916685999 3135346775 2640810658 1541354738 1766264156 1854522902 1804445560 2721398337 184993629 3367836395 3115555657 4276852760 1663082918 2851740672 3604072432 205497464 1198585258 201304181 1642220135 1499749261 3952109808 247100616 133322617 3420949190 3180555082 1587674767 1392106037 477160506 4204409845 1437105817 3163932213 2431867247 3924650808 1096551167 2615891966 1176132684 3639994105 1137427110 3069270901 211099599 740742031 1185883088 332312079 1628469211 1042532533 3921131719 4087656875 335086123 3389111950 1924171902 3757105278 3728258689 4174734610 1090048641 2429458895 2015486290 984739232 2817171380 330231025 2371958671 4123585511 3514557686 400728877 2801990774 850897253 2936610500 1545481361 3414567968 4150448768 4192383314 407251088 171960045 2996403897 3333258113 2626860322 3737090583 3449658273 3482881401 2866464578 2000635626 146780169 2056899899 2419714059 1260554322 618006675 2398659447 3380211811 3431653522 2112116310 836463490 246643580 4159315842 377099692 1806602893 4124898631 3656682949 3717697741 210066775 228620941 1379614272 3016762190 174773414 3717264447 3252218543 1969331216 3839489921 2469331802 1601162837 4025685738 1808822759 291758049 701101541 3517587016 4156180163 4232185488 2753514960 358772119 3689029025 505953356 3342986672 366521896 1429590032 214026079 2180135111 3642290482 1566606691 4162761340 1203562044 353862441 1858196817 430664431 690428289 266372242 1572317002 4086664662 1171448536 4103393420 2922613242 3954034972 4247698958 2278679593 2882322068 3825873681 3869343138 2777953530 185739336 1903625098 2852076432 2352168255 3300856652 236811940 3195576851 2708145864 2079997258 112394372 3581874401 1478290779 3544300624 1292575255 2993173229 2409496187 3293154902 1736927252 801150726 340750141 888618198 3598124263 4195571553 1673111010 4098347842 654007615 361963582 617690543 1848296401 2670407926 3016634822 2656943189 173773177 3141689934 2412449145 2254076829 2041037629 2872105660 1455227891 2881845331 1222619442 1990414934 3469614692 2242934670 219974000 1238326974 1052162885 91910055 274406659 2395435229 2184960498 2652240611 1677571587 2896718057 2292195591 3786203863 3277240350 14007652 3827534934 3118356004 2854313155 3615545778 1241379174 2146840147 255 362436" option to reproduce the execution 0.00/0.02 c #vars 101 0.00/0.02 c #constraints 100 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 | 67 0 | 0 | 0 0.00/0.03 c 0.0s | 1 | 146 | 100 | 67 0 | 0 | 0 0.00/0.04 c 0.0s | 2 | 343 | 250 | 74 4 | 0 | 0 0.00/0.06 c 0.0s | 3 | 749 | 475 | 82 7 | 0 | 0 0.08/0.10 c 0.1s | 4 | 1169 | 813 | 91 12 | 0 | 0 0.08/0.15 c 0.1s | 5 | 1794 | 1320 | 101 21 | 0 | 0 0.18/0.22 c 0.2s | 6 | 3083 | 2081 | 124 31 | 0 | 0 0.28/0.32 c 0.3s | 7 | 5199 | 3223 | 137 47 | 0 | 0 0.38/0.46 c 0.4s | 8 | 8551 | 4936 | 151 68 | 0 | 0 0.58/0.69 c 0.7s | 9 | 12707 | 7506 | 167 97 | 0 | 0 0.98/1.04 c 1.0s | 10 | 18734 | 11361 | 184 139 | 0 | 0 1.38/1.42 c 1.4s | 11 | 27178 | 17144 | 203 195 | 0 | 0 1.98/2.02 c 2.0s | 12 | 38538 | 25819 | 224 268 | 0 | 0 2.88/2.91 c 2.9s | 13 | 55852 | 38832 | 247 376 | 0 | 0 4.18/4.24 c 4.2s | 14 | 85615 | 58352 | 272 521 | 0 | 0 6.18/6.20 c 6.2s | 15 | 128862 | 87632 | 300 720 | 0 | 0 8.18/8.21 c 8.2s | 15 | 166039 | 114832 | 300 888 | 0 | 0 9.38/9.47 c 9.5s | 16 | 188233 | 131552 | 330 991 | 0 | 0 11.38/11.47 c 11.5s | 16 | 229013 | 159952 | 330 1153 | 0 | 0 13.38/13.47 c 13.5s | 16 | 273358 | 189252 | 330 1323 | 0 | 0 13.98/14.05 c 14.0s | 17 | 284828 | 197432 | 364 1369 | 0 | 0 15.98/16.05 c 16.0s | 17 | 318148 | 223732 | 364 1507 | 0 | 0 17.98/18.06 c 18.0s | 17 | 353542 | 250932 | 364 1648 | 0 | 0 19.98/20.06 c 20.0s | 17 | 383447 | 275332 | 364 1776 | 0 | 0 21.58/21.69 c 21.7s | 18 | 410315 | 296252 | 401 1885 | 0 | 0 23.58/23.69 c 23.7s | 18 | 448762 | 322952 | 401 2011 | 0 | 0 25.58/25.69 c 25.7s | 18 | 483631 | 348252 | 401 2132 | 0 | 0 27.59/27.69 c 27.7s | 18 | 518713 | 374152 | 401 2257 | 0 | 0 29.58/29.70 c 29.7s | 18 | 553708 | 400252 | 401 2381 | 0 | 0 31.68/31.70 c 31.7s | 18 | 590327 | 426652 | 401 2508 | 0 | 0 33.09/33.13 c 33.1s | 19 | 614425 | 444482 | 442 2592 | 0 | 0 35.08/35.13 c 35.1s | 19 | 650336 | 470182 | 442 2702 | 0 | 0 37.08/37.14 c 37.1s | 19 | 685875 | 495682 | 442 2813 | 0 | 0 39.08/39.14 c 39.1s | 19 | 724924 | 522182 | 442 2929 | 0 | 0 41.07/41.14 c 41.1s | 19 | 760931 | 547982 | 442 3041 | 0 | 0 43.07/43.14 c 43.1s | 19 | 800409 | 575382 | 442 3161 | 0 | 0 45.09/45.14 c 45.1s | 19 | 834422 | 600782 | 442 3270 | 0 | 0 47.08/47.15 c 47.1s | 19 | 866178 | 624982 | 442 3372 | 0 | 0 49.08/49.15 c 49.1s | 19 | 903311 | 651382 | 442 3487 | 0 | 0 50.28/50.39 c 50.4s | 20 | 924180 | 666827 | 487 3553 | 0 | 0 52.28/52.39 c 52.4s | 20 | 956253 | 690627 | 487 3647 | 0 | 0 54.27/54.39 c 54.4s | 20 | 985254 | 713327 | 487 3735 | 0 | 0 56.27/56.39 c 56.4s | 20 | 1016727 | 736827 | 487 3828 | 0 | 0 58.28/58.39 c 58.4s | 20 | 1045950 | 760027 | 487 3920 | 0 | 0 60.27/60.39 c 60.4s | 20 | 1076679 | 783727 | 487 4012 | 0 | 0 62.27/62.39 c 62.4s | 20 | 1106230 | 806127 | 487 4100 | 0 | 0 64.37/64.40 c 64.4s | 20 | 1136102 | 829127 | 487 4191 | 0 | 0 66.37/66.40 c 66.4s | 20 | 1170524 | 853727 | 487 4290 | 0 | 0 68.37/68.40 c 68.4s | 20 | 1203520 | 877927 | 487 4386 | 0 | 0 70.38/70.41 c 70.4s | 20 | 1235411 | 901927 | 487 4482 | 0 | 0 72.37/72.41 c 72.4s | 20 | 1269018 | 925527 | 487 4576 | 0 | 0 74.37/74.41 c 74.4s | 20 | 1304843 | 950327 | 487 4675 | 0 | 0 76.37/76.41 c 76.4s | 20 | 1337387 | 974427 | 487 4772 | 0 | 0 78.37/78.42 c 78.4s | 20 | 1371602 | 999327 | 536 4869 | 0 | 0 78.47/78.50 c 78.5s | 21 | 1372962 | 1000345 | 536 4873 | 0 | 0 80.47/80.50 c 80.5s | 21 | 1404132 | 1023845 | 536 4957 | 0 | 0 82.37/82.50 c 82.5s | 21 | 1438810 | 1048145 | 536 5045 | 0 | 0 84.47/84.51 c 84.5s | 21 | 1474438 | 1073245 | 536 5136 | 0 | 0 86.47/86.51 c 86.5s | 21 | 1509103 | 1098445 | 536 5227 | 0 | 0 88.47/88.52 c 88.5s | 21 | 1547322 | 1124545 | 536 5322 | 0 | 0 90.47/90.52 c 90.5s | 21 | 1584254 | 1150045 | 536 5414 | 0 | 0 92.47/92.52 c 92.5s | 21 | 1617243 | 1174745 | 536 5503 | 0 | 0 94.46/94.53 c 94.5s | 21 | 1652022 | 1199545 | 536 5593 | 0 | 0 96.46/96.53 c 96.5s | 21 | 1686555 | 1224045 | 536 5681 | 0 | 0 98.46/98.54 c 98.5s | 21 | 1718548 | 1247845 | 536 5766 | 0 | 0 100.46/100.55 c 100s | 21 | 1746897 | 1270045 | 536 5847 | 0 | 0 102.46/102.55 c 102s | 21 | 1778803 | 1293745 | 536 5932 | 0 | 0 104.48/104.55 c 104s | 21 | 1810365 | 1317345 | 536 6018 | 0 | 0 106.47/106.55 c 106s | 21 | 1840499 | 1340645 | 536 6101 | 0 | 0 108.47/108.56 c 108s | 21 | 1870151 | 1363145 | 536 6182 | 0 | 0 110.47/110.57 c 110s | 21 | 1897712 | 1384945 | 536 6260 | 0 | 0 112.47/112.57 c 112s | 21 | 1926141 | 1407645 | 536 6341 | 0 | 0 114.47/114.57 c 114s | 21 | 1959401 | 1432345 | 536 6430 | 0 | 0 116.47/116.57 c 116s | 21 | 1992062 | 1456545 | 536 6517 | 0 | 0 118.46/118.57 c 118s | 21 | 2027381 | 1481245 | 536 6607 | 0 | 0 120.16/120.24 c 120s | 22 | 2053169 | 1500622 | 590 6674 | 0 | 0 122.17/122.24 c 122s | 22 | 2087089 | 1525422 | 590 6755 | 0 | 0 124.16/124.25 c 124s | 22 | 2122380 | 1550822 | 590 6840 | 0 | 0 126.16/126.25 c 126s | 22 | 2152050 | 1574022 | 590 6916 | 0 | 0 128.16/128.26 c 128s | 22 | 2179528 | 1595822 | 590 6988 | 0 | 0 130.17/130.26 c 130s | 22 | 2209241 | 1619322 | 590 7065 | 0 | 0 132.17/132.26 c 132s | 22 | 2240730 | 1643622 | 590 7145 | 0 | 0 134.17/134.27 c 134s | 22 | 2274065 | 1668422 | 590 7228 | 0 | 0 136.16/136.28 c 136s | 22 | 2306057 | 1692522 | 590 7308 | 0 | 0 138.16/138.28 c 138s | 22 | 2335978 | 1715522 | 590 7384 | 0 | 0 140.16/140.29 c 140s | 22 | 2363680 | 1737722 | 590 7457 | 0 | 0 142.16/142.29 c 142s | 22 | 2396573 | 1761522 | 590 7536 | 0 | 0 144.26/144.30 c 144s | 22 | 2432096 | 1786722 | 590 7619 | 0 | 0 146.16/146.30 c 146s | 22 | 2463596 | 1810522 | 590 7698 | 0 | 0 148.26/148.31 c 148s | 22 | 2494504 | 1834022 | 590 7776 | 0 | 0 150.26/150.31 c 150s | 22 | 2523536 | 1856822 | 590 7851 | 0 | 0 152.26/152.31 c 152s | 22 | 2554072 | 1880122 | 590 7927 | 0 | 0 154.26/154.31 c 154s | 22 | 2586453 | 1904222 | 590 8007 | 0 | 0 156.27/156.32 c 156s | 22 | 2617369 | 1928022 | 590 8086 | 0 | 0 158.26/158.33 c 158s | 22 | 2648413 | 1951222 | 590 8163 | 0 | 0 160.26/160.34 c 160s | 22 | 2676517 | 1973222 | 590 8235 | 0 | 0 162.26/162.34 c 162s | 22 | 2708035 | 1996922 | 590 8313 | 0 | 0 164.26/164.34 c 164s | 22 | 2739450 | 2020922 | 590 8393 | 0 | 0 166.26/166.35 c 166s | 22 | 2775006 | 2045322 | 590 8473 | 0 | 0 168.26/168.35 c 168s | 22 | 2807781 | 2070022 | 590 8556 | 0 | 0 170.26/170.36 c 170s | 22 | 2839625 | 2093622 | 590 8634 | 0 | 0 172.25/172.36 c 172s | 22 | 2871087 | 2117622 | 590 8714 | 0 | 0 174.25/174.37 c 174s | 22 | 2906443 | 2142822 | 590 8799 | 0 | 0 176.25/176.37 c 176s | 22 | 2943431 | 2168222 | 590 8883 | 0 | 0 178.26/178.37 c 178s | 22 | 2978781 | 2192922 | 590 8965 | 0 | 0 180.25/180.37 c 180s | 22 | 3013907 | 2217622 | 590 9047 | 0 | 0 182.25/182.38 c 182s | 22 | 3050011 | 2243322 | 649 9130 | 0 | 0 182.95/183.02 c 183s | 23 | 3060083 | 2251038 | 649 9154 | 0 | 0 184.95/185.02 c 185s | 23 | 3094743 | 2276038 | 649 9230 | 0 | 0 186.96/187.03 c 187s | 23 | 3124201 | 2299338 | 649 9301 | 0 | 0 188.96/189.03 c 189s | 23 | 3153261 | 2321538 | 649 9367 | 0 | 0 190.96/191.03 c 191s | 23 | 3180561 | 2342838 | 649 9431 | 0 | 0 192.96/193.04 c 193s | 23 | 3207955 | 2364138 | 649 9495 | 0 | 0 194.96/195.05 c 195s | 23 | 3235300 | 2385638 | 649 9559 | 0 | 0 196.96/197.06 c 197s | 23 | 3264336 | 2407438 | 649 9625 | 0 | 0 198.95/199.06 c 199s | 23 | 3292461 | 2428938 | 649 9690 | 0 | 0 200.95/201.07 c 201s | 23 | 3320322 | 2450538 | 649 9755 | 0 | 0 202.95/203.07 c 203s | 23 | 3348966 | 2472938 | 649 9823 | 0 | 0 204.95/205.07 c 205s | 23 | 3382552 | 2497338 | 649 9897 | 0 | 0 206.95/207.08 c 207s | 23 | 3417284 | 2522038 | 649 9971 | 0 | 0 208.96/209.09 c 209s | 23 | 3447318 | 2545238 | 649 10042 | 0 | 0 210.95/211.09 c 211s | 23 | 3475859 | 2567438 | 649 10109 | 0 | 0 213.05/213.10 c 213s | 23 | 3505619 | 2590038 | 649 10177 | 0 | 0 215.05/215.10 c 215s | 23 | 3533145 | 2611238 | 649 10241 | 0 | 0 217.05/217.11 c 217s | 23 | 3562871 | 2633538 | 649 10309 | 0 | 0 219.05/219.11 c 219s | 23 | 3592898 | 2655838 | 649 10376 | 0 | 0 221.05/221.12 c 221s | 23 | 3623065 | 2678838 | 649 10446 | 0 | 0 223.05/223.12 c 223s | 23 | 3655279 | 2702438 | 649 10517 | 0 | 0 225.05/225.12 c 225s | 23 | 3687630 | 2726238 | 649 10589 | 0 | 0 227.05/227.13 c 227s | 23 | 3722832 | 2751038 | 649 10665 | 0 | 0 229.05/229.14 c 229s | 23 | 3757617 | 2775938 | 649 10740 | 0 | 0 231.05/231.14 c 231s | 23 | 3790432 | 2799938 | 649 10813 | 0 | 0 233.04/233.15 c 233s | 23 | 3822942 | 2824238 | 649 10887 | 0 | 0 235.04/235.15 c 235s | 23 | 3855017 | 2848038 | 649 10959 | 0 | 0 237.04/237.16 c 237s | 23 | 3887027 | 2872038 | 649 11031 | 0 | 0 239.05/239.16 c 239s | 23 | 3921770 | 2896738 | 649 11107 | 0 | 0 241.05/241.17 c 241s | 23 | 3955236 | 2920938 | 649 11180 | 0 | 0 243.06/243.17 c 243s | 23 | 3985253 | 2944038 | 649 11250 | 0 | 0 245.05/245.17 c 245s | 23 | 4020492 | 2969338 | 649 11328 | 0 | 0 247.05/247.17 c 247s | 23 | 4055579 | 2994538 | 649 11404 | 0 | 0 249.05/249.17 c 249s | 23 | 4091643 | 3019738 | 649 11481 | 0 | 0 251.04/251.18 c 251s | 23 | 4127823 | 3044938 | 649 11557 | 0 | 0 253.05/253.18 c 253s | 23 | 4163784 | 3070038 | 649 11633 | 0 | 0 255.04/255.19 c 255s | 23 | 4194743 | 3093038 | 649 11703 | 0 | 0 257.04/257.20 c 257s | 23 | 4227724 | 3116838 | 649 11774 | 0 | 0 259.14/259.20 c 259s | 23 | 4257613 | 3139138 | 649 11841 | 0 | 0 261.14/261.21 c 261s | 23 | 4292012 | 3163138 | 649 11914 | 0 | 0 263.14/263.21 c 263s | 23 | 4324655 | 3186438 | 649 11984 | 0 | 0 265.14/265.21 c 265s | 23 | 4354572 | 3208938 | 649 12051 | 0 | 0 267.14/267.22 c 267s | 23 | 4384345 | 3231538 | 649 12119 | 0 | 0 269.14/269.22 c 269s | 23 | 4411946 | 3253438 | 649 12185 | 0 | 0 271.14/271.23 c 271s | 23 | 4442123 | 3276138 | 649 12254 | 0 | 0 273.14/273.23 c 273s | 23 | 4473037 | 3299338 | 649 12324 | 0 | 0 275.14/275.24 c 275s | 23 | 4507667 | 3323338 | 649 12397 | 0 | 0 277.15/277.24 c 277s | 23 | 4541027 | 3347338 | 649 12470 | 0 | 0 279.14/279.25 c 279s | 23 | 4571230 | 3370138 | 714 12534 | 0 | 0 279.74/279.80 c 279s | 24 | 4580374 | 3376662 | 714 12551 | 0 | 0 281.74/281.81 c 281s | 24 | 4605406 | 3396962 | 714 12607 | 0 | 0 283.74/283.81 c 283s | 24 | 4629655 | 3417162 | 714 12662 | 0 | 0 285.74/285.81 c 285s | 24 | 4655935 | 3438162 | 714 12719 | 0 | 0 287.74/287.82 c 287s | 24 | 4682561 | 3459462 | 714 12778 | 0 | 0 289.74/289.83 c 289s | 24 | 4709784 | 3480862 | 714 12836 | 0 | 0 291.74/291.84 c 291s | 24 | 4737104 | 3501962 | 714 12894 | 0 | 0 293.74/293.84 c 293s | 24 | 4765682 | 3523762 | 714 12954 | 0 | 0 295.73/295.84 c 295s | 24 | 4793839 | 3545262 | 714 13013 | 0 | 0 297.73/297.84 c 297s | 24 | 4821280 | 3566162 | 714 13070 | 0 | 0 299.73/299.85 c 299s | 24 | 4851447 | 3588562 | 714 13131 | 0 | 0 301.74/301.85 c 301s | 24 | 4878404 | 3609762 | 714 13190 | 0 | 0 303.74/303.85 c 303s | 24 | 4904880 | 3630662 | 714 13247 | 0 | 0 305.75/305.86 c 305s | 24 | 4933240 | 3652362 | 714 13307 | 0 | 0 307.74/307.86 c 307s | 24 | 4957719 | 3672662 | 714 13362 | 0 | 0 309.74/309.87 c 309s | 24 | 4985735 | 3694562 | 714 13422 | 0 | 0 311.74/311.87 c 311s | 24 | 5012752 | 3716062 | 714 13481 | 0 | 0 313.74/313.88 c 313s | 24 | 5041086 | 3738062 | 714 13542 | 0 | 0 315.74/315.89 c 315s | 24 | 5069822 | 3760062 | 714 13602 | 0 | 0 317.74/317.89 c 317s | 24 | 5097005 | 3781562 | 714 13661 | 0 | 0 319.84/319.90 c 319s | 24 | 5127124 | 3804262 | 714 13724 | 0 | 0 321.83/321.91 c 321s | 24 | 5154888 | 3826062 | 714 13784 | 0 | 0 323.83/323.91 c 323s | 24 | 5184094 | 3848062 | 714 13844 | 0 | 0 325.83/325.92 c 325s | 24 | 5216941 | 3871362 | 714 13908 | 0 | 0 327.84/327.92 c 327s | 24 | 5251480 | 3895862 | 714 13975 | 0 | 0 329.83/329.92 c 329s | 24 | 5284755 | 3920162 | 714 14042 | 0 | 0 331.83/331.92 c 331s | 24 | 5315693 | 3943162 | 714 14105 | 0 | 0 333.83/333.92 c 333s | 24 | 5345514 | 3965662 | 714 14167 | 0 | 0 335.83/335.93 c 335s | 24 | 5375584 | 3988062 | 714 14229 | 0 | 0 337.83/337.94 c 337s | 24 | 5403951 | 4009462 | 714 14288 | 0 | 0 339.84/339.94 c 339s | 24 | 5432581 | 4030962 | 714 14347 | 0 | 0 341.83/341.95 c 341s | 24 | 5461987 | 4052662 | 714 14407 | 0 | 0 343.83/343.95 c 343s | 24 | 5491107 | 4073962 | 714 14465 | 0 | 0 345.83/345.95 c 345s | 24 | 5524366 | 4096362 | 714 14526 | 0 | 0 347.83/347.96 c 347s | 24 | 5556247 | 4118862 | 714 14588 | 0 | 0 349.84/349.96 c 349s | 24 | 5587027 | 4141362 | 714 14650 | 0 | 0 351.83/351.96 c 351s | 24 | 5616680 | 4162362 | 714 14707 | 0 | 0 353.83/353.97 c 353s | 24 | 5643749 | 4183062 | 714 14764 | 0 | 0 355.83/355.98 c 355s | 24 | 5671778 | 4204662 | 714 14823 | 0 | 0 357.82/357.99 c 357s | 24 | 5700516 | 4226562 | 714 14883 | 0 | 0 359.83/359.99 c 359s | 24 | 5728729 | 4247962 | 714 14942 | 0 | 0 361.83/361.99 c 361s | 24 | 5758355 | 4270362 | 714 15004 | 0 | 0 363.92/364.00 c 363s | 24 | 5788039 | 4292462 | 714 15065 | 0 | 0 365.92/366.01 c 365s | 24 | 5818904 | 4314862 | 714 15126 | 0 | 0 367.92/368.01 c 367s | 24 | 5850262 | 4337562 | 714 15189 | 0 | 0 369.92/370.01 c 369s | 24 | 5879207 | 4359362 | 714 15249 | 0 | 0 371.92/372.02 c 372s | 24 | 5912137 | 4382762 | 714 15313 | 0 | 0 373.93/374.02 c 374s | 24 | 5943770 | 4405662 | 714 15376 | 0 | 0 375.92/376.02 c 376s | 24 | 5974727 | 4427762 | 714 15437 | 0 | 0 377.92/378.03 c 378s | 24 | 6002443 | 4449062 | 714 15496 | 0 | 0 379.92/380.04 c 380s | 24 | 6032657 | 4471462 | 714 15558 | 0 | 0 381.92/382.05 c 382s | 24 | 6062974 | 4494162 | 714 15621 | 0 | 0 383.93/384.05 c 384s | 24 | 6094463 | 4516462 | 714 15682 | 0 | 0 385.93/386.06 c 386s | 24 | 6123279 | 4538162 | 714 15742 | 0 | 0 387.93/388.07 c 388s | 24 | 6152090 | 4559962 | 714 15802 | 0 | 0 389.92/390.07 c 390s | 24 | 6180448 | 4581162 | 714 15861 | 0 | 0 391.92/392.08 c 392s | 24 | 6207174 | 4601862 | 714 15918 | 0 | 0 393.92/394.08 c 394s | 24 | 6236467 | 4623362 | 714 15977 | 0 | 0 395.93/396.08 c 396s | 24 | 6263705 | 4644262 | 714 16035 | 0 | 0 397.92/398.09 c 398s | 24 | 6291192 | 4665562 | 714 16093 | 0 | 0 399.92/400.10 c 400s | 24 | 6318679 | 4687062 | 714 16151 | 0 | 0 402.02/402.10 c 402s | 24 | 6345737 | 4708362 | 714 16210 | 0 | 0 404.02/404.10 c 404s | 24 | 6372971 | 4729662 | 714 16268 | 0 | 0 406.02/406.10 c 406s | 24 | 6402226 | 4751562 | 714 16328 | 0 | 0 408.02/408.11 c 408s | 24 | 6429307 | 4772462 | 714 16385 | 0 | 0 410.02/410.11 c 410s | 24 | 6459343 | 4794662 | 714 16446 | 0 | 0 412.02/412.12 c 412s | 24 | 6486943 | 4815862 | 714 16504 | 0 | 0 414.01/414.12 c 414s | 24 | 6514572 | 4836862 | 714 16561 | 0 | 0 416.01/416.13 c 416s | 24 | 6540418 | 4857162 | 714 16617 | 0 | 0 418.03/418.13 c 418s | 24 | 6567650 | 4878062 | 714 16674 | 0 | 0 420.02/420.14 c 420s | 24 | 6597283 | 4899662 | 714 16733 | 0 | 0 422.02/422.14 c 422s | 24 | 6621537 | 4919062 | 714 16786 | 0 | 0 424.02/424.14 c 424s | 24 | 6647335 | 4939062 | 714 16841 | 0 | 0 426.02/426.15 c 426s | 24 | 6674615 | 4959662 | 714 16897 | 0 | 0 428.02/428.15 c 428s | 24 | 6702534 | 4980662 | 714 16954 | 0 | 0 430.02/430.16 c 430s | 24 | 6731848 | 5002462 | 714 17014 | 0 | 0 432.02/432.17 c 432s | 24 | 6757552 | 5022662 | 714 17069 | 0 | 0 434.02/434.17 c 434s | 24 | 6783121 | 5042362 | 786 17120 | 0 | 0 436.01/436.17 c 436s | 24 | 6809838 | 5062262 | 786 17169 | 0 | 0 436.31/436.45 c 436s | 25 | 6813726 | 5065098 | 786 17176 | 0 | 0 438.32/438.45 c 438s | 25 | 6843239 | 5086798 | 786 17230 | 0 | 0 440.31/440.46 c 440s | 25 | 6871541 | 5108498 | 786 17284 | 0 | 0 442.31/442.46 c 442s | 25 | 6899088 | 5129398 | 786 17336 | 0 | 0 444.32/444.46 c 444s | 25 | 6924859 | 5149298 | 786 17386 | 0 | 0 446.31/446.47 c 446s | 25 | 6953781 | 5170898 | 786 17439 | 0 | 0 448.31/448.48 c 448s | 25 | 6983758 | 5192898 | 786 17494 | 0 | 0 450.31/450.48 c 450s | 25 | 7015169 | 5215198 | 786 17550 | 0 | 0 452.31/452.49 c 452s | 25 | 7043661 | 5236298 | 786 17603 | 0 | 0 454.32/454.49 c 454s | 25 | 7074002 | 5257498 | 786 17656 | 0 | 0 456.31/456.50 c 456s | 25 | 7102049 | 5278598 | 786 17708 | 0 | 0 458.41/458.50 c 458s | 25 | 7130194 | 5299598 | 786 17761 | 0 | 0 460.41/460.51 c 460s | 25 | 7157773 | 5320298 | 786 17812 | 0 | 0 462.41/462.52 c 462s | 25 | 7185337 | 5341498 | 786 17866 | 0 | 0 464.41/464.52 c 464s | 25 | 7214335 | 5362898 | 786 17919 | 0 | 0 466.42/466.52 c 466s | 25 | 7237709 | 5382098 | 786 17967 | 0 | 0 468.41/468.53 c 468s | 25 | 7262310 | 5401498 | 786 18015 | 0 | 0 470.41/470.53 c 470s | 25 | 7286237 | 5420898 | 786 18063 | 0 | 0 472.41/472.53 c 472s | 25 | 7314129 | 5441898 | 786 18115 | 0 | 0 474.40/474.54 c 474s | 25 | 7340770 | 5462298 | 786 18166 | 0 | 0 476.40/476.54 c 476s | 25 | 7363768 | 5480898 | 786 18212 | 0 | 0 478.41/478.54 c 478s | 25 | 7387198 | 5499798 | 786 18259 | 0 | 0 480.41/480.55 c 480s | 25 | 7412000 | 5519498 | 786 18308 | 0 | 0 482.41/482.55 c 482s | 25 | 7433789 | 5537498 | 786 18352 | 0 | 0 484.41/484.56 c 484s | 25 | 7459655 | 5557498 | 786 18402 | 0 | 0 486.40/486.57 c 486s | 25 | 7485284 | 5577398 | 786 18452 | 0 | 0 488.41/488.57 c 488s | 25 | 7516222 | 5599398 | 786 18507 | 0 | 0 490.40/490.58 c 490s | 25 | 7542720 | 5619498 | 786 18557 | 0 | 0 492.40/492.59 c 492s | 25 | 7567299 | 5639198 | 786 18606 | 0 | 0 494.50/494.60 c 494s | 25 | 7591861 | 5658698 | 786 18654 | 0 | 0 496.50/496.60 c 496s | 25 | 7616157 | 5677898 | 786 18702 | 0 | 0 498.50/498.60 c 498s | 25 | 7640589 | 5697398 | 786 18750 | 0 | 0 500.50/500.61 c 500s | 25 | 7664719 | 5716498 | 786 18797 | 0 | 0 502.49/502.61 c 502s | 25 | 7688780 | 5735798 | 786 18845 | 0 | 0 504.49/504.62 c 504s | 25 | 7713085 | 5755598 | 786 18895 | 0 | 0 506.49/506.62 c 506s | 25 | 7739352 | 5776098 | 786 18946 | 0 | 0 508.49/508.63 c 508s | 25 | 7767897 | 5797698 | 786 19000 | 0 | 0 510.49/510.64 c 510s | 25 | 7796895 | 5819198 | 786 19053 | 0 | 0 512.50/512.64 c 512s | 25 | 7824366 | 5840098 | 786 19105 | 0 | 0 514.49/514.65 c 514s | 25 | 7851060 | 5860398 | 786 19156 | 0 | 0 516.49/516.65 c 516s | 25 | 7878287 | 5881498 | 786 19209 | 0 | 0 518.48/518.65 c 518s | 25 | 7903544 | 5901398 | 786 19258 | 0 | 0 520.48/520.66 c 520s | 25 | 7933860 | 5922998 | 786 19312 | 0 | 0 522.49/522.66 c 522s | 25 | 7963728 | 5943798 | 786 19364 | 0 | 0 524.49/524.67 c 524s | 25 | 7990389 | 5963898 | 786 19414 | 0 | 0 526.49/526.67 c 526s | 25 | 8016536 | 5983798 | 786 19463 | 0 | 0 528.48/528.68 c 528s | 25 | 8040932 | 6002998 | 786 19511 | 0 | 0 530.48/530.68 c 530s | 25 | 8068021 | 6023598 | 786 19563 | 0 | 0 532.48/532.69 c 532s | 25 | 8093941 | 6043598 | 786 19613 | 0 | 0 534.49/534.69 c 534s | 25 | 8118811 | 6063298 | 786 19662 | 0 | 0 536.58/536.70 c 536s | 25 | 8143003 | 6082398 | 786 19709 | 0 | 0 538.58/538.70 c 538s | 25 | 8173072 | 6103898 | 786 19763 | 0 | 0 540.58/540.70 c 540s | 25 | 8208019 | 6127498 | 786 19822 | 0 | 0 542.58/542.71 c 542s | 25 | 8239549 | 6149798 | 786 19877 | 0 | 0 544.57/544.72 c 544s | 25 | 8270050 | 6172098 | 786 19933 | 0 | 0 546.58/546.73 c 546s | 25 | 8298728 | 6193298 | 786 19986 | 0 | 0 548.58/548.74 c 548s | 25 | 8331695 | 6215998 | 786 20043 | 0 | 0 550.58/550.74 c 550s | 25 | 8363393 | 6238398 | 786 20099 | 0 | 0 552.58/552.74 c 552s | 25 | 8394951 | 6260898 | 786 20156 | 0 | 0 554.57/554.74 c 554s | 25 | 8426395 | 6283498 | 786 20212 | 0 | 0 556.58/556.74 c 556s | 25 | 8453786 | 6304498 | 786 20265 | 0 | 0 558.57/558.75 c 558s | 25 | 8481917 | 6325398 | 786 20317 | 0 | 0 560.57/560.75 c 560s | 25 | 8509940 | 6346398 | 786 20370 | 0 | 0 562.57/562.76 c 562s | 25 | 8536266 | 6367498 | 786 20422 | 0 | 0 564.57/564.76 c 564s | 25 | 8563817 | 6388698 | 786 20476 | 0 | 0 566.57/566.76 c 566s | 25 | 8590588 | 6409298 | 786 20527 | 0 | 0 568.57/568.76 c 568s | 25 | 8619693 | 6430798 | 786 20581 | 0 | 0 570.56/570.77 c 570s | 25 | 8649071 | 6452198 | 786 20634 | 0 | 0 572.56/572.77 c 572s | 25 | 8675391 | 6472498 | 786 20685 | 0 | 0 574.56/574.77 c 574s | 25 | 8699536 | 6491498 | 786 20732 | 0 | 0 576.56/576.78 c 576s | 25 | 8721360 | 6509698 | 786 20777 | 0 | 0 578.56/578.79 c 578s | 25 | 8744363 | 6528298 | 786 20823 | 0 | 0 580.56/580.79 c 580s | 25 | 8768734 | 6547398 | 786 20870 | 0 | 0 582.66/582.80 c 582s | 25 | 8792242 | 6566398 | 786 20917 | 0 | 0 584.66/584.80 c 584s | 25 | 8816953 | 6586098 | 786 20966 | 0 | 0 586.65/586.80 c 586s | 25 | 8845699 | 6607398 | 786 21020 | 0 | 0 588.66/588.80 c 588s | 25 | 8870995 | 6627098 | 786 21068 | 0 | 0 590.66/590.81 c 590s | 25 | 8897342 | 6647498 | 786 21119 | 0 | 0 592.65/592.81 c 592s | 25 | 8925402 | 6668798 | 786 21173 | 0 | 0 594.65/594.82 c 594s | 25 | 8954181 | 6690198 | 786 21226 | 0 | 0 596.65/596.82 c 596s | 25 | 8984234 | 6711998 | 786 21281 | 0 | 0 598.65/598.82 c 598s | 25 | 9014459 | 6733098 | 786 21334 | 0 | 0 600.65/600.83 c 600s | 25 | 9046210 | 6755698 | 786 21391 | 0 | 0 602.65/602.84 c 602s | 25 | 9075248 | 6777498 | 786 21445 | 0 | 0 604.64/604.85 c 604s | 25 | 9099759 | 6796798 | 786 21493 | 0 | 0 606.64/606.86 c 606s | 25 | 9129996 | 6818298 | 786 21547 | 0 | 0 608.64/608.86 c 608s | 25 | 9160228 | 6839898 | 786 21601 | 0 | 0 610.64/610.86 c 610s | 25 | 9193268 | 6862598 | 786 21659 | 0 | 0 612.65/612.87 c 612s | 25 | 9223193 | 6884198 | 786 21713 | 0 | 0 614.65/614.87 c 614s | 25 | 9251095 | 6904998 | 786 21764 | 0 | 0 616.65/616.87 c 616s | 25 | 9276407 | 6924898 | 786 21814 | 0 | 0 618.65/618.88 c 618s | 25 | 9302164 | 6944898 | 786 21864 | 0 | 0 620.65/620.89 c 620s | 25 | 9327371 | 6964798 | 786 21913 | 0 | 0 622.65/622.90 c 622s | 25 | 9356526 | 6986498 | 786 21968 | 0 | 0 624.65/624.90 c 624s | 25 | 9386677 | 7008598 | 786 22023 | 0 | 0 626.74/626.90 c 626s | 25 | 9412590 | 7028698 | 786 22073 | 0 | 0 628.74/628.91 c 628s | 25 | 9440971 | 7049598 | 786 22125 | 0 | 0 630.74/630.92 c 630s | 25 | 9468755 | 7070598 | 786 22178 | 0 | 0 632.74/632.92 c 632s | 25 | 9499853 | 7092398 | 786 22232 | 0 | 0 634.74/634.92 c 634s | 25 | 9528515 | 7113698 | 786 22286 | 0 | 0 636.74/636.92 c 636s | 25 | 9554539 | 7133998 | 786 22337 | 0 | 0 638.73/638.93 c 638s | 25 | 9583787 | 7155298 | 786 22390 | 0 | 0 640.73/640.93 c 640s | 25 | 9613101 | 7176598 | 786 22443 | 0 | 0 642.73/642.94 c 642s | 25 | 9636725 | 7195798 | 786 22491 | 0 | 0 644.73/644.94 c 644s | 25 | 9660699 | 7215098 | 786 22539 | 0 | 0 646.73/646.94 c 646s | 25 | 9689475 | 7236298 | 786 22592 | 0 | 0 648.72/648.95 c 648s | 25 | 9717977 | 7257698 | 786 22646 | 0 | 0 650.72/650.95 c 650s | 25 | 9748092 | 7278998 | 786 22699 | 0 | 0 652.72/652.96 c 652s | 25 | 9775478 | 7299798 | 786 22751 | 0 | 0 654.72/654.96 c 654s | 25 | 9797909 | 7318698 | 786 22798 | 0 | 0 656.72/656.97 c 656s | 25 | 9820651 | 7337198 | 786 22845 | 0 | 0 658.72/658.98 c 658s | 25 | 9847693 | 7357898 | 786 22897 | 0 | 0 660.72/660.98 c 660s | 25 | 9873231 | 7377698 | 786 22946 | 0 | 0 662.72/662.98 c 662s | 25 | 9904581 | 7399798 | 786 23001 | 0 | 0 664.72/664.98 c 664s | 25 | 9934480 | 7421398 | 786 23055 | 0 | 0 666.72/666.99 c 666s | 25 | 9963772 | 7442398 | 786 23108 | 0 | 0 668.73/668.99 c 668s | 25 | 9994749 | 7463898 | 786 23162 | 0 | 0 670.72/671.00 c 670s | 25 | 10024144 | 7485598 | 786 23216 | 0 | 0 672.82/673.00 c 672s | 25 | 10055155 | 7507598 | 786 23271 | 0 | 0 674.82/675.00 c 674s | 25 | 10082893 | 7528198 | 786 23323 | 0 | 0 676.82/677.00 c 676s | 25 | 10110770 | 7548698 | 865 23373 | 0 | 0 678.81/679.00 c 678s | 25 | 10134825 | 7567598 | 865 23416 | 0 | 0 680.82/681.01 c 680s | 25 | 10162107 | 7587898 | 865 23462 | 0 | 0 681.71/681.92 c 681s | 26 | 10176169 | 7597752 | 865 23485 | 0 | 0 683.71/683.93 c 683s | 26 | 10204598 | 7617952 | 865 23530 | 0 | 0 685.71/685.93 c 685s | 26 | 10233688 | 7638752 | 865 23578 | 0 | 0 687.71/687.93 c 687s | 26 | 10257795 | 7657652 | 865 23620 | 0 | 0 689.71/689.94 c 689s | 26 | 10286684 | 7678852 | 865 23668 | 0 | 0 691.71/691.94 c 691s | 26 | 10314189 | 7699852 | 865 23716 | 0 | 0 693.71/693.95 c 693s | 26 | 10341119 | 7720252 | 865 23762 | 0 | 0 695.71/695.96 c 695s | 26 | 10368039 | 7740752 | 865 23809 | 0 | 0 697.70/697.96 c 697s | 26 | 10395538 | 7761452 | 865 23856 | 0 | 0 699.70/699.97 c 699s | 26 | 10424041 | 7782452 | 865 23904 | 0 | 0 701.71/701.97 c 701s | 26 | 10453191 | 7803652 | 865 23952 | 0 | 0 703.70/703.97 c 703s | 26 | 10479895 | 7824352 | 865 23999 | 0 | 0 705.70/705.98 c 705s | 26 | 10506313 | 7844652 | 865 24045 | 0 | 0 707.70/707.98 c 707s | 26 | 10534234 | 7865352 | 865 24092 | 0 | 0 709.69/709.99 c 709s | 26 | 10558607 | 7884752 | 865 24136 | 0 | 0 711.79/712.00 c 711s | 26 | 10582595 | 7903552 | 865 24178 | 0 | 0 713.80/714.01 c 713s | 26 | 10605138 | 7921652 | 865 24219 | 0 | 0 715.79/716.02 c 715s | 26 | 10631990 | 7942052 | 865 24265 | 0 | 0 717.79/718.02 c 717s | 26 | 10658389 | 7962152 | 865 24310 | 0 | 0 719.79/720.02 c 720s | 26 | 10684316 | 7981952 | 865 24355 | 0 | 0 721.79/722.03 c 722s | 26 | 10709830 | 8001452 | 865 24399 | 0 | 0 723.79/724.04 c 724s | 26 | 10736289 | 8021452 | 865 24444 | 0 | 0 725.80/726.04 c 726s | 26 | 10762184 | 8040952 | 865 24488 | 0 | 0 727.78/728.05 c 728s | 26 | 10787124 | 8060052 | 865 24531 | 0 | 0 729.78/730.05 c 730s | 26 | 10810027 | 8078352 | 865 24572 | 0 | 0 731.78/732.06 c 732s | 26 | 10834657 | 8097952 | 865 24616 | 0 | 0 733.78/734.06 c 734s | 26 | 10860061 | 8117652 | 865 24660 | 0 | 0 735.79/736.07 c 736s | 26 | 10885163 | 8137152 | 865 24704 | 0 | 0 737.78/738.08 c 738s | 26 | 10908490 | 8155552 | 865 24746 | 0 | 0 739.77/740.08 c 740s | 26 | 10935336 | 8175852 | 865 24792 | 0 | 0 741.78/742.08 c 742s | 26 | 10960283 | 8195152 | 865 24835 | 0 | 0 743.77/744.09 c 744s | 26 | 10986565 | 8215052 | 865 24881 | 0 | 0 745.77/746.10 c 746s | 26 | 11012286 | 8234852 | 865 24926 | 0 | 0 747.78/748.10 c 748s | 26 | 11037822 | 8254552 | 865 24970 | 0 | 0 749.88/750.11 c 750s | 26 | 11062649 | 8274052 | 865 25015 | 0 | 0 751.87/752.11 c 752s | 26 | 11087346 | 8293352 | 865 25058 | 0 | 0 753.87/754.12 c 754s | 26 | 11111282 | 8312252 | 865 25101 | 0 | 0 755.87/756.13 c 756s | 26 | 11135630 | 8331152 | 865 25144 | 0 | 0 757.87/758.14 c 758s | 26 | 11161074 | 8350552 | 865 25188 | 0 | 0 759.88/760.14 c 760s | 26 | 11189345 | 8371752 | 865 25237 | 0 | 0 761.87/762.15 c 762s | 26 | 11214111 | 8391552 | 865 25282 | 0 | 0 763.87/764.15 c 764s | 26 | 11239916 | 8411552 | 865 25328 | 0 | 0 765.87/766.15 c 766s | 26 | 11267661 | 8432252 | 865 25375 | 0 | 0 767.86/768.16 c 768s | 26 | 11292941 | 8451552 | 865 25419 | 0 | 0 769.87/770.17 c 770s | 26 | 11320548 | 8471852 | 865 25465 | 0 | 0 771.86/772.17 c 772s | 26 | 11346342 | 8491652 | 865 25510 | 0 | 0 773.86/774.18 c 774s | 26 | 11373106 | 8511852 | 865 25556 | 0 | 0 775.86/776.18 c 776s | 26 | 11402635 | 8533152 | 865 25605 | 0 | 0 777.85/778.19 c 778s | 26 | 11430165 | 8553252 | 865 25650 | 0 | 0 779.85/780.19 c 780s | 26 | 11458817 | 8573852 | 865 25697 | 0 | 0 781.86/782.20 c 782s | 26 | 11485884 | 8593952 | 865 25743 | 0 | 0 783.95/784.20 c 784s | 26 | 11511326 | 8612852 | 865 25786 | 0 | 0 785.95/786.20 c 786s | 26 | 11539161 | 8633252 | 865 25832 | 0 | 0 787.95/788.21 c 788s | 26 | 11568595 | 8654052 | 865 25880 | 0 | 0 789.95/790.21 c 790s | 26 | 11597463 | 8675152 | 865 25928 | 0 | 0 791.95/792.21 c 792s | 26 | 11626046 | 8695952 | 865 25975 | 0 | 0 793.95/794.22 c 794s | 26 | 11655250 | 8717352 | 865 26024 | 0 | 0 795.95/796.22 c 796s | 26 | 11683576 | 8738152 | 865 26071 | 0 | 0 797.94/798.23 c 798s | 26 | 11710207 | 8757852 | 865 26116 | 0 | 0 799.94/800.24 c 800s | 26 | 11738734 | 8778652 | 865 26164 | 0 | 0 801.94/802.24 c 802s | 26 | 11764494 | 8798252 | 865 26208 | 0 | 0 803.95/804.25 c 804s | 26 | 11790271 | 8817852 | 865 26253 | 0 | 0 805.94/806.25 c 806s | 26 | 11814465 | 8836952 | 865 26296 | 0 | 0 807.93/808.25 c 808s | 26 | 11843267 | 8857752 | 865 26344 | 0 | 0 809.94/810.25 c 810s | 26 | 11872307 | 8878952 | 865 26392 | 0 | 0 811.94/812.26 c 812s | 26 | 11903030 | 8900652 | 865 26442 | 0 | 0 813.94/814.26 c 814s | 26 | 11931368 | 8921652 | 865 26490 | 0 | 0 815.95/816.26 c 816s | 26 | 11957007 | 8941752 | 865 26535 | 0 | 0 817.94/818.26 c 818s | 26 | 11981660 | 8960952 | 865 26579 | 0 | 0 819.94/820.27 c 820s | 26 | 12009174 | 8981352 | 865 26625 | 0 | 0 821.94/822.28 c 822s | 26 | 12035126 | 9001552 | 865 26671 | 0 | 0 823.94/824.28 c 824s | 26 | 12060586 | 9021652 | 865 26717 | 0 | 0 825.94/826.29 c 826s | 26 | 12089745 | 9043052 | 865 26766 | 0 | 0 827.93/828.29 c 828s | 26 | 12116363 | 9063052 | 865 26811 | 0 | 0 830.03/830.30 c 830s | 26 | 12143895 | 9083352 | 865 26858 | 0 | 0 832.03/832.30 c 832s | 26 | 12171342 | 9104052 | 865 26904 | 0 | 0 834.03/834.32 c 834s | 26 | 12199788 | 9124852 | 865 26952 | 0 | 0 836.03/836.32 c 836s | 26 | 12227395 | 9145152 | 865 26998 | 0 | 0 838.03/838.33 c 838s | 26 | 12255815 | 9166152 | 865 27046 | 0 | 0 840.02/840.34 c 840s | 26 | 12283285 | 9187052 | 865 27093 | 0 | 0 842.02/842.34 c 842s | 26 | 12310704 | 9207152 | 865 27139 | 0 | 0 844.02/844.35 c 844s | 26 | 12336310 | 9226352 | 865 27183 | 0 | 0 846.02/846.35 c 846s | 26 | 12360745 | 9245252 | 865 27226 | 0 | 0 848.01/848.36 c 848s | 26 | 12383104 | 9263552 | 865 27267 | 0 | 0 850.03/850.36 c 850s | 26 | 12408324 | 9283052 | 865 27312 | 0 | 0 852.02/852.37 c 852s | 26 | 12434245 | 9302452 | 865 27356 | 0 | 0 854.02/854.38 c 854s | 26 | 12459269 | 9321652 | 865 27400 | 0 | 0 856.02/856.38 c 856s | 26 | 12482727 | 9340552 | 865 27442 | 0 | 0 858.01/858.38 c 858s | 26 | 12507027 | 9359752 | 865 27486 | 0 | 0 860.02/860.39 c 860s | 26 | 12531777 | 9378752 | 865 27529 | 0 | 0 862.01/862.40 c 862s | 26 | 12557844 | 9398652 | 865 27575 | 0 | 0 864.11/864.40 c 864s | 26 | 12581928 | 9417652 | 865 27618 | 0 | 0 866.11/866.41 c 866s | 26 | 12609218 | 9437852 | 865 27664 | 0 | 0 868.11/868.41 c 868s | 26 | 12636940 | 9458752 | 865 27712 | 0 | 0 870.11/870.41 c 870s | 26 | 12661814 | 9478552 | 865 27757 | 0 | 0 872.12/872.42 c 872s | 26 | 12690246 | 9499552 | 865 27804 | 0 | 0 874.11/874.43 c 874s | 26 | 12716667 | 9519452 | 865 27849 | 0 | 0 876.11/876.43 c 876s | 26 | 12742515 | 9539352 | 865 27895 | 0 | 0 878.10/878.44 c 878s | 26 | 12766668 | 9558152 | 865 27937 | 0 | 0 880.10/880.44 c 880s | 26 | 12789501 | 9576352 | 865 27979 | 0 | 0 882.10/882.45 c 882s | 26 | 12817270 | 9596652 | 865 28025 | 0 | 0 884.11/884.45 c 884s | 26 | 12843358 | 9616452 | 865 28070 | 0 | 0 886.10/886.46 c 886s | 26 | 12869898 | 9636052 | 865 28114 | 0 | 0 888.10/888.47 c 888s | 26 | 12896314 | 9655752 | 865 28159 | 0 | 0 890.10/890.48 c 890s | 26 | 12919655 | 9674052 | 865 28201 | 0 | 0 892.10/892.48 c 892s | 26 | 12944526 | 9693052 | 865 28244 | 0 | 0 894.10/894.49 c 894s | 26 | 12968183 | 9711852 | 865 28286 | 0 | 0 896.09/896.50 c 896s | 26 | 12990745 | 9729852 | 865 28327 | 0 | 0 898.19/898.51 c 898s | 26 | 13015156 | 9748852 | 865 28370 | 0 | 0 900.19/900.51 c 900s | 26 | 13041056 | 9768252 | 865 28414 | 0 | 0 902.19/902.51 c 902s | 26 | 13061840 | 9785352 | 865 28452 | 0 | 0 904.19/904.52 c 904s | 26 | 13083435 | 9802852 | 865 28492 | 0 | 0 906.20/906.53 c 906s | 26 | 13107797 | 9822052 | 865 28535 | 0 | 0 908.19/908.53 c 908s | 26 | 13132217 | 9841252 | 865 28579 | 0 | 0 910.19/910.53 c 910s | 26 | 13154068 | 9859352 | 865 28621 | 0 | 0 912.18/912.54 c 912s | 26 | 13176331 | 9877552 | 865 28662 | 0 | 0 914.19/914.55 c 914s | 26 | 13199049 | 9896152 | 865 28705 | 0 | 0 916.19/916.55 c 916s | 26 | 13222957 | 9914952 | 865 28748 | 0 | 0 918.19/918.56 c 918s | 26 | 13249662 | 9934152 | 865 28791 | 0 | 0 920.18/920.56 c 920s | 26 | 13276558 | 9954052 | 865 28837 | 0 | 0 922.18/922.57 c 922s | 26 | 13301543 | 9972852 | 865 28880 | 0 | 0 924.18/924.58 c 924s | 26 | 13325694 | 9991452 | 865 28922 | 0 | 0 926.18/926.59 c 926s | 26 | 13350521 | 10009952 | 865 28965 | 0 | 0 928.18/928.59 c 928s | 26 | 13375414 | 10029252 | 865 29009 | 0 | 0 930.18/930.60 c 930s | 26 | 13403475 | 10049352 | 865 29055 | 0 | 0 932.28/932.60 c 932s | 26 | 13429783 | 10069052 | 865 29100 | 0 | 0 934.27/934.61 c 934s | 26 | 13455929 | 10089152 | 865 29146 | 0 | 0 936.27/936.61 c 936s | 26 | 13482668 | 10109052 | 865 29191 | 0 | 0 938.27/938.62 c 938s | 26 | 13509325 | 10129252 | 865 29238 | 0 | 0 940.28/940.62 c 940s | 26 | 13534132 | 10148852 | 865 29283 | 0 | 0 942.27/942.64 c 942s | 26 | 13558053 | 10167352 | 865 29325 | 0 | 0 944.27/944.64 c 944s | 26 | 13582566 | 10186252 | 865 29367 | 0 | 0 946.27/946.65 c 946s | 26 | 13606885 | 10204752 | 865 29410 | 0 | 0 948.27/948.66 c 948s | 26 | 13631100 | 10223452 | 865 29452 | 0 | 0 950.26/950.66 c 950s | 26 | 13655422 | 10242052 | 865 29495 | 0 | 0 952.28/952.66 c 952s | 26 | 13680006 | 10260852 | 865 29537 | 0 | 0 954.27/954.67 c 954s | 26 | 13702884 | 10279052 | 865 29579 | 0 | 0 956.27/956.67 c 956s | 26 | 13725542 | 10297052 | 865 29619 | 0 | 0 958.26/958.67 c 958s | 26 | 13749816 | 10315452 | 865 29661 | 0 | 0 960.26/960.68 c 960s | 26 | 13774214 | 10334252 | 865 29704 | 0 | 0 962.27/962.68 c 962s | 26 | 13798730 | 10353452 | 865 29748 | 0 | 0 964.26/964.68 c 964s | 26 | 13824721 | 10373152 | 865 29793 | 0 | 0 966.26/966.69 c 966s | 26 | 13851235 | 10392952 | 865 29838 | 0 | 0 968.26/968.69 c 968s | 26 | 13877644 | 10412452 | 865 29882 | 0 | 0 970.36/970.70 c 970s | 26 | 13903115 | 10431552 | 865 29925 | 0 | 0 972.36/972.71 c 972s | 26 | 13927939 | 10450652 | 865 29969 | 0 | 0 974.36/974.71 c 974s | 26 | 13953892 | 10469952 | 865 30013 | 0 | 0 976.36/976.71 c 976s | 26 | 13980657 | 10489752 | 865 30058 | 0 | 0 978.35/978.72 c 978s | 26 | 14007531 | 10509452 | 865 30103 | 0 | 0 980.35/980.73 c 980s | 26 | 14032804 | 10528552 | 865 30146 | 0 | 0 982.35/982.73 c 982s | 26 | 14059517 | 10548452 | 865 30191 | 0 | 0 984.35/984.74 c 984s | 26 | 14087924 | 10568952 | 865 30238 | 0 | 0 986.36/986.74 c 986s | 26 | 14113554 | 10587852 | 865 30281 | 0 | 0 988.34/988.74 c 988s | 26 | 14139895 | 10607152 | 865 30325 | 0 | 0 990.34/990.75 c 990s | 26 | 14165780 | 10626452 | 865 30369 | 0 | 0 992.34/992.76 c 992s | 26 | 14191010 | 10645752 | 865 30413 | 0 | 0 994.34/994.77 c 994s | 26 | 14218183 | 10665952 | 865 30460 | 0 | 0 996.35/996.77 c 996s | 26 | 14246002 | 10686152 | 865 30505 | 0 | 0 998.34/998.78 c 998s | 26 | 14272956 | 10705852 | 865 30550 | 0 | 0 1000.34/1000.78 c 1000s | 26 | 14299754 | 10725652 | 865 30595 | 0 | 0 1002.34/1002.79 c 1002s | 26 | 14326392 | 10745352 | 865 30640 | 0 | 0 1004.44/1004.80 c 1004s | 26 | 14347686 | 10762852 | 865 30679 | 0 | 0 1006.44/1006.80 c 1006s | 26 | 14373366 | 10781952 | 865 30723 | 0 | 0 1008.44/1008.81 c 1008s | 26 | 14398586 | 10800852 | 865 30766 | 0 | 0 1010.43/1010.82 c 1010s | 26 | 14420513 | 10818552 | 865 30806 | 0 | 0 1012.44/1012.83 c 1012s | 26 | 14444788 | 10837152 | 865 30848 | 0 | 0 1014.44/1014.84 c 1014s | 26 | 14471395 | 10855852 | 865 30891 | 0 | 0 1016.44/1016.84 c 1016s | 26 | 14494989 | 10874452 | 865 30933 | 0 | 0 1018.43/1018.84 c 1018s | 26 | 14519765 | 10893652 | 865 30977 | 0 | 0 1020.44/1020.84 c 1020s | 26 | 14544724 | 10912552 | 865 31020 | 0 | 0 1022.43/1022.85 c 1022s | 26 | 14567670 | 10930552 | 865 31061 | 0 | 0 1024.43/1024.85 c 1024s | 26 | 14590886 | 10948252 | 865 31101 | 0 | 0 1026.43/1026.86 c 1026s | 26 | 14615032 | 10966552 | 865 31143 | 0 | 0 1028.43/1028.87 c 1028s | 26 | 14635420 | 10983352 | 865 31181 | 0 | 0 1030.44/1030.88 c 1030s | 26 | 14655672 | 10999852 | 865 31218 | 0 | 0 1032.43/1032.89 c 1032s | 26 | 14676789 | 11017152 | 865 31257 | 0 | 0 1034.53/1034.90 c 1034s | 26 | 14698184 | 11034752 | 865 31298 | 0 | 0 1036.53/1036.90 c 1036s | 26 | 14720993 | 11052452 | 865 31338 | 0 | 0 1038.52/1038.91 c 1038s | 26 | 14744217 | 11070852 | 865 31380 | 0 | 0 1040.52/1040.91 c 1040s | 26 | 14767489 | 11089052 | 865 31421 | 0 | 0 1042.53/1042.92 c 1042s | 26 | 14791177 | 11107352 | 865 31462 | 0 | 0 1044.52/1044.92 c 1044s | 26 | 14814288 | 11125452 | 865 31503 | 0 | 0 1046.52/1046.92 c 1046s | 26 | 14838345 | 11144152 | 865 31546 | 0 | 0 1048.52/1048.93 c 1048s | 26 | 14861914 | 11162952 | 865 31589 | 0 | 0 1050.52/1050.94 c 1050s | 26 | 14883511 | 11180852 | 865 31630 | 0 | 0 1052.52/1052.94 c 1052s | 26 | 14905899 | 11199052 | 865 31671 | 0 | 0 1054.52/1054.95 c 1054s | 26 | 14932429 | 11218752 | 865 31716 | 0 | 0 1056.51/1056.95 c 1056s | 26 | 14956784 | 11237652 | 865 31759 | 0 | 0 1058.51/1058.96 c 1058s | 26 | 14980831 | 11256452 | 865 31802 | 0 | 0 1060.51/1060.96 c 1060s | 26 | 15003738 | 11274552 | 865 31843 | 0 | 0 1062.51/1062.97 c 1062s | 26 | 15028007 | 11293452 | 865 31886 | 0 | 0 1064.51/1064.97 c 1064s | 26 | 15052770 | 11312552 | 865 31930 | 0 | 0 1066.50/1066.97 c 1066s | 26 | 15075625 | 11330352 | 952 31967 | 0 | 0 1068.50/1068.98 c 1068s | 26 | 15099497 | 11348552 | 952 32005 | 0 | 0 1070.50/1070.99 c 1070s | 26 | 15123036 | 11366652 | 952 32043 | 0 | 0 1072.61/1073.00 c 1072s | 26 | 15147734 | 11385252 | 952 32081 | 0 | 0 1073.81/1074.23 c 1074s | 27 | 15162585 | 11396733 | 952 32105 | 0 | 0 1075.80/1076.24 c 1076s | 27 | 15188252 | 11415433 | 952 32143 | 0 | 0 1077.80/1078.24 c 1078s | 27 | 15214563 | 11434633 | 952 32183 | 0 | 0 1079.80/1080.25 c 1080s | 27 | 15239571 | 11453233 | 952 32221 | 0 | 0 1081.80/1082.25 c 1082s | 27 | 15262075 | 11471033 | 952 32258 | 0 | 0 1083.80/1084.26 c 1084s | 27 | 15282785 | 11488133 | 952 32294 | 0 | 0 1085.80/1086.26 c 1086s | 27 | 15305759 | 11506333 | 952 32331 | 0 | 0 1087.79/1088.27 c 1088s | 27 | 15329525 | 11525033 | 952 32370 | 0 | 0 1089.80/1090.28 c 1090s | 27 | 15354558 | 11543733 | 952 32409 | 0 | 0 1091.79/1092.29 c 1092s | 27 | 15380655 | 11562833 | 952 32448 | 0 | 0 1093.79/1094.29 c 1094s | 27 | 15404935 | 11581533 | 952 32487 | 0 | 0 1095.89/1096.30 c 1096s | 27 | 15430644 | 11600333 | 952 32526 | 0 | 0 1097.88/1098.31 c 1098s | 27 | 15456153 | 11618633 | 952 32563 | 0 | 0 1099.88/1100.31 c 1100s | 27 | 15481868 | 11637133 | 952 32601 | 0 | 0 1101.89/1102.32 c 1102s | 27 | 15505885 | 11655133 | 952 32639 | 0 | 0 1103.88/1104.32 c 1104s | 27 | 15530616 | 11674033 | 952 32677 | 0 | 0 1105.88/1106.32 c 1106s | 27 | 15556714 | 11692933 | 952 32716 | 0 | 0 1107.88/1108.33 c 1108s | 27 | 15579577 | 11710733 | 952 32753 | 0 | 0 1109.88/1110.33 c 1110s | 27 | 15604642 | 11729633 | 952 32792 | 0 | 0 1111.88/1112.33 c 1112s | 27 | 15629530 | 11748133 | 952 32830 | 0 | 0 1113.88/1114.33 c 1114s | 27 | 15655334 | 11766733 | 952 32868 | 0 | 0 1115.87/1116.33 c 1116s | 27 | 15677816 | 11784433 | 952 32905 | 0 | 0 1117.87/1118.34 c 1118s | 27 | 15701385 | 11802233 | 952 32942 | 0 | 0 1119.87/1120.35 c 1120s | 27 | 15727732 | 11821433 | 952 32981 | 0 | 0 1121.87/1122.35 c 1122s | 27 | 15752409 | 11839933 | 952 33020 | 0 | 0 1123.89/1124.36 c 1124s | 27 | 15778313 | 11858733 | 952 33058 | 0 | 0 1125.88/1126.37 c 1126s | 27 | 15803947 | 11877733 | 952 33098 | 0 | 0 1127.88/1128.38 c 1128s | 27 | 15827644 | 11895833 | 952 33135 | 0 | 0 1129.88/1130.38 c 1130s | 27 | 15851143 | 11913533 | 952 33172 | 0 | 0 1131.88/1132.38 c 1132s | 27 | 15876073 | 11932033 | 952 33210 | 0 | 0 1133.88/1134.39 c 1134s | 27 | 15901655 | 11950933 | 952 33249 | 0 | 0 1135.88/1136.40 c 1136s | 27 | 15927108 | 11969733 | 952 33289 | 0 | 0 1137.98/1138.40 c 1138s | 27 | 15955660 | 11989533 | 952 33329 | 0 | 0 1139.98/1140.40 c 1140s | 27 | 15984375 | 12009933 | 952 33372 | 0 | 0 1141.98/1142.41 c 1142s | 27 | 16012249 | 12030033 | 952 33414 | 0 | 0 1143.97/1144.41 c 1144s | 27 | 16041977 | 12050933 | 952 33457 | 0 | 0 1145.97/1146.42 c 1146s | 27 | 16071527 | 12071733 | 952 33500 | 0 | 0 1147.98/1148.43 c 1148s | 27 | 16098908 | 12091833 | 952 33542 | 0 | 0 1149.97/1150.44 c 1150s | 27 | 16125992 | 12111933 | 952 33583 | 0 | 0 1151.97/1152.44 c 1152s | 27 | 16157200 | 12132533 | 952 33626 | 0 | 0 1153.97/1154.44 c 1154s | 27 | 16190050 | 12153633 | 952 33670 | 0 | 0 1155.97/1156.45 c 1156s | 27 | 16222312 | 12174633 | 952 33714 | 0 | 0 1157.98/1158.46 c 1158s | 27 | 16250484 | 12194633 | 952 33755 | 0 | 0 1159.97/1160.46 c 1160s | 27 | 16279481 | 12215033 | 952 33797 | 0 | 0 1161.97/1162.47 c 1162s | 27 | 16306020 | 12234833 | 952 33838 | 0 | 0 1163.97/1164.47 c 1164s | 27 | 16333113 | 12254533 | 952 33879 | 0 | 0 1165.97/1166.48 c 1166s | 27 | 16361219 | 12274433 | 952 33920 | 0 | 0 1167.97/1168.48 c 1168s | 27 | 16388205 | 12293933 | 952 33960 | 0 | 0 1169.97/1170.48 c 1170s | 27 | 16414778 | 12313433 | 952 34000 | 0 | 0 1171.97/1172.49 c 1172s | 27 | 16443541 | 12333833 | 952 34042 | 0 | 0 1173.97/1174.49 c 1174s | 27 | 16472476 | 12354033 | 952 34084 | 0 | 0 1176.07/1176.50 c 1176s | 27 | 16499936 | 12373833 | 952 34125 | 0 | 0 1178.07/1178.51 c 1178s | 27 | 16524265 | 12392533 | 952 34164 | 0 | 0 1180.07/1180.51 c 1180s | 27 | 16551227 | 12411833 | 952 34203 | 0 | 0 1182.08/1182.52 c 1182s | 27 | 16576020 | 12430833 | 952 34243 | 0 | 0 1184.07/1184.53 c 1184s | 27 | 16600031 | 12449133 | 952 34281 | 0 | 0 1186.07/1186.54 c 1186s | 27 | 16624917 | 12467733 | 952 34319 | 0 | 0 1188.07/1188.55 c 1188s | 27 | 16647884 | 12485533 | 952 34356 | 0 | 0 1190.07/1190.55 c 1190s | 27 | 16671312 | 12503533 | 952 34393 | 0 | 0 1192.08/1192.55 c 1192s | 27 | 16694805 | 12521633 | 952 34430 | 0 | 0 1194.07/1194.55 c 1194s | 27 | 16718356 | 12539533 | 952 34467 | 0 | 0 1196.07/1196.56 c 1196s | 27 | 16743951 | 12558833 | 952 34508 | 0 | 0 1198.07/1198.56 c 1198s | 27 | 16769062 | 12577533 | 952 34546 | 0 | 0 1200.07/1200.57 c 1200s | 27 | 16794274 | 12596333 | 952 34585 | 0 | 0 1202.07/1202.57 c 1202s | 27 | 16816133 | 12614033 | 952 34622 | 0 | 0 1204.08/1204.58 c 1204s | 27 | 16840165 | 12632133 | 952 34660 | 0 | 0 1206.07/1206.59 c 1206s | 27 | 16863586 | 12650333 | 952 34697 | 0 | 0 1208.17/1208.60 c 1208s | 27 | 16886658 | 12668333 | 952 34734 | 0 | 0 1210.17/1210.60 c 1210s | 27 | 16910962 | 12687233 | 952 34774 | 0 | 0 1212.17/1212.60 c 1212s | 27 | 16936039 | 12706133 | 952 34813 | 0 | 0 1214.16/1214.60 c 1214s | 27 | 16961425 | 12724933 | 952 34851 | 0 | 0 1216.17/1216.61 c 1216s | 27 | 16987289 | 12743633 | 952 34890 | 0 | 0 1218.16/1218.62 c 1218s | 27 | 17011669 | 12762233 | 952 34929 | 0 | 0 1220.16/1220.63 c 1220s | 27 | 17035372 | 12780333 | 952 34966 | 0 | 0 1222.16/1222.64 c 1222s | 27 | 17062003 | 12799333 | 952 35005 | 0 | 0 1224.16/1224.64 c 1224s | 27 | 17085640 | 12817533 | 952 35043 | 0 | 0 1226.16/1226.65 c 1226s | 27 | 17109820 | 12836033 | 952 35081 | 0 | 0 1228.16/1228.65 c 1228s | 27 | 17134463 | 12855133 | 952 35121 | 0 | 0 1230.16/1230.66 c 1230s | 27 | 17164089 | 12875733 | 952 35163 | 0 | 0 1232.16/1232.67 c 1232s | 27 | 17193464 | 12895933 | 952 35205 | 0 | 0 1234.16/1234.68 c 1234s | 27 | 17216282 | 12913733 | 952 35242 | 0 | 0 1236.16/1236.69 c 1236s | 27 | 17241404 | 12932233 | 952 35281 | 0 | 0 1238.16/1238.69 c 1238s | 27 | 17266554 | 12950633 | 952 35319 | 0 | 0 1240.26/1240.70 c 1240s | 27 | 17289543 | 12968333 | 952 35355 | 0 | 0 1242.26/1242.70 c 1242s | 27 | 17314244 | 12986833 | 952 35394 | 0 | 0 1244.26/1244.70 c 1244s | 27 | 17338489 | 13004933 | 952 35431 | 0 | 0 1246.25/1246.71 c 1246s | 27 | 17356613 | 13020433 | 952 35463 | 0 | 0 1248.26/1248.72 c 1248s | 27 | 17379801 | 13038133 | 952 35500 | 0 | 0 1250.26/1250.73 c 1250s | 27 | 17404928 | 13057133 | 952 35539 | 0 | 0 1252.25/1252.73 c 1252s | 27 | 17427737 | 13074633 | 952 35575 | 0 | 0 1254.26/1254.74 c 1254s | 27 | 17454655 | 13094133 | 952 35616 | 0 | 0 1256.26/1256.74 c 1256s | 27 | 17481351 | 13113233 | 952 35655 | 0 | 0 1258.26/1258.74 c 1258s | 27 | 17507796 | 13132533 | 952 35695 | 0 | 0 1260.27/1260.75 c 1260s | 27 | 17529559 | 13149533 | 952 35730 | 0 | 0 1262.26/1262.76 c 1262s | 27 | 17552898 | 13166933 | 952 35767 | 0 | 0 1264.26/1264.76 c 1264s | 27 | 17572627 | 13183033 | 952 35800 | 0 | 0 1266.26/1266.76 c 1266s | 27 | 17591551 | 13198733 | 952 35832 | 0 | 0 1268.26/1268.77 c 1268s | 27 | 17612685 | 13215733 | 952 35868 | 0 | 0 1270.26/1270.78 c 1270s | 27 | 17638936 | 13235033 | 952 35907 | 0 | 0 1272.26/1272.78 c 1272s | 27 | 17668100 | 13255233 | 952 35949 | 0 | 0 1274.26/1274.79 c 1274s | 27 | 17694284 | 13274833 | 952 35990 | 0 | 0 1276.26/1276.79 c 1276s | 27 | 17720530 | 13294033 | 952 36030 | 0 | 0 1278.25/1278.79 c 1278s | 27 | 17744746 | 13312433 | 952 36068 | 0 | 0 1280.25/1280.79 c 1280s | 27 | 17770261 | 13331533 | 952 36108 | 0 | 0 1282.26/1282.79 c 1282s | 27 | 17797612 | 13351233 | 952 36149 | 0 | 0 1284.25/1284.79 c 1284s | 27 | 17823168 | 13370333 | 952 36188 | 0 | 0 1286.25/1286.79 c 1286s | 27 | 17847373 | 13388833 | 952 36227 | 0 | 0 1288.25/1288.80 c 1288s | 27 | 17874224 | 13408033 | 952 36267 | 0 | 0 1290.35/1290.80 c 1290s | 27 | 17900672 | 13426833 | 952 36306 | 0 | 0 1292.35/1292.81 c 1292s | 27 | 17925542 | 13445033 | 952 36343 | 0 | 0 1294.36/1294.82 c 1294s | 27 | 17949257 | 13463133 | 952 36381 | 0 | 0 1296.35/1296.82 c 1296s | 27 | 17972330 | 13480933 | 952 36418 | 0 | 0 1298.35/1298.82 c 1298s | 27 | 17996320 | 13499033 | 952 36455 | 0 | 0 1300.35/1300.83 c 1300s | 27 | 18021365 | 13517633 | 952 36494 | 0 | 0 1302.35/1302.83 c 1302s | 27 | 18046900 | 13536633 | 952 36534 | 0 | 0 1304.35/1304.84 c 1304s | 27 | 18070757 | 13554933 | 952 36572 | 0 | 0 1306.36/1306.85 c 1306s | 27 | 18096283 | 13573733 | 952 36611 | 0 | 0 1308.35/1308.85 c 1308s | 27 | 18122917 | 13593233 | 952 36651 | 0 | 0 1310.35/1310.86 c 1310s | 27 | 18149272 | 13612433 | 952 36691 | 0 | 0 1312.35/1312.86 c 1312s | 27 | 18175993 | 13632133 | 952 36732 | 0 | 0 1314.35/1314.87 c 1314s | 27 | 18203465 | 13651933 | 952 36773 | 0 | 0 1316.35/1316.87 c 1316s | 27 | 18230104 | 13671633 | 952 36814 | 0 | 0 1318.35/1318.88 c 1318s | 27 | 18257333 | 13691233 | 952 36855 | 0 | 0 1320.35/1320.88 c 1320s | 27 | 18282507 | 13710133 | 952 36894 | 0 | 0 1322.35/1322.89 c 1322s | 27 | 18303741 | 13727433 | 952 36930 | 0 | 0 1324.34/1324.89 c 1324s | 27 | 18328539 | 13746333 | 952 36969 | 0 | 0 1326.44/1326.90 c 1326s | 27 | 18353419 | 13764733 | 952 37007 | 0 | 0 1328.35/1328.90 c 1328s | 27 | 18379129 | 13783633 | 952 37046 | 0 | 0 1330.44/1330.90 c 1330s | 27 | 18405794 | 13802533 | 952 37085 | 0 | 0 1332.44/1332.91 c 1332s | 27 | 18429824 | 13821133 | 952 37123 | 0 | 0 1334.44/1334.92 c 1334s | 27 | 18451902 | 13838633 | 952 37159 | 0 | 0 1336.44/1336.93 c 1336s | 27 | 18475106 | 13856433 | 952 37196 | 0 | 0 1338.44/1338.93 c 1338s | 27 | 18500500 | 13875133 | 952 37234 | 0 | 0 1340.45/1340.93 c 1340s | 27 | 18524533 | 13893133 | 952 37272 | 0 | 0 1342.44/1342.95 c 1342s | 27 | 18548792 | 13911733 | 952 37310 | 0 | 0 1344.44/1344.95 c 1344s | 27 | 18573381 | 13930733 | 952 37349 | 0 | 0 1346.45/1346.95 c 1346s | 27 | 18600277 | 13950033 | 952 37389 | 0 | 0 1348.45/1348.95 c 1348s | 27 | 18624476 | 13968733 | 952 37428 | 0 | 0 1350.45/1350.96 c 1350s | 27 | 18649007 | 13986833 | 952 37466 | 0 | 0 1352.45/1352.96 c 1352s | 27 | 18674630 | 14005133 | 952 37503 | 0 | 0 1354.44/1354.97 c 1354s | 27 | 18699615 | 14023833 | 952 37542 | 0 | 0 1356.44/1356.97 c 1356s | 27 | 18724016 | 14042033 | 952 37580 | 0 | 0 1358.44/1358.98 c 1358s | 27 | 18749077 | 14060933 | 952 37619 | 0 | 0 1360.44/1360.99 c 1360s | 27 | 18775395 | 14079633 | 952 37658 | 0 | 0 1362.45/1362.99 c 1362s | 27 | 18799633 | 14098133 | 952 37696 | 0 | 0 1364.54/1365.00 c 1364s | 27 | 18825299 | 14117033 | 952 37735 | 0 | 0 1366.54/1367.00 c 1366s | 27 | 18851033 | 14136133 | 952 37774 | 0 | 0 1368.54/1369.01 c 1368s | 27 | 18876678 | 14155133 | 952 37814 | 0 | 0 1370.54/1371.01 c 1370s | 27 | 18900986 | 14173833 | 952 37852 | 0 | 0 1372.54/1373.02 c 1372s | 27 | 18927008 | 14192833 | 952 37892 | 0 | 0 1374.54/1375.02 c 1375s | 27 | 18951338 | 14211233 | 952 37929 | 0 | 0 1376.53/1377.02 c 1377s | 27 | 18974234 | 14229333 | 952 37967 | 0 | 0 1378.53/1379.03 c 1379s | 27 | 18996683 | 14247533 | 952 38004 | 0 | 0 1380.53/1381.03 c 1381s | 27 | 19020205 | 14265633 | 952 38042 | 0 | 0 1382.53/1383.04 c 1383s | 27 | 19044158 | 14283733 | 952 38079 | 0 | 0 1384.55/1385.04 c 1385s | 27 | 19068745 | 14302333 | 952 38117 | 0 | 0 1386.54/1387.05 c 1387s | 27 | 19094436 | 14321633 | 952 38157 | 0 | 0 1388.54/1389.05 c 1389s | 27 | 19118765 | 14340433 | 952 38196 | 0 | 0 1390.54/1391.06 c 1391s | 27 | 19143767 | 14359133 | 952 38235 | 0 | 0 1392.54/1393.06 c 1393s | 27 | 19168060 | 14377533 | 952 38273 | 0 | 0 1394.54/1395.06 c 1395s | 27 | 19192897 | 14396033 | 952 38311 | 0 | 0 1396.54/1397.07 c 1397s | 27 | 19215424 | 14413333 | 952 38347 | 0 | 0 1398.54/1399.08 c 1399s | 27 | 19239210 | 14431133 | 952 38384 | 0 | 0 1400.54/1401.08 c 1401s | 27 | 19262525 | 14449133 | 952 38421 | 0 | 0 1402.54/1403.09 c 1403s | 27 | 19285267 | 14466733 | 952 38457 | 0 | 0 1404.64/1405.10 c 1405s | 27 | 19308921 | 14484533 | 952 38494 | 0 | 0 1406.64/1407.11 c 1407s | 27 | 19330612 | 14501733 | 952 38529 | 0 | 0 1408.64/1409.12 c 1409s | 27 | 19355863 | 14520033 | 952 38567 | 0 | 0 1410.63/1411.13 c 1411s | 27 | 19381443 | 14538333 | 952 38605 | 0 | 0 1412.63/1413.13 c 1413s | 27 | 19402839 | 14555333 | 952 38640 | 0 | 0 1414.63/1415.15 c 1415s | 27 | 19425797 | 14572833 | 952 38677 | 0 | 0 1416.63/1417.15 c 1417s | 27 | 19447222 | 14589833 | 952 38712 | 0 | 0 1418.63/1419.16 c 1419s | 27 | 19469735 | 14607433 | 952 38748 | 0 | 0 1420.63/1421.17 c 1421s | 27 | 19491533 | 14624333 | 952 38783 | 0 | 0 1422.64/1423.17 c 1423s | 27 | 19514989 | 14642533 | 952 38821 | 0 | 0 1424.63/1425.18 c 1425s | 27 | 19536344 | 14659733 | 952 38857 | 0 | 0 1426.63/1427.19 c 1427s | 27 | 19556631 | 14676233 | 952 38891 | 0 | 0 1428.63/1429.19 c 1429s | 27 | 19579175 | 14693833 | 952 38927 | 0 | 0 1430.64/1431.19 c 1431s | 27 | 19602561 | 14711733 | 952 38965 | 0 | 0 1432.73/1433.20 c 1433s | 27 | 19624044 | 14729233 | 952 39001 | 0 | 0 1434.73/1435.21 c 1435s | 27 | 19645322 | 14746233 | 952 39036 | 0 | 0 1436.73/1437.21 c 1437s | 27 | 19667771 | 14763733 | 952 39073 | 0 | 0 1438.73/1439.22 c 1439s | 27 | 19688237 | 14780733 | 952 39108 | 0 | 0 1440.72/1441.22 c 1441s | 27 | 19708200 | 14797133 | 952 39142 | 0 | 0 1442.73/1443.23 c 1443s | 27 | 19729684 | 14814633 | 952 39179 | 0 | 0 1444.72/1445.24 c 1445s | 27 | 19751595 | 14831833 | 952 39214 | 0 | 0 1446.72/1447.25 c 1447s | 27 | 19774780 | 14849533 | 952 39251 | 0 | 0 1448.72/1449.26 c 1449s | 27 | 19799770 | 14868133 | 952 39290 | 0 | 0 1450.72/1451.27 c 1451s | 27 | 19820316 | 14884633 | 952 39324 | 0 | 0 1452.73/1453.28 c 1453s | 27 | 19843318 | 14901633 | 952 39359 | 0 | 0 1454.72/1455.28 c 1455s | 27 | 19864667 | 14918733 | 952 39395 | 0 | 0 1456.73/1457.29 c 1457s | 27 | 19885775 | 14935533 | 952 39429 | 0 | 0 1458.83/1459.30 c 1459s | 27 | 19909144 | 14953233 | 952 39466 | 0 | 0 1460.83/1461.30 c 1461s | 27 | 19931392 | 14970433 | 952 39501 | 0 | 0 1462.82/1463.30 c 1463s | 27 | 19951599 | 14986833 | 952 39535 | 0 | 0 1464.83/1465.31 c 1465s | 27 | 19972244 | 15003533 | 952 39570 | 0 | 0 1466.82/1467.32 c 1467s | 27 | 19992231 | 15019833 | 952 39603 | 0 | 0 1468.82/1469.34 c 1469s | 27 | 20011261 | 15035833 | 952 39636 | 0 | 0 1470.82/1471.34 c 1471s | 27 | 20031939 | 15052333 | 952 39670 | 0 | 0 1472.82/1473.35 c 1473s | 27 | 20056808 | 15070933 | 952 39709 | 0 | 0 1474.82/1475.36 c 1475s | 27 | 20080514 | 15089133 | 952 39746 | 0 | 0 1476.83/1477.36 c 1477s | 27 | 20105095 | 15107333 | 952 39784 | 0 | 0 1478.82/1479.37 c 1479s | 27 | 20128052 | 15124933 | 952 39820 | 0 | 0 1480.82/1481.37 c 1481s | 27 | 20151988 | 15143233 | 952 39858 | 0 | 0 1482.82/1483.37 c 1483s | 27 | 20175853 | 15161633 | 952 39896 | 0 | 0 1484.82/1485.38 c 1485s | 27 | 20198133 | 15178833 | 952 39932 | 0 | 0 1486.83/1487.39 c 1487s | 27 | 20219262 | 15195733 | 952 39967 | 0 | 0 1488.82/1489.39 c 1489s | 27 | 20240452 | 15212533 | 952 40001 | 0 | 0 1490.92/1491.40 c 1491s | 27 | 20261848 | 15229233 | 952 40036 | 0 | 0 1492.92/1493.41 c 1493s | 27 | 20282847 | 15246233 | 952 40071 | 0 | 0 1494.92/1495.42 c 1495s | 27 | 20303850 | 15263333 | 952 40107 | 0 | 0 1496.92/1497.43 c 1497s | 27 | 20328001 | 15282133 | 952 40145 | 0 | 0 1498.92/1499.44 c 1499s | 27 | 20353488 | 15301533 | 952 40185 | 0 | 0 1500.92/1501.45 c 1501s | 27 | 20375939 | 15319333 | 952 40222 | 0 | 0 1502.92/1503.46 c 1503s | 27 | 20398753 | 15337333 | 952 40259 | 0 | 0 1504.92/1505.47 c 1505s | 27 | 20421321 | 15354733 | 952 40295 | 0 | 0 1506.92/1507.47 c 1507s | 27 | 20445274 | 15372933 | 952 40333 | 0 | 0 1508.91/1509.48 c 1509s | 27 | 20466807 | 15390233 | 952 40369 | 0 | 0 1510.92/1511.49 c 1511s | 27 | 20488316 | 15407633 | 952 40404 | 0 | 0 1512.91/1513.49 c 1513s | 27 | 20511072 | 15425633 | 952 40442 | 0 | 0 1514.91/1515.49 c 1515s | 27 | 20536626 | 15444433 | 952 40481 | 0 | 0 1517.01/1517.50 c 1517s | 27 | 20559716 | 15462133 | 952 40518 | 0 | 0 1519.01/1519.51 c 1519s | 27 | 20583218 | 15480633 | 952 40556 | 0 | 0 1521.01/1521.52 c 1521s | 27 | 20608543 | 15500133 | 952 40596 | 0 | 0 1523.03/1523.52 c 1523s | 27 | 20633475 | 15518733 | 952 40635 | 0 | 0 1525.02/1525.53 c 1525s | 27 | 20657290 | 15536533 | 952 40671 | 0 | 0 1527.02/1527.53 c 1527s | 27 | 20678896 | 15553733 | 952 40707 | 0 | 0 1529.02/1529.55 c 1529s | 27 | 20701787 | 15571733 | 952 40744 | 0 | 0 1531.02/1531.56 c 1531s | 27 | 20726064 | 15590033 | 952 40783 | 0 | 0 1533.02/1533.57 c 1533s | 27 | 20746892 | 15606833 | 952 40817 | 0 | 0 1535.01/1535.58 c 1535s | 27 | 20767792 | 15624033 | 952 40853 | 0 | 0 1537.01/1537.59 c 1537s | 27 | 20789872 | 15641433 | 952 40889 | 0 | 0 1539.11/1539.60 c 1539s | 27 | 20808184 | 15656933 | 952 40922 | 0 | 0 1541.10/1541.61 c 1541s | 27 | 20825591 | 15671833 | 952 40952 | 0 | 0 1543.10/1543.62 c 1543s | 27 | 20846988 | 15689133 | 952 40988 | 0 | 0 1545.11/1545.62 c 1545s | 27 | 20868776 | 15706133 | 952 41023 | 0 | 0 1547.10/1547.63 c 1547s | 27 | 20891884 | 15723733 | 952 41060 | 0 | 0 1549.10/1549.64 c 1549s | 27 | 20917257 | 15742533 | 952 41099 | 0 | 0 1551.10/1551.64 c 1551s | 27 | 20942628 | 15761333 | 952 41138 | 0 | 0 1553.10/1553.64 c 1553s | 27 | 20966633 | 15779733 | 952 41176 | 0 | 0 1555.10/1555.65 c 1555s | 27 | 20991225 | 15798233 | 952 41214 | 0 | 0 1557.10/1557.65 c 1557s | 27 | 21013853 | 15816333 | 952 41252 | 0 | 0 1559.11/1559.66 c 1559s | 27 | 21036433 | 15834333 | 952 41289 | 0 | 0 1561.11/1561.67 c 1561s | 27 | 21060131 | 15852433 | 952 41327 | 0 | 0 1563.10/1563.67 c 1563s | 27 | 21083902 | 15870333 | 952 41364 | 0 | 0 1565.10/1565.68 c 1565s | 27 | 21106811 | 15888133 | 952 41401 | 0 | 0 1567.11/1567.69 c 1567s | 27 | 21129562 | 15906133 | 952 41438 | 0 | 0 1569.21/1569.70 c 1569s | 27 | 21151518 | 15923733 | 952 41475 | 0 | 0 1571.20/1571.72 c 1571s | 27 | 21174979 | 15942033 | 952 41513 | 0 | 0 1573.20/1573.72 c 1573s | 27 | 21195901 | 15959133 | 952 41548 | 0 | 0 1575.20/1575.72 c 1575s | 27 | 21218888 | 15977233 | 952 41586 | 0 | 0 1577.20/1577.73 c 1577s | 27 | 21238452 | 15993533 | 952 41620 | 0 | 0 1579.21/1579.73 c 1579s | 27 | 21261540 | 16011233 | 952 41657 | 0 | 0 1581.20/1581.74 c 1581s | 27 | 21284714 | 16029533 | 952 41695 | 0 | 0 1583.20/1583.74 c 1583s | 27 | 21307237 | 16047633 | 952 41732 | 0 | 0 1585.20/1585.74 c 1585s | 27 | 21329220 | 16065033 | 952 41768 | 0 | 0 1587.20/1587.75 c 1587s | 27 | 21354785 | 16083633 | 952 41807 | 0 | 0 1589.20/1589.76 c 1589s | 27 | 21378531 | 16101533 | 952 41844 | 0 | 0 1591.20/1591.76 c 1591s | 27 | 21404293 | 16120933 | 952 41884 | 0 | 0 1593.19/1593.76 c 1593s | 27 | 21433086 | 16141133 | 952 41926 | 0 | 0 1595.20/1595.77 c 1595s | 27 | 21455273 | 16159133 | 952 41964 | 0 | 0 1597.19/1597.78 c 1597s | 27 | 21480077 | 16177933 | 952 42003 | 0 | 0 1599.19/1599.78 c 1599s | 27 | 21503338 | 16196333 | 952 42041 | 0 | 0 1601.20/1601.78 c 1601s | 27 | 21526860 | 16214633 | 952 42080 | 0 | 0 1603.19/1603.79 c 1603s | 27 | 21549287 | 16232433 | 952 42117 | 0 | 0 1605.19/1605.79 c 1605s | 27 | 21572126 | 16250033 | 952 42153 | 0 | 0 1607.19/1607.79 c 1607s | 27 | 21594257 | 16267633 | 952 42190 | 0 | 0 1609.29/1609.80 c 1609s | 27 | 21617373 | 16285033 | 952 42226 | 0 | 0 1611.29/1611.80 c 1611s | 27 | 21638136 | 16301933 | 952 42261 | 0 | 0 1613.30/1613.81 c 1613s | 27 | 21659587 | 16318833 | 952 42296 | 0 | 0 1615.29/1615.82 c 1615s | 27 | 21680056 | 16335533 | 952 42331 | 0 | 0 1617.29/1617.82 c 1617s | 27 | 21702100 | 16353033 | 952 42368 | 0 | 0 1619.29/1619.83 c 1619s | 27 | 21723050 | 16370333 | 952 42404 | 0 | 0 1621.29/1621.83 c 1621s | 27 | 21744349 | 16387833 | 952 42440 | 0 | 0 1623.29/1623.83 c 1623s | 27 | 21765419 | 16405233 | 952 42477 | 0 | 0 1625.30/1625.84 c 1625s | 27 | 21788104 | 16423133 | 952 42514 | 0 | 0 1627.29/1627.85 c 1627s | 27 | 21812613 | 16441733 | 952 42553 | 0 | 0 1629.29/1629.85 c 1629s | 27 | 21836125 | 16460333 | 952 42591 | 0 | 0 1631.29/1631.85 c 1631s | 27 | 21860264 | 16478933 | 952 42630 | 0 | 0 1633.29/1633.85 c 1633s | 27 | 21884632 | 16497733 | 952 42669 | 0 | 0 1635.30/1635.86 c 1635s | 27 | 21907685 | 16515733 | 952 42706 | 0 | 0 1637.29/1637.86 c 1637s | 27 | 21930549 | 16533533 | 952 42743 | 0 | 0 1639.29/1639.86 c 1639s | 27 | 21951510 | 16550533 | 952 42778 | 0 | 0 1641.29/1641.87 c 1641s | 27 | 21973604 | 16568033 | 952 42815 | 0 | 0 1643.29/1643.87 c 1643s | 27 | 21997439 | 16586633 | 952 42854 | 0 | 0 1645.29/1645.87 c 1645s | 27 | 22021613 | 16605333 | 952 42892 | 0 | 0 1647.29/1647.88 c 1647s | 27 | 22043880 | 16623233 | 952 42930 | 0 | 0 1649.29/1649.88 c 1649s | 27 | 22068208 | 16641933 | 952 42968 | 0 | 0 1651.29/1651.88 c 1651s | 27 | 22089312 | 16659133 | 952 43004 | 0 | 0 1653.28/1653.89 c 1653s | 27 | 22110671 | 16676333 | 952 43040 | 0 | 0 1655.28/1655.89 c 1655s | 27 | 22135192 | 16695233 | 952 43079 | 0 | 0 1657.38/1657.90 c 1657s | 27 | 22159734 | 16713633 | 952 43117 | 0 | 0 1659.39/1659.90 c 1659s | 27 | 22182634 | 16731433 | 952 43154 | 0 | 0 1661.38/1661.91 c 1661s | 27 | 22206673 | 16749633 | 952 43192 | 0 | 0 1663.38/1663.92 c 1663s | 27 | 22228852 | 16767233 | 952 43228 | 0 | 0 1665.38/1665.92 c 1665s | 27 | 22252321 | 16785033 | 952 43265 | 0 | 0 1667.38/1667.93 c 1667s | 27 | 22276411 | 16803033 | 952 43302 | 0 | 0 1669.39/1669.93 c 1669s | 27 | 22298154 | 16819933 | 952 43337 | 0 | 0 1671.39/1671.94 c 1671s | 27 | 22319894 | 16837233 | 952 43373 | 0 | 0 1673.39/1673.95 c 1673s | 27 | 22340862 | 16854333 | 952 43409 | 0 | 0 1675.39/1675.95 c 1675s | 27 | 22362817 | 16872233 | 952 43446 | 0 | 0 1677.39/1677.95 c 1677s | 27 | 22388470 | 16891333 | 952 43486 | 0 | 0 1679.39/1679.95 c 1679s | 27 | 22412252 | 16909833 | 952 43524 | 0 | 0 1681.39/1681.95 c 1681s | 27 | 22434514 | 16927633 | 952 43561 | 0 | 0 1683.39/1683.95 c 1683s | 27 | 22459513 | 16946433 | 952 43600 | 0 | 0 1685.38/1685.96 c 1685s | 27 | 22482869 | 16964433 | 952 43638 | 0 | 0 1687.38/1687.96 c 1687s | 27 | 22506182 | 16982233 | 1048 43673 | 0 | 0 1689.38/1689.96 c 1689s | 27 | 22527759 | 16999533 | 1048 43705 | 0 | 0 1691.39/1691.97 c 1691s | 27 | 22554385 | 17018333 | 1048 43741 | 0 | 0 1693.38/1693.98 c 1693s | 27 | 22580578 | 17037333 | 1048 43777 | 0 | 0 1695.38/1695.98 c 1695s | 27 | 22603574 | 17055733 | 1048 43812 | 0 | 0 1697.38/1697.98 c 1697s | 27 | 22627682 | 17074333 | 1048 43847 | 0 | 0 1699.38/1699.99 c 1699s | 27 | 22652310 | 17093133 | 1048 43883 | 0 | 0 1699.68/1700.22 c 1700s | 28 | 22654825 | 17095205 | 1048 43887 | 0 | 0 1701.68/1702.22 c 1702s | 28 | 22676275 | 17112305 | 1048 43919 | 0 | 0 1703.68/1704.23 c 1704s | 28 | 22695500 | 17128705 | 1048 43949 | 0 | 0 1705.68/1706.24 c 1706s | 28 | 22716042 | 17145705 | 1048 43981 | 0 | 0 1707.67/1708.24 c 1708s | 28 | 22738167 | 17163105 | 1048 44014 | 0 | 0 1709.67/1710.25 c 1710s | 28 | 22762424 | 17181305 | 1048 44048 | 0 | 0 1711.67/1712.25 c 1712s | 28 | 22785064 | 17199005 | 1048 44081 | 0 | 0 1713.67/1714.26 c 1714s | 28 | 22807858 | 17217005 | 1048 44115 | 0 | 0 1715.67/1716.27 c 1716s | 28 | 22828953 | 17233905 | 1048 44147 | 0 | 0 1717.69/1718.27 c 1718s | 28 | 22852239 | 17251905 | 1048 44180 | 0 | 0 1719.68/1720.28 c 1720s | 28 | 22875175 | 17269705 | 1048 44214 | 0 | 0 1721.68/1722.28 c 1722s | 28 | 22896699 | 17286605 | 1048 44246 | 0 | 0 1723.68/1724.29 c 1724s | 28 | 22918590 | 17303905 | 1048 44278 | 0 | 0 1725.67/1726.29 c 1726s | 28 | 22939734 | 17320605 | 1048 44310 | 0 | 0 1727.77/1728.30 c 1728s | 28 | 22961717 | 17338205 | 1048 44343 | 0 | 0 1729.67/1730.30 c 1730s | 28 | 22984641 | 17356305 | 1048 44377 | 0 | 0 1731.77/1732.31 c 1732s | 28 | 23007446 | 17374605 | 1048 44412 | 0 | 0 1733.77/1734.32 c 1734s | 28 | 23031918 | 17393605 | 1048 44448 | 0 | 0 1735.77/1736.32 c 1736s | 28 | 23056640 | 17412505 | 1048 44483 | 0 | 0 1737.77/1738.33 c 1738s | 28 | 23081858 | 17431205 | 1048 44519 | 0 | 0 1739.78/1740.34 c 1740s | 28 | 23104773 | 17449205 | 1048 44552 | 0 | 0 1741.77/1742.35 c 1742s | 28 | 23124936 | 17465705 | 1048 44583 | 0 | 0 1743.77/1744.35 c 1744s | 28 | 23147887 | 17484005 | 1048 44617 | 0 | 0 1745.78/1746.35 c 1746s | 28 | 23171189 | 17502005 | 1048 44651 | 0 | 0 1747.78/1748.36 c 1748s | 28 | 23194282 | 17519605 | 1048 44684 | 0 | 0 1749.78/1750.36 c 1750s | 28 | 23216595 | 17537005 | 1048 44716 | 0 | 0 1751.78/1752.36 c 1752s | 28 | 23240477 | 17555405 | 1048 44751 | 0 | 0 1753.77/1754.36 c 1754s | 28 | 23263228 | 17572905 | 1048 44784 | 0 | 0 1755.77/1756.37 c 1756s | 28 | 23286035 | 17590705 | 1048 44818 | 0 | 0 1757.77/1758.38 c 1758s | 28 | 23309010 | 17608805 | 1048 44852 | 0 | 0 1759.77/1760.38 c 1760s | 28 | 23331555 | 17626205 | 1048 44884 | 0 | 0 1761.78/1762.39 c 1762s | 28 | 23355509 | 17644605 | 1048 44919 | 0 | 0 1763.77/1764.39 c 1764s | 28 | 23379584 | 17663005 | 1048 44954 | 0 | 0 1765.87/1766.40 c 1766s | 28 | 23401704 | 17680705 | 1048 44987 | 0 | 0 1767.87/1768.40 c 1768s | 28 | 23427587 | 17700005 | 1048 45023 | 0 | 0 1769.87/1770.41 c 1770s | 28 | 23452045 | 17718405 | 1048 45058 | 0 | 0 1771.87/1772.41 c 1772s | 28 | 23475225 | 17736805 | 1048 45093 | 0 | 0 1773.88/1774.42 c 1774s | 28 | 23498555 | 17755005 | 1048 45127 | 0 | 0 1775.87/1776.42 c 1776s | 28 | 23520690 | 17772305 | 1048 45160 | 0 | 0 1777.87/1778.42 c 1778s | 28 | 23542852 | 17789705 | 1048 45193 | 0 | 0 1779.87/1780.42 c 1780s | 28 | 23566388 | 17808005 | 1048 45227 | 0 | 0 1781.87/1782.43 c 1782s | 28 | 23590593 | 17826605 | 1048 45262 | 0 | 0 1783.87/1784.44 c 1784s | 28 | 23614697 | 17845305 | 1048 45298 | 0 | 0 1785.87/1786.44 c 1786s | 28 | 23638646 | 17863305 | 1048 45332 | 0 | 0 1787.87/1788.45 c 1788s | 28 | 23662823 | 17881405 | 1048 45366 | 0 | 0 1789.87/1790.46 c 1790s | 28 | 23686397 | 17899305 | 1048 45400 | 0 | 0 1791.86/1792.46 c 1792s | 28 | 23710773 | 17917705 | 1048 45434 | 0 | 0 1793.86/1794.47 c 1794s | 28 | 23733203 | 17935405 | 1048 45468 | 0 | 0 1795.87/1796.48 c 1796s | 28 | 23757452 | 17953405 | 1048 45502 | 0 | 0 1797.86/1798.49 c 1798s | 28 | 23782098 | 17972205 | 1048 45537 | 0 | 0 1799.86/1800.49 c 1800s | 28 | 23807151 | 17991105 | 1048 45573 | 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-4122634-1467317032/watcher-4122634-1467317032 -o /tmp/evaluation-result-4122634-1467317032/solver-4122634-1467317032 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1467314186-8726 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122634-1467317032.opb pid=9339 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB [startup+0 s] /proc/loadavg: 2.12 2.16 2.01 3/179 9342 /proc/meminfo: memFree=30083872/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=24328 CPUtime=0 cores=1,3,5,7 /proc/9342/stat : 9342 (runsolver) R 9339 4291 4291 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 1 0 2380773 24911872 52 33554432000 4194304 4338465 140735717535904 140735717533440 262966108158 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0 /proc/9342/statm: 6082 52 5 36 0 2655 0 Current StackSize limit: 10240 KiB [startup+0.10018 s] /proc/loadavg: 2.12 2.16 2.01 3/179 9342 /proc/meminfo: memFree=30083872/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 23794 0 0 0 6 2 0 0 20 0 4 0 2380773 1247350784 24144 33554432000 4194304 16246674 140734038218112 140734038217536 5677541 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 304529 24154 708 2943 0 301423 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200411 s] /proc/loadavg: 2.12 2.16 2.01 3/179 9342 /proc/meminfo: memFree=30083872/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1218116 CPUtime=0.18 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 46864 0 0 0 13 5 0 0 20 0 4 0 2380773 1247350784 47214 33554432000 4194304 16246674 140734038218112 140734038217536 5668801 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 304529 47225 709 2943 0 301423 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.30027 s] /proc/loadavg: 2.12 2.16 2.01 3/179 9342 /proc/meminfo: memFree=30083872/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1218116 CPUtime=0.28 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 69958 0 0 0 20 8 0 0 20 0 4 0 2380773 1247350784 70308 33554432000 4194304 16246674 140734038218112 140734038200000 5675357 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 304529 70320 709 2943 0 301423 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700326 s] /proc/loadavg: 2.12 2.16 2.01 3/179 9342 /proc/meminfo: memFree=30083872/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1218116 CPUtime=0.68 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 160359 0 0 0 49 19 0 0 20 0 4 0 2380773 1247350784 160709 33554432000 4194304 16246674 140734038218112 140734038200000 5669490 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 304529 160722 709 2943 0 301423 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50045 s] /proc/loadavg: 2.12 2.16 2.01 3/183 9346 /proc/meminfo: memFree=29101712/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1218116 CPUtime=1.48 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 245466 0 0 0 119 29 0 0 20 0 4 0 2380773 1247350784 245796 33554432000 4194304 16246674 140734038218112 140734038200000 5754712 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 304529 245796 785 2943 0 301423 0 [pid=9342/tid=9344] ppid=9339 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1247350784 245796 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1247350784 245796 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1247350784 245796 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1218116 [startup+3.10045 s] /proc/loadavg: 2.27 2.19 2.02 3/183 9346 /proc/meminfo: memFree=29013532/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 267388 0 0 0 277 32 0 0 20 0 4 0 2380773 1337528320 267718 33554432000 4194304 16246674 140734038218112 140734038200000 6020832 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326545 267718 785 2943 0 323439 0 [pid=9342/tid=9344] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267718 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267718 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267718 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30044 s] /proc/loadavg: 2.27 2.19 2.02 3/183 9346 /proc/meminfo: memFree=29013304/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 267402 0 0 0 597 32 0 0 20 0 4 0 2380773 1337528320 267732 33554432000 4194304 16246674 140734038218112 140734038200000 5829166 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326545 267732 785 2943 0 323439 0 [pid=9342/tid=9344] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267732 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267732 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267732 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7005 s] /proc/loadavg: 2.23 2.18 2.02 3/183 9346 /proc/meminfo: memFree=29013468/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1306180 CPUtime=12.68 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 267418 0 0 0 1236 32 0 0 20 0 4 0 2380773 1337528320 267748 33554432000 4194304 16246674 140734038218112 140734038200000 5546036 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326545 267748 785 2943 0 323439 0 [pid=9342/tid=9344] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267748 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267748 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267748 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.19 2.17 2.02 3/183 9346 /proc/meminfo: memFree=29013948/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1306180 CPUtime=25.48 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 267422 0 0 0 2516 32 0 0 20 0 4 0 2380773 1337528320 267752 33554432000 4194304 16246674 140734038218112 140734038200000 13943729 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326545 267752 787 2943 0 323439 0 [pid=9342/tid=9344] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267752 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267752 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267752 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.13 2.16 2.02 3/183 9346 /proc/meminfo: memFree=29013780/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 267427 0 0 0 5075 33 0 0 20 0 4 0 2380773 1337528320 267757 33554432000 4194304 16246674 140734038218112 140734038200000 5673558 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326545 267757 787 2943 0 323439 0 [pid=9342/tid=9344] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267757 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267757 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267757 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.301 s] /proc/loadavg: 2.09 2.14 2.02 3/183 9347 /proc/meminfo: memFree=29013660/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1306180 CPUtime=102.27 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 267428 0 0 0 10193 34 0 0 20 0 4 0 2380773 1337528320 267758 33554432000 4194304 16246674 140734038218112 140734038200000 12476925 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326545 267758 787 2943 0 323439 0 [pid=9342/tid=9344] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267758 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267758 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267758 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1306180 [startup+162.3 s] /proc/loadavg: 2.04 2.12 2.01 3/182 9348 /proc/meminfo: memFree=29013316/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1306180 CPUtime=162.26 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 267455 0 0 0 16190 36 0 0 20 0 4 0 2380773 1337528320 267785 33554432000 4194304 16246674 140734038218112 140734038200000 5824066 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326545 267785 787 2943 0 323439 0 [pid=9342/tid=9344] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267785 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267785 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267785 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 1306180 [startup+222.308 s] /proc/loadavg: 2.16 2.14 2.02 3/183 9350 /proc/meminfo: memFree=29014284/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1306180 CPUtime=222.25 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 267469 0 0 0 22188 37 0 0 20 0 4 0 2380773 1337528320 267799 33554432000 4194304 16246674 140734038218112 140734038200000 5677541 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326545 267799 787 2943 0 323439 0 [pid=9342/tid=9344] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267799 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267799 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1337528320 267799 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1307204 [startup+1302.3 s] /proc/loadavg: 1.02 1.48 1.77 2/173 9409 /proc/meminfo: memFree=30106172/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1307204 CPUtime=1301.85 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 268061 0 0 0 130122 63 0 0 20 0 4 0 2380773 1338576896 268160 33554432000 4194304 16246674 140734038218112 140734038200000 13943664 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326801 268160 788 2943 0 323695 0 [pid=9342/tid=9344] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1307204 [startup+1362.3 s] /proc/loadavg: 1.04 1.41 1.73 2/173 9410 /proc/meminfo: memFree=30106016/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1307204 CPUtime=1361.84 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 268061 0 0 0 136120 64 0 0 20 0 4 0 2380773 1338576896 268160 33554432000 4194304 16246674 140734038218112 140734038200000 13192341 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326801 268160 788 2943 0 323695 0 [pid=9342/tid=9344] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1307204 [startup+1422.3 s] /proc/loadavg: 1.04 1.34 1.68 2/174 9412 /proc/meminfo: memFree=30105892/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1307204 CPUtime=1421.84 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 268061 0 0 0 142118 66 0 0 20 0 4 0 2380773 1338576896 268160 33554432000 4194304 16246674 140734038218112 140734038200000 5822592 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326801 268160 788 2943 0 323695 0 [pid=9342/tid=9344] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1307204 [startup+1482.3 s] /proc/loadavg: 1.10 1.31 1.65 2/174 9413 /proc/meminfo: memFree=30105620/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1307204 CPUtime=1481.82 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 268061 0 0 0 148115 67 0 0 20 0 4 0 2380773 1338576896 268160 33554432000 4194304 16246674 140734038218112 140734038200000 12875392 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326801 268160 788 2943 0 323695 0 [pid=9342/tid=9344] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1307204 [startup+1542.31 s] /proc/loadavg: 1.04 1.25 1.61 2/173 9415 /proc/meminfo: memFree=30105984/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1307204 CPUtime=1541.81 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 268061 0 0 0 154113 68 0 0 20 0 4 0 2380773 1338576896 268160 33554432000 4194304 16246674 140734038218112 140734038200000 5546224 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326801 268160 788 2943 0 323695 0 [pid=9342/tid=9344] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1307204 [startup+1602.3 s] /proc/loadavg: 1.01 1.20 1.56 2/174 9419 /proc/meminfo: memFree=30105708/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1307204 CPUtime=1601.79 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 268061 0 0 0 160110 69 0 0 20 0 4 0 2380773 1338576896 268160 33554432000 4194304 16246674 140734038218112 140734038200000 12477817 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326801 268160 788 2943 0 323695 0 [pid=9342/tid=9344] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1307204 [startup+1662.3 s] /proc/loadavg: 1.04 1.18 1.53 2/173 9420 /proc/meminfo: memFree=30105700/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1307204 CPUtime=1661.78 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 268061 0 0 0 166108 70 0 0 20 0 4 0 2380773 1338576896 268160 33554432000 4194304 16246674 140734038218112 140734038200000 5754966 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326801 268160 788 2943 0 323695 0 [pid=9342/tid=9344] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1307204 [startup+1722.3 s] /proc/loadavg: 1.01 1.14 1.50 2/173 9421 /proc/meminfo: memFree=30105564/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1307204 CPUtime=1721.78 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 268061 0 0 0 172106 72 0 0 20 0 4 0 2380773 1338576896 268160 33554432000 4194304 16246674 140734038218112 140734038200000 13943668 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326801 268160 788 2943 0 323695 0 [pid=9342/tid=9344] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1307204 [startup+1782.3 s] /proc/loadavg: 1.00 1.11 1.46 2/173 9422 /proc/meminfo: memFree=30105176/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1307204 CPUtime=1781.77 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 268061 0 0 0 178104 73 0 0 20 0 4 0 2380773 1338576896 268160 33554432000 4194304 16246674 140734038218112 140734038200000 13191752 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326801 268160 788 2943 0 323695 0 [pid=9342/tid=9344] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1307204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.11 1.45 2/173 9422 /proc/meminfo: memFree=30105540/32872528 swapFree=295864/318348 [pid=9342] ppid=9339 vsize=1307204 CPUtime=1800.06 cores=1,3,5,7 /proc/9342/stat : 9342 (toysat) R 9339 9342 4291 0 -1 4202496 268061 0 0 0 179933 73 0 0 20 0 4 0 2380773 1338576896 268160 33554432000 4194304 16246674 140734038218112 140734038200000 5667097 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9342/statm: 326801 268160 788 2943 0 323695 0 [pid=9342/tid=9344] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9344/stat : 9344 (toysat) S 9339 9342 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303101046000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=9342/tid=9345] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9345/stat : 9345 (toysat) S 9339 9342 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303090556144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=9342/tid=9346] ppid=9339 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9342/task/9346/stat : 9346 (toysat) S 9339 9342 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2380774 1338576896 268160 33554432000 4194304 16246674 140734038218112 140303080082608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1307204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 9342 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1799.34 CPU system time (s): 0.736887 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 1307204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.34 system time used= 0.736887 maximum resident set size= 1072640 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268061 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= 413 involuntary context switches= 2321 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.7914 second user time and 17.6473 second system time The end
Begin job on node128 at 2016-06-30 22:03:52 IDJOB=4122634 IDBENCH=111220 IDSOLVER=2542 FILE ID=node128/4122634-1467317032 RUNJOBID= node128-1467314186-8726 PBS_JOBID= 20005249 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-25.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-4122634-1467317032/watcher-4122634-1467317032 -o /tmp/evaluation-result-4122634-1467317032/solver-4122634-1467317032 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1467314186-8726 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122634-1467317032.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e7066fcf3ed4bb8d6d816d15fcc09171 RANDOM SEED=2003548039 node128.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.501 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 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.501 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.501 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.501 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.56 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.501 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.501 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.501 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.501 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: 30084408 kB Buffers: 76216 kB Cached: 560976 kB SwapCached: 0 kB Active: 1306164 kB Inactive: 422048 kB Active(anon): 1093612 kB Inactive(anon): 4 kB Active(file): 212552 kB Inactive(file): 422044 kB Unevictable: 318348 kB Mlocked: 295864 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16456 kB Writeback: 0 kB AnonPages: 1411492 kB Mapped: 17064 kB Shmem: 204 kB Slab: 607252 kB SReclaimable: 50588 kB SUnreclaim: 556664 kB KernelStack: 1448 kB PageTables: 6800 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1545176 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 382976 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= 71728 MiB End job on node128 at 2016-06-30 22:33:53