| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_1.opb |
| MD5SUM | 7b9886d41278c23acb93039c546a310e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 13 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14 |
| Minimum length of a constraint | 73 |
| Maximum length of a constraint | 75 |
| Number of terms in the objective function | 112 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1488 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4975 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-18T14:13:00+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-4105585-1466251980.opb"] 0.00/0.01 c use --random-gen="3563079682 3442867388 1355748196 1326712946 2258448762 3004385087 1211196186 1771838124 3230355847 3005875180 2965482516 3820825666 3553229836 4078157399 2561183635 2607280427 4053197595 3436700241 2930431823 1017119000 1700714674 1048289162 140287113 15106419 1728455732 3058081656 325727620 2222148565 3253209189 1239797604 1863705881 3533574840 1392682050 2148026247 1936347225 2911317203 2344345306 1261477355 1594406730 3492019389 2174858288 3821692307 1066555715 2086652893 3977161915 1251221945 151484500 1610791920 1140896269 2022902836 3012206940 2659934198 1696499559 1757176294 362795994 1247745922 2705107577 158830340 3908428096 2108009971 3042368684 657487926 194603444 3937406174 1796749189 3494098585 3020270547 720578207 3417016399 1733902240 2854404147 3075969500 3904936988 182306511 3776842546 469946213 4077229104 3016852420 3774668348 4026188203 3029854474 2993601873 3708004253 2755791746 2945293706 2480286511 2430297379 2753136734 2908854220 3717422987 3220035158 444247136 3580956331 2789535908 3966120632 3864729696 1303239475 2935959752 1407115681 36563890 993153904 1323470766 2279590313 1977599170 3885267074 2183907679 3407114269 2959992095 3117721051 3824958935 3676869643 1717989828 2220865883 3182284912 1214616889 386984488 1369094703 1867629069 2443184447 3214652169 3176405233 916024374 2960273238 1610296018 1017077492 4014518984 175153807 2879209900 3121689113 989257437 2878820397 2867357838 3995740169 2450281246 3553843328 140658406 450175167 1185287779 2039292151 3728679291 3329144810 2836347455 1620922213 3702606305 3510862814 851792552 1452269371 2559613477 400200628 3214487426 922376536 1852726989 589033311 3859373265 4170351111 2984713183 2274315325 3481937709 4095786766 1591568592 4149273990 3823182384 1967120901 3405962382 608678473 2450554911 4178752571 2341944341 358322378 3376257300 889683759 3124262765 3452087208 3012462505 3752911726 3543624896 2518107388 2644967089 3939493430 2338880239 557990637 2824474956 3239974197 3378206051 3850817433 1338959760 123695747 1037268324 2482198175 3534097538 3968651887 2497108950 3851016863 4074560663 722251750 3113177694 1732424627 2954442206 1469833196 2630884940 33019838 3127440143 3099635845 1685334821 3413072124 3647561234 2721612809 2148330703 746630586 1960174805 1219235289 3300013773 3951217340 94732696 1715297255 1002321241 3681968267 3608552776 1035727087 1950583118 3709451587 2490510559 1171057173 2337007443 1651904263 1295290377 186706855 2566635458 3695600706 218271054 1322673364 3870618594 1448207082 4272000192 3299502185 2529695987 2237887011 2883799157 1617715092 2680920900 2901292374 2073365191 4284640797 1122942782 1615931569 543726071 4116452520 2270784703 417090428 805587309 2031394157 1178489086 3822199484 839663951 3391909383 1408251529 255 362436" option to reproduce the execution 0.00/0.01 c #vars 172 0.00/0.01 c #constraints 14 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 62 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 77 | 0 | 62 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 77 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 2333 0.00/0.02 c BCD2: updating upper bound: 3570 -> 2332 0.00/0.02 c BCD2: 0 <= obj <= 2332 0.00/0.02 c BCD2: #cores=0, #unrelaxed=112, #relaxed=0, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 62 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 240 | 100 | 62 0 | 0 | 0 0.09/0.11 c 0.1s | 2 | 536 | 250 | 69 1 | 0 | 0 0.09/0.19 c 0.2s | 3 | 912 | 475 | 76 4 | 0 | 0 0.29/0.32 c 0.3s | 4 | 1397 | 813 | 84 8 | 0 | 0 0.49/0.50 c 0.5s | 5 | 2046 | 1320 | 93 12 | 0 | 0 0.69/0.79 c 0.8s | 6 | 2957 | 2081 | 114 19 | 0 | 0 1.19/1.21 c 1.2s | 7 | 4246 | 3223 | 126 28 | 0 | 0 1.59/1.62 c 1.6s | 8 | 6118 | 4936 | 139 41 | 0 | 0 2.19/2.24 c 2.2s | 9 | 8848 | 7506 | 153 60 | 0 | 0 3.09/3.11 c 3.1s | 10 | 12923 | 11361 | 169 86 | 0 | 0 4.29/4.35 c 4.3s | 11 | 18970 | 17144 | 186 124 | 0 | 0 6.19/6.23 c 6.2s | 12 | 27924 | 25819 | 205 178 | 0 | 0 8.19/8.23 c 8.2s | 12 | 37147 | 34819 | 205 231 | 0 | 0 8.99/9.09 c 9.1s | 13 | 41199 | 38832 | 226 254 | 0 | 0 11.09/11.11 c 11.1s | 13 | 50850 | 48232 | 226 306 | 0 | 0 13.09/13.12 c 13.1s | 13 | 60025 | 57232 | 226 356 | 0 | 0 13.29/13.37 c 13.4s | 14 | 61164 | 58352 | 249 362 | 0 | 0 15.28/15.39 c 15.4s | 14 | 70449 | 67352 | 249 409 | 0 | 0 17.38/17.40 c 17.4s | 14 | 79841 | 76552 | 249 456 | 0 | 0 19.38/19.42 c 19.4s | 14 | 88349 | 84952 | 249 500 | 0 | 0 19.98/20.04 c 20.0s | 15 | 91069 | 87632 | 274 514 | 0 | 0 21.99/22.06 c 22.0s | 15 | 100770 | 96932 | 274 559 | 0 | 0 23.98/24.06 c 24.0s | 15 | 109455 | 105432 | 274 600 | 0 | 0 25.98/26.08 c 26.1s | 15 | 118148 | 113932 | 274 642 | 0 | 0 27.98/28.08 c 28.1s | 15 | 127898 | 123432 | 274 688 | 0 | 0 29.88/29.92 c 29.9s | 16 | 136252 | 131552 | 302 727 | 0 | 0 31.89/31.94 c 31.9s | 16 | 145256 | 140252 | 302 767 | 0 | 0 33.88/33.94 c 33.9s | 16 | 153647 | 148552 | 302 805 | 0 | 0 35.88/35.95 c 35.9s | 16 | 161998 | 156752 | 302 843 | 0 | 0 37.88/37.96 c 37.9s | 16 | 170766 | 165352 | 302 882 | 0 | 0 39.88/39.98 c 40.0s | 16 | 179527 | 173952 | 302 922 | 0 | 0 41.89/41.99 c 42.0s | 16 | 187768 | 182052 | 302 959 | 0 | 0 43.99/44.00 c 44.0s | 16 | 196045 | 190152 | 302 997 | 0 | 0 45.68/45.77 c 45.8s | 17 | 203457 | 197432 | 333 1030 | 0 | 0 47.68/47.78 c 47.8s | 17 | 212561 | 206232 | 333 1067 | 0 | 0 49.78/49.80 c 49.8s | 17 | 221433 | 214932 | 333 1104 | 0 | 0 51.78/51.82 c 51.8s | 17 | 230208 | 223532 | 333 1140 | 0 | 0 53.78/53.84 c 53.8s | 17 | 239371 | 232532 | 333 1179 | 0 | 0 55.78/55.86 c 55.8s | 17 | 248260 | 241232 | 333 1216 | 0 | 0 57.78/57.87 c 57.9s | 17 | 256384 | 249232 | 333 1250 | 0 | 0 59.78/59.89 c 59.9s | 17 | 264612 | 257332 | 333 1285 | 0 | 0 61.78/61.89 c 61.9s | 17 | 272829 | 265432 | 333 1319 | 0 | 0 63.88/63.91 c 63.9s | 17 | 280954 | 273432 | 333 1354 | 0 | 0 65.88/65.92 c 65.9s | 17 | 289192 | 281532 | 333 1388 | 0 | 0 67.87/67.93 c 67.9s | 17 | 297435 | 289632 | 333 1423 | 0 | 0 69.47/69.54 c 69.5s | 18 | 304185 | 296252 | 367 1451 | 0 | 0 71.48/71.55 c 71.5s | 18 | 312828 | 304552 | 367 1483 | 0 | 0 73.47/73.55 c 73.5s | 18 | 321178 | 312752 | 367 1516 | 0 | 0 75.48/75.56 c 75.5s | 18 | 329776 | 321152 | 367 1549 | 0 | 0 77.48/77.58 c 77.6s | 18 | 337866 | 329052 | 367 1581 | 0 | 0 79.48/79.58 c 79.6s | 18 | 346019 | 337052 | 367 1613 | 0 | 0 81.49/81.58 c 81.6s | 18 | 354215 | 345152 | 367 1645 | 0 | 0 83.48/83.59 c 83.6s | 18 | 362769 | 353552 | 367 1679 | 0 | 0 85.48/85.59 c 85.6s | 18 | 370779 | 361452 | 367 1710 | 0 | 0 87.58/87.61 c 87.6s | 18 | 378947 | 369452 | 367 1742 | 0 | 0 89.58/89.62 c 89.6s | 18 | 387301 | 377652 | 367 1774 | 0 | 0 91.58/91.63 c 91.6s | 18 | 395635 | 385852 | 367 1807 | 0 | 0 93.58/93.65 c 93.6s | 18 | 403997 | 394052 | 367 1840 | 0 | 0 95.58/95.67 c 95.6s | 18 | 412587 | 402452 | 367 1873 | 0 | 0 97.58/97.68 c 97.7s | 18 | 420657 | 410452 | 367 1905 | 0 | 0 99.67/99.70 c 99.7s | 18 | 428599 | 418252 | 367 1937 | 0 | 0 101.67/101.71 c 101s | 18 | 436426 | 425952 | 367 1968 | 0 | 0 103.67/103.72 c 103s | 18 | 444600 | 433952 | 367 1999 | 0 | 0 105.68/105.73 c 105s | 18 | 452570 | 441752 | 404 2030 | 0 | 0 106.27/106.39 c 106s | 19 | 455336 | 444482 | 404 2040 | 0 | 0 108.37/108.41 c 108s | 19 | 463941 | 452782 | 404 2071 | 0 | 0 110.37/110.42 c 110s | 19 | 472262 | 460882 | 404 2101 | 0 | 0 112.37/112.43 c 112s | 19 | 480282 | 468782 | 404 2130 | 0 | 0 114.38/114.44 c 114s | 19 | 488863 | 477182 | 404 2162 | 0 | 0 116.37/116.45 c 116s | 19 | 497880 | 485982 | 404 2194 | 0 | 0 118.37/118.46 c 118s | 19 | 506926 | 494682 | 404 2227 | 0 | 0 120.37/120.48 c 120s | 19 | 515253 | 502782 | 404 2257 | 0 | 0 122.37/122.49 c 122s | 19 | 523720 | 511082 | 404 2288 | 0 | 0 124.47/124.51 c 124s | 19 | 532057 | 519282 | 404 2318 | 0 | 0 126.48/126.52 c 126s | 19 | 540475 | 527482 | 404 2349 | 0 | 0 128.47/128.53 c 128s | 19 | 548636 | 535482 | 404 2378 | 0 | 0 130.47/130.53 c 130s | 19 | 556567 | 543282 | 404 2408 | 0 | 0 132.47/132.54 c 132s | 19 | 564558 | 551182 | 404 2437 | 0 | 0 134.47/134.55 c 134s | 19 | 572776 | 559282 | 404 2468 | 0 | 0 136.47/136.55 c 136s | 19 | 582297 | 568582 | 404 2502 | 0 | 0 138.47/138.56 c 138s | 19 | 591198 | 577282 | 404 2534 | 0 | 0 140.47/140.57 c 140s | 19 | 599942 | 585882 | 404 2566 | 0 | 0 142.47/142.59 c 142s | 19 | 608477 | 594282 | 404 2598 | 0 | 0 144.57/144.60 c 144s | 19 | 617171 | 602782 | 404 2629 | 0 | 0 146.57/146.60 c 146s | 19 | 625613 | 611082 | 404 2660 | 0 | 0 148.57/148.62 c 148s | 19 | 634122 | 619382 | 404 2691 | 0 | 0 150.56/150.64 c 150s | 19 | 642368 | 627382 | 404 2721 | 0 | 0 152.56/152.66 c 152s | 19 | 650359 | 635182 | 404 2751 | 0 | 0 154.56/154.66 c 154s | 19 | 658662 | 643282 | 404 2781 | 0 | 0 156.56/156.67 c 156s | 19 | 666728 | 651182 | 404 2811 | 0 | 0 158.56/158.69 c 158s | 19 | 675034 | 659282 | 404 2841 | 0 | 0 160.46/160.60 c 160s | 20 | 682736 | 666827 | 445 2868 | 0 | 0 162.56/162.61 c 162s | 20 | 692946 | 676727 | 445 2902 | 0 | 0 164.56/164.63 c 164s | 20 | 702727 | 686327 | 445 2935 | 0 | 0 166.56/166.65 c 166s | 20 | 712231 | 695727 | 445 2967 | 0 | 0 168.56/168.67 c 168s | 20 | 721982 | 705327 | 445 2999 | 0 | 0 170.57/170.67 c 170s | 20 | 731445 | 714627 | 445 3031 | 0 | 0 172.56/172.68 c 172s | 20 | 741442 | 724427 | 445 3065 | 0 | 0 174.56/174.68 c 174s | 20 | 751107 | 733927 | 445 3097 | 0 | 0 176.66/176.70 c 176s | 20 | 760355 | 743027 | 445 3128 | 0 | 0 178.66/178.70 c 178s | 20 | 770056 | 752527 | 445 3161 | 0 | 0 180.66/180.71 c 180s | 20 | 779094 | 761427 | 445 3191 | 0 | 0 182.66/182.72 c 182s | 20 | 788923 | 771027 | 445 3224 | 0 | 0 184.66/184.73 c 184s | 20 | 798299 | 780227 | 445 3255 | 0 | 0 186.67/186.75 c 186s | 20 | 807264 | 789027 | 445 3285 | 0 | 0 188.67/188.75 c 188s | 20 | 816640 | 798227 | 445 3316 | 0 | 0 190.66/190.76 c 190s | 20 | 826333 | 807627 | 445 3349 | 0 | 0 192.66/192.78 c 192s | 20 | 835496 | 816527 | 445 3379 | 0 | 0 194.67/194.79 c 194s | 20 | 844273 | 825127 | 445 3409 | 0 | 0 196.76/196.80 c 196s | 20 | 854069 | 834727 | 445 3441 | 0 | 0 198.76/198.83 c 198s | 20 | 863369 | 843827 | 445 3473 | 0 | 0 200.76/200.84 c 200s | 20 | 872741 | 853027 | 445 3504 | 0 | 0 202.76/202.85 c 202s | 20 | 881975 | 862127 | 445 3535 | 0 | 0 204.76/204.85 c 204s | 20 | 891535 | 871527 | 445 3568 | 0 | 0 206.76/206.85 c 206s | 20 | 900993 | 880827 | 445 3600 | 0 | 0 208.76/208.87 c 208s | 20 | 910288 | 889927 | 445 3631 | 0 | 0 210.76/210.88 c 210s | 20 | 919260 | 898727 | 445 3661 | 0 | 0 212.86/212.90 c 212s | 20 | 928228 | 907527 | 445 3691 | 0 | 0 214.86/214.92 c 214s | 20 | 937093 | 916227 | 445 3721 | 0 | 0 216.86/216.93 c 216s | 20 | 945760 | 924727 | 445 3751 | 0 | 0 218.86/218.95 c 218s | 20 | 954405 | 933227 | 445 3780 | 0 | 0 220.85/220.96 c 220s | 20 | 964339 | 942927 | 445 3813 | 0 | 0 222.85/222.96 c 222s | 20 | 973994 | 952427 | 445 3846 | 0 | 0 224.85/224.98 c 224s | 20 | 983460 | 961727 | 445 3877 | 0 | 0 226.85/226.98 c 226s | 20 | 993052 | 971127 | 445 3910 | 0 | 0 228.86/228.99 c 228s | 20 | 1002518 | 980427 | 445 3941 | 0 | 0 230.85/230.99 c 230s | 20 | 1011794 | 989527 | 445 3973 | 0 | 0 232.95/233.00 c 232s | 20 | 1021161 | 998727 | 490 4003 | 0 | 0 233.26/233.35 c 233s | 21 | 1022824 | 1000345 | 490 4008 | 0 | 0 235.25/235.36 c 235s | 21 | 1032615 | 1009745 | 490 4038 | 0 | 0 237.25/237.36 c 237s | 21 | 1042204 | 1019045 | 490 4067 | 0 | 0 239.25/239.36 c 239s | 21 | 1051741 | 1028245 | 490 4096 | 0 | 0 241.25/241.37 c 241s | 21 | 1061087 | 1037145 | 490 4124 | 0 | 0 243.25/243.37 c 243s | 21 | 1070074 | 1045845 | 490 4152 | 0 | 0 245.25/245.38 c 245s | 21 | 1079291 | 1054845 | 490 4181 | 0 | 0 247.25/247.38 c 247s | 21 | 1088175 | 1063445 | 490 4208 | 0 | 0 249.25/249.38 c 249s | 21 | 1096790 | 1071845 | 490 4235 | 0 | 0 251.35/251.40 c 251s | 21 | 1105295 | 1080045 | 490 4261 | 0 | 0 253.35/253.42 c 253s | 21 | 1113890 | 1088345 | 490 4287 | 0 | 0 255.35/255.43 c 255s | 21 | 1122393 | 1096445 | 490 4313 | 0 | 0 257.35/257.44 c 257s | 21 | 1130939 | 1104745 | 490 4340 | 0 | 0 259.35/259.44 c 259s | 21 | 1139597 | 1113045 | 490 4366 | 0 | 0 261.35/261.46 c 261s | 21 | 1148210 | 1121345 | 490 4393 | 0 | 0 263.35/263.48 c 263s | 21 | 1156709 | 1129645 | 490 4419 | 0 | 0 265.34/265.49 c 265s | 21 | 1164842 | 1137545 | 490 4445 | 0 | 0 267.44/267.50 c 267s | 21 | 1172993 | 1145545 | 490 4470 | 0 | 0 269.45/269.52 c 269s | 21 | 1181399 | 1153645 | 490 4496 | 0 | 0 271.45/271.52 c 271s | 21 | 1189927 | 1161845 | 490 4523 | 0 | 0 273.45/273.54 c 273s | 21 | 1198962 | 1170545 | 490 4550 | 0 | 0 275.45/275.56 c 275s | 21 | 1207248 | 1178545 | 490 4576 | 0 | 0 277.45/277.56 c 277s | 21 | 1215489 | 1186545 | 490 4602 | 0 | 0 279.46/279.58 c 279s | 21 | 1223805 | 1194645 | 490 4628 | 0 | 0 281.45/281.60 c 281s | 21 | 1231825 | 1202445 | 490 4653 | 0 | 0 283.55/283.62 c 283s | 21 | 1240159 | 1210545 | 490 4678 | 0 | 0 285.55/285.63 c 285s | 21 | 1248045 | 1218245 | 490 4703 | 0 | 0 287.55/287.65 c 287s | 21 | 1255813 | 1225845 | 490 4727 | 0 | 0 289.55/289.66 c 289s | 21 | 1263846 | 1233645 | 490 4752 | 0 | 0 291.56/291.68 c 291s | 21 | 1271775 | 1241345 | 490 4777 | 0 | 0 293.55/293.69 c 293s | 21 | 1279824 | 1249145 | 490 4802 | 0 | 0 295.65/295.70 c 295s | 21 | 1287875 | 1256945 | 490 4827 | 0 | 0 297.65/297.70 c 297s | 21 | 1295695 | 1264545 | 490 4851 | 0 | 0 299.65/299.71 c 299s | 21 | 1303572 | 1272245 | 490 4876 | 0 | 0 301.65/301.71 c 301s | 21 | 1311721 | 1280145 | 490 4902 | 0 | 0 303.65/303.71 c 303s | 21 | 1319988 | 1288245 | 490 4927 | 0 | 0 305.64/305.73 c 305s | 21 | 1327829 | 1295945 | 490 4952 | 0 | 0 307.64/307.75 c 307s | 21 | 1335686 | 1303645 | 490 4977 | 0 | 0 309.64/309.75 c 309s | 21 | 1343850 | 1311645 | 490 5003 | 0 | 0 311.64/311.76 c 311s | 21 | 1351544 | 1319145 | 490 5027 | 0 | 0 313.64/313.78 c 313s | 21 | 1359418 | 1326845 | 490 5051 | 0 | 0 315.65/315.79 c 315s | 21 | 1367019 | 1334345 | 490 5076 | 0 | 0 317.64/317.79 c 317s | 21 | 1374883 | 1342045 | 490 5101 | 0 | 0 319.74/319.82 c 319s | 21 | 1382913 | 1349845 | 490 5126 | 0 | 0 321.74/321.84 c 321s | 21 | 1390652 | 1357445 | 490 5150 | 0 | 0 323.74/323.84 c 323s | 21 | 1398552 | 1365145 | 490 5175 | 0 | 0 325.74/325.86 c 325s | 21 | 1406305 | 1372745 | 490 5199 | 0 | 0 327.75/327.89 c 327s | 21 | 1414137 | 1380445 | 490 5224 | 0 | 0 329.84/329.90 c 329s | 21 | 1421815 | 1387945 | 490 5248 | 0 | 0 331.84/331.91 c 331s | 21 | 1429931 | 1395745 | 490 5273 | 0 | 0 333.84/333.92 c 333s | 21 | 1438194 | 1403745 | 490 5298 | 0 | 0 335.84/335.92 c 335s | 21 | 1445935 | 1411245 | 490 5322 | 0 | 0 337.84/337.94 c 337s | 21 | 1453512 | 1418645 | 490 5346 | 0 | 0 339.84/339.96 c 339s | 21 | 1460765 | 1425745 | 490 5368 | 0 | 0 341.84/341.96 c 341s | 21 | 1468279 | 1433045 | 490 5392 | 0 | 0 343.83/343.98 c 343s | 21 | 1475993 | 1440545 | 490 5416 | 0 | 0 345.83/345.98 c 345s | 21 | 1483501 | 1447845 | 490 5439 | 0 | 0 347.93/348.01 c 347s | 21 | 1491207 | 1455345 | 490 5464 | 0 | 0 349.93/350.03 c 350s | 21 | 1498784 | 1462745 | 490 5487 | 0 | 0 351.94/352.04 c 352s | 21 | 1506228 | 1470045 | 490 5511 | 0 | 0 353.93/354.06 c 354s | 21 | 1514193 | 1477745 | 490 5536 | 0 | 0 355.93/356.07 c 356s | 21 | 1522311 | 1485645 | 490 5561 | 0 | 0 357.93/358.08 c 358s | 21 | 1530183 | 1493345 | 539 5585 | 0 | 0 359.93/360.00 c 359s | 22 | 1537677 | 1500622 | 539 5607 | 0 | 0 361.94/362.01 c 361s | 22 | 1546019 | 1508522 | 539 5630 | 0 | 0 363.93/364.03 c 364s | 22 | 1554234 | 1516522 | 539 5654 | 0 | 0 365.94/366.05 c 366s | 22 | 1562461 | 1524522 | 539 5677 | 0 | 0 367.94/368.07 c 368s | 22 | 1570586 | 1532422 | 539 5701 | 0 | 0 369.94/370.07 c 370s | 22 | 1578577 | 1540222 | 539 5724 | 0 | 0 372.04/372.10 c 372s | 22 | 1586329 | 1547822 | 539 5747 | 0 | 0 374.04/374.13 c 374s | 22 | 1594190 | 1555522 | 539 5770 | 0 | 0 376.04/376.14 c 376s | 22 | 1601889 | 1563022 | 539 5792 | 0 | 0 378.04/378.17 c 378s | 22 | 1609576 | 1570522 | 539 5814 | 0 | 0 380.04/380.18 c 380s | 22 | 1617120 | 1577922 | 539 5837 | 0 | 0 382.03/382.19 c 382s | 22 | 1625173 | 1585822 | 539 5860 | 0 | 0 384.13/384.20 c 384s | 22 | 1632975 | 1593422 | 539 5883 | 0 | 0 386.14/386.21 c 386s | 22 | 1640825 | 1601022 | 539 5905 | 0 | 0 388.13/388.21 c 388s | 22 | 1648544 | 1608522 | 539 5928 | 0 | 0 390.13/390.23 c 390s | 22 | 1656237 | 1616022 | 539 5950 | 0 | 0 392.13/392.24 c 392s | 22 | 1663723 | 1623322 | 539 5972 | 0 | 0 394.13/394.26 c 394s | 22 | 1670941 | 1630422 | 539 5993 | 0 | 0 396.13/396.27 c 396s | 22 | 1678487 | 1637822 | 539 6016 | 0 | 0 398.14/398.29 c 398s | 22 | 1686320 | 1645522 | 539 6039 | 0 | 0 400.23/400.30 c 400s | 22 | 1693912 | 1652922 | 539 6061 | 0 | 0 402.23/402.32 c 402s | 22 | 1701442 | 1660322 | 539 6083 | 0 | 0 404.23/404.34 c 404s | 22 | 1708784 | 1667522 | 539 6105 | 0 | 0 406.23/406.36 c 406s | 22 | 1717710 | 1676222 | 539 6131 | 0 | 0 408.23/408.37 c 408s | 22 | 1727230 | 1685522 | 539 6158 | 0 | 0 410.24/410.37 c 410s | 22 | 1736295 | 1694422 | 539 6184 | 0 | 0 412.23/412.38 c 412s | 22 | 1745713 | 1703622 | 539 6212 | 0 | 0 414.33/414.40 c 414s | 22 | 1754447 | 1712122 | 539 6237 | 0 | 0 416.33/416.42 c 416s | 22 | 1762912 | 1720422 | 539 6261 | 0 | 0 418.33/418.43 c 418s | 22 | 1772215 | 1729522 | 539 6288 | 0 | 0 420.33/420.44 c 420s | 22 | 1781161 | 1738222 | 539 6314 | 0 | 0 422.33/422.46 c 422s | 22 | 1789705 | 1746522 | 539 6338 | 0 | 0 424.32/424.47 c 424s | 22 | 1798228 | 1754822 | 539 6363 | 0 | 0 426.32/426.48 c 426s | 22 | 1806649 | 1763022 | 539 6387 | 0 | 0 428.32/428.48 c 428s | 22 | 1814799 | 1771022 | 539 6411 | 0 | 0 430.32/430.49 c 430s | 22 | 1823745 | 1779822 | 539 6437 | 0 | 0 432.42/432.50 c 432s | 22 | 1832667 | 1788522 | 539 6463 | 0 | 0 434.32/434.50 c 434s | 22 | 1841052 | 1796722 | 539 6487 | 0 | 0 436.42/436.52 c 436s | 22 | 1849343 | 1804822 | 539 6511 | 0 | 0 438.42/438.52 c 438s | 22 | 1857475 | 1812722 | 539 6535 | 0 | 0 440.42/440.52 c 440s | 22 | 1865626 | 1820622 | 539 6558 | 0 | 0 442.42/442.53 c 442s | 22 | 1874261 | 1828922 | 539 6583 | 0 | 0 444.42/444.56 c 444s | 22 | 1883070 | 1837422 | 539 6608 | 0 | 0 446.42/446.58 c 446s | 22 | 1891578 | 1845622 | 539 6632 | 0 | 0 448.52/448.60 c 448s | 22 | 1899911 | 1853722 | 539 6657 | 0 | 0 450.52/450.63 c 450s | 22 | 1908322 | 1861922 | 539 6681 | 0 | 0 452.52/452.63 c 452s | 22 | 1916411 | 1869822 | 539 6704 | 0 | 0 454.52/454.65 c 454s | 22 | 1924714 | 1877822 | 539 6728 | 0 | 0 456.53/456.65 c 456s | 22 | 1932792 | 1885622 | 539 6752 | 0 | 0 458.52/458.67 c 458s | 22 | 1941664 | 1894122 | 539 6777 | 0 | 0 460.52/460.69 c 460s | 22 | 1949975 | 1902122 | 539 6801 | 0 | 0 462.62/462.70 c 462s | 22 | 1958199 | 1910122 | 539 6824 | 0 | 0 464.62/464.71 c 464s | 22 | 1966341 | 1918122 | 539 6848 | 0 | 0 466.62/466.72 c 466s | 22 | 1974541 | 1926122 | 539 6872 | 0 | 0 468.62/468.73 c 468s | 22 | 1983015 | 1934322 | 539 6896 | 0 | 0 470.62/470.73 c 470s | 22 | 1991101 | 1942222 | 539 6920 | 0 | 0 472.62/472.75 c 472s | 22 | 1999234 | 1950122 | 539 6944 | 0 | 0 474.62/474.75 c 474s | 22 | 2007774 | 1958522 | 539 6969 | 0 | 0 476.62/476.77 c 476s | 22 | 2016716 | 1967222 | 539 6994 | 0 | 0 478.62/478.78 c 478s | 22 | 2025582 | 1975922 | 539 7020 | 0 | 0 480.62/480.80 c 480s | 22 | 2033990 | 1984122 | 539 7045 | 0 | 0 482.71/482.82 c 482s | 22 | 2042377 | 1992322 | 539 7069 | 0 | 0 484.71/484.83 c 484s | 22 | 2050957 | 2000622 | 539 7093 | 0 | 0 486.71/486.85 c 486s | 22 | 2059069 | 2008522 | 539 7117 | 0 | 0 488.71/488.86 c 488s | 22 | 2066898 | 2016122 | 539 7139 | 0 | 0 490.71/490.87 c 490s | 22 | 2074679 | 2023722 | 539 7162 | 0 | 0 492.72/492.90 c 492s | 22 | 2082390 | 2031222 | 539 7184 | 0 | 0 494.81/494.91 c 494s | 22 | 2090526 | 2039022 | 539 7208 | 0 | 0 496.81/496.92 c 496s | 22 | 2098583 | 2046822 | 539 7231 | 0 | 0 498.81/498.93 c 498s | 22 | 2106307 | 2054322 | 539 7253 | 0 | 0 500.81/500.94 c 500s | 22 | 2113970 | 2061722 | 539 7275 | 0 | 0 502.82/502.95 c 502s | 22 | 2121742 | 2069322 | 539 7298 | 0 | 0 504.82/504.97 c 504s | 22 | 2129499 | 2076822 | 539 7320 | 0 | 0 506.82/506.98 c 506s | 22 | 2137461 | 2084522 | 539 7343 | 0 | 0 508.82/508.99 c 508s | 22 | 2145163 | 2092022 | 539 7366 | 0 | 0 510.92/511.01 c 510s | 22 | 2153064 | 2099622 | 539 7389 | 0 | 0 512.92/513.03 c 513s | 22 | 2161054 | 2107422 | 539 7412 | 0 | 0 514.91/515.04 c 515s | 22 | 2168656 | 2114822 | 539 7434 | 0 | 0 516.92/517.05 c 517s | 22 | 2175956 | 2122022 | 539 7455 | 0 | 0 518.91/519.06 c 519s | 22 | 2183161 | 2129122 | 539 7477 | 0 | 0 520.91/521.07 c 521s | 22 | 2191133 | 2136922 | 539 7500 | 0 | 0 522.91/523.08 c 523s | 22 | 2199222 | 2144722 | 539 7523 | 0 | 0 524.91/525.09 c 525s | 22 | 2207491 | 2152722 | 539 7547 | 0 | 0 527.01/527.10 c 527s | 22 | 2215577 | 2160522 | 539 7570 | 0 | 0 528.91/529.10 c 529s | 22 | 2223534 | 2168322 | 539 7594 | 0 | 0 531.01/531.12 c 531s | 22 | 2231670 | 2176322 | 539 7618 | 0 | 0 533.01/533.13 c 533s | 22 | 2239626 | 2184122 | 539 7641 | 0 | 0 535.01/535.13 c 535s | 22 | 2247685 | 2192022 | 539 7665 | 0 | 0 537.01/537.14 c 537s | 22 | 2255936 | 2199922 | 539 7688 | 0 | 0 539.02/539.14 c 539s | 22 | 2264307 | 2208022 | 539 7713 | 0 | 0 541.01/541.16 c 541s | 22 | 2272444 | 2216022 | 539 7736 | 0 | 0 543.01/543.16 c 543s | 22 | 2280951 | 2224322 | 539 7761 | 0 | 0 545.01/545.18 c 545s | 22 | 2289230 | 2232422 | 539 7785 | 0 | 0 547.11/547.20 c 547s | 22 | 2297499 | 2240522 | 593 7808 | 0 | 0 549.11/549.21 c 549s | 22 | 2306126 | 2248822 | 593 7831 | 0 | 0 549.61/549.77 c 549s | 23 | 2308406 | 2251038 | 593 7837 | 0 | 0 551.61/551.77 c 551s | 23 | 2316846 | 2259138 | 593 7859 | 0 | 0 553.60/553.78 c 553s | 23 | 2324783 | 2266938 | 593 7880 | 0 | 0 555.60/555.78 c 555s | 23 | 2332422 | 2274438 | 593 7901 | 0 | 0 557.61/557.80 c 557s | 23 | 2340250 | 2282138 | 593 7922 | 0 | 0 559.70/559.81 c 559s | 23 | 2347981 | 2289738 | 593 7943 | 0 | 0 561.70/561.82 c 561s | 23 | 2356491 | 2298038 | 593 7966 | 0 | 0 563.70/563.84 c 563s | 23 | 2364793 | 2306138 | 593 7988 | 0 | 0 565.70/565.84 c 565s | 23 | 2372425 | 2313638 | 593 8009 | 0 | 0 567.70/567.84 c 567s | 23 | 2380207 | 2321338 | 593 8030 | 0 | 0 569.71/569.85 c 569s | 23 | 2388316 | 2329338 | 593 8052 | 0 | 0 571.70/571.86 c 571s | 23 | 2396156 | 2337038 | 593 8074 | 0 | 0 573.70/573.88 c 573s | 23 | 2403861 | 2344638 | 593 8095 | 0 | 0 575.70/575.89 c 575s | 23 | 2411394 | 2352038 | 593 8115 | 0 | 0 577.80/577.90 c 577s | 23 | 2420676 | 2361138 | 593 8140 | 0 | 0 579.80/579.91 c 579s | 23 | 2429990 | 2370338 | 593 8165 | 0 | 0 581.81/581.93 c 581s | 23 | 2439062 | 2379238 | 593 8190 | 0 | 0 583.80/583.95 c 583s | 23 | 2447767 | 2387738 | 593 8213 | 0 | 0 585.80/585.97 c 585s | 23 | 2456350 | 2396138 | 593 8236 | 0 | 0 587.80/587.98 c 587s | 23 | 2464792 | 2404438 | 593 8259 | 0 | 0 589.90/590.00 c 589s | 23 | 2473288 | 2412838 | 593 8282 | 0 | 0 591.90/592.02 c 592s | 23 | 2481663 | 2421038 | 593 8304 | 0 | 0 593.90/594.04 c 594s | 23 | 2490003 | 2429238 | 593 8327 | 0 | 0 595.90/596.06 c 596s | 23 | 2498221 | 2437338 | 593 8349 | 0 | 0 597.90/598.07 c 598s | 23 | 2506764 | 2445738 | 593 8372 | 0 | 0 599.90/600.08 c 600s | 23 | 2515227 | 2454038 | 593 8395 | 0 | 0 601.90/602.09 c 602s | 23 | 2523758 | 2462438 | 593 8418 | 0 | 0 604.00/604.10 c 604s | 23 | 2531960 | 2470538 | 593 8440 | 0 | 0 606.01/606.12 c 606s | 23 | 2540756 | 2479238 | 593 8464 | 0 | 0 608.00/608.12 c 608s | 23 | 2549193 | 2487538 | 593 8487 | 0 | 0 610.00/610.13 c 610s | 23 | 2557555 | 2495738 | 593 8509 | 0 | 0 612.00/612.13 c 612s | 23 | 2565617 | 2503638 | 593 8531 | 0 | 0 614.00/614.13 c 614s | 23 | 2573556 | 2511438 | 593 8552 | 0 | 0 616.01/616.13 c 616s | 23 | 2581695 | 2519438 | 593 8574 | 0 | 0 618.00/618.15 c 618s | 23 | 2589908 | 2527438 | 593 8596 | 0 | 0 620.00/620.17 c 620s | 23 | 2598026 | 2535438 | 593 8618 | 0 | 0 622.00/622.19 c 622s | 23 | 2606320 | 2543538 | 593 8641 | 0 | 0 624.10/624.21 c 624s | 23 | 2614541 | 2551638 | 593 8663 | 0 | 0 626.10/626.22 c 626s | 23 | 2622357 | 2559338 | 593 8684 | 0 | 0 628.10/628.24 c 628s | 23 | 2629996 | 2566838 | 593 8705 | 0 | 0 630.10/630.26 c 630s | 23 | 2638150 | 2574938 | 593 8727 | 0 | 0 632.10/632.27 c 632s | 23 | 2646702 | 2583438 | 593 8751 | 0 | 0 634.09/634.27 c 634s | 23 | 2654899 | 2591538 | 593 8773 | 0 | 0 636.09/636.29 c 636s | 23 | 2662720 | 2599238 | 593 8794 | 0 | 0 638.09/638.29 c 638s | 23 | 2670189 | 2606538 | 593 8814 | 0 | 0 640.10/640.30 c 640s | 23 | 2677643 | 2613838 | 593 8834 | 0 | 0 642.19/642.30 c 642s | 23 | 2685207 | 2621338 | 593 8855 | 0 | 0 644.19/644.32 c 644s | 23 | 2693364 | 2629338 | 593 8877 | 0 | 0 646.19/646.32 c 646s | 23 | 2701114 | 2636938 | 593 8898 | 0 | 0 648.19/648.35 c 648s | 23 | 2708470 | 2644138 | 593 8918 | 0 | 0 650.19/650.36 c 650s | 23 | 2716060 | 2651638 | 593 8939 | 0 | 0 652.20/652.37 c 652s | 23 | 2723655 | 2659038 | 593 8959 | 0 | 0 654.19/654.39 c 654s | 23 | 2731195 | 2666438 | 593 8980 | 0 | 0 656.29/656.41 c 656s | 23 | 2738398 | 2673438 | 593 8999 | 0 | 0 658.29/658.42 c 658s | 23 | 2745771 | 2680638 | 593 9019 | 0 | 0 660.29/660.45 c 660s | 23 | 2753069 | 2687838 | 593 9039 | 0 | 0 662.29/662.47 c 662s | 23 | 2760083 | 2694738 | 593 9058 | 0 | 0 664.29/664.49 c 664s | 23 | 2768518 | 2703038 | 593 9081 | 0 | 0 666.39/666.51 c 666s | 23 | 2776974 | 2711238 | 593 9103 | 0 | 0 668.39/668.52 c 668s | 23 | 2785028 | 2719138 | 593 9125 | 0 | 0 670.39/670.54 c 670s | 23 | 2793518 | 2727438 | 593 9148 | 0 | 0 672.39/672.56 c 672s | 23 | 2801529 | 2735238 | 593 9170 | 0 | 0 674.39/674.57 c 674s | 23 | 2809280 | 2742838 | 593 9191 | 0 | 0 676.39/676.58 c 676s | 23 | 2816923 | 2750338 | 593 9211 | 0 | 0 678.38/678.59 c 678s | 23 | 2824685 | 2757938 | 593 9232 | 0 | 0 680.48/680.60 c 680s | 23 | 2832571 | 2765638 | 593 9254 | 0 | 0 682.48/682.61 c 682s | 23 | 2840462 | 2773338 | 593 9275 | 0 | 0 684.48/684.63 c 684s | 23 | 2847936 | 2780638 | 593 9295 | 0 | 0 686.48/686.63 c 686s | 23 | 2855279 | 2787838 | 593 9315 | 0 | 0 688.49/688.65 c 688s | 23 | 2862752 | 2795138 | 593 9335 | 0 | 0 690.48/690.67 c 690s | 23 | 2870028 | 2802238 | 593 9355 | 0 | 0 692.48/692.67 c 692s | 23 | 2877348 | 2809438 | 593 9375 | 0 | 0 694.48/694.68 c 694s | 23 | 2884613 | 2816538 | 593 9394 | 0 | 0 696.59/696.70 c 696s | 23 | 2891984 | 2823738 | 593 9414 | 0 | 0 698.59/698.71 c 698s | 23 | 2899354 | 2830938 | 593 9434 | 0 | 0 700.59/700.73 c 700s | 23 | 2906732 | 2838138 | 593 9454 | 0 | 0 702.58/702.76 c 702s | 23 | 2914268 | 2845438 | 593 9474 | 0 | 0 704.58/704.78 c 704s | 23 | 2921855 | 2852838 | 593 9495 | 0 | 0 706.58/706.79 c 706s | 23 | 2929258 | 2860138 | 593 9515 | 0 | 0 708.58/708.79 c 708s | 23 | 2936755 | 2867538 | 593 9536 | 0 | 0 710.68/710.80 c 710s | 23 | 2944304 | 2874938 | 593 9556 | 0 | 0 712.68/712.81 c 712s | 23 | 2951967 | 2882438 | 593 9577 | 0 | 0 714.68/714.81 c 714s | 23 | 2959640 | 2889938 | 593 9598 | 0 | 0 716.68/716.82 c 716s | 23 | 2967168 | 2897338 | 593 9618 | 0 | 0 718.67/718.85 c 718s | 23 | 2974765 | 2904738 | 593 9639 | 0 | 0 720.67/720.86 c 720s | 23 | 2982383 | 2912138 | 593 9659 | 0 | 0 722.68/722.86 c 722s | 23 | 2989944 | 2919438 | 593 9680 | 0 | 0 724.67/724.87 c 724s | 23 | 2997284 | 2926538 | 593 9699 | 0 | 0 726.67/726.89 c 726s | 23 | 3004831 | 2933938 | 593 9720 | 0 | 0 728.77/728.91 c 728s | 23 | 3012530 | 2941438 | 593 9741 | 0 | 0 730.77/730.92 c 730s | 23 | 3019757 | 2948538 | 593 9761 | 0 | 0 732.76/732.95 c 732s | 23 | 3026971 | 2955638 | 593 9780 | 0 | 0 734.77/734.95 c 734s | 23 | 3033867 | 2962438 | 593 9799 | 0 | 0 736.76/736.98 c 736s | 23 | 3041242 | 2969738 | 593 9820 | 0 | 0 738.76/738.99 c 738s | 23 | 3048347 | 2976738 | 593 9839 | 0 | 0 740.86/741.01 c 740s | 23 | 3055472 | 2983638 | 593 9859 | 0 | 0 742.86/743.03 c 743s | 23 | 3063363 | 2991438 | 593 9880 | 0 | 0 744.86/745.06 c 745s | 23 | 3070768 | 2998738 | 593 9900 | 0 | 0 746.87/747.06 c 747s | 23 | 3078151 | 3006038 | 593 9920 | 0 | 0 748.86/749.07 c 749s | 23 | 3085623 | 3013438 | 593 9940 | 0 | 0 750.96/751.10 c 751s | 23 | 3092879 | 3020538 | 593 9960 | 0 | 0 752.96/753.12 c 753s | 23 | 3100423 | 3027938 | 593 9980 | 0 | 0 754.96/755.14 c 755s | 23 | 3108243 | 3035638 | 593 10001 | 0 | 0 756.96/757.15 c 757s | 23 | 3115947 | 3043138 | 593 10022 | 0 | 0 758.97/759.17 c 759s | 23 | 3123562 | 3050638 | 593 10043 | 0 | 0 760.96/761.19 c 761s | 23 | 3131336 | 3058138 | 593 10063 | 0 | 0 763.06/763.20 c 763s | 23 | 3138939 | 3065638 | 593 10084 | 0 | 0 765.06/765.20 c 765s | 23 | 3146084 | 3072638 | 593 10104 | 0 | 0 767.06/767.23 c 767s | 23 | 3153391 | 3079838 | 593 10124 | 0 | 0 769.06/769.26 c 769s | 23 | 3161033 | 3087338 | 593 10145 | 0 | 0 771.06/771.28 c 771s | 23 | 3168781 | 3094938 | 593 10166 | 0 | 0 773.05/773.30 c 773s | 23 | 3176974 | 3102938 | 593 10188 | 0 | 0 775.15/775.30 c 775s | 23 | 3184271 | 3110038 | 593 10207 | 0 | 0 777.15/777.33 c 777s | 23 | 3191485 | 3117038 | 593 10227 | 0 | 0 779.15/779.34 c 779s | 23 | 3199472 | 3124838 | 593 10248 | 0 | 0 781.15/781.35 c 781s | 23 | 3207097 | 3132338 | 593 10269 | 0 | 0 783.15/783.36 c 783s | 23 | 3214798 | 3139838 | 593 10290 | 0 | 0 785.15/785.37 c 785s | 23 | 3222171 | 3147038 | 593 10310 | 0 | 0 787.15/787.37 c 787s | 23 | 3229687 | 3154438 | 593 10330 | 0 | 0 789.25/789.40 c 789s | 23 | 3237391 | 3161938 | 593 10351 | 0 | 0 791.24/791.42 c 791s | 23 | 3244921 | 3169338 | 593 10372 | 0 | 0 793.24/793.44 c 793s | 23 | 3252132 | 3176438 | 593 10391 | 0 | 0 795.25/795.44 c 795s | 23 | 3260382 | 3184438 | 593 10413 | 0 | 0 797.24/797.45 c 797s | 23 | 3268622 | 3192438 | 593 10435 | 0 | 0 799.24/799.45 c 799s | 23 | 3276683 | 3200338 | 593 10457 | 0 | 0 801.24/801.46 c 801s | 23 | 3284959 | 3208338 | 593 10479 | 0 | 0 803.24/803.49 c 803s | 23 | 3292943 | 3216138 | 593 10501 | 0 | 0 805.24/805.49 c 805s | 23 | 3300812 | 3223838 | 593 10522 | 0 | 0 807.24/807.50 c 807s | 23 | 3308424 | 3231238 | 593 10542 | 0 | 0 809.34/809.50 c 809s | 23 | 3315893 | 3238438 | 593 10562 | 0 | 0 811.34/811.50 c 811s | 23 | 3323714 | 3246038 | 593 10583 | 0 | 0 813.33/813.53 c 813s | 23 | 3331554 | 3253638 | 593 10604 | 0 | 0 815.33/815.54 c 815s | 23 | 3339313 | 3261138 | 593 10625 | 0 | 0 817.33/817.54 c 817s | 23 | 3346541 | 3268238 | 593 10644 | 0 | 0 819.34/819.55 c 819s | 23 | 3354174 | 3275738 | 593 10665 | 0 | 0 821.33/821.55 c 821s | 23 | 3361558 | 3283038 | 593 10685 | 0 | 0 823.33/823.58 c 823s | 23 | 3368749 | 3290138 | 593 10705 | 0 | 0 825.43/825.60 c 825s | 23 | 3376460 | 3297738 | 593 10726 | 0 | 0 827.43/827.61 c 827s | 23 | 3384397 | 3305538 | 593 10747 | 0 | 0 829.43/829.61 c 829s | 23 | 3392048 | 3313038 | 593 10768 | 0 | 0 831.43/831.62 c 831s | 23 | 3399512 | 3320338 | 593 10788 | 0 | 0 833.42/833.64 c 833s | 23 | 3407075 | 3327638 | 593 10808 | 0 | 0 835.42/835.66 c 835s | 23 | 3414685 | 3335038 | 593 10829 | 0 | 0 837.42/837.67 c 837s | 23 | 3422259 | 3342438 | 593 10849 | 0 | 0 839.42/839.68 c 839s | 23 | 3429704 | 3349738 | 593 10870 | 0 | 0 841.43/841.69 c 841s | 23 | 3437149 | 3357138 | 653 10889 | 0 | 0 843.52/843.71 c 843s | 23 | 3445105 | 3365038 | 653 10909 | 0 | 0 845.52/845.73 c 845s | 23 | 3452881 | 3372738 | 653 10929 | 0 | 0 846.52/846.79 c 846s | 24 | 3456858 | 3376662 | 653 10939 | 0 | 0 848.62/848.81 c 848s | 24 | 3465291 | 3384762 | 653 10959 | 0 | 0 850.61/850.83 c 850s | 24 | 3473457 | 3392762 | 653 10980 | 0 | 0 852.61/852.85 c 852s | 24 | 3481508 | 3400662 | 653 11000 | 0 | 0 854.62/854.87 c 854s | 24 | 3489559 | 3408562 | 653 11020 | 0 | 0 856.61/856.89 c 856s | 24 | 3497897 | 3416762 | 653 11040 | 0 | 0 858.71/858.91 c 858s | 24 | 3505699 | 3424462 | 653 11060 | 0 | 0 860.71/860.93 c 860s | 24 | 3513351 | 3431962 | 653 11079 | 0 | 0 862.71/862.95 c 862s | 24 | 3521167 | 3439562 | 653 11098 | 0 | 0 864.71/864.98 c 864s | 24 | 3529080 | 3447362 | 653 11118 | 0 | 0 866.71/866.98 c 866s | 24 | 3536747 | 3454862 | 653 11137 | 0 | 0 868.71/869.00 c 868s | 24 | 3545120 | 3463062 | 653 11158 | 0 | 0 870.81/871.02 c 871s | 24 | 3553027 | 3470862 | 653 11178 | 0 | 0 872.80/873.03 c 873s | 24 | 3560977 | 3478662 | 653 11198 | 0 | 0 874.80/875.04 c 875s | 24 | 3568837 | 3486362 | 653 11218 | 0 | 0 876.81/877.05 c 877s | 24 | 3576322 | 3493662 | 653 11236 | 0 | 0 878.82/879.08 c 879s | 24 | 3583922 | 3501062 | 653 11255 | 0 | 0 880.81/881.08 c 881s | 24 | 3592653 | 3509562 | 653 11277 | 0 | 0 882.91/883.10 c 883s | 24 | 3601199 | 3517962 | 653 11298 | 0 | 0 884.91/885.11 c 885s | 24 | 3609559 | 3526062 | 653 11318 | 0 | 0 886.91/887.12 c 887s | 24 | 3617738 | 3534062 | 653 11339 | 0 | 0 888.90/889.12 c 889s | 24 | 3626082 | 3542162 | 653 11359 | 0 | 0 890.91/891.13 c 891s | 24 | 3634078 | 3549962 | 653 11379 | 0 | 0 892.90/893.15 c 893s | 24 | 3641800 | 3557562 | 653 11398 | 0 | 0 894.90/895.17 c 895s | 24 | 3649453 | 3565062 | 653 11417 | 0 | 0 896.90/897.17 c 897s | 24 | 3656915 | 3572362 | 653 11436 | 0 | 0 898.90/899.19 c 899s | 24 | 3664366 | 3579662 | 653 11455 | 0 | 0 901.00/901.21 c 901s | 24 | 3671821 | 3586962 | 653 11473 | 0 | 0 903.00/903.24 c 903s | 24 | 3679730 | 3594762 | 653 11493 | 0 | 0 904.99/905.25 c 905s | 24 | 3687711 | 3602562 | 653 11513 | 0 | 0 906.99/907.26 c 907s | 24 | 3695833 | 3610562 | 653 11533 | 0 | 0 908.99/909.28 c 909s | 24 | 3704099 | 3618662 | 653 11554 | 0 | 0 911.09/911.30 c 911s | 24 | 3712076 | 3626462 | 653 11574 | 0 | 0 913.08/913.30 c 913s | 24 | 3720053 | 3634262 | 653 11594 | 0 | 0 915.09/915.31 c 915s | 24 | 3728003 | 3642062 | 653 11613 | 0 | 0 917.08/917.33 c 917s | 24 | 3735940 | 3649862 | 653 11633 | 0 | 0 919.08/919.33 c 919s | 24 | 3744898 | 3658562 | 653 11655 | 0 | 0 921.08/921.33 c 921s | 24 | 3753494 | 3666962 | 653 11677 | 0 | 0 923.08/923.34 c 923s | 24 | 3761871 | 3675162 | 653 11698 | 0 | 0 925.08/925.35 c 925s | 24 | 3770021 | 3683162 | 653 11718 | 0 | 0 927.08/927.36 c 927s | 24 | 3777729 | 3690762 | 653 11737 | 0 | 0 929.07/929.38 c 929s | 24 | 3785273 | 3698162 | 653 11756 | 0 | 0 931.07/931.39 c 931s | 24 | 3792803 | 3705562 | 653 11775 | 0 | 0 933.07/933.39 c 933s | 24 | 3800791 | 3713362 | 653 11795 | 0 | 0 935.17/935.40 c 935s | 24 | 3808814 | 3721262 | 653 11815 | 0 | 0 937.17/937.42 c 937s | 24 | 3817418 | 3729762 | 653 11837 | 0 | 0 939.18/939.44 c 939s | 24 | 3825690 | 3737862 | 653 11857 | 0 | 0 941.17/941.46 c 941s | 24 | 3833896 | 3745962 | 653 11878 | 0 | 0 943.17/943.47 c 943s | 24 | 3841862 | 3753762 | 653 11898 | 0 | 0 945.17/945.47 c 945s | 24 | 3849601 | 3761262 | 653 11917 | 0 | 0 947.17/947.47 c 947s | 24 | 3857096 | 3768662 | 653 11936 | 0 | 0 949.26/949.50 c 949s | 24 | 3864823 | 3776262 | 653 11955 | 0 | 0 951.27/951.51 c 951s | 24 | 3872568 | 3783862 | 653 11975 | 0 | 0 953.26/953.53 c 953s | 24 | 3880363 | 3791462 | 653 11994 | 0 | 0 955.26/955.53 c 955s | 24 | 3888023 | 3798962 | 653 12014 | 0 | 0 957.26/957.55 c 957s | 24 | 3895903 | 3806562 | 653 12033 | 0 | 0 959.26/959.56 c 959s | 24 | 3904117 | 3814562 | 653 12053 | 0 | 0 961.27/961.58 c 961s | 24 | 3912253 | 3822462 | 653 12074 | 0 | 0 963.26/963.58 c 963s | 24 | 3920254 | 3830262 | 653 12094 | 0 | 0 965.26/965.59 c 965s | 24 | 3928346 | 3838062 | 653 12114 | 0 | 0 967.36/967.60 c 967s | 24 | 3936612 | 3846062 | 653 12134 | 0 | 0 969.36/969.61 c 969s | 24 | 3944489 | 3853762 | 653 12154 | 0 | 0 971.36/971.61 c 971s | 24 | 3952710 | 3861762 | 653 12175 | 0 | 0 973.36/973.62 c 973s | 24 | 3960953 | 3869762 | 653 12195 | 0 | 0 975.35/975.64 c 975s | 24 | 3968836 | 3877462 | 653 12215 | 0 | 0 977.35/977.66 c 977s | 24 | 3976828 | 3885162 | 653 12235 | 0 | 0 979.36/979.68 c 979s | 24 | 3985132 | 3893262 | 653 12255 | 0 | 0 981.46/981.70 c 981s | 24 | 3994595 | 3902462 | 653 12279 | 0 | 0 983.46/983.70 c 983s | 24 | 4003416 | 3911062 | 653 12300 | 0 | 0 985.46/985.72 c 985s | 24 | 4011884 | 3919362 | 653 12321 | 0 | 0 987.46/987.73 c 987s | 24 | 4020117 | 3927462 | 653 12342 | 0 | 0 989.46/989.74 c 989s | 24 | 4028354 | 3935562 | 653 12362 | 0 | 0 991.46/991.75 c 991s | 24 | 4036627 | 3943662 | 653 12383 | 0 | 0 993.45/993.77 c 993s | 24 | 4044899 | 3951762 | 653 12403 | 0 | 0 995.45/995.79 c 995s | 24 | 4052774 | 3959462 | 653 12423 | 0 | 0 997.46/997.80 c 997s | 24 | 4060484 | 3967062 | 653 12442 | 0 | 0 999.55/999.82 c 999s | 24 | 4068531 | 3974962 | 653 12462 | 0 | 0 1001.55/1001.83 c 1001s | 24 | 4076418 | 3982762 | 653 12482 | 0 | 0 1003.55/1003.84 c 1003s | 24 | 4084210 | 3990462 | 653 12502 | 0 | 0 1005.55/1005.85 c 1005s | 24 | 4091938 | 3998062 | 653 12521 | 0 | 0 1007.55/1007.87 c 1007s | 24 | 4099606 | 4005562 | 653 12540 | 0 | 0 1009.55/1009.88 c 1009s | 24 | 4107249 | 4013062 | 653 12559 | 0 | 0 1011.55/1011.90 c 1011s | 24 | 4115128 | 4020762 | 653 12579 | 0 | 0 1013.64/1013.90 c 1013s | 24 | 4123275 | 4028662 | 653 12599 | 0 | 0 1015.64/1015.91 c 1015s | 24 | 4131522 | 4036662 | 653 12619 | 0 | 0 1017.64/1017.93 c 1017s | 24 | 4139439 | 4044362 | 653 12639 | 0 | 0 1019.64/1019.93 c 1019s | 24 | 4147372 | 4052162 | 653 12659 | 0 | 0 1021.65/1021.95 c 1021s | 24 | 4155776 | 4060462 | 653 12680 | 0 | 0 1023.64/1023.95 c 1023s | 24 | 4164251 | 4068862 | 653 12701 | 0 | 0 1025.64/1025.96 c 1025s | 24 | 4172751 | 4077262 | 653 12723 | 0 | 0 1027.64/1027.97 c 1027s | 24 | 4180755 | 4085162 | 653 12743 | 0 | 0 1029.64/1029.99 c 1029s | 24 | 4189082 | 4093362 | 653 12764 | 0 | 0 1031.64/1032.00 c 1031s | 24 | 4197232 | 4101362 | 653 12784 | 0 | 0 1033.74/1034.02 c 1034s | 24 | 4205282 | 4109262 | 653 12804 | 0 | 0 1035.73/1036.04 c 1036s | 24 | 4213223 | 4117062 | 653 12824 | 0 | 0 1037.73/1038.05 c 1038s | 24 | 4221025 | 4124762 | 653 12843 | 0 | 0 1039.73/1040.05 c 1040s | 24 | 4228705 | 4132362 | 653 12863 | 0 | 0 1041.73/1042.05 c 1042s | 24 | 4236638 | 4140162 | 653 12883 | 0 | 0 1043.74/1044.07 c 1044s | 24 | 4244463 | 4147862 | 653 12902 | 0 | 0 1045.73/1046.08 c 1046s | 24 | 4252162 | 4155462 | 653 12922 | 0 | 0 1047.83/1048.10 c 1048s | 24 | 4259926 | 4163162 | 653 12941 | 0 | 0 1049.83/1050.12 c 1050s | 24 | 4267596 | 4170762 | 653 12961 | 0 | 0 1051.83/1052.13 c 1052s | 24 | 4275129 | 4178262 | 653 12980 | 0 | 0 1053.83/1054.14 c 1054s | 24 | 4282491 | 4185562 | 653 12999 | 0 | 0 1055.83/1056.15 c 1056s | 24 | 4290110 | 4193062 | 653 13018 | 0 | 0 1057.82/1058.16 c 1058s | 24 | 4297696 | 4200562 | 653 13037 | 0 | 0 1059.82/1060.18 c 1060s | 24 | 4305408 | 4208162 | 653 13056 | 0 | 0 1061.82/1062.19 c 1062s | 24 | 4313312 | 4215962 | 653 13076 | 0 | 0 1063.92/1064.22 c 1064s | 24 | 4321250 | 4223762 | 653 13096 | 0 | 0 1065.92/1066.22 c 1066s | 24 | 4328587 | 4230962 | 653 13115 | 0 | 0 1067.93/1068.23 c 1068s | 24 | 4336578 | 4238762 | 653 13134 | 0 | 0 1069.92/1070.24 c 1070s | 24 | 4344194 | 4246262 | 653 13153 | 0 | 0 1071.92/1072.27 c 1072s | 24 | 4352035 | 4253962 | 653 13173 | 0 | 0 1073.91/1074.27 c 1074s | 24 | 4359760 | 4261562 | 653 13193 | 0 | 0 1075.91/1076.28 c 1076s | 24 | 4367338 | 4269062 | 653 13212 | 0 | 0 1077.91/1078.29 c 1078s | 24 | 4375107 | 4276662 | 653 13231 | 0 | 0 1079.92/1080.30 c 1080s | 24 | 4382860 | 4284262 | 653 13251 | 0 | 0 1082.01/1082.30 c 1082s | 24 | 4390827 | 4292062 | 653 13271 | 0 | 0 1084.01/1084.33 c 1084s | 24 | 4398959 | 4300062 | 653 13291 | 0 | 0 1086.01/1086.34 c 1086s | 24 | 4406470 | 4307462 | 653 13310 | 0 | 0 1088.01/1088.35 c 1088s | 24 | 4413988 | 4314862 | 653 13329 | 0 | 0 1090.01/1090.36 c 1090s | 24 | 4421547 | 4322262 | 653 13347 | 0 | 0 1092.02/1092.37 c 1092s | 24 | 4428980 | 4329562 | 653 13366 | 0 | 0 1094.00/1094.39 c 1094s | 24 | 4436358 | 4336762 | 653 13384 | 0 | 0 1096.10/1096.41 c 1096s | 24 | 4443756 | 4344062 | 653 13403 | 0 | 0 1098.10/1098.42 c 1098s | 24 | 4450742 | 4350962 | 653 13420 | 0 | 0 1100.10/1100.42 c 1100s | 24 | 4457715 | 4357862 | 653 13438 | 0 | 0 1102.10/1102.45 c 1102s | 24 | 4465046 | 4365062 | 653 13456 | 0 | 0 1104.11/1104.47 c 1104s | 24 | 4472689 | 4372562 | 653 13475 | 0 | 0 1106.10/1106.48 c 1106s | 24 | 4480320 | 4380062 | 653 13495 | 0 | 0 1108.20/1108.50 c 1108s | 24 | 4487866 | 4387462 | 653 13513 | 0 | 0 1110.20/1110.52 c 1110s | 24 | 4495249 | 4394662 | 653 13532 | 0 | 0 1112.19/1112.52 c 1112s | 24 | 4502342 | 4401662 | 653 13550 | 0 | 0 1114.19/1114.54 c 1114s | 24 | 4509707 | 4408862 | 653 13568 | 0 | 0 1116.20/1116.54 c 1116s | 24 | 4516790 | 4415862 | 653 13586 | 0 | 0 1118.19/1118.56 c 1118s | 24 | 4524188 | 4423162 | 653 13605 | 0 | 0 1120.19/1120.59 c 1120s | 24 | 4531476 | 4430362 | 653 13623 | 0 | 0 1122.19/1122.59 c 1122s | 24 | 4539471 | 4438162 | 653 13643 | 0 | 0 1124.19/1124.59 c 1124s | 24 | 4547502 | 4445962 | 653 13663 | 0 | 0 1126.29/1126.62 c 1126s | 24 | 4555400 | 4453662 | 653 13683 | 0 | 0 1128.29/1128.63 c 1128s | 24 | 4563414 | 4461562 | 653 13703 | 0 | 0 1130.29/1130.66 c 1130s | 24 | 4570991 | 4469062 | 653 13722 | 0 | 0 1132.29/1132.67 c 1132s | 24 | 4578404 | 4476362 | 653 13740 | 0 | 0 1134.29/1134.69 c 1134s | 24 | 4586017 | 4483862 | 653 13759 | 0 | 0 1136.39/1136.71 c 1136s | 24 | 4593429 | 4491162 | 653 13778 | 0 | 0 1138.39/1138.73 c 1138s | 24 | 4600970 | 4498562 | 653 13797 | 0 | 0 1140.40/1140.73 c 1140s | 24 | 4608299 | 4505762 | 653 13815 | 0 | 0 1142.39/1142.75 c 1142s | 24 | 4615528 | 4512862 | 653 13834 | 0 | 0 1144.39/1144.76 c 1144s | 24 | 4622943 | 4520162 | 653 13852 | 0 | 0 1146.39/1146.76 c 1146s | 24 | 4630318 | 4527362 | 653 13871 | 0 | 0 1148.39/1148.79 c 1148s | 24 | 4638095 | 4534962 | 653 13890 | 0 | 0 1150.39/1150.79 c 1150s | 24 | 4645966 | 4542662 | 653 13910 | 0 | 0 1152.38/1152.80 c 1152s | 24 | 4653773 | 4550262 | 653 13929 | 0 | 0 1154.48/1154.81 c 1154s | 24 | 4661235 | 4557562 | 653 13948 | 0 | 0 1156.48/1156.81 c 1156s | 24 | 4668531 | 4564762 | 653 13967 | 0 | 0 1158.48/1158.81 c 1158s | 24 | 4675942 | 4572062 | 653 13985 | 0 | 0 1160.48/1160.82 c 1160s | 24 | 4683662 | 4579562 | 653 14005 | 0 | 0 1162.48/1162.82 c 1162s | 24 | 4691519 | 4587162 | 653 14024 | 0 | 0 1164.47/1164.84 c 1164s | 24 | 4699315 | 4594762 | 653 14044 | 0 | 0 1166.47/1166.84 c 1166s | 24 | 4707049 | 4602262 | 653 14063 | 0 | 0 1168.47/1168.87 c 1168s | 24 | 4715057 | 4609962 | 653 14083 | 0 | 0 1170.47/1170.88 c 1170s | 24 | 4722992 | 4617662 | 653 14103 | 0 | 0 1172.47/1172.88 c 1172s | 24 | 4730740 | 4625262 | 653 14122 | 0 | 0 1174.47/1174.89 c 1174s | 24 | 4738385 | 4632762 | 653 14141 | 0 | 0 1176.47/1176.90 c 1176s | 24 | 4745726 | 4639962 | 653 14159 | 0 | 0 1178.56/1178.92 c 1178s | 24 | 4752839 | 4646962 | 653 14177 | 0 | 0 1180.56/1180.92 c 1180s | 24 | 4760394 | 4654362 | 653 14196 | 0 | 0 1182.56/1182.93 c 1182s | 24 | 4767610 | 4661462 | 653 14214 | 0 | 0 1184.56/1184.93 c 1184s | 24 | 4774910 | 4668662 | 653 14233 | 0 | 0 1186.57/1186.94 c 1186s | 24 | 4782200 | 4675862 | 653 14251 | 0 | 0 1188.56/1188.96 c 1188s | 24 | 4789477 | 4683062 | 653 14269 | 0 | 0 1190.56/1190.97 c 1190s | 24 | 4796975 | 4690462 | 653 14288 | 0 | 0 1192.56/1192.97 c 1192s | 24 | 4804473 | 4697862 | 653 14307 | 0 | 0 1194.56/1194.98 c 1194s | 24 | 4812383 | 4705662 | 653 14327 | 0 | 0 1196.66/1197.00 c 1196s | 24 | 4820120 | 4713262 | 653 14347 | 0 | 0 1198.67/1199.02 c 1199s | 24 | 4827871 | 4720862 | 653 14366 | 0 | 0 1200.66/1201.03 c 1201s | 24 | 4835359 | 4728162 | 653 14385 | 0 | 0 1202.66/1203.05 c 1203s | 24 | 4842867 | 4735462 | 653 14404 | 0 | 0 1204.65/1205.05 c 1205s | 24 | 4850539 | 4742962 | 653 14423 | 0 | 0 1206.65/1207.06 c 1207s | 24 | 4858428 | 4750662 | 653 14442 | 0 | 0 1208.66/1209.08 c 1209s | 24 | 4865965 | 4758062 | 653 14461 | 0 | 0 1210.65/1211.09 c 1211s | 24 | 4873683 | 4765562 | 653 14480 | 0 | 0 1212.75/1213.10 c 1213s | 24 | 4881370 | 4773062 | 653 14500 | 0 | 0 1214.75/1215.11 c 1215s | 24 | 4889250 | 4780762 | 653 14519 | 0 | 0 1216.75/1217.11 c 1217s | 24 | 4896613 | 4787962 | 653 14538 | 0 | 0 1218.75/1219.13 c 1219s | 24 | 4904156 | 4795362 | 653 14557 | 0 | 0 1220.76/1221.15 c 1221s | 24 | 4911536 | 4802662 | 653 14575 | 0 | 0 1222.74/1223.17 c 1223s | 24 | 4918826 | 4809862 | 653 14594 | 0 | 0 1224.84/1225.20 c 1225s | 24 | 4926224 | 4817162 | 653 14613 | 0 | 0 1226.84/1227.21 c 1227s | 24 | 4933293 | 4824162 | 653 14630 | 0 | 0 1228.84/1229.22 c 1229s | 24 | 4940169 | 4830962 | 653 14648 | 0 | 0 1230.84/1231.23 c 1231s | 24 | 4947045 | 4837762 | 653 14666 | 0 | 0 1232.85/1233.23 c 1233s | 24 | 4954949 | 4845462 | 653 14685 | 0 | 0 1234.84/1235.23 c 1235s | 24 | 4962654 | 4852962 | 653 14704 | 0 | 0 1236.84/1237.24 c 1237s | 24 | 4970090 | 4860262 | 653 14723 | 0 | 0 1238.84/1239.26 c 1239s | 24 | 4977673 | 4867662 | 653 14742 | 0 | 0 1240.84/1241.27 c 1241s | 24 | 4985003 | 4874862 | 653 14761 | 0 | 0 1242.83/1243.29 c 1243s | 24 | 4992806 | 4882462 | 653 14780 | 0 | 0 1244.84/1245.30 c 1245s | 24 | 5000489 | 4889962 | 653 14800 | 0 | 0 1246.93/1247.32 c 1247s | 24 | 5008456 | 4897762 | 653 14820 | 0 | 0 1248.93/1249.33 c 1249s | 24 | 5016156 | 4905362 | 653 14839 | 0 | 0 1250.93/1251.35 c 1251s | 24 | 5023732 | 4912762 | 653 14858 | 0 | 0 1252.92/1253.35 c 1253s | 24 | 5030926 | 4919762 | 653 14876 | 0 | 0 1254.92/1255.37 c 1255s | 24 | 5038563 | 4927162 | 653 14895 | 0 | 0 1256.93/1257.38 c 1257s | 24 | 5045924 | 4934362 | 653 14914 | 0 | 0 1259.02/1259.40 c 1259s | 24 | 5053379 | 4941662 | 653 14933 | 0 | 0 1261.02/1261.41 c 1261s | 24 | 5061293 | 4949462 | 653 14952 | 0 | 0 1263.02/1263.43 c 1263s | 24 | 5068913 | 4956962 | 653 14971 | 0 | 0 1265.02/1265.46 c 1265s | 24 | 5077078 | 4964962 | 653 14992 | 0 | 0 1267.02/1267.47 c 1267s | 24 | 5084956 | 4972662 | 653 15011 | 0 | 0 1269.03/1269.47 c 1269s | 24 | 5092160 | 4979762 | 653 15029 | 0 | 0 1271.02/1271.49 c 1271s | 24 | 5099505 | 4986962 | 653 15048 | 0 | 0 1273.01/1273.49 c 1273s | 24 | 5106900 | 4994262 | 653 15066 | 0 | 0 1275.11/1275.52 c 1275s | 24 | 5114491 | 5001662 | 653 15085 | 0 | 0 1277.11/1277.53 c 1277s | 24 | 5122384 | 5009362 | 653 15105 | 0 | 0 1279.11/1279.53 c 1279s | 24 | 5130055 | 5016962 | 653 15124 | 0 | 0 1281.12/1281.55 c 1281s | 24 | 5137532 | 5024362 | 653 15143 | 0 | 0 1283.11/1283.57 c 1283s | 24 | 5145057 | 5031762 | 719 15162 | 0 | 0 1285.11/1285.58 c 1285s | 24 | 5152809 | 5039362 | 719 15179 | 0 | 0 1287.11/1287.59 c 1287s | 24 | 5160222 | 5046662 | 719 15197 | 0 | 0 1289.11/1289.59 c 1289s | 24 | 5167871 | 5054162 | 719 15214 | 0 | 0 1291.11/1291.59 c 1291s | 24 | 5175161 | 5061362 | 719 15231 | 0 | 0 1292.21/1292.65 c 1292s | 25 | 5178962 | 5065098 | 719 15240 | 0 | 0 1294.21/1294.65 c 1294s | 25 | 5186441 | 5072298 | 719 15257 | 0 | 0 1296.21/1296.67 c 1296s | 25 | 5194040 | 5079798 | 719 15274 | 0 | 0 1298.31/1298.70 c 1298s | 25 | 5201358 | 5086998 | 719 15291 | 0 | 0 1300.31/1300.70 c 1300s | 25 | 5208881 | 5094398 | 719 15309 | 0 | 0 1302.31/1302.73 c 1302s | 25 | 5216710 | 5102098 | 719 15327 | 0 | 0 1304.31/1304.73 c 1304s | 25 | 5224030 | 5109298 | 719 15343 | 0 | 0 1306.31/1306.73 c 1306s | 25 | 5231159 | 5116298 | 719 15360 | 0 | 0 1308.31/1308.74 c 1308s | 25 | 5238615 | 5123598 | 719 15377 | 0 | 0 1310.30/1310.75 c 1310s | 25 | 5245613 | 5130498 | 719 15393 | 0 | 0 1312.30/1312.77 c 1312s | 25 | 5252709 | 5137498 | 719 15410 | 0 | 0 1314.30/1314.77 c 1314s | 25 | 5260019 | 5144698 | 719 15427 | 0 | 0 1316.30/1316.80 c 1316s | 25 | 5267902 | 5152498 | 719 15445 | 0 | 0 1318.40/1318.81 c 1318s | 25 | 5275274 | 5159798 | 719 15462 | 0 | 0 1320.40/1320.84 c 1320s | 25 | 5282499 | 5166898 | 719 15479 | 0 | 0 1322.40/1322.85 c 1322s | 25 | 5289883 | 5174198 | 719 15496 | 0 | 0 1324.39/1324.87 c 1324s | 25 | 5297544 | 5181798 | 719 15514 | 0 | 0 1326.39/1326.87 c 1326s | 25 | 5305197 | 5189298 | 719 15531 | 0 | 0 1328.40/1328.89 c 1328s | 25 | 5312416 | 5196398 | 719 15548 | 0 | 0 1330.49/1330.90 c 1330s | 25 | 5319550 | 5203398 | 719 15565 | 0 | 0 1332.49/1332.92 c 1332s | 25 | 5326521 | 5210198 | 719 15581 | 0 | 0 1334.49/1334.92 c 1334s | 25 | 5333550 | 5217098 | 719 15597 | 0 | 0 1336.49/1336.92 c 1336s | 25 | 5340679 | 5224098 | 719 15613 | 0 | 0 1338.49/1338.93 c 1338s | 25 | 5347858 | 5231098 | 719 15630 | 0 | 0 1340.49/1340.95 c 1340s | 25 | 5354867 | 5237998 | 719 15646 | 0 | 0 1342.48/1342.96 c 1342s | 25 | 5361963 | 5244998 | 719 15663 | 0 | 0 1344.48/1344.97 c 1344s | 25 | 5368948 | 5251898 | 719 15679 | 0 | 0 1346.48/1346.98 c 1346s | 25 | 5376565 | 5259398 | 719 15697 | 0 | 0 1348.48/1348.98 c 1348s | 25 | 5383717 | 5266498 | 719 15714 | 0 | 0 1350.49/1350.99 c 1350s | 25 | 5391015 | 5273698 | 719 15731 | 0 | 0 1352.48/1353.00 c 1352s | 25 | 5399211 | 5281698 | 719 15750 | 0 | 0 1354.58/1355.01 c 1354s | 25 | 5407348 | 5289598 | 719 15768 | 0 | 0 1356.58/1357.02 c 1356s | 25 | 5414920 | 5296998 | 719 15785 | 0 | 0 1358.58/1359.02 c 1359s | 25 | 5422756 | 5304698 | 719 15803 | 0 | 0 1360.58/1361.05 c 1361s | 25 | 5430473 | 5312198 | 719 15821 | 0 | 0 1362.58/1363.07 c 1363s | 25 | 5437827 | 5319398 | 719 15838 | 0 | 0 1364.58/1365.07 c 1365s | 25 | 5445139 | 5326498 | 719 15854 | 0 | 0 1366.58/1367.08 c 1367s | 25 | 5452141 | 5333398 | 719 15870 | 0 | 0 1368.68/1369.10 c 1369s | 25 | 5459134 | 5340298 | 719 15887 | 0 | 0 1370.68/1371.12 c 1371s | 25 | 5466748 | 5347798 | 719 15904 | 0 | 0 1372.68/1373.15 c 1373s | 25 | 5474375 | 5355298 | 719 15922 | 0 | 0 1374.68/1375.16 c 1375s | 25 | 5481661 | 5362398 | 719 15938 | 0 | 0 1376.68/1377.16 c 1377s | 25 | 5488936 | 5369598 | 719 15955 | 0 | 0 1378.68/1379.18 c 1379s | 25 | 5496370 | 5376898 | 719 15972 | 0 | 0 1380.77/1381.20 c 1381s | 25 | 5503586 | 5383998 | 719 15989 | 0 | 0 1382.77/1383.22 c 1383s | 25 | 5510753 | 5391098 | 719 16006 | 0 | 0 1384.77/1385.25 c 1385s | 25 | 5517740 | 5397998 | 719 16022 | 0 | 0 1386.78/1387.26 c 1387s | 25 | 5525161 | 5405298 | 719 16039 | 0 | 0 1388.77/1389.27 c 1389s | 25 | 5532457 | 5412498 | 719 16056 | 0 | 0 1390.77/1391.29 c 1391s | 25 | 5539830 | 5419698 | 719 16073 | 0 | 0 1392.77/1393.29 c 1393s | 25 | 5547294 | 5426998 | 719 16090 | 0 | 0 1394.87/1395.31 c 1395s | 25 | 5554658 | 5434198 | 719 16107 | 0 | 0 1396.87/1397.33 c 1397s | 25 | 5562832 | 5442198 | 719 16126 | 0 | 0 1398.88/1399.34 c 1399s | 25 | 5570553 | 5449798 | 719 16144 | 0 | 0 1400.87/1401.34 c 1401s | 25 | 5578042 | 5457098 | 719 16161 | 0 | 0 1402.87/1403.35 c 1403s | 25 | 5585418 | 5464298 | 719 16178 | 0 | 0 1404.87/1405.36 c 1405s | 25 | 5592777 | 5471598 | 719 16195 | 0 | 0 1406.87/1407.37 c 1407s | 25 | 5600193 | 5478898 | 719 16212 | 0 | 0 1408.87/1409.37 c 1409s | 25 | 5607968 | 5486498 | 719 16230 | 0 | 0 1410.88/1411.37 c 1411s | 25 | 5615704 | 5494098 | 719 16248 | 0 | 0 1412.87/1413.38 c 1413s | 25 | 5623534 | 5501798 | 719 16266 | 0 | 0 1414.97/1415.41 c 1415s | 25 | 5631293 | 5509398 | 719 16284 | 0 | 0 1416.97/1417.43 c 1417s | 25 | 5638694 | 5516698 | 719 16301 | 0 | 0 1418.97/1419.45 c 1419s | 25 | 5646245 | 5524098 | 719 16318 | 0 | 0 1420.97/1421.47 c 1421s | 25 | 5653688 | 5531498 | 719 16336 | 0 | 0 1422.97/1423.48 c 1423s | 25 | 5661151 | 5538798 | 719 16353 | 0 | 0 1424.97/1425.48 c 1425s | 25 | 5668649 | 5546098 | 719 16370 | 0 | 0 1426.97/1427.49 c 1427s | 25 | 5675794 | 5553098 | 719 16387 | 0 | 0 1429.06/1429.51 c 1429s | 25 | 5683295 | 5560398 | 719 16404 | 0 | 0 1431.06/1431.52 c 1431s | 25 | 5690541 | 5567498 | 719 16421 | 0 | 0 1433.06/1433.52 c 1433s | 25 | 5697791 | 5574598 | 719 16438 | 0 | 0 1435.07/1435.54 c 1435s | 25 | 5705377 | 5581998 | 719 16455 | 0 | 0 1437.06/1437.55 c 1437s | 25 | 5712424 | 5588898 | 719 16471 | 0 | 0 1439.06/1439.56 c 1439s | 25 | 5719960 | 5596298 | 719 16488 | 0 | 0 1441.06/1441.58 c 1441s | 25 | 5727378 | 5603598 | 719 16506 | 0 | 0 1443.06/1443.58 c 1443s | 25 | 5734604 | 5610698 | 719 16522 | 0 | 0 1445.16/1445.60 c 1445s | 25 | 5741742 | 5617698 | 719 16539 | 0 | 0 1447.17/1447.63 c 1447s | 25 | 5749123 | 5624898 | 719 16556 | 0 | 0 1449.17/1449.65 c 1449s | 25 | 5756384 | 5631998 | 719 16573 | 0 | 0 1451.17/1451.65 c 1451s | 25 | 5763832 | 5639298 | 719 16590 | 0 | 0 1453.17/1453.67 c 1453s | 25 | 5771441 | 5646798 | 719 16607 | 0 | 0 1455.27/1455.70 c 1455s | 25 | 5778863 | 5654098 | 719 16625 | 0 | 0 1457.27/1457.72 c 1457s | 25 | 5786139 | 5661198 | 719 16641 | 0 | 0 1459.27/1459.73 c 1459s | 25 | 5793268 | 5668198 | 719 16658 | 0 | 0 1461.27/1461.75 c 1461s | 25 | 5800473 | 5675298 | 719 16675 | 0 | 0 1463.27/1463.78 c 1463s | 25 | 5807788 | 5682498 | 719 16692 | 0 | 0 1465.27/1465.79 c 1465s | 25 | 5814939 | 5689498 | 719 16708 | 0 | 0 1467.37/1467.81 c 1467s | 25 | 5822185 | 5696598 | 719 16725 | 0 | 0 1469.36/1469.84 c 1469s | 25 | 5829408 | 5703698 | 719 16742 | 0 | 0 1471.37/1471.84 c 1471s | 25 | 5836542 | 5710698 | 719 16759 | 0 | 0 1473.36/1473.85 c 1473s | 25 | 5843925 | 5717998 | 719 16776 | 0 | 0 1475.36/1475.86 c 1475s | 25 | 5851043 | 5724998 | 719 16792 | 0 | 0 1477.36/1477.87 c 1477s | 25 | 5858160 | 5731998 | 719 16809 | 0 | 0 1479.36/1479.88 c 1479s | 25 | 5865270 | 5738998 | 719 16825 | 0 | 0 1481.46/1481.90 c 1481s | 25 | 5872490 | 5746098 | 719 16842 | 0 | 0 1483.47/1483.92 c 1483s | 25 | 5879691 | 5753198 | 719 16859 | 0 | 0 1485.46/1485.93 c 1485s | 25 | 5887137 | 5760598 | 719 16876 | 0 | 0 1487.46/1487.94 c 1487s | 25 | 5894219 | 5767598 | 719 16893 | 0 | 0 1489.46/1489.94 c 1489s | 25 | 5902489 | 5775798 | 719 16912 | 0 | 0 1491.46/1491.96 c 1491s | 25 | 5910260 | 5783498 | 719 16930 | 0 | 0 1493.47/1493.98 c 1493s | 25 | 5918207 | 5791298 | 719 16948 | 0 | 0 1495.46/1495.99 c 1495s | 25 | 5926008 | 5798998 | 719 16966 | 0 | 0 1497.56/1498.02 c 1498s | 25 | 5933982 | 5806798 | 719 16985 | 0 | 0 1499.56/1500.02 c 1500s | 25 | 5941509 | 5814198 | 719 17002 | 0 | 0 1501.56/1502.04 c 1502s | 25 | 5949195 | 5821698 | 719 17020 | 0 | 0 1503.56/1504.05 c 1504s | 25 | 5957085 | 5829398 | 719 17038 | 0 | 0 1505.56/1506.05 c 1506s | 25 | 5964939 | 5836998 | 719 17056 | 0 | 0 1507.55/1508.07 c 1508s | 25 | 5972489 | 5844398 | 719 17073 | 0 | 0 1509.55/1510.09 c 1510s | 25 | 5980149 | 5851898 | 719 17091 | 0 | 0 1511.65/1512.10 c 1512s | 25 | 5987885 | 5859498 | 719 17109 | 0 | 0 1513.65/1514.11 c 1514s | 25 | 5995297 | 5866698 | 719 17126 | 0 | 0 1515.65/1516.12 c 1516s | 25 | 6002531 | 5873798 | 719 17142 | 0 | 0 1517.66/1518.15 c 1518s | 25 | 6009568 | 5880698 | 719 17159 | 0 | 0 1519.65/1520.16 c 1520s | 25 | 6016830 | 5887798 | 719 17175 | 0 | 0 1521.65/1522.18 c 1522s | 25 | 6024334 | 5895098 | 719 17193 | 0 | 0 1523.65/1524.19 c 1524s | 25 | 6031436 | 5902098 | 719 17209 | 0 | 0 1525.75/1526.21 c 1526s | 25 | 6038617 | 5909198 | 719 17226 | 0 | 0 1527.75/1528.23 c 1528s | 25 | 6046707 | 5916998 | 719 17244 | 0 | 0 1529.76/1530.23 c 1530s | 25 | 6053975 | 5924098 | 719 17261 | 0 | 0 1531.75/1532.24 c 1532s | 25 | 6061149 | 5931098 | 719 17278 | 0 | 0 1533.75/1534.26 c 1534s | 25 | 6068765 | 5938498 | 719 17295 | 0 | 0 1535.75/1536.27 c 1536s | 25 | 6076322 | 5945798 | 719 17312 | 0 | 0 1537.75/1538.29 c 1538s | 25 | 6083845 | 5953198 | 719 17330 | 0 | 0 1539.84/1540.31 c 1540s | 25 | 6091080 | 5960298 | 719 17347 | 0 | 0 1541.85/1542.31 c 1542s | 25 | 6098689 | 5967798 | 719 17364 | 0 | 0 1543.85/1544.32 c 1544s | 25 | 6106776 | 5975698 | 719 17383 | 0 | 0 1545.85/1546.33 c 1546s | 25 | 6114798 | 5983498 | 719 17401 | 0 | 0 1547.85/1548.34 c 1548s | 25 | 6122481 | 5990898 | 719 17419 | 0 | 0 1549.85/1550.36 c 1550s | 25 | 6130014 | 5998198 | 719 17436 | 0 | 0 1551.85/1552.38 c 1552s | 25 | 6137651 | 6005698 | 719 17454 | 0 | 0 1553.86/1554.40 c 1554s | 25 | 6145420 | 6013298 | 719 17472 | 0 | 0 1555.95/1556.40 c 1556s | 25 | 6152915 | 6020598 | 719 17489 | 0 | 0 1557.95/1558.41 c 1558s | 25 | 6160313 | 6027798 | 719 17506 | 0 | 0 1559.95/1560.43 c 1560s | 25 | 6167867 | 6035198 | 719 17524 | 0 | 0 1561.95/1562.44 c 1562s | 25 | 6175149 | 6042398 | 719 17541 | 0 | 0 1563.95/1564.45 c 1564s | 25 | 6182597 | 6049798 | 719 17558 | 0 | 0 1565.95/1566.46 c 1566s | 25 | 6189734 | 6056798 | 719 17575 | 0 | 0 1567.95/1568.48 c 1568s | 25 | 6196846 | 6063798 | 719 17591 | 0 | 0 1569.95/1570.48 c 1570s | 25 | 6204275 | 6071098 | 719 17609 | 0 | 0 1572.05/1572.51 c 1572s | 25 | 6212070 | 6078698 | 719 17627 | 0 | 0 1574.04/1574.54 c 1574s | 25 | 6219806 | 6086298 | 719 17645 | 0 | 0 1576.04/1576.54 c 1576s | 25 | 6227192 | 6093498 | 719 17662 | 0 | 0 1578.05/1578.56 c 1578s | 25 | 6234665 | 6100798 | 719 17679 | 0 | 0 1580.04/1580.57 c 1580s | 25 | 6242010 | 6107998 | 719 17696 | 0 | 0 1582.04/1582.59 c 1582s | 25 | 6249738 | 6115598 | 719 17714 | 0 | 0 1584.14/1584.60 c 1584s | 25 | 6257197 | 6122898 | 719 17732 | 0 | 0 1586.14/1586.63 c 1586s | 25 | 6264460 | 6129998 | 719 17749 | 0 | 0 1588.14/1588.65 c 1588s | 25 | 6273971 | 6139298 | 719 17770 | 0 | 0 1590.15/1590.66 c 1590s | 25 | 6283197 | 6148398 | 719 17791 | 0 | 0 1592.14/1592.67 c 1592s | 25 | 6291735 | 6156798 | 719 17811 | 0 | 0 1594.14/1594.68 c 1594s | 25 | 6300341 | 6165198 | 719 17831 | 0 | 0 1596.24/1596.70 c 1596s | 25 | 6308708 | 6173398 | 719 17850 | 0 | 0 1598.24/1598.71 c 1598s | 25 | 6316762 | 6181298 | 719 17868 | 0 | 0 1600.24/1600.73 c 1600s | 25 | 6324841 | 6189198 | 719 17887 | 0 | 0 1602.24/1602.73 c 1602s | 25 | 6332740 | 6196998 | 719 17905 | 0 | 0 1604.24/1604.73 c 1604s | 25 | 6340899 | 6204998 | 719 17924 | 0 | 0 1606.23/1606.74 c 1606s | 25 | 6348920 | 6212898 | 719 17942 | 0 | 0 1608.23/1608.76 c 1608s | 25 | 6357178 | 6220998 | 719 17961 | 0 | 0 1610.23/1610.76 c 1610s | 25 | 6365192 | 6228898 | 719 17979 | 0 | 0 1612.24/1612.78 c 1612s | 25 | 6373241 | 6236798 | 719 17998 | 0 | 0 1614.23/1614.79 c 1614s | 25 | 6380979 | 6244398 | 719 18016 | 0 | 0 1616.33/1616.81 c 1616s | 25 | 6389049 | 6252298 | 719 18034 | 0 | 0 1618.33/1618.82 c 1618s | 25 | 6397018 | 6259998 | 719 18052 | 0 | 0 1620.34/1620.83 c 1620s | 25 | 6404536 | 6267398 | 719 18070 | 0 | 0 1622.34/1622.86 c 1622s | 25 | 6412425 | 6275098 | 719 18088 | 0 | 0 1624.35/1624.88 c 1624s | 25 | 6420127 | 6282698 | 719 18106 | 0 | 0 1626.34/1626.88 c 1626s | 25 | 6427710 | 6290098 | 719 18123 | 0 | 0 1628.34/1628.89 c 1628s | 25 | 6435489 | 6297698 | 719 18141 | 0 | 0 1630.34/1630.89 c 1630s | 25 | 6443093 | 6305198 | 719 18158 | 0 | 0 1632.44/1632.91 c 1632s | 25 | 6451735 | 6313598 | 719 18178 | 0 | 0 1634.44/1634.93 c 1634s | 25 | 6460067 | 6321698 | 719 18197 | 0 | 0 1636.44/1636.95 c 1636s | 25 | 6468116 | 6329598 | 719 18216 | 0 | 0 1638.44/1638.97 c 1638s | 25 | 6475770 | 6337098 | 719 18233 | 0 | 0 1640.44/1640.99 c 1640s | 25 | 6483513 | 6344698 | 719 18251 | 0 | 0 1642.54/1643.01 c 1642s | 25 | 6491140 | 6352198 | 719 18268 | 0 | 0 1644.54/1645.04 c 1645s | 25 | 6498585 | 6359498 | 719 18285 | 0 | 0 1646.54/1647.04 c 1647s | 25 | 6505929 | 6366698 | 719 18302 | 0 | 0 1648.54/1649.05 c 1649s | 25 | 6514055 | 6374698 | 719 18321 | 0 | 0 1650.54/1651.05 c 1651s | 25 | 6521776 | 6382298 | 719 18339 | 0 | 0 1652.53/1653.05 c 1653s | 25 | 6529174 | 6389598 | 719 18356 | 0 | 0 1654.53/1655.07 c 1655s | 25 | 6536553 | 6396898 | 719 18373 | 0 | 0 1656.53/1657.08 c 1657s | 25 | 6543996 | 6404198 | 719 18390 | 0 | 0 1658.63/1659.11 c 1659s | 25 | 6551287 | 6411398 | 719 18407 | 0 | 0 1660.64/1661.11 c 1661s | 25 | 6558835 | 6418798 | 719 18424 | 0 | 0 1662.63/1663.12 c 1663s | 25 | 6566366 | 6426198 | 719 18442 | 0 | 0 1664.63/1665.13 c 1665s | 25 | 6574287 | 6433998 | 719 18460 | 0 | 0 1666.63/1667.15 c 1667s | 25 | 6582039 | 6441598 | 719 18478 | 0 | 0 1668.63/1669.16 c 1669s | 25 | 6590273 | 6449698 | 719 18497 | 0 | 0 1670.63/1671.17 c 1671s | 25 | 6598160 | 6457498 | 719 18515 | 0 | 0 1672.63/1673.17 c 1673s | 25 | 6606075 | 6465298 | 719 18533 | 0 | 0 1674.63/1675.19 c 1675s | 25 | 6613586 | 6472698 | 719 18551 | 0 | 0 1676.63/1677.19 c 1677s | 25 | 6620919 | 6479898 | 719 18568 | 0 | 0 1678.63/1679.19 c 1679s | 25 | 6628330 | 6487198 | 719 18585 | 0 | 0 1680.63/1681.19 c 1681s | 25 | 6635673 | 6494398 | 719 18602 | 0 | 0 1682.73/1683.21 c 1683s | 25 | 6642895 | 6501498 | 719 18618 | 0 | 0 1684.73/1685.23 c 1685s | 25 | 6650316 | 6508798 | 719 18635 | 0 | 0 1686.73/1687.23 c 1687s | 25 | 6657826 | 6516198 | 719 18653 | 0 | 0 1688.73/1689.24 c 1689s | 25 | 6665153 | 6523398 | 719 18670 | 0 | 0 1690.73/1691.26 c 1691s | 25 | 6672799 | 6530898 | 719 18687 | 0 | 0 1692.72/1693.29 c 1693s | 25 | 6680259 | 6538198 | 719 18705 | 0 | 0 1694.82/1695.31 c 1695s | 25 | 6687473 | 6545298 | 719 18721 | 0 | 0 1696.83/1697.31 c 1697s | 25 | 6694743 | 6552398 | 719 18738 | 0 | 0 1698.82/1699.31 c 1699s | 25 | 6701951 | 6559398 | 719 18755 | 0 | 0 1700.82/1701.33 c 1701s | 25 | 6709362 | 6566598 | 719 18772 | 0 | 0 1702.82/1703.35 c 1703s | 25 | 6716641 | 6573698 | 719 18788 | 0 | 0 1704.82/1705.38 c 1705s | 25 | 6723852 | 6580798 | 719 18805 | 0 | 0 1706.92/1707.40 c 1707s | 25 | 6730946 | 6587798 | 719 18821 | 0 | 0 1708.93/1709.41 c 1709s | 25 | 6738214 | 6594898 | 719 18838 | 0 | 0 1710.92/1711.42 c 1711s | 25 | 6745248 | 6601798 | 719 18854 | 0 | 0 1712.92/1713.45 c 1713s | 25 | 6752234 | 6608698 | 719 18871 | 0 | 0 1714.92/1715.46 c 1715s | 25 | 6759472 | 6615798 | 719 18887 | 0 | 0 1716.92/1717.49 c 1717s | 25 | 6766385 | 6622598 | 719 18903 | 0 | 0 1719.02/1719.51 c 1719s | 25 | 6773350 | 6629498 | 719 18920 | 0 | 0 1721.03/1721.52 c 1721s | 25 | 6780239 | 6636298 | 719 18936 | 0 | 0 1723.02/1723.54 c 1723s | 25 | 6787433 | 6643398 | 719 18952 | 0 | 0 1725.02/1725.56 c 1725s | 25 | 6794729 | 6650598 | 719 18969 | 0 | 0 1727.02/1727.58 c 1727s | 25 | 6801941 | 6657698 | 719 18986 | 0 | 0 1729.02/1729.59 c 1729s | 25 | 6808827 | 6664498 | 719 19002 | 0 | 0 1731.12/1731.60 c 1731s | 25 | 6815740 | 6671298 | 719 19018 | 0 | 0 1733.12/1733.61 c 1733s | 25 | 6822538 | 6677998 | 719 19034 | 0 | 0 1735.12/1735.63 c 1735s | 25 | 6829517 | 6684898 | 719 19050 | 0 | 0 1737.12/1737.64 c 1737s | 25 | 6836618 | 6691898 | 719 19067 | 0 | 0 1739.12/1739.65 c 1739s | 25 | 6843528 | 6698698 | 719 19083 | 0 | 0 1741.11/1741.65 c 1741s | 25 | 6850380 | 6705498 | 719 19099 | 0 | 0 1743.12/1743.66 c 1743s | 25 | 6857833 | 6712798 | 719 19117 | 0 | 0 1745.11/1745.68 c 1745s | 25 | 6865347 | 6720098 | 719 19134 | 0 | 0 1747.11/1747.68 c 1747s | 25 | 6872674 | 6727198 | 719 19151 | 0 | 0 1749.11/1749.69 c 1749s | 25 | 6880389 | 6734698 | 719 19168 | 0 | 0 1751.21/1751.71 c 1751s | 25 | 6887417 | 6741598 | 719 19184 | 0 | 0 1753.21/1753.73 c 1753s | 25 | 6894326 | 6748398 | 719 19200 | 0 | 0 1755.22/1755.76 c 1755s | 25 | 6901114 | 6755098 | 719 19216 | 0 | 0 1757.21/1757.79 c 1757s | 25 | 6908235 | 6762098 | 719 19233 | 0 | 0 1759.21/1759.79 c 1759s | 25 | 6915497 | 6769298 | 719 19250 | 0 | 0 1761.21/1761.80 c 1761s | 25 | 6922409 | 6776098 | 719 19266 | 0 | 0 1763.32/1763.81 c 1763s | 25 | 6929468 | 6783098 | 719 19282 | 0 | 0 1765.32/1765.81 c 1765s | 25 | 6936463 | 6789998 | 719 19299 | 0 | 0 1767.33/1767.83 c 1767s | 25 | 6943217 | 6796698 | 719 19315 | 0 | 0 1769.32/1769.83 c 1769s | 25 | 6949985 | 6803398 | 719 19331 | 0 | 0 1771.32/1771.86 c 1771s | 25 | 6957672 | 6810998 | 719 19348 | 0 | 0 1773.32/1773.87 c 1773s | 25 | 6965268 | 6818398 | 719 19366 | 0 | 0 1775.42/1775.90 c 1775s | 25 | 6972716 | 6825698 | 719 19383 | 0 | 0 1777.42/1777.92 c 1777s | 25 | 6980247 | 6833098 | 719 19400 | 0 | 0 1779.42/1779.93 c 1779s | 25 | 6987812 | 6840498 | 719 19417 | 0 | 0 1781.42/1781.96 c 1781s | 25 | 6995530 | 6848098 | 719 19435 | 0 | 0 1783.42/1783.98 c 1783s | 25 | 7003488 | 6855898 | 719 19453 | 0 | 0 1785.52/1786.00 c 1785s | 25 | 7011180 | 6863498 | 719 19471 | 0 | 0 1787.52/1788.01 c 1787s | 25 | 7019456 | 6871598 | 719 19490 | 0 | 0 1789.52/1790.03 c 1790s | 25 | 7027432 | 6879398 | 719 19509 | 0 | 0 1791.52/1792.03 c 1792s | 25 | 7035165 | 6886998 | 719 19526 | 0 | 0 1793.51/1794.05 c 1794s | 25 | 7042656 | 6894298 | 719 19544 | 0 | 0 1795.51/1796.06 c 1796s | 25 | 7050175 | 6901598 | 719 19561 | 0 | 0 1797.51/1798.09 c 1798s | 25 | 7057675 | 6908898 | 719 19578 | 0 | 0 1799.61/1800.11 c 1800s | 25 | 7065518 | 6916498 | 719 19596 | 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-4105585-1466251980/watcher-4105585-1466251980 -o /tmp/evaluation-result-4105585-1466251980/solver-4105585-1466251980 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105585-1466251980.opb pid=23573 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 2.00 2.00 3/179 23576 /proc/meminfo: memFree=30579348/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=723388 CPUtime=0 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 2700 0 0 0 0 0 0 0 20 0 4 0 27247925 740749312 2550 33554432000 4194304 16246674 140737359132592 140737359132016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 181359 2560 441 2943 0 178253 0 [pid=23576/tid=23577] ppid=23573 vsize=740796 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 758575104 2618 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=744892 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 762769408 2633 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=748988 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27247925 766963712 2651 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100168 s] /proc/loadavg: 1.99 2.00 2.00 3/179 23576 /proc/meminfo: memFree=30579348/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 21450 0 0 0 6 3 0 0 20 0 4 0 27247925 1247350784 21287 33554432000 4194304 16246674 140737359132592 140737359132016 5711820 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 304529 21291 770 2943 0 301423 0 [pid=23576/tid=23577] ppid=23573 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1247350784 21294 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1247350784 21297 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27247925 1247350784 21301 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200453 s] /proc/loadavg: 1.99 2.00 2.00 3/179 23576 /proc/meminfo: memFree=30579348/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 40789 0 0 0 13 5 0 0 20 0 4 0 27247925 1247350784 40625 33554432000 4194304 16246674 140737359132592 140737359132016 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 304529 40632 770 2943 0 301423 0 [pid=23576/tid=23577] ppid=23573 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1247350784 40637 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1247350784 40641 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27247925 1247350784 40644 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300481 s] /proc/loadavg: 1.99 2.00 2.00 3/179 23576 /proc/meminfo: memFree=30579348/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 58505 0 0 0 21 8 0 0 20 0 4 0 27247925 1247350784 58341 33554432000 4194304 16246674 140737359132592 140737359132016 5721708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 304529 58355 770 2943 0 301423 0 [pid=23576/tid=23577] ppid=23573 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1247350784 58362 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1247350784 58368 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27247925 1247350784 58372 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700417 s] /proc/loadavg: 1.99 2.00 2.00 3/179 23576 /proc/meminfo: memFree=30579348/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 133772 0 0 0 52 17 0 0 20 0 4 0 27247925 1247350784 133608 33554432000 4194304 16246674 140737359132592 140737359114496 5601873 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 304529 133609 770 2943 0 301423 0 [pid=23576/tid=23577] ppid=23573 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1247350784 133613 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1247350784 133618 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27247925 1247350784 133621 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50045 s] /proc/loadavg: 1.99 2.00 2.00 3/183 23580 /proc/meminfo: memFree=29734668/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 245693 0 0 0 117 32 0 0 20 0 4 0 27247925 1248399360 245507 33554432000 4194304 16246674 140737359132592 140737359114496 5822416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 304785 245507 833 2943 0 301679 0 [pid=23576/tid=23577] ppid=23573 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1248399360 245507 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1248399360 245507 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1248399360 245507 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10045 s] /proc/loadavg: 1.99 2.00 2.00 3/183 23580 /proc/meminfo: memFree=29511700/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 267514 0 0 0 275 34 0 0 20 0 4 0 27247925 1337528320 267328 33554432000 4194304 16246674 140737359132592 140737359114496 12478258 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 326545 267328 835 2943 0 323439 0 [pid=23576/tid=23577] ppid=23573 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1337528320 267328 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1337528320 267328 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1337528320 267328 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30045 s] /proc/loadavg: 1.99 2.00 2.00 3/183 23580 /proc/meminfo: memFree=29510252/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 267547 0 0 0 595 34 0 0 20 0 4 0 27247925 1337528320 267361 33554432000 4194304 16246674 140737359132592 140737359115592 12483624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 326545 267361 835 2943 0 323439 0 [pid=23576/tid=23577] ppid=23573 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1337528320 267361 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1337528320 267361 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1337528320 267361 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.99 2.00 2.00 3/183 23580 /proc/meminfo: memFree=29510208/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1306180 CPUtime=12.69 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 267547 0 0 0 1235 34 0 0 20 0 4 0 27247925 1337528320 267361 33554432000 4194304 16246674 140737359132592 140737359115592 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 326545 267361 835 2943 0 323439 0 [pid=23576/tid=23577] ppid=23573 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1337528320 267361 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1337528320 267361 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1337528320 267361 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.99 2.00 2.00 3/183 23580 /proc/meminfo: memFree=29507976/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1307204 CPUtime=25.48 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 267754 0 0 0 2514 34 0 0 20 0 4 0 27247925 1338576896 267568 33554432000 4194304 16246674 140737359132592 140737359115592 12415751 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 326801 267568 836 2943 0 323695 0 [pid=23576/tid=23577] ppid=23573 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1338576896 267568 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1338576896 267568 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1338576896 267568 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 1.99 2.00 2.00 3/183 23580 /proc/meminfo: memFree=29507700/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1307204 CPUtime=51.08 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 267883 0 0 0 5074 34 0 0 20 0 4 0 27247925 1338576896 267697 33554432000 4194304 16246674 140737359132592 140737359114496 6021162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 326801 267697 836 2943 0 323695 0 [pid=23576/tid=23577] ppid=23573 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1338576896 267697 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1338576896 267697 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1338576896 267697 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1307204 [startup+102.3 s] /proc/loadavg: 1.99 2.00 2.00 3/183 23581 /proc/meminfo: memFree=29507232/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1307204 CPUtime=102.28 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 267883 0 0 0 10193 35 0 0 20 0 4 0 27247925 1338576896 267697 33554432000 4194304 16246674 140737359132592 140737359114496 6012196 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 326801 267697 836 2943 0 323695 0 [pid=23576/tid=23577] ppid=23573 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1338576896 267697 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1338576896 267697 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1338576896 267697 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1307204 ################ # More data... # ################ /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1308228 [startup+1362.3 s] /proc/loadavg: 2.03 2.09 2.03 3/183 23613 /proc/meminfo: memFree=29503764/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1308228 CPUtime=1361.88 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 268418 0 0 0 136140 48 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140737359131688 6836953 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 327057 267811 838 2943 0 323951 0 [pid=23576/tid=23577] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1308228 [startup+1422.3 s] /proc/loadavg: 2.04 2.09 2.03 4/183 23614 /proc/meminfo: memFree=29504012/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1308228 CPUtime=1421.87 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 268418 0 0 0 142139 48 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140737359114496 12415747 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 327057 267811 838 2943 0 323951 0 [pid=23576/tid=23577] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1308228 [startup+1482.3 s] /proc/loadavg: 2.01 2.07 2.03 3/183 23615 /proc/meminfo: memFree=29504260/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1308228 CPUtime=1481.86 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 268418 0 0 0 148137 49 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140737359114496 6046149 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 327057 267811 838 2943 0 323951 0 [pid=23576/tid=23577] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1308228 [startup+1542.31 s] /proc/loadavg: 2.00 2.05 2.02 3/183 23616 /proc/meminfo: memFree=29504008/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1308228 CPUtime=1541.85 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 268418 0 0 0 154136 49 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140737359114496 13191840 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 327057 267811 838 2943 0 323951 0 [pid=23576/tid=23577] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1308228 [startup+1602.3 s] /proc/loadavg: 2.00 2.04 2.02 3/183 23617 /proc/meminfo: memFree=29504140/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1308228 CPUtime=1601.84 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 268418 0 0 0 160134 50 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140737359114496 12483303 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 327057 267811 838 2943 0 323951 0 [pid=23576/tid=23577] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1308228 [startup+1662.3 s] /proc/loadavg: 2.00 2.03 2.01 3/184 23622 /proc/meminfo: memFree=29504144/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1308228 CPUtime=1661.83 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 268418 0 0 0 166132 51 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140737359115592 6021312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 327057 267811 838 2943 0 323951 0 [pid=23576/tid=23577] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1308228 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 23623 /proc/meminfo: memFree=29504156/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1308228 CPUtime=1721.82 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 268418 0 0 0 172131 51 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140737359114496 6010629 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 327057 267811 838 2943 0 323951 0 [pid=23576/tid=23577] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1308228 [startup+1782.3 s] /proc/loadavg: 2.14 2.05 2.01 4/183 23624 /proc/meminfo: memFree=29504036/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1308228 CPUtime=1781.82 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 268418 0 0 0 178130 52 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140737359115592 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 327057 267811 838 2943 0 323951 0 [pid=23576/tid=23577] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1308228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.18 2.06 2.01 3/183 23673 /proc/meminfo: memFree=29503516/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1308228 CPUtime=1800.01 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 268418 0 0 0 179949 52 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140737359114496 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 327057 267811 838 2943 0 323951 0 [pid=23576/tid=23577] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 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 23576 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.18 2.06 2.01 3/183 23673 /proc/meminfo: memFree=29503516/32872528 swapFree=163656/177964 [pid=23576] ppid=23573 vsize=1308228 CPUtime=1800.01 cores=0,2,4,6 /proc/23576/stat : 23576 (toysat) R 23573 23576 20760 0 -1 4202496 268418 0 0 0 179949 52 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140737359114496 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23576/statm: 327057 267811 838 2943 0 323951 0 [pid=23576/tid=23577] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23577/stat : 23577 (toysat) S 23573 23576 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434960526576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23576/tid=23578] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23578/stat : 23578 (toysat) S 23573 23576 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434950036720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23576/tid=23579] ppid=23573 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/23576/task/23579/stat : 23579 (toysat) S 23573 23576 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27247925 1339625472 267811 33554432000 4194304 16246674 140737359132592 140434939563184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1308228 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.5 CPU system time (s): 0.52192 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1308228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.5 system time used= 0.52192 maximum resident set size= 1071244 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268418 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= 435 involuntary context switches= 1963 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.5657 second user time and 8.16076 second system time The end
Begin job on node105 at 2016-06-18 14:13:00 IDJOB=4105585 IDBENCH=2918 IDSOLVER=2542 FILE ID=node105/4105585-1466251980 RUNJOBID= node105-1466229502-20776 PBS_JOBID= 19918174 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105585-1466251980/watcher-4105585-1466251980 -o /tmp/evaluation-result-4105585-1466251980/solver-4105585-1466251980 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105585-1466251980.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7b9886d41278c23acb93039c546a310e RANDOM SEED=851971084 node105.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.561 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.12 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.561 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.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.54 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.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30580264 kB Buffers: 109732 kB Cached: 196176 kB SwapCached: 1676 kB Active: 1162368 kB Inactive: 215072 kB Active(anon): 1069364 kB Inactive(anon): 4412 kB Active(file): 93004 kB Inactive(file): 210660 kB Unevictable: 177964 kB Mlocked: 163656 kB SwapTotal: 67108856 kB SwapFree: 67097160 kB Dirty: 32960 kB Writeback: 4 kB AnonPages: 1248576 kB Mapped: 10432 kB Shmem: 0 kB Slab: 604180 kB SReclaimable: 47772 kB SUnreclaim: 556408 kB KernelStack: 1496 kB PageTables: 6820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1395228 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node105 at 2016-06-18 14:43:01