Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_5.opb |
| MD5SUM | e3f554c192a1ee7b261cc2808827870e |
| 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 | 12 |
| 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 | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 50 |
| 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 | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6226 |
| Sum of products size (including duplicates) | 12452 |
| Number of different products | 6226 |
| Sum of products size | 12452 |
0.00/0.00 c 2016-06-07T01:46:52+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4080133-1465256812.opb"] 0.00/0.01 c use --random-gen="28375399 2606664083 4120342138 2043932382 311998673 430919051 1448547679 1388553110 519036806 479788624 353375408 1294494579 246929493 1427345316 4232223529 633752333 422741834 1335000052 890933508 3632894310 1777534140 2269524779 4113663975 1187583966 978159722 1676716670 2099573918 1379705551 1225670778 846954427 912928144 2972813923 3612813628 2084935571 610331944 3902909333 1376801376 4089071383 3971130558 2040604081 3282165126 1002401127 290338105 1435758027 3166411440 1288371760 1049175426 2949194242 3495193139 543481974 2720381249 2006185547 1178464721 3158555054 3701123469 1974333460 740443956 1630120370 2752402665 2323522719 2292980594 125525672 3807277461 2702816597 760477292 725325853 371221816 4186017346 1137028448 2119419565 1633767808 2978391582 1755194311 1499706654 2281618859 4238545168 561497041 1915575631 126282694 2055177708 3187593177 2081967693 1583455451 3931513373 4124687135 1318326283 3472069715 1397197923 718504123 351088458 4142753507 2081815496 676678564 1142237195 3193717450 3899988500 2083002438 1672521781 3017198420 4284158141 3427652666 820160235 497553229 1721465019 2484695751 1549731745 3644154059 1908094998 947547882 987140330 1047479827 1573975337 1688619895 949452890 1519328399 3421341709 568752171 1206339797 2286602457 3919863089 3705698664 3436277441 4134846615 2794502200 1745278553 1945960047 1840352360 2913871962 936816256 1180026815 4263107671 808401126 2383414906 2401642079 3856651347 3591842039 3282117285 3115533571 2638542405 2124832512 60450944 345995728 1069130375 3612958043 949795628 818818089 775710903 2048640486 3256645097 2649359049 2748197752 2913879242 3036604562 3718852046 1847488803 2171111280 3165708132 179810229 3629752157 2002347458 4144066887 3630341774 3603494805 1450052592 3036225651 3140076332 2767564716 2198697121 3860467315 878252629 723340050 1569428495 4168161674 3534704948 1031050091 2479924468 3526318648 1892940788 233237062 3076279544 3006217655 1844489745 2483818814 1042384633 157146563 3503033021 3953735069 2955910577 2328689623 382250067 2108722931 3129304921 2596965893 3158655481 2052574247 3564998141 2401119659 3319840245 324157394 790564666 1479098166 3562464949 2091522815 2465406660 4197807832 991284303 4117245906 1049471464 1098932576 2542724191 227477131 3166578369 3680865313 431953173 1724547110 1105231126 484122798 3487103137 1662190343 2673320670 2663613758 3918139117 997242304 2349251560 1081126463 971170350 3020758153 988677933 3642681501 3829929218 3312831198 2011977786 3895143778 261899394 2281146145 2594643039 3534776370 3540702837 4173288439 795677667 1098621771 2809200733 1598215970 2619667669 52615353 1389152809 929199985 1376615683 1700197291 3181580481 2915246060 3137560071 1192916130 3414569056 1640530294 2363480687 255 362436" option to reproduce the execution 0.00/0.03 c #vars 200 0.00/0.03 c #constraints 200 0.09/0.13 c BCD2: Hardening is enabled. 0.09/0.13 c BCD2: BiasedSearch is enabled. 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 6359 0 | 0 | 0 0.09/0.15 c 0.0s | 0 | 613 | 0 | 6359 0 | 0 | 0 0.09/0.15 c #cpu_time = 0.018s 0.09/0.15 c #wall_clock_time = 0.018s 0.09/0.15 c #decision = 613 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 0 0.09/0.15 c #restart = 0 0.09/0.15 o 177 0.09/0.15 c BCD2: updating upper bound: 200 -> 176 0.09/0.16 c BCD2: 0 <= obj <= 176 0.09/0.16 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 6359 0 | 0 | 0 0.09/0.17 c 0.0s | 0 | 182 | 0 | 6359 0 | 0 | 0 0.09/0.17 c #cpu_time = 0.016s 0.09/0.17 c #wall_clock_time = 0.016s 0.09/0.17 c #decision = 182 0.09/0.17 c #random_decision = 0 0.09/0.17 c #conflict = 0 0.09/0.17 c #restart = 0 0.09/0.17 c BCD2: found a new core of size 28: cost of the new core is >=1 0.09/0.17 c lower bound updated to 1 0.09/0.17 c BCD2: 1 <= obj <= 176 0.09/0.17 c BCD2: #cores=1, #unrelaxed=172, #relaxed=28, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 6359 0 | 0 | 0 0.09/0.19 c 0.0s | 0 | 168 | 0 | 6359 0 | 0 | 0 0.09/0.19 c #cpu_time = 0.015s 0.09/0.19 c #wall_clock_time = 0.015s 0.09/0.19 c #decision = 168 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 33: cost of the new core is >=1 0.09/0.19 c lower bound updated to 2 0.09/0.19 c BCD2: 2 <= obj <= 176 0.09/0.19 c BCD2: #cores=2, #unrelaxed=139, #relaxed=61, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 6359 0 | 0 | 0 0.19/0.21 c 0.0s | 0 | 1186 | 0 | 6359 0 | 0 | 0 0.19/0.21 c #cpu_time = 0.019s 0.19/0.21 c #wall_clock_time = 0.019s 0.19/0.21 c #decision = 1186 0.19/0.21 c #random_decision = 2 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 o 27 0.19/0.22 c BCD2: updating upper bound: 176 -> 26 0.19/0.22 c BCD2: 2 <= obj <= 26 0.19/0.22 c BCD2: #cores=2, #unrelaxed=139, #relaxed=61, #hardened=0 0.19/0.22 c BCD2: #sat=2 #unsat=3 bias=3/5 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.24 c 0.0s | 0 | 0 | 0 | 6359 0 | 0 | 1 0.29/0.32 c 0.1s | 1 | 564 | 100 | 6359 0 | 0 | 1 0.39/0.43 c 0.2s | 2 | 1014 | 250 | 6995 0 | 0 | 1 0.59/0.66 c 0.4s | 3 | 1534 | 475 | 7695 0 | 0 | 1 0.69/0.78 c 0.5s | 3 | 2206 | 571 | 8465 0 | 0 | 1 0.69/0.78 c #cpu_time = 0.531s 0.69/0.78 c #wall_clock_time = 0.533s 0.69/0.78 c #decision = 2206 0.69/0.78 c #random_decision = 4 0.69/0.78 c #conflict = 571 0.69/0.78 c #restart = 3 0.69/0.78 o 16 0.69/0.78 c BCD2: updating upper bound: 26 -> 15 0.69/0.78 c BCD2: 2 <= obj <= 15 0.69/0.78 c BCD2: #cores=2, #unrelaxed=139, #relaxed=61, #hardened=0 0.69/0.78 c BCD2: #sat=3 #unsat=3 bias=3/6 0.69/0.78 c Solving starts ... 0.69/0.78 c ============================[ Search Statistics ]============================ 0.69/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.78 c | | | | Limit GC | Var | Constra 0.69/0.78 c ============================================================================= 0.69/0.78 c 0.0s | 0 | 0 | 0 | 8465 0 | 0 | 2 0.89/0.91 c 0.1s | 1 | 314 | 100 | 8465 0 | 0 | 2 1.09/1.12 c 0.3s | 2 | 671 | 250 | 9312 0 | 0 | 2 1.39/1.40 c 0.6s | 3 | 1201 | 475 | 9312 0 | 0 | 2 1.69/1.78 c 1.0s | 4 | 1858 | 813 | 10244 0 | 0 | 2 2.49/2.57 c 1.8s | 5 | 2808 | 1320 | 10244 0 | 0 | 2 3.39/3.45 c 2.7s | 6 | 4108 | 2081 | 11269 0 | 0 | 2 4.79/4.86 c 4.1s | 7 | 6310 | 3223 | 12396 0 | 0 | 2 6.89/6.92 c 6.1s | 7 | 8251 | 4423 | 13636 0 | 0 | 2 7.89/7.91 c 7.1s | 8 | 8952 | 4936 | 13636 0 | 0 | 2 8.49/8.52 c 7.7s | 8 | 9345 | 5131 | 13636 0 | 0 | 2 8.49/8.52 c #cpu_time = 7.720s 8.49/8.52 c #wall_clock_time = 7.740s 8.49/8.52 c #decision = 9345 8.49/8.52 c #random_decision = 13 8.49/8.52 c #conflict = 5131 8.49/8.52 c #restart = 8 8.49/8.52 c BCD2: relaxing 139 and merging with 2 cores into a new core of size 200: cost of the new core is >=3 8.49/8.52 c lower bound updated to 3 8.49/8.52 c BCD2: 3 <= obj <= 15 8.49/8.52 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 8.49/8.52 c BCD2: #sat=3 #unsat=4 bias=4/7 8.49/8.52 c Solving starts ... 8.49/8.52 c ============================[ Search Statistics ]============================ 8.49/8.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.49/8.52 c | | | | Limit GC | Var | Constra 8.49/8.52 c ============================================================================= 8.49/8.52 c 0.0s | 0 | 0 | 0 | 13636 0 | 7 | 2 9.09/9.12 c 0.6s | 1 | 1417 | 100 | 13636 0 | 7 | 14 9.69/9.76 c 1.2s | 2 | 2261 | 250 | 13636 0 | 7 | 14 10.59/10.60 c 2.1s | 3 | 3234 | 475 | 13636 0 | 7 | 14 11.79/11.81 c 3.3s | 4 | 4575 | 813 | 13636 0 | 7 | 14 13.69/13.75 c 5.2s | 5 | 6968 | 1320 | 13636 0 | 7 | 14 15.79/15.85 c 7.3s | 5 | 9067 | 1920 | 15000 0 | 7 | 14 16.39/16.43 c 7.9s | 6 | 9619 | 2081 | 15000 0 | 7 | 14 18.49/18.56 c 10.0s | 6 | 12172 | 2681 | 15000 0 | 7 | 14 20.29/20.36 c 11.8s | 7 | 14297 | 3223 | 15000 0 | 7 | 14 22.29/22.38 c 13.9s | 7 | 16189 | 3823 | 15000 0 | 7 | 14 24.49/24.56 c 16.0s | 7 | 19529 | 4523 | 15000 0 | 7 | 14 25.89/25.99 c 17.5s | 8 | 21060 | 4936 | 15000 0 | 7 | 14 27.99/28.06 c 19.5s | 8 | 22873 | 5536 | 15000 0 | 7 | 14 29.99/30.07 c 21.5s | 8 | 24689 | 6036 | 16500 0 | 7 | 14 32.29/32.30 c 23.8s | 8 | 27162 | 6636 | 16500 0 | 7 | 14 34.39/34.44 c 25.9s | 8 | 29479 | 7236 | 16500 0 | 7 | 14 35.39/35.49 c 27.0s | 9 | 30113 | 7506 | 16500 0 | 7 | 14 37.79/37.82 c 29.3s | 9 | 32492 | 8106 | 16500 0 | 7 | 14 39.89/39.93 c 31.4s | 9 | 34436 | 8606 | 16500 0 | 7 | 14 42.19/42.23 c 33.7s | 9 | 36135 | 9206 | 16500 0 | 7 | 14 44.49/44.51 c 36.0s | 9 | 38867 | 9806 | 16500 0 | 7 | 14 46.69/46.73 c 38.2s | 9 | 41026 | 10406 | 16500 0 | 7 | 14 48.89/48.91 c 40.4s | 9 | 43423 | 11006 | 16500 0 | 7 | 14 50.29/50.30 c 41.8s | 10 | 44829 | 11361 | 18150 0 | 7 | 14 52.29/52.37 c 43.8s | 10 | 46593 | 11861 | 18150 0 | 7 | 14 54.38/54.44 c 45.9s | 10 | 48755 | 12561 | 18150 0 | 7 | 14 56.38/56.45 c 47.9s | 10 | 50015 | 13161 | 18150 0 | 7 | 14 58.68/58.77 c 50.3s | 10 | 51715 | 13761 | 18150 0 | 7 | 14 60.88/60.91 c 52.4s | 10 | 53376 | 14361 | 18150 0 | 7 | 14 63.08/63.12 c 54.6s | 10 | 55070 | 14961 | 18150 0 | 7 | 14 65.28/65.33 c 56.8s | 10 | 57445 | 15561 | 18150 0 | 7 | 14 67.38/67.41 c 58.9s | 10 | 59477 | 16161 | 18150 0 | 7 | 14 69.48/69.52 c 61.0s | 10 | 61324 | 16761 | 18150 0 | 7 | 14 70.88/70.96 c 62.4s | 11 | 62694 | 17144 | 18150 0 | 7 | 14 72.98/73.07 c 64.6s | 11 | 64292 | 17644 | 18150 0 | 7 | 14 75.38/75.41 c 66.9s | 11 | 66102 | 18244 | 18150 0 | 7 | 14 77.68/77.74 c 69.2s | 11 | 67878 | 18844 | 18150 1 | 7 | 14 79.88/79.95 c 71.4s | 11 | 69509 | 19444 | 18150 1 | 7 | 14 81.88/81.99 c 73.5s | 11 | 71672 | 19944 | 18150 1 | 7 | 14 84.08/84.15 c 75.6s | 11 | 74477 | 20544 | 19965 1 | 7 | 14 86.38/86.42 c 77.9s | 11 | 76355 | 21144 | 19965 1 | 7 | 14 88.38/88.44 c 79.9s | 11 | 78464 | 21744 | 19965 1 | 7 | 14 90.78/90.80 c 82.3s | 11 | 80418 | 22344 | 19965 1 | 7 | 14 92.98/93.01 c 84.5s | 11 | 82296 | 22944 | 19965 1 | 7 | 14 95.28/95.33 c 86.8s | 11 | 84555 | 23544 | 19965 1 | 7 | 14 97.38/97.46 c 88.9s | 11 | 86594 | 24044 | 19965 1 | 7 | 14 99.68/99.75 c 91.2s | 11 | 88773 | 24644 | 19965 1 | 7 | 14 101.88/101.92 c 93.4s | 11 | 91299 | 25244 | 19965 1 | 7 | 14 104.08/104.11 c 95.6s | 12 | 93169 | 25819 | 19965 1 | 7 | 14 106.18/106.20 c 97.7s | 12 | 94878 | 26319 | 19965 1 | 7 | 14 108.18/108.27 c 99.7s | 12 | 96418 | 26819 | 19965 1 | 7 | 14 110.28/110.36 c 101s | 12 | 98048 | 27419 | 19965 1 | 7 | 14 112.37/112.43 c 103s | 12 | 99584 | 27919 | 19965 1 | 7 | 14 114.67/114.76 c 106s | 12 | 101374 | 28419 | 19965 1 | 7 | 14 116.87/116.94 c 108s | 12 | 103306 | 28919 | 19965 1 | 7 | 14 118.97/119.02 c 110s | 12 | 104944 | 29419 | 19965 1 | 7 | 14 121.08/121.18 c 112s | 12 | 106524 | 29919 | 19965 1 | 7 | 14 123.37/123.42 c 114s | 12 | 108005 | 30419 | 19965 2 | 7 | 14 125.77/125.80 c 117s | 12 | 109559 | 31019 | 19965 2 | 7 | 14 128.07/128.11 c 119s | 12 | 110822 | 31619 | 19965 2 | 7 | 14 130.27/130.37 c 121s | 12 | 112521 | 32119 | 19965 2 | 7 | 14 132.47/132.55 c 124s | 12 | 115456 | 32719 | 19965 2 | 7 | 14 134.67/134.74 c 126s | 12 | 117419 | 33319 | 21962 2 | 7 | 14 136.97/137.04 c 128s | 12 | 119209 | 33919 | 21962 2 | 7 | 14 139.17/139.24 c 130s | 12 | 121321 | 34519 | 21962 2 | 7 | 14 141.17/141.24 c 132s | 12 | 123302 | 35019 | 21962 2 | 7 | 14 143.57/143.61 c 135s | 12 | 125406 | 35619 | 21962 2 | 7 | 14 145.56/145.65 c 137s | 12 | 127181 | 36119 | 21962 2 | 7 | 14 147.86/147.93 c 139s | 12 | 129667 | 36719 | 21962 2 | 7 | 14 150.16/150.26 c 141s | 12 | 131588 | 37319 | 21962 2 | 7 | 14 152.16/152.27 c 143s | 12 | 132889 | 37819 | 21962 2 | 7 | 14 154.56/154.69 c 146s | 12 | 134207 | 38419 | 21962 2 | 7 | 14 156.36/156.45 c 147s | 13 | 135675 | 38832 | 21962 2 | 7 | 14 158.47/158.57 c 150s | 13 | 137360 | 39332 | 21962 2 | 7 | 14 160.57/160.66 c 152s | 13 | 139267 | 39832 | 21962 2 | 7 | 14 162.87/162.97 c 154s | 13 | 141404 | 40432 | 21962 2 | 7 | 14 164.97/165.03 c 156s | 13 | 143115 | 40932 | 21962 2 | 7 | 14 167.27/167.37 c 158s | 13 | 145324 | 41532 | 21962 2 | 7 | 14 169.47/169.53 c 161s | 13 | 147190 | 42132 | 21962 2 | 7 | 14 171.46/171.57 c 163s | 13 | 149238 | 42632 | 21962 2 | 7 | 14 173.56/173.63 c 165s | 13 | 150774 | 43132 | 21962 2 | 7 | 14 175.66/175.78 c 167s | 13 | 152319 | 43632 | 21962 3 | 7 | 14 177.76/177.81 c 169s | 13 | 154321 | 44132 | 21962 3 | 7 | 14 179.96/180.07 c 171s | 13 | 156339 | 44732 | 21962 3 | 7 | 14 182.36/182.43 c 173s | 13 | 158565 | 45332 | 21962 3 | 7 | 14 184.56/184.65 c 176s | 13 | 160155 | 45832 | 21962 3 | 7 | 14 186.86/186.96 c 178s | 13 | 162422 | 46432 | 21962 3 | 7 | 14 189.06/189.10 c 180s | 13 | 163776 | 46932 | 21962 3 | 7 | 14 191.06/191.16 c 182s | 13 | 165381 | 47432 | 21962 3 | 7 | 14 193.16/193.27 c 184s | 13 | 166925 | 47932 | 21962 3 | 7 | 14 195.46/195.57 c 187s | 13 | 168753 | 48432 | 21962 3 | 7 | 14 197.56/197.62 c 189s | 13 | 170117 | 48932 | 21962 3 | 7 | 14 199.65/199.75 c 191s | 13 | 172062 | 49432 | 21962 3 | 7 | 14 201.65/201.76 c 193s | 13 | 174320 | 49932 | 21962 3 | 7 | 14 203.85/203.98 c 195s | 13 | 176466 | 50532 | 21962 3 | 7 | 14 206.16/206.27 c 197s | 13 | 178933 | 51132 | 21962 3 | 7 | 14 208.26/208.30 c 199s | 13 | 180699 | 51732 | 21962 3 | 7 | 14 210.46/210.55 c 202s | 13 | 182414 | 52332 | 24159 3 | 7 | 14 212.66/212.74 c 204s | 13 | 183879 | 52932 | 24159 3 | 7 | 14 214.86/214.98 c 206s | 13 | 185519 | 53532 | 24159 3 | 7 | 14 217.06/217.18 c 208s | 13 | 187106 | 54032 | 24159 3 | 7 | 14 219.36/219.42 c 210s | 13 | 189404 | 54632 | 24159 3 | 7 | 14 221.36/221.49 c 212s | 13 | 191402 | 55132 | 24159 3 | 7 | 14 223.46/223.50 c 214s | 13 | 192718 | 55632 | 24159 3 | 7 | 14 225.57/225.69 c 217s | 13 | 194315 | 56232 | 24159 3 | 7 | 14 227.77/227.89 c 219s | 13 | 196406 | 56832 | 24159 4 | 7 | 14 229.97/230.05 c 221s | 13 | 198009 | 57432 | 24159 4 | 7 | 14 232.07/232.20 c 223s | 13 | 199866 | 58032 | 24159 4 | 7 | 14 233.36/233.48 c 224s | 14 | 200921 | 58352 | 24159 4 | 7 | 14 235.66/235.77 c 227s | 14 | 202857 | 58952 | 24159 4 | 7 | 14 237.86/237.95 c 229s | 14 | 204973 | 59552 | 24159 4 | 7 | 14 239.96/240.00 c 231s | 14 | 207498 | 60152 | 24159 4 | 7 | 14 242.06/242.12 c 233s | 14 | 209238 | 60752 | 24159 4 | 7 | 14 244.26/244.31 c 235s | 14 | 211039 | 61352 | 24159 4 | 7 | 14 246.46/246.52 c 237s | 14 | 212515 | 61952 | 24159 4 | 7 | 14 248.66/248.73 c 240s | 14 | 213884 | 62452 | 24159 4 | 7 | 14 250.86/250.96 c 242s | 14 | 215933 | 63052 | 24159 4 | 7 | 14 252.85/252.98 c 244s | 14 | 217348 | 63552 | 24159 4 | 7 | 14 255.26/255.32 c 246s | 14 | 218870 | 64152 | 24159 4 | 7 | 14 257.55/257.61 c 249s | 14 | 220437 | 64752 | 24159 4 | 7 | 14 259.75/259.89 c 251s | 14 | 222083 | 65352 | 24159 4 | 7 | 14 261.86/261.94 c 253s | 14 | 224373 | 65952 | 24159 4 | 7 | 14 264.15/264.20 c 255s | 14 | 225971 | 66552 | 24159 4 | 7 | 14 266.26/266.31 c 257s | 14 | 227280 | 67052 | 24159 4 | 7 | 14 268.55/268.65 c 260s | 14 | 228788 | 67552 | 24159 4 | 7 | 14 270.75/270.83 c 262s | 14 | 230550 | 68052 | 24159 4 | 7 | 14 273.05/273.16 c 264s | 14 | 232743 | 68652 | 24159 4 | 7 | 14 275.15/275.29 c 266s | 14 | 234683 | 69252 | 24159 4 | 7 | 14 277.16/277.30 c 268s | 14 | 236219 | 69752 | 24159 5 | 7 | 14 279.36/279.41 c 270s | 14 | 238752 | 70352 | 24159 5 | 7 | 14 281.75/281.81 c 273s | 14 | 240279 | 70952 | 24159 5 | 7 | 14 283.86/283.92 c 275s | 14 | 241841 | 71452 | 24159 5 | 7 | 14 285.85/285.97 c 277s | 14 | 243828 | 71952 | 24159 5 | 7 | 14 287.95/288.03 c 279s | 14 | 245720 | 72452 | 24159 5 | 7 | 14 290.05/290.18 c 281s | 14 | 249499 | 73052 | 24159 5 | 7 | 14 292.25/292.32 c 283s | 14 | 251864 | 73652 | 24159 5 | 7 | 14 294.45/294.58 c 286s | 14 | 253351 | 74252 | 24159 5 | 7 | 14 296.75/296.82 c 288s | 14 | 254632 | 74752 | 24159 5 | 7 | 14 299.05/299.12 c 290s | 14 | 256192 | 75252 | 24159 5 | 7 | 14 301.25/301.36 c 292s | 14 | 258485 | 75752 | 24159 5 | 7 | 14 303.74/303.80 c 295s | 14 | 260762 | 76352 | 24159 5 | 7 | 14 305.75/305.83 c 297s | 14 | 262422 | 76852 | 24159 5 | 7 | 14 307.95/308.05 c 299s | 14 | 264208 | 77452 | 24159 5 | 7 | 14 310.25/310.39 c 301s | 14 | 266867 | 78052 | 24159 5 | 7 | 14 312.64/312.77 c 304s | 14 | 268917 | 78652 | 24159 5 | 7 | 14 315.04/315.18 c 306s | 14 | 270750 | 79252 | 24159 5 | 7 | 14 317.34/317.46 c 308s | 14 | 272845 | 79952 | 24159 5 | 7 | 14 319.54/319.69 c 311s | 14 | 274157 | 80552 | 24159 5 | 7 | 14 321.64/321.77 c 313s | 14 | 275931 | 81152 | 24159 5 | 7 | 14 323.74/323.83 c 315s | 14 | 277552 | 81752 | 26575 5 | 7 | 14 325.84/325.93 c 317s | 14 | 278830 | 82352 | 26575 5 | 7 | 14 328.14/328.28 c 319s | 14 | 280544 | 82952 | 26575 5 | 7 | 14 330.54/330.62 c 322s | 14 | 282933 | 83452 | 26575 5 | 7 | 14 332.84/333.00 c 324s | 14 | 285943 | 84052 | 26575 5 | 7 | 14 334.94/335.06 c 326s | 14 | 288812 | 84652 | 26575 5 | 7 | 14 336.94/337.07 c 328s | 14 | 290484 | 85152 | 26575 6 | 7 | 14 339.24/339.34 c 330s | 14 | 292627 | 85752 | 26575 6 | 7 | 14 341.24/341.35 c 332s | 14 | 294653 | 86352 | 26575 6 | 7 | 14 343.54/343.60 c 335s | 14 | 296337 | 86852 | 26575 6 | 7 | 14 345.74/345.87 c 337s | 14 | 298558 | 87452 | 26575 6 | 7 | 14 346.34/346.49 c 337s | 15 | 299082 | 87632 | 26575 6 | 7 | 14 348.64/348.76 c 340s | 15 | 301418 | 88232 | 26575 6 | 7 | 14 350.64/350.79 c 342s | 15 | 303353 | 88832 | 26575 6 | 7 | 14 352.84/352.90 c 344s | 15 | 304830 | 89432 | 26575 6 | 7 | 14 354.94/355.07 c 346s | 15 | 306426 | 90032 | 26575 6 | 7 | 14 357.03/357.11 c 348s | 15 | 307542 | 90432 | 26575 6 | 7 | 14 359.13/359.26 c 350s | 15 | 309165 | 90832 | 26575 6 | 7 | 14 361.43/361.51 c 352s | 15 | 310735 | 91332 | 26575 6 | 7 | 14 363.53/363.63 c 355s | 15 | 312268 | 91832 | 26575 6 | 7 | 14 365.63/365.79 c 357s | 15 | 313837 | 92332 | 26575 6 | 7 | 14 367.83/367.91 c 359s | 15 | 315369 | 92832 | 26575 6 | 7 | 14 369.93/370.06 c 361s | 15 | 317074 | 93332 | 26575 6 | 7 | 14 372.03/372.10 c 363s | 15 | 318433 | 93732 | 26575 6 | 7 | 14 374.13/374.27 c 365s | 15 | 319601 | 94132 | 26575 6 | 7 | 14 376.33/376.43 c 367s | 15 | 321265 | 94632 | 26575 6 | 7 | 14 378.73/378.82 c 370s | 15 | 322777 | 95032 | 26575 6 | 7 | 14 381.03/381.12 c 372s | 15 | 325067 | 95532 | 26575 6 | 7 | 14 383.13/383.21 c 374s | 15 | 326860 | 96032 | 26575 6 | 7 | 14 385.43/385.52 c 377s | 15 | 329019 | 96532 | 26575 6 | 7 | 14 387.63/387.74 c 379s | 15 | 330721 | 97032 | 26575 6 | 7 | 14 389.93/390.05 c 381s | 15 | 332325 | 97632 | 26575 6 | 7 | 14 392.13/392.29 c 383s | 15 | 334008 | 98132 | 26575 7 | 7 | 14 394.53/394.60 c 386s | 15 | 335762 | 98632 | 26575 7 | 7 | 14 396.52/396.60 c 388s | 15 | 337804 | 99132 | 26575 7 | 7 | 14 398.82/398.93 c 390s | 15 | 339846 | 99732 | 26575 7 | 7 | 14 400.82/400.97 c 392s | 15 | 341573 | 100232 | 26575 7 | 7 | 14 402.92/403.00 c 394s | 15 | 343726 | 100732 | 26575 7 | 7 | 14 404.92/405.07 c 396s | 15 | 345084 | 101232 | 26575 7 | 7 | 14 407.32/407.45 c 398s | 15 | 347191 | 101732 | 26575 7 | 7 | 14 409.62/409.73 c 401s | 15 | 349515 | 102332 | 26575 7 | 7 | 14 411.82/411.94 c 403s | 15 | 351398 | 102932 | 26575 7 | 7 | 14 413.92/414.02 c 405s | 15 | 352484 | 103432 | 26575 7 | 7 | 14 416.23/416.30 c 407s | 15 | 353836 | 103932 | 26575 7 | 7 | 14 418.63/418.70 c 410s | 15 | 355257 | 104432 | 26575 7 | 7 | 14 420.73/420.82 c 412s | 15 | 356616 | 104832 | 26575 7 | 7 | 14 422.93/423.08 c 414s | 15 | 358595 | 105332 | 26575 7 | 7 | 14 425.23/425.31 c 416s | 15 | 360880 | 105932 | 26575 7 | 7 | 14 427.53/427.62 c 419s | 15 | 363766 | 106532 | 26575 7 | 7 | 14 429.73/429.85 c 421s | 15 | 366229 | 107132 | 26575 7 | 7 | 14 431.93/432.04 c 423s | 15 | 368194 | 107732 | 26575 7 | 7 | 14 433.93/434.07 c 425s | 15 | 369666 | 108232 | 26575 7 | 7 | 14 436.13/436.29 c 427s | 15 | 371699 | 108732 | 26575 7 | 7 | 14 438.23/438.34 c 429s | 15 | 373728 | 109232 | 26575 7 | 7 | 14 440.43/440.50 c 431s | 15 | 375441 | 109732 | 26575 7 | 7 | 14 442.63/442.71 c 434s | 15 | 377186 | 110232 | 26575 7 | 7 | 14 444.73/444.84 c 436s | 15 | 379108 | 110732 | 26575 7 | 7 | 14 447.13/447.21 c 438s | 15 | 380901 | 111332 | 26575 7 | 7 | 14 449.22/449.38 c 440s | 15 | 382390 | 111832 | 26575 8 | 7 | 14 451.32/451.45 c 442s | 15 | 383744 | 112332 | 26575 8 | 7 | 14 453.42/453.52 c 444s | 15 | 385613 | 112832 | 26575 8 | 7 | 14 455.52/455.69 c 447s | 15 | 388550 | 113432 | 26575 8 | 7 | 14 457.82/457.93 c 449s | 15 | 391183 | 114232 | 26575 8 | 7 | 14 460.12/460.27 c 451s | 15 | 393829 | 114932 | 26575 8 | 7 | 14 462.32/462.49 c 453s | 15 | 395343 | 115532 | 26575 8 | 7 | 14 464.52/464.66 c 456s | 15 | 397012 | 116032 | 26575 8 | 7 | 14 466.82/466.91 c 458s | 15 | 398381 | 116632 | 26575 8 | 7 | 14 468.92/469.06 c 460s | 15 | 399800 | 117132 | 26575 8 | 7 | 14 471.22/471.31 c 462s | 15 | 401896 | 117732 | 26575 8 | 7 | 14 473.52/473.68 c 465s | 15 | 404775 | 118332 | 26575 8 | 7 | 14 475.62/475.79 c 467s | 15 | 407806 | 118932 | 26575 8 | 7 | 14 477.82/477.98 c 469s | 15 | 409440 | 119532 | 26575 8 | 7 | 14 480.12/480.24 c 471s | 15 | 411357 | 120132 | 26575 8 | 7 | 14 482.22/482.36 c 473s | 15 | 412838 | 120632 | 26575 8 | 7 | 14 484.42/484.58 c 476s | 15 | 414484 | 121132 | 26575 8 | 7 | 14 486.52/486.62 c 478s | 15 | 416348 | 121632 | 26575 8 | 7 | 14 488.62/488.73 c 480s | 15 | 418660 | 122132 | 26575 8 | 7 | 14 491.12/491.20 c 482s | 15 | 420548 | 122732 | 26575 8 | 7 | 14 493.42/493.52 c 484s | 15 | 422167 | 123232 | 26575 8 | 7 | 14 495.72/495.81 c 487s | 15 | 424139 | 123732 | 26575 8 | 7 | 14 497.92/498.01 c 489s | 15 | 425868 | 124232 | 26575 8 | 7 | 14 500.02/500.19 c 491s | 15 | 428120 | 124732 | 26575 8 | 7 | 14 502.31/502.49 c 493s | 15 | 430694 | 125332 | 29233 8 | 7 | 14 504.41/504.53 c 496s | 15 | 432529 | 125832 | 29233 8 | 7 | 14 506.51/506.61 c 498s | 15 | 433822 | 126332 | 29233 8 | 7 | 14 508.61/508.76 c 500s | 15 | 436157 | 126832 | 29233 8 | 7 | 14 510.71/510.85 c 502s | 15 | 439516 | 127332 | 29233 8 | 7 | 14 512.91/513.09 c 504s | 15 | 441294 | 127832 | 29233 8 | 7 | 14 515.11/515.27 c 506s | 15 | 442816 | 128232 | 29233 9 | 7 | 14 517.31/517.48 c 508s | 15 | 444508 | 128732 | 29233 9 | 7 | 14 519.41/519.51 c 510s | 15 | 446110 | 129232 | 29233 9 | 7 | 14 521.61/521.72 c 513s | 15 | 448772 | 129832 | 29233 9 | 7 | 14 523.91/524.00 c 515s | 15 | 450693 | 130432 | 29233 9 | 7 | 14 526.01/526.11 c 517s | 15 | 452198 | 130932 | 29233 9 | 7 | 14 528.21/528.35 c 519s | 15 | 454449 | 131532 | 29233 9 | 7 | 14 528.31/528.44 c 519s | 16 | 454509 | 131552 | 29233 9 | 7 | 14 530.51/530.64 c 522s | 16 | 456495 | 132052 | 29233 9 | 7 | 14 532.61/532.76 c 524s | 16 | 458882 | 132652 | 29233 9 | 7 | 14 534.71/534.87 c 526s | 16 | 461452 | 133252 | 29233 9 | 7 | 14 537.01/537.12 c 528s | 16 | 463452 | 133852 | 29233 9 | 7 | 14 539.21/539.35 c 530s | 16 | 464846 | 134452 | 29233 9 | 7 | 14 541.21/541.36 c 532s | 16 | 466410 | 135052 | 29233 9 | 7 | 14 543.31/543.50 c 534s | 16 | 468029 | 135552 | 29233 9 | 7 | 14 545.51/545.69 c 537s | 16 | 470637 | 136052 | 29233 9 | 7 | 14 547.71/547.82 c 539s | 16 | 473236 | 136652 | 29233 9 | 7 | 14 550.01/550.14 c 541s | 16 | 475454 | 137352 | 29233 9 | 7 | 14 552.21/552.34 c 543s | 16 | 477114 | 137952 | 29233 9 | 7 | 14 554.50/554.68 c 546s | 16 | 478829 | 138552 | 29233 9 | 7 | 14 556.80/556.92 c 548s | 16 | 480490 | 139052 | 29233 9 | 7 | 14 559.00/559.15 c 550s | 16 | 482823 | 139552 | 29233 9 | 7 | 14 561.10/561.27 c 552s | 16 | 484792 | 140052 | 29233 9 | 7 | 14 563.50/563.63 c 555s | 16 | 487285 | 140752 | 29233 9 | 7 | 14 565.60/565.70 c 557s | 16 | 489022 | 141252 | 29233 9 | 7 | 14 567.70/567.85 c 559s | 16 | 490661 | 141752 | 29233 9 | 7 | 14 569.71/569.89 c 561s | 16 | 492528 | 142252 | 29233 9 | 7 | 14 572.01/572.13 c 563s | 16 | 495149 | 142852 | 29233 9 | 7 | 14 574.21/574.39 c 565s | 16 | 498468 | 143552 | 29233 9 | 7 | 14 576.50/576.64 c 568s | 16 | 500296 | 144152 | 29233 10 | 7 | 14 578.90/579.03 c 570s | 16 | 502326 | 144752 | 29233 10 | 7 | 14 581.00/581.15 c 572s | 16 | 504453 | 145352 | 29233 10 | 7 | 14 583.01/583.15 c 574s | 16 | 505737 | 145852 | 29233 10 | 7 | 14 585.00/585.20 c 576s | 16 | 507276 | 146352 | 29233 10 | 7 | 14 587.31/587.50 c 578s | 16 | 510141 | 147052 | 29233 10 | 7 | 14 589.61/589.75 c 581s | 16 | 513374 | 147852 | 29233 10 | 7 | 14 591.60/591.77 c 583s | 16 | 515265 | 148552 | 29233 10 | 7 | 14 593.70/593.80 c 585s | 16 | 516909 | 149152 | 29233 10 | 7 | 14 595.70/595.81 c 587s | 16 | 518200 | 149652 | 29233 10 | 7 | 14 597.90/598.07 c 589s | 16 | 519751 | 150152 | 29233 10 | 7 | 14 600.00/600.15 c 591s | 16 | 521819 | 150652 | 29233 10 | 7 | 14 602.10/602.21 c 593s | 16 | 523851 | 151152 | 29233 10 | 7 | 14 604.30/604.45 c 595s | 16 | 526918 | 151752 | 29233 10 | 7 | 14 606.50/606.62 c 598s | 16 | 528717 | 152352 | 29233 10 | 7 | 14 608.50/608.67 c 600s | 16 | 530623 | 152852 | 29233 10 | 7 | 14 610.90/611.00 c 602s | 16 | 532643 | 153452 | 29233 10 | 7 | 14 612.89/613.02 c 604s | 16 | 534034 | 153952 | 29233 10 | 7 | 14 614.90/615.07 c 606s | 16 | 535934 | 154452 | 29233 10 | 7 | 14 617.10/617.25 c 608s | 16 | 538630 | 155052 | 29233 10 | 7 | 14 619.20/619.37 c 610s | 16 | 540716 | 155652 | 29233 10 | 7 | 14 621.50/621.66 c 613s | 16 | 542703 | 156252 | 29233 10 | 7 | 14 623.79/623.94 c 615s | 16 | 544858 | 156852 | 29233 10 | 7 | 14 626.19/626.30 c 617s | 16 | 546544 | 157352 | 29233 10 | 7 | 14 628.19/628.36 c 619s | 16 | 548288 | 157852 | 29233 10 | 7 | 14 630.30/630.42 c 621s | 16 | 550586 | 158352 | 29233 10 | 7 | 14 632.50/632.64 c 624s | 16 | 552624 | 158852 | 29233 10 | 7 | 14 634.79/634.98 c 626s | 16 | 554548 | 159352 | 29233 11 | 7 | 14 636.80/636.98 c 628s | 16 | 556430 | 159852 | 29233 11 | 7 | 14 638.89/639.09 c 630s | 16 | 558499 | 160452 | 29233 11 | 7 | 14 641.20/641.38 c 632s | 16 | 560853 | 161052 | 29233 11 | 7 | 14 643.59/643.71 c 635s | 16 | 563066 | 161752 | 29233 11 | 7 | 14 645.69/645.88 c 637s | 16 | 565160 | 162352 | 29233 11 | 7 | 14 647.79/647.95 c 639s | 16 | 567816 | 162952 | 29233 11 | 7 | 14 649.99/650.12 c 641s | 16 | 569820 | 163552 | 29233 11 | 7 | 14 652.09/652.22 c 643s | 16 | 571536 | 164052 | 29233 11 | 7 | 14 654.29/654.48 c 645s | 16 | 574010 | 164652 | 29233 11 | 7 | 14 656.39/656.50 c 647s | 16 | 576308 | 165252 | 29233 11 | 7 | 14 658.59/658.71 c 650s | 16 | 578537 | 165852 | 29233 11 | 7 | 14 660.78/660.98 c 652s | 16 | 580683 | 166452 | 29233 11 | 7 | 14 662.88/663.05 c 654s | 16 | 582220 | 166952 | 29233 11 | 7 | 14 665.08/665.27 c 656s | 16 | 584467 | 167552 | 29233 11 | 7 | 14 667.28/667.43 c 658s | 16 | 586794 | 168152 | 29233 11 | 7 | 14 669.28/669.44 c 660s | 16 | 588593 | 168652 | 29233 11 | 7 | 14 671.48/671.62 c 663s | 16 | 590498 | 169152 | 29233 11 | 7 | 14 673.78/673.94 c 665s | 16 | 593307 | 169752 | 29233 11 | 7 | 14 675.88/676.06 c 667s | 16 | 595225 | 170352 | 29233 11 | 7 | 14 678.28/678.40 c 669s | 16 | 597355 | 170952 | 29233 11 | 7 | 14 680.48/680.69 c 672s | 16 | 598983 | 171552 | 29233 11 | 7 | 14 682.88/683.03 c 674s | 16 | 601065 | 172152 | 29233 11 | 7 | 14 685.19/685.31 c 676s | 16 | 603052 | 172752 | 29233 11 | 7 | 14 687.39/687.50 c 678s | 16 | 604634 | 173352 | 29233 11 | 7 | 14 689.38/689.52 c 681s | 16 | 605998 | 173852 | 29233 11 | 7 | 14 691.48/691.68 c 683s | 16 | 607601 | 174352 | 29233 11 | 7 | 14 693.78/693.95 c 685s | 16 | 609892 | 174952 | 29233 12 | 7 | 14 695.78/695.97 c 687s | 16 | 612598 | 175552 | 29233 12 | 7 | 14 697.88/698.03 c 689s | 16 | 615016 | 176152 | 29233 12 | 7 | 14 700.08/700.24 c 691s | 16 | 616995 | 176752 | 29233 12 | 7 | 14 702.38/702.52 c 694s | 16 | 619519 | 177452 | 29233 12 | 7 | 14 704.48/704.69 c 696s | 16 | 621415 | 178052 | 29233 12 | 7 | 14 706.58/706.78 c 698s | 16 | 622783 | 178552 | 29233 12 | 7 | 14 708.98/709.13 c 700s | 16 | 624621 | 179152 | 29233 12 | 7 | 14 711.18/711.34 c 702s | 16 | 626604 | 179852 | 29233 12 | 7 | 14 713.48/713.63 c 705s | 16 | 628311 | 180552 | 29233 12 | 7 | 14 715.48/715.64 c 707s | 16 | 629971 | 181152 | 29233 12 | 7 | 14 717.68/717.84 c 709s | 16 | 632324 | 181752 | 29233 12 | 7 | 14 719.88/720.02 c 711s | 16 | 634687 | 182452 | 29233 12 | 7 | 14 722.08/722.25 c 713s | 16 | 636298 | 183052 | 29233 12 | 7 | 14 724.28/724.40 c 715s | 16 | 638071 | 183652 | 29233 12 | 7 | 14 726.48/726.64 c 718s | 16 | 639936 | 184252 | 29233 12 | 7 | 14 728.58/728.71 c 720s | 16 | 642004 | 184852 | 29233 12 | 7 | 14 730.78/730.97 c 722s | 16 | 643857 | 185452 | 29233 12 | 7 | 14 732.88/733.08 c 724s | 16 | 645540 | 185952 | 29233 12 | 7 | 14 735.07/735.22 c 726s | 16 | 647250 | 186452 | 29233 12 | 7 | 14 737.07/737.29 c 728s | 16 | 649406 | 187052 | 29233 12 | 7 | 14 739.18/739.35 c 730s | 16 | 650915 | 187652 | 29233 12 | 7 | 14 741.38/741.55 c 733s | 16 | 652707 | 188252 | 29233 12 | 7 | 14 743.67/743.88 c 735s | 16 | 654286 | 188852 | 29233 12 | 7 | 14 746.07/746.21 c 737s | 16 | 656553 | 189452 | 29233 12 | 7 | 14 748.07/748.23 c 739s | 16 | 658814 | 189952 | 29233 12 | 7 | 14 750.27/750.46 c 741s | 16 | 660748 | 190552 | 32157 13 | 7 | 14 752.47/752.65 c 744s | 16 | 662945 | 191152 | 32157 13 | 7 | 14 754.57/754.76 c 746s | 16 | 665301 | 191752 | 32157 13 | 7 | 14 756.56/756.77 c 748s | 16 | 667338 | 192352 | 32157 13 | 7 | 14 758.76/759.00 c 750s | 16 | 670275 | 193052 | 32157 13 | 7 | 14 760.96/761.19 c 752s | 16 | 671842 | 193652 | 32157 13 | 7 | 14 763.06/763.24 c 754s | 16 | 674279 | 194252 | 32157 13 | 7 | 14 765.05/765.28 c 756s | 16 | 676453 | 194852 | 32157 13 | 7 | 14 767.25/767.49 c 758s | 16 | 679322 | 195452 | 32157 13 | 7 | 14 769.45/769.60 c 761s | 16 | 681364 | 196052 | 32157 13 | 7 | 14 771.45/771.67 c 763s | 16 | 683252 | 196652 | 32157 13 | 7 | 14 773.55/773.70 c 765s | 16 | 686737 | 197252 | 32157 13 | 7 | 14 774.15/774.32 c 765s | 17 | 687326 | 197432 | 32157 13 | 7 | 14 778.34/778.59 c 770s | 17 | 689685 | 198032 | 32157 13 | 7 | 14 780.95/781.11 c 772s | 17 | 690789 | 198332 | 32157 13 | 7 | 14 783.05/783.23 c 774s | 17 | 692235 | 198732 | 32157 13 | 7 | 14 785.35/785.58 c 777s | 17 | 694071 | 199232 | 32157 13 | 7 | 14 787.45/787.64 c 779s | 17 | 695700 | 199732 | 32157 13 | 7 | 14 789.74/789.98 c 781s | 17 | 697964 | 200332 | 32157 13 | 7 | 14 792.04/792.29 c 783s | 17 | 699642 | 200932 | 32157 13 | 7 | 14 794.14/794.31 c 785s | 17 | 701587 | 201532 | 32157 13 | 7 | 14 796.24/796.48 c 787s | 17 | 703192 | 202132 | 32157 13 | 7 | 14 798.34/798.53 c 790s | 17 | 704464 | 202632 | 32157 13 | 7 | 14 800.44/800.68 c 792s | 17 | 705819 | 203132 | 32157 13 | 7 | 14 802.84/803.10 c 794s | 17 | 707606 | 203632 | 32157 13 | 7 | 14 804.93/805.15 c 796s | 17 | 709310 | 204032 | 32157 13 | 7 | 14 807.34/807.53 c 799s | 17 | 711532 | 204532 | 32157 13 | 7 | 14 809.54/809.74 c 801s | 17 | 713422 | 205032 | 32157 13 | 7 | 14 811.83/812.03 c 803s | 17 | 714900 | 205532 | 32157 13 | 7 | 14 814.13/814.32 c 805s | 17 | 716724 | 206032 | 32157 13 | 7 | 14 816.43/816.68 c 808s | 17 | 718899 | 206532 | 32157 13 | 7 | 14 818.73/818.97 c 810s | 17 | 720811 | 207032 | 32157 13 | 7 | 14 821.13/821.30 c 812s | 17 | 722274 | 207532 | 32157 13 | 7 | 14 823.33/823.51 c 814s | 17 | 723441 | 207932 | 32157 14 | 7 | 14 825.63/825.87 c 817s | 17 | 724939 | 208432 | 32157 14 | 7 | 14 827.74/827.91 c 819s | 17 | 726094 | 208832 | 32157 14 | 7 | 14 830.04/830.21 c 821s | 17 | 728269 | 209432 | 32157 14 | 7 | 14 832.04/832.25 c 823s | 17 | 730161 | 210032 | 32157 14 | 7 | 14 834.24/834.46 c 825s | 17 | 732095 | 210632 | 32157 14 | 7 | 14 836.63/836.83 c 828s | 17 | 733841 | 211232 | 32157 14 | 7 | 14 838.83/839.03 c 830s | 17 | 735457 | 211732 | 32157 14 | 7 | 14 840.93/841.16 c 832s | 17 | 736896 | 212232 | 32157 14 | 7 | 14 843.03/843.28 c 834s | 17 | 738603 | 212732 | 32157 14 | 7 | 14 845.43/845.60 c 837s | 17 | 740689 | 213332 | 32157 14 | 7 | 14 847.63/847.88 c 839s | 17 | 742140 | 213832 | 32157 14 | 7 | 14 849.73/849.90 c 841s | 17 | 743320 | 214232 | 32157 14 | 7 | 14 851.93/852.14 c 843s | 17 | 745111 | 214832 | 32157 14 | 7 | 14 854.13/854.33 c 845s | 17 | 746767 | 215432 | 32157 14 | 7 | 14 856.23/856.44 c 847s | 17 | 748435 | 216032 | 32157 14 | 7 | 14 858.43/858.67 c 850s | 17 | 750061 | 216632 | 32157 14 | 7 | 14 860.83/861.03 c 852s | 17 | 751645 | 217232 | 32157 14 | 7 | 14 863.03/863.20 c 854s | 17 | 753117 | 217732 | 32157 14 | 7 | 14 865.22/865.46 c 856s | 17 | 754720 | 218232 | 32157 14 | 7 | 14 867.42/867.68 c 859s | 17 | 756260 | 218732 | 32157 14 | 7 | 14 869.62/869.86 c 861s | 17 | 758106 | 219232 | 32157 14 | 7 | 14 871.72/871.96 c 863s | 17 | 760083 | 219732 | 32157 14 | 7 | 14 874.02/874.21 c 865s | 17 | 762120 | 220332 | 32157 14 | 7 | 14 876.12/876.33 c 867s | 17 | 764226 | 220932 | 32157 14 | 7 | 14 878.42/878.63 c 870s | 17 | 765924 | 221532 | 32157 14 | 7 | 14 880.72/880.96 c 872s | 17 | 767379 | 222132 | 32157 14 | 7 | 14 882.72/882.99 c 874s | 17 | 768469 | 222632 | 32157 14 | 7 | 14 884.81/885.02 c 876s | 17 | 769659 | 223132 | 32157 14 | 7 | 14 887.01/887.21 c 878s | 17 | 771260 | 223532 | 32157 14 | 7 | 14 889.01/889.21 c 880s | 17 | 772640 | 223932 | 32157 14 | 7 | 14 891.21/891.46 c 882s | 17 | 774661 | 224432 | 32157 14 | 7 | 14 893.41/893.61 c 885s | 17 | 776550 | 224932 | 32157 15 | 7 | 14 895.61/895.82 c 887s | 17 | 777976 | 225432 | 32157 15 | 7 | 14 897.81/898.01 c 889s | 17 | 779330 | 225932 | 32157 15 | 7 | 14 899.91/900.19 c 891s | 17 | 780785 | 226432 | 32157 15 | 7 | 14 902.11/902.32 c 893s | 17 | 782339 | 226932 | 32157 15 | 7 | 14 904.11/904.40 c 895s | 17 | 784040 | 227532 | 32157 15 | 7 | 14 906.21/906.42 c 897s | 17 | 786386 | 228132 | 32157 15 | 7 | 14 908.30/908.52 c 899s | 17 | 788245 | 228832 | 32157 15 | 7 | 14 910.40/910.60 c 902s | 17 | 790242 | 229432 | 32157 15 | 7 | 14 912.40/912.63 c 904s | 17 | 791775 | 230032 | 32157 15 | 7 | 14 914.80/915.04 c 906s | 17 | 793470 | 230632 | 32157 15 | 7 | 14 917.10/917.37 c 908s | 17 | 794823 | 231132 | 32157 15 | 7 | 14 919.51/919.73 c 911s | 17 | 796299 | 231732 | 32157 15 | 7 | 14 921.61/921.82 c 913s | 17 | 798147 | 232232 | 32157 15 | 7 | 14 923.60/923.88 c 915s | 17 | 800102 | 232732 | 32157 15 | 7 | 14 925.70/925.91 c 917s | 17 | 803008 | 233332 | 32157 15 | 7 | 14 927.90/928.11 c 919s | 17 | 804697 | 233932 | 32157 15 | 7 | 14 930.20/930.43 c 921s | 17 | 806502 | 234532 | 32157 15 | 7 | 14 932.20/932.49 c 923s | 17 | 808122 | 235032 | 32157 15 | 7 | 14 934.49/934.76 c 926s | 17 | 809774 | 235632 | 32157 15 | 7 | 14 936.89/937.13 c 928s | 17 | 811123 | 236132 | 32157 15 | 7 | 14 938.89/939.19 c 930s | 17 | 812787 | 236632 | 32157 15 | 7 | 14 941.29/941.60 c 933s | 17 | 815009 | 237232 | 32157 15 | 7 | 14 943.49/943.76 c 935s | 17 | 816851 | 237732 | 32157 15 | 7 | 14 945.69/946.00 c 937s | 17 | 818845 | 238332 | 32157 15 | 7 | 14 948.00/948.21 c 939s | 17 | 820211 | 238832 | 32157 15 | 7 | 14 950.20/950.47 c 941s | 17 | 822888 | 239332 | 32157 15 | 7 | 14 952.40/952.64 c 944s | 17 | 824970 | 239832 | 32157 15 | 7 | 14 954.49/954.76 c 946s | 17 | 826783 | 240332 | 32157 15 | 7 | 14 956.80/957.07 c 948s | 17 | 828462 | 240832 | 32157 16 | 7 | 14 959.10/959.33 c 950s | 17 | 830110 | 241332 | 32157 16 | 7 | 14 961.40/961.68 c 953s | 17 | 832182 | 241832 | 32157 16 | 7 | 14 963.50/963.71 c 955s | 17 | 834892 | 242432 | 32157 16 | 7 | 14 965.49/965.79 c 957s | 17 | 836889 | 243032 | 32157 16 | 7 | 14 967.69/967.95 c 959s | 17 | 838424 | 243632 | 32157 16 | 7 | 14 970.10/970.36 c 961s | 17 | 839816 | 244232 | 32157 16 | 7 | 14 972.30/972.57 c 964s | 17 | 841339 | 244832 | 32157 16 | 7 | 14 974.39/974.61 c 966s | 17 | 842571 | 245332 | 32157 16 | 7 | 14 976.48/976.80 c 968s | 17 | 844048 | 245832 | 32157 16 | 7 | 14 978.79/979.05 c 970s | 17 | 845024 | 246332 | 32157 16 | 7 | 14 980.99/981.27 c 972s | 17 | 846346 | 246732 | 32157 16 | 7 | 14 983.19/983.46 c 974s | 17 | 848802 | 247232 | 32157 16 | 7 | 14 985.67/985.92 c 977s | 17 | 850174 | 247732 | 32157 16 | 7 | 14 987.77/988.00 c 979s | 17 | 851801 | 248232 | 32157 16 | 7 | 14 989.97/990.21 c 981s | 17 | 853072 | 248732 | 32157 16 | 7 | 14 992.08/992.38 c 983s | 17 | 854450 | 249232 | 32157 16 | 7 | 14 994.67/994.92 c 986s | 17 | 855651 | 249732 | 32157 16 | 7 | 14 996.87/997.15 c 988s | 17 | 857175 | 250132 | 32157 16 | 7 | 14 999.17/999.43 c 990s | 17 | 859643 | 250732 | 32157 16 | 7 | 14 1001.47/1001.78 c 993s | 17 | 861687 | 251332 | 32157 16 | 7 | 14 1003.67/1003.98 c 995s | 17 | 863318 | 251832 | 32157 16 | 7 | 14 1005.86/1006.12 c 997s | 17 | 864915 | 252332 | 32157 16 | 7 | 14 1008.16/1008.45 c 999s | 17 | 866181 | 252832 | 32157 16 | 7 | 14 1010.36/1010.64 c 1002s | 17 | 867307 | 253332 | 32157 16 | 7 | 14 1012.56/1012.88 c 1004s | 17 | 869235 | 253832 | 32157 16 | 7 | 14 1014.96/1015.28 c 1006s | 17 | 870280 | 254332 | 32157 16 | 7 | 14 1017.36/1017.68 c 1009s | 17 | 872524 | 254932 | 32157 16 | 7 | 14 1019.56/1019.82 c 1011s | 17 | 874022 | 255432 | 32157 16 | 7 | 14 1021.96/1022.20 c 1013s | 17 | 875501 | 255932 | 32157 16 | 7 | 14 1024.25/1024.58 c 1016s | 17 | 876915 | 256432 | 32157 16 | 7 | 14 1026.65/1026.96 c 1018s | 17 | 878619 | 256932 | 32157 16 | 7 | 14 1028.95/1029.23 c 1020s | 17 | 879927 | 257432 | 32157 17 | 7 | 14 1031.35/1031.65 c 1023s | 17 | 882354 | 258032 | 32157 17 | 7 | 14 1033.45/1033.71 c 1025s | 17 | 885170 | 258532 | 32157 17 | 7 | 14 1035.75/1036.05 c 1027s | 17 | 886843 | 259032 | 32157 17 | 7 | 14 1038.15/1038.42 c 1029s | 17 | 889114 | 259532 | 32157 17 | 7 | 14 1040.45/1040.75 c 1032s | 17 | 891630 | 260132 | 32157 17 | 7 | 14 1042.55/1042.82 c 1034s | 17 | 893510 | 260632 | 32157 17 | 7 | 14 1044.64/1044.98 c 1036s | 17 | 895079 | 261132 | 32157 17 | 7 | 14 1046.95/1047.21 c 1038s | 17 | 896671 | 261632 | 32157 17 | 7 | 14 1049.15/1049.46 c 1040s | 17 | 899021 | 262132 | 32157 17 | 7 | 14 1051.54/1051.81 c 1043s | 17 | 901333 | 262632 | 32157 17 | 7 | 14 1053.84/1054.12 c 1045s | 17 | 903361 | 263132 | 32157 17 | 7 | 14 1056.03/1056.35 c 1047s | 17 | 905243 | 263632 | 32157 17 | 7 | 14 1058.13/1058.48 c 1049s | 17 | 907551 | 264132 | 32157 17 | 7 | 14 1060.24/1060.57 c 1052s | 17 | 909701 | 264632 | 32157 17 | 7 | 14 1062.53/1062.82 c 1054s | 17 | 911621 | 265132 | 32157 17 | 7 | 14 1064.73/1065.07 c 1056s | 17 | 913392 | 265632 | 32157 17 | 7 | 14 1066.93/1067.27 c 1058s | 17 | 915435 | 266132 | 32157 17 | 7 | 14 1069.13/1069.40 c 1060s | 17 | 917502 | 266632 | 32157 17 | 7 | 14 1071.24/1071.53 c 1063s | 17 | 919021 | 267132 | 32157 17 | 7 | 14 1073.33/1073.65 c 1065s | 17 | 920526 | 267632 | 32157 17 | 7 | 14 1075.42/1075.78 c 1067s | 17 | 922191 | 268132 | 32157 17 | 7 | 14 1077.83/1078.14 c 1069s | 17 | 924234 | 268732 | 32157 17 | 7 | 14 1080.03/1080.32 c 1071s | 17 | 925792 | 269232 | 32157 17 | 7 | 14 1082.02/1082.40 c 1073s | 17 | 927184 | 269732 | 32157 17 | 7 | 14 1084.52/1084.83 c 1076s | 17 | 929109 | 270332 | 32157 17 | 7 | 14 1086.82/1087.17 c 1078s | 17 | 931295 | 270932 | 32157 17 | 7 | 14 1088.92/1089.28 c 1080s | 17 | 933802 | 271432 | 32157 17 | 7 | 14 1091.12/1091.45 c 1082s | 17 | 935701 | 272032 | 32157 17 | 7 | 14 1093.12/1093.45 c 1084s | 17 | 937351 | 272532 | 32157 17 | 7 | 14 1095.42/1095.72 c 1087s | 17 | 938841 | 273032 | 32157 17 | 7 | 14 1097.52/1097.84 c 1089s | 17 | 941516 | 273532 | 32157 17 | 7 | 14 1099.61/1099.94 c 1091s | 17 | 943105 | 274032 | 32157 17 | 7 | 14 1101.71/1102.02 c 1093s | 17 | 944653 | 274532 | 32157 18 | 7 | 14 1103.81/1104.17 c 1095s | 17 | 946857 | 275132 | 32157 18 | 7 | 14 1106.10/1106.46 c 1097s | 17 | 949404 | 275832 | 32157 18 | 7 | 14 1108.30/1108.69 c 1100s | 17 | 951393 | 276432 | 32157 18 | 7 | 14 1110.40/1110.78 c 1102s | 17 | 952797 | 276932 | 32157 18 | 7 | 14 1112.70/1113.05 c 1104s | 17 | 954352 | 277532 | 32157 18 | 7 | 14 1115.00/1115.40 c 1106s | 17 | 956556 | 278132 | 32157 18 | 7 | 14 1117.10/1117.49 c 1108s | 17 | 957716 | 278632 | 32157 18 | 7 | 14 1119.40/1119.70 c 1111s | 17 | 959216 | 279132 | 32157 18 | 7 | 14 1121.60/1121.92 c 1113s | 17 | 961344 | 279632 | 32157 18 | 7 | 14 1123.80/1124.19 c 1115s | 17 | 963034 | 280132 | 32157 18 | 7 | 14 1125.99/1126.38 c 1117s | 17 | 964811 | 280632 | 32157 18 | 7 | 14 1128.19/1128.56 c 1120s | 17 | 966873 | 281132 | 32157 18 | 7 | 14 1130.60/1130.97 c 1122s | 17 | 969681 | 281732 | 32157 18 | 7 | 14 1132.99/1133.33 c 1124s | 17 | 971408 | 282232 | 32157 18 | 7 | 14 1135.29/1135.64 c 1127s | 17 | 973874 | 282732 | 32157 18 | 7 | 14 1137.69/1138.04 c 1129s | 17 | 975807 | 283232 | 32157 18 | 7 | 14 1139.99/1140.32 c 1131s | 17 | 977553 | 283732 | 32157 18 | 7 | 14 1142.18/1142.56 c 1134s | 17 | 979467 | 284232 | 32157 18 | 7 | 14 1144.28/1144.68 c 1136s | 17 | 981222 | 284732 | 32157 18 | 7 | 14 1146.48/1146.84 c 1138s | 17 | 982942 | 285232 | 32157 18 | 7 | 14 1148.98/1149.32 c 1140s | 17 | 984562 | 285832 | 32157 18 | 7 | 14 1151.18/1151.57 c 1143s | 17 | 986141 | 286332 | 32157 18 | 7 | 14 1153.28/1153.67 c 1145s | 17 | 988197 | 286832 | 32157 18 | 7 | 14 1155.47/1155.85 c 1147s | 17 | 991250 | 287432 | 32157 18 | 7 | 14 1157.58/1157.91 c 1149s | 17 | 992908 | 288032 | 32157 18 | 7 | 14 1159.78/1160.14 c 1151s | 17 | 994622 | 288532 | 35373 18 | 7 | 14 1161.88/1162.29 c 1153s | 17 | 996603 | 289032 | 35373 18 | 7 | 14 1164.08/1164.41 c 1155s | 17 | 998112 | 289532 | 35373 18 | 7 | 14 1166.28/1166.67 c 1158s | 17 | 1000324 | 290032 | 35373 18 | 7 | 14 1168.38/1168.73 c 1160s | 17 | 1002844 | 290532 | 35373 18 | 7 | 14 1170.68/1171.01 c 1162s | 17 | 1004593 | 291032 | 35373 18 | 7 | 14 1172.78/1173.12 c 1164s | 17 | 1006443 | 291532 | 35373 18 | 7 | 14 1174.97/1175.37 c 1166s | 17 | 1008164 | 292032 | 35373 18 | 7 | 14 1177.07/1177.41 c 1168s | 17 | 1009879 | 292432 | 35373 18 | 7 | 14 1179.17/1179.55 c 1171s | 17 | 1011483 | 292932 | 35373 18 | 7 | 14 1181.37/1181.73 c 1173s | 17 | 1013934 | 293432 | 35373 18 | 7 | 14 1183.67/1184.08 c 1175s | 17 | 1015846 | 294032 | 35373 18 | 7 | 14 1185.77/1186.11 c 1177s | 17 | 1017404 | 294532 | 35373 19 | 7 | 14 1187.97/1188.32 c 1179s | 17 | 1020441 | 295132 | 35373 19 | 7 | 14 1190.37/1190.74 c 1182s | 17 | 1022543 | 295732 | 35373 19 | 7 | 14 1192.36/1192.74 c 1184s | 18 | 1024736 | 296252 | 35373 19 | 7 | 14 1194.46/1194.85 c 1186s | 18 | 1026633 | 296752 | 35373 19 | 7 | 14 1196.86/1197.25 c 1188s | 18 | 1028688 | 297352 | 35373 19 | 7 | 14 1198.96/1199.34 c 1190s | 18 | 1030798 | 298052 | 35373 19 | 7 | 14 1201.36/1201.73 c 1193s | 18 | 1032707 | 298752 | 35373 19 | 7 | 14 1203.56/1203.90 c 1195s | 18 | 1035785 | 299352 | 35373 19 | 7 | 14 1205.85/1206.23 c 1197s | 18 | 1037988 | 299952 | 35373 19 | 7 | 14 1208.15/1208.53 c 1200s | 18 | 1039882 | 300552 | 35373 19 | 7 | 14 1210.25/1210.61 c 1202s | 18 | 1041350 | 301052 | 35373 19 | 7 | 14 1212.35/1212.79 c 1204s | 18 | 1042898 | 301552 | 35373 19 | 7 | 14 1214.64/1215.01 c 1206s | 18 | 1044738 | 302052 | 35373 19 | 7 | 14 1216.74/1217.11 c 1208s | 18 | 1046321 | 302552 | 35373 19 | 7 | 14 1218.74/1219.17 c 1210s | 18 | 1049221 | 303152 | 35373 19 | 7 | 14 1221.04/1221.40 c 1212s | 18 | 1050744 | 303752 | 35373 19 | 7 | 14 1223.44/1223.82 c 1215s | 18 | 1052399 | 304352 | 35373 19 | 7 | 14 1225.43/1225.86 c 1217s | 18 | 1053985 | 304852 | 35373 19 | 7 | 14 1227.53/1227.94 c 1219s | 18 | 1055599 | 305352 | 35373 19 | 7 | 14 1229.54/1229.95 c 1221s | 18 | 1058071 | 305852 | 35373 19 | 7 | 14 1232.03/1232.43 c 1223s | 18 | 1060346 | 306452 | 35373 19 | 7 | 14 1234.23/1234.66 c 1226s | 18 | 1062576 | 307052 | 35373 19 | 7 | 14 1236.33/1236.71 c 1228s | 18 | 1064954 | 307552 | 35373 19 | 7 | 14 1238.43/1238.89 c 1230s | 18 | 1066616 | 308052 | 35373 19 | 7 | 14 1240.53/1240.98 c 1232s | 18 | 1068696 | 308552 | 35373 19 | 7 | 14 1242.83/1243.22 c 1234s | 18 | 1070863 | 309152 | 35373 19 | 7 | 14 1245.12/1245.54 c 1237s | 18 | 1073432 | 309852 | 35373 19 | 7 | 14 1247.32/1247.77 c 1239s | 18 | 1075974 | 310452 | 35373 19 | 7 | 14 1249.52/1249.90 c 1241s | 18 | 1077519 | 311052 | 35373 19 | 7 | 14 1251.92/1252.30 c 1243s | 18 | 1079520 | 311652 | 35373 19 | 7 | 14 1254.11/1254.54 c 1246s | 18 | 1081761 | 312252 | 35373 19 | 7 | 14 1256.52/1256.99 c 1248s | 18 | 1082389 | 312452 | 35373 20 | 7 | 14 1258.61/1259.04 c 1250s | 18 | 1083027 | 312652 | 35373 20 | 7 | 14 1261.11/1261.55 c 1253s | 18 | 1084624 | 313052 | 35373 20 | 7 | 14 1263.52/1263.92 c 1255s | 18 | 1086532 | 313552 | 35373 20 | 7 | 14 1265.71/1266.17 c 1257s | 18 | 1088401 | 314052 | 35373 20 | 7 | 14 1268.21/1268.61 c 1260s | 18 | 1089602 | 314452 | 35373 20 | 7 | 14 1270.30/1270.70 c 1262s | 18 | 1091167 | 314952 | 35373 20 | 7 | 14 1272.60/1273.03 c 1264s | 18 | 1092848 | 315452 | 35373 20 | 7 | 14 1274.61/1275.06 c 1266s | 18 | 1094808 | 315952 | 35373 20 | 7 | 14 1277.10/1277.51 c 1268s | 18 | 1096255 | 316452 | 35373 20 | 7 | 14 1279.40/1279.87 c 1271s | 18 | 1097948 | 316952 | 35373 20 | 7 | 14 1281.60/1282.09 c 1273s | 18 | 1099836 | 317452 | 35373 20 | 7 | 14 1283.70/1284.12 c 1275s | 18 | 1101863 | 317952 | 35373 20 | 7 | 14 1285.89/1286.32 c 1277s | 18 | 1103648 | 318452 | 35373 20 | 7 | 14 1287.99/1288.42 c 1279s | 18 | 1104990 | 318952 | 35373 20 | 7 | 14 1290.09/1290.52 c 1281s | 18 | 1106582 | 319452 | 35373 20 | 7 | 14 1292.20/1292.60 c 1284s | 18 | 1108401 | 319952 | 35373 20 | 7 | 14 1294.40/1294.83 c 1286s | 18 | 1109929 | 320452 | 35373 20 | 7 | 14 1296.60/1297.02 c 1288s | 18 | 1111524 | 320952 | 35373 20 | 7 | 14 1298.99/1299.47 c 1290s | 18 | 1112658 | 321452 | 35373 20 | 7 | 14 1301.09/1301.58 c 1293s | 18 | 1113793 | 321852 | 35373 20 | 7 | 14 1303.49/1303.92 c 1295s | 18 | 1115725 | 322352 | 35373 20 | 7 | 14 1305.59/1306.01 c 1297s | 18 | 1117217 | 322852 | 35373 20 | 7 | 14 1307.79/1308.26 c 1299s | 18 | 1119274 | 323452 | 35373 20 | 7 | 14 1310.29/1310.72 c 1302s | 18 | 1120542 | 323952 | 35373 20 | 7 | 14 1312.49/1312.91 c 1304s | 18 | 1121898 | 324352 | 35373 20 | 7 | 14 1314.78/1315.26 c 1306s | 18 | 1123544 | 324852 | 35373 20 | 7 | 14 1316.98/1317.46 c 1308s | 18 | 1125283 | 325352 | 35373 20 | 7 | 14 1319.48/1319.91 c 1311s | 18 | 1126742 | 325852 | 35373 20 | 7 | 14 1321.59/1322.05 c 1313s | 18 | 1127892 | 326252 | 35373 20 | 7 | 14 1323.59/1324.09 c 1315s | 18 | 1129156 | 326652 | 35373 20 | 7 | 14 1325.79/1326.27 c 1317s | 18 | 1130579 | 327052 | 35373 20 | 7 | 14 1327.89/1328.30 c 1319s | 18 | 1131794 | 327452 | 35373 20 | 7 | 14 1329.99/1330.42 c 1321s | 18 | 1133642 | 327952 | 35373 20 | 7 | 14 1332.39/1332.84 c 1324s | 18 | 1134978 | 328352 | 35373 20 | 7 | 14 1334.59/1335.04 c 1326s | 18 | 1136677 | 328752 | 35373 20 | 7 | 14 1336.79/1337.20 c 1328s | 18 | 1138130 | 329152 | 35373 20 | 7 | 14 1339.19/1339.64 c 1331s | 18 | 1139354 | 329552 | 35373 20 | 7 | 14 1341.49/1341.99 c 1333s | 18 | 1141107 | 329952 | 35373 20 | 7 | 14 1343.69/1344.14 c 1335s | 18 | 1142750 | 330352 | 35373 20 | 7 | 14 1346.18/1346.67 c 1338s | 18 | 1144379 | 330752 | 35373 20 | 7 | 14 1348.58/1349.02 c 1340s | 18 | 1145513 | 331152 | 35373 21 | 7 | 14 1350.88/1351.32 c 1342s | 18 | 1147162 | 331652 | 35373 21 | 7 | 14 1352.88/1353.33 c 1344s | 18 | 1148292 | 332052 | 35373 21 | 7 | 14 1354.98/1355.40 c 1346s | 18 | 1149979 | 332452 | 35373 21 | 7 | 14 1356.98/1357.49 c 1348s | 18 | 1151479 | 332852 | 35373 21 | 7 | 14 1359.38/1359.80 c 1351s | 18 | 1153335 | 333352 | 35373 21 | 7 | 14 1361.58/1362.04 c 1353s | 18 | 1154837 | 333852 | 35373 21 | 7 | 14 1363.78/1364.27 c 1355s | 18 | 1156962 | 334352 | 35373 21 | 7 | 14 1365.97/1366.45 c 1357s | 18 | 1158800 | 334852 | 35373 21 | 7 | 14 1368.17/1368.60 c 1360s | 18 | 1160212 | 335352 | 35373 21 | 7 | 14 1370.28/1370.74 c 1362s | 18 | 1161376 | 335852 | 35373 21 | 7 | 14 1372.77/1373.22 c 1364s | 18 | 1162679 | 336352 | 35373 21 | 7 | 14 1375.17/1375.67 c 1367s | 18 | 1163836 | 336852 | 35373 21 | 7 | 14 1377.17/1377.70 c 1369s | 18 | 1165358 | 337252 | 35373 21 | 7 | 14 1379.37/1379.87 c 1371s | 18 | 1166592 | 337652 | 35373 21 | 7 | 14 1381.86/1382.31 c 1373s | 18 | 1168695 | 338152 | 35373 21 | 7 | 14 1384.06/1384.54 c 1376s | 18 | 1170762 | 338652 | 35373 21 | 7 | 14 1386.16/1386.67 c 1378s | 18 | 1173043 | 339252 | 35373 21 | 7 | 14 1388.26/1388.77 c 1380s | 18 | 1175013 | 339852 | 35373 21 | 7 | 14 1390.66/1391.11 c 1382s | 18 | 1176562 | 340452 | 35373 21 | 7 | 14 1392.76/1393.23 c 1384s | 18 | 1177857 | 340952 | 35373 21 | 7 | 14 1394.96/1395.48 c 1386s | 18 | 1179335 | 341452 | 35373 21 | 7 | 14 1397.16/1397.68 c 1389s | 18 | 1180651 | 341952 | 35373 21 | 7 | 14 1399.46/1399.93 c 1391s | 18 | 1181817 | 342452 | 35373 21 | 7 | 14 1401.66/1402.17 c 1393s | 18 | 1183194 | 342952 | 35373 21 | 7 | 14 1403.86/1404.38 c 1395s | 18 | 1185192 | 343452 | 35373 21 | 7 | 14 1406.26/1406.79 c 1398s | 18 | 1186507 | 343952 | 35373 21 | 7 | 14 1408.56/1409.00 c 1400s | 18 | 1187317 | 344352 | 35373 21 | 7 | 14 1411.26/1411.71 c 1403s | 18 | 1188585 | 344752 | 35373 21 | 7 | 14 1413.46/1413.96 c 1405s | 18 | 1190789 | 345152 | 35373 21 | 7 | 14 1415.66/1416.15 c 1407s | 18 | 1192173 | 345552 | 35373 21 | 7 | 14 1418.06/1418.53 c 1410s | 18 | 1193971 | 346052 | 35373 21 | 7 | 14 1420.16/1420.67 c 1412s | 18 | 1196258 | 346552 | 35373 21 | 7 | 14 1422.36/1422.88 c 1414s | 18 | 1197984 | 347052 | 35373 21 | 7 | 14 1424.56/1425.05 c 1416s | 18 | 1199951 | 347552 | 35373 21 | 7 | 14 1426.86/1427.30 c 1418s | 18 | 1201310 | 348052 | 35373 21 | 7 | 14 1428.96/1429.44 c 1420s | 18 | 1202848 | 348552 | 35373 21 | 7 | 14 1431.06/1431.54 c 1423s | 18 | 1204000 | 348952 | 35373 22 | 7 | 14 1433.16/1433.65 c 1425s | 18 | 1205084 | 349352 | 35373 22 | 7 | 14 1435.46/1435.96 c 1427s | 18 | 1206717 | 349852 | 35373 22 | 7 | 14 1437.86/1438.39 c 1429s | 18 | 1208299 | 350352 | 35373 22 | 7 | 14 1440.16/1440.63 c 1432s | 18 | 1209541 | 350752 | 35373 22 | 7 | 14 1442.45/1442.97 c 1434s | 18 | 1211367 | 351252 | 35373 22 | 7 | 14 1444.55/1445.00 c 1436s | 18 | 1213360 | 351852 | 35373 22 | 7 | 14 1446.55/1447.08 c 1438s | 18 | 1215099 | 352552 | 35373 22 | 7 | 14 1448.65/1449.17 c 1440s | 18 | 1216541 | 353152 | 35373 22 | 7 | 14 1450.85/1451.34 c 1442s | 18 | 1218211 | 353652 | 35373 22 | 7 | 14 1453.15/1453.63 c 1445s | 18 | 1219723 | 354252 | 35373 22 | 7 | 14 1455.45/1455.91 c 1447s | 18 | 1221069 | 354852 | 35373 22 | 7 | 14 1457.75/1458.22 c 1449s | 18 | 1222521 | 355452 | 35373 22 | 7 | 14 1459.85/1460.37 c 1451s | 18 | 1223529 | 355952 | 35373 22 | 7 | 14 1462.05/1462.52 c 1454s | 18 | 1224787 | 356452 | 35373 22 | 7 | 14 1464.35/1464.81 c 1456s | 18 | 1226477 | 356952 | 35373 22 | 7 | 14 1466.35/1466.82 c 1458s | 18 | 1227563 | 357452 | 35373 22 | 7 | 14 1468.55/1469.07 c 1460s | 18 | 1228635 | 357952 | 35373 22 | 7 | 14 1470.85/1471.37 c 1462s | 18 | 1230300 | 358452 | 35373 22 | 7 | 14 1473.15/1473.66 c 1465s | 18 | 1231635 | 358852 | 35373 22 | 7 | 14 1475.75/1476.21 c 1467s | 18 | 1233040 | 359252 | 35373 22 | 7 | 14 1477.95/1478.41 c 1469s | 18 | 1234961 | 359752 | 35373 22 | 7 | 14 1480.25/1480.75 c 1472s | 18 | 1237003 | 360252 | 35373 22 | 7 | 14 1482.65/1483.16 c 1474s | 18 | 1238153 | 360752 | 35373 22 | 7 | 14 1485.05/1485.60 c 1477s | 18 | 1239571 | 361252 | 35373 22 | 7 | 14 1487.15/1487.62 c 1479s | 18 | 1240758 | 361652 | 35373 22 | 7 | 14 1489.35/1489.84 c 1481s | 18 | 1242317 | 362052 | 35373 22 | 7 | 14 1491.85/1492.39 c 1483s | 18 | 1243890 | 362552 | 35373 22 | 7 | 14 1494.04/1494.54 c 1486s | 18 | 1245155 | 362952 | 35373 22 | 7 | 14 1496.44/1496.95 c 1488s | 18 | 1246814 | 363452 | 35373 22 | 7 | 14 1498.44/1498.98 c 1490s | 18 | 1248640 | 363852 | 35373 22 | 7 | 14 1500.64/1501.15 c 1492s | 18 | 1250197 | 364252 | 35373 22 | 7 | 14 1502.94/1503.44 c 1494s | 18 | 1251435 | 364652 | 35373 22 | 7 | 14 1505.14/1505.69 c 1497s | 18 | 1252530 | 365152 | 35373 22 | 7 | 14 1507.54/1508.09 c 1499s | 18 | 1253904 | 365652 | 35373 22 | 7 | 14 1510.04/1510.57 c 1502s | 18 | 1255806 | 366152 | 35373 22 | 7 | 14 1512.54/1513.03 c 1504s | 18 | 1257078 | 366652 | 35373 22 | 7 | 14 1514.84/1515.32 c 1506s | 18 | 1258636 | 367052 | 35373 23 | 7 | 14 1517.14/1517.61 c 1509s | 18 | 1259996 | 367552 | 35373 23 | 7 | 14 1519.24/1519.71 c 1511s | 18 | 1261446 | 368052 | 35373 23 | 7 | 14 1521.54/1522.04 c 1513s | 18 | 1262970 | 368652 | 35373 23 | 7 | 14 1524.04/1524.51 c 1515s | 18 | 1264663 | 369152 | 35373 23 | 7 | 14 1526.04/1526.51 c 1517s | 18 | 1265745 | 369552 | 35373 23 | 7 | 14 1528.24/1528.76 c 1520s | 18 | 1267197 | 369952 | 35373 23 | 7 | 14 1530.54/1531.01 c 1522s | 18 | 1269719 | 370452 | 35373 23 | 7 | 14 1532.84/1533.37 c 1524s | 18 | 1271451 | 370952 | 35373 23 | 7 | 14 1535.14/1535.63 c 1527s | 18 | 1273030 | 371452 | 35373 23 | 7 | 14 1537.34/1537.84 c 1529s | 18 | 1274283 | 371952 | 35373 23 | 7 | 14 1539.74/1540.23 c 1531s | 18 | 1275812 | 372452 | 35373 23 | 7 | 14 1542.04/1542.51 c 1533s | 18 | 1277896 | 372852 | 35373 23 | 7 | 14 1544.54/1545.01 c 1536s | 18 | 1280265 | 373352 | 35373 23 | 7 | 14 1546.53/1547.08 c 1538s | 18 | 1281850 | 373752 | 35373 23 | 7 | 14 1548.63/1549.12 c 1540s | 18 | 1283240 | 374152 | 35373 23 | 7 | 14 1550.64/1551.18 c 1542s | 18 | 1284659 | 374552 | 35373 23 | 7 | 14 1552.74/1553.20 c 1544s | 18 | 1286501 | 374952 | 35373 23 | 7 | 14 1555.23/1555.77 c 1547s | 18 | 1287886 | 375452 | 35373 23 | 7 | 14 1557.63/1558.17 c 1549s | 18 | 1289749 | 375952 | 35373 23 | 7 | 14 1560.03/1560.55 c 1552s | 18 | 1292093 | 376452 | 35373 23 | 7 | 14 1562.23/1562.75 c 1554s | 18 | 1294061 | 376952 | 35373 23 | 7 | 14 1564.43/1564.94 c 1556s | 18 | 1295631 | 377452 | 35373 23 | 7 | 14 1566.53/1567.02 c 1558s | 18 | 1296852 | 377852 | 35373 23 | 7 | 14 1568.93/1569.48 c 1560s | 18 | 1298216 | 378352 | 35373 23 | 7 | 14 1571.44/1571.93 c 1563s | 18 | 1299221 | 378752 | 35373 23 | 7 | 14 1573.93/1574.44 c 1565s | 18 | 1300349 | 379152 | 35373 23 | 7 | 14 1576.13/1576.66 c 1568s | 18 | 1302014 | 379552 | 35373 23 | 7 | 14 1578.33/1578.89 c 1570s | 18 | 1303662 | 380052 | 35373 23 | 7 | 14 1580.73/1581.27 c 1572s | 18 | 1305059 | 380652 | 35373 23 | 7 | 14 1583.03/1583.54 c 1575s | 18 | 1306383 | 381152 | 35373 23 | 7 | 14 1585.34/1585.89 c 1577s | 18 | 1307698 | 381652 | 35373 23 | 7 | 14 1587.74/1588.29 c 1579s | 18 | 1308883 | 382152 | 35373 23 | 7 | 14 1590.04/1590.60 c 1582s | 18 | 1309699 | 382552 | 35373 23 | 7 | 14 1592.14/1592.61 c 1584s | 18 | 1310612 | 382952 | 35373 23 | 7 | 14 1594.44/1594.94 c 1586s | 18 | 1311829 | 383352 | 35373 23 | 7 | 14 1596.74/1597.27 c 1588s | 18 | 1313311 | 383752 | 35373 23 | 7 | 14 1598.94/1599.44 c 1590s | 18 | 1314632 | 384152 | 35373 23 | 7 | 14 1601.33/1601.81 c 1593s | 18 | 1315654 | 384552 | 35373 23 | 7 | 14 1603.73/1604.21 c 1595s | 18 | 1317231 | 385052 | 35373 23 | 7 | 14 1605.73/1606.29 c 1597s | 18 | 1318580 | 385452 | 35373 24 | 7 | 14 1608.23/1608.75 c 1600s | 18 | 1320102 | 385952 | 35373 24 | 7 | 14 1610.33/1610.80 c 1602s | 18 | 1322044 | 386352 | 35373 24 | 7 | 14 1612.63/1613.16 c 1604s | 18 | 1324359 | 386852 | 35373 24 | 7 | 14 1614.63/1615.19 c 1606s | 18 | 1326405 | 387252 | 35373 24 | 7 | 14 1617.13/1617.68 c 1609s | 18 | 1328427 | 387752 | 35373 24 | 7 | 14 1619.33/1619.82 c 1611s | 18 | 1329848 | 388152 | 35373 24 | 7 | 14 1621.63/1622.13 c 1613s | 18 | 1332155 | 388652 | 35373 24 | 7 | 14 1624.03/1624.51 c 1615s | 18 | 1334142 | 389152 | 35373 24 | 7 | 14 1626.33/1626.89 c 1618s | 18 | 1335918 | 389652 | 35373 24 | 7 | 14 1628.53/1629.00 c 1620s | 18 | 1337172 | 390052 | 35373 24 | 7 | 14 1630.84/1631.39 c 1622s | 18 | 1338857 | 390552 | 35373 24 | 7 | 14 1632.93/1633.47 c 1624s | 18 | 1340090 | 390952 | 35373 24 | 7 | 14 1635.43/1635.95 c 1627s | 18 | 1341829 | 391452 | 35373 24 | 7 | 14 1637.73/1638.26 c 1629s | 18 | 1343151 | 391952 | 35373 24 | 7 | 14 1640.33/1640.83 c 1632s | 18 | 1344930 | 392452 | 35373 24 | 7 | 14 1642.43/1642.92 c 1634s | 18 | 1346603 | 392852 | 35373 24 | 7 | 14 1644.63/1645.19 c 1636s | 18 | 1348523 | 393352 | 35373 24 | 7 | 14 1646.93/1647.45 c 1638s | 18 | 1350016 | 393852 | 35373 24 | 7 | 14 1649.23/1649.77 c 1641s | 18 | 1351535 | 394352 | 35373 24 | 7 | 14 1651.63/1652.14 c 1643s | 18 | 1353113 | 394852 | 35373 24 | 7 | 14 1653.83/1654.30 c 1645s | 18 | 1354687 | 395252 | 35373 24 | 7 | 14 1655.93/1656.44 c 1647s | 18 | 1356553 | 395652 | 35373 24 | 7 | 14 1658.22/1658.71 c 1650s | 18 | 1357961 | 396152 | 35373 24 | 7 | 14 1660.22/1660.74 c 1652s | 18 | 1359004 | 396552 | 35373 24 | 7 | 14 1662.32/1662.84 c 1654s | 18 | 1360353 | 396952 | 35373 24 | 7 | 14 1664.72/1665.21 c 1656s | 18 | 1361607 | 397352 | 35373 24 | 7 | 14 1666.92/1667.43 c 1658s | 18 | 1363121 | 397752 | 35373 24 | 7 | 14 1668.92/1669.45 c 1660s | 18 | 1365472 | 398152 | 35373 24 | 7 | 14 1671.02/1671.52 c 1662s | 18 | 1366796 | 398552 | 35373 24 | 7 | 14 1673.52/1674.05 c 1665s | 18 | 1368441 | 399052 | 35373 24 | 7 | 14 1675.72/1676.26 c 1667s | 18 | 1369857 | 399552 | 35373 24 | 7 | 14 1678.02/1678.59 c 1670s | 18 | 1371583 | 400052 | 35373 24 | 7 | 14 1680.52/1681.03 c 1672s | 18 | 1373579 | 400552 | 35373 24 | 7 | 14 1682.82/1683.33 c 1674s | 18 | 1375510 | 401052 | 35373 24 | 7 | 14 1685.02/1685.55 c 1677s | 18 | 1376761 | 401552 | 35373 24 | 7 | 14 1687.32/1687.85 c 1679s | 18 | 1378310 | 402052 | 35373 24 | 7 | 14 1689.32/1689.88 c 1681s | 18 | 1379838 | 402452 | 35373 24 | 7 | 14 1691.62/1692.18 c 1683s | 18 | 1382103 | 402952 | 35373 24 | 7 | 14 1694.02/1694.55 c 1686s | 18 | 1384402 | 403352 | 35373 24 | 7 | 14 1696.32/1696.89 c 1688s | 18 | 1385929 | 403752 | 35373 25 | 7 | 14 1698.72/1699.23 c 1690s | 18 | 1387604 | 404252 | 35373 25 | 7 | 14 1701.12/1701.68 c 1693s | 18 | 1389151 | 404752 | 35373 25 | 7 | 14 1703.22/1703.78 c 1695s | 18 | 1390952 | 405252 | 35373 25 | 7 | 14 1705.22/1705.79 c 1697s | 18 | 1392538 | 405752 | 35373 25 | 7 | 14 1707.62/1708.11 c 1699s | 18 | 1394397 | 406352 | 35373 25 | 7 | 14 1709.72/1710.20 c 1701s | 18 | 1395952 | 406852 | 35373 25 | 7 | 14 1712.12/1712.63 c 1704s | 18 | 1397303 | 407352 | 35373 25 | 7 | 14 1714.42/1714.93 c 1706s | 18 | 1399186 | 407852 | 35373 25 | 7 | 14 1716.72/1717.23 c 1708s | 18 | 1400912 | 408452 | 35373 25 | 7 | 14 1718.92/1719.41 c 1710s | 18 | 1402571 | 409052 | 35373 25 | 7 | 14 1721.21/1721.76 c 1713s | 18 | 1404128 | 409552 | 35373 25 | 7 | 14 1723.71/1724.28 c 1715s | 18 | 1405315 | 410052 | 35373 25 | 7 | 14 1726.01/1726.53 c 1718s | 18 | 1406415 | 410452 | 35373 25 | 7 | 14 1728.31/1728.86 c 1720s | 18 | 1408068 | 410852 | 35373 25 | 7 | 14 1730.51/1731.07 c 1722s | 18 | 1409400 | 411252 | 35373 25 | 7 | 14 1732.71/1733.27 c 1724s | 18 | 1410934 | 411652 | 35373 25 | 7 | 14 1734.81/1735.33 c 1726s | 18 | 1412888 | 412152 | 35373 25 | 7 | 14 1737.11/1737.64 c 1729s | 18 | 1415001 | 412652 | 35373 25 | 7 | 14 1739.41/1739.91 c 1731s | 18 | 1417414 | 413152 | 35373 25 | 7 | 14 1741.71/1742.27 c 1733s | 18 | 1418837 | 413652 | 35373 25 | 7 | 14 1743.81/1744.34 c 1735s | 18 | 1420655 | 414052 | 35373 25 | 7 | 14 1746.11/1746.64 c 1738s | 18 | 1421927 | 414552 | 35373 25 | 7 | 14 1748.31/1748.82 c 1740s | 18 | 1423132 | 414952 | 35373 25 | 7 | 14 1750.51/1751.08 c 1742s | 18 | 1424981 | 415452 | 35373 25 | 7 | 14 1752.51/1753.09 c 1744s | 18 | 1427297 | 415952 | 35373 25 | 7 | 14 1754.91/1755.43 c 1746s | 18 | 1429243 | 416452 | 35373 25 | 7 | 14 1757.31/1757.87 c 1749s | 18 | 1430653 | 416952 | 35373 25 | 7 | 14 1759.61/1760.17 c 1751s | 18 | 1432923 | 417452 | 35373 25 | 7 | 14 1761.71/1762.29 c 1753s | 18 | 1434563 | 417952 | 35373 25 | 7 | 14 1763.91/1764.49 c 1755s | 18 | 1435855 | 418452 | 35373 25 | 7 | 14 1766.00/1766.53 c 1758s | 18 | 1437246 | 418852 | 35373 25 | 7 | 14 1768.10/1768.65 c 1760s | 18 | 1438856 | 419352 | 35373 25 | 7 | 14 1770.61/1771.16 c 1762s | 18 | 1440427 | 419852 | 35373 25 | 7 | 14 1773.00/1773.57 c 1765s | 18 | 1442011 | 420352 | 35373 25 | 7 | 14 1775.20/1775.70 c 1767s | 18 | 1443144 | 420752 | 35373 25 | 7 | 14 1777.30/1777.86 c 1769s | 18 | 1444033 | 421152 | 35373 25 | 7 | 14 1779.80/1780.32 c 1771s | 18 | 1445553 | 421552 | 35373 25 | 7 | 14 1782.30/1782.85 c 1774s | 18 | 1446961 | 421952 | 35373 25 | 7 | 14 1784.50/1785.00 c 1776s | 18 | 1448786 | 422452 | 35373 25 | 7 | 14 1786.80/1787.37 c 1778s | 18 | 1450292 | 422952 | 35373 26 | 7 | 14 1788.90/1789.49 c 1780s | 18 | 1453458 | 423452 | 35373 26 | 7 | 14 1791.10/1791.69 c 1783s | 18 | 1455145 | 423952 | 35373 26 | 7 | 14 1793.50/1794.02 c 1785s | 18 | 1457288 | 424552 | 35373 26 | 7 | 14 1795.70/1796.30 c 1787s | 18 | 1459648 | 425152 | 35373 26 | 7 | 14 1798.00/1798.53 c 1790s | 18 | 1461945 | 425852 | 35373 26 | 7 | 14
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-4080133-1465256812/watcher-4080133-1465256812 -o /tmp/evaluation-result-4080133-1465256812/solver-4080133-1465256812 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080133-1465256812.opb pid=13882 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: 2.21 2.22 2.09 3/179 13885 /proc/meminfo: memFree=29287604/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=731580 CPUtime=0 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 2729 0 0 0 0 0 0 0 20 0 4 0 107613147 749137920 3090 33554432000 4194304 16246674 140735784300624 140735784300048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 183407 3100 441 2943 0 180301 0 [pid=13885/tid=13886] ppid=13882 vsize=748988 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 766963712 3161 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=753084 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 771158016 3176 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=758204 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107613147 776400896 3193 33554432000 4194304 16246674 140735784300624 140302046186672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100164 s] /proc/loadavg: 2.21 2.22 2.09 3/179 13885 /proc/meminfo: memFree=29287604/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1223236 CPUtime=0.09 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 22688 0 0 0 6 3 0 0 20 0 4 0 107613147 1252593664 22995 33554432000 4194304 16246674 140735784300624 140735784299936 5589723 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 305809 22995 834 2943 0 302703 0 [pid=13885/tid=13886] ppid=13882 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1252593664 22995 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1252593664 22995 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1252593664 22995 33554432000 4194304 16246674 140735784300624 140302046186672 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) 1223236 [startup+0.20056 s] /proc/loadavg: 2.21 2.22 2.09 3/179 13885 /proc/meminfo: memFree=29287604/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1223236 CPUtime=0.19 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 36895 0 0 0 15 4 0 0 20 0 4 0 107613147 1252593664 37202 33554432000 4194304 16246674 140735784300624 140735784299936 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 305809 37209 893 2943 0 302703 0 [pid=13885/tid=13886] ppid=13882 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1252593664 37214 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1252593664 37219 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1252593664 37223 33554432000 4194304 16246674 140735784300624 140302046186672 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) 1223236 [startup+0.300446 s] /proc/loadavg: 2.21 2.22 2.09 3/179 13885 /proc/meminfo: memFree=29287604/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1296964 CPUtime=0.29 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 53295 0 0 0 23 6 0 0 20 0 4 0 107613147 1328091136 53602 33554432000 4194304 16246674 140735784300624 140735784283624 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 324241 53617 907 2943 0 321135 0 [pid=13885/tid=13886] ppid=13882 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1328091136 53626 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1328091136 53630 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1328091136 53635 33554432000 4194304 16246674 140735784300624 140302046186672 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) 1296964 [startup+0.70043 s] /proc/loadavg: 2.21 2.22 2.09 3/179 13885 /proc/meminfo: memFree=29287604/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1296964 CPUtime=0.69 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 118682 0 0 0 55 14 0 0 20 0 4 0 107613147 1328091136 118989 33554432000 4194304 16246674 140735784300624 140735784283624 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 324241 118993 907 2943 0 321135 0 [pid=13885/tid=13886] ppid=13882 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1328091136 118996 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1328091136 118998 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1328091136 119002 33554432000 4194304 16246674 140735784300624 140302046186672 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) 1296964 [startup+1.50043 s] /proc/loadavg: 2.21 2.22 2.09 3/183 13889 /proc/meminfo: memFree=28555652/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1307204 CPUtime=1.49 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 182984 0 0 0 128 21 0 0 20 0 4 0 107613147 1338576896 183291 33554432000 4194304 16246674 140735784300624 140735784282496 6012051 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 326801 183291 913 2943 0 323695 0 [pid=13885/tid=13886] ppid=13882 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1338576896 183291 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1338576896 183291 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1338576896 183291 33554432000 4194304 16246674 140735784300624 140302046186672 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.10044 s] /proc/loadavg: 2.21 2.22 2.09 3/183 13889 /proc/meminfo: memFree=28555272/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 182985 0 0 0 288 21 0 0 20 0 4 0 107613147 1338576896 183292 33554432000 4194304 16246674 140735784300624 140735784299800 5823891 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 326801 183292 914 2943 0 323695 0 [pid=13885/tid=13886] ppid=13882 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1338576896 183292 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1338576896 183292 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1338576896 183292 33554432000 4194304 16246674 140735784300624 140302046186672 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.30043 s] /proc/loadavg: 2.19 2.21 2.09 3/183 13889 /proc/meminfo: memFree=28555404/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 182985 0 0 0 608 21 0 0 20 0 4 0 107613147 1338576896 183292 33554432000 4194304 16246674 140735784300624 140735784299800 5823520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 326801 183292 914 2943 0 323695 0 [pid=13885/tid=13886] ppid=13882 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1338576896 183292 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1338576896 183292 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1338576896 183292 33554432000 4194304 16246674 140735784300624 140302046186672 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: 2.25 2.23 2.10 4/183 13889 /proc/meminfo: memFree=28213436/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1310276 CPUtime=12.69 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 268566 0 0 0 1236 33 0 0 20 0 4 0 107613147 1341722624 268873 33554432000 4194304 16246674 140735784300624 140735784282496 5675212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 327569 268873 915 2943 0 324463 0 [pid=13885/tid=13886] ppid=13882 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1341722624 268873 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1341722624 268873 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1341722624 268873 33554432000 4194304 16246674 140735784300624 140302046186672 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) 1310276 [startup+25.5005 s] /proc/loadavg: 2.27 2.23 2.10 3/183 13889 /proc/meminfo: memFree=28214360/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1310276 CPUtime=25.49 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 268766 0 0 0 2516 33 0 0 20 0 4 0 107613147 1341722624 269073 33554432000 4194304 16246674 140735784300624 140735784282496 5661940 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 327569 269073 915 2943 0 324463 0 [pid=13885/tid=13886] ppid=13882 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1341722624 269073 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1341722624 269073 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1341722624 269073 33554432000 4194304 16246674 140735784300624 140302046186672 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) 1310276 [startup+51.1005 s] /proc/loadavg: 2.25 2.23 2.10 3/183 13889 /proc/meminfo: memFree=28213588/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1310276 CPUtime=51.09 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 268766 0 0 0 5076 33 0 0 20 0 4 0 107613147 1341722624 269073 33554432000 4194304 16246674 140735784300624 140735784282496 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 327569 269073 915 2943 0 324463 0 [pid=13885/tid=13886] ppid=13882 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1341722624 269073 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1341722624 269073 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1341722624 269073 33554432000 4194304 16246674 140735784300624 140302046186672 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) 1310276 [startup+102.3 s] /proc/loadavg: 2.15 2.20 2.10 4/183 13890 /proc/meminfo: memFree=28210840/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1312324 CPUtime=102.28 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 269281 0 0 0 10195 33 0 0 20 0 4 0 107613147 1343819776 269588 33554432000 4194304 16246674 140735784300624 140735784282496 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 328081 269588 918 2943 0 324975 0 [pid=13885/tid=13886] ppid=13882 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1343819776 269588 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1343819776 269588 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1343819776 269588 33554432000 4194304 16246674 140735784300624 140302046186672 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) 1312324 ################ # More data... # ################ /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302046186672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1323588 [startup+1362.3 s] /proc/loadavg: 2.13 2.20 2.18 3/183 13943 /proc/meminfo: memFree=28173272/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1323588 CPUtime=1361.88 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 272423 0 0 0 136147 41 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140735784282496 6836961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 330897 272407 918 2943 0 327791 0 [pid=13885/tid=13886] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302046186672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1323588 [startup+1422.3 s] /proc/loadavg: 2.18 2.20 2.18 3/184 13948 /proc/meminfo: memFree=28174120/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1323588 CPUtime=1421.87 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 272436 0 0 0 142146 41 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140735784282496 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 330897 272407 918 2943 0 327791 0 [pid=13885/tid=13886] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302046186672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1323588 [startup+1482.3 s] /proc/loadavg: 2.12 2.18 2.17 3/183 13949 /proc/meminfo: memFree=28174412/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1323588 CPUtime=1481.85 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 272436 0 0 0 148144 41 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140735784282496 5674851 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 330897 272407 918 2943 0 327791 0 [pid=13885/tid=13886] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302046186672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1323588 [startup+1542.31 s] /proc/loadavg: 2.16 2.17 2.17 3/183 13950 /proc/meminfo: memFree=28174304/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1323588 CPUtime=1541.84 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 272436 0 0 0 154143 41 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140735784282496 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 330897 272407 918 2943 0 327791 0 [pid=13885/tid=13886] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302046186672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1323588 [startup+1602.3 s] /proc/loadavg: 2.35 2.22 2.19 3/183 13951 /proc/meminfo: memFree=28173944/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1323588 CPUtime=1601.83 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 272436 0 0 0 160141 42 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140735784282496 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 330897 272407 918 2943 0 327791 0 [pid=13885/tid=13886] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302046186672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1323588 [startup+1662.3 s] /proc/loadavg: 2.26 2.21 2.18 3/183 13952 /proc/meminfo: memFree=28173956/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1323588 CPUtime=1661.82 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 272436 0 0 0 166140 42 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140735784282496 6022628 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 330897 272407 918 2943 0 327791 0 [pid=13885/tid=13886] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302046186672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1323588 [startup+1722.3 s] /proc/loadavg: 2.27 2.21 2.18 3/183 13953 /proc/meminfo: memFree=28174028/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1323588 CPUtime=1721.81 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 272436 0 0 0 172139 42 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140735784282496 5673567 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 330897 272407 918 2943 0 327791 0 [pid=13885/tid=13886] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302046186672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1323588 [startup+1782.3 s] /proc/loadavg: 2.17 2.19 2.18 3/183 14052 /proc/meminfo: memFree=28196504/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1323588 CPUtime=1781.8 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 272436 0 0 0 178138 42 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140735784282496 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 330897 272407 918 2943 0 327791 0 [pid=13885/tid=13886] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302046186672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1323588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.12 2.17 2.17 3/183 14053 /proc/meminfo: memFree=28196248/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1323588 CPUtime=1800 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 272436 0 0 0 179958 42 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140735784282496 12483632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 330897 272407 918 2943 0 327791 0 [pid=13885/tid=13886] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302046186672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1323588 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 13885 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.12 2.17 2.17 3/183 14053 /proc/meminfo: memFree=28196248/32872528 swapFree=17452/1581112 [pid=13885] ppid=13882 vsize=1323588 CPUtime=1800 cores=1,3,5,7 /proc/13885/stat : 13885 (toysat) R 13882 13885 13546 0 -1 4202496 272436 0 0 0 179958 42 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140735784282496 12483632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13885/statm: 330897 272407 918 2943 0 327791 0 [pid=13885/tid=13886] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13886/stat : 13886 (toysat) S 13882 13885 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302067150064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13885/tid=13887] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13887/stat : 13887 (toysat) S 13882 13885 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302056660208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13885/tid=13888] ppid=13882 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13885/task/13888/stat : 13888 (toysat) S 13882 13885 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107613147 1355354112 272407 33554432000 4194304 16246674 140735784300624 140302046186672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1323588 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.59 CPU system time (s): 0.425935 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 1323588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.425935 maximum resident set size= 1089628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272436 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= 352 involuntary context switches= 1837 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.54931 second user time and 6.98794 second system time The end
Begin job on node139 at 2016-06-07 01:46:52 IDJOB=4080133 IDBENCH=48148 IDSOLVER=2542 FILE ID=node139/4080133-1465256812 RUNJOBID= node139-1465254943-13563 PBS_JOBID= 19843273 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080133-1465256812/watcher-4080133-1465256812 -o /tmp/evaluation-result-4080133-1465256812/solver-4080133-1465256812 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080133-1465256812.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e RANDOM SEED=446434112 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 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: 29287868 kB Buffers: 51440 kB Cached: 161304 kB SwapCached: 1488 kB Active: 1188636 kB Inactive: 107576 kB Active(anon): 1083668 kB Inactive(anon): 2200 kB Active(file): 104968 kB Inactive(file): 105376 kB Unevictable: 1581112 kB Mlocked: 17452 kB SwapTotal: 67108856 kB SwapFree: 67099764 kB Dirty: 16324 kB Writeback: 0 kB AnonPages: 2690560 kB Mapped: 10424 kB Shmem: 0 kB Slab: 569692 kB SReclaimable: 13816 kB SUnreclaim: 555876 kB KernelStack: 1520 kB PageTables: 9268 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2805192 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1597440 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= 71700 MiB End job on node139 at 2016-06-07 02:16:53