Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_5.opb |
| MD5SUM | 08d7a5060b972f308367859ff82f87f6 |
| 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 | 25 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 23 |
| 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 | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2528 |
| Sum of products size (including duplicates) | 5056 |
| Number of different products | 2528 |
| Sum of products size | 5056 |
0.00/0.00 c 2016-06-07T01:33:51+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4080129-1465256030.opb"] 0.00/0.01 c use --random-gen="2331173357 3568289225 2731028065 1724607021 3232107977 3640804208 1454050607 346331225 3477800331 668684757 3721055111 4067264122 1207315183 2512851291 2228737163 823901247 1482772299 3880849057 1219940126 1689664394 4094023339 2465604358 3798439051 3619625592 474908930 466725218 18489820 1092173333 2070690649 755537323 1989659994 1191064196 829283565 928682815 1856467408 3934113758 1365883100 1292590755 480400235 342541015 2261267335 810911176 1655557277 1402379249 671734005 1806773957 2241920308 1051156501 521385105 2570311371 2966728141 400028052 2907105765 672812749 2162854768 2097493285 4207474820 3075105028 955865568 1545670945 56531118 3271646969 3738529920 1402301061 110168838 2350063176 354217350 622794173 773660605 3176228939 956463148 706682473 740098075 1943696024 2924697144 4108991198 2180229043 2754768829 1973981579 2339534720 2966193078 2358569688 3086010981 1943740723 432824053 2059276487 2489437280 4059186506 1749364880 3866902871 2642515576 89333645 3232652747 3501838692 3950896997 539030410 3455609006 2408643499 873449728 762240640 719062889 3682123492 781121556 2274346800 362278303 2965762652 1740487822 2390790452 3874498970 1370479102 1872027987 3484908762 3509193133 3607143525 894487175 2940009523 475448425 2188391643 194772795 787511436 3831292583 2587346364 3320583664 1251904285 2484341830 1632071529 3583094828 3313998861 502527363 2238095858 3969850944 2002698404 998248377 3801652611 2082202786 2915124564 4100805948 537469628 1885662103 1535145787 1957794002 1977908324 2116322002 3406765007 308187100 1682712566 3874960367 3866681633 2569689336 1102416886 688527242 2551614268 1600149989 4066459925 14881183 3388272403 1067779631 3985829237 1040102445 1681638272 3379251508 1413501951 4161826464 2904184436 2397904333 2668848750 3414437021 1242664825 617789541 1964846360 1368236543 1134075545 3169130905 3549343994 2799654740 627194503 3180344248 3545128897 3531262931 4057955381 1560735503 2085751254 1658059587 3652780789 1446570324 1856549847 2890903840 2389744397 1584406212 3796556822 2562134744 3061155357 3448146222 2020329103 2272872176 129813947 2767479923 3994676559 3049211882 3544410144 2220656715 838869792 1353456334 3054626807 626397387 307833329 2770379590 2209123590 733173013 3486541172 2022660258 1320572801 2034868672 2704973339 3986438113 4286652129 2127889508 3673778265 4217115241 14402866 4007993082 3994580438 97405712 3783762898 4036385155 4266062751 892931322 682949371 3538968591 412573595 948188892 2745181282 707277712 2632062965 3362999857 1364703783 208832928 227559414 3997066032 2233577832 1955548685 562445520 3229012752 1877827019 86793690 2423848314 1100091826 3016849492 1253136286 1663233452 2917929286 1951281206 2041044511 3880598076 329933308 2845658963 255 362436" option to reproduce the execution 0.00/0.02 c #vars 200 0.00/0.02 c #constraints 200 0.00/0.06 c BCD2: Hardening is enabled. 0.00/0.06 c BCD2: BiasedSearch is enabled. 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 2661 0 | 0 | 0 0.00/0.07 c 0.0s | 0 | 488 | 0 | 2661 0 | 0 | 0 0.00/0.07 c #cpu_time = 0.008s 0.00/0.07 c #wall_clock_time = 0.008s 0.00/0.07 c #decision = 488 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 o 154 0.00/0.07 c BCD2: updating upper bound: 200 -> 153 0.00/0.07 c BCD2: 0 <= obj <= 153 0.00/0.07 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 2661 0 | 0 | 0 0.00/0.08 c 0.0s | 0 | 131 | 0 | 2661 0 | 0 | 0 0.00/0.08 c #cpu_time = 0.006s 0.00/0.08 c #wall_clock_time = 0.006s 0.00/0.08 c #decision = 131 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.08 c lower bound updated to 1 0.00/0.08 c BCD2: 1 <= obj <= 153 0.00/0.08 c BCD2: #cores=1, #unrelaxed=189, #relaxed=11, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 2661 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 150 | 0 | 2661 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.005s 0.00/0.09 c #wall_clock_time = 0.005s 0.00/0.09 c #decision = 150 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.09 c lower bound updated to 2 0.00/0.09 c BCD2: 2 <= obj <= 153 0.00/0.09 c BCD2: #cores=2, #unrelaxed=178, #relaxed=22, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=3 bias=3/4 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.00/0.09 c 0.0s | 0 | 0 | 0 | 2661 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 148 | 0 | 2661 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.006s 0.00/0.09 c #wall_clock_time = 0.006s 0.00/0.09 c #decision = 148 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 12: cost of the new core is >=1 0.00/0.09 c lower bound updated to 3 0.00/0.09 c BCD2: 3 <= obj <= 153 0.00/0.09 c BCD2: #cores=3, #unrelaxed=166, #relaxed=34, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=4 bias=4/5 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.08/0.11 c 0.0s | 0 | 0 | 0 | 2661 0 | 0 | 0 0.08/0.11 c 0.0s | 0 | 147 | 0 | 2661 0 | 0 | 0 0.08/0.11 c #cpu_time = 0.004s 0.08/0.11 c #wall_clock_time = 0.004s 0.08/0.11 c #decision = 147 0.08/0.11 c #random_decision = 0 0.08/0.11 c #conflict = 0 0.08/0.11 c #restart = 0 0.08/0.11 c BCD2: found a new core of size 14: cost of the new core is >=1 0.08/0.11 c lower bound updated to 4 0.08/0.11 c BCD2: 4 <= obj <= 153 0.08/0.11 c BCD2: #cores=4, #unrelaxed=152, #relaxed=48, #hardened=0 0.08/0.11 c BCD2: #sat=1 #unsat=5 bias=5/6 0.08/0.11 c Solving starts ... 0.08/0.11 c ============================[ Search Statistics ]============================ 0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.11 c | | | | Limit GC | Var | Constra 0.08/0.11 c ============================================================================= 0.08/0.11 c 0.0s | 0 | 0 | 0 | 2661 0 | 0 | 0 0.08/0.11 c 0.0s | 0 | 139 | 0 | 2661 0 | 0 | 0 0.08/0.11 c #cpu_time = 0.003s 0.08/0.11 c #wall_clock_time = 0.003s 0.08/0.11 c #decision = 139 0.08/0.11 c #random_decision = 0 0.08/0.11 c #conflict = 0 0.08/0.11 c #restart = 0 0.08/0.11 c BCD2: found a new core of size 11: cost of the new core is >=1 0.08/0.11 c lower bound updated to 5 0.08/0.11 c BCD2: 5 <= obj <= 153 0.08/0.11 c BCD2: #cores=5, #unrelaxed=141, #relaxed=59, #hardened=0 0.08/0.11 c BCD2: #sat=1 #unsat=6 bias=6/7 0.08/0.11 c Solving starts ... 0.08/0.11 c ============================[ Search Statistics ]============================ 0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.11 c | | | | Limit GC | Var | Constra 0.08/0.11 c ============================================================================= 0.08/0.11 c 0.0s | 0 | 0 | 0 | 2661 0 | 0 | 0 0.08/0.12 c 0.0s | 0 | 136 | 0 | 2661 0 | 0 | 0 0.08/0.12 c #cpu_time = 0.003s 0.08/0.12 c #wall_clock_time = 0.003s 0.08/0.12 c #decision = 136 0.08/0.12 c #random_decision = 0 0.08/0.12 c #conflict = 0 0.08/0.12 c #restart = 0 0.08/0.12 c BCD2: found a new core of size 13: cost of the new core is >=1 0.08/0.12 c lower bound updated to 6 0.08/0.12 c BCD2: 6 <= obj <= 153 0.08/0.12 c BCD2: #cores=6, #unrelaxed=128, #relaxed=72, #hardened=0 0.08/0.12 c BCD2: #sat=1 #unsat=7 bias=7/8 0.08/0.12 c Solving starts ... 0.08/0.12 c ============================[ Search Statistics ]============================ 0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.12 c | | | | Limit GC | Var | Constra 0.08/0.12 c ============================================================================= 0.08/0.12 c 0.0s | 0 | 0 | 0 | 2661 0 | 0 | 0 0.08/0.12 c 0.0s | 0 | 128 | 0 | 2661 0 | 0 | 0 0.08/0.12 c #cpu_time = 0.003s 0.08/0.12 c #wall_clock_time = 0.003s 0.08/0.12 c #decision = 128 0.08/0.12 c #random_decision = 0 0.08/0.12 c #conflict = 0 0.08/0.12 c #restart = 0 0.08/0.12 c BCD2: found a new core of size 13: cost of the new core is >=1 0.08/0.12 c lower bound updated to 7 0.08/0.12 c BCD2: 7 <= obj <= 153 0.08/0.12 c BCD2: #cores=7, #unrelaxed=115, #relaxed=85, #hardened=0 0.08/0.12 c BCD2: #sat=1 #unsat=8 bias=8/9 0.08/0.12 c Solving starts ... 0.08/0.12 c ============================[ Search Statistics ]============================ 0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.12 c | | | | Limit GC | Var | Constra 0.08/0.12 c ============================================================================= 0.08/0.12 c 0.0s | 0 | 0 | 0 | 2661 0 | 0 | 0 0.08/0.13 c 0.0s | 0 | 649 | 0 | 2661 0 | 0 | 0 0.08/0.13 c #cpu_time = 0.005s 0.08/0.13 c #wall_clock_time = 0.005s 0.08/0.13 c #decision = 649 0.08/0.13 c #random_decision = 0 0.08/0.13 c #conflict = 0 0.08/0.13 c #restart = 0 0.08/0.13 o 42 0.08/0.13 c BCD2: updating upper bound: 153 -> 41 0.08/0.13 c BCD2: 7 <= obj <= 41 0.08/0.13 c BCD2: #cores=7, #unrelaxed=115, #relaxed=85, #hardened=0 0.08/0.13 c BCD2: #sat=2 #unsat=8 bias=8/10 0.08/0.13 c Solving starts ... 0.08/0.13 c ============================[ Search Statistics ]============================ 0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.13 c | | | | Limit GC | Var | Constra 0.08/0.13 c ============================================================================= 0.08/0.13 c 0.0s | 0 | 0 | 0 | 2661 0 | 0 | 1 0.08/0.14 c 0.0s | 0 | 549 | 17 | 2661 0 | 0 | 1 0.08/0.14 c #cpu_time = 0.009s 0.08/0.14 c #wall_clock_time = 0.009s 0.08/0.14 c #decision = 549 0.08/0.14 c #random_decision = 2 0.08/0.14 c #conflict = 17 0.08/0.14 c #restart = 0 0.08/0.14 o 33 0.08/0.14 c BCD2: updating upper bound: 41 -> 32 0.08/0.14 c BCD2: 7 <= obj <= 32 0.08/0.14 c BCD2: #cores=7, #unrelaxed=115, #relaxed=85, #hardened=0 0.08/0.14 c BCD2: #sat=3 #unsat=8 bias=8/11 0.08/0.14 c Solving starts ... 0.08/0.14 c ============================[ Search Statistics ]============================ 0.08/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.14 c | | | | Limit GC | Var | Constra 0.08/0.14 c ============================================================================= 0.08/0.14 c 0.0s | 0 | 0 | 0 | 2661 0 | 0 | 2 0.08/0.18 c 0.0s | 1 | 296 | 100 | 2928 0 | 0 | 2 0.19/0.28 c 0.1s | 2 | 634 | 250 | 3221 0 | 0 | 2 0.39/0.45 c 0.3s | 3 | 1083 | 475 | 3544 0 | 0 | 2 0.69/0.70 c 0.6s | 4 | 1664 | 813 | 3899 0 | 0 | 2 0.99/1.08 c 0.9s | 4 | 2383 | 1268 | 3899 0 | 0 | 2 0.99/1.08 c #cpu_time = 0.934s 0.99/1.08 c #wall_clock_time = 0.934s 0.99/1.08 c #decision = 2383 0.99/1.08 c #random_decision = 5 0.99/1.08 c #conflict = 1268 0.99/1.08 c #restart = 4 0.99/1.08 c BCD2: relaxing 115 and merging with 7 cores into a new core of size 200: cost of the new core is >=8 0.99/1.08 c lower bound updated to 8 0.99/1.08 c BCD2: 8 <= obj <= 32 0.99/1.08 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 0.99/1.08 c BCD2: #sat=3 #unsat=9 bias=9/12 0.99/1.08 c Solving starts ... 0.99/1.08 c ============================[ Search Statistics ]============================ 0.99/1.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.08 c | | | | Limit GC | Var | Constra 0.99/1.08 c ============================================================================= 0.99/1.08 c 0.0s | 0 | 0 | 0 | 3899 0 | 28 | 2 1.09/1.17 c 0.1s | 1 | 704 | 100 | 4289 0 | 28 | 51 1.29/1.34 c 0.3s | 2 | 1407 | 250 | 4289 0 | 28 | 51 1.49/1.59 c 0.5s | 3 | 2162 | 475 | 4289 0 | 28 | 51 1.99/2.09 c 1.0s | 4 | 3534 | 813 | 4718 0 | 28 | 51 2.59/2.69 c 1.6s | 5 | 5483 | 1320 | 4718 0 | 28 | 51 3.59/3.62 c 2.5s | 6 | 8734 | 2081 | 5190 0 | 28 | 51 4.89/4.95 c 3.9s | 7 | 12452 | 3223 | 5190 0 | 28 | 51 6.99/7.06 c 6.0s | 7 | 18566 | 4923 | 5710 0 | 28 | 51 6.99/7.08 c 6.0s | 8 | 18615 | 4936 | 5710 0 | 28 | 51 9.09/9.19 c 8.1s | 8 | 24333 | 6636 | 6282 0 | 28 | 51 10.29/10.37 c 9.3s | 9 | 27812 | 7506 | 6282 1 | 28 | 51 12.39/12.41 c 11.3s | 9 | 33063 | 9106 | 6282 1 | 28 | 51 14.39/14.43 c 13.4s | 9 | 38299 | 10506 | 6911 1 | 28 | 51 15.68/15.71 c 14.6s | 10 | 42004 | 11361 | 6911 2 | 28 | 51 17.69/17.72 c 16.6s | 10 | 47625 | 12961 | 6911 2 | 28 | 51 19.68/19.77 c 18.7s | 10 | 53281 | 14461 | 6911 2 | 28 | 51 21.68/21.79 c 20.7s | 10 | 59818 | 15961 | 7603 3 | 28 | 51 23.38/23.47 c 22.4s | 11 | 64438 | 17144 | 7603 3 | 28 | 51 25.48/25.53 c 24.5s | 11 | 70208 | 18644 | 7603 3 | 28 | 51 27.59/27.66 c 26.6s | 11 | 76131 | 20244 | 7603 4 | 28 | 51 29.58/29.69 c 28.6s | 11 | 81552 | 21744 | 7603 4 | 28 | 51 31.68/31.70 c 30.6s | 11 | 87535 | 23144 | 7603 5 | 28 | 51 33.68/33.76 c 32.7s | 11 | 93266 | 24644 | 8364 5 | 28 | 51 35.29/35.35 c 34.3s | 12 | 97816 | 25819 | 8364 5 | 28 | 51 37.39/37.43 c 36.4s | 12 | 102657 | 27319 | 8364 5 | 28 | 51 39.48/39.51 c 38.4s | 12 | 108128 | 28619 | 8364 6 | 28 | 51 41.58/41.62 c 40.5s | 12 | 115449 | 30119 | 8364 6 | 28 | 51 43.58/43.63 c 42.6s | 12 | 120394 | 31519 | 8364 6 | 28 | 51 45.68/45.71 c 44.6s | 12 | 125902 | 33019 | 8364 7 | 28 | 51 47.78/47.85 c 46.8s | 12 | 131879 | 34519 | 8364 7 | 28 | 51 49.78/49.89 c 48.8s | 12 | 136601 | 35919 | 8364 7 | 28 | 51 51.98/52.01 c 50.9s | 12 | 143012 | 37419 | 9201 8 | 28 | 51 53.88/53.94 c 52.9s | 13 | 147915 | 38832 | 9201 8 | 28 | 51 55.88/55.98 c 54.9s | 13 | 152513 | 40232 | 9201 8 | 28 | 51 57.98/58.05 c 57.0s | 13 | 157824 | 41732 | 9201 8 | 28 | 51 59.97/60.06 c 59.0s | 13 | 162524 | 43132 | 9201 9 | 28 | 51 62.08/62.12 c 61.0s | 13 | 168375 | 44732 | 9201 9 | 28 | 51 64.18/64.20 c 63.1s | 13 | 173769 | 46132 | 9201 9 | 28 | 51 66.18/66.29 c 65.2s | 13 | 178823 | 47532 | 9201 10 | 28 | 51 68.38/68.42 c 67.3s | 13 | 183838 | 49032 | 9201 10 | 28 | 51 70.39/70.49 c 69.4s | 13 | 188825 | 50532 | 9201 10 | 28 | 51 72.59/72.62 c 71.5s | 13 | 194067 | 52032 | 9201 11 | 28 | 51 74.58/74.64 c 73.6s | 13 | 199491 | 53532 | 9201 11 | 28 | 51 76.58/76.64 c 75.6s | 13 | 204739 | 55032 | 9201 11 | 28 | 51 78.58/78.65 c 77.6s | 13 | 210565 | 56632 | 9201 11 | 28 | 51 80.68/80.75 c 79.7s | 13 | 215903 | 58132 | 10122 12 | 28 | 51 80.98/81.03 c 80.0s | 14 | 216643 | 58352 | 10122 12 | 28 | 51 83.08/83.12 c 82.0s | 14 | 220277 | 59552 | 10122 12 | 28 | 51 85.08/85.15 c 84.1s | 14 | 224973 | 60852 | 10122 12 | 28 | 51 87.08/87.17 c 86.1s | 14 | 229280 | 62152 | 10122 12 | 28 | 51 89.09/89.17 c 88.1s | 14 | 234222 | 63452 | 10122 13 | 28 | 51 91.18/91.20 c 90.1s | 14 | 239025 | 64952 | 10122 13 | 28 | 51 93.18/93.21 c 92.1s | 14 | 244057 | 66352 | 10122 13 | 28 | 51 95.18/95.23 c 94.2s | 14 | 248900 | 67852 | 10122 13 | 28 | 51 97.28/97.35 c 96.3s | 14 | 254264 | 69352 | 10122 14 | 28 | 51 99.38/99.42 c 98.3s | 14 | 259865 | 70952 | 10122 14 | 28 | 51 101.48/101.50 c 100s | 14 | 264944 | 72452 | 10122 14 | 28 | 51 103.48/103.51 c 102s | 14 | 269825 | 73852 | 10122 15 | 28 | 51 105.48/105.59 c 104s | 14 | 274993 | 75252 | 10122 15 | 28 | 51 107.58/107.61 c 106s | 14 | 279972 | 76652 | 10122 15 | 28 | 51 109.58/109.67 c 108s | 14 | 285151 | 78052 | 10122 15 | 28 | 51 111.68/111.76 c 110s | 14 | 291192 | 79552 | 10122 16 | 28 | 51 113.77/113.85 c 112s | 14 | 296613 | 81052 | 10122 16 | 28 | 51 115.87/115.91 c 114s | 14 | 301560 | 82552 | 10122 16 | 28 | 51 117.97/118.00 c 116s | 14 | 307156 | 84052 | 10122 16 | 28 | 51 119.98/120.09 c 119s | 14 | 312340 | 85552 | 10122 17 | 28 | 51 122.08/122.12 c 121s | 14 | 317944 | 87052 | 11135 17 | 28 | 51 122.87/122.92 c 121s | 15 | 319820 | 87632 | 11135 17 | 28 | 51 124.87/124.94 c 123s | 15 | 325484 | 89132 | 11135 17 | 28 | 51 126.87/126.99 c 125s | 15 | 331024 | 90632 | 11135 17 | 28 | 51 129.07/129.12 c 128s | 15 | 336733 | 92232 | 11135 18 | 28 | 51 131.07/131.13 c 130s | 15 | 341081 | 93432 | 11135 18 | 28 | 51 133.08/133.14 c 132s | 15 | 345701 | 94632 | 11135 18 | 28 | 51 135.17/135.22 c 134s | 15 | 351990 | 96132 | 11135 18 | 28 | 51 137.27/137.32 c 136s | 15 | 357682 | 97632 | 11135 19 | 28 | 51 139.37/139.49 c 138s | 15 | 363246 | 99232 | 11135 19 | 28 | 51 141.47/141.51 c 140s | 15 | 369169 | 100632 | 11135 19 | 28 | 51 143.57/143.64 c 142s | 15 | 376071 | 102132 | 11135 19 | 28 | 51 145.67/145.74 c 144s | 15 | 381788 | 103632 | 11135 20 | 28 | 51 147.67/147.76 c 146s | 15 | 387280 | 105032 | 11135 20 | 28 | 51 149.77/149.81 c 148s | 15 | 392985 | 106432 | 11135 20 | 28 | 51 151.77/151.90 c 150s | 15 | 397960 | 107832 | 11135 20 | 28 | 51 153.97/154.03 c 152s | 15 | 403493 | 109332 | 11135 21 | 28 | 51 156.07/156.11 c 155s | 15 | 408930 | 110832 | 11135 21 | 28 | 51 158.07/158.18 c 157s | 15 | 414477 | 112232 | 11135 21 | 28 | 51 160.16/160.20 c 159s | 15 | 420975 | 113632 | 11135 21 | 28 | 51 162.16/162.26 c 161s | 15 | 425802 | 115032 | 11135 22 | 28 | 51 164.26/164.37 c 163s | 15 | 431471 | 116532 | 11135 22 | 28 | 51 166.46/166.50 c 165s | 15 | 436780 | 118032 | 11135 22 | 28 | 51 168.56/168.63 c 167s | 15 | 442748 | 119532 | 11135 22 | 28 | 51 170.66/170.75 c 169s | 15 | 447744 | 121032 | 11135 23 | 28 | 51 172.67/172.77 c 171s | 15 | 452752 | 122532 | 11135 23 | 28 | 51 174.76/174.84 c 173s | 15 | 457613 | 123932 | 11135 23 | 28 | 51 176.76/176.86 c 175s | 15 | 463385 | 125432 | 11135 23 | 28 | 51 178.96/179.01 c 177s | 15 | 466964 | 126532 | 11135 24 | 28 | 51 181.06/181.10 c 180s | 15 | 471696 | 127932 | 11135 24 | 28 | 51 183.06/183.15 c 182s | 15 | 476411 | 129232 | 11135 24 | 28 | 51 185.16/185.29 c 184s | 15 | 481507 | 130632 | 12249 24 | 28 | 51 186.56/186.60 c 185s | 16 | 485138 | 131552 | 12249 24 | 28 | 51 188.66/188.75 c 187s | 16 | 489689 | 132852 | 12249 24 | 28 | 51 190.76/190.85 c 189s | 16 | 495355 | 134352 | 12249 25 | 28 | 51 192.96/193.02 c 191s | 16 | 500611 | 135752 | 12249 25 | 28 | 51 195.06/195.10 c 194s | 16 | 505921 | 137152 | 12249 25 | 28 | 51 197.16/197.23 c 196s | 16 | 511289 | 138652 | 12249 25 | 28 | 51 199.17/199.23 c 198s | 16 | 516569 | 139952 | 12249 26 | 28 | 51 201.16/201.30 c 200s | 16 | 521953 | 141452 | 12249 26 | 28 | 51 203.36/203.41 c 202s | 16 | 527653 | 142952 | 12249 26 | 28 | 51 205.46/205.54 c 204s | 16 | 533101 | 144452 | 12249 26 | 28 | 51 207.56/207.60 c 206s | 16 | 537931 | 145752 | 12249 26 | 28 | 51 209.66/209.70 c 208s | 16 | 543004 | 147152 | 12249 27 | 28 | 51 211.66/211.74 c 210s | 16 | 548612 | 148552 | 12249 27 | 28 | 51 213.76/213.80 c 212s | 16 | 553276 | 149952 | 12249 27 | 28 | 51 215.76/215.81 c 214s | 16 | 557908 | 151252 | 12249 27 | 28 | 51 217.76/217.87 c 216s | 16 | 562354 | 152552 | 12249 28 | 28 | 51 219.86/219.94 c 218s | 16 | 567600 | 153952 | 12249 28 | 28 | 51 221.96/222.07 c 220s | 16 | 573280 | 155452 | 12249 28 | 28 | 51 224.06/224.12 c 223s | 16 | 578365 | 156952 | 12249 28 | 28 | 51 226.06/226.14 c 225s | 16 | 583455 | 158352 | 12249 28 | 28 | 51 228.06/228.18 c 227s | 16 | 589155 | 159852 | 12249 29 | 28 | 51 230.16/230.30 c 229s | 16 | 594559 | 161452 | 12249 29 | 28 | 51 232.26/232.33 c 231s | 16 | 600277 | 162952 | 12249 29 | 28 | 51 234.26/234.34 c 233s | 16 | 604974 | 164352 | 12249 29 | 28 | 51 236.36/236.46 c 235s | 16 | 609463 | 165852 | 12249 30 | 28 | 51 238.45/238.52 c 237s | 16 | 613578 | 167352 | 12249 30 | 28 | 51 240.45/240.56 c 239s | 16 | 618148 | 168752 | 12249 30 | 28 | 51 242.55/242.68 c 241s | 16 | 622807 | 170252 | 12249 30 | 28 | 51 244.65/244.77 c 243s | 16 | 626644 | 171352 | 12249 30 | 28 | 51 246.65/246.78 c 245s | 16 | 630873 | 172452 | 12249 31 | 28 | 51 248.75/248.89 c 247s | 16 | 636523 | 173952 | 12249 31 | 28 | 51 250.95/251.02 c 249s | 16 | 642281 | 175552 | 12249 31 | 28 | 51 252.96/253.05 c 251s | 16 | 647141 | 176752 | 12249 31 | 28 | 51 255.05/255.18 c 254s | 16 | 652400 | 178152 | 12249 32 | 28 | 51 257.25/257.30 c 256s | 16 | 658354 | 179652 | 12249 32 | 28 | 51 259.25/259.31 c 258s | 16 | 662970 | 180952 | 12249 32 | 28 | 51 261.35/261.40 c 260s | 16 | 668681 | 182352 | 12249 32 | 28 | 51 263.35/263.45 c 262s | 16 | 673230 | 183652 | 12249 32 | 28 | 51 265.35/265.49 c 264s | 16 | 677912 | 184852 | 12249 33 | 28 | 51 267.45/267.52 c 266s | 16 | 682807 | 186252 | 12249 33 | 28 | 51 269.55/269.60 c 268s | 16 | 687771 | 187652 | 12249 33 | 28 | 51 271.55/271.67 c 270s | 16 | 693465 | 189052 | 12249 33 | 28 | 51 273.65/273.75 c 272s | 16 | 700410 | 190552 | 12249 33 | 28 | 51 275.65/275.77 c 274s | 16 | 705208 | 191952 | 12249 34 | 28 | 51 277.74/277.88 c 276s | 16 | 710324 | 193352 | 12249 34 | 28 | 51 279.84/279.95 c 278s | 16 | 715625 | 194752 | 12249 34 | 28 | 51 281.94/282.07 c 280s | 16 | 721329 | 196252 | 13474 34 | 28 | 51 283.75/283.84 c 282s | 17 | 725372 | 197432 | 13474 34 | 28 | 51 285.84/285.96 c 284s | 17 | 729560 | 198632 | 13474 35 | 28 | 51 287.84/287.97 c 286s | 17 | 734463 | 199732 | 13474 35 | 28 | 51 289.94/290.01 c 288s | 17 | 739835 | 201132 | 13474 35 | 28 | 51 292.04/292.12 c 291s | 17 | 745747 | 202532 | 13474 35 | 28 | 51 294.14/294.20 c 293s | 17 | 751294 | 203932 | 13474 35 | 28 | 51 296.14/296.27 c 295s | 17 | 756808 | 205332 | 13474 35 | 28 | 51 298.15/298.29 c 297s | 17 | 761362 | 206632 | 13474 36 | 28 | 51 300.35/300.45 c 299s | 17 | 767024 | 208132 | 13474 36 | 28 | 51 302.44/302.54 c 301s | 17 | 772802 | 209532 | 13474 36 | 28 | 51 304.55/304.62 c 303s | 17 | 778050 | 210932 | 13474 36 | 28 | 51 306.65/306.74 c 305s | 17 | 784372 | 212332 | 13474 36 | 28 | 51 308.75/308.87 c 307s | 17 | 789453 | 213832 | 13474 37 | 28 | 51 310.85/310.96 c 309s | 17 | 794322 | 215132 | 13474 37 | 28 | 51 313.05/313.10 c 312s | 17 | 798884 | 216532 | 13474 37 | 28 | 51 315.15/315.20 c 314s | 17 | 803792 | 217932 | 13474 37 | 28 | 51 317.24/317.31 c 316s | 17 | 808570 | 219332 | 13474 37 | 28 | 51 319.24/319.34 c 318s | 17 | 812998 | 220732 | 13474 38 | 28 | 51 321.25/321.37 c 320s | 17 | 818435 | 222232 | 13474 38 | 28 | 51 323.35/323.41 c 322s | 17 | 823047 | 223632 | 13474 38 | 28 | 51 325.34/325.46 c 324s | 17 | 827621 | 225032 | 13474 38 | 28 | 51 327.44/327.57 c 326s | 17 | 832156 | 226432 | 13474 38 | 28 | 51 329.54/329.69 c 328s | 17 | 837344 | 227932 | 13474 39 | 28 | 51 331.74/331.83 c 330s | 17 | 842392 | 229432 | 13474 39 | 28 | 51 333.74/333.87 c 332s | 17 | 847665 | 230932 | 13474 39 | 28 | 51 335.94/336.00 c 334s | 17 | 852857 | 232432 | 13474 39 | 28 | 51 337.94/338.01 c 336s | 17 | 858105 | 233832 | 13474 40 | 28 | 51 340.04/340.13 c 339s | 17 | 863403 | 235432 | 13474 40 | 28 | 51 342.15/342.23 c 341s | 17 | 868566 | 237032 | 13474 40 | 28 | 51 344.25/344.31 c 343s | 17 | 873373 | 238732 | 13474 40 | 28 | 51 346.24/346.32 c 345s | 17 | 878330 | 240232 | 13474 40 | 28 | 51 348.34/348.40 c 347s | 17 | 881332 | 241132 | 13474 41 | 28 | 51 350.34/350.41 c 349s | 17 | 885616 | 242232 | 13474 41 | 28 | 51 352.34/352.49 c 351s | 17 | 891237 | 243732 | 13474 41 | 28 | 51 354.44/354.51 c 353s | 17 | 896452 | 245132 | 13474 41 | 28 | 51 356.44/356.58 c 355s | 17 | 901057 | 246432 | 13474 41 | 28 | 51 358.54/358.70 c 357s | 17 | 906621 | 247832 | 13474 41 | 28 | 51 360.63/360.72 c 359s | 17 | 911016 | 249132 | 13474 42 | 28 | 51 362.73/362.83 c 361s | 17 | 916118 | 250532 | 13474 42 | 28 | 51 364.83/364.97 c 363s | 17 | 921655 | 252032 | 13474 42 | 28 | 51 366.93/367.02 c 365s | 17 | 926811 | 253332 | 13474 42 | 28 | 51 369.03/369.12 c 368s | 17 | 931882 | 254732 | 13474 42 | 28 | 51 371.13/371.20 c 370s | 17 | 936456 | 256132 | 13474 43 | 28 | 51 373.23/373.34 c 372s | 17 | 941745 | 257632 | 13474 43 | 28 | 51 375.23/375.38 c 374s | 17 | 946228 | 259032 | 13474 43 | 28 | 51 377.24/377.40 c 376s | 17 | 951359 | 260432 | 13474 43 | 28 | 51 379.33/379.44 c 378s | 17 | 956529 | 261832 | 13474 43 | 28 | 51 381.43/381.55 c 380s | 17 | 961791 | 263332 | 13474 44 | 28 | 51 383.53/383.61 c 382s | 17 | 966354 | 264732 | 13474 44 | 28 | 51 385.63/385.74 c 384s | 17 | 971825 | 266232 | 13474 44 | 28 | 51 387.63/387.78 c 386s | 17 | 976702 | 267632 | 13474 44 | 28 | 51 389.73/389.89 c 388s | 17 | 981099 | 269032 | 13474 45 | 28 | 51 391.83/391.94 c 390s | 17 | 986361 | 270532 | 13474 45 | 28 | 51 393.84/393.98 c 392s | 17 | 991895 | 272032 | 13474 45 | 28 | 51 395.94/396.08 c 395s | 17 | 996933 | 273532 | 13474 45 | 28 | 51 398.03/398.11 c 397s | 17 | 1002340 | 274932 | 13474 45 | 28 | 51 400.23/400.30 c 399s | 17 | 1005812 | 275832 | 13474 45 | 28 | 51 402.23/402.35 c 401s | 17 | 1010173 | 277032 | 13474 46 | 28 | 51 404.33/404.40 c 403s | 17 | 1015297 | 278432 | 13474 46 | 28 | 51 406.43/406.54 c 405s | 17 | 1020066 | 279732 | 13474 46 | 28 | 51 408.52/408.64 c 407s | 17 | 1024867 | 281132 | 13474 46 | 28 | 51 410.72/410.80 c 409s | 17 | 1029767 | 282632 | 13474 46 | 28 | 51 412.72/412.81 c 411s | 17 | 1035029 | 284032 | 13474 47 | 28 | 51 414.82/414.93 c 413s | 17 | 1040870 | 285532 | 13474 47 | 28 | 51 416.83/417.00 c 415s | 17 | 1046373 | 287032 | 13474 47 | 28 | 51 419.03/419.13 c 418s | 17 | 1051433 | 288432 | 13474 47 | 28 | 51 421.02/421.13 c 420s | 17 | 1056619 | 289832 | 13474 47 | 28 | 51 423.12/423.26 c 422s | 17 | 1061575 | 291232 | 13474 48 | 28 | 51 425.22/425.34 c 424s | 17 | 1066273 | 292632 | 13474 48 | 28 | 51 427.32/427.41 c 426s | 17 | 1071531 | 294032 | 14822 48 | 28 | 51 429.32/429.47 c 428s | 17 | 1076469 | 295432 | 14822 48 | 28 | 51 430.62/430.70 c 429s | 18 | 1079438 | 296252 | 14822 48 | 28 | 51 432.62/432.70 c 431s | 18 | 1084214 | 297552 | 14822 48 | 28 | 51 434.62/434.76 c 433s | 18 | 1089619 | 298952 | 14822 49 | 28 | 51 436.63/436.76 c 435s | 18 | 1096302 | 300452 | 14822 49 | 28 | 51 438.72/438.89 c 437s | 18 | 1101628 | 301952 | 14822 49 | 28 | 51 440.82/440.97 c 439s | 18 | 1107222 | 303452 | 14822 49 | 28 | 51 443.02/443.10 c 442s | 18 | 1112881 | 304852 | 14822 49 | 28 | 51 445.12/445.20 c 444s | 18 | 1117237 | 306252 | 14822 50 | 28 | 51 447.22/447.33 c 446s | 18 | 1122551 | 307852 | 14822 50 | 28 | 51 449.32/449.42 c 448s | 18 | 1127468 | 309352 | 14822 50 | 28 | 51 451.32/451.49 c 450s | 18 | 1132507 | 310752 | 14822 50 | 28 | 51 453.42/453.53 c 452s | 18 | 1137625 | 312152 | 14822 50 | 28 | 51 455.52/455.66 c 454s | 18 | 1143305 | 313652 | 14822 50 | 28 | 51 457.72/457.85 c 456s | 18 | 1146952 | 314752 | 14822 51 | 28 | 51 459.82/459.98 c 458s | 18 | 1151435 | 315852 | 14822 51 | 28 | 51 461.92/462.04 c 460s | 18 | 1156401 | 317152 | 14822 51 | 28 | 51 464.02/464.13 c 463s | 18 | 1161981 | 318652 | 14822 51 | 28 | 51 466.12/466.20 c 465s | 18 | 1166595 | 320052 | 14822 51 | 28 | 51 468.11/468.29 c 467s | 18 | 1171073 | 321252 | 14822 51 | 28 | 51 470.21/470.30 c 469s | 18 | 1175784 | 322552 | 14822 52 | 28 | 51 472.31/472.40 c 471s | 18 | 1181802 | 324052 | 14822 52 | 28 | 51 474.32/474.46 c 473s | 18 | 1187329 | 325352 | 14822 52 | 28 | 51 476.42/476.53 c 475s | 18 | 1192139 | 326652 | 14822 52 | 28 | 51 478.43/478.57 c 477s | 18 | 1197119 | 327952 | 14822 52 | 28 | 51 480.63/480.74 c 479s | 18 | 1201526 | 329252 | 14822 52 | 28 | 51 482.72/482.81 c 481s | 18 | 1206232 | 330652 | 14822 53 | 28 | 51 484.72/484.82 c 483s | 18 | 1211494 | 331952 | 14822 53 | 28 | 51 486.82/486.95 c 485s | 18 | 1217343 | 333352 | 14822 53 | 28 | 51 488.92/489.09 c 488s | 18 | 1222570 | 334852 | 14822 53 | 28 | 51 491.02/491.12 c 490s | 18 | 1228419 | 336152 | 14822 53 | 28 | 51 493.02/493.15 c 492s | 18 | 1233767 | 337552 | 14822 54 | 28 | 51 495.02/495.19 c 494s | 18 | 1239392 | 338952 | 14822 54 | 28 | 51 497.12/497.25 c 496s | 18 | 1245299 | 340352 | 14822 54 | 28 | 51 499.22/499.36 c 498s | 18 | 1250326 | 341752 | 14822 54 | 28 | 51 501.32/501.40 c 500s | 18 | 1254958 | 343052 | 14822 54 | 28 | 51 503.32/503.46 c 502s | 18 | 1260478 | 344452 | 14822 54 | 28 | 51 505.42/505.54 c 504s | 18 | 1265364 | 345852 | 14822 55 | 28 | 51 507.41/507.57 c 506s | 18 | 1271448 | 347252 | 14822 55 | 28 | 51 509.61/509.73 c 508s | 18 | 1276878 | 348652 | 14822 55 | 28 | 51 511.71/511.85 c 510s | 18 | 1282525 | 350052 | 14822 55 | 28 | 51 513.81/513.97 c 512s | 18 | 1287476 | 351452 | 14822 55 | 28 | 51 515.82/516.00 c 514s | 18 | 1291723 | 352752 | 14822 56 | 28 | 51 517.91/518.09 c 517s | 18 | 1296794 | 354252 | 14822 56 | 28 | 51 520.01/520.15 c 519s | 18 | 1303216 | 355752 | 14822 56 | 28 | 51 522.01/522.16 c 521s | 18 | 1308749 | 357152 | 14822 56 | 28 | 51 524.11/524.28 c 523s | 18 | 1314568 | 358652 | 14822 56 | 28 | 51 526.21/526.38 c 525s | 18 | 1319741 | 360052 | 14822 56 | 28 | 51 528.31/528.40 c 527s | 18 | 1325034 | 361452 | 14822 57 | 28 | 51 530.31/530.42 c 529s | 18 | 1328643 | 362452 | 14822 57 | 28 | 51 532.42/532.52 c 531s | 18 | 1333732 | 363752 | 14822 57 | 28 | 51 534.51/534.61 c 533s | 18 | 1339672 | 365152 | 14822 57 | 28 | 51 536.61/536.73 c 535s | 18 | 1344645 | 366652 | 14822 57 | 28 | 51 538.71/538.85 c 537s | 18 | 1349745 | 367852 | 14822 57 | 28 | 51 540.81/540.99 c 539s | 18 | 1355813 | 369252 | 14822 58 | 28 | 51 542.91/543.06 c 541s | 18 | 1361024 | 370752 | 14822 58 | 28 | 51 545.01/545.19 c 544s | 18 | 1366024 | 372252 | 14822 58 | 28 | 51 547.21/547.31 c 546s | 18 | 1370740 | 373552 | 14822 58 | 28 | 51 549.31/549.40 c 548s | 18 | 1376008 | 375052 | 14822 58 | 28 | 51 551.31/551.46 c 550s | 18 | 1380597 | 376452 | 14822 59 | 28 | 51 553.40/553.56 c 552s | 18 | 1386813 | 377952 | 14822 59 | 28 | 51 555.51/555.67 c 554s | 18 | 1392012 | 379452 | 14822 59 | 28 | 51 557.50/557.69 c 556s | 18 | 1397603 | 380752 | 14822 59 | 28 | 51 559.60/559.72 c 558s | 18 | 1402190 | 382052 | 14822 59 | 28 | 51 561.80/561.90 c 560s | 18 | 1406661 | 383352 | 14822 60 | 28 | 51 563.80/563.91 c 562s | 18 | 1411990 | 384752 | 14822 60 | 28 | 51 565.80/566.00 c 564s | 18 | 1417215 | 386152 | 14822 60 | 28 | 51 568.00/568.11 c 567s | 18 | 1422182 | 387552 | 14822 60 | 28 | 51 570.00/570.14 c 569s | 18 | 1427131 | 388952 | 14822 60 | 28 | 51 572.01/572.19 c 571s | 18 | 1431848 | 390352 | 14822 60 | 28 | 51 574.00/574.20 c 573s | 18 | 1436877 | 391752 | 14822 61 | 28 | 51 576.20/576.32 c 575s | 18 | 1441763 | 393152 | 14822 61 | 28 | 51 578.30/578.46 c 577s | 18 | 1446925 | 394552 | 14822 61 | 28 | 51 580.40/580.56 c 579s | 18 | 1452339 | 395952 | 14822 61 | 28 | 51 582.50/582.67 c 581s | 18 | 1457722 | 397352 | 14822 61 | 28 | 51 584.60/584.70 c 583s | 18 | 1463337 | 398752 | 14822 61 | 28 | 51 586.60/586.75 c 585s | 18 | 1468367 | 400152 | 14822 62 | 28 | 51 588.60/588.77 c 587s | 18 | 1474067 | 401652 | 14822 62 | 28 | 51 590.71/590.82 c 589s | 18 | 1479225 | 403152 | 14822 62 | 28 | 51 592.70/592.87 c 591s | 18 | 1484032 | 404652 | 14822 62 | 28 | 51 594.80/594.91 c 593s | 18 | 1489556 | 406152 | 14822 62 | 28 | 51 596.80/596.92 c 595s | 18 | 1492755 | 406952 | 14822 63 | 28 | 51 598.89/599.04 c 597s | 18 | 1497805 | 408252 | 14822 63 | 28 | 51 600.89/601.06 c 599s | 18 | 1502965 | 409652 | 14822 63 | 28 | 51 603.09/603.22 c 602s | 18 | 1508645 | 411152 | 14822 63 | 28 | 51 605.09/605.22 c 604s | 18 | 1513278 | 412352 | 14822 63 | 28 | 51 607.10/607.29 c 606s | 18 | 1518442 | 413652 | 14822 63 | 28 | 51 609.19/609.38 c 608s | 18 | 1523753 | 414952 | 14822 64 | 28 | 51 611.29/611.46 c 610s | 18 | 1528610 | 416352 | 14822 64 | 28 | 51 613.29/613.48 c 612s | 18 | 1533008 | 417652 | 14822 64 | 28 | 51 615.49/615.60 c 614s | 18 | 1538403 | 419052 | 14822 64 | 28 | 51 617.49/617.66 c 616s | 18 | 1543200 | 420552 | 14822 64 | 28 | 51 619.59/619.71 c 618s | 18 | 1547875 | 421952 | 14822 64 | 28 | 51 621.59/621.79 c 620s | 18 | 1552918 | 423352 | 14822 65 | 28 | 51 623.70/623.89 c 622s | 18 | 1557072 | 424652 | 14822 65 | 28 | 51 625.69/625.89 c 624s | 18 | 1561608 | 425852 | 14822 65 | 28 | 51 627.90/628.03 c 626s | 18 | 1566591 | 427252 | 14822 65 | 28 | 51 630.00/630.14 c 629s | 18 | 1572102 | 428652 | 14822 65 | 28 | 51 632.00/632.16 c 631s | 18 | 1577032 | 430052 | 14822 66 | 28 | 51 634.00/634.17 c 633s | 18 | 1582709 | 431452 | 14822 66 | 28 | 51 636.10/636.22 c 635s | 18 | 1587958 | 432852 | 14822 66 | 28 | 51 638.20/638.30 c 637s | 18 | 1593171 | 434252 | 14822 66 | 28 | 51 640.20/640.31 c 639s | 18 | 1598523 | 435652 | 14822 66 | 28 | 51 642.20/642.36 c 641s | 18 | 1603385 | 437052 | 14822 66 | 28 | 51 644.20/644.39 c 643s | 18 | 1607490 | 438352 | 14822 67 | 28 | 51 646.29/646.41 c 645s | 18 | 1612688 | 439752 | 14822 67 | 28 | 51 648.29/648.46 c 647s | 18 | 1617396 | 441252 | 16305 67 | 28 | 51 650.39/650.53 c 649s | 18 | 1622984 | 442752 | 16305 67 | 28 | 51 652.49/652.61 c 651s | 18 | 1628198 | 444152 | 16305 67 | 28 | 51 652.99/653.10 c 652s | 19 | 1629189 | 444482 | 16305 67 | 28 | 51 655.09/655.28 c 654s | 19 | 1632061 | 445382 | 16305 67 | 28 | 51 657.29/657.42 c 656s | 19 | 1635935 | 446482 | 16305 67 | 28 | 51 659.29/659.42 c 658s | 19 | 1640727 | 447782 | 16305 68 | 28 | 51 661.29/661.42 c 660s | 19 | 1645820 | 449182 | 16305 68 | 28 | 51 663.39/663.54 c 662s | 19 | 1650544 | 450482 | 16305 68 | 28 | 51 665.50/665.65 c 664s | 19 | 1655003 | 451882 | 16305 68 | 28 | 51 667.60/667.75 c 666s | 19 | 1658661 | 453182 | 16305 68 | 28 | 51 669.59/669.77 c 668s | 19 | 1663188 | 454482 | 16305 68 | 28 | 51 671.69/671.81 c 670s | 19 | 1668327 | 455882 | 16305 69 | 28 | 51 673.79/673.93 c 672s | 19 | 1674460 | 457382 | 16305 69 | 28 | 51 675.89/676.01 c 674s | 19 | 1679608 | 458782 | 16305 69 | 28 | 51 677.99/678.15 c 677s | 19 | 1685312 | 460282 | 16305 69 | 28 | 51 680.09/680.29 c 679s | 19 | 1690356 | 461782 | 16305 69 | 28 | 51 682.19/682.30 c 681s | 19 | 1694894 | 463182 | 16305 69 | 28 | 51 684.19/684.32 c 683s | 19 | 1699425 | 464482 | 16305 70 | 28 | 51 686.19/686.38 c 685s | 19 | 1704753 | 465982 | 16305 70 | 28 | 51 688.29/688.45 c 687s | 19 | 1709741 | 467382 | 16305 70 | 28 | 51 690.39/690.51 c 689s | 19 | 1714198 | 468682 | 16305 70 | 28 | 51 692.48/692.65 c 691s | 19 | 1719497 | 470082 | 16305 70 | 28 | 51 694.48/694.67 c 693s | 19 | 1724352 | 471382 | 16305 70 | 28 | 51 696.58/696.75 c 695s | 19 | 1728893 | 472682 | 16305 71 | 28 | 51 698.58/698.79 c 697s | 19 | 1734179 | 474082 | 16305 71 | 28 | 51 700.69/700.85 c 699s | 19 | 1740151 | 475482 | 16305 71 | 28 | 51 702.79/702.98 c 701s | 19 | 1745236 | 476982 | 16305 71 | 28 | 51 704.88/705.05 c 703s | 19 | 1749778 | 478482 | 16305 71 | 28 | 51 706.98/707.14 c 706s | 19 | 1754888 | 479882 | 16305 71 | 28 | 51 708.98/709.16 c 708s | 19 | 1759779 | 481182 | 16305 72 | 28 | 51 711.08/711.22 c 710s | 19 | 1764423 | 482682 | 16305 72 | 28 | 51 713.08/713.27 c 712s | 19 | 1769598 | 483982 | 16305 72 | 28 | 51 715.18/715.37 c 714s | 19 | 1773701 | 485282 | 16305 72 | 28 | 51 717.38/717.51 c 716s | 19 | 1778809 | 486682 | 16305 72 | 28 | 51 719.48/719.65 c 718s | 19 | 1783837 | 488082 | 16305 72 | 28 | 51 721.59/721.76 c 720s | 19 | 1789168 | 489482 | 16305 73 | 28 | 51 723.69/723.81 c 722s | 19 | 1794774 | 490982 | 16305 73 | 28 | 51 725.68/725.89 c 724s | 19 | 1799490 | 492482 | 16305 73 | 28 | 51 727.88/728.01 c 726s | 19 | 1804682 | 493782 | 16305 73 | 28 | 51 729.88/730.04 c 728s | 19 | 1807941 | 494682 | 16305 73 | 28 | 51 731.98/732.13 c 731s | 19 | 1811702 | 495682 | 16305 73 | 28 | 51 734.08/734.29 c 733s | 19 | 1817903 | 496982 | 16305 73 | 28 | 51 736.18/736.36 c 735s | 19 | 1823447 | 498282 | 16305 74 | 28 | 51 738.17/738.36 c 737s | 19 | 1828383 | 499682 | 16305 74 | 28 | 51 740.18/740.39 c 739s | 19 | 1832813 | 500882 | 16305 74 | 28 | 51 742.38/742.51 c 741s | 19 | 1837874 | 502282 | 16305 74 | 28 | 51 744.37/744.57 c 743s | 19 | 1842377 | 503682 | 16305 74 | 28 | 51 746.67/746.82 c 745s | 19 | 1847140 | 504882 | 16305 74 | 28 | 51 748.67/748.85 c 747s | 19 | 1851401 | 506082 | 16305 74 | 28 | 51 750.67/750.87 c 749s | 19 | 1856381 | 507382 | 16305 75 | 28 | 51 752.77/752.98 c 751s | 19 | 1861890 | 508782 | 16305 75 | 28 | 51 754.87/755.02 c 753s | 19 | 1867597 | 510182 | 16305 75 | 28 | 51 756.97/757.15 c 756s | 19 | 1872605 | 511682 | 16305 75 | 28 | 51 759.07/759.26 c 758s | 19 | 1878028 | 512882 | 16305 75 | 28 | 51 761.08/761.29 c 760s | 19 | 1882609 | 514082 | 16305 75 | 28 | 51 763.17/763.30 c 762s | 19 | 1887464 | 515382 | 16305 76 | 28 | 51 765.27/765.42 c 764s | 19 | 1891991 | 516782 | 16305 76 | 28 | 51 767.37/767.51 c 766s | 19 | 1896620 | 518182 | 16305 76 | 28 | 51 769.47/769.67 c 768s | 19 | 1902602 | 519582 | 16305 76 | 28 | 51 771.47/771.67 c 770s | 19 | 1906899 | 520882 | 16305 76 | 28 | 51 773.67/773.80 c 772s | 19 | 1911288 | 522182 | 16305 76 | 28 | 51 775.67/775.84 c 774s | 19 | 1915418 | 523482 | 16305 77 | 28 | 51 777.77/777.98 c 776s | 19 | 1920415 | 524882 | 16305 77 | 28 | 51 779.77/780.00 c 778s | 19 | 1924548 | 526282 | 16305 77 | 28 | 51 781.97/782.16 c 781s | 19 | 1930430 | 527682 | 16305 77 | 28 | 51 783.97/784.17 c 783s | 19 | 1934927 | 528982 | 16305 77 | 28 | 51 786.07/786.22 c 785s | 19 | 1940228 | 530382 | 16305 77 | 28 | 51 788.17/788.30 c 787s | 19 | 1945554 | 531782 | 16305 78 | 28 | 51 790.16/790.32 c 789s | 19 | 1950255 | 533182 | 16305 78 | 28 | 51 792.16/792.36 c 791s | 19 | 1954993 | 534582 | 16305 78 | 28 | 51 794.26/794.49 c 793s | 19 | 1959963 | 535982 | 16305 78 | 28 | 51 796.37/796.58 c 795s | 19 | 1964969 | 537382 | 16305 78 | 28 | 51 798.47/798.68 c 797s | 19 | 1969333 | 538782 | 16305 78 | 28 | 51 800.56/800.80 c 799s | 19 | 1973693 | 540182 | 16305 79 | 28 | 51 802.66/802.82 c 801s | 19 | 1979001 | 541682 | 16305 79 | 28 | 51 804.66/804.87 c 803s | 19 | 1982206 | 542482 | 16305 79 | 28 | 51 806.86/807.01 c 805s | 19 | 1987625 | 543782 | 16305 79 | 28 | 51 808.86/809.07 c 807s | 19 | 1992580 | 545082 | 16305 79 | 28 | 51 810.96/811.11 c 810s | 19 | 1998602 | 546582 | 16305 79 | 28 | 51 812.97/813.17 c 812s | 19 | 2004005 | 547882 | 16305 79 | 28 | 51 815.08/815.21 c 814s | 19 | 2008877 | 549182 | 16305 80 | 28 | 51 817.07/817.30 c 816s | 19 | 2013334 | 550582 | 16305 80 | 28 | 51 819.27/819.41 c 818s | 19 | 2017825 | 551982 | 16305 80 | 28 | 51 821.27/821.46 c 820s | 19 | 2023103 | 553282 | 16305 80 | 28 | 51 823.37/823.55 c 822s | 19 | 2027674 | 554582 | 16305 80 | 28 | 51 825.37/825.56 c 824s | 19 | 2032108 | 555782 | 16305 80 | 28 | 51 827.47/827.65 c 826s | 19 | 2036647 | 557082 | 16305 81 | 28 | 51 829.47/829.66 c 828s | 19 | 2041680 | 558382 | 16305 81 | 28 | 51 831.47/831.67 c 830s | 19 | 2047047 | 559682 | 16305 81 | 28 | 51 833.57/833.78 c 832s | 19 | 2052591 | 561082 | 16305 81 | 28 | 51 835.66/835.85 c 834s | 19 | 2058413 | 562482 | 16305 81 | 28 | 51 837.76/837.90 c 836s | 19 | 2063226 | 563882 | 16305 81 | 28 | 51 839.76/839.98 c 838s | 19 | 2068211 | 565282 | 16305 81 | 28 | 51 841.96/842.10 c 841s | 19 | 2073949 | 566782 | 16305 82 | 28 | 51 843.96/844.17 c 843s | 19 | 2079875 | 568182 | 16305 82 | 28 | 51 846.06/846.26 c 845s | 19 | 2085432 | 569582 | 16305 82 | 28 | 51 848.16/848.34 c 847s | 19 | 2090131 | 570982 | 16305 82 | 28 | 51 850.17/850.40 c 849s | 19 | 2094677 | 572282 | 16305 82 | 28 | 51 852.26/852.46 c 851s | 19 | 2099760 | 573582 | 16305 82 | 28 | 51 854.46/854.60 c 853s | 19 | 2104655 | 574982 | 16305 83 | 28 | 51 856.46/856.61 c 855s | 19 | 2109738 | 576382 | 16305 83 | 28 | 51 858.46/858.63 c 857s | 19 | 2114184 | 577782 | 16305 83 | 28 | 51 860.56/860.71 c 859s | 19 | 2119440 | 579182 | 16305 83 | 28 | 51 862.56/862.75 c 861s | 19 | 2124159 | 580582 | 16305 83 | 28 | 51 864.66/864.87 c 863s | 19 | 2129592 | 581982 | 16305 83 | 28 | 51 866.86/867.00 c 865s | 19 | 2134870 | 583582 | 16305 84 | 28 | 51 868.86/869.03 c 867s | 19 | 2140056 | 585082 | 16305 84 | 28 | 51 870.96/871.11 c 870s | 19 | 2146167 | 586582 | 16305 84 | 28 | 51 873.06/873.24 c 872s | 19 | 2151623 | 588082 | 16305 84 | 28 | 51 875.16/875.33 c 874s | 19 | 2154741 | 589182 | 16305 84 | 28 | 51 877.15/877.37 c 876s | 19 | 2159220 | 590382 | 16305 84 | 28 | 51 879.25/879.41 c 878s | 19 | 2164415 | 591682 | 16305 85 | 28 | 51 881.55/881.77 c 880s | 19 | 2169142 | 592982 | 16305 85 | 28 | 51 883.65/883.83 c 882s | 19 | 2174062 | 594182 | 16305 85 | 28 | 51 885.65/885.88 c 884s | 19 | 2178708 | 595482 | 16305 85 | 28 | 51 887.75/887.99 c 886s | 19 | 2183928 | 596782 | 16305 85 | 28 | 51 889.95/890.15 c 889s | 19 | 2189122 | 598082 | 16305 85 | 28 | 51 892.15/892.35 c 891s | 19 | 2194371 | 599382 | 16305 86 | 28 | 51 894.35/894.52 c 893s | 19 | 2198593 | 600682 | 16305 86 | 28 | 51 896.35/896.54 c 895s | 19 | 2203819 | 602082 | 16305 86 | 28 | 51 898.56/898.71 c 897s | 19 | 2208956 | 603482 | 16305 86 | 28 | 51 900.65/900.80 c 899s | 19 | 2214333 | 604782 | 16305 86 | 28 | 51 902.65/902.87 c 901s | 19 | 2219503 | 606082 | 16305 86 | 28 | 51 904.65/904.88 c 903s | 19 | 2224481 | 607282 | 16305 86 | 28 | 51 906.75/906.90 c 905s | 19 | 2229131 | 608582 | 16305 87 | 28 | 51 908.75/908.99 c 907s | 19 | 2233790 | 610082 | 16305 87 | 28 | 51 910.85/911.07 c 909s | 19 | 2238241 | 611482 | 16305 87 | 28 | 51 912.95/913.15 c 912s | 19 | 2243222 | 612882 | 16305 87 | 28 | 51 915.05/915.27 c 914s | 19 | 2248858 | 614282 | 16305 87 | 28 | 51 917.25/917.41 c 916s | 19 | 2253177 | 615782 | 16305 87 | 28 | 51 919.35/919.52 c 918s | 19 | 2257733 | 617182 | 16305 88 | 28 | 51 921.34/921.58 c 920s | 19 | 2262587 | 618582 | 16305 88 | 28 | 51 923.34/923.59 c 922s | 19 | 2267243 | 619982 | 16305 88 | 28 | 51 925.44/925.60 c 924s | 19 | 2272190 | 621382 | 16305 88 | 28 | 51 927.44/927.63 c 926s | 19 | 2277283 | 622782 | 16305 88 | 28 | 51 929.54/929.75 c 928s | 19 | 2282149 | 624182 | 16305 88 | 28 | 51 931.65/931.88 c 930s | 19 | 2287443 | 625582 | 16305 89 | 28 | 51 933.75/933.98 c 932s | 19 | 2293075 | 627082 | 16305 89 | 28 | 51 935.95/936.11 c 935s | 19 | 2298531 | 628582 | 16305 89 | 28 | 51 937.94/938.18 c 937s | 19 | 2302428 | 629582 | 16305 89 | 28 | 51 940.04/940.24 c 939s | 19 | 2306959 | 630782 | 16305 89 | 28 | 51 942.14/942.31 c 941s | 19 | 2311892 | 632182 | 16305 89 | 28 | 51 944.14/944.36 c 943s | 19 | 2316196 | 633382 | 16305 90 | 28 | 51 946.24/946.45 c 945s | 19 | 2321021 | 634682 | 16305 90 | 28 | 51 948.24/948.45 c 947s | 19 | 2326436 | 636082 | 16305 90 | 28 | 51 950.35/950.58 c 949s | 19 | 2332535 | 637482 | 16305 90 | 28 | 51 952.55/952.72 c 951s | 19 | 2339164 | 638982 | 16305 90 | 28 | 51 954.54/954.78 c 953s | 19 | 2343876 | 640282 | 16305 90 | 28 | 51 956.64/956.89 c 955s | 19 | 2348769 | 641582 | 16305 91 | 28 | 51 958.84/959.01 c 957s | 19 | 2353845 | 642982 | 16305 91 | 28 | 51 960.84/961.08 c 960s | 19 | 2358815 | 644382 | 16305 91 | 28 | 51 962.94/963.14 c 962s | 19 | 2365395 | 645782 | 16305 91 | 28 | 51 965.04/965.26 c 964s | 19 | 2370665 | 647182 | 16305 91 | 28 | 51 967.14/967.39 c 966s | 19 | 2375683 | 648582 | 16305 91 | 28 | 51 969.34/969.50 c 968s | 19 | 2380696 | 649982 | 16305 91 | 28 | 51 971.34/971.57 c 970s | 19 | 2386390 | 651382 | 16305 92 | 28 | 51 973.54/973.71 c 972s | 19 | 2393087 | 652882 | 16305 92 | 28 | 51 975.54/975.76 c 974s | 19 | 2398453 | 654382 | 16305 92 | 28 | 51 977.64/977.88 c 976s | 19 | 2403269 | 655782 | 16305 92 | 28 | 51 979.74/979.99 c 978s | 19 | 2408401 | 657282 | 16305 92 | 28 | 51 981.93/982.12 c 981s | 19 | 2413619 | 658682 | 16305 93 | 28 | 51 984.03/984.20 c 983s | 19 | 2418687 | 660082 | 16305 93 | 28 | 51 986.03/986.21 c 985s | 19 | 2423744 | 661482 | 17936 93 | 28 | 51 988.03/988.22 c 987s | 19 | 2428989 | 662882 | 17936 93 | 28 | 51 990.13/990.30 c 989s | 19 | 2434018 | 664282 | 17936 93 | 28 | 51 992.14/992.34 c 991s | 19 | 2438654 | 665682 | 17936 93 | 28 | 51 994.34/994.51 c 993s | 19 | 2442093 | 666682 | 17936 93 | 28 | 51 994.53/994.74 c 993s | 20 | 2442630 | 666827 | 17936 93 | 28 | 51 996.63/996.88 c 995s | 20 | 2446811 | 668027 | 17936 93 | 28 | 51 998.83/999.03 c 997s | 20 | 2451363 | 669327 | 17936 94 | 28 | 51 1000.94/1001.18 c 1000s | 20 | 2454777 | 670227 | 17936 94 | 28 | 51 1003.04/1003.25 c 1002s | 20 | 2458635 | 671327 | 17936 94 | 28 | 51 1005.24/1005.42 c 1004s | 20 | 2463783 | 672627 | 17936 94 | 28 | 51 1007.23/1007.46 c 1006s | 20 | 2468230 | 673727 | 17936 94 | 28 | 51 1009.23/1009.46 c 1008s | 20 | 2472532 | 674927 | 17936 94 | 28 | 51 1011.33/1011.58 c 1010s | 20 | 2477134 | 676227 | 17936 94 | 28 | 51 1013.44/1013.65 c 1012s | 20 | 2481591 | 677527 | 17936 94 | 28 | 51 1015.44/1015.69 c 1014s | 20 | 2486187 | 678827 | 17936 95 | 28 | 51 1017.54/1017.71 c 1016s | 20 | 2490976 | 680227 | 17936 95 | 28 | 51 1019.74/1019.93 c 1018s | 20 | 2495566 | 681527 | 17936 95 | 28 | 51 1021.74/1021.95 c 1020s | 20 | 2500480 | 682927 | 17936 95 | 28 | 51 1023.74/1023.99 c 1022s | 20 | 2505860 | 684227 | 17936 95 | 28 | 51 1025.84/1026.06 c 1024s | 20 | 2510920 | 685527 | 17936 95 | 28 | 51 1027.94/1028.17 c 1027s | 20 | 2516239 | 686927 | 17936 95 | 28 | 51 1030.04/1030.23 c 1029s | 20 | 2521361 | 688327 | 17936 96 | 28 | 51 1032.04/1032.29 c 1031s | 20 | 2526877 | 689627 | 17936 96 | 28 | 51 1034.13/1034.34 c 1033s | 20 | 2532071 | 691027 | 17936 96 | 28 | 51 1036.23/1036.40 c 1035s | 20 | 2536552 | 692327 | 17936 96 | 28 | 51 1038.24/1038.47 c 1037s | 20 | 2541268 | 693627 | 17936 96 | 28 | 51 1040.33/1040.60 c 1039s | 20 | 2546249 | 694927 | 17936 96 | 28 | 51 1042.43/1042.69 c 1041s | 20 | 2550904 | 696227 | 17936 96 | 28 | 51 1044.63/1044.80 c 1043s | 20 | 2555692 | 697527 | 17936 97 | 28 | 51 1046.73/1046.93 c 1045s | 20 | 2561052 | 698927 | 17936 97 | 28 | 51 1048.73/1048.95 c 1047s | 20 | 2565551 | 700227 | 17936 97 | 28 | 51 1050.73/1050.99 c 1049s | 20 | 2571082 | 701627 | 17936 97 | 28 | 51 1052.83/1053.07 c 1051s | 20 | 2575989 | 703127 | 17936 97 | 28 | 51 1054.93/1055.15 c 1054s | 20 | 2580344 | 704527 | 17936 97 | 28 | 51 1057.04/1057.29 c 1056s | 20 | 2584859 | 705827 | 17936 98 | 28 | 51 1059.14/1059.33 c 1058s | 20 | 2590380 | 707327 | 17936 98 | 28 | 51 1061.23/1061.40 c 1060s | 20 | 2596358 | 708827 | 17936 98 | 28 | 51 1063.23/1063.50 c 1062s | 20 | 2601080 | 710327 | 17936 98 | 28 | 51 1065.43/1065.61 c 1064s | 20 | 2606451 | 711827 | 17936 98 | 28 | 51 1067.43/1067.63 c 1066s | 20 | 2611551 | 713227 | 17936 98 | 28 | 51 1069.53/1069.73 c 1068s | 20 | 2616978 | 714727 | 17936 98 | 28 | 51 1071.53/1071.76 c 1070s | 20 | 2622808 | 716227 | 17936 99 | 28 | 51 1073.63/1073.89 c 1072s | 20 | 2627523 | 717527 | 17936 99 | 28 | 51 1075.83/1076.03 c 1074s | 20 | 2632467 | 718927 | 17936 99 | 28 | 51 1077.93/1078.11 c 1077s | 20 | 2637498 | 720227 | 17936 99 | 28 | 51 1079.93/1080.15 c 1079s | 20 | 2640977 | 721227 | 17936 99 | 28 | 51 1081.93/1082.17 c 1081s | 20 | 2644696 | 722127 | 17936 99 | 28 | 51 1084.13/1084.35 c 1083s | 20 | 2649803 | 723327 | 17936 99 | 28 | 51 1086.12/1086.36 c 1085s | 20 | 2654472 | 724627 | 17936 100 | 28 | 51 1088.12/1088.39 c 1087s | 20 | 2660814 | 726127 | 17936 100 | 28 | 51 1090.32/1090.56 c 1089s | 20 | 2665418 | 727527 | 17936 100 | 28 | 51 1092.32/1092.56 c 1091s | 20 | 2669412 | 728727 | 17936 100 | 28 | 51 1094.33/1094.57 c 1093s | 20 | 2674395 | 730027 | 17936 100 | 28 | 51 1096.42/1096.60 c 1095s | 20 | 2679497 | 731327 | 17936 100 | 28 | 51 1098.42/1098.62 c 1097s | 20 | 2684757 | 732627 | 17936 100 | 28 | 51 1100.52/1100.70 c 1099s | 20 | 2688944 | 733727 | 17936 101 | 28 | 51 1102.52/1102.71 c 1101s | 20 | 2694822 | 735027 | 17936 101 | 28 | 51 1104.52/1104.73 c 1103s | 20 | 2699495 | 736327 | 17936 101 | 28 | 51 1106.53/1106.77 c 1105s | 20 | 2703767 | 737627 | 17936 101 | 28 | 51 1108.52/1108.79 c 1107s | 20 | 2708190 | 738927 | 17936 101 | 28 | 51 1110.62/1110.88 c 1109s | 20 | 2712750 | 740227 | 17936 101 | 28 | 51 1112.72/1112.96 c 1111s | 20 | 2717424 | 741627 | 17936 101 | 28 | 51 1114.82/1115.09 c 1114s | 20 | 2722102 | 742927 | 17936 102 | 28 | 51 1116.92/1117.14 c 1116s | 20 | 2727699 | 744327 | 17936 102 | 28 | 51 1119.02/1119.26 c 1118s | 20 | 2732719 | 745727 | 17936 102 | 28 | 51 1121.12/1121.37 c 1120s | 20 | 2737702 | 747027 | 17936 102 | 28 | 51 1123.22/1123.49 c 1122s | 20 | 2742507 | 748427 | 17936 102 | 28 | 51 1125.32/1125.52 c 1124s | 20 | 2747077 | 749727 | 17936 102 | 28 | 51 1127.32/1127.58 c 1126s | 20 | 2751881 | 751027 | 17936 102 | 28 | 51 1129.42/1129.70 c 1128s | 20 | 2756084 | 752327 | 17936 103 | 28 | 51 1131.52/1131.75 c 1130s | 20 | 2761235 | 753727 | 17936 103 | 28 | 51 1133.52/1133.77 c 1132s | 20 | 2765826 | 755027 | 17936 103 | 28 | 51 1135.62/1135.80 c 1134s | 20 | 2770633 | 756327 | 17936 103 | 28 | 51 1137.72/1137.90 c 1136s | 20 | 2776614 | 757727 | 17936 103 | 28 | 51 1139.72/1139.95 c 1138s | 20 | 2781520 | 759027 | 17936 103 | 28 | 51 1141.72/1141.96 c 1140s | 20 | 2785872 | 760327 | 17936 103 | 28 | 51 1143.92/1144.17 c 1143s | 20 | 2790399 | 761627 | 17936 104 | 28 | 51 1146.02/1146.26 c 1145s | 20 | 2795620 | 763027 | 17936 104 | 28 | 51 1148.11/1148.35 c 1147s | 20 | 2800562 | 764427 | 17936 104 | 28 | 51 1150.21/1150.40 c 1149s | 20 | 2805515 | 765827 | 17936 104 | 28 | 51 1152.31/1152.52 c 1151s | 20 | 2810968 | 767227 | 17936 104 | 28 | 51 1154.31/1154.55 c 1153s | 20 | 2815776 | 768627 | 17936 104 | 28 | 51 1156.41/1156.68 c 1155s | 20 | 2821420 | 770027 | 17936 104 | 28 | 51 1158.61/1158.81 c 1157s | 20 | 2826013 | 771327 | 17936 105 | 28 | 51 1160.71/1160.94 c 1159s | 20 | 2832014 | 772827 | 17936 105 | 28 | 51 1162.71/1162.98 c 1161s | 20 | 2837223 | 774327 | 17936 105 | 28 | 51 1164.91/1165.11 c 1164s | 20 | 2841707 | 775727 | 17936 105 | 28 | 51 1166.92/1167.16 c 1166s | 20 | 2846921 | 777127 | 17936 105 | 28 | 51 1169.12/1169.40 c 1168s | 20 | 2850655 | 778227 | 17936 105 | 28 | 51 1171.21/1171.44 c 1170s | 20 | 2854605 | 779227 | 17936 105 | 28 | 51 1173.21/1173.48 c 1172s | 20 | 2858915 | 780427 | 17936 106 | 28 | 51 1175.31/1175.50 c 1174s | 20 | 2863292 | 781827 | 17936 106 | 28 | 51 1177.41/1177.64 c 1176s | 20 | 2868482 | 783227 | 17936 106 | 28 | 51 1179.41/1179.66 c 1178s | 20 | 2872279 | 784227 | 17936 106 | 28 | 51 1181.50/1181.79 c 1180s | 20 | 2877166 | 785527 | 17936 106 | 28 | 51 1183.70/1183.92 c 1182s | 20 | 2881653 | 786927 | 17936 106 | 28 | 51 1185.71/1185.94 c 1184s | 20 | 2886457 | 788227 | 17936 106 | 28 | 51 1187.81/1188.00 c 1186s | 20 | 2891046 | 789427 | 17936 107 | 28 | 51 1189.80/1190.09 c 1189s | 20 | 2895931 | 790827 | 17936 107 | 28 | 51 1191.90/1192.15 c 1191s | 20 | 2900554 | 792227 | 17936 107 | 28 | 51 1194.10/1194.30 c 1193s | 20 | 2904979 | 793527 | 17936 107 | 28 | 51 1196.20/1196.41 c 1195s | 20 | 2909923 | 794827 | 17936 107 | 28 | 51 1198.20/1198.46 c 1197s | 20 | 2914887 | 796127 | 17936 107 | 28 | 51 1200.20/1200.49 c 1199s | 20 | 2919726 | 797327 | 17936 107 | 28 | 51 1202.39/1202.63 c 1201s | 20 | 2923876 | 798527 | 17936 107 | 28 | 51 1204.49/1204.74 c 1203s | 20 | 2928815 | 799827 | 17936 108 | 28 | 51 1206.50/1206.78 c 1205s | 20 | 2933273 | 801127 | 17936 108 | 28 | 51 1208.59/1208.86 c 1207s | 20 | 2938051 | 802427 | 17936 108 | 28 | 51 1210.69/1210.91 c 1209s | 20 | 2943101 | 803727 | 17936 108 | 28 | 51 1212.69/1212.93 c 1211s | 20 | 2948029 | 805027 | 17936 108 | 28 | 51 1214.69/1214.98 c 1213s | 20 | 2952082 | 806227 | 17936 108 | 28 | 51 1216.79/1217.01 c 1215s | 20 | 2956864 | 807427 | 17936 108 | 28 | 51 1218.89/1219.16 c 1218s | 20 | 2961525 | 808827 | 17936 109 | 28 | 51 1220.98/1221.20 c 1220s | 20 | 2966077 | 810127 | 17936 109 | 28 | 51 1222.99/1223.21 c 1222s | 20 | 2970825 | 811427 | 17936 109 | 28 | 51 1225.08/1225.31 c 1224s | 20 | 2976119 | 812727 | 17936 109 | 28 | 51 1227.08/1227.38 c 1226s | 20 | 2981062 | 814027 | 17936 109 | 28 | 51 1229.18/1229.43 c 1228s | 20 | 2986078 | 815327 | 17936 109 | 28 | 51 1231.17/1231.47 c 1230s | 20 | 2990528 | 816627 | 17936 109 | 28 | 51 1233.27/1233.51 c 1232s | 20 | 2994667 | 817927 | 17936 110 | 28 | 51 1235.37/1235.64 c 1234s | 20 | 2999498 | 819427 | 17936 110 | 28 | 51 1237.38/1237.67 c 1236s | 20 | 3004219 | 820927 | 17936 110 | 28 | 51 1239.48/1239.75 c 1238s | 20 | 3009047 | 822227 | 17936 110 | 28 | 51 1241.57/1241.90 c 1240s | 20 | 3014253 | 823627 | 17936 110 | 28 | 51 1243.67/1243.92 c 1242s | 20 | 3018729 | 824927 | 17936 110 | 28 | 51 1245.67/1245.94 c 1244s | 20 | 3024460 | 826327 | 17936 110 | 28 | 51 1247.67/1247.99 c 1246s | 20 | 3029723 | 827727 | 17936 111 | 28 | 51 1249.67/1249.99 c 1248s | 20 | 3034945 | 829127 | 17936 111 | 28 | 51 1251.76/1252.03 c 1250s | 20 | 3039474 | 830527 | 17936 111 | 28 | 51 1253.87/1254.11 c 1253s | 20 | 3044574 | 831927 | 17936 111 | 28 | 51 1255.86/1256.13 c 1255s | 20 | 3049802 | 833227 | 17936 111 | 28 | 51 1257.86/1258.16 c 1257s | 20 | 3054260 | 834527 | 17936 111 | 28 | 51 1259.96/1260.27 c 1259s | 20 | 3058982 | 835927 | 17936 111 | 28 | 51 1261.95/1262.28 c 1261s | 20 | 3063706 | 837327 | 17936 112 | 28 | 51 1264.05/1264.33 c 1263s | 20 | 3069076 | 838827 | 17936 112 | 28 | 51 1266.06/1266.35 c 1265s | 20 | 3074715 | 840327 | 17936 112 | 28 | 51 1268.07/1268.40 c 1267s | 20 | 3079666 | 841827 | 17936 112 | 28 | 51 1270.16/1270.49 c 1269s | 20 | 3082693 | 842727 | 17936 112 | 28 | 51 1272.26/1272.56 c 1271s | 20 | 3087730 | 843927 | 17936 112 | 28 | 51 1274.36/1274.62 c 1273s | 20 | 3091371 | 844927 | 17936 112 | 28 | 51 1276.46/1276.74 c 1275s | 20 | 3096572 | 846327 | 17936 113 | 28 | 51 1278.56/1278.85 c 1277s | 20 | 3102000 | 847727 | 17936 113 | 28 | 51 1280.55/1280.86 c 1279s | 20 | 3106539 | 848927 | 17936 113 | 28 | 51 1282.65/1282.95 c 1281s | 20 | 3111345 | 850227 | 17936 113 | 28 | 51 1284.66/1284.98 c 1283s | 20 | 3116147 | 851327 | 17936 113 | 28 | 51 1286.86/1287.11 c 1286s | 20 | 3121009 | 852727 | 17936 113 | 28 | 51 1288.96/1289.29 c 1288s | 20 | 3125652 | 854027 | 17936 113 | 28 | 51 1291.05/1291.36 c 1290s | 20 | 3130685 | 855227 | 17936 114 | 28 | 51 1293.05/1293.38 c 1292s | 20 | 3136073 | 856627 | 17936 114 | 28 | 51 1295.25/1295.55 c 1294s | 20 | 3141431 | 858127 | 17936 114 | 28 | 51 1297.35/1297.69 c 1296s | 20 | 3146762 | 859427 | 17936 114 | 28 | 51 1299.45/1299.77 c 1298s | 20 | 3151753 | 860727 | 17936 114 | 28 | 51 1301.55/1301.84 c 1300s | 20 | 3156226 | 861827 | 17936 114 | 28 | 51 1303.64/1303.97 c 1302s | 20 | 3161499 | 863127 | 17936 114 | 28 | 51 1305.74/1306.07 c 1304s | 20 | 3166486 | 864427 | 17936 115 | 28 | 51 1307.84/1308.12 c 1307s | 20 | 3172486 | 865827 | 17936 115 | 28 | 51 1309.95/1310.26 c 1309s | 20 | 3177415 | 867427 | 17936 115 | 28 | 51 1312.05/1312.34 c 1311s | 20 | 3182912 | 868827 | 17936 115 | 28 | 51 1314.14/1314.40 c 1313s | 20 | 3187967 | 870127 | 17936 115 | 28 | 51 1316.14/1316.49 c 1315s | 20 | 3193078 | 871427 | 17936 115 | 28 | 51 1318.34/1318.60 c 1317s | 20 | 3198965 | 872827 | 17936 115 | 28 | 51 1320.43/1320.73 c 1319s | 20 | 3204098 | 874227 | 17936 116 | 28 | 51 1322.43/1322.75 c 1321s | 20 | 3209301 | 875627 | 17936 116 | 28 | 51 1324.53/1324.88 c 1323s | 20 | 3215491 | 877127 | 17936 116 | 28 | 51 1326.63/1326.90 c 1325s | 20 | 3220492 | 878527 | 17936 116 | 28 | 51 1328.64/1328.92 c 1327s | 20 | 3225195 | 879927 | 17936 116 | 28 | 51 1330.63/1330.96 c 1329s | 20 | 3229431 | 881227 | 17936 116 | 28 | 51 1332.83/1333.14 c 1332s | 20 | 3234111 | 882427 | 17936 117 | 28 | 51 1334.92/1335.28 c 1334s | 20 | 3237180 | 883227 | 17936 117 | 28 | 51 1337.02/1337.32 c 1336s | 20 | 3243191 | 884627 | 17936 117 | 28 | 51 1339.12/1339.43 c 1338s | 20 | 3249224 | 886027 | 17936 117 | 28 | 51 1341.12/1341.45 c 1340s | 20 | 3254097 | 887227 | 17936 117 | 28 | 51 1343.22/1343.52 c 1342s | 20 | 3258024 | 888427 | 17936 117 | 28 | 51 1345.22/1345.59 c 1344s | 20 | 3262068 | 889627 | 17936 117 | 28 | 51 1347.32/1347.61 c 1346s | 20 | 3266610 | 890827 | 17936 117 | 28 | 51 1349.42/1349.74 c 1348s | 20 | 3270240 | 892127 | 17936 118 | 28 | 51 1351.51/1351.85 c 1350s | 20 | 3274739 | 893427 | 17936 118 | 28 | 51 1353.61/1353.98 c 1352s | 20 | 3280142 | 894827 | 17936 118 | 28 | 51 1355.71/1356.06 c 1354s | 20 | 3284476 | 896127 | 17936 118 | 28 | 51 1357.71/1358.09 c 1357s | 20 | 3288462 | 897427 | 17936 118 | 28 | 51 1359.91/1360.20 c 1359s | 20 | 3293076 | 898727 | 17936 118 | 28 | 51 1362.01/1362.36 c 1361s | 20 | 3298111 | 900127 | 17936 118 | 28 | 51 1364.21/1364.50 c 1363s | 20 | 3303070 | 901527 | 17936 119 | 28 | 51 1366.31/1366.64 c 1365s | 20 | 3308597 | 903127 | 17936 119 | 28 | 51 1368.31/1368.68 c 1367s | 20 | 3314290 | 904427 | 17936 119 | 28 | 51 1370.50/1370.80 c 1369s | 20 | 3319982 | 905827 | 17936 119 | 28 | 51 1372.61/1372.96 c 1371s | 20 | 3325024 | 907227 | 17936 119 | 28 | 51 1374.71/1375.09 c 1374s | 20 | 3329510 | 908627 | 17936 119 | 28 | 51 1376.80/1377.12 c 1376s | 20 | 3334311 | 909927 | 17936 119 | 28 | 51 1378.80/1379.14 c 1378s | 20 | 3338887 | 911227 | 17936 120 | 28 | 51 1380.90/1381.27 c 1380s | 20 | 3344012 | 912727 | 17936 120 | 28 | 51 1382.99/1383.35 c 1382s | 20 | 3348647 | 914127 | 17936 120 | 28 | 51 1385.19/1385.51 c 1384s | 20 | 3353588 | 915527 | 17936 120 | 28 | 51 1387.19/1387.55 c 1386s | 20 | 3358827 | 916827 | 17936 120 | 28 | 51 1389.19/1389.57 c 1388s | 20 | 3363137 | 918127 | 17936 120 | 28 | 51 1391.39/1391.70 c 1390s | 20 | 3367734 | 919427 | 17936 120 | 28 | 51 1393.40/1393.76 c 1392s | 20 | 3372376 | 920827 | 17936 121 | 28 | 51 1395.49/1395.86 c 1394s | 20 | 3377661 | 922327 | 17936 121 | 28 | 51 1397.89/1398.24 c 1397s | 20 | 3380999 | 923227 | 17936 121 | 28 | 51 1399.89/1400.26 c 1399s | 20 | 3385737 | 924427 | 17936 121 | 28 | 51 1401.98/1402.30 c 1401s | 20 | 3390214 | 925727 | 17936 121 | 28 | 51 1403.98/1404.36 c 1403s | 20 | 3394621 | 927027 | 17936 121 | 28 | 51 1405.98/1406.39 c 1405s | 20 | 3398885 | 928127 | 17936 121 | 28 | 51 1407.98/1408.39 c 1407s | 20 | 3402903 | 929327 | 17936 122 | 28 | 51 1410.08/1410.43 c 1409s | 20 | 3407870 | 930727 | 17936 122 | 28 | 51 1412.08/1412.46 c 1411s | 20 | 3412572 | 932127 | 17936 122 | 28 | 51 1414.08/1414.49 c 1413s | 20 | 3417533 | 933427 | 17936 122 | 28 | 51 1416.27/1416.62 c 1415s | 20 | 3422444 | 934827 | 17936 122 | 28 | 51 1418.37/1418.75 c 1417s | 20 | 3427769 | 936227 | 17936 122 | 28 | 51 1420.37/1420.77 c 1419s | 20 | 3432319 | 937527 | 17936 122 | 28 | 51 1422.47/1422.82 c 1421s | 20 | 3436798 | 938827 | 17936 123 | 28 | 51 1424.57/1424.90 c 1423s | 20 | 3441831 | 940227 | 17936 123 | 28 | 51 1426.57/1426.93 c 1425s | 20 | 3447912 | 941727 | 17936 123 | 28 | 51 1428.57/1428.97 c 1427s | 20 | 3452632 | 943027 | 17936 123 | 28 | 51 1430.56/1430.98 c 1429s | 20 | 3457624 | 944327 | 17936 123 | 28 | 51 1432.76/1433.10 c 1432s | 20 | 3462851 | 945727 | 17936 123 | 28 | 51 1434.86/1435.22 c 1434s | 20 | 3468216 | 947127 | 17936 123 | 28 | 51 1436.86/1437.22 c 1436s | 20 | 3473455 | 948527 | 17936 124 | 28 | 51 1438.96/1439.33 c 1438s | 20 | 3478174 | 949927 | 17936 124 | 28 | 51 1441.06/1441.46 c 1440s | 20 | 3482758 | 951327 | 17936 124 | 28 | 51 1443.06/1443.48 c 1442s | 20 | 3487222 | 952727 | 17936 124 | 28 | 51 1445.16/1445.54 c 1444s | 20 | 3492579 | 954127 | 17936 124 | 28 | 51 1447.26/1447.63 c 1446s | 20 | 3497344 | 955527 | 17936 124 | 28 | 51 1449.35/1449.75 c 1448s | 20 | 3502118 | 956927 | 17936 125 | 28 | 51 1451.35/1451.79 c 1450s | 20 | 3507357 | 958427 | 17936 125 | 28 | 51 1453.45/1453.82 c 1452s | 20 | 3512781 | 959927 | 17936 125 | 28 | 51 1455.45/1455.82 c 1454s | 20 | 3517305 | 961327 | 17936 125 | 28 | 51 1457.45/1457.83 c 1456s | 20 | 3520067 | 962027 | 17936 125 | 28 | 51 1459.55/1459.94 c 1458s | 20 | 3524185 | 963327 | 17936 125 | 28 | 51 1461.55/1461.97 c 1460s | 20 | 3528666 | 964527 | 17936 125 | 28 | 51 1463.64/1464.09 c 1463s | 20 | 3533323 | 965827 | 17936 125 | 28 | 51 1465.74/1466.15 c 1465s | 20 | 3538006 | 967227 | 17936 126 | 28 | 51 1467.84/1468.29 c 1467s | 20 | 3542629 | 968427 | 17936 126 | 28 | 51 1470.04/1470.43 c 1469s | 20 | 3548014 | 969927 | 17936 126 | 28 | 51 1472.15/1472.56 c 1471s | 20 | 3553124 | 971427 | 17936 126 | 28 | 51 1474.34/1474.70 c 1473s | 20 | 3557393 | 972727 | 17936 126 | 28 | 51 1476.34/1476.70 c 1475s | 20 | 3562556 | 973927 | 17936 126 | 28 | 51 1478.44/1478.85 c 1477s | 20 | 3567312 | 975227 | 17936 126 | 28 | 51 1480.54/1480.90 c 1479s | 20 | 3572254 | 976627 | 17936 127 | 28 | 51 1482.55/1482.91 c 1481s | 20 | 3576691 | 977927 | 17936 127 | 28 | 51 1484.54/1484.96 c 1483s | 20 | 3580605 | 979127 | 17936 127 | 28 | 51 1486.74/1487.13 c 1486s | 20 | 3584972 | 980427 | 17936 127 | 28 | 51 1488.84/1489.20 c 1488s | 20 | 3590091 | 981727 | 17936 127 | 28 | 51 1490.83/1491.28 c 1490s | 20 | 3595074 | 983027 | 17936 127 | 28 | 51 1493.03/1493.41 c 1492s | 20 | 3599959 | 984327 | 17936 127 | 28 | 51 1495.13/1495.52 c 1494s | 20 | 3605306 | 985727 | 17936 128 | 28 | 51 1497.13/1497.57 c 1496s | 20 | 3609926 | 987227 | 17936 128 | 28 | 51 1499.23/1499.65 c 1498s | 20 | 3615585 | 988627 | 17936 128 | 28 | 51 1501.32/1501.74 c 1500s | 20 | 3620138 | 990027 | 17936 128 | 28 | 51 1503.43/1503.84 c 1502s | 20 | 3625210 | 991627 | 17936 128 | 28 | 51 1505.53/1505.98 c 1504s | 20 | 3629930 | 993027 | 19730 128 | 28 | 51 1507.62/1508.09 c 1507s | 20 | 3634557 | 994327 | 19730 128 | 28 | 51 1509.72/1510.12 c 1509s | 20 | 3638987 | 995627 | 19730 128 | 28 | 51 1511.72/1512.17 c 1511s | 20 | 3644221 | 997027 | 19730 129 | 28 | 51 1513.82/1514.22 c 1513s | 20 | 3649886 | 998527 | 19730 129 | 28 | 51 1516.01/1516.46 c 1515s | 20 | 3654031 | 999927 | 19730 129 | 28 | 51 1517.01/1517.42 c 1516s | 21 | 3655524 | 1000345 | 19730 129 | 28 | 51 1519.11/1519.51 c 1518s | 21 | 3658726 | 1001145 | 19730 129 | 28 | 51 1521.21/1521.62 c 1520s | 21 | 3663328 | 1002445 | 19730 129 | 28 | 51 1523.22/1523.63 c 1522s | 21 | 3667553 | 1003745 | 19730 129 | 28 | 51 1525.21/1525.66 c 1524s | 21 | 3671571 | 1005145 | 19730 129 | 28 | 51 1527.41/1527.81 c 1526s | 21 | 3675621 | 1006345 | 19730 130 | 28 | 51 1529.51/1529.92 c 1528s | 21 | 3680983 | 1007745 | 19730 130 | 28 | 51 1531.50/1531.98 c 1530s | 21 | 3685007 | 1009045 | 19730 130 | 28 | 51 1533.60/1534.03 c 1532s | 21 | 3689177 | 1010245 | 19730 130 | 28 | 51 1535.70/1536.15 c 1535s | 21 | 3693619 | 1011545 | 19730 130 | 28 | 51 1537.70/1538.17 c 1537s | 21 | 3698059 | 1012745 | 19730 130 | 28 | 51 1539.71/1540.18 c 1539s | 21 | 3702371 | 1013945 | 19730 130 | 28 | 51 1541.80/1542.24 c 1541s | 21 | 3707258 | 1015245 | 19730 130 | 28 | 51 1543.80/1544.24 c 1543s | 21 | 3711222 | 1016445 | 19730 131 | 28 | 51 1545.80/1546.29 c 1545s | 21 | 3715534 | 1017645 | 19730 131 | 28 | 51 1547.90/1548.34 c 1547s | 21 | 3720192 | 1019045 | 19730 131 | 28 | 51 1549.90/1550.34 c 1549s | 21 | 3724896 | 1020245 | 19730 131 | 28 | 51 1551.89/1552.37 c 1551s | 21 | 3729644 | 1021545 | 19730 131 | 28 | 51 1554.09/1554.51 c 1553s | 21 | 3734193 | 1022945 | 19730 131 | 28 | 51 1556.20/1556.66 c 1555s | 21 | 3738510 | 1024245 | 19730 131 | 28 | 51 1558.40/1558.84 c 1557s | 21 | 3743095 | 1025445 | 19730 131 | 28 | 51 1560.39/1560.89 c 1559s | 21 | 3748031 | 1026745 | 19730 132 | 28 | 51 1562.49/1562.97 c 1561s | 21 | 3753061 | 1028145 | 19730 132 | 28 | 51 1564.59/1565.00 c 1563s | 21 | 3757687 | 1029445 | 19730 132 | 28 | 51 1566.59/1567.07 c 1565s | 21 | 3762387 | 1030845 | 19730 132 | 28 | 51 1568.69/1569.16 c 1568s | 21 | 3767069 | 1032245 | 19730 132 | 28 | 51 1570.78/1571.21 c 1570s | 21 | 3771421 | 1033545 | 19730 132 | 28 | 51 1572.88/1573.33 c 1572s | 21 | 3775632 | 1034845 | 19730 132 | 28 | 51 1574.98/1575.44 c 1574s | 21 | 3780006 | 1036145 | 19730 132 | 28 | 51 1577.09/1577.53 c 1576s | 21 | 3785023 | 1037445 | 19730 133 | 28 | 51 1579.08/1579.53 c 1578s | 21 | 3790470 | 1038845 | 19730 133 | 28 | 51 1581.08/1581.57 c 1580s | 21 | 3795344 | 1040245 | 19730 133 | 28 | 51 1583.18/1583.67 c 1582s | 21 | 3799573 | 1041645 | 19730 133 | 28 | 51 1585.28/1585.76 c 1584s | 21 | 3804061 | 1042945 | 19730 133 | 28 | 51 1587.38/1587.83 c 1586s | 21 | 3808125 | 1044045 | 19730 133 | 28 | 51 1589.58/1590.01 c 1588s | 21 | 3812670 | 1045345 | 19730 133 | 28 | 51 1591.67/1592.14 c 1591s | 21 | 3816332 | 1046445 | 19730 133 | 28 | 51 1593.77/1594.24 c 1593s | 21 | 3820612 | 1047645 | 19730 134 | 28 | 51 1595.87/1596.31 c 1595s | 21 | 3824150 | 1048345 | 19730 134 | 28 | 51 1597.88/1598.38 c 1597s | 21 | 3828236 | 1049445 | 19730 134 | 28 | 51 1599.97/1600.45 c 1599s | 21 | 3833014 | 1050645 | 19730 134 | 28 | 51 1602.07/1602.54 c 1601s | 21 | 3837315 | 1051945 | 19730 134 | 28 | 51 1604.17/1604.62 c 1603s | 21 | 3840762 | 1053045 | 19730 134 | 28 | 51 1606.18/1606.67 c 1605s | 21 | 3845030 | 1054145 | 19730 134 | 28 | 51 1608.38/1608.84 c 1607s | 21 | 3849112 | 1055345 | 19730 134 | 28 | 51 1610.47/1610.97 c 1609s | 21 | 3853141 | 1056545 | 19730 134 | 28 | 51 1612.67/1613.11 c 1612s | 21 | 3857245 | 1057745 | 19730 135 | 28 | 51 1614.77/1615.25 c 1614s | 21 | 3861809 | 1059045 | 19730 135 | 28 | 51 1616.87/1617.38 c 1616s | 21 | 3867036 | 1060245 | 19730 135 | 28 | 51 1619.07/1619.50 c 1618s | 21 | 3871631 | 1061645 | 19730 135 | 28 | 51 1621.17/1621.64 c 1620s | 21 | 3876990 | 1062945 | 19730 135 | 28 | 51 1623.27/1623.78 c 1622s | 21 | 3881861 | 1064245 | 19730 135 | 28 | 51 1625.47/1625.95 c 1624s | 21 | 3887039 | 1065545 | 19730 135 | 28 | 51 1627.57/1628.01 c 1626s | 21 | 3891161 | 1066745 | 19730 135 | 28 | 51 1629.66/1630.10 c 1629s | 21 | 3895518 | 1068045 | 19730 136 | 28 | 51 1631.66/1632.14 c 1631s | 21 | 3899954 | 1069345 | 19730 136 | 28 | 51 1633.76/1634.29 c 1633s | 21 | 3904022 | 1070645 | 19730 136 | 28 | 51 1635.96/1636.40 c 1635s | 21 | 3909053 | 1072045 | 19730 136 | 28 | 51 1637.96/1638.41 c 1637s | 21 | 3913201 | 1073245 | 19730 136 | 28 | 51 1640.06/1640.53 c 1639s | 21 | 3917272 | 1074545 | 19730 136 | 28 | 51 1642.16/1642.62 c 1641s | 21 | 3921516 | 1075745 | 19730 136 | 28 | 51 1644.16/1644.69 c 1643s | 21 | 3925576 | 1076945 | 19730 136 | 28 | 51 1646.26/1646.80 c 1645s | 21 | 3929464 | 1078245 | 19730 137 | 28 | 51 1648.36/1648.83 c 1647s | 21 | 3934121 | 1079545 | 19730 137 | 28 | 51 1650.45/1650.97 c 1649s | 21 | 3939217 | 1080945 | 19730 137 | 28 | 51 1652.55/1653.04 c 1651s | 21 | 3943803 | 1082245 | 19730 137 | 28 | 51 1654.65/1655.10 c 1654s | 21 | 3948369 | 1083545 | 19730 137 | 28 | 51 1656.75/1657.20 c 1656s | 21 | 3952264 | 1084845 | 19730 137 | 28 | 51 1658.75/1659.25 c 1658s | 21 | 3956558 | 1086145 | 19730 137 | 28 | 51 1660.85/1661.33 c 1660s | 21 | 3961207 | 1087445 | 19730 137 | 28 | 51 1662.95/1663.49 c 1662s | 21 | 3963407 | 1088145 | 19730 138 | 28 | 51 1665.14/1665.62 c 1664s | 21 | 3967482 | 1089245 | 19730 138 | 28 | 51 1667.25/1667.72 c 1666s | 21 | 3971942 | 1090545 | 19730 138 | 28 | 51 1669.24/1669.80 c 1668s | 21 | 3975869 | 1091745 | 19730 138 | 28 | 51 1671.44/1671.95 c 1670s | 21 | 3980795 | 1092945 | 19730 138 | 28 | 51 1673.54/1674.04 c 1672s | 21 | 3985221 | 1094045 | 19730 138 | 28 | 51 1675.54/1676.05 c 1674s | 21 | 3989352 | 1095145 | 19730 138 | 28 | 51 1677.54/1678.08 c 1677s | 21 | 3993993 | 1096345 | 19730 138 | 28 | 51 1679.54/1680.09 c 1679s | 21 | 3998142 | 1097545 | 19730 138 | 28 | 51 1681.63/1682.19 c 1681s | 21 | 4002776 | 1098745 | 19730 139 | 28 | 51 1683.83/1684.31 c 1683s | 21 | 4008205 | 1100045 | 19730 139 | 28 | 51 1685.94/1686.45 c 1685s | 21 | 4013216 | 1101445 | 19730 139 | 28 | 51 1688.14/1688.65 c 1687s | 21 | 4018622 | 1102845 | 19730 139 | 28 | 51 1690.13/1690.66 c 1689s | 21 | 4023160 | 1104045 | 19730 139 | 28 | 51 1692.13/1692.69 c 1691s | 21 | 4027467 | 1105145 | 19730 139 | 28 | 51 1694.33/1694.82 c 1693s | 21 | 4032188 | 1106445 | 19730 139 | 28 | 51 1696.33/1696.85 c 1695s | 21 | 4037188 | 1107645 | 19730 139 | 28 | 51 1698.43/1698.93 c 1697s | 21 | 4041780 | 1108845 | 19730 140 | 28 | 51 1700.52/1701.08 c 1700s | 21 | 4046662 | 1110245 | 19730 140 | 28 | 51 1702.62/1703.11 c 1702s | 21 | 4051116 | 1111445 | 19730 140 | 28 | 51 1704.63/1705.17 c 1704s | 21 | 4055078 | 1112645 | 19730 140 | 28 | 51 1706.83/1707.37 c 1706s | 21 | 4058988 | 1113845 | 19730 140 | 28 | 51 1708.82/1709.37 c 1708s | 21 | 4063304 | 1114945 | 19730 140 | 28 | 51 1710.81/1711.40 c 1710s | 21 | 4067675 | 1116145 | 19730 140 | 28 | 51 1713.01/1713.51 c 1712s | 21 | 4072202 | 1117445 | 19730 140 | 28 | 51 1715.11/1715.64 c 1714s | 21 | 4076222 | 1118645 | 19730 141 | 28 | 51 1717.21/1717.76 c 1716s | 21 | 4081464 | 1119945 | 19730 141 | 28 | 51 1719.41/1719.90 c 1718s | 21 | 4086163 | 1121245 | 19730 141 | 28 | 51 1721.41/1721.93 c 1720s | 21 | 4091296 | 1122545 | 19730 141 | 28 | 51 1723.51/1724.01 c 1722s | 21 | 4096279 | 1123845 | 19730 141 | 28 | 51 1725.61/1726.12 c 1725s | 21 | 4101724 | 1125245 | 19730 141 | 28 | 51 1727.62/1728.16 c 1727s | 21 | 4106830 | 1126545 | 19730 141 | 28 | 51 1729.71/1730.26 c 1729s | 21 | 4111923 | 1127945 | 19730 141 | 28 | 51 1731.80/1732.30 c 1731s | 21 | 4116846 | 1129245 | 19730 142 | 28 | 51 1733.80/1734.35 c 1733s | 21 | 4121760 | 1130645 | 19730 142 | 28 | 51 1735.80/1736.35 c 1735s | 21 | 4126662 | 1131945 | 19730 142 | 28 | 51 1737.90/1738.48 c 1737s | 21 | 4132244 | 1133345 | 19730 142 | 28 | 51 1740.00/1740.60 c 1739s | 21 | 4137278 | 1134745 | 19730 142 | 28 | 51 1742.10/1742.64 c 1741s | 21 | 4141272 | 1136045 | 19730 142 | 28 | 51 1744.10/1744.67 c 1743s | 21 | 4145872 | 1137345 | 19730 142 | 28 | 51 1746.30/1746.82 c 1745s | 21 | 4149541 | 1138545 | 19730 143 | 28 | 51 1748.40/1748.92 c 1747s | 21 | 4152852 | 1139545 | 19730 143 | 28 | 51 1750.59/1751.10 c 1750s | 21 | 4157921 | 1140845 | 19730 143 | 28 | 51 1752.59/1753.19 c 1752s | 21 | 4161375 | 1141745 | 19730 143 | 28 | 51 1754.69/1755.25 c 1754s | 21 | 4165697 | 1142845 | 19730 143 | 28 | 51 1756.79/1757.36 c 1756s | 21 | 4170547 | 1144145 | 19730 143 | 28 | 51 1758.89/1759.46 c 1758s | 21 | 4175815 | 1145245 | 19730 143 | 28 | 51 1761.09/1761.61 c 1760s | 21 | 4180841 | 1146445 | 19730 143 | 28 | 51 1763.19/1763.77 c 1762s | 21 | 4185317 | 1147645 | 19730 143 | 28 | 51 1765.39/1765.92 c 1764s | 21 | 4189311 | 1148745 | 19730 144 | 28 | 51 1767.39/1767.94 c 1766s | 21 | 4193864 | 1149945 | 19730 144 | 28 | 51 1769.39/1769.95 c 1768s | 21 | 4198839 | 1151145 | 19730 144 | 28 | 51 1771.48/1772.03 c 1770s | 21 | 4203301 | 1152245 | 19730 144 | 28 | 51 1773.48/1774.07 c 1772s | 21 | 4207568 | 1153445 | 19730 144 | 28 | 51 1775.58/1776.10 c 1775s | 21 | 4212439 | 1154645 | 19730 144 | 28 | 51 1777.58/1778.13 c 1777s | 21 | 4216768 | 1155945 | 19730 144 | 28 | 51 1779.68/1780.22 c 1779s | 21 | 4221108 | 1157145 | 19730 144 | 28 | 51 1781.77/1782.35 c 1781s | 21 | 4225725 | 1158245 | 19730 144 | 28 | 51 1783.87/1784.45 c 1783s | 21 | 4229722 | 1159445 | 19730 145 | 28 | 51 1786.07/1786.60 c 1785s | 21 | 4234708 | 1160745 | 19730 145 | 28 | 51 1788.08/1788.68 c 1787s | 21 | 4239773 | 1162045 | 19730 145 | 28 | 51 1790.28/1790.82 c 1789s | 21 | 4244993 | 1163345 | 19730 145 | 28 | 51 1792.37/1792.92 c 1791s | 21 | 4249062 | 1164545 | 19730 145 | 28 | 51 1794.37/1794.95 c 1793s | 21 | 4253152 | 1165745 | 19730 145 | 28 | 51 1796.56/1797.12 c 1796s | 21 | 4257469 | 1166945 | 19730 145 | 28 | 51 1798.56/1799.15 c 1798s | 21 | 4261399 | 1168045 | 19730 145 | 28 | 51
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-4080129-1465256030/watcher-4080129-1465256030 -o /tmp/evaluation-result-4080129-1465256030/solver-4080129-1465256030 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080129-1465256030.opb pid=5438 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: 2.18 2.22 2.18 3/179 5441 /proc/meminfo: memFree=29180592/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=709052 CPUtime=0 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 2644 0 0 0 0 0 0 0 20 0 4 0 107536109 726069248 3005 33554432000 4194304 16246674 140734483580688 140734483580112 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 178031 3015 441 2943 0 174925 0 [pid=5441/tid=5442] ppid=5438 vsize=727484 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 744943616 3077 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=731580 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 749137920 3093 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=735676 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107536110 753332224 3109 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100159 s] /proc/loadavg: 2.18 2.22 2.18 3/179 5441 /proc/meminfo: memFree=29180592/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1219140 CPUtime=0.08 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 24357 0 0 0 5 3 0 0 20 0 4 0 107536109 1248399360 24684 33554432000 4194304 16246674 140734483580688 140734483580112 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 304785 24692 790 2943 0 301679 0 [pid=5441/tid=5442] ppid=5438 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1248399360 24697 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1248399360 24701 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107536110 1248399360 24704 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1219140 [startup+0.200542 s] /proc/loadavg: 2.18 2.22 2.18 3/179 5441 /proc/meminfo: memFree=29180592/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1222212 CPUtime=0.19 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 31633 0 0 0 14 5 0 0 20 0 4 0 107536109 1251545088 31959 33554432000 4194304 16246674 140734483580688 140734483580000 13965592 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 305553 31970 840 2943 0 302447 0 [pid=5441/tid=5442] ppid=5438 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1251545088 31980 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1251545088 31987 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1251545088 31997 33554432000 4194304 16246674 140734483580688 139690279685296 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.300525 s] /proc/loadavg: 2.18 2.22 2.18 3/179 5441 /proc/meminfo: memFree=29180592/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1222212 CPUtime=0.29 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 53873 0 0 0 21 8 0 0 20 0 4 0 107536109 1251545088 54200 33554432000 4194304 16246674 140734483580688 140734483580000 13194563 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 305553 54208 840 2943 0 302447 0 [pid=5441/tid=5442] ppid=5438 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1251545088 54216 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1251545088 54224 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1251545088 54233 33554432000 4194304 16246674 140734483580688 139690279685296 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.700406 s] /proc/loadavg: 2.18 2.22 2.18 3/179 5441 /proc/meminfo: memFree=29180592/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1222212 CPUtime=0.69 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 152654 0 0 0 47 22 0 0 20 0 4 0 107536109 1251545088 152980 33554432000 4194304 16246674 140734483580688 140734483563688 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 305553 153004 840 2943 0 302447 0 [pid=5441/tid=5442] ppid=5438 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1251545088 153018 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1251545088 153031 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1251545088 153038 33554432000 4194304 16246674 140734483580688 139690279685296 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.50043 s] /proc/loadavg: 2.18 2.22 2.18 3/183 5445 /proc/meminfo: memFree=28276692/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1301060 CPUtime=1.49 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 225987 0 0 0 118 31 0 0 20 0 4 0 107536109 1332285440 226313 33554432000 4194304 16246674 140734483580688 140734483563688 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 325265 226313 843 2943 0 322159 0 [pid=5441/tid=5442] ppid=5438 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1332285440 226313 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1332285440 226313 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1332285440 226313 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1301060 [startup+3.10037 s] /proc/loadavg: 2.18 2.22 2.18 3/183 5445 /proc/meminfo: memFree=28109664/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 267632 0 0 0 272 37 0 0 20 0 4 0 107536109 1337528320 267958 33554432000 4194304 16246674 140734483580688 140734483562560 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 326545 267958 845 2943 0 323439 0 [pid=5441/tid=5442] ppid=5438 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1337528320 267958 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1337528320 267958 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1337528320 267958 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.16 2.21 2.18 4/183 5445 /proc/meminfo: memFree=28109228/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 267690 0 0 0 592 37 0 0 20 0 4 0 107536109 1338576896 268016 33554432000 4194304 16246674 140734483580688 140734483562560 5677403 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 326801 268016 845 2943 0 323695 0 [pid=5441/tid=5442] ppid=5438 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1338576896 268016 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1338576896 268016 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1338576896 268016 33554432000 4194304 16246674 140734483580688 139690279685296 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: 2.23 2.23 2.18 3/183 5445 /proc/meminfo: memFree=28108132/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1307204 CPUtime=12.69 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 267891 0 0 0 1232 37 0 0 20 0 4 0 107536109 1338576896 268217 33554432000 4194304 16246674 140734483580688 140734483562560 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 326801 268217 848 2943 0 323695 0 [pid=5441/tid=5442] ppid=5438 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1338576896 268217 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1338576896 268217 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1338576896 268217 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.18 2.21 2.18 3/183 5445 /proc/meminfo: memFree=28105356/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1310276 CPUtime=25.48 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 268660 0 0 0 2511 37 0 0 20 0 4 0 107536109 1341722624 268986 33554432000 4194304 16246674 140734483580688 140734483579784 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 327569 268986 849 2943 0 324463 0 [pid=5441/tid=5442] ppid=5438 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1341722624 268986 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1341722624 268986 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1341722624 268986 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 2.18 2.21 2.18 3/183 5445 /proc/meminfo: memFree=28105128/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1312324 CPUtime=51.08 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 269172 0 0 0 5071 37 0 0 20 0 4 0 107536109 1343819776 269498 33554432000 4194304 16246674 140734483580688 140734483562560 5675574 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 328081 269498 849 2943 0 324975 0 [pid=5441/tid=5442] ppid=5438 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1343819776 269498 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1343819776 269498 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1343819776 269498 33554432000 4194304 16246674 140734483580688 139690279685296 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) 1312324 [startup+102.3 s] /proc/loadavg: 2.14 2.19 2.18 3/183 5446 /proc/meminfo: memFree=28104928/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1312324 CPUtime=102.28 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 269172 0 0 0 10190 38 0 0 20 0 4 0 107536109 1343819776 269498 33554432000 4194304 16246674 140734483580688 140734483562560 6836961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 328081 269498 849 2943 0 324975 0 [pid=5441/tid=5442] ppid=5438 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1343819776 269498 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1343819776 269498 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1343819776 269498 33554432000 4194304 16246674 140734483580688 139690279685296 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) 1312324 ################ # More data... # ################ /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 1334852 [startup+1302.3 s] /proc/loadavg: 2.25 2.22 2.18 4/183 5476 /proc/meminfo: memFree=27021212/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1334852 CPUtime=1302.05 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 274878 0 0 0 130160 45 0 0 20 0 4 0 107536109 1366888448 275133 33554432000 4194304 16246674 140734483580688 140734483562560 5675084 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 333713 275133 849 2943 0 330607 0 [pid=5441/tid=5442] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 1334852 [startup+1362.3 s] /proc/loadavg: 2.31 2.24 2.19 3/183 5477 /proc/meminfo: memFree=26911372/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1334852 CPUtime=1362.01 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 274921 0 0 0 136156 45 0 0 20 0 4 0 107536109 1366888448 275133 33554432000 4194304 16246674 140734483580688 140734483562560 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 333713 275133 849 2943 0 330607 0 [pid=5441/tid=5442] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 1334852 [startup+1422.3 s] /proc/loadavg: 2.21 2.22 2.18 3/183 5478 /proc/meminfo: memFree=26829424/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1334852 CPUtime=1421.97 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 274958 0 0 0 142152 45 0 0 20 0 4 0 107536109 1366888448 275133 33554432000 4194304 16246674 140734483580688 140734483562560 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 333713 275133 849 2943 0 330607 0 [pid=5441/tid=5442] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1334852 [startup+1482.3 s] /proc/loadavg: 2.35 2.26 2.19 3/183 5480 /proc/meminfo: memFree=26738180/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1334852 CPUtime=1481.94 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 275002 0 0 0 148148 46 0 0 20 0 4 0 107536109 1366888448 275133 33554432000 4194304 16246674 140734483580688 140734483562560 6022807 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 333713 275133 849 2943 0 330607 0 [pid=5441/tid=5442] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1334852 [startup+1542.31 s] /proc/loadavg: 2.30 2.25 2.19 3/183 5530 /proc/meminfo: memFree=28082076/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1334852 CPUtime=1541.9 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 275040 0 0 0 154144 46 0 0 20 0 4 0 107536109 1366888448 275133 33554432000 4194304 16246674 140734483580688 140734483562560 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 333713 275133 849 2943 0 330607 0 [pid=5441/tid=5442] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1334852 [startup+1602.3 s] /proc/loadavg: 2.24 2.24 2.18 4/184 5534 /proc/meminfo: memFree=28081860/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1334852 CPUtime=1601.87 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 275080 0 0 0 160141 46 0 0 20 0 4 0 107536109 1366888448 275133 33554432000 4194304 16246674 140734483580688 140734483562560 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 333713 275133 849 2943 0 330607 0 [pid=5441/tid=5442] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1334852 [startup+1662.3 s] /proc/loadavg: 2.20 2.22 2.18 4/184 5558 /proc/meminfo: memFree=28077400/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1334852 CPUtime=1661.85 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 275118 0 0 0 166138 47 0 0 20 0 4 0 107536109 1366888448 275133 33554432000 4194304 16246674 140734483580688 140734483562560 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 333713 275133 849 2943 0 330607 0 [pid=5441/tid=5442] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1334852 [startup+1722.3 s] /proc/loadavg: 2.29 2.24 2.19 3/183 5559 /proc/meminfo: memFree=28076444/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1334852 CPUtime=1721.81 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 275157 0 0 0 172134 47 0 0 20 0 4 0 107536109 1366888448 275133 33554432000 4194304 16246674 140734483580688 140734483562560 6022834 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 333713 275133 849 2943 0 330607 0 [pid=5441/tid=5442] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275133 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1334852 [startup+1782.3 s] /proc/loadavg: 2.35 2.27 2.20 3/183 5561 /proc/meminfo: memFree=28076092/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1334852 CPUtime=1781.77 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 275198 0 0 0 178130 47 0 0 20 0 4 0 107536109 1366888448 275135 33554432000 4194304 16246674 140734483580688 140734483562560 13820881 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 333713 275135 849 2943 0 330607 0 [pid=5441/tid=5442] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275135 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275135 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275135 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1334852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.33 2.27 2.20 4/183 5561 /proc/meminfo: memFree=28076452/32872528 swapFree=16384/1696552 [pid=5441] ppid=5438 vsize=1334852 CPUtime=1800.06 cores=0,2,4,6 /proc/5441/stat : 5441 (toysat) R 5438 5441 1166 0 -1 4202496 275206 0 0 0 179959 47 0 0 20 0 4 0 107536109 1366888448 275135 33554432000 4194304 16246674 140734483580688 140734483562560 5829943 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5441/statm: 333713 275135 849 2943 0 330607 0 [pid=5441/tid=5442] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5442/stat : 5442 (toysat) S 5438 5441 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275135 33554432000 4194304 16246674 140734483580688 139690300648688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5441/tid=5443] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5443/stat : 5443 (toysat) S 5438 5441 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275135 33554432000 4194304 16246674 140734483580688 139690290158832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5441/tid=5444] ppid=5438 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/5441/task/5444/stat : 5444 (toysat) S 5438 5441 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107536110 1366888448 275135 33554432000 4194304 16246674 140734483580688 139690279685296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1334852 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 5441 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1799.6 CPU system time (s): 0.476927 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 1334852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.476927 maximum resident set size= 1100540 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275206 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= 417 involuntary context switches= 1842 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.2883 second user time and 10.0925 second system time The end
Begin job on node125 at 2016-06-07 01:33:50 IDJOB=4080129 IDBENCH=48122 IDSOLVER=2542 FILE ID=node125/4080129-1465256030 RUNJOBID= node125-1465224138-1182 PBS_JOBID= 19843237 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080129-1465256030/watcher-4080129-1465256030 -o /tmp/evaluation-result-4080129-1465256030/solver-4080129-1465256030 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080129-1465256030.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6 RANDOM SEED=389680652 node125.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.456 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.91 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.456 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.56 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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.456 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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: 29181408 kB Buffers: 64964 kB Cached: 136896 kB SwapCached: 2016 kB Active: 1183464 kB Inactive: 101140 kB Active(anon): 1083660 kB Inactive(anon): 1380 kB Active(file): 99804 kB Inactive(file): 99760 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16312 kB Writeback: 0 kB AnonPages: 2764092 kB Mapped: 10756 kB Shmem: 0 kB Slab: 569440 kB SReclaimable: 13316 kB SUnreclaim: 556124 kB KernelStack: 1504 kB PageTables: 9620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2926492 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1855488 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= 71712 MiB End job on node125 at 2016-06-07 02:03:51