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.1 | 1800.53 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb |
| MD5SUM | 931342e76f648ae82c047d164917a326 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 0.049991 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 466 |
| Total number of constraints | 694 |
| Number of constraints which are clauses | 694 |
| 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 | 78 |
| Number of terms in the objective function | 466 |
| 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 | 466 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 466 |
| Number of bits of the biggest sum of numbers | 9 |
| 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-06T18:45:24+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-4079483-1465231524.opb"] 0.00/0.01 c use --random-gen="838651972 3237763800 641379337 2097445277 2165639238 4109002370 583658233 1121196312 2257030902 180491391 1989916866 2542636918 136033127 3710555134 1171726955 345263378 1442211192 3884062866 3166705070 3443982244 980499200 1202018024 2973791199 2472577608 2747653271 2918715026 352866138 771221534 2462793282 3856126618 1161154239 433393582 1689436953 42478606 1019209901 2092567992 1845529532 2659202561 2877423314 4110095712 750828978 1024466360 3144375264 378752723 241365772 1741648598 1740690450 1654493959 312217111 2572139194 3787009980 3631968911 2861865514 3699692703 553833884 1762118769 2075557911 1917794265 3027907692 4229016430 4255272696 1808520263 359953846 112784113 1567292463 2588840468 679072123 2458723546 3385017819 2639892631 4050841038 316300236 897868934 2134292906 1618556817 3918207808 776787006 556630788 473674207 3170342223 243353659 1796511684 576869666 656829613 646266767 2101597591 3970916309 3323153700 4162810729 2030509890 1864584000 1739195323 2674591327 3702944674 1333177448 2181454610 3834546861 3015826992 2334052004 814169688 3940741498 1241461749 940163474 1933135041 3430783953 3373059023 3581102901 1484642936 675446499 32571011 2073244174 2421378361 2107075839 649869541 3626746928 3260837518 3600353440 1239159590 2089748485 3269327988 2493457748 3512564348 4186385968 188858133 2378103726 1945407525 2765329954 1261463915 1051832875 3199450356 1434650247 1043513111 133256493 6898738 2312940834 2052436355 255868578 3948969157 2741058312 3640078560 1652946092 1432095166 3324509743 2789050896 1743008458 2787962648 3053687478 2204425142 894065057 3063519035 212565332 257245391 269404211 925481239 866266743 1312812470 652925840 3768617439 1377701718 642454990 1522407990 3989633974 439111615 1624139033 3281227859 1786548409 69641439 855748421 917000519 1893892204 2206401691 3492242028 3729288240 1724228144 3359536350 3802056486 144896198 3094559290 1990495052 2965304781 400516828 778002860 3226712002 4236404695 684315600 959023931 2463382338 1477198979 3157472870 1176923923 2591532010 374130560 3158106135 2911222791 3129547512 510064575 3177838497 877650701 2334446209 2179427253 1280358593 1104896408 3076425352 4175730767 1272296645 1101376269 2948038335 3290917613 2933244669 1832574718 427330442 749548407 1747232230 703568038 3054533721 2197876061 2510746323 2078572037 2549767076 1602006910 1670313559 2583440705 626804584 2895590169 4204456778 1554968465 3270778742 2373891573 145692933 2553852250 1416134540 397060409 2318054664 364632164 1876528253 1271331019 3995363740 840950002 830563212 1825501974 164824158 3764819443 2439784438 2415148414 1211367350 2617471737 759577597 2937860871 1026810444 100817037 2621251660 2135968365 3239091157 2045442440 3863592394 1353831651 255 362436" option to reproduce the execution 0.00/0.05 c #vars 466 0.00/0.05 c #constraints 694 0.00/0.08 c BCD2: Hardening is enabled. 0.00/0.08 c BCD2: BiasedSearch is enabled. 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 466 | 0 | 386 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 466 0.00/0.09 c #random_decision = 5 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 o 466 0.00/0.09 c BCD2: updating upper bound: 466 -> 465 0.00/0.09 c BCD2: 0 <= obj <= 465 0.00/0.09 c BCD2: #cores=0, #unrelaxed=466, #relaxed=0, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 22 | 0 | 386 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 22 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.09 c lower bound updated to 1 0.00/0.09 c BCD2: 1 <= obj <= 465 0.00/0.09 c BCD2: #cores=1, #unrelaxed=464, #relaxed=2, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 6 0.00/0.09 c 0.0s | 0 | 32 | 0 | 386 0 | 0 | 6 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 32 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.09 c lower bound updated to 2 0.00/0.09 c BCD2: 2 <= obj <= 465 0.00/0.09 c BCD2: #cores=2, #unrelaxed=462, #relaxed=4, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 8 0.00/0.09 c 0.0s | 0 | 37 | 0 | 386 0 | 0 | 8 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 37 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.09 c lower bound updated to 3 0.00/0.09 c BCD2: 3 <= obj <= 465 0.00/0.09 c BCD2: #cores=3, #unrelaxed=460, #relaxed=6, #hardened=0 0.00/0.10 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.10 c Solving starts ... 0.00/0.10 c ============================[ Search Statistics ]============================ 0.00/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.10 c | | | | Limit GC | Var | Constra 0.00/0.10 c ============================================================================= 0.00/0.10 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 10 0.09/0.10 c 0.0s | 0 | 85 | 0 | 386 0 | 0 | 10 0.09/0.10 c #cpu_time = 0.002s 0.09/0.10 c #wall_clock_time = 0.002s 0.09/0.10 c #decision = 85 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.10 c lower bound updated to 4 0.09/0.10 c BCD2: 4 <= obj <= 465 0.09/0.10 c BCD2: #cores=4, #unrelaxed=458, #relaxed=8, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=5 bias=5/6 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 12 0.09/0.10 c 0.0s | 0 | 101 | 0 | 386 0 | 0 | 12 0.09/0.10 c #cpu_time = 0.002s 0.09/0.10 c #wall_clock_time = 0.002s 0.09/0.10 c #decision = 101 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.10 c lower bound updated to 5 0.09/0.10 c BCD2: 5 <= obj <= 465 0.09/0.10 c BCD2: #cores=5, #unrelaxed=456, #relaxed=10, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=6 bias=6/7 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 14 0.09/0.10 c 0.0s | 0 | 127 | 0 | 386 0 | 0 | 14 0.09/0.10 c #cpu_time = 0.002s 0.09/0.10 c #wall_clock_time = 0.002s 0.09/0.10 c #decision = 127 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.10 c lower bound updated to 6 0.09/0.10 c BCD2: 6 <= obj <= 465 0.09/0.10 c BCD2: #cores=6, #unrelaxed=454, #relaxed=12, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=7 bias=7/8 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 16 0.09/0.11 c 0.0s | 0 | 154 | 0 | 386 0 | 0 | 16 0.09/0.11 c #cpu_time = 0.002s 0.09/0.11 c #wall_clock_time = 0.002s 0.09/0.11 c #decision = 154 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.11 c lower bound updated to 7 0.09/0.11 c BCD2: 7 <= obj <= 465 0.09/0.11 c BCD2: #cores=7, #unrelaxed=452, #relaxed=14, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=8 bias=8/9 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 18 0.09/0.11 c 0.0s | 0 | 194 | 0 | 386 0 | 0 | 18 0.09/0.11 c #cpu_time = 0.002s 0.09/0.11 c #wall_clock_time = 0.002s 0.09/0.11 c #decision = 194 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.11 c lower bound updated to 8 0.09/0.11 c BCD2: 8 <= obj <= 465 0.09/0.11 c BCD2: #cores=8, #unrelaxed=450, #relaxed=16, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=9 bias=9/10 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 20 0.09/0.11 c 0.0s | 0 | 230 | 0 | 386 0 | 0 | 20 0.09/0.11 c #cpu_time = 0.002s 0.09/0.11 c #wall_clock_time = 0.002s 0.09/0.11 c #decision = 230 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 47: cost of the new core is >=1 0.09/0.11 c lower bound updated to 9 0.09/0.11 c BCD2: 9 <= obj <= 465 0.09/0.11 c BCD2: #cores=9, #unrelaxed=403, #relaxed=63, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=10 bias=10/11 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 20 0.09/0.12 c 0.0s | 0 | 200 | 0 | 386 0 | 0 | 20 0.09/0.12 c #cpu_time = 0.002s 0.09/0.12 c #wall_clock_time = 0.002s 0.09/0.12 c #decision = 200 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.12 c lower bound updated to 10 0.09/0.12 c BCD2: 10 <= obj <= 465 0.09/0.12 c BCD2: #cores=10, #unrelaxed=401, #relaxed=65, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=11 bias=11/12 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 22 0.09/0.12 c 0.0s | 0 | 221 | 0 | 386 0 | 0 | 22 0.09/0.12 c #cpu_time = 0.002s 0.09/0.12 c #wall_clock_time = 0.002s 0.09/0.12 c #decision = 221 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.12 c lower bound updated to 11 0.09/0.12 c BCD2: 11 <= obj <= 465 0.09/0.12 c BCD2: #cores=11, #unrelaxed=399, #relaxed=67, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=12 bias=12/13 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 24 0.09/0.12 c 0.0s | 0 | 223 | 0 | 386 0 | 0 | 24 0.09/0.12 c #cpu_time = 0.002s 0.09/0.12 c #wall_clock_time = 0.002s 0.09/0.12 c #decision = 223 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 5: cost of the new core is >=1 0.09/0.12 c lower bound updated to 12 0.09/0.12 c BCD2: 12 <= obj <= 465 0.09/0.12 c BCD2: #cores=12, #unrelaxed=394, #relaxed=72, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=13 bias=13/14 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 24 0.09/0.12 c 0.0s | 0 | 223 | 0 | 386 0 | 0 | 24 0.09/0.12 c #cpu_time = 0.002s 0.09/0.12 c #wall_clock_time = 0.002s 0.09/0.12 c #decision = 223 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 4: cost of the new core is >=1 0.09/0.12 c lower bound updated to 13 0.09/0.12 c BCD2: 13 <= obj <= 465 0.09/0.12 c BCD2: #cores=13, #unrelaxed=390, #relaxed=76, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=14 bias=14/15 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 25 0.09/0.13 c 0.0s | 0 | 223 | 0 | 386 0 | 0 | 25 0.09/0.13 c #cpu_time = 0.002s 0.09/0.13 c #wall_clock_time = 0.002s 0.09/0.13 c #decision = 223 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.13 c lower bound updated to 14 0.09/0.13 c BCD2: 14 <= obj <= 465 0.09/0.13 c BCD2: #cores=14, #unrelaxed=388, #relaxed=78, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=15 bias=15/16 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 27 0.09/0.13 c 0.0s | 0 | 233 | 0 | 386 0 | 0 | 27 0.09/0.13 c #cpu_time = 0.002s 0.09/0.13 c #wall_clock_time = 0.002s 0.09/0.13 c #decision = 233 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 29: cost of the new core is >=1 0.09/0.13 c lower bound updated to 15 0.09/0.13 c BCD2: 15 <= obj <= 465 0.09/0.13 c BCD2: #cores=15, #unrelaxed=359, #relaxed=107, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=16 bias=16/17 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 27 0.09/0.13 c 0.0s | 0 | 260 | 0 | 386 0 | 0 | 27 0.09/0.13 c #cpu_time = 0.003s 0.09/0.13 c #wall_clock_time = 0.003s 0.09/0.13 c #decision = 260 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.13 c lower bound updated to 16 0.09/0.13 c BCD2: 16 <= obj <= 465 0.09/0.13 c BCD2: #cores=16, #unrelaxed=357, #relaxed=109, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=17 bias=17/18 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 29 0.09/0.14 c 0.0s | 0 | 294 | 0 | 386 0 | 0 | 29 0.09/0.14 c #cpu_time = 0.002s 0.09/0.14 c #wall_clock_time = 0.002s 0.09/0.14 c #decision = 294 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 0 0.09/0.14 c #restart = 0 0.09/0.14 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.14 c lower bound updated to 17 0.09/0.14 c BCD2: 17 <= obj <= 465 0.09/0.14 c BCD2: #cores=17, #unrelaxed=355, #relaxed=111, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=18 bias=18/19 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 31 0.09/0.14 c 0.0s | 0 | 307 | 0 | 386 0 | 0 | 31 0.09/0.14 c #cpu_time = 0.002s 0.09/0.14 c #wall_clock_time = 0.002s 0.09/0.14 c #decision = 307 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 0 0.09/0.14 c #restart = 0 0.09/0.14 c BCD2: found a new core of size 12: cost of the new core is >=1 0.09/0.14 c lower bound updated to 18 0.09/0.14 c BCD2: 18 <= obj <= 465 0.09/0.14 c BCD2: #cores=18, #unrelaxed=343, #relaxed=123, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=19 bias=19/20 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 31 0.09/0.14 c 0.0s | 0 | 346 | 1 | 386 0 | 0 | 31 0.09/0.14 c #cpu_time = 0.003s 0.09/0.14 c #wall_clock_time = 0.003s 0.09/0.14 c #decision = 346 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 1 0.09/0.14 c #restart = 0 0.09/0.14 c BCD2: found a new core of size 73: cost of the new core is >=1 0.09/0.14 c lower bound updated to 19 0.09/0.15 c BCD2: 19 <= obj <= 465 0.09/0.15 c BCD2: #cores=19, #unrelaxed=270, #relaxed=196, #hardened=0 0.09/0.15 c BCD2: #sat=1 #unsat=20 bias=20/21 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 31 0.09/0.15 c 0.0s | 0 | 367 | 0 | 386 0 | 0 | 31 0.09/0.15 c #cpu_time = 0.003s 0.09/0.15 c #wall_clock_time = 0.003s 0.09/0.15 c #decision = 367 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 0 0.09/0.15 c #restart = 0 0.09/0.15 o 32 0.09/0.15 c BCD2: updating upper bound: 465 -> 31 0.09/0.15 c BCD2: 19 <= obj <= 31 0.09/0.15 c BCD2: #cores=19, #unrelaxed=270, #relaxed=196, #hardened=0 0.09/0.15 c BCD2: #sat=2 #unsat=20 bias=20/22 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 386 0 | 0 | 32 0.09/0.15 c 0.0s | 0 | 257 | 1 | 386 0 | 0 | 32 0.09/0.15 c #cpu_time = 0.003s 0.09/0.15 c #wall_clock_time = 0.003s 0.09/0.15 c #decision = 257 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 1 0.09/0.15 c #restart = 0 0.09/0.16 c BCD2: relaxing 39 and merging with 1 cores into a new core of size 51: cost of the new core is >=2 0.09/0.16 c lower bound updated to 20 0.09/0.16 c BCD2: 20 <= obj <= 31 0.09/0.16 c BCD2: #cores=19, #unrelaxed=231, #relaxed=235, #hardened=0 0.09/0.16 c BCD2: #sat=2 #unsat=21 bias=21/23 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 386 0 | 2 | 32 0.09/0.17 c 0.0s | 0 | 770 | 54 | 386 0 | 2 | 35 0.09/0.17 c #cpu_time = 0.012s 0.09/0.17 c #wall_clock_time = 0.012s 0.09/0.17 c #decision = 770 0.09/0.17 c #random_decision = 2 0.09/0.17 c #conflict = 54 0.09/0.17 c #restart = 0 0.09/0.17 o 27 0.09/0.17 c BCD2: updating upper bound: 31 -> 26 0.09/0.17 c BCD2: 20 <= obj <= 26 0.09/0.17 c BCD2: #cores=19, #unrelaxed=231, #relaxed=235, #hardened=0 0.09/0.17 c BCD2: #sat=3 #unsat=21 bias=21/24 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 386 0 | 2 | 36 0.09/0.19 c 0.0s | 1 | 763 | 100 | 425 0 | 2 | 36 0.19/0.23 c 0.1s | 1 | 1364 | 233 | 468 0 | 2 | 36 0.19/0.23 c #cpu_time = 0.054s 0.19/0.23 c #wall_clock_time = 0.055s 0.19/0.23 c #decision = 1364 0.19/0.23 c #random_decision = 1 0.19/0.23 c #conflict = 233 0.19/0.23 c #restart = 1 0.19/0.23 c BCD2: relaxing 189 and merging with 3 cores into a new core of size 342: cost of the new core is >=5 0.19/0.23 c lower bound updated to 21 0.19/0.23 c BCD2: 21 <= obj <= 26 0.19/0.23 c BCD2: #cores=17, #unrelaxed=42, #relaxed=424, #hardened=0 0.19/0.23 c BCD2: #sat=3 #unsat=22 bias=22/25 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 468 0 | 10 | 36 0.19/0.26 c 0.0s | 1 | 506 | 100 | 468 0 | 10 | 49 0.29/0.34 c 0.1s | 2 | 2686 | 250 | 515 0 | 10 | 49 0.39/0.45 c 0.2s | 3 | 5009 | 475 | 515 0 | 10 | 49 0.59/0.65 c 0.4s | 4 | 7703 | 813 | 567 1 | 10 | 49 0.89/0.94 c 0.7s | 5 | 12121 | 1320 | 624 2 | 10 | 49 1.29/1.32 c 1.1s | 6 | 17699 | 2081 | 687 4 | 10 | 49 1.79/1.87 c 1.6s | 7 | 24239 | 3223 | 756 7 | 10 | 49 2.49/2.51 c 2.3s | 8 | 33657 | 4936 | 832 11 | 10 | 49 3.40/3.49 c 3.3s | 9 | 48789 | 7506 | 916 16 | 10 | 49 4.99/5.09 c 4.9s | 10 | 74855 | 11361 | 1008 24 | 10 | 49 7.08/7.12 c 6.9s | 10 | 109802 | 16361 | 1008 33 | 10 | 49 7.38/7.47 c 7.2s | 11 | 115494 | 17144 | 1109 34 | 10 | 49 9.48/9.50 c 9.3s | 11 | 142334 | 22144 | 1109 42 | 10 | 49 10.98/11.05 c 10.8s | 12 | 164232 | 25819 | 1220 48 | 10 | 49 12.97/13.07 c 12.8s | 12 | 195456 | 30519 | 1220 55 | 10 | 49 15.07/15.10 c 14.9s | 12 | 222902 | 35019 | 1220 62 | 10 | 49 16.67/16.73 c 16.5s | 13 | 244471 | 38832 | 1342 67 | 10 | 49 18.68/18.75 c 18.5s | 13 | 275681 | 43732 | 1342 74 | 10 | 49 20.68/20.77 c 20.5s | 13 | 301784 | 48532 | 1342 81 | 10 | 49 22.68/22.78 c 22.6s | 13 | 324781 | 53232 | 1342 87 | 10 | 49 24.78/24.80 c 24.6s | 13 | 346326 | 57832 | 1477 94 | 10 | 49 24.98/25.09 c 24.9s | 14 | 349115 | 58352 | 1477 94 | 10 | 49 27.08/27.12 c 26.9s | 14 | 369697 | 62152 | 1477 99 | 10 | 49 29.08/29.16 c 28.9s | 14 | 390367 | 66252 | 1477 104 | 10 | 49 31.08/31.16 c 30.9s | 14 | 414834 | 70552 | 1477 110 | 10 | 49 33.18/33.20 c 33.0s | 14 | 442323 | 74852 | 1477 115 | 10 | 49 35.08/35.20 c 35.0s | 14 | 470858 | 79052 | 1477 120 | 10 | 49 37.17/37.23 c 37.0s | 14 | 496108 | 83152 | 1477 126 | 10 | 49 39.17/39.24 c 39.0s | 14 | 518861 | 87552 | 1625 131 | 10 | 49 39.17/39.28 c 39.1s | 15 | 519942 | 87632 | 1625 131 | 10 | 49 41.27/41.31 c 41.1s | 15 | 543801 | 91832 | 1625 136 | 10 | 49 43.27/43.32 c 43.1s | 15 | 569074 | 95932 | 1625 141 | 10 | 49 45.27/45.34 c 45.1s | 15 | 591281 | 100732 | 1625 146 | 10 | 49 47.28/47.39 c 47.2s | 15 | 615065 | 105132 | 1625 151 | 10 | 49 49.27/49.39 c 49.2s | 15 | 641061 | 109632 | 1625 156 | 10 | 49 51.37/51.45 c 51.2s | 15 | 665886 | 113932 | 1625 161 | 10 | 49 53.37/53.49 c 53.3s | 15 | 689485 | 118332 | 1625 167 | 10 | 49 55.37/55.49 c 55.3s | 15 | 711177 | 122732 | 1625 172 | 10 | 49 57.47/57.51 c 57.3s | 15 | 731459 | 127332 | 1625 177 | 10 | 49 59.27/59.39 c 59.2s | 16 | 754056 | 131552 | 1788 182 | 10 | 49 61.37/61.41 c 61.2s | 16 | 773423 | 136052 | 1788 186 | 10 | 49 63.37/63.42 c 63.2s | 16 | 796446 | 140652 | 1788 191 | 10 | 49 65.37/65.42 c 65.2s | 16 | 817449 | 145152 | 1788 196 | 10 | 49 67.37/67.43 c 67.2s | 16 | 839328 | 149552 | 1788 201 | 10 | 49 69.38/69.45 c 69.2s | 16 | 862583 | 154252 | 1788 206 | 10 | 49 71.37/71.46 c 71.2s | 16 | 881339 | 158952 | 1788 211 | 10 | 49 73.47/73.51 c 73.3s | 16 | 906303 | 163552 | 1788 216 | 10 | 49 75.47/75.54 c 75.3s | 16 | 931053 | 168152 | 1788 221 | 10 | 49 77.47/77.56 c 77.3s | 16 | 948521 | 172752 | 1788 225 | 10 | 49 79.57/79.60 c 79.4s | 16 | 968348 | 177252 | 1788 230 | 10 | 49 81.57/81.64 c 81.4s | 16 | 989158 | 181952 | 1788 235 | 10 | 49 83.57/83.65 c 83.4s | 16 | 1013307 | 186452 | 1788 240 | 10 | 49 85.57/85.66 c 85.4s | 16 | 1030678 | 190952 | 1788 245 | 10 | 49 87.56/87.67 c 87.4s | 16 | 1054391 | 195552 | 1788 250 | 10 | 49 88.56/88.63 c 88.4s | 17 | 1070431 | 197432 | 1967 251 | 10 | 49 90.56/90.66 c 90.4s | 17 | 1091268 | 201932 | 1967 256 | 10 | 49 91.86/91.92 c 91.7s | 17 | 1106604 | 204530 | 1967 258 | 10 | 49 91.86/91.92 c #cpu_time = 91.441s 91.86/91.92 c #wall_clock_time = 91.686s 91.86/91.92 c #decision = 1106604 91.86/91.92 c #random_decision = 4909 91.86/91.92 c #conflict = 204530 91.86/91.92 c #restart = 17 91.86/91.92 o 25 91.86/91.92 c BCD2: updating upper bound: 26 -> 24 91.86/91.92 c BCD2: 21 <= obj <= 24 91.86/91.92 c BCD2: #cores=17, #unrelaxed=42, #relaxed=424, #hardened=0 91.86/91.92 c BCD2: #sat=4 #unsat=22 bias=22/26 91.86/91.92 c Solving starts ... 91.86/91.92 c ============================[ Search Statistics ]============================ 91.86/91.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 91.86/91.92 c | | | | Limit GC | Var | Constra 91.86/91.92 c ============================================================================= 91.86/91.92 c 0.0s | 0 | 0 | 0 | 1967 0 | 10 | 50 91.86/91.97 c 0.1s | 1 | 746 | 100 | 1967 0 | 10 | 50 91.96/92.06 c 0.1s | 2 | 1815 | 250 | 1967 1 | 10 | 50 92.06/92.16 c 0.2s | 3 | 2687 | 475 | 1967 1 | 10 | 50 92.26/92.32 c 0.4s | 4 | 4218 | 813 | 1967 1 | 10 | 50 92.47/92.55 c 0.6s | 5 | 6562 | 1320 | 1967 2 | 10 | 50 92.76/92.87 c 1.0s | 6 | 10331 | 2081 | 1967 2 | 10 | 50 93.26/93.31 c 1.4s | 7 | 14007 | 3223 | 1967 3 | 10 | 50 93.86/93.98 c 2.1s | 8 | 24161 | 4936 | 1967 5 | 10 | 50 94.86/94.94 c 3.0s | 9 | 34742 | 7506 | 1967 8 | 10 | 50 96.56/96.61 c 4.7s | 10 | 54770 | 11361 | 1967 11 | 10 | 50 98.56/98.61 c 6.7s | 10 | 82610 | 15961 | 1967 16 | 10 | 50 99.07/99.12 c 7.2s | 11 | 88632 | 17144 | 1967 17 | 10 | 50 101.06/101.14 c 9.2s | 11 | 110082 | 21544 | 1967 21 | 10 | 50 102.96/103.00 c 11.1s | 12 | 136574 | 25819 | 1967 25 | 10 | 50 104.96/105.02 c 13.1s | 12 | 157784 | 30319 | 1967 30 | 10 | 50 106.96/107.05 c 15.1s | 12 | 179843 | 34919 | 1967 34 | 10 | 50 108.76/108.84 c 16.9s | 13 | 202517 | 38832 | 1967 38 | 10 | 50 110.76/110.87 c 19.0s | 13 | 227869 | 43732 | 1967 42 | 10 | 50 112.76/112.89 c 21.0s | 13 | 251496 | 48732 | 1967 47 | 10 | 50 114.86/114.93 c 23.0s | 13 | 278403 | 53532 | 1967 52 | 10 | 50 116.86/116.96 c 25.0s | 13 | 304205 | 58032 | 1967 56 | 10 | 50 117.06/117.12 c 25.2s | 14 | 305571 | 58352 | 1967 57 | 10 | 50 119.06/119.16 c 27.2s | 14 | 330318 | 62952 | 1967 61 | 10 | 50 121.07/121.17 c 29.3s | 14 | 360896 | 67552 | 1967 65 | 10 | 50 123.16/123.21 c 31.3s | 14 | 384529 | 72052 | 1967 70 | 10 | 50 125.16/125.23 c 33.3s | 14 | 409748 | 76452 | 1967 74 | 10 | 50 127.16/127.24 c 35.3s | 14 | 433814 | 80952 | 1967 78 | 10 | 50 129.16/129.24 c 37.3s | 14 | 459091 | 85352 | 1967 83 | 10 | 50 130.16/130.28 c 38.4s | 15 | 471442 | 87632 | 1967 85 | 10 | 50 132.26/132.31 c 40.4s | 15 | 490931 | 92032 | 2164 89 | 10 | 50 134.26/134.35 c 42.4s | 15 | 514027 | 96432 | 2164 93 | 10 | 50 136.26/136.35 c 44.4s | 15 | 539023 | 100832 | 2164 96 | 10 | 50 138.26/138.35 c 46.4s | 15 | 561972 | 105132 | 2164 100 | 10 | 50 140.26/140.39 c 48.5s | 15 | 586783 | 109632 | 2164 104 | 10 | 50 142.35/142.42 c 50.5s | 15 | 609406 | 113932 | 2164 108 | 10 | 50 144.35/144.45 c 52.5s | 15 | 629325 | 117932 | 2164 112 | 10 | 50 146.36/146.46 c 54.5s | 15 | 650706 | 121932 | 2164 115 | 10 | 50 148.46/148.51 c 56.6s | 15 | 669950 | 125932 | 2164 119 | 10 | 50 150.45/150.54 c 58.6s | 15 | 692018 | 129932 | 2164 122 | 10 | 50 151.15/151.27 c 59.4s | 16 | 703872 | 131552 | 2164 124 | 10 | 50 153.15/153.29 c 61.4s | 16 | 729654 | 136252 | 2164 128 | 10 | 50 155.25/155.32 c 63.4s | 16 | 754794 | 140652 | 2164 132 | 10 | 50 157.26/157.35 c 65.4s | 16 | 776445 | 145352 | 2164 136 | 10 | 50 159.25/159.39 c 67.5s | 16 | 797958 | 149952 | 2164 140 | 10 | 50 161.35/161.42 c 69.5s | 16 | 822191 | 154352 | 2164 144 | 10 | 50 163.35/163.44 c 71.5s | 16 | 845078 | 159052 | 2164 148 | 10 | 50 165.35/165.46 c 73.5s | 16 | 864153 | 163552 | 2164 152 | 10 | 50 167.35/167.47 c 75.6s | 16 | 885399 | 167752 | 2164 156 | 10 | 50 167.85/167.94 c 76.0s | 16 | 890155 | 168624 | 2164 156 | 10 | 50 167.85/167.94 c #cpu_time = 75.829s 167.85/167.94 c #wall_clock_time = 76.024s 167.85/167.94 c #decision = 890155 167.85/167.94 c #random_decision = 3825 167.85/167.94 c #conflict = 168624 167.85/167.94 c #restart = 16 167.85/167.94 o 24 167.85/167.94 c BCD2: updating upper bound: 24 -> 23 167.85/167.94 c BCD2: 21 <= obj <= 23 167.85/167.94 c BCD2: #cores=17, #unrelaxed=42, #relaxed=424, #hardened=0 167.85/167.94 c BCD2: #sat=5 #unsat=22 bias=22/27 167.85/167.94 c Solving starts ... 167.85/167.94 c ============================[ Search Statistics ]============================ 167.85/167.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 167.85/167.94 c | | | | Limit GC | Var | Constra 167.85/167.94 c ============================================================================= 167.85/167.94 c 0.0s | 0 | 0 | 0 | 2164 0 | 10 | 51 167.85/167.99 c 0.0s | 1 | 250 | 100 | 2164 0 | 10 | 51 167.95/168.08 c 0.1s | 2 | 1229 | 250 | 2164 1 | 10 | 51 168.15/168.21 c 0.3s | 3 | 2386 | 475 | 2164 1 | 10 | 51 168.25/168.34 c 0.4s | 4 | 3668 | 813 | 2164 1 | 10 | 51 168.45/168.56 c 0.6s | 5 | 5430 | 1320 | 2164 2 | 10 | 51 168.75/168.88 c 0.9s | 6 | 11104 | 2081 | 2164 2 | 10 | 51 169.25/169.31 c 1.4s | 7 | 16264 | 3223 | 2164 3 | 10 | 51 170.05/170.11 c 2.2s | 8 | 23106 | 4936 | 2164 5 | 10 | 51 171.05/171.18 c 3.2s | 9 | 35013 | 7506 | 2164 7 | 10 | 51 172.76/172.88 c 4.9s | 10 | 54321 | 11361 | 2164 10 | 10 | 51 174.85/174.91 c 7.0s | 10 | 79489 | 16461 | 2164 15 | 10 | 51 175.05/175.19 c 7.3s | 11 | 81328 | 17144 | 2164 15 | 10 | 51 177.16/177.23 c 9.3s | 11 | 100985 | 21844 | 2164 20 | 10 | 51 178.85/178.93 c 11.0s | 12 | 121528 | 25819 | 2164 23 | 10 | 51 180.85/180.93 c 13.0s | 12 | 155594 | 30319 | 2164 27 | 10 | 51 182.85/182.96 c 15.0s | 12 | 188477 | 34919 | 2164 31 | 10 | 51 184.55/184.68 c 16.7s | 13 | 201781 | 38832 | 2164 34 | 10 | 51 186.65/186.70 c 18.8s | 13 | 227159 | 43632 | 2164 39 | 10 | 51 188.65/188.71 c 20.8s | 13 | 248417 | 48232 | 2164 43 | 10 | 51 190.65/190.73 c 22.8s | 13 | 270304 | 53132 | 2164 47 | 10 | 51 192.65/192.75 c 24.8s | 13 | 291649 | 57932 | 2164 51 | 10 | 51 192.85/192.95 c 25.0s | 14 | 294099 | 58352 | 2164 52 | 10 | 51 194.85/194.97 c 27.0s | 14 | 327060 | 63152 | 2164 56 | 10 | 51 196.85/197.00 c 29.1s | 14 | 358797 | 67652 | 2164 60 | 10 | 51 198.94/199.01 c 31.1s | 14 | 378522 | 72052 | 2381 63 | 10 | 51 200.94/201.01 c 33.1s | 14 | 404370 | 76852 | 2381 67 | 10 | 51 202.94/203.03 c 35.1s | 14 | 426361 | 81252 | 2381 71 | 10 | 51 204.94/205.05 c 37.1s | 14 | 448131 | 86052 | 2381 74 | 10 | 51 205.65/205.75 c 37.8s | 15 | 455627 | 87632 | 2381 76 | 10 | 51 207.64/207.79 c 39.8s | 15 | 487741 | 92332 | 2381 80 | 10 | 51 209.74/209.84 c 41.9s | 15 | 518947 | 97232 | 2381 84 | 10 | 51 211.74/211.84 c 43.9s | 15 | 541062 | 101932 | 2381 87 | 10 | 51 213.74/213.88 c 45.9s | 15 | 567322 | 106532 | 2381 91 | 10 | 51 215.74/215.89 c 47.9s | 15 | 593887 | 111632 | 2381 95 | 10 | 51 217.85/217.92 c 50.0s | 15 | 621492 | 116732 | 2381 99 | 10 | 51 219.85/219.92 c 52.0s | 15 | 647192 | 121532 | 2381 103 | 10 | 51 221.85/221.96 c 54.0s | 15 | 673281 | 126532 | 2381 107 | 10 | 51 223.85/223.98 c 56.0s | 15 | 699467 | 131132 | 2381 111 | 10 | 51 224.05/224.16 c 56.2s | 16 | 702059 | 131552 | 2381 111 | 10 | 51 226.05/226.17 c 58.2s | 16 | 728099 | 136152 | 2381 115 | 10 | 51 228.05/228.19 c 60.2s | 16 | 760097 | 140952 | 2381 119 | 10 | 51 230.05/230.19 c 62.2s | 16 | 791778 | 145452 | 2381 122 | 10 | 51 232.05/232.20 c 64.3s | 16 | 819166 | 150152 | 2381 126 | 10 | 51 234.15/234.22 c 66.3s | 16 | 847201 | 154952 | 2381 130 | 10 | 51 236.15/236.22 c 68.3s | 16 | 874057 | 159752 | 2381 134 | 10 | 51 238.15/238.22 c 70.3s | 16 | 899617 | 164352 | 2381 137 | 10 | 51 240.14/240.27 c 72.3s | 16 | 921117 | 168952 | 2381 141 | 10 | 51 242.14/242.29 c 74.3s | 16 | 950102 | 173752 | 2381 145 | 10 | 51 244.25/244.30 c 76.4s | 16 | 979150 | 178752 | 2381 149 | 10 | 51 246.24/246.30 c 78.4s | 16 | 1008732 | 183352 | 2381 153 | 10 | 51 248.24/248.34 c 80.4s | 16 | 1036004 | 188152 | 2381 157 | 10 | 51 250.24/250.36 c 82.4s | 16 | 1066279 | 192452 | 2381 160 | 10 | 51 252.24/252.36 c 84.4s | 16 | 1090007 | 196752 | 2381 164 | 10 | 51 252.54/252.65 c 84.7s | 17 | 1091808 | 197432 | 2381 164 | 10 | 51 254.64/254.70 c 86.8s | 17 | 1120656 | 202032 | 2381 168 | 10 | 51 256.64/256.72 c 88.8s | 17 | 1143411 | 206532 | 2381 171 | 10 | 51 258.64/258.74 c 90.8s | 17 | 1165320 | 211132 | 2381 175 | 10 | 51 260.64/260.76 c 92.8s | 17 | 1186089 | 215732 | 2381 179 | 10 | 51 262.64/262.78 c 94.8s | 17 | 1208616 | 220032 | 2381 182 | 10 | 51 264.64/264.79 c 96.8s | 17 | 1227614 | 224632 | 2381 186 | 10 | 51 266.74/266.80 c 98.9s | 17 | 1249190 | 229132 | 2381 190 | 10 | 51 268.74/268.82 c 100s | 17 | 1274629 | 233832 | 2381 193 | 10 | 51 270.74/270.83 c 102s | 17 | 1299978 | 238632 | 2381 197 | 10 | 51 272.74/272.87 c 104s | 17 | 1322710 | 243732 | 2381 201 | 10 | 51 274.74/274.88 c 106s | 17 | 1351166 | 248532 | 2381 205 | 10 | 51 276.84/276.91 c 108s | 17 | 1376175 | 253332 | 2381 209 | 10 | 51 278.84/278.94 c 110s | 17 | 1394290 | 258132 | 2381 213 | 10 | 51 280.84/280.98 c 113s | 17 | 1418056 | 262732 | 2381 216 | 10 | 51 282.94/283.00 c 115s | 17 | 1440809 | 267532 | 2381 220 | 10 | 51 284.94/285.01 c 117s | 17 | 1461229 | 272132 | 2381 224 | 10 | 51 286.93/287.01 c 119s | 17 | 1481363 | 276632 | 2381 227 | 10 | 51 288.93/289.05 c 121s | 17 | 1501763 | 281032 | 2381 231 | 10 | 51 290.93/291.09 c 123s | 17 | 1521516 | 285532 | 2381 234 | 10 | 51 293.03/293.12 c 125s | 17 | 1542401 | 290232 | 2620 238 | 10 | 51 295.03/295.13 c 127s | 17 | 1567641 | 295132 | 2620 241 | 10 | 51 295.53/295.62 c 127s | 18 | 1571175 | 296252 | 2620 242 | 10 | 51 297.53/297.65 c 129s | 18 | 1595946 | 301052 | 2620 246 | 10 | 51 299.53/299.65 c 131s | 18 | 1621151 | 305852 | 2620 249 | 10 | 51 301.53/301.66 c 133s | 18 | 1648410 | 310452 | 2620 253 | 10 | 51 303.54/303.67 c 135s | 18 | 1674569 | 315052 | 2620 256 | 10 | 51 305.63/305.71 c 137s | 18 | 1698799 | 319552 | 2620 259 | 10 | 51 307.63/307.76 c 139s | 18 | 1721796 | 324052 | 2620 263 | 10 | 51 309.63/309.79 c 141s | 18 | 1745061 | 328052 | 2620 266 | 10 | 51 311.63/311.79 c 143s | 18 | 1771003 | 332552 | 2620 269 | 10 | 51 313.73/313.80 c 145s | 18 | 1797411 | 336952 | 2620 272 | 10 | 51 315.74/315.85 c 147s | 18 | 1823510 | 341552 | 2620 276 | 10 | 51 317.73/317.85 c 149s | 18 | 1850944 | 346252 | 2620 279 | 10 | 51 319.73/319.86 c 151s | 18 | 1870536 | 350452 | 2620 282 | 10 | 51 321.73/321.88 c 153s | 18 | 1897361 | 355152 | 2620 285 | 10 | 51 323.73/323.90 c 155s | 18 | 1921952 | 359752 | 2620 289 | 10 | 51 325.83/325.93 c 157s | 18 | 1945308 | 364052 | 2620 292 | 10 | 51 327.84/327.94 c 159s | 18 | 1969710 | 368352 | 2620 295 | 10 | 51 329.83/329.99 c 162s | 18 | 1993308 | 372852 | 2620 298 | 10 | 51 331.83/331.99 c 164s | 18 | 2017252 | 377152 | 2620 302 | 10 | 51 333.93/334.02 c 166s | 18 | 2039921 | 381352 | 2620 305 | 10 | 51 335.92/336.04 c 168s | 18 | 2061452 | 385852 | 2620 308 | 10 | 51 337.92/338.07 c 170s | 18 | 2083688 | 390252 | 2620 311 | 10 | 51 339.93/340.09 c 172s | 18 | 2103445 | 394552 | 2620 314 | 10 | 51 341.92/342.10 c 174s | 18 | 2125716 | 398952 | 2620 318 | 10 | 51 344.02/344.12 c 176s | 18 | 2147575 | 404052 | 2620 321 | 10 | 51 346.03/346.12 c 178s | 18 | 2171951 | 408852 | 2620 325 | 10 | 51 348.03/348.14 c 180s | 18 | 2196014 | 413752 | 2620 328 | 10 | 51 350.03/350.17 c 182s | 18 | 2221461 | 418552 | 2620 332 | 10 | 51 352.13/352.21 c 184s | 18 | 2245264 | 423152 | 2620 335 | 10 | 51 354.13/354.25 c 186s | 18 | 2269841 | 428052 | 2620 339 | 10 | 51 356.13/356.27 c 188s | 18 | 2297308 | 432652 | 2620 342 | 10 | 51 358.23/358.30 c 190s | 18 | 2324027 | 437652 | 2620 346 | 10 | 51 360.23/360.31 c 192s | 18 | 2345229 | 442252 | 2620 349 | 10 | 51 361.13/361.26 c 193s | 19 | 2355822 | 444482 | 2620 351 | 10 | 51 363.13/363.27 c 195s | 19 | 2380784 | 449382 | 2620 355 | 10 | 51 365.13/365.29 c 197s | 19 | 2409103 | 454082 | 2620 358 | 10 | 51 367.23/367.30 c 199s | 19 | 2433995 | 458582 | 2620 361 | 10 | 51 369.23/369.31 c 201s | 19 | 2454706 | 463682 | 2620 365 | 10 | 51 371.23/371.33 c 203s | 19 | 2480516 | 468082 | 2620 368 | 10 | 51 373.23/373.35 c 205s | 19 | 2505057 | 472382 | 2620 371 | 10 | 51 375.23/375.36 c 207s | 19 | 2532807 | 476882 | 2620 375 | 10 | 51 377.23/377.37 c 209s | 19 | 2555599 | 481282 | 2620 378 | 10 | 51 379.32/379.40 c 211s | 19 | 2579437 | 485482 | 2620 381 | 10 | 51 381.32/381.42 c 213s | 19 | 2608100 | 489882 | 2620 384 | 10 | 51 383.32/383.45 c 215s | 19 | 2638801 | 494682 | 2620 388 | 10 | 51 385.32/385.48 c 217s | 19 | 2667887 | 499082 | 2620 391 | 10 | 51 387.42/387.52 c 219s | 19 | 2693707 | 503982 | 2620 395 | 10 | 51 389.43/389.55 c 221s | 19 | 2717939 | 508182 | 2620 398 | 10 | 51 391.42/391.58 c 223s | 19 | 2744432 | 512682 | 2620 401 | 10 | 51 393.52/393.62 c 225s | 19 | 2771209 | 516982 | 2620 404 | 10 | 51 395.52/395.65 c 227s | 19 | 2799745 | 521482 | 2620 407 | 10 | 51 397.52/397.65 c 229s | 19 | 2820004 | 525682 | 2620 411 | 10 | 51 399.52/399.66 c 231s | 19 | 2840106 | 530082 | 2620 414 | 10 | 51 401.53/401.68 c 233s | 19 | 2869225 | 534782 | 2620 417 | 10 | 51 403.52/403.69 c 235s | 19 | 2896354 | 539382 | 2620 421 | 10 | 51 405.62/405.71 c 237s | 19 | 2919523 | 543882 | 2620 424 | 10 | 51 407.62/407.72 c 239s | 19 | 2945751 | 548282 | 2620 427 | 10 | 51 409.62/409.73 c 241s | 19 | 2971266 | 552382 | 2620 430 | 10 | 51 411.62/411.76 c 243s | 19 | 2999345 | 556782 | 2620 433 | 10 | 51 413.62/413.79 c 245s | 19 | 3026629 | 561082 | 2620 436 | 10 | 51 415.72/415.82 c 247s | 19 | 3051887 | 565382 | 2620 440 | 10 | 51 417.71/417.83 c 249s | 19 | 3077696 | 569482 | 2620 443 | 10 | 51 419.71/419.83 c 251s | 19 | 3101930 | 573682 | 2620 446 | 10 | 51 421.71/421.85 c 253s | 19 | 3132590 | 578282 | 2620 449 | 10 | 51 423.71/423.88 c 255s | 19 | 3160025 | 582982 | 2620 453 | 10 | 51 425.81/425.92 c 257s | 19 | 3184718 | 587682 | 2620 456 | 10 | 51 427.82/427.95 c 260s | 19 | 3213853 | 592282 | 2620 459 | 10 | 51 429.81/429.96 c 262s | 19 | 3237370 | 596882 | 2620 463 | 10 | 51 431.81/431.96 c 264s | 19 | 3262980 | 601382 | 2620 466 | 10 | 51 433.81/433.97 c 266s | 19 | 3289307 | 605782 | 2620 469 | 10 | 51 435.81/435.98 c 268s | 19 | 3318129 | 610582 | 2620 473 | 10 | 51 437.82/437.99 c 270s | 19 | 3348573 | 615282 | 2620 476 | 10 | 51 439.81/440.00 c 272s | 19 | 3381335 | 619982 | 2883 480 | 10 | 51 441.91/442.01 c 274s | 19 | 3408293 | 624582 | 2883 483 | 10 | 51 443.91/444.04 c 276s | 19 | 3434738 | 629182 | 2883 486 | 10 | 51 445.91/446.07 c 278s | 19 | 3462719 | 633782 | 2883 489 | 10 | 51 448.01/448.10 c 280s | 19 | 3484303 | 638082 | 2883 492 | 10 | 51 450.01/450.11 c 282s | 19 | 3511956 | 642382 | 2883 495 | 10 | 51 452.01/452.14 c 284s | 19 | 3533505 | 646982 | 2883 498 | 10 | 51 454.01/454.16 c 286s | 19 | 3560844 | 651282 | 2883 501 | 10 | 51 456.11/456.20 c 288s | 19 | 3591418 | 655882 | 2883 504 | 10 | 51 458.11/458.24 c 290s | 19 | 3615446 | 660282 | 2883 507 | 10 | 51 460.11/460.28 c 292s | 19 | 3645046 | 664582 | 2883 510 | 10 | 51 461.11/461.24 c 293s | 20 | 3657572 | 666827 | 2883 511 | 10 | 51 463.11/463.28 c 295s | 20 | 3687046 | 671327 | 2883 514 | 10 | 51 465.11/465.29 c 297s | 20 | 3706187 | 676127 | 2883 517 | 10 | 51 467.10/467.29 c 299s | 20 | 3733066 | 680627 | 2883 520 | 10 | 51 469.20/469.34 c 301s | 20 | 3759385 | 685427 | 2883 523 | 10 | 51 471.20/471.37 c 303s | 20 | 3785228 | 690227 | 2883 527 | 10 | 51 473.30/473.40 c 305s | 20 | 3813743 | 695027 | 2883 530 | 10 | 51 475.30/475.44 c 307s | 20 | 3839592 | 699627 | 2883 533 | 10 | 51 477.31/477.44 c 309s | 20 | 3862275 | 704127 | 2883 536 | 10 | 51 479.40/479.58 c 311s | 20 | 3886105 | 708627 | 2883 539 | 10 | 51 481.50/481.62 c 313s | 20 | 3911396 | 713127 | 2883 542 | 10 | 51 483.50/483.63 c 315s | 20 | 3936710 | 717727 | 2883 545 | 10 | 51 485.50/485.64 c 317s | 20 | 3965194 | 722327 | 2883 548 | 10 | 51 487.50/487.67 c 319s | 20 | 3993619 | 726927 | 2883 551 | 10 | 51 489.60/489.71 c 321s | 20 | 4023929 | 731427 | 2883 554 | 10 | 51 491.60/491.73 c 323s | 20 | 4055175 | 736027 | 2883 557 | 10 | 51 493.60/493.76 c 325s | 20 | 4082111 | 740327 | 2883 560 | 10 | 51 495.61/495.78 c 327s | 20 | 4105713 | 744927 | 2883 563 | 10 | 51 497.71/497.82 c 329s | 20 | 4133543 | 749327 | 2883 566 | 10 | 51 499.71/499.84 c 331s | 20 | 4163610 | 753727 | 2883 569 | 10 | 51 501.70/501.86 c 333s | 20 | 4195183 | 758427 | 2883 572 | 10 | 51 503.71/503.87 c 335s | 20 | 4218585 | 762827 | 2883 575 | 10 | 51 505.70/505.89 c 337s | 20 | 4247965 | 767427 | 2883 578 | 10 | 51 507.80/507.90 c 339s | 20 | 4273675 | 771927 | 2883 581 | 10 | 51 509.80/509.94 c 341s | 20 | 4295430 | 776327 | 2883 584 | 10 | 51 511.80/511.94 c 343s | 20 | 4322604 | 780727 | 2883 587 | 10 | 51 513.80/513.98 c 346s | 20 | 4346417 | 785127 | 2883 590 | 10 | 51 515.81/515.98 c 348s | 20 | 4371894 | 789727 | 2883 593 | 10 | 51 517.90/518.02 c 350s | 20 | 4398444 | 794127 | 2883 596 | 10 | 51 519.90/520.05 c 352s | 20 | 4422648 | 798427 | 2883 599 | 10 | 51 521.90/522.05 c 354s | 20 | 4444370 | 802527 | 2883 602 | 10 | 51 523.90/524.09 c 356s | 20 | 4469304 | 807027 | 2883 605 | 10 | 51 526.00/526.14 c 358s | 20 | 4493705 | 811227 | 2883 608 | 10 | 51 528.01/528.16 c 360s | 20 | 4521712 | 815627 | 2883 611 | 10 | 51 530.00/530.18 c 362s | 20 | 4544686 | 819727 | 2883 614 | 10 | 51 532.10/532.22 c 364s | 20 | 4571518 | 823827 | 2883 616 | 10 | 51 534.10/534.27 c 366s | 20 | 4596324 | 828027 | 2883 619 | 10 | 51 536.10/536.28 c 368s | 20 | 4617885 | 832027 | 2883 622 | 10 | 51 538.10/538.28 c 370s | 20 | 4640242 | 835827 | 2883 625 | 10 | 51 540.20/540.32 c 372s | 20 | 4664714 | 840027 | 2883 627 | 10 | 51 542.20/542.32 c 374s | 20 | 4689299 | 844027 | 2883 630 | 10 | 51 544.20/544.38 c 376s | 20 | 4712646 | 848027 | 2883 633 | 10 | 51 546.30/546.41 c 378s | 20 | 4729819 | 851427 | 2883 635 | 10 | 51 548.30/548.46 c 380s | 20 | 4757807 | 856227 | 2883 638 | 10 | 51 550.30/550.48 c 382s | 20 | 4785673 | 860827 | 2883 641 | 10 | 51 552.30/552.49 c 384s | 20 | 4808405 | 865427 | 2883 644 | 10 | 51 554.40/554.54 c 386s | 20 | 4831561 | 869927 | 2883 647 | 10 | 51 556.40/556.58 c 388s | 20 | 4856619 | 874427 | 2883 651 | 10 | 51 558.50/558.62 c 390s | 20 | 4882324 | 878827 | 2883 653 | 10 | 51 560.49/560.65 c 392s | 20 | 4910237 | 883427 | 2883 657 | 10 | 51 562.49/562.66 c 394s | 20 | 4933673 | 887927 | 2883 660 | 10 | 51 564.49/564.66 c 396s | 20 | 4961673 | 892327 | 2883 663 | 10 | 51 566.50/566.69 c 398s | 20 | 4986198 | 896927 | 2883 666 | 10 | 51 568.60/568.71 c 400s | 20 | 5012004 | 901427 | 2883 669 | 10 | 51 570.59/570.71 c 402s | 20 | 5035718 | 905827 | 2883 672 | 10 | 51 572.59/572.77 c 404s | 20 | 5056822 | 910127 | 2883 675 | 10 | 51 574.69/574.81 c 406s | 20 | 5080946 | 914627 | 2883 678 | 10 | 51 576.69/576.81 c 408s | 20 | 5104386 | 919027 | 2883 680 | 10 | 51 578.69/578.86 c 410s | 20 | 5126310 | 923527 | 2883 684 | 10 | 51 580.70/580.90 c 412s | 20 | 5150535 | 928027 | 2883 687 | 10 | 51 582.79/582.92 c 414s | 20 | 5173611 | 932427 | 2883 690 | 10 | 51 584.79/584.98 c 417s | 20 | 5197209 | 936827 | 2883 693 | 10 | 51 586.79/586.99 c 419s | 20 | 5220297 | 941327 | 2883 696 | 10 | 51 588.89/589.01 c 421s | 20 | 5239109 | 945027 | 2883 698 | 10 | 51 590.89/591.04 c 423s | 20 | 5263291 | 949427 | 2883 701 | 10 | 51 592.90/593.07 c 425s | 20 | 5291626 | 954327 | 2883 704 | 10 | 51 594.89/595.07 c 427s | 20 | 5322301 | 959127 | 2883 708 | 10 | 51 596.89/597.08 c 429s | 20 | 5350468 | 964127 | 2883 711 | 10 | 51 598.89/599.08 c 431s | 20 | 5379016 | 968927 | 2883 714 | 10 | 51 600.89/601.09 c 433s | 20 | 5405377 | 973227 | 2883 717 | 10 | 51 602.99/603.13 c 435s | 20 | 5435932 | 977927 | 2883 720 | 10 | 51 604.99/605.13 c 437s | 20 | 5465470 | 982927 | 2883 723 | 10 | 51 606.99/607.14 c 439s | 20 | 5494484 | 987527 | 2883 727 | 10 | 51 608.99/609.17 c 441s | 20 | 5523933 | 992227 | 2883 730 | 10 | 51 610.99/611.18 c 443s | 20 | 5547535 | 996827 | 2883 733 | 10 | 51 612.49/612.70 c 444s | 21 | 5565955 | 1000345 | 2883 735 | 10 | 51 614.59/614.73 c 446s | 21 | 5595342 | 1005445 | 2883 738 | 10 | 51 616.58/616.75 c 448s | 21 | 5618648 | 1010145 | 2883 741 | 10 | 51 618.58/618.76 c 450s | 21 | 5648387 | 1015345 | 2883 745 | 10 | 51 620.58/620.79 c 452s | 21 | 5674886 | 1020045 | 2883 748 | 10 | 51 622.68/622.82 c 454s | 21 | 5699377 | 1024345 | 2883 751 | 10 | 51 624.69/624.85 c 456s | 21 | 5722381 | 1029045 | 2883 754 | 10 | 51 626.68/626.87 c 458s | 21 | 5748442 | 1033345 | 2883 757 | 10 | 51 628.68/628.87 c 460s | 21 | 5776716 | 1038145 | 2883 760 | 10 | 51 630.68/630.89 c 462s | 21 | 5804583 | 1042445 | 2883 763 | 10 | 51 632.78/632.94 c 464s | 21 | 5839968 | 1047345 | 2883 766 | 10 | 51 634.78/634.95 c 467s | 21 | 5863410 | 1051845 | 2883 769 | 10 | 51 636.79/636.97 c 469s | 21 | 5892401 | 1056745 | 2883 772 | 10 | 51 638.88/639.02 c 471s | 21 | 5918966 | 1061145 | 2883 775 | 10 | 51 640.88/641.02 c 473s | 21 | 5947167 | 1065245 | 2883 778 | 10 | 51 642.88/643.03 c 475s | 21 | 5971138 | 1069645 | 2883 781 | 10 | 51 644.88/645.07 c 477s | 21 | 5987494 | 1073845 | 2883 784 | 10 | 51 646.98/647.12 c 479s | 21 | 6012434 | 1078345 | 2883 787 | 10 | 51 648.98/649.12 c 481s | 21 | 6035882 | 1082845 | 2883 790 | 10 | 51 650.98/651.14 c 483s | 21 | 6060780 | 1087345 | 2883 793 | 10 | 51 652.98/653.17 c 485s | 21 | 6086355 | 1091945 | 2883 796 | 10 | 51 654.98/655.17 c 487s | 21 | 6107129 | 1096145 | 2883 798 | 10 | 51 656.98/657.17 c 489s | 21 | 6129954 | 1100345 | 2883 801 | 10 | 51 659.07/659.20 c 491s | 21 | 6152974 | 1104445 | 2883 804 | 10 | 51 661.08/661.21 c 493s | 21 | 6173485 | 1108645 | 2883 807 | 10 | 51 663.07/663.24 c 495s | 21 | 6192783 | 1112745 | 2883 809 | 10 | 51 665.07/665.29 c 497s | 21 | 6214734 | 1116845 | 3172 812 | 10 | 51 667.07/667.29 c 499s | 21 | 6232637 | 1120645 | 3172 814 | 10 | 51 669.17/669.32 c 501s | 21 | 6248642 | 1124145 | 3172 816 | 10 | 51 671.17/671.35 c 503s | 21 | 6274938 | 1128345 | 3172 819 | 10 | 51 673.18/673.38 c 505s | 21 | 6298078 | 1132645 | 3172 822 | 10 | 51 675.17/675.38 c 507s | 21 | 6322887 | 1136845 | 3172 824 | 10 | 51 677.17/677.38 c 509s | 21 | 6353501 | 1141545 | 3172 827 | 10 | 51 679.27/679.42 c 511s | 21 | 6380874 | 1146045 | 3172 830 | 10 | 51 681.27/681.45 c 513s | 21 | 6414012 | 1150845 | 3172 833 | 10 | 51 683.27/683.45 c 515s | 21 | 6442991 | 1155245 | 3172 835 | 10 | 51 685.28/685.47 c 517s | 21 | 6471932 | 1159745 | 3172 838 | 10 | 51 687.28/687.48 c 519s | 21 | 6500080 | 1164045 | 3172 841 | 10 | 51 689.38/689.51 c 521s | 21 | 6523954 | 1168445 | 3172 843 | 10 | 51 691.38/691.53 c 523s | 21 | 6545713 | 1172445 | 3172 846 | 10 | 51 693.38/693.57 c 525s | 21 | 6569382 | 1176945 | 3172 849 | 10 | 51 695.47/695.61 c 527s | 21 | 6594731 | 1180845 | 3172 851 | 10 | 51 697.47/697.63 c 529s | 21 | 6620139 | 1185045 | 3172 854 | 10 | 51 699.48/699.67 c 531s | 21 | 6643601 | 1189545 | 3172 856 | 10 | 51 701.47/701.69 c 533s | 21 | 6668831 | 1193545 | 3172 859 | 10 | 51 703.57/703.72 c 535s | 21 | 6693227 | 1197745 | 3172 861 | 10 | 51 705.57/705.74 c 537s | 21 | 6715223 | 1202045 | 3172 864 | 10 | 51 707.57/707.75 c 539s | 21 | 6738252 | 1206145 | 3172 867 | 10 | 51 709.57/709.76 c 541s | 21 | 6759305 | 1210145 | 3172 869 | 10 | 51 711.58/711.79 c 543s | 21 | 6779079 | 1213945 | 3172 871 | 10 | 51 713.67/713.82 c 545s | 21 | 6799578 | 1218145 | 3172 874 | 10 | 51 715.67/715.83 c 547s | 21 | 6820007 | 1222045 | 3172 876 | 10 | 51 717.67/717.86 c 549s | 21 | 6838761 | 1225945 | 3172 879 | 10 | 51 719.77/719.90 c 551s | 21 | 6858775 | 1229945 | 3172 881 | 10 | 51 721.77/721.94 c 553s | 21 | 6876360 | 1233645 | 3172 883 | 10 | 51 723.78/723.99 c 556s | 21 | 6893319 | 1237545 | 3172 886 | 10 | 51 725.87/726.01 c 558s | 21 | 6912849 | 1241345 | 3172 888 | 10 | 51 727.87/728.02 c 560s | 21 | 6930672 | 1245145 | 3172 891 | 10 | 51 729.87/730.05 c 562s | 21 | 6947586 | 1248745 | 3172 893 | 10 | 51 731.87/732.06 c 564s | 21 | 6962484 | 1252345 | 3172 895 | 10 | 51 733.87/734.09 c 566s | 21 | 6979333 | 1255445 | 3172 897 | 10 | 51 735.97/736.13 c 568s | 21 | 7000893 | 1259445 | 3172 899 | 10 | 51 737.97/738.16 c 570s | 21 | 7025234 | 1263445 | 3172 902 | 10 | 51 739.97/740.19 c 572s | 21 | 7046135 | 1267645 | 3172 904 | 10 | 51 742.07/742.20 c 574s | 21 | 7066389 | 1271845 | 3172 907 | 10 | 51 744.06/744.22 c 576s | 21 | 7090992 | 1276345 | 3172 910 | 10 | 51 746.06/746.25 c 578s | 21 | 7114248 | 1280745 | 3172 912 | 10 | 51 748.06/748.27 c 580s | 21 | 7142883 | 1285045 | 3172 915 | 10 | 51 750.17/750.30 c 582s | 21 | 7170338 | 1289545 | 3172 918 | 10 | 51 752.16/752.34 c 584s | 21 | 7196842 | 1293745 | 3172 920 | 10 | 51 754.16/754.34 c 586s | 21 | 7224019 | 1297745 | 3172 923 | 10 | 51 756.16/756.35 c 588s | 21 | 7253068 | 1302345 | 3172 926 | 10 | 51 758.16/758.37 c 590s | 21 | 7276133 | 1306245 | 3172 928 | 10 | 51 760.16/760.39 c 592s | 21 | 7304852 | 1310645 | 3172 931 | 10 | 51 762.27/762.43 c 594s | 21 | 7335610 | 1315145 | 3172 933 | 10 | 51 764.26/764.46 c 596s | 21 | 7366079 | 1319245 | 3172 936 | 10 | 51 766.36/766.51 c 598s | 21 | 7390332 | 1323345 | 3172 938 | 10 | 51 768.36/768.53 c 600s | 21 | 7414784 | 1327445 | 3172 941 | 10 | 51 770.36/770.53 c 602s | 21 | 7437757 | 1331445 | 3172 943 | 10 | 51 772.36/772.55 c 604s | 21 | 7460889 | 1335345 | 3172 946 | 10 | 51 774.46/774.60 c 606s | 21 | 7485911 | 1339845 | 3172 949 | 10 | 51 776.46/776.65 c 608s | 21 | 7509819 | 1344145 | 3172 951 | 10 | 51 778.46/778.67 c 610s | 21 | 7532255 | 1347945 | 3172 954 | 10 | 51 780.46/780.67 c 612s | 21 | 7553367 | 1351845 | 3172 956 | 10 | 51 782.56/782.71 c 614s | 21 | 7576322 | 1355545 | 3172 958 | 10 | 51 784.56/784.79 c 616s | 21 | 7596715 | 1359045 | 3172 960 | 10 | 51 786.66/786.81 c 618s | 21 | 7618221 | 1363245 | 3172 963 | 10 | 51 788.66/788.84 c 620s | 21 | 7648258 | 1367445 | 3172 966 | 10 | 51 790.66/790.86 c 622s | 21 | 7667909 | 1371745 | 3172 968 | 10 | 51 792.66/792.86 c 624s | 21 | 7687934 | 1376245 | 3172 971 | 10 | 51 794.66/794.88 c 626s | 21 | 7704168 | 1380145 | 3172 973 | 10 | 51 796.66/796.89 c 628s | 21 | 7725422 | 1383845 | 3172 975 | 10 | 51 798.76/798.91 c 630s | 21 | 7749303 | 1388345 | 3172 978 | 10 | 51 800.76/800.93 c 632s | 21 | 7769740 | 1392945 | 3172 981 | 10 | 51 802.75/802.94 c 634s | 21 | 7790115 | 1396845 | 3172 983 | 10 | 51 804.75/804.95 c 637s | 21 | 7808594 | 1400945 | 3172 986 | 10 | 51 806.75/806.96 c 639s | 21 | 7826041 | 1404845 | 3172 988 | 10 | 51 808.85/809.00 c 641s | 21 | 7848792 | 1408845 | 3172 990 | 10 | 51 810.85/811.04 c 643s | 21 | 7873266 | 1412845 | 3172 993 | 10 | 51 812.86/813.08 c 645s | 21 | 7894050 | 1416645 | 3172 995 | 10 | 51 814.96/815.12 c 647s | 21 | 7914336 | 1420845 | 3172 998 | 10 | 51 816.95/817.12 c 649s | 21 | 7933802 | 1424645 | 3172 1000 | 10 | 51 818.95/819.16 c 651s | 21 | 7953777 | 1428645 | 3172 1002 | 10 | 51 820.95/821.17 c 653s | 21 | 7971920 | 1432245 | 3172 1004 | 10 | 51 822.95/823.18 c 655s | 21 | 7990651 | 1435645 | 3172 1007 | 10 | 51 825.05/825.22 c 657s | 21 | 8015402 | 1439645 | 3172 1009 | 10 | 51 827.05/827.24 c 659s | 21 | 8036132 | 1443945 | 3172 1012 | 10 | 51 829.05/829.27 c 661s | 21 | 8064238 | 1448445 | 3172 1014 | 10 | 51 831.06/831.29 c 663s | 21 | 8086280 | 1452145 | 3172 1017 | 10 | 51 833.16/833.33 c 665s | 21 | 8113758 | 1456545 | 3172 1019 | 10 | 51 835.16/835.35 c 667s | 21 | 8143036 | 1460745 | 3172 1022 | 10 | 51 837.15/837.38 c 669s | 21 | 8166202 | 1464845 | 3172 1024 | 10 | 51 839.16/839.39 c 671s | 21 | 8191739 | 1469045 | 3172 1027 | 10 | 51 841.25/841.42 c 673s | 21 | 8213583 | 1472845 | 3172 1029 | 10 | 51 843.25/843.48 c 675s | 21 | 8236777 | 1476645 | 3172 1032 | 10 | 51 845.35/845.50 c 677s | 21 | 8259270 | 1480945 | 3172 1034 | 10 | 51 847.35/847.52 c 679s | 21 | 8278530 | 1484845 | 3172 1037 | 10 | 51 849.35/849.53 c 681s | 21 | 8300255 | 1488645 | 3172 1039 | 10 | 51 851.36/851.56 c 683s | 21 | 8323076 | 1492445 | 3172 1041 | 10 | 51 853.35/853.59 c 685s | 21 | 8344059 | 1496145 | 3172 1044 | 10 | 51 855.45/855.61 c 687s | 21 | 8364573 | 1500045 | 3172 1046 | 10 | 51 855.66/855.88 c 687s | 22 | 8366902 | 1500622 | 3172 1046 | 10 | 51 857.65/857.89 c 689s | 22 | 8387094 | 1504122 | 3172 1048 | 10 | 51 859.65/859.89 c 691s | 22 | 8413320 | 1508922 | 3172 1051 | 10 | 51 861.75/861.90 c 693s | 22 | 8440013 | 1513922 | 3172 1054 | 10 | 51 863.75/863.93 c 695s | 22 | 8464885 | 1518822 | 3172 1057 | 10 | 51 865.75/865.95 c 698s | 22 | 8488912 | 1523922 | 3172 1061 | 10 | 51 867.75/867.95 c 700s | 22 | 8514157 | 1528922 | 3172 1063 | 10 | 51 869.75/869.97 c 702s | 22 | 8544577 | 1534222 | 3172 1067 | 10 | 51 871.75/871.99 c 704s | 22 | 8570371 | 1539422 | 3172 1070 | 10 | 51 873.75/873.99 c 706s | 22 | 8594425 | 1544322 | 3172 1073 | 10 | 51 875.85/876.02 c 708s | 22 | 8619101 | 1549422 | 3172 1076 | 10 | 51 877.85/878.05 c 710s | 22 | 8643596 | 1554322 | 3172 1079 | 10 | 51 879.85/880.08 c 712s | 22 | 8669700 | 1559322 | 3172 1082 | 10 | 51 881.85/882.09 c 714s | 22 | 8695545 | 1563822 | 3172 1085 | 10 | 51 883.94/884.10 c 716s | 22 | 8722609 | 1568122 | 3172 1087 | 10 | 51 885.94/886.11 c 718s | 22 | 8750310 | 1572822 | 3172 1090 | 10 | 51 887.94/888.15 c 720s | 22 | 8770270 | 1577722 | 3172 1093 | 10 | 51 889.94/890.16 c 722s | 22 | 8791394 | 1582222 | 3172 1096 | 10 | 51 891.95/892.18 c 724s | 22 | 8816951 | 1586722 | 3172 1099 | 10 | 51 893.94/894.18 c 726s | 22 | 8843777 | 1591222 | 3172 1101 | 10 | 51 896.04/896.22 c 728s | 22 | 8871410 | 1595922 | 3172 1104 | 10 | 51 898.04/898.24 c 730s | 22 | 8897693 | 1600122 | 3172 1107 | 10 | 51 900.04/900.27 c 732s | 22 | 8920082 | 1604622 | 3172 1110 | 10 | 51 902.04/902.27 c 734s | 22 | 8942171 | 1609122 | 3172 1112 | 10 | 51 904.15/904.31 c 736s | 22 | 8967028 | 1613722 | 3172 1115 | 10 | 51 906.14/906.31 c 738s | 22 | 8991162 | 1618322 | 3172 1118 | 10 | 51 908.14/908.32 c 740s | 22 | 9011323 | 1622722 | 3172 1121 | 10 | 51 910.14/910.34 c 742s | 22 | 9030122 | 1626922 | 3172 1123 | 10 | 51 912.14/912.34 c 744s | 22 | 9047432 | 1630322 | 3172 1126 | 10 | 51 914.14/914.36 c 746s | 22 | 9078725 | 1634622 | 3172 1128 | 10 | 51 916.14/916.38 c 748s | 22 | 9101867 | 1639422 | 3172 1131 | 10 | 51 918.14/918.39 c 750s | 22 | 9128821 | 1644022 | 3172 1134 | 10 | 51 920.24/920.41 c 752s | 22 | 9153534 | 1648122 | 3172 1136 | 10 | 51 922.23/922.44 c 754s | 22 | 9183034 | 1652622 | 3172 1139 | 10 | 51 924.23/924.46 c 756s | 22 | 9210462 | 1657322 | 3172 1142 | 10 | 51 926.23/926.48 c 758s | 22 | 9239685 | 1661622 | 3172 1145 | 10 | 51 928.24/928.49 c 760s | 22 | 9264026 | 1666222 | 3172 1148 | 10 | 51 930.33/930.54 c 762s | 22 | 9286951 | 1670722 | 3172 1150 | 10 | 51 932.33/932.55 c 764s | 22 | 9312442 | 1674922 | 3172 1153 | 10 | 51 934.33/934.56 c 766s | 22 | 9339885 | 1679422 | 3172 1156 | 10 | 51 936.43/936.60 c 768s | 22 | 9361286 | 1683922 | 3172 1158 | 10 | 51 938.43/938.64 c 770s | 22 | 9385851 | 1688422 | 3172 1161 | 10 | 51 940.44/940.66 c 772s | 22 | 9410523 | 1692722 | 3172 1164 | 10 | 51 942.43/942.69 c 774s | 22 | 9431666 | 1697322 | 3172 1167 | 10 | 51 944.53/944.71 c 776s | 22 | 9454724 | 1701622 | 3172 1169 | 10 | 51 946.53/946.74 c 778s | 22 | 9476658 | 1705922 | 3172 1172 | 10 | 51 948.63/948.80 c 780s | 22 | 9498848 | 1710322 | 3172 1175 | 10 | 51 950.63/950.82 c 782s | 22 | 9522785 | 1714622 | 3172 1177 | 10 | 51 952.63/952.85 c 784s | 22 | 9547026 | 1719222 | 3172 1180 | 10 | 51 954.64/954.87 c 786s | 22 | 9568679 | 1723322 | 3172 1183 | 10 | 51 956.74/956.94 c 788s | 22 | 9588065 | 1727122 | 3172 1185 | 10 | 51 958.74/958.98 c 791s | 22 | 9608786 | 1730922 | 3172 1187 | 10 | 51 960.84/961.01 c 793s | 22 | 9631540 | 1734822 | 3172 1190 | 10 | 51 962.84/963.06 c 795s | 22 | 9664822 | 1739622 | 3172 1193 | 10 | 51 964.84/965.06 c 797s | 22 | 9690121 | 1744122 | 3172 1195 | 10 | 51 966.84/967.09 c 799s | 22 | 9718160 | 1749222 | 3172 1198 | 10 | 51 968.83/969.09 c 801s | 22 | 9746382 | 1753822 | 3172 1201 | 10 | 51 970.93/971.13 c 803s | 22 | 9768784 | 1758522 | 3172 1204 | 10 | 51 972.93/973.17 c 805s | 22 | 9795395 | 1763122 | 3172 1207 | 10 | 51 974.93/975.18 c 807s | 22 | 9821415 | 1767422 | 3172 1209 | 10 | 51 976.93/977.19 c 809s | 22 | 9848215 | 1771622 | 3172 1212 | 10 | 51 979.03/979.21 c 811s | 22 | 9873084 | 1776222 | 3172 1215 | 10 | 51 981.04/981.22 c 813s | 22 | 9895203 | 1780622 | 3172 1217 | 10 | 51 983.03/983.27 c 815s | 22 | 9921549 | 1785322 | 3172 1220 | 10 | 51 985.03/985.28 c 817s | 22 | 9945270 | 1789622 | 3172 1223 | 10 | 51 987.03/987.28 c 819s | 22 | 9969933 | 1793922 | 3172 1226 | 10 | 51 989.13/989.32 c 821s | 22 | 9994366 | 1798422 | 3172 1228 | 10 | 51 991.13/991.36 c 823s | 22 | 10023678 | 1802522 | 3172 1231 | 10 | 51 993.14/993.38 c 825s | 22 | 10048422 | 1807022 | 3172 1234 | 10 | 51 995.13/995.39 c 827s | 22 | 10068761 | 1811222 | 3172 1236 | 10 | 51 997.23/997.40 c 829s | 22 | 10091069 | 1815422 | 3172 1239 | 10 | 51 999.23/999.40 c 831s | 22 | 10110723 | 1819422 | 3172 1241 | 10 | 51 1001.23/1001.44 c 833s | 22 | 10133740 | 1823722 | 3172 1244 | 10 | 51 1003.23/1003.47 c 835s | 22 | 10157291 | 1828222 | 3172 1247 | 10 | 51 1005.23/1005.50 c 837s | 22 | 10181989 | 1832722 | 3172 1249 | 10 | 51 1007.33/1007.53 c 839s | 22 | 10206059 | 1837022 | 3172 1252 | 10 | 51 1009.33/1009.56 c 841s | 22 | 10226771 | 1841522 | 3172 1255 | 10 | 51 1011.43/1011.60 c 843s | 22 | 10247198 | 1845722 | 3172 1258 | 10 | 51 1013.43/1013.64 c 845s | 22 | 10261349 | 1849222 | 3172 1260 | 10 | 51 1015.43/1015.66 c 847s | 22 | 10284128 | 1853622 | 3172 1262 | 10 | 51 1017.53/1017.70 c 849s | 22 | 10311377 | 1858222 | 3172 1265 | 10 | 51 1019.53/1019.72 c 851s | 22 | 10340587 | 1862922 | 3490 1268 | 10 | 51 1021.53/1021.75 c 853s | 22 | 10367939 | 1867622 | 3490 1270 | 10 | 51 1023.53/1023.77 c 855s | 22 | 10391529 | 1872422 | 3490 1273 | 10 | 51 1025.53/1025.77 c 857s | 22 | 10419329 | 1876822 | 3490 1275 | 10 | 51 1027.52/1027.77 c 859s | 22 | 10443643 | 1881422 | 3490 1278 | 10 | 51 1029.62/1029.81 c 861s | 22 | 10478253 | 1886122 | 3490 1281 | 10 | 51 1031.63/1031.83 c 863s | 22 | 10503469 | 1890522 | 3490 1283 | 10 | 51 1033.62/1033.85 c 865s | 22 | 10526161 | 1894922 | 3490 1286 | 10 | 51 1035.72/1035.90 c 867s | 22 | 10554117 | 1899422 | 3490 1288 | 10 | 51 1037.72/1037.94 c 869s | 22 | 10580850 | 1903522 | 3490 1290 | 10 | 51 1039.72/1039.96 c 872s | 22 | 10606522 | 1907722 | 3490 1293 | 10 | 51 1041.72/1041.99 c 874s | 22 | 10628638 | 1911922 | 3490 1295 | 10 | 51 1043.73/1043.99 c 876s | 22 | 10656495 | 1916222 | 3490 1297 | 10 | 51 1045.82/1046.04 c 878s | 22 | 10685041 | 1920522 | 3490 1300 | 10 | 51 1047.82/1048.05 c 880s | 22 | 10709748 | 1925022 | 3490 1302 | 10 | 51 1049.82/1050.09 c 882s | 22 | 10738334 | 1929222 | 3490 1305 | 10 | 51 1051.92/1052.13 c 884s | 22 | 10762549 | 1933622 | 3490 1307 | 10 | 51 1053.92/1054.14 c 886s | 22 | 10780975 | 1937422 | 3490 1309 | 10 | 51 1055.93/1056.17 c 888s | 22 | 10804748 | 1941722 | 3490 1312 | 10 | 51 1058.02/1058.21 c 890s | 22 | 10828897 | 1945822 | 3490 1314 | 10 | 51 1060.02/1060.22 c 892s | 22 | 10849622 | 1949922 | 3490 1316 | 10 | 51 1062.02/1062.24 c 894s | 22 | 10870504 | 1953922 | 3490 1318 | 10 | 51 1064.02/1064.26 c 896s | 22 | 10888636 | 1957922 | 3490 1321 | 10 | 51 1066.12/1066.33 c 898s | 22 | 10910932 | 1962022 | 3490 1323 | 10 | 51 1068.22/1068.42 c 900s | 22 | 10926859 | 1965322 | 3490 1325 | 10 | 51 1070.22/1070.44 c 902s | 22 | 10950122 | 1969322 | 3490 1327 | 10 | 51 1072.22/1072.47 c 904s | 22 | 10974175 | 1973722 | 3490 1330 | 10 | 51 1074.31/1074.50 c 906s | 22 | 10998139 | 1978322 | 3490 1332 | 10 | 51 1076.31/1076.55 c 908s | 22 | 11021769 | 1982422 | 3490 1334 | 10 | 51 1078.31/1078.57 c 910s | 22 | 11045381 | 1986422 | 3490 1337 | 10 | 51 1080.31/1080.59 c 912s | 22 | 11064588 | 1990222 | 3490 1339 | 10 | 51 1082.41/1082.61 c 914s | 22 | 11084392 | 1994522 | 3490 1341 | 10 | 51 1084.42/1084.64 c 916s | 22 | 11102408 | 1998122 | 3490 1343 | 10 | 51 1086.41/1086.65 c 918s | 22 | 11120778 | 2002422 | 3490 1345 | 10 | 51 1088.41/1088.67 c 920s | 22 | 11147085 | 2006422 | 3490 1347 | 10 | 51 1090.51/1090.71 c 922s | 22 | 11171832 | 2010522 | 3490 1350 | 10 | 51 1092.51/1092.75 c 924s | 22 | 11190970 | 2014122 | 3490 1352 | 10 | 51 1094.51/1094.78 c 926s | 22 | 11214119 | 2018022 | 3490 1354 | 10 | 51 1096.52/1096.80 c 928s | 22 | 11239471 | 2022122 | 3490 1356 | 10 | 51 1098.61/1098.84 c 930s | 22 | 11263254 | 2026322 | 3490 1358 | 10 | 51 1100.61/1100.87 c 932s | 22 | 11288013 | 2030622 | 3490 1361 | 10 | 51 1102.61/1102.89 c 934s | 22 | 11311179 | 2034622 | 3490 1363 | 10 | 51 1104.71/1104.91 c 936s | 22 | 11333532 | 2039222 | 3490 1365 | 10 | 51 1106.71/1106.96 c 939s | 22 | 11353654 | 2043122 | 3490 1368 | 10 | 51 1108.71/1108.98 c 941s | 22 | 11377089 | 2047422 | 3490 1370 | 10 | 51 1110.81/1111.01 c 943s | 22 | 11402915 | 2051922 | 3490 1372 | 10 | 51 1112.80/1113.04 c 945s | 22 | 11427205 | 2056322 | 3490 1375 | 10 | 51 1114.80/1115.08 c 947s | 22 | 11449519 | 2060722 | 3490 1377 | 10 | 51 1116.80/1117.09 c 949s | 22 | 11467193 | 2064322 | 3490 1379 | 10 | 51 1118.80/1119.09 c 951s | 22 | 11486400 | 2068022 | 3490 1381 | 10 | 51 1120.90/1121.14 c 953s | 22 | 11512624 | 2072122 | 3490 1383 | 10 | 51 1122.91/1123.15 c 955s | 22 | 11534365 | 2076122 | 3490 1386 | 10 | 51 1124.90/1125.18 c 957s | 22 | 11556678 | 2080222 | 3490 1388 | 10 | 51 1127.00/1127.22 c 959s | 22 | 11582030 | 2084222 | 3490 1390 | 10 | 51 1129.00/1129.26 c 961s | 22 | 11605492 | 2088522 | 3490 1392 | 10 | 51 1131.10/1131.30 c 963s | 22 | 11626188 | 2092622 | 3490 1395 | 10 | 51 1133.10/1133.30 c 965s | 22 | 11650453 | 2096622 | 3490 1397 | 10 | 51 1135.11/1135.31 c 967s | 22 | 11671522 | 2100722 | 3490 1399 | 10 | 51 1137.10/1137.36 c 969s | 22 | 11691896 | 2104722 | 3490 1401 | 10 | 51 1139.10/1139.38 c 971s | 22 | 11710134 | 2108322 | 3490 1403 | 10 | 51 1141.20/1141.40 c 973s | 22 | 11731902 | 2112322 | 3490 1405 | 10 | 51 1143.20/1143.41 c 975s | 22 | 11753364 | 2116522 | 3490 1408 | 10 | 51 1145.20/1145.42 c 977s | 22 | 11777691 | 2120722 | 3490 1410 | 10 | 51 1147.21/1147.43 c 979s | 22 | 11799342 | 2124922 | 3490 1412 | 10 | 51 1149.20/1149.45 c 981s | 22 | 11825754 | 2129422 | 3490 1415 | 10 | 51 1151.20/1151.50 c 983s | 22 | 11844655 | 2133922 | 3490 1417 | 10 | 51 1153.30/1153.54 c 985s | 22 | 11871405 | 2138222 | 3490 1420 | 10 | 51 1155.30/1155.54 c 987s | 22 | 11897722 | 2142722 | 3490 1422 | 10 | 51 1157.30/1157.56 c 989s | 22 | 11920504 | 2147222 | 3490 1425 | 10 | 51 1159.30/1159.57 c 991s | 22 | 11941863 | 2151522 | 3490 1427 | 10 | 51 1161.30/1161.57 c 993s | 22 | 11963065 | 2155822 | 3490 1430 | 10 | 51 1163.30/1163.59 c 995s | 22 | 11983224 | 2159922 | 3490 1432 | 10 | 51 1165.40/1165.63 c 997s | 22 | 12005621 | 2164022 | 3490 1434 | 10 | 51 1167.41/1167.63 c 999s | 22 | 12027778 | 2168322 | 3490 1437 | 10 | 51 1169.40/1169.68 c 1001s | 22 | 12054129 | 2172722 | 3490 1439 | 10 | 51 1171.50/1171.71 c 1003s | 22 | 12081299 | 2177222 | 3490 1442 | 10 | 51 1173.51/1173.74 c 1005s | 22 | 12107152 | 2181822 | 3490 1444 | 10 | 51 1175.50/1175.79 c 1007s | 22 | 12126155 | 2186122 | 3490 1447 | 10 | 51 1177.60/1177.84 c 1009s | 22 | 12148169 | 2190322 | 3490 1449 | 10 | 51 1179.60/1179.85 c 1011s | 22 | 12171092 | 2194922 | 3490 1451 | 10 | 51 1181.60/1181.88 c 1013s | 22 | 12196960 | 2199622 | 3490 1454 | 10 | 51 1183.70/1183.90 c 1015s | 22 | 12220052 | 2204222 | 3490 1457 | 10 | 51 1185.71/1185.94 c 1018s | 22 | 12242623 | 2208522 | 3490 1459 | 10 | 51 1187.70/1187.98 c 1020s | 22 | 12260775 | 2212622 | 3490 1461 | 10 | 51 1189.80/1190.02 c 1022s | 22 | 12280815 | 2217022 | 3490 1464 | 10 | 51 1191.80/1192.04 c 1024s | 22 | 12303181 | 2220822 | 3490 1466 | 10 | 51 1193.80/1194.05 c 1026s | 22 | 12328771 | 2225222 | 3490 1468 | 10 | 51 1195.80/1196.08 c 1028s | 22 | 12352316 | 2230322 | 3490 1471 | 10 | 51 1197.89/1198.10 c 1030s | 22 | 12376789 | 2235022 | 3490 1474 | 10 | 51 1200.00/1200.22 c 1032s | 22 | 12398928 | 2239322 | 3490 1476 | 10 | 51 1201.99/1202.25 c 1034s | 22 | 12424946 | 2243822 | 3490 1479 | 10 | 51 1203.99/1204.27 c 1036s | 22 | 12448001 | 2248222 | 3490 1481 | 10 | 51 1205.29/1205.53 c 1037s | 23 | 12464663 | 2251038 | 3490 1483 | 10 | 51 1207.29/1207.55 c 1039s | 23 | 12489002 | 2255538 | 3490 1485 | 10 | 51 1209.29/1209.56 c 1041s | 23 | 12513272 | 2260038 | 3490 1487 | 10 | 51 1211.29/1211.58 c 1043s | 23 | 12540284 | 2264438 | 3490 1490 | 10 | 51 1213.39/1213.65 c 1045s | 23 | 12569639 | 2269038 | 3490 1492 | 10 | 51 1215.41/1215.68 c 1047s | 23 | 12594691 | 2273038 | 3490 1495 | 10 | 51 1217.40/1217.70 c 1049s | 23 | 12619227 | 2277238 | 3490 1497 | 10 | 51 1219.50/1219.72 c 1051s | 23 | 12646942 | 2281738 | 3490 1500 | 10 | 51 1221.50/1221.74 c 1053s | 23 | 12666926 | 2286138 | 3490 1502 | 10 | 51 1223.50/1223.76 c 1055s | 23 | 12685528 | 2290338 | 3490 1504 | 10 | 51 1225.50/1225.79 c 1057s | 23 | 12708025 | 2295138 | 3490 1507 | 10 | 51 1227.60/1227.83 c 1059s | 23 | 12734571 | 2299638 | 3490 1509 | 10 | 51 1229.60/1229.86 c 1061s | 23 | 12758604 | 2304138 | 3490 1512 | 10 | 51 1231.59/1231.87 c 1063s | 23 | 12784843 | 2308238 | 3490 1514 | 10 | 51 1233.59/1233.89 c 1065s | 23 | 12806266 | 2312738 | 3490 1517 | 10 | 51 1235.69/1235.92 c 1067s | 23 | 12832379 | 2317138 | 3490 1519 | 10 | 51 1237.69/1237.94 c 1069s | 23 | 12856913 | 2321638 | 3490 1522 | 10 | 51 1239.69/1239.96 c 1072s | 23 | 12881439 | 2326038 | 3490 1524 | 10 | 51 1241.70/1241.99 c 1074s | 23 | 12907682 | 2330438 | 3490 1527 | 10 | 51 1243.69/1243.99 c 1076s | 23 | 12933574 | 2334738 | 3490 1529 | 10 | 51 1245.79/1246.00 c 1078s | 23 | 12959235 | 2338938 | 3490 1531 | 10 | 51 1247.79/1248.01 c 1080s | 23 | 12985883 | 2343438 | 3490 1534 | 10 | 51 1249.79/1250.05 c 1082s | 23 | 13011355 | 2348038 | 3490 1536 | 10 | 51 1251.79/1252.09 c 1084s | 23 | 13035398 | 2352438 | 3490 1539 | 10 | 51 1253.80/1254.10 c 1086s | 23 | 13061179 | 2356938 | 3490 1541 | 10 | 51 1255.89/1256.15 c 1088s | 23 | 13080507 | 2361238 | 3490 1544 | 10 | 51 1257.89/1258.16 c 1090s | 23 | 13101132 | 2365438 | 3490 1546 | 10 | 51 1259.89/1260.19 c 1092s | 23 | 13124880 | 2369638 | 3490 1549 | 10 | 51 1261.99/1262.22 c 1094s | 23 | 13145941 | 2373838 | 3490 1551 | 10 | 51 1263.99/1264.23 c 1096s | 23 | 13165407 | 2377638 | 3490 1553 | 10 | 51 1265.99/1266.27 c 1098s | 23 | 13184625 | 2381438 | 3490 1555 | 10 | 51 1268.09/1268.31 c 1100s | 23 | 13207648 | 2385538 | 3490 1557 | 10 | 51 1270.09/1270.34 c 1102s | 23 | 13232739 | 2389638 | 3490 1560 | 10 | 51 1272.09/1272.39 c 1104s | 23 | 13258832 | 2393938 | 3490 1562 | 10 | 51 1274.19/1274.40 c 1106s | 23 | 13282225 | 2398338 | 3490 1564 | 10 | 51 1276.19/1276.44 c 1108s | 23 | 13307579 | 2402638 | 3490 1567 | 10 | 51 1278.18/1278.44 c 1110s | 23 | 13333850 | 2406838 | 3490 1569 | 10 | 51 1280.19/1280.47 c 1112s | 23 | 13358605 | 2410938 | 3490 1571 | 10 | 51 1282.28/1282.53 c 1114s | 23 | 13386153 | 2415138 | 3490 1574 | 10 | 51 1284.28/1284.55 c 1116s | 23 | 13413287 | 2419238 | 3490 1576 | 10 | 51 1286.28/1286.56 c 1118s | 23 | 13436711 | 2423538 | 3490 1578 | 10 | 51 1288.28/1288.59 c 1120s | 23 | 13462160 | 2427838 | 3490 1581 | 10 | 51 1290.38/1290.63 c 1122s | 23 | 13488147 | 2431938 | 3490 1583 | 10 | 51 1292.39/1292.65 c 1124s | 23 | 13506454 | 2435838 | 3490 1585 | 10 | 51 1294.49/1294.71 c 1126s | 23 | 13528949 | 2439738 | 3490 1588 | 10 | 51 1296.48/1296.71 c 1128s | 23 | 13551315 | 2443538 | 3490 1590 | 10 | 51 1298.48/1298.73 c 1130s | 23 | 13573941 | 2447638 | 3490 1592 | 10 | 51 1300.48/1300.75 c 1132s | 23 | 13597385 | 2451638 | 3490 1594 | 10 | 51 1302.48/1302.77 c 1134s | 23 | 13618567 | 2455438 | 3490 1596 | 10 | 51 1304.49/1304.79 c 1136s | 23 | 13637164 | 2459338 | 3490 1598 | 10 | 51 1306.58/1306.82 c 1138s | 23 | 13656802 | 2463038 | 3490 1601 | 10 | 51 1308.58/1308.84 c 1140s | 23 | 13679132 | 2466938 | 3490 1603 | 10 | 51 1310.58/1310.85 c 1142s | 23 | 13698390 | 2470738 | 3490 1605 | 10 | 51 1312.58/1312.85 c 1144s | 23 | 13718374 | 2474538 | 3490 1607 | 10 | 51 1314.58/1314.88 c 1146s | 23 | 13737327 | 2478138 | 3490 1609 | 10 | 51 1316.68/1316.91 c 1148s | 23 | 13756789 | 2481838 | 3490 1611 | 10 | 51 1318.68/1318.93 c 1150s | 23 | 13780538 | 2485438 | 3490 1613 | 10 | 51 1320.67/1320.95 c 1153s | 23 | 13811204 | 2489938 | 3490 1616 | 10 | 51 1322.67/1322.98 c 1155s | 23 | 13834989 | 2494738 | 3490 1618 | 10 | 51 1324.67/1324.99 c 1157s | 23 | 13859374 | 2499238 | 3490 1621 | 10 | 51 1326.77/1327.04 c 1159s | 23 | 13890512 | 2503938 | 3490 1623 | 10 | 51 1328.77/1329.05 c 1161s | 23 | 13914203 | 2508238 | 3490 1626 | 10 | 51 1330.78/1331.09 c 1163s | 23 | 13939043 | 2513038 | 3490 1629 | 10 | 51 1332.87/1333.10 c 1165s | 23 | 13967985 | 2517438 | 3490 1631 | 10 | 51 1334.87/1335.13 c 1167s | 23 | 13992284 | 2522138 | 3490 1634 | 10 | 51 1336.87/1337.15 c 1169s | 23 | 14018915 | 2526538 | 3490 1636 | 10 | 51 1338.87/1339.17 c 1171s | 23 | 14042045 | 2531138 | 3490 1639 | 10 | 51 1340.97/1341.21 c 1173s | 23 | 14069522 | 2535738 | 3490 1641 | 10 | 51 1342.98/1343.22 c 1175s | 23 | 14091515 | 2539938 | 3490 1644 | 10 | 51 1344.97/1345.22 c 1177s | 23 | 14114253 | 2544138 | 3490 1646 | 10 | 51 1346.97/1347.25 c 1179s | 23 | 14137816 | 2548338 | 3490 1648 | 10 | 51 1348.97/1349.28 c 1181s | 23 | 14159868 | 2552638 | 3490 1651 | 10 | 51 1351.07/1351.32 c 1183s | 23 | 14179861 | 2557038 | 3490 1653 | 10 | 51 1353.07/1353.32 c 1185s | 23 | 14201143 | 2561238 | 3490 1655 | 10 | 51 1355.08/1355.37 c 1187s | 23 | 14224826 | 2565838 | 3490 1658 | 10 | 51 1357.06/1357.40 c 1189s | 23 | 14251599 | 2570538 | 3490 1661 | 10 | 51 1359.16/1359.45 c 1191s | 23 | 14276248 | 2575138 | 3490 1663 | 10 | 51 1361.16/1361.46 c 1193s | 23 | 14298107 | 2579338 | 3490 1666 | 10 | 51 1363.16/1363.48 c 1195s | 23 | 14318344 | 2583238 | 3490 1668 | 10 | 51 1365.27/1365.51 c 1197s | 23 | 14340736 | 2587038 | 3490 1670 | 10 | 51 1367.27/1367.53 c 1199s | 23 | 14367921 | 2591238 | 3490 1672 | 10 | 51 1369.27/1369.56 c 1201s | 23 | 14392820 | 2595838 | 3490 1675 | 10 | 51 1371.27/1371.56 c 1203s | 23 | 14417987 | 2600038 | 3490 1677 | 10 | 51 1373.27/1373.60 c 1205s | 23 | 14443223 | 2604438 | 3490 1680 | 10 | 51 1375.36/1375.62 c 1207s | 23 | 14467756 | 2608938 | 3490 1682 | 10 | 51 1377.36/1377.65 c 1209s | 23 | 14494514 | 2613138 | 3490 1684 | 10 | 51 1379.36/1379.69 c 1211s | 23 | 14523127 | 2617538 | 3490 1687 | 10 | 51 1381.47/1381.72 c 1213s | 23 | 14548875 | 2622038 | 3490 1689 | 10 | 51 1383.46/1383.75 c 1215s | 23 | 14575925 | 2626538 | 3490 1692 | 10 | 51 1385.46/1385.75 c 1217s | 23 | 14599269 | 2630738 | 3490 1694 | 10 | 51 1387.45/1387.77 c 1219s | 23 | 14620717 | 2635138 | 3490 1697 | 10 | 51 1389.45/1389.78 c 1221s | 23 | 14646363 | 2639538 | 3490 1699 | 10 | 51 1391.55/1391.81 c 1223s | 23 | 14667866 | 2643638 | 3490 1701 | 10 | 51 1393.56/1393.82 c 1225s | 23 | 14687152 | 2647638 | 3490 1704 | 10 | 51 1395.55/1395.85 c 1227s | 23 | 14712838 | 2652138 | 3490 1706 | 10 | 51 1397.55/1397.88 c 1229s | 23 | 14736132 | 2656238 | 3490 1708 | 10 | 51 1399.65/1399.90 c 1231s | 23 | 14753229 | 2660338 | 3490 1711 | 10 | 51 1401.65/1401.91 c 1233s | 23 | 14774980 | 2664338 | 3490 1713 | 10 | 51 1403.65/1403.93 c 1235s | 23 | 14795380 | 2668438 | 3490 1715 | 10 | 51 1405.65/1405.96 c 1238s | 23 | 14816784 | 2672538 | 3490 1717 | 10 | 51 1407.64/1407.99 c 1240s | 23 | 14840160 | 2676538 | 3490 1720 | 10 | 51 1409.74/1410.02 c 1242s | 23 | 14860403 | 2680538 | 3490 1722 | 10 | 51 1411.74/1412.06 c 1244s | 23 | 14883545 | 2684738 | 3490 1724 | 10 | 51 1413.84/1414.14 c 1246s | 23 | 14901732 | 2688138 | 3490 1726 | 10 | 51 1415.83/1416.17 c 1248s | 23 | 14922344 | 2692138 | 3490 1728 | 10 | 51 1417.93/1418.20 c 1250s | 23 | 14945170 | 2697238 | 3490 1731 | 10 | 51 1420.03/1420.31 c 1252s | 23 | 14968365 | 2702038 | 3490 1734 | 10 | 51 1422.04/1422.33 c 1254s | 23 | 14989475 | 2707038 | 3490 1737 | 10 | 51 1424.03/1424.37 c 1256s | 23 | 15012313 | 2711938 | 3490 1739 | 10 | 51 1426.03/1426.39 c 1258s | 23 | 15030488 | 2716738 | 3490 1742 | 10 | 51 1428.13/1428.44 c 1260s | 23 | 15053011 | 2721538 | 3490 1745 | 10 | 51 1430.14/1430.45 c 1262s | 23 | 15073670 | 2725838 | 3490 1747 | 10 | 51 1432.24/1432.50 c 1264s | 23 | 15097422 | 2730538 | 3490 1750 | 10 | 51 1434.24/1434.54 c 1266s | 23 | 15122780 | 2735438 | 3490 1752 | 10 | 51 1436.23/1436.55 c 1268s | 23 | 15145417 | 2740238 | 3490 1755 | 10 | 51 1438.23/1438.58 c 1270s | 23 | 15164654 | 2745038 | 3490 1758 | 10 | 51 1440.33/1440.60 c 1272s | 23 | 15186311 | 2749338 | 3490 1760 | 10 | 51 1442.33/1442.63 c 1274s | 23 | 15207186 | 2754038 | 3490 1763 | 10 | 51 1444.33/1444.64 c 1276s | 23 | 15228268 | 2758338 | 3490 1765 | 10 | 51 1446.33/1446.66 c 1278s | 23 | 15252126 | 2762838 | 3490 1767 | 10 | 51 1448.32/1448.69 c 1280s | 23 | 15272429 | 2767538 | 3490 1770 | 10 | 51 1450.42/1450.74 c 1282s | 23 | 15291780 | 2771938 | 3490 1773 | 10 | 51 1452.42/1452.76 c 1284s | 23 | 15312152 | 2776438 | 3490 1775 | 10 | 51 1454.42/1454.79 c 1286s | 23 | 15336021 | 2780538 | 3490 1777 | 10 | 51 1456.52/1456.83 c 1288s | 23 | 15355812 | 2784538 | 3490 1780 | 10 | 51 1458.52/1458.86 c 1290s | 23 | 15377261 | 2788838 | 3490 1782 | 10 | 51 1460.52/1460.90 c 1292s | 23 | 15395958 | 2792738 | 3490 1784 | 10 | 51 1462.62/1462.92 c 1294s | 23 | 15412985 | 2796438 | 3490 1786 | 10 | 51 1464.62/1464.96 c 1297s | 23 | 15430680 | 2800538 | 3490 1789 | 10 | 51 1466.62/1466.99 c 1299s | 23 | 15447794 | 2804538 | 3490 1791 | 10 | 51 1468.62/1468.99 c 1301s | 23 | 15462450 | 2808238 | 3490 1793 | 10 | 51 1470.62/1470.99 c 1303s | 23 | 15478968 | 2811938 | 3490 1795 | 10 | 51 1472.72/1473.01 c 1305s | 23 | 15493803 | 2815438 | 3490 1797 | 10 | 51 1474.71/1475.03 c 1307s | 23 | 15513986 | 2819138 | 3490 1799 | 10 | 51 1476.72/1477.07 c 1309s | 23 | 15533235 | 2823038 | 3490 1801 | 10 | 51 1478.82/1479.10 c 1311s | 23 | 15554548 | 2827638 | 3490 1804 | 10 | 51 1480.82/1481.10 c 1313s | 23 | 15574358 | 2831938 | 3490 1806 | 10 | 51 1482.82/1483.11 c 1315s | 23 | 15594346 | 2836138 | 3490 1808 | 10 | 51 1484.82/1485.12 c 1317s | 23 | 15614596 | 2840238 | 3490 1811 | 10 | 51 1486.81/1487.13 c 1319s | 23 | 15633546 | 2844538 | 3490 1813 | 10 | 51 1488.81/1489.16 c 1321s | 23 | 15656258 | 2848838 | 3490 1815 | 10 | 51 1490.81/1491.17 c 1323s | 23 | 15678185 | 2853038 | 3490 1818 | 10 | 51 1492.91/1493.21 c 1325s | 23 | 15701207 | 2857338 | 3490 1820 | 10 | 51 1494.91/1495.24 c 1327s | 23 | 15724257 | 2861438 | 3490 1823 | 10 | 51 1496.91/1497.28 c 1329s | 23 | 15743080 | 2865538 | 3490 1825 | 10 | 51 1499.01/1499.32 c 1331s | 23 | 15759858 | 2869638 | 3490 1827 | 10 | 51 1501.01/1501.36 c 1333s | 23 | 15776040 | 2873638 | 3490 1829 | 10 | 51 1503.11/1503.40 c 1335s | 23 | 15791100 | 2877138 | 3490 1831 | 10 | 51 1505.11/1505.41 c 1337s | 23 | 15807259 | 2881238 | 3490 1834 | 10 | 51 1507.10/1507.42 c 1339s | 23 | 15822390 | 2885538 | 3490 1836 | 10 | 51 1509.10/1509.42 c 1341s | 23 | 15837689 | 2889538 | 3490 1838 | 10 | 51 1511.11/1511.43 c 1343s | 23 | 15859494 | 2894038 | 3490 1841 | 10 | 51 1513.10/1513.44 c 1345s | 23 | 15877643 | 2898338 | 3490 1843 | 10 | 51 1515.10/1515.44 c 1347s | 23 | 15896178 | 2902338 | 3490 1845 | 10 | 51 1517.10/1517.45 c 1349s | 23 | 15915324 | 2906738 | 3490 1848 | 10 | 51 1519.10/1519.48 c 1351s | 23 | 15938631 | 2911138 | 3490 1850 | 10 | 51 1521.20/1521.50 c 1353s | 23 | 15959045 | 2915338 | 3490 1852 | 10 | 51 1523.20/1523.53 c 1355s | 23 | 15980262 | 2919838 | 3490 1855 | 10 | 51 1525.20/1525.55 c 1357s | 23 | 16000177 | 2923838 | 3490 1857 | 10 | 51 1527.19/1527.56 c 1359s | 23 | 16020976 | 2928238 | 3490 1860 | 10 | 51 1529.19/1529.57 c 1361s | 23 | 16043044 | 2932538 | 3490 1862 | 10 | 51 1531.19/1531.58 c 1363s | 23 | 16065767 | 2936938 | 3490 1864 | 10 | 51 1533.29/1533.62 c 1365s | 23 | 16086497 | 2941038 | 3490 1867 | 10 | 51 1535.29/1535.63 c 1367s | 23 | 16105352 | 2945238 | 3490 1869 | 10 | 51 1537.28/1537.67 c 1369s | 23 | 16123183 | 2949538 | 3490 1871 | 10 | 51 1539.28/1539.69 c 1371s | 23 | 16141476 | 2953338 | 3490 1874 | 10 | 51 1541.38/1541.70 c 1373s | 23 | 16160656 | 2957738 | 3490 1876 | 10 | 51 1543.38/1543.73 c 1375s | 23 | 16180390 | 2962138 | 3490 1879 | 10 | 51 1545.38/1545.75 c 1377s | 23 | 16201071 | 2966738 | 3490 1881 | 10 | 51 1547.38/1547.76 c 1379s | 23 | 16218394 | 2971138 | 3490 1884 | 10 | 51 1549.37/1549.77 c 1381s | 23 | 16235346 | 2975438 | 3490 1886 | 10 | 51 1551.37/1551.77 c 1383s | 23 | 16257357 | 2979838 | 3840 1888 | 10 | 51 1553.37/1553.78 c 1385s | 23 | 16278022 | 2983738 | 3840 1890 | 10 | 51 1555.47/1555.80 c 1387s | 23 | 16297370 | 2988238 | 3840 1892 | 10 | 51 1557.47/1557.80 c 1389s | 23 | 16319248 | 2993238 | 3840 1895 | 10 | 51 1559.47/1559.82 c 1391s | 23 | 16338798 | 2997738 | 3840 1897 | 10 | 51 1561.47/1561.87 c 1393s | 23 | 16359827 | 3002338 | 3840 1899 | 10 | 51 1563.47/1563.88 c 1395s | 23 | 16378256 | 3006338 | 3840 1901 | 10 | 51 1565.57/1565.92 c 1397s | 23 | 16401921 | 3011038 | 3840 1904 | 10 | 51 1567.56/1567.96 c 1400s | 23 | 16423661 | 3015338 | 3840 1906 | 10 | 51 1569.57/1569.96 c 1402s | 23 | 16446539 | 3020138 | 3840 1908 | 10 | 51 1571.68/1572.01 c 1404s | 23 | 16469065 | 3024438 | 3840 1911 | 10 | 51 1573.67/1574.01 c 1406s | 23 | 16493400 | 3029038 | 3840 1913 | 10 | 51 1575.66/1576.03 c 1408s | 23 | 16516827 | 3033538 | 3840 1915 | 10 | 51 1577.66/1578.06 c 1410s | 23 | 16540486 | 3038538 | 3840 1918 | 10 | 51 1579.66/1580.08 c 1412s | 23 | 16563860 | 3043238 | 3840 1920 | 10 | 51 1581.76/1582.11 c 1414s | 23 | 16586973 | 3047838 | 3840 1922 | 10 | 51 1583.77/1584.14 c 1416s | 23 | 16611425 | 3052538 | 3840 1925 | 10 | 51 1585.76/1586.17 c 1418s | 23 | 16633156 | 3057138 | 3840 1927 | 10 | 51 1587.86/1588.20 c 1420s | 23 | 16656755 | 3061738 | 3840 1929 | 10 | 51 1589.86/1590.23 c 1422s | 23 | 16676174 | 3066338 | 3840 1932 | 10 | 51 1591.86/1592.27 c 1424s | 23 | 16696138 | 3071138 | 3840 1934 | 10 | 51 1593.86/1594.29 c 1426s | 23 | 16714966 | 3075838 | 3840 1937 | 10 | 51 1595.95/1596.31 c 1428s | 23 | 16736202 | 3080738 | 3840 1939 | 10 | 51 1597.96/1598.32 c 1430s | 23 | 16754819 | 3085538 | 3840 1942 | 10 | 51 1599.95/1600.34 c 1432s | 23 | 16773835 | 3090538 | 3840 1944 | 10 | 51 1601.95/1602.35 c 1434s | 23 | 16790875 | 3094938 | 3840 1946 | 10 | 51 1604.05/1604.41 c 1436s | 23 | 16809420 | 3098638 | 3840 1948 | 10 | 51 1606.04/1606.42 c 1438s | 23 | 16833110 | 3103138 | 3840 1951 | 10 | 51 1608.04/1608.46 c 1440s | 23 | 16854602 | 3107538 | 3840 1953 | 10 | 51 1610.05/1610.49 c 1442s | 23 | 16874592 | 3111738 | 3840 1955 | 10 | 51 1612.14/1612.52 c 1444s | 23 | 16898979 | 3116838 | 3840 1957 | 10 | 51 1614.14/1614.54 c 1446s | 23 | 16923380 | 3121438 | 3840 1960 | 10 | 51 1616.14/1616.56 c 1448s | 23 | 16944534 | 3126138 | 3840 1962 | 10 | 51 1618.24/1618.61 c 1450s | 23 | 16968417 | 3130638 | 3840 1964 | 10 | 51 1620.24/1620.65 c 1452s | 23 | 16993041 | 3135038 | 3840 1967 | 10 | 51 1622.24/1622.67 c 1454s | 23 | 17016557 | 3139338 | 3840 1969 | 10 | 51 1624.34/1624.71 c 1456s | 23 | 17038339 | 3143538 | 3840 1971 | 10 | 51 1626.33/1626.71 c 1458s | 23 | 17061834 | 3147938 | 3840 1973 | 10 | 51 1628.33/1628.72 c 1460s | 23 | 17083235 | 3152138 | 3840 1975 | 10 | 51 1630.33/1630.73 c 1462s | 23 | 17105381 | 3156438 | 3840 1978 | 10 | 51 1632.33/1632.74 c 1464s | 23 | 17124637 | 3160738 | 3840 1980 | 10 | 51 1634.34/1634.76 c 1466s | 23 | 17143819 | 3164938 | 3840 1982 | 10 | 51 1636.44/1636.81 c 1468s | 23 | 17161968 | 3169238 | 3840 1984 | 10 | 51 1638.43/1638.84 c 1470s | 23 | 17180219 | 3173538 | 3840 1986 | 10 | 51 1640.43/1640.90 c 1472s | 23 | 17194175 | 3177538 | 3840 1988 | 10 | 51 1642.53/1642.94 c 1474s | 23 | 17208603 | 3181038 | 3840 1990 | 10 | 51 1644.53/1644.94 c 1476s | 23 | 17228554 | 3184738 | 3840 1992 | 10 | 51 1646.53/1646.95 c 1479s | 23 | 17250402 | 3189338 | 3840 1994 | 10 | 51 1648.53/1648.96 c 1481s | 23 | 17272840 | 3193838 | 3840 1996 | 10 | 51 1650.53/1650.99 c 1483s | 23 | 17293994 | 3198238 | 3840 1999 | 10 | 51 1652.62/1653.02 c 1485s | 23 | 17317618 | 3202438 | 3840 2001 | 10 | 51 1654.62/1655.06 c 1487s | 23 | 17341102 | 3207338 | 3840 2003 | 10 | 51 1656.62/1657.07 c 1489s | 23 | 17365685 | 3212038 | 3840 2006 | 10 | 51 1658.62/1659.08 c 1491s | 23 | 17385452 | 3216238 | 3840 2008 | 10 | 51 1660.73/1661.12 c 1493s | 23 | 17407723 | 3220538 | 3840 2010 | 10 | 51 1662.72/1663.13 c 1495s | 23 | 17427118 | 3224838 | 3840 2012 | 10 | 51 1664.72/1665.16 c 1497s | 23 | 17445148 | 3228938 | 3840 2014 | 10 | 51 1666.71/1667.16 c 1499s | 23 | 17467247 | 3233238 | 3840 2016 | 10 | 51 1668.71/1669.17 c 1501s | 23 | 17486312 | 3237538 | 3840 2018 | 10 | 51 1670.81/1671.20 c 1503s | 23 | 17503830 | 3242038 | 3840 2021 | 10 | 51 1672.82/1673.20 c 1505s | 23 | 17520266 | 3245938 | 3840 2023 | 10 | 51 1674.81/1675.22 c 1507s | 23 | 17532582 | 3248838 | 3840 2024 | 10 | 51 1676.81/1677.26 c 1509s | 23 | 17555015 | 3252838 | 3840 2026 | 10 | 51 1678.91/1679.30 c 1511s | 23 | 17577134 | 3257138 | 3840 2028 | 10 | 51 1680.91/1681.33 c 1513s | 23 | 17596656 | 3261338 | 3840 2030 | 10 | 51 1682.91/1683.34 c 1515s | 23 | 17622830 | 3265938 | 3840 2033 | 10 | 51 1684.91/1685.36 c 1517s | 23 | 17644689 | 3270638 | 3840 2035 | 10 | 51 1686.90/1687.37 c 1519s | 23 | 17664369 | 3274738 | 3840 2037 | 10 | 51 1688.90/1689.37 c 1521s | 23 | 17686330 | 3279138 | 3840 2039 | 10 | 51 1690.90/1691.37 c 1523s | 23 | 17707502 | 3283138 | 3840 2041 | 10 | 51 1692.90/1693.39 c 1525s | 23 | 17728416 | 3287338 | 3840 2044 | 10 | 51 1695.00/1695.40 c 1527s | 23 | 17748699 | 3291838 | 3840 2046 | 10 | 51 1697.01/1697.44 c 1529s | 23 | 17768759 | 3296238 | 3840 2048 | 10 | 51 1699.01/1699.49 c 1531s | 23 | 17786561 | 3300438 | 3840 2050 | 10 | 51 1701.11/1701.58 c 1533s | 23 | 17802620 | 3303938 | 3840 2052 | 10 | 51 1703.21/1703.60 c 1535s | 23 | 17825684 | 3308538 | 3840 2054 | 10 | 51 1705.20/1705.60 c 1537s | 23 | 17847915 | 3313038 | 3840 2057 | 10 | 51 1707.20/1707.62 c 1539s | 23 | 17868198 | 3317338 | 3840 2059 | 10 | 51 1709.20/1709.64 c 1541s | 23 | 17891281 | 3321638 | 3840 2061 | 10 | 51 1711.21/1711.67 c 1543s | 23 | 17914671 | 3325938 | 3840 2063 | 10 | 51 1713.30/1713.71 c 1545s | 23 | 17939001 | 3330538 | 3840 2066 | 10 | 51 1715.30/1715.73 c 1547s | 23 | 17963783 | 3335138 | 3840 2068 | 10 | 51 1717.30/1717.74 c 1549s | 23 | 17987425 | 3339638 | 3840 2070 | 10 | 51 1719.29/1719.76 c 1551s | 23 | 18008684 | 3344138 | 3840 2072 | 10 | 51 1721.29/1721.78 c 1553s | 23 | 18028966 | 3348438 | 3840 2075 | 10 | 51 1723.30/1723.78 c 1555s | 23 | 18046406 | 3352138 | 3840 2077 | 10 | 51 1725.39/1725.81 c 1557s | 23 | 18069728 | 3356438 | 3840 2079 | 10 | 51 1727.39/1727.82 c 1559s | 23 | 18089770 | 3360438 | 3840 2081 | 10 | 51 1729.39/1729.83 c 1561s | 23 | 18108694 | 3364638 | 3840 2083 | 10 | 51 1731.39/1731.87 c 1563s | 23 | 18132664 | 3369238 | 3840 2085 | 10 | 51 1733.49/1733.90 c 1565s | 23 | 18152357 | 3373138 | 3840 2087 | 10 | 51 1734.99/1735.47 c 1567s | 24 | 18169091 | 3376662 | 3840 2089 | 10 | 51 1736.99/1737.49 c 1569s | 24 | 18194428 | 3381162 | 3840 2091 | 10 | 51 1739.09/1739.51 c 1571s | 24 | 18215964 | 3385562 | 3840 2093 | 10 | 51 1741.09/1741.53 c 1573s | 24 | 18243842 | 3389862 | 3840 2096 | 10 | 51 1743.09/1743.55 c 1575s | 24 | 18265782 | 3394362 | 3840 2098 | 10 | 51 1745.08/1745.56 c 1577s | 24 | 18285479 | 3398562 | 3840 2100 | 10 | 51 1747.08/1747.57 c 1579s | 24 | 18305866 | 3402962 | 3840 2102 | 10 | 51 1749.18/1749.63 c 1581s | 24 | 18327928 | 3407362 | 3840 2105 | 10 | 51 1751.18/1751.67 c 1583s | 24 | 18347033 | 3411262 | 3840 2107 | 10 | 51 1753.28/1753.70 c 1585s | 24 | 18369391 | 3415362 | 3840 2109 | 10 | 51 1755.29/1755.71 c 1587s | 24 | 18391664 | 3419562 | 3840 2111 | 10 | 51 1757.28/1757.74 c 1589s | 24 | 18410542 | 3423762 | 3840 2113 | 10 | 51 1759.28/1759.76 c 1591s | 24 | 18426940 | 3427662 | 3840 2115 | 10 | 51 1761.28/1761.79 c 1593s | 24 | 18445092 | 3431762 | 3840 2117 | 10 | 51 1763.37/1763.81 c 1595s | 24 | 18459974 | 3434762 | 3840 2119 | 10 | 51 1765.37/1765.82 c 1597s | 24 | 18484076 | 3438862 | 3840 2121 | 10 | 51 1767.38/1767.86 c 1599s | 24 | 18507129 | 3443462 | 3840 2123 | 10 | 51 1769.37/1769.89 c 1601s | 24 | 18528892 | 3448162 | 3840 2125 | 10 | 51 1771.47/1771.92 c 1603s | 24 | 18551022 | 3452162 | 3840 2127 | 10 | 51 1773.47/1773.93 c 1605s | 24 | 18569986 | 3456462 | 3840 2129 | 10 | 51 1775.47/1775.97 c 1608s | 24 | 18589505 | 3460562 | 3840 2131 | 10 | 51 1777.46/1777.99 c 1610s | 24 | 18607865 | 3464562 | 3840 2134 | 10 | 51 1779.56/1780.00 c 1612s | 24 | 18625058 | 3468662 | 3840 2136 | 10 | 51 1781.57/1782.04 c 1614s | 24 | 18643544 | 3472662 | 3840 2138 | 10 | 51 1783.56/1784.04 c 1616s | 24 | 18658983 | 3476462 | 3840 2139 | 10 | 51 1785.56/1786.06 c 1618s | 24 | 18682225 | 3480062 | 3840 2141 | 10 | 51 1787.66/1788.11 c 1620s | 24 | 18707390 | 3484062 | 3840 2143 | 10 | 51 1789.66/1790.15 c 1622s | 24 | 18728299 | 3488262 | 3840 2145 | 10 | 51 1791.66/1792.18 c 1624s | 24 | 18750693 | 3492562 | 3840 2148 | 10 | 51 1793.77/1794.21 c 1626s | 24 | 18769968 | 3496762 | 3840 2150 | 10 | 51 1795.76/1796.25 c 1628s | 24 | 18794340 | 3501062 | 3840 2152 | 10 | 51 1797.76/1798.27 c 1630s | 24 | 18813280 | 3505262 | 3840 2154 | 10 | 51 1799.86/1800.32 c 1632s | 24 | 18833734 | 3509262 | 3840 2156 | 10 | 51
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079483-1465231524/watcher-4079483-1465231524 -o /tmp/evaluation-result-4079483-1465231524/solver-4079483-1465231524 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079483-1465231524.opb pid=1162 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.17 2.19 2.18 3/179 1165 /proc/meminfo: memFree=29307320/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=433596 CPUtime=0 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 1566 0 0 0 0 0 0 0 20 0 4 0 105085934 444002304 1926 33554432000 4194304 16246674 140736640705248 140736640704672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1165/statm: 108911 1937 441 2943 0 105805 0 [pid=1165/tid=1166] ppid=1162 vsize=703932 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 720826368 2985 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=709052 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 726069248 3005 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=713148 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105085934 730263552 3021 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100164 s] /proc/loadavg: 2.17 2.19 2.18 3/179 1165 /proc/meminfo: memFree=29307320/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 23203 0 0 0 6 3 0 0 20 0 4 0 105085934 1249447936 23502 33554432000 4194304 16246674 140736640705248 140736640704560 5532218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1165/statm: 305041 23516 893 2943 0 301935 0 [pid=1165/tid=1166] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 23526 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 23536 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 23547 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200486 s] /proc/loadavg: 2.17 2.19 2.18 3/179 1165 /proc/meminfo: memFree=29307320/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1220164 CPUtime=0.19 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 49736 0 0 0 12 7 0 0 20 0 4 0 105085934 1249447936 50034 33554432000 4194304 16246674 140736640705248 140736640704560 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1165/statm: 305041 50046 905 2943 0 301935 0 [pid=1165/tid=1166] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 50059 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 50068 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 50075 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1220164 [startup+0.300476 s] /proc/loadavg: 2.17 2.19 2.18 3/179 1165 /proc/meminfo: memFree=29307320/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1220164 CPUtime=0.29 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 69360 0 0 0 19 10 0 0 20 0 4 0 105085934 1249447936 69658 33554432000 4194304 16246674 140736640705248 140736640704560 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1165/statm: 305041 69668 905 2943 0 301935 0 [pid=1165/tid=1166] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 69676 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 69685 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 69692 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1220164 [startup+0.700412 s] /proc/loadavg: 2.17 2.19 2.18 3/179 1165 /proc/meminfo: memFree=29307320/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1220164 CPUtime=0.69 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 118886 0 0 0 52 17 0 0 20 0 4 0 105085934 1249447936 119184 33554432000 4194304 16246674 140736640705248 140736640687168 13192590 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1165/statm: 305041 119193 905 2943 0 301935 0 [pid=1165/tid=1166] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 119197 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 119201 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 119204 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1220164 [startup+1.50041 s] /proc/loadavg: 2.15 2.18 2.18 3/183 1169 /proc/meminfo: memFree=28633012/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1220164 CPUtime=1.49 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 221510 0 0 0 118 31 0 0 20 0 4 0 105085934 1249447936 221808 33554432000 4194304 16246674 140736640705248 140736640687168 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1165/statm: 305041 221812 905 2943 0 301935 0 [pid=1165/tid=1166] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 221814 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 221815 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1249447936 221816 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.10043 s] /proc/loadavg: 2.15 2.18 2.18 3/183 1169 /proc/meminfo: memFree=28239808/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1303108 CPUtime=3.09 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 266868 0 0 0 272 37 0 0 20 0 4 0 105085934 1334382592 267166 33554432000 4194304 16246674 140736640705248 140736640687168 13820998 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1165/statm: 325777 267166 908 2943 0 322671 0 [pid=1165/tid=1166] ppid=1162 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1334382592 267166 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1334382592 267166 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1334382592 267166 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1303108 [startup+6.30043 s] /proc/loadavg: 2.15 2.18 2.18 3/183 1169 /proc/meminfo: memFree=28234364/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1307204 CPUtime=6.28 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 268014 0 0 0 591 37 0 0 20 0 4 0 105085934 1338576896 268312 33554432000 4194304 16246674 140736640705248 140736640687168 5827686 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1165/statm: 326801 268312 913 2943 0 323695 0 [pid=1165/tid=1166] ppid=1162 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1338576896 268312 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1338576896 268312 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1338576896 268312 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.21 2.19 2.18 4/183 1169 /proc/meminfo: memFree=28232092/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1307204 CPUtime=12.67 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 268014 0 0 0 1230 37 0 0 20 0 4 0 105085934 1338576896 268312 33554432000 4194304 16246674 140736640705248 140736640687168 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1165/statm: 326801 268312 913 2943 0 323695 0 [pid=1165/tid=1166] ppid=1162 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1338576896 268312 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1338576896 268312 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1338576896 268312 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.18 2.19 2.18 3/183 1169 /proc/meminfo: memFree=28232160/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1307204 CPUtime=25.48 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 268014 0 0 0 2510 38 0 0 20 0 4 0 105085934 1338576896 268312 33554432000 4194304 16246674 140736640705248 140736640687168 5662116 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1165/statm: 326801 268312 913 2943 0 323695 0 [pid=1165/tid=1166] ppid=1162 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1338576896 268312 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1338576896 268312 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1338576896 268312 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.18 2.19 2.18 3/183 1169 /proc/meminfo: memFree=28225356/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1311300 CPUtime=51.07 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 269038 0 0 0 5069 38 0 0 20 0 4 0 105085934 1342771200 269336 33554432000 4194304 16246674 140736640705248 140736640687168 6018824 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1165/statm: 327825 269336 913 2943 0 324719 0 [pid=1165/tid=1166] ppid=1162 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1342771200 269336 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1342771200 269336 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1342771200 269336 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1311300 [startup+102.3 s] /proc/loadavg: 2.30 2.21 2.19 4/183 1170 /proc/meminfo: memFree=28205392/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1325636 CPUtime=102.27 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 272624 0 0 0 10189 38 0 0 20 0 4 0 105085934 1357451264 272922 33554432000 4194304 16246674 140736640705248 140736640687168 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1165/statm: 331409 272922 915 2943 0 328303 0 [pid=1165/tid=1166] ppid=1162 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1357451264 272922 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1357451264 272922 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1357451264 272922 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1325636 ################ # More data... # ################ /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277276 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 1343044 [startup+1362.3 s] /proc/loadavg: 2.22 2.21 2.18 4/183 1224 /proc/meminfo: memFree=28161572/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1343044 CPUtime=1362.06 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 276983 0 0 0 136159 47 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 140736640687168 13963936 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1165/statm: 335761 277279 917 2943 0 332655 0 [pid=1165/tid=1166] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 1343044 [startup+1422.3 s] /proc/loadavg: 2.25 2.21 2.18 3/183 1225 /proc/meminfo: memFree=28154048/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1343044 CPUtime=1422.04 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 277019 0 0 0 142156 48 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 140736640687168 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1165/statm: 335761 277279 917 2943 0 332655 0 [pid=1165/tid=1166] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 1343044 [startup+1482.3 s] /proc/loadavg: 2.24 2.22 2.18 3/184 1229 /proc/meminfo: memFree=28153688/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1343044 CPUtime=1482.02 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 277049 0 0 0 148152 50 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 140736640687168 13820964 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1165/statm: 335761 277279 917 2943 0 332655 0 [pid=1165/tid=1166] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 1343044 [startup+1542.31 s] /proc/loadavg: 2.40 2.25 2.19 4/183 1231 /proc/meminfo: memFree=28154308/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1343044 CPUtime=1541.99 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 277082 0 0 0 154149 50 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 140736640687168 6021142 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1165/statm: 335761 277279 917 2943 0 332655 0 [pid=1165/tid=1166] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 1343044 [startup+1602.3 s] /proc/loadavg: 2.35 2.26 2.20 3/183 1232 /proc/meminfo: memFree=28154568/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1343044 CPUtime=1601.95 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 277119 0 0 0 160144 51 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 140736640687168 6020448 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1165/statm: 335761 277279 917 2943 0 332655 0 [pid=1165/tid=1166] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 1343044 [startup+1662.3 s] /proc/loadavg: 2.24 2.25 2.19 3/183 1233 /proc/meminfo: memFree=28154864/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1343044 CPUtime=1661.92 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 277155 0 0 0 166141 51 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 140736640687168 5712004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1165/statm: 335761 277279 917 2943 0 332655 0 [pid=1165/tid=1166] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1343044 [startup+1722.3 s] /proc/loadavg: 2.23 2.24 2.19 4/183 1234 /proc/meminfo: memFree=28154764/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1343044 CPUtime=1721.89 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 277194 0 0 0 172137 52 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 140736640687168 5721559 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1165/statm: 335761 277279 917 2943 0 332655 0 [pid=1165/tid=1166] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1343044 [startup+1782.3 s] /proc/loadavg: 2.27 2.25 2.19 3/183 1235 /proc/meminfo: memFree=28153916/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1343044 CPUtime=1781.86 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 277224 0 0 0 178134 52 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 140736640687168 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1165/statm: 335761 277279 917 2943 0 332655 0 [pid=1165/tid=1166] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1343044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.29 2.26 2.19 3/182 1284 /proc/meminfo: memFree=28203852/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1343044 CPUtime=1800.06 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 277235 0 0 0 179954 52 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 140736640687168 5711952 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1165/statm: 335761 277279 917 2943 0 332655 0 [pid=1165/tid=1166] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1343044 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 1165 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.29 2.26 2.19 3/182 1284 /proc/meminfo: memFree=28203852/32872528 swapFree=16080/1655368 [pid=1165] ppid=1162 vsize=1343044 CPUtime=1800.06 cores=1,3,5,7 /proc/1165/stat : 1165 (toysat) R 1162 1165 32454 0 -1 4202496 277235 0 0 0 179954 52 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 140736640687168 5711952 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1165/statm: 335761 277279 917 2943 0 332655 0 [pid=1165/tid=1166] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1166/stat : 1166 (toysat) S 1162 1165 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969062481136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1165/tid=1167] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1167/stat : 1167 (toysat) S 1162 1165 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969051991280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1165/tid=1168] ppid=1162 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/1165/task/1168/stat : 1168 (toysat) S 1162 1165 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105085934 1375277056 277279 33554432000 4194304 16246674 140736640705248 139969041517744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1343044 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.1 CPU user time (s): 1799.55 CPU system time (s): 0.548916 CPU usage (%): 99.976 Max. virtual memory (cumulated for all children) (KiB): 1343044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.548916 maximum resident set size= 1109116 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277235 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= 273 involuntary context switches= 1868 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.74128 second user time and 6.77297 second system time The end
Begin job on node122 at 2016-06-06 18:45:24 IDJOB=4079483 IDBENCH=2049 IDSOLVER=2542 FILE ID=node122/4079483-1465231524 RUNJOBID= node122-1465218907-32471 PBS_JOBID= 19843205 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-count.b.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079483-1465231524/watcher-4079483-1465231524 -o /tmp/evaluation-result-4079483-1465231524/solver-4079483-1465231524 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079483-1465231524.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 931342e76f648ae82c047d164917a326 RANDOM SEED=703045714 node122.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.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 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.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 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.898 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.898 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.898 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.898 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: 29307964 kB Buffers: 27872 kB Cached: 98100 kB SwapCached: 860 kB Active: 1155636 kB Inactive: 50104 kB Active(anon): 1080204 kB Inactive(anon): 1584 kB Active(file): 75432 kB Inactive(file): 48520 kB Unevictable: 1655368 kB Mlocked: 16080 kB SwapTotal: 67108856 kB SwapFree: 67099464 kB Dirty: 33180 kB Writeback: 0 kB AnonPages: 2894464 kB Mapped: 10280 kB Shmem: 0 kB Slab: 567852 kB SReclaimable: 11532 kB SUnreclaim: 556320 kB KernelStack: 1520 kB PageTables: 9592 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2878600 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1806336 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 node122 at 2016-06-06 19:15:24