| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_4.opb |
| MD5SUM | 169f1f6799c5c0fd2a1b0aca08165f42 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -47 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -59 |
| Optimality of the best value was proved | NO |
| Number of variables | 400 |
| Total number of constraints | 601 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 5048 |
| Sum of products size (including duplicates) | 10096 |
| Number of different products | 2524 |
| Sum of products size | 5048 |
0.00/0.00 c 2016-06-07T03:01:39+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-4080098-1465261299.opb"] 0.00/0.01 c use --random-gen="1422661097 1951915513 396647642 3926665001 2698385524 1840653928 3766068969 3239423745 762507616 1932024159 266689899 820438541 490455867 1276242546 1477794828 58215780 550231295 4111076615 3451927363 3923157415 628821575 674432671 2569369159 4190590164 1936460498 4251149531 3844314463 3014241548 2622350853 1799350039 2847963166 481456709 2202126769 3162233387 2216011626 4017787757 2022005279 4029666309 1757292012 970218617 4099099838 180577391 3196374246 3223453375 414211649 1581919917 4011540573 3333870559 2661765944 2054393337 168390275 3482410510 1808019800 3611972335 1816081716 1162936145 3030404520 3428325940 947370957 1992191883 173125412 2059329542 1453436026 575187050 1163826279 2290743883 783145615 1616765487 189735748 1332951816 2628998757 2332946312 3847161180 1916570917 131887575 1400616060 364090089 2189555844 2310024711 3945808146 1498100712 1568869633 2825579021 906788079 336927458 1376034895 4235021098 2939595412 3239689831 960730178 2029497289 3767698722 112731668 2224813161 3473536358 2537403004 906760448 837820436 1860133249 2628108858 1016959645 3445324610 3052305385 2966910430 2726037289 394606267 875088022 2170328708 779828551 122510179 1953912338 3320176694 2440369648 1340089775 2050524730 646247238 3581101271 3587335903 3909145020 1433429570 1331368486 3340542033 2973666547 2708120144 708342629 1940201973 4061990993 1695324206 3800843721 2881434337 4150389736 1696041575 3796211082 1566102565 50836386 2215459587 3912646094 486374808 397643918 2206818182 1730432740 104142377 1334019745 264593184 430967798 1309574838 382925439 4091035338 1870842511 1256083832 2844475804 2482721281 1579173956 1578364720 3430212925 1556128491 1204459373 2672486000 1335818798 2491390187 1730904308 326038613 3791701944 3988833596 166462453 159571148 422117751 1777941352 597734824 3260209580 2913597234 2078920596 159284258 41788402 1984504610 3840868950 1402537057 1368995953 3394937057 89986574 2699691789 307443703 2704854159 3677953134 3847719324 3595279742 494337023 2546105407 162203428 2303404817 2523782072 2823965390 265333341 2375847170 1188473492 2322018623 332606080 3683655017 4232949177 2605831830 1070870235 219972780 1866283342 1872701302 3028622008 3757237155 3521332191 1616436078 3142589810 978938994 1926627676 3256880131 429836084 3966936806 3167328417 751804902 2292407822 380265119 3350695523 3657758493 2472763427 3328709533 2548000612 403468000 2814671600 3372606041 386743448 543906535 4221838295 2374959112 3714655951 2562559764 1886552372 3824794972 1482827086 2113533956 146609857 3911952629 3836788558 4006862269 4260092139 2396943077 3147577044 2181519362 575147102 3560525325 3492998142 1924394565 2556979113 3130498021 2331382029 64696419 3400440539 201977649 4052876234 4106276665 255 362436" option to reproduce the execution 0.00/0.03 c #vars 400 0.00/0.03 c #constraints 601 0.00/0.09 c BCD2: Hardening is enabled. 0.00/0.09 c BCD2: BiasedSearch is enabled. 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 2016 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 300 | 1 | 2016 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.005s 0.09/0.11 c #wall_clock_time = 0.005s 0.09/0.11 c #decision = 300 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 1 0.09/0.11 c #restart = 0 0.09/0.11 o -32 0.09/0.11 c BCD2: updating upper bound: 200 -> 167 0.09/0.11 c BCD2: 0 <= obj <= 167 0.09/0.11 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2016 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 100 | 1 | 2016 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.004s 0.09/0.11 c #wall_clock_time = 0.004s 0.09/0.11 c #decision = 100 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 1 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 100: cost of the new core is >=1 0.09/0.11 c lower bound updated to -199 0.09/0.11 c BCD2: 1 <= obj <= 167 0.09/0.11 c BCD2: #cores=1, #unrelaxed=100, #relaxed=100, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2016 0 | 0 | 0 0.09/0.12 c 0.0s | 0 | 101 | 1 | 2016 0 | 0 | 0 0.09/0.12 c #cpu_time = 0.009s 0.09/0.12 c #wall_clock_time = 0.009s 0.09/0.12 c #decision = 101 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 1 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: relaxing 100 and merging with 1 cores into a new core of size 200: cost of the new core is >=2 0.09/0.12 c lower bound updated to -198 0.09/0.12 c BCD2: 2 <= obj <= 167 0.09/0.12 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 2016 0 | 1 | 0 0.09/0.16 c 0.0s | 1 | 2639 | 100 | 2218 0 | 1 | 1 0.39/0.41 c 0.3s | 2 | 9728 | 250 | 2440 0 | 1 | 1 0.99/1.02 c 0.9s | 3 | 14437 | 475 | 2684 0 | 1 | 1 1.38/1.42 c 1.3s | 4 | 19831 | 813 | 2953 0 | 1 | 1 1.99/2.06 c 1.9s | 5 | 27529 | 1320 | 3249 0 | 1 | 1 2.99/3.08 c 3.0s | 6 | 34463 | 2081 | 3574 0 | 1 | 1 4.50/4.51 c 4.4s | 7 | 52810 | 3223 | 3932 0 | 1 | 1 6.49/6.59 c 6.5s | 7 | 74614 | 4723 | 3932 1 | 1 | 1 6.89/6.90 c 6.8s | 8 | 76701 | 4936 | 4326 1 | 1 | 1 8.90/8.98 c 8.9s | 8 | 110970 | 6536 | 4326 1 | 1 | 1 9.69/9.78 c 9.7s | 9 | 131914 | 7506 | 4759 2 | 1 | 1 11.79/11.80 c 11.7s | 9 | 166315 | 9306 | 4759 2 | 1 | 1 13.78/13.81 c 13.7s | 10 | 208666 | 11361 | 5235 3 | 1 | 1 15.89/15.91 c 15.8s | 10 | 222514 | 12761 | 5235 4 | 1 | 1 17.89/17.97 c 17.8s | 10 | 271351 | 14761 | 5235 4 | 1 | 1 19.80/19.84 c 19.7s | 11 | 324837 | 17144 | 5759 5 | 1 | 1 21.78/21.85 c 21.7s | 11 | 361699 | 18844 | 5759 6 | 1 | 1 23.88/23.90 c 23.8s | 11 | 412875 | 20744 | 5759 6 | 1 | 1 25.89/25.96 c 25.8s | 11 | 469937 | 22944 | 5759 7 | 1 | 1 27.88/27.96 c 27.8s | 11 | 507025 | 24644 | 5759 8 | 1 | 1 28.59/28.67 c 28.5s | 12 | 526539 | 25819 | 6335 8 | 1 | 1 30.68/30.70 c 30.6s | 12 | 552887 | 27519 | 6335 9 | 1 | 1 32.69/32.76 c 32.6s | 12 | 590482 | 29719 | 6335 9 | 1 | 1 34.69/34.78 c 34.7s | 12 | 632155 | 31619 | 6335 10 | 1 | 1 36.79/36.89 c 36.8s | 12 | 665091 | 33719 | 6335 10 | 1 | 1 38.98/39.01 c 38.9s | 12 | 711321 | 35519 | 6335 11 | 1 | 1 40.98/41.02 c 40.9s | 12 | 763309 | 37519 | 6335 12 | 1 | 1 42.18/42.28 c 42.2s | 13 | 786511 | 38832 | 6969 12 | 1 | 1 44.28/44.34 c 44.2s | 13 | 829485 | 40832 | 6969 12 | 1 | 1 46.29/46.36 c 46.2s | 13 | 877463 | 42932 | 6969 13 | 1 | 1 48.39/48.44 c 48.3s | 13 | 923185 | 44632 | 6969 14 | 1 | 1 50.38/50.49 c 50.4s | 13 | 1000334 | 47132 | 6969 14 | 1 | 1 52.48/52.57 c 52.5s | 13 | 1040688 | 49232 | 6969 15 | 1 | 1 54.59/54.66 c 54.5s | 13 | 1073460 | 51232 | 6969 15 | 1 | 1 56.68/56.71 c 56.6s | 13 | 1118912 | 53032 | 6969 16 | 1 | 1 58.68/58.71 c 58.6s | 13 | 1160522 | 55232 | 6969 17 | 1 | 1 60.78/60.82 c 60.7s | 13 | 1178145 | 56932 | 6969 17 | 1 | 1 62.69/62.80 c 62.7s | 14 | 1198405 | 58352 | 7666 17 | 1 | 1 64.78/64.86 c 64.7s | 14 | 1223452 | 60252 | 7666 18 | 1 | 1 66.98/67.00 c 66.9s | 14 | 1241048 | 62252 | 7666 18 | 1 | 1 68.98/69.02 c 68.9s | 14 | 1277878 | 63652 | 7666 19 | 1 | 1 71.07/71.10 c 71.0s | 14 | 1338198 | 66152 | 7666 19 | 1 | 1 73.38/73.40 c 73.3s | 14 | 1405970 | 67952 | 7666 20 | 1 | 1 75.37/75.43 c 75.3s | 14 | 1446659 | 69452 | 7666 20 | 1 | 1 77.38/77.46 c 77.3s | 14 | 1476457 | 71252 | 7666 21 | 1 | 1 79.38/79.47 c 79.3s | 14 | 1520258 | 73252 | 7666 21 | 1 | 1 81.49/81.56 c 81.4s | 14 | 1582349 | 75252 | 7666 22 | 1 | 1 83.58/83.64 c 83.5s | 14 | 1637980 | 77052 | 7666 22 | 1 | 1 85.68/85.76 c 85.6s | 14 | 1682963 | 79052 | 7666 23 | 1 | 1 87.67/87.77 c 87.6s | 14 | 1720795 | 80952 | 7666 23 | 1 | 1 89.77/89.83 c 89.7s | 14 | 1767157 | 82952 | 7666 24 | 1 | 1 91.78/91.85 c 91.7s | 14 | 1802243 | 84952 | 7666 24 | 1 | 1 93.88/93.91 c 93.8s | 14 | 1852842 | 86952 | 7666 25 | 1 | 1 94.58/94.64 c 94.5s | 15 | 1869550 | 87632 | 8433 25 | 1 | 1 96.68/96.70 c 96.6s | 15 | 1878558 | 88632 | 8433 25 | 1 | 1 98.77/98.83 c 98.7s | 15 | 1911240 | 90232 | 8433 25 | 1 | 1 100.87/100.93 c 100s | 15 | 1945907 | 92332 | 8433 26 | 1 | 1 102.87/102.99 c 102s | 15 | 1988631 | 93932 | 8433 26 | 1 | 1 104.97/105.00 c 104s | 15 | 2034140 | 95632 | 8433 26 | 1 | 1 107.08/107.11 c 106s | 15 | 2085854 | 97932 | 8433 27 | 1 | 1 109.08/109.11 c 108s | 15 | 2135498 | 99432 | 8433 27 | 1 | 1 111.08/111.18 c 111s | 15 | 2191527 | 101132 | 8433 28 | 1 | 1 113.17/113.22 c 113s | 15 | 2248442 | 103532 | 8433 28 | 1 | 1 115.17/115.24 c 115s | 15 | 2288835 | 105432 | 8433 29 | 1 | 1 117.27/117.35 c 117s | 15 | 2335310 | 107332 | 8433 29 | 1 | 1 119.37/119.43 c 119s | 15 | 2359891 | 109032 | 8433 30 | 1 | 1 121.37/121.45 c 121s | 15 | 2386790 | 110932 | 8433 30 | 1 | 1 123.38/123.49 c 123s | 15 | 2400858 | 112732 | 8433 30 | 1 | 1 125.48/125.54 c 125s | 15 | 2426644 | 114632 | 8433 31 | 1 | 1 127.47/127.54 c 127s | 15 | 2443938 | 116532 | 8433 31 | 1 | 1 129.47/129.58 c 129s | 15 | 2471566 | 118032 | 8433 32 | 1 | 1 131.67/131.71 c 131s | 15 | 2486703 | 119932 | 8433 32 | 1 | 1 133.67/133.73 c 133s | 15 | 2514855 | 121932 | 8433 33 | 1 | 1 135.67/135.78 c 135s | 15 | 2540984 | 123832 | 8433 33 | 1 | 1 137.77/137.83 c 137s | 15 | 2557564 | 125832 | 8433 33 | 1 | 1 139.77/139.88 c 139s | 15 | 2585531 | 127832 | 8433 34 | 1 | 1 141.87/141.96 c 141s | 15 | 2606772 | 129932 | 8433 34 | 1 | 1 143.56/143.63 c 143s | 16 | 2617215 | 131552 | 9277 35 | 1 | 1 145.86/145.94 c 145s | 16 | 2631755 | 132652 | 9277 35 | 1 | 1 147.87/147.96 c 147s | 16 | 2693810 | 134552 | 9277 35 | 1 | 1 149.87/149.97 c 149s | 16 | 2751236 | 136652 | 9277 36 | 1 | 1 151.96/152.02 c 151s | 16 | 2792956 | 138552 | 9277 36 | 1 | 1 153.97/154.04 c 153s | 16 | 2846925 | 140252 | 9277 37 | 1 | 1 155.96/156.05 c 155s | 16 | 2858189 | 142052 | 9277 37 | 1 | 1 158.07/158.13 c 158s | 16 | 2898526 | 143652 | 9277 37 | 1 | 1 160.07/160.15 c 160s | 16 | 2909394 | 145052 | 9277 38 | 1 | 1 162.07/162.19 c 162s | 16 | 2915803 | 146852 | 9277 38 | 1 | 1 164.17/164.22 c 164s | 16 | 2928321 | 149252 | 9277 38 | 1 | 1 166.17/166.25 c 166s | 16 | 2951501 | 151652 | 9277 39 | 1 | 1 168.17/168.29 c 168s | 16 | 2975617 | 153952 | 9277 39 | 1 | 1 170.27/170.36 c 170s | 16 | 3002107 | 155852 | 9277 40 | 1 | 1 172.26/172.36 c 172s | 16 | 3034255 | 157852 | 9277 40 | 1 | 1 174.36/174.45 c 174s | 16 | 3048159 | 159552 | 9277 41 | 1 | 1 176.46/176.53 c 176s | 16 | 3069333 | 161452 | 9277 41 | 1 | 1 178.46/178.55 c 178s | 16 | 3084031 | 163152 | 9277 41 | 1 | 1 180.47/180.57 c 180s | 16 | 3115691 | 165052 | 9277 42 | 1 | 1 182.57/182.66 c 182s | 16 | 3137424 | 167052 | 9277 42 | 1 | 1 184.66/184.73 c 184s | 16 | 3169428 | 169052 | 9277 43 | 1 | 1 186.76/186.80 c 186s | 16 | 3192842 | 171052 | 9277 43 | 1 | 1 188.76/188.88 c 188s | 16 | 3218678 | 173052 | 9277 43 | 1 | 1 190.86/190.97 c 190s | 16 | 3249376 | 175252 | 9277 44 | 1 | 1 192.96/193.02 c 192s | 16 | 3266064 | 177152 | 9277 44 | 1 | 1 194.96/195.05 c 194s | 16 | 3275215 | 178952 | 9277 45 | 1 | 1 197.06/197.13 c 197s | 16 | 3285477 | 180952 | 9277 45 | 1 | 1 199.17/199.21 c 199s | 16 | 3298640 | 182452 | 9277 45 | 1 | 1 201.16/201.23 c 201s | 16 | 3324476 | 184552 | 9277 46 | 1 | 1 203.26/203.33 c 203s | 16 | 3343845 | 186652 | 9277 46 | 1 | 1 205.36/205.42 c 205s | 16 | 3365270 | 188752 | 9277 47 | 1 | 1 207.36/207.47 c 207s | 16 | 3382978 | 190552 | 9277 47 | 1 | 1 209.46/209.50 c 209s | 16 | 3394893 | 191952 | 9277 48 | 1 | 1 211.46/211.55 c 211s | 16 | 3426964 | 193952 | 9277 48 | 1 | 1 213.56/213.62 c 213s | 16 | 3449591 | 195452 | 9277 48 | 1 | 1 215.56/215.67 c 215s | 16 | 3476218 | 197252 | 10205 48 | 1 | 1 215.86/215.91 c 215s | 17 | 3478322 | 197432 | 10205 48 | 1 | 1 217.95/218.06 c 217s | 17 | 3500028 | 198532 | 10205 49 | 1 | 1 220.06/220.13 c 220s | 17 | 3537309 | 200332 | 10205 49 | 1 | 1 222.05/222.17 c 222s | 17 | 3578704 | 201832 | 10205 49 | 1 | 1 224.15/224.21 c 224s | 17 | 3608830 | 203332 | 10205 50 | 1 | 1 226.26/226.31 c 226s | 17 | 3645119 | 205332 | 10205 50 | 1 | 1 228.36/228.47 c 228s | 17 | 3682151 | 206932 | 10205 50 | 1 | 1 230.46/230.53 c 230s | 17 | 3705556 | 208132 | 10205 51 | 1 | 1 232.45/232.57 c 232s | 17 | 3727827 | 209732 | 10205 51 | 1 | 1 234.55/234.69 c 234s | 17 | 3762749 | 211332 | 10205 51 | 1 | 1 236.65/236.72 c 236s | 17 | 3780804 | 212532 | 10205 51 | 1 | 1 238.76/238.85 c 238s | 17 | 3794623 | 214032 | 10205 52 | 1 | 1 240.75/240.86 c 240s | 17 | 3817699 | 215632 | 10205 52 | 1 | 1 242.75/242.86 c 242s | 17 | 3829612 | 216932 | 10205 52 | 1 | 1 244.86/244.94 c 244s | 17 | 3840720 | 218432 | 10205 52 | 1 | 1 246.86/246.99 c 246s | 17 | 3856036 | 219732 | 10205 53 | 1 | 1 248.95/249.03 c 248s | 17 | 3875144 | 221032 | 10205 53 | 1 | 1 250.95/251.06 c 250s | 17 | 3912744 | 222332 | 10205 53 | 1 | 1 253.06/253.13 c 253s | 17 | 3937691 | 223832 | 10205 54 | 1 | 1 255.16/255.25 c 255s | 17 | 3979377 | 225532 | 10205 54 | 1 | 1 257.25/257.33 c 257s | 17 | 4004467 | 227432 | 10205 54 | 1 | 1 259.35/259.41 c 259s | 17 | 4023954 | 229232 | 10205 55 | 1 | 1 261.35/261.47 c 261s | 17 | 4053298 | 231432 | 10205 55 | 1 | 1 263.45/263.52 c 263s | 17 | 4072440 | 233132 | 10205 55 | 1 | 1 265.54/265.60 c 265s | 17 | 4098003 | 235032 | 10205 56 | 1 | 1 267.54/267.61 c 267s | 17 | 4107695 | 236732 | 10205 56 | 1 | 1 269.56/269.64 c 269s | 17 | 4119700 | 238332 | 10205 56 | 1 | 1 271.66/271.73 c 271s | 17 | 4137603 | 240232 | 10205 57 | 1 | 1 273.75/273.86 c 273s | 17 | 4149254 | 242032 | 10205 57 | 1 | 1 275.85/275.98 c 275s | 17 | 4163091 | 243932 | 10205 57 | 1 | 1 277.85/277.98 c 277s | 17 | 4172158 | 245632 | 10205 58 | 1 | 1 279.95/280.04 c 279s | 17 | 4176904 | 247332 | 10205 58 | 1 | 1 281.95/282.06 c 281s | 17 | 4188951 | 248832 | 10205 58 | 1 | 1 284.05/284.11 c 283s | 17 | 4205783 | 250432 | 10205 59 | 1 | 1 286.05/286.11 c 285s | 17 | 4228559 | 252132 | 10205 59 | 1 | 1 288.05/288.19 c 288s | 17 | 4249522 | 253932 | 10205 59 | 1 | 1 290.25/290.30 c 290s | 17 | 4271063 | 255632 | 10205 60 | 1 | 1 292.34/292.43 c 292s | 17 | 4303685 | 257632 | 10205 60 | 1 | 1 294.34/294.48 c 294s | 17 | 4327207 | 259532 | 10205 60 | 1 | 1 296.44/296.53 c 296s | 17 | 4350703 | 261032 | 10205 61 | 1 | 1 298.44/298.53 c 298s | 17 | 4370155 | 262532 | 10205 61 | 1 | 1 300.44/300.55 c 300s | 17 | 4389062 | 264032 | 10205 61 | 1 | 1 302.65/302.70 c 302s | 17 | 4410487 | 265532 | 10205 62 | 1 | 1 304.65/304.72 c 304s | 17 | 4436239 | 267132 | 10205 62 | 1 | 1 306.75/306.80 c 306s | 17 | 4445974 | 268732 | 10205 62 | 1 | 1 308.75/308.84 c 308s | 17 | 4476088 | 270432 | 10205 62 | 1 | 1 310.85/310.90 c 310s | 17 | 4486892 | 272232 | 10205 63 | 1 | 1 312.84/312.94 c 312s | 17 | 4511270 | 273632 | 10205 63 | 1 | 1 314.94/315.00 c 314s | 17 | 4551029 | 275432 | 10205 63 | 1 | 1 317.34/317.43 c 317s | 17 | 4576542 | 276932 | 10205 64 | 1 | 1 319.44/319.50 c 319s | 17 | 4614705 | 278532 | 10205 64 | 1 | 1 321.44/321.54 c 321s | 17 | 4671118 | 280432 | 10205 64 | 1 | 1 323.54/323.63 c 323s | 17 | 4722609 | 281932 | 10205 65 | 1 | 1 325.54/325.68 c 325s | 17 | 4771024 | 284132 | 10205 65 | 1 | 1 327.64/327.77 c 327s | 17 | 4822637 | 285832 | 10205 65 | 1 | 1 329.74/329.83 c 329s | 17 | 4879290 | 287432 | 10205 66 | 1 | 1 331.74/331.89 c 331s | 17 | 4934673 | 289632 | 10205 66 | 1 | 1 333.83/333.94 c 333s | 17 | 4985848 | 291232 | 10205 67 | 1 | 1 335.84/335.95 c 335s | 17 | 5037287 | 293332 | 10205 67 | 1 | 1 337.94/338.01 c 337s | 17 | 5095421 | 295132 | 11226 67 | 1 | 1 339.34/339.48 c 339s | 18 | 5133971 | 296252 | 11226 67 | 1 | 1 341.44/341.55 c 341s | 18 | 5170994 | 298052 | 11226 68 | 1 | 1 343.54/343.61 c 343s | 18 | 5180850 | 300152 | 11226 68 | 1 | 1 345.54/345.65 c 345s | 18 | 5211714 | 302552 | 11226 68 | 1 | 1 347.54/347.70 c 347s | 18 | 5243893 | 304852 | 11226 69 | 1 | 1 349.63/349.71 c 349s | 18 | 5272710 | 306952 | 11226 69 | 1 | 1 351.63/351.75 c 351s | 18 | 5288167 | 308852 | 11226 69 | 1 | 1 353.74/353.81 c 353s | 18 | 5306471 | 310652 | 11226 70 | 1 | 1 355.74/355.86 c 355s | 18 | 5344982 | 312552 | 11226 70 | 1 | 1 357.74/357.88 c 357s | 18 | 5382743 | 314552 | 11226 70 | 1 | 1 359.83/359.95 c 359s | 18 | 5406757 | 316252 | 11226 71 | 1 | 1 361.84/361.97 c 361s | 18 | 5440537 | 318152 | 11226 71 | 1 | 1 363.93/364.01 c 363s | 18 | 5463002 | 319852 | 11226 71 | 1 | 1 366.03/366.11 c 365s | 18 | 5488280 | 321652 | 11226 72 | 1 | 1 368.03/368.11 c 367s | 18 | 5517991 | 323552 | 11226 72 | 1 | 1 370.03/370.17 c 370s | 18 | 5535592 | 325052 | 11226 72 | 1 | 1 372.13/372.20 c 372s | 18 | 5559315 | 326552 | 11226 73 | 1 | 1 374.13/374.28 c 374s | 18 | 5600446 | 328252 | 11226 73 | 1 | 1 376.13/376.28 c 376s | 18 | 5621582 | 329952 | 11226 73 | 1 | 1 378.23/378.33 c 378s | 18 | 5641011 | 331352 | 11226 73 | 1 | 1 380.24/380.34 c 380s | 18 | 5659770 | 332752 | 11226 74 | 1 | 1 382.24/382.38 c 382s | 18 | 5692058 | 334352 | 11226 74 | 1 | 1 384.33/384.46 c 384s | 18 | 5715644 | 336052 | 11226 74 | 1 | 1 386.43/386.51 c 386s | 18 | 5737864 | 337852 | 11226 75 | 1 | 1 388.43/388.57 c 388s | 18 | 5757302 | 339452 | 11226 75 | 1 | 1 390.44/390.57 c 390s | 18 | 5781756 | 341252 | 11226 75 | 1 | 1 392.74/392.83 c 392s | 18 | 5799979 | 343052 | 11226 76 | 1 | 1 394.84/394.91 c 394s | 18 | 5811882 | 344652 | 11226 76 | 1 | 1 396.93/397.01 c 396s | 18 | 5824114 | 346452 | 11226 76 | 1 | 1 398.93/399.04 c 398s | 18 | 5837418 | 347952 | 11226 76 | 1 | 1 401.03/401.11 c 400s | 18 | 5856638 | 349552 | 11226 77 | 1 | 1 403.02/403.17 c 403s | 18 | 5870589 | 351152 | 11226 77 | 1 | 1 405.12/405.29 c 405s | 18 | 5885117 | 352652 | 11226 77 | 1 | 1 407.22/407.35 c 407s | 18 | 5900809 | 354152 | 11226 77 | 1 | 1 409.24/409.39 c 409s | 18 | 5920878 | 355552 | 11226 78 | 1 | 1 411.34/411.46 c 411s | 18 | 5957122 | 357152 | 11226 78 | 1 | 1 413.43/413.54 c 413s | 18 | 5990563 | 358952 | 11226 78 | 1 | 1 415.43/415.54 c 415s | 18 | 6016071 | 360652 | 11226 79 | 1 | 1 417.53/417.63 c 417s | 18 | 6029542 | 361452 | 11226 79 | 1 | 1 419.52/419.66 c 419s | 18 | 6086398 | 363552 | 11226 79 | 1 | 1 421.62/421.75 c 421s | 18 | 6128724 | 365452 | 11226 79 | 1 | 1 423.73/423.82 c 423s | 18 | 6154392 | 366752 | 11226 80 | 1 | 1 425.74/425.82 c 425s | 18 | 6202725 | 368352 | 11226 80 | 1 | 1 427.84/427.92 c 427s | 18 | 6238201 | 370152 | 11226 80 | 1 | 1 429.83/429.98 c 429s | 18 | 6260771 | 371952 | 11226 81 | 1 | 1 431.92/432.02 c 431s | 18 | 6298506 | 373952 | 11226 81 | 1 | 1 433.92/434.05 c 433s | 18 | 6321892 | 375352 | 11226 81 | 1 | 1 435.92/436.09 c 435s | 18 | 6355432 | 376752 | 11226 81 | 1 | 1 438.02/438.19 c 438s | 18 | 6392527 | 378552 | 11226 82 | 1 | 1 440.22/440.31 c 440s | 18 | 6438427 | 380352 | 11226 82 | 1 | 1 442.23/442.39 c 442s | 18 | 6480927 | 381852 | 11226 82 | 1 | 1 444.33/444.44 c 444s | 18 | 6519321 | 383352 | 11226 83 | 1 | 1 446.42/446.59 c 446s | 18 | 6551921 | 385252 | 11226 83 | 1 | 1 448.52/448.61 c 448s | 18 | 6579044 | 386952 | 11226 83 | 1 | 1 450.63/450.71 c 450s | 18 | 6598659 | 388452 | 11226 83 | 1 | 1 452.72/452.81 c 452s | 18 | 6633244 | 389952 | 11226 84 | 1 | 1 454.72/454.89 c 454s | 18 | 6667277 | 391552 | 11226 84 | 1 | 1 456.82/456.91 c 456s | 18 | 6696656 | 393052 | 11226 84 | 1 | 1 458.82/458.94 c 458s | 18 | 6720381 | 394652 | 11226 85 | 1 | 1 461.02/461.13 c 461s | 18 | 6732579 | 396152 | 11226 85 | 1 | 1 463.02/463.17 c 463s | 18 | 6742442 | 397652 | 11226 85 | 1 | 1 465.12/465.21 c 465s | 18 | 6753417 | 399052 | 11226 85 | 1 | 1 467.22/467.32 c 467s | 18 | 6769032 | 400552 | 11226 86 | 1 | 1 469.21/469.38 c 469s | 18 | 6784129 | 401952 | 11226 86 | 1 | 1 471.31/471.42 c 471s | 18 | 6806584 | 403652 | 11226 86 | 1 | 1 473.41/473.53 c 473s | 18 | 6825949 | 405252 | 11226 86 | 1 | 1 475.42/475.55 c 475s | 18 | 6837462 | 406752 | 11226 87 | 1 | 1 477.52/477.68 c 477s | 18 | 6850232 | 408452 | 11226 87 | 1 | 1 479.53/479.70 c 479s | 18 | 6853632 | 409852 | 11226 87 | 1 | 1 481.62/481.75 c 481s | 18 | 6862118 | 411452 | 11226 87 | 1 | 1 483.62/483.79 c 483s | 18 | 6871347 | 412552 | 11226 88 | 1 | 1 485.72/485.87 c 485s | 18 | 6889839 | 414052 | 11226 88 | 1 | 1 488.81/488.90 c 488s | 18 | 6914463 | 415652 | 11226 88 | 1 | 1 490.91/491.01 c 490s | 18 | 6958739 | 417052 | 11226 88 | 1 | 1 492.91/493.09 c 492s | 18 | 6995060 | 418452 | 11226 89 | 1 | 1 495.22/495.32 c 495s | 18 | 7024594 | 420052 | 11226 89 | 1 | 1 497.32/497.44 c 497s | 18 | 7071564 | 421752 | 11226 89 | 1 | 1 499.32/499.46 c 499s | 18 | 7105960 | 422952 | 11226 89 | 1 | 1 501.41/501.56 c 501s | 18 | 7150019 | 424452 | 11226 90 | 1 | 1 503.51/503.61 c 503s | 18 | 7186069 | 426152 | 11226 90 | 1 | 1 505.51/505.64 c 505s | 18 | 7223353 | 427952 | 11226 90 | 1 | 1 507.51/507.69 c 507s | 18 | 7271650 | 429452 | 11226 91 | 1 | 1 509.62/509.73 c 509s | 18 | 7317812 | 430852 | 11226 91 | 1 | 1 511.62/511.77 c 511s | 18 | 7350107 | 432352 | 11226 91 | 1 | 1 513.72/513.80 c 513s | 18 | 7379799 | 433852 | 11226 91 | 1 | 1 515.82/515.91 c 515s | 18 | 7424572 | 435352 | 11226 92 | 1 | 1 517.81/517.92 c 517s | 18 | 7473372 | 436752 | 11226 92 | 1 | 1 519.82/519.94 c 519s | 18 | 7511004 | 438252 | 11226 92 | 1 | 1 521.91/522.04 c 521s | 18 | 7566601 | 440052 | 11226 92 | 1 | 1 524.01/524.15 c 524s | 18 | 7615250 | 441552 | 12349 93 | 1 | 1 526.01/526.18 c 526s | 18 | 7665256 | 442852 | 12349 93 | 1 | 1 527.81/527.92 c 527s | 19 | 7698388 | 444482 | 12349 93 | 1 | 1 529.81/529.97 c 529s | 19 | 7744419 | 446182 | 12349 93 | 1 | 1 531.81/531.98 c 531s | 19 | 7787616 | 447482 | 12349 94 | 1 | 1 534.11/534.22 c 534s | 19 | 7833716 | 448982 | 12349 94 | 1 | 1 536.11/536.22 c 536s | 19 | 7855809 | 450582 | 12349 94 | 1 | 1 538.71/538.83 c 538s | 19 | 7882724 | 451682 | 12349 94 | 1 | 1 540.90/541.03 c 540s | 19 | 7915484 | 453282 | 12349 95 | 1 | 1 543.01/543.13 c 543s | 19 | 7944892 | 454382 | 12349 95 | 1 | 1 545.11/545.28 c 545s | 19 | 7981443 | 455782 | 12349 95 | 1 | 1 547.21/547.34 c 547s | 19 | 8016170 | 456982 | 12349 95 | 1 | 1 549.21/549.36 c 549s | 19 | 8062157 | 458482 | 12349 95 | 1 | 1 551.21/551.37 c 551s | 19 | 8068108 | 459682 | 12349 96 | 1 | 1 553.31/553.43 c 553s | 19 | 8103357 | 460982 | 12349 96 | 1 | 1 555.41/555.56 c 555s | 19 | 8144405 | 462382 | 12349 96 | 1 | 1 557.40/557.58 c 557s | 19 | 8169427 | 463782 | 12349 96 | 1 | 1 559.50/559.65 c 559s | 19 | 8209834 | 465082 | 12349 96 | 1 | 1 561.60/561.72 c 561s | 19 | 8236086 | 466682 | 12349 97 | 1 | 1 563.60/563.79 c 563s | 19 | 8265293 | 467982 | 12349 97 | 1 | 1 565.70/565.89 c 565s | 19 | 8288673 | 469282 | 12349 97 | 1 | 1 567.90/568.03 c 567s | 19 | 8312910 | 470882 | 12349 97 | 1 | 1 569.90/570.06 c 569s | 19 | 8327633 | 472082 | 12349 97 | 1 | 1 571.91/572.07 c 571s | 19 | 8357319 | 473382 | 12349 98 | 1 | 1 574.01/574.14 c 574s | 19 | 8391894 | 475182 | 12349 98 | 1 | 1 576.10/576.24 c 576s | 19 | 8422696 | 476482 | 12349 98 | 1 | 1 578.20/578.33 c 578s | 19 | 8455387 | 477982 | 12349 98 | 1 | 1 580.30/580.43 c 580s | 19 | 8478987 | 479482 | 12349 99 | 1 | 1 582.40/582.53 c 582s | 19 | 8504553 | 480782 | 12349 99 | 1 | 1 584.40/584.55 c 584s | 19 | 8529528 | 482082 | 12349 99 | 1 | 1 586.50/586.62 c 586s | 19 | 8550598 | 483582 | 12349 99 | 1 | 1 588.51/588.68 c 588s | 19 | 8568486 | 484982 | 12349 100 | 1 | 1 590.61/590.73 c 590s | 19 | 8586134 | 486282 | 12349 100 | 1 | 1 592.70/592.85 c 592s | 19 | 8595465 | 487782 | 12349 100 | 1 | 1 594.70/594.88 c 594s | 19 | 8603656 | 488982 | 12349 100 | 1 | 1 596.90/597.03 c 596s | 19 | 8622148 | 490282 | 12349 100 | 1 | 1 599.00/599.12 c 599s | 19 | 8634984 | 491682 | 12349 101 | 1 | 1 601.09/601.23 c 601s | 19 | 8640304 | 492982 | 12349 101 | 1 | 1 603.10/603.29 c 603s | 19 | 8642021 | 494082 | 12349 101 | 1 | 1 605.30/605.47 c 605s | 19 | 8643298 | 495282 | 12349 101 | 1 | 1 607.40/607.56 c 607s | 19 | 8645218 | 496382 | 12349 101 | 1 | 1 609.41/609.58 c 609s | 19 | 8647051 | 497382 | 12349 101 | 1 | 1 611.51/611.68 c 611s | 19 | 8648913 | 498282 | 12349 102 | 1 | 1 613.81/613.92 c 613s | 19 | 8654963 | 499482 | 12349 102 | 1 | 1 615.80/615.94 c 615s | 19 | 8664962 | 500482 | 12349 102 | 1 | 1 617.90/618.00 c 617s | 19 | 8678937 | 501782 | 12349 102 | 1 | 1 619.90/620.07 c 619s | 19 | 8696562 | 502982 | 12349 102 | 1 | 1 622.40/622.53 c 622s | 19 | 8710113 | 503982 | 12349 103 | 1 | 1 625.10/625.27 c 625s | 19 | 8732615 | 505782 | 12349 103 | 1 | 1 627.49/627.65 c 627s | 19 | 8743309 | 506582 | 12349 103 | 1 | 1 629.59/629.73 c 629s | 19 | 8767806 | 507982 | 12349 103 | 1 | 1 631.69/631.80 c 631s | 19 | 8805093 | 509382 | 12349 103 | 1 | 1 633.79/633.94 c 633s | 19 | 8846772 | 510882 | 12349 104 | 1 | 1 635.89/636.08 c 635s | 19 | 8869157 | 511982 | 12349 104 | 1 | 1 638.00/638.15 c 638s | 19 | 8908395 | 513382 | 12349 104 | 1 | 1 640.10/640.28 c 640s | 19 | 8912278 | 514682 | 12349 104 | 1 | 1 642.10/642.28 c 642s | 19 | 8932186 | 515982 | 12349 104 | 1 | 1 644.20/644.37 c 644s | 19 | 8973938 | 517582 | 12349 105 | 1 | 1 646.39/646.53 c 646s | 19 | 9016131 | 518982 | 12349 105 | 1 | 1 648.39/648.55 c 648s | 19 | 9048583 | 520582 | 12349 105 | 1 | 1 650.39/650.57 c 650s | 19 | 9086730 | 521982 | 12349 105 | 1 | 1 652.49/652.69 c 652s | 19 | 9121833 | 523282 | 12349 106 | 1 | 1 654.59/654.77 c 654s | 19 | 9143948 | 524682 | 12349 106 | 1 | 1 656.70/656.89 c 656s | 19 | 9170359 | 526082 | 12349 106 | 1 | 1 658.80/658.96 c 658s | 19 | 9196920 | 527482 | 12349 106 | 1 | 1 660.89/661.02 c 660s | 19 | 9217978 | 528682 | 12349 106 | 1 | 1 662.99/663.12 c 662s | 19 | 9242299 | 529882 | 12349 107 | 1 | 1 664.99/665.12 c 665s | 19 | 9264974 | 531282 | 12349 107 | 1 | 1 667.09/667.21 c 667s | 19 | 9300353 | 532582 | 12349 107 | 1 | 1 669.09/669.24 c 669s | 19 | 9332623 | 533782 | 12349 107 | 1 | 1 671.19/671.30 c 671s | 19 | 9358173 | 535182 | 12349 108 | 1 | 1 673.20/673.33 c 673s | 19 | 9387273 | 536582 | 12349 108 | 1 | 1 675.19/675.40 c 675s | 19 | 9421014 | 538382 | 12349 108 | 1 | 1 677.39/677.55 c 677s | 19 | 9454448 | 539682 | 12349 108 | 1 | 1 679.49/679.69 c 679s | 19 | 9479645 | 541082 | 12349 108 | 1 | 1 681.68/681.84 c 681s | 19 | 9506206 | 542282 | 12349 109 | 1 | 1 683.69/683.84 c 683s | 19 | 9535475 | 543882 | 12349 109 | 1 | 1 685.79/685.96 c 685s | 19 | 9567533 | 545182 | 12349 109 | 1 | 1 687.89/688.02 c 687s | 19 | 9598303 | 546482 | 12349 109 | 1 | 1 690.19/690.30 c 690s | 19 | 9617040 | 547782 | 12349 110 | 1 | 1 692.29/692.40 c 692s | 19 | 9650150 | 549082 | 12349 110 | 1 | 1 694.39/694.53 c 694s | 19 | 9665334 | 550282 | 12349 110 | 1 | 1 696.49/696.64 c 696s | 19 | 9682796 | 551582 | 12349 110 | 1 | 1 698.49/698.69 c 698s | 19 | 9711178 | 552982 | 12349 110 | 1 | 1 700.78/700.90 c 700s | 19 | 9722546 | 554182 | 12349 111 | 1 | 1 702.79/702.92 c 702s | 19 | 9730686 | 555382 | 12349 111 | 1 | 1 704.78/704.97 c 704s | 19 | 9750378 | 556882 | 12349 111 | 1 | 1 706.88/707.02 c 706s | 19 | 9768064 | 557982 | 12349 111 | 1 | 1 708.88/709.06 c 708s | 19 | 9787821 | 559382 | 12349 111 | 1 | 1 711.08/711.21 c 711s | 19 | 9799904 | 560482 | 12349 112 | 1 | 1 713.18/713.36 c 713s | 19 | 9808839 | 561882 | 12349 112 | 1 | 1 715.28/715.45 c 715s | 19 | 9821532 | 563182 | 12349 112 | 1 | 1 717.38/717.58 c 717s | 19 | 9832277 | 564382 | 12349 112 | 1 | 1 719.48/719.62 c 719s | 19 | 9844492 | 565682 | 12349 112 | 1 | 1 721.68/721.87 c 721s | 19 | 9850181 | 566882 | 12349 113 | 1 | 1 723.88/724.02 c 723s | 19 | 9852277 | 567982 | 12349 113 | 1 | 1 726.08/726.20 c 726s | 19 | 9854088 | 569082 | 12349 113 | 1 | 1 728.08/728.28 c 728s | 19 | 9857872 | 570082 | 12349 113 | 1 | 1 730.17/730.39 c 730s | 19 | 9860432 | 571082 | 12349 113 | 1 | 1 732.67/732.85 c 732s | 19 | 9872596 | 572282 | 12349 113 | 1 | 1 734.98/735.13 c 735s | 19 | 9881541 | 572582 | 12349 113 | 1 | 1 736.98/737.15 c 737s | 19 | 9893909 | 573582 | 12349 114 | 1 | 1 739.08/739.22 c 739s | 19 | 9931572 | 575182 | 12349 114 | 1 | 1 741.07/741.25 c 741s | 19 | 9958148 | 576682 | 12349 114 | 1 | 1 743.07/743.29 c 743s | 19 | 9990228 | 577982 | 12349 114 | 1 | 1 745.17/745.31 c 745s | 19 | 10027522 | 579282 | 12349 114 | 1 | 1 747.17/747.32 c 747s | 19 | 10054117 | 580982 | 12349 115 | 1 | 1 749.27/749.43 c 749s | 19 | 10082774 | 582482 | 12349 115 | 1 | 1 751.28/751.47 c 751s | 19 | 10122289 | 583782 | 12349 115 | 1 | 1 753.38/753.55 c 753s | 19 | 10158302 | 585282 | 12349 115 | 1 | 1 755.47/755.67 c 755s | 19 | 10168135 | 586582 | 12349 116 | 1 | 1 757.56/757.76 c 757s | 19 | 10191797 | 587982 | 12349 116 | 1 | 1 759.67/759.87 c 759s | 19 | 10213346 | 589582 | 12349 116 | 1 | 1 761.87/762.04 c 761s | 19 | 10240217 | 591182 | 12349 116 | 1 | 1 763.87/764.05 c 763s | 19 | 10257708 | 592182 | 12349 117 | 1 | 1 765.87/766.06 c 765s | 19 | 10275911 | 593482 | 12349 117 | 1 | 1 767.96/768.14 c 768s | 19 | 10287440 | 594782 | 12349 117 | 1 | 1 770.06/770.24 c 770s | 19 | 10314582 | 596082 | 12349 117 | 1 | 1 772.26/772.40 c 772s | 19 | 10331193 | 597482 | 12349 117 | 1 | 1 774.37/774.52 c 774s | 19 | 10344326 | 598582 | 12349 118 | 1 | 1 776.36/776.59 c 776s | 19 | 10368730 | 599982 | 12349 118 | 1 | 1 778.45/778.68 c 778s | 19 | 10388965 | 601382 | 12349 118 | 1 | 1 780.55/780.79 c 780s | 19 | 10411171 | 602982 | 12349 118 | 1 | 1 782.65/782.89 c 782s | 19 | 10438624 | 604282 | 12349 118 | 1 | 1 784.65/784.89 c 784s | 19 | 10460030 | 605682 | 12349 119 | 1 | 1 786.76/786.98 c 786s | 19 | 10481923 | 607082 | 12349 119 | 1 | 1 788.85/789.06 c 788s | 19 | 10499277 | 608582 | 12349 119 | 1 | 1 790.95/791.15 c 791s | 19 | 10504278 | 609782 | 12349 119 | 1 | 1 793.15/793.35 c 793s | 19 | 10511550 | 611082 | 12349 120 | 1 | 1 795.35/795.51 c 795s | 19 | 10519514 | 612482 | 12349 120 | 1 | 1 797.35/797.55 c 797s | 19 | 10525075 | 613782 | 12349 120 | 1 | 1 799.34/799.59 c 799s | 19 | 10550002 | 615282 | 12349 120 | 1 | 1 801.44/801.68 c 801s | 19 | 10572056 | 616682 | 12349 120 | 1 | 1 803.54/803.76 c 803s | 19 | 10580193 | 617782 | 12349 121 | 1 | 1 805.64/805.85 c 805s | 19 | 10603400 | 619382 | 12349 121 | 1 | 1 808.04/808.27 c 808s | 19 | 10610459 | 619682 | 12349 121 | 1 | 1 810.14/810.35 c 810s | 19 | 10630976 | 621082 | 12349 121 | 1 | 1 812.24/812.49 c 812s | 19 | 10673056 | 622582 | 12349 121 | 1 | 1 814.24/814.50 c 814s | 19 | 10727869 | 624182 | 12349 122 | 1 | 1 816.34/816.53 c 816s | 19 | 10754070 | 625582 | 12349 122 | 1 | 1 818.44/818.66 c 818s | 19 | 10784975 | 627182 | 12349 122 | 1 | 1 820.44/820.67 c 820s | 19 | 10834051 | 628682 | 12349 122 | 1 | 1 822.53/822.78 c 822s | 19 | 10866762 | 630182 | 12349 123 | 1 | 1 824.63/824.85 c 824s | 19 | 10894601 | 631782 | 12349 123 | 1 | 1 826.63/826.86 c 826s | 19 | 10927941 | 633482 | 12349 123 | 1 | 1 828.63/828.88 c 828s | 19 | 10964451 | 634982 | 12349 123 | 1 | 1 830.83/831.01 c 830s | 19 | 10988678 | 636682 | 12349 124 | 1 | 1 832.83/833.05 c 832s | 19 | 11023527 | 638182 | 12349 124 | 1 | 1 834.94/835.12 c 835s | 19 | 11043376 | 639682 | 12349 124 | 1 | 1 837.04/837.26 c 837s | 19 | 11071112 | 641182 | 12349 124 | 1 | 1 839.03/839.27 c 839s | 19 | 11089183 | 642482 | 12349 124 | 1 | 1 841.23/841.43 c 841s | 19 | 11103817 | 643782 | 12349 125 | 1 | 1 843.33/843.54 c 843s | 19 | 11122202 | 645382 | 12349 125 | 1 | 1 845.53/845.73 c 845s | 19 | 11141453 | 646782 | 12349 125 | 1 | 1 847.53/847.77 c 847s | 19 | 11157815 | 648082 | 12349 125 | 1 | 1 849.63/849.89 c 849s | 19 | 11180207 | 649382 | 12349 126 | 1 | 1 851.72/851.95 c 851s | 19 | 11207965 | 650882 | 12349 126 | 1 | 1 853.82/854.05 c 853s | 19 | 11216523 | 652382 | 12349 126 | 1 | 1 856.02/856.24 c 856s | 19 | 11221968 | 653582 | 12349 126 | 1 | 1 858.12/858.36 c 858s | 19 | 11223665 | 654682 | 12349 126 | 1 | 1 860.22/860.41 c 860s | 19 | 11225448 | 655782 | 12349 127 | 1 | 1 862.33/862.52 c 862s | 19 | 11238566 | 657282 | 12349 127 | 1 | 1 864.32/864.56 c 864s | 19 | 11246247 | 658082 | 12349 127 | 1 | 1 866.42/866.63 c 866s | 19 | 11272189 | 659082 | 12349 127 | 1 | 1 868.41/868.70 c 868s | 19 | 11293343 | 660682 | 12349 127 | 1 | 1 870.51/870.79 c 870s | 19 | 11311321 | 662282 | 13584 128 | 1 | 1 872.72/872.92 c 872s | 19 | 11338859 | 663782 | 13584 128 | 1 | 1 874.72/874.96 c 874s | 19 | 11352035 | 665082 | 13584 128 | 1 | 1 876.82/877.00 c 876s | 19 | 11380914 | 666682 | 13584 128 | 1 | 1 877.02/877.20 c 877s | 20 | 11381372 | 666827 | 13584 128 | 1 | 1 880.11/880.32 c 880s | 20 | 11396886 | 667927 | 13584 128 | 1 | 1 882.12/882.38 c 882s | 20 | 11442329 | 669227 | 13584 129 | 1 | 1 884.11/884.40 c 884s | 20 | 11496695 | 670927 | 13584 129 | 1 | 1 886.31/886.50 c 886s | 20 | 11530694 | 672627 | 13584 129 | 1 | 1 888.41/888.65 c 888s | 20 | 11557469 | 673927 | 13584 129 | 1 | 1 890.61/890.83 c 890s | 20 | 11594185 | 675327 | 13584 129 | 1 | 1 892.61/892.84 c 892s | 20 | 11626013 | 676727 | 13584 130 | 1 | 1 894.71/894.94 c 894s | 20 | 11660218 | 678327 | 13584 130 | 1 | 1 896.80/897.04 c 896s | 20 | 11689269 | 679727 | 13584 130 | 1 | 1 898.90/899.11 c 898s | 20 | 11709321 | 681227 | 13584 130 | 1 | 1 900.90/901.14 c 901s | 20 | 11726752 | 682327 | 13584 130 | 1 | 1 903.01/903.28 c 903s | 20 | 11750935 | 683927 | 13584 131 | 1 | 1 905.00/905.29 c 905s | 20 | 11778160 | 685227 | 13584 131 | 1 | 1 907.10/907.34 c 907s | 20 | 11803705 | 686427 | 13584 131 | 1 | 1 909.10/909.36 c 909s | 20 | 11827808 | 688027 | 13584 131 | 1 | 1 911.20/911.47 c 911s | 20 | 11852677 | 689427 | 13584 131 | 1 | 1 913.30/913.56 c 913s | 20 | 11879062 | 690827 | 13584 132 | 1 | 1 915.30/915.58 c 915s | 20 | 11903615 | 692127 | 13584 132 | 1 | 1 917.30/917.59 c 917s | 20 | 11922791 | 693427 | 13584 132 | 1 | 1 919.40/919.62 c 919s | 20 | 11950488 | 694627 | 13584 132 | 1 | 1 921.39/921.68 c 921s | 20 | 11970806 | 696027 | 13584 132 | 1 | 1 923.49/923.80 c 923s | 20 | 11991984 | 697427 | 13584 133 | 1 | 1 925.60/925.83 c 925s | 20 | 12019593 | 698627 | 13584 133 | 1 | 1 927.69/927.92 c 927s | 20 | 12043689 | 700027 | 13584 133 | 1 | 1 929.79/930.00 c 929s | 20 | 12068875 | 701427 | 13584 133 | 1 | 1 931.79/932.04 c 931s | 20 | 12091264 | 702827 | 13584 133 | 1 | 1 933.89/934.13 c 934s | 20 | 12114690 | 704027 | 13584 134 | 1 | 1 935.99/936.29 c 936s | 20 | 12143980 | 705727 | 13584 134 | 1 | 1 938.09/938.33 c 938s | 20 | 12163645 | 707127 | 13584 134 | 1 | 1 940.08/940.39 c 940s | 20 | 12183408 | 708427 | 13584 134 | 1 | 1 942.28/942.51 c 942s | 20 | 12201279 | 709827 | 13584 134 | 1 | 1 944.38/944.62 c 944s | 20 | 12226038 | 711027 | 13584 135 | 1 | 1 946.49/946.73 c 946s | 20 | 12250044 | 712627 | 13584 135 | 1 | 1 948.58/948.80 c 948s | 20 | 12271313 | 713927 | 13584 135 | 1 | 1 950.68/950.96 c 950s | 20 | 12295496 | 715427 | 13584 135 | 1 | 1 952.78/953.01 c 952s | 20 | 12317867 | 716927 | 13584 135 | 1 | 1 954.88/955.11 c 954s | 20 | 12334969 | 718227 | 13584 136 | 1 | 1 956.88/957.19 c 957s | 20 | 12355135 | 719627 | 13584 136 | 1 | 1 959.08/959.36 c 959s | 20 | 12374434 | 721227 | 13584 136 | 1 | 1 961.07/961.36 c 961s | 20 | 12393501 | 722627 | 13584 136 | 1 | 1 963.07/963.37 c 963s | 20 | 12409676 | 723827 | 13584 136 | 1 | 1 965.17/965.45 c 965s | 20 | 12426651 | 725227 | 13584 137 | 1 | 1 967.27/967.53 c 967s | 20 | 12434165 | 726527 | 13584 137 | 1 | 1 969.37/969.67 c 969s | 20 | 12439247 | 727727 | 13584 137 | 1 | 1 971.47/971.72 c 971s | 20 | 12443443 | 728927 | 13584 137 | 1 | 1 973.46/973.74 c 973s | 20 | 12448118 | 730227 | 13584 137 | 1 | 1 976.76/977.02 c 976s | 20 | 12457216 | 730727 | 13584 137 | 1 | 1 978.78/979.04 c 978s | 20 | 12472816 | 731527 | 13584 138 | 1 | 1 980.87/981.14 c 981s | 20 | 12533233 | 733627 | 13584 138 | 1 | 1 982.97/983.24 c 983s | 20 | 12590126 | 735227 | 13584 138 | 1 | 1 984.97/985.29 c 985s | 20 | 12633931 | 736427 | 13584 138 | 1 | 1 986.96/987.29 c 987s | 20 | 12662105 | 737927 | 13584 138 | 1 | 1 989.16/989.41 c 989s | 20 | 12703981 | 739427 | 13584 139 | 1 | 1 991.26/991.50 c 991s | 20 | 12747804 | 740927 | 13584 139 | 1 | 1 993.26/993.58 c 993s | 20 | 12774571 | 742427 | 13584 139 | 1 | 1 995.37/995.64 c 995s | 20 | 12822578 | 744027 | 13584 139 | 1 | 1 997.46/997.77 c 997s | 20 | 12865264 | 745427 | 13584 140 | 1 | 1 999.55/999.90 c 999s | 20 | 12913298 | 746927 | 13584 140 | 1 | 1 1001.65/1001.93 c 1001s | 20 | 12941353 | 748427 | 13584 140 | 1 | 1 1003.76/1004.08 c 1003s | 20 | 12977649 | 749927 | 13584 140 | 1 | 1 1005.86/1006.15 c 1006s | 20 | 13007868 | 751427 | 13584 140 | 1 | 1 1007.85/1008.19 c 1008s | 20 | 13038827 | 752627 | 13584 141 | 1 | 1 1009.95/1010.22 c 1010s | 20 | 13059896 | 753927 | 13584 141 | 1 | 1 1012.05/1012.38 c 1012s | 20 | 13098816 | 755427 | 13584 141 | 1 | 1 1014.15/1014.49 c 1014s | 20 | 13132018 | 756727 | 13584 141 | 1 | 1 1016.15/1016.50 c 1016s | 20 | 13153795 | 758027 | 13584 141 | 1 | 1 1018.25/1018.56 c 1018s | 20 | 13177615 | 759327 | 13584 142 | 1 | 1 1020.35/1020.69 c 1020s | 20 | 13215804 | 760827 | 13584 142 | 1 | 1 1022.45/1022.78 c 1022s | 20 | 13246791 | 762127 | 13584 142 | 1 | 1 1024.65/1024.90 c 1024s | 20 | 13273730 | 763627 | 13584 142 | 1 | 1 1026.75/1027.05 c 1026s | 20 | 13299264 | 765027 | 13584 142 | 1 | 1 1028.84/1029.12 c 1028s | 20 | 13322502 | 766427 | 13584 143 | 1 | 1 1030.84/1031.16 c 1031s | 20 | 13342388 | 767927 | 13584 143 | 1 | 1 1032.84/1033.16 c 1033s | 20 | 13358911 | 769427 | 13584 143 | 1 | 1 1034.94/1035.24 c 1035s | 20 | 13378973 | 770927 | 13584 143 | 1 | 1 1037.05/1037.33 c 1037s | 20 | 13402332 | 772527 | 13584 143 | 1 | 1 1039.14/1039.42 c 1039s | 20 | 13419352 | 774027 | 13584 144 | 1 | 1 1041.14/1041.47 c 1041s | 20 | 13438216 | 775527 | 13584 144 | 1 | 1 1043.24/1043.55 c 1043s | 20 | 13453588 | 777027 | 13584 144 | 1 | 1 1045.34/1045.68 c 1045s | 20 | 13470775 | 778627 | 13584 144 | 1 | 1 1047.44/1047.76 c 1047s | 20 | 13479628 | 779927 | 13584 145 | 1 | 1 1049.64/1049.91 c 1049s | 20 | 13488859 | 781327 | 13584 145 | 1 | 1 1051.64/1051.92 c 1051s | 20 | 13492730 | 782527 | 13584 145 | 1 | 1 1053.74/1054.01 c 1053s | 20 | 13509690 | 783927 | 13584 145 | 1 | 1 1055.75/1056.03 c 1055s | 20 | 13535758 | 785327 | 13584 145 | 1 | 1 1057.74/1058.07 c 1057s | 20 | 13546514 | 786627 | 13584 145 | 1 | 1 1059.84/1060.17 c 1060s | 20 | 13569954 | 788127 | 13584 146 | 1 | 1 1061.93/1062.26 c 1062s | 20 | 13587016 | 788827 | 13584 146 | 1 | 1 1063.93/1064.27 c 1064s | 20 | 13613299 | 790327 | 13584 146 | 1 | 1 1066.03/1066.30 c 1066s | 20 | 13659993 | 791927 | 13584 146 | 1 | 1 1068.13/1068.45 c 1068s | 20 | 13709115 | 793327 | 13584 146 | 1 | 1 1070.23/1070.51 c 1070s | 20 | 13742432 | 794627 | 13584 147 | 1 | 1 1072.23/1072.52 c 1072s | 20 | 13779875 | 796427 | 13584 147 | 1 | 1 1074.23/1074.55 c 1074s | 20 | 13821806 | 797927 | 13584 147 | 1 | 1 1076.33/1076.63 c 1076s | 20 | 13856531 | 799227 | 13584 147 | 1 | 1 1078.42/1078.74 c 1078s | 20 | 13888914 | 801027 | 13584 148 | 1 | 1 1080.52/1080.82 c 1080s | 20 | 13927363 | 802427 | 13584 148 | 1 | 1 1082.52/1082.84 c 1082s | 20 | 13945829 | 804027 | 13584 148 | 1 | 1 1084.52/1084.85 c 1084s | 20 | 13962299 | 805227 | 13584 148 | 1 | 1 1086.62/1086.99 c 1086s | 20 | 13982388 | 806827 | 13584 148 | 1 | 1 1088.82/1089.12 c 1089s | 20 | 13992968 | 808027 | 13584 149 | 1 | 1 1090.92/1091.25 c 1091s | 20 | 14025008 | 809327 | 13584 149 | 1 | 1 1093.01/1093.40 c 1093s | 20 | 14056917 | 811027 | 13584 149 | 1 | 1 1095.11/1095.45 c 1095s | 20 | 14065753 | 812227 | 13584 149 | 1 | 1 1097.31/1097.60 c 1097s | 20 | 14082805 | 813727 | 13584 149 | 1 | 1 1099.41/1099.73 c 1099s | 20 | 14097027 | 814727 | 13584 150 | 1 | 1 1101.50/1101.88 c 1101s | 20 | 14115094 | 815927 | 13584 150 | 1 | 1 1103.60/1103.98 c 1103s | 20 | 14132377 | 817427 | 13584 150 | 1 | 1 1105.70/1106.04 c 1105s | 20 | 14147238 | 818827 | 13584 150 | 1 | 1 1107.80/1108.16 c 1108s | 20 | 14160960 | 819927 | 13584 150 | 1 | 1 1109.90/1110.24 c 1110s | 20 | 14172241 | 821227 | 13584 150 | 1 | 1 1111.91/1112.25 c 1112s | 20 | 14178205 | 822327 | 13584 151 | 1 | 1 1114.11/1114.43 c 1114s | 20 | 14180458 | 823427 | 13584 151 | 1 | 1 1116.21/1116.57 c 1116s | 20 | 14182250 | 824527 | 13584 151 | 1 | 1 1118.31/1118.67 c 1118s | 20 | 14183969 | 825527 | 13584 151 | 1 | 1 1120.40/1120.75 c 1120s | 20 | 14185822 | 826527 | 13584 151 | 1 | 1 1122.50/1122.83 c 1122s | 20 | 14187587 | 827527 | 13584 151 | 1 | 1 1124.50/1124.86 c 1124s | 20 | 14189165 | 828427 | 13584 152 | 1 | 1 1126.70/1127.06 c 1126s | 20 | 14192246 | 829527 | 13584 152 | 1 | 1 1128.90/1129.22 c 1129s | 20 | 14194787 | 830627 | 13584 152 | 1 | 1 1131.10/1131.41 c 1131s | 20 | 14196778 | 831727 | 13584 152 | 1 | 1 1133.20/1133.56 c 1133s | 20 | 14199063 | 832827 | 13584 152 | 1 | 1 1135.40/1135.77 c 1135s | 20 | 14203570 | 833927 | 13584 152 | 1 | 1 1137.70/1138.05 c 1137s | 20 | 14221085 | 834527 | 13584 152 | 1 | 1 1139.90/1140.21 c 1140s | 20 | 14235341 | 835327 | 13584 153 | 1 | 1 1142.00/1142.32 c 1142s | 20 | 14268178 | 836627 | 13584 153 | 1 | 1 1144.00/1144.34 c 1144s | 20 | 14290492 | 838127 | 13584 153 | 1 | 1 1146.10/1146.47 c 1146s | 20 | 14317079 | 839427 | 13584 153 | 1 | 1 1148.29/1148.60 c 1148s | 20 | 14329888 | 840827 | 13584 153 | 1 | 1 1150.30/1150.65 c 1150s | 20 | 14346257 | 842027 | 13584 153 | 1 | 1 1152.39/1152.76 c 1152s | 20 | 14375560 | 843427 | 13584 154 | 1 | 1 1154.39/1154.76 c 1154s | 20 | 14401836 | 844827 | 13584 154 | 1 | 1 1156.49/1156.82 c 1156s | 20 | 14425105 | 846027 | 13584 154 | 1 | 1 1158.49/1158.83 c 1158s | 20 | 14453722 | 847327 | 13584 154 | 1 | 1 1160.59/1160.92 c 1160s | 20 | 14467932 | 848727 | 13584 154 | 1 | 1 1162.59/1162.93 c 1162s | 20 | 14488437 | 849927 | 13584 155 | 1 | 1 1164.69/1165.10 c 1164s | 20 | 14506221 | 851227 | 13584 155 | 1 | 1 1166.89/1167.22 c 1167s | 20 | 14525764 | 852627 | 13584 155 | 1 | 1 1168.88/1169.29 c 1169s | 20 | 14541672 | 853927 | 13584 155 | 1 | 1 1171.08/1171.44 c 1171s | 20 | 14561561 | 855227 | 13584 155 | 1 | 1 1173.08/1173.45 c 1173s | 20 | 14572652 | 856427 | 13584 156 | 1 | 1 1175.18/1175.52 c 1175s | 20 | 14576350 | 857527 | 13584 156 | 1 | 1 1177.18/1177.54 c 1177s | 20 | 14588978 | 858627 | 13584 156 | 1 | 1 1179.28/1179.65 c 1179s | 20 | 14601645 | 859927 | 13584 156 | 1 | 1 1181.28/1181.67 c 1181s | 20 | 14619962 | 861127 | 13584 156 | 1 | 1 1183.38/1183.75 c 1183s | 20 | 14627196 | 862427 | 13584 156 | 1 | 1 1185.48/1185.90 c 1185s | 20 | 14642311 | 863527 | 13584 157 | 1 | 1 1187.57/1187.95 c 1187s | 20 | 14660338 | 864927 | 13584 157 | 1 | 1 1189.67/1190.06 c 1189s | 20 | 14666774 | 866227 | 13584 157 | 1 | 1 1191.87/1192.21 c 1192s | 20 | 14669773 | 867427 | 13584 157 | 1 | 1 1193.97/1194.33 c 1194s | 20 | 14674216 | 868627 | 13584 157 | 1 | 1 1195.97/1196.36 c 1196s | 20 | 14681651 | 869727 | 13584 157 | 1 | 1 1198.07/1198.42 c 1198s | 20 | 14688471 | 870927 | 13584 158 | 1 | 1 1200.07/1200.43 c 1200s | 20 | 14693826 | 872127 | 13584 158 | 1 | 1 1202.17/1202.52 c 1202s | 20 | 14699212 | 873427 | 13584 158 | 1 | 1 1204.17/1204.54 c 1204s | 20 | 14704402 | 874527 | 13584 158 | 1 | 1 1206.17/1206.60 c 1206s | 20 | 14709510 | 875727 | 13584 158 | 1 | 1 1208.26/1208.67 c 1208s | 20 | 14715309 | 876827 | 13584 159 | 1 | 1 1210.46/1210.81 c 1210s | 20 | 14722483 | 878227 | 13584 159 | 1 | 1 1212.46/1212.82 c 1212s | 20 | 14727187 | 879427 | 13584 159 | 1 | 1 1214.56/1214.93 c 1214s | 20 | 14732178 | 880627 | 13584 159 | 1 | 1 1216.56/1216.99 c 1216s | 20 | 14735697 | 881827 | 13584 159 | 1 | 1 1218.66/1219.08 c 1218s | 20 | 14737815 | 882927 | 13584 159 | 1 | 1 1220.76/1221.16 c 1221s | 20 | 14740191 | 884027 | 13584 160 | 1 | 1 1222.76/1223.18 c 1223s | 20 | 14742323 | 885227 | 13584 160 | 1 | 1 1224.96/1225.34 c 1225s | 20 | 14745859 | 886527 | 13584 160 | 1 | 1 1226.95/1227.40 c 1227s | 20 | 14750933 | 887627 | 13584 160 | 1 | 1 1229.05/1229.47 c 1229s | 20 | 14763058 | 888127 | 13584 160 | 1 | 1 1231.05/1231.49 c 1231s | 20 | 14784058 | 889327 | 13584 160 | 1 | 1 1233.15/1233.57 c 1233s | 20 | 14792633 | 890127 | 13584 160 | 1 | 1 1235.35/1235.70 c 1235s | 20 | 14796529 | 890827 | 13584 161 | 1 | 1 1237.45/1237.82 c 1237s | 20 | 14802416 | 891627 | 13584 161 | 1 | 1 1239.46/1239.87 c 1239s | 20 | 14818469 | 892927 | 13584 161 | 1 | 1 1241.56/1241.95 c 1241s | 20 | 14835953 | 894127 | 13584 161 | 1 | 1 1243.86/1244.21 c 1244s | 20 | 14838946 | 895027 | 13584 161 | 1 | 1 1246.06/1246.44 c 1246s | 20 | 14843554 | 895827 | 13584 161 | 1 | 1 1248.05/1248.47 c 1248s | 20 | 14855914 | 896927 | 13584 161 | 1 | 1 1250.15/1250.51 c 1250s | 20 | 14861384 | 897827 | 13584 162 | 1 | 1 1252.15/1252.51 c 1252s | 20 | 14869476 | 898627 | 13584 162 | 1 | 1 1254.35/1254.74 c 1254s | 20 | 14876378 | 899527 | 13584 162 | 1 | 1 1256.35/1256.78 c 1256s | 20 | 14884788 | 900527 | 13584 162 | 1 | 1 1258.44/1258.89 c 1258s | 20 | 14917264 | 901727 | 13584 162 | 1 | 1 1260.54/1260.98 c 1260s | 20 | 14944673 | 903027 | 13584 162 | 1 | 1 1262.74/1263.18 c 1263s | 20 | 14964148 | 904427 | 13584 163 | 1 | 1 1264.94/1265.30 c 1265s | 20 | 14993185 | 905727 | 13584 163 | 1 | 1 1267.04/1267.41 c 1267s | 20 | 15022953 | 907127 | 13584 163 | 1 | 1 1269.05/1269.49 c 1269s | 20 | 15051880 | 908627 | 13584 163 | 1 | 1 1271.25/1271.61 c 1271s | 20 | 15068735 | 910027 | 13584 163 | 1 | 1 1273.34/1273.73 c 1273s | 20 | 15083061 | 911127 | 13584 163 | 1 | 1 1275.34/1275.75 c 1275s | 20 | 15099465 | 912327 | 13584 164 | 1 | 1 1277.34/1277.78 c 1277s | 20 | 15107439 | 913527 | 13584 164 | 1 | 1 1279.44/1279.80 c 1279s | 20 | 15125499 | 914727 | 13584 164 | 1 | 1 1281.44/1281.85 c 1281s | 20 | 15142859 | 916327 | 13584 164 | 1 | 1 1283.54/1283.97 c 1283s | 20 | 15156540 | 917627 | 13584 164 | 1 | 1 1285.64/1286.05 c 1285s | 20 | 15166427 | 918927 | 13584 165 | 1 | 1 1287.84/1288.22 c 1288s | 20 | 15171889 | 920127 | 13584 165 | 1 | 1 1289.83/1290.22 c 1290s | 20 | 15181155 | 921327 | 13584 165 | 1 | 1 1291.93/1292.30 c 1292s | 20 | 15189467 | 922327 | 13584 165 | 1 | 1 1293.93/1294.30 c 1294s | 20 | 15200567 | 923527 | 13584 165 | 1 | 1 1295.93/1296.38 c 1296s | 20 | 15209012 | 924827 | 13584 165 | 1 | 1 1298.12/1298.58 c 1298s | 20 | 15212597 | 925927 | 13584 166 | 1 | 1 1300.32/1300.70 c 1300s | 20 | 15218707 | 927027 | 13584 166 | 1 | 1 1302.42/1302.86 c 1302s | 20 | 15226218 | 928227 | 13584 166 | 1 | 1 1304.62/1305.01 c 1304s | 20 | 15233242 | 929427 | 13584 166 | 1 | 1 1306.62/1307.05 c 1306s | 20 | 15238558 | 930427 | 13584 166 | 1 | 1 1308.82/1309.22 c 1309s | 20 | 15244955 | 931527 | 13584 166 | 1 | 1 1310.92/1311.33 c 1311s | 20 | 15249499 | 932627 | 13584 167 | 1 | 1 1312.92/1313.33 c 1313s | 20 | 15254336 | 933627 | 13584 167 | 1 | 1 1315.02/1315.47 c 1315s | 20 | 15259116 | 934827 | 13584 167 | 1 | 1 1317.11/1317.56 c 1317s | 20 | 15263871 | 935927 | 13584 167 | 1 | 1 1319.21/1319.61 c 1319s | 20 | 15269146 | 937027 | 13584 167 | 1 | 1 1321.41/1321.81 c 1321s | 20 | 15274414 | 938227 | 13584 167 | 1 | 1 1323.61/1324.03 c 1323s | 20 | 15277039 | 939227 | 13584 168 | 1 | 1 1325.71/1326.14 c 1326s | 20 | 15283628 | 940427 | 13584 168 | 1 | 1 1327.81/1328.20 c 1328s | 20 | 15289021 | 941627 | 13584 168 | 1 | 1 1329.91/1330.33 c 1330s | 20 | 15293700 | 942927 | 13584 168 | 1 | 1 1332.01/1332.40 c 1332s | 20 | 15298342 | 944027 | 13584 168 | 1 | 1 1334.11/1334.51 c 1334s | 20 | 15303271 | 945127 | 13584 168 | 1 | 1 1336.12/1336.52 c 1336s | 20 | 15310249 | 946027 | 13584 168 | 1 | 1 1338.11/1338.57 c 1338s | 20 | 15315120 | 946627 | 13584 169 | 1 | 1 1340.21/1340.63 c 1340s | 20 | 15321961 | 947827 | 13584 169 | 1 | 1 1342.40/1342.80 c 1342s | 20 | 15330780 | 948527 | 13584 169 | 1 | 1 1344.50/1344.90 c 1344s | 20 | 15352395 | 949727 | 13584 169 | 1 | 1 1346.60/1347.03 c 1346s | 20 | 15368143 | 950627 | 13584 169 | 1 | 1 1348.70/1349.10 c 1348s | 20 | 15395804 | 951827 | 13584 169 | 1 | 1 1350.70/1351.13 c 1351s | 20 | 15422723 | 953127 | 13584 170 | 1 | 1 1352.80/1353.27 c 1353s | 20 | 15447084 | 954527 | 13584 170 | 1 | 1 1355.00/1355.41 c 1355s | 20 | 15466805 | 955827 | 13584 170 | 1 | 1 1357.11/1357.58 c 1357s | 20 | 15485844 | 957127 | 13584 170 | 1 | 1 1359.21/1359.64 c 1359s | 20 | 15504919 | 958127 | 13584 170 | 1 | 1 1361.20/1361.64 c 1361s | 20 | 15520668 | 959327 | 13584 170 | 1 | 1 1363.20/1363.69 c 1363s | 20 | 15537877 | 960627 | 13584 171 | 1 | 1 1365.30/1365.71 c 1365s | 20 | 15555563 | 961727 | 13584 171 | 1 | 1 1367.30/1367.75 c 1367s | 20 | 15573127 | 962827 | 13584 171 | 1 | 1 1369.30/1369.77 c 1369s | 20 | 15595491 | 963927 | 13584 171 | 1 | 1 1371.30/1371.78 c 1371s | 20 | 15614818 | 965327 | 13584 171 | 1 | 1 1373.40/1373.89 c 1373s | 20 | 15625515 | 966527 | 13584 171 | 1 | 1 1375.50/1375.99 c 1375s | 20 | 15642363 | 967627 | 13584 172 | 1 | 1 1377.70/1378.10 c 1377s | 20 | 15657407 | 969127 | 13584 172 | 1 | 1 1379.70/1380.17 c 1380s | 20 | 15673526 | 970627 | 13584 172 | 1 | 1 1381.80/1382.20 c 1382s | 20 | 15685517 | 971927 | 13584 172 | 1 | 1 1383.79/1384.28 c 1384s | 20 | 15695211 | 973127 | 13584 172 | 1 | 1 1385.89/1386.32 c 1386s | 20 | 15709386 | 974127 | 13584 173 | 1 | 1 1387.99/1388.46 c 1388s | 20 | 15718449 | 975427 | 13584 173 | 1 | 1 1390.10/1390.53 c 1390s | 20 | 15732462 | 976527 | 13584 173 | 1 | 1 1392.20/1392.64 c 1392s | 20 | 15743821 | 977727 | 13584 173 | 1 | 1 1394.29/1394.74 c 1394s | 20 | 15756295 | 978727 | 13584 173 | 1 | 1 1396.39/1396.81 c 1396s | 20 | 15769730 | 980027 | 13584 173 | 1 | 1 1398.49/1398.97 c 1398s | 20 | 15778469 | 981227 | 13584 174 | 1 | 1 1400.59/1401.08 c 1400s | 20 | 15788435 | 982527 | 13584 174 | 1 | 1 1402.79/1403.20 c 1403s | 20 | 15797269 | 983627 | 13584 174 | 1 | 1 1404.79/1405.25 c 1405s | 20 | 15805051 | 984827 | 13584 174 | 1 | 1 1406.89/1407.37 c 1407s | 20 | 15811418 | 985927 | 13584 174 | 1 | 1 1408.99/1409.48 c 1409s | 20 | 15817732 | 986927 | 13584 174 | 1 | 1 1411.09/1411.56 c 1411s | 20 | 15821152 | 987927 | 13584 175 | 1 | 1 1413.10/1413.59 c 1413s | 20 | 15825244 | 989027 | 13584 175 | 1 | 1 1415.09/1415.59 c 1415s | 20 | 15829950 | 990027 | 13584 175 | 1 | 1 1417.19/1417.66 c 1417s | 20 | 15836271 | 991127 | 13584 175 | 1 | 1 1419.29/1419.74 c 1419s | 20 | 15842578 | 992227 | 13584 175 | 1 | 1 1421.39/1421.83 c 1421s | 20 | 15851577 | 993427 | 14943 175 | 1 | 1 1423.39/1423.88 c 1423s | 20 | 15859999 | 994727 | 14943 175 | 1 | 1 1425.49/1425.96 c 1425s | 20 | 15867896 | 995927 | 14943 175 | 1 | 1 1428.20/1428.62 c 1428s | 20 | 15873780 | 996727 | 14943 176 | 1 | 1 1430.29/1430.72 c 1430s | 20 | 15877117 | 997627 | 14943 176 | 1 | 1 1432.29/1432.77 c 1432s | 20 | 15886274 | 998927 | 14943 176 | 1 | 1 1434.29/1434.79 c 1434s | 20 | 15890043 | 999927 | 14943 176 | 1 | 1 1435.29/1435.71 c 1435s | 21 | 15892878 | 1000345 | 14943 176 | 1 | 1 1437.30/1437.74 c 1437s | 21 | 15903478 | 1001345 | 14943 176 | 1 | 1 1439.29/1439.77 c 1439s | 21 | 15913467 | 1002645 | 14943 176 | 1 | 1 1441.49/1441.97 c 1441s | 21 | 15925107 | 1003645 | 14943 177 | 1 | 1 1443.69/1444.14 c 1444s | 21 | 15930004 | 1004645 | 14943 177 | 1 | 1 1445.69/1446.18 c 1446s | 21 | 15934659 | 1005545 | 14943 177 | 1 | 1 1447.79/1448.20 c 1448s | 21 | 15943520 | 1006645 | 14943 177 | 1 | 1 1449.79/1450.23 c 1450s | 21 | 15951284 | 1007845 | 14943 177 | 1 | 1 1451.79/1452.25 c 1452s | 21 | 15963804 | 1008845 | 14943 177 | 1 | 1 1453.99/1454.43 c 1454s | 21 | 15977507 | 1010145 | 14943 177 | 1 | 1 1456.09/1456.59 c 1456s | 21 | 15985273 | 1011245 | 14943 178 | 1 | 1 1458.19/1458.70 c 1458s | 21 | 15993945 | 1012445 | 14943 178 | 1 | 1 1460.29/1460.78 c 1460s | 21 | 15999686 | 1013545 | 14943 178 | 1 | 1 1462.38/1462.82 c 1462s | 21 | 16008031 | 1014645 | 14943 178 | 1 | 1 1464.48/1464.90 c 1464s | 21 | 16023491 | 1016045 | 14943 178 | 1 | 1 1466.48/1466.94 c 1466s | 21 | 16027450 | 1017145 | 14943 178 | 1 | 1 1468.78/1469.28 c 1469s | 21 | 16031706 | 1017645 | 14943 178 | 1 | 1 1470.88/1471.33 c 1471s | 21 | 16052854 | 1018545 | 14943 178 | 1 | 1 1472.88/1473.38 c 1473s | 21 | 16086641 | 1019745 | 14943 179 | 1 | 1 1474.98/1475.46 c 1475s | 21 | 16127444 | 1021345 | 14943 179 | 1 | 1 1476.99/1477.49 c 1477s | 21 | 16153514 | 1022845 | 14943 179 | 1 | 1 1479.09/1479.59 c 1479s | 21 | 16170933 | 1024345 | 14943 179 | 1 | 1 1481.18/1481.60 c 1481s | 21 | 16187677 | 1025345 | 14943 179 | 1 | 1 1483.18/1483.63 c 1483s | 21 | 16205684 | 1026345 | 14943 180 | 1 | 1 1485.38/1485.80 c 1485s | 21 | 16227158 | 1027545 | 14943 180 | 1 | 1 1488.19/1488.61 c 1488s | 21 | 16254210 | 1029145 | 14943 180 | 1 | 1 1490.29/1490.71 c 1490s | 21 | 16269963 | 1030545 | 14943 180 | 1 | 1 1492.39/1492.86 c 1492s | 21 | 16287295 | 1031645 | 14943 180 | 1 | 1 1494.49/1494.95 c 1494s | 21 | 16309274 | 1032845 | 14943 180 | 1 | 1 1496.48/1496.95 c 1496s | 21 | 16326639 | 1033845 | 14943 181 | 1 | 1 1498.58/1499.09 c 1498s | 21 | 16354383 | 1035545 | 14943 181 | 1 | 1 1500.68/1501.15 c 1501s | 21 | 16384265 | 1036845 | 14943 181 | 1 | 1 1502.68/1503.17 c 1503s | 21 | 16410848 | 1038345 | 14943 181 | 1 | 1 1504.68/1505.18 c 1505s | 21 | 16434654 | 1039645 | 14943 181 | 1 | 1 1506.88/1507.31 c 1507s | 21 | 16461104 | 1040745 | 14943 181 | 1 | 1 1508.98/1509.42 c 1509s | 21 | 16488168 | 1041945 | 14943 182 | 1 | 1 1510.99/1511.46 c 1511s | 21 | 16516344 | 1043645 | 14943 182 | 1 | 1 1513.19/1513.62 c 1513s | 21 | 16534350 | 1044845 | 14943 182 | 1 | 1 1515.18/1515.64 c 1515s | 21 | 16551025 | 1046145 | 14943 182 | 1 | 1 1517.18/1517.68 c 1517s | 21 | 16571685 | 1047445 | 14943 182 | 1 | 1 1519.48/1519.98 c 1519s | 21 | 16593283 | 1049145 | 14943 183 | 1 | 1 1521.58/1522.00 c 1521s | 21 | 16613568 | 1050545 | 14943 183 | 1 | 1 1523.68/1524.15 c 1524s | 21 | 16632669 | 1052145 | 14943 183 | 1 | 1 1525.68/1526.19 c 1526s | 21 | 16649307 | 1053345 | 14943 183 | 1 | 1 1527.78/1528.28 c 1528s | 21 | 16669493 | 1054545 | 14943 183 | 1 | 1 1529.88/1530.30 c 1530s | 21 | 16690205 | 1056045 | 14943 183 | 1 | 1 1531.89/1532.36 c 1532s | 21 | 16709724 | 1057245 | 14943 184 | 1 | 1 1533.88/1534.38 c 1534s | 21 | 16729736 | 1058745 | 14943 184 | 1 | 1 1535.88/1536.38 c 1536s | 21 | 16750362 | 1060045 | 14943 184 | 1 | 1 1538.08/1538.50 c 1538s | 21 | 16768272 | 1061445 | 14943 184 | 1 | 1 1540.18/1540.61 c 1540s | 21 | 16785456 | 1062645 | 14943 184 | 1 | 1 1542.28/1542.74 c 1542s | 21 | 16800997 | 1064145 | 14943 184 | 1 | 1 1544.28/1544.79 c 1544s | 21 | 16820415 | 1065445 | 14943 185 | 1 | 1 1546.48/1546.95 c 1546s | 21 | 16838127 | 1066945 | 14943 185 | 1 | 1 1548.58/1549.03 c 1548s | 21 | 16848083 | 1068045 | 14943 185 | 1 | 1 1550.58/1551.05 c 1550s | 21 | 16857438 | 1069245 | 14943 185 | 1 | 1 1552.68/1553.10 c 1552s | 21 | 16865874 | 1070445 | 14943 185 | 1 | 1 1554.78/1555.20 c 1555s | 21 | 16874717 | 1071645 | 14943 185 | 1 | 1 1556.78/1557.24 c 1557s | 21 | 16883543 | 1072845 | 14943 186 | 1 | 1 1558.78/1559.24 c 1559s | 21 | 16897022 | 1074245 | 14943 186 | 1 | 1 1560.87/1561.31 c 1561s | 21 | 16909357 | 1075645 | 14943 186 | 1 | 1 1562.97/1563.43 c 1563s | 21 | 16918611 | 1077045 | 14943 186 | 1 | 1 1564.98/1565.47 c 1565s | 21 | 16923064 | 1078145 | 14943 186 | 1 | 1 1567.08/1567.59 c 1567s | 21 | 16925483 | 1079345 | 14943 186 | 1 | 1 1569.17/1569.60 c 1569s | 21 | 16937721 | 1080645 | 14943 187 | 1 | 1 1571.27/1571.79 c 1571s | 21 | 16944205 | 1081145 | 14943 187 | 1 | 1 1573.37/1573.83 c 1573s | 21 | 16975855 | 1082645 | 14943 187 | 1 | 1 1575.47/1575.94 c 1575s | 21 | 17001235 | 1084045 | 14943 187 | 1 | 1 1577.47/1577.98 c 1577s | 21 | 17027492 | 1085245 | 14943 187 | 1 | 1 1579.47/1580.00 c 1579s | 21 | 17051710 | 1086745 | 14943 187 | 1 | 1 1581.57/1582.05 c 1581s | 21 | 17068198 | 1087745 | 14943 188 | 1 | 1 1583.68/1584.12 c 1583s | 21 | 17093106 | 1089245 | 14943 188 | 1 | 1 1585.78/1586.21 c 1586s | 21 | 17123751 | 1090545 | 14943 188 | 1 | 1 1587.77/1588.24 c 1588s | 21 | 17151107 | 1092245 | 14943 188 | 1 | 1 1589.77/1590.25 c 1590s | 21 | 17174570 | 1093545 | 14943 188 | 1 | 1 1591.87/1592.37 c 1592s | 21 | 17199241 | 1094845 | 14943 189 | 1 | 1 1593.97/1594.42 c 1594s | 21 | 17230410 | 1096145 | 14943 189 | 1 | 1 1595.96/1596.42 c 1596s | 21 | 17254723 | 1097145 | 14943 189 | 1 | 1 1597.97/1598.49 c 1598s | 21 | 17283828 | 1098745 | 14943 189 | 1 | 1 1600.17/1600.65 c 1600s | 21 | 17307468 | 1100045 | 14943 189 | 1 | 1 1602.27/1602.72 c 1602s | 21 | 17335053 | 1101545 | 14943 189 | 1 | 1 1604.26/1604.77 c 1604s | 21 | 17366871 | 1102945 | 14943 190 | 1 | 1 1606.46/1606.97 c 1606s | 21 | 17376840 | 1103345 | 14943 190 | 1 | 1 1608.56/1609.04 c 1608s | 21 | 17393455 | 1103845 | 14943 190 | 1 | 1 1610.56/1611.07 c 1610s | 21 | 17417816 | 1105245 | 14943 190 | 1 | 1 1612.66/1613.19 c 1613s | 21 | 17458534 | 1106945 | 14943 190 | 1 | 1 1614.76/1615.27 c 1615s | 21 | 17498821 | 1108245 | 14943 190 | 1 | 1 1616.86/1617.31 c 1617s | 21 | 17531593 | 1109345 | 14943 190 | 1 | 1 1618.96/1619.43 c 1619s | 21 | 17564935 | 1110745 | 14943 191 | 1 | 1 1620.96/1621.47 c 1621s | 21 | 17600740 | 1112445 | 14943 191 | 1 | 1 1623.36/1623.88 c 1623s | 21 | 17636368 | 1113745 | 14943 191 | 1 | 1 1625.47/1625.94 c 1625s | 21 | 17673056 | 1114945 | 14943 191 | 1 | 1 1627.46/1627.95 c 1627s | 21 | 17706478 | 1116545 | 14943 191 | 1 | 1 1629.56/1630.07 c 1629s | 21 | 17741899 | 1117845 | 14943 192 | 1 | 1 1631.76/1632.20 c 1632s | 21 | 17780952 | 1119145 | 14943 192 | 1 | 1 1633.76/1634.21 c 1634s | 21 | 17815661 | 1120345 | 14943 192 | 1 | 1 1635.76/1636.25 c 1636s | 21 | 17849780 | 1121745 | 14943 192 | 1 | 1 1637.76/1638.29 c 1638s | 21 | 17866602 | 1122945 | 14943 192 | 1 | 1 1639.86/1640.35 c 1640s | 21 | 17893944 | 1124245 | 14943 192 | 1 | 1 1641.97/1642.47 c 1642s | 21 | 17919077 | 1125745 | 14943 193 | 1 | 1 1644.07/1644.53 c 1644s | 21 | 17944782 | 1126945 | 14943 193 | 1 | 1 1646.16/1646.60 c 1646s | 21 | 17973794 | 1128245 | 14943 193 | 1 | 1 1648.26/1648.77 c 1648s | 21 | 17982547 | 1129545 | 14943 193 | 1 | 1 1650.36/1650.81 c 1650s | 21 | 18005947 | 1130545 | 14943 193 | 1 | 1 1652.46/1652.90 c 1652s | 21 | 18029889 | 1131845 | 14943 193 | 1 | 1 1654.56/1655.01 c 1654s | 21 | 18048133 | 1133145 | 14943 194 | 1 | 1 1656.56/1657.03 c 1656s | 21 | 18068391 | 1134445 | 14943 194 | 1 | 1 1658.56/1659.05 c 1658s | 21 | 18090428 | 1136045 | 14943 194 | 1 | 1 1660.67/1661.11 c 1660s | 21 | 18099242 | 1137245 | 14943 194 | 1 | 1 1662.66/1663.18 c 1663s | 21 | 18117696 | 1138445 | 14943 194 | 1 | 1 1664.76/1665.24 c 1665s | 21 | 18134209 | 1139545 | 14943 194 | 1 | 1 1666.86/1667.36 c 1667s | 21 | 18148020 | 1140845 | 14943 195 | 1 | 1 1669.06/1669.51 c 1669s | 21 | 18167689 | 1142045 | 14943 195 | 1 | 1 1671.16/1671.60 c 1671s | 21 | 18193140 | 1143445 | 14943 195 | 1 | 1 1673.16/1673.65 c 1673s | 21 | 18202922 | 1144645 | 14943 195 | 1 | 1 1675.26/1675.78 c 1675s | 21 | 18221489 | 1145745 | 14943 195 | 1 | 1 1677.36/1677.87 c 1677s | 21 | 18231775 | 1146945 | 14943 195 | 1 | 1 1679.46/1679.97 c 1679s | 21 | 18246568 | 1148045 | 14943 196 | 1 | 1 1681.56/1682.04 c 1681s | 21 | 18269081 | 1149245 | 14943 196 | 1 | 1 1683.66/1684.12 c 1684s | 21 | 18284506 | 1150445 | 14943 196 | 1 | 1 1685.65/1686.16 c 1686s | 21 | 18298800 | 1151745 | 14943 196 | 1 | 1 1687.75/1688.28 c 1688s | 21 | 18303871 | 1152945 | 14943 196 | 1 | 1 1689.85/1690.30 c 1690s | 21 | 18316172 | 1154145 | 14943 196 | 1 | 1 1691.95/1692.41 c 1692s | 21 | 18336744 | 1155345 | 14943 196 | 1 | 1 1693.95/1694.45 c 1694s | 21 | 18350648 | 1156745 | 14943 197 | 1 | 1 1695.95/1696.45 c 1696s | 21 | 18369403 | 1157945 | 14943 197 | 1 | 1 1698.06/1698.57 c 1698s | 21 | 18380527 | 1159345 | 14943 197 | 1 | 1 1700.05/1700.60 c 1700s | 21 | 18399702 | 1160645 | 14943 197 | 1 | 1 1702.15/1702.62 c 1702s | 21 | 18413722 | 1162045 | 14943 197 | 1 | 1 1704.25/1704.70 c 1704s | 21 | 18421676 | 1163245 | 14943 198 | 1 | 1 1706.25/1706.77 c 1706s | 21 | 18426306 | 1164245 | 14943 198 | 1 | 1 1708.25/1708.79 c 1708s | 21 | 18436387 | 1165545 | 14943 198 | 1 | 1 1710.35/1710.82 c 1710s | 21 | 18439896 | 1166745 | 14943 198 | 1 | 1 1712.35/1712.84 c 1712s | 21 | 18446309 | 1167845 | 14943 198 | 1 | 1 1714.45/1714.94 c 1714s | 21 | 18452597 | 1169045 | 14943 198 | 1 | 1 1716.45/1716.96 c 1716s | 21 | 18460947 | 1170245 | 14943 198 | 1 | 1 1718.45/1718.96 c 1718s | 21 | 18467177 | 1171345 | 14943 199 | 1 | 1 1720.45/1720.97 c 1720s | 21 | 18479217 | 1172645 | 14943 199 | 1 | 1 1722.55/1723.05 c 1722s | 21 | 18487544 | 1174145 | 14943 199 | 1 | 1 1724.65/1725.17 c 1725s | 21 | 18494266 | 1175645 | 14943 199 | 1 | 1 1726.74/1727.21 c 1727s | 21 | 18504493 | 1176845 | 14943 199 | 1 | 1 1728.75/1729.26 c 1729s | 21 | 18517199 | 1177945 | 14943 199 | 1 | 1 1730.95/1731.50 c 1731s | 21 | 18527091 | 1179145 | 14943 200 | 1 | 1 1733.04/1733.53 c 1733s | 21 | 18541011 | 1180345 | 14943 200 | 1 | 1 1735.04/1735.59 c 1735s | 21 | 18554191 | 1181645 | 14943 200 | 1 | 1 1737.14/1737.67 c 1737s | 21 | 18569414 | 1182945 | 14943 200 | 1 | 1 1739.24/1739.74 c 1739s | 21 | 18579388 | 1184145 | 14943 200 | 1 | 1 1741.34/1741.85 c 1741s | 21 | 18591925 | 1185545 | 14943 200 | 1 | 1 1744.15/1744.69 c 1744s | 21 | 18599026 | 1186745 | 14943 201 | 1 | 1 1746.24/1746.79 c 1746s | 21 | 18614338 | 1187645 | 14943 201 | 1 | 1 1748.44/1748.90 c 1748s | 21 | 18627855 | 1188745 | 14943 201 | 1 | 1 1750.54/1751.05 c 1750s | 21 | 18641292 | 1190145 | 14943 201 | 1 | 1 1755.25/1755.76 c 1755s | 21 | 18656824 | 1191445 | 14943 201 | 1 | 1 1757.35/1757.88 c 1757s | 21 | 18679391 | 1192745 | 14943 201 | 1 | 1 1759.44/1759.97 c 1759s | 21 | 18708802 | 1194145 | 14943 202 | 1 | 1 1761.54/1762.02 c 1761s | 21 | 18728615 | 1195545 | 14943 202 | 1 | 1 1763.64/1764.12 c 1763s | 21 | 18756818 | 1196945 | 14943 202 | 1 | 1 1765.74/1766.22 c 1766s | 21 | 18785120 | 1198445 | 14943 202 | 1 | 1 1767.74/1768.29 c 1768s | 21 | 18789100 | 1199745 | 14943 202 | 1 | 1 1769.84/1770.31 c 1770s | 21 | 18816900 | 1200945 | 14943 202 | 1 | 1 1771.94/1772.43 c 1772s | 21 | 18845813 | 1202245 | 14943 203 | 1 | 1 1773.94/1774.50 c 1774s | 21 | 18879026 | 1203945 | 14943 203 | 1 | 1 1776.04/1776.56 c 1776s | 21 | 18892822 | 1205045 | 14943 203 | 1 | 1 1778.24/1778.71 c 1778s | 21 | 18912192 | 1206545 | 14943 203 | 1 | 1 1780.23/1780.78 c 1780s | 21 | 18935620 | 1208245 | 14943 203 | 1 | 1 1782.33/1782.81 c 1782s | 21 | 18953386 | 1209445 | 14943 204 | 1 | 1 1784.33/1784.88 c 1784s | 21 | 18982349 | 1210945 | 14943 204 | 1 | 1 1786.53/1787.03 c 1786s | 21 | 18998775 | 1212345 | 14943 204 | 1 | 1 1788.53/1789.09 c 1788s | 21 | 19015037 | 1213545 | 14943 204 | 1 | 1 1790.63/1791.19 c 1791s | 21 | 19026253 | 1214845 | 14943 204 | 1 | 1 1792.73/1793.29 c 1793s | 21 | 19035756 | 1216145 | 14943 204 | 1 | 1 1794.93/1795.40 c 1795s | 21 | 19053656 | 1217445 | 14943 205 | 1 | 1 1797.04/1797.52 c 1797s | 21 | 19065327 | 1218845 | 14943 205 | 1 | 1 1799.03/1799.56 c 1799s | 21 | 19080479 | 1220045 | 14943 205 | 1 | 1
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-4080098-1465261299/watcher-4080098-1465261299 -o /tmp/evaluation-result-4080098-1465261299/solver-4080098-1465261299 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080098-1465261299.opb pid=6134 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.87 2.00 1.99 3/181 6137 /proc/meminfo: memFree=31503612/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=716220 CPUtime=0 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 2669 0 0 0 0 0 0 0 20 0 4 0 108064661 733409280 3541 33554432000 4194304 16246674 140735038204144 140735038203568 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 179823 3551 441 2943 0 176717 0 [pid=6137/tid=6138] ppid=6134 vsize=733628 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 751235072 3610 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=738748 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 756477952 3626 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=741820 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 759623680 3642 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10018 s] /proc/loadavg: 1.87 2.00 1.99 3/181 6137 /proc/meminfo: memFree=31503612/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 26189 0 0 0 5 4 0 0 20 0 4 0 108064661 1249447936 27026 33554432000 4194304 16246674 140735038204144 140735038186048 4221799 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 305041 27030 725 2943 0 301935 0 [pid=6137/tid=6138] ppid=6134 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1249447936 27032 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1249447936 27035 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1249447936 27038 33554432000 4194304 16246674 140735038204144 140731247226032 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) 1220164 [startup+0.200495 s] /proc/loadavg: 1.87 2.00 1.99 3/181 6137 /proc/meminfo: memFree=31503612/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1222212 CPUtime=0.19 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 33325 0 0 0 14 5 0 0 20 0 4 0 108064661 1251545088 34161 33554432000 4194304 16246674 140735038204144 140735038203456 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 305553 34171 843 2943 0 302447 0 [pid=6137/tid=6138] ppid=6134 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1251545088 34178 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1251545088 34183 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1251545088 34190 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1222212 [startup+0.300521 s] /proc/loadavg: 1.87 2.00 1.99 3/181 6137 /proc/meminfo: memFree=31503612/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1222212 CPUtime=0.29 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 59994 0 0 0 21 8 0 0 20 0 4 0 108064661 1251545088 60831 33554432000 4194304 16246674 140735038204144 140735038203456 6021007 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 305553 60841 843 2943 0 302447 0 [pid=6137/tid=6138] ppid=6134 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1251545088 60848 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1251545088 60854 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1251545088 60861 33554432000 4194304 16246674 140735038204144 140731247226032 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) 1222212 [startup+0.700411 s] /proc/loadavg: 1.87 2.00 1.99 3/181 6137 /proc/meminfo: memFree=31503612/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1222212 CPUtime=0.69 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 162602 0 0 0 47 22 0 0 20 0 4 0 108064661 1251545088 163439 33554432000 4194304 16246674 140735038204144 140735038203456 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 305553 163455 843 2943 0 302447 0 [pid=6137/tid=6138] ppid=6134 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1251545088 163465 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1251545088 163476 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1251545088 163486 33554432000 4194304 16246674 140735038204144 140731247226032 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) 1222212 [startup+1.50042 s] /proc/loadavg: 1.87 2.00 1.99 3/185 6141 /proc/meminfo: memFree=29543756/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1301060 CPUtime=1.48 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 266352 0 0 0 115 33 0 0 20 0 4 0 108064661 1332285440 267188 33554432000 4194304 16246674 140735038204144 140735038186048 5754712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 325265 267188 846 2943 0 322159 0 [pid=6137/tid=6138] ppid=6134 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1332285440 267188 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1332285440 267188 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1332285440 267188 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1301060 [startup+3.10042 s] /proc/loadavg: 1.87 2.00 1.99 3/185 6141 /proc/meminfo: memFree=29539168/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 267662 0 0 0 275 34 0 0 20 0 4 0 108064661 1338576896 268498 33554432000 4194304 16246674 140735038204144 140735038186048 5531975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 326801 268498 848 2943 0 323695 0 [pid=6137/tid=6138] ppid=6134 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1338576896 268498 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1338576896 268498 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1338576896 268498 33554432000 4194304 16246674 140735038204144 140731247226032 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) 1307204 [startup+6.30043 s] /proc/loadavg: 1.88 2.00 1.99 3/185 6141 /proc/meminfo: memFree=29539320/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 267896 0 0 0 595 34 0 0 20 0 4 0 108064661 1338576896 268732 33554432000 4194304 16246674 140735038204144 140735038186048 13781198 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 326801 268732 852 2943 0 323695 0 [pid=6137/tid=6138] ppid=6134 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1338576896 268732 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1338576896 268732 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1338576896 268732 33554432000 4194304 16246674 140735038204144 140731247226032 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) 1307204 [startup+12.7004 s] /proc/loadavg: 1.89 2.00 1.99 3/185 6141 /proc/meminfo: memFree=29538660/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1307204 CPUtime=12.68 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 267896 0 0 0 1234 34 0 0 20 0 4 0 108064661 1338576896 268732 33554432000 4194304 16246674 140735038204144 140735038186048 5546005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 326801 268732 852 2943 0 323695 0 [pid=6137/tid=6138] ppid=6134 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1338576896 268732 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1338576896 268732 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1338576896 268732 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 1.92 2.00 1.99 3/184 6141 /proc/meminfo: memFree=29531500/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1313348 CPUtime=25.49 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 269432 0 0 0 2513 36 0 0 20 0 4 0 108064661 1344868352 270268 33554432000 4194304 16246674 140735038204144 140735038186048 13927222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 328337 270268 852 2943 0 325231 0 [pid=6137/tid=6138] ppid=6134 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1344868352 270268 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1344868352 270268 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1344868352 270268 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 1.94 2.00 1.99 3/184 6141 /proc/meminfo: memFree=29528956/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1313348 CPUtime=51.08 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 269432 0 0 0 5071 37 0 0 20 0 4 0 108064661 1344868352 270268 33554432000 4194304 16246674 140735038204144 140735038186048 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 328337 270268 852 2943 0 325231 0 [pid=6137/tid=6138] ppid=6134 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1344868352 270268 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1344868352 270268 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1344868352 270268 33554432000 4194304 16246674 140735038204144 140731247226032 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) 1313348 [startup+102.3 s] /proc/loadavg: 1.97 2.00 1.99 3/184 6142 /proc/meminfo: memFree=29519032/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1313348 CPUtime=102.28 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 269432 0 0 0 10181 47 0 0 20 0 4 0 108064661 1344868352 270268 33554432000 4194304 16246674 140735038204144 140735038186048 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 328337 270268 852 2943 0 325231 0 [pid=6137/tid=6138] ppid=6134 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1344868352 270268 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1344868352 270268 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1344868352 270268 33554432000 4194304 16246674 140735038204144 140731247226032 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) 1313348 ################ # More data... # ################ /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1355354112 272832 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1323588 [startup+1362.3 s] /proc/loadavg: 2.02 2.02 2.00 3/184 6173 /proc/meminfo: memFree=29485824/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1323588 CPUtime=1361.9 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 272339 0 0 0 136048 142 0 0 20 0 4 0 108064661 1355354112 272832 33554432000 4194304 16246674 140735038204144 140735038186048 5722816 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 330897 272832 853 2943 0 327791 0 [pid=6137/tid=6138] ppid=6134 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1355354112 272832 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1355354112 272832 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1355354112 272832 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1323588 [startup+1422.3 s] /proc/loadavg: 2.07 2.03 2.00 3/184 6174 /proc/meminfo: memFree=29486024/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1323588 CPUtime=1421.9 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 272340 0 0 0 142048 142 0 0 20 0 4 0 108064661 1355354112 272832 33554432000 4194304 16246674 140735038204144 140735038186048 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 330897 272832 853 2943 0 327791 0 [pid=6137/tid=6138] ppid=6134 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1355354112 272832 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1355354112 272832 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1355354112 272832 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1323588 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.00 3/184 6175 /proc/meminfo: memFree=29480448/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1328708 CPUtime=1481.88 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 273620 0 0 0 148045 143 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140735038186048 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 332177 274112 853 2943 0 329071 0 [pid=6137/tid=6138] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1328708 [startup+1542.31 s] /proc/loadavg: 2.04 2.03 2.00 3/184 6177 /proc/meminfo: memFree=29480696/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1328708 CPUtime=1541.88 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 273620 0 0 0 154044 144 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140735038187144 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 332177 274112 853 2943 0 329071 0 [pid=6137/tid=6138] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1328708 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.00 3/184 6178 /proc/meminfo: memFree=29480688/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1328708 CPUtime=1601.86 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 273620 0 0 0 160042 144 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140735038186048 6020678 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 332177 274112 853 2943 0 329071 0 [pid=6137/tid=6138] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1328708 [startup+1662.3 s] /proc/loadavg: 2.04 2.03 2.00 3/184 6179 /proc/meminfo: memFree=29480808/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1328708 CPUtime=1661.86 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 273620 0 0 0 166041 145 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140735038186048 5663499 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 332177 274112 853 2943 0 329071 0 [pid=6137/tid=6138] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1328708 [startup+1722.3 s] /proc/loadavg: 2.07 2.04 2.00 4/184 6192 /proc/meminfo: memFree=29478892/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1328708 CPUtime=1721.85 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 273620 0 0 0 172040 145 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140735038186048 6020690 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 332177 274112 853 2943 0 329071 0 [pid=6137/tid=6138] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1328708 [startup+1782.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 6193 /proc/meminfo: memFree=29478468/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1328708 CPUtime=1781.83 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 273620 0 0 0 178037 146 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140735038186048 6020477 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 332177 274112 853 2943 0 329071 0 [pid=6137/tid=6138] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1328708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.02 2.03 2.00 3/183 6193 /proc/meminfo: memFree=29478596/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1328708 CPUtime=1800.03 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 273620 0 0 0 179857 146 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140735038186048 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 332177 274112 853 2943 0 329071 0 [pid=6137/tid=6138] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1328708 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 6137 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.02 2.03 2.00 3/183 6193 /proc/meminfo: memFree=29478596/32872528 swapFree=12744/274376 [pid=6137] ppid=6134 vsize=1328708 CPUtime=1800.03 cores=0,2,4,6 /proc/6137/stat : 6137 (toysat) R 6134 6137 5566 0 -1 4202496 273620 0 0 0 179857 146 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140735038186048 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6137/statm: 332177 274112 853 2943 0 329071 0 [pid=6137/tid=6138] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6138/stat : 6138 (toysat) S 6134 6137 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731379330288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6137/tid=6139] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6139/stat : 6139 (toysat) S 6134 6137 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731368840432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6137/tid=6140] ppid=6134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/6137/task/6140/stat : 6140 (toysat) S 6134 6137 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064661 1360596992 274112 33554432000 4194304 16246674 140735038204144 140731247226032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1328708 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1798.58 CPU system time (s): 1.46878 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 1328708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.58 system time used= 1.46878 maximum resident set size= 1096448 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273620 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= 362 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.5209 second user time and 9.30458 second system time The end
Begin job on node107 at 2016-06-07 03:01:39 IDJOB=4080098 IDBENCH=48240 IDSOLVER=2542 FILE ID=node107/4080098-1465261299 RUNJOBID= node107-1465255895-5582 PBS_JOBID= 19843278 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080098-1465261299/watcher-4080098-1465261299 -o /tmp/evaluation-result-4080098-1465261299/solver-4080098-1465261299 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080098-1465261299.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42 RANDOM SEED=1482255454 node107.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.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.88 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.441 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.441 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.54 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.441 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.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31504148 kB Buffers: 55448 kB Cached: 150236 kB SwapCached: 1712 kB Active: 294604 kB Inactive: 94840 kB Active(anon): 184220 kB Inactive(anon): 420 kB Active(file): 110384 kB Inactive(file): 94420 kB Unevictable: 274376 kB Mlocked: 12744 kB SwapTotal: 67108856 kB SwapFree: 67098440 kB Dirty: 32624 kB Writeback: 0 kB AnonPages: 345368 kB Mapped: 10740 kB Shmem: 0 kB Slab: 570228 kB SReclaimable: 13756 kB SUnreclaim: 556472 kB KernelStack: 1536 kB PageTables: 6644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1484488 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 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= 71732 MiB End job on node107 at 2016-06-07 03:31:40