| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.55 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb |
| MD5SUM | ab5ea8306af8700174d1bacaebcc6943 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 29 |
| Best CPU time to get the best result obtained on this benchmark | 403.408 |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.00 c 2016-06-30T11:38:32+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-4119888-1467279512.opb"] 0.00/0.01 c use --random-gen="2700908903 2217495203 1531837498 2636744393 2344885265 2279791353 2877297694 225492593 1854069316 3784048567 2321502867 2454358230 3146069751 3422814897 634383528 2305782480 2826871218 3237842574 344056480 1262337767 1996243212 2660319048 2143573496 1610991654 2798698663 1733243046 3585907432 1069380167 2418755500 1569090183 910090499 3450084317 2508382886 486590081 3682860456 3353131034 1921097791 554872844 62727838 171702952 4291156644 1313079545 1430051824 368255210 4001139195 3024893170 1370422603 2553188511 4000606446 2851872962 73377401 188603299 3445321980 3002370930 3736179163 2737059890 2157640535 1173023818 3476138622 544664373 4204554214 2855860414 2063993490 2090160367 112902240 2918333045 1496916822 2534392751 1085000773 1682251331 3749607377 2663750032 2469099751 327482585 3484119271 747556266 3074775609 2840524778 2782467788 3067451601 2689055180 3198106118 401943515 1644434630 2894833852 2453139179 2846526491 805618943 89953801 445282016 2861389014 3645004623 1226067821 1635274084 133077818 3065009443 1106397154 2295640542 3140171798 4174019851 2627265146 2940921556 3261547547 625309032 3572518801 3971290121 533823443 2181396125 1241994530 2412740653 3950125852 3922670150 549402593 1943422751 204949294 844629937 2165968949 3921863378 3357244181 2606467024 464715821 421618683 2616622689 3349390218 3034398832 483841688 2287663763 70211888 333208075 1099784587 236636022 2206219632 1665050536 2290061526 3248029581 2256901228 2596791648 2476858761 3701893769 2182610828 2006807334 2425185907 604870061 1106182275 797152501 589056711 2848052729 2041288689 1150314984 3870588411 4140979460 1589174599 2437226115 86891531 3059038405 1662944165 912028555 3798561307 2427999594 2224685872 3362438889 2606924576 1605328934 2879371431 2123139353 772658925 1182376200 4131460293 983388727 1402446380 3277752207 1564426382 1919942507 3308084540 3879467719 1753096785 1910880938 3548178819 1674242440 488178040 1870829227 532568113 3560694771 3821031785 1399422285 958403386 2269312833 3891974437 1838653530 3274046973 3390871995 1330509180 3678477535 2170539914 1511969779 1899673397 935009931 3311254651 1776931610 1254693696 4267751775 1289193235 3587282034 3171025360 3830225307 1532543007 1188655149 3132323908 631862972 371653350 4014871597 858690390 2502376570 1148899562 2127418492 3524588178 584592471 1537801845 3983765610 2632586679 1221180915 4143436124 2116226167 3194858671 2811108478 4059989632 2567690279 1751782121 2269863768 2835259512 1165297755 1097306729 3523547990 2591832413 1205755926 3496979456 2819761155 3166658684 3758284755 1996139272 2740392341 2998826879 2861698171 2919437988 389735562 2884460735 707035512 1056930989 399229280 1719282684 3244599091 2293258019 2666098669 387867188 2005563191 3245579931 255 362436" option to reproduce the execution 0.09/0.11 c #vars 10432 0.09/0.11 c #constraints 716 0.19/0.24 c BCD2: Hardening is enabled. 0.19/0.24 c BCD2: BiasedSearch is enabled. 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 3716 0 | 0 | 0 0.39/0.46 c 0.2s | 1 | 410 | 100 | 3716 0 | 0 | 0 0.69/0.72 c 0.5s | 2 | 2160 | 250 | 4088 0 | 0 | 0 1.10/1.12 c 0.9s | 3 | 4293 | 475 | 4497 0 | 0 | 0 1.29/1.37 c 1.1s | 3 | 6262 | 596 | 4947 0 | 0 | 0 1.29/1.37 c #cpu_time = 1.115s 1.29/1.37 c #wall_clock_time = 1.118s 1.29/1.37 c #decision = 6262 1.29/1.37 c #random_decision = 8 1.29/1.37 c #conflict = 596 1.29/1.37 c #restart = 3 1.29/1.37 o 32 1.29/1.37 c BCD2: updating upper bound: 32 -> 31 1.29/1.37 c BCD2: 0 <= obj <= 31 1.29/1.37 c BCD2: #cores=0, #unrelaxed=32, #relaxed=0, #hardened=0 1.29/1.37 c BCD2: #sat=1 #unsat=1 bias=1/2 1.29/1.37 c Solving starts ... 1.29/1.37 c ============================[ Search Statistics ]============================ 1.29/1.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.37 c | | | | Limit GC | Var | Constra 1.29/1.37 c ============================================================================= 1.29/1.37 c 0.0s | 0 | 0 | 0 | 4947 0 | 0 | 0 1.29/1.39 c 0.0s | 0 | 2 | 0 | 4947 0 | 0 | 0 1.29/1.39 c #cpu_time = 0.021s 1.29/1.39 c #wall_clock_time = 0.021s 1.29/1.39 c #decision = 2 1.29/1.39 c #random_decision = 0 1.29/1.39 c #conflict = 0 1.29/1.39 c #restart = 0 1.29/1.39 c BCD2: found a new core of size 3: cost of the new core is >=1 1.29/1.39 c lower bound updated to 1 1.29/1.39 c BCD2: 1 <= obj <= 31 1.29/1.39 c BCD2: #cores=1, #unrelaxed=29, #relaxed=3, #hardened=0 1.29/1.39 c BCD2: #sat=1 #unsat=2 bias=2/3 1.29/1.39 c Solving starts ... 1.29/1.39 c ============================[ Search Statistics ]============================ 1.29/1.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.39 c | | | | Limit GC | Var | Constra 1.29/1.39 c ============================================================================= 1.29/1.39 c 0.0s | 0 | 0 | 0 | 4947 0 | 0 | 0 1.39/1.41 c 0.0s | 0 | 4 | 1 | 4947 0 | 0 | 0 1.39/1.41 c #cpu_time = 0.015s 1.39/1.41 c #wall_clock_time = 0.015s 1.39/1.41 c #decision = 4 1.39/1.41 c #random_decision = 0 1.39/1.41 c #conflict = 1 1.39/1.41 c #restart = 0 1.39/1.41 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 6: cost of the new core is >=2 1.39/1.41 c lower bound updated to 2 1.39/1.41 c BCD2: 2 <= obj <= 31 1.39/1.41 c BCD2: #cores=1, #unrelaxed=26, #relaxed=6, #hardened=0 1.39/1.41 c BCD2: #sat=1 #unsat=3 bias=3/4 1.39/1.41 c Solving starts ... 1.39/1.41 c ============================[ Search Statistics ]============================ 1.39/1.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.41 c | | | | Limit GC | Var | Constra 1.39/1.41 c ============================================================================= 1.39/1.41 c 0.0s | 0 | 0 | 0 | 4947 0 | 1 | 0 1.39/1.42 c 0.0s | 0 | 4 | 1 | 4947 0 | 1 | 1 1.39/1.42 c #cpu_time = 0.015s 1.39/1.42 c #wall_clock_time = 0.015s 1.39/1.42 c #decision = 4 1.39/1.42 c #random_decision = 0 1.39/1.42 c #conflict = 1 1.39/1.42 c #restart = 0 1.39/1.42 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 9: cost of the new core is >=3 1.39/1.42 c lower bound updated to 3 1.39/1.42 c BCD2: 3 <= obj <= 31 1.39/1.42 c BCD2: #cores=1, #unrelaxed=23, #relaxed=9, #hardened=0 1.39/1.42 c BCD2: #sat=1 #unsat=4 bias=4/5 1.39/1.42 c Solving starts ... 1.39/1.42 c ============================[ Search Statistics ]============================ 1.39/1.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.42 c | | | | Limit GC | Var | Constra 1.39/1.42 c ============================================================================= 1.39/1.42 c 0.0s | 0 | 0 | 0 | 4947 0 | 2 | 1 1.39/1.44 c 0.0s | 0 | 4 | 1 | 4947 0 | 2 | 2 1.39/1.44 c #cpu_time = 0.015s 1.39/1.44 c #wall_clock_time = 0.015s 1.39/1.44 c #decision = 4 1.39/1.44 c #random_decision = 0 1.39/1.44 c #conflict = 1 1.39/1.44 c #restart = 0 1.39/1.44 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 12: cost of the new core is >=4 1.39/1.44 c lower bound updated to 4 1.39/1.44 c BCD2: 4 <= obj <= 31 1.39/1.44 c BCD2: #cores=1, #unrelaxed=20, #relaxed=12, #hardened=0 1.39/1.44 c BCD2: #sat=1 #unsat=5 bias=5/6 1.39/1.44 c Solving starts ... 1.39/1.44 c ============================[ Search Statistics ]============================ 1.39/1.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.44 c | | | | Limit GC | Var | Constra 1.39/1.44 c ============================================================================= 1.39/1.44 c 0.0s | 0 | 0 | 0 | 4947 0 | 3 | 2 1.39/1.45 c 0.0s | 0 | 4 | 1 | 4947 0 | 3 | 3 1.39/1.45 c #cpu_time = 0.015s 1.39/1.45 c #wall_clock_time = 0.015s 1.39/1.45 c #decision = 4 1.39/1.45 c #random_decision = 0 1.39/1.45 c #conflict = 1 1.39/1.45 c #restart = 0 1.39/1.45 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 15: cost of the new core is >=5 1.39/1.45 c lower bound updated to 5 1.39/1.45 c BCD2: 5 <= obj <= 31 1.39/1.45 c BCD2: #cores=1, #unrelaxed=17, #relaxed=15, #hardened=0 1.39/1.45 c BCD2: #sat=1 #unsat=6 bias=6/7 1.39/1.45 c Solving starts ... 1.39/1.45 c ============================[ Search Statistics ]============================ 1.39/1.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.45 c | | | | Limit GC | Var | Constra 1.39/1.45 c ============================================================================= 1.39/1.45 c 0.0s | 0 | 0 | 0 | 4947 0 | 4 | 3 1.39/1.47 c 0.0s | 0 | 3 | 0 | 4947 0 | 4 | 4 1.39/1.47 c #cpu_time = 0.015s 1.39/1.47 c #wall_clock_time = 0.015s 1.39/1.47 c #decision = 3 1.39/1.47 c #random_decision = 0 1.39/1.47 c #conflict = 0 1.39/1.47 c #restart = 0 1.39/1.47 c BCD2: found a new core of size 3: cost of the new core is >=1 1.39/1.47 c lower bound updated to 6 1.39/1.47 c BCD2: 6 <= obj <= 31 1.39/1.47 c BCD2: #cores=2, #unrelaxed=14, #relaxed=18, #hardened=0 1.39/1.47 c BCD2: #sat=1 #unsat=7 bias=7/8 1.39/1.47 c Solving starts ... 1.39/1.47 c ============================[ Search Statistics ]============================ 1.39/1.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.47 c | | | | Limit GC | Var | Constra 1.39/1.47 c ============================================================================= 1.39/1.47 c 0.0s | 0 | 0 | 0 | 4947 0 | 4 | 4 1.39/1.48 c 0.0s | 0 | 5 | 1 | 4947 0 | 4 | 4 1.39/1.48 c #cpu_time = 0.015s 1.39/1.48 c #wall_clock_time = 0.015s 1.39/1.48 c #decision = 5 1.39/1.48 c #random_decision = 0 1.39/1.48 c #conflict = 1 1.39/1.48 c #restart = 0 1.39/1.48 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 18: cost of the new core is >=6 1.39/1.48 c lower bound updated to 7 1.39/1.48 c BCD2: 7 <= obj <= 31 1.39/1.48 c BCD2: #cores=2, #unrelaxed=11, #relaxed=21, #hardened=0 1.39/1.48 c BCD2: #sat=1 #unsat=8 bias=8/9 1.39/1.48 c Solving starts ... 1.39/1.48 c ============================[ Search Statistics ]============================ 1.39/1.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.48 c | | | | Limit GC | Var | Constra 1.39/1.48 c ============================================================================= 1.39/1.48 c 0.0s | 0 | 0 | 0 | 4947 0 | 5 | 4 1.49/1.50 c 0.0s | 0 | 5 | 1 | 4947 0 | 5 | 5 1.49/1.50 c #cpu_time = 0.015s 1.49/1.50 c #wall_clock_time = 0.015s 1.49/1.50 c #decision = 5 1.49/1.50 c #random_decision = 0 1.49/1.50 c #conflict = 1 1.49/1.50 c #restart = 0 1.49/1.50 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 6: cost of the new core is >=2 1.49/1.50 c lower bound updated to 8 1.49/1.50 c BCD2: 8 <= obj <= 31 1.49/1.50 c BCD2: #cores=2, #unrelaxed=8, #relaxed=24, #hardened=0 1.49/1.50 c BCD2: #sat=1 #unsat=9 bias=9/10 1.49/1.50 c Solving starts ... 1.49/1.50 c ============================[ Search Statistics ]============================ 1.49/1.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.50 c | | | | Limit GC | Var | Constra 1.49/1.50 c ============================================================================= 1.49/1.50 c 0.0s | 0 | 0 | 0 | 4947 0 | 6 | 5 1.49/1.52 c 0.0s | 0 | 5 | 1 | 4947 0 | 6 | 6 1.49/1.52 c #cpu_time = 0.015s 1.49/1.52 c #wall_clock_time = 0.015s 1.49/1.52 c #decision = 5 1.49/1.52 c #random_decision = 0 1.49/1.52 c #conflict = 1 1.49/1.52 c #restart = 0 1.49/1.52 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 9: cost of the new core is >=3 1.49/1.52 c lower bound updated to 9 1.49/1.52 c BCD2: 9 <= obj <= 31 1.49/1.52 c BCD2: #cores=2, #unrelaxed=5, #relaxed=27, #hardened=0 1.49/1.52 c BCD2: #sat=1 #unsat=10 bias=10/11 1.49/1.52 c Solving starts ... 1.49/1.52 c ============================[ Search Statistics ]============================ 1.49/1.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.52 c | | | | Limit GC | Var | Constra 1.49/1.52 c ============================================================================= 1.49/1.52 c 0.0s | 0 | 0 | 0 | 4947 0 | 7 | 6 1.49/1.53 c 0.0s | 0 | 5 | 1 | 4947 0 | 7 | 7 1.49/1.53 c #cpu_time = 0.015s 1.49/1.53 c #wall_clock_time = 0.015s 1.49/1.53 c #decision = 5 1.49/1.53 c #random_decision = 0 1.49/1.53 c #conflict = 1 1.49/1.53 c #restart = 0 1.49/1.53 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 12: cost of the new core is >=4 1.49/1.53 c lower bound updated to 10 1.49/1.53 c BCD2: 10 <= obj <= 31 1.49/1.53 c BCD2: #cores=2, #unrelaxed=2, #relaxed=30, #hardened=0 1.49/1.53 c BCD2: #sat=1 #unsat=11 bias=11/12 1.49/1.53 c Solving starts ... 1.49/1.53 c ============================[ Search Statistics ]============================ 1.49/1.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.53 c | | | | Limit GC | Var | Constra 1.49/1.53 c ============================================================================= 1.49/1.53 c 0.0s | 0 | 0 | 0 | 4947 0 | 8 | 7 1.49/1.56 c 0.0s | 0 | 552 | 38 | 4947 0 | 8 | 8 1.49/1.56 c #cpu_time = 0.025s 1.49/1.56 c #wall_clock_time = 0.026s 1.49/1.56 c #decision = 552 1.49/1.56 c #random_decision = 3 1.49/1.56 c #conflict = 38 1.49/1.56 c #restart = 0 1.49/1.56 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 32: cost of the new core is >=11 1.49/1.56 c lower bound updated to 11 1.49/1.56 c BCD2: 11 <= obj <= 31 1.49/1.56 c BCD2: #cores=1, #unrelaxed=0, #relaxed=32, #hardened=0 1.49/1.56 c BCD2: #sat=1 #unsat=12 bias=12/13 1.49/1.56 c Solving starts ... 1.49/1.56 c ============================[ Search Statistics ]============================ 1.49/1.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.56 c | | | | Limit GC | Var | Constra 1.49/1.56 c ============================================================================= 1.49/1.56 c 0.0s | 0 | 0 | 0 | 4947 0 | 11 | 8 1.79/1.82 c 0.3s | 1 | 6323 | 100 | 4947 0 | 11 | 12 1.99/2.06 c 0.5s | 2 | 8309 | 250 | 5442 0 | 11 | 12 2.39/2.49 c 0.9s | 3 | 10218 | 475 | 5442 0 | 11 | 12 2.98/3.09 c 1.5s | 4 | 12152 | 813 | 5987 0 | 11 | 12 4.39/4.43 c 2.9s | 5 | 14017 | 1320 | 5987 0 | 11 | 12 5.78/5.83 c 4.3s | 6 | 15780 | 2081 | 6586 0 | 11 | 12 7.98/8.06 c 6.5s | 6 | 17923 | 3081 | 7245 0 | 11 | 12 8.38/8.42 c 6.9s | 7 | 18077 | 3223 | 7245 0 | 11 | 12 10.38/10.48 c 8.9s | 7 | 20408 | 4523 | 7970 0 | 11 | 12 10.99/11.07 c 9.5s | 8 | 20833 | 4936 | 7970 0 | 11 | 12 13.08/13.12 c 11.6s | 8 | 23223 | 6236 | 7970 0 | 11 | 12 14.88/14.99 c 13.4s | 9 | 24509 | 7506 | 8767 0 | 11 | 12 17.08/17.15 c 15.6s | 9 | 27230 | 8606 | 8767 0 | 11 | 12 19.28/19.36 c 17.8s | 9 | 28481 | 9606 | 8767 0 | 11 | 12 21.28/21.38 c 19.8s | 9 | 29395 | 10406 | 8767 0 | 11 | 12 23.48/23.50 c 21.9s | 9 | 30364 | 11206 | 9644 0 | 11 | 12 23.78/23.83 c 22.3s | 10 | 30580 | 11361 | 9644 0 | 11 | 12 25.88/25.95 c 24.4s | 10 | 32746 | 12361 | 9644 1 | 11 | 12 27.88/27.97 c 26.4s | 10 | 34020 | 13461 | 9644 1 | 11 | 12 30.08/30.19 c 28.6s | 10 | 35114 | 14361 | 9644 1 | 11 | 12 32.18/32.22 c 30.7s | 10 | 36004 | 15061 | 9644 1 | 11 | 12 34.18/34.26 c 32.7s | 10 | 36943 | 15661 | 9644 1 | 11 | 12 36.38/36.42 c 34.9s | 10 | 37694 | 16361 | 9644 1 | 11 | 12 38.38/38.45 c 36.9s | 10 | 38323 | 16861 | 10609 1 | 11 | 12 39.08/39.11 c 37.6s | 11 | 38867 | 17144 | 10609 1 | 11 | 12 41.28/41.31 c 39.8s | 11 | 41984 | 18044 | 10609 2 | 11 | 12 43.48/43.57 c 42.0s | 11 | 42944 | 18944 | 10609 2 | 11 | 12 45.48/45.57 c 44.0s | 11 | 43685 | 19644 | 10609 2 | 11 | 12 47.78/47.80 c 46.2s | 11 | 44427 | 20344 | 10609 2 | 11 | 12 49.88/49.91 c 48.3s | 11 | 45289 | 21144 | 10609 2 | 11 | 12 51.88/51.92 c 50.4s | 11 | 46152 | 21944 | 10609 2 | 11 | 12 54.18/54.28 c 52.7s | 11 | 47037 | 22744 | 10609 2 | 11 | 12 56.48/56.51 c 55.0s | 11 | 47718 | 23344 | 10609 2 | 11 | 12 58.68/58.77 c 57.2s | 11 | 48364 | 23944 | 10609 2 | 11 | 12 60.78/60.87 c 59.3s | 11 | 48906 | 24444 | 10609 2 | 11 | 12 62.88/62.92 c 61.4s | 11 | 49550 | 25044 | 11670 2 | 11 | 12 64.98/65.06 c 63.5s | 11 | 50294 | 25744 | 11670 2 | 11 | 12 65.28/65.31 c 63.8s | 12 | 50384 | 25819 | 11670 2 | 11 | 12 67.28/67.37 c 65.8s | 12 | 52731 | 26519 | 11670 3 | 11 | 12 69.48/69.54 c 68.0s | 12 | 53898 | 27619 | 11670 3 | 11 | 12 71.58/71.69 c 70.1s | 12 | 55089 | 28719 | 11670 3 | 11 | 12 73.68/73.78 c 72.2s | 12 | 56061 | 29619 | 11670 3 | 11 | 12 75.88/75.94 c 74.4s | 12 | 57001 | 30519 | 11670 3 | 11 | 12 78.08/78.10 c 76.5s | 12 | 58027 | 31519 | 11670 3 | 11 | 12 80.17/80.28 c 78.7s | 12 | 58980 | 32419 | 11670 3 | 11 | 12 82.37/82.46 c 80.9s | 12 | 59817 | 33219 | 11670 3 | 11 | 12 84.57/84.65 c 83.1s | 12 | 60662 | 34019 | 11670 3 | 11 | 12 86.67/86.74 c 85.2s | 12 | 61539 | 34819 | 11670 3 | 11 | 12 88.87/88.95 c 87.4s | 12 | 62405 | 35619 | 11670 3 | 11 | 12 90.87/90.97 c 89.4s | 12 | 63152 | 36319 | 11670 3 | 11 | 12 92.87/92.97 c 91.4s | 12 | 63872 | 37019 | 11670 3 | 11 | 12 95.17/95.22 c 93.7s | 12 | 64639 | 37719 | 11670 3 | 11 | 12 97.27/97.31 c 95.8s | 12 | 65260 | 38319 | 12838 3 | 11 | 12 98.98/99.10 c 97.5s | 13 | 65798 | 38832 | 12838 3 | 11 | 12 101.17/101.26 c 99.7s | 13 | 68708 | 39632 | 12838 4 | 11 | 12 103.17/103.29 c 101s | 13 | 69831 | 40632 | 12838 4 | 11 | 12 105.27/105.36 c 103s | 13 | 71003 | 41532 | 12838 4 | 11 | 12 107.47/107.57 c 106s | 13 | 72210 | 42432 | 12838 4 | 11 | 12 109.57/109.60 c 108s | 13 | 73139 | 43132 | 12838 4 | 11 | 12 111.77/111.82 c 110s | 13 | 74040 | 43832 | 12838 4 | 11 | 12 113.77/113.86 c 112s | 13 | 74784 | 44432 | 12838 4 | 11 | 12 115.86/115.97 c 114s | 13 | 75548 | 45032 | 12838 4 | 11 | 12 118.06/118.14 c 116s | 13 | 76320 | 45732 | 12838 4 | 11 | 12 120.36/120.49 c 118s | 13 | 77025 | 46332 | 12838 4 | 11 | 12 122.56/122.62 c 121s | 13 | 77799 | 46932 | 12838 4 | 11 | 12 124.66/124.72 c 123s | 13 | 78514 | 47532 | 12838 4 | 11 | 12 126.96/127.02 c 125s | 13 | 79055 | 48032 | 12838 4 | 11 | 12 128.95/129.07 c 127s | 13 | 79492 | 48432 | 12838 4 | 11 | 12 131.35/131.43 c 129s | 13 | 80030 | 48932 | 12838 4 | 11 | 12 133.75/133.82 c 132s | 13 | 80674 | 49532 | 12838 4 | 11 | 12 136.05/136.17 c 134s | 13 | 81296 | 50032 | 12838 4 | 11 | 12 138.25/138.35 c 136s | 13 | 81984 | 50632 | 12838 4 | 11 | 12 140.95/141.02 c 139s | 13 | 82744 | 51332 | 12838 5 | 11 | 12 143.15/143.26 c 141s | 13 | 83490 | 52032 | 12838 5 | 11 | 12 145.26/145.37 c 143s | 13 | 84144 | 52632 | 12838 5 | 11 | 12 147.46/147.58 c 146s | 13 | 84805 | 53232 | 12838 5 | 11 | 12 149.66/149.71 c 148s | 13 | 85472 | 53832 | 12838 5 | 11 | 12 151.65/151.78 c 150s | 13 | 86146 | 54432 | 12838 5 | 11 | 12 153.85/153.95 c 152s | 13 | 86984 | 55132 | 12838 5 | 11 | 12 156.25/156.35 c 154s | 13 | 87701 | 55732 | 12838 5 | 11 | 12 158.45/158.55 c 156s | 13 | 88265 | 56232 | 12838 5 | 11 | 12 160.45/160.60 c 159s | 13 | 88853 | 56732 | 12838 5 | 11 | 12 162.85/162.92 c 161s | 13 | 89438 | 57232 | 12838 5 | 11 | 12 165.24/165.33 c 163s | 13 | 89985 | 57732 | 14122 5 | 11 | 12 167.74/167.82 c 166s | 13 | 90561 | 58232 | 14122 5 | 11 | 12 168.44/168.58 c 167s | 14 | 90691 | 58352 | 14122 5 | 11 | 12 170.55/170.66 c 169s | 14 | 94425 | 58652 | 14122 6 | 11 | 12 172.84/172.91 c 171s | 14 | 95275 | 59452 | 14122 6 | 11 | 12 175.24/175.33 c 173s | 14 | 96113 | 60252 | 14122 6 | 11 | 12 177.44/177.58 c 176s | 14 | 96761 | 60852 | 14122 6 | 11 | 12 179.54/179.65 c 178s | 14 | 97624 | 61652 | 14122 6 | 11 | 12 181.64/181.70 c 180s | 14 | 98408 | 62352 | 14122 6 | 11 | 12 183.74/183.86 c 182s | 14 | 98939 | 62852 | 14122 6 | 11 | 12 185.84/185.97 c 184s | 14 | 99609 | 63452 | 14122 6 | 11 | 12 187.83/187.97 c 186s | 14 | 100298 | 64052 | 14122 6 | 11 | 12 189.83/189.98 c 188s | 14 | 100972 | 64652 | 14122 6 | 11 | 12 192.23/192.36 c 190s | 14 | 101509 | 65152 | 14122 6 | 11 | 12 194.83/194.98 c 193s | 14 | 101933 | 65552 | 14122 6 | 11 | 12 197.13/197.22 c 195s | 14 | 102261 | 65852 | 14122 6 | 11 | 12 199.23/199.38 c 197s | 14 | 102954 | 66452 | 14122 6 | 11 | 12 201.54/201.69 c 200s | 14 | 103723 | 67152 | 14122 6 | 11 | 12 203.84/203.98 c 202s | 14 | 104506 | 67852 | 14122 6 | 11 | 12 206.04/206.19 c 204s | 14 | 105147 | 68452 | 14122 6 | 11 | 12 208.14/208.20 c 206s | 14 | 105786 | 69052 | 14122 6 | 11 | 12 210.44/210.56 c 208s | 14 | 106440 | 69652 | 14122 6 | 11 | 12 212.63/212.74 c 211s | 14 | 107093 | 70252 | 14122 6 | 11 | 12 214.83/214.97 c 213s | 14 | 107748 | 70852 | 14122 6 | 11 | 12 217.23/217.30 c 215s | 14 | 108397 | 71452 | 14122 6 | 11 | 12 219.43/219.56 c 217s | 14 | 108946 | 71952 | 14122 6 | 11 | 12 221.63/221.76 c 220s | 14 | 109471 | 72452 | 14122 6 | 11 | 12 223.63/223.79 c 222s | 14 | 110008 | 72952 | 14122 6 | 11 | 12 225.73/225.83 c 224s | 14 | 110531 | 73452 | 14122 6 | 11 | 12 227.93/228.05 c 226s | 14 | 110947 | 73852 | 14122 7 | 11 | 12 230.13/230.22 c 228s | 14 | 111468 | 74352 | 14122 7 | 11 | 12 232.52/232.69 c 231s | 14 | 111978 | 74852 | 14122 7 | 11 | 12 234.63/234.74 c 233s | 14 | 112526 | 75352 | 14122 7 | 11 | 12 236.93/237.08 c 235s | 14 | 113061 | 75852 | 14122 7 | 11 | 12 239.03/239.14 c 237s | 14 | 113586 | 76352 | 14122 7 | 11 | 12 241.23/241.38 c 239s | 14 | 114128 | 76852 | 14122 7 | 11 | 12 243.33/243.50 c 241s | 14 | 114670 | 77352 | 14122 7 | 11 | 12 245.53/245.69 c 244s | 14 | 115213 | 77852 | 14122 7 | 11 | 12 247.53/247.69 c 246s | 14 | 115624 | 78252 | 14122 7 | 11 | 12 249.63/249.76 c 248s | 14 | 116209 | 78752 | 14122 7 | 11 | 12 251.93/252.01 c 250s | 14 | 116754 | 79252 | 14122 7 | 11 | 12 254.33/254.40 c 252s | 14 | 117307 | 79752 | 14122 7 | 11 | 12 256.72/256.88 c 255s | 14 | 117868 | 80252 | 14122 7 | 11 | 12 259.12/259.21 c 257s | 14 | 118441 | 80752 | 14122 7 | 11 | 12 261.52/261.62 c 260s | 14 | 119093 | 81352 | 14122 7 | 11 | 12 263.62/263.73 c 262s | 14 | 119650 | 81852 | 14122 7 | 11 | 12 266.02/266.10 c 264s | 14 | 120203 | 82352 | 14122 7 | 11 | 12 268.32/268.46 c 266s | 14 | 120731 | 82852 | 14122 7 | 11 | 12 270.52/270.66 c 269s | 14 | 121276 | 83352 | 14122 7 | 11 | 12 272.82/272.95 c 271s | 14 | 121815 | 83852 | 14122 7 | 11 | 12 275.02/275.13 c 273s | 14 | 122369 | 84352 | 14122 7 | 11 | 12 277.12/277.22 c 275s | 14 | 122954 | 84852 | 14122 7 | 11 | 12 279.11/279.29 c 277s | 14 | 123512 | 85352 | 14122 7 | 11 | 12 281.31/281.43 c 279s | 14 | 123863 | 85652 | 14122 8 | 11 | 12 283.31/283.47 c 281s | 14 | 124384 | 86152 | 14122 8 | 11 | 12 285.41/285.57 c 284s | 14 | 124920 | 86652 | 15535 8 | 11 | 12 287.40/287.59 c 286s | 14 | 125456 | 87152 | 15535 8 | 11 | 12 289.40/289.51 c 287s | 15 | 125982 | 87632 | 15535 8 | 11 | 12 291.51/291.60 c 290s | 15 | 129830 | 88332 | 15535 8 | 11 | 12 293.61/293.72 c 292s | 15 | 130773 | 89132 | 15535 8 | 11 | 12 295.70/295.82 c 294s | 15 | 131755 | 89932 | 15535 8 | 11 | 12 298.01/298.20 c 296s | 15 | 132691 | 90732 | 15535 8 | 11 | 12 300.31/300.45 c 298s | 15 | 133706 | 91532 | 15535 8 | 11 | 12 302.41/302.52 c 300s | 15 | 134542 | 92232 | 15535 8 | 11 | 12 304.71/304.87 c 303s | 15 | 135360 | 92932 | 15535 8 | 11 | 12 306.81/306.98 c 305s | 15 | 136128 | 93532 | 15535 8 | 11 | 12 309.20/309.34 c 307s | 15 | 136817 | 94132 | 15535 8 | 11 | 12 311.30/311.43 c 309s | 15 | 137590 | 94732 | 15535 8 | 11 | 12 313.40/313.54 c 311s | 15 | 138152 | 95232 | 15535 8 | 11 | 12 315.79/315.94 c 314s | 15 | 138881 | 95832 | 15535 8 | 11 | 12 318.19/318.32 c 316s | 15 | 139589 | 96432 | 15535 8 | 11 | 12 320.30/320.49 c 318s | 15 | 140456 | 97032 | 15535 8 | 11 | 12 322.40/322.59 c 321s | 15 | 141271 | 97632 | 15535 8 | 11 | 12 324.60/324.78 c 323s | 15 | 141883 | 98132 | 15535 8 | 11 | 12 327.00/327.12 c 325s | 15 | 142624 | 98732 | 15535 8 | 11 | 12 329.10/329.21 c 327s | 15 | 143060 | 99132 | 15535 9 | 11 | 12 331.11/331.27 c 329s | 15 | 143653 | 99632 | 15535 9 | 11 | 12 333.40/333.58 c 332s | 15 | 144371 | 100232 | 15535 9 | 11 | 12 335.60/335.74 c 334s | 15 | 144950 | 100732 | 15535 9 | 11 | 12 337.89/338.03 c 336s | 15 | 145519 | 101232 | 15535 9 | 11 | 12 340.29/340.47 c 338s | 15 | 146085 | 101732 | 15535 9 | 11 | 12 342.39/342.57 c 341s | 15 | 146780 | 102232 | 15535 9 | 11 | 12 344.49/344.66 c 343s | 15 | 147427 | 102732 | 15535 9 | 11 | 12 346.89/347.04 c 345s | 15 | 148216 | 103332 | 15535 9 | 11 | 12 349.28/349.40 c 347s | 15 | 148786 | 103832 | 15535 9 | 11 | 12 351.38/351.57 c 350s | 15 | 149401 | 104332 | 15535 9 | 11 | 12 353.78/353.93 c 352s | 15 | 150034 | 104832 | 15535 9 | 11 | 12 355.98/356.12 c 354s | 15 | 150729 | 105332 | 15535 9 | 11 | 12 358.18/358.37 c 356s | 15 | 151326 | 105832 | 15535 9 | 11 | 12 360.38/360.54 c 358s | 15 | 151979 | 106332 | 15535 9 | 11 | 12 362.38/362.56 c 360s | 15 | 152486 | 106732 | 15535 9 | 11 | 12 364.58/364.71 c 363s | 15 | 152922 | 107132 | 15535 9 | 11 | 12 366.58/366.76 c 365s | 15 | 153341 | 107532 | 15535 9 | 11 | 12 368.97/369.11 c 367s | 15 | 153926 | 108032 | 15535 9 | 11 | 12 371.17/371.34 c 369s | 15 | 154516 | 108532 | 15535 9 | 11 | 12 373.47/373.68 c 372s | 15 | 155115 | 109032 | 15535 9 | 11 | 12 376.17/376.33 c 374s | 15 | 155712 | 109532 | 15535 9 | 11 | 12 378.38/378.60 c 377s | 15 | 156160 | 109932 | 15535 9 | 11 | 12 380.88/381.01 c 379s | 15 | 156770 | 110432 | 15535 9 | 11 | 12 383.27/383.46 c 381s | 15 | 157363 | 110932 | 15535 9 | 11 | 12 385.77/385.94 c 384s | 15 | 157981 | 111432 | 15535 9 | 11 | 12 387.97/388.14 c 386s | 15 | 158425 | 111832 | 15535 9 | 11 | 12 390.38/390.59 c 389s | 15 | 158752 | 112132 | 15535 10 | 11 | 12 392.47/392.66 c 391s | 15 | 159332 | 112532 | 15535 10 | 11 | 12 394.87/395.05 c 393s | 15 | 159902 | 113032 | 15535 10 | 11 | 12 397.16/397.36 c 395s | 15 | 160437 | 113532 | 15535 10 | 11 | 12 399.66/399.81 c 398s | 15 | 161019 | 114032 | 15535 10 | 11 | 12 401.76/401.93 c 400s | 15 | 161481 | 114432 | 15535 10 | 11 | 12 404.26/404.44 c 402s | 15 | 162011 | 114932 | 15535 10 | 11 | 12 406.26/406.45 c 404s | 15 | 162447 | 115332 | 15535 10 | 11 | 12 408.35/408.53 c 406s | 15 | 162872 | 115732 | 15535 10 | 11 | 12 410.46/410.64 c 409s | 15 | 163299 | 116132 | 15535 10 | 11 | 12 412.66/412.89 c 411s | 15 | 164007 | 116732 | 15535 10 | 11 | 12 414.86/415.02 c 413s | 15 | 164645 | 117232 | 15535 10 | 11 | 12 417.06/417.21 c 415s | 15 | 165253 | 117732 | 15535 10 | 11 | 12 419.36/419.58 c 418s | 15 | 165972 | 118332 | 15535 10 | 11 | 12 421.65/421.82 c 420s | 15 | 166655 | 118832 | 15535 10 | 11 | 12 423.65/423.84 c 422s | 15 | 167084 | 119232 | 15535 10 | 11 | 12 425.75/425.98 c 424s | 15 | 167710 | 119732 | 15535 10 | 11 | 12 428.15/428.36 c 426s | 15 | 168461 | 120332 | 15535 10 | 11 | 12 430.45/430.61 c 429s | 15 | 169070 | 120832 | 15535 10 | 11 | 12 432.45/432.69 c 431s | 15 | 169759 | 121332 | 15535 10 | 11 | 12 434.55/434.72 c 433s | 15 | 170394 | 121832 | 15535 10 | 11 | 12 436.65/436.84 c 435s | 15 | 170970 | 122332 | 15535 10 | 11 | 12 438.85/439.05 c 437s | 15 | 171584 | 122832 | 15535 10 | 11 | 12 440.84/441.10 c 439s | 15 | 172249 | 123332 | 15535 10 | 11 | 12 443.15/443.31 c 441s | 15 | 172934 | 123932 | 15535 10 | 11 | 12 445.25/445.50 c 443s | 15 | 173500 | 124432 | 15535 10 | 11 | 12 447.75/447.96 c 446s | 15 | 173853 | 124732 | 15535 11 | 11 | 12 450.04/450.22 c 448s | 15 | 174409 | 125232 | 15535 11 | 11 | 12 452.34/452.54 c 450s | 15 | 175267 | 125832 | 15535 11 | 11 | 12 454.44/454.66 c 453s | 15 | 175873 | 126332 | 15535 11 | 11 | 12 456.64/456.86 c 455s | 15 | 176455 | 126832 | 15535 11 | 11 | 12 458.74/458.99 c 457s | 15 | 176997 | 127332 | 15535 11 | 11 | 12 461.04/461.26 c 459s | 15 | 177610 | 127832 | 15535 11 | 11 | 12 463.23/463.45 c 461s | 15 | 178207 | 128332 | 15535 11 | 11 | 12 465.63/465.87 c 464s | 15 | 178814 | 128832 | 15535 11 | 11 | 12 467.73/467.94 c 466s | 15 | 179313 | 129232 | 15535 11 | 11 | 12 470.23/470.42 c 468s | 15 | 179990 | 129732 | 15535 11 | 11 | 12 472.53/472.75 c 471s | 15 | 180580 | 130232 | 17089 11 | 11 | 12 475.03/475.23 c 473s | 15 | 181208 | 130732 | 17089 11 | 11 | 12 477.33/477.52 c 475s | 15 | 181757 | 131232 | 17089 11 | 11 | 12 479.02/479.26 c 477s | 16 | 182116 | 131552 | 17089 11 | 11 | 12 481.12/481.34 c 479s | 16 | 185611 | 131752 | 17089 12 | 11 | 12 483.22/483.47 c 481s | 16 | 186139 | 132252 | 17089 12 | 11 | 12 485.42/485.63 c 484s | 16 | 186888 | 132952 | 17089 12 | 11 | 12 487.62/487.83 c 486s | 16 | 187754 | 133752 | 17089 12 | 11 | 12 489.73/489.97 c 488s | 16 | 188603 | 134552 | 17089 12 | 11 | 12 491.83/492.07 c 490s | 16 | 189337 | 135252 | 17089 12 | 11 | 12 493.93/494.12 c 492s | 16 | 190094 | 135952 | 17089 12 | 11 | 12 496.03/496.27 c 494s | 16 | 190850 | 136652 | 17089 12 | 11 | 12 498.13/498.31 c 496s | 16 | 191495 | 137252 | 17089 12 | 11 | 12 500.12/500.32 c 498s | 16 | 192167 | 137852 | 17089 12 | 11 | 12 502.12/502.32 c 500s | 16 | 192820 | 138452 | 17089 12 | 11 | 12 504.22/504.40 c 502s | 16 | 193513 | 139052 | 17089 12 | 11 | 12 506.31/506.51 c 504s | 16 | 194175 | 139652 | 17089 12 | 11 | 12 508.61/508.84 c 507s | 16 | 194818 | 140252 | 17089 12 | 11 | 12 510.91/511.19 c 509s | 16 | 195598 | 140952 | 17089 12 | 11 | 12 513.31/513.50 c 511s | 16 | 196234 | 141552 | 17089 12 | 11 | 12 515.51/515.76 c 514s | 16 | 196907 | 142152 | 17089 12 | 11 | 12 517.71/517.93 c 516s | 16 | 197648 | 142752 | 17089 12 | 11 | 12 519.91/520.19 c 518s | 16 | 198580 | 143452 | 17089 12 | 11 | 12 522.11/522.31 c 520s | 16 | 199313 | 144052 | 17089 12 | 11 | 12 524.30/524.53 c 522s | 16 | 200117 | 144752 | 17089 12 | 11 | 12 526.40/526.69 c 525s | 16 | 200750 | 145352 | 17089 12 | 11 | 12 528.70/528.96 c 527s | 16 | 201573 | 146052 | 17089 12 | 11 | 12 531.00/531.29 c 529s | 16 | 202392 | 146752 | 17089 12 | 11 | 12 533.41/533.61 c 532s | 16 | 203038 | 147352 | 17089 12 | 11 | 12 535.50/535.79 c 534s | 16 | 203719 | 147952 | 17089 12 | 11 | 12 537.70/538.00 c 536s | 16 | 204403 | 148552 | 17089 12 | 11 | 12 540.20/540.42 c 538s | 16 | 204830 | 148952 | 17089 13 | 11 | 12 542.40/542.63 c 541s | 16 | 205362 | 149452 | 17089 13 | 11 | 12 544.60/544.82 c 543s | 16 | 206042 | 150052 | 17089 13 | 11 | 12 546.89/547.18 c 545s | 16 | 206721 | 150652 | 17089 13 | 11 | 12 549.09/549.36 c 547s | 16 | 207375 | 151252 | 17089 13 | 11 | 12 551.09/551.37 c 549s | 16 | 207936 | 151752 | 17089 13 | 11 | 12 553.21/553.43 c 551s | 16 | 208498 | 152252 | 17089 13 | 11 | 12 555.30/555.58 c 554s | 16 | 209039 | 152752 | 17089 13 | 11 | 12 557.29/557.59 c 556s | 16 | 209628 | 153252 | 17089 13 | 11 | 12 559.59/559.87 c 558s | 16 | 210167 | 153752 | 17089 13 | 11 | 12 561.79/562.07 c 560s | 16 | 210708 | 154252 | 17089 13 | 11 | 12 564.09/564.35 c 562s | 16 | 211267 | 154752 | 17089 13 | 11 | 12 566.48/566.71 c 565s | 16 | 211940 | 155352 | 17089 13 | 11 | 12 568.68/568.98 c 567s | 16 | 212570 | 155952 | 17089 13 | 11 | 12 570.69/570.99 c 569s | 16 | 213126 | 156452 | 17089 13 | 11 | 12 572.89/573.16 c 571s | 16 | 213666 | 156952 | 17089 13 | 11 | 12 575.27/575.52 c 573s | 16 | 214315 | 157552 | 17089 13 | 11 | 12 577.28/577.55 c 575s | 16 | 214860 | 158052 | 17089 13 | 11 | 12 579.37/579.66 c 578s | 16 | 215407 | 158552 | 17089 13 | 11 | 12 581.69/582.00 c 580s | 16 | 215947 | 159052 | 17089 13 | 11 | 12 584.08/584.31 c 582s | 16 | 216484 | 159552 | 17089 13 | 11 | 12 586.38/586.63 c 585s | 16 | 217026 | 160052 | 17089 13 | 11 | 12 588.68/588.94 c 587s | 16 | 217554 | 160552 | 17089 13 | 11 | 12 591.08/591.37 c 589s | 16 | 218096 | 161052 | 17089 13 | 11 | 12 593.37/593.68 c 592s | 16 | 218676 | 161552 | 17089 13 | 11 | 12 595.47/595.70 c 594s | 16 | 219223 | 162052 | 17089 13 | 11 | 12 597.77/598.08 c 596s | 16 | 219689 | 162452 | 17089 14 | 11 | 12 600.07/600.34 c 598s | 16 | 220344 | 163052 | 17089 14 | 11 | 12 602.27/602.58 c 601s | 16 | 221031 | 163652 | 17089 14 | 11 | 12 604.37/604.62 c 603s | 16 | 221609 | 164152 | 17089 14 | 11 | 12 606.36/606.64 c 605s | 16 | 222183 | 164652 | 17089 14 | 11 | 12 608.37/608.69 c 607s | 16 | 222751 | 165152 | 17089 14 | 11 | 12 610.47/610.71 c 609s | 16 | 223316 | 165652 | 17089 14 | 11 | 12 612.58/612.82 c 611s | 16 | 223890 | 166152 | 17089 14 | 11 | 12 614.97/615.22 c 613s | 16 | 224573 | 166752 | 17089 14 | 11 | 12 617.07/617.32 c 615s | 16 | 225129 | 167252 | 17089 14 | 11 | 12 619.36/619.60 c 618s | 16 | 225661 | 167752 | 17089 14 | 11 | 12 621.46/621.72 c 620s | 16 | 226216 | 168252 | 17089 14 | 11 | 12 623.47/623.72 c 622s | 16 | 226801 | 168752 | 17089 14 | 11 | 12 625.66/625.91 c 624s | 16 | 227364 | 169252 | 17089 14 | 11 | 12 627.86/628.20 c 626s | 16 | 227912 | 169752 | 17089 14 | 11 | 12 630.46/630.70 c 629s | 16 | 228457 | 170252 | 17089 14 | 11 | 12 632.45/632.74 c 631s | 16 | 228891 | 170652 | 17089 14 | 11 | 12 634.46/634.77 c 633s | 16 | 229325 | 171052 | 17089 14 | 11 | 12 636.56/636.89 c 635s | 16 | 229778 | 171452 | 17089 14 | 11 | 12 638.65/638.96 c 637s | 16 | 230205 | 171852 | 17089 14 | 11 | 12 640.95/641.23 c 639s | 16 | 230633 | 172252 | 17089 14 | 11 | 12 643.45/643.74 c 642s | 16 | 231178 | 172752 | 17089 14 | 11 | 12 645.65/645.92 c 644s | 16 | 231618 | 173152 | 17089 14 | 11 | 12 647.75/648.00 c 646s | 16 | 232046 | 173552 | 17089 14 | 11 | 12 649.85/650.13 c 648s | 16 | 232398 | 173852 | 17089 14 | 11 | 12 652.05/652.39 c 650s | 16 | 232942 | 174352 | 17089 14 | 11 | 12 654.55/654.86 c 653s | 16 | 233506 | 174852 | 17089 14 | 11 | 12 656.94/657.27 c 655s | 16 | 234070 | 175352 | 17089 14 | 11 | 12 659.24/659.59 c 658s | 16 | 234640 | 175852 | 17089 14 | 11 | 12 661.34/661.67 c 660s | 16 | 235004 | 176152 | 17089 15 | 11 | 12 663.64/663.92 c 662s | 16 | 235551 | 176652 | 17089 15 | 11 | 12 665.83/666.11 c 664s | 16 | 236148 | 177152 | 17089 15 | 11 | 12 668.03/668.31 c 666s | 16 | 236697 | 177652 | 17089 15 | 11 | 12 670.03/670.37 c 668s | 16 | 237249 | 178152 | 17089 15 | 11 | 12 672.13/672.45 c 670s | 16 | 237775 | 178652 | 17089 15 | 11 | 12 674.24/674.53 c 672s | 16 | 238306 | 179152 | 17089 15 | 11 | 12 676.34/676.61 c 675s | 16 | 238843 | 179652 | 17089 15 | 11 | 12 678.74/679.08 c 677s | 16 | 239381 | 180152 | 17089 15 | 11 | 12 681.03/681.39 c 679s | 16 | 239835 | 180552 | 17089 15 | 11 | 12 683.13/683.42 c 681s | 16 | 240379 | 181052 | 17089 15 | 11 | 12 685.23/685.50 c 683s | 16 | 240924 | 181552 | 17089 15 | 11 | 12 687.33/687.66 c 686s | 16 | 241446 | 182052 | 17089 15 | 11 | 12 689.43/689.76 c 688s | 16 | 242006 | 182552 | 17089 15 | 11 | 12 691.92/692.23 c 690s | 16 | 242535 | 183052 | 17089 15 | 11 | 12 694.12/694.40 c 692s | 16 | 243065 | 183552 | 17089 15 | 11 | 12 696.32/696.63 c 695s | 16 | 243628 | 184052 | 17089 15 | 11 | 12 698.73/699.08 c 697s | 16 | 244165 | 184552 | 17089 15 | 11 | 12 701.23/701.50 c 699s | 16 | 244744 | 185052 | 17089 15 | 11 | 12 703.53/703.83 c 702s | 16 | 245327 | 185552 | 17089 15 | 11 | 12 705.72/706.04 c 704s | 16 | 245881 | 186052 | 17089 15 | 11 | 12 708.02/708.34 c 706s | 16 | 246475 | 186552 | 17089 15 | 11 | 12 710.02/710.38 c 708s | 16 | 246889 | 186952 | 17089 15 | 11 | 12 712.42/712.70 c 711s | 16 | 247442 | 187452 | 17089 15 | 11 | 12 714.52/714.85 c 713s | 16 | 248056 | 187952 | 17089 15 | 11 | 12 716.92/717.23 c 715s | 16 | 248603 | 188452 | 17089 15 | 11 | 12 718.91/719.24 c 717s | 16 | 249061 | 188852 | 17089 15 | 11 | 12 720.91/721.27 c 719s | 16 | 249529 | 189252 | 17089 15 | 11 | 12 723.71/724.09 c 722s | 16 | 249977 | 189652 | 17089 16 | 11 | 12 725.91/726.23 c 724s | 16 | 250883 | 190252 | 17089 16 | 11 | 12 728.02/728.38 c 726s | 16 | 251620 | 190852 | 17089 16 | 11 | 12 730.22/730.54 c 728s | 16 | 252320 | 191452 | 17089 16 | 11 | 12 732.21/732.59 c 731s | 16 | 253029 | 192052 | 17089 16 | 11 | 12 734.41/734.76 c 733s | 16 | 253679 | 192652 | 17089 16 | 11 | 12 736.71/737.01 c 735s | 16 | 254231 | 193152 | 17089 16 | 11 | 12 738.71/739.02 c 737s | 16 | 254802 | 193652 | 17089 16 | 11 | 12 740.91/741.27 c 739s | 16 | 255757 | 194352 | 17089 16 | 11 | 12 743.21/743.56 c 741s | 16 | 256404 | 194952 | 17089 16 | 11 | 12 745.52/745.87 c 744s | 16 | 257176 | 195552 | 18798 16 | 11 | 12 747.72/748.06 c 746s | 16 | 257859 | 196152 | 18798 16 | 11 | 12 749.92/750.25 c 748s | 16 | 258518 | 196752 | 18798 16 | 11 | 12 752.22/752.57 c 751s | 16 | 259222 | 197352 | 18798 16 | 11 | 12 752.61/752.92 c 751s | 17 | 259309 | 197432 | 18798 16 | 11 | 12 754.61/754.93 c 753s | 17 | 262430 | 197832 | 18798 17 | 11 | 12 756.81/757.10 c 755s | 17 | 263428 | 198732 | 18798 17 | 11 | 12 759.01/759.33 c 757s | 17 | 264312 | 199532 | 18798 17 | 11 | 12 761.21/761.50 c 759s | 17 | 265156 | 200332 | 18798 17 | 11 | 12 763.41/763.77 c 762s | 17 | 266013 | 201132 | 18798 17 | 11 | 12 765.51/765.80 c 764s | 17 | 266696 | 201732 | 18798 17 | 11 | 12 767.61/767.94 c 766s | 17 | 267434 | 202432 | 18798 17 | 11 | 12 769.71/770.01 c 768s | 17 | 268192 | 203132 | 18798 17 | 11 | 12 771.91/772.22 c 770s | 17 | 268960 | 203832 | 18798 17 | 11 | 12 774.00/774.35 c 772s | 17 | 269597 | 204432 | 18798 17 | 11 | 12 776.10/776.46 c 774s | 17 | 270372 | 205132 | 18798 17 | 11 | 12 778.30/778.68 c 777s | 17 | 271118 | 205832 | 18798 17 | 11 | 12 780.30/780.69 c 779s | 17 | 271803 | 206432 | 18798 17 | 11 | 12 782.70/783.03 c 781s | 17 | 272552 | 207132 | 18798 17 | 11 | 12 784.90/785.22 c 783s | 17 | 273321 | 207832 | 18798 17 | 11 | 12 787.10/787.41 c 785s | 17 | 274051 | 208532 | 18798 17 | 11 | 12 789.30/789.68 c 788s | 17 | 274815 | 209232 | 18798 17 | 11 | 12 791.50/791.84 c 790s | 17 | 275458 | 209832 | 18798 17 | 11 | 12 793.80/794.14 c 792s | 17 | 276098 | 210432 | 18798 17 | 11 | 12 796.00/796.40 c 794s | 17 | 276730 | 211032 | 18798 17 | 11 | 12 798.10/798.44 c 796s | 17 | 277266 | 211532 | 18798 17 | 11 | 12 800.10/800.46 c 798s | 17 | 277791 | 212032 | 18798 17 | 11 | 12 802.20/802.51 c 800s | 17 | 278318 | 212532 | 18798 17 | 11 | 12 804.20/804.58 c 803s | 17 | 278958 | 213132 | 18798 17 | 11 | 12 806.40/806.77 c 805s | 17 | 279586 | 213732 | 18798 17 | 11 | 12 808.60/808.93 c 807s | 17 | 280228 | 214332 | 18798 17 | 11 | 12 810.80/811.18 c 809s | 17 | 280842 | 214932 | 18798 17 | 11 | 12 813.10/813.43 c 811s | 17 | 281469 | 215532 | 18798 17 | 11 | 12 815.30/815.62 c 814s | 17 | 281888 | 215932 | 18798 18 | 11 | 12 817.80/818.17 c 816s | 17 | 282539 | 216532 | 18798 18 | 11 | 12 819.80/820.18 c 818s | 17 | 283162 | 217132 | 18798 18 | 11 | 12 821.90/822.24 c 820s | 17 | 283814 | 217732 | 18798 18 | 11 | 12 824.19/824.50 c 822s | 17 | 284451 | 218332 | 18798 18 | 11 | 12 826.29/826.69 c 825s | 17 | 285081 | 218932 | 18798 18 | 11 | 12 828.69/829.08 c 827s | 17 | 285725 | 219532 | 18798 18 | 11 | 12 831.09/831.43 c 829s | 17 | 286348 | 220132 | 18798 18 | 11 | 12 833.19/833.59 c 832s | 17 | 287018 | 220732 | 18798 18 | 11 | 12 835.49/835.86 c 834s | 17 | 287673 | 221332 | 18798 18 | 11 | 12 837.49/837.89 c 836s | 17 | 288215 | 221832 | 18798 18 | 11 | 12 839.69/840.05 c 838s | 17 | 288732 | 222332 | 18798 18 | 11 | 12 841.89/842.22 c 840s | 17 | 289247 | 222832 | 18798 18 | 11 | 12 843.99/844.34 c 842s | 17 | 289780 | 223332 | 18798 18 | 11 | 12 846.09/846.41 c 844s | 17 | 290305 | 223832 | 18798 18 | 11 | 12 848.29/848.65 c 847s | 17 | 290833 | 224332 | 18798 18 | 11 | 12 850.39/850.71 c 849s | 17 | 291388 | 224832 | 18798 18 | 11 | 12 852.49/852.88 c 851s | 17 | 291909 | 225332 | 18798 18 | 11 | 12 854.99/855.33 c 853s | 17 | 292438 | 225832 | 18798 18 | 11 | 12 857.19/857.58 c 856s | 17 | 292955 | 226332 | 18798 18 | 11 | 12 859.59/859.91 c 858s | 17 | 293597 | 226932 | 18798 18 | 11 | 12 861.79/862.17 c 860s | 17 | 294105 | 227432 | 18798 18 | 11 | 12 864.19/864.52 c 862s | 17 | 294636 | 227932 | 18798 18 | 11 | 12 866.50/866.85 c 865s | 17 | 295177 | 228432 | 18798 18 | 11 | 12 868.49/868.89 c 867s | 17 | 295598 | 228832 | 18798 18 | 11 | 12 870.59/870.97 c 869s | 17 | 296014 | 229232 | 18798 18 | 11 | 12 872.79/873.15 c 871s | 17 | 296434 | 229632 | 18798 18 | 11 | 12 875.09/875.49 c 873s | 17 | 296959 | 230132 | 18798 18 | 11 | 12 877.89/878.22 c 876s | 17 | 297281 | 230432 | 18798 19 | 11 | 12 879.99/880.38 c 878s | 17 | 297709 | 230832 | 18798 19 | 11 | 12 882.48/882.87 c 881s | 17 | 298248 | 231332 | 18798 19 | 11 | 12 884.68/885.04 c 883s | 17 | 298778 | 231832 | 18798 19 | 11 | 12 886.88/887.24 c 885s | 17 | 299420 | 232432 | 18798 19 | 11 | 12 889.18/889.58 c 888s | 17 | 300060 | 233032 | 18798 19 | 11 | 12 891.89/892.23 c 890s | 17 | 300602 | 233532 | 18798 19 | 11 | 12 894.19/894.56 c 893s | 17 | 301237 | 234132 | 18798 19 | 11 | 12 896.39/896.71 c 895s | 17 | 301758 | 234632 | 18798 19 | 11 | 12 898.49/898.86 c 897s | 17 | 302287 | 235132 | 18798 19 | 11 | 12 900.89/901.21 c 899s | 17 | 302816 | 235632 | 18798 19 | 11 | 12 903.18/903.52 c 901s | 17 | 303330 | 236132 | 18798 19 | 11 | 12 905.48/905.84 c 904s | 17 | 303882 | 236632 | 18798 19 | 11 | 12 907.58/907.98 c 906s | 17 | 304414 | 237132 | 18798 19 | 11 | 12 909.98/910.35 c 908s | 17 | 305062 | 237732 | 18798 19 | 11 | 12 912.28/912.63 c 911s | 17 | 305581 | 238232 | 18798 19 | 11 | 12 914.48/914.87 c 913s | 17 | 306138 | 238732 | 18798 19 | 11 | 12 916.68/917.06 c 915s | 17 | 306655 | 239232 | 18798 19 | 11 | 12 918.98/919.37 c 917s | 17 | 307178 | 239732 | 18798 19 | 11 | 12 921.28/921.62 c 920s | 17 | 307720 | 240232 | 18798 19 | 11 | 12 923.69/924.05 c 922s | 17 | 308258 | 240732 | 18798 19 | 11 | 12 925.99/926.37 c 924s | 17 | 308694 | 241132 | 18798 19 | 11 | 12 928.19/928.56 c 927s | 17 | 309208 | 241632 | 18798 19 | 11 | 12 930.68/931.02 c 929s | 17 | 309726 | 242132 | 18798 19 | 11 | 12 932.88/933.23 c 931s | 17 | 310156 | 242532 | 18798 19 | 11 | 12 935.08/935.43 c 933s | 17 | 310681 | 243032 | 18798 19 | 11 | 12 937.38/937.79 c 936s | 17 | 311218 | 243532 | 18798 19 | 11 | 12 939.48/939.88 c 938s | 17 | 311649 | 243932 | 18798 19 | 11 | 12 941.58/941.99 c 940s | 17 | 312065 | 244332 | 18798 19 | 11 | 12 944.08/944.44 c 942s | 17 | 312508 | 244732 | 18798 19 | 11 | 12 946.48/946.87 c 945s | 17 | 312824 | 245032 | 18798 20 | 11 | 12 948.87/949.20 c 947s | 17 | 313249 | 245432 | 18798 20 | 11 | 12 951.07/951.50 c 949s | 17 | 313789 | 245932 | 18798 20 | 11 | 12 953.48/953.82 c 952s | 17 | 314335 | 246432 | 18798 20 | 11 | 12 955.58/955.93 c 954s | 17 | 314873 | 246932 | 18798 20 | 11 | 12 957.88/958.27 c 956s | 17 | 315514 | 247532 | 18798 20 | 11 | 12 959.98/960.40 c 958s | 17 | 316040 | 248032 | 18798 20 | 11 | 12 962.37/962.77 c 961s | 17 | 316686 | 248632 | 18798 20 | 11 | 12 964.57/964.91 c 963s | 17 | 317228 | 249132 | 18798 20 | 11 | 12 967.27/967.67 c 966s | 17 | 317983 | 249832 | 18798 20 | 11 | 12 969.27/969.69 c 968s | 17 | 318530 | 250332 | 18798 20 | 11 | 12 971.47/971.80 c 970s | 17 | 319043 | 250832 | 18798 20 | 11 | 12 973.47/973.80 c 972s | 17 | 319594 | 251332 | 18798 20 | 11 | 12 975.57/975.93 c 974s | 17 | 320133 | 251832 | 18798 20 | 11 | 12 977.77/978.16 c 976s | 17 | 320655 | 252332 | 18798 20 | 11 | 12 980.07/980.47 c 978s | 17 | 321179 | 252832 | 18798 20 | 11 | 12 982.37/982.71 c 981s | 17 | 321714 | 253332 | 18798 20 | 11 | 12 984.57/984.99 c 983s | 17 | 322244 | 253832 | 18798 20 | 11 | 12 987.07/987.41 c 985s | 17 | 322785 | 254332 | 18798 20 | 11 | 12 989.17/989.54 c 987s | 17 | 323334 | 254832 | 18798 20 | 11 | 12 991.27/991.64 c 990s | 17 | 323877 | 255332 | 18798 20 | 11 | 12 993.47/993.84 c 992s | 17 | 324521 | 255932 | 18798 20 | 11 | 12 995.47/995.84 c 994s | 17 | 325053 | 256432 | 18798 20 | 11 | 12 997.77/998.11 c 996s | 17 | 325583 | 256932 | 18798 20 | 11 | 12 999.87/1000.25 c 998s | 17 | 326104 | 257432 | 18798 20 | 11 | 12 1002.07/1002.44 c 1000s | 17 | 326635 | 257932 | 18798 20 | 11 | 12 1004.27/1004.64 c 1003s | 17 | 327179 | 258432 | 18798 20 | 11 | 12 1006.57/1006.92 c 1005s | 17 | 327702 | 258932 | 18798 20 | 11 | 12 1009.37/1009.77 c 1008s | 17 | 328230 | 259432 | 18798 21 | 11 | 12 1011.78/1012.12 c 1010s | 17 | 328857 | 260032 | 18798 21 | 11 | 12 1014.17/1014.50 c 1012s | 17 | 329381 | 260532 | 18798 21 | 11 | 12 1016.17/1016.52 c 1014s | 17 | 329816 | 260932 | 18798 21 | 11 | 12 1018.57/1018.92 c 1017s | 17 | 330492 | 261532 | 18798 21 | 11 | 12 1020.67/1021.01 c 1019s | 17 | 331023 | 262032 | 18798 21 | 11 | 12 1022.67/1023.03 c 1021s | 17 | 331573 | 262532 | 18798 21 | 11 | 12 1025.07/1025.47 c 1023s | 17 | 332206 | 263132 | 18798 21 | 11 | 12 1027.17/1027.60 c 1026s | 17 | 332733 | 263632 | 18798 21 | 11 | 12 1029.27/1029.70 c 1028s | 17 | 333248 | 264132 | 18798 21 | 11 | 12 1031.57/1031.97 c 1030s | 17 | 333773 | 264632 | 18798 21 | 11 | 12 1033.96/1034.39 c 1032s | 17 | 334337 | 265132 | 18798 21 | 11 | 12 1036.26/1036.65 c 1035s | 17 | 334889 | 265632 | 18798 21 | 11 | 12 1038.36/1038.75 c 1037s | 17 | 335422 | 266132 | 18798 21 | 11 | 12 1040.56/1040.95 c 1039s | 17 | 335966 | 266632 | 18798 21 | 11 | 12 1042.57/1042.98 c 1041s | 17 | 336491 | 267132 | 18798 21 | 11 | 12 1044.86/1045.25 c 1043s | 17 | 337127 | 267732 | 18798 21 | 11 | 12 1046.97/1047.33 c 1045s | 17 | 337672 | 268232 | 18798 21 | 11 | 12 1049.07/1049.46 c 1047s | 17 | 338187 | 268732 | 18798 21 | 11 | 12 1051.16/1051.59 c 1050s | 17 | 338725 | 269232 | 18798 21 | 11 | 12 1053.36/1053.76 c 1052s | 17 | 339244 | 269732 | 18798 21 | 11 | 12 1055.56/1055.93 c 1054s | 17 | 339775 | 270232 | 18798 21 | 11 | 12 1057.76/1058.11 c 1056s | 17 | 340290 | 270732 | 18798 21 | 11 | 12 1059.96/1060.39 c 1058s | 17 | 340823 | 271232 | 18798 21 | 11 | 12 1062.27/1062.63 c 1061s | 17 | 341333 | 271732 | 18798 21 | 11 | 12 1064.57/1064.94 c 1063s | 17 | 341884 | 272232 | 18798 21 | 11 | 12 1066.86/1067.20 c 1065s | 17 | 342410 | 272732 | 18798 21 | 11 | 12 1068.97/1069.31 c 1067s | 17 | 342956 | 273232 | 18798 21 | 11 | 12 1071.17/1071.54 c 1069s | 17 | 343483 | 273732 | 18798 21 | 11 | 12 1073.56/1073.90 c 1072s | 17 | 343803 | 274032 | 18798 22 | 11 | 12 1075.75/1076.10 c 1074s | 17 | 344241 | 274432 | 18798 22 | 11 | 12 1078.05/1078.42 c 1076s | 17 | 344853 | 275032 | 18798 22 | 11 | 12 1080.25/1080.62 c 1079s | 17 | 345479 | 275632 | 18798 22 | 11 | 12 1082.65/1083.00 c 1081s | 17 | 346110 | 276232 | 18798 22 | 11 | 12 1084.66/1085.09 c 1083s | 17 | 346627 | 276732 | 18798 22 | 11 | 12 1086.76/1087.16 c 1085s | 17 | 347170 | 277232 | 18798 22 | 11 | 12 1088.86/1089.29 c 1087s | 17 | 347716 | 277732 | 18798 22 | 11 | 12 1091.06/1091.41 c 1089s | 17 | 348245 | 278232 | 18798 22 | 11 | 12 1093.16/1093.55 c 1091s | 17 | 348781 | 278732 | 18798 22 | 11 | 12 1095.46/1095.81 c 1094s | 17 | 349329 | 279232 | 18798 22 | 11 | 12 1097.66/1098.08 c 1096s | 17 | 349855 | 279732 | 18798 22 | 11 | 12 1100.05/1100.40 c 1098s | 17 | 350387 | 280232 | 18798 22 | 11 | 12 1102.45/1102.80 c 1101s | 17 | 350922 | 280732 | 18798 22 | 11 | 12 1104.65/1105.00 c 1103s | 17 | 351460 | 281232 | 18798 22 | 11 | 12 1107.05/1107.40 c 1105s | 17 | 351975 | 281732 | 18798 22 | 11 | 12 1109.25/1109.65 c 1108s | 17 | 352519 | 282232 | 18798 22 | 11 | 12 1111.55/1111.98 c 1110s | 17 | 353050 | 282732 | 18798 22 | 11 | 12 1113.96/1114.40 c 1112s | 17 | 353580 | 283232 | 18798 22 | 11 | 12 1116.05/1116.44 c 1114s | 17 | 354001 | 283632 | 18798 22 | 11 | 12 1118.46/1118.87 c 1117s | 17 | 354520 | 284132 | 18798 22 | 11 | 12 1120.75/1121.19 c 1119s | 17 | 355071 | 284632 | 18798 22 | 11 | 12 1123.05/1123.47 c 1121s | 17 | 355720 | 285232 | 18798 22 | 11 | 12 1125.45/1125.80 c 1124s | 17 | 356370 | 285832 | 18798 22 | 11 | 12 1127.55/1127.90 c 1126s | 17 | 357012 | 286432 | 18798 22 | 11 | 12 1129.65/1130.04 c 1128s | 17 | 357538 | 286932 | 18798 22 | 11 | 12 1131.85/1132.25 c 1130s | 17 | 358072 | 287432 | 18798 22 | 11 | 12 1133.95/1134.36 c 1132s | 17 | 358622 | 287932 | 18798 22 | 11 | 12 1136.05/1136.43 c 1134s | 17 | 359148 | 288432 | 18798 22 | 11 | 12 1138.35/1138.74 c 1137s | 17 | 359466 | 288732 | 18798 23 | 11 | 12 1140.55/1140.98 c 1139s | 17 | 360132 | 289332 | 18798 23 | 11 | 12 1142.75/1143.12 c 1141s | 17 | 360789 | 289932 | 18798 23 | 11 | 12 1144.75/1145.17 c 1143s | 17 | 361442 | 290532 | 18798 23 | 11 | 12 1146.95/1147.38 c 1145s | 17 | 362082 | 291132 | 18798 23 | 11 | 12 1149.15/1149.58 c 1148s | 17 | 362707 | 291732 | 18798 23 | 11 | 12 1151.24/1151.70 c 1150s | 17 | 363233 | 292232 | 18798 23 | 11 | 12 1153.55/1154.00 c 1152s | 17 | 363771 | 292732 | 18798 23 | 11 | 12 1155.94/1156.33 c 1154s | 17 | 364407 | 293332 | 18798 23 | 11 | 12 1158.14/1158.56 c 1157s | 17 | 364923 | 293832 | 20678 23 | 11 | 12 1160.44/1160.88 c 1159s | 17 | 365574 | 294432 | 20678 23 | 11 | 12 1162.64/1163.09 c 1161s | 17 | 366201 | 295032 | 20678 23 | 11 | 12 1165.14/1165.50 c 1163s | 17 | 366816 | 295632 | 20678 23 | 11 | 12 1167.14/1167.51 c 1165s | 17 | 367242 | 296032 | 20678 23 | 11 | 12 1168.14/1168.53 c 1166s | 18 | 367472 | 296252 | 20678 23 | 11 | 12 1170.15/1170.55 c 1168s | 18 | 370490 | 296452 | 20678 24 | 11 | 12 1172.44/1172.86 c 1171s | 18 | 371358 | 297152 | 20678 24 | 11 | 12 1174.74/1175.10 c 1173s | 18 | 372179 | 297852 | 20678 24 | 11 | 12 1176.94/1177.32 c 1175s | 18 | 372894 | 298452 | 20678 24 | 11 | 12 1179.14/1179.56 c 1177s | 18 | 373611 | 299052 | 20678 24 | 11 | 12 1181.24/1181.66 c 1180s | 18 | 374270 | 299552 | 20678 24 | 11 | 12 1183.54/1183.91 c 1182s | 18 | 374853 | 300052 | 20678 24 | 11 | 12 1185.64/1186.05 c 1184s | 18 | 375693 | 300752 | 20678 24 | 11 | 12 1187.74/1188.13 c 1186s | 18 | 376459 | 301352 | 20678 24 | 11 | 12 1189.94/1190.33 c 1188s | 18 | 377191 | 301952 | 20678 24 | 11 | 12 1192.14/1192.51 c 1190s | 18 | 377765 | 302452 | 20678 24 | 11 | 12 1194.43/1194.87 c 1193s | 18 | 378362 | 302952 | 20678 24 | 11 | 12 1196.74/1197.14 c 1195s | 18 | 378934 | 303452 | 20678 24 | 11 | 12 1199.14/1199.54 c 1197s | 18 | 379500 | 303952 | 20678 24 | 11 | 12 1201.54/1201.94 c 1200s | 18 | 380029 | 304452 | 20678 24 | 11 | 12 1203.64/1204.04 c 1202s | 18 | 380638 | 304952 | 20678 24 | 11 | 12 1205.94/1206.35 c 1204s | 18 | 381198 | 305452 | 20678 24 | 11 | 12 1207.94/1208.39 c 1206s | 18 | 381813 | 305952 | 20678 24 | 11 | 12 1210.14/1210.58 c 1209s | 18 | 382381 | 306452 | 20678 24 | 11 | 12 1212.54/1212.98 c 1211s | 18 | 383057 | 307052 | 20678 24 | 11 | 12 1214.64/1215.06 c 1213s | 18 | 383663 | 307552 | 20678 24 | 11 | 12 1217.04/1217.43 c 1215s | 18 | 384247 | 308052 | 20678 24 | 11 | 12 1219.44/1219.89 c 1218s | 18 | 384843 | 308552 | 20678 24 | 11 | 12 1221.84/1222.22 c 1220s | 18 | 385415 | 309052 | 20678 24 | 11 | 12 1224.04/1224.42 c 1222s | 18 | 386045 | 309552 | 20678 24 | 11 | 12 1226.33/1226.73 c 1225s | 18 | 386770 | 310152 | 20678 24 | 11 | 12 1228.73/1229.12 c 1227s | 18 | 387515 | 310752 | 20678 24 | 11 | 12 1231.13/1231.58 c 1230s | 18 | 388133 | 311252 | 20678 24 | 11 | 12 1233.53/1233.90 c 1232s | 18 | 388774 | 311752 | 20678 24 | 11 | 12 1235.53/1235.97 c 1234s | 18 | 389272 | 312152 | 20678 24 | 11 | 12 1237.63/1238.08 c 1236s | 18 | 389739 | 312552 | 20678 24 | 11 | 12 1240.03/1240.49 c 1238s | 18 | 390377 | 313052 | 20678 24 | 11 | 12 1242.53/1242.98 c 1241s | 18 | 390992 | 313552 | 20678 24 | 11 | 12 1245.03/1245.44 c 1243s | 18 | 391561 | 314052 | 20678 24 | 11 | 12 1247.03/1247.44 c 1245s | 18 | 392029 | 314452 | 20678 24 | 11 | 12 1249.33/1249.77 c 1248s | 18 | 392484 | 314852 | 20678 24 | 11 | 12 1251.44/1251.86 c 1250s | 18 | 392967 | 315252 | 20678 24 | 11 | 12 1253.64/1254.07 c 1252s | 18 | 393576 | 315752 | 20678 24 | 11 | 12 1255.94/1256.36 c 1254s | 18 | 393938 | 316052 | 20678 25 | 11 | 12 1258.04/1258.42 c 1256s | 18 | 394397 | 316452 | 20678 25 | 11 | 12 1260.24/1260.66 c 1259s | 18 | 394859 | 316852 | 20678 25 | 11 | 12 1262.44/1262.82 c 1261s | 18 | 395304 | 317252 | 20678 25 | 11 | 12 1264.53/1265.00 c 1263s | 18 | 395760 | 317652 | 20678 25 | 11 | 12 1267.03/1267.41 c 1265s | 18 | 396234 | 318052 | 20678 25 | 11 | 12 1269.43/1269.87 c 1268s | 18 | 396656 | 318452 | 20678 25 | 11 | 12 1271.72/1272.13 c 1270s | 18 | 397154 | 318852 | 20678 25 | 11 | 12 1273.72/1274.14 c 1272s | 18 | 397662 | 319252 | 20678 25 | 11 | 12 1275.82/1276.26 c 1274s | 18 | 398178 | 319652 | 20678 25 | 11 | 12 1278.42/1278.86 c 1277s | 18 | 398773 | 320152 | 20678 25 | 11 | 12 1280.62/1281.02 c 1279s | 18 | 399254 | 320552 | 20678 25 | 11 | 12 1282.72/1283.11 c 1281s | 18 | 399706 | 320952 | 20678 25 | 11 | 12 1285.12/1285.55 c 1283s | 18 | 400321 | 321452 | 20678 25 | 11 | 12 1287.12/1287.59 c 1286s | 18 | 400784 | 321852 | 20678 25 | 11 | 12 1289.62/1290.03 c 1288s | 18 | 401259 | 322252 | 20678 25 | 11 | 12 1292.03/1292.40 c 1290s | 18 | 401854 | 322752 | 20678 25 | 11 | 12 1294.33/1294.73 c 1293s | 18 | 402313 | 323152 | 20678 25 | 11 | 12 1296.82/1297.21 c 1295s | 18 | 402747 | 323552 | 20678 25 | 11 | 12 1299.02/1299.45 c 1297s | 18 | 403202 | 323952 | 20678 25 | 11 | 12 1301.22/1301.62 c 1300s | 18 | 403648 | 324352 | 20678 25 | 11 | 12 1303.42/1303.87 c 1302s | 18 | 404122 | 324752 | 20678 25 | 11 | 12 1305.82/1306.22 c 1304s | 18 | 404547 | 325152 | 20678 25 | 11 | 12 1308.22/1308.63 c 1307s | 18 | 405001 | 325552 | 20678 25 | 11 | 12 1310.52/1310.97 c 1309s | 18 | 405467 | 325952 | 20678 25 | 11 | 12 1312.61/1313.02 c 1311s | 18 | 405789 | 326252 | 20678 25 | 11 | 12 1315.02/1315.42 c 1313s | 18 | 406234 | 326652 | 20678 25 | 11 | 12 1317.62/1318.04 c 1316s | 18 | 406690 | 327052 | 20678 25 | 11 | 12 1320.02/1320.40 c 1318s | 18 | 407157 | 327452 | 20678 25 | 11 | 12 1322.02/1322.45 c 1320s | 18 | 407498 | 327752 | 20678 25 | 11 | 12 1324.62/1325.04 c 1323s | 18 | 407936 | 328152 | 20678 25 | 11 | 12 1327.22/1327.67 c 1326s | 18 | 408378 | 328552 | 20678 25 | 11 | 12 1329.82/1330.29 c 1328s | 18 | 408867 | 328952 | 20678 25 | 11 | 12 1332.12/1332.52 c 1330s | 18 | 409186 | 329252 | 20678 25 | 11 | 12 1334.22/1334.64 c 1333s | 18 | 409521 | 329552 | 20678 25 | 11 | 12 1336.81/1337.29 c 1335s | 18 | 409958 | 329952 | 20678 25 | 11 | 12 1339.01/1339.42 c 1337s | 18 | 410277 | 330252 | 20678 25 | 11 | 12 1341.11/1341.59 c 1340s | 18 | 410606 | 330552 | 20678 25 | 11 | 12 1343.21/1343.65 c 1342s | 18 | 410925 | 330852 | 20678 25 | 11 | 12 1345.92/1346.34 c 1344s | 18 | 411391 | 331252 | 20678 25 | 11 | 12 1348.42/1348.87 c 1347s | 18 | 411495 | 331352 | 20678 26 | 11 | 12 1350.61/1351.03 c 1349s | 18 | 411954 | 331752 | 20678 26 | 11 | 12 1353.01/1353.42 c 1351s | 18 | 412314 | 332052 | 20678 26 | 11 | 12 1355.22/1355.66 c 1354s | 18 | 412948 | 332552 | 20678 26 | 11 | 12 1357.31/1357.78 c 1356s | 18 | 413429 | 332952 | 20678 26 | 11 | 12 1360.11/1360.52 c 1358s | 18 | 414033 | 333452 | 20678 26 | 11 | 12 1362.21/1362.68 c 1361s | 18 | 414497 | 333852 | 20678 26 | 11 | 12 1364.81/1365.27 c 1363s | 18 | 414942 | 334252 | 20678 26 | 11 | 12 1367.51/1367.92 c 1366s | 18 | 415373 | 334652 | 20678 26 | 11 | 12 1369.91/1370.37 c 1368s | 18 | 415811 | 335052 | 20678 26 | 11 | 12 1372.42/1372.81 c 1371s | 18 | 416271 | 335452 | 20678 26 | 11 | 12 1374.81/1375.24 c 1373s | 18 | 416725 | 335852 | 20678 26 | 11 | 12 1377.31/1377.73 c 1376s | 18 | 417182 | 336252 | 20678 26 | 11 | 12 1379.61/1380.02 c 1378s | 18 | 417637 | 336652 | 20678 26 | 11 | 12 1381.61/1382.07 c 1380s | 18 | 417965 | 336952 | 20678 26 | 11 | 12 1384.01/1384.43 c 1382s | 18 | 418417 | 337352 | 20678 26 | 11 | 12 1386.51/1386.92 c 1385s | 18 | 418851 | 337752 | 20678 26 | 11 | 12 1389.01/1389.44 c 1387s | 18 | 419259 | 338152 | 20678 26 | 11 | 12 1391.71/1392.15 c 1390s | 18 | 419697 | 338552 | 20678 26 | 11 | 12 1394.01/1394.48 c 1392s | 18 | 420140 | 338952 | 20678 26 | 11 | 12 1396.61/1397.05 c 1395s | 18 | 420575 | 339352 | 20678 26 | 11 | 12 1398.81/1399.21 c 1397s | 18 | 420895 | 339652 | 20678 26 | 11 | 12 1400.80/1401.25 c 1399s | 18 | 421255 | 339952 | 20678 26 | 11 | 12 1403.40/1403.86 c 1402s | 18 | 421687 | 340352 | 20678 26 | 11 | 12 1406.10/1406.50 c 1404s | 18 | 422115 | 340752 | 20678 26 | 11 | 12 1408.40/1408.86 c 1407s | 18 | 422609 | 341152 | 20678 26 | 11 | 12 1410.50/1410.97 c 1409s | 18 | 422927 | 341452 | 20678 26 | 11 | 12 1413.00/1413.48 c 1411s | 18 | 423419 | 341852 | 20678 26 | 11 | 12 1415.50/1415.92 c 1414s | 18 | 423849 | 342252 | 20678 26 | 11 | 12 1417.51/1417.98 c 1416s | 18 | 424190 | 342552 | 20678 26 | 11 | 12 1419.61/1420.07 c 1418s | 18 | 424524 | 342852 | 20678 26 | 11 | 12 1421.80/1422.27 c 1420s | 18 | 424855 | 343152 | 20678 26 | 11 | 12 1424.11/1424.60 c 1423s | 18 | 425369 | 343552 | 20678 26 | 11 | 12 1426.31/1426.74 c 1425s | 18 | 425892 | 343952 | 20678 26 | 11 | 12 1428.40/1428.80 c 1427s | 18 | 426406 | 344352 | 20678 26 | 11 | 12 1430.60/1431.04 c 1429s | 18 | 426845 | 344752 | 20678 26 | 11 | 12 1432.80/1433.27 c 1431s | 18 | 427273 | 345152 | 20678 26 | 11 | 12 1435.00/1435.50 c 1433s | 18 | 427713 | 345552 | 20678 26 | 11 | 12 1437.40/1437.83 c 1436s | 18 | 428156 | 345952 | 20678 26 | 11 | 12 1439.70/1440.13 c 1438s | 18 | 428617 | 346352 | 20678 26 | 11 | 12 1443.30/1443.75 c 1442s | 18 | 429073 | 346752 | 20678 27 | 11 | 12 1445.50/1445.98 c 1444s | 18 | 429549 | 347152 | 20678 27 | 11 | 12 1448.00/1448.44 c 1446s | 18 | 430105 | 347652 | 20678 27 | 11 | 12 1450.20/1450.65 c 1449s | 18 | 430541 | 348052 | 20678 27 | 11 | 12 1452.60/1453.04 c 1451s | 18 | 430991 | 348452 | 20678 27 | 11 | 12 1454.69/1455.13 c 1453s | 18 | 431592 | 348952 | 20678 27 | 11 | 12 1456.79/1457.25 c 1455s | 18 | 432093 | 349352 | 20678 27 | 11 | 12 1458.79/1459.26 c 1457s | 18 | 432734 | 349852 | 20678 27 | 11 | 12 1460.90/1461.31 c 1459s | 18 | 433330 | 350352 | 20678 27 | 11 | 12 1463.30/1463.75 c 1462s | 18 | 433948 | 350852 | 20678 27 | 11 | 12 1465.30/1465.79 c 1464s | 18 | 434395 | 351252 | 20678 27 | 11 | 12 1467.70/1468.14 c 1466s | 18 | 434971 | 351752 | 20678 27 | 11 | 12 1470.00/1470.43 c 1468s | 18 | 435543 | 352252 | 20678 27 | 11 | 12 1472.40/1472.87 c 1471s | 18 | 436168 | 352752 | 20678 27 | 11 | 12 1474.60/1475.10 c 1473s | 18 | 436769 | 353252 | 20678 27 | 11 | 12 1477.10/1477.54 c 1475s | 18 | 437347 | 353752 | 20678 27 | 11 | 12 1479.10/1479.56 c 1478s | 18 | 437826 | 354152 | 20678 27 | 11 | 12 1481.30/1481.72 c 1480s | 18 | 438277 | 354552 | 20678 27 | 11 | 12 1483.69/1484.12 c 1482s | 18 | 438729 | 354952 | 20678 27 | 11 | 12 1485.99/1486.45 c 1484s | 18 | 439170 | 355352 | 20678 27 | 11 | 12 1488.09/1488.58 c 1487s | 18 | 439625 | 355752 | 20678 27 | 11 | 12 1490.69/1491.14 c 1489s | 18 | 440103 | 356152 | 20678 27 | 11 | 12 1493.09/1493.58 c 1492s | 18 | 440554 | 356552 | 20678 27 | 11 | 12 1495.49/1495.99 c 1494s | 18 | 440988 | 356952 | 20678 27 | 11 | 12 1497.69/1498.17 c 1496s | 18 | 441482 | 357352 | 20678 27 | 11 | 12 1499.79/1500.23 c 1498s | 18 | 441944 | 357752 | 20678 27 | 11 | 12 1502.30/1502.73 c 1501s | 18 | 442391 | 358152 | 20678 27 | 11 | 12 1504.69/1505.19 c 1503s | 18 | 442855 | 358552 | 20678 27 | 11 | 12 1507.29/1507.76 c 1506s | 18 | 443290 | 358952 | 20678 27 | 11 | 12 1509.89/1510.33 c 1508s | 18 | 443747 | 359352 | 20678 27 | 11 | 12 1511.89/1512.39 c 1510s | 18 | 444324 | 359852 | 20678 27 | 11 | 12 1514.39/1514.81 c 1513s | 18 | 444751 | 360252 | 20678 27 | 11 | 12 1516.68/1517.15 c 1515s | 18 | 445196 | 360652 | 20678 27 | 11 | 12 1518.98/1519.45 c 1517s | 18 | 445640 | 361052 | 20678 27 | 11 | 12 1521.48/1521.91 c 1520s | 18 | 446075 | 361452 | 20678 27 | 11 | 12 1523.78/1524.21 c 1522s | 18 | 446527 | 361852 | 20678 27 | 11 | 12 1527.49/1527.91 c 1526s | 18 | 446973 | 362252 | 20678 28 | 11 | 12 1529.59/1530.02 c 1528s | 18 | 447332 | 362552 | 20678 28 | 11 | 12 1531.99/1532.45 c 1530s | 18 | 447820 | 362952 | 20678 28 | 11 | 12 1534.49/1534.97 c 1533s | 18 | 448267 | 363352 | 20678 28 | 11 | 12 1536.59/1537.00 c 1535s | 18 | 448599 | 363652 | 20678 28 | 11 | 12 1539.09/1539.52 c 1537s | 18 | 449198 | 364152 | 20678 28 | 11 | 12 1541.19/1541.62 c 1540s | 18 | 449822 | 364652 | 20678 28 | 11 | 12 1543.19/1543.65 c 1542s | 18 | 450307 | 365052 | 20678 28 | 11 | 12 1545.68/1546.19 c 1544s | 18 | 450921 | 365552 | 20678 28 | 11 | 12 1547.88/1548.32 c 1546s | 18 | 451377 | 365952 | 20678 28 | 11 | 12 1549.98/1550.42 c 1548s | 18 | 451826 | 366352 | 20678 28 | 11 | 12 1551.98/1552.48 c 1550s | 18 | 452402 | 366852 | 20678 28 | 11 | 12 1553.99/1554.50 c 1552s | 18 | 453072 | 367352 | 20678 28 | 11 | 12 1556.48/1556.90 c 1555s | 18 | 453700 | 367852 | 20678 28 | 11 | 12 1558.68/1559.15 c 1557s | 18 | 454156 | 368252 | 20678 28 | 11 | 12 1560.88/1561.35 c 1559s | 18 | 454629 | 368652 | 20678 28 | 11 | 12 1563.09/1563.51 c 1561s | 18 | 455078 | 369052 | 20678 28 | 11 | 12 1565.39/1565.83 c 1564s | 18 | 455715 | 369552 | 20678 28 | 11 | 12 1567.58/1568.00 c 1566s | 18 | 456186 | 369952 | 20678 28 | 11 | 12 1569.58/1570.05 c 1568s | 18 | 456815 | 370452 | 20678 28 | 11 | 12 1571.68/1572.11 c 1570s | 18 | 457406 | 370952 | 20678 28 | 11 | 12 1573.98/1574.43 c 1572s | 18 | 457992 | 371452 | 20678 28 | 11 | 12 1576.48/1576.99 c 1575s | 18 | 458435 | 371852 | 20678 28 | 11 | 12 1578.88/1579.36 c 1577s | 18 | 459016 | 372352 | 20678 28 | 11 | 12 1581.39/1581.83 c 1580s | 18 | 459480 | 372752 | 20678 28 | 11 | 12 1583.48/1583.98 c 1582s | 18 | 459935 | 373152 | 20678 28 | 11 | 12 1585.98/1586.47 c 1584s | 18 | 460503 | 373652 | 20678 28 | 11 | 12 1588.28/1588.71 c 1587s | 18 | 460941 | 374052 | 20678 28 | 11 | 12 1590.88/1591.31 c 1589s | 18 | 461384 | 374452 | 20678 28 | 11 | 12 1592.87/1593.32 c 1591s | 18 | 461712 | 374752 | 20678 28 | 11 | 12 1595.48/1595.98 c 1594s | 18 | 462152 | 375152 | 20678 28 | 11 | 12 1597.98/1598.46 c 1596s | 18 | 462757 | 375652 | 20678 28 | 11 | 12 1600.38/1600.88 c 1599s | 18 | 463342 | 376152 | 20678 28 | 11 | 12 1602.78/1603.27 c 1601s | 18 | 463995 | 376652 | 20678 28 | 11 | 12 1605.17/1605.62 c 1604s | 18 | 464657 | 377152 | 20678 28 | 11 | 12 1607.57/1608.09 c 1606s | 18 | 465138 | 377552 | 20678 28 | 11 | 12 1610.67/1611.18 c 1609s | 18 | 465399 | 377752 | 20678 29 | 11 | 12 1612.88/1613.30 c 1611s | 18 | 465972 | 378252 | 20678 29 | 11 | 12 1615.58/1616.02 c 1614s | 18 | 466580 | 378752 | 20678 29 | 11 | 12 1617.98/1618.40 c 1616s | 18 | 467197 | 379252 | 20678 29 | 11 | 12 1620.68/1621.11 c 1619s | 18 | 467806 | 379752 | 20678 29 | 11 | 12 1623.07/1623.56 c 1621s | 18 | 468395 | 380252 | 20678 29 | 11 | 12 1625.27/1625.70 c 1624s | 18 | 468862 | 380652 | 20678 29 | 11 | 12 1627.68/1628.11 c 1626s | 18 | 469337 | 381052 | 20678 29 | 11 | 12 1630.07/1630.53 c 1628s | 18 | 469953 | 381552 | 20678 29 | 11 | 12 1632.47/1632.97 c 1631s | 18 | 470528 | 382052 | 20678 29 | 11 | 12 1634.87/1635.33 c 1633s | 18 | 471150 | 382552 | 20678 29 | 11 | 12 1636.97/1637.47 c 1635s | 18 | 471596 | 382952 | 20678 29 | 11 | 12 1639.37/1639.80 c 1638s | 18 | 472027 | 383352 | 20678 29 | 11 | 12 1641.77/1642.21 c 1640s | 18 | 472493 | 383752 | 20678 29 | 11 | 12 1644.07/1644.56 c 1643s | 18 | 472956 | 384152 | 20678 29 | 11 | 12 1646.37/1646.87 c 1645s | 18 | 473431 | 384552 | 20678 29 | 11 | 12 1648.87/1649.35 c 1647s | 18 | 473903 | 384952 | 20678 29 | 11 | 12 1651.37/1651.81 c 1650s | 18 | 474371 | 385352 | 20678 29 | 11 | 12 1653.46/1653.94 c 1652s | 18 | 474805 | 385752 | 20678 29 | 11 | 12 1655.76/1656.28 c 1654s | 18 | 475247 | 386152 | 20678 29 | 11 | 12 1657.86/1658.32 c 1656s | 18 | 475713 | 386552 | 20678 29 | 11 | 12 1659.97/1660.41 c 1658s | 18 | 476178 | 386952 | 20678 29 | 11 | 12 1662.17/1662.68 c 1661s | 18 | 476611 | 387352 | 20678 29 | 11 | 12 1664.47/1664.99 c 1663s | 18 | 477041 | 387752 | 20678 29 | 11 | 12 1666.76/1667.20 c 1665s | 18 | 477526 | 388152 | 20678 29 | 11 | 12 1669.16/1669.61 c 1668s | 18 | 477971 | 388552 | 20678 29 | 11 | 12 1671.76/1672.22 c 1670s | 18 | 478411 | 388952 | 20678 29 | 11 | 12 1674.16/1674.61 c 1673s | 18 | 478852 | 389352 | 20678 29 | 11 | 12 1676.36/1676.85 c 1675s | 18 | 479317 | 389752 | 20678 29 | 11 | 12 1678.66/1679.18 c 1677s | 18 | 479782 | 390152 | 20678 29 | 11 | 12 1681.06/1681.52 c 1679s | 18 | 480267 | 390552 | 20678 29 | 11 | 12 1683.56/1684.07 c 1682s | 18 | 480740 | 390952 | 20678 29 | 11 | 12 1685.66/1686.16 c 1684s | 18 | 481097 | 391252 | 20678 29 | 11 | 12 1688.47/1688.91 c 1687s | 18 | 481544 | 391652 | 20678 29 | 11 | 12 1690.47/1690.93 c 1689s | 18 | 481893 | 391952 | 20678 29 | 11 | 12 1692.57/1693.03 c 1691s | 18 | 482241 | 392252 | 20678 29 | 11 | 12 1695.16/1695.64 c 1694s | 18 | 482692 | 392652 | 20678 29 | 11 | 12 1698.96/1699.46 c 1697s | 18 | 483180 | 393052 | 20678 30 | 11 | 12 1701.16/1701.63 c 1700s | 18 | 483646 | 393452 | 20678 30 | 11 | 12 1703.16/1703.69 c 1702s | 18 | 484113 | 393852 | 20678 30 | 11 | 12 1705.56/1706.08 c 1704s | 18 | 484770 | 394352 | 20678 30 | 11 | 12 1707.96/1708.42 c 1706s | 18 | 485373 | 394852 | 20678 30 | 11 | 12 1710.16/1710.68 c 1709s | 18 | 486017 | 395352 | 20678 30 | 11 | 12 1712.46/1712.90 c 1711s | 18 | 486456 | 395752 | 20678 30 | 11 | 12 1714.56/1715.09 c 1713s | 18 | 486917 | 396152 | 20678 30 | 11 | 12 1716.76/1717.29 c 1715s | 18 | 487366 | 396552 | 20678 30 | 11 | 12 1718.96/1719.46 c 1717s | 18 | 487876 | 396952 | 20678 30 | 11 | 12 1721.55/1722.01 c 1720s | 18 | 488459 | 397452 | 20678 30 | 11 | 12 1723.66/1724.12 c 1722s | 18 | 488927 | 397852 | 20678 30 | 11 | 12 1725.76/1726.22 c 1724s | 18 | 489382 | 398252 | 20678 30 | 11 | 12 1728.16/1728.66 c 1727s | 18 | 489982 | 398752 | 20678 30 | 11 | 12 1730.65/1731.16 c 1729s | 18 | 490576 | 399252 | 20678 30 | 11 | 12 1733.06/1733.56 c 1732s | 18 | 491176 | 399752 | 20678 30 | 11 | 12 1735.26/1735.75 c 1734s | 18 | 491617 | 400152 | 20678 30 | 11 | 12 1737.45/1737.94 c 1736s | 18 | 492030 | 400552 | 20678 30 | 11 | 12 1739.76/1740.28 c 1738s | 18 | 492499 | 400952 | 20678 30 | 11 | 12 1742.06/1742.52 c 1740s | 18 | 492933 | 401352 | 20678 30 | 11 | 12 1744.45/1744.95 c 1743s | 18 | 493544 | 401852 | 20678 30 | 11 | 12 1746.55/1747.06 c 1745s | 18 | 494143 | 402352 | 20678 30 | 11 | 12 1748.95/1749.45 c 1747s | 18 | 494746 | 402852 | 20678 30 | 11 | 12 1751.35/1751.80 c 1750s | 18 | 495194 | 403252 | 20678 30 | 11 | 12 1753.65/1754.11 c 1752s | 18 | 495644 | 403652 | 20678 30 | 11 | 12 1756.15/1756.61 c 1755s | 18 | 496245 | 404152 | 20678 30 | 11 | 12 1758.35/1758.84 c 1757s | 18 | 496698 | 404552 | 20678 30 | 11 | 12 1760.55/1761.00 c 1759s | 18 | 497137 | 404952 | 20678 30 | 11 | 12 1762.76/1763.22 c 1761s | 18 | 497575 | 405352 | 20678 30 | 11 | 12 1765.06/1765.51 c 1763s | 18 | 498046 | 405752 | 20678 30 | 11 | 12 1767.05/1767.58 c 1766s | 18 | 498517 | 406152 | 20678 30 | 11 | 12 1769.35/1769.90 c 1768s | 18 | 498962 | 406552 | 20678 30 | 11 | 12 1771.85/1772.37 c 1770s | 18 | 499448 | 406952 | 20678 30 | 11 | 12 1774.45/1774.91 c 1773s | 18 | 499895 | 407352 | 20678 30 | 11 | 12 1776.95/1777.48 c 1775s | 18 | 500333 | 407752 | 20678 30 | 11 | 12 1779.65/1780.12 c 1778s | 18 | 500792 | 408152 | 20678 30 | 11 | 12 1783.05/1783.51 c 1781s | 18 | 501125 | 408452 | 20678 31 | 11 | 12 1785.34/1785.82 c 1784s | 18 | 501587 | 408852 | 20678 31 | 11 | 12 1787.85/1788.31 c 1786s | 18 | 502203 | 409352 | 20678 31 | 11 | 12 1790.05/1790.58 c 1789s | 18 | 502741 | 409852 | 20678 31 | 11 | 12 1792.44/1792.95 c 1791s | 18 | 503320 | 410352 | 20678 31 | 11 | 12 1794.55/1795.08 c 1793s | 18 | 503752 | 410752 | 20678 31 | 11 | 12 1796.95/1797.47 c 1795s | 18 | 504653 | 411452 | 20678 31 | 11 | 12 1799.44/1799.97 c 1798s | 18 | 505269 | 411952 | 20678 31 | 11 | 12
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-4119888-1467279512/watcher-4119888-1467279512 -o /tmp/evaluation-result-4119888-1467279512/solver-4119888-1467279512 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467279512-9191 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119888-1467279512.opb pid=9207 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: 1.28 1.21 1.33 3/171 9210 /proc/meminfo: memFree=28394584/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=312764 CPUtime=0 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 1093 0 0 0 0 0 0 0 20 0 4 0 6978825 320270336 1453 33554432000 4194304 16246674 140736234768464 140736234767888 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 78703 1461 441 2943 0 75597 0 [pid=9210/tid=9211] ppid=9207 vsize=328124 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 335998976 1517 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=332220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 340193280 1531 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=336316 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6978826 344387584 1546 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.10015 s] /proc/loadavg: 1.28 1.21 1.33 3/171 9210 /proc/meminfo: memFree=28394584/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 28122 0 0 0 5 4 0 0 20 0 4 0 6978825 1333334016 28421 33554432000 4194304 16246674 140736234768464 140736234767776 7364033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 325521 28435 800 2943 0 322415 0 [pid=9210/tid=9211] ppid=9207 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 1333334016 28446 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 1333334016 28458 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 1333334016 28469 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200473 s] /proc/loadavg: 1.28 1.21 1.33 3/171 9210 /proc/meminfo: memFree=28394584/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=1314372 CPUtime=0.19 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 47922 0 0 0 12 7 0 0 20 0 4 0 6978825 1345916928 48220 33554432000 4194304 16246674 140736234768464 140736234767776 5595932 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 328593 48220 834 2943 0 325487 0 [pid=9210/tid=9211] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 48220 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 48220 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 48220 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.30044 s] /proc/loadavg: 1.28 1.21 1.33 3/171 9210 /proc/meminfo: memFree=28394584/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=1314372 CPUtime=0.28 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 50373 0 0 0 21 7 0 0 20 0 4 0 6978825 1345916928 50671 33554432000 4194304 16246674 140736234768464 140736234767776 13781192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 328593 50671 889 2943 0 325487 0 [pid=9210/tid=9211] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 50671 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 50671 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 50671 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1314372 [startup+0.700368 s] /proc/loadavg: 1.28 1.21 1.33 3/171 9210 /proc/meminfo: memFree=28394584/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 73078 0 0 0 58 11 0 0 20 0 4 0 6978825 1345916928 73376 33554432000 4194304 16246674 140736234768464 140736234750336 5724527 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 328593 73376 892 2943 0 325487 0 [pid=9210/tid=9211] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 73376 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 73376 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 73376 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50042 s] /proc/loadavg: 1.42 1.24 1.34 3/183 9227 /proc/meminfo: memFree=27856360/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 95051 0 0 0 135 14 0 0 20 0 4 0 6978825 1345916928 95349 33554432000 4194304 16246674 140736234768464 140736234751456 5532218 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 328593 95349 916 2943 0 325487 0 [pid=9210/tid=9211] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 95349 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 95349 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 95349 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.1004 s] /proc/loadavg: 1.42 1.24 1.34 3/183 9227 /proc/meminfo: memFree=27617412/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=1314372 CPUtime=3.09 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 194914 0 0 0 281 28 0 0 20 0 4 0 6978825 1345916928 195213 33554432000 4194304 16246674 140736234768464 140736234750336 5587389 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 328593 195226 916 2943 0 325487 0 [pid=9210/tid=9211] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 195234 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 195242 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 195249 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1314372 [startup+6.30042 s] /proc/loadavg: 1.42 1.24 1.34 3/183 9227 /proc/meminfo: memFree=26918800/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=1314372 CPUtime=6.28 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 269809 0 0 0 590 38 0 0 20 0 4 0 6978825 1345916928 270107 33554432000 4194304 16246674 140736234768464 140736234750336 5545708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 328593 270107 916 2943 0 325487 0 [pid=9210/tid=9211] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270107 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270107 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270107 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1314372 [startup+12.7004 s] /proc/loadavg: 1.51 1.26 1.35 3/183 9227 /proc/meminfo: memFree=26918956/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=1314372 CPUtime=12.68 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 269809 0 0 0 1230 38 0 0 20 0 4 0 6978825 1345916928 270107 33554432000 4194304 16246674 140736234768464 140736234750336 5711369 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 328593 270107 916 2943 0 325487 0 [pid=9210/tid=9211] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270107 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270107 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270107 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1314372 [startup+25.5005 s] /proc/loadavg: 1.58 1.29 1.35 4/183 9227 /proc/meminfo: memFree=26920204/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=1314372 CPUtime=25.48 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 269813 0 0 0 2510 38 0 0 20 0 4 0 6978825 1345916928 270113 33554432000 4194304 16246674 140736234768464 140736234750336 5711518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 328593 270113 919 2943 0 325487 0 [pid=9210/tid=9211] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270113 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270113 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270113 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1314372 [startup+51.1005 s] /proc/loadavg: 1.78 1.36 1.37 3/183 9227 /proc/meminfo: memFree=26920420/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=1314372 CPUtime=51.08 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 269816 0 0 0 5069 39 0 0 20 0 4 0 6978825 1345916928 270114 33554432000 4194304 16246674 140736234768464 140736234750336 5711697 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 328593 270114 920 2943 0 325487 0 [pid=9210/tid=9211] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270114 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270114 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270114 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1314372 [startup+102.3 s] /proc/loadavg: 2.17 1.54 1.43 3/184 9231 /proc/meminfo: memFree=26593644/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=1314372 CPUtime=102.27 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 269823 0 0 0 10188 39 0 0 20 0 4 0 6978825 1345916928 270115 33554432000 4194304 16246674 140736234768464 140736234750336 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 328593 270115 921 2943 0 325487 0 [pid=9210/tid=9211] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270115 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270115 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 1345916928 270115 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1314372 ################ # More data... # ################ /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 1792610304 379044 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1750596 [startup+1362.3 s] /proc/loadavg: 2.17 2.21 2.01 3/184 9285 /proc/meminfo: memFree=25128744/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=2014788 CPUtime=1361.91 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 445191 0 0 0 136102 89 0 0 20 0 4 0 6978825 2063142912 445166 33554432000 4194304 16246674 140736234768464 140736234750336 6010264 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 503697 445166 921 2943 0 500591 0 [pid=9210/tid=9211] ppid=9207 vsize=2014788 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 2063142912 445166 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=2014788 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 2063142912 445166 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=2014788 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 2063142912 445166 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 2014788 [startup+1422.3 s] /proc/loadavg: 2.35 2.25 2.03 4/183 9286 /proc/meminfo: memFree=24957428/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=2014788 CPUtime=1421.91 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 445191 0 0 0 142100 91 0 0 20 0 4 0 6978825 2063142912 445166 33554432000 4194304 16246674 140736234768464 140736234750336 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 503697 445166 921 2943 0 500591 0 [pid=9210/tid=9211] ppid=9207 vsize=2014788 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 2063142912 445166 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=2014788 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 2063142912 445166 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=2014788 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 2063142912 445166 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 2014788 [startup+1482.3 s] /proc/loadavg: 2.31 2.26 2.05 3/183 9288 /proc/meminfo: memFree=24851492/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=2014788 CPUtime=1481.89 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 445244 0 0 0 148095 94 0 0 20 0 4 0 6978825 2063142912 445219 33554432000 4194304 16246674 140736234768464 140736234767640 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 503697 445219 921 2943 0 500591 0 [pid=9210/tid=9211] ppid=9207 vsize=2014788 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 2063142912 445219 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=2014788 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 2063142912 445219 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=2014788 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 2063142912 445219 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 2014788 [startup+1542.31 s] /proc/loadavg: 2.23 2.25 2.06 3/183 9289 /proc/meminfo: memFree=24723064/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=2020932 CPUtime=1541.89 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 446627 0 0 0 154089 100 0 0 20 0 4 0 6978825 2069434368 446602 33554432000 4194304 16246674 140736234768464 140736234750336 5711636 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 505233 446602 921 2943 0 502127 0 [pid=9210/tid=9211] ppid=9207 vsize=2020932 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 2069434368 446602 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=2020932 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 2069434368 446602 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=2020932 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 2069434368 446602 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 2020932 [startup+1602.3 s] /proc/loadavg: 2.30 2.26 2.07 4/183 9290 /proc/meminfo: memFree=24687956/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=2020932 CPUtime=1601.88 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 446627 0 0 0 160084 104 0 0 20 0 4 0 6978825 2069434368 446602 33554432000 4194304 16246674 140736234768464 140736234767640 5712536 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 505233 446602 921 2943 0 502127 0 [pid=9210/tid=9211] ppid=9207 vsize=2020932 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 2069434368 446602 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=2020932 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 2069434368 446602 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=2020932 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 2069434368 446602 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 2020932 [startup+1662.3 s] /proc/loadavg: 2.20 2.24 2.08 3/183 9291 /proc/meminfo: memFree=24441352/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=2161220 CPUtime=1661.87 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 481693 0 0 0 166075 112 0 0 20 0 4 0 6978825 2213089280 481668 33554432000 4194304 16246674 140736234768464 140736234767640 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 540305 481668 921 2943 0 537199 0 [pid=9210/tid=9211] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481668 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481668 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481668 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 2161220 [startup+1722.3 s] /proc/loadavg: 2.16 2.22 2.08 4/183 9292 /proc/meminfo: memFree=24404096/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=2161220 CPUtime=1721.85 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 481852 0 0 0 172070 115 0 0 20 0 4 0 6978825 2213089280 481827 33554432000 4194304 16246674 140736234768464 140736234750336 5711636 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 540305 481827 921 2943 0 537199 0 [pid=9210/tid=9211] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481827 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481827 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481827 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 2161220 [startup+1782.3 s] /proc/loadavg: 2.21 2.23 2.09 4/183 9294 /proc/meminfo: memFree=24363640/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=2161220 CPUtime=1781.85 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 481852 0 0 0 178066 119 0 0 20 0 4 0 6978825 2213089280 481827 33554432000 4194304 16246674 140736234768464 140736234767640 5861864 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 540305 481827 921 2943 0 537199 0 [pid=9210/tid=9211] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481827 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481827 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481827 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 2161220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.16 2.21 2.09 3/183 9294 /proc/meminfo: memFree=24286208/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=2161220 CPUtime=1800.04 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 481852 0 0 0 179881 123 0 0 20 0 4 0 6978825 2213089280 481827 33554432000 4194304 16246674 140736234768464 140736234750336 5712619 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 540305 481827 921 2943 0 537199 0 [pid=9210/tid=9211] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481827 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481827 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481827 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2161220 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 9210 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.16 2.21 2.09 3/183 9294 /proc/meminfo: memFree=24286208/32872528 swapFree=1555460/1718980 [pid=9210] ppid=9207 vsize=2161220 CPUtime=1800.04 cores=1,3,5,7 /proc/9210/stat : 9210 (toysat) R 9207 9210 8332 0 -1 4202496 481852 0 0 0 179881 123 0 0 20 0 4 0 6978825 2213089280 481827 33554432000 4194304 16246674 140736234768464 140736234750336 5712619 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9210/statm: 540305 481827 921 2943 0 537199 0 [pid=9210/tid=9211] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9211/stat : 9211 (toysat) S 9207 9210 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481827 33554432000 4194304 16246674 140736234768464 140335288134896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=9210/tid=9212] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9212/stat : 9212 (toysat) S 9207 9210 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481827 33554432000 4194304 16246674 140736234768464 140335277645040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=9210/tid=9213] ppid=9207 vsize=2161220 CPUtime=0 cores=1,3,5,7 /proc/9210/task/9213/stat : 9213 (toysat) S 9207 9210 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978826 2213089280 481827 33554432000 4194304 16246674 140736234768464 140335267171504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2161220 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.55 CPU time (s): 1800.1 CPU user time (s): 1798.82 CPU system time (s): 1.27981 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 2161220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.82 system time used= 1.27981 maximum resident set size= 1927308 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 481852 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= 340 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.45302 second user time and 9.63354 second system time The end
Begin job on node117 at 2016-06-30 11:38:32 IDJOB=4119888 IDBENCH=111817 IDSOLVER=2542 FILE ID=node117/4119888-1467279512 RUNJOBID= node117-1467279512-9191 PBS_JOBID= 20004501 Free space on /tmp= 71624 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119888-1467279512/watcher-4119888-1467279512 -o /tmp/evaluation-result-4119888-1467279512/solver-4119888-1467279512 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467279512-9191 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119888-1467279512.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ab5ea8306af8700174d1bacaebcc6943 RANDOM SEED=1655151497 node117.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.714 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.42 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.714 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.714 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.45 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.714 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.714 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.714 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.714 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.714 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28407504 kB Buffers: 136272 kB Cached: 1848064 kB SwapCached: 0 kB Active: 195204 kB Inactive: 1803240 kB Active(anon): 15844 kB Inactive(anon): 236 kB Active(file): 179360 kB Inactive(file): 1803004 kB Unevictable: 1718980 kB Mlocked: 1555460 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 18636 kB Writeback: 0 kB AnonPages: 1787484 kB Mapped: 13896 kB Shmem: 204 kB Slab: 613004 kB SReclaimable: 57688 kB SUnreclaim: 555316 kB KernelStack: 1416 kB PageTables: 7456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1818212 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 221184 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= 71592 MiB End job on node117 at 2016-06-30 12:08:33