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.09 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_4.opb |
| MD5SUM | 431de611ddaca60ef9395e6cd3a99cf2 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 11 |
| Optimality of the best value was proved | NO |
| Number of variables | 100 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 100 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 100 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1258 |
| Sum of products size (including duplicates) | 2516 |
| Number of different products | 1258 |
| Sum of products size | 2516 |
0.00/0.00 c 2016-06-07T01:23:52+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-4080119-1465255432.opb"] 0.00/0.01 c use --random-gen="2558444949 3049385117 179468045 2729023740 1070950649 3106283492 566508526 2755040378 3692794325 333705900 3432134822 643809778 1988641662 1433603573 2498099349 602078404 2460268285 1053318057 3339741561 2687965496 2420700216 3021413396 3873737981 3121161219 3039385663 2966744919 767154986 2591387119 237824385 1194502690 2776772019 341035592 2817735242 727356733 1946025347 2945305768 4028812346 1520331933 4279740184 354900026 3466118680 3166531261 3476001003 1642794016 3992191906 66078700 1415578875 3996873437 830232763 1510457764 1350620856 2217272796 3654422923 3067518161 3879509960 2995969775 1352904492 3149666579 2734020141 2471919930 1009373766 3753772245 4216521375 507355248 263737991 4242618401 3834113477 226668801 3262100883 747251316 635333543 1962945415 3362653375 4119458273 2663056924 4168711530 2492841380 3904605464 3156309673 2803752111 1250740467 1426053253 377900754 1293284476 4061110133 3706834664 1995454144 1124537230 2418014015 2457926601 3194304362 3785175290 2957484350 979973657 4152458689 3807751614 2468500071 807675973 1660453489 1650177055 4005355978 3701278251 3767552204 971133098 3752373441 2633130565 1807247116 3298820292 1075379409 2692089561 3603930531 3761188859 1920130043 1295251538 3509464354 4054032915 1167020268 2445410881 816679783 3356016618 797124030 3986629605 3123072782 624347393 3294591355 2104879527 2331267772 4235590638 3060521379 502537739 1480955589 964908531 1778269024 3871879772 2640123162 3902814572 3001016962 203780976 782588194 4155075592 533511522 3170483172 4063154793 2015218778 4290219955 1750334309 1964939993 1576271662 3534042653 3779996917 1986691061 4154713939 2332442520 51896647 711479667 3123202773 2687506943 2926716673 1978552253 2257086015 1920118970 3862987593 2791524757 689044678 3231850829 4045933120 2598948022 1543645749 449329553 771322985 2023123199 3258916451 1909309509 2362904798 244375762 3884749264 850525248 1923564746 412538442 2286583800 510612020 210941445 1334911365 2335632299 3972070217 453523811 1450552379 3046486111 513594901 1305795948 17208262 134631864 918301818 1427384670 658685769 31887171 3205317750 2425246262 1488780121 1421896895 34041592 172204375 42794360 1847798087 549412383 3588548835 1282399988 1294231369 133345876 3914208076 1675575231 2427819167 1688034470 2955754308 3310078098 3242340930 1681845415 1568173053 625479812 3099266077 2396551651 4105630146 754390344 3607718997 3882268515 1780576573 536163315 956550314 3598599856 4183017012 3222857873 2721334528 2210243143 2581735121 1118256303 3662477951 3211230294 25906732 3961323900 2851769799 2732369243 3901450347 1499665514 891154907 288301270 106990188 2885860099 353599442 838480291 3866974162 450169119 487714850 2834538003 612832431 1357924221 3661921080 255 362436" option to reproduce the execution 0.00/0.02 c #vars 100 0.00/0.02 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 | 1324 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 223 | 0 | 1324 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 = 223 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 79 0.00/0.04 c BCD2: updating upper bound: 100 -> 78 0.00/0.04 c BCD2: 0 <= obj <= 78 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 | 1324 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 78 | 0 | 1324 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.003s 0.00/0.05 c #wall_clock_time = 0.003s 0.00/0.05 c #decision = 78 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 13: cost of the new core is >=1 0.00/0.05 c lower bound updated to 1 0.00/0.05 c BCD2: 1 <= obj <= 78 0.00/0.05 c BCD2: #cores=1, #unrelaxed=87, #relaxed=13, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=2 bias=2/3 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 | 1324 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 77 | 0 | 1324 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 = 77 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 13: cost of the new core is >=1 0.00/0.05 c lower bound updated to 2 0.00/0.05 c BCD2: 2 <= obj <= 78 0.00/0.05 c BCD2: #cores=2, #unrelaxed=74, #relaxed=26, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1324 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 74 | 0 | 1324 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 = 74 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 <= 78 0.00/0.05 c BCD2: #cores=3, #unrelaxed=62, #relaxed=38, #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 | 1324 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 276 | 1 | 1324 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 = 276 0.00/0.06 c #random_decision = 1 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 o 21 0.00/0.06 c BCD2: updating upper bound: 78 -> 20 0.00/0.06 c BCD2: 3 <= obj <= 20 0.00/0.06 c BCD2: #cores=3, #unrelaxed=62, #relaxed=38, #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 | 1324 0 | 0 | 1 0.09/0.10 c 0.0s | 1 | 193 | 100 | 1457 0 | 0 | 1 0.09/0.17 c 0.1s | 2 | 450 | 250 | 1457 0 | 0 | 1 0.19/0.28 c 0.2s | 3 | 807 | 475 | 1603 0 | 0 | 1 0.29/0.31 c 0.2s | 3 | 998 | 495 | 1764 0 | 0 | 1 0.29/0.31 c #cpu_time = 0.246s 0.29/0.31 c #wall_clock_time = 0.246s 0.29/0.31 c #decision = 998 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 495 0.29/0.31 c #restart = 3 0.29/0.31 o 14 0.29/0.31 c BCD2: updating upper bound: 20 -> 13 0.29/0.31 c BCD2: 3 <= obj <= 13 0.29/0.31 c BCD2: #cores=3, #unrelaxed=62, #relaxed=38, #hardened=0 0.29/0.31 c BCD2: #sat=3 #unsat=4 bias=4/7 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 1764 0 | 0 | 2 0.29/0.32 c 0.0s | 0 | 81 | 13 | 1764 0 | 0 | 2 0.29/0.32 c #cpu_time = 0.013s 0.29/0.32 c #wall_clock_time = 0.013s 0.29/0.32 c #decision = 81 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 13 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: relaxing 62 and merging with 3 cores into a new core of size 100: cost of the new core is >=4 0.29/0.32 c lower bound updated to 4 0.29/0.32 c BCD2: 4 <= obj <= 13 0.29/0.32 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.29/0.32 c BCD2: #sat=3 #unsat=5 bias=5/8 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 1764 0 | 10 | 2 0.39/0.40 c 0.1s | 1 | 356 | 100 | 1764 0 | 10 | 19 0.49/0.52 c 0.2s | 2 | 772 | 250 | 1764 0 | 10 | 19 0.59/0.69 c 0.4s | 3 | 1454 | 475 | 1941 0 | 10 | 19 0.88/0.96 c 0.6s | 4 | 2340 | 813 | 2136 0 | 10 | 19 1.29/1.30 c 1.0s | 5 | 3689 | 1320 | 2136 0 | 10 | 19 1.69/1.75 c 1.4s | 6 | 5793 | 2081 | 2350 0 | 10 | 19 2.39/2.43 c 2.1s | 7 | 8879 | 3223 | 2585 1 | 10 | 19 3.29/3.38 c 3.1s | 8 | 13295 | 4936 | 2844 2 | 10 | 19 4.78/4.86 c 4.5s | 9 | 20291 | 7506 | 3129 3 | 10 | 19 6.88/6.90 c 6.6s | 9 | 28519 | 10906 | 3442 5 | 10 | 19 7.08/7.19 c 6.9s | 10 | 29823 | 11361 | 3442 5 | 10 | 19 9.18/9.24 c 8.9s | 10 | 39196 | 14661 | 3442 7 | 10 | 19 10.68/10.75 c 10.4s | 11 | 45951 | 17144 | 3787 8 | 10 | 19 12.68/12.79 c 12.5s | 11 | 55052 | 20444 | 3787 10 | 10 | 19 14.78/14.82 c 14.5s | 11 | 64134 | 23844 | 3787 12 | 10 | 19 15.98/16.04 c 15.7s | 12 | 69325 | 25819 | 4166 13 | 10 | 19 17.98/18.09 c 17.8s | 12 | 78321 | 29119 | 4166 14 | 10 | 19 20.09/20.13 c 19.8s | 12 | 86971 | 32219 | 4166 15 | 10 | 19 22.09/22.18 c 21.9s | 12 | 95909 | 35719 | 4166 17 | 10 | 19 23.99/24.03 c 23.7s | 13 | 104250 | 38832 | 4583 18 | 10 | 19 25.99/26.03 c 25.7s | 13 | 113309 | 42132 | 4583 20 | 10 | 19 27.99/28.06 c 27.7s | 13 | 122210 | 45432 | 4583 21 | 10 | 19 29.99/30.06 c 29.7s | 13 | 131763 | 48932 | 4583 22 | 10 | 19 31.99/32.07 c 31.8s | 13 | 140460 | 52332 | 4583 24 | 10 | 19 34.09/34.13 c 33.8s | 13 | 149139 | 55932 | 4583 25 | 10 | 19 35.58/35.63 c 35.3s | 14 | 154978 | 58352 | 5042 26 | 10 | 19 37.58/37.63 c 37.3s | 14 | 162966 | 61252 | 5042 27 | 10 | 19 39.59/39.64 c 39.3s | 14 | 171085 | 64352 | 5042 28 | 10 | 19 41.58/41.67 c 41.4s | 14 | 179046 | 67552 | 5042 29 | 10 | 19 43.68/43.73 c 43.4s | 14 | 188033 | 70852 | 5042 31 | 10 | 19 45.68/45.79 c 45.5s | 14 | 196646 | 74052 | 5042 32 | 10 | 19 47.78/47.82 c 47.5s | 14 | 205502 | 77352 | 5042 33 | 10 | 19 49.78/49.85 c 49.5s | 14 | 214083 | 80652 | 5042 34 | 10 | 19 51.79/51.89 c 51.6s | 14 | 222527 | 84052 | 5042 36 | 10 | 19 53.78/53.90 c 53.6s | 14 | 230337 | 87052 | 5547 37 | 10 | 19 54.18/54.27 c 53.9s | 15 | 231943 | 87632 | 5547 37 | 10 | 19 56.18/56.30 c 56.0s | 15 | 240117 | 90832 | 5547 38 | 10 | 19 58.28/58.31 c 58.0s | 15 | 248685 | 94032 | 5547 39 | 10 | 19 60.27/60.36 c 60.0s | 15 | 257102 | 97332 | 5547 40 | 10 | 19 62.27/62.38 c 62.1s | 15 | 265446 | 100532 | 5547 41 | 10 | 19 64.37/64.44 c 64.1s | 15 | 273383 | 103632 | 5547 42 | 10 | 19 66.38/66.46 c 66.1s | 15 | 281280 | 106732 | 5547 43 | 10 | 19 68.48/68.51 c 68.2s | 15 | 289459 | 109932 | 5547 44 | 10 | 19 70.48/70.57 c 70.3s | 15 | 298013 | 113232 | 5547 45 | 10 | 19 72.48/72.59 c 72.3s | 15 | 305787 | 116332 | 5547 47 | 10 | 19 74.58/74.61 c 74.3s | 15 | 313791 | 119632 | 5547 48 | 10 | 19 76.58/76.63 c 76.3s | 15 | 322472 | 122932 | 5547 49 | 10 | 19 78.58/78.67 c 78.3s | 15 | 329806 | 125832 | 5547 50 | 10 | 19 80.57/80.68 c 80.4s | 15 | 338538 | 129132 | 5547 51 | 10 | 19 82.27/82.39 c 82.1s | 16 | 345023 | 131552 | 6102 52 | 10 | 19 84.37/84.41 c 84.1s | 16 | 352875 | 134552 | 6102 52 | 10 | 19 86.37/86.47 c 86.2s | 16 | 361313 | 137752 | 6102 53 | 10 | 19 88.37/88.48 c 88.2s | 16 | 369375 | 140752 | 6102 54 | 10 | 19 90.47/90.53 c 90.2s | 16 | 377361 | 143952 | 6102 55 | 10 | 19 92.48/92.53 c 92.2s | 16 | 385068 | 146952 | 6102 56 | 10 | 19 94.48/94.53 c 94.2s | 16 | 393843 | 150152 | 6102 57 | 10 | 19 96.47/96.59 c 96.3s | 16 | 402819 | 153352 | 6102 58 | 10 | 19 98.47/98.59 c 98.3s | 16 | 410820 | 156452 | 6102 59 | 10 | 19 100.57/100.60 c 100s | 16 | 419462 | 159552 | 6102 60 | 10 | 19 102.57/102.61 c 102s | 16 | 427975 | 162752 | 6102 61 | 10 | 19 104.58/104.64 c 104s | 16 | 436128 | 166052 | 6102 62 | 10 | 19 106.57/106.70 c 106s | 16 | 445462 | 169452 | 6102 63 | 10 | 19 108.67/108.71 c 108s | 16 | 454092 | 172852 | 6102 64 | 10 | 19 110.66/110.74 c 110s | 16 | 460988 | 175552 | 6102 65 | 10 | 19 112.77/112.80 c 112s | 16 | 469254 | 178352 | 6102 66 | 10 | 19 114.77/114.81 c 114s | 16 | 477412 | 181352 | 6102 67 | 10 | 19 116.77/116.85 c 116s | 16 | 485285 | 184452 | 6102 68 | 10 | 19 118.77/118.89 c 118s | 16 | 493645 | 187552 | 6102 69 | 10 | 19 120.86/120.91 c 120s | 16 | 502785 | 190652 | 6102 70 | 10 | 19 122.87/122.96 c 122s | 16 | 511976 | 193952 | 6102 71 | 10 | 19 124.87/124.99 c 124s | 16 | 520854 | 197152 | 6713 72 | 10 | 19 125.07/125.16 c 124s | 17 | 521473 | 197432 | 6713 72 | 10 | 19 127.07/127.19 c 126s | 17 | 529942 | 200632 | 6713 73 | 10 | 19 129.17/129.24 c 128s | 17 | 539010 | 204032 | 6713 74 | 10 | 19 131.17/131.27 c 130s | 17 | 546033 | 206732 | 6713 74 | 10 | 19 133.27/133.31 c 132s | 17 | 553894 | 209732 | 6713 75 | 10 | 19 135.27/135.38 c 135s | 17 | 562221 | 212832 | 6713 76 | 10 | 19 137.37/137.42 c 137s | 17 | 570172 | 215932 | 6713 77 | 10 | 19 139.36/139.43 c 139s | 17 | 578166 | 219032 | 6713 78 | 10 | 19 141.36/141.48 c 141s | 17 | 586551 | 222232 | 6713 79 | 10 | 19 143.46/143.51 c 143s | 17 | 594724 | 225332 | 6713 80 | 10 | 19 145.46/145.57 c 145s | 17 | 602996 | 228532 | 6713 81 | 10 | 19 147.56/147.62 c 147s | 17 | 611800 | 231732 | 6713 82 | 10 | 19 149.57/149.66 c 149s | 17 | 621134 | 235132 | 6713 82 | 10 | 19 151.56/151.68 c 151s | 17 | 628653 | 238032 | 6713 83 | 10 | 19 153.66/153.72 c 153s | 17 | 636779 | 241232 | 6713 84 | 10 | 19 155.66/155.73 c 155s | 17 | 644931 | 244332 | 6713 85 | 10 | 19 157.66/157.76 c 157s | 17 | 653066 | 247532 | 6713 86 | 10 | 19 159.66/159.76 c 159s | 17 | 660712 | 250532 | 6713 87 | 10 | 19 161.66/161.80 c 161s | 17 | 669498 | 253732 | 6713 88 | 10 | 19 163.76/163.84 c 163s | 17 | 678028 | 256732 | 6713 89 | 10 | 19 165.76/165.87 c 165s | 17 | 687048 | 259932 | 6713 90 | 10 | 19 167.86/167.90 c 167s | 17 | 695235 | 263332 | 6713 90 | 10 | 19 169.86/169.97 c 169s | 17 | 703208 | 266632 | 6713 91 | 10 | 19 171.86/171.98 c 171s | 17 | 709612 | 269132 | 6713 92 | 10 | 19 173.96/174.05 c 173s | 17 | 718183 | 272132 | 6713 93 | 10 | 19 175.97/176.05 c 175s | 17 | 726542 | 275232 | 6713 94 | 10 | 19 177.96/178.06 c 177s | 17 | 735226 | 278332 | 6713 95 | 10 | 19 179.96/180.07 c 179s | 17 | 743669 | 281532 | 6713 96 | 10 | 19 182.06/182.13 c 181s | 17 | 752003 | 284732 | 6713 97 | 10 | 19 184.06/184.13 c 183s | 17 | 760637 | 287932 | 6713 97 | 10 | 19 186.06/186.13 c 185s | 17 | 769022 | 291032 | 6713 98 | 10 | 19 188.06/188.18 c 187s | 17 | 777912 | 294332 | 7385 99 | 10 | 19 189.35/189.40 c 189s | 18 | 783001 | 296252 | 7385 100 | 10 | 19 191.36/191.44 c 191s | 18 | 790537 | 299052 | 7385 100 | 10 | 19 193.35/193.48 c 193s | 18 | 798394 | 301952 | 7385 101 | 10 | 19 195.45/195.55 c 195s | 18 | 807072 | 304952 | 7385 102 | 10 | 19 197.45/197.58 c 197s | 18 | 815045 | 307952 | 7385 103 | 10 | 19 199.46/199.59 c 199s | 18 | 823162 | 310952 | 7385 103 | 10 | 19 201.56/201.61 c 201s | 18 | 831292 | 314052 | 7385 104 | 10 | 19 203.56/203.65 c 203s | 18 | 839346 | 317052 | 7385 105 | 10 | 19 205.55/205.69 c 205s | 18 | 847171 | 320152 | 7385 106 | 10 | 19 207.55/207.69 c 207s | 18 | 855161 | 323152 | 7385 107 | 10 | 19 209.65/209.73 c 209s | 18 | 863173 | 326352 | 7385 107 | 10 | 19 211.65/211.79 c 211s | 18 | 871019 | 329552 | 7385 108 | 10 | 19 213.75/213.80 c 213s | 18 | 878829 | 332652 | 7385 109 | 10 | 19 215.75/215.83 c 215s | 18 | 886223 | 335952 | 7385 110 | 10 | 19 217.75/217.83 c 217s | 18 | 892365 | 338352 | 7385 111 | 10 | 19 219.86/219.92 c 219s | 18 | 900741 | 341552 | 7385 111 | 10 | 19 221.86/221.94 c 221s | 18 | 908835 | 344652 | 7385 112 | 10 | 19 223.85/223.98 c 223s | 18 | 917627 | 347852 | 7385 113 | 10 | 19 225.95/226.01 c 225s | 18 | 925586 | 350952 | 7385 114 | 10 | 19 227.95/228.06 c 227s | 18 | 933207 | 353952 | 7385 115 | 10 | 19 230.06/230.12 c 229s | 18 | 941417 | 357152 | 7385 115 | 10 | 19 232.06/232.18 c 231s | 18 | 949099 | 360152 | 7385 116 | 10 | 19 234.15/234.20 c 233s | 18 | 957703 | 363252 | 7385 117 | 10 | 19 236.15/236.22 c 235s | 18 | 965781 | 366452 | 7385 118 | 10 | 19 238.15/238.23 c 237s | 18 | 974053 | 369652 | 7385 119 | 10 | 19 240.14/240.24 c 239s | 18 | 982749 | 372952 | 7385 120 | 10 | 19 242.15/242.24 c 241s | 18 | 990368 | 376052 | 7385 120 | 10 | 19 244.16/244.29 c 243s | 18 | 998549 | 379052 | 7385 121 | 10 | 19 246.15/246.29 c 245s | 18 | 1005937 | 381952 | 7385 122 | 10 | 19 248.25/248.30 c 247s | 18 | 1013676 | 384852 | 7385 123 | 10 | 19 250.24/250.34 c 250s | 18 | 1021921 | 387952 | 7385 123 | 10 | 19 252.25/252.37 c 252s | 18 | 1029975 | 391052 | 7385 124 | 10 | 19 254.25/254.39 c 254s | 18 | 1037730 | 394152 | 7385 125 | 10 | 19 256.26/256.40 c 256s | 18 | 1045934 | 397252 | 7385 126 | 10 | 19 258.35/258.40 c 258s | 18 | 1054656 | 400452 | 7385 127 | 10 | 19 260.35/260.44 c 260s | 18 | 1063314 | 403952 | 7385 128 | 10 | 19 262.34/262.49 c 262s | 18 | 1070540 | 406752 | 7385 128 | 10 | 19 264.44/264.50 c 264s | 18 | 1078378 | 409952 | 7385 129 | 10 | 19 266.45/266.52 c 266s | 18 | 1086215 | 413052 | 7385 130 | 10 | 19 268.45/268.55 c 268s | 18 | 1094348 | 416252 | 7385 131 | 10 | 19 270.44/270.60 c 270s | 18 | 1102165 | 419352 | 7385 132 | 10 | 19 272.54/272.61 c 272s | 18 | 1110668 | 422652 | 7385 132 | 10 | 19 274.55/274.64 c 274s | 18 | 1117968 | 425652 | 7385 133 | 10 | 19 276.55/276.68 c 276s | 18 | 1125855 | 428852 | 7385 134 | 10 | 19 278.64/278.71 c 278s | 18 | 1133464 | 431952 | 7385 135 | 10 | 19 280.64/280.72 c 280s | 18 | 1141628 | 435152 | 7385 136 | 10 | 19 282.65/282.74 c 282s | 18 | 1150219 | 438652 | 7385 136 | 10 | 19 284.74/284.86 c 284s | 18 | 1158912 | 442152 | 8124 137 | 10 | 19 286.44/286.59 c 286s | 19 | 1165043 | 444482 | 8124 138 | 10 | 19 288.55/288.61 c 288s | 19 | 1172535 | 447282 | 8124 138 | 10 | 19 290.54/290.64 c 290s | 19 | 1180579 | 450382 | 8124 139 | 10 | 19 292.55/292.65 c 292s | 19 | 1187661 | 453282 | 8124 140 | 10 | 19 294.64/294.71 c 294s | 19 | 1195280 | 456382 | 8124 141 | 10 | 19 296.64/296.77 c 296s | 19 | 1203080 | 459382 | 8124 141 | 10 | 19 298.74/298.82 c 298s | 19 | 1211106 | 462582 | 8124 142 | 10 | 19 300.74/300.85 c 300s | 19 | 1218651 | 465482 | 8124 143 | 10 | 19 302.74/302.88 c 302s | 19 | 1226896 | 468582 | 8124 143 | 10 | 19 304.84/304.91 c 304s | 19 | 1235050 | 471782 | 8124 144 | 10 | 19 306.84/306.98 c 306s | 19 | 1242132 | 474882 | 8124 145 | 10 | 19 308.94/309.03 c 308s | 19 | 1249867 | 477782 | 8124 146 | 10 | 19 310.94/311.04 c 310s | 19 | 1257020 | 480482 | 8124 146 | 10 | 19 312.94/313.07 c 312s | 19 | 1265802 | 483582 | 8124 147 | 10 | 19 314.94/315.07 c 314s | 19 | 1274020 | 486682 | 8124 148 | 10 | 19 317.03/317.11 c 316s | 19 | 1282289 | 489782 | 8124 148 | 10 | 19 319.04/319.12 c 318s | 19 | 1289288 | 492782 | 8124 149 | 10 | 19 321.03/321.13 c 320s | 19 | 1297433 | 495782 | 8124 150 | 10 | 19 323.03/323.14 c 322s | 19 | 1305575 | 498982 | 8124 151 | 10 | 19 325.14/325.21 c 324s | 19 | 1312985 | 502282 | 8124 151 | 10 | 19 327.14/327.24 c 326s | 19 | 1321323 | 505382 | 8124 152 | 10 | 19 329.14/329.27 c 328s | 19 | 1329760 | 508682 | 8124 153 | 10 | 19 331.24/331.32 c 330s | 19 | 1338826 | 512082 | 8124 154 | 10 | 19 333.24/333.38 c 333s | 19 | 1347200 | 515282 | 8124 155 | 10 | 19 335.33/335.42 c 335s | 19 | 1355084 | 518282 | 8124 155 | 10 | 19 337.33/337.45 c 337s | 19 | 1363208 | 521482 | 8124 156 | 10 | 19 339.33/339.49 c 339s | 19 | 1371737 | 524682 | 8124 157 | 10 | 19 341.43/341.50 c 341s | 19 | 1380285 | 527982 | 8124 158 | 10 | 19 343.44/343.51 c 343s | 19 | 1388028 | 531182 | 8124 158 | 10 | 19 345.44/345.54 c 345s | 19 | 1396010 | 534282 | 8124 159 | 10 | 19 347.54/347.60 c 347s | 19 | 1403822 | 537382 | 8124 160 | 10 | 19 349.53/349.68 c 349s | 19 | 1412539 | 540882 | 8124 161 | 10 | 19 351.63/351.74 c 351s | 19 | 1421381 | 544182 | 8124 161 | 10 | 19 353.63/353.76 c 353s | 19 | 1430401 | 547882 | 8124 162 | 10 | 19 355.74/355.83 c 355s | 19 | 1436621 | 550382 | 8124 163 | 10 | 19 357.83/357.93 c 357s | 19 | 1444628 | 553482 | 8124 164 | 10 | 19 359.83/359.96 c 359s | 19 | 1452760 | 556682 | 8124 164 | 10 | 19 361.84/361.99 c 361s | 19 | 1461801 | 559782 | 8124 165 | 10 | 19 363.93/364.00 c 363s | 19 | 1468954 | 562482 | 8124 166 | 10 | 19 365.93/366.04 c 365s | 19 | 1477658 | 565682 | 8124 166 | 10 | 19 367.93/368.05 c 367s | 19 | 1485736 | 568782 | 8124 167 | 10 | 19 369.93/370.07 c 369s | 19 | 1493942 | 571782 | 8124 168 | 10 | 19 371.93/372.08 c 371s | 19 | 1501871 | 574882 | 8124 169 | 10 | 19 373.93/374.10 c 373s | 19 | 1509881 | 578182 | 8124 169 | 10 | 19 376.03/376.12 c 375s | 19 | 1517914 | 581682 | 8124 170 | 10 | 19 378.03/378.14 c 377s | 19 | 1523761 | 584082 | 8124 171 | 10 | 19 380.03/380.15 c 379s | 19 | 1531846 | 587282 | 8124 171 | 10 | 19 382.13/382.22 c 381s | 19 | 1539658 | 590282 | 8124 172 | 10 | 19 384.13/384.26 c 383s | 19 | 1547466 | 593382 | 8124 173 | 10 | 19 386.13/386.27 c 385s | 19 | 1555361 | 596682 | 8124 174 | 10 | 19 388.23/388.30 c 387s | 19 | 1563877 | 599782 | 8124 174 | 10 | 19 390.22/390.33 c 390s | 19 | 1573521 | 603082 | 8124 175 | 10 | 19 392.22/392.36 c 392s | 19 | 1582340 | 606582 | 8124 176 | 10 | 19 394.33/394.40 c 394s | 19 | 1590970 | 610182 | 8124 177 | 10 | 19 396.33/396.42 c 396s | 19 | 1599418 | 613682 | 8124 178 | 10 | 19 398.32/398.49 c 398s | 19 | 1606752 | 616482 | 8124 178 | 10 | 19 400.33/400.49 c 400s | 19 | 1614873 | 619582 | 8124 179 | 10 | 19 402.42/402.52 c 402s | 19 | 1622871 | 622882 | 8124 180 | 10 | 19 404.43/404.58 c 404s | 19 | 1631204 | 626182 | 8124 181 | 10 | 19 406.53/406.61 c 406s | 19 | 1639630 | 629482 | 8124 181 | 10 | 19 408.52/408.61 c 408s | 19 | 1648429 | 632982 | 8124 182 | 10 | 19 410.53/410.65 c 410s | 19 | 1656024 | 635982 | 8124 183 | 10 | 19 412.53/412.67 c 412s | 19 | 1663741 | 638882 | 8124 184 | 10 | 19 414.63/414.71 c 414s | 19 | 1672244 | 642182 | 8124 184 | 10 | 19 416.62/416.75 c 416s | 19 | 1680792 | 645682 | 8124 185 | 10 | 19 418.62/418.77 c 418s | 19 | 1688087 | 648582 | 8124 186 | 10 | 19 420.72/420.80 c 420s | 19 | 1696753 | 651982 | 8124 187 | 10 | 19 422.72/422.88 c 422s | 19 | 1705345 | 655482 | 8124 188 | 10 | 19 424.72/424.89 c 424s | 19 | 1715436 | 659282 | 8124 188 | 10 | 19 426.72/426.90 c 426s | 19 | 1723151 | 662082 | 8937 189 | 10 | 19 428.82/428.94 c 428s | 19 | 1731883 | 665482 | 8937 190 | 10 | 19 429.72/429.86 c 429s | 20 | 1735517 | 666827 | 8937 190 | 10 | 19 431.72/431.88 c 431s | 20 | 1740887 | 669027 | 8937 190 | 10 | 19 433.72/433.88 c 433s | 20 | 1748606 | 671827 | 8937 191 | 10 | 19 435.82/435.90 c 435s | 20 | 1755715 | 674527 | 8937 192 | 10 | 19 437.83/437.96 c 437s | 20 | 1763463 | 677527 | 8937 192 | 10 | 19 439.82/440.00 c 439s | 20 | 1771280 | 680427 | 8937 193 | 10 | 19 441.92/442.04 c 441s | 20 | 1779203 | 683227 | 8937 194 | 10 | 19 444.02/444.11 c 443s | 20 | 1787295 | 686227 | 8937 194 | 10 | 19 446.02/446.11 c 445s | 20 | 1795284 | 689127 | 8937 195 | 10 | 19 448.01/448.15 c 447s | 20 | 1802842 | 692027 | 8937 195 | 10 | 19 450.01/450.15 c 449s | 20 | 1810680 | 694927 | 8937 196 | 10 | 19 452.03/452.20 c 451s | 20 | 1818558 | 697927 | 8937 197 | 10 | 19 454.12/454.25 c 453s | 20 | 1824884 | 700427 | 8937 197 | 10 | 19 456.12/456.26 c 455s | 20 | 1832260 | 703227 | 8937 198 | 10 | 19 458.12/458.28 c 457s | 20 | 1839613 | 706027 | 8937 198 | 10 | 19 460.22/460.31 c 459s | 20 | 1847213 | 708827 | 8937 199 | 10 | 19 462.22/462.32 c 461s | 20 | 1854749 | 711627 | 8937 200 | 10 | 19 464.22/464.33 c 464s | 20 | 1862341 | 714527 | 8937 200 | 10 | 19 466.22/466.39 c 466s | 20 | 1870714 | 717527 | 8937 201 | 10 | 19 468.32/468.42 c 468s | 20 | 1878086 | 720327 | 8937 201 | 10 | 19 470.32/470.48 c 470s | 20 | 1885058 | 723227 | 8937 202 | 10 | 19 472.42/472.52 c 472s | 20 | 1892477 | 726027 | 8937 203 | 10 | 19 474.41/474.57 c 474s | 20 | 1899908 | 729027 | 8937 203 | 10 | 19 476.51/476.60 c 476s | 20 | 1907924 | 732027 | 8937 204 | 10 | 19 478.52/478.63 c 478s | 20 | 1915312 | 734927 | 8937 205 | 10 | 19 480.51/480.63 c 480s | 20 | 1922987 | 738027 | 8937 205 | 10 | 19 482.51/482.66 c 482s | 20 | 1929122 | 740327 | 8937 206 | 10 | 19 484.61/484.71 c 484s | 20 | 1936485 | 743327 | 8937 206 | 10 | 19 486.61/486.74 c 486s | 20 | 1944627 | 746027 | 8937 207 | 10 | 19 488.71/488.80 c 488s | 20 | 1952509 | 748927 | 8937 208 | 10 | 19 490.71/490.83 c 490s | 20 | 1960606 | 751827 | 8937 208 | 10 | 19 492.72/492.85 c 492s | 20 | 1968768 | 754727 | 8937 209 | 10 | 19 494.81/494.90 c 494s | 20 | 1976133 | 757527 | 8937 210 | 10 | 19 496.81/496.96 c 496s | 20 | 1985079 | 760527 | 8937 210 | 10 | 19 498.81/498.97 c 498s | 20 | 1992453 | 763327 | 8937 211 | 10 | 19 500.91/501.02 c 500s | 20 | 2000452 | 766327 | 8937 211 | 10 | 19 502.91/503.08 c 502s | 20 | 2008392 | 769327 | 8937 212 | 10 | 19 505.01/505.13 c 504s | 20 | 2016647 | 772327 | 8937 213 | 10 | 19 507.02/507.17 c 506s | 20 | 2024522 | 775427 | 8937 213 | 10 | 19 509.11/509.23 c 508s | 20 | 2032468 | 778527 | 8937 214 | 10 | 19 511.21/511.31 c 510s | 20 | 2038900 | 781227 | 8937 215 | 10 | 19 513.21/513.33 c 513s | 20 | 2045778 | 783827 | 8937 215 | 10 | 19 515.20/515.38 c 515s | 20 | 2053072 | 786627 | 8937 216 | 10 | 19 517.30/517.43 c 517s | 20 | 2060187 | 789527 | 8937 216 | 10 | 19 519.30/519.43 c 519s | 20 | 2067294 | 792427 | 8937 217 | 10 | 19 521.31/521.44 c 521s | 20 | 2074691 | 795327 | 8937 218 | 10 | 19 523.40/523.51 c 523s | 20 | 2082411 | 798227 | 8937 218 | 10 | 19 525.40/525.58 c 525s | 20 | 2090054 | 801227 | 8937 219 | 10 | 19 527.50/527.62 c 527s | 20 | 2097881 | 804227 | 8937 220 | 10 | 19 529.50/529.67 c 529s | 20 | 2106008 | 807427 | 8937 220 | 10 | 19 531.60/531.72 c 531s | 20 | 2114189 | 810527 | 8937 221 | 10 | 19 533.60/533.74 c 533s | 20 | 2122005 | 813527 | 8937 222 | 10 | 19 535.61/535.76 c 535s | 20 | 2129410 | 816727 | 8937 222 | 10 | 19 537.70/537.80 c 537s | 20 | 2135296 | 819027 | 8937 223 | 10 | 19 539.70/539.84 c 539s | 20 | 2142137 | 821727 | 8937 223 | 10 | 19 541.70/541.88 c 541s | 20 | 2149429 | 824627 | 8937 224 | 10 | 19 543.80/543.95 c 543s | 20 | 2156281 | 827527 | 8937 225 | 10 | 19 545.80/545.97 c 545s | 20 | 2163767 | 830427 | 8937 225 | 10 | 19 547.90/548.00 c 547s | 20 | 2171936 | 833427 | 8937 226 | 10 | 19 549.91/550.04 c 549s | 20 | 2179649 | 836327 | 8937 227 | 10 | 19 551.90/552.04 c 551s | 20 | 2187420 | 839427 | 8937 227 | 10 | 19 553.90/554.05 c 553s | 20 | 2194440 | 842227 | 8937 228 | 10 | 19 555.90/556.09 c 555s | 20 | 2201866 | 845127 | 8937 228 | 10 | 19 558.00/558.10 c 557s | 20 | 2209054 | 848027 | 8937 229 | 10 | 19 560.00/560.14 c 559s | 20 | 2216463 | 850927 | 8937 230 | 10 | 19 562.00/562.18 c 561s | 20 | 2224327 | 853927 | 8937 230 | 10 | 19 564.10/564.24 c 563s | 20 | 2231609 | 856927 | 8937 231 | 10 | 19 566.20/566.30 c 565s | 20 | 2239470 | 860027 | 8937 232 | 10 | 19 568.20/568.33 c 568s | 20 | 2245126 | 862527 | 8937 232 | 10 | 19 570.20/570.39 c 570s | 20 | 2252980 | 865427 | 8937 233 | 10 | 19 572.30/572.43 c 572s | 20 | 2260474 | 868327 | 8937 233 | 10 | 19 574.30/574.49 c 574s | 20 | 2267875 | 871227 | 8937 234 | 10 | 19 576.30/576.50 c 576s | 20 | 2275637 | 874027 | 8937 235 | 10 | 19 578.40/578.55 c 578s | 20 | 2283913 | 877127 | 8937 235 | 10 | 19 580.39/580.58 c 580s | 20 | 2292183 | 880127 | 8937 236 | 10 | 19 582.50/582.60 c 582s | 20 | 2300165 | 883127 | 8937 237 | 10 | 19 584.50/584.64 c 584s | 20 | 2307921 | 886227 | 8937 237 | 10 | 19 586.60/586.70 c 586s | 20 | 2315186 | 889127 | 8937 238 | 10 | 19 588.60/588.72 c 588s | 20 | 2322583 | 892027 | 8937 239 | 10 | 19 590.60/590.73 c 590s | 20 | 2329911 | 895127 | 8937 239 | 10 | 19 592.60/592.78 c 592s | 20 | 2337680 | 898227 | 8937 240 | 10 | 19 594.70/594.85 c 594s | 20 | 2345406 | 901327 | 8937 241 | 10 | 19 596.70/596.87 c 596s | 20 | 2353010 | 904627 | 8937 241 | 10 | 19 598.70/598.87 c 598s | 20 | 2358493 | 906727 | 8937 242 | 10 | 19 600.79/600.94 c 600s | 20 | 2366105 | 909527 | 8937 242 | 10 | 19 602.80/602.95 c 602s | 20 | 2374316 | 912527 | 8937 243 | 10 | 19 604.79/604.96 c 604s | 20 | 2382113 | 915627 | 8937 244 | 10 | 19 606.89/607.00 c 606s | 20 | 2390447 | 918727 | 8937 244 | 10 | 19 608.89/609.03 c 608s | 20 | 2399265 | 921727 | 8937 245 | 10 | 19 610.89/611.07 c 610s | 20 | 2407013 | 924627 | 8937 246 | 10 | 19 612.99/613.12 c 612s | 20 | 2415053 | 927727 | 8937 246 | 10 | 19 614.99/615.17 c 614s | 20 | 2422955 | 930827 | 8937 247 | 10 | 19 617.10/617.25 c 616s | 20 | 2431104 | 933827 | 8937 248 | 10 | 19 619.09/619.27 c 618s | 20 | 2438659 | 937027 | 8937 248 | 10 | 19 621.29/621.43 c 621s | 20 | 2446287 | 940127 | 8937 249 | 10 | 19 623.29/623.43 c 623s | 20 | 2452986 | 942927 | 8937 249 | 10 | 19 625.29/625.47 c 625s | 20 | 2460928 | 946027 | 8937 250 | 10 | 19 627.29/627.48 c 627s | 20 | 2469120 | 948927 | 8937 251 | 10 | 19 629.29/629.49 c 629s | 20 | 2476786 | 951927 | 8937 251 | 10 | 19 631.40/631.54 c 631s | 20 | 2484450 | 955027 | 8937 252 | 10 | 19 633.39/633.59 c 633s | 20 | 2492367 | 958127 | 8937 253 | 10 | 19 635.49/635.60 c 635s | 20 | 2499270 | 960827 | 8937 253 | 10 | 19 637.49/637.64 c 637s | 20 | 2507124 | 963627 | 8937 254 | 10 | 19 639.48/639.64 c 639s | 20 | 2514530 | 966527 | 8937 255 | 10 | 19 641.49/641.69 c 641s | 20 | 2522844 | 969527 | 8937 255 | 10 | 19 643.49/643.70 c 643s | 20 | 2530332 | 972427 | 8937 256 | 10 | 19 645.59/645.71 c 645s | 20 | 2538270 | 975427 | 8937 256 | 10 | 19 647.59/647.76 c 647s | 20 | 2545503 | 978227 | 8937 257 | 10 | 19 649.69/649.81 c 649s | 20 | 2553031 | 981027 | 8937 258 | 10 | 19 651.69/651.85 c 651s | 20 | 2560681 | 984027 | 8937 258 | 10 | 19 653.79/653.90 c 653s | 20 | 2568185 | 987027 | 8937 259 | 10 | 19 655.79/655.96 c 655s | 20 | 2575288 | 989927 | 8937 260 | 10 | 19 657.89/658.00 c 657s | 20 | 2582540 | 992727 | 9831 260 | 10 | 19 659.89/660.00 c 659s | 20 | 2589816 | 995527 | 9831 261 | 10 | 19 661.88/662.04 c 661s | 20 | 2597051 | 998327 | 9831 261 | 10 | 19 663.38/663.55 c 663s | 21 | 2602157 | 1000345 | 9831 262 | 10 | 19 665.39/665.57 c 665s | 21 | 2608631 | 1002845 | 9831 262 | 10 | 19 667.38/667.58 c 667s | 21 | 2615512 | 1005645 | 9831 263 | 10 | 19 669.38/669.58 c 669s | 21 | 2622559 | 1008645 | 9831 263 | 10 | 19 671.48/671.63 c 671s | 21 | 2629118 | 1011445 | 9831 264 | 10 | 19 673.48/673.69 c 673s | 21 | 2637175 | 1014345 | 9831 264 | 10 | 19 675.58/675.70 c 675s | 21 | 2644676 | 1017245 | 9831 265 | 10 | 19 677.59/677.71 c 677s | 21 | 2652115 | 1020145 | 9831 265 | 10 | 19 679.58/679.78 c 679s | 21 | 2659435 | 1023045 | 9831 266 | 10 | 19 681.68/681.82 c 681s | 21 | 2667367 | 1025945 | 9831 267 | 10 | 19 683.68/683.86 c 683s | 21 | 2675157 | 1028745 | 9831 267 | 10 | 19 685.78/685.91 c 685s | 21 | 2683492 | 1031745 | 9831 268 | 10 | 19 687.78/687.92 c 687s | 21 | 2691639 | 1034745 | 9831 268 | 10 | 19 689.78/689.96 c 689s | 21 | 2700348 | 1037845 | 9831 269 | 10 | 19 691.78/691.97 c 691s | 21 | 2707991 | 1040945 | 9831 270 | 10 | 19 693.88/694.02 c 693s | 21 | 2714076 | 1043345 | 9831 270 | 10 | 19 695.88/696.04 c 695s | 21 | 2722158 | 1046145 | 9831 271 | 10 | 19 697.88/698.08 c 697s | 21 | 2730172 | 1049145 | 9831 271 | 10 | 19 699.88/700.09 c 699s | 21 | 2738185 | 1052045 | 9831 272 | 10 | 19 701.97/702.14 c 701s | 21 | 2745606 | 1054945 | 9831 272 | 10 | 19 703.98/704.17 c 703s | 21 | 2753107 | 1057845 | 9831 273 | 10 | 19 705.98/706.20 c 705s | 21 | 2760481 | 1060645 | 9831 273 | 10 | 19 708.08/708.23 c 707s | 21 | 2768281 | 1063745 | 9831 274 | 10 | 19 710.08/710.25 c 709s | 21 | 2776128 | 1066845 | 9831 275 | 10 | 19 712.18/712.31 c 711s | 21 | 2784809 | 1070045 | 9831 275 | 10 | 19 714.18/714.32 c 713s | 21 | 2793053 | 1073145 | 9831 276 | 10 | 19 716.18/716.33 c 716s | 21 | 2800612 | 1076245 | 9831 276 | 10 | 19 718.18/718.39 c 718s | 21 | 2806525 | 1078845 | 9831 277 | 10 | 19 720.27/720.46 c 720s | 21 | 2813576 | 1081645 | 9831 278 | 10 | 19 722.27/722.48 c 722s | 21 | 2821194 | 1084845 | 9831 278 | 10 | 19 724.27/724.49 c 724s | 21 | 2828228 | 1087645 | 9831 279 | 10 | 19 726.37/726.51 c 726s | 21 | 2835250 | 1090445 | 9831 279 | 10 | 19 728.37/728.55 c 728s | 21 | 2842879 | 1093445 | 9831 280 | 10 | 19 730.47/730.61 c 730s | 21 | 2850923 | 1096545 | 9831 280 | 10 | 19 732.47/732.64 c 732s | 21 | 2858808 | 1099645 | 9831 281 | 10 | 19 734.47/734.66 c 734s | 21 | 2866349 | 1102645 | 9831 282 | 10 | 19 736.56/736.70 c 736s | 21 | 2873731 | 1105945 | 9831 282 | 10 | 19 738.56/738.74 c 738s | 21 | 2881296 | 1109345 | 9831 283 | 10 | 19 740.56/740.77 c 740s | 21 | 2886545 | 1111645 | 9831 283 | 10 | 19 742.56/742.79 c 742s | 21 | 2894926 | 1114645 | 9831 284 | 10 | 19 744.67/744.83 c 744s | 21 | 2901870 | 1117545 | 9831 285 | 10 | 19 746.65/746.86 c 746s | 21 | 2909335 | 1120545 | 9831 285 | 10 | 19 748.65/748.87 c 748s | 21 | 2916960 | 1123445 | 9831 286 | 10 | 19 750.75/750.92 c 750s | 21 | 2924947 | 1126345 | 9831 286 | 10 | 19 752.75/752.93 c 752s | 21 | 2932862 | 1129345 | 9831 287 | 10 | 19 754.75/754.95 c 754s | 21 | 2940881 | 1132345 | 9831 287 | 10 | 19 756.85/757.00 c 756s | 21 | 2949417 | 1135545 | 9831 288 | 10 | 19 758.86/759.02 c 758s | 21 | 2957051 | 1138645 | 9831 289 | 10 | 19 760.85/761.06 c 760s | 21 | 2964212 | 1141545 | 9831 289 | 10 | 19 762.85/763.08 c 762s | 21 | 2970959 | 1144145 | 9831 290 | 10 | 19 764.85/765.09 c 764s | 21 | 2978541 | 1147145 | 9831 290 | 10 | 19 766.95/767.12 c 766s | 21 | 2986478 | 1150245 | 9831 291 | 10 | 19 768.95/769.18 c 768s | 21 | 2994405 | 1153145 | 9831 292 | 10 | 19 771.05/771.20 c 770s | 21 | 3001759 | 1156045 | 9831 292 | 10 | 19 773.05/773.27 c 772s | 21 | 3009380 | 1159045 | 9831 293 | 10 | 19 775.15/775.32 c 775s | 21 | 3017645 | 1162145 | 9831 293 | 10 | 19 777.14/777.33 c 777s | 21 | 3025653 | 1165245 | 9831 294 | 10 | 19 779.14/779.38 c 779s | 21 | 3034405 | 1168545 | 9831 295 | 10 | 19 781.24/781.43 c 781s | 21 | 3042755 | 1171845 | 9831 295 | 10 | 19 783.24/783.47 c 783s | 21 | 3048471 | 1174145 | 9831 296 | 10 | 19 785.25/785.48 c 785s | 21 | 3056357 | 1177045 | 9831 296 | 10 | 19 787.34/787.52 c 787s | 21 | 3065226 | 1180145 | 9831 297 | 10 | 19 789.34/789.57 c 789s | 21 | 3072915 | 1183045 | 9831 297 | 10 | 19 791.44/791.60 c 791s | 21 | 3080604 | 1186045 | 9831 298 | 10 | 19 793.44/793.65 c 793s | 21 | 3088258 | 1189045 | 9831 299 | 10 | 19 795.44/795.68 c 795s | 21 | 3096353 | 1192345 | 9831 299 | 10 | 19 797.43/797.69 c 797s | 21 | 3104693 | 1195745 | 9831 300 | 10 | 19 799.54/799.73 c 799s | 21 | 3110971 | 1198145 | 9831 300 | 10 | 19 801.53/801.79 c 801s | 21 | 3119015 | 1201145 | 9831 301 | 10 | 19 803.63/803.80 c 803s | 21 | 3126106 | 1204045 | 9831 302 | 10 | 19 805.63/805.81 c 805s | 21 | 3133980 | 1207045 | 9831 302 | 10 | 19 807.62/807.81 c 807s | 21 | 3142094 | 1210045 | 9831 303 | 10 | 19 809.62/809.86 c 809s | 21 | 3150710 | 1213145 | 9831 303 | 10 | 19 811.73/811.92 c 811s | 21 | 3158805 | 1216345 | 9831 304 | 10 | 19 813.73/813.94 c 813s | 21 | 3166260 | 1219045 | 9831 305 | 10 | 19 815.73/815.96 c 815s | 21 | 3174229 | 1222045 | 9831 305 | 10 | 19 817.82/818.01 c 817s | 21 | 3182012 | 1224945 | 9831 306 | 10 | 19 819.82/820.07 c 819s | 21 | 3189595 | 1228045 | 9831 306 | 10 | 19 821.92/822.10 c 821s | 21 | 3197036 | 1231145 | 9831 307 | 10 | 19 823.92/824.11 c 823s | 21 | 3204259 | 1234245 | 9831 307 | 10 | 19 825.92/826.12 c 825s | 21 | 3212045 | 1237145 | 9831 308 | 10 | 19 827.91/828.17 c 827s | 21 | 3219947 | 1240045 | 9831 309 | 10 | 19 830.02/830.21 c 829s | 21 | 3227620 | 1243145 | 9831 309 | 10 | 19 832.02/832.25 c 831s | 21 | 3235226 | 1246045 | 9831 310 | 10 | 19 834.02/834.28 c 833s | 21 | 3242945 | 1249145 | 9831 310 | 10 | 19 836.02/836.29 c 835s | 21 | 3250904 | 1252345 | 9831 311 | 10 | 19 838.12/838.31 c 837s | 21 | 3259072 | 1255445 | 9831 312 | 10 | 19 840.11/840.37 c 840s | 21 | 3266102 | 1258345 | 9831 312 | 10 | 19 842.21/842.40 c 842s | 21 | 3274237 | 1261345 | 9831 313 | 10 | 19 844.20/844.41 c 844s | 21 | 3281809 | 1264345 | 9831 313 | 10 | 19 846.20/846.43 c 846s | 21 | 3289195 | 1267545 | 9831 314 | 10 | 19 848.20/848.45 c 848s | 21 | 3296333 | 1270645 | 9831 315 | 10 | 19 850.30/850.52 c 850s | 21 | 3302950 | 1273445 | 9831 315 | 10 | 19 852.31/852.55 c 852s | 21 | 3310717 | 1276445 | 9831 316 | 10 | 19 854.30/854.57 c 854s | 21 | 3318591 | 1279545 | 9831 316 | 10 | 19 856.40/856.60 c 856s | 21 | 3325644 | 1282745 | 9831 317 | 10 | 19 858.40/858.64 c 858s | 21 | 3332437 | 1285445 | 9831 318 | 10 | 19 860.40/860.68 c 860s | 21 | 3340834 | 1288645 | 9831 318 | 10 | 19 862.50/862.73 c 862s | 21 | 3348856 | 1291845 | 9831 319 | 10 | 19 864.50/864.73 c 864s | 21 | 3356207 | 1294945 | 9831 319 | 10 | 19 866.49/866.76 c 866s | 21 | 3364270 | 1298245 | 9831 320 | 10 | 19 868.49/868.80 c 868s | 21 | 3371945 | 1301545 | 9831 321 | 10 | 19 870.59/870.81 c 870s | 21 | 3379514 | 1304645 | 9831 321 | 10 | 19 872.59/872.85 c 872s | 21 | 3386885 | 1307845 | 9831 322 | 10 | 19 874.59/874.86 c 874s | 21 | 3394538 | 1310945 | 9831 322 | 10 | 19 876.59/876.86 c 876s | 21 | 3402095 | 1313945 | 9831 323 | 10 | 19 878.58/878.89 c 878s | 21 | 3409643 | 1317045 | 9831 324 | 10 | 19 880.69/880.90 c 880s | 21 | 3417551 | 1320345 | 9831 324 | 10 | 19 882.69/882.94 c 882s | 21 | 3425888 | 1323845 | 9831 325 | 10 | 19 884.69/885.00 c 884s | 21 | 3433165 | 1326845 | 9831 326 | 10 | 19 886.79/887.03 c 886s | 21 | 3440998 | 1330145 | 9831 326 | 10 | 19 888.79/889.04 c 888s | 21 | 3448719 | 1333345 | 9831 327 | 10 | 19 890.79/891.09 c 890s | 21 | 3456954 | 1336645 | 9831 327 | 10 | 19 892.88/893.10 c 892s | 21 | 3464911 | 1339945 | 9831 328 | 10 | 19 894.88/895.16 c 894s | 21 | 3473186 | 1343045 | 9831 329 | 10 | 19 896.88/897.16 c 896s | 21 | 3481045 | 1346445 | 9831 329 | 10 | 19 898.88/899.19 c 898s | 21 | 3489554 | 1349945 | 9831 330 | 10 | 19 900.98/901.24 c 900s | 21 | 3492528 | 1351145 | 9831 330 | 10 | 19 902.98/903.29 c 902s | 21 | 3499004 | 1353745 | 9831 331 | 10 | 19 905.08/905.32 c 905s | 21 | 3506530 | 1356745 | 9831 331 | 10 | 19 907.07/907.37 c 907s | 21 | 3513781 | 1359645 | 9831 332 | 10 | 19 909.07/909.38 c 909s | 21 | 3520536 | 1362245 | 9831 333 | 10 | 19 911.17/911.41 c 911s | 21 | 3528553 | 1365245 | 9831 333 | 10 | 19 913.17/913.47 c 913s | 21 | 3537503 | 1368345 | 9831 334 | 10 | 19 915.27/915.53 c 915s | 21 | 3545779 | 1371445 | 9831 334 | 10 | 19 917.28/917.56 c 917s | 21 | 3553509 | 1374345 | 9831 335 | 10 | 19 919.27/919.58 c 919s | 21 | 3561118 | 1377345 | 9831 335 | 10 | 19 921.37/921.61 c 921s | 21 | 3569185 | 1380445 | 9831 336 | 10 | 19 923.47/923.75 c 923s | 21 | 3576528 | 1383245 | 9831 337 | 10 | 19 925.57/925.80 c 925s | 21 | 3583747 | 1386045 | 9831 337 | 10 | 19 927.57/927.86 c 927s | 21 | 3590671 | 1388745 | 9831 338 | 10 | 19 929.57/929.90 c 929s | 21 | 3597589 | 1391445 | 9831 338 | 10 | 19 931.67/931.93 c 931s | 21 | 3605480 | 1394245 | 9831 339 | 10 | 19 933.67/934.00 c 933s | 21 | 3612561 | 1397045 | 9831 339 | 10 | 19 935.77/936.05 c 935s | 21 | 3620539 | 1399945 | 9831 340 | 10 | 19 937.76/938.07 c 937s | 21 | 3628203 | 1402845 | 9831 341 | 10 | 19 939.86/940.12 c 939s | 21 | 3635444 | 1405745 | 9831 341 | 10 | 19 941.86/942.13 c 941s | 21 | 3642855 | 1408545 | 9831 342 | 10 | 19 943.86/944.15 c 943s | 21 | 3651099 | 1411545 | 9831 342 | 10 | 19 945.87/946.18 c 945s | 21 | 3658410 | 1414345 | 9831 343 | 10 | 19 947.86/948.19 c 947s | 21 | 3666201 | 1417345 | 9831 343 | 10 | 19 949.96/950.24 c 949s | 21 | 3673674 | 1420245 | 9831 344 | 10 | 19 952.06/952.38 c 952s | 21 | 3681318 | 1423245 | 9831 345 | 10 | 19 954.15/954.40 c 954s | 21 | 3687196 | 1425645 | 9831 345 | 10 | 19 956.15/956.42 c 956s | 21 | 3695085 | 1428545 | 9831 346 | 10 | 19 958.15/958.47 c 958s | 21 | 3702879 | 1431545 | 9831 346 | 10 | 19 960.16/960.49 c 960s | 21 | 3709461 | 1434145 | 9831 347 | 10 | 19 962.27/962.51 c 962s | 21 | 3717049 | 1437045 | 9831 347 | 10 | 19 964.26/964.52 c 964s | 21 | 3724411 | 1440045 | 9831 348 | 10 | 19 966.26/966.55 c 966s | 21 | 3732147 | 1443045 | 9831 348 | 10 | 19 968.35/968.61 c 968s | 21 | 3739873 | 1446045 | 9831 349 | 10 | 19 970.35/970.63 c 970s | 21 | 3747094 | 1448945 | 9831 350 | 10 | 19 972.35/972.64 c 972s | 21 | 3754415 | 1451945 | 9831 350 | 10 | 19 974.36/974.68 c 974s | 21 | 3761682 | 1454945 | 9831 351 | 10 | 19 976.34/976.69 c 976s | 21 | 3768767 | 1457845 | 9831 351 | 10 | 19 978.44/978.71 c 978s | 21 | 3776366 | 1460945 | 9831 352 | 10 | 19 980.44/980.71 c 980s | 21 | 3783703 | 1464045 | 9831 353 | 10 | 19 982.45/982.74 c 982s | 21 | 3790002 | 1466445 | 9831 353 | 10 | 19 984.45/984.77 c 984s | 21 | 3798459 | 1469545 | 9831 354 | 10 | 19 986.45/986.79 c 986s | 21 | 3806169 | 1472345 | 9831 354 | 10 | 19 988.54/988.80 c 988s | 21 | 3813814 | 1475345 | 9831 355 | 10 | 19 990.54/990.86 c 990s | 21 | 3821563 | 1478345 | 9831 355 | 10 | 19 992.54/992.89 c 992s | 21 | 3828901 | 1481245 | 9831 356 | 10 | 19 994.64/994.95 c 994s | 21 | 3836227 | 1484145 | 9831 356 | 10 | 19 996.74/997.01 c 996s | 21 | 3844531 | 1487245 | 9831 357 | 10 | 19 998.74/999.05 c 998s | 21 | 3851922 | 1490245 | 10815 357 | 10 | 19 1000.74/1001.09 c 1000s | 21 | 3859556 | 1493345 | 10815 358 | 10 | 19 1002.84/1003.11 c 1002s | 21 | 3867530 | 1496445 | 10815 359 | 10 | 19 1004.83/1005.12 c 1004s | 21 | 3873976 | 1498645 | 10815 359 | 10 | 19 1006.24/1006.51 c 1006s | 22 | 3879064 | 1500622 | 10815 359 | 10 | 19 1008.23/1008.52 c 1008s | 22 | 3885926 | 1503022 | 10815 360 | 10 | 19 1010.23/1010.58 c 1010s | 22 | 3893615 | 1505722 | 10815 360 | 10 | 19 1012.33/1012.60 c 1012s | 22 | 3900589 | 1508322 | 10815 361 | 10 | 19 1014.33/1014.61 c 1014s | 22 | 3908472 | 1511022 | 10815 361 | 10 | 19 1016.32/1016.67 c 1016s | 22 | 3915983 | 1513722 | 10815 362 | 10 | 19 1018.33/1018.69 c 1018s | 22 | 3923954 | 1516522 | 10815 362 | 10 | 19 1020.32/1020.69 c 1020s | 22 | 3931146 | 1519222 | 10815 363 | 10 | 19 1022.42/1022.74 c 1022s | 22 | 3938649 | 1522122 | 10815 363 | 10 | 19 1024.42/1024.78 c 1024s | 22 | 3946077 | 1524822 | 10815 364 | 10 | 19 1026.52/1026.81 c 1026s | 22 | 3953734 | 1527822 | 10815 364 | 10 | 19 1028.52/1028.83 c 1028s | 22 | 3961539 | 1530822 | 10815 365 | 10 | 19 1030.52/1030.84 c 1030s | 22 | 3968544 | 1533822 | 10815 365 | 10 | 19 1032.52/1032.89 c 1032s | 22 | 3976233 | 1536822 | 10815 366 | 10 | 19 1034.62/1034.96 c 1034s | 22 | 3982117 | 1539022 | 10815 366 | 10 | 19 1036.62/1036.99 c 1036s | 22 | 3990007 | 1541722 | 10815 367 | 10 | 19 1038.72/1039.01 c 1038s | 22 | 3997530 | 1544622 | 10815 367 | 10 | 19 1040.72/1041.05 c 1040s | 22 | 4004725 | 1547322 | 10815 368 | 10 | 19 1042.72/1043.06 c 1042s | 22 | 4011612 | 1550122 | 10815 368 | 10 | 19 1044.83/1045.13 c 1044s | 22 | 4018635 | 1552822 | 10815 369 | 10 | 19 1046.81/1047.14 c 1046s | 22 | 4025921 | 1555622 | 10815 369 | 10 | 19 1048.91/1049.20 c 1048s | 22 | 4032869 | 1558322 | 10815 370 | 10 | 19 1050.91/1051.25 c 1050s | 22 | 4040531 | 1561322 | 10815 370 | 10 | 19 1053.01/1053.30 c 1052s | 22 | 4048135 | 1564222 | 10815 371 | 10 | 19 1055.01/1055.34 c 1055s | 22 | 4056139 | 1567222 | 10815 371 | 10 | 19 1057.01/1057.38 c 1057s | 22 | 4063469 | 1569922 | 10815 372 | 10 | 19 1059.12/1059.44 c 1059s | 22 | 4070550 | 1572822 | 10815 372 | 10 | 19 1061.11/1061.48 c 1061s | 22 | 4078145 | 1575822 | 10815 373 | 10 | 19 1063.21/1063.52 c 1063s | 22 | 4085974 | 1578822 | 10815 373 | 10 | 19 1065.21/1065.56 c 1065s | 22 | 4093680 | 1581822 | 10815 374 | 10 | 19 1067.30/1067.62 c 1067s | 22 | 4101486 | 1584922 | 10815 374 | 10 | 19 1069.30/1069.64 c 1069s | 22 | 4109468 | 1588222 | 10815 375 | 10 | 19 1071.30/1071.69 c 1071s | 22 | 4114544 | 1590222 | 10815 375 | 10 | 19 1073.31/1073.70 c 1073s | 22 | 4121641 | 1592822 | 10815 376 | 10 | 19 1075.40/1075.78 c 1075s | 22 | 4129865 | 1595522 | 10815 376 | 10 | 19 1077.49/1077.81 c 1077s | 22 | 4137044 | 1598222 | 10815 377 | 10 | 19 1079.49/1079.87 c 1079s | 22 | 4145174 | 1601122 | 10815 377 | 10 | 19 1081.59/1081.90 c 1081s | 22 | 4152655 | 1603622 | 10815 378 | 10 | 19 1083.59/1083.93 c 1083s | 22 | 4160110 | 1606522 | 10815 378 | 10 | 19 1085.59/1085.99 c 1085s | 22 | 4167460 | 1609222 | 10815 379 | 10 | 19 1087.69/1088.01 c 1087s | 22 | 4174491 | 1611822 | 10815 379 | 10 | 19 1089.69/1090.05 c 1089s | 22 | 4181727 | 1614522 | 10815 380 | 10 | 19 1091.79/1092.11 c 1091s | 22 | 4189716 | 1617422 | 10815 380 | 10 | 19 1094.08/1094.41 c 1094s | 22 | 4196114 | 1619922 | 10815 381 | 10 | 19 1096.08/1096.44 c 1096s | 22 | 4203555 | 1622622 | 10815 381 | 10 | 19 1098.08/1098.48 c 1098s | 22 | 4211057 | 1625422 | 10815 382 | 10 | 19 1100.18/1100.54 c 1100s | 22 | 4218550 | 1628122 | 10815 382 | 10 | 19 1102.18/1102.54 c 1102s | 22 | 4225467 | 1630922 | 10815 383 | 10 | 19 1104.19/1104.54 c 1104s | 22 | 4233779 | 1633822 | 10815 383 | 10 | 19 1106.18/1106.55 c 1106s | 22 | 4241878 | 1636722 | 10815 384 | 10 | 19 1108.28/1108.62 c 1108s | 22 | 4249429 | 1639622 | 10815 384 | 10 | 19 1110.28/1110.62 c 1110s | 22 | 4257060 | 1642222 | 10815 385 | 10 | 19 1112.28/1112.64 c 1112s | 22 | 4265007 | 1645122 | 10815 385 | 10 | 19 1114.37/1114.70 c 1114s | 22 | 4272739 | 1647922 | 10815 386 | 10 | 19 1116.37/1116.74 c 1116s | 22 | 4280975 | 1650922 | 10815 386 | 10 | 19 1118.38/1118.78 c 1118s | 22 | 4289330 | 1653922 | 10815 387 | 10 | 19 1120.37/1120.79 c 1120s | 22 | 4297173 | 1657222 | 10815 387 | 10 | 19 1122.48/1122.86 c 1122s | 22 | 4303312 | 1659622 | 10815 388 | 10 | 19 1124.48/1124.88 c 1124s | 22 | 4310561 | 1662422 | 10815 388 | 10 | 19 1126.57/1126.95 c 1126s | 22 | 4318001 | 1665222 | 10815 389 | 10 | 19 1128.67/1129.02 c 1128s | 22 | 4325752 | 1668122 | 10815 389 | 10 | 19 1130.67/1131.04 c 1130s | 22 | 4333106 | 1671022 | 10815 390 | 10 | 19 1132.68/1133.09 c 1132s | 22 | 4340315 | 1673822 | 10815 390 | 10 | 19 1134.77/1135.12 c 1134s | 22 | 4347651 | 1676722 | 10815 391 | 10 | 19 1136.77/1137.17 c 1136s | 22 | 4355747 | 1679922 | 10815 391 | 10 | 19 1138.87/1139.21 c 1138s | 22 | 4363392 | 1682922 | 10815 392 | 10 | 19 1141.17/1141.52 c 1141s | 22 | 4371157 | 1685922 | 10815 393 | 10 | 19 1143.17/1143.58 c 1143s | 22 | 4378236 | 1688622 | 10815 393 | 10 | 19 1145.27/1145.62 c 1145s | 22 | 4385532 | 1691322 | 10815 393 | 10 | 19 1147.26/1147.66 c 1147s | 22 | 4393594 | 1694122 | 10815 394 | 10 | 19 1149.36/1149.73 c 1149s | 22 | 4401181 | 1696822 | 10815 394 | 10 | 19 1151.37/1151.76 c 1151s | 22 | 4409009 | 1699822 | 10815 395 | 10 | 19 1153.36/1153.77 c 1153s | 22 | 4416288 | 1702822 | 10815 396 | 10 | 19 1155.46/1155.80 c 1155s | 22 | 4423515 | 1705722 | 10815 396 | 10 | 19 1157.46/1157.85 c 1157s | 22 | 4430755 | 1708522 | 10815 397 | 10 | 19 1159.45/1159.87 c 1159s | 22 | 4438604 | 1711322 | 10815 397 | 10 | 19 1161.45/1161.89 c 1161s | 22 | 4446569 | 1714122 | 10815 398 | 10 | 19 1163.56/1163.93 c 1163s | 22 | 4454809 | 1717222 | 10815 398 | 10 | 19 1165.55/1165.94 c 1165s | 22 | 4461914 | 1720122 | 10815 399 | 10 | 19 1167.55/1167.99 c 1167s | 22 | 4469856 | 1723422 | 10815 399 | 10 | 19 1169.85/1170.22 c 1169s | 22 | 4477390 | 1726522 | 10815 400 | 10 | 19 1171.85/1172.29 c 1171s | 22 | 4482857 | 1728522 | 10815 400 | 10 | 19 1173.95/1174.30 c 1173s | 22 | 4489880 | 1731122 | 10815 401 | 10 | 19 1175.95/1176.36 c 1176s | 22 | 4497002 | 1733922 | 10815 401 | 10 | 19 1178.05/1178.42 c 1178s | 22 | 4504105 | 1736622 | 10815 402 | 10 | 19 1180.06/1180.47 c 1180s | 22 | 4511368 | 1739522 | 10815 402 | 10 | 19 1182.05/1182.50 c 1182s | 22 | 4518419 | 1742222 | 10815 403 | 10 | 19 1184.15/1184.56 c 1184s | 22 | 4525703 | 1745122 | 10815 403 | 10 | 19 1186.25/1186.60 c 1186s | 22 | 4532108 | 1747722 | 10815 404 | 10 | 19 1188.24/1188.64 c 1188s | 22 | 4539262 | 1750622 | 10815 404 | 10 | 19 1190.24/1190.66 c 1190s | 22 | 4546536 | 1753322 | 10815 405 | 10 | 19 1192.34/1192.72 c 1192s | 22 | 4553996 | 1756222 | 10815 405 | 10 | 19 1194.35/1194.76 c 1194s | 22 | 4560897 | 1759022 | 10815 406 | 10 | 19 1196.44/1196.82 c 1196s | 22 | 4568796 | 1762022 | 10815 406 | 10 | 19 1198.44/1198.83 c 1198s | 22 | 4575807 | 1765022 | 10815 407 | 10 | 19 1200.44/1200.89 c 1200s | 22 | 4582480 | 1767522 | 10815 407 | 10 | 19 1202.54/1202.91 c 1202s | 22 | 4589189 | 1770122 | 10815 408 | 10 | 19 1204.54/1204.92 c 1204s | 22 | 4596408 | 1773022 | 10815 408 | 10 | 19 1206.53/1206.94 c 1206s | 22 | 4603691 | 1775922 | 10815 409 | 10 | 19 1208.54/1208.99 c 1208s | 22 | 4611272 | 1778922 | 10815 409 | 10 | 19 1210.63/1211.02 c 1210s | 22 | 4618106 | 1781722 | 10815 410 | 10 | 19 1212.63/1213.05 c 1212s | 22 | 4625210 | 1784522 | 10815 410 | 10 | 19 1214.73/1215.11 c 1214s | 22 | 4632452 | 1787222 | 10815 411 | 10 | 19 1216.72/1217.15 c 1216s | 22 | 4639582 | 1790022 | 10815 411 | 10 | 19 1218.72/1219.16 c 1218s | 22 | 4646296 | 1792722 | 10815 412 | 10 | 19 1220.73/1221.17 c 1220s | 22 | 4653735 | 1795622 | 10815 412 | 10 | 19 1222.83/1223.22 c 1222s | 22 | 4661493 | 1798722 | 10815 413 | 10 | 19 1224.82/1225.26 c 1224s | 22 | 4670351 | 1801822 | 10815 413 | 10 | 19 1226.82/1227.29 c 1226s | 22 | 4676972 | 1804322 | 10815 414 | 10 | 19 1228.92/1229.31 c 1228s | 22 | 4684252 | 1807222 | 10815 414 | 10 | 19 1230.92/1231.36 c 1231s | 22 | 4691414 | 1809922 | 10815 415 | 10 | 19 1232.92/1233.37 c 1233s | 22 | 4698766 | 1812722 | 10815 415 | 10 | 19 1234.92/1235.37 c 1235s | 22 | 4706395 | 1815622 | 10815 416 | 10 | 19 1236.91/1237.37 c 1237s | 22 | 4714702 | 1818822 | 10815 416 | 10 | 19 1239.01/1239.44 c 1239s | 22 | 4721938 | 1821622 | 10815 417 | 10 | 19 1241.11/1241.51 c 1241s | 22 | 4729321 | 1824522 | 10815 417 | 10 | 19 1243.11/1243.52 c 1243s | 22 | 4736580 | 1827222 | 10815 418 | 10 | 19 1245.11/1245.55 c 1245s | 22 | 4743776 | 1830022 | 10815 418 | 10 | 19 1247.21/1247.60 c 1247s | 22 | 4751612 | 1833022 | 10815 419 | 10 | 19 1249.21/1249.62 c 1249s | 22 | 4758932 | 1835922 | 10815 419 | 10 | 19 1251.20/1251.66 c 1251s | 22 | 4765883 | 1838722 | 10815 420 | 10 | 19 1253.20/1253.68 c 1253s | 22 | 4773313 | 1841522 | 10815 420 | 10 | 19 1255.20/1255.69 c 1255s | 22 | 4780628 | 1844522 | 10815 421 | 10 | 19 1257.30/1257.77 c 1257s | 22 | 4787957 | 1847522 | 10815 421 | 10 | 19 1259.40/1259.82 c 1259s | 22 | 4795173 | 1850522 | 10815 422 | 10 | 19 1261.41/1261.84 c 1261s | 22 | 4802260 | 1853422 | 10815 422 | 10 | 19 1263.40/1263.86 c 1263s | 22 | 4809734 | 1856422 | 10815 423 | 10 | 19 1265.50/1265.93 c 1265s | 22 | 4817853 | 1859622 | 10815 423 | 10 | 19 1267.49/1267.98 c 1267s | 22 | 4825539 | 1862722 | 10815 424 | 10 | 19 1269.59/1270.01 c 1269s | 22 | 4832844 | 1865722 | 10815 425 | 10 | 19 1271.59/1272.04 c 1271s | 22 | 4841316 | 1869122 | 10815 425 | 10 | 19 1273.60/1274.08 c 1273s | 22 | 4847128 | 1871522 | 10815 426 | 10 | 19 1275.71/1276.13 c 1275s | 22 | 4855142 | 1874622 | 10815 426 | 10 | 19 1277.70/1278.16 c 1277s | 22 | 4861952 | 1877322 | 10815 427 | 10 | 19 1279.80/1280.23 c 1279s | 22 | 4869830 | 1880222 | 10815 427 | 10 | 19 1281.80/1282.25 c 1281s | 22 | 4876206 | 1882922 | 10815 428 | 10 | 19 1283.79/1284.27 c 1283s | 22 | 4883625 | 1885922 | 10815 428 | 10 | 19 1285.89/1286.30 c 1285s | 22 | 4891092 | 1888722 | 10815 429 | 10 | 19 1287.89/1288.31 c 1287s | 22 | 4899104 | 1891722 | 10815 429 | 10 | 19 1289.90/1290.34 c 1290s | 22 | 4907003 | 1894722 | 10815 430 | 10 | 19 1291.99/1292.40 c 1292s | 22 | 4914323 | 1897522 | 10815 430 | 10 | 19 1293.99/1294.44 c 1294s | 22 | 4922226 | 1900522 | 10815 431 | 10 | 19 1295.99/1296.46 c 1296s | 22 | 4929067 | 1903322 | 10815 431 | 10 | 19 1297.98/1298.48 c 1298s | 22 | 4935933 | 1906022 | 10815 432 | 10 | 19 1300.08/1300.51 c 1300s | 22 | 4943882 | 1909222 | 10815 432 | 10 | 19 1302.09/1302.53 c 1302s | 22 | 4951166 | 1912122 | 10815 433 | 10 | 19 1304.08/1304.56 c 1304s | 22 | 4959003 | 1915022 | 10815 433 | 10 | 19 1306.08/1306.57 c 1306s | 22 | 4966137 | 1918022 | 10815 434 | 10 | 19 1308.08/1308.60 c 1308s | 22 | 4973526 | 1921222 | 10815 434 | 10 | 19 1310.18/1310.60 c 1310s | 22 | 4980960 | 1924522 | 10815 435 | 10 | 19 1312.18/1312.67 c 1312s | 22 | 4987143 | 1927022 | 10815 436 | 10 | 19 1314.28/1314.71 c 1314s | 22 | 4994567 | 1930122 | 10815 436 | 10 | 19 1316.28/1316.72 c 1316s | 22 | 5001960 | 1933222 | 10815 437 | 10 | 19 1318.37/1318.88 c 1318s | 22 | 5006941 | 1935422 | 10815 437 | 10 | 19 1320.47/1320.94 c 1320s | 22 | 5010725 | 1936822 | 10815 437 | 10 | 19 1322.47/1322.96 c 1322s | 22 | 5016484 | 1939222 | 10815 438 | 10 | 19 1324.57/1325.04 c 1324s | 22 | 5024390 | 1942022 | 10815 438 | 10 | 19 1326.56/1327.06 c 1326s | 22 | 5031564 | 1944622 | 10815 439 | 10 | 19 1328.56/1329.07 c 1328s | 22 | 5039056 | 1947322 | 10815 439 | 10 | 19 1330.67/1331.11 c 1330s | 22 | 5046006 | 1949922 | 10815 440 | 10 | 19 1332.66/1333.12 c 1332s | 22 | 5053754 | 1952722 | 10815 440 | 10 | 19 1334.67/1335.17 c 1334s | 22 | 5061068 | 1955322 | 10815 441 | 10 | 19 1336.66/1337.19 c 1336s | 22 | 5068417 | 1958322 | 10815 441 | 10 | 19 1338.76/1339.22 c 1338s | 22 | 5076055 | 1961122 | 10815 442 | 10 | 19 1340.76/1341.26 c 1340s | 22 | 5083526 | 1964022 | 10815 442 | 10 | 19 1342.77/1343.29 c 1342s | 22 | 5090657 | 1966922 | 10815 443 | 10 | 19 1344.87/1345.31 c 1344s | 22 | 5098505 | 1969922 | 10815 443 | 10 | 19 1346.86/1347.37 c 1347s | 22 | 5103016 | 1971822 | 10815 444 | 10 | 19 1348.96/1349.43 c 1349s | 22 | 5110390 | 1974322 | 10815 444 | 10 | 19 1350.96/1351.46 c 1351s | 22 | 5117521 | 1976822 | 10815 444 | 10 | 19 1352.96/1353.48 c 1353s | 22 | 5124557 | 1979422 | 10815 445 | 10 | 19 1355.06/1355.56 c 1355s | 22 | 5131883 | 1982122 | 10815 445 | 10 | 19 1357.16/1357.61 c 1357s | 22 | 5138708 | 1984922 | 10815 446 | 10 | 19 1359.16/1359.66 c 1359s | 22 | 5146034 | 1987722 | 10815 446 | 10 | 19 1361.26/1361.71 c 1361s | 22 | 5153087 | 1990322 | 10815 447 | 10 | 19 1363.25/1363.73 c 1363s | 22 | 5160121 | 1993022 | 10815 447 | 10 | 19 1365.25/1365.78 c 1365s | 22 | 5166809 | 1995822 | 10815 448 | 10 | 19 1367.35/1367.80 c 1367s | 22 | 5173927 | 1998522 | 10815 448 | 10 | 19 1369.35/1369.84 c 1369s | 22 | 5181109 | 2001322 | 10815 449 | 10 | 19 1371.45/1371.90 c 1371s | 22 | 5188682 | 2004222 | 10815 449 | 10 | 19 1373.45/1373.94 c 1373s | 22 | 5195825 | 2007122 | 10815 450 | 10 | 19 1375.45/1375.94 c 1375s | 22 | 5203000 | 2010122 | 10815 450 | 10 | 19 1377.45/1377.96 c 1377s | 22 | 5207947 | 2012022 | 10815 451 | 10 | 19 1379.55/1380.00 c 1379s | 22 | 5215693 | 2014722 | 10815 451 | 10 | 19 1381.55/1382.01 c 1381s | 22 | 5222461 | 2017322 | 10815 452 | 10 | 19 1383.55/1384.04 c 1383s | 22 | 5229721 | 2019922 | 10815 452 | 10 | 19 1385.55/1386.06 c 1385s | 22 | 5236685 | 2022422 | 10815 453 | 10 | 19 1387.55/1388.07 c 1387s | 22 | 5244446 | 2025222 | 10815 453 | 10 | 19 1389.65/1390.10 c 1389s | 22 | 5251476 | 2027822 | 10815 454 | 10 | 19 1391.65/1392.14 c 1391s | 22 | 5259091 | 2030622 | 10815 454 | 10 | 19 1393.65/1394.18 c 1393s | 22 | 5266215 | 2033222 | 10815 455 | 10 | 19 1395.75/1396.20 c 1395s | 22 | 5274535 | 2036222 | 10815 455 | 10 | 19 1397.84/1398.39 c 1398s | 22 | 5280889 | 2038722 | 10815 456 | 10 | 19 1399.95/1400.47 c 1400s | 22 | 5287504 | 2041122 | 10815 456 | 10 | 19 1401.94/1402.48 c 1402s | 22 | 5294641 | 2043822 | 10815 456 | 10 | 19 1404.04/1404.50 c 1404s | 22 | 5302106 | 2046522 | 10815 457 | 10 | 19 1406.04/1406.55 c 1406s | 22 | 5309016 | 2049222 | 10815 457 | 10 | 19 1408.04/1408.57 c 1408s | 22 | 5316045 | 2051922 | 10815 458 | 10 | 19 1410.14/1410.61 c 1410s | 22 | 5323480 | 2054622 | 10815 458 | 10 | 19 1412.14/1412.63 c 1412s | 22 | 5331216 | 2057322 | 10815 459 | 10 | 19 1414.15/1414.64 c 1414s | 22 | 5338210 | 2060022 | 10815 459 | 10 | 19 1416.24/1416.70 c 1416s | 22 | 5346130 | 2063122 | 10815 460 | 10 | 19 1418.24/1418.76 c 1418s | 22 | 5352402 | 2065522 | 10815 460 | 10 | 19 1420.34/1420.80 c 1420s | 22 | 5358554 | 2068022 | 10815 461 | 10 | 19 1422.34/1422.83 c 1422s | 22 | 5365484 | 2070722 | 10815 461 | 10 | 19 1424.34/1424.88 c 1424s | 22 | 5372413 | 2073322 | 10815 462 | 10 | 19 1426.44/1426.95 c 1426s | 22 | 5380127 | 2076122 | 10815 462 | 10 | 19 1428.54/1429.03 c 1428s | 22 | 5387451 | 2078922 | 10815 463 | 10 | 19 1430.54/1431.03 c 1430s | 22 | 5395060 | 2081622 | 10815 463 | 10 | 19 1432.54/1433.07 c 1432s | 22 | 5402050 | 2084522 | 10815 464 | 10 | 19 1434.64/1435.10 c 1434s | 22 | 5408691 | 2087122 | 10815 464 | 10 | 19 1436.63/1437.15 c 1436s | 22 | 5415557 | 2089522 | 10815 465 | 10 | 19 1438.63/1439.17 c 1438s | 22 | 5422884 | 2092222 | 10815 465 | 10 | 19 1440.73/1441.20 c 1440s | 22 | 5429641 | 2094822 | 10815 466 | 10 | 19 1442.74/1443.24 c 1442s | 22 | 5437287 | 2097622 | 10815 466 | 10 | 19 1444.73/1445.26 c 1444s | 22 | 5444236 | 2100222 | 10815 467 | 10 | 19 1446.83/1447.30 c 1446s | 22 | 5452362 | 2103222 | 10815 467 | 10 | 19 1448.83/1449.33 c 1449s | 22 | 5459142 | 2106122 | 10815 468 | 10 | 19 1450.83/1451.35 c 1451s | 22 | 5466167 | 2109322 | 10815 468 | 10 | 19 1452.83/1453.38 c 1453s | 22 | 5471761 | 2111522 | 10815 469 | 10 | 19 1454.94/1455.41 c 1455s | 22 | 5478391 | 2114222 | 10815 469 | 10 | 19 1456.93/1457.42 c 1457s | 22 | 5484707 | 2116822 | 10815 469 | 10 | 19 1458.93/1459.45 c 1459s | 22 | 5492530 | 2119622 | 10815 470 | 10 | 19 1461.03/1461.52 c 1461s | 22 | 5500728 | 2122522 | 10815 470 | 10 | 19 1463.03/1463.53 c 1463s | 22 | 5508424 | 2125422 | 10815 471 | 10 | 19 1465.03/1465.55 c 1465s | 22 | 5515904 | 2128322 | 10815 472 | 10 | 19 1467.13/1467.63 c 1467s | 22 | 5523103 | 2130922 | 10815 472 | 10 | 19 1469.13/1469.64 c 1469s | 22 | 5529642 | 2133322 | 10815 472 | 10 | 19 1471.12/1471.68 c 1471s | 22 | 5536894 | 2135922 | 10815 473 | 10 | 19 1473.23/1473.71 c 1473s | 22 | 5544343 | 2138622 | 10815 473 | 10 | 19 1475.22/1475.72 c 1475s | 22 | 5552428 | 2141422 | 10815 474 | 10 | 19 1477.22/1477.72 c 1477s | 22 | 5559654 | 2144122 | 10815 474 | 10 | 19 1479.22/1479.75 c 1479s | 22 | 5567255 | 2147222 | 10815 475 | 10 | 19 1481.34/1481.81 c 1481s | 22 | 5573508 | 2149722 | 10815 475 | 10 | 19 1483.33/1483.84 c 1483s | 22 | 5580922 | 2152422 | 10815 476 | 10 | 19 1485.33/1485.87 c 1485s | 22 | 5587944 | 2155222 | 10815 476 | 10 | 19 1487.43/1487.92 c 1487s | 22 | 5595127 | 2158122 | 10815 477 | 10 | 19 1489.43/1489.98 c 1489s | 22 | 5602247 | 2161122 | 10815 477 | 10 | 19 1491.53/1492.01 c 1491s | 22 | 5609459 | 2163822 | 10815 478 | 10 | 19 1493.53/1494.02 c 1493s | 22 | 5616093 | 2166422 | 10815 478 | 10 | 19 1495.53/1496.07 c 1495s | 22 | 5623248 | 2169122 | 10815 479 | 10 | 19 1497.63/1498.12 c 1497s | 22 | 5630519 | 2171822 | 10815 479 | 10 | 19 1499.63/1500.13 c 1499s | 22 | 5637668 | 2174622 | 10815 480 | 10 | 19 1501.62/1502.17 c 1501s | 22 | 5645657 | 2177622 | 10815 480 | 10 | 19 1503.82/1504.36 c 1504s | 22 | 5652747 | 2180322 | 10815 481 | 10 | 19 1505.92/1506.42 c 1506s | 22 | 5659331 | 2183022 | 10815 481 | 10 | 19 1507.92/1508.47 c 1508s | 22 | 5666736 | 2185722 | 10815 482 | 10 | 19 1509.93/1510.50 c 1510s | 22 | 5673771 | 2188622 | 10815 482 | 10 | 19 1512.13/1512.63 c 1512s | 22 | 5680963 | 2191522 | 10815 483 | 10 | 19 1514.12/1514.68 c 1514s | 22 | 5687994 | 2194422 | 10815 483 | 10 | 19 1516.22/1516.72 c 1516s | 22 | 5695732 | 2197322 | 10815 484 | 10 | 19 1518.22/1518.75 c 1518s | 22 | 5702694 | 2200322 | 10815 484 | 10 | 19 1520.32/1520.82 c 1520s | 22 | 5709543 | 2203022 | 10815 485 | 10 | 19 1522.42/1522.90 c 1522s | 22 | 5716466 | 2205522 | 10815 485 | 10 | 19 1524.42/1524.97 c 1524s | 22 | 5723347 | 2208422 | 10815 486 | 10 | 19 1526.42/1526.97 c 1526s | 22 | 5730783 | 2211222 | 10815 486 | 10 | 19 1528.53/1529.04 c 1528s | 22 | 5738292 | 2214222 | 10815 487 | 10 | 19 1530.52/1531.05 c 1530s | 22 | 5745820 | 2217322 | 10815 487 | 10 | 19 1532.62/1533.12 c 1532s | 22 | 5753974 | 2220422 | 10815 488 | 10 | 19 1534.62/1535.14 c 1534s | 22 | 5761314 | 2223122 | 10815 488 | 10 | 19 1536.62/1537.19 c 1536s | 22 | 5768648 | 2226022 | 10815 489 | 10 | 19 1538.72/1539.24 c 1538s | 22 | 5775416 | 2228822 | 10815 489 | 10 | 19 1540.73/1541.25 c 1540s | 22 | 5782191 | 2231622 | 10815 490 | 10 | 19 1542.72/1543.28 c 1542s | 22 | 5789797 | 2234422 | 10815 490 | 10 | 19 1544.82/1545.33 c 1545s | 22 | 5797387 | 2237422 | 11897 491 | 10 | 19 1546.92/1547.40 c 1547s | 22 | 5804415 | 2240322 | 11897 491 | 10 | 19 1548.92/1549.44 c 1549s | 22 | 5811285 | 2243122 | 11897 492 | 10 | 19 1550.92/1551.45 c 1551s | 22 | 5817959 | 2246022 | 11897 492 | 10 | 19 1552.92/1553.48 c 1553s | 22 | 5820732 | 2247122 | 11897 492 | 10 | 19 1555.02/1555.56 c 1555s | 22 | 5825642 | 2248822 | 11897 493 | 10 | 19 1556.81/1557.35 c 1557s | 23 | 5831027 | 2251038 | 11897 493 | 10 | 19 1558.91/1559.42 c 1559s | 23 | 5837713 | 2253438 | 11897 493 | 10 | 19 1560.91/1561.44 c 1561s | 23 | 5844049 | 2255838 | 11897 494 | 10 | 19 1563.01/1563.51 c 1563s | 23 | 5851415 | 2258538 | 11897 494 | 10 | 19 1565.01/1565.53 c 1565s | 23 | 5857343 | 2261038 | 11897 495 | 10 | 19 1567.03/1567.60 c 1567s | 23 | 5864280 | 2263638 | 11897 495 | 10 | 19 1569.12/1569.67 c 1569s | 23 | 5870881 | 2266138 | 11897 495 | 10 | 19 1571.22/1571.72 c 1571s | 23 | 5877874 | 2268838 | 11897 496 | 10 | 19 1573.22/1573.78 c 1573s | 23 | 5885056 | 2271638 | 11897 496 | 10 | 19 1575.32/1575.82 c 1575s | 23 | 5892254 | 2274438 | 11897 497 | 10 | 19 1577.32/1577.88 c 1577s | 23 | 5899796 | 2277238 | 11897 497 | 10 | 19 1579.42/1579.95 c 1579s | 23 | 5906826 | 2280138 | 11897 498 | 10 | 19 1581.42/1581.98 c 1581s | 23 | 5914388 | 2283138 | 11897 498 | 10 | 19 1583.52/1584.08 c 1583s | 23 | 5919929 | 2285338 | 11897 499 | 10 | 19 1585.61/1586.17 c 1585s | 23 | 5926883 | 2287838 | 11897 499 | 10 | 19 1587.61/1588.19 c 1587s | 23 | 5934264 | 2290338 | 11897 499 | 10 | 19 1589.71/1590.26 c 1589s | 23 | 5942091 | 2293138 | 11897 500 | 10 | 19 1591.71/1592.28 c 1591s | 23 | 5949007 | 2295838 | 11897 500 | 10 | 19 1593.81/1594.32 c 1594s | 23 | 5956138 | 2298638 | 11897 501 | 10 | 19 1595.81/1596.39 c 1596s | 23 | 5963925 | 2301438 | 11897 501 | 10 | 19 1597.91/1598.43 c 1598s | 23 | 5970941 | 2304038 | 11897 502 | 10 | 19 1599.91/1600.48 c 1600s | 23 | 5978343 | 2307038 | 11897 502 | 10 | 19 1602.01/1602.51 c 1602s | 23 | 5985640 | 2309838 | 11897 503 | 10 | 19 1604.01/1604.58 c 1604s | 23 | 5991530 | 2312038 | 11897 503 | 10 | 19 1606.11/1606.61 c 1606s | 23 | 5998829 | 2314738 | 11897 503 | 10 | 19 1608.11/1608.67 c 1608s | 23 | 6006333 | 2317338 | 11897 504 | 10 | 19 1610.20/1610.73 c 1610s | 23 | 6013078 | 2319838 | 11897 504 | 10 | 19 1612.22/1612.79 c 1612s | 23 | 6020348 | 2322438 | 11897 505 | 10 | 19 1614.32/1614.87 c 1614s | 23 | 6026783 | 2325138 | 11897 505 | 10 | 19 1616.41/1616.93 c 1616s | 23 | 6033381 | 2327638 | 11897 506 | 10 | 19 1618.41/1618.98 c 1618s | 23 | 6042053 | 2330638 | 11897 506 | 10 | 19 1620.51/1621.03 c 1620s | 23 | 6049273 | 2333438 | 11897 506 | 10 | 19 1622.51/1623.04 c 1622s | 23 | 6057087 | 2336438 | 11897 507 | 10 | 19 1624.61/1625.11 c 1624s | 23 | 6065034 | 2339438 | 11897 507 | 10 | 19 1626.60/1627.11 c 1626s | 23 | 6073515 | 2342638 | 11897 508 | 10 | 19 1628.61/1629.11 c 1628s | 23 | 6078265 | 2344438 | 11897 508 | 10 | 19 1630.61/1631.17 c 1630s | 23 | 6084411 | 2346838 | 11897 509 | 10 | 19 1632.71/1633.24 c 1632s | 23 | 6092039 | 2349638 | 11897 509 | 10 | 19 1634.81/1635.30 c 1634s | 23 | 6098428 | 2352238 | 11897 510 | 10 | 19 1636.81/1637.35 c 1637s | 23 | 6104786 | 2354838 | 11897 510 | 10 | 19 1638.90/1639.44 c 1639s | 23 | 6112061 | 2357538 | 11897 510 | 10 | 19 1640.90/1641.47 c 1641s | 23 | 6119013 | 2360438 | 11897 511 | 10 | 19 1642.91/1643.49 c 1643s | 23 | 6126256 | 2363138 | 11897 511 | 10 | 19 1645.00/1645.51 c 1645s | 23 | 6133225 | 2365938 | 11897 512 | 10 | 19 1647.00/1647.53 c 1647s | 23 | 6139160 | 2368338 | 11897 512 | 10 | 19 1649.10/1649.63 c 1649s | 23 | 6145420 | 2370638 | 11897 513 | 10 | 19 1651.10/1651.68 c 1651s | 23 | 6152943 | 2373238 | 11897 513 | 10 | 19 1653.20/1653.71 c 1653s | 23 | 6159394 | 2375838 | 11897 513 | 10 | 19 1655.20/1655.75 c 1655s | 23 | 6166092 | 2378438 | 11897 514 | 10 | 19 1657.21/1657.79 c 1657s | 23 | 6172707 | 2381038 | 11897 514 | 10 | 19 1659.30/1659.83 c 1659s | 23 | 6178964 | 2383538 | 11897 515 | 10 | 19 1661.30/1661.85 c 1661s | 23 | 6185875 | 2386338 | 11897 515 | 10 | 19 1663.40/1663.93 c 1663s | 23 | 6193138 | 2389138 | 11897 516 | 10 | 19 1665.40/1665.97 c 1665s | 23 | 6201257 | 2392238 | 11897 516 | 10 | 19 1667.50/1668.02 c 1667s | 23 | 6208426 | 2395038 | 11897 516 | 10 | 19 1669.50/1670.03 c 1669s | 23 | 6216240 | 2398238 | 11897 517 | 10 | 19 1671.51/1672.05 c 1671s | 23 | 6220623 | 2400038 | 11897 517 | 10 | 19 1673.60/1674.11 c 1673s | 23 | 6227411 | 2402538 | 11897 518 | 10 | 19 1675.60/1676.18 c 1675s | 23 | 6234758 | 2405138 | 11897 518 | 10 | 19 1677.70/1678.20 c 1677s | 23 | 6241744 | 2407738 | 11897 519 | 10 | 19 1679.70/1680.24 c 1679s | 23 | 6249464 | 2410538 | 11897 519 | 10 | 19 1681.70/1682.24 c 1681s | 23 | 6256634 | 2413138 | 11897 519 | 10 | 19 1683.70/1684.25 c 1683s | 23 | 6263630 | 2415638 | 11897 520 | 10 | 19 1685.81/1686.32 c 1686s | 23 | 6270099 | 2418038 | 11897 520 | 10 | 19 1687.80/1688.36 c 1688s | 23 | 6277491 | 2420738 | 11897 521 | 10 | 19 1689.90/1690.44 c 1690s | 23 | 6285247 | 2423438 | 11897 521 | 10 | 19 1691.89/1692.44 c 1692s | 23 | 6291787 | 2425938 | 11897 522 | 10 | 19 1693.89/1694.48 c 1694s | 23 | 6299965 | 2428938 | 11897 522 | 10 | 19 1695.99/1696.55 c 1696s | 23 | 6307936 | 2431838 | 11897 522 | 10 | 19 1698.00/1698.57 c 1698s | 23 | 6315868 | 2434938 | 11897 523 | 10 | 19 1700.10/1700.63 c 1700s | 23 | 6323661 | 2438138 | 11897 523 | 10 | 19 1702.09/1702.65 c 1702s | 23 | 6329327 | 2440138 | 11897 524 | 10 | 19 1704.09/1704.68 c 1704s | 23 | 6336988 | 2442738 | 11897 524 | 10 | 19 1706.09/1706.69 c 1706s | 23 | 6343566 | 2445338 | 11897 525 | 10 | 19 1708.19/1708.71 c 1708s | 23 | 6351109 | 2448138 | 11897 525 | 10 | 19 1710.19/1710.74 c 1710s | 23 | 6358137 | 2450638 | 11897 526 | 10 | 19 1712.20/1712.75 c 1712s | 23 | 6364814 | 2453238 | 11897 526 | 10 | 19 1714.19/1714.78 c 1714s | 23 | 6371267 | 2455838 | 11897 526 | 10 | 19 1716.29/1716.85 c 1716s | 23 | 6378571 | 2458538 | 11897 527 | 10 | 19 1718.39/1718.90 c 1718s | 23 | 6385939 | 2461238 | 11897 527 | 10 | 19 1720.39/1720.97 c 1720s | 23 | 6393002 | 2464038 | 11897 528 | 10 | 19 1722.49/1723.04 c 1722s | 23 | 6400583 | 2467238 | 11897 528 | 10 | 19 1724.59/1725.14 c 1724s | 23 | 6407746 | 2470038 | 11897 529 | 10 | 19 1726.59/1727.18 c 1726s | 23 | 6414140 | 2472538 | 11897 529 | 10 | 19 1728.70/1729.23 c 1728s | 23 | 6420603 | 2475138 | 11897 530 | 10 | 19 1730.69/1731.23 c 1730s | 23 | 6427607 | 2477938 | 11897 530 | 10 | 19 1732.69/1733.28 c 1732s | 23 | 6434890 | 2480738 | 11897 530 | 10 | 19 1734.79/1735.33 c 1735s | 23 | 6441613 | 2483438 | 11897 531 | 10 | 19 1736.79/1737.34 c 1737s | 23 | 6448058 | 2485938 | 11897 531 | 10 | 19 1738.79/1739.34 c 1739s | 23 | 6455216 | 2488638 | 11897 532 | 10 | 19 1740.90/1741.41 c 1741s | 23 | 6462703 | 2491538 | 11897 532 | 10 | 19 1742.89/1743.41 c 1743s | 23 | 6470172 | 2494338 | 11897 533 | 10 | 19 1744.89/1745.44 c 1745s | 23 | 6477802 | 2497338 | 11897 533 | 10 | 19 1746.88/1747.49 c 1747s | 23 | 6485607 | 2500238 | 11897 534 | 10 | 19 1748.99/1749.53 c 1749s | 23 | 6492866 | 2502838 | 11897 534 | 10 | 19 1751.09/1751.61 c 1751s | 23 | 6499547 | 2505638 | 11897 535 | 10 | 19 1753.08/1753.61 c 1753s | 23 | 6506424 | 2508438 | 11897 535 | 10 | 19 1755.09/1755.68 c 1755s | 23 | 6513716 | 2511238 | 11897 535 | 10 | 19 1757.18/1757.73 c 1757s | 23 | 6520811 | 2514038 | 11897 536 | 10 | 19 1759.29/1759.81 c 1759s | 23 | 6527304 | 2516638 | 11897 536 | 10 | 19 1761.29/1761.83 c 1761s | 23 | 6534059 | 2519238 | 11897 537 | 10 | 19 1763.29/1763.88 c 1763s | 23 | 6541049 | 2522238 | 11897 537 | 10 | 19 1765.38/1765.91 c 1765s | 23 | 6547487 | 2524938 | 11897 538 | 10 | 19 1767.38/1767.94 c 1767s | 23 | 6554037 | 2527638 | 11897 538 | 10 | 19 1769.39/1769.95 c 1769s | 23 | 6560661 | 2530238 | 11897 538 | 10 | 19 1771.39/1771.99 c 1771s | 23 | 6567725 | 2533238 | 11897 539 | 10 | 19 1773.48/1774.00 c 1773s | 23 | 6575362 | 2536238 | 11897 539 | 10 | 19 1775.48/1776.02 c 1775s | 23 | 6582669 | 2539238 | 11897 540 | 10 | 19 1777.48/1778.03 c 1777s | 23 | 6590081 | 2542038 | 11897 540 | 10 | 19 1779.48/1780.03 c 1779s | 23 | 6597822 | 2544838 | 11897 541 | 10 | 19 1781.49/1782.10 c 1781s | 23 | 6605657 | 2547838 | 11897 541 | 10 | 19 1783.58/1784.14 c 1783s | 23 | 6612614 | 2550738 | 11897 542 | 10 | 19 1785.58/1786.17 c 1785s | 23 | 6619071 | 2553638 | 11897 542 | 10 | 19 1787.68/1788.21 c 1787s | 23 | 6626163 | 2556638 | 11897 543 | 10 | 19 1790.18/1790.76 c 1790s | 23 | 6628363 | 2557538 | 11897 543 | 10 | 19 1792.28/1792.81 c 1792s | 23 | 6634363 | 2559638 | 11897 543 | 10 | 19 1794.28/1794.83 c 1794s | 23 | 6641846 | 2562338 | 11897 544 | 10 | 19 1796.28/1796.84 c 1796s | 23 | 6648598 | 2564638 | 11897 544 | 10 | 19 1798.37/1798.91 c 1798s | 23 | 6655857 | 2567138 | 11897 544 | 10 | 19
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-4080119-1465255432/watcher-4080119-1465255432 -o /tmp/evaluation-result-4080119-1465255432/solver-4080119-1465255432 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080119-1465255432.opb pid=13097 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 2.01 2.04 4/179 13100 /proc/meminfo: memFree=30600780/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=459196 CPUtime=0 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 1664 0 0 0 0 0 0 0 20 0 4 0 107476690 470216704 2026 33554432000 4194304 16246674 140735656234224 140735656233648 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 115311 2035 441 2943 0 112205 0 [pid=13100/tid=13101] ppid=13097 vsize=475580 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 486993920 2092 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=479676 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 491188224 2108 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=484796 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107476691 496431104 2124 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100181 s] /proc/loadavg: 1.93 2.01 2.04 4/179 13100 /proc/meminfo: memFree=30600780/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 24899 0 0 0 5 4 0 0 20 0 4 0 107476690 1247350784 25248 33554432000 4194304 16246674 140735656234224 140735656233648 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 304529 25265 785 2943 0 301423 0 [pid=13100/tid=13101] ppid=13097 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1247350784 25279 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1247350784 25291 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107476691 1247350784 25300 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200578 s] /proc/loadavg: 1.93 2.01 2.04 4/179 13100 /proc/meminfo: memFree=30600780/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 48567 0 0 0 11 8 0 0 20 0 4 0 107476690 1247350784 48915 33554432000 4194304 16246674 140735656234224 140735656233648 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 304529 48927 785 2943 0 301423 0 [pid=13100/tid=13101] ppid=13097 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1247350784 48935 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1247350784 48945 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107476691 1247350784 48953 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300491 s] /proc/loadavg: 1.93 2.01 2.04 4/179 13100 /proc/meminfo: memFree=30600780/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 73763 0 0 0 18 11 0 0 20 0 4 0 107476690 1247350784 74112 33554432000 4194304 16246674 140735656234224 140735656233648 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 304529 74129 785 2943 0 301423 0 [pid=13100/tid=13101] ppid=13097 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1247350784 74138 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1247350784 74148 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107476691 1247350784 74159 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700425 s] /proc/loadavg: 1.93 2.01 2.04 4/179 13100 /proc/meminfo: memFree=30600780/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 157289 0 0 0 47 22 0 0 20 0 4 0 107476690 1247350784 157638 33554432000 4194304 16246674 140735656234224 140735656233648 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 304529 157651 786 2943 0 301423 0 [pid=13100/tid=13101] ppid=13097 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1247350784 157661 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1247350784 157667 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107476691 1247350784 157671 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50043 s] /proc/loadavg: 1.93 2.01 2.04 3/183 13104 /proc/meminfo: memFree=29651912/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 246187 0 0 0 116 33 0 0 20 0 4 0 107476690 1250496512 246513 33554432000 4194304 16246674 140735656234224 140735656233536 12659418 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 305297 246513 844 2943 0 302191 0 [pid=13100/tid=13101] ppid=13097 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1250496512 246513 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1250496512 246513 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1250496512 246513 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10044 s] /proc/loadavg: 1.93 2.01 2.04 3/183 13104 /proc/meminfo: memFree=29533740/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 267592 0 0 0 274 35 0 0 20 0 4 0 107476690 1337528320 267918 33554432000 4194304 16246674 140735656234224 140735656216128 5676117 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 326545 267918 845 2943 0 323439 0 [pid=13100/tid=13101] ppid=13097 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1337528320 267918 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1337528320 267918 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1337528320 267918 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30045 s] /proc/loadavg: 1.94 2.01 2.04 3/183 13104 /proc/meminfo: memFree=29529432/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1308228 CPUtime=6.28 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 267993 0 0 0 593 35 0 0 20 0 4 0 107476690 1339625472 268319 33554432000 4194304 16246674 140735656234224 140735656216128 5754700 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 327057 268319 845 2943 0 323951 0 [pid=13100/tid=13101] ppid=13097 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1339625472 268319 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1339625472 268319 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1339625472 268319 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 1.94 2.01 2.04 3/183 13104 /proc/meminfo: memFree=29528696/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1308228 CPUtime=12.68 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 268146 0 0 0 1233 35 0 0 20 0 4 0 107476690 1339625472 268472 33554432000 4194304 16246674 140735656234224 140735656216128 5675732 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 327057 268472 847 2943 0 323951 0 [pid=13100/tid=13101] ppid=13097 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1339625472 268472 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1339625472 268472 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1339625472 268472 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 1.96 2.00 2.04 3/183 13104 /proc/meminfo: memFree=29526352/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1311300 CPUtime=25.49 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 268801 0 0 0 2513 36 0 0 20 0 4 0 107476690 1342771200 269127 33554432000 4194304 16246674 140735656234224 140735656216128 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 327825 269127 848 2943 0 324719 0 [pid=13100/tid=13101] ppid=13097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1342771200 269127 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1342771200 269127 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1342771200 269127 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1311300 [startup+51.1006 s] /proc/loadavg: 1.97 2.00 2.04 3/183 13105 /proc/meminfo: memFree=29484964/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1314372 CPUtime=51.08 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 269435 0 0 0 5072 36 0 0 20 0 4 0 107476690 1345916928 269761 33554432000 4194304 16246674 140735656234224 140735656216128 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 328593 269761 848 2943 0 325487 0 [pid=13100/tid=13101] ppid=13097 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1345916928 269761 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1345916928 269761 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1345916928 269761 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1314372 [startup+102.301 s] /proc/loadavg: 1.98 2.00 2.03 3/183 13106 /proc/meminfo: memFree=29455152/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1314372 CPUtime=102.28 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 269683 0 0 0 10189 39 0 0 20 0 4 0 107476690 1345916928 270009 33554432000 4194304 16246674 140735656234224 140735656216128 5662156 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 328593 270009 848 2943 0 325487 0 [pid=13100/tid=13101] ppid=13097 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1345916928 270009 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1345916928 270009 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1345916928 270009 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1314372 ################ # More data... # ################ /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273597 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1328708 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13136 /proc/meminfo: memFree=29429768/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1328708 CPUtime=1301.88 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 273584 0 0 0 130091 97 0 0 20 0 4 0 107476690 1360596992 273597 33554432000 4194304 16246674 140735656234224 140735656216128 6022640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 332177 273597 849 2943 0 329071 0 [pid=13100/tid=13101] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273597 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273597 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273597 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1328708 [startup+1362.3 s] /proc/loadavg: 2.07 2.02 2.00 3/183 13137 /proc/meminfo: memFree=29430524/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1328708 CPUtime=1361.86 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 273614 0 0 0 136083 103 0 0 20 0 4 0 107476690 1360596992 273599 33554432000 4194304 16246674 140735656234224 140735656216128 5823849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 332177 273599 849 2943 0 329071 0 [pid=13100/tid=13101] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273599 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273599 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273599 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1328708 [startup+1422.3 s] /proc/loadavg: 2.02 2.01 2.00 3/183 13138 /proc/meminfo: memFree=29431356/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1328708 CPUtime=1421.85 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 273627 0 0 0 142080 105 0 0 20 0 4 0 107476690 1360596992 273600 33554432000 4194304 16246674 140735656234224 140735656216128 5516112 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 332177 273600 850 2943 0 329071 0 [pid=13100/tid=13101] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273600 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273600 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273600 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1328708 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 13139 /proc/meminfo: memFree=29431232/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1328708 CPUtime=1481.83 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 273627 0 0 0 148077 106 0 0 20 0 4 0 107476690 1360596992 273600 33554432000 4194304 16246674 140735656234224 140735656216128 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 332177 273600 850 2943 0 329071 0 [pid=13100/tid=13101] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273600 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273600 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273600 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1328708 [startup+1542.31 s] /proc/loadavg: 2.07 2.02 2.00 3/183 13140 /proc/meminfo: memFree=29431236/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1328708 CPUtime=1541.83 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 273627 0 0 0 154076 107 0 0 20 0 4 0 107476690 1360596992 273600 33554432000 4194304 16246674 140735656234224 140735656216128 5674768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 332177 273600 850 2943 0 329071 0 [pid=13100/tid=13101] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273600 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273600 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1360596992 273600 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1328708 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/184 13145 /proc/meminfo: memFree=29428752/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1330756 CPUtime=1601.81 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 274139 0 0 0 160070 111 0 0 20 0 4 0 107476690 1362694144 274112 33554432000 4194304 16246674 140735656234224 140735656216128 6023188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 332689 274112 850 2943 0 329583 0 [pid=13100/tid=13101] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1330756 [startup+1662.3 s] /proc/loadavg: 2.06 2.02 2.00 3/183 13146 /proc/meminfo: memFree=29428700/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1330756 CPUtime=1661.8 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 274139 0 0 0 166063 117 0 0 20 0 4 0 107476690 1362694144 274112 33554432000 4194304 16246674 140735656234224 140735656216128 6016316 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 332689 274112 850 2943 0 329583 0 [pid=13100/tid=13101] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1330756 [startup+1722.3 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13147 /proc/meminfo: memFree=29428824/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1330756 CPUtime=1721.79 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 274139 0 0 0 172059 120 0 0 20 0 4 0 107476690 1362694144 274112 33554432000 4194304 16246674 140735656234224 140735656216128 12477791 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 332689 274112 850 2943 0 329583 0 [pid=13100/tid=13101] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1330756 [startup+1782.3 s] /proc/loadavg: 2.05 2.03 2.00 3/183 13148 /proc/meminfo: memFree=29427716/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1330756 CPUtime=1781.78 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 274139 0 0 0 178054 124 0 0 20 0 4 0 107476690 1362694144 274112 33554432000 4194304 16246674 140735656234224 140735656216128 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 332689 274112 850 2943 0 329583 0 [pid=13100/tid=13101] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1330756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.10 2.04 2.01 3/183 13197 /proc/meminfo: memFree=29761596/32872528 swapFree=11196/354588 [pid=13100] ppid=13097 vsize=1330756 CPUtime=1800.07 cores=1,3,5,7 /proc/13100/stat : 13100 (toysat) R 13097 13100 12837 0 -1 4202496 274139 0 0 0 179882 125 0 0 20 0 4 0 107476690 1362694144 274112 33554432000 4194304 16246674 140735656234224 140735656216128 5677656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13100/statm: 332689 274112 850 2943 0 329583 0 [pid=13100/tid=13101] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521567661296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13100/tid=13102] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521557171440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13100/tid=13103] ppid=13097 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107476691 1362694144 274112 33554432000 4194304 16246674 140735656234224 140521546697904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1330756 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 13100 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1798.83 CPU system time (s): 1.25981 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 1330756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.83 system time used= 1.25981 maximum resident set size= 1096448 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274139 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= 371 involuntary context switches= 1930 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.1903 second user time and 17.8993 second system time The end
Begin job on node126 at 2016-06-07 01:23:52 IDJOB=4080119 IDBENCH=48105 IDSOLVER=2542 FILE ID=node126/4080119-1465255432 RUNJOBID= node126-1465253620-12854 PBS_JOBID= 19843265 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080119-1465255432/watcher-4080119-1465255432 -o /tmp/evaluation-result-4080119-1465255432/solver-4080119-1465255432 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080119-1465255432.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 431de611ddaca60ef9395e6cd3a99cf2 RANDOM SEED=220629721 node126.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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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: 30601404 kB Buffers: 63388 kB Cached: 139928 kB SwapCached: 2244 kB Active: 1094280 kB Inactive: 120564 kB Active(anon): 1011420 kB Inactive(anon): 2384 kB Active(file): 82860 kB Inactive(file): 118180 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098552 kB Dirty: 33528 kB Writeback: 0 kB AnonPages: 1365136 kB Mapped: 10732 kB Shmem: 0 kB Slab: 569196 kB SReclaimable: 12876 kB SUnreclaim: 556320 kB KernelStack: 1448 kB PageTables: 6908 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1579652 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 344064 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= 71708 MiB End job on node126 at 2016-06-07 01:53:53