Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.61 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb |
MD5SUM | fd0cd32338d58e5da2d0a0f96e14ad7d |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6076 |
Sum of products size (including duplicates) | 12152 |
Number of different products | 3038 |
Sum of products size | 6076 |
0.00/0.00 c 2016-06-07T03:04:50+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-4080092-1465261490.opb"] 0.00/0.01 c use --random-gen="4046919474 3466092104 3867745888 1738081264 2392143448 468882578 1181796409 1364463050 3751048533 2549001595 1476627684 98163044 1890892908 2194232680 420371440 118513899 2464285994 2446818301 1725593334 2863261262 2467124114 443378058 4294680729 1443207872 3444339549 3200988643 567977584 3800709363 373623106 317884392 1232927594 23457799 2768009271 3262337593 2435804176 2484003647 1295808441 3772118702 1895610339 1722289644 3492485413 1500712475 200232294 2470171591 2760554518 3951470206 2439514674 2043837713 1636018046 253666582 1636120397 2101353341 927172752 1099328750 641837255 1860800621 314103546 3889001473 2663814351 585435454 997959466 4211958682 2621970389 3875511774 38708925 3208194255 3908101995 681926634 2085204909 3572106613 3182527096 4250117128 2913215218 1404089499 3526571868 4272592312 337315986 2738748838 3667145049 4145998497 3344784021 2092952630 415705231 2488373370 3020382288 1472999187 1783908402 3005516362 2250106246 4091648304 3077012966 3440393699 251850999 457302225 3939642251 3030476534 381043960 2551213349 1085390307 3397729210 1666029593 274901487 3014166112 3097762066 697807678 1164026078 4094532428 4226495121 3868917423 588111582 306148707 1781510746 573603961 500340497 376710695 303424128 854359505 649074381 2886642216 2168816600 2926095300 1452958644 3526836115 1497335265 1230199938 4025614975 53903000 3752285988 2426998091 1089111517 2251599329 804642727 1572691355 3156397943 859836254 1913991445 2893437086 3520867458 3126233907 1447793599 467080049 2312829959 3846231686 2277905674 3277344219 1812199800 1017411942 2693747903 2482143964 1895884077 2427387525 3939486087 2383728349 2803128446 3080188607 1807123324 1970756426 3800297116 2982445702 2398053025 575257042 4134966008 3803190039 1013566626 3878044492 3462916284 566717462 1229534496 2549053555 4283250861 36206108 582980998 3901094649 2083638281 4185952220 1404933249 911877611 1564425616 1005969912 2597017895 3409918515 2112977410 1365860867 112604466 2730337138 1905020992 1669980942 3187854720 581281377 3593191726 2703251100 1929451759 425168515 695574454 1939971854 2315170225 1822125900 635075981 2787674788 1500276828 1431264164 1644434352 237658420 2080299051 3396492284 3807692341 2830742642 3763684152 3369659877 1655493812 3569279438 1122064078 3078195763 1058475723 3199001115 2120942489 1316515437 3138049091 2814498891 3266023152 2909210943 1252855540 1991977887 46033648 1358757576 4185769003 3815092617 3791747908 3475688742 894837378 2283665825 1975481718 1772077429 1313853964 2702272200 1470813277 3084305699 1461829544 3629894745 2950721691 3025695865 3279266573 2279456577 423388948 3457071625 1858413356 1098430255 1456762328 3252023422 3279060986 2888462047 1798366853 1429133701 2257037521 777760154 225645539 255 362436" option to reproduce the execution 0.00/0.03 c #vars 200 0.00/0.03 c #constraints 301 0.08/0.10 c BCD2: Hardening is enabled. 0.08/0.10 c BCD2: BiasedSearch is enabled. 0.08/0.10 c Solving starts ... 0.08/0.10 c ============================[ Search Statistics ]============================ 0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.10 c | | | | Limit GC | Var | Constra 0.08/0.10 c ============================================================================= 0.08/0.10 c 0.0s | 0 | 0 | 0 | 2192 0 | 0 | 0 0.08/0.11 c 0.0s | 0 | 110 | 1 | 2192 0 | 0 | 0 0.08/0.11 c #cpu_time = 0.005s 0.08/0.11 c #wall_clock_time = 0.005s 0.08/0.11 c #decision = 110 0.08/0.11 c #random_decision = 0 0.08/0.11 c #conflict = 1 0.08/0.11 c #restart = 0 0.08/0.11 o -8 0.08/0.11 c BCD2: updating upper bound: 100 -> 91 0.08/0.11 c BCD2: 0 <= obj <= 91 0.08/0.11 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.08/0.11 c BCD2: #sat=1 #unsat=1 bias=1/2 0.08/0.11 c Solving starts ... 0.08/0.11 c ============================[ Search Statistics ]============================ 0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.11 c | | | | Limit GC | Var | Constra 0.08/0.11 c ============================================================================= 0.08/0.11 c 0.0s | 0 | 0 | 0 | 2192 0 | 0 | 0 0.08/0.11 c 0.0s | 0 | 57 | 2 | 2192 0 | 0 | 0 0.08/0.11 c #cpu_time = 0.004s 0.08/0.11 c #wall_clock_time = 0.004s 0.08/0.11 c #decision = 57 0.08/0.11 c #random_decision = 0 0.08/0.11 c #conflict = 2 0.08/0.11 c #restart = 0 0.08/0.11 c BCD2: found a new core of size 50: cost of the new core is >=1 0.08/0.11 c lower bound updated to -99 0.08/0.11 c BCD2: 1 <= obj <= 91 0.08/0.11 c BCD2: #cores=1, #unrelaxed=50, #relaxed=50, #hardened=0 0.08/0.11 c BCD2: #sat=1 #unsat=2 bias=2/3 0.08/0.11 c Solving starts ... 0.08/0.11 c ============================[ Search Statistics ]============================ 0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.11 c | | | | Limit GC | Var | Constra 0.08/0.11 c ============================================================================= 0.08/0.11 c 0.0s | 0 | 0 | 0 | 2192 0 | 0 | 0 0.08/0.12 c 0.0s | 0 | 51 | 1 | 2192 0 | 0 | 0 0.08/0.12 c #cpu_time = 0.004s 0.08/0.12 c #wall_clock_time = 0.004s 0.08/0.12 c #decision = 51 0.08/0.12 c #random_decision = 0 0.08/0.12 c #conflict = 1 0.08/0.12 c #restart = 0 0.08/0.12 c BCD2: relaxing 50 and merging with 1 cores into a new core of size 100: cost of the new core is >=2 0.08/0.12 c lower bound updated to -98 0.08/0.12 c BCD2: 2 <= obj <= 91 0.08/0.12 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.08/0.12 c BCD2: #sat=1 #unsat=3 bias=3/4 0.08/0.12 c Solving starts ... 0.08/0.12 c ============================[ Search Statistics ]============================ 0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.12 c | | | | Limit GC | Var | Constra 0.08/0.12 c ============================================================================= 0.08/0.12 c 0.0s | 0 | 0 | 0 | 2192 0 | 1 | 0 0.08/0.16 c 0.0s | 1 | 2419 | 100 | 2412 0 | 1 | 1 0.19/0.24 c 0.1s | 2 | 5385 | 250 | 2654 0 | 1 | 1 0.29/0.38 c 0.3s | 3 | 9617 | 475 | 2920 0 | 1 | 1 0.48/0.59 c 0.5s | 4 | 13101 | 813 | 3213 0 | 1 | 1 0.88/0.94 c 0.8s | 5 | 14094 | 1320 | 3535 0 | 1 | 1 1.29/1.37 c 1.3s | 6 | 15038 | 2081 | 3889 0 | 1 | 1 1.89/1.94 c 1.8s | 7 | 16514 | 3223 | 4278 0 | 1 | 1 2.79/2.86 c 2.7s | 8 | 19329 | 4936 | 4706 1 | 1 | 1 4.28/4.30 c 4.2s | 9 | 22760 | 7506 | 5177 2 | 1 | 1 6.28/6.32 c 6.2s | 9 | 27666 | 10906 | 5177 3 | 1 | 1 6.48/6.57 c 6.5s | 10 | 28385 | 11361 | 5695 3 | 1 | 1 8.48/8.59 c 8.5s | 10 | 34320 | 15661 | 5695 4 | 1 | 1 9.18/9.26 c 9.1s | 11 | 35950 | 17144 | 6265 5 | 1 | 1 11.18/11.27 c 11.1s | 11 | 46629 | 20844 | 6265 6 | 1 | 1 13.19/13.29 c 13.2s | 11 | 59365 | 25144 | 6265 7 | 1 | 1 13.58/13.62 c 13.5s | 12 | 61241 | 25819 | 6892 7 | 1 | 1 15.58/15.64 c 15.5s | 12 | 82381 | 29919 | 6892 8 | 1 | 1 17.59/17.65 c 17.5s | 12 | 92219 | 33919 | 6892 10 | 1 | 1 19.68/19.70 c 19.6s | 12 | 100311 | 37719 | 6892 11 | 1 | 1 20.08/20.17 c 20.1s | 13 | 102643 | 38832 | 7582 11 | 1 | 1 22.19/22.21 c 22.1s | 13 | 118976 | 42732 | 7582 12 | 1 | 1 24.19/24.25 c 24.1s | 13 | 135687 | 46932 | 7582 13 | 1 | 1 26.18/26.28 c 26.2s | 13 | 153203 | 50632 | 7582 14 | 1 | 1 28.28/28.33 c 28.2s | 13 | 164671 | 54332 | 7582 15 | 1 | 1 30.28/30.38 c 30.3s | 13 | 174854 | 58332 | 8341 16 | 1 | 1 30.28/30.39 c 30.3s | 14 | 174873 | 58352 | 8341 16 | 1 | 1 32.38/32.44 c 32.3s | 14 | 192037 | 62152 | 8341 17 | 1 | 1 34.38/34.49 c 34.4s | 14 | 199292 | 65752 | 8341 17 | 1 | 1 36.48/36.51 c 36.4s | 14 | 203704 | 69852 | 8341 18 | 1 | 1 38.48/38.51 c 38.4s | 14 | 213139 | 73552 | 8341 19 | 1 | 1 40.48/40.52 c 40.4s | 14 | 222484 | 77052 | 8341 20 | 1 | 1 42.48/42.52 c 42.4s | 14 | 230075 | 80752 | 8341 21 | 1 | 1 44.47/44.56 c 44.4s | 14 | 244610 | 84452 | 8341 22 | 1 | 1 46.47/46.57 c 46.4s | 15 | 252106 | 87632 | 9176 22 | 1 | 1 48.48/48.59 c 48.5s | 15 | 261259 | 90832 | 9176 23 | 1 | 1 50.47/50.60 c 50.5s | 15 | 266061 | 93932 | 9176 24 | 1 | 1 52.57/52.61 c 52.5s | 15 | 275059 | 97132 | 9176 24 | 1 | 1 54.56/54.67 c 54.6s | 15 | 289253 | 100232 | 9176 25 | 1 | 1 56.66/56.76 c 56.6s | 15 | 294454 | 103532 | 9176 26 | 1 | 1 58.76/58.82 c 58.7s | 15 | 305470 | 107332 | 9176 27 | 1 | 1 60.76/60.85 c 60.7s | 15 | 316646 | 110432 | 9176 27 | 1 | 1 62.77/62.88 c 62.8s | 15 | 324220 | 113932 | 9176 28 | 1 | 1 64.86/64.93 c 64.8s | 15 | 334580 | 117632 | 9176 29 | 1 | 1 66.87/66.95 c 66.8s | 15 | 341842 | 121032 | 9176 29 | 1 | 1 68.97/69.01 c 68.9s | 15 | 348211 | 124532 | 9176 30 | 1 | 1 70.97/71.02 c 70.9s | 15 | 354662 | 128232 | 9176 31 | 1 | 1 72.96/73.02 c 72.9s | 15 | 359313 | 131432 | 10094 31 | 1 | 1 72.96/73.08 c 73.0s | 16 | 359482 | 131552 | 10094 31 | 1 | 1 74.96/75.09 c 75.0s | 16 | 365125 | 134352 | 10094 32 | 1 | 1 77.07/77.14 c 77.0s | 16 | 369654 | 137552 | 10094 33 | 1 | 1 79.06/79.17 c 79.0s | 16 | 374948 | 140852 | 10094 33 | 1 | 1 81.16/81.21 c 81.1s | 16 | 378349 | 143852 | 10094 34 | 1 | 1 83.16/83.22 c 83.1s | 16 | 381712 | 146752 | 10094 34 | 1 | 1 85.16/85.24 c 85.1s | 16 | 387499 | 149452 | 10094 35 | 1 | 1 87.16/87.27 c 87.1s | 16 | 390544 | 152252 | 10094 35 | 1 | 1 89.46/89.53 c 89.4s | 16 | 394076 | 155152 | 10094 36 | 1 | 1 91.46/91.53 c 91.4s | 16 | 401055 | 158252 | 10094 37 | 1 | 1 93.46/93.55 c 93.4s | 16 | 410251 | 161552 | 10094 37 | 1 | 1 95.45/95.60 c 95.5s | 16 | 421886 | 164952 | 10094 38 | 1 | 1 97.55/97.62 c 97.5s | 16 | 431809 | 168252 | 10094 39 | 1 | 1 99.55/99.65 c 99.5s | 16 | 438514 | 171552 | 10094 39 | 1 | 1 101.55/101.68 c 101s | 16 | 444990 | 174852 | 10094 40 | 1 | 1 103.55/103.69 c 103s | 16 | 451271 | 178052 | 10094 41 | 1 | 1 105.55/105.70 c 105s | 16 | 461237 | 181152 | 10094 41 | 1 | 1 107.64/107.70 c 107s | 16 | 467668 | 184352 | 10094 42 | 1 | 1 109.64/109.73 c 109s | 16 | 476509 | 188052 | 10094 42 | 1 | 1 111.64/111.77 c 111s | 16 | 483199 | 191352 | 10094 43 | 1 | 1 113.64/113.79 c 113s | 16 | 488388 | 194452 | 10094 44 | 1 | 1 115.74/115.84 c 115s | 17 | 496725 | 197432 | 11104 44 | 1 | 1 117.84/117.99 c 117s | 17 | 502085 | 200332 | 11104 45 | 1 | 1 119.94/120.05 c 119s | 17 | 511114 | 203332 | 11104 45 | 1 | 1 121.93/122.06 c 121s | 17 | 517183 | 206132 | 11104 46 | 1 | 1 123.93/124.06 c 123s | 17 | 522829 | 209132 | 11104 46 | 1 | 1 126.34/126.43 c 126s | 17 | 527107 | 211932 | 11104 47 | 1 | 1 128.34/128.46 c 128s | 17 | 537319 | 215432 | 11104 47 | 1 | 1 130.44/130.52 c 130s | 17 | 542217 | 218632 | 11104 48 | 1 | 1 132.44/132.53 c 132s | 17 | 545845 | 221432 | 11104 48 | 1 | 1 134.43/134.57 c 134s | 17 | 550417 | 223932 | 11104 49 | 1 | 1 136.44/136.58 c 136s | 17 | 554415 | 226332 | 11104 49 | 1 | 1 138.54/138.60 c 138s | 17 | 561269 | 229632 | 11104 50 | 1 | 1 140.53/140.62 c 140s | 17 | 566334 | 232332 | 11104 50 | 1 | 1 142.53/142.64 c 142s | 17 | 570887 | 235332 | 11104 51 | 1 | 1 144.52/144.66 c 144s | 17 | 578311 | 238632 | 11104 51 | 1 | 1 146.62/146.70 c 146s | 17 | 585347 | 241832 | 11104 52 | 1 | 1 148.62/148.70 c 148s | 17 | 589370 | 244632 | 11104 52 | 1 | 1 150.63/150.74 c 150s | 17 | 595112 | 247832 | 11104 53 | 1 | 1 152.62/152.76 c 152s | 17 | 599883 | 250832 | 11104 54 | 1 | 1 154.72/154.80 c 154s | 17 | 605735 | 254132 | 11104 54 | 1 | 1 156.72/156.83 c 156s | 17 | 610763 | 257732 | 11104 55 | 1 | 1 158.72/158.85 c 158s | 17 | 615325 | 261232 | 11104 55 | 1 | 1 160.72/160.89 c 160s | 17 | 620080 | 264332 | 11104 56 | 1 | 1 162.82/162.92 c 162s | 17 | 625836 | 267832 | 11104 57 | 1 | 1 164.92/165.03 c 164s | 17 | 631048 | 271432 | 11104 57 | 1 | 1 166.91/167.04 c 166s | 17 | 638984 | 274732 | 11104 58 | 1 | 1 168.91/169.08 c 168s | 17 | 644403 | 278132 | 11104 58 | 1 | 1 171.02/171.10 c 170s | 17 | 651045 | 280832 | 11104 59 | 1 | 1 173.02/173.15 c 173s | 17 | 658562 | 284032 | 11104 59 | 1 | 1 175.02/175.18 c 175s | 17 | 663899 | 287032 | 11104 60 | 1 | 1 177.12/177.21 c 177s | 17 | 668534 | 290132 | 11104 61 | 1 | 1 179.12/179.23 c 179s | 17 | 672412 | 292832 | 11104 61 | 1 | 1 181.12/181.28 c 181s | 17 | 676580 | 295832 | 12215 61 | 1 | 1 181.42/181.52 c 181s | 18 | 677354 | 296252 | 12215 61 | 1 | 1 183.41/183.52 c 183s | 18 | 685195 | 298952 | 12215 62 | 1 | 1 185.41/185.58 c 185s | 18 | 691429 | 301952 | 12215 62 | 1 | 1 187.41/187.59 c 187s | 18 | 703616 | 304552 | 12215 63 | 1 | 1 189.51/189.64 c 189s | 18 | 712827 | 307652 | 12215 63 | 1 | 1 191.61/191.71 c 191s | 18 | 727159 | 310552 | 12215 64 | 1 | 1 193.61/193.77 c 193s | 18 | 732377 | 313552 | 12215 64 | 1 | 1 196.11/196.25 c 196s | 18 | 739314 | 316352 | 12215 65 | 1 | 1 198.11/198.26 c 198s | 18 | 748805 | 319852 | 12215 65 | 1 | 1 200.21/200.31 c 200s | 18 | 754688 | 322852 | 12215 66 | 1 | 1 202.20/202.34 c 202s | 18 | 761369 | 325652 | 12215 66 | 1 | 1 204.30/204.48 c 204s | 18 | 767984 | 327952 | 12215 67 | 1 | 1 206.30/206.49 c 206s | 18 | 773786 | 330852 | 12215 67 | 1 | 1 208.50/208.61 c 208s | 18 | 779010 | 333852 | 12215 68 | 1 | 1 210.50/210.63 c 210s | 18 | 789804 | 337352 | 12215 68 | 1 | 1 212.50/212.64 c 212s | 18 | 794917 | 340452 | 12215 69 | 1 | 1 214.50/214.66 c 214s | 18 | 799054 | 343652 | 12215 69 | 1 | 1 216.60/216.71 c 216s | 18 | 803812 | 346552 | 12215 70 | 1 | 1 218.59/218.72 c 218s | 18 | 809314 | 349752 | 12215 70 | 1 | 1 220.59/220.77 c 220s | 18 | 816670 | 352452 | 12215 71 | 1 | 1 222.69/222.81 c 222s | 18 | 822017 | 355552 | 12215 71 | 1 | 1 224.68/224.81 c 224s | 18 | 826835 | 358352 | 12215 71 | 1 | 1 226.69/226.81 c 226s | 18 | 836012 | 361052 | 12215 72 | 1 | 1 228.70/228.83 c 228s | 18 | 842287 | 363652 | 12215 72 | 1 | 1 230.69/230.87 c 230s | 18 | 848236 | 366252 | 12215 73 | 1 | 1 232.79/232.92 c 232s | 18 | 853152 | 368652 | 12215 73 | 1 | 1 234.79/234.93 c 234s | 18 | 858812 | 371352 | 12215 74 | 1 | 1 236.79/236.95 c 236s | 18 | 863684 | 374452 | 12215 74 | 1 | 1 238.78/238.99 c 238s | 18 | 870801 | 377352 | 12215 75 | 1 | 1 240.89/241.03 c 240s | 18 | 874587 | 380152 | 12215 75 | 1 | 1 242.88/243.06 c 242s | 18 | 878580 | 382752 | 12215 75 | 1 | 1 244.88/245.09 c 244s | 18 | 884315 | 385852 | 12215 76 | 1 | 1 246.98/247.10 c 246s | 18 | 889002 | 388952 | 12215 76 | 1 | 1 248.98/249.13 c 249s | 18 | 893377 | 392152 | 12215 77 | 1 | 1 250.98/251.19 c 251s | 18 | 898394 | 395352 | 12215 77 | 1 | 1 253.08/253.20 c 253s | 18 | 902748 | 398452 | 12215 78 | 1 | 1 255.08/255.21 c 255s | 18 | 910360 | 400952 | 12215 78 | 1 | 1 257.07/257.25 c 257s | 18 | 916657 | 403952 | 12215 79 | 1 | 1 259.07/259.25 c 259s | 18 | 923972 | 406952 | 12215 79 | 1 | 1 261.07/261.27 c 261s | 18 | 927558 | 409752 | 12215 80 | 1 | 1 263.17/263.32 c 263s | 18 | 933132 | 412952 | 12215 80 | 1 | 1 265.17/265.34 c 265s | 18 | 936693 | 415652 | 12215 81 | 1 | 1 267.17/267.36 c 267s | 18 | 943699 | 418352 | 12215 81 | 1 | 1 269.27/269.41 c 269s | 18 | 949939 | 421252 | 12215 82 | 1 | 1 271.27/271.47 c 271s | 18 | 953799 | 424252 | 12215 82 | 1 | 1 273.27/273.47 c 273s | 18 | 962788 | 427252 | 12215 83 | 1 | 1 275.36/275.52 c 275s | 18 | 967298 | 430252 | 12215 83 | 1 | 1 277.36/277.57 c 277s | 18 | 970579 | 432952 | 12215 84 | 1 | 1 279.46/279.61 c 279s | 18 | 978192 | 436452 | 12215 84 | 1 | 1 281.47/281.64 c 281s | 18 | 983598 | 439452 | 12215 85 | 1 | 1 283.45/283.66 c 283s | 18 | 988106 | 442652 | 13437 85 | 1 | 1 284.76/284.91 c 284s | 19 | 995800 | 444482 | 13437 85 | 1 | 1 286.75/286.98 c 286s | 19 | 1001973 | 446782 | 13437 86 | 1 | 1 288.76/288.98 c 288s | 19 | 1012176 | 449482 | 13437 86 | 1 | 1 290.86/291.03 c 290s | 19 | 1044869 | 452282 | 13437 86 | 1 | 1 292.86/293.09 c 292s | 19 | 1055158 | 454982 | 13437 87 | 1 | 1 294.96/295.11 c 294s | 19 | 1064826 | 457882 | 13437 87 | 1 | 1 296.96/297.15 c 297s | 19 | 1075082 | 460182 | 13437 88 | 1 | 1 299.06/299.22 c 299s | 19 | 1084077 | 462382 | 13437 88 | 1 | 1 301.05/301.26 c 301s | 19 | 1093516 | 465082 | 13437 88 | 1 | 1 303.05/303.27 c 303s | 19 | 1097964 | 467382 | 13437 89 | 1 | 1 305.15/305.32 c 305s | 19 | 1102947 | 469582 | 13437 89 | 1 | 1 307.15/307.37 c 307s | 19 | 1110234 | 472282 | 13437 89 | 1 | 1 309.15/309.38 c 309s | 19 | 1118170 | 474982 | 13437 90 | 1 | 1 311.26/311.44 c 311s | 19 | 1129269 | 477782 | 13437 90 | 1 | 1 313.25/313.47 c 313s | 19 | 1141812 | 480682 | 13437 91 | 1 | 1 315.25/315.47 c 315s | 19 | 1148793 | 483582 | 13437 91 | 1 | 1 317.34/317.52 c 317s | 19 | 1153439 | 486082 | 13437 91 | 1 | 1 319.34/319.58 c 319s | 19 | 1157613 | 488482 | 13437 92 | 1 | 1 321.44/321.62 c 321s | 19 | 1161335 | 491182 | 13437 92 | 1 | 1 323.44/323.66 c 323s | 19 | 1166748 | 493082 | 13437 92 | 1 | 1 325.54/325.72 c 325s | 19 | 1176345 | 495482 | 13437 93 | 1 | 1 327.64/327.81 c 327s | 19 | 1181110 | 497182 | 13437 93 | 1 | 1 329.63/329.84 c 329s | 19 | 1204209 | 500282 | 13437 93 | 1 | 1 331.63/331.86 c 331s | 19 | 1221302 | 502882 | 13437 94 | 1 | 1 333.73/333.92 c 333s | 19 | 1236328 | 505682 | 13437 94 | 1 | 1 335.73/335.96 c 335s | 19 | 1263762 | 508682 | 13437 95 | 1 | 1 337.83/338.03 c 337s | 19 | 1283651 | 511482 | 13437 95 | 1 | 1 339.83/340.05 c 339s | 19 | 1299466 | 513882 | 13437 95 | 1 | 1 341.93/342.14 c 342s | 19 | 1306423 | 516382 | 13437 96 | 1 | 1 343.93/344.18 c 344s | 19 | 1312498 | 518582 | 13437 96 | 1 | 1 346.03/346.20 c 346s | 19 | 1321713 | 521382 | 13437 96 | 1 | 1 348.03/348.25 c 348s | 19 | 1327260 | 524282 | 13437 97 | 1 | 1 350.13/350.32 c 350s | 19 | 1330448 | 526482 | 13437 97 | 1 | 1 352.13/352.38 c 352s | 19 | 1333182 | 528482 | 13437 98 | 1 | 1 354.22/354.43 c 354s | 19 | 1334808 | 529682 | 13437 98 | 1 | 1 356.22/356.48 c 356s | 19 | 1341619 | 532282 | 13437 98 | 1 | 1 358.32/358.52 c 358s | 19 | 1345698 | 534482 | 13437 98 | 1 | 1 360.32/360.57 c 360s | 19 | 1352701 | 536682 | 13437 99 | 1 | 1 362.32/362.58 c 362s | 19 | 1358926 | 539082 | 13437 99 | 1 | 1 364.41/364.60 c 364s | 19 | 1363859 | 541382 | 13437 99 | 1 | 1 366.41/366.63 c 366s | 19 | 1368958 | 543682 | 13437 100 | 1 | 1 368.51/368.77 c 368s | 19 | 1372211 | 545282 | 13437 100 | 1 | 1 370.62/370.81 c 370s | 19 | 1381742 | 547982 | 13437 100 | 1 | 1 372.61/372.87 c 372s | 19 | 1387889 | 550482 | 13437 101 | 1 | 1 374.61/374.89 c 374s | 19 | 1398835 | 553082 | 13437 101 | 1 | 1 376.71/376.90 c 376s | 19 | 1406240 | 555482 | 13437 102 | 1 | 1 378.71/378.95 c 378s | 19 | 1417690 | 558382 | 13437 102 | 1 | 1 380.71/380.95 c 380s | 19 | 1422115 | 560682 | 13437 102 | 1 | 1 382.81/383.03 c 382s | 19 | 1434788 | 563082 | 13437 103 | 1 | 1 384.81/385.04 c 384s | 19 | 1438125 | 565482 | 13437 103 | 1 | 1 386.80/387.08 c 386s | 19 | 1445928 | 567382 | 13437 103 | 1 | 1 388.90/389.14 c 389s | 19 | 1449831 | 569782 | 13437 104 | 1 | 1 390.90/391.16 c 391s | 19 | 1459091 | 572382 | 13437 104 | 1 | 1 393.00/393.23 c 393s | 19 | 1464363 | 574682 | 13437 104 | 1 | 1 394.99/395.29 c 395s | 19 | 1468870 | 576882 | 13437 105 | 1 | 1 397.09/397.35 c 397s | 19 | 1474785 | 579482 | 13437 105 | 1 | 1 399.10/399.37 c 399s | 19 | 1483828 | 581882 | 13437 105 | 1 | 1 401.19/401.42 c 401s | 19 | 1490443 | 584182 | 13437 106 | 1 | 1 403.19/403.45 c 403s | 19 | 1504591 | 586782 | 13437 106 | 1 | 1 405.19/405.46 c 405s | 19 | 1519086 | 589282 | 13437 106 | 1 | 1 407.20/407.47 c 407s | 19 | 1525508 | 591582 | 13437 107 | 1 | 1 409.29/409.57 c 409s | 19 | 1530743 | 594082 | 13437 107 | 1 | 1 411.39/411.67 c 411s | 19 | 1534278 | 596282 | 13437 108 | 1 | 1 413.40/413.69 c 413s | 19 | 1539821 | 598882 | 13437 108 | 1 | 1 415.49/415.78 c 415s | 19 | 1542132 | 600982 | 13437 108 | 1 | 1 417.59/417.89 c 417s | 19 | 1544423 | 603182 | 13437 109 | 1 | 1 419.69/419.94 c 419s | 19 | 1547961 | 605582 | 13437 109 | 1 | 1 421.69/421.96 c 421s | 19 | 1557737 | 607982 | 13437 109 | 1 | 1 423.68/423.97 c 423s | 19 | 1561429 | 609982 | 13437 110 | 1 | 1 425.78/426.03 c 425s | 19 | 1564854 | 612182 | 13437 110 | 1 | 1 427.88/428.10 c 427s | 19 | 1567554 | 614382 | 13437 110 | 1 | 1 429.89/430.12 c 430s | 19 | 1570438 | 616382 | 13437 110 | 1 | 1 431.88/432.14 c 432s | 19 | 1573152 | 618482 | 13437 111 | 1 | 1 433.88/434.18 c 434s | 19 | 1574871 | 620082 | 13437 111 | 1 | 1 435.98/436.21 c 436s | 19 | 1578146 | 622182 | 13437 111 | 1 | 1 437.98/438.29 c 438s | 19 | 1581448 | 624282 | 13437 112 | 1 | 1 440.28/440.51 c 440s | 19 | 1584765 | 625782 | 13437 112 | 1 | 1 442.27/442.53 c 442s | 19 | 1599201 | 628782 | 13437 112 | 1 | 1 444.28/444.57 c 444s | 19 | 1605411 | 631182 | 13437 113 | 1 | 1 446.67/446.93 c 446s | 19 | 1610037 | 633682 | 13437 113 | 1 | 1 448.67/448.95 c 448s | 19 | 1614594 | 636382 | 13437 113 | 1 | 1 450.66/450.96 c 450s | 19 | 1621801 | 638982 | 13437 114 | 1 | 1 452.76/453.02 c 452s | 19 | 1634262 | 642182 | 13437 114 | 1 | 1 454.76/455.03 c 454s | 19 | 1642891 | 644982 | 13437 115 | 1 | 1 456.76/457.08 c 456s | 19 | 1652568 | 647882 | 13437 115 | 1 | 1 458.76/459.09 c 458s | 19 | 1660468 | 650282 | 13437 115 | 1 | 1 460.86/461.15 c 461s | 19 | 1665533 | 652582 | 13437 116 | 1 | 1 462.96/463.27 c 463s | 19 | 1668747 | 654882 | 13437 116 | 1 | 1 465.16/465.41 c 465s | 19 | 1678181 | 657682 | 13437 117 | 1 | 1 467.15/467.43 c 467s | 19 | 1684063 | 660182 | 13437 117 | 1 | 1 469.25/469.50 c 469s | 19 | 1693222 | 662882 | 14781 117 | 1 | 1 471.25/471.50 c 471s | 19 | 1696244 | 665182 | 14781 117 | 1 | 1 472.86/473.12 c 473s | 20 | 1699738 | 666827 | 14781 118 | 1 | 1 474.85/475.17 c 475s | 20 | 1706484 | 668627 | 14781 118 | 1 | 1 476.85/477.17 c 477s | 20 | 1716014 | 671427 | 14781 118 | 1 | 1 478.95/479.23 c 479s | 20 | 1727016 | 674027 | 14781 119 | 1 | 1 480.95/481.24 c 481s | 20 | 1739780 | 676827 | 14781 119 | 1 | 1 482.95/483.27 c 483s | 20 | 1759007 | 679527 | 14781 119 | 1 | 1 485.05/485.31 c 485s | 20 | 1774748 | 682227 | 14781 120 | 1 | 1 487.25/487.51 c 487s | 20 | 1798509 | 685027 | 14781 120 | 1 | 1 489.25/489.53 c 489s | 20 | 1812464 | 687927 | 14781 120 | 1 | 1 491.25/491.55 c 491s | 20 | 1832811 | 690427 | 14781 121 | 1 | 1 493.25/493.57 c 493s | 20 | 1855406 | 693327 | 14781 121 | 1 | 1 495.34/495.63 c 495s | 20 | 1870690 | 696027 | 14781 122 | 1 | 1 497.34/497.67 c 497s | 20 | 1878256 | 698727 | 14781 122 | 1 | 1 499.44/499.70 c 499s | 20 | 1886938 | 701427 | 14781 122 | 1 | 1 501.45/501.71 c 501s | 20 | 1893033 | 703427 | 14781 123 | 1 | 1 503.44/503.73 c 503s | 20 | 1899012 | 705427 | 14781 123 | 1 | 1 505.43/505.73 c 505s | 20 | 1905519 | 707027 | 14781 123 | 1 | 1 507.53/507.83 c 507s | 20 | 1916334 | 709527 | 14781 123 | 1 | 1 509.53/509.84 c 509s | 20 | 1928762 | 711827 | 14781 124 | 1 | 1 511.53/511.86 c 511s | 20 | 1938119 | 714527 | 14781 124 | 1 | 1 513.63/513.93 c 513s | 20 | 1944760 | 716827 | 14781 124 | 1 | 1 515.64/515.95 c 515s | 20 | 1950209 | 719027 | 14781 125 | 1 | 1 518.64/518.95 c 518s | 20 | 1953145 | 720727 | 14781 125 | 1 | 1 520.64/520.98 c 520s | 20 | 1957963 | 723827 | 14781 125 | 1 | 1 522.64/522.99 c 522s | 20 | 1961808 | 726227 | 14781 126 | 1 | 1 524.73/525.03 c 524s | 20 | 1966019 | 729227 | 14781 126 | 1 | 1 526.74/527.08 c 526s | 20 | 1970885 | 732127 | 14781 126 | 1 | 1 528.84/529.11 c 528s | 20 | 1977118 | 734827 | 14781 127 | 1 | 1 530.83/531.14 c 531s | 20 | 1981287 | 737727 | 14781 127 | 1 | 1 532.83/533.19 c 533s | 20 | 1984447 | 740127 | 14781 127 | 1 | 1 534.92/535.23 c 535s | 20 | 1988345 | 741827 | 14781 128 | 1 | 1 536.92/537.25 c 537s | 20 | 1992918 | 744427 | 14781 128 | 1 | 1 538.92/539.28 c 539s | 20 | 1997684 | 746927 | 14781 128 | 1 | 1 541.03/541.31 c 541s | 20 | 2001320 | 749327 | 14781 129 | 1 | 1 543.02/543.34 c 543s | 20 | 2004371 | 751927 | 14781 129 | 1 | 1 545.12/545.43 c 545s | 20 | 2007356 | 754227 | 14781 129 | 1 | 1 547.11/547.48 c 547s | 20 | 2010831 | 756427 | 14781 130 | 1 | 1 549.21/549.53 c 549s | 20 | 2013885 | 758827 | 14781 130 | 1 | 1 551.21/551.58 c 551s | 20 | 2017394 | 761427 | 14781 130 | 1 | 1 553.31/553.64 c 553s | 20 | 2020364 | 763627 | 14781 131 | 1 | 1 555.31/555.66 c 555s | 20 | 2023427 | 766327 | 14781 131 | 1 | 1 557.41/557.71 c 557s | 20 | 2026846 | 769027 | 14781 131 | 1 | 1 559.61/559.94 c 559s | 20 | 2029212 | 771027 | 14781 132 | 1 | 1 561.61/561.97 c 561s | 20 | 2033635 | 773727 | 14781 132 | 1 | 1 563.60/563.99 c 563s | 20 | 2036884 | 776427 | 14781 132 | 1 | 1 565.70/566.05 c 565s | 20 | 2039457 | 778627 | 14781 133 | 1 | 1 567.80/568.11 c 567s | 20 | 2042977 | 781227 | 14781 133 | 1 | 1 569.80/570.18 c 570s | 20 | 2046471 | 784227 | 14781 133 | 1 | 1 571.90/572.28 c 572s | 20 | 2049710 | 786727 | 14781 134 | 1 | 1 574.00/574.35 c 574s | 20 | 2053860 | 789627 | 14781 134 | 1 | 1 575.99/576.40 c 576s | 20 | 2057270 | 792227 | 14781 134 | 1 | 1 578.19/578.58 c 578s | 20 | 2060192 | 794627 | 14781 135 | 1 | 1 580.29/580.64 c 580s | 20 | 2063612 | 797227 | 14781 135 | 1 | 1 582.39/582.72 c 582s | 20 | 2066405 | 799627 | 14781 135 | 1 | 1 584.59/584.96 c 584s | 20 | 2068978 | 801627 | 14781 136 | 1 | 1 586.59/586.98 c 586s | 20 | 2072692 | 804527 | 14781 136 | 1 | 1 588.59/588.98 c 588s | 20 | 2076376 | 807327 | 14781 136 | 1 | 1 590.69/591.00 c 590s | 20 | 2079438 | 809727 | 14781 137 | 1 | 1 592.69/593.05 c 592s | 20 | 2083020 | 812727 | 14781 137 | 1 | 1 594.68/595.10 c 594s | 20 | 2086465 | 815427 | 14781 137 | 1 | 1 596.78/597.11 c 596s | 20 | 2089374 | 817927 | 14781 138 | 1 | 1 598.78/599.18 c 599s | 20 | 2092983 | 820627 | 14781 138 | 1 | 1 601.08/601.41 c 601s | 20 | 2096620 | 823227 | 14781 139 | 1 | 1 603.09/603.42 c 603s | 20 | 2100534 | 825827 | 14781 139 | 1 | 1 605.08/605.47 c 605s | 20 | 2103472 | 828227 | 14781 139 | 1 | 1 607.38/607.73 c 607s | 20 | 2106722 | 830727 | 14781 140 | 1 | 1 609.48/609.80 c 609s | 20 | 2110403 | 833627 | 14781 140 | 1 | 1 611.48/611.81 c 611s | 20 | 2113492 | 836127 | 14781 140 | 1 | 1 613.58/613.98 c 613s | 20 | 2116255 | 838227 | 14781 141 | 1 | 1 615.58/615.98 c 615s | 20 | 2119331 | 840627 | 14781 141 | 1 | 1 617.68/618.01 c 617s | 20 | 2122503 | 843227 | 14781 141 | 1 | 1 619.68/620.05 c 619s | 20 | 2125423 | 845627 | 14781 141 | 1 | 1 621.78/622.12 c 622s | 20 | 2129235 | 848127 | 14781 142 | 1 | 1 623.77/624.18 c 624s | 20 | 2132698 | 851027 | 14781 142 | 1 | 1 625.87/626.28 c 626s | 20 | 2135550 | 853327 | 14781 143 | 1 | 1 627.97/628.30 c 628s | 20 | 2138715 | 855927 | 14781 143 | 1 | 1 629.98/630.34 c 630s | 20 | 2142878 | 859027 | 14781 143 | 1 | 1 632.07/632.45 c 632s | 20 | 2149381 | 861627 | 14781 144 | 1 | 1 634.16/634.50 c 634s | 20 | 2152097 | 864027 | 14781 144 | 1 | 1 636.16/636.53 c 636s | 20 | 2155212 | 866527 | 14781 144 | 1 | 1 638.16/638.58 c 638s | 20 | 2158351 | 869027 | 14781 145 | 1 | 1 640.26/640.63 c 640s | 20 | 2161782 | 871827 | 14781 145 | 1 | 1 642.36/642.70 c 642s | 20 | 2165348 | 874627 | 14781 145 | 1 | 1 644.36/644.74 c 644s | 20 | 2168607 | 877127 | 14781 146 | 1 | 1 646.36/646.78 c 646s | 20 | 2172417 | 879927 | 14781 146 | 1 | 1 648.46/648.81 c 648s | 20 | 2175525 | 882427 | 14781 146 | 1 | 1 650.46/650.83 c 650s | 20 | 2177968 | 884427 | 14781 147 | 1 | 1 652.45/652.84 c 652s | 20 | 2181509 | 887127 | 14781 147 | 1 | 1 654.45/654.85 c 654s | 20 | 2184642 | 889327 | 14781 147 | 1 | 1 656.55/656.92 c 656s | 20 | 2187164 | 891427 | 14781 148 | 1 | 1 658.56/658.95 c 658s | 20 | 2190006 | 893627 | 14781 148 | 1 | 1 660.55/660.96 c 660s | 20 | 2193044 | 896127 | 14781 148 | 1 | 1 662.55/662.98 c 662s | 20 | 2196078 | 898627 | 14781 149 | 1 | 1 664.65/665.06 c 664s | 20 | 2199614 | 901327 | 14781 149 | 1 | 1 666.75/667.13 c 667s | 20 | 2203207 | 903927 | 14781 149 | 1 | 1 668.75/669.17 c 669s | 20 | 2206776 | 906527 | 14781 150 | 1 | 1 670.85/671.24 c 671s | 20 | 2211046 | 909527 | 14781 150 | 1 | 1 672.86/673.28 c 673s | 20 | 2214689 | 912427 | 14781 150 | 1 | 1 674.95/675.33 c 675s | 20 | 2218656 | 914927 | 14781 151 | 1 | 1 676.95/677.34 c 677s | 20 | 2221990 | 917527 | 14781 151 | 1 | 1 679.04/679.41 c 679s | 20 | 2225402 | 920027 | 14781 151 | 1 | 1 681.04/681.44 c 681s | 20 | 2228188 | 922327 | 14781 152 | 1 | 1 683.14/683.50 c 683s | 20 | 2231310 | 924727 | 14781 152 | 1 | 1 685.14/685.56 c 685s | 20 | 2234386 | 927127 | 14781 152 | 1 | 1 687.25/687.68 c 687s | 20 | 2236901 | 929027 | 14781 153 | 1 | 1 689.35/689.71 c 689s | 20 | 2240319 | 931827 | 14781 153 | 1 | 1 691.34/691.74 c 691s | 20 | 2243819 | 934427 | 14781 153 | 1 | 1 693.34/693.75 c 693s | 20 | 2247019 | 936727 | 14781 154 | 1 | 1 695.44/695.81 c 695s | 20 | 2250264 | 939327 | 14781 154 | 1 | 1 697.44/697.88 c 697s | 20 | 2253944 | 941927 | 14781 154 | 1 | 1 699.54/699.92 c 699s | 20 | 2257409 | 944427 | 14781 155 | 1 | 1 701.55/701.96 c 701s | 20 | 2260768 | 947127 | 14781 155 | 1 | 1 703.54/703.98 c 703s | 20 | 2263555 | 949427 | 14781 155 | 1 | 1 705.64/706.07 c 705s | 20 | 2266545 | 951727 | 14781 156 | 1 | 1 707.74/708.10 c 707s | 20 | 2269169 | 953927 | 14781 156 | 1 | 1 709.75/710.17 c 710s | 20 | 2272563 | 956527 | 14781 156 | 1 | 1 711.75/712.19 c 712s | 20 | 2275325 | 958727 | 14781 157 | 1 | 1 713.85/714.20 c 714s | 20 | 2278701 | 961327 | 14781 157 | 1 | 1 715.75/716.20 c 716s | 20 | 2282072 | 963827 | 14781 157 | 1 | 1 717.85/718.28 c 718s | 20 | 2284313 | 965627 | 14781 157 | 1 | 1 719.95/720.35 c 720s | 20 | 2287712 | 967727 | 14781 158 | 1 | 1 721.95/722.39 c 722s | 20 | 2292476 | 970527 | 14781 158 | 1 | 1 724.04/724.47 c 724s | 20 | 2295747 | 973027 | 14781 158 | 1 | 1 726.04/726.49 c 726s | 20 | 2299327 | 975627 | 14781 159 | 1 | 1 728.14/728.53 c 728s | 20 | 2303176 | 978527 | 14781 159 | 1 | 1 730.24/730.64 c 730s | 20 | 2306189 | 980827 | 14781 160 | 1 | 1 732.25/732.69 c 732s | 20 | 2310470 | 983627 | 14781 160 | 1 | 1 734.34/734.73 c 734s | 20 | 2314305 | 986327 | 14781 160 | 1 | 1 736.34/736.73 c 736s | 20 | 2317318 | 988627 | 14781 161 | 1 | 1 738.34/738.78 c 738s | 20 | 2321020 | 991427 | 14781 161 | 1 | 1 740.44/740.86 c 740s | 20 | 2324454 | 994127 | 16260 161 | 1 | 1 742.54/742.92 c 742s | 20 | 2327446 | 996427 | 16260 161 | 1 | 1 744.54/744.98 c 744s | 20 | 2330075 | 998527 | 16260 162 | 1 | 1 746.04/746.50 c 746s | 21 | 2332769 | 1000345 | 16260 162 | 1 | 1 748.14/748.56 c 748s | 21 | 2344902 | 1003045 | 16260 162 | 1 | 1 750.44/750.81 c 750s | 21 | 2358867 | 1005445 | 16260 163 | 1 | 1 752.44/752.81 c 752s | 21 | 2367404 | 1007645 | 16260 163 | 1 | 1 754.44/754.87 c 754s | 21 | 2373002 | 1009945 | 16260 163 | 1 | 1 756.55/756.91 c 756s | 21 | 2381968 | 1012245 | 16260 163 | 1 | 1 758.54/758.92 c 758s | 21 | 2389436 | 1014245 | 16260 164 | 1 | 1 760.64/761.00 c 760s | 21 | 2396502 | 1016845 | 16260 164 | 1 | 1 762.64/763.02 c 762s | 21 | 2400068 | 1018945 | 16260 164 | 1 | 1 764.64/765.04 c 764s | 21 | 2411338 | 1021445 | 16260 164 | 1 | 1 766.74/767.10 c 766s | 21 | 2418272 | 1023545 | 16260 165 | 1 | 1 768.74/769.15 c 769s | 21 | 2423709 | 1026245 | 16260 165 | 1 | 1 770.84/771.22 c 771s | 21 | 2427840 | 1028645 | 16260 165 | 1 | 1 772.83/773.24 c 773s | 21 | 2432385 | 1030745 | 16260 166 | 1 | 1 774.83/775.29 c 775s | 21 | 2436250 | 1033245 | 16260 166 | 1 | 1 776.93/777.30 c 777s | 21 | 2446962 | 1035445 | 16260 166 | 1 | 1 778.93/779.33 c 779s | 21 | 2454328 | 1037645 | 16260 166 | 1 | 1 781.03/781.49 c 781s | 21 | 2457733 | 1039745 | 16260 167 | 1 | 1 783.13/783.51 c 783s | 21 | 2468805 | 1042145 | 16260 167 | 1 | 1 785.14/785.56 c 785s | 21 | 2479148 | 1044645 | 16260 167 | 1 | 1 787.24/787.66 c 787s | 21 | 2487928 | 1046645 | 16260 168 | 1 | 1 789.33/789.71 c 789s | 21 | 2490931 | 1048745 | 16260 168 | 1 | 1 791.64/792.02 c 791s | 21 | 2494421 | 1051045 | 16260 168 | 1 | 1 793.63/794.09 c 793s | 21 | 2501752 | 1053245 | 16260 168 | 1 | 1 795.73/796.17 c 796s | 21 | 2504745 | 1055145 | 16260 169 | 1 | 1 797.73/798.18 c 798s | 21 | 2508792 | 1057145 | 16260 169 | 1 | 1 799.83/800.22 c 800s | 21 | 2513606 | 1059345 | 16260 169 | 1 | 1 801.83/802.24 c 802s | 21 | 2517349 | 1061445 | 16260 169 | 1 | 1 803.83/804.28 c 804s | 21 | 2519853 | 1063245 | 16260 170 | 1 | 1 805.93/806.32 c 806s | 21 | 2522745 | 1065645 | 16260 170 | 1 | 1 807.93/808.33 c 808s | 21 | 2533767 | 1067745 | 16260 170 | 1 | 1 809.93/810.34 c 810s | 21 | 2539746 | 1069945 | 16260 170 | 1 | 1 812.03/812.48 c 812s | 21 | 2542910 | 1071945 | 16260 171 | 1 | 1 814.13/814.52 c 814s | 21 | 2546056 | 1074045 | 16260 171 | 1 | 1 816.22/816.60 c 816s | 21 | 2549492 | 1076345 | 16260 171 | 1 | 1 818.22/818.61 c 818s | 21 | 2551032 | 1077345 | 16260 171 | 1 | 1 820.23/820.66 c 820s | 21 | 2554973 | 1079645 | 16260 172 | 1 | 1 822.22/822.69 c 822s | 21 | 2559590 | 1082445 | 16260 172 | 1 | 1 824.32/824.77 c 824s | 21 | 2563452 | 1085145 | 16260 172 | 1 | 1 826.42/826.84 c 826s | 21 | 2568308 | 1087645 | 16260 173 | 1 | 1 828.42/828.88 c 828s | 21 | 2573904 | 1090445 | 16260 173 | 1 | 1 830.52/830.91 c 830s | 21 | 2577481 | 1092945 | 16260 173 | 1 | 1 832.52/832.94 c 832s | 21 | 2581955 | 1095445 | 16260 173 | 1 | 1 834.53/834.98 c 834s | 21 | 2584202 | 1097345 | 16260 174 | 1 | 1 836.52/836.99 c 836s | 21 | 2587867 | 1100245 | 16260 174 | 1 | 1 838.62/839.05 c 838s | 21 | 2591670 | 1102645 | 16260 174 | 1 | 1 840.62/841.09 c 840s | 21 | 2595202 | 1104145 | 16260 175 | 1 | 1 842.72/843.13 c 843s | 21 | 2599475 | 1106545 | 16260 175 | 1 | 1 844.72/845.18 c 845s | 21 | 2606069 | 1109145 | 16260 175 | 1 | 1 846.82/847.22 c 847s | 21 | 2610607 | 1111445 | 16260 175 | 1 | 1 848.83/849.28 c 849s | 21 | 2613626 | 1113645 | 16260 176 | 1 | 1 850.92/851.38 c 851s | 21 | 2618550 | 1115645 | 16260 176 | 1 | 1 852.92/853.39 c 853s | 21 | 2624540 | 1118045 | 16260 176 | 1 | 1 855.02/855.47 c 855s | 21 | 2632398 | 1120645 | 16260 177 | 1 | 1 857.02/857.48 c 857s | 21 | 2638639 | 1123145 | 16260 177 | 1 | 1 859.12/859.53 c 859s | 21 | 2644427 | 1125845 | 16260 177 | 1 | 1 861.12/861.55 c 861s | 21 | 2648312 | 1127845 | 16260 177 | 1 | 1 863.23/863.62 c 863s | 21 | 2654893 | 1129445 | 16260 178 | 1 | 1 865.33/865.72 c 865s | 21 | 2659799 | 1131645 | 16260 178 | 1 | 1 867.32/867.77 c 867s | 21 | 2665219 | 1133745 | 16260 178 | 1 | 1 869.32/869.78 c 869s | 21 | 2676540 | 1136045 | 16260 178 | 1 | 1 871.32/871.79 c 871s | 21 | 2680426 | 1137745 | 16260 179 | 1 | 1 873.42/873.81 c 873s | 21 | 2685513 | 1139645 | 16260 179 | 1 | 1 875.42/875.83 c 875s | 21 | 2690821 | 1141845 | 16260 179 | 1 | 1 877.43/877.88 c 877s | 21 | 2694201 | 1143845 | 16260 179 | 1 | 1 879.52/879.94 c 879s | 21 | 2697559 | 1145645 | 16260 180 | 1 | 1 881.52/881.95 c 881s | 21 | 2701314 | 1147745 | 16260 180 | 1 | 1 883.62/884.01 c 883s | 21 | 2703963 | 1149845 | 16260 180 | 1 | 1 885.62/886.04 c 885s | 21 | 2709577 | 1151745 | 16260 180 | 1 | 1 887.62/888.06 c 887s | 21 | 2713979 | 1154145 | 16260 181 | 1 | 1 889.63/890.06 c 889s | 21 | 2717675 | 1156645 | 16260 181 | 1 | 1 891.62/892.08 c 891s | 21 | 2720690 | 1158945 | 16260 181 | 1 | 1 893.62/894.09 c 893s | 21 | 2726135 | 1161345 | 16260 181 | 1 | 1 895.72/896.15 c 896s | 21 | 2729861 | 1163745 | 16260 182 | 1 | 1 897.72/898.17 c 898s | 21 | 2734305 | 1166145 | 16260 182 | 1 | 1 899.82/900.22 c 900s | 21 | 2741141 | 1168745 | 16260 182 | 1 | 1 901.82/902.23 c 902s | 21 | 2744555 | 1170945 | 16260 183 | 1 | 1 903.82/904.27 c 904s | 21 | 2754402 | 1173145 | 16260 183 | 1 | 1 905.92/906.31 c 906s | 21 | 2760047 | 1175345 | 16260 183 | 1 | 1 907.92/908.37 c 908s | 21 | 2764034 | 1177345 | 16260 183 | 1 | 1 910.02/910.41 c 910s | 21 | 2766818 | 1178945 | 16260 184 | 1 | 1 912.02/912.42 c 912s | 21 | 2769324 | 1180845 | 16260 184 | 1 | 1 914.02/914.45 c 914s | 21 | 2772059 | 1182845 | 16260 184 | 1 | 1 916.02/916.48 c 916s | 21 | 2775280 | 1184745 | 16260 184 | 1 | 1 918.12/918.51 c 918s | 21 | 2777848 | 1186545 | 16260 185 | 1 | 1 920.11/920.56 c 920s | 21 | 2782146 | 1189545 | 16260 185 | 1 | 1 922.11/922.57 c 922s | 21 | 2786417 | 1192245 | 16260 185 | 1 | 1 924.11/924.58 c 924s | 21 | 2790113 | 1194345 | 16260 185 | 1 | 1 926.21/926.65 c 926s | 21 | 2792772 | 1196345 | 16260 186 | 1 | 1 928.21/928.66 c 928s | 21 | 2795741 | 1198445 | 16260 186 | 1 | 1 930.32/930.72 c 930s | 21 | 2799024 | 1200445 | 16260 186 | 1 | 1 932.31/932.79 c 932s | 21 | 2801560 | 1202445 | 16260 186 | 1 | 1 934.41/934.83 c 934s | 21 | 2804537 | 1204245 | 16260 187 | 1 | 1 936.41/936.89 c 936s | 21 | 2808886 | 1206645 | 16260 187 | 1 | 1 938.51/938.91 c 938s | 21 | 2811847 | 1208645 | 16260 187 | 1 | 1 940.61/941.00 c 940s | 21 | 2816665 | 1210545 | 16260 187 | 1 | 1 942.61/943.04 c 942s | 21 | 2819165 | 1212345 | 16260 188 | 1 | 1 944.71/945.10 c 944s | 21 | 2822030 | 1214845 | 16260 188 | 1 | 1 946.71/947.12 c 947s | 21 | 2825521 | 1217145 | 16260 188 | 1 | 1 948.81/949.20 c 949s | 21 | 2828585 | 1218845 | 16260 188 | 1 | 1 950.81/951.26 c 951s | 21 | 2834330 | 1220945 | 16260 189 | 1 | 1 952.81/953.28 c 953s | 21 | 2839060 | 1223245 | 16260 189 | 1 | 1 954.90/955.31 c 955s | 21 | 2842161 | 1225345 | 16260 189 | 1 | 1 957.00/957.41 c 957s | 21 | 2845414 | 1227245 | 16260 190 | 1 | 1 959.00/959.45 c 959s | 21 | 2848026 | 1229245 | 16260 190 | 1 | 1 961.01/961.50 c 961s | 21 | 2851053 | 1231345 | 16260 190 | 1 | 1 963.10/963.50 c 963s | 21 | 2853526 | 1233345 | 16260 190 | 1 | 1 965.30/965.76 c 965s | 21 | 2856105 | 1235445 | 16260 191 | 1 | 1 967.40/967.81 c 967s | 21 | 2860175 | 1237845 | 16260 191 | 1 | 1 969.50/969.91 c 969s | 21 | 2863249 | 1239845 | 16260 191 | 1 | 1 971.50/971.93 c 971s | 21 | 2865615 | 1241645 | 16260 191 | 1 | 1 973.50/973.94 c 973s | 21 | 2867795 | 1243545 | 16260 191 | 1 | 1 975.50/975.99 c 975s | 21 | 2869326 | 1244945 | 16260 192 | 1 | 1 977.61/978.03 c 977s | 21 | 2872041 | 1247045 | 16260 192 | 1 | 1 979.60/980.10 c 979s | 21 | 2874754 | 1249145 | 16260 192 | 1 | 1 981.70/982.16 c 982s | 21 | 2876837 | 1250945 | 16260 192 | 1 | 1 983.80/984.23 c 984s | 21 | 2881677 | 1253045 | 16260 193 | 1 | 1 985.80/986.26 c 986s | 21 | 2885131 | 1255245 | 16260 193 | 1 | 1 987.90/988.34 c 988s | 21 | 2887916 | 1257345 | 16260 193 | 1 | 1 990.00/990.43 c 990s | 21 | 2890657 | 1259345 | 16260 193 | 1 | 1 992.00/992.47 c 992s | 21 | 2892822 | 1261145 | 16260 194 | 1 | 1 994.10/994.54 c 994s | 21 | 2895679 | 1262745 | 16260 194 | 1 | 1 996.10/996.58 c 996s | 21 | 2900059 | 1265045 | 16260 194 | 1 | 1 998.20/998.63 c 998s | 21 | 2904248 | 1267145 | 16260 194 | 1 | 1 1000.20/1000.64 c 1000s | 21 | 2906903 | 1268845 | 16260 195 | 1 | 1 1002.20/1002.69 c 1002s | 21 | 2910851 | 1270845 | 16260 195 | 1 | 1 1004.30/1004.76 c 1004s | 21 | 2914290 | 1272845 | 16260 195 | 1 | 1 1006.30/1006.80 c 1006s | 21 | 2917358 | 1274845 | 16260 195 | 1 | 1 1008.59/1009.01 c 1008s | 21 | 2919794 | 1276745 | 16260 196 | 1 | 1 1010.61/1011.05 c 1010s | 21 | 2921706 | 1278145 | 16260 196 | 1 | 1 1012.60/1013.05 c 1012s | 21 | 2926118 | 1280345 | 16260 196 | 1 | 1 1014.70/1015.12 c 1014s | 21 | 2929428 | 1282545 | 16260 196 | 1 | 1 1016.80/1017.20 c 1017s | 21 | 2932578 | 1284545 | 16260 196 | 1 | 1 1018.80/1019.29 c 1019s | 21 | 2935420 | 1286345 | 16260 197 | 1 | 1 1020.80/1021.29 c 1021s | 21 | 2939105 | 1288345 | 16260 197 | 1 | 1 1022.90/1023.40 c 1023s | 21 | 2942190 | 1290345 | 16260 197 | 1 | 1 1025.00/1025.43 c 1025s | 21 | 2944434 | 1292045 | 16260 197 | 1 | 1 1027.20/1027.64 c 1027s | 21 | 2951176 | 1293145 | 16260 198 | 1 | 1 1029.20/1029.68 c 1029s | 21 | 2962708 | 1295645 | 16260 198 | 1 | 1 1031.30/1031.75 c 1031s | 21 | 2975055 | 1298345 | 16260 198 | 1 | 1 1033.29/1033.77 c 1033s | 21 | 2978709 | 1300645 | 16260 198 | 1 | 1 1035.39/1035.80 c 1035s | 21 | 2982873 | 1302845 | 16260 199 | 1 | 1 1037.39/1037.88 c 1037s | 21 | 2987307 | 1305145 | 16260 199 | 1 | 1 1039.49/1039.97 c 1039s | 21 | 2990979 | 1307445 | 16260 199 | 1 | 1 1041.59/1042.09 c 1041s | 21 | 2993704 | 1309545 | 16260 200 | 1 | 1 1043.69/1044.13 c 1044s | 21 | 3000943 | 1311745 | 16260 200 | 1 | 1 1045.80/1046.26 c 1046s | 21 | 3004072 | 1313945 | 16260 200 | 1 | 1 1047.79/1048.26 c 1048s | 21 | 3007175 | 1316045 | 16260 200 | 1 | 1 1049.89/1050.31 c 1050s | 21 | 3010920 | 1318045 | 16260 201 | 1 | 1 1051.89/1052.32 c 1052s | 21 | 3013558 | 1320245 | 16260 201 | 1 | 1 1053.89/1054.35 c 1054s | 21 | 3016004 | 1322345 | 16260 201 | 1 | 1 1055.99/1056.43 c 1056s | 21 | 3018431 | 1324145 | 16260 201 | 1 | 1 1058.09/1058.53 c 1058s | 21 | 3021974 | 1326045 | 16260 202 | 1 | 1 1060.09/1060.56 c 1060s | 21 | 3025699 | 1328545 | 16260 202 | 1 | 1 1062.19/1062.64 c 1062s | 21 | 3030429 | 1331045 | 16260 202 | 1 | 1 1064.19/1064.67 c 1064s | 21 | 3033288 | 1333145 | 16260 202 | 1 | 1 1066.39/1066.81 c 1066s | 21 | 3035259 | 1334745 | 16260 203 | 1 | 1 1068.39/1068.84 c 1068s | 21 | 3040680 | 1337545 | 16260 203 | 1 | 1 1070.49/1070.91 c 1070s | 21 | 3043789 | 1340245 | 16260 203 | 1 | 1 1072.49/1072.95 c 1072s | 21 | 3048342 | 1342545 | 16260 204 | 1 | 1 1074.48/1074.96 c 1074s | 21 | 3053246 | 1345245 | 16260 204 | 1 | 1 1076.49/1077.00 c 1076s | 21 | 3058889 | 1347845 | 16260 204 | 1 | 1 1078.59/1079.00 c 1078s | 21 | 3063159 | 1349645 | 16260 204 | 1 | 1 1080.59/1081.05 c 1080s | 21 | 3067606 | 1351445 | 16260 205 | 1 | 1 1082.69/1083.12 c 1082s | 21 | 3073690 | 1353445 | 16260 205 | 1 | 1 1084.69/1085.18 c 1085s | 21 | 3078981 | 1355645 | 16260 205 | 1 | 1 1086.79/1087.23 c 1087s | 21 | 3087897 | 1357945 | 16260 205 | 1 | 1 1088.79/1089.26 c 1089s | 21 | 3092065 | 1359845 | 16260 206 | 1 | 1 1090.90/1091.35 c 1091s | 21 | 3096079 | 1362045 | 16260 206 | 1 | 1 1092.99/1093.41 c 1093s | 21 | 3103543 | 1363945 | 16260 206 | 1 | 1 1094.99/1095.46 c 1095s | 21 | 3111507 | 1366145 | 16260 206 | 1 | 1 1096.99/1097.49 c 1097s | 21 | 3114493 | 1367845 | 16260 207 | 1 | 1 1099.09/1099.53 c 1099s | 21 | 3118945 | 1370145 | 16260 207 | 1 | 1 1101.09/1101.57 c 1101s | 21 | 3122549 | 1372345 | 16260 207 | 1 | 1 1103.19/1103.66 c 1103s | 21 | 3126586 | 1374345 | 16260 207 | 1 | 1 1105.29/1105.72 c 1105s | 21 | 3130595 | 1376345 | 16260 208 | 1 | 1 1107.29/1107.77 c 1107s | 21 | 3134044 | 1378445 | 16260 208 | 1 | 1 1109.38/1109.80 c 1109s | 21 | 3136590 | 1380345 | 16260 208 | 1 | 1 1111.38/1111.83 c 1111s | 21 | 3140085 | 1382245 | 16260 208 | 1 | 1 1113.38/1113.85 c 1113s | 21 | 3146098 | 1383845 | 16260 209 | 1 | 1 1115.48/1115.93 c 1115s | 21 | 3150183 | 1385945 | 16260 209 | 1 | 1 1117.58/1118.00 c 1117s | 21 | 3153002 | 1387945 | 16260 209 | 1 | 1 1119.58/1120.09 c 1119s | 21 | 3155396 | 1389845 | 16260 209 | 1 | 1 1121.78/1122.27 c 1122s | 21 | 3158263 | 1391645 | 16260 210 | 1 | 1 1123.89/1124.38 c 1124s | 21 | 3161062 | 1393245 | 16260 210 | 1 | 1 1125.99/1126.41 c 1126s | 21 | 3164223 | 1395245 | 16260 210 | 1 | 1 1127.98/1128.49 c 1128s | 21 | 3166899 | 1397245 | 16260 210 | 1 | 1 1130.08/1130.54 c 1130s | 21 | 3169440 | 1399145 | 16260 210 | 1 | 1 1132.08/1132.58 c 1132s | 21 | 3171464 | 1400945 | 16260 211 | 1 | 1 1134.18/1134.61 c 1134s | 21 | 3174979 | 1402745 | 16260 211 | 1 | 1 1136.28/1136.72 c 1136s | 21 | 3177686 | 1404645 | 16260 211 | 1 | 1 1138.28/1138.78 c 1138s | 21 | 3180064 | 1406445 | 16260 211 | 1 | 1 1140.38/1140.86 c 1140s | 21 | 3182444 | 1408345 | 16260 212 | 1 | 1 1142.48/1142.94 c 1142s | 21 | 3186101 | 1410545 | 16260 212 | 1 | 1 1144.58/1145.02 c 1144s | 21 | 3188487 | 1412345 | 16260 212 | 1 | 1 1146.58/1147.02 c 1146s | 21 | 3192189 | 1414245 | 16260 212 | 1 | 1 1148.58/1149.04 c 1148s | 21 | 3194543 | 1416145 | 16260 212 | 1 | 1 1150.68/1151.12 c 1150s | 21 | 3197101 | 1418045 | 16260 213 | 1 | 1 1152.67/1153.14 c 1153s | 21 | 3199386 | 1420045 | 16260 213 | 1 | 1 1154.77/1155.23 c 1155s | 21 | 3201798 | 1421445 | 16260 213 | 1 | 1 1156.78/1157.23 c 1157s | 21 | 3204282 | 1423545 | 16260 213 | 1 | 1 1158.77/1159.24 c 1159s | 21 | 3207005 | 1425445 | 16260 214 | 1 | 1 1160.77/1161.25 c 1161s | 21 | 3209914 | 1427645 | 16260 214 | 1 | 1 1162.77/1163.27 c 1163s | 21 | 3213314 | 1429845 | 16260 214 | 1 | 1 1164.77/1165.29 c 1165s | 21 | 3216553 | 1431845 | 16260 214 | 1 | 1 1166.87/1167.37 c 1167s | 21 | 3220519 | 1433545 | 16260 215 | 1 | 1 1168.98/1169.44 c 1169s | 21 | 3223755 | 1435645 | 16260 215 | 1 | 1 1171.08/1171.50 c 1171s | 21 | 3226416 | 1437645 | 16260 215 | 1 | 1 1173.07/1173.52 c 1173s | 21 | 3228967 | 1439645 | 16260 215 | 1 | 1 1175.07/1175.54 c 1175s | 21 | 3231545 | 1441345 | 16260 216 | 1 | 1 1177.17/1177.60 c 1177s | 21 | 3234399 | 1443345 | 16260 216 | 1 | 1 1179.17/1179.68 c 1179s | 21 | 3237639 | 1445345 | 16260 216 | 1 | 1 1181.27/1181.73 c 1181s | 21 | 3240467 | 1447245 | 16260 216 | 1 | 1 1183.47/1183.91 c 1183s | 21 | 3245306 | 1449345 | 16260 217 | 1 | 1 1185.48/1185.95 c 1185s | 21 | 3248432 | 1451245 | 16260 217 | 1 | 1 1187.47/1188.00 c 1187s | 21 | 3250852 | 1453345 | 16260 217 | 1 | 1 1189.57/1190.02 c 1189s | 21 | 3253133 | 1455245 | 16260 217 | 1 | 1 1191.67/1192.12 c 1192s | 21 | 3256413 | 1457245 | 16260 217 | 1 | 1 1193.77/1194.22 c 1194s | 21 | 3258328 | 1458945 | 16260 218 | 1 | 1 1195.77/1196.26 c 1196s | 21 | 3261138 | 1461045 | 16260 218 | 1 | 1 1197.87/1198.36 c 1198s | 21 | 3263489 | 1462945 | 16260 218 | 1 | 1 1199.97/1200.46 c 1200s | 21 | 3266045 | 1464945 | 16260 218 | 1 | 1 1202.37/1202.89 c 1202s | 21 | 3267424 | 1466145 | 16260 219 | 1 | 1 1204.46/1204.94 c 1204s | 21 | 3271456 | 1468345 | 16260 219 | 1 | 1 1206.56/1207.02 c 1206s | 21 | 3274763 | 1470445 | 16260 219 | 1 | 1 1208.57/1209.09 c 1208s | 21 | 3277040 | 1472345 | 16260 219 | 1 | 1 1210.77/1211.27 c 1211s | 21 | 3278979 | 1473945 | 16260 219 | 1 | 1 1212.87/1213.38 c 1213s | 21 | 3283275 | 1476045 | 16260 220 | 1 | 1 1214.86/1215.38 c 1215s | 21 | 3286357 | 1478445 | 16260 220 | 1 | 1 1216.96/1217.46 c 1217s | 21 | 3289413 | 1480745 | 16260 220 | 1 | 1 1218.96/1219.49 c 1219s | 21 | 3292577 | 1482745 | 16260 221 | 1 | 1 1221.06/1221.54 c 1221s | 21 | 3295593 | 1485045 | 16260 221 | 1 | 1 1223.06/1223.58 c 1223s | 21 | 3298137 | 1487045 | 16260 221 | 1 | 1 1225.16/1225.65 c 1225s | 21 | 3300800 | 1489045 | 16260 221 | 1 | 1 1227.17/1227.67 c 1227s | 21 | 3303229 | 1490745 | 17886 221 | 1 | 1 1229.26/1229.71 c 1229s | 21 | 3305457 | 1492445 | 17886 222 | 1 | 1 1231.26/1231.78 c 1231s | 21 | 3308183 | 1494345 | 17886 222 | 1 | 1 1233.36/1233.85 c 1233s | 21 | 3311279 | 1496645 | 17886 222 | 1 | 1 1235.46/1235.91 c 1235s | 21 | 3313933 | 1498745 | 17886 222 | 1 | 1 1237.36/1237.83 c 1237s | 22 | 3316445 | 1500622 | 17886 222 | 1 | 1 1239.37/1239.86 c 1239s | 22 | 3325287 | 1502322 | 17886 223 | 1 | 1 1241.47/1241.92 c 1241s | 22 | 3333623 | 1505022 | 17886 223 | 1 | 1 1243.56/1244.01 c 1243s | 22 | 3343190 | 1507622 | 17886 223 | 1 | 1 1245.56/1246.01 c 1245s | 22 | 3346036 | 1509722 | 17886 223 | 1 | 1 1247.56/1248.07 c 1247s | 22 | 3349478 | 1511822 | 17886 224 | 1 | 1 1249.56/1250.09 c 1249s | 22 | 3355831 | 1514422 | 17886 224 | 1 | 1 1251.67/1252.19 c 1252s | 22 | 3359216 | 1516422 | 17886 224 | 1 | 1 1253.67/1254.19 c 1254s | 22 | 3365373 | 1518522 | 17886 224 | 1 | 1 1255.77/1256.26 c 1256s | 22 | 3373128 | 1520722 | 17886 225 | 1 | 1 1257.86/1258.31 c 1258s | 22 | 3380369 | 1523222 | 17886 225 | 1 | 1 1259.86/1260.33 c 1260s | 22 | 3385045 | 1525322 | 17886 225 | 1 | 1 1261.86/1262.35 c 1262s | 22 | 3393638 | 1527822 | 17886 225 | 1 | 1 1263.96/1264.47 c 1264s | 22 | 3398420 | 1529722 | 17886 226 | 1 | 1 1266.06/1266.52 c 1266s | 22 | 3402635 | 1531722 | 17886 226 | 1 | 1 1268.06/1268.54 c 1268s | 22 | 3412647 | 1534222 | 17886 226 | 1 | 1 1270.07/1270.57 c 1270s | 22 | 3419228 | 1536222 | 17886 226 | 1 | 1 1272.16/1272.60 c 1272s | 22 | 3426387 | 1538122 | 17886 227 | 1 | 1 1274.16/1274.65 c 1274s | 22 | 3428812 | 1540022 | 17886 227 | 1 | 1 1276.16/1276.69 c 1276s | 22 | 3440471 | 1542022 | 17886 227 | 1 | 1 1278.26/1278.78 c 1278s | 22 | 3444400 | 1544122 | 17886 227 | 1 | 1 1280.36/1280.82 c 1280s | 22 | 3448702 | 1546122 | 17886 227 | 1 | 1 1282.36/1282.86 c 1282s | 22 | 3454751 | 1547322 | 17886 228 | 1 | 1 1284.36/1284.87 c 1284s | 22 | 3460464 | 1549422 | 17886 228 | 1 | 1 1286.36/1286.88 c 1286s | 22 | 3463854 | 1551522 | 17886 228 | 1 | 1 1288.36/1288.88 c 1288s | 22 | 3468793 | 1553522 | 17886 228 | 1 | 1 1290.46/1290.90 c 1290s | 22 | 3471265 | 1555222 | 17886 229 | 1 | 1 1293.65/1294.14 c 1294s | 22 | 3473652 | 1557122 | 17886 229 | 1 | 1 1296.05/1296.56 c 1296s | 22 | 3475933 | 1558822 | 17886 229 | 1 | 1 1298.05/1298.59 c 1298s | 22 | 3481487 | 1561122 | 17886 229 | 1 | 1 1300.15/1300.63 c 1300s | 22 | 3484612 | 1563122 | 17886 229 | 1 | 1 1302.15/1302.63 c 1302s | 22 | 3487826 | 1565122 | 17886 230 | 1 | 1 1304.16/1304.67 c 1304s | 22 | 3492263 | 1567422 | 17886 230 | 1 | 1 1306.15/1306.69 c 1306s | 22 | 3495266 | 1569522 | 17886 230 | 1 | 1 1308.25/1308.75 c 1308s | 22 | 3499709 | 1571722 | 17886 230 | 1 | 1 1310.25/1310.78 c 1310s | 22 | 3501983 | 1573422 | 17886 231 | 1 | 1 1313.55/1314.06 c 1313s | 22 | 3504734 | 1574822 | 17886 231 | 1 | 1 1315.65/1316.14 c 1316s | 22 | 3515489 | 1577722 | 17886 231 | 1 | 1 1317.75/1318.20 c 1318s | 22 | 3520990 | 1580122 | 17886 231 | 1 | 1 1319.75/1320.22 c 1320s | 22 | 3527845 | 1582322 | 17886 232 | 1 | 1 1321.76/1322.26 c 1322s | 22 | 3536664 | 1584822 | 17886 232 | 1 | 1 1323.75/1324.27 c 1324s | 22 | 3540845 | 1587322 | 17886 232 | 1 | 1 1325.85/1326.35 c 1326s | 22 | 3544573 | 1589522 | 17886 232 | 1 | 1 1327.95/1328.40 c 1328s | 22 | 3547367 | 1591622 | 17886 233 | 1 | 1 1329.94/1330.41 c 1330s | 22 | 3551882 | 1593322 | 17886 233 | 1 | 1 1331.94/1332.47 c 1332s | 22 | 3555277 | 1595622 | 17886 233 | 1 | 1 1334.04/1334.51 c 1334s | 22 | 3558528 | 1597922 | 17886 233 | 1 | 1 1336.05/1336.58 c 1336s | 22 | 3563170 | 1600122 | 17886 233 | 1 | 1 1338.14/1338.64 c 1338s | 22 | 3570864 | 1601622 | 17886 234 | 1 | 1 1340.14/1340.67 c 1340s | 22 | 3574150 | 1604022 | 17886 234 | 1 | 1 1342.24/1342.73 c 1342s | 22 | 3577791 | 1606422 | 17886 234 | 1 | 1 1344.24/1344.77 c 1344s | 22 | 3581004 | 1608622 | 17886 234 | 1 | 1 1346.34/1346.84 c 1346s | 22 | 3584475 | 1610722 | 17886 235 | 1 | 1 1348.35/1348.84 c 1348s | 22 | 3587276 | 1612922 | 17886 235 | 1 | 1 1350.35/1350.86 c 1350s | 22 | 3590336 | 1614922 | 17886 235 | 1 | 1 1352.35/1352.88 c 1352s | 22 | 3595864 | 1617622 | 17886 235 | 1 | 1 1354.45/1354.92 c 1354s | 22 | 3598603 | 1619822 | 17886 236 | 1 | 1 1356.45/1356.97 c 1356s | 22 | 3608987 | 1622022 | 17886 236 | 1 | 1 1358.45/1358.99 c 1358s | 22 | 3614161 | 1624422 | 17886 236 | 1 | 1 1360.55/1361.00 c 1360s | 22 | 3621627 | 1626922 | 17886 236 | 1 | 1 1362.55/1363.06 c 1362s | 22 | 3624132 | 1628722 | 17886 237 | 1 | 1 1364.54/1365.09 c 1364s | 22 | 3628448 | 1631022 | 17886 237 | 1 | 1 1366.64/1367.12 c 1367s | 22 | 3632789 | 1633022 | 17886 237 | 1 | 1 1368.64/1369.16 c 1369s | 22 | 3636499 | 1635122 | 17886 237 | 1 | 1 1370.94/1371.40 c 1371s | 22 | 3638814 | 1636522 | 17886 238 | 1 | 1 1372.94/1373.44 c 1373s | 22 | 3641560 | 1638522 | 17886 238 | 1 | 1 1375.04/1375.51 c 1375s | 22 | 3644698 | 1640722 | 17886 238 | 1 | 1 1377.04/1377.60 c 1377s | 22 | 3650803 | 1642622 | 17886 238 | 1 | 1 1379.14/1379.60 c 1379s | 22 | 3657242 | 1644722 | 17886 238 | 1 | 1 1381.14/1381.64 c 1381s | 22 | 3665637 | 1646422 | 17886 239 | 1 | 1 1383.14/1383.66 c 1383s | 22 | 3672604 | 1648622 | 17886 239 | 1 | 1 1385.14/1385.67 c 1385s | 22 | 3677602 | 1650622 | 17886 239 | 1 | 1 1387.24/1387.75 c 1387s | 22 | 3682232 | 1652622 | 17886 239 | 1 | 1 1389.34/1389.83 c 1389s | 22 | 3686402 | 1654622 | 17886 240 | 1 | 1 1391.74/1392.26 c 1392s | 22 | 3703298 | 1656922 | 17886 240 | 1 | 1 1393.84/1394.32 c 1394s | 22 | 3711401 | 1659122 | 17886 240 | 1 | 1 1395.94/1396.41 c 1396s | 22 | 3721182 | 1661222 | 17886 240 | 1 | 1 1397.94/1398.49 c 1398s | 22 | 3727866 | 1663122 | 17886 240 | 1 | 1 1400.04/1400.52 c 1400s | 22 | 3731461 | 1664822 | 17886 241 | 1 | 1 1402.05/1402.59 c 1402s | 22 | 3734898 | 1666822 | 17886 241 | 1 | 1 1404.14/1404.62 c 1404s | 22 | 3739832 | 1667822 | 17886 241 | 1 | 1 1406.14/1406.67 c 1406s | 22 | 3742602 | 1669722 | 17886 241 | 1 | 1 1408.24/1408.71 c 1408s | 22 | 3746603 | 1671522 | 17886 241 | 1 | 1 1410.24/1410.76 c 1410s | 22 | 3748937 | 1673222 | 17886 242 | 1 | 1 1412.24/1412.77 c 1412s | 22 | 3751050 | 1675022 | 17886 242 | 1 | 1 1414.34/1414.83 c 1414s | 22 | 3752697 | 1675922 | 17886 242 | 1 | 1 1416.35/1416.90 c 1416s | 22 | 3756704 | 1677922 | 17886 242 | 1 | 1 1418.44/1418.95 c 1418s | 22 | 3761249 | 1680122 | 17886 242 | 1 | 1 1420.54/1421.04 c 1420s | 22 | 3768364 | 1682122 | 17886 243 | 1 | 1 1422.64/1423.14 c 1423s | 22 | 3771398 | 1684122 | 17886 243 | 1 | 1 1424.64/1425.14 c 1425s | 22 | 3781596 | 1686222 | 17886 243 | 1 | 1 1426.64/1427.14 c 1427s | 22 | 3784307 | 1688122 | 17886 243 | 1 | 1 1428.64/1429.18 c 1429s | 22 | 3786768 | 1689922 | 17886 243 | 1 | 1 1430.64/1431.19 c 1431s | 22 | 3787979 | 1691022 | 17886 244 | 1 | 1 1432.74/1433.24 c 1433s | 22 | 3790330 | 1692822 | 17886 244 | 1 | 1 1434.73/1435.25 c 1435s | 22 | 3794990 | 1694922 | 17886 244 | 1 | 1 1436.73/1437.26 c 1437s | 22 | 3796949 | 1696622 | 17886 244 | 1 | 1 1439.23/1439.73 c 1439s | 22 | 3798272 | 1697722 | 17886 244 | 1 | 1 1441.43/1441.91 c 1441s | 22 | 3802626 | 1699622 | 17886 245 | 1 | 1 1443.53/1444.00 c 1443s | 22 | 3805075 | 1701722 | 17886 245 | 1 | 1 1445.53/1446.09 c 1445s | 22 | 3808578 | 1703822 | 17886 245 | 1 | 1 1447.63/1448.10 c 1447s | 22 | 3811399 | 1705722 | 17886 245 | 1 | 1 1449.63/1450.12 c 1449s | 22 | 3814312 | 1707622 | 17886 245 | 1 | 1 1452.74/1453.28 c 1453s | 22 | 3816069 | 1709122 | 17886 246 | 1 | 1 1454.73/1455.28 c 1455s | 22 | 3820041 | 1711422 | 17886 246 | 1 | 1 1456.83/1457.33 c 1457s | 22 | 3822547 | 1713522 | 17886 246 | 1 | 1 1458.83/1459.35 c 1459s | 22 | 3826318 | 1715622 | 17886 246 | 1 | 1 1460.93/1461.49 c 1461s | 22 | 3829238 | 1717622 | 17886 247 | 1 | 1 1463.03/1463.51 c 1463s | 22 | 3832905 | 1719822 | 17886 247 | 1 | 1 1465.03/1465.57 c 1465s | 22 | 3835990 | 1721922 | 17886 247 | 1 | 1 1467.13/1467.67 c 1467s | 22 | 3838139 | 1723822 | 17886 247 | 1 | 1 1469.33/1469.83 c 1469s | 22 | 3839084 | 1724522 | 17886 247 | 1 | 1 1471.43/1471.97 c 1471s | 22 | 3842944 | 1726622 | 17886 248 | 1 | 1 1473.43/1473.98 c 1473s | 22 | 3845549 | 1728622 | 17886 248 | 1 | 1 1475.52/1476.03 c 1475s | 22 | 3849077 | 1730922 | 17886 248 | 1 | 1 1477.62/1478.10 c 1477s | 22 | 3852061 | 1733022 | 17886 248 | 1 | 1 1479.62/1480.14 c 1480s | 22 | 3856252 | 1734822 | 17886 248 | 1 | 1 1481.82/1482.31 c 1482s | 22 | 3859090 | 1736722 | 17886 249 | 1 | 1 1483.82/1484.34 c 1484s | 22 | 3861961 | 1738922 | 17886 249 | 1 | 1 1485.82/1486.40 c 1486s | 22 | 3865557 | 1741022 | 17886 249 | 1 | 1 1487.94/1488.41 c 1488s | 22 | 3867948 | 1743022 | 17886 249 | 1 | 1 1489.93/1490.49 c 1490s | 22 | 3870176 | 1744922 | 17886 250 | 1 | 1 1492.03/1492.55 c 1492s | 22 | 3880464 | 1746722 | 17886 250 | 1 | 1 1494.03/1494.57 c 1494s | 22 | 3901806 | 1749222 | 17886 250 | 1 | 1 1496.13/1496.61 c 1496s | 22 | 3913425 | 1751622 | 17886 250 | 1 | 1 1498.23/1498.74 c 1498s | 22 | 3919142 | 1753722 | 17886 251 | 1 | 1 1500.33/1500.80 c 1500s | 22 | 3936026 | 1756022 | 17886 251 | 1 | 1 1502.33/1502.85 c 1502s | 22 | 3939607 | 1758022 | 17886 251 | 1 | 1 1504.33/1504.87 c 1504s | 22 | 3946051 | 1760022 | 17886 251 | 1 | 1 1506.33/1506.89 c 1506s | 22 | 3950130 | 1762022 | 17886 251 | 1 | 1 1508.42/1508.99 c 1508s | 22 | 3954551 | 1763822 | 17886 252 | 1 | 1 1510.52/1511.00 c 1510s | 22 | 3956661 | 1764822 | 17886 252 | 1 | 1 1512.52/1513.06 c 1512s | 22 | 3960751 | 1767022 | 17886 252 | 1 | 1 1514.62/1515.13 c 1515s | 22 | 3966820 | 1769322 | 17886 252 | 1 | 1 1516.62/1517.13 c 1517s | 22 | 3972465 | 1771422 | 17886 252 | 1 | 1 1518.63/1519.15 c 1519s | 22 | 3979428 | 1773522 | 17886 253 | 1 | 1 1520.62/1521.18 c 1521s | 22 | 3985986 | 1776022 | 17886 253 | 1 | 1 1522.72/1523.23 c 1523s | 22 | 3989505 | 1778222 | 17886 253 | 1 | 1 1524.72/1525.27 c 1525s | 22 | 3993227 | 1780322 | 17886 253 | 1 | 1 1526.82/1527.36 c 1527s | 22 | 3996670 | 1782422 | 17886 254 | 1 | 1 1528.92/1529.43 c 1529s | 22 | 3999889 | 1784722 | 17886 254 | 1 | 1 1530.92/1531.46 c 1531s | 22 | 4004598 | 1786522 | 17886 254 | 1 | 1 1532.92/1533.48 c 1533s | 22 | 4008093 | 1788522 | 17886 254 | 1 | 1 1535.02/1535.55 c 1535s | 22 | 4011620 | 1790422 | 17886 255 | 1 | 1 1537.12/1537.61 c 1537s | 22 | 4022585 | 1792622 | 17886 255 | 1 | 1 1539.12/1539.67 c 1539s | 22 | 4027366 | 1795122 | 17886 255 | 1 | 1 1541.21/1541.72 c 1541s | 22 | 4035851 | 1797522 | 17886 255 | 1 | 1 1543.31/1543.81 c 1543s | 22 | 4046884 | 1799422 | 17886 256 | 1 | 1 1545.31/1545.82 c 1545s | 22 | 4051796 | 1800322 | 17886 256 | 1 | 1 1547.33/1547.83 c 1547s | 22 | 4056807 | 1802122 | 17886 256 | 1 | 1 1549.32/1549.89 c 1549s | 22 | 4069380 | 1804422 | 17886 256 | 1 | 1 1551.42/1551.90 c 1551s | 22 | 4078623 | 1806422 | 17886 256 | 1 | 1 1553.42/1553.94 c 1553s | 22 | 4084855 | 1808122 | 17886 257 | 1 | 1 1555.52/1556.00 c 1555s | 22 | 4092035 | 1810222 | 17886 257 | 1 | 1 1557.52/1558.06 c 1557s | 22 | 4099800 | 1812222 | 17886 257 | 1 | 1 1559.62/1560.14 c 1560s | 22 | 4104521 | 1814122 | 17886 257 | 1 | 1 1561.63/1562.15 c 1562s | 22 | 4109332 | 1815722 | 17886 257 | 1 | 1 1563.62/1564.16 c 1564s | 22 | 4111197 | 1817322 | 17886 258 | 1 | 1 1566.52/1567.06 c 1566s | 22 | 4113741 | 1818922 | 17886 258 | 1 | 1 1568.62/1569.14 c 1569s | 22 | 4118820 | 1821422 | 17886 258 | 1 | 1 1570.72/1571.22 c 1571s | 22 | 4121265 | 1823522 | 17886 258 | 1 | 1 1572.71/1573.29 c 1573s | 22 | 4126138 | 1825522 | 17886 258 | 1 | 1 1574.82/1575.33 c 1575s | 22 | 4128855 | 1827322 | 17886 259 | 1 | 1 1576.81/1577.38 c 1577s | 22 | 4130979 | 1828222 | 17886 259 | 1 | 1 1578.91/1579.47 c 1579s | 22 | 4135834 | 1830222 | 17886 259 | 1 | 1 1581.01/1581.53 c 1581s | 22 | 4139643 | 1832122 | 17886 259 | 1 | 1 1583.01/1583.58 c 1583s | 22 | 4144087 | 1834022 | 17886 259 | 1 | 1 1585.11/1585.63 c 1585s | 22 | 4147253 | 1835822 | 17886 260 | 1 | 1 1587.11/1587.64 c 1587s | 22 | 4154703 | 1837722 | 17886 260 | 1 | 1 1589.12/1589.67 c 1589s | 22 | 4157349 | 1839522 | 17886 260 | 1 | 1 1591.22/1591.73 c 1591s | 22 | 4159419 | 1841222 | 17886 260 | 1 | 1 1593.31/1593.81 c 1593s | 22 | 4161202 | 1842822 | 17886 260 | 1 | 1 1596.71/1597.23 c 1597s | 22 | 4163160 | 1844422 | 17886 261 | 1 | 1 1598.81/1599.39 c 1599s | 22 | 4168021 | 1846122 | 17886 261 | 1 | 1 1600.91/1601.42 c 1601s | 22 | 4172858 | 1848322 | 17886 261 | 1 | 1 1602.91/1603.48 c 1603s | 22 | 4175730 | 1850322 | 17886 261 | 1 | 1 1605.01/1605.52 c 1605s | 22 | 4179177 | 1852322 | 17886 261 | 1 | 1 1607.00/1607.56 c 1607s | 22 | 4182256 | 1854122 | 17886 262 | 1 | 1 1609.10/1609.63 c 1609s | 22 | 4184271 | 1856022 | 17886 262 | 1 | 1 1611.11/1611.68 c 1611s | 22 | 4190014 | 1857522 | 17886 262 | 1 | 1 1613.10/1613.69 c 1613s | 22 | 4200510 | 1859722 | 17886 262 | 1 | 1 1615.21/1615.72 c 1615s | 22 | 4209051 | 1861722 | 17886 262 | 1 | 1 1617.21/1617.75 c 1617s | 22 | 4212635 | 1863322 | 17886 263 | 1 | 1 1619.21/1619.78 c 1619s | 22 | 4216429 | 1865022 | 17886 263 | 1 | 1 1621.31/1621.88 c 1621s | 22 | 4219574 | 1867122 | 17886 263 | 1 | 1 1623.41/1623.95 c 1623s | 22 | 4223094 | 1868922 | 17886 263 | 1 | 1 1625.51/1626.05 c 1625s | 22 | 4226254 | 1870822 | 17886 263 | 1 | 1 1627.61/1628.15 c 1628s | 22 | 4230072 | 1872622 | 17886 264 | 1 | 1 1629.71/1630.23 c 1630s | 22 | 4233186 | 1874622 | 17886 264 | 1 | 1 1631.91/1632.44 c 1632s | 22 | 4235692 | 1876022 | 17886 264 | 1 | 1 1634.01/1634.53 c 1634s | 22 | 4238104 | 1878022 | 17886 264 | 1 | 1 1636.01/1636.59 c 1636s | 22 | 4241662 | 1880022 | 17886 264 | 1 | 1 1638.11/1638.68 c 1638s | 22 | 4244476 | 1881822 | 17886 265 | 1 | 1 1640.20/1640.71 c 1640s | 22 | 4246366 | 1882822 | 17886 265 | 1 | 1 1642.20/1642.77 c 1642s | 22 | 4251803 | 1885322 | 17886 265 | 1 | 1 1644.30/1644.84 c 1644s | 22 | 4255293 | 1887522 | 17886 265 | 1 | 1 1646.50/1647.00 c 1646s | 22 | 4259166 | 1889522 | 17886 266 | 1 | 1 1648.51/1649.03 c 1648s | 22 | 4261636 | 1891422 | 17886 266 | 1 | 1 1650.50/1651.08 c 1650s | 22 | 4264905 | 1893822 | 17886 266 | 1 | 1 1652.50/1653.09 c 1652s | 22 | 4274325 | 1896222 | 17886 266 | 1 | 1 1654.60/1655.17 c 1655s | 22 | 4278134 | 1898422 | 17886 266 | 1 | 1 1656.70/1657.25 c 1657s | 22 | 4281694 | 1900522 | 17886 267 | 1 | 1 1658.70/1659.26 c 1659s | 22 | 4284191 | 1902522 | 17886 267 | 1 | 1 1661.00/1661.51 c 1661s | 22 | 4286242 | 1904222 | 17886 267 | 1 | 1 1663.00/1663.56 c 1663s | 22 | 4289815 | 1906322 | 17886 267 | 1 | 1 1665.00/1665.59 c 1665s | 22 | 4294337 | 1908222 | 17886 268 | 1 | 1 1667.10/1667.65 c 1667s | 22 | 4298739 | 1910522 | 17886 268 | 1 | 1 1669.09/1669.65 c 1669s | 22 | 4302737 | 1912422 | 17886 268 | 1 | 1 1671.19/1671.72 c 1671s | 22 | 4308036 | 1914722 | 17886 268 | 1 | 1 1673.39/1673.99 c 1673s | 22 | 4313314 | 1916722 | 17886 269 | 1 | 1 1675.49/1676.07 c 1675s | 22 | 4317676 | 1918822 | 17886 269 | 1 | 1 1677.49/1678.09 c 1677s | 22 | 4320615 | 1920822 | 17886 269 | 1 | 1 1679.59/1680.17 c 1680s | 22 | 4323187 | 1922822 | 17886 269 | 1 | 1 1681.69/1682.24 c 1682s | 22 | 4325504 | 1924822 | 17886 269 | 1 | 1 1683.79/1684.31 c 1684s | 22 | 4328096 | 1926722 | 17886 270 | 1 | 1 1685.80/1686.33 c 1686s | 22 | 4332241 | 1929122 | 17886 270 | 1 | 1 1687.79/1688.33 c 1688s | 22 | 4335005 | 1931122 | 17886 270 | 1 | 1 1689.89/1690.41 c 1690s | 22 | 4337561 | 1933022 | 17886 270 | 1 | 1 1691.99/1692.50 c 1692s | 22 | 4341117 | 1934522 | 17886 270 | 1 | 1 1693.99/1694.57 c 1694s | 22 | 4344697 | 1936522 | 17886 271 | 1 | 1 1695.99/1696.57 c 1696s | 22 | 4349045 | 1938822 | 17886 271 | 1 | 1 1698.09/1698.66 c 1698s | 22 | 4352407 | 1940922 | 17886 271 | 1 | 1 1700.20/1700.75 c 1700s | 22 | 4354891 | 1943022 | 17886 271 | 1 | 1 1702.30/1702.81 c 1702s | 22 | 4360471 | 1945222 | 17886 272 | 1 | 1 1704.30/1704.85 c 1704s | 22 | 4364309 | 1947522 | 17886 272 | 1 | 1 1706.40/1706.94 c 1706s | 22 | 4366761 | 1949622 | 17886 272 | 1 | 1 1708.50/1709.03 c 1708s | 22 | 4369947 | 1951722 | 17886 272 | 1 | 1 1710.50/1711.06 c 1710s | 22 | 4372150 | 1953522 | 17886 273 | 1 | 1 1712.59/1713.14 c 1713s | 22 | 4375131 | 1955622 | 17886 273 | 1 | 1 1714.69/1715.25 c 1715s | 22 | 4377388 | 1957622 | 17886 273 | 1 | 1 1716.70/1717.27 c 1717s | 22 | 4380533 | 1959622 | 17886 273 | 1 | 1 1718.80/1719.30 c 1719s | 22 | 4384747 | 1961922 | 17886 273 | 1 | 1 1720.79/1721.38 c 1721s | 22 | 4387671 | 1963922 | 17886 274 | 1 | 1 1722.79/1723.39 c 1723s | 22 | 4390049 | 1965922 | 17886 274 | 1 | 1 1724.89/1725.43 c 1725s | 22 | 4392053 | 1967622 | 17886 274 | 1 | 1 1726.99/1727.52 c 1727s | 22 | 4394565 | 1969622 | 17886 274 | 1 | 1 1728.99/1729.57 c 1729s | 22 | 4397175 | 1971322 | 17886 275 | 1 | 1 1731.09/1731.63 c 1731s | 22 | 4399673 | 1973222 | 17886 275 | 1 | 1 1733.10/1733.63 c 1733s | 22 | 4411838 | 1975622 | 17886 275 | 1 | 1 1735.09/1735.65 c 1735s | 22 | 4421378 | 1978022 | 17886 275 | 1 | 1 1737.09/1737.65 c 1737s | 22 | 4430762 | 1980022 | 17886 276 | 1 | 1 1739.09/1739.65 c 1739s | 22 | 4437253 | 1982122 | 17886 276 | 1 | 1 1741.19/1741.70 c 1741s | 22 | 4440919 | 1984322 | 17886 276 | 1 | 1 1743.29/1743.80 c 1743s | 22 | 4449124 | 1986522 | 17886 276 | 1 | 1 1745.29/1745.82 c 1745s | 22 | 4453505 | 1988422 | 17886 276 | 1 | 1 1747.29/1747.83 c 1747s | 22 | 4455722 | 1990222 | 17886 277 | 1 | 1 1749.39/1749.92 c 1749s | 22 | 4460675 | 1992322 | 17886 277 | 1 | 1 1751.39/1751.96 c 1751s | 22 | 4463089 | 1994222 | 17886 277 | 1 | 1 1753.39/1753.99 c 1753s | 22 | 4467717 | 1996222 | 17886 277 | 1 | 1 1755.49/1756.06 c 1755s | 22 | 4469610 | 1998022 | 17886 277 | 1 | 1 1757.59/1758.15 c 1758s | 22 | 4472302 | 2000022 | 17886 278 | 1 | 1 1759.59/1760.19 c 1760s | 22 | 4473667 | 2001322 | 17886 278 | 1 | 1 1761.69/1762.27 c 1762s | 22 | 4477806 | 2003722 | 17886 278 | 1 | 1 1763.78/1764.30 c 1764s | 22 | 4483044 | 2005922 | 17886 278 | 1 | 1 1765.78/1766.36 c 1766s | 22 | 4485184 | 2007422 | 17886 279 | 1 | 1 1767.88/1768.40 c 1768s | 22 | 4488979 | 2009522 | 17886 279 | 1 | 1 1769.88/1770.44 c 1770s | 22 | 4491267 | 2011422 | 17886 279 | 1 | 1 1771.98/1772.50 c 1772s | 22 | 4493325 | 2013322 | 17886 279 | 1 | 1 1773.98/1774.57 c 1774s | 22 | 4495363 | 2015122 | 17886 279 | 1 | 1 1776.09/1776.64 c 1776s | 22 | 4497669 | 2016922 | 17886 280 | 1 | 1 1778.08/1778.64 c 1778s | 22 | 4500607 | 2019022 | 17886 280 | 1 | 1 1780.08/1780.66 c 1780s | 22 | 4503126 | 2021122 | 17886 280 | 1 | 1 1782.18/1782.75 c 1782s | 22 | 4505612 | 2023422 | 17886 280 | 1 | 1 1784.18/1784.78 c 1784s | 22 | 4508026 | 2025222 | 17886 280 | 1 | 1 1786.28/1786.86 c 1786s | 22 | 4510605 | 2026722 | 17886 281 | 1 | 1 1788.28/1788.86 c 1788s | 22 | 4514158 | 2028922 | 17886 281 | 1 | 1 1790.28/1790.89 c 1790s | 22 | 4517136 | 2030822 | 17886 281 | 1 | 1 1792.38/1792.90 c 1792s | 22 | 4519600 | 2032622 | 17886 281 | 1 | 1 1794.48/1795.01 c 1794s | 22 | 4521805 | 2034322 | 17886 282 | 1 | 1 1796.48/1797.07 c 1796s | 22 | 4523756 | 2036222 | 17886 282 | 1 | 1 1799.28/1799.80 c 1799s | 22 | 4526071 | 2038322 | 17886 282 | 1 | 1
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4080092-1465261490/watcher-4080092-1465261490 -o /tmp/evaluation-result-4080092-1465261490/solver-4080092-1465261490 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080092-1465261490.opb pid=5948 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.22 2.22 2.18 2/174 5951 /proc/meminfo: memFree=30254456/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=244156 CPUtime=0 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 826 0 0 0 0 0 0 0 20 0 4 0 108082025 250015744 676 33554432000 4194304 16246674 140735588282080 140735588281504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 61551 686 441 2943 0 58445 0 [pid=5951/tid=5952] ppid=5948 vsize=258492 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 264695808 734 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=262588 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 268890112 750 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=267708 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082025 274132992 768 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.22 2.22 2.18 2/174 5951 /proc/meminfo: memFree=30254456/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1222212 CPUtime=0.08 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 21694 0 0 0 6 2 0 0 20 0 4 0 108082025 1251545088 21491 33554432000 4194304 16246674 140735588282080 140735588281392 13956009 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 305553 21491 837 2943 0 302447 0 [pid=5951/tid=5952] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 21491 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 21491 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 21491 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1222212 [startup+0.200487 s] /proc/loadavg: 2.22 2.22 2.18 2/174 5951 /proc/meminfo: memFree=30254456/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1222212 CPUtime=0.19 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 38087 0 0 0 15 4 0 0 20 0 4 0 108082025 1251545088 37885 33554432000 4194304 16246674 140735588282080 140735588281392 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 305553 37893 909 2943 0 302447 0 [pid=5951/tid=5952] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 37898 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 37903 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 37907 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1222212 [startup+0.300478 s] /proc/loadavg: 2.22 2.22 2.18 2/174 5951 /proc/meminfo: memFree=30254456/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1222212 CPUtime=0.29 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 63278 0 0 0 22 7 0 0 20 0 4 0 108082025 1251545088 63075 33554432000 4194304 16246674 140735588282080 140735588281392 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 305553 63091 909 2943 0 302447 0 [pid=5951/tid=5952] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 63099 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 63108 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 63116 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1222212 [startup+0.700407 s] /proc/loadavg: 2.22 2.22 2.18 2/174 5951 /proc/meminfo: memFree=30254456/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1222212 CPUtime=0.69 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 163652 0 0 0 48 21 0 0 20 0 4 0 108082025 1251545088 163449 33554432000 4194304 16246674 140735588282080 140735588264000 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 305553 163461 909 2943 0 302447 0 [pid=5951/tid=5952] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 163466 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 163471 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 163475 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1222212 [startup+1.50041 s] /proc/loadavg: 2.20 2.22 2.18 3/184 5990 /proc/meminfo: memFree=28426960/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1301060 CPUtime=1.49 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 266352 0 0 0 115 34 0 0 20 0 4 0 108082025 1332285440 266149 33554432000 4194304 16246674 140735588282080 140735588264000 12483218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 325265 266149 912 2943 0 322159 0 [pid=5951/tid=5952] ppid=5948 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1332285440 266149 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1332285440 266149 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1332285440 266149 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1301060 [startup+3.10037 s] /proc/loadavg: 2.20 2.22 2.18 3/184 5990 /proc/meminfo: memFree=28115596/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 268001 0 0 0 275 34 0 0 20 0 4 0 108082025 1338576896 267798 33554432000 4194304 16246674 140735588282080 140735588264000 5723568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 326801 267798 919 2943 0 323695 0 [pid=5951/tid=5952] ppid=5948 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1338576896 267798 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1338576896 267798 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1338576896 267798 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.3004 s] /proc/loadavg: 2.20 2.22 2.18 3/184 5990 /proc/meminfo: memFree=28105088/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1311300 CPUtime=6.28 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 269026 0 0 0 594 34 0 0 20 0 4 0 108082025 1342771200 268823 33554432000 4194304 16246674 140735588282080 140735588264000 6011723 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 327825 268823 920 2943 0 324719 0 [pid=5951/tid=5952] ppid=5948 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1342771200 268823 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1342771200 268823 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1342771200 268823 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1311300 [startup+12.7004 s] /proc/loadavg: 2.25 2.23 2.18 4/184 5990 /proc/meminfo: memFree=28095348/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1315396 CPUtime=12.68 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 269833 0 0 0 1234 34 0 0 20 0 4 0 108082025 1346965504 269630 33554432000 4194304 16246674 140735588282080 140735588264000 5603171 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 328849 269630 920 2943 0 325743 0 [pid=5951/tid=5952] ppid=5948 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1346965504 269630 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1346965504 269630 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1346965504 269630 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1315396 [startup+25.5005 s] /proc/loadavg: 2.21 2.22 2.18 3/184 5990 /proc/meminfo: memFree=28091308/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1320516 CPUtime=25.48 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 271159 0 0 0 2513 35 0 0 20 0 4 0 108082025 1352208384 270955 33554432000 4194304 16246674 140735588282080 140735588264000 5827686 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 330129 270955 920 2943 0 327023 0 [pid=5951/tid=5952] ppid=5948 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1352208384 270955 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1352208384 270955 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1352208384 270955 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1320516 [startup+51.1005 s] /proc/loadavg: 2.21 2.22 2.18 3/184 5990 /proc/meminfo: memFree=28087688/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1320516 CPUtime=51.07 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 271342 0 0 0 5072 35 0 0 20 0 4 0 108082025 1352208384 271127 33554432000 4194304 16246674 140735588282080 140735588264000 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 330129 271127 920 2943 0 327023 0 [pid=5951/tid=5952] ppid=5948 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1352208384 271127 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1352208384 271127 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1352208384 271127 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1320516 [startup+102.301 s] /proc/loadavg: 2.20 2.21 2.18 3/184 5991 /proc/meminfo: memFree=28082172/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1325636 CPUtime=102.26 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 272656 0 0 0 10190 36 0 0 20 0 4 0 108082025 1357451264 272408 33554432000 4194304 16246674 140735588282080 140735588264000 12483332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 331409 272408 921 2943 0 328303 0 [pid=5951/tid=5952] ppid=5948 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1357451264 272408 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1357451264 272408 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1357451264 272408 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1325636 ################ # More data... # ################ /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1355332 [startup+1302.3 s] /proc/loadavg: 2.26 2.21 2.19 3/184 7735 /proc/meminfo: memFree=27827108/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1355332 CPUtime=1301.85 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280441 0 0 0 130135 50 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140735588264000 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 338833 279833 922 2943 0 335727 0 [pid=5951/tid=5952] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1355332 [startup+1362.3 s] /proc/loadavg: 2.30 2.23 2.20 3/184 7736 /proc/meminfo: memFree=27827212/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1355332 CPUtime=1361.85 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280441 0 0 0 136134 51 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140735588264000 12483215 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 338833 279833 922 2943 0 335727 0 [pid=5951/tid=5952] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1355332 [startup+1422.3 s] /proc/loadavg: 2.21 2.22 2.19 3/184 7737 /proc/meminfo: memFree=27827036/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1355332 CPUtime=1421.84 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280441 0 0 0 142132 52 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140735588264000 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 338833 279833 922 2943 0 335727 0 [pid=5951/tid=5952] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1355332 [startup+1482.3 s] /proc/loadavg: 2.13 2.19 2.18 3/184 7738 /proc/meminfo: memFree=27827008/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1355332 CPUtime=1481.82 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280441 0 0 0 148130 52 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140735588281256 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 338833 279833 922 2943 0 335727 0 [pid=5951/tid=5952] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1355332 [startup+1542.31 s] /proc/loadavg: 2.17 2.18 2.18 3/185 7743 /proc/meminfo: memFree=27827288/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1355332 CPUtime=1541.82 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280441 0 0 0 154129 53 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140735588264000 5717928 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 338833 279833 922 2943 0 335727 0 [pid=5951/tid=5952] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1355332 [startup+1602.3 s] /proc/loadavg: 2.31 2.22 2.19 3/184 7744 /proc/meminfo: memFree=27827544/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1355332 CPUtime=1601.81 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280441 0 0 0 160127 54 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140735588264000 5722912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 338833 279833 922 2943 0 335727 0 [pid=5951/tid=5952] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1355332 [startup+1662.3 s] /proc/loadavg: 2.26 2.22 2.19 3/184 7745 /proc/meminfo: memFree=27826312/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1356356 CPUtime=1661.8 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280697 0 0 0 166125 55 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140735588281256 12477798 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 339089 280089 922 2943 0 335983 0 [pid=5951/tid=5952] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1356356 [startup+1722.3 s] /proc/loadavg: 2.13 2.20 2.18 3/184 7758 /proc/meminfo: memFree=27826016/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1356356 CPUtime=1721.79 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280697 0 0 0 172123 56 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140735588264000 5722912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 339089 280089 922 2943 0 335983 0 [pid=5951/tid=5952] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1356356 [startup+1782.3 s] /proc/loadavg: 2.18 2.20 2.18 4/183 7759 /proc/meminfo: memFree=27825656/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1356356 CPUtime=1781.78 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280697 0 0 0 178122 56 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140735588264000 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 339089 280089 922 2943 0 335983 0 [pid=5951/tid=5952] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1356356 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.14 2.19 2.18 3/183 7759 /proc/meminfo: memFree=27825788/32872528 swapFree=16384/1696552 [pid=5951] ppid=5948 vsize=1356356 CPUtime=1800.08 cores=1,3,5,7 /proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280697 0 0 0 179952 56 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140735588264000 12875067 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5951/statm: 339089 280089 922 2943 0 335983 0 [pid=5951/tid=5952] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5951/tid=5953] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5951/tid=5954] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7 /proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1356356 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 5951 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.53 CPU system time (s): 0.567913 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 1356356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.567913 maximum resident set size= 1120356 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 280697 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= 418 involuntary context switches= 1840 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5663 second user time and 6.96694 second system time The end
Begin job on node125 at 2016-06-07 03:04:50 IDJOB=4080092 IDBENCH=48243 IDSOLVER=2542 FILE ID=node125/4080092-1465261490 RUNJOBID= node125-1465259688-5740 PBS_JOBID= 19843289 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080092-1465261490/watcher-4080092-1465261490 -o /tmp/evaluation-result-4080092-1465261490/solver-4080092-1465261490 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080092-1465261490.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d RANDOM SEED=814939521 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30254356 kB Buffers: 73648 kB Cached: 138496 kB SwapCached: 2016 kB Active: 106244 kB Inactive: 110240 kB Active(anon): 5196 kB Inactive(anon): 1380 kB Active(file): 101048 kB Inactive(file): 108860 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16324 kB Writeback: 0 kB AnonPages: 1759640 kB Mapped: 7336 kB Shmem: 0 kB Slab: 569776 kB SReclaimable: 13900 kB SUnreclaim: 555876 kB KernelStack: 1488 kB PageTables: 7844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1805720 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1742848 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71712 MiB End job on node125 at 2016-06-07 03:34:50