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.03 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb |
| MD5SUM | d0857e859d7ae9b7cd0d343674d5c1ad |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1212 |
| Best CPU time to get the best result obtained on this benchmark | 1800.92 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1138 |
| Optimality of the best value was proved | NO |
| Number of variables | 780 |
| Total number of constraints | 405 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 36 |
| Number of constraints which are nor clauses,nor cardinality constraints | 369 |
| Minimum length of a constraint | 6 |
| Maximum length of a constraint | 101 |
| Number of terms in the objective function | 478 |
| Biggest coefficient in the objective function | 262140 |
| Number of bits for the biggest coefficient in the objective function | 18 |
| Sum of the numbers in the objective function | 524739 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262140 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 524739 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T06:37:13+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-4101609-1466224633.opb"] 0.00/0.01 c use --random-gen="4136537262 4115840768 3465658857 1828351660 382532355 2651388808 3973192209 246873116 3392307304 1229662311 3140408043 118511933 1524914206 3420399201 100690412 132815910 2953996991 2683775579 1160040305 927642595 2059825500 591218114 3814606690 2343681284 318807886 2596580255 1288812614 1813690768 424970732 2435619065 3268565399 1525438801 163408185 3634497903 3837755810 3042894942 3101541002 3031329777 2558888196 3533091527 3225607567 14182867 644257536 676398322 4100483447 3782033550 2693520389 2298300805 741315339 2218132202 3036658569 102767664 4237030130 3228330122 945952455 3115772175 3227925895 2237617481 2268307375 1071363018 2132220832 3746703549 729830438 2626610708 3174301737 203550741 1994981901 570294639 3429600554 2552206758 2903852068 3712151517 1324295038 2547948366 2304116281 2760113327 2238136181 2517699765 1231973377 2819611181 3172083730 3965994165 3811801503 1461361913 1059711734 1470171739 4024701225 2616718105 886926399 1673208731 744629661 234742795 2499244802 271174351 4116573096 819605489 592746608 2341378734 2731467777 2773420966 3378259678 2319525630 3157997679 3759965474 4290945565 2714675550 3323465258 4148832721 3234095493 3069938464 2980229109 1733154991 1491523750 2820248587 3632892018 2146371161 1825073288 815109398 2090258619 1433609686 294861828 866279402 224523781 3703196786 3102790342 926153599 3118512996 756847280 2528542380 115917924 206336200 3953172905 1619970655 2177406967 1776650836 3862518989 1100102327 305805015 1398745319 4150679714 82744207 325355134 2257676726 1852063597 1280116395 4053107238 3688813773 3056704142 1904373455 1902815558 2211851682 2563226784 590401609 2520090937 3709531152 1511165089 2758997504 78505780 2175525458 4263986065 3539654157 3162152398 1934730833 1605584919 3585638459 141684341 3094681968 3009293884 1716923213 2392740151 2863316175 1772418337 2656238632 3053316962 3710915751 3958984684 2481614896 1911267018 1078873073 1189070392 570909773 3917755246 3756128539 3569074672 232347996 2049649196 3237099002 3417690070 2418945595 3983215472 2491649393 3822068727 4257078968 2669973058 2081164719 2516374659 1353488159 3215267291 4065167253 1922047116 3089818942 121237229 3932476677 1689613220 3840221392 274337253 3749001078 3998903826 2440328753 761663092 2884314736 70196207 98503665 4201757214 2905238936 1219609603 3450243162 604470094 1525669390 3057063553 436542713 3543834919 1382595036 643303167 1535504185 2822645969 2532459611 3674406446 140768300 3659216390 3903484420 2260417899 884083556 1351780775 2913845131 2452642202 6424629 4191926535 600195623 2731321327 2704875519 3131126872 1999640193 2373104432 2142741405 3091450223 3060873937 794366988 1396599662 3164134335 3816429795 3250885721 527630578 18988503 718402818 2421448807 255 362436" option to reproduce the execution 0.00/0.07 c #vars 780 0.00/0.07 c #constraints 405 1.38/1.47 c BCD2: Hardening is enabled. 1.38/1.47 c BCD2: BiasedSearch is enabled. 1.38/1.47 c Solving starts ... 1.38/1.47 c ============================[ Search Statistics ]============================ 1.38/1.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.38/1.47 c | | | | Limit GC | Var | Constra 1.38/1.47 c ============================================================================= 1.38/1.47 c 0.0s | 0 | 0 | 0 | 407 0 | 4 | 0 1.49/1.52 c 0.0s | 1 | 260 | 100 | 407 0 | 4 | 4 1.49/1.58 c 0.1s | 1 | 1100 | 204 | 448 0 | 4 | 4 1.49/1.58 c #cpu_time = 0.101s 1.49/1.58 c #wall_clock_time = 0.101s 1.49/1.58 c #decision = 1100 1.49/1.58 c #random_decision = 3 1.49/1.58 c #conflict = 204 1.49/1.58 c #restart = 1 1.49/1.58 o 524517 1.49/1.58 c BCD2: updating upper bound: 524739 -> 524516 1.49/1.58 c BCD2: 0 <= obj <= 524516 1.49/1.58 c BCD2: #cores=0, #unrelaxed=478, #relaxed=0, #hardened=0 1.49/1.58 c BCD2: #sat=1 #unsat=1 bias=1/2 1.49/1.58 c Solving starts ... 1.49/1.58 c ============================[ Search Statistics ]============================ 1.49/1.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.58 c | | | | Limit GC | Var | Constra 1.49/1.58 c ============================================================================= 1.49/1.58 c 0.0s | 0 | 0 | 0 | 448 0 | 4 | 4 1.49/1.59 c 0.0s | 0 | 155 | 0 | 448 0 | 4 | 4 1.49/1.59 c #cpu_time = 0.009s 1.49/1.59 c #wall_clock_time = 0.009s 1.49/1.59 c #decision = 155 1.49/1.59 c #random_decision = 0 1.49/1.59 c #conflict = 0 1.49/1.59 c #restart = 0 1.49/1.59 c BCD2: found a new core of size 23: cost of the new core is >=1 1.49/1.59 c lower bound updated to 1 1.49/1.59 c BCD2: 1 <= obj <= 524516 1.49/1.59 c BCD2: #cores=1, #unrelaxed=455, #relaxed=23, #hardened=0 1.49/1.59 c BCD2: #sat=1 #unsat=2 bias=2/3 1.49/1.59 c Solving starts ... 1.49/1.59 c ============================[ Search Statistics ]============================ 1.49/1.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.59 c | | | | Limit GC | Var | Constra 1.49/1.59 c ============================================================================= 1.49/1.59 c 0.0s | 0 | 0 | 0 | 448 0 | 4 | 4 1.59/1.60 c 0.0s | 0 | 245 | 1 | 448 0 | 4 | 4 1.59/1.60 c #cpu_time = 0.010s 1.59/1.60 c #wall_clock_time = 0.010s 1.59/1.60 c #decision = 245 1.59/1.60 c #random_decision = 0 1.59/1.60 c #conflict = 1 1.59/1.60 c #restart = 0 1.59/1.60 c BCD2: found a new core of size 56: cost of the new core is >=1 1.59/1.60 c lower bound updated to 2 1.59/1.60 c BCD2: 2 <= obj <= 524516 1.59/1.60 c BCD2: #cores=2, #unrelaxed=399, #relaxed=79, #hardened=0 1.59/1.60 c BCD2: #sat=1 #unsat=3 bias=3/4 1.59/1.60 c Solving starts ... 1.59/1.60 c ============================[ Search Statistics ]============================ 1.59/1.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.60 c | | | | Limit GC | Var | Constra 1.59/1.60 c ============================================================================= 1.59/1.60 c 0.0s | 0 | 0 | 0 | 448 0 | 4 | 4 1.59/1.61 c 0.0s | 0 | 241 | 1 | 448 0 | 4 | 4 1.59/1.61 c #cpu_time = 0.009s 1.59/1.61 c #wall_clock_time = 0.010s 1.59/1.61 c #decision = 241 1.59/1.61 c #random_decision = 0 1.59/1.61 c #conflict = 1 1.59/1.61 c #restart = 0 1.59/1.61 c BCD2: found a new core of size 26: cost of the new core is >=1 1.59/1.61 c lower bound updated to 3 1.59/1.62 c BCD2: 3 <= obj <= 524516 1.59/1.62 c BCD2: #cores=3, #unrelaxed=373, #relaxed=105, #hardened=0 1.59/1.62 c BCD2: #sat=1 #unsat=4 bias=4/5 1.59/1.62 c Solving starts ... 1.59/1.62 c ============================[ Search Statistics ]============================ 1.59/1.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.62 c | | | | Limit GC | Var | Constra 1.59/1.62 c ============================================================================= 1.59/1.62 c 0.0s | 0 | 0 | 0 | 448 0 | 4 | 4 1.59/1.63 c 0.0s | 0 | 310 | 1 | 448 0 | 4 | 4 1.59/1.63 c #cpu_time = 0.012s 1.59/1.63 c #wall_clock_time = 0.012s 1.59/1.63 c #decision = 310 1.59/1.63 c #random_decision = 0 1.59/1.63 c #conflict = 1 1.59/1.63 c #restart = 0 1.59/1.63 c BCD2: found a new core of size 49: cost of the new core is >=1 1.59/1.63 c lower bound updated to 4 1.59/1.63 c BCD2: 4 <= obj <= 524516 1.59/1.63 c BCD2: #cores=4, #unrelaxed=324, #relaxed=154, #hardened=0 1.59/1.63 c BCD2: #sat=1 #unsat=5 bias=5/6 1.59/1.63 c Solving starts ... 1.59/1.63 c ============================[ Search Statistics ]============================ 1.59/1.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.63 c | | | | Limit GC | Var | Constra 1.59/1.63 c ============================================================================= 1.59/1.63 c 0.0s | 0 | 0 | 0 | 448 0 | 4 | 4 1.59/1.66 c 0.0s | 0 | 742 | 49 | 493 0 | 4 | 4 1.59/1.66 c #cpu_time = 0.031s 1.59/1.66 c #wall_clock_time = 0.031s 1.59/1.66 c #decision = 742 1.59/1.66 c #random_decision = 2 1.59/1.66 c #conflict = 49 1.59/1.66 c #restart = 0 1.59/1.66 o 131632 1.59/1.67 c BCD2: hardening fixes 1 literals 1.59/1.67 c BCD2: updating upper bound: 524516 -> 131631 1.59/1.67 c BCD2: 4 <= obj <= 131631 1.59/1.67 c BCD2: #cores=4, #unrelaxed=324, #relaxed=153, #hardened=1 1.59/1.67 c BCD2: #sat=2 #unsat=5 bias=5/7 1.59/1.67 c Solving starts ... 1.59/1.67 c ============================[ Search Statistics ]============================ 1.59/1.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.67 c | | | | Limit GC | Var | Constra 1.59/1.67 c ============================================================================= 1.59/1.67 c 0.0s | 0 | 0 | 0 | 493 0 | 14 | 4 1.59/1.69 c 0.0s | 0 | 440 | 10 | 493 0 | 14 | 6 1.59/1.69 c #cpu_time = 0.021s 1.59/1.69 c #wall_clock_time = 0.021s 1.59/1.69 c #decision = 440 1.59/1.69 c #random_decision = 0 1.59/1.69 c #conflict = 10 1.59/1.69 c #restart = 0 1.59/1.69 o 8741 1.59/1.69 c BCD2: hardening fixes 4 literals 1.69/1.70 c BCD2: updating upper bound: 131631 -> 8740 1.69/1.70 c BCD2: 4 <= obj <= 8740 1.69/1.70 c BCD2: #cores=4, #unrelaxed=324, #relaxed=149, #hardened=5 1.69/1.70 c BCD2: #sat=3 #unsat=5 bias=5/8 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 | 493 0 | 54 | 7 1.69/1.76 c 0.1s | 1 | 602 | 100 | 493 0 | 54 | 8 1.69/1.79 c 0.1s | 1 | 1157 | 153 | 493 0 | 54 | 8 1.69/1.79 c #cpu_time = 0.094s 1.69/1.79 c #wall_clock_time = 0.094s 1.69/1.79 c #decision = 1157 1.69/1.79 c #random_decision = 1 1.69/1.79 c #conflict = 153 1.69/1.79 c #restart = 1 1.69/1.79 o 5147 1.69/1.80 c BCD2: hardening fixes 1 literals 1.69/1.80 c BCD2: updating upper bound: 8740 -> 5146 1.79/1.80 c BCD2: 4 <= obj <= 5146 1.79/1.80 c BCD2: #cores=4, #unrelaxed=324, #relaxed=148, #hardened=6 1.79/1.80 c BCD2: #sat=4 #unsat=5 bias=5/9 1.79/1.80 c Solving starts ... 1.79/1.80 c ============================[ Search Statistics ]============================ 1.79/1.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.80 c | | | | Limit GC | Var | Constra 1.79/1.80 c ============================================================================= 1.79/1.80 c 0.0s | 0 | 0 | 0 | 493 0 | 64 | 9 1.79/1.82 c 0.0s | 0 | 380 | 18 | 493 0 | 64 | 9 1.79/1.82 c #cpu_time = 0.022s 1.79/1.82 c #wall_clock_time = 0.022s 1.79/1.82 c #decision = 380 1.79/1.82 c #random_decision = 1 1.79/1.82 c #conflict = 18 1.79/1.82 c #restart = 0 1.79/1.82 c BCD2: relaxing 67 and merging with 2 cores into a new core of size 139: cost of the new core is >=3 1.79/1.82 c lower bound updated to 5 1.79/1.82 c BCD2: 5 <= obj <= 5146 1.79/1.82 c BCD2: #cores=3, #unrelaxed=257, #relaxed=215, #hardened=6 1.79/1.82 c BCD2: #sat=4 #unsat=6 bias=6/10 1.79/1.82 c Solving starts ... 1.79/1.82 c ============================[ Search Statistics ]============================ 1.79/1.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.82 c | | | | Limit GC | Var | Constra 1.79/1.82 c ============================================================================= 1.79/1.82 c 0.0s | 0 | 0 | 0 | 493 0 | 74 | 9 1.79/1.85 c 0.0s | 0 | 546 | 26 | 493 0 | 74 | 25 1.79/1.85 c #cpu_time = 0.027s 1.79/1.85 c #wall_clock_time = 0.027s 1.79/1.85 c #decision = 546 1.79/1.85 c #random_decision = 0 1.79/1.85 c #conflict = 26 1.79/1.85 c #restart = 0 1.79/1.85 o 2605 1.79/1.86 c BCD2: hardening fixes 1 literals 1.79/1.86 c BCD2: updating upper bound: 5146 -> 2604 1.79/1.86 c BCD2: 5 <= obj <= 2604 1.79/1.86 c BCD2: #cores=3, #unrelaxed=257, #relaxed=214, #hardened=7 1.79/1.86 c BCD2: #sat=5 #unsat=6 bias=6/11 1.79/1.86 c Solving starts ... 1.79/1.86 c ============================[ Search Statistics ]============================ 1.79/1.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.86 c | | | | Limit GC | Var | Constra 1.79/1.86 c ============================================================================= 1.79/1.86 c 0.0s | 0 | 0 | 0 | 493 0 | 84 | 26 1.89/1.93 c 0.1s | 1 | 564 | 100 | 543 0 | 84 | 27 1.99/2.02 c 0.2s | 2 | 1078 | 250 | 543 0 | 84 | 27 1.99/2.06 c 0.2s | 2 | 1482 | 304 | 543 0 | 84 | 27 1.99/2.06 c #cpu_time = 0.204s 1.99/2.06 c #wall_clock_time = 0.205s 1.99/2.06 c #decision = 1482 1.99/2.06 c #random_decision = 0 1.99/2.06 c #conflict = 304 1.99/2.06 c #restart = 2 1.99/2.06 c BCD2: relaxing 141 and merging with 3 cores into a new core of size 362: cost of the new core is >=6 1.99/2.06 c lower bound updated to 6 1.99/2.07 c BCD2: 6 <= obj <= 2604 1.99/2.07 c BCD2: #cores=1, #unrelaxed=116, #relaxed=355, #hardened=7 1.99/2.07 c BCD2: #sat=5 #unsat=7 bias=7/12 1.99/2.07 c Solving starts ... 1.99/2.07 c ============================[ Search Statistics ]============================ 1.99/2.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.07 c | | | | Limit GC | Var | Constra 1.99/2.07 c ============================================================================= 1.99/2.07 c 0.0s | 0 | 0 | 0 | 543 0 | 98 | 27 2.09/2.13 c 0.1s | 0 | 658 | 72 | 598 0 | 98 | 51 2.09/2.13 c #cpu_time = 0.059s 2.09/2.13 c #wall_clock_time = 0.059s 2.09/2.13 c #decision = 658 2.09/2.13 c #random_decision = 1 2.09/2.13 c #conflict = 72 2.09/2.13 c #restart = 0 2.09/2.13 o 1098 2.09/2.13 c BCD2: hardening fixes 1 literals 2.09/2.13 c BCD2: updating upper bound: 2604 -> 1097 2.09/2.13 c BCD2: 6 <= obj <= 1097 2.09/2.13 c BCD2: #cores=1, #unrelaxed=116, #relaxed=354, #hardened=8 2.09/2.13 c BCD2: #sat=6 #unsat=7 bias=7/13 2.09/2.13 c Solving starts ... 2.09/2.13 c ============================[ Search Statistics ]============================ 2.09/2.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.13 c | | | | Limit GC | Var | Constra 2.09/2.13 c ============================================================================= 2.09/2.13 c 0.0s | 0 | 0 | 0 | 598 0 | 108 | 52 2.19/2.20 c 0.1s | 1 | 509 | 100 | 598 0 | 108 | 52 2.19/2.29 c 0.2s | 2 | 976 | 250 | 598 0 | 108 | 52 2.49/2.52 c 0.4s | 3 | 1452 | 475 | 598 0 | 108 | 52 2.79/2.88 c 0.7s | 4 | 1898 | 813 | 658 1 | 108 | 52 3.40/3.41 c 1.3s | 5 | 2512 | 1320 | 724 2 | 108 | 52 4.19/4.21 c 2.1s | 6 | 3402 | 2081 | 724 3 | 108 | 52 5.29/5.34 c 3.2s | 7 | 4654 | 3223 | 797 5 | 108 | 52 6.99/7.06 c 4.9s | 8 | 6490 | 4936 | 877 8 | 108 | 52 9.00/9.09 c 7.0s | 8 | 8719 | 7036 | 965 12 | 108 | 52 9.49/9.53 c 7.4s | 9 | 9189 | 7506 | 965 13 | 108 | 52 11.49/11.55 c 9.4s | 9 | 11602 | 9806 | 965 16 | 108 | 52 12.89/12.94 c 10.8s | 10 | 13181 | 11361 | 1062 19 | 108 | 52 14.89/14.96 c 12.8s | 10 | 15599 | 13661 | 1062 22 | 108 | 52 16.89/16.99 c 14.9s | 10 | 17965 | 15961 | 1062 25 | 108 | 52 17.99/18.01 c 15.9s | 11 | 19211 | 17144 | 1169 27 | 108 | 52 20.00/20.02 c 17.9s | 11 | 21606 | 19344 | 1169 30 | 108 | 52 21.99/22.04 c 19.9s | 11 | 23918 | 21644 | 1169 33 | 108 | 52 23.99/24.08 c 21.9s | 11 | 26230 | 23944 | 1169 36 | 108 | 52 25.69/25.76 c 23.6s | 12 | 28116 | 25819 | 1286 39 | 108 | 52 27.79/27.83 c 25.7s | 12 | 30561 | 28119 | 1286 42 | 108 | 52 29.80/29.89 c 27.8s | 12 | 32869 | 30419 | 1286 45 | 108 | 52 31.89/31.90 c 29.8s | 12 | 35081 | 32619 | 1286 47 | 108 | 52 33.89/33.91 c 31.8s | 12 | 37297 | 34819 | 1286 50 | 108 | 52 35.89/35.99 c 33.9s | 12 | 39611 | 37119 | 1286 53 | 108 | 52 37.49/37.52 c 35.4s | 13 | 41325 | 38832 | 1415 55 | 108 | 52 39.49/39.55 c 37.4s | 13 | 43642 | 41032 | 1415 58 | 108 | 52 41.59/41.63 c 39.5s | 13 | 45950 | 43332 | 1415 60 | 108 | 52 43.59/43.66 c 41.5s | 13 | 48153 | 45532 | 1415 63 | 108 | 52 45.69/45.72 c 43.6s | 13 | 50464 | 47832 | 1415 65 | 108 | 52 47.69/47.78 c 45.7s | 13 | 52791 | 50132 | 1415 68 | 108 | 52 49.79/49.81 c 47.7s | 13 | 55104 | 52432 | 1415 71 | 108 | 52 51.79/51.87 c 49.7s | 13 | 57412 | 54732 | 1415 73 | 108 | 52 53.88/53.93 c 51.8s | 13 | 59729 | 57032 | 1415 76 | 108 | 52 54.98/55.09 c 53.0s | 14 | 61050 | 58352 | 1557 77 | 108 | 52 57.08/57.15 c 55.0s | 14 | 63370 | 60552 | 1557 80 | 108 | 52 59.18/59.23 c 57.1s | 14 | 65579 | 62752 | 1557 82 | 108 | 52 61.18/61.25 c 59.1s | 14 | 67689 | 64852 | 1557 85 | 108 | 52 63.18/63.29 c 61.2s | 14 | 69894 | 67052 | 1557 87 | 108 | 52 65.28/65.33 c 63.2s | 14 | 72201 | 69352 | 1557 89 | 108 | 52 67.29/67.36 c 65.2s | 14 | 74428 | 71552 | 1557 92 | 108 | 52 69.28/69.37 c 67.2s | 14 | 76633 | 73752 | 1557 94 | 108 | 52 71.38/71.42 c 69.3s | 14 | 78846 | 75952 | 1557 97 | 108 | 52 73.38/73.49 c 71.4s | 14 | 81053 | 78152 | 1557 99 | 108 | 52 75.48/75.53 c 73.4s | 14 | 83262 | 80352 | 1557 101 | 108 | 52 77.58/77.62 c 75.5s | 14 | 85467 | 82552 | 1557 104 | 108 | 52 79.58/79.67 c 77.5s | 14 | 87684 | 84752 | 1557 106 | 108 | 52 81.68/81.75 c 79.6s | 14 | 89889 | 86952 | 1713 108 | 108 | 52 82.28/82.39 c 80.3s | 15 | 90567 | 87632 | 1713 109 | 108 | 52 84.38/84.46 c 82.3s | 15 | 92879 | 89832 | 1713 111 | 108 | 52 86.38/86.48 c 84.3s | 15 | 95088 | 92032 | 1713 113 | 108 | 52 88.48/88.56 c 86.4s | 15 | 97309 | 94232 | 1713 115 | 108 | 52 90.58/90.62 c 88.5s | 15 | 99509 | 96432 | 1713 118 | 108 | 52 92.67/92.70 c 90.6s | 15 | 101718 | 98632 | 1713 120 | 108 | 52 94.68/94.73 c 92.6s | 15 | 103928 | 100832 | 1713 122 | 108 | 52 96.67/96.79 c 94.7s | 15 | 106142 | 103032 | 1713 124 | 108 | 52 98.77/98.87 c 96.7s | 15 | 108357 | 105232 | 1713 126 | 108 | 52 100.87/100.94 c 98.8s | 15 | 110613 | 107432 | 1713 129 | 108 | 52 102.87/102.96 c 100s | 15 | 112835 | 109632 | 1713 131 | 108 | 52 104.97/105.02 c 102s | 15 | 115052 | 111832 | 1713 133 | 108 | 52 106.97/107.06 c 104s | 15 | 117263 | 114032 | 1713 135 | 108 | 52 109.08/109.14 c 107s | 15 | 119466 | 116232 | 1713 137 | 108 | 52 111.18/111.22 c 109s | 15 | 121673 | 118432 | 1713 139 | 108 | 52 113.17/113.27 c 111s | 15 | 123887 | 120632 | 1713 142 | 108 | 52 115.27/115.32 c 113s | 15 | 126098 | 122832 | 1713 144 | 108 | 52 117.27/117.37 c 115s | 15 | 128304 | 125032 | 1713 146 | 108 | 52 119.37/119.42 c 117s | 15 | 130512 | 127232 | 1713 148 | 108 | 52 121.47/121.51 c 119s | 15 | 132722 | 129432 | 1713 150 | 108 | 52 123.47/123.50 c 121s | 16 | 134852 | 131552 | 1885 152 | 108 | 52 125.48/125.57 c 123s | 16 | 137165 | 133752 | 1885 154 | 108 | 52 127.57/127.66 c 125s | 16 | 139374 | 135952 | 1885 156 | 108 | 52 129.67/129.75 c 127s | 16 | 141579 | 138152 | 1885 158 | 108 | 52 131.77/131.85 c 129s | 16 | 143797 | 140352 | 1885 160 | 108 | 52 133.77/133.87 c 131s | 16 | 146001 | 142552 | 1885 162 | 108 | 52 135.87/135.94 c 133s | 16 | 148213 | 144752 | 1885 165 | 108 | 52 137.97/138.02 c 135s | 16 | 150424 | 146952 | 1885 167 | 108 | 52 139.97/140.04 c 137s | 16 | 152634 | 149152 | 1885 169 | 108 | 52 142.07/142.13 c 139s | 16 | 154841 | 151352 | 1885 171 | 108 | 52 144.17/144.21 c 142s | 16 | 157162 | 153652 | 1885 173 | 108 | 52 146.16/146.28 c 144s | 16 | 159373 | 155852 | 1885 175 | 108 | 52 148.26/148.34 c 146s | 16 | 161582 | 158052 | 1885 177 | 108 | 52 150.36/150.41 c 148s | 16 | 163796 | 160252 | 1885 179 | 108 | 52 152.36/152.42 c 150s | 16 | 165909 | 162352 | 1885 181 | 108 | 52 154.36/154.44 c 152s | 16 | 168016 | 164452 | 1885 183 | 108 | 52 156.46/156.50 c 154s | 16 | 170223 | 166652 | 1885 185 | 108 | 52 158.47/158.56 c 156s | 16 | 172426 | 168852 | 1885 187 | 108 | 52 160.46/160.58 c 158s | 16 | 174536 | 170952 | 1885 189 | 108 | 52 162.56/162.66 c 160s | 16 | 176738 | 173152 | 1885 191 | 108 | 52 164.66/164.73 c 162s | 16 | 178960 | 175352 | 1885 193 | 108 | 52 166.66/166.74 c 164s | 16 | 181171 | 177552 | 1885 195 | 108 | 52 168.76/168.81 c 166s | 16 | 183371 | 179752 | 1885 197 | 108 | 52 170.76/170.84 c 168s | 16 | 185492 | 181852 | 1885 199 | 108 | 52 172.86/172.91 c 170s | 16 | 187693 | 184052 | 1885 201 | 108 | 52 174.87/174.94 c 172s | 16 | 189900 | 186252 | 1885 203 | 108 | 52 176.87/176.98 c 174s | 16 | 192102 | 188452 | 1885 205 | 108 | 52 178.97/179.02 c 176s | 16 | 194313 | 190652 | 1885 207 | 108 | 52 180.97/181.07 c 178s | 16 | 196523 | 192852 | 1885 209 | 108 | 52 183.07/183.10 c 180s | 16 | 198727 | 195052 | 1885 211 | 108 | 52 185.06/185.18 c 183s | 16 | 200941 | 197252 | 2074 212 | 108 | 52 185.26/185.35 c 183s | 17 | 201122 | 197432 | 2074 213 | 108 | 52 187.26/187.36 c 185s | 17 | 203372 | 199532 | 2074 214 | 108 | 52 189.37/189.43 c 187s | 17 | 205584 | 201732 | 2074 216 | 108 | 52 191.36/191.43 c 189s | 17 | 207789 | 203932 | 2074 218 | 108 | 52 193.46/193.51 c 191s | 17 | 210097 | 206232 | 2074 220 | 108 | 52 195.46/195.58 c 193s | 17 | 212316 | 208432 | 2074 222 | 108 | 52 197.56/197.67 c 195s | 17 | 214530 | 210632 | 2074 224 | 108 | 52 199.56/199.68 c 197s | 17 | 216635 | 212732 | 2074 225 | 108 | 52 201.66/201.71 c 199s | 17 | 218845 | 214932 | 2074 227 | 108 | 52 203.67/203.78 c 201s | 17 | 221053 | 217132 | 2074 229 | 108 | 52 205.77/205.86 c 203s | 17 | 223258 | 219332 | 2074 231 | 108 | 52 207.86/207.90 c 205s | 17 | 225370 | 221432 | 2074 233 | 108 | 52 209.86/209.98 c 207s | 17 | 227578 | 223632 | 2074 235 | 108 | 52 211.96/212.08 c 209s | 17 | 229791 | 225832 | 2074 237 | 108 | 52 213.96/214.09 c 211s | 17 | 231893 | 227932 | 2074 238 | 108 | 52 216.06/216.18 c 214s | 17 | 233995 | 230032 | 2074 240 | 108 | 52 218.16/218.25 c 216s | 17 | 236111 | 232132 | 2074 242 | 108 | 52 220.26/220.31 c 218s | 17 | 238320 | 234332 | 2074 244 | 108 | 52 222.36/222.43 c 220s | 17 | 240522 | 236532 | 2074 246 | 108 | 52 224.36/224.44 c 222s | 17 | 242735 | 238732 | 2074 247 | 108 | 52 226.36/226.46 c 224s | 17 | 244943 | 240932 | 2074 249 | 108 | 52 228.46/228.55 c 226s | 17 | 247251 | 243232 | 2074 251 | 108 | 52 230.56/230.60 c 228s | 17 | 249263 | 245232 | 2074 253 | 108 | 52 232.56/232.69 c 230s | 17 | 251496 | 247432 | 2074 255 | 108 | 52 234.66/234.73 c 232s | 17 | 253705 | 249632 | 2074 257 | 108 | 52 236.66/236.73 c 234s | 17 | 255822 | 251732 | 2074 258 | 108 | 52 238.65/238.73 c 236s | 17 | 257929 | 253832 | 2074 260 | 108 | 52 240.65/240.74 c 238s | 17 | 260041 | 255932 | 2074 262 | 108 | 52 242.75/242.83 c 240s | 17 | 262255 | 258132 | 2074 264 | 108 | 52 244.85/244.90 c 242s | 17 | 264363 | 260232 | 2074 266 | 108 | 52 246.85/246.91 c 244s | 17 | 266466 | 262332 | 2074 267 | 108 | 52 248.85/248.93 c 246s | 17 | 268579 | 264432 | 2074 269 | 108 | 52 250.86/250.94 c 248s | 17 | 270685 | 266532 | 2074 271 | 108 | 52 252.85/252.96 c 250s | 17 | 272796 | 268632 | 2074 273 | 108 | 52 254.95/255.03 c 252s | 17 | 275001 | 270832 | 2074 275 | 108 | 52 256.95/257.04 c 254s | 17 | 277205 | 273032 | 2074 276 | 108 | 52 259.05/259.12 c 256s | 17 | 279329 | 275132 | 2074 278 | 108 | 52 261.05/261.13 c 259s | 17 | 281464 | 277232 | 2074 280 | 108 | 52 263.06/263.19 c 261s | 17 | 283678 | 279432 | 2074 282 | 108 | 52 265.16/265.25 c 263s | 17 | 285889 | 281632 | 2074 284 | 108 | 52 267.15/267.28 c 265s | 17 | 288098 | 283832 | 2074 285 | 108 | 52 269.25/269.31 c 267s | 17 | 290309 | 286032 | 2074 287 | 108 | 52 271.25/271.33 c 269s | 17 | 292416 | 288132 | 2074 289 | 108 | 52 273.25/273.39 c 271s | 17 | 294622 | 290332 | 2074 291 | 108 | 52 275.35/275.44 c 273s | 17 | 296733 | 292432 | 2074 293 | 108 | 52 277.35/277.49 c 275s | 17 | 298939 | 294632 | 2282 294 | 108 | 52 278.95/279.04 c 276s | 18 | 300563 | 296252 | 2282 296 | 108 | 52 280.95/281.04 c 278s | 18 | 302781 | 298352 | 2282 297 | 108 | 52 282.95/283.08 c 280s | 18 | 304989 | 300552 | 2282 299 | 108 | 52 285.05/285.13 c 282s | 18 | 307256 | 302752 | 2282 301 | 108 | 52 287.04/287.15 c 285s | 18 | 309403 | 304852 | 2282 302 | 108 | 52 289.14/289.20 c 287s | 18 | 311606 | 307052 | 2282 304 | 108 | 52 291.14/291.27 c 289s | 18 | 313828 | 309252 | 2282 306 | 108 | 52 293.24/293.32 c 291s | 18 | 316097 | 311452 | 2282 307 | 108 | 52 295.24/295.35 c 293s | 18 | 318347 | 313552 | 2282 309 | 108 | 52 297.34/297.40 c 295s | 18 | 320496 | 315652 | 2282 311 | 108 | 52 299.35/299.45 c 297s | 18 | 322708 | 317852 | 2282 312 | 108 | 52 301.34/301.49 c 299s | 18 | 324922 | 320052 | 2282 314 | 108 | 52 303.44/303.50 c 301s | 18 | 327054 | 322152 | 2282 316 | 108 | 52 305.44/305.53 c 303s | 18 | 329159 | 324252 | 2282 317 | 108 | 52 307.44/307.57 c 305s | 18 | 331276 | 326352 | 2282 319 | 108 | 52 309.54/309.62 c 307s | 18 | 333382 | 328452 | 2282 321 | 108 | 52 311.54/311.68 c 309s | 18 | 335596 | 330652 | 2282 322 | 108 | 52 313.54/313.70 c 311s | 18 | 337709 | 332752 | 2282 324 | 108 | 52 315.64/315.77 c 313s | 18 | 339912 | 334952 | 2282 326 | 108 | 52 317.74/317.82 c 315s | 18 | 342127 | 337152 | 2282 327 | 108 | 52 319.84/319.90 c 317s | 18 | 344334 | 339352 | 2282 329 | 108 | 52 321.84/321.91 c 319s | 18 | 346459 | 341452 | 2282 331 | 108 | 52 323.93/324.01 c 321s | 18 | 348681 | 343652 | 2282 332 | 108 | 52 325.93/326.02 c 323s | 18 | 350791 | 345752 | 2282 334 | 108 | 52 327.94/328.07 c 325s | 18 | 352897 | 347852 | 2282 336 | 108 | 52 330.04/330.14 c 328s | 18 | 355102 | 350052 | 2282 337 | 108 | 52 332.03/332.18 c 330s | 18 | 357220 | 352152 | 2282 339 | 108 | 52 334.13/334.25 c 332s | 18 | 359459 | 354352 | 2282 341 | 108 | 52 336.13/336.26 c 334s | 18 | 361669 | 356552 | 2282 342 | 108 | 52 338.23/338.34 c 336s | 18 | 363982 | 358852 | 2282 344 | 108 | 52 340.23/340.39 c 338s | 18 | 366190 | 361052 | 2282 346 | 108 | 52 342.33/342.42 c 340s | 18 | 368395 | 363252 | 2282 348 | 108 | 52 344.34/344.45 c 342s | 18 | 370507 | 365352 | 2282 349 | 108 | 52 346.43/346.50 c 344s | 18 | 372616 | 367452 | 2282 351 | 108 | 52 348.43/348.53 c 346s | 18 | 374882 | 369652 | 2282 353 | 108 | 52 350.43/350.55 c 348s | 18 | 377016 | 371752 | 2282 354 | 108 | 52 352.53/352.60 c 350s | 18 | 379231 | 373952 | 2282 356 | 108 | 52 354.54/354.69 c 352s | 18 | 381445 | 376152 | 2282 358 | 108 | 52 356.64/356.77 c 354s | 18 | 383664 | 378352 | 2282 359 | 108 | 52 358.65/358.79 c 356s | 18 | 385779 | 380452 | 2282 361 | 108 | 52 360.64/360.79 c 358s | 18 | 387891 | 382552 | 2282 363 | 108 | 52 362.74/362.86 c 360s | 18 | 390096 | 384752 | 2282 364 | 108 | 52 364.74/364.87 c 362s | 18 | 392206 | 386852 | 2282 366 | 108 | 52 366.84/366.91 c 364s | 18 | 394316 | 388952 | 2282 367 | 108 | 52 368.84/368.99 c 366s | 18 | 396423 | 391052 | 2282 369 | 108 | 52 370.94/371.04 c 368s | 18 | 398534 | 393152 | 2282 371 | 108 | 52 372.94/373.05 c 370s | 18 | 400629 | 395252 | 2282 372 | 108 | 52 374.94/375.05 c 372s | 18 | 402733 | 397352 | 2282 374 | 108 | 52 377.04/377.13 c 374s | 18 | 404949 | 399552 | 2282 376 | 108 | 52 379.04/379.16 c 377s | 18 | 407054 | 401652 | 2282 377 | 108 | 52 381.14/381.26 c 379s | 18 | 409266 | 403852 | 2282 379 | 108 | 52 383.23/383.32 c 381s | 18 | 411474 | 406052 | 2282 381 | 108 | 52 385.23/385.38 c 383s | 18 | 413603 | 408152 | 2282 382 | 108 | 52 387.34/387.42 c 385s | 18 | 415736 | 410252 | 2282 384 | 108 | 52 389.33/389.47 c 387s | 18 | 417851 | 412352 | 2282 386 | 108 | 52 391.33/391.48 c 389s | 18 | 420003 | 414452 | 2282 387 | 108 | 52 393.33/393.49 c 391s | 18 | 422117 | 416552 | 2282 389 | 108 | 52 395.43/395.55 c 393s | 18 | 424243 | 418652 | 2282 390 | 108 | 52 397.53/397.64 c 395s | 18 | 426493 | 420852 | 2282 392 | 108 | 52 399.53/399.64 c 397s | 18 | 428605 | 422952 | 2282 394 | 108 | 52 401.54/401.69 c 399s | 18 | 430809 | 425152 | 2282 396 | 108 | 52 403.63/403.74 c 401s | 18 | 433021 | 427352 | 2282 397 | 108 | 52 405.63/405.77 c 403s | 18 | 435140 | 429452 | 2282 399 | 108 | 52 407.73/407.80 c 405s | 18 | 437368 | 431652 | 2282 401 | 108 | 52 409.73/409.84 c 407s | 18 | 439621 | 433852 | 2282 402 | 108 | 52 411.73/411.84 c 409s | 18 | 441648 | 435852 | 2282 404 | 108 | 52 413.74/413.84 c 411s | 18 | 443760 | 437952 | 2282 405 | 108 | 52 415.83/415.92 c 413s | 18 | 445972 | 440152 | 2282 407 | 108 | 52 417.83/417.92 c 415s | 18 | 448086 | 442252 | 2511 409 | 108 | 52 419.93/420.00 c 417s | 18 | 450304 | 444452 | 2511 410 | 108 | 52 419.93/420.03 c 417s | 19 | 450335 | 444482 | 2511 410 | 108 | 52 422.03/422.11 c 419s | 19 | 452550 | 446582 | 2511 412 | 108 | 52 424.03/424.11 c 421s | 19 | 454753 | 448782 | 2511 413 | 108 | 52 426.13/426.21 c 424s | 19 | 456864 | 450882 | 2511 415 | 108 | 52 428.13/428.21 c 426s | 19 | 459019 | 452982 | 2511 416 | 108 | 52 430.13/430.27 c 428s | 19 | 461489 | 455282 | 2511 418 | 108 | 52 432.13/432.27 c 430s | 19 | 463695 | 457482 | 2511 419 | 108 | 52 434.23/434.32 c 432s | 19 | 465900 | 459682 | 2511 421 | 108 | 52 436.32/436.40 c 434s | 19 | 468108 | 461882 | 2511 423 | 108 | 52 438.32/438.43 c 436s | 19 | 470214 | 463982 | 2511 424 | 108 | 52 440.42/440.50 c 438s | 19 | 472332 | 466082 | 2511 426 | 108 | 52 442.42/442.59 c 440s | 19 | 474537 | 468282 | 2511 427 | 108 | 52 444.53/444.62 c 442s | 19 | 476543 | 470282 | 2511 429 | 108 | 52 446.52/446.65 c 444s | 19 | 478664 | 472382 | 2511 430 | 108 | 52 448.62/448.70 c 446s | 19 | 480774 | 474482 | 2511 432 | 108 | 52 450.62/450.73 c 448s | 19 | 482876 | 476582 | 2511 433 | 108 | 52 452.72/452.82 c 450s | 19 | 484996 | 478682 | 2511 435 | 108 | 52 454.72/454.83 c 452s | 19 | 487116 | 480782 | 2511 436 | 108 | 52 456.72/456.86 c 454s | 19 | 489122 | 482782 | 2511 437 | 108 | 52 458.73/458.89 c 456s | 19 | 491231 | 484882 | 2511 439 | 108 | 52 460.82/460.92 c 458s | 19 | 493337 | 486982 | 2511 440 | 108 | 52 462.82/462.96 c 460s | 19 | 495347 | 488982 | 2511 442 | 108 | 52 464.92/465.01 c 462s | 19 | 497449 | 491082 | 2511 443 | 108 | 52 466.92/467.04 c 464s | 19 | 499458 | 493082 | 2511 445 | 108 | 52 469.02/469.11 c 466s | 19 | 501672 | 495282 | 2511 446 | 108 | 52 471.02/471.16 c 469s | 19 | 503878 | 497482 | 2511 448 | 108 | 52 473.12/473.24 c 471s | 19 | 506084 | 499682 | 2511 449 | 108 | 52 475.22/475.31 c 473s | 19 | 508100 | 501682 | 2511 451 | 108 | 52 477.22/477.33 c 475s | 19 | 510109 | 503682 | 2511 452 | 108 | 52 479.22/479.36 c 477s | 19 | 512121 | 505682 | 2511 454 | 108 | 52 481.21/481.39 c 479s | 19 | 514149 | 507682 | 2511 455 | 108 | 52 483.31/483.43 c 481s | 19 | 516161 | 509682 | 2511 457 | 108 | 52 485.31/485.46 c 483s | 19 | 518274 | 511782 | 2511 458 | 108 | 52 487.42/487.56 c 485s | 19 | 520393 | 513882 | 2511 460 | 108 | 52 489.52/489.61 c 487s | 19 | 522500 | 515982 | 2511 461 | 108 | 52 491.51/491.68 c 489s | 19 | 524611 | 518082 | 2511 463 | 108 | 52 493.61/493.73 c 491s | 19 | 526727 | 520182 | 2511 464 | 108 | 52 495.61/495.74 c 493s | 19 | 528741 | 522182 | 2511 466 | 108 | 52 497.71/497.82 c 495s | 19 | 530946 | 524382 | 2511 467 | 108 | 52 499.72/499.83 c 497s | 19 | 532972 | 526382 | 2511 469 | 108 | 52 501.72/501.84 c 499s | 19 | 535079 | 528482 | 2511 470 | 108 | 52 503.72/503.88 c 501s | 19 | 537188 | 530582 | 2511 472 | 108 | 52 505.82/505.91 c 503s | 19 | 539296 | 532682 | 2511 473 | 108 | 52 507.81/507.94 c 505s | 19 | 541406 | 534782 | 2511 475 | 108 | 52 509.81/509.98 c 507s | 19 | 543522 | 536882 | 2511 476 | 108 | 52 511.91/512.01 c 509s | 19 | 545536 | 538882 | 2511 477 | 108 | 52 513.91/514.03 c 511s | 19 | 547643 | 540982 | 2511 479 | 108 | 52 516.02/516.11 c 513s | 19 | 549855 | 543182 | 2511 481 | 108 | 52 518.01/518.20 c 516s | 19 | 551962 | 545282 | 2511 482 | 108 | 52 520.11/520.21 c 518s | 19 | 554070 | 547382 | 2511 484 | 108 | 52 522.11/522.23 c 520s | 19 | 556191 | 549482 | 2511 485 | 108 | 52 524.11/524.26 c 522s | 19 | 558300 | 551582 | 2511 487 | 108 | 52 526.21/526.34 c 524s | 19 | 560510 | 553782 | 2511 488 | 108 | 52 528.31/528.43 c 526s | 19 | 562624 | 555882 | 2511 490 | 108 | 52 530.41/530.52 c 528s | 19 | 564823 | 558082 | 2511 491 | 108 | 52 532.42/532.52 c 530s | 19 | 566935 | 560182 | 2511 493 | 108 | 52 534.51/534.61 c 532s | 19 | 569041 | 562282 | 2511 494 | 108 | 52 536.51/536.65 c 534s | 19 | 571150 | 564382 | 2511 496 | 108 | 52 538.51/538.69 c 536s | 19 | 573261 | 566482 | 2511 497 | 108 | 52 540.61/540.71 c 538s | 19 | 575371 | 568582 | 2511 499 | 108 | 52 542.61/542.73 c 540s | 19 | 577475 | 570682 | 2511 500 | 108 | 52 544.61/544.74 c 542s | 19 | 579577 | 572782 | 2511 502 | 108 | 52 546.61/546.75 c 544s | 19 | 581690 | 574882 | 2511 503 | 108 | 52 548.61/548.79 c 546s | 19 | 583799 | 576982 | 2511 505 | 108 | 52 550.71/550.80 c 548s | 19 | 585810 | 578982 | 2511 506 | 108 | 52 552.71/552.83 c 550s | 19 | 587934 | 581082 | 2511 508 | 108 | 52 554.70/554.84 c 552s | 19 | 590043 | 583182 | 2511 509 | 108 | 52 556.71/556.85 c 554s | 19 | 592155 | 585282 | 2511 511 | 108 | 52 558.70/558.90 c 556s | 19 | 594262 | 587382 | 2511 512 | 108 | 52 560.80/560.93 c 558s | 19 | 596368 | 589482 | 2511 514 | 108 | 52 562.90/563.01 c 560s | 19 | 598578 | 591682 | 2511 515 | 108 | 52 564.90/565.08 c 562s | 19 | 600695 | 593782 | 2511 517 | 108 | 52 567.00/567.17 c 565s | 19 | 602897 | 595982 | 2511 518 | 108 | 52 569.10/569.21 c 567s | 19 | 605007 | 598082 | 2511 520 | 108 | 52 571.10/571.28 c 569s | 19 | 607111 | 600182 | 2511 521 | 108 | 52 573.21/573.31 c 571s | 19 | 609222 | 602282 | 2511 523 | 108 | 52 575.20/575.40 c 573s | 19 | 611443 | 604482 | 2511 524 | 108 | 52 577.30/577.47 c 575s | 19 | 613665 | 606682 | 2511 526 | 108 | 52 579.40/579.55 c 577s | 19 | 615786 | 608782 | 2511 527 | 108 | 52 581.40/581.58 c 579s | 19 | 617892 | 610882 | 2511 529 | 108 | 52 583.50/583.66 c 581s | 19 | 620100 | 613082 | 2511 530 | 108 | 52 585.60/585.74 c 583s | 19 | 622326 | 615282 | 2511 532 | 108 | 52 587.60/587.76 c 585s | 19 | 624430 | 617382 | 2511 533 | 108 | 52 589.70/589.83 c 587s | 19 | 626548 | 619482 | 2511 535 | 108 | 52 591.70/591.85 c 589s | 19 | 628649 | 621582 | 2511 536 | 108 | 52 593.70/593.86 c 591s | 19 | 630673 | 623582 | 2511 538 | 108 | 52 595.80/595.94 c 593s | 19 | 632782 | 625682 | 2511 539 | 108 | 52 597.90/598.03 c 595s | 19 | 634892 | 627782 | 2511 541 | 108 | 52 600.00/600.11 c 597s | 19 | 637003 | 629882 | 2511 542 | 108 | 52 602.00/602.16 c 600s | 19 | 639108 | 631982 | 2511 544 | 108 | 52 604.10/604.24 c 602s | 19 | 641125 | 633982 | 2511 545 | 108 | 52 606.20/606.33 c 604s | 19 | 643229 | 636082 | 2511 547 | 108 | 52 608.30/608.41 c 606s | 19 | 645440 | 638282 | 2511 548 | 108 | 52 610.39/610.50 c 608s | 19 | 647561 | 640382 | 2511 550 | 108 | 52 612.39/612.52 c 610s | 19 | 649670 | 642482 | 2511 551 | 108 | 52 614.39/614.55 c 612s | 19 | 651795 | 644582 | 2511 553 | 108 | 52 616.49/616.65 c 614s | 19 | 653914 | 646682 | 2511 554 | 108 | 52 618.49/618.66 c 616s | 19 | 655918 | 648682 | 2511 556 | 108 | 52 620.59/620.77 c 618s | 19 | 658026 | 650782 | 2511 557 | 108 | 52 622.60/622.80 c 620s | 19 | 660135 | 652882 | 2511 559 | 108 | 52 624.69/624.88 c 622s | 19 | 662337 | 655082 | 2511 560 | 108 | 52 626.69/626.89 c 624s | 19 | 664447 | 657182 | 2511 562 | 108 | 52 628.79/628.96 c 626s | 19 | 666567 | 659282 | 2511 563 | 108 | 52 630.89/631.05 c 628s | 19 | 668777 | 661482 | 2763 565 | 108 | 52 632.99/633.10 c 630s | 19 | 670909 | 663582 | 2763 566 | 108 | 52 634.99/635.15 c 633s | 19 | 673013 | 665682 | 2763 568 | 108 | 52 636.09/636.25 c 634s | 20 | 674156 | 666827 | 2763 568 | 108 | 52 638.10/638.28 c 636s | 20 | 676276 | 668827 | 2763 570 | 108 | 52 640.19/640.35 c 638s | 20 | 678381 | 670927 | 2763 571 | 108 | 52 642.19/642.38 c 640s | 20 | 680490 | 673027 | 2763 572 | 108 | 52 644.29/644.40 c 642s | 20 | 682594 | 675127 | 2763 574 | 108 | 52 646.29/646.43 c 644s | 20 | 684706 | 677227 | 2763 575 | 108 | 52 648.29/648.47 c 646s | 20 | 686814 | 679327 | 2763 576 | 108 | 52 650.39/650.53 c 648s | 20 | 688826 | 681327 | 2763 578 | 108 | 52 652.39/652.56 c 650s | 20 | 691035 | 683527 | 2763 579 | 108 | 52 654.49/654.63 c 652s | 20 | 693244 | 685727 | 2763 581 | 108 | 52 656.58/656.71 c 654s | 20 | 695344 | 687827 | 2763 582 | 108 | 52 658.59/658.79 c 656s | 20 | 697450 | 689927 | 2763 583 | 108 | 52 660.59/660.79 c 658s | 20 | 699459 | 691927 | 2763 585 | 108 | 52 662.69/662.80 c 660s | 20 | 701567 | 694027 | 2763 586 | 108 | 52 664.69/664.86 c 662s | 20 | 703676 | 696127 | 2763 587 | 108 | 52 666.70/666.89 c 664s | 20 | 705784 | 698227 | 2763 589 | 108 | 52 668.80/668.93 c 666s | 20 | 707896 | 700327 | 2763 590 | 108 | 52 670.79/670.98 c 668s | 20 | 710012 | 702427 | 2763 592 | 108 | 52 672.89/673.04 c 670s | 20 | 712217 | 704627 | 2763 593 | 108 | 52 674.99/675.13 c 672s | 20 | 714431 | 706827 | 2763 594 | 108 | 52 677.09/677.20 c 675s | 20 | 716636 | 709027 | 2763 596 | 108 | 52 679.09/679.22 c 677s | 20 | 718744 | 711127 | 2763 597 | 108 | 52 681.09/681.25 c 679s | 20 | 720854 | 713227 | 2763 599 | 108 | 52 683.09/683.27 c 681s | 20 | 722964 | 715327 | 2763 600 | 108 | 52 685.19/685.37 c 683s | 20 | 725180 | 717527 | 2763 601 | 108 | 52 687.39/687.51 c 685s | 20 | 727385 | 719727 | 2763 603 | 108 | 52 689.39/689.52 c 687s | 20 | 729493 | 721827 | 2763 604 | 108 | 52 691.39/691.59 c 689s | 20 | 731619 | 723927 | 2763 606 | 108 | 52 693.49/693.62 c 691s | 20 | 733727 | 726027 | 2763 607 | 108 | 52 695.49/695.65 c 693s | 20 | 735835 | 728127 | 2763 608 | 108 | 52 697.59/697.70 c 695s | 20 | 738044 | 730327 | 2763 610 | 108 | 52 699.48/699.70 c 697s | 20 | 740152 | 732427 | 2763 611 | 108 | 52 701.58/701.72 c 699s | 20 | 742259 | 734527 | 2763 612 | 108 | 52 703.68/703.80 c 701s | 20 | 744368 | 736627 | 2763 614 | 108 | 52 705.68/705.80 c 703s | 20 | 746378 | 738627 | 2763 615 | 108 | 52 707.68/707.87 c 705s | 20 | 748594 | 740827 | 2763 617 | 108 | 52 709.78/709.93 c 707s | 20 | 750810 | 743027 | 2763 618 | 108 | 52 711.79/711.96 c 709s | 20 | 752926 | 745127 | 2763 619 | 108 | 52 713.78/713.98 c 711s | 20 | 755037 | 747227 | 2763 621 | 108 | 52 715.78/715.98 c 713s | 20 | 757041 | 749227 | 2763 622 | 108 | 52 717.78/717.98 c 715s | 20 | 759154 | 751327 | 2763 623 | 108 | 52 719.88/720.02 c 717s | 20 | 761259 | 753427 | 2763 625 | 108 | 52 721.88/722.03 c 719s | 20 | 763274 | 755427 | 2763 626 | 108 | 52 723.89/724.10 c 721s | 20 | 765489 | 757627 | 2763 628 | 108 | 52 725.99/726.18 c 724s | 20 | 767692 | 759827 | 2763 629 | 108 | 52 728.08/728.24 c 726s | 20 | 769804 | 761927 | 2763 630 | 108 | 52 730.08/730.25 c 728s | 20 | 771810 | 763927 | 2763 632 | 108 | 52 732.18/732.35 c 730s | 20 | 773812 | 765927 | 2763 633 | 108 | 52 734.18/734.38 c 732s | 20 | 775944 | 768027 | 2763 634 | 108 | 52 736.28/736.45 c 734s | 20 | 778175 | 770227 | 2763 636 | 108 | 52 738.38/738.54 c 736s | 20 | 780406 | 772427 | 2763 637 | 108 | 52 740.38/740.59 c 738s | 20 | 782604 | 774627 | 2763 639 | 108 | 52 742.48/742.67 c 740s | 20 | 784717 | 776727 | 2763 640 | 108 | 52 744.58/744.73 c 742s | 20 | 786930 | 778927 | 2763 642 | 108 | 52 746.58/746.76 c 744s | 20 | 789135 | 781127 | 2763 643 | 108 | 52 748.58/748.78 c 746s | 20 | 791242 | 783227 | 2763 644 | 108 | 52 750.67/750.85 c 748s | 20 | 793352 | 785327 | 2763 646 | 108 | 52 752.77/752.91 c 750s | 20 | 795461 | 787427 | 2763 647 | 108 | 52 754.77/754.97 c 752s | 20 | 797576 | 789527 | 2763 648 | 108 | 52 756.78/757.00 c 754s | 20 | 799593 | 791527 | 2763 650 | 108 | 52 758.87/759.06 c 756s | 20 | 801708 | 793627 | 2763 651 | 108 | 52 760.87/761.07 c 758s | 20 | 803725 | 795627 | 2763 652 | 108 | 52 762.87/763.09 c 760s | 20 | 805826 | 797727 | 2763 654 | 108 | 52 764.97/765.11 c 762s | 20 | 807937 | 799827 | 2763 655 | 108 | 52 766.97/767.19 c 765s | 20 | 810055 | 801927 | 2763 657 | 108 | 52 769.07/769.22 c 767s | 20 | 812162 | 804027 | 2763 658 | 108 | 52 771.08/771.26 c 769s | 20 | 814271 | 806127 | 2763 659 | 108 | 52 773.07/773.28 c 771s | 20 | 816278 | 808127 | 2763 661 | 108 | 52 775.17/775.35 c 773s | 20 | 818487 | 810327 | 2763 662 | 108 | 52 777.17/777.39 c 775s | 20 | 820600 | 812427 | 2763 663 | 108 | 52 779.27/779.45 c 777s | 20 | 822702 | 814527 | 2763 665 | 108 | 52 781.27/781.49 c 779s | 20 | 824806 | 816627 | 2763 666 | 108 | 52 783.37/783.53 c 781s | 20 | 826909 | 818727 | 2763 668 | 108 | 52 785.37/785.59 c 783s | 20 | 829021 | 820827 | 2763 669 | 108 | 52 787.57/787.75 c 785s | 20 | 831132 | 822927 | 2763 670 | 108 | 52 789.67/789.83 c 787s | 20 | 833337 | 825127 | 2763 672 | 108 | 52 791.67/791.88 c 789s | 20 | 835444 | 827227 | 2763 673 | 108 | 52 793.77/793.94 c 791s | 20 | 837562 | 829327 | 2763 674 | 108 | 52 795.87/796.05 c 793s | 20 | 839668 | 831427 | 2763 676 | 108 | 52 797.86/798.06 c 795s | 20 | 841681 | 833427 | 2763 677 | 108 | 52 799.96/800.15 c 798s | 20 | 843788 | 835527 | 2763 679 | 108 | 52 801.97/802.18 c 800s | 20 | 845892 | 837627 | 2763 680 | 108 | 52 804.07/804.25 c 802s | 20 | 848015 | 839727 | 2763 681 | 108 | 52 806.06/806.27 c 804s | 20 | 850121 | 841827 | 2763 683 | 108 | 52 808.16/808.31 c 806s | 20 | 852232 | 843927 | 2763 684 | 108 | 52 810.26/810.40 c 808s | 20 | 854350 | 846027 | 2763 685 | 108 | 52 812.26/812.48 c 810s | 20 | 856353 | 848027 | 2763 687 | 108 | 52 814.36/814.51 c 812s | 20 | 858463 | 850127 | 2763 688 | 108 | 52 816.36/816.54 c 814s | 20 | 860567 | 852227 | 2763 689 | 108 | 52 818.37/818.60 c 816s | 20 | 862577 | 854227 | 2763 691 | 108 | 52 820.46/820.69 c 818s | 20 | 864686 | 856327 | 2763 692 | 108 | 52 822.56/822.73 c 820s | 20 | 866790 | 858427 | 2763 694 | 108 | 52 824.66/824.80 c 822s | 20 | 868909 | 860527 | 2763 695 | 108 | 52 826.66/826.80 c 824s | 20 | 871013 | 862627 | 2763 696 | 108 | 52 828.66/828.88 c 826s | 20 | 873122 | 864727 | 2763 698 | 108 | 52 830.76/830.94 c 828s | 20 | 875227 | 866827 | 2763 699 | 108 | 52 832.76/832.98 c 830s | 20 | 877335 | 868927 | 2763 700 | 108 | 52 834.86/835.00 c 832s | 20 | 879337 | 870927 | 2763 702 | 108 | 52 836.86/837.04 c 834s | 20 | 881443 | 873027 | 2763 703 | 108 | 52 838.96/839.11 c 836s | 20 | 883555 | 875127 | 2763 704 | 108 | 52 840.96/841.12 c 838s | 20 | 885562 | 877127 | 2763 706 | 108 | 52 842.96/843.15 c 841s | 20 | 887671 | 879227 | 2763 707 | 108 | 52 845.26/845.49 c 843s | 20 | 889888 | 881427 | 2763 709 | 108 | 52 847.36/847.51 c 845s | 20 | 891992 | 883527 | 2763 710 | 108 | 52 849.35/849.58 c 847s | 20 | 894106 | 885627 | 2763 711 | 108 | 52 851.47/851.60 c 849s | 20 | 896106 | 887627 | 2763 713 | 108 | 52 853.46/853.63 c 851s | 20 | 898220 | 889727 | 2763 714 | 108 | 52 855.46/855.64 c 853s | 20 | 900231 | 891727 | 2763 715 | 108 | 52 857.46/857.67 c 855s | 20 | 902337 | 893827 | 2763 717 | 108 | 52 859.56/859.73 c 857s | 20 | 904351 | 895827 | 2763 718 | 108 | 52 861.56/861.76 c 859s | 20 | 906460 | 897927 | 2763 719 | 108 | 52 863.57/863.79 c 861s | 20 | 908573 | 900027 | 2763 721 | 108 | 52 865.67/865.83 c 863s | 20 | 910580 | 902027 | 2763 722 | 108 | 52 867.66/867.87 c 865s | 20 | 912686 | 904127 | 2763 723 | 108 | 52 869.76/869.93 c 867s | 20 | 914796 | 906227 | 2763 725 | 108 | 52 871.76/871.99 c 869s | 20 | 916895 | 908327 | 2763 726 | 108 | 52 873.86/874.08 c 871s | 20 | 919005 | 910427 | 2763 728 | 108 | 52 875.96/876.14 c 874s | 20 | 921221 | 912627 | 2763 729 | 108 | 52 878.06/878.21 c 876s | 20 | 923322 | 914727 | 2763 730 | 108 | 52 880.06/880.23 c 878s | 20 | 925433 | 916827 | 2763 732 | 108 | 52 882.06/882.26 c 880s | 20 | 927538 | 918927 | 2763 733 | 108 | 52 884.16/884.33 c 882s | 20 | 929641 | 921027 | 2763 734 | 108 | 52 886.16/886.36 c 884s | 20 | 931655 | 923027 | 2763 736 | 108 | 52 888.26/888.48 c 886s | 20 | 933769 | 925127 | 2763 737 | 108 | 52 890.35/890.53 c 888s | 20 | 935877 | 927227 | 2763 738 | 108 | 52 892.35/892.59 c 890s | 20 | 937889 | 929227 | 2763 740 | 108 | 52 894.45/894.60 c 892s | 20 | 939996 | 931327 | 2763 741 | 108 | 52 896.46/896.66 c 894s | 20 | 942104 | 933427 | 2763 743 | 108 | 52 898.55/898.75 c 896s | 20 | 944313 | 935627 | 2763 744 | 108 | 52 900.65/900.82 c 898s | 20 | 946426 | 937727 | 2763 745 | 108 | 52 902.65/902.84 c 900s | 20 | 948530 | 939827 | 2763 747 | 108 | 52 904.65/904.88 c 902s | 20 | 950638 | 941927 | 2763 748 | 108 | 52 906.75/906.95 c 904s | 20 | 952738 | 944027 | 2763 749 | 108 | 52 908.75/908.97 c 906s | 20 | 954755 | 946027 | 2763 751 | 108 | 52 910.86/911.02 c 908s | 20 | 956856 | 948127 | 2763 752 | 108 | 52 912.85/913.05 c 910s | 20 | 958967 | 950227 | 2763 754 | 108 | 52 914.85/915.06 c 912s | 20 | 961113 | 952327 | 2763 755 | 108 | 52 916.95/917.17 c 915s | 20 | 963266 | 954427 | 2763 756 | 108 | 52 919.05/919.20 c 917s | 20 | 965369 | 956527 | 2763 758 | 108 | 52 921.05/921.27 c 919s | 20 | 967522 | 958627 | 2763 759 | 108 | 52 923.05/923.29 c 921s | 20 | 969627 | 960727 | 2763 760 | 108 | 52 925.25/925.43 c 923s | 20 | 971732 | 962827 | 2763 762 | 108 | 52 927.25/927.50 c 925s | 20 | 973934 | 965027 | 2763 763 | 108 | 52 929.35/929.53 c 927s | 20 | 976043 | 967127 | 2763 765 | 108 | 52 931.45/931.61 c 929s | 20 | 978259 | 969327 | 2763 766 | 108 | 52 933.45/933.65 c 931s | 20 | 980370 | 971427 | 2763 767 | 108 | 52 935.54/935.71 c 933s | 20 | 982477 | 973527 | 2763 769 | 108 | 52 937.54/937.79 c 935s | 20 | 984503 | 975527 | 2763 770 | 108 | 52 939.64/939.84 c 937s | 20 | 986719 | 977727 | 2763 771 | 108 | 52 941.74/941.91 c 939s | 20 | 988923 | 979927 | 2763 773 | 108 | 52 943.75/943.98 c 941s | 20 | 991133 | 982127 | 2763 774 | 108 | 52 945.84/946.04 c 943s | 20 | 993237 | 984227 | 2763 776 | 108 | 52 947.94/948.13 c 945s | 20 | 995457 | 986427 | 2763 777 | 108 | 52 949.94/950.15 c 948s | 20 | 997578 | 988527 | 2763 779 | 108 | 52 951.94/952.19 c 950s | 20 | 999596 | 990527 | 2763 780 | 108 | 52 954.04/954.25 c 952s | 20 | 1001792 | 992727 | 3040 781 | 108 | 52 956.04/956.29 c 954s | 20 | 1003896 | 994827 | 3040 782 | 108 | 52 958.15/958.34 c 956s | 20 | 1006100 | 997027 | 3040 784 | 108 | 52 960.25/960.41 c 958s | 20 | 1008115 | 999027 | 3040 785 | 108 | 52 961.45/961.68 c 959s | 21 | 1009442 | 1000345 | 3040 786 | 108 | 52 963.55/963.78 c 961s | 21 | 1011559 | 1002345 | 3040 787 | 108 | 52 965.54/965.79 c 963s | 21 | 1013698 | 1004445 | 3040 788 | 108 | 52 967.64/967.85 c 965s | 21 | 1015803 | 1006545 | 3040 789 | 108 | 52 969.74/969.93 c 967s | 21 | 1017934 | 1008645 | 3040 791 | 108 | 52 971.74/971.93 c 969s | 21 | 1020040 | 1010745 | 3040 792 | 108 | 52 973.74/973.96 c 971s | 21 | 1022158 | 1012845 | 3040 793 | 108 | 52 975.84/976.05 c 973s | 21 | 1024268 | 1014945 | 3040 794 | 108 | 52 977.84/978.07 c 975s | 21 | 1026275 | 1016945 | 3040 796 | 108 | 52 979.94/980.15 c 978s | 21 | 1028382 | 1019045 | 3040 797 | 108 | 52 981.94/982.19 c 980s | 21 | 1030487 | 1021145 | 3040 798 | 108 | 52 984.04/984.23 c 982s | 21 | 1032496 | 1023145 | 3040 799 | 108 | 52 986.04/986.29 c 984s | 21 | 1034611 | 1025245 | 3040 801 | 108 | 52 988.14/988.38 c 986s | 21 | 1036825 | 1027445 | 3040 802 | 108 | 52 990.24/990.42 c 988s | 21 | 1038935 | 1029545 | 3040 803 | 108 | 52 992.24/992.46 c 990s | 21 | 1041042 | 1031645 | 3040 804 | 108 | 52 994.23/994.50 c 992s | 21 | 1043146 | 1033745 | 3040 806 | 108 | 52 996.33/996.56 c 994s | 21 | 1045259 | 1035845 | 3040 807 | 108 | 52 998.43/998.60 c 996s | 21 | 1047264 | 1037845 | 3040 808 | 108 | 52 1000.43/1000.64 c 998s | 21 | 1049369 | 1039945 | 3040 809 | 108 | 52 1002.43/1002.66 c 1000s | 21 | 1051377 | 1041945 | 3040 811 | 108 | 52 1004.53/1004.71 c 1002s | 21 | 1053586 | 1044145 | 3040 812 | 108 | 52 1006.54/1006.79 c 1004s | 21 | 1055788 | 1046345 | 3040 813 | 108 | 52 1008.64/1008.83 c 1006s | 21 | 1058027 | 1048545 | 3040 815 | 108 | 52 1010.63/1010.88 c 1008s | 21 | 1060133 | 1050645 | 3040 816 | 108 | 52 1012.73/1012.93 c 1010s | 21 | 1062244 | 1052745 | 3040 817 | 108 | 52 1014.73/1014.95 c 1012s | 21 | 1064355 | 1054845 | 3040 818 | 108 | 52 1016.73/1016.99 c 1014s | 21 | 1066472 | 1056945 | 3040 820 | 108 | 52 1018.83/1019.02 c 1016s | 21 | 1068578 | 1059045 | 3040 821 | 108 | 52 1020.84/1021.05 c 1018s | 21 | 1070684 | 1061145 | 3040 822 | 108 | 52 1022.94/1023.12 c 1020s | 21 | 1072795 | 1063245 | 3040 823 | 108 | 52 1024.93/1025.13 c 1022s | 21 | 1074906 | 1065345 | 3040 825 | 108 | 52 1027.03/1027.23 c 1025s | 21 | 1077112 | 1067545 | 3040 826 | 108 | 52 1029.03/1029.24 c 1027s | 21 | 1079224 | 1069645 | 3040 827 | 108 | 52 1031.13/1031.32 c 1029s | 21 | 1081443 | 1071845 | 3040 829 | 108 | 52 1033.23/1033.41 c 1031s | 21 | 1083646 | 1074045 | 3040 830 | 108 | 52 1035.43/1035.60 c 1033s | 21 | 1085762 | 1076145 | 3040 831 | 108 | 52 1037.43/1037.64 c 1035s | 21 | 1087864 | 1078245 | 3040 832 | 108 | 52 1039.43/1039.67 c 1037s | 21 | 1089899 | 1080245 | 3040 834 | 108 | 52 1041.53/1041.71 c 1039s | 21 | 1092003 | 1082345 | 3040 835 | 108 | 52 1043.53/1043.71 c 1041s | 21 | 1094109 | 1084445 | 3040 836 | 108 | 52 1045.53/1045.77 c 1043s | 21 | 1096121 | 1086445 | 3040 837 | 108 | 52 1047.63/1047.82 c 1045s | 21 | 1098236 | 1088545 | 3040 839 | 108 | 52 1049.63/1049.83 c 1047s | 21 | 1100245 | 1090545 | 3040 840 | 108 | 52 1051.63/1051.89 c 1049s | 21 | 1102455 | 1092745 | 3040 841 | 108 | 52 1053.73/1053.97 c 1051s | 21 | 1104563 | 1094845 | 3040 842 | 108 | 52 1055.82/1056.02 c 1053s | 21 | 1106675 | 1096945 | 3040 844 | 108 | 52 1057.82/1058.06 c 1055s | 21 | 1108782 | 1099045 | 3040 845 | 108 | 52 1059.92/1060.14 c 1058s | 21 | 1110889 | 1101145 | 3040 846 | 108 | 52 1061.92/1062.14 c 1060s | 21 | 1113002 | 1103245 | 3040 847 | 108 | 52 1063.92/1064.18 c 1062s | 21 | 1115111 | 1105345 | 3040 849 | 108 | 52 1066.02/1066.22 c 1064s | 21 | 1117210 | 1107445 | 3040 850 | 108 | 52 1068.03/1068.30 c 1066s | 21 | 1119321 | 1109545 | 3040 851 | 108 | 52 1070.12/1070.40 c 1068s | 21 | 1121437 | 1111645 | 3040 853 | 108 | 52 1072.22/1072.46 c 1070s | 21 | 1123539 | 1113745 | 3040 854 | 108 | 52 1074.32/1074.52 c 1072s | 21 | 1125648 | 1115845 | 3040 855 | 108 | 52 1076.32/1076.58 c 1074s | 21 | 1127747 | 1117945 | 3040 856 | 108 | 52 1078.42/1078.67 c 1076s | 21 | 1129761 | 1119945 | 3040 858 | 108 | 52 1080.53/1080.75 c 1078s | 21 | 1131966 | 1122145 | 3040 859 | 108 | 52 1082.53/1082.76 c 1080s | 21 | 1134068 | 1124245 | 3040 860 | 108 | 52 1084.64/1084.81 c 1082s | 21 | 1136196 | 1126345 | 3040 861 | 108 | 52 1086.63/1086.89 c 1084s | 21 | 1138312 | 1128445 | 3040 863 | 108 | 52 1088.73/1088.94 c 1086s | 21 | 1140425 | 1130545 | 3040 864 | 108 | 52 1090.83/1091.02 c 1088s | 21 | 1142526 | 1132645 | 3040 865 | 108 | 52 1092.93/1093.11 c 1090s | 21 | 1144637 | 1134745 | 3040 866 | 108 | 52 1094.92/1095.13 c 1093s | 21 | 1146642 | 1136745 | 3040 868 | 108 | 52 1096.92/1097.13 c 1095s | 21 | 1148649 | 1138745 | 3040 869 | 108 | 52 1098.93/1099.18 c 1097s | 21 | 1150758 | 1140845 | 3040 870 | 108 | 52 1101.03/1101.24 c 1099s | 21 | 1152762 | 1142845 | 3040 871 | 108 | 52 1103.02/1103.28 c 1101s | 21 | 1154882 | 1144945 | 3040 873 | 108 | 52 1105.02/1105.29 c 1103s | 21 | 1156993 | 1147045 | 3040 874 | 108 | 52 1107.12/1107.36 c 1105s | 21 | 1159210 | 1149245 | 3040 875 | 108 | 52 1109.12/1109.40 c 1107s | 21 | 1161312 | 1151345 | 3040 876 | 108 | 52 1111.22/1111.43 c 1109s | 21 | 1163414 | 1153445 | 3040 878 | 108 | 52 1113.23/1113.47 c 1111s | 21 | 1165625 | 1155645 | 3040 879 | 108 | 52 1115.22/1115.47 c 1113s | 21 | 1167653 | 1157645 | 3040 880 | 108 | 52 1117.32/1117.57 c 1115s | 21 | 1169872 | 1159845 | 3040 881 | 108 | 52 1119.32/1119.59 c 1117s | 21 | 1171989 | 1161945 | 3040 883 | 108 | 52 1121.42/1121.65 c 1119s | 21 | 1174139 | 1164045 | 3040 884 | 108 | 52 1123.42/1123.68 c 1121s | 21 | 1176246 | 1166145 | 3040 885 | 108 | 52 1125.52/1125.79 c 1123s | 21 | 1178362 | 1168245 | 3040 887 | 108 | 52 1127.62/1127.83 c 1125s | 21 | 1180392 | 1170245 | 3040 888 | 108 | 52 1129.72/1129.91 c 1127s | 21 | 1182597 | 1172445 | 3040 889 | 108 | 52 1131.72/1131.96 c 1129s | 21 | 1184723 | 1174545 | 3040 890 | 108 | 52 1133.72/1133.99 c 1131s | 21 | 1186831 | 1176645 | 3040 892 | 108 | 52 1135.82/1136.00 c 1133s | 21 | 1188861 | 1178645 | 3040 893 | 108 | 52 1137.82/1138.05 c 1135s | 21 | 1190991 | 1180745 | 3040 894 | 108 | 52 1139.91/1140.12 c 1137s | 21 | 1193095 | 1182845 | 3040 895 | 108 | 52 1142.01/1142.20 c 1140s | 21 | 1195209 | 1184945 | 3040 897 | 108 | 52 1144.02/1144.25 c 1142s | 21 | 1197322 | 1187045 | 3040 898 | 108 | 52 1146.01/1146.28 c 1144s | 21 | 1199417 | 1189145 | 3040 899 | 108 | 52 1148.11/1148.32 c 1146s | 21 | 1201435 | 1191145 | 3040 900 | 108 | 52 1150.11/1150.37 c 1148s | 21 | 1203551 | 1193245 | 3040 902 | 108 | 52 1152.21/1152.41 c 1150s | 21 | 1205666 | 1195345 | 3040 903 | 108 | 52 1154.21/1154.44 c 1152s | 21 | 1207688 | 1197345 | 3040 904 | 108 | 52 1156.31/1156.52 c 1154s | 21 | 1209837 | 1199445 | 3040 905 | 108 | 52 1158.32/1158.58 c 1156s | 21 | 1211940 | 1201545 | 3040 906 | 108 | 52 1160.41/1160.61 c 1158s | 21 | 1213956 | 1203545 | 3040 908 | 108 | 52 1162.41/1162.66 c 1160s | 21 | 1216063 | 1205645 | 3040 909 | 108 | 52 1164.41/1164.68 c 1162s | 21 | 1218073 | 1207645 | 3040 910 | 108 | 52 1166.51/1166.73 c 1164s | 21 | 1220202 | 1209745 | 3040 911 | 108 | 52 1168.51/1168.75 c 1166s | 21 | 1222236 | 1211745 | 3040 913 | 108 | 52 1170.51/1170.77 c 1168s | 21 | 1224463 | 1213945 | 3040 914 | 108 | 52 1172.61/1172.85 c 1170s | 21 | 1226693 | 1216145 | 3040 915 | 108 | 52 1174.71/1174.94 c 1172s | 21 | 1228813 | 1218245 | 3040 917 | 108 | 52 1176.71/1176.96 c 1174s | 21 | 1230921 | 1220345 | 3040 918 | 108 | 52 1178.71/1178.96 c 1176s | 21 | 1233098 | 1222445 | 3040 919 | 108 | 52 1180.70/1180.97 c 1178s | 21 | 1235112 | 1224445 | 3040 920 | 108 | 52 1182.80/1183.06 c 1180s | 21 | 1237319 | 1226645 | 3040 922 | 108 | 52 1184.90/1185.13 c 1182s | 21 | 1239425 | 1228745 | 3040 923 | 108 | 52 1186.91/1187.17 c 1185s | 21 | 1241534 | 1230845 | 3040 924 | 108 | 52 1189.01/1189.26 c 1187s | 21 | 1243750 | 1233045 | 3040 925 | 108 | 52 1191.10/1191.30 c 1189s | 21 | 1245874 | 1235145 | 3040 927 | 108 | 52 1193.10/1193.37 c 1191s | 21 | 1247992 | 1237245 | 3040 928 | 108 | 52 1195.20/1195.41 c 1193s | 21 | 1250105 | 1239345 | 3040 929 | 108 | 52 1197.20/1197.44 c 1195s | 21 | 1252217 | 1241445 | 3040 930 | 108 | 52 1199.20/1199.48 c 1197s | 21 | 1254325 | 1243545 | 3040 932 | 108 | 52 1201.20/1201.48 c 1199s | 21 | 1256490 | 1245645 | 3040 933 | 108 | 52 1203.30/1203.57 c 1201s | 21 | 1258696 | 1247845 | 3040 934 | 108 | 52 1205.39/1205.61 c 1203s | 21 | 1260721 | 1249845 | 3040 936 | 108 | 52 1207.39/1207.69 c 1205s | 21 | 1262926 | 1252045 | 3040 937 | 108 | 52 1209.49/1209.72 c 1207s | 21 | 1264947 | 1254045 | 3040 938 | 108 | 52 1211.49/1211.72 c 1209s | 21 | 1266965 | 1256045 | 3040 939 | 108 | 52 1213.49/1213.75 c 1211s | 21 | 1269169 | 1258245 | 3040 941 | 108 | 52 1215.59/1215.82 c 1213s | 21 | 1271380 | 1260445 | 3040 942 | 108 | 52 1217.59/1217.85 c 1215s | 21 | 1273484 | 1262545 | 3040 943 | 108 | 52 1219.59/1219.88 c 1217s | 21 | 1275593 | 1264645 | 3040 944 | 108 | 52 1221.68/1221.95 c 1219s | 21 | 1277711 | 1266745 | 3040 946 | 108 | 52 1223.68/1223.98 c 1221s | 21 | 1279925 | 1268945 | 3040 947 | 108 | 52 1225.78/1226.01 c 1223s | 21 | 1282034 | 1271045 | 3040 948 | 108 | 52 1227.78/1228.07 c 1225s | 21 | 1284160 | 1273145 | 3040 950 | 108 | 52 1229.88/1230.12 c 1227s | 21 | 1286178 | 1275145 | 3040 951 | 108 | 52 1231.89/1232.18 c 1230s | 21 | 1288442 | 1277345 | 3040 952 | 108 | 52 1233.98/1234.27 c 1232s | 21 | 1290728 | 1279545 | 3040 953 | 108 | 52 1236.08/1236.34 c 1234s | 21 | 1292971 | 1281745 | 3040 955 | 108 | 52 1238.18/1238.42 c 1236s | 21 | 1295261 | 1283845 | 3040 956 | 108 | 52 1240.18/1240.48 c 1238s | 21 | 1297470 | 1286045 | 3040 957 | 108 | 52 1242.27/1242.56 c 1240s | 21 | 1299672 | 1288145 | 3040 959 | 108 | 52 1244.37/1244.61 c 1242s | 21 | 1301797 | 1290245 | 3040 960 | 108 | 52 1246.37/1246.62 c 1244s | 21 | 1303913 | 1292345 | 3040 961 | 108 | 52 1248.38/1248.68 c 1246s | 21 | 1306025 | 1294445 | 3040 962 | 108 | 52 1250.37/1250.69 c 1248s | 21 | 1308162 | 1296545 | 3040 964 | 108 | 52 1252.47/1252.71 c 1250s | 21 | 1310272 | 1298645 | 3040 965 | 108 | 52 1254.47/1254.78 c 1252s | 21 | 1312382 | 1300745 | 3040 966 | 108 | 52 1256.57/1256.83 c 1254s | 21 | 1314523 | 1302845 | 3040 967 | 108 | 52 1258.57/1258.88 c 1256s | 21 | 1316531 | 1304845 | 3040 969 | 108 | 52 1260.58/1260.88 c 1258s | 21 | 1318648 | 1306945 | 3040 970 | 108 | 52 1262.57/1262.89 c 1260s | 21 | 1320753 | 1309045 | 3040 971 | 108 | 52 1264.67/1264.93 c 1262s | 21 | 1322858 | 1311145 | 3040 972 | 108 | 52 1266.67/1266.98 c 1264s | 21 | 1324863 | 1313145 | 3040 974 | 108 | 52 1268.77/1269.00 c 1266s | 21 | 1326973 | 1315245 | 3040 975 | 108 | 52 1270.76/1271.09 c 1268s | 21 | 1329081 | 1317345 | 3040 976 | 108 | 52 1272.87/1273.11 c 1270s | 21 | 1331192 | 1319445 | 3040 977 | 108 | 52 1274.88/1275.17 c 1273s | 21 | 1333309 | 1321545 | 3040 979 | 108 | 52 1276.98/1277.22 c 1275s | 21 | 1335523 | 1323745 | 3040 980 | 108 | 52 1278.97/1279.29 c 1277s | 21 | 1337629 | 1325845 | 3040 981 | 108 | 52 1281.07/1281.30 c 1279s | 21 | 1339738 | 1327945 | 3040 982 | 108 | 52 1283.07/1283.31 c 1281s | 21 | 1341916 | 1330045 | 3040 984 | 108 | 52 1285.07/1285.33 c 1283s | 21 | 1344036 | 1332145 | 3040 985 | 108 | 52 1287.07/1287.33 c 1285s | 21 | 1346142 | 1334245 | 3040 986 | 108 | 52 1289.07/1289.38 c 1287s | 21 | 1348258 | 1336345 | 3040 987 | 108 | 52 1291.06/1291.39 c 1289s | 21 | 1350260 | 1338345 | 3040 989 | 108 | 52 1293.16/1293.43 c 1291s | 21 | 1352277 | 1340345 | 3040 990 | 108 | 52 1295.16/1295.45 c 1293s | 21 | 1354284 | 1342345 | 3040 991 | 108 | 52 1297.16/1297.49 c 1295s | 21 | 1356391 | 1344445 | 3040 992 | 108 | 52 1299.26/1299.55 c 1297s | 21 | 1358595 | 1346645 | 3040 994 | 108 | 52 1301.27/1301.57 c 1299s | 21 | 1360702 | 1348745 | 3040 995 | 108 | 52 1303.37/1303.68 c 1301s | 21 | 1362925 | 1350945 | 3040 996 | 108 | 52 1305.46/1305.75 c 1303s | 21 | 1365129 | 1353145 | 3040 998 | 108 | 52 1307.56/1307.81 c 1305s | 21 | 1367245 | 1355245 | 3040 999 | 108 | 52 1309.56/1309.84 c 1307s | 21 | 1369448 | 1357445 | 3040 1000 | 108 | 52 1311.65/1311.90 c 1309s | 21 | 1371552 | 1359545 | 3040 1001 | 108 | 52 1313.65/1313.98 c 1311s | 21 | 1373768 | 1361745 | 3040 1003 | 108 | 52 1315.75/1316.07 c 1313s | 21 | 1375971 | 1363945 | 3040 1004 | 108 | 52 1317.76/1318.09 c 1315s | 21 | 1378154 | 1366045 | 3040 1005 | 108 | 52 1319.86/1320.16 c 1318s | 21 | 1380373 | 1368245 | 3040 1007 | 108 | 52 1321.85/1322.17 c 1320s | 21 | 1382489 | 1370345 | 3040 1008 | 108 | 52 1323.95/1324.24 c 1322s | 21 | 1384599 | 1372445 | 3040 1009 | 108 | 52 1326.05/1326.33 c 1324s | 21 | 1386713 | 1374545 | 3040 1010 | 108 | 52 1328.05/1328.34 c 1326s | 21 | 1388818 | 1376645 | 3040 1012 | 108 | 52 1330.15/1330.42 c 1328s | 21 | 1390928 | 1378745 | 3040 1013 | 108 | 52 1332.14/1332.46 c 1330s | 21 | 1393042 | 1380845 | 3040 1014 | 108 | 52 1334.25/1334.52 c 1332s | 21 | 1395249 | 1383045 | 3040 1015 | 108 | 52 1336.24/1336.58 c 1334s | 21 | 1397453 | 1385245 | 3040 1017 | 108 | 52 1338.34/1338.67 c 1336s | 21 | 1399564 | 1387345 | 3040 1018 | 108 | 52 1340.34/1340.69 c 1338s | 21 | 1401691 | 1389445 | 3040 1019 | 108 | 52 1342.44/1342.77 c 1340s | 21 | 1403817 | 1391545 | 3040 1021 | 108 | 52 1344.54/1344.81 c 1342s | 21 | 1405919 | 1393645 | 3040 1022 | 108 | 52 1346.54/1346.89 c 1344s | 21 | 1407984 | 1395645 | 3040 1023 | 108 | 52 1348.64/1348.92 c 1346s | 21 | 1410093 | 1397745 | 3040 1024 | 108 | 52 1350.64/1350.93 c 1348s | 21 | 1412394 | 1399845 | 3040 1025 | 108 | 52 1352.73/1353.01 c 1350s | 21 | 1414620 | 1402045 | 3040 1027 | 108 | 52 1354.73/1355.08 c 1352s | 21 | 1416737 | 1404145 | 3040 1028 | 108 | 52 1356.83/1357.10 c 1354s | 21 | 1418848 | 1406245 | 3040 1029 | 108 | 52 1358.83/1359.11 c 1356s | 21 | 1421068 | 1408345 | 3040 1031 | 108 | 52 1360.83/1361.19 c 1359s | 21 | 1423086 | 1410345 | 3040 1032 | 108 | 52 1362.93/1363.20 c 1361s | 21 | 1425189 | 1412445 | 3040 1033 | 108 | 52 1364.93/1365.24 c 1363s | 21 | 1427306 | 1414545 | 3040 1034 | 108 | 52 1366.93/1367.26 c 1365s | 21 | 1429312 | 1416545 | 3040 1036 | 108 | 52 1369.03/1369.31 c 1367s | 21 | 1431426 | 1418645 | 3040 1037 | 108 | 52 1371.02/1371.39 c 1369s | 21 | 1433635 | 1420845 | 3040 1038 | 108 | 52 1373.12/1373.47 c 1371s | 21 | 1435732 | 1422945 | 3040 1039 | 108 | 52 1375.22/1375.53 c 1373s | 21 | 1437844 | 1425045 | 3040 1041 | 108 | 52 1377.22/1377.53 c 1375s | 21 | 1439945 | 1427145 | 3040 1042 | 108 | 52 1379.23/1379.56 c 1377s | 21 | 1442058 | 1429245 | 3040 1043 | 108 | 52 1381.32/1381.62 c 1379s | 21 | 1444167 | 1431345 | 3040 1044 | 108 | 52 1383.32/1383.67 c 1381s | 21 | 1446183 | 1433345 | 3040 1046 | 108 | 52 1385.42/1385.72 c 1383s | 21 | 1448292 | 1435445 | 3040 1047 | 108 | 52 1387.42/1387.78 c 1385s | 21 | 1450404 | 1437545 | 3040 1048 | 108 | 52 1389.42/1389.79 c 1387s | 21 | 1452405 | 1439545 | 3040 1049 | 108 | 52 1391.51/1391.86 c 1389s | 21 | 1454512 | 1441645 | 3040 1051 | 108 | 52 1393.62/1393.96 c 1391s | 21 | 1456626 | 1443745 | 3040 1052 | 108 | 52 1395.72/1396.00 c 1393s | 21 | 1458733 | 1445845 | 3040 1053 | 108 | 52 1397.71/1398.09 c 1395s | 21 | 1460844 | 1447945 | 3040 1054 | 108 | 52 1399.81/1400.10 c 1397s | 21 | 1462860 | 1449945 | 3040 1056 | 108 | 52 1401.81/1402.13 c 1399s | 21 | 1464960 | 1452045 | 3040 1057 | 108 | 52 1403.91/1404.22 c 1402s | 21 | 1467167 | 1454245 | 3040 1058 | 108 | 52 1405.91/1406.28 c 1404s | 21 | 1469304 | 1456345 | 3040 1059 | 108 | 52 1407.91/1408.29 c 1406s | 21 | 1471420 | 1458445 | 3040 1061 | 108 | 52 1410.01/1410.37 c 1408s | 21 | 1473518 | 1460545 | 3040 1062 | 108 | 52 1412.10/1412.40 c 1410s | 21 | 1475627 | 1462645 | 3040 1063 | 108 | 52 1414.10/1414.41 c 1412s | 21 | 1477636 | 1464645 | 3040 1064 | 108 | 52 1416.10/1416.42 c 1414s | 21 | 1479742 | 1466745 | 3040 1066 | 108 | 52 1418.10/1418.43 c 1416s | 21 | 1481854 | 1468845 | 3040 1067 | 108 | 52 1420.20/1420.56 c 1418s | 21 | 1484091 | 1471045 | 3040 1068 | 108 | 52 1422.20/1422.58 c 1420s | 21 | 1486196 | 1473145 | 3040 1070 | 108 | 52 1424.30/1424.67 c 1422s | 21 | 1488411 | 1475345 | 3040 1071 | 108 | 52 1426.40/1426.71 c 1424s | 21 | 1490316 | 1477245 | 3040 1072 | 108 | 52 1428.39/1428.73 c 1426s | 21 | 1492423 | 1479345 | 3040 1073 | 108 | 52 1430.49/1430.80 c 1428s | 21 | 1494525 | 1481445 | 3040 1074 | 108 | 52 1432.49/1432.84 c 1430s | 21 | 1496534 | 1483445 | 3040 1076 | 108 | 52 1434.59/1434.92 c 1432s | 21 | 1498547 | 1485445 | 3040 1077 | 108 | 52 1436.59/1436.95 c 1434s | 21 | 1500667 | 1487545 | 3040 1078 | 108 | 52 1438.70/1439.03 c 1436s | 21 | 1502776 | 1489645 | 3345 1079 | 108 | 52 1440.69/1441.05 c 1438s | 21 | 1504880 | 1491745 | 3345 1080 | 108 | 52 1442.79/1443.14 c 1441s | 21 | 1507108 | 1493945 | 3345 1082 | 108 | 52 1444.89/1445.24 c 1443s | 21 | 1509118 | 1495945 | 3345 1083 | 108 | 52 1446.89/1447.29 c 1445s | 21 | 1511227 | 1498045 | 3345 1084 | 108 | 52 1448.99/1449.33 c 1447s | 21 | 1513328 | 1500145 | 3345 1085 | 108 | 52 1449.49/1449.80 c 1447s | 22 | 1513807 | 1500622 | 3345 1085 | 108 | 52 1451.49/1451.89 c 1449s | 22 | 1515923 | 1502622 | 3345 1086 | 108 | 52 1453.59/1453.90 c 1451s | 22 | 1517927 | 1504622 | 3345 1088 | 108 | 52 1455.59/1455.98 c 1453s | 22 | 1520039 | 1506722 | 3345 1089 | 108 | 52 1457.69/1458.03 c 1455s | 22 | 1522053 | 1508722 | 3345 1090 | 108 | 52 1459.69/1460.07 c 1457s | 22 | 1523849 | 1510522 | 3345 1091 | 108 | 52 1461.69/1462.07 c 1459s | 22 | 1525867 | 1512522 | 3345 1092 | 108 | 52 1463.78/1464.15 c 1462s | 22 | 1527980 | 1514622 | 3345 1093 | 108 | 52 1465.88/1466.24 c 1464s | 22 | 1530094 | 1516722 | 3345 1094 | 108 | 52 1467.88/1468.26 c 1466s | 22 | 1532108 | 1518722 | 3345 1095 | 108 | 52 1469.98/1470.32 c 1468s | 22 | 1534033 | 1520622 | 3345 1096 | 108 | 52 1471.98/1472.34 c 1470s | 22 | 1536142 | 1522722 | 3345 1097 | 108 | 52 1474.08/1474.40 c 1472s | 22 | 1538258 | 1524822 | 3345 1099 | 108 | 52 1476.09/1476.44 c 1474s | 22 | 1540273 | 1526822 | 3345 1100 | 108 | 52 1478.08/1478.47 c 1476s | 22 | 1542181 | 1528722 | 3345 1101 | 108 | 52 1480.08/1480.48 c 1478s | 22 | 1544091 | 1530622 | 3345 1102 | 108 | 52 1482.17/1482.50 c 1480s | 22 | 1546200 | 1532722 | 3345 1103 | 108 | 52 1484.17/1484.53 c 1482s | 22 | 1548210 | 1534722 | 3345 1104 | 108 | 52 1486.17/1486.54 c 1484s | 22 | 1550325 | 1536822 | 3345 1105 | 108 | 52 1488.27/1488.62 c 1486s | 22 | 1552434 | 1538922 | 3345 1106 | 108 | 52 1490.28/1490.69 c 1488s | 22 | 1554447 | 1540922 | 3345 1107 | 108 | 52 1492.37/1492.77 c 1490s | 22 | 1556573 | 1543022 | 3345 1109 | 108 | 52 1494.47/1494.84 c 1492s | 22 | 1558681 | 1545122 | 3345 1110 | 108 | 52 1496.57/1496.93 c 1494s | 22 | 1560681 | 1547122 | 3345 1111 | 108 | 52 1498.57/1498.99 c 1496s | 22 | 1562791 | 1549222 | 3345 1112 | 108 | 52 1500.66/1501.00 c 1498s | 22 | 1564701 | 1551122 | 3345 1113 | 108 | 52 1502.66/1503.01 c 1500s | 22 | 1566626 | 1553022 | 3345 1114 | 108 | 52 1504.67/1505.02 c 1502s | 22 | 1568538 | 1554922 | 3345 1115 | 108 | 52 1506.77/1507.10 c 1504s | 22 | 1570651 | 1557022 | 3345 1116 | 108 | 52 1508.76/1509.16 c 1507s | 22 | 1572560 | 1558922 | 3345 1117 | 108 | 52 1510.76/1511.18 c 1509s | 22 | 1574571 | 1560922 | 3345 1118 | 108 | 52 1512.86/1513.26 c 1511s | 22 | 1576586 | 1562922 | 3345 1120 | 108 | 52 1514.96/1515.32 c 1513s | 22 | 1578698 | 1565022 | 3345 1121 | 108 | 52 1516.96/1517.35 c 1515s | 22 | 1580712 | 1567022 | 3345 1122 | 108 | 52 1518.96/1519.39 c 1517s | 22 | 1582720 | 1569022 | 3345 1123 | 108 | 52 1521.06/1521.47 c 1519s | 22 | 1584836 | 1571122 | 3345 1124 | 108 | 52 1523.15/1523.57 c 1521s | 22 | 1586939 | 1573222 | 3345 1125 | 108 | 52 1525.25/1525.66 c 1523s | 22 | 1589050 | 1575322 | 3345 1126 | 108 | 52 1527.55/1527.90 c 1525s | 22 | 1591157 | 1577422 | 3345 1128 | 108 | 52 1529.55/1529.92 c 1527s | 22 | 1593164 | 1579422 | 3345 1129 | 108 | 52 1531.55/1531.94 c 1529s | 22 | 1595170 | 1581422 | 3345 1130 | 108 | 52 1533.65/1534.02 c 1531s | 22 | 1597190 | 1583422 | 3345 1131 | 108 | 52 1535.65/1536.07 c 1533s | 22 | 1599197 | 1585422 | 3345 1132 | 108 | 52 1537.65/1538.09 c 1535s | 22 | 1601209 | 1587422 | 3345 1133 | 108 | 52 1539.75/1540.14 c 1538s | 22 | 1603326 | 1589522 | 3345 1134 | 108 | 52 1541.84/1542.21 c 1540s | 22 | 1605335 | 1591522 | 3345 1135 | 108 | 52 1543.84/1544.27 c 1542s | 22 | 1607449 | 1593622 | 3345 1136 | 108 | 52 1545.94/1546.34 c 1544s | 22 | 1609452 | 1595622 | 3345 1138 | 108 | 52 1547.94/1548.36 c 1546s | 22 | 1611462 | 1597622 | 3345 1139 | 108 | 52 1550.04/1550.44 c 1548s | 22 | 1613487 | 1599622 | 3345 1140 | 108 | 52 1552.04/1552.47 c 1550s | 22 | 1615507 | 1601622 | 3345 1141 | 108 | 52 1554.24/1554.61 c 1552s | 22 | 1617513 | 1603622 | 3345 1142 | 108 | 52 1556.25/1556.66 c 1554s | 22 | 1619622 | 1605722 | 3345 1143 | 108 | 52 1558.24/1558.69 c 1556s | 22 | 1621731 | 1607822 | 3345 1144 | 108 | 52 1560.34/1560.79 c 1558s | 22 | 1623838 | 1609922 | 3345 1145 | 108 | 52 1562.43/1562.82 c 1560s | 22 | 1625748 | 1611822 | 3345 1147 | 108 | 52 1564.43/1564.85 c 1562s | 22 | 1627859 | 1613922 | 3345 1148 | 108 | 52 1566.53/1566.92 c 1564s | 22 | 1629960 | 1616022 | 3345 1149 | 108 | 52 1568.53/1568.92 c 1566s | 22 | 1631972 | 1618022 | 3345 1150 | 108 | 52 1570.53/1570.98 c 1568s | 22 | 1633978 | 1620022 | 3345 1151 | 108 | 52 1572.63/1573.06 c 1570s | 22 | 1636083 | 1622122 | 3345 1152 | 108 | 52 1574.63/1575.08 c 1572s | 22 | 1638090 | 1624122 | 3345 1153 | 108 | 52 1576.73/1577.11 c 1574s | 22 | 1640095 | 1626122 | 3345 1154 | 108 | 52 1578.83/1579.20 c 1577s | 22 | 1642102 | 1628122 | 3345 1155 | 108 | 52 1580.82/1581.21 c 1579s | 22 | 1644111 | 1630122 | 3345 1157 | 108 | 52 1582.82/1583.27 c 1581s | 22 | 1646220 | 1632222 | 3345 1158 | 108 | 52 1584.83/1585.28 c 1583s | 22 | 1648227 | 1634222 | 3345 1159 | 108 | 52 1586.82/1587.29 c 1585s | 22 | 1650235 | 1636222 | 3345 1160 | 108 | 52 1588.92/1589.36 c 1587s | 22 | 1652350 | 1638322 | 3345 1161 | 108 | 52 1591.02/1591.40 c 1589s | 22 | 1654364 | 1640322 | 3345 1162 | 108 | 52 1593.02/1593.42 c 1591s | 22 | 1656272 | 1642222 | 3345 1163 | 108 | 52 1595.02/1595.44 c 1593s | 22 | 1658381 | 1644322 | 3345 1164 | 108 | 52 1597.12/1597.54 c 1595s | 22 | 1660593 | 1646522 | 3345 1166 | 108 | 52 1599.22/1599.62 c 1597s | 22 | 1662502 | 1648422 | 3345 1167 | 108 | 52 1601.21/1601.70 c 1599s | 22 | 1664509 | 1650422 | 3345 1168 | 108 | 52 1603.31/1603.73 c 1601s | 22 | 1666539 | 1652422 | 3345 1169 | 108 | 52 1605.41/1605.83 c 1603s | 22 | 1668547 | 1654422 | 3345 1170 | 108 | 52 1607.51/1607.90 c 1605s | 22 | 1670569 | 1656422 | 3345 1171 | 108 | 52 1609.51/1609.94 c 1607s | 22 | 1672690 | 1658522 | 3345 1172 | 108 | 52 1611.72/1612.12 c 1609s | 22 | 1674797 | 1660622 | 3345 1173 | 108 | 52 1613.71/1614.17 c 1612s | 22 | 1676801 | 1662622 | 3345 1174 | 108 | 52 1615.72/1616.18 c 1614s | 22 | 1678711 | 1664522 | 3345 1175 | 108 | 52 1617.82/1618.24 c 1616s | 22 | 1680626 | 1666422 | 3345 1176 | 108 | 52 1619.91/1620.32 c 1618s | 22 | 1682835 | 1668622 | 3345 1178 | 108 | 52 1621.91/1622.34 c 1620s | 22 | 1684845 | 1670622 | 3345 1179 | 108 | 52 1623.91/1624.35 c 1622s | 22 | 1686851 | 1672622 | 3345 1180 | 108 | 52 1626.01/1626.41 c 1624s | 22 | 1688967 | 1674722 | 3345 1181 | 108 | 52 1628.01/1628.43 c 1626s | 22 | 1690877 | 1676622 | 3345 1182 | 108 | 52 1630.11/1630.52 c 1628s | 22 | 1692888 | 1678622 | 3345 1183 | 108 | 52 1632.11/1632.53 c 1630s | 22 | 1694790 | 1680522 | 3345 1184 | 108 | 52 1634.20/1634.62 c 1632s | 22 | 1696801 | 1682522 | 3345 1185 | 108 | 52 1636.20/1636.68 c 1634s | 22 | 1698818 | 1684522 | 3345 1186 | 108 | 52 1638.20/1638.69 c 1636s | 22 | 1700723 | 1686422 | 3345 1187 | 108 | 52 1640.30/1640.73 c 1638s | 22 | 1702728 | 1688422 | 3345 1189 | 108 | 52 1642.29/1642.76 c 1640s | 22 | 1704656 | 1690322 | 3345 1190 | 108 | 52 1644.39/1644.83 c 1642s | 22 | 1706776 | 1692422 | 3345 1191 | 108 | 52 1646.40/1646.89 c 1644s | 22 | 1708883 | 1694522 | 3345 1192 | 108 | 52 1648.49/1648.95 c 1646s | 22 | 1710996 | 1696622 | 3345 1193 | 108 | 52 1650.49/1650.98 c 1648s | 22 | 1713004 | 1698622 | 3345 1194 | 108 | 52 1652.59/1653.07 c 1650s | 22 | 1715109 | 1700722 | 3345 1195 | 108 | 52 1654.69/1655.11 c 1652s | 22 | 1717129 | 1702722 | 3345 1196 | 108 | 52 1656.79/1657.21 c 1655s | 22 | 1719143 | 1704722 | 3345 1198 | 108 | 52 1658.79/1659.27 c 1657s | 22 | 1721155 | 1706722 | 3345 1199 | 108 | 52 1660.79/1661.28 c 1659s | 22 | 1723062 | 1708622 | 3345 1200 | 108 | 52 1662.89/1663.31 c 1661s | 22 | 1725168 | 1710722 | 3345 1201 | 108 | 52 1664.99/1665.40 c 1663s | 22 | 1727174 | 1712722 | 3345 1202 | 108 | 52 1666.99/1667.48 c 1665s | 22 | 1729188 | 1714722 | 3345 1203 | 108 | 52 1668.99/1669.48 c 1667s | 22 | 1731195 | 1716722 | 3345 1204 | 108 | 52 1671.08/1671.57 c 1669s | 22 | 1733204 | 1718722 | 3345 1205 | 108 | 52 1673.18/1673.66 c 1671s | 22 | 1735312 | 1720822 | 3345 1206 | 108 | 52 1675.18/1675.70 c 1673s | 22 | 1737318 | 1722822 | 3345 1208 | 108 | 52 1677.29/1677.73 c 1675s | 22 | 1739222 | 1724722 | 3345 1209 | 108 | 52 1679.28/1679.79 c 1677s | 22 | 1741128 | 1726622 | 3345 1210 | 108 | 52 1681.38/1681.88 c 1679s | 22 | 1743201 | 1728622 | 3345 1211 | 108 | 52 1683.48/1683.90 c 1681s | 22 | 1745120 | 1730522 | 3345 1212 | 108 | 52 1685.48/1685.96 c 1683s | 22 | 1746938 | 1732322 | 3345 1213 | 108 | 52 1687.58/1688.03 c 1685s | 22 | 1749042 | 1734422 | 3345 1214 | 108 | 52 1689.58/1690.03 c 1687s | 22 | 1750966 | 1736322 | 3345 1215 | 108 | 52 1691.67/1692.11 c 1689s | 22 | 1752872 | 1738222 | 3345 1216 | 108 | 52 1693.68/1694.13 c 1691s | 22 | 1754780 | 1740122 | 3345 1217 | 108 | 52 1695.67/1696.13 c 1694s | 22 | 1756686 | 1742022 | 3345 1218 | 108 | 52 1697.67/1698.17 c 1696s | 22 | 1758690 | 1744022 | 3345 1219 | 108 | 52 1699.77/1700.20 c 1698s | 22 | 1760802 | 1746122 | 3345 1220 | 108 | 52 1701.76/1702.26 c 1700s | 22 | 1762710 | 1748022 | 3345 1221 | 108 | 52 1703.86/1704.36 c 1702s | 22 | 1764717 | 1750022 | 3345 1222 | 108 | 52 1705.96/1706.42 c 1704s | 22 | 1766622 | 1751922 | 3345 1223 | 108 | 52 1707.97/1708.45 c 1706s | 22 | 1768527 | 1753822 | 3345 1225 | 108 | 52 1710.06/1710.53 c 1708s | 22 | 1770439 | 1755722 | 3345 1226 | 108 | 52 1712.06/1712.56 c 1710s | 22 | 1772346 | 1757622 | 3345 1227 | 108 | 52 1714.16/1714.61 c 1712s | 22 | 1774353 | 1759622 | 3345 1228 | 108 | 52 1716.16/1716.68 c 1714s | 22 | 1776460 | 1761722 | 3345 1229 | 108 | 52 1718.15/1718.70 c 1716s | 22 | 1778278 | 1763522 | 3345 1230 | 108 | 52 1720.25/1720.71 c 1718s | 22 | 1780292 | 1765522 | 3345 1231 | 108 | 52 1722.25/1722.74 c 1720s | 22 | 1782304 | 1767522 | 3345 1232 | 108 | 52 1724.25/1724.76 c 1722s | 22 | 1784313 | 1769522 | 3345 1233 | 108 | 52 1726.35/1726.84 c 1724s | 22 | 1786223 | 1771422 | 3345 1234 | 108 | 52 1728.35/1728.87 c 1726s | 22 | 1788023 | 1773222 | 3345 1235 | 108 | 52 1730.44/1730.95 c 1728s | 22 | 1790035 | 1775222 | 3345 1236 | 108 | 52 1732.54/1733.01 c 1730s | 22 | 1792099 | 1777222 | 3345 1237 | 108 | 52 1734.54/1735.08 c 1732s | 22 | 1794011 | 1779122 | 3345 1238 | 108 | 52 1736.54/1737.08 c 1734s | 22 | 1796028 | 1781122 | 3345 1240 | 108 | 52 1738.64/1739.10 c 1736s | 22 | 1797933 | 1783022 | 3345 1241 | 108 | 52 1740.73/1741.26 c 1739s | 22 | 1799941 | 1785022 | 3345 1242 | 108 | 52 1742.73/1743.29 c 1741s | 22 | 1801845 | 1786922 | 3345 1243 | 108 | 52 1744.83/1745.35 c 1743s | 22 | 1803745 | 1788822 | 3345 1244 | 108 | 52 1746.93/1747.42 c 1745s | 22 | 1805754 | 1790822 | 3345 1245 | 108 | 52 1748.93/1749.46 c 1747s | 22 | 1807662 | 1792722 | 3345 1246 | 108 | 52 1751.02/1751.56 c 1749s | 22 | 1809686 | 1794722 | 3345 1247 | 108 | 52 1753.13/1753.63 c 1751s | 22 | 1811706 | 1796722 | 3345 1248 | 108 | 52 1755.23/1755.71 c 1753s | 22 | 1813710 | 1798722 | 3345 1249 | 108 | 52 1757.22/1757.74 c 1755s | 22 | 1815619 | 1800622 | 3345 1250 | 108 | 52 1759.32/1759.84 c 1757s | 22 | 1817629 | 1802622 | 3345 1251 | 108 | 52 1761.32/1761.86 c 1759s | 22 | 1819535 | 1804522 | 3345 1252 | 108 | 52 1763.32/1763.86 c 1761s | 22 | 1821338 | 1806322 | 3345 1253 | 108 | 52 1765.42/1765.97 c 1763s | 22 | 1823340 | 1808322 | 3345 1255 | 108 | 52 1767.52/1768.02 c 1765s | 22 | 1825254 | 1810222 | 3345 1256 | 108 | 52 1769.52/1770.06 c 1767s | 22 | 1827060 | 1812022 | 3345 1257 | 108 | 52 1771.51/1772.09 c 1769s | 22 | 1828968 | 1813922 | 3345 1258 | 108 | 52 1773.61/1774.14 c 1772s | 22 | 1830878 | 1815822 | 3345 1259 | 108 | 52 1775.71/1776.20 c 1774s | 22 | 1833081 | 1818022 | 3345 1260 | 108 | 52 1777.71/1778.29 c 1776s | 22 | 1835188 | 1820122 | 3345 1261 | 108 | 52 1779.81/1780.30 c 1778s | 22 | 1837298 | 1822222 | 3345 1262 | 108 | 52 1781.81/1782.36 c 1780s | 22 | 1839217 | 1824122 | 3345 1263 | 108 | 52 1783.82/1784.38 c 1782s | 22 | 1841222 | 1826122 | 3345 1264 | 108 | 52 1785.81/1786.39 c 1784s | 22 | 1843029 | 1827922 | 3345 1265 | 108 | 52 1787.91/1788.49 c 1786s | 22 | 1844934 | 1829822 | 3345 1266 | 108 | 52 1790.01/1790.58 c 1788s | 22 | 1846847 | 1831722 | 3345 1267 | 108 | 52 1792.11/1792.67 c 1790s | 22 | 1848760 | 1833622 | 3345 1268 | 108 | 52 1794.21/1794.75 c 1792s | 22 | 1850671 | 1835522 | 3345 1269 | 108 | 52 1796.31/1796.82 c 1794s | 22 | 1852574 | 1837422 | 3345 1271 | 108 | 52 1798.31/1798.88 c 1796s | 22 | 1854488 | 1839322 | 3345 1272 | 108 | 52
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4101609-1466224633/watcher-4101609-1466224633 -o /tmp/evaluation-result-4101609-1466224633/solver-4101609-1466224633 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101609-1466224633.opb pid=1837 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.16 2.21 2.18 3/179 1840 /proc/meminfo: memFree=29374152/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=589244 CPUtime=0 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 2170 0 0 0 0 0 0 0 20 0 4 0 24509809 603385856 3042 33554432000 4194304 16246674 140736703200624 140736703200048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 147823 3052 441 2943 0 144717 0 [pid=1840/tid=1841] ppid=1837 vsize=674236 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 690417664 3377 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=679356 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 695660544 3394 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=683452 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24509809 699854848 3410 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100129 s] /proc/loadavg: 2.16 2.21 2.18 3/179 1840 /proc/meminfo: memFree=29374152/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1220164 CPUtime=0.08 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 28158 0 0 0 5 3 0 0 20 0 4 0 24509809 1249447936 28969 33554432000 4194304 16246674 140736703200624 140736703199936 12657222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 305041 28974 821 2943 0 301935 0 [pid=1840/tid=1841] ppid=1837 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1249447936 28978 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1249447936 28981 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24509809 1249447936 28985 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1220164 [startup+0.200466 s] /proc/loadavg: 2.16 2.21 2.18 3/179 1840 /proc/meminfo: memFree=29374152/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1220164 CPUtime=0.18 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 51639 0 0 0 12 6 0 0 20 0 4 0 24509809 1249447936 52449 33554432000 4194304 16246674 140736703200624 140736703199936 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 305041 52454 832 2943 0 301935 0 [pid=1840/tid=1841] ppid=1837 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1249447936 52458 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1249447936 52461 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24509809 1249447936 52465 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1220164 [startup+0.300489 s] /proc/loadavg: 2.16 2.21 2.18 3/179 1840 /proc/meminfo: memFree=29374152/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1220164 CPUtime=0.28 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 75996 0 0 0 19 9 0 0 20 0 4 0 24509809 1249447936 76807 33554432000 4194304 16246674 140736703200624 140736703199936 12371341 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 305041 76817 832 2943 0 301935 0 [pid=1840/tid=1841] ppid=1837 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1249447936 76825 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1249447936 76832 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24509809 1249447936 76839 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1220164 [startup+0.700386 s] /proc/loadavg: 2.16 2.21 2.18 3/179 1840 /proc/meminfo: memFree=29374152/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1220164 CPUtime=0.69 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 180601 0 0 0 44 25 0 0 20 0 4 0 24509809 1249447936 181411 33554432000 4194304 16246674 140736703200624 140736703182528 12371341 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 305041 181422 844 2943 0 301935 0 [pid=1840/tid=1841] ppid=1837 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1249447936 181429 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1249447936 181436 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24509809 1249447936 181443 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1220164 [startup+1.50043 s] /proc/loadavg: 2.31 2.24 2.19 3/183 1845 /proc/meminfo: memFree=28307336/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1310276 CPUtime=1.49 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 268571 0 0 0 114 35 0 0 20 0 4 0 24509809 1341722624 269381 33554432000 4194304 16246674 140736703200624 140736703199936 5723413 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 327569 269381 893 2943 0 324463 0 [pid=1840/tid=1841] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269381 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269381 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269381 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1310276 [startup+3.10039 s] /proc/loadavg: 2.31 2.24 2.19 3/183 1845 /proc/meminfo: memFree=28297416/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1310276 CPUtime=3.09 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 268596 0 0 0 274 35 0 0 20 0 4 0 24509809 1341722624 269406 33554432000 4194304 16246674 140736703200624 140736703182528 5600140 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 327569 269406 912 2943 0 324463 0 [pid=1840/tid=1841] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269406 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269406 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269406 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1310276 [startup+6.30039 s] /proc/loadavg: 2.31 2.24 2.19 3/183 1845 /proc/meminfo: memFree=28296820/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1310276 CPUtime=6.29 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 268779 0 0 0 594 35 0 0 20 0 4 0 24509809 1341722624 269589 33554432000 4194304 16246674 140736703200624 140736703182528 12415760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 327569 269589 915 2943 0 324463 0 [pid=1840/tid=1841] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269589 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269589 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269589 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1310276 [startup+12.7004 s] /proc/loadavg: 2.26 2.23 2.19 3/183 1845 /proc/meminfo: memFree=28297076/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1310276 CPUtime=12.69 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 268783 0 0 0 1234 35 0 0 20 0 4 0 24509809 1341722624 269593 33554432000 4194304 16246674 140736703200624 140736703182528 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 327569 269593 919 2943 0 324463 0 [pid=1840/tid=1841] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269593 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269593 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269593 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1310276 [startup+25.5073 s] /proc/loadavg: 2.22 2.22 2.18 3/183 1845 /proc/meminfo: memFree=28298240/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1310276 CPUtime=25.5 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 268783 0 0 0 2515 35 0 0 20 0 4 0 24509809 1341722624 269593 33554432000 4194304 16246674 140736703200624 140736703182528 5600380 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 327569 269593 919 2943 0 324463 0 [pid=1840/tid=1841] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269593 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269593 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1341722624 269593 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1310276 [startup+51.1004 s] /proc/loadavg: 2.21 2.22 2.18 3/183 1845 /proc/meminfo: memFree=28297132/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1311300 CPUtime=51.09 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 269041 0 0 0 5074 35 0 0 20 0 4 0 24509809 1342771200 269851 33554432000 4194304 16246674 140736703200624 140736703182528 5676080 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 327825 269851 921 2943 0 324719 0 [pid=1840/tid=1841] ppid=1837 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1342771200 269851 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1342771200 269851 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1342771200 269851 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1311300 [startup+102.3 s] /proc/loadavg: 2.14 2.19 2.18 3/183 1847 /proc/meminfo: memFree=28294192/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1314372 CPUtime=102.27 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 269810 0 0 0 10192 35 0 0 20 0 4 0 24509809 1345916928 270620 33554432000 4194304 16246674 140736703200624 140736703182528 5602058 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 328593 270620 922 2943 0 325487 0 [pid=1840/tid=1841] ppid=1837 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1345916928 270620 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1345916928 270620 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1345916928 270620 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1314372 ################ # More data... # ################ /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 1320516 [startup+1302.3 s] /proc/loadavg: 2.20 2.17 2.17 3/183 1884 /proc/meminfo: memFree=28284072/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1320516 CPUtime=1302.06 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 271407 0 0 0 130164 42 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 140736703182528 5600342 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 330129 272159 922 2943 0 327023 0 [pid=1840/tid=1841] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 1320516 [startup+1362.3 s] /proc/loadavg: 2.22 2.19 2.18 4/183 1885 /proc/meminfo: memFree=28284184/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1320516 CPUtime=1362.03 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 271442 0 0 0 136161 42 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 140736703182528 5600342 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 330129 272159 922 2943 0 327023 0 [pid=1840/tid=1841] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1362.03 Current children cumulated vsize (KiB) 1320516 [startup+1422.3 s] /proc/loadavg: 2.16 2.18 2.18 3/184 1889 /proc/meminfo: memFree=28284436/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1320516 CPUtime=1422 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 271479 0 0 0 142158 42 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 140736703182528 13760208 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 330129 272159 922 2943 0 327023 0 [pid=1840/tid=1841] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 1320516 [startup+1482.3 s] /proc/loadavg: 2.16 2.17 2.17 3/184 1913 /proc/meminfo: memFree=28283884/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1320516 CPUtime=1481.97 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 271506 0 0 0 148155 42 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 140736703182528 13943608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 330129 272159 922 2943 0 327023 0 [pid=1840/tid=1841] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 1320516 [startup+1542.3 s] /proc/loadavg: 2.20 2.18 2.18 3/183 1963 /proc/meminfo: memFree=28410220/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1320516 CPUtime=1541.95 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 271540 0 0 0 154153 42 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 140736703182528 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 330129 272159 922 2943 0 327023 0 [pid=1840/tid=1841] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1320516 [startup+1602.3 s] /proc/loadavg: 2.12 2.16 2.17 3/183 1964 /proc/meminfo: memFree=28409972/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1320516 CPUtime=1601.91 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 271574 0 0 0 160149 42 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 140736703182528 5600808 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 330129 272159 922 2943 0 327023 0 [pid=1840/tid=1841] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1320516 [startup+1662.31 s] /proc/loadavg: 2.15 2.16 2.17 3/183 1965 /proc/meminfo: memFree=28409404/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1320516 CPUtime=1661.89 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 271612 0 0 0 166146 43 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 140736703182528 5600120 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 330129 272159 922 2943 0 327023 0 [pid=1840/tid=1841] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1352208384 272159 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1320516 [startup+1722.3 s] /proc/loadavg: 2.15 2.16 2.17 3/183 1966 /proc/meminfo: memFree=28408700/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1321540 CPUtime=1721.85 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 271711 0 0 0 172142 43 0 0 20 0 4 0 24509809 1353256960 272219 33554432000 4194304 16246674 140736703200624 140736703182528 13774516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 330385 272219 922 2943 0 327279 0 [pid=1840/tid=1841] ppid=1837 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1353256960 272219 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1353256960 272219 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1353256960 272219 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1321540 [startup+1782.3 s] /proc/loadavg: 2.10 2.14 2.16 3/183 1967 /proc/meminfo: memFree=28407864/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1321540 CPUtime=1781.81 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 271749 0 0 0 178138 43 0 0 20 0 4 0 24509809 1353256960 272219 33554432000 4194304 16246674 140736703200624 140736703182528 5672222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 330385 272219 922 2943 0 327279 0 [pid=1840/tid=1841] ppid=1837 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1353256960 272219 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1353256960 272219 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1353256960 272219 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1321540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.15 2.15 2.17 3/183 1969 /proc/meminfo: memFree=28407600/32872528 swapFree=1200228/1314692 [pid=1840] ppid=1837 vsize=1321540 CPUtime=1800.01 cores=0,2,4,6 /proc/1840/stat : 1840 (toysat) R 1837 1840 31224 0 -1 4202496 271749 0 0 0 179958 43 0 0 20 0 4 0 24509809 1353256960 272219 33554432000 4194304 16246674 140736703200624 140736703182528 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1840/statm: 330385 272219 922 2943 0 327279 0 [pid=1840/tid=1841] ppid=1837 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1841/stat : 1841 (toysat) S 1837 1840 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24509809 1353256960 272219 33554432000 4194304 16246674 140736703200624 139953715522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=1840/tid=1842] ppid=1837 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1842/stat : 1842 (toysat) S 1837 1840 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24509809 1353256960 272219 33554432000 4194304 16246674 140736703200624 139953705032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=1840/tid=1843] ppid=1837 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/1840/task/1843/stat : 1843 (toysat) S 1837 1840 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24509809 1353256960 272219 33554432000 4194304 16246674 140736703200624 139953589710000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1321540 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 1840 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.59 CPU system time (s): 0.439933 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1321540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.439933 maximum resident set size= 1088876 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271749 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= 358 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5913 second user time and 6.96494 second system time The end
Begin job on node131 at 2016-06-18 06:37:13 IDJOB=4101609 IDBENCH=1772 IDSOLVER=2542 FILE ID=node131/4101609-1466224633 RUNJOBID= node131-1466206062-31240 PBS_JOBID= 19918146 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101609-1466224633/watcher-4101609-1466224633 -o /tmp/evaluation-result-4101609-1466224633/solver-4101609-1466224633 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101609-1466224633.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0857e859d7ae9b7cd0d343674d5c1ad RANDOM SEED=2034833914 node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29374044 kB Buffers: 113204 kB Cached: 132460 kB SwapCached: 1508 kB Active: 1296588 kB Inactive: 150156 kB Active(anon): 1200760 kB Inactive(anon): 2684 kB Active(file): 95828 kB Inactive(file): 147472 kB Unevictable: 1314692 kB Mlocked: 1200228 kB SwapTotal: 67108856 kB SwapFree: 67099856 kB Dirty: 16740 kB Writeback: 4 kB AnonPages: 2514980 kB Mapped: 10720 kB Shmem: 0 kB Slab: 601088 kB SReclaimable: 45136 kB SUnreclaim: 555952 kB KernelStack: 1504 kB PageTables: 8872 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2657692 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 116736 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= 71672 MiB End job on node131 at 2016-06-18 07:07:13