| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-opt1217.opb |
| MD5SUM | 0d06ca66c5954e6533e2fcc6f3f13fb8 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -16384 |
| Best CPU time to get the best result obtained on this benchmark | 1800.75 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -16384 |
| Optimality of the best value was proved | NO |
| Number of variables | 787 |
| Total number of constraints | 65 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 48 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 16 |
| Maximum length of a constraint | 67 |
| Number of terms in the objective function | 19 |
| Biggest coefficient in the objective function | 262144 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524287 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 393216 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 917503 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T07:59:27+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-4102033-1466229567.opb"] 0.00/0.01 c use --random-gen="2472904381 890119780 2803893916 53001879 2613228246 52055167 4203684590 2055683175 1796290798 1738921467 3494654148 420992263 2945359616 254987931 1242474284 109353548 3766674989 3764026871 754042983 2224168015 4200384159 1889139638 3661801218 3850253625 1654806206 1787600564 1152897298 1109993018 2377297884 3474255168 2944793055 438787933 1493401905 4280901459 4092033905 3610118511 3253190780 3103174430 3064744054 3116896982 2196988258 1804848274 4189288285 388736443 3984727290 2710405622 2331712643 3321248892 2596657611 445839214 2322598809 4089294759 1954963111 1642815917 3390131285 3351418639 3733756004 1699704535 4008534192 70681533 3000924190 3031947251 2292373010 92375046 1451358388 1622833482 3445054733 1071743871 401759591 1786629844 2127543322 1491297798 4207559850 440233262 1576063809 3751478541 4037554514 4070258124 412174576 628303032 4257706995 3219884013 2869025165 3436950650 1570354910 1295889409 85264022 17514083 1953969210 805564573 2801102002 4155591886 1584958319 3562012501 3653818517 3227302372 2723027098 45437752 3540020149 427962094 1599080520 1588938985 3644467239 771770045 1981616466 2130663884 1199173602 321592494 929660227 4004963957 1505487138 589357278 2088467035 3692884770 3714462846 2712418834 2434354454 2780759704 1472266583 1549323070 3967012421 1769920128 219797274 4003893531 2188845060 1105453260 1127913451 4220918681 2036973126 1168900730 3848925357 2803792862 2236833022 2951257289 99267484 2614419030 3712214251 298975423 2356045800 1449321436 3358950512 3399072702 2289483494 3261189566 3536003207 2614052096 1808091658 3417274582 2647082071 1059384843 3753884589 2286944952 1571421067 3483188132 3671793287 3882519794 1706917172 3097947118 934281243 1674771618 3697283817 2875087378 3397248576 2982597373 1119129714 2441762963 3778634648 358433734 3899048681 4131395642 1772109430 1389391465 2569651376 3885273100 1678159973 2621556760 546634289 4127616447 1242081883 4046130643 1425843110 2875495563 3425027938 2285003766 2992720625 3855474429 2601790001 2725163386 2037583349 1321899414 2182501856 2920214184 446420200 2039353025 3986129750 192979189 220887734 1014689062 1065086778 95121457 385181502 2581747653 2879832767 1193334572 715700584 2194331809 2752173591 928984443 1844580830 1597051812 2311377667 4081805130 3664468505 616630966 3356270232 3053556080 704628709 4136930732 1729798493 2028722569 2345629641 632624007 2642233172 1572426921 3732182898 1980693525 3560004260 1819105630 1271243037 4150937041 4045259908 1497477099 1235695147 932707127 4106045996 3807959768 3022451865 3607563255 556479881 3336690339 2658479704 1215909009 2021722463 2153426679 2925555584 3614797761 1853108939 3101303419 1463958977 1228654416 898431980 379357082 1705886817 4242874434 1197507384 2795559382 255 362436" option to reproduce the execution 0.00/0.01 c #vars 787 0.00/0.01 c #constraints 65 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 300 0 | 2 | 0 0.00/0.06 c 0.0s | 1 | 162 | 100 | 300 0 | 2 | 1 0.00/0.07 c 0.0s | 1 | 671 | 104 | 330 0 | 2 | 1 0.00/0.07 c #cpu_time = 0.048s 0.00/0.07 c #wall_clock_time = 0.048s 0.00/0.07 c #decision = 671 0.00/0.07 c #random_decision = 1 0.00/0.07 c #conflict = 104 0.00/0.07 c #restart = 1 0.00/0.07 o -1023 0.00/0.07 c BCD2: updating upper bound: 524287 -> 523263 0.00/0.07 c BCD2: 0 <= obj <= 523263 0.00/0.07 c BCD2: #cores=0, #unrelaxed=19, #relaxed=0, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 330 0 | 2 | 1 0.00/0.07 c 0.0s | 0 | 16 | 0 | 330 0 | 2 | 1 0.00/0.07 c #cpu_time = 0.002s 0.00/0.07 c #wall_clock_time = 0.002s 0.00/0.07 c #decision = 16 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 5: cost of the new core is >=4096 0.00/0.07 c lower bound updated to -520191 0.00/0.08 c BCD2: 4096 <= obj <= 523263 0.00/0.08 c BCD2: #cores=1, #unrelaxed=14, #relaxed=5, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 330 0 | 2 | 1 0.00/0.08 c 0.0s | 0 | 13 | 0 | 330 0 | 2 | 1 0.00/0.08 c #cpu_time = 0.002s 0.00/0.08 c #wall_clock_time = 0.002s 0.00/0.08 c #decision = 13 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 1: cost of the new core is >=131072 0.00/0.08 c lower bound updated to -389119 0.00/0.08 c BCD2: 135168 <= obj <= 523263 0.00/0.08 c BCD2: #cores=2, #unrelaxed=13, #relaxed=6, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 330 0 | 2 | 1 0.00/0.08 c 0.0s | 0 | 14 | 0 | 330 0 | 2 | 1 0.00/0.08 c #cpu_time = 0.002s 0.00/0.08 c #wall_clock_time = 0.002s 0.00/0.08 c #decision = 14 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 1: cost of the new core is >=262144 0.00/0.08 c lower bound updated to -126975 0.00/0.08 c BCD2: 397312 <= obj <= 523263 0.00/0.08 c BCD2: #cores=3, #unrelaxed=12, #relaxed=7, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 330 0 | 2 | 1 0.19/0.21 c 0.1s | 1 | 261 | 100 | 330 0 | 2 | 1 0.29/0.46 c 0.3s | 2 | 712 | 250 | 364 0 | 2 | 1 0.29/0.50 c 0.4s | 3 | 1135 | 475 | 401 0 | 2 | 1 0.98/1.05 c 1.0s | 4 | 1742 | 813 | 442 1 | 2 | 1 1.20/1.24 c 1.2s | 5 | 2574 | 1320 | 487 3 | 2 | 1 1.79/1.87 c 1.8s | 6 | 3539 | 2081 | 536 4 | 2 | 1 2.99/3.01 c 2.9s | 7 | 5491 | 3223 | 590 6 | 2 | 1 4.49/4.56 c 4.5s | 8 | 7574 | 4936 | 649 9 | 2 | 1 6.58/6.60 c 6.5s | 8 | 10202 | 7036 | 649 13 | 2 | 1 6.98/7.08 c 7.0s | 9 | 10700 | 7506 | 714 13 | 2 | 1 8.28/8.31 c 8.2s | 10 | 15186 | 11361 | 786 22 | 2 | 1 10.38/10.42 c 10.3s | 10 | 17303 | 13161 | 786 25 | 2 | 1 12.48/12.54 c 12.5s | 10 | 18883 | 14661 | 786 27 | 2 | 1 14.58/14.60 c 14.5s | 10 | 20488 | 16161 | 786 29 | 2 | 1 15.78/15.89 c 15.8s | 11 | 21546 | 17144 | 865 30 | 2 | 1 17.88/17.99 c 17.9s | 11 | 24125 | 19044 | 865 33 | 2 | 1 19.99/20.08 c 20.0s | 11 | 26303 | 21044 | 865 36 | 2 | 1 22.09/22.15 c 22.1s | 11 | 28326 | 22744 | 865 38 | 2 | 1 24.08/24.19 c 24.1s | 11 | 30289 | 24344 | 865 40 | 2 | 1 25.78/25.88 c 25.8s | 12 | 31956 | 25819 | 952 42 | 2 | 1 27.88/27.90 c 27.8s | 12 | 34049 | 27619 | 952 45 | 2 | 1 29.89/29.98 c 29.9s | 12 | 35839 | 29219 | 952 47 | 2 | 1 31.88/32.00 c 31.9s | 12 | 37518 | 30719 | 952 49 | 2 | 1 33.98/34.09 c 34.0s | 12 | 39477 | 32519 | 952 51 | 2 | 1 36.08/36.14 c 36.1s | 12 | 41215 | 34019 | 952 53 | 2 | 1 38.18/38.29 c 38.2s | 12 | 43034 | 35619 | 952 55 | 2 | 1 40.28/40.37 c 40.3s | 12 | 44682 | 37119 | 952 57 | 2 | 1 42.28/42.37 c 42.3s | 12 | 46371 | 38619 | 1048 59 | 2 | 1 42.58/42.64 c 42.6s | 13 | 46593 | 38832 | 1048 59 | 2 | 1 44.58/44.67 c 44.6s | 13 | 49893 | 41532 | 1048 63 | 2 | 1 46.68/46.76 c 46.7s | 13 | 52260 | 43632 | 1048 65 | 2 | 1 48.78/48.86 c 48.8s | 13 | 54538 | 45632 | 1048 68 | 2 | 1 50.78/50.89 c 50.8s | 13 | 56649 | 47632 | 1048 70 | 2 | 1 52.88/52.90 c 52.8s | 13 | 59087 | 49832 | 1048 73 | 2 | 1 54.88/54.93 c 54.9s | 13 | 61393 | 51932 | 1048 75 | 2 | 1 56.88/56.99 c 56.9s | 13 | 63737 | 54132 | 1048 78 | 2 | 1 58.98/59.06 c 59.0s | 13 | 65900 | 56132 | 1048 80 | 2 | 1 61.07/61.14 c 61.1s | 13 | 68188 | 58232 | 1153 83 | 2 | 1 61.17/61.27 c 61.2s | 14 | 68311 | 58352 | 1153 83 | 2 | 1 63.28/63.36 c 63.3s | 14 | 70813 | 60352 | 1153 86 | 2 | 1 65.28/65.39 c 65.3s | 14 | 72511 | 61952 | 1153 87 | 2 | 1 67.48/67.50 c 67.4s | 14 | 74435 | 63752 | 1153 90 | 2 | 1 69.49/69.52 c 69.4s | 14 | 76341 | 65552 | 1153 92 | 2 | 1 71.59/71.64 c 71.6s | 14 | 78233 | 67352 | 1153 94 | 2 | 1 73.68/73.78 c 73.7s | 14 | 79949 | 68952 | 1153 96 | 2 | 1 75.68/75.79 c 75.7s | 14 | 81550 | 70452 | 1153 97 | 2 | 1 77.88/77.92 c 77.8s | 14 | 83140 | 71952 | 1153 99 | 2 | 1 79.98/80.02 c 79.9s | 14 | 84638 | 73352 | 1153 101 | 2 | 1 82.08/82.10 c 82.0s | 14 | 86394 | 74952 | 1153 103 | 2 | 1 84.08/84.17 c 84.1s | 14 | 88341 | 76752 | 1153 105 | 2 | 1 86.18/86.25 c 86.2s | 14 | 90267 | 78552 | 1153 107 | 2 | 1 88.28/88.31 c 88.2s | 14 | 92067 | 80252 | 1153 109 | 2 | 1 90.28/90.34 c 90.3s | 14 | 93584 | 81652 | 1153 110 | 2 | 1 92.28/92.37 c 92.3s | 14 | 95187 | 83152 | 1153 112 | 2 | 1 94.28/94.37 c 94.3s | 14 | 96770 | 84652 | 1153 114 | 2 | 1 96.38/96.45 c 96.4s | 14 | 98258 | 86052 | 1153 115 | 2 | 1 98.18/98.22 c 98.1s | 15 | 99967 | 87632 | 1269 117 | 2 | 1 100.18/100.23 c 100s | 15 | 102980 | 90032 | 1269 120 | 2 | 1 102.28/102.34 c 102s | 15 | 105363 | 92232 | 1269 122 | 2 | 1 104.28/104.40 c 104s | 15 | 107153 | 93832 | 1269 124 | 2 | 1 106.37/106.48 c 106s | 15 | 108911 | 95432 | 1269 126 | 2 | 1 108.57/108.61 c 108s | 15 | 110626 | 97032 | 1269 127 | 2 | 1 110.67/110.73 c 110s | 15 | 112363 | 98632 | 1269 129 | 2 | 1 112.77/112.83 c 112s | 15 | 113975 | 100132 | 1269 131 | 2 | 1 114.77/114.88 c 114s | 15 | 115688 | 101632 | 1269 132 | 2 | 1 116.87/116.96 c 116s | 15 | 117287 | 103132 | 1269 134 | 2 | 1 118.98/119.02 c 118s | 15 | 118820 | 104532 | 1269 135 | 2 | 1 121.08/121.14 c 121s | 15 | 120528 | 106032 | 1269 137 | 2 | 1 123.07/123.18 c 123s | 15 | 122076 | 107432 | 1269 139 | 2 | 1 125.27/125.32 c 125s | 15 | 123636 | 108832 | 1269 140 | 2 | 1 127.27/127.37 c 127s | 15 | 124950 | 110032 | 1269 141 | 2 | 1 129.27/129.39 c 129s | 15 | 126383 | 111332 | 1269 143 | 2 | 1 131.37/131.47 c 131s | 15 | 127821 | 112632 | 1269 144 | 2 | 1 133.47/133.57 c 133s | 15 | 129367 | 114032 | 1269 146 | 2 | 1 135.67/135.71 c 135s | 15 | 131054 | 115532 | 1269 147 | 2 | 1 137.67/137.78 c 137s | 15 | 132657 | 116932 | 1269 149 | 2 | 1 139.77/139.83 c 139s | 15 | 134093 | 118232 | 1269 150 | 2 | 1 141.77/141.83 c 141s | 15 | 135403 | 119432 | 1269 151 | 2 | 1 143.87/143.91 c 143s | 15 | 136863 | 120732 | 1269 153 | 2 | 1 145.87/145.93 c 145s | 15 | 138101 | 121832 | 1269 154 | 2 | 1 147.97/148.01 c 147s | 15 | 139449 | 123032 | 1269 155 | 2 | 1 149.97/150.03 c 149s | 15 | 141020 | 124432 | 1269 157 | 2 | 1 151.97/152.04 c 151s | 15 | 142535 | 125832 | 1269 158 | 2 | 1 154.07/154.12 c 154s | 15 | 144079 | 127232 | 1269 160 | 2 | 1 156.06/156.18 c 156s | 15 | 145521 | 128532 | 1269 161 | 2 | 1 158.16/158.27 c 158s | 15 | 146801 | 129732 | 1269 163 | 2 | 1 160.26/160.36 c 160s | 15 | 148454 | 131232 | 1396 164 | 2 | 1 160.67/160.78 c 160s | 16 | 148804 | 131552 | 1396 164 | 2 | 1 162.76/162.87 c 162s | 16 | 152047 | 134352 | 1396 168 | 2 | 1 164.86/164.93 c 164s | 16 | 153643 | 135852 | 1396 169 | 2 | 1 166.86/166.99 c 166s | 16 | 155425 | 137552 | 1396 171 | 2 | 1 168.96/169.05 c 168s | 16 | 156996 | 139052 | 1396 172 | 2 | 1 171.06/171.16 c 171s | 16 | 158469 | 140452 | 1396 174 | 2 | 1 173.16/173.26 c 173s | 16 | 159739 | 141652 | 1396 175 | 2 | 1 175.16/175.27 c 175s | 16 | 161116 | 142952 | 1396 176 | 2 | 1 177.17/177.30 c 177s | 16 | 162486 | 144252 | 1396 178 | 2 | 1 179.26/179.33 c 179s | 16 | 163657 | 145352 | 1396 179 | 2 | 1 181.26/181.37 c 181s | 16 | 164924 | 146552 | 1396 180 | 2 | 1 183.36/183.46 c 183s | 16 | 166102 | 147652 | 1396 181 | 2 | 1 185.36/185.47 c 185s | 16 | 167596 | 149052 | 1396 183 | 2 | 1 187.46/187.54 c 187s | 16 | 169140 | 150452 | 1396 184 | 2 | 1 189.56/189.66 c 189s | 16 | 170657 | 151852 | 1396 185 | 2 | 1 191.76/191.83 c 191s | 16 | 172127 | 153252 | 1396 187 | 2 | 1 193.77/193.89 c 193s | 16 | 173511 | 154552 | 1396 188 | 2 | 1 196.06/196.10 c 196s | 16 | 174924 | 155852 | 1396 190 | 2 | 1 198.06/198.19 c 198s | 16 | 176273 | 157152 | 1396 191 | 2 | 1 200.26/200.34 c 200s | 16 | 177663 | 158452 | 1396 192 | 2 | 1 202.26/202.35 c 202s | 16 | 178830 | 159552 | 1396 193 | 2 | 1 204.36/204.48 c 204s | 16 | 180000 | 160652 | 1396 194 | 2 | 1 206.46/206.52 c 206s | 16 | 181269 | 161852 | 1396 196 | 2 | 1 208.46/208.56 c 208s | 16 | 182425 | 162952 | 1396 197 | 2 | 1 210.46/210.57 c 210s | 16 | 183699 | 164152 | 1396 198 | 2 | 1 212.56/212.67 c 212s | 16 | 185509 | 165852 | 1396 200 | 2 | 1 214.66/214.79 c 214s | 16 | 187177 | 167452 | 1396 201 | 2 | 1 216.76/216.84 c 216s | 16 | 188748 | 168952 | 1396 203 | 2 | 1 218.85/218.94 c 218s | 16 | 190110 | 170252 | 1396 204 | 2 | 1 220.95/221.01 c 220s | 16 | 191487 | 171552 | 1396 206 | 2 | 1 222.95/223.07 c 222s | 16 | 192759 | 172752 | 1396 207 | 2 | 1 225.15/225.23 c 225s | 16 | 194018 | 173952 | 1396 208 | 2 | 1 227.25/227.31 c 227s | 16 | 195161 | 175052 | 1396 209 | 2 | 1 229.25/229.33 c 229s | 16 | 196420 | 176252 | 1396 210 | 2 | 1 231.35/231.43 c 231s | 16 | 197689 | 177452 | 1396 211 | 2 | 1 233.36/233.45 c 233s | 16 | 198765 | 178452 | 1396 213 | 2 | 1 235.46/235.53 c 235s | 16 | 199948 | 179552 | 1396 214 | 2 | 1 237.55/237.67 c 237s | 16 | 200999 | 180552 | 1396 215 | 2 | 1 239.55/239.68 c 239s | 16 | 202180 | 181652 | 1396 216 | 2 | 1 241.75/241.83 c 241s | 16 | 203456 | 182852 | 1396 217 | 2 | 1 243.75/243.85 c 243s | 16 | 204524 | 183852 | 1396 218 | 2 | 1 245.85/245.93 c 245s | 16 | 205490 | 184752 | 1396 219 | 2 | 1 247.85/247.96 c 247s | 16 | 206552 | 185752 | 1396 220 | 2 | 1 250.05/250.10 c 250s | 16 | 207800 | 186952 | 1396 221 | 2 | 1 252.15/252.21 c 252s | 16 | 208950 | 188052 | 1396 222 | 2 | 1 254.35/254.46 c 254s | 16 | 210016 | 189052 | 1396 223 | 2 | 1 256.35/256.46 c 256s | 16 | 210954 | 189952 | 1396 224 | 2 | 1 258.55/258.66 c 258s | 16 | 211886 | 190852 | 1396 225 | 2 | 1 260.54/260.69 c 260s | 16 | 212835 | 191752 | 1396 226 | 2 | 1 262.64/262.76 c 262s | 16 | 213902 | 192752 | 1396 227 | 2 | 1 264.74/264.88 c 264s | 16 | 215255 | 194052 | 1396 228 | 2 | 1 266.94/267.02 c 266s | 16 | 216546 | 195252 | 1396 230 | 2 | 1 269.04/269.19 c 269s | 16 | 217813 | 196452 | 1536 231 | 2 | 1 271.04/271.13 c 271s | 17 | 218858 | 197432 | 1536 232 | 2 | 1 273.15/273.21 c 273s | 17 | 221216 | 199532 | 1536 234 | 2 | 1 275.16/275.26 c 275s | 17 | 223042 | 201232 | 1536 235 | 2 | 1 277.26/277.32 c 277s | 17 | 224884 | 202932 | 1536 237 | 2 | 1 279.35/279.41 c 279s | 17 | 226379 | 204332 | 1536 238 | 2 | 1 281.35/281.44 c 281s | 17 | 228274 | 206032 | 1536 240 | 2 | 1 283.45/283.58 c 283s | 17 | 230007 | 207532 | 1536 241 | 2 | 1 285.55/285.67 c 285s | 17 | 231620 | 208932 | 1536 242 | 2 | 1 287.65/287.76 c 287s | 17 | 233605 | 210732 | 1536 244 | 2 | 1 289.75/289.86 c 289s | 17 | 235784 | 212732 | 1536 246 | 2 | 1 291.85/291.93 c 291s | 17 | 238183 | 214932 | 1536 248 | 2 | 1 293.85/293.98 c 293s | 17 | 239990 | 216632 | 1536 249 | 2 | 1 295.95/296.06 c 295s | 17 | 241718 | 218232 | 1536 251 | 2 | 1 298.05/298.10 c 298s | 17 | 243764 | 220032 | 1536 253 | 2 | 1 300.05/300.12 c 300s | 17 | 245683 | 221732 | 1536 254 | 2 | 1 302.15/302.27 c 302s | 17 | 247557 | 223332 | 1536 256 | 2 | 1 304.24/304.35 c 304s | 17 | 249152 | 224732 | 1536 257 | 2 | 1 306.34/306.45 c 306s | 17 | 251284 | 226632 | 1536 259 | 2 | 1 308.34/308.48 c 308s | 17 | 253126 | 228332 | 1536 260 | 2 | 1 310.54/310.61 c 310s | 17 | 254891 | 229932 | 1536 262 | 2 | 1 312.55/312.69 c 312s | 17 | 256536 | 231432 | 1536 263 | 2 | 1 314.75/314.82 c 314s | 17 | 258105 | 232832 | 1536 265 | 2 | 1 316.74/316.84 c 316s | 17 | 259642 | 234232 | 1536 266 | 2 | 1 318.84/318.98 c 318s | 17 | 261479 | 235832 | 1536 267 | 2 | 1 321.04/321.10 c 321s | 17 | 263070 | 237232 | 1536 269 | 2 | 1 323.04/323.12 c 323s | 17 | 264557 | 238532 | 1536 270 | 2 | 1 325.04/325.19 c 325s | 17 | 266392 | 240132 | 1536 271 | 2 | 1 327.24/327.33 c 327s | 17 | 268006 | 241632 | 1536 273 | 2 | 1 329.34/329.46 c 329s | 17 | 269558 | 243032 | 1536 274 | 2 | 1 331.43/331.50 c 331s | 17 | 271015 | 244332 | 1536 275 | 2 | 1 333.44/333.51 c 333s | 17 | 272696 | 245832 | 1536 277 | 2 | 1 335.43/335.54 c 335s | 17 | 274285 | 247232 | 1536 278 | 2 | 1 337.53/337.67 c 337s | 17 | 276079 | 248832 | 1536 280 | 2 | 1 339.63/339.74 c 339s | 17 | 277603 | 250232 | 1536 281 | 2 | 1 341.63/341.76 c 341s | 17 | 279192 | 251632 | 1536 282 | 2 | 1 343.73/343.87 c 343s | 17 | 281029 | 253332 | 1536 284 | 2 | 1 345.83/345.97 c 345s | 17 | 282777 | 254932 | 1536 285 | 2 | 1 347.93/348.05 c 347s | 17 | 284290 | 256332 | 1536 286 | 2 | 1 349.94/350.08 c 350s | 17 | 285724 | 257632 | 1536 288 | 2 | 1 352.03/352.12 c 352s | 17 | 287339 | 259132 | 1536 289 | 2 | 1 354.03/354.14 c 354s | 17 | 289018 | 260532 | 1536 290 | 2 | 1 356.02/356.16 c 356s | 17 | 291109 | 262332 | 1536 292 | 2 | 1 358.12/358.21 c 358s | 17 | 292767 | 263732 | 1536 293 | 2 | 1 360.12/360.22 c 360s | 17 | 294059 | 264832 | 1536 294 | 2 | 1 362.12/362.23 c 362s | 17 | 295328 | 265932 | 1536 296 | 2 | 1 364.32/364.41 c 364s | 17 | 296856 | 267232 | 1536 297 | 2 | 1 366.33/366.47 c 366s | 17 | 298488 | 268532 | 1536 298 | 2 | 1 368.42/368.60 c 368s | 17 | 299826 | 269732 | 1536 299 | 2 | 1 370.62/370.77 c 370s | 17 | 301119 | 270932 | 1536 300 | 2 | 1 372.72/372.82 c 372s | 17 | 303302 | 272832 | 1536 302 | 2 | 1 374.82/374.92 c 374s | 17 | 305087 | 274532 | 1536 304 | 2 | 1 376.91/377.01 c 376s | 17 | 306654 | 276032 | 1536 305 | 2 | 1 378.91/379.02 c 378s | 17 | 308243 | 277532 | 1536 306 | 2 | 1 380.91/381.04 c 380s | 17 | 309690 | 278932 | 1536 308 | 2 | 1 383.01/383.16 c 383s | 17 | 311127 | 280332 | 1536 309 | 2 | 1 385.12/385.28 c 385s | 17 | 312845 | 281932 | 1536 311 | 2 | 1 387.22/387.38 c 387s | 17 | 314687 | 283632 | 1536 312 | 2 | 1 389.31/389.50 c 389s | 17 | 316383 | 285232 | 1536 314 | 2 | 1 391.41/391.54 c 391s | 17 | 318369 | 287132 | 1536 315 | 2 | 1 393.51/393.64 c 393s | 17 | 320288 | 288932 | 1536 317 | 2 | 1 395.51/395.67 c 395s | 17 | 321986 | 290532 | 1536 319 | 2 | 1 397.51/397.69 c 397s | 17 | 323685 | 292132 | 1536 320 | 2 | 1 399.61/399.72 c 399s | 17 | 325369 | 293732 | 1536 322 | 2 | 1 401.61/401.76 c 401s | 17 | 327101 | 295332 | 1690 323 | 2 | 1 402.91/403.01 c 402s | 18 | 328067 | 296252 | 1690 324 | 2 | 1 404.91/405.04 c 404s | 18 | 331748 | 299452 | 1690 327 | 2 | 1 407.01/407.11 c 407s | 18 | 334378 | 301852 | 1690 329 | 2 | 1 409.01/409.13 c 409s | 18 | 336579 | 303852 | 1690 331 | 2 | 1 411.01/411.17 c 411s | 18 | 338810 | 305852 | 1690 333 | 2 | 1 413.10/413.25 c 413s | 18 | 340982 | 307852 | 1690 334 | 2 | 1 415.20/415.31 c 415s | 18 | 343196 | 309852 | 1690 336 | 2 | 1 417.20/417.35 c 417s | 18 | 345745 | 312152 | 1690 338 | 2 | 1 419.30/419.42 c 419s | 18 | 348251 | 314452 | 1690 340 | 2 | 1 421.31/421.45 c 421s | 18 | 350590 | 316552 | 1690 342 | 2 | 1 423.40/423.53 c 423s | 18 | 352946 | 318652 | 1690 344 | 2 | 1 425.50/425.61 c 425s | 18 | 355291 | 320752 | 1690 346 | 2 | 1 427.50/427.64 c 427s | 18 | 357663 | 322852 | 1690 347 | 2 | 1 429.50/429.66 c 429s | 18 | 359943 | 324852 | 1690 349 | 2 | 1 431.49/431.68 c 431s | 18 | 361947 | 326652 | 1690 351 | 2 | 1 433.59/433.72 c 433s | 18 | 364262 | 328652 | 1690 352 | 2 | 1 435.60/435.76 c 435s | 18 | 366519 | 330652 | 1690 354 | 2 | 1 437.59/437.79 c 437s | 18 | 368684 | 332552 | 1690 356 | 2 | 1 439.69/439.80 c 439s | 18 | 370611 | 334252 | 1690 357 | 2 | 1 441.69/441.84 c 441s | 18 | 372568 | 336052 | 1690 359 | 2 | 1 443.79/443.93 c 443s | 18 | 374713 | 337952 | 1690 361 | 2 | 1 445.89/446.03 c 445s | 18 | 376804 | 339852 | 1690 362 | 2 | 1 447.99/448.12 c 448s | 18 | 378764 | 341652 | 1690 364 | 2 | 1 450.09/450.21 c 450s | 18 | 380654 | 343352 | 1690 365 | 2 | 1 452.09/452.23 c 452s | 18 | 382949 | 345452 | 1690 367 | 2 | 1 454.09/454.26 c 454s | 18 | 385176 | 347352 | 1690 369 | 2 | 1 456.08/456.28 c 456s | 18 | 387339 | 349252 | 1690 370 | 2 | 1 458.18/458.37 c 458s | 18 | 389315 | 351052 | 1690 372 | 2 | 1 460.28/460.45 c 460s | 18 | 391576 | 353052 | 1690 374 | 2 | 1 462.28/462.49 c 462s | 18 | 393678 | 354952 | 1690 375 | 2 | 1 464.38/464.55 c 464s | 18 | 395895 | 356952 | 1690 377 | 2 | 1 466.39/466.57 c 466s | 18 | 397865 | 358752 | 1690 379 | 2 | 1 468.49/468.64 c 468s | 18 | 399787 | 360552 | 1690 380 | 2 | 1 470.49/470.65 c 470s | 18 | 401689 | 362352 | 1690 382 | 2 | 1 472.58/472.73 c 472s | 18 | 403648 | 364152 | 1690 383 | 2 | 1 474.58/474.73 c 474s | 18 | 405394 | 365752 | 1690 385 | 2 | 1 476.68/476.81 c 476s | 18 | 407337 | 367552 | 1690 386 | 2 | 1 478.78/478.91 c 478s | 18 | 409462 | 369552 | 1690 388 | 2 | 1 480.88/481.00 c 480s | 18 | 411480 | 371352 | 1690 390 | 2 | 1 482.89/483.05 c 482s | 18 | 413533 | 373152 | 1690 391 | 2 | 1 484.88/485.09 c 485s | 18 | 415606 | 374952 | 1690 393 | 2 | 1 486.98/487.14 c 487s | 18 | 417590 | 376752 | 1690 394 | 2 | 1 489.08/489.20 c 489s | 18 | 419522 | 378552 | 1690 396 | 2 | 1 491.07/491.25 c 491s | 18 | 421421 | 380352 | 1690 398 | 2 | 1 493.07/493.28 c 493s | 18 | 423467 | 382252 | 1690 399 | 2 | 1 495.17/495.32 c 495s | 18 | 425645 | 384252 | 1690 401 | 2 | 1 497.18/497.39 c 497s | 18 | 427754 | 386152 | 1690 403 | 2 | 1 499.27/499.44 c 499s | 18 | 429745 | 387952 | 1690 404 | 2 | 1 501.37/501.51 c 501s | 18 | 431906 | 389952 | 1690 406 | 2 | 1 503.47/503.60 c 503s | 18 | 433858 | 391752 | 1690 408 | 2 | 1 505.47/505.65 c 505s | 18 | 435827 | 393552 | 1690 409 | 2 | 1 507.56/507.74 c 507s | 18 | 437746 | 395252 | 1690 411 | 2 | 1 509.66/509.88 c 509s | 18 | 439788 | 397152 | 1690 412 | 2 | 1 511.76/511.94 c 511s | 18 | 441650 | 398852 | 1690 414 | 2 | 1 513.77/513.98 c 513s | 18 | 443436 | 400452 | 1690 415 | 2 | 1 515.87/516.10 c 516s | 18 | 445183 | 402052 | 1690 417 | 2 | 1 518.07/518.21 c 518s | 18 | 446912 | 403652 | 1690 418 | 2 | 1 520.16/520.31 c 520s | 18 | 448826 | 405352 | 1690 419 | 2 | 1 522.16/522.35 c 522s | 18 | 450707 | 407052 | 1690 421 | 2 | 1 524.26/524.41 c 524s | 18 | 452465 | 408652 | 1690 422 | 2 | 1 526.26/526.46 c 526s | 18 | 454511 | 410552 | 1690 424 | 2 | 1 528.35/528.50 c 528s | 18 | 456161 | 412052 | 1690 425 | 2 | 1 530.35/530.56 c 530s | 18 | 457733 | 413452 | 1690 426 | 2 | 1 532.46/532.69 c 532s | 18 | 459326 | 414852 | 1690 428 | 2 | 1 534.56/534.79 c 534s | 18 | 460890 | 416252 | 1690 429 | 2 | 1 536.65/536.83 c 536s | 18 | 462611 | 417752 | 1690 430 | 2 | 1 538.65/538.85 c 538s | 18 | 464070 | 419052 | 1690 431 | 2 | 1 540.75/540.91 c 540s | 18 | 465620 | 420452 | 1690 433 | 2 | 1 542.75/542.95 c 542s | 18 | 467342 | 422052 | 1690 434 | 2 | 1 544.75/544.99 c 544s | 18 | 468975 | 423552 | 1690 435 | 2 | 1 546.85/547.02 c 546s | 18 | 470588 | 425052 | 1690 437 | 2 | 1 548.85/549.10 c 549s | 18 | 472178 | 426452 | 1690 438 | 2 | 1 550.95/551.10 c 551s | 18 | 473749 | 427852 | 1690 439 | 2 | 1 552.94/553.15 c 553s | 18 | 475264 | 429252 | 1690 440 | 2 | 1 555.04/555.22 c 555s | 18 | 477258 | 431052 | 1690 442 | 2 | 1 557.04/557.26 c 557s | 18 | 479270 | 432852 | 1690 443 | 2 | 1 559.14/559.31 c 559s | 18 | 481308 | 434652 | 1690 445 | 2 | 1 561.14/561.39 c 561s | 18 | 483344 | 436452 | 1690 447 | 2 | 1 563.24/563.42 c 563s | 18 | 485212 | 438052 | 1690 448 | 2 | 1 565.24/565.45 c 565s | 18 | 487001 | 439652 | 1690 449 | 2 | 1 567.24/567.47 c 567s | 18 | 488692 | 441152 | 1690 451 | 2 | 1 569.34/569.50 c 569s | 18 | 490607 | 442852 | 1860 452 | 2 | 1 571.33/571.55 c 571s | 18 | 492415 | 444452 | 1860 453 | 2 | 1 571.33/571.59 c 571s | 19 | 492445 | 444482 | 1860 453 | 2 | 1 573.43/573.67 c 573s | 19 | 497277 | 448582 | 1860 457 | 2 | 1 575.53/575.75 c 575s | 19 | 499465 | 450582 | 1860 459 | 2 | 1 577.63/577.82 c 577s | 19 | 501503 | 452482 | 1860 460 | 2 | 1 579.64/579.83 c 579s | 19 | 503335 | 454182 | 1860 462 | 2 | 1 581.63/581.89 c 581s | 19 | 505306 | 455982 | 1860 463 | 2 | 1 583.73/583.99 c 583s | 19 | 507256 | 457782 | 1860 465 | 2 | 1 585.82/586.00 c 585s | 19 | 511662 | 461582 | 1860 468 | 2 | 1 587.83/588.08 c 587s | 19 | 515031 | 464782 | 1860 471 | 2 | 1 589.92/590.10 c 590s | 19 | 517364 | 466982 | 1860 473 | 2 | 1 591.92/592.15 c 592s | 19 | 519572 | 469082 | 1860 475 | 2 | 1 594.03/594.23 c 594s | 19 | 521794 | 471182 | 1860 476 | 2 | 1 596.02/596.25 c 596s | 19 | 523901 | 473182 | 1860 478 | 2 | 1 598.12/598.36 c 598s | 19 | 525910 | 475082 | 1860 480 | 2 | 1 600.12/600.36 c 600s | 19 | 528025 | 477082 | 1860 481 | 2 | 1 602.13/602.38 c 602s | 19 | 530226 | 479182 | 1860 483 | 2 | 1 604.23/604.40 c 604s | 19 | 532114 | 480982 | 1860 484 | 2 | 1 606.32/606.52 c 606s | 19 | 533943 | 482682 | 1860 486 | 2 | 1 608.43/608.60 c 608s | 19 | 535898 | 484482 | 1860 487 | 2 | 1 610.53/610.71 c 610s | 19 | 537718 | 486182 | 1860 489 | 2 | 1 612.52/612.74 c 612s | 19 | 539478 | 487782 | 1860 490 | 2 | 1 614.52/614.77 c 614s | 19 | 541621 | 489782 | 1860 492 | 2 | 1 616.52/616.79 c 616s | 19 | 543759 | 491782 | 1860 493 | 2 | 1 618.62/618.84 c 618s | 19 | 545796 | 493682 | 1860 495 | 2 | 1 620.62/620.88 c 620s | 19 | 547716 | 495482 | 1860 496 | 2 | 1 622.71/622.90 c 622s | 19 | 549468 | 497082 | 1860 498 | 2 | 1 624.72/624.95 c 624s | 19 | 551290 | 498782 | 1860 499 | 2 | 1 626.71/626.97 c 626s | 19 | 553105 | 500482 | 1860 500 | 2 | 1 628.81/629.03 c 628s | 19 | 554928 | 502182 | 1860 502 | 2 | 1 630.81/631.09 c 631s | 19 | 556799 | 503882 | 1860 503 | 2 | 1 632.91/633.17 c 633s | 19 | 558511 | 505482 | 1860 504 | 2 | 1 634.91/635.18 c 635s | 19 | 560234 | 507082 | 1860 506 | 2 | 1 636.92/637.18 c 637s | 19 | 561712 | 508482 | 1860 507 | 2 | 1 639.01/639.23 c 639s | 19 | 563896 | 510482 | 1860 509 | 2 | 1 641.10/641.34 c 641s | 19 | 565786 | 512282 | 1860 510 | 2 | 1 643.10/643.37 c 643s | 19 | 567521 | 513882 | 1860 511 | 2 | 1 645.20/645.48 c 645s | 19 | 569043 | 515282 | 1860 512 | 2 | 1 647.30/647.52 c 647s | 19 | 570571 | 516682 | 1860 514 | 2 | 1 649.40/649.63 c 649s | 19 | 572052 | 518082 | 1860 515 | 2 | 1 651.40/651.63 c 651s | 19 | 573646 | 519582 | 1860 516 | 2 | 1 653.41/653.68 c 653s | 19 | 575150 | 520982 | 1860 517 | 2 | 1 655.51/655.74 c 655s | 19 | 576879 | 522582 | 1860 518 | 2 | 1 657.50/657.74 c 657s | 19 | 578358 | 523982 | 1860 520 | 2 | 1 659.60/659.83 c 659s | 19 | 580084 | 525582 | 1860 521 | 2 | 1 661.59/661.85 c 661s | 19 | 581504 | 526882 | 1860 522 | 2 | 1 663.59/663.88 c 663s | 19 | 582800 | 528082 | 1860 523 | 2 | 1 665.79/666.00 c 665s | 19 | 584384 | 529482 | 1860 524 | 2 | 1 667.89/668.17 c 668s | 19 | 585999 | 530982 | 1860 525 | 2 | 1 669.99/670.20 c 670s | 19 | 587491 | 532382 | 1860 526 | 2 | 1 671.99/672.22 c 672s | 19 | 588890 | 533682 | 1860 527 | 2 | 1 673.99/674.22 c 674s | 19 | 590214 | 534882 | 1860 528 | 2 | 1 675.99/676.23 c 676s | 19 | 591649 | 536182 | 1860 530 | 2 | 1 678.09/678.32 c 678s | 19 | 593229 | 537582 | 1860 531 | 2 | 1 680.19/680.46 c 680s | 19 | 594687 | 538882 | 1860 532 | 2 | 1 682.29/682.56 c 682s | 19 | 596145 | 540182 | 1860 533 | 2 | 1 684.29/684.57 c 684s | 19 | 597478 | 541382 | 1860 534 | 2 | 1 686.39/686.66 c 686s | 19 | 598647 | 542482 | 1860 535 | 2 | 1 688.49/688.70 c 688s | 19 | 600146 | 543882 | 1860 536 | 2 | 1 690.59/690.85 c 690s | 19 | 601649 | 545282 | 1860 537 | 2 | 1 692.68/692.94 c 692s | 19 | 603172 | 546682 | 1860 538 | 2 | 1 694.78/695.09 c 695s | 19 | 604700 | 548082 | 1860 539 | 2 | 1 696.98/697.21 c 697s | 19 | 606098 | 549382 | 1860 540 | 2 | 1 698.98/699.23 c 699s | 19 | 607539 | 550682 | 1860 541 | 2 | 1 700.98/701.27 c 701s | 19 | 608960 | 551982 | 1860 542 | 2 | 1 703.08/703.37 c 703s | 19 | 610266 | 553182 | 1860 543 | 2 | 1 705.18/705.48 c 705s | 19 | 611661 | 554482 | 1860 544 | 2 | 1 707.28/707.52 c 707s | 19 | 613165 | 555882 | 1860 546 | 2 | 1 709.38/709.66 c 709s | 19 | 614789 | 557382 | 1860 547 | 2 | 1 711.58/711.81 c 711s | 19 | 616204 | 558682 | 1860 548 | 2 | 1 713.57/713.88 c 713s | 19 | 617575 | 559882 | 1860 549 | 2 | 1 715.67/715.97 c 715s | 19 | 618931 | 561082 | 1860 550 | 2 | 1 717.77/718.00 c 717s | 19 | 620292 | 562282 | 1860 551 | 2 | 1 719.77/720.01 c 719s | 19 | 621966 | 563782 | 1860 552 | 2 | 1 721.76/722.08 c 721s | 19 | 623471 | 565182 | 1860 553 | 2 | 1 723.77/724.09 c 724s | 19 | 624964 | 566582 | 1860 554 | 2 | 1 725.87/726.17 c 726s | 19 | 626654 | 568082 | 1860 556 | 2 | 1 727.96/728.28 c 728s | 19 | 628228 | 569482 | 1860 557 | 2 | 1 730.06/730.37 c 730s | 19 | 629661 | 570782 | 1860 558 | 2 | 1 732.16/732.47 c 732s | 19 | 631338 | 572282 | 1860 559 | 2 | 1 734.16/734.48 c 734s | 19 | 633043 | 573882 | 1860 560 | 2 | 1 736.36/736.61 c 736s | 19 | 634662 | 575382 | 1860 562 | 2 | 1 738.46/738.70 c 738s | 19 | 636390 | 576982 | 1860 563 | 2 | 1 740.46/740.74 c 740s | 19 | 637924 | 578382 | 1860 564 | 2 | 1 742.55/742.82 c 742s | 19 | 639571 | 579882 | 1860 565 | 2 | 1 744.66/744.94 c 744s | 19 | 641075 | 581282 | 1860 566 | 2 | 1 746.76/747.04 c 746s | 19 | 642492 | 582582 | 1860 567 | 2 | 1 748.85/749.18 c 749s | 19 | 644114 | 583982 | 1860 569 | 2 | 1 751.05/751.30 c 751s | 19 | 645548 | 585282 | 1860 570 | 2 | 1 753.05/753.32 c 753s | 19 | 646885 | 586482 | 1860 571 | 2 | 1 755.15/755.46 c 755s | 19 | 648313 | 587782 | 1860 572 | 2 | 1 757.25/757.54 c 757s | 19 | 649597 | 588982 | 1860 573 | 2 | 1 759.35/759.63 c 759s | 19 | 651008 | 590282 | 1860 574 | 2 | 1 761.44/761.78 c 761s | 19 | 652464 | 591582 | 1860 575 | 2 | 1 763.54/763.83 c 763s | 19 | 653896 | 592882 | 1860 576 | 2 | 1 765.64/765.96 c 765s | 19 | 655367 | 594182 | 1860 577 | 2 | 1 767.75/768.04 c 767s | 19 | 657185 | 595882 | 1860 578 | 2 | 1 769.74/770.07 c 769s | 19 | 658906 | 597482 | 1860 580 | 2 | 1 771.84/772.12 c 772s | 19 | 660836 | 599282 | 1860 581 | 2 | 1 773.94/774.26 c 774s | 19 | 662537 | 600882 | 1860 582 | 2 | 1 775.94/776.29 c 776s | 19 | 664021 | 602282 | 1860 583 | 2 | 1 778.04/778.34 c 778s | 19 | 665650 | 603782 | 1860 585 | 2 | 1 780.14/780.42 c 780s | 19 | 667049 | 605082 | 1860 586 | 2 | 1 782.23/782.51 c 782s | 19 | 668449 | 606382 | 1860 587 | 2 | 1 784.33/784.63 c 784s | 19 | 669965 | 607782 | 1860 588 | 2 | 1 786.44/786.71 c 786s | 19 | 671358 | 609082 | 1860 589 | 2 | 1 788.43/788.78 c 788s | 19 | 672846 | 610482 | 1860 590 | 2 | 1 790.53/790.84 c 790s | 19 | 674326 | 611882 | 1860 591 | 2 | 1 792.63/792.97 c 792s | 19 | 675818 | 613282 | 1860 592 | 2 | 1 794.73/795.01 c 794s | 19 | 677223 | 614582 | 1860 594 | 2 | 1 796.73/797.02 c 796s | 19 | 678654 | 615882 | 1860 595 | 2 | 1 798.83/799.13 c 799s | 19 | 680021 | 617182 | 1860 596 | 2 | 1 800.93/801.24 c 801s | 19 | 681387 | 618482 | 1860 597 | 2 | 1 802.93/803.25 c 803s | 19 | 682789 | 619782 | 1860 598 | 2 | 1 805.03/805.31 c 805s | 19 | 684793 | 621582 | 1860 599 | 2 | 1 807.03/807.34 c 807s | 19 | 686433 | 623082 | 1860 600 | 2 | 1 809.03/809.38 c 809s | 19 | 687841 | 624382 | 1860 602 | 2 | 1 811.12/811.44 c 811s | 19 | 689141 | 625582 | 1860 603 | 2 | 1 813.12/813.49 c 813s | 19 | 690555 | 626882 | 1860 604 | 2 | 1 815.22/815.57 c 815s | 19 | 692197 | 628382 | 1860 605 | 2 | 1 817.32/817.67 c 817s | 19 | 693898 | 629982 | 1860 606 | 2 | 1 819.43/819.78 c 819s | 19 | 695552 | 631482 | 1860 607 | 2 | 1 821.52/821.90 c 821s | 19 | 697074 | 632882 | 1860 608 | 2 | 1 823.62/823.92 c 823s | 19 | 698580 | 634282 | 1860 610 | 2 | 1 825.62/825.95 c 825s | 19 | 699987 | 635582 | 1860 611 | 2 | 1 827.72/828.09 c 828s | 19 | 701427 | 636882 | 1860 612 | 2 | 1 829.81/830.13 c 830s | 19 | 702722 | 638082 | 1860 613 | 2 | 1 831.91/832.21 c 832s | 19 | 704031 | 639282 | 1860 614 | 2 | 1 834.01/834.33 c 834s | 19 | 705362 | 640482 | 1860 615 | 2 | 1 836.01/836.37 c 836s | 19 | 706789 | 641782 | 1860 616 | 2 | 1 838.02/838.37 c 838s | 19 | 708084 | 642982 | 1860 617 | 2 | 1 840.01/840.39 c 840s | 19 | 709617 | 644382 | 1860 618 | 2 | 1 842.11/842.47 c 842s | 19 | 711032 | 645682 | 1860 619 | 2 | 1 844.21/844.55 c 844s | 19 | 712483 | 646982 | 1860 620 | 2 | 1 846.31/846.61 c 846s | 19 | 713923 | 648282 | 1860 621 | 2 | 1 848.41/848.72 c 848s | 19 | 715447 | 649682 | 1860 622 | 2 | 1 850.50/850.84 c 850s | 19 | 716843 | 650982 | 1860 623 | 2 | 1 852.50/852.88 c 852s | 19 | 718263 | 652282 | 1860 624 | 2 | 1 854.61/854.95 c 854s | 19 | 719902 | 653682 | 1860 625 | 2 | 1 856.71/857.02 c 856s | 19 | 721389 | 654982 | 1860 626 | 2 | 1 858.80/859.13 c 859s | 19 | 722821 | 656282 | 1860 628 | 2 | 1 860.90/861.21 c 861s | 19 | 724370 | 657682 | 1860 629 | 2 | 1 863.00/863.35 c 863s | 19 | 725675 | 658882 | 1860 630 | 2 | 1 865.10/865.43 c 865s | 19 | 727022 | 660082 | 1860 631 | 2 | 1 867.10/867.43 c 867s | 19 | 728232 | 661182 | 1860 632 | 2 | 1 869.20/869.50 c 869s | 19 | 729542 | 662382 | 2047 632 | 2 | 1 871.19/871.59 c 871s | 19 | 730748 | 663482 | 2047 633 | 2 | 1 873.30/873.61 c 873s | 19 | 731960 | 664582 | 2047 634 | 2 | 1 875.29/875.67 c 875s | 19 | 733153 | 665682 | 2047 635 | 2 | 1 877.29/877.67 c 877s | 19 | 734210 | 666682 | 2047 636 | 2 | 1 877.60/877.94 c 877s | 20 | 734363 | 666827 | 2047 636 | 2 | 1 879.59/879.97 c 879s | 20 | 738237 | 670027 | 2047 638 | 2 | 1 881.60/881.97 c 881s | 20 | 739875 | 671527 | 2047 640 | 2 | 1 883.69/884.03 c 883s | 20 | 741366 | 672927 | 2047 641 | 2 | 1 885.79/886.12 c 886s | 20 | 742834 | 674327 | 2047 642 | 2 | 1 887.79/888.15 c 888s | 20 | 744354 | 675727 | 2047 643 | 2 | 1 889.89/890.27 c 890s | 20 | 746034 | 677227 | 2047 644 | 2 | 1 891.99/892.38 c 892s | 20 | 747591 | 678627 | 2047 645 | 2 | 1 894.19/894.52 c 894s | 20 | 749219 | 680127 | 2047 646 | 2 | 1 896.18/896.54 c 896s | 20 | 750656 | 681427 | 2047 647 | 2 | 1 898.28/898.62 c 898s | 20 | 752158 | 682827 | 2047 648 | 2 | 1 900.38/900.74 c 900s | 20 | 753771 | 684327 | 2047 649 | 2 | 1 902.48/902.85 c 902s | 20 | 755327 | 685727 | 2047 650 | 2 | 1 904.58/904.90 c 904s | 20 | 756757 | 687027 | 2047 651 | 2 | 1 906.58/906.93 c 906s | 20 | 758059 | 688227 | 2047 652 | 2 | 1 908.68/909.00 c 908s | 20 | 759241 | 689327 | 2047 653 | 2 | 1 910.78/911.11 c 911s | 20 | 760641 | 690627 | 2047 654 | 2 | 1 912.78/913.13 c 913s | 20 | 762146 | 692027 | 2047 655 | 2 | 1 914.87/915.22 c 915s | 20 | 763573 | 693327 | 2047 656 | 2 | 1 916.97/917.37 c 917s | 20 | 764975 | 694627 | 2047 657 | 2 | 1 919.17/919.53 c 919s | 20 | 766464 | 696027 | 2047 658 | 2 | 1 921.27/921.60 c 921s | 20 | 767890 | 697327 | 2047 659 | 2 | 1 923.37/923.78 c 923s | 20 | 769307 | 698627 | 2047 660 | 2 | 1 925.47/925.82 c 925s | 20 | 770599 | 699827 | 2047 661 | 2 | 1 927.47/927.89 c 927s | 20 | 771799 | 700927 | 2047 662 | 2 | 1 929.57/929.92 c 929s | 20 | 773243 | 702227 | 2047 663 | 2 | 1 931.66/932.05 c 931s | 20 | 774669 | 703527 | 2047 664 | 2 | 1 933.77/934.12 c 934s | 20 | 776099 | 704827 | 2047 665 | 2 | 1 935.87/936.28 c 936s | 20 | 777402 | 706027 | 2047 666 | 2 | 1 937.96/938.31 c 938s | 20 | 778836 | 707327 | 2047 667 | 2 | 1 940.06/940.45 c 940s | 20 | 780587 | 708827 | 2047 668 | 2 | 1 942.16/942.55 c 942s | 20 | 782315 | 710327 | 2047 669 | 2 | 1 944.16/944.57 c 944s | 20 | 783791 | 711627 | 2047 670 | 2 | 1 946.26/946.65 c 946s | 20 | 785596 | 713127 | 2047 671 | 2 | 1 948.26/948.68 c 948s | 20 | 787094 | 714427 | 2047 672 | 2 | 1 950.36/950.73 c 950s | 20 | 788687 | 715827 | 2047 673 | 2 | 1 952.36/952.80 c 952s | 20 | 790312 | 717327 | 2047 675 | 2 | 1 954.56/954.92 c 954s | 20 | 791911 | 718727 | 2047 676 | 2 | 1 956.65/957.02 c 956s | 20 | 793674 | 720127 | 2047 677 | 2 | 1 958.75/959.14 c 959s | 20 | 795173 | 721427 | 2047 678 | 2 | 1 960.85/961.24 c 961s | 20 | 796796 | 722927 | 2047 679 | 2 | 1 962.94/963.31 c 963s | 20 | 798207 | 724227 | 2047 680 | 2 | 1 965.04/965.44 c 965s | 20 | 799659 | 725527 | 2047 681 | 2 | 1 967.04/967.44 c 967s | 20 | 801053 | 726827 | 2047 682 | 2 | 1 969.04/969.45 c 969s | 20 | 802421 | 728127 | 2047 683 | 2 | 1 971.15/971.57 c 971s | 20 | 803789 | 729427 | 2047 684 | 2 | 1 973.24/973.68 c 973s | 20 | 805287 | 730727 | 2047 685 | 2 | 1 975.34/975.72 c 975s | 20 | 807277 | 732527 | 2047 686 | 2 | 1 977.34/977.77 c 977s | 20 | 809213 | 734327 | 2047 688 | 2 | 1 979.44/979.89 c 979s | 20 | 810786 | 735727 | 2047 689 | 2 | 1 981.53/981.91 c 981s | 20 | 812166 | 737027 | 2047 690 | 2 | 1 983.53/983.97 c 983s | 20 | 813589 | 738327 | 2047 691 | 2 | 1 985.63/986.07 c 985s | 20 | 815159 | 739727 | 2047 692 | 2 | 1 987.64/988.09 c 988s | 20 | 816531 | 740927 | 2047 693 | 2 | 1 989.84/990.25 c 990s | 20 | 817973 | 742227 | 2047 694 | 2 | 1 991.94/992.33 c 992s | 20 | 819522 | 743627 | 2047 695 | 2 | 1 993.93/994.36 c 994s | 20 | 820917 | 744927 | 2047 696 | 2 | 1 996.03/996.43 c 996s | 20 | 822182 | 746127 | 2047 696 | 2 | 1 998.03/998.47 c 998s | 20 | 823491 | 747327 | 2047 697 | 2 | 1 1000.13/1000.59 c 1000s | 20 | 824942 | 748627 | 2047 698 | 2 | 1 1002.23/1002.61 c 1002s | 20 | 826260 | 749827 | 2047 699 | 2 | 1 1004.33/1004.77 c 1004s | 20 | 827813 | 751127 | 2047 700 | 2 | 1 1006.34/1006.78 c 1006s | 20 | 828912 | 752127 | 2047 701 | 2 | 1 1008.44/1008.88 c 1008s | 20 | 829965 | 753127 | 2047 702 | 2 | 1 1010.64/1011.03 c 1010s | 20 | 831466 | 754427 | 2047 703 | 2 | 1 1012.84/1013.22 c 1013s | 20 | 832770 | 755627 | 2047 704 | 2 | 1 1014.83/1015.23 c 1015s | 20 | 833860 | 756627 | 2047 704 | 2 | 1 1016.93/1017.38 c 1017s | 20 | 835172 | 757827 | 2047 705 | 2 | 1 1019.03/1019.49 c 1019s | 20 | 836335 | 758927 | 2047 706 | 2 | 1 1021.23/1021.63 c 1021s | 20 | 837551 | 760027 | 2047 707 | 2 | 1 1023.23/1023.65 c 1023s | 20 | 839430 | 761627 | 2047 708 | 2 | 1 1025.43/1025.80 c 1025s | 20 | 840809 | 762927 | 2047 709 | 2 | 1 1027.43/1027.86 c 1027s | 20 | 842104 | 764127 | 2047 710 | 2 | 1 1029.63/1030.02 c 1029s | 20 | 843394 | 765327 | 2047 711 | 2 | 1 1031.72/1032.16 c 1032s | 20 | 845104 | 766627 | 2047 712 | 2 | 1 1033.83/1034.25 c 1034s | 20 | 846733 | 767927 | 2047 713 | 2 | 1 1035.93/1036.40 c 1036s | 20 | 847915 | 769027 | 2047 714 | 2 | 1 1038.02/1038.44 c 1038s | 20 | 849214 | 770227 | 2047 715 | 2 | 1 1040.02/1040.44 c 1040s | 20 | 850649 | 771527 | 2047 716 | 2 | 1 1042.02/1042.47 c 1042s | 20 | 852082 | 772827 | 2047 717 | 2 | 1 1044.22/1044.60 c 1044s | 20 | 853511 | 774127 | 2047 718 | 2 | 1 1046.22/1046.63 c 1046s | 20 | 854721 | 775227 | 2047 719 | 2 | 1 1048.22/1048.63 c 1048s | 20 | 856282 | 776627 | 2047 720 | 2 | 1 1050.42/1050.80 c 1050s | 20 | 857738 | 777927 | 2047 721 | 2 | 1 1052.43/1052.82 c 1052s | 20 | 859068 | 779127 | 2047 722 | 2 | 1 1054.52/1054.99 c 1054s | 20 | 860511 | 780427 | 2047 723 | 2 | 1 1056.62/1057.01 c 1056s | 20 | 861808 | 781627 | 2047 723 | 2 | 1 1058.72/1059.17 c 1059s | 20 | 863236 | 782927 | 2047 724 | 2 | 1 1060.82/1061.28 c 1061s | 20 | 864591 | 784127 | 2047 725 | 2 | 1 1062.92/1063.31 c 1063s | 20 | 865687 | 785127 | 2047 726 | 2 | 1 1064.92/1065.31 c 1065s | 20 | 866790 | 786127 | 2047 727 | 2 | 1 1066.92/1067.31 c 1067s | 20 | 868128 | 787327 | 2047 728 | 2 | 1 1069.02/1069.46 c 1069s | 20 | 869561 | 788627 | 2047 729 | 2 | 1 1071.12/1071.53 c 1071s | 20 | 870908 | 789827 | 2047 730 | 2 | 1 1073.22/1073.60 c 1073s | 20 | 872255 | 791027 | 2047 731 | 2 | 1 1075.22/1075.67 c 1075s | 20 | 873753 | 792427 | 2047 732 | 2 | 1 1077.32/1077.74 c 1077s | 20 | 875251 | 793827 | 2047 733 | 2 | 1 1079.42/1079.82 c 1079s | 20 | 876769 | 795227 | 2047 734 | 2 | 1 1081.42/1081.84 c 1081s | 20 | 878069 | 796427 | 2047 735 | 2 | 1 1083.42/1083.88 c 1083s | 20 | 879399 | 797627 | 2047 736 | 2 | 1 1085.52/1085.96 c 1085s | 20 | 880701 | 798827 | 2047 736 | 2 | 1 1087.63/1088.05 c 1087s | 20 | 881909 | 799927 | 2047 737 | 2 | 1 1089.72/1090.13 c 1090s | 20 | 883121 | 801027 | 2047 738 | 2 | 1 1091.82/1092.28 c 1092s | 20 | 884507 | 802327 | 2047 739 | 2 | 1 1093.92/1094.35 c 1094s | 20 | 885803 | 803527 | 2047 740 | 2 | 1 1095.92/1096.39 c 1096s | 20 | 887111 | 804727 | 2047 741 | 2 | 1 1097.92/1098.39 c 1098s | 20 | 888320 | 805827 | 2047 742 | 2 | 1 1100.12/1100.53 c 1100s | 20 | 889501 | 806927 | 2047 743 | 2 | 1 1102.22/1102.67 c 1102s | 20 | 890952 | 808227 | 2047 744 | 2 | 1 1104.32/1104.79 c 1104s | 20 | 892385 | 809527 | 2047 745 | 2 | 1 1106.33/1106.80 c 1106s | 20 | 893712 | 810727 | 2047 745 | 2 | 1 1108.42/1108.87 c 1108s | 20 | 895023 | 811927 | 2047 746 | 2 | 1 1110.52/1110.97 c 1110s | 20 | 896449 | 813227 | 2047 747 | 2 | 1 1112.62/1113.06 c 1112s | 20 | 897912 | 814527 | 2047 748 | 2 | 1 1114.72/1115.15 c 1115s | 20 | 899304 | 815827 | 2047 749 | 2 | 1 1116.82/1117.27 c 1117s | 20 | 900697 | 817127 | 2047 750 | 2 | 1 1118.92/1119.32 c 1119s | 20 | 901989 | 818327 | 2047 751 | 2 | 1 1120.92/1121.35 c 1121s | 20 | 903198 | 819427 | 2047 752 | 2 | 1 1123.12/1123.54 c 1123s | 20 | 904403 | 820527 | 2047 753 | 2 | 1 1125.22/1125.67 c 1125s | 20 | 905583 | 821527 | 2047 754 | 2 | 1 1127.32/1127.71 c 1127s | 20 | 907853 | 823427 | 2047 755 | 2 | 1 1129.32/1129.76 c 1129s | 20 | 910050 | 825427 | 2047 757 | 2 | 1 1131.32/1131.80 c 1131s | 20 | 911794 | 826927 | 2047 758 | 2 | 1 1133.42/1133.80 c 1133s | 20 | 913459 | 828327 | 2047 759 | 2 | 1 1135.42/1135.88 c 1135s | 20 | 915316 | 829927 | 2047 760 | 2 | 1 1137.52/1137.91 c 1137s | 20 | 917230 | 831727 | 2047 762 | 2 | 1 1139.61/1140.01 c 1139s | 20 | 919705 | 833927 | 2047 763 | 2 | 1 1141.62/1142.06 c 1141s | 20 | 921573 | 835627 | 2047 765 | 2 | 1 1143.72/1144.12 c 1144s | 20 | 923321 | 837227 | 2047 766 | 2 | 1 1145.71/1146.17 c 1146s | 20 | 924947 | 838727 | 2047 767 | 2 | 1 1147.81/1148.20 c 1148s | 20 | 926568 | 840227 | 2047 768 | 2 | 1 1149.81/1150.23 c 1150s | 20 | 928193 | 841727 | 2047 769 | 2 | 1 1151.81/1152.23 c 1152s | 20 | 929926 | 843327 | 2047 770 | 2 | 1 1153.91/1154.33 c 1154s | 20 | 931648 | 844927 | 2047 772 | 2 | 1 1156.01/1156.40 c 1156s | 20 | 933774 | 846827 | 2047 773 | 2 | 1 1158.02/1158.48 c 1158s | 20 | 934989 | 848027 | 2047 774 | 2 | 1 1160.22/1160.63 c 1160s | 20 | 936378 | 849327 | 2047 775 | 2 | 1 1162.21/1162.66 c 1162s | 20 | 937764 | 850627 | 2047 776 | 2 | 1 1164.31/1164.78 c 1164s | 20 | 939153 | 851927 | 2047 777 | 2 | 1 1166.41/1166.88 c 1166s | 20 | 940674 | 853327 | 2047 778 | 2 | 1 1168.51/1168.94 c 1168s | 20 | 942232 | 854727 | 2047 779 | 2 | 1 1170.61/1171.03 c 1170s | 20 | 943996 | 856227 | 2047 780 | 2 | 1 1172.61/1173.03 c 1172s | 20 | 945596 | 857527 | 2047 781 | 2 | 1 1174.81/1175.21 c 1175s | 20 | 947154 | 858827 | 2047 782 | 2 | 1 1176.91/1177.33 c 1177s | 20 | 948619 | 860127 | 2047 783 | 2 | 1 1179.01/1179.42 c 1179s | 20 | 950053 | 861427 | 2047 784 | 2 | 1 1181.11/1181.56 c 1181s | 20 | 951466 | 862627 | 2047 785 | 2 | 1 1183.31/1183.72 c 1183s | 20 | 952650 | 863727 | 2047 786 | 2 | 1 1185.40/1185.80 c 1185s | 20 | 954530 | 865327 | 2047 787 | 2 | 1 1187.50/1187.93 c 1187s | 20 | 956109 | 866727 | 2047 788 | 2 | 1 1189.60/1190.04 c 1189s | 20 | 957490 | 867927 | 2047 789 | 2 | 1 1191.70/1192.15 c 1192s | 20 | 958997 | 869227 | 2047 790 | 2 | 1 1193.80/1194.21 c 1194s | 20 | 960344 | 870427 | 2047 791 | 2 | 1 1195.90/1196.31 c 1196s | 20 | 961599 | 871527 | 2047 792 | 2 | 1 1197.90/1198.33 c 1198s | 20 | 962955 | 872727 | 2047 793 | 2 | 1 1200.00/1200.45 c 1200s | 20 | 964510 | 874127 | 2047 794 | 2 | 1 1202.01/1202.49 c 1202s | 20 | 965952 | 875427 | 2047 795 | 2 | 1 1204.10/1204.58 c 1204s | 20 | 967405 | 876627 | 2047 796 | 2 | 1 1206.30/1206.74 c 1206s | 20 | 968654 | 877727 | 2047 797 | 2 | 1 1208.40/1208.81 c 1208s | 20 | 970127 | 879027 | 2047 798 | 2 | 1 1210.40/1210.86 c 1210s | 20 | 971560 | 880327 | 2047 799 | 2 | 1 1212.40/1212.89 c 1212s | 20 | 972882 | 881527 | 2047 800 | 2 | 1 1214.50/1214.94 c 1214s | 20 | 974204 | 882727 | 2047 801 | 2 | 1 1216.60/1217.00 c 1216s | 20 | 975541 | 883927 | 2047 802 | 2 | 1 1218.60/1219.07 c 1218s | 20 | 976731 | 885027 | 2047 802 | 2 | 1 1220.70/1221.11 c 1221s | 20 | 978090 | 886227 | 2047 803 | 2 | 1 1222.70/1223.19 c 1223s | 20 | 979426 | 887427 | 2047 804 | 2 | 1 1224.80/1225.23 c 1225s | 20 | 980495 | 888427 | 2047 805 | 2 | 1 1227.00/1227.40 c 1227s | 20 | 981585 | 889427 | 2047 806 | 2 | 1 1229.00/1229.41 c 1229s | 20 | 983022 | 890727 | 2047 807 | 2 | 1 1231.09/1231.53 c 1231s | 20 | 984621 | 892227 | 2047 808 | 2 | 1 1233.19/1233.61 c 1233s | 20 | 986185 | 893627 | 2047 809 | 2 | 1 1235.29/1235.72 c 1235s | 20 | 987634 | 895027 | 2047 810 | 2 | 1 1237.30/1237.75 c 1237s | 20 | 989186 | 896427 | 2047 811 | 2 | 1 1239.29/1239.79 c 1239s | 20 | 991009 | 898127 | 2047 812 | 2 | 1 1241.49/1241.94 c 1241s | 20 | 992507 | 899527 | 2047 814 | 2 | 1 1243.59/1244.05 c 1243s | 20 | 993964 | 900827 | 2047 815 | 2 | 1 1245.79/1246.20 c 1246s | 20 | 995394 | 902127 | 2047 816 | 2 | 1 1247.79/1248.29 c 1248s | 20 | 996848 | 903427 | 2047 817 | 2 | 1 1249.89/1250.32 c 1250s | 20 | 998143 | 904627 | 2047 817 | 2 | 1 1251.89/1252.36 c 1252s | 20 | 999426 | 905827 | 2047 818 | 2 | 1 1253.90/1254.39 c 1254s | 20 | 1000824 | 907127 | 2047 819 | 2 | 1 1256.01/1256.45 c 1256s | 20 | 1002098 | 908327 | 2047 820 | 2 | 1 1258.10/1258.59 c 1258s | 20 | 1003581 | 909727 | 2047 821 | 2 | 1 1260.20/1260.61 c 1260s | 20 | 1005016 | 911027 | 2047 822 | 2 | 1 1262.40/1262.81 c 1262s | 20 | 1006186 | 912127 | 2047 823 | 2 | 1 1264.50/1264.93 c 1264s | 20 | 1007304 | 913127 | 2047 824 | 2 | 1 1266.50/1266.99 c 1266s | 20 | 1008373 | 914127 | 2047 825 | 2 | 1 1268.60/1269.07 c 1268s | 20 | 1010144 | 915627 | 2047 826 | 2 | 1 1270.80/1271.20 c 1271s | 20 | 1011680 | 916927 | 2047 827 | 2 | 1 1272.90/1273.30 c 1273s | 20 | 1012962 | 918127 | 2047 828 | 2 | 1 1274.90/1275.38 c 1275s | 20 | 1014266 | 919327 | 2047 829 | 2 | 1 1277.00/1277.45 c 1277s | 20 | 1015859 | 920727 | 2047 830 | 2 | 1 1279.00/1279.49 c 1279s | 20 | 1017574 | 922227 | 2047 831 | 2 | 1 1281.09/1281.58 c 1281s | 20 | 1019249 | 923727 | 2047 832 | 2 | 1 1283.19/1283.60 c 1283s | 20 | 1020692 | 925027 | 2047 833 | 2 | 1 1285.19/1285.65 c 1285s | 20 | 1021994 | 926227 | 2047 834 | 2 | 1 1287.19/1287.69 c 1287s | 20 | 1023422 | 927527 | 2047 835 | 2 | 1 1289.29/1289.71 c 1289s | 20 | 1024718 | 928727 | 2047 836 | 2 | 1 1291.29/1291.71 c 1291s | 20 | 1025910 | 929827 | 2047 837 | 2 | 1 1293.40/1293.82 c 1293s | 20 | 1027745 | 931427 | 2047 838 | 2 | 1 1295.50/1295.95 c 1295s | 20 | 1029213 | 932727 | 2047 839 | 2 | 1 1297.59/1298.03 c 1297s | 20 | 1030673 | 934027 | 2047 840 | 2 | 1 1299.69/1300.16 c 1300s | 20 | 1032199 | 935327 | 2047 841 | 2 | 1 1301.79/1302.20 c 1302s | 20 | 1033613 | 936627 | 2047 842 | 2 | 1 1303.79/1304.27 c 1304s | 20 | 1034906 | 937827 | 2047 843 | 2 | 1 1305.99/1306.42 c 1306s | 20 | 1036492 | 939227 | 2047 844 | 2 | 1 1308.09/1308.50 c 1308s | 20 | 1037872 | 940427 | 2047 845 | 2 | 1 1310.09/1310.56 c 1310s | 20 | 1039217 | 941627 | 2047 846 | 2 | 1 1312.29/1312.75 c 1312s | 20 | 1040648 | 942927 | 2047 847 | 2 | 1 1314.49/1314.92 c 1314s | 20 | 1042086 | 944227 | 2047 848 | 2 | 1 1316.59/1317.05 c 1316s | 20 | 1043520 | 945527 | 2047 849 | 2 | 1 1318.70/1319.19 c 1319s | 20 | 1044815 | 946727 | 2047 849 | 2 | 1 1320.90/1321.35 c 1321s | 20 | 1045998 | 947827 | 2047 850 | 2 | 1 1322.99/1323.43 c 1323s | 20 | 1047224 | 948927 | 2047 851 | 2 | 1 1325.09/1325.56 c 1325s | 20 | 1048406 | 950027 | 2047 852 | 2 | 1 1327.09/1327.59 c 1327s | 20 | 1049604 | 951127 | 2047 853 | 2 | 1 1329.19/1329.63 c 1329s | 20 | 1051120 | 952527 | 2047 854 | 2 | 1 1331.29/1331.73 c 1331s | 20 | 1052718 | 954027 | 2047 855 | 2 | 1 1333.39/1333.87 c 1333s | 20 | 1054003 | 955227 | 2047 856 | 2 | 1 1335.39/1335.87 c 1335s | 20 | 1055405 | 956527 | 2047 857 | 2 | 1 1337.48/1337.99 c 1337s | 20 | 1056920 | 957927 | 2047 858 | 2 | 1 1339.49/1339.99 c 1339s | 20 | 1058313 | 959227 | 2047 859 | 2 | 1 1341.48/1342.00 c 1341s | 20 | 1059623 | 960427 | 2047 860 | 2 | 1 1343.68/1344.11 c 1344s | 20 | 1061210 | 961927 | 2047 861 | 2 | 1 1345.68/1346.14 c 1346s | 20 | 1062609 | 963227 | 2047 862 | 2 | 1 1347.78/1348.29 c 1348s | 20 | 1063982 | 964527 | 2047 863 | 2 | 1 1349.98/1350.43 c 1350s | 20 | 1065610 | 966027 | 2047 864 | 2 | 1 1352.08/1352.54 c 1352s | 20 | 1067074 | 967327 | 2047 865 | 2 | 1 1354.18/1354.61 c 1354s | 20 | 1068514 | 968627 | 2047 866 | 2 | 1 1356.28/1356.71 c 1356s | 20 | 1069896 | 969927 | 2047 867 | 2 | 1 1358.29/1358.73 c 1358s | 20 | 1071319 | 971227 | 2047 868 | 2 | 1 1360.39/1360.83 c 1360s | 20 | 1072754 | 972527 | 2047 869 | 2 | 1 1362.38/1362.89 c 1362s | 20 | 1074143 | 973827 | 2047 870 | 2 | 1 1364.58/1365.02 c 1364s | 20 | 1075486 | 975027 | 2047 871 | 2 | 1 1366.68/1367.15 c 1367s | 20 | 1076791 | 976227 | 2047 872 | 2 | 1 1368.78/1369.29 c 1369s | 20 | 1078226 | 977527 | 2047 873 | 2 | 1 1370.98/1371.40 c 1371s | 20 | 1079643 | 978827 | 2047 874 | 2 | 1 1373.08/1373.51 c 1373s | 20 | 1081157 | 980227 | 2047 875 | 2 | 1 1375.18/1375.64 c 1375s | 20 | 1082510 | 981527 | 2047 876 | 2 | 1 1377.28/1377.74 c 1377s | 20 | 1083941 | 982827 | 2047 877 | 2 | 1 1379.38/1379.84 c 1379s | 20 | 1085185 | 984027 | 2047 878 | 2 | 1 1381.48/1381.98 c 1381s | 20 | 1086501 | 985227 | 2047 879 | 2 | 1 1383.58/1384.01 c 1383s | 20 | 1087656 | 986327 | 2047 880 | 2 | 1 1385.58/1386.08 c 1386s | 20 | 1089198 | 987627 | 2047 881 | 2 | 1 1387.88/1388.30 c 1388s | 20 | 1090527 | 988827 | 2047 882 | 2 | 1 1389.87/1390.32 c 1390s | 20 | 1091722 | 989927 | 2047 882 | 2 | 1 1391.97/1392.46 c 1392s | 20 | 1093160 | 991127 | 2047 883 | 2 | 1 1394.17/1394.62 c 1394s | 20 | 1094536 | 992227 | 2047 884 | 2 | 1 1396.27/1396.72 c 1396s | 20 | 1095504 | 993127 | 2252 885 | 2 | 1 1398.27/1398.76 c 1398s | 20 | 1096901 | 994327 | 2252 886 | 2 | 1 1400.47/1400.94 c 1400s | 20 | 1098246 | 995527 | 2252 886 | 2 | 1 1402.57/1403.07 c 1402s | 20 | 1099738 | 996727 | 2252 887 | 2 | 1 1404.67/1405.16 c 1405s | 20 | 1101292 | 998027 | 2252 888 | 2 | 1 1406.87/1407.33 c 1407s | 20 | 1102835 | 999327 | 2252 889 | 2 | 1 1408.67/1409.20 c 1409s | 21 | 1104040 | 1000345 | 2252 890 | 2 | 1 1410.87/1411.30 c 1411s | 21 | 1109089 | 1003545 | 2252 892 | 2 | 1 1412.87/1413.32 c 1413s | 21 | 1111528 | 1005745 | 2252 894 | 2 | 1 1414.97/1415.41 c 1415s | 21 | 1115049 | 1008345 | 2252 896 | 2 | 1 1417.07/1417.52 c 1417s | 21 | 1116699 | 1009945 | 2252 897 | 2 | 1 1419.07/1419.55 c 1419s | 21 | 1119577 | 1011745 | 2252 898 | 2 | 1 1421.07/1421.55 c 1421s | 21 | 1122046 | 1013345 | 2252 900 | 2 | 1 1423.08/1423.56 c 1423s | 21 | 1123158 | 1014345 | 2252 900 | 2 | 1 1425.17/1425.60 c 1425s | 21 | 1124193 | 1015345 | 2252 901 | 2 | 1 1427.17/1427.63 c 1427s | 21 | 1125517 | 1016545 | 2252 902 | 2 | 1 1429.17/1429.69 c 1429s | 21 | 1127223 | 1017845 | 2252 903 | 2 | 1 1431.27/1431.71 c 1431s | 21 | 1128871 | 1019145 | 2252 904 | 2 | 1 1433.37/1433.85 c 1433s | 21 | 1130339 | 1020445 | 2252 905 | 2 | 1 1435.47/1435.90 c 1435s | 21 | 1131755 | 1021745 | 2252 906 | 2 | 1 1437.57/1438.06 c 1437s | 21 | 1133557 | 1023245 | 2252 907 | 2 | 1 1439.67/1440.12 c 1440s | 21 | 1135044 | 1024645 | 2252 908 | 2 | 1 1441.77/1442.28 c 1442s | 21 | 1136656 | 1026145 | 2252 909 | 2 | 1 1443.87/1444.31 c 1444s | 21 | 1138175 | 1027545 | 2252 910 | 2 | 1 1445.97/1446.44 c 1446s | 21 | 1139899 | 1029145 | 2252 911 | 2 | 1 1448.06/1448.55 c 1448s | 21 | 1141413 | 1030545 | 2252 912 | 2 | 1 1450.16/1450.65 c 1450s | 21 | 1142992 | 1032045 | 2252 913 | 2 | 1 1452.26/1452.74 c 1452s | 21 | 1144637 | 1033445 | 2252 914 | 2 | 1 1454.36/1454.86 c 1454s | 21 | 1146102 | 1034845 | 2252 915 | 2 | 1 1456.46/1456.92 c 1456s | 21 | 1147492 | 1036145 | 2252 916 | 2 | 1 1458.56/1459.03 c 1458s | 21 | 1148853 | 1037445 | 2252 917 | 2 | 1 1460.57/1461.04 c 1460s | 21 | 1150245 | 1038745 | 2252 918 | 2 | 1 1462.56/1463.06 c 1462s | 21 | 1151635 | 1040045 | 2252 919 | 2 | 1 1464.66/1465.15 c 1465s | 21 | 1153122 | 1041445 | 2252 920 | 2 | 1 1466.66/1467.16 c 1467s | 21 | 1154692 | 1042845 | 2252 921 | 2 | 1 1468.76/1469.27 c 1469s | 21 | 1156655 | 1044645 | 2252 922 | 2 | 1 1470.86/1471.36 c 1471s | 21 | 1158376 | 1046145 | 2252 924 | 2 | 1 1472.96/1473.46 c 1473s | 21 | 1160061 | 1047645 | 2252 925 | 2 | 1 1475.06/1475.58 c 1475s | 21 | 1161835 | 1049245 | 2252 926 | 2 | 1 1477.16/1477.61 c 1477s | 21 | 1163396 | 1050645 | 2252 927 | 2 | 1 1479.27/1479.73 c 1479s | 21 | 1164991 | 1052045 | 2252 928 | 2 | 1 1481.37/1481.89 c 1481s | 21 | 1166660 | 1053545 | 2252 929 | 2 | 1 1483.46/1484.00 c 1483s | 21 | 1168228 | 1054945 | 2252 930 | 2 | 1 1485.66/1486.11 c 1486s | 21 | 1169984 | 1056545 | 2252 931 | 2 | 1 1487.66/1488.16 c 1488s | 21 | 1171796 | 1058145 | 2252 932 | 2 | 1 1489.76/1490.24 c 1490s | 21 | 1173190 | 1059445 | 2252 933 | 2 | 1 1491.86/1492.34 c 1492s | 21 | 1174890 | 1061045 | 2252 934 | 2 | 1 1493.86/1494.39 c 1494s | 21 | 1176785 | 1062645 | 2252 936 | 2 | 1 1495.96/1496.40 c 1496s | 21 | 1179032 | 1064345 | 2252 937 | 2 | 1 1497.96/1498.48 c 1498s | 21 | 1181308 | 1066145 | 2252 938 | 2 | 1 1500.16/1500.61 c 1500s | 21 | 1183136 | 1067745 | 2252 939 | 2 | 1 1502.26/1502.73 c 1502s | 21 | 1184312 | 1068845 | 2252 940 | 2 | 1 1504.26/1504.75 c 1504s | 21 | 1185662 | 1070045 | 2252 941 | 2 | 1 1506.46/1506.96 c 1506s | 21 | 1187276 | 1071545 | 2252 942 | 2 | 1 1508.55/1509.00 c 1508s | 21 | 1188461 | 1072645 | 2252 943 | 2 | 1 1510.65/1511.15 c 1511s | 21 | 1189476 | 1073545 | 2252 944 | 2 | 1 1512.85/1513.32 c 1513s | 21 | 1190884 | 1074845 | 2252 945 | 2 | 1 1514.85/1515.39 c 1515s | 21 | 1192126 | 1075945 | 2252 945 | 2 | 1 1516.95/1517.41 c 1517s | 21 | 1193498 | 1077045 | 2252 946 | 2 | 1 1518.95/1519.44 c 1519s | 21 | 1196132 | 1079245 | 2252 948 | 2 | 1 1520.96/1521.45 c 1521s | 21 | 1198656 | 1081445 | 2252 949 | 2 | 1 1522.95/1523.49 c 1523s | 21 | 1201220 | 1083645 | 2252 951 | 2 | 1 1525.05/1525.50 c 1525s | 21 | 1203058 | 1085345 | 2252 952 | 2 | 1 1527.15/1527.62 c 1527s | 21 | 1204729 | 1086945 | 2252 954 | 2 | 1 1529.15/1529.62 c 1529s | 21 | 1206581 | 1088645 | 2252 955 | 2 | 1 1531.15/1531.69 c 1531s | 21 | 1208887 | 1090845 | 2252 956 | 2 | 1 1533.25/1533.73 c 1533s | 21 | 1211060 | 1092845 | 2252 958 | 2 | 1 1535.26/1535.80 c 1535s | 21 | 1213090 | 1094745 | 2252 959 | 2 | 1 1537.35/1537.86 c 1537s | 21 | 1214860 | 1096445 | 2252 961 | 2 | 1 1539.45/1539.92 c 1539s | 21 | 1216787 | 1098245 | 2252 962 | 2 | 1 1541.55/1542.07 c 1541s | 21 | 1219040 | 1100345 | 2252 964 | 2 | 1 1543.55/1544.09 c 1544s | 21 | 1221562 | 1102645 | 2252 965 | 2 | 1 1545.65/1546.16 c 1546s | 21 | 1224466 | 1105145 | 2252 967 | 2 | 1 1547.75/1548.26 c 1548s | 21 | 1226748 | 1107145 | 2252 969 | 2 | 1 1549.85/1550.38 c 1550s | 21 | 1228736 | 1108945 | 2252 970 | 2 | 1 1551.95/1552.42 c 1552s | 21 | 1230992 | 1110945 | 2252 971 | 2 | 1 1554.05/1554.50 c 1554s | 21 | 1233412 | 1113045 | 2252 973 | 2 | 1 1556.05/1556.52 c 1556s | 21 | 1235490 | 1114945 | 2252 974 | 2 | 1 1558.15/1558.66 c 1558s | 21 | 1237890 | 1116945 | 2252 976 | 2 | 1 1560.24/1560.78 c 1560s | 21 | 1239889 | 1118745 | 2252 977 | 2 | 1 1562.44/1562.92 c 1562s | 21 | 1241876 | 1120545 | 2252 978 | 2 | 1 1564.44/1564.95 c 1564s | 21 | 1243580 | 1122145 | 2252 980 | 2 | 1 1566.54/1567.02 c 1566s | 21 | 1245380 | 1123845 | 2252 981 | 2 | 1 1568.54/1569.08 c 1569s | 21 | 1247221 | 1125545 | 2252 982 | 2 | 1 1570.64/1571.11 c 1571s | 21 | 1249045 | 1127245 | 2252 983 | 2 | 1 1572.65/1573.15 c 1573s | 21 | 1251009 | 1129045 | 2252 985 | 2 | 1 1574.74/1575.23 c 1575s | 21 | 1252998 | 1130845 | 2252 986 | 2 | 1 1576.84/1577.33 c 1577s | 21 | 1254982 | 1132645 | 2252 987 | 2 | 1 1578.84/1579.37 c 1579s | 21 | 1256727 | 1134145 | 2252 989 | 2 | 1 1580.94/1581.44 c 1581s | 21 | 1258555 | 1135845 | 2252 990 | 2 | 1 1583.04/1583.50 c 1583s | 21 | 1260623 | 1137745 | 2252 991 | 2 | 1 1585.04/1585.57 c 1585s | 21 | 1262730 | 1139645 | 2252 993 | 2 | 1 1587.14/1587.61 c 1587s | 21 | 1264410 | 1141145 | 2252 994 | 2 | 1 1589.15/1589.67 c 1589s | 21 | 1266258 | 1142745 | 2252 995 | 2 | 1 1591.24/1591.79 c 1591s | 21 | 1268135 | 1144345 | 2252 996 | 2 | 1 1593.44/1593.91 c 1593s | 21 | 1270042 | 1146045 | 2252 997 | 2 | 1 1595.54/1596.02 c 1595s | 21 | 1272082 | 1147945 | 2252 999 | 2 | 1 1597.54/1598.07 c 1597s | 21 | 1274079 | 1149745 | 2252 1000 | 2 | 1 1599.74/1600.20 c 1600s | 21 | 1275898 | 1151345 | 2252 1001 | 2 | 1 1601.74/1602.23 c 1602s | 21 | 1277685 | 1152945 | 2252 1002 | 2 | 1 1603.74/1604.29 c 1604s | 21 | 1279478 | 1154545 | 2252 1004 | 2 | 1 1605.94/1606.43 c 1606s | 21 | 1281006 | 1155945 | 2252 1005 | 2 | 1 1607.94/1608.48 c 1608s | 21 | 1282740 | 1157445 | 2252 1006 | 2 | 1 1610.04/1610.60 c 1610s | 21 | 1284335 | 1158945 | 2252 1007 | 2 | 1 1612.14/1612.67 c 1612s | 21 | 1286348 | 1160845 | 2252 1008 | 2 | 1 1614.24/1614.76 c 1614s | 21 | 1287891 | 1162345 | 2252 1009 | 2 | 1 1616.34/1616.83 c 1616s | 21 | 1289148 | 1163545 | 2252 1010 | 2 | 1 1618.34/1618.87 c 1618s | 21 | 1290137 | 1164445 | 2252 1011 | 2 | 1 1620.43/1620.94 c 1620s | 21 | 1291093 | 1165345 | 2252 1012 | 2 | 1 1622.43/1622.95 c 1622s | 21 | 1292474 | 1166645 | 2252 1013 | 2 | 1 1624.54/1625.06 c 1624s | 21 | 1294269 | 1168345 | 2252 1014 | 2 | 1 1626.64/1627.18 c 1627s | 21 | 1295953 | 1169945 | 2252 1015 | 2 | 1 1628.74/1629.24 c 1629s | 21 | 1297760 | 1171645 | 2252 1016 | 2 | 1 1630.83/1631.39 c 1631s | 21 | 1299641 | 1173445 | 2252 1018 | 2 | 1 1633.03/1633.51 c 1633s | 21 | 1301316 | 1175045 | 2252 1019 | 2 | 1 1635.13/1635.65 c 1635s | 21 | 1302981 | 1176645 | 2252 1020 | 2 | 1 1637.23/1637.71 c 1637s | 21 | 1304475 | 1178045 | 2252 1021 | 2 | 1 1639.33/1639.84 c 1639s | 21 | 1306382 | 1179845 | 2252 1022 | 2 | 1 1641.33/1641.86 c 1641s | 21 | 1308202 | 1181545 | 2252 1023 | 2 | 1 1643.33/1643.88 c 1643s | 21 | 1310180 | 1183345 | 2252 1025 | 2 | 1 1645.43/1645.99 c 1645s | 21 | 1312158 | 1185245 | 2252 1026 | 2 | 1 1647.54/1648.06 c 1647s | 21 | 1314175 | 1187145 | 2252 1028 | 2 | 1 1649.53/1650.06 c 1649s | 21 | 1316455 | 1189245 | 2252 1029 | 2 | 1 1651.63/1652.11 c 1652s | 21 | 1318313 | 1191045 | 2252 1030 | 2 | 1 1653.63/1654.13 c 1654s | 21 | 1320042 | 1192745 | 2252 1032 | 2 | 1 1655.63/1656.19 c 1656s | 21 | 1322094 | 1194645 | 2252 1033 | 2 | 1 1657.73/1658.20 c 1658s | 21 | 1324153 | 1196545 | 2252 1035 | 2 | 1 1659.73/1660.29 c 1660s | 21 | 1326103 | 1198345 | 2252 1036 | 2 | 1 1661.83/1662.33 c 1662s | 21 | 1328184 | 1200245 | 2252 1037 | 2 | 1 1663.84/1664.39 c 1664s | 21 | 1330292 | 1202145 | 2252 1039 | 2 | 1 1665.84/1666.40 c 1666s | 21 | 1332407 | 1204045 | 2252 1040 | 2 | 1 1667.94/1668.43 c 1668s | 21 | 1334355 | 1205845 | 2252 1041 | 2 | 1 1669.94/1670.48 c 1670s | 21 | 1336529 | 1207845 | 2252 1043 | 2 | 1 1672.03/1672.58 c 1672s | 21 | 1339117 | 1210145 | 2252 1045 | 2 | 1 1674.13/1674.68 c 1674s | 21 | 1341040 | 1211945 | 2252 1046 | 2 | 1 1676.23/1676.75 c 1676s | 21 | 1342796 | 1213545 | 2252 1047 | 2 | 1 1678.34/1678.81 c 1678s | 21 | 1345355 | 1215845 | 2252 1049 | 2 | 1 1680.33/1680.88 c 1680s | 21 | 1347362 | 1217745 | 2252 1050 | 2 | 1 1682.43/1682.99 c 1682s | 21 | 1349397 | 1219645 | 2252 1052 | 2 | 1 1684.53/1685.08 c 1684s | 21 | 1351231 | 1221345 | 2252 1053 | 2 | 1 1686.63/1687.11 c 1687s | 21 | 1353322 | 1223245 | 2252 1054 | 2 | 1 1688.73/1689.20 c 1689s | 21 | 1355264 | 1225045 | 2252 1056 | 2 | 1 1690.73/1691.24 c 1691s | 21 | 1357197 | 1226845 | 2252 1057 | 2 | 1 1692.83/1693.31 c 1693s | 21 | 1358913 | 1228445 | 2252 1058 | 2 | 1 1694.84/1695.39 c 1695s | 21 | 1360863 | 1230245 | 2252 1059 | 2 | 1 1696.94/1697.46 c 1697s | 21 | 1362810 | 1232045 | 2252 1061 | 2 | 1 1699.03/1699.54 c 1699s | 21 | 1365443 | 1234445 | 2252 1062 | 2 | 1 1701.13/1701.61 c 1701s | 21 | 1367936 | 1236745 | 2252 1064 | 2 | 1 1703.13/1703.63 c 1703s | 21 | 1370322 | 1238945 | 2252 1066 | 2 | 1 1705.13/1705.64 c 1705s | 21 | 1372664 | 1241045 | 2252 1067 | 2 | 1 1707.13/1707.68 c 1707s | 21 | 1374866 | 1243045 | 2252 1069 | 2 | 1 1709.23/1709.76 c 1709s | 21 | 1377271 | 1245245 | 2252 1070 | 2 | 1 1711.23/1711.76 c 1711s | 21 | 1379402 | 1247245 | 2252 1072 | 2 | 1 1713.33/1713.81 c 1713s | 21 | 1381512 | 1249245 | 2252 1073 | 2 | 1 1715.42/1715.90 c 1715s | 21 | 1383976 | 1251445 | 2252 1075 | 2 | 1 1717.42/1717.96 c 1717s | 21 | 1386048 | 1253345 | 2252 1076 | 2 | 1 1719.52/1720.03 c 1719s | 21 | 1388223 | 1255445 | 2252 1078 | 2 | 1 1721.62/1722.11 c 1722s | 21 | 1390855 | 1257745 | 2252 1080 | 2 | 1 1723.62/1724.19 c 1724s | 21 | 1393436 | 1260145 | 2252 1081 | 2 | 1 1725.72/1726.24 c 1726s | 21 | 1395709 | 1262245 | 2252 1083 | 2 | 1 1727.83/1728.36 c 1728s | 21 | 1397705 | 1264145 | 2252 1084 | 2 | 1 1729.82/1730.39 c 1730s | 21 | 1399766 | 1266045 | 2252 1086 | 2 | 1 1731.92/1732.47 c 1732s | 21 | 1401986 | 1268145 | 2252 1087 | 2 | 1 1734.02/1734.53 c 1734s | 21 | 1404441 | 1270445 | 2252 1089 | 2 | 1 1736.12/1736.63 c 1736s | 21 | 1406394 | 1272245 | 2252 1090 | 2 | 1 1738.22/1738.75 c 1738s | 21 | 1408167 | 1273945 | 2252 1091 | 2 | 1 1740.32/1740.85 c 1740s | 21 | 1410517 | 1276145 | 2252 1093 | 2 | 1 1742.32/1742.86 c 1742s | 21 | 1412444 | 1277945 | 2252 1094 | 2 | 1 1744.33/1744.87 c 1744s | 21 | 1414221 | 1279645 | 2252 1096 | 2 | 1 1746.43/1746.96 c 1746s | 21 | 1416189 | 1281445 | 2252 1097 | 2 | 1 1748.52/1749.07 c 1748s | 21 | 1418569 | 1283645 | 2252 1099 | 2 | 1 1750.62/1751.15 c 1751s | 21 | 1420500 | 1285445 | 2252 1100 | 2 | 1 1752.72/1753.21 c 1753s | 21 | 1422307 | 1287145 | 2252 1101 | 2 | 1 1754.72/1755.27 c 1755s | 21 | 1424090 | 1288745 | 2252 1102 | 2 | 1 1756.82/1757.37 c 1757s | 21 | 1425974 | 1290445 | 2252 1103 | 2 | 1 1758.92/1759.48 c 1759s | 21 | 1427784 | 1292145 | 2252 1105 | 2 | 1 1761.02/1761.58 c 1761s | 21 | 1429635 | 1293845 | 2252 1106 | 2 | 1 1763.12/1763.63 c 1763s | 21 | 1431303 | 1295445 | 2252 1107 | 2 | 1 1765.12/1765.68 c 1765s | 21 | 1433263 | 1297245 | 2252 1108 | 2 | 1 1767.21/1767.73 c 1767s | 21 | 1435169 | 1299045 | 2252 1110 | 2 | 1 1769.31/1769.83 c 1769s | 21 | 1437125 | 1300845 | 2252 1111 | 2 | 1 1771.31/1771.88 c 1771s | 21 | 1438964 | 1302545 | 2252 1112 | 2 | 1 1773.51/1774.01 c 1773s | 21 | 1440782 | 1304245 | 2252 1114 | 2 | 1 1775.61/1776.12 c 1776s | 21 | 1442382 | 1305745 | 2252 1115 | 2 | 1 1777.71/1778.20 c 1778s | 21 | 1444644 | 1307845 | 2252 1116 | 2 | 1 1779.71/1780.28 c 1780s | 21 | 1447472 | 1310445 | 2252 1118 | 2 | 1 1781.72/1782.29 c 1782s | 21 | 1450099 | 1312845 | 2252 1120 | 2 | 1 1783.82/1784.31 c 1784s | 21 | 1452574 | 1315145 | 2252 1122 | 2 | 1 1785.81/1786.36 c 1786s | 21 | 1455139 | 1317545 | 2252 1123 | 2 | 1 1787.91/1788.40 c 1788s | 21 | 1457639 | 1319845 | 2252 1125 | 2 | 1 1789.91/1790.47 c 1790s | 21 | 1460619 | 1322545 | 2252 1127 | 2 | 1 1791.91/1792.47 c 1792s | 21 | 1463685 | 1325345 | 2252 1129 | 2 | 1 1794.01/1794.50 c 1794s | 21 | 1466351 | 1327845 | 2252 1131 | 2 | 1 1796.02/1796.57 c 1796s | 21 | 1469376 | 1330645 | 2252 1133 | 2 | 1 1798.11/1798.62 c 1798s | 21 | 1472332 | 1333345 | 2252 1135 | 2 | 1
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4102033-1466229567/watcher-4102033-1466229567 -o /tmp/evaluation-result-4102033-1466229567/solver-4102033-1466229567 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102033-1466229567.opb pid=14013 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.18 2.11 2.08 3/179 14016 /proc/meminfo: memFree=29564900/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=725436 CPUtime=0 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 2705 0 0 0 0 0 0 0 20 0 4 0 25002372 742846464 2554 33554432000 4194304 16246674 140735383161744 140735383161168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 181871 2564 441 2943 0 178765 0 [pid=14016/tid=14017] ppid=14013 vsize=741820 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 759623680 2622 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=746940 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 764866560 2640 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=751036 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25002372 769060864 2655 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.18 2.11 2.08 3/179 14016 /proc/meminfo: memFree=29564900/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 26637 0 0 0 6 3 0 0 20 0 4 0 25002372 1247350784 26474 33554432000 4194304 16246674 140735383161744 140735383161168 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 304529 26480 790 2943 0 301423 0 [pid=14016/tid=14017] ppid=14013 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1247350784 26484 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1247350784 26488 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25002372 1247350784 26492 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200591 s] /proc/loadavg: 2.18 2.11 2.08 3/179 14016 /proc/meminfo: memFree=29564900/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 43306 0 0 0 13 6 0 0 20 0 4 0 25002372 1247350784 43142 33554432000 4194304 16246674 140735383161744 140735383161168 5712452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 304529 43148 790 2943 0 301423 0 [pid=14016/tid=14017] ppid=14013 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1247350784 43152 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1247350784 43157 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25002372 1247350784 43161 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300417 s] /proc/loadavg: 2.18 2.11 2.08 3/179 14016 /proc/meminfo: memFree=29564900/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 62070 0 0 0 20 9 0 0 20 0 4 0 25002372 1247350784 61906 33554432000 4194304 16246674 140735383161744 140735383161168 5712452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 304529 61912 790 2943 0 301423 0 [pid=14016/tid=14017] ppid=14013 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1247350784 61918 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1247350784 61922 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25002372 1247350784 61926 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700387 s] /proc/loadavg: 2.18 2.11 2.08 3/179 14016 /proc/meminfo: memFree=29564900/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 146114 0 0 0 49 20 0 0 20 0 4 0 25002372 1247350784 145950 33554432000 4194304 16246674 140735383161744 140735383161168 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 304529 145965 791 2943 0 301423 0 [pid=14016/tid=14017] ppid=14013 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1247350784 145969 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1247350784 145982 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25002372 1247350784 145990 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50037 s] /proc/loadavg: 2.18 2.11 2.08 3/183 14020 /proc/meminfo: memFree=28582400/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1220164 CPUtime=1.49 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 246022 0 0 0 116 33 0 0 20 0 4 0 25002372 1249447936 245836 33554432000 4194304 16246674 140735383161744 140735383161056 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 305041 245836 846 2943 0 301935 0 [pid=14016/tid=14017] ppid=14013 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1249447936 245836 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1249447936 245836 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1249447936 245836 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.10042 s] /proc/loadavg: 2.17 2.11 2.08 3/183 14020 /proc/meminfo: memFree=28499320/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 267498 0 0 0 274 35 0 0 20 0 4 0 25002372 1337528320 267312 33554432000 4194304 16246674 140735383161744 140735383143616 12477801 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 326545 267312 847 2943 0 323439 0 [pid=14016/tid=14017] ppid=14013 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1337528320 267312 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1337528320 267312 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1337528320 267312 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.17 2.11 2.08 3/183 14020 /proc/meminfo: memFree=28494948/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 267837 0 0 0 594 35 0 0 20 0 4 0 25002372 1338576896 267651 33554432000 4194304 16246674 140735383161744 140735383143616 13759456 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 326801 267651 850 2943 0 323695 0 [pid=14016/tid=14017] ppid=14013 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1338576896 267651 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1338576896 267651 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1338576896 267651 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.14 2.10 2.08 3/183 14020 /proc/meminfo: memFree=28494892/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1307204 CPUtime=12.68 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 267894 0 0 0 1233 35 0 0 20 0 4 0 25002372 1338576896 267708 33554432000 4194304 16246674 140735383161744 140735383143616 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 326801 267708 850 2943 0 323695 0 [pid=14016/tid=14017] ppid=14013 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1338576896 267708 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1338576896 267708 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1338576896 267708 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1307204 [startup+25.5075 s] /proc/loadavg: 2.12 2.10 2.08 3/183 14020 /proc/meminfo: memFree=28493220/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1309252 CPUtime=25.49 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 268406 0 0 0 2514 35 0 0 20 0 4 0 25002372 1340674048 268220 33554432000 4194304 16246674 140735383161744 140735383143616 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 327313 268220 850 2943 0 324207 0 [pid=14016/tid=14017] ppid=14013 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1340674048 268220 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1340674048 268220 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1340674048 268220 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1309252 [startup+51.1004 s] /proc/loadavg: 2.08 2.09 2.07 3/184 14023 /proc/meminfo: memFree=28449396/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1309252 CPUtime=51.08 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 268406 0 0 0 5073 35 0 0 20 0 4 0 25002372 1340674048 268220 33554432000 4194304 16246674 140735383161744 140735383143616 5545708 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 327313 268220 850 2943 0 324207 0 [pid=14016/tid=14017] ppid=14013 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1340674048 268220 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1340674048 268220 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1340674048 268220 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1309252 [startup+102.3 s] /proc/loadavg: 2.08 2.09 2.07 3/184 14047 /proc/meminfo: memFree=28300096/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1309252 CPUtime=102.28 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 268406 0 0 0 10192 36 0 0 20 0 4 0 25002372 1340674048 268220 33554432000 4194304 16246674 140735383161744 140735383143616 5723564 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 327313 268220 850 2943 0 324207 0 [pid=14016/tid=14017] ppid=14013 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1340674048 268220 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1340674048 268220 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1340674048 268220 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1316420 [startup+1302.3 s] /proc/loadavg: 2.07 2.04 2.02 3/183 14663 /proc/meminfo: memFree=29122444/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1316420 CPUtime=1301.89 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 270577 0 0 0 130147 42 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 140735383143616 5661428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 329105 270273 852 2943 0 325999 0 [pid=14016/tid=14017] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1316420 [startup+1362.3 s] /proc/loadavg: 2.02 2.03 2.02 3/183 14664 /proc/meminfo: memFree=29121548/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1316420 CPUtime=1361.88 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 270577 0 0 0 136146 42 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 140735383143616 13191364 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 329105 270273 852 2943 0 325999 0 [pid=14016/tid=14017] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1316420 [startup+1422.3 s] /proc/loadavg: 2.01 2.03 2.01 3/183 14666 /proc/meminfo: memFree=29121796/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1316420 CPUtime=1421.87 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 270577 0 0 0 142145 42 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 140735383143616 13759456 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 329105 270273 852 2943 0 325999 0 [pid=14016/tid=14017] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1316420 [startup+1482.3 s] /proc/loadavg: 2.05 2.03 2.01 4/183 14667 /proc/meminfo: memFree=29111056/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1316420 CPUtime=1481.86 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 270577 0 0 0 148144 42 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 140735383143616 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 329105 270273 852 2943 0 325999 0 [pid=14016/tid=14017] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1316420 [startup+1542.3 s] /proc/loadavg: 2.02 2.02 2.00 3/183 14668 /proc/meminfo: memFree=29111968/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1316420 CPUtime=1541.86 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 270577 0 0 0 154144 42 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 140735383143616 5724032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 329105 270273 852 2943 0 325999 0 [pid=14016/tid=14017] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1316420 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 14669 /proc/meminfo: memFree=29112476/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1316420 CPUtime=1601.84 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 270577 0 0 0 160142 42 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 140735383144744 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 329105 270273 852 2943 0 325999 0 [pid=14016/tid=14017] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1316420 [startup+1662.31 s] /proc/loadavg: 2.03 2.03 2.00 3/183 14670 /proc/meminfo: memFree=29111768/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1316420 CPUtime=1661.83 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 270577 0 0 0 166141 42 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 140735383143616 12483286 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 329105 270273 852 2943 0 325999 0 [pid=14016/tid=14017] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1316420 [startup+1722.3 s] /proc/loadavg: 2.09 2.05 2.01 3/183 14672 /proc/meminfo: memFree=29111676/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1316420 CPUtime=1721.82 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 270577 0 0 0 172139 43 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 140735383143616 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 329105 270273 852 2943 0 325999 0 [pid=14016/tid=14017] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1316420 [startup+1782.3 s] /proc/loadavg: 2.13 2.07 2.01 3/183 14673 /proc/meminfo: memFree=29111396/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1316420 CPUtime=1781.81 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 270577 0 0 0 178138 43 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 140735383143616 5572136 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 329105 270273 852 2943 0 325999 0 [pid=14016/tid=14017] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1316420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.10 2.06 2.01 3/183 14673 /proc/meminfo: memFree=29111272/32872528 swapFree=534252/566956 [pid=14016] ppid=14013 vsize=1316420 CPUtime=1800.01 cores=0,2,4,6 /proc/14016/stat : 14016 (toysat) R 14013 14016 10353 0 -1 4202496 270577 0 0 0 179958 43 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 140735383143616 5712683 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14016/statm: 329105 270273 852 2943 0 325999 0 [pid=14016/tid=14017] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14017/stat : 14017 (toysat) S 14013 14016 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652940934384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=14016/tid=14018] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14018/stat : 14018 (toysat) S 14013 14016 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652930444528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=14016/tid=14019] ppid=14013 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/14016/task/14019/stat : 14019 (toysat) S 14013 14016 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002372 1348014080 270273 33554432000 4194304 16246674 140735383161744 139652919970992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1316420 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 14016 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.59 CPU system time (s): 0.438933 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 1316420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.438933 maximum resident set size= 1081092 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270577 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= 389 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.1342 second user time and 17.1594 second system time The end
Begin job on node138 at 2016-06-18 07:59:27 IDJOB=4102033 IDBENCH=1877 IDSOLVER=2542 FILE ID=node138/4102033-1466229567 RUNJOBID= node138-1466206053-10369 PBS_JOBID= 19918139 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102033-1466229567/watcher-4102033-1466229567 -o /tmp/evaluation-result-4102033-1466229567/solver-4102033-1466229567 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102033-1466229567.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8 RANDOM SEED=402195471 node138.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.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.79 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.395 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.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 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.395 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.395 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.395 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.54 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.395 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29565444 kB Buffers: 110216 kB Cached: 124136 kB SwapCached: 1060 kB Active: 1863272 kB Inactive: 137360 kB Active(anon): 1767424 kB Inactive(anon): 1228 kB Active(file): 95848 kB Inactive(file): 136132 kB Unevictable: 566956 kB Mlocked: 534252 kB SwapTotal: 67108856 kB SwapFree: 67099636 kB Dirty: 16484 kB Writeback: 0 kB AnonPages: 2332748 kB Mapped: 10828 kB Shmem: 0 kB Slab: 603736 kB SReclaimable: 47376 kB SUnreclaim: 556360 kB KernelStack: 1424 kB PageTables: 8484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2474704 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1318912 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= 71696 MiB End job on node138 at 2016-06-18 08:29:28