Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd84.b.opb |
| MD5SUM | 6560abb26f607ef952ebe1a74dd5dae1 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 0.487925 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | YES |
| Number of variables | 1009 |
| Total number of constraints | 3773 |
| Number of constraints which are clauses | 3773 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 5 |
| Maximum length of a constraint | 446 |
| Number of terms in the objective function | 1009 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1009 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1009 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T21:44: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-4079723-1465242272.opb"] 0.00/0.01 c use --random-gen="2054992850 4276742132 2925957832 3888734736 1734888734 668301812 1114020783 1543435426 2524807670 3792473417 4189290428 1887383579 1007558589 4096529646 1595696860 3594151890 4214402446 4155260830 1820030158 2886494735 2700916632 2939189198 4069531222 1646045073 127605333 4211064080 2462907859 175964734 2397709018 2967415760 2625692629 2478137401 539092989 1831239387 2855355393 554034698 768078511 3559668701 1885838552 2446814841 1374641926 1665030062 3474507013 3630358487 1232532416 2312121087 2879764130 3933973554 3553651375 3991650960 3783164872 1796312797 3152248490 1614694324 1248794063 806640726 2327848815 2602933519 684415344 2327769129 1111944509 3220587560 1628432388 1052157730 1662430300 1588605045 175640562 3367479394 3105673952 2091868804 896579942 437247183 2037141921 3104694961 2055283534 2972747048 4280807032 1058351691 2558300284 1954111945 2873404925 185154492 3844108783 226440682 2357285502 2231594578 2985725125 2209573961 2876970992 2207453188 906456880 2026427836 4152738785 3544680668 3396540735 3119367247 3292466209 1883552365 3554853975 3767744113 3779244796 2213458451 435856421 881584772 1978977773 288704478 913863798 2151941319 3509916176 3320644381 2121236795 1449826689 2029429526 4219389648 3283994048 3701043212 3412225451 420408463 4131693332 1514548149 3798877146 2720676438 3472332480 4007395767 755410638 3517903008 2659125383 885579520 1870837858 3420893609 3551081295 1525672756 3877207722 1090635366 3645350839 2624324668 921539486 3340949406 477226918 4079202909 4170432295 4049260354 847441838 3199636713 3832115914 1340755269 3614439162 348706112 4205460561 3493754839 4268042384 825435715 2508136014 2868551377 3299584539 2342397927 2488239726 696736570 3454218163 3319136521 2828113740 2972736361 2809650749 1695490787 1781873562 4048179458 407404991 2215211942 1933435759 1355806025 1308240782 1602981223 3997733799 3520154234 4025486354 894372259 1995676804 323792518 2302429116 3351024853 3434714746 3507897556 2147799674 3750963099 2138147918 3980014918 4276886480 2498944582 4248189643 2474124338 493681150 3280220068 4099872754 2233175917 3366988625 2447900998 39501842 1729496347 3833102476 3028988934 391715880 2646933285 3963970331 2301368374 2718461675 1844651621 2301542846 3930783725 679063926 127719798 592849018 3765430001 3690004823 3444093383 3143575135 1999718683 2673546120 3986005059 1413157973 3974565003 3270128637 603313502 3372483207 4032159518 3461911394 1141062838 3824629666 2013065413 129674818 1304342481 2615108343 936219852 3218836737 3108315192 3291055219 4145976763 190014529 2555192868 2174447427 424909941 2988019108 1441690923 3878311733 704680977 2801061404 3642928057 653725497 4099045228 2531884953 931544275 1974791445 866146606 322449224 272879678 2078867767 1306279987 255 362436" option to reproduce the execution 0.39/0.47 c #vars 1009 0.39/0.47 c #constraints 3773 0.99/1.09 c BCD2: Hardening is enabled. 0.99/1.09 c BCD2: BiasedSearch is enabled. 0.99/1.09 c Solving starts ... 0.99/1.09 c ============================[ Search Statistics ]============================ 0.99/1.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.09 c | | | | Limit GC | Var | Constra 0.99/1.09 c ============================================================================= 0.99/1.09 c 0.0s | 0 | 0 | 0 | 1594 0 | 0 | 0 1.09/1.13 c 0.0s | 0 | 1009 | 0 | 1594 0 | 0 | 0 1.09/1.13 c #cpu_time = 0.034s 1.09/1.13 c #wall_clock_time = 0.034s 1.09/1.13 c #decision = 1009 1.09/1.13 c #random_decision = 3 1.09/1.13 c #conflict = 0 1.09/1.13 c #restart = 0 1.09/1.13 o 1009 1.09/1.13 c BCD2: updating upper bound: 1009 -> 1008 1.09/1.13 c BCD2: 0 <= obj <= 1008 1.09/1.13 c BCD2: #cores=0, #unrelaxed=1009, #relaxed=0, #hardened=0 1.09/1.13 c BCD2: #sat=1 #unsat=1 bias=1/2 1.09/1.13 c Solving starts ... 1.09/1.13 c ============================[ Search Statistics ]============================ 1.09/1.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.13 c | | | | Limit GC | Var | Constra 1.09/1.13 c ============================================================================= 1.09/1.13 c 0.0s | 0 | 0 | 0 | 1594 0 | 0 | 0 1.09/1.16 c 0.0s | 0 | 779 | 0 | 1594 0 | 0 | 0 1.09/1.16 c #cpu_time = 0.031s 1.09/1.16 c #wall_clock_time = 0.031s 1.09/1.16 c #decision = 779 1.09/1.16 c #random_decision = 0 1.09/1.16 c #conflict = 0 1.09/1.16 c #restart = 0 1.09/1.16 c BCD2: found a new core of size 26: cost of the new core is >=1 1.09/1.16 c lower bound updated to 1 1.09/1.16 c BCD2: 1 <= obj <= 1008 1.09/1.16 c BCD2: #cores=1, #unrelaxed=983, #relaxed=26, #hardened=0 1.09/1.16 c BCD2: #sat=1 #unsat=2 bias=2/3 1.09/1.16 c Solving starts ... 1.09/1.16 c ============================[ Search Statistics ]============================ 1.09/1.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.16 c | | | | Limit GC | Var | Constra 1.09/1.16 c ============================================================================= 1.09/1.16 c 0.0s | 0 | 0 | 0 | 1594 0 | 0 | 0 1.09/1.19 c 0.0s | 0 | 883 | 1 | 1594 0 | 0 | 0 1.09/1.19 c #cpu_time = 0.031s 1.09/1.19 c #wall_clock_time = 0.031s 1.09/1.19 c #decision = 883 1.09/1.19 c #random_decision = 0 1.09/1.19 c #conflict = 1 1.09/1.19 c #restart = 0 1.09/1.19 c BCD2: found a new core of size 288: cost of the new core is >=1 1.09/1.19 c lower bound updated to 2 1.09/1.20 c BCD2: 2 <= obj <= 1008 1.09/1.20 c BCD2: #cores=2, #unrelaxed=695, #relaxed=314, #hardened=0 1.09/1.20 c BCD2: #sat=1 #unsat=3 bias=3/4 1.09/1.20 c Solving starts ... 1.09/1.20 c ============================[ Search Statistics ]============================ 1.09/1.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.20 c | | | | Limit GC | Var | Constra 1.09/1.20 c ============================================================================= 1.09/1.20 c 0.0s | 0 | 0 | 0 | 1594 0 | 0 | 0 1.19/1.23 c 0.0s | 0 | 694 | 0 | 1594 0 | 0 | 0 1.19/1.23 c #cpu_time = 0.033s 1.19/1.23 c #wall_clock_time = 0.033s 1.19/1.23 c #decision = 694 1.19/1.23 c #random_decision = 0 1.19/1.23 c #conflict = 0 1.19/1.23 c #restart = 0 1.19/1.23 c BCD2: found a new core of size 40: cost of the new core is >=1 1.19/1.23 c lower bound updated to 3 1.19/1.31 c BCD2: 3 <= obj <= 1008 1.19/1.31 c BCD2: #cores=3, #unrelaxed=655, #relaxed=354, #hardened=0 1.19/1.31 c BCD2: #sat=1 #unsat=4 bias=4/5 1.30/1.31 c Solving starts ... 1.30/1.31 c ============================[ Search Statistics ]============================ 1.30/1.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.30/1.31 c | | | | Limit GC | Var | Constra 1.30/1.31 c ============================================================================= 1.30/1.31 c 0.0s | 0 | 0 | 0 | 1594 0 | 0 | 2 1.30/1.33 c 0.0s | 0 | 928 | 0 | 1594 0 | 0 | 2 1.30/1.33 c #cpu_time = 0.021s 1.30/1.33 c #wall_clock_time = 0.021s 1.30/1.33 c #decision = 928 1.30/1.33 c #random_decision = 0 1.30/1.33 c #conflict = 0 1.30/1.33 c #restart = 0 1.30/1.33 o 15 1.30/1.33 c BCD2: updating upper bound: 1008 -> 14 1.30/1.33 c BCD2: 3 <= obj <= 14 1.30/1.33 c BCD2: #cores=3, #unrelaxed=655, #relaxed=354, #hardened=0 1.30/1.33 c BCD2: #sat=2 #unsat=4 bias=4/6 1.30/1.33 c Solving starts ... 1.30/1.33 c ============================[ Search Statistics ]============================ 1.30/1.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.30/1.33 c | | | | Limit GC | Var | Constra 1.30/1.33 c ============================================================================= 1.30/1.33 c 0.0s | 0 | 0 | 0 | 1594 0 | 0 | 3 1.39/1.47 c 0.1s | 1 | 1489 | 100 | 1754 0 | 0 | 3 1.59/1.65 c 0.3s | 2 | 3901 | 250 | 1754 0 | 0 | 3 1.59/1.69 c 0.4s | 2 | 5032 | 287 | 1930 0 | 0 | 3 1.59/1.69 c #cpu_time = 0.360s 1.59/1.69 c #wall_clock_time = 0.361s 1.59/1.69 c #decision = 5032 1.59/1.69 c #random_decision = 8 1.59/1.69 c #conflict = 287 1.59/1.69 c #restart = 2 1.59/1.69 o 10 1.59/1.69 c BCD2: updating upper bound: 14 -> 9 1.69/1.70 c BCD2: 3 <= obj <= 9 1.69/1.70 c BCD2: #cores=3, #unrelaxed=655, #relaxed=354, #hardened=0 1.69/1.70 c BCD2: #sat=3 #unsat=4 bias=4/7 1.69/1.70 c Solving starts ... 1.69/1.70 c ============================[ Search Statistics ]============================ 1.69/1.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.70 c | | | | Limit GC | Var | Constra 1.69/1.70 c ============================================================================= 1.69/1.70 c 0.0s | 0 | 0 | 0 | 1930 0 | 0 | 4 1.69/1.79 c 0.1s | 1 | 2231 | 100 | 1930 0 | 0 | 4 1.89/1.93 c 0.2s | 2 | 4294 | 250 | 2123 0 | 0 | 4 2.09/2.13 c 0.4s | 3 | 8492 | 475 | 2123 0 | 0 | 4 2.49/2.51 c 0.8s | 4 | 12513 | 813 | 2336 0 | 0 | 4 3.09/3.13 c 1.4s | 5 | 17846 | 1320 | 2570 0 | 0 | 4 3.89/3.92 c 2.2s | 6 | 24840 | 2081 | 2828 0 | 0 | 4 5.09/5.11 c 3.4s | 7 | 37750 | 3223 | 3111 0 | 0 | 4 6.80/6.83 c 5.1s | 8 | 45980 | 4936 | 3423 1 | 0 | 4 7.49/7.56 c 5.9s | 8 | 50390 | 5494 | 3423 2 | 0 | 4 7.49/7.56 c #cpu_time = 5.845s 7.49/7.56 c #wall_clock_time = 5.860s 7.49/7.56 c #decision = 50390 7.49/7.56 c #random_decision = 135 7.49/7.56 c #conflict = 5494 7.49/7.56 c #restart = 8 7.49/7.56 c BCD2: relaxing 612 and merging with 3 cores into a new core of size 966: cost of the new core is >=4 7.49/7.56 c lower bound updated to 4 7.49/7.56 c BCD2: 4 <= obj <= 9 7.49/7.56 c BCD2: #cores=1, #unrelaxed=43, #relaxed=966, #hardened=0 7.49/7.56 c BCD2: #sat=3 #unsat=5 bias=5/8 7.49/7.57 c Solving starts ... 7.49/7.57 c ============================[ Search Statistics ]============================ 7.49/7.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.49/7.57 c | | | | Limit GC | Var | Constra 7.49/7.57 c ============================================================================= 7.49/7.57 c 0.0s | 0 | 0 | 0 | 3423 0 | 12 | 4 7.80/7.87 c 0.3s | 1 | 1033 | 100 | 3423 0 | 12 | 25 8.19/8.29 c 0.7s | 2 | 6839 | 250 | 3423 0 | 12 | 25 8.79/8.84 c 1.3s | 3 | 14161 | 475 | 3423 0 | 12 | 25 9.29/9.33 c 1.8s | 4 | 17929 | 813 | 3423 0 | 12 | 25 9.99/10.05 c 2.5s | 5 | 21890 | 1320 | 3423 0 | 12 | 25 10.99/11.06 c 3.5s | 6 | 25016 | 2081 | 3766 0 | 12 | 25 12.98/13.07 c 5.5s | 6 | 33430 | 3181 | 3766 0 | 12 | 25 13.08/13.13 c 5.6s | 7 | 34061 | 3223 | 3766 0 | 12 | 25 15.49/15.55 c 8.0s | 7 | 46638 | 4323 | 3766 1 | 12 | 25 16.48/16.55 c 9.0s | 8 | 54443 | 4936 | 3766 1 | 12 | 25 18.58/18.66 c 11.1s | 8 | 68611 | 6036 | 4143 1 | 12 | 25 20.68/20.75 c 13.2s | 8 | 77721 | 7136 | 4143 2 | 12 | 25 21.18/21.29 c 13.7s | 9 | 81373 | 7506 | 4143 2 | 12 | 25 23.29/23.34 c 15.8s | 9 | 93501 | 8506 | 4143 3 | 12 | 25 25.39/25.43 c 17.9s | 9 | 105858 | 9706 | 4143 3 | 12 | 25 27.48/27.50 c 19.9s | 9 | 117886 | 10906 | 4143 4 | 12 | 25 28.38/28.45 c 20.9s | 10 | 121441 | 11361 | 4558 4 | 12 | 25 30.48/30.55 c 23.0s | 10 | 128945 | 12761 | 4558 4 | 12 | 25 32.68/32.71 c 25.1s | 10 | 136587 | 14061 | 4558 5 | 12 | 25 34.78/34.89 c 27.3s | 10 | 165881 | 14761 | 4558 5 | 12 | 25 36.88/36.98 c 29.4s | 10 | 181421 | 15961 | 4558 6 | 12 | 25 39.18/39.25 c 31.7s | 10 | 206092 | 17061 | 4558 6 | 12 | 25 39.58/39.60 c 32.0s | 11 | 207407 | 17144 | 4558 6 | 12 | 25 41.58/41.60 c 34.0s | 11 | 216793 | 18144 | 4558 7 | 12 | 25 43.68/43.78 c 36.2s | 11 | 235460 | 19244 | 4558 7 | 12 | 25 45.78/45.83 c 38.3s | 11 | 242453 | 20344 | 5014 7 | 12 | 25 47.88/47.95 c 40.4s | 11 | 259723 | 21144 | 5014 8 | 12 | 25 50.18/50.23 c 42.7s | 11 | 274908 | 22144 | 5014 8 | 12 | 25 52.38/52.41 c 44.8s | 11 | 290394 | 23044 | 5014 9 | 12 | 25 54.38/54.47 c 46.9s | 11 | 315016 | 24144 | 5014 9 | 12 | 25 57.08/57.16 c 49.6s | 11 | 336504 | 24844 | 5014 9 | 12 | 25 58.99/59.09 c 51.5s | 12 | 346996 | 25819 | 5014 10 | 12 | 25 61.18/61.27 c 53.7s | 12 | 357766 | 26819 | 5014 10 | 12 | 25 63.28/63.30 c 55.7s | 12 | 385557 | 27719 | 5014 10 | 12 | 25 65.28/65.40 c 57.8s | 12 | 393746 | 28519 | 5014 11 | 12 | 25 67.38/67.44 c 59.9s | 12 | 412029 | 29519 | 5014 11 | 12 | 25 69.58/69.67 c 62.1s | 12 | 420783 | 30519 | 5014 11 | 12 | 25 71.59/71.68 c 64.1s | 12 | 430098 | 31419 | 5014 12 | 12 | 25 73.58/73.68 c 66.1s | 12 | 439820 | 32519 | 5014 12 | 12 | 25 75.68/75.75 c 68.2s | 12 | 446950 | 33119 | 5516 12 | 12 | 25 77.88/77.96 c 70.4s | 12 | 461061 | 34119 | 5516 13 | 12 | 25 79.98/80.04 c 72.5s | 12 | 468377 | 35019 | 5516 13 | 12 | 25 81.98/82.09 c 74.5s | 12 | 474236 | 35919 | 5516 13 | 12 | 25 84.08/84.10 c 76.5s | 12 | 479601 | 36619 | 5516 13 | 12 | 25 86.08/86.15 c 78.6s | 12 | 490142 | 37319 | 5516 14 | 12 | 25 88.38/88.41 c 80.8s | 12 | 494334 | 37919 | 5516 14 | 12 | 25 90.39/90.45 c 82.9s | 12 | 499210 | 38619 | 5516 14 | 12 | 25 90.98/91.00 c 83.4s | 13 | 500619 | 38832 | 5516 14 | 12 | 25 93.38/93.46 c 85.9s | 13 | 521771 | 39632 | 5516 14 | 12 | 25 95.38/95.49 c 87.9s | 13 | 532455 | 40232 | 5516 15 | 12 | 25 97.68/97.70 c 90.1s | 13 | 544034 | 40932 | 5516 15 | 12 | 25 99.68/99.76 c 92.2s | 13 | 554722 | 41432 | 5516 15 | 12 | 25 101.88/101.95 c 94.4s | 13 | 567062 | 42132 | 5516 15 | 12 | 25 103.98/104.05 c 96.5s | 13 | 574898 | 42932 | 5516 16 | 12 | 25 105.98/106.05 c 98.5s | 13 | 582733 | 44032 | 5516 16 | 12 | 25 108.08/108.17 c 100s | 13 | 589588 | 44932 | 5516 16 | 12 | 25 110.19/110.23 c 102s | 13 | 599477 | 45732 | 5516 17 | 12 | 25 112.28/112.40 c 104s | 13 | 621761 | 46332 | 5516 17 | 12 | 25 114.48/114.57 c 107s | 13 | 634828 | 47132 | 5516 17 | 12 | 25 116.58/116.70 c 109s | 13 | 646405 | 48032 | 5516 17 | 12 | 25 118.77/118.84 c 111s | 13 | 659773 | 49032 | 5516 18 | 12 | 25 120.87/120.97 c 113s | 13 | 672323 | 49832 | 5516 18 | 12 | 25 122.97/123.00 c 115s | 13 | 679194 | 50832 | 5516 18 | 12 | 25 125.17/125.27 c 117s | 13 | 699229 | 51532 | 5516 19 | 12 | 25 127.27/127.39 c 119s | 13 | 715615 | 52132 | 5516 19 | 12 | 25 129.47/129.59 c 122s | 13 | 724785 | 53032 | 6068 19 | 12 | 25 131.57/131.68 c 124s | 13 | 732464 | 54132 | 6068 19 | 12 | 25 133.67/133.78 c 126s | 13 | 740948 | 55032 | 6068 20 | 12 | 25 135.97/136.02 c 128s | 13 | 759070 | 55732 | 6068 20 | 12 | 25 138.17/138.23 c 130s | 13 | 777216 | 56432 | 6068 20 | 12 | 25 140.17/140.29 c 132s | 13 | 799946 | 57132 | 6068 20 | 12 | 25 142.47/142.58 c 135s | 13 | 816151 | 58132 | 6068 21 | 12 | 25 142.87/142.93 c 135s | 14 | 818623 | 58352 | 6068 21 | 12 | 25 144.87/144.96 c 137s | 14 | 827621 | 59052 | 6068 21 | 12 | 25 147.07/147.13 c 139s | 14 | 839003 | 60052 | 6068 21 | 12 | 25 149.47/149.59 c 142s | 14 | 851953 | 60852 | 6068 22 | 12 | 25 151.57/151.61 c 144s | 14 | 862273 | 61752 | 6068 22 | 12 | 25 153.67/153.72 c 146s | 14 | 876820 | 62452 | 6068 22 | 12 | 25 155.87/155.98 c 148s | 14 | 888312 | 63152 | 6068 22 | 12 | 25 158.07/158.17 c 150s | 14 | 898524 | 64052 | 6068 23 | 12 | 25 160.37/160.48 c 152s | 14 | 913075 | 64852 | 6068 23 | 12 | 25 162.47/162.51 c 154s | 14 | 921412 | 65752 | 6068 23 | 12 | 25 164.57/164.68 c 157s | 14 | 933995 | 66552 | 6068 23 | 12 | 25 166.57/166.69 c 159s | 14 | 944323 | 67252 | 6068 24 | 12 | 25 168.67/168.77 c 161s | 14 | 952027 | 68152 | 6068 24 | 12 | 25 170.87/170.91 c 163s | 14 | 960293 | 69352 | 6068 24 | 12 | 25 173.07/173.13 c 165s | 14 | 970114 | 70252 | 6068 24 | 12 | 25 175.17/175.27 c 167s | 14 | 972476 | 70952 | 6068 25 | 12 | 25 177.28/177.37 c 169s | 14 | 977897 | 71952 | 6068 25 | 12 | 25 179.66/179.71 c 172s | 14 | 981376 | 72652 | 6068 25 | 12 | 25 181.67/181.76 c 174s | 14 | 987473 | 73652 | 6068 26 | 12 | 25 183.77/183.81 c 176s | 14 | 994497 | 74652 | 6068 26 | 12 | 25 185.86/185.98 c 178s | 14 | 1007777 | 75852 | 6068 26 | 12 | 25 187.96/188.04 c 180s | 14 | 1012927 | 76652 | 6068 27 | 12 | 25 189.96/190.05 c 182s | 14 | 1025851 | 77452 | 6068 27 | 12 | 25 192.16/192.21 c 184s | 14 | 1030751 | 78352 | 6068 27 | 12 | 25 194.26/194.37 c 186s | 14 | 1038757 | 79352 | 6068 27 | 12 | 25 196.36/196.49 c 188s | 14 | 1044648 | 80252 | 6068 28 | 12 | 25 198.56/198.62 c 191s | 14 | 1051053 | 81052 | 6068 28 | 12 | 25 200.56/200.63 c 193s | 14 | 1059696 | 82052 | 6675 28 | 12 | 25 202.66/202.72 c 195s | 14 | 1073270 | 82952 | 6675 28 | 12 | 25 204.67/204.78 c 197s | 14 | 1081830 | 83852 | 6675 29 | 12 | 25 206.97/207.03 c 199s | 14 | 1089383 | 85152 | 6675 29 | 12 | 25 209.07/209.14 c 201s | 14 | 1093429 | 86052 | 6675 29 | 12 | 25 211.06/211.16 c 203s | 14 | 1099205 | 86852 | 6675 29 | 12 | 25 213.26/213.33 c 205s | 15 | 1105864 | 87632 | 6675 30 | 12 | 25 215.36/215.42 c 207s | 15 | 1109159 | 88532 | 6675 30 | 12 | 25 217.46/217.50 c 209s | 15 | 1113174 | 89532 | 6675 30 | 12 | 25 219.56/219.62 c 212s | 15 | 1116610 | 90332 | 6675 30 | 12 | 25 221.66/221.75 c 214s | 15 | 1123556 | 91132 | 6675 31 | 12 | 25 223.86/223.93 c 216s | 15 | 1134248 | 91832 | 6675 31 | 12 | 25 225.95/226.08 c 218s | 15 | 1143709 | 92832 | 6675 31 | 12 | 25 228.25/228.33 c 220s | 15 | 1163964 | 93732 | 6675 32 | 12 | 25 230.46/230.59 c 223s | 15 | 1177003 | 94832 | 6675 32 | 12 | 25 232.55/232.68 c 225s | 15 | 1190833 | 95732 | 6675 32 | 12 | 25 234.75/234.89 c 227s | 15 | 1201120 | 96732 | 6675 32 | 12 | 25 236.95/237.06 c 229s | 15 | 1211562 | 97332 | 6675 33 | 12 | 25 239.05/239.10 c 231s | 15 | 1224439 | 98032 | 6675 33 | 12 | 25 241.15/241.27 c 233s | 15 | 1237049 | 98732 | 6675 33 | 12 | 25 244.05/244.10 c 236s | 15 | 1250162 | 99732 | 6675 33 | 12 | 25 246.35/246.44 c 238s | 15 | 1262763 | 100332 | 6675 33 | 12 | 25 248.66/248.80 c 241s | 15 | 1273464 | 101432 | 6675 34 | 12 | 25 250.86/250.92 c 243s | 15 | 1280692 | 102232 | 6675 34 | 12 | 25 252.95/253.02 c 245s | 15 | 1294214 | 103132 | 6675 34 | 12 | 25 255.05/255.16 c 247s | 15 | 1301899 | 104132 | 6675 35 | 12 | 25 257.05/257.19 c 249s | 15 | 1317842 | 104732 | 6675 35 | 12 | 25 259.85/259.94 c 252s | 15 | 1337008 | 105532 | 6675 35 | 12 | 25 262.05/262.19 c 254s | 15 | 1352367 | 106432 | 6675 35 | 12 | 25 264.16/264.23 c 256s | 15 | 1366335 | 107432 | 6675 35 | 12 | 25 266.36/266.48 c 258s | 15 | 1378293 | 108432 | 6675 36 | 12 | 25 268.46/268.60 c 261s | 15 | 1385348 | 109232 | 6675 36 | 12 | 25 270.55/270.63 c 263s | 15 | 1392427 | 110232 | 6675 36 | 12 | 25 272.85/272.91 c 265s | 15 | 1403464 | 111132 | 6675 37 | 12 | 25 275.05/275.11 c 267s | 15 | 1411604 | 111932 | 6675 37 | 12 | 25 277.05/277.15 c 269s | 15 | 1419396 | 112632 | 6675 37 | 12 | 25 279.05/279.16 c 271s | 15 | 1425534 | 113632 | 6675 37 | 12 | 25 281.15/281.27 c 273s | 15 | 1430093 | 114332 | 6675 37 | 12 | 25 283.15/283.27 c 275s | 15 | 1434013 | 115032 | 6675 38 | 12 | 25 285.34/285.43 c 277s | 15 | 1438254 | 115632 | 6675 38 | 12 | 25 287.34/287.45 c 279s | 15 | 1442124 | 116332 | 6675 38 | 12 | 25 289.45/289.57 c 282s | 15 | 1447303 | 117132 | 6675 38 | 12 | 25 291.55/291.64 c 284s | 15 | 1450905 | 118132 | 6675 39 | 12 | 25 293.54/293.69 c 286s | 15 | 1458738 | 119032 | 6675 39 | 12 | 25 295.64/295.75 c 288s | 15 | 1466117 | 120132 | 6675 39 | 12 | 25 297.84/297.92 c 290s | 15 | 1475806 | 120932 | 6675 39 | 12 | 25 299.84/299.98 c 292s | 15 | 1484356 | 121732 | 6675 40 | 12 | 25 301.84/302.00 c 294s | 15 | 1492289 | 122732 | 6675 40 | 12 | 25 304.14/304.23 c 296s | 15 | 1501965 | 123632 | 6675 40 | 12 | 25 306.24/306.34 c 298s | 15 | 1512590 | 124332 | 6675 40 | 12 | 25 308.74/308.89 c 301s | 15 | 1531146 | 125032 | 7343 41 | 12 | 25 311.24/311.35 c 303s | 15 | 1546976 | 125732 | 7343 41 | 12 | 25 313.24/313.37 c 305s | 15 | 1555570 | 126632 | 7343 41 | 12 | 25 315.24/315.38 c 307s | 15 | 1573456 | 127232 | 7343 41 | 12 | 25 317.34/317.45 c 309s | 15 | 1587034 | 128132 | 7343 41 | 12 | 25 319.64/319.77 c 312s | 15 | 1605695 | 128732 | 7343 41 | 12 | 25 321.74/321.86 c 314s | 15 | 1620158 | 129032 | 7343 42 | 12 | 25 323.94/324.03 c 316s | 15 | 1635360 | 129932 | 7343 42 | 12 | 25 326.14/326.23 c 318s | 15 | 1647931 | 130932 | 7343 42 | 12 | 25 327.74/327.89 c 320s | 16 | 1656292 | 131552 | 7343 42 | 12 | 25 330.04/330.13 c 322s | 16 | 1667109 | 132252 | 7343 42 | 12 | 25 332.14/332.25 c 324s | 16 | 1681966 | 133152 | 7343 43 | 12 | 25 334.24/334.31 c 326s | 16 | 1693186 | 134152 | 7343 43 | 12 | 25 336.34/336.48 c 328s | 16 | 1702806 | 135152 | 7343 43 | 12 | 25 338.44/338.59 c 331s | 16 | 1710295 | 136452 | 7343 44 | 12 | 25 340.54/340.65 c 333s | 16 | 1719243 | 137652 | 7343 44 | 12 | 25 342.54/342.65 c 335s | 16 | 1726603 | 138752 | 7343 44 | 12 | 25 344.74/344.87 c 337s | 16 | 1733591 | 139952 | 7343 45 | 12 | 25 346.84/346.97 c 339s | 16 | 1745085 | 141152 | 7343 45 | 12 | 25 348.94/349.04 c 341s | 16 | 1766596 | 142052 | 7343 45 | 12 | 25 351.04/351.16 c 343s | 16 | 1781455 | 143152 | 7343 45 | 12 | 25 353.14/353.29 c 345s | 16 | 1791573 | 144052 | 7343 46 | 12 | 25 355.23/355.32 c 347s | 16 | 1799530 | 145352 | 7343 46 | 12 | 25 357.23/357.38 c 349s | 16 | 1806768 | 146252 | 7343 46 | 12 | 25 359.33/359.45 c 351s | 16 | 1813369 | 147452 | 7343 46 | 12 | 25 361.33/361.48 c 353s | 16 | 1820692 | 148652 | 7343 47 | 12 | 25 363.63/363.75 c 356s | 16 | 1828186 | 149752 | 7343 47 | 12 | 25 365.73/365.80 c 358s | 16 | 1835425 | 150852 | 7343 47 | 12 | 25 367.73/367.89 c 360s | 16 | 1851811 | 151652 | 7343 48 | 12 | 25 370.03/370.14 c 362s | 16 | 1863164 | 152752 | 7343 48 | 12 | 25 372.03/372.16 c 364s | 16 | 1871730 | 153652 | 7343 48 | 12 | 25 374.15/374.27 c 366s | 16 | 1881627 | 154852 | 7343 48 | 12 | 25 376.44/376.50 c 368s | 16 | 1892806 | 155752 | 7343 49 | 12 | 25 378.55/378.69 c 371s | 16 | 1900990 | 156752 | 7343 49 | 12 | 25 380.84/380.95 c 373s | 16 | 1908581 | 157852 | 7343 49 | 12 | 25 382.95/383.03 c 375s | 16 | 1917445 | 158852 | 7343 50 | 12 | 25 385.04/385.11 c 377s | 16 | 1930474 | 159952 | 7343 50 | 12 | 25 387.04/387.14 c 379s | 16 | 1939945 | 160952 | 7343 50 | 12 | 25 389.23/389.36 c 381s | 16 | 1949851 | 162352 | 7343 50 | 12 | 25 391.23/391.37 c 383s | 16 | 1956766 | 163352 | 7343 51 | 12 | 25 393.33/393.49 c 385s | 16 | 1961664 | 164252 | 7343 51 | 12 | 25 395.53/395.61 c 388s | 16 | 1969977 | 165252 | 7343 51 | 12 | 25 397.63/397.71 c 390s | 16 | 1979573 | 165852 | 7343 51 | 12 | 25 399.63/399.74 c 392s | 16 | 1986683 | 166852 | 7343 52 | 12 | 25 401.64/401.75 c 394s | 16 | 1992248 | 168052 | 7343 52 | 12 | 25 403.74/403.89 c 396s | 16 | 1999616 | 169152 | 7343 52 | 12 | 25 405.94/406.11 c 398s | 16 | 2007336 | 170152 | 7343 53 | 12 | 25 408.14/408.24 c 400s | 16 | 2015938 | 171452 | 7343 53 | 12 | 25 410.23/410.32 c 402s | 16 | 2021548 | 172752 | 7343 53 | 12 | 25 412.33/412.40 c 404s | 16 | 2028759 | 174052 | 7343 54 | 12 | 25 414.33/414.45 c 406s | 16 | 2036441 | 175452 | 7343 54 | 12 | 25 416.43/416.58 c 409s | 16 | 2042032 | 176952 | 7343 54 | 12 | 25 418.93/419.09 c 411s | 16 | 2054681 | 177952 | 7343 55 | 12 | 25 421.13/421.20 c 413s | 16 | 2068660 | 178852 | 7343 55 | 12 | 25 423.33/423.43 c 415s | 16 | 2098274 | 179652 | 7343 55 | 12 | 25 425.33/425.45 c 417s | 16 | 2118130 | 180352 | 7343 55 | 12 | 25 427.83/427.91 c 420s | 16 | 2131168 | 181352 | 7343 56 | 12 | 25 429.93/430.00 c 422s | 16 | 2142578 | 182152 | 7343 56 | 12 | 25 431.93/432.09 c 424s | 16 | 2160970 | 183052 | 7343 56 | 12 | 25 434.23/434.30 c 426s | 16 | 2176124 | 184052 | 7343 56 | 12 | 25 436.33/436.43 c 428s | 16 | 2188196 | 185052 | 7343 57 | 12 | 25 438.53/438.63 c 431s | 16 | 2201493 | 186052 | 7343 57 | 12 | 25 440.63/440.78 c 433s | 16 | 2223594 | 186752 | 7343 57 | 12 | 25 442.83/442.94 c 435s | 16 | 2233991 | 187752 | 7343 57 | 12 | 25 445.03/445.15 c 437s | 16 | 2247375 | 188452 | 7343 57 | 12 | 25 447.03/447.18 c 439s | 16 | 2260653 | 189152 | 7343 58 | 12 | 25 449.23/449.30 c 441s | 16 | 2277543 | 189952 | 7343 58 | 12 | 25 451.23/451.30 c 443s | 16 | 2285293 | 190952 | 8078 58 | 12 | 25 453.23/453.40 c 445s | 16 | 2302214 | 191552 | 8078 58 | 12 | 25 455.62/455.71 c 448s | 16 | 2318775 | 192352 | 8078 58 | 12 | 25 457.63/457.75 c 450s | 16 | 2327660 | 193152 | 8078 59 | 12 | 25 459.93/460.02 c 452s | 16 | 2344395 | 193952 | 8078 59 | 12 | 25 461.92/462.09 c 454s | 16 | 2364379 | 194552 | 8078 59 | 12 | 25 464.02/464.15 c 456s | 16 | 2378209 | 195452 | 8078 59 | 12 | 25 466.22/466.33 c 458s | 16 | 2392224 | 196352 | 8078 59 | 12 | 25 468.22/468.34 c 460s | 16 | 2400975 | 197152 | 8078 59 | 12 | 25 468.82/468.90 c 461s | 17 | 2402627 | 197432 | 8078 60 | 12 | 25 470.93/471.08 c 463s | 17 | 2410930 | 198432 | 8078 60 | 12 | 25 473.03/473.18 c 465s | 17 | 2416771 | 199432 | 8078 60 | 12 | 25 475.33/475.45 c 467s | 17 | 2422721 | 200332 | 8078 60 | 12 | 25 477.43/477.56 c 469s | 17 | 2428446 | 201332 | 8078 60 | 12 | 25 479.52/479.61 c 472s | 17 | 2440471 | 202332 | 8078 61 | 12 | 25 481.62/481.74 c 474s | 17 | 2455109 | 203432 | 8078 61 | 12 | 25 483.72/483.81 c 476s | 17 | 2468343 | 204432 | 8078 61 | 12 | 25 485.82/485.98 c 478s | 17 | 2484478 | 205432 | 8078 61 | 12 | 25 487.92/488.06 c 480s | 17 | 2494561 | 206332 | 8078 62 | 12 | 25 490.12/490.25 c 482s | 17 | 2508094 | 207032 | 8078 62 | 12 | 25 492.22/492.35 c 484s | 17 | 2526481 | 207532 | 8078 62 | 12 | 25 494.52/494.66 c 487s | 17 | 2539758 | 208132 | 8078 62 | 12 | 25 496.62/496.77 c 489s | 17 | 2555023 | 208932 | 8078 62 | 12 | 25 498.92/499.01 c 491s | 17 | 2567204 | 209732 | 8078 62 | 12 | 25 500.92/501.07 c 493s | 17 | 2577293 | 210432 | 8078 63 | 12 | 25 503.02/503.16 c 495s | 17 | 2589728 | 211232 | 8078 63 | 12 | 25 505.42/505.54 c 497s | 17 | 2600419 | 212232 | 8078 63 | 12 | 25 507.42/507.59 c 500s | 17 | 2614646 | 213232 | 8078 63 | 12 | 25 509.52/509.68 c 502s | 17 | 2629169 | 214232 | 8078 64 | 12 | 25 511.92/512.00 c 504s | 17 | 2646931 | 215132 | 8078 64 | 12 | 25 514.01/514.11 c 506s | 17 | 2662305 | 216332 | 8078 64 | 12 | 25 516.11/516.21 c 508s | 17 | 2673240 | 217332 | 8078 64 | 12 | 25 518.31/518.42 c 510s | 17 | 2686829 | 218232 | 8078 65 | 12 | 25 520.51/520.61 c 513s | 17 | 2707838 | 219032 | 8078 65 | 12 | 25 523.31/523.44 c 515s | 17 | 2729605 | 219432 | 8078 65 | 12 | 25 525.71/525.82 c 518s | 17 | 2742700 | 220032 | 8078 65 | 12 | 25 527.81/527.92 c 520s | 17 | 2771418 | 220632 | 8078 65 | 12 | 25 529.91/530.00 c 522s | 17 | 2783537 | 221432 | 8078 65 | 12 | 25 532.21/532.35 c 524s | 17 | 2801524 | 222032 | 8078 65 | 12 | 25 534.31/534.41 c 526s | 17 | 2811040 | 222732 | 8078 66 | 12 | 25 536.41/536.55 c 528s | 17 | 2827552 | 223532 | 8078 66 | 12 | 25 538.51/538.64 c 531s | 17 | 2837087 | 224532 | 8078 66 | 12 | 25 540.71/540.85 c 533s | 17 | 2847837 | 225632 | 8078 66 | 12 | 25 542.81/542.90 c 535s | 17 | 2857575 | 226732 | 8078 67 | 12 | 25 544.81/544.98 c 537s | 17 | 2867404 | 227832 | 8078 67 | 12 | 25 546.91/547.08 c 539s | 17 | 2882507 | 228732 | 8078 67 | 12 | 25 549.02/549.12 c 541s | 17 | 2891900 | 230032 | 8078 67 | 12 | 25 551.01/551.15 c 543s | 17 | 2900038 | 231232 | 8078 68 | 12 | 25 553.01/553.19 c 545s | 17 | 2910763 | 232332 | 8078 68 | 12 | 25 555.21/555.31 c 547s | 17 | 2925305 | 233532 | 8078 68 | 12 | 25 557.31/557.47 c 549s | 17 | 2933938 | 234832 | 8078 69 | 12 | 25 559.41/559.51 c 551s | 17 | 2958296 | 235632 | 8078 69 | 12 | 25 561.80/561.96 c 554s | 17 | 2977499 | 236932 | 8078 69 | 12 | 25 564.00/564.17 c 556s | 17 | 3001178 | 237832 | 8078 69 | 12 | 25 566.20/566.33 c 558s | 17 | 3010967 | 238832 | 8078 70 | 12 | 25 568.30/568.43 c 560s | 17 | 3024205 | 239532 | 8078 70 | 12 | 25 570.30/570.50 c 562s | 17 | 3036104 | 240832 | 8078 70 | 12 | 25 572.60/572.70 c 565s | 17 | 3049467 | 242032 | 8078 70 | 12 | 25 574.70/574.85 c 567s | 17 | 3071880 | 242832 | 8078 70 | 12 | 25 576.70/576.87 c 569s | 17 | 3083679 | 243632 | 8078 71 | 12 | 25 578.71/578.89 c 571s | 17 | 3094274 | 244732 | 8078 71 | 12 | 25 580.81/580.94 c 573s | 17 | 3102688 | 245632 | 8078 71 | 12 | 25 583.11/583.27 c 575s | 17 | 3117937 | 246732 | 8078 71 | 12 | 25 585.21/585.32 c 577s | 17 | 3131654 | 247532 | 8078 72 | 12 | 25 587.41/587.51 c 579s | 17 | 3141320 | 248432 | 8078 72 | 12 | 25 589.50/589.60 c 582s | 17 | 3150132 | 249432 | 8078 72 | 12 | 25 591.50/591.65 c 584s | 17 | 3159618 | 250432 | 8078 72 | 12 | 25 593.50/593.68 c 586s | 17 | 3164863 | 251332 | 8078 73 | 12 | 25 595.60/595.72 c 588s | 17 | 3170489 | 252332 | 8078 73 | 12 | 25 597.70/597.88 c 590s | 17 | 3174486 | 253532 | 8078 73 | 12 | 25 599.80/599.92 c 592s | 17 | 3179727 | 254332 | 8078 73 | 12 | 25 601.81/601.99 c 594s | 17 | 3187143 | 255232 | 8078 73 | 12 | 25 603.90/604.02 c 596s | 17 | 3193530 | 256132 | 8078 74 | 12 | 25 605.99/606.20 c 598s | 17 | 3200634 | 257232 | 8078 74 | 12 | 25 608.09/608.29 c 600s | 17 | 3213709 | 258132 | 8078 74 | 12 | 25 610.29/610.44 c 602s | 17 | 3229029 | 259032 | 8078 74 | 12 | 25 612.59/612.74 c 605s | 17 | 3238749 | 259532 | 8078 74 | 12 | 25 614.69/614.85 c 607s | 17 | 3249047 | 260332 | 8078 75 | 12 | 25 616.69/616.86 c 609s | 17 | 3260116 | 261232 | 8078 75 | 12 | 25 618.79/618.92 c 611s | 17 | 3270628 | 262332 | 8078 75 | 12 | 25 620.89/621.04 c 613s | 17 | 3277907 | 263532 | 8078 75 | 12 | 25 622.99/623.10 c 615s | 17 | 3285818 | 264432 | 8078 76 | 12 | 25 625.09/625.23 c 617s | 17 | 3301490 | 265332 | 8078 76 | 12 | 25 627.49/627.65 c 620s | 17 | 3324211 | 266432 | 8078 76 | 12 | 25 629.69/629.90 c 622s | 17 | 3335075 | 267532 | 8078 76 | 12 | 25 631.89/632.03 c 624s | 17 | 3346100 | 268532 | 8078 77 | 12 | 25 633.99/634.14 c 626s | 17 | 3357218 | 269732 | 8078 77 | 12 | 25 635.99/636.18 c 628s | 17 | 3365192 | 271032 | 8078 77 | 12 | 25 638.10/638.28 c 630s | 17 | 3374314 | 272132 | 8078 78 | 12 | 25 640.30/640.48 c 632s | 17 | 3383826 | 273232 | 8078 78 | 12 | 25 642.40/642.54 c 634s | 17 | 3390003 | 274232 | 8078 78 | 12 | 25 644.49/644.66 c 637s | 17 | 3397610 | 275432 | 8078 78 | 12 | 25 646.59/646.74 c 639s | 17 | 3407833 | 276132 | 8078 79 | 12 | 25 648.79/648.90 c 641s | 17 | 3418155 | 276932 | 8078 79 | 12 | 25 650.79/650.92 c 643s | 17 | 3427121 | 277932 | 8078 79 | 12 | 25 652.89/653.06 c 645s | 17 | 3432709 | 278432 | 8078 79 | 12 | 25 654.89/655.07 c 647s | 17 | 3439632 | 279232 | 8078 79 | 12 | 25 656.89/657.09 c 649s | 17 | 3452194 | 280132 | 8078 79 | 12 | 25 659.00/659.11 c 651s | 17 | 3461073 | 280932 | 8078 80 | 12 | 25 661.09/661.30 c 653s | 17 | 3471984 | 281832 | 8078 80 | 12 | 25 663.18/663.34 c 655s | 17 | 3482772 | 282732 | 8078 80 | 12 | 25 665.28/665.42 c 657s | 17 | 3491616 | 283832 | 8078 80 | 12 | 25 667.38/667.52 c 659s | 17 | 3497945 | 284932 | 8078 81 | 12 | 25 669.49/669.63 c 662s | 17 | 3506732 | 286232 | 8078 81 | 12 | 25 671.49/671.69 c 664s | 17 | 3514748 | 287432 | 8078 81 | 12 | 25 673.68/673.88 c 666s | 17 | 3519504 | 288732 | 8886 81 | 12 | 25 675.68/675.89 c 668s | 17 | 3524827 | 289632 | 8886 82 | 12 | 25 677.78/677.94 c 670s | 17 | 3529338 | 290732 | 8886 82 | 12 | 25 679.89/680.09 c 672s | 17 | 3535513 | 291932 | 8886 82 | 12 | 25 681.88/682.10 c 674s | 17 | 3544649 | 293132 | 8886 82 | 12 | 25 684.19/684.35 c 676s | 17 | 3562854 | 294132 | 8886 83 | 12 | 25 686.28/686.46 c 678s | 17 | 3581607 | 294932 | 8886 83 | 12 | 25 688.38/688.52 c 680s | 17 | 3594218 | 295832 | 8886 83 | 12 | 25 689.18/689.31 c 681s | 18 | 3597326 | 296252 | 8886 83 | 12 | 25 691.18/691.33 c 683s | 18 | 3608087 | 297252 | 8886 83 | 12 | 25 693.27/693.41 c 685s | 18 | 3626628 | 298152 | 8886 83 | 12 | 25 695.37/695.50 c 687s | 18 | 3634775 | 299152 | 8886 84 | 12 | 25 697.38/697.55 c 689s | 18 | 3645850 | 300152 | 8886 84 | 12 | 25 699.47/699.60 c 692s | 18 | 3658026 | 301152 | 8886 84 | 12 | 25 701.47/701.69 c 694s | 18 | 3679263 | 301952 | 8886 84 | 12 | 25 703.57/703.79 c 696s | 18 | 3691431 | 302752 | 8886 84 | 12 | 25 705.67/705.81 c 698s | 18 | 3708655 | 303652 | 8886 85 | 12 | 25 707.87/708.00 c 700s | 18 | 3716013 | 304752 | 8886 85 | 12 | 25 709.97/710.14 c 702s | 18 | 3722385 | 305852 | 8886 85 | 12 | 25 712.07/712.29 c 704s | 18 | 3733623 | 307052 | 8886 85 | 12 | 25 714.26/714.43 c 706s | 18 | 3743659 | 308152 | 8886 86 | 12 | 25 716.36/716.56 c 708s | 18 | 3750147 | 309552 | 8886 86 | 12 | 25 718.37/718.57 c 711s | 18 | 3762515 | 310552 | 8886 86 | 12 | 25 720.46/720.65 c 713s | 18 | 3769575 | 311552 | 8886 86 | 12 | 25 722.46/722.69 c 715s | 18 | 3777043 | 312552 | 8886 87 | 12 | 25 724.65/724.81 c 717s | 18 | 3791543 | 313452 | 8886 87 | 12 | 25 726.75/726.92 c 719s | 18 | 3797554 | 314452 | 8886 87 | 12 | 25 728.85/729.09 c 721s | 18 | 3807573 | 315652 | 8886 87 | 12 | 25 730.95/731.15 c 723s | 18 | 3815947 | 316552 | 8886 88 | 12 | 25 733.55/733.72 c 726s | 18 | 3826769 | 317352 | 8886 88 | 12 | 25 735.64/735.88 c 728s | 18 | 3836582 | 318252 | 8886 88 | 12 | 25 737.94/738.20 c 730s | 18 | 3847659 | 319252 | 8886 88 | 12 | 25 740.25/740.42 c 732s | 18 | 3856017 | 320052 | 8886 88 | 12 | 25 742.74/742.97 c 735s | 18 | 3869210 | 320952 | 8886 88 | 12 | 25 745.14/745.38 c 737s | 18 | 3879254 | 321752 | 8886 89 | 12 | 25 747.24/747.41 c 739s | 18 | 3887104 | 322652 | 8886 89 | 12 | 25 749.34/749.57 c 742s | 18 | 3895498 | 323552 | 8886 89 | 12 | 25 751.35/751.59 c 744s | 18 | 3902990 | 324252 | 8886 89 | 12 | 25 753.44/753.70 c 746s | 18 | 3911974 | 325152 | 8886 89 | 12 | 25 755.75/755.92 c 748s | 18 | 3918454 | 326252 | 8886 90 | 12 | 25 757.95/758.11 c 750s | 18 | 3926072 | 327352 | 8886 90 | 12 | 25 760.04/760.26 c 752s | 18 | 3931681 | 328452 | 8886 90 | 12 | 25 762.04/762.28 c 754s | 18 | 3937752 | 329452 | 8886 90 | 12 | 25 764.13/764.37 c 756s | 18 | 3943497 | 330552 | 8886 91 | 12 | 25 766.13/766.38 c 758s | 18 | 3951295 | 331352 | 8886 91 | 12 | 25 768.23/768.44 c 760s | 18 | 3960454 | 332652 | 8886 91 | 12 | 25 770.33/770.58 c 763s | 18 | 3968110 | 333752 | 8886 91 | 12 | 25 772.62/772.82 c 765s | 18 | 3977702 | 334652 | 8886 91 | 12 | 25 774.72/774.95 c 767s | 18 | 3983520 | 335452 | 8886 92 | 12 | 25 776.92/777.12 c 769s | 18 | 4001149 | 336152 | 8886 92 | 12 | 25 779.12/779.35 c 771s | 18 | 4008234 | 337152 | 8886 92 | 12 | 25 781.32/781.54 c 773s | 18 | 4015163 | 338152 | 8886 92 | 12 | 25 783.41/783.61 c 776s | 18 | 4022885 | 339152 | 8886 92 | 12 | 25 785.62/785.90 c 778s | 18 | 4031452 | 340252 | 8886 93 | 12 | 25 787.72/787.97 c 780s | 18 | 4045974 | 341052 | 8886 93 | 12 | 25 789.82/790.01 c 782s | 18 | 4056986 | 341652 | 8886 93 | 12 | 25 791.81/792.07 c 784s | 18 | 4065422 | 342552 | 8886 93 | 12 | 25 794.01/794.24 c 786s | 18 | 4074506 | 343652 | 8886 93 | 12 | 25 796.01/796.29 c 788s | 18 | 4091358 | 344252 | 8886 94 | 12 | 25 798.62/798.89 c 791s | 18 | 4104113 | 344752 | 8886 94 | 12 | 25 800.91/801.17 c 793s | 18 | 4115889 | 345352 | 8886 94 | 12 | 25 802.91/803.18 c 795s | 18 | 4124486 | 346252 | 8886 94 | 12 | 25 805.30/805.55 c 797s | 18 | 4137586 | 347052 | 8886 94 | 12 | 25 807.41/807.62 c 800s | 18 | 4151213 | 347752 | 8886 94 | 12 | 25 809.61/809.83 c 802s | 18 | 4160859 | 348552 | 8886 95 | 12 | 25 812.00/812.27 c 804s | 18 | 4170410 | 349552 | 8886 95 | 12 | 25 814.20/814.41 c 806s | 18 | 4177157 | 350452 | 8886 95 | 12 | 25 816.30/816.57 c 809s | 18 | 4182952 | 351352 | 8886 95 | 12 | 25 818.50/818.73 c 811s | 18 | 4189644 | 352452 | 8886 95 | 12 | 25 820.70/820.92 c 813s | 18 | 4193942 | 353352 | 8886 96 | 12 | 25 822.89/823.13 c 815s | 18 | 4200702 | 354252 | 8886 96 | 12 | 25 825.00/825.25 c 817s | 18 | 4207646 | 355152 | 8886 96 | 12 | 25 826.99/827.27 c 819s | 18 | 4214517 | 355952 | 8886 96 | 12 | 25 829.09/829.38 c 821s | 18 | 4222223 | 356852 | 8886 96 | 12 | 25 831.39/831.65 c 824s | 18 | 4229668 | 357752 | 8886 97 | 12 | 25 833.59/833.82 c 826s | 18 | 4236323 | 358852 | 8886 97 | 12 | 25 835.69/835.93 c 828s | 18 | 4239673 | 359752 | 8886 97 | 12 | 25 837.69/837.95 c 830s | 18 | 4243540 | 360752 | 8886 97 | 12 | 25 839.88/840.12 c 832s | 18 | 4252634 | 361752 | 8886 97 | 12 | 25 841.98/842.28 c 834s | 18 | 4260468 | 362552 | 8886 98 | 12 | 25 844.18/844.44 c 836s | 18 | 4270240 | 363552 | 8886 98 | 12 | 25 846.28/846.59 c 839s | 18 | 4278595 | 364652 | 8886 98 | 12 | 25 848.48/848.74 c 841s | 18 | 4286737 | 365752 | 8886 98 | 12 | 25 850.69/850.95 c 843s | 18 | 4295934 | 366752 | 8886 98 | 12 | 25 852.68/852.95 c 845s | 18 | 4304017 | 367652 | 8886 99 | 12 | 25 854.78/855.01 c 847s | 18 | 4314624 | 368752 | 8886 99 | 12 | 25 856.79/857.10 c 849s | 18 | 4320336 | 369752 | 8886 99 | 12 | 25 858.88/859.17 c 851s | 18 | 4326909 | 370752 | 8886 99 | 12 | 25 860.98/861.27 c 853s | 18 | 4333895 | 371652 | 8886 100 | 12 | 25 863.18/863.49 c 855s | 18 | 4341973 | 372652 | 8886 100 | 12 | 25 865.28/865.58 c 858s | 18 | 4348965 | 373652 | 8886 100 | 12 | 25 867.48/867.78 c 860s | 18 | 4355883 | 374452 | 8886 100 | 12 | 25 869.77/870.00 c 862s | 18 | 4365141 | 375452 | 8886 100 | 12 | 25 871.87/872.19 c 864s | 18 | 4372212 | 376352 | 8886 101 | 12 | 25 873.97/874.27 c 866s | 18 | 4377231 | 377252 | 8886 101 | 12 | 25 876.07/876.36 c 868s | 18 | 4383180 | 378152 | 8886 101 | 12 | 25 878.37/878.63 c 871s | 18 | 4390809 | 379052 | 8886 101 | 12 | 25 880.47/880.72 c 873s | 18 | 4396118 | 380052 | 8886 101 | 12 | 25 882.47/882.78 c 875s | 18 | 4403063 | 380852 | 8886 102 | 12 | 25 884.57/884.84 c 877s | 18 | 4409287 | 381852 | 8886 102 | 12 | 25 886.58/886.88 c 879s | 18 | 4419103 | 382852 | 8886 102 | 12 | 25 888.67/888.92 c 881s | 18 | 4424785 | 383652 | 8886 102 | 12 | 25 890.66/890.96 c 883s | 18 | 4431051 | 384552 | 8886 102 | 12 | 25 892.76/893.08 c 885s | 18 | 4438970 | 385652 | 8886 103 | 12 | 25 894.96/895.28 c 887s | 18 | 4442613 | 386252 | 8886 103 | 12 | 25 897.16/897.46 c 889s | 18 | 4451623 | 387552 | 8886 103 | 12 | 25 899.45/899.73 c 892s | 18 | 4468618 | 388652 | 8886 103 | 12 | 25 901.86/902.15 c 894s | 18 | 4483799 | 389552 | 8886 104 | 12 | 25 903.95/904.26 c 896s | 18 | 4491653 | 390652 | 8886 104 | 12 | 25 906.15/906.40 c 898s | 18 | 4509629 | 391452 | 8886 104 | 12 | 25 908.25/908.50 c 900s | 18 | 4517858 | 392352 | 8886 104 | 12 | 25 910.45/910.71 c 903s | 18 | 4529323 | 393352 | 8886 104 | 12 | 25 912.64/912.91 c 905s | 18 | 4542826 | 394252 | 8886 105 | 12 | 25 914.84/915.18 c 907s | 18 | 4560127 | 395152 | 8886 105 | 12 | 25 917.04/917.30 c 909s | 18 | 4569031 | 396152 | 8886 105 | 12 | 25 919.14/919.47 c 911s | 18 | 4577161 | 397352 | 8886 105 | 12 | 25 921.34/921.67 c 914s | 18 | 4581561 | 398552 | 8886 105 | 12 | 25 923.33/923.69 c 916s | 18 | 4585027 | 399652 | 8886 106 | 12 | 25 925.43/925.72 c 918s | 18 | 4591974 | 400752 | 8886 106 | 12 | 25 927.53/927.85 c 920s | 18 | 4598417 | 402052 | 8886 106 | 12 | 25 929.63/929.98 c 922s | 18 | 4604900 | 403252 | 8886 106 | 12 | 25 931.73/932.02 c 924s | 18 | 4611907 | 404252 | 8886 107 | 12 | 25 933.84/934.19 c 926s | 18 | 4619736 | 405452 | 8886 107 | 12 | 25 936.04/936.39 c 928s | 18 | 4624719 | 406652 | 8886 107 | 12 | 25 938.24/938.52 c 930s | 18 | 4630420 | 407852 | 8886 107 | 12 | 25 940.34/940.62 c 933s | 18 | 4635654 | 408952 | 8886 108 | 12 | 25 942.33/942.65 c 935s | 18 | 4641783 | 410252 | 8886 108 | 12 | 25 944.42/944.77 c 937s | 18 | 4654510 | 411452 | 8886 108 | 12 | 25 946.52/946.85 c 939s | 18 | 4665721 | 412352 | 8886 109 | 12 | 25 948.62/948.91 c 941s | 18 | 4678150 | 413352 | 8886 109 | 12 | 25 950.72/951.09 c 943s | 18 | 4683074 | 414452 | 8886 109 | 12 | 25 952.82/953.19 c 945s | 18 | 4691611 | 415652 | 8886 109 | 12 | 25 955.22/955.53 c 947s | 18 | 4703054 | 416652 | 8886 109 | 12 | 25 957.22/957.55 c 949s | 18 | 4710304 | 417152 | 8886 110 | 12 | 25 959.32/959.60 c 952s | 18 | 4719172 | 417852 | 8886 110 | 12 | 25 961.42/961.71 c 954s | 18 | 4730558 | 418852 | 8886 110 | 12 | 25 963.42/963.73 c 956s | 18 | 4739626 | 419752 | 8886 110 | 12 | 25 965.62/965.94 c 958s | 18 | 4748488 | 420852 | 8886 110 | 12 | 25 967.62/967.95 c 960s | 18 | 4758555 | 421852 | 8886 111 | 12 | 25 969.82/970.10 c 962s | 18 | 4770954 | 422752 | 8886 111 | 12 | 25 971.82/972.14 c 964s | 18 | 4780131 | 423552 | 8886 111 | 12 | 25 974.02/974.33 c 966s | 18 | 4788027 | 424552 | 8886 111 | 12 | 25 976.12/976.48 c 968s | 18 | 4795289 | 425552 | 8886 111 | 12 | 25 978.42/978.71 c 971s | 18 | 4802032 | 426652 | 8886 112 | 12 | 25 980.52/980.82 c 973s | 18 | 4815141 | 427652 | 8886 112 | 12 | 25 982.61/982.97 c 975s | 18 | 4821025 | 428452 | 8886 112 | 12 | 25 984.71/985.05 c 977s | 18 | 4826534 | 429252 | 8886 112 | 12 | 25 986.81/987.10 c 979s | 18 | 4831267 | 429952 | 8886 112 | 12 | 25 988.91/989.22 c 981s | 18 | 4839936 | 430752 | 8886 113 | 12 | 25 991.02/991.38 c 983s | 18 | 4848392 | 431852 | 8886 113 | 12 | 25 993.22/993.52 c 985s | 18 | 4854904 | 432952 | 8886 113 | 12 | 25 995.20/995.59 c 988s | 18 | 4867492 | 433952 | 8886 113 | 12 | 25 997.40/997.74 c 990s | 18 | 4875019 | 435052 | 8886 113 | 12 | 25 999.60/999.90 c 992s | 18 | 4879695 | 436052 | 9775 114 | 12 | 25 1001.70/1002.04 c 994s | 18 | 4891700 | 437152 | 9775 114 | 12 | 25 1003.70/1004.05 c 996s | 18 | 4902828 | 437952 | 9775 114 | 12 | 25 1005.70/1006.08 c 998s | 18 | 4912246 | 438752 | 9775 114 | 12 | 25 1008.00/1008.34 c 1000s | 18 | 4922182 | 439552 | 9775 114 | 12 | 25 1009.99/1010.38 c 1002s | 18 | 4932167 | 440352 | 9775 114 | 12 | 25 1012.69/1013.04 c 1005s | 18 | 4942559 | 441052 | 9775 115 | 12 | 25 1014.79/1015.17 c 1007s | 18 | 4951940 | 442152 | 9775 115 | 12 | 25 1016.79/1017.18 c 1009s | 18 | 4967298 | 443052 | 9775 115 | 12 | 25 1019.29/1019.61 c 1012s | 18 | 4978739 | 444152 | 9775 115 | 12 | 25 1019.89/1020.23 c 1012s | 19 | 4982064 | 444482 | 9775 115 | 12 | 25 1022.19/1022.55 c 1014s | 19 | 4990081 | 445482 | 9775 116 | 12 | 25 1024.38/1024.79 c 1017s | 19 | 5006807 | 446282 | 9775 116 | 12 | 25 1026.58/1026.99 c 1019s | 19 | 5015468 | 447182 | 9775 116 | 12 | 25 1028.68/1029.07 c 1021s | 19 | 5021314 | 447982 | 9775 116 | 12 | 25 1030.78/1031.14 c 1023s | 19 | 5029722 | 448782 | 9775 116 | 12 | 25 1032.88/1033.29 c 1025s | 19 | 5036008 | 449682 | 9775 116 | 12 | 25 1035.08/1035.48 c 1027s | 19 | 5041173 | 450482 | 9775 117 | 12 | 25 1037.38/1037.75 c 1030s | 19 | 5061096 | 451382 | 9775 117 | 12 | 25 1039.58/1039.91 c 1032s | 19 | 5071325 | 452082 | 9775 117 | 12 | 25 1041.68/1042.05 c 1034s | 19 | 5089672 | 452882 | 9775 117 | 12 | 25 1043.87/1044.25 c 1036s | 19 | 5103543 | 453882 | 9775 117 | 12 | 25 1046.17/1046.59 c 1039s | 19 | 5120696 | 454582 | 9775 117 | 12 | 25 1048.37/1048.77 c 1041s | 19 | 5138714 | 455282 | 9775 117 | 12 | 25 1050.57/1050.90 c 1043s | 19 | 5151773 | 455982 | 9775 118 | 12 | 25 1052.67/1053.06 c 1045s | 19 | 5165327 | 456682 | 9775 118 | 12 | 25 1054.67/1055.10 c 1047s | 19 | 5176208 | 457282 | 9775 118 | 12 | 25 1056.97/1057.40 c 1049s | 19 | 5186966 | 457982 | 9775 118 | 12 | 25 1059.07/1059.45 c 1051s | 19 | 5192703 | 458482 | 9775 118 | 12 | 25 1061.27/1061.64 c 1054s | 19 | 5197754 | 459282 | 9775 118 | 12 | 25 1063.36/1063.71 c 1056s | 19 | 5205966 | 460082 | 9775 118 | 12 | 25 1065.46/1065.83 c 1058s | 19 | 5218720 | 460782 | 9775 119 | 12 | 25 1067.56/1067.91 c 1060s | 19 | 5234021 | 461482 | 9775 119 | 12 | 25 1069.66/1070.05 c 1062s | 19 | 5251920 | 462382 | 9775 119 | 12 | 25 1071.66/1072.06 c 1064s | 19 | 5263904 | 463382 | 9775 119 | 12 | 25 1073.85/1074.29 c 1066s | 19 | 5273911 | 464382 | 9775 119 | 12 | 25 1075.95/1076.40 c 1068s | 19 | 5291029 | 465182 | 9775 119 | 12 | 25 1078.15/1078.52 c 1070s | 19 | 5303516 | 466082 | 9775 120 | 12 | 25 1080.15/1080.59 c 1073s | 19 | 5315053 | 466982 | 9775 120 | 12 | 25 1082.45/1082.82 c 1075s | 19 | 5328513 | 468082 | 9775 120 | 12 | 25 1084.46/1084.87 c 1077s | 19 | 5337945 | 468882 | 9775 120 | 12 | 25 1086.56/1086.93 c 1079s | 19 | 5359126 | 469682 | 9775 120 | 12 | 25 1088.95/1089.32 c 1081s | 19 | 5376382 | 470282 | 9775 120 | 12 | 25 1091.25/1091.68 c 1084s | 19 | 5390333 | 470982 | 9775 121 | 12 | 25 1093.54/1093.93 c 1086s | 19 | 5403280 | 471582 | 9775 121 | 12 | 25 1095.54/1095.93 c 1088s | 19 | 5412757 | 472082 | 9775 121 | 12 | 25 1097.74/1098.17 c 1090s | 19 | 5423525 | 472782 | 9775 121 | 12 | 25 1099.85/1100.29 c 1092s | 19 | 5438361 | 473582 | 9775 121 | 12 | 25 1102.24/1102.68 c 1095s | 19 | 5452172 | 474382 | 9775 121 | 12 | 25 1104.43/1104.89 c 1097s | 19 | 5462199 | 475182 | 9775 121 | 12 | 25 1106.73/1107.10 c 1099s | 19 | 5471155 | 475982 | 9775 122 | 12 | 25 1108.73/1109.17 c 1101s | 19 | 5478869 | 476882 | 9775 122 | 12 | 25 1110.93/1111.31 c 1103s | 19 | 5491929 | 477782 | 9775 122 | 12 | 25 1113.04/1113.41 c 1105s | 19 | 5504219 | 478882 | 9775 122 | 12 | 25 1115.03/1115.43 c 1107s | 19 | 5521518 | 479782 | 9775 122 | 12 | 25 1117.13/1117.54 c 1109s | 19 | 5531014 | 480882 | 9775 123 | 12 | 25 1119.23/1119.67 c 1112s | 19 | 5545729 | 481782 | 9775 123 | 12 | 25 1121.53/1121.92 c 1114s | 19 | 5565848 | 482682 | 9775 123 | 12 | 25 1123.63/1124.02 c 1116s | 19 | 5583904 | 483382 | 9775 123 | 12 | 25 1125.82/1126.27 c 1118s | 19 | 5597468 | 484182 | 9775 123 | 12 | 25 1127.92/1128.39 c 1120s | 19 | 5607845 | 485082 | 9775 123 | 12 | 25 1130.22/1130.67 c 1123s | 19 | 5619660 | 485882 | 9775 124 | 12 | 25 1132.32/1132.76 c 1125s | 19 | 5627833 | 486782 | 9775 124 | 12 | 25 1134.93/1135.33 c 1127s | 19 | 5640603 | 487482 | 9775 124 | 12 | 25 1136.92/1137.36 c 1129s | 19 | 5648875 | 488482 | 9775 124 | 12 | 25 1139.02/1139.49 c 1131s | 19 | 5660011 | 489482 | 9775 124 | 12 | 25 1141.02/1141.49 c 1133s | 19 | 5670882 | 490482 | 9775 124 | 12 | 25 1143.12/1143.52 c 1135s | 19 | 5677753 | 491282 | 9775 125 | 12 | 25 1145.12/1145.56 c 1137s | 19 | 5682904 | 492382 | 9775 125 | 12 | 25 1147.22/1147.66 c 1140s | 19 | 5695317 | 493282 | 9775 125 | 12 | 25 1149.42/1149.83 c 1142s | 19 | 5701284 | 494082 | 9775 125 | 12 | 25 1151.62/1152.01 c 1144s | 19 | 5707082 | 494982 | 9775 125 | 12 | 25 1153.62/1154.02 c 1146s | 19 | 5715258 | 495782 | 9775 126 | 12 | 25 1155.82/1156.29 c 1148s | 19 | 5726020 | 496682 | 9775 126 | 12 | 25 1157.81/1158.29 c 1150s | 19 | 5732195 | 497682 | 9775 126 | 12 | 25 1159.91/1160.32 c 1152s | 19 | 5751145 | 498482 | 9775 126 | 12 | 25 1161.91/1162.36 c 1154s | 19 | 5766448 | 499482 | 9775 126 | 12 | 25 1164.01/1164.49 c 1156s | 19 | 5779836 | 500082 | 9775 126 | 12 | 25 1166.11/1166.59 c 1159s | 19 | 5787071 | 500682 | 9775 127 | 12 | 25 1168.31/1168.78 c 1161s | 19 | 5797805 | 501482 | 9775 127 | 12 | 25 1170.41/1170.83 c 1163s | 19 | 5805846 | 502382 | 9775 127 | 12 | 25 1172.51/1172.90 c 1165s | 19 | 5814990 | 503182 | 9775 127 | 12 | 25 1174.61/1175.01 c 1167s | 19 | 5821464 | 503982 | 9775 127 | 12 | 25 1176.71/1177.13 c 1169s | 19 | 5826662 | 504982 | 9775 127 | 12 | 25 1178.70/1179.16 c 1171s | 19 | 5840758 | 505682 | 9775 128 | 12 | 25 1181.00/1181.41 c 1173s | 19 | 5850103 | 506682 | 9775 128 | 12 | 25 1183.20/1183.67 c 1176s | 19 | 5866416 | 507482 | 9775 128 | 12 | 25 1185.61/1186.08 c 1178s | 19 | 5874029 | 508382 | 9775 128 | 12 | 25 1187.71/1188.20 c 1180s | 19 | 5886632 | 509082 | 9775 128 | 12 | 25 1189.91/1190.31 c 1182s | 19 | 5893299 | 509982 | 9775 128 | 12 | 25 1191.90/1192.37 c 1184s | 19 | 5903627 | 510782 | 9775 129 | 12 | 25 1193.99/1194.41 c 1186s | 19 | 5912573 | 511582 | 9775 129 | 12 | 25 1196.09/1196.52 c 1188s | 19 | 5918842 | 512382 | 9775 129 | 12 | 25 1198.19/1198.66 c 1191s | 19 | 5926054 | 513382 | 9775 129 | 12 | 25 1200.39/1200.83 c 1193s | 19 | 5936424 | 514282 | 9775 129 | 12 | 25 1202.59/1203.01 c 1195s | 19 | 5943927 | 515282 | 9775 129 | 12 | 25 1204.69/1205.12 c 1197s | 19 | 5949281 | 516182 | 9775 130 | 12 | 25 1206.79/1207.26 c 1199s | 19 | 5954085 | 516982 | 9775 130 | 12 | 25 1208.89/1209.36 c 1201s | 19 | 5960679 | 517882 | 9775 130 | 12 | 25 1210.99/1211.46 c 1203s | 19 | 5966719 | 518882 | 9775 130 | 12 | 25 1213.19/1213.62 c 1206s | 19 | 5972471 | 519882 | 9775 130 | 12 | 25 1215.58/1216.05 c 1208s | 19 | 5978507 | 520682 | 9775 131 | 12 | 25 1217.78/1218.28 c 1210s | 19 | 5988590 | 521482 | 9775 131 | 12 | 25 1219.98/1220.47 c 1212s | 19 | 5998373 | 521982 | 9775 131 | 12 | 25 1221.98/1222.49 c 1214s | 19 | 6007311 | 522782 | 9775 131 | 12 | 25 1224.09/1224.55 c 1216s | 19 | 6013509 | 523882 | 9775 131 | 12 | 25 1226.08/1226.55 c 1218s | 19 | 6017477 | 524782 | 9775 131 | 12 | 25 1228.18/1228.67 c 1221s | 19 | 6024075 | 525782 | 9775 132 | 12 | 25 1230.18/1230.68 c 1223s | 19 | 6030845 | 526782 | 9775 132 | 12 | 25 1232.28/1232.72 c 1225s | 19 | 6038016 | 527782 | 9775 132 | 12 | 25 1234.27/1234.78 c 1227s | 19 | 6046814 | 528682 | 9775 132 | 12 | 25 1236.47/1236.99 c 1229s | 19 | 6054715 | 529582 | 9775 132 | 12 | 25 1238.57/1239.06 c 1231s | 19 | 6063606 | 530382 | 9775 133 | 12 | 25 1240.77/1241.21 c 1233s | 19 | 6072057 | 531482 | 9775 133 | 12 | 25 1242.87/1243.39 c 1235s | 19 | 6078810 | 532182 | 9775 133 | 12 | 25 1244.98/1245.48 c 1237s | 19 | 6095579 | 533082 | 9775 133 | 12 | 25 1247.18/1247.67 c 1240s | 19 | 6107151 | 534082 | 9775 133 | 12 | 25 1249.38/1249.89 c 1242s | 19 | 6116788 | 535082 | 9775 133 | 12 | 25 1252.07/1252.50 c 1244s | 19 | 6128773 | 535882 | 9775 134 | 12 | 25 1254.46/1254.99 c 1247s | 19 | 6144422 | 536382 | 9775 134 | 12 | 25 1256.56/1257.03 c 1249s | 19 | 6154331 | 537282 | 9775 134 | 12 | 25 1258.66/1259.12 c 1251s | 19 | 6161991 | 538182 | 9775 134 | 12 | 25 1260.66/1261.15 c 1253s | 19 | 6168317 | 539182 | 9775 134 | 12 | 25 1262.96/1263.40 c 1255s | 19 | 6172547 | 540082 | 9775 134 | 12 | 25 1265.16/1265.62 c 1258s | 19 | 6177126 | 541082 | 9775 135 | 12 | 25 1267.46/1267.93 c 1260s | 19 | 6181619 | 542282 | 9775 135 | 12 | 25 1269.46/1269.99 c 1262s | 19 | 6186096 | 543282 | 9775 135 | 12 | 25 1271.56/1272.09 c 1264s | 19 | 6192628 | 544282 | 9775 135 | 12 | 25 1273.66/1274.12 c 1266s | 19 | 6198978 | 545282 | 9775 135 | 12 | 25 1275.66/1276.16 c 1268s | 19 | 6203992 | 546282 | 9775 136 | 12 | 25 1277.76/1278.23 c 1270s | 19 | 6210747 | 547182 | 9775 136 | 12 | 25 1279.76/1280.29 c 1272s | 19 | 6217688 | 548082 | 9775 136 | 12 | 25 1281.86/1282.39 c 1274s | 19 | 6222319 | 549082 | 9775 136 | 12 | 25 1284.15/1284.63 c 1277s | 19 | 6226968 | 549982 | 9775 136 | 12 | 25 1286.15/1286.65 c 1279s | 19 | 6232748 | 550882 | 9775 137 | 12 | 25 1288.25/1288.73 c 1281s | 19 | 6240906 | 551882 | 9775 137 | 12 | 25 1290.35/1290.80 c 1283s | 19 | 6245860 | 552882 | 9775 137 | 12 | 25 1292.55/1293.06 c 1285s | 19 | 6253611 | 554082 | 9775 137 | 12 | 25 1294.65/1295.11 c 1287s | 19 | 6264636 | 554982 | 9775 137 | 12 | 25 1296.75/1297.23 c 1289s | 19 | 6273842 | 555782 | 9775 138 | 12 | 25 1298.95/1299.43 c 1291s | 19 | 6285920 | 556882 | 9775 138 | 12 | 25 1301.25/1301.73 c 1294s | 19 | 6295986 | 557782 | 9775 138 | 12 | 25 1303.26/1303.76 c 1296s | 19 | 6303526 | 558582 | 9775 138 | 12 | 25 1305.46/1305.99 c 1298s | 19 | 6310565 | 559582 | 9775 138 | 12 | 25 1307.65/1308.13 c 1300s | 19 | 6316705 | 560482 | 9775 138 | 12 | 25 1309.85/1310.39 c 1302s | 19 | 6324242 | 561282 | 9775 139 | 12 | 25 1312.05/1312.55 c 1304s | 19 | 6330310 | 562282 | 9775 139 | 12 | 25 1314.25/1314.75 c 1307s | 19 | 6334451 | 563082 | 9775 139 | 12 | 25 1316.35/1316.86 c 1309s | 19 | 6344704 | 563982 | 9775 139 | 12 | 25 1318.34/1318.86 c 1311s | 19 | 6352359 | 564882 | 9775 139 | 12 | 25 1320.44/1320.96 c 1313s | 19 | 6355592 | 565682 | 9775 140 | 12 | 25 1322.74/1323.24 c 1315s | 19 | 6360630 | 566582 | 9775 140 | 12 | 25 1324.74/1325.25 c 1317s | 19 | 6368829 | 567482 | 9775 140 | 12 | 25 1326.74/1327.27 c 1319s | 19 | 6380452 | 568282 | 9775 140 | 12 | 25 1328.74/1329.29 c 1321s | 19 | 6392172 | 569282 | 9775 140 | 12 | 25 1330.84/1331.30 c 1323s | 19 | 6401263 | 570182 | 9775 140 | 12 | 25 1332.95/1333.46 c 1325s | 19 | 6406904 | 571082 | 9775 141 | 12 | 25 1335.05/1335.54 c 1327s | 19 | 6416730 | 572082 | 9775 141 | 12 | 25 1337.14/1337.60 c 1330s | 19 | 6424740 | 573082 | 9775 141 | 12 | 25 1339.24/1339.76 c 1332s | 19 | 6437225 | 573882 | 9775 141 | 12 | 25 1341.24/1341.77 c 1334s | 19 | 6446284 | 574782 | 9775 141 | 12 | 25 1343.44/1343.98 c 1336s | 19 | 6452823 | 575682 | 9775 142 | 12 | 25 1345.54/1346.06 c 1338s | 19 | 6458441 | 576782 | 9775 142 | 12 | 25 1347.84/1348.36 c 1340s | 19 | 6467917 | 577882 | 9775 142 | 12 | 25 1349.93/1350.47 c 1342s | 19 | 6475480 | 578982 | 9775 142 | 12 | 25 1352.03/1352.51 c 1344s | 19 | 6484846 | 579882 | 9775 142 | 12 | 25 1354.13/1354.61 c 1347s | 19 | 6497365 | 580582 | 9775 143 | 12 | 25 1356.13/1356.62 c 1349s | 19 | 6506731 | 581382 | 9775 143 | 12 | 25 1358.53/1359.05 c 1351s | 19 | 6517483 | 582482 | 9775 143 | 12 | 25 1360.63/1361.15 c 1353s | 19 | 6524613 | 583282 | 9775 143 | 12 | 25 1362.65/1363.16 c 1355s | 19 | 6532784 | 584082 | 9775 143 | 12 | 25 1364.75/1365.28 c 1357s | 19 | 6539269 | 585082 | 9775 143 | 12 | 25 1366.95/1367.50 c 1359s | 19 | 6543992 | 585882 | 9775 144 | 12 | 25 1369.15/1369.68 c 1362s | 19 | 6550199 | 586782 | 9775 144 | 12 | 25 1371.35/1371.81 c 1364s | 19 | 6567098 | 587382 | 9775 144 | 12 | 25 1373.34/1373.83 c 1366s | 19 | 6572524 | 588182 | 9775 144 | 12 | 25 1375.34/1375.85 c 1368s | 19 | 6580164 | 589182 | 9775 144 | 12 | 25 1377.74/1378.24 c 1370s | 19 | 6598065 | 589782 | 9775 144 | 12 | 25 1380.54/1381.04 c 1373s | 19 | 6615521 | 590582 | 9775 145 | 12 | 25 1382.54/1383.09 c 1375s | 19 | 6626095 | 591282 | 9775 145 | 12 | 25 1384.74/1385.26 c 1377s | 19 | 6636570 | 592182 | 9775 145 | 12 | 25 1386.74/1387.29 c 1379s | 19 | 6652266 | 593182 | 9775 145 | 12 | 25 1388.84/1389.32 c 1381s | 19 | 6658704 | 593982 | 9775 145 | 12 | 25 1390.94/1391.43 c 1383s | 19 | 6665171 | 594682 | 9775 145 | 12 | 25 1393.14/1393.64 c 1386s | 19 | 6678688 | 595382 | 9775 145 | 12 | 25 1395.13/1395.69 c 1388s | 19 | 6687527 | 596082 | 9775 146 | 12 | 25 1397.33/1397.86 c 1390s | 19 | 6697237 | 597082 | 9775 146 | 12 | 25 1399.43/1399.97 c 1392s | 19 | 6706507 | 597882 | 9775 146 | 12 | 25 1401.73/1402.22 c 1394s | 19 | 6712145 | 598782 | 9775 146 | 12 | 25 1403.83/1404.36 c 1396s | 19 | 6717958 | 599682 | 9775 146 | 12 | 25 1406.03/1406.58 c 1399s | 19 | 6722469 | 600482 | 9775 146 | 12 | 25 1408.23/1408.75 c 1401s | 19 | 6726323 | 600882 | 9775 147 | 12 | 25 1410.23/1410.76 c 1403s | 19 | 6728519 | 601582 | 9775 147 | 12 | 25 1412.43/1412.93 c 1405s | 19 | 6734724 | 602582 | 9775 147 | 12 | 25 1414.53/1415.08 c 1407s | 19 | 6740143 | 603582 | 9775 147 | 12 | 25 1416.73/1417.21 c 1409s | 19 | 6746952 | 604582 | 9775 147 | 12 | 25 1418.74/1419.26 c 1411s | 19 | 6752104 | 605482 | 9775 148 | 12 | 25 1420.84/1421.40 c 1413s | 19 | 6757307 | 606482 | 9775 148 | 12 | 25 1423.04/1423.55 c 1415s | 19 | 6767687 | 607282 | 9775 148 | 12 | 25 1425.23/1425.71 c 1418s | 19 | 6777414 | 608282 | 9775 148 | 12 | 25 1427.33/1427.81 c 1420s | 19 | 6783763 | 609282 | 9775 148 | 12 | 25 1429.53/1430.08 c 1422s | 19 | 6792799 | 610182 | 9775 148 | 12 | 25 1431.63/1432.17 c 1424s | 19 | 6800671 | 610882 | 9775 149 | 12 | 25 1433.73/1434.26 c 1426s | 19 | 6808754 | 611782 | 9775 149 | 12 | 25 1435.82/1436.30 c 1428s | 19 | 6819148 | 612582 | 9775 149 | 12 | 25 1437.93/1438.48 c 1430s | 19 | 6827112 | 613482 | 9775 149 | 12 | 25 1440.13/1440.61 c 1433s | 19 | 6838098 | 614282 | 9775 149 | 12 | 25 1442.22/1442.77 c 1435s | 19 | 6851596 | 615082 | 9775 149 | 12 | 25 1444.52/1445.09 c 1437s | 19 | 6859858 | 615782 | 9775 150 | 12 | 25 1446.72/1447.26 c 1439s | 19 | 6868833 | 616682 | 9775 150 | 12 | 25 1448.92/1449.40 c 1441s | 19 | 6874035 | 617582 | 9775 150 | 12 | 25 1451.12/1451.64 c 1444s | 19 | 6878918 | 618482 | 9775 150 | 12 | 25 1453.32/1453.84 c 1446s | 19 | 6882783 | 619482 | 9775 150 | 12 | 25 1455.42/1455.98 c 1448s | 19 | 6887182 | 620382 | 9775 150 | 12 | 25 1457.52/1458.07 c 1450s | 19 | 6892913 | 621082 | 9775 151 | 12 | 25 1459.82/1460.34 c 1452s | 19 | 6909459 | 622082 | 9775 151 | 12 | 25 1461.92/1462.49 c 1454s | 19 | 6917288 | 623182 | 9775 151 | 12 | 25 1464.12/1464.61 c 1457s | 19 | 6923755 | 624182 | 9775 151 | 12 | 25 1466.22/1466.74 c 1459s | 19 | 6930615 | 625182 | 9775 151 | 12 | 25 1468.42/1468.91 c 1461s | 19 | 6945112 | 625782 | 9775 151 | 12 | 25 1470.52/1471.02 c 1463s | 19 | 6952635 | 626482 | 9775 152 | 12 | 25 1472.53/1473.04 c 1465s | 19 | 6966029 | 627282 | 9775 152 | 12 | 25 1474.52/1475.05 c 1467s | 19 | 6974546 | 628182 | 9775 152 | 12 | 25 1476.72/1477.20 c 1469s | 19 | 6985536 | 629082 | 9775 152 | 12 | 25 1478.72/1479.20 c 1471s | 19 | 6995816 | 629882 | 9775 152 | 12 | 25 1480.72/1481.26 c 1473s | 19 | 7003449 | 630682 | 9775 152 | 12 | 25 1482.82/1483.36 c 1475s | 19 | 7010790 | 631382 | 9775 153 | 12 | 25 1485.02/1485.58 c 1478s | 19 | 7018032 | 632182 | 9775 153 | 12 | 25 1487.32/1487.82 c 1480s | 19 | 7028571 | 632982 | 9775 153 | 12 | 25 1489.52/1490.04 c 1482s | 19 | 7038863 | 633682 | 9775 153 | 12 | 25 1491.81/1492.31 c 1484s | 19 | 7052617 | 634282 | 9775 153 | 12 | 25 1493.91/1494.49 c 1486s | 19 | 7057880 | 635082 | 9775 153 | 12 | 25 1496.21/1496.76 c 1489s | 19 | 7067618 | 635782 | 9775 153 | 12 | 25 1498.41/1498.98 c 1491s | 19 | 7075748 | 636382 | 9775 154 | 12 | 25 1500.61/1501.17 c 1493s | 19 | 7083687 | 637282 | 9775 154 | 12 | 25 1502.71/1503.23 c 1495s | 19 | 7093289 | 638182 | 9775 154 | 12 | 25 1504.81/1505.33 c 1497s | 19 | 7102705 | 638782 | 9775 154 | 12 | 25 1506.91/1507.41 c 1499s | 19 | 7113439 | 639482 | 9775 154 | 12 | 25 1508.92/1509.46 c 1501s | 19 | 7125026 | 640382 | 9775 154 | 12 | 25 1511.02/1511.52 c 1503s | 19 | 7131616 | 641082 | 9775 155 | 12 | 25 1513.11/1513.62 c 1506s | 19 | 7138769 | 641882 | 9775 155 | 12 | 25 1515.21/1515.76 c 1508s | 19 | 7144538 | 642782 | 9775 155 | 12 | 25 1517.31/1517.80 c 1510s | 19 | 7148020 | 643682 | 9775 155 | 12 | 25 1519.41/1519.91 c 1512s | 19 | 7156085 | 644482 | 9775 155 | 12 | 25 1521.41/1521.95 c 1514s | 19 | 7162664 | 645382 | 9775 155 | 12 | 25 1523.41/1523.97 c 1516s | 19 | 7168861 | 646082 | 9775 155 | 12 | 25 1525.51/1526.02 c 1518s | 19 | 7176591 | 646882 | 9775 156 | 12 | 25 1527.71/1528.23 c 1520s | 19 | 7183761 | 647782 | 9775 156 | 12 | 25 1529.82/1530.37 c 1522s | 19 | 7191409 | 648782 | 9775 156 | 12 | 25 1531.91/1532.50 c 1524s | 19 | 7198750 | 649682 | 9775 156 | 12 | 25 1534.11/1534.64 c 1527s | 19 | 7209098 | 650582 | 9775 156 | 12 | 25 1536.11/1536.67 c 1529s | 19 | 7213714 | 651282 | 9775 157 | 12 | 25 1538.31/1538.81 c 1531s | 19 | 7218347 | 652082 | 9775 157 | 12 | 25 1540.50/1541.00 c 1533s | 19 | 7223524 | 652982 | 9775 157 | 12 | 25 1542.71/1543.27 c 1535s | 19 | 7232795 | 653982 | 9775 157 | 12 | 25 1544.91/1545.41 c 1537s | 19 | 7242518 | 654882 | 9775 157 | 12 | 25 1547.01/1547.52 c 1539s | 19 | 7250029 | 655682 | 9775 157 | 12 | 25 1549.01/1549.59 c 1542s | 19 | 7255692 | 656382 | 10753 158 | 12 | 25 1551.11/1551.67 c 1544s | 19 | 7264046 | 657082 | 10753 158 | 12 | 25 1553.11/1553.67 c 1546s | 19 | 7275959 | 657782 | 10753 158 | 12 | 25 1555.41/1555.96 c 1548s | 19 | 7289270 | 658682 | 10753 158 | 12 | 25 1557.61/1558.14 c 1550s | 19 | 7300330 | 659582 | 10753 158 | 12 | 25 1559.81/1560.35 c 1552s | 19 | 7306046 | 660182 | 10753 158 | 12 | 25 1562.31/1562.86 c 1555s | 19 | 7319635 | 660882 | 10753 158 | 12 | 25 1564.31/1564.87 c 1557s | 19 | 7326294 | 661582 | 10753 158 | 12 | 25 1566.61/1567.10 c 1559s | 19 | 7340912 | 661982 | 10753 158 | 12 | 25 1568.81/1569.35 c 1561s | 19 | 7351425 | 662782 | 10753 159 | 12 | 25 1571.41/1571.98 c 1564s | 19 | 7369781 | 663282 | 10753 159 | 12 | 25 1573.61/1574.11 c 1566s | 19 | 7383866 | 663782 | 10753 159 | 12 | 25 1575.80/1576.39 c 1568s | 19 | 7396457 | 664382 | 10753 159 | 12 | 25 1577.91/1578.49 c 1570s | 19 | 7410517 | 664982 | 10753 159 | 12 | 25 1580.00/1580.54 c 1572s | 19 | 7420412 | 665582 | 10753 159 | 12 | 25 1582.10/1582.66 c 1575s | 19 | 7431643 | 666382 | 10753 159 | 12 | 25 1583.10/1583.62 c 1576s | 20 | 7440734 | 666827 | 10753 159 | 12 | 25 1585.10/1585.66 c 1578s | 20 | 7448160 | 667427 | 10753 159 | 12 | 25 1587.30/1587.84 c 1580s | 20 | 7458802 | 668227 | 10753 160 | 12 | 25 1589.30/1589.86 c 1582s | 20 | 7465445 | 668927 | 10753 160 | 12 | 25 1591.41/1591.93 c 1584s | 20 | 7472605 | 669727 | 10753 160 | 12 | 25 1593.70/1594.24 c 1586s | 20 | 7479728 | 670227 | 10753 160 | 12 | 25 1595.71/1596.31 c 1588s | 20 | 7487199 | 671027 | 10753 160 | 12 | 25 1598.01/1598.57 c 1591s | 20 | 7506004 | 671627 | 10753 160 | 12 | 25 1600.11/1600.65 c 1593s | 20 | 7511753 | 672527 | 10753 160 | 12 | 25 1602.20/1602.73 c 1595s | 20 | 7524692 | 673227 | 10753 161 | 12 | 25 1604.30/1604.89 c 1597s | 20 | 7535595 | 674027 | 10753 161 | 12 | 25 1606.60/1607.14 c 1599s | 20 | 7548482 | 674627 | 10753 161 | 12 | 25 1608.70/1609.28 c 1601s | 20 | 7561732 | 675427 | 10753 161 | 12 | 25 1611.21/1611.73 c 1604s | 20 | 7574175 | 676327 | 10753 161 | 12 | 25 1613.20/1613.77 c 1606s | 20 | 7581703 | 677027 | 10753 161 | 12 | 25 1615.30/1615.87 c 1608s | 20 | 7592674 | 677827 | 10753 161 | 12 | 25 1617.50/1618.01 c 1610s | 20 | 7602120 | 678527 | 10753 161 | 12 | 25 1619.80/1620.37 c 1612s | 20 | 7614094 | 679027 | 10753 162 | 12 | 25 1621.80/1622.37 c 1614s | 20 | 7623744 | 679827 | 10753 162 | 12 | 25 1623.90/1624.43 c 1616s | 20 | 7635817 | 680527 | 10753 162 | 12 | 25 1626.20/1626.78 c 1619s | 20 | 7651359 | 681127 | 10753 162 | 12 | 25 1628.50/1629.00 c 1621s | 20 | 7656235 | 681627 | 10753 162 | 12 | 25 1630.60/1631.16 c 1623s | 20 | 7672936 | 682227 | 10753 162 | 12 | 25 1632.90/1633.47 c 1625s | 20 | 7677201 | 682727 | 10753 162 | 12 | 25 1634.90/1635.49 c 1627s | 20 | 7679545 | 683127 | 10753 162 | 12 | 25 1637.00/1637.56 c 1629s | 20 | 7682486 | 683827 | 10753 162 | 12 | 25 1639.19/1639.77 c 1632s | 20 | 7687744 | 684527 | 10753 163 | 12 | 25 1641.39/1641.97 c 1634s | 20 | 7698345 | 685227 | 10753 163 | 12 | 25 1643.59/1644.19 c 1636s | 20 | 7709936 | 685927 | 10753 163 | 12 | 25 1645.89/1646.41 c 1638s | 20 | 7720382 | 686427 | 10753 163 | 12 | 25 1647.89/1648.45 c 1640s | 20 | 7722724 | 686927 | 10753 163 | 12 | 25 1649.99/1650.57 c 1643s | 20 | 7731014 | 687527 | 10753 163 | 12 | 25 1652.19/1652.72 c 1645s | 20 | 7741171 | 688327 | 10753 163 | 12 | 25 1654.19/1654.73 c 1647s | 20 | 7750235 | 689127 | 10753 163 | 12 | 25 1656.20/1656.78 c 1649s | 20 | 7753749 | 689827 | 10753 164 | 12 | 25 1658.29/1658.87 c 1651s | 20 | 7757201 | 690527 | 10753 164 | 12 | 25 1660.49/1661.00 c 1653s | 20 | 7764546 | 691527 | 10753 164 | 12 | 25 1662.80/1663.33 c 1655s | 20 | 7781193 | 692327 | 10753 164 | 12 | 25 1665.00/1665.54 c 1657s | 20 | 7795761 | 693227 | 10753 164 | 12 | 25 1667.09/1667.66 c 1660s | 20 | 7806283 | 694027 | 10753 164 | 12 | 25 1669.29/1669.86 c 1662s | 20 | 7821669 | 694927 | 10753 164 | 12 | 25 1672.19/1672.73 c 1665s | 20 | 7837431 | 695427 | 10753 165 | 12 | 25 1674.29/1674.86 c 1667s | 20 | 7843836 | 696527 | 10753 165 | 12 | 25 1676.29/1676.86 c 1669s | 20 | 7858080 | 697127 | 10753 165 | 12 | 25 1678.39/1678.96 c 1671s | 20 | 7886815 | 698027 | 10753 165 | 12 | 25 1680.59/1681.18 c 1673s | 20 | 7899744 | 698727 | 10753 165 | 12 | 25 1682.70/1683.29 c 1675s | 20 | 7908326 | 699527 | 10753 165 | 12 | 25 1684.79/1685.39 c 1677s | 20 | 7922197 | 700027 | 10753 165 | 12 | 25 1686.99/1687.54 c 1679s | 20 | 7935727 | 700627 | 10753 166 | 12 | 25 1689.19/1689.71 c 1682s | 20 | 7947817 | 701327 | 10753 166 | 12 | 25 1691.50/1692.03 c 1684s | 20 | 7958671 | 701827 | 10753 166 | 12 | 25 1694.19/1694.71 c 1687s | 20 | 7967533 | 702427 | 10753 166 | 12 | 25 1696.19/1696.76 c 1689s | 20 | 7975227 | 702727 | 10753 166 | 12 | 25 1698.38/1698.95 c 1691s | 20 | 7986604 | 703027 | 10753 166 | 12 | 25 1700.38/1700.96 c 1693s | 20 | 7992095 | 703527 | 10753 166 | 12 | 25 1702.49/1703.01 c 1695s | 20 | 8002382 | 704027 | 10753 166 | 12 | 25 1705.18/1705.77 c 1698s | 20 | 8015905 | 704627 | 10753 166 | 12 | 25 1707.58/1708.17 c 1700s | 20 | 8027921 | 705227 | 10753 166 | 12 | 25 1709.78/1710.31 c 1702s | 20 | 8037924 | 705627 | 10753 166 | 12 | 25 1712.29/1712.90 c 1705s | 20 | 8049915 | 706127 | 10753 166 | 12 | 25 1714.88/1715.45 c 1707s | 20 | 8061347 | 706627 | 10753 167 | 12 | 25 1716.88/1717.45 c 1709s | 20 | 8071214 | 707127 | 10753 167 | 12 | 25 1719.18/1719.73 c 1712s | 20 | 8081233 | 707827 | 10753 167 | 12 | 25 1721.19/1721.74 c 1714s | 20 | 8089553 | 708527 | 10753 167 | 12 | 25 1723.48/1724.03 c 1716s | 20 | 8097785 | 709127 | 10753 167 | 12 | 25 1725.88/1726.44 c 1718s | 20 | 8105881 | 709727 | 10753 167 | 12 | 25 1727.88/1728.48 c 1720s | 20 | 8108587 | 710327 | 10753 167 | 12 | 25 1730.08/1730.68 c 1723s | 20 | 8118880 | 711227 | 10753 167 | 12 | 25 1732.28/1732.83 c 1725s | 20 | 8127981 | 711827 | 10753 168 | 12 | 25 1734.39/1734.99 c 1727s | 20 | 8141932 | 712427 | 10753 168 | 12 | 25 1736.49/1737.07 c 1729s | 20 | 8154176 | 713327 | 10753 168 | 12 | 25 1738.79/1739.36 c 1731s | 20 | 8162794 | 714227 | 10753 168 | 12 | 25 1740.88/1741.47 c 1733s | 20 | 8173375 | 715127 | 10753 168 | 12 | 25 1742.98/1743.54 c 1735s | 20 | 8180452 | 716027 | 10753 168 | 12 | 25 1745.08/1745.61 c 1738s | 20 | 8187000 | 716727 | 10753 168 | 12 | 25 1747.08/1747.62 c 1740s | 20 | 8196025 | 717327 | 10753 169 | 12 | 25 1749.38/1749.94 c 1742s | 20 | 8209046 | 718127 | 10753 169 | 12 | 25 1751.68/1752.27 c 1744s | 20 | 8221134 | 718827 | 10753 169 | 12 | 25 1754.19/1754.76 c 1747s | 20 | 8231467 | 719627 | 10753 169 | 12 | 25 1756.17/1756.77 c 1749s | 20 | 8236020 | 720527 | 10753 169 | 12 | 25 1758.48/1759.07 c 1751s | 20 | 8249078 | 721127 | 10753 169 | 12 | 25 1760.68/1761.27 c 1753s | 20 | 8257922 | 721727 | 10753 169 | 12 | 25 1762.77/1763.36 c 1755s | 20 | 8263151 | 722627 | 10753 170 | 12 | 25 1764.87/1765.44 c 1757s | 20 | 8277336 | 723127 | 10753 170 | 12 | 25 1767.07/1767.69 c 1760s | 20 | 8283919 | 723927 | 10753 170 | 12 | 25 1769.17/1769.74 c 1762s | 20 | 8289726 | 724727 | 10753 170 | 12 | 25 1771.27/1771.86 c 1764s | 20 | 8306139 | 725527 | 10753 170 | 12 | 25 1773.47/1774.01 c 1766s | 20 | 8313956 | 726527 | 10753 170 | 12 | 25 1775.57/1776.13 c 1768s | 20 | 8323629 | 727227 | 10753 170 | 12 | 25 1777.87/1778.47 c 1770s | 20 | 8341834 | 727827 | 10753 170 | 12 | 25 1779.87/1780.48 c 1772s | 20 | 8353118 | 728127 | 10753 171 | 12 | 25 1781.87/1782.49 c 1774s | 20 | 8365642 | 728727 | 10753 171 | 12 | 25 1783.97/1784.51 c 1776s | 20 | 8375301 | 729627 | 10753 171 | 12 | 25 1786.37/1786.95 c 1779s | 20 | 8384879 | 730327 | 10753 171 | 12 | 25 1788.37/1788.98 c 1781s | 20 | 8393052 | 731027 | 10753 171 | 12 | 25 1790.57/1791.15 c 1783s | 20 | 8405655 | 731727 | 10753 171 | 12 | 25 1793.17/1793.71 c 1786s | 20 | 8421555 | 732527 | 10753 171 | 12 | 25 1795.17/1795.75 c 1788s | 20 | 8435494 | 733127 | 10753 171 | 12 | 25 1797.47/1798.00 c 1790s | 20 | 8444613 | 733727 | 10753 172 | 12 | 25 1799.47/1800.04 c 1792s | 20 | 8453411 | 734427 | 10753 172 | 12 | 25
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-4079723-1465242272/watcher-4079723-1465242272 -o /tmp/evaluation-result-4079723-1465242272/solver-4079723-1465242272 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079723-1465242272.opb pid=924 running on 8 cores: 4-7,12-15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.31 2.10 2.03 3/261 927 /proc/meminfo: memFree=29811536/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=787900 CPUtime=0 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 2948 0 0 0 0 0 0 0 20 0 4 0 106069221 806809600 3821 33554432000 4194304 16246674 140733726699200 140733726698624 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 197743 3831 441 2943 0 194637 0 [pid=927/tid=928] ppid=924 vsize=1182140 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1210511360 5361 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1187260 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1215754240 5379 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1191356 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1219948544 5397 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 [startup+0.100121 s] /proc/loadavg: 2.31 2.10 2.03 3/261 927 /proc/meminfo: memFree=29811536/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1302084 CPUtime=0.09 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 25777 0 0 0 6 3 0 0 20 0 4 0 106069221 1333334016 26587 33554432000 4194304 16246674 140733726699200 140733726698512 7376813 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 325521 26603 799 2943 0 322415 0 [pid=927/tid=928] ppid=924 vsize=1302084 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1333334016 26615 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1302084 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1333334016 26627 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1302084 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1333334016 26637 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200466 s] /proc/loadavg: 2.31 2.10 2.03 3/261 927 /proc/meminfo: memFree=29811536/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1313348 CPUtime=0.19 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 50024 0 0 0 13 6 0 0 20 0 4 0 106069221 1344868352 51345 33554432000 4194304 16246674 140733726699200 140733726698512 4221016 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 328337 51349 800 2943 0 325231 0 [pid=927/tid=928] ppid=924 vsize=1313348 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1344868352 51352 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1313348 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1344868352 51354 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1313348 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1344868352 51356 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300451 s] /proc/loadavg: 2.31 2.10 2.03 3/261 927 /proc/meminfo: memFree=29811536/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1313348 CPUtime=0.29 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 69078 0 0 0 21 8 0 0 20 0 4 0 106069221 1344868352 70399 33554432000 4194304 16246674 140733726699200 140733726698512 4220897 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 328337 70399 800 2943 0 325231 0 [pid=927/tid=928] ppid=924 vsize=1313348 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1344868352 70399 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1313348 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1344868352 70399 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1313348 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1344868352 70399 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700376 s] /proc/loadavg: 2.31 2.10 2.03 3/261 927 /proc/meminfo: memFree=29811536/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1313348 CPUtime=0.69 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 107496 0 0 0 56 13 0 0 20 0 4 0 106069221 1344868352 108818 33554432000 4194304 16246674 140733726699200 140733726698296 6156109 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 328337 108829 833 2943 0 325231 0 [pid=927/tid=928] ppid=924 vsize=1313348 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1344868352 108838 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1313348 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1344868352 108850 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1313348 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1344868352 108857 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 2.31 2.10 2.03 3/265 931 /proc/meminfo: memFree=28785748/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=1.49 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 270767 0 0 0 116 33 0 0 20 0 4 0 106069221 1361645568 272088 33554432000 4194304 16246674 140733726699200 140733726698512 5711980 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 272088 910 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 272088 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 272088 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 272088 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1329732 [startup+3.10038 s] /proc/loadavg: 2.31 2.10 2.03 3/265 931 /proc/meminfo: memFree=28724376/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=3.09 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 270767 0 0 0 275 34 0 0 20 0 4 0 106069221 1361645568 272088 33554432000 4194304 16246674 140733726699200 140733726698376 6012041 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 272088 910 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 272088 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 272088 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 272088 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1329732 [startup+6.30039 s] /proc/loadavg: 2.29 2.10 2.03 3/265 931 /proc/meminfo: memFree=28724396/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=6.29 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 270768 0 0 0 595 34 0 0 20 0 4 0 106069221 1361645568 272089 33554432000 4194304 16246674 140733726699200 140733726698296 12469052 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 272089 910 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 272089 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 272089 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 272089 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1329732 [startup+12.7004 s] /proc/loadavg: 2.27 2.10 2.03 3/265 931 /proc/meminfo: memFree=28715276/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=12.68 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 273127 0 0 0 1234 34 0 0 20 0 4 0 106069221 1361645568 274448 33554432000 4194304 16246674 140733726699200 140733726681088 13923760 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 274448 910 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274448 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274448 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274448 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1329732 [startup+25.5108 s] /proc/loadavg: 2.29 2.11 2.03 3/265 931 /proc/meminfo: memFree=28716524/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=25.49 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 273129 0 0 0 2515 34 0 0 20 0 4 0 106069221 1361645568 274450 33554432000 4194304 16246674 140733726699200 140733726681088 5822252 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 274450 912 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274450 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274450 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274450 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1329732 [startup+51.1004 s] /proc/loadavg: 2.19 2.10 2.03 3/265 931 /proc/meminfo: memFree=28716744/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=51.08 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 273130 0 0 0 5074 34 0 0 20 0 4 0 106069221 1361645568 274451 33554432000 4194304 16246674 140733726699200 140733726681088 13780600 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 274451 913 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274451 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274451 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274451 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1329732 [startup+102.3 s] /proc/loadavg: 2.21 2.13 2.04 3/265 932 /proc/meminfo: memFree=28697632/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=102.28 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 273131 0 0 0 10193 35 0 0 20 0 4 0 106069221 1361645568 274452 33554432000 4194304 16246674 140733726699200 140733726681088 5523460 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 274452 914 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1329732 ################ # More data... # ################ /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1329732 [startup+1362.3 s] /proc/loadavg: 2.09 2.12 2.08 3/265 1036 /proc/meminfo: memFree=29812120/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=1361.84 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 273468 0 0 0 136143 41 0 0 20 0 4 0 106069221 1361645568 274452 33554432000 4194304 16246674 140733726699200 140733726681088 5523464 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 274452 914 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1329732 [startup+1422.3 s] /proc/loadavg: 2.16 2.13 2.09 3/265 1037 /proc/meminfo: memFree=29812648/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=1421.83 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 273468 0 0 0 142142 41 0 0 20 0 4 0 106069221 1361645568 274452 33554432000 4194304 16246674 140733726699200 140733726681088 5522964 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 274452 914 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1329732 [startup+1482.3 s] /proc/loadavg: 2.21 2.15 2.09 3/265 1038 /proc/meminfo: memFree=29812428/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=1481.82 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 273468 0 0 0 148141 41 0 0 20 0 4 0 106069221 1361645568 274452 33554432000 4194304 16246674 140733726699200 140733726681088 5662177 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 274452 914 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1329732 [startup+1542.3 s] /proc/loadavg: 2.25 2.16 2.10 3/266 1042 /proc/meminfo: memFree=29812572/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=1541.81 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 273468 0 0 0 154140 41 0 0 20 0 4 0 106069221 1361645568 274452 33554432000 4194304 16246674 140733726699200 140733726681088 13943664 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 274452 914 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1329732 [startup+1602.3 s] /proc/loadavg: 2.15 2.15 2.09 3/265 1043 /proc/meminfo: memFree=29812708/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=1601.8 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 273468 0 0 0 160138 42 0 0 20 0 4 0 106069221 1361645568 274452 33554432000 4194304 16246674 140733726699200 140733726681088 7250122 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 274452 914 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1329732 [startup+1662.31 s] /proc/loadavg: 2.09 2.13 2.09 3/265 1045 /proc/meminfo: memFree=29812976/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=1661.8 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 273468 0 0 0 166138 42 0 0 20 0 4 0 106069221 1361645568 274452 33554432000 4194304 16246674 140733726699200 140733726681088 5672188 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 274452 914 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1329732 [startup+1722.3 s] /proc/loadavg: 2.03 2.11 2.08 3/265 1046 /proc/meminfo: memFree=29810724/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=1721.78 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 273468 0 0 0 172136 42 0 0 20 0 4 0 106069221 1361645568 274452 33554432000 4194304 16246674 140733726699200 140733726681088 12478333 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 274452 914 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1329732 [startup+1782.3 s] /proc/loadavg: 2.15 2.12 2.09 3/265 1047 /proc/meminfo: memFree=29810124/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=1781.77 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 273468 0 0 0 178135 42 0 0 20 0 4 0 106069221 1361645568 274452 33554432000 4194304 16246674 140733726699200 140733726681088 13943664 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 274452 914 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1329732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.11 2.11 2.09 3/265 1047 /proc/meminfo: memFree=29810092/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=1800.07 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 273468 0 0 0 179965 42 0 0 20 0 4 0 106069221 1361645568 274452 33554432000 4194304 16246674 140733726699200 140733726681088 5523504 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 274452 914 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1329732 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 927 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.11 2.11 2.09 3/265 1047 /proc/meminfo: memFree=29810092/32872528 swapFree=9196/9196 [pid=927] ppid=924 vsize=1329732 CPUtime=1800.07 cores=4-7,12-15 /proc/927/stat : 927 (toysat) R 924 927 25889 0 -1 4202496 273468 0 0 0 179965 42 0 0 20 0 4 0 106069221 1361645568 274452 33554432000 4194304 16246674 140733726699200 140733726681088 5523504 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/927/statm: 332433 274452 914 2943 0 329327 0 [pid=927/tid=928] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/928/stat : 928 (toysat) S 924 927 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683255983344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=927/tid=929] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/929/stat : 929 (toysat) S 924 927 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683245493488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=927/tid=930] ppid=924 vsize=1329732 CPUtime=0 cores=4-7,12-15 /proc/927/task/930/stat : 930 (toysat) S 924 927 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106069222 1361645568 274452 33554432000 4194304 16246674 140733726699200 140683130170544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1329732 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1799.66 CPU system time (s): 0.427934 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 1329732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.427934 maximum resident set size= 1097808 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273468 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= 351 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.6862 second user time and 20.9818 second system time The end
Begin job on node132 at 2016-06-06 21:44:32 IDJOB=4079723 IDBENCH=2838 IDSOLVER=2542 FILE ID=node132/4079723-1465242272 RUNJOBID= node132-1465216787-25906 PBS_JOBID= 19843203 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd84.b.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079723-1465242272/watcher-4079723-1465242272 -o /tmp/evaluation-result-4079723-1465242272/solver-4079723-1465242272 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079723-1465242272.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 6560abb26f607ef952ebe1a74dd5dae1 RANDOM SEED=829822302 node132.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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.41 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 29812344 kB Buffers: 47056 kB Cached: 101564 kB SwapCached: 3224 kB Active: 2253216 kB Inactive: 81208 kB Active(anon): 2185284 kB Inactive(anon): 3236 kB Active(file): 67932 kB Inactive(file): 77972 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094528 kB Dirty: 18724 kB Writeback: 8 kB AnonPages: 2192700 kB Mapped: 10676 kB Shmem: 0 kB Slab: 576412 kB SReclaimable: 14408 kB SUnreclaim: 562004 kB KernelStack: 2168 kB PageTables: 8360 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2338092 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 526336 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= 71716 MiB End job on node132 at 2016-06-06 22:14:33