| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.15 | 1800.46 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/ subsetcard/normalized-subsetcard-geq-fixedbandwidth-45.opb |
| MD5SUM | b946ab6c9bd4c6a96b37e1556018149e |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.009998 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 181 |
| Total number of constraints | 90 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 90 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 8 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-16T19:29:09+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-4095861-1466098149.opb"] 0.00/0.01 c use --random-gen="3002336359 319832113 793458566 467905536 4273927390 573584463 1083194372 1313714209 3029782976 1614474863 131635316 3173278344 3548980690 2909890853 3575595665 3173073892 2091452219 1521798852 728492743 3821489607 3052218705 4139500991 564224582 3402667069 3929067045 2327655915 422524872 1807948060 2958506573 3917723264 1883609078 197375729 9020219 2755831546 632931502 2953043471 3580225230 4224343956 888465884 1827060500 1791569138 279804440 500082704 1403974169 3271187054 2590867309 1255090891 2557409511 711245315 3693178112 1160636276 2430760890 3389597302 3593247936 1918231380 3290565195 3442358153 2927959621 1799844293 1390699198 1121626428 3179983684 593967456 2765441540 1222196549 1897199766 3724344387 1484626423 409382394 3411018061 3742420786 40206041 1744591907 920637531 330937263 1080995193 2724867181 314248225 124850763 3242153434 917762281 1515408946 4000268215 2751414652 4275245698 1619570311 558467693 719794893 343098971 3978933591 18580005 162632392 1093008021 1393107999 2624576654 1325962070 3952706655 616372782 1908413979 1868467682 4105472927 3966889699 1508637247 4103338723 2605504682 2915265241 1516324257 1286335299 2985855370 2716344239 4234560012 1291979430 3485971086 280877943 3886727505 3743910363 1617668368 1524417014 35628170 3629871531 1420552452 3652472101 3787106853 540121775 3433021075 2982795343 1311815088 2065397089 526890291 474448792 1443835453 3414946883 2579976999 2788531052 2597202548 533946413 55889543 4153643808 795638908 3128313099 1380389785 2377226550 1282048848 866331245 1131045309 4246651925 2244555829 4145072058 3311912087 2572730831 3120855511 1500331646 3203190914 1368880436 679450415 1614942893 1832123864 3655128591 110990646 3091254336 2833763504 3568795925 2048529204 3856625828 3003186891 4212458262 1962536696 1660605333 552437945 2887890589 4080560313 2121124155 3982557983 3336067272 2545852112 1809966525 183439378 3606276989 2975466886 2403397339 3223724195 4144678205 2885137376 2204302844 1151538916 182269749 2885989391 2497458437 3961681717 1676747723 464026936 2558642757 357959450 3811137765 3642114604 3744681979 3528323382 2793670613 836216977 1557258863 2648979083 3767875529 780437974 4023051485 83623632 3068640752 2370840328 3894249298 840750005 4202353498 3085343085 1881728047 2085881220 3254524707 1336864892 2445564705 1894833863 3882444020 3972195649 649772739 2574464542 3862347726 3178439 810241432 2451703231 2842566489 3355405011 1546075997 3865577824 2482451374 3814153991 373468553 3582239184 3383287013 1965896899 2051722393 767909206 453434196 1361893248 2929589223 1486555806 2169125448 4121100224 1763571229 3007623032 1920010944 1247321205 3829365177 1136414830 2561574831 1108112114 385603630 1890141832 3193924304 2510107683 4037491277 255 362436" option to reproduce the execution 0.00/0.01 c #vars 181 0.00/0.01 c #constraints 90 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 | 90 0 | 0 | 0 0.00/0.02 c 0.0s | 1 | 164 | 100 | 90 0 | 0 | 0 0.00/0.03 c 0.0s | 2 | 372 | 250 | 100 3 | 0 | 0 0.00/0.05 c 0.0s | 3 | 781 | 475 | 111 4 | 0 | 0 0.00/0.08 c 0.1s | 4 | 1300 | 813 | 123 7 | 0 | 0 0.09/0.13 c 0.1s | 5 | 1962 | 1320 | 136 11 | 0 | 0 0.19/0.20 c 0.2s | 6 | 3168 | 2081 | 165 17 | 0 | 0 0.29/0.30 c 0.3s | 7 | 4847 | 3223 | 182 26 | 0 | 0 0.38/0.45 c 0.4s | 8 | 7065 | 4936 | 201 37 | 0 | 0 0.69/0.70 c 0.7s | 9 | 10567 | 7506 | 222 55 | 0 | 0 0.98/1.07 c 1.1s | 10 | 16403 | 11361 | 245 83 | 0 | 0 1.49/1.54 c 1.5s | 11 | 23652 | 17144 | 270 116 | 0 | 0 2.09/2.19 c 2.2s | 12 | 35315 | 25819 | 297 164 | 0 | 0 2.98/3.09 c 3.1s | 13 | 52820 | 38832 | 327 232 | 0 | 0 4.58/4.62 c 4.6s | 14 | 78145 | 58352 | 360 325 | 0 | 0 6.60/6.63 c 6.6s | 14 | 112951 | 84852 | 360 440 | 0 | 0 6.79/6.85 c 6.8s | 15 | 116821 | 87632 | 397 452 | 0 | 0 8.80/8.85 c 8.8s | 15 | 152652 | 114832 | 397 569 | 0 | 0 10.00/10.05 c 10.0s | 16 | 175183 | 131552 | 437 641 | 0 | 0 11.99/12.05 c 12.0s | 16 | 211724 | 159052 | 437 752 | 0 | 0 13.98/14.06 c 14.0s | 16 | 248465 | 186152 | 437 866 | 0 | 0 14.78/14.86 c 14.8s | 17 | 263503 | 197432 | 481 913 | 0 | 0 16.78/16.87 c 16.9s | 17 | 297447 | 222632 | 481 1002 | 0 | 0 18.79/18.87 c 18.9s | 17 | 332738 | 248332 | 481 1095 | 0 | 0 20.78/20.87 c 20.9s | 17 | 366261 | 273032 | 481 1184 | 0 | 0 22.78/22.84 c 22.8s | 18 | 398019 | 296252 | 530 1271 | 0 | 0 24.78/24.84 c 24.8s | 18 | 435844 | 322252 | 530 1365 | 0 | 0 26.78/26.85 c 26.8s | 18 | 474978 | 348952 | 530 1463 | 0 | 0 28.78/28.85 c 28.8s | 18 | 510524 | 374352 | 530 1555 | 0 | 0 30.80/30.86 c 30.8s | 18 | 549528 | 401352 | 530 1652 | 0 | 0 32.79/32.86 c 32.8s | 18 | 588093 | 427752 | 530 1748 | 0 | 0 34.09/34.19 c 34.2s | 19 | 610946 | 444482 | 583 1807 | 0 | 0 36.19/36.20 c 36.2s | 19 | 643054 | 466782 | 583 1878 | 0 | 0 38.19/38.20 c 38.2s | 19 | 676248 | 488182 | 583 1947 | 0 | 0 40.18/40.20 c 40.2s | 19 | 714032 | 511582 | 583 2022 | 0 | 0 42.18/42.21 c 42.2s | 19 | 754421 | 535882 | 583 2100 | 0 | 0 44.18/44.21 c 44.2s | 19 | 793053 | 560282 | 583 2177 | 0 | 0 46.19/46.22 c 46.2s | 19 | 831345 | 583682 | 583 2252 | 0 | 0 48.18/48.22 c 48.2s | 19 | 869735 | 608382 | 583 2331 | 0 | 0 50.18/50.22 c 50.2s | 19 | 909198 | 632582 | 583 2408 | 0 | 0 52.18/52.23 c 52.2s | 19 | 947990 | 656582 | 583 2485 | 0 | 0 52.98/53.05 c 53.0s | 20 | 964704 | 666827 | 642 2517 | 0 | 0 54.99/55.05 c 55.0s | 20 | 998301 | 691427 | 642 2588 | 0 | 0 56.98/57.06 c 57.0s | 20 | 1032263 | 715027 | 642 2657 | 0 | 0 58.98/59.07 c 59.1s | 20 | 1066155 | 738927 | 642 2726 | 0 | 0 60.98/61.07 c 61.1s | 20 | 1099951 | 763827 | 642 2797 | 0 | 0 62.98/63.08 c 63.1s | 20 | 1128710 | 785327 | 642 2862 | 0 | 0 64.99/65.08 c 65.1s | 20 | 1158614 | 807627 | 642 2928 | 0 | 0 66.98/67.09 c 67.1s | 20 | 1189308 | 830127 | 642 2993 | 0 | 0 68.98/69.09 c 69.1s | 20 | 1219099 | 851827 | 642 3057 | 0 | 0 70.98/71.10 c 71.1s | 20 | 1246543 | 872627 | 642 3119 | 0 | 0 73.08/73.10 c 73.1s | 20 | 1275216 | 892927 | 642 3179 | 0 | 0 75.08/75.11 c 75.1s | 20 | 1298083 | 910527 | 642 3232 | 0 | 0 77.08/77.12 c 77.1s | 20 | 1324754 | 930227 | 642 3290 | 0 | 0 79.08/79.12 c 79.1s | 20 | 1349569 | 949627 | 642 3348 | 0 | 0 81.07/81.13 c 81.1s | 20 | 1375913 | 969927 | 642 3409 | 0 | 0 83.07/83.14 c 83.1s | 20 | 1401167 | 989427 | 642 3467 | 0 | 0 84.17/84.26 c 84.2s | 21 | 1415274 | 1000345 | 707 3497 | 0 | 0 86.17/86.27 c 86.3s | 21 | 1447614 | 1022745 | 707 3556 | 0 | 0 88.17/88.27 c 88.3s | 21 | 1482749 | 1047445 | 707 3621 | 0 | 0 90.18/90.27 c 90.3s | 21 | 1513557 | 1069945 | 707 3681 | 0 | 0 92.17/92.27 c 92.3s | 21 | 1542825 | 1091545 | 707 3740 | 0 | 0 94.17/94.28 c 94.3s | 21 | 1567363 | 1110445 | 707 3790 | 0 | 0 96.17/96.29 c 96.3s | 21 | 1595664 | 1131545 | 707 3847 | 0 | 0 98.17/98.29 c 98.3s | 21 | 1627285 | 1154045 | 707 3908 | 0 | 0 100.27/100.30 c 100s | 21 | 1656099 | 1174945 | 707 3965 | 0 | 0 102.17/102.30 c 102s | 21 | 1685531 | 1197845 | 707 4027 | 0 | 0 104.27/104.30 c 104s | 21 | 1719171 | 1221845 | 707 4091 | 0 | 0 106.27/106.31 c 106s | 21 | 1752332 | 1245045 | 707 4153 | 0 | 0 108.27/108.31 c 108s | 21 | 1783270 | 1267245 | 707 4212 | 0 | 0 110.27/110.31 c 110s | 21 | 1815107 | 1290645 | 707 4272 | 0 | 0 112.27/112.32 c 112s | 21 | 1849138 | 1314945 | 707 4335 | 0 | 0 114.27/114.33 c 114s | 21 | 1879568 | 1337445 | 707 4396 | 0 | 0 116.27/116.34 c 116s | 21 | 1911046 | 1360545 | 707 4458 | 0 | 0 118.27/118.35 c 118s | 21 | 1941869 | 1382945 | 707 4517 | 0 | 0 120.27/120.35 c 120s | 21 | 1976522 | 1407045 | 707 4581 | 0 | 0 122.27/122.36 c 122s | 21 | 2009960 | 1431045 | 707 4647 | 0 | 0 124.28/124.36 c 124s | 21 | 2042006 | 1454645 | 707 4712 | 0 | 0 126.27/126.37 c 126s | 21 | 2070363 | 1475845 | 707 4770 | 0 | 0 128.27/128.37 c 128s | 21 | 2097550 | 1496545 | 778 4825 | 0 | 0 128.67/128.79 c 128s | 22 | 2102977 | 1500622 | 778 4836 | 0 | 0 130.67/130.79 c 130s | 22 | 2131336 | 1520322 | 778 4883 | 0 | 0 132.77/132.80 c 132s | 22 | 2158033 | 1540422 | 778 4931 | 0 | 0 134.77/134.80 c 134s | 22 | 2186211 | 1561222 | 778 4982 | 0 | 0 136.77/136.80 c 136s | 22 | 2214068 | 1581722 | 778 5032 | 0 | 0 138.77/138.81 c 138s | 22 | 2242450 | 1602722 | 778 5083 | 0 | 0 140.77/140.81 c 140s | 22 | 2270724 | 1624122 | 778 5135 | 0 | 0 142.77/142.82 c 142s | 22 | 2301377 | 1645522 | 778 5187 | 0 | 0 144.77/144.82 c 144s | 22 | 2329650 | 1665822 | 778 5237 | 0 | 0 146.76/146.83 c 146s | 22 | 2359840 | 1687922 | 778 5292 | 0 | 0 148.76/148.84 c 148s | 22 | 2388967 | 1709322 | 778 5344 | 0 | 0 150.77/150.84 c 150s | 22 | 2420811 | 1732622 | 778 5402 | 0 | 0 152.76/152.84 c 152s | 22 | 2450124 | 1754422 | 778 5455 | 0 | 0 154.76/154.85 c 154s | 22 | 2477434 | 1774722 | 778 5505 | 0 | 0 156.76/156.85 c 156s | 22 | 2505693 | 1795722 | 778 5557 | 0 | 0 158.76/158.85 c 158s | 22 | 2536571 | 1818522 | 778 5611 | 0 | 0 160.76/160.85 c 160s | 22 | 2568573 | 1840722 | 778 5665 | 0 | 0 162.77/162.86 c 162s | 22 | 2598919 | 1863022 | 778 5719 | 0 | 0 164.76/164.86 c 164s | 22 | 2632981 | 1887422 | 778 5778 | 0 | 0 166.76/166.87 c 166s | 22 | 2662194 | 1909122 | 778 5831 | 0 | 0 168.77/168.87 c 168s | 22 | 2693495 | 1931722 | 778 5886 | 0 | 0 170.77/170.88 c 170s | 22 | 2724584 | 1953922 | 778 5940 | 0 | 0 172.77/172.88 c 172s | 22 | 2753714 | 1975622 | 778 5993 | 0 | 0 174.76/174.89 c 174s | 22 | 2783842 | 1996422 | 778 6044 | 0 | 0 176.76/176.89 c 176s | 22 | 2814327 | 2017722 | 778 6097 | 0 | 0 178.76/178.89 c 178s | 22 | 2845578 | 2039722 | 778 6150 | 0 | 0 180.86/180.90 c 180s | 22 | 2876025 | 2061822 | 778 6205 | 0 | 0 182.86/182.90 c 182s | 22 | 2905093 | 2083022 | 778 6258 | 0 | 0 184.87/184.91 c 184s | 22 | 2935570 | 2105722 | 778 6314 | 0 | 0 186.86/186.92 c 186s | 22 | 2964870 | 2127922 | 778 6368 | 0 | 0 188.86/188.92 c 188s | 22 | 2996395 | 2150622 | 778 6424 | 0 | 0 190.86/190.92 c 190s | 22 | 3025536 | 2171822 | 778 6477 | 0 | 0 192.85/192.93 c 192s | 22 | 3053708 | 2191922 | 778 6526 | 0 | 0 194.86/194.94 c 194s | 22 | 3080479 | 2211722 | 778 6574 | 0 | 0 196.87/196.94 c 196s | 22 | 3108418 | 2232122 | 778 6625 | 0 | 0 198.86/198.95 c 198s | 22 | 3133869 | 2250522 | 856 6667 | 0 | 0 198.96/199.00 c 198s | 23 | 3134585 | 2251038 | 856 6668 | 0 | 0 200.96/201.01 c 200s | 23 | 3163023 | 2271538 | 856 6714 | 0 | 0 202.96/203.01 c 202s | 23 | 3192914 | 2292238 | 856 6760 | 0 | 0 204.96/205.02 c 205s | 23 | 3221441 | 2313538 | 856 6807 | 0 | 0 206.96/207.02 c 207s | 23 | 3253976 | 2335838 | 856 6856 | 0 | 0 208.96/209.03 c 209s | 23 | 3285807 | 2358338 | 856 6906 | 0 | 0 210.95/211.03 c 211s | 23 | 3316051 | 2379538 | 856 6953 | 0 | 0 212.95/213.04 c 213s | 23 | 3348662 | 2401538 | 856 7001 | 0 | 0 214.95/215.04 c 215s | 23 | 3377460 | 2422538 | 856 7047 | 0 | 0 216.95/217.05 c 217s | 23 | 3405546 | 2443738 | 856 7092 | 0 | 0 218.96/219.05 c 219s | 23 | 3437733 | 2466538 | 856 7142 | 0 | 0 220.95/221.06 c 221s | 23 | 3467265 | 2488038 | 856 7188 | 0 | 0 222.95/223.06 c 223s | 23 | 3497156 | 2509838 | 856 7235 | 0 | 0 224.95/225.06 c 225s | 23 | 3528977 | 2532938 | 856 7284 | 0 | 0 226.95/227.07 c 227s | 23 | 3558557 | 2554838 | 856 7331 | 0 | 0 228.95/229.07 c 229s | 23 | 3588257 | 2576638 | 856 7377 | 0 | 0 230.96/231.07 c 231s | 23 | 3617272 | 2598338 | 856 7424 | 0 | 0 232.95/233.08 c 233s | 23 | 3646858 | 2620738 | 856 7474 | 0 | 0 234.95/235.08 c 235s | 23 | 3676196 | 2642638 | 856 7522 | 0 | 0 236.95/237.08 c 237s | 23 | 3708306 | 2665538 | 856 7573 | 0 | 0 238.96/239.09 c 239s | 23 | 3739107 | 2688138 | 856 7622 | 0 | 0 241.06/241.10 c 241s | 23 | 3768034 | 2709438 | 856 7668 | 0 | 0 242.96/243.10 c 243s | 23 | 3794622 | 2729138 | 856 7710 | 0 | 0 245.05/245.10 c 245s | 23 | 3822318 | 2749538 | 856 7755 | 0 | 0 247.05/247.11 c 247s | 23 | 3854297 | 2771738 | 856 7805 | 0 | 0 249.05/249.12 c 249s | 23 | 3884770 | 2794138 | 856 7855 | 0 | 0 251.05/251.13 c 251s | 23 | 3914209 | 2815738 | 856 7903 | 0 | 0 253.06/253.13 c 253s | 23 | 3945369 | 2838338 | 856 7953 | 0 | 0 255.05/255.13 c 255s | 23 | 3975304 | 2860238 | 856 8001 | 0 | 0 257.05/257.14 c 257s | 23 | 4005050 | 2881538 | 856 8046 | 0 | 0 259.05/259.14 c 259s | 23 | 4036103 | 2903538 | 856 8095 | 0 | 0 261.05/261.15 c 261s | 23 | 4062544 | 2923338 | 856 8139 | 0 | 0 263.05/263.15 c 263s | 23 | 4088303 | 2942738 | 856 8181 | 0 | 0 265.05/265.16 c 265s | 23 | 4117365 | 2964238 | 856 8229 | 0 | 0 267.05/267.17 c 267s | 23 | 4146191 | 2986138 | 856 8278 | 0 | 0 269.05/269.18 c 269s | 23 | 4176641 | 3008738 | 856 8328 | 0 | 0 271.05/271.18 c 271s | 23 | 4207848 | 3031638 | 856 8380 | 0 | 0 273.05/273.19 c 273s | 23 | 4237383 | 3053538 | 856 8430 | 0 | 0 275.05/275.19 c 275s | 23 | 4266100 | 3074038 | 856 8476 | 0 | 0 277.05/277.19 c 277s | 23 | 4295016 | 3095438 | 856 8524 | 0 | 0 279.14/279.20 c 279s | 23 | 4324189 | 3116638 | 856 8572 | 0 | 0 281.14/281.21 c 281s | 23 | 4355079 | 3139038 | 856 8622 | 0 | 0 283.14/283.21 c 283s | 23 | 4382633 | 3159738 | 856 8668 | 0 | 0 285.14/285.22 c 285s | 23 | 4410989 | 3181038 | 856 8717 | 0 | 0 287.15/287.23 c 287s | 23 | 4441335 | 3202338 | 856 8765 | 0 | 0 289.14/289.23 c 289s | 23 | 4471553 | 3224138 | 856 8815 | 0 | 0 291.14/291.23 c 291s | 23 | 4500884 | 3245838 | 856 8864 | 0 | 0 293.14/293.24 c 293s | 23 | 4530433 | 3267238 | 856 8912 | 0 | 0 295.15/295.24 c 295s | 23 | 4559653 | 3288738 | 856 8961 | 0 | 0 297.15/297.25 c 297s | 23 | 4587774 | 3309538 | 856 9008 | 0 | 0 299.15/299.25 c 299s | 23 | 4617555 | 3331038 | 856 9057 | 0 | 0 301.15/301.25 c 301s | 23 | 4646513 | 3352138 | 856 9105 | 0 | 0 303.14/303.25 c 303s | 23 | 4674623 | 3372938 | 942 9149 | 0 | 0 303.55/303.62 c 303s | 24 | 4679646 | 3376662 | 942 9156 | 0 | 0 305.54/305.63 c 305s | 24 | 4707647 | 3397862 | 942 9198 | 0 | 0 307.54/307.63 c 307s | 24 | 4734735 | 3418262 | 942 9237 | 0 | 0 309.54/309.64 c 309s | 24 | 4762858 | 3439262 | 942 9279 | 0 | 0 311.54/311.64 c 311s | 24 | 4791047 | 3460562 | 942 9322 | 0 | 0 313.55/313.65 c 313s | 24 | 4820747 | 3482962 | 942 9366 | 0 | 0 315.54/315.66 c 315s | 24 | 4850615 | 3505762 | 942 9413 | 0 | 0 317.54/317.66 c 317s | 24 | 4879688 | 3527762 | 942 9457 | 0 | 0 319.54/319.66 c 319s | 24 | 4906974 | 3547962 | 942 9498 | 0 | 0 321.54/321.67 c 321s | 24 | 4935404 | 3568862 | 942 9541 | 0 | 0 323.54/323.68 c 323s | 24 | 4962907 | 3589762 | 942 9582 | 0 | 0 325.55/325.69 c 325s | 24 | 4990912 | 3610862 | 942 9625 | 0 | 0 327.54/327.69 c 327s | 24 | 5021372 | 3632862 | 942 9668 | 0 | 0 329.54/329.69 c 329s | 24 | 5050771 | 3654862 | 942 9712 | 0 | 0 331.54/331.70 c 331s | 24 | 5079650 | 3676462 | 942 9755 | 0 | 0 333.64/333.70 c 333s | 24 | 5105146 | 3696562 | 942 9795 | 0 | 0 335.63/335.70 c 335s | 24 | 5133322 | 3717762 | 942 9838 | 0 | 0 337.64/337.71 c 337s | 24 | 5164061 | 3740562 | 942 9884 | 0 | 0 339.63/339.71 c 339s | 24 | 5192302 | 3762262 | 942 9928 | 0 | 0 341.64/341.72 c 341s | 24 | 5221234 | 3783862 | 942 9972 | 0 | 0 343.64/343.72 c 343s | 24 | 5249108 | 3804862 | 942 10013 | 0 | 0 345.64/345.73 c 345s | 24 | 5277196 | 3826062 | 942 10055 | 0 | 0 347.65/347.74 c 347s | 24 | 5304936 | 3846662 | 942 10096 | 0 | 0 349.64/349.75 c 349s | 24 | 5332259 | 3867262 | 942 10137 | 0 | 0 351.64/351.75 c 351s | 24 | 5360812 | 3888562 | 942 10179 | 0 | 0 353.64/353.75 c 353s | 24 | 5387014 | 3908562 | 942 10218 | 0 | 0 355.64/355.75 c 355s | 24 | 5413041 | 3928862 | 942 10258 | 0 | 0 357.64/357.76 c 357s | 24 | 5441588 | 3950462 | 942 10301 | 0 | 0 359.64/359.77 c 359s | 24 | 5469689 | 3971662 | 942 10343 | 0 | 0 361.63/361.77 c 361s | 24 | 5498988 | 3993262 | 942 10386 | 0 | 0 363.63/363.78 c 363s | 24 | 5526459 | 4013962 | 942 10427 | 0 | 0 365.63/365.78 c 365s | 24 | 5555575 | 4035562 | 942 10470 | 0 | 0 367.63/367.79 c 367s | 24 | 5582292 | 4056062 | 942 10511 | 0 | 0 369.73/369.80 c 369s | 24 | 5610233 | 4076362 | 942 10552 | 0 | 0 371.63/371.80 c 371s | 24 | 5638027 | 4097462 | 942 10594 | 0 | 0 373.73/373.81 c 373s | 24 | 5663707 | 4117862 | 942 10635 | 0 | 0 375.74/375.81 c 375s | 24 | 5689039 | 4138262 | 942 10676 | 0 | 0 377.73/377.82 c 377s | 24 | 5714792 | 4158562 | 942 10716 | 0 | 0 379.73/379.83 c 379s | 24 | 5741828 | 4178662 | 942 10757 | 0 | 0 381.74/381.83 c 381s | 24 | 5768373 | 4198262 | 942 10796 | 0 | 0 383.73/383.83 c 383s | 24 | 5797073 | 4219662 | 942 10839 | 0 | 0 385.73/385.84 c 385s | 24 | 5824159 | 4239962 | 942 10880 | 0 | 0 387.73/387.84 c 387s | 24 | 5850584 | 4260362 | 942 10920 | 0 | 0 389.73/389.85 c 389s | 24 | 5874829 | 4278862 | 942 10957 | 0 | 0 391.73/391.86 c 391s | 24 | 5900218 | 4298162 | 942 10995 | 0 | 0 393.73/393.87 c 393s | 24 | 5927203 | 4318562 | 942 11035 | 0 | 0 395.73/395.87 c 395s | 24 | 5955178 | 4339462 | 942 11077 | 0 | 0 397.73/397.88 c 397s | 24 | 5983787 | 4360562 | 942 11119 | 0 | 0 399.73/399.88 c 399s | 24 | 6012052 | 4381662 | 942 11161 | 0 | 0 401.73/401.89 c 401s | 24 | 6040423 | 4402862 | 942 11203 | 0 | 0 403.73/403.90 c 403s | 24 | 6068461 | 4423762 | 942 11245 | 0 | 0 405.73/405.90 c 405s | 24 | 6097177 | 4444762 | 942 11287 | 0 | 0 407.83/407.91 c 407s | 24 | 6124392 | 4464962 | 942 11327 | 0 | 0 409.82/409.91 c 409s | 24 | 6151863 | 4485162 | 942 11367 | 0 | 0 411.82/411.92 c 411s | 24 | 6180089 | 4505762 | 942 11409 | 0 | 0 413.82/413.93 c 413s | 24 | 6206425 | 4525962 | 942 11449 | 0 | 0 415.83/415.93 c 415s | 24 | 6232610 | 4545962 | 942 11488 | 0 | 0 417.82/417.94 c 417s | 24 | 6254277 | 4563962 | 942 11524 | 0 | 0 419.82/419.95 c 419s | 24 | 6280377 | 4583862 | 942 11563 | 0 | 0 421.82/421.95 c 421s | 24 | 6304564 | 4603662 | 942 11602 | 0 | 0 423.82/423.96 c 423s | 24 | 6331987 | 4624162 | 942 11643 | 0 | 0 425.82/425.96 c 425s | 24 | 6360497 | 4645362 | 942 11685 | 0 | 0 427.84/427.97 c 427s | 24 | 6389518 | 4666762 | 942 11728 | 0 | 0 429.83/429.97 c 429s | 24 | 6416214 | 4687262 | 942 11769 | 0 | 0 431.82/431.98 c 431s | 24 | 6443380 | 4707962 | 942 11810 | 0 | 0 433.82/433.98 c 433s | 24 | 6473110 | 4729762 | 942 11854 | 0 | 0 435.82/435.99 c 435s | 24 | 6502112 | 4750762 | 942 11896 | 0 | 0 437.92/438.00 c 437s | 24 | 6527625 | 4770562 | 942 11935 | 0 | 0 439.82/440.00 c 439s | 24 | 6555781 | 4791562 | 942 11977 | 0 | 0 441.92/442.00 c 441s | 24 | 6581914 | 4811662 | 942 12017 | 0 | 0 443.92/444.01 c 443s | 24 | 6609952 | 4832362 | 942 12058 | 0 | 0 445.92/446.01 c 445s | 24 | 6637175 | 4852662 | 942 12098 | 0 | 0 447.92/448.01 c 447s | 24 | 6667094 | 4875062 | 942 12143 | 0 | 0 449.93/450.01 c 450s | 24 | 6695649 | 4896562 | 942 12186 | 0 | 0 451.92/452.01 c 452s | 24 | 6724046 | 4918062 | 942 12228 | 0 | 0 453.92/454.01 c 454s | 24 | 6752249 | 4939162 | 942 12270 | 0 | 0 455.92/456.02 c 456s | 24 | 6778105 | 4958662 | 942 12309 | 0 | 0 457.92/458.02 c 458s | 24 | 6805226 | 4978962 | 942 12349 | 0 | 0 459.92/460.03 c 460s | 24 | 6831706 | 4998962 | 942 12389 | 0 | 0 461.93/462.03 c 462s | 24 | 6857896 | 5018862 | 942 12429 | 0 | 0 463.92/464.04 c 464s | 24 | 6883565 | 5038362 | 1037 12466 | 0 | 0 465.92/466.05 c 466s | 24 | 6908472 | 5057162 | 1037 12500 | 0 | 0 466.82/466.94 c 466s | 25 | 6918466 | 5065098 | 1037 12515 | 0 | 0 468.82/468.95 c 468s | 25 | 6946627 | 5085198 | 1037 12551 | 0 | 0 470.82/470.95 c 470s | 25 | 6971587 | 5103198 | 1037 12584 | 0 | 0 472.82/472.95 c 472s | 25 | 6998330 | 5123598 | 1037 12622 | 0 | 0 474.81/474.96 c 474s | 25 | 7024946 | 5143198 | 1037 12658 | 0 | 0 476.81/476.97 c 476s | 25 | 7052285 | 5162698 | 1037 12695 | 0 | 0 478.81/478.97 c 478s | 25 | 7082829 | 5183598 | 1037 12733 | 0 | 0 480.81/480.98 c 480s | 25 | 7109792 | 5202498 | 1037 12768 | 0 | 0 482.82/482.98 c 482s | 25 | 7135635 | 5221198 | 1037 12803 | 0 | 0 484.81/484.99 c 484s | 25 | 7162959 | 5241298 | 1037 12840 | 0 | 0 486.81/486.99 c 486s | 25 | 7188615 | 5260598 | 1037 12876 | 0 | 0 488.91/489.00 c 488s | 25 | 7212881 | 5279198 | 1037 12910 | 0 | 0 490.91/491.01 c 490s | 25 | 7235767 | 5297598 | 1037 12945 | 0 | 0 492.91/493.01 c 492s | 25 | 7260108 | 5316398 | 1037 12980 | 0 | 0 494.92/495.02 c 495s | 25 | 7286824 | 5335398 | 1037 13015 | 0 | 0 496.92/497.02 c 497s | 25 | 7311622 | 5354398 | 1037 13049 | 0 | 0 498.92/499.03 c 499s | 25 | 7338190 | 5373898 | 1037 13086 | 0 | 0 500.91/501.04 c 501s | 25 | 7364260 | 5392798 | 1037 13121 | 0 | 0 502.91/503.05 c 503s | 25 | 7388327 | 5410298 | 1037 13153 | 0 | 0 504.92/505.06 c 505s | 25 | 7411483 | 5427198 | 1037 13185 | 0 | 0 506.91/507.07 c 507s | 25 | 7435286 | 5444998 | 1037 13217 | 0 | 0 508.91/509.08 c 509s | 25 | 7458358 | 5461698 | 1037 13248 | 0 | 0 510.91/511.09 c 511s | 25 | 7482009 | 5479298 | 1037 13280 | 0 | 0 512.91/513.10 c 513s | 25 | 7506567 | 5497998 | 1037 13315 | 0 | 0 515.01/515.10 c 515s | 25 | 7530364 | 5515498 | 1037 13347 | 0 | 0 516.92/517.10 c 517s | 25 | 7553585 | 5532598 | 1037 13379 | 0 | 0 519.01/519.10 c 519s | 25 | 7577551 | 5550398 | 1037 13412 | 0 | 0 521.01/521.10 c 521s | 25 | 7601758 | 5568898 | 1037 13446 | 0 | 0 523.01/523.11 c 523s | 25 | 7627733 | 5588198 | 1037 13482 | 0 | 0 525.01/525.12 c 525s | 25 | 7654647 | 5607198 | 1037 13517 | 0 | 0 527.00/527.12 c 527s | 25 | 7681099 | 5626198 | 1037 13552 | 0 | 0 529.01/529.13 c 529s | 25 | 7707828 | 5645298 | 1037 13587 | 0 | 0 531.00/531.14 c 531s | 25 | 7733411 | 5663498 | 1037 13621 | 0 | 0 533.01/533.14 c 533s | 25 | 7759647 | 5682098 | 1037 13655 | 0 | 0 535.01/535.15 c 535s | 25 | 7785312 | 5700198 | 1037 13688 | 0 | 0 537.01/537.16 c 537s | 25 | 7808272 | 5717898 | 1037 13721 | 0 | 0 539.02/539.16 c 539s | 25 | 7833489 | 5737298 | 1037 13756 | 0 | 0 541.01/541.17 c 541s | 25 | 7858576 | 5756398 | 1037 13791 | 0 | 0 543.01/543.18 c 543s | 25 | 7883643 | 5775398 | 1037 13826 | 0 | 0 545.01/545.18 c 545s | 25 | 7908753 | 5793998 | 1037 13860 | 0 | 0 547.01/547.19 c 547s | 25 | 7938425 | 5814098 | 1037 13897 | 0 | 0 549.01/549.19 c 549s | 25 | 7963985 | 5833198 | 1037 13933 | 0 | 0 551.01/551.20 c 551s | 25 | 7989249 | 5852398 | 1037 13969 | 0 | 0 553.10/553.21 c 553s | 25 | 8016007 | 5872498 | 1037 14007 | 0 | 0 555.10/555.21 c 555s | 25 | 8042443 | 5892098 | 1037 14044 | 0 | 0 557.10/557.21 c 557s | 25 | 8068739 | 5911598 | 1037 14080 | 0 | 0 559.10/559.22 c 559s | 25 | 8095913 | 5931798 | 1037 14118 | 0 | 0 561.10/561.22 c 561s | 25 | 8122428 | 5951398 | 1037 14155 | 0 | 0 563.11/563.23 c 563s | 25 | 8148198 | 5970498 | 1037 14191 | 0 | 0 565.10/565.24 c 565s | 25 | 8174172 | 5990098 | 1037 14228 | 0 | 0 567.10/567.24 c 567s | 25 | 8199747 | 6009298 | 1037 14265 | 0 | 0 569.10/569.25 c 569s | 25 | 8225226 | 6028898 | 1037 14302 | 0 | 0 571.10/571.25 c 571s | 25 | 8251316 | 6047998 | 1037 14337 | 0 | 0 573.11/573.26 c 573s | 25 | 8276117 | 6066398 | 1037 14371 | 0 | 0 575.10/575.26 c 575s | 25 | 8304076 | 6087098 | 1037 14410 | 0 | 0 577.10/577.26 c 577s | 25 | 8329225 | 6105898 | 1037 14446 | 0 | 0 579.10/579.26 c 579s | 25 | 8355990 | 6125598 | 1037 14483 | 0 | 0 581.10/581.26 c 581s | 25 | 8383601 | 6145898 | 1037 14521 | 0 | 0 583.10/583.27 c 583s | 25 | 8409773 | 6165398 | 1037 14558 | 0 | 0 585.10/585.27 c 585s | 25 | 8436127 | 6185098 | 1037 14594 | 0 | 0 587.09/587.28 c 587s | 25 | 8461754 | 6203998 | 1037 14630 | 0 | 0 589.09/589.28 c 589s | 25 | 8487505 | 6222898 | 1037 14665 | 0 | 0 591.10/591.29 c 591s | 25 | 8513755 | 6242598 | 1037 14702 | 0 | 0 593.20/593.30 c 593s | 25 | 8539829 | 6261498 | 1037 14737 | 0 | 0 595.20/595.31 c 595s | 25 | 8568156 | 6281998 | 1037 14774 | 0 | 0 597.21/597.31 c 597s | 25 | 8595762 | 6302398 | 1037 14811 | 0 | 0 599.20/599.32 c 599s | 25 | 8622745 | 6322998 | 1037 14848 | 0 | 0 601.20/601.32 c 601s | 25 | 8644846 | 6340898 | 1037 14881 | 0 | 0 603.19/603.33 c 603s | 25 | 8664663 | 6356698 | 1037 14910 | 0 | 0 605.19/605.33 c 605s | 25 | 8686942 | 6373998 | 1037 14942 | 0 | 0 607.20/607.33 c 607s | 25 | 8709586 | 6391498 | 1037 14974 | 0 | 0 609.19/609.34 c 609s | 25 | 8733594 | 6409398 | 1037 15007 | 0 | 0 611.19/611.34 c 611s | 25 | 8759489 | 6428498 | 1037 15043 | 0 | 0 613.19/613.35 c 613s | 25 | 8784260 | 6447498 | 1037 15078 | 0 | 0 615.19/615.36 c 615s | 25 | 8810439 | 6466998 | 1037 15114 | 0 | 0 617.20/617.36 c 617s | 25 | 8835956 | 6485698 | 1037 15149 | 0 | 0 619.21/619.36 c 619s | 25 | 8861148 | 6503898 | 1037 15183 | 0 | 0 621.20/621.37 c 621s | 25 | 8886400 | 6522698 | 1037 15218 | 0 | 0 623.20/623.38 c 623s | 25 | 8912923 | 6541898 | 1037 15253 | 0 | 0 625.20/625.38 c 625s | 25 | 8938952 | 6560898 | 1037 15289 | 0 | 0 627.20/627.39 c 627s | 25 | 8964883 | 6580398 | 1037 15326 | 0 | 0 629.20/629.39 c 629s | 25 | 8991189 | 6599798 | 1037 15362 | 0 | 0 631.20/631.39 c 631s | 25 | 9017894 | 6618198 | 1037 15396 | 0 | 0 633.20/633.39 c 633s | 25 | 9042644 | 6635998 | 1037 15430 | 0 | 0 635.30/635.40 c 635s | 25 | 9067337 | 6653698 | 1037 15463 | 0 | 0 637.29/637.40 c 637s | 25 | 9089889 | 6669998 | 1037 15493 | 0 | 0 639.29/639.41 c 639s | 25 | 9114149 | 6687898 | 1037 15527 | 0 | 0 641.30/641.42 c 641s | 25 | 9138238 | 6706398 | 1037 15560 | 0 | 0 643.29/643.43 c 643s | 25 | 9163600 | 6725398 | 1037 15595 | 0 | 0 645.29/645.44 c 645s | 25 | 9189585 | 6744798 | 1037 15631 | 0 | 0 647.29/647.44 c 647s | 25 | 9215827 | 6764598 | 1037 15668 | 0 | 0 649.29/649.45 c 649s | 25 | 9243411 | 6784998 | 1037 15706 | 0 | 0 651.29/651.46 c 651s | 25 | 9269834 | 6804098 | 1037 15742 | 0 | 0 653.30/653.46 c 653s | 25 | 9295108 | 6822598 | 1037 15776 | 0 | 0 655.29/655.46 c 655s | 25 | 9321900 | 6842598 | 1037 15813 | 0 | 0 657.29/657.47 c 657s | 25 | 9349888 | 6863298 | 1037 15851 | 0 | 0 659.29/659.47 c 659s | 25 | 9374580 | 6882098 | 1037 15885 | 0 | 0 661.29/661.48 c 661s | 25 | 9402124 | 6902198 | 1037 15922 | 0 | 0 663.29/663.49 c 663s | 25 | 9427547 | 6920398 | 1037 15956 | 0 | 0 665.28/665.49 c 665s | 25 | 9454479 | 6939798 | 1037 15991 | 0 | 0 667.38/667.50 c 667s | 25 | 9479669 | 6958698 | 1037 16026 | 0 | 0 669.38/669.50 c 669s | 25 | 9506829 | 6979098 | 1037 16063 | 0 | 0 671.39/671.51 c 671s | 25 | 9532667 | 6998098 | 1037 16099 | 0 | 0 673.39/673.52 c 673s | 25 | 9558867 | 7016998 | 1037 16134 | 0 | 0 675.40/675.52 c 675s | 25 | 9586380 | 7037398 | 1037 16171 | 0 | 0 677.39/677.53 c 677s | 25 | 9614729 | 7057898 | 1037 16208 | 0 | 0 679.39/679.53 c 679s | 25 | 9641786 | 7078198 | 1037 16246 | 0 | 0 681.39/681.54 c 681s | 25 | 9669561 | 7098698 | 1037 16284 | 0 | 0 683.38/683.55 c 683s | 25 | 9698921 | 7119898 | 1037 16323 | 0 | 0 685.38/685.55 c 685s | 25 | 9726317 | 7140398 | 1037 16360 | 0 | 0 687.39/687.56 c 687s | 25 | 9752388 | 7159898 | 1037 16396 | 0 | 0 689.38/689.56 c 689s | 25 | 9778536 | 7179898 | 1037 16432 | 0 | 0 691.38/691.57 c 691s | 25 | 9805512 | 7199298 | 1037 16468 | 0 | 0 693.38/693.57 c 693s | 25 | 9833126 | 7218898 | 1037 16504 | 0 | 0 695.38/695.58 c 695s | 25 | 9858171 | 7237798 | 1037 16538 | 0 | 0 697.39/697.58 c 697s | 25 | 9884296 | 7256398 | 1037 16573 | 0 | 0 699.38/699.58 c 699s | 25 | 9910122 | 7275498 | 1037 16608 | 0 | 0 701.38/701.59 c 701s | 25 | 9936564 | 7294098 | 1037 16643 | 0 | 0 703.38/703.59 c 703s | 25 | 9960606 | 7312498 | 1037 16676 | 0 | 0 705.39/705.59 c 705s | 25 | 9983148 | 7330398 | 1037 16709 | 0 | 0 707.49/707.60 c 707s | 25 | 10009952 | 7350398 | 1037 16746 | 0 | 0 709.39/709.60 c 709s | 25 | 10038118 | 7370898 | 1037 16784 | 0 | 0 711.48/711.61 c 711s | 25 | 10065989 | 7391098 | 1037 16822 | 0 | 0 713.48/713.61 c 713s | 25 | 10088789 | 7408798 | 1037 16855 | 0 | 0 715.48/715.62 c 715s | 25 | 10114179 | 7427298 | 1037 16889 | 0 | 0 717.48/717.62 c 717s | 25 | 10140664 | 7446698 | 1037 16926 | 0 | 0 719.48/719.63 c 719s | 25 | 10166279 | 7465498 | 1037 16961 | 0 | 0 721.49/721.63 c 721s | 25 | 10190086 | 7483698 | 1037 16996 | 0 | 0 723.48/723.63 c 723s | 25 | 10214721 | 7502398 | 1037 17030 | 0 | 0 725.48/725.63 c 725s | 25 | 10241279 | 7521698 | 1037 17066 | 0 | 0 727.48/727.64 c 727s | 25 | 10266872 | 7540798 | 1037 17100 | 0 | 0 729.48/729.65 c 729s | 25 | 10290933 | 7559198 | 1141 17131 | 0 | 0 731.48/731.65 c 731s | 25 | 10313676 | 7576598 | 1141 17161 | 0 | 0 733.48/733.66 c 733s | 25 | 10340425 | 7595598 | 1141 17193 | 0 | 0 733.68/733.88 c 733s | 26 | 10343472 | 7597752 | 1141 17197 | 0 | 0 735.68/735.88 c 735s | 26 | 10371862 | 7617152 | 1141 17230 | 0 | 0 737.67/737.89 c 737s | 26 | 10402853 | 7637352 | 1141 17263 | 0 | 0 739.77/739.90 c 739s | 26 | 10433243 | 7656752 | 1141 17296 | 0 | 0 741.77/741.90 c 741s | 26 | 10458153 | 7674552 | 1141 17327 | 0 | 0 743.77/743.91 c 743s | 26 | 10484421 | 7692652 | 1141 17357 | 0 | 0 745.78/745.91 c 745s | 26 | 10512089 | 7711652 | 1141 17390 | 0 | 0 747.77/747.93 c 747s | 26 | 10541226 | 7731052 | 1141 17423 | 0 | 0 749.77/749.94 c 749s | 26 | 10569559 | 7749852 | 1141 17454 | 0 | 0 751.77/751.94 c 751s | 26 | 10598547 | 7769452 | 1141 17487 | 0 | 0 753.77/753.94 c 753s | 26 | 10626973 | 7788852 | 1141 17520 | 0 | 0 755.77/755.96 c 755s | 26 | 10656648 | 7807952 | 1141 17552 | 0 | 0 757.78/757.96 c 757s | 26 | 10680647 | 7825652 | 1141 17582 | 0 | 0 759.77/759.96 c 759s | 26 | 10703683 | 7842552 | 1141 17611 | 0 | 0 761.78/761.96 c 761s | 26 | 10731280 | 7860752 | 1141 17642 | 0 | 0 763.78/763.97 c 763s | 26 | 10759555 | 7878752 | 1141 17672 | 0 | 0 765.78/765.97 c 765s | 26 | 10786820 | 7897652 | 1141 17704 | 0 | 0 767.78/767.98 c 767s | 26 | 10815050 | 7917052 | 1141 17737 | 0 | 0 769.78/769.98 c 769s | 26 | 10841940 | 7935852 | 1141 17768 | 0 | 0 771.77/771.99 c 771s | 26 | 10867996 | 7954252 | 1141 17799 | 0 | 0 773.87/774.00 c 773s | 26 | 10895939 | 7973252 | 1141 17831 | 0 | 0 775.87/776.00 c 775s | 26 | 10922917 | 7992052 | 1141 17863 | 0 | 0 777.87/778.02 c 778s | 26 | 10949661 | 8010752 | 1141 17894 | 0 | 0 779.88/780.02 c 780s | 26 | 10975640 | 8028752 | 1141 17925 | 0 | 0 781.87/782.02 c 782s | 26 | 11001807 | 8047252 | 1141 17956 | 0 | 0 783.87/784.03 c 784s | 26 | 11028190 | 8066152 | 1141 17988 | 0 | 0 785.87/786.03 c 786s | 26 | 11056349 | 8085752 | 1141 18021 | 0 | 0 787.87/788.03 c 788s | 26 | 11084287 | 8105252 | 1141 18054 | 0 | 0 789.87/790.04 c 790s | 26 | 11112603 | 8125352 | 1141 18088 | 0 | 0 791.88/792.05 c 792s | 26 | 11140120 | 8144452 | 1141 18121 | 0 | 0 793.87/794.05 c 794s | 26 | 11166777 | 8164052 | 1141 18154 | 0 | 0 795.87/796.06 c 796s | 26 | 11193757 | 8184052 | 1141 18188 | 0 | 0 797.87/798.06 c 798s | 26 | 11220806 | 8203652 | 1141 18222 | 0 | 0 799.87/800.07 c 800s | 26 | 11249505 | 8224152 | 1141 18257 | 0 | 0 801.87/802.07 c 802s | 26 | 11277103 | 8243152 | 1141 18289 | 0 | 0 803.87/804.08 c 804s | 26 | 11301847 | 8261352 | 1141 18320 | 0 | 0 805.87/806.08 c 806s | 26 | 11327557 | 8279752 | 1141 18351 | 0 | 0 807.86/808.09 c 808s | 26 | 11355504 | 8298552 | 1141 18383 | 0 | 0 809.86/810.09 c 810s | 26 | 11380698 | 8316552 | 1141 18414 | 0 | 0 811.96/812.10 c 812s | 26 | 11403261 | 8333352 | 1141 18443 | 0 | 0 813.97/814.11 c 814s | 26 | 11430825 | 8352852 | 1141 18476 | 0 | 0 815.96/816.11 c 816s | 26 | 11458330 | 8372752 | 1141 18510 | 0 | 0 817.96/818.11 c 818s | 26 | 11485638 | 8392652 | 1141 18543 | 0 | 0 819.96/820.12 c 820s | 26 | 11511919 | 8411752 | 1141 18576 | 0 | 0 821.96/822.13 c 822s | 26 | 11537523 | 8430652 | 1141 18608 | 0 | 0 823.96/824.14 c 824s | 26 | 11563480 | 8450252 | 1141 18641 | 0 | 0 825.97/826.14 c 826s | 26 | 11590098 | 8469952 | 1141 18675 | 0 | 0 827.96/828.15 c 828s | 26 | 11616511 | 8489852 | 1141 18709 | 0 | 0 829.96/830.15 c 830s | 26 | 11642068 | 8509052 | 1141 18741 | 0 | 0 831.96/832.16 c 832s | 26 | 11667048 | 8527952 | 1141 18773 | 0 | 0 833.96/834.17 c 834s | 26 | 11692311 | 8546852 | 1141 18805 | 0 | 0 835.96/836.18 c 836s | 26 | 11719310 | 8566752 | 1141 18840 | 0 | 0 837.96/838.18 c 838s | 26 | 11744897 | 8586452 | 1141 18874 | 0 | 0 839.97/840.19 c 840s | 26 | 11771837 | 8606452 | 1141 18908 | 0 | 0 841.96/842.19 c 842s | 26 | 11795743 | 8624852 | 1141 18940 | 0 | 0 844.06/844.20 c 844s | 26 | 11819053 | 8642752 | 1141 18971 | 0 | 0 846.06/846.20 c 846s | 26 | 11845251 | 8662052 | 1141 19005 | 0 | 0 848.07/848.21 c 848s | 26 | 11870664 | 8680852 | 1141 19037 | 0 | 0 850.06/850.23 c 850s | 26 | 11897305 | 8700052 | 1141 19070 | 0 | 0 852.06/852.23 c 852s | 26 | 11921858 | 8718952 | 1141 19102 | 0 | 0 854.06/854.23 c 854s | 26 | 11949180 | 8738852 | 1141 19135 | 0 | 0 856.06/856.24 c 856s | 26 | 11975929 | 8758152 | 1141 19167 | 0 | 0 858.05/858.25 c 858s | 26 | 12001278 | 8776652 | 1141 19198 | 0 | 0 860.06/860.26 c 860s | 26 | 12026280 | 8795052 | 1141 19230 | 0 | 0 862.05/862.26 c 862s | 26 | 12051678 | 8813952 | 1141 19262 | 0 | 0 864.06/864.27 c 864s | 26 | 12078663 | 8832952 | 1141 19294 | 0 | 0 866.06/866.27 c 866s | 26 | 12105313 | 8851952 | 1141 19326 | 0 | 0 868.06/868.27 c 868s | 26 | 12133437 | 8871752 | 1141 19360 | 0 | 0 870.07/870.28 c 870s | 26 | 12159831 | 8890952 | 1141 19392 | 0 | 0 872.06/872.28 c 872s | 26 | 12185717 | 8909852 | 1141 19424 | 0 | 0 874.06/874.29 c 874s | 26 | 12211280 | 8928452 | 1141 19455 | 0 | 0 876.06/876.29 c 876s | 26 | 12237005 | 8946752 | 1141 19487 | 0 | 0 878.06/878.29 c 878s | 26 | 12259476 | 8963552 | 1141 19515 | 0 | 0 880.16/880.30 c 880s | 26 | 12280660 | 8979252 | 1141 19542 | 0 | 0 882.06/882.30 c 882s | 26 | 12302921 | 8995952 | 1141 19570 | 0 | 0 884.15/884.31 c 884s | 26 | 12329440 | 9015352 | 1141 19604 | 0 | 0 886.15/886.31 c 886s | 26 | 12357276 | 9035052 | 1141 19638 | 0 | 0 888.16/888.32 c 888s | 26 | 12383947 | 9053752 | 1141 19670 | 0 | 0 890.16/890.32 c 890s | 26 | 12409883 | 9072752 | 1141 19702 | 0 | 0 892.16/892.34 c 892s | 26 | 12435270 | 9091552 | 1141 19734 | 0 | 0 894.16/894.34 c 894s | 26 | 12461899 | 9111352 | 1141 19767 | 0 | 0 896.16/896.35 c 896s | 26 | 12488631 | 9130652 | 1141 19799 | 0 | 0 898.16/898.35 c 898s | 26 | 12515079 | 9150152 | 1141 19831 | 0 | 0 900.15/900.36 c 900s | 26 | 12540720 | 9169552 | 1141 19864 | 0 | 0 902.15/902.37 c 902s | 26 | 12566719 | 9188152 | 1141 19895 | 0 | 0 904.16/904.37 c 904s | 26 | 12595037 | 9208152 | 1141 19929 | 0 | 0 906.15/906.38 c 906s | 26 | 12622974 | 9228252 | 1141 19963 | 0 | 0 908.15/908.38 c 908s | 26 | 12649589 | 9247652 | 1141 19996 | 0 | 0 910.15/910.39 c 910s | 26 | 12672575 | 9264852 | 1141 20025 | 0 | 0 912.25/912.40 c 912s | 26 | 12694442 | 9281152 | 1141 20053 | 0 | 0 914.25/914.40 c 914s | 26 | 12718692 | 9298852 | 1141 20082 | 0 | 0 916.26/916.41 c 916s | 26 | 12745915 | 9318652 | 1141 20115 | 0 | 0 918.25/918.42 c 918s | 26 | 12772219 | 9337952 | 1141 20148 | 0 | 0 920.25/920.43 c 920s | 26 | 12798209 | 9356752 | 1141 20179 | 0 | 0 922.25/922.44 c 922s | 26 | 12824748 | 9376052 | 1141 20212 | 0 | 0 924.25/924.44 c 924s | 26 | 12850693 | 9395652 | 1141 20245 | 0 | 0 926.25/926.44 c 926s | 26 | 12876432 | 9414752 | 1141 20277 | 0 | 0 928.25/928.45 c 928s | 26 | 12904350 | 9434352 | 1141 20310 | 0 | 0 930.24/930.46 c 930s | 26 | 12930697 | 9453952 | 1141 20343 | 0 | 0 932.24/932.48 c 932s | 26 | 12958408 | 9474152 | 1141 20376 | 0 | 0 934.24/934.48 c 934s | 26 | 12985015 | 9493552 | 1141 20409 | 0 | 0 936.24/936.48 c 936s | 26 | 13010703 | 9512152 | 1141 20441 | 0 | 0 938.25/938.49 c 938s | 26 | 13037240 | 9531952 | 1141 20474 | 0 | 0 940.24/940.50 c 940s | 26 | 13060040 | 9549752 | 1141 20504 | 0 | 0 942.34/942.50 c 942s | 26 | 13084042 | 9567352 | 1141 20534 | 0 | 0 944.35/944.51 c 944s | 26 | 13110082 | 9585952 | 1141 20566 | 0 | 0 946.35/946.52 c 946s | 26 | 13138158 | 9605652 | 1141 20599 | 0 | 0 948.35/948.52 c 948s | 26 | 13166361 | 9625652 | 1141 20633 | 0 | 0 950.36/950.53 c 950s | 26 | 13192167 | 9644252 | 1141 20664 | 0 | 0 952.35/952.54 c 952s | 26 | 13218169 | 9663452 | 1141 20697 | 0 | 0 954.35/954.54 c 954s | 26 | 13244599 | 9682552 | 1141 20729 | 0 | 0 956.35/956.55 c 956s | 26 | 13273053 | 9702552 | 1141 20763 | 0 | 0 958.35/958.56 c 958s | 26 | 13300152 | 9722452 | 1141 20796 | 0 | 0 960.35/960.57 c 960s | 26 | 13326625 | 9741652 | 1141 20828 | 0 | 0 962.35/962.58 c 962s | 26 | 13352540 | 9759852 | 1141 20858 | 0 | 0 964.34/964.59 c 964s | 26 | 13373736 | 9776352 | 1141 20887 | 0 | 0 966.44/966.60 c 966s | 26 | 13399341 | 9794352 | 1141 20917 | 0 | 0 968.44/968.61 c 968s | 26 | 13424820 | 9813252 | 1141 20948 | 0 | 0 970.44/970.62 c 970s | 26 | 13450454 | 9831652 | 1141 20979 | 0 | 0 972.44/972.62 c 972s | 26 | 13475010 | 9850052 | 1141 21010 | 0 | 0 974.45/974.62 c 974s | 26 | 13500732 | 9868952 | 1141 21042 | 0 | 0 976.44/976.63 c 976s | 26 | 13526680 | 9887652 | 1141 21074 | 0 | 0 978.44/978.64 c 978s | 26 | 13551850 | 9906352 | 1141 21106 | 0 | 0 980.44/980.64 c 980s | 26 | 13578562 | 9925952 | 1141 21139 | 0 | 0 982.44/982.65 c 982s | 26 | 13604577 | 9944752 | 1141 21170 | 0 | 0 984.44/984.66 c 984s | 26 | 13631615 | 9963952 | 1141 21203 | 0 | 0 986.44/986.66 c 986s | 26 | 13656197 | 9981652 | 1141 21234 | 0 | 0 988.43/988.66 c 988s | 26 | 13679168 | 9999252 | 1141 21264 | 0 | 0 990.43/990.67 c 990s | 26 | 13706297 | 10018852 | 1141 21296 | 0 | 0 992.44/992.67 c 992s | 26 | 13731282 | 10037652 | 1141 21328 | 0 | 0 994.44/994.68 c 994s | 26 | 13759437 | 10057952 | 1141 21362 | 0 | 0 996.44/996.69 c 996s | 26 | 13786051 | 10077552 | 1141 21395 | 0 | 0 998.54/998.70 c 998s | 26 | 13813578 | 10097752 | 1141 21429 | 0 | 0 1000.54/1000.70 c 1000s | 26 | 13839702 | 10116952 | 1141 21461 | 0 | 0 1002.54/1002.70 c 1002s | 26 | 13867210 | 10136852 | 1141 21495 | 0 | 0 1004.54/1004.71 c 1004s | 26 | 13893963 | 10156352 | 1141 21527 | 0 | 0 1006.54/1006.71 c 1006s | 26 | 13918149 | 10174452 | 1141 21558 | 0 | 0 1008.54/1008.71 c 1008s | 26 | 13940816 | 10192052 | 1141 21587 | 0 | 0 1010.53/1010.72 c 1010s | 26 | 13963672 | 10209652 | 1141 21617 | 0 | 0 1012.53/1012.72 c 1012s | 26 | 13985725 | 10226952 | 1141 21646 | 0 | 0 1014.53/1014.73 c 1014s | 26 | 14011335 | 10245052 | 1141 21677 | 0 | 0 1016.53/1016.73 c 1016s | 26 | 14035745 | 10262852 | 1141 21707 | 0 | 0 1018.54/1018.74 c 1018s | 26 | 14059114 | 10280052 | 1141 21736 | 0 | 0 1020.53/1020.74 c 1020s | 26 | 14085079 | 10298852 | 1141 21767 | 0 | 0 1022.53/1022.74 c 1022s | 26 | 14109900 | 10317452 | 1141 21798 | 0 | 0 1024.53/1024.75 c 1024s | 26 | 14131614 | 10334152 | 1141 21826 | 0 | 0 1026.53/1026.76 c 1026s | 26 | 14158283 | 10353752 | 1141 21859 | 0 | 0 1028.53/1028.76 c 1028s | 26 | 14181955 | 10371352 | 1141 21888 | 0 | 0 1030.53/1030.77 c 1030s | 26 | 14203106 | 10387552 | 1141 21915 | 0 | 0 1032.53/1032.78 c 1032s | 26 | 14228229 | 10406652 | 1141 21947 | 0 | 0 1034.53/1034.78 c 1034s | 26 | 14252818 | 10424552 | 1141 21976 | 0 | 0 1036.54/1036.79 c 1036s | 26 | 14276861 | 10442452 | 1141 22006 | 0 | 0 1038.54/1038.79 c 1038s | 26 | 14299660 | 10460052 | 1141 22036 | 0 | 0 1040.63/1040.80 c 1040s | 26 | 14324000 | 10477652 | 1141 22065 | 0 | 0 1042.64/1042.81 c 1042s | 26 | 14349293 | 10495952 | 1141 22096 | 0 | 0 1044.63/1044.82 c 1044s | 26 | 14372708 | 10513052 | 1141 22125 | 0 | 0 1046.63/1046.82 c 1046s | 26 | 14396949 | 10529952 | 1141 22154 | 0 | 0 1048.63/1048.82 c 1048s | 26 | 14423196 | 10549752 | 1141 22187 | 0 | 0 1050.63/1050.83 c 1050s | 26 | 14449365 | 10568852 | 1141 22220 | 0 | 0 1052.64/1052.84 c 1052s | 26 | 14475319 | 10588152 | 1141 22252 | 0 | 0 1054.63/1054.84 c 1054s | 26 | 14498885 | 10605752 | 1141 22282 | 0 | 0 1056.63/1056.85 c 1056s | 26 | 14524803 | 10624652 | 1141 22314 | 0 | 0 1058.63/1058.85 c 1058s | 26 | 14551128 | 10643952 | 1141 22346 | 0 | 0 1060.63/1060.86 c 1060s | 26 | 14577168 | 10661652 | 1141 22376 | 0 | 0 1062.63/1062.86 c 1062s | 26 | 14597371 | 10676652 | 1141 22402 | 0 | 0 1064.63/1064.87 c 1064s | 26 | 14620181 | 10693952 | 1141 22431 | 0 | 0 1066.62/1066.88 c 1066s | 26 | 14647357 | 10713652 | 1141 22463 | 0 | 0 1068.62/1068.89 c 1068s | 26 | 14671998 | 10732252 | 1141 22495 | 0 | 0 1070.72/1070.90 c 1070s | 26 | 14694951 | 10750052 | 1141 22525 | 0 | 0 1072.72/1072.91 c 1072s | 26 | 14712823 | 10764152 | 1141 22549 | 0 | 0 1074.72/1074.91 c 1074s | 26 | 14737817 | 10782252 | 1141 22579 | 0 | 0 1076.73/1076.91 c 1076s | 26 | 14761094 | 10799552 | 1141 22608 | 0 | 0 1078.72/1078.92 c 1078s | 26 | 14785479 | 10817352 | 1141 22638 | 0 | 0 1080.72/1080.92 c 1080s | 26 | 14808537 | 10834652 | 1141 22668 | 0 | 0 1082.72/1082.93 c 1082s | 26 | 14835643 | 10854052 | 1141 22700 | 0 | 0 1084.72/1084.93 c 1084s | 26 | 14860309 | 10872452 | 1141 22731 | 0 | 0 1086.73/1086.93 c 1086s | 26 | 14881042 | 10888752 | 1141 22759 | 0 | 0 1088.72/1088.94 c 1088s | 26 | 14906690 | 10907452 | 1141 22790 | 0 | 0 1090.72/1090.94 c 1090s | 26 | 14929982 | 10925452 | 1141 22821 | 0 | 0 1092.72/1092.95 c 1092s | 26 | 14955503 | 10944552 | 1141 22853 | 0 | 0 1094.72/1094.95 c 1094s | 26 | 14978231 | 10961452 | 1141 22881 | 0 | 0 1096.72/1096.96 c 1096s | 26 | 15003739 | 10980152 | 1141 22913 | 0 | 0 1098.72/1098.96 c 1098s | 26 | 15029208 | 10999152 | 1141 22944 | 0 | 0 1100.72/1100.96 c 1100s | 26 | 15050904 | 11016152 | 1141 22973 | 0 | 0 1102.72/1102.97 c 1102s | 26 | 15075889 | 11034152 | 1141 23002 | 0 | 0 1104.72/1104.98 c 1104s | 26 | 15102457 | 11052752 | 1141 23033 | 0 | 0 1106.72/1106.98 c 1106s | 26 | 15127344 | 11070752 | 1141 23063 | 0 | 0 1108.72/1108.98 c 1108s | 26 | 15153734 | 11090052 | 1141 23095 | 0 | 0 1110.72/1110.99 c 1110s | 26 | 15178292 | 11108252 | 1141 23126 | 0 | 0 1112.71/1112.99 c 1112s | 26 | 15202431 | 11125252 | 1141 23155 | 0 | 0 1114.82/1115.00 c 1114s | 26 | 15225399 | 11142052 | 1141 23182 | 0 | 0 1116.82/1117.01 c 1117s | 26 | 15252055 | 11161452 | 1141 23215 | 0 | 0 1118.82/1119.01 c 1119s | 26 | 15275916 | 11179652 | 1141 23245 | 0 | 0 1120.83/1121.02 c 1121s | 26 | 15301132 | 11198252 | 1141 23276 | 0 | 0 1122.82/1123.02 c 1123s | 26 | 15327164 | 11217252 | 1141 23308 | 0 | 0 1124.82/1125.03 c 1125s | 26 | 15353233 | 11236352 | 1141 23340 | 0 | 0 1126.82/1127.03 c 1127s | 26 | 15380475 | 11256452 | 1141 23374 | 0 | 0 1128.82/1129.03 c 1129s | 26 | 15405998 | 11275752 | 1141 23406 | 0 | 0 1130.82/1131.04 c 1131s | 26 | 15431349 | 11294752 | 1141 23439 | 0 | 0 1132.82/1133.05 c 1133s | 26 | 15457994 | 11313652 | 1141 23471 | 0 | 0 1134.81/1135.05 c 1135s | 26 | 15483177 | 11331952 | 1256 23499 | 0 | 0 1136.81/1137.05 c 1137s | 26 | 15507447 | 11350452 | 1256 23527 | 0 | 0 1138.81/1139.05 c 1139s | 26 | 15532909 | 11369552 | 1256 23556 | 0 | 0 1140.81/1141.07 c 1141s | 26 | 15557171 | 11387752 | 1256 23584 | 0 | 0 1141.81/1142.03 c 1142s | 27 | 15569253 | 11396733 | 1256 23598 | 0 | 0 1143.82/1144.03 c 1144s | 27 | 15595694 | 11415933 | 1256 23627 | 0 | 0 1145.81/1146.04 c 1146s | 27 | 15623594 | 11435333 | 1256 23658 | 0 | 0 1147.81/1148.05 c 1148s | 27 | 15651097 | 11454333 | 1256 23687 | 0 | 0 1149.81/1150.06 c 1150s | 27 | 15679847 | 11473133 | 1256 23716 | 0 | 0 1151.81/1152.06 c 1152s | 27 | 15709675 | 11491833 | 1256 23745 | 0 | 0 1153.82/1154.07 c 1154s | 27 | 15735965 | 11508433 | 1256 23771 | 0 | 0 1155.82/1156.07 c 1156s | 27 | 15763372 | 11527333 | 1256 23800 | 0 | 0 1157.82/1158.07 c 1158s | 27 | 15791435 | 11546033 | 1256 23829 | 0 | 0 1159.81/1160.08 c 1160s | 27 | 15818498 | 11564733 | 1256 23858 | 0 | 0 1161.81/1162.09 c 1162s | 27 | 15848146 | 11583733 | 1256 23887 | 0 | 0 1163.81/1164.09 c 1164s | 27 | 15875211 | 11602533 | 1256 23917 | 0 | 0 1165.82/1166.10 c 1166s | 27 | 15900130 | 11620433 | 1256 23945 | 0 | 0 1167.91/1168.10 c 1168s | 27 | 15923742 | 11637433 | 1256 23971 | 0 | 0 1169.91/1170.11 c 1170s | 27 | 15949091 | 11655133 | 1256 23999 | 0 | 0 1171.91/1172.11 c 1172s | 27 | 15974823 | 11672333 | 1256 24026 | 0 | 0 1173.91/1174.11 c 1174s | 27 | 16001088 | 11690833 | 1256 24054 | 0 | 0 1175.91/1176.12 c 1176s | 27 | 16028340 | 11710633 | 1256 24085 | 0 | 0 1177.92/1178.13 c 1178s | 27 | 16054587 | 11730233 | 1256 24115 | 0 | 0 1179.91/1180.14 c 1180s | 27 | 16080602 | 11749133 | 1256 24145 | 0 | 0 1181.91/1182.14 c 1182s | 27 | 16108246 | 11768533 | 1256 24175 | 0 | 0 1183.91/1184.15 c 1184s | 27 | 16135793 | 11788133 | 1256 24205 | 0 | 0 1185.91/1186.15 c 1186s | 27 | 16163374 | 11808033 | 1256 24236 | 0 | 0 1187.91/1188.16 c 1188s | 27 | 16187524 | 11826033 | 1256 24263 | 0 | 0 1189.91/1190.17 c 1190s | 27 | 16214509 | 11844833 | 1256 24292 | 0 | 0 1191.90/1192.18 c 1192s | 27 | 16240231 | 11863233 | 1256 24321 | 0 | 0 1193.90/1194.18 c 1194s | 27 | 16265235 | 11882333 | 1256 24350 | 0 | 0 1195.90/1196.19 c 1196s | 27 | 16290010 | 11901133 | 1256 24379 | 0 | 0 1198.00/1198.20 c 1198s | 27 | 16316678 | 11920433 | 1256 24409 | 0 | 0 1200.01/1200.20 c 1200s | 27 | 16344469 | 11940133 | 1256 24440 | 0 | 0 1202.00/1202.21 c 1202s | 27 | 16371076 | 11959133 | 1256 24469 | 0 | 0 1204.01/1204.22 c 1204s | 27 | 16397465 | 11978033 | 1256 24498 | 0 | 0 1206.01/1206.23 c 1206s | 27 | 16421972 | 11995833 | 1256 24525 | 0 | 0 1208.01/1208.23 c 1208s | 27 | 16448463 | 12014733 | 1256 24555 | 0 | 0 1210.01/1210.24 c 1210s | 27 | 16475234 | 12034133 | 1256 24584 | 0 | 0 1212.01/1212.25 c 1212s | 27 | 16500862 | 12052833 | 1256 24613 | 0 | 0 1214.00/1214.26 c 1214s | 27 | 16526270 | 12071233 | 1256 24641 | 0 | 0 1216.00/1216.26 c 1216s | 27 | 16552629 | 12090133 | 1256 24670 | 0 | 0 1218.00/1218.27 c 1218s | 27 | 16577682 | 12109033 | 1256 24700 | 0 | 0 1220.00/1220.28 c 1220s | 27 | 16605604 | 12129533 | 1256 24731 | 0 | 0 1222.01/1222.29 c 1222s | 27 | 16629924 | 12148233 | 1256 24760 | 0 | 0 1224.00/1224.30 c 1224s | 27 | 16652197 | 12165533 | 1256 24787 | 0 | 0 1226.10/1226.31 c 1226s | 27 | 16677291 | 12184633 | 1256 24817 | 0 | 0 1228.10/1228.32 c 1228s | 27 | 16703362 | 12203433 | 1256 24846 | 0 | 0 1230.11/1230.32 c 1230s | 27 | 16728377 | 12221133 | 1256 24873 | 0 | 0 1232.10/1232.33 c 1232s | 27 | 16753137 | 12239633 | 1256 24902 | 0 | 0 1234.11/1234.34 c 1234s | 27 | 16778012 | 12258533 | 1256 24931 | 0 | 0 1236.10/1236.34 c 1236s | 27 | 16801679 | 12276733 | 1256 24959 | 0 | 0 1238.10/1238.34 c 1238s | 27 | 16825539 | 12294733 | 1256 24987 | 0 | 0 1240.10/1240.35 c 1240s | 27 | 16850625 | 12313533 | 1256 25016 | 0 | 0 1242.10/1242.36 c 1242s | 27 | 16874903 | 12331733 | 1256 25044 | 0 | 0 1244.10/1244.36 c 1244s | 27 | 16903358 | 12351133 | 1256 25075 | 0 | 0 1246.11/1246.37 c 1246s | 27 | 16929131 | 12370333 | 1256 25104 | 0 | 0 1248.10/1248.38 c 1248s | 27 | 16953175 | 12388333 | 1256 25132 | 0 | 0 1250.10/1250.38 c 1250s | 27 | 16980303 | 12407133 | 1256 25162 | 0 | 0 1252.09/1252.39 c 1252s | 27 | 17003427 | 12424333 | 1256 25188 | 0 | 0 1254.19/1254.40 c 1254s | 27 | 17027200 | 12442333 | 1256 25217 | 0 | 0 1256.19/1256.40 c 1256s | 27 | 17051876 | 12461033 | 1256 25246 | 0 | 0 1258.09/1258.40 c 1258s | 27 | 17076225 | 12479333 | 1256 25274 | 0 | 0 1260.20/1260.41 c 1260s | 27 | 17100862 | 12498033 | 1256 25303 | 0 | 0 1262.20/1262.42 c 1262s | 27 | 17124819 | 12516233 | 1256 25332 | 0 | 0 1264.20/1264.42 c 1264s | 27 | 17150484 | 12534433 | 1256 25360 | 0 | 0 1266.20/1266.42 c 1266s | 27 | 17174646 | 12552633 | 1256 25389 | 0 | 0 1268.21/1268.43 c 1268s | 27 | 17200001 | 12571533 | 1256 25418 | 0 | 0 1270.20/1270.43 c 1270s | 27 | 17224929 | 12590333 | 1256 25447 | 0 | 0 1272.20/1272.44 c 1272s | 27 | 17251054 | 12609133 | 1256 25477 | 0 | 0 1274.20/1274.45 c 1274s | 27 | 17276813 | 12628333 | 1256 25506 | 0 | 0 1276.19/1276.45 c 1276s | 27 | 17299612 | 12645833 | 1256 25533 | 0 | 0 1278.19/1278.46 c 1278s | 27 | 17323376 | 12663633 | 1256 25560 | 0 | 0 1280.20/1280.46 c 1280s | 27 | 17348745 | 12682233 | 1256 25589 | 0 | 0 1282.19/1282.47 c 1282s | 27 | 17374352 | 12700833 | 1256 25618 | 0 | 0 1284.19/1284.48 c 1284s | 27 | 17397461 | 12718733 | 1256 25646 | 0 | 0 1286.19/1286.48 c 1286s | 27 | 17422147 | 12737333 | 1256 25674 | 0 | 0 1288.19/1288.48 c 1288s | 27 | 17448399 | 12756833 | 1256 25704 | 0 | 0 1290.19/1290.49 c 1290s | 27 | 17471958 | 12774333 | 1256 25731 | 0 | 0 1292.19/1292.50 c 1292s | 27 | 17493605 | 12791433 | 1256 25757 | 0 | 0 1294.30/1294.51 c 1294s | 27 | 17515993 | 12808833 | 1256 25784 | 0 | 0 1296.30/1296.52 c 1296s | 27 | 17539292 | 12826633 | 1256 25812 | 0 | 0 1298.29/1298.52 c 1298s | 27 | 17564561 | 12845233 | 1256 25841 | 0 | 0 1300.29/1300.53 c 1300s | 27 | 17587199 | 12862433 | 1256 25868 | 0 | 0 1302.30/1302.53 c 1302s | 27 | 17610488 | 12879933 | 1256 25895 | 0 | 0 1304.29/1304.54 c 1304s | 27 | 17633927 | 12897433 | 1256 25922 | 0 | 0 1306.29/1306.55 c 1306s | 27 | 17657687 | 12915333 | 1256 25950 | 0 | 0 1308.29/1308.55 c 1308s | 27 | 17680653 | 12933133 | 1256 25978 | 0 | 0 1310.29/1310.56 c 1310s | 27 | 17705331 | 12951433 | 1256 26007 | 0 | 0 1312.29/1312.57 c 1312s | 27 | 17730891 | 12970533 | 1256 26037 | 0 | 0 1314.29/1314.57 c 1314s | 27 | 17755003 | 12989033 | 1256 26066 | 0 | 0 1316.29/1316.57 c 1316s | 27 | 17781279 | 13007733 | 1256 26095 | 0 | 0 1318.28/1318.58 c 1318s | 27 | 17805905 | 13026033 | 1256 26123 | 0 | 0 1320.29/1320.58 c 1320s | 27 | 17831409 | 13044533 | 1256 26152 | 0 | 0 1322.29/1322.59 c 1322s | 27 | 17856377 | 13063133 | 1256 26181 | 0 | 0 1324.39/1324.60 c 1324s | 27 | 17881757 | 13081833 | 1256 26210 | 0 | 0 1326.29/1326.60 c 1326s | 27 | 17905526 | 13099833 | 1256 26238 | 0 | 0 1328.39/1328.61 c 1328s | 27 | 17929707 | 13117833 | 1256 26266 | 0 | 0 1330.39/1330.61 c 1330s | 27 | 17955673 | 13136533 | 1256 26296 | 0 | 0 1332.39/1332.62 c 1332s | 27 | 17982096 | 13155233 | 1256 26325 | 0 | 0 1334.39/1334.62 c 1334s | 27 | 18009663 | 13174333 | 1256 26355 | 0 | 0 1336.39/1336.62 c 1336s | 27 | 18034114 | 13192433 | 1256 26383 | 0 | 0 1338.39/1338.63 c 1338s | 27 | 18061302 | 13211433 | 1256 26413 | 0 | 0 1340.39/1340.64 c 1340s | 27 | 18085338 | 13230333 | 1256 26441 | 0 | 0 1342.38/1342.65 c 1342s | 27 | 18109423 | 13248933 | 1256 26470 | 0 | 0 1344.38/1344.66 c 1344s | 27 | 18132618 | 13266533 | 1256 26497 | 0 | 0 1346.38/1346.67 c 1346s | 27 | 18157401 | 13284633 | 1256 26526 | 0 | 0 1348.39/1348.68 c 1348s | 27 | 18180402 | 13301733 | 1256 26552 | 0 | 0 1350.38/1350.68 c 1350s | 27 | 18205152 | 13320933 | 1256 26582 | 0 | 0 1352.38/1352.68 c 1352s | 27 | 18230327 | 13339733 | 1256 26611 | 0 | 0 1354.38/1354.68 c 1354s | 27 | 18254184 | 13357933 | 1256 26640 | 0 | 0 1356.38/1356.69 c 1356s | 27 | 18280478 | 13376933 | 1256 26670 | 0 | 0 1358.48/1358.70 c 1358s | 27 | 18306877 | 13395833 | 1256 26699 | 0 | 0 1360.48/1360.71 c 1360s | 27 | 18332649 | 13415033 | 1256 26729 | 0 | 0 1362.48/1362.71 c 1362s | 27 | 18357676 | 13433533 | 1256 26758 | 0 | 0 1364.48/1364.72 c 1364s | 27 | 18383338 | 13452833 | 1256 26788 | 0 | 0 1366.49/1366.72 c 1366s | 27 | 18408993 | 13472133 | 1256 26818 | 0 | 0 1368.49/1368.73 c 1368s | 27 | 18435328 | 13491433 | 1256 26848 | 0 | 0 1370.49/1370.74 c 1370s | 27 | 18460388 | 13510133 | 1256 26877 | 0 | 0 1372.48/1372.75 c 1372s | 27 | 18483725 | 13528133 | 1256 26905 | 0 | 0 1374.48/1374.76 c 1374s | 27 | 18512275 | 13548733 | 1256 26937 | 0 | 0 1376.48/1376.77 c 1376s | 27 | 18537340 | 13567133 | 1256 26966 | 0 | 0 1378.48/1378.77 c 1378s | 27 | 18565429 | 13587433 | 1256 26997 | 0 | 0 1380.48/1380.77 c 1380s | 27 | 18588778 | 13605533 | 1256 27025 | 0 | 0 1382.48/1382.78 c 1382s | 27 | 18614186 | 13623933 | 1256 27053 | 0 | 0 1384.48/1384.79 c 1384s | 27 | 18636955 | 13641333 | 1256 27080 | 0 | 0 1386.48/1386.79 c 1386s | 27 | 18662018 | 13659733 | 1256 27109 | 0 | 0 1388.48/1388.79 c 1388s | 27 | 18686877 | 13678133 | 1256 27137 | 0 | 0 1390.58/1390.80 c 1390s | 27 | 18708962 | 13695133 | 1256 27163 | 0 | 0 1392.58/1392.80 c 1392s | 27 | 18731907 | 13712233 | 1256 27189 | 0 | 0 1394.58/1394.81 c 1394s | 27 | 18756592 | 13730733 | 1256 27218 | 0 | 0 1396.57/1396.81 c 1396s | 27 | 18781572 | 13749333 | 1256 27246 | 0 | 0 1398.57/1398.82 c 1398s | 27 | 18805061 | 13767533 | 1256 27274 | 0 | 0 1400.57/1400.82 c 1400s | 27 | 18831055 | 13786233 | 1256 27303 | 0 | 0 1402.58/1402.83 c 1402s | 27 | 18856847 | 13805133 | 1256 27332 | 0 | 0 1404.59/1404.84 c 1404s | 27 | 18880786 | 13823033 | 1256 27360 | 0 | 0 1406.58/1406.85 c 1406s | 27 | 18902206 | 13838933 | 1256 27384 | 0 | 0 1408.58/1408.86 c 1408s | 27 | 18920601 | 13853233 | 1256 27406 | 0 | 0 1410.58/1410.86 c 1410s | 27 | 18942276 | 13869733 | 1256 27432 | 0 | 0 1412.58/1412.87 c 1412s | 27 | 18966679 | 13887233 | 1256 27459 | 0 | 0 1414.58/1414.87 c 1414s | 27 | 18989148 | 13903933 | 1256 27484 | 0 | 0 1416.58/1416.88 c 1416s | 27 | 19014501 | 13922233 | 1256 27512 | 0 | 0 1418.58/1418.89 c 1418s | 27 | 19038671 | 13940133 | 1256 27540 | 0 | 0 1420.68/1420.90 c 1420s | 27 | 19064015 | 13958133 | 1256 27568 | 0 | 0 1422.67/1422.91 c 1422s | 27 | 19089649 | 13976133 | 1256 27596 | 0 | 0 1424.67/1424.91 c 1424s | 27 | 19116991 | 13995433 | 1256 27626 | 0 | 0 1426.67/1426.92 c 1426s | 27 | 19142826 | 14014233 | 1256 27655 | 0 | 0 1428.68/1428.93 c 1428s | 27 | 19167494 | 14032633 | 1256 27683 | 0 | 0 1430.67/1430.93 c 1430s | 27 | 19191660 | 14050433 | 1256 27711 | 0 | 0 1432.67/1432.94 c 1432s | 27 | 19216638 | 14068333 | 1256 27739 | 0 | 0 1434.67/1434.95 c 1434s | 27 | 19242932 | 14087733 | 1256 27768 | 0 | 0 1436.67/1436.95 c 1436s | 27 | 19268818 | 14106433 | 1256 27797 | 0 | 0 1438.68/1438.96 c 1438s | 27 | 19291999 | 14124133 | 1256 27824 | 0 | 0 1440.67/1440.97 c 1440s | 27 | 19315132 | 14142233 | 1256 27852 | 0 | 0 1442.67/1442.97 c 1442s | 27 | 19335608 | 14158733 | 1256 27878 | 0 | 0 1444.67/1444.98 c 1444s | 27 | 19358364 | 14176233 | 1256 27905 | 0 | 0 1446.67/1446.98 c 1446s | 27 | 19382907 | 14194533 | 1256 27933 | 0 | 0 1448.67/1448.99 c 1448s | 27 | 19407178 | 14212233 | 1256 27960 | 0 | 0 1450.67/1450.99 c 1450s | 27 | 19431442 | 14230033 | 1256 27987 | 0 | 0 1452.67/1452.99 c 1452s | 27 | 19457354 | 14249233 | 1256 28017 | 0 | 0 1454.77/1455.01 c 1454s | 27 | 19482838 | 14268433 | 1256 28047 | 0 | 0 1456.77/1457.01 c 1456s | 27 | 19505631 | 14285733 | 1256 28073 | 0 | 0 1458.76/1459.02 c 1459s | 27 | 19529508 | 14304033 | 1256 28102 | 0 | 0 1460.76/1461.02 c 1461s | 27 | 19551544 | 14320533 | 1256 28128 | 0 | 0 1462.77/1463.02 c 1463s | 27 | 19573791 | 14337233 | 1256 28154 | 0 | 0 1464.76/1465.03 c 1465s | 27 | 19599053 | 14355833 | 1256 28183 | 0 | 0 1466.76/1467.04 c 1467s | 27 | 19624473 | 14374633 | 1256 28212 | 0 | 0 1468.76/1469.04 c 1469s | 27 | 19648808 | 14393033 | 1256 28241 | 0 | 0 1470.76/1471.04 c 1471s | 27 | 19672705 | 14411433 | 1256 28270 | 0 | 0 1472.77/1473.05 c 1473s | 27 | 19694800 | 14428533 | 1256 28296 | 0 | 0 1474.77/1475.06 c 1475s | 27 | 19717167 | 14445033 | 1256 28322 | 0 | 0 1476.77/1477.07 c 1477s | 27 | 19739849 | 14462033 | 1256 28348 | 0 | 0 1478.76/1479.07 c 1479s | 27 | 19762462 | 14478833 | 1256 28374 | 0 | 0 1480.76/1481.08 c 1481s | 27 | 19782431 | 14494333 | 1256 28398 | 0 | 0 1482.76/1483.10 c 1483s | 27 | 19804826 | 14511133 | 1256 28425 | 0 | 0 1484.87/1485.10 c 1485s | 27 | 19827793 | 14528333 | 1256 28451 | 0 | 0 1486.86/1487.12 c 1487s | 27 | 19846512 | 14543333 | 1256 28475 | 0 | 0 1488.86/1489.13 c 1489s | 27 | 19869394 | 14560533 | 1256 28501 | 0 | 0 1490.86/1491.14 c 1491s | 27 | 19892089 | 14577833 | 1256 28528 | 0 | 0 1492.86/1493.14 c 1493s | 27 | 19915202 | 14595233 | 1256 28555 | 0 | 0 1494.86/1495.14 c 1495s | 27 | 19939270 | 14612833 | 1256 28582 | 0 | 0 1496.87/1497.15 c 1497s | 27 | 19963706 | 14630633 | 1256 28610 | 0 | 0 1498.86/1499.16 c 1499s | 27 | 19989043 | 14649033 | 1256 28639 | 0 | 0 1500.86/1501.16 c 1501s | 27 | 20011824 | 14666433 | 1256 28666 | 0 | 0 1502.86/1503.18 c 1503s | 27 | 20034184 | 14683033 | 1256 28692 | 0 | 0 1504.86/1505.18 c 1505s | 27 | 20057573 | 14700033 | 1256 28718 | 0 | 0 1506.87/1507.19 c 1507s | 27 | 20080108 | 14717133 | 1256 28745 | 0 | 0 1508.86/1509.19 c 1509s | 27 | 20102106 | 14734233 | 1256 28771 | 0 | 0 1510.96/1511.20 c 1511s | 27 | 20124798 | 14751733 | 1256 28799 | 0 | 0 1512.96/1513.21 c 1513s | 27 | 20149309 | 14769833 | 1256 28827 | 0 | 0 1514.96/1515.21 c 1515s | 27 | 20173263 | 14788233 | 1256 28855 | 0 | 0 1516.96/1517.21 c 1517s | 27 | 20198205 | 14806133 | 1256 28883 | 0 | 0 1518.97/1519.22 c 1519s | 27 | 20221464 | 14823233 | 1256 28910 | 0 | 0 1520.96/1521.22 c 1521s | 27 | 20245847 | 14840533 | 1256 28937 | 0 | 0 1522.96/1523.23 c 1523s | 27 | 20267850 | 14856533 | 1256 28961 | 0 | 0 1524.96/1525.24 c 1525s | 27 | 20288943 | 14872133 | 1256 28985 | 0 | 0 1526.96/1527.24 c 1527s | 27 | 20313728 | 14890033 | 1256 29013 | 0 | 0 1528.96/1529.25 c 1529s | 27 | 20337912 | 14907433 | 1256 29040 | 0 | 0 1530.96/1531.26 c 1531s | 27 | 20362482 | 14926033 | 1256 29068 | 0 | 0 1532.96/1533.26 c 1533s | 27 | 20384874 | 14943533 | 1256 29096 | 0 | 0 1534.95/1535.27 c 1535s | 27 | 20406684 | 14960633 | 1256 29122 | 0 | 0 1536.95/1537.27 c 1537s | 27 | 20430131 | 14978333 | 1256 29149 | 0 | 0 1538.95/1539.28 c 1539s | 27 | 20453874 | 14995933 | 1256 29176 | 0 | 0 1540.96/1541.28 c 1541s | 27 | 20478524 | 15013933 | 1256 29204 | 0 | 0 1542.96/1543.29 c 1543s | 27 | 20500205 | 15030233 | 1256 29229 | 0 | 0 1545.06/1545.30 c 1545s | 27 | 20520900 | 15046133 | 1256 29254 | 0 | 0 1547.06/1547.30 c 1547s | 27 | 20543376 | 15063133 | 1256 29280 | 0 | 0 1549.06/1549.31 c 1549s | 27 | 20566123 | 15079833 | 1256 29306 | 0 | 0 1551.06/1551.32 c 1551s | 27 | 20586967 | 15096133 | 1256 29332 | 0 | 0 1553.06/1553.34 c 1553s | 27 | 20609175 | 15112833 | 1256 29357 | 0 | 0 1555.06/1555.34 c 1555s | 27 | 20634148 | 15130533 | 1256 29385 | 0 | 0 1557.06/1557.35 c 1557s | 27 | 20659443 | 15149533 | 1256 29414 | 0 | 0 1559.06/1559.35 c 1559s | 27 | 20685516 | 15168133 | 1256 29443 | 0 | 0 1561.05/1561.36 c 1561s | 27 | 20709159 | 15185933 | 1256 29471 | 0 | 0 1563.05/1563.36 c 1563s | 27 | 20733910 | 15203933 | 1256 29499 | 0 | 0 1565.06/1565.36 c 1565s | 27 | 20758539 | 15222433 | 1256 29527 | 0 | 0 1567.05/1567.37 c 1567s | 27 | 20785275 | 15241733 | 1256 29557 | 0 | 0 1569.05/1569.38 c 1569s | 27 | 20809861 | 15259833 | 1256 29585 | 0 | 0 1571.05/1571.38 c 1571s | 27 | 20832763 | 15277033 | 1256 29612 | 0 | 0 1573.15/1573.40 c 1573s | 27 | 20857148 | 15294433 | 1256 29639 | 0 | 0 1575.15/1575.40 c 1575s | 27 | 20875585 | 15309533 | 1256 29663 | 0 | 0 1577.05/1577.40 c 1577s | 27 | 20896770 | 15325933 | 1256 29688 | 0 | 0 1579.15/1579.41 c 1579s | 27 | 20919948 | 15342733 | 1256 29715 | 0 | 0 1581.15/1581.42 c 1581s | 27 | 20944049 | 15359933 | 1256 29741 | 0 | 0 1583.15/1583.43 c 1583s | 27 | 20969370 | 15378333 | 1256 29769 | 0 | 0 1585.15/1585.44 c 1585s | 27 | 20988849 | 15393533 | 1256 29793 | 0 | 0 1587.15/1587.44 c 1587s | 27 | 21010025 | 15409833 | 1256 29818 | 0 | 0 1589.14/1589.45 c 1589s | 27 | 21035582 | 15428333 | 1256 29847 | 0 | 0 1591.14/1591.46 c 1591s | 27 | 21059501 | 15446333 | 1256 29874 | 0 | 0 1593.14/1593.46 c 1593s | 27 | 21084905 | 15464633 | 1256 29903 | 0 | 0 1595.14/1595.47 c 1595s | 27 | 21108460 | 15481833 | 1256 29929 | 0 | 0 1597.14/1597.47 c 1597s | 27 | 21132421 | 15500033 | 1256 29958 | 0 | 0 1599.15/1599.48 c 1599s | 27 | 21159087 | 15518533 | 1256 29986 | 0 | 0 1601.14/1601.48 c 1601s | 27 | 21181903 | 15535533 | 1256 30013 | 0 | 0 1603.14/1603.49 c 1603s | 27 | 21205023 | 15552833 | 1256 30039 | 0 | 0 1605.14/1605.49 c 1605s | 27 | 21230855 | 15571233 | 1256 30067 | 0 | 0 1607.25/1607.50 c 1607s | 27 | 21255286 | 15589333 | 1256 30096 | 0 | 0 1609.25/1609.51 c 1609s | 27 | 21277941 | 15606133 | 1256 30122 | 0 | 0 1611.25/1611.52 c 1611s | 27 | 21299550 | 15622533 | 1256 30147 | 0 | 0 1613.25/1613.52 c 1613s | 27 | 21322240 | 15639333 | 1256 30173 | 0 | 0 1615.25/1615.53 c 1615s | 27 | 21346628 | 15657333 | 1256 30201 | 0 | 0 1617.25/1617.54 c 1617s | 27 | 21370832 | 15675233 | 1256 30229 | 0 | 0 1619.24/1619.55 c 1619s | 27 | 21393896 | 15692833 | 1256 30256 | 0 | 0 1621.25/1621.56 c 1621s | 27 | 21416192 | 15710033 | 1256 30282 | 0 | 0 1623.24/1623.57 c 1623s | 27 | 21442220 | 15728933 | 1256 30312 | 0 | 0 1625.24/1625.57 c 1625s | 27 | 21465980 | 15746133 | 1256 30338 | 0 | 0 1627.24/1627.58 c 1627s | 27 | 21489553 | 15763533 | 1256 30365 | 0 | 0 1629.24/1629.58 c 1629s | 27 | 21511802 | 15780833 | 1256 30392 | 0 | 0 1631.24/1631.59 c 1631s | 27 | 21533981 | 15797633 | 1256 30418 | 0 | 0 1633.25/1633.60 c 1633s | 27 | 21556057 | 15814133 | 1256 30443 | 0 | 0 1635.34/1635.61 c 1635s | 27 | 21582577 | 15832833 | 1256 30472 | 0 | 0 1637.34/1637.62 c 1637s | 27 | 21604988 | 15849633 | 1256 30498 | 0 | 0 1639.34/1639.62 c 1639s | 27 | 21630408 | 15867233 | 1256 30525 | 0 | 0 1641.34/1641.62 c 1641s | 27 | 21653995 | 15884733 | 1256 30552 | 0 | 0 1643.34/1643.63 c 1643s | 27 | 21676265 | 15901833 | 1256 30579 | 0 | 0 1645.34/1645.63 c 1645s | 27 | 21702574 | 15920833 | 1256 30609 | 0 | 0 1647.33/1647.63 c 1647s | 27 | 21727699 | 15939233 | 1256 30637 | 0 | 0 1649.33/1649.64 c 1649s | 27 | 21753977 | 15958133 | 1256 30667 | 0 | 0 1651.33/1651.64 c 1651s | 27 | 21779226 | 15976433 | 1256 30695 | 0 | 0 1653.33/1653.65 c 1653s | 27 | 21802968 | 15993633 | 1256 30722 | 0 | 0 1655.34/1655.65 c 1655s | 27 | 21823765 | 16009633 | 1256 30747 | 0 | 0 1657.33/1657.65 c 1657s | 27 | 21846697 | 16027033 | 1256 30774 | 0 | 0 1659.33/1659.66 c 1659s | 27 | 21872459 | 16045433 | 1256 30803 | 0 | 0 1661.33/1661.67 c 1661s | 27 | 21895842 | 16063233 | 1256 30831 | 0 | 0 1663.33/1663.68 c 1663s | 27 | 21919274 | 16080733 | 1256 30858 | 0 | 0 1665.33/1665.68 c 1665s | 27 | 21945206 | 16099633 | 1256 30888 | 0 | 0 1667.34/1667.69 c 1667s | 27 | 21970305 | 16118533 | 1256 30917 | 0 | 0 1669.43/1669.70 c 1669s | 27 | 21994266 | 16136633 | 1256 30945 | 0 | 0 1671.44/1671.70 c 1671s | 27 | 22020353 | 16155033 | 1256 30974 | 0 | 0 1673.44/1673.71 c 1673s | 27 | 22045448 | 16173233 | 1256 31003 | 0 | 0 1675.43/1675.72 c 1675s | 27 | 22070225 | 16191233 | 1256 31031 | 0 | 0 1677.43/1677.72 c 1677s | 27 | 22094066 | 16208733 | 1256 31058 | 0 | 0 1679.44/1679.73 c 1679s | 27 | 22118007 | 16225933 | 1256 31085 | 0 | 0 1681.43/1681.74 c 1681s | 27 | 22141479 | 16243233 | 1256 31111 | 0 | 0 1683.43/1683.74 c 1683s | 27 | 22164589 | 16260233 | 1256 31138 | 0 | 0 1685.43/1685.75 c 1685s | 27 | 22186732 | 16276533 | 1256 31163 | 0 | 0 1687.43/1687.76 c 1687s | 27 | 22210094 | 16294033 | 1256 31190 | 0 | 0 1689.44/1689.76 c 1689s | 27 | 22233868 | 16310933 | 1256 31216 | 0 | 0 1691.43/1691.77 c 1691s | 27 | 22257577 | 16328233 | 1256 31243 | 0 | 0 1693.43/1693.78 c 1693s | 27 | 22281842 | 16345833 | 1256 31271 | 0 | 0 1695.43/1695.79 c 1695s | 27 | 22308606 | 16364933 | 1256 31301 | 0 | 0 1697.53/1697.80 c 1697s | 27 | 22333395 | 16383133 | 1256 31329 | 0 | 0 1699.53/1699.80 c 1699s | 27 | 22357650 | 16400933 | 1256 31357 | 0 | 0 1701.53/1701.81 c 1701s | 27 | 22383000 | 16419433 | 1256 31386 | 0 | 0 1703.53/1703.81 c 1703s | 27 | 22408805 | 16437933 | 1256 31414 | 0 | 0 1705.52/1705.82 c 1705s | 27 | 22434670 | 16456733 | 1256 31444 | 0 | 0 1707.52/1707.82 c 1707s | 27 | 22462088 | 16475833 | 1256 31473 | 0 | 0 1709.53/1709.82 c 1709s | 27 | 22487279 | 16494633 | 1256 31503 | 0 | 0 1711.53/1711.82 c 1711s | 27 | 22516718 | 16514633 | 1256 31534 | 0 | 0 1713.54/1713.83 c 1713s | 27 | 22542899 | 16533533 | 1256 31564 | 0 | 0 1715.53/1715.83 c 1715s | 27 | 22569166 | 16552133 | 1256 31593 | 0 | 0 1717.53/1717.84 c 1717s | 27 | 22596679 | 16572033 | 1256 31624 | 0 | 0 1719.53/1719.85 c 1719s | 27 | 22623581 | 16591633 | 1256 31654 | 0 | 0 1721.53/1721.86 c 1721s | 27 | 22647286 | 16609733 | 1256 31682 | 0 | 0 1723.53/1723.86 c 1723s | 27 | 22672190 | 16627833 | 1256 31711 | 0 | 0 1725.53/1725.86 c 1725s | 27 | 22696467 | 16646033 | 1256 31739 | 0 | 0 1727.53/1727.87 c 1727s | 27 | 22724489 | 16666133 | 1256 31770 | 0 | 0 1729.53/1729.87 c 1729s | 27 | 22749829 | 16685133 | 1256 31799 | 0 | 0 1731.52/1731.88 c 1731s | 27 | 22773378 | 16702633 | 1256 31826 | 0 | 0 1733.52/1733.88 c 1733s | 27 | 22796744 | 16719733 | 1256 31853 | 0 | 0 1735.53/1735.89 c 1735s | 27 | 22820556 | 16737333 | 1256 31881 | 0 | 0 1737.52/1737.89 c 1737s | 27 | 22844726 | 16754633 | 1256 31907 | 0 | 0 1739.62/1739.90 c 1739s | 27 | 22869447 | 16772833 | 1256 31935 | 0 | 0 1741.62/1741.90 c 1741s | 27 | 22892129 | 16789933 | 1256 31962 | 0 | 0 1743.62/1743.91 c 1743s | 27 | 22915705 | 16807533 | 1256 31990 | 0 | 0 1745.62/1745.92 c 1745s | 27 | 22935284 | 16823133 | 1256 32014 | 0 | 0 1747.62/1747.93 c 1747s | 27 | 22956695 | 16839833 | 1256 32040 | 0 | 0 1749.61/1749.93 c 1749s | 27 | 22981592 | 16857633 | 1256 32068 | 0 | 0 1751.61/1751.94 c 1751s | 27 | 23003359 | 16873933 | 1256 32093 | 0 | 0 1753.61/1753.94 c 1753s | 27 | 23025521 | 16890433 | 1256 32119 | 0 | 0 1755.61/1755.94 c 1755s | 27 | 23049429 | 16908133 | 1256 32146 | 0 | 0 1757.62/1757.95 c 1757s | 27 | 23073099 | 16925833 | 1256 32174 | 0 | 0 1759.60/1759.95 c 1759s | 27 | 23102219 | 16945733 | 1256 32205 | 0 | 0 1761.61/1761.95 c 1761s | 27 | 23129758 | 16964933 | 1256 32235 | 0 | 0 1763.61/1763.95 c 1763s | 27 | 23153247 | 16982233 | 1382 32260 | 0 | 0 1765.61/1765.96 c 1765s | 27 | 23179418 | 17000833 | 1382 32287 | 0 | 0 1767.61/1767.96 c 1767s | 27 | 23206517 | 17019333 | 1382 32313 | 0 | 0 1769.61/1769.96 c 1769s | 27 | 23232284 | 17037933 | 1382 32339 | 0 | 0 1771.60/1771.97 c 1771s | 27 | 23255135 | 17054933 | 1382 32363 | 0 | 0 1773.60/1773.97 c 1773s | 27 | 23276877 | 17071133 | 1382 32386 | 0 | 0 1775.60/1775.97 c 1775s | 27 | 23301264 | 17088333 | 1382 32411 | 0 | 0 1776.50/1776.81 c 1776s | 28 | 23310727 | 17095205 | 1382 32421 | 0 | 0 1778.51/1778.81 c 1778s | 28 | 23335419 | 17114105 | 1382 32447 | 0 | 0 1780.50/1780.82 c 1780s | 28 | 23359325 | 17132705 | 1382 32473 | 0 | 0 1782.50/1782.83 c 1782s | 28 | 23383663 | 17151405 | 1382 32498 | 0 | 0 1784.49/1784.83 c 1784s | 28 | 23409703 | 17170705 | 1382 32525 | 0 | 0 1786.49/1786.84 c 1786s | 28 | 23433359 | 17188805 | 1382 32550 | 0 | 0 1788.49/1788.84 c 1788s | 28 | 23456779 | 17206905 | 1382 32575 | 0 | 0 1790.49/1790.85 c 1790s | 28 | 23481199 | 17225705 | 1382 32601 | 0 | 0 1792.49/1792.85 c 1792s | 28 | 23505740 | 17244505 | 1382 32626 | 0 | 0 1794.49/1794.87 c 1794s | 28 | 23530629 | 17262905 | 1382 32652 | 0 | 0 1796.49/1796.88 c 1796s | 28 | 23553514 | 17280405 | 1382 32676 | 0 | 0 1798.48/1798.88 c 1798s | 28 | 23578204 | 17299105 | 1382 32702 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4095861-1466098149/watcher-4095861-1466098149 -o /tmp/evaluation-result-4095861-1466098149/solver-4095861-1466098149 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466098149-16013 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095861-1466098149.opb pid=16035 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.20 1.81 2.03 4/175 16041 /proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=617916 CPUtime=0 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 2285 0 0 0 0 0 0 0 20 0 4 0 11862016 632745984 3157 33554432000 4194304 16246674 140733929820416 140733929819840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 155247 3165 441 2943 0 152141 0 [pid=16041/tid=16043] ppid=16035 vsize=635324 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 650571776 3225 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=640444 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 655814656 3242 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=644540 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 660008960 3259 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100204 s] /proc/loadavg: 1.20 1.81 2.03 4/175 16041 /proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 24552 0 0 0 6 3 0 0 20 0 4 0 11862016 1247350784 25413 33554432000 4194304 16246674 140733929820416 140733929819840 13954410 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 304529 25423 708 2943 0 301423 0 [pid=16041/tid=16043] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 25432 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 25438 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 25443 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200534 s] /proc/loadavg: 1.20 1.81 2.03 4/175 16041 /proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 47793 0 0 0 12 7 0 0 20 0 4 0 11862016 1247350784 48655 33554432000 4194304 16246674 140733929820416 140733929819840 5707858 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 304529 48668 708 2943 0 301423 0 [pid=16041/tid=16043] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 48673 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 48680 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 48688 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300505 s] /proc/loadavg: 1.20 1.81 2.03 4/175 16041 /proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 69940 0 0 0 20 9 0 0 20 0 4 0 11862016 1247350784 70802 33554432000 4194304 16246674 140733929820416 140733929819840 13192951 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 304529 70808 708 2943 0 301423 0 [pid=16041/tid=16043] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 70814 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 70823 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 70828 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700442 s] /proc/loadavg: 1.20 1.81 2.03 4/175 16041 /proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 159246 0 0 0 47 22 0 0 20 0 4 0 11862016 1247350784 160108 33554432000 4194304 16246674 140733929820416 140733929803416 13194067 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 304529 160117 708 2943 0 301423 0 [pid=16041/tid=16043] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 160124 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 160132 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 160139 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50044 s] /proc/loadavg: 1.20 1.81 2.03 4/183 16049 /proc/meminfo: memFree=28245220/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 245508 0 0 0 115 34 0 0 20 0 4 0 11862016 1247350784 246349 33554432000 4194304 16246674 140733929820416 140733929819728 5667184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 304529 246349 783 2943 0 301423 0 [pid=16041/tid=16043] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 246349 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 246349 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 246349 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10044 s] /proc/loadavg: 1.20 1.81 2.03 4/183 16049 /proc/meminfo: memFree=28069512/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1306180 CPUtime=3.08 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 267377 0 0 0 271 37 0 0 20 0 4 0 11862016 1337528320 268218 33554432000 4194304 16246674 140733929820416 140733929802304 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 326545 268218 783 2943 0 323439 0 [pid=16041/tid=16043] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268218 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268218 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268218 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1306180 [startup+6.30044 s] /proc/loadavg: 1.26 1.81 2.03 5/183 16049 /proc/meminfo: memFree=28067676/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 267477 0 0 0 591 38 0 0 20 0 4 0 11862016 1337528320 268318 33554432000 4194304 16246674 140733929820416 140733929802304 5523536 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 326545 268318 783 2943 0 323439 0 [pid=16041/tid=16043] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268318 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268318 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268318 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 1.32 1.82 2.03 4/183 16049 /proc/meminfo: memFree=28068076/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 267490 0 0 0 1231 38 0 0 20 0 4 0 11862016 1337528320 268331 33554432000 4194304 16246674 140733929820416 140733929802304 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 326545 268331 785 2943 0 323439 0 [pid=16041/tid=16043] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268331 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268331 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268331 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 1.47 1.83 2.03 4/183 16049 /proc/meminfo: memFree=28068652/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1306180 CPUtime=25.48 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 267563 0 0 0 2510 38 0 0 20 0 4 0 11862016 1337528320 268404 33554432000 4194304 16246674 140733929820416 140733929803416 6012004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 326545 268404 785 2943 0 323439 0 [pid=16041/tid=16043] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268404 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268404 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268404 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 1.77 1.87 2.04 4/183 16049 /proc/meminfo: memFree=28068684/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 267565 0 0 0 5069 39 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140733929803416 5830005 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 326545 268406 786 2943 0 323439 0 [pid=16041/tid=16043] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.301 s] /proc/loadavg: 2.07 1.93 2.05 4/184 16053 /proc/meminfo: memFree=28068292/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1306180 CPUtime=102.28 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 267565 0 0 0 10188 40 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140733929803416 5994097 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 326545 268406 786 2943 0 323439 0 [pid=16041/tid=16043] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268915 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1308228 [startup+1302.3 s] /proc/loadavg: 2.20 2.21 2.18 4/184 16083 /proc/meminfo: memFree=28061364/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1308228 CPUtime=1302.09 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268074 0 0 0 130137 72 0 0 20 0 4 0 11862016 1339625472 268915 33554432000 4194304 16246674 140733929820416 140733929802304 5677899 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 327057 268915 786 2943 0 323951 0 [pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268915 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268915 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268915 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1308228 [startup+1362.3 s] /proc/loadavg: 2.13 2.18 2.17 4/183 16085 /proc/meminfo: memFree=28061280/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1308228 CPUtime=1362.08 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268075 0 0 0 136135 73 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140733929802304 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 327057 268916 787 2943 0 323951 0 [pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1308228 [startup+1422.3 s] /proc/loadavg: 2.13 2.18 2.17 4/182 16086 /proc/meminfo: memFree=28062056/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1308228 CPUtime=1422.08 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268075 0 0 0 142133 75 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140733929802304 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 327057 268916 787 2943 0 323951 0 [pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 1308228 [startup+1482.3 s] /proc/loadavg: 2.36 2.22 2.19 5/183 16088 /proc/meminfo: memFree=28061844/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1308228 CPUtime=1482.06 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268075 0 0 0 148130 76 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140733929802304 5677784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 327057 268916 787 2943 0 323951 0 [pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 1308228 [startup+1542.31 s] /proc/loadavg: 2.30 2.22 2.19 4/183 16089 /proc/meminfo: memFree=28061252/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1308228 CPUtime=1542.06 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268076 0 0 0 154129 77 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140733929803416 5516226 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 327057 268917 788 2943 0 323951 0 [pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 1308228 [startup+1602.3 s] /proc/loadavg: 2.19 2.21 2.18 4/183 16090 /proc/meminfo: memFree=28060904/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1308228 CPUtime=1602.04 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268076 0 0 0 160126 78 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140733929803416 5722275 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 327057 268917 788 2943 0 323951 0 [pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 1308228 [startup+1662.3 s] /proc/loadavg: 2.26 2.23 2.19 4/183 16092 /proc/meminfo: memFree=28059808/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1308228 CPUtime=1662.03 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268076 0 0 0 166124 79 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140733929802304 5677884 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 327057 268917 788 2943 0 323951 0 [pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 1308228 [startup+1722.3 s] /proc/loadavg: 2.31 2.25 2.19 4/183 16093 /proc/meminfo: memFree=28059792/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1308228 CPUtime=1722.03 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268076 0 0 0 172122 81 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140733929802304 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 327057 268917 788 2943 0 323951 0 [pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 1308228 [startup+1782.3 s] /proc/loadavg: 2.33 2.27 2.20 4/183 16094 /proc/meminfo: memFree=28058912/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1308228 CPUtime=1782 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268114 0 0 0 178118 82 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140733929802304 5717724 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 327057 268920 788 2943 0 323951 0 [pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 1308228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.38 2.29 2.20 4/183 16094 /proc/meminfo: memFree=28058880/32872528 swapFree=17100/1797424 [pid=16041] ppid=16035 vsize=1308228 CPUtime=1800.08 cores=1,3,5,7 /proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268130 0 0 0 179926 82 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140733929803416 12874809 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16041/statm: 327057 268920 788 2943 0 323951 0 [pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1308228 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 16041 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.46 CPU time (s): 1800.15 CPU user time (s): 1799.27 CPU system time (s): 0.878866 CPU usage (%): 99.9827 Max. virtual memory (cumulated for all children) (KiB): 1308228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.27 system time used= 0.878866 maximum resident set size= 1075680 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268130 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= 71 involuntary context switches= 1871 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.96309 second user time and 8.68368 second system time The end
Begin job on node123 at 2016-06-16 19:29:09 IDJOB=4095861 IDBENCH=107532 IDSOLVER=2542 FILE ID=node123/4095861-1466098149 RUNJOBID= node123-1466098149-16013 PBS_JOBID= 19904045 Free space on /tmp= 71632 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-45.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095861-1466098149/watcher-4095861-1466098149 -o /tmp/evaluation-result-4095861-1466098149/solver-4095861-1466098149 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466098149-16013 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095861-1466098149.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b946ab6c9bd4c6a96b37e1556018149e RANDOM SEED=510169253 node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.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 : 2666.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30213848 kB Buffers: 36240 kB Cached: 119104 kB SwapCached: 2184 kB Active: 88624 kB Inactive: 69008 kB Active(anon): 3908 kB Inactive(anon): 1392 kB Active(file): 84716 kB Inactive(file): 67616 kB Unevictable: 1797424 kB Mlocked: 17100 kB SwapTotal: 67108856 kB SwapFree: 67099016 kB Dirty: 32620 kB Writeback: 0 kB AnonPages: 1799192 kB Mapped: 6836 kB Shmem: 0 kB Slab: 568248 kB SReclaimable: 12728 kB SUnreclaim: 555520 kB KernelStack: 1360 kB PageTables: 8132 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1893832 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1783808 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= 71604 MiB End job on node123 at 2016-06-16 19:59:09