| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
| MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3671 |
| Best CPU time to get the best result obtained on this benchmark | 1800.66 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3695 |
| Optimality of the best value was proved | NO |
| Number of variables | 2756 |
| Total number of constraints | 749 |
| Number of constraints which are clauses | 132 |
| Number of constraints which are cardinality constraints (but not clauses) | 220 |
| Number of constraints which are nor clauses,nor cardinality constraints | 397 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 546 |
| Number of terms in the objective function | 2166 |
| Biggest coefficient in the objective function | 11000 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 321831 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 11000 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 321831 |
| Number of bits of the biggest sum of numbers | 19 |
| 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-06T16:44:36+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-4079467-1465224276.opb"] 0.00/0.01 c use --random-gen="976389369 3340426346 1330833957 1691524443 2821364168 1006477151 2166504505 3318897073 1316337103 2323194278 3693489402 1729091262 1738483372 2138224777 2144978508 1752920989 49650346 1243293929 2042935629 3350219508 3757768741 1071438087 935878436 3248591629 555159238 3840153607 2220652316 1569787731 4103521598 2137222338 2196990181 1200664092 1016473729 1090293342 1940202145 1870042157 535695661 2766200993 164395547 3072107510 2189929708 3384817532 348521366 3865158561 96273082 3305669793 1285786955 3543218113 1164313564 1190536156 3859585426 602154367 2618983205 1486328725 3964294987 3249705950 4016230041 3328656377 3379951900 3252550448 4027660526 2187620935 2005269396 189810016 4146544530 1697628169 4127855512 543983978 503465456 74282645 2472279656 1856582721 3401142776 1695218578 3395122475 3432360696 3268212851 79304084 2240200137 1983227783 3384911700 4085226430 18434406 1472688685 878223301 3386144832 3343378036 4170557629 2037180848 4096651205 2308285179 2079136697 3809504401 2629326024 2702870596 2985297771 3665685339 2525615758 2536628571 2923124906 2761935785 258414546 1001787871 1340463064 2778450190 3398794616 4292303036 4292033954 1890711829 3539746311 2534636315 2917861603 492808089 1000934207 3513226907 2095289886 4059530812 1820294702 2345784141 3480878920 3589649480 4052605678 2747336921 522735754 2537802819 1330750313 4081145214 524087279 3476933525 3374108300 2486338681 1364186359 3401330515 733834981 3190948153 2398536741 3417464528 1326644752 3861642992 341713512 217164573 3790821574 2659077355 4064155977 2536417050 3424316502 2400346690 3972255989 149433020 4204702227 1180224749 2791461236 1833099217 1304794632 438216852 2654094464 461780950 2192538789 1162858731 321129905 3936864817 730519610 3889500695 1606306070 2442596127 3146028016 1605838590 2646593805 1760683122 2678859247 4211640395 3794840979 3905230205 3953573692 3342104770 2379602474 2995488315 1109311761 1693113732 4118350922 507117902 1328921826 2047253221 3630373605 3144210640 429331283 3619887076 1882832810 3042880196 2720062598 1212335876 2222134325 2401627304 2130570336 1137745302 856087552 3270465509 945958959 3929343026 99371986 2145309548 1252214899 2350102091 203909212 2117527050 4111927287 2219580952 3499264612 2544860424 472402974 2527085701 2563290541 1625279646 1015462235 2015131085 3753914539 4256840392 535621830 3362999249 2802593722 1295839227 1210523903 2764779158 3138708927 1484011021 3052464078 3984612268 801229531 1259261570 3709661060 1746838286 1309019585 875706823 1345938951 3151968259 505703106 2495061145 1287570303 2390918174 2711925976 3670891570 1678176344 2148422070 3929036422 2641860016 2527773536 283066582 1232618 3410941878 1047372963 536735837 2695670799 952382678 495909593 1268222154 4257422702 255 362436" option to reproduce the execution 0.00/0.03 c #vars 2756 0.00/0.03 c #constraints 749 0.09/0.11 c BCD2: Hardening is enabled. 0.09/0.11 c BCD2: BiasedSearch is enabled. 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 1168 0 | 15 | 0 0.09/0.18 c 0.1s | 0 | 11192 | 32 | 1168 0 | 23 | 19 0.09/0.18 c #cpu_time = 0.061s 0.09/0.18 c #wall_clock_time = 0.061s 0.09/0.18 c #decision = 11192 0.09/0.18 c #random_decision = 65 0.09/0.18 c #conflict = 32 0.09/0.18 c #restart = 0 0.09/0.18 o 213141 0.09/0.19 c BCD2: updating upper bound: 321831 -> 213140 0.09/0.19 c BCD2: 0 <= obj <= 213140 0.09/0.20 c BCD2: #cores=0, #unrelaxed=2166, #relaxed=0, #hardened=0 0.09/0.20 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.20 c Solving starts ... 0.09/0.20 c ============================[ Search Statistics ]============================ 0.09/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.20 c | | | | Limit GC | Var | Constra 0.09/0.20 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 1168 0 | 23 | 19 0.19/0.21 c 0.0s | 0 | 465 | 0 | 1168 0 | 23 | 19 0.19/0.21 c #cpu_time = 0.003s 0.19/0.21 c #wall_clock_time = 0.003s 0.19/0.21 c #decision = 465 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 7: cost of the new core is >=1 0.19/0.21 c lower bound updated to 1 0.19/0.21 c BCD2: 1 <= obj <= 213140 0.19/0.21 c BCD2: #cores=1, #unrelaxed=2159, #relaxed=7, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 1168 0 | 23 | 19 0.19/0.21 c 0.0s | 0 | 930 | 0 | 1168 0 | 23 | 19 0.19/0.21 c #cpu_time = 0.004s 0.19/0.21 c #wall_clock_time = 0.004s 0.19/0.21 c #decision = 930 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 7: cost of the new core is >=12 0.19/0.21 c lower bound updated to 13 0.19/0.21 c BCD2: 13 <= obj <= 213140 0.19/0.21 c BCD2: #cores=2, #unrelaxed=2152, #relaxed=14, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 1168 0 | 23 | 19 0.19/0.22 c 0.0s | 0 | 1476 | 0 | 1168 0 | 23 | 19 0.19/0.22 c #cpu_time = 0.004s 0.19/0.22 c #wall_clock_time = 0.004s 0.19/0.22 c #decision = 1476 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 0 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 132: cost of the new core is >=13 0.19/0.22 c lower bound updated to 26 0.19/0.22 c BCD2: 26 <= obj <= 213140 0.19/0.22 c BCD2: #cores=3, #unrelaxed=2020, #relaxed=146, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 1168 0 | 23 | 19 0.29/0.37 c 0.1s | 1 | 3514 | 100 | 1285 0 | 23 | 19 0.49/0.51 c 0.3s | 2 | 5208 | 250 | 1414 0 | 23 | 19 0.69/0.78 c 0.6s | 3 | 6940 | 475 | 1556 0 | 23 | 19 1.09/1.20 c 1.0s | 4 | 8779 | 813 | 1712 0 | 23 | 19 1.79/1.89 c 1.7s | 5 | 10785 | 1320 | 1884 0 | 23 | 19 2.89/2.99 c 2.8s | 6 | 13047 | 2081 | 2073 0 | 23 | 19 4.78/4.88 c 4.7s | 7 | 15682 | 3223 | 2281 0 | 23 | 19 6.89/6.94 c 6.7s | 7 | 20124 | 4523 | 2281 1 | 23 | 19 7.49/7.52 c 7.3s | 8 | 20521 | 4936 | 2510 1 | 23 | 19 9.58/9.60 c 9.4s | 8 | 25037 | 6236 | 2510 2 | 23 | 19 11.58/11.67 c 11.5s | 9 | 26312 | 7506 | 2761 2 | 23 | 19 13.68/13.74 c 13.5s | 9 | 30739 | 8706 | 2761 3 | 23 | 19 15.78/15.86 c 15.6s | 9 | 32038 | 10006 | 2761 3 | 23 | 19 17.89/17.91 c 17.7s | 9 | 33245 | 11206 | 2761 4 | 23 | 19 18.09/18.15 c 17.9s | 10 | 33407 | 11361 | 3038 4 | 23 | 19 20.19/20.21 c 20.0s | 10 | 37811 | 12561 | 3038 5 | 23 | 19 22.29/22.38 c 22.2s | 10 | 39194 | 13861 | 3038 5 | 23 | 19 24.39/24.42 c 24.2s | 10 | 40406 | 14961 | 3038 5 | 23 | 19 26.49/26.57 c 26.3s | 10 | 41714 | 16261 | 3038 6 | 23 | 19 27.89/27.93 c 27.7s | 11 | 42576 | 17144 | 3342 6 | 23 | 19 29.89/29.97 c 29.7s | 11 | 46943 | 18244 | 3342 7 | 23 | 19 32.09/32.11 c 31.9s | 11 | 48268 | 19544 | 3342 7 | 23 | 19 34.19/34.25 c 34.0s | 11 | 49380 | 20644 | 3342 8 | 23 | 19 36.29/36.39 c 36.2s | 11 | 51680 | 21944 | 3342 8 | 23 | 19 38.59/38.64 c 38.4s | 11 | 52984 | 23244 | 3342 9 | 23 | 19 40.79/40.81 c 40.6s | 11 | 54279 | 24544 | 3342 9 | 23 | 19 42.88/42.97 c 42.8s | 11 | 55504 | 25744 | 3677 9 | 23 | 19 43.08/43.11 c 42.9s | 12 | 55583 | 25819 | 3677 9 | 23 | 19 45.19/45.21 c 45.0s | 12 | 60880 | 26919 | 3677 10 | 23 | 19 47.18/47.26 c 47.0s | 12 | 62090 | 28119 | 3677 10 | 23 | 19 49.18/49.27 c 49.0s | 12 | 63207 | 29219 | 3677 11 | 23 | 19 51.39/51.41 c 51.2s | 12 | 64408 | 30419 | 3677 11 | 23 | 19 53.38/53.42 c 53.2s | 12 | 65618 | 31619 | 3677 11 | 23 | 19 55.48/55.53 c 55.3s | 12 | 66822 | 32819 | 3677 12 | 23 | 19 57.58/57.65 c 57.4s | 12 | 68019 | 34019 | 3677 12 | 23 | 19 59.68/59.72 c 59.5s | 12 | 69222 | 35219 | 3677 13 | 23 | 19 61.69/61.78 c 61.6s | 12 | 70529 | 36519 | 3677 13 | 23 | 19 63.79/63.85 c 63.6s | 12 | 71739 | 37719 | 3677 13 | 23 | 19 65.78/65.82 c 65.6s | 13 | 72857 | 38832 | 4045 14 | 23 | 19 67.78/67.89 c 67.7s | 13 | 75459 | 39932 | 4045 14 | 23 | 19 69.88/69.90 c 69.7s | 13 | 76688 | 41132 | 4045 14 | 23 | 19 71.88/71.97 c 71.8s | 13 | 77788 | 42232 | 4045 15 | 23 | 19 73.97/74.06 c 73.8s | 13 | 79016 | 43432 | 4045 15 | 23 | 19 76.08/76.10 c 75.9s | 13 | 80123 | 44532 | 4045 15 | 23 | 19 78.09/78.11 c 77.9s | 13 | 81134 | 45532 | 4045 16 | 23 | 19 80.18/80.22 c 80.0s | 13 | 82445 | 46832 | 4045 16 | 23 | 19 82.28/82.38 c 82.2s | 13 | 83554 | 47932 | 4045 17 | 23 | 19 84.38/84.44 c 84.2s | 13 | 84755 | 49132 | 4045 17 | 23 | 19 86.48/86.54 c 86.3s | 13 | 85963 | 50332 | 4045 17 | 23 | 19 88.47/88.58 c 88.4s | 13 | 86977 | 51332 | 4045 18 | 23 | 19 90.68/90.76 c 90.5s | 13 | 88288 | 52632 | 4045 18 | 23 | 19 92.78/92.87 c 92.6s | 13 | 89403 | 53732 | 4045 18 | 23 | 19 94.88/94.99 c 94.8s | 13 | 90498 | 54832 | 4045 19 | 23 | 19 97.07/97.17 c 97.0s | 13 | 91701 | 56032 | 4045 19 | 23 | 19 99.17/99.25 c 99.0s | 13 | 92816 | 57132 | 4045 19 | 23 | 19 101.37/101.41 c 101s | 13 | 93915 | 58232 | 4450 20 | 23 | 19 101.57/101.63 c 101s | 14 | 94035 | 58352 | 4450 20 | 23 | 19 103.68/103.72 c 103s | 14 | 96636 | 59452 | 4450 20 | 23 | 19 105.68/105.77 c 105s | 14 | 97730 | 60552 | 4450 20 | 23 | 19 107.88/107.91 c 107s | 14 | 98853 | 61652 | 4450 21 | 23 | 19 109.98/110.03 c 109s | 14 | 100054 | 62852 | 4450 21 | 23 | 19 111.97/112.05 c 111s | 14 | 101167 | 63952 | 4450 21 | 23 | 19 113.97/114.07 c 113s | 14 | 102173 | 64952 | 4450 22 | 23 | 19 116.07/116.19 c 115s | 14 | 103273 | 66052 | 4450 22 | 23 | 19 118.27/118.37 c 118s | 14 | 104392 | 67152 | 4450 22 | 23 | 19 120.37/120.48 c 120s | 14 | 105490 | 68252 | 4450 23 | 23 | 19 122.57/122.60 c 122s | 14 | 106610 | 69352 | 4450 23 | 23 | 19 124.67/124.76 c 124s | 14 | 107725 | 70452 | 4450 23 | 23 | 19 126.87/126.91 c 126s | 14 | 108825 | 71552 | 4450 24 | 23 | 19 128.97/129.07 c 128s | 14 | 110030 | 72752 | 4450 24 | 23 | 19 131.07/131.11 c 130s | 14 | 111033 | 73752 | 4450 24 | 23 | 19 133.17/133.22 c 133s | 14 | 111942 | 74652 | 4450 25 | 23 | 19 135.17/135.28 c 135s | 14 | 112954 | 75652 | 4450 25 | 23 | 19 137.27/137.34 c 137s | 14 | 113963 | 76652 | 4450 25 | 23 | 19 139.36/139.40 c 139s | 14 | 115071 | 77752 | 4450 26 | 23 | 19 141.36/141.49 c 141s | 14 | 116368 | 79052 | 4450 26 | 23 | 19 143.46/143.57 c 143s | 14 | 117573 | 80252 | 4450 26 | 23 | 19 145.56/145.64 c 145s | 14 | 118586 | 81252 | 4450 27 | 23 | 19 147.66/147.73 c 147s | 14 | 119782 | 82452 | 4450 27 | 23 | 19 149.76/149.81 c 149s | 14 | 121080 | 83752 | 4450 27 | 23 | 19 151.78/151.88 c 151s | 14 | 122087 | 84752 | 4450 28 | 23 | 19 153.87/154.00 c 153s | 14 | 123400 | 86052 | 4450 28 | 23 | 19 155.97/156.06 c 155s | 14 | 124588 | 87252 | 4895 28 | 23 | 19 156.67/156.79 c 156s | 15 | 124970 | 87632 | 4895 28 | 23 | 19 158.87/158.92 c 158s | 15 | 130193 | 88632 | 4895 29 | 23 | 19 160.87/160.99 c 160s | 15 | 131423 | 89832 | 4895 29 | 23 | 19 162.97/163.07 c 162s | 15 | 132505 | 90932 | 4895 29 | 23 | 19 165.07/165.19 c 164s | 15 | 133617 | 92032 | 4895 30 | 23 | 19 167.17/167.29 c 167s | 15 | 134915 | 93332 | 4895 30 | 23 | 19 169.26/169.32 c 169s | 15 | 136218 | 94632 | 4895 30 | 23 | 19 171.26/171.34 c 171s | 15 | 137314 | 95732 | 4895 31 | 23 | 19 173.36/173.48 c 173s | 15 | 138521 | 96932 | 4895 31 | 23 | 19 175.46/175.54 c 175s | 15 | 139739 | 98132 | 4895 31 | 23 | 19 177.56/177.69 c 177s | 15 | 140732 | 99132 | 4895 32 | 23 | 19 179.76/179.83 c 179s | 15 | 141987 | 100332 | 4895 32 | 23 | 19 181.96/182.02 c 181s | 15 | 143193 | 101532 | 4895 32 | 23 | 19 184.06/184.10 c 183s | 15 | 144187 | 102532 | 4895 33 | 23 | 19 186.16/186.24 c 186s | 15 | 145390 | 103732 | 4895 33 | 23 | 19 188.26/188.34 c 188s | 15 | 146600 | 104932 | 4895 33 | 23 | 19 190.46/190.55 c 190s | 15 | 147694 | 106032 | 4895 34 | 23 | 19 192.57/192.62 c 192s | 15 | 148797 | 107132 | 4895 34 | 23 | 19 194.67/194.76 c 194s | 15 | 149809 | 108132 | 4895 34 | 23 | 19 196.87/196.94 c 196s | 15 | 150898 | 109232 | 4895 34 | 23 | 19 198.86/198.94 c 198s | 15 | 151712 | 110032 | 4895 35 | 23 | 19 200.86/200.97 c 200s | 15 | 153143 | 111232 | 4895 35 | 23 | 19 202.86/202.98 c 202s | 15 | 154154 | 112232 | 4895 35 | 23 | 19 204.96/205.09 c 204s | 15 | 155348 | 113432 | 4895 36 | 23 | 19 207.16/207.23 c 207s | 15 | 156747 | 114832 | 4895 36 | 23 | 19 209.16/209.24 c 209s | 15 | 157952 | 116032 | 4895 36 | 23 | 19 211.26/211.39 c 211s | 15 | 159054 | 117132 | 4895 37 | 23 | 19 213.36/213.49 c 213s | 15 | 160258 | 118332 | 4895 37 | 23 | 19 215.57/215.66 c 215s | 15 | 161461 | 119532 | 4895 37 | 23 | 19 217.66/217.77 c 217s | 15 | 162456 | 120532 | 4895 38 | 23 | 19 219.86/219.92 c 219s | 15 | 163767 | 121832 | 4895 38 | 23 | 19 221.96/222.07 c 221s | 15 | 164955 | 123032 | 4895 38 | 23 | 19 224.16/224.23 c 224s | 15 | 165959 | 124032 | 4895 39 | 23 | 19 226.36/226.44 c 226s | 15 | 167074 | 125132 | 4895 39 | 23 | 19 228.36/228.45 c 228s | 15 | 168275 | 126332 | 4895 39 | 23 | 19 230.55/230.64 c 230s | 15 | 169472 | 127532 | 4895 39 | 23 | 19 232.55/232.65 c 232s | 15 | 170471 | 128532 | 4895 40 | 23 | 19 234.65/234.76 c 234s | 15 | 171576 | 129632 | 4895 40 | 23 | 19 236.85/236.93 c 236s | 15 | 172772 | 130832 | 5385 40 | 23 | 19 238.15/238.20 c 237s | 16 | 173496 | 131552 | 5385 40 | 23 | 19 240.15/240.21 c 239s | 16 | 178874 | 132452 | 5385 41 | 23 | 19 242.15/242.28 c 242s | 16 | 180072 | 133652 | 5385 41 | 23 | 19 244.35/244.40 c 244s | 16 | 181280 | 134852 | 5385 41 | 23 | 19 246.35/246.41 c 246s | 16 | 182286 | 135852 | 5385 42 | 23 | 19 248.36/248.49 c 248s | 16 | 183487 | 137052 | 5385 42 | 23 | 19 250.55/250.64 c 250s | 16 | 184702 | 138252 | 5385 42 | 23 | 19 252.85/253.00 c 252s | 16 | 185796 | 139352 | 5385 43 | 23 | 19 254.95/255.02 c 254s | 16 | 186831 | 140352 | 5385 43 | 23 | 19 256.95/257.04 c 256s | 16 | 188031 | 141552 | 5385 43 | 23 | 19 259.05/259.15 c 258s | 16 | 189246 | 142752 | 5385 43 | 23 | 19 261.15/261.21 c 260s | 16 | 190240 | 143752 | 5385 44 | 23 | 19 263.15/263.28 c 263s | 16 | 191355 | 144852 | 5385 44 | 23 | 19 265.35/265.42 c 265s | 16 | 192374 | 145852 | 5385 44 | 23 | 19 267.65/267.77 c 267s | 16 | 193609 | 147052 | 5385 45 | 23 | 19 269.85/269.90 c 269s | 16 | 194914 | 148352 | 5385 45 | 23 | 19 271.85/271.93 c 271s | 16 | 196119 | 149552 | 5385 45 | 23 | 19 273.86/273.95 c 273s | 16 | 197255 | 150652 | 5385 45 | 23 | 19 275.95/276.00 c 275s | 16 | 198301 | 151652 | 5385 46 | 23 | 19 277.95/278.01 c 277s | 16 | 199425 | 152752 | 5385 46 | 23 | 19 279.95/280.01 c 279s | 16 | 200426 | 153752 | 5385 46 | 23 | 19 282.05/282.12 c 281s | 16 | 201238 | 154552 | 5385 46 | 23 | 19 284.14/284.20 c 283s | 16 | 202238 | 155552 | 5385 47 | 23 | 19 286.14/286.26 c 286s | 16 | 203347 | 156652 | 5385 47 | 23 | 19 288.34/288.41 c 288s | 16 | 204465 | 157752 | 5385 47 | 23 | 19 290.36/290.44 c 290s | 16 | 205392 | 158652 | 5385 48 | 23 | 19 292.45/292.56 c 292s | 16 | 206607 | 159852 | 5385 48 | 23 | 19 294.55/294.64 c 294s | 16 | 207824 | 161052 | 5385 48 | 23 | 19 296.65/296.78 c 296s | 16 | 209039 | 162252 | 5385 48 | 23 | 19 298.85/298.95 c 298s | 16 | 210161 | 163352 | 5385 49 | 23 | 19 301.05/301.12 c 300s | 16 | 211377 | 164552 | 5385 49 | 23 | 19 303.15/303.25 c 303s | 16 | 212389 | 165552 | 5385 49 | 23 | 19 305.24/305.38 c 305s | 16 | 213422 | 166552 | 5385 50 | 23 | 19 307.44/307.50 c 307s | 16 | 214646 | 167752 | 5385 50 | 23 | 19 309.44/309.56 c 309s | 16 | 215778 | 168852 | 5385 50 | 23 | 19 311.44/311.59 c 311s | 16 | 216781 | 169852 | 5385 50 | 23 | 19 313.54/313.69 c 313s | 16 | 217833 | 170852 | 5385 51 | 23 | 19 315.65/315.79 c 315s | 16 | 218973 | 171952 | 5385 51 | 23 | 19 317.74/317.83 c 317s | 16 | 220001 | 172952 | 5385 51 | 23 | 19 319.94/320.05 c 319s | 16 | 221006 | 173952 | 5385 52 | 23 | 19 322.14/322.21 c 321s | 16 | 222216 | 175152 | 5385 52 | 23 | 19 324.24/324.31 c 324s | 16 | 223328 | 176252 | 5385 52 | 23 | 19 326.24/326.37 c 326s | 16 | 224332 | 177252 | 5385 52 | 23 | 19 328.44/328.54 c 328s | 16 | 225328 | 178252 | 5385 53 | 23 | 19 330.44/330.60 c 330s | 16 | 226337 | 179252 | 5385 53 | 23 | 19 332.64/332.71 c 332s | 16 | 227432 | 180352 | 5385 53 | 23 | 19 334.64/334.77 c 334s | 16 | 228527 | 181452 | 5385 53 | 23 | 19 336.74/336.81 c 336s | 16 | 229532 | 182452 | 5385 54 | 23 | 19 338.84/338.93 c 338s | 16 | 230638 | 183552 | 5385 54 | 23 | 19 340.84/340.96 c 340s | 16 | 231545 | 184452 | 5385 54 | 23 | 19 342.84/342.96 c 342s | 16 | 232549 | 185452 | 5385 54 | 23 | 19 344.94/345.07 c 344s | 16 | 233557 | 186452 | 5385 55 | 23 | 19 347.04/347.16 c 346s | 16 | 234662 | 187552 | 5385 55 | 23 | 19 349.14/349.21 c 348s | 16 | 235659 | 188552 | 5385 55 | 23 | 19 351.14/351.26 c 351s | 16 | 236561 | 189452 | 5385 56 | 23 | 19 353.33/353.47 c 353s | 16 | 237667 | 190552 | 5385 56 | 23 | 19 355.43/355.51 c 355s | 16 | 238562 | 191452 | 5385 56 | 23 | 19 358.23/358.36 c 358s | 16 | 239568 | 192452 | 5385 56 | 23 | 19 360.23/360.38 c 360s | 16 | 240661 | 193552 | 5385 57 | 23 | 19 362.33/362.41 c 362s | 16 | 241966 | 194852 | 5385 57 | 23 | 19 364.44/364.55 c 364s | 16 | 243280 | 196152 | 5924 57 | 23 | 19 366.54/366.60 c 366s | 16 | 244475 | 197352 | 5924 57 | 23 | 19 366.64/366.75 c 366s | 17 | 244559 | 197432 | 5924 57 | 23 | 19 368.73/368.84 c 368s | 17 | 249905 | 198332 | 5924 58 | 23 | 19 370.93/371.00 c 370s | 17 | 251090 | 199532 | 5924 58 | 23 | 19 373.03/373.19 c 372s | 17 | 252207 | 200632 | 5924 58 | 23 | 19 375.03/375.19 c 374s | 17 | 253109 | 201532 | 5924 58 | 23 | 19 377.23/377.35 c 377s | 17 | 254199 | 202632 | 5924 59 | 23 | 19 379.24/379.35 c 379s | 17 | 255114 | 203532 | 5924 59 | 23 | 19 381.44/381.56 c 381s | 17 | 256313 | 204732 | 5924 59 | 23 | 19 383.53/383.69 c 383s | 17 | 257417 | 205832 | 5924 60 | 23 | 19 385.73/385.80 c 385s | 17 | 258625 | 207032 | 5924 60 | 23 | 19 387.83/387.93 c 387s | 17 | 259825 | 208232 | 5924 60 | 23 | 19 389.83/389.96 c 389s | 17 | 260931 | 209332 | 5924 60 | 23 | 19 391.93/392.02 c 391s | 17 | 261931 | 210332 | 5924 61 | 23 | 19 393.93/394.05 c 393s | 17 | 263029 | 211432 | 5924 61 | 23 | 19 396.03/396.14 c 395s | 17 | 264026 | 212432 | 5924 61 | 23 | 19 398.23/398.40 c 398s | 17 | 265130 | 213532 | 5924 61 | 23 | 19 400.33/400.46 c 400s | 17 | 266235 | 214632 | 5924 62 | 23 | 19 402.42/402.51 c 402s | 17 | 267437 | 215832 | 5924 62 | 23 | 19 404.43/404.55 c 404s | 17 | 268232 | 216632 | 5924 62 | 23 | 19 406.53/406.62 c 406s | 17 | 269437 | 217832 | 5924 62 | 23 | 19 408.53/408.67 c 408s | 17 | 270434 | 218832 | 5924 63 | 23 | 19 410.73/410.80 c 410s | 17 | 271639 | 220032 | 5924 63 | 23 | 19 412.83/412.96 c 412s | 17 | 272839 | 221232 | 5924 63 | 23 | 19 414.93/415.03 c 414s | 17 | 273835 | 222232 | 5924 64 | 23 | 19 416.93/417.06 c 416s | 17 | 274943 | 223332 | 5924 64 | 23 | 19 418.92/419.09 c 418s | 17 | 276052 | 224432 | 5924 64 | 23 | 19 421.03/421.12 c 420s | 17 | 277151 | 225532 | 5924 64 | 23 | 19 423.13/423.26 c 423s | 17 | 278145 | 226532 | 5924 65 | 23 | 19 425.33/425.40 c 425s | 17 | 279352 | 227732 | 5924 65 | 23 | 19 427.42/427.51 c 427s | 17 | 280454 | 228832 | 5924 65 | 23 | 19 429.42/429.54 c 429s | 17 | 281268 | 229632 | 5924 65 | 23 | 19 431.52/431.62 c 431s | 17 | 282064 | 230432 | 5924 66 | 23 | 19 433.62/433.73 c 433s | 17 | 283157 | 231532 | 5924 66 | 23 | 19 435.82/435.90 c 435s | 17 | 284890 | 232632 | 5924 66 | 23 | 19 437.83/437.92 c 437s | 17 | 285881 | 233632 | 5924 66 | 23 | 19 440.12/440.20 c 439s | 17 | 286801 | 234532 | 5924 67 | 23 | 19 442.13/442.28 c 442s | 17 | 288002 | 235732 | 5924 67 | 23 | 19 444.33/444.42 c 444s | 17 | 289297 | 237032 | 5924 67 | 23 | 19 446.32/446.47 c 446s | 17 | 290395 | 238132 | 5924 67 | 23 | 19 448.52/448.64 c 448s | 17 | 291402 | 239132 | 5924 68 | 23 | 19 450.73/450.81 c 450s | 17 | 292504 | 240232 | 5924 68 | 23 | 19 452.73/452.84 c 452s | 17 | 293501 | 241232 | 5924 68 | 23 | 19 454.92/455.04 c 454s | 17 | 294510 | 242232 | 5924 68 | 23 | 19 457.02/457.18 c 456s | 17 | 295399 | 243132 | 5924 69 | 23 | 19 459.12/459.21 c 458s | 17 | 296294 | 244032 | 5924 69 | 23 | 19 461.22/461.39 c 461s | 17 | 297402 | 245132 | 5924 69 | 23 | 19 463.32/463.45 c 463s | 17 | 298404 | 246132 | 5924 69 | 23 | 19 465.32/465.47 c 465s | 17 | 299209 | 246932 | 5924 70 | 23 | 19 467.42/467.59 c 467s | 17 | 300404 | 248132 | 5924 70 | 23 | 19 469.52/469.63 c 469s | 17 | 301505 | 249232 | 5924 70 | 23 | 19 471.62/471.77 c 471s | 17 | 302614 | 250332 | 5924 70 | 23 | 19 473.72/473.85 c 473s | 17 | 303511 | 251232 | 5924 71 | 23 | 19 475.82/475.92 c 475s | 17 | 304612 | 252332 | 5924 71 | 23 | 19 478.12/478.24 c 478s | 17 | 305734 | 253432 | 5924 71 | 23 | 19 480.22/480.39 c 480s | 17 | 306931 | 254632 | 5924 71 | 23 | 19 482.41/482.53 c 482s | 17 | 307929 | 255632 | 5924 72 | 23 | 19 484.62/484.74 c 484s | 17 | 309033 | 256732 | 5924 72 | 23 | 19 486.62/486.76 c 486s | 17 | 310022 | 257732 | 5924 72 | 23 | 19 488.72/488.86 c 488s | 17 | 310931 | 258632 | 5924 72 | 23 | 19 491.12/491.25 c 491s | 17 | 311827 | 259532 | 5924 73 | 23 | 19 493.31/493.43 c 493s | 17 | 313029 | 260732 | 5924 73 | 23 | 19 495.31/495.45 c 495s | 17 | 314031 | 261732 | 5924 73 | 23 | 19 497.41/497.59 c 497s | 17 | 315136 | 262832 | 5924 73 | 23 | 19 499.52/499.69 c 499s | 17 | 316146 | 263832 | 5924 74 | 23 | 19 501.62/501.79 c 501s | 17 | 317246 | 264932 | 5924 74 | 23 | 19 503.62/503.79 c 503s | 17 | 318241 | 265932 | 5924 74 | 23 | 19 505.71/505.83 c 505s | 17 | 319146 | 266832 | 5924 74 | 23 | 19 507.71/507.85 c 507s | 17 | 320049 | 267732 | 5924 75 | 23 | 19 509.81/509.99 c 509s | 17 | 321144 | 268832 | 5924 75 | 23 | 19 512.02/512.10 c 511s | 17 | 322144 | 269832 | 5924 75 | 23 | 19 514.21/514.32 c 514s | 17 | 323155 | 270832 | 5924 75 | 23 | 19 516.31/516.40 c 516s | 17 | 324061 | 271732 | 5924 76 | 23 | 19 518.31/518.46 c 518s | 17 | 325057 | 272732 | 5924 76 | 23 | 19 520.51/520.61 c 520s | 17 | 326159 | 273832 | 5924 76 | 23 | 19 522.61/522.75 c 522s | 17 | 327165 | 274832 | 5924 76 | 23 | 19 524.62/524.78 c 524s | 17 | 327962 | 275632 | 5924 77 | 23 | 19 526.71/526.89 c 526s | 17 | 329063 | 276732 | 5924 77 | 23 | 19 528.91/529.04 c 528s | 17 | 330073 | 277732 | 5924 77 | 23 | 19 531.11/531.25 c 531s | 17 | 331186 | 278832 | 5924 77 | 23 | 19 533.51/533.66 c 533s | 17 | 332179 | 279832 | 5924 78 | 23 | 19 535.71/535.85 c 535s | 17 | 333200 | 280832 | 5924 78 | 23 | 19 537.81/537.95 c 537s | 17 | 334201 | 281832 | 5924 78 | 23 | 19 539.91/540.09 c 539s | 17 | 335111 | 282732 | 5924 78 | 23 | 19 542.11/542.24 c 542s | 17 | 335910 | 283532 | 5924 78 | 23 | 19 544.31/544.41 c 544s | 17 | 336729 | 284332 | 5924 79 | 23 | 19 546.31/546.46 c 546s | 17 | 337727 | 285332 | 5924 79 | 23 | 19 548.40/548.56 c 548s | 17 | 338928 | 286532 | 5924 79 | 23 | 19 550.50/550.61 c 550s | 17 | 340027 | 287632 | 5924 79 | 23 | 19 552.60/552.72 c 552s | 17 | 341028 | 288632 | 5924 80 | 23 | 19 554.60/554.74 c 554s | 17 | 342128 | 289732 | 5924 80 | 23 | 19 556.70/556.87 c 556s | 17 | 343229 | 290832 | 5924 80 | 23 | 19 558.81/558.95 c 558s | 17 | 344134 | 291732 | 5924 80 | 23 | 19 560.91/561.08 c 560s | 17 | 345235 | 292832 | 5924 81 | 23 | 19 563.11/563.23 c 563s | 17 | 346438 | 294032 | 5924 81 | 23 | 19 565.21/565.32 c 565s | 17 | 347445 | 295032 | 6517 81 | 23 | 19 567.31/567.48 c 567s | 17 | 348549 | 296132 | 6517 81 | 23 | 19 567.61/567.73 c 567s | 18 | 348672 | 296252 | 6517 81 | 23 | 19 569.71/569.85 c 569s | 18 | 353102 | 297252 | 6517 82 | 23 | 19 571.71/571.89 c 571s | 18 | 354402 | 298552 | 6517 82 | 23 | 19 573.90/574.01 c 573s | 18 | 355703 | 299852 | 6517 82 | 23 | 19 576.00/576.12 c 575s | 18 | 356816 | 300952 | 6517 83 | 23 | 19 578.10/578.25 c 578s | 18 | 358004 | 302152 | 6517 83 | 23 | 19 580.20/580.30 c 580s | 18 | 359021 | 303152 | 6517 83 | 23 | 19 582.20/582.38 c 582s | 18 | 360113 | 304252 | 6517 83 | 23 | 19 584.30/584.40 c 584s | 18 | 361010 | 305152 | 6517 83 | 23 | 19 586.31/586.44 c 586s | 18 | 362463 | 305952 | 6517 84 | 23 | 19 588.41/588.55 c 588s | 18 | 363775 | 307252 | 6517 84 | 23 | 19 590.50/590.69 c 590s | 18 | 364971 | 308452 | 6517 84 | 23 | 19 592.70/592.80 c 592s | 18 | 366076 | 309552 | 6517 84 | 23 | 19 594.80/594.93 c 594s | 18 | 367091 | 310552 | 6517 85 | 23 | 19 596.89/597.09 c 596s | 18 | 368393 | 311852 | 6517 85 | 23 | 19 599.09/599.24 c 599s | 18 | 369587 | 313052 | 6517 85 | 23 | 19 601.30/601.40 c 601s | 18 | 370693 | 314152 | 6517 85 | 23 | 19 603.30/603.48 c 603s | 18 | 371808 | 315252 | 6517 86 | 23 | 19 605.40/605.51 c 605s | 18 | 372919 | 316352 | 6517 86 | 23 | 19 607.50/607.61 c 607s | 18 | 373813 | 317252 | 6517 86 | 23 | 19 609.50/609.68 c 609s | 18 | 375011 | 318452 | 6517 86 | 23 | 19 611.60/611.78 c 611s | 18 | 376117 | 319552 | 6517 87 | 23 | 19 613.60/613.79 c 613s | 18 | 377125 | 320552 | 6517 87 | 23 | 19 615.70/615.88 c 615s | 18 | 378233 | 321652 | 6517 87 | 23 | 19 617.89/618.07 c 617s | 18 | 379332 | 322752 | 6517 87 | 23 | 19 619.99/620.17 c 619s | 18 | 380138 | 323552 | 6517 88 | 23 | 19 621.99/622.19 c 621s | 18 | 381246 | 324652 | 6517 88 | 23 | 19 624.20/624.34 c 624s | 18 | 382343 | 325752 | 6517 88 | 23 | 19 626.30/626.40 c 626s | 18 | 383458 | 326852 | 6517 88 | 23 | 19 628.30/628.46 c 628s | 18 | 384356 | 327752 | 6517 89 | 23 | 19 630.30/630.48 c 630s | 18 | 385463 | 328852 | 6517 89 | 23 | 19 632.50/632.64 c 632s | 18 | 386565 | 329952 | 6517 89 | 23 | 19 634.70/634.83 c 634s | 18 | 387685 | 331052 | 6517 89 | 23 | 19 636.90/637.07 c 636s | 18 | 388587 | 331952 | 6517 90 | 23 | 19 639.10/639.25 c 639s | 18 | 389705 | 333052 | 6517 90 | 23 | 19 641.20/641.39 c 641s | 18 | 390804 | 334152 | 6517 90 | 23 | 19 643.29/643.43 c 643s | 18 | 392003 | 335352 | 6517 90 | 23 | 19 645.29/645.45 c 645s | 18 | 392906 | 336252 | 6517 91 | 23 | 19 647.29/647.49 c 647s | 18 | 394116 | 337452 | 6517 91 | 23 | 19 649.39/649.57 c 649s | 18 | 395310 | 338652 | 6517 91 | 23 | 19 651.39/651.59 c 651s | 18 | 396317 | 339652 | 6517 91 | 23 | 19 653.69/653.89 c 653s | 18 | 397329 | 340652 | 6517 92 | 23 | 19 655.89/656.03 c 655s | 18 | 398432 | 341752 | 6517 92 | 23 | 19 657.89/658.06 c 657s | 18 | 399534 | 342852 | 6517 92 | 23 | 19 660.09/660.21 c 659s | 18 | 400637 | 343952 | 6517 92 | 23 | 19 662.10/662.28 c 662s | 18 | 401750 | 345052 | 6517 92 | 23 | 19 664.19/664.38 c 664s | 18 | 402750 | 346052 | 6517 93 | 23 | 19 666.29/666.48 c 666s | 18 | 403966 | 347252 | 6517 93 | 23 | 19 668.29/668.49 c 668s | 18 | 404974 | 348252 | 6517 93 | 23 | 19 670.39/670.59 c 670s | 18 | 405981 | 349252 | 6517 93 | 23 | 19 672.48/672.62 c 672s | 18 | 406883 | 350152 | 6517 94 | 23 | 19 674.48/674.65 c 674s | 18 | 407988 | 351252 | 6517 94 | 23 | 19 676.68/676.80 c 676s | 18 | 409091 | 352352 | 6517 94 | 23 | 19 678.78/678.95 c 678s | 18 | 410104 | 353352 | 6517 94 | 23 | 19 680.89/681.02 c 680s | 18 | 411003 | 354252 | 6517 95 | 23 | 19 682.89/683.09 c 682s | 18 | 412101 | 355352 | 6517 95 | 23 | 19 684.99/685.10 c 684s | 18 | 413201 | 356452 | 6517 95 | 23 | 19 686.99/687.16 c 686s | 18 | 414308 | 357552 | 6517 95 | 23 | 19 689.09/689.25 c 689s | 18 | 415306 | 358552 | 6517 96 | 23 | 19 691.19/691.32 c 691s | 18 | 416411 | 359652 | 6517 96 | 23 | 19 693.19/693.33 c 693s | 18 | 417410 | 360652 | 6517 96 | 23 | 19 695.28/695.48 c 695s | 18 | 418406 | 361652 | 6517 96 | 23 | 19 697.68/697.85 c 697s | 18 | 419517 | 362752 | 6517 97 | 23 | 19 699.78/699.92 c 699s | 18 | 421906 | 364052 | 6517 97 | 23 | 19 701.79/701.95 c 701s | 18 | 423224 | 365352 | 6517 97 | 23 | 19 703.78/703.96 c 703s | 18 | 424470 | 366552 | 6517 97 | 23 | 19 705.98/706.17 c 705s | 18 | 425286 | 367352 | 6517 98 | 23 | 19 708.08/708.28 c 708s | 18 | 426582 | 368652 | 6517 98 | 23 | 19 710.18/710.34 c 710s | 18 | 427781 | 369852 | 6517 98 | 23 | 19 712.18/712.36 c 712s | 18 | 428884 | 370952 | 6517 98 | 23 | 19 714.28/714.47 c 714s | 18 | 429783 | 371852 | 6517 99 | 23 | 19 716.29/716.48 c 716s | 18 | 430888 | 372952 | 6517 99 | 23 | 19 718.38/718.56 c 718s | 18 | 432085 | 374152 | 6517 99 | 23 | 19 720.49/720.69 c 720s | 18 | 433195 | 375252 | 6517 99 | 23 | 19 722.69/722.83 c 722s | 18 | 434197 | 376252 | 6517 100 | 23 | 19 724.68/724.84 c 724s | 18 | 435390 | 377452 | 6517 100 | 23 | 19 726.78/726.97 c 726s | 18 | 436508 | 378552 | 6517 100 | 23 | 19 728.88/729.03 c 728s | 18 | 437601 | 379652 | 6517 100 | 23 | 19 730.98/731.11 c 730s | 18 | 438504 | 380552 | 6517 101 | 23 | 19 732.98/733.11 c 732s | 18 | 439405 | 381452 | 6517 101 | 23 | 19 734.97/735.15 c 734s | 18 | 440416 | 382452 | 6517 101 | 23 | 19 737.07/737.20 c 736s | 18 | 441449 | 383452 | 6517 101 | 23 | 19 739.08/739.27 c 739s | 18 | 442450 | 384452 | 6517 101 | 23 | 19 741.28/741.41 c 741s | 18 | 443445 | 385452 | 6517 102 | 23 | 19 743.37/743.52 c 743s | 18 | 444555 | 386552 | 6517 102 | 23 | 19 745.57/745.71 c 745s | 18 | 445658 | 387652 | 6517 102 | 23 | 19 747.57/747.79 c 747s | 18 | 446661 | 388652 | 6517 102 | 23 | 19 750.09/750.25 c 750s | 18 | 447363 | 389352 | 6517 103 | 23 | 19 752.18/752.35 c 752s | 18 | 448564 | 390552 | 6517 103 | 23 | 19 754.38/754.50 c 754s | 18 | 449760 | 391752 | 6517 103 | 23 | 19 756.48/756.61 c 756s | 18 | 450870 | 392852 | 6517 103 | 23 | 19 758.57/758.72 c 758s | 18 | 451764 | 393752 | 6517 104 | 23 | 19 760.67/760.82 c 760s | 18 | 452872 | 394852 | 6517 104 | 23 | 19 762.67/762.89 c 762s | 18 | 454075 | 396052 | 6517 104 | 23 | 19 764.67/764.89 c 764s | 18 | 455271 | 397252 | 6517 104 | 23 | 19 766.77/766.91 c 766s | 18 | 456174 | 398152 | 6517 105 | 23 | 19 768.77/768.91 c 768s | 18 | 457184 | 399152 | 6517 105 | 23 | 19 770.77/770.92 c 770s | 18 | 458288 | 400252 | 6517 105 | 23 | 19 772.78/772.98 c 772s | 18 | 459380 | 401352 | 6517 105 | 23 | 19 775.27/775.47 c 775s | 18 | 460496 | 402452 | 6517 106 | 23 | 19 777.47/777.61 c 777s | 18 | 461690 | 403652 | 6517 106 | 23 | 19 779.47/779.64 c 779s | 18 | 462784 | 404752 | 6517 106 | 23 | 19 781.57/781.78 c 781s | 18 | 463892 | 405852 | 6517 106 | 23 | 19 783.87/784.04 c 783s | 18 | 464890 | 406852 | 6517 107 | 23 | 19 785.97/786.14 c 785s | 18 | 465997 | 407952 | 6517 107 | 23 | 19 787.97/788.17 c 787s | 18 | 467003 | 408952 | 6517 107 | 23 | 19 790.07/790.24 c 790s | 18 | 468101 | 410052 | 6517 107 | 23 | 19 792.27/792.40 c 792s | 18 | 469204 | 411152 | 6517 107 | 23 | 19 794.27/794.43 c 794s | 18 | 470200 | 412152 | 6517 108 | 23 | 19 796.27/796.50 c 796s | 18 | 471302 | 413252 | 6517 108 | 23 | 19 798.37/798.57 c 798s | 18 | 472320 | 414252 | 6517 108 | 23 | 19 800.47/800.62 c 800s | 18 | 473319 | 415252 | 6517 108 | 23 | 19 802.47/802.65 c 802s | 18 | 474229 | 416152 | 6517 109 | 23 | 19 804.46/804.67 c 804s | 18 | 475330 | 417252 | 6517 109 | 23 | 19 806.47/806.69 c 806s | 18 | 476328 | 418252 | 6517 109 | 23 | 19 808.57/808.79 c 808s | 18 | 477423 | 419352 | 6517 109 | 23 | 19 810.77/810.93 c 810s | 18 | 478426 | 420352 | 6517 110 | 23 | 19 812.78/812.99 c 812s | 18 | 479629 | 421552 | 6517 110 | 23 | 19 814.97/815.14 c 814s | 18 | 480825 | 422752 | 6517 110 | 23 | 19 817.17/817.34 c 817s | 18 | 482039 | 423952 | 6517 110 | 23 | 19 819.26/819.46 c 819s | 18 | 483047 | 424952 | 6517 111 | 23 | 19 821.26/821.49 c 821s | 18 | 484147 | 426052 | 6517 111 | 23 | 19 823.46/823.66 c 823s | 18 | 485250 | 427152 | 6517 111 | 23 | 19 825.97/826.12 c 825s | 18 | 486255 | 428152 | 6517 111 | 23 | 19 828.06/828.25 c 828s | 18 | 487051 | 428952 | 6517 112 | 23 | 19 830.16/830.33 c 830s | 18 | 488146 | 430052 | 6517 112 | 23 | 19 832.26/832.48 c 832s | 18 | 489149 | 431052 | 6517 112 | 23 | 19 834.26/834.48 c 834s | 18 | 490150 | 432052 | 6517 112 | 23 | 19 836.47/836.67 c 836s | 18 | 491256 | 433152 | 6517 112 | 23 | 19 838.57/838.77 c 838s | 18 | 492254 | 434152 | 6517 113 | 23 | 19 840.67/840.83 c 840s | 18 | 493456 | 435352 | 6517 113 | 23 | 19 842.86/843.02 c 842s | 18 | 494665 | 436552 | 6517 113 | 23 | 19 844.86/845.04 c 844s | 18 | 495657 | 437552 | 6517 113 | 23 | 19 846.96/847.13 c 846s | 18 | 497530 | 438452 | 6517 114 | 23 | 19 848.97/849.18 c 848s | 18 | 498535 | 439452 | 6517 114 | 23 | 19 851.06/851.21 c 850s | 18 | 499142 | 440052 | 6517 114 | 23 | 19 853.06/853.26 c 853s | 18 | 500138 | 441052 | 6517 114 | 23 | 19 855.26/855.41 c 855s | 18 | 501151 | 442052 | 7169 114 | 23 | 19 857.26/857.45 c 857s | 18 | 501953 | 442852 | 7169 115 | 23 | 19 859.36/859.56 c 859s | 18 | 503044 | 443952 | 7169 115 | 23 | 19 860.46/860.63 c 860s | 19 | 503586 | 444482 | 7169 115 | 23 | 19 862.56/862.77 c 862s | 19 | 506096 | 445482 | 7169 115 | 23 | 19 864.76/864.98 c 864s | 19 | 507201 | 446582 | 7169 115 | 23 | 19 866.76/866.99 c 866s | 19 | 508102 | 447482 | 7169 116 | 23 | 19 868.86/869.03 c 868s | 19 | 509208 | 448582 | 7169 116 | 23 | 19 870.96/871.17 c 870s | 19 | 510419 | 449782 | 7169 116 | 23 | 19 873.06/873.26 c 873s | 19 | 511527 | 450882 | 7169 116 | 23 | 19 875.06/875.27 c 875s | 19 | 512321 | 451682 | 7169 116 | 23 | 19 877.26/877.40 c 877s | 19 | 513432 | 452782 | 7169 117 | 23 | 19 879.36/879.57 c 879s | 19 | 514734 | 454082 | 7169 117 | 23 | 19 881.55/881.71 c 881s | 19 | 515947 | 455282 | 7169 117 | 23 | 19 883.55/883.77 c 883s | 19 | 517055 | 456382 | 7169 117 | 23 | 19 885.75/885.95 c 885s | 19 | 518059 | 457382 | 7169 118 | 23 | 19 887.75/887.99 c 887s | 19 | 519162 | 458482 | 7169 118 | 23 | 19 889.86/890.09 c 889s | 19 | 520265 | 459582 | 7169 118 | 23 | 19 891.96/892.13 c 891s | 19 | 521075 | 460382 | 7169 118 | 23 | 19 894.06/894.25 c 894s | 19 | 522081 | 461382 | 7169 118 | 23 | 19 896.15/896.31 c 896s | 19 | 522987 | 462282 | 7169 119 | 23 | 19 898.15/898.32 c 898s | 19 | 524088 | 463382 | 7169 119 | 23 | 19 900.15/900.36 c 900s | 19 | 525089 | 464382 | 7169 119 | 23 | 19 902.15/902.36 c 902s | 19 | 526083 | 465382 | 7169 119 | 23 | 19 904.65/904.83 c 904s | 19 | 527186 | 466482 | 7169 120 | 23 | 19 906.75/906.93 c 906s | 19 | 528395 | 467682 | 7169 120 | 23 | 19 908.85/909.09 c 908s | 19 | 529600 | 468882 | 7169 120 | 23 | 19 911.05/911.28 c 911s | 19 | 530695 | 469982 | 7169 120 | 23 | 19 913.25/913.46 c 913s | 19 | 531496 | 470782 | 7169 120 | 23 | 19 915.35/915.53 c 915s | 19 | 532399 | 471682 | 7169 121 | 23 | 19 917.55/917.70 c 917s | 19 | 533610 | 472882 | 7169 121 | 23 | 19 919.45/919.70 c 919s | 19 | 534710 | 473982 | 7169 121 | 23 | 19 921.65/921.83 c 921s | 19 | 535810 | 475082 | 7169 121 | 23 | 19 923.96/924.11 c 923s | 19 | 536729 | 475982 | 7169 122 | 23 | 19 925.95/926.16 c 925s | 19 | 537626 | 476882 | 7169 122 | 23 | 19 928.05/928.22 c 928s | 19 | 538829 | 478082 | 7169 122 | 23 | 19 930.15/930.36 c 930s | 19 | 539929 | 479182 | 7169 122 | 23 | 19 932.35/932.55 c 932s | 19 | 540941 | 480182 | 7169 122 | 23 | 19 934.45/934.65 c 934s | 19 | 541837 | 481082 | 7169 123 | 23 | 19 936.75/936.93 c 936s | 19 | 542844 | 482082 | 7169 123 | 23 | 19 938.84/939.02 c 938s | 19 | 544051 | 483282 | 7169 123 | 23 | 19 940.94/941.16 c 940s | 19 | 545253 | 484482 | 7169 123 | 23 | 19 943.05/943.24 c 943s | 19 | 546258 | 485482 | 7169 124 | 23 | 19 945.05/945.27 c 945s | 19 | 547281 | 486482 | 7169 124 | 23 | 19 947.25/947.43 c 947s | 19 | 548473 | 487682 | 7169 124 | 23 | 19 949.44/949.61 c 949s | 19 | 549584 | 488782 | 7169 124 | 23 | 19 951.54/951.73 c 951s | 19 | 550580 | 489782 | 7169 124 | 23 | 19 953.55/953.77 c 953s | 19 | 551394 | 490582 | 7169 125 | 23 | 19 955.64/955.85 c 955s | 19 | 552582 | 491782 | 7169 125 | 23 | 19 957.74/957.97 c 957s | 19 | 553690 | 492882 | 7169 125 | 23 | 19 959.84/960.06 c 959s | 19 | 554797 | 493982 | 7169 125 | 23 | 19 962.04/962.25 c 962s | 19 | 555706 | 494882 | 7169 126 | 23 | 19 964.04/964.27 c 964s | 19 | 556608 | 495782 | 7169 126 | 23 | 19 966.14/966.30 c 966s | 19 | 557713 | 496882 | 7169 126 | 23 | 19 968.25/968.48 c 968s | 19 | 558826 | 497982 | 7169 126 | 23 | 19 970.34/970.57 c 970s | 19 | 559839 | 498982 | 7169 126 | 23 | 19 972.44/972.61 c 972s | 19 | 560637 | 499782 | 7169 127 | 23 | 19 974.45/974.68 c 974s | 19 | 561646 | 500782 | 7169 127 | 23 | 19 976.44/976.68 c 976s | 19 | 562653 | 501782 | 7169 127 | 23 | 19 978.64/978.84 c 978s | 19 | 563757 | 502882 | 7169 127 | 23 | 19 980.74/980.97 c 980s | 19 | 564765 | 503882 | 7169 127 | 23 | 19 982.84/983.06 c 982s | 19 | 565663 | 504782 | 7169 128 | 23 | 19 985.04/985.28 c 985s | 19 | 566675 | 505782 | 7169 128 | 23 | 19 987.24/987.44 c 987s | 19 | 567782 | 506882 | 7169 128 | 23 | 19 989.34/989.57 c 989s | 19 | 568791 | 507882 | 7169 128 | 23 | 19 991.44/991.66 c 991s | 19 | 569704 | 508782 | 7169 128 | 23 | 19 993.54/993.77 c 993s | 19 | 570504 | 509582 | 7169 129 | 23 | 19 995.64/995.84 c 995s | 19 | 571410 | 510482 | 7169 129 | 23 | 19 997.84/998.02 c 997s | 19 | 572326 | 511382 | 7169 129 | 23 | 19 999.85/1000.09 c 999s | 19 | 573517 | 512582 | 7169 129 | 23 | 19 1002.34/1002.50 c 1002s | 19 | 574730 | 513782 | 7169 130 | 23 | 19 1004.44/1004.65 c 1004s | 19 | 575930 | 514982 | 7169 130 | 23 | 19 1006.64/1006.83 c 1006s | 19 | 577131 | 516182 | 7169 130 | 23 | 19 1008.64/1008.86 c 1008s | 19 | 578236 | 517282 | 7169 130 | 23 | 19 1010.74/1010.95 c 1010s | 19 | 579356 | 518382 | 7169 130 | 23 | 19 1012.84/1013.05 c 1012s | 19 | 580354 | 519382 | 7169 131 | 23 | 19 1014.84/1015.06 c 1014s | 19 | 581461 | 520482 | 7169 131 | 23 | 19 1016.94/1017.13 c 1016s | 19 | 582472 | 521482 | 7169 131 | 23 | 19 1018.93/1019.16 c 1018s | 19 | 583561 | 522582 | 7169 131 | 23 | 19 1020.93/1021.18 c 1020s | 19 | 584470 | 523482 | 7169 132 | 23 | 19 1023.13/1023.34 c 1023s | 19 | 585676 | 524682 | 7169 132 | 23 | 19 1025.14/1025.37 c 1025s | 19 | 586678 | 525682 | 7169 132 | 23 | 19 1027.53/1027.77 c 1027s | 19 | 587683 | 526682 | 7169 132 | 23 | 19 1029.64/1029.83 c 1029s | 19 | 588681 | 527682 | 7169 132 | 23 | 19 1031.74/1031.97 c 1031s | 19 | 589693 | 528682 | 7169 133 | 23 | 19 1033.84/1034.09 c 1033s | 19 | 590801 | 529782 | 7169 133 | 23 | 19 1035.94/1036.12 c 1035s | 19 | 591898 | 530882 | 7169 133 | 23 | 19 1038.04/1038.23 c 1038s | 19 | 592899 | 531882 | 7169 133 | 23 | 19 1040.03/1040.29 c 1040s | 19 | 593706 | 532682 | 7169 133 | 23 | 19 1042.13/1042.30 c 1042s | 19 | 594709 | 533682 | 7169 134 | 23 | 19 1044.13/1044.38 c 1044s | 19 | 595913 | 534882 | 7169 134 | 23 | 19 1046.33/1046.56 c 1046s | 19 | 597130 | 536082 | 7169 134 | 23 | 19 1048.43/1048.60 c 1048s | 19 | 598118 | 537082 | 7169 134 | 23 | 19 1050.44/1050.60 c 1050s | 19 | 598832 | 537782 | 7169 135 | 23 | 19 1052.43/1052.67 c 1052s | 19 | 600031 | 538982 | 7169 135 | 23 | 19 1054.53/1054.75 c 1054s | 19 | 601133 | 540082 | 7169 135 | 23 | 19 1056.73/1056.92 c 1056s | 19 | 602145 | 541082 | 7169 135 | 23 | 19 1058.73/1058.95 c 1058s | 19 | 603043 | 541982 | 7169 135 | 23 | 19 1060.72/1060.96 c 1060s | 19 | 603849 | 542782 | 7169 136 | 23 | 19 1062.83/1063.09 c 1062s | 19 | 605050 | 543982 | 7169 136 | 23 | 19 1065.03/1065.26 c 1065s | 19 | 606169 | 545082 | 7169 136 | 23 | 19 1067.13/1067.38 c 1067s | 19 | 607269 | 546182 | 7169 136 | 23 | 19 1069.33/1069.53 c 1069s | 19 | 608174 | 547082 | 7169 137 | 23 | 19 1071.43/1071.67 c 1071s | 19 | 609201 | 548082 | 7169 137 | 23 | 19 1073.53/1073.74 c 1073s | 19 | 610311 | 549182 | 7169 137 | 23 | 19 1075.52/1075.77 c 1075s | 19 | 611308 | 550182 | 7169 137 | 23 | 19 1077.72/1077.93 c 1077s | 19 | 612323 | 551182 | 7169 137 | 23 | 19 1079.73/1079.96 c 1079s | 19 | 613131 | 551982 | 7169 138 | 23 | 19 1081.93/1082.18 c 1081s | 19 | 614053 | 552882 | 7169 138 | 23 | 19 1084.13/1084.35 c 1084s | 19 | 615170 | 553982 | 7169 138 | 23 | 19 1086.32/1086.52 c 1086s | 19 | 616187 | 554982 | 7169 138 | 23 | 19 1088.42/1088.65 c 1088s | 19 | 617088 | 555882 | 7169 138 | 23 | 19 1090.62/1090.80 c 1090s | 19 | 617995 | 556782 | 7169 139 | 23 | 19 1092.73/1092.90 c 1092s | 19 | 619005 | 557782 | 7169 139 | 23 | 19 1094.83/1095.00 c 1094s | 19 | 620021 | 558782 | 7169 139 | 23 | 19 1096.83/1097.00 c 1096s | 19 | 620926 | 559682 | 7169 139 | 23 | 19 1098.83/1099.02 c 1098s | 19 | 621828 | 560582 | 7169 139 | 23 | 19 1101.03/1101.22 c 1100s | 19 | 622646 | 561382 | 7169 140 | 23 | 19 1103.42/1103.63 c 1103s | 19 | 623571 | 562282 | 7169 140 | 23 | 19 1105.43/1105.66 c 1105s | 19 | 624457 | 563182 | 7169 140 | 23 | 19 1107.53/1107.74 c 1107s | 19 | 625559 | 564282 | 7169 140 | 23 | 19 1109.52/1109.76 c 1109s | 19 | 626565 | 565282 | 7169 140 | 23 | 19 1111.62/1111.86 c 1111s | 19 | 627467 | 566182 | 7169 141 | 23 | 19 1113.72/1113.97 c 1113s | 19 | 628667 | 567382 | 7169 141 | 23 | 19 1115.71/1115.98 c 1115s | 19 | 629766 | 568482 | 7169 141 | 23 | 19 1117.91/1118.10 c 1117s | 19 | 630774 | 569482 | 7169 141 | 23 | 19 1120.01/1120.27 c 1120s | 19 | 631772 | 570482 | 7169 141 | 23 | 19 1122.11/1122.32 c 1122s | 19 | 632786 | 571482 | 7169 142 | 23 | 19 1124.12/1124.32 c 1124s | 19 | 633888 | 572582 | 7169 142 | 23 | 19 1126.22/1126.47 c 1126s | 19 | 635098 | 573782 | 7169 142 | 23 | 19 1128.32/1128.57 c 1128s | 19 | 636202 | 574882 | 7169 142 | 23 | 19 1130.41/1130.65 c 1130s | 19 | 637103 | 575782 | 7169 143 | 23 | 19 1132.51/1132.74 c 1132s | 19 | 638305 | 576982 | 7169 143 | 23 | 19 1134.61/1134.85 c 1134s | 19 | 639008 | 577682 | 7169 143 | 23 | 19 1136.71/1136.92 c 1136s | 19 | 640016 | 578682 | 7169 143 | 23 | 19 1138.70/1138.93 c 1138s | 19 | 641021 | 579682 | 7169 143 | 23 | 19 1140.70/1140.96 c 1140s | 19 | 642026 | 580682 | 7169 144 | 23 | 19 1142.71/1142.98 c 1142s | 19 | 643226 | 581882 | 7169 144 | 23 | 19 1144.81/1145.04 c 1144s | 19 | 644335 | 582982 | 7169 144 | 23 | 19 1146.80/1147.05 c 1146s | 19 | 645336 | 583982 | 7169 144 | 23 | 19 1148.90/1149.10 c 1148s | 19 | 646142 | 584782 | 7169 145 | 23 | 19 1151.00/1151.26 c 1151s | 19 | 647138 | 585782 | 7169 145 | 23 | 19 1153.10/1153.36 c 1153s | 19 | 648150 | 586782 | 7169 145 | 23 | 19 1155.20/1155.47 c 1155s | 19 | 649142 | 587782 | 7169 145 | 23 | 19 1157.40/1157.64 c 1157s | 19 | 650142 | 588782 | 7169 145 | 23 | 19 1159.50/1159.71 c 1159s | 19 | 650950 | 589582 | 7169 146 | 23 | 19 1161.50/1161.79 c 1161s | 19 | 652055 | 590682 | 7169 146 | 23 | 19 1163.70/1163.95 c 1163s | 19 | 653152 | 591782 | 7169 146 | 23 | 19 1165.80/1166.01 c 1165s | 19 | 654154 | 592782 | 7169 146 | 23 | 19 1167.89/1168.16 c 1167s | 19 | 655258 | 593882 | 7169 146 | 23 | 19 1169.99/1170.22 c 1170s | 19 | 656071 | 594682 | 7169 147 | 23 | 19 1172.09/1172.34 c 1172s | 19 | 657171 | 595782 | 7169 147 | 23 | 19 1174.19/1174.44 c 1174s | 19 | 658165 | 596782 | 7169 147 | 23 | 19 1176.39/1176.62 c 1176s | 19 | 659182 | 597782 | 7169 147 | 23 | 19 1178.59/1178.84 c 1178s | 19 | 660177 | 598782 | 7169 147 | 23 | 19 1180.78/1181.02 c 1180s | 19 | 661082 | 599682 | 7169 148 | 23 | 19 1182.98/1183.21 c 1182s | 19 | 662193 | 600782 | 7169 148 | 23 | 19 1185.08/1185.38 c 1185s | 19 | 663200 | 601782 | 7169 148 | 23 | 19 1187.18/1187.47 c 1187s | 19 | 664214 | 602782 | 7169 148 | 23 | 19 1189.39/1189.68 c 1189s | 19 | 665135 | 603682 | 7169 148 | 23 | 19 1191.58/1191.83 c 1191s | 19 | 665638 | 604182 | 7169 149 | 23 | 19 1193.69/1193.95 c 1193s | 19 | 666937 | 605482 | 7169 149 | 23 | 19 1195.79/1196.03 c 1195s | 19 | 668142 | 606682 | 7169 149 | 23 | 19 1197.89/1198.15 c 1197s | 19 | 669243 | 607782 | 7169 149 | 23 | 19 1200.08/1200.31 c 1200s | 19 | 670240 | 608782 | 7169 150 | 23 | 19 1202.19/1202.43 c 1202s | 19 | 671440 | 609982 | 7169 150 | 23 | 19 1204.29/1204.54 c 1204s | 19 | 672540 | 611082 | 7169 150 | 23 | 19 1206.38/1206.68 c 1206s | 19 | 673552 | 612082 | 7169 150 | 23 | 19 1208.48/1208.72 c 1208s | 19 | 674553 | 613082 | 7169 150 | 23 | 19 1210.47/1210.79 c 1210s | 19 | 675448 | 613982 | 7169 151 | 23 | 19 1212.67/1212.94 c 1212s | 19 | 676251 | 614782 | 7169 151 | 23 | 19 1214.87/1215.15 c 1214s | 19 | 677258 | 615782 | 7169 151 | 23 | 19 1216.97/1217.24 c 1217s | 19 | 678158 | 616682 | 7169 151 | 23 | 19 1218.97/1219.29 c 1219s | 19 | 679059 | 617582 | 7169 151 | 23 | 19 1221.37/1221.62 c 1221s | 19 | 679962 | 618482 | 7169 152 | 23 | 19 1223.46/1223.76 c 1223s | 19 | 681160 | 619682 | 7169 152 | 23 | 19 1225.56/1225.86 c 1225s | 19 | 682266 | 620782 | 7169 152 | 23 | 19 1227.57/1227.88 c 1227s | 19 | 683280 | 621782 | 7169 152 | 23 | 19 1229.76/1230.01 c 1229s | 19 | 684174 | 622682 | 7169 153 | 23 | 19 1231.87/1232.14 c 1231s | 19 | 685267 | 623782 | 7169 153 | 23 | 19 1233.86/1234.17 c 1233s | 19 | 686371 | 624882 | 7169 153 | 23 | 19 1236.06/1236.37 c 1236s | 19 | 687473 | 625982 | 7169 153 | 23 | 19 1238.06/1238.39 c 1238s | 19 | 688479 | 626982 | 7169 153 | 23 | 19 1240.25/1240.53 c 1240s | 19 | 689379 | 627882 | 7169 154 | 23 | 19 1242.26/1242.59 c 1242s | 19 | 690278 | 628782 | 7169 154 | 23 | 19 1244.46/1244.77 c 1244s | 19 | 691392 | 629882 | 7169 154 | 23 | 19 1246.66/1246.93 c 1246s | 19 | 692392 | 630882 | 7169 154 | 23 | 19 1248.86/1249.10 c 1248s | 19 | 693390 | 631882 | 7169 154 | 23 | 19 1250.85/1251.15 c 1250s | 19 | 694287 | 632782 | 7169 155 | 23 | 19 1253.05/1253.35 c 1253s | 19 | 695394 | 633882 | 7169 155 | 23 | 19 1255.05/1255.36 c 1255s | 19 | 696294 | 634782 | 7169 155 | 23 | 19 1257.25/1257.52 c 1257s | 19 | 697402 | 635882 | 7169 155 | 23 | 19 1259.35/1259.63 c 1259s | 19 | 698400 | 636882 | 7169 156 | 23 | 19 1261.45/1261.79 c 1261s | 19 | 699601 | 638082 | 7169 156 | 23 | 19 1263.54/1263.84 c 1263s | 19 | 700702 | 639182 | 7169 156 | 23 | 19 1265.64/1265.93 c 1265s | 19 | 701803 | 640282 | 7169 156 | 23 | 19 1267.75/1268.03 c 1267s | 19 | 702821 | 641282 | 7169 156 | 23 | 19 1269.74/1270.05 c 1269s | 19 | 703610 | 642082 | 7169 157 | 23 | 19 1271.83/1272.10 c 1271s | 19 | 704714 | 643182 | 7169 157 | 23 | 19 1273.83/1274.14 c 1273s | 19 | 705825 | 644282 | 7169 157 | 23 | 19 1275.84/1276.14 c 1275s | 19 | 706929 | 645382 | 7169 157 | 23 | 19 1278.33/1278.66 c 1278s | 19 | 707940 | 646382 | 7169 158 | 23 | 19 1280.43/1280.74 c 1280s | 19 | 709040 | 647482 | 7169 158 | 23 | 19 1282.54/1282.86 c 1282s | 19 | 710143 | 648582 | 7169 158 | 23 | 19 1284.73/1285.00 c 1284s | 19 | 711240 | 649682 | 7169 158 | 23 | 19 1286.84/1287.19 c 1286s | 19 | 712255 | 650682 | 7169 158 | 23 | 19 1288.94/1289.23 c 1289s | 19 | 713153 | 651582 | 7169 159 | 23 | 19 1291.13/1291.50 c 1291s | 19 | 714256 | 652682 | 7169 159 | 23 | 19 1293.33/1293.66 c 1293s | 19 | 715358 | 653782 | 7169 159 | 23 | 19 1295.43/1295.80 c 1295s | 19 | 716356 | 654782 | 7169 159 | 23 | 19 1297.73/1298.01 c 1297s | 19 | 717368 | 655782 | 7169 159 | 23 | 19 1299.73/1300.02 c 1299s | 19 | 718263 | 656682 | 7169 160 | 23 | 19 1302.03/1302.36 c 1302s | 19 | 719366 | 657782 | 7169 160 | 23 | 19 1304.23/1304.51 c 1304s | 19 | 720473 | 658882 | 7169 160 | 23 | 19 1306.23/1306.53 c 1306s | 19 | 721475 | 659882 | 7169 160 | 23 | 19 1308.52/1308.81 c 1308s | 19 | 722184 | 660582 | 7169 161 | 23 | 19 1310.62/1310.90 c 1310s | 19 | 723092 | 661482 | 7169 161 | 23 | 19 1312.61/1312.96 c 1312s | 19 | 723992 | 662382 | 7886 161 | 23 | 19 1314.71/1315.03 c 1314s | 19 | 724903 | 663282 | 7886 161 | 23 | 19 1316.81/1317.11 c 1316s | 19 | 725795 | 664182 | 7886 161 | 23 | 19 1318.91/1319.23 c 1319s | 19 | 726701 | 665082 | 7886 161 | 23 | 19 1321.51/1321.80 c 1321s | 19 | 727601 | 665982 | 7886 162 | 23 | 19 1323.31/1323.65 c 1323s | 20 | 728452 | 666827 | 7886 162 | 23 | 19 1326.01/1326.30 c 1326s | 20 | 730573 | 667427 | 7886 162 | 23 | 19 1328.00/1328.33 c 1328s | 20 | 731559 | 668427 | 7886 162 | 23 | 19 1330.10/1330.44 c 1330s | 20 | 732556 | 669427 | 7886 162 | 23 | 19 1332.30/1332.63 c 1332s | 20 | 733566 | 670427 | 7886 162 | 23 | 19 1334.30/1334.66 c 1334s | 20 | 734264 | 671127 | 7886 163 | 23 | 19 1336.50/1336.85 c 1336s | 20 | 735463 | 672327 | 7886 163 | 23 | 19 1338.51/1338.87 c 1338s | 20 | 736568 | 673427 | 7886 163 | 23 | 19 1340.60/1341.00 c 1340s | 20 | 737679 | 674527 | 7886 163 | 23 | 19 1342.80/1343.19 c 1342s | 20 | 738681 | 675527 | 7886 163 | 23 | 19 1344.90/1345.27 c 1345s | 20 | 739382 | 676227 | 7886 164 | 23 | 19 1347.00/1347.34 c 1347s | 20 | 740381 | 677227 | 7886 164 | 23 | 19 1349.10/1349.44 c 1349s | 20 | 741485 | 678327 | 7886 164 | 23 | 19 1351.19/1351.59 c 1351s | 20 | 742598 | 679427 | 7886 164 | 23 | 19 1353.39/1353.77 c 1353s | 20 | 743585 | 680427 | 7886 164 | 23 | 19 1355.79/1356.19 c 1355s | 20 | 744499 | 681327 | 7886 165 | 23 | 19 1357.89/1358.26 c 1358s | 20 | 745399 | 682227 | 7886 165 | 23 | 19 1359.98/1360.37 c 1360s | 20 | 746401 | 683227 | 7886 165 | 23 | 19 1362.08/1362.42 c 1362s | 20 | 747392 | 684227 | 7886 165 | 23 | 19 1364.28/1364.66 c 1364s | 20 | 748403 | 685227 | 7886 165 | 23 | 19 1366.48/1366.81 c 1366s | 20 | 749406 | 686227 | 7886 165 | 23 | 19 1368.58/1368.95 c 1368s | 20 | 750510 | 687327 | 7886 166 | 23 | 19 1370.68/1371.05 c 1370s | 20 | 751721 | 688527 | 7886 166 | 23 | 19 1372.78/1373.16 c 1372s | 20 | 752811 | 689627 | 7886 166 | 23 | 19 1374.98/1375.32 c 1375s | 20 | 753923 | 690727 | 7886 166 | 23 | 19 1377.08/1377.47 c 1377s | 20 | 754719 | 691527 | 7886 167 | 23 | 19 1379.19/1379.60 c 1379s | 20 | 755922 | 692727 | 7886 167 | 23 | 19 1381.28/1381.68 c 1381s | 20 | 757119 | 693927 | 7886 167 | 23 | 19 1383.37/1383.75 c 1383s | 20 | 758227 | 695027 | 7886 167 | 23 | 19 1385.37/1385.76 c 1385s | 20 | 759137 | 695927 | 7886 167 | 23 | 19 1387.77/1388.17 c 1387s | 20 | 759941 | 696727 | 7886 168 | 23 | 19 1389.86/1390.21 c 1389s | 20 | 760940 | 697727 | 7886 168 | 23 | 19 1391.96/1392.35 c 1392s | 20 | 761946 | 698727 | 7886 168 | 23 | 19 1394.06/1394.44 c 1394s | 20 | 762858 | 699627 | 7886 168 | 23 | 19 1396.17/1396.54 c 1396s | 20 | 763745 | 700527 | 7886 168 | 23 | 19 1398.27/1398.65 c 1398s | 20 | 764652 | 701427 | 7886 168 | 23 | 19 1400.36/1400.71 c 1400s | 20 | 765458 | 702227 | 7886 169 | 23 | 19 1402.46/1402.84 c 1402s | 20 | 766461 | 703227 | 7886 169 | 23 | 19 1404.56/1404.92 c 1404s | 20 | 767370 | 704127 | 7886 169 | 23 | 19 1406.67/1407.01 c 1406s | 20 | 768359 | 705127 | 7886 169 | 23 | 19 1408.66/1409.01 c 1408s | 20 | 769268 | 706027 | 7886 169 | 23 | 19 1410.75/1411.11 c 1410s | 20 | 770070 | 706827 | 7886 170 | 23 | 19 1412.75/1413.19 c 1412s | 20 | 771173 | 707927 | 7886 170 | 23 | 19 1414.95/1415.39 c 1415s | 20 | 772275 | 709027 | 7886 170 | 23 | 19 1417.15/1417.51 c 1417s | 20 | 773383 | 710127 | 7886 170 | 23 | 19 1419.15/1419.58 c 1419s | 20 | 774382 | 711127 | 7886 170 | 23 | 19 1421.25/1421.68 c 1421s | 20 | 775190 | 711927 | 7886 171 | 23 | 19 1423.35/1423.79 c 1423s | 20 | 776194 | 712927 | 7886 171 | 23 | 19 1425.55/1425.95 c 1425s | 20 | 777298 | 714027 | 7886 171 | 23 | 19 1427.74/1428.15 c 1427s | 20 | 778406 | 715127 | 7886 171 | 23 | 19 1429.94/1430.36 c 1430s | 20 | 779512 | 716227 | 7886 171 | 23 | 19 1431.94/1432.37 c 1432s | 20 | 780312 | 717027 | 7886 172 | 23 | 19 1433.94/1434.38 c 1434s | 20 | 781308 | 718027 | 7886 172 | 23 | 19 1436.04/1436.41 c 1436s | 20 | 782213 | 718927 | 7886 172 | 23 | 19 1438.24/1438.65 c 1438s | 20 | 783215 | 719927 | 7886 172 | 23 | 19 1440.43/1440.87 c 1440s | 20 | 784121 | 720827 | 7886 172 | 23 | 19 1442.53/1442.98 c 1442s | 20 | 785023 | 721727 | 7886 172 | 23 | 19 1444.63/1445.01 c 1444s | 20 | 785830 | 722527 | 7886 173 | 23 | 19 1446.73/1447.18 c 1446s | 20 | 786837 | 723527 | 7886 173 | 23 | 19 1448.83/1449.28 c 1449s | 20 | 787842 | 724527 | 7886 173 | 23 | 19 1451.02/1451.42 c 1451s | 20 | 788845 | 725527 | 7886 173 | 23 | 19 1453.02/1453.43 c 1453s | 20 | 789758 | 726427 | 7886 173 | 23 | 19 1455.12/1455.59 c 1455s | 20 | 790447 | 727127 | 7886 174 | 23 | 19 1457.23/1457.60 c 1457s | 20 | 791360 | 728027 | 7886 174 | 23 | 19 1459.32/1459.75 c 1459s | 20 | 792363 | 729027 | 7886 174 | 23 | 19 1461.52/1461.96 c 1461s | 20 | 793364 | 730027 | 7886 174 | 23 | 19 1463.61/1464.09 c 1463s | 20 | 794267 | 730927 | 7886 174 | 23 | 19 1465.81/1466.28 c 1466s | 20 | 795186 | 731827 | 7886 174 | 23 | 19 1467.81/1468.29 c 1468s | 20 | 795877 | 732527 | 7886 175 | 23 | 19 1469.90/1470.30 c 1470s | 20 | 796785 | 733427 | 7886 175 | 23 | 19 1472.00/1472.46 c 1472s | 20 | 797794 | 734427 | 7886 175 | 23 | 19 1474.01/1474.46 c 1474s | 20 | 798599 | 735227 | 7886 175 | 23 | 19 1476.11/1476.50 c 1476s | 20 | 799411 | 736027 | 7886 175 | 23 | 19 1478.21/1478.62 c 1478s | 20 | 799920 | 736527 | 7886 175 | 23 | 19 1480.31/1480.75 c 1480s | 20 | 800730 | 737327 | 7886 176 | 23 | 19 1482.41/1482.90 c 1482s | 20 | 801727 | 738327 | 7886 176 | 23 | 19 1484.50/1484.93 c 1484s | 20 | 802732 | 739327 | 7886 176 | 23 | 19 1486.51/1486.98 c 1486s | 20 | 803734 | 740327 | 7886 176 | 23 | 19 1488.70/1489.19 c 1488s | 20 | 804739 | 741327 | 7886 176 | 23 | 19 1490.90/1491.30 c 1491s | 20 | 805632 | 742227 | 7886 176 | 23 | 19 1492.90/1493.39 c 1493s | 20 | 806439 | 743027 | 7886 177 | 23 | 19 1495.10/1495.59 c 1495s | 20 | 807543 | 744127 | 7886 177 | 23 | 19 1497.30/1497.78 c 1497s | 20 | 808648 | 745227 | 7886 177 | 23 | 19 1499.49/1499.98 c 1499s | 20 | 809654 | 746227 | 7886 177 | 23 | 19 1501.59/1502.03 c 1501s | 20 | 810564 | 747127 | 7886 177 | 23 | 19 1503.59/1504.04 c 1503s | 20 | 811362 | 747927 | 7886 178 | 23 | 19 1505.69/1506.15 c 1505s | 20 | 812362 | 748927 | 7886 178 | 23 | 19 1507.88/1508.38 c 1508s | 20 | 813374 | 749927 | 7886 178 | 23 | 19 1509.99/1510.46 c 1510s | 20 | 814079 | 750627 | 7886 178 | 23 | 19 1512.09/1512.53 c 1512s | 20 | 815082 | 751627 | 7886 178 | 23 | 19 1514.29/1514.79 c 1514s | 20 | 816093 | 752627 | 7886 179 | 23 | 19 1516.49/1516.92 c 1516s | 20 | 817194 | 753727 | 7886 179 | 23 | 19 1518.49/1518.99 c 1518s | 20 | 818296 | 754827 | 7886 179 | 23 | 19 1520.58/1521.02 c 1520s | 20 | 819299 | 755827 | 7886 179 | 23 | 19 1522.68/1523.13 c 1522s | 20 | 820207 | 756727 | 7886 179 | 23 | 19 1525.18/1525.61 c 1525s | 20 | 821213 | 757727 | 7886 180 | 23 | 19 1527.28/1527.76 c 1527s | 20 | 822318 | 758827 | 7886 180 | 23 | 19 1529.38/1529.83 c 1529s | 20 | 823326 | 759827 | 7886 180 | 23 | 19 1531.47/1531.99 c 1531s | 20 | 824333 | 760827 | 7886 180 | 23 | 19 1533.77/1534.23 c 1534s | 20 | 825238 | 761727 | 7886 180 | 23 | 19 1535.87/1536.33 c 1536s | 20 | 826041 | 762527 | 7886 180 | 23 | 19 1538.07/1538.51 c 1538s | 20 | 826842 | 763327 | 7886 181 | 23 | 19 1540.08/1540.56 c 1540s | 20 | 827856 | 764327 | 7886 181 | 23 | 19 1542.08/1542.57 c 1542s | 20 | 828754 | 765227 | 7886 181 | 23 | 19 1544.28/1544.79 c 1544s | 20 | 829662 | 766127 | 7886 181 | 23 | 19 1546.38/1546.88 c 1546s | 20 | 830462 | 766927 | 7886 181 | 23 | 19 1548.67/1549.14 c 1548s | 20 | 831273 | 767727 | 7886 181 | 23 | 19 1550.77/1551.29 c 1551s | 20 | 831970 | 768427 | 7886 182 | 23 | 19 1552.89/1553.33 c 1553s | 20 | 832866 | 769327 | 7886 182 | 23 | 19 1555.08/1555.56 c 1555s | 20 | 833767 | 770227 | 7886 182 | 23 | 19 1557.28/1557.71 c 1557s | 20 | 834571 | 771027 | 7886 182 | 23 | 19 1559.38/1559.89 c 1559s | 20 | 835476 | 771927 | 7886 182 | 23 | 19 1561.58/1562.09 c 1561s | 20 | 836381 | 772827 | 7886 182 | 23 | 19 1563.78/1564.24 c 1564s | 20 | 836889 | 773327 | 7886 183 | 23 | 19 1565.87/1566.39 c 1566s | 20 | 837987 | 774427 | 7886 183 | 23 | 19 1568.07/1568.59 c 1568s | 20 | 838990 | 775427 | 7886 183 | 23 | 19 1570.17/1570.69 c 1570s | 20 | 840001 | 776427 | 7886 183 | 23 | 19 1572.27/1572.77 c 1572s | 20 | 841000 | 777427 | 7886 183 | 23 | 19 1574.27/1574.79 c 1574s | 20 | 841805 | 778227 | 7886 184 | 23 | 19 1576.47/1576.96 c 1576s | 20 | 842812 | 779227 | 7886 184 | 23 | 19 1578.57/1579.06 c 1578s | 20 | 843816 | 780227 | 7886 184 | 23 | 19 1580.67/1581.18 c 1580s | 20 | 844811 | 781227 | 7886 184 | 23 | 19 1582.87/1583.39 c 1583s | 20 | 845820 | 782227 | 7886 184 | 23 | 19 1584.97/1585.41 c 1585s | 20 | 846721 | 783127 | 7886 184 | 23 | 19 1587.07/1587.51 c 1587s | 20 | 847433 | 783827 | 7886 185 | 23 | 19 1589.08/1589.58 c 1589s | 20 | 848327 | 784727 | 7886 185 | 23 | 19 1591.27/1591.76 c 1591s | 20 | 849242 | 785627 | 7886 185 | 23 | 19 1593.27/1593.77 c 1593s | 20 | 850033 | 786427 | 7886 185 | 23 | 19 1595.27/1595.78 c 1595s | 20 | 850850 | 787227 | 7886 185 | 23 | 19 1597.37/1597.89 c 1597s | 20 | 851638 | 788027 | 7886 185 | 23 | 19 1599.56/1600.03 c 1599s | 20 | 852350 | 788727 | 7886 186 | 23 | 19 1601.76/1602.26 c 1602s | 20 | 853242 | 789627 | 7886 186 | 23 | 19 1603.86/1604.38 c 1604s | 20 | 853943 | 790327 | 7886 186 | 23 | 19 1605.97/1606.45 c 1606s | 20 | 854362 | 790727 | 7886 186 | 23 | 19 1608.07/1608.54 c 1608s | 20 | 855253 | 791627 | 7886 186 | 23 | 19 1610.07/1610.54 c 1610s | 20 | 856159 | 792527 | 7886 186 | 23 | 19 1612.47/1612.99 c 1612s | 20 | 856955 | 793327 | 7886 187 | 23 | 19 1614.66/1615.16 c 1614s | 20 | 857971 | 794327 | 7886 187 | 23 | 19 1616.86/1617.31 c 1617s | 20 | 858970 | 795327 | 7886 187 | 23 | 19 1618.96/1619.43 c 1619s | 20 | 859882 | 796227 | 7886 187 | 23 | 19 1621.07/1621.59 c 1621s | 20 | 860477 | 796827 | 7886 187 | 23 | 19 1623.27/1623.78 c 1623s | 20 | 861385 | 797727 | 7886 187 | 23 | 19 1625.47/1625.97 c 1625s | 20 | 862092 | 798427 | 7886 188 | 23 | 19 1627.67/1628.14 c 1627s | 20 | 863093 | 799427 | 7886 188 | 23 | 19 1629.66/1630.17 c 1629s | 20 | 863996 | 800327 | 7886 188 | 23 | 19 1631.86/1632.37 c 1632s | 20 | 864994 | 801327 | 7886 188 | 23 | 19 1634.06/1634.58 c 1634s | 20 | 865897 | 802227 | 7886 188 | 23 | 19 1636.26/1636.75 c 1636s | 20 | 866804 | 803127 | 7886 188 | 23 | 19 1638.37/1638.83 c 1638s | 20 | 867509 | 803827 | 7886 189 | 23 | 19 1640.36/1640.86 c 1640s | 20 | 868424 | 804727 | 7886 189 | 23 | 19 1642.56/1643.05 c 1642s | 20 | 869422 | 805727 | 7886 189 | 23 | 19 1644.56/1645.07 c 1644s | 20 | 870223 | 806527 | 7886 189 | 23 | 19 1646.66/1647.18 c 1646s | 20 | 871139 | 807427 | 7886 189 | 23 | 19 1648.86/1649.33 c 1649s | 20 | 872041 | 808327 | 7886 189 | 23 | 19 1650.96/1651.40 c 1651s | 20 | 872749 | 809027 | 7886 190 | 23 | 19 1653.06/1653.58 c 1653s | 20 | 873660 | 809927 | 7886 190 | 23 | 19 1655.16/1655.67 c 1655s | 20 | 874659 | 810927 | 7886 190 | 23 | 19 1657.36/1657.86 c 1657s | 20 | 875661 | 811927 | 7886 190 | 23 | 19 1659.46/1659.99 c 1659s | 20 | 876573 | 812827 | 7886 190 | 23 | 19 1661.95/1662.42 c 1662s | 20 | 877472 | 813727 | 7886 191 | 23 | 19 1664.05/1664.57 c 1664s | 20 | 878474 | 814727 | 7886 191 | 23 | 19 1666.06/1666.58 c 1666s | 20 | 879382 | 815627 | 7886 191 | 23 | 19 1668.26/1668.71 c 1668s | 20 | 880290 | 816527 | 7886 191 | 23 | 19 1670.46/1670.90 c 1670s | 20 | 881197 | 817427 | 7886 191 | 23 | 19 1672.56/1673.02 c 1672s | 20 | 882003 | 818227 | 7886 191 | 23 | 19 1674.76/1675.28 c 1675s | 20 | 882696 | 818927 | 7886 192 | 23 | 19 1677.06/1677.50 c 1677s | 20 | 883605 | 819827 | 7886 192 | 23 | 19 1679.06/1679.59 c 1679s | 20 | 884504 | 820727 | 7886 192 | 23 | 19 1681.25/1681.75 c 1681s | 20 | 885413 | 821627 | 7886 192 | 23 | 19 1683.25/1683.78 c 1683s | 20 | 886214 | 822427 | 7886 192 | 23 | 19 1685.45/1685.93 c 1685s | 20 | 887013 | 823227 | 7886 192 | 23 | 19 1687.65/1688.18 c 1687s | 20 | 887722 | 823927 | 7886 193 | 23 | 19 1689.86/1690.36 c 1690s | 20 | 888431 | 824627 | 7886 193 | 23 | 19 1691.86/1692.38 c 1692s | 20 | 889425 | 825627 | 7886 193 | 23 | 19 1694.15/1694.64 c 1694s | 20 | 890432 | 826627 | 7886 193 | 23 | 19 1696.25/1696.78 c 1696s | 20 | 891338 | 827527 | 7886 193 | 23 | 19 1698.25/1698.79 c 1698s | 20 | 892248 | 828427 | 7886 193 | 23 | 19 1700.35/1700.82 c 1700s | 20 | 892956 | 829127 | 7886 194 | 23 | 19 1702.45/1702.97 c 1702s | 20 | 893960 | 830127 | 7886 194 | 23 | 19 1704.65/1705.19 c 1704s | 20 | 894854 | 831027 | 7886 194 | 23 | 19 1706.76/1707.23 c 1707s | 20 | 895658 | 831827 | 7886 194 | 23 | 19 1708.85/1709.30 c 1709s | 20 | 896466 | 832627 | 7886 194 | 23 | 19 1710.95/1711.48 c 1711s | 20 | 897275 | 833427 | 7886 194 | 23 | 19 1713.15/1713.65 c 1713s | 20 | 897976 | 834127 | 7886 195 | 23 | 19 1715.15/1715.67 c 1715s | 20 | 898784 | 834927 | 7886 195 | 23 | 19 1717.25/1717.79 c 1717s | 20 | 899489 | 835627 | 7886 195 | 23 | 19 1719.34/1719.86 c 1719s | 20 | 900392 | 836527 | 7886 195 | 23 | 19 1721.35/1721.89 c 1721s | 20 | 901291 | 837427 | 7886 195 | 23 | 19 1723.55/1724.08 c 1723s | 20 | 902196 | 838327 | 7886 195 | 23 | 19 1726.05/1726.56 c 1726s | 20 | 902996 | 839127 | 7886 196 | 23 | 19 1728.15/1728.67 c 1728s | 20 | 904006 | 840127 | 7886 196 | 23 | 19 1730.35/1730.81 c 1730s | 20 | 905012 | 841127 | 7886 196 | 23 | 19 1732.54/1733.07 c 1732s | 20 | 905907 | 842027 | 7886 196 | 23 | 19 1734.54/1735.08 c 1734s | 20 | 906714 | 842827 | 7886 196 | 23 | 19 1736.74/1737.20 c 1736s | 20 | 907719 | 843827 | 7886 196 | 23 | 19 1738.94/1739.49 c 1739s | 20 | 908514 | 844627 | 7886 197 | 23 | 19 1741.15/1741.60 c 1741s | 20 | 909513 | 845627 | 7886 197 | 23 | 19 1743.25/1743.76 c 1743s | 20 | 910512 | 846627 | 7886 197 | 23 | 19 1745.35/1745.82 c 1745s | 20 | 911421 | 847527 | 7886 197 | 23 | 19 1747.55/1748.05 c 1747s | 20 | 912322 | 848427 | 7886 197 | 23 | 19 1749.65/1750.17 c 1749s | 20 | 913124 | 849227 | 7886 197 | 23 | 19 1751.74/1752.23 c 1752s | 20 | 913826 | 849927 | 7886 198 | 23 | 19 1754.34/1754.82 c 1754s | 20 | 914739 | 850827 | 7886 198 | 23 | 19 1756.44/1756.96 c 1756s | 20 | 915741 | 851827 | 7886 198 | 23 | 19 1758.55/1759.07 c 1758s | 20 | 916636 | 852727 | 7886 198 | 23 | 19 1760.75/1761.28 c 1761s | 20 | 917534 | 853627 | 7886 198 | 23 | 19 1763.25/1763.70 c 1763s | 20 | 918344 | 854427 | 7886 199 | 23 | 19 1765.35/1765.82 c 1765s | 20 | 919248 | 855327 | 7886 199 | 23 | 19 1767.54/1768.04 c 1767s | 20 | 920054 | 856127 | 7886 199 | 23 | 19 1769.74/1770.29 c 1770s | 20 | 920962 | 857027 | 7886 199 | 23 | 19 1771.94/1772.46 c 1772s | 20 | 921764 | 857827 | 7886 199 | 23 | 19 1774.04/1774.54 c 1774s | 20 | 922466 | 858527 | 7886 199 | 23 | 19 1776.15/1776.69 c 1776s | 20 | 923167 | 859227 | 7886 199 | 23 | 19 1778.25/1778.73 c 1778s | 20 | 923765 | 859827 | 7886 200 | 23 | 19 1780.24/1780.77 c 1780s | 20 | 924667 | 860727 | 7886 200 | 23 | 19 1782.54/1783.00 c 1782s | 20 | 925568 | 861627 | 7886 200 | 23 | 19 1784.54/1785.09 c 1784s | 20 | 926371 | 862427 | 7886 200 | 23 | 19 1786.84/1787.33 c 1787s | 20 | 927275 | 863327 | 7886 200 | 23 | 19 1788.94/1789.44 c 1789s | 20 | 928081 | 864127 | 7886 200 | 23 | 19 1790.94/1791.48 c 1791s | 20 | 928775 | 864827 | 7886 201 | 23 | 19 1793.24/1793.72 c 1793s | 20 | 929680 | 865727 | 7886 201 | 23 | 19 1795.33/1795.83 c 1795s | 20 | 930486 | 866527 | 7886 201 | 23 | 19 1797.53/1798.09 c 1797s | 20 | 931286 | 867327 | 7886 201 | 23 | 19 1799.63/1800.10 c 1799s | 20 | 931994 | 868027 | 7886 201 | 23 | 19
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079467-1465224276/watcher-4079467-1465224276 -o /tmp/evaluation-result-4079467-1465224276/solver-4079467-1465224276 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079467-1465224276.opb pid=1586 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.25 1.68 1.79 3/179 1589 /proc/meminfo: memFree=29273940/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=643516 CPUtime=0 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 2388 0 0 0 0 0 0 0 20 0 4 0 104360675 658960384 2748 33554432000 4194304 16246674 140734248814064 140734248813488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 161647 2757 441 2943 0 158541 0 [pid=1589/tid=1590] ppid=1586 vsize=756156 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 774303744 3190 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=761276 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 779546624 3209 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=766396 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104360676 784789504 3225 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100178 s] /proc/loadavg: 2.25 1.68 1.79 3/179 1589 /proc/meminfo: memFree=29273940/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 32835 0 0 0 5 4 0 0 20 0 4 0 104360675 1247350784 33186 33554432000 4194304 16246674 140734248814064 140734248813488 5592705 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 304529 33194 652 2943 0 301423 0 [pid=1589/tid=1590] ppid=1586 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1247350784 33200 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1247350784 33206 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104360676 1247350784 33212 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200473 s] /proc/loadavg: 2.25 1.68 1.79 3/179 1589 /proc/meminfo: memFree=29273940/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1222212 CPUtime=0.19 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 46388 0 0 0 13 6 0 0 20 0 4 0 104360675 1251545088 46713 33554432000 4194304 16246674 140734248814064 140734248813376 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 305553 46713 833 2943 0 302447 0 [pid=1589/tid=1590] ppid=1586 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1251545088 46713 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1251545088 46713 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1251545088 46713 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1222212 [startup+0.300425 s] /proc/loadavg: 2.25 1.68 1.79 3/179 1589 /proc/meminfo: memFree=29273940/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1306180 CPUtime=0.29 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 64892 0 0 0 20 9 0 0 20 0 4 0 104360675 1337528320 65217 33554432000 4194304 16246674 140734248814064 140734248813376 4224759 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 326545 65225 846 2943 0 323439 0 [pid=1589/tid=1590] ppid=1586 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1337528320 65228 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1337528320 65230 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1337528320 65234 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1306180 [startup+0.700422 s] /proc/loadavg: 2.25 1.68 1.79 3/179 1589 /proc/meminfo: memFree=29273940/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1307204 CPUtime=0.69 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 67558 0 0 0 60 9 0 0 20 0 4 0 104360675 1338576896 67883 33554432000 4194304 16246674 140734248814064 140734248813376 12477844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 326801 67883 847 2943 0 323695 0 [pid=1589/tid=1590] ppid=1586 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1338576896 67883 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1338576896 67883 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1338576896 67883 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50037 s] /proc/loadavg: 2.25 1.68 1.79 3/183 1594 /proc/meminfo: memFree=29002904/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1307204 CPUtime=1.49 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 67580 0 0 0 140 9 0 0 20 0 4 0 104360675 1338576896 67905 33554432000 4194304 16246674 140734248814064 140734248813240 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 326801 67905 847 2943 0 323695 0 [pid=1589/tid=1590] ppid=1586 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1338576896 67905 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1338576896 67905 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1338576896 67905 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10043 s] /proc/loadavg: 2.23 1.69 1.79 3/183 1594 /proc/meminfo: memFree=29002524/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 67580 0 0 0 300 9 0 0 20 0 4 0 104360675 1338576896 67905 33554432000 4194304 16246674 140734248814064 140734248813240 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 326801 67905 847 2943 0 323695 0 [pid=1589/tid=1590] ppid=1586 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1338576896 67905 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1338576896 67905 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1338576896 67905 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30042 s] /proc/loadavg: 2.23 1.69 1.79 3/183 1594 /proc/meminfo: memFree=28765072/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 126977 0 0 0 613 16 0 0 20 0 4 0 104360675 1338576896 127302 33554432000 4194304 16246674 140734248814064 140734248795968 5545903 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 326801 127302 847 2943 0 323695 0 [pid=1589/tid=1590] ppid=1586 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1338576896 127302 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1338576896 127302 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1338576896 127302 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.19 1.70 1.79 3/183 1594 /proc/meminfo: memFree=28714776/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1309252 CPUtime=12.68 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 139503 0 0 0 1250 18 0 0 20 0 4 0 104360675 1340674048 139828 33554432000 4194304 16246674 140734248814064 140734248795968 5754712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 327313 139828 847 2943 0 324207 0 [pid=1589/tid=1590] ppid=1586 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1340674048 139828 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1340674048 139828 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1340674048 139828 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.16 1.71 1.80 3/183 1594 /proc/meminfo: memFree=28713288/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1311300 CPUtime=25.49 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 139872 0 0 0 2530 19 0 0 20 0 4 0 104360675 1342771200 140197 33554432000 4194304 16246674 140734248814064 140734248795968 8224688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 327825 140197 849 2943 0 324719 0 [pid=1589/tid=1590] ppid=1586 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1342771200 140197 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1342771200 140197 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1342771200 140197 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.18 1.75 1.81 3/183 1594 /proc/meminfo: memFree=28583592/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1323588 CPUtime=51.09 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 174481 0 0 0 5084 25 0 0 20 0 4 0 104360675 1355354112 174806 33554432000 4194304 16246674 140734248814064 140734248795968 5712270 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 330897 174806 849 2943 0 327791 0 [pid=1589/tid=1590] ppid=1586 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1355354112 174806 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1355354112 174806 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1355354112 174806 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1323588 [startup+102.3 s] /proc/loadavg: 2.36 1.88 1.84 3/183 1595 /proc/meminfo: memFree=28573932/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1323588 CPUtime=102.28 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 174549 0 0 0 10201 27 0 0 20 0 4 0 104360675 1355354112 174874 33554432000 4194304 16246674 140734248814064 140734248795968 12477844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 330897 174874 849 2943 0 327791 0 [pid=1589/tid=1590] ppid=1586 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1355354112 174874 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1355354112 174874 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1355354112 174874 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1323588 ################ # More data... # ################ /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274617 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 1331780 [startup+1362.3 s] /proc/loadavg: 2.17 2.20 2.11 3/183 1704 /proc/meminfo: memFree=28107184/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1331780 CPUtime=1361.98 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 272303 0 0 0 136099 99 0 0 20 0 4 0 104360675 1363742720 274617 33554432000 4194304 16246674 140734248814064 140734248795968 12483387 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 332945 274617 849 2943 0 329839 0 [pid=1589/tid=1590] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274617 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274617 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274617 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 1331780 [startup+1422.3 s] /proc/loadavg: 2.29 2.22 2.12 4/183 1705 /proc/meminfo: memFree=28107232/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1331780 CPUtime=1421.95 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 272347 0 0 0 142093 102 0 0 20 0 4 0 104360675 1363742720 274617 33554432000 4194304 16246674 140734248814064 140734248813240 6013193 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 332945 274617 849 2943 0 329839 0 [pid=1589/tid=1590] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274617 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274617 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274617 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1331780 [startup+1482.3 s] /proc/loadavg: 2.25 2.23 2.13 3/183 1706 /proc/meminfo: memFree=28107148/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1331780 CPUtime=1481.9 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 272389 0 0 0 148086 104 0 0 20 0 4 0 104360675 1363742720 274617 33554432000 4194304 16246674 140734248814064 140734248795968 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 332945 274617 849 2943 0 329839 0 [pid=1589/tid=1590] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274617 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274617 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274617 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1331780 [startup+1542.31 s] /proc/loadavg: 2.24 2.23 2.13 3/184 1711 /proc/meminfo: memFree=28107772/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1331780 CPUtime=1541.89 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 272420 0 0 0 154082 107 0 0 20 0 4 0 104360675 1363742720 274621 33554432000 4194304 16246674 140734248814064 140734248795968 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 332945 274621 849 2943 0 329839 0 [pid=1589/tid=1590] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274621 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274621 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274621 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1331780 [startup+1602.3 s] /proc/loadavg: 2.14 2.20 2.12 3/183 1712 /proc/meminfo: memFree=28106448/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1331780 CPUtime=1601.86 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 272420 0 0 0 160076 110 0 0 20 0 4 0 104360675 1363742720 274621 33554432000 4194304 16246674 140734248814064 140734248813240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 332945 274621 849 2943 0 329839 0 [pid=1589/tid=1590] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274621 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274621 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1363742720 274621 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1331780 [startup+1662.3 s] /proc/loadavg: 2.14 2.19 2.12 3/183 1713 /proc/meminfo: memFree=28076216/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1335876 CPUtime=1661.85 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 273276 0 0 0 166072 113 0 0 20 0 4 0 104360675 1367937024 275477 33554432000 4194304 16246674 140734248814064 140734248813240 5545876 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 333969 275477 849 2943 0 330863 0 [pid=1589/tid=1590] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275477 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275477 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275477 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1335876 [startup+1722.3 s] /proc/loadavg: 2.27 2.21 2.13 3/183 1714 /proc/meminfo: memFree=28074684/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1335876 CPUtime=1721.85 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 273444 0 0 0 172068 117 0 0 20 0 4 0 104360675 1367937024 275645 33554432000 4194304 16246674 140734248814064 140734248813240 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 333969 275645 849 2943 0 330863 0 [pid=1589/tid=1590] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275645 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275645 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275645 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1335876 [startup+1782.3 s] /proc/loadavg: 2.24 2.22 2.14 3/183 1715 /proc/meminfo: memFree=28074092/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1335876 CPUtime=1781.84 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 273444 0 0 0 178065 119 0 0 20 0 4 0 104360675 1367937024 275645 33554432000 4194304 16246674 140734248814064 140734248813240 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 333969 275645 849 2943 0 330863 0 [pid=1589/tid=1590] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275645 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275645 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275645 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1335876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.17 2.20 2.13 3/183 1716 /proc/meminfo: memFree=28074444/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1335876 CPUtime=1800.03 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 273444 0 0 0 179883 120 0 0 20 0 4 0 104360675 1367937024 275645 33554432000 4194304 16246674 140734248814064 140734248813240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 333969 275645 849 2943 0 330863 0 [pid=1589/tid=1590] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275645 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275645 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275645 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1335876 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 1589 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.17 2.20 2.13 3/183 1716 /proc/meminfo: memFree=28074444/32872528 swapFree=16384/1696552 [pid=1589] ppid=1586 vsize=1335876 CPUtime=1800.03 cores=1,3,5,7 /proc/1589/stat : 1589 (toysat) R 1586 1589 1166 0 -1 4202496 273444 0 0 0 179883 120 0 0 20 0 4 0 104360675 1367937024 275645 33554432000 4194304 16246674 140734248814064 140734248813240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1589/statm: 333969 275645 849 2943 0 330863 0 [pid=1589/tid=1590] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1590/stat : 1590 (toysat) S 1586 1589 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275645 33554432000 4194304 16246674 140734248814064 140486584020208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1589/tid=1591] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1591/stat : 1591 (toysat) S 1586 1589 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275645 33554432000 4194304 16246674 140734248814064 140486501182704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1589/tid=1593] ppid=1586 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/1589/task/1593/stat : 1593 (toysat) S 1586 1589 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104360676 1367937024 275645 33554432000 4194304 16246674 140734248814064 140486490709168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1335876 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1798.84 CPU system time (s): 1.20782 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 1335876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.84 system time used= 1.20782 maximum resident set size= 1102580 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273444 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= 278 involuntary context switches= 1989 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.52031 second user time and 7.00094 second system time The end
Begin job on node125 at 2016-06-06 16:44:36 IDJOB=4079467 IDBENCH=1871 IDSOLVER=2542 FILE ID=node125/4079467-1465224276 RUNJOBID= node125-1465224138-1183 PBS_JOBID= 19843237 Free space on /tmp= 71728 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-p2756.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079467-1465224276/watcher-4079467-1465224276 -o /tmp/evaluation-result-4079467-1465224276/solver-4079467-1465224276 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079467-1465224276.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED=370884677 node125.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.456 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.91 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.456 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.56 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.456 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.456 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.456 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.456 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29274576 kB Buffers: 12880 kB Cached: 110104 kB SwapCached: 2016 kB Active: 1169760 kB Inactive: 29432 kB Active(anon): 1077208 kB Inactive(anon): 1380 kB Active(file): 92552 kB Inactive(file): 28052 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16496 kB Writeback: 0 kB AnonPages: 2772092 kB Mapped: 10616 kB Shmem: 0 kB Slab: 567204 kB SReclaimable: 10892 kB SUnreclaim: 556312 kB KernelStack: 1472 kB PageTables: 9568 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2914672 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1687552 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= 71712 MiB End job on node125 at 2016-06-06 17:14:37