Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_1.opb |
| MD5SUM | 55d0299800773493d27ef2c1b95d10c5 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 11 |
| Optimality of the best value was proved | NO |
| Number of variables | 100 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 100 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 100 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1248 |
| Sum of products size (including duplicates) | 2496 |
| Number of different products | 1248 |
| Sum of products size | 2496 |
0.00/0.00 c 2016-06-18T20:36:26+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-4106634-1466274985.opb"] 0.00/0.01 c use --random-gen="3124252380 1625189991 639565500 1277670021 4156203565 2930352871 1970465200 3953455846 334549221 4020658573 2930181653 1844945764 3739674429 949281203 2033231273 1737392187 632315373 3108166448 168827248 2880984606 1657034168 39724292 2573219374 2281503146 2554208972 1281673046 3727461043 1337532588 1655304841 1587051517 833782402 3101549847 1053096870 3859426432 1589467617 764270012 260437760 3219516300 1260897989 334177875 3891737077 1064584390 2467701600 1132988342 2752849675 589632619 3852940765 4225730193 472451471 924648258 2653389953 1419667795 2504499883 1200536908 1651318421 4191560089 440866344 488118008 1065597076 195981961 1885092562 1234876901 2568092824 4203547189 1268122941 2019565857 593183346 1542806567 1707904124 2324246841 1166982533 1083763831 541680121 3669946141 225727446 3830643894 376071023 2493686008 208452302 546675618 4209933711 620409659 2478515477 204985219 909520724 3618195862 1702773366 1174313491 4224939761 2775648512 382169369 1351001139 245685425 2812891913 592843752 265335907 730813193 4265677620 2316259401 3186894619 2687731736 4218571478 2667011836 3661869718 111477372 2544988613 2224333076 2988801335 2081238078 2326372435 2731765265 1565204736 3232814726 2122794135 2351113823 1046671797 3521818269 2440336578 1662626385 1871505886 814554121 3039084131 3850833909 3175423706 308513856 3389020939 4097359333 1694274289 247803850 2919658460 2241570419 3300982906 3060014171 109649556 2470302919 1860777403 2770421927 1925591696 3256680884 3127750107 3563838295 3829836881 352599344 1229306233 2506743339 3276185225 1745624519 2843653662 2975407276 3989233354 1819623526 447544191 1201069791 2069347517 489196992 2155328654 2649228653 3694803100 1551615440 225610458 701593743 2166553074 3449133284 3140090872 2691449902 882932464 3143234270 142884435 730022799 3000964281 1972415430 3662991412 1517673967 4018478202 1220754917 4084485840 2761996292 2016642336 2931389484 780148653 1747742327 2196156407 1060888445 3717264185 469491470 1207040141 1388315062 43686491 893098041 895839440 296517254 3455428385 4276540581 1800145342 1578548055 3644546509 4280722112 4240620845 533081156 4225094904 1023262942 23915688 3223770484 3386199290 2893139579 2963063047 201234994 1855902291 2636422298 2908122470 2876260321 2740142378 19873048 2308238120 41433523 1728722997 203576079 3161746677 991034372 3378202013 1094773792 2902405289 365786389 1206175510 1491775811 721096869 3708853693 2434203745 2300294397 2535342524 940624066 2270711910 2626048838 3107606528 3537500762 3314990031 2699841764 4209435469 3880406489 810866072 536556556 1444085525 1123037514 1660685760 2870118240 4009903237 715654950 952884482 413693395 3122910930 1366769436 2693385515 2620350001 4015372712 3973798945 458627137 255 362436" option to reproduce the execution 0.00/0.01 c #vars 100 0.00/0.01 c #constraints 100 0.00/0.04 c BCD2: Hardening is enabled. 0.00/0.04 c BCD2: BiasedSearch is enabled. 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 1314 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 215 | 0 | 1314 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.004s 0.00/0.04 c #wall_clock_time = 0.004s 0.00/0.04 c #decision = 215 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 o 80 0.00/0.04 c BCD2: updating upper bound: 100 -> 79 0.00/0.04 c BCD2: 0 <= obj <= 79 0.00/0.04 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 1314 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 72 | 0 | 1314 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.002s 0.00/0.04 c #wall_clock_time = 0.002s 0.00/0.04 c #decision = 72 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 13: cost of the new core is >=1 0.00/0.04 c lower bound updated to 1 0.00/0.04 c BCD2: 1 <= obj <= 79 0.00/0.04 c BCD2: #cores=1, #unrelaxed=87, #relaxed=13, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 1314 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 68 | 0 | 1314 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.002s 0.00/0.05 c #wall_clock_time = 0.002s 0.00/0.05 c #decision = 68 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 13: cost of the new core is >=1 0.00/0.05 c lower bound updated to 2 0.00/0.05 c BCD2: 2 <= obj <= 79 0.00/0.05 c BCD2: #cores=2, #unrelaxed=74, #relaxed=26, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1314 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 68 | 0 | 1314 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.002s 0.00/0.05 c #wall_clock_time = 0.002s 0.00/0.05 c #decision = 68 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.05 c lower bound updated to 3 0.00/0.05 c BCD2: 3 <= obj <= 79 0.00/0.05 c BCD2: #cores=3, #unrelaxed=63, #relaxed=37, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1314 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 64 | 0 | 1314 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.002s 0.00/0.05 c #wall_clock_time = 0.002s 0.00/0.05 c #decision = 64 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.05 c lower bound updated to 4 0.00/0.05 c BCD2: 4 <= obj <= 79 0.00/0.05 c BCD2: #cores=4, #unrelaxed=52, #relaxed=48, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1314 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 381 | 1 | 1314 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.004s 0.00/0.06 c #wall_clock_time = 0.004s 0.00/0.06 c #decision = 381 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 o 23 0.00/0.06 c BCD2: updating upper bound: 79 -> 22 0.00/0.06 c BCD2: 4 <= obj <= 22 0.00/0.06 c BCD2: #cores=4, #unrelaxed=52, #relaxed=48, #hardened=0 0.00/0.06 c BCD2: #sat=2 #unsat=5 bias=5/7 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1314 0 | 0 | 1 0.00/0.08 c 0.0s | 0 | 233 | 50 | 1314 0 | 0 | 1 0.00/0.08 c #cpu_time = 0.021s 0.00/0.08 c #wall_clock_time = 0.021s 0.00/0.08 c #decision = 233 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 50 0.00/0.08 c #restart = 0 0.00/0.08 o 15 0.00/0.08 c BCD2: updating upper bound: 22 -> 14 0.00/0.08 c BCD2: 4 <= obj <= 14 0.00/0.08 c BCD2: #cores=4, #unrelaxed=52, #relaxed=48, #hardened=0 0.00/0.08 c BCD2: #sat=3 #unsat=5 bias=5/8 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 1314 0 | 0 | 2 0.09/0.10 c 0.0s | 0 | 109 | 36 | 1314 0 | 0 | 2 0.09/0.10 c #cpu_time = 0.016s 0.09/0.10 c #wall_clock_time = 0.016s 0.09/0.10 c #decision = 109 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 36 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: relaxing 52 and merging with 4 cores into a new core of size 100: cost of the new core is >=5 0.09/0.10 c lower bound updated to 5 0.09/0.10 c BCD2: 5 <= obj <= 14 0.09/0.10 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.09/0.10 c BCD2: #sat=3 #unsat=6 bias=6/9 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 1314 0 | 15 | 2 0.09/0.17 c 0.1s | 1 | 419 | 100 | 1446 0 | 15 | 28 0.18/0.28 c 0.2s | 2 | 894 | 250 | 1591 0 | 15 | 28 0.38/0.44 c 0.3s | 3 | 1515 | 475 | 1751 0 | 15 | 28 0.58/0.69 c 0.6s | 4 | 2349 | 813 | 1927 0 | 15 | 28 1.09/1.11 c 1.0s | 5 | 3801 | 1320 | 2120 0 | 15 | 28 1.49/1.59 c 1.5s | 6 | 5828 | 2081 | 2332 0 | 15 | 28 2.20/2.30 c 2.2s | 7 | 8934 | 3223 | 2566 1 | 15 | 28 3.29/3.33 c 3.2s | 8 | 13609 | 4936 | 2823 2 | 15 | 28 4.79/4.81 c 4.7s | 9 | 20669 | 7506 | 3106 3 | 15 | 28 6.78/6.82 c 6.7s | 9 | 30117 | 10906 | 3106 5 | 15 | 28 7.08/7.12 c 7.0s | 10 | 31347 | 11361 | 3417 6 | 15 | 28 9.08/9.12 c 9.0s | 10 | 40721 | 14561 | 3417 7 | 15 | 28 10.58/10.65 c 10.6s | 11 | 48001 | 17144 | 3759 9 | 15 | 28 12.58/12.66 c 12.6s | 11 | 57029 | 20444 | 3759 10 | 15 | 28 14.68/14.72 c 14.6s | 11 | 66208 | 23744 | 3759 12 | 15 | 28 15.98/16.03 c 15.9s | 12 | 72435 | 25819 | 4135 13 | 15 | 28 17.98/18.06 c 18.0s | 12 | 80958 | 29019 | 4135 14 | 15 | 28 20.08/20.10 c 20.0s | 12 | 89995 | 32219 | 4135 16 | 15 | 28 22.09/22.13 c 22.0s | 12 | 99561 | 35419 | 4135 17 | 15 | 28 24.08/24.14 c 24.0s | 12 | 109545 | 38819 | 4549 19 | 15 | 28 24.08/24.15 c 24.1s | 13 | 109591 | 38832 | 4549 19 | 15 | 28 26.08/26.16 c 26.1s | 13 | 118879 | 42232 | 4549 20 | 15 | 28 28.18/28.22 c 28.1s | 13 | 128155 | 45632 | 4549 21 | 15 | 28 30.18/30.25 c 30.1s | 13 | 137142 | 48932 | 4549 23 | 15 | 28 32.18/32.29 c 32.2s | 13 | 145487 | 52332 | 4549 24 | 15 | 28 34.28/34.32 c 34.2s | 13 | 154461 | 55732 | 4549 25 | 15 | 28 35.78/35.86 c 35.8s | 14 | 161346 | 58352 | 5004 26 | 15 | 28 37.88/37.94 c 37.8s | 14 | 169838 | 61552 | 5004 28 | 15 | 28 39.88/39.97 c 39.9s | 14 | 178973 | 64952 | 5004 29 | 15 | 28 41.98/42.02 c 41.9s | 14 | 187706 | 68152 | 5004 30 | 15 | 28 43.99/44.07 c 44.0s | 14 | 197415 | 71452 | 5004 31 | 15 | 28 45.98/46.08 c 46.0s | 14 | 206272 | 74752 | 5004 32 | 15 | 28 47.98/48.09 c 48.0s | 14 | 215291 | 77952 | 5004 34 | 15 | 28 50.08/50.14 c 50.0s | 14 | 224089 | 81252 | 5004 35 | 15 | 28 52.18/52.20 c 52.1s | 14 | 233128 | 84452 | 5004 36 | 15 | 28 54.08/54.15 c 54.0s | 15 | 241858 | 87632 | 5505 37 | 15 | 28 56.09/56.16 c 56.1s | 15 | 250000 | 90732 | 5505 38 | 15 | 28 58.18/58.21 c 58.1s | 15 | 258087 | 93832 | 5505 39 | 15 | 28 60.18/60.24 c 60.1s | 15 | 266146 | 96932 | 5505 40 | 15 | 28 62.18/62.29 c 62.2s | 15 | 274050 | 100132 | 5505 41 | 15 | 28 64.28/64.31 c 64.2s | 15 | 282771 | 103332 | 5505 43 | 15 | 28 66.28/66.36 c 66.3s | 15 | 291904 | 106632 | 5505 44 | 15 | 28 68.38/68.42 c 68.3s | 15 | 300487 | 110032 | 5505 45 | 15 | 28 70.39/70.47 c 70.4s | 15 | 308750 | 113432 | 5505 46 | 15 | 28 72.48/72.52 c 72.4s | 15 | 317627 | 116932 | 5505 47 | 15 | 28 74.48/74.55 c 74.4s | 15 | 326522 | 120332 | 5505 48 | 15 | 28 76.48/76.59 c 76.5s | 15 | 335440 | 123732 | 5505 50 | 15 | 28 78.58/78.60 c 78.5s | 15 | 344451 | 127232 | 5505 51 | 15 | 28 80.58/80.61 c 80.5s | 15 | 351555 | 130032 | 5505 52 | 15 | 28 81.48/81.59 c 81.5s | 16 | 355707 | 131552 | 6056 52 | 15 | 28 83.48/83.59 c 83.5s | 16 | 364034 | 134552 | 6056 53 | 15 | 28 85.58/85.61 c 85.5s | 16 | 373331 | 137752 | 6056 54 | 15 | 28 87.57/87.65 c 87.5s | 16 | 382065 | 140852 | 6056 55 | 15 | 28 89.67/89.70 c 89.6s | 16 | 390689 | 144152 | 6056 56 | 15 | 28 91.67/91.74 c 91.6s | 16 | 398831 | 147252 | 6056 57 | 15 | 28 93.77/93.80 c 93.7s | 16 | 408156 | 150552 | 6056 58 | 15 | 28 95.78/95.84 c 95.7s | 16 | 416507 | 153852 | 6056 59 | 15 | 28 97.77/97.89 c 97.8s | 16 | 426023 | 157152 | 6056 60 | 15 | 28 99.87/99.91 c 99.8s | 16 | 434955 | 160352 | 6056 61 | 15 | 28 101.87/101.92 c 101s | 16 | 443822 | 163752 | 6056 62 | 15 | 28 103.97/104.00 c 103s | 16 | 452133 | 167052 | 6056 63 | 15 | 28 105.97/106.06 c 105s | 16 | 459900 | 169952 | 6056 64 | 15 | 28 108.07/108.10 c 107s | 16 | 469757 | 173252 | 6056 65 | 15 | 28 110.08/110.13 c 110s | 16 | 478777 | 176452 | 6056 66 | 15 | 28 112.07/112.16 c 112s | 16 | 488487 | 179652 | 6056 67 | 15 | 28 114.07/114.17 c 114s | 16 | 496380 | 182852 | 6056 68 | 15 | 28 116.07/116.18 c 116s | 16 | 504289 | 185952 | 6056 69 | 15 | 28 118.17/118.21 c 118s | 16 | 512890 | 189152 | 6056 70 | 15 | 28 120.17/120.24 c 120s | 16 | 522097 | 192452 | 6056 71 | 15 | 28 122.17/122.27 c 122s | 16 | 531497 | 195752 | 6056 72 | 15 | 28 123.27/123.33 c 123s | 17 | 535787 | 197432 | 6662 72 | 15 | 28 125.27/125.34 c 125s | 17 | 543198 | 200232 | 6662 73 | 15 | 28 127.27/127.34 c 127s | 17 | 551227 | 203432 | 6662 74 | 15 | 28 129.27/129.37 c 129s | 17 | 559953 | 206632 | 6662 75 | 15 | 28 131.37/131.40 c 131s | 17 | 569081 | 209832 | 6662 76 | 15 | 28 133.37/133.44 c 133s | 17 | 578441 | 213132 | 6662 77 | 15 | 28 135.37/135.44 c 135s | 17 | 587517 | 216332 | 6662 78 | 15 | 28 137.37/137.46 c 137s | 17 | 597340 | 219632 | 6662 79 | 15 | 28 139.36/139.46 c 139s | 17 | 606187 | 223032 | 6662 80 | 15 | 28 141.46/141.58 c 141s | 17 | 615037 | 226332 | 6662 81 | 15 | 28 143.56/143.60 c 143s | 17 | 622819 | 229032 | 6662 82 | 15 | 28 145.56/145.63 c 145s | 17 | 631176 | 232332 | 6662 82 | 15 | 28 147.56/147.67 c 147s | 17 | 639290 | 235432 | 6662 83 | 15 | 28 149.57/149.68 c 149s | 17 | 648370 | 238532 | 6662 84 | 15 | 28 151.66/151.74 c 151s | 17 | 657180 | 241932 | 6662 85 | 15 | 28 153.66/153.79 c 153s | 17 | 666095 | 245132 | 6662 86 | 15 | 28 155.76/155.81 c 155s | 17 | 674950 | 248432 | 6662 87 | 15 | 28 157.76/157.85 c 157s | 17 | 684113 | 251632 | 6662 88 | 15 | 28 159.76/159.87 c 159s | 17 | 693127 | 254932 | 6662 89 | 15 | 28 161.86/161.93 c 161s | 17 | 702000 | 258232 | 6662 90 | 15 | 28 163.87/163.95 c 163s | 17 | 711467 | 261532 | 6662 91 | 15 | 28 165.96/166.00 c 165s | 17 | 720319 | 264932 | 6662 92 | 15 | 28 167.96/168.02 c 167s | 17 | 727013 | 267632 | 6662 93 | 15 | 28 169.96/170.07 c 169s | 17 | 734759 | 270832 | 6662 94 | 15 | 28 171.96/172.09 c 171s | 17 | 743548 | 273932 | 6662 94 | 15 | 28 174.06/174.10 c 174s | 17 | 752783 | 277032 | 6662 95 | 15 | 28 176.06/176.11 c 176s | 17 | 761563 | 280032 | 6662 96 | 15 | 28 178.06/178.17 c 178s | 17 | 770331 | 283232 | 6662 97 | 15 | 28 180.16/180.23 c 180s | 17 | 778819 | 286432 | 6662 98 | 15 | 28 182.16/182.28 c 182s | 17 | 787938 | 289632 | 6662 99 | 15 | 28 184.26/184.32 c 184s | 17 | 797045 | 292732 | 6662 100 | 15 | 28 186.26/186.33 c 186s | 17 | 805658 | 295932 | 7329 100 | 15 | 28 186.46/186.55 c 186s | 18 | 806417 | 296252 | 7329 101 | 15 | 28 188.46/188.56 c 188s | 18 | 813974 | 298952 | 7329 101 | 15 | 28 190.56/190.61 c 190s | 18 | 822367 | 302152 | 7329 102 | 15 | 28 192.56/192.65 c 192s | 18 | 830896 | 305452 | 7329 103 | 15 | 28 194.56/194.69 c 194s | 18 | 838812 | 308152 | 7329 104 | 15 | 28 196.66/196.71 c 196s | 18 | 847517 | 311452 | 7329 105 | 15 | 28 198.66/198.72 c 198s | 18 | 855157 | 314452 | 7329 105 | 15 | 28 200.66/200.74 c 200s | 18 | 864458 | 317552 | 7329 106 | 15 | 28 202.76/202.80 c 202s | 18 | 872427 | 320552 | 7329 107 | 15 | 28 204.76/204.82 c 204s | 18 | 880589 | 323652 | 7329 108 | 15 | 28 206.77/206.83 c 206s | 18 | 889270 | 326752 | 7329 108 | 15 | 28 208.76/208.89 c 208s | 18 | 898533 | 329952 | 7329 109 | 15 | 28 210.86/210.92 c 210s | 18 | 906843 | 333052 | 7329 110 | 15 | 28 212.86/212.95 c 212s | 18 | 915038 | 336252 | 7329 111 | 15 | 28 214.86/215.00 c 214s | 18 | 924396 | 339552 | 7329 112 | 15 | 28 216.96/217.00 c 216s | 18 | 933898 | 342752 | 7329 113 | 15 | 28 218.97/219.03 c 218s | 18 | 943213 | 346152 | 7329 113 | 15 | 28 220.96/221.03 c 220s | 18 | 952293 | 349452 | 7329 114 | 15 | 28 222.96/223.06 c 222s | 18 | 961774 | 353152 | 7329 115 | 15 | 28 225.06/225.11 c 225s | 18 | 967808 | 355552 | 7329 116 | 15 | 28 227.06/227.13 c 227s | 18 | 975819 | 358752 | 7329 117 | 15 | 28 229.06/229.18 c 229s | 18 | 983796 | 361852 | 7329 118 | 15 | 28 231.16/231.24 c 231s | 18 | 992575 | 365152 | 7329 118 | 15 | 28 233.16/233.26 c 233s | 18 | 1000886 | 368352 | 7329 119 | 15 | 28 235.16/235.27 c 235s | 18 | 1009220 | 371552 | 7329 120 | 15 | 28 237.25/237.31 c 237s | 18 | 1017771 | 374752 | 7329 121 | 15 | 28 239.25/239.31 c 239s | 18 | 1027027 | 377952 | 7329 122 | 15 | 28 241.25/241.37 c 241s | 18 | 1035490 | 381152 | 7329 123 | 15 | 28 243.35/243.43 c 243s | 18 | 1044058 | 384552 | 7329 123 | 15 | 28 245.36/245.45 c 245s | 18 | 1052978 | 387952 | 7329 124 | 15 | 28 247.46/247.51 c 247s | 18 | 1061612 | 391452 | 7329 125 | 15 | 28 249.45/249.57 c 249s | 18 | 1070121 | 394452 | 7329 126 | 15 | 28 251.55/251.60 c 251s | 18 | 1077826 | 397152 | 7329 127 | 15 | 28 253.55/253.62 c 253s | 18 | 1086459 | 400352 | 7329 128 | 15 | 28 255.55/255.65 c 255s | 18 | 1094796 | 403552 | 7329 128 | 15 | 28 257.55/257.66 c 257s | 18 | 1103044 | 406652 | 7329 129 | 15 | 28 259.55/259.69 c 259s | 18 | 1111412 | 409852 | 7329 130 | 15 | 28 261.65/261.72 c 261s | 18 | 1120692 | 413152 | 7329 131 | 15 | 28 263.65/263.78 c 263s | 18 | 1129603 | 416352 | 7329 132 | 15 | 28 265.65/265.79 c 265s | 18 | 1138456 | 419552 | 7329 133 | 15 | 28 267.75/267.81 c 267s | 18 | 1147142 | 422852 | 7329 133 | 15 | 28 269.75/269.85 c 269s | 18 | 1155907 | 426152 | 7329 134 | 15 | 28 271.75/271.88 c 271s | 18 | 1164907 | 429452 | 7329 135 | 15 | 28 273.85/273.92 c 273s | 18 | 1173597 | 432952 | 7329 136 | 15 | 28 275.85/275.93 c 275s | 18 | 1181412 | 436252 | 7329 137 | 15 | 28 277.84/277.97 c 277s | 18 | 1189049 | 438952 | 7329 138 | 15 | 28 279.94/280.03 c 279s | 18 | 1197005 | 442052 | 8062 138 | 15 | 28 281.65/281.74 c 281s | 19 | 1203647 | 444482 | 8062 139 | 15 | 28 283.75/283.82 c 283s | 19 | 1211959 | 447582 | 8062 140 | 15 | 28 285.74/285.86 c 285s | 19 | 1220097 | 450682 | 8062 140 | 15 | 28 287.74/287.87 c 287s | 19 | 1228659 | 453782 | 8062 141 | 15 | 28 289.84/289.90 c 289s | 19 | 1237008 | 456882 | 8062 142 | 15 | 28 291.84/291.94 c 291s | 19 | 1245879 | 460182 | 8062 142 | 15 | 28 293.84/293.97 c 293s | 19 | 1253855 | 463182 | 8062 143 | 15 | 28 295.85/295.98 c 295s | 19 | 1260485 | 465582 | 8062 144 | 15 | 28 297.94/298.01 c 297s | 19 | 1268512 | 468582 | 8062 145 | 15 | 28 299.94/300.02 c 299s | 19 | 1276451 | 471582 | 8062 145 | 15 | 28 301.94/302.08 c 301s | 19 | 1285129 | 474682 | 8062 146 | 15 | 28 303.94/304.10 c 303s | 19 | 1292809 | 477682 | 8062 147 | 15 | 28 306.04/306.12 c 306s | 19 | 1301192 | 480782 | 8062 147 | 15 | 28 308.05/308.13 c 308s | 19 | 1309663 | 483782 | 8062 148 | 15 | 28 310.04/310.18 c 310s | 19 | 1318495 | 486882 | 8062 149 | 15 | 28 312.14/312.22 c 312s | 19 | 1327184 | 490082 | 8062 150 | 15 | 28 314.14/314.28 c 314s | 19 | 1335846 | 493282 | 8062 150 | 15 | 28 316.24/316.30 c 316s | 19 | 1344426 | 496482 | 8062 151 | 15 | 28 318.24/318.32 c 318s | 19 | 1352692 | 499582 | 8062 152 | 15 | 28 320.24/320.35 c 320s | 19 | 1361274 | 502782 | 8062 153 | 15 | 28 322.24/322.36 c 322s | 19 | 1369973 | 506082 | 8062 153 | 15 | 28 324.33/324.46 c 324s | 19 | 1376946 | 508882 | 8062 154 | 15 | 28 326.43/326.51 c 326s | 19 | 1384553 | 511882 | 8062 155 | 15 | 28 328.43/328.54 c 328s | 19 | 1392912 | 514882 | 8062 156 | 15 | 28 330.53/330.61 c 330s | 19 | 1401232 | 518182 | 8062 156 | 15 | 28 332.53/332.65 c 332s | 19 | 1409127 | 521182 | 8062 157 | 15 | 28 334.63/334.71 c 334s | 19 | 1417540 | 524382 | 8062 158 | 15 | 28 336.64/336.76 c 336s | 19 | 1425729 | 527382 | 8062 159 | 15 | 28 338.63/338.78 c 338s | 19 | 1434801 | 530582 | 8062 159 | 15 | 28 340.73/340.81 c 340s | 19 | 1443105 | 533582 | 8062 160 | 15 | 28 342.73/342.85 c 342s | 19 | 1451159 | 536682 | 8062 161 | 15 | 28 344.73/344.86 c 344s | 19 | 1460086 | 539982 | 8062 162 | 15 | 28 346.84/346.91 c 346s | 19 | 1469076 | 543382 | 8062 162 | 15 | 28 348.84/348.93 c 348s | 19 | 1478013 | 546582 | 8062 163 | 15 | 28 350.85/350.94 c 350s | 19 | 1486838 | 549682 | 8062 164 | 15 | 28 352.94/353.00 c 352s | 19 | 1496064 | 553082 | 8062 165 | 15 | 28 354.94/355.04 c 354s | 19 | 1505371 | 556582 | 8062 165 | 15 | 28 356.94/357.08 c 356s | 19 | 1515378 | 560182 | 8062 166 | 15 | 28 359.04/359.15 c 359s | 19 | 1522306 | 562882 | 8062 167 | 15 | 28 361.04/361.17 c 361s | 19 | 1530058 | 565782 | 8062 168 | 15 | 28 363.14/363.20 c 363s | 19 | 1538657 | 569082 | 8062 168 | 15 | 28 365.14/365.23 c 365s | 19 | 1547317 | 572282 | 8062 169 | 15 | 28 367.14/367.25 c 367s | 19 | 1555439 | 575282 | 8062 170 | 15 | 28 369.14/369.26 c 369s | 19 | 1563345 | 578182 | 8062 171 | 15 | 28 371.24/371.32 c 371s | 19 | 1572193 | 581282 | 8062 171 | 15 | 28 373.24/373.38 c 373s | 19 | 1581083 | 584482 | 8062 172 | 15 | 28 375.33/375.43 c 375s | 19 | 1589191 | 587582 | 8062 173 | 15 | 28 377.34/377.44 c 377s | 19 | 1597471 | 590582 | 8062 174 | 15 | 28 379.33/379.49 c 379s | 19 | 1606624 | 593882 | 8062 174 | 15 | 28 381.43/381.54 c 381s | 19 | 1615045 | 597282 | 8062 175 | 15 | 28 383.43/383.58 c 383s | 19 | 1623766 | 600682 | 8062 176 | 15 | 28 385.53/385.63 c 385s | 19 | 1632595 | 604082 | 8062 177 | 15 | 28 387.63/387.70 c 387s | 19 | 1642195 | 607482 | 8062 178 | 15 | 28 389.63/389.75 c 389s | 19 | 1651186 | 610882 | 8062 178 | 15 | 28 391.64/391.79 c 391s | 19 | 1661558 | 614482 | 8062 179 | 15 | 28 393.74/393.85 c 393s | 19 | 1667369 | 616682 | 8062 180 | 15 | 28 395.73/395.88 c 395s | 19 | 1675392 | 619782 | 8062 180 | 15 | 28 397.83/397.90 c 397s | 19 | 1682443 | 622782 | 8062 181 | 15 | 28 399.83/399.95 c 399s | 19 | 1690335 | 625782 | 8062 182 | 15 | 28 401.83/401.95 c 401s | 19 | 1698738 | 628882 | 8062 183 | 15 | 28 403.83/403.96 c 403s | 19 | 1707225 | 631982 | 8062 183 | 15 | 28 405.94/406.01 c 405s | 19 | 1715851 | 635282 | 8062 184 | 15 | 28 407.93/408.01 c 407s | 19 | 1724420 | 638482 | 8062 185 | 15 | 28 409.93/410.06 c 409s | 19 | 1733131 | 641782 | 8062 186 | 15 | 28 411.93/412.07 c 411s | 19 | 1742109 | 645182 | 8062 186 | 15 | 28 414.13/414.22 c 414s | 19 | 1749485 | 647882 | 8062 187 | 15 | 28 416.13/416.26 c 416s | 19 | 1758427 | 651082 | 8062 188 | 15 | 28 418.13/418.27 c 418s | 19 | 1766630 | 654082 | 8062 189 | 15 | 28 420.13/420.30 c 420s | 19 | 1775267 | 657282 | 8062 189 | 15 | 28 422.23/422.39 c 422s | 19 | 1783724 | 660482 | 8062 190 | 15 | 28 424.33/424.42 c 424s | 19 | 1791580 | 663482 | 8869 191 | 15 | 28 426.33/426.46 c 426s | 19 | 1799905 | 666582 | 8869 191 | 15 | 28 426.53/426.64 c 426s | 20 | 1800560 | 666827 | 8869 191 | 15 | 28 428.52/428.67 c 428s | 20 | 1806854 | 669227 | 8869 192 | 15 | 28 430.52/430.69 c 430s | 20 | 1814834 | 672127 | 8869 192 | 15 | 28 432.62/432.75 c 432s | 20 | 1822646 | 675027 | 8869 193 | 15 | 28 434.72/434.81 c 434s | 20 | 1830404 | 677827 | 8869 194 | 15 | 28 436.73/436.84 c 436s | 20 | 1838880 | 680827 | 8869 194 | 15 | 28 438.72/438.89 c 438s | 20 | 1846979 | 683927 | 8869 195 | 15 | 28 440.82/440.91 c 440s | 20 | 1854461 | 686827 | 8869 196 | 15 | 28 442.82/442.94 c 442s | 20 | 1863098 | 689927 | 8869 196 | 15 | 28 444.82/444.99 c 444s | 20 | 1871107 | 692927 | 8869 197 | 15 | 28 446.92/447.02 c 446s | 20 | 1879601 | 696027 | 8869 198 | 15 | 28 448.92/449.03 c 448s | 20 | 1887798 | 699127 | 8869 198 | 15 | 28 450.93/451.04 c 450s | 20 | 1896530 | 702227 | 8869 199 | 15 | 28 452.92/453.06 c 452s | 20 | 1904601 | 705327 | 8869 200 | 15 | 28 455.02/455.10 c 454s | 20 | 1913514 | 708627 | 8869 200 | 15 | 28 457.02/457.15 c 457s | 20 | 1919654 | 710927 | 8869 201 | 15 | 28 459.12/459.21 c 459s | 20 | 1927416 | 714027 | 8869 202 | 15 | 28 461.12/461.22 c 461s | 20 | 1935162 | 717127 | 8869 202 | 15 | 28 463.12/463.27 c 463s | 20 | 1944359 | 720327 | 8869 203 | 15 | 28 465.12/465.30 c 465s | 20 | 1952124 | 723327 | 8869 204 | 15 | 28 467.22/467.32 c 467s | 20 | 1959766 | 726527 | 8869 204 | 15 | 28 469.21/469.39 c 469s | 20 | 1967551 | 729527 | 8869 205 | 15 | 28 471.31/471.41 c 471s | 20 | 1975974 | 732727 | 8869 206 | 15 | 28 473.31/473.44 c 473s | 20 | 1984188 | 735927 | 8869 206 | 15 | 28 475.31/475.49 c 475s | 20 | 1991969 | 739127 | 8869 207 | 15 | 28 477.42/477.54 c 477s | 20 | 1999708 | 742327 | 8869 208 | 15 | 28 479.41/479.56 c 479s | 20 | 2007638 | 745327 | 8869 208 | 15 | 28 481.51/481.60 c 481s | 20 | 2015659 | 748527 | 8869 209 | 15 | 28 483.51/483.65 c 483s | 20 | 2023875 | 751727 | 8869 210 | 15 | 28 485.61/485.71 c 485s | 20 | 2030820 | 754427 | 8869 210 | 15 | 28 487.61/487.72 c 487s | 20 | 2037638 | 757127 | 8869 211 | 15 | 28 489.61/489.79 c 489s | 20 | 2045575 | 759927 | 8869 212 | 15 | 28 491.72/491.82 c 491s | 20 | 2053469 | 762927 | 8869 212 | 15 | 28 493.71/493.87 c 493s | 20 | 2062317 | 765927 | 8869 213 | 15 | 28 495.81/495.95 c 495s | 20 | 2070095 | 768827 | 8869 214 | 15 | 28 497.81/497.97 c 497s | 20 | 2078587 | 771827 | 8869 214 | 15 | 28 499.91/500.03 c 499s | 20 | 2086388 | 774927 | 8869 215 | 15 | 28 502.01/502.10 c 502s | 20 | 2094644 | 778027 | 8869 215 | 15 | 28 504.01/504.13 c 504s | 20 | 2102526 | 781127 | 8869 216 | 15 | 28 506.02/506.18 c 506s | 20 | 2110478 | 784227 | 8869 217 | 15 | 28 508.12/508.27 c 508s | 20 | 2118504 | 787327 | 8869 218 | 15 | 28 510.22/510.32 c 510s | 20 | 2126823 | 790427 | 8869 218 | 15 | 28 512.22/512.34 c 512s | 20 | 2135036 | 793627 | 8869 219 | 15 | 28 514.21/514.39 c 514s | 20 | 2143779 | 797127 | 8869 220 | 15 | 28 516.31/516.46 c 516s | 20 | 2150835 | 799827 | 8869 220 | 15 | 28 518.31/518.49 c 518s | 20 | 2158561 | 802527 | 8869 221 | 15 | 28 520.41/520.53 c 520s | 20 | 2165850 | 805327 | 8869 221 | 15 | 28 522.42/522.54 c 522s | 20 | 2173308 | 808027 | 8869 222 | 15 | 28 524.41/524.58 c 524s | 20 | 2180749 | 810827 | 8869 223 | 15 | 28 526.41/526.58 c 526s | 20 | 2189547 | 813927 | 8869 223 | 15 | 28 528.41/528.59 c 528s | 20 | 2197396 | 817027 | 8869 224 | 15 | 28 530.51/530.61 c 530s | 20 | 2205730 | 820127 | 8869 225 | 15 | 28 532.51/532.61 c 532s | 20 | 2214420 | 823327 | 8869 225 | 15 | 28 534.51/534.67 c 534s | 20 | 2223354 | 826827 | 8869 226 | 15 | 28 536.61/536.72 c 536s | 20 | 2231517 | 830027 | 8869 227 | 15 | 28 538.61/538.75 c 538s | 20 | 2239627 | 833227 | 8869 227 | 15 | 28 540.60/540.78 c 540s | 20 | 2248555 | 836627 | 8869 228 | 15 | 28 542.60/542.79 c 542s | 20 | 2256465 | 839927 | 8869 229 | 15 | 28 544.70/544.89 c 544s | 20 | 2261839 | 842127 | 8869 229 | 15 | 28 546.80/546.92 c 546s | 20 | 2269887 | 845127 | 8869 230 | 15 | 28 548.81/548.95 c 548s | 20 | 2278202 | 847927 | 8869 231 | 15 | 28 550.90/551.04 c 550s | 20 | 2286483 | 851027 | 8869 231 | 15 | 28 552.90/553.04 c 552s | 20 | 2294883 | 854027 | 8869 232 | 15 | 28 554.90/555.05 c 554s | 20 | 2303333 | 857427 | 8869 233 | 15 | 28 556.90/557.06 c 556s | 20 | 2311174 | 860327 | 8869 233 | 15 | 28 558.90/559.07 c 558s | 20 | 2319650 | 863427 | 8869 234 | 15 | 28 561.01/561.14 c 561s | 20 | 2328168 | 866727 | 8869 235 | 15 | 28 563.00/563.15 c 563s | 20 | 2336834 | 870027 | 8869 235 | 15 | 28 565.10/565.20 c 565s | 20 | 2345834 | 873527 | 8869 236 | 15 | 28 567.20/567.31 c 567s | 20 | 2353813 | 876527 | 8869 237 | 15 | 28 569.20/569.35 c 569s | 20 | 2360786 | 879127 | 8869 237 | 15 | 28 571.30/571.41 c 571s | 20 | 2368967 | 882227 | 8869 238 | 15 | 28 573.40/573.50 c 573s | 20 | 2376993 | 885227 | 8869 239 | 15 | 28 575.40/575.51 c 575s | 20 | 2384723 | 888127 | 8869 239 | 15 | 28 577.41/577.52 c 577s | 20 | 2392818 | 891127 | 8869 240 | 15 | 28 579.40/579.54 c 579s | 20 | 2400671 | 894027 | 8869 241 | 15 | 28 581.40/581.57 c 581s | 20 | 2409870 | 897427 | 8869 241 | 15 | 28 583.50/583.63 c 583s | 20 | 2417722 | 900227 | 8869 242 | 15 | 28 585.50/585.69 c 585s | 20 | 2426063 | 903327 | 8869 243 | 15 | 28 587.60/587.74 c 587s | 20 | 2434346 | 906527 | 8869 243 | 15 | 28 589.60/589.78 c 589s | 20 | 2442846 | 909727 | 8869 244 | 15 | 28 591.60/591.78 c 591s | 20 | 2450994 | 912727 | 8869 245 | 15 | 28 593.69/593.82 c 593s | 20 | 2460314 | 916127 | 8869 245 | 15 | 28 595.69/595.87 c 595s | 20 | 2468988 | 919327 | 8869 246 | 15 | 28 597.79/597.91 c 597s | 20 | 2477094 | 922627 | 8869 247 | 15 | 28 599.79/599.96 c 599s | 20 | 2485569 | 926027 | 8869 248 | 15 | 28 601.79/601.99 c 601s | 20 | 2492551 | 928627 | 8869 248 | 15 | 28 603.80/604.00 c 603s | 20 | 2500363 | 931527 | 8869 249 | 15 | 28 605.89/606.00 c 605s | 20 | 2508667 | 934627 | 8869 249 | 15 | 28 607.89/608.03 c 607s | 20 | 2516494 | 937727 | 8869 250 | 15 | 28 609.89/610.05 c 609s | 20 | 2524438 | 940727 | 8869 251 | 15 | 28 611.99/612.10 c 612s | 20 | 2533524 | 943927 | 8869 251 | 15 | 28 613.99/614.16 c 614s | 20 | 2542251 | 947227 | 8869 252 | 15 | 28 616.00/616.17 c 616s | 20 | 2551000 | 950327 | 8869 253 | 15 | 28 618.00/618.19 c 618s | 20 | 2559268 | 953427 | 8869 253 | 15 | 28 620.10/620.20 c 620s | 20 | 2567657 | 956727 | 8869 254 | 15 | 28 622.10/622.24 c 622s | 20 | 2575154 | 959727 | 8869 255 | 15 | 28 624.10/624.26 c 624s | 20 | 2583069 | 962727 | 8869 255 | 15 | 28 626.10/626.29 c 626s | 20 | 2590880 | 965927 | 8869 256 | 15 | 28 628.20/628.32 c 628s | 20 | 2599395 | 969227 | 8869 257 | 15 | 28 630.20/630.37 c 630s | 20 | 2606649 | 972127 | 8869 257 | 15 | 28 632.30/632.40 c 632s | 20 | 2614608 | 975327 | 8869 258 | 15 | 28 634.30/634.44 c 634s | 20 | 2622484 | 978427 | 8869 259 | 15 | 28 636.40/636.51 c 636s | 20 | 2630945 | 981527 | 8869 260 | 15 | 28 638.40/638.55 c 638s | 20 | 2639494 | 984827 | 8869 260 | 15 | 28 640.40/640.57 c 640s | 20 | 2647021 | 987827 | 8869 261 | 15 | 28 642.50/642.62 c 642s | 20 | 2655010 | 990927 | 8869 262 | 15 | 28 644.50/644.63 c 644s | 20 | 2663408 | 994227 | 9756 262 | 15 | 28 646.49/646.66 c 646s | 20 | 2671744 | 997527 | 9756 263 | 15 | 28 648.39/648.57 c 648s | 21 | 2679029 | 1000345 | 9756 263 | 15 | 28 650.49/650.60 c 650s | 21 | 2684628 | 1002545 | 9756 264 | 15 | 28 652.49/652.67 c 652s | 21 | 2693193 | 1005545 | 9756 264 | 15 | 28 654.50/654.68 c 654s | 21 | 2700976 | 1008545 | 9756 265 | 15 | 28 656.59/656.74 c 656s | 21 | 2708086 | 1011245 | 9756 265 | 15 | 28 658.59/658.78 c 658s | 21 | 2715803 | 1014345 | 9756 266 | 15 | 28 660.69/660.80 c 660s | 21 | 2723121 | 1016845 | 9756 267 | 15 | 28 662.69/662.84 c 662s | 21 | 2731866 | 1019945 | 9756 267 | 15 | 28 664.79/664.90 c 664s | 21 | 2740116 | 1023045 | 9756 268 | 15 | 28 666.79/666.92 c 666s | 21 | 2747298 | 1025745 | 9756 268 | 15 | 28 668.79/668.94 c 668s | 21 | 2755387 | 1028945 | 9756 269 | 15 | 28 670.78/670.98 c 670s | 21 | 2764140 | 1032145 | 9756 270 | 15 | 28 672.88/673.03 c 672s | 21 | 2771738 | 1035245 | 9756 270 | 15 | 28 674.88/675.06 c 674s | 21 | 2780003 | 1038345 | 9756 271 | 15 | 28 676.98/677.10 c 677s | 21 | 2789296 | 1041645 | 9756 271 | 15 | 28 678.98/679.12 c 679s | 21 | 2798439 | 1045145 | 9756 272 | 15 | 28 680.98/681.18 c 681s | 21 | 2803838 | 1047045 | 9756 273 | 15 | 28 683.09/683.22 c 683s | 21 | 2812312 | 1049945 | 9756 273 | 15 | 28 685.08/685.23 c 685s | 21 | 2820362 | 1052845 | 9756 274 | 15 | 28 687.09/687.25 c 687s | 21 | 2828444 | 1055845 | 9756 274 | 15 | 28 689.09/689.26 c 689s | 21 | 2836853 | 1058945 | 9756 275 | 15 | 28 691.19/691.31 c 691s | 21 | 2845468 | 1061945 | 9756 276 | 15 | 28 693.19/693.33 c 693s | 21 | 2852633 | 1064745 | 9756 276 | 15 | 28 695.19/695.35 c 695s | 21 | 2860051 | 1067445 | 9756 277 | 15 | 28 697.19/697.38 c 697s | 21 | 2868175 | 1070445 | 9756 277 | 15 | 28 699.29/699.41 c 699s | 21 | 2876295 | 1073345 | 9756 278 | 15 | 28 701.29/701.44 c 701s | 21 | 2884560 | 1076345 | 9756 278 | 15 | 28 703.28/703.48 c 703s | 21 | 2892790 | 1079445 | 9756 279 | 15 | 28 705.38/705.50 c 705s | 21 | 2900920 | 1082345 | 9756 280 | 15 | 28 707.38/707.53 c 707s | 21 | 2909023 | 1085345 | 9756 280 | 15 | 28 709.39/709.58 c 709s | 21 | 2916936 | 1088445 | 9756 281 | 15 | 28 711.48/711.63 c 711s | 21 | 2925678 | 1091645 | 9756 281 | 15 | 28 713.48/713.68 c 713s | 21 | 2934606 | 1095045 | 9756 282 | 15 | 28 715.58/715.73 c 715s | 21 | 2942710 | 1098345 | 9756 283 | 15 | 28 717.58/717.75 c 717s | 21 | 2951795 | 1101845 | 9756 283 | 15 | 28 719.68/719.85 c 719s | 21 | 2957429 | 1104045 | 9756 284 | 15 | 28 721.68/721.89 c 721s | 21 | 2965156 | 1106645 | 9756 284 | 15 | 28 723.68/723.89 c 723s | 21 | 2973147 | 1109545 | 9756 285 | 15 | 28 725.77/725.95 c 725s | 21 | 2981163 | 1112445 | 9756 286 | 15 | 28 727.87/728.00 c 727s | 21 | 2989019 | 1115345 | 9756 286 | 15 | 28 729.87/730.02 c 729s | 21 | 2996541 | 1118145 | 9756 287 | 15 | 28 731.87/732.07 c 731s | 21 | 3004886 | 1121245 | 9756 287 | 15 | 28 733.97/734.12 c 734s | 21 | 3013044 | 1124245 | 9756 288 | 15 | 28 735.97/736.15 c 736s | 21 | 3020947 | 1127145 | 9756 288 | 15 | 28 737.98/738.17 c 738s | 21 | 3029013 | 1129945 | 9756 289 | 15 | 28 740.07/740.20 c 740s | 21 | 3036432 | 1132845 | 9756 290 | 15 | 28 742.07/742.24 c 742s | 21 | 3044770 | 1135945 | 9756 290 | 15 | 28 744.07/744.25 c 744s | 21 | 3052442 | 1138845 | 9756 291 | 15 | 28 746.07/746.26 c 746s | 21 | 3059848 | 1141845 | 9756 291 | 15 | 28 748.17/748.30 c 748s | 21 | 3067762 | 1145045 | 9756 292 | 15 | 28 750.17/750.30 c 750s | 21 | 3076013 | 1148145 | 9756 293 | 15 | 28 752.37/752.56 c 752s | 21 | 3082852 | 1150845 | 9756 293 | 15 | 28 754.36/754.57 c 754s | 21 | 3090162 | 1153545 | 9756 294 | 15 | 28 756.46/756.60 c 756s | 21 | 3098134 | 1156545 | 9756 294 | 15 | 28 758.46/758.63 c 758s | 21 | 3105678 | 1159445 | 9756 295 | 15 | 28 760.46/760.63 c 760s | 21 | 3114352 | 1162445 | 9756 295 | 15 | 28 762.45/762.65 c 762s | 21 | 3122650 | 1165345 | 9756 296 | 15 | 28 764.46/764.69 c 764s | 21 | 3130900 | 1168345 | 9756 297 | 15 | 28 766.56/766.71 c 766s | 21 | 3138883 | 1171445 | 9756 297 | 15 | 28 768.55/768.76 c 768s | 21 | 3147651 | 1174545 | 9756 298 | 15 | 28 770.55/770.77 c 770s | 21 | 3156257 | 1177545 | 9756 298 | 15 | 28 772.55/772.79 c 772s | 21 | 3164569 | 1180645 | 9756 299 | 15 | 28 774.65/774.82 c 774s | 21 | 3172966 | 1183745 | 9756 300 | 15 | 28 776.65/776.84 c 776s | 21 | 3181562 | 1187045 | 9756 300 | 15 | 28 778.65/778.86 c 778s | 21 | 3189333 | 1190245 | 9756 301 | 15 | 28 780.66/780.86 c 780s | 21 | 3196422 | 1192845 | 9756 301 | 15 | 28 782.65/782.88 c 782s | 21 | 3202836 | 1195445 | 9756 302 | 15 | 28 784.75/784.90 c 784s | 21 | 3210292 | 1198245 | 9756 302 | 15 | 28 786.75/786.90 c 786s | 21 | 3217468 | 1201045 | 9756 303 | 15 | 28 788.75/788.95 c 788s | 21 | 3225041 | 1203845 | 9756 304 | 15 | 28 790.86/791.02 c 790s | 21 | 3233297 | 1206845 | 9756 304 | 15 | 28 792.85/793.08 c 792s | 21 | 3240694 | 1209845 | 9756 305 | 15 | 28 794.95/795.12 c 795s | 21 | 3248672 | 1212945 | 9756 305 | 15 | 28 796.95/797.16 c 797s | 21 | 3256696 | 1215945 | 9756 306 | 15 | 28 798.95/799.18 c 799s | 21 | 3264147 | 1218845 | 9756 307 | 15 | 28 800.95/801.19 c 801s | 21 | 3272016 | 1221645 | 9756 307 | 15 | 28 803.05/803.21 c 803s | 21 | 3279052 | 1224445 | 9756 308 | 15 | 28 805.05/805.25 c 805s | 21 | 3286979 | 1227645 | 9756 308 | 15 | 28 807.04/807.26 c 807s | 21 | 3295232 | 1230545 | 9756 309 | 15 | 28 809.04/809.30 c 809s | 21 | 3302799 | 1233345 | 9756 309 | 15 | 28 811.14/811.30 c 811s | 21 | 3311576 | 1236245 | 9756 310 | 15 | 28 813.14/813.36 c 813s | 21 | 3319666 | 1239145 | 9756 311 | 15 | 28 815.14/815.39 c 815s | 21 | 3327987 | 1242245 | 9756 311 | 15 | 28 817.15/817.40 c 817s | 21 | 3335635 | 1245145 | 9756 312 | 15 | 28 819.24/819.41 c 819s | 21 | 3343089 | 1248145 | 9756 312 | 15 | 28 821.24/821.42 c 821s | 21 | 3351350 | 1251345 | 9756 313 | 15 | 28 823.23/823.48 c 823s | 21 | 3357516 | 1253545 | 9756 313 | 15 | 28 825.23/825.49 c 825s | 21 | 3365037 | 1256445 | 9756 314 | 15 | 28 827.33/827.56 c 827s | 21 | 3372597 | 1259245 | 9756 314 | 15 | 28 829.34/829.57 c 829s | 21 | 3380328 | 1262145 | 9756 315 | 15 | 28 831.44/831.60 c 831s | 21 | 3388439 | 1265045 | 9756 316 | 15 | 28 833.43/833.64 c 833s | 21 | 3396363 | 1267945 | 9756 316 | 15 | 28 835.43/835.66 c 835s | 21 | 3403722 | 1270945 | 9756 317 | 15 | 28 837.43/837.67 c 837s | 21 | 3412239 | 1274045 | 9756 317 | 15 | 28 839.53/839.73 c 839s | 21 | 3420453 | 1277145 | 9756 318 | 15 | 28 841.53/841.75 c 841s | 21 | 3427973 | 1280045 | 9756 319 | 15 | 28 843.63/843.81 c 843s | 21 | 3435818 | 1283245 | 9756 319 | 15 | 28 845.63/845.83 c 845s | 21 | 3443383 | 1286345 | 9756 320 | 15 | 28 847.62/847.89 c 847s | 21 | 3451970 | 1289645 | 9756 320 | 15 | 28 849.72/849.91 c 849s | 21 | 3460830 | 1293045 | 9756 321 | 15 | 28 851.72/851.92 c 851s | 21 | 3467360 | 1295545 | 9756 322 | 15 | 28 853.82/854.00 c 853s | 21 | 3475894 | 1298645 | 9756 322 | 15 | 28 855.82/856.02 c 855s | 21 | 3483362 | 1301545 | 9756 323 | 15 | 28 857.83/858.03 c 857s | 21 | 3491711 | 1304545 | 9756 323 | 15 | 28 859.82/860.04 c 859s | 21 | 3500054 | 1307645 | 9756 324 | 15 | 28 861.91/862.10 c 861s | 21 | 3507074 | 1310345 | 9756 325 | 15 | 28 863.91/864.11 c 864s | 21 | 3514271 | 1313145 | 9756 325 | 15 | 28 865.91/866.12 c 866s | 21 | 3521764 | 1315845 | 9756 326 | 15 | 28 867.91/868.18 c 868s | 21 | 3530503 | 1318945 | 9756 326 | 15 | 28 870.02/870.22 c 870s | 21 | 3538813 | 1321945 | 9756 327 | 15 | 28 872.01/872.28 c 872s | 21 | 3547397 | 1325145 | 9756 327 | 15 | 28 874.11/874.32 c 874s | 21 | 3555829 | 1328445 | 9756 328 | 15 | 28 876.10/876.34 c 876s | 21 | 3563780 | 1331545 | 9756 329 | 15 | 28 878.20/878.41 c 878s | 21 | 3571817 | 1334445 | 9756 329 | 15 | 28 880.20/880.46 c 880s | 21 | 3579556 | 1337345 | 9756 330 | 15 | 28 882.20/882.48 c 882s | 21 | 3586989 | 1340445 | 9756 330 | 15 | 28 884.31/884.51 c 884s | 21 | 3595156 | 1343545 | 9756 331 | 15 | 28 886.30/886.51 c 886s | 21 | 3604043 | 1346645 | 9756 332 | 15 | 28 888.30/888.55 c 888s | 21 | 3613131 | 1349845 | 9756 332 | 15 | 28 890.40/890.60 c 890s | 21 | 3622331 | 1353245 | 9756 333 | 15 | 28 892.39/892.65 c 892s | 21 | 3628439 | 1355745 | 9756 334 | 15 | 28 894.49/894.71 c 894s | 21 | 3636244 | 1358745 | 9756 334 | 15 | 28 896.49/896.73 c 896s | 21 | 3644407 | 1361845 | 9756 335 | 15 | 28 898.60/898.81 c 898s | 21 | 3651962 | 1364945 | 9756 335 | 15 | 28 900.59/900.83 c 900s | 21 | 3660310 | 1368145 | 9756 336 | 15 | 28 902.80/903.05 c 902s | 21 | 3667927 | 1371145 | 9756 337 | 15 | 28 904.79/905.05 c 904s | 21 | 3675660 | 1373945 | 9756 337 | 15 | 28 906.89/907.10 c 906s | 21 | 3682968 | 1376745 | 9756 338 | 15 | 28 908.89/909.18 c 909s | 21 | 3691769 | 1380145 | 9756 338 | 15 | 28 910.99/911.21 c 911s | 21 | 3700693 | 1383345 | 9756 339 | 15 | 28 912.99/913.25 c 913s | 21 | 3709418 | 1386745 | 9756 340 | 15 | 28 914.99/915.29 c 915s | 21 | 3716831 | 1389545 | 9756 340 | 15 | 28 917.09/917.30 c 917s | 21 | 3725114 | 1392745 | 9756 341 | 15 | 28 919.09/919.36 c 919s | 21 | 3733158 | 1396045 | 9756 341 | 15 | 28 921.09/921.38 c 921s | 21 | 3741082 | 1398945 | 9756 342 | 15 | 28 923.08/923.39 c 923s | 21 | 3747666 | 1401645 | 9756 343 | 15 | 28 925.18/925.45 c 925s | 21 | 3755714 | 1404845 | 9756 343 | 15 | 28 927.19/927.49 c 927s | 21 | 3763708 | 1407845 | 9756 344 | 15 | 28 929.29/929.53 c 929s | 21 | 3771591 | 1411145 | 9756 344 | 15 | 28 931.28/931.57 c 931s | 21 | 3780210 | 1414545 | 9756 345 | 15 | 28 933.38/933.60 c 933s | 21 | 3787633 | 1417745 | 9756 346 | 15 | 28 935.37/935.62 c 935s | 21 | 3795568 | 1420445 | 9756 346 | 15 | 28 937.37/937.67 c 937s | 21 | 3803330 | 1423445 | 9756 347 | 15 | 28 939.37/939.69 c 939s | 21 | 3811689 | 1426445 | 9756 347 | 15 | 28 941.48/941.73 c 941s | 21 | 3820355 | 1429645 | 9756 348 | 15 | 28 943.47/943.79 c 943s | 21 | 3828507 | 1432945 | 9756 349 | 15 | 28 945.57/945.82 c 945s | 21 | 3836183 | 1436245 | 9756 349 | 15 | 28 947.57/947.82 c 947s | 21 | 3844459 | 1439245 | 9756 350 | 15 | 28 949.57/949.83 c 949s | 21 | 3852738 | 1442345 | 9756 351 | 15 | 28 951.57/951.89 c 951s | 21 | 3861601 | 1445545 | 9756 351 | 15 | 28 953.66/953.92 c 953s | 21 | 3870275 | 1448845 | 9756 352 | 15 | 28 955.67/955.98 c 955s | 21 | 3877553 | 1451945 | 9756 352 | 15 | 28 957.76/958.03 c 957s | 21 | 3886153 | 1455245 | 9756 353 | 15 | 28 959.76/960.05 c 959s | 21 | 3894512 | 1458445 | 9756 354 | 15 | 28 961.86/962.11 c 962s | 21 | 3902860 | 1461645 | 9756 354 | 15 | 28 963.86/964.15 c 964s | 21 | 3906310 | 1463145 | 9756 355 | 15 | 28 965.86/966.19 c 966s | 21 | 3912987 | 1465545 | 9756 355 | 15 | 28 967.95/968.20 c 968s | 21 | 3921019 | 1468745 | 9756 356 | 15 | 28 969.96/970.24 c 970s | 21 | 3929265 | 1471745 | 9756 356 | 15 | 28 971.95/972.28 c 972s | 21 | 3936550 | 1474745 | 9756 357 | 15 | 28 973.95/974.30 c 974s | 21 | 3945271 | 1477745 | 9756 358 | 15 | 28 976.05/976.32 c 976s | 21 | 3953315 | 1480745 | 9756 358 | 15 | 28 978.05/978.33 c 978s | 21 | 3961222 | 1483645 | 9756 359 | 15 | 28 980.05/980.37 c 980s | 21 | 3969577 | 1486845 | 9756 359 | 15 | 28 982.16/982.41 c 982s | 21 | 3977850 | 1489945 | 10732 360 | 15 | 28 984.15/984.43 c 984s | 21 | 3986082 | 1493045 | 10732 360 | 15 | 28 986.15/986.45 c 986s | 21 | 3993820 | 1496045 | 10732 361 | 15 | 28 988.15/988.45 c 988s | 21 | 4002271 | 1499145 | 10732 361 | 15 | 28 989.05/989.36 c 989s | 22 | 4006329 | 1500622 | 10732 362 | 15 | 28 991.05/991.39 c 991s | 22 | 4015404 | 1504022 | 10732 362 | 15 | 28 993.15/993.42 c 993s | 22 | 4021422 | 1506322 | 10732 363 | 15 | 28 995.14/995.45 c 995s | 22 | 4030461 | 1509422 | 10732 363 | 15 | 28 997.14/997.48 c 997s | 22 | 4038127 | 1512422 | 10732 364 | 15 | 28 999.24/999.52 c 999s | 22 | 4046259 | 1515422 | 10732 364 | 15 | 28 1001.24/1001.56 c 1001s | 22 | 4054586 | 1518122 | 10732 365 | 15 | 28 1003.34/1003.60 c 1003s | 22 | 4062517 | 1520922 | 10732 365 | 15 | 28 1005.34/1005.62 c 1005s | 22 | 4069879 | 1523622 | 10732 366 | 15 | 28 1007.35/1007.66 c 1007s | 22 | 4077899 | 1526522 | 10732 366 | 15 | 28 1009.44/1009.71 c 1009s | 22 | 4086751 | 1529622 | 10732 367 | 15 | 28 1011.44/1011.77 c 1011s | 22 | 4094530 | 1532622 | 10732 367 | 15 | 28 1013.44/1013.79 c 1013s | 22 | 4101827 | 1535422 | 10732 368 | 15 | 28 1015.43/1015.79 c 1015s | 22 | 4108960 | 1538322 | 10732 369 | 15 | 28 1017.53/1017.86 c 1017s | 22 | 4116906 | 1541422 | 10732 369 | 15 | 28 1019.63/1019.90 c 1019s | 22 | 4124789 | 1544522 | 10732 370 | 15 | 28 1021.64/1021.91 c 1021s | 22 | 4133262 | 1547722 | 10732 370 | 15 | 28 1023.64/1023.95 c 1023s | 22 | 4141669 | 1550922 | 10732 371 | 15 | 28 1025.64/1025.99 c 1025s | 22 | 4147240 | 1553122 | 10732 371 | 15 | 28 1027.74/1028.05 c 1027s | 22 | 4154334 | 1555822 | 10732 372 | 15 | 28 1029.84/1030.12 c 1030s | 22 | 4161716 | 1558622 | 10732 372 | 15 | 28 1031.84/1032.15 c 1032s | 22 | 4168674 | 1561322 | 10732 373 | 15 | 28 1033.93/1034.21 c 1034s | 22 | 4176088 | 1564222 | 10732 373 | 15 | 28 1035.94/1036.22 c 1036s | 22 | 4182650 | 1566822 | 10732 374 | 15 | 28 1037.93/1038.25 c 1038s | 22 | 4190893 | 1569922 | 10732 374 | 15 | 28 1040.03/1040.30 c 1040s | 22 | 4198355 | 1572922 | 10732 375 | 15 | 28 1042.03/1042.33 c 1042s | 22 | 4206327 | 1575722 | 10732 375 | 15 | 28 1044.13/1044.41 c 1044s | 22 | 4214268 | 1578722 | 10732 376 | 15 | 28 1046.13/1046.41 c 1046s | 22 | 4222755 | 1581722 | 10732 376 | 15 | 28 1048.13/1048.47 c 1048s | 22 | 4230749 | 1584722 | 10732 377 | 15 | 28 1050.13/1050.49 c 1050s | 22 | 4238383 | 1587722 | 10732 377 | 15 | 28 1052.22/1052.58 c 1052s | 22 | 4246148 | 1590522 | 10732 378 | 15 | 28 1054.32/1054.63 c 1054s | 22 | 4253105 | 1593122 | 10732 378 | 15 | 28 1056.42/1056.74 c 1056s | 22 | 4260886 | 1596122 | 10732 379 | 15 | 28 1058.42/1058.76 c 1058s | 22 | 4268310 | 1598922 | 10732 379 | 15 | 28 1060.52/1060.80 c 1060s | 22 | 4275852 | 1601922 | 10732 380 | 15 | 28 1062.51/1062.83 c 1062s | 22 | 4282040 | 1604322 | 10732 380 | 15 | 28 1064.52/1064.86 c 1064s | 22 | 4289260 | 1607122 | 10732 381 | 15 | 28 1066.61/1066.90 c 1066s | 22 | 4297272 | 1610222 | 10732 381 | 15 | 28 1068.61/1068.96 c 1068s | 22 | 4305653 | 1613222 | 10732 382 | 15 | 28 1070.71/1071.02 c 1070s | 22 | 4313526 | 1616122 | 10732 382 | 15 | 28 1072.71/1073.07 c 1072s | 22 | 4322304 | 1619322 | 10732 383 | 15 | 28 1074.71/1075.07 c 1074s | 22 | 4330213 | 1622522 | 10732 384 | 15 | 28 1076.81/1077.12 c 1077s | 22 | 4338441 | 1625722 | 10732 384 | 15 | 28 1078.81/1079.15 c 1079s | 22 | 4346555 | 1628822 | 10732 385 | 15 | 28 1080.91/1081.20 c 1081s | 22 | 4355674 | 1632322 | 10732 385 | 15 | 28 1082.90/1083.21 c 1083s | 22 | 4361270 | 1634522 | 10732 386 | 15 | 28 1085.00/1085.30 c 1085s | 22 | 4368470 | 1637122 | 10732 386 | 15 | 28 1087.00/1087.31 c 1087s | 22 | 4375651 | 1639922 | 10732 387 | 15 | 28 1089.00/1089.34 c 1089s | 22 | 4383316 | 1642922 | 10732 387 | 15 | 28 1091.10/1091.40 c 1091s | 22 | 4392051 | 1646122 | 10732 388 | 15 | 28 1093.10/1093.43 c 1093s | 22 | 4399609 | 1648922 | 10732 388 | 15 | 28 1095.09/1095.44 c 1095s | 22 | 4407261 | 1651922 | 10732 389 | 15 | 28 1097.09/1097.45 c 1097s | 22 | 4413937 | 1654622 | 10732 389 | 15 | 28 1099.09/1099.48 c 1099s | 22 | 4422176 | 1657622 | 10732 390 | 15 | 28 1101.19/1101.50 c 1101s | 22 | 4429918 | 1660622 | 10732 390 | 15 | 28 1103.19/1103.56 c 1103s | 22 | 4437329 | 1663722 | 10732 391 | 15 | 28 1105.20/1105.59 c 1105s | 22 | 4444594 | 1666822 | 10732 392 | 15 | 28 1107.29/1107.62 c 1107s | 22 | 4450502 | 1669022 | 10732 392 | 15 | 28 1109.29/1109.68 c 1109s | 22 | 4458113 | 1671922 | 10732 393 | 15 | 28 1111.29/1111.69 c 1111s | 22 | 4465626 | 1674922 | 10732 393 | 15 | 28 1113.38/1113.71 c 1113s | 22 | 4472702 | 1677522 | 10732 394 | 15 | 28 1115.38/1115.74 c 1115s | 22 | 4480397 | 1680522 | 10732 394 | 15 | 28 1117.39/1117.77 c 1117s | 22 | 4487812 | 1683522 | 10732 395 | 15 | 28 1119.49/1119.82 c 1119s | 22 | 4496648 | 1686722 | 10732 395 | 15 | 28 1121.48/1121.82 c 1121s | 22 | 4504124 | 1689622 | 10732 396 | 15 | 28 1123.48/1123.82 c 1123s | 22 | 4511594 | 1692522 | 10732 396 | 15 | 28 1125.48/1125.88 c 1125s | 22 | 4519610 | 1695522 | 10732 397 | 15 | 28 1127.58/1127.95 c 1127s | 22 | 4527735 | 1698722 | 10732 397 | 15 | 28 1129.58/1129.97 c 1129s | 22 | 4535667 | 1701822 | 10732 398 | 15 | 28 1131.68/1132.03 c 1131s | 22 | 4543387 | 1705122 | 10732 398 | 15 | 28 1133.67/1134.10 c 1134s | 22 | 4548514 | 1707122 | 10732 399 | 15 | 28 1135.77/1136.17 c 1136s | 22 | 4555757 | 1709922 | 10732 399 | 15 | 28 1137.87/1138.23 c 1138s | 22 | 4563989 | 1712822 | 10732 400 | 15 | 28 1139.88/1140.25 c 1140s | 22 | 4571633 | 1715722 | 10732 400 | 15 | 28 1141.87/1142.28 c 1142s | 22 | 4579890 | 1718622 | 10732 401 | 15 | 28 1143.97/1144.34 c 1144s | 22 | 4587500 | 1721622 | 10732 401 | 15 | 28 1145.98/1146.36 c 1146s | 22 | 4595662 | 1724722 | 10732 402 | 15 | 28 1147.97/1148.37 c 1148s | 22 | 4602800 | 1727222 | 10732 402 | 15 | 28 1149.97/1150.39 c 1150s | 22 | 4610926 | 1730222 | 10732 403 | 15 | 28 1152.06/1152.42 c 1152s | 22 | 4618976 | 1733122 | 10732 404 | 15 | 28 1154.06/1154.42 c 1154s | 22 | 4626739 | 1736022 | 10732 404 | 15 | 28 1156.06/1156.48 c 1156s | 22 | 4634829 | 1739022 | 10732 405 | 15 | 28 1158.16/1158.53 c 1158s | 22 | 4642306 | 1742022 | 10732 405 | 15 | 28 1160.17/1160.56 c 1160s | 22 | 4649773 | 1744622 | 10732 406 | 15 | 28 1162.26/1162.61 c 1162s | 22 | 4657412 | 1747622 | 10732 406 | 15 | 28 1164.26/1164.64 c 1164s | 22 | 4665565 | 1750722 | 10732 407 | 15 | 28 1166.26/1166.66 c 1166s | 22 | 4673503 | 1753922 | 10732 407 | 15 | 28 1168.26/1168.66 c 1168s | 22 | 4680087 | 1756522 | 10732 408 | 15 | 28 1170.36/1170.71 c 1170s | 22 | 4687630 | 1759322 | 10732 408 | 15 | 28 1172.36/1172.74 c 1172s | 22 | 4695659 | 1762222 | 10732 409 | 15 | 28 1174.35/1174.79 c 1174s | 22 | 4703964 | 1765322 | 10732 409 | 15 | 28 1176.45/1176.82 c 1176s | 22 | 4712045 | 1768422 | 10732 410 | 15 | 28 1178.45/1178.83 c 1178s | 22 | 4720258 | 1771822 | 10732 410 | 15 | 28 1180.45/1180.83 c 1180s | 22 | 4727226 | 1774622 | 10732 411 | 15 | 28 1182.44/1182.89 c 1182s | 22 | 4735600 | 1777622 | 10732 412 | 15 | 28 1184.54/1184.94 c 1184s | 22 | 4743132 | 1780422 | 10732 412 | 15 | 28 1186.55/1186.96 c 1186s | 22 | 4750830 | 1783322 | 10732 413 | 15 | 28 1188.54/1188.97 c 1188s | 22 | 4758592 | 1786222 | 10732 413 | 15 | 28 1190.54/1190.98 c 1190s | 22 | 4765531 | 1788922 | 10732 414 | 15 | 28 1192.64/1193.03 c 1192s | 22 | 4773328 | 1792022 | 10732 414 | 15 | 28 1194.64/1195.07 c 1194s | 22 | 4780840 | 1795022 | 10732 415 | 15 | 28 1196.64/1197.07 c 1196s | 22 | 4788296 | 1798122 | 10732 415 | 15 | 28 1198.64/1199.09 c 1198s | 22 | 4795170 | 1800822 | 10732 416 | 15 | 28 1200.73/1201.10 c 1201s | 22 | 4802430 | 1803622 | 10732 416 | 15 | 28 1202.73/1203.12 c 1203s | 22 | 4809664 | 1806622 | 10732 417 | 15 | 28 1204.73/1205.14 c 1205s | 22 | 4818039 | 1809822 | 10732 417 | 15 | 28 1206.83/1207.20 c 1207s | 22 | 4826973 | 1813222 | 10732 418 | 15 | 28 1208.83/1209.25 c 1209s | 22 | 4834023 | 1815722 | 10732 418 | 15 | 28 1210.92/1211.31 c 1211s | 22 | 4840810 | 1818522 | 10732 419 | 15 | 28 1212.93/1213.36 c 1213s | 22 | 4848488 | 1821722 | 10732 419 | 15 | 28 1215.02/1215.41 c 1215s | 22 | 4855746 | 1824622 | 10732 420 | 15 | 28 1217.02/1217.44 c 1217s | 22 | 4862966 | 1827322 | 10732 420 | 15 | 28 1219.02/1219.48 c 1219s | 22 | 4871045 | 1830322 | 10732 421 | 15 | 28 1221.12/1221.52 c 1221s | 22 | 4878859 | 1833422 | 10732 422 | 15 | 28 1223.11/1223.56 c 1223s | 22 | 4885902 | 1836422 | 10732 422 | 15 | 28 1225.12/1225.58 c 1225s | 22 | 4893255 | 1839222 | 10732 423 | 15 | 28 1227.22/1227.64 c 1227s | 22 | 4901088 | 1842322 | 10732 423 | 15 | 28 1229.21/1229.68 c 1229s | 22 | 4908320 | 1845122 | 10732 424 | 15 | 28 1231.21/1231.69 c 1231s | 22 | 4916210 | 1848222 | 10732 424 | 15 | 28 1233.31/1233.71 c 1233s | 22 | 4924113 | 1851422 | 10732 425 | 15 | 28 1235.31/1235.71 c 1235s | 22 | 4932082 | 1854522 | 10732 425 | 15 | 28 1237.31/1237.74 c 1237s | 22 | 4939415 | 1857322 | 10732 426 | 15 | 28 1239.32/1239.80 c 1239s | 22 | 4947671 | 1860422 | 10732 426 | 15 | 28 1241.41/1241.81 c 1241s | 22 | 4956154 | 1863622 | 10732 427 | 15 | 28 1243.40/1243.86 c 1243s | 22 | 4963691 | 1866622 | 10732 427 | 15 | 28 1245.50/1245.92 c 1245s | 22 | 4972046 | 1869822 | 10732 428 | 15 | 28 1247.50/1247.93 c 1247s | 22 | 4979698 | 1872722 | 10732 429 | 15 | 28 1249.50/1249.94 c 1249s | 22 | 4987708 | 1875922 | 10732 429 | 15 | 28 1251.71/1252.15 c 1252s | 22 | 4991513 | 1877222 | 10732 429 | 15 | 28 1253.80/1254.25 c 1254s | 22 | 4997946 | 1879722 | 10732 430 | 15 | 28 1255.91/1256.31 c 1256s | 22 | 5004429 | 1882222 | 10732 430 | 15 | 28 1257.90/1258.38 c 1258s | 22 | 5012131 | 1884922 | 10732 431 | 15 | 28 1259.90/1260.39 c 1260s | 22 | 5020455 | 1887522 | 10732 431 | 15 | 28 1262.00/1262.41 c 1262s | 22 | 5027630 | 1890122 | 10732 432 | 15 | 28 1264.00/1264.44 c 1264s | 22 | 5034953 | 1892822 | 10732 432 | 15 | 28 1266.00/1266.47 c 1266s | 22 | 5042567 | 1895522 | 10732 433 | 15 | 28 1268.10/1268.51 c 1268s | 22 | 5050191 | 1898522 | 10732 433 | 15 | 28 1270.10/1270.53 c 1270s | 22 | 5057432 | 1901322 | 10732 434 | 15 | 28 1272.19/1272.66 c 1272s | 22 | 5064600 | 1904122 | 10732 434 | 15 | 28 1274.19/1274.68 c 1274s | 22 | 5071659 | 1906622 | 10732 435 | 15 | 28 1276.29/1276.70 c 1276s | 22 | 5078846 | 1909322 | 10732 435 | 15 | 28 1278.29/1278.76 c 1278s | 22 | 5086501 | 1912022 | 10732 436 | 15 | 28 1280.29/1280.78 c 1280s | 22 | 5094193 | 1914822 | 10732 436 | 15 | 28 1282.38/1282.80 c 1282s | 22 | 5101508 | 1917522 | 10732 437 | 15 | 28 1284.39/1284.84 c 1284s | 22 | 5109816 | 1920522 | 10732 437 | 15 | 28 1286.38/1286.84 c 1286s | 22 | 5117404 | 1923322 | 10732 438 | 15 | 28 1288.38/1288.88 c 1288s | 22 | 5125740 | 1926222 | 10732 438 | 15 | 28 1290.38/1290.88 c 1290s | 22 | 5132611 | 1928922 | 10732 439 | 15 | 28 1292.48/1292.91 c 1292s | 22 | 5140319 | 1932122 | 10732 439 | 15 | 28 1294.48/1294.92 c 1294s | 22 | 5145755 | 1934122 | 10732 440 | 15 | 28 1296.48/1296.99 c 1296s | 22 | 5153575 | 1936822 | 10732 440 | 15 | 28 1298.58/1299.03 c 1298s | 22 | 5160143 | 1939322 | 10732 441 | 15 | 28 1300.58/1301.09 c 1300s | 22 | 5167693 | 1942022 | 10732 441 | 15 | 28 1302.67/1303.16 c 1303s | 22 | 5175823 | 1944722 | 10732 442 | 15 | 28 1304.67/1305.20 c 1305s | 22 | 5183682 | 1947522 | 10732 442 | 15 | 28 1306.77/1307.24 c 1307s | 22 | 5190900 | 1950222 | 10732 443 | 15 | 28 1308.77/1309.27 c 1309s | 22 | 5198839 | 1953122 | 10732 443 | 15 | 28 1310.78/1311.28 c 1311s | 22 | 5205428 | 1955822 | 10732 444 | 15 | 28 1312.87/1313.31 c 1313s | 22 | 5212777 | 1958822 | 10732 444 | 15 | 28 1314.87/1315.36 c 1315s | 22 | 5220513 | 1961822 | 10732 445 | 15 | 28 1316.97/1317.44 c 1317s | 22 | 5226949 | 1964422 | 10732 445 | 15 | 28 1318.97/1319.48 c 1319s | 22 | 5233589 | 1966922 | 10732 446 | 15 | 28 1321.07/1321.54 c 1321s | 22 | 5241523 | 1969722 | 10732 446 | 15 | 28 1323.06/1323.59 c 1323s | 22 | 5248237 | 1972422 | 10732 447 | 15 | 28 1325.07/1325.60 c 1325s | 22 | 5255955 | 1975222 | 10732 447 | 15 | 28 1327.16/1327.61 c 1327s | 22 | 5263109 | 1977922 | 10732 448 | 15 | 28 1329.16/1329.66 c 1329s | 22 | 5270582 | 1980822 | 10732 448 | 15 | 28 1331.16/1331.69 c 1331s | 22 | 5277788 | 1983722 | 10732 449 | 15 | 28 1333.26/1333.73 c 1333s | 22 | 5284429 | 1986222 | 10732 449 | 15 | 28 1335.26/1335.77 c 1335s | 22 | 5291383 | 1988822 | 10732 450 | 15 | 28 1337.36/1337.84 c 1337s | 22 | 5298971 | 1991622 | 10732 450 | 15 | 28 1339.36/1339.84 c 1339s | 22 | 5305712 | 1994222 | 10732 451 | 15 | 28 1341.36/1341.85 c 1341s | 22 | 5312747 | 1997022 | 10732 451 | 15 | 28 1343.45/1343.90 c 1343s | 22 | 5319046 | 1999522 | 10732 452 | 15 | 28 1345.45/1345.93 c 1345s | 22 | 5325713 | 2002122 | 10732 452 | 15 | 28 1347.45/1347.98 c 1347s | 22 | 5332344 | 2004722 | 10732 452 | 15 | 28 1349.45/1349.99 c 1349s | 22 | 5339575 | 2007422 | 10732 453 | 15 | 28 1351.46/1351.99 c 1351s | 22 | 5346395 | 2010122 | 10732 453 | 15 | 28 1353.45/1353.99 c 1353s | 22 | 5353767 | 2012922 | 10732 454 | 15 | 28 1355.55/1356.07 c 1355s | 22 | 5360747 | 2015822 | 10732 454 | 15 | 28 1357.65/1358.13 c 1358s | 22 | 5368630 | 2018922 | 10732 455 | 15 | 28 1359.65/1360.15 c 1360s | 22 | 5375500 | 2021422 | 10732 455 | 15 | 28 1361.75/1362.20 c 1362s | 22 | 5382484 | 2024122 | 10732 456 | 15 | 28 1363.75/1364.22 c 1364s | 22 | 5389075 | 2026922 | 10732 456 | 15 | 28 1365.75/1366.27 c 1366s | 22 | 5396781 | 2029822 | 10732 457 | 15 | 28 1367.85/1368.32 c 1368s | 22 | 5404124 | 2032622 | 10732 457 | 15 | 28 1369.95/1370.41 c 1370s | 22 | 5411440 | 2035322 | 10732 458 | 15 | 28 1371.95/1372.43 c 1372s | 22 | 5418761 | 2038022 | 10732 458 | 15 | 28 1373.95/1374.46 c 1374s | 22 | 5425946 | 2040722 | 10732 459 | 15 | 28 1375.94/1376.49 c 1376s | 22 | 5432979 | 2043422 | 10732 459 | 15 | 28 1378.04/1378.50 c 1378s | 22 | 5439925 | 2046122 | 10732 460 | 15 | 28 1380.15/1380.61 c 1380s | 22 | 5446572 | 2048822 | 10732 460 | 15 | 28 1382.14/1382.67 c 1382s | 22 | 5453680 | 2051422 | 10732 461 | 15 | 28 1384.24/1384.70 c 1384s | 22 | 5461144 | 2054122 | 10732 461 | 15 | 28 1386.24/1386.74 c 1386s | 22 | 5468424 | 2056922 | 10732 462 | 15 | 28 1388.24/1388.75 c 1388s | 22 | 5475082 | 2059622 | 10732 462 | 15 | 28 1390.25/1390.78 c 1390s | 22 | 5481683 | 2062222 | 10732 463 | 15 | 28 1392.35/1392.81 c 1392s | 22 | 5488786 | 2065022 | 10732 463 | 15 | 28 1394.36/1394.87 c 1394s | 22 | 5495630 | 2067822 | 10732 464 | 15 | 28 1396.35/1396.89 c 1396s | 22 | 5502489 | 2070622 | 10732 464 | 15 | 28 1398.45/1398.90 c 1398s | 22 | 5509115 | 2073222 | 10732 465 | 15 | 28 1400.45/1400.92 c 1400s | 22 | 5516314 | 2076022 | 10732 465 | 15 | 28 1402.45/1402.96 c 1402s | 22 | 5523524 | 2078722 | 10732 466 | 15 | 28 1404.55/1405.03 c 1404s | 22 | 5530850 | 2081622 | 10732 466 | 15 | 28 1406.55/1407.07 c 1406s | 22 | 5538426 | 2084722 | 10732 467 | 15 | 28 1408.65/1409.12 c 1409s | 22 | 5545066 | 2087322 | 10732 467 | 15 | 28 1410.65/1411.16 c 1411s | 22 | 5552155 | 2090122 | 10732 468 | 15 | 28 1412.75/1413.21 c 1413s | 22 | 5559769 | 2093022 | 10732 468 | 15 | 28 1414.74/1415.26 c 1415s | 22 | 5567018 | 2095822 | 10732 469 | 15 | 28 1416.74/1417.26 c 1417s | 22 | 5573832 | 2098522 | 10732 469 | 15 | 28 1418.84/1419.32 c 1419s | 22 | 5580901 | 2101422 | 10732 470 | 15 | 28 1420.85/1421.36 c 1421s | 22 | 5587552 | 2104222 | 10732 470 | 15 | 28 1422.84/1423.39 c 1423s | 22 | 5594886 | 2107022 | 10732 471 | 15 | 28 1424.94/1425.44 c 1425s | 22 | 5601830 | 2109822 | 10732 471 | 15 | 28 1426.94/1427.49 c 1427s | 22 | 5609132 | 2112722 | 10732 472 | 15 | 28 1429.04/1429.50 c 1429s | 22 | 5616071 | 2115722 | 10732 472 | 15 | 28 1431.04/1431.56 c 1431s | 22 | 5622627 | 2118522 | 10732 473 | 15 | 28 1433.14/1433.60 c 1433s | 22 | 5629416 | 2121322 | 10732 473 | 15 | 28 1435.15/1435.61 c 1435s | 22 | 5637425 | 2124222 | 10732 474 | 15 | 28 1437.25/1437.72 c 1437s | 22 | 5644790 | 2127422 | 10732 475 | 15 | 28 1439.24/1439.74 c 1439s | 22 | 5651571 | 2130322 | 10732 475 | 15 | 28 1441.24/1441.76 c 1441s | 22 | 5658608 | 2133122 | 10732 476 | 15 | 28 1443.24/1443.77 c 1443s | 22 | 5666394 | 2136322 | 10732 476 | 15 | 28 1445.64/1446.11 c 1446s | 22 | 5672868 | 2138822 | 10732 477 | 15 | 28 1447.73/1448.27 c 1448s | 22 | 5676676 | 2140222 | 10732 477 | 15 | 28 1449.73/1450.27 c 1450s | 22 | 5684693 | 2142922 | 10732 477 | 15 | 28 1451.83/1452.34 c 1452s | 22 | 5691611 | 2145622 | 10732 478 | 15 | 28 1453.84/1454.36 c 1454s | 22 | 5698477 | 2148122 | 10732 478 | 15 | 28 1455.94/1456.42 c 1456s | 22 | 5705812 | 2150722 | 10732 479 | 15 | 28 1457.93/1458.48 c 1458s | 22 | 5713990 | 2153522 | 10732 479 | 15 | 28 1460.03/1460.54 c 1460s | 22 | 5721722 | 2156422 | 10732 480 | 15 | 28 1462.03/1462.59 c 1462s | 22 | 5729598 | 2159322 | 10732 480 | 15 | 28 1464.13/1464.62 c 1464s | 22 | 5737476 | 2162222 | 10732 481 | 15 | 28 1466.13/1466.67 c 1466s | 22 | 5746296 | 2165222 | 10732 481 | 15 | 28 1468.23/1468.77 c 1468s | 22 | 5753341 | 2167822 | 10732 482 | 15 | 28 1470.24/1470.78 c 1470s | 22 | 5760567 | 2170422 | 10732 482 | 15 | 28 1472.33/1472.84 c 1472s | 22 | 5767630 | 2173022 | 10732 483 | 15 | 28 1474.33/1474.86 c 1474s | 22 | 5775637 | 2175922 | 10732 483 | 15 | 28 1476.43/1476.90 c 1476s | 22 | 5782673 | 2178522 | 10732 484 | 15 | 28 1478.43/1478.92 c 1478s | 22 | 5790261 | 2181322 | 10732 484 | 15 | 28 1480.43/1480.98 c 1480s | 22 | 5798023 | 2184122 | 10732 485 | 15 | 28 1482.54/1483.00 c 1482s | 22 | 5804152 | 2186522 | 10732 485 | 15 | 28 1484.54/1485.01 c 1484s | 22 | 5809960 | 2188922 | 10732 486 | 15 | 28 1486.54/1487.09 c 1486s | 22 | 5817646 | 2191922 | 10732 486 | 15 | 28 1488.64/1489.11 c 1489s | 22 | 5824926 | 2194622 | 10732 487 | 15 | 28 1490.64/1491.18 c 1491s | 22 | 5831447 | 2197122 | 10732 487 | 15 | 28 1492.74/1493.24 c 1493s | 22 | 5838476 | 2199822 | 10732 488 | 15 | 28 1494.74/1495.27 c 1495s | 22 | 5846911 | 2202822 | 10732 488 | 15 | 28 1496.84/1497.32 c 1497s | 22 | 5853888 | 2205722 | 10732 489 | 15 | 28 1498.84/1499.37 c 1499s | 22 | 5861432 | 2208822 | 10732 489 | 15 | 28 1500.83/1501.38 c 1501s | 22 | 5868946 | 2211822 | 10732 490 | 15 | 28 1502.83/1503.39 c 1503s | 22 | 5876479 | 2214822 | 10732 490 | 15 | 28 1504.93/1505.44 c 1505s | 22 | 5884686 | 2217922 | 10732 491 | 15 | 28 1506.93/1507.49 c 1507s | 22 | 5890001 | 2220122 | 10732 491 | 15 | 28 1509.03/1509.55 c 1509s | 22 | 5896908 | 2222722 | 10732 492 | 15 | 28 1511.04/1511.58 c 1511s | 22 | 5904974 | 2225522 | 10732 492 | 15 | 28 1513.14/1513.60 c 1513s | 22 | 5912220 | 2228322 | 10732 493 | 15 | 28 1515.13/1515.68 c 1515s | 22 | 5920077 | 2231222 | 10732 493 | 15 | 28 1517.23/1517.73 c 1517s | 22 | 5928123 | 2234222 | 10732 494 | 15 | 28 1519.23/1519.75 c 1519s | 22 | 5935390 | 2237122 | 11806 494 | 15 | 28 1521.33/1521.81 c 1521s | 22 | 5943379 | 2240222 | 11806 495 | 15 | 28 1523.33/1523.86 c 1523s | 22 | 5948796 | 2242422 | 11806 495 | 15 | 28 1525.33/1525.88 c 1525s | 22 | 5954938 | 2244822 | 11806 495 | 15 | 28 1527.43/1527.92 c 1527s | 22 | 5962065 | 2247422 | 11806 496 | 15 | 28 1529.43/1529.96 c 1529s | 22 | 5968869 | 2250122 | 11806 496 | 15 | 28 1530.23/1530.70 c 1530s | 23 | 5971072 | 2251038 | 11806 496 | 15 | 28 1532.23/1532.70 c 1532s | 23 | 5976420 | 2253138 | 11806 497 | 15 | 28 1534.22/1534.76 c 1534s | 23 | 5984359 | 2256038 | 11806 497 | 15 | 28 1536.33/1536.81 c 1536s | 23 | 5991509 | 2258838 | 11806 498 | 15 | 28 1538.32/1538.87 c 1538s | 23 | 5999314 | 2261738 | 11806 498 | 15 | 28 1540.42/1540.90 c 1540s | 23 | 6005926 | 2264438 | 11806 499 | 15 | 28 1542.42/1542.91 c 1542s | 23 | 6013237 | 2267238 | 11806 499 | 15 | 28 1544.42/1544.95 c 1544s | 23 | 6020724 | 2270038 | 11806 500 | 15 | 28 1546.52/1547.01 c 1546s | 23 | 6026082 | 2272138 | 11806 500 | 15 | 28 1548.52/1549.06 c 1548s | 23 | 6033833 | 2274838 | 11806 500 | 15 | 28 1550.53/1551.07 c 1550s | 23 | 6041074 | 2277438 | 11806 501 | 15 | 28 1552.62/1553.11 c 1553s | 23 | 6048710 | 2280138 | 11806 501 | 15 | 28 1554.62/1555.16 c 1555s | 23 | 6055948 | 2282938 | 11806 502 | 15 | 28 1556.72/1557.21 c 1557s | 23 | 6064357 | 2285938 | 11806 502 | 15 | 28 1558.72/1559.21 c 1559s | 23 | 6070392 | 2288338 | 11806 503 | 15 | 28 1560.72/1561.24 c 1561s | 23 | 6076875 | 2290938 | 11806 503 | 15 | 28 1562.73/1563.28 c 1563s | 23 | 6083891 | 2293538 | 11806 503 | 15 | 28 1564.83/1565.35 c 1565s | 23 | 6090801 | 2296238 | 11806 504 | 15 | 28 1566.82/1567.37 c 1567s | 23 | 6097814 | 2298638 | 11806 504 | 15 | 28 1568.92/1569.41 c 1569s | 23 | 6105108 | 2301238 | 11806 505 | 15 | 28 1570.92/1571.42 c 1571s | 23 | 6112222 | 2303938 | 11806 505 | 15 | 28 1572.92/1573.45 c 1573s | 23 | 6117483 | 2306038 | 11806 505 | 15 | 28 1574.92/1575.50 c 1575s | 23 | 6124115 | 2308538 | 11806 506 | 15 | 28 1577.02/1577.56 c 1577s | 23 | 6130894 | 2311138 | 11806 506 | 15 | 28 1579.02/1579.58 c 1579s | 23 | 6137907 | 2313738 | 11806 507 | 15 | 28 1581.12/1581.62 c 1581s | 23 | 6145127 | 2316438 | 11806 507 | 15 | 28 1583.12/1583.62 c 1583s | 23 | 6151813 | 2318938 | 11806 508 | 15 | 28 1585.12/1585.69 c 1585s | 23 | 6159811 | 2321738 | 11806 508 | 15 | 28 1587.21/1587.76 c 1587s | 23 | 6166676 | 2324338 | 11806 508 | 15 | 28 1589.21/1589.78 c 1589s | 23 | 6174234 | 2327138 | 11806 509 | 15 | 28 1591.22/1591.79 c 1591s | 23 | 6182019 | 2329838 | 11806 509 | 15 | 28 1593.31/1593.83 c 1593s | 23 | 6190224 | 2332738 | 11806 510 | 15 | 28 1595.31/1595.85 c 1595s | 23 | 6197722 | 2335538 | 11806 510 | 15 | 28 1597.41/1597.90 c 1597s | 23 | 6205502 | 2338338 | 11806 511 | 15 | 28 1599.41/1599.93 c 1599s | 23 | 6212833 | 2341138 | 11806 511 | 15 | 28 1601.41/1601.99 c 1601s | 23 | 6220548 | 2343938 | 11806 512 | 15 | 28 1603.51/1604.03 c 1603s | 23 | 6228175 | 2346938 | 11806 512 | 15 | 28 1605.52/1606.05 c 1605s | 23 | 6232615 | 2348738 | 11806 512 | 15 | 28 1607.51/1608.09 c 1607s | 23 | 6239071 | 2351338 | 11806 513 | 15 | 28 1609.61/1610.13 c 1610s | 23 | 6245337 | 2353938 | 11806 513 | 15 | 28 1611.71/1612.22 c 1612s | 23 | 6251265 | 2356338 | 11806 514 | 15 | 28 1613.71/1614.27 c 1614s | 23 | 6257730 | 2358838 | 11806 514 | 15 | 28 1615.71/1616.28 c 1616s | 23 | 6263709 | 2361138 | 11806 515 | 15 | 28 1617.72/1618.29 c 1618s | 23 | 6270753 | 2363838 | 11806 515 | 15 | 28 1619.82/1620.35 c 1620s | 23 | 6277387 | 2366438 | 11806 515 | 15 | 28 1621.91/1622.40 c 1622s | 23 | 6284245 | 2369138 | 11806 516 | 15 | 28 1623.91/1624.46 c 1624s | 23 | 6292363 | 2371938 | 11806 516 | 15 | 28 1626.01/1626.51 c 1626s | 23 | 6300379 | 2374738 | 11806 517 | 15 | 28 1628.01/1628.57 c 1628s | 23 | 6308391 | 2377738 | 11806 517 | 15 | 28 1630.01/1630.57 c 1630s | 23 | 6316003 | 2380638 | 11806 518 | 15 | 28 1632.11/1632.62 c 1632s | 23 | 6323498 | 2383738 | 11806 518 | 15 | 28 1634.11/1634.67 c 1634s | 23 | 6328295 | 2385538 | 11806 519 | 15 | 28 1636.11/1636.67 c 1636s | 23 | 6335253 | 2388338 | 11806 519 | 15 | 28 1638.21/1638.72 c 1638s | 23 | 6341700 | 2390838 | 11806 519 | 15 | 28 1640.21/1640.79 c 1640s | 23 | 6349030 | 2393438 | 11806 520 | 15 | 28 1642.31/1642.86 c 1642s | 23 | 6356686 | 2396138 | 11806 520 | 15 | 28 1644.31/1644.86 c 1644s | 23 | 6364445 | 2398838 | 11806 521 | 15 | 28 1646.40/1646.92 c 1646s | 23 | 6371632 | 2401638 | 11806 521 | 15 | 28 1648.41/1648.96 c 1648s | 23 | 6378482 | 2404338 | 11806 522 | 15 | 28 1650.50/1651.04 c 1650s | 23 | 6385697 | 2407138 | 11806 522 | 15 | 28 1652.60/1653.11 c 1653s | 23 | 6393031 | 2409738 | 11806 523 | 15 | 28 1654.61/1655.13 c 1655s | 23 | 6400674 | 2412638 | 11806 523 | 15 | 28 1656.61/1657.15 c 1657s | 23 | 6407208 | 2415338 | 11806 523 | 15 | 28 1658.71/1659.20 c 1659s | 23 | 6414991 | 2418238 | 11806 524 | 15 | 28 1660.71/1661.26 c 1661s | 23 | 6422039 | 2420938 | 11806 524 | 15 | 28 1662.71/1663.28 c 1663s | 23 | 6426500 | 2422738 | 11806 525 | 15 | 28 1664.81/1665.32 c 1665s | 23 | 6433531 | 2425338 | 11806 525 | 15 | 28 1666.81/1667.34 c 1667s | 23 | 6440758 | 2427938 | 11806 526 | 15 | 28 1668.81/1669.35 c 1669s | 23 | 6447504 | 2430538 | 11806 526 | 15 | 28 1670.81/1671.39 c 1671s | 23 | 6454130 | 2433138 | 11806 526 | 15 | 28 1672.91/1673.41 c 1673s | 23 | 6460961 | 2435838 | 11806 527 | 15 | 28 1674.91/1675.42 c 1675s | 23 | 6467742 | 2438538 | 11806 527 | 15 | 28 1676.91/1677.47 c 1677s | 23 | 6474185 | 2441238 | 11806 528 | 15 | 28 1679.00/1679.53 c 1679s | 23 | 6481119 | 2444038 | 11806 528 | 15 | 28 1681.00/1681.54 c 1681s | 23 | 6488578 | 2446738 | 11806 529 | 15 | 28 1683.00/1683.59 c 1683s | 23 | 6496539 | 2449738 | 11806 529 | 15 | 28 1685.30/1685.83 c 1685s | 23 | 6502322 | 2452138 | 11806 530 | 15 | 28 1687.30/1687.87 c 1687s | 23 | 6508972 | 2454538 | 11806 530 | 15 | 28 1689.40/1689.92 c 1689s | 23 | 6515322 | 2456938 | 11806 530 | 15 | 28 1691.41/1691.97 c 1691s | 23 | 6522095 | 2459538 | 11806 531 | 15 | 28 1693.51/1694.03 c 1693s | 23 | 6529037 | 2462238 | 11806 531 | 15 | 28 1695.50/1696.06 c 1695s | 23 | 6535478 | 2464738 | 11806 532 | 15 | 28 1697.60/1698.11 c 1698s | 23 | 6543310 | 2467538 | 11806 532 | 15 | 28 1699.60/1700.19 c 1700s | 23 | 6550768 | 2470338 | 11806 533 | 15 | 28 1701.70/1702.26 c 1702s | 23 | 6558188 | 2473338 | 11806 533 | 15 | 28 1703.80/1704.30 c 1704s | 23 | 6566239 | 2476338 | 11806 533 | 15 | 28 1705.80/1706.31 c 1706s | 23 | 6571831 | 2478538 | 11806 534 | 15 | 28 1707.81/1708.35 c 1708s | 23 | 6579633 | 2481338 | 11806 534 | 15 | 28 1709.90/1710.42 c 1710s | 23 | 6586179 | 2483938 | 11806 535 | 15 | 28 1711.90/1712.45 c 1712s | 23 | 6593144 | 2486638 | 11806 535 | 15 | 28 1713.90/1714.47 c 1714s | 23 | 6599699 | 2489138 | 11806 536 | 15 | 28 1715.90/1716.47 c 1716s | 23 | 6606338 | 2491838 | 11806 536 | 15 | 28 1718.00/1718.53 c 1718s | 23 | 6613093 | 2494538 | 11806 536 | 15 | 28 1720.10/1720.60 c 1720s | 23 | 6620344 | 2497338 | 11806 537 | 15 | 28 1722.10/1722.66 c 1722s | 23 | 6627672 | 2500138 | 11806 537 | 15 | 28 1724.19/1724.70 c 1724s | 23 | 6635159 | 2502938 | 11806 538 | 15 | 28 1726.19/1726.71 c 1726s | 23 | 6642752 | 2505738 | 11806 538 | 15 | 28 1728.19/1728.73 c 1728s | 23 | 6649845 | 2508638 | 11806 539 | 15 | 28 1730.19/1730.76 c 1730s | 23 | 6657482 | 2511538 | 11806 539 | 15 | 28 1732.19/1732.78 c 1732s | 23 | 6665247 | 2514538 | 11806 540 | 15 | 28 1734.30/1734.81 c 1734s | 23 | 6673231 | 2517738 | 11806 540 | 15 | 28 1736.29/1736.81 c 1736s | 23 | 6678987 | 2519838 | 11806 541 | 15 | 28 1738.29/1738.81 c 1738s | 23 | 6685463 | 2522138 | 11806 541 | 15 | 28 1740.29/1740.84 c 1740s | 23 | 6692240 | 2524738 | 11806 541 | 15 | 28 1742.29/1742.87 c 1742s | 23 | 6699887 | 2527538 | 11806 542 | 15 | 28 1744.39/1744.92 c 1744s | 23 | 6707007 | 2530638 | 11806 542 | 15 | 28 1746.40/1746.92 c 1746s | 23 | 6713773 | 2533138 | 11806 543 | 15 | 28 1748.39/1748.95 c 1748s | 23 | 6721051 | 2535838 | 11806 543 | 15 | 28 1750.39/1750.97 c 1750s | 23 | 6727603 | 2538438 | 11806 544 | 15 | 28 1752.49/1753.02 c 1752s | 23 | 6735067 | 2541238 | 11806 544 | 15 | 28 1754.49/1755.02 c 1754s | 23 | 6741834 | 2543838 | 11806 545 | 15 | 28 1756.49/1757.05 c 1756s | 23 | 6749873 | 2546938 | 11806 545 | 15 | 28 1758.49/1759.06 c 1758s | 23 | 6757190 | 2549938 | 11806 546 | 15 | 28 1760.49/1761.10 c 1760s | 23 | 6765309 | 2553138 | 11806 546 | 15 | 28 1762.70/1763.27 c 1763s | 23 | 6771486 | 2555738 | 11806 547 | 15 | 28 1764.79/1765.33 c 1765s | 23 | 6776767 | 2557838 | 11806 547 | 15 | 28 1766.79/1767.39 c 1767s | 23 | 6784246 | 2560538 | 11806 547 | 15 | 28 1768.89/1769.46 c 1769s | 23 | 6790668 | 2563138 | 11806 548 | 15 | 28 1770.99/1771.52 c 1771s | 23 | 6797814 | 2565938 | 11806 548 | 15 | 28 1772.99/1773.56 c 1773s | 23 | 6804866 | 2568638 | 11806 549 | 15 | 28 1775.00/1775.59 c 1775s | 23 | 6812296 | 2571538 | 11806 549 | 15 | 28 1777.10/1777.64 c 1777s | 23 | 6819375 | 2574338 | 11806 550 | 15 | 28 1779.09/1779.69 c 1779s | 23 | 6825946 | 2576838 | 11806 550 | 15 | 28 1781.09/1781.69 c 1781s | 23 | 6832422 | 2579438 | 11806 550 | 15 | 28 1783.19/1783.73 c 1783s | 23 | 6839751 | 2582138 | 11806 551 | 15 | 28 1785.29/1785.80 c 1785s | 23 | 6847662 | 2584938 | 11806 551 | 15 | 28 1787.29/1787.85 c 1787s | 23 | 6854420 | 2587638 | 11806 552 | 15 | 28 1789.30/1789.88 c 1789s | 23 | 6861354 | 2590538 | 11806 552 | 15 | 28 1791.40/1791.91 c 1791s | 23 | 6868966 | 2593438 | 11806 553 | 15 | 28 1793.39/1793.98 c 1793s | 23 | 6875690 | 2596038 | 11806 553 | 15 | 28 1795.49/1796.03 c 1795s | 23 | 6882607 | 2598638 | 11806 554 | 15 | 28 1797.59/1798.10 c 1797s | 23 | 6890238 | 2601538 | 11806 554 | 15 | 28 1799.59/1800.12 c 1800s | 23 | 6897124 | 2604238 | 11806 554 | 15 | 28
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-4106634-1466274985/watcher-4106634-1466274985 -o /tmp/evaluation-result-4106634-1466274985/solver-4106634-1466274985 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106634-1466274985.opb pid=24775 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: 1.06 1.31 1.73 3/172 24779 /proc/meminfo: memFree=30243204/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=720316 CPUtime=0 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 2688 0 0 0 0 0 0 0 20 0 4 0 29545033 737603584 3049 33554432000 4194304 16246674 140735605600960 140735605600384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 180847 3060 441 2943 0 177741 0 [pid=24779/tid=24783] ppid=24775 vsize=738748 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 756477952 3118 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=742844 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 760672256 3137 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=747964 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 765915136 3156 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 1.06 1.31 1.73 3/172 24779 /proc/meminfo: memFree=30243204/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 24006 0 0 0 6 3 0 0 20 0 4 0 29545033 1247350784 24354 33554432000 4194304 16246674 140735605600960 140735605600384 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 304529 24361 785 2943 0 301423 0 [pid=24779/tid=24783] ppid=24775 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1247350784 24364 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1247350784 24368 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1247350784 24374 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.20051 s] /proc/loadavg: 1.06 1.31 1.73 3/172 24779 /proc/meminfo: memFree=30243204/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 43966 0 0 0 13 5 0 0 20 0 4 0 29545033 1247350784 44314 33554432000 4194304 16246674 140735605600960 140735605600384 5600539 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 304529 44326 786 2943 0 301423 0 [pid=24779/tid=24783] ppid=24775 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1247350784 44334 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1247350784 44341 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1247350784 44350 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300464 s] /proc/loadavg: 1.06 1.31 1.73 3/172 24779 /proc/meminfo: memFree=30243204/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 64334 0 0 0 21 8 0 0 20 0 4 0 29545033 1247350784 64682 33554432000 4194304 16246674 140735605600960 140735605600384 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 304529 64695 786 2943 0 301423 0 [pid=24779/tid=24783] ppid=24775 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1247350784 64701 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1247350784 64710 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1247350784 64718 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700385 s] /proc/loadavg: 1.06 1.31 1.73 3/172 24779 /proc/meminfo: memFree=30243204/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 144426 0 0 0 50 19 0 0 20 0 4 0 29545033 1247350784 144775 33554432000 4194304 16246674 140735605600960 140735605582848 5532218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 304529 144789 786 2943 0 301423 0 [pid=24779/tid=24783] ppid=24775 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1247350784 144797 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1247350784 144805 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1247350784 144814 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50039 s] /proc/loadavg: 1.06 1.31 1.73 4/183 24790 /proc/meminfo: memFree=28752964/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1221188 CPUtime=1.49 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 246203 0 0 0 116 33 0 0 20 0 4 0 29545033 1250496512 246529 33554432000 4194304 16246674 140735605600960 140735605582848 13906983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 305297 246529 845 2943 0 302191 0 [pid=24779/tid=24783] ppid=24775 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1250496512 246529 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1250496512 246529 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1250496512 246529 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.1004 s] /proc/loadavg: 1.06 1.31 1.73 4/183 24790 /proc/meminfo: memFree=28583556/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 267634 0 0 0 273 36 0 0 20 0 4 0 29545033 1337528320 267960 33554432000 4194304 16246674 140735605600960 140735605582848 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 326545 267960 846 2943 0 323439 0 [pid=24779/tid=24783] ppid=24775 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1337528320 267960 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1337528320 267960 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1337528320 267960 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 1.13 1.32 1.73 4/183 24790 /proc/meminfo: memFree=28578124/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1308228 CPUtime=6.28 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 268108 0 0 0 592 36 0 0 20 0 4 0 29545033 1339625472 268434 33554432000 4194304 16246674 140735605600960 140735605582848 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 327057 268434 846 2943 0 323951 0 [pid=24779/tid=24783] ppid=24775 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 268434 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 268434 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 268434 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 1.20 1.33 1.73 3/183 24790 /proc/meminfo: memFree=28557348/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1310276 CPUtime=12.68 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 268463 0 0 0 1232 36 0 0 20 0 4 0 29545033 1341722624 268789 33554432000 4194304 16246674 140735605600960 140735605582848 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 327569 268789 848 2943 0 324463 0 [pid=24779/tid=24783] ppid=24775 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1341722624 268789 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1341722624 268789 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1341722624 268789 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1310276 [startup+25.5005 s] /proc/loadavg: 1.38 1.36 1.73 3/183 24790 /proc/meminfo: memFree=28095372/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1310276 CPUtime=25.48 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 268463 0 0 0 2512 36 0 0 20 0 4 0 29545033 1341722624 268789 33554432000 4194304 16246674 140735605600960 140735605582848 5674637 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 327569 268789 848 2943 0 324463 0 [pid=24779/tid=24783] ppid=24775 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1341722624 268789 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1341722624 268789 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1341722624 268789 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 1.65 1.43 1.74 3/183 24790 /proc/meminfo: memFree=28088660/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1316420 CPUtime=51.08 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 270196 0 0 0 5071 37 0 0 20 0 4 0 29545033 1348014080 270522 33554432000 4194304 16246674 140735605600960 140735605582848 12483562 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 329105 270522 848 2943 0 325999 0 [pid=24779/tid=24783] ppid=24775 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1348014080 270522 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1348014080 270522 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1348014080 270522 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.3 s] /proc/loadavg: 2.03 1.56 1.77 4/183 24792 /proc/meminfo: memFree=28088000/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1316420 CPUtime=102.28 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 270196 0 0 0 10191 37 0 0 20 0 4 0 29545033 1348014080 270522 33554432000 4194304 16246674 140735605600960 140735605582848 5675857 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 329105 270522 848 2943 0 325999 0 [pid=24779/tid=24783] ppid=24775 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1348014080 270522 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1348014080 270522 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1348014080 270522 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274621 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1332804 [startup+1302.3 s] /proc/loadavg: 2.31 2.27 2.11 3/183 24822 /proc/meminfo: memFree=28049960/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1332804 CPUtime=1301.87 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 274660 0 0 0 130140 47 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140735605582848 5677554 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 333201 274623 848 2943 0 330095 0 [pid=24779/tid=24783] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1332804 [startup+1362.3 s] /proc/loadavg: 2.31 2.28 2.12 3/183 24823 /proc/meminfo: memFree=28050124/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1332804 CPUtime=1361.85 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 274681 0 0 0 136138 47 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140735605582848 12478342 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 333201 274623 848 2943 0 330095 0 [pid=24779/tid=24783] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1332804 [startup+1422.3 s] /proc/loadavg: 2.23 2.26 2.12 3/184 24827 /proc/meminfo: memFree=28049052/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1332804 CPUtime=1421.85 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 274681 0 0 0 142137 48 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140735605582848 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 333201 274623 848 2943 0 330095 0 [pid=24779/tid=24783] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1332804 [startup+1482.3 s] /proc/loadavg: 2.30 2.27 2.13 4/184 24851 /proc/meminfo: memFree=28049132/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1332804 CPUtime=1481.84 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 274681 0 0 0 148135 49 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140735605582848 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 333201 274623 848 2943 0 330095 0 [pid=24779/tid=24783] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274623 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1332804 [startup+1542.31 s] /proc/loadavg: 2.17 2.23 2.13 3/183 24852 /proc/meminfo: memFree=28033056/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1332804 CPUtime=1541.83 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 274682 0 0 0 154134 49 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140735605582848 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 333201 274624 849 2943 0 330095 0 [pid=24779/tid=24783] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1332804 [startup+1602.3 s] /proc/loadavg: 2.21 2.23 2.13 3/183 24854 /proc/meminfo: memFree=28032844/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1332804 CPUtime=1601.81 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 274682 0 0 0 160132 49 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140735605582848 5827682 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 333201 274624 849 2943 0 330095 0 [pid=24779/tid=24783] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1332804 [startup+1662.3 s] /proc/loadavg: 2.24 2.23 2.13 3/183 24855 /proc/meminfo: memFree=28032132/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1332804 CPUtime=1661.81 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 274682 0 0 0 166131 50 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140735605600136 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 333201 274624 849 2943 0 330095 0 [pid=24779/tid=24783] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1332804 [startup+1722.3 s] /proc/loadavg: 2.28 2.24 2.14 3/183 24856 /proc/meminfo: memFree=28032284/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1332804 CPUtime=1721.8 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 274682 0 0 0 172130 50 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140735605582848 5822416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 333201 274624 849 2943 0 330095 0 [pid=24779/tid=24783] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1332804 [startup+1782.3 s] /proc/loadavg: 2.27 2.24 2.14 3/183 24857 /proc/meminfo: memFree=28031576/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1332804 CPUtime=1781.79 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 274682 0 0 0 178128 51 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140735605582848 5652780 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 333201 274624 849 2943 0 330095 0 [pid=24779/tid=24783] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1332804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.26 2.24 2.14 3/183 24857 /proc/meminfo: memFree=28032040/32872528 swapFree=1370848/1518016 [pid=24779] ppid=24775 vsize=1332804 CPUtime=1800.09 cores=0,2,4,6 /proc/24779/stat : 24779 (toysat) R 24775 24779 24737 0 -1 4202496 274682 0 0 0 179958 51 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140735605582848 5712619 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24779/statm: 333201 274624 849 2943 0 330095 0 [pid=24779/tid=24783] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24783/stat : 24783 (toysat) S 24775 24779 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415841840368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24779/tid=24784] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24784/stat : 24784 (toysat) S 24775 24779 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415831350512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24779/tid=24785] ppid=24775 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/24779/task/24785/stat : 24785 (toysat) S 24775 24779 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545033 1364791296 274624 33554432000 4194304 16246674 140735605600960 140415820876976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1332804 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 24779 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.59 CPU system time (s): 0.513921 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 1332804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.513921 maximum resident set size= 1098496 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274682 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= 403 involuntary context switches= 1841 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.66529 second user time and 7.03993 second system time The end
Begin job on node129 at 2016-06-18 20:36:25 IDJOB=4106634 IDBENCH=48152 IDSOLVER=2542 FILE ID=node129/4106634-1466274985 RUNJOBID= node129-1466274985-24753 PBS_JOBID= 19918243 Free space on /tmp= 71736 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106634-1466274985/watcher-4106634-1466274985 -o /tmp/evaluation-result-4106634-1466274985/solver-4106634-1466274985 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106634-1466274985.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 55d0299800773493d27ef2c1b95d10c5 RANDOM SEED=1447823136 node129.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.143 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 : 5332.28 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.143 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.143 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.55 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.143 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 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.143 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.54 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.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30244756 kB Buffers: 156364 kB Cached: 211920 kB SwapCached: 1940 kB Active: 129532 kB Inactive: 241772 kB Active(anon): 4952 kB Inactive(anon): 1076 kB Active(file): 124580 kB Inactive(file): 240696 kB Unevictable: 1518016 kB Mlocked: 1370848 kB SwapTotal: 67108856 kB SwapFree: 67099228 kB Dirty: 32596 kB Writeback: 0 kB AnonPages: 1520368 kB Mapped: 6776 kB Shmem: 0 kB Slab: 603272 kB SReclaimable: 47472 kB SUnreclaim: 555800 kB KernelStack: 1336 kB PageTables: 6952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1614236 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 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= 71720 MiB End job on node129 at 2016-06-18 21:06:26