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.05 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_10.r.opb |
| MD5SUM | 863d0ff562dc066d0163e86da5775aea |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 13 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 10 |
| Number of terms in the objective function | 100 |
| 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 | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T21:55:30+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-4079705-1465242929.opb"] 0.00/0.01 c use --random-gen="3240066451 2144218759 3506346103 557713046 460690832 3418421681 44579664 2041340636 4158536459 4031402115 2310096596 4108050618 343916757 1775885939 4293507210 3810298372 1278668245 2165829444 28418373 3509736139 739121482 1715851731 1603078268 2793285606 2365727490 2598600824 1983074486 2533689573 282351848 1977517893 1217753955 105029663 2065937707 528175521 2570614457 3769297018 2619425109 2041085286 2193822791 2642855761 1864422192 3652171924 1873235079 622177672 3579092469 3113159342 1467292140 2950528587 1862980633 2970701356 3486383474 3378356760 4199719889 1140131359 2582226305 2819055107 2041845099 600044275 956265067 2612337109 4262100512 1902619619 1488860965 3664495459 2090340784 744005348 2754422637 638313600 1298162463 3785773712 2931750677 1032713913 3561776041 2137870831 574981204 3395429350 1743162381 3632886207 1899909824 2389938589 1871017900 1820205173 1450506003 2854785055 1661679388 2620492336 1358952486 1516081190 3781988200 3013096998 1702917022 3889265941 3725460296 2832789740 1521798907 3513324196 1155359862 895771632 3160178154 724388346 1626962852 1176936299 140067335 91771649 2196177169 2856923581 668665209 3120901786 1491505596 3343405332 1394682840 1902259040 2370239693 20483829 3982758666 3266991862 1449890564 1309809837 3180909409 806412590 2977869156 3096592077 2027034333 398564080 958095996 2845934656 895551154 2613572036 4149287300 246661089 3129857875 2511054215 1048155716 2842849681 2310488335 3300605165 1523901856 3348082071 3607701335 122509096 2843905199 3127408436 1404111783 2832959698 810733518 4185976978 800708496 1884314003 4257473686 2487765522 1426523631 1665019882 973642759 1910542246 981947641 2433363489 1887471128 4054305807 2854062786 2780798091 276659445 4202719017 3667815476 1839143936 2557189206 3563398900 776514571 636646072 3227692318 2760232900 3216785397 1808522692 2641896382 1023686417 2259275213 2329544083 3891055863 2587024014 2738002401 2249657157 4023441904 436374844 574772454 2178856430 623737712 3495420688 3038847321 1206334884 1360634933 1883592652 607068356 3051522435 543827195 2497552233 3232641493 2225399997 2862240662 630836433 3453690373 2821312513 1326652555 3633927659 3650304714 905295394 2136454908 3666758631 4013777986 712179645 2093754474 378898948 1449093367 1919885054 2842468082 2622035804 1778154214 2224928492 309427334 890437003 1782562969 2390407558 2566716450 541710429 4289553528 4092059086 1305316580 3944878627 2511882500 2712830596 3574857806 3695270681 3366250331 1030101988 664074377 1554580912 3671171036 1762959116 389974483 2909471046 1628215355 1355937800 1185907370 2990910016 300803978 2537259266 4141812347 2642338964 2909008753 2454416352 1531635635 1269699338 2686773578 1752398135 2558948704 3761194866 4107644533 52410049 255 362436" option to reproduce the execution 0.00/0.01 c #vars 100 0.00/0.01 c #constraints 100 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 100 | 0 | 66 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.001s 0.00/0.01 c #wall_clock_time = 0.001s 0.00/0.01 c #decision = 100 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 o 100 0.00/0.01 c BCD2: updating upper bound: 100 -> 99 0.00/0.01 c BCD2: 0 <= obj <= 99 0.00/0.01 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 57 | 0 | 66 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 57 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 1 0.00/0.02 c BCD2: 1 <= obj <= 99 0.00/0.02 c BCD2: #cores=1, #unrelaxed=90, #relaxed=10, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 1 0.00/0.02 c 0.0s | 0 | 69 | 0 | 66 0 | 0 | 1 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 69 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 2 0.00/0.02 c BCD2: 2 <= obj <= 99 0.00/0.02 c BCD2: #cores=2, #unrelaxed=80, #relaxed=20, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 2 0.00/0.02 c 0.0s | 0 | 71 | 0 | 66 0 | 0 | 2 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 71 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 3 0.00/0.02 c BCD2: 3 <= obj <= 99 0.00/0.02 c BCD2: #cores=3, #unrelaxed=70, #relaxed=30, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 3 0.00/0.02 c 0.0s | 0 | 68 | 0 | 66 0 | 0 | 3 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 68 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 4 0.00/0.02 c BCD2: 4 <= obj <= 99 0.00/0.02 c BCD2: #cores=4, #unrelaxed=60, #relaxed=40, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 4 0.00/0.02 c 0.0s | 0 | 92 | 0 | 66 0 | 0 | 4 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 92 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 20 0.00/0.02 c BCD2: updating upper bound: 99 -> 19 0.00/0.02 c BCD2: 4 <= obj <= 19 0.00/0.02 c BCD2: #cores=4, #unrelaxed=60, #relaxed=40, #hardened=0 0.00/0.02 c BCD2: #sat=2 #unsat=5 bias=5/7 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 5 0.00/0.02 c 0.0s | 0 | 68 | 4 | 66 0 | 0 | 5 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 68 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 4 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 50 and merging with 3 cores into a new core of size 80: cost of the new core is >=4 0.00/0.02 c lower bound updated to 5 0.00/0.02 c BCD2: 5 <= obj <= 19 0.00/0.02 c BCD2: #cores=2, #unrelaxed=10, #relaxed=90, #hardened=0 0.00/0.02 c BCD2: #sat=2 #unsat=6 bias=6/8 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 66 0 | 8 | 5 0.00/0.03 c 0.0s | 1 | 193 | 100 | 73 0 | 8 | 18 0.00/0.06 c 0.0s | 2 | 629 | 250 | 81 3 | 8 | 18 0.00/0.09 c 0.1s | 3 | 1164 | 475 | 90 7 | 8 | 18 0.09/0.10 c 0.1s | 3 | 1213 | 492 | 90 7 | 8 | 18 0.09/0.10 c #cpu_time = 0.075s 0.09/0.10 c #wall_clock_time = 0.075s 0.09/0.10 c #decision = 1213 0.09/0.10 c #random_decision = 4 0.09/0.10 c #conflict = 492 0.09/0.10 c #restart = 3 0.09/0.10 o 15 0.09/0.10 c BCD2: updating upper bound: 19 -> 14 0.09/0.10 c BCD2: 5 <= obj <= 14 0.09/0.10 c BCD2: #cores=2, #unrelaxed=10, #relaxed=90, #hardened=0 0.09/0.10 c BCD2: #sat=3 #unsat=6 bias=6/9 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 90 0 | 8 | 19 0.09/0.11 c 0.0s | 1 | 279 | 100 | 90 2 | 8 | 19 0.09/0.12 c 0.0s | 2 | 662 | 250 | 90 5 | 8 | 19 0.09/0.15 c 0.1s | 3 | 1352 | 475 | 100 8 | 8 | 19 0.09/0.18 c 0.1s | 4 | 2493 | 813 | 100 14 | 8 | 19 0.18/0.24 c 0.1s | 5 | 3702 | 1320 | 111 21 | 8 | 19 0.29/0.32 c 0.2s | 6 | 5721 | 2081 | 123 31 | 8 | 19 0.39/0.44 c 0.3s | 7 | 8791 | 3223 | 136 46 | 8 | 19 0.59/0.63 c 0.5s | 8 | 13063 | 4936 | 150 66 | 8 | 19 0.89/0.91 c 0.8s | 9 | 19567 | 7506 | 165 94 | 8 | 19 1.29/1.31 c 1.2s | 10 | 28964 | 11361 | 182 134 | 8 | 19 1.69/1.75 c 1.7s | 11 | 43796 | 17144 | 201 190 | 8 | 19 2.39/2.48 c 2.4s | 12 | 64038 | 25819 | 222 266 | 8 | 19 3.40/3.49 c 3.4s | 13 | 94336 | 38832 | 245 371 | 8 | 19 4.99/5.02 c 4.9s | 14 | 140017 | 58352 | 270 515 | 8 | 19 6.99/7.02 c 6.9s | 14 | 198239 | 83552 | 270 686 | 8 | 19 7.29/7.35 c 7.3s | 15 | 207745 | 87632 | 297 714 | 8 | 19 9.29/9.35 c 9.3s | 15 | 267296 | 111932 | 297 866 | 8 | 19 10.88/10.97 c 10.9s | 16 | 316113 | 131552 | 327 988 | 8 | 19 12.89/12.98 c 12.9s | 16 | 373999 | 155652 | 327 1125 | 8 | 19 14.89/14.98 c 14.9s | 16 | 430158 | 179252 | 327 1262 | 8 | 19 16.49/16.54 c 16.4s | 17 | 469772 | 197432 | 360 1366 | 8 | 19 18.48/18.55 c 18.4s | 17 | 524466 | 221632 | 360 1493 | 8 | 19 20.48/20.55 c 20.5s | 17 | 576563 | 245632 | 360 1620 | 8 | 19 22.48/22.56 c 22.5s | 17 | 634520 | 269932 | 360 1746 | 8 | 19 24.48/24.56 c 24.5s | 17 | 685848 | 293232 | 360 1870 | 8 | 19 24.78/24.83 c 24.7s | 18 | 692271 | 296252 | 397 1884 | 8 | 19 26.78/26.83 c 26.7s | 18 | 747029 | 319852 | 397 1997 | 8 | 19 28.79/28.84 c 28.7s | 18 | 805491 | 343452 | 397 2109 | 8 | 19 30.80/30.84 c 30.7s | 18 | 862177 | 367152 | 397 2223 | 8 | 19 32.79/32.85 c 32.8s | 18 | 916658 | 390352 | 397 2334 | 8 | 19 34.79/34.85 c 34.8s | 18 | 972143 | 414152 | 397 2449 | 8 | 19 36.79/36.86 c 36.8s | 18 | 1029331 | 437852 | 397 2562 | 8 | 19 37.39/37.45 c 37.4s | 19 | 1044177 | 444482 | 437 2592 | 8 | 19 39.39/39.46 c 39.4s | 19 | 1096744 | 466982 | 437 2691 | 8 | 19 41.38/41.47 c 41.4s | 19 | 1154125 | 490482 | 437 2793 | 8 | 19 43.38/43.47 c 43.4s | 19 | 1207301 | 513082 | 437 2893 | 8 | 19 45.38/45.47 c 45.4s | 19 | 1258594 | 535582 | 437 2992 | 8 | 19 47.39/47.47 c 47.4s | 19 | 1316459 | 558482 | 437 3091 | 8 | 19 49.38/49.48 c 49.4s | 19 | 1370413 | 581282 | 437 3191 | 8 | 19 51.39/51.48 c 51.4s | 19 | 1424321 | 604082 | 437 3291 | 8 | 19 53.38/53.49 c 53.4s | 19 | 1476650 | 626382 | 437 3389 | 8 | 19 55.38/55.49 c 55.4s | 19 | 1530118 | 647982 | 437 3485 | 8 | 19 57.08/57.17 c 57.1s | 20 | 1576896 | 666827 | 481 3565 | 8 | 19 59.08/59.18 c 59.1s | 20 | 1627802 | 688727 | 481 3653 | 8 | 19 61.08/61.18 c 61.1s | 20 | 1683185 | 711827 | 481 3745 | 8 | 19 63.08/63.18 c 63.1s | 20 | 1734691 | 734227 | 481 3834 | 8 | 19 65.08/65.18 c 65.1s | 20 | 1788653 | 757027 | 481 3926 | 8 | 19 67.09/67.19 c 67.1s | 20 | 1842870 | 779327 | 481 4015 | 8 | 19 69.08/69.19 c 69.1s | 20 | 1896121 | 801327 | 481 4103 | 8 | 19 71.18/71.20 c 71.1s | 20 | 1949032 | 823627 | 481 4193 | 8 | 19 73.18/73.20 c 73.1s | 20 | 2000425 | 845127 | 481 4279 | 8 | 19 75.18/75.20 c 75.1s | 20 | 2052237 | 867227 | 481 4367 | 8 | 19 77.18/77.21 c 77.1s | 20 | 2099352 | 888827 | 481 4454 | 8 | 19 79.18/79.21 c 79.1s | 20 | 2150890 | 910227 | 481 4540 | 8 | 19 81.17/81.22 c 81.1s | 20 | 2201749 | 931727 | 481 4626 | 8 | 19 83.17/83.22 c 83.1s | 20 | 2251565 | 953127 | 481 4712 | 8 | 19 85.18/85.23 c 85.1s | 20 | 2301616 | 974527 | 481 4798 | 8 | 19 87.18/87.23 c 87.1s | 20 | 2350651 | 995727 | 530 4883 | 8 | 19 87.58/87.66 c 87.6s | 21 | 2362181 | 1000345 | 530 4899 | 8 | 19 89.58/89.67 c 89.6s | 21 | 2420095 | 1023445 | 530 4983 | 8 | 19 91.57/91.68 c 91.6s | 21 | 2475675 | 1046245 | 530 5066 | 8 | 19 93.58/93.69 c 93.6s | 21 | 2529352 | 1068645 | 530 5147 | 8 | 19 95.57/95.69 c 95.6s | 21 | 2583967 | 1091445 | 530 5231 | 8 | 19 97.58/97.69 c 97.6s | 21 | 2639377 | 1113945 | 530 5312 | 8 | 19 99.67/99.70 c 99.6s | 21 | 2690420 | 1135345 | 530 5390 | 8 | 19 101.67/101.71 c 101s | 21 | 2741534 | 1157345 | 530 5471 | 8 | 19 103.67/103.71 c 103s | 21 | 2792933 | 1179745 | 530 5552 | 8 | 19 105.68/105.71 c 105s | 21 | 2843259 | 1201945 | 530 5633 | 8 | 19 107.67/107.72 c 107s | 21 | 2896624 | 1224045 | 530 5713 | 8 | 19 109.67/109.72 c 109s | 21 | 2948414 | 1245845 | 530 5793 | 8 | 19 111.67/111.72 c 111s | 21 | 3001753 | 1267745 | 530 5873 | 8 | 19 113.67/113.73 c 113s | 21 | 3051847 | 1289145 | 530 5951 | 8 | 19 115.67/115.73 c 115s | 21 | 3104394 | 1311045 | 530 6031 | 8 | 19 117.68/117.73 c 117s | 21 | 3157211 | 1332745 | 530 6110 | 8 | 19 119.67/119.74 c 119s | 21 | 3205732 | 1354645 | 530 6191 | 8 | 19 121.67/121.74 c 121s | 21 | 3254743 | 1375745 | 530 6268 | 8 | 19 123.67/123.74 c 123s | 21 | 3304981 | 1397045 | 530 6346 | 8 | 19 125.67/125.74 c 125s | 21 | 3354825 | 1418345 | 530 6425 | 8 | 19 127.67/127.75 c 127s | 21 | 3405062 | 1439845 | 530 6503 | 8 | 19 129.67/129.75 c 129s | 21 | 3455624 | 1461245 | 530 6582 | 8 | 19 131.67/131.76 c 131s | 21 | 3505189 | 1483145 | 530 6663 | 8 | 19 133.18/133.28 c 133s | 22 | 3547184 | 1500622 | 583 6722 | 8 | 19 135.17/135.28 c 135s | 22 | 3598009 | 1523322 | 583 6797 | 8 | 19 137.17/137.29 c 137s | 22 | 3648314 | 1545822 | 583 6872 | 8 | 19 139.17/139.29 c 139s | 22 | 3699771 | 1568522 | 583 6947 | 8 | 19 141.27/141.30 c 141s | 22 | 3750595 | 1590722 | 583 7020 | 8 | 19 143.27/143.30 c 143s | 22 | 3802318 | 1612622 | 583 7093 | 8 | 19 145.27/145.31 c 145s | 22 | 3853613 | 1634922 | 583 7167 | 8 | 19 147.26/147.31 c 147s | 22 | 3901268 | 1656122 | 583 7238 | 8 | 19 149.26/149.31 c 149s | 22 | 3949572 | 1677522 | 583 7309 | 8 | 19 151.26/151.32 c 151s | 22 | 3995702 | 1698822 | 583 7379 | 8 | 19 153.26/153.32 c 153s | 22 | 4043328 | 1720622 | 583 7452 | 8 | 19 155.27/155.33 c 155s | 22 | 4088969 | 1741822 | 583 7523 | 8 | 19 157.28/157.34 c 157s | 22 | 4137150 | 1763522 | 583 7595 | 8 | 19 159.26/159.35 c 159s | 22 | 4186869 | 1785322 | 583 7668 | 8 | 19 161.26/161.35 c 161s | 22 | 4232298 | 1806922 | 583 7740 | 8 | 19 163.26/163.36 c 163s | 22 | 4278194 | 1828622 | 583 7812 | 8 | 19 165.27/165.37 c 165s | 22 | 4323463 | 1849722 | 583 7883 | 8 | 19 167.27/167.37 c 167s | 22 | 4371842 | 1871422 | 583 7955 | 8 | 19 169.26/169.38 c 169s | 22 | 4422064 | 1894122 | 583 8030 | 8 | 19 171.26/171.39 c 171s | 22 | 4472416 | 1915722 | 583 8102 | 8 | 19 173.36/173.40 c 173s | 22 | 4518863 | 1936922 | 583 8173 | 8 | 19 175.37/175.41 c 175s | 22 | 4570753 | 1959022 | 583 8246 | 8 | 19 177.37/177.41 c 177s | 22 | 4619819 | 1979722 | 583 8314 | 8 | 19 179.37/179.42 c 179s | 22 | 4668495 | 2000322 | 583 8383 | 8 | 19 181.36/181.42 c 181s | 22 | 4719548 | 2021622 | 583 8454 | 8 | 19 183.36/183.42 c 183s | 22 | 4766574 | 2042222 | 583 8522 | 8 | 19 185.36/185.43 c 185s | 22 | 4812490 | 2062522 | 583 8590 | 8 | 19 187.36/187.43 c 187s | 22 | 4860190 | 2083322 | 583 8659 | 8 | 19 189.36/189.44 c 189s | 22 | 4907827 | 2103822 | 583 8728 | 8 | 19 191.36/191.45 c 191s | 22 | 4956625 | 2124322 | 583 8796 | 8 | 19 193.36/193.45 c 193s | 22 | 5002793 | 2144822 | 583 8865 | 8 | 19 195.36/195.45 c 195s | 22 | 5049926 | 2165522 | 583 8934 | 8 | 19 197.36/197.45 c 197s | 22 | 5096638 | 2186322 | 583 9003 | 8 | 19 199.36/199.46 c 199s | 22 | 5144003 | 2206922 | 583 9072 | 8 | 19 201.37/201.46 c 201s | 22 | 5188531 | 2227122 | 583 9140 | 8 | 19 203.36/203.46 c 203s | 22 | 5232387 | 2247322 | 642 9203 | 8 | 19 203.76/203.82 c 203s | 23 | 5241195 | 2251038 | 642 9215 | 8 | 19 205.77/205.82 c 205s | 23 | 5295606 | 2273138 | 642 9281 | 8 | 19 207.76/207.82 c 207s | 23 | 5344191 | 2294238 | 642 9345 | 8 | 19 209.76/209.83 c 209s | 23 | 5389797 | 2314838 | 642 9407 | 8 | 19 211.76/211.83 c 211s | 23 | 5441171 | 2336438 | 642 9472 | 8 | 19 213.76/213.83 c 213s | 23 | 5490107 | 2357538 | 642 9536 | 8 | 19 215.76/215.84 c 215s | 23 | 5537418 | 2378338 | 642 9599 | 8 | 19 217.76/217.84 c 217s | 23 | 5589555 | 2400338 | 642 9666 | 8 | 19 219.76/219.85 c 219s | 23 | 5640277 | 2421438 | 642 9730 | 8 | 19 221.76/221.85 c 221s | 23 | 5691289 | 2443438 | 642 9796 | 8 | 19 223.75/223.86 c 223s | 23 | 5740612 | 2464838 | 642 9861 | 8 | 19 225.76/225.86 c 225s | 23 | 5792032 | 2486338 | 642 9926 | 8 | 19 227.77/227.86 c 227s | 23 | 5839519 | 2507238 | 642 9989 | 8 | 19 229.76/229.87 c 229s | 23 | 5888410 | 2528438 | 642 10054 | 8 | 19 231.75/231.88 c 231s | 23 | 5935731 | 2549538 | 642 10118 | 8 | 19 233.76/233.89 c 233s | 23 | 5982678 | 2570438 | 642 10181 | 8 | 19 235.76/235.89 c 235s | 23 | 6030273 | 2591138 | 642 10244 | 8 | 19 237.86/237.90 c 237s | 23 | 6076516 | 2611738 | 642 10307 | 8 | 19 239.76/239.90 c 239s | 23 | 6121711 | 2631738 | 642 10368 | 8 | 19 241.85/241.91 c 241s | 23 | 6168918 | 2652738 | 642 10432 | 8 | 19 243.85/243.91 c 243s | 23 | 6216808 | 2674538 | 642 10498 | 8 | 19 245.86/245.91 c 245s | 23 | 6268214 | 2696538 | 642 10564 | 8 | 19 247.86/247.92 c 247s | 23 | 6319739 | 2718538 | 642 10631 | 8 | 19 249.85/249.93 c 249s | 23 | 6373751 | 2740638 | 642 10697 | 8 | 19 251.86/251.93 c 251s | 23 | 6424016 | 2761738 | 642 10761 | 8 | 19 253.85/253.94 c 253s | 23 | 6470783 | 2782238 | 642 10823 | 8 | 19 255.85/255.94 c 255s | 23 | 6521875 | 2803438 | 642 10887 | 8 | 19 257.85/257.95 c 257s | 23 | 6569931 | 2824238 | 642 10950 | 8 | 19 259.85/259.95 c 259s | 23 | 6620519 | 2845338 | 642 11014 | 8 | 19 261.86/261.96 c 261s | 23 | 6668365 | 2866038 | 642 11077 | 8 | 19 263.85/263.97 c 263s | 23 | 6718963 | 2886838 | 642 11140 | 8 | 19 265.85/265.98 c 265s | 23 | 6767410 | 2908038 | 642 11205 | 8 | 19 267.85/267.98 c 267s | 23 | 6816077 | 2928638 | 642 11267 | 8 | 19 269.85/269.99 c 269s | 23 | 6863272 | 2948738 | 642 11328 | 8 | 19 271.84/271.99 c 271s | 23 | 6908614 | 2969038 | 642 11390 | 8 | 19 273.85/273.99 c 273s | 23 | 6956453 | 2989738 | 642 11453 | 8 | 19 275.95/276.00 c 275s | 23 | 7004152 | 3010138 | 642 11515 | 8 | 19 277.95/278.01 c 277s | 23 | 7051578 | 3030838 | 642 11578 | 8 | 19 279.95/280.01 c 279s | 23 | 7097666 | 3050938 | 642 11640 | 8 | 19 281.95/282.01 c 281s | 23 | 7143805 | 3071438 | 642 11702 | 8 | 19 283.95/284.02 c 283s | 23 | 7194469 | 3092538 | 642 11766 | 8 | 19 285.95/286.03 c 285s | 23 | 7249119 | 3114738 | 642 11833 | 8 | 19 287.94/288.03 c 287s | 23 | 7302972 | 3136238 | 642 11898 | 8 | 19 289.95/290.04 c 289s | 23 | 7355256 | 3157238 | 642 11962 | 8 | 19 291.95/292.04 c 291s | 23 | 7403297 | 3177538 | 642 12023 | 8 | 19 293.95/294.05 c 293s | 23 | 7456664 | 3199038 | 642 12088 | 8 | 19 295.95/296.05 c 295s | 23 | 7506207 | 3219838 | 642 12151 | 8 | 19 297.95/298.06 c 297s | 23 | 7554650 | 3240438 | 642 12214 | 8 | 19 299.94/300.06 c 299s | 23 | 7603890 | 3260838 | 642 12276 | 8 | 19 301.94/302.07 c 301s | 23 | 7650756 | 3281338 | 642 12338 | 8 | 19 303.94/304.07 c 303s | 23 | 7697879 | 3301438 | 642 12399 | 8 | 19 305.94/306.08 c 305s | 23 | 7746256 | 3321938 | 642 12461 | 8 | 19 307.95/308.08 c 307s | 23 | 7793985 | 3342438 | 642 12524 | 8 | 19 309.95/310.08 c 309s | 23 | 7840547 | 3362738 | 707 12582 | 8 | 19 311.35/311.41 c 311s | 24 | 7874366 | 3376662 | 707 12621 | 8 | 19 313.34/313.41 c 313s | 24 | 7925783 | 3398162 | 707 12680 | 8 | 19 315.35/315.41 c 315s | 24 | 7975569 | 3419062 | 707 12737 | 8 | 19 317.35/317.42 c 317s | 24 | 8020045 | 3439462 | 707 12794 | 8 | 19 319.35/319.42 c 319s | 24 | 8070948 | 3460962 | 707 12852 | 8 | 19 321.34/321.43 c 321s | 24 | 8116622 | 3481262 | 707 12908 | 8 | 19 323.34/323.43 c 323s | 24 | 8160555 | 3501762 | 707 12965 | 8 | 19 325.34/325.43 c 325s | 24 | 8209208 | 3522662 | 707 13022 | 8 | 19 327.34/327.43 c 327s | 24 | 8257567 | 3543362 | 707 13079 | 8 | 19 329.34/329.44 c 329s | 24 | 8302649 | 3563362 | 707 13134 | 8 | 19 331.34/331.45 c 331s | 24 | 8349410 | 3583962 | 707 13191 | 8 | 19 333.35/333.45 c 333s | 24 | 8396516 | 3604162 | 707 13247 | 8 | 19 335.34/335.46 c 335s | 24 | 8439960 | 3623462 | 707 13300 | 8 | 19 337.34/337.47 c 337s | 24 | 8489175 | 3643562 | 707 13356 | 8 | 19 339.34/339.47 c 339s | 24 | 8533711 | 3662762 | 707 13409 | 8 | 19 341.34/341.48 c 341s | 24 | 8580383 | 3683762 | 707 13466 | 8 | 19 343.34/343.48 c 343s | 24 | 8628866 | 3704862 | 707 13525 | 8 | 19 345.34/345.49 c 345s | 24 | 8676364 | 3725162 | 707 13581 | 8 | 19 347.34/347.49 c 347s | 24 | 8723362 | 3745062 | 707 13636 | 8 | 19 349.34/349.49 c 349s | 24 | 8767850 | 3765662 | 707 13693 | 8 | 19 351.44/351.50 c 351s | 24 | 8811067 | 3784962 | 707 13746 | 8 | 19 353.43/353.50 c 353s | 24 | 8855017 | 3804662 | 707 13801 | 8 | 19 355.43/355.51 c 355s | 24 | 8897835 | 3823662 | 707 13853 | 8 | 19 357.44/357.51 c 357s | 24 | 8941771 | 3843262 | 707 13908 | 8 | 19 359.43/359.52 c 359s | 24 | 8982931 | 3862362 | 707 13961 | 8 | 19 361.44/361.52 c 361s | 24 | 9028842 | 3883062 | 707 14018 | 8 | 19 363.44/363.53 c 363s | 24 | 9076977 | 3904062 | 707 14075 | 8 | 19 365.44/365.54 c 365s | 24 | 9124032 | 3924462 | 707 14132 | 8 | 19 367.44/367.54 c 367s | 24 | 9176282 | 3945662 | 707 14190 | 8 | 19 369.43/369.55 c 369s | 24 | 9222177 | 3965962 | 707 14246 | 8 | 19 371.44/371.56 c 371s | 24 | 9268358 | 3986062 | 707 14301 | 8 | 19 373.43/373.57 c 373s | 24 | 9315326 | 4005962 | 707 14356 | 8 | 19 375.43/375.57 c 375s | 24 | 9363868 | 4026062 | 707 14411 | 8 | 19 377.43/377.57 c 377s | 24 | 9411127 | 4045962 | 707 14466 | 8 | 19 379.44/379.58 c 379s | 24 | 9454117 | 4065462 | 707 14520 | 8 | 19 381.44/381.59 c 381s | 24 | 9498279 | 4085262 | 707 14575 | 8 | 19 383.43/383.59 c 383s | 24 | 9541502 | 4105162 | 707 14630 | 8 | 19 385.43/385.59 c 385s | 24 | 9585650 | 4124662 | 707 14684 | 8 | 19 387.43/387.59 c 387s | 24 | 9629686 | 4144362 | 707 14738 | 8 | 19 389.53/389.60 c 389s | 24 | 9673567 | 4163962 | 707 14793 | 8 | 19 391.54/391.61 c 391s | 24 | 9715219 | 4183562 | 707 14847 | 8 | 19 393.53/393.61 c 393s | 24 | 9765341 | 4204562 | 707 14905 | 8 | 19 395.53/395.61 c 395s | 24 | 9811962 | 4224162 | 707 14959 | 8 | 19 397.53/397.61 c 397s | 24 | 9858048 | 4244062 | 707 15014 | 8 | 19 399.53/399.61 c 399s | 24 | 9908144 | 4264462 | 707 15070 | 8 | 19 401.54/401.62 c 401s | 24 | 9955783 | 4285062 | 707 15127 | 8 | 19 403.52/403.63 c 403s | 24 | 10002433 | 4305562 | 707 15183 | 8 | 19 405.53/405.64 c 405s | 24 | 10049445 | 4324862 | 707 15236 | 8 | 19 407.53/407.65 c 407s | 24 | 10092713 | 4344062 | 707 15290 | 8 | 19 409.52/409.65 c 409s | 24 | 10134881 | 4363462 | 707 15343 | 8 | 19 411.52/411.65 c 411s | 24 | 10179639 | 4383462 | 707 15398 | 8 | 19 413.53/413.66 c 413s | 24 | 10223626 | 4403062 | 707 15453 | 8 | 19 415.52/415.67 c 415s | 24 | 10266068 | 4421962 | 707 15505 | 8 | 19 417.53/417.67 c 417s | 24 | 10306294 | 4440662 | 707 15557 | 8 | 19 419.53/419.67 c 419s | 24 | 10354189 | 4461162 | 707 15614 | 8 | 19 421.53/421.67 c 421s | 24 | 10404870 | 4482662 | 707 15673 | 8 | 19 423.53/423.68 c 423s | 24 | 10453885 | 4503462 | 707 15731 | 8 | 19 425.53/425.68 c 425s | 24 | 10503984 | 4524762 | 707 15789 | 8 | 19 427.53/427.69 c 427s | 24 | 10552362 | 4545362 | 707 15846 | 8 | 19 429.52/429.69 c 429s | 24 | 10601408 | 4565562 | 707 15902 | 8 | 19 431.52/431.70 c 431s | 24 | 10650978 | 4585662 | 707 15958 | 8 | 19 433.63/433.70 c 433s | 24 | 10699644 | 4605262 | 707 16012 | 8 | 19 435.63/435.71 c 435s | 24 | 10748314 | 4626062 | 707 16069 | 8 | 19 437.62/437.71 c 437s | 24 | 10795578 | 4646662 | 707 16126 | 8 | 19 439.62/439.72 c 439s | 24 | 10842863 | 4666662 | 707 16181 | 8 | 19 441.62/441.72 c 441s | 24 | 10886777 | 4686162 | 707 16235 | 8 | 19 443.62/443.73 c 443s | 24 | 10931129 | 4705362 | 707 16289 | 8 | 19 445.62/445.73 c 445s | 24 | 10975404 | 4725062 | 707 16343 | 8 | 19 447.62/447.74 c 447s | 24 | 11019986 | 4745462 | 707 16400 | 8 | 19 449.62/449.74 c 449s | 24 | 11067876 | 4765962 | 707 16457 | 8 | 19 451.62/451.74 c 451s | 24 | 11111855 | 4785762 | 707 16512 | 8 | 19 453.62/453.75 c 453s | 24 | 11156564 | 4806062 | 707 16568 | 8 | 19 455.62/455.75 c 455s | 24 | 11202170 | 4826562 | 707 16625 | 8 | 19 457.63/457.75 c 457s | 24 | 11247541 | 4847162 | 707 16681 | 8 | 19 459.62/459.76 c 459s | 24 | 11292907 | 4867462 | 707 16737 | 8 | 19 461.61/461.77 c 461s | 24 | 11339357 | 4887662 | 707 16793 | 8 | 19 463.61/463.77 c 463s | 24 | 11383998 | 4907162 | 707 16847 | 8 | 19 465.61/465.78 c 465s | 24 | 11429357 | 4927262 | 707 16903 | 8 | 19 467.61/467.78 c 467s | 24 | 11472950 | 4946962 | 707 16957 | 8 | 19 469.62/469.79 c 469s | 24 | 11516372 | 4966662 | 707 17012 | 8 | 19 471.61/471.79 c 471s | 24 | 11559641 | 4986662 | 707 17067 | 8 | 19 473.61/473.79 c 473s | 24 | 11605017 | 5007462 | 707 17125 | 8 | 19 475.71/475.80 c 475s | 24 | 11647958 | 5026662 | 707 17178 | 8 | 19 477.71/477.80 c 477s | 24 | 11688499 | 5045162 | 778 17226 | 8 | 19 479.70/479.81 c 479s | 24 | 11726924 | 5063362 | 778 17272 | 8 | 19 479.90/480.01 c 479s | 25 | 11730610 | 5065098 | 778 17276 | 8 | 19 481.90/482.02 c 481s | 25 | 11780876 | 5085798 | 778 17328 | 8 | 19 483.91/484.03 c 483s | 25 | 11827773 | 5105898 | 778 17379 | 8 | 19 485.90/486.04 c 485s | 25 | 11874846 | 5126098 | 778 17429 | 8 | 19 487.90/488.05 c 487s | 25 | 11919925 | 5145498 | 778 17478 | 8 | 19 489.90/490.05 c 489s | 25 | 11966797 | 5165298 | 778 17528 | 8 | 19 491.90/492.06 c 491s | 25 | 12011187 | 5185498 | 778 17579 | 8 | 19 493.91/494.07 c 493s | 25 | 12056579 | 5205898 | 778 17631 | 8 | 19 495.90/496.07 c 495s | 25 | 12101135 | 5225598 | 778 17680 | 8 | 19 497.90/498.08 c 497s | 25 | 12147384 | 5245298 | 778 17730 | 8 | 19 499.90/500.09 c 499s | 25 | 12191474 | 5265098 | 778 17779 | 8 | 19 501.90/502.09 c 501s | 25 | 12234877 | 5284698 | 778 17829 | 8 | 19 503.89/504.09 c 503s | 25 | 12277686 | 5303898 | 778 17877 | 8 | 19 505.91/506.09 c 505s | 25 | 12324423 | 5324198 | 778 17929 | 8 | 19 507.90/508.09 c 507s | 25 | 12370430 | 5344798 | 778 17980 | 8 | 19 510.00/510.10 c 510s | 25 | 12414814 | 5364398 | 778 18030 | 8 | 19 512.00/512.11 c 512s | 25 | 12459479 | 5384198 | 778 18080 | 8 | 19 514.00/514.11 c 514s | 25 | 12503106 | 5403898 | 778 18130 | 8 | 19 515.99/516.12 c 516s | 25 | 12545529 | 5423498 | 778 18179 | 8 | 19 518.00/518.12 c 518s | 25 | 12590894 | 5443398 | 778 18229 | 8 | 19 520.00/520.13 c 520s | 25 | 12637077 | 5463098 | 778 18279 | 8 | 19 521.99/522.14 c 522s | 25 | 12680880 | 5482698 | 778 18329 | 8 | 19 523.99/524.14 c 524s | 25 | 12723762 | 5501798 | 778 18377 | 8 | 19 526.00/526.15 c 526s | 25 | 12765849 | 5520898 | 778 18425 | 8 | 19 528.00/528.15 c 528s | 25 | 12810768 | 5540798 | 778 18475 | 8 | 19 529.99/530.15 c 530s | 25 | 12853361 | 5560098 | 778 18524 | 8 | 19 531.98/532.15 c 532s | 25 | 12895077 | 5579198 | 778 18572 | 8 | 19 533.98/534.16 c 534s | 25 | 12935857 | 5598398 | 778 18621 | 8 | 19 535.98/536.17 c 536s | 25 | 12979437 | 5618398 | 778 18672 | 8 | 19 537.99/538.18 c 538s | 25 | 13021078 | 5637898 | 778 18721 | 8 | 19 540.00/540.19 c 540s | 25 | 13062708 | 5657298 | 778 18770 | 8 | 19 541.99/542.19 c 542s | 25 | 13105060 | 5676798 | 778 18819 | 8 | 19 544.08/544.20 c 544s | 25 | 13148346 | 5696598 | 778 18870 | 8 | 19 546.08/546.21 c 546s | 25 | 13188305 | 5716098 | 778 18919 | 8 | 19 548.08/548.22 c 548s | 25 | 13230701 | 5735998 | 778 18969 | 8 | 19 550.09/550.22 c 550s | 25 | 13273901 | 5756898 | 778 19022 | 8 | 19 552.09/552.23 c 552s | 25 | 13322425 | 5777998 | 778 19075 | 8 | 19 554.08/554.23 c 554s | 25 | 13369752 | 5798698 | 778 19127 | 8 | 19 556.08/556.24 c 556s | 25 | 13414791 | 5818798 | 778 19177 | 8 | 19 558.08/558.24 c 558s | 25 | 13462669 | 5839498 | 778 19229 | 8 | 19 560.07/560.25 c 560s | 25 | 13508215 | 5860198 | 778 19281 | 8 | 19 562.08/562.26 c 562s | 25 | 13557875 | 5880898 | 778 19333 | 8 | 19 564.07/564.27 c 564s | 25 | 13605328 | 5901098 | 778 19384 | 8 | 19 566.08/566.27 c 566s | 25 | 13651650 | 5921098 | 778 19434 | 8 | 19 568.08/568.27 c 568s | 25 | 13693162 | 5939898 | 778 19482 | 8 | 19 570.07/570.28 c 570s | 25 | 13739275 | 5960298 | 778 19533 | 8 | 19 572.07/572.29 c 572s | 25 | 13787593 | 5980698 | 778 19584 | 8 | 19 574.08/574.29 c 574s | 25 | 13834096 | 6000898 | 778 19635 | 8 | 19 576.18/576.30 c 576s | 25 | 13878962 | 6021098 | 778 19686 | 8 | 19 578.18/578.30 c 578s | 25 | 13923965 | 6041198 | 778 19737 | 8 | 19 580.17/580.31 c 580s | 25 | 13965413 | 6060998 | 778 19787 | 8 | 19 582.16/582.31 c 582s | 25 | 14012549 | 6081798 | 778 19839 | 8 | 19 584.16/584.31 c 584s | 25 | 14059388 | 6101898 | 778 19889 | 8 | 19 586.17/586.32 c 586s | 25 | 14103464 | 6122198 | 778 19940 | 8 | 19 588.17/588.32 c 588s | 25 | 14149974 | 6142898 | 778 19992 | 8 | 19 590.17/590.32 c 590s | 25 | 14193559 | 6162698 | 778 20042 | 8 | 19 592.16/592.33 c 592s | 25 | 14237124 | 6182698 | 778 20092 | 8 | 19 594.16/594.33 c 594s | 25 | 14281037 | 6202598 | 778 20142 | 8 | 19 596.17/596.34 c 596s | 25 | 14325143 | 6222698 | 778 20192 | 8 | 19 598.16/598.34 c 598s | 25 | 14369079 | 6242798 | 778 20243 | 8 | 19 600.16/600.34 c 600s | 25 | 14412311 | 6262598 | 778 20293 | 8 | 19 602.16/602.35 c 602s | 25 | 14454093 | 6281898 | 778 20342 | 8 | 19 604.16/604.36 c 604s | 25 | 14497621 | 6301498 | 778 20391 | 8 | 19 606.16/606.37 c 606s | 25 | 14539677 | 6320498 | 778 20439 | 8 | 19 608.16/608.37 c 608s | 25 | 14583202 | 6340398 | 778 20489 | 8 | 19 610.16/610.38 c 610s | 25 | 14626300 | 6359798 | 778 20538 | 8 | 19 612.15/612.39 c 612s | 25 | 14667053 | 6378498 | 778 20585 | 8 | 19 614.15/614.39 c 614s | 25 | 14710301 | 6398398 | 778 20635 | 8 | 19 616.15/616.40 c 616s | 25 | 14755607 | 6418498 | 778 20685 | 8 | 19 618.25/618.40 c 618s | 25 | 14801825 | 6438598 | 778 20736 | 8 | 19 620.25/620.41 c 620s | 25 | 14848572 | 6459498 | 778 20788 | 8 | 19 622.25/622.41 c 622s | 25 | 14895420 | 6479798 | 778 20839 | 8 | 19 624.24/624.41 c 624s | 25 | 14940687 | 6498998 | 778 20888 | 8 | 19 626.24/626.42 c 626s | 25 | 14983989 | 6518898 | 778 20938 | 8 | 19 628.25/628.43 c 628s | 25 | 15025215 | 6538298 | 778 20987 | 8 | 19 630.26/630.43 c 630s | 25 | 15067930 | 6558098 | 778 21036 | 8 | 19 632.25/632.44 c 632s | 25 | 15110309 | 6577598 | 778 21086 | 8 | 19 634.24/634.45 c 634s | 25 | 15152514 | 6596998 | 778 21134 | 8 | 19 636.24/636.46 c 636s | 25 | 15192902 | 6616198 | 778 21183 | 8 | 19 638.24/638.47 c 638s | 25 | 15240493 | 6636698 | 778 21235 | 8 | 19 640.24/640.47 c 640s | 25 | 15287222 | 6656498 | 778 21284 | 8 | 19 642.24/642.47 c 642s | 25 | 15334007 | 6676798 | 778 21335 | 8 | 19 644.24/644.47 c 644s | 25 | 15377387 | 6696498 | 778 21385 | 8 | 19 646.24/646.48 c 646s | 25 | 15422367 | 6717098 | 778 21437 | 8 | 19 648.23/648.49 c 648s | 25 | 15469179 | 6737298 | 778 21488 | 8 | 19 650.24/650.49 c 650s | 25 | 15511277 | 6756498 | 778 21536 | 8 | 19 652.33/652.50 c 652s | 25 | 15555240 | 6775798 | 778 21585 | 8 | 19 654.33/654.51 c 654s | 25 | 15597611 | 6795198 | 778 21634 | 8 | 19 656.32/656.52 c 656s | 25 | 15640277 | 6814198 | 778 21682 | 8 | 19 658.32/658.53 c 658s | 25 | 15682974 | 6833598 | 778 21731 | 8 | 19 660.32/660.53 c 660s | 25 | 15729551 | 6854598 | 778 21784 | 8 | 19 662.32/662.54 c 662s | 25 | 15773300 | 6874598 | 778 21834 | 8 | 19 664.33/664.54 c 664s | 25 | 15815448 | 6893698 | 778 21882 | 8 | 19 666.32/666.54 c 666s | 25 | 15861943 | 6913798 | 778 21933 | 8 | 19 668.32/668.55 c 668s | 25 | 15906083 | 6933498 | 778 21982 | 8 | 19 670.33/670.56 c 670s | 25 | 15948108 | 6952698 | 778 22031 | 8 | 19 672.32/672.56 c 672s | 25 | 15991248 | 6972598 | 778 22081 | 8 | 19 674.32/674.57 c 674s | 25 | 16036311 | 6992398 | 778 22131 | 8 | 19 676.32/676.58 c 676s | 25 | 16083336 | 7012398 | 778 22181 | 8 | 19 678.32/678.58 c 678s | 25 | 16128046 | 7032298 | 778 22232 | 8 | 19 680.32/680.58 c 680s | 25 | 16172996 | 7052398 | 778 22282 | 8 | 19 682.31/682.59 c 682s | 25 | 16216769 | 7072398 | 778 22333 | 8 | 19 684.32/684.59 c 684s | 25 | 16259407 | 7091798 | 778 22382 | 8 | 19 686.33/686.60 c 686s | 25 | 16299161 | 7110798 | 778 22430 | 8 | 19 688.31/688.60 c 688s | 25 | 16336739 | 7129398 | 778 22477 | 8 | 19 690.42/690.60 c 690s | 25 | 16382204 | 7149298 | 778 22527 | 8 | 19 692.41/692.60 c 692s | 25 | 16426007 | 7168498 | 778 22575 | 8 | 19 694.41/694.61 c 694s | 25 | 16470986 | 7187898 | 778 22624 | 8 | 19 696.41/696.61 c 696s | 25 | 16514198 | 7207198 | 778 22673 | 8 | 19 698.42/698.62 c 698s | 25 | 16554924 | 7226298 | 778 22721 | 8 | 19 700.41/700.63 c 700s | 25 | 16597289 | 7245198 | 778 22769 | 8 | 19 702.41/702.64 c 702s | 25 | 16637518 | 7264298 | 778 22818 | 8 | 19 704.40/704.65 c 704s | 25 | 16679235 | 7284098 | 778 22867 | 8 | 19 706.41/706.65 c 706s | 25 | 16722148 | 7303798 | 778 22917 | 8 | 19 708.40/708.66 c 708s | 25 | 16763652 | 7323298 | 778 22966 | 8 | 19 710.41/710.66 c 710s | 25 | 16805541 | 7342298 | 778 23014 | 8 | 19 712.41/712.67 c 712s | 25 | 16844432 | 7360698 | 778 23061 | 8 | 19 714.40/714.68 c 714s | 25 | 16886565 | 7380198 | 778 23110 | 8 | 19 716.40/716.68 c 716s | 25 | 16929842 | 7399598 | 778 23159 | 8 | 19 718.40/718.68 c 718s | 25 | 16971138 | 7418498 | 778 23207 | 8 | 19 720.41/720.69 c 720s | 25 | 17013461 | 7437598 | 778 23255 | 8 | 19 722.40/722.70 c 722s | 25 | 17054687 | 7456598 | 778 23304 | 8 | 19 724.49/724.70 c 724s | 25 | 17096564 | 7475598 | 778 23352 | 8 | 19 726.50/726.70 c 726s | 25 | 17139519 | 7495098 | 778 23401 | 8 | 19 728.50/728.71 c 728s | 25 | 17179609 | 7513798 | 778 23448 | 8 | 19 730.50/730.71 c 730s | 25 | 17222342 | 7533698 | 778 23499 | 8 | 19 732.50/732.71 c 732s | 25 | 17264988 | 7553698 | 856 23546 | 8 | 19 734.49/734.72 c 734s | 25 | 17305761 | 7572898 | 856 23591 | 8 | 19 736.49/736.73 c 736s | 25 | 17347662 | 7592298 | 856 23636 | 8 | 19 736.99/737.29 c 737s | 26 | 17358331 | 7597752 | 856 23648 | 8 | 19 739.00/739.30 c 739s | 26 | 17398403 | 7616152 | 856 23690 | 8 | 19 741.09/741.30 c 741s | 26 | 17447316 | 7636652 | 856 23737 | 8 | 19 743.09/743.31 c 743s | 26 | 17493401 | 7656552 | 856 23783 | 8 | 19 745.09/745.32 c 745s | 26 | 17536332 | 7675852 | 856 23827 | 8 | 19 747.09/747.33 c 747s | 26 | 17586629 | 7695952 | 856 23873 | 8 | 19 749.09/749.33 c 749s | 26 | 17635748 | 7716352 | 856 23920 | 8 | 19 751.10/751.34 c 751s | 26 | 17684093 | 7736552 | 856 23966 | 8 | 19 753.09/753.34 c 753s | 26 | 17731094 | 7756452 | 856 24012 | 8 | 19 755.09/755.35 c 755s | 26 | 17779372 | 7776452 | 856 24057 | 8 | 19 757.09/757.36 c 757s | 26 | 17825848 | 7796252 | 856 24103 | 8 | 19 759.08/759.36 c 759s | 26 | 17871955 | 7815552 | 856 24147 | 8 | 19 761.09/761.36 c 761s | 26 | 17917492 | 7834952 | 856 24191 | 8 | 19 763.09/763.36 c 763s | 26 | 17961244 | 7854152 | 856 24236 | 8 | 19 765.08/765.37 c 765s | 26 | 18009791 | 7873552 | 856 24280 | 8 | 19 767.08/767.37 c 767s | 26 | 18058442 | 7892652 | 856 24324 | 8 | 19 769.08/769.37 c 769s | 26 | 18104641 | 7912452 | 856 24369 | 8 | 19 771.08/771.37 c 771s | 26 | 18147715 | 7932052 | 856 24414 | 8 | 19 773.09/773.38 c 773s | 26 | 18190119 | 7950952 | 856 24458 | 8 | 19 775.08/775.39 c 775s | 26 | 18233009 | 7970052 | 856 24502 | 8 | 19 777.18/777.40 c 777s | 26 | 18273596 | 7988952 | 856 24545 | 8 | 19 779.18/779.40 c 779s | 26 | 18313255 | 8007052 | 856 24587 | 8 | 19 781.17/781.40 c 781s | 26 | 18356369 | 8025852 | 856 24630 | 8 | 19 783.17/783.40 c 783s | 26 | 18395580 | 8043552 | 856 24671 | 8 | 19 785.18/785.40 c 785s | 26 | 18435572 | 8062152 | 856 24714 | 8 | 19 787.17/787.41 c 787s | 26 | 18475942 | 8080452 | 856 24756 | 8 | 19 789.17/789.41 c 789s | 26 | 18523741 | 8100552 | 856 24802 | 8 | 19 791.17/791.42 c 791s | 26 | 18568155 | 8120052 | 856 24846 | 8 | 19 793.17/793.42 c 793s | 26 | 18612136 | 8139452 | 856 24891 | 8 | 19 795.18/795.43 c 795s | 26 | 18657268 | 8159252 | 856 24936 | 8 | 19 797.17/797.44 c 797s | 26 | 18701427 | 8178252 | 856 24980 | 8 | 19 799.16/799.44 c 799s | 26 | 18747861 | 8197652 | 856 25024 | 8 | 19 801.16/801.45 c 801s | 26 | 18789144 | 8216352 | 856 25067 | 8 | 19 803.16/803.46 c 803s | 26 | 18833335 | 8235652 | 856 25111 | 8 | 19 805.17/805.46 c 805s | 26 | 18875063 | 8254252 | 856 25154 | 8 | 19 807.17/807.46 c 807s | 26 | 18919237 | 8272952 | 856 25197 | 8 | 19 809.16/809.47 c 809s | 26 | 18960981 | 8291152 | 856 25239 | 8 | 19 811.16/811.48 c 811s | 26 | 19002902 | 8309752 | 856 25281 | 8 | 19 813.16/813.49 c 813s | 26 | 19044136 | 8328152 | 856 25324 | 8 | 19 815.26/815.50 c 815s | 26 | 19085008 | 8346852 | 856 25366 | 8 | 19 817.26/817.51 c 817s | 26 | 19124699 | 8365152 | 856 25409 | 8 | 19 819.27/819.52 c 819s | 26 | 19161952 | 8382652 | 856 25449 | 8 | 19 821.26/821.52 c 821s | 26 | 19199401 | 8400152 | 856 25489 | 8 | 19 823.26/823.53 c 823s | 26 | 19237293 | 8417652 | 856 25530 | 8 | 19 825.25/825.54 c 825s | 26 | 19286379 | 8438052 | 856 25576 | 8 | 19 827.25/827.54 c 827s | 26 | 19332532 | 8457752 | 856 25621 | 8 | 19 829.26/829.55 c 829s | 26 | 19379506 | 8477652 | 856 25667 | 8 | 19 831.25/831.55 c 831s | 26 | 19425714 | 8497552 | 856 25712 | 8 | 19 833.24/833.56 c 833s | 26 | 19470947 | 8516952 | 856 25757 | 8 | 19 835.24/835.57 c 835s | 26 | 19515185 | 8536052 | 856 25800 | 8 | 19 837.25/837.58 c 837s | 26 | 19559918 | 8555652 | 856 25845 | 8 | 19 839.24/839.58 c 839s | 26 | 19604201 | 8575052 | 856 25890 | 8 | 19 841.26/841.60 c 841s | 26 | 19649954 | 8594152 | 856 25934 | 8 | 19 843.35/843.60 c 843s | 26 | 19694273 | 8613452 | 856 25978 | 8 | 19 845.35/845.60 c 845s | 26 | 19739481 | 8632952 | 856 26023 | 8 | 19 847.35/847.60 c 847s | 26 | 19782386 | 8651852 | 856 26066 | 8 | 19 849.35/849.61 c 849s | 26 | 19821862 | 8670252 | 856 26109 | 8 | 19 851.34/851.62 c 851s | 26 | 19866252 | 8689652 | 856 26153 | 8 | 19 853.35/853.62 c 853s | 26 | 19912759 | 8709252 | 856 26198 | 8 | 19 855.34/855.62 c 855s | 26 | 19957706 | 8728652 | 856 26243 | 8 | 19 857.34/857.63 c 857s | 26 | 19999905 | 8747552 | 856 26286 | 8 | 19 859.34/859.64 c 859s | 26 | 20043042 | 8766552 | 856 26329 | 8 | 19 861.34/861.65 c 861s | 26 | 20086966 | 8785552 | 856 26373 | 8 | 19 863.34/863.66 c 863s | 26 | 20128414 | 8803752 | 856 26415 | 8 | 19 865.34/865.66 c 865s | 26 | 20168952 | 8822452 | 856 26458 | 8 | 19 867.33/867.67 c 867s | 26 | 20209275 | 8840652 | 856 26499 | 8 | 19 869.34/869.68 c 869s | 26 | 20248429 | 8858552 | 856 26541 | 8 | 19 871.34/871.69 c 871s | 26 | 20292693 | 8878052 | 856 26585 | 8 | 19 873.43/873.70 c 873s | 26 | 20336048 | 8897052 | 856 26629 | 8 | 19 875.44/875.71 c 875s | 26 | 20378996 | 8916152 | 856 26673 | 8 | 19 877.43/877.72 c 877s | 26 | 20421881 | 8935452 | 856 26717 | 8 | 19 879.43/879.72 c 879s | 26 | 20465038 | 8954652 | 856 26761 | 8 | 19 881.43/881.72 c 881s | 26 | 20505875 | 8973052 | 856 26803 | 8 | 19 883.43/883.72 c 883s | 26 | 20550264 | 8992052 | 856 26847 | 8 | 19 885.43/885.72 c 885s | 26 | 20593823 | 9011052 | 856 26891 | 8 | 19 887.43/887.73 c 887s | 26 | 20635136 | 9029552 | 856 26933 | 8 | 19 889.43/889.74 c 889s | 26 | 20675392 | 9048552 | 856 26977 | 8 | 19 891.42/891.74 c 891s | 26 | 20715253 | 9067052 | 856 27020 | 8 | 19 893.42/893.74 c 893s | 26 | 20757201 | 9085352 | 856 27062 | 8 | 19 895.42/895.75 c 895s | 26 | 20802550 | 9104352 | 856 27106 | 8 | 19 897.43/897.76 c 897s | 26 | 20849809 | 9124352 | 856 27151 | 8 | 19 899.42/899.76 c 899s | 26 | 20895906 | 9143452 | 856 27195 | 8 | 19 901.42/901.76 c 901s | 26 | 20938483 | 9161952 | 856 27238 | 8 | 19 903.42/903.77 c 903s | 26 | 20980844 | 9179952 | 856 27279 | 8 | 19 905.42/905.77 c 905s | 26 | 21021792 | 9198452 | 856 27321 | 8 | 19 907.42/907.78 c 907s | 26 | 21063830 | 9217352 | 856 27365 | 8 | 19 909.43/909.79 c 909s | 26 | 21106973 | 9236852 | 856 27410 | 8 | 19 911.52/911.80 c 911s | 26 | 21148884 | 9256052 | 856 27454 | 8 | 19 913.51/913.80 c 913s | 26 | 21192337 | 9275352 | 856 27498 | 8 | 19 915.51/915.81 c 915s | 26 | 21232695 | 9294152 | 856 27541 | 8 | 19 917.52/917.82 c 917s | 26 | 21273181 | 9312752 | 856 27584 | 8 | 19 919.52/919.83 c 919s | 26 | 21313102 | 9330952 | 856 27626 | 8 | 19 921.52/921.83 c 921s | 26 | 21356650 | 9350252 | 856 27670 | 8 | 19 923.52/923.84 c 923s | 26 | 21400424 | 9369452 | 856 27714 | 8 | 19 925.52/925.84 c 925s | 26 | 21443731 | 9388752 | 856 27759 | 8 | 19 927.51/927.85 c 927s | 26 | 21487118 | 9408052 | 856 27803 | 8 | 19 929.52/929.86 c 929s | 26 | 21531907 | 9427652 | 856 27848 | 8 | 19 931.52/931.86 c 931s | 26 | 21573233 | 9446352 | 856 27891 | 8 | 19 933.51/933.86 c 933s | 26 | 21613830 | 9464752 | 856 27933 | 8 | 19 935.51/935.86 c 935s | 26 | 21652984 | 9482552 | 856 27974 | 8 | 19 937.51/937.87 c 937s | 26 | 21696586 | 9501552 | 856 28018 | 8 | 19 939.51/939.87 c 939s | 26 | 21740112 | 9520352 | 856 28061 | 8 | 19 941.50/941.87 c 941s | 26 | 21781622 | 9539252 | 856 28105 | 8 | 19 943.51/943.88 c 943s | 26 | 21823160 | 9557952 | 856 28148 | 8 | 19 945.51/945.89 c 945s | 26 | 21860377 | 9575652 | 856 28189 | 8 | 19 947.50/947.89 c 947s | 26 | 21902848 | 9594852 | 856 28233 | 8 | 19 949.61/949.90 c 949s | 26 | 21944979 | 9613452 | 856 28276 | 8 | 19 951.60/951.91 c 951s | 26 | 21985891 | 9632152 | 856 28319 | 8 | 19 953.60/953.91 c 953s | 26 | 22024080 | 9650752 | 856 28362 | 8 | 19 955.60/955.92 c 955s | 26 | 22070587 | 9671052 | 856 28408 | 8 | 19 957.59/957.92 c 957s | 26 | 22116201 | 9690452 | 856 28453 | 8 | 19 959.60/959.92 c 959s | 26 | 22158439 | 9709552 | 856 28496 | 8 | 19 961.59/961.92 c 961s | 26 | 22201726 | 9728952 | 856 28540 | 8 | 19 963.59/963.92 c 963s | 26 | 22242946 | 9747652 | 856 28583 | 8 | 19 965.59/965.93 c 965s | 26 | 22289596 | 9767152 | 856 28628 | 8 | 19 967.59/967.94 c 967s | 26 | 22333554 | 9785952 | 856 28671 | 8 | 19 969.59/969.94 c 969s | 26 | 22373851 | 9804152 | 856 28713 | 8 | 19 971.59/971.95 c 971s | 26 | 22415327 | 9822252 | 856 28754 | 8 | 19 973.59/973.96 c 973s | 26 | 22454628 | 9839952 | 856 28795 | 8 | 19 975.58/975.96 c 975s | 26 | 22492633 | 9857652 | 856 28835 | 8 | 19 977.59/977.97 c 977s | 26 | 22531035 | 9875252 | 856 28876 | 8 | 19 979.59/979.98 c 979s | 26 | 22568689 | 9893052 | 856 28916 | 8 | 19 981.58/981.98 c 981s | 26 | 22607172 | 9911052 | 856 28958 | 8 | 19 983.59/983.99 c 983s | 26 | 22649176 | 9929652 | 856 29000 | 8 | 19 985.58/985.99 c 985s | 26 | 22689872 | 9947752 | 856 29042 | 8 | 19 987.69/988.00 c 987s | 26 | 22732189 | 9967152 | 856 29086 | 8 | 19 989.69/990.01 c 989s | 26 | 22775390 | 9986252 | 856 29130 | 8 | 19 991.68/992.01 c 991s | 26 | 22816346 | 10005452 | 856 29174 | 8 | 19 993.68/994.02 c 993s | 26 | 22859864 | 10024952 | 856 29218 | 8 | 19 995.68/996.02 c 995s | 26 | 22906922 | 10043952 | 856 29262 | 8 | 19 997.68/998.02 c 997s | 26 | 22951060 | 10063352 | 856 29306 | 8 | 19 999.69/1000.03 c 999s | 26 | 22993204 | 10082752 | 856 29350 | 8 | 19 1001.68/1002.04 c 1001s | 26 | 23035994 | 10102052 | 856 29395 | 8 | 19 1003.68/1004.04 c 1003s | 26 | 23078939 | 10121752 | 856 29440 | 8 | 19 1005.67/1006.05 c 1005s | 26 | 23120253 | 10140952 | 856 29484 | 8 | 19 1007.68/1008.05 c 1007s | 26 | 23161990 | 10159452 | 856 29526 | 8 | 19 1009.68/1010.06 c 1009s | 26 | 23202383 | 10177152 | 856 29567 | 8 | 19 1011.68/1012.07 c 1011s | 26 | 23242228 | 10194752 | 856 29607 | 8 | 19 1013.67/1014.07 c 1013s | 26 | 23284610 | 10213352 | 856 29650 | 8 | 19 1015.67/1016.07 c 1015s | 26 | 23326143 | 10231652 | 856 29692 | 8 | 19 1017.68/1018.07 c 1017s | 26 | 23366097 | 10249252 | 856 29732 | 8 | 19 1019.68/1020.08 c 1019s | 26 | 23405897 | 10266652 | 856 29772 | 8 | 19 1021.68/1022.09 c 1021s | 26 | 23445836 | 10284252 | 856 29812 | 8 | 19 1023.67/1024.09 c 1023s | 26 | 23485133 | 10301752 | 856 29853 | 8 | 19 1025.77/1026.10 c 1026s | 26 | 23526286 | 10319652 | 856 29894 | 8 | 19 1027.77/1028.11 c 1028s | 26 | 23565374 | 10336652 | 856 29933 | 8 | 19 1029.76/1030.11 c 1030s | 26 | 23604861 | 10354952 | 856 29974 | 8 | 19 1031.77/1032.11 c 1032s | 26 | 23647266 | 10373852 | 856 30018 | 8 | 19 1033.78/1034.12 c 1034s | 26 | 23691958 | 10393252 | 856 30062 | 8 | 19 1035.77/1036.13 c 1036s | 26 | 23734751 | 10411952 | 856 30105 | 8 | 19 1037.76/1038.14 c 1038s | 26 | 23777311 | 10430452 | 856 30148 | 8 | 19 1039.76/1040.15 c 1040s | 26 | 23816683 | 10448552 | 856 30189 | 8 | 19 1041.77/1042.15 c 1042s | 26 | 23858611 | 10467052 | 856 30232 | 8 | 19 1043.76/1044.15 c 1044s | 26 | 23896860 | 10484552 | 856 30272 | 8 | 19 1045.77/1046.15 c 1046s | 26 | 23937625 | 10502752 | 856 30314 | 8 | 19 1047.76/1048.16 c 1048s | 26 | 23976910 | 10520352 | 856 30354 | 8 | 19 1049.76/1050.17 c 1050s | 26 | 24017689 | 10538352 | 856 30395 | 8 | 19 1051.76/1052.17 c 1052s | 26 | 24056621 | 10555652 | 856 30435 | 8 | 19 1053.76/1054.18 c 1054s | 26 | 24097651 | 10573852 | 856 30477 | 8 | 19 1055.76/1056.19 c 1056s | 26 | 24136052 | 10591052 | 856 30516 | 8 | 19 1057.76/1058.19 c 1058s | 26 | 24173798 | 10609052 | 856 30558 | 8 | 19 1059.86/1060.20 c 1060s | 26 | 24212493 | 10626752 | 856 30598 | 8 | 19 1061.85/1062.21 c 1062s | 26 | 24250709 | 10643952 | 856 30638 | 8 | 19 1063.85/1064.22 c 1064s | 26 | 24290158 | 10661752 | 856 30679 | 8 | 19 1065.85/1066.22 c 1066s | 26 | 24328592 | 10679452 | 856 30720 | 8 | 19 1067.86/1068.23 c 1068s | 26 | 24369590 | 10697652 | 856 30762 | 8 | 19 1069.85/1070.23 c 1070s | 26 | 24408550 | 10715352 | 856 30802 | 8 | 19 1071.85/1072.24 c 1072s | 26 | 24447999 | 10733752 | 856 30844 | 8 | 19 1073.85/1074.25 c 1074s | 26 | 24487917 | 10752652 | 856 30888 | 8 | 19 1075.85/1076.26 c 1076s | 26 | 24527070 | 10770352 | 856 30928 | 8 | 19 1077.85/1078.26 c 1078s | 26 | 24564343 | 10787552 | 856 30968 | 8 | 19 1079.86/1080.26 c 1080s | 26 | 24600305 | 10804352 | 856 31007 | 8 | 19 1081.85/1082.26 c 1082s | 26 | 24641143 | 10822352 | 856 31048 | 8 | 19 1083.85/1084.26 c 1084s | 26 | 24678856 | 10839652 | 856 31088 | 8 | 19 1085.85/1086.28 c 1086s | 26 | 24718062 | 10856752 | 856 31127 | 8 | 19 1087.85/1088.28 c 1088s | 26 | 24756254 | 10874352 | 856 31168 | 8 | 19 1089.86/1090.28 c 1090s | 26 | 24792677 | 10891552 | 856 31207 | 8 | 19 1091.85/1092.29 c 1092s | 26 | 24828016 | 10908152 | 856 31246 | 8 | 19 1093.95/1094.30 c 1094s | 26 | 24863868 | 10924852 | 856 31284 | 8 | 19 1095.95/1096.30 c 1096s | 26 | 24900966 | 10941852 | 856 31323 | 8 | 19 1097.95/1098.31 c 1098s | 26 | 24937548 | 10959352 | 856 31364 | 8 | 19 1099.95/1100.31 c 1100s | 26 | 24980718 | 10977952 | 856 31406 | 8 | 19 1101.95/1102.32 c 1102s | 26 | 25026468 | 10997052 | 856 31450 | 8 | 19 1103.94/1104.33 c 1104s | 26 | 25070132 | 11015652 | 856 31493 | 8 | 19 1105.94/1106.33 c 1106s | 26 | 25111922 | 11034152 | 856 31535 | 8 | 19 1107.94/1108.34 c 1108s | 26 | 25154472 | 11052652 | 856 31577 | 8 | 19 1109.94/1110.35 c 1110s | 26 | 25195814 | 11070552 | 856 31619 | 8 | 19 1111.94/1112.36 c 1112s | 26 | 25238800 | 11088952 | 856 31661 | 8 | 19 1113.96/1114.36 c 1114s | 26 | 25279792 | 11106552 | 856 31701 | 8 | 19 1115.95/1116.36 c 1116s | 26 | 25320063 | 11124352 | 856 31742 | 8 | 19 1117.95/1118.37 c 1118s | 26 | 25361832 | 11142552 | 856 31783 | 8 | 19 1119.94/1120.37 c 1120s | 26 | 25401596 | 11160152 | 856 31824 | 8 | 19 1121.94/1122.38 c 1122s | 26 | 25442864 | 11177952 | 856 31865 | 8 | 19 1123.95/1124.39 c 1124s | 26 | 25482031 | 11195152 | 856 31904 | 8 | 19 1125.94/1126.39 c 1126s | 26 | 25523740 | 11213452 | 856 31946 | 8 | 19 1128.04/1128.40 c 1128s | 26 | 25563770 | 11231252 | 856 31987 | 8 | 19 1130.04/1130.41 c 1130s | 26 | 25604329 | 11248852 | 856 32028 | 8 | 19 1132.04/1132.42 c 1132s | 26 | 25643697 | 11266352 | 856 32068 | 8 | 19 1134.04/1134.43 c 1134s | 26 | 25681484 | 11283152 | 856 32107 | 8 | 19 1136.05/1136.44 c 1136s | 26 | 25720507 | 11300252 | 856 32146 | 8 | 19 1138.04/1138.44 c 1138s | 26 | 25760484 | 11317552 | 942 32185 | 8 | 19 1140.04/1140.45 c 1140s | 26 | 25803504 | 11335452 | 942 32222 | 8 | 19 1142.04/1142.45 c 1142s | 26 | 25845583 | 11352952 | 942 32259 | 8 | 19 1144.04/1144.46 c 1144s | 26 | 25885604 | 11370552 | 942 32296 | 8 | 19 1146.04/1146.46 c 1146s | 26 | 25925491 | 11388152 | 942 32332 | 8 | 19 1146.94/1147.38 c 1147s | 27 | 25945611 | 11396733 | 942 32350 | 8 | 19 1148.94/1149.38 c 1149s | 27 | 25992319 | 11415433 | 942 32389 | 8 | 19 1150.94/1151.39 c 1151s | 27 | 26037263 | 11434633 | 942 32429 | 8 | 19 1153.03/1153.40 c 1153s | 27 | 26077454 | 11452633 | 942 32467 | 8 | 19 1155.03/1155.40 c 1155s | 27 | 26118207 | 11471133 | 942 32505 | 8 | 19 1157.03/1157.40 c 1157s | 27 | 26159443 | 11489133 | 942 32543 | 8 | 19 1159.05/1159.41 c 1159s | 27 | 26203141 | 11508033 | 942 32582 | 8 | 19 1161.04/1161.41 c 1161s | 27 | 26244324 | 11526333 | 942 32620 | 8 | 19 1163.04/1163.42 c 1163s | 27 | 26286933 | 11544633 | 942 32659 | 8 | 19 1165.04/1165.42 c 1165s | 27 | 26325074 | 11562433 | 942 32696 | 8 | 19 1167.03/1167.43 c 1167s | 27 | 26365416 | 11580333 | 942 32733 | 8 | 19 1169.04/1169.44 c 1169s | 27 | 26405050 | 11597433 | 942 32769 | 8 | 19 1171.03/1171.45 c 1171s | 27 | 26444277 | 11614333 | 942 32804 | 8 | 19 1173.03/1173.46 c 1173s | 27 | 26480837 | 11630933 | 942 32839 | 8 | 19 1175.03/1175.46 c 1175s | 27 | 26522480 | 11648833 | 942 32877 | 8 | 19 1177.03/1177.47 c 1177s | 27 | 26566471 | 11667633 | 942 32916 | 8 | 19 1179.03/1179.47 c 1179s | 27 | 26608538 | 11685633 | 942 32953 | 8 | 19 1181.04/1181.48 c 1181s | 27 | 26652894 | 11704033 | 942 32992 | 8 | 19 1183.04/1183.48 c 1183s | 27 | 26695269 | 11722833 | 942 33031 | 8 | 19 1185.04/1185.49 c 1185s | 27 | 26734956 | 11740933 | 942 33069 | 8 | 19 1187.04/1187.49 c 1187s | 27 | 26777936 | 11759933 | 942 33108 | 8 | 19 1189.13/1189.50 c 1189s | 27 | 26817047 | 11777233 | 942 33145 | 8 | 19 1191.13/1191.50 c 1191s | 27 | 26859507 | 11795433 | 942 33183 | 8 | 19 1193.14/1193.50 c 1193s | 27 | 26901352 | 11813933 | 942 33221 | 8 | 19 1195.13/1195.51 c 1195s | 27 | 26940766 | 11832333 | 942 33260 | 8 | 19 1197.13/1197.51 c 1197s | 27 | 26983148 | 11851533 | 942 33300 | 8 | 19 1199.13/1199.52 c 1199s | 27 | 27026325 | 11870233 | 942 33339 | 8 | 19 1201.13/1201.52 c 1201s | 27 | 27067963 | 11888533 | 942 33377 | 8 | 19 1203.14/1203.53 c 1203s | 27 | 27109924 | 11906333 | 942 33414 | 8 | 19 1205.13/1205.54 c 1205s | 27 | 27149615 | 11923633 | 942 33450 | 8 | 19 1207.13/1207.55 c 1207s | 27 | 27188634 | 11940833 | 942 33487 | 8 | 19 1209.13/1209.56 c 1209s | 27 | 27224669 | 11958233 | 942 33523 | 8 | 19 1211.13/1211.56 c 1211s | 27 | 27264101 | 11976533 | 942 33561 | 8 | 19 1213.13/1213.56 c 1213s | 27 | 27305667 | 11994933 | 942 33600 | 8 | 19 1215.13/1215.57 c 1215s | 27 | 27347347 | 12013633 | 942 33639 | 8 | 19 1217.12/1217.58 c 1217s | 27 | 27388680 | 12031833 | 942 33677 | 8 | 19 1219.13/1219.58 c 1219s | 27 | 27430651 | 12050133 | 942 33715 | 8 | 19 1221.13/1221.59 c 1221s | 27 | 27474402 | 12069133 | 942 33754 | 8 | 19 1223.23/1223.60 c 1223s | 27 | 27515472 | 12086833 | 942 33791 | 8 | 19 1225.23/1225.60 c 1225s | 27 | 27554768 | 12104233 | 942 33828 | 8 | 19 1227.23/1227.61 c 1227s | 27 | 27594161 | 12121733 | 942 33864 | 8 | 19 1229.23/1229.62 c 1229s | 27 | 27631547 | 12138733 | 942 33900 | 8 | 19 1231.23/1231.63 c 1231s | 27 | 27667729 | 12155633 | 942 33935 | 8 | 19 1233.22/1233.64 c 1233s | 27 | 27708509 | 12173733 | 942 33973 | 8 | 19 1235.22/1235.65 c 1235s | 27 | 27749420 | 12191933 | 942 34011 | 8 | 19 1237.23/1237.65 c 1237s | 27 | 27790103 | 12210233 | 942 34049 | 8 | 19 1239.23/1239.66 c 1239s | 27 | 27827894 | 12227933 | 942 34086 | 8 | 19 1241.22/1241.66 c 1241s | 27 | 27865455 | 12244833 | 942 34122 | 8 | 19 1243.23/1243.67 c 1243s | 27 | 27901954 | 12262033 | 942 34158 | 8 | 19 1245.22/1245.68 c 1245s | 27 | 27939503 | 12279033 | 942 34193 | 8 | 19 1247.22/1247.69 c 1247s | 27 | 27974975 | 12295733 | 942 34228 | 8 | 19 1249.23/1249.70 c 1249s | 27 | 28012090 | 12312933 | 942 34264 | 8 | 19 1251.33/1251.71 c 1251s | 27 | 28050872 | 12330033 | 942 34300 | 8 | 19 1253.32/1253.71 c 1253s | 27 | 28093044 | 12348333 | 942 34338 | 8 | 19 1255.32/1255.72 c 1255s | 27 | 28136122 | 12366733 | 942 34377 | 8 | 19 1257.32/1257.73 c 1257s | 27 | 28177953 | 12385333 | 942 34415 | 8 | 19 1259.32/1259.73 c 1259s | 27 | 28220046 | 12403333 | 942 34453 | 8 | 19 1261.33/1261.74 c 1261s | 27 | 28258237 | 12420633 | 942 34489 | 8 | 19 1263.32/1263.74 c 1263s | 27 | 28298722 | 12438633 | 942 34527 | 8 | 19 1265.32/1265.74 c 1265s | 27 | 28341713 | 12457133 | 942 34566 | 8 | 19 1267.32/1267.74 c 1267s | 27 | 28381796 | 12475033 | 942 34603 | 8 | 19 1269.32/1269.75 c 1269s | 27 | 28421857 | 12492833 | 942 34640 | 8 | 19 1271.33/1271.76 c 1271s | 27 | 28462776 | 12510733 | 942 34678 | 8 | 19 1273.32/1273.77 c 1273s | 27 | 28502020 | 12528733 | 942 34715 | 8 | 19 1275.32/1275.77 c 1275s | 27 | 28542334 | 12546733 | 942 34753 | 8 | 19 1277.32/1277.78 c 1277s | 27 | 28584026 | 12565033 | 942 34791 | 8 | 19 1279.32/1279.79 c 1279s | 27 | 28624951 | 12583433 | 942 34830 | 8 | 19 1281.32/1281.79 c 1281s | 27 | 28663081 | 12601033 | 942 34867 | 8 | 19 1283.33/1283.80 c 1283s | 27 | 28703231 | 12618833 | 942 34904 | 8 | 19 1285.42/1285.80 c 1285s | 27 | 28743405 | 12636733 | 942 34941 | 8 | 19 1287.42/1287.81 c 1287s | 27 | 28780773 | 12653933 | 942 34977 | 8 | 19 1289.42/1289.81 c 1289s | 27 | 28817487 | 12671133 | 942 35014 | 8 | 19 1291.41/1291.82 c 1291s | 27 | 28852221 | 12687633 | 942 35048 | 8 | 19 1293.41/1293.83 c 1293s | 27 | 28890389 | 12704833 | 942 35084 | 8 | 19 1295.43/1295.84 c 1295s | 27 | 28925514 | 12721333 | 942 35119 | 8 | 19 1297.42/1297.84 c 1297s | 27 | 28960364 | 12738033 | 942 35154 | 8 | 19 1299.41/1299.84 c 1299s | 27 | 28998134 | 12755233 | 942 35190 | 8 | 19 1301.42/1301.84 c 1301s | 27 | 29033063 | 12771733 | 942 35225 | 8 | 19 1303.42/1303.85 c 1303s | 27 | 29068490 | 12788133 | 942 35259 | 8 | 19 1305.42/1305.85 c 1305s | 27 | 29102138 | 12804633 | 942 35294 | 8 | 19 1307.41/1307.86 c 1307s | 27 | 29141220 | 12822433 | 942 35331 | 8 | 19 1309.41/1309.86 c 1309s | 27 | 29183830 | 12840733 | 942 35369 | 8 | 19 1311.41/1311.87 c 1311s | 27 | 29227144 | 12858933 | 942 35407 | 8 | 19 1313.41/1313.88 c 1313s | 27 | 29271848 | 12877433 | 942 35445 | 8 | 19 1315.41/1315.88 c 1315s | 27 | 29312032 | 12895033 | 942 35482 | 8 | 19 1317.42/1317.89 c 1317s | 27 | 29353450 | 12912933 | 942 35520 | 8 | 19 1319.41/1319.89 c 1319s | 27 | 29393386 | 12930133 | 942 35555 | 8 | 19 1321.41/1321.89 c 1321s | 27 | 29434513 | 12948133 | 942 35593 | 8 | 19 1323.51/1323.90 c 1323s | 27 | 29473357 | 12965833 | 942 35630 | 8 | 19 1325.51/1325.91 c 1325s | 27 | 29513858 | 12983633 | 942 35667 | 8 | 19 1327.51/1327.91 c 1327s | 27 | 29554600 | 13001333 | 942 35704 | 8 | 19 1329.52/1329.92 c 1329s | 27 | 29594758 | 13018633 | 942 35740 | 8 | 19 1331.51/1331.92 c 1331s | 27 | 29633804 | 13035633 | 942 35776 | 8 | 19 1333.51/1333.93 c 1333s | 27 | 29671707 | 13052733 | 942 35812 | 8 | 19 1335.51/1335.93 c 1335s | 27 | 29711005 | 13070633 | 942 35849 | 8 | 19 1337.51/1337.94 c 1337s | 27 | 29754286 | 13088633 | 942 35887 | 8 | 19 1339.51/1339.94 c 1339s | 27 | 29795348 | 13106433 | 942 35924 | 8 | 19 1341.51/1341.94 c 1341s | 27 | 29839399 | 13125033 | 942 35963 | 8 | 19 1343.51/1343.95 c 1343s | 27 | 29879525 | 13142533 | 942 35999 | 8 | 19 1345.50/1345.95 c 1345s | 27 | 29919982 | 13160533 | 942 36037 | 8 | 19 1347.51/1347.95 c 1347s | 27 | 29959421 | 13177833 | 942 36073 | 8 | 19 1349.51/1349.95 c 1349s | 27 | 29999651 | 13195633 | 942 36110 | 8 | 19 1351.51/1351.96 c 1351s | 27 | 30041081 | 13213333 | 942 36147 | 8 | 19 1353.51/1353.96 c 1353s | 27 | 30080837 | 13230933 | 942 36184 | 8 | 19 1355.51/1355.97 c 1355s | 27 | 30119899 | 13248033 | 942 36220 | 8 | 19 1357.50/1357.97 c 1357s | 27 | 30156761 | 13265633 | 942 36257 | 8 | 19 1359.51/1359.98 c 1359s | 27 | 30196922 | 13283233 | 942 36294 | 8 | 19 1361.51/1361.99 c 1361s | 27 | 30236448 | 13300633 | 942 36330 | 8 | 19 1363.51/1363.99 c 1363s | 27 | 30272183 | 13317533 | 942 36365 | 8 | 19 1365.61/1366.00 c 1365s | 27 | 30311086 | 13335133 | 942 36402 | 8 | 19 1367.60/1368.01 c 1367s | 27 | 30351835 | 13352733 | 942 36439 | 8 | 19 1369.60/1370.01 c 1369s | 27 | 30392741 | 13370633 | 942 36477 | 8 | 19 1371.60/1372.02 c 1371s | 27 | 30431164 | 13387633 | 942 36512 | 8 | 19 1373.61/1374.03 c 1373s | 27 | 30469539 | 13405133 | 942 36549 | 8 | 19 1375.61/1376.04 c 1375s | 27 | 30507795 | 13422433 | 942 36585 | 8 | 19 1377.60/1378.04 c 1377s | 27 | 30546577 | 13439533 | 942 36621 | 8 | 19 1379.60/1380.05 c 1379s | 27 | 30583680 | 13457133 | 942 36657 | 8 | 19 1381.61/1382.06 c 1381s | 27 | 30619474 | 13474233 | 942 36693 | 8 | 19 1383.60/1384.06 c 1383s | 27 | 30656316 | 13491233 | 942 36729 | 8 | 19 1385.61/1386.07 c 1385s | 27 | 30696459 | 13508833 | 942 36766 | 8 | 19 1387.60/1388.07 c 1387s | 27 | 30733713 | 13525633 | 942 36801 | 8 | 19 1389.60/1390.08 c 1389s | 27 | 30772895 | 13543233 | 942 36837 | 8 | 19 1391.61/1392.08 c 1391s | 27 | 30809664 | 13560533 | 942 36874 | 8 | 19 1393.60/1394.08 c 1393s | 27 | 30849955 | 13577633 | 942 36909 | 8 | 19 1395.60/1396.09 c 1395s | 27 | 30887692 | 13594333 | 942 36944 | 8 | 19 1397.60/1398.10 c 1397s | 27 | 30923535 | 13610933 | 942 36979 | 8 | 19 1399.70/1400.11 c 1400s | 27 | 30961219 | 13627333 | 942 37013 | 8 | 19 1401.70/1402.11 c 1402s | 27 | 30998407 | 13643633 | 942 37048 | 8 | 19 1403.70/1404.12 c 1404s | 27 | 31036120 | 13659833 | 942 37082 | 8 | 19 1405.70/1406.12 c 1406s | 27 | 31069969 | 13676233 | 942 37116 | 8 | 19 1407.70/1408.13 c 1408s | 27 | 31108946 | 13693833 | 942 37153 | 8 | 19 1409.70/1410.14 c 1410s | 27 | 31146185 | 13711033 | 942 37189 | 8 | 19 1411.70/1412.14 c 1412s | 27 | 31182822 | 13728133 | 942 37224 | 8 | 19 1413.70/1414.15 c 1414s | 27 | 31219420 | 13745333 | 942 37260 | 8 | 19 1415.69/1416.15 c 1416s | 27 | 31258068 | 13763033 | 942 37297 | 8 | 19 1417.70/1418.16 c 1418s | 27 | 31294505 | 13780533 | 942 37334 | 8 | 19 1419.70/1420.17 c 1420s | 27 | 31333458 | 13798433 | 942 37372 | 8 | 19 1421.70/1422.18 c 1422s | 27 | 31372576 | 13815933 | 942 37408 | 8 | 19 1423.70/1424.19 c 1424s | 27 | 31410833 | 13833033 | 942 37444 | 8 | 19 1425.80/1426.20 c 1426s | 27 | 31445903 | 13849133 | 942 37478 | 8 | 19 1427.79/1428.21 c 1428s | 27 | 31483376 | 13866133 | 942 37513 | 8 | 19 1429.80/1430.21 c 1430s | 27 | 31520318 | 13883033 | 942 37549 | 8 | 19 1431.81/1432.21 c 1432s | 27 | 31557401 | 13899833 | 942 37584 | 8 | 19 1433.79/1434.22 c 1434s | 27 | 31594744 | 13916833 | 942 37619 | 8 | 19 1435.80/1436.23 c 1436s | 27 | 31632314 | 13934133 | 942 37656 | 8 | 19 1437.79/1438.23 c 1438s | 27 | 31668887 | 13951633 | 942 37692 | 8 | 19 1439.79/1440.23 c 1440s | 27 | 31703914 | 13968733 | 942 37728 | 8 | 19 1441.80/1442.24 c 1442s | 27 | 31742146 | 13986133 | 942 37765 | 8 | 19 1443.79/1444.24 c 1444s | 27 | 31778580 | 14002833 | 942 37800 | 8 | 19 1445.80/1446.24 c 1446s | 27 | 31817124 | 14019833 | 942 37836 | 8 | 19 1447.79/1448.25 c 1448s | 27 | 31855967 | 14037433 | 942 37873 | 8 | 19 1449.80/1450.25 c 1450s | 27 | 31891561 | 14054533 | 942 37908 | 8 | 19 1451.80/1452.27 c 1452s | 27 | 31927854 | 14071733 | 942 37945 | 8 | 19 1453.80/1454.27 c 1454s | 27 | 31963759 | 14089233 | 942 37981 | 8 | 19 1455.79/1456.28 c 1456s | 27 | 32006839 | 14107733 | 942 38020 | 8 | 19 1457.79/1458.29 c 1458s | 27 | 32049010 | 14126333 | 942 38059 | 8 | 19 1459.80/1460.30 c 1460s | 27 | 32091012 | 14144833 | 942 38097 | 8 | 19 1461.89/1462.30 c 1462s | 27 | 32129854 | 14162533 | 942 38134 | 8 | 19 1463.89/1464.30 c 1464s | 27 | 32168309 | 14180133 | 942 38171 | 8 | 19 1465.90/1466.31 c 1466s | 27 | 32207673 | 14197233 | 942 38207 | 8 | 19 1467.89/1468.32 c 1468s | 27 | 32250195 | 14216033 | 942 38246 | 8 | 19 1469.89/1470.32 c 1470s | 27 | 32293619 | 14234333 | 942 38284 | 8 | 19 1471.89/1472.33 c 1472s | 27 | 32332342 | 14252233 | 942 38322 | 8 | 19 1473.89/1474.34 c 1474s | 27 | 32370101 | 14269633 | 942 38358 | 8 | 19 1475.89/1476.34 c 1476s | 27 | 32406708 | 14286533 | 942 38394 | 8 | 19 1477.88/1478.35 c 1478s | 27 | 32447596 | 14304533 | 942 38431 | 8 | 19 1479.89/1480.36 c 1480s | 27 | 32488019 | 14322133 | 942 38468 | 8 | 19 1481.89/1482.36 c 1482s | 27 | 32528780 | 14339533 | 942 38504 | 8 | 19 1483.89/1484.37 c 1484s | 27 | 32569186 | 14357233 | 942 38541 | 8 | 19 1485.88/1486.37 c 1486s | 27 | 32610017 | 14374533 | 942 38577 | 8 | 19 1487.89/1488.38 c 1488s | 27 | 32649082 | 14391733 | 942 38613 | 8 | 19 1489.89/1490.39 c 1490s | 27 | 32688053 | 14408633 | 942 38649 | 8 | 19 1491.89/1492.39 c 1492s | 27 | 32725775 | 14425533 | 942 38684 | 8 | 19 1493.98/1494.40 c 1494s | 27 | 32764121 | 14441733 | 942 38718 | 8 | 19 1495.98/1496.40 c 1496s | 27 | 32800403 | 14457833 | 942 38752 | 8 | 19 1497.98/1498.41 c 1498s | 27 | 32837738 | 14474333 | 942 38786 | 8 | 19 1500.00/1500.42 c 1500s | 27 | 32874270 | 14490633 | 942 38821 | 8 | 19 1501.99/1502.42 c 1502s | 27 | 32915948 | 14508433 | 942 38858 | 8 | 19 1503.99/1504.43 c 1504s | 27 | 32957078 | 14525933 | 942 38894 | 8 | 19 1505.99/1506.43 c 1506s | 27 | 32996356 | 14543233 | 942 38930 | 8 | 19 1507.99/1508.43 c 1508s | 27 | 33035898 | 14560433 | 942 38966 | 8 | 19 1509.99/1510.43 c 1510s | 27 | 33077585 | 14579133 | 942 39005 | 8 | 19 1511.98/1512.44 c 1512s | 27 | 33118360 | 14597233 | 942 39043 | 8 | 19 1513.98/1514.45 c 1514s | 27 | 33158524 | 14614833 | 942 39080 | 8 | 19 1515.98/1516.45 c 1516s | 27 | 33200068 | 14632933 | 942 39118 | 8 | 19 1517.98/1518.46 c 1518s | 27 | 33236294 | 14649733 | 942 39153 | 8 | 19 1519.98/1520.46 c 1520s | 27 | 33276144 | 14667533 | 942 39190 | 8 | 19 1521.99/1522.46 c 1522s | 27 | 33313259 | 14684933 | 942 39227 | 8 | 19 1523.99/1524.47 c 1524s | 27 | 33351905 | 14702733 | 942 39264 | 8 | 19 1525.98/1526.48 c 1526s | 27 | 33391047 | 14720933 | 942 39302 | 8 | 19 1527.98/1528.49 c 1528s | 27 | 33429278 | 14738033 | 942 39338 | 8 | 19 1530.08/1530.50 c 1530s | 27 | 33467316 | 14754833 | 942 39373 | 8 | 19 1532.08/1532.50 c 1532s | 27 | 33504584 | 14771733 | 942 39409 | 8 | 19 1534.08/1534.50 c 1534s | 27 | 33538646 | 14788233 | 942 39443 | 8 | 19 1536.08/1536.51 c 1536s | 27 | 33575824 | 14805233 | 942 39479 | 8 | 19 1538.08/1538.51 c 1538s | 27 | 33612065 | 14822133 | 942 39514 | 8 | 19 1540.08/1540.52 c 1540s | 27 | 33649660 | 14838933 | 942 39550 | 8 | 19 1542.08/1542.53 c 1542s | 27 | 33685836 | 14855733 | 942 39585 | 8 | 19 1544.09/1544.53 c 1544s | 27 | 33721828 | 14872833 | 942 39621 | 8 | 19 1546.08/1546.53 c 1546s | 27 | 33763463 | 14890933 | 942 39658 | 8 | 19 1548.08/1548.53 c 1548s | 27 | 33804553 | 14908933 | 942 39696 | 8 | 19 1550.07/1550.54 c 1550s | 27 | 33846604 | 14927433 | 942 39735 | 8 | 19 1552.07/1552.55 c 1552s | 27 | 33889448 | 14945733 | 942 39773 | 8 | 19 1554.08/1554.55 c 1554s | 27 | 33929039 | 14963533 | 942 39810 | 8 | 19 1556.09/1556.56 c 1556s | 27 | 33970648 | 14981233 | 942 39847 | 8 | 19 1558.07/1558.56 c 1558s | 27 | 34009558 | 14998533 | 942 39883 | 8 | 19 1560.08/1560.56 c 1560s | 27 | 34048749 | 15016433 | 942 39921 | 8 | 19 1562.08/1562.57 c 1562s | 27 | 34087348 | 15033833 | 942 39957 | 8 | 19 1564.08/1564.58 c 1564s | 27 | 34125531 | 15051333 | 942 39994 | 8 | 19 1566.08/1566.59 c 1566s | 27 | 34161013 | 15068133 | 942 40029 | 8 | 19 1568.08/1568.59 c 1568s | 27 | 34203471 | 15086933 | 942 40069 | 8 | 19 1570.17/1570.60 c 1570s | 27 | 34246001 | 15105733 | 942 40108 | 8 | 19 1572.17/1572.60 c 1572s | 27 | 34286543 | 15123733 | 942 40145 | 8 | 19 1574.17/1574.61 c 1574s | 27 | 34325935 | 15141933 | 942 40183 | 8 | 19 1576.17/1576.62 c 1576s | 27 | 34364672 | 15159833 | 942 40221 | 8 | 19 1578.18/1578.62 c 1578s | 27 | 34402011 | 15176833 | 942 40257 | 8 | 19 1580.17/1580.63 c 1580s | 27 | 34440944 | 15194333 | 942 40293 | 8 | 19 1582.17/1582.63 c 1582s | 27 | 34481030 | 15212633 | 942 40332 | 8 | 19 1584.17/1584.64 c 1584s | 27 | 34520295 | 15230633 | 942 40369 | 8 | 19 1586.17/1586.64 c 1586s | 27 | 34561617 | 15248933 | 942 40407 | 8 | 19 1588.17/1588.65 c 1588s | 27 | 34598914 | 15266633 | 942 40444 | 8 | 19 1590.18/1590.66 c 1590s | 27 | 34638098 | 15284433 | 942 40482 | 8 | 19 1592.17/1592.66 c 1592s | 27 | 34674561 | 15301933 | 942 40518 | 8 | 19 1594.18/1594.66 c 1594s | 27 | 34713940 | 15320233 | 942 40557 | 8 | 19 1596.17/1596.67 c 1596s | 27 | 34751981 | 15338133 | 942 40594 | 8 | 19 1598.17/1598.68 c 1598s | 27 | 34790661 | 15355633 | 942 40631 | 8 | 19 1600.18/1600.68 c 1600s | 27 | 34826961 | 15372933 | 942 40667 | 8 | 19 1602.17/1602.69 c 1602s | 27 | 34867040 | 15390733 | 942 40704 | 8 | 19 1604.27/1604.70 c 1604s | 27 | 34905960 | 15408133 | 942 40741 | 8 | 19 1606.27/1606.71 c 1606s | 27 | 34944700 | 15425933 | 942 40778 | 8 | 19 1608.27/1608.71 c 1608s | 27 | 34981968 | 15443633 | 942 40815 | 8 | 19 1610.27/1610.72 c 1610s | 27 | 35021590 | 15461333 | 942 40852 | 8 | 19 1612.28/1612.72 c 1612s | 27 | 35055544 | 15477933 | 942 40887 | 8 | 19 1614.27/1614.72 c 1614s | 27 | 35093053 | 15495133 | 942 40923 | 8 | 19 1616.27/1616.72 c 1616s | 27 | 35127244 | 15511433 | 942 40958 | 8 | 19 1618.27/1618.74 c 1618s | 27 | 35165935 | 15528733 | 942 40994 | 8 | 19 1620.27/1620.74 c 1620s | 27 | 35204570 | 15546333 | 942 41031 | 8 | 19 1622.26/1622.75 c 1622s | 27 | 35241784 | 15564033 | 942 41068 | 8 | 19 1624.27/1624.75 c 1624s | 27 | 35278767 | 15581833 | 942 41105 | 8 | 19 1626.26/1626.76 c 1626s | 27 | 35315137 | 15599033 | 942 41141 | 8 | 19 1628.26/1628.77 c 1628s | 27 | 35355031 | 15617533 | 942 41180 | 8 | 19 1630.26/1630.77 c 1630s | 27 | 35396011 | 15636033 | 942 41219 | 8 | 19 1632.27/1632.78 c 1632s | 27 | 35435474 | 15654633 | 942 41258 | 8 | 19 1634.27/1634.79 c 1634s | 27 | 35476607 | 15673033 | 942 41296 | 8 | 19 1636.26/1636.79 c 1636s | 27 | 35515007 | 15690933 | 942 41334 | 8 | 19 1638.27/1638.79 c 1638s | 27 | 35554407 | 15708533 | 942 41370 | 8 | 19 1640.36/1640.80 c 1640s | 27 | 35593475 | 15726033 | 942 41407 | 8 | 19 1642.36/1642.81 c 1642s | 27 | 35631331 | 15743133 | 942 41443 | 8 | 19 1644.36/1644.82 c 1644s | 27 | 35668115 | 15760133 | 942 41478 | 8 | 19 1646.37/1646.83 c 1646s | 27 | 35705354 | 15776933 | 942 41514 | 8 | 19 1648.36/1648.84 c 1648s | 27 | 35743952 | 15794033 | 942 41550 | 8 | 19 1650.36/1650.84 c 1650s | 27 | 35780527 | 15810833 | 942 41585 | 8 | 19 1652.36/1652.85 c 1652s | 27 | 35819897 | 15828433 | 942 41622 | 8 | 19 1654.37/1654.85 c 1654s | 27 | 35860659 | 15846433 | 942 41659 | 8 | 19 1656.36/1656.86 c 1656s | 27 | 35900411 | 15864733 | 942 41698 | 8 | 19 1658.37/1658.86 c 1658s | 27 | 35938932 | 15882633 | 942 41735 | 8 | 19 1660.36/1660.87 c 1660s | 27 | 35977565 | 15900533 | 942 41773 | 8 | 19 1662.36/1662.88 c 1662s | 27 | 36015100 | 15918233 | 942 41810 | 8 | 19 1664.36/1664.88 c 1664s | 27 | 36052439 | 15935933 | 942 41847 | 8 | 19 1666.36/1666.88 c 1666s | 27 | 36092309 | 15953933 | 942 41885 | 8 | 19 1668.37/1668.89 c 1668s | 27 | 36135010 | 15972433 | 942 41923 | 8 | 19 1670.36/1670.90 c 1670s | 27 | 36176531 | 15990833 | 942 41962 | 8 | 19 1672.46/1672.91 c 1672s | 27 | 36217665 | 16008933 | 942 42000 | 8 | 19 1674.46/1674.92 c 1674s | 27 | 36256961 | 16026833 | 942 42037 | 8 | 19 1676.45/1676.92 c 1676s | 27 | 36298840 | 16045833 | 942 42077 | 8 | 19 1678.45/1678.93 c 1678s | 27 | 36337450 | 16064333 | 942 42116 | 8 | 19 1680.47/1680.93 c 1680s | 27 | 36377316 | 16082633 | 942 42154 | 8 | 19 1682.46/1682.94 c 1682s | 27 | 36418747 | 16101233 | 942 42193 | 8 | 19 1684.46/1684.94 c 1684s | 27 | 36456055 | 16119033 | 942 42230 | 8 | 19 1686.46/1686.95 c 1686s | 27 | 36494937 | 16137333 | 942 42269 | 8 | 19 1688.46/1688.95 c 1688s | 27 | 36532606 | 16155433 | 942 42307 | 8 | 19 1690.46/1690.96 c 1690s | 27 | 36568337 | 16173033 | 942 42344 | 8 | 19 1692.46/1692.96 c 1692s | 27 | 36607936 | 16191333 | 942 42382 | 8 | 19 1694.46/1694.97 c 1694s | 27 | 36648352 | 16209733 | 942 42421 | 8 | 19 1696.45/1696.97 c 1696s | 27 | 36688546 | 16227733 | 942 42458 | 8 | 19 1698.46/1698.98 c 1698s | 27 | 36724237 | 16244733 | 942 42494 | 8 | 19 1700.45/1700.99 c 1700s | 27 | 36764411 | 16262933 | 942 42532 | 8 | 19 1702.46/1702.99 c 1702s | 27 | 36802576 | 16281233 | 942 42571 | 8 | 19 1704.45/1705.00 c 1704s | 27 | 36842329 | 16299333 | 942 42609 | 8 | 19 1706.55/1707.01 c 1706s | 27 | 36878928 | 16317033 | 942 42646 | 8 | 19 1708.56/1709.01 c 1708s | 27 | 36913543 | 16334333 | 942 42682 | 8 | 19 1710.56/1711.03 c 1710s | 27 | 36952810 | 16352433 | 942 42720 | 8 | 19 1712.56/1713.03 c 1712s | 27 | 36988249 | 16369733 | 942 42757 | 8 | 19 1714.56/1715.04 c 1714s | 27 | 37027798 | 16388033 | 942 42795 | 8 | 19 1716.55/1717.04 c 1716s | 27 | 37064864 | 16406033 | 942 42833 | 8 | 19 1718.55/1719.05 c 1718s | 27 | 37106082 | 16424433 | 942 42872 | 8 | 19 1720.55/1721.05 c 1720s | 27 | 37141633 | 16441433 | 942 42908 | 8 | 19 1722.55/1723.05 c 1722s | 27 | 37176740 | 16459033 | 942 42945 | 8 | 19 1724.55/1725.05 c 1724s | 27 | 37214056 | 16477133 | 942 42983 | 8 | 19 1726.56/1727.05 c 1726s | 27 | 37250762 | 16495133 | 942 43021 | 8 | 19 1728.55/1729.06 c 1728s | 27 | 37286921 | 16513233 | 942 43059 | 8 | 19 1730.55/1731.06 c 1730s | 27 | 37323648 | 16531233 | 942 43097 | 8 | 19 1732.55/1733.06 c 1732s | 27 | 37366117 | 16549833 | 942 43136 | 8 | 19 1734.55/1735.07 c 1734s | 27 | 37411246 | 16568633 | 942 43175 | 8 | 19 1736.55/1737.07 c 1736s | 27 | 37450488 | 16586733 | 942 43213 | 8 | 19 1738.55/1739.07 c 1738s | 27 | 37490784 | 16604133 | 942 43249 | 8 | 19 1740.54/1741.08 c 1740s | 27 | 37530880 | 16622133 | 942 43287 | 8 | 19 1742.55/1743.08 c 1742s | 27 | 37571299 | 16640733 | 942 43326 | 8 | 19 1744.55/1745.09 c 1744s | 27 | 37612145 | 16659233 | 942 43365 | 8 | 19 1746.55/1747.09 c 1746s | 27 | 37653343 | 16677033 | 942 43402 | 8 | 19 1748.55/1749.10 c 1748s | 27 | 37692301 | 16694833 | 942 43439 | 8 | 19 1750.65/1751.10 c 1751s | 27 | 37730675 | 16712833 | 942 43477 | 8 | 19 1752.64/1753.11 c 1753s | 27 | 37767965 | 16730433 | 942 43514 | 8 | 19 1754.64/1755.11 c 1755s | 27 | 37808044 | 16748433 | 942 43552 | 8 | 19 1756.65/1757.11 c 1757s | 27 | 37847093 | 16766533 | 942 43590 | 8 | 19 1758.64/1759.12 c 1759s | 27 | 37883506 | 16783933 | 942 43626 | 8 | 19 1760.65/1761.12 c 1761s | 27 | 37919119 | 16801533 | 942 43664 | 8 | 19 1762.65/1763.13 c 1763s | 27 | 37961026 | 16819833 | 942 43702 | 8 | 19 1764.64/1765.14 c 1765s | 27 | 37999147 | 16836733 | 942 43737 | 8 | 19 1766.64/1767.15 c 1767s | 27 | 38037007 | 16853933 | 942 43773 | 8 | 19 1768.64/1769.16 c 1769s | 27 | 38076624 | 16872233 | 942 43812 | 8 | 19 1770.66/1771.16 c 1771s | 27 | 38114030 | 16889533 | 942 43848 | 8 | 19 1772.65/1773.17 c 1773s | 27 | 38151661 | 16906533 | 942 43884 | 8 | 19 1774.64/1775.18 c 1775s | 27 | 38192325 | 16924333 | 942 43921 | 8 | 19 1776.64/1777.18 c 1777s | 27 | 38229618 | 16941733 | 942 43958 | 8 | 19 1778.64/1779.19 c 1779s | 27 | 38268384 | 16959633 | 942 43995 | 8 | 19 1780.64/1781.19 c 1781s | 27 | 38306554 | 16977833 | 1037 44032 | 8 | 19 1782.65/1783.19 c 1783s | 27 | 38343207 | 16995533 | 1037 44066 | 8 | 19 1784.74/1785.20 c 1785s | 27 | 38380026 | 17012933 | 1037 44099 | 8 | 19 1786.74/1787.20 c 1787s | 27 | 38415234 | 17030133 | 1037 44132 | 8 | 19 1788.74/1789.21 c 1789s | 27 | 38450568 | 17047133 | 1037 44164 | 8 | 19 1790.74/1791.22 c 1791s | 27 | 38493934 | 17065333 | 1037 44199 | 8 | 19 1792.74/1793.22 c 1793s | 27 | 38531489 | 17082633 | 1037 44232 | 8 | 19 1794.14/1794.66 c 1794s | 28 | 38559555 | 17095205 | 1037 44256 | 8 | 19 1796.14/1796.67 c 1796s | 28 | 38598311 | 17112805 | 1037 44289 | 8 | 19 1798.14/1798.68 c 1798s | 28 | 38638674 | 17130405 | 1037 44323 | 8 | 19
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-4079705-1465242929/watcher-4079705-1465242929 -o /tmp/evaluation-result-4079705-1465242929/solver-4079705-1465242929 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079705-1465242929.opb pid=7276 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.18 2.10 2.03 3/179 7279 /proc/meminfo: memFree=30668980/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=803260 CPUtime=0 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 3014 0 0 0 0 0 0 0 20 0 4 0 106227612 822538240 2864 33554432000 4194304 16246674 140736598983936 140736598983360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 201583 2875 441 2943 0 198477 0 [pid=7279/tid=7280] ppid=7276 vsize=821692 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 841412608 2935 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=825788 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 845606912 2952 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=830908 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106227612 850849792 2971 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.18 2.10 2.03 3/179 7279 /proc/meminfo: memFree=30668980/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 22919 0 0 0 6 3 0 0 20 0 4 0 106227612 1247350784 22755 33554432000 4194304 16246674 140736598983936 140736598983360 5600539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 304529 22761 783 2943 0 301423 0 [pid=7279/tid=7280] ppid=7276 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1247350784 22767 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1247350784 22770 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106227612 1247350784 22773 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.20051 s] /proc/loadavg: 2.18 2.10 2.03 3/179 7279 /proc/meminfo: memFree=30668980/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1218116 CPUtime=0.18 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 41376 0 0 0 12 6 0 0 20 0 4 0 106227612 1247350784 41213 33554432000 4194304 16246674 140736598983936 140736598983360 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 304529 41219 783 2943 0 301423 0 [pid=7279/tid=7280] ppid=7276 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1247350784 41227 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1247350784 41233 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106227612 1247350784 41237 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300498 s] /proc/loadavg: 2.18 2.10 2.03 3/179 7279 /proc/meminfo: memFree=30668980/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 60412 0 0 0 20 9 0 0 20 0 4 0 106227612 1247350784 60249 33554432000 4194304 16246674 140736598983936 140736598983360 13192110 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 304529 60257 783 2943 0 301423 0 [pid=7279/tid=7280] ppid=7276 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1247350784 60264 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1247350784 60269 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106227612 1247350784 60275 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.70042 s] /proc/loadavg: 2.18 2.10 2.03 3/179 7279 /proc/meminfo: memFree=30668980/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 139032 0 0 0 50 19 0 0 20 0 4 0 106227612 1247350784 138868 33554432000 4194304 16246674 140736598983936 140736598966936 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 304529 138880 784 2943 0 301423 0 [pid=7279/tid=7280] ppid=7276 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1247350784 138886 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1247350784 138889 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106227612 1247350784 138898 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50043 s] /proc/loadavg: 2.18 2.10 2.03 3/183 7283 /proc/meminfo: memFree=29803388/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1219140 CPUtime=1.49 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 245637 0 0 0 114 35 0 0 20 0 4 0 106227612 1248399360 245452 33554432000 4194304 16246674 140736598983936 140736598983248 5824959 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 304785 245452 844 2943 0 301679 0 [pid=7279/tid=7280] ppid=7276 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1248399360 245452 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1248399360 245452 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1248399360 245452 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10043 s] /proc/loadavg: 2.16 2.10 2.03 3/183 7283 /proc/meminfo: memFree=29600888/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 267479 0 0 0 271 38 0 0 20 0 4 0 106227612 1337528320 267294 33554432000 4194304 16246674 140736598983936 140736598965824 8224776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 326545 267294 844 2943 0 323439 0 [pid=7279/tid=7280] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267294 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267294 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267294 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30043 s] /proc/loadavg: 2.16 2.10 2.03 3/183 7283 /proc/meminfo: memFree=29600564/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 267494 0 0 0 591 38 0 0 20 0 4 0 106227612 1337528320 267309 33554432000 4194304 16246674 140736598983936 140736598966936 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 326545 267309 844 2943 0 323439 0 [pid=7279/tid=7280] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267309 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267309 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267309 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.14 2.09 2.03 3/182 7283 /proc/meminfo: memFree=29600812/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 267524 0 0 0 1230 39 0 0 20 0 4 0 106227612 1337528320 267339 33554432000 4194304 16246674 140736598983936 140736598965824 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 326545 267339 844 2943 0 323439 0 [pid=7279/tid=7280] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267339 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267339 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267339 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.12 2.09 2.03 3/183 7284 /proc/meminfo: memFree=29601484/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1306180 CPUtime=25.48 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 267548 0 0 0 2509 39 0 0 20 0 4 0 106227612 1337528320 267363 33554432000 4194304 16246674 140736598983936 140736598966928 5723515 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 326545 267363 844 2943 0 323439 0 [pid=7279/tid=7280] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267363 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267363 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267363 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.21 2.11 2.04 3/183 7284 /proc/meminfo: memFree=29601328/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 267603 0 0 0 5064 44 0 0 20 0 4 0 106227612 1337528320 267418 33554432000 4194304 16246674 140736598983936 140736598966936 13965719 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 326545 267418 844 2943 0 323439 0 [pid=7279/tid=7280] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267418 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267418 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1337528320 267418 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.301 s] /proc/loadavg: 2.08 2.09 2.03 3/183 7285 /proc/meminfo: memFree=29600460/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1307204 CPUtime=102.28 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 267728 0 0 0 10171 57 0 0 20 0 4 0 106227612 1338576896 267543 33554432000 4194304 16246674 140736598983936 140736598966936 6843176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 326801 267543 844 2943 0 323695 0 [pid=7279/tid=7280] ppid=7276 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1338576896 267543 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1338576896 267543 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1338576896 267543 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1307204 ################ # More data... # ################ /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1309252 [startup+1362.3 s] /proc/loadavg: 2.03 2.01 2.00 3/183 7389 /proc/meminfo: memFree=29602772/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1309252 CPUtime=1361.91 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 268710 0 0 0 135848 343 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140736598966936 6842417 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 327313 268479 848 2943 0 324207 0 [pid=7279/tid=7280] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1309252 [startup+1422.3 s] /proc/loadavg: 2.14 2.04 2.01 3/183 7390 /proc/meminfo: memFree=29602460/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1309252 CPUtime=1421.9 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 268710 0 0 0 141831 359 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140736598965824 5546001 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 327313 268479 848 2943 0 324207 0 [pid=7279/tid=7280] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1309252 [startup+1482.3 s] /proc/loadavg: 2.14 2.06 2.01 3/184 7394 /proc/meminfo: memFree=29601652/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1309252 CPUtime=1481.89 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 268710 0 0 0 147812 377 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140736598966936 5723029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 327313 268479 848 2943 0 324207 0 [pid=7279/tid=7280] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1309252 [startup+1542.31 s] /proc/loadavg: 2.14 2.08 2.02 3/183 7396 /proc/meminfo: memFree=29602320/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1309252 CPUtime=1541.89 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 268710 0 0 0 153798 391 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140736598966936 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 327313 268479 848 2943 0 324207 0 [pid=7279/tid=7280] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1309252 [startup+1602.3 s] /proc/loadavg: 2.15 2.09 2.02 3/183 7397 /proc/meminfo: memFree=29602696/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1309252 CPUtime=1601.87 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 268710 0 0 0 159779 408 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140736598966936 13949808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 327313 268479 848 2943 0 324207 0 [pid=7279/tid=7280] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1309252 [startup+1662.3 s] /proc/loadavg: 2.08 2.08 2.02 3/183 7398 /proc/meminfo: memFree=29602440/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1309252 CPUtime=1661.86 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 268710 0 0 0 165765 421 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140736598965824 6026640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 327313 268479 848 2943 0 324207 0 [pid=7279/tid=7280] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1309252 [startup+1722.3 s] /proc/loadavg: 2.03 2.07 2.02 3/183 7399 /proc/meminfo: memFree=29601912/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1309252 CPUtime=1721.85 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 268710 0 0 0 171755 430 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140736598965824 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 327313 268479 848 2943 0 324207 0 [pid=7279/tid=7280] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1309252 [startup+1782.3 s] /proc/loadavg: 2.01 2.05 2.01 3/183 7400 /proc/meminfo: memFree=29601428/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1309252 CPUtime=1781.84 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 268710 0 0 0 177746 438 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140736598965824 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 327313 268479 848 2943 0 324207 0 [pid=7279/tid=7280] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1309252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.01 2.05 2.01 3/183 7400 /proc/meminfo: memFree=29601964/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1309252 CPUtime=1800.04 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 268710 0 0 0 179560 444 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140736598965824 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 327313 268479 848 2943 0 324207 0 [pid=7279/tid=7280] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1309252 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 7279 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.01 2.05 2.01 3/183 7400 /proc/meminfo: memFree=29601964/32872528 swapFree=11372/178980 [pid=7279] ppid=7276 vsize=1309252 CPUtime=1800.04 cores=1,3,5,7 /proc/7279/stat : 7279 (toysat) R 7276 7279 4590 0 -1 4202496 268710 0 0 0 179560 444 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140736598965824 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7279/statm: 327313 268479 848 2943 0 324207 0 [pid=7279/tid=7280] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7280/stat : 7280 (toysat) S 7276 7279 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592374852848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7279/tid=7281] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7281/stat : 7281 (toysat) S 7276 7279 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592364362992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7279/tid=7282] ppid=7276 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7279/task/7282/stat : 7282 (toysat) S 7276 7279 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106227612 1340674048 268479 33554432000 4194304 16246674 140736598983936 140592353889456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1309252 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1795.61 CPU system time (s): 4.44132 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 1309252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.61 system time used= 4.44132 maximum resident set size= 1073916 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268710 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= 312 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.52916 second user time and 7.67683 second system time The end
Begin job on node105 at 2016-06-06 21:55:29 IDJOB=4079705 IDBENCH=2860 IDSOLVER=2542 FILE ID=node105/4079705-1465242929 RUNJOBID= node105-1465220657-4607 PBS_JOBID= 19843223 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_10.r.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079705-1465242929/watcher-4079705-1465242929 -o /tmp/evaluation-result-4079705-1465242929/solver-4079705-1465242929 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079705-1465242929.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 863d0ff562dc066d0163e86da5775aea RANDOM SEED=1737874478 node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.62 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.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.813 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.813 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.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.813 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30669772 kB Buffers: 45116 kB Cached: 137980 kB SwapCached: 1756 kB Active: 1242648 kB Inactive: 77964 kB Active(anon): 1138384 kB Inactive(anon): 1504 kB Active(file): 104264 kB Inactive(file): 76460 kB Unevictable: 178980 kB Mlocked: 11372 kB SwapTotal: 67108856 kB SwapFree: 67098460 kB Dirty: 16296 kB Writeback: 0 kB AnonPages: 1318356 kB Mapped: 10556 kB Shmem: 0 kB Slab: 570184 kB SReclaimable: 13088 kB SUnreclaim: 557096 kB KernelStack: 1520 kB PageTables: 6636 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1460952 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 636928 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= 71708 MiB End job on node105 at 2016-06-06 22:25:30