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.07 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_5.opb |
| MD5SUM | e6ef25c6f832d5fe55af9368c1298b73 |
| 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.03 |
| 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) | 1252 |
| Sum of products size (including duplicates) | 2504 |
| Number of different products | 1252 |
| Sum of products size | 2504 |
0.00/0.00 c 2016-06-18T20:29:06+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-4106607-1466274546.opb"] 0.00/0.01 c use --random-gen="2245348624 2945831323 2974350751 3195723187 142695856 2988159519 2633946125 2802879171 1826716421 1658994272 1905075920 4154881763 2278427684 1912605143 4196116321 3416965938 4102886374 564686851 3068946642 179398315 3388896304 1634272958 1975076773 3002406779 1327571213 170326867 3117587509 1337501910 1190336324 1561715759 1454044778 201922548 4228298492 5236997 3055081229 311037417 2578149776 406082839 2413441538 2921395696 2643886382 3466449225 3350988881 3377766085 1688782476 1938068180 3733582770 2538465747 3909670081 389759380 2647856445 3752308932 621974991 4023623324 1562466674 3447802508 3606679924 2911659403 3709143119 3889376839 1547021934 788415971 2398985146 3023914840 1867587064 1670630733 3360178636 683828297 94539237 63091365 2607380360 186324341 1647434999 1699984214 4240409510 227999814 349746153 2988652970 1260880110 1360986207 1147959792 3345806951 1069247666 1267285728 4175941742 3653765914 3647447881 304222603 601895865 3184070669 2416200662 4182248244 1889619511 3724463898 2631884477 1603978845 458909147 3472448639 1111014040 1342228139 2373729248 3493674522 2851009186 1637493347 137947549 1153984809 2366596906 2250854873 2991150101 735820638 1835938434 2934046190 206627453 1922910001 3496326534 2140328270 3614797883 2564216626 1089876735 4019659874 2189977514 286576987 2696716658 2280482629 56176788 3637076319 4229253091 2573557424 3508151224 945604440 2876285449 2477450375 2271532423 694636131 376580116 2397536452 3564200879 699960673 1385962890 464271530 426597374 2522120289 3857393365 534876673 3750215382 602076668 2221020930 3226096673 210855938 1132684260 4117460478 4260944058 1142273779 609071800 2437331898 34833957 3428296931 1250847677 2081601298 2625527592 3892566769 2569831435 187703611 1218887957 2063126671 3208018735 2045655962 2071157016 926955885 1615467716 2026287753 2009563455 563948234 1113738940 863943086 4013040547 2837005772 3518629045 1382375619 1031805159 4128986427 3810377253 4039758347 2850066258 1405973753 2716475584 1204270192 3311086207 466252490 1875212156 3924650994 1509758028 698642985 412470230 4200653022 1764462795 2572838819 2279798896 3459135343 909093686 891749457 2077171738 532098579 2899340704 304902528 1148318749 2883111714 746116124 2546907560 2735467774 3921021571 903364213 540554111 1407056333 2898194194 519049352 2959381841 1227821485 2953585567 3321036077 3674249524 26403964 1996113505 1599116055 1440849086 105472074 900353603 691582537 639965192 3114599414 1320715288 627647680 3552037290 1463540690 1573256067 58003490 178900963 604003717 441902272 3729493940 2135333356 3783482249 4057869355 2084778459 1471142729 521431313 142068643 738245235 1483925703 207336677 3424758125 299476026 94032330 3347973961 1289127696 3615033255 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 | 1318 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 254 | 0 | 1318 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 = 254 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 76 0.00/0.04 c BCD2: updating upper bound: 100 -> 75 0.00/0.04 c BCD2: 0 <= obj <= 75 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 | 1318 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 78 | 0 | 1318 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.003s 0.00/0.04 c #wall_clock_time = 0.003s 0.00/0.04 c #decision = 78 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 14: 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 <= 75 0.00/0.04 c BCD2: #cores=1, #unrelaxed=86, #relaxed=14, #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 | 1318 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 66 | 0 | 1318 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 = 66 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 17: 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 <= 75 0.00/0.05 c BCD2: #cores=2, #unrelaxed=69, #relaxed=31, #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 | 1318 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 68 | 0 | 1318 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 12: 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 <= 75 0.00/0.05 c BCD2: #cores=3, #unrelaxed=57, #relaxed=43, #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 | 1318 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 307 | 0 | 1318 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.003s 0.00/0.06 c #wall_clock_time = 0.003s 0.00/0.06 c #decision = 307 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 o 21 0.00/0.06 c BCD2: updating upper bound: 75 -> 20 0.00/0.06 c BCD2: 3 <= obj <= 20 0.00/0.06 c BCD2: #cores=3, #unrelaxed=57, #relaxed=43, #hardened=0 0.00/0.06 c BCD2: #sat=2 #unsat=4 bias=4/6 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 | 1318 0 | 0 | 1 0.00/0.08 c 0.0s | 0 | 336 | 85 | 1318 0 | 0 | 1 0.00/0.08 c #cpu_time = 0.028s 0.00/0.08 c #wall_clock_time = 0.028s 0.00/0.09 c #decision = 336 0.00/0.09 c #random_decision = 1 0.00/0.09 c #conflict = 85 0.00/0.09 c #restart = 0 0.00/0.09 o 14 0.00/0.09 c BCD2: updating upper bound: 20 -> 13 0.00/0.09 c BCD2: 3 <= obj <= 13 0.00/0.09 c BCD2: #cores=3, #unrelaxed=57, #relaxed=43, #hardened=0 0.00/0.09 c BCD2: #sat=3 #unsat=4 bias=4/7 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 1318 0 | 0 | 2 0.09/0.11 c 0.0s | 0 | 156 | 62 | 1450 0 | 0 | 2 0.09/0.11 c #cpu_time = 0.024s 0.09/0.11 c #wall_clock_time = 0.024s 0.09/0.11 c #decision = 156 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 62 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: relaxing 57 and merging with 3 cores into a new core of size 100: cost of the new core is >=4 0.09/0.11 c lower bound updated to 4 0.09/0.11 c BCD2: 4 <= obj <= 13 0.09/0.11 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.09/0.11 c BCD2: #sat=3 #unsat=5 bias=5/8 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 1450 0 | 11 | 2 0.09/0.19 c 0.1s | 1 | 435 | 100 | 1450 0 | 11 | 21 0.29/0.31 c 0.2s | 2 | 1022 | 250 | 1596 0 | 11 | 21 0.39/0.46 c 0.4s | 3 | 1652 | 475 | 1756 0 | 11 | 21 0.69/0.73 c 0.6s | 4 | 2573 | 813 | 1932 0 | 11 | 21 1.10/1.13 c 1.0s | 5 | 4140 | 1320 | 2126 0 | 11 | 21 1.59/1.60 c 1.5s | 6 | 7121 | 2081 | 2339 0 | 11 | 21 2.19/2.30 c 2.2s | 7 | 10317 | 3223 | 2573 1 | 11 | 21 3.19/3.27 c 3.2s | 8 | 15592 | 4936 | 2831 2 | 11 | 21 4.69/4.71 c 4.6s | 9 | 22591 | 7506 | 3115 3 | 11 | 21 6.69/6.73 c 6.6s | 9 | 31762 | 10806 | 3115 5 | 11 | 21 6.98/7.06 c 6.9s | 10 | 33340 | 11361 | 3427 6 | 11 | 21 8.98/9.08 c 9.0s | 10 | 41622 | 14561 | 3427 7 | 11 | 21 10.58/10.63 c 10.5s | 11 | 49136 | 17144 | 3770 9 | 11 | 21 12.59/12.68 c 12.6s | 11 | 57206 | 20444 | 3770 10 | 11 | 21 14.69/14.72 c 14.6s | 11 | 65873 | 23844 | 3770 12 | 11 | 21 15.89/15.90 c 15.8s | 12 | 71999 | 25819 | 4147 13 | 11 | 21 17.89/17.93 c 17.8s | 12 | 81162 | 29019 | 4147 14 | 11 | 21 19.90/19.95 c 19.8s | 12 | 91409 | 32319 | 4147 16 | 11 | 21 21.89/21.96 c 21.8s | 12 | 100412 | 35619 | 4147 17 | 11 | 21 23.89/23.96 c 23.8s | 13 | 109556 | 38832 | 4562 18 | 11 | 21 25.89/25.99 c 25.9s | 13 | 117884 | 41932 | 4562 20 | 11 | 21 27.99/28.02 c 27.9s | 13 | 126209 | 45132 | 4562 21 | 11 | 21 29.99/30.05 c 29.9s | 13 | 134553 | 48332 | 4562 22 | 11 | 21 31.99/32.09 c 32.0s | 13 | 143257 | 51632 | 4562 24 | 11 | 21 34.09/34.13 c 34.0s | 13 | 153012 | 55032 | 4562 25 | 11 | 21 36.09/36.18 c 36.1s | 13 | 161881 | 58332 | 5019 26 | 11 | 21 36.19/36.20 c 36.1s | 14 | 161932 | 58352 | 5019 26 | 11 | 21 38.19/38.25 c 38.1s | 14 | 171556 | 61652 | 5019 28 | 11 | 21 40.18/40.26 c 40.1s | 14 | 180326 | 65152 | 5019 29 | 11 | 21 42.18/42.28 c 42.2s | 14 | 188365 | 68252 | 5019 30 | 11 | 21 44.28/44.34 c 44.2s | 14 | 197429 | 71452 | 5019 31 | 11 | 21 46.38/46.40 c 46.3s | 14 | 206332 | 74752 | 5019 33 | 11 | 21 48.39/48.45 c 48.3s | 14 | 215011 | 78052 | 5019 34 | 11 | 21 50.38/50.46 c 50.3s | 14 | 224779 | 81252 | 5019 35 | 11 | 21 52.48/52.50 c 52.4s | 14 | 233761 | 84452 | 5019 36 | 11 | 21 54.38/54.47 c 54.4s | 15 | 242758 | 87632 | 5521 37 | 11 | 21 56.48/56.51 c 56.4s | 15 | 250633 | 90632 | 5521 38 | 11 | 21 58.48/58.54 c 58.4s | 15 | 259242 | 93732 | 5521 39 | 11 | 21 60.49/60.57 c 60.5s | 15 | 267514 | 96932 | 5521 40 | 11 | 21 62.58/62.62 c 62.5s | 15 | 276539 | 100232 | 5521 42 | 11 | 21 64.58/64.65 c 64.5s | 15 | 284712 | 103432 | 5521 43 | 11 | 21 66.58/66.67 c 66.6s | 15 | 293107 | 106732 | 5521 44 | 11 | 21 68.68/68.70 c 68.6s | 15 | 301717 | 109932 | 5521 45 | 11 | 21 70.68/70.71 c 70.6s | 15 | 310243 | 113232 | 5521 46 | 11 | 21 72.69/72.76 c 72.6s | 15 | 318541 | 116632 | 5521 47 | 11 | 21 74.68/74.79 c 74.7s | 15 | 326289 | 119932 | 5521 48 | 11 | 21 76.68/76.80 c 76.7s | 15 | 333569 | 122732 | 5521 49 | 11 | 21 78.78/78.85 c 78.7s | 15 | 342072 | 125932 | 5521 50 | 11 | 21 80.78/80.87 c 80.8s | 15 | 350389 | 129132 | 5521 51 | 11 | 21 82.28/82.33 c 82.2s | 16 | 357368 | 131552 | 6074 52 | 11 | 21 84.28/84.34 c 84.2s | 16 | 365623 | 134652 | 6074 53 | 11 | 21 86.37/86.40 c 86.3s | 16 | 374012 | 137752 | 6074 54 | 11 | 21 88.37/88.42 c 88.3s | 16 | 381907 | 140952 | 6074 55 | 11 | 21 90.37/90.45 c 90.3s | 16 | 390213 | 144152 | 6074 56 | 11 | 21 92.48/92.50 c 92.4s | 16 | 398896 | 147352 | 6074 57 | 11 | 21 94.47/94.51 c 94.4s | 16 | 407458 | 150652 | 6074 58 | 11 | 21 96.47/96.53 c 96.4s | 16 | 415694 | 153952 | 6074 59 | 11 | 21 98.47/98.55 c 98.4s | 16 | 424068 | 157252 | 6074 60 | 11 | 21 100.57/100.60 c 100s | 16 | 432541 | 160652 | 6074 61 | 11 | 21 102.57/102.62 c 102s | 16 | 441237 | 164152 | 6074 62 | 11 | 21 104.58/104.62 c 104s | 16 | 448977 | 167452 | 6074 63 | 11 | 21 106.57/106.67 c 106s | 16 | 457125 | 170552 | 6074 64 | 11 | 21 108.67/108.71 c 108s | 16 | 465472 | 173652 | 6074 65 | 11 | 21 110.67/110.76 c 110s | 16 | 474694 | 176952 | 6074 66 | 11 | 21 112.66/112.77 c 112s | 16 | 482998 | 180152 | 6074 67 | 11 | 21 114.66/114.78 c 114s | 16 | 491596 | 183352 | 6074 68 | 11 | 21 116.67/116.78 c 116s | 16 | 500452 | 186652 | 6074 69 | 11 | 21 118.77/118.81 c 118s | 16 | 508982 | 189952 | 6074 70 | 11 | 21 120.76/120.81 c 120s | 16 | 517012 | 193352 | 6074 71 | 11 | 21 122.76/122.86 c 122s | 16 | 525437 | 196852 | 6682 72 | 11 | 21 123.17/123.22 c 123s | 17 | 526791 | 197432 | 6682 73 | 11 | 21 125.16/125.24 c 125s | 17 | 533927 | 200132 | 6682 73 | 11 | 21 127.16/127.27 c 127s | 17 | 542397 | 203232 | 6682 74 | 11 | 21 129.26/129.30 c 129s | 17 | 550978 | 206432 | 6682 75 | 11 | 21 131.26/131.32 c 131s | 17 | 558460 | 209532 | 6682 76 | 11 | 21 133.25/133.38 c 133s | 17 | 566876 | 212632 | 6682 77 | 11 | 21 135.36/135.41 c 135s | 17 | 575156 | 215732 | 6682 78 | 11 | 21 137.35/137.46 c 137s | 17 | 583863 | 219032 | 6682 79 | 11 | 21 139.35/139.48 c 139s | 17 | 592284 | 222332 | 6682 80 | 11 | 21 141.45/141.52 c 141s | 17 | 601582 | 225732 | 6682 81 | 11 | 21 143.45/143.56 c 143s | 17 | 610236 | 229332 | 6682 82 | 11 | 21 145.45/145.59 c 145s | 17 | 617866 | 232032 | 6682 82 | 11 | 21 147.55/147.63 c 147s | 17 | 626632 | 235232 | 6682 83 | 11 | 21 149.56/149.65 c 149s | 17 | 634518 | 238332 | 6682 84 | 11 | 21 151.65/151.71 c 151s | 17 | 644147 | 241532 | 6682 85 | 11 | 21 153.65/153.73 c 153s | 17 | 653533 | 244632 | 6682 86 | 11 | 21 155.65/155.74 c 155s | 17 | 661329 | 247732 | 6682 87 | 11 | 21 157.65/157.79 c 157s | 17 | 670778 | 251032 | 6682 88 | 11 | 21 159.75/159.83 c 159s | 17 | 679279 | 254132 | 6682 89 | 11 | 21 161.75/161.88 c 161s | 17 | 688933 | 257632 | 6682 90 | 11 | 21 163.74/163.90 c 163s | 17 | 696705 | 260732 | 6682 90 | 11 | 21 165.84/165.93 c 165s | 17 | 704638 | 263832 | 6682 91 | 11 | 21 167.84/167.96 c 167s | 17 | 712691 | 267032 | 6682 92 | 11 | 21 169.84/169.98 c 169s | 17 | 721285 | 270432 | 6682 93 | 11 | 21 171.84/171.99 c 171s | 17 | 729544 | 273732 | 6682 94 | 11 | 21 173.94/174.05 c 173s | 17 | 737628 | 277132 | 6682 95 | 11 | 21 175.96/176.09 c 175s | 17 | 746578 | 280832 | 6682 96 | 11 | 21 178.05/178.10 c 177s | 17 | 753907 | 283732 | 6682 97 | 11 | 21 180.05/180.15 c 180s | 17 | 762674 | 287032 | 6682 98 | 11 | 21 182.05/182.15 c 182s | 17 | 770799 | 290232 | 6682 99 | 11 | 21 184.04/184.17 c 184s | 17 | 778476 | 293332 | 6682 100 | 11 | 21 185.85/185.98 c 185s | 18 | 785694 | 296252 | 7351 100 | 11 | 21 187.94/188.03 c 187s | 18 | 792788 | 299152 | 7351 101 | 11 | 21 189.94/190.07 c 189s | 18 | 801454 | 302352 | 7351 102 | 11 | 21 191.94/192.08 c 191s | 18 | 809962 | 305552 | 7351 103 | 11 | 21 193.94/194.08 c 193s | 18 | 817825 | 308652 | 7351 104 | 11 | 21 196.04/196.10 c 195s | 18 | 825706 | 311752 | 7351 105 | 11 | 21 198.04/198.16 c 198s | 18 | 833830 | 314952 | 7351 105 | 11 | 21 200.14/200.20 c 200s | 18 | 843245 | 318352 | 7351 106 | 11 | 21 202.14/202.26 c 202s | 18 | 851387 | 321552 | 7351 107 | 11 | 21 204.23/204.30 c 204s | 18 | 860115 | 324852 | 7351 108 | 11 | 21 206.23/206.34 c 206s | 18 | 868664 | 328352 | 7351 109 | 11 | 21 208.23/208.37 c 208s | 18 | 875337 | 330952 | 7351 110 | 11 | 21 210.23/210.37 c 210s | 18 | 884242 | 334152 | 7351 110 | 11 | 21 212.34/212.43 c 212s | 18 | 892737 | 337352 | 7351 111 | 11 | 21 214.33/214.45 c 214s | 18 | 901028 | 340452 | 7351 112 | 11 | 21 216.33/216.48 c 216s | 18 | 909455 | 343752 | 7351 113 | 11 | 21 218.43/218.50 c 218s | 18 | 917129 | 346752 | 7351 114 | 11 | 21 220.43/220.54 c 220s | 18 | 925357 | 350052 | 7351 114 | 11 | 21 222.43/222.56 c 222s | 18 | 933952 | 353252 | 7351 115 | 11 | 21 224.53/224.60 c 224s | 18 | 943196 | 356652 | 7351 116 | 11 | 21 226.53/226.63 c 226s | 18 | 951643 | 359952 | 7351 117 | 11 | 21 228.53/228.68 c 228s | 18 | 958705 | 362652 | 7351 118 | 11 | 21 230.62/230.70 c 230s | 18 | 967335 | 365752 | 7351 119 | 11 | 21 232.62/232.75 c 232s | 18 | 975614 | 368952 | 7351 119 | 11 | 21 234.62/234.78 c 234s | 18 | 984136 | 372052 | 7351 120 | 11 | 21 236.72/236.85 c 236s | 18 | 993105 | 375352 | 7351 121 | 11 | 21 238.82/238.90 c 238s | 18 | 1001635 | 378552 | 7351 122 | 11 | 21 240.83/240.93 c 240s | 18 | 1010171 | 381752 | 7351 123 | 11 | 21 242.82/242.95 c 242s | 18 | 1018027 | 384952 | 7351 124 | 11 | 21 244.82/244.99 c 244s | 18 | 1024839 | 387952 | 7351 124 | 11 | 21 246.92/247.05 c 246s | 18 | 1032857 | 391052 | 7351 125 | 11 | 21 248.92/249.07 c 248s | 18 | 1041056 | 394052 | 7351 126 | 11 | 21 250.91/251.09 c 250s | 18 | 1049242 | 397252 | 7351 127 | 11 | 21 253.02/253.12 c 253s | 18 | 1057892 | 400352 | 7351 128 | 11 | 21 255.01/255.15 c 255s | 18 | 1066406 | 403552 | 7351 128 | 11 | 21 257.01/257.17 c 257s | 18 | 1075127 | 406852 | 7351 129 | 11 | 21 259.01/259.20 c 259s | 18 | 1083805 | 410152 | 7351 130 | 11 | 21 261.11/261.25 c 261s | 18 | 1092893 | 413552 | 7351 131 | 11 | 21 263.11/263.29 c 263s | 18 | 1100492 | 416752 | 7351 132 | 11 | 21 265.21/265.32 c 265s | 18 | 1108815 | 419852 | 7351 133 | 11 | 21 267.21/267.38 c 267s | 18 | 1117097 | 423152 | 7351 134 | 11 | 21 269.31/269.43 c 269s | 18 | 1125719 | 426352 | 7351 134 | 11 | 21 271.31/271.47 c 271s | 18 | 1134503 | 429552 | 7351 135 | 11 | 21 273.40/273.52 c 273s | 18 | 1142576 | 432752 | 7351 136 | 11 | 21 275.40/275.55 c 275s | 18 | 1151029 | 435952 | 7351 137 | 11 | 21 277.40/277.56 c 277s | 18 | 1159490 | 439252 | 7351 138 | 11 | 21 279.41/279.56 c 279s | 18 | 1167404 | 442652 | 8087 138 | 11 | 21 280.90/281.01 c 280s | 19 | 1172288 | 444482 | 8087 139 | 11 | 21 283.00/283.10 c 282s | 19 | 1179899 | 447282 | 8087 140 | 11 | 21 285.00/285.13 c 285s | 19 | 1188477 | 450382 | 8087 140 | 11 | 21 287.00/287.14 c 287s | 19 | 1196768 | 453482 | 8087 141 | 11 | 21 289.00/289.18 c 289s | 19 | 1204402 | 456382 | 8087 142 | 11 | 21 291.10/291.24 c 291s | 19 | 1212551 | 459482 | 8087 142 | 11 | 21 293.09/293.26 c 293s | 19 | 1220898 | 462582 | 8087 143 | 11 | 21 295.09/295.27 c 295s | 19 | 1229324 | 465582 | 8087 144 | 11 | 21 297.09/297.29 c 297s | 19 | 1237551 | 468682 | 8087 145 | 11 | 21 299.20/299.33 c 299s | 19 | 1246477 | 471982 | 8087 145 | 11 | 21 301.40/301.54 c 301s | 19 | 1255815 | 475382 | 8087 146 | 11 | 21 303.38/303.60 c 303s | 19 | 1263248 | 478182 | 8087 147 | 11 | 21 305.48/305.63 c 305s | 19 | 1270464 | 481282 | 8087 148 | 11 | 21 307.48/307.63 c 307s | 19 | 1278689 | 484482 | 8087 148 | 11 | 21 309.48/309.64 c 309s | 19 | 1287169 | 487582 | 8087 149 | 11 | 21 311.48/311.67 c 311s | 19 | 1295627 | 490682 | 8087 150 | 11 | 21 313.58/313.73 c 313s | 19 | 1304464 | 493782 | 8087 151 | 11 | 21 315.59/315.79 c 315s | 19 | 1312953 | 496982 | 8087 151 | 11 | 21 317.68/317.80 c 317s | 19 | 1321432 | 500182 | 8087 152 | 11 | 21 319.68/319.80 c 319s | 19 | 1330103 | 503382 | 8087 153 | 11 | 21 321.68/321.83 c 321s | 19 | 1338030 | 506482 | 8087 154 | 11 | 21 323.67/323.84 c 323s | 19 | 1346488 | 509882 | 8087 154 | 11 | 21 325.67/325.89 c 325s | 19 | 1353273 | 512582 | 8087 155 | 11 | 21 327.78/327.95 c 327s | 19 | 1362069 | 515782 | 8087 156 | 11 | 21 329.77/329.98 c 329s | 19 | 1370744 | 518982 | 8087 156 | 11 | 21 331.87/332.01 c 331s | 19 | 1379169 | 522182 | 8087 157 | 11 | 21 333.87/334.03 c 333s | 19 | 1387242 | 525282 | 8087 158 | 11 | 21 335.87/336.06 c 335s | 19 | 1395245 | 528282 | 8087 159 | 11 | 21 337.97/338.11 c 337s | 19 | 1403351 | 531482 | 8087 159 | 11 | 21 339.97/340.16 c 340s | 19 | 1411786 | 534682 | 8087 160 | 11 | 21 341.98/342.19 c 342s | 19 | 1420507 | 538082 | 8087 161 | 11 | 21 344.08/344.22 c 344s | 19 | 1427790 | 540882 | 8087 162 | 11 | 21 346.08/346.24 c 346s | 19 | 1435881 | 543982 | 8087 162 | 11 | 21 348.08/348.25 c 348s | 19 | 1443887 | 547082 | 8087 163 | 11 | 21 350.07/350.25 c 350s | 19 | 1451883 | 550182 | 8087 164 | 11 | 21 352.07/352.29 c 352s | 19 | 1459723 | 553182 | 8087 165 | 11 | 21 354.18/354.33 c 354s | 19 | 1467855 | 556382 | 8087 165 | 11 | 21 356.17/356.36 c 356s | 19 | 1476534 | 559582 | 8087 166 | 11 | 21 358.17/358.37 c 358s | 19 | 1484675 | 562782 | 8087 167 | 11 | 21 360.27/360.42 c 360s | 19 | 1492669 | 565982 | 8087 168 | 11 | 21 362.27/362.47 c 362s | 19 | 1501201 | 569282 | 8087 168 | 11 | 21 364.37/364.51 c 364s | 19 | 1509568 | 572482 | 8087 169 | 11 | 21 366.37/366.51 c 366s | 19 | 1517913 | 575882 | 8087 170 | 11 | 21 368.37/368.56 c 368s | 19 | 1527145 | 579482 | 8087 171 | 11 | 21 370.47/370.61 c 370s | 19 | 1534080 | 582282 | 8087 172 | 11 | 21 372.46/372.66 c 372s | 19 | 1542341 | 585382 | 8087 172 | 11 | 21 374.46/374.67 c 374s | 19 | 1550598 | 588382 | 8087 173 | 11 | 21 376.56/376.74 c 376s | 19 | 1559489 | 591582 | 8087 174 | 11 | 21 378.56/378.78 c 378s | 19 | 1568266 | 594782 | 8087 175 | 11 | 21 380.66/380.80 c 380s | 19 | 1576577 | 597882 | 8087 175 | 11 | 21 382.66/382.80 c 382s | 19 | 1583517 | 600782 | 8087 176 | 11 | 21 384.66/384.85 c 384s | 19 | 1592113 | 603982 | 8087 177 | 11 | 21 386.76/386.93 c 386s | 19 | 1600539 | 607282 | 8087 177 | 11 | 21 388.75/388.93 c 388s | 19 | 1607907 | 610482 | 8087 178 | 11 | 21 390.75/390.96 c 390s | 19 | 1615173 | 613482 | 8087 179 | 11 | 21 392.85/393.00 c 392s | 19 | 1622985 | 616582 | 8087 180 | 11 | 21 394.86/395.06 c 394s | 19 | 1631407 | 619782 | 8087 180 | 11 | 21 396.85/397.06 c 396s | 19 | 1639521 | 622982 | 8087 181 | 11 | 21 398.95/399.12 c 399s | 19 | 1647412 | 625882 | 8087 182 | 11 | 21 400.95/401.16 c 401s | 19 | 1656329 | 629082 | 8087 183 | 11 | 21 402.94/403.17 c 403s | 19 | 1664567 | 632282 | 8087 183 | 11 | 21 405.04/405.20 c 405s | 19 | 1672278 | 635582 | 8087 184 | 11 | 21 407.04/407.20 c 407s | 19 | 1681023 | 638882 | 8087 185 | 11 | 21 409.05/409.25 c 409s | 19 | 1689929 | 642282 | 8087 186 | 11 | 21 411.04/411.29 c 411s | 19 | 1697635 | 645382 | 8087 186 | 11 | 21 413.14/413.32 c 413s | 19 | 1706640 | 648782 | 8087 187 | 11 | 21 415.14/415.36 c 415s | 19 | 1715442 | 652182 | 8087 188 | 11 | 21 417.14/417.38 c 417s | 19 | 1723361 | 655382 | 8087 189 | 11 | 21 419.24/419.43 c 419s | 19 | 1731197 | 658482 | 8087 190 | 11 | 21 421.24/421.44 c 421s | 19 | 1739511 | 661782 | 8087 190 | 11 | 21 423.23/423.49 c 423s | 19 | 1747276 | 664882 | 8896 191 | 11 | 21 424.44/424.64 c 424s | 20 | 1751763 | 666827 | 8896 191 | 11 | 21 426.43/426.65 c 426s | 20 | 1757741 | 669227 | 8896 192 | 11 | 21 428.43/428.66 c 428s | 20 | 1766578 | 672627 | 8896 193 | 11 | 21 430.53/430.71 c 430s | 20 | 1775038 | 675927 | 8896 193 | 11 | 21 432.53/432.75 c 432s | 20 | 1782756 | 679027 | 8896 194 | 11 | 21 434.53/434.77 c 434s | 20 | 1790724 | 682327 | 8896 195 | 11 | 21 436.64/436.84 c 436s | 20 | 1798962 | 685427 | 8896 195 | 11 | 21 438.63/438.85 c 438s | 20 | 1806776 | 688627 | 8896 196 | 11 | 21 440.73/440.90 c 440s | 20 | 1814562 | 691827 | 8896 197 | 11 | 21 442.73/442.93 c 442s | 20 | 1823280 | 695227 | 8896 197 | 11 | 21 444.73/444.96 c 444s | 20 | 1831883 | 698727 | 8896 198 | 11 | 21 446.83/447.06 c 446s | 20 | 1838422 | 701427 | 8896 199 | 11 | 21 448.92/449.13 c 449s | 20 | 1846507 | 704527 | 8896 199 | 11 | 21 450.93/451.19 c 451s | 20 | 1854903 | 707727 | 8896 200 | 11 | 21 453.03/453.23 c 453s | 20 | 1863439 | 710927 | 8896 201 | 11 | 21 455.02/455.27 c 455s | 20 | 1871544 | 713927 | 8896 202 | 11 | 21 457.12/457.30 c 457s | 20 | 1880011 | 717127 | 8896 202 | 11 | 21 459.12/459.32 c 459s | 20 | 1888230 | 720327 | 8896 203 | 11 | 21 461.12/461.36 c 461s | 20 | 1896338 | 723527 | 8896 204 | 11 | 21 463.12/463.38 c 463s | 20 | 1904811 | 726927 | 8896 204 | 11 | 21 465.22/465.46 c 465s | 20 | 1912314 | 729927 | 8896 205 | 11 | 21 467.22/467.49 c 467s | 20 | 1919800 | 732827 | 8896 206 | 11 | 21 469.31/469.52 c 469s | 20 | 1927771 | 735927 | 8896 206 | 11 | 21 471.31/471.52 c 471s | 20 | 1935438 | 738927 | 8896 207 | 11 | 21 473.31/473.56 c 473s | 20 | 1943315 | 741927 | 8896 208 | 11 | 21 475.41/475.62 c 475s | 20 | 1952094 | 745127 | 8896 208 | 11 | 21 477.41/477.62 c 477s | 20 | 1960674 | 748427 | 8896 209 | 11 | 21 479.42/479.68 c 479s | 20 | 1969165 | 751527 | 8896 210 | 11 | 21 481.51/481.70 c 481s | 20 | 1977451 | 754827 | 8896 210 | 11 | 21 483.51/483.74 c 483s | 20 | 1985882 | 758327 | 8896 211 | 11 | 21 485.51/485.75 c 485s | 20 | 1994533 | 761927 | 8896 212 | 11 | 21 487.51/487.80 c 487s | 20 | 2001472 | 764527 | 8896 212 | 11 | 21 489.62/489.84 c 489s | 20 | 2009700 | 767627 | 8896 213 | 11 | 21 491.63/491.88 c 491s | 20 | 2017442 | 770727 | 8896 214 | 11 | 21 493.72/493.94 c 493s | 20 | 2026356 | 773927 | 8896 215 | 11 | 21 495.71/495.96 c 495s | 20 | 2034708 | 777127 | 8896 215 | 11 | 21 497.81/498.01 c 497s | 20 | 2043595 | 780427 | 8896 216 | 11 | 21 499.81/500.06 c 499s | 20 | 2051928 | 783827 | 8896 217 | 11 | 21 501.81/502.07 c 501s | 20 | 2058826 | 786727 | 8896 217 | 11 | 21 503.81/504.08 c 503s | 20 | 2066313 | 789627 | 8896 218 | 11 | 21 505.91/506.11 c 505s | 20 | 2074763 | 792827 | 8896 219 | 11 | 21 507.91/508.14 c 508s | 20 | 2083355 | 796127 | 8896 219 | 11 | 21 509.91/510.18 c 510s | 20 | 2091956 | 799727 | 8896 220 | 11 | 21 512.01/512.21 c 512s | 20 | 2100254 | 803327 | 8896 221 | 11 | 21 514.00/514.22 c 514s | 20 | 2107116 | 806127 | 8896 221 | 11 | 21 516.00/516.24 c 516s | 20 | 2115181 | 809327 | 8896 222 | 11 | 21 518.01/518.25 c 518s | 20 | 2123582 | 812627 | 8896 223 | 11 | 21 520.00/520.30 c 520s | 20 | 2133180 | 816027 | 8896 224 | 11 | 21 522.10/522.32 c 522s | 20 | 2143057 | 819927 | 8896 224 | 11 | 21 524.10/524.36 c 524s | 20 | 2149938 | 822827 | 8896 225 | 11 | 21 526.20/526.41 c 526s | 20 | 2158783 | 826127 | 8896 226 | 11 | 21 528.20/528.45 c 528s | 20 | 2167392 | 829327 | 8896 226 | 11 | 21 530.20/530.49 c 530s | 20 | 2175073 | 832627 | 8896 227 | 11 | 21 532.31/532.53 c 532s | 20 | 2184026 | 836027 | 8896 228 | 11 | 21 534.30/534.57 c 534s | 20 | 2192311 | 839427 | 8896 229 | 11 | 21 536.30/536.59 c 536s | 20 | 2201355 | 843127 | 8896 229 | 11 | 21 538.39/538.63 c 538s | 20 | 2208727 | 846127 | 8896 230 | 11 | 21 540.39/540.63 c 540s | 20 | 2216970 | 849327 | 8896 231 | 11 | 21 542.39/542.67 c 542s | 20 | 2225728 | 852727 | 8896 232 | 11 | 21 544.40/544.68 c 544s | 20 | 2233435 | 855827 | 8896 232 | 11 | 21 546.50/546.71 c 546s | 20 | 2241701 | 858927 | 8896 233 | 11 | 21 548.49/548.73 c 548s | 20 | 2250201 | 862127 | 8896 234 | 11 | 21 550.49/550.77 c 550s | 20 | 2258137 | 865427 | 8896 234 | 11 | 21 552.49/552.79 c 552s | 20 | 2266468 | 868727 | 8896 235 | 11 | 21 554.59/554.82 c 554s | 20 | 2273909 | 871927 | 8896 236 | 11 | 21 556.59/556.85 c 556s | 20 | 2282518 | 875427 | 8896 236 | 11 | 21 558.59/558.88 c 558s | 20 | 2290608 | 878927 | 8896 237 | 11 | 21 560.68/560.90 c 560s | 20 | 2298349 | 882227 | 8896 238 | 11 | 21 562.68/562.92 c 562s | 20 | 2306613 | 885727 | 8896 239 | 11 | 21 564.68/564.93 c 564s | 20 | 2314111 | 889027 | 8896 239 | 11 | 21 566.68/566.98 c 566s | 20 | 2323101 | 892327 | 8896 240 | 11 | 21 568.68/568.99 c 568s | 20 | 2331010 | 895627 | 8896 241 | 11 | 21 570.79/571.01 c 570s | 20 | 2340602 | 899027 | 8896 241 | 11 | 21 572.77/573.06 c 572s | 20 | 2348391 | 902327 | 8896 242 | 11 | 21 574.77/575.08 c 574s | 20 | 2357402 | 906027 | 8896 243 | 11 | 21 576.77/577.08 c 576s | 20 | 2365294 | 909227 | 8896 244 | 11 | 21 578.87/579.13 c 579s | 20 | 2373663 | 912727 | 8896 244 | 11 | 21 580.87/581.17 c 581s | 20 | 2382081 | 916127 | 8896 245 | 11 | 21 582.88/583.19 c 583s | 20 | 2390276 | 919427 | 8896 246 | 11 | 21 584.87/585.20 c 585s | 20 | 2398648 | 923027 | 8896 247 | 11 | 21 586.97/587.24 c 587s | 20 | 2407502 | 926727 | 8896 247 | 11 | 21 588.97/589.24 c 589s | 20 | 2415821 | 930227 | 8896 248 | 11 | 21 590.97/591.29 c 591s | 20 | 2419786 | 931927 | 8896 249 | 11 | 21 593.07/593.33 c 593s | 20 | 2425767 | 934127 | 8896 249 | 11 | 21 595.07/595.35 c 595s | 20 | 2433858 | 937427 | 8896 250 | 11 | 21 597.08/597.37 c 597s | 20 | 2441376 | 940427 | 8896 250 | 11 | 21 599.07/599.39 c 599s | 20 | 2449689 | 943527 | 8896 251 | 11 | 21 601.17/601.41 c 601s | 20 | 2457541 | 946527 | 8896 252 | 11 | 21 603.17/603.46 c 603s | 20 | 2466628 | 949927 | 8896 252 | 11 | 21 605.17/605.48 c 605s | 20 | 2475474 | 953427 | 8896 253 | 11 | 21 607.17/607.48 c 607s | 20 | 2483845 | 956927 | 8896 254 | 11 | 21 609.18/609.50 c 609s | 20 | 2492785 | 960327 | 8896 255 | 11 | 21 611.27/611.55 c 611s | 20 | 2501990 | 963927 | 8896 255 | 11 | 21 613.46/613.77 c 613s | 20 | 2510941 | 967727 | 8896 256 | 11 | 21 615.56/615.83 c 615s | 20 | 2518077 | 970727 | 8896 257 | 11 | 21 617.56/617.87 c 617s | 20 | 2525992 | 973827 | 8896 258 | 11 | 21 619.66/619.90 c 619s | 20 | 2534646 | 976827 | 8896 258 | 11 | 21 621.66/621.93 c 621s | 20 | 2543134 | 980127 | 8896 259 | 11 | 21 623.66/623.95 c 623s | 20 | 2551279 | 983527 | 8896 260 | 11 | 21 625.67/625.99 c 625s | 20 | 2560463 | 986927 | 8896 260 | 11 | 21 627.76/628.01 c 627s | 20 | 2569463 | 990527 | 8896 261 | 11 | 21 629.76/630.02 c 629s | 20 | 2579235 | 994327 | 9786 262 | 11 | 21 631.76/632.03 c 631s | 20 | 2585538 | 997127 | 9786 262 | 11 | 21 633.76/634.04 c 633s | 20 | 2593827 | 1000327 | 9786 263 | 11 | 21 633.76/634.05 c 633s | 21 | 2593854 | 1000345 | 9786 263 | 11 | 21 635.76/636.09 c 635s | 21 | 2599953 | 1002645 | 9786 264 | 11 | 21 637.86/638.19 c 638s | 21 | 2608048 | 1005645 | 9786 264 | 11 | 21 639.96/640.21 c 640s | 21 | 2616273 | 1008745 | 9786 265 | 11 | 21 641.96/642.27 c 642s | 21 | 2624646 | 1011945 | 9786 265 | 11 | 21 643.95/644.28 c 644s | 21 | 2633470 | 1015145 | 9786 266 | 11 | 21 646.05/646.33 c 646s | 21 | 2641825 | 1018145 | 9786 267 | 11 | 21 648.05/648.35 c 648s | 21 | 2650448 | 1021145 | 9786 267 | 11 | 21 650.05/650.36 c 650s | 21 | 2658469 | 1024145 | 9786 268 | 11 | 21 652.16/652.42 c 652s | 21 | 2666212 | 1027245 | 9786 268 | 11 | 21 654.15/654.48 c 654s | 21 | 2675433 | 1030445 | 9786 269 | 11 | 21 656.25/656.51 c 656s | 21 | 2683614 | 1033545 | 9786 270 | 11 | 21 658.25/658.54 c 658s | 21 | 2692168 | 1036845 | 9786 270 | 11 | 21 660.35/660.65 c 660s | 21 | 2699336 | 1039745 | 9786 271 | 11 | 21 662.45/662.70 c 662s | 21 | 2706257 | 1042245 | 9786 271 | 11 | 21 664.45/664.71 c 664s | 21 | 2713474 | 1045045 | 9786 272 | 11 | 21 666.45/666.76 c 666s | 21 | 2722016 | 1047945 | 9786 273 | 11 | 21 668.45/668.77 c 668s | 21 | 2730874 | 1051045 | 9786 273 | 11 | 21 670.45/670.77 c 670s | 21 | 2740029 | 1054045 | 9786 274 | 11 | 21 672.54/672.81 c 672s | 21 | 2748406 | 1057045 | 9786 274 | 11 | 21 674.54/674.82 c 674s | 21 | 2756311 | 1060145 | 9786 275 | 11 | 21 676.54/676.87 c 676s | 21 | 2764641 | 1063245 | 9786 276 | 11 | 21 678.54/678.89 c 678s | 21 | 2772022 | 1066245 | 9786 276 | 11 | 21 680.64/680.93 c 680s | 21 | 2780450 | 1069545 | 9786 277 | 11 | 21 682.64/682.95 c 682s | 21 | 2789223 | 1073045 | 9786 277 | 11 | 21 684.64/684.99 c 684s | 21 | 2795391 | 1075445 | 9786 278 | 11 | 21 686.74/687.06 c 686s | 21 | 2802775 | 1078345 | 9786 279 | 11 | 21 688.74/689.07 c 688s | 21 | 2811779 | 1081445 | 9786 279 | 11 | 21 690.84/691.14 c 691s | 21 | 2819619 | 1084345 | 9786 280 | 11 | 21 692.84/693.18 c 693s | 21 | 2828376 | 1087545 | 9786 280 | 11 | 21 694.94/695.21 c 695s | 21 | 2836475 | 1090645 | 9786 281 | 11 | 21 696.93/697.22 c 697s | 21 | 2844690 | 1093645 | 9786 282 | 11 | 21 698.93/699.23 c 699s | 21 | 2853329 | 1096845 | 9786 282 | 11 | 21 700.93/701.26 c 701s | 21 | 2861637 | 1100145 | 9786 283 | 11 | 21 703.03/703.30 c 703s | 21 | 2870659 | 1103345 | 9786 283 | 11 | 21 705.03/705.33 c 705s | 21 | 2879582 | 1106545 | 9786 284 | 11 | 21 707.04/707.33 c 707s | 21 | 2887610 | 1109845 | 9786 285 | 11 | 21 709.03/709.37 c 709s | 21 | 2893833 | 1112245 | 9786 285 | 11 | 21 711.03/711.39 c 711s | 21 | 2902273 | 1115445 | 9786 286 | 11 | 21 713.13/713.43 c 713s | 21 | 2909722 | 1118345 | 9786 286 | 11 | 21 715.13/715.49 c 715s | 21 | 2918587 | 1121545 | 9786 287 | 11 | 21 717.13/717.49 c 717s | 21 | 2926824 | 1124545 | 9786 288 | 11 | 21 719.23/719.52 c 719s | 21 | 2935513 | 1127645 | 9786 288 | 11 | 21 721.23/721.53 c 721s | 21 | 2943791 | 1130845 | 9786 289 | 11 | 21 723.22/723.57 c 723s | 21 | 2952555 | 1134145 | 9786 290 | 11 | 21 725.32/725.62 c 725s | 21 | 2961460 | 1137545 | 9786 290 | 11 | 21 727.32/727.62 c 727s | 21 | 2969971 | 1141045 | 9786 291 | 11 | 21 729.32/729.67 c 729s | 21 | 2978467 | 1144545 | 9786 292 | 11 | 21 731.41/731.71 c 731s | 21 | 2984916 | 1147045 | 9786 292 | 11 | 21 733.42/733.74 c 733s | 21 | 2992293 | 1150045 | 9786 293 | 11 | 21 735.51/735.80 c 735s | 21 | 3000098 | 1152845 | 9786 293 | 11 | 21 737.51/737.85 c 737s | 21 | 3007703 | 1155745 | 9786 294 | 11 | 21 739.51/739.88 c 739s | 21 | 3015772 | 1158845 | 9786 294 | 11 | 21 741.61/741.94 c 741s | 21 | 3025053 | 1162245 | 9786 295 | 11 | 21 743.61/743.97 c 743s | 21 | 3033401 | 1165645 | 9786 296 | 11 | 21 745.62/746.00 c 745s | 21 | 3041660 | 1168945 | 9786 296 | 11 | 21 747.72/748.05 c 747s | 21 | 3049126 | 1172145 | 9786 297 | 11 | 21 749.81/750.11 c 749s | 21 | 3056015 | 1174945 | 9786 298 | 11 | 21 751.81/752.13 c 752s | 21 | 3063723 | 1177745 | 9786 298 | 11 | 21 753.81/754.17 c 754s | 21 | 3071872 | 1180645 | 9786 299 | 11 | 21 755.91/756.24 c 756s | 21 | 3080306 | 1183645 | 9786 299 | 11 | 21 757.91/758.25 c 758s | 21 | 3087889 | 1186745 | 9786 300 | 11 | 21 759.91/760.28 c 760s | 21 | 3094833 | 1189645 | 9786 301 | 11 | 21 761.91/762.29 c 762s | 21 | 3102994 | 1192845 | 9786 301 | 11 | 21 764.01/764.31 c 764s | 21 | 3111554 | 1196045 | 9786 302 | 11 | 21 766.00/766.37 c 766s | 21 | 3120033 | 1199245 | 9786 302 | 11 | 21 768.00/768.39 c 768s | 21 | 3128027 | 1202345 | 9786 303 | 11 | 21 770.20/770.50 c 770s | 21 | 3136341 | 1205545 | 9786 304 | 11 | 21 772.21/772.53 c 772s | 21 | 3144242 | 1208345 | 9786 304 | 11 | 21 774.31/774.60 c 774s | 21 | 3151598 | 1211045 | 9786 305 | 11 | 21 776.32/776.61 c 776s | 21 | 3159235 | 1214045 | 9786 305 | 11 | 21 778.31/778.65 c 778s | 21 | 3167396 | 1217045 | 9786 306 | 11 | 21 780.31/780.69 c 780s | 21 | 3175435 | 1220145 | 9786 307 | 11 | 21 782.41/782.74 c 782s | 21 | 3183912 | 1223445 | 9786 307 | 11 | 21 784.41/784.77 c 784s | 21 | 3191889 | 1226745 | 9786 308 | 11 | 21 786.51/786.81 c 786s | 21 | 3198614 | 1229545 | 9786 308 | 11 | 21 788.52/788.85 c 788s | 21 | 3206573 | 1232645 | 9786 309 | 11 | 21 790.62/790.91 c 790s | 21 | 3214515 | 1235845 | 9786 310 | 11 | 21 792.61/792.98 c 792s | 21 | 3222055 | 1238845 | 9786 310 | 11 | 21 794.71/795.01 c 794s | 21 | 3229437 | 1241745 | 9786 311 | 11 | 21 796.71/797.02 c 796s | 21 | 3237476 | 1244745 | 9786 311 | 11 | 21 798.71/799.08 c 798s | 21 | 3245286 | 1247945 | 9786 312 | 11 | 21 800.81/801.13 c 801s | 21 | 3252150 | 1250945 | 9786 313 | 11 | 21 802.81/803.14 c 803s | 21 | 3259732 | 1253945 | 9786 313 | 11 | 21 804.81/805.19 c 805s | 21 | 3268090 | 1257145 | 9786 314 | 11 | 21 806.91/807.20 c 807s | 21 | 3276080 | 1260445 | 9786 314 | 11 | 21 808.91/809.26 c 809s | 21 | 3283883 | 1263645 | 9786 315 | 11 | 21 811.00/811.31 c 811s | 21 | 3291314 | 1266745 | 9786 316 | 11 | 21 813.00/813.35 c 813s | 21 | 3299225 | 1269945 | 9786 316 | 11 | 21 815.00/815.36 c 815s | 21 | 3306375 | 1272845 | 9786 317 | 11 | 21 817.01/817.38 c 817s | 21 | 3313462 | 1275845 | 9786 318 | 11 | 21 819.10/819.42 c 819s | 21 | 3322237 | 1279345 | 9786 318 | 11 | 21 821.10/821.47 c 821s | 21 | 3330827 | 1282645 | 9786 319 | 11 | 21 823.10/823.47 c 823s | 21 | 3338528 | 1285745 | 9786 319 | 11 | 21 825.10/825.47 c 825s | 21 | 3345929 | 1288845 | 9786 320 | 11 | 21 827.20/827.50 c 827s | 21 | 3353624 | 1292145 | 9786 321 | 11 | 21 829.21/829.51 c 829s | 21 | 3360579 | 1295345 | 9786 321 | 11 | 21 831.20/831.56 c 831s | 21 | 3368422 | 1298545 | 9786 322 | 11 | 21 833.20/833.58 c 833s | 21 | 3376560 | 1301745 | 9786 323 | 11 | 21 835.20/835.58 c 835s | 21 | 3385263 | 1305245 | 9786 323 | 11 | 21 837.20/837.59 c 837s | 21 | 3393837 | 1308745 | 9786 324 | 11 | 21 839.30/839.60 c 839s | 21 | 3401064 | 1311845 | 9786 325 | 11 | 21 841.31/841.65 c 841s | 21 | 3409411 | 1315045 | 9786 325 | 11 | 21 843.30/843.68 c 843s | 21 | 3417280 | 1318245 | 9786 326 | 11 | 21 845.40/845.71 c 845s | 21 | 3425792 | 1321745 | 9786 327 | 11 | 21 847.40/847.75 c 847s | 21 | 3434637 | 1325345 | 9786 327 | 11 | 21 849.40/849.77 c 849s | 21 | 3442495 | 1328845 | 9786 328 | 11 | 21 851.50/851.89 c 851s | 21 | 3446308 | 1330445 | 9786 328 | 11 | 21 853.60/853.91 c 853s | 21 | 3453132 | 1333145 | 9786 329 | 11 | 21 855.60/855.91 c 855s | 21 | 3460565 | 1335945 | 9786 329 | 11 | 21 857.59/857.94 c 857s | 21 | 3468535 | 1338845 | 9786 330 | 11 | 21 859.59/859.98 c 859s | 21 | 3475618 | 1341845 | 9786 331 | 11 | 21 861.69/862.03 c 861s | 21 | 3483326 | 1344745 | 9786 331 | 11 | 21 863.69/864.05 c 863s | 21 | 3490691 | 1347545 | 9786 332 | 11 | 21 865.69/866.06 c 865s | 21 | 3498275 | 1350545 | 9786 332 | 11 | 21 867.70/868.08 c 867s | 21 | 3506488 | 1353645 | 9786 333 | 11 | 21 869.80/870.11 c 869s | 21 | 3514221 | 1356645 | 9786 333 | 11 | 21 871.79/872.13 c 872s | 21 | 3522264 | 1359745 | 9786 334 | 11 | 21 873.79/874.17 c 874s | 21 | 3529786 | 1362745 | 9786 335 | 11 | 21 875.89/876.23 c 876s | 21 | 3537887 | 1365945 | 9786 335 | 11 | 21 877.89/878.28 c 878s | 21 | 3545873 | 1368945 | 9786 336 | 11 | 21 879.99/880.33 c 880s | 21 | 3553584 | 1372145 | 9786 336 | 11 | 21 882.29/882.63 c 882s | 21 | 3560549 | 1375145 | 9786 337 | 11 | 21 884.29/884.68 c 884s | 21 | 3567146 | 1377645 | 9786 338 | 11 | 21 886.40/886.74 c 886s | 21 | 3575321 | 1380545 | 9786 338 | 11 | 21 888.39/888.75 c 888s | 21 | 3582403 | 1383245 | 9786 339 | 11 | 21 890.39/890.75 c 890s | 21 | 3590613 | 1386245 | 9786 339 | 11 | 21 892.49/892.80 c 892s | 21 | 3599007 | 1389145 | 9786 340 | 11 | 21 894.49/894.81 c 894s | 21 | 3606516 | 1392045 | 9786 340 | 11 | 21 896.49/896.85 c 896s | 21 | 3615121 | 1395045 | 9786 341 | 11 | 21 898.59/898.91 c 898s | 21 | 3623176 | 1398145 | 9786 342 | 11 | 21 900.59/900.93 c 900s | 21 | 3631307 | 1401245 | 9786 342 | 11 | 21 902.59/902.95 c 902s | 21 | 3639395 | 1404445 | 9786 343 | 11 | 21 904.59/904.96 c 904s | 21 | 3647797 | 1407745 | 9786 343 | 11 | 21 906.58/906.97 c 906s | 21 | 3653944 | 1410445 | 9786 344 | 11 | 21 908.58/908.99 c 908s | 21 | 3662154 | 1413645 | 9786 345 | 11 | 21 910.68/911.01 c 910s | 21 | 3670392 | 1416745 | 9786 345 | 11 | 21 912.69/913.05 c 912s | 21 | 3678720 | 1419845 | 9786 346 | 11 | 21 914.68/915.08 c 914s | 21 | 3687321 | 1422845 | 9786 346 | 11 | 21 916.78/917.14 c 917s | 21 | 3695568 | 1426045 | 9786 347 | 11 | 21 918.78/919.14 c 919s | 21 | 3703440 | 1429045 | 9786 348 | 11 | 21 920.78/921.18 c 921s | 21 | 3711449 | 1432245 | 9786 348 | 11 | 21 922.88/923.20 c 923s | 21 | 3719848 | 1435545 | 9786 349 | 11 | 21 924.89/925.21 c 925s | 21 | 3727814 | 1438745 | 9786 350 | 11 | 21 926.88/927.26 c 927s | 21 | 3735797 | 1442145 | 9786 350 | 11 | 21 928.99/929.38 c 929s | 21 | 3743232 | 1445245 | 9786 351 | 11 | 21 930.99/931.39 c 931s | 21 | 3750083 | 1447945 | 9786 351 | 11 | 21 933.09/933.42 c 933s | 21 | 3758045 | 1450845 | 9786 352 | 11 | 21 935.09/935.44 c 935s | 21 | 3765686 | 1453645 | 9786 353 | 11 | 21 937.09/937.47 c 937s | 21 | 3773365 | 1456745 | 9786 353 | 11 | 21 939.09/939.48 c 939s | 21 | 3780871 | 1459745 | 9786 354 | 11 | 21 941.19/941.51 c 941s | 21 | 3788616 | 1462845 | 9786 354 | 11 | 21 943.19/943.52 c 943s | 21 | 3796582 | 1465945 | 9786 355 | 11 | 21 945.19/945.56 c 945s | 21 | 3804463 | 1469145 | 9786 356 | 11 | 21 947.19/947.59 c 947s | 21 | 3812748 | 1472545 | 9786 356 | 11 | 21 949.28/949.63 c 949s | 21 | 3819599 | 1475345 | 9786 357 | 11 | 21 951.29/951.67 c 951s | 21 | 3827790 | 1478345 | 9786 357 | 11 | 21 953.28/953.69 c 953s | 21 | 3835298 | 1481445 | 9786 358 | 11 | 21 955.38/955.76 c 955s | 21 | 3842838 | 1484445 | 9786 359 | 11 | 21 957.38/957.77 c 957s | 21 | 3850904 | 1487445 | 9786 359 | 11 | 21 959.48/959.83 c 959s | 21 | 3858745 | 1490545 | 10765 360 | 11 | 21 961.48/961.84 c 961s | 21 | 3866452 | 1493645 | 10765 360 | 11 | 21 963.48/963.87 c 963s | 21 | 3873226 | 1496345 | 10765 361 | 11 | 21 965.49/965.90 c 965s | 21 | 3880515 | 1499345 | 10765 361 | 11 | 21 966.48/966.82 c 966s | 22 | 3884174 | 1500622 | 10765 361 | 11 | 21 968.48/968.84 c 968s | 22 | 3891062 | 1503522 | 10765 362 | 11 | 21 970.48/970.89 c 970s | 22 | 3898351 | 1506222 | 10765 363 | 11 | 21 972.58/972.90 c 972s | 22 | 3906464 | 1509222 | 10765 363 | 11 | 21 974.58/974.94 c 974s | 22 | 3914831 | 1512322 | 10765 364 | 11 | 21 976.59/976.95 c 976s | 22 | 3922751 | 1515222 | 10765 364 | 11 | 21 978.69/979.01 c 978s | 22 | 3930510 | 1518122 | 10765 365 | 11 | 21 980.68/981.04 c 980s | 22 | 3938731 | 1521322 | 10765 365 | 11 | 21 982.68/983.08 c 982s | 22 | 3946455 | 1524222 | 10765 366 | 11 | 21 984.78/985.14 c 985s | 22 | 3954715 | 1527322 | 10765 366 | 11 | 21 986.78/987.18 c 987s | 22 | 3963192 | 1530422 | 10765 367 | 11 | 21 988.88/989.24 c 989s | 22 | 3972086 | 1533522 | 10765 367 | 11 | 21 990.88/991.28 c 991s | 22 | 3980327 | 1536622 | 10765 368 | 11 | 21 992.88/993.30 c 993s | 22 | 3988306 | 1539622 | 10765 369 | 11 | 21 994.98/995.32 c 995s | 22 | 3996901 | 1542822 | 10765 369 | 11 | 21 996.98/997.36 c 997s | 22 | 4004144 | 1545722 | 10765 370 | 11 | 21 999.07/999.42 c 999s | 22 | 4013043 | 1549022 | 10765 370 | 11 | 21 1001.07/1001.46 c 1001s | 22 | 4020671 | 1552222 | 10765 371 | 11 | 21 1003.07/1003.47 c 1003s | 22 | 4028945 | 1555522 | 10765 371 | 11 | 21 1005.18/1005.52 c 1005s | 22 | 4034433 | 1557622 | 10765 372 | 11 | 21 1007.17/1007.59 c 1007s | 22 | 4043092 | 1560822 | 10765 372 | 11 | 21 1009.27/1009.63 c 1009s | 22 | 4051089 | 1563822 | 10765 373 | 11 | 21 1011.27/1011.66 c 1011s | 22 | 4059202 | 1566922 | 10765 373 | 11 | 21 1013.27/1013.68 c 1013s | 22 | 4067003 | 1569922 | 10765 374 | 11 | 21 1015.27/1015.69 c 1015s | 22 | 4074490 | 1572922 | 10765 375 | 11 | 21 1017.37/1017.70 c 1017s | 22 | 4082339 | 1576122 | 10765 375 | 11 | 21 1019.38/1019.75 c 1019s | 22 | 4090955 | 1579322 | 10765 376 | 11 | 21 1021.37/1021.77 c 1021s | 22 | 4099434 | 1582622 | 10765 376 | 11 | 21 1023.37/1023.78 c 1023s | 22 | 4107092 | 1585722 | 10765 377 | 11 | 21 1025.37/1025.78 c 1025s | 22 | 4113156 | 1588122 | 10765 377 | 11 | 21 1027.47/1027.84 c 1027s | 22 | 4120625 | 1590922 | 10765 378 | 11 | 21 1029.47/1029.88 c 1029s | 22 | 4128788 | 1593922 | 10765 378 | 11 | 21 1031.58/1031.95 c 1031s | 22 | 4136681 | 1596822 | 10765 379 | 11 | 21 1033.57/1034.00 c 1033s | 22 | 4143905 | 1599822 | 10765 379 | 11 | 21 1035.67/1036.03 c 1035s | 22 | 4152109 | 1602822 | 10765 380 | 11 | 21 1037.67/1038.07 c 1037s | 22 | 4159538 | 1605822 | 10765 380 | 11 | 21 1039.67/1040.07 c 1039s | 22 | 4167498 | 1608922 | 10765 381 | 11 | 21 1041.67/1042.09 c 1041s | 22 | 4175903 | 1611922 | 10765 382 | 11 | 21 1043.77/1044.10 c 1043s | 22 | 4183725 | 1615222 | 10765 382 | 11 | 21 1045.77/1046.13 c 1046s | 22 | 4191935 | 1618522 | 10765 383 | 11 | 21 1047.76/1048.19 c 1048s | 22 | 4198171 | 1620922 | 10765 383 | 11 | 21 1049.86/1050.24 c 1050s | 22 | 4206432 | 1624022 | 10765 384 | 11 | 21 1051.86/1052.29 c 1052s | 22 | 4215026 | 1627222 | 10765 384 | 11 | 21 1053.96/1054.34 c 1054s | 22 | 4223196 | 1630222 | 10765 385 | 11 | 21 1055.96/1056.38 c 1056s | 22 | 4231334 | 1633222 | 10765 385 | 11 | 21 1058.06/1058.41 c 1058s | 22 | 4239610 | 1636222 | 10765 386 | 11 | 21 1060.07/1060.48 c 1060s | 22 | 4248235 | 1639422 | 10765 387 | 11 | 21 1062.16/1062.53 c 1062s | 22 | 4256911 | 1642722 | 10765 387 | 11 | 21 1064.16/1064.54 c 1064s | 22 | 4263397 | 1645322 | 10765 388 | 11 | 21 1066.26/1066.60 c 1066s | 22 | 4270494 | 1648322 | 10765 388 | 11 | 21 1068.26/1068.65 c 1068s | 22 | 4278217 | 1651222 | 10765 389 | 11 | 21 1070.26/1070.68 c 1070s | 22 | 4285581 | 1654222 | 10765 389 | 11 | 21 1072.27/1072.69 c 1072s | 22 | 4292741 | 1657022 | 10765 390 | 11 | 21 1074.37/1074.72 c 1074s | 22 | 4301496 | 1660222 | 10765 390 | 11 | 21 1076.37/1076.77 c 1076s | 22 | 4310156 | 1663322 | 10765 391 | 11 | 21 1078.47/1078.82 c 1078s | 22 | 4319007 | 1666722 | 10765 391 | 11 | 21 1080.47/1080.86 c 1080s | 22 | 4326232 | 1669422 | 10765 392 | 11 | 21 1082.47/1082.88 c 1082s | 22 | 4333701 | 1672322 | 10765 392 | 11 | 21 1084.47/1084.89 c 1084s | 22 | 4341441 | 1675322 | 10765 393 | 11 | 21 1086.57/1086.93 c 1086s | 22 | 4349214 | 1678322 | 10765 393 | 11 | 21 1088.56/1088.93 c 1088s | 22 | 4357366 | 1681322 | 10765 394 | 11 | 21 1090.56/1090.99 c 1090s | 22 | 4365669 | 1684522 | 10765 395 | 11 | 21 1092.66/1093.05 c 1092s | 22 | 4373217 | 1687622 | 10765 395 | 11 | 21 1094.66/1095.07 c 1094s | 22 | 4381580 | 1690822 | 10765 396 | 11 | 21 1096.66/1097.08 c 1096s | 22 | 4389498 | 1694022 | 10765 396 | 11 | 21 1098.67/1099.08 c 1098s | 22 | 4396742 | 1696622 | 10765 397 | 11 | 21 1100.77/1101.10 c 1100s | 22 | 4405162 | 1699722 | 10765 397 | 11 | 21 1102.76/1103.15 c 1103s | 22 | 4414362 | 1702822 | 10765 398 | 11 | 21 1104.76/1105.19 c 1105s | 22 | 4422452 | 1705822 | 10765 398 | 11 | 21 1106.86/1107.21 c 1107s | 22 | 4430785 | 1709022 | 10765 399 | 11 | 21 1108.86/1109.24 c 1109s | 22 | 4439185 | 1712122 | 10765 400 | 11 | 21 1110.86/1111.27 c 1111s | 22 | 4448174 | 1715622 | 10765 400 | 11 | 21 1112.87/1113.27 c 1113s | 22 | 4454708 | 1718322 | 10765 401 | 11 | 21 1114.96/1115.30 c 1115s | 22 | 4462638 | 1721422 | 10765 401 | 11 | 21 1116.96/1117.30 c 1117s | 22 | 4470037 | 1724322 | 10765 402 | 11 | 21 1118.96/1119.31 c 1119s | 22 | 4477162 | 1727222 | 10765 402 | 11 | 21 1120.96/1121.35 c 1121s | 22 | 4485703 | 1730322 | 10765 403 | 11 | 21 1122.96/1123.37 c 1123s | 22 | 4494082 | 1733522 | 10765 403 | 11 | 21 1125.07/1125.41 c 1125s | 22 | 4501847 | 1736622 | 10765 404 | 11 | 21 1127.06/1127.46 c 1127s | 22 | 4509818 | 1739822 | 10765 405 | 11 | 21 1129.06/1129.47 c 1129s | 22 | 4518389 | 1743122 | 10765 405 | 11 | 21 1131.16/1131.52 c 1131s | 22 | 4526505 | 1746422 | 10765 406 | 11 | 21 1133.16/1133.55 c 1133s | 22 | 4534674 | 1749822 | 10765 406 | 11 | 21 1135.16/1135.58 c 1135s | 22 | 4540976 | 1752322 | 10765 407 | 11 | 21 1137.26/1137.61 c 1137s | 22 | 4548025 | 1755222 | 10765 407 | 11 | 21 1139.26/1139.64 c 1139s | 22 | 4556321 | 1758422 | 10765 408 | 11 | 21 1141.25/1141.67 c 1141s | 22 | 4564150 | 1761622 | 10765 408 | 11 | 21 1143.25/1143.69 c 1143s | 22 | 4572792 | 1764922 | 10765 409 | 11 | 21 1145.35/1145.70 c 1145s | 22 | 4579829 | 1767622 | 10765 410 | 11 | 21 1147.35/1147.73 c 1147s | 22 | 4587447 | 1770622 | 10765 410 | 11 | 21 1149.35/1149.77 c 1149s | 22 | 4595105 | 1773622 | 10765 411 | 11 | 21 1151.46/1151.81 c 1151s | 22 | 4603709 | 1776722 | 10765 411 | 11 | 21 1153.45/1153.82 c 1153s | 22 | 4611895 | 1779922 | 10765 412 | 11 | 21 1155.45/1155.86 c 1155s | 22 | 4619245 | 1782722 | 10765 412 | 11 | 21 1157.55/1157.92 c 1157s | 22 | 4627375 | 1785822 | 10765 413 | 11 | 21 1159.55/1159.93 c 1159s | 22 | 4635741 | 1789022 | 10765 413 | 11 | 21 1161.55/1161.95 c 1161s | 22 | 4643913 | 1792222 | 10765 414 | 11 | 21 1163.65/1164.09 c 1163s | 22 | 4651224 | 1795322 | 10765 415 | 11 | 21 1165.65/1166.10 c 1165s | 22 | 4659417 | 1798422 | 10765 415 | 11 | 21 1167.75/1168.12 c 1168s | 22 | 4667435 | 1801522 | 10765 416 | 11 | 21 1169.75/1170.15 c 1170s | 22 | 4676216 | 1804722 | 10765 416 | 11 | 21 1171.85/1172.24 c 1172s | 22 | 4684760 | 1808222 | 10765 417 | 11 | 21 1173.85/1174.30 c 1174s | 22 | 4692407 | 1811222 | 10765 417 | 11 | 21 1175.95/1176.31 c 1176s | 22 | 4700620 | 1814322 | 10765 418 | 11 | 21 1177.95/1178.38 c 1178s | 22 | 4709406 | 1817622 | 10765 419 | 11 | 21 1179.95/1180.39 c 1180s | 22 | 4716696 | 1820622 | 10765 419 | 11 | 21 1182.05/1182.42 c 1182s | 22 | 4724833 | 1823722 | 10765 420 | 11 | 21 1184.05/1184.43 c 1184s | 22 | 4733256 | 1827122 | 10765 420 | 11 | 21 1186.04/1186.49 c 1186s | 22 | 4741627 | 1830422 | 10765 421 | 11 | 21 1188.04/1188.49 c 1188s | 22 | 4749442 | 1833522 | 10765 421 | 11 | 21 1190.14/1190.50 c 1190s | 22 | 4757787 | 1836822 | 10765 422 | 11 | 21 1192.15/1192.56 c 1192s | 22 | 4765992 | 1839922 | 10765 423 | 11 | 21 1194.14/1194.59 c 1194s | 22 | 4774985 | 1843322 | 10765 423 | 11 | 21 1196.24/1196.62 c 1196s | 22 | 4782803 | 1846522 | 10765 424 | 11 | 21 1198.24/1198.64 c 1198s | 22 | 4790738 | 1849822 | 10765 424 | 11 | 21 1200.34/1200.70 c 1200s | 22 | 4798741 | 1853122 | 10765 425 | 11 | 21 1202.34/1202.72 c 1202s | 22 | 4806973 | 1856222 | 10765 425 | 11 | 21 1204.34/1204.77 c 1204s | 22 | 4815138 | 1859722 | 10765 426 | 11 | 21 1206.45/1206.81 c 1206s | 22 | 4823177 | 1862922 | 10765 427 | 11 | 21 1208.44/1208.84 c 1208s | 22 | 4831443 | 1866322 | 10765 427 | 11 | 21 1210.44/1210.86 c 1210s | 22 | 4839349 | 1869722 | 10765 428 | 11 | 21 1212.44/1212.87 c 1212s | 22 | 4847186 | 1873222 | 10765 428 | 11 | 21 1214.54/1214.91 c 1214s | 22 | 4855172 | 1876322 | 10765 429 | 11 | 21 1216.64/1217.01 c 1216s | 22 | 4857275 | 1877122 | 10765 429 | 11 | 21 1218.64/1219.01 c 1218s | 22 | 4864486 | 1879622 | 10765 430 | 11 | 21 1220.65/1221.01 c 1220s | 22 | 4873091 | 1882622 | 10765 430 | 11 | 21 1222.64/1223.05 c 1222s | 22 | 4879967 | 1885422 | 10765 431 | 11 | 21 1224.64/1225.09 c 1224s | 22 | 4888782 | 1888622 | 10765 431 | 11 | 21 1226.74/1227.13 c 1227s | 22 | 4896361 | 1891522 | 10765 432 | 11 | 21 1228.74/1229.19 c 1229s | 22 | 4904477 | 1894422 | 10765 432 | 11 | 21 1230.84/1231.22 c 1231s | 22 | 4911590 | 1897322 | 10765 433 | 11 | 21 1232.85/1233.27 c 1233s | 22 | 4919781 | 1900422 | 10765 433 | 11 | 21 1234.95/1235.34 c 1235s | 22 | 4928159 | 1903622 | 10765 434 | 11 | 21 1236.94/1237.35 c 1237s | 22 | 4935801 | 1906622 | 10765 434 | 11 | 21 1239.04/1239.40 c 1239s | 22 | 4944189 | 1909822 | 10765 435 | 11 | 21 1241.04/1241.42 c 1241s | 22 | 4951893 | 1912822 | 10765 436 | 11 | 21 1243.04/1243.46 c 1243s | 22 | 4960425 | 1916122 | 10765 436 | 11 | 21 1245.04/1245.49 c 1245s | 22 | 4968341 | 1919222 | 10765 437 | 11 | 21 1247.14/1247.50 c 1247s | 22 | 4975817 | 1922422 | 10765 437 | 11 | 21 1249.24/1249.63 c 1249s | 22 | 4980996 | 1924622 | 10765 438 | 11 | 21 1251.24/1251.70 c 1251s | 22 | 4988619 | 1927622 | 10765 438 | 11 | 21 1253.34/1253.73 c 1253s | 22 | 4997177 | 1930722 | 10765 439 | 11 | 21 1255.34/1255.75 c 1255s | 22 | 5005047 | 1933722 | 10765 439 | 11 | 21 1257.34/1257.79 c 1257s | 22 | 5013307 | 1936822 | 10765 440 | 11 | 21 1259.34/1259.79 c 1259s | 22 | 5021134 | 1939822 | 10765 440 | 11 | 21 1261.44/1261.82 c 1261s | 22 | 5028845 | 1942822 | 10765 441 | 11 | 21 1263.43/1263.88 c 1263s | 22 | 5036699 | 1945822 | 10765 442 | 11 | 21 1265.53/1265.92 c 1265s | 22 | 5045827 | 1949122 | 10765 442 | 11 | 21 1267.53/1267.96 c 1267s | 22 | 5054088 | 1952222 | 10765 443 | 11 | 21 1269.73/1270.16 c 1270s | 22 | 5062285 | 1955622 | 10765 443 | 11 | 21 1271.83/1272.21 c 1272s | 22 | 5068742 | 1958122 | 10765 444 | 11 | 21 1273.83/1274.27 c 1274s | 22 | 5076049 | 1961122 | 10765 444 | 11 | 21 1275.93/1276.31 c 1276s | 22 | 5084472 | 1964222 | 10765 445 | 11 | 21 1277.94/1278.32 c 1278s | 22 | 5092792 | 1967322 | 10765 445 | 11 | 21 1279.93/1280.36 c 1280s | 22 | 5101305 | 1970422 | 10765 446 | 11 | 21 1282.03/1282.41 c 1282s | 22 | 5108589 | 1973422 | 10765 447 | 11 | 21 1284.03/1284.44 c 1284s | 22 | 5116379 | 1976622 | 10765 447 | 11 | 21 1286.03/1286.47 c 1286s | 22 | 5124606 | 1979822 | 10765 448 | 11 | 21 1288.03/1288.47 c 1288s | 22 | 5132300 | 1982922 | 10765 448 | 11 | 21 1290.13/1290.53 c 1290s | 22 | 5140408 | 1986222 | 10765 449 | 11 | 21 1292.14/1292.56 c 1292s | 22 | 5147432 | 1989022 | 10765 449 | 11 | 21 1294.23/1294.62 c 1294s | 22 | 5154249 | 1991722 | 10765 450 | 11 | 21 1296.23/1296.69 c 1296s | 22 | 5161561 | 1994522 | 10765 450 | 11 | 21 1298.33/1298.75 c 1298s | 22 | 5169316 | 1997522 | 10765 451 | 11 | 21 1300.43/1300.83 c 1300s | 22 | 5177258 | 2000522 | 10765 451 | 11 | 21 1302.43/1302.85 c 1302s | 22 | 5185166 | 2003622 | 10765 452 | 11 | 21 1304.53/1304.94 c 1304s | 22 | 5192208 | 2006622 | 10765 453 | 11 | 21 1306.53/1306.96 c 1306s | 22 | 5200214 | 2009922 | 10765 453 | 11 | 21 1308.63/1309.01 c 1308s | 22 | 5208096 | 2013022 | 10765 454 | 11 | 21 1310.62/1311.07 c 1310s | 22 | 5216541 | 2016422 | 10765 454 | 11 | 21 1312.72/1313.13 c 1313s | 22 | 5222082 | 2018822 | 10765 455 | 11 | 21 1314.72/1315.16 c 1315s | 22 | 5230172 | 2021922 | 10765 455 | 11 | 21 1316.72/1317.17 c 1317s | 22 | 5237578 | 2024822 | 10765 456 | 11 | 21 1318.82/1319.20 c 1319s | 22 | 5244684 | 2027722 | 10765 456 | 11 | 21 1320.73/1321.20 c 1321s | 22 | 5252313 | 2030722 | 10765 457 | 11 | 21 1322.82/1323.22 c 1323s | 22 | 5259935 | 2033722 | 10765 457 | 11 | 21 1324.82/1325.27 c 1325s | 22 | 5266967 | 2036622 | 10765 458 | 11 | 21 1326.82/1327.30 c 1327s | 22 | 5274311 | 2039222 | 10765 458 | 11 | 21 1328.92/1329.34 c 1329s | 22 | 5282687 | 2042122 | 10765 459 | 11 | 21 1330.92/1331.38 c 1331s | 22 | 5290853 | 2044922 | 10765 459 | 11 | 21 1332.93/1333.38 c 1333s | 22 | 5299053 | 2047922 | 10765 460 | 11 | 21 1335.03/1335.44 c 1335s | 22 | 5306962 | 2051122 | 10765 461 | 11 | 21 1337.02/1337.49 c 1337s | 22 | 5314094 | 2053922 | 10765 461 | 11 | 21 1339.12/1339.54 c 1339s | 22 | 5321810 | 2056922 | 10765 462 | 11 | 21 1341.12/1341.58 c 1341s | 22 | 5328438 | 2059822 | 10765 462 | 11 | 21 1343.12/1343.59 c 1343s | 22 | 5335501 | 2062622 | 10765 463 | 11 | 21 1345.22/1345.60 c 1345s | 22 | 5343392 | 2065722 | 10765 463 | 11 | 21 1347.23/1347.61 c 1347s | 22 | 5350433 | 2068422 | 10765 464 | 11 | 21 1349.22/1349.63 c 1349s | 22 | 5357925 | 2071322 | 10765 464 | 11 | 21 1351.22/1351.64 c 1351s | 22 | 5365564 | 2074222 | 10765 465 | 11 | 21 1353.22/1353.68 c 1353s | 22 | 5374125 | 2077322 | 10765 465 | 11 | 21 1355.32/1355.71 c 1355s | 22 | 5381429 | 2080222 | 10765 466 | 11 | 21 1357.32/1357.72 c 1357s | 22 | 5388325 | 2082922 | 10765 466 | 11 | 21 1359.32/1359.76 c 1359s | 22 | 5395617 | 2086022 | 10765 467 | 11 | 21 1361.42/1361.80 c 1361s | 22 | 5403443 | 2089122 | 10765 467 | 11 | 21 1363.41/1363.86 c 1363s | 22 | 5411199 | 2092322 | 10765 468 | 11 | 21 1365.41/1365.88 c 1365s | 22 | 5418950 | 2095422 | 10765 469 | 11 | 21 1367.51/1367.91 c 1367s | 22 | 5426486 | 2098322 | 10765 469 | 11 | 21 1369.51/1369.94 c 1369s | 22 | 5433236 | 2101122 | 10765 470 | 11 | 21 1371.51/1371.97 c 1371s | 22 | 5441173 | 2104322 | 10765 470 | 11 | 21 1373.52/1373.99 c 1373s | 22 | 5449592 | 2107622 | 10765 471 | 11 | 21 1375.61/1376.06 c 1375s | 22 | 5457797 | 2110922 | 10765 471 | 11 | 21 1377.61/1378.08 c 1377s | 22 | 5464863 | 2113822 | 10765 472 | 11 | 21 1379.71/1380.11 c 1379s | 22 | 5472925 | 2116922 | 10765 472 | 11 | 21 1381.71/1382.13 c 1382s | 22 | 5480958 | 2120122 | 10765 473 | 11 | 21 1383.71/1384.16 c 1384s | 22 | 5488661 | 2123222 | 10765 474 | 11 | 21 1385.81/1386.20 c 1386s | 22 | 5496218 | 2126122 | 10765 474 | 11 | 21 1387.82/1388.24 c 1388s | 22 | 5503290 | 2128922 | 10765 475 | 11 | 21 1389.81/1390.28 c 1390s | 22 | 5511336 | 2132222 | 10765 475 | 11 | 21 1391.91/1392.30 c 1392s | 22 | 5517967 | 2135222 | 10765 476 | 11 | 21 1393.91/1394.34 c 1394s | 22 | 5525861 | 2138422 | 10765 476 | 11 | 21 1395.91/1396.35 c 1396s | 22 | 5533790 | 2141522 | 10765 477 | 11 | 21 1397.91/1398.38 c 1398s | 22 | 5541653 | 2144622 | 10765 477 | 11 | 21 1399.92/1400.38 c 1400s | 22 | 5549115 | 2147622 | 10765 478 | 11 | 21 1402.01/1402.42 c 1402s | 22 | 5556926 | 2150622 | 10765 478 | 11 | 21 1404.01/1404.46 c 1404s | 22 | 5564928 | 2153822 | 10765 479 | 11 | 21 1406.01/1406.49 c 1406s | 22 | 5572912 | 2156922 | 10765 480 | 11 | 21 1408.11/1408.55 c 1408s | 22 | 5581449 | 2160222 | 10765 480 | 11 | 21 1410.21/1410.60 c 1410s | 22 | 5589081 | 2163322 | 10765 481 | 11 | 21 1412.41/1412.84 c 1412s | 22 | 5595126 | 2165522 | 10765 481 | 11 | 21 1414.41/1414.88 c 1414s | 22 | 5601339 | 2167822 | 10765 482 | 11 | 21 1416.52/1416.92 c 1416s | 22 | 5609866 | 2170722 | 10765 482 | 11 | 21 1418.51/1418.97 c 1418s | 22 | 5617295 | 2173622 | 10765 483 | 11 | 21 1420.51/1421.00 c 1420s | 22 | 5625196 | 2176722 | 10765 483 | 11 | 21 1422.61/1423.06 c 1422s | 22 | 5633302 | 2179622 | 10765 484 | 11 | 21 1424.61/1425.09 c 1424s | 22 | 5640863 | 2182622 | 10765 484 | 11 | 21 1426.71/1427.15 c 1427s | 22 | 5648785 | 2185522 | 10765 485 | 11 | 21 1428.81/1429.20 c 1429s | 22 | 5657235 | 2188622 | 10765 485 | 11 | 21 1430.81/1431.22 c 1431s | 22 | 5665360 | 2191622 | 10765 486 | 11 | 21 1432.81/1433.28 c 1433s | 22 | 5673615 | 2194622 | 10765 486 | 11 | 21 1434.81/1435.28 c 1435s | 22 | 5682035 | 2197722 | 10765 487 | 11 | 21 1436.81/1437.28 c 1437s | 22 | 5689399 | 2200722 | 10765 487 | 11 | 21 1438.91/1439.31 c 1439s | 22 | 5697963 | 2203922 | 10765 488 | 11 | 21 1440.91/1441.34 c 1441s | 22 | 5706807 | 2207022 | 10765 489 | 11 | 21 1443.00/1443.43 c 1443s | 22 | 5713664 | 2209622 | 10765 489 | 11 | 21 1445.01/1445.45 c 1445s | 22 | 5721299 | 2212322 | 10765 490 | 11 | 21 1447.00/1447.49 c 1447s | 22 | 5729506 | 2215322 | 10765 490 | 11 | 21 1449.10/1449.52 c 1449s | 22 | 5738083 | 2218322 | 10765 491 | 11 | 21 1451.10/1451.53 c 1451s | 22 | 5746370 | 2221422 | 10765 491 | 11 | 21 1453.10/1453.53 c 1453s | 22 | 5754222 | 2224422 | 10765 492 | 11 | 21 1455.10/1455.59 c 1455s | 22 | 5762323 | 2227522 | 10765 492 | 11 | 21 1457.21/1457.64 c 1457s | 22 | 5771247 | 2230822 | 10765 493 | 11 | 21 1459.20/1459.68 c 1459s | 22 | 5779290 | 2233822 | 10765 493 | 11 | 21 1461.20/1461.68 c 1461s | 22 | 5787290 | 2237022 | 11842 494 | 11 | 21 1463.30/1463.70 c 1463s | 22 | 5795166 | 2240222 | 11842 494 | 11 | 21 1465.30/1465.74 c 1465s | 22 | 5800806 | 2242522 | 11842 495 | 11 | 21 1467.40/1467.80 c 1467s | 22 | 5808279 | 2245322 | 11842 495 | 11 | 21 1469.40/1469.82 c 1469s | 22 | 5816347 | 2248122 | 11842 496 | 11 | 21 1471.40/1471.88 c 1471s | 22 | 5823924 | 2250922 | 11842 496 | 11 | 21 1471.51/1471.97 c 1471s | 23 | 5824242 | 2251038 | 11842 496 | 11 | 21 1473.60/1474.07 c 1473s | 23 | 5831553 | 2253438 | 11842 497 | 11 | 21 1475.71/1476.12 c 1476s | 23 | 5839158 | 2256338 | 11842 497 | 11 | 21 1477.71/1478.15 c 1478s | 23 | 5845915 | 2259038 | 11842 498 | 11 | 21 1479.81/1480.21 c 1480s | 23 | 5854219 | 2262138 | 11842 498 | 11 | 21 1481.80/1482.25 c 1482s | 23 | 5861620 | 2264938 | 11842 498 | 11 | 21 1483.90/1484.30 c 1484s | 23 | 5869216 | 2267738 | 11842 499 | 11 | 21 1485.90/1486.32 c 1486s | 23 | 5876998 | 2270638 | 11842 499 | 11 | 21 1487.91/1488.33 c 1488s | 23 | 5885057 | 2273538 | 11842 500 | 11 | 21 1489.90/1490.36 c 1490s | 23 | 5893107 | 2276538 | 11842 500 | 11 | 21 1491.90/1492.37 c 1492s | 23 | 5901472 | 2279438 | 11842 501 | 11 | 21 1494.00/1494.40 c 1494s | 23 | 5908931 | 2282438 | 11842 501 | 11 | 21 1496.00/1496.42 c 1496s | 23 | 5917288 | 2285338 | 11842 502 | 11 | 21 1498.00/1498.49 c 1498s | 23 | 5925888 | 2288438 | 11842 502 | 11 | 21 1500.11/1500.53 c 1500s | 23 | 5933331 | 2291438 | 11842 503 | 11 | 21 1502.10/1502.57 c 1502s | 23 | 5941332 | 2294638 | 11842 503 | 11 | 21 1504.20/1504.61 c 1504s | 23 | 5948953 | 2297938 | 11842 504 | 11 | 21 1506.30/1506.71 c 1506s | 23 | 5954446 | 2300138 | 11842 504 | 11 | 21 1508.30/1508.71 c 1508s | 23 | 5961996 | 2302838 | 11842 505 | 11 | 21 1510.30/1510.76 c 1510s | 23 | 5971089 | 2306038 | 11842 505 | 11 | 21 1512.30/1512.79 c 1512s | 23 | 5980207 | 2309138 | 11842 506 | 11 | 21 1514.40/1514.81 c 1514s | 23 | 5987741 | 2311938 | 11842 506 | 11 | 21 1516.40/1516.88 c 1516s | 23 | 5996002 | 2314938 | 11842 507 | 11 | 21 1518.40/1518.89 c 1518s | 23 | 6003826 | 2317938 | 11842 507 | 11 | 21 1520.50/1520.91 c 1520s | 23 | 6011202 | 2320538 | 11842 508 | 11 | 21 1522.50/1522.91 c 1522s | 23 | 6019247 | 2323638 | 11842 508 | 11 | 21 1524.50/1524.98 c 1524s | 23 | 6026956 | 2326838 | 11842 509 | 11 | 21 1526.50/1526.99 c 1526s | 23 | 6035095 | 2329838 | 11842 509 | 11 | 21 1528.60/1529.03 c 1528s | 23 | 6042367 | 2332638 | 11842 510 | 11 | 21 1530.59/1531.06 c 1530s | 23 | 6050398 | 2335838 | 11842 510 | 11 | 21 1532.59/1533.06 c 1532s | 23 | 6057969 | 2338738 | 11842 511 | 11 | 21 1534.69/1535.11 c 1534s | 23 | 6066247 | 2342038 | 11842 511 | 11 | 21 1536.69/1537.17 c 1537s | 23 | 6073474 | 2344838 | 11842 512 | 11 | 21 1538.69/1539.18 c 1539s | 23 | 6081665 | 2347938 | 11842 512 | 11 | 21 1540.80/1541.21 c 1541s | 23 | 6089300 | 2350838 | 11842 513 | 11 | 21 1542.79/1543.22 c 1543s | 23 | 6097563 | 2354038 | 11842 513 | 11 | 21 1544.79/1545.28 c 1545s | 23 | 6105411 | 2357238 | 11842 514 | 11 | 21 1546.89/1547.31 c 1547s | 23 | 6113715 | 2360738 | 11842 514 | 11 | 21 1549.09/1549.51 c 1549s | 23 | 6117859 | 2362338 | 11842 514 | 11 | 21 1551.09/1551.57 c 1551s | 23 | 6125871 | 2365138 | 11842 515 | 11 | 21 1553.19/1553.60 c 1553s | 23 | 6134700 | 2368238 | 11842 515 | 11 | 21 1555.19/1555.60 c 1555s | 23 | 6142109 | 2371138 | 11842 516 | 11 | 21 1557.20/1557.67 c 1557s | 23 | 6150351 | 2374138 | 11842 516 | 11 | 21 1559.29/1559.71 c 1559s | 23 | 6157870 | 2377038 | 11842 517 | 11 | 21 1561.29/1561.71 c 1561s | 23 | 6165280 | 2379838 | 11842 517 | 11 | 21 1563.29/1563.79 c 1563s | 23 | 6174066 | 2382838 | 11842 518 | 11 | 21 1565.39/1565.81 c 1565s | 23 | 6182283 | 2385738 | 11842 518 | 11 | 21 1567.39/1567.82 c 1567s | 23 | 6190744 | 2388538 | 11842 519 | 11 | 21 1569.40/1569.86 c 1569s | 23 | 6198944 | 2391638 | 11842 519 | 11 | 21 1571.50/1571.91 c 1571s | 23 | 6207277 | 2394538 | 11842 520 | 11 | 21 1573.49/1573.93 c 1573s | 23 | 6215177 | 2397638 | 11842 520 | 11 | 21 1575.49/1575.93 c 1575s | 23 | 6222959 | 2400638 | 11842 521 | 11 | 21 1577.49/1577.95 c 1577s | 23 | 6231337 | 2403838 | 11842 521 | 11 | 21 1579.79/1580.23 c 1580s | 23 | 6239621 | 2407138 | 11842 522 | 11 | 21 1581.79/1582.29 c 1582s | 23 | 6245673 | 2409438 | 11842 522 | 11 | 21 1583.89/1584.33 c 1584s | 23 | 6253074 | 2412038 | 11842 523 | 11 | 21 1585.89/1586.33 c 1586s | 23 | 6261290 | 2414938 | 11842 523 | 11 | 21 1587.89/1588.37 c 1588s | 23 | 6268834 | 2417738 | 11842 523 | 11 | 21 1589.89/1590.38 c 1590s | 23 | 6277374 | 2420838 | 11842 524 | 11 | 21 1591.89/1592.39 c 1592s | 23 | 6284581 | 2423538 | 11842 524 | 11 | 21 1593.98/1594.41 c 1594s | 23 | 6292827 | 2426538 | 11842 525 | 11 | 21 1595.98/1596.41 c 1596s | 23 | 6300176 | 2429238 | 11842 525 | 11 | 21 1597.99/1598.45 c 1598s | 23 | 6307857 | 2432238 | 11842 526 | 11 | 21 1600.09/1600.52 c 1600s | 23 | 6316059 | 2435238 | 11842 526 | 11 | 21 1602.08/1602.58 c 1602s | 23 | 6324651 | 2438338 | 11842 527 | 11 | 21 1604.08/1604.58 c 1604s | 23 | 6332555 | 2441338 | 11842 527 | 11 | 21 1606.18/1606.61 c 1606s | 23 | 6340607 | 2444438 | 11842 528 | 11 | 21 1608.38/1608.90 c 1608s | 23 | 6348949 | 2447438 | 11842 528 | 11 | 21 1610.48/1610.91 c 1610s | 23 | 6354591 | 2449638 | 11842 529 | 11 | 21 1612.48/1612.96 c 1612s | 23 | 6362348 | 2452538 | 11842 529 | 11 | 21 1614.58/1615.01 c 1614s | 23 | 6369627 | 2455438 | 11842 530 | 11 | 21 1616.59/1617.04 c 1616s | 23 | 6377269 | 2458338 | 11842 530 | 11 | 21 1618.68/1619.10 c 1618s | 23 | 6384651 | 2461238 | 11842 531 | 11 | 21 1620.68/1621.17 c 1621s | 23 | 6392690 | 2464338 | 11842 531 | 11 | 21 1622.78/1623.22 c 1623s | 23 | 6400478 | 2467338 | 11842 532 | 11 | 21 1624.78/1625.24 c 1625s | 23 | 6408096 | 2470238 | 11842 532 | 11 | 21 1626.78/1627.29 c 1627s | 23 | 6416019 | 2473338 | 11842 533 | 11 | 21 1628.88/1629.30 c 1629s | 23 | 6423939 | 2476338 | 11842 533 | 11 | 21 1630.88/1631.34 c 1631s | 23 | 6431352 | 2479238 | 11842 534 | 11 | 21 1632.88/1633.39 c 1633s | 23 | 6439550 | 2482438 | 11842 534 | 11 | 21 1634.98/1635.45 c 1635s | 23 | 6447401 | 2485438 | 11842 535 | 11 | 21 1636.98/1637.48 c 1637s | 23 | 6455969 | 2488738 | 11842 535 | 11 | 21 1639.07/1639.51 c 1639s | 23 | 6464752 | 2492038 | 11842 536 | 11 | 21 1641.07/1641.55 c 1641s | 23 | 6473323 | 2495438 | 11842 536 | 11 | 21 1643.08/1643.57 c 1643s | 23 | 6481626 | 2498738 | 11842 537 | 11 | 21 1645.07/1645.58 c 1645s | 23 | 6489160 | 2501738 | 11842 537 | 11 | 21 1647.17/1647.61 c 1647s | 23 | 6494477 | 2503638 | 11842 538 | 11 | 21 1649.17/1649.64 c 1649s | 23 | 6502567 | 2506538 | 11842 538 | 11 | 21 1651.17/1651.69 c 1651s | 23 | 6509967 | 2509338 | 11842 538 | 11 | 21 1653.27/1653.75 c 1653s | 23 | 6517942 | 2512338 | 11842 539 | 11 | 21 1655.27/1655.76 c 1655s | 23 | 6525673 | 2515138 | 11842 539 | 11 | 21 1657.28/1657.80 c 1657s | 23 | 6533755 | 2518138 | 11842 540 | 11 | 21 1659.37/1659.84 c 1659s | 23 | 6541756 | 2521138 | 11842 540 | 11 | 21 1661.37/1661.85 c 1661s | 23 | 6549721 | 2524238 | 11842 541 | 11 | 21 1663.37/1663.86 c 1663s | 23 | 6557784 | 2527338 | 11842 541 | 11 | 21 1665.47/1665.90 c 1665s | 23 | 6566566 | 2530638 | 11842 542 | 11 | 21 1667.47/1667.99 c 1667s | 23 | 6574641 | 2533538 | 11842 542 | 11 | 21 1669.48/1670.00 c 1669s | 23 | 6581409 | 2536238 | 11842 543 | 11 | 21 1671.58/1672.02 c 1671s | 23 | 6588640 | 2539038 | 11842 543 | 11 | 21 1673.57/1674.09 c 1673s | 23 | 6596729 | 2541938 | 11842 544 | 11 | 21 1675.57/1676.09 c 1675s | 23 | 6604612 | 2545138 | 11842 544 | 11 | 21 1677.67/1678.11 c 1678s | 23 | 6612339 | 2547938 | 11842 545 | 11 | 21 1679.67/1680.12 c 1680s | 23 | 6619592 | 2550838 | 11842 545 | 11 | 21 1681.67/1682.13 c 1682s | 23 | 6626281 | 2553638 | 11842 546 | 11 | 21 1683.67/1684.16 c 1684s | 23 | 6633720 | 2556538 | 11842 546 | 11 | 21 1685.67/1686.17 c 1686s | 23 | 6641180 | 2559538 | 11842 547 | 11 | 21 1687.67/1688.18 c 1688s | 23 | 6649716 | 2562838 | 11842 547 | 11 | 21 1689.77/1690.23 c 1690s | 23 | 6658601 | 2566238 | 11842 548 | 11 | 21 1691.86/1692.30 c 1692s | 23 | 6664358 | 2568638 | 11842 548 | 11 | 21 1693.86/1694.32 c 1694s | 23 | 6671818 | 2571338 | 11842 549 | 11 | 21 1695.87/1696.38 c 1696s | 23 | 6680056 | 2574438 | 11842 549 | 11 | 21 1697.97/1698.42 c 1698s | 23 | 6688156 | 2577238 | 11842 550 | 11 | 21 1699.96/1700.49 c 1700s | 23 | 6696621 | 2580338 | 11842 550 | 11 | 21 1702.06/1702.52 c 1702s | 23 | 6704193 | 2583138 | 11842 551 | 11 | 21 1704.06/1704.53 c 1704s | 23 | 6713523 | 2586338 | 11842 551 | 11 | 21 1706.06/1706.55 c 1706s | 23 | 6721790 | 2589438 | 11842 552 | 11 | 21 1708.06/1708.56 c 1708s | 23 | 6729357 | 2592438 | 11842 552 | 11 | 21 1710.18/1710.61 c 1710s | 23 | 6736315 | 2595038 | 11842 552 | 11 | 21 1712.17/1712.67 c 1712s | 23 | 6743234 | 2597738 | 11842 553 | 11 | 21 1714.17/1714.68 c 1714s | 23 | 6750090 | 2600538 | 11842 553 | 11 | 21 1716.27/1716.72 c 1716s | 23 | 6758908 | 2603638 | 11842 554 | 11 | 21 1718.27/1718.79 c 1718s | 23 | 6766311 | 2606738 | 11842 554 | 11 | 21 1720.37/1720.84 c 1720s | 23 | 6774278 | 2609838 | 11842 555 | 11 | 21 1722.37/1722.87 c 1722s | 23 | 6781685 | 2612938 | 11842 555 | 11 | 21 1724.47/1724.93 c 1724s | 23 | 6789255 | 2616038 | 11842 556 | 11 | 21 1726.47/1726.99 c 1726s | 23 | 6797108 | 2619238 | 11842 556 | 11 | 21 1728.57/1729.02 c 1728s | 23 | 6805081 | 2622538 | 11842 557 | 11 | 21 1730.57/1731.05 c 1730s | 23 | 6811071 | 2625038 | 11842 557 | 11 | 21 1732.57/1733.06 c 1732s | 23 | 6817738 | 2627538 | 11842 558 | 11 | 21 1734.67/1735.11 c 1734s | 23 | 6825377 | 2630338 | 11842 558 | 11 | 21 1736.67/1737.15 c 1737s | 23 | 6832851 | 2633238 | 11842 559 | 11 | 21 1738.67/1739.19 c 1739s | 23 | 6840856 | 2636238 | 11842 559 | 11 | 21 1740.76/1741.20 c 1741s | 23 | 6848341 | 2638938 | 11842 560 | 11 | 21 1742.76/1743.21 c 1743s | 23 | 6856755 | 2642138 | 11842 560 | 11 | 21 1744.76/1745.27 c 1745s | 23 | 6864711 | 2645338 | 11842 561 | 11 | 21 1746.86/1747.33 c 1747s | 23 | 6873631 | 2648838 | 11842 561 | 11 | 21 1748.86/1749.36 c 1749s | 23 | 6879812 | 2651638 | 11842 562 | 11 | 21 1750.96/1751.41 c 1751s | 23 | 6887718 | 2654538 | 11842 562 | 11 | 21 1752.97/1753.42 c 1753s | 23 | 6895118 | 2657238 | 11842 563 | 11 | 21 1754.96/1755.46 c 1755s | 23 | 6903110 | 2660338 | 11842 563 | 11 | 21 1756.96/1757.47 c 1757s | 23 | 6911114 | 2663338 | 11842 564 | 11 | 21 1759.06/1759.51 c 1759s | 23 | 6920373 | 2666538 | 11842 564 | 11 | 21 1761.06/1761.55 c 1761s | 23 | 6927906 | 2669538 | 11842 565 | 11 | 21 1763.06/1763.59 c 1763s | 23 | 6936339 | 2672738 | 11842 565 | 11 | 21 1765.07/1765.60 c 1765s | 23 | 6944335 | 2675938 | 11842 566 | 11 | 21 1767.16/1767.65 c 1767s | 23 | 6952836 | 2679338 | 11842 566 | 11 | 21 1769.26/1769.75 c 1769s | 23 | 6959332 | 2681938 | 11842 567 | 11 | 21 1771.26/1771.78 c 1771s | 23 | 6966847 | 2684838 | 11842 567 | 11 | 21 1773.36/1773.83 c 1773s | 23 | 6974988 | 2687838 | 11842 568 | 11 | 21 1775.36/1775.89 c 1775s | 23 | 6983483 | 2691038 | 11842 568 | 11 | 21 1777.46/1777.90 c 1777s | 23 | 6991004 | 2694038 | 11842 569 | 11 | 21 1779.46/1779.95 c 1779s | 23 | 6999169 | 2697038 | 11842 569 | 11 | 21 1781.46/1781.97 c 1781s | 23 | 7006583 | 2699938 | 11842 570 | 11 | 21 1783.55/1784.07 c 1783s | 23 | 7014825 | 2703038 | 11842 570 | 11 | 21 1785.65/1786.10 c 1785s | 23 | 7022251 | 2705938 | 11842 571 | 11 | 21 1787.65/1788.10 c 1787s | 23 | 7030956 | 2709038 | 11842 571 | 11 | 21 1789.75/1790.22 c 1790s | 23 | 7038407 | 2711938 | 11842 572 | 11 | 21 1791.75/1792.28 c 1792s | 23 | 7046204 | 2714838 | 11842 572 | 11 | 21 1793.85/1794.36 c 1794s | 23 | 7053868 | 2717738 | 11842 572 | 11 | 21 1795.86/1796.39 c 1796s | 23 | 7062005 | 2720738 | 11842 573 | 11 | 21 1797.95/1798.40 c 1798s | 23 | 7070536 | 2723838 | 11842 573 | 11 | 21 1799.95/1800.42 c 1800s | 23 | 7078763 | 2726938 | 11842 574 | 11 | 21
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-4106607-1466274546/watcher-4106607-1466274546 -o /tmp/evaluation-result-4106607-1466274546/solver-4106607-1466274546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28141 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106607-1466274546.opb pid=28163 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.03 1.35 1.79 4/175 28170 /proc/meminfo: memFree=30172592/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=705980 CPUtime=0 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 2629 0 0 0 0 0 0 0 20 0 4 0 29500355 722923520 2480 33554432000 4194304 16246674 140733692406816 140733692406240 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 177007 2489 441 2943 0 173901 0 [pid=28170/tid=28171] ppid=28163 vsize=723388 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 740749312 2547 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=727484 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 744943616 2566 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=731580 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29500355 749137920 2582 33554432000 4194304 16246674 140733692406816 140493601098928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100155 s] /proc/loadavg: 1.03 1.35 1.79 4/175 28170 /proc/meminfo: memFree=30172592/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 24011 0 0 0 7 2 0 0 20 0 4 0 29500355 1247350784 23848 33554432000 4194304 16246674 140733692406816 140733692406240 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 304529 23856 785 2943 0 301423 0 [pid=28170/tid=28171] ppid=28163 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1247350784 23862 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1247350784 23867 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29500355 1247350784 23872 33554432000 4194304 16246674 140733692406816 140493601098928 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.200524 s] /proc/loadavg: 1.03 1.35 1.79 4/175 28170 /proc/meminfo: memFree=30172592/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 44105 0 0 0 14 4 0 0 20 0 4 0 29500355 1247350784 43943 33554432000 4194304 16246674 140733692406816 140733692388736 5523709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 304529 43956 786 2943 0 301423 0 [pid=28170/tid=28171] ppid=28163 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1247350784 43965 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1247350784 43973 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29500355 1247350784 43982 33554432000 4194304 16246674 140733692406816 140493601098928 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.300474 s] /proc/loadavg: 1.03 1.35 1.79 4/175 28170 /proc/meminfo: memFree=30172592/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 64243 0 0 0 22 7 0 0 20 0 4 0 29500355 1247350784 64080 33554432000 4194304 16246674 140733692406816 140733692388736 6844325 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 304529 64088 786 2943 0 301423 0 [pid=28170/tid=28171] ppid=28163 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1247350784 64096 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1247350784 64104 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29500355 1247350784 64112 33554432000 4194304 16246674 140733692406816 140493601098928 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.700374 s] /proc/loadavg: 1.03 1.35 1.79 4/175 28170 /proc/meminfo: memFree=30172592/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 143573 0 0 0 52 17 0 0 20 0 4 0 29500355 1247350784 143410 33554432000 4194304 16246674 140733692406816 140733692388736 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 304529 143416 786 2943 0 301423 0 [pid=28170/tid=28171] ppid=28163 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1247350784 143418 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1247350784 143421 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29500355 1247350784 143424 33554432000 4194304 16246674 140733692406816 140493601098928 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.50036 s] /proc/loadavg: 1.11 1.36 1.79 4/183 28178 /proc/meminfo: memFree=28887456/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1221188 CPUtime=1.49 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 246185 0 0 0 118 31 0 0 20 0 4 0 29500355 1250496512 246000 33554432000 4194304 16246674 140733692406816 140733692406128 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 305297 246000 844 2943 0 302191 0 [pid=28170/tid=28171] ppid=28163 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1250496512 246000 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1250496512 246000 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1250496512 246000 33554432000 4194304 16246674 140733692406816 140493601098928 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.10038 s] /proc/loadavg: 1.11 1.36 1.79 4/183 28178 /proc/meminfo: memFree=28555376/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 267415 0 0 0 276 33 0 0 20 0 4 0 29500355 1337528320 267230 33554432000 4194304 16246674 140733692406816 140733692388736 5675389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 326545 267230 844 2943 0 323439 0 [pid=28170/tid=28171] ppid=28163 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1337528320 267230 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1337528320 267230 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1337528320 267230 33554432000 4194304 16246674 140733692406816 140493601098928 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.30038 s] /proc/loadavg: 1.26 1.39 1.80 4/183 28178 /proc/meminfo: memFree=28006588/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1309252 CPUtime=6.28 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 268255 0 0 0 595 33 0 0 20 0 4 0 29500355 1340674048 268070 33554432000 4194304 16246674 140733692406816 140733692388736 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 327313 268070 844 2943 0 324207 0 [pid=28170/tid=28171] ppid=28163 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1340674048 268070 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1340674048 268070 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1340674048 268070 33554432000 4194304 16246674 140733692406816 140493601098928 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) 1309252 [startup+12.7004 s] /proc/loadavg: 1.32 1.40 1.80 4/183 28178 /proc/meminfo: memFree=28001764/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1312324 CPUtime=12.69 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 269062 0 0 0 1235 34 0 0 20 0 4 0 29500355 1343819776 268877 33554432000 4194304 16246674 140733692406816 140733692388736 5674993 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 328081 268877 846 2943 0 324975 0 [pid=28170/tid=28171] ppid=28163 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1343819776 268877 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1343819776 268877 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1343819776 268877 33554432000 4194304 16246674 140733692406816 140493601098928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1312324 [startup+25.5005 s] /proc/loadavg: 1.42 1.42 1.80 4/183 28178 /proc/meminfo: memFree=27998152/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1317444 CPUtime=25.49 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 270207 0 0 0 2515 34 0 0 20 0 4 0 29500355 1349062656 270022 33554432000 4194304 16246674 140733692406816 140733692388736 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 329361 270022 847 2943 0 326255 0 [pid=28170/tid=28171] ppid=28163 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1349062656 270022 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1349062656 270022 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1349062656 270022 33554432000 4194304 16246674 140733692406816 140493601098928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1317444 [startup+51.1005 s] /proc/loadavg: 1.71 1.49 1.81 4/183 28178 /proc/meminfo: memFree=27997312/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1317444 CPUtime=51.08 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 270452 0 0 0 5074 34 0 0 20 0 4 0 29500355 1349062656 270267 33554432000 4194304 16246674 140733692406816 140733692388736 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 329361 270267 848 2943 0 326255 0 [pid=28170/tid=28171] ppid=28163 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1349062656 270267 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1349062656 270267 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1349062656 270267 33554432000 4194304 16246674 140733692406816 140493601098928 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) 1317444 [startup+102.3 s] /proc/loadavg: 1.97 1.59 1.83 4/184 28183 /proc/meminfo: memFree=27995532/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1317444 CPUtime=102.28 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 270457 0 0 0 10194 34 0 0 20 0 4 0 29500355 1349062656 270523 33554432000 4194304 16246674 140733692406816 140733692388736 5711680 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 329361 270523 848 2943 0 326255 0 [pid=28170/tid=28171] ppid=28163 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1349062656 270523 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1349062656 270523 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1349062656 270523 33554432000 4194304 16246674 140733692406816 140493601098928 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) 1317444 ################ # More data... # ################ /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493601098928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1325636 [startup+1362.3 s] /proc/loadavg: 2.36 2.32 2.15 4/183 28214 /proc/meminfo: memFree=27708120/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1325636 CPUtime=1361.91 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 272793 0 0 0 136149 42 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140733692405912 13949761 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 331409 272573 848 2943 0 328303 0 [pid=28170/tid=28171] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493601098928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1325636 [startup+1422.3 s] /proc/loadavg: 2.18 2.27 2.14 5/183 28215 /proc/meminfo: memFree=27630728/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1325636 CPUtime=1421.92 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 272793 0 0 0 142149 43 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140733692388736 6022864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 331409 272573 848 2943 0 328303 0 [pid=28170/tid=28171] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493601098928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1325636 [startup+1482.3 s] /proc/loadavg: 2.32 2.29 2.16 4/183 28216 /proc/meminfo: memFree=27630828/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1325636 CPUtime=1481.9 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 272793 0 0 0 148146 44 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140733692388736 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 331409 272573 848 2943 0 328303 0 [pid=28170/tid=28171] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493601098928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1325636 [startup+1542.31 s] /proc/loadavg: 2.17 2.25 2.15 4/183 28217 /proc/meminfo: memFree=27528840/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1325636 CPUtime=1541.9 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 272793 0 0 0 154146 44 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140733692388736 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 331409 272573 848 2943 0 328303 0 [pid=28170/tid=28171] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493601098928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1325636 [startup+1602.3 s] /proc/loadavg: 2.22 2.25 2.16 4/183 28219 /proc/meminfo: memFree=27476080/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1325636 CPUtime=1601.88 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 272793 0 0 0 160143 45 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140733692388736 5823170 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 331409 272573 848 2943 0 328303 0 [pid=28170/tid=28171] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493601098928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1325636 [startup+1662.3 s] /proc/loadavg: 2.35 2.28 2.17 4/183 28220 /proc/meminfo: memFree=27426200/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1325636 CPUtime=1661.87 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 272793 0 0 0 166142 45 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140733692388736 13906983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 331409 272573 848 2943 0 328303 0 [pid=28170/tid=28171] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493601098928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1325636 [startup+1722.3 s] /proc/loadavg: 2.33 2.29 2.18 4/183 28221 /proc/meminfo: memFree=27384456/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1325636 CPUtime=1721.87 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 272793 0 0 0 172141 46 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140733692388736 13950236 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 331409 272573 848 2943 0 328303 0 [pid=28170/tid=28171] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493601098928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1325636 [startup+1782.3 s] /proc/loadavg: 2.36 2.31 2.19 4/183 28222 /proc/meminfo: memFree=27347980/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1325636 CPUtime=1781.86 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 272793 0 0 0 178140 46 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140733692388736 12483632 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 331409 272573 848 2943 0 328303 0 [pid=28170/tid=28171] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493601098928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1325636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.57 2.36 2.21 4/183 28222 /proc/meminfo: memFree=27347704/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1325636 CPUtime=1800.05 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 272793 0 0 0 179959 46 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140733692388736 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 331409 272573 848 2943 0 328303 0 [pid=28170/tid=28171] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493601098928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1325636 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 28170 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.57 2.36 2.21 4/183 28222 /proc/meminfo: memFree=27347704/32872528 swapFree=1402776/1580604 [pid=28170] ppid=28163 vsize=1325636 CPUtime=1800.05 cores=0,2,4,6 /proc/28170/stat : 28170 (toysat) R 28163 28170 28125 0 -1 4202496 272793 0 0 0 179959 46 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140733692388736 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28170/statm: 331409 272573 848 2943 0 328303 0 [pid=28170/tid=28171] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28171/stat : 28171 (toysat) S 28163 28170 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493622062320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28170/tid=28172] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28172/stat : 28172 (toysat) S 28163 28170 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493611572464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28170/tid=28173] ppid=28163 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28170/task/28173/stat : 28173 (toysat) S 28163 28170 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29500355 1357451264 272573 33554432000 4194304 16246674 140733692406816 140493601098928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1325636 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.6 CPU system time (s): 0.465929 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 1325636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.465929 maximum resident set size= 1090292 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272793 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= 308 involuntary context switches= 1957 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.10707 second user time and 8.13976 second system time The end
Begin job on node139 at 2016-06-18 20:29:06 IDJOB=4106607 IDBENCH=48130 IDSOLVER=2542 FILE ID=node139/4106607-1466274546 RUNJOBID= node139-1466274546-28141 PBS_JOBID= 19918239 Free space on /tmp= 71596 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106607-1466274546/watcher-4106607-1466274546 -o /tmp/evaluation-result-4106607-1466274546/solver-4106607-1466274546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28141 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106607-1466274546.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e6ef25c6f832d5fe55af9368c1298b73 RANDOM SEED=742851230 node139.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.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 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.500 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.500 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.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30174192 kB Buffers: 170120 kB Cached: 201508 kB SwapCached: 1904 kB Active: 135936 kB Inactive: 238592 kB Active(anon): 4044 kB Inactive(anon): 1476 kB Active(file): 131892 kB Inactive(file): 237116 kB Unevictable: 1580604 kB Mlocked: 1402776 kB SwapTotal: 67108856 kB SwapFree: 67099484 kB Dirty: 33836 kB Writeback: 0 kB AnonPages: 1582988 kB Mapped: 6416 kB Shmem: 0 kB Slab: 609156 kB SReclaimable: 53644 kB SUnreclaim: 555512 kB KernelStack: 1336 kB PageTables: 6704 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1677236 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 178176 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= 71560 MiB End job on node139 at 2016-06-18 20:59:07