| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_3.opb |
| MD5SUM | 7d5c1eba9f9b9c55d272c1a8f28b465a |
| 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 | -28 |
| 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 | -31 |
| Optimality of the best value was proved | NO |
| Number of variables | 400 |
| Total number of constraints | 601 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 12432 |
| Sum of products size (including duplicates) | 24864 |
| Number of different products | 6216 |
| Sum of products size | 12432 |
0.00/0.00 c 2016-06-18T21:11:51+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-4106754-1466277111.opb"] 0.00/0.01 c use --random-gen="4042845004 341934774 1044687622 2732471595 493000075 1307281927 1255803494 4100871609 1295906229 2227193410 3463055216 3841322831 270051103 2448367538 793833077 3518661620 1239140958 1688494937 2362094228 1174010563 3032429194 5507335 2600883667 2062692611 1612123251 2025943405 2500857199 3417029526 3905135310 2089453951 2222391271 761952195 4107099685 2747259 422597629 2255677607 2128635228 2890710143 1684623388 1414334495 1764311569 4096294902 3270600411 4041851093 4015108475 2553762855 4168268943 2757883245 1028900609 3339542699 1321966312 2539549544 3459427908 3540802705 924671644 523418027 1919830476 1153928242 978008865 656050306 1522502677 3522717896 2288409053 3542277778 1877617273 2641480991 4174910034 3061608384 409326842 433823056 1665786283 388163461 98400991 2564691211 240051164 4199954965 2616024299 969910696 587612255 49351283 4075795521 3308886370 3652789737 227628592 3747480062 133519712 923596050 520968383 3368157384 997019912 1177477093 3800003554 1966795541 4173478539 160539980 1499955266 1139043836 2112687775 785186230 4004192898 1690437663 104882880 3276619133 1290527604 1622196520 3195625580 2259336278 855164944 2129277872 3098719538 2867411172 3257627301 1390010730 2435904862 3711632063 2402894844 2717834322 1985572970 1413861686 1246250658 2842682655 2193939478 3773851514 3503334673 504542777 672466750 1531362455 1960309646 2030929832 3736871022 1330118484 3348743443 3395215412 4168323806 4261200275 4283691590 2708018091 1894219618 2692556467 2511432554 2415967083 2111133201 2147837479 3046292116 3853497184 3262100608 990873704 1715925177 1207833919 1852250335 1739800180 1894959531 4286312120 3687038294 2044265826 3777223511 3577363463 3841970190 2489307592 3390715674 4054724105 2084663839 3185968355 3088555761 1588909579 3352008982 350059664 4268544701 926373572 269905659 2028913436 2796022111 3077893017 4068347838 1818081408 4294361811 3022319713 3632866918 516442542 124021913 696976769 328037417 4183055496 76886265 2415687453 120599011 1951263218 3551506974 2704435558 1346741080 3492921290 2160242992 1556798975 2877968348 97621155 3092277283 3474546340 2895936317 465447629 1134112246 3211776311 1031958331 1029107245 1794801647 2976143829 1600231698 863436446 2845088435 4002481498 1469168184 2058071883 849289186 3319513689 2594818581 3831177161 3297421289 2117799881 3929830093 85352136 2079366943 3861884487 3345679182 3817134008 3355667084 344240478 600748218 1904544923 776986418 1695590035 2744817249 1553397777 2237371639 3372753786 1266506966 347088102 111509768 3114355540 2970585254 3036678118 1695774510 158723020 1994467991 2984295644 2974910546 3295278657 1636338210 167498624 3746018494 2532745960 2442086027 172587891 74259617 2136564627 2128207197 635933115 4030755619 255 362436" option to reproduce the execution 0.00/0.05 c #vars 400 0.00/0.05 c #constraints 601 0.19/0.21 c BCD2: Hardening is enabled. 0.19/0.21 c BCD2: BiasedSearch is enabled. 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 4478 0 | 0 | 0 0.19/0.22 c 0.0s | 0 | 218 | 1 | 4478 0 | 0 | 0 0.19/0.22 c #cpu_time = 0.012s 0.19/0.22 c #wall_clock_time = 0.012s 0.19/0.22 c #decision = 218 0.19/0.22 c #random_decision = 1 0.19/0.22 c #conflict = 1 0.19/0.22 c #restart = 0 0.19/0.22 o -16 0.19/0.22 c BCD2: updating upper bound: 200 -> 183 0.19/0.22 c BCD2: 0 <= obj <= 183 0.19/0.22 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 4478 0 | 0 | 0 0.19/0.23 c 0.0s | 0 | 103 | 2 | 4478 0 | 0 | 0 0.19/0.23 c #cpu_time = 0.009s 0.19/0.23 c #wall_clock_time = 0.009s 0.19/0.23 c #decision = 103 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 2 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 100: cost of the new core is >=1 0.19/0.23 c lower bound updated to -199 0.19/0.23 c BCD2: 1 <= obj <= 183 0.19/0.23 c BCD2: #cores=1, #unrelaxed=100, #relaxed=100, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 4478 0 | 0 | 0 0.19/0.25 c 0.0s | 0 | 101 | 1 | 4478 0 | 0 | 0 0.19/0.25 c #cpu_time = 0.014s 0.19/0.25 c #wall_clock_time = 0.014s 0.19/0.25 c #decision = 101 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 1 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: relaxing 100 and merging with 1 cores into a new core of size 200: cost of the new core is >=2 0.19/0.25 c lower bound updated to -198 0.19/0.25 c BCD2: 2 <= obj <= 183 0.19/0.25 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 4478 0 | 1 | 0 0.29/0.30 c 0.1s | 1 | 3680 | 100 | 4926 0 | 1 | 1 0.49/0.54 c 0.3s | 2 | 10277 | 250 | 5419 0 | 1 | 1 0.79/0.88 c 0.6s | 3 | 12438 | 475 | 5961 0 | 1 | 1 1.29/1.39 c 1.1s | 4 | 14397 | 813 | 6558 0 | 1 | 1 1.99/2.02 c 1.8s | 5 | 22160 | 1320 | 7214 0 | 1 | 1 3.09/3.13 c 2.9s | 6 | 24270 | 2081 | 7936 0 | 1 | 1 4.69/4.72 c 4.5s | 7 | 30935 | 3223 | 8730 0 | 1 | 1 6.79/6.83 c 6.6s | 7 | 45457 | 4823 | 8730 0 | 1 | 1 6.89/6.96 c 6.7s | 8 | 46083 | 4936 | 9603 0 | 1 | 1 8.99/9.02 c 8.8s | 8 | 52749 | 6536 | 9603 0 | 1 | 1 10.49/10.55 c 10.3s | 9 | 63843 | 7506 | 10564 0 | 1 | 1 12.59/12.66 c 12.4s | 9 | 82230 | 9006 | 10564 0 | 1 | 1 14.59/14.68 c 14.4s | 9 | 88059 | 10506 | 10564 0 | 1 | 1 16.39/16.41 c 16.2s | 10 | 92541 | 11361 | 11621 1 | 1 | 1 18.39/18.47 c 18.2s | 10 | 95867 | 12361 | 11621 1 | 1 | 1 20.59/20.64 c 20.4s | 10 | 118103 | 13561 | 11621 1 | 1 | 1 22.69/22.76 c 22.5s | 10 | 135216 | 14861 | 11621 1 | 1 | 1 24.69/24.77 c 24.5s | 10 | 154213 | 16561 | 11621 1 | 1 | 1 25.69/25.73 c 25.5s | 11 | 160067 | 17144 | 12784 1 | 1 | 1 27.88/27.93 c 27.7s | 11 | 169264 | 18344 | 12784 1 | 1 | 1 30.18/30.20 c 29.9s | 11 | 176016 | 18944 | 12784 2 | 1 | 1 32.18/32.22 c 32.0s | 11 | 204666 | 20344 | 12784 2 | 1 | 1 34.28/34.38 c 34.1s | 11 | 230322 | 21544 | 12784 2 | 1 | 1 36.39/36.44 c 36.2s | 11 | 255273 | 23044 | 12784 2 | 1 | 1 38.38/38.46 c 38.2s | 11 | 265714 | 24844 | 12784 2 | 1 | 1 39.78/39.83 c 39.6s | 12 | 269807 | 25819 | 14063 3 | 1 | 1 41.89/41.95 c 41.7s | 12 | 279133 | 27119 | 14063 3 | 1 | 1 43.88/43.96 c 43.7s | 12 | 288713 | 28619 | 14063 3 | 1 | 1 46.08/46.13 c 45.9s | 12 | 298479 | 30019 | 14063 3 | 1 | 1 48.89/48.92 c 48.7s | 12 | 308831 | 31019 | 14063 3 | 1 | 1 50.99/51.08 c 50.8s | 12 | 329575 | 32219 | 14063 3 | 1 | 1 52.99/53.09 c 52.8s | 12 | 345916 | 33419 | 14063 4 | 1 | 1 55.09/55.19 c 54.9s | 12 | 363031 | 35019 | 14063 4 | 1 | 1 57.19/57.23 c 57.0s | 12 | 377436 | 36119 | 14063 4 | 1 | 1 59.19/59.27 c 59.0s | 12 | 387209 | 37319 | 14063 4 | 1 | 1 61.28/61.38 c 61.1s | 12 | 390851 | 38419 | 14063 4 | 1 | 1 62.08/62.16 c 61.9s | 13 | 393047 | 38832 | 15470 4 | 1 | 1 64.18/64.26 c 64.0s | 13 | 400925 | 39932 | 15470 4 | 1 | 1 66.38/66.42 c 66.2s | 13 | 417515 | 41032 | 15470 4 | 1 | 1 68.48/68.52 c 68.3s | 13 | 431869 | 42232 | 15470 5 | 1 | 1 70.49/70.55 c 70.3s | 13 | 440549 | 43532 | 15470 5 | 1 | 1 72.59/72.62 c 72.4s | 13 | 458445 | 44732 | 15470 5 | 1 | 1 74.68/74.73 c 74.5s | 13 | 470627 | 45932 | 15470 5 | 1 | 1 76.88/76.90 c 76.7s | 13 | 490776 | 47232 | 15470 5 | 1 | 1 78.98/79.02 c 78.8s | 13 | 513105 | 48732 | 15470 5 | 1 | 1 81.08/81.10 c 80.8s | 13 | 524902 | 49832 | 15470 6 | 1 | 1 83.08/83.17 c 82.9s | 13 | 550924 | 51132 | 15470 6 | 1 | 1 85.18/85.27 c 85.0s | 13 | 557811 | 52232 | 15470 6 | 1 | 1 87.37/87.42 c 87.2s | 13 | 562801 | 53432 | 15470 6 | 1 | 1 89.47/89.51 c 89.3s | 13 | 599602 | 54732 | 15470 6 | 1 | 1 91.57/91.61 c 91.4s | 13 | 615820 | 55932 | 15470 6 | 1 | 1 93.58/93.65 c 93.4s | 13 | 634431 | 57032 | 15470 7 | 1 | 1 95.37/95.46 c 95.2s | 14 | 647532 | 58352 | 17017 7 | 1 | 1 97.47/97.55 c 97.3s | 14 | 660187 | 59552 | 17017 7 | 1 | 1 99.67/99.77 c 99.5s | 14 | 671767 | 60352 | 17017 7 | 1 | 1 101.77/101.86 c 101s | 14 | 698744 | 61752 | 17017 7 | 1 | 1 103.97/104.04 c 103s | 14 | 709548 | 62852 | 17017 7 | 1 | 1 105.97/106.05 c 105s | 14 | 721875 | 63952 | 17017 7 | 1 | 1 108.07/108.13 c 107s | 14 | 741641 | 65152 | 17017 7 | 1 | 1 110.17/110.25 c 109s | 14 | 752125 | 66252 | 17017 8 | 1 | 1 112.37/112.42 c 112s | 14 | 765999 | 67652 | 17017 8 | 1 | 1 114.48/114.53 c 114s | 14 | 782319 | 68852 | 17017 8 | 1 | 1 116.58/116.63 c 116s | 14 | 806143 | 70152 | 17017 8 | 1 | 1 118.67/118.75 c 118s | 14 | 818509 | 71352 | 17017 8 | 1 | 1 120.77/120.87 c 120s | 14 | 854851 | 72652 | 17017 8 | 1 | 1 122.77/122.89 c 122s | 14 | 880962 | 73852 | 17017 8 | 1 | 1 124.87/124.90 c 124s | 14 | 889394 | 74952 | 17017 9 | 1 | 1 126.87/126.93 c 126s | 14 | 907327 | 76252 | 17017 9 | 1 | 1 128.87/128.94 c 128s | 14 | 916139 | 77452 | 17017 9 | 1 | 1 130.87/130.99 c 130s | 14 | 929715 | 78852 | 17017 9 | 1 | 1 133.07/133.14 c 132s | 14 | 939262 | 80252 | 17017 9 | 1 | 1 135.07/135.15 c 134s | 14 | 944269 | 81552 | 17017 9 | 1 | 1 137.17/137.26 c 137s | 14 | 956602 | 82752 | 17017 9 | 1 | 1 139.17/139.27 c 139s | 14 | 968391 | 83952 | 17017 10 | 1 | 1 141.27/141.39 c 141s | 14 | 981741 | 85252 | 17017 10 | 1 | 1 143.37/143.49 c 143s | 14 | 987990 | 86552 | 17017 10 | 1 | 1 145.17/145.24 c 144s | 15 | 994057 | 87632 | 18719 10 | 1 | 1 147.16/147.27 c 147s | 15 | 998993 | 88032 | 18719 10 | 1 | 1 149.26/149.31 c 149s | 15 | 1010448 | 89432 | 18719 10 | 1 | 1 151.46/151.51 c 151s | 15 | 1025739 | 90832 | 18719 10 | 1 | 1 153.46/153.57 c 153s | 15 | 1044767 | 91832 | 18719 10 | 1 | 1 155.56/155.60 c 155s | 15 | 1065302 | 93032 | 18719 10 | 1 | 1 157.56/157.69 c 157s | 15 | 1082245 | 94232 | 18719 11 | 1 | 1 159.66/159.77 c 159s | 15 | 1092309 | 95732 | 18719 11 | 1 | 1 161.77/161.81 c 161s | 15 | 1108045 | 96732 | 18719 11 | 1 | 1 163.87/163.99 c 163s | 15 | 1141066 | 98032 | 18719 11 | 1 | 1 165.86/165.99 c 165s | 15 | 1170766 | 99132 | 18719 11 | 1 | 1 167.96/168.08 c 167s | 15 | 1202203 | 100232 | 18719 11 | 1 | 1 170.16/170.22 c 169s | 15 | 1225600 | 101332 | 18719 11 | 1 | 1 172.16/172.24 c 171s | 15 | 1248079 | 102532 | 18719 11 | 1 | 1 174.26/174.32 c 174s | 15 | 1252321 | 103532 | 18719 12 | 1 | 1 176.46/176.53 c 176s | 15 | 1273410 | 104732 | 18719 12 | 1 | 1 178.46/178.59 c 178s | 15 | 1291052 | 105832 | 18719 12 | 1 | 1 180.56/180.61 c 180s | 15 | 1296819 | 106832 | 18719 12 | 1 | 1 182.57/182.63 c 182s | 15 | 1303316 | 107832 | 18719 12 | 1 | 1 184.66/184.72 c 184s | 15 | 1309125 | 109032 | 18719 12 | 1 | 1 186.66/186.74 c 186s | 15 | 1311298 | 109932 | 18719 12 | 1 | 1 188.86/188.91 c 188s | 15 | 1322719 | 111232 | 18719 12 | 1 | 1 190.96/191.00 c 190s | 15 | 1329566 | 112332 | 18719 12 | 1 | 1 192.96/193.02 c 192s | 15 | 1337728 | 113332 | 18719 13 | 1 | 1 195.06/195.12 c 194s | 15 | 1354017 | 114432 | 18719 13 | 1 | 1 197.16/197.23 c 196s | 15 | 1371583 | 115632 | 18719 13 | 1 | 1 199.26/199.31 c 199s | 15 | 1388744 | 116932 | 18719 13 | 1 | 1 201.26/201.37 c 201s | 15 | 1404114 | 118332 | 18719 13 | 1 | 1 203.36/203.40 c 203s | 15 | 1420332 | 119332 | 18719 13 | 1 | 1 206.06/206.13 c 205s | 15 | 1432966 | 120332 | 18719 13 | 1 | 1 208.06/208.17 c 207s | 15 | 1441272 | 121632 | 18719 13 | 1 | 1 210.17/210.27 c 210s | 15 | 1449837 | 122732 | 18719 14 | 1 | 1 212.27/212.32 c 212s | 15 | 1461033 | 124032 | 18719 14 | 1 | 1 214.26/214.34 c 214s | 15 | 1479117 | 125232 | 18719 14 | 1 | 1 216.26/216.40 c 216s | 15 | 1490213 | 126432 | 18719 14 | 1 | 1 218.46/218.55 c 218s | 15 | 1498968 | 127732 | 18719 14 | 1 | 1 220.56/220.60 c 220s | 15 | 1508628 | 129032 | 18719 14 | 1 | 1 222.66/222.74 c 222s | 15 | 1516611 | 130232 | 18719 14 | 1 | 1 224.66/224.78 c 224s | 15 | 1525862 | 131432 | 20591 14 | 1 | 1 224.96/225.00 c 224s | 16 | 1527285 | 131552 | 20591 14 | 1 | 1 227.06/227.17 c 226s | 16 | 1534636 | 132252 | 20591 14 | 1 | 1 229.16/229.23 c 228s | 16 | 1545983 | 133152 | 20591 14 | 1 | 1 231.26/231.35 c 231s | 16 | 1557598 | 134052 | 20591 15 | 1 | 1 233.36/233.49 c 233s | 16 | 1566241 | 134952 | 20591 15 | 1 | 1 235.56/235.64 c 235s | 16 | 1575393 | 135952 | 20591 15 | 1 | 1 237.56/237.65 c 237s | 16 | 1583855 | 136952 | 20591 15 | 1 | 1 239.56/239.67 c 239s | 16 | 1591157 | 138052 | 20591 15 | 1 | 1 241.76/241.87 c 241s | 16 | 1603691 | 139152 | 20591 15 | 1 | 1 243.76/243.88 c 243s | 16 | 1612544 | 140252 | 20591 15 | 1 | 1 245.96/246.01 c 245s | 16 | 1618671 | 141452 | 20591 15 | 1 | 1 248.06/248.13 c 247s | 16 | 1620445 | 142452 | 20591 15 | 1 | 1 250.06/250.14 c 249s | 16 | 1633534 | 143552 | 20591 15 | 1 | 1 252.15/252.22 c 251s | 16 | 1643761 | 144552 | 20591 16 | 1 | 1 254.16/254.29 c 254s | 16 | 1659588 | 145752 | 20591 16 | 1 | 1 256.26/256.33 c 256s | 16 | 1669726 | 146852 | 20591 16 | 1 | 1 258.35/258.47 c 258s | 16 | 1681248 | 148052 | 20591 16 | 1 | 1 260.45/260.54 c 260s | 16 | 1689992 | 149052 | 20591 16 | 1 | 1 262.45/262.59 c 262s | 16 | 1695960 | 150152 | 20591 16 | 1 | 1 264.55/264.68 c 264s | 16 | 1699892 | 151152 | 20591 16 | 1 | 1 266.65/266.72 c 266s | 16 | 1709849 | 152252 | 20591 16 | 1 | 1 268.75/268.87 c 268s | 16 | 1715983 | 153452 | 20591 16 | 1 | 1 270.85/270.95 c 270s | 16 | 1723107 | 154452 | 20591 16 | 1 | 1 272.95/273.09 c 272s | 16 | 1728848 | 155552 | 20591 17 | 1 | 1 275.15/275.21 c 274s | 16 | 1733255 | 156852 | 20591 17 | 1 | 1 277.25/277.38 c 277s | 16 | 1737861 | 157952 | 20591 17 | 1 | 1 279.45/279.54 c 279s | 16 | 1742568 | 159152 | 20591 17 | 1 | 1 281.45/281.56 c 281s | 16 | 1744288 | 160152 | 20591 17 | 1 | 1 283.64/283.76 c 283s | 16 | 1757966 | 161452 | 20591 17 | 1 | 1 285.74/285.84 c 285s | 16 | 1771483 | 162552 | 20591 17 | 1 | 1 287.74/287.86 c 287s | 16 | 1780563 | 163552 | 20591 17 | 1 | 1 289.84/289.91 c 289s | 16 | 1790248 | 164552 | 20591 17 | 1 | 1 291.84/291.92 c 291s | 16 | 1794506 | 165152 | 20591 18 | 1 | 1 294.04/294.10 c 293s | 16 | 1803777 | 166052 | 20591 18 | 1 | 1 296.14/296.22 c 295s | 16 | 1818111 | 167152 | 20591 18 | 1 | 1 298.74/298.87 c 298s | 16 | 1835473 | 168052 | 20591 18 | 1 | 1 300.84/300.91 c 300s | 16 | 1853992 | 169252 | 20591 18 | 1 | 1 302.84/302.97 c 302s | 16 | 1871480 | 170552 | 20591 18 | 1 | 1 305.04/305.18 c 304s | 16 | 1895573 | 171352 | 20591 18 | 1 | 1 307.14/307.23 c 306s | 16 | 1919605 | 172352 | 20591 18 | 1 | 1 309.24/309.38 c 309s | 16 | 1950551 | 173552 | 20591 18 | 1 | 1 311.34/311.41 c 311s | 16 | 1963619 | 174552 | 20591 18 | 1 | 1 313.44/313.52 c 313s | 16 | 1966834 | 175552 | 20591 19 | 1 | 1 315.45/315.55 c 315s | 16 | 1987441 | 176652 | 20591 19 | 1 | 1 317.45/317.56 c 317s | 16 | 2005649 | 177952 | 20591 19 | 1 | 1 319.55/319.69 c 319s | 16 | 2021155 | 179052 | 20591 19 | 1 | 1 321.65/321.71 c 321s | 16 | 2038607 | 180252 | 20591 19 | 1 | 1 323.74/323.86 c 323s | 16 | 2063454 | 181652 | 20591 19 | 1 | 1 325.94/326.01 c 325s | 16 | 2077721 | 182952 | 20591 19 | 1 | 1 328.04/328.12 c 327s | 16 | 2092133 | 184352 | 20591 19 | 1 | 1 330.14/330.26 c 330s | 16 | 2099945 | 185652 | 20591 19 | 1 | 1 332.25/332.33 c 332s | 16 | 2108203 | 186752 | 20591 20 | 1 | 1 334.24/334.36 c 334s | 16 | 2122247 | 188052 | 20591 20 | 1 | 1 336.44/336.50 c 336s | 16 | 2141619 | 189452 | 20591 20 | 1 | 1 338.54/338.69 c 338s | 16 | 2155825 | 190752 | 20591 20 | 1 | 1 340.64/340.79 c 340s | 16 | 2164228 | 192152 | 20591 20 | 1 | 1 342.74/342.81 c 342s | 16 | 2172484 | 193552 | 20591 20 | 1 | 1 344.84/344.97 c 344s | 16 | 2183988 | 194752 | 20591 20 | 1 | 1 346.94/347.00 c 346s | 16 | 2192136 | 195752 | 20591 20 | 1 | 1 348.94/349.00 c 348s | 16 | 2196520 | 196752 | 22651 20 | 1 | 1 350.34/350.43 c 350s | 17 | 2199143 | 197432 | 22651 20 | 1 | 1 352.34/352.49 c 352s | 17 | 2207801 | 198532 | 22651 21 | 1 | 1 354.44/354.52 c 354s | 17 | 2214184 | 199532 | 22651 21 | 1 | 1 356.64/356.78 c 356s | 17 | 2217420 | 200332 | 22651 21 | 1 | 1 358.74/358.87 c 358s | 17 | 2227645 | 201432 | 22651 21 | 1 | 1 360.74/360.90 c 360s | 17 | 2255715 | 203032 | 22651 21 | 1 | 1 362.94/363.05 c 362s | 17 | 2276468 | 204132 | 22651 21 | 1 | 1 364.93/365.08 c 364s | 17 | 2294415 | 205632 | 22651 21 | 1 | 1 367.13/367.21 c 366s | 17 | 2301476 | 206732 | 22651 21 | 1 | 1 369.13/369.21 c 368s | 17 | 2311337 | 208032 | 22651 21 | 1 | 1 371.13/371.26 c 371s | 17 | 2318909 | 209332 | 22651 21 | 1 | 1 373.23/373.33 c 373s | 17 | 2325678 | 210532 | 22651 22 | 1 | 1 375.43/375.53 c 375s | 17 | 2329281 | 211832 | 22651 22 | 1 | 1 377.53/377.68 c 377s | 17 | 2331692 | 212932 | 22651 22 | 1 | 1 379.73/379.80 c 379s | 17 | 2334113 | 214132 | 22651 22 | 1 | 1 381.74/381.89 c 381s | 17 | 2342830 | 215432 | 22651 22 | 1 | 1 383.83/383.96 c 383s | 17 | 2349442 | 216732 | 22651 22 | 1 | 1 385.93/386.03 c 385s | 17 | 2356216 | 218132 | 22651 22 | 1 | 1 388.13/388.20 c 387s | 17 | 2360443 | 219432 | 22651 22 | 1 | 1 390.23/390.32 c 390s | 17 | 2362841 | 220732 | 22651 22 | 1 | 1 392.23/392.38 c 392s | 17 | 2366441 | 222132 | 22651 23 | 1 | 1 394.33/394.48 c 394s | 17 | 2368876 | 223332 | 22651 23 | 1 | 1 396.53/396.60 c 396s | 17 | 2372674 | 224632 | 22651 23 | 1 | 1 398.52/398.67 c 398s | 17 | 2379382 | 225832 | 22651 23 | 1 | 1 400.72/400.83 c 400s | 17 | 2386812 | 227232 | 22651 23 | 1 | 1 402.82/402.96 c 402s | 17 | 2393446 | 228632 | 22651 23 | 1 | 1 405.02/405.10 c 404s | 17 | 2399126 | 229932 | 22651 23 | 1 | 1 407.03/407.18 c 406s | 17 | 2406086 | 231232 | 22651 23 | 1 | 1 409.13/409.26 c 409s | 17 | 2412501 | 232432 | 22651 23 | 1 | 1 411.12/411.29 c 411s | 17 | 2421060 | 233632 | 22651 24 | 1 | 1 413.22/413.35 c 413s | 17 | 2431190 | 234932 | 22651 24 | 1 | 1 415.22/415.37 c 415s | 17 | 2449418 | 236532 | 22651 24 | 1 | 1 417.32/417.48 c 417s | 17 | 2452002 | 237732 | 22651 24 | 1 | 1 419.52/419.62 c 419s | 17 | 2454955 | 239032 | 22651 24 | 1 | 1 421.62/421.74 c 421s | 17 | 2459629 | 240532 | 22651 24 | 1 | 1 423.72/423.84 c 423s | 17 | 2470646 | 242132 | 22651 24 | 1 | 1 425.73/425.86 c 425s | 17 | 2480357 | 243732 | 22651 24 | 1 | 1 427.83/427.94 c 427s | 17 | 2485615 | 245032 | 22651 25 | 1 | 1 430.42/430.54 c 430s | 17 | 2488223 | 246432 | 22651 25 | 1 | 1 432.52/432.63 c 432s | 17 | 2501298 | 247632 | 22651 25 | 1 | 1 434.53/434.64 c 434s | 17 | 2507311 | 248832 | 22651 25 | 1 | 1 436.52/436.66 c 436s | 17 | 2513524 | 250032 | 22651 25 | 1 | 1 438.62/438.75 c 438s | 17 | 2530176 | 251432 | 22651 25 | 1 | 1 440.72/440.83 c 440s | 17 | 2534964 | 252632 | 22651 25 | 1 | 1 442.92/443.04 c 442s | 17 | 2537570 | 253832 | 22651 25 | 1 | 1 445.22/445.40 c 445s | 17 | 2541863 | 254932 | 22651 25 | 1 | 1 447.43/447.51 c 447s | 17 | 2560048 | 256132 | 22651 26 | 1 | 1 449.52/449.63 c 449s | 17 | 2562893 | 257132 | 22651 26 | 1 | 1 451.52/451.67 c 451s | 17 | 2567498 | 258232 | 22651 26 | 1 | 1 453.62/453.72 c 453s | 17 | 2571233 | 259432 | 22651 26 | 1 | 1 455.62/455.73 c 455s | 17 | 2573915 | 260632 | 22651 26 | 1 | 1 457.63/457.76 c 457s | 17 | 2576997 | 261832 | 22651 26 | 1 | 1 459.62/459.77 c 459s | 17 | 2580080 | 263132 | 22651 26 | 1 | 1 461.72/461.81 c 461s | 17 | 2596225 | 264532 | 22651 26 | 1 | 1 463.82/463.93 c 463s | 17 | 2599545 | 265632 | 22651 26 | 1 | 1 466.02/466.13 c 465s | 17 | 2605024 | 266832 | 22651 26 | 1 | 1 468.02/468.18 c 467s | 17 | 2612778 | 268032 | 22651 27 | 1 | 1 470.22/470.30 c 470s | 17 | 2617527 | 269132 | 22651 27 | 1 | 1 472.32/472.47 c 472s | 17 | 2620313 | 270232 | 22651 27 | 1 | 1 474.42/474.52 c 474s | 17 | 2622305 | 271332 | 22651 27 | 1 | 1 476.52/476.63 c 476s | 17 | 2625818 | 272632 | 22651 27 | 1 | 1 478.53/478.66 c 478s | 17 | 2628347 | 273732 | 22651 27 | 1 | 1 480.63/480.71 c 480s | 17 | 2632562 | 274932 | 22651 27 | 1 | 1 482.62/482.73 c 482s | 17 | 2636577 | 276232 | 22651 27 | 1 | 1 484.72/484.84 c 484s | 17 | 2639032 | 277432 | 22651 27 | 1 | 1 486.72/486.84 c 486s | 17 | 2646379 | 278632 | 22651 27 | 1 | 1 488.82/488.95 c 488s | 17 | 2647824 | 279532 | 22651 28 | 1 | 1 490.92/491.01 c 490s | 17 | 2651106 | 280632 | 22651 28 | 1 | 1 493.02/493.10 c 492s | 17 | 2655059 | 281832 | 22651 28 | 1 | 1 494.92/495.10 c 494s | 17 | 2658450 | 283032 | 22651 28 | 1 | 1 497.12/497.26 c 497s | 17 | 2664835 | 284232 | 22651 28 | 1 | 1 499.22/499.30 c 499s | 17 | 2667465 | 285332 | 22651 28 | 1 | 1 501.21/501.39 c 501s | 17 | 2671720 | 285732 | 22651 28 | 1 | 1 503.31/503.45 c 503s | 17 | 2707105 | 287432 | 22651 28 | 1 | 1 505.41/505.56 c 505s | 17 | 2717340 | 288732 | 22651 28 | 1 | 1 507.51/507.67 c 507s | 17 | 2728113 | 289932 | 22651 28 | 1 | 1 509.91/510.03 c 509s | 17 | 2737210 | 291032 | 22651 29 | 1 | 1 511.91/512.08 c 511s | 17 | 2740504 | 292032 | 22651 29 | 1 | 1 513.91/514.09 c 513s | 17 | 2759162 | 293432 | 22651 29 | 1 | 1 516.01/516.11 c 515s | 17 | 2773418 | 294732 | 24917 29 | 1 | 1 518.02/518.12 c 517s | 17 | 2799856 | 296232 | 24917 29 | 1 | 1 518.02/518.16 c 517s | 18 | 2799929 | 296252 | 24917 29 | 1 | 1 520.11/520.25 c 519s | 18 | 2815571 | 297552 | 24917 29 | 1 | 1 522.31/522.41 c 522s | 18 | 2824410 | 298952 | 24917 29 | 1 | 1 524.31/524.44 c 524s | 18 | 2835787 | 300252 | 24917 29 | 1 | 1 526.41/526.55 c 526s | 18 | 2846620 | 301452 | 24917 29 | 1 | 1 528.41/528.55 c 528s | 18 | 2852162 | 302652 | 24917 29 | 1 | 1 530.61/530.70 c 530s | 18 | 2857649 | 303752 | 24917 29 | 1 | 1 532.61/532.78 c 532s | 18 | 2860490 | 304752 | 24917 30 | 1 | 1 534.70/534.86 c 534s | 18 | 2863699 | 305952 | 24917 30 | 1 | 1 536.91/537.02 c 536s | 18 | 2869373 | 307052 | 24917 30 | 1 | 1 539.02/539.16 c 538s | 18 | 2872826 | 308352 | 24917 30 | 1 | 1 541.12/541.30 c 541s | 18 | 2889594 | 309852 | 24917 30 | 1 | 1 543.32/543.44 c 543s | 18 | 2897202 | 311352 | 24917 30 | 1 | 1 545.41/545.53 c 545s | 18 | 2907731 | 312752 | 24917 30 | 1 | 1 547.51/547.60 c 547s | 18 | 2911128 | 313852 | 24917 30 | 1 | 1 549.51/549.66 c 549s | 18 | 2914708 | 314952 | 24917 30 | 1 | 1 551.61/551.71 c 551s | 18 | 2916531 | 315952 | 24917 30 | 1 | 1 553.61/553.74 c 553s | 18 | 2918678 | 317052 | 24917 30 | 1 | 1 555.71/555.86 c 555s | 18 | 2920364 | 317952 | 24917 31 | 1 | 1 557.81/557.90 c 557s | 18 | 2922790 | 318452 | 24917 31 | 1 | 1 559.81/559.94 c 559s | 18 | 2925289 | 319652 | 24917 31 | 1 | 1 561.80/561.98 c 561s | 18 | 2929584 | 321052 | 24917 31 | 1 | 1 563.90/564.02 c 563s | 18 | 2940266 | 322552 | 24917 31 | 1 | 1 565.90/566.02 c 565s | 18 | 2948593 | 324052 | 24917 31 | 1 | 1 567.90/568.06 c 567s | 18 | 2952179 | 325252 | 24917 31 | 1 | 1 570.10/570.23 c 569s | 18 | 2954712 | 326552 | 24917 31 | 1 | 1 572.20/572.30 c 572s | 18 | 2956848 | 327752 | 24917 31 | 1 | 1 574.21/574.34 c 574s | 18 | 2959158 | 328952 | 24917 31 | 1 | 1 576.31/576.48 c 576s | 18 | 2960678 | 330052 | 24917 32 | 1 | 1 578.51/578.61 c 578s | 18 | 2973094 | 331352 | 24917 32 | 1 | 1 580.50/580.66 c 580s | 18 | 2980465 | 332752 | 24917 32 | 1 | 1 582.60/582.77 c 582s | 18 | 2984879 | 333952 | 24917 32 | 1 | 1 584.80/584.95 c 584s | 18 | 2991238 | 335252 | 24917 32 | 1 | 1 586.90/587.07 c 586s | 18 | 2995424 | 336652 | 24917 32 | 1 | 1 589.00/589.18 c 588s | 18 | 3000298 | 338052 | 24917 32 | 1 | 1 591.10/591.29 c 591s | 18 | 3006564 | 339352 | 24917 32 | 1 | 1 593.10/593.29 c 593s | 18 | 3018121 | 340552 | 24917 32 | 1 | 1 595.20/595.33 c 595s | 18 | 3036187 | 341952 | 24917 32 | 1 | 1 597.21/597.34 c 597s | 18 | 3044598 | 342552 | 24917 33 | 1 | 1 599.50/599.67 c 599s | 18 | 3054998 | 343452 | 24917 33 | 1 | 1 601.50/601.67 c 601s | 18 | 3064265 | 344752 | 24917 33 | 1 | 1 603.50/603.68 c 603s | 18 | 3071424 | 346052 | 24917 33 | 1 | 1 605.80/605.90 c 605s | 18 | 3077245 | 347352 | 24917 33 | 1 | 1 607.80/607.95 c 607s | 18 | 3081421 | 348552 | 24917 33 | 1 | 1 609.90/610.08 c 609s | 18 | 3085873 | 349852 | 24917 33 | 1 | 1 612.00/612.16 c 611s | 18 | 3089077 | 351152 | 24917 33 | 1 | 1 614.20/614.30 c 614s | 18 | 3092670 | 352452 | 24917 33 | 1 | 1 616.20/616.34 c 616s | 18 | 3096962 | 353852 | 24917 33 | 1 | 1 618.40/618.59 c 618s | 18 | 3100427 | 355252 | 24917 34 | 1 | 1 620.49/620.69 c 620s | 18 | 3102831 | 356452 | 24917 34 | 1 | 1 622.60/622.71 c 622s | 18 | 3105500 | 357752 | 24917 34 | 1 | 1 624.70/624.87 c 624s | 18 | 3119349 | 359252 | 24917 34 | 1 | 1 626.79/627.00 c 626s | 18 | 3122820 | 360552 | 24917 34 | 1 | 1 628.89/629.06 c 628s | 18 | 3128525 | 361852 | 24917 34 | 1 | 1 630.89/631.08 c 630s | 18 | 3130753 | 363052 | 24917 34 | 1 | 1 633.09/633.20 c 632s | 18 | 3136306 | 364052 | 24917 34 | 1 | 1 635.19/635.34 c 635s | 18 | 3141336 | 365152 | 24917 34 | 1 | 1 637.19/637.34 c 637s | 18 | 3147303 | 366452 | 24917 34 | 1 | 1 639.29/639.45 c 639s | 18 | 3151827 | 367752 | 24917 34 | 1 | 1 641.30/641.48 c 641s | 18 | 3154206 | 368752 | 24917 35 | 1 | 1 643.50/643.63 c 643s | 18 | 3158040 | 370152 | 24917 35 | 1 | 1 645.60/645.73 c 645s | 18 | 3161386 | 371352 | 24917 35 | 1 | 1 647.59/647.78 c 647s | 18 | 3163772 | 372552 | 24917 35 | 1 | 1 649.69/649.82 c 649s | 18 | 3166377 | 373752 | 24917 35 | 1 | 1 651.69/651.88 c 651s | 18 | 3172904 | 374952 | 24917 35 | 1 | 1 653.79/653.92 c 653s | 18 | 3178252 | 376152 | 24917 35 | 1 | 1 655.79/655.93 c 655s | 18 | 3185154 | 377452 | 24917 35 | 1 | 1 657.80/657.98 c 657s | 18 | 3189174 | 378652 | 24917 35 | 1 | 1 659.79/659.98 c 659s | 18 | 3193619 | 379852 | 24917 35 | 1 | 1 661.89/662.03 c 661s | 18 | 3195445 | 380952 | 24917 36 | 1 | 1 664.09/664.20 c 663s | 18 | 3197489 | 382252 | 24917 36 | 1 | 1 666.18/666.34 c 666s | 18 | 3199675 | 383352 | 24917 36 | 1 | 1 668.18/668.36 c 668s | 18 | 3203139 | 384552 | 24917 36 | 1 | 1 670.38/670.54 c 670s | 18 | 3209690 | 385952 | 24917 36 | 1 | 1 672.38/672.60 c 672s | 18 | 3212222 | 387152 | 24917 36 | 1 | 1 674.48/674.66 c 674s | 18 | 3214927 | 388352 | 24917 36 | 1 | 1 676.68/676.84 c 676s | 18 | 3217600 | 389552 | 24917 36 | 1 | 1 679.28/679.44 c 679s | 18 | 3220412 | 390552 | 24917 36 | 1 | 1 681.28/681.44 c 681s | 18 | 3234765 | 391952 | 24917 36 | 1 | 1 683.28/683.47 c 683s | 18 | 3246190 | 393252 | 24917 37 | 1 | 1 685.38/685.52 c 685s | 18 | 3258827 | 394052 | 24917 37 | 1 | 1 687.49/687.61 c 687s | 18 | 3278926 | 395452 | 24917 37 | 1 | 1 689.59/689.77 c 689s | 18 | 3292481 | 396852 | 24917 37 | 1 | 1 691.58/691.79 c 691s | 18 | 3298463 | 398152 | 24917 37 | 1 | 1 693.68/693.89 c 693s | 18 | 3302123 | 399352 | 24917 37 | 1 | 1 695.78/695.96 c 695s | 18 | 3313582 | 400752 | 24917 37 | 1 | 1 697.79/697.98 c 697s | 18 | 3319801 | 401952 | 24917 37 | 1 | 1 699.89/700.01 c 699s | 18 | 3325373 | 403052 | 24917 37 | 1 | 1 701.99/702.16 c 701s | 18 | 3329028 | 404352 | 24917 37 | 1 | 1 703.99/704.19 c 703s | 18 | 3331578 | 405352 | 24917 37 | 1 | 1 706.09/706.22 c 705s | 18 | 3333151 | 406152 | 24917 38 | 1 | 1 708.29/708.40 c 708s | 18 | 3336115 | 407252 | 24917 38 | 1 | 1 710.28/710.47 c 710s | 18 | 3339310 | 408452 | 24917 38 | 1 | 1 712.38/712.54 c 712s | 18 | 3340842 | 409452 | 24917 38 | 1 | 1 714.58/714.71 c 714s | 18 | 3348517 | 410852 | 24917 38 | 1 | 1 716.78/716.90 c 716s | 18 | 3352135 | 412152 | 24917 38 | 1 | 1 718.88/719.09 c 718s | 18 | 3357934 | 413152 | 24917 38 | 1 | 1 720.98/721.11 c 720s | 18 | 3360923 | 413952 | 24917 38 | 1 | 1 722.98/723.12 c 722s | 18 | 3367905 | 415052 | 24917 38 | 1 | 1 725.08/725.29 c 725s | 18 | 3371020 | 416052 | 24917 38 | 1 | 1 727.28/727.44 c 727s | 18 | 3373739 | 417152 | 24917 38 | 1 | 1 729.38/729.54 c 729s | 18 | 3383603 | 418352 | 24917 38 | 1 | 1 731.38/731.56 c 731s | 18 | 3389593 | 419352 | 24917 39 | 1 | 1 733.47/733.66 c 733s | 18 | 3391958 | 420252 | 24917 39 | 1 | 1 735.57/735.77 c 735s | 18 | 3398356 | 421352 | 24917 39 | 1 | 1 737.67/737.85 c 737s | 18 | 3406857 | 422752 | 24917 39 | 1 | 1 739.77/739.94 c 739s | 18 | 3410857 | 424052 | 24917 39 | 1 | 1 741.87/742.05 c 741s | 18 | 3414648 | 425252 | 24917 39 | 1 | 1 743.87/744.09 c 743s | 18 | 3417661 | 426452 | 24917 39 | 1 | 1 745.97/746.15 c 745s | 18 | 3419491 | 427652 | 24917 39 | 1 | 1 747.98/748.17 c 747s | 18 | 3422468 | 429052 | 24917 39 | 1 | 1 750.18/750.35 c 750s | 18 | 3426728 | 430352 | 24917 39 | 1 | 1 752.17/752.40 c 752s | 18 | 3428666 | 431452 | 24917 40 | 1 | 1 754.27/754.44 c 754s | 18 | 3434135 | 432552 | 24917 40 | 1 | 1 756.27/756.49 c 756s | 18 | 3439874 | 433852 | 24917 40 | 1 | 1 758.47/758.67 c 758s | 18 | 3444797 | 435252 | 24917 40 | 1 | 1 760.57/760.79 c 760s | 18 | 3452442 | 436652 | 24917 40 | 1 | 1 762.77/762.93 c 762s | 18 | 3458495 | 437952 | 24917 40 | 1 | 1 764.87/765.00 c 764s | 18 | 3462263 | 439152 | 24917 40 | 1 | 1 766.87/767.08 c 766s | 18 | 3465103 | 440452 | 24917 40 | 1 | 1 769.07/769.22 c 768s | 18 | 3469331 | 441752 | 27409 40 | 1 | 1 771.17/771.40 c 771s | 18 | 3471055 | 442852 | 27409 40 | 1 | 1 773.37/773.55 c 773s | 18 | 3473037 | 444052 | 27409 40 | 1 | 1 774.07/774.27 c 774s | 19 | 3474627 | 444482 | 27409 40 | 1 | 1 776.17/776.30 c 776s | 19 | 3487987 | 445282 | 27409 40 | 1 | 1 778.27/778.45 c 778s | 19 | 3496826 | 446282 | 27409 41 | 1 | 1 780.37/780.54 c 780s | 19 | 3506258 | 447282 | 27409 41 | 1 | 1 782.47/782.65 c 782s | 19 | 3514241 | 448482 | 27409 41 | 1 | 1 784.47/784.66 c 784s | 19 | 3517455 | 449482 | 27409 41 | 1 | 1 786.57/786.75 c 786s | 19 | 3520336 | 450482 | 27409 41 | 1 | 1 788.68/788.86 c 788s | 19 | 3535364 | 451682 | 27409 41 | 1 | 1 790.88/791.01 c 790s | 19 | 3552174 | 452782 | 27409 41 | 1 | 1 792.98/793.11 c 792s | 19 | 3564943 | 453982 | 27409 41 | 1 | 1 795.07/795.28 c 795s | 19 | 3574712 | 455082 | 27409 41 | 1 | 1 797.17/797.38 c 797s | 19 | 3586976 | 456382 | 27409 41 | 1 | 1 799.37/799.51 c 799s | 19 | 3593344 | 457482 | 27409 41 | 1 | 1 801.37/801.54 c 801s | 19 | 3598133 | 458482 | 27409 41 | 1 | 1 803.47/803.63 c 803s | 19 | 3600462 | 459482 | 27409 41 | 1 | 1 805.67/805.87 c 805s | 19 | 3604258 | 460382 | 27409 42 | 1 | 1 807.77/807.92 c 807s | 19 | 3606766 | 461482 | 27409 42 | 1 | 1 809.76/809.95 c 809s | 19 | 3612204 | 462182 | 27409 42 | 1 | 1 811.86/812.05 c 811s | 19 | 3619917 | 463482 | 27409 42 | 1 | 1 813.97/814.11 c 813s | 19 | 3626135 | 464682 | 27409 42 | 1 | 1 815.96/816.14 c 815s | 19 | 3628506 | 465782 | 27409 42 | 1 | 1 818.16/818.33 c 818s | 19 | 3630113 | 466882 | 27409 42 | 1 | 1 820.36/820.54 c 820s | 19 | 3646438 | 468082 | 27409 42 | 1 | 1 822.46/822.63 c 822s | 19 | 3660233 | 469182 | 27409 42 | 1 | 1 824.56/824.78 c 824s | 19 | 3664640 | 470082 | 27409 42 | 1 | 1 826.76/826.94 c 826s | 19 | 3673071 | 471382 | 27409 42 | 1 | 1 828.96/829.11 c 828s | 19 | 3679716 | 472482 | 27409 42 | 1 | 1 830.96/831.12 c 830s | 19 | 3681062 | 473382 | 27409 42 | 1 | 1 833.06/833.28 c 833s | 19 | 3684233 | 474182 | 27409 43 | 1 | 1 835.26/835.47 c 835s | 19 | 3685943 | 475182 | 27409 43 | 1 | 1 837.36/837.51 c 837s | 19 | 3689801 | 476282 | 27409 43 | 1 | 1 839.46/839.60 c 839s | 19 | 3691491 | 477382 | 27409 43 | 1 | 1 841.56/841.78 c 841s | 19 | 3692456 | 477982 | 27409 43 | 1 | 1 843.56/843.80 c 843s | 19 | 3694815 | 478882 | 27409 43 | 1 | 1 845.76/845.96 c 845s | 19 | 3696868 | 479982 | 27409 43 | 1 | 1 847.96/848.16 c 847s | 19 | 3706407 | 481282 | 27409 43 | 1 | 1 849.96/850.17 c 849s | 19 | 3711302 | 482282 | 27409 43 | 1 | 1 852.06/852.26 c 852s | 19 | 3720724 | 483382 | 27409 43 | 1 | 1 855.76/855.95 c 855s | 19 | 3733813 | 484582 | 27409 43 | 1 | 1 857.75/857.98 c 857s | 19 | 3740185 | 485482 | 27409 43 | 1 | 1 859.75/859.99 c 859s | 19 | 3742816 | 486382 | 27409 43 | 1 | 1 861.95/862.19 c 861s | 19 | 3746593 | 487382 | 27409 43 | 1 | 1 866.16/866.34 c 866s | 19 | 3752262 | 488182 | 27409 44 | 1 | 1 868.36/868.51 c 868s | 19 | 3754748 | 489182 | 27409 44 | 1 | 1 870.36/870.58 c 870s | 19 | 3759694 | 490182 | 27409 44 | 1 | 1 872.46/872.68 c 872s | 19 | 3761179 | 491082 | 27409 44 | 1 | 1 874.56/874.77 c 874s | 19 | 3765225 | 492282 | 27409 44 | 1 | 1 876.66/876.83 c 876s | 19 | 3767005 | 493382 | 27409 44 | 1 | 1 878.76/878.96 c 878s | 19 | 3769377 | 494582 | 27409 44 | 1 | 1 880.96/881.11 c 880s | 19 | 3770779 | 495682 | 27409 44 | 1 | 1 883.16/883.31 c 883s | 19 | 3775567 | 496982 | 27409 44 | 1 | 1 885.16/885.36 c 885s | 19 | 3781720 | 498082 | 27409 44 | 1 | 1 887.26/887.41 c 887s | 19 | 3787504 | 499082 | 27409 44 | 1 | 1 889.35/889.52 c 889s | 19 | 3790896 | 500082 | 27409 44 | 1 | 1 891.35/891.59 c 891s | 19 | 3793316 | 501082 | 27409 44 | 1 | 1 893.45/893.65 c 893s | 19 | 3794532 | 501982 | 27409 44 | 1 | 1 895.55/895.72 c 895s | 19 | 3795877 | 502882 | 27409 45 | 1 | 1 897.65/897.80 c 897s | 19 | 3799701 | 503982 | 27409 45 | 1 | 1 899.66/899.81 c 899s | 19 | 3803447 | 505082 | 27409 45 | 1 | 1 901.75/901.98 c 901s | 19 | 3805920 | 506182 | 27409 45 | 1 | 1 903.85/904.08 c 903s | 19 | 3807959 | 507182 | 27409 45 | 1 | 1 905.95/906.14 c 905s | 19 | 3809487 | 508182 | 27409 45 | 1 | 1 908.05/908.28 c 908s | 19 | 3811600 | 509182 | 27409 45 | 1 | 1 910.15/910.30 c 910s | 19 | 3814426 | 510182 | 27409 45 | 1 | 1 912.15/912.31 c 912s | 19 | 3816888 | 511182 | 27409 45 | 1 | 1 914.15/914.38 c 914s | 19 | 3818094 | 512182 | 27409 45 | 1 | 1 916.45/916.62 c 916s | 19 | 3822677 | 513282 | 27409 45 | 1 | 1 919.75/919.91 c 919s | 19 | 3823792 | 513882 | 27409 45 | 1 | 1 921.75/921.97 c 921s | 19 | 3836558 | 514982 | 27409 45 | 1 | 1 923.85/924.03 c 923s | 19 | 3846585 | 516082 | 27409 46 | 1 | 1 925.95/926.12 c 925s | 19 | 3854028 | 517182 | 27409 46 | 1 | 1 927.95/928.19 c 927s | 19 | 3856547 | 518282 | 27409 46 | 1 | 1 930.14/930.31 c 930s | 19 | 3862889 | 519682 | 27409 46 | 1 | 1 932.14/932.37 c 932s | 19 | 3876030 | 521082 | 27409 46 | 1 | 1 934.24/934.46 c 934s | 19 | 3879694 | 522182 | 27409 46 | 1 | 1 936.44/936.61 c 936s | 19 | 3882116 | 523382 | 27409 46 | 1 | 1 938.54/938.74 c 938s | 19 | 3899727 | 524582 | 27409 46 | 1 | 1 940.64/940.86 c 940s | 19 | 3910409 | 526282 | 27409 46 | 1 | 1 942.74/942.98 c 942s | 19 | 3919817 | 527282 | 27409 46 | 1 | 1 944.85/945.08 c 944s | 19 | 3948981 | 528482 | 27409 46 | 1 | 1 946.95/947.20 c 946s | 19 | 3957477 | 529582 | 27409 46 | 1 | 1 949.15/949.39 c 949s | 19 | 3961399 | 530582 | 27409 47 | 1 | 1 951.24/951.47 c 951s | 19 | 3974512 | 531682 | 27409 47 | 1 | 1 953.24/953.48 c 953s | 19 | 3991275 | 532682 | 27409 47 | 1 | 1 955.44/955.62 c 955s | 19 | 4017985 | 533882 | 27409 47 | 1 | 1 957.54/957.76 c 957s | 19 | 4038332 | 535182 | 27409 47 | 1 | 1 959.64/959.80 c 959s | 19 | 4049626 | 536282 | 27409 47 | 1 | 1 961.74/961.94 c 961s | 19 | 4059260 | 537582 | 27409 47 | 1 | 1 963.94/964.12 c 963s | 19 | 4063880 | 538682 | 27409 47 | 1 | 1 966.04/966.21 c 965s | 19 | 4080183 | 539982 | 27409 47 | 1 | 1 968.14/968.30 c 968s | 19 | 4092935 | 541382 | 27409 47 | 1 | 1 970.14/970.31 c 970s | 19 | 4097991 | 542482 | 27409 47 | 1 | 1 972.34/972.58 c 972s | 19 | 4101652 | 543382 | 27409 48 | 1 | 1 974.44/974.68 c 974s | 19 | 4140242 | 544582 | 27409 48 | 1 | 1 976.44/976.69 c 976s | 19 | 4148286 | 545182 | 27409 48 | 1 | 1 978.54/978.75 c 978s | 19 | 4167077 | 546482 | 27409 48 | 1 | 1 980.64/980.81 c 980s | 19 | 4185222 | 547682 | 27409 48 | 1 | 1 982.74/982.92 c 982s | 19 | 4213002 | 549082 | 27409 48 | 1 | 1 984.84/985.00 c 984s | 19 | 4221524 | 550082 | 27409 48 | 1 | 1 987.04/987.29 c 987s | 19 | 4235146 | 551282 | 27409 48 | 1 | 1 989.14/989.33 c 989s | 19 | 4244293 | 552382 | 27409 48 | 1 | 1 991.24/991.42 c 991s | 19 | 4250632 | 553382 | 27409 48 | 1 | 1 993.25/993.46 c 993s | 19 | 4257617 | 554482 | 27409 48 | 1 | 1 995.35/995.51 c 995s | 19 | 4266944 | 555582 | 27409 48 | 1 | 1 997.44/997.64 c 997s | 19 | 4270463 | 556582 | 27409 48 | 1 | 1 999.85/1000.05 c 999s | 19 | 4272998 | 557582 | 27409 49 | 1 | 1 1001.95/1002.12 c 1001s | 19 | 4285871 | 558682 | 27409 49 | 1 | 1 1003.94/1004.13 c 1003s | 19 | 4294507 | 559882 | 27409 49 | 1 | 1 1006.04/1006.24 c 1005s | 19 | 4302180 | 561282 | 27409 49 | 1 | 1 1008.24/1008.40 c 1008s | 19 | 4308274 | 562682 | 27409 49 | 1 | 1 1010.24/1010.46 c 1010s | 19 | 4322143 | 563982 | 27409 49 | 1 | 1 1012.34/1012.59 c 1012s | 19 | 4329952 | 565182 | 27409 49 | 1 | 1 1014.44/1014.66 c 1014s | 19 | 4337262 | 566382 | 27409 49 | 1 | 1 1016.44/1016.67 c 1016s | 19 | 4348500 | 567682 | 27409 49 | 1 | 1 1019.44/1019.65 c 1019s | 19 | 4357428 | 568982 | 27409 49 | 1 | 1 1021.43/1021.66 c 1021s | 19 | 4363771 | 570182 | 27409 49 | 1 | 1 1023.83/1024.07 c 1023s | 19 | 4370803 | 571282 | 27409 50 | 1 | 1 1025.93/1026.19 c 1025s | 19 | 4381259 | 572682 | 27409 50 | 1 | 1 1028.03/1028.21 c 1027s | 19 | 4398999 | 573982 | 27409 50 | 1 | 1 1030.03/1030.24 c 1029s | 19 | 4407762 | 575182 | 27409 50 | 1 | 1 1032.13/1032.35 c 1032s | 19 | 4416223 | 576382 | 27409 50 | 1 | 1 1034.13/1034.36 c 1034s | 19 | 4419807 | 577382 | 27409 50 | 1 | 1 1036.33/1036.54 c 1036s | 19 | 4424010 | 578482 | 27409 50 | 1 | 1 1038.34/1038.55 c 1038s | 19 | 4427583 | 579582 | 27409 50 | 1 | 1 1040.44/1040.61 c 1040s | 19 | 4432746 | 580782 | 27409 50 | 1 | 1 1042.52/1042.75 c 1042s | 19 | 4440493 | 581882 | 27409 50 | 1 | 1 1044.62/1044.87 c 1044s | 19 | 4444484 | 582882 | 27409 50 | 1 | 1 1046.82/1047.05 c 1046s | 19 | 4447119 | 584082 | 27409 50 | 1 | 1 1048.92/1049.11 c 1048s | 19 | 4455561 | 585182 | 27409 51 | 1 | 1 1051.02/1051.22 c 1050s | 19 | 4464663 | 586382 | 27409 51 | 1 | 1 1053.02/1053.29 c 1053s | 19 | 4470501 | 587482 | 27409 51 | 1 | 1 1055.22/1055.40 c 1055s | 19 | 4478109 | 588782 | 27409 51 | 1 | 1 1057.32/1057.53 c 1057s | 19 | 4481476 | 589882 | 27409 51 | 1 | 1 1059.52/1059.72 c 1059s | 19 | 4498069 | 591282 | 27409 51 | 1 | 1 1061.51/1061.74 c 1061s | 19 | 4501508 | 592282 | 27409 51 | 1 | 1 1063.62/1063.88 c 1063s | 19 | 4504832 | 593482 | 27409 51 | 1 | 1 1065.72/1065.99 c 1065s | 19 | 4506528 | 594582 | 27409 51 | 1 | 1 1067.81/1068.00 c 1067s | 19 | 4508540 | 595782 | 27409 51 | 1 | 1 1070.71/1070.95 c 1070s | 19 | 4510640 | 596282 | 27409 51 | 1 | 1 1072.80/1073.06 c 1072s | 19 | 4517380 | 597282 | 27409 51 | 1 | 1 1074.80/1075.06 c 1074s | 19 | 4519485 | 598082 | 27409 51 | 1 | 1 1077.00/1077.28 c 1077s | 19 | 4528509 | 599082 | 27409 52 | 1 | 1 1079.20/1079.44 c 1079s | 19 | 4532274 | 599882 | 27409 52 | 1 | 1 1081.40/1081.63 c 1081s | 19 | 4536975 | 600982 | 27409 52 | 1 | 1 1083.50/1083.77 c 1083s | 19 | 4543400 | 602082 | 27409 52 | 1 | 1 1085.70/1085.95 c 1085s | 19 | 4550623 | 603082 | 27409 52 | 1 | 1 1087.70/1087.97 c 1087s | 19 | 4560441 | 604182 | 27409 52 | 1 | 1 1089.90/1090.20 c 1089s | 19 | 4565308 | 605182 | 27409 52 | 1 | 1 1092.10/1092.37 c 1092s | 19 | 4568107 | 606082 | 27409 52 | 1 | 1 1094.30/1094.56 c 1094s | 19 | 4571032 | 607082 | 27409 52 | 1 | 1 1096.39/1096.65 c 1096s | 19 | 4573256 | 607982 | 27409 52 | 1 | 1 1098.59/1098.86 c 1098s | 19 | 4575337 | 608982 | 27409 52 | 1 | 1 1100.59/1100.87 c 1100s | 19 | 4576865 | 609882 | 27409 52 | 1 | 1 1102.69/1102.90 c 1102s | 19 | 4579199 | 610882 | 27409 52 | 1 | 1 1104.69/1104.94 c 1104s | 19 | 4582389 | 611982 | 27409 52 | 1 | 1 1106.88/1107.16 c 1106s | 19 | 4591939 | 613082 | 27409 53 | 1 | 1 1108.99/1109.26 c 1109s | 19 | 4595361 | 614082 | 27409 53 | 1 | 1 1111.19/1111.43 c 1111s | 19 | 4602813 | 615282 | 27409 53 | 1 | 1 1113.29/1113.54 c 1113s | 19 | 4609067 | 616382 | 27409 53 | 1 | 1 1115.29/1115.56 c 1115s | 19 | 4618999 | 617582 | 27409 53 | 1 | 1 1117.39/1117.61 c 1117s | 19 | 4626342 | 618682 | 27409 53 | 1 | 1 1119.49/1119.73 c 1119s | 19 | 4629971 | 619782 | 27409 53 | 1 | 1 1121.68/1121.90 c 1121s | 19 | 4632850 | 620882 | 27409 53 | 1 | 1 1123.68/1123.98 c 1123s | 19 | 4636571 | 621982 | 27409 53 | 1 | 1 1125.78/1126.04 c 1125s | 19 | 4640198 | 622982 | 27409 53 | 1 | 1 1127.98/1128.20 c 1127s | 19 | 4642721 | 624082 | 27409 53 | 1 | 1 1129.98/1130.21 c 1129s | 19 | 4645334 | 624982 | 27409 53 | 1 | 1 1132.17/1132.40 c 1132s | 19 | 4648381 | 626082 | 27409 53 | 1 | 1 1134.47/1134.77 c 1134s | 19 | 4650498 | 627082 | 27409 54 | 1 | 1 1136.67/1136.90 c 1136s | 19 | 4654090 | 628082 | 27409 54 | 1 | 1 1138.67/1138.92 c 1138s | 19 | 4663662 | 629382 | 27409 54 | 1 | 1 1140.77/1141.03 c 1140s | 19 | 4669195 | 630782 | 27409 54 | 1 | 1 1142.87/1143.13 c 1142s | 19 | 4674699 | 632182 | 27409 54 | 1 | 1 1145.16/1145.45 c 1145s | 19 | 4676081 | 632382 | 27409 54 | 1 | 1 1147.17/1147.46 c 1147s | 19 | 4680909 | 633582 | 27409 54 | 1 | 1 1149.27/1149.51 c 1149s | 19 | 4691918 | 634882 | 27409 54 | 1 | 1 1151.36/1151.67 c 1151s | 19 | 4705594 | 636182 | 27409 54 | 1 | 1 1153.45/1153.78 c 1153s | 19 | 4717276 | 637482 | 27409 54 | 1 | 1 1155.55/1155.82 c 1155s | 19 | 4733975 | 638782 | 27409 54 | 1 | 1 1157.65/1157.96 c 1157s | 19 | 4743064 | 640082 | 27409 54 | 1 | 1 1160.05/1160.38 c 1160s | 19 | 4759818 | 641182 | 27409 55 | 1 | 1 1162.15/1162.40 c 1162s | 19 | 4772578 | 642482 | 27409 55 | 1 | 1 1164.25/1164.55 c 1164s | 19 | 4785335 | 643982 | 27409 55 | 1 | 1 1166.35/1166.65 c 1166s | 19 | 4795918 | 645182 | 27409 55 | 1 | 1 1168.45/1168.75 c 1168s | 19 | 4805805 | 646482 | 27409 55 | 1 | 1 1170.55/1170.84 c 1170s | 19 | 4810108 | 647582 | 27409 55 | 1 | 1 1172.55/1172.87 c 1172s | 19 | 4815778 | 648682 | 27409 55 | 1 | 1 1174.75/1175.00 c 1174s | 19 | 4820981 | 649882 | 27409 55 | 1 | 1 1176.86/1177.15 c 1176s | 19 | 4827548 | 650982 | 27409 55 | 1 | 1 1178.85/1179.18 c 1178s | 19 | 4835306 | 652182 | 27409 55 | 1 | 1 1180.95/1181.22 c 1180s | 19 | 4844218 | 653482 | 27409 55 | 1 | 1 1183.15/1183.40 c 1183s | 19 | 4850301 | 654582 | 27409 56 | 1 | 1 1185.14/1185.41 c 1185s | 19 | 4858178 | 655782 | 27409 56 | 1 | 1 1187.14/1187.41 c 1187s | 19 | 4861546 | 656882 | 27409 56 | 1 | 1 1189.14/1189.49 c 1189s | 19 | 4864099 | 658082 | 27409 56 | 1 | 1 1191.24/1191.58 c 1191s | 19 | 4867612 | 659382 | 27409 56 | 1 | 1 1193.44/1193.72 c 1193s | 19 | 4872021 | 660682 | 27409 56 | 1 | 1 1195.55/1195.86 c 1195s | 19 | 4874507 | 661582 | 27409 56 | 1 | 1 1197.65/1197.93 c 1197s | 19 | 4883118 | 662982 | 30150 56 | 1 | 1 1199.64/1199.94 c 1199s | 19 | 4894526 | 664482 | 30150 56 | 1 | 1 1201.74/1202.01 c 1201s | 19 | 4900310 | 665682 | 30150 56 | 1 | 1 1203.84/1204.14 c 1203s | 19 | 4905000 | 666782 | 30150 56 | 1 | 1 1203.94/1204.21 c 1203s | 20 | 4905402 | 666827 | 30150 56 | 1 | 1 1206.03/1206.35 c 1206s | 20 | 4909414 | 667827 | 30150 56 | 1 | 1 1208.23/1208.52 c 1208s | 20 | 4913046 | 669027 | 30150 56 | 1 | 1 1210.23/1210.56 c 1210s | 20 | 4915655 | 669927 | 30150 56 | 1 | 1 1212.33/1212.67 c 1212s | 20 | 4917709 | 670827 | 30150 56 | 1 | 1 1215.43/1215.75 c 1215s | 20 | 4919898 | 671627 | 30150 57 | 1 | 1 1217.53/1217.86 c 1217s | 20 | 4943655 | 672727 | 30150 57 | 1 | 1 1219.53/1219.87 c 1219s | 20 | 4960561 | 673927 | 30150 57 | 1 | 1 1221.52/1221.89 c 1221s | 20 | 4985988 | 675227 | 30150 57 | 1 | 1 1223.62/1223.97 c 1223s | 20 | 5004549 | 676527 | 30150 57 | 1 | 1 1225.72/1226.06 c 1225s | 20 | 5017057 | 677627 | 30150 57 | 1 | 1 1227.82/1228.13 c 1227s | 20 | 5033347 | 678827 | 30150 57 | 1 | 1 1229.92/1230.28 c 1230s | 20 | 5042799 | 680027 | 30150 57 | 1 | 1 1232.02/1232.34 c 1232s | 20 | 5057339 | 681127 | 30150 57 | 1 | 1 1234.62/1234.96 c 1234s | 20 | 5064838 | 682227 | 30150 57 | 1 | 1 1236.72/1237.03 c 1236s | 20 | 5071777 | 683327 | 30150 57 | 1 | 1 1238.81/1239.11 c 1238s | 20 | 5074016 | 684227 | 30150 57 | 1 | 1 1240.91/1241.22 c 1240s | 20 | 5079513 | 685327 | 30150 57 | 1 | 1 1243.01/1243.31 c 1243s | 20 | 5084870 | 686527 | 30150 57 | 1 | 1 1245.21/1245.55 c 1245s | 20 | 5089505 | 687527 | 30150 58 | 1 | 1 1247.31/1247.62 c 1247s | 20 | 5093491 | 688727 | 30150 58 | 1 | 1 1249.42/1249.71 c 1249s | 20 | 5100329 | 690027 | 30150 58 | 1 | 1 1251.40/1251.78 c 1251s | 20 | 5107354 | 691327 | 30150 58 | 1 | 1 1253.50/1253.84 c 1253s | 20 | 5115910 | 692527 | 30150 58 | 1 | 1 1255.60/1255.96 c 1255s | 20 | 5132103 | 693927 | 30150 58 | 1 | 1 1257.70/1258.02 c 1257s | 20 | 5136903 | 694927 | 30150 58 | 1 | 1 1259.80/1260.13 c 1259s | 20 | 5139948 | 696127 | 30150 58 | 1 | 1 1262.00/1262.32 c 1262s | 20 | 5150161 | 697327 | 30150 58 | 1 | 1 1264.00/1264.37 c 1264s | 20 | 5154725 | 698327 | 30150 58 | 1 | 1 1266.00/1266.38 c 1266s | 20 | 5165044 | 699527 | 30150 58 | 1 | 1 1268.20/1268.53 c 1268s | 20 | 5177232 | 700827 | 30150 58 | 1 | 1 1270.30/1270.62 c 1270s | 20 | 5187930 | 701827 | 30150 59 | 1 | 1 1272.40/1272.71 c 1272s | 20 | 5194718 | 703127 | 30150 59 | 1 | 1 1274.39/1274.75 c 1274s | 20 | 5201942 | 704527 | 30150 59 | 1 | 1 1276.49/1276.82 c 1276s | 20 | 5207233 | 705827 | 30150 59 | 1 | 1 1278.59/1278.90 c 1278s | 20 | 5212276 | 707027 | 30150 59 | 1 | 1 1280.59/1280.93 c 1280s | 20 | 5213669 | 708027 | 30150 59 | 1 | 1 1282.68/1283.09 c 1282s | 20 | 5218139 | 709427 | 30150 59 | 1 | 1 1284.78/1285.12 c 1284s | 20 | 5222862 | 710727 | 30150 59 | 1 | 1 1286.79/1287.17 c 1286s | 20 | 5237454 | 711927 | 30150 59 | 1 | 1 1288.99/1289.32 c 1289s | 20 | 5259277 | 713327 | 30150 59 | 1 | 1 1291.09/1291.41 c 1291s | 20 | 5265041 | 714527 | 30150 59 | 1 | 1 1293.48/1293.84 c 1293s | 20 | 5271008 | 715627 | 30150 59 | 1 | 1 1295.58/1295.91 c 1295s | 20 | 5274768 | 716527 | 30150 59 | 1 | 1 1297.78/1298.17 c 1297s | 20 | 5285310 | 717327 | 30150 60 | 1 | 1 1300.58/1300.90 c 1300s | 20 | 5293799 | 718127 | 30150 60 | 1 | 1 1302.67/1303.01 c 1302s | 20 | 5303751 | 719427 | 30150 60 | 1 | 1 1304.77/1305.12 c 1304s | 20 | 5315424 | 720527 | 30150 60 | 1 | 1 1306.87/1307.20 c 1306s | 20 | 5327182 | 721727 | 30150 60 | 1 | 1 1308.87/1309.24 c 1308s | 20 | 5329611 | 722727 | 30150 60 | 1 | 1 1310.88/1311.30 c 1311s | 20 | 5335340 | 723827 | 30150 60 | 1 | 1 1313.07/1313.44 c 1313s | 20 | 5343506 | 724827 | 30150 60 | 1 | 1 1315.06/1315.49 c 1315s | 20 | 5347458 | 725727 | 30150 60 | 1 | 1 1317.26/1317.68 c 1317s | 20 | 5352368 | 726827 | 30150 60 | 1 | 1 1319.36/1319.70 c 1319s | 20 | 5366124 | 727927 | 30150 60 | 1 | 1 1321.36/1321.74 c 1321s | 20 | 5377878 | 729027 | 30150 60 | 1 | 1 1323.46/1323.86 c 1323s | 20 | 5393828 | 730127 | 30150 60 | 1 | 1 1325.56/1325.90 c 1325s | 20 | 5401661 | 731127 | 30150 60 | 1 | 1 1327.76/1328.10 c 1327s | 20 | 5413156 | 732327 | 30150 61 | 1 | 1 1329.76/1330.14 c 1329s | 20 | 5418918 | 733427 | 30150 61 | 1 | 1 1331.86/1332.24 c 1331s | 20 | 5426157 | 734527 | 30150 61 | 1 | 1 1333.85/1334.27 c 1334s | 20 | 5428653 | 735327 | 30150 61 | 1 | 1 1335.95/1336.31 c 1336s | 20 | 5440099 | 736327 | 30150 61 | 1 | 1 1337.95/1338.39 c 1338s | 20 | 5451616 | 737527 | 30150 61 | 1 | 1 1340.25/1340.60 c 1340s | 20 | 5456528 | 738727 | 30150 61 | 1 | 1 1342.35/1342.71 c 1342s | 20 | 5460801 | 739727 | 30150 61 | 1 | 1 1344.35/1344.72 c 1344s | 20 | 5463920 | 740827 | 30150 61 | 1 | 1 1346.35/1346.77 c 1346s | 20 | 5467471 | 741727 | 30150 61 | 1 | 1 1348.36/1348.78 c 1348s | 20 | 5471995 | 742827 | 30150 61 | 1 | 1 1350.35/1350.79 c 1350s | 20 | 5475944 | 743927 | 30150 61 | 1 | 1 1352.44/1352.84 c 1352s | 20 | 5480225 | 744927 | 30150 61 | 1 | 1 1354.44/1354.86 c 1354s | 20 | 5486295 | 746227 | 30150 61 | 1 | 1 1356.64/1357.03 c 1356s | 20 | 5490720 | 747327 | 30150 61 | 1 | 1 1358.74/1359.13 c 1358s | 20 | 5492372 | 748027 | 30150 62 | 1 | 1 1360.84/1361.24 c 1360s | 20 | 5495111 | 749127 | 30150 62 | 1 | 1 1363.04/1363.48 c 1363s | 20 | 5497336 | 750127 | 30150 62 | 1 | 1 1365.24/1365.65 c 1365s | 20 | 5500120 | 751027 | 30150 62 | 1 | 1 1367.25/1367.66 c 1367s | 20 | 5503480 | 752127 | 30150 62 | 1 | 1 1369.45/1369.80 c 1369s | 20 | 5511244 | 753427 | 30150 62 | 1 | 1 1371.45/1371.88 c 1371s | 20 | 5514661 | 754427 | 30150 62 | 1 | 1 1373.55/1373.98 c 1373s | 20 | 5520485 | 755427 | 30150 62 | 1 | 1 1375.64/1376.09 c 1375s | 20 | 5524056 | 756327 | 30150 62 | 1 | 1 1377.95/1378.35 c 1378s | 20 | 5526089 | 757227 | 30150 62 | 1 | 1 1380.94/1381.35 c 1381s | 20 | 5528649 | 758127 | 30150 62 | 1 | 1 1383.03/1383.47 c 1383s | 20 | 5531649 | 758927 | 30150 62 | 1 | 1 1385.13/1385.50 c 1385s | 20 | 5541827 | 759827 | 30150 62 | 1 | 1 1387.33/1387.72 c 1387s | 20 | 5547762 | 760827 | 30150 62 | 1 | 1 1389.53/1389.94 c 1389s | 20 | 5549717 | 761727 | 30150 62 | 1 | 1 1391.63/1392.05 c 1391s | 20 | 5552570 | 762727 | 30150 62 | 1 | 1 1393.63/1394.06 c 1393s | 20 | 5557053 | 763527 | 30150 63 | 1 | 1 1395.73/1396.19 c 1395s | 20 | 5563644 | 764727 | 30150 63 | 1 | 1 1397.84/1398.20 c 1397s | 20 | 5568803 | 766027 | 30150 63 | 1 | 1 1399.83/1400.27 c 1400s | 20 | 5578192 | 767127 | 30150 63 | 1 | 1 1401.92/1402.38 c 1402s | 20 | 5583335 | 768227 | 30150 63 | 1 | 1 1404.02/1404.49 c 1404s | 20 | 5585599 | 769227 | 30150 63 | 1 | 1 1406.22/1406.68 c 1406s | 20 | 5586970 | 770127 | 30150 63 | 1 | 1 1408.22/1408.68 c 1408s | 20 | 5597505 | 771227 | 30150 63 | 1 | 1 1410.32/1410.75 c 1410s | 20 | 5608899 | 772227 | 30150 63 | 1 | 1 1412.52/1412.91 c 1412s | 20 | 5611321 | 773227 | 30150 63 | 1 | 1 1414.52/1414.92 c 1414s | 20 | 5612483 | 774027 | 30150 63 | 1 | 1 1416.62/1417.07 c 1416s | 20 | 5620590 | 774927 | 30150 63 | 1 | 1 1418.82/1419.24 c 1418s | 20 | 5622790 | 775627 | 30150 63 | 1 | 1 1420.92/1421.32 c 1421s | 20 | 5623739 | 776327 | 30150 63 | 1 | 1 1423.12/1423.51 c 1423s | 20 | 5627303 | 777227 | 30150 63 | 1 | 1 1425.32/1425.75 c 1425s | 20 | 5628806 | 778127 | 30150 63 | 1 | 1 1427.31/1427.79 c 1427s | 20 | 5630471 | 778827 | 30150 64 | 1 | 1 1429.51/1429.93 c 1429s | 20 | 5637507 | 779827 | 30150 64 | 1 | 1 1431.61/1432.02 c 1431s | 20 | 5640371 | 780827 | 30150 64 | 1 | 1 1433.81/1434.20 c 1433s | 20 | 5641864 | 781727 | 30150 64 | 1 | 1 1435.91/1436.34 c 1436s | 20 | 5653017 | 782727 | 30150 64 | 1 | 1 1438.01/1438.45 c 1438s | 20 | 5670048 | 783327 | 30150 64 | 1 | 1 1443.51/1443.92 c 1443s | 20 | 5674326 | 783527 | 30150 64 | 1 | 1 1445.61/1446.08 c 1445s | 20 | 5689427 | 784727 | 30150 64 | 1 | 1 1447.71/1448.15 c 1447s | 20 | 5699898 | 785727 | 30150 64 | 1 | 1 1449.80/1450.29 c 1450s | 20 | 5728162 | 786927 | 30150 64 | 1 | 1 1451.90/1452.38 c 1452s | 20 | 5745033 | 788127 | 30150 64 | 1 | 1 1454.10/1454.50 c 1454s | 20 | 5762699 | 789327 | 30150 64 | 1 | 1 1456.11/1456.56 c 1456s | 20 | 5768276 | 790327 | 30150 64 | 1 | 1 1458.21/1458.62 c 1458s | 20 | 5777784 | 791527 | 30150 64 | 1 | 1 1460.20/1460.67 c 1460s | 20 | 5785042 | 792727 | 30150 64 | 1 | 1 1462.40/1462.80 c 1462s | 20 | 5802675 | 793727 | 30150 65 | 1 | 1 1465.00/1465.43 c 1465s | 20 | 5814498 | 794727 | 30150 65 | 1 | 1 1467.00/1467.47 c 1467s | 20 | 5833460 | 795827 | 30150 65 | 1 | 1 1469.20/1469.64 c 1469s | 20 | 5852041 | 797027 | 30150 65 | 1 | 1 1471.40/1471.84 c 1471s | 20 | 5865170 | 798027 | 30150 65 | 1 | 1 1473.49/1473.99 c 1473s | 20 | 5882080 | 799127 | 30150 65 | 1 | 1 1475.69/1476.16 c 1475s | 20 | 5888935 | 800127 | 30150 65 | 1 | 1 1478.58/1479.05 c 1478s | 20 | 5901393 | 800827 | 30150 65 | 1 | 1 1480.68/1481.11 c 1480s | 20 | 5915774 | 801927 | 30150 65 | 1 | 1 1482.78/1483.29 c 1483s | 20 | 5930275 | 803027 | 30150 65 | 1 | 1 1484.98/1485.48 c 1485s | 20 | 5936163 | 803827 | 30150 65 | 1 | 1 1487.18/1487.60 c 1487s | 20 | 5962002 | 804827 | 30150 65 | 1 | 1 1489.38/1489.81 c 1489s | 20 | 5968458 | 805827 | 30150 65 | 1 | 1 1491.38/1491.85 c 1491s | 20 | 5985877 | 806727 | 30150 65 | 1 | 1 1493.48/1493.91 c 1493s | 20 | 5993474 | 807527 | 30150 65 | 1 | 1 1495.58/1496.07 c 1495s | 20 | 5998734 | 808327 | 30150 65 | 1 | 1 1497.67/1498.13 c 1497s | 20 | 6004423 | 809027 | 30150 66 | 1 | 1 1499.77/1500.24 c 1499s | 20 | 6008715 | 810227 | 30150 66 | 1 | 1 1501.87/1502.32 c 1502s | 20 | 6020663 | 811327 | 30150 66 | 1 | 1 1504.07/1504.56 c 1504s | 20 | 6024342 | 812327 | 30150 66 | 1 | 1 1506.17/1506.66 c 1506s | 20 | 6040406 | 813427 | 30150 66 | 1 | 1 1511.47/1511.98 c 1511s | 20 | 6054822 | 814527 | 30150 66 | 1 | 1 1513.67/1514.12 c 1513s | 20 | 6071729 | 815727 | 30150 66 | 1 | 1 1515.77/1516.22 c 1515s | 20 | 6093183 | 816927 | 30150 66 | 1 | 1 1517.77/1518.24 c 1517s | 20 | 6113837 | 817927 | 30150 66 | 1 | 1 1519.97/1520.41 c 1520s | 20 | 6123495 | 818927 | 30150 66 | 1 | 1 1521.97/1522.50 c 1522s | 20 | 6140732 | 820027 | 30150 66 | 1 | 1 1524.17/1524.66 c 1524s | 20 | 6152607 | 821127 | 30150 66 | 1 | 1 1526.27/1526.79 c 1526s | 20 | 6160457 | 822027 | 30150 66 | 1 | 1 1528.47/1528.93 c 1528s | 20 | 6165472 | 822927 | 30150 66 | 1 | 1 1530.47/1530.98 c 1530s | 20 | 6166732 | 823627 | 30150 66 | 1 | 1 1533.07/1533.51 c 1533s | 20 | 6168714 | 824427 | 30150 67 | 1 | 1 1535.06/1535.60 c 1535s | 20 | 6180965 | 825227 | 30150 67 | 1 | 1 1537.16/1537.68 c 1537s | 20 | 6189123 | 826027 | 30150 67 | 1 | 1 1539.26/1539.72 c 1539s | 20 | 6220319 | 827227 | 30150 67 | 1 | 1 1541.46/1541.97 c 1541s | 20 | 6228052 | 828227 | 30150 67 | 1 | 1 1543.56/1544.01 c 1543s | 20 | 6256762 | 829427 | 30150 67 | 1 | 1 1545.56/1546.06 c 1545s | 20 | 6267271 | 830427 | 30150 67 | 1 | 1 1547.55/1548.09 c 1547s | 20 | 6287671 | 831427 | 30150 67 | 1 | 1 1549.75/1550.25 c 1549s | 20 | 6296883 | 832427 | 30150 67 | 1 | 1 1551.76/1552.28 c 1552s | 20 | 6321049 | 833627 | 30150 67 | 1 | 1 1553.85/1554.37 c 1554s | 20 | 6327377 | 834627 | 30150 67 | 1 | 1 1555.95/1556.45 c 1556s | 20 | 6338438 | 835627 | 30150 67 | 1 | 1 1557.95/1558.47 c 1558s | 20 | 6343083 | 836627 | 30150 67 | 1 | 1 1560.05/1560.57 c 1560s | 20 | 6346857 | 837727 | 30150 67 | 1 | 1 1562.14/1562.64 c 1562s | 20 | 6351995 | 838627 | 30150 67 | 1 | 1 1564.24/1564.71 c 1564s | 20 | 6360795 | 839327 | 30150 68 | 1 | 1 1566.34/1566.83 c 1566s | 20 | 6387628 | 840527 | 30150 68 | 1 | 1 1568.34/1568.87 c 1568s | 20 | 6403720 | 841727 | 30150 68 | 1 | 1 1570.45/1570.92 c 1570s | 20 | 6428483 | 842827 | 30150 68 | 1 | 1 1572.44/1572.94 c 1572s | 20 | 6434932 | 843827 | 30150 68 | 1 | 1 1574.44/1574.95 c 1574s | 20 | 6448123 | 844827 | 30150 68 | 1 | 1 1576.74/1577.23 c 1576s | 20 | 6456641 | 845827 | 30150 68 | 1 | 1 1578.74/1579.29 c 1579s | 20 | 6472922 | 846727 | 30150 68 | 1 | 1 1580.84/1581.37 c 1581s | 20 | 6502787 | 847727 | 30150 68 | 1 | 1 1583.03/1583.53 c 1583s | 20 | 6517689 | 848627 | 30150 68 | 1 | 1 1585.13/1585.67 c 1585s | 20 | 6535870 | 849527 | 30150 68 | 1 | 1 1587.33/1587.85 c 1587s | 20 | 6549972 | 850527 | 30150 68 | 1 | 1 1589.33/1589.90 c 1589s | 20 | 6560019 | 851327 | 30150 68 | 1 | 1 1591.43/1591.91 c 1591s | 20 | 6564600 | 852027 | 30150 68 | 1 | 1 1593.43/1593.92 c 1593s | 20 | 6574352 | 852927 | 30150 68 | 1 | 1 1595.63/1596.12 c 1595s | 20 | 6589422 | 853827 | 30150 68 | 1 | 1 1597.83/1598.33 c 1598s | 20 | 6594763 | 854627 | 30150 68 | 1 | 1 1599.82/1600.35 c 1600s | 20 | 6601712 | 855427 | 30150 69 | 1 | 1 1601.92/1602.43 c 1602s | 20 | 6615007 | 856427 | 30150 69 | 1 | 1 1604.12/1604.60 c 1604s | 20 | 6623813 | 857527 | 30150 69 | 1 | 1 1606.12/1606.63 c 1606s | 20 | 6628061 | 858427 | 30150 69 | 1 | 1 1608.32/1608.81 c 1608s | 20 | 6632975 | 859427 | 30150 69 | 1 | 1 1610.32/1610.86 c 1610s | 20 | 6648793 | 860627 | 30150 69 | 1 | 1 1612.42/1612.98 c 1612s | 20 | 6652158 | 861527 | 30150 69 | 1 | 1 1614.72/1615.20 c 1614s | 20 | 6657778 | 862827 | 30150 69 | 1 | 1 1616.82/1617.33 c 1617s | 20 | 6671783 | 864027 | 30150 69 | 1 | 1 1618.91/1619.48 c 1619s | 20 | 6680499 | 865127 | 30150 69 | 1 | 1 1621.02/1621.53 c 1621s | 20 | 6687607 | 866027 | 30150 69 | 1 | 1 1623.12/1623.61 c 1623s | 20 | 6699302 | 867127 | 30150 69 | 1 | 1 1625.32/1625.83 c 1625s | 20 | 6708300 | 868327 | 30150 69 | 1 | 1 1627.41/1628.00 c 1627s | 20 | 6727903 | 869527 | 30150 69 | 1 | 1 1629.51/1630.00 c 1629s | 20 | 6734304 | 870427 | 30150 70 | 1 | 1 1631.52/1632.02 c 1631s | 20 | 6738263 | 871327 | 30150 70 | 1 | 1 1633.62/1634.15 c 1633s | 20 | 6746468 | 872227 | 30150 70 | 1 | 1 1635.92/1636.44 c 1636s | 20 | 6752618 | 873227 | 30150 70 | 1 | 1 1638.02/1638.53 c 1638s | 20 | 6760804 | 874127 | 30150 70 | 1 | 1 1640.22/1640.74 c 1640s | 20 | 6772275 | 875427 | 30150 70 | 1 | 1 1642.31/1642.81 c 1642s | 20 | 6779499 | 876427 | 30150 70 | 1 | 1 1644.31/1644.85 c 1644s | 20 | 6783552 | 877327 | 30150 70 | 1 | 1 1646.32/1646.87 c 1646s | 20 | 6791479 | 878327 | 30150 70 | 1 | 1 1648.31/1648.89 c 1648s | 20 | 6794456 | 879227 | 30150 70 | 1 | 1 1650.62/1651.16 c 1650s | 20 | 6805920 | 880227 | 30150 70 | 1 | 1 1652.82/1653.33 c 1653s | 20 | 6810899 | 881227 | 30150 70 | 1 | 1 1661.21/1661.73 c 1661s | 20 | 6813335 | 881927 | 30150 70 | 1 | 1 1663.21/1663.73 c 1663s | 20 | 6827592 | 883127 | 30150 70 | 1 | 1 1665.91/1666.47 c 1666s | 20 | 6829327 | 883427 | 30150 70 | 1 | 1 1668.01/1668.56 c 1668s | 20 | 6843111 | 884727 | 30150 70 | 1 | 1 1670.10/1670.61 c 1670s | 20 | 6848501 | 885527 | 30150 71 | 1 | 1 1672.10/1672.63 c 1672s | 20 | 6851683 | 886627 | 30150 71 | 1 | 1 1674.30/1674.81 c 1674s | 20 | 6863176 | 887827 | 30150 71 | 1 | 1 1676.50/1677.01 c 1676s | 20 | 6873607 | 888927 | 30150 71 | 1 | 1 1678.50/1679.09 c 1678s | 20 | 6883170 | 890027 | 30150 71 | 1 | 1 1680.70/1681.26 c 1681s | 20 | 6902396 | 891227 | 30150 71 | 1 | 1 1682.80/1683.34 c 1683s | 20 | 6906881 | 892127 | 30150 71 | 1 | 1 1685.00/1685.51 c 1685s | 20 | 6925831 | 893327 | 30150 71 | 1 | 1 1687.10/1687.66 c 1687s | 20 | 6939390 | 894427 | 30150 71 | 1 | 1 1689.11/1689.70 c 1689s | 20 | 6949640 | 895527 | 30150 71 | 1 | 1 1691.40/1691.91 c 1691s | 20 | 6957244 | 896627 | 30150 71 | 1 | 1 1693.50/1694.02 c 1693s | 20 | 6968900 | 897627 | 30150 71 | 1 | 1 1695.50/1696.09 c 1695s | 20 | 6977173 | 898827 | 30150 71 | 1 | 1 1697.80/1698.30 c 1698s | 20 | 6981615 | 900027 | 30150 71 | 1 | 1 1699.90/1700.46 c 1700s | 20 | 6986868 | 901027 | 30150 72 | 1 | 1 1702.00/1702.54 c 1702s | 20 | 6995015 | 902327 | 30150 72 | 1 | 1 1704.10/1704.64 c 1704s | 20 | 7000949 | 903427 | 30150 72 | 1 | 1 1706.20/1706.75 c 1706s | 20 | 7006343 | 904527 | 30150 72 | 1 | 1 1708.40/1708.90 c 1708s | 20 | 7017577 | 905627 | 30150 72 | 1 | 1 1710.50/1711.06 c 1710s | 20 | 7031595 | 906827 | 30150 72 | 1 | 1 1712.59/1713.13 c 1712s | 20 | 7034799 | 907927 | 30150 72 | 1 | 1 1714.59/1715.19 c 1714s | 20 | 7042711 | 909127 | 30150 72 | 1 | 1 1716.70/1717.29 c 1717s | 20 | 7049907 | 910227 | 30150 72 | 1 | 1 1718.90/1719.48 c 1719s | 20 | 7054116 | 911427 | 30150 72 | 1 | 1 1721.00/1721.58 c 1721s | 20 | 7060496 | 912627 | 30150 72 | 1 | 1 1723.20/1723.75 c 1723s | 20 | 7071315 | 913827 | 30150 72 | 1 | 1 1725.19/1725.78 c 1725s | 20 | 7082129 | 915127 | 30150 72 | 1 | 1 1728.09/1728.67 c 1728s | 20 | 7088027 | 915927 | 30150 73 | 1 | 1 1730.29/1730.81 c 1730s | 20 | 7096996 | 917327 | 30150 73 | 1 | 1 1732.39/1732.96 c 1732s | 20 | 7100889 | 918327 | 30150 73 | 1 | 1 1734.39/1734.98 c 1734s | 20 | 7112121 | 919127 | 30150 73 | 1 | 1 1736.59/1737.12 c 1736s | 20 | 7124863 | 920127 | 30150 73 | 1 | 1 1738.70/1739.26 c 1739s | 20 | 7144555 | 921227 | 30150 73 | 1 | 1 1740.80/1741.38 c 1741s | 20 | 7159293 | 922427 | 30150 73 | 1 | 1 1742.89/1743.46 c 1743s | 20 | 7186684 | 923527 | 30150 73 | 1 | 1 1744.99/1745.55 c 1745s | 20 | 7225171 | 924827 | 30150 73 | 1 | 1 1747.09/1747.61 c 1747s | 20 | 7242533 | 926027 | 30150 73 | 1 | 1 1749.29/1749.85 c 1749s | 20 | 7261788 | 927127 | 30150 73 | 1 | 1 1751.39/1751.95 c 1751s | 20 | 7281847 | 928227 | 30150 73 | 1 | 1 1753.49/1754.08 c 1753s | 20 | 7292520 | 929227 | 30150 73 | 1 | 1 1755.59/1756.12 c 1755s | 20 | 7313541 | 930227 | 30150 73 | 1 | 1 1757.88/1758.44 c 1758s | 20 | 7343133 | 931127 | 30150 74 | 1 | 1 1759.98/1760.51 c 1760s | 20 | 7372414 | 932227 | 30150 74 | 1 | 1 1761.98/1762.54 c 1762s | 20 | 7383766 | 933227 | 30150 74 | 1 | 1 1764.08/1764.66 c 1764s | 20 | 7403632 | 934227 | 30150 74 | 1 | 1 1766.19/1766.75 c 1766s | 20 | 7424111 | 935527 | 30150 74 | 1 | 1 1768.29/1768.84 c 1768s | 20 | 7430678 | 936627 | 30150 74 | 1 | 1 1770.38/1770.93 c 1770s | 20 | 7442980 | 937727 | 30150 74 | 1 | 1 1772.48/1773.06 c 1772s | 20 | 7463554 | 938727 | 30150 74 | 1 | 1 1774.68/1775.28 c 1775s | 20 | 7474821 | 939727 | 30150 74 | 1 | 1 1776.78/1777.39 c 1777s | 20 | 7491946 | 940627 | 30150 74 | 1 | 1 1778.89/1779.43 c 1779s | 20 | 7504928 | 941527 | 30150 74 | 1 | 1 1780.89/1781.45 c 1781s | 20 | 7523704 | 942427 | 30150 74 | 1 | 1 1782.99/1783.57 c 1783s | 20 | 7540478 | 943427 | 30150 74 | 1 | 1 1784.99/1785.58 c 1785s | 20 | 7551404 | 944427 | 30150 74 | 1 | 1 1787.09/1787.65 c 1787s | 20 | 7562446 | 945527 | 30150 74 | 1 | 1 1789.09/1789.69 c 1789s | 20 | 7574089 | 946327 | 30150 75 | 1 | 1 1791.19/1791.72 c 1791s | 20 | 7595014 | 947627 | 30150 75 | 1 | 1 1793.29/1793.84 c 1793s | 20 | 7610270 | 948827 | 30150 75 | 1 | 1 1795.39/1795.92 c 1795s | 20 | 7617330 | 949927 | 30150 75 | 1 | 1 1797.69/1798.26 c 1798s | 20 | 7623890 | 950727 | 30150 75 | 1 | 1 1799.78/1800.30 c 1800s | 20 | 7631270 | 951527 | 30150 75 | 1 | 1
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-4106754-1466277111/watcher-4106754-1466277111 -o /tmp/evaluation-result-4106754-1466277111/solver-4106754-1466277111 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10297 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106754-1466277111.opb pid=10326 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.14 1.18 1.47 3/179 10329 /proc/meminfo: memFree=31197788/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=738748 CPUtime=0 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 2754 0 0 0 0 0 0 0 20 0 4 0 29761244 756477952 3626 33554432000 4194304 16246674 140736929326128 140736929325552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 185199 3634 441 2943 0 182093 0 [pid=10329/tid=10330] ppid=10326 vsize=755132 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 773255168 3692 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=759228 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 777449472 3709 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=763324 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29761244 781643776 3725 33554432000 4194304 16246674 140736929326128 139782854270128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 1.14 1.18 1.47 3/179 10329 /proc/meminfo: memFree=31197788/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 22562 0 0 0 6 3 0 0 20 0 4 0 29761244 1249447936 23372 33554432000 4194304 16246674 140736929326128 140736929325440 12457726 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 305041 23381 838 2943 0 301935 0 [pid=10329/tid=10330] ppid=10326 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1249447936 23388 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1249447936 23395 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761244 1249447936 23401 33554432000 4194304 16246674 140736929326128 139782854270128 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) 1220164 [startup+0.200529 s] /proc/loadavg: 1.14 1.18 1.47 3/179 10329 /proc/meminfo: memFree=31197788/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1299012 CPUtime=0.19 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 41689 0 0 0 13 6 0 0 20 0 4 0 29761244 1330188288 42500 33554432000 4194304 16246674 140736929326128 140736929325440 12459048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 324753 42509 839 2943 0 321647 0 [pid=10329/tid=10330] ppid=10326 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1330188288 42515 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1330188288 42523 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1330188288 42529 33554432000 4194304 16246674 140736929326128 139782854270128 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) 1299012 [startup+0.300484 s] /proc/loadavg: 1.14 1.18 1.47 3/179 10329 /proc/meminfo: memFree=31197788/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1299012 CPUtime=0.29 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 46161 0 0 0 23 6 0 0 20 0 4 0 29761244 1330188288 46971 33554432000 4194304 16246674 140736929326128 140736929309128 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 324753 46979 910 2943 0 321647 0 [pid=10329/tid=10330] ppid=10326 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1330188288 46983 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1330188288 46987 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1330188288 46992 33554432000 4194304 16246674 140736929326128 139782854270128 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) 1299012 [startup+0.700407 s] /proc/loadavg: 1.14 1.18 1.47 3/179 10329 /proc/meminfo: memFree=31197788/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1299012 CPUtime=0.69 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 143922 0 0 0 48 21 0 0 20 0 4 0 29761244 1330188288 144732 33554432000 4194304 16246674 140736929326128 140736929309128 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 324753 144751 910 2943 0 321647 0 [pid=10329/tid=10330] ppid=10326 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1330188288 144762 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1330188288 144773 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1330188288 144784 33554432000 4194304 16246674 140736929326128 139782854270128 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) 1299012 [startup+1.50041 s] /proc/loadavg: 1.14 1.18 1.47 3/183 10333 /proc/meminfo: memFree=29276596/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1307204 CPUtime=1.49 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 268006 0 0 0 110 39 0 0 20 0 4 0 29761244 1338576896 268816 33554432000 4194304 16246674 140736929326128 140736929308032 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 326801 268816 917 2943 0 323695 0 [pid=10329/tid=10330] ppid=10326 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1338576896 268816 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1338576896 268816 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1338576896 268816 33554432000 4194304 16246674 140736929326128 139782854270128 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) 1307204 [startup+3.10041 s] /proc/loadavg: 1.21 1.19 1.47 3/183 10333 /proc/meminfo: memFree=29124252/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 268006 0 0 0 270 39 0 0 20 0 4 0 29761244 1338576896 268816 33554432000 4194304 16246674 140736929326128 140736929308032 12477701 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 326801 268816 917 2943 0 323695 0 [pid=10329/tid=10330] ppid=10326 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1338576896 268816 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1338576896 268816 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1338576896 268816 33554432000 4194304 16246674 140736929326128 139782854270128 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) 1307204 [startup+6.30042 s] /proc/loadavg: 1.21 1.19 1.47 3/183 10333 /proc/meminfo: memFree=29113504/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 268006 0 0 0 590 39 0 0 20 0 4 0 29761244 1338576896 268816 33554432000 4194304 16246674 140736929326128 140736929308032 12477836 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 326801 268816 917 2943 0 323695 0 [pid=10329/tid=10330] ppid=10326 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1338576896 268816 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1338576896 268816 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1338576896 268816 33554432000 4194304 16246674 140736929326128 139782854270128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 1.33 1.22 1.48 3/183 10333 /proc/meminfo: memFree=29112412/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1307204 CPUtime=12.69 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 268008 0 0 0 1230 39 0 0 20 0 4 0 29761244 1338576896 268818 33554432000 4194304 16246674 140736929326128 140736929308032 5721725 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 326801 268818 919 2943 0 323695 0 [pid=10329/tid=10330] ppid=10326 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1338576896 268818 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1338576896 268818 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1338576896 268818 33554432000 4194304 16246674 140736929326128 139782854270128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 1.43 1.24 1.48 3/183 10333 /proc/meminfo: memFree=29108956/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1308228 CPUtime=25.49 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 268266 0 0 0 2510 39 0 0 20 0 4 0 29761244 1339625472 269076 33554432000 4194304 16246674 140736929326128 140736929308032 12415785 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 327057 269076 920 2943 0 323951 0 [pid=10329/tid=10330] ppid=10326 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1339625472 269076 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1339625472 269076 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1339625472 269076 33554432000 4194304 16246674 140736929326128 139782854270128 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) 1308228 [startup+51.1005 s] /proc/loadavg: 1.62 1.30 1.50 3/183 10333 /proc/meminfo: memFree=29108096/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1309252 CPUtime=51.09 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 268522 0 0 0 5069 40 0 0 20 0 4 0 29761244 1340674048 269332 33554432000 4194304 16246674 140736929326128 140736929308032 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 327313 269332 920 2943 0 324207 0 [pid=10329/tid=10330] ppid=10326 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1340674048 269332 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1340674048 269332 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1340674048 269332 33554432000 4194304 16246674 140736929326128 139782854270128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1309252 [startup+102.3 s] /proc/loadavg: 1.91 1.43 1.53 3/183 10334 /proc/meminfo: memFree=29099172/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1314372 CPUtime=102.28 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 269802 0 0 0 10188 40 0 0 20 0 4 0 29761244 1345916928 270612 33554432000 4194304 16246674 140736929326128 140736929308032 13191322 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 328593 270612 920 2943 0 325487 0 [pid=10329/tid=10330] ppid=10326 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1345916928 270612 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1345916928 270612 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1345916928 270612 33554432000 4194304 16246674 140736929326128 139782854270128 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/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782854270128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 1369668 [startup+1302.3 s] /proc/loadavg: 2.11 2.17 1.96 4/183 10364 /proc/meminfo: memFree=29017356/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1369668 CPUtime=1301.97 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 283795 0 0 0 130146 51 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 140736929308032 12483296 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 342417 284439 920 2943 0 339311 0 [pid=10329/tid=10330] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782854270128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1369668 [startup+1362.3 s] /proc/loadavg: 2.07 2.15 1.97 3/183 10365 /proc/meminfo: memFree=29016864/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1369668 CPUtime=1361.94 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 283825 0 0 0 136143 51 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 140736929308032 12483348 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 342417 284439 920 2943 0 339311 0 [pid=10329/tid=10330] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782854270128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1369668 [startup+1422.3 s] /proc/loadavg: 2.15 2.15 1.98 3/183 10366 /proc/meminfo: memFree=29017392/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1369668 CPUtime=1421.92 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 283868 0 0 0 142140 52 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 140736929308032 12478249 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 342417 284439 920 2943 0 339311 0 [pid=10329/tid=10330] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782854270128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1369668 [startup+1482.3 s] /proc/loadavg: 2.20 2.17 1.99 4/183 10368 /proc/meminfo: memFree=29017700/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1369668 CPUtime=1481.88 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 283900 0 0 0 148135 53 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 140736929308032 5675809 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 342417 284439 920 2943 0 339311 0 [pid=10329/tid=10330] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782854270128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1369668 [startup+1542.31 s] /proc/loadavg: 2.07 2.13 1.99 3/183 10369 /proc/meminfo: memFree=29017096/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1369668 CPUtime=1541.86 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 283931 0 0 0 154132 54 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 140736929308032 5823877 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 342417 284439 920 2943 0 339311 0 [pid=10329/tid=10330] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782854270128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1369668 [startup+1602.3 s] /proc/loadavg: 2.12 2.14 2.00 3/183 10370 /proc/meminfo: memFree=29017088/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1369668 CPUtime=1601.82 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 283968 0 0 0 160128 54 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 140736929308032 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 342417 284439 920 2943 0 339311 0 [pid=10329/tid=10330] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782854270128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1369668 [startup+1662.3 s] /proc/loadavg: 2.22 2.16 2.01 4/183 10371 /proc/meminfo: memFree=29016540/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1369668 CPUtime=1661.81 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 283981 0 0 0 166125 56 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 140736929308032 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 342417 284439 920 2943 0 339311 0 [pid=10329/tid=10330] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284439 33554432000 4194304 16246674 140736929326128 139782854270128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1369668 [startup+1722.3 s] /proc/loadavg: 2.19 2.16 2.02 3/184 10375 /proc/meminfo: memFree=29017264/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1369668 CPUtime=1721.79 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 283985 0 0 0 172123 56 0 0 20 0 4 0 29761244 1402540032 284448 33554432000 4194304 16246674 140736929326128 140736929308032 6012046 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 342417 284448 920 2943 0 339311 0 [pid=10329/tid=10330] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284448 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284448 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284448 33554432000 4194304 16246674 140736929326128 139782854270128 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) 1369668 [startup+1782.3 s] /proc/loadavg: 2.17 2.15 2.02 3/183 10377 /proc/meminfo: memFree=29017028/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1369668 CPUtime=1781.79 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 283985 0 0 0 178122 57 0 0 20 0 4 0 29761244 1402540032 284448 33554432000 4194304 16246674 140736929326128 140736929308032 13192038 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 342417 284448 920 2943 0 339311 0 [pid=10329/tid=10330] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284448 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284448 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284448 33554432000 4194304 16246674 140736929326128 139782854270128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1369668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.12 2.14 2.02 3/183 10377 /proc/meminfo: memFree=29017772/32872528 swapFree=526336/559040 [pid=10329] ppid=10326 vsize=1369668 CPUtime=1800.08 cores=1,3,5,7 /proc/10329/stat : 10329 (toysat) R 10326 10329 10280 0 -1 4202496 283985 0 0 0 179951 57 0 0 20 0 4 0 29761244 1402540032 284448 33554432000 4194304 16246674 140736929326128 140736929308032 12477752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10329/statm: 342417 284448 920 2943 0 339311 0 [pid=10329/tid=10330] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10330/stat : 10330 (toysat) S 10326 10329 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284448 33554432000 4194304 16246674 140736929326128 139782948629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10329/tid=10331] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10331/stat : 10331 (toysat) S 10326 10329 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284448 33554432000 4194304 16246674 140736929326128 139782864743664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10329/tid=10332] ppid=10326 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/10329/task/10332/stat : 10332 (toysat) S 10326 10329 10280 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29761244 1402540032 284448 33554432000 4194304 16246674 140736929326128 139782854270128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1369668 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 10329 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.52 CPU system time (s): 0.570913 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 1369668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.52 system time used= 0.570913 maximum resident set size= 1137792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283985 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= 374 involuntary context switches= 1887 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6323 second user time and 7.04793 second system time The end
Begin job on node106 at 2016-06-18 21:11:51 IDJOB=4106754 IDBENCH=48233 IDSOLVER=2542 FILE ID=node106/4106754-1466277111 RUNJOBID= node106-1466277111-10297 PBS_JOBID= 19918270 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106754-1466277111/watcher-4106754-1466277111 -o /tmp/evaluation-result-4106754-1466277111/solver-4106754-1466277111 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10297 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106754-1466277111.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7d5c1eba9f9b9c55d272c1a8f28b465a RANDOM SEED=1263077424 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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 : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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 : 2667.073 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 : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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 : 2667.073 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 : 2667.073 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.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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: 31213048 kB Buffers: 100580 kB Cached: 199412 kB SwapCached: 1736 kB Active: 151504 kB Inactive: 200484 kB Active(anon): 51000 kB Inactive(anon): 3048 kB Active(file): 100504 kB Inactive(file): 197436 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 32736 kB Writeback: 0 kB AnonPages: 610244 kB Mapped: 9100 kB Shmem: 0 kB Slab: 612780 kB SReclaimable: 56824 kB SUnreclaim: 555956 kB KernelStack: 1336 kB PageTables: 7028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1687060 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 32768 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= 71668 MiB End job on node106 at 2016-06-18 21:41:52