| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb |
| MD5SUM | 14e0de9f4556c57c4cf25980f23fb0f1 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 409600 |
| Best CPU time to get the best result obtained on this benchmark | 33.5699 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 409600 |
| Optimality of the best value was proved | NO |
| Number of variables | 19747 |
| Total number of constraints | 3145 |
| Number of constraints which are clauses | 426 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2719 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 61 |
| Number of terms in the objective function | 133 |
| Biggest coefficient in the objective function | 536870912 |
| Number of bits for the biggest coefficient in the objective function | 30 |
| Sum of the numbers in the objective function | 1073847295 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 1024000000 |
| Number of bits of the biggest number in a constraint | 30 |
| Biggest sum of numbers in a constraint | 2147758078 |
| Number of bits of the biggest sum of numbers | 32 |
| 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-18T09:42:53+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-4103377-1466235773.opb"] 0.00/0.01 c use --random-gen="1220915976 646943395 3785636156 68907157 1649059637 2963109097 3599371247 274545708 2201649645 2692125010 1377220271 2654240488 1812397211 3931261478 178384323 3039397013 3047773136 3487101370 2595405956 1679690761 725877808 3702915921 1981597554 3742640208 1792151869 3112500772 1291928155 147084911 3375419905 4011224956 3954438782 3074126947 2268145012 2639851780 4100955794 4158605361 1032709074 1577754450 1549843630 1565220872 2886012064 2040142298 31236348 3035464281 224910480 2348400555 1339610776 3751290782 122022131 2434760372 270684819 3268717140 556100977 3183013916 1246560267 369349525 1545000333 420732699 1001685359 3486291109 2037867428 2953540806 1865546236 1137621900 2924478721 1917477676 851286677 932337700 2175145635 2351775844 3383776619 2935649641 568707163 3197399710 1889571305 3664691757 1387399720 2314598327 422029688 376589549 2077972713 1013721844 1241343386 3411241309 404206987 2707883454 878171493 4206182759 2498349248 3143109578 2020411424 3569781098 3322901177 1617622711 649026305 1698226744 597503062 2580007990 2901246196 3956788658 1679365271 3964155446 3776631562 361394769 2824159793 3476105081 3884034338 3147661799 3823254618 2811080570 898947878 3277078582 1800538880 3369512474 1523219904 160483953 3614054743 3647184758 1721554010 2595450637 3462107027 2892644775 2737013964 33068832 3929996291 366772524 1299164311 497032289 735180934 2790479191 2661030546 2931864757 2531623510 1877704994 1977837893 2177541873 3442199286 3377523827 101875135 2456709174 211142067 3253748822 3770844051 1413352170 1970022453 1296603688 2521608795 4089748253 55951924 3093532131 343662121 3551743530 2241305329 3487495913 805372570 764249309 3734282585 2413730826 700102538 2172293855 1144941443 3211043786 3599959693 579550434 1602252860 1807987728 1447734341 3419555101 461263882 4028344899 3650803635 967786876 256085050 972292753 3356053300 866969206 1428479742 3583292381 1279582095 1675273322 4069684920 1564192604 214868277 540365418 3396863705 2634108423 1124319716 2890317359 3572792950 663201285 3288017578 596936385 2617266609 2534837963 3286302332 989446365 1934330241 1107160878 1999320833 3901008889 1780483952 3675115537 582798304 464712988 2590045057 2385530508 1532643029 934871482 389530374 2077215110 633920854 2031013205 2511642893 3129433027 4141465111 2156177646 1602273668 828107643 2511612938 2397724624 3659723587 2666415358 2307103689 2667278179 1880499649 1939906630 742637728 3452922548 423964774 2050541961 559715506 2627622479 1868453169 1425302885 2780775998 1360220707 2077249118 4002906609 961472250 132773361 434935632 3001257921 1523577318 2482419042 671410527 1648212931 2258695016 1608550614 1749301138 1854283310 3145565284 3409273668 254399076 621194204 1277482636 3305246513 255 362436" option to reproduce the execution 0.29/0.30 c #vars 19747 0.29/0.30 c #constraints 3145 10.39/10.42 c BCD2: Hardening is enabled. 10.39/10.42 c BCD2: BiasedSearch is enabled. 10.39/10.42 c Solving starts ... 10.39/10.42 c ============================[ Search Statistics ]============================ 10.39/10.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.39/10.42 c | | | | Limit GC | Var | Constra 10.39/10.42 c ============================================================================= 10.39/10.42 c 0.0s | 0 | 0 | 0 | 7631 0 | 30 | 0 10.39/10.49 c 0.1s | 1 | 1023 | 100 | 7631 0 | 30 | 2 10.59/10.64 c 0.2s | 2 | 1525 | 250 | 8395 0 | 30 | 2 10.79/10.80 c 0.4s | 3 | 2105 | 475 | 9235 0 | 30 | 2 11.19/11.24 c 0.8s | 3 | 19699 | 520 | 10159 0 | 30 | 2 11.19/11.24 c #cpu_time = 0.776s 11.19/11.24 c #wall_clock_time = 0.777s 11.19/11.24 c #decision = 19699 11.19/11.24 c #random_decision = 48 11.19/11.24 c #conflict = 520 11.19/11.24 c #restart = 3 11.19/11.24 o 456704 11.39/11.44 c BCD2: hardening fixes 10 literals 11.39/11.44 c BCD2: updating upper bound: 1073847295 -> 562175 11.39/11.44 c BCD2: 0 <= obj <= 562175 11.39/11.44 c BCD2: #cores=0, #unrelaxed=123, #relaxed=0, #hardened=10 11.39/11.44 c BCD2: #sat=1 #unsat=1 bias=1/2 11.39/11.44 c Solving starts ... 11.39/11.44 c ============================[ Search Statistics ]============================ 11.39/11.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.39/11.44 c | | | | Limit GC | Var | Constra 11.39/11.44 c ============================================================================= 11.39/11.44 c 0.0s | 0 | 0 | 0 | 10159 0 | 30 | 2 11.39/11.46 c 0.0s | 0 | 0 | 0 | 10159 0 | 30 | 2 11.39/11.46 c #cpu_time = 0.017s 11.39/11.46 c #wall_clock_time = 0.017s 11.39/11.46 c #decision = 0 11.39/11.46 c #random_decision = 0 11.39/11.46 c #conflict = 0 11.39/11.46 c #restart = 0 11.39/11.46 c BCD2: found a new core of size 1: cost of the new core is >=262144 11.39/11.46 c lower bound updated to 156672 11.59/11.68 c BCD2: hardening fixes 1 literals 11.59/11.68 c BCD2: 262144 <= obj <= 562175 11.59/11.68 c BCD2: #cores=1, #unrelaxed=121, #relaxed=1, #hardened=11 11.59/11.68 c BCD2: #sat=1 #unsat=2 bias=2/3 11.59/11.68 c Solving starts ... 11.59/11.68 c ============================[ Search Statistics ]============================ 11.59/11.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.59/11.68 c | | | | Limit GC | Var | Constra 11.59/11.68 c ============================================================================= 11.69/11.75 c 0.0s | 0 | 0 | 0 | 10159 0 | 30 | 2 11.69/11.77 c 0.0s | 0 | 1 | 0 | 10159 0 | 30 | 2 11.69/11.77 c #cpu_time = 0.017s 11.69/11.77 c #wall_clock_time = 0.017s 11.69/11.77 c #decision = 1 11.69/11.77 c #random_decision = 0 11.69/11.77 c #conflict = 0 11.69/11.77 c #restart = 0 11.69/11.77 c BCD2: found a new core of size 1: cost of the new core is >=131072 11.69/11.77 c lower bound updated to 287744 11.89/11.98 c BCD2: 393216 <= obj <= 562175 11.89/11.98 c BCD2: #cores=2, #unrelaxed=120, #relaxed=2, #hardened=11 11.89/11.98 c BCD2: #sat=1 #unsat=3 bias=3/4 11.89/11.98 c Solving starts ... 11.89/11.98 c ============================[ Search Statistics ]============================ 11.89/11.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.89/11.98 c | | | | Limit GC | Var | Constra 11.89/11.98 c ============================================================================= 11.89/11.98 c 0.0s | 0 | 0 | 0 | 10159 0 | 30 | 2 11.89/11.99 c 0.0s | 0 | 2 | 0 | 10159 0 | 30 | 2 11.89/11.99 c #cpu_time = 0.017s 11.89/11.99 c #wall_clock_time = 0.017s 11.89/11.99 c #decision = 2 11.89/11.99 c #random_decision = 0 11.89/11.99 c #conflict = 0 11.89/11.99 c #restart = 0 11.89/11.99 c BCD2: found a new core of size 1: cost of the new core is >=65536 11.89/11.99 c lower bound updated to 353280 12.09/12.20 c BCD2: 458752 <= obj <= 562175 12.09/12.20 c BCD2: #cores=3, #unrelaxed=119, #relaxed=3, #hardened=11 12.09/12.20 c BCD2: #sat=1 #unsat=4 bias=4/5 12.09/12.20 c Solving starts ... 12.09/12.20 c ============================[ Search Statistics ]============================ 12.09/12.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.09/12.20 c | | | | Limit GC | Var | Constra 12.09/12.20 c ============================================================================= 12.09/12.20 c 0.0s | 0 | 0 | 0 | 10159 0 | 30 | 2 12.19/12.22 c 0.0s | 0 | 3 | 0 | 10159 0 | 30 | 2 12.19/12.22 c #cpu_time = 0.017s 12.19/12.22 c #wall_clock_time = 0.017s 12.19/12.22 c #decision = 3 12.19/12.22 c #random_decision = 0 12.19/12.22 c #conflict = 0 12.19/12.22 c #restart = 0 12.19/12.22 c BCD2: found a new core of size 1: cost of the new core is >=32768 12.19/12.22 c lower bound updated to 386048 12.38/12.42 c BCD2: 491520 <= obj <= 562175 12.38/12.42 c BCD2: #cores=4, #unrelaxed=118, #relaxed=4, #hardened=11 12.38/12.42 c BCD2: #sat=1 #unsat=5 bias=5/6 12.38/12.42 c Solving starts ... 12.38/12.42 c ============================[ Search Statistics ]============================ 12.38/12.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.38/12.42 c | | | | Limit GC | Var | Constra 12.38/12.42 c ============================================================================= 12.38/12.42 c 0.0s | 0 | 0 | 0 | 10159 0 | 30 | 2 12.38/12.44 c 0.0s | 0 | 4 | 0 | 10159 0 | 30 | 2 12.38/12.44 c #cpu_time = 0.017s 12.38/12.44 c #wall_clock_time = 0.017s 12.38/12.44 c #decision = 4 12.38/12.44 c #random_decision = 0 12.38/12.44 c #conflict = 0 12.38/12.44 c #restart = 0 12.38/12.44 c BCD2: found a new core of size 1: cost of the new core is >=16384 12.38/12.44 c lower bound updated to 402432 12.58/12.69 c BCD2: 507904 <= obj <= 562175 12.58/12.69 c BCD2: #cores=5, #unrelaxed=117, #relaxed=5, #hardened=11 12.58/12.69 c BCD2: #sat=1 #unsat=6 bias=6/7 12.58/12.69 c Solving starts ... 12.58/12.69 c ============================[ Search Statistics ]============================ 12.58/12.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.58/12.69 c | | | | Limit GC | Var | Constra 12.58/12.69 c ============================================================================= 12.58/12.69 c 0.0s | 0 | 0 | 0 | 10159 0 | 30 | 2 12.69/12.70 c 0.0s | 0 | 5 | 0 | 10159 0 | 30 | 2 12.69/12.70 c #cpu_time = 0.017s 12.69/12.70 c #wall_clock_time = 0.017s 12.69/12.70 c #decision = 5 12.69/12.70 c #random_decision = 0 12.69/12.70 c #conflict = 0 12.69/12.70 c #restart = 0 12.69/12.70 c BCD2: found a new core of size 1: cost of the new core is >=4096 12.69/12.70 c lower bound updated to 406528 12.89/12.91 c BCD2: 512000 <= obj <= 562175 12.89/12.91 c BCD2: #cores=6, #unrelaxed=116, #relaxed=6, #hardened=11 12.89/12.91 c BCD2: #sat=1 #unsat=7 bias=7/8 12.89/12.91 c Solving starts ... 12.89/12.91 c ============================[ Search Statistics ]============================ 12.89/12.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.89/12.91 c | | | | Limit GC | Var | Constra 12.89/12.91 c ============================================================================= 12.89/12.91 c 0.0s | 0 | 0 | 0 | 10159 0 | 30 | 2 13.30/13.36 c 0.5s | 1 | 927 | 100 | 10159 0 | 30 | 2 14.30/14.33 c 1.4s | 2 | 1555 | 250 | 10159 0 | 30 | 2 14.59/14.65 c 1.7s | 3 | 2119 | 475 | 11175 0 | 30 | 2 15.79/15.85 c 2.9s | 4 | 2779 | 813 | 12293 0 | 30 | 2 16.29/16.36 c 3.5s | 5 | 3638 | 1320 | 12293 0 | 30 | 2 18.29/18.39 c 5.5s | 5 | 4645 | 2020 | 13523 0 | 30 | 2 18.59/18.69 c 5.8s | 6 | 4740 | 2081 | 13523 0 | 30 | 2 19.90/19.94 c 7.0s | 7 | 6373 | 3223 | 14876 0 | 30 | 2 21.99/22.05 c 9.1s | 7 | 8044 | 4523 | 16364 0 | 30 | 2 22.69/22.75 c 9.8s | 8 | 8544 | 4936 | 16364 0 | 30 | 2 24.69/24.78 c 11.9s | 8 | 11240 | 7436 | 18001 0 | 30 | 2 24.79/24.85 c 11.9s | 9 | 11311 | 7506 | 18001 0 | 30 | 2 26.89/26.97 c 14.1s | 9 | 12886 | 8906 | 18001 0 | 30 | 2 28.99/29.09 c 16.2s | 9 | 14322 | 10306 | 18001 0 | 30 | 2 30.69/30.72 c 17.8s | 10 | 15408 | 11361 | 19802 0 | 30 | 2 32.69/32.74 c 19.8s | 10 | 17068 | 12861 | 19802 0 | 30 | 2 34.69/34.77 c 21.9s | 10 | 18573 | 14361 | 19802 0 | 30 | 2 36.79/36.88 c 24.0s | 10 | 20077 | 15861 | 19802 0 | 30 | 2 38.69/38.79 c 25.9s | 11 | 21367 | 17144 | 21783 0 | 30 | 2 40.79/40.84 c 27.9s | 11 | 22472 | 17644 | 21783 0 | 30 | 2 43.08/43.16 c 30.3s | 11 | 23273 | 18244 | 21783 0 | 30 | 2 45.19/45.26 c 32.4s | 11 | 24093 | 18844 | 21783 0 | 30 | 2 47.39/47.49 c 34.6s | 11 | 24982 | 19444 | 21783 0 | 30 | 2 49.68/49.79 c 36.9s | 11 | 25837 | 20044 | 21783 0 | 30 | 2 51.98/52.02 c 39.1s | 11 | 26734 | 20644 | 21783 0 | 30 | 2 54.08/54.19 c 41.3s | 11 | 27599 | 21244 | 21783 0 | 30 | 2 56.38/56.43 c 43.5s | 11 | 28489 | 21844 | 21783 0 | 30 | 2 58.68/58.78 c 45.9s | 11 | 29463 | 22444 | 21783 0 | 30 | 2 61.08/61.13 c 48.2s | 11 | 30414 | 23044 | 21783 0 | 30 | 2 63.28/63.38 c 50.5s | 11 | 31119 | 23544 | 21783 0 | 30 | 2 65.68/65.75 c 52.8s | 11 | 32030 | 24144 | 21783 0 | 30 | 2 67.78/67.80 c 54.9s | 11 | 32749 | 24644 | 21783 0 | 30 | 2 70.18/70.20 c 57.3s | 11 | 33634 | 25244 | 23962 0 | 30 | 2 72.18/72.23 c 59.3s | 11 | 34387 | 25744 | 23962 0 | 30 | 2 72.48/72.53 c 59.6s | 12 | 34509 | 25819 | 23962 0 | 30 | 2 74.48/74.56 c 61.7s | 12 | 37305 | 27619 | 23962 1 | 30 | 2 76.58/76.64 c 63.7s | 12 | 40109 | 29719 | 23962 1 | 30 | 2 78.58/78.67 c 65.8s | 12 | 42345 | 31619 | 23962 1 | 30 | 2 80.58/80.70 c 67.8s | 12 | 44512 | 33419 | 23962 1 | 30 | 2 82.68/82.73 c 69.8s | 12 | 46475 | 35119 | 23962 1 | 30 | 2 84.68/84.74 c 71.8s | 12 | 48422 | 36719 | 23962 1 | 30 | 2 86.78/86.81 c 73.9s | 12 | 50314 | 38319 | 26359 1 | 30 | 2 87.38/87.46 c 74.6s | 13 | 50959 | 38832 | 26359 1 | 30 | 2 89.48/89.50 c 76.6s | 13 | 52209 | 39832 | 26359 1 | 30 | 2 91.48/91.54 c 78.6s | 13 | 53304 | 40832 | 26359 1 | 30 | 2 93.48/93.59 c 80.7s | 13 | 54398 | 41832 | 26359 1 | 30 | 2 95.57/95.69 c 82.8s | 13 | 55500 | 42832 | 26359 1 | 30 | 2 97.77/97.89 c 85.0s | 13 | 56601 | 43832 | 26359 1 | 30 | 2 99.97/100.00 c 87.1s | 13 | 57698 | 44832 | 26359 2 | 30 | 2 101.97/102.08 c 89.2s | 13 | 58910 | 45932 | 26359 2 | 30 | 2 104.07/104.18 c 91.3s | 13 | 60140 | 47032 | 26359 2 | 30 | 2 106.17/106.27 c 93.4s | 13 | 61224 | 48032 | 26359 2 | 30 | 2 108.37/108.43 c 95.5s | 13 | 62438 | 49132 | 26359 2 | 30 | 2 110.37/110.46 c 97.6s | 13 | 63523 | 50132 | 26359 2 | 30 | 2 112.57/112.65 c 99.7s | 13 | 64625 | 51132 | 26359 2 | 30 | 2 114.57/114.69 c 101s | 13 | 65608 | 52032 | 26359 2 | 30 | 2 116.68/116.77 c 103s | 13 | 66583 | 52932 | 26359 2 | 30 | 2 118.87/118.94 c 106s | 13 | 67559 | 53832 | 26359 2 | 30 | 2 121.07/121.17 c 108s | 13 | 68540 | 54732 | 26359 2 | 30 | 2 123.17/123.20 c 110s | 13 | 69432 | 55532 | 26359 2 | 30 | 2 125.17/125.25 c 112s | 13 | 70309 | 56332 | 26359 2 | 30 | 2 127.27/127.36 c 114s | 13 | 71188 | 57132 | 26359 2 | 30 | 2 129.47/129.59 c 116s | 13 | 72062 | 57932 | 28995 2 | 30 | 2 130.67/130.77 c 117s | 14 | 72518 | 58352 | 28995 2 | 30 | 2 132.77/132.85 c 119s | 14 | 75187 | 59652 | 28995 3 | 30 | 2 134.87/134.90 c 121s | 14 | 77671 | 61952 | 28995 3 | 30 | 2 136.87/136.93 c 124s | 14 | 79812 | 63952 | 28995 3 | 30 | 2 138.86/138.99 c 126s | 14 | 81842 | 65852 | 28995 3 | 30 | 2 140.96/141.07 c 128s | 14 | 83757 | 67652 | 28995 3 | 30 | 2 143.07/143.14 c 130s | 14 | 85565 | 69352 | 28995 3 | 30 | 2 145.06/145.18 c 132s | 14 | 87304 | 70952 | 28995 3 | 30 | 2 147.06/147.19 c 134s | 14 | 88896 | 72452 | 28995 3 | 30 | 2 149.26/149.32 c 136s | 14 | 90504 | 73952 | 28995 3 | 30 | 2 151.36/151.43 c 138s | 14 | 92017 | 75352 | 28995 3 | 30 | 2 153.36/153.48 c 140s | 14 | 93420 | 76652 | 28995 3 | 30 | 2 155.46/155.50 c 142s | 14 | 94707 | 77852 | 28995 4 | 30 | 2 157.46/157.59 c 144s | 14 | 96116 | 79152 | 28995 4 | 30 | 2 159.57/159.62 c 146s | 14 | 97428 | 80352 | 28995 4 | 30 | 2 161.67/161.71 c 148s | 14 | 98712 | 81552 | 28995 4 | 30 | 2 163.66/163.77 c 150s | 14 | 99887 | 82652 | 28995 4 | 30 | 2 165.76/165.86 c 152s | 14 | 101078 | 83752 | 28995 4 | 30 | 2 167.96/168.01 c 155s | 14 | 102239 | 84852 | 28995 4 | 30 | 2 170.06/170.11 c 157s | 14 | 103394 | 85952 | 28995 4 | 30 | 2 172.06/172.15 c 159s | 14 | 104579 | 87052 | 31895 4 | 30 | 2 173.26/173.30 c 160s | 15 | 105215 | 87632 | 31895 4 | 30 | 2 175.36/175.44 c 162s | 15 | 108695 | 88832 | 31895 4 | 30 | 2 177.46/177.55 c 164s | 15 | 109936 | 90032 | 31895 4 | 30 | 2 179.56/179.62 c 166s | 15 | 111055 | 91132 | 31895 4 | 30 | 2 181.66/181.70 c 168s | 15 | 112171 | 92232 | 31895 4 | 30 | 2 183.76/183.87 c 170s | 15 | 113283 | 93332 | 31895 4 | 30 | 2 185.86/185.92 c 173s | 15 | 114299 | 94332 | 31895 4 | 30 | 2 187.86/187.99 c 175s | 15 | 115323 | 95332 | 31895 4 | 30 | 2 189.96/190.06 c 177s | 15 | 116347 | 96332 | 31895 4 | 30 | 2 192.06/192.18 c 179s | 15 | 117361 | 97332 | 31895 4 | 30 | 2 194.16/194.23 c 181s | 15 | 118278 | 98232 | 31895 5 | 30 | 2 196.26/196.36 c 183s | 15 | 119196 | 99132 | 31895 5 | 30 | 2 198.36/198.45 c 185s | 15 | 120107 | 100032 | 31895 5 | 30 | 2 200.56/200.65 c 187s | 15 | 121021 | 100932 | 31895 5 | 30 | 2 202.76/202.84 c 189s | 15 | 121937 | 101832 | 31895 5 | 30 | 2 204.75/204.87 c 191s | 15 | 122254 | 102132 | 31895 5 | 30 | 2 206.86/206.99 c 194s | 15 | 123181 | 103032 | 31895 5 | 30 | 2 209.15/209.24 c 196s | 15 | 124095 | 103932 | 31895 5 | 30 | 2 211.35/211.45 c 198s | 15 | 125021 | 104832 | 31895 5 | 30 | 2 213.36/213.48 c 200s | 15 | 125828 | 105632 | 31895 5 | 30 | 2 215.56/215.64 c 202s | 15 | 126644 | 106432 | 31895 5 | 30 | 2 217.65/217.77 c 204s | 15 | 127467 | 107232 | 31895 5 | 30 | 2 219.96/220.01 c 207s | 15 | 128287 | 108032 | 31895 5 | 30 | 2 222.26/222.32 c 209s | 15 | 129099 | 108832 | 31895 5 | 30 | 2 224.25/224.33 c 211s | 15 | 129820 | 109532 | 31895 5 | 30 | 2 226.25/226.37 c 213s | 15 | 130528 | 110232 | 31895 5 | 30 | 2 228.25/228.38 c 215s | 15 | 131266 | 110932 | 31895 5 | 30 | 2 230.36/230.42 c 217s | 15 | 131975 | 111632 | 31895 5 | 30 | 2 232.36/232.43 c 219s | 15 | 132691 | 112332 | 31895 5 | 30 | 2 234.36/234.47 c 221s | 15 | 133396 | 113032 | 31895 5 | 30 | 2 236.46/236.60 c 223s | 15 | 134105 | 113732 | 31895 5 | 30 | 2 238.66/238.72 c 225s | 15 | 134812 | 114432 | 31895 5 | 30 | 2 240.76/240.89 c 227s | 15 | 135526 | 115132 | 31895 5 | 30 | 2 242.96/243.08 c 230s | 15 | 136263 | 115832 | 31895 5 | 30 | 2 245.06/245.12 c 232s | 15 | 136972 | 116532 | 31895 5 | 30 | 2 247.06/247.18 c 234s | 15 | 137683 | 117232 | 31895 6 | 30 | 2 249.16/249.28 c 236s | 15 | 138398 | 117932 | 31895 6 | 30 | 2 251.25/251.37 c 238s | 15 | 139210 | 118732 | 31895 6 | 30 | 2 253.35/253.45 c 240s | 15 | 139730 | 119232 | 31895 6 | 30 | 2 255.55/255.67 c 242s | 15 | 140654 | 120132 | 31895 6 | 30 | 2 257.65/257.77 c 244s | 15 | 141462 | 120932 | 31895 6 | 30 | 2 259.85/259.90 c 246s | 15 | 142275 | 121732 | 31895 6 | 30 | 2 262.05/262.10 c 249s | 15 | 143080 | 122532 | 31895 6 | 30 | 2 264.14/264.22 c 251s | 15 | 143792 | 123232 | 31895 6 | 30 | 2 266.15/266.23 c 253s | 15 | 144502 | 123932 | 31895 6 | 30 | 2 268.15/268.29 c 255s | 15 | 145215 | 124632 | 31895 6 | 30 | 2 270.25/270.39 c 257s | 15 | 145929 | 125332 | 31895 6 | 30 | 2 272.35/272.48 c 259s | 15 | 146634 | 126032 | 31895 6 | 30 | 2 274.55/274.65 c 261s | 15 | 147343 | 126732 | 31895 6 | 30 | 2 276.75/276.88 c 263s | 15 | 148054 | 127432 | 31895 6 | 30 | 2 279.05/279.15 c 266s | 15 | 148763 | 128132 | 31895 6 | 30 | 2 281.35/281.42 c 268s | 15 | 149469 | 128832 | 31895 6 | 30 | 2 283.65/283.74 c 270s | 15 | 150170 | 129532 | 31895 6 | 30 | 2 285.96/286.03 c 273s | 15 | 150786 | 130132 | 35085 6 | 30 | 2 288.05/288.18 c 275s | 15 | 151392 | 130732 | 35085 6 | 30 | 2 290.25/290.35 c 277s | 15 | 152000 | 131332 | 35085 6 | 30 | 2 291.05/291.17 c 278s | 16 | 152224 | 131552 | 35085 6 | 30 | 2 293.34/293.44 c 280s | 16 | 152539 | 131652 | 35085 6 | 30 | 2 295.34/295.45 c 282s | 16 | 154756 | 133352 | 35085 6 | 30 | 2 297.44/297.51 c 284s | 16 | 157223 | 135352 | 35085 6 | 30 | 2 299.54/299.64 c 286s | 16 | 159385 | 137152 | 35085 6 | 30 | 2 301.54/301.68 c 288s | 16 | 161158 | 138652 | 35085 7 | 30 | 2 303.55/303.70 c 290s | 16 | 162902 | 140152 | 35085 7 | 30 | 2 305.75/305.85 c 292s | 16 | 164650 | 141652 | 35085 7 | 30 | 2 307.84/307.95 c 295s | 16 | 166302 | 143052 | 35085 7 | 30 | 2 309.94/310.02 c 297s | 16 | 167780 | 144352 | 35085 7 | 30 | 2 312.04/312.13 c 299s | 16 | 169310 | 145652 | 35085 7 | 30 | 2 314.04/314.17 c 301s | 16 | 170670 | 146852 | 35085 7 | 30 | 2 316.14/316.23 c 303s | 16 | 172018 | 148052 | 35085 7 | 30 | 2 318.24/318.34 c 305s | 16 | 173379 | 149252 | 35085 7 | 30 | 2 320.24/320.37 c 307s | 16 | 174628 | 150352 | 35085 7 | 30 | 2 322.44/322.57 c 309s | 16 | 176014 | 151552 | 35085 7 | 30 | 2 324.55/324.67 c 311s | 16 | 177289 | 152652 | 35085 7 | 30 | 2 326.64/326.76 c 313s | 16 | 178447 | 153652 | 35085 7 | 30 | 2 328.64/328.79 c 315s | 16 | 179635 | 154652 | 35085 7 | 30 | 2 330.74/330.82 c 317s | 16 | 180763 | 155652 | 35085 7 | 30 | 2 332.74/332.88 c 319s | 16 | 181894 | 156652 | 35085 7 | 30 | 2 334.74/334.88 c 321s | 16 | 182927 | 157552 | 35085 7 | 30 | 2 336.84/336.94 c 324s | 16 | 183940 | 158452 | 35085 7 | 30 | 2 339.04/339.15 c 326s | 16 | 184961 | 159352 | 35085 8 | 30 | 2 341.14/341.24 c 328s | 16 | 186181 | 160452 | 35085 8 | 30 | 2 343.24/343.33 c 330s | 16 | 187425 | 161552 | 35085 8 | 30 | 2 345.24/345.38 c 332s | 16 | 188597 | 162552 | 35085 8 | 30 | 2 347.34/347.49 c 334s | 16 | 189751 | 163552 | 35085 8 | 30 | 2 349.53/349.65 c 336s | 16 | 190888 | 164552 | 35085 8 | 30 | 2 351.73/351.86 c 338s | 16 | 192017 | 165552 | 35085 8 | 30 | 2 353.83/353.91 c 341s | 16 | 193058 | 166452 | 35085 8 | 30 | 2 355.83/355.92 c 343s | 16 | 194098 | 167352 | 35085 8 | 30 | 2 358.03/358.16 c 345s | 16 | 195235 | 168352 | 35085 8 | 30 | 2 360.23/360.30 c 347s | 16 | 196288 | 169252 | 35085 8 | 30 | 2 362.43/362.50 c 349s | 16 | 197336 | 170152 | 35085 8 | 30 | 2 364.63/364.71 c 351s | 16 | 198370 | 171052 | 35085 8 | 30 | 2 366.83/366.94 c 354s | 16 | 199379 | 171952 | 35085 8 | 30 | 2 368.93/369.03 c 356s | 16 | 200314 | 172752 | 35085 8 | 30 | 2 370.93/371.03 c 358s | 16 | 201230 | 173552 | 35085 8 | 30 | 2 373.03/373.12 c 360s | 16 | 202164 | 174352 | 35085 8 | 30 | 2 375.23/375.31 c 362s | 16 | 203039 | 175152 | 35085 8 | 30 | 2 377.34/377.42 c 364s | 16 | 203929 | 175952 | 35085 8 | 30 | 2 379.54/379.62 c 366s | 16 | 204852 | 176752 | 35085 8 | 30 | 2 381.74/381.82 c 368s | 16 | 205758 | 177552 | 35085 8 | 30 | 2 383.93/384.03 c 371s | 16 | 206671 | 178352 | 35085 8 | 30 | 2 385.93/386.10 c 373s | 16 | 207475 | 179052 | 35085 8 | 30 | 2 388.13/388.24 c 375s | 16 | 208277 | 179752 | 35085 9 | 30 | 2 390.33/390.41 c 377s | 16 | 209411 | 180752 | 35085 9 | 30 | 2 392.53/392.61 c 379s | 16 | 210567 | 181752 | 35085 9 | 30 | 2 394.63/394.75 c 381s | 16 | 211613 | 182652 | 35085 9 | 30 | 2 397.03/397.19 c 384s | 16 | 212392 | 183352 | 35085 9 | 30 | 2 399.12/399.28 c 386s | 16 | 213522 | 184352 | 35085 9 | 30 | 2 401.12/401.29 c 388s | 16 | 214543 | 185252 | 35085 9 | 30 | 2 403.22/403.36 c 390s | 16 | 215624 | 186152 | 35085 9 | 30 | 2 405.32/405.49 c 392s | 16 | 216650 | 187052 | 35085 9 | 30 | 2 407.62/407.73 c 394s | 16 | 217669 | 187952 | 35085 9 | 30 | 2 409.83/409.91 c 397s | 16 | 218698 | 188852 | 35085 9 | 30 | 2 412.03/412.13 c 399s | 16 | 219716 | 189752 | 35085 9 | 30 | 2 414.23/414.34 c 401s | 16 | 220739 | 190652 | 35085 9 | 30 | 2 416.23/416.37 c 403s | 16 | 221626 | 191452 | 35085 9 | 30 | 2 418.53/418.61 c 405s | 16 | 222650 | 192352 | 35085 9 | 30 | 2 420.63/420.72 c 407s | 16 | 223545 | 193152 | 35085 9 | 30 | 2 422.73/422.86 c 409s | 16 | 224486 | 193952 | 35085 9 | 30 | 2 424.93/425.05 c 412s | 16 | 225396 | 194752 | 35085 9 | 30 | 2 427.23/427.33 c 414s | 16 | 226296 | 195552 | 38594 9 | 30 | 2 429.23/429.35 c 416s | 16 | 227084 | 196252 | 38594 9 | 30 | 2 431.43/431.58 c 418s | 16 | 227995 | 197052 | 38594 9 | 30 | 2 432.53/432.66 c 419s | 17 | 228421 | 197432 | 38594 9 | 30 | 2 436.63/436.75 c 423s | 17 | 228774 | 197532 | 38594 9 | 30 | 2 438.72/438.84 c 425s | 17 | 229835 | 198432 | 38594 9 | 30 | 2 440.92/441.04 c 428s | 17 | 230448 | 198932 | 38594 10 | 30 | 2 442.92/443.05 c 430s | 17 | 231035 | 199432 | 38594 10 | 30 | 2 445.02/445.17 c 432s | 17 | 231659 | 199932 | 38594 10 | 30 | 2 447.12/447.20 c 434s | 17 | 232258 | 200432 | 38594 10 | 30 | 2 449.22/449.35 c 436s | 17 | 232775 | 200832 | 38594 10 | 30 | 2 451.52/451.69 c 438s | 17 | 233345 | 201332 | 38594 10 | 30 | 2 453.62/453.75 c 440s | 17 | 233973 | 201832 | 38594 10 | 30 | 2 456.02/456.18 c 443s | 17 | 234740 | 202432 | 38594 10 | 30 | 2 458.22/458.38 c 445s | 17 | 235327 | 202932 | 38594 10 | 30 | 2 460.32/460.43 c 447s | 17 | 235946 | 203432 | 38594 10 | 30 | 2 462.32/462.46 c 449s | 17 | 236552 | 203932 | 38594 10 | 30 | 2 464.42/464.56 c 451s | 17 | 237190 | 204432 | 38594 10 | 30 | 2 466.72/466.84 c 453s | 17 | 237779 | 204932 | 38594 10 | 30 | 2 468.72/468.84 c 455s | 17 | 238395 | 205432 | 38594 10 | 30 | 2 470.82/470.95 c 458s | 17 | 238997 | 205932 | 38594 10 | 30 | 2 473.12/473.24 c 460s | 17 | 239592 | 206432 | 38594 10 | 30 | 2 475.41/475.54 c 462s | 17 | 240201 | 206932 | 38594 10 | 30 | 2 477.81/477.98 c 465s | 17 | 240785 | 207432 | 38594 10 | 30 | 2 480.11/480.25 c 467s | 17 | 241377 | 207932 | 38594 10 | 30 | 2 482.31/482.42 c 469s | 17 | 241956 | 208432 | 38594 10 | 30 | 2 484.71/484.81 c 471s | 17 | 242549 | 208932 | 38594 10 | 30 | 2 487.01/487.11 c 474s | 17 | 243132 | 209432 | 38594 10 | 30 | 2 489.21/489.33 c 476s | 17 | 243711 | 209932 | 38594 10 | 30 | 2 491.51/491.68 c 478s | 17 | 244327 | 210432 | 38594 10 | 30 | 2 494.01/494.11 c 481s | 17 | 244909 | 210932 | 38594 10 | 30 | 2 496.02/496.16 c 483s | 17 | 245386 | 211332 | 38594 10 | 30 | 2 498.11/498.23 c 485s | 17 | 245866 | 211732 | 38594 10 | 30 | 2 500.42/500.52 c 487s | 17 | 246471 | 212232 | 38594 10 | 30 | 2 502.51/502.60 c 489s | 17 | 246938 | 212632 | 38594 10 | 30 | 2 504.51/504.61 c 491s | 17 | 247418 | 213032 | 38594 10 | 30 | 2 506.51/506.62 c 493s | 17 | 247892 | 213432 | 38594 10 | 30 | 2 508.61/508.75 c 495s | 17 | 248391 | 213832 | 38594 10 | 30 | 2 510.91/511.07 c 498s | 17 | 248985 | 214332 | 38594 10 | 30 | 2 513.01/513.14 c 500s | 17 | 249453 | 214732 | 38594 10 | 30 | 2 515.11/515.22 c 502s | 17 | 249939 | 215132 | 38594 10 | 30 | 2 517.51/517.68 c 504s | 17 | 250539 | 215632 | 38594 10 | 30 | 2 520.01/520.11 c 507s | 17 | 251170 | 216132 | 38594 10 | 30 | 2 522.11/522.22 c 509s | 17 | 251638 | 216532 | 38594 10 | 30 | 2 524.51/524.65 c 511s | 17 | 252246 | 217032 | 38594 10 | 30 | 2 526.71/526.82 c 513s | 17 | 252713 | 217432 | 38594 10 | 30 | 2 528.81/528.98 c 516s | 17 | 253181 | 217832 | 38594 10 | 30 | 2 531.01/531.15 c 518s | 17 | 253667 | 218232 | 38594 10 | 30 | 2 533.20/533.37 c 520s | 17 | 254142 | 218632 | 38594 10 | 30 | 2 535.40/535.53 c 522s | 17 | 254613 | 219032 | 38594 10 | 30 | 2 537.70/537.87 c 524s | 17 | 255104 | 219432 | 38594 11 | 30 | 2 539.80/539.93 c 527s | 17 | 255581 | 219832 | 38594 11 | 30 | 2 541.90/542.10 c 529s | 17 | 256044 | 220232 | 38594 11 | 30 | 2 544.20/544.32 c 531s | 17 | 256528 | 220632 | 38594 11 | 30 | 2 546.20/546.35 c 533s | 17 | 256986 | 221032 | 38594 11 | 30 | 2 548.40/548.57 c 535s | 17 | 257475 | 221432 | 38594 11 | 30 | 2 550.60/550.75 c 537s | 17 | 257964 | 221832 | 38594 11 | 30 | 2 552.80/552.93 c 540s | 17 | 258438 | 222232 | 38594 11 | 30 | 2 555.10/555.22 c 542s | 17 | 258893 | 222632 | 38594 11 | 30 | 2 557.20/557.33 c 544s | 17 | 259351 | 223032 | 38594 11 | 30 | 2 559.20/559.35 c 546s | 17 | 259826 | 223432 | 38594 11 | 30 | 2 561.30/561.43 c 548s | 17 | 260330 | 223832 | 38594 11 | 30 | 2 563.50/563.66 c 550s | 17 | 260857 | 224232 | 38594 11 | 30 | 2 565.80/565.92 c 553s | 17 | 261314 | 224632 | 38594 11 | 30 | 2 568.00/568.17 c 555s | 17 | 261795 | 225032 | 38594 11 | 30 | 2 570.20/570.35 c 557s | 17 | 262253 | 225432 | 38594 11 | 30 | 2 572.50/572.68 c 559s | 17 | 262723 | 225832 | 38594 11 | 30 | 2 574.90/575.04 c 562s | 17 | 263195 | 226232 | 38594 11 | 30 | 2 577.00/577.18 c 564s | 17 | 263703 | 226632 | 38594 11 | 30 | 2 579.30/579.48 c 566s | 17 | 264168 | 227032 | 38594 11 | 30 | 2 581.60/581.75 c 568s | 17 | 264636 | 227432 | 38594 11 | 30 | 2 583.90/584.09 c 571s | 17 | 265130 | 227832 | 38594 11 | 30 | 2 586.10/586.28 c 573s | 17 | 265627 | 228232 | 38594 11 | 30 | 2 588.40/588.51 c 575s | 17 | 266136 | 228632 | 38594 11 | 30 | 2 590.70/590.88 c 577s | 17 | 266617 | 229032 | 38594 11 | 30 | 2 593.10/593.22 c 580s | 17 | 267100 | 229432 | 38594 11 | 30 | 2 595.40/595.57 c 582s | 17 | 267604 | 229832 | 38594 11 | 30 | 2 597.80/597.91 c 584s | 17 | 268101 | 230232 | 38594 11 | 30 | 2 600.19/600.35 c 587s | 17 | 268600 | 230632 | 38594 11 | 30 | 2 602.49/602.66 c 589s | 17 | 269078 | 231032 | 38594 11 | 30 | 2 604.90/605.05 c 592s | 17 | 269574 | 231432 | 38594 11 | 30 | 2 607.49/607.64 c 594s | 17 | 270051 | 231832 | 38594 11 | 30 | 2 609.89/610.02 c 597s | 17 | 270546 | 232232 | 38594 11 | 30 | 2 612.29/612.44 c 599s | 17 | 271048 | 232632 | 38594 11 | 30 | 2 614.69/614.88 c 601s | 17 | 271523 | 233032 | 38594 11 | 30 | 2 617.19/617.37 c 604s | 17 | 272015 | 233432 | 38594 11 | 30 | 2 619.59/619.71 c 606s | 17 | 272477 | 233832 | 38594 11 | 30 | 2 621.89/622.04 c 609s | 17 | 272956 | 234232 | 38594 11 | 30 | 2 624.29/624.45 c 611s | 17 | 273442 | 234632 | 38594 11 | 30 | 2 626.49/626.65 c 613s | 17 | 273915 | 235032 | 38594 11 | 30 | 2 628.89/629.06 c 616s | 17 | 274402 | 235432 | 38594 11 | 30 | 2 631.19/631.34 c 618s | 17 | 274868 | 235832 | 38594 11 | 30 | 2 633.69/633.88 c 620s | 17 | 275343 | 236232 | 38594 11 | 30 | 2 636.09/636.29 c 623s | 17 | 275809 | 236632 | 38594 11 | 30 | 2 638.39/638.55 c 625s | 17 | 276284 | 237032 | 38594 11 | 30 | 2 640.79/640.94 c 628s | 17 | 276768 | 237432 | 38594 11 | 30 | 2 643.09/643.28 c 630s | 17 | 277276 | 237832 | 38594 11 | 30 | 2 645.19/645.31 c 632s | 17 | 277955 | 238232 | 38594 11 | 30 | 2 647.49/647.63 c 634s | 17 | 278690 | 238732 | 38594 11 | 30 | 2 650.29/650.40 c 637s | 17 | 279183 | 239132 | 38594 12 | 30 | 2 652.29/652.41 c 639s | 17 | 279419 | 239332 | 38594 12 | 30 | 2 654.28/654.48 c 641s | 17 | 279902 | 239732 | 38594 12 | 30 | 2 656.38/656.51 c 643s | 17 | 280402 | 240132 | 38594 12 | 30 | 2 658.48/658.65 c 645s | 17 | 280871 | 240532 | 38594 12 | 30 | 2 660.58/660.74 c 647s | 17 | 281341 | 240932 | 38594 12 | 30 | 2 662.68/662.85 c 649s | 17 | 281797 | 241332 | 38594 12 | 30 | 2 664.88/665.07 c 652s | 17 | 282261 | 241732 | 38594 12 | 30 | 2 666.98/667.13 c 654s | 17 | 282750 | 242132 | 38594 12 | 30 | 2 669.08/669.27 c 656s | 17 | 283225 | 242532 | 38594 12 | 30 | 2 671.18/671.37 c 658s | 17 | 283696 | 242932 | 38594 12 | 30 | 2 673.48/673.63 c 660s | 17 | 284183 | 243332 | 38594 12 | 30 | 2 675.58/675.71 c 662s | 17 | 284657 | 243732 | 38594 12 | 30 | 2 677.68/677.83 c 664s | 17 | 285115 | 244132 | 38594 12 | 30 | 2 679.70/679.88 c 666s | 17 | 285598 | 244532 | 38594 12 | 30 | 2 682.00/682.16 c 669s | 17 | 286059 | 244932 | 38594 12 | 30 | 2 684.20/684.34 c 671s | 17 | 286536 | 245332 | 38594 12 | 30 | 2 686.39/686.59 c 673s | 17 | 287011 | 245732 | 38594 12 | 30 | 2 688.59/688.77 c 675s | 17 | 287498 | 246132 | 38594 12 | 30 | 2 690.89/691.06 c 678s | 17 | 287970 | 246532 | 38594 12 | 30 | 2 693.29/693.47 c 680s | 17 | 288437 | 246932 | 38594 12 | 30 | 2 695.49/695.60 c 682s | 17 | 288917 | 247332 | 38594 12 | 30 | 2 697.49/697.67 c 684s | 17 | 289409 | 247732 | 38594 12 | 30 | 2 699.69/699.84 c 686s | 17 | 289898 | 248132 | 38594 12 | 30 | 2 701.69/701.90 c 688s | 17 | 290389 | 248532 | 38594 12 | 30 | 2 703.89/704.03 c 691s | 17 | 290894 | 248932 | 38594 12 | 30 | 2 706.19/706.36 c 693s | 17 | 291364 | 249332 | 38594 12 | 30 | 2 708.48/708.65 c 695s | 17 | 291830 | 249732 | 38594 12 | 30 | 2 710.68/710.82 c 697s | 17 | 292311 | 250132 | 38594 12 | 30 | 2 713.18/713.32 c 700s | 17 | 292783 | 250532 | 38594 12 | 30 | 2 715.58/715.71 c 702s | 17 | 293253 | 250932 | 38594 12 | 30 | 2 717.98/718.11 c 705s | 17 | 293726 | 251332 | 38594 12 | 30 | 2 720.49/720.65 c 707s | 17 | 294198 | 251732 | 38594 12 | 30 | 2 722.88/723.07 c 710s | 17 | 294687 | 252132 | 38594 12 | 30 | 2 725.38/725.55 c 712s | 17 | 295193 | 252532 | 38594 12 | 30 | 2 727.78/727.91 c 715s | 17 | 295666 | 252932 | 38594 12 | 30 | 2 729.98/730.19 c 717s | 17 | 296153 | 253332 | 38594 12 | 30 | 2 732.18/732.31 c 719s | 17 | 296645 | 253732 | 38594 12 | 30 | 2 734.58/734.71 c 721s | 17 | 297150 | 254132 | 38594 12 | 30 | 2 736.78/736.99 c 724s | 17 | 297646 | 254532 | 38594 12 | 30 | 2 739.18/739.31 c 726s | 17 | 298122 | 254932 | 38594 12 | 30 | 2 741.78/741.90 c 728s | 17 | 298583 | 255332 | 38594 12 | 30 | 2 744.18/744.34 c 731s | 17 | 299079 | 255732 | 38594 12 | 30 | 2 746.48/746.63 c 733s | 17 | 299563 | 256132 | 38594 12 | 30 | 2 748.68/748.89 c 735s | 17 | 300047 | 256532 | 38594 12 | 30 | 2 750.98/751.13 c 738s | 17 | 300555 | 256932 | 38594 12 | 30 | 2 753.08/753.23 c 740s | 17 | 300901 | 257232 | 38594 12 | 30 | 2 755.48/755.64 c 742s | 17 | 301382 | 257632 | 38594 12 | 30 | 2 757.67/757.86 c 744s | 17 | 301855 | 258032 | 38594 12 | 30 | 2 760.08/760.29 c 747s | 17 | 302329 | 258432 | 38594 12 | 30 | 2 762.97/763.14 c 750s | 17 | 302821 | 258832 | 38594 13 | 30 | 2 765.37/765.57 c 752s | 17 | 303284 | 259232 | 38594 13 | 30 | 2 767.57/767.79 c 754s | 17 | 303778 | 259632 | 38594 13 | 30 | 2 769.77/769.98 c 757s | 17 | 304242 | 260032 | 38594 13 | 30 | 2 771.97/772.15 c 759s | 17 | 304709 | 260432 | 38594 13 | 30 | 2 774.17/774.34 c 761s | 17 | 305194 | 260832 | 38594 13 | 30 | 2 776.17/776.39 c 763s | 17 | 305662 | 261232 | 38594 13 | 30 | 2 778.47/778.67 c 765s | 17 | 306143 | 261632 | 38594 13 | 30 | 2 780.77/780.98 c 768s | 17 | 306631 | 262032 | 38594 13 | 30 | 2 783.07/783.26 c 770s | 17 | 307116 | 262432 | 38594 13 | 30 | 2 785.37/785.58 c 772s | 17 | 307573 | 262832 | 38594 13 | 30 | 2 787.76/787.93 c 775s | 17 | 308052 | 263232 | 38594 13 | 30 | 2 789.86/790.08 c 777s | 17 | 308534 | 263632 | 38594 13 | 30 | 2 792.26/792.41 c 779s | 17 | 309011 | 264032 | 38594 13 | 30 | 2 794.56/794.78 c 781s | 17 | 309505 | 264432 | 38594 13 | 30 | 2 796.95/797.12 c 784s | 17 | 310002 | 264832 | 38594 13 | 30 | 2 799.35/799.54 c 786s | 17 | 310481 | 265232 | 38594 13 | 30 | 2 801.76/801.97 c 789s | 17 | 310952 | 265632 | 38594 13 | 30 | 2 804.06/804.24 c 791s | 17 | 311450 | 266032 | 38594 13 | 30 | 2 806.25/806.48 c 793s | 17 | 311923 | 266432 | 38594 13 | 30 | 2 808.35/808.57 c 795s | 17 | 312399 | 266832 | 38594 13 | 30 | 2 810.65/810.85 c 797s | 17 | 312878 | 267232 | 38594 13 | 30 | 2 812.95/813.10 c 800s | 17 | 313352 | 267632 | 38594 13 | 30 | 2 815.05/815.27 c 802s | 17 | 313819 | 268032 | 38594 13 | 30 | 2 817.34/817.50 c 804s | 17 | 314310 | 268432 | 38594 13 | 30 | 2 819.54/819.77 c 806s | 17 | 314805 | 268832 | 38594 13 | 30 | 2 821.84/822.07 c 809s | 17 | 315376 | 269232 | 38594 13 | 30 | 2 824.24/824.40 c 811s | 17 | 315861 | 269632 | 38594 13 | 30 | 2 826.44/826.63 c 813s | 17 | 316334 | 270032 | 38594 13 | 30 | 2 828.64/828.84 c 815s | 17 | 316812 | 270432 | 38594 13 | 30 | 2 830.94/831.17 c 818s | 17 | 317310 | 270832 | 38594 13 | 30 | 2 833.34/833.57 c 820s | 17 | 317770 | 271232 | 38594 13 | 30 | 2 835.74/835.98 c 823s | 17 | 318264 | 271632 | 38594 13 | 30 | 2 838.14/838.38 c 825s | 17 | 318777 | 272032 | 38594 13 | 30 | 2 840.54/840.74 c 827s | 17 | 319242 | 272432 | 38594 13 | 30 | 2 842.93/843.14 c 830s | 17 | 319713 | 272832 | 38594 13 | 30 | 2 845.33/845.58 c 832s | 17 | 320167 | 273232 | 38594 13 | 30 | 2 847.83/848.09 c 835s | 17 | 320663 | 273632 | 38594 13 | 30 | 2 850.14/850.39 c 837s | 17 | 321153 | 274032 | 38594 13 | 30 | 2 852.63/852.81 c 839s | 17 | 321652 | 274432 | 38594 13 | 30 | 2 854.93/855.19 c 842s | 17 | 322125 | 274832 | 38594 13 | 30 | 2 857.53/857.74 c 844s | 17 | 322633 | 275232 | 38594 13 | 30 | 2 860.03/860.23 c 847s | 17 | 323127 | 275632 | 38594 13 | 30 | 2 862.43/862.66 c 849s | 17 | 323587 | 276032 | 38594 13 | 30 | 2 864.92/865.15 c 852s | 17 | 324074 | 276432 | 38594 13 | 30 | 2 867.52/867.75 c 854s | 17 | 324542 | 276832 | 38594 13 | 30 | 2 870.03/870.27 c 857s | 17 | 325014 | 277232 | 38594 13 | 30 | 2 872.52/872.78 c 859s | 17 | 325497 | 277632 | 38594 13 | 30 | 2 875.12/875.33 c 862s | 17 | 325971 | 278032 | 38594 13 | 30 | 2 877.12/877.35 c 864s | 17 | 326335 | 278332 | 38594 13 | 30 | 2 879.32/879.50 c 866s | 17 | 326699 | 278632 | 38594 13 | 30 | 2 881.32/881.51 c 868s | 17 | 327058 | 278932 | 38594 13 | 30 | 2 883.42/883.66 c 870s | 17 | 327435 | 279232 | 38594 14 | 30 | 2 885.61/885.80 c 872s | 17 | 327903 | 279632 | 38594 14 | 30 | 2 887.81/888.01 c 875s | 17 | 328397 | 280032 | 38594 14 | 30 | 2 889.82/890.08 c 877s | 17 | 328863 | 280432 | 38594 14 | 30 | 2 892.21/892.40 c 879s | 17 | 329385 | 280832 | 38594 14 | 30 | 2 894.31/894.57 c 881s | 17 | 329888 | 281232 | 38594 14 | 30 | 2 896.71/896.90 c 883s | 17 | 330382 | 281632 | 38594 14 | 30 | 2 899.01/899.20 c 886s | 17 | 330856 | 282032 | 38594 14 | 30 | 2 901.21/901.46 c 888s | 17 | 331340 | 282432 | 38594 14 | 30 | 2 903.51/903.77 c 890s | 17 | 331838 | 282832 | 38594 14 | 30 | 2 905.70/905.94 c 893s | 17 | 332311 | 283232 | 38594 14 | 30 | 2 908.10/908.31 c 895s | 17 | 332798 | 283632 | 38594 14 | 30 | 2 910.40/910.63 c 897s | 17 | 333281 | 284032 | 38594 14 | 30 | 2 912.91/913.10 c 900s | 17 | 333747 | 284432 | 38594 14 | 30 | 2 915.20/915.49 c 902s | 17 | 334216 | 284832 | 38594 14 | 30 | 2 917.31/917.56 c 904s | 17 | 334485 | 285032 | 38594 14 | 30 | 2 919.80/920.09 c 907s | 17 | 335114 | 285532 | 38594 14 | 30 | 2 922.10/922.35 c 909s | 17 | 335583 | 285932 | 38594 14 | 30 | 2 924.20/924.48 c 911s | 17 | 336073 | 286332 | 38594 14 | 30 | 2 926.50/926.73 c 913s | 17 | 336576 | 286732 | 38594 14 | 30 | 2 928.70/928.91 c 916s | 17 | 337053 | 287132 | 38594 14 | 30 | 2 930.80/931.06 c 918s | 17 | 337518 | 287532 | 38594 14 | 30 | 2 933.00/933.29 c 920s | 17 | 337991 | 287932 | 38594 14 | 30 | 2 935.30/935.53 c 922s | 17 | 338521 | 288332 | 38594 14 | 30 | 2 937.50/937.70 c 924s | 17 | 339017 | 288732 | 38594 14 | 30 | 2 939.90/940.12 c 927s | 17 | 339489 | 289132 | 38594 14 | 30 | 2 942.40/942.61 c 929s | 17 | 339960 | 289532 | 38594 14 | 30 | 2 944.70/944.94 c 932s | 17 | 340441 | 289932 | 38594 14 | 30 | 2 947.09/947.33 c 934s | 17 | 340929 | 290332 | 38594 14 | 30 | 2 949.29/949.52 c 936s | 17 | 341419 | 290732 | 38594 14 | 30 | 2 951.59/951.81 c 938s | 17 | 341900 | 291132 | 38594 14 | 30 | 2 953.79/954.02 c 941s | 17 | 342384 | 291532 | 38594 14 | 30 | 2 956.09/956.37 c 943s | 17 | 342858 | 291932 | 38594 14 | 30 | 2 958.39/958.61 c 945s | 17 | 343323 | 292332 | 38594 14 | 30 | 2 960.69/960.96 c 948s | 17 | 343808 | 292732 | 38594 14 | 30 | 2 962.99/963.28 c 950s | 17 | 344281 | 293132 | 38594 14 | 30 | 2 965.39/965.62 c 952s | 17 | 344772 | 293532 | 38594 14 | 30 | 2 967.79/968.07 c 955s | 17 | 345269 | 293932 | 42454 14 | 30 | 2 970.19/970.45 c 957s | 17 | 345744 | 294332 | 42454 14 | 30 | 2 972.59/972.83 c 959s | 17 | 346230 | 294732 | 42454 14 | 30 | 2 975.09/975.38 c 962s | 17 | 346706 | 295132 | 42454 14 | 30 | 2 977.59/977.88 c 964s | 17 | 347200 | 295532 | 42454 14 | 30 | 2 980.09/980.35 c 967s | 17 | 347660 | 295932 | 42454 14 | 30 | 2 981.99/982.26 c 969s | 18 | 348042 | 296252 | 42454 14 | 30 | 2 983.99/984.30 c 971s | 18 | 348428 | 296452 | 42454 14 | 30 | 2 986.08/986.36 c 973s | 18 | 352102 | 299952 | 42454 14 | 30 | 2 988.08/988.38 c 975s | 18 | 355311 | 302852 | 42454 14 | 30 | 2 990.18/990.40 c 977s | 18 | 358004 | 305152 | 42454 14 | 30 | 2 992.18/992.43 c 979s | 18 | 359544 | 306652 | 42454 14 | 30 | 2 994.18/994.46 c 981s | 18 | 361192 | 308252 | 42454 15 | 30 | 2 996.27/996.53 c 983s | 18 | 363070 | 310052 | 42454 15 | 30 | 2 998.27/998.58 c 985s | 18 | 364633 | 311452 | 42454 15 | 30 | 2 1000.47/1000.72 c 987s | 18 | 366189 | 312852 | 42454 15 | 30 | 2 1002.57/1002.80 c 989s | 18 | 367650 | 314152 | 42454 15 | 30 | 2 1004.56/1004.84 c 991s | 18 | 369338 | 315752 | 42454 15 | 30 | 2 1006.66/1006.98 c 994s | 18 | 371036 | 317352 | 42454 15 | 30 | 2 1008.86/1009.10 c 996s | 18 | 372633 | 318852 | 42454 15 | 30 | 2 1010.86/1011.17 c 998s | 18 | 374101 | 320252 | 42454 15 | 30 | 2 1013.06/1013.33 c 1000s | 18 | 375650 | 321652 | 42454 15 | 30 | 2 1015.17/1015.47 c 1002s | 18 | 377173 | 322952 | 42454 15 | 30 | 2 1017.37/1017.63 c 1004s | 18 | 378656 | 324252 | 42454 15 | 30 | 2 1019.36/1019.67 c 1006s | 18 | 380021 | 325452 | 42454 15 | 30 | 2 1021.56/1021.80 c 1008s | 18 | 381378 | 326652 | 42454 15 | 30 | 2 1023.56/1023.84 c 1010s | 18 | 382628 | 327752 | 42454 15 | 30 | 2 1025.66/1025.94 c 1013s | 18 | 383916 | 328852 | 42454 15 | 30 | 2 1027.76/1028.00 c 1015s | 18 | 385166 | 329952 | 42454 15 | 30 | 2 1030.56/1030.89 c 1017s | 18 | 386442 | 331052 | 42454 16 | 30 | 2 1032.66/1033.00 c 1020s | 18 | 387593 | 332052 | 42454 16 | 30 | 2 1034.75/1035.03 c 1022s | 18 | 388998 | 333252 | 42454 16 | 30 | 2 1036.75/1037.05 c 1024s | 18 | 390280 | 334352 | 42454 16 | 30 | 2 1039.25/1039.54 c 1026s | 18 | 391558 | 335452 | 42454 16 | 30 | 2 1041.65/1041.91 c 1029s | 18 | 393407 | 336852 | 42454 16 | 30 | 2 1043.66/1043.97 c 1031s | 18 | 395117 | 338152 | 42454 16 | 30 | 2 1045.65/1045.99 c 1033s | 18 | 396674 | 339352 | 42454 16 | 30 | 2 1047.75/1048.08 c 1035s | 18 | 398285 | 340552 | 42454 16 | 30 | 2 1049.95/1050.22 c 1037s | 18 | 399854 | 341752 | 42454 16 | 30 | 2 1051.95/1052.26 c 1039s | 18 | 401312 | 342852 | 42454 16 | 30 | 2 1054.05/1054.39 c 1041s | 18 | 402779 | 343952 | 42454 16 | 30 | 2 1056.14/1056.40 c 1043s | 18 | 404105 | 344952 | 42454 16 | 30 | 2 1058.14/1058.43 c 1045s | 18 | 405432 | 345952 | 42454 16 | 30 | 2 1060.25/1060.58 c 1047s | 18 | 406764 | 346952 | 42454 16 | 30 | 2 1062.45/1062.75 c 1049s | 18 | 408116 | 347952 | 42454 16 | 30 | 2 1064.44/1064.80 c 1051s | 18 | 409324 | 348852 | 42454 16 | 30 | 2 1066.54/1066.84 c 1053s | 18 | 410481 | 349752 | 42454 16 | 30 | 2 1068.64/1068.91 c 1056s | 18 | 411676 | 350652 | 42454 16 | 30 | 2 1070.74/1071.07 c 1058s | 18 | 412865 | 351552 | 42454 16 | 30 | 2 1072.94/1073.25 c 1060s | 18 | 414011 | 352452 | 42454 16 | 30 | 2 1074.93/1075.28 c 1062s | 18 | 415052 | 353252 | 42454 16 | 30 | 2 1077.03/1077.34 c 1064s | 18 | 416082 | 354052 | 42454 16 | 30 | 2 1079.13/1079.44 c 1066s | 18 | 417172 | 354852 | 42454 16 | 30 | 2 1081.14/1081.46 c 1068s | 18 | 417962 | 355452 | 42454 17 | 30 | 2 1083.34/1083.62 c 1070s | 18 | 419624 | 356752 | 42454 17 | 30 | 2 1093.03/1093.34 c 1080s | 18 | 420016 | 357052 | 42454 17 | 30 | 2 1095.43/1095.76 c 1082s | 18 | 420738 | 357652 | 42454 17 | 30 | 2 1097.63/1097.91 c 1084s | 18 | 421951 | 358652 | 42454 17 | 30 | 2 1099.73/1100.05 c 1087s | 18 | 423195 | 359652 | 42454 17 | 30 | 2 1101.82/1102.18 c 1089s | 18 | 424407 | 360652 | 42454 17 | 30 | 2 1103.92/1104.23 c 1091s | 18 | 425519 | 361552 | 42454 17 | 30 | 2 1106.02/1106.31 c 1093s | 18 | 426621 | 362452 | 42454 17 | 30 | 2 1108.02/1108.39 c 1095s | 18 | 427695 | 363352 | 42454 17 | 30 | 2 1110.22/1110.52 c 1097s | 18 | 428801 | 364252 | 42454 17 | 30 | 2 1112.22/1112.53 c 1099s | 18 | 429829 | 365052 | 42454 17 | 30 | 2 1114.41/1114.75 c 1101s | 18 | 430921 | 365952 | 42454 17 | 30 | 2 1116.51/1116.81 c 1103s | 18 | 431909 | 366752 | 42454 17 | 30 | 2 1118.52/1118.83 c 1105s | 18 | 432896 | 367552 | 42454 17 | 30 | 2 1120.72/1121.01 c 1108s | 18 | 433876 | 368352 | 42454 17 | 30 | 2 1122.71/1123.05 c 1110s | 18 | 434809 | 369152 | 42454 17 | 30 | 2 1124.91/1125.27 c 1112s | 18 | 435773 | 369952 | 42454 17 | 30 | 2 1126.91/1127.27 c 1114s | 18 | 436673 | 370652 | 42454 17 | 30 | 2 1129.11/1129.44 c 1116s | 18 | 437643 | 371452 | 42454 17 | 30 | 2 1131.31/1131.68 c 1118s | 18 | 438621 | 372252 | 42454 17 | 30 | 2 1133.61/1133.90 c 1120s | 18 | 439606 | 373052 | 42454 17 | 30 | 2 1135.80/1136.13 c 1123s | 18 | 440568 | 373852 | 42454 17 | 30 | 2 1137.90/1138.21 c 1125s | 18 | 441520 | 374652 | 42454 17 | 30 | 2 1140.10/1140.42 c 1127s | 18 | 442458 | 375452 | 42454 17 | 30 | 2 1142.40/1142.74 c 1129s | 18 | 443411 | 376252 | 42454 17 | 30 | 2 1144.40/1144.79 c 1131s | 18 | 444239 | 376952 | 42454 17 | 30 | 2 1146.60/1146.99 c 1134s | 18 | 445161 | 377752 | 42454 17 | 30 | 2 1148.70/1149.02 c 1136s | 18 | 445981 | 378452 | 42454 17 | 30 | 2 1155.10/1155.44 c 1142s | 18 | 446566 | 378952 | 42454 18 | 30 | 2 1157.20/1157.58 c 1144s | 18 | 447984 | 380152 | 42454 18 | 30 | 2 1159.29/1159.61 c 1146s | 18 | 449404 | 381352 | 42454 18 | 30 | 2 1161.40/1161.70 c 1148s | 18 | 450119 | 381952 | 42454 18 | 30 | 2 1163.50/1163.85 c 1150s | 18 | 451522 | 383152 | 42454 18 | 30 | 2 1165.58/1165.99 c 1153s | 18 | 452953 | 384352 | 42454 18 | 30 | 2 1167.89/1168.24 c 1155s | 18 | 454377 | 385552 | 42454 18 | 30 | 2 1169.98/1170.32 c 1157s | 18 | 455439 | 386452 | 42454 18 | 30 | 2 1172.08/1172.48 c 1159s | 18 | 456614 | 387452 | 42454 18 | 30 | 2 1174.08/1174.48 c 1161s | 18 | 457684 | 388352 | 42454 18 | 30 | 2 1176.18/1176.54 c 1163s | 18 | 458730 | 389252 | 42454 18 | 30 | 2 1178.28/1178.64 c 1165s | 18 | 459776 | 390152 | 42454 18 | 30 | 2 1184.88/1185.24 c 1172s | 18 | 460632 | 390852 | 42454 18 | 30 | 2 1186.98/1187.31 c 1174s | 18 | 461708 | 391752 | 42454 18 | 30 | 2 1189.08/1189.49 c 1176s | 18 | 462757 | 392652 | 42454 18 | 30 | 2 1191.28/1191.69 c 1178s | 18 | 463836 | 393552 | 42454 18 | 30 | 2 1193.38/1193.79 c 1180s | 18 | 464762 | 394352 | 42454 18 | 30 | 2 1195.49/1195.86 c 1182s | 18 | 465702 | 395152 | 42454 18 | 30 | 2 1197.48/1197.87 c 1184s | 18 | 466636 | 395952 | 42454 18 | 30 | 2 1199.48/1199.87 c 1186s | 18 | 467459 | 396652 | 42454 18 | 30 | 2 1201.48/1201.88 c 1188s | 18 | 468410 | 397452 | 42454 18 | 30 | 2 1203.68/1204.01 c 1191s | 18 | 469384 | 398252 | 42454 18 | 30 | 2 1205.78/1206.19 c 1193s | 18 | 470317 | 399052 | 42454 18 | 30 | 2 1208.08/1208.42 c 1195s | 18 | 471259 | 399852 | 42454 18 | 30 | 2 1210.08/1210.44 c 1197s | 18 | 472066 | 400552 | 42454 18 | 30 | 2 1212.18/1212.54 c 1199s | 18 | 472897 | 401252 | 42454 18 | 30 | 2 1214.18/1214.54 c 1201s | 18 | 473717 | 401952 | 42454 18 | 30 | 2 1216.28/1216.63 c 1203s | 18 | 474399 | 402552 | 42454 18 | 30 | 2 1218.97/1219.33 c 1206s | 18 | 474991 | 403052 | 42454 19 | 30 | 2 1221.07/1221.46 c 1208s | 18 | 476462 | 404252 | 42454 19 | 30 | 2 1223.07/1223.49 c 1210s | 18 | 477400 | 405052 | 42454 19 | 30 | 2 1225.18/1225.52 c 1212s | 18 | 478681 | 406152 | 42454 19 | 30 | 2 1227.17/1227.56 c 1214s | 18 | 479849 | 407152 | 42454 19 | 30 | 2 1229.37/1229.77 c 1216s | 18 | 481155 | 408252 | 42454 19 | 30 | 2 1231.47/1231.85 c 1218s | 18 | 482300 | 409252 | 42454 19 | 30 | 2 1233.57/1233.90 c 1220s | 18 | 483307 | 410152 | 42454 19 | 30 | 2 1235.67/1236.08 c 1223s | 18 | 484399 | 411152 | 42454 19 | 30 | 2 1237.77/1238.19 c 1225s | 18 | 485390 | 412052 | 42454 19 | 30 | 2 1239.97/1240.39 c 1227s | 18 | 486377 | 412952 | 42454 19 | 30 | 2 1242.17/1242.53 c 1229s | 18 | 487386 | 413852 | 42454 19 | 30 | 2 1244.37/1244.75 c 1231s | 18 | 488367 | 414752 | 42454 19 | 30 | 2 1246.57/1246.93 c 1234s | 18 | 489355 | 415652 | 42454 19 | 30 | 2 1248.57/1248.98 c 1236s | 18 | 490249 | 416452 | 42454 19 | 30 | 2 1250.77/1251.16 c 1238s | 18 | 491124 | 417252 | 42454 19 | 30 | 2 1252.87/1253.27 c 1240s | 18 | 491780 | 417852 | 42454 19 | 30 | 2 1254.96/1255.31 c 1242s | 18 | 492664 | 418652 | 42454 19 | 30 | 2 1256.97/1257.32 c 1244s | 18 | 493540 | 419452 | 42454 19 | 30 | 2 1259.06/1259.40 c 1246s | 18 | 494424 | 420252 | 42454 19 | 30 | 2 1261.16/1261.59 c 1248s | 18 | 495304 | 421052 | 42454 19 | 30 | 2 1263.26/1263.60 c 1250s | 18 | 496060 | 421752 | 42454 19 | 30 | 2 1265.36/1265.70 c 1252s | 18 | 496832 | 422452 | 42454 19 | 30 | 2 1267.36/1267.77 c 1254s | 18 | 497569 | 423152 | 42454 19 | 30 | 2 1269.66/1270.01 c 1257s | 18 | 498441 | 423952 | 42454 19 | 30 | 2 1271.66/1272.08 c 1259s | 18 | 499206 | 424652 | 42454 19 | 30 | 2 1273.76/1274.13 c 1261s | 18 | 499977 | 425352 | 42454 19 | 30 | 2 1275.85/1276.24 c 1263s | 18 | 500733 | 426052 | 42454 19 | 30 | 2 1277.96/1278.39 c 1265s | 18 | 501074 | 426352 | 42454 19 | 30 | 2 1280.16/1280.57 c 1267s | 18 | 501836 | 427052 | 42454 19 | 30 | 2 1282.27/1282.61 c 1269s | 18 | 502061 | 427252 | 42454 20 | 30 | 2 1284.26/1284.69 c 1271s | 18 | 503054 | 428152 | 42454 20 | 30 | 2 1286.46/1286.87 c 1273s | 18 | 504043 | 429052 | 42454 20 | 30 | 2 1288.66/1289.00 c 1276s | 18 | 505260 | 430152 | 42454 20 | 30 | 2 1290.66/1291.00 c 1278s | 18 | 506276 | 431052 | 42454 20 | 30 | 2 1292.66/1293.09 c 1280s | 18 | 507385 | 432052 | 42454 20 | 30 | 2 1294.66/1295.09 c 1282s | 18 | 508135 | 432752 | 42454 20 | 30 | 2 1296.76/1297.19 c 1284s | 18 | 509230 | 433752 | 42454 20 | 30 | 2 1298.86/1299.24 c 1286s | 18 | 510210 | 434652 | 42454 20 | 30 | 2 1300.96/1301.32 c 1288s | 18 | 511324 | 435652 | 42454 20 | 30 | 2 1303.05/1303.43 c 1290s | 18 | 512311 | 436552 | 42454 20 | 30 | 2 1305.15/1305.55 c 1292s | 18 | 513296 | 437452 | 42454 20 | 30 | 2 1307.25/1307.68 c 1294s | 18 | 514286 | 438352 | 42454 20 | 30 | 2 1309.55/1309.93 c 1297s | 18 | 515286 | 439252 | 42454 20 | 30 | 2 1311.55/1311.94 c 1299s | 18 | 516146 | 440052 | 42454 20 | 30 | 2 1313.65/1314.02 c 1301s | 18 | 517036 | 440852 | 46700 20 | 30 | 2 1315.65/1316.07 c 1303s | 18 | 517913 | 441652 | 46700 20 | 30 | 2 1317.84/1318.23 c 1305s | 18 | 518784 | 442452 | 46700 20 | 30 | 2 1319.84/1320.25 c 1307s | 18 | 519451 | 443052 | 46700 20 | 30 | 2 1321.95/1322.32 c 1309s | 18 | 520217 | 443752 | 46700 20 | 30 | 2 1324.15/1324.52 c 1311s | 18 | 520980 | 444452 | 46700 20 | 30 | 2 1324.24/1324.60 c 1311s | 19 | 521011 | 444482 | 46700 20 | 30 | 2 1327.34/1327.76 c 1314s | 19 | 521514 | 444582 | 46700 20 | 30 | 2 1329.44/1329.89 c 1316s | 19 | 523100 | 446082 | 46700 20 | 30 | 2 1331.64/1332.04 c 1319s | 19 | 524429 | 447382 | 46700 20 | 30 | 2 1333.64/1334.06 c 1321s | 19 | 525643 | 448582 | 46700 20 | 30 | 2 1335.83/1336.22 c 1323s | 19 | 527016 | 449882 | 46700 20 | 30 | 2 1337.83/1338.25 c 1325s | 19 | 528133 | 450982 | 46700 20 | 30 | 2 1339.83/1340.26 c 1327s | 19 | 529385 | 452182 | 46700 21 | 30 | 2 1342.03/1342.40 c 1329s | 19 | 530579 | 453182 | 46700 21 | 30 | 2 1344.13/1344.51 c 1331s | 19 | 531691 | 454282 | 46700 21 | 30 | 2 1346.14/1346.59 c 1333s | 19 | 532818 | 455382 | 46700 21 | 30 | 2 1348.34/1348.76 c 1335s | 19 | 533953 | 456482 | 46700 21 | 30 | 2 1350.44/1350.81 c 1337s | 19 | 534977 | 457482 | 46700 21 | 30 | 2 1352.43/1352.84 c 1339s | 19 | 536023 | 458482 | 46700 21 | 30 | 2 1354.53/1354.95 c 1342s | 19 | 537046 | 459482 | 46700 21 | 30 | 2 1356.52/1356.95 c 1344s | 19 | 537966 | 460382 | 46700 21 | 30 | 2 1358.52/1358.99 c 1346s | 19 | 538879 | 461282 | 46700 21 | 30 | 2 1360.72/1361.11 c 1348s | 19 | 539786 | 462182 | 46700 21 | 30 | 2 1362.82/1363.22 c 1350s | 19 | 540711 | 463082 | 46700 21 | 30 | 2 1364.92/1365.39 c 1352s | 19 | 541619 | 463982 | 46700 21 | 30 | 2 1367.22/1367.63 c 1354s | 19 | 542528 | 464882 | 46700 21 | 30 | 2 1369.32/1369.73 c 1356s | 19 | 543352 | 465682 | 46700 21 | 30 | 2 1371.42/1371.88 c 1358s | 19 | 544166 | 466482 | 46700 21 | 30 | 2 1373.72/1374.10 c 1361s | 19 | 544989 | 467282 | 46700 21 | 30 | 2 1375.91/1376.34 c 1363s | 19 | 545796 | 468082 | 46700 21 | 30 | 2 1378.21/1378.61 c 1365s | 19 | 546613 | 468882 | 46700 21 | 30 | 2 1380.22/1380.67 c 1367s | 19 | 547328 | 469582 | 46700 21 | 30 | 2 1382.32/1382.78 c 1369s | 19 | 548040 | 470282 | 46700 21 | 30 | 2 1384.41/1384.90 c 1371s | 19 | 548750 | 470982 | 46700 21 | 30 | 2 1386.61/1387.07 c 1374s | 19 | 549464 | 471682 | 46700 21 | 30 | 2 1388.81/1389.26 c 1376s | 19 | 550173 | 472382 | 46700 21 | 30 | 2 1391.11/1391.51 c 1378s | 19 | 550891 | 473082 | 46700 21 | 30 | 2 1393.41/1393.81 c 1380s | 19 | 551610 | 473782 | 46700 21 | 30 | 2 1395.41/1395.85 c 1382s | 19 | 552225 | 474382 | 46700 21 | 30 | 2 1397.51/1397.92 c 1385s | 19 | 552830 | 474982 | 46700 21 | 30 | 2 1399.51/1399.98 c 1387s | 19 | 553340 | 475482 | 46700 22 | 30 | 2 1401.81/1402.21 c 1389s | 19 | 554054 | 476182 | 46700 22 | 30 | 2 1404.11/1404.55 c 1391s | 19 | 554768 | 476882 | 46700 22 | 30 | 2 1406.11/1406.56 c 1393s | 19 | 555382 | 477482 | 46700 22 | 30 | 2 1408.21/1408.64 c 1395s | 19 | 556002 | 478082 | 46700 22 | 30 | 2 1410.31/1410.76 c 1397s | 19 | 556619 | 478682 | 46700 22 | 30 | 2 1412.41/1412.86 c 1399s | 19 | 557228 | 479282 | 46700 22 | 30 | 2 1414.61/1415.03 c 1402s | 19 | 557842 | 479882 | 46700 22 | 30 | 2 1416.81/1417.23 c 1404s | 19 | 558452 | 480482 | 46700 22 | 30 | 2 1419.01/1419.42 c 1406s | 19 | 559060 | 481082 | 46700 22 | 30 | 2 1421.31/1421.71 c 1408s | 19 | 559671 | 481682 | 46700 22 | 30 | 2 1423.51/1423.98 c 1411s | 19 | 560278 | 482282 | 46700 22 | 30 | 2 1425.91/1426.32 c 1413s | 19 | 560890 | 482882 | 46700 22 | 30 | 2 1428.21/1428.67 c 1415s | 19 | 561494 | 483482 | 46700 22 | 30 | 2 1430.51/1431.00 c 1418s | 19 | 562104 | 484082 | 46700 22 | 30 | 2 1432.91/1433.40 c 1420s | 19 | 562726 | 484682 | 46700 22 | 30 | 2 1435.01/1435.48 c 1422s | 19 | 563226 | 485182 | 46700 22 | 30 | 2 1437.21/1437.61 c 1424s | 19 | 563739 | 485682 | 46700 22 | 30 | 2 1439.31/1439.71 c 1426s | 19 | 564248 | 486182 | 46700 22 | 30 | 2 1441.51/1441.92 c 1429s | 19 | 564758 | 486682 | 46700 22 | 30 | 2 1443.61/1444.08 c 1431s | 19 | 565265 | 487182 | 46700 22 | 30 | 2 1445.91/1446.30 c 1433s | 19 | 565772 | 487682 | 46700 22 | 30 | 2 1448.01/1448.49 c 1435s | 19 | 566281 | 488182 | 46700 22 | 30 | 2 1450.31/1450.77 c 1437s | 19 | 566788 | 488682 | 46700 22 | 30 | 2 1452.51/1452.98 c 1440s | 19 | 567299 | 489182 | 46700 22 | 30 | 2 1454.80/1455.26 c 1442s | 19 | 567807 | 489682 | 46700 22 | 30 | 2 1457.11/1457.59 c 1444s | 19 | 568316 | 490182 | 46700 22 | 30 | 2 1459.41/1459.85 c 1446s | 19 | 568820 | 490682 | 46700 22 | 30 | 2 1461.70/1462.19 c 1449s | 19 | 569330 | 491182 | 46700 22 | 30 | 2 1464.20/1464.60 c 1451s | 19 | 569841 | 491682 | 46700 22 | 30 | 2 1466.50/1466.99 c 1454s | 19 | 570349 | 492182 | 46700 22 | 30 | 2 1469.00/1469.43 c 1456s | 19 | 570857 | 492682 | 46700 22 | 30 | 2 1471.41/1471.84 c 1458s | 19 | 571367 | 493182 | 46700 22 | 30 | 2 1473.90/1474.33 c 1461s | 19 | 571879 | 493682 | 46700 22 | 30 | 2 1475.91/1476.37 c 1463s | 19 | 572279 | 494082 | 46700 22 | 30 | 2 1477.90/1478.39 c 1465s | 19 | 572679 | 494482 | 46700 22 | 30 | 2 1480.00/1480.40 c 1467s | 19 | 573082 | 494882 | 46700 22 | 30 | 2 1482.00/1482.43 c 1469s | 19 | 573498 | 495282 | 46700 22 | 30 | 2 1484.10/1484.53 c 1471s | 19 | 573900 | 495682 | 46700 22 | 30 | 2 1486.20/1486.64 c 1473s | 19 | 574306 | 496082 | 46700 22 | 30 | 2 1488.40/1488.80 c 1475s | 19 | 574713 | 496482 | 46700 22 | 30 | 2 1490.40/1490.88 c 1477s | 19 | 575124 | 496882 | 46700 22 | 30 | 2 1492.50/1492.92 c 1480s | 19 | 575527 | 497282 | 46700 22 | 30 | 2 1494.60/1495.03 c 1482s | 19 | 575940 | 497682 | 46700 22 | 30 | 2 1496.70/1497.20 c 1484s | 19 | 576357 | 498082 | 46700 22 | 30 | 2 1498.90/1499.34 c 1486s | 19 | 576764 | 498482 | 46700 22 | 30 | 2 1501.10/1501.52 c 1488s | 19 | 577173 | 498882 | 46700 22 | 30 | 2 1505.29/1505.79 c 1492s | 19 | 577582 | 499282 | 46700 23 | 30 | 2 1507.39/1507.80 c 1494s | 19 | 578189 | 499882 | 46700 23 | 30 | 2 1509.49/1509.95 c 1497s | 19 | 578799 | 500482 | 46700 23 | 30 | 2 1511.59/1512.07 c 1499s | 19 | 579107 | 500782 | 46700 23 | 30 | 2 1513.69/1514.14 c 1501s | 19 | 579708 | 501382 | 46700 23 | 30 | 2 1515.89/1516.35 c 1503s | 19 | 580336 | 501982 | 46700 23 | 30 | 2 1518.09/1518.53 c 1505s | 19 | 580940 | 502582 | 46700 23 | 30 | 2 1520.29/1520.72 c 1507s | 19 | 581549 | 503182 | 46700 23 | 30 | 2 1522.59/1523.02 c 1510s | 19 | 582169 | 503782 | 46700 23 | 30 | 2 1524.69/1525.14 c 1512s | 19 | 582780 | 504382 | 46700 23 | 30 | 2 1526.89/1527.32 c 1514s | 19 | 583402 | 504982 | 46700 23 | 30 | 2 1529.09/1529.53 c 1516s | 19 | 584008 | 505582 | 46700 23 | 30 | 2 1531.39/1531.81 c 1518s | 19 | 584625 | 506182 | 46700 23 | 30 | 2 1533.69/1534.11 c 1521s | 19 | 585238 | 506782 | 46700 23 | 30 | 2 1535.99/1536.47 c 1523s | 19 | 585852 | 507382 | 46700 23 | 30 | 2 1537.99/1538.49 c 1525s | 19 | 586374 | 507882 | 46700 23 | 30 | 2 1540.09/1540.51 c 1527s | 19 | 586876 | 508382 | 46700 23 | 30 | 2 1542.09/1542.54 c 1529s | 19 | 587385 | 508882 | 46700 23 | 30 | 2 1544.09/1544.57 c 1531s | 19 | 587901 | 509382 | 46700 23 | 30 | 2 1546.19/1546.65 c 1533s | 19 | 588407 | 509882 | 46700 23 | 30 | 2 1548.29/1548.79 c 1535s | 19 | 588916 | 510382 | 46700 23 | 30 | 2 1550.49/1551.00 c 1538s | 19 | 589432 | 510882 | 46700 23 | 30 | 2 1552.69/1553.12 c 1540s | 19 | 589949 | 511382 | 46700 23 | 30 | 2 1554.88/1555.30 c 1542s | 19 | 590465 | 511882 | 46700 23 | 30 | 2 1557.08/1557.51 c 1544s | 19 | 590976 | 512382 | 46700 23 | 30 | 2 1559.18/1559.66 c 1546s | 19 | 591484 | 512882 | 46700 23 | 30 | 2 1561.38/1561.89 c 1548s | 19 | 591995 | 513382 | 46700 23 | 30 | 2 1563.68/1564.16 c 1551s | 19 | 592495 | 513882 | 46700 23 | 30 | 2 1565.88/1566.37 c 1553s | 19 | 593019 | 514382 | 46700 23 | 30 | 2 1568.19/1568.68 c 1555s | 19 | 593538 | 514882 | 46700 23 | 30 | 2 1570.49/1570.95 c 1558s | 19 | 594042 | 515382 | 46700 23 | 30 | 2 1572.78/1573.28 c 1560s | 19 | 594551 | 515882 | 46700 23 | 30 | 2 1575.18/1575.66 c 1562s | 19 | 595058 | 516382 | 46700 23 | 30 | 2 1577.58/1578.08 c 1565s | 19 | 595570 | 516882 | 46700 23 | 30 | 2 1580.08/1580.57 c 1567s | 19 | 596085 | 517382 | 46700 23 | 30 | 2 1582.59/1583.06 c 1570s | 19 | 596585 | 517882 | 46700 23 | 30 | 2 1585.08/1585.52 c 1572s | 19 | 597089 | 518382 | 46700 23 | 30 | 2 1587.08/1587.55 c 1574s | 19 | 597501 | 518782 | 46700 23 | 30 | 2 1589.58/1590.01 c 1577s | 19 | 598019 | 519282 | 46700 23 | 30 | 2 1591.58/1592.02 c 1579s | 19 | 598422 | 519682 | 46700 23 | 30 | 2 1594.08/1594.52 c 1581s | 19 | 598930 | 520182 | 46700 23 | 30 | 2 1596.08/1596.56 c 1583s | 19 | 599338 | 520582 | 46700 23 | 30 | 2 1598.18/1598.61 c 1585s | 19 | 599745 | 520982 | 46700 23 | 30 | 2 1600.18/1600.66 c 1587s | 19 | 600159 | 521382 | 46700 23 | 30 | 2 1602.28/1602.77 c 1589s | 19 | 600569 | 521782 | 46700 23 | 30 | 2 1604.38/1604.84 c 1591s | 19 | 600977 | 522182 | 46700 23 | 30 | 2 1606.47/1606.98 c 1594s | 19 | 601387 | 522582 | 46700 23 | 30 | 2 1608.67/1609.18 c 1596s | 19 | 601789 | 522982 | 46700 23 | 30 | 2 1610.87/1611.35 c 1598s | 19 | 602195 | 523382 | 46700 23 | 30 | 2 1612.97/1613.49 c 1600s | 19 | 602298 | 523482 | 46700 24 | 30 | 2 1615.07/1615.57 c 1602s | 19 | 602900 | 524082 | 46700 24 | 30 | 2 1617.17/1617.68 c 1604s | 19 | 603411 | 524582 | 46700 24 | 30 | 2 1619.47/1619.94 c 1607s | 19 | 603917 | 525082 | 46700 24 | 30 | 2 1621.57/1622.02 c 1609s | 19 | 604531 | 525682 | 46700 24 | 30 | 2 1623.67/1624.19 c 1611s | 19 | 605135 | 526282 | 46700 24 | 30 | 2 1625.87/1626.32 c 1613s | 19 | 605745 | 526882 | 46700 24 | 30 | 2 1628.07/1628.53 c 1615s | 19 | 606352 | 527482 | 46700 24 | 30 | 2 1630.27/1630.71 c 1617s | 19 | 606962 | 528082 | 46700 24 | 30 | 2 1632.47/1632.95 c 1620s | 19 | 607573 | 528682 | 46700 24 | 30 | 2 1634.67/1635.17 c 1622s | 19 | 608177 | 529282 | 46700 24 | 30 | 2 1636.97/1637.47 c 1624s | 19 | 608786 | 529882 | 46700 24 | 30 | 2 1639.07/1639.53 c 1626s | 19 | 609295 | 530382 | 46700 24 | 30 | 2 1641.37/1641.90 c 1628s | 19 | 609917 | 530982 | 46700 24 | 30 | 2 1643.47/1643.90 c 1630s | 19 | 610439 | 531482 | 46700 24 | 30 | 2 1645.47/1645.94 c 1633s | 19 | 610951 | 531982 | 46700 24 | 30 | 2 1647.57/1648.01 c 1635s | 19 | 611452 | 532482 | 46700 24 | 30 | 2 1649.67/1650.12 c 1637s | 19 | 611961 | 532982 | 46700 24 | 30 | 2 1651.77/1652.23 c 1639s | 19 | 612477 | 533482 | 46700 24 | 30 | 2 1653.87/1654.33 c 1641s | 19 | 612986 | 533982 | 46700 24 | 30 | 2 1655.97/1656.43 c 1643s | 19 | 613488 | 534482 | 46700 24 | 30 | 2 1658.07/1658.54 c 1645s | 19 | 613999 | 534982 | 46700 24 | 30 | 2 1660.26/1660.71 c 1647s | 19 | 614509 | 535482 | 46700 24 | 30 | 2 1662.36/1662.90 c 1649s | 19 | 615018 | 535982 | 46700 24 | 30 | 2 1664.66/1665.12 c 1652s | 19 | 615538 | 536482 | 46700 24 | 30 | 2 1666.86/1667.34 c 1654s | 19 | 616040 | 536982 | 46700 24 | 30 | 2 1669.17/1669.65 c 1656s | 19 | 616548 | 537482 | 46700 24 | 30 | 2 1671.37/1671.87 c 1658s | 19 | 617058 | 537982 | 46700 24 | 30 | 2 1673.88/1674.30 c 1661s | 19 | 617290 | 538182 | 46700 24 | 30 | 2 1676.08/1676.53 c 1663s | 19 | 617794 | 538682 | 46700 24 | 30 | 2 1678.28/1678.78 c 1665s | 19 | 618310 | 539182 | 46700 24 | 30 | 2 1680.57/1681.03 c 1668s | 19 | 618816 | 539682 | 46700 24 | 30 | 2 1682.97/1683.42 c 1670s | 19 | 619326 | 540182 | 46700 24 | 30 | 2 1685.37/1685.83 c 1672s | 19 | 619835 | 540682 | 46700 24 | 30 | 2 1687.67/1688.18 c 1675s | 19 | 620343 | 541182 | 46700 24 | 30 | 2 1690.07/1690.56 c 1677s | 19 | 620854 | 541682 | 46700 24 | 30 | 2 1692.47/1692.95 c 1680s | 19 | 621364 | 542182 | 46700 24 | 30 | 2 1694.87/1695.37 c 1682s | 19 | 621871 | 542682 | 46700 24 | 30 | 2 1697.27/1697.71 c 1684s | 19 | 622382 | 543182 | 46700 24 | 30 | 2 1699.67/1700.15 c 1687s | 19 | 622884 | 543682 | 46700 24 | 30 | 2 1702.07/1702.59 c 1689s | 19 | 623389 | 544182 | 46700 24 | 30 | 2 1704.67/1705.11 c 1692s | 19 | 623913 | 544682 | 46700 24 | 30 | 2 1709.96/1710.44 c 1697s | 19 | 624117 | 544882 | 46700 24 | 30 | 2 1712.06/1712.51 c 1699s | 19 | 624517 | 545282 | 46700 24 | 30 | 2 1714.06/1714.59 c 1701s | 19 | 624921 | 545682 | 46700 24 | 30 | 2 1716.26/1716.72 c 1703s | 19 | 625332 | 546082 | 46700 24 | 30 | 2 1718.36/1718.84 c 1705s | 19 | 625741 | 546482 | 46700 24 | 30 | 2 1720.46/1720.94 c 1708s | 19 | 626152 | 546882 | 46700 24 | 30 | 2 1722.56/1723.09 c 1710s | 19 | 626557 | 547282 | 46700 24 | 30 | 2 1726.05/1726.53 c 1713s | 19 | 626861 | 547582 | 46700 25 | 30 | 2 1728.15/1728.65 c 1715s | 19 | 627575 | 548282 | 46700 25 | 30 | 2 1730.35/1730.89 c 1717s | 19 | 628088 | 548782 | 46700 25 | 30 | 2 1732.65/1733.16 c 1720s | 19 | 628809 | 549482 | 46700 25 | 30 | 2 1734.75/1735.26 c 1722s | 19 | 629417 | 550082 | 46700 25 | 30 | 2 1736.85/1737.36 c 1724s | 19 | 630022 | 550682 | 46700 25 | 30 | 2 1738.95/1739.43 c 1726s | 19 | 630627 | 551282 | 46700 25 | 30 | 2 1741.26/1741.75 c 1728s | 19 | 631247 | 551882 | 46700 25 | 30 | 2 1743.26/1743.76 c 1730s | 19 | 631859 | 552482 | 46700 25 | 30 | 2 1745.37/1745.85 c 1732s | 19 | 632475 | 553082 | 46700 25 | 30 | 2 1747.47/1747.97 c 1735s | 19 | 633092 | 553682 | 46700 25 | 30 | 2 1749.67/1750.17 c 1737s | 19 | 633700 | 554282 | 46700 25 | 30 | 2 1751.96/1752.41 c 1739s | 19 | 634305 | 554882 | 46700 25 | 30 | 2 1754.16/1754.67 c 1741s | 19 | 634912 | 555482 | 46700 25 | 30 | 2 1756.46/1756.95 c 1744s | 19 | 635526 | 556082 | 46700 25 | 30 | 2 1758.76/1759.28 c 1746s | 19 | 636137 | 556682 | 46700 25 | 30 | 2 1761.16/1761.61 c 1748s | 19 | 636744 | 557282 | 46700 25 | 30 | 2 1763.16/1763.64 c 1750s | 19 | 637247 | 557782 | 46700 25 | 30 | 2 1765.16/1765.66 c 1752s | 19 | 637754 | 558282 | 46700 25 | 30 | 2 1767.66/1768.19 c 1755s | 19 | 638268 | 558782 | 46700 25 | 30 | 2 1769.86/1770.39 c 1757s | 19 | 638774 | 559282 | 46700 25 | 30 | 2 1772.06/1772.53 c 1759s | 19 | 639289 | 559782 | 46700 25 | 30 | 2 1774.26/1774.72 c 1761s | 19 | 639803 | 560282 | 46700 25 | 30 | 2 1776.36/1776.89 c 1763s | 19 | 640311 | 560782 | 46700 25 | 30 | 2 1778.55/1779.09 c 1766s | 19 | 640823 | 561282 | 46700 25 | 30 | 2 1780.85/1781.32 c 1768s | 19 | 641338 | 561782 | 46700 25 | 30 | 2 1783.15/1783.61 c 1770s | 19 | 641843 | 562282 | 46700 25 | 30 | 2 1785.45/1785.95 c 1773s | 19 | 642350 | 562782 | 46700 25 | 30 | 2 1787.85/1788.31 c 1775s | 19 | 642864 | 563282 | 46700 25 | 30 | 2 1790.15/1790.65 c 1777s | 19 | 643381 | 563782 | 46700 25 | 30 | 2 1792.56/1793.03 c 1780s | 19 | 643890 | 564282 | 46700 25 | 30 | 2 1794.95/1795.44 c 1782s | 19 | 644399 | 564782 | 46700 25 | 30 | 2 1797.45/1797.91 c 1784s | 19 | 644907 | 565282 | 46700 25 | 30 | 2 1799.75/1800.20 c 1787s | 19 | 645415 | 565782 | 46700 25 | 30 | 2
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-4103377-1466235773/watcher-4103377-1466235773 -o /tmp/evaluation-result-4103377-1466235773/solver-4103377-1466235773 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103377-1466235773.opb pid=5178 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.13 2.14 2.10 3/179 5181 /proc/meminfo: memFree=30064708/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=670140 CPUtime=0 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 2486 0 0 0 0 0 0 0 20 0 4 0 25626542 686223360 3358 33554432000 4194304 16246674 140736361720560 140736361719984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 168047 3368 441 2943 0 164941 0 [pid=5181/tid=5182] ppid=5178 vsize=687548 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 704049152 3429 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=691644 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 708243456 3445 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=696764 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 713486336 3463 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.13 2.14 2.10 3/179 5181 /proc/meminfo: memFree=30064708/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1303108 CPUtime=0.09 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 29763 0 0 0 4 5 0 0 20 0 4 0 25626542 1334382592 30573 33554432000 4194304 16246674 140736361720560 140736361719872 7440033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 325777 30589 802 2943 0 322671 0 [pid=5181/tid=5182] ppid=5178 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1334382592 30599 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1334382592 30611 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1334382592 30620 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1303108 [startup+0.200552 s] /proc/loadavg: 2.13 2.14 2.10 3/179 5181 /proc/meminfo: memFree=30064708/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1311300 CPUtime=0.19 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 44999 0 0 0 12 7 0 0 20 0 4 0 25626542 1342771200 46320 33554432000 4194304 16246674 140736361720560 140736361719872 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 327825 46337 802 2943 0 324719 0 [pid=5181/tid=5182] ppid=5178 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1342771200 46348 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1342771200 46359 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1342771200 46370 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1311300 [startup+0.30048 s] /proc/loadavg: 2.13 2.14 2.10 3/179 5181 /proc/meminfo: memFree=30064708/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1311300 CPUtime=0.29 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 47328 0 0 0 22 7 0 0 20 0 4 0 25626542 1342771200 48648 33554432000 4194304 16246674 140736361720560 140736361703552 7439429 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 327825 48648 802 2943 0 324719 0 [pid=5181/tid=5182] ppid=5178 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1342771200 48648 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1342771200 48648 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1342771200 48648 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1311300 [startup+0.700404 s] /proc/loadavg: 2.13 2.14 2.10 3/179 5181 /proc/meminfo: memFree=30064708/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1311300 CPUtime=0.69 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 138345 0 0 0 51 18 0 0 20 0 4 0 25626542 1342771200 139665 33554432000 4194304 16246674 140736361720560 140736361703552 12657222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 327825 139671 833 2943 0 324719 0 [pid=5181/tid=5182] ppid=5178 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1342771200 139675 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1342771200 139679 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1342771200 139682 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1311300 [startup+1.50041 s] /proc/loadavg: 2.12 2.14 2.09 3/183 5185 /proc/meminfo: memFree=29087240/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1325636 CPUtime=1.49 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 271900 0 0 0 116 33 0 0 20 0 4 0 25626542 1357451264 273220 33554432000 4194304 16246674 140736361720560 140736361702464 12657263 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 331409 273220 843 2943 0 328303 0 [pid=5181/tid=5182] ppid=5178 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1357451264 273220 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1357451264 273220 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1357451264 273220 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1325636 [startup+3.10042 s] /proc/loadavg: 2.12 2.14 2.09 3/183 5185 /proc/meminfo: memFree=28971920/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1325636 CPUtime=3.09 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 272032 0 0 0 276 33 0 0 20 0 4 0 25626542 1357451264 273352 33554432000 4194304 16246674 140736361720560 140736361702464 12654401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 331409 273352 843 2943 0 328303 0 [pid=5181/tid=5182] ppid=5178 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1357451264 273352 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1357451264 273352 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1357451264 273352 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1325636 [startup+6.30042 s] /proc/loadavg: 2.12 2.14 2.09 3/183 5185 /proc/meminfo: memFree=28971668/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1325636 CPUtime=6.29 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 272034 0 0 0 596 33 0 0 20 0 4 0 25626542 1357451264 273354 33554432000 4194304 16246674 140736361720560 140736361702464 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 331409 273354 845 2943 0 328303 0 [pid=5181/tid=5182] ppid=5178 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1357451264 273354 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1357451264 273354 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1357451264 273354 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1325636 [startup+12.7004 s] /proc/loadavg: 2.10 2.13 2.09 3/183 5185 /proc/meminfo: memFree=28972196/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1332804 CPUtime=12.69 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 273688 0 0 0 1235 34 0 0 20 0 4 0 25626542 1364791296 275008 33554432000 4194304 16246674 140736361720560 140736361702464 5842253 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 333201 275008 914 2943 0 330095 0 [pid=5181/tid=5182] ppid=5178 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1364791296 275008 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1364791296 275008 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1364791296 275008 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1332804 [startup+25.5005 s] /proc/loadavg: 2.24 2.16 2.10 3/183 5185 /proc/meminfo: memFree=28964816/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1332804 CPUtime=25.49 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 273903 0 0 0 2515 34 0 0 20 0 4 0 25626542 1364791296 275223 33554432000 4194304 16246674 140736361720560 140736361702464 6861704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 333201 275223 916 2943 0 330095 0 [pid=5181/tid=5182] ppid=5178 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1364791296 275223 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1364791296 275223 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1364791296 275223 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1332804 [startup+51.1005 s] /proc/loadavg: 2.16 2.14 2.10 3/183 5185 /proc/meminfo: memFree=28964788/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1332804 CPUtime=51.08 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 273903 0 0 0 5074 34 0 0 20 0 4 0 25626542 1364791296 275223 33554432000 4194304 16246674 140736361720560 140736361702464 13759557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 333201 275223 916 2943 0 330095 0 [pid=5181/tid=5182] ppid=5178 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1364791296 275223 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1364791296 275223 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1364791296 275223 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1332804 [startup+102.301 s] /proc/loadavg: 2.12 2.13 2.09 3/183 5186 /proc/meminfo: memFree=28962444/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1332804 CPUtime=102.28 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 273907 0 0 0 10194 34 0 0 20 0 4 0 25626542 1364791296 275227 33554432000 4194304 16246674 140736361720560 140736361702464 5721729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 333201 275227 920 2943 0 330095 0 [pid=5181/tid=5182] ppid=5178 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1364791296 275227 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1364791296 275227 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1364791296 275227 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1332804 ################ # More data... # ################ /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1410628 [startup+1362.3 s] /proc/loadavg: 2.05 2.09 2.08 3/183 5241 /proc/meminfo: memFree=28853696/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1410628 CPUtime=1361.92 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 293652 0 0 0 136147 45 0 0 20 0 4 0 25626542 1444483072 294687 33554432000 4194304 16246674 140736361720560 140736361702464 5600728 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 352657 294687 921 2943 0 349551 0 [pid=5181/tid=5182] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1410628 [startup+1422.3 s] /proc/loadavg: 2.05 2.09 2.08 3/183 5242 /proc/meminfo: memFree=28853392/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1410628 CPUtime=1421.92 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 293671 0 0 0 142146 46 0 0 20 0 4 0 25626542 1444483072 294687 33554432000 4194304 16246674 140736361720560 140736361702464 5600728 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 352657 294687 921 2943 0 349551 0 [pid=5181/tid=5182] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1410628 [startup+1482.3 s] /proc/loadavg: 2.02 2.07 2.08 3/183 5244 /proc/meminfo: memFree=28853720/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1410628 CPUtime=1481.9 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 293671 0 0 0 148144 46 0 0 20 0 4 0 25626542 1444483072 294687 33554432000 4194304 16246674 140736361720560 140736361702464 6049667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 352657 294687 921 2943 0 349551 0 [pid=5181/tid=5182] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1410628 [startup+1542.31 s] /proc/loadavg: 2.04 2.07 2.08 3/183 5245 /proc/meminfo: memFree=28854016/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1410628 CPUtime=1541.89 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 293671 0 0 0 154143 46 0 0 20 0 4 0 25626542 1444483072 294687 33554432000 4194304 16246674 140736361720560 140736361702464 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 352657 294687 921 2943 0 349551 0 [pid=5181/tid=5182] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1410628 [startup+1602.3 s] /proc/loadavg: 1.93 2.04 2.07 2/174 5277 /proc/meminfo: memFree=29993388/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1410628 CPUtime=1601.88 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 293671 0 0 0 160142 46 0 0 20 0 4 0 25626542 1444483072 294687 33554432000 4194304 16246674 140736361720560 140736361702464 5677164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 352657 294687 921 2943 0 349551 0 [pid=5181/tid=5182] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1410628 [startup+1662.3 s] /proc/loadavg: 2.04 2.04 2.07 3/184 5299 /proc/meminfo: memFree=18103496/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1410628 CPUtime=1661.86 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 293671 0 0 0 166140 46 0 0 20 0 4 0 25626542 1444483072 294687 33554432000 4194304 16246674 140736361720560 140736361702464 5823615 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 352657 294687 921 2943 0 349551 0 [pid=5181/tid=5182] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1410628 [startup+1722.3 s] /proc/loadavg: 2.01 2.04 2.07 3/183 5299 /proc/meminfo: memFree=17921624/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1410628 CPUtime=1721.86 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 293671 0 0 0 172139 47 0 0 20 0 4 0 25626542 1444483072 294687 33554432000 4194304 16246674 140736361720560 140736361702464 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 352657 294687 921 2943 0 349551 0 [pid=5181/tid=5182] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1410628 [startup+1782.3 s] /proc/loadavg: 1.92 2.01 2.05 3/183 5350 /proc/meminfo: memFree=29756096/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1410628 CPUtime=1781.85 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 293671 0 0 0 178137 48 0 0 20 0 4 0 25626542 1444483072 294687 33554432000 4194304 16246674 140736361720560 140736361702464 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 352657 294687 921 2943 0 349551 0 [pid=5181/tid=5182] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1410628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.01 2.03 2.06 3/183 5350 /proc/meminfo: memFree=26183560/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1410628 CPUtime=1800.05 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 293671 0 0 0 179957 48 0 0 20 0 4 0 25626542 1444483072 294687 33554432000 4194304 16246674 140736361720560 140736361702464 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 352657 294687 921 2943 0 349551 0 [pid=5181/tid=5182] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1410628 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 5181 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.01 2.03 2.06 3/183 5350 /proc/meminfo: memFree=26183560/32872528 swapFree=681964/737152 [pid=5181] ppid=5178 vsize=1410628 CPUtime=1800.05 cores=0,2,4,6 /proc/5181/stat : 5181 (toysat) R 5178 5181 1377 0 -1 4202496 293671 0 0 0 179957 48 0 0 20 0 4 0 25626542 1444483072 294687 33554432000 4194304 16246674 140736361720560 140736361702464 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 352657 294687 921 2943 0 349551 0 [pid=5181/tid=5182] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5182/stat : 5182 (toysat) S 5178 5181 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530820295920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5181/tid=5183] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5183/stat : 5183 (toysat) S 5178 5181 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530809806064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5181/tid=5184] ppid=5178 vsize=1410628 CPUtime=0 cores=0,2,4,6 /proc/5181/task/5184/stat : 5184 (toysat) S 5178 5181 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25626543 1444483072 294687 33554432000 4194304 16246674 140736361720560 140530725940400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1410628 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.58 CPU system time (s): 0.481926 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 1410628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.481926 maximum resident set size= 1178748 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 293671 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= 322 involuntary context switches= 1837 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.6761 second user time and 16.5045 second system time The end
Begin job on node112 at 2016-06-18 09:42:53 IDJOB=4103377 IDBENCH=2343 IDSOLVER=2542 FILE ID=node112/4103377-1466235773 RUNJOBID= node112-1466206100-1394 PBS_JOBID= 19918164 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103377-1466235773/watcher-4103377-1466235773 -o /tmp/evaluation-result-4103377-1466235773/solver-4103377-1466235773 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103377-1466235773.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 14e0de9f4556c57c4cf25980f23fb0f1 RANDOM SEED=563798399 node112.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.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.46 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.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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 : 5321.48 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.734 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.734 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.734 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.734 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.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30065088 kB Buffers: 112680 kB Cached: 125852 kB SwapCached: 1916 kB Active: 1188168 kB Inactive: 143312 kB Active(anon): 1090852 kB Inactive(anon): 4444 kB Active(file): 97316 kB Inactive(file): 138868 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096992 kB Dirty: 18268 kB Writeback: 0 kB AnonPages: 1829524 kB Mapped: 10804 kB Shmem: 0 kB Slab: 601680 kB SReclaimable: 45616 kB SUnreclaim: 556064 kB KernelStack: 1520 kB PageTables: 7464 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1973912 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 59392 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= 71676 MiB End job on node112 at 2016-06-18 10:12:54