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.61 |
| Name | /OPT-SMALLINT-LIN/heinz/ normalized-iis-bupa-cov.opb |
| MD5SUM | 7fb5c1a630b78d8604b800edf1958e29 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 42 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 341 |
| Total number of constraints | 4803 |
| Number of constraints which are clauses | 4803 |
| 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 | 7 |
| Maximum length of a constraint | 8 |
| Number of terms in the objective function | 341 |
| 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 | 341 |
| 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 | 341 |
| 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-19T01:40:08+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-4109064-1466293208.opb"] 0.00/0.01 c use --random-gen="4018239579 4177301398 3257940724 2497012670 1935571900 611983743 351595922 68219980 2749138852 2803416995 569955016 38734067 1842726605 3249497037 2962584702 2615143852 3576535968 494034678 3638006454 4037750474 2670519504 523875803 67009748 4242758734 3758826164 3400645601 3031221172 1087224173 3837915052 2316387796 3306621951 3077599573 2968151246 862746104 3647071086 1752494880 1843486229 3364517240 1729712396 1228187921 1672765112 3902104353 709424962 2374491242 3811075891 430013245 2007101548 813819036 4174563186 2232002441 2506003653 2146034430 164182848 2568286048 3363191045 2125727387 386986452 3224816064 3392419486 3117334115 3012310613 307979825 2814864874 3390433075 3683614849 2046007619 1172962858 3941336538 3908682661 3389974089 3904351130 3866954127 107399259 3350562461 2135794053 3099531481 3027067754 414486015 1993511524 3334133225 3291322929 3923745023 2903364348 2594320792 3813489195 2258411068 3670452790 200835749 2829206761 4123389280 3794698186 3945593674 3706331348 3306489081 2470689083 560334617 3319985602 1059948995 3232572111 2065687469 3799421376 2836935044 1635459462 4215542156 3551778077 1807095692 3845206008 3004668742 3242837253 2079640446 188733722 1158839751 2920003831 517010736 1980407070 1321969489 2450740090 2570824340 3226987107 1766024148 1327670824 3472220822 3037083861 649394360 2401476395 2232457293 2385224469 3704360868 421644831 3709423341 2378676581 1631465024 1536417494 1788311150 594945939 3675996711 988677993 755730997 1900962001 2132671087 1846763543 4250632129 2291120230 1665302295 1565502337 380606999 877830886 2705365344 2251422619 2385537187 3166849423 1737628964 670604346 3675145027 2924187968 4266472140 2165365849 765568083 1725215856 466472375 1267332147 1716479206 1042444865 652980934 1175973142 3957497467 2331081547 3665210930 185794441 2167158231 3375208803 1284786469 274313912 2092410740 342178898 2954712816 1872358278 2474251681 385627 1846674789 635178979 2739659431 95338655 2203427362 2152402548 2060628410 282069276 302928282 35344382 2619218223 593973462 2841654595 726977018 3755897530 518034105 3388723774 2445815681 2487694026 1364278586 3316021486 3714073887 515138053 3711567887 1045202665 3018481471 2103184804 2625604629 2451007858 2896492992 826269884 3238713099 80810736 922850639 2200685640 1040255539 1171135280 2404236492 1861770404 3846426838 2309454557 742056927 2570665783 1850949192 865558577 2921124429 9404381 1852600 4281731789 2804887358 1574035316 3682067995 1879997026 421180593 835258239 3842563508 2727064956 3381957201 2736116342 2876524021 1626239007 4197543571 949463073 3823756216 388029959 2308496308 2351387709 2310935732 3253813122 1064372161 3496896646 2424777292 2001698734 1363804272 3052582420 1295662743 332771834 255 362436" option to reproduce the execution 0.00/0.09 c #vars 341 0.00/0.09 c #constraints 4803 0.18/0.22 c BCD2: Hardening is enabled. 0.18/0.22 c BCD2: BiasedSearch is enabled. 0.18/0.22 c Solving starts ... 0.18/0.22 c ============================[ Search Statistics ]============================ 0.18/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.22 c | | | | Limit GC | Var | Constra 0.18/0.22 c ============================================================================= 0.18/0.22 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 0 0.18/0.22 c 0.0s | 0 | 341 | 0 | 1714 0 | 0 | 0 0.18/0.22 c #cpu_time = 0.007s 0.18/0.22 c #wall_clock_time = 0.007s 0.18/0.22 c #decision = 341 0.18/0.22 c #random_decision = 3 0.18/0.22 c #conflict = 0 0.18/0.22 c #restart = 0 0.18/0.22 o 341 0.18/0.22 c BCD2: updating upper bound: 341 -> 340 0.18/0.23 c BCD2: 0 <= obj <= 340 0.18/0.23 c BCD2: #cores=0, #unrelaxed=341, #relaxed=0, #hardened=0 0.18/0.23 c BCD2: #sat=1 #unsat=1 bias=1/2 0.18/0.23 c Solving starts ... 0.18/0.23 c ============================[ Search Statistics ]============================ 0.18/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.23 c | | | | Limit GC | Var | Constra 0.18/0.23 c ============================================================================= 0.18/0.23 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 0 0.18/0.23 c 0.0s | 0 | 162 | 0 | 1714 0 | 0 | 0 0.18/0.23 c #cpu_time = 0.007s 0.18/0.23 c #wall_clock_time = 0.007s 0.18/0.23 c #decision = 162 0.18/0.23 c #random_decision = 0 0.18/0.23 c #conflict = 0 0.18/0.23 c #restart = 0 0.18/0.23 c BCD2: found a new core of size 8: cost of the new core is >=1 0.18/0.23 c lower bound updated to 1 0.18/0.23 c BCD2: 1 <= obj <= 340 0.18/0.23 c BCD2: #cores=1, #unrelaxed=333, #relaxed=8, #hardened=0 0.18/0.23 c BCD2: #sat=1 #unsat=2 bias=2/3 0.18/0.23 c Solving starts ... 0.18/0.23 c ============================[ Search Statistics ]============================ 0.18/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.23 c | | | | Limit GC | Var | Constra 0.18/0.23 c ============================================================================= 0.18/0.23 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 1 0.18/0.24 c 0.0s | 0 | 206 | 0 | 1714 0 | 0 | 1 0.18/0.24 c #cpu_time = 0.006s 0.18/0.24 c #wall_clock_time = 0.006s 0.18/0.24 c #decision = 206 0.18/0.24 c #random_decision = 0 0.18/0.24 c #conflict = 0 0.18/0.24 c #restart = 0 0.18/0.24 c BCD2: found a new core of size 8: cost of the new core is >=1 0.18/0.24 c lower bound updated to 2 0.18/0.24 c BCD2: 2 <= obj <= 340 0.18/0.24 c BCD2: #cores=2, #unrelaxed=325, #relaxed=16, #hardened=0 0.18/0.24 c BCD2: #sat=1 #unsat=3 bias=3/4 0.18/0.24 c Solving starts ... 0.18/0.24 c ============================[ Search Statistics ]============================ 0.18/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.24 c | | | | Limit GC | Var | Constra 0.18/0.24 c ============================================================================= 0.18/0.24 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 2 0.18/0.25 c 0.0s | 0 | 205 | 0 | 1714 0 | 0 | 2 0.18/0.25 c #cpu_time = 0.006s 0.18/0.25 c #wall_clock_time = 0.006s 0.18/0.25 c #decision = 205 0.18/0.25 c #random_decision = 0 0.18/0.25 c #conflict = 0 0.18/0.25 c #restart = 0 0.18/0.25 c BCD2: found a new core of size 7: cost of the new core is >=1 0.18/0.25 c lower bound updated to 3 0.18/0.25 c BCD2: 3 <= obj <= 340 0.18/0.25 c BCD2: #cores=3, #unrelaxed=318, #relaxed=23, #hardened=0 0.18/0.25 c BCD2: #sat=1 #unsat=4 bias=4/5 0.18/0.25 c Solving starts ... 0.18/0.25 c ============================[ Search Statistics ]============================ 0.18/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.25 c | | | | Limit GC | Var | Constra 0.18/0.25 c ============================================================================= 0.18/0.25 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 3 0.18/0.25 c 0.0s | 0 | 219 | 0 | 1714 0 | 0 | 3 0.18/0.25 c #cpu_time = 0.006s 0.18/0.25 c #wall_clock_time = 0.006s 0.18/0.25 c #decision = 219 0.18/0.25 c #random_decision = 0 0.18/0.25 c #conflict = 0 0.18/0.25 c #restart = 0 0.18/0.25 c BCD2: found a new core of size 8: cost of the new core is >=1 0.18/0.25 c lower bound updated to 4 0.18/0.26 c BCD2: 4 <= obj <= 340 0.18/0.26 c BCD2: #cores=4, #unrelaxed=310, #relaxed=31, #hardened=0 0.18/0.26 c BCD2: #sat=1 #unsat=5 bias=5/6 0.18/0.26 c Solving starts ... 0.18/0.26 c ============================[ Search Statistics ]============================ 0.18/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.26 c | | | | Limit GC | Var | Constra 0.18/0.26 c ============================================================================= 0.18/0.26 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 4 0.18/0.26 c 0.0s | 0 | 251 | 0 | 1714 0 | 0 | 4 0.18/0.26 c #cpu_time = 0.006s 0.18/0.26 c #wall_clock_time = 0.006s 0.18/0.26 c #decision = 251 0.18/0.26 c #random_decision = 0 0.18/0.26 c #conflict = 0 0.18/0.26 c #restart = 0 0.18/0.26 c BCD2: found a new core of size 8: cost of the new core is >=1 0.18/0.26 c lower bound updated to 5 0.18/0.26 c BCD2: 5 <= obj <= 340 0.18/0.26 c BCD2: #cores=5, #unrelaxed=302, #relaxed=39, #hardened=0 0.18/0.26 c BCD2: #sat=1 #unsat=6 bias=6/7 0.18/0.26 c Solving starts ... 0.18/0.26 c ============================[ Search Statistics ]============================ 0.18/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.26 c | | | | Limit GC | Var | Constra 0.18/0.26 c ============================================================================= 0.18/0.26 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 5 0.18/0.27 c 0.0s | 0 | 246 | 0 | 1714 0 | 0 | 5 0.18/0.27 c #cpu_time = 0.006s 0.18/0.27 c #wall_clock_time = 0.006s 0.18/0.27 c #decision = 246 0.18/0.27 c #random_decision = 0 0.18/0.27 c #conflict = 0 0.18/0.27 c #restart = 0 0.18/0.27 c BCD2: found a new core of size 8: cost of the new core is >=1 0.18/0.27 c lower bound updated to 6 0.18/0.27 c BCD2: 6 <= obj <= 340 0.18/0.27 c BCD2: #cores=6, #unrelaxed=294, #relaxed=47, #hardened=0 0.18/0.27 c BCD2: #sat=1 #unsat=7 bias=7/8 0.18/0.27 c Solving starts ... 0.18/0.27 c ============================[ Search Statistics ]============================ 0.18/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.27 c | | | | Limit GC | Var | Constra 0.18/0.27 c ============================================================================= 0.18/0.27 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 6 0.18/0.28 c 0.0s | 0 | 241 | 0 | 1714 0 | 0 | 6 0.18/0.28 c #cpu_time = 0.006s 0.18/0.28 c #wall_clock_time = 0.006s 0.18/0.28 c #decision = 241 0.18/0.28 c #random_decision = 0 0.18/0.28 c #conflict = 0 0.18/0.28 c #restart = 0 0.18/0.28 c BCD2: found a new core of size 8: cost of the new core is >=1 0.18/0.28 c lower bound updated to 7 0.18/0.28 c BCD2: 7 <= obj <= 340 0.18/0.28 c BCD2: #cores=7, #unrelaxed=286, #relaxed=55, #hardened=0 0.18/0.28 c BCD2: #sat=1 #unsat=8 bias=8/9 0.18/0.28 c Solving starts ... 0.18/0.28 c ============================[ Search Statistics ]============================ 0.18/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.28 c | | | | Limit GC | Var | Constra 0.18/0.28 c ============================================================================= 0.18/0.28 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 7 0.18/0.29 c 0.0s | 0 | 236 | 0 | 1714 0 | 0 | 7 0.18/0.29 c #cpu_time = 0.006s 0.18/0.29 c #wall_clock_time = 0.006s 0.18/0.29 c #decision = 236 0.18/0.29 c #random_decision = 0 0.18/0.29 c #conflict = 0 0.18/0.29 c #restart = 0 0.18/0.29 c BCD2: found a new core of size 8: cost of the new core is >=1 0.18/0.29 c lower bound updated to 8 0.18/0.29 c BCD2: 8 <= obj <= 340 0.18/0.29 c BCD2: #cores=8, #unrelaxed=278, #relaxed=63, #hardened=0 0.18/0.29 c BCD2: #sat=1 #unsat=9 bias=9/10 0.18/0.29 c Solving starts ... 0.18/0.29 c ============================[ Search Statistics ]============================ 0.18/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.29 c | | | | Limit GC | Var | Constra 0.18/0.29 c ============================================================================= 0.18/0.29 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 8 0.18/0.29 c 0.0s | 0 | 248 | 0 | 1714 0 | 0 | 8 0.18/0.29 c #cpu_time = 0.007s 0.18/0.29 c #wall_clock_time = 0.007s 0.18/0.29 c #decision = 248 0.18/0.29 c #random_decision = 0 0.18/0.29 c #conflict = 0 0.18/0.29 c #restart = 0 0.18/0.29 c BCD2: found a new core of size 8: cost of the new core is >=1 0.18/0.29 c lower bound updated to 9 0.18/0.30 c BCD2: 9 <= obj <= 340 0.18/0.30 c BCD2: #cores=9, #unrelaxed=270, #relaxed=71, #hardened=0 0.18/0.30 c BCD2: #sat=1 #unsat=10 bias=10/11 0.18/0.30 c Solving starts ... 0.18/0.30 c ============================[ Search Statistics ]============================ 0.18/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.30 c | | | | Limit GC | Var | Constra 0.18/0.30 c ============================================================================= 0.18/0.30 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 9 0.28/0.30 c 0.0s | 0 | 243 | 0 | 1714 0 | 0 | 9 0.28/0.30 c #cpu_time = 0.006s 0.28/0.30 c #wall_clock_time = 0.006s 0.28/0.30 c #decision = 243 0.28/0.30 c #random_decision = 0 0.28/0.30 c #conflict = 0 0.28/0.30 c #restart = 0 0.28/0.30 c BCD2: found a new core of size 8: cost of the new core is >=1 0.28/0.30 c lower bound updated to 10 0.28/0.30 c BCD2: 10 <= obj <= 340 0.28/0.30 c BCD2: #cores=10, #unrelaxed=262, #relaxed=79, #hardened=0 0.28/0.30 c BCD2: #sat=1 #unsat=11 bias=11/12 0.28/0.30 c Solving starts ... 0.28/0.30 c ============================[ Search Statistics ]============================ 0.28/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.30 c | | | | Limit GC | Var | Constra 0.28/0.30 c ============================================================================= 0.28/0.30 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 10 0.28/0.31 c 0.0s | 0 | 238 | 0 | 1714 0 | 0 | 10 0.28/0.31 c #cpu_time = 0.006s 0.28/0.31 c #wall_clock_time = 0.006s 0.28/0.31 c #decision = 238 0.28/0.31 c #random_decision = 0 0.28/0.31 c #conflict = 0 0.28/0.31 c #restart = 0 0.28/0.31 c BCD2: found a new core of size 8: cost of the new core is >=1 0.28/0.31 c lower bound updated to 11 0.28/0.31 c BCD2: 11 <= obj <= 340 0.28/0.31 c BCD2: #cores=11, #unrelaxed=254, #relaxed=87, #hardened=0 0.28/0.31 c BCD2: #sat=1 #unsat=12 bias=12/13 0.28/0.31 c Solving starts ... 0.28/0.31 c ============================[ Search Statistics ]============================ 0.28/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.31 c | | | | Limit GC | Var | Constra 0.28/0.31 c ============================================================================= 0.28/0.31 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 11 0.28/0.32 c 0.0s | 0 | 236 | 0 | 1714 0 | 0 | 11 0.28/0.32 c #cpu_time = 0.007s 0.28/0.32 c #wall_clock_time = 0.007s 0.28/0.32 c #decision = 236 0.28/0.32 c #random_decision = 0 0.28/0.32 c #conflict = 0 0.28/0.32 c #restart = 0 0.28/0.32 c BCD2: found a new core of size 8: cost of the new core is >=1 0.28/0.32 c lower bound updated to 12 0.28/0.32 c BCD2: 12 <= obj <= 340 0.28/0.32 c BCD2: #cores=12, #unrelaxed=246, #relaxed=95, #hardened=0 0.28/0.32 c BCD2: #sat=1 #unsat=13 bias=13/14 0.28/0.32 c Solving starts ... 0.28/0.32 c ============================[ Search Statistics ]============================ 0.28/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.32 c | | | | Limit GC | Var | Constra 0.28/0.32 c ============================================================================= 0.28/0.32 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 12 0.28/0.33 c 0.0s | 0 | 231 | 0 | 1714 0 | 0 | 12 0.28/0.33 c #cpu_time = 0.006s 0.28/0.33 c #wall_clock_time = 0.006s 0.28/0.33 c #decision = 231 0.28/0.33 c #random_decision = 0 0.28/0.33 c #conflict = 0 0.28/0.33 c #restart = 0 0.28/0.33 c BCD2: found a new core of size 8: cost of the new core is >=1 0.28/0.33 c lower bound updated to 13 0.28/0.33 c BCD2: 13 <= obj <= 340 0.28/0.33 c BCD2: #cores=13, #unrelaxed=238, #relaxed=103, #hardened=0 0.28/0.33 c BCD2: #sat=1 #unsat=14 bias=14/15 0.28/0.33 c Solving starts ... 0.28/0.33 c ============================[ Search Statistics ]============================ 0.28/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.33 c | | | | Limit GC | Var | Constra 0.28/0.33 c ============================================================================= 0.28/0.33 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 13 0.28/0.33 c 0.0s | 0 | 233 | 0 | 1714 0 | 0 | 13 0.28/0.33 c #cpu_time = 0.007s 0.28/0.33 c #wall_clock_time = 0.007s 0.28/0.33 c #decision = 233 0.28/0.33 c #random_decision = 0 0.28/0.33 c #conflict = 0 0.28/0.33 c #restart = 0 0.28/0.33 c BCD2: found a new core of size 8: cost of the new core is >=1 0.28/0.33 c lower bound updated to 14 0.28/0.33 c BCD2: 14 <= obj <= 340 0.28/0.33 c BCD2: #cores=14, #unrelaxed=230, #relaxed=111, #hardened=0 0.28/0.33 c BCD2: #sat=1 #unsat=15 bias=15/16 0.28/0.33 c Solving starts ... 0.28/0.33 c ============================[ Search Statistics ]============================ 0.28/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.33 c | | | | Limit GC | Var | Constra 0.28/0.33 c ============================================================================= 0.28/0.34 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 14 0.28/0.34 c 0.0s | 0 | 232 | 0 | 1714 0 | 0 | 14 0.28/0.34 c #cpu_time = 0.007s 0.28/0.34 c #wall_clock_time = 0.007s 0.28/0.34 c #decision = 232 0.28/0.34 c #random_decision = 0 0.28/0.34 c #conflict = 0 0.28/0.34 c #restart = 0 0.28/0.34 c BCD2: found a new core of size 8: cost of the new core is >=1 0.28/0.34 c lower bound updated to 15 0.28/0.34 c BCD2: 15 <= obj <= 340 0.28/0.34 c BCD2: #cores=15, #unrelaxed=222, #relaxed=119, #hardened=0 0.28/0.34 c BCD2: #sat=1 #unsat=16 bias=16/17 0.28/0.34 c Solving starts ... 0.28/0.34 c ============================[ Search Statistics ]============================ 0.28/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.34 c | | | | Limit GC | Var | Constra 0.28/0.34 c ============================================================================= 0.28/0.34 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 15 0.28/0.35 c 0.0s | 0 | 232 | 0 | 1714 0 | 0 | 15 0.28/0.35 c #cpu_time = 0.007s 0.28/0.35 c #wall_clock_time = 0.007s 0.28/0.35 c #decision = 232 0.28/0.35 c #random_decision = 0 0.28/0.35 c #conflict = 0 0.28/0.35 c #restart = 0 0.28/0.35 c BCD2: found a new core of size 8: cost of the new core is >=1 0.28/0.35 c lower bound updated to 16 0.28/0.35 c BCD2: 16 <= obj <= 340 0.28/0.35 c BCD2: #cores=16, #unrelaxed=214, #relaxed=127, #hardened=0 0.28/0.35 c BCD2: #sat=1 #unsat=17 bias=17/18 0.28/0.35 c Solving starts ... 0.28/0.35 c ============================[ Search Statistics ]============================ 0.28/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.35 c | | | | Limit GC | Var | Constra 0.28/0.35 c ============================================================================= 0.28/0.35 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 16 0.28/0.36 c 0.0s | 0 | 327 | 0 | 1714 0 | 0 | 16 0.28/0.36 c #cpu_time = 0.007s 0.28/0.36 c #wall_clock_time = 0.007s 0.28/0.36 c #decision = 327 0.28/0.36 c #random_decision = 0 0.28/0.36 c #conflict = 0 0.28/0.36 c #restart = 0 0.28/0.36 o 55 0.28/0.36 c BCD2: updating upper bound: 340 -> 54 0.28/0.36 c BCD2: 16 <= obj <= 54 0.28/0.36 c BCD2: #cores=16, #unrelaxed=214, #relaxed=127, #hardened=0 0.28/0.36 c BCD2: #sat=2 #unsat=17 bias=17/19 0.28/0.36 c Solving starts ... 0.28/0.36 c ============================[ Search Statistics ]============================ 0.28/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.36 c | | | | Limit GC | Var | Constra 0.28/0.36 c ============================================================================= 0.28/0.36 c 0.0s | 0 | 0 | 0 | 1714 0 | 0 | 17 0.28/0.37 c 0.0s | 0 | 240 | 9 | 1714 0 | 0 | 17 0.28/0.37 c #cpu_time = 0.010s 0.28/0.37 c #wall_clock_time = 0.010s 0.28/0.37 c #decision = 240 0.28/0.37 c #random_decision = 0 0.28/0.37 c #conflict = 9 0.28/0.37 c #restart = 0 0.28/0.37 c BCD2: relaxing 75 and merging with 10 cores into a new core of size 154: cost of the new core is >=11 0.28/0.37 c lower bound updated to 17 0.28/0.37 c BCD2: 17 <= obj <= 54 0.28/0.37 c BCD2: #cores=7, #unrelaxed=139, #relaxed=202, #hardened=0 0.28/0.37 c BCD2: #sat=2 #unsat=18 bias=18/20 0.28/0.37 c Solving starts ... 0.28/0.37 c ============================[ Search Statistics ]============================ 0.28/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.37 c | | | | Limit GC | Var | Constra 0.28/0.37 c ============================================================================= 0.28/0.37 c 0.0s | 0 | 0 | 0 | 1714 0 | 22 | 17 0.39/0.40 c 0.0s | 0 | 321 | 53 | 1714 0 | 22 | 51 0.39/0.40 c #cpu_time = 0.026s 0.39/0.40 c #wall_clock_time = 0.026s 0.39/0.40 c #decision = 321 0.39/0.40 c #random_decision = 2 0.39/0.40 c #conflict = 53 0.39/0.40 c #restart = 0 0.39/0.40 o 47 0.39/0.40 c BCD2: updating upper bound: 54 -> 46 0.39/0.40 c BCD2: 17 <= obj <= 46 0.39/0.40 c BCD2: #cores=7, #unrelaxed=139, #relaxed=202, #hardened=0 0.39/0.40 c BCD2: #sat=3 #unsat=18 bias=18/21 0.39/0.40 c Solving starts ... 0.39/0.40 c ============================[ Search Statistics ]============================ 0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.40 c | | | | Limit GC | Var | Constra 0.39/0.40 c ============================================================================= 0.39/0.40 c 0.0s | 0 | 0 | 0 | 1714 0 | 22 | 52 0.39/0.43 c 0.0s | 1 | 341 | 100 | 1886 0 | 22 | 52 0.39/0.47 c 0.1s | 2 | 777 | 250 | 2075 0 | 22 | 52 0.49/0.52 c 0.1s | 3 | 1350 | 475 | 2283 0 | 22 | 52 0.59/0.60 c 0.2s | 4 | 2173 | 813 | 2512 0 | 22 | 52 0.69/0.72 c 0.3s | 5 | 3398 | 1320 | 2764 0 | 22 | 52 0.88/0.90 c 0.5s | 6 | 5327 | 2081 | 3041 0 | 22 | 52 1.10/1.18 c 0.8s | 7 | 8123 | 3223 | 3346 0 | 22 | 52 1.48/1.55 c 1.1s | 8 | 11807 | 4936 | 3681 1 | 22 | 52 1.98/2.08 c 1.7s | 9 | 17649 | 7506 | 4050 2 | 22 | 52 2.79/2.86 c 2.5s | 10 | 26041 | 11361 | 4455 4 | 22 | 52 4.09/4.13 c 3.7s | 11 | 38523 | 17144 | 4901 6 | 22 | 52 5.89/5.94 c 5.5s | 12 | 57476 | 25819 | 5392 10 | 22 | 52 7.89/7.96 c 7.6s | 12 | 76979 | 35419 | 5392 13 | 22 | 52 8.59/8.64 c 8.2s | 13 | 84206 | 38832 | 5932 14 | 22 | 52 10.59/10.65 c 10.2s | 13 | 106183 | 48232 | 5932 17 | 22 | 52 12.59/12.65 c 12.3s | 13 | 129271 | 57832 | 5932 20 | 22 | 52 12.69/12.78 c 12.4s | 14 | 130388 | 58352 | 6526 20 | 22 | 52 14.69/14.79 c 14.4s | 14 | 148322 | 66452 | 6526 23 | 22 | 52 16.79/16.80 c 16.4s | 14 | 169362 | 75652 | 6526 25 | 22 | 52 18.79/18.81 c 18.4s | 14 | 188100 | 84552 | 6526 28 | 22 | 52 19.49/19.50 c 19.1s | 15 | 194554 | 87632 | 7179 29 | 22 | 52 21.48/21.51 c 21.1s | 15 | 212679 | 96032 | 7179 31 | 22 | 52 23.48/23.52 c 23.1s | 15 | 232765 | 104732 | 7179 33 | 22 | 52 25.48/25.53 c 25.1s | 15 | 249781 | 112732 | 7179 36 | 22 | 52 27.49/27.54 c 27.1s | 15 | 266768 | 120632 | 7179 38 | 22 | 52 29.48/29.56 c 29.2s | 15 | 284912 | 129232 | 7179 40 | 22 | 52 30.08/30.16 c 29.8s | 16 | 289663 | 131552 | 7897 40 | 22 | 52 32.08/32.17 c 31.8s | 16 | 306930 | 139752 | 7897 43 | 22 | 52 34.09/34.20 c 33.8s | 16 | 325559 | 147952 | 7897 45 | 22 | 52 36.18/36.22 c 35.8s | 16 | 343862 | 156052 | 7897 47 | 22 | 52 38.18/38.23 c 37.8s | 16 | 362838 | 164552 | 7897 49 | 22 | 52 40.18/40.26 c 39.9s | 16 | 380015 | 172852 | 7897 51 | 22 | 52 42.18/42.26 c 41.9s | 16 | 398634 | 181352 | 7897 53 | 22 | 52 44.18/44.28 c 43.9s | 16 | 416204 | 189852 | 7897 55 | 22 | 52 46.08/46.11 c 45.7s | 17 | 431317 | 197432 | 8687 57 | 22 | 52 48.08/48.13 c 47.7s | 17 | 449267 | 205132 | 8687 58 | 22 | 52 50.08/50.15 c 49.7s | 17 | 467998 | 213532 | 8687 60 | 22 | 52 52.08/52.15 c 51.8s | 17 | 484854 | 221232 | 8687 62 | 22 | 52 54.08/54.16 c 53.8s | 17 | 503454 | 228932 | 8687 64 | 22 | 52 56.09/56.17 c 55.8s | 17 | 521554 | 236832 | 8687 65 | 22 | 52 58.08/58.17 c 57.8s | 17 | 539961 | 244832 | 8687 67 | 22 | 52 60.08/60.17 c 59.8s | 17 | 557951 | 252432 | 8687 69 | 22 | 52 62.08/62.17 c 61.8s | 17 | 575690 | 260232 | 8687 71 | 22 | 52 64.18/64.20 c 63.8s | 17 | 594459 | 268032 | 8687 72 | 22 | 52 66.18/66.22 c 65.8s | 17 | 613425 | 276232 | 8687 74 | 22 | 52 68.18/68.22 c 67.8s | 17 | 629303 | 283232 | 8687 76 | 22 | 52 70.18/70.23 c 69.8s | 17 | 649709 | 291832 | 8687 78 | 22 | 52 71.48/71.55 c 71.1s | 18 | 659686 | 296252 | 9556 79 | 22 | 52 73.47/73.56 c 73.2s | 18 | 675881 | 303252 | 9556 80 | 22 | 52 75.57/75.66 c 75.3s | 18 | 692199 | 310752 | 9556 81 | 22 | 52 77.68/77.72 c 77.3s | 18 | 711164 | 318952 | 9556 83 | 22 | 52 79.68/79.72 c 79.3s | 18 | 729829 | 327052 | 9556 85 | 22 | 52 81.68/81.72 c 81.3s | 18 | 746286 | 334452 | 9556 86 | 22 | 52 83.68/83.72 c 83.3s | 18 | 765278 | 342952 | 9556 88 | 22 | 52 85.68/85.73 c 85.3s | 18 | 781523 | 350952 | 9556 90 | 22 | 52 87.68/87.74 c 87.3s | 18 | 798470 | 358852 | 9556 91 | 22 | 52 89.68/89.75 c 89.3s | 18 | 814706 | 366352 | 9556 93 | 22 | 52 91.78/91.83 c 91.4s | 18 | 829297 | 373752 | 9556 94 | 22 | 52 93.77/93.84 c 93.4s | 18 | 842483 | 380052 | 9556 96 | 22 | 52 95.87/95.92 c 95.5s | 18 | 859643 | 387952 | 9556 97 | 22 | 52 97.88/97.94 c 97.5s | 18 | 877112 | 395852 | 9556 99 | 22 | 52 99.87/99.96 c 99.6s | 18 | 892082 | 403152 | 9556 100 | 22 | 52 101.87/101.97 c 101s | 18 | 908728 | 411552 | 9556 102 | 22 | 52 103.87/103.98 c 103s | 18 | 923800 | 419152 | 9556 104 | 22 | 52 105.87/105.99 c 105s | 18 | 938523 | 426552 | 9556 105 | 22 | 52 107.97/108.00 c 107s | 18 | 955525 | 434752 | 9556 107 | 22 | 52 109.87/110.00 c 109s | 18 | 969744 | 441652 | 10512 108 | 22 | 52 110.77/110.82 c 110s | 19 | 975446 | 444482 | 10512 109 | 22 | 52 112.77/112.85 c 112s | 19 | 990246 | 451182 | 10512 110 | 22 | 52 114.77/114.88 c 114s | 19 | 1007301 | 459582 | 10512 111 | 22 | 52 116.77/116.89 c 116s | 19 | 1024529 | 467482 | 10512 113 | 22 | 52 118.88/118.92 c 118s | 19 | 1042041 | 475182 | 10512 114 | 22 | 52 120.87/120.96 c 120s | 19 | 1058369 | 482582 | 10512 116 | 22 | 52 122.87/122.98 c 122s | 19 | 1078376 | 490882 | 10512 117 | 22 | 52 124.97/125.01 c 124s | 19 | 1093381 | 497882 | 10512 119 | 22 | 52 126.97/127.03 c 126s | 19 | 1109944 | 505582 | 10512 120 | 22 | 52 128.97/129.04 c 128s | 19 | 1125126 | 512982 | 10512 121 | 22 | 52 130.97/131.06 c 130s | 19 | 1141783 | 520582 | 10512 123 | 22 | 52 132.96/133.08 c 132s | 19 | 1156044 | 527182 | 10512 124 | 22 | 52 135.06/135.11 c 134s | 19 | 1172157 | 534582 | 10512 125 | 22 | 52 137.06/137.12 c 136s | 19 | 1189892 | 542582 | 10512 127 | 22 | 52 139.06/139.15 c 138s | 19 | 1207302 | 550582 | 10512 128 | 22 | 52 141.16/141.27 c 140s | 19 | 1224492 | 557682 | 10512 130 | 22 | 52 143.16/143.29 c 142s | 19 | 1243641 | 565682 | 10512 131 | 22 | 52 145.17/145.30 c 144s | 19 | 1258753 | 572582 | 10512 133 | 22 | 52 147.26/147.32 c 146s | 19 | 1274590 | 580082 | 10512 134 | 22 | 52 149.26/149.33 c 148s | 19 | 1289816 | 587682 | 10512 135 | 22 | 52 151.26/151.34 c 150s | 19 | 1305594 | 595282 | 10512 137 | 22 | 52 153.26/153.35 c 152s | 19 | 1319935 | 602182 | 10512 138 | 22 | 52 155.26/155.35 c 154s | 19 | 1333932 | 608982 | 10512 139 | 22 | 52 157.27/157.36 c 156s | 19 | 1348060 | 615982 | 10512 141 | 22 | 52 159.27/159.36 c 158s | 19 | 1360318 | 621882 | 10512 142 | 22 | 52 161.27/161.38 c 160s | 19 | 1377280 | 629782 | 10512 143 | 22 | 52 163.37/163.40 c 162s | 19 | 1390986 | 636682 | 10512 144 | 22 | 52 165.37/165.41 c 165s | 19 | 1404907 | 643782 | 10512 146 | 22 | 52 167.37/167.43 c 167s | 19 | 1419398 | 651282 | 10512 147 | 22 | 52 169.37/169.44 c 169s | 19 | 1432994 | 658182 | 10512 148 | 22 | 52 171.37/171.46 c 171s | 19 | 1448606 | 665382 | 11564 150 | 22 | 52 171.76/171.82 c 171s | 20 | 1452001 | 666827 | 11564 150 | 22 | 52 173.77/173.85 c 173s | 20 | 1466685 | 673727 | 11564 151 | 22 | 52 175.76/175.87 c 175s | 20 | 1481969 | 681227 | 11564 152 | 22 | 52 177.76/177.88 c 177s | 20 | 1495048 | 687527 | 11564 153 | 22 | 52 179.86/179.90 c 179s | 20 | 1507458 | 693527 | 11564 154 | 22 | 52 181.86/181.91 c 181s | 20 | 1526573 | 701827 | 11564 156 | 22 | 52 183.86/183.92 c 183s | 20 | 1541470 | 708527 | 11564 157 | 22 | 52 185.87/185.95 c 185s | 20 | 1558507 | 716427 | 11564 158 | 22 | 52 187.86/187.96 c 187s | 20 | 1574142 | 723727 | 11564 160 | 22 | 52 189.86/189.96 c 189s | 20 | 1590687 | 731027 | 11564 161 | 22 | 52 191.86/191.97 c 191s | 20 | 1606463 | 738427 | 11564 162 | 22 | 52 193.86/193.99 c 193s | 20 | 1623492 | 746127 | 11564 163 | 22 | 52 195.86/196.00 c 195s | 20 | 1638592 | 752827 | 11564 164 | 22 | 52 197.96/198.00 c 197s | 20 | 1654683 | 760127 | 11564 166 | 22 | 52 199.96/200.02 c 199s | 20 | 1670736 | 767827 | 11564 167 | 22 | 52 201.96/202.03 c 201s | 20 | 1684430 | 774827 | 11564 168 | 22 | 52 203.96/204.03 c 203s | 20 | 1699837 | 782227 | 11564 169 | 22 | 52 205.95/206.04 c 205s | 20 | 1714492 | 789127 | 11564 171 | 22 | 52 207.96/208.06 c 207s | 20 | 1731580 | 797027 | 11564 172 | 22 | 52 209.95/210.07 c 209s | 20 | 1748557 | 804527 | 11564 173 | 22 | 52 211.95/212.09 c 211s | 20 | 1764721 | 811927 | 11564 174 | 22 | 52 214.05/214.10 c 213s | 20 | 1782029 | 819627 | 11564 176 | 22 | 52 216.05/216.10 c 215s | 20 | 1799483 | 827327 | 11564 177 | 22 | 52 218.05/218.12 c 217s | 20 | 1814509 | 834127 | 11564 178 | 22 | 52 220.06/220.15 c 219s | 20 | 1829881 | 841027 | 11564 179 | 22 | 52 222.05/222.17 c 221s | 20 | 1845264 | 848227 | 11564 181 | 22 | 52 224.05/224.18 c 223s | 20 | 1859681 | 855327 | 11564 182 | 22 | 52 226.05/226.18 c 225s | 20 | 1872684 | 861727 | 11564 183 | 22 | 52 228.05/228.19 c 227s | 20 | 1887248 | 868727 | 11564 184 | 22 | 52 230.15/230.21 c 229s | 20 | 1902982 | 876127 | 11564 185 | 22 | 52 232.15/232.22 c 231s | 20 | 1916174 | 882927 | 11564 187 | 22 | 52 234.16/234.25 c 233s | 20 | 1930261 | 889527 | 11564 188 | 22 | 52 236.15/236.27 c 235s | 20 | 1945803 | 897127 | 11564 189 | 22 | 52 238.15/238.28 c 237s | 20 | 1960742 | 904327 | 11564 190 | 22 | 52 240.25/240.31 c 239s | 20 | 1973262 | 910627 | 11564 191 | 22 | 52 242.25/242.34 c 241s | 20 | 1987045 | 917627 | 11564 192 | 22 | 52 244.26/244.35 c 243s | 20 | 2000299 | 923727 | 11564 193 | 22 | 52 246.25/246.36 c 245s | 20 | 2015814 | 930927 | 11564 195 | 22 | 52 248.25/248.36 c 247s | 20 | 2032190 | 937927 | 11564 196 | 22 | 52 250.25/250.37 c 249s | 20 | 2049457 | 945227 | 11564 197 | 22 | 52 252.25/252.38 c 251s | 20 | 2063472 | 952227 | 11564 198 | 22 | 52 254.35/254.40 c 253s | 20 | 2079573 | 959627 | 11564 200 | 22 | 52 256.35/256.41 c 256s | 20 | 2094218 | 966627 | 11564 201 | 22 | 52 258.35/258.42 c 258s | 20 | 2109594 | 974027 | 11564 202 | 22 | 52 260.34/260.43 c 260s | 20 | 2124890 | 980727 | 11564 203 | 22 | 52 262.34/262.43 c 262s | 20 | 2140945 | 987927 | 11564 204 | 22 | 52 264.34/264.44 c 264s | 20 | 2156591 | 995427 | 12721 205 | 22 | 52 265.64/265.74 c 265s | 21 | 2167888 | 1000345 | 12721 206 | 22 | 52 267.64/267.74 c 267s | 21 | 2183031 | 1006845 | 12721 207 | 22 | 52 269.64/269.75 c 269s | 21 | 2198627 | 1014145 | 12721 208 | 22 | 52 271.65/271.77 c 271s | 21 | 2213794 | 1021045 | 12721 209 | 22 | 52 273.65/273.77 c 273s | 21 | 2228518 | 1027845 | 12721 210 | 22 | 52 275.75/275.82 c 275s | 21 | 2243344 | 1034645 | 12721 212 | 22 | 52 277.75/277.83 c 277s | 21 | 2261204 | 1041945 | 12721 213 | 22 | 52 279.75/279.84 c 279s | 21 | 2278684 | 1049045 | 12721 214 | 22 | 52 281.75/281.86 c 281s | 21 | 2296133 | 1056745 | 12721 215 | 22 | 52 283.76/283.87 c 283s | 21 | 2310190 | 1063245 | 12721 216 | 22 | 52 285.75/285.88 c 285s | 21 | 2326646 | 1070345 | 12721 217 | 22 | 52 287.75/287.89 c 287s | 21 | 2338051 | 1075645 | 12721 218 | 22 | 52 289.75/289.89 c 289s | 21 | 2353821 | 1083045 | 12721 219 | 22 | 52 291.85/291.91 c 291s | 21 | 2370665 | 1090445 | 12721 220 | 22 | 52 293.85/293.91 c 293s | 21 | 2385303 | 1096945 | 12721 221 | 22 | 52 295.85/295.95 c 295s | 21 | 2397269 | 1102945 | 12721 222 | 22 | 52 297.84/297.97 c 297s | 21 | 2410546 | 1109145 | 12721 223 | 22 | 52 299.84/299.99 c 299s | 21 | 2425320 | 1116245 | 12721 224 | 22 | 52 301.94/302.02 c 301s | 21 | 2440636 | 1123245 | 12721 225 | 22 | 52 303.94/304.03 c 303s | 21 | 2455352 | 1129945 | 12721 226 | 22 | 52 305.94/306.06 c 305s | 21 | 2469062 | 1136445 | 12721 227 | 22 | 52 307.95/308.06 c 307s | 21 | 2482878 | 1142845 | 12721 228 | 22 | 52 309.94/310.08 c 309s | 21 | 2495718 | 1148745 | 12721 229 | 22 | 52 311.94/312.09 c 311s | 21 | 2508976 | 1155245 | 12721 230 | 22 | 52 314.04/314.12 c 313s | 21 | 2522003 | 1161945 | 12721 231 | 22 | 52 316.04/316.13 c 315s | 21 | 2537231 | 1168645 | 12721 232 | 22 | 52 318.04/318.14 c 317s | 21 | 2552458 | 1176045 | 12721 233 | 22 | 52 320.04/320.15 c 319s | 21 | 2567668 | 1182745 | 12721 234 | 22 | 52 322.03/322.16 c 321s | 21 | 2581402 | 1188845 | 12721 235 | 22 | 52 324.03/324.17 c 323s | 21 | 2595728 | 1195345 | 12721 236 | 22 | 52 326.04/326.19 c 325s | 21 | 2610053 | 1202445 | 12721 237 | 22 | 52 328.14/328.29 c 327s | 21 | 2623670 | 1209145 | 12721 238 | 22 | 52 330.24/330.31 c 329s | 21 | 2639277 | 1215945 | 12721 240 | 22 | 52 332.34/332.41 c 332s | 21 | 2653209 | 1222945 | 12721 241 | 22 | 52 334.35/334.42 c 334s | 21 | 2668501 | 1229745 | 12721 242 | 22 | 52 336.34/336.42 c 336s | 21 | 2683987 | 1236545 | 12721 243 | 22 | 52 338.44/338.53 c 338s | 21 | 2698860 | 1243145 | 12721 244 | 22 | 52 340.64/340.75 c 340s | 21 | 2713115 | 1250045 | 12721 245 | 22 | 52 342.64/342.75 c 342s | 21 | 2728594 | 1256845 | 12721 246 | 22 | 52 344.64/344.77 c 344s | 21 | 2741432 | 1263045 | 12721 247 | 22 | 52 346.64/346.78 c 346s | 21 | 2755404 | 1269745 | 12721 248 | 22 | 52 348.64/348.79 c 348s | 21 | 2765992 | 1275345 | 12721 249 | 22 | 52 350.64/350.79 c 350s | 21 | 2777755 | 1281845 | 12721 250 | 22 | 52 352.74/352.83 c 352s | 21 | 2787931 | 1287045 | 12721 251 | 22 | 52 354.74/354.84 c 354s | 21 | 2801977 | 1293545 | 12721 252 | 22 | 52 356.83/356.90 c 356s | 21 | 2815484 | 1300145 | 12721 253 | 22 | 52 358.83/358.90 c 358s | 21 | 2829607 | 1306745 | 12721 254 | 22 | 52 360.84/360.93 c 360s | 21 | 2842299 | 1312845 | 12721 255 | 22 | 52 362.83/362.94 c 362s | 21 | 2856552 | 1319245 | 12721 256 | 22 | 52 364.83/364.95 c 364s | 21 | 2872402 | 1326545 | 12721 257 | 22 | 52 366.83/366.96 c 366s | 21 | 2886476 | 1333045 | 12721 258 | 22 | 52 368.83/368.99 c 368s | 21 | 2898485 | 1338145 | 12721 258 | 22 | 52 370.83/370.99 c 370s | 21 | 2910436 | 1343845 | 12721 259 | 22 | 52 372.84/372.99 c 372s | 21 | 2925163 | 1350845 | 12721 260 | 22 | 52 374.93/375.00 c 374s | 21 | 2937350 | 1356745 | 12721 261 | 22 | 52 376.93/377.01 c 376s | 21 | 2948698 | 1361945 | 12721 262 | 22 | 52 378.93/379.02 c 378s | 21 | 2963027 | 1368145 | 12721 263 | 22 | 52 380.93/381.03 c 380s | 21 | 2977605 | 1374645 | 12721 264 | 22 | 52 382.93/383.03 c 382s | 21 | 2991707 | 1380645 | 12721 265 | 22 | 52 385.03/385.11 c 384s | 21 | 3004115 | 1386345 | 12721 266 | 22 | 52 387.03/387.13 c 386s | 21 | 3015674 | 1391845 | 12721 267 | 22 | 52 389.02/389.19 c 388s | 21 | 3027554 | 1396945 | 12721 268 | 22 | 52 391.02/391.19 c 390s | 21 | 3040641 | 1402945 | 12721 268 | 22 | 52 393.12/393.23 c 392s | 21 | 3053167 | 1408845 | 12721 269 | 22 | 52 395.13/395.24 c 394s | 21 | 3066519 | 1415345 | 12721 270 | 22 | 52 397.14/397.24 c 396s | 21 | 3077204 | 1420445 | 12721 271 | 22 | 52 399.13/399.28 c 398s | 21 | 3088651 | 1425945 | 12721 272 | 22 | 52 401.13/401.28 c 400s | 21 | 3099814 | 1431845 | 12721 273 | 22 | 52 403.23/403.30 c 402s | 21 | 3110686 | 1436945 | 12721 274 | 22 | 52 405.23/405.31 c 404s | 21 | 3120794 | 1441845 | 12721 274 | 22 | 52 407.23/407.31 c 406s | 21 | 3132847 | 1447545 | 12721 275 | 22 | 52 409.23/409.34 c 408s | 21 | 3147100 | 1454245 | 12721 276 | 22 | 52 411.23/411.36 c 410s | 21 | 3162477 | 1461045 | 12721 277 | 22 | 52 413.23/413.38 c 412s | 21 | 3175031 | 1467045 | 12721 278 | 22 | 52 415.32/415.46 c 415s | 21 | 3186138 | 1472745 | 12721 279 | 22 | 52 417.32/417.46 c 417s | 21 | 3201242 | 1480445 | 12721 280 | 22 | 52 419.32/419.47 c 419s | 21 | 3215522 | 1487545 | 12721 282 | 22 | 52 421.42/421.50 c 421s | 21 | 3228757 | 1494045 | 13994 282 | 22 | 52 423.43/423.50 c 423s | 21 | 3242062 | 1500345 | 13994 283 | 22 | 52 423.43/423.58 c 423s | 22 | 3242645 | 1500622 | 13994 283 | 22 | 52 425.42/425.59 c 425s | 22 | 3254615 | 1506422 | 13994 284 | 22 | 52 427.52/427.61 c 427s | 22 | 3270496 | 1513722 | 13994 285 | 22 | 52 429.52/429.62 c 429s | 22 | 3286113 | 1521122 | 13994 286 | 22 | 52 431.52/431.63 c 431s | 22 | 3300836 | 1527522 | 13994 287 | 22 | 52 433.52/433.63 c 433s | 22 | 3314710 | 1533922 | 13994 288 | 22 | 52 435.53/435.64 c 435s | 22 | 3326435 | 1539722 | 13994 289 | 22 | 52 437.52/437.65 c 437s | 22 | 3342379 | 1547222 | 13994 290 | 22 | 52 439.52/439.66 c 439s | 22 | 3354614 | 1553222 | 13994 291 | 22 | 52 441.52/441.67 c 441s | 22 | 3368441 | 1559622 | 13994 292 | 22 | 52 443.62/443.70 c 443s | 22 | 3382235 | 1566522 | 13994 293 | 22 | 52 445.62/445.72 c 445s | 22 | 3396018 | 1573122 | 13994 293 | 22 | 52 447.62/447.74 c 447s | 22 | 3410322 | 1579822 | 13994 294 | 22 | 52 449.62/449.75 c 449s | 22 | 3424861 | 1586422 | 13994 295 | 22 | 52 451.62/451.75 c 451s | 22 | 3438657 | 1592622 | 13994 296 | 22 | 52 453.62/453.77 c 453s | 22 | 3451562 | 1598722 | 13994 297 | 22 | 52 455.61/455.80 c 455s | 22 | 3462388 | 1603722 | 13994 298 | 22 | 52 457.71/457.81 c 457s | 22 | 3475507 | 1609622 | 13994 299 | 22 | 52 459.83/459.96 c 459s | 22 | 3490472 | 1616322 | 13994 300 | 22 | 52 461.82/461.97 c 461s | 22 | 3503602 | 1622922 | 13994 300 | 22 | 52 464.23/464.31 c 463s | 22 | 3515723 | 1629022 | 13994 301 | 22 | 52 466.22/466.33 c 465s | 22 | 3528628 | 1635222 | 13994 302 | 22 | 52 468.22/468.35 c 467s | 22 | 3542631 | 1641822 | 13994 303 | 22 | 52 470.22/470.37 c 469s | 22 | 3555849 | 1648222 | 13994 304 | 22 | 52 472.22/472.37 c 471s | 22 | 3564645 | 1652722 | 13994 305 | 22 | 52 474.22/474.38 c 473s | 22 | 3578646 | 1659022 | 13994 306 | 22 | 52 476.32/476.41 c 476s | 22 | 3592053 | 1665322 | 13994 306 | 22 | 52 478.32/478.42 c 478s | 22 | 3603511 | 1671122 | 13994 307 | 22 | 52 480.31/480.43 c 480s | 22 | 3617798 | 1677522 | 13994 308 | 22 | 52 482.31/482.44 c 482s | 22 | 3633514 | 1684522 | 13994 309 | 22 | 52 484.31/484.44 c 484s | 22 | 3647166 | 1690722 | 13994 310 | 22 | 52 486.31/486.47 c 486s | 22 | 3661002 | 1697122 | 13994 311 | 22 | 52 488.32/488.49 c 488s | 22 | 3674363 | 1703422 | 13994 312 | 22 | 52 490.41/490.50 c 490s | 22 | 3686132 | 1708622 | 13994 313 | 22 | 52 492.41/492.52 c 492s | 22 | 3699431 | 1715022 | 13994 313 | 22 | 52 494.41/494.54 c 494s | 22 | 3711368 | 1720822 | 13994 314 | 22 | 52 496.41/496.55 c 496s | 22 | 3726108 | 1727722 | 13994 315 | 22 | 52 498.41/498.55 c 498s | 22 | 3738923 | 1733722 | 13994 316 | 22 | 52 500.42/500.56 c 500s | 22 | 3749940 | 1739222 | 13994 317 | 22 | 52 502.41/502.58 c 502s | 22 | 3762139 | 1744922 | 13994 318 | 22 | 52 504.41/504.59 c 504s | 22 | 3776771 | 1751722 | 13994 319 | 22 | 52 506.51/506.61 c 506s | 22 | 3789130 | 1757722 | 13994 319 | 22 | 52 508.51/508.63 c 508s | 22 | 3802579 | 1764422 | 13994 320 | 22 | 52 510.51/510.65 c 510s | 22 | 3815785 | 1770722 | 13994 321 | 22 | 52 512.51/512.68 c 512s | 22 | 3829775 | 1777222 | 13994 322 | 22 | 52 514.50/514.68 c 514s | 22 | 3844362 | 1783422 | 13994 323 | 22 | 52 516.50/516.68 c 516s | 22 | 3857638 | 1789622 | 13994 324 | 22 | 52 518.51/518.69 c 518s | 22 | 3869837 | 1795522 | 13994 325 | 22 | 52 520.61/520.71 c 520s | 22 | 3880345 | 1800922 | 13994 326 | 22 | 52 522.61/522.72 c 522s | 22 | 3895107 | 1807522 | 13994 326 | 22 | 52 524.62/524.73 c 524s | 22 | 3908626 | 1813522 | 13994 327 | 22 | 52 526.61/526.74 c 526s | 22 | 3922189 | 1820122 | 13994 328 | 22 | 52 528.61/528.76 c 528s | 22 | 3936695 | 1826722 | 13994 329 | 22 | 52 530.61/530.79 c 530s | 22 | 3950101 | 1832822 | 13994 330 | 22 | 52 532.71/532.81 c 532s | 22 | 3963064 | 1839122 | 13994 331 | 22 | 52 534.71/534.83 c 534s | 22 | 3976900 | 1845322 | 13994 332 | 22 | 52 536.71/536.85 c 536s | 22 | 3988296 | 1850722 | 13994 333 | 22 | 52 538.81/538.93 c 538s | 22 | 4003480 | 1857622 | 13994 334 | 22 | 52 540.81/540.93 c 540s | 22 | 4015778 | 1863422 | 13994 334 | 22 | 52 542.81/542.93 c 542s | 22 | 4028853 | 1869222 | 13994 335 | 22 | 52 544.81/544.94 c 544s | 22 | 4042045 | 1875322 | 13994 336 | 22 | 52 546.90/547.03 c 546s | 22 | 4054769 | 1881222 | 13994 337 | 22 | 52 548.91/549.04 c 548s | 22 | 4068675 | 1887622 | 13994 338 | 22 | 52 550.90/551.07 c 550s | 22 | 4082083 | 1893722 | 13994 339 | 22 | 52 552.90/553.07 c 552s | 22 | 4096342 | 1900122 | 13994 339 | 22 | 52 554.90/555.07 c 554s | 22 | 4107125 | 1905422 | 13994 340 | 22 | 52 556.91/557.09 c 556s | 22 | 4120329 | 1911422 | 13994 341 | 22 | 52 559.01/559.11 c 558s | 22 | 4134276 | 1917822 | 13994 342 | 22 | 52 561.01/561.11 c 560s | 22 | 4148230 | 1924622 | 13994 343 | 22 | 52 563.01/563.14 c 562s | 22 | 4162679 | 1931022 | 13994 344 | 22 | 52 565.00/565.16 c 564s | 22 | 4178248 | 1937622 | 13994 345 | 22 | 52 567.00/567.17 c 566s | 22 | 4190432 | 1943322 | 13994 346 | 22 | 52 569.00/569.17 c 568s | 22 | 4204115 | 1949522 | 13994 346 | 22 | 52 571.10/571.20 c 570s | 22 | 4218407 | 1955822 | 13994 347 | 22 | 52 573.11/573.21 c 572s | 22 | 4231144 | 1961822 | 13994 348 | 22 | 52 575.10/575.23 c 574s | 22 | 4242252 | 1967022 | 13994 349 | 22 | 52 577.10/577.23 c 576s | 22 | 4257722 | 1973922 | 13994 350 | 22 | 52 579.10/579.24 c 578s | 22 | 4271519 | 1980222 | 13994 351 | 22 | 52 581.10/581.25 c 580s | 22 | 4286649 | 1986822 | 13994 352 | 22 | 52 583.10/583.26 c 582s | 22 | 4298655 | 1992922 | 13994 353 | 22 | 52 585.11/585.29 c 584s | 22 | 4311098 | 1999522 | 13994 353 | 22 | 52 587.20/587.32 c 586s | 22 | 4323845 | 2005622 | 13994 354 | 22 | 52 589.20/589.33 c 588s | 22 | 4334445 | 2011022 | 13994 355 | 22 | 52 591.20/591.35 c 590s | 22 | 4346588 | 2016922 | 13994 356 | 22 | 52 593.20/593.38 c 592s | 22 | 4356554 | 2022222 | 13994 357 | 22 | 52 595.30/595.46 c 595s | 22 | 4369603 | 2028122 | 13994 358 | 22 | 52 597.30/597.47 c 597s | 22 | 4384915 | 2034922 | 13994 358 | 22 | 52 599.30/599.47 c 599s | 22 | 4399681 | 2041522 | 13994 359 | 22 | 52 601.29/601.50 c 601s | 22 | 4414016 | 2048022 | 13994 360 | 22 | 52 603.39/603.51 c 603s | 22 | 4427572 | 2054422 | 13994 361 | 22 | 52 605.39/605.55 c 605s | 22 | 4441154 | 2060522 | 13994 362 | 22 | 52 607.39/607.58 c 607s | 22 | 4455109 | 2066822 | 13994 363 | 22 | 52 609.49/609.62 c 609s | 22 | 4467925 | 2072622 | 13994 364 | 22 | 52 611.50/611.65 c 611s | 22 | 4480057 | 2078222 | 13994 365 | 22 | 52 613.49/613.65 c 613s | 22 | 4493772 | 2084122 | 13994 365 | 22 | 52 615.49/615.66 c 615s | 22 | 4506166 | 2089922 | 13994 366 | 22 | 52 617.49/617.68 c 617s | 22 | 4518610 | 2096022 | 13994 367 | 22 | 52 619.59/619.71 c 619s | 22 | 4532534 | 2102722 | 13994 368 | 22 | 52 621.59/621.71 c 621s | 22 | 4546089 | 2109122 | 13994 369 | 22 | 52 623.60/623.71 c 623s | 22 | 4557642 | 2115022 | 13994 370 | 22 | 52 625.60/625.72 c 625s | 22 | 4569480 | 2120522 | 13994 371 | 22 | 52 627.80/627.93 c 627s | 22 | 4582073 | 2126322 | 13994 371 | 22 | 52 629.80/629.94 c 629s | 22 | 4598272 | 2133322 | 13994 372 | 22 | 52 631.80/631.95 c 631s | 22 | 4612582 | 2139822 | 13994 373 | 22 | 52 633.79/633.95 c 633s | 22 | 4625872 | 2145722 | 13994 374 | 22 | 52 635.80/635.97 c 635s | 22 | 4642878 | 2152922 | 13994 375 | 22 | 52 637.79/637.98 c 637s | 22 | 4654749 | 2158422 | 13994 376 | 22 | 52 639.79/639.99 c 639s | 22 | 4669542 | 2164922 | 13994 377 | 22 | 52 641.89/642.00 c 641s | 22 | 4685597 | 2172422 | 13994 378 | 22 | 52 643.89/644.01 c 643s | 22 | 4698497 | 2178322 | 13994 379 | 22 | 52 645.89/646.01 c 645s | 22 | 4715014 | 2185322 | 13994 380 | 22 | 52 647.90/648.07 c 647s | 22 | 4731097 | 2192522 | 13994 381 | 22 | 52 649.89/650.08 c 649s | 22 | 4745996 | 2199022 | 13994 382 | 22 | 52 651.99/652.15 c 651s | 22 | 4760490 | 2205822 | 13994 383 | 22 | 52 653.99/654.16 c 653s | 22 | 4773449 | 2211322 | 13994 383 | 22 | 52 655.99/656.18 c 655s | 22 | 4785547 | 2216522 | 13994 384 | 22 | 52 658.09/658.20 c 657s | 22 | 4799006 | 2222322 | 13994 385 | 22 | 52 660.08/660.20 c 659s | 22 | 4814534 | 2229222 | 13994 386 | 22 | 52 662.09/662.23 c 661s | 22 | 4828759 | 2235222 | 15394 387 | 22 | 52 664.08/664.24 c 663s | 22 | 4844540 | 2241922 | 15394 387 | 22 | 52 666.08/666.26 c 665s | 22 | 4858466 | 2247722 | 15394 388 | 22 | 52 667.18/667.37 c 666s | 23 | 4866342 | 2251038 | 15394 389 | 22 | 52 669.18/669.39 c 668s | 23 | 4881234 | 2257338 | 15394 389 | 22 | 52 671.28/671.41 c 671s | 23 | 4897072 | 2264038 | 15394 390 | 22 | 52 673.28/673.42 c 673s | 23 | 4913418 | 2271338 | 15394 391 | 22 | 52 675.30/675.43 c 675s | 23 | 4927096 | 2277438 | 15394 392 | 22 | 52 677.39/677.54 c 677s | 23 | 4940610 | 2283438 | 15394 393 | 22 | 52 679.39/679.56 c 679s | 23 | 4956737 | 2290438 | 15394 394 | 22 | 52 681.39/681.56 c 681s | 23 | 4973529 | 2297538 | 15394 395 | 22 | 52 683.39/683.56 c 683s | 23 | 4988742 | 2304538 | 15394 395 | 22 | 52 685.38/685.57 c 685s | 23 | 5004456 | 2311438 | 15394 396 | 22 | 52 687.39/687.60 c 687s | 23 | 5019548 | 2318438 | 15394 397 | 22 | 52 689.48/689.60 c 689s | 23 | 5036392 | 2325738 | 15394 398 | 22 | 52 691.48/691.62 c 691s | 23 | 5050611 | 2332438 | 15394 399 | 22 | 52 693.48/693.63 c 693s | 23 | 5065241 | 2339138 | 15394 400 | 22 | 52 695.48/695.67 c 695s | 23 | 5079937 | 2345738 | 15394 401 | 22 | 52 697.48/697.69 c 697s | 23 | 5096216 | 2352738 | 15394 402 | 22 | 52 699.49/699.69 c 699s | 23 | 5111745 | 2359838 | 15394 403 | 22 | 52 701.58/701.70 c 701s | 23 | 5128172 | 2367338 | 15394 403 | 22 | 52 703.58/703.72 c 703s | 23 | 5142483 | 2373638 | 15394 404 | 22 | 52 705.58/705.72 c 705s | 23 | 5156743 | 2380138 | 15394 405 | 22 | 52 707.58/707.74 c 707s | 23 | 5170149 | 2386238 | 15394 406 | 22 | 52 709.58/709.75 c 709s | 23 | 5183108 | 2392638 | 15394 407 | 22 | 52 711.58/711.77 c 711s | 23 | 5194833 | 2398138 | 15394 407 | 22 | 52 713.58/713.79 c 713s | 23 | 5209762 | 2405038 | 15394 408 | 22 | 52 715.58/715.79 c 715s | 23 | 5222122 | 2411338 | 15394 409 | 22 | 52 717.67/717.81 c 717s | 23 | 5236959 | 2418338 | 15394 410 | 22 | 52 719.68/719.82 c 719s | 23 | 5249586 | 2424238 | 15394 411 | 22 | 52 721.68/721.83 c 721s | 23 | 5264416 | 2430938 | 15394 412 | 22 | 52 723.69/723.85 c 723s | 23 | 5279941 | 2437738 | 15394 412 | 22 | 52 725.68/725.86 c 725s | 23 | 5292322 | 2443838 | 15394 413 | 22 | 52 727.68/727.87 c 727s | 23 | 5307607 | 2450538 | 15394 414 | 22 | 52 729.68/729.89 c 729s | 23 | 5322714 | 2456938 | 15394 415 | 22 | 52 731.78/731.92 c 731s | 23 | 5338564 | 2463638 | 15394 416 | 22 | 52 733.78/733.98 c 733s | 23 | 5351711 | 2469138 | 15394 417 | 22 | 52 735.88/736.01 c 735s | 23 | 5364095 | 2474938 | 15394 417 | 22 | 52 737.88/738.03 c 737s | 23 | 5376697 | 2481138 | 15394 418 | 22 | 52 739.88/740.04 c 739s | 23 | 5389324 | 2487338 | 15394 419 | 22 | 52 741.88/742.07 c 741s | 23 | 5402831 | 2493338 | 15394 420 | 22 | 52 743.87/744.09 c 743s | 23 | 5415118 | 2499438 | 15394 420 | 22 | 52 745.97/746.10 c 745s | 23 | 5430769 | 2506738 | 15394 421 | 22 | 52 747.98/748.12 c 747s | 23 | 5444802 | 2513238 | 15394 422 | 22 | 52 749.97/750.14 c 749s | 23 | 5458360 | 2519538 | 15394 423 | 22 | 52 751.97/752.16 c 751s | 23 | 5472913 | 2526138 | 15394 424 | 22 | 52 753.97/754.18 c 753s | 23 | 5484901 | 2531838 | 15394 425 | 22 | 52 755.97/756.19 c 755s | 23 | 5498534 | 2537838 | 15394 425 | 22 | 52 757.97/758.19 c 757s | 23 | 5511867 | 2544038 | 15394 426 | 22 | 52 759.97/760.19 c 759s | 23 | 5523241 | 2550138 | 15394 427 | 22 | 52 762.08/762.20 c 761s | 23 | 5538201 | 2556838 | 15394 428 | 22 | 52 764.08/764.21 c 763s | 23 | 5554227 | 2563538 | 15394 429 | 22 | 52 766.07/766.22 c 765s | 23 | 5569393 | 2570138 | 15394 429 | 22 | 52 768.07/768.23 c 767s | 23 | 5581408 | 2576138 | 15394 430 | 22 | 52 770.07/770.24 c 769s | 23 | 5595817 | 2582638 | 15394 431 | 22 | 52 772.08/772.25 c 771s | 23 | 5610963 | 2588838 | 15394 432 | 22 | 52 774.07/774.27 c 773s | 23 | 5629558 | 2596538 | 15394 433 | 22 | 52 776.17/776.34 c 775s | 23 | 5642392 | 2602638 | 15394 434 | 22 | 52 778.17/778.35 c 777s | 23 | 5656782 | 2609338 | 15394 434 | 22 | 52 780.17/780.37 c 779s | 23 | 5670804 | 2615638 | 15394 435 | 22 | 52 782.17/782.37 c 781s | 23 | 5685960 | 2622038 | 15394 436 | 22 | 52 784.17/784.38 c 783s | 23 | 5701208 | 2628638 | 15394 437 | 22 | 52 786.27/786.40 c 785s | 23 | 5718113 | 2635438 | 15394 438 | 22 | 52 788.27/788.41 c 788s | 23 | 5732522 | 2641338 | 15394 439 | 22 | 52 790.27/790.42 c 790s | 23 | 5746992 | 2647338 | 15394 439 | 22 | 52 792.27/792.44 c 792s | 23 | 5760187 | 2653238 | 15394 440 | 22 | 52 794.27/794.45 c 794s | 23 | 5774904 | 2659538 | 15394 441 | 22 | 52 796.27/796.47 c 796s | 23 | 5791137 | 2666638 | 15394 442 | 22 | 52 798.36/798.50 c 798s | 23 | 5804630 | 2672738 | 15394 443 | 22 | 52 800.36/800.50 c 800s | 23 | 5817786 | 2678738 | 15394 443 | 22 | 52 802.36/802.50 c 802s | 23 | 5831396 | 2684538 | 15394 444 | 22 | 52 804.36/804.52 c 804s | 23 | 5845039 | 2690238 | 15394 445 | 22 | 52 806.36/806.55 c 806s | 23 | 5859259 | 2696338 | 15394 446 | 22 | 52 808.37/808.56 c 808s | 23 | 5874281 | 2702938 | 15394 446 | 22 | 52 810.36/810.58 c 810s | 23 | 5888427 | 2709038 | 15394 447 | 22 | 52 812.47/812.61 c 812s | 23 | 5902342 | 2714838 | 15394 448 | 22 | 52 814.47/814.64 c 814s | 23 | 5914241 | 2720038 | 15394 449 | 22 | 52 816.47/816.65 c 816s | 23 | 5928319 | 2726438 | 15394 449 | 22 | 52 818.47/818.65 c 818s | 23 | 5942824 | 2732938 | 15394 450 | 22 | 52 820.47/820.68 c 820s | 23 | 5954272 | 2738238 | 15394 451 | 22 | 52 822.47/822.69 c 822s | 23 | 5966524 | 2744038 | 15394 452 | 22 | 52 824.56/824.71 c 824s | 23 | 5979303 | 2749938 | 15394 452 | 22 | 52 826.56/826.74 c 826s | 23 | 5994168 | 2756638 | 15394 453 | 22 | 52 828.56/828.75 c 828s | 23 | 6006024 | 2762638 | 15394 454 | 22 | 52 830.56/830.79 c 830s | 23 | 6017906 | 2768838 | 15394 455 | 22 | 52 832.67/832.83 c 832s | 23 | 6030298 | 2774938 | 15394 456 | 22 | 52 834.66/834.83 c 834s | 23 | 6041393 | 2780338 | 15394 456 | 22 | 52 836.66/836.86 c 836s | 23 | 6052870 | 2786038 | 15394 457 | 22 | 52 838.66/838.87 c 838s | 23 | 6064482 | 2791538 | 15394 458 | 22 | 52 840.66/840.87 c 840s | 23 | 6078544 | 2797938 | 15394 459 | 22 | 52 842.66/842.88 c 842s | 23 | 6093431 | 2804838 | 15394 460 | 22 | 52 844.67/844.89 c 844s | 23 | 6107265 | 2811838 | 15394 460 | 22 | 52 846.76/846.92 c 846s | 23 | 6118367 | 2817138 | 15394 461 | 22 | 52 848.86/849.00 c 848s | 23 | 6132075 | 2823738 | 15394 462 | 22 | 52 850.86/851.01 c 850s | 23 | 6146091 | 2830138 | 15394 463 | 22 | 52 852.86/853.02 c 852s | 23 | 6158388 | 2836238 | 15394 464 | 22 | 52 854.86/855.03 c 854s | 23 | 6170305 | 2842238 | 15394 464 | 22 | 52 856.86/857.05 c 856s | 23 | 6182712 | 2848438 | 15394 465 | 22 | 52 858.86/859.07 c 858s | 23 | 6193900 | 2854138 | 15394 466 | 22 | 52 860.86/861.08 c 860s | 23 | 6205144 | 2860138 | 15394 467 | 22 | 52 862.96/863.11 c 862s | 23 | 6220817 | 2867038 | 15394 467 | 22 | 52 864.96/865.14 c 864s | 23 | 6233443 | 2873138 | 15394 468 | 22 | 52 866.95/867.16 c 866s | 23 | 6244946 | 2878738 | 15394 469 | 22 | 52 869.35/869.55 c 869s | 23 | 6254937 | 2883938 | 15394 470 | 22 | 52 871.35/871.57 c 871s | 23 | 6268948 | 2890338 | 15394 470 | 22 | 52 873.36/873.59 c 873s | 23 | 6280356 | 2895938 | 15394 471 | 22 | 52 875.35/875.59 c 875s | 23 | 6292392 | 2901638 | 15394 472 | 22 | 52 877.45/877.61 c 877s | 23 | 6306787 | 2908038 | 15394 473 | 22 | 52 879.45/879.63 c 879s | 23 | 6319342 | 2914038 | 15394 474 | 22 | 52 881.45/881.66 c 881s | 23 | 6330285 | 2919238 | 15394 474 | 22 | 52 883.45/883.67 c 883s | 23 | 6345809 | 2926138 | 15394 475 | 22 | 52 885.46/885.68 c 885s | 23 | 6357139 | 2931838 | 15394 476 | 22 | 52 887.45/887.70 c 887s | 23 | 6369476 | 2937538 | 15394 477 | 22 | 52 889.56/889.73 c 889s | 23 | 6384321 | 2943738 | 15394 477 | 22 | 52 891.56/891.75 c 891s | 23 | 6397327 | 2949338 | 15394 478 | 22 | 52 893.56/893.76 c 893s | 23 | 6408301 | 2954438 | 15394 479 | 22 | 52 895.66/895.81 c 895s | 23 | 6422530 | 2960838 | 15394 480 | 22 | 52 897.66/897.82 c 897s | 23 | 6433670 | 2966538 | 15394 480 | 22 | 52 899.66/899.85 c 899s | 23 | 6445297 | 2972238 | 15394 481 | 22 | 52 901.66/901.86 c 901s | 23 | 6455986 | 2977338 | 15394 482 | 22 | 52 903.65/903.86 c 903s | 23 | 6468252 | 2983438 | 15394 482 | 22 | 52 905.75/905.91 c 905s | 23 | 6477947 | 2988238 | 15394 483 | 22 | 52 907.75/907.92 c 907s | 23 | 6488807 | 2993538 | 15394 484 | 22 | 52 909.75/909.95 c 909s | 23 | 6498714 | 2998638 | 15394 484 | 22 | 52 911.76/911.97 c 911s | 23 | 6510810 | 3004838 | 15394 485 | 22 | 52 913.96/914.16 c 913s | 23 | 6523047 | 3011238 | 15394 486 | 22 | 52 915.95/916.17 c 915s | 23 | 6534954 | 3017638 | 15394 487 | 22 | 52 917.95/918.19 c 917s | 23 | 6545806 | 3023238 | 15394 488 | 22 | 52 920.05/920.22 c 919s | 23 | 6559022 | 3029438 | 15394 488 | 22 | 52 922.05/922.24 c 921s | 23 | 6570197 | 3034938 | 15394 489 | 22 | 52 924.05/924.25 c 923s | 23 | 6582201 | 3040938 | 15394 490 | 22 | 52 926.45/926.61 c 926s | 23 | 6593692 | 3046738 | 15394 491 | 22 | 52 928.45/928.62 c 928s | 23 | 6607128 | 3053038 | 15394 491 | 22 | 52 930.45/930.64 c 930s | 23 | 6618327 | 3058838 | 15394 492 | 22 | 52 932.45/932.65 c 932s | 23 | 6630365 | 3064938 | 15394 493 | 22 | 52 934.55/934.78 c 934s | 23 | 6640622 | 3070338 | 15394 494 | 22 | 52 936.55/936.79 c 936s | 23 | 6654287 | 3076938 | 15394 494 | 22 | 52 938.65/938.80 c 938s | 23 | 6668350 | 3083538 | 15394 495 | 22 | 52 940.75/940.96 c 940s | 23 | 6679251 | 3089438 | 15394 496 | 22 | 52 942.74/942.98 c 942s | 23 | 6691477 | 3095538 | 15394 497 | 22 | 52 944.85/945.00 c 944s | 23 | 6703001 | 3101338 | 15394 498 | 22 | 52 946.84/947.02 c 946s | 23 | 6713277 | 3106838 | 15394 498 | 22 | 52 948.84/949.04 c 948s | 23 | 6724399 | 3112538 | 15394 499 | 22 | 52 950.84/951.04 c 950s | 23 | 6737194 | 3118738 | 15394 500 | 22 | 52 952.84/953.07 c 952s | 23 | 6747712 | 3124738 | 15394 501 | 22 | 52 954.84/955.09 c 954s | 23 | 6761664 | 3131038 | 15394 501 | 22 | 52 956.85/957.10 c 956s | 23 | 6772812 | 3136738 | 15394 502 | 22 | 52 958.94/959.14 c 958s | 23 | 6783940 | 3141938 | 15394 503 | 22 | 52 960.94/961.16 c 960s | 23 | 6800076 | 3149238 | 15394 504 | 22 | 52 962.94/963.16 c 962s | 23 | 6814496 | 3155638 | 15394 504 | 22 | 52 964.94/965.18 c 964s | 23 | 6827164 | 3161838 | 15394 505 | 22 | 52 966.94/967.19 c 966s | 23 | 6838776 | 3167438 | 15394 506 | 22 | 52 969.14/969.35 c 968s | 23 | 6850326 | 3173038 | 15394 507 | 22 | 52 971.15/971.38 c 970s | 23 | 6863897 | 3179838 | 15394 508 | 22 | 52 973.24/973.40 c 972s | 23 | 6876444 | 3185838 | 15394 508 | 22 | 52 975.24/975.40 c 975s | 23 | 6888445 | 3191438 | 15394 509 | 22 | 52 977.24/977.43 c 977s | 23 | 6898041 | 3196038 | 15394 510 | 22 | 52 979.24/979.43 c 979s | 23 | 6910144 | 3202038 | 15394 510 | 22 | 52 981.24/981.45 c 981s | 23 | 6920739 | 3207738 | 15394 511 | 22 | 52 983.25/983.47 c 983s | 23 | 6933628 | 3213938 | 15394 512 | 22 | 52 985.24/985.48 c 985s | 23 | 6945750 | 3219738 | 15394 513 | 22 | 52 987.24/987.50 c 987s | 23 | 6958057 | 3225638 | 15394 513 | 22 | 52 989.34/989.51 c 989s | 23 | 6969554 | 3231838 | 15394 514 | 22 | 52 991.34/991.53 c 991s | 23 | 6978949 | 3236638 | 15394 515 | 22 | 52 993.34/993.55 c 993s | 23 | 6989410 | 3242538 | 15394 516 | 22 | 52 995.34/995.56 c 995s | 23 | 6998894 | 3247738 | 15394 516 | 22 | 52 997.34/997.56 c 997s | 23 | 7010654 | 3253938 | 15394 517 | 22 | 52 999.54/999.75 c 999s | 23 | 7025695 | 3261038 | 15394 518 | 22 | 52 1001.53/1001.77 c 1001s | 23 | 7043878 | 3269138 | 15394 519 | 22 | 52 1003.53/1003.77 c 1003s | 23 | 7057150 | 3275738 | 15394 520 | 22 | 52 1005.53/1005.78 c 1005s | 23 | 7071184 | 3282138 | 15394 521 | 22 | 52 1007.63/1007.86 c 1007s | 23 | 7083813 | 3288638 | 15394 522 | 22 | 52 1009.64/1009.87 c 1009s | 23 | 7097254 | 3295238 | 15394 522 | 22 | 52 1011.63/1011.89 c 1011s | 23 | 7110993 | 3301638 | 15394 523 | 22 | 52 1013.63/1013.89 c 1013s | 23 | 7125766 | 3308138 | 15394 524 | 22 | 52 1015.73/1015.91 c 1015s | 23 | 7138229 | 3314638 | 15394 525 | 22 | 52 1017.73/1017.93 c 1017s | 23 | 7150504 | 3320738 | 15394 526 | 22 | 52 1019.83/1020.03 c 1019s | 23 | 7165288 | 3327638 | 15394 527 | 22 | 52 1021.84/1022.03 c 1021s | 23 | 7179434 | 3334238 | 15394 527 | 22 | 52 1023.83/1024.03 c 1023s | 23 | 7191902 | 3340638 | 15394 528 | 22 | 52 1025.83/1026.05 c 1025s | 23 | 7204362 | 3346638 | 15394 529 | 22 | 52 1027.93/1028.11 c 1027s | 23 | 7217087 | 3352838 | 16934 530 | 22 | 52 1029.93/1030.13 c 1029s | 23 | 7230746 | 3359838 | 16934 530 | 22 | 52 1031.93/1032.14 c 1031s | 23 | 7243895 | 3366038 | 16934 531 | 22 | 52 1033.93/1034.15 c 1033s | 23 | 7257035 | 3372438 | 16934 532 | 22 | 52 1035.13/1035.36 c 1034s | 24 | 7266182 | 3376662 | 16934 532 | 22 | 52 1037.13/1037.38 c 1036s | 24 | 7277372 | 3381762 | 16934 533 | 22 | 52 1039.13/1039.38 c 1038s | 24 | 7290237 | 3387662 | 16934 534 | 22 | 52 1041.23/1041.42 c 1041s | 24 | 7303627 | 3394162 | 16934 534 | 22 | 52 1043.23/1043.43 c 1043s | 24 | 7315905 | 3399662 | 16934 535 | 22 | 52 1045.23/1045.43 c 1045s | 24 | 7327121 | 3405362 | 16934 536 | 22 | 52 1047.23/1047.46 c 1047s | 24 | 7340217 | 3411862 | 16934 537 | 22 | 52 1049.24/1049.46 c 1049s | 24 | 7352754 | 3418262 | 16934 537 | 22 | 52 1051.23/1051.47 c 1051s | 24 | 7364968 | 3424862 | 16934 538 | 22 | 52 1053.33/1053.57 c 1053s | 24 | 7376781 | 3431062 | 16934 539 | 22 | 52 1055.33/1055.59 c 1055s | 24 | 7388707 | 3436962 | 16934 539 | 22 | 52 1057.43/1057.61 c 1057s | 24 | 7401860 | 3442662 | 16934 540 | 22 | 52 1059.43/1059.63 c 1059s | 24 | 7413852 | 3448762 | 16934 541 | 22 | 52 1061.43/1061.64 c 1061s | 24 | 7426956 | 3454762 | 16934 542 | 22 | 52 1063.43/1063.67 c 1063s | 24 | 7440504 | 3461062 | 16934 542 | 22 | 52 1065.53/1065.70 c 1065s | 24 | 7453788 | 3467062 | 16934 543 | 22 | 52 1067.52/1067.77 c 1067s | 24 | 7465742 | 3471962 | 16934 544 | 22 | 52 1069.52/1069.78 c 1069s | 24 | 7478967 | 3477462 | 16934 544 | 22 | 52 1071.62/1071.82 c 1071s | 24 | 7494445 | 3483662 | 16934 545 | 22 | 52 1073.62/1073.83 c 1073s | 24 | 7507515 | 3489162 | 16934 546 | 22 | 52 1075.63/1075.85 c 1075s | 24 | 7520312 | 3495462 | 16934 546 | 22 | 52 1077.62/1077.86 c 1077s | 24 | 7529623 | 3500162 | 16934 547 | 22 | 52 1079.72/1079.93 c 1079s | 24 | 7541747 | 3506262 | 16934 548 | 22 | 52 1081.72/1081.93 c 1081s | 24 | 7557283 | 3513162 | 16934 548 | 22 | 52 1083.72/1083.94 c 1083s | 24 | 7570189 | 3518962 | 16934 549 | 22 | 52 1085.72/1085.95 c 1085s | 24 | 7581793 | 3524662 | 16934 550 | 22 | 52 1087.73/1087.97 c 1087s | 24 | 7594814 | 3530762 | 16934 550 | 22 | 52 1089.83/1090.00 c 1089s | 24 | 7606938 | 3536862 | 16934 551 | 22 | 52 1091.83/1092.02 c 1091s | 24 | 7620498 | 3542962 | 16934 552 | 22 | 52 1093.83/1094.02 c 1093s | 24 | 7630848 | 3548362 | 16934 552 | 22 | 52 1095.83/1096.02 c 1095s | 24 | 7641831 | 3553562 | 16934 553 | 22 | 52 1097.83/1098.05 c 1097s | 24 | 7654102 | 3559562 | 16934 554 | 22 | 52 1099.83/1100.06 c 1099s | 24 | 7666679 | 3565862 | 16934 554 | 22 | 52 1101.82/1102.06 c 1101s | 24 | 7678608 | 3571662 | 16934 555 | 22 | 52 1103.82/1104.08 c 1103s | 24 | 7689910 | 3576962 | 16934 556 | 22 | 52 1105.92/1106.11 c 1105s | 24 | 7702473 | 3582862 | 16934 556 | 22 | 52 1107.92/1108.12 c 1107s | 24 | 7716057 | 3588962 | 16934 557 | 22 | 52 1109.92/1110.15 c 1109s | 24 | 7728153 | 3594262 | 16934 558 | 22 | 52 1111.93/1112.19 c 1111s | 24 | 7739987 | 3599962 | 16934 558 | 22 | 52 1114.02/1114.22 c 1113s | 24 | 7750573 | 3605162 | 16934 559 | 22 | 52 1116.02/1116.23 c 1115s | 24 | 7760916 | 3610262 | 16934 560 | 22 | 52 1118.02/1118.26 c 1117s | 24 | 7774114 | 3616362 | 16934 560 | 22 | 52 1120.02/1120.28 c 1119s | 24 | 7783761 | 3621362 | 16934 561 | 22 | 52 1122.02/1122.29 c 1121s | 24 | 7795708 | 3626862 | 16934 562 | 22 | 52 1124.12/1124.31 c 1123s | 24 | 7810505 | 3633862 | 16934 562 | 22 | 52 1126.11/1126.33 c 1125s | 24 | 7823228 | 3640062 | 16934 563 | 22 | 52 1128.11/1128.36 c 1127s | 24 | 7833894 | 3645262 | 16934 564 | 22 | 52 1130.11/1130.37 c 1129s | 24 | 7843735 | 3649762 | 16934 564 | 22 | 52 1132.11/1132.39 c 1131s | 24 | 7856867 | 3655962 | 16934 565 | 22 | 52 1134.21/1134.43 c 1134s | 24 | 7870120 | 3661962 | 16934 566 | 22 | 52 1136.22/1136.47 c 1136s | 24 | 7884625 | 3668662 | 16934 566 | 22 | 52 1138.21/1138.48 c 1138s | 24 | 7898005 | 3674862 | 16934 567 | 22 | 52 1140.32/1140.50 c 1140s | 24 | 7908873 | 3679462 | 16934 568 | 22 | 52 1142.32/1142.52 c 1142s | 24 | 7923487 | 3686262 | 16934 569 | 22 | 52 1144.32/1144.54 c 1144s | 24 | 7934918 | 3692162 | 16934 569 | 22 | 52 1146.32/1146.54 c 1146s | 24 | 7947023 | 3697962 | 16934 570 | 22 | 52 1148.41/1148.65 c 1148s | 24 | 7958853 | 3703662 | 16934 571 | 22 | 52 1150.42/1150.67 c 1150s | 24 | 7972507 | 3710462 | 16934 571 | 22 | 52 1152.41/1152.68 c 1152s | 24 | 7982956 | 3715662 | 16934 572 | 22 | 52 1154.51/1154.70 c 1154s | 24 | 7994784 | 3720962 | 16934 573 | 22 | 52 1156.51/1156.73 c 1156s | 24 | 8006527 | 3726962 | 16934 573 | 22 | 52 1158.51/1158.74 c 1158s | 24 | 8016206 | 3731362 | 16934 574 | 22 | 52 1160.51/1160.74 c 1160s | 24 | 8029343 | 3737562 | 16934 574 | 22 | 52 1162.51/1162.76 c 1162s | 24 | 8038872 | 3742162 | 16934 575 | 22 | 52 1164.51/1164.78 c 1164s | 24 | 8053982 | 3748662 | 16934 576 | 22 | 52 1166.61/1166.81 c 1166s | 24 | 8066525 | 3754762 | 16934 576 | 22 | 52 1168.60/1168.83 c 1168s | 24 | 8077702 | 3760562 | 16934 577 | 22 | 52 1170.70/1170.97 c 1170s | 24 | 8088281 | 3765362 | 16934 578 | 22 | 52 1172.80/1173.01 c 1172s | 24 | 8101876 | 3771662 | 16934 578 | 22 | 52 1174.80/1175.02 c 1174s | 24 | 8112515 | 3776562 | 16934 579 | 22 | 52 1176.81/1177.03 c 1176s | 24 | 8123459 | 3781762 | 16934 580 | 22 | 52 1178.80/1179.06 c 1178s | 24 | 8134450 | 3787062 | 16934 580 | 22 | 52 1180.80/1181.09 c 1180s | 24 | 8143879 | 3791462 | 16934 581 | 22 | 52 1182.90/1183.11 c 1182s | 24 | 8153617 | 3796762 | 16934 581 | 22 | 52 1184.91/1185.12 c 1184s | 24 | 8165119 | 3802462 | 16934 582 | 22 | 52 1186.90/1187.15 c 1186s | 24 | 8178000 | 3808562 | 16934 583 | 22 | 52 1188.91/1189.19 c 1188s | 24 | 8190375 | 3814762 | 16934 583 | 22 | 52 1191.00/1191.21 c 1190s | 24 | 8202456 | 3820662 | 16934 584 | 22 | 52 1193.00/1193.21 c 1192s | 24 | 8214677 | 3826762 | 16934 585 | 22 | 52 1195.00/1195.23 c 1194s | 24 | 8223882 | 3831562 | 16934 585 | 22 | 52 1197.00/1197.26 c 1196s | 24 | 8233966 | 3836862 | 16934 586 | 22 | 52 1198.99/1199.27 c 1198s | 24 | 8243434 | 3841762 | 16934 587 | 22 | 52 1201.00/1201.30 c 1200s | 24 | 8255222 | 3847462 | 16934 587 | 22 | 52 1203.09/1203.31 c 1202s | 24 | 8269489 | 3853862 | 16934 588 | 22 | 52 1205.09/1205.33 c 1204s | 24 | 8281673 | 3859362 | 16934 589 | 22 | 52 1207.09/1207.33 c 1206s | 24 | 8294507 | 3865562 | 16934 589 | 22 | 52 1209.19/1209.42 c 1209s | 24 | 8306340 | 3871062 | 16934 590 | 22 | 52 1211.19/1211.43 c 1211s | 24 | 8319460 | 3876862 | 16934 591 | 22 | 52 1213.19/1213.45 c 1213s | 24 | 8331676 | 3882462 | 16934 591 | 22 | 52 1215.19/1215.47 c 1215s | 24 | 8342948 | 3888062 | 16934 592 | 22 | 52 1217.19/1217.48 c 1217s | 24 | 8355789 | 3894062 | 16934 593 | 22 | 52 1219.18/1219.49 c 1219s | 24 | 8368320 | 3899962 | 16934 593 | 22 | 52 1221.28/1221.53 c 1221s | 24 | 8378346 | 3904962 | 16934 594 | 22 | 52 1223.28/1223.55 c 1223s | 24 | 8389710 | 3910162 | 16934 595 | 22 | 52 1225.29/1225.57 c 1225s | 24 | 8402615 | 3915862 | 16934 595 | 22 | 52 1227.28/1227.57 c 1227s | 24 | 8411820 | 3920562 | 16934 596 | 22 | 52 1229.27/1229.59 c 1229s | 24 | 8424219 | 3926462 | 16934 597 | 22 | 52 1231.37/1231.60 c 1231s | 24 | 8434969 | 3932062 | 16934 597 | 22 | 52 1233.37/1233.62 c 1233s | 24 | 8446866 | 3937462 | 16934 598 | 22 | 52 1235.37/1235.64 c 1235s | 24 | 8457829 | 3943062 | 16934 598 | 22 | 52 1237.39/1237.65 c 1237s | 24 | 8469721 | 3948562 | 16934 599 | 22 | 52 1239.37/1239.68 c 1239s | 24 | 8479694 | 3953762 | 16934 600 | 22 | 52 1241.37/1241.68 c 1241s | 24 | 8492438 | 3959862 | 16934 600 | 22 | 52 1243.37/1243.69 c 1243s | 24 | 8503849 | 3965262 | 16934 601 | 22 | 52 1245.47/1245.71 c 1245s | 24 | 8517385 | 3971462 | 16934 602 | 22 | 52 1247.47/1247.73 c 1247s | 24 | 8528563 | 3977262 | 16934 602 | 22 | 52 1249.48/1249.73 c 1249s | 24 | 8540202 | 3982662 | 16934 603 | 22 | 52 1251.47/1251.76 c 1251s | 24 | 8552665 | 3988362 | 16934 604 | 22 | 52 1253.47/1253.77 c 1253s | 24 | 8562533 | 3993162 | 16934 604 | 22 | 52 1255.57/1255.83 c 1255s | 24 | 8574058 | 3998362 | 16934 605 | 22 | 52 1257.56/1257.85 c 1257s | 24 | 8585262 | 4003862 | 16934 606 | 22 | 52 1259.66/1259.91 c 1259s | 24 | 8599048 | 4010262 | 16934 606 | 22 | 52 1261.66/1261.91 c 1261s | 24 | 8609321 | 4015062 | 16934 607 | 22 | 52 1263.67/1263.96 c 1263s | 24 | 8621517 | 4020762 | 16934 608 | 22 | 52 1265.66/1266.00 c 1265s | 24 | 8633491 | 4026462 | 16934 608 | 22 | 52 1267.76/1268.02 c 1267s | 24 | 8643885 | 4031462 | 16934 609 | 22 | 52 1269.76/1270.02 c 1269s | 24 | 8654788 | 4036562 | 16934 609 | 22 | 52 1271.76/1272.03 c 1271s | 24 | 8665866 | 4042162 | 16934 610 | 22 | 52 1273.76/1274.05 c 1273s | 24 | 8675085 | 4046862 | 16934 611 | 22 | 52 1275.76/1276.08 c 1275s | 24 | 8686299 | 4052362 | 16934 611 | 22 | 52 1277.75/1278.09 c 1277s | 24 | 8695426 | 4056862 | 16934 612 | 22 | 52 1279.85/1280.10 c 1279s | 24 | 8708568 | 4062762 | 16934 612 | 22 | 52 1281.85/1282.15 c 1281s | 24 | 8720514 | 4067862 | 16934 613 | 22 | 52 1283.95/1284.22 c 1283s | 24 | 8731215 | 4072762 | 16934 614 | 22 | 52 1285.95/1286.23 c 1285s | 24 | 8745024 | 4078762 | 16934 614 | 22 | 52 1287.95/1288.26 c 1287s | 24 | 8756840 | 4084562 | 16934 615 | 22 | 52 1289.94/1290.27 c 1289s | 24 | 8771924 | 4091262 | 16934 616 | 22 | 52 1291.94/1292.29 c 1291s | 24 | 8784869 | 4097162 | 16934 616 | 22 | 52 1294.04/1294.33 c 1293s | 24 | 8795549 | 4101962 | 16934 617 | 22 | 52 1296.05/1296.35 c 1295s | 24 | 8806869 | 4106862 | 16934 618 | 22 | 52 1298.04/1298.38 c 1297s | 24 | 8818873 | 4112662 | 16934 618 | 22 | 52 1300.14/1300.40 c 1299s | 24 | 8831908 | 4118262 | 16934 619 | 22 | 52 1302.15/1302.41 c 1302s | 24 | 8843474 | 4123262 | 16934 619 | 22 | 52 1304.14/1304.41 c 1304s | 24 | 8853939 | 4127862 | 16934 620 | 22 | 52 1306.14/1306.42 c 1306s | 24 | 8867054 | 4133762 | 16934 621 | 22 | 52 1308.14/1308.43 c 1308s | 24 | 8879278 | 4139362 | 16934 621 | 22 | 52 1310.14/1310.45 c 1310s | 24 | 8892243 | 4144862 | 16934 622 | 22 | 52 1312.14/1312.48 c 1312s | 24 | 8901718 | 4149362 | 16934 623 | 22 | 52 1314.14/1314.49 c 1314s | 24 | 8914749 | 4155062 | 16934 623 | 22 | 52 1316.23/1316.51 c 1316s | 24 | 8924731 | 4159962 | 16934 624 | 22 | 52 1318.23/1318.52 c 1318s | 24 | 8937650 | 4165662 | 16934 624 | 22 | 52 1320.23/1320.56 c 1320s | 24 | 8950828 | 4171262 | 16934 625 | 22 | 52 1322.23/1322.58 c 1322s | 24 | 8961660 | 4176262 | 16934 626 | 22 | 52 1324.23/1324.58 c 1324s | 24 | 8973606 | 4181362 | 16934 626 | 22 | 52 1326.43/1326.74 c 1326s | 24 | 8985232 | 4186662 | 16934 627 | 22 | 52 1328.42/1328.75 c 1328s | 24 | 8997639 | 4192362 | 16934 628 | 22 | 52 1330.42/1330.77 c 1330s | 24 | 9010432 | 4197762 | 16934 628 | 22 | 52 1332.52/1332.80 c 1332s | 24 | 9021409 | 4203162 | 16934 629 | 22 | 52 1334.52/1334.83 c 1334s | 24 | 9033332 | 4208462 | 16934 629 | 22 | 52 1336.52/1336.83 c 1336s | 24 | 9046355 | 4214262 | 16934 630 | 22 | 52 1338.53/1338.87 c 1338s | 24 | 9056562 | 4219262 | 16934 631 | 22 | 52 1340.52/1340.87 c 1340s | 24 | 9066392 | 4224062 | 16934 631 | 22 | 52 1342.52/1342.88 c 1342s | 24 | 9073514 | 4227762 | 16934 632 | 22 | 52 1344.52/1344.89 c 1344s | 24 | 9083228 | 4232762 | 16934 632 | 22 | 52 1346.62/1346.90 c 1346s | 24 | 9093945 | 4238262 | 16934 633 | 22 | 52 1348.62/1348.91 c 1348s | 24 | 9104302 | 4243462 | 16934 633 | 22 | 52 1350.62/1350.91 c 1350s | 24 | 9115301 | 4249362 | 16934 634 | 22 | 52 1352.61/1352.92 c 1352s | 24 | 9126240 | 4254462 | 16934 635 | 22 | 52 1354.61/1354.93 c 1354s | 24 | 9138562 | 4260662 | 16934 635 | 22 | 52 1356.62/1356.95 c 1356s | 24 | 9148513 | 4265562 | 16934 636 | 22 | 52 1358.81/1359.15 c 1358s | 24 | 9158589 | 4270362 | 16934 637 | 22 | 52 1360.81/1361.18 c 1360s | 24 | 9168431 | 4275062 | 16934 637 | 22 | 52 1362.81/1363.18 c 1362s | 24 | 9177760 | 4279862 | 16934 638 | 22 | 52 1364.92/1365.21 c 1364s | 24 | 9188643 | 4285062 | 16934 638 | 22 | 52 1366.91/1367.21 c 1366s | 24 | 9200474 | 4290662 | 16934 639 | 22 | 52 1368.90/1369.22 c 1368s | 24 | 9210788 | 4295762 | 16934 640 | 22 | 52 1370.91/1371.25 c 1370s | 24 | 9220010 | 4300262 | 16934 640 | 22 | 52 1372.91/1373.27 c 1372s | 24 | 9230180 | 4305362 | 16934 641 | 22 | 52 1374.91/1375.28 c 1374s | 24 | 9240073 | 4310462 | 16934 641 | 22 | 52 1376.92/1377.29 c 1376s | 24 | 9250006 | 4314962 | 16934 642 | 22 | 52 1379.00/1379.37 c 1378s | 24 | 9262976 | 4320762 | 16934 643 | 22 | 52 1381.10/1381.40 c 1381s | 24 | 9275183 | 4326462 | 16934 643 | 22 | 52 1383.10/1383.40 c 1383s | 24 | 9284337 | 4330962 | 16934 644 | 22 | 52 1385.10/1385.44 c 1385s | 24 | 9298881 | 4337262 | 16934 644 | 22 | 52 1387.10/1387.45 c 1387s | 24 | 9313433 | 4343662 | 16934 645 | 22 | 52 1389.10/1389.45 c 1389s | 24 | 9327528 | 4350062 | 16934 646 | 22 | 52 1391.09/1391.48 c 1391s | 24 | 9340254 | 4355862 | 16934 647 | 22 | 52 1393.19/1393.50 c 1393s | 24 | 9353527 | 4361662 | 16934 647 | 22 | 52 1395.19/1395.51 c 1395s | 24 | 9367348 | 4367862 | 16934 648 | 22 | 52 1397.19/1397.53 c 1397s | 24 | 9381565 | 4374162 | 16934 649 | 22 | 52 1399.19/1399.55 c 1399s | 24 | 9395589 | 4380762 | 16934 649 | 22 | 52 1401.19/1401.56 c 1401s | 24 | 9408851 | 4387062 | 16934 650 | 22 | 52 1403.18/1403.59 c 1403s | 24 | 9419918 | 4392362 | 16934 651 | 22 | 52 1405.19/1405.60 c 1405s | 24 | 9432085 | 4397862 | 16934 651 | 22 | 52 1407.29/1407.61 c 1407s | 24 | 9444895 | 4403862 | 16934 652 | 22 | 52 1409.28/1409.61 c 1409s | 24 | 9455623 | 4408662 | 16934 653 | 22 | 52 1411.38/1411.72 c 1411s | 24 | 9469661 | 4415162 | 16934 654 | 22 | 52 1413.38/1413.74 c 1413s | 24 | 9482932 | 4421362 | 16934 654 | 22 | 52 1415.39/1415.77 c 1415s | 24 | 9496098 | 4427162 | 16934 655 | 22 | 52 1417.38/1417.78 c 1417s | 24 | 9509578 | 4433362 | 16934 656 | 22 | 52 1419.38/1419.79 c 1419s | 24 | 9521662 | 4438962 | 16934 656 | 22 | 52 1421.48/1421.82 c 1421s | 24 | 9532118 | 4443862 | 16934 657 | 22 | 52 1423.48/1423.87 c 1423s | 24 | 9546415 | 4450462 | 16934 658 | 22 | 52 1425.48/1425.89 c 1425s | 24 | 9560846 | 4456862 | 16934 658 | 22 | 52 1427.58/1427.95 c 1427s | 24 | 9575138 | 4463162 | 16934 659 | 22 | 52 1429.57/1429.96 c 1429s | 24 | 9587051 | 4468562 | 16934 660 | 22 | 52 1431.57/1431.99 c 1431s | 24 | 9599375 | 4474462 | 16934 660 | 22 | 52 1433.67/1434.00 c 1433s | 24 | 9610827 | 4479762 | 16934 661 | 22 | 52 1435.67/1436.02 c 1435s | 24 | 9623462 | 4485362 | 16934 662 | 22 | 52 1437.67/1438.04 c 1437s | 24 | 9637840 | 4491562 | 16934 662 | 22 | 52 1439.67/1440.05 c 1439s | 24 | 9650389 | 4496862 | 16934 663 | 22 | 52 1441.77/1442.11 c 1441s | 24 | 9660976 | 4501762 | 16934 664 | 22 | 52 1443.76/1444.13 c 1443s | 24 | 9673978 | 4507762 | 16934 664 | 22 | 52 1445.76/1446.16 c 1445s | 24 | 9686026 | 4512862 | 16934 665 | 22 | 52 1447.76/1448.16 c 1447s | 24 | 9699159 | 4518462 | 16934 666 | 22 | 52 1449.76/1450.17 c 1449s | 24 | 9712307 | 4524062 | 16934 666 | 22 | 52 1451.76/1452.19 c 1451s | 24 | 9723183 | 4528962 | 16934 667 | 22 | 52 1453.87/1454.20 c 1453s | 24 | 9736661 | 4534862 | 16934 667 | 22 | 52 1455.86/1456.22 c 1455s | 24 | 9752521 | 4541862 | 16934 668 | 22 | 52 1457.86/1458.23 c 1457s | 24 | 9767178 | 4548262 | 16934 669 | 22 | 52 1459.86/1460.25 c 1459s | 24 | 9779811 | 4554262 | 16934 670 | 22 | 52 1461.86/1462.29 c 1461s | 24 | 9792222 | 4559662 | 16934 670 | 22 | 52 1463.96/1464.30 c 1463s | 24 | 9801840 | 4564562 | 16934 671 | 22 | 52 1465.96/1466.32 c 1465s | 24 | 9813339 | 4569762 | 16934 672 | 22 | 52 1467.95/1468.32 c 1467s | 24 | 9825830 | 4575162 | 16934 672 | 22 | 52 1469.95/1470.33 c 1469s | 24 | 9836146 | 4579962 | 16934 673 | 22 | 52 1471.95/1472.33 c 1471s | 24 | 9847437 | 4585162 | 16934 673 | 22 | 52 1473.95/1474.34 c 1473s | 24 | 9862629 | 4591962 | 16934 674 | 22 | 52 1475.96/1476.34 c 1475s | 24 | 9873854 | 4597062 | 16934 675 | 22 | 52 1477.94/1478.35 c 1477s | 24 | 9886237 | 4602562 | 16934 675 | 22 | 52 1479.94/1480.36 c 1479s | 24 | 9898350 | 4607962 | 16934 676 | 22 | 52 1481.94/1482.36 c 1481s | 24 | 9911538 | 4613962 | 16934 677 | 22 | 52 1483.94/1484.37 c 1483s | 24 | 9922615 | 4619462 | 16934 677 | 22 | 52 1486.04/1486.40 c 1485s | 24 | 9933614 | 4624862 | 16934 678 | 22 | 52 1488.04/1488.43 c 1488s | 24 | 9946118 | 4630462 | 16934 679 | 22 | 52 1490.05/1490.44 c 1490s | 24 | 9956621 | 4635062 | 16934 679 | 22 | 52 1492.05/1492.46 c 1492s | 24 | 9970549 | 4641262 | 16934 680 | 22 | 52 1494.15/1494.53 c 1494s | 24 | 9983647 | 4646662 | 16934 681 | 22 | 52 1496.15/1496.55 c 1496s | 24 | 9996566 | 4652062 | 16934 681 | 22 | 52 1498.14/1498.58 c 1498s | 24 | 10008077 | 4657062 | 16934 682 | 22 | 52 1500.24/1500.62 c 1500s | 24 | 10021195 | 4662862 | 16934 682 | 22 | 52 1502.25/1502.69 c 1502s | 24 | 10031843 | 4667962 | 16934 683 | 22 | 52 1504.24/1504.69 c 1504s | 24 | 10042090 | 4672962 | 16934 684 | 22 | 52 1506.34/1506.73 c 1506s | 24 | 10052610 | 4677762 | 16934 684 | 22 | 52 1508.33/1508.75 c 1508s | 24 | 10062171 | 4681762 | 16934 685 | 22 | 52 1510.33/1510.79 c 1510s | 24 | 10075687 | 4687662 | 16934 685 | 22 | 52 1512.43/1512.83 c 1512s | 24 | 10085783 | 4691862 | 16934 686 | 22 | 52 1514.44/1514.86 c 1514s | 24 | 10096882 | 4696762 | 16934 686 | 22 | 52 1516.43/1516.87 c 1516s | 24 | 10107626 | 4701562 | 16934 687 | 22 | 52 1518.43/1518.89 c 1518s | 24 | 10117285 | 4705862 | 16934 687 | 22 | 52 1520.53/1520.92 c 1520s | 24 | 10127118 | 4710262 | 16934 688 | 22 | 52 1522.53/1522.94 c 1522s | 24 | 10135031 | 4714162 | 16934 688 | 22 | 52 1524.53/1524.94 c 1524s | 24 | 10147163 | 4720262 | 16934 689 | 22 | 52 1526.53/1526.96 c 1526s | 24 | 10158967 | 4726062 | 16934 690 | 22 | 52 1528.52/1528.96 c 1528s | 24 | 10171935 | 4732562 | 16934 691 | 22 | 52 1530.52/1530.99 c 1530s | 24 | 10183265 | 4737862 | 16934 691 | 22 | 52 1532.52/1532.99 c 1532s | 24 | 10193246 | 4742462 | 16934 692 | 22 | 52 1534.63/1535.00 c 1534s | 24 | 10206801 | 4748962 | 16934 692 | 22 | 52 1536.63/1537.01 c 1536s | 24 | 10218558 | 4754762 | 16934 693 | 22 | 52 1538.63/1539.02 c 1538s | 24 | 10227604 | 4759162 | 16934 694 | 22 | 52 1540.62/1541.03 c 1540s | 24 | 10238420 | 4764662 | 16934 694 | 22 | 52 1542.62/1543.05 c 1542s | 24 | 10252719 | 4771462 | 16934 695 | 22 | 52 1544.62/1545.06 c 1544s | 24 | 10264468 | 4777162 | 16934 696 | 22 | 52 1546.62/1547.07 c 1546s | 24 | 10276627 | 4782762 | 16934 696 | 22 | 52 1548.61/1549.08 c 1548s | 24 | 10287968 | 4788062 | 16934 697 | 22 | 52 1550.72/1551.16 c 1550s | 24 | 10298544 | 4792862 | 16934 698 | 22 | 52 1552.71/1553.17 c 1552s | 24 | 10311545 | 4798962 | 16934 698 | 22 | 52 1554.71/1555.19 c 1554s | 24 | 10322540 | 4804362 | 16934 699 | 22 | 52 1556.81/1557.21 c 1556s | 24 | 10328868 | 4807262 | 16934 699 | 22 | 52 1558.81/1559.21 c 1558s | 24 | 10340176 | 4812362 | 16934 700 | 22 | 52 1560.81/1561.21 c 1560s | 24 | 10352976 | 4818362 | 16934 701 | 22 | 52 1562.81/1563.25 c 1562s | 24 | 10366167 | 4824162 | 16934 701 | 22 | 52 1564.80/1565.27 c 1564s | 24 | 10374689 | 4828462 | 16934 702 | 22 | 52 1566.80/1567.28 c 1566s | 24 | 10384414 | 4833462 | 16934 702 | 22 | 52 1568.81/1569.30 c 1568s | 24 | 10395479 | 4838762 | 16934 703 | 22 | 52 1571.11/1571.50 c 1571s | 24 | 10405917 | 4843962 | 16934 704 | 22 | 52 1573.11/1573.51 c 1573s | 24 | 10417066 | 4849862 | 16934 704 | 22 | 52 1575.31/1575.76 c 1575s | 24 | 10426659 | 4854762 | 16934 705 | 22 | 52 1577.31/1577.77 c 1577s | 24 | 10436575 | 4859662 | 16934 705 | 22 | 52 1579.40/1579.80 c 1579s | 24 | 10446948 | 4864662 | 16934 706 | 22 | 52 1581.41/1581.80 c 1581s | 24 | 10458877 | 4870562 | 16934 707 | 22 | 52 1583.40/1583.82 c 1583s | 24 | 10470899 | 4876462 | 16934 707 | 22 | 52 1585.40/1585.85 c 1585s | 24 | 10481187 | 4881362 | 16934 708 | 22 | 52 1587.40/1587.85 c 1587s | 24 | 10492779 | 4887262 | 16934 709 | 22 | 52 1589.40/1589.87 c 1589s | 24 | 10504622 | 4892862 | 16934 709 | 22 | 52 1591.40/1591.89 c 1591s | 24 | 10515926 | 4897562 | 16934 710 | 22 | 52 1593.50/1593.93 c 1593s | 24 | 10527763 | 4903262 | 16934 710 | 22 | 52 1595.49/1595.93 c 1595s | 24 | 10537754 | 4908162 | 16934 711 | 22 | 52 1597.49/1597.97 c 1597s | 24 | 10550170 | 4914262 | 16934 712 | 22 | 52 1599.49/1599.98 c 1599s | 24 | 10562776 | 4920162 | 16934 712 | 22 | 52 1601.59/1602.09 c 1601s | 24 | 10574477 | 4925662 | 16934 713 | 22 | 52 1603.69/1604.12 c 1603s | 24 | 10584298 | 4930462 | 16934 714 | 22 | 52 1605.69/1606.13 c 1605s | 24 | 10594812 | 4935662 | 16934 714 | 22 | 52 1607.69/1608.13 c 1607s | 24 | 10605714 | 4941062 | 16934 715 | 22 | 52 1609.69/1610.14 c 1609s | 24 | 10615385 | 4945862 | 16934 715 | 22 | 52 1611.79/1612.22 c 1611s | 24 | 10625355 | 4950762 | 16934 716 | 22 | 52 1613.79/1614.24 c 1613s | 24 | 10635412 | 4955562 | 16934 717 | 22 | 52 1615.78/1616.24 c 1615s | 24 | 10645886 | 4960762 | 16934 717 | 22 | 52 1617.78/1618.27 c 1617s | 24 | 10655790 | 4965962 | 16934 718 | 22 | 52 1619.78/1620.28 c 1619s | 24 | 10666936 | 4971362 | 16934 718 | 22 | 52 1621.77/1622.29 c 1621s | 24 | 10677631 | 4976662 | 16934 719 | 22 | 52 1623.87/1624.35 c 1623s | 24 | 10688876 | 4981862 | 16934 720 | 22 | 52 1625.87/1626.38 c 1625s | 24 | 10700081 | 4987062 | 16934 720 | 22 | 52 1628.07/1628.54 c 1628s | 24 | 10710998 | 4992362 | 16934 721 | 22 | 52 1630.07/1630.55 c 1630s | 24 | 10723297 | 4998362 | 16934 722 | 22 | 52 1632.08/1632.59 c 1632s | 24 | 10732801 | 5002962 | 16934 722 | 22 | 52 1634.07/1634.60 c 1634s | 24 | 10743411 | 5008062 | 16934 723 | 22 | 52 1636.17/1636.63 c 1636s | 24 | 10753620 | 5012962 | 16934 723 | 22 | 52 1638.17/1638.64 c 1638s | 24 | 10763922 | 5017962 | 16934 724 | 22 | 52 1640.17/1640.67 c 1640s | 24 | 10774559 | 5023262 | 16934 724 | 22 | 52 1642.17/1642.68 c 1642s | 24 | 10784264 | 5028262 | 16934 725 | 22 | 52 1644.27/1644.71 c 1644s | 24 | 10796702 | 5033862 | 18628 725 | 22 | 52 1646.27/1646.74 c 1646s | 24 | 10806498 | 5038562 | 18628 726 | 22 | 52 1648.26/1648.77 c 1648s | 24 | 10817827 | 5043862 | 18628 727 | 22 | 52 1650.26/1650.79 c 1650s | 24 | 10831450 | 5050662 | 18628 727 | 22 | 52 1652.36/1652.80 c 1652s | 24 | 10840292 | 5054662 | 18628 728 | 22 | 52 1654.36/1654.83 c 1654s | 24 | 10851957 | 5060462 | 18628 728 | 22 | 52 1656.06/1656.53 c 1656s | 25 | 10860869 | 5065098 | 18628 729 | 22 | 52 1658.05/1658.55 c 1658s | 25 | 10873593 | 5070298 | 18628 729 | 22 | 52 1660.06/1660.57 c 1660s | 25 | 10886026 | 5075498 | 18628 730 | 22 | 52 1662.06/1662.60 c 1662s | 25 | 10899569 | 5081398 | 18628 731 | 22 | 52 1664.16/1664.61 c 1664s | 25 | 10913063 | 5087498 | 18628 731 | 22 | 52 1666.17/1666.62 c 1666s | 25 | 10924237 | 5092398 | 18628 732 | 22 | 52 1668.15/1668.63 c 1668s | 25 | 10937871 | 5098598 | 18628 732 | 22 | 52 1670.15/1670.64 c 1670s | 25 | 10950872 | 5103998 | 18628 733 | 22 | 52 1672.15/1672.67 c 1672s | 25 | 10965170 | 5109998 | 18628 734 | 22 | 52 1674.25/1674.70 c 1674s | 25 | 10976806 | 5114898 | 18628 734 | 22 | 52 1676.25/1676.72 c 1676s | 25 | 10985083 | 5118998 | 18628 735 | 22 | 52 1678.25/1678.73 c 1678s | 25 | 10998248 | 5124998 | 18628 735 | 22 | 52 1680.24/1680.73 c 1680s | 25 | 11010182 | 5129998 | 18628 736 | 22 | 52 1682.24/1682.73 c 1682s | 25 | 11024871 | 5136398 | 18628 736 | 22 | 52 1684.24/1684.74 c 1684s | 25 | 11036755 | 5141698 | 18628 737 | 22 | 52 1686.24/1686.76 c 1686s | 25 | 11048528 | 5146498 | 18628 737 | 22 | 52 1688.24/1688.79 c 1688s | 25 | 11058717 | 5151398 | 18628 738 | 22 | 52 1690.24/1690.80 c 1690s | 25 | 11069617 | 5156298 | 18628 738 | 22 | 52 1692.33/1692.81 c 1692s | 25 | 11080609 | 5161098 | 18628 739 | 22 | 52 1694.33/1694.84 c 1694s | 25 | 11091732 | 5165898 | 18628 739 | 22 | 52 1696.33/1696.84 c 1696s | 25 | 11103835 | 5170898 | 18628 740 | 22 | 52 1698.33/1698.89 c 1698s | 25 | 11115464 | 5175698 | 18628 741 | 22 | 52 1700.43/1700.93 c 1700s | 25 | 11126708 | 5180498 | 18628 741 | 22 | 52 1702.44/1702.94 c 1702s | 25 | 11134412 | 5183998 | 18628 741 | 22 | 52 1704.44/1704.97 c 1704s | 25 | 11148922 | 5190198 | 18628 742 | 22 | 52 1706.53/1707.03 c 1706s | 25 | 11160394 | 5195398 | 18628 743 | 22 | 52 1708.53/1709.04 c 1708s | 25 | 11174161 | 5201298 | 18628 743 | 22 | 52 1710.53/1711.07 c 1710s | 25 | 11183556 | 5205898 | 18628 744 | 22 | 52 1712.53/1713.08 c 1712s | 25 | 11195739 | 5211398 | 18628 744 | 22 | 52 1714.63/1715.11 c 1714s | 25 | 11205900 | 5215998 | 18628 745 | 22 | 52 1716.64/1717.12 c 1716s | 25 | 11217427 | 5221498 | 18628 745 | 22 | 52 1718.63/1719.13 c 1718s | 25 | 11225717 | 5225398 | 18628 746 | 22 | 52 1720.63/1721.14 c 1720s | 25 | 11236298 | 5230498 | 18628 746 | 22 | 52 1722.63/1723.17 c 1722s | 25 | 11246096 | 5235198 | 18628 747 | 22 | 52 1724.62/1725.18 c 1724s | 25 | 11257462 | 5240498 | 18628 747 | 22 | 52 1726.72/1727.20 c 1726s | 25 | 11267755 | 5245398 | 18628 748 | 22 | 52 1728.72/1729.24 c 1728s | 25 | 11279937 | 5250898 | 18628 749 | 22 | 52 1730.72/1731.24 c 1730s | 25 | 11289157 | 5255298 | 18628 749 | 22 | 52 1732.72/1733.26 c 1732s | 25 | 11300278 | 5260098 | 18628 749 | 22 | 52 1734.72/1735.29 c 1734s | 25 | 11311837 | 5265198 | 18628 750 | 22 | 52 1736.82/1737.31 c 1736s | 25 | 11323325 | 5269998 | 18628 751 | 22 | 52 1738.81/1739.31 c 1738s | 25 | 11332517 | 5274098 | 18628 751 | 22 | 52 1740.81/1741.31 c 1740s | 25 | 11343756 | 5278898 | 18628 751 | 22 | 52 1742.81/1743.32 c 1742s | 25 | 11354905 | 5283698 | 18628 752 | 22 | 52 1744.80/1745.33 c 1744s | 25 | 11365950 | 5288698 | 18628 753 | 22 | 52 1747.00/1747.55 c 1747s | 25 | 11375557 | 5293398 | 18628 753 | 22 | 52 1749.00/1749.57 c 1749s | 25 | 11386283 | 5298198 | 18628 754 | 22 | 52 1751.00/1751.60 c 1751s | 25 | 11394377 | 5301998 | 18628 754 | 22 | 52 1753.01/1753.60 c 1753s | 25 | 11406531 | 5307998 | 18628 755 | 22 | 52 1755.11/1755.62 c 1755s | 25 | 11419286 | 5314298 | 18628 755 | 22 | 52 1757.11/1757.64 c 1757s | 25 | 11427398 | 5318598 | 18628 756 | 22 | 52 1759.10/1759.67 c 1759s | 25 | 11437771 | 5324198 | 18628 756 | 22 | 52 1761.20/1761.70 c 1761s | 25 | 11448645 | 5329598 | 18628 757 | 22 | 52 1763.20/1763.71 c 1763s | 25 | 11459156 | 5334998 | 18628 757 | 22 | 52 1765.20/1765.75 c 1765s | 25 | 11467937 | 5339498 | 18628 758 | 22 | 52 1767.21/1767.76 c 1767s | 25 | 11478027 | 5344698 | 18628 758 | 22 | 52 1769.20/1769.77 c 1769s | 25 | 11488671 | 5349798 | 18628 759 | 22 | 52 1771.30/1771.80 c 1771s | 25 | 11497380 | 5354098 | 18628 759 | 22 | 52 1773.30/1773.81 c 1773s | 25 | 11506421 | 5358598 | 18628 760 | 22 | 52 1775.30/1775.82 c 1775s | 25 | 11517245 | 5363898 | 18628 761 | 22 | 52 1777.29/1777.83 c 1777s | 25 | 11529030 | 5369798 | 18628 761 | 22 | 52 1779.40/1779.91 c 1779s | 25 | 11540547 | 5375498 | 18628 762 | 22 | 52 1781.39/1781.94 c 1781s | 25 | 11551477 | 5381498 | 18628 762 | 22 | 52 1783.39/1783.94 c 1783s | 25 | 11561860 | 5387098 | 18628 763 | 22 | 52 1785.39/1785.96 c 1785s | 25 | 11571644 | 5392298 | 18628 764 | 22 | 52 1787.39/1787.97 c 1787s | 25 | 11583542 | 5397998 | 18628 764 | 22 | 52 1789.39/1789.98 c 1789s | 25 | 11594363 | 5402898 | 18628 765 | 22 | 52 1791.49/1792.00 c 1791s | 25 | 11609570 | 5409598 | 18628 765 | 22 | 52 1793.48/1794.02 c 1793s | 25 | 11619021 | 5414298 | 18628 766 | 22 | 52 1795.48/1796.04 c 1795s | 25 | 11630653 | 5419998 | 18628 766 | 22 | 52 1797.48/1798.05 c 1797s | 25 | 11641324 | 5425098 | 18628 767 | 22 | 52 1799.48/1800.06 c 1799s | 25 | 11650040 | 5429498 | 18628 767 | 22 | 52
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-4109064-1466293208/watcher-4109064-1466293208 -o /tmp/evaluation-result-4109064-1466293208/solver-4109064-1466293208 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4109064-1466293208.opb pid=12177 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.23 2.21 2.10 3/180 12180 /proc/meminfo: memFree=28795232/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=451004 CPUtime=0 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 1637 0 0 0 0 0 0 0 20 0 4 0 31366265 461828096 1997 33554432000 4194304 16246674 140734737115168 140734737114592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 113519 2007 441 2943 0 110413 0 [pid=12180/tid=12181] ppid=12177 vsize=468412 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 479653888 2061 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=472508 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 483848192 2079 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=476604 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31366265 488042496 2094 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100173 s] /proc/loadavg: 2.23 2.21 2.10 3/180 12180 /proc/meminfo: memFree=28795232/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 28742 0 0 0 5 4 0 0 20 0 4 0 31366265 1249447936 29040 33554432000 4194304 16246674 140734737115168 140734737114480 5589602 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 305041 29049 831 2943 0 301935 0 [pid=12180/tid=12181] ppid=12177 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1249447936 29057 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1249447936 29063 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31366265 1249447936 29069 33554432000 4194304 16246674 140734737115168 140422108138672 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.20051 s] /proc/loadavg: 2.23 2.21 2.10 3/180 12180 /proc/meminfo: memFree=28795232/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1220164 CPUtime=0.18 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 51822 0 0 0 11 7 0 0 20 0 4 0 31366265 1249447936 52120 33554432000 4194304 16246674 140734737115168 140734737114480 12457726 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 305041 52130 831 2943 0 301935 0 [pid=12180/tid=12181] ppid=12177 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1249447936 52137 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1249447936 52144 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31366265 1249447936 52150 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1220164 [startup+0.300507 s] /proc/loadavg: 2.23 2.21 2.10 3/180 12180 /proc/meminfo: memFree=28795232/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1220164 CPUtime=0.28 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 75425 0 0 0 18 10 0 0 20 0 4 0 31366265 1249447936 75724 33554432000 4194304 16246674 140734737115168 140734737114480 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 305041 75737 893 2943 0 301935 0 [pid=12180/tid=12181] ppid=12177 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1249447936 75746 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1249447936 75755 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31366265 1249447936 75762 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1220164 [startup+0.700443 s] /proc/loadavg: 2.23 2.21 2.10 3/180 12180 /proc/meminfo: memFree=28795232/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1220164 CPUtime=0.69 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 154110 0 0 0 48 21 0 0 20 0 4 0 31366265 1249447936 154409 33554432000 4194304 16246674 140734737115168 140734737114480 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 305041 154421 904 2943 0 301935 0 [pid=12180/tid=12181] ppid=12177 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1249447936 154425 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1249447936 154429 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31366265 1249447936 154433 33554432000 4194304 16246674 140734737115168 140422108138672 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.50046 s] /proc/loadavg: 2.21 2.21 2.10 3/184 12184 /proc/meminfo: memFree=27882892/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1299012 CPUtime=1.48 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 265922 0 0 0 113 35 0 0 20 0 4 0 31366265 1330188288 266220 33554432000 4194304 16246674 140734737115168 140734737114480 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 324753 266220 907 2943 0 321647 0 [pid=12180/tid=12181] ppid=12177 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1330188288 266220 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1330188288 266220 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1330188288 266220 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1299012 [startup+3.10046 s] /proc/loadavg: 2.21 2.21 2.10 3/184 12184 /proc/meminfo: memFree=27731460/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1308228 CPUtime=3.09 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 268269 0 0 0 273 36 0 0 20 0 4 0 31366265 1339625472 268567 33554432000 4194304 16246674 140734737115168 140734737097088 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 327057 268567 913 2943 0 323951 0 [pid=12180/tid=12181] ppid=12177 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1339625472 268567 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1339625472 268567 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1339625472 268567 33554432000 4194304 16246674 140734737115168 140422108138672 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) 1308228 [startup+6.30047 s] /proc/loadavg: 2.20 2.20 2.10 3/184 12184 /proc/meminfo: memFree=27712624/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1318468 CPUtime=6.29 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 270829 0 0 0 593 36 0 0 20 0 4 0 31366265 1350111232 271127 33554432000 4194304 16246674 140734737115168 140734737097088 5823032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 329617 271127 913 2943 0 326511 0 [pid=12180/tid=12181] ppid=12177 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1350111232 271127 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1350111232 271127 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1350111232 271127 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1318468 [startup+12.7004 s] /proc/loadavg: 2.26 2.22 2.10 3/184 12184 /proc/meminfo: memFree=27713508/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1318468 CPUtime=12.69 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 270829 0 0 0 1233 36 0 0 20 0 4 0 31366265 1350111232 271127 33554432000 4194304 16246674 140734737115168 140734737098168 6012224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 329617 271127 913 2943 0 326511 0 [pid=12180/tid=12181] ppid=12177 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1350111232 271127 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1350111232 271127 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1350111232 271127 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1318468 [startup+25.5005 s] /proc/loadavg: 2.28 2.22 2.10 3/184 12184 /proc/meminfo: memFree=27712040/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1320516 CPUtime=25.48 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 271342 0 0 0 2512 36 0 0 20 0 4 0 31366265 1352208384 271640 33554432000 4194304 16246674 140734737115168 140734737097088 5598786 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 330129 271640 914 2943 0 327023 0 [pid=12180/tid=12181] ppid=12177 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1352208384 271640 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1352208384 271640 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1352208384 271640 33554432000 4194304 16246674 140734737115168 140422108138672 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) 1320516 [startup+51.1005 s] /proc/loadavg: 2.24 2.22 2.10 3/184 12184 /proc/meminfo: memFree=27626928/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1323588 CPUtime=51.08 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 272110 0 0 0 5072 36 0 0 20 0 4 0 31366265 1355354112 272408 33554432000 4194304 16246674 140734737115168 140734737097088 5823013 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 330897 272408 914 2943 0 327791 0 [pid=12180/tid=12181] ppid=12177 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1355354112 272408 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1355354112 272408 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1355354112 272408 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1323588 [startup+102.301 s] /proc/loadavg: 2.22 2.21 2.10 3/183 12185 /proc/meminfo: memFree=27611360/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1338948 CPUtime=102.28 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 275950 0 0 0 10190 38 0 0 20 0 4 0 31366265 1371082752 276248 33554432000 4194304 16246674 140734737115168 140734737098168 5712270 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 334737 276248 914 2943 0 331631 0 [pid=12180/tid=12181] ppid=12177 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1371082752 276248 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1371082752 276248 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1371082752 276248 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1338948 ################ # More data... # ################ /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 1363524 [startup+1302.3 s] /proc/loadavg: 1.08 1.67 1.91 2/174 12267 /proc/meminfo: memFree=30254900/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1363524 CPUtime=1302.04 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 282185 0 0 0 130144 60 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140734737112960 5754961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 340881 282397 916 2943 0 337775 0 [pid=12180/tid=12181] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 1363524 [startup+1362.3 s] /proc/loadavg: 1.07 1.56 1.86 2/173 12268 /proc/meminfo: memFree=30255120/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1363524 CPUtime=1362.01 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 282223 0 0 0 136140 61 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140734737114344 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 340881 282397 916 2943 0 337775 0 [pid=12180/tid=12181] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 1363524 [startup+1422.3 s] /proc/loadavg: 1.07 1.47 1.81 2/173 12269 /proc/meminfo: memFree=30255256/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1363524 CPUtime=1421.98 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 282265 0 0 0 142135 63 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140734737097088 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 340881 282397 916 2943 0 337775 0 [pid=12180/tid=12181] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 1363524 [startup+1482.3 s] /proc/loadavg: 1.07 1.40 1.76 2/173 12271 /proc/meminfo: memFree=30254916/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1363524 CPUtime=1481.94 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 282301 0 0 0 148131 63 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140734737097088 6012046 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 340881 282397 916 2943 0 337775 0 [pid=12180/tid=12181] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1363524 [startup+1542.31 s] /proc/loadavg: 1.10 1.34 1.72 2/173 12272 /proc/meminfo: memFree=30255076/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1363524 CPUtime=1541.93 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 282338 0 0 0 154128 65 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140734737097088 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 340881 282397 916 2943 0 337775 0 [pid=12180/tid=12181] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 1363524 [startup+1602.3 s] /proc/loadavg: 1.04 1.27 1.67 2/173 12273 /proc/meminfo: memFree=30254776/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1363524 CPUtime=1601.89 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 282372 0 0 0 160123 66 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140734737112960 4220536 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 340881 282397 916 2943 0 337775 0 [pid=12180/tid=12181] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1396248576 282397 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1363524 [startup+1662.3 s] /proc/loadavg: 1.06 1.24 1.63 2/173 12274 /proc/meminfo: memFree=30245064/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1372740 CPUtime=1661.86 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 284720 0 0 0 166117 69 0 0 20 0 4 0 31366265 1405685760 284701 33554432000 4194304 16246674 140734737115168 140734737097088 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 343185 284701 916 2943 0 340079 0 [pid=12180/tid=12181] ppid=12177 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1405685760 284701 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1405685760 284701 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1405685760 284701 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1372740 [startup+1722.3 s] /proc/loadavg: 1.10 1.21 1.59 2/173 12275 /proc/meminfo: memFree=30245220/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1372740 CPUtime=1721.83 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 284758 0 0 0 172113 70 0 0 20 0 4 0 31366265 1405685760 284701 33554432000 4194304 16246674 140734737115168 140734737097088 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 343185 284701 916 2943 0 340079 0 [pid=12180/tid=12181] ppid=12177 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1405685760 284701 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1405685760 284701 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1405685760 284701 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1372740 [startup+1782.3 s] /proc/loadavg: 1.04 1.17 1.55 2/173 12277 /proc/meminfo: memFree=30244996/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1372740 CPUtime=1781.79 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 284801 0 0 0 178108 71 0 0 20 0 4 0 31366265 1405685760 284702 33554432000 4194304 16246674 140734737115168 140734737097088 5522972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 343185 284702 916 2943 0 340079 0 [pid=12180/tid=12181] ppid=12177 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1405685760 284702 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1405685760 284702 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1405685760 284702 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1372740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.03 1.16 1.54 2/174 12281 /proc/meminfo: memFree=30244000/32872528 swapFree=496868/529572 [pid=12180] ppid=12177 vsize=1372740 CPUtime=1800.08 cores=1,3,5,7 /proc/12180/stat : 12180 (toysat) R 12177 12180 7739 0 -1 4202496 284801 0 0 0 179937 71 0 0 20 0 4 0 31366265 1405685760 284702 33554432000 4194304 16246674 140734737115168 140734737098168 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12180/statm: 343185 284702 916 2943 0 340079 0 [pid=12180/tid=12181] ppid=12177 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12181/stat : 12181 (toysat) S 12177 12180 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31366265 1405685760 284702 33554432000 4194304 16246674 140734737115168 140422129102064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12180/tid=12182] ppid=12177 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12182/stat : 12182 (toysat) S 12177 12180 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31366265 1405685760 284702 33554432000 4194304 16246674 140734737115168 140422118612208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12180/tid=12183] ppid=12177 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/12180/task/12183/stat : 12183 (toysat) S 12177 12180 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 31366265 1405685760 284702 33554432000 4194304 16246674 140734737115168 140422108138672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1372740 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 12180 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.38 CPU system time (s): 0.71889 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 1372740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.38 system time used= 0.71889 maximum resident set size= 1138808 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284801 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= 416 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.45856 second user time and 13.062 second system time The end
Begin job on node141 at 2016-06-19 01:40:08 IDJOB=4109064 IDBENCH=89845 IDSOLVER=2542 FILE ID=node141/4109064-1466293208 RUNJOBID= node141-1466264081-7756 PBS_JOBID= 19918217 Free space on /tmp= 71664 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-iis-bupa-cov.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109064-1466293208/watcher-4109064-1466293208 -o /tmp/evaluation-result-4109064-1466293208/solver-4109064-1466293208 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4109064-1466293208.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7fb5c1a630b78d8604b800edf1958e29 RANDOM SEED=1418570497 node141.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.547 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.09 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.547 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.547 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.547 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.547 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.56 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.547 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.547 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.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28795512 kB Buffers: 61324 kB Cached: 217320 kB SwapCached: 2212 kB Active: 2656628 kB Inactive: 142280 kB Active(anon): 2519100 kB Inactive(anon): 3796 kB Active(file): 137528 kB Inactive(file): 138484 kB Unevictable: 529572 kB Mlocked: 496868 kB SwapTotal: 67108856 kB SwapFree: 67099068 kB Dirty: 16784 kB Writeback: 0 kB AnonPages: 3049056 kB Mapped: 10724 kB Shmem: 0 kB Slab: 609672 kB SReclaimable: 52704 kB SUnreclaim: 556968 kB KernelStack: 1464 kB PageTables: 10024 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3191624 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 436224 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 node141 at 2016-06-19 02:10:09