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.02 | 1800.51 |
| Name | /OPT-SMALLINT-LIN/ kullmann/normalized-sbox_4_shg.opb |
| MD5SUM | 175e0a4a6cd805ac131e3fa3fd7ba75e |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 22 |
| Best CPU time to get the best result obtained on this benchmark | 0.193969 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 147 |
| Total number of constraints | 240 |
| Number of constraints which are clauses | 240 |
| 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 | 2 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 147 |
| 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 | 147 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 147 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-07T08:35:54+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-4080022-1465281353.opb"] 0.00/0.01 c use --random-gen="1868597903 3157784086 3321387144 3379897880 1683330675 1314214028 1092453634 2382947186 3829088872 3370303096 3307278400 3284041312 3615516077 4163971057 809485915 1526503761 3391528418 2487209084 4132057902 314160117 421786646 1210046980 2821097925 4056274946 2225951256 188989999 2692014312 1944620639 2039737688 2860470824 1769597947 1236102855 1916339925 2650135480 3310223323 2804021924 3824373058 2664778954 64626544 580499130 299954154 3141652151 2591981780 3403980974 3901253642 2235661151 1275209171 2274934104 2789828855 1717131503 677040184 3089216391 4022839111 156060402 4173958858 2206194526 4020178200 3561713568 3696687600 4028546619 1449043621 744512597 510485781 2991628583 3664838705 3078620023 3295090670 100286884 3838502261 3486284057 180524622 3591287853 1018200215 3478118110 3117257203 2742112594 1996839439 2517478776 813065582 1659652311 2819806492 320559723 4241115141 3404219016 1737082448 1033708546 3885272823 6630895 236386702 171955678 1164521339 2686143750 607473674 2504861943 3254224677 57287024 3037920324 3745430691 3527383514 2221321426 109063712 1596181372 492826522 2947591702 536223121 2969042436 3616665693 575893930 1689059222 3580349876 3969253298 2105017822 214057384 4274164462 873810463 4034904957 1364317618 1319017109 1556972942 289375939 1787860573 2212191022 2474324718 3180445140 2505055707 517370184 392726775 489982795 4166360995 1968029382 1614626937 3068048440 3545081750 1821452336 682825342 1810921762 65795327 1213367385 3675743245 1778862731 1020632138 4138834575 3477042769 4169820597 4127710131 3881060105 1438755941 1968606804 485127916 69342332 48824802 107233519 1328153952 2200748889 2722090196 4044319142 3290223998 4278979350 3468814922 2588014082 1657004127 238859193 354515510 2558185644 1061296038 527084954 2277865833 1363676607 910950236 3231704086 338108552 1768202142 1020714947 1966484515 4026646130 3767759385 796156722 3139351257 2190056543 1582651935 1743639577 2715409368 1033765548 2785166527 2998390398 4020422218 2637290881 2883665167 3204606352 431539175 1968998596 3968432455 3727085840 2130063390 3531330308 1440971554 1158002987 2205248043 1311111669 3130217604 706419663 2408738731 2859567956 2762528965 8937700 2735171185 1189977348 3161701286 1859205366 1194046103 1044401848 2534141041 3024873596 325649417 901921576 350565480 2776801484 674185149 219406784 2245042569 1043030576 529861771 2192998744 1436833961 3209438115 672271497 1708099372 3458103566 1263079375 3922729011 3300982473 47578531 294586991 905044392 2157700269 3152400382 1455417522 3599930717 1549936431 1794953552 2855169653 3477821983 2532263950 1207165955 2234719313 4246024874 3869796663 1349457743 2260042731 2549420830 3454397758 206487236 2718394558 410903065 1270507497 4267422980 255 362436" option to reproduce the execution 0.00/0.01 c #vars 147 0.00/0.01 c #constraints 240 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 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 | 129 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 147 | 0 | 129 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 147 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 147 0.00/0.02 c BCD2: updating upper bound: 147 -> 146 0.00/0.02 c BCD2: 0 <= obj <= 146 0.00/0.02 c BCD2: #cores=0, #unrelaxed=147, #relaxed=0, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 129 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 28 | 0 | 129 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 28 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 9: cost of the new core is >=1 0.00/0.03 c lower bound updated to 1 0.00/0.03 c BCD2: 1 <= obj <= 146 0.00/0.03 c BCD2: #cores=1, #unrelaxed=138, #relaxed=9, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 129 0 | 0 | 1 0.00/0.03 c 0.0s | 0 | 22 | 0 | 129 0 | 0 | 1 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 22 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 8: cost of the new core is >=1 0.00/0.03 c lower bound updated to 2 0.00/0.03 c BCD2: 2 <= obj <= 146 0.00/0.03 c BCD2: #cores=2, #unrelaxed=130, #relaxed=17, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 129 0 | 0 | 2 0.00/0.03 c 0.0s | 0 | 16 | 0 | 129 0 | 0 | 2 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 16 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.03 c lower bound updated to 3 0.00/0.03 c BCD2: 3 <= obj <= 146 0.00/0.03 c BCD2: #cores=3, #unrelaxed=128, #relaxed=19, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 129 0 | 0 | 18 0.00/0.03 c 0.0s | 0 | 51 | 0 | 129 0 | 0 | 18 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 51 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.03 c lower bound updated to 4 0.00/0.03 c BCD2: 4 <= obj <= 146 0.00/0.03 c BCD2: #cores=4, #unrelaxed=117, #relaxed=30, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 129 0 | 0 | 19 0.00/0.03 c 0.0s | 0 | 42 | 0 | 129 0 | 0 | 19 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 42 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to 5 0.00/0.03 c BCD2: 5 <= obj <= 146 0.00/0.03 c BCD2: #cores=5, #unrelaxed=114, #relaxed=33, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 129 0 | 0 | 23 0.00/0.03 c 0.0s | 0 | 57 | 0 | 129 0 | 0 | 23 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 57 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.03 c lower bound updated to 6 0.00/0.03 c BCD2: 6 <= obj <= 146 0.00/0.03 c BCD2: #cores=6, #unrelaxed=109, #relaxed=38, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 129 0 | 0 | 24 0.00/0.03 c 0.0s | 0 | 55 | 0 | 129 0 | 0 | 24 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 55 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 7: cost of the new core is >=1 0.00/0.03 c lower bound updated to 7 0.00/0.03 c BCD2: 7 <= obj <= 146 0.00/0.03 c BCD2: #cores=7, #unrelaxed=102, #relaxed=45, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 129 0 | 0 | 25 0.00/0.03 c 0.0s | 0 | 70 | 0 | 129 0 | 0 | 25 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 70 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.03 c lower bound updated to 8 0.00/0.03 c BCD2: 8 <= obj <= 146 0.00/0.03 c BCD2: #cores=8, #unrelaxed=98, #relaxed=49, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 129 0 | 0 | 26 0.00/0.03 c 0.0s | 0 | 70 | 0 | 129 0 | 0 | 26 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 70 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 8: cost of the new core is >=1 0.00/0.03 c lower bound updated to 9 0.00/0.03 c BCD2: 9 <= obj <= 146 0.00/0.03 c BCD2: #cores=9, #unrelaxed=90, #relaxed=57, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 129 0 | 0 | 27 0.00/0.03 c 0.0s | 0 | 92 | 0 | 129 0 | 0 | 27 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 92 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 6: cost of the new core is >=1 0.00/0.03 c lower bound updated to 10 0.00/0.04 c BCD2: 10 <= obj <= 146 0.00/0.04 c BCD2: #cores=10, #unrelaxed=84, #relaxed=63, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 129 0 | 0 | 29 0.00/0.04 c 0.0s | 0 | 90 | 0 | 129 0 | 0 | 29 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 90 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.04 c lower bound updated to 11 0.00/0.04 c BCD2: 11 <= obj <= 146 0.00/0.04 c BCD2: #cores=11, #unrelaxed=80, #relaxed=67, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 129 0 | 0 | 31 0.00/0.04 c 0.0s | 0 | 89 | 0 | 129 0 | 0 | 31 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 89 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 7: cost of the new core is >=1 0.00/0.04 c lower bound updated to 12 0.00/0.04 c BCD2: 12 <= obj <= 146 0.00/0.04 c BCD2: #cores=12, #unrelaxed=73, #relaxed=74, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 129 0 | 0 | 32 0.00/0.04 c 0.0s | 0 | 138 | 0 | 129 0 | 0 | 32 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 138 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 o 32 0.00/0.04 c BCD2: updating upper bound: 146 -> 31 0.00/0.04 c BCD2: 12 <= obj <= 31 0.00/0.04 c BCD2: #cores=12, #unrelaxed=73, #relaxed=74, #hardened=0 0.00/0.04 c BCD2: #sat=2 #unsat=13 bias=13/15 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 129 0 | 0 | 33 0.00/0.04 c 0.0s | 0 | 105 | 12 | 129 0 | 0 | 33 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 105 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 12 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 59 and merging with 8 cores into a new core of size 107: cost of the new core is >=9 0.00/0.04 c lower bound updated to 13 0.00/0.04 c BCD2: 13 <= obj <= 31 0.00/0.04 c BCD2: #cores=5, #unrelaxed=14, #relaxed=133, #hardened=0 0.00/0.04 c BCD2: #sat=2 #unsat=14 bias=14/16 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 129 0 | 19 | 33 0.00/0.05 c 0.0s | 0 | 151 | 17 | 129 0 | 19 | 63 0.00/0.05 c #cpu_time = 0.003s 0.00/0.05 c #wall_clock_time = 0.003s 0.00/0.05 c #decision = 151 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 17 0.00/0.05 c #restart = 0 0.00/0.05 o 27 0.00/0.05 c BCD2: updating upper bound: 31 -> 26 0.00/0.05 c BCD2: 13 <= obj <= 26 0.00/0.05 c BCD2: #cores=5, #unrelaxed=14, #relaxed=133, #hardened=0 0.00/0.05 c BCD2: #sat=3 #unsat=14 bias=14/17 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 129 0 | 19 | 64 0.00/0.06 c 0.0s | 1 | 319 | 100 | 142 0 | 19 | 64 0.00/0.08 c 0.0s | 2 | 715 | 250 | 157 1 | 19 | 64 0.08/0.11 c 0.1s | 3 | 1410 | 475 | 173 3 | 19 | 64 0.08/0.16 c 0.1s | 4 | 2290 | 813 | 191 6 | 19 | 64 0.19/0.24 c 0.2s | 5 | 3780 | 1320 | 211 10 | 19 | 64 0.29/0.34 c 0.3s | 6 | 6243 | 2081 | 233 15 | 19 | 64 0.49/0.50 c 0.5s | 7 | 9007 | 3223 | 257 23 | 19 | 64 0.68/0.73 c 0.7s | 8 | 13231 | 4936 | 283 34 | 19 | 64 1.09/1.11 c 1.1s | 9 | 20195 | 7506 | 312 49 | 19 | 64 1.49/1.57 c 1.5s | 10 | 30749 | 11361 | 344 70 | 19 | 64 2.09/2.16 c 2.1s | 11 | 45327 | 17144 | 379 98 | 19 | 64 2.99/3.07 c 3.0s | 12 | 68728 | 25819 | 417 138 | 19 | 64 4.40/4.45 c 4.4s | 13 | 99996 | 38832 | 459 193 | 19 | 64 6.39/6.46 c 6.4s | 13 | 144343 | 56932 | 459 263 | 19 | 64 6.60/6.62 c 6.6s | 14 | 148092 | 58352 | 505 268 | 19 | 64 8.59/8.63 c 8.6s | 14 | 194571 | 77052 | 505 335 | 19 | 64 9.69/9.76 c 9.7s | 15 | 222590 | 87632 | 556 373 | 19 | 64 11.69/11.77 c 11.7s | 15 | 267935 | 106332 | 556 434 | 19 | 64 13.69/13.78 c 13.7s | 15 | 311520 | 124132 | 556 493 | 19 | 64 14.59/14.64 c 14.6s | 16 | 329955 | 131552 | 612 517 | 19 | 64 16.59/16.65 c 16.6s | 16 | 375801 | 149552 | 612 571 | 19 | 64 18.59/18.66 c 18.6s | 16 | 420262 | 167452 | 612 625 | 19 | 64 20.58/20.66 c 20.6s | 16 | 466383 | 185352 | 612 678 | 19 | 64 21.99/22.04 c 22.0s | 17 | 494022 | 197432 | 674 714 | 19 | 64 23.98/24.05 c 24.0s | 17 | 534474 | 215432 | 674 764 | 19 | 64 25.98/26.06 c 26.0s | 17 | 573888 | 232732 | 674 811 | 19 | 64 27.98/28.07 c 28.0s | 17 | 613856 | 249932 | 674 859 | 19 | 64 29.98/30.08 c 30.0s | 17 | 652817 | 266932 | 674 905 | 19 | 64 31.99/32.08 c 32.0s | 17 | 693145 | 283432 | 674 951 | 19 | 64 33.58/33.62 c 33.6s | 18 | 723315 | 296252 | 742 986 | 19 | 64 35.58/35.62 c 35.6s | 18 | 763913 | 313252 | 742 1028 | 19 | 64 37.58/37.64 c 37.6s | 18 | 804111 | 329952 | 742 1070 | 19 | 64 39.59/39.64 c 39.6s | 18 | 842236 | 347152 | 742 1114 | 19 | 64 41.58/41.65 c 41.6s | 18 | 883280 | 364152 | 742 1156 | 19 | 64 43.58/43.65 c 43.6s | 18 | 923012 | 380252 | 742 1197 | 19 | 64 45.58/45.66 c 45.6s | 18 | 961633 | 396952 | 742 1239 | 19 | 64 47.58/47.67 c 47.6s | 18 | 1001096 | 414052 | 742 1282 | 19 | 64 49.58/49.68 c 49.6s | 18 | 1039228 | 431152 | 742 1325 | 19 | 64 51.18/51.25 c 51.2s | 19 | 1072158 | 444482 | 817 1358 | 19 | 64 53.18/53.25 c 53.2s | 19 | 1115001 | 461882 | 817 1398 | 19 | 64 55.18/55.26 c 55.2s | 19 | 1157850 | 479082 | 817 1438 | 19 | 64 57.18/57.27 c 57.2s | 19 | 1198842 | 495782 | 817 1476 | 19 | 64 59.18/59.28 c 59.2s | 19 | 1239540 | 512582 | 817 1515 | 19 | 64 61.17/61.29 c 61.2s | 19 | 1281333 | 529582 | 817 1554 | 19 | 64 63.17/63.29 c 63.2s | 19 | 1323807 | 546882 | 817 1593 | 19 | 64 65.27/65.30 c 65.3s | 19 | 1366621 | 563682 | 817 1632 | 19 | 64 67.28/67.30 c 67.3s | 19 | 1408460 | 579982 | 817 1670 | 19 | 64 69.29/69.31 c 69.3s | 19 | 1449225 | 596682 | 817 1708 | 19 | 64 71.28/71.31 c 71.3s | 19 | 1486295 | 612682 | 817 1745 | 19 | 64 73.28/73.32 c 73.3s | 19 | 1524361 | 628582 | 817 1781 | 19 | 64 75.28/75.32 c 75.3s | 19 | 1560427 | 645182 | 817 1820 | 19 | 64 77.28/77.33 c 77.3s | 19 | 1597655 | 662282 | 899 1859 | 19 | 64 77.78/77.88 c 77.8s | 20 | 1607788 | 666827 | 899 1868 | 19 | 64 79.78/79.88 c 79.8s | 20 | 1650263 | 684427 | 899 1905 | 19 | 64 81.78/81.89 c 81.8s | 20 | 1691770 | 701427 | 899 1941 | 19 | 64 83.78/83.89 c 83.8s | 20 | 1735108 | 718927 | 899 1978 | 19 | 64 85.88/85.90 c 85.9s | 20 | 1775701 | 735927 | 899 2014 | 19 | 64 87.87/87.91 c 87.9s | 20 | 1815505 | 752827 | 899 2049 | 19 | 64 89.87/89.91 c 89.9s | 20 | 1854798 | 769527 | 899 2084 | 19 | 64 91.87/91.92 c 91.9s | 20 | 1895720 | 786327 | 899 2120 | 19 | 64 93.87/93.93 c 93.9s | 20 | 1935488 | 803127 | 899 2155 | 19 | 64 95.87/95.93 c 95.9s | 20 | 1979488 | 820327 | 899 2191 | 19 | 64 97.88/97.94 c 97.9s | 20 | 2019729 | 837627 | 899 2228 | 19 | 64 99.87/99.94 c 99.9s | 20 | 2059863 | 854427 | 899 2263 | 19 | 64 101.87/101.95 c 101s | 20 | 2097303 | 871627 | 899 2299 | 19 | 64 103.87/103.95 c 103s | 20 | 2132961 | 888327 | 899 2334 | 19 | 64 105.87/105.95 c 105s | 20 | 2168531 | 904927 | 899 2369 | 19 | 64 107.88/107.97 c 107s | 20 | 2205699 | 921627 | 899 2404 | 19 | 64 109.87/109.97 c 109s | 20 | 2240134 | 937427 | 899 2438 | 19 | 64 111.87/111.98 c 111s | 20 | 2276059 | 953427 | 899 2471 | 19 | 64 113.87/113.99 c 113s | 20 | 2312445 | 969627 | 899 2505 | 19 | 64 115.87/115.99 c 115s | 20 | 2348146 | 985727 | 899 2539 | 19 | 64 117.77/117.86 c 117s | 21 | 2381625 | 1000345 | 989 2569 | 19 | 64 119.77/119.86 c 119s | 21 | 2414634 | 1016645 | 989 2600 | 19 | 64 121.77/121.87 c 121s | 21 | 2454050 | 1033145 | 989 2632 | 19 | 64 123.77/123.88 c 123s | 21 | 2489391 | 1049545 | 989 2663 | 19 | 64 125.77/125.89 c 125s | 21 | 2524109 | 1065345 | 989 2693 | 19 | 64 127.77/127.89 c 127s | 21 | 2561291 | 1081345 | 989 2724 | 19 | 64 129.77/129.90 c 129s | 21 | 2597352 | 1097845 | 989 2756 | 19 | 64 131.86/131.90 c 131s | 21 | 2634564 | 1114445 | 989 2788 | 19 | 64 133.86/133.91 c 133s | 21 | 2672684 | 1131445 | 989 2820 | 19 | 64 135.86/135.92 c 135s | 21 | 2709521 | 1147745 | 989 2852 | 19 | 64 137.86/137.92 c 137s | 21 | 2748148 | 1163945 | 989 2883 | 19 | 64 139.86/139.93 c 139s | 21 | 2787619 | 1180545 | 989 2915 | 19 | 64 141.87/141.94 c 141s | 21 | 2830132 | 1196945 | 989 2946 | 19 | 64 143.86/143.94 c 143s | 21 | 2869520 | 1213545 | 989 2978 | 19 | 64 145.86/145.95 c 145s | 21 | 2904594 | 1230445 | 989 3011 | 19 | 64 147.86/147.95 c 147s | 21 | 2942099 | 1246345 | 989 3041 | 19 | 64 149.86/149.95 c 149s | 21 | 2977175 | 1262345 | 989 3072 | 19 | 64 151.87/151.96 c 151s | 21 | 3013423 | 1278845 | 989 3104 | 19 | 64 153.86/153.97 c 153s | 21 | 3052363 | 1294745 | 989 3135 | 19 | 64 155.86/155.97 c 155s | 21 | 3095493 | 1310845 | 989 3166 | 19 | 64 157.86/157.98 c 157s | 21 | 3136391 | 1327245 | 989 3197 | 19 | 64 159.86/159.98 c 159s | 21 | 3179432 | 1343445 | 989 3228 | 19 | 64 161.86/161.99 c 161s | 21 | 3218223 | 1359945 | 989 3260 | 19 | 64 163.87/164.00 c 163s | 21 | 3261619 | 1376545 | 989 3292 | 19 | 64 165.96/166.00 c 165s | 21 | 3308580 | 1392445 | 989 3322 | 19 | 64 167.96/168.01 c 167s | 21 | 3354939 | 1407945 | 989 3352 | 19 | 64 169.96/170.02 c 169s | 21 | 3402830 | 1423745 | 989 3382 | 19 | 64 171.96/172.02 c 171s | 21 | 3443054 | 1440245 | 989 3414 | 19 | 64 173.96/174.03 c 173s | 21 | 3485231 | 1456345 | 989 3445 | 19 | 64 175.97/176.04 c 175s | 21 | 3526366 | 1472745 | 989 3476 | 19 | 64 177.96/178.05 c 178s | 21 | 3563026 | 1489145 | 989 3508 | 19 | 64 179.37/179.46 c 179s | 22 | 3588747 | 1500622 | 1088 3528 | 19 | 64 181.36/181.47 c 181s | 22 | 3630468 | 1516522 | 1088 3556 | 19 | 64 183.36/183.48 c 183s | 22 | 3672982 | 1532622 | 1088 3584 | 19 | 64 185.36/185.49 c 185s | 22 | 3712478 | 1548422 | 1088 3612 | 19 | 64 187.46/187.50 c 187s | 22 | 3753926 | 1565022 | 1088 3641 | 19 | 64 189.46/189.50 c 189s | 22 | 3793289 | 1581422 | 1088 3670 | 19 | 64 191.36/191.50 c 191s | 22 | 3832943 | 1597622 | 1088 3698 | 19 | 64 193.46/193.51 c 193s | 22 | 3872831 | 1614022 | 1088 3727 | 19 | 64 195.46/195.52 c 195s | 22 | 3915052 | 1630522 | 1088 3756 | 19 | 64 197.46/197.53 c 197s | 22 | 3955852 | 1646722 | 1088 3785 | 19 | 64 199.46/199.53 c 199s | 22 | 3998729 | 1662922 | 1088 3813 | 19 | 64 201.46/201.53 c 201s | 22 | 4038466 | 1679122 | 1088 3841 | 19 | 64 203.46/203.54 c 203s | 22 | 4074412 | 1694922 | 1088 3869 | 19 | 64 205.45/205.55 c 205s | 22 | 4114366 | 1710922 | 1088 3897 | 19 | 64 207.45/207.55 c 207s | 22 | 4156995 | 1727622 | 1088 3926 | 19 | 64 209.45/209.56 c 209s | 22 | 4198470 | 1743922 | 1088 3955 | 19 | 64 211.45/211.56 c 211s | 22 | 4239012 | 1760222 | 1088 3984 | 19 | 64 213.46/213.57 c 213s | 22 | 4276406 | 1775622 | 1088 4011 | 19 | 64 215.45/215.58 c 215s | 22 | 4313320 | 1791122 | 1088 4038 | 19 | 64 217.45/217.59 c 217s | 22 | 4353911 | 1807522 | 1088 4067 | 19 | 64 219.45/219.59 c 219s | 22 | 4393390 | 1823822 | 1088 4095 | 19 | 64 221.55/221.60 c 221s | 22 | 4432559 | 1840122 | 1088 4124 | 19 | 64 223.55/223.60 c 223s | 22 | 4471348 | 1856222 | 1088 4152 | 19 | 64 225.56/225.61 c 225s | 22 | 4510708 | 1872322 | 1088 4181 | 19 | 64 227.55/227.61 c 227s | 22 | 4550659 | 1888122 | 1088 4208 | 19 | 64 229.55/229.61 c 229s | 22 | 4589455 | 1904122 | 1088 4237 | 19 | 64 231.55/231.61 c 231s | 22 | 4630360 | 1920522 | 1088 4265 | 19 | 64 233.55/233.62 c 233s | 22 | 4671596 | 1936522 | 1088 4294 | 19 | 64 235.55/235.62 c 235s | 22 | 4712778 | 1952622 | 1088 4322 | 19 | 64 237.55/237.63 c 237s | 22 | 4750896 | 1967322 | 1088 4348 | 19 | 64 239.55/239.64 c 239s | 22 | 4788759 | 1982522 | 1088 4375 | 19 | 64 241.55/241.66 c 241s | 22 | 4827361 | 1998122 | 1088 4402 | 19 | 64 243.55/243.67 c 243s | 22 | 4865947 | 2013522 | 1088 4429 | 19 | 64 245.55/245.67 c 245s | 22 | 4903645 | 2028522 | 1088 4455 | 19 | 64 247.56/247.68 c 247s | 22 | 4942083 | 2044522 | 1088 4483 | 19 | 64 249.55/249.69 c 249s | 22 | 4983171 | 2060422 | 1088 4511 | 19 | 64 251.65/251.70 c 251s | 22 | 5019491 | 2076322 | 1088 4539 | 19 | 64 253.65/253.70 c 253s | 22 | 5059636 | 2092322 | 1088 4567 | 19 | 64 255.65/255.71 c 255s | 22 | 5097400 | 2108422 | 1088 4595 | 19 | 64 257.65/257.72 c 257s | 22 | 5134766 | 2124022 | 1088 4623 | 19 | 64 259.66/259.73 c 259s | 22 | 5169736 | 2139422 | 1088 4650 | 19 | 64 261.65/261.73 c 261s | 22 | 5205759 | 2154522 | 1088 4676 | 19 | 64 263.65/263.74 c 263s | 22 | 5244099 | 2169522 | 1088 4703 | 19 | 64 265.65/265.74 c 265s | 22 | 5281497 | 2184622 | 1088 4729 | 19 | 64 267.65/267.75 c 267s | 22 | 5316556 | 2199522 | 1088 4756 | 19 | 64 269.65/269.76 c 269s | 22 | 5355787 | 2214822 | 1088 4783 | 19 | 64 271.65/271.76 c 271s | 22 | 5393206 | 2230022 | 1088 4809 | 19 | 64 273.65/273.77 c 273s | 22 | 5428889 | 2244622 | 1197 4833 | 19 | 64 274.55/274.67 c 274s | 23 | 5445668 | 2251038 | 1197 4844 | 19 | 64 276.55/276.67 c 276s | 23 | 5485033 | 2266538 | 1197 4869 | 19 | 64 278.54/278.68 c 278s | 23 | 5523307 | 2282138 | 1197 4894 | 19 | 64 280.55/280.69 c 280s | 23 | 5561443 | 2297338 | 1197 4918 | 19 | 64 282.54/282.70 c 282s | 23 | 5598278 | 2312438 | 1197 4942 | 19 | 64 284.64/284.71 c 284s | 23 | 5637773 | 2328238 | 1197 4967 | 19 | 64 286.64/286.71 c 286s | 23 | 5675759 | 2344338 | 1197 4993 | 19 | 64 288.64/288.72 c 288s | 23 | 5711007 | 2359638 | 1197 5018 | 19 | 64 290.64/290.72 c 290s | 23 | 5747113 | 2375138 | 1197 5043 | 19 | 64 292.65/292.73 c 292s | 23 | 5780921 | 2390038 | 1197 5066 | 19 | 64 294.64/294.74 c 294s | 23 | 5818800 | 2405838 | 1197 5092 | 19 | 64 296.64/296.75 c 296s | 23 | 5855830 | 2421538 | 1197 5117 | 19 | 64 298.64/298.75 c 298s | 23 | 5890951 | 2436738 | 1197 5141 | 19 | 64 300.64/300.76 c 300s | 23 | 5932450 | 2452738 | 1197 5167 | 19 | 64 302.64/302.76 c 302s | 23 | 5968998 | 2467938 | 1197 5191 | 19 | 64 304.64/304.77 c 304s | 23 | 6007512 | 2483338 | 1197 5216 | 19 | 64 306.64/306.78 c 306s | 23 | 6047487 | 2498438 | 1197 5240 | 19 | 64 308.64/308.78 c 308s | 23 | 6087246 | 2513338 | 1197 5264 | 19 | 64 310.64/310.79 c 310s | 23 | 6129273 | 2528038 | 1197 5287 | 19 | 64 312.64/312.79 c 312s | 23 | 6169640 | 2542538 | 1197 5311 | 19 | 64 314.64/314.79 c 314s | 23 | 6211493 | 2557838 | 1197 5335 | 19 | 64 316.63/316.80 c 316s | 23 | 6248863 | 2572138 | 1197 5358 | 19 | 64 318.74/318.81 c 318s | 23 | 6290710 | 2587238 | 1197 5382 | 19 | 64 320.74/320.81 c 320s | 23 | 6330172 | 2601838 | 1197 5406 | 19 | 64 322.74/322.82 c 322s | 23 | 6367581 | 2616538 | 1197 5429 | 19 | 64 324.74/324.82 c 324s | 23 | 6404105 | 2630538 | 1197 5452 | 19 | 64 326.75/326.82 c 326s | 23 | 6441244 | 2645238 | 1197 5475 | 19 | 64 328.74/328.83 c 328s | 23 | 6478737 | 2660238 | 1197 5499 | 19 | 64 330.74/330.83 c 330s | 23 | 6518090 | 2675938 | 1197 5524 | 19 | 64 332.74/332.83 c 332s | 23 | 6558209 | 2690938 | 1197 5549 | 19 | 64 334.74/334.83 c 334s | 23 | 6597577 | 2706038 | 1197 5573 | 19 | 64 336.74/336.84 c 336s | 23 | 6632172 | 2720538 | 1197 5596 | 19 | 64 338.74/338.85 c 338s | 23 | 6671089 | 2735338 | 1197 5620 | 19 | 64 340.74/340.85 c 340s | 23 | 6710663 | 2750338 | 1197 5644 | 19 | 64 342.73/342.86 c 342s | 23 | 6749173 | 2765238 | 1197 5668 | 19 | 64 344.73/344.87 c 344s | 23 | 6785773 | 2780038 | 1197 5692 | 19 | 64 346.73/346.87 c 346s | 23 | 6823904 | 2795338 | 1197 5716 | 19 | 64 348.74/348.88 c 348s | 23 | 6860683 | 2810438 | 1197 5740 | 19 | 64 350.73/350.88 c 350s | 23 | 6895185 | 2824938 | 1197 5764 | 19 | 64 352.73/352.89 c 352s | 23 | 6937466 | 2840538 | 1197 5789 | 19 | 64 354.73/354.90 c 354s | 23 | 6975003 | 2855938 | 1197 5813 | 19 | 64 356.83/356.90 c 356s | 23 | 7013626 | 2871338 | 1197 5838 | 19 | 64 358.83/358.91 c 358s | 23 | 7049656 | 2886138 | 1197 5862 | 19 | 64 360.84/360.91 c 360s | 23 | 7091487 | 2902238 | 1197 5887 | 19 | 64 362.83/362.91 c 362s | 23 | 7130194 | 2917738 | 1197 5912 | 19 | 64 364.83/364.92 c 364s | 23 | 7172591 | 2933338 | 1197 5937 | 19 | 64 366.83/366.94 c 366s | 23 | 7208793 | 2948538 | 1197 5962 | 19 | 64 368.83/368.95 c 368s | 23 | 7244679 | 2963238 | 1197 5985 | 19 | 64 370.83/370.95 c 370s | 23 | 7280658 | 2978038 | 1197 6009 | 19 | 64 372.83/372.96 c 372s | 23 | 7315997 | 2992038 | 1197 6031 | 19 | 64 374.83/374.97 c 374s | 23 | 7350846 | 3005838 | 1197 6054 | 19 | 64 376.83/376.98 c 376s | 23 | 7390946 | 3020838 | 1197 6078 | 19 | 64 378.83/378.99 c 378s | 23 | 7428823 | 3035438 | 1197 6101 | 19 | 64 380.83/380.99 c 380s | 23 | 7463304 | 3050338 | 1197 6125 | 19 | 64 382.92/383.00 c 382s | 23 | 7500267 | 3065638 | 1197 6150 | 19 | 64 384.93/385.01 c 384s | 23 | 7536155 | 3080638 | 1197 6174 | 19 | 64 386.92/387.01 c 386s | 23 | 7571097 | 3095138 | 1197 6197 | 19 | 64 388.93/389.02 c 388s | 23 | 7604978 | 3109938 | 1197 6221 | 19 | 64 390.93/391.02 c 390s | 23 | 7638350 | 3124838 | 1197 6245 | 19 | 64 392.93/393.04 c 392s | 23 | 7674226 | 3139838 | 1197 6269 | 19 | 64 394.94/395.04 c 394s | 23 | 7712131 | 3154438 | 1197 6292 | 19 | 64 396.93/397.05 c 397s | 23 | 7746507 | 3168938 | 1197 6316 | 19 | 64 398.93/399.06 c 399s | 23 | 7785258 | 3183738 | 1197 6339 | 19 | 64 400.93/401.06 c 401s | 23 | 7824033 | 3198838 | 1197 6363 | 19 | 64 402.93/403.07 c 403s | 23 | 7864129 | 3214038 | 1197 6388 | 19 | 64 404.93/405.08 c 405s | 23 | 7903960 | 3229038 | 1197 6412 | 19 | 64 406.93/407.09 c 407s | 23 | 7943867 | 3243838 | 1197 6436 | 19 | 64 408.93/409.09 c 409s | 23 | 7986195 | 3258738 | 1197 6459 | 19 | 64 411.03/411.10 c 411s | 23 | 8023694 | 3273438 | 1197 6483 | 19 | 64 413.03/413.11 c 413s | 23 | 8063468 | 3287438 | 1197 6506 | 19 | 64 415.02/415.11 c 415s | 23 | 8098212 | 3301238 | 1197 6528 | 19 | 64 417.02/417.11 c 417s | 23 | 8134762 | 3315438 | 1197 6551 | 19 | 64 419.03/419.12 c 419s | 23 | 8167859 | 3328438 | 1197 6572 | 19 | 64 421.02/421.13 c 421s | 23 | 8202357 | 3342738 | 1197 6595 | 19 | 64 423.02/423.14 c 423s | 23 | 8236036 | 3356938 | 1317 6617 | 19 | 64 425.02/425.15 c 425s | 23 | 8274385 | 3371038 | 1317 6637 | 19 | 64 425.73/425.89 c 425s | 24 | 8288845 | 3376662 | 1317 6645 | 19 | 64 427.72/427.90 c 427s | 24 | 8326959 | 3392362 | 1317 6668 | 19 | 64 429.82/429.91 c 429s | 24 | 8364142 | 3407762 | 1317 6691 | 19 | 64 431.82/431.92 c 431s | 24 | 8404158 | 3423362 | 1317 6713 | 19 | 64 433.83/433.92 c 433s | 24 | 8442730 | 3438462 | 1317 6735 | 19 | 64 435.82/435.93 c 435s | 24 | 8479463 | 3453962 | 1317 6758 | 19 | 64 437.83/437.94 c 437s | 24 | 8516440 | 3469362 | 1317 6780 | 19 | 64 439.82/439.95 c 439s | 24 | 8552931 | 3484562 | 1317 6802 | 19 | 64 441.82/441.95 c 441s | 24 | 8588712 | 3499662 | 1317 6824 | 19 | 64 443.82/443.96 c 443s | 24 | 8624332 | 3514962 | 1317 6847 | 19 | 64 445.82/445.97 c 445s | 24 | 8659125 | 3529962 | 1317 6869 | 19 | 64 447.82/447.97 c 447s | 24 | 8694522 | 3544762 | 1317 6890 | 19 | 64 449.83/449.98 c 449s | 24 | 8730161 | 3559462 | 1317 6912 | 19 | 64 451.92/452.00 c 451s | 24 | 8765118 | 3574462 | 1317 6933 | 19 | 64 453.92/454.01 c 453s | 24 | 8798724 | 3588762 | 1317 6954 | 19 | 64 455.92/456.02 c 455s | 24 | 8832652 | 3603162 | 1317 6975 | 19 | 64 457.92/458.03 c 457s | 24 | 8870433 | 3618962 | 1317 6998 | 19 | 64 459.92/460.04 c 459s | 24 | 8907521 | 3634762 | 1317 7021 | 19 | 64 461.93/462.04 c 461s | 24 | 8947517 | 3650162 | 1317 7044 | 19 | 64 463.92/464.05 c 463s | 24 | 8985668 | 3665462 | 1317 7066 | 19 | 64 465.92/466.05 c 466s | 24 | 9021030 | 3680362 | 1317 7088 | 19 | 64 467.92/468.06 c 468s | 24 | 9054906 | 3695262 | 1317 7110 | 19 | 64 469.92/470.06 c 470s | 24 | 9091030 | 3710062 | 1317 7131 | 19 | 64 471.93/472.07 c 472s | 24 | 9127843 | 3724762 | 1317 7153 | 19 | 64 473.92/474.09 c 474s | 24 | 9162917 | 3739862 | 1317 7175 | 19 | 64 475.92/476.09 c 476s | 24 | 9200680 | 3755062 | 1317 7197 | 19 | 64 478.02/478.10 c 478s | 24 | 9236931 | 3770262 | 1317 7219 | 19 | 64 480.02/480.11 c 480s | 24 | 9274297 | 3785462 | 1317 7241 | 19 | 64 482.01/482.12 c 482s | 24 | 9313243 | 3800662 | 1317 7263 | 19 | 64 484.02/484.12 c 484s | 24 | 9350416 | 3815562 | 1317 7285 | 19 | 64 486.01/486.13 c 486s | 24 | 9389030 | 3830762 | 1317 7307 | 19 | 64 488.01/488.13 c 488s | 24 | 9421590 | 3845062 | 1317 7328 | 19 | 64 490.01/490.14 c 490s | 24 | 9455637 | 3859062 | 1317 7348 | 19 | 64 492.01/492.15 c 492s | 24 | 9489707 | 3873962 | 1317 7370 | 19 | 64 494.01/494.16 c 494s | 24 | 9526098 | 3888662 | 1317 7392 | 19 | 64 496.02/496.16 c 496s | 24 | 9561833 | 3903562 | 1317 7413 | 19 | 64 498.01/498.17 c 498s | 24 | 9597694 | 3918162 | 1317 7435 | 19 | 64 500.01/500.17 c 500s | 24 | 9632201 | 3932262 | 1317 7455 | 19 | 64 502.01/502.18 c 502s | 24 | 9665481 | 3946362 | 1317 7476 | 19 | 64 504.01/504.19 c 504s | 24 | 9700246 | 3961662 | 1317 7498 | 19 | 64 506.11/506.21 c 506s | 24 | 9736584 | 3976262 | 1317 7520 | 19 | 64 508.11/508.22 c 508s | 24 | 9771050 | 3990362 | 1317 7540 | 19 | 64 510.11/510.22 c 510s | 24 | 9804800 | 4004662 | 1317 7561 | 19 | 64 512.11/512.22 c 512s | 24 | 9841847 | 4019362 | 1317 7583 | 19 | 64 514.11/514.23 c 514s | 24 | 9876396 | 4033862 | 1317 7604 | 19 | 64 516.11/516.23 c 516s | 24 | 9911995 | 4048762 | 1317 7625 | 19 | 64 518.11/518.24 c 518s | 24 | 9947783 | 4063462 | 1317 7647 | 19 | 64 520.10/520.25 c 520s | 24 | 9981775 | 4077662 | 1317 7668 | 19 | 64 522.10/522.25 c 522s | 24 | 10013967 | 4091462 | 1317 7688 | 19 | 64 524.10/524.27 c 524s | 24 | 10049106 | 4106262 | 1317 7710 | 19 | 64 526.10/526.27 c 526s | 24 | 10084286 | 4120862 | 1317 7731 | 19 | 64 528.10/528.28 c 528s | 24 | 10120379 | 4135762 | 1317 7753 | 19 | 64 530.11/530.28 c 530s | 24 | 10155663 | 4150662 | 1317 7774 | 19 | 64 532.10/532.29 c 532s | 24 | 10189699 | 4164762 | 1317 7795 | 19 | 64 534.10/534.29 c 534s | 24 | 10222518 | 4179162 | 1317 7816 | 19 | 64 536.20/536.30 c 536s | 24 | 10257376 | 4193962 | 1317 7837 | 19 | 64 538.21/538.31 c 538s | 24 | 10291973 | 4208862 | 1317 7859 | 19 | 64 540.21/540.31 c 540s | 24 | 10328159 | 4223762 | 1317 7881 | 19 | 64 542.22/542.31 c 542s | 24 | 10365147 | 4238562 | 1317 7902 | 19 | 64 544.21/544.32 c 544s | 24 | 10400155 | 4252762 | 1317 7923 | 19 | 64 546.21/546.34 c 546s | 24 | 10434885 | 4266962 | 1317 7944 | 19 | 64 548.21/548.34 c 548s | 24 | 10467359 | 4281062 | 1317 7964 | 19 | 64 550.21/550.34 c 550s | 24 | 10502536 | 4295462 | 1317 7986 | 19 | 64 552.21/552.35 c 552s | 24 | 10538677 | 4309862 | 1317 8007 | 19 | 64 554.21/554.36 c 554s | 24 | 10571127 | 4323962 | 1317 8027 | 19 | 64 556.21/556.36 c 556s | 24 | 10604870 | 4338062 | 1317 8048 | 19 | 64 558.21/558.36 c 558s | 24 | 10638320 | 4352362 | 1317 8069 | 19 | 64 560.20/560.38 c 560s | 24 | 10670168 | 4366562 | 1317 8089 | 19 | 64 562.21/562.39 c 562s | 24 | 10706045 | 4381962 | 1317 8112 | 19 | 64 564.21/564.40 c 564s | 24 | 10741405 | 4396762 | 1317 8133 | 19 | 64 566.30/566.40 c 566s | 24 | 10777348 | 4411462 | 1317 8155 | 19 | 64 568.30/568.41 c 568s | 24 | 10811203 | 4426262 | 1317 8176 | 19 | 64 570.30/570.41 c 570s | 24 | 10844464 | 4440562 | 1317 8197 | 19 | 64 572.30/572.42 c 572s | 24 | 10879694 | 4454662 | 1317 8218 | 19 | 64 574.30/574.43 c 574s | 24 | 10911447 | 4468862 | 1317 8239 | 19 | 64 576.31/576.43 c 576s | 24 | 10945080 | 4483462 | 1317 8260 | 19 | 64 578.30/578.44 c 578s | 24 | 10982828 | 4498762 | 1317 8282 | 19 | 64 580.30/580.45 c 580s | 24 | 11017239 | 4513562 | 1317 8304 | 19 | 64 582.30/582.46 c 582s | 24 | 11050567 | 4527262 | 1317 8324 | 19 | 64 584.30/584.46 c 584s | 24 | 11083645 | 4541962 | 1317 8345 | 19 | 64 586.30/586.47 c 586s | 24 | 11118032 | 4556662 | 1317 8367 | 19 | 64 588.29/588.48 c 588s | 24 | 11152498 | 4571262 | 1317 8388 | 19 | 64 590.29/590.48 c 590s | 24 | 11185550 | 4585162 | 1317 8408 | 19 | 64 592.29/592.49 c 592s | 24 | 11221708 | 4599462 | 1317 8429 | 19 | 64 594.39/594.50 c 594s | 24 | 11260604 | 4614662 | 1317 8452 | 19 | 64 596.39/596.51 c 596s | 24 | 11297066 | 4629562 | 1317 8473 | 19 | 64 598.40/598.52 c 598s | 24 | 11331096 | 4643862 | 1317 8494 | 19 | 64 600.39/600.52 c 600s | 24 | 11364328 | 4657962 | 1317 8515 | 19 | 64 602.39/602.52 c 602s | 24 | 11402528 | 4673362 | 1317 8537 | 19 | 64 604.39/604.54 c 604s | 24 | 11440815 | 4688562 | 1317 8560 | 19 | 64 606.39/606.54 c 606s | 24 | 11475120 | 4703162 | 1317 8581 | 19 | 64 608.39/608.55 c 608s | 24 | 11509698 | 4717762 | 1317 8602 | 19 | 64 610.41/610.55 c 610s | 24 | 11542595 | 4731862 | 1317 8623 | 19 | 64 612.40/612.56 c 612s | 24 | 11579045 | 4746962 | 1317 8645 | 19 | 64 614.40/614.57 c 614s | 24 | 11612894 | 4761562 | 1317 8666 | 19 | 64 616.39/616.59 c 616s | 24 | 11647141 | 4775862 | 1317 8687 | 19 | 64 618.49/618.60 c 618s | 24 | 11681075 | 4790262 | 1317 8708 | 19 | 64 620.49/620.61 c 620s | 24 | 11716399 | 4804362 | 1317 8729 | 19 | 64 622.50/622.61 c 622s | 24 | 11748508 | 4818362 | 1317 8749 | 19 | 64 624.49/624.62 c 624s | 24 | 11780505 | 4832262 | 1317 8770 | 19 | 64 626.49/626.63 c 626s | 24 | 11814769 | 4846662 | 1317 8791 | 19 | 64 628.49/628.64 c 628s | 24 | 11849599 | 4861362 | 1317 8812 | 19 | 64 630.49/630.65 c 630s | 24 | 11881685 | 4875762 | 1317 8833 | 19 | 64 632.50/632.66 c 632s | 24 | 11913139 | 4889562 | 1317 8854 | 19 | 64 634.49/634.66 c 634s | 24 | 11948949 | 4904662 | 1317 8876 | 19 | 64 636.49/636.67 c 636s | 24 | 11980861 | 4918862 | 1317 8897 | 19 | 64 638.49/638.68 c 638s | 24 | 12012954 | 4933362 | 1317 8918 | 19 | 64 640.49/640.69 c 640s | 24 | 12048377 | 4948362 | 1317 8940 | 19 | 64 642.49/642.69 c 642s | 24 | 12082684 | 4962962 | 1317 8961 | 19 | 64 644.49/644.70 c 644s | 24 | 12117512 | 4977562 | 1317 8982 | 19 | 64 646.59/646.71 c 646s | 24 | 12156215 | 4992262 | 1317 9004 | 19 | 64 648.59/648.72 c 648s | 24 | 12191720 | 5006862 | 1317 9025 | 19 | 64 650.59/650.72 c 650s | 24 | 12227260 | 5020862 | 1317 9046 | 19 | 64 652.58/652.73 c 652s | 24 | 12259325 | 5034562 | 1449 9065 | 19 | 64 654.58/654.74 c 654s | 24 | 12293026 | 5048462 | 1449 9083 | 19 | 64 656.59/656.75 c 656s | 24 | 12326757 | 5062162 | 1449 9101 | 19 | 64 656.98/657.15 c 657s | 25 | 12333568 | 5065098 | 1449 9105 | 19 | 64 658.98/659.15 c 659s | 25 | 12368631 | 5080598 | 1449 9126 | 19 | 64 660.99/661.16 c 661s | 25 | 12402137 | 5095598 | 1449 9146 | 19 | 64 662.98/663.18 c 663s | 25 | 12438097 | 5110598 | 1449 9166 | 19 | 64 664.98/665.18 c 665s | 25 | 12474764 | 5125898 | 1449 9186 | 19 | 64 667.08/667.20 c 667s | 25 | 12507229 | 5140798 | 1449 9206 | 19 | 64 669.08/669.20 c 669s | 25 | 12540163 | 5155598 | 1449 9225 | 19 | 64 671.08/671.21 c 671s | 25 | 12575045 | 5170998 | 1449 9246 | 19 | 64 673.10/673.23 c 673s | 25 | 12610501 | 5186198 | 1449 9266 | 19 | 64 675.09/675.23 c 675s | 25 | 12643280 | 5200998 | 1449 9285 | 19 | 64 677.09/677.23 c 677s | 25 | 12678603 | 5216398 | 1449 9306 | 19 | 64 679.09/679.24 c 679s | 25 | 12713883 | 5230898 | 1449 9325 | 19 | 64 681.09/681.25 c 681s | 25 | 12749777 | 5245798 | 1449 9345 | 19 | 64 683.09/683.25 c 683s | 25 | 12783229 | 5260698 | 1449 9364 | 19 | 64 685.09/685.26 c 685s | 25 | 12818392 | 5275498 | 1449 9384 | 19 | 64 687.09/687.26 c 687s | 25 | 12851985 | 5289698 | 1449 9403 | 19 | 64 689.09/689.27 c 689s | 25 | 12884617 | 5303898 | 1449 9422 | 19 | 64 691.08/691.28 c 691s | 25 | 12917777 | 5317898 | 1449 9440 | 19 | 64 693.08/693.28 c 693s | 25 | 12951934 | 5332198 | 1449 9459 | 19 | 64 695.09/695.29 c 695s | 25 | 12983087 | 5346798 | 1449 9479 | 19 | 64 697.08/697.29 c 697s | 25 | 13013667 | 5360898 | 1449 9497 | 19 | 64 699.18/699.30 c 699s | 25 | 13043256 | 5375098 | 1449 9516 | 19 | 64 701.18/701.30 c 701s | 25 | 13080719 | 5390598 | 1449 9537 | 19 | 64 703.18/703.31 c 703s | 25 | 13117810 | 5405898 | 1449 9557 | 19 | 64 705.18/705.32 c 705s | 25 | 13150678 | 5420698 | 1449 9577 | 19 | 64 707.19/707.32 c 707s | 25 | 13184318 | 5435498 | 1449 9596 | 19 | 64 709.18/709.32 c 709s | 25 | 13217401 | 5450398 | 1449 9616 | 19 | 64 711.18/711.33 c 711s | 25 | 13252536 | 5465798 | 1449 9636 | 19 | 64 713.18/713.34 c 713s | 25 | 13285198 | 5480398 | 1449 9656 | 19 | 64 715.18/715.35 c 715s | 25 | 13317949 | 5494898 | 1449 9675 | 19 | 64 717.19/717.36 c 717s | 25 | 13349864 | 5509298 | 1449 9694 | 19 | 64 719.18/719.36 c 719s | 25 | 13381099 | 5523798 | 1449 9713 | 19 | 64 721.18/721.37 c 721s | 25 | 13413717 | 5538598 | 1449 9733 | 19 | 64 723.17/723.38 c 723s | 25 | 13446025 | 5553198 | 1449 9752 | 19 | 64 725.17/725.39 c 725s | 25 | 13480491 | 5568198 | 1449 9772 | 19 | 64 727.17/727.39 c 727s | 25 | 13512080 | 5582898 | 1449 9792 | 19 | 64 729.18/729.40 c 729s | 25 | 13543218 | 5597498 | 1449 9811 | 19 | 64 731.27/731.41 c 731s | 25 | 13573653 | 5611998 | 1449 9830 | 19 | 64 733.27/733.41 c 733s | 25 | 13603236 | 5625898 | 1449 9849 | 19 | 64 735.27/735.42 c 735s | 25 | 13635559 | 5640598 | 1449 9868 | 19 | 64 737.27/737.43 c 737s | 25 | 13672050 | 5656198 | 1449 9889 | 19 | 64 739.27/739.44 c 739s | 25 | 13705478 | 5670898 | 1449 9909 | 19 | 64 741.28/741.45 c 741s | 25 | 13738851 | 5685598 | 1449 9928 | 19 | 64 743.27/743.45 c 743s | 25 | 13771931 | 5700698 | 1449 9948 | 19 | 64 745.27/745.45 c 745s | 25 | 13803325 | 5715098 | 1449 9967 | 19 | 64 747.27/747.46 c 747s | 25 | 13837215 | 5730298 | 1449 9987 | 19 | 64 749.27/749.47 c 749s | 25 | 13869370 | 5744798 | 1449 10007 | 19 | 64 751.27/751.47 c 751s | 25 | 13902537 | 5759698 | 1449 10026 | 19 | 64 753.27/753.47 c 753s | 25 | 13935562 | 5774698 | 1449 10046 | 19 | 64 755.28/755.48 c 755s | 25 | 13966524 | 5789398 | 1449 10066 | 19 | 64 757.28/757.48 c 757s | 25 | 13997172 | 5803298 | 1449 10084 | 19 | 64 759.28/759.48 c 759s | 25 | 14028877 | 5817698 | 1449 10103 | 19 | 64 761.27/761.49 c 761s | 25 | 14062954 | 5833098 | 1449 10124 | 19 | 64 763.28/763.49 c 763s | 25 | 14096220 | 5848198 | 1449 10144 | 19 | 64 765.27/765.49 c 765s | 25 | 14128964 | 5863398 | 1449 10164 | 19 | 64 767.37/767.50 c 767s | 25 | 14159470 | 5877998 | 1449 10183 | 19 | 64 769.37/769.51 c 769s | 25 | 14191615 | 5892898 | 1449 10203 | 19 | 64 771.37/771.51 c 771s | 25 | 14224113 | 5907798 | 1449 10223 | 19 | 64 773.37/773.52 c 773s | 25 | 14256207 | 5922598 | 1449 10243 | 19 | 64 775.38/775.52 c 775s | 25 | 14289101 | 5937098 | 1449 10262 | 19 | 64 777.37/777.53 c 777s | 25 | 14323415 | 5951998 | 1449 10282 | 19 | 64 779.37/779.54 c 779s | 25 | 14352627 | 5966098 | 1449 10301 | 19 | 64 781.37/781.55 c 781s | 25 | 14386747 | 5981198 | 1449 10321 | 19 | 64 783.37/783.56 c 783s | 25 | 14421009 | 5996498 | 1449 10341 | 19 | 64 785.37/785.56 c 785s | 25 | 14456502 | 6011898 | 1449 10361 | 19 | 64 787.36/787.57 c 787s | 25 | 14490476 | 6026898 | 1449 10381 | 19 | 64 789.37/789.57 c 789s | 25 | 14521009 | 6041298 | 1449 10400 | 19 | 64 791.37/791.58 c 791s | 25 | 14551914 | 6055998 | 1449 10420 | 19 | 64 793.37/793.58 c 793s | 25 | 14581893 | 6070898 | 1449 10440 | 19 | 64 795.37/795.58 c 795s | 25 | 14614292 | 6085798 | 1449 10459 | 19 | 64 797.38/797.59 c 797s | 25 | 14646308 | 6100598 | 1449 10479 | 19 | 64 799.37/799.59 c 799s | 25 | 14673899 | 6114098 | 1449 10497 | 19 | 64 801.37/801.59 c 801s | 25 | 14702251 | 6127698 | 1449 10515 | 19 | 64 803.37/803.59 c 803s | 25 | 14731385 | 6141498 | 1449 10533 | 19 | 64 805.47/805.61 c 805s | 25 | 14759157 | 6155498 | 1449 10552 | 19 | 64 807.46/807.62 c 807s | 25 | 14788120 | 6169498 | 1449 10571 | 19 | 64 809.47/809.63 c 809s | 25 | 14814960 | 6183198 | 1449 10589 | 19 | 64 811.46/811.63 c 811s | 25 | 14841197 | 6196798 | 1449 10607 | 19 | 64 813.46/813.64 c 813s | 25 | 14870701 | 6210698 | 1449 10625 | 19 | 64 815.46/815.64 c 815s | 25 | 14901664 | 6225598 | 1449 10645 | 19 | 64 817.46/817.64 c 817s | 25 | 14936204 | 6240998 | 1449 10666 | 19 | 64 819.47/819.65 c 819s | 25 | 14976219 | 6256898 | 1449 10687 | 19 | 64 821.46/821.65 c 821s | 25 | 15011317 | 6272098 | 1449 10707 | 19 | 64 823.46/823.66 c 823s | 25 | 15044407 | 6287298 | 1449 10727 | 19 | 64 825.46/825.67 c 825s | 25 | 15073754 | 6301998 | 1449 10746 | 19 | 64 827.46/827.69 c 827s | 25 | 15107522 | 6316798 | 1449 10766 | 19 | 64 829.56/829.70 c 829s | 25 | 15138995 | 6330798 | 1449 10785 | 19 | 64 831.56/831.71 c 831s | 25 | 15168880 | 6344498 | 1449 10803 | 19 | 64 833.56/833.71 c 833s | 25 | 15199045 | 6357998 | 1449 10821 | 19 | 64 835.56/835.72 c 835s | 25 | 15234013 | 6372898 | 1449 10840 | 19 | 64 837.56/837.73 c 837s | 25 | 15268112 | 6387598 | 1449 10860 | 19 | 64 839.56/839.74 c 839s | 25 | 15299150 | 6401898 | 1449 10879 | 19 | 64 841.56/841.74 c 841s | 25 | 15331716 | 6416298 | 1449 10898 | 19 | 64 843.56/843.76 c 843s | 25 | 15364651 | 6430698 | 1449 10917 | 19 | 64 845.55/845.76 c 845s | 25 | 15399970 | 6445698 | 1449 10937 | 19 | 64 847.55/847.77 c 847s | 25 | 15433213 | 6460298 | 1449 10956 | 19 | 64 849.55/849.78 c 849s | 25 | 15466309 | 6474798 | 1449 10976 | 19 | 64 851.55/851.79 c 851s | 25 | 15497571 | 6488298 | 1449 10993 | 19 | 64 853.56/853.79 c 853s | 25 | 15527808 | 6502298 | 1449 11012 | 19 | 64 855.55/855.79 c 855s | 25 | 15560282 | 6516798 | 1449 11031 | 19 | 64 857.65/857.80 c 857s | 25 | 15592071 | 6530798 | 1449 11050 | 19 | 64 859.65/859.81 c 859s | 25 | 15623857 | 6544898 | 1449 11069 | 19 | 64 861.66/861.81 c 861s | 25 | 15655041 | 6558998 | 1449 11087 | 19 | 64 863.66/863.81 c 863s | 25 | 15687213 | 6573698 | 1449 11107 | 19 | 64 865.67/865.82 c 865s | 25 | 15719474 | 6588398 | 1449 11126 | 19 | 64 867.66/867.83 c 867s | 25 | 15751774 | 6602998 | 1449 11146 | 19 | 64 869.66/869.84 c 869s | 25 | 15783195 | 6617198 | 1449 11164 | 19 | 64 871.66/871.84 c 871s | 25 | 15817034 | 6631198 | 1449 11183 | 19 | 64 873.66/873.85 c 873s | 25 | 15847643 | 6645198 | 1449 11202 | 19 | 64 875.65/875.86 c 875s | 25 | 15879070 | 6658798 | 1449 11220 | 19 | 64 877.66/877.87 c 877s | 25 | 15912030 | 6673798 | 1449 11240 | 19 | 64 879.65/879.88 c 879s | 25 | 15942045 | 6687998 | 1449 11258 | 19 | 64 881.65/881.88 c 881s | 25 | 15971329 | 6701898 | 1449 11277 | 19 | 64 883.65/883.89 c 883s | 25 | 16001735 | 6715798 | 1449 11295 | 19 | 64 885.65/885.89 c 885s | 25 | 16036159 | 6730798 | 1449 11315 | 19 | 64 887.75/887.90 c 887s | 25 | 16066861 | 6745398 | 1449 11335 | 19 | 64 889.76/889.91 c 889s | 25 | 16097155 | 6759098 | 1449 11353 | 19 | 64 891.75/891.91 c 891s | 25 | 16126565 | 6772498 | 1449 11371 | 19 | 64 893.75/893.91 c 893s | 25 | 16155654 | 6786298 | 1449 11389 | 19 | 64 895.75/895.92 c 895s | 25 | 16184678 | 6799898 | 1449 11407 | 19 | 64 897.75/897.92 c 897s | 25 | 16212706 | 6812598 | 1449 11424 | 19 | 64 899.76/899.93 c 899s | 25 | 16244381 | 6826698 | 1449 11443 | 19 | 64 901.75/901.93 c 901s | 25 | 16275418 | 6839998 | 1449 11460 | 19 | 64 903.75/903.95 c 903s | 25 | 16309076 | 6852998 | 1449 11478 | 19 | 64 905.75/905.96 c 905s | 25 | 16344156 | 6867298 | 1449 11497 | 19 | 64 907.75/907.97 c 907s | 25 | 16377838 | 6881798 | 1449 11516 | 19 | 64 909.75/909.97 c 909s | 25 | 16408479 | 6895498 | 1449 11534 | 19 | 64 911.75/911.98 c 911s | 25 | 16438936 | 6908498 | 1449 11551 | 19 | 64 913.75/913.99 c 913s | 25 | 16471042 | 6922798 | 1449 11570 | 19 | 64 915.84/916.00 c 915s | 25 | 16503337 | 6937898 | 1449 11590 | 19 | 64 917.84/918.01 c 917s | 25 | 16538009 | 6952698 | 1449 11610 | 19 | 64 919.84/920.02 c 919s | 25 | 16573221 | 6967398 | 1449 11630 | 19 | 64 921.84/922.02 c 921s | 25 | 16605548 | 6981998 | 1449 11649 | 19 | 64 923.85/924.03 c 923s | 25 | 16636017 | 6996198 | 1449 11668 | 19 | 64 925.84/926.03 c 925s | 25 | 16666712 | 7010398 | 1449 11687 | 19 | 64 927.84/928.04 c 927s | 25 | 16697899 | 7024198 | 1449 11705 | 19 | 64 929.84/930.05 c 930s | 25 | 16730853 | 7038498 | 1449 11724 | 19 | 64 931.84/932.06 c 932s | 25 | 16764759 | 7052898 | 1449 11743 | 19 | 64 933.85/934.07 c 934s | 25 | 16795921 | 7067498 | 1449 11763 | 19 | 64 935.84/936.07 c 936s | 25 | 16826768 | 7081598 | 1449 11781 | 19 | 64 937.84/938.09 c 938s | 25 | 16856272 | 7095398 | 1449 11800 | 19 | 64 939.84/940.09 c 940s | 25 | 16885718 | 7109298 | 1449 11818 | 19 | 64 941.94/942.10 c 942s | 25 | 16917054 | 7123498 | 1449 11837 | 19 | 64 943.94/944.10 c 944s | 25 | 16950323 | 7137498 | 1449 11856 | 19 | 64 945.95/946.10 c 946s | 25 | 16983325 | 7152098 | 1449 11875 | 19 | 64 947.95/948.11 c 948s | 25 | 17014736 | 7166598 | 1449 11894 | 19 | 64 949.95/950.12 c 950s | 25 | 17046701 | 7180698 | 1449 11913 | 19 | 64 951.94/952.12 c 952s | 25 | 17077771 | 7194398 | 1449 11931 | 19 | 64 953.94/954.12 c 954s | 25 | 17106166 | 7208198 | 1449 11950 | 19 | 64 955.94/956.12 c 956s | 25 | 17136373 | 7221898 | 1449 11968 | 19 | 64 957.95/958.13 c 958s | 25 | 17166863 | 7235398 | 1449 11986 | 19 | 64 959.94/960.13 c 960s | 25 | 17195992 | 7248898 | 1449 12004 | 19 | 64 961.94/962.14 c 962s | 25 | 17225717 | 7261998 | 1449 12021 | 19 | 64 963.94/964.14 c 964s | 25 | 17256300 | 7275598 | 1449 12039 | 19 | 64 965.93/966.16 c 966s | 25 | 17285421 | 7288998 | 1449 12057 | 19 | 64 967.94/968.17 c 968s | 25 | 17315230 | 7302898 | 1449 12076 | 19 | 64 969.93/970.17 c 970s | 25 | 17343903 | 7316098 | 1449 12093 | 19 | 64 971.93/972.18 c 972s | 25 | 17375681 | 7330298 | 1449 12112 | 19 | 64 973.93/974.18 c 974s | 25 | 17404557 | 7343798 | 1449 12130 | 19 | 64 975.92/976.19 c 976s | 25 | 17434188 | 7357698 | 1449 12148 | 19 | 64 978.02/978.20 c 978s | 25 | 17463026 | 7371398 | 1449 12167 | 19 | 64 980.03/980.20 c 980s | 25 | 17494524 | 7385098 | 1449 12185 | 19 | 64 982.02/982.21 c 982s | 25 | 17525628 | 7398898 | 1449 12203 | 19 | 64 984.02/984.21 c 984s | 25 | 17559141 | 7413598 | 1449 12223 | 19 | 64 986.02/986.22 c 986s | 25 | 17589670 | 7427998 | 1449 12242 | 19 | 64 988.02/988.23 c 988s | 25 | 17619773 | 7441898 | 1449 12260 | 19 | 64 990.02/990.24 c 990s | 25 | 17648648 | 7455498 | 1449 12278 | 19 | 64 992.02/992.25 c 992s | 25 | 17678138 | 7469098 | 1449 12297 | 19 | 64 994.02/994.27 c 994s | 25 | 17707054 | 7483098 | 1449 12315 | 19 | 64 996.02/996.27 c 996s | 25 | 17737423 | 7496798 | 1449 12333 | 19 | 64 998.02/998.28 c 998s | 25 | 17766669 | 7510298 | 1449 12351 | 19 | 64 1000.02/1000.29 c 1000s | 25 | 17795730 | 7523598 | 1449 12369 | 19 | 64 1002.12/1002.30 c 1002s | 25 | 17824683 | 7537298 | 1449 12387 | 19 | 64 1004.12/1004.30 c 1004s | 25 | 17857834 | 7551898 | 1594 12405 | 19 | 64 1006.12/1006.31 c 1006s | 25 | 17890620 | 7566198 | 1594 12423 | 19 | 64 1008.12/1008.32 c 1008s | 25 | 17920978 | 7580198 | 1594 12440 | 19 | 64 1010.12/1010.33 c 1010s | 25 | 17950153 | 7593898 | 1594 12456 | 19 | 64 1010.62/1010.89 c 1010s | 26 | 17958413 | 7597752 | 1594 12461 | 19 | 64 1012.71/1012.90 c 1012s | 26 | 17994669 | 7613952 | 1594 12481 | 19 | 64 1014.71/1014.90 c 1014s | 26 | 18028444 | 7629452 | 1594 12499 | 19 | 64 1016.71/1016.91 c 1016s | 26 | 18061384 | 7644552 | 1594 12518 | 19 | 64 1018.71/1018.91 c 1018s | 26 | 18095753 | 7659852 | 1594 12536 | 19 | 64 1020.71/1020.92 c 1020s | 26 | 18130145 | 7674452 | 1594 12554 | 19 | 64 1022.71/1022.92 c 1022s | 26 | 18164843 | 7689352 | 1594 12572 | 19 | 64 1024.71/1024.93 c 1024s | 26 | 18200145 | 7704652 | 1594 12590 | 19 | 64 1026.70/1026.94 c 1026s | 26 | 18235241 | 7719452 | 1594 12608 | 19 | 64 1028.70/1028.94 c 1028s | 26 | 18273323 | 7734652 | 1594 12626 | 19 | 64 1030.70/1030.95 c 1030s | 26 | 18305639 | 7749152 | 1594 12644 | 19 | 64 1032.71/1032.96 c 1032s | 26 | 18336712 | 7762952 | 1594 12661 | 19 | 64 1034.70/1034.96 c 1034s | 26 | 18368597 | 7776652 | 1594 12677 | 19 | 64 1036.70/1036.98 c 1036s | 26 | 18403252 | 7791152 | 1594 12695 | 19 | 64 1038.70/1038.99 c 1038s | 26 | 18439750 | 7806352 | 1594 12713 | 19 | 64 1040.80/1041.00 c 1040s | 26 | 18475323 | 7821252 | 1594 12731 | 19 | 64 1042.80/1043.01 c 1042s | 26 | 18510022 | 7836452 | 1594 12749 | 19 | 64 1044.80/1045.01 c 1044s | 26 | 18545587 | 7850952 | 1594 12767 | 19 | 64 1046.79/1047.01 c 1046s | 26 | 18583147 | 7865652 | 1594 12785 | 19 | 64 1048.79/1049.02 c 1048s | 26 | 18620712 | 7880652 | 1594 12803 | 19 | 64 1050.79/1051.02 c 1050s | 26 | 18653213 | 7895252 | 1594 12820 | 19 | 64 1052.79/1053.03 c 1052s | 26 | 18685856 | 7909752 | 1594 12838 | 19 | 64 1054.79/1055.03 c 1054s | 26 | 18719535 | 7924352 | 1594 12856 | 19 | 64 1056.79/1057.04 c 1056s | 26 | 18753120 | 7938552 | 1594 12873 | 19 | 64 1058.79/1059.04 c 1058s | 26 | 18787037 | 7953352 | 1594 12891 | 19 | 64 1060.78/1061.05 c 1060s | 26 | 18820931 | 7968052 | 1594 12908 | 19 | 64 1062.78/1063.06 c 1063s | 26 | 18854931 | 7982252 | 1594 12926 | 19 | 64 1064.78/1065.07 c 1065s | 26 | 18888950 | 7996752 | 1594 12943 | 19 | 64 1066.79/1067.09 c 1067s | 26 | 18922134 | 8011752 | 1594 12961 | 19 | 64 1068.88/1069.10 c 1069s | 26 | 18958635 | 8027052 | 1594 12980 | 19 | 64 1070.88/1071.11 c 1071s | 26 | 18992589 | 8041852 | 1594 12998 | 19 | 64 1072.88/1073.11 c 1073s | 26 | 19031928 | 8056552 | 1594 13015 | 19 | 64 1074.89/1075.11 c 1075s | 26 | 19066235 | 8071452 | 1594 13033 | 19 | 64 1076.89/1077.12 c 1077s | 26 | 19100735 | 8086552 | 1594 13052 | 19 | 64 1078.89/1079.12 c 1079s | 26 | 19134465 | 8101152 | 1594 13069 | 19 | 64 1080.88/1081.13 c 1081s | 26 | 19167787 | 8115252 | 1594 13086 | 19 | 64 1082.88/1083.13 c 1083s | 26 | 19198401 | 8128752 | 1594 13103 | 19 | 64 1084.88/1085.14 c 1085s | 26 | 19232656 | 8143452 | 1594 13121 | 19 | 64 1086.88/1087.15 c 1087s | 26 | 19264708 | 8157952 | 1594 13138 | 19 | 64 1088.89/1089.16 c 1089s | 26 | 19294950 | 8172252 | 1594 13155 | 19 | 64 1090.88/1091.17 c 1091s | 26 | 19331014 | 8187452 | 1594 13174 | 19 | 64 1092.88/1093.17 c 1093s | 26 | 19369831 | 8202752 | 1594 13192 | 19 | 64 1094.88/1095.18 c 1095s | 26 | 19405771 | 8217452 | 1594 13210 | 19 | 64 1096.88/1097.19 c 1097s | 26 | 19439454 | 8232752 | 1594 13229 | 19 | 64 1098.88/1099.19 c 1099s | 26 | 19471856 | 8247452 | 1594 13246 | 19 | 64 1100.88/1101.20 c 1101s | 26 | 19507000 | 8262652 | 1594 13265 | 19 | 64 1102.97/1103.21 c 1103s | 26 | 19541416 | 8277252 | 1594 13282 | 19 | 64 1104.97/1105.21 c 1105s | 26 | 19576110 | 8291652 | 1594 13300 | 19 | 64 1106.97/1107.22 c 1107s | 26 | 19612055 | 8306152 | 1594 13317 | 19 | 64 1108.97/1109.23 c 1109s | 26 | 19642237 | 8320652 | 1594 13335 | 19 | 64 1110.97/1111.23 c 1111s | 26 | 19674082 | 8334952 | 1594 13352 | 19 | 64 1112.97/1113.24 c 1113s | 26 | 19704937 | 8349052 | 1594 13369 | 19 | 64 1114.97/1115.24 c 1115s | 26 | 19739073 | 8363852 | 1594 13387 | 19 | 64 1116.96/1117.25 c 1117s | 26 | 19771828 | 8377952 | 1594 13404 | 19 | 64 1118.96/1119.25 c 1119s | 26 | 19810398 | 8392852 | 1594 13422 | 19 | 64 1120.96/1121.26 c 1121s | 26 | 19846836 | 8408252 | 1594 13441 | 19 | 64 1122.97/1123.27 c 1123s | 26 | 19881720 | 8423452 | 1594 13459 | 19 | 64 1124.96/1125.27 c 1125s | 26 | 19919057 | 8439152 | 1594 13478 | 19 | 64 1126.97/1127.27 c 1127s | 26 | 19954047 | 8453952 | 1594 13496 | 19 | 64 1128.97/1129.28 c 1129s | 26 | 19988595 | 8468052 | 1594 13513 | 19 | 64 1130.97/1131.28 c 1131s | 26 | 20024006 | 8482652 | 1594 13531 | 19 | 64 1132.96/1133.28 c 1133s | 26 | 20059914 | 8497752 | 1594 13549 | 19 | 64 1134.97/1135.29 c 1135s | 26 | 20094665 | 8512152 | 1594 13567 | 19 | 64 1136.96/1137.30 c 1137s | 26 | 20128206 | 8526152 | 1594 13584 | 19 | 64 1139.06/1139.31 c 1139s | 26 | 20164797 | 8541052 | 1594 13602 | 19 | 64 1141.06/1141.31 c 1141s | 26 | 20201684 | 8556152 | 1594 13620 | 19 | 64 1143.06/1143.32 c 1143s | 26 | 20235894 | 8571052 | 1594 13638 | 19 | 64 1145.06/1145.33 c 1145s | 26 | 20268054 | 8585652 | 1594 13656 | 19 | 64 1147.06/1147.33 c 1147s | 26 | 20304690 | 8600552 | 1594 13674 | 19 | 64 1149.05/1149.34 c 1149s | 26 | 20341169 | 8615752 | 1594 13692 | 19 | 64 1151.05/1151.35 c 1151s | 26 | 20376053 | 8630552 | 1594 13710 | 19 | 64 1153.05/1153.35 c 1153s | 26 | 20410109 | 8644652 | 1594 13727 | 19 | 64 1155.05/1155.35 c 1155s | 26 | 20446308 | 8659152 | 1594 13745 | 19 | 64 1157.06/1157.36 c 1157s | 26 | 20480475 | 8673652 | 1594 13762 | 19 | 64 1159.05/1159.36 c 1159s | 26 | 20512446 | 8688052 | 1594 13780 | 19 | 64 1161.05/1161.36 c 1161s | 26 | 20546359 | 8702852 | 1594 13797 | 19 | 64 1163.05/1163.37 c 1163s | 26 | 20579525 | 8717852 | 1594 13816 | 19 | 64 1165.05/1165.37 c 1165s | 26 | 20615119 | 8732652 | 1594 13834 | 19 | 64 1167.05/1167.37 c 1167s | 26 | 20648899 | 8747552 | 1594 13852 | 19 | 64 1169.05/1169.38 c 1169s | 26 | 20682197 | 8762252 | 1594 13869 | 19 | 64 1171.04/1171.39 c 1171s | 26 | 20715020 | 8776652 | 1594 13887 | 19 | 64 1173.14/1173.40 c 1173s | 26 | 20746399 | 8791152 | 1594 13904 | 19 | 64 1175.14/1175.40 c 1175s | 26 | 20784991 | 8806552 | 1594 13923 | 19 | 64 1177.14/1177.41 c 1177s | 26 | 20823149 | 8822552 | 1594 13942 | 19 | 64 1179.14/1179.42 c 1179s | 26 | 20863289 | 8838352 | 1594 13961 | 19 | 64 1181.14/1181.42 c 1181s | 26 | 20900403 | 8854452 | 1594 13981 | 19 | 64 1183.14/1183.43 c 1183s | 26 | 20936520 | 8870452 | 1594 14000 | 19 | 64 1185.14/1185.43 c 1185s | 26 | 20971079 | 8885852 | 1594 14019 | 19 | 64 1187.14/1187.45 c 1187s | 26 | 21007817 | 8901352 | 1594 14038 | 19 | 64 1189.14/1189.45 c 1189s | 26 | 21044819 | 8916652 | 1594 14056 | 19 | 64 1191.14/1191.46 c 1191s | 26 | 21081549 | 8932052 | 1594 14075 | 19 | 64 1193.13/1193.47 c 1193s | 26 | 21115405 | 8947352 | 1594 14093 | 19 | 64 1195.13/1195.48 c 1195s | 26 | 21152002 | 8962952 | 1594 14112 | 19 | 64 1197.13/1197.49 c 1197s | 26 | 21185439 | 8978252 | 1594 14131 | 19 | 64 1199.23/1199.50 c 1199s | 26 | 21219866 | 8993352 | 1594 14149 | 19 | 64 1201.23/1201.51 c 1201s | 26 | 21253645 | 9008352 | 1594 14167 | 19 | 64 1203.23/1203.51 c 1203s | 26 | 21289576 | 9023752 | 1594 14186 | 19 | 64 1205.23/1205.52 c 1205s | 26 | 21327835 | 9039552 | 1594 14205 | 19 | 64 1207.23/1207.52 c 1207s | 26 | 21362452 | 9054352 | 1594 14223 | 19 | 64 1209.23/1209.52 c 1209s | 26 | 21397749 | 9069652 | 1594 14241 | 19 | 64 1211.22/1211.53 c 1211s | 26 | 21432127 | 9084852 | 1594 14260 | 19 | 64 1213.23/1213.54 c 1213s | 26 | 21463908 | 9099952 | 1594 14278 | 19 | 64 1215.24/1215.55 c 1215s | 26 | 21497008 | 9114752 | 1594 14296 | 19 | 64 1217.23/1217.56 c 1217s | 26 | 21534068 | 9130652 | 1594 14315 | 19 | 64 1219.23/1219.57 c 1219s | 26 | 21569592 | 9145752 | 1594 14333 | 19 | 64 1221.22/1221.57 c 1221s | 26 | 21605428 | 9161352 | 1594 14352 | 19 | 64 1223.22/1223.57 c 1223s | 26 | 21644155 | 9176852 | 1594 14371 | 19 | 64 1225.23/1225.59 c 1225s | 26 | 21682729 | 9192652 | 1594 14390 | 19 | 64 1227.22/1227.59 c 1227s | 26 | 21718754 | 9207652 | 1594 14408 | 19 | 64 1229.32/1229.60 c 1229s | 26 | 21754042 | 9222752 | 1594 14427 | 19 | 64 1231.32/1231.61 c 1231s | 26 | 21787009 | 9238052 | 1594 14445 | 19 | 64 1233.32/1233.61 c 1233s | 26 | 21824043 | 9253552 | 1594 14464 | 19 | 64 1235.32/1235.61 c 1235s | 26 | 21862187 | 9269252 | 1594 14483 | 19 | 64 1237.32/1237.62 c 1237s | 26 | 21899696 | 9284252 | 1594 14501 | 19 | 64 1239.32/1239.63 c 1239s | 26 | 21934663 | 9298952 | 1594 14519 | 19 | 64 1241.31/1241.63 c 1241s | 26 | 21972800 | 9314252 | 1594 14537 | 19 | 64 1243.31/1243.64 c 1243s | 26 | 22008273 | 9329652 | 1594 14556 | 19 | 64 1245.31/1245.65 c 1245s | 26 | 22042938 | 9344552 | 1594 14574 | 19 | 64 1247.31/1247.66 c 1247s | 26 | 22077128 | 9359052 | 1594 14592 | 19 | 64 1249.32/1249.66 c 1249s | 26 | 22112810 | 9373752 | 1594 14609 | 19 | 64 1251.30/1251.67 c 1251s | 26 | 22149169 | 9388052 | 1594 14627 | 19 | 64 1253.30/1253.68 c 1253s | 26 | 22186777 | 9402652 | 1594 14644 | 19 | 64 1255.30/1255.69 c 1255s | 26 | 22221509 | 9417152 | 1594 14662 | 19 | 64 1257.30/1257.69 c 1257s | 26 | 22255154 | 9431352 | 1594 14679 | 19 | 64 1259.31/1259.69 c 1259s | 26 | 22288341 | 9445852 | 1594 14697 | 19 | 64 1261.30/1261.70 c 1261s | 26 | 22322596 | 9460252 | 1594 14714 | 19 | 64 1263.40/1263.71 c 1263s | 26 | 22356727 | 9475452 | 1594 14733 | 19 | 64 1265.40/1265.72 c 1265s | 26 | 22392077 | 9489952 | 1594 14750 | 19 | 64 1267.40/1267.73 c 1267s | 26 | 22429698 | 9505152 | 1594 14769 | 19 | 64 1269.40/1269.74 c 1269s | 26 | 22464992 | 9520352 | 1594 14787 | 19 | 64 1271.40/1271.75 c 1271s | 26 | 22502082 | 9535152 | 1594 14805 | 19 | 64 1273.39/1273.75 c 1273s | 26 | 22540644 | 9550652 | 1594 14824 | 19 | 64 1275.39/1275.76 c 1275s | 26 | 22574236 | 9565552 | 1594 14842 | 19 | 64 1277.39/1277.76 c 1277s | 26 | 22607870 | 9579852 | 1594 14859 | 19 | 64 1279.39/1279.76 c 1279s | 26 | 22640966 | 9593952 | 1594 14876 | 19 | 64 1281.39/1281.77 c 1281s | 26 | 22672009 | 9607752 | 1594 14893 | 19 | 64 1283.40/1283.78 c 1283s | 26 | 22705436 | 9622152 | 1594 14910 | 19 | 64 1285.39/1285.78 c 1285s | 26 | 22741229 | 9636952 | 1594 14928 | 19 | 64 1287.49/1287.80 c 1287s | 26 | 22774349 | 9651752 | 1594 14946 | 19 | 64 1289.49/1289.80 c 1289s | 26 | 22806409 | 9666452 | 1594 14964 | 19 | 64 1291.49/1291.81 c 1291s | 26 | 22839452 | 9681352 | 1594 14982 | 19 | 64 1293.49/1293.82 c 1293s | 26 | 22875225 | 9696752 | 1594 15001 | 19 | 64 1295.49/1295.82 c 1295s | 26 | 22911309 | 9711752 | 1594 15019 | 19 | 64 1297.48/1297.84 c 1297s | 26 | 22946169 | 9726552 | 1594 15037 | 19 | 64 1299.48/1299.84 c 1299s | 26 | 22983256 | 9741252 | 1594 15055 | 19 | 64 1301.48/1301.85 c 1301s | 26 | 23017964 | 9756052 | 1594 15073 | 19 | 64 1303.48/1303.85 c 1303s | 26 | 23051404 | 9770552 | 1594 15090 | 19 | 64 1305.48/1305.86 c 1305s | 26 | 23085658 | 9785052 | 1594 15108 | 19 | 64 1307.47/1307.87 c 1307s | 26 | 23123901 | 9800652 | 1594 15127 | 19 | 64 1309.48/1309.88 c 1309s | 26 | 23158702 | 9815552 | 1594 15145 | 19 | 64 1311.48/1311.89 c 1311s | 26 | 23191058 | 9829652 | 1594 15162 | 19 | 64 1313.58/1313.90 c 1313s | 26 | 23226195 | 9844152 | 1594 15179 | 19 | 64 1315.58/1315.91 c 1315s | 26 | 23264539 | 9858752 | 1594 15197 | 19 | 64 1317.58/1317.92 c 1317s | 26 | 23300873 | 9873152 | 1594 15215 | 19 | 64 1319.57/1319.92 c 1319s | 26 | 23336496 | 9887552 | 1594 15232 | 19 | 64 1321.57/1321.93 c 1321s | 26 | 23373186 | 9902352 | 1594 15250 | 19 | 64 1323.57/1323.93 c 1323s | 26 | 23406508 | 9917252 | 1594 15268 | 19 | 64 1325.57/1325.94 c 1325s | 26 | 23435347 | 9931352 | 1594 15285 | 19 | 64 1327.57/1327.95 c 1327s | 26 | 23466628 | 9945852 | 1594 15303 | 19 | 64 1329.58/1329.96 c 1329s | 26 | 23500898 | 9960552 | 1594 15321 | 19 | 64 1331.57/1331.97 c 1331s | 26 | 23535649 | 9975652 | 1594 15339 | 19 | 64 1333.56/1333.98 c 1333s | 26 | 23570273 | 9990952 | 1594 15357 | 19 | 64 1335.57/1335.98 c 1335s | 26 | 23602120 | 10006252 | 1594 15376 | 19 | 64 1337.56/1337.99 c 1337s | 26 | 23639703 | 10021052 | 1594 15394 | 19 | 64 1339.66/1340.00 c 1339s | 26 | 23675667 | 10035452 | 1594 15411 | 19 | 64 1341.56/1342.00 c 1341s | 26 | 23709590 | 10049752 | 1594 15428 | 19 | 64 1343.66/1344.01 c 1343s | 26 | 23744349 | 10064652 | 1594 15446 | 19 | 64 1345.66/1346.02 c 1345s | 26 | 23779358 | 10079652 | 1594 15465 | 19 | 64 1347.66/1348.03 c 1347s | 26 | 23811281 | 10094052 | 1594 15482 | 19 | 64 1349.66/1350.03 c 1349s | 26 | 23847800 | 10109452 | 1594 15501 | 19 | 64 1351.66/1352.04 c 1351s | 26 | 23883658 | 10124652 | 1594 15519 | 19 | 64 1353.65/1354.05 c 1354s | 26 | 23919089 | 10139352 | 1594 15537 | 19 | 64 1355.65/1356.06 c 1356s | 26 | 23953466 | 10154152 | 1594 15555 | 19 | 64 1357.65/1358.06 c 1358s | 26 | 23987769 | 10168652 | 1594 15572 | 19 | 64 1359.66/1360.08 c 1360s | 26 | 24025652 | 10183652 | 1594 15590 | 19 | 64 1361.65/1362.08 c 1362s | 26 | 24061817 | 10198052 | 1594 15608 | 19 | 64 1363.66/1364.09 c 1364s | 26 | 24095303 | 10212852 | 1594 15626 | 19 | 64 1365.75/1366.10 c 1366s | 26 | 24129136 | 10227452 | 1594 15643 | 19 | 64 1367.75/1368.10 c 1368s | 26 | 24163682 | 10241952 | 1594 15661 | 19 | 64 1369.75/1370.11 c 1370s | 26 | 24200098 | 10257352 | 1594 15680 | 19 | 64 1371.75/1372.13 c 1372s | 26 | 24233785 | 10272052 | 1594 15697 | 19 | 64 1373.75/1374.14 c 1374s | 26 | 24266963 | 10286452 | 1594 15715 | 19 | 64 1375.75/1376.15 c 1376s | 26 | 24301345 | 10301152 | 1594 15733 | 19 | 64 1377.75/1378.16 c 1378s | 26 | 24336797 | 10316052 | 1594 15751 | 19 | 64 1379.75/1380.17 c 1380s | 26 | 24372739 | 10330652 | 1594 15768 | 19 | 64 1381.74/1382.17 c 1382s | 26 | 24403826 | 10344852 | 1594 15786 | 19 | 64 1383.74/1384.18 c 1384s | 26 | 24439143 | 10359552 | 1594 15803 | 19 | 64 1385.75/1386.18 c 1386s | 26 | 24475213 | 10374252 | 1594 15821 | 19 | 64 1387.74/1388.19 c 1388s | 26 | 24511538 | 10389252 | 1594 15839 | 19 | 64 1389.84/1390.20 c 1390s | 26 | 24547466 | 10404152 | 1594 15858 | 19 | 64 1391.84/1392.20 c 1392s | 26 | 24584164 | 10419252 | 1594 15876 | 19 | 64 1393.84/1394.22 c 1394s | 26 | 24617286 | 10433852 | 1594 15894 | 19 | 64 1395.83/1396.22 c 1396s | 26 | 24649607 | 10447952 | 1594 15911 | 19 | 64 1397.84/1398.23 c 1398s | 26 | 24682464 | 10462052 | 1594 15928 | 19 | 64 1399.83/1400.24 c 1400s | 26 | 24714939 | 10476052 | 1594 15945 | 19 | 64 1401.83/1402.26 c 1402s | 26 | 24748200 | 10490752 | 1594 15963 | 19 | 64 1403.83/1404.27 c 1404s | 26 | 24780902 | 10505752 | 1594 15981 | 19 | 64 1405.83/1406.27 c 1406s | 26 | 24812809 | 10520752 | 1594 15999 | 19 | 64 1407.83/1408.27 c 1408s | 26 | 24848486 | 10535852 | 1594 16017 | 19 | 64 1409.83/1410.28 c 1410s | 26 | 24882115 | 10550752 | 1594 16035 | 19 | 64 1411.82/1412.28 c 1412s | 26 | 24915134 | 10565352 | 1594 16053 | 19 | 64 1413.82/1414.29 c 1414s | 26 | 24946762 | 10579952 | 1594 16071 | 19 | 64 1415.82/1416.29 c 1416s | 26 | 24977908 | 10594752 | 1594 16089 | 19 | 64 1417.82/1418.29 c 1418s | 26 | 25009115 | 10609352 | 1594 16106 | 19 | 64 1419.83/1420.29 c 1420s | 26 | 25044694 | 10624652 | 1594 16125 | 19 | 64 1421.82/1422.30 c 1422s | 26 | 25080623 | 10640752 | 1594 16144 | 19 | 64 1423.92/1424.31 c 1424s | 26 | 25116358 | 10656552 | 1594 16163 | 19 | 64 1425.92/1426.32 c 1426s | 26 | 25150018 | 10671752 | 1594 16182 | 19 | 64 1427.92/1428.34 c 1428s | 26 | 25184248 | 10687052 | 1594 16200 | 19 | 64 1429.92/1430.35 c 1430s | 26 | 25220187 | 10702652 | 1594 16219 | 19 | 64 1431.92/1432.36 c 1432s | 26 | 25253711 | 10717652 | 1594 16237 | 19 | 64 1433.91/1434.36 c 1434s | 26 | 25287488 | 10732252 | 1594 16255 | 19 | 64 1435.91/1436.37 c 1436s | 26 | 25322855 | 10747652 | 1594 16273 | 19 | 64 1437.91/1438.38 c 1438s | 26 | 25357754 | 10762852 | 1594 16292 | 19 | 64 1439.92/1440.39 c 1440s | 26 | 25393487 | 10777952 | 1594 16310 | 19 | 64 1441.92/1442.39 c 1442s | 26 | 25425456 | 10792552 | 1594 16328 | 19 | 64 1443.92/1444.39 c 1444s | 26 | 25461552 | 10807952 | 1594 16346 | 19 | 64 1445.92/1446.39 c 1446s | 26 | 25496583 | 10823052 | 1594 16365 | 19 | 64 1448.01/1448.40 c 1448s | 26 | 25529965 | 10838152 | 1594 16383 | 19 | 64 1450.01/1450.40 c 1450s | 26 | 25563186 | 10852952 | 1594 16401 | 19 | 64 1452.01/1452.41 c 1452s | 26 | 25594259 | 10867752 | 1594 16419 | 19 | 64 1454.01/1454.42 c 1454s | 26 | 25626017 | 10882552 | 1594 16437 | 19 | 64 1456.01/1456.42 c 1456s | 26 | 25663356 | 10898052 | 1594 16455 | 19 | 64 1458.01/1458.42 c 1458s | 26 | 25695928 | 10913252 | 1594 16474 | 19 | 64 1460.01/1460.43 c 1460s | 26 | 25729499 | 10928452 | 1594 16492 | 19 | 64 1462.00/1462.44 c 1462s | 26 | 25765690 | 10944352 | 1594 16511 | 19 | 64 1464.00/1464.44 c 1464s | 26 | 25799813 | 10959352 | 1594 16530 | 19 | 64 1466.01/1466.45 c 1466s | 26 | 25831852 | 10974152 | 1594 16548 | 19 | 64 1468.00/1468.45 c 1468s | 26 | 25867219 | 10989152 | 1594 16566 | 19 | 64 1470.00/1470.46 c 1470s | 26 | 25903076 | 11004052 | 1594 16584 | 19 | 64 1471.99/1472.46 c 1472s | 26 | 25938928 | 11019852 | 1594 16603 | 19 | 64 1473.99/1474.47 c 1474s | 26 | 25976307 | 11035752 | 1594 16622 | 19 | 64 1475.99/1476.47 c 1476s | 26 | 26013116 | 11051352 | 1594 16641 | 19 | 64 1478.01/1478.48 c 1478s | 26 | 26051166 | 11066852 | 1594 16660 | 19 | 64 1480.00/1480.49 c 1480s | 26 | 26088022 | 11082552 | 1594 16679 | 19 | 64 1482.00/1482.49 c 1482s | 26 | 26125730 | 11097352 | 1594 16697 | 19 | 64 1484.09/1484.50 c 1484s | 26 | 26162053 | 11112652 | 1594 16715 | 19 | 64 1486.09/1486.51 c 1486s | 26 | 26199324 | 11127952 | 1594 16734 | 19 | 64 1488.09/1488.51 c 1488s | 26 | 26234211 | 11142952 | 1594 16752 | 19 | 64 1490.10/1490.52 c 1490s | 26 | 26269684 | 11157152 | 1594 16769 | 19 | 64 1492.09/1492.53 c 1492s | 26 | 26303867 | 11171252 | 1594 16786 | 19 | 64 1494.08/1494.53 c 1494s | 26 | 26335891 | 11185052 | 1594 16803 | 19 | 64 1496.08/1496.54 c 1496s | 26 | 26369714 | 11199752 | 1594 16821 | 19 | 64 1498.08/1498.54 c 1498s | 26 | 26401585 | 11214652 | 1594 16839 | 19 | 64 1500.09/1500.54 c 1500s | 26 | 26432724 | 11229452 | 1594 16857 | 19 | 64 1502.08/1502.56 c 1502s | 26 | 26466627 | 11244252 | 1594 16874 | 19 | 64 1504.08/1504.56 c 1504s | 26 | 26501668 | 11259152 | 1594 16892 | 19 | 64 1506.08/1506.56 c 1506s | 26 | 26537966 | 11274752 | 1594 16911 | 19 | 64 1508.08/1508.57 c 1508s | 26 | 26575589 | 11289852 | 1594 16930 | 19 | 64 1510.08/1510.58 c 1510s | 26 | 26610102 | 11304752 | 1594 16948 | 19 | 64 1512.08/1512.60 c 1512s | 26 | 26642226 | 11319252 | 1754 16965 | 19 | 64 1514.17/1514.61 c 1514s | 26 | 26673210 | 11333452 | 1754 16980 | 19 | 64 1516.17/1516.62 c 1516s | 26 | 26707641 | 11348252 | 1754 16996 | 19 | 64 1518.18/1518.62 c 1518s | 26 | 26742870 | 11363852 | 1754 17014 | 19 | 64 1520.18/1520.64 c 1520s | 26 | 26775023 | 11378452 | 1754 17030 | 19 | 64 1522.17/1522.65 c 1522s | 26 | 26808524 | 11393452 | 1754 17046 | 19 | 64 1522.68/1523.10 c 1523s | 27 | 26815755 | 11396733 | 1754 17050 | 19 | 64 1524.67/1525.11 c 1525s | 27 | 26854082 | 11413133 | 1754 17068 | 19 | 64 1526.67/1527.11 c 1527s | 27 | 26891950 | 11428933 | 1754 17085 | 19 | 64 1528.68/1529.13 c 1529s | 27 | 26930603 | 11444733 | 1754 17103 | 19 | 64 1530.67/1531.13 c 1531s | 27 | 26966319 | 11459833 | 1754 17119 | 19 | 64 1532.67/1533.14 c 1533s | 27 | 27001455 | 11474933 | 1754 17136 | 19 | 64 1534.67/1535.15 c 1535s | 27 | 27038073 | 11490533 | 1754 17153 | 19 | 64 1536.67/1537.17 c 1537s | 27 | 27075886 | 11506333 | 1754 17171 | 19 | 64 1538.67/1539.17 c 1539s | 27 | 27112198 | 11522033 | 1754 17188 | 19 | 64 1540.67/1541.18 c 1541s | 27 | 27147768 | 11537833 | 1754 17205 | 19 | 64 1542.66/1543.19 c 1543s | 27 | 27182483 | 11553033 | 1754 17222 | 19 | 64 1544.66/1545.19 c 1545s | 27 | 27217836 | 11568333 | 1754 17239 | 19 | 64 1546.66/1547.19 c 1547s | 27 | 27255394 | 11583733 | 1754 17256 | 19 | 64 1548.66/1549.19 c 1549s | 27 | 27292233 | 11598533 | 1754 17272 | 19 | 64 1550.76/1551.20 c 1551s | 27 | 27328058 | 11613333 | 1754 17288 | 19 | 64 1552.76/1553.21 c 1553s | 27 | 27362798 | 11627533 | 1754 17304 | 19 | 64 1554.75/1555.22 c 1555s | 27 | 27397327 | 11642333 | 1754 17320 | 19 | 64 1556.75/1557.23 c 1557s | 27 | 27436224 | 11657933 | 1754 17338 | 19 | 64 1558.75/1559.24 c 1559s | 27 | 27469906 | 11672533 | 1754 17354 | 19 | 64 1560.75/1561.24 c 1561s | 27 | 27505211 | 11687433 | 1754 17370 | 19 | 64 1562.76/1563.25 c 1563s | 27 | 27542174 | 11701533 | 1754 17386 | 19 | 64 1564.75/1565.26 c 1565s | 27 | 27577812 | 11716333 | 1754 17402 | 19 | 64 1566.75/1567.27 c 1567s | 27 | 27613062 | 11730733 | 1754 17418 | 19 | 64 1568.75/1569.28 c 1569s | 27 | 27646777 | 11745633 | 1754 17434 | 19 | 64 1570.75/1571.28 c 1571s | 27 | 27682599 | 11760433 | 1754 17451 | 19 | 64 1572.75/1573.29 c 1573s | 27 | 27719326 | 11775533 | 1754 17467 | 19 | 64 1574.76/1575.30 c 1575s | 27 | 27755754 | 11790633 | 1754 17484 | 19 | 64 1576.85/1577.31 c 1577s | 27 | 27791411 | 11805233 | 1754 17500 | 19 | 64 1578.85/1579.32 c 1579s | 27 | 27827020 | 11820433 | 1754 17517 | 19 | 64 1580.85/1581.32 c 1581s | 27 | 27863507 | 11835333 | 1754 17533 | 19 | 64 1582.85/1583.33 c 1583s | 27 | 27899710 | 11850033 | 1754 17549 | 19 | 64 1584.85/1585.33 c 1585s | 27 | 27934556 | 11864933 | 1754 17566 | 19 | 64 1586.85/1587.33 c 1587s | 27 | 27972408 | 11880333 | 1754 17583 | 19 | 64 1588.84/1589.33 c 1589s | 27 | 28007937 | 11895533 | 1754 17599 | 19 | 64 1590.84/1591.34 c 1591s | 27 | 28045396 | 11910433 | 1754 17616 | 19 | 64 1592.84/1593.35 c 1593s | 27 | 28080376 | 11925433 | 1754 17632 | 19 | 64 1594.84/1595.35 c 1595s | 27 | 28115261 | 11940633 | 1754 17649 | 19 | 64 1596.85/1597.36 c 1597s | 27 | 28154065 | 11955833 | 1754 17666 | 19 | 64 1598.84/1599.36 c 1599s | 27 | 28190014 | 11970833 | 1754 17682 | 19 | 64 1600.84/1601.37 c 1601s | 27 | 28224149 | 11985733 | 1754 17699 | 19 | 64 1602.84/1603.37 c 1603s | 27 | 28258317 | 12000933 | 1754 17716 | 19 | 64 1604.84/1605.38 c 1605s | 27 | 28293073 | 12016033 | 1754 17732 | 19 | 64 1606.84/1607.39 c 1607s | 27 | 28328547 | 12030833 | 1754 17748 | 19 | 64 1608.84/1609.39 c 1609s | 27 | 28362514 | 12045533 | 1754 17765 | 19 | 64 1610.93/1611.40 c 1611s | 27 | 28399900 | 12060333 | 1754 17781 | 19 | 64 1612.93/1613.41 c 1613s | 27 | 28435966 | 12075333 | 1754 17798 | 19 | 64 1614.93/1615.41 c 1615s | 27 | 28470003 | 12090533 | 1754 17814 | 19 | 64 1616.93/1617.42 c 1617s | 27 | 28506679 | 12105833 | 1754 17831 | 19 | 64 1618.93/1619.43 c 1619s | 27 | 28541435 | 12120833 | 1754 17848 | 19 | 64 1620.93/1621.43 c 1621s | 27 | 28576617 | 12135533 | 1754 17864 | 19 | 64 1622.93/1623.44 c 1623s | 27 | 28612327 | 12150133 | 1754 17880 | 19 | 64 1624.93/1625.45 c 1625s | 27 | 28647355 | 12165033 | 1754 17896 | 19 | 64 1626.93/1627.45 c 1627s | 27 | 28678971 | 12179133 | 1754 17912 | 19 | 64 1628.94/1629.47 c 1629s | 27 | 28716963 | 12193633 | 1754 17928 | 19 | 64 1630.94/1631.48 c 1631s | 27 | 28751883 | 12207633 | 1754 17944 | 19 | 64 1632.93/1633.49 c 1633s | 27 | 28786939 | 12222833 | 1754 17960 | 19 | 64 1635.03/1635.50 c 1635s | 27 | 28821745 | 12237533 | 1754 17976 | 19 | 64 1637.03/1637.50 c 1637s | 27 | 28856799 | 12251733 | 1754 17992 | 19 | 64 1639.03/1639.51 c 1639s | 27 | 28895895 | 12266433 | 1754 18008 | 19 | 64 1641.03/1641.52 c 1641s | 27 | 28932975 | 12280633 | 1754 18024 | 19 | 64 1643.04/1643.53 c 1643s | 27 | 28969151 | 12294633 | 1754 18040 | 19 | 64 1645.03/1645.53 c 1645s | 27 | 29003640 | 12308933 | 1754 18055 | 19 | 64 1647.03/1647.53 c 1647s | 27 | 29039590 | 12324233 | 1754 18072 | 19 | 64 1649.03/1649.54 c 1649s | 27 | 29073393 | 12338633 | 1754 18088 | 19 | 64 1651.03/1651.54 c 1651s | 27 | 29107827 | 12353533 | 1754 18104 | 19 | 64 1653.03/1653.55 c 1653s | 27 | 29142907 | 12368933 | 1754 18121 | 19 | 64 1655.03/1655.55 c 1655s | 27 | 29178020 | 12384033 | 1754 18138 | 19 | 64 1657.03/1657.57 c 1657s | 27 | 29212375 | 12398933 | 1754 18155 | 19 | 64 1659.03/1659.57 c 1659s | 27 | 29245378 | 12413233 | 1754 18170 | 19 | 64 1661.02/1661.58 c 1661s | 27 | 29279075 | 12427933 | 1754 18187 | 19 | 64 1663.02/1663.58 c 1663s | 27 | 29314434 | 12442633 | 1754 18203 | 19 | 64 1665.03/1665.59 c 1665s | 27 | 29347310 | 12456733 | 1754 18218 | 19 | 64 1667.02/1667.60 c 1667s | 27 | 29380283 | 12470933 | 1754 18234 | 19 | 64 1669.12/1669.60 c 1669s | 27 | 29412641 | 12485233 | 1754 18250 | 19 | 64 1671.12/1671.61 c 1671s | 27 | 29445249 | 12499733 | 1754 18266 | 19 | 64 1673.12/1673.62 c 1673s | 27 | 29477964 | 12514133 | 1754 18282 | 19 | 64 1675.13/1675.62 c 1675s | 27 | 29511041 | 12528633 | 1754 18298 | 19 | 64 1677.14/1677.63 c 1677s | 27 | 29547039 | 12543533 | 1754 18314 | 19 | 64 1679.13/1679.63 c 1679s | 27 | 29580075 | 12557133 | 1754 18329 | 19 | 64 1681.13/1681.64 c 1681s | 27 | 29611074 | 12571033 | 1754 18344 | 19 | 64 1683.13/1683.65 c 1683s | 27 | 29647756 | 12585233 | 1754 18360 | 19 | 64 1685.12/1685.65 c 1685s | 27 | 29680011 | 12599533 | 1754 18376 | 19 | 64 1687.12/1687.66 c 1687s | 27 | 29714132 | 12614133 | 1754 18392 | 19 | 64 1689.13/1689.67 c 1689s | 27 | 29747443 | 12628733 | 1754 18408 | 19 | 64 1691.12/1691.67 c 1691s | 27 | 29783825 | 12644233 | 1754 18425 | 19 | 64 1693.12/1693.68 c 1693s | 27 | 29820727 | 12659233 | 1754 18442 | 19 | 64 1695.12/1695.69 c 1695s | 27 | 29857111 | 12674333 | 1754 18458 | 19 | 64 1697.22/1697.70 c 1697s | 27 | 29891404 | 12688733 | 1754 18474 | 19 | 64 1699.22/1699.71 c 1699s | 27 | 29926360 | 12703533 | 1754 18491 | 19 | 64 1701.23/1701.71 c 1701s | 27 | 29963959 | 12718833 | 1754 18507 | 19 | 64 1703.22/1703.71 c 1703s | 27 | 30002207 | 12733633 | 1754 18524 | 19 | 64 1705.22/1705.73 c 1705s | 27 | 30039788 | 12748033 | 1754 18540 | 19 | 64 1707.22/1707.73 c 1707s | 27 | 30077879 | 12762733 | 1754 18556 | 19 | 64 1709.22/1709.74 c 1709s | 27 | 30114164 | 12777433 | 1754 18572 | 19 | 64 1711.22/1711.75 c 1711s | 27 | 30151061 | 12792333 | 1754 18588 | 19 | 64 1713.22/1713.76 c 1713s | 27 | 30187937 | 12806733 | 1754 18604 | 19 | 64 1715.22/1715.76 c 1715s | 27 | 30225860 | 12821833 | 1754 18621 | 19 | 64 1717.22/1717.76 c 1717s | 27 | 30264877 | 12836233 | 1754 18637 | 19 | 64 1719.22/1719.78 c 1719s | 27 | 30302037 | 12850733 | 1754 18653 | 19 | 64 1721.22/1721.79 c 1721s | 27 | 30336179 | 12864333 | 1754 18668 | 19 | 64 1723.22/1723.80 c 1723s | 27 | 30373513 | 12879333 | 1754 18684 | 19 | 64 1725.32/1725.81 c 1725s | 27 | 30408358 | 12894033 | 1754 18701 | 19 | 64 1727.32/1727.81 c 1727s | 27 | 30442857 | 12908133 | 1754 18716 | 19 | 64 1729.31/1729.82 c 1729s | 27 | 30479786 | 12922933 | 1754 18732 | 19 | 64 1731.31/1731.82 c 1731s | 27 | 30515359 | 12936933 | 1754 18748 | 19 | 64 1733.31/1733.83 c 1733s | 27 | 30549261 | 12951233 | 1754 18764 | 19 | 64 1735.32/1735.84 c 1735s | 27 | 30581296 | 12965633 | 1754 18780 | 19 | 64 1737.31/1737.84 c 1737s | 27 | 30617656 | 12980933 | 1754 18796 | 19 | 64 1739.32/1739.85 c 1739s | 27 | 30654758 | 12995833 | 1754 18813 | 19 | 64 1741.32/1741.86 c 1741s | 27 | 30690823 | 13010533 | 1754 18829 | 19 | 64 1743.32/1743.87 c 1743s | 27 | 30725181 | 13024933 | 1754 18845 | 19 | 64 1745.32/1745.88 c 1745s | 27 | 30761362 | 13039933 | 1754 18861 | 19 | 64 1747.32/1747.89 c 1747s | 27 | 30795662 | 13054333 | 1754 18877 | 19 | 64 1749.42/1749.90 c 1749s | 27 | 30830131 | 13068333 | 1754 18893 | 19 | 64 1751.42/1751.91 c 1751s | 27 | 30864754 | 13082933 | 1754 18909 | 19 | 64 1753.42/1753.91 c 1753s | 27 | 30896903 | 13096933 | 1754 18924 | 19 | 64 1755.42/1755.92 c 1755s | 27 | 30929211 | 13111233 | 1754 18940 | 19 | 64 1757.42/1757.92 c 1757s | 27 | 30962361 | 13126033 | 1754 18956 | 19 | 64 1759.41/1759.93 c 1759s | 27 | 30994816 | 13139833 | 1754 18972 | 19 | 64 1761.41/1761.94 c 1761s | 27 | 31026242 | 13153433 | 1754 18987 | 19 | 64 1763.41/1763.95 c 1763s | 27 | 31062809 | 13168033 | 1754 19003 | 19 | 64 1765.41/1765.96 c 1765s | 27 | 31096142 | 13182533 | 1754 19019 | 19 | 64 1767.41/1767.97 c 1767s | 27 | 31130872 | 13196533 | 1754 19034 | 19 | 64 1769.42/1769.97 c 1769s | 27 | 31164120 | 13210433 | 1754 19050 | 19 | 64 1771.41/1771.98 c 1771s | 27 | 31197232 | 13224233 | 1754 19065 | 19 | 64 1773.41/1773.99 c 1773s | 27 | 31231140 | 13238433 | 1754 19080 | 19 | 64 1775.51/1776.00 c 1775s | 27 | 31266623 | 13252533 | 1754 19096 | 19 | 64 1777.51/1778.00 c 1777s | 27 | 31301483 | 13266433 | 1754 19111 | 19 | 64 1779.51/1780.02 c 1779s | 27 | 31335746 | 13281133 | 1754 19128 | 19 | 64 1781.52/1782.02 c 1781s | 27 | 31370035 | 13295333 | 1754 19143 | 19 | 64 1783.51/1784.03 c 1783s | 27 | 31409816 | 13309333 | 1754 19159 | 19 | 64 1785.51/1786.03 c 1785s | 27 | 31446117 | 13324233 | 1754 19175 | 19 | 64 1787.51/1788.04 c 1787s | 27 | 31480125 | 13339033 | 1754 19191 | 19 | 64 1789.51/1790.05 c 1790s | 27 | 31518033 | 13353533 | 1754 19207 | 19 | 64 1791.51/1792.06 c 1792s | 27 | 31554411 | 13368133 | 1754 19223 | 19 | 64 1793.51/1794.07 c 1794s | 27 | 31588985 | 13382333 | 1754 19239 | 19 | 64 1795.51/1796.08 c 1796s | 27 | 31623693 | 13396733 | 1754 19255 | 19 | 64 1797.50/1798.09 c 1798s | 27 | 31656052 | 13410733 | 1754 19270 | 19 | 64 1799.60/1800.10 c 1800s | 27 | 31689318 | 13424733 | 1754 19286 | 19 | 64
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-4080022-1465281353/watcher-4080022-1465281353 -o /tmp/evaluation-result-4080022-1465281353/solver-4080022-1465281353 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5739 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080022-1465281353.opb pid=10024 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.24 2.21 2.18 3/179 10027 /proc/meminfo: memFree=28224984/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=692668 CPUtime=0 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 2578 0 0 0 0 0 0 0 20 0 4 0 110068411 709292032 2940 33554432000 4194304 16246674 140736701298368 140736701297792 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 173679 2950 441 2943 0 170573 0 [pid=10027/tid=10028] ppid=10024 vsize=710076 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 727117824 3010 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=714172 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 731312128 3026 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=719292 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 736555008 3043 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100122 s] /proc/loadavg: 2.24 2.21 2.18 3/179 10027 /proc/meminfo: memFree=28224984/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 23371 0 0 0 5 3 0 0 20 0 4 0 110068411 1247350784 23719 33554432000 4194304 16246674 140736701298368 140736701297792 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 304529 23728 784 2943 0 301423 0 [pid=10027/tid=10028] ppid=10024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1247350784 23733 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1247350784 23737 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1247350784 23740 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200447 s] /proc/loadavg: 2.24 2.21 2.18 3/179 10027 /proc/meminfo: memFree=28224984/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 41040 0 0 0 13 6 0 0 20 0 4 0 110068411 1247350784 41388 33554432000 4194304 16246674 140736701298368 140736701297792 5709562 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 304529 41395 784 2943 0 301423 0 [pid=10027/tid=10028] ppid=10024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1247350784 41404 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1247350784 41412 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1247350784 41416 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.30048 s] /proc/loadavg: 2.24 2.21 2.18 3/179 10027 /proc/meminfo: memFree=28224984/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 59073 0 0 0 21 8 0 0 20 0 4 0 110068411 1247350784 59421 33554432000 4194304 16246674 140736701298368 140736701297792 6023439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 304529 59430 784 2943 0 301423 0 [pid=10027/tid=10028] ppid=10024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1247350784 59439 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1247350784 59444 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1247350784 59446 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700384 s] /proc/loadavg: 2.24 2.21 2.18 3/179 10027 /proc/meminfo: memFree=28224984/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 131515 0 0 0 49 19 0 0 20 0 4 0 110068411 1247350784 131863 33554432000 4194304 16246674 140736701298368 140736701280256 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 304529 131875 785 2943 0 301423 0 [pid=10027/tid=10028] ppid=10024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1247350784 131880 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1247350784 131884 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1247350784 131888 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50034 s] /proc/loadavg: 2.22 2.21 2.18 3/183 10031 /proc/meminfo: memFree=27399288/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 245711 0 0 0 115 34 0 0 20 0 4 0 110068411 1248399360 246037 33554432000 4194304 16246674 140736701298368 140736701297680 12474768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 304785 246037 843 2943 0 301679 0 [pid=10027/tid=10028] ppid=10024 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1248399360 246037 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1248399360 246037 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1248399360 246037 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10039 s] /proc/loadavg: 2.22 2.21 2.18 3/183 10031 /proc/meminfo: memFree=27241436/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1305156 CPUtime=3.09 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 267287 0 0 0 271 38 0 0 20 0 4 0 110068411 1336479744 267613 33554432000 4194304 16246674 140736701298368 140736701280256 5822548 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 326289 267613 843 2943 0 323183 0 [pid=10027/tid=10028] ppid=10024 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1336479744 267613 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1336479744 267613 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1336479744 267613 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1305156 [startup+6.3004 s] /proc/loadavg: 2.22 2.21 2.18 4/183 10031 /proc/meminfo: memFree=27153756/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 267483 0 0 0 591 38 0 0 20 0 4 0 110068411 1337528320 267809 33554432000 4194304 16246674 140736701298368 140736701280256 5712248 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 326545 267809 843 2943 0 323439 0 [pid=10027/tid=10028] ppid=10024 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1337528320 267809 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1337528320 267809 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1337528320 267809 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.18 2.20 2.18 3/183 10031 /proc/meminfo: memFree=27154156/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1306180 CPUtime=12.69 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 267558 0 0 0 1231 38 0 0 20 0 4 0 110068411 1337528320 267884 33554432000 4194304 16246674 140736701298368 140736701280256 13191752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 326545 267884 843 2943 0 323439 0 [pid=10027/tid=10028] ppid=10024 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1337528320 267884 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1337528320 267884 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1337528320 267884 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.16 2.20 2.18 3/183 10031 /proc/meminfo: memFree=27153968/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1307204 CPUtime=25.48 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 267801 0 0 0 2510 38 0 0 20 0 4 0 110068411 1338576896 268127 33554432000 4194304 16246674 140736701298368 140736701281368 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 326801 268127 846 2943 0 323695 0 [pid=10027/tid=10028] ppid=10024 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1338576896 268127 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1338576896 268127 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1338576896 268127 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1307204 [startup+51.1004 s] /proc/loadavg: 2.17 2.20 2.18 3/183 10031 /proc/meminfo: memFree=27152992/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1307204 CPUtime=51.08 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 267892 0 0 0 5070 38 0 0 20 0 4 0 110068411 1338576896 268218 33554432000 4194304 16246674 140736701298368 140736701281368 12483512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 326801 268218 846 2943 0 323695 0 [pid=10027/tid=10028] ppid=10024 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1338576896 268218 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1338576896 268218 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1338576896 268218 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1307204 [startup+102.3 s] /proc/loadavg: 2.24 2.21 2.18 4/183 10032 /proc/meminfo: memFree=27152076/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1308228 CPUtime=102.28 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 268148 0 0 0 10189 39 0 0 20 0 4 0 110068411 1339625472 268474 33554432000 4194304 16246674 140736701298368 140736701281368 5546111 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 327057 268474 846 2943 0 323951 0 [pid=10027/tid=10028] ppid=10024 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1339625472 268474 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1339625472 268474 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1339625472 268474 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1308228 ################ # More data... # ################ /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1313348 [startup+1362.3 s] /proc/loadavg: 2.34 2.30 2.22 3/183 10113 /proc/meminfo: memFree=28093240/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1313348 CPUtime=1361.96 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 269681 0 0 0 136138 58 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140736701280256 5523241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 328337 270011 847 2943 0 325231 0 [pid=10027/tid=10028] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1313348 [startup+1422.3 s] /proc/loadavg: 2.26 2.28 2.21 3/183 10114 /proc/meminfo: memFree=28093144/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1313348 CPUtime=1421.93 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 269716 0 0 0 142135 58 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140736701280256 6021947 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 328337 270011 847 2943 0 325231 0 [pid=10027/tid=10028] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1313348 [startup+1482.3 s] /proc/loadavg: 2.32 2.29 2.22 3/184 10119 /proc/meminfo: memFree=28091000/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1313348 CPUtime=1481.9 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 269755 0 0 0 148130 60 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140736701280256 6016209 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 328337 270011 847 2943 0 325231 0 [pid=10027/tid=10028] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1313348 [startup+1542.31 s] /proc/loadavg: 2.24 2.27 2.21 3/184 10143 /proc/meminfo: memFree=28091016/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1313348 CPUtime=1541.87 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 269795 0 0 0 154126 61 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140736701280256 5829313 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 328337 270011 847 2943 0 325231 0 [pid=10027/tid=10028] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1313348 [startup+1602.3 s] /proc/loadavg: 2.23 2.26 2.21 3/183 10144 /proc/meminfo: memFree=28090780/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1313348 CPUtime=1601.84 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 269834 0 0 0 160122 62 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140736701280256 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 328337 270011 847 2943 0 325231 0 [pid=10027/tid=10028] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1313348 [startup+1662.3 s] /proc/loadavg: 2.36 2.29 2.22 3/183 10145 /proc/meminfo: memFree=28089180/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1313348 CPUtime=1661.82 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 269834 0 0 0 166119 63 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140736701280256 5824066 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 328337 270011 847 2943 0 325231 0 [pid=10027/tid=10028] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1313348 [startup+1722.3 s] /proc/loadavg: 2.42 2.31 2.23 3/183 10146 /proc/meminfo: memFree=28088232/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1313348 CPUtime=1721.82 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 269834 0 0 0 172118 64 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140736701281368 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 328337 270011 847 2943 0 325231 0 [pid=10027/tid=10028] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270011 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1313348 [startup+1782.3 s] /proc/loadavg: 2.51 2.36 2.25 3/183 10148 /proc/meminfo: memFree=28088772/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1313348 CPUtime=1781.81 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 269835 0 0 0 178116 65 0 0 20 0 4 0 110068411 1344868352 270012 33554432000 4194304 16246674 140736701298368 140736701281368 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 328337 270012 848 2943 0 325231 0 [pid=10027/tid=10028] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270012 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270012 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270012 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1313348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.47 2.35 2.25 3/183 10148 /proc/meminfo: memFree=28089004/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1313348 CPUtime=1800 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 269835 0 0 0 179935 65 0 0 20 0 4 0 110068411 1344868352 270012 33554432000 4194304 16246674 140736701298368 140736701280256 5598344 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 328337 270012 848 2943 0 325231 0 [pid=10027/tid=10028] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270012 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270012 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270012 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1313348 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 10027 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.47 2.35 2.25 3/183 10148 /proc/meminfo: memFree=28089004/32872528 swapFree=16384/1696552 [pid=10027] ppid=10024 vsize=1313348 CPUtime=1800 cores=0,2,4,6 /proc/10027/stat : 10027 (toysat) R 10024 10027 5723 0 -1 4202496 269835 0 0 0 179935 65 0 0 20 0 4 0 110068411 1344868352 270012 33554432000 4194304 16246674 140736701298368 140736701280256 5598344 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10027/statm: 328337 270012 848 2943 0 325231 0 [pid=10027/tid=10028] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10028/stat : 10028 (toysat) S 10024 10027 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270012 33554432000 4194304 16246674 140736701298368 140201350376688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10027/tid=10029] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10029/stat : 10029 (toysat) S 10024 10027 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270012 33554432000 4194304 16246674 140736701298368 140201339886832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10027/tid=10030] ppid=10024 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10027/task/10030/stat : 10030 (toysat) S 10024 10027 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110068411 1344868352 270012 33554432000 4194304 16246674 140736701298368 140201221418160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1313348 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.36 CPU system time (s): 0.6559 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 1313348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.36 system time used= 0.6559 maximum resident set size= 1080048 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269835 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= 419 involuntary context switches= 1859 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.7692 second user time and 14.3798 second system time The end
Begin job on node125 at 2016-06-07 08:35:53 IDJOB=4080022 IDBENCH=89907 IDSOLVER=2542 FILE ID=node125/4080022-1465281353 RUNJOBID= node125-1465259688-5739 PBS_JOBID= 19843289 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-sbox_4_shg.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080022-1465281353/watcher-4080022-1465281353 -o /tmp/evaluation-result-4080022-1465281353/solver-4080022-1465281353 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5739 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080022-1465281353.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 175e0a4a6cd805ac131e3fa3fd7ba75e RANDOM SEED=2057542374 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28225504 kB Buffers: 25528 kB Cached: 180228 kB SwapCached: 1520 kB Active: 2083196 kB Inactive: 118728 kB Active(anon): 1993020 kB Inactive(anon): 5380 kB Active(file): 90176 kB Inactive(file): 113348 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098580 kB Dirty: 16340 kB Writeback: 0 kB AnonPages: 3691940 kB Mapped: 10812 kB Shmem: 0 kB Slab: 610132 kB SReclaimable: 53984 kB SUnreclaim: 556148 kB KernelStack: 1488 kB PageTables: 10744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3836372 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1755136 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71712 MiB End job on node125 at 2016-06-07 09:05:54