| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_1.opb |
| MD5SUM | 775c76356ae7fda7a41e5dcf917f66b2 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 51 |
| Total number of constraints | 13 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 1 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1273 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3819 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T22:24:51+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079734-1465244691.opb"] 0.00/0.01 c use --random-gen="342216165 171205620 863698337 4139020405 3585789502 3252552069 3939472371 2411078040 616904668 376344682 198899172 3666965869 3175071164 3904645674 451463957 3536773812 195026022 2512933188 224881581 2683554605 2172417969 681644702 4235064077 3711271419 758224859 3137775887 3480365232 1800651628 2897538663 1666766896 3656809133 2058299186 292651933 3255791659 2843570192 1502219439 1830058495 532785568 3819022715 2278339553 871024026 1418791427 4153659673 1122447603 58436166 2177637856 257013263 284335342 3800765258 3995421252 1805715690 2347528567 2696824714 3797427467 4000116308 3526540032 92758382 4258917447 190017774 2574134232 1422817627 3034010504 2924013924 1665016070 2774361990 3655748201 2399090277 1398877014 3693973822 3359494043 45181298 2549197631 3142116162 895264499 106225675 4250441590 3881690205 169632757 985231450 4183541089 4011790581 1197317980 1923179743 1391159644 865283528 2555844079 49281225 2101834319 1858522130 359027561 723904531 615003980 3874139708 2658571445 554795363 2139522850 3791916823 3519662012 2805275011 686476342 4129716508 693271834 3346300760 1720276850 1471061180 665027690 764852203 3685927999 202398353 1868905284 3147124503 3482399818 4109006114 3579018168 1187424026 1306730537 2956677532 2501398252 4895499 3429780698 94697273 652138244 2225862095 1149875273 3581313710 1403607831 2997039905 3291781015 499173092 1441706206 1908000505 973725399 3074551673 1010572018 228310760 509767476 3929387519 1011492265 3980338312 498707294 2259484506 3420851160 4231694725 2210549995 226248627 566318813 1909602653 3385162242 4232694304 3365954440 2709442603 1423014015 1412592536 2253879317 2684081547 3619871226 1473066174 1230416261 3313643941 496634971 945142276 1148513473 407119550 3873687668 1293087020 1195473013 2133296633 166841136 3946711320 3565333684 1020356513 3142138340 964869223 3798244518 1675670600 1826819879 422706985 584953296 2770512534 3880100912 1451332310 3498936334 3587922574 3203653460 4190882038 477721816 4089178689 1919625682 4015649340 2300133996 940317948 4146629128 2475894757 3278204559 1907101328 1876000988 177276010 2084223463 1474940253 2617063308 3775134859 2825333600 1094256658 2741755606 2606468268 2955624984 3928559550 4022966798 2516198817 1630476741 886794629 1762387832 612936567 3110865194 1266079563 3378166366 3431422376 2355981828 3680974639 883535864 859668043 81345368 3442661235 2278107619 1880002060 699153406 936962670 3897481482 1482960749 3025763539 4157648801 1558269955 3791384453 3541227738 1627607308 2356616002 1098291989 3370084609 873930626 1271702585 4258721646 2610859992 4094186215 1835488524 135010224 3270846220 2925162730 889972034 257981885 3234402680 3630448109 1195280899 1448939407 4092644003 3578334 2368337219 255 362436" option to reproduce the execution 0.00/0.01 c #vars 51 0.00/0.01 c #constraints 13 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 21 0 | 1 | 0 0.00/0.03 c 0.0s | 1 | 125 | 100 | 21 2 | 1 | 0 0.00/0.06 c 0.0s | 2 | 301 | 250 | 24 7 | 1 | 0 0.08/0.10 c 0.1s | 3 | 552 | 475 | 27 15 | 1 | 0 0.08/0.16 c 0.1s | 4 | 915 | 813 | 30 27 | 1 | 0 0.19/0.25 c 0.2s | 5 | 1454 | 1320 | 33 44 | 1 | 0 0.29/0.39 c 0.4s | 6 | 2264 | 2081 | 41 69 | 1 | 0 0.49/0.59 c 0.6s | 7 | 3464 | 3223 | 46 103 | 1 | 0 0.79/0.89 c 0.9s | 8 | 5243 | 4936 | 51 152 | 1 | 0 1.29/1.34 c 1.3s | 9 | 7900 | 7506 | 57 221 | 1 | 0 1.79/1.81 c 1.8s | 10 | 11806 | 11361 | 63 319 | 1 | 0 2.30/2.40 c 2.4s | 11 | 17653 | 17144 | 70 459 | 1 | 0 3.19/3.29 c 3.3s | 12 | 26404 | 25819 | 77 650 | 1 | 0 4.59/4.60 c 4.6s | 13 | 39571 | 38832 | 85 924 | 1 | 0 6.49/6.60 c 6.6s | 14 | 59312 | 58352 | 94 1292 | 1 | 0 8.58/8.61 c 8.6s | 14 | 79354 | 77952 | 94 1636 | 1 | 0 9.48/9.56 c 9.5s | 15 | 89222 | 87632 | 104 1812 | 1 | 0 11.48/11.56 c 11.6s | 15 | 108645 | 106632 | 104 2121 | 1 | 0 13.48/13.57 c 13.6s | 15 | 128116 | 125732 | 104 2443 | 1 | 0 14.09/14.15 c 14.1s | 16 | 134083 | 131552 | 115 2540 | 1 | 0 16.09/16.15 c 16.1s | 16 | 154465 | 151552 | 115 2837 | 1 | 0 18.09/18.16 c 18.1s | 16 | 175483 | 172152 | 115 3149 | 1 | 0 20.09/20.17 c 20.2s | 16 | 196442 | 192652 | 115 3468 | 1 | 0 20.59/20.66 c 20.6s | 17 | 201292 | 197432 | 127 3538 | 1 | 0 22.59/22.66 c 22.7s | 17 | 221259 | 217132 | 127 3810 | 1 | 0 24.59/24.67 c 24.7s | 17 | 241005 | 236432 | 127 4083 | 1 | 0 26.59/26.68 c 26.7s | 17 | 261004 | 256132 | 127 4361 | 1 | 0 28.59/28.68 c 28.7s | 17 | 281947 | 276732 | 127 4661 | 1 | 0 30.58/30.68 c 30.7s | 18 | 301930 | 296252 | 140 4933 | 1 | 0 32.58/32.68 c 32.7s | 18 | 321442 | 315452 | 140 5177 | 1 | 0 34.58/34.69 c 34.7s | 18 | 341165 | 334752 | 140 5421 | 1 | 0 36.68/36.70 c 36.7s | 18 | 361266 | 354452 | 140 5673 | 1 | 0 38.68/38.70 c 38.7s | 18 | 380927 | 373852 | 140 5925 | 1 | 0 40.58/40.70 c 40.7s | 18 | 401012 | 393552 | 140 6185 | 1 | 0 42.68/42.70 c 42.7s | 18 | 420909 | 412852 | 140 6433 | 1 | 0 44.69/44.71 c 44.7s | 18 | 441211 | 432652 | 140 6687 | 1 | 0 45.89/45.92 c 45.9s | 19 | 453272 | 444482 | 154 6836 | 1 | 0 47.88/47.93 c 47.9s | 19 | 472815 | 463482 | 154 7058 | 1 | 0 49.88/49.93 c 49.9s | 19 | 492035 | 482482 | 154 7281 | 1 | 0 51.88/51.95 c 51.9s | 19 | 511302 | 501582 | 154 7507 | 1 | 0 53.89/53.95 c 53.9s | 19 | 530534 | 520482 | 154 7730 | 1 | 0 55.88/55.96 c 55.9s | 19 | 549919 | 539482 | 154 7957 | 1 | 0 57.88/57.96 c 57.9s | 19 | 569540 | 558782 | 154 8187 | 1 | 0 59.88/59.96 c 60.0s | 19 | 589118 | 578082 | 154 8422 | 1 | 0 61.88/61.97 c 62.0s | 19 | 608158 | 596782 | 154 8641 | 1 | 0 63.89/63.98 c 64.0s | 19 | 627059 | 615382 | 154 8861 | 1 | 0 65.88/65.98 c 66.0s | 19 | 644984 | 632982 | 154 9069 | 1 | 0 67.87/67.99 c 68.0s | 19 | 664802 | 652382 | 154 9297 | 1 | 0 69.47/69.53 c 69.5s | 20 | 679436 | 666827 | 170 9465 | 1 | 0 71.48/71.53 c 71.5s | 20 | 698229 | 685327 | 170 9668 | 1 | 0 73.47/73.54 c 73.5s | 20 | 717823 | 704627 | 170 9880 | 1 | 0 75.48/75.54 c 75.5s | 20 | 735953 | 722327 | 170 10072 | 1 | 0 77.48/77.54 c 77.5s | 20 | 755467 | 741427 | 170 10282 | 1 | 0 79.48/79.54 c 79.5s | 20 | 775438 | 761127 | 170 10496 | 1 | 0 81.49/81.54 c 81.5s | 20 | 795109 | 780427 | 170 10709 | 1 | 0 83.48/83.55 c 83.5s | 20 | 815025 | 799927 | 170 10922 | 1 | 0 85.48/85.55 c 85.5s | 20 | 833706 | 818327 | 170 11122 | 1 | 0 87.48/87.56 c 87.5s | 20 | 853526 | 837727 | 170 11334 | 1 | 0 89.48/89.57 c 89.6s | 20 | 872347 | 856327 | 170 11536 | 1 | 0 91.47/91.57 c 91.6s | 20 | 891199 | 874827 | 170 11738 | 1 | 0 93.48/93.58 c 93.6s | 20 | 910064 | 893427 | 170 11944 | 1 | 0 95.47/95.59 c 95.6s | 20 | 929632 | 912627 | 170 12155 | 1 | 0 97.47/97.60 c 97.6s | 20 | 949362 | 932127 | 170 12371 | 1 | 0 99.57/99.60 c 99.6s | 20 | 969762 | 952127 | 170 12594 | 1 | 0 101.57/101.60 c 101s | 20 | 989594 | 971727 | 170 12811 | 1 | 0 103.57/103.61 c 103s | 20 | 1010052 | 991927 | 170 13037 | 1 | 0 104.37/104.48 c 104s | 21 | 1018572 | 1000345 | 188 13123 | 1 | 0 106.37/106.49 c 106s | 21 | 1038317 | 1019545 | 188 13310 | 1 | 0 108.47/108.50 c 108s | 21 | 1058241 | 1038945 | 188 13500 | 1 | 0 110.47/110.51 c 110s | 21 | 1077028 | 1057345 | 188 13678 | 1 | 0 112.47/112.51 c 112s | 21 | 1096235 | 1076245 | 188 13861 | 1 | 0 114.48/114.51 c 114s | 21 | 1115409 | 1095145 | 188 14046 | 1 | 0 116.47/116.52 c 116s | 21 | 1134800 | 1114245 | 188 14237 | 1 | 0 118.48/118.52 c 118s | 21 | 1154996 | 1133945 | 188 14429 | 1 | 0 120.48/120.53 c 120s | 21 | 1174835 | 1153345 | 188 14622 | 1 | 0 122.48/122.53 c 122s | 21 | 1195028 | 1173145 | 188 14821 | 1 | 0 124.48/124.54 c 124s | 21 | 1214557 | 1192345 | 188 15007 | 1 | 0 126.48/126.54 c 126s | 21 | 1233361 | 1210945 | 188 15189 | 1 | 0 128.47/128.54 c 128s | 21 | 1251485 | 1228845 | 188 15364 | 1 | 0 130.47/130.54 c 130s | 21 | 1270754 | 1247745 | 188 15549 | 1 | 0 132.47/132.55 c 132s | 21 | 1290167 | 1266745 | 188 15734 | 1 | 0 134.47/134.56 c 134s | 21 | 1308904 | 1285245 | 188 15916 | 1 | 0 136.48/136.57 c 136s | 21 | 1328225 | 1304245 | 188 16105 | 1 | 0 138.47/138.57 c 138s | 21 | 1347908 | 1323545 | 188 16298 | 1 | 0 140.47/140.58 c 140s | 21 | 1366369 | 1341845 | 188 16477 | 1 | 0 142.47/142.59 c 142s | 21 | 1384422 | 1359645 | 188 16653 | 1 | 0 144.57/144.60 c 144s | 21 | 1402886 | 1377745 | 188 16831 | 1 | 0 146.57/146.60 c 146s | 21 | 1421713 | 1396245 | 188 17014 | 1 | 0 148.58/148.61 c 148s | 21 | 1440864 | 1415045 | 188 17202 | 1 | 0 150.57/150.61 c 150s | 21 | 1459352 | 1433345 | 188 17385 | 1 | 0 152.57/152.62 c 152s | 21 | 1478061 | 1451845 | 188 17569 | 1 | 0 154.57/154.63 c 154s | 21 | 1496776 | 1470345 | 188 17752 | 1 | 0 156.56/156.63 c 156s | 21 | 1514699 | 1488045 | 188 17929 | 1 | 0 157.96/158.04 c 158s | 22 | 1527452 | 1500622 | 207 18045 | 1 | 0 159.96/160.04 c 160s | 22 | 1545429 | 1518222 | 207 18201 | 1 | 0 161.96/162.05 c 162s | 22 | 1564257 | 1536622 | 207 18365 | 1 | 0 163.98/164.05 c 164s | 22 | 1583043 | 1555022 | 207 18528 | 1 | 0 165.97/166.07 c 166s | 22 | 1601216 | 1572822 | 207 18688 | 1 | 0 167.96/168.07 c 168s | 22 | 1619755 | 1591022 | 207 18849 | 1 | 0 169.96/170.07 c 170s | 22 | 1638106 | 1609122 | 207 19014 | 1 | 0 171.96/172.07 c 172s | 22 | 1656569 | 1627222 | 207 19177 | 1 | 0 173.96/174.07 c 174s | 22 | 1675077 | 1645522 | 207 19341 | 1 | 0 175.97/176.08 c 176s | 22 | 1693936 | 1664022 | 207 19509 | 1 | 0 177.96/178.09 c 178s | 22 | 1713066 | 1682822 | 207 19680 | 1 | 0 179.96/180.09 c 180s | 22 | 1732544 | 1701922 | 207 19857 | 1 | 0 182.06/182.10 c 182s | 22 | 1752785 | 1721722 | 207 20034 | 1 | 0 184.06/184.10 c 184s | 22 | 1772609 | 1741122 | 207 20205 | 1 | 0 186.06/186.10 c 186s | 22 | 1789908 | 1758122 | 207 20357 | 1 | 0 188.07/188.11 c 188s | 22 | 1808968 | 1776822 | 207 20523 | 1 | 0 190.06/190.12 c 190s | 22 | 1827715 | 1795222 | 207 20689 | 1 | 0 192.06/192.12 c 192s | 22 | 1847064 | 1814122 | 207 20857 | 1 | 0 194.06/194.13 c 194s | 22 | 1865135 | 1831922 | 207 21017 | 1 | 0 196.06/196.14 c 196s | 22 | 1882740 | 1849222 | 207 21173 | 1 | 0 198.06/198.14 c 198s | 22 | 1901175 | 1867222 | 207 21335 | 1 | 0 200.05/200.15 c 200s | 22 | 1919232 | 1885022 | 207 21495 | 1 | 0 202.06/202.15 c 202s | 22 | 1937972 | 1903422 | 207 21663 | 1 | 0 204.06/204.15 c 204s | 22 | 1957015 | 1922122 | 207 21833 | 1 | 0 206.06/206.16 c 206s | 22 | 1975618 | 1940422 | 207 21998 | 1 | 0 208.06/208.16 c 208s | 22 | 1994353 | 1958922 | 207 22166 | 1 | 0 210.07/210.17 c 210s | 22 | 2012605 | 1976922 | 207 22331 | 1 | 0 212.06/212.17 c 212s | 22 | 2031542 | 1995522 | 207 22500 | 1 | 0 214.06/214.17 c 214s | 22 | 2051085 | 2014522 | 207 22672 | 1 | 0 216.06/216.17 c 216s | 22 | 2070103 | 2033122 | 207 22842 | 1 | 0 218.06/218.17 c 218s | 22 | 2089243 | 2051922 | 207 23014 | 1 | 0 220.07/220.18 c 220s | 22 | 2108498 | 2070822 | 207 23187 | 1 | 0 222.06/222.19 c 222s | 22 | 2128489 | 2090422 | 207 23364 | 1 | 0 224.15/224.20 c 224s | 22 | 2147399 | 2108922 | 207 23531 | 1 | 0 226.15/226.20 c 226s | 22 | 2166677 | 2127822 | 207 23701 | 1 | 0 228.15/228.21 c 228s | 22 | 2186540 | 2147222 | 207 23877 | 1 | 0 230.15/230.21 c 230s | 22 | 2205654 | 2166122 | 207 24049 | 1 | 0 232.16/232.21 c 232s | 22 | 2225010 | 2185022 | 207 24222 | 1 | 0 234.15/234.22 c 234s | 22 | 2243944 | 2203522 | 207 24389 | 1 | 0 236.15/236.22 c 236s | 22 | 2261450 | 2220622 | 207 24544 | 1 | 0 238.16/238.23 c 238s | 22 | 2280730 | 2239522 | 228 24711 | 1 | 0 239.36/239.49 c 239s | 23 | 2292434 | 2251038 | 228 24807 | 1 | 0 241.35/241.49 c 241s | 23 | 2311288 | 2269538 | 228 24959 | 1 | 0 243.45/243.50 c 243s | 23 | 2330275 | 2288238 | 228 25113 | 1 | 0 245.45/245.51 c 245s | 23 | 2349726 | 2307338 | 228 25273 | 1 | 0 247.46/247.52 c 247s | 23 | 2368847 | 2326138 | 228 25430 | 1 | 0 249.45/249.52 c 249s | 23 | 2387649 | 2344638 | 228 25583 | 1 | 0 251.45/251.53 c 251s | 23 | 2407023 | 2363638 | 228 25742 | 1 | 0 253.45/253.53 c 253s | 23 | 2426439 | 2382738 | 228 25902 | 1 | 0 255.44/255.54 c 255s | 23 | 2445292 | 2401238 | 228 26057 | 1 | 0 257.45/257.54 c 257s | 23 | 2465000 | 2420538 | 228 26219 | 1 | 0 259.44/259.54 c 259s | 23 | 2485115 | 2440238 | 228 26385 | 1 | 0 261.44/261.55 c 261s | 23 | 2505575 | 2460038 | 228 26549 | 1 | 0 263.45/263.55 c 263s | 23 | 2525148 | 2479138 | 228 26709 | 1 | 0 265.45/265.56 c 265s | 23 | 2543135 | 2496838 | 228 26859 | 1 | 0 267.45/267.56 c 267s | 23 | 2562153 | 2515338 | 228 27014 | 1 | 0 269.46/269.56 c 269s | 23 | 2581078 | 2533838 | 228 27167 | 1 | 0 271.45/271.56 c 271s | 23 | 2600844 | 2553138 | 228 27327 | 1 | 0 273.45/273.57 c 273s | 23 | 2619786 | 2571838 | 228 27482 | 1 | 0 275.45/275.57 c 275s | 23 | 2638911 | 2590638 | 228 27637 | 1 | 0 277.44/277.57 c 277s | 23 | 2658339 | 2609738 | 228 27798 | 1 | 0 279.45/279.58 c 279s | 23 | 2677628 | 2628738 | 228 27958 | 1 | 0 281.44/281.59 c 281s | 23 | 2697406 | 2648038 | 228 28120 | 1 | 0 283.44/283.59 c 283s | 23 | 2717508 | 2667638 | 228 28285 | 1 | 0 285.44/285.59 c 285s | 23 | 2737151 | 2686938 | 228 28446 | 1 | 0 287.54/287.60 c 287s | 23 | 2756573 | 2706038 | 228 28607 | 1 | 0 289.54/289.60 c 289s | 23 | 2775020 | 2724138 | 228 28757 | 1 | 0 291.45/291.60 c 291s | 23 | 2793662 | 2742438 | 228 28908 | 1 | 0 293.54/293.61 c 293s | 23 | 2812495 | 2760938 | 228 29062 | 1 | 0 295.54/295.61 c 295s | 23 | 2829807 | 2778038 | 228 29203 | 1 | 0 297.53/297.61 c 297s | 23 | 2848708 | 2796638 | 228 29359 | 1 | 0 299.53/299.62 c 299s | 23 | 2866948 | 2814638 | 228 29509 | 1 | 0 301.53/301.63 c 301s | 23 | 2885618 | 2833038 | 228 29663 | 1 | 0 303.54/303.64 c 303s | 23 | 2904792 | 2851838 | 228 29819 | 1 | 0 305.53/305.64 c 305s | 23 | 2923816 | 2870438 | 228 29973 | 1 | 0 307.53/307.65 c 307s | 23 | 2942818 | 2889138 | 228 30129 | 1 | 0 309.53/309.66 c 309s | 23 | 2961637 | 2907738 | 228 30285 | 1 | 0 311.53/311.66 c 311s | 23 | 2980193 | 2926138 | 228 30439 | 1 | 0 313.54/313.66 c 313s | 23 | 2999296 | 2944938 | 228 30598 | 1 | 0 315.53/315.67 c 315s | 23 | 3017615 | 2962938 | 228 30749 | 1 | 0 317.53/317.67 c 317s | 23 | 3036783 | 2981838 | 228 30909 | 1 | 0 319.52/319.68 c 319s | 23 | 3055882 | 3000638 | 228 31069 | 1 | 0 321.52/321.68 c 321s | 23 | 3075488 | 3019838 | 228 31231 | 1 | 0 323.53/323.69 c 323s | 23 | 3095407 | 3039338 | 228 31393 | 1 | 0 325.53/325.70 c 325s | 23 | 3114387 | 3058038 | 228 31551 | 1 | 0 327.63/327.71 c 327s | 23 | 3133765 | 3077038 | 228 31710 | 1 | 0 329.62/329.71 c 329s | 23 | 3152245 | 3095238 | 228 31863 | 1 | 0 331.62/331.72 c 331s | 23 | 3171377 | 3114138 | 228 32020 | 1 | 0 333.62/333.73 c 333s | 23 | 3190511 | 3132938 | 228 32178 | 1 | 0 335.62/335.73 c 335s | 23 | 3209984 | 3152038 | 228 32339 | 1 | 0 337.63/337.73 c 337s | 23 | 3229177 | 3170838 | 228 32497 | 1 | 0 339.62/339.74 c 339s | 23 | 3248893 | 3190238 | 228 32661 | 1 | 0 341.62/341.74 c 341s | 23 | 3268267 | 3209338 | 228 32822 | 1 | 0 343.62/343.74 c 343s | 23 | 3286751 | 3227538 | 228 32976 | 1 | 0 345.62/345.75 c 345s | 23 | 3306243 | 3246638 | 228 33136 | 1 | 0 347.63/347.76 c 347s | 23 | 3325478 | 3265538 | 228 33295 | 1 | 0 349.61/349.76 c 349s | 23 | 3345147 | 3284838 | 228 33459 | 1 | 0 351.61/351.77 c 351s | 23 | 3364607 | 3303938 | 228 33621 | 1 | 0 353.61/353.78 c 353s | 23 | 3383236 | 3322238 | 228 33777 | 1 | 0 355.61/355.78 c 355s | 23 | 3402074 | 3340838 | 228 33933 | 1 | 0 357.61/357.78 c 357s | 23 | 3421203 | 3359638 | 251 34088 | 1 | 0 359.41/359.57 c 359s | 24 | 3438498 | 3376662 | 251 34219 | 1 | 0 361.41/361.58 c 361s | 24 | 3457031 | 3394562 | 251 34352 | 1 | 0 363.41/363.59 c 363s | 24 | 3475340 | 3412562 | 251 34487 | 1 | 0 365.51/365.60 c 365s | 24 | 3493669 | 3430562 | 251 34622 | 1 | 0 367.51/367.61 c 367s | 24 | 3512771 | 3449262 | 251 34763 | 1 | 0 369.52/369.61 c 369s | 24 | 3532121 | 3468162 | 251 34905 | 1 | 0 371.51/371.62 c 371s | 24 | 3550918 | 3486662 | 251 35043 | 1 | 0 373.51/373.63 c 373s | 24 | 3569870 | 3505362 | 251 35184 | 1 | 0 375.50/375.64 c 375s | 24 | 3588832 | 3523962 | 251 35325 | 1 | 0 377.50/377.65 c 377s | 24 | 3608483 | 3543162 | 251 35470 | 1 | 0 379.51/379.65 c 379s | 24 | 3627006 | 3561362 | 251 35607 | 1 | 0 381.50/381.65 c 381s | 24 | 3646026 | 3580162 | 251 35748 | 1 | 0 383.50/383.66 c 383s | 24 | 3665202 | 3599062 | 251 35890 | 1 | 0 385.50/385.67 c 385s | 24 | 3684404 | 3618062 | 251 36033 | 1 | 0 387.50/387.67 c 387s | 24 | 3703496 | 3636962 | 251 36176 | 1 | 0 389.50/389.67 c 389s | 24 | 3721810 | 3655062 | 251 36311 | 1 | 0 391.51/391.68 c 391s | 24 | 3740635 | 3673562 | 251 36451 | 1 | 0 393.50/393.69 c 393s | 24 | 3759216 | 3691862 | 251 36590 | 1 | 0 395.50/395.69 c 395s | 24 | 3777776 | 3710162 | 251 36727 | 1 | 0 397.60/397.70 c 397s | 24 | 3797026 | 3729262 | 251 36871 | 1 | 0 399.60/399.71 c 399s | 24 | 3816295 | 3748362 | 251 37016 | 1 | 0 401.60/401.72 c 401s | 24 | 3835678 | 3767562 | 251 37164 | 1 | 0 403.61/403.72 c 403s | 24 | 3854317 | 3785862 | 251 37302 | 1 | 0 405.60/405.73 c 405s | 24 | 3873813 | 3804962 | 251 37447 | 1 | 0 407.60/407.74 c 407s | 24 | 3892710 | 3823562 | 251 37588 | 1 | 0 409.60/409.75 c 409s | 24 | 3911535 | 3842162 | 251 37729 | 1 | 0 411.60/411.75 c 411s | 24 | 3930795 | 3861062 | 251 37873 | 1 | 0 413.61/413.76 c 413s | 24 | 3949466 | 3879362 | 251 38012 | 1 | 0 415.59/415.76 c 415s | 24 | 3967329 | 3896962 | 251 38146 | 1 | 0 417.59/417.77 c 417s | 24 | 3985864 | 3915162 | 251 38283 | 1 | 0 419.59/419.78 c 419s | 24 | 4004353 | 3933362 | 251 38421 | 1 | 0 421.59/421.79 c 421s | 24 | 4022993 | 3951762 | 251 38559 | 1 | 0 423.59/423.79 c 423s | 24 | 4041680 | 3970162 | 251 38695 | 1 | 0 425.59/425.80 c 425s | 24 | 4060205 | 3988362 | 251 38832 | 1 | 0 427.69/427.80 c 427s | 24 | 4079708 | 4007462 | 251 38975 | 1 | 0 429.69/429.81 c 429s | 24 | 4098612 | 4026062 | 251 39116 | 1 | 0 431.69/431.82 c 431s | 24 | 4117072 | 4044362 | 251 39255 | 1 | 0 433.69/433.83 c 433s | 24 | 4136250 | 4063162 | 251 39397 | 1 | 0 435.68/435.84 c 435s | 24 | 4154539 | 4081162 | 251 39534 | 1 | 0 437.69/437.84 c 437s | 24 | 4173569 | 4099962 | 251 39677 | 1 | 0 439.68/439.84 c 439s | 24 | 4192127 | 4118162 | 251 39815 | 1 | 0 441.68/441.85 c 441s | 24 | 4210238 | 4135962 | 251 39949 | 1 | 0 443.68/443.85 c 443s | 24 | 4228900 | 4154262 | 251 40087 | 1 | 0 445.69/445.86 c 445s | 24 | 4247339 | 4172362 | 251 40223 | 1 | 0 447.69/447.87 c 447s | 24 | 4265697 | 4190462 | 251 40360 | 1 | 0 449.68/449.87 c 449s | 24 | 4284272 | 4208762 | 251 40498 | 1 | 0 451.68/451.88 c 451s | 24 | 4303337 | 4227462 | 251 40641 | 1 | 0 453.68/453.88 c 453s | 24 | 4322177 | 4245962 | 251 40782 | 1 | 0 455.68/455.89 c 455s | 24 | 4340854 | 4264362 | 251 40923 | 1 | 0 457.78/457.90 c 457s | 24 | 4359893 | 4283062 | 251 41066 | 1 | 0 459.79/459.91 c 459s | 24 | 4379307 | 4302062 | 251 41210 | 1 | 0 461.78/461.91 c 461s | 24 | 4399280 | 4321662 | 251 41360 | 1 | 0 463.77/463.91 c 463s | 24 | 4419945 | 4341862 | 251 41514 | 1 | 0 465.77/465.92 c 465s | 24 | 4439560 | 4361062 | 251 41660 | 1 | 0 467.77/467.92 c 467s | 24 | 4460703 | 4381562 | 251 41815 | 1 | 0 469.77/469.93 c 469s | 24 | 4480708 | 4401162 | 251 41964 | 1 | 0 471.78/471.94 c 471s | 24 | 4500914 | 4420862 | 251 42116 | 1 | 0 473.77/473.94 c 473s | 24 | 4521219 | 4440762 | 251 42269 | 1 | 0 475.76/475.94 c 475s | 24 | 4541693 | 4460862 | 251 42423 | 1 | 0 477.76/477.95 c 477s | 24 | 4561468 | 4480262 | 251 42571 | 1 | 0 479.77/479.95 c 479s | 24 | 4580404 | 4498862 | 251 42711 | 1 | 0 481.78/481.96 c 481s | 24 | 4599022 | 4517262 | 251 42851 | 1 | 0 483.77/483.97 c 483s | 24 | 4617872 | 4535862 | 251 42991 | 1 | 0 485.76/485.97 c 485s | 24 | 4636831 | 4554562 | 251 43134 | 1 | 0 487.76/487.98 c 487s | 24 | 4656329 | 4573662 | 251 43279 | 1 | 0 489.76/489.99 c 489s | 24 | 4675063 | 4592162 | 251 43420 | 1 | 0 491.86/492.00 c 491s | 24 | 4694109 | 4610962 | 251 43564 | 1 | 0 493.77/494.00 c 493s | 24 | 4712954 | 4629562 | 251 43706 | 1 | 0 495.86/496.01 c 495s | 24 | 4731950 | 4648362 | 251 43851 | 1 | 0 497.86/498.02 c 498s | 24 | 4751264 | 4667462 | 251 43999 | 1 | 0 499.86/500.03 c 500s | 24 | 4770170 | 4686162 | 251 44143 | 1 | 0 501.85/502.04 c 502s | 24 | 4789466 | 4705162 | 251 44289 | 1 | 0 503.85/504.04 c 504s | 24 | 4808490 | 4723962 | 251 44435 | 1 | 0 505.86/506.05 c 506s | 24 | 4827101 | 4742262 | 251 44575 | 1 | 0 507.85/508.05 c 508s | 24 | 4845933 | 4760862 | 251 44716 | 1 | 0 509.85/510.07 c 510s | 24 | 4864514 | 4779162 | 251 44856 | 1 | 0 511.86/512.07 c 512s | 24 | 4883250 | 4797662 | 251 44998 | 1 | 0 513.86/514.08 c 514s | 24 | 4901918 | 4816062 | 251 45139 | 1 | 0 515.86/516.08 c 516s | 24 | 4920173 | 4834062 | 251 45276 | 1 | 0 517.85/518.08 c 518s | 24 | 4939333 | 4852862 | 251 45420 | 1 | 0 519.85/520.09 c 520s | 24 | 4958868 | 4872062 | 251 45568 | 1 | 0 521.85/522.09 c 522s | 24 | 4977891 | 4890762 | 251 45711 | 1 | 0 523.85/524.10 c 524s | 24 | 4996462 | 4909162 | 251 45852 | 1 | 0 525.95/526.10 c 526s | 24 | 5014227 | 4926662 | 251 45987 | 1 | 0 527.96/528.11 c 528s | 24 | 5033377 | 4945462 | 251 46132 | 1 | 0 529.95/530.11 c 530s | 24 | 5053095 | 4964862 | 251 46282 | 1 | 0 531.95/532.12 c 532s | 24 | 5072843 | 4984262 | 251 46433 | 1 | 0 533.95/534.12 c 534s | 24 | 5092264 | 5003362 | 251 46579 | 1 | 0 535.94/536.13 c 536s | 24 | 5110799 | 5021662 | 251 46718 | 1 | 0 537.94/538.13 c 538s | 24 | 5129343 | 5039962 | 277 46850 | 1 | 0 539.95/540.14 c 540s | 24 | 5148317 | 5058662 | 277 46981 | 1 | 0 540.64/540.81 c 540s | 25 | 5154869 | 5065098 | 277 47025 | 1 | 0 542.64/542.82 c 542s | 25 | 5173763 | 5083598 | 277 47153 | 1 | 0 544.64/544.83 c 544s | 25 | 5192827 | 5102398 | 277 47284 | 1 | 0 546.65/546.84 c 546s | 25 | 5211730 | 5121098 | 277 47415 | 1 | 0 548.63/548.85 c 548s | 25 | 5231234 | 5140298 | 277 47549 | 1 | 0 550.63/550.86 c 550s | 25 | 5250682 | 5159398 | 277 47683 | 1 | 0 552.63/552.86 c 552s | 25 | 5269876 | 5178298 | 277 47812 | 1 | 0 554.63/554.87 c 554s | 25 | 5288450 | 5196598 | 277 47935 | 1 | 0 556.63/556.87 c 556s | 25 | 5306629 | 5214598 | 277 48056 | 1 | 0 558.64/558.87 c 558s | 25 | 5325207 | 5232898 | 277 48179 | 1 | 0 560.63/560.88 c 560s | 25 | 5344176 | 5251598 | 277 48305 | 1 | 0 562.63/562.89 c 562s | 25 | 5362804 | 5269998 | 277 48429 | 1 | 0 564.64/564.89 c 564s | 25 | 5380696 | 5287698 | 277 48549 | 1 | 0 566.64/566.89 c 566s | 25 | 5398485 | 5305298 | 277 48668 | 1 | 0 568.65/568.90 c 568s | 25 | 5416124 | 5322698 | 277 48787 | 1 | 0 570.64/570.90 c 570s | 25 | 5433975 | 5340398 | 277 48907 | 1 | 0 572.74/572.91 c 572s | 25 | 5451876 | 5358098 | 277 49028 | 1 | 0 574.73/574.92 c 574s | 25 | 5469949 | 5375998 | 277 49151 | 1 | 0 576.73/576.93 c 576s | 25 | 5487943 | 5393798 | 277 49272 | 1 | 0 578.73/578.93 c 578s | 25 | 5505605 | 5411298 | 277 49390 | 1 | 0 580.74/580.94 c 580s | 25 | 5523152 | 5428698 | 277 49508 | 1 | 0 582.73/582.94 c 582s | 25 | 5540704 | 5446098 | 277 49628 | 1 | 0 584.72/584.95 c 584s | 25 | 5558249 | 5463498 | 277 49748 | 1 | 0 586.72/586.95 c 586s | 25 | 5576444 | 5481498 | 277 49873 | 1 | 0 588.72/588.96 c 588s | 25 | 5594363 | 5499198 | 277 49993 | 1 | 0 590.72/590.96 c 590s | 25 | 5612310 | 5516898 | 277 50113 | 1 | 0 592.73/592.97 c 592s | 25 | 5630214 | 5534598 | 277 50233 | 1 | 0 594.72/594.97 c 594s | 25 | 5648124 | 5552298 | 277 50356 | 1 | 0 596.72/596.97 c 596s | 25 | 5666689 | 5570498 | 277 50480 | 1 | 0 598.72/598.98 c 598s | 25 | 5685705 | 5589198 | 277 50608 | 1 | 0 600.72/600.98 c 600s | 25 | 5704525 | 5607698 | 277 50736 | 1 | 0 602.73/602.99 c 602s | 25 | 5723290 | 5626198 | 277 50864 | 1 | 0 604.72/604.99 c 604s | 25 | 5741363 | 5644098 | 277 50986 | 1 | 0 606.82/607.00 c 606s | 25 | 5759576 | 5662098 | 277 51108 | 1 | 0 608.81/609.00 c 608s | 25 | 5777564 | 5679898 | 277 51231 | 1 | 0 610.81/611.00 c 610s | 25 | 5795603 | 5697698 | 277 51353 | 1 | 0 612.81/613.01 c 613s | 25 | 5814056 | 5715898 | 277 51479 | 1 | 0 614.82/615.02 c 615s | 25 | 5831839 | 5733498 | 277 51600 | 1 | 0 616.81/617.02 c 617s | 25 | 5850541 | 5751998 | 277 51728 | 1 | 0 618.81/619.03 c 619s | 25 | 5869603 | 5770798 | 277 51859 | 1 | 0 620.81/621.03 c 621s | 25 | 5888218 | 5789098 | 277 51984 | 1 | 0 622.81/623.04 c 623s | 25 | 5907015 | 5807598 | 277 52112 | 1 | 0 624.81/625.04 c 625s | 25 | 5925985 | 5826298 | 277 52240 | 1 | 0 626.81/627.05 c 627s | 25 | 5944396 | 5844498 | 277 52364 | 1 | 0 628.81/629.06 c 629s | 25 | 5962780 | 5862598 | 277 52489 | 1 | 0 630.81/631.06 c 631s | 25 | 5981781 | 5881298 | 277 52619 | 1 | 0 632.81/633.06 c 633s | 25 | 6000540 | 5899798 | 277 52748 | 1 | 0 634.81/635.06 c 635s | 25 | 6018966 | 5917998 | 277 52875 | 1 | 0 636.82/637.06 c 637s | 25 | 6037637 | 5936398 | 277 53003 | 1 | 0 638.81/639.07 c 639s | 25 | 6056186 | 5954698 | 277 53131 | 1 | 0 640.81/641.07 c 641s | 25 | 6074243 | 5972498 | 277 53252 | 1 | 0 642.81/643.08 c 643s | 25 | 6093210 | 5991198 | 277 53380 | 1 | 0 644.80/645.08 c 645s | 25 | 6111329 | 6009098 | 277 53503 | 1 | 0 646.80/647.09 c 647s | 25 | 6130014 | 6027398 | 277 53628 | 1 | 0 648.81/649.09 c 649s | 25 | 6147707 | 6044898 | 277 53748 | 1 | 0 650.90/651.10 c 651s | 25 | 6166192 | 6063098 | 277 53874 | 1 | 0 652.90/653.10 c 653s | 25 | 6184501 | 6081198 | 277 53999 | 1 | 0 654.90/655.11 c 655s | 25 | 6203283 | 6099598 | 277 54126 | 1 | 0 656.90/657.11 c 657s | 25 | 6223152 | 6118998 | 277 54261 | 1 | 0 658.90/659.12 c 659s | 25 | 6241425 | 6136998 | 277 54385 | 1 | 0 660.91/661.13 c 661s | 25 | 6259644 | 6154898 | 277 54509 | 1 | 0 662.90/663.13 c 663s | 25 | 6277968 | 6172998 | 277 54634 | 1 | 0 664.90/665.14 c 665s | 25 | 6296266 | 6191098 | 277 54759 | 1 | 0 666.90/667.15 c 667s | 25 | 6314695 | 6209198 | 277 54884 | 1 | 0 668.89/669.16 c 669s | 25 | 6332708 | 6226998 | 277 55007 | 1 | 0 670.90/671.16 c 671s | 25 | 6350657 | 6244698 | 277 55129 | 1 | 0 672.89/673.17 c 673s | 25 | 6368527 | 6262398 | 277 55252 | 1 | 0 674.89/675.18 c 675s | 25 | 6385947 | 6279598 | 277 55372 | 1 | 0 676.89/677.19 c 677s | 25 | 6402836 | 6296298 | 277 55488 | 1 | 0 678.99/679.20 c 679s | 25 | 6419751 | 6312998 | 277 55602 | 1 | 0 680.99/681.20 c 681s | 25 | 6436954 | 6329998 | 277 55719 | 1 | 0 683.00/683.21 c 683s | 25 | 6454313 | 6347198 | 277 55838 | 1 | 0 684.99/685.22 c 685s | 25 | 6471994 | 6364598 | 277 55958 | 1 | 0 686.99/687.22 c 687s | 25 | 6490081 | 6382398 | 277 56083 | 1 | 0 688.99/689.23 c 689s | 25 | 6508042 | 6400098 | 277 56206 | 1 | 0 690.99/691.24 c 691s | 25 | 6525857 | 6417698 | 277 56328 | 1 | 0 692.99/693.24 c 693s | 25 | 6543846 | 6435498 | 277 56451 | 1 | 0 694.99/695.25 c 695s | 25 | 6561868 | 6453298 | 277 56576 | 1 | 0 696.99/697.25 c 697s | 25 | 6579923 | 6471098 | 277 56701 | 1 | 0 698.99/699.26 c 699s | 25 | 6598045 | 6488898 | 277 56825 | 1 | 0 700.98/701.27 c 701s | 25 | 6616506 | 6506998 | 277 56951 | 1 | 0 702.98/703.27 c 703s | 25 | 6634607 | 6524798 | 277 57075 | 1 | 0 704.99/705.28 c 705s | 25 | 6652932 | 6542898 | 277 57202 | 1 | 0 706.98/707.29 c 707s | 25 | 6669274 | 6558998 | 277 57315 | 1 | 0 709.08/709.30 c 709s | 25 | 6687182 | 6576698 | 277 57440 | 1 | 0 711.08/711.31 c 711s | 25 | 6705530 | 6594798 | 277 57567 | 1 | 0 713.08/713.31 c 713s | 25 | 6724680 | 6613598 | 277 57693 | 1 | 0 715.07/715.32 c 715s | 25 | 6743385 | 6631998 | 277 57818 | 1 | 0 717.08/717.33 c 717s | 25 | 6761847 | 6650098 | 277 57941 | 1 | 0 719.07/719.34 c 719s | 25 | 6781364 | 6669098 | 277 58071 | 1 | 0 721.07/721.34 c 721s | 25 | 6799906 | 6687298 | 277 58196 | 1 | 0 723.07/723.34 c 723s | 25 | 6818023 | 6705098 | 277 58317 | 1 | 0 725.06/725.34 c 725s | 25 | 6835357 | 6722198 | 277 58435 | 1 | 0 727.06/727.35 c 727s | 25 | 6852738 | 6739298 | 277 58552 | 1 | 0 729.07/729.36 c 729s | 25 | 6870615 | 6756998 | 277 58674 | 1 | 0 731.06/731.36 c 731s | 25 | 6888659 | 6774798 | 277 58796 | 1 | 0 733.07/733.36 c 733s | 25 | 6906035 | 6791898 | 277 58913 | 1 | 0 735.07/735.36 c 735s | 25 | 6923869 | 6809498 | 277 59036 | 1 | 0 737.07/737.37 c 737s | 25 | 6942120 | 6827498 | 277 59160 | 1 | 0 739.07/739.37 c 739s | 25 | 6960524 | 6845598 | 277 59285 | 1 | 0 741.06/741.38 c 741s | 25 | 6979865 | 6864498 | 277 59416 | 1 | 0 743.06/743.38 c 743s | 25 | 6999096 | 6883398 | 277 59548 | 1 | 0 745.06/745.39 c 745s | 25 | 7017068 | 6901098 | 277 59672 | 1 | 0 747.16/747.40 c 747s | 25 | 7035609 | 6919298 | 277 59800 | 1 | 0 749.16/749.40 c 749s | 25 | 7053544 | 6936998 | 277 59923 | 1 | 0 751.07/751.41 c 751s | 25 | 7072517 | 6955598 | 277 60052 | 1 | 0 753.15/753.42 c 753s | 25 | 7090532 | 6973298 | 277 60176 | 1 | 0 755.15/755.42 c 755s | 25 | 7108651 | 6991198 | 277 60300 | 1 | 0 757.15/757.43 c 757s | 25 | 7126518 | 7008898 | 277 60422 | 1 | 0 759.15/759.44 c 759s | 25 | 7144773 | 7026998 | 277 60549 | 1 | 0 761.15/761.44 c 761s | 25 | 7162835 | 7044798 | 277 60673 | 1 | 0 763.15/763.44 c 763s | 25 | 7181416 | 7063198 | 277 60803 | 1 | 0 765.14/765.45 c 765s | 25 | 7200246 | 7081798 | 277 60933 | 1 | 0 767.14/767.46 c 767s | 25 | 7219236 | 7100598 | 277 61067 | 1 | 0 769.14/769.46 c 769s | 25 | 7238556 | 7119598 | 277 61198 | 1 | 0 771.15/771.47 c 771s | 25 | 7257598 | 7138398 | 277 61324 | 1 | 0 773.16/773.48 c 773s | 25 | 7276596 | 7156998 | 277 61449 | 1 | 0 775.14/775.49 c 775s | 25 | 7295343 | 7175398 | 277 61573 | 1 | 0 777.14/777.49 c 777s | 25 | 7314256 | 7193998 | 277 61698 | 1 | 0 779.14/779.49 c 779s | 25 | 7333198 | 7212698 | 277 61825 | 1 | 0 781.24/781.50 c 781s | 25 | 7351715 | 7230898 | 277 61948 | 1 | 0 783.24/783.50 c 783s | 25 | 7370270 | 7249198 | 277 62072 | 1 | 0 785.14/785.50 c 785s | 25 | 7388612 | 7267298 | 277 62195 | 1 | 0 787.23/787.51 c 787s | 25 | 7407488 | 7285798 | 277 62321 | 1 | 0 789.23/789.52 c 789s | 25 | 7426546 | 7304498 | 277 62448 | 1 | 0 791.23/791.52 c 791s | 25 | 7445485 | 7323098 | 277 62575 | 1 | 0 793.23/793.53 c 793s | 25 | 7463949 | 7341298 | 277 62700 | 1 | 0 795.23/795.53 c 795s | 25 | 7482316 | 7359398 | 277 62824 | 1 | 0 797.23/797.54 c 797s | 25 | 7500122 | 7376998 | 277 62946 | 1 | 0 799.22/799.55 c 799s | 25 | 7517458 | 7394098 | 277 63061 | 1 | 0 801.22/801.55 c 801s | 25 | 7535280 | 7411598 | 277 63180 | 1 | 0 803.23/803.56 c 803s | 25 | 7553239 | 7429298 | 277 63301 | 1 | 0 805.23/805.56 c 805s | 25 | 7571036 | 7446898 | 277 63422 | 1 | 0 807.24/807.57 c 807s | 25 | 7589003 | 7464598 | 277 63543 | 1 | 0 809.23/809.58 c 809s | 25 | 7606599 | 7481898 | 277 63661 | 1 | 0 811.23/811.58 c 811s | 25 | 7624856 | 7499798 | 277 63782 | 1 | 0 813.23/813.59 c 813s | 25 | 7642538 | 7517198 | 277 63902 | 1 | 0 815.22/815.59 c 815s | 25 | 7660068 | 7534398 | 277 64020 | 1 | 0 817.22/817.60 c 817s | 25 | 7677011 | 7551098 | 305 64129 | 1 | 0 819.33/819.61 c 819s | 25 | 7694947 | 7568698 | 305 64240 | 1 | 0 821.32/821.62 c 821s | 25 | 7712547 | 7585998 | 305 64348 | 1 | 0 822.63/822.96 c 822s | 26 | 7724495 | 7597752 | 305 64422 | 1 | 0 824.62/824.96 c 824s | 26 | 7741934 | 7614952 | 305 64528 | 1 | 0 826.62/826.97 c 826s | 26 | 7759338 | 7632152 | 305 64635 | 1 | 0 828.62/828.98 c 828s | 26 | 7776920 | 7649352 | 305 64742 | 1 | 0 830.61/830.98 c 830s | 26 | 7794889 | 7666952 | 305 64852 | 1 | 0 832.61/832.98 c 832s | 26 | 7813019 | 7684752 | 305 64963 | 1 | 0 834.62/834.99 c 834s | 26 | 7831047 | 7702452 | 305 65074 | 1 | 0 836.71/837.00 c 836s | 26 | 7847962 | 7719152 | 305 65178 | 1 | 0 838.71/839.00 c 838s | 26 | 7865121 | 7736052 | 305 65285 | 1 | 0 840.71/841.00 c 840s | 26 | 7882408 | 7753152 | 305 65393 | 1 | 0 842.71/843.02 c 843s | 26 | 7900039 | 7770552 | 305 65504 | 1 | 0 844.70/845.02 c 845s | 26 | 7918063 | 7788352 | 305 65614 | 1 | 0 846.72/847.03 c 847s | 26 | 7936628 | 7806652 | 305 65728 | 1 | 0 848.71/849.03 c 849s | 26 | 7955000 | 7824652 | 305 65841 | 1 | 0 850.71/851.03 c 851s | 26 | 7972348 | 7841752 | 305 65947 | 1 | 0 852.71/853.04 c 853s | 26 | 7990244 | 7859452 | 305 66058 | 1 | 0 854.70/855.05 c 855s | 26 | 8007392 | 7876452 | 305 66165 | 1 | 0 856.71/857.06 c 857s | 26 | 8025371 | 7894152 | 305 66276 | 1 | 0 858.70/859.06 c 859s | 26 | 8043956 | 7912452 | 305 66391 | 1 | 0 860.70/861.07 c 861s | 26 | 8062639 | 7930852 | 305 66507 | 1 | 0 862.70/863.08 c 863s | 26 | 8080747 | 7948652 | 305 66620 | 1 | 0 864.70/865.08 c 865s | 26 | 8098512 | 7966152 | 305 66730 | 1 | 0 866.70/867.08 c 867s | 26 | 8115900 | 7983252 | 305 66837 | 1 | 0 868.70/869.09 c 869s | 26 | 8133480 | 8000552 | 305 66946 | 1 | 0 870.79/871.10 c 871s | 26 | 8151207 | 8018052 | 305 67056 | 1 | 0 872.79/873.11 c 873s | 26 | 8168925 | 8035552 | 305 67166 | 1 | 0 874.79/875.11 c 875s | 26 | 8186757 | 8053152 | 305 67278 | 1 | 0 876.79/877.12 c 877s | 26 | 8204082 | 8070252 | 305 67385 | 1 | 0 878.79/879.12 c 879s | 26 | 8221773 | 8087652 | 305 67494 | 1 | 0 880.79/881.13 c 881s | 26 | 8239251 | 8104852 | 305 67603 | 1 | 0 882.78/883.13 c 883s | 26 | 8257158 | 8122552 | 305 67715 | 1 | 0 884.78/885.14 c 885s | 26 | 8274498 | 8139652 | 305 67822 | 1 | 0 886.78/887.14 c 887s | 26 | 8292036 | 8156952 | 305 67932 | 1 | 0 888.78/889.15 c 889s | 26 | 8309703 | 8174352 | 305 68042 | 1 | 0 890.79/891.15 c 891s | 26 | 8327378 | 8191852 | 305 68152 | 1 | 0 892.78/893.15 c 893s | 26 | 8345473 | 8209752 | 305 68265 | 1 | 0 894.78/895.16 c 895s | 26 | 8363499 | 8227552 | 305 68378 | 1 | 0 896.78/897.16 c 897s | 26 | 8381945 | 8245652 | 305 68493 | 1 | 0 898.78/899.17 c 899s | 26 | 8400221 | 8263752 | 305 68607 | 1 | 0 900.78/901.17 c 901s | 26 | 8418629 | 8281852 | 305 68722 | 1 | 0 902.79/903.17 c 903s | 26 | 8436041 | 8299052 | 305 68831 | 1 | 0 904.79/905.17 c 905s | 26 | 8454564 | 8317352 | 305 68948 | 1 | 0 906.79/907.18 c 907s | 26 | 8472415 | 8334952 | 305 69060 | 1 | 0 908.79/909.18 c 909s | 26 | 8489943 | 8352252 | 305 69170 | 1 | 0 910.79/911.19 c 911s | 26 | 8508252 | 8370252 | 305 69286 | 1 | 0 912.89/913.20 c 913s | 26 | 8525398 | 8387152 | 305 69393 | 1 | 0 914.89/915.21 c 915s | 26 | 8541759 | 8403352 | 305 69494 | 1 | 0 916.88/917.21 c 917s | 26 | 8559385 | 8420652 | 305 69602 | 1 | 0 918.88/919.21 c 919s | 26 | 8577085 | 8438152 | 305 69713 | 1 | 0 920.88/921.22 c 921s | 26 | 8594172 | 8454952 | 305 69817 | 1 | 0 922.88/923.23 c 923s | 26 | 8610999 | 8471552 | 305 69921 | 1 | 0 924.89/925.24 c 925s | 26 | 8628302 | 8488652 | 305 70029 | 1 | 0 926.88/927.25 c 927s | 26 | 8645469 | 8505552 | 305 70135 | 1 | 0 928.88/929.25 c 929s | 26 | 8662348 | 8522252 | 305 70240 | 1 | 0 930.88/931.26 c 931s | 26 | 8679521 | 8539152 | 305 70347 | 1 | 0 932.88/933.26 c 933s | 26 | 8696578 | 8556052 | 305 70452 | 1 | 0 934.88/935.27 c 935s | 26 | 8713775 | 8573052 | 305 70559 | 1 | 0 936.88/937.27 c 937s | 26 | 8730851 | 8589952 | 305 70665 | 1 | 0 938.88/939.29 c 939s | 26 | 8748368 | 8607252 | 305 70774 | 1 | 0 940.88/941.29 c 941s | 26 | 8766197 | 8624852 | 305 70885 | 1 | 0 942.98/943.30 c 943s | 26 | 8783895 | 8642352 | 305 70996 | 1 | 0 944.98/945.31 c 945s | 26 | 8801619 | 8659852 | 305 71107 | 1 | 0 946.98/947.31 c 947s | 26 | 8819243 | 8677252 | 305 71217 | 1 | 0 948.99/949.31 c 949s | 26 | 8836840 | 8694552 | 305 71325 | 1 | 0 950.98/951.32 c 951s | 26 | 8854425 | 8711952 | 305 71435 | 1 | 0 952.98/953.33 c 953s | 26 | 8872025 | 8729352 | 305 71545 | 1 | 0 954.97/955.34 c 955s | 26 | 8889731 | 8746852 | 305 71657 | 1 | 0 956.97/957.34 c 957s | 26 | 8907234 | 8764152 | 305 71765 | 1 | 0 958.98/959.34 c 959s | 26 | 8924188 | 8780952 | 305 71870 | 1 | 0 960.97/961.35 c 961s | 26 | 8942042 | 8798552 | 305 71982 | 1 | 0 962.97/963.36 c 963s | 26 | 8959947 | 8816152 | 305 72094 | 1 | 0 964.97/965.36 c 965s | 26 | 8977787 | 8833752 | 305 72205 | 1 | 0 966.97/967.37 c 967s | 26 | 8995507 | 8851252 | 305 72316 | 1 | 0 968.97/969.38 c 969s | 26 | 9012884 | 8868452 | 305 72425 | 1 | 0 970.98/971.38 c 971s | 26 | 9030316 | 8885652 | 305 72534 | 1 | 0 972.97/973.38 c 973s | 26 | 9047896 | 8902952 | 305 72644 | 1 | 0 974.97/975.39 c 975s | 26 | 9065497 | 8920352 | 305 72755 | 1 | 0 977.07/977.40 c 977s | 26 | 9082683 | 8937352 | 305 72864 | 1 | 0 979.07/979.41 c 979s | 26 | 9099811 | 8954252 | 305 72969 | 1 | 0 981.08/981.41 c 981s | 26 | 9117141 | 8971352 | 305 73077 | 1 | 0 983.08/983.42 c 983s | 26 | 9135191 | 8989152 | 305 73189 | 1 | 0 985.07/985.42 c 985s | 26 | 9152613 | 9006352 | 305 73296 | 1 | 0 987.07/987.43 c 987s | 26 | 9169966 | 9023552 | 305 73404 | 1 | 0 989.07/989.44 c 989s | 26 | 9187427 | 9040752 | 305 73512 | 1 | 0 991.07/991.44 c 991s | 26 | 9204970 | 9058052 | 305 73622 | 1 | 0 993.08/993.45 c 993s | 26 | 9222249 | 9075152 | 305 73730 | 1 | 0 995.07/995.46 c 995s | 26 | 9240030 | 9092652 | 305 73839 | 1 | 0 997.07/997.46 c 997s | 26 | 9257278 | 9109652 | 305 73946 | 1 | 0 999.06/999.47 c 999s | 26 | 9274240 | 9126452 | 305 74051 | 1 | 0 1001.06/1001.47 c 1001s | 26 | 9291776 | 9143752 | 305 74160 | 1 | 0 1003.06/1003.47 c 1003s | 26 | 9309395 | 9161152 | 305 74269 | 1 | 0 1005.07/1005.48 c 1005s | 26 | 9326451 | 9177952 | 305 74376 | 1 | 0 1007.07/1007.48 c 1007s | 26 | 9343595 | 9194852 | 305 74482 | 1 | 0 1009.07/1009.49 c 1009s | 26 | 9361279 | 9212252 | 305 74592 | 1 | 0 1011.07/1011.49 c 1011s | 26 | 9379126 | 9229852 | 305 74704 | 1 | 0 1013.07/1013.49 c 1013s | 26 | 9396636 | 9247152 | 305 74813 | 1 | 0 1015.08/1015.49 c 1015s | 26 | 9414396 | 9264752 | 305 74924 | 1 | 0 1017.07/1017.50 c 1017s | 26 | 9432347 | 9282452 | 305 75037 | 1 | 0 1019.17/1019.51 c 1019s | 26 | 9450381 | 9300252 | 305 75150 | 1 | 0 1021.17/1021.51 c 1021s | 26 | 9467785 | 9317352 | 305 75258 | 1 | 0 1023.17/1023.51 c 1023s | 26 | 9484687 | 9334052 | 305 75363 | 1 | 0 1025.16/1025.51 c 1025s | 26 | 9501306 | 9350452 | 305 75466 | 1 | 0 1027.17/1027.52 c 1027s | 26 | 9518311 | 9367152 | 305 75571 | 1 | 0 1029.16/1029.53 c 1029s | 26 | 9535422 | 9384052 | 305 75679 | 1 | 0 1031.16/1031.54 c 1031s | 26 | 9552265 | 9400652 | 305 75783 | 1 | 0 1033.16/1033.54 c 1033s | 26 | 9569295 | 9417452 | 305 75889 | 1 | 0 1035.16/1035.55 c 1035s | 26 | 9586274 | 9434152 | 305 75995 | 1 | 0 1037.16/1037.55 c 1037s | 26 | 9603672 | 9451252 | 305 76103 | 1 | 0 1039.17/1039.56 c 1039s | 26 | 9621331 | 9468652 | 305 76213 | 1 | 0 1041.16/1041.56 c 1041s | 26 | 9638733 | 9485752 | 305 76320 | 1 | 0 1043.17/1043.57 c 1043s | 26 | 9657030 | 9503752 | 305 76434 | 1 | 0 1045.17/1045.58 c 1045s | 26 | 9675715 | 9522152 | 305 76551 | 1 | 0 1047.16/1047.58 c 1047s | 26 | 9693872 | 9540052 | 305 76664 | 1 | 0 1049.17/1049.58 c 1049s | 26 | 9712566 | 9558452 | 305 76782 | 1 | 0 1051.16/1051.59 c 1051s | 26 | 9730313 | 9575952 | 305 76893 | 1 | 0 1053.16/1053.59 c 1053s | 26 | 9748691 | 9594052 | 305 77008 | 1 | 0 1055.26/1055.60 c 1055s | 26 | 9766289 | 9611452 | 305 77117 | 1 | 0 1057.26/1057.60 c 1057s | 26 | 9784410 | 9629352 | 305 77231 | 1 | 0 1059.26/1059.60 c 1059s | 26 | 9802553 | 9647252 | 305 77345 | 1 | 0 1061.27/1061.61 c 1061s | 26 | 9820571 | 9665052 | 305 77458 | 1 | 0 1063.26/1063.61 c 1063s | 26 | 9839107 | 9683352 | 305 77574 | 1 | 0 1065.26/1065.62 c 1065s | 26 | 9857384 | 9701352 | 305 77688 | 1 | 0 1067.26/1067.63 c 1067s | 26 | 9875650 | 9719352 | 305 77802 | 1 | 0 1069.26/1069.64 c 1069s | 26 | 9894273 | 9737652 | 305 77919 | 1 | 0 1071.26/1071.64 c 1071s | 26 | 9912095 | 9755252 | 305 78030 | 1 | 0 1073.26/1073.65 c 1073s | 26 | 9930441 | 9773352 | 305 78145 | 1 | 0 1075.26/1075.65 c 1075s | 26 | 9948289 | 9790952 | 305 78258 | 1 | 0 1077.26/1077.65 c 1077s | 26 | 9965941 | 9808352 | 305 78369 | 1 | 0 1079.25/1079.66 c 1079s | 26 | 9984017 | 9826152 | 305 78482 | 1 | 0 1081.25/1081.67 c 1081s | 26 | 10002307 | 9844152 | 305 78598 | 1 | 0 1083.26/1083.67 c 1083s | 26 | 10020533 | 9862152 | 305 78712 | 1 | 0 1085.25/1085.68 c 1085s | 26 | 10038756 | 9880152 | 305 78826 | 1 | 0 1087.25/1087.69 c 1087s | 26 | 10057622 | 9898752 | 305 78945 | 1 | 0 1089.35/1089.70 c 1089s | 26 | 10076074 | 9916952 | 305 79061 | 1 | 0 1091.35/1091.70 c 1091s | 26 | 10094728 | 9935352 | 305 79179 | 1 | 0 1093.35/1093.71 c 1093s | 26 | 10113090 | 9953452 | 305 79294 | 1 | 0 1095.37/1095.71 c 1095s | 26 | 10131653 | 9971752 | 305 79412 | 1 | 0 1097.36/1097.72 c 1097s | 26 | 10149812 | 9989652 | 305 79525 | 1 | 0 1099.36/1099.73 c 1099s | 26 | 10167953 | 10007552 | 305 79640 | 1 | 0 1101.36/1101.74 c 1101s | 26 | 10186453 | 10025752 | 305 79757 | 1 | 0 1103.36/1103.75 c 1103s | 26 | 10205264 | 10044252 | 305 79876 | 1 | 0 1105.36/1105.76 c 1105s | 26 | 10223489 | 10062252 | 305 79991 | 1 | 0 1107.36/1107.76 c 1107s | 26 | 10241063 | 10079552 | 305 80101 | 1 | 0 1109.36/1109.77 c 1109s | 26 | 10258647 | 10096852 | 305 80209 | 1 | 0 1111.36/1111.78 c 1111s | 26 | 10275610 | 10113552 | 305 80313 | 1 | 0 1113.35/1113.78 c 1113s | 26 | 10292734 | 10130452 | 305 80419 | 1 | 0 1115.35/1115.78 c 1115s | 26 | 10309885 | 10147352 | 305 80524 | 1 | 0 1117.36/1117.79 c 1117s | 26 | 10327260 | 10164452 | 305 80631 | 1 | 0 1119.35/1119.80 c 1119s | 26 | 10344843 | 10181752 | 305 80739 | 1 | 0 1121.45/1121.81 c 1121s | 26 | 10362001 | 10198652 | 305 80844 | 1 | 0 1123.45/1123.81 c 1123s | 26 | 10378952 | 10215352 | 305 80950 | 1 | 0 1125.45/1125.82 c 1125s | 26 | 10396398 | 10232552 | 305 81058 | 1 | 0 1127.45/1127.83 c 1127s | 26 | 10413274 | 10249152 | 305 81163 | 1 | 0 1129.46/1129.83 c 1129s | 26 | 10430603 | 10266152 | 305 81270 | 1 | 0 1131.44/1131.84 c 1131s | 26 | 10447684 | 10282952 | 305 81376 | 1 | 0 1133.44/1133.84 c 1133s | 26 | 10464723 | 10299752 | 305 81483 | 1 | 0 1135.44/1135.85 c 1135s | 26 | 10482378 | 10317152 | 305 81593 | 1 | 0 1137.45/1137.85 c 1137s | 26 | 10500078 | 10334452 | 305 81700 | 1 | 0 1139.45/1139.85 c 1139s | 26 | 10518262 | 10352252 | 305 81811 | 1 | 0 1141.46/1141.86 c 1141s | 26 | 10535950 | 10369652 | 305 81920 | 1 | 0 1143.45/1143.86 c 1143s | 26 | 10554090 | 10387452 | 305 82031 | 1 | 0 1145.45/1145.87 c 1145s | 26 | 10572063 | 10405152 | 305 82142 | 1 | 0 1147.45/1147.87 c 1147s | 26 | 10589752 | 10422552 | 305 82251 | 1 | 0 1149.45/1149.87 c 1149s | 26 | 10607857 | 10440352 | 305 82364 | 1 | 0 1151.46/1151.88 c 1151s | 26 | 10625834 | 10458052 | 305 82476 | 1 | 0 1153.44/1153.89 c 1153s | 26 | 10643770 | 10475652 | 305 82586 | 1 | 0 1155.54/1155.90 c 1155s | 26 | 10661640 | 10493152 | 305 82696 | 1 | 0 1157.54/1157.91 c 1157s | 26 | 10679272 | 10510552 | 305 82807 | 1 | 0 1159.54/1159.91 c 1159s | 26 | 10696791 | 10527752 | 305 82916 | 1 | 0 1161.54/1161.91 c 1161s | 26 | 10714343 | 10544952 | 305 83024 | 1 | 0 1163.55/1163.92 c 1163s | 26 | 10731658 | 10561952 | 305 83131 | 1 | 0 1165.54/1165.93 c 1165s | 26 | 10749167 | 10579152 | 305 83239 | 1 | 0 1167.54/1167.94 c 1167s | 26 | 10766743 | 10596352 | 305 83347 | 1 | 0 1169.54/1169.95 c 1169s | 26 | 10784117 | 10613452 | 305 83456 | 1 | 0 1171.54/1171.95 c 1171s | 26 | 10800853 | 10629952 | 305 83560 | 1 | 0 1173.54/1173.95 c 1173s | 26 | 10818028 | 10646852 | 305 83668 | 1 | 0 1175.55/1175.95 c 1175s | 26 | 10835238 | 10663852 | 305 83775 | 1 | 0 1177.54/1177.96 c 1177s | 26 | 10853172 | 10681452 | 305 83886 | 1 | 0 1179.54/1179.96 c 1179s | 26 | 10871607 | 10699452 | 305 83999 | 1 | 0 1181.54/1181.97 c 1181s | 26 | 10889481 | 10716952 | 305 84108 | 1 | 0 1183.54/1183.97 c 1183s | 26 | 10907128 | 10734252 | 305 84217 | 1 | 0 1185.55/1185.98 c 1185s | 26 | 10924721 | 10751652 | 305 84327 | 1 | 0 1187.54/1187.99 c 1187s | 26 | 10942869 | 10769452 | 305 84439 | 1 | 0 1189.54/1189.99 c 1189s | 26 | 10960867 | 10787152 | 305 84551 | 1 | 0 1191.63/1192.00 c 1191s | 26 | 10979417 | 10805352 | 305 84666 | 1 | 0 1193.63/1194.01 c 1193s | 26 | 10997737 | 10823352 | 305 84780 | 1 | 0 1195.64/1196.02 c 1196s | 26 | 11016418 | 10841652 | 305 84897 | 1 | 0 1197.65/1198.02 c 1198s | 26 | 11034072 | 10859052 | 305 85007 | 1 | 0 1199.64/1200.02 c 1200s | 26 | 11051567 | 10876252 | 305 85115 | 1 | 0 1201.64/1202.04 c 1202s | 26 | 11069252 | 10893752 | 305 85226 | 1 | 0 1203.64/1204.04 c 1204s | 26 | 11087105 | 10911352 | 305 85337 | 1 | 0 1205.64/1206.05 c 1206s | 26 | 11104725 | 10928752 | 305 85447 | 1 | 0 1207.64/1208.05 c 1208s | 26 | 11122217 | 10945952 | 305 85556 | 1 | 0 1209.65/1210.06 c 1210s | 26 | 11139213 | 10962752 | 305 85662 | 1 | 0 1211.64/1212.07 c 1212s | 26 | 11156759 | 10980052 | 305 85772 | 1 | 0 1213.64/1214.08 c 1214s | 26 | 11174835 | 10997852 | 305 85886 | 1 | 0 1215.64/1216.08 c 1216s | 26 | 11192801 | 11015452 | 305 85997 | 1 | 0 1217.64/1218.08 c 1218s | 26 | 11211117 | 11033452 | 305 86111 | 1 | 0 1219.64/1220.08 c 1220s | 26 | 11229623 | 11051652 | 305 86227 | 1 | 0 1221.63/1222.09 c 1222s | 26 | 11247687 | 11069452 | 305 86341 | 1 | 0 1223.63/1224.09 c 1224s | 26 | 11265888 | 11087352 | 305 86454 | 1 | 0 1225.73/1226.10 c 1226s | 26 | 11284356 | 11105452 | 305 86569 | 1 | 0 1227.73/1228.11 c 1228s | 26 | 11302377 | 11123152 | 305 86682 | 1 | 0 1229.73/1230.11 c 1230s | 26 | 11320459 | 11140952 | 305 86796 | 1 | 0 1231.74/1232.12 c 1232s | 26 | 11338125 | 11158352 | 305 86907 | 1 | 0 1233.73/1234.13 c 1234s | 26 | 11355976 | 11175952 | 305 87019 | 1 | 0 1235.73/1236.13 c 1236s | 26 | 11374431 | 11194052 | 305 87135 | 1 | 0 1237.73/1238.13 c 1238s | 26 | 11392278 | 11211652 | 305 87248 | 1 | 0 1239.73/1240.14 c 1240s | 26 | 11410155 | 11229252 | 305 87361 | 1 | 0 1241.73/1242.14 c 1242s | 26 | 11428382 | 11247152 | 305 87476 | 1 | 0 1243.73/1244.15 c 1244s | 26 | 11446714 | 11265052 | 305 87588 | 1 | 0 1245.73/1246.15 c 1246s | 26 | 11463748 | 11281852 | 305 87692 | 1 | 0 1247.73/1248.16 c 1248s | 26 | 11480749 | 11298652 | 305 87797 | 1 | 0 1249.73/1250.16 c 1250s | 26 | 11498444 | 11316052 | 336 87905 | 1 | 0 1251.73/1252.17 c 1252s | 26 | 11515852 | 11333252 | 336 88004 | 1 | 0 1253.74/1254.17 c 1254s | 26 | 11533203 | 11350352 | 336 88102 | 1 | 0 1255.73/1256.18 c 1256s | 26 | 11550494 | 11367352 | 336 88199 | 1 | 0 1257.73/1258.19 c 1258s | 26 | 11568544 | 11384952 | 336 88299 | 1 | 0 1259.14/1259.60 c 1259s | 27 | 11580527 | 11396733 | 336 88366 | 1 | 0 1261.23/1261.61 c 1261s | 27 | 11598033 | 11413933 | 336 88464 | 1 | 0 1263.23/1263.61 c 1263s | 27 | 11615236 | 11430833 | 336 88559 | 1 | 0 1265.23/1265.62 c 1265s | 27 | 11632531 | 11447833 | 336 88657 | 1 | 0 1267.23/1267.62 c 1267s | 27 | 11650018 | 11465033 | 336 88755 | 1 | 0 1269.23/1269.63 c 1269s | 27 | 11667974 | 11482733 | 336 88857 | 1 | 0 1271.23/1271.64 c 1271s | 27 | 11685545 | 11500033 | 336 88956 | 1 | 0 1273.23/1273.65 c 1273s | 27 | 11703229 | 11517433 | 336 89056 | 1 | 0 1275.23/1275.65 c 1275s | 27 | 11721215 | 11535033 | 336 89156 | 1 | 0 1277.23/1277.65 c 1277s | 27 | 11739717 | 11553333 | 336 89261 | 1 | 0 1279.22/1279.66 c 1279s | 27 | 11758049 | 11571333 | 336 89364 | 1 | 0 1281.23/1281.67 c 1281s | 27 | 11775978 | 11589033 | 336 89465 | 1 | 0 1283.22/1283.67 c 1283s | 27 | 11793739 | 11606533 | 336 89566 | 1 | 0 1285.22/1285.68 c 1285s | 27 | 11811509 | 11624133 | 336 89667 | 1 | 0 1287.22/1287.69 c 1287s | 27 | 11829611 | 11642033 | 336 89770 | 1 | 0 1289.22/1289.69 c 1289s | 27 | 11847306 | 11659533 | 336 89871 | 1 | 0 1291.22/1291.69 c 1291s | 27 | 11865007 | 11677033 | 336 89972 | 1 | 0 1293.23/1293.69 c 1293s | 27 | 11882491 | 11694333 | 336 90073 | 1 | 0 1295.33/1295.70 c 1295s | 27 | 11899814 | 11711533 | 336 90171 | 1 | 0 1297.32/1297.71 c 1297s | 27 | 11916439 | 11727933 | 336 90265 | 1 | 0 1299.32/1299.72 c 1299s | 27 | 11934739 | 11745933 | 336 90367 | 1 | 0 1301.32/1301.72 c 1301s | 27 | 11952549 | 11763533 | 336 90469 | 1 | 0 1303.32/1303.73 c 1303s | 27 | 11970299 | 11781033 | 336 90569 | 1 | 0 1305.33/1305.73 c 1305s | 27 | 11988458 | 11798933 | 336 90671 | 1 | 0 1307.32/1307.74 c 1307s | 27 | 12006426 | 11816633 | 336 90772 | 1 | 0 1309.33/1309.74 c 1309s | 27 | 12024322 | 11834333 | 336 90873 | 1 | 0 1311.32/1311.74 c 1311s | 27 | 12041855 | 11851733 | 336 90973 | 1 | 0 1313.32/1313.75 c 1313s | 27 | 12060469 | 11870133 | 336 91079 | 1 | 0 1315.33/1315.76 c 1315s | 27 | 12079308 | 11888733 | 336 91186 | 1 | 0 1317.32/1317.76 c 1317s | 27 | 12096990 | 11906133 | 336 91286 | 1 | 0 1319.32/1319.76 c 1319s | 27 | 12114615 | 11923533 | 336 91387 | 1 | 0 1321.32/1321.78 c 1321s | 27 | 12132187 | 11940933 | 336 91487 | 1 | 0 1323.32/1323.78 c 1323s | 27 | 12149745 | 11958233 | 336 91587 | 1 | 0 1325.32/1325.79 c 1325s | 27 | 12167171 | 11975433 | 336 91687 | 1 | 0 1327.33/1327.80 c 1327s | 27 | 12184740 | 11992733 | 336 91787 | 1 | 0 1329.42/1329.80 c 1329s | 27 | 12202462 | 12010233 | 336 91888 | 1 | 0 1331.42/1331.81 c 1331s | 27 | 12220164 | 12027633 | 336 91989 | 1 | 0 1333.42/1333.82 c 1333s | 27 | 12237681 | 12044933 | 336 92089 | 1 | 0 1335.42/1335.82 c 1335s | 27 | 12255463 | 12062433 | 336 92191 | 1 | 0 1337.41/1337.83 c 1337s | 27 | 12273566 | 12080233 | 336 92294 | 1 | 0 1339.42/1339.83 c 1339s | 27 | 12291646 | 12098033 | 336 92398 | 1 | 0 1341.42/1341.84 c 1341s | 27 | 12309743 | 12115833 | 336 92502 | 1 | 0 1343.42/1343.84 c 1343s | 27 | 12328466 | 12134233 | 336 92610 | 1 | 0 1345.42/1345.85 c 1345s | 27 | 12346209 | 12151733 | 336 92711 | 1 | 0 1347.42/1347.85 c 1347s | 27 | 12364062 | 12169333 | 336 92812 | 1 | 0 1349.43/1349.86 c 1349s | 27 | 12382042 | 12186933 | 336 92913 | 1 | 0 1351.42/1351.87 c 1351s | 27 | 12399529 | 12204233 | 336 93012 | 1 | 0 1353.42/1353.88 c 1353s | 27 | 12417602 | 12222033 | 336 93114 | 1 | 0 1355.42/1355.88 c 1355s | 27 | 12435737 | 12240033 | 336 93218 | 1 | 0 1357.41/1357.89 c 1357s | 27 | 12453266 | 12257333 | 336 93317 | 1 | 0 1359.41/1359.89 c 1359s | 27 | 12470669 | 12274533 | 336 93417 | 1 | 0 1361.42/1361.89 c 1361s | 27 | 12488615 | 12292133 | 336 93519 | 1 | 0 1363.51/1363.90 c 1363s | 27 | 12506704 | 12309933 | 336 93622 | 1 | 0 1365.51/1365.90 c 1365s | 27 | 12524357 | 12327233 | 336 93721 | 1 | 0 1367.51/1367.91 c 1367s | 27 | 12541551 | 12344133 | 336 93818 | 1 | 0 1369.51/1369.91 c 1369s | 27 | 12559325 | 12361533 | 336 93919 | 1 | 0 1371.51/1371.92 c 1371s | 27 | 12576615 | 12378533 | 336 94017 | 1 | 0 1373.52/1373.92 c 1373s | 27 | 12593429 | 12395133 | 336 94113 | 1 | 0 1375.51/1375.93 c 1375s | 27 | 12610351 | 12411833 | 336 94210 | 1 | 0 1377.51/1377.94 c 1377s | 27 | 12627402 | 12428633 | 336 94308 | 1 | 0 1379.51/1379.94 c 1379s | 27 | 12643767 | 12444733 | 336 94401 | 1 | 0 1381.51/1381.95 c 1381s | 27 | 12660685 | 12461433 | 336 94496 | 1 | 0 1383.52/1383.95 c 1383s | 27 | 12677957 | 12478433 | 336 94594 | 1 | 0 1385.51/1385.96 c 1385s | 27 | 12694830 | 12495033 | 336 94690 | 1 | 0 1387.51/1387.97 c 1387s | 27 | 12711798 | 12511833 | 336 94787 | 1 | 0 1389.51/1389.98 c 1389s | 27 | 12728772 | 12528533 | 336 94884 | 1 | 0 1391.51/1391.98 c 1391s | 27 | 12746224 | 12545633 | 336 94983 | 1 | 0 1393.51/1393.98 c 1393s | 27 | 12763126 | 12562233 | 336 95079 | 1 | 0 1395.52/1395.99 c 1395s | 27 | 12779792 | 12578733 | 336 95174 | 1 | 0 1397.51/1397.99 c 1397s | 27 | 12797156 | 12595933 | 336 95272 | 1 | 0 1399.51/1399.99 c 1399s | 27 | 12815000 | 12613633 | 336 95373 | 1 | 0 1401.61/1402.00 c 1401s | 27 | 12832333 | 12630833 | 336 95470 | 1 | 0 1403.61/1404.01 c 1403s | 27 | 12849808 | 12648133 | 336 95569 | 1 | 0 1405.61/1406.02 c 1406s | 27 | 12867460 | 12665533 | 336 95669 | 1 | 0 1407.62/1408.02 c 1408s | 27 | 12885428 | 12683233 | 336 95770 | 1 | 0 1409.61/1410.02 c 1410s | 27 | 12902736 | 12700333 | 336 95867 | 1 | 0 1411.61/1412.03 c 1412s | 27 | 12920084 | 12717433 | 336 95964 | 1 | 0 1413.61/1414.04 c 1414s | 27 | 12937610 | 12734833 | 336 96063 | 1 | 0 1415.60/1416.05 c 1416s | 27 | 12954855 | 12751933 | 336 96161 | 1 | 0 1417.61/1418.06 c 1418s | 27 | 12972456 | 12769433 | 336 96261 | 1 | 0 1419.60/1420.07 c 1420s | 27 | 12989454 | 12786333 | 336 96357 | 1 | 0 1421.60/1422.08 c 1422s | 27 | 13006383 | 12803133 | 336 96454 | 1 | 0 1423.60/1424.09 c 1424s | 27 | 13023640 | 12820233 | 336 96552 | 1 | 0 1425.60/1426.09 c 1426s | 27 | 13041582 | 12838033 | 336 96655 | 1 | 0 1427.60/1428.09 c 1428s | 27 | 13058921 | 12855233 | 336 96754 | 1 | 0 1429.61/1430.10 c 1430s | 27 | 13076333 | 12872533 | 336 96854 | 1 | 0 1431.71/1432.10 c 1432s | 27 | 13094035 | 12890133 | 336 96954 | 1 | 0 1433.71/1434.10 c 1434s | 27 | 13112073 | 12907933 | 336 97056 | 1 | 0 1435.71/1436.11 c 1436s | 27 | 13129419 | 12925133 | 336 97154 | 1 | 0 1437.71/1438.11 c 1438s | 27 | 13147324 | 12942833 | 336 97256 | 1 | 0 1439.71/1440.12 c 1440s | 27 | 13165021 | 12960333 | 336 97357 | 1 | 0 1441.71/1442.12 c 1442s | 27 | 13183404 | 12978533 | 336 97461 | 1 | 0 1443.70/1444.13 c 1444s | 27 | 13201362 | 12996333 | 336 97564 | 1 | 0 1445.70/1446.14 c 1446s | 27 | 13219112 | 13013933 | 336 97666 | 1 | 0 1447.70/1448.15 c 1448s | 27 | 13236651 | 13031233 | 336 97766 | 1 | 0 1449.70/1450.15 c 1450s | 27 | 13254297 | 13048733 | 336 97868 | 1 | 0 1451.71/1452.16 c 1452s | 27 | 13271922 | 13066133 | 336 97967 | 1 | 0 1453.70/1454.17 c 1454s | 27 | 13289613 | 13083633 | 336 98067 | 1 | 0 1455.70/1456.17 c 1456s | 27 | 13307380 | 13101233 | 336 98167 | 1 | 0 1457.70/1458.17 c 1458s | 27 | 13324733 | 13118433 | 336 98266 | 1 | 0 1459.70/1460.18 c 1460s | 27 | 13342372 | 13135833 | 336 98366 | 1 | 0 1461.70/1462.18 c 1462s | 27 | 13360085 | 13153333 | 336 98467 | 1 | 0 1463.71/1464.19 c 1464s | 27 | 13377953 | 13171033 | 336 98569 | 1 | 0 1465.70/1466.19 c 1466s | 27 | 13395525 | 13188433 | 336 98670 | 1 | 0 1467.80/1468.20 c 1468s | 27 | 13413241 | 13205933 | 336 98771 | 1 | 0 1469.80/1470.21 c 1470s | 27 | 13430925 | 13223433 | 336 98872 | 1 | 0 1471.79/1472.21 c 1472s | 27 | 13448455 | 13240733 | 336 98972 | 1 | 0 1473.79/1474.22 c 1474s | 27 | 13466515 | 13258533 | 336 99076 | 1 | 0 1475.80/1476.22 c 1476s | 27 | 13483443 | 13275333 | 336 99173 | 1 | 0 1477.79/1478.23 c 1478s | 27 | 13501480 | 13293133 | 336 99277 | 1 | 0 1479.79/1480.23 c 1480s | 27 | 13518927 | 13310333 | 336 99378 | 1 | 0 1481.80/1482.23 c 1482s | 27 | 13536279 | 13327433 | 336 99478 | 1 | 0 1483.80/1484.23 c 1484s | 27 | 13554236 | 13345133 | 336 99581 | 1 | 0 1485.81/1486.24 c 1486s | 27 | 13572014 | 13362533 | 336 99679 | 1 | 0 1487.80/1488.24 c 1488s | 27 | 13589016 | 13379333 | 336 99775 | 1 | 0 1489.80/1490.24 c 1490s | 27 | 13606036 | 13396033 | 336 99870 | 1 | 0 1491.80/1492.25 c 1492s | 27 | 13623176 | 13412933 | 336 99966 | 1 | 0 1493.80/1494.26 c 1494s | 27 | 13640528 | 13430133 | 336 100064 | 1 | 0 1495.80/1496.26 c 1496s | 27 | 13658331 | 13447633 | 336 100164 | 1 | 0 1497.80/1498.27 c 1498s | 27 | 13675954 | 13465133 | 336 100264 | 1 | 0 1499.80/1500.28 c 1500s | 27 | 13694171 | 13483233 | 336 100367 | 1 | 0 1501.79/1502.29 c 1502s | 27 | 13711478 | 13500433 | 336 100467 | 1 | 0 1503.79/1504.29 c 1504s | 27 | 13729455 | 13518233 | 336 100568 | 1 | 0 1505.89/1506.30 c 1506s | 27 | 13746998 | 13535633 | 336 100668 | 1 | 0 1507.89/1508.31 c 1508s | 27 | 13764836 | 13553333 | 336 100770 | 1 | 0 1509.90/1510.31 c 1510s | 27 | 13783085 | 13571433 | 336 100873 | 1 | 0 1511.89/1512.31 c 1512s | 27 | 13800770 | 13588933 | 336 100974 | 1 | 0 1513.89/1514.31 c 1514s | 27 | 13819063 | 13607033 | 336 101078 | 1 | 0 1515.89/1516.32 c 1516s | 27 | 13837080 | 13624933 | 336 101180 | 1 | 0 1517.89/1518.32 c 1518s | 27 | 13855197 | 13642933 | 336 101284 | 1 | 0 1519.90/1520.32 c 1520s | 27 | 13873360 | 13660933 | 336 101387 | 1 | 0 1521.89/1522.33 c 1522s | 27 | 13891590 | 13679033 | 336 101491 | 1 | 0 1523.89/1524.33 c 1524s | 27 | 13909809 | 13697133 | 336 101595 | 1 | 0 1525.89/1526.34 c 1526s | 27 | 13927308 | 13714533 | 336 101696 | 1 | 0 1527.88/1528.35 c 1528s | 27 | 13945461 | 13732533 | 336 101799 | 1 | 0 1529.88/1530.36 c 1530s | 27 | 13962910 | 13749833 | 336 101900 | 1 | 0 1531.89/1532.36 c 1532s | 27 | 13980458 | 13767233 | 336 102001 | 1 | 0 1533.88/1534.36 c 1534s | 27 | 13998920 | 13785533 | 336 102106 | 1 | 0 1535.88/1536.37 c 1536s | 27 | 14017651 | 13804133 | 336 102212 | 1 | 0 1537.88/1538.38 c 1538s | 27 | 14035985 | 13822233 | 336 102316 | 1 | 0 1539.89/1540.38 c 1540s | 27 | 14054621 | 13840633 | 336 102421 | 1 | 0 1541.90/1542.38 c 1542s | 27 | 14072803 | 13858533 | 336 102524 | 1 | 0 1543.89/1544.39 c 1544s | 27 | 14090500 | 13876033 | 336 102624 | 1 | 0 1545.89/1546.39 c 1546s | 27 | 14108052 | 13893433 | 336 102724 | 1 | 0 1547.98/1548.40 c 1548s | 27 | 14125610 | 13910833 | 336 102824 | 1 | 0 1549.98/1550.40 c 1550s | 27 | 14143013 | 13928133 | 336 102924 | 1 | 0 1551.98/1552.41 c 1552s | 27 | 14160838 | 13945733 | 336 103026 | 1 | 0 1553.99/1554.42 c 1554s | 27 | 14178534 | 13963233 | 336 103126 | 1 | 0 1555.98/1556.42 c 1556s | 27 | 14196170 | 13980633 | 336 103226 | 1 | 0 1557.98/1558.42 c 1558s | 27 | 14214018 | 13998233 | 336 103328 | 1 | 0 1559.98/1560.43 c 1560s | 27 | 14231963 | 14015933 | 336 103431 | 1 | 0 1561.98/1562.44 c 1562s | 27 | 14249817 | 14033633 | 336 103533 | 1 | 0 1563.98/1564.44 c 1564s | 27 | 14267909 | 14051533 | 336 103637 | 1 | 0 1565.99/1566.44 c 1566s | 27 | 14284537 | 14067933 | 336 103733 | 1 | 0 1567.98/1568.45 c 1568s | 27 | 14302859 | 14086033 | 336 103838 | 1 | 0 1569.98/1570.45 c 1570s | 27 | 14320744 | 14103733 | 336 103940 | 1 | 0 1571.98/1572.46 c 1572s | 27 | 14338260 | 14121033 | 336 104041 | 1 | 0 1573.98/1574.46 c 1574s | 27 | 14355737 | 14138333 | 336 104142 | 1 | 0 1575.99/1576.46 c 1576s | 27 | 14373918 | 14156233 | 336 104246 | 1 | 0 1577.98/1578.46 c 1578s | 27 | 14391705 | 14173833 | 336 104349 | 1 | 0 1579.98/1580.47 c 1580s | 27 | 14409652 | 14191433 | 336 104449 | 1 | 0 1581.98/1582.47 c 1582s | 27 | 14427809 | 14209233 | 336 104550 | 1 | 0 1583.98/1584.47 c 1584s | 27 | 14446317 | 14227433 | 336 104654 | 1 | 0 1585.98/1586.48 c 1586s | 27 | 14464682 | 14245533 | 336 104757 | 1 | 0 1587.98/1588.49 c 1588s | 27 | 14483384 | 14263933 | 336 104862 | 1 | 0 1589.98/1590.49 c 1590s | 27 | 14500822 | 14281133 | 336 104961 | 1 | 0 1591.97/1592.50 c 1592s | 27 | 14518299 | 14298433 | 336 105060 | 1 | 0 1594.08/1594.50 c 1594s | 27 | 14536141 | 14316133 | 336 105161 | 1 | 0 1596.08/1596.50 c 1596s | 27 | 14553934 | 14333733 | 336 105261 | 1 | 0 1598.08/1598.51 c 1598s | 27 | 14571527 | 14351133 | 336 105361 | 1 | 0 1600.09/1600.52 c 1600s | 27 | 14589087 | 14368533 | 336 105461 | 1 | 0 1602.08/1602.52 c 1602s | 27 | 14606940 | 14386233 | 336 105562 | 1 | 0 1604.08/1604.53 c 1604s | 27 | 14624727 | 14403833 | 336 105663 | 1 | 0 1606.08/1606.53 c 1606s | 27 | 14641705 | 14420633 | 336 105759 | 1 | 0 1608.08/1608.53 c 1608s | 27 | 14659125 | 14437833 | 336 105858 | 1 | 0 1610.09/1610.54 c 1610s | 27 | 14676637 | 14455133 | 336 105958 | 1 | 0 1612.07/1612.55 c 1612s | 27 | 14694700 | 14472933 | 336 106061 | 1 | 0 1614.07/1614.56 c 1614s | 27 | 14712555 | 14490533 | 336 106162 | 1 | 0 1616.07/1616.57 c 1616s | 27 | 14730100 | 14507833 | 336 106262 | 1 | 0 1618.07/1618.58 c 1618s | 27 | 14747663 | 14525233 | 336 106363 | 1 | 0 1620.07/1620.58 c 1620s | 27 | 14765042 | 14542433 | 336 106463 | 1 | 0 1622.08/1622.59 c 1622s | 27 | 14782762 | 14560033 | 336 106564 | 1 | 0 1624.17/1624.60 c 1624s | 27 | 14800302 | 14577433 | 336 106664 | 1 | 0 1626.17/1626.60 c 1626s | 27 | 14817711 | 14594733 | 336 106764 | 1 | 0 1628.17/1628.61 c 1628s | 27 | 14834742 | 14611633 | 336 106861 | 1 | 0 1630.17/1630.61 c 1630s | 27 | 14853103 | 14629833 | 336 106966 | 1 | 0 1632.18/1632.62 c 1632s | 27 | 14870935 | 14647533 | 336 107068 | 1 | 0 1634.18/1634.63 c 1634s | 27 | 14889025 | 14665433 | 336 107173 | 1 | 0 1636.18/1636.64 c 1636s | 27 | 14906242 | 14682433 | 336 107271 | 1 | 0 1638.18/1638.64 c 1638s | 27 | 14923245 | 14699233 | 336 107368 | 1 | 0 1640.18/1640.65 c 1640s | 27 | 14940388 | 14716133 | 336 107465 | 1 | 0 1642.18/1642.65 c 1642s | 27 | 14957932 | 14733533 | 336 107565 | 1 | 0 1644.19/1644.66 c 1644s | 27 | 14975805 | 14751233 | 336 107667 | 1 | 0 1646.17/1646.67 c 1646s | 27 | 14993657 | 14768733 | 336 107768 | 1 | 0 1648.17/1648.67 c 1648s | 27 | 15012385 | 14787033 | 336 107873 | 1 | 0 1650.17/1650.68 c 1650s | 27 | 15029905 | 14804233 | 336 107973 | 1 | 0 1652.17/1652.69 c 1652s | 27 | 15047182 | 14821233 | 336 108072 | 1 | 0 1654.17/1654.69 c 1654s | 27 | 15065267 | 14839033 | 336 108174 | 1 | 0 1656.18/1656.70 c 1656s | 27 | 15083138 | 14856633 | 336 108276 | 1 | 0 1658.27/1658.71 c 1658s | 27 | 15100535 | 14873833 | 336 108376 | 1 | 0 1660.27/1660.72 c 1660s | 27 | 15118246 | 14891333 | 336 108478 | 1 | 0 1662.27/1662.73 c 1662s | 27 | 15136184 | 14909033 | 336 108581 | 1 | 0 1664.27/1664.73 c 1664s | 27 | 15153759 | 14926433 | 336 108682 | 1 | 0 1666.27/1666.74 c 1666s | 27 | 15171528 | 14943933 | 336 108785 | 1 | 0 1668.27/1668.74 c 1668s | 27 | 15189581 | 14961733 | 336 108889 | 1 | 0 1670.27/1670.75 c 1670s | 27 | 15207390 | 14979333 | 336 108991 | 1 | 0 1672.26/1672.76 c 1672s | 27 | 15225366 | 14997133 | 336 109094 | 1 | 0 1674.26/1674.77 c 1674s | 27 | 15243912 | 15015433 | 336 109200 | 1 | 0 1676.26/1676.77 c 1676s | 27 | 15261705 | 15032933 | 336 109301 | 1 | 0 1678.27/1678.77 c 1678s | 27 | 15278972 | 15050033 | 336 109401 | 1 | 0 1680.27/1680.78 c 1680s | 27 | 15296526 | 15067433 | 336 109502 | 1 | 0 1682.27/1682.79 c 1682s | 27 | 15314194 | 15084933 | 336 109603 | 1 | 0 1684.27/1684.79 c 1684s | 27 | 15331642 | 15102233 | 336 109703 | 1 | 0 1686.27/1686.79 c 1686s | 27 | 15348957 | 15119333 | 336 109802 | 1 | 0 1688.37/1688.80 c 1688s | 27 | 15366576 | 15136733 | 336 109903 | 1 | 0 1690.27/1690.80 c 1690s | 27 | 15384667 | 15154533 | 336 110007 | 1 | 0 1692.37/1692.81 c 1692s | 27 | 15402800 | 15172433 | 336 110111 | 1 | 0 1694.37/1694.81 c 1694s | 27 | 15420893 | 15190233 | 336 110215 | 1 | 0 1696.36/1696.82 c 1696s | 27 | 15439152 | 15208233 | 336 110320 | 1 | 0 1698.36/1698.83 c 1698s | 27 | 15456851 | 15225733 | 336 110422 | 1 | 0 1700.36/1700.84 c 1700s | 27 | 15474533 | 15243233 | 336 110523 | 1 | 0 1702.37/1702.85 c 1702s | 27 | 15492149 | 15260633 | 336 110625 | 1 | 0 1704.36/1704.85 c 1704s | 27 | 15510266 | 15278533 | 336 110730 | 1 | 0 1706.36/1706.85 c 1706s | 27 | 15527783 | 15295833 | 336 110831 | 1 | 0 1708.36/1708.85 c 1708s | 27 | 15545475 | 15313233 | 336 110933 | 1 | 0 1710.36/1710.86 c 1710s | 27 | 15562723 | 15330233 | 336 111031 | 1 | 0 1712.37/1712.87 c 1712s | 27 | 15579446 | 15346833 | 336 111127 | 1 | 0 1714.36/1714.88 c 1714s | 27 | 15596713 | 15363833 | 336 111225 | 1 | 0 1716.36/1716.88 c 1716s | 27 | 15613753 | 15380633 | 336 111322 | 1 | 0 1718.36/1718.89 c 1718s | 27 | 15631627 | 15398233 | 336 111423 | 1 | 0 1720.46/1720.90 c 1720s | 27 | 15649654 | 15416033 | 336 111526 | 1 | 0 1722.46/1722.91 c 1722s | 27 | 15667029 | 15433133 | 336 111626 | 1 | 0 1724.46/1724.92 c 1724s | 27 | 15684749 | 15450633 | 336 111726 | 1 | 0 1726.45/1726.92 c 1726s | 27 | 15701778 | 15467433 | 336 111823 | 1 | 0 1728.45/1728.92 c 1728s | 27 | 15719316 | 15484733 | 336 111922 | 1 | 0 1730.45/1730.93 c 1730s | 27 | 15737131 | 15502233 | 336 112023 | 1 | 0 1732.46/1732.94 c 1732s | 27 | 15754318 | 15519233 | 336 112122 | 1 | 0 1734.46/1734.94 c 1734s | 27 | 15771787 | 15536533 | 336 112222 | 1 | 0 1736.47/1736.94 c 1736s | 27 | 15789035 | 15553633 | 336 112320 | 1 | 0 1738.46/1738.95 c 1738s | 27 | 15806812 | 15571133 | 336 112422 | 1 | 0 1740.46/1740.95 c 1740s | 27 | 15824458 | 15588533 | 336 112523 | 1 | 0 1742.46/1742.95 c 1742s | 27 | 15842295 | 15606033 | 336 112624 | 1 | 0 1744.46/1744.96 c 1744s | 27 | 15859997 | 15623433 | 336 112725 | 1 | 0 1746.47/1746.97 c 1746s | 27 | 15878290 | 15641333 | 336 112830 | 1 | 0 1748.46/1748.97 c 1748s | 27 | 15896199 | 15659033 | 336 112933 | 1 | 0 1750.46/1750.97 c 1750s | 27 | 15914492 | 15677033 | 336 113038 | 1 | 0 1752.46/1752.98 c 1752s | 27 | 15932483 | 15694733 | 336 113142 | 1 | 0 1754.46/1754.99 c 1754s | 27 | 15950559 | 15712633 | 336 113247 | 1 | 0 1756.56/1757.00 c 1756s | 27 | 15968615 | 15730533 | 336 113351 | 1 | 0 1758.46/1759.00 c 1758s | 27 | 15986653 | 15748333 | 336 113455 | 1 | 0 1760.55/1761.01 c 1760s | 27 | 16005152 | 15766533 | 336 113560 | 1 | 0 1762.55/1763.01 c 1762s | 27 | 16023365 | 15784433 | 336 113663 | 1 | 0 1764.55/1765.02 c 1765s | 27 | 16041157 | 15802033 | 336 113766 | 1 | 0 1766.55/1767.02 c 1767s | 27 | 16058861 | 15819533 | 336 113868 | 1 | 0 1768.55/1769.03 c 1769s | 27 | 16076635 | 15837033 | 336 113970 | 1 | 0 1770.56/1771.03 c 1771s | 27 | 16094463 | 15854533 | 336 114072 | 1 | 0 1772.55/1773.04 c 1773s | 27 | 16112575 | 15872333 | 336 114176 | 1 | 0 1774.55/1775.05 c 1775s | 27 | 16130565 | 15890033 | 336 114280 | 1 | 0 1776.55/1777.06 c 1777s | 27 | 16148621 | 15907933 | 336 114384 | 1 | 0 1778.55/1779.07 c 1779s | 27 | 16166533 | 15925633 | 336 114487 | 1 | 0 1780.56/1781.08 c 1781s | 27 | 16184094 | 15942933 | 336 114588 | 1 | 0 1782.55/1783.08 c 1783s | 27 | 16202037 | 15960633 | 336 114692 | 1 | 0 1784.55/1785.08 c 1785s | 27 | 16220066 | 15978433 | 336 114796 | 1 | 0 1786.55/1787.09 c 1787s | 27 | 16238211 | 15996333 | 336 114900 | 1 | 0 1788.55/1789.09 c 1789s | 27 | 16256061 | 16013933 | 336 115002 | 1 | 0 1790.64/1791.10 c 1791s | 27 | 16273667 | 16031333 | 336 115103 | 1 | 0 1792.65/1793.11 c 1793s | 27 | 16291203 | 16048633 | 336 115204 | 1 | 0 1794.64/1795.12 c 1795s | 27 | 16308894 | 16066133 | 336 115306 | 1 | 0 1796.64/1797.12 c 1797s | 27 | 16326040 | 16083133 | 336 115406 | 1 | 0 1798.64/1799.13 c 1799s | 27 | 16343277 | 16100233 | 336 115506 | 1 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079734-1465244691/watcher-4079734-1465244691 -o /tmp/evaluation-result-4079734-1465244691/solver-4079734-1465244691 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079734-1465244691.opb pid=1158 running on 8 cores: 0-3,8-11 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.07 2.07 3/261 1161 /proc/meminfo: memFree=30922732/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=805308 CPUtime=0 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 3019 0 0 0 0 0 0 0 20 0 4 0 106311159 824635392 2868 33554432000 4194304 16246674 140734321543936 140734321543360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 202095 2879 441 2943 0 198989 0 [pid=1161/tid=1162] ppid=1158 vsize=1129916 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1157033984 4138 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1135036 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1162276864 4156 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1139132 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106311159 1166471168 4171 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 [startup+0.100192 s] /proc/loadavg: 2.04 2.07 2.07 3/261 1161 /proc/meminfo: memFree=30922732/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1218116 CPUtime=0.08 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 18777 0 0 0 6 2 0 0 20 0 4 0 106311159 1247350784 18614 33554432000 4194304 16246674 140734321543936 140734321525824 5601494 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 304529 18618 752 2943 0 301423 0 [pid=1161/tid=1162] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 18622 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 18626 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 18630 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200539 s] /proc/loadavg: 2.04 2.07 2.07 3/261 1161 /proc/meminfo: memFree=30922732/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1218116 CPUtime=0.19 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 34911 0 0 0 13 6 0 0 20 0 4 0 106311159 1247350784 34749 33554432000 4194304 16246674 140734321543936 140734321525824 13191557 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 304529 34753 752 2943 0 301423 0 [pid=1161/tid=1162] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 34754 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 34758 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 34761 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300497 s] /proc/loadavg: 2.04 2.07 2.07 3/261 1161 /proc/meminfo: memFree=30922732/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1218116 CPUtime=0.29 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 50773 0 0 0 21 8 0 0 20 0 4 0 106311159 1247350784 50611 33554432000 4194304 16246674 140734321543936 140734321525824 13780501 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 304529 50620 753 2943 0 301423 0 [pid=1161/tid=1162] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 50622 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 50627 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 50633 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700393 s] /proc/loadavg: 2.04 2.07 2.07 3/261 1161 /proc/meminfo: memFree=30922732/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1218116 CPUtime=0.69 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 114599 0 0 0 51 18 0 0 20 0 4 0 106311159 1247350784 114436 33554432000 4194304 16246674 140734321543936 140734321525824 13192110 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 304529 114440 753 2943 0 301423 0 [pid=1161/tid=1162] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 114444 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 114451 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 114457 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50039 s] /proc/loadavg: 2.03 2.06 2.07 3/265 1165 /proc/meminfo: memFree=30203756/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1218116 CPUtime=1.49 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 245324 0 0 0 112 37 0 0 20 0 4 0 106311159 1247350784 245161 33554432000 4194304 16246674 140734321543936 140734321526936 5546181 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 304529 245161 753 2943 0 301423 0 [pid=1161/tid=1162] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 245161 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 245161 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106311159 1247350784 245161 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10041 s] /proc/loadavg: 2.03 2.06 2.07 3/265 1165 /proc/meminfo: memFree=29940752/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=3.09 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267386 0 0 0 269 40 0 0 20 0 4 0 106311159 1337528320 267200 33554432000 4194304 16246674 140734321543936 140734321526936 15015658 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267200 823 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267200 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267200 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267200 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.3004 s] /proc/loadavg: 2.03 2.06 2.07 3/265 1165 /proc/meminfo: memFree=29852984/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=6.29 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267443 0 0 0 589 40 0 0 20 0 4 0 106311159 1337528320 267257 33554432000 4194304 16246674 140734321543936 140734321526936 5711688 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267257 823 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267257 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267257 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267257 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.17 2.09 2.08 3/265 1165 /proc/meminfo: memFree=29852768/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=12.68 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267468 0 0 0 1228 40 0 0 20 0 4 0 106311159 1337528320 267282 33554432000 4194304 16246674 140734321543936 140734321526936 5712465 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267282 823 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267282 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267282 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267282 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 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.15 2.09 2.08 3/265 1165 /proc/meminfo: memFree=29852756/32872528 swapFree=9200/9200 [pid=1161] ppid=1158 vsize=1306180 CPUtime=25.49 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267469 0 0 0 2508 41 0 0 20 0 4 0 106311159 1337528320 267283 33554432000 4194304 16246674 140734321543936 140734321526936 5662371 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267283 823 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267283 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267283 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267283 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.10 2.08 2.08 3/265 1165 /proc/meminfo: memFree=29852796/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=51.08 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267478 0 0 0 5066 42 0 0 20 0 4 0 106311159 1337528320 267292 33554432000 4194304 16246674 140734321543936 140734321526936 6020448 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267292 827 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267292 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267292 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267292 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.3 s] /proc/loadavg: 2.20 2.11 2.09 3/265 1166 /proc/meminfo: memFree=29852212/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=102.28 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267498 0 0 0 10185 43 0 0 20 0 4 0 106311159 1337528320 267312 33554432000 4194304 16246674 140734321543936 140734321525824 5822168 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267312 827 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267312 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267312 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267312 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1306180 [startup+1362.3 s] /proc/loadavg: 2.20 2.13 2.10 3/265 1246 /proc/meminfo: memFree=29847828/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=1361.91 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267797 0 0 0 136116 75 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 140734321526936 13752941 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267690 829 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1306180 [startup+1422.3 s] /proc/loadavg: 2.14 2.12 2.09 3/265 1248 /proc/meminfo: memFree=29847788/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=1421.91 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267797 0 0 0 142115 76 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 140734321525824 5823013 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267690 829 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1306180 [startup+1482.3 s] /proc/loadavg: 2.17 2.13 2.09 3/265 1249 /proc/meminfo: memFree=29847324/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=1481.9 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267797 0 0 0 148112 78 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 140734321526936 13927401 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267690 829 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1306180 [startup+1542.31 s] /proc/loadavg: 2.20 2.14 2.10 3/266 1253 /proc/meminfo: memFree=29847248/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=1541.9 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267797 0 0 0 154111 79 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 140734321526936 5600331 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267690 829 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1306180 [startup+1602.3 s] /proc/loadavg: 2.16 2.14 2.10 3/265 1254 /proc/meminfo: memFree=29847848/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=1601.88 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267797 0 0 0 160108 80 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 140734321526936 13759557 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267690 829 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1306180 [startup+1662.3 s] /proc/loadavg: 2.06 2.12 2.09 3/265 1255 /proc/meminfo: memFree=29848104/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=1661.87 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267797 0 0 0 166106 81 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 140734321526936 6845883 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267690 829 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1306180 [startup+1722.3 s] /proc/loadavg: 2.06 2.11 2.09 3/265 1257 /proc/meminfo: memFree=29847984/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=1721.86 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267797 0 0 0 172104 82 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 140734321526936 5600076 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267690 829 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1306180 [startup+1782.3 s] /proc/loadavg: 2.14 2.12 2.09 3/265 1258 /proc/meminfo: memFree=29847984/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=1781.85 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267797 0 0 0 178102 83 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 140734321526936 5545784 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267690 829 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1306180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.18 2.13 2.09 3/265 1258 /proc/meminfo: memFree=29848112/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=1800.04 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267797 0 0 0 179921 83 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 140734321526936 13950188 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267690 829 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1306180 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 1161 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.18 2.13 2.09 3/265 1258 /proc/meminfo: memFree=29848112/32872528 swapFree=9196/9196 [pid=1161] ppid=1158 vsize=1306180 CPUtime=1800.04 cores=0-3,8-11 /proc/1161/stat : 1161 (toysat) R 1158 1161 25889 0 -1 4202496 267797 0 0 0 179921 83 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 140734321526936 13950188 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/1161/statm: 326545 267690 829 2943 0 323439 0 [pid=1161/tid=1162] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1162/stat : 1162 (toysat) S 1158 1161 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857119653104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=1161/tid=1163] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1163/stat : 1163 (toysat) S 1158 1161 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857109163248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=1161/tid=1164] ppid=1158 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/1161/task/1164/stat : 1164 (toysat) S 1158 1161 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106311159 1337528320 267690 33554432000 4194304 16246674 140734321543936 139857098689712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1306180 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.22 CPU system time (s): 0.839872 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 1306180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.22 system time used= 0.839872 maximum resident set size= 1070760 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 267797 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= 271 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.60999 second user time and 9.89749 second system time The end
Begin job on node132 at 2016-06-06 22:24:51 IDJOB=4079734 IDBENCH=2906 IDSOLVER=2542 FILE ID=node132/4079734-1465244691 RUNJOBID= node132-1465216787-25905 PBS_JOBID= 19843203 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079734-1465244691/watcher-4079734-1465244691 -o /tmp/evaluation-result-4079734-1465244691/solver-4079734-1465244691 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079734-1465244691.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 775c76356ae7fda7a41e5dcf917f66b2 RANDOM SEED=691996759 node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 30922764 kB Buffers: 50908 kB Cached: 100656 kB SwapCached: 3212 kB Active: 1144452 kB Inactive: 85956 kB Active(anon): 1077924 kB Inactive(anon): 3412 kB Active(file): 66528 kB Inactive(file): 82544 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094540 kB Dirty: 16488 kB Writeback: 0 kB AnonPages: 1084816 kB Mapped: 10560 kB Shmem: 0 kB Slab: 573716 kB SReclaimable: 14172 kB SUnreclaim: 559544 kB KernelStack: 2224 kB PageTables: 6448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1229796 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 647168 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node132 at 2016-06-06 22:54:52