| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.54 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_1.opb |
| MD5SUM | 26861ca996cf8fd2abe5c211e1f47a26 |
| 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 | -14 |
| Optimality of the best value was proved | NO |
| Number of variables | 100 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 50 |
| 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 | 50 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1220 |
| Sum of products size (including duplicates) | 2440 |
| Number of different products | 610 |
| Sum of products size | 1220 |
0.00/0.00 c 2016-06-07T02:46:57+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-4080108-1465260417.opb"] 0.00/0.01 c use --random-gen="2555095335 623696676 8547929 2045723210 4148221950 2962697600 3220047083 1449106061 1411124774 3088416736 2796371885 2162074052 764177252 740271362 4187788717 4153685273 210596338 2748727856 3400494606 2790040558 3796916375 3147294531 2152055650 4185726811 1000287124 230901490 949089147 1185139210 2836770242 4229431975 309533348 626031485 3733413467 1062817028 4099829170 2383378943 1690228650 2698799073 3488618968 2056928298 3560166570 2481288475 3080012198 414952607 2402595124 163516090 1554456661 1815723842 4147988003 3742903805 3680541424 3573963411 1350484188 2021263899 3867868416 1936899288 3998446822 3882325220 2235551796 1949398806 2472377955 857539717 1996937434 269158675 1911745572 2997514452 4265300752 3445793385 1475740123 2979320120 2506498013 3585080639 4211461146 622883245 2225597243 501812027 4075908777 870124668 2223823631 4213775055 2084913617 468721593 1482279249 1260167773 3297754295 2371697595 1295956478 1573193939 379610515 1946239426 3283366748 1873031519 2246916928 1214873456 2255682500 633513926 3776374925 1921407338 2174313357 2498238756 3970036354 799482146 1358497239 3610104645 650172235 3565454884 916868755 1107606879 1680362308 2385319749 1025992382 2120171685 124483689 3541647236 4213069548 3286151399 3138522708 2072547752 563184894 439739385 483867211 3704993275 3628152226 2466380149 3568609122 440585527 1208394946 1165626198 1187444511 1022637179 1158872964 2212038331 3687946265 1816843119 2938736648 5864128 1157596981 3243984924 3460813638 308476904 1403664481 2383522827 2589735434 3599342783 1819861327 1998681076 1664257674 2658708245 2806933985 4038922619 3770902673 1594588275 782397606 2201531043 3139105848 966963759 4282565071 1912296435 3641006774 361453038 101980625 2746634869 1911748213 2582925985 1309334228 974660480 116812573 1126803260 1722219639 2551651383 1976493977 2988285259 476061030 3069849943 2935211532 3108631698 815857561 2287860972 891400257 1619827278 3908665985 2265580001 1795134295 3325765717 1028228386 3119065696 2687811897 3403070526 2994763824 1296435305 3590574453 1784915676 4017131300 1536180191 583745515 4224505229 2244567880 2242851606 3526481081 2955551354 4236061108 570002719 3931047113 2348270906 3866573455 2786563007 2641069140 3548822373 212655743 3436825591 2417430357 1194237023 3532146200 1490251874 35053290 1591086350 334358366 3860212284 444193311 3137576205 1900831299 107095182 2937344341 2571309897 3511442821 1128912515 465193475 984942855 3258666684 887664379 1196089801 1746896176 989205122 419097847 2031436028 3414429204 432734201 1539876662 1537084139 2590085126 3430954022 923029162 2772692301 4228662479 2142348413 497507665 2174155592 3825023135 1421551704 2925147207 3057979389 3545038288 319400423 4027569201 1745970456 3132234156 255 362436" option to reproduce the execution 0.00/0.02 c #vars 100 0.00/0.02 c #constraints 151 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 490 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 59 | 1 | 490 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.002s 0.00/0.03 c #wall_clock_time = 0.002s 0.00/0.03 c #decision = 59 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 o -7 0.00/0.03 c BCD2: updating upper bound: 50 -> 42 0.00/0.03 c BCD2: 0 <= obj <= 42 0.00/0.03 c BCD2: #cores=0, #unrelaxed=50, #relaxed=0, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 490 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 28 | 2 | 490 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 28 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 2 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 25: cost of the new core is >=1 0.00/0.04 c lower bound updated to -49 0.00/0.04 c BCD2: 1 <= obj <= 42 0.00/0.04 c BCD2: #cores=1, #unrelaxed=25, #relaxed=25, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 490 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 26 | 1 | 490 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.002s 0.00/0.04 c #wall_clock_time = 0.002s 0.00/0.04 c #decision = 26 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 1 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 25 and merging with 1 cores into a new core of size 50: cost of the new core is >=2 0.00/0.04 c lower bound updated to -48 0.00/0.04 c BCD2: 2 <= obj <= 42 0.00/0.04 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 490 0 | 1 | 0 0.00/0.06 c 0.0s | 1 | 486 | 100 | 539 0 | 1 | 1 0.00/0.09 c 0.1s | 2 | 1078 | 250 | 593 0 | 1 | 1 0.09/0.13 c 0.1s | 3 | 2610 | 475 | 653 0 | 1 | 1 0.19/0.21 c 0.2s | 4 | 3714 | 813 | 719 1 | 1 | 1 0.28/0.33 c 0.3s | 5 | 5159 | 1320 | 791 2 | 1 | 1 0.49/0.52 c 0.5s | 6 | 6557 | 2081 | 871 3 | 1 | 1 0.78/0.83 c 0.8s | 7 | 8485 | 3223 | 959 6 | 1 | 1 1.09/1.17 c 1.1s | 8 | 11963 | 4936 | 1055 9 | 1 | 1 1.59/1.63 c 1.6s | 9 | 17220 | 7506 | 1161 14 | 1 | 1 2.29/2.32 c 2.3s | 10 | 27145 | 11361 | 1278 20 | 1 | 1 3.29/3.37 c 3.3s | 11 | 42704 | 17144 | 1406 28 | 1 | 1 4.98/5.02 c 5.0s | 12 | 65391 | 25819 | 1547 40 | 1 | 1 6.98/7.03 c 7.0s | 12 | 81440 | 35319 | 1547 52 | 1 | 1 7.69/7.72 c 7.7s | 13 | 85816 | 38832 | 1702 56 | 1 | 1 9.68/9.73 c 9.7s | 13 | 110440 | 48832 | 1702 67 | 1 | 1 11.58/11.69 c 11.7s | 14 | 126095 | 58352 | 1873 78 | 1 | 1 13.68/13.70 c 13.7s | 14 | 148305 | 68152 | 1873 88 | 1 | 1 15.68/15.72 c 15.7s | 14 | 166103 | 77752 | 1873 97 | 1 | 1 17.69/17.72 c 17.7s | 14 | 183146 | 86952 | 1873 107 | 1 | 1 17.78/17.86 c 17.8s | 15 | 183978 | 87632 | 2061 107 | 1 | 1 19.79/19.86 c 19.8s | 15 | 210815 | 97432 | 2061 117 | 1 | 1 21.78/21.87 c 21.8s | 15 | 224404 | 106532 | 2061 125 | 1 | 1 23.78/23.87 c 23.8s | 15 | 242193 | 115732 | 2061 134 | 1 | 1 25.78/25.89 c 25.8s | 15 | 258074 | 125232 | 2061 142 | 1 | 1 27.28/27.31 c 27.3s | 16 | 266748 | 131552 | 2268 148 | 1 | 1 29.28/29.32 c 29.3s | 16 | 278907 | 140052 | 2268 155 | 1 | 1 31.28/31.33 c 31.3s | 16 | 294404 | 149252 | 2268 163 | 1 | 1 33.28/33.34 c 33.3s | 16 | 309525 | 158852 | 2268 171 | 1 | 1 35.28/35.35 c 35.3s | 16 | 322702 | 168152 | 2268 179 | 1 | 1 37.28/37.36 c 37.3s | 16 | 335252 | 177252 | 2268 187 | 1 | 1 39.28/39.38 c 39.3s | 16 | 346505 | 186652 | 2268 195 | 1 | 1 41.37/41.40 c 41.4s | 16 | 360187 | 196752 | 2495 203 | 1 | 1 41.47/41.54 c 41.5s | 17 | 361218 | 197432 | 2495 204 | 1 | 1 43.47/43.56 c 43.5s | 17 | 384463 | 207132 | 2495 211 | 1 | 1 45.47/45.56 c 45.5s | 17 | 400590 | 216032 | 2495 218 | 1 | 1 47.47/47.58 c 47.5s | 17 | 415670 | 225532 | 2495 226 | 1 | 1 49.48/49.58 c 49.5s | 17 | 427188 | 234232 | 2495 232 | 1 | 1 51.47/51.58 c 51.5s | 17 | 447668 | 243532 | 2495 240 | 1 | 1 53.57/53.63 c 53.6s | 17 | 464965 | 252632 | 2495 247 | 1 | 1 55.57/55.64 c 55.6s | 17 | 483975 | 261932 | 2495 254 | 1 | 1 57.57/57.66 c 57.6s | 17 | 506984 | 271532 | 2495 261 | 1 | 1 59.58/59.68 c 59.6s | 17 | 528259 | 280532 | 2495 268 | 1 | 1 61.58/61.69 c 61.7s | 17 | 541699 | 289332 | 2495 275 | 1 | 1 63.18/63.29 c 63.3s | 18 | 552157 | 296252 | 2745 280 | 1 | 1 65.18/65.29 c 65.3s | 18 | 567835 | 305252 | 2745 287 | 1 | 1 67.18/67.29 c 67.3s | 18 | 587334 | 314152 | 2745 293 | 1 | 1 69.28/69.32 c 69.3s | 18 | 603853 | 322952 | 2745 299 | 1 | 1 71.27/71.33 c 71.3s | 18 | 621500 | 331352 | 2745 305 | 1 | 1 73.27/73.34 c 73.3s | 18 | 636958 | 339952 | 2745 311 | 1 | 1 75.27/75.34 c 75.3s | 18 | 649517 | 348152 | 2745 317 | 1 | 1 77.27/77.35 c 77.3s | 18 | 659517 | 356452 | 2745 323 | 1 | 1 79.28/79.36 c 79.3s | 18 | 677493 | 365152 | 2745 329 | 1 | 1 81.27/81.37 c 81.3s | 18 | 693579 | 374152 | 2745 335 | 1 | 1 83.27/83.37 c 83.3s | 18 | 705919 | 383052 | 2745 342 | 1 | 1 85.27/85.38 c 85.3s | 18 | 718402 | 392252 | 2745 348 | 1 | 1 87.37/87.40 c 87.4s | 18 | 736124 | 401552 | 2745 355 | 1 | 1 89.37/89.41 c 89.4s | 18 | 748282 | 410252 | 2745 361 | 1 | 1 91.38/91.43 c 91.4s | 18 | 759410 | 418952 | 2745 367 | 1 | 1 93.37/93.45 c 93.4s | 18 | 770791 | 427752 | 2745 373 | 1 | 1 95.37/95.47 c 95.4s | 18 | 783470 | 437352 | 2745 380 | 1 | 1 96.87/96.99 c 97.0s | 19 | 793318 | 444482 | 3020 385 | 1 | 1 98.87/99.00 c 99.0s | 19 | 809983 | 452382 | 3020 390 | 1 | 1 100.96/101.03 c 100s | 19 | 820228 | 459882 | 3020 395 | 1 | 1 102.96/103.04 c 102s | 19 | 831574 | 467782 | 3020 400 | 1 | 1 104.96/105.05 c 105s | 19 | 840736 | 475482 | 3020 405 | 1 | 1 106.96/107.07 c 107s | 19 | 851888 | 484182 | 3020 410 | 1 | 1 108.97/109.09 c 109s | 19 | 863270 | 492682 | 3020 416 | 1 | 1 111.07/111.12 c 111s | 19 | 878065 | 501582 | 3020 422 | 1 | 1 113.06/113.13 c 113s | 19 | 888857 | 509682 | 3020 427 | 1 | 1 115.06/115.15 c 115s | 19 | 899667 | 518482 | 3020 432 | 1 | 1 117.06/117.16 c 117s | 19 | 914587 | 527682 | 3020 438 | 1 | 1 119.06/119.16 c 119s | 19 | 928130 | 535982 | 3020 444 | 1 | 1 121.07/121.17 c 121s | 19 | 941810 | 544782 | 3020 449 | 1 | 1 123.06/123.19 c 123s | 19 | 953419 | 553282 | 3020 455 | 1 | 1 125.06/125.19 c 125s | 19 | 972142 | 562282 | 3020 461 | 1 | 1 127.16/127.20 c 127s | 19 | 983806 | 570782 | 3020 466 | 1 | 1 129.16/129.22 c 129s | 19 | 994699 | 579282 | 3020 472 | 1 | 1 131.16/131.22 c 131s | 19 | 1013562 | 588482 | 3020 478 | 1 | 1 133.16/133.22 c 133s | 19 | 1025776 | 597082 | 3020 483 | 1 | 1 135.15/135.25 c 135s | 19 | 1038752 | 605982 | 3020 489 | 1 | 1 137.15/137.25 c 137s | 19 | 1056226 | 614682 | 3020 494 | 1 | 1 139.15/139.26 c 139s | 19 | 1069283 | 622682 | 3020 499 | 1 | 1 141.15/141.26 c 141s | 19 | 1082639 | 630782 | 3020 505 | 1 | 1 143.15/143.28 c 143s | 19 | 1095389 | 638882 | 3020 510 | 1 | 1 145.16/145.29 c 145s | 19 | 1104223 | 646282 | 3020 515 | 1 | 1 147.25/147.31 c 147s | 19 | 1119100 | 654582 | 3020 520 | 1 | 1 149.25/149.32 c 149s | 19 | 1131296 | 662982 | 3323 525 | 1 | 1 150.25/150.33 c 150s | 20 | 1135699 | 666827 | 3323 528 | 1 | 1 152.25/152.33 c 152s | 20 | 1153186 | 675027 | 3323 532 | 1 | 1 154.25/154.34 c 154s | 20 | 1166618 | 684027 | 3323 538 | 1 | 1 156.26/156.34 c 156s | 20 | 1185064 | 693127 | 3323 543 | 1 | 1 158.25/158.35 c 158s | 20 | 1209230 | 702227 | 3323 548 | 1 | 1 160.26/160.36 c 160s | 20 | 1222718 | 710227 | 3323 553 | 1 | 1 162.26/162.38 c 162s | 20 | 1234767 | 718227 | 3323 558 | 1 | 1 164.36/164.40 c 164s | 20 | 1246993 | 726427 | 3323 563 | 1 | 1 166.36/166.42 c 166s | 20 | 1266596 | 734927 | 3323 568 | 1 | 1 168.36/168.42 c 168s | 20 | 1282415 | 743227 | 3323 572 | 1 | 1 170.35/170.45 c 170s | 20 | 1296626 | 751427 | 3323 577 | 1 | 1 172.35/172.46 c 172s | 20 | 1309492 | 759727 | 3323 582 | 1 | 1 174.35/174.47 c 174s | 20 | 1321289 | 768327 | 3323 587 | 1 | 1 176.35/176.49 c 176s | 20 | 1333716 | 776627 | 3323 592 | 1 | 1 178.35/178.49 c 178s | 20 | 1344933 | 784927 | 3323 597 | 1 | 1 180.46/180.50 c 180s | 20 | 1355373 | 792827 | 3323 602 | 1 | 1 182.45/182.51 c 182s | 20 | 1365069 | 800827 | 3323 606 | 1 | 1 184.45/184.52 c 184s | 20 | 1375092 | 808727 | 3323 611 | 1 | 1 186.45/186.55 c 186s | 20 | 1385360 | 816527 | 3323 616 | 1 | 1 188.45/188.56 c 188s | 20 | 1394265 | 824227 | 3323 620 | 1 | 1 190.45/190.58 c 190s | 20 | 1403645 | 832327 | 3323 625 | 1 | 1 192.45/192.59 c 192s | 20 | 1423917 | 841327 | 3323 630 | 1 | 1 194.45/194.59 c 194s | 20 | 1440091 | 849727 | 3323 635 | 1 | 1 196.55/196.61 c 196s | 20 | 1458231 | 858127 | 3323 640 | 1 | 1 198.55/198.62 c 198s | 20 | 1471717 | 866227 | 3323 645 | 1 | 1 200.55/200.63 c 200s | 20 | 1482672 | 874227 | 3323 650 | 1 | 1 202.55/202.64 c 202s | 20 | 1500451 | 882427 | 3323 654 | 1 | 1 204.55/204.64 c 204s | 20 | 1515937 | 890927 | 3323 659 | 1 | 1 206.54/206.66 c 206s | 20 | 1529778 | 899027 | 3323 664 | 1 | 1 208.54/208.68 c 208s | 20 | 1543388 | 907427 | 3323 669 | 1 | 1 210.54/210.68 c 210s | 20 | 1553084 | 915227 | 3323 674 | 1 | 1 212.54/212.68 c 212s | 20 | 1565062 | 923127 | 3323 678 | 1 | 1 214.55/214.69 c 214s | 20 | 1579828 | 931527 | 3323 683 | 1 | 1 216.54/216.70 c 216s | 20 | 1592701 | 939227 | 3323 688 | 1 | 1 218.64/218.71 c 218s | 20 | 1604589 | 946727 | 3323 692 | 1 | 1 220.64/220.71 c 220s | 20 | 1612945 | 953927 | 3323 696 | 1 | 1 222.64/222.73 c 222s | 20 | 1623625 | 961927 | 3323 701 | 1 | 1 224.64/224.74 c 224s | 20 | 1633281 | 969327 | 3323 705 | 1 | 1 226.64/226.76 c 226s | 20 | 1648157 | 977227 | 3323 710 | 1 | 1 228.64/228.76 c 228s | 20 | 1658807 | 984727 | 3323 715 | 1 | 1 230.63/230.77 c 230s | 20 | 1667780 | 992327 | 3323 719 | 1 | 1 232.63/232.78 c 232s | 20 | 1677959 | 1000227 | 3656 723 | 1 | 1 232.73/232.81 c 232s | 21 | 1678108 | 1000345 | 3656 723 | 1 | 1 234.74/234.81 c 234s | 21 | 1690644 | 1007645 | 3656 727 | 1 | 1 236.74/236.82 c 236s | 21 | 1700975 | 1015445 | 3656 731 | 1 | 1 238.75/238.83 c 238s | 21 | 1713056 | 1023245 | 3656 735 | 1 | 1 240.74/240.84 c 240s | 21 | 1723018 | 1031045 | 3656 740 | 1 | 1 242.74/242.86 c 242s | 21 | 1732389 | 1038545 | 3656 744 | 1 | 1 244.74/244.86 c 244s | 21 | 1742045 | 1045845 | 3656 747 | 1 | 1 246.74/246.86 c 246s | 21 | 1753933 | 1053245 | 3656 751 | 1 | 1 248.74/248.88 c 248s | 21 | 1765174 | 1060945 | 3656 755 | 1 | 1 250.85/250.90 c 250s | 21 | 1773997 | 1068245 | 3656 759 | 1 | 1 252.84/252.91 c 252s | 21 | 1785761 | 1076545 | 3656 764 | 1 | 1 254.84/254.92 c 254s | 21 | 1794773 | 1083945 | 3656 768 | 1 | 1 256.84/256.93 c 256s | 21 | 1806031 | 1091345 | 3656 772 | 1 | 1 258.84/258.94 c 258s | 21 | 1816996 | 1098645 | 3656 776 | 1 | 1 260.84/260.94 c 260s | 21 | 1838497 | 1106945 | 3656 780 | 1 | 1 262.84/262.94 c 262s | 21 | 1854533 | 1114945 | 3656 784 | 1 | 1 264.83/264.96 c 264s | 21 | 1864652 | 1122345 | 3656 788 | 1 | 1 266.83/266.96 c 266s | 21 | 1876470 | 1130345 | 3656 792 | 1 | 1 268.83/268.97 c 268s | 21 | 1888806 | 1138445 | 3656 797 | 1 | 1 270.93/271.00 c 270s | 21 | 1898543 | 1146345 | 3656 801 | 1 | 1 272.93/273.02 c 272s | 21 | 1910675 | 1154445 | 3656 805 | 1 | 1 274.94/275.03 c 274s | 21 | 1922583 | 1162245 | 3656 810 | 1 | 1 276.93/277.04 c 277s | 21 | 1932606 | 1169945 | 3656 814 | 1 | 1 278.93/279.06 c 279s | 21 | 1940842 | 1177345 | 3656 818 | 1 | 1 280.93/281.07 c 281s | 21 | 1949318 | 1185045 | 3656 822 | 1 | 1 282.93/283.09 c 283s | 21 | 1958831 | 1193045 | 3656 826 | 1 | 1 285.03/285.12 c 285s | 21 | 1975565 | 1201345 | 3656 831 | 1 | 1 287.03/287.14 c 287s | 21 | 1986331 | 1208645 | 3656 834 | 1 | 1 289.03/289.14 c 289s | 21 | 1995715 | 1215945 | 3656 838 | 1 | 1 291.02/291.16 c 291s | 21 | 2009921 | 1223945 | 3656 843 | 1 | 1 293.02/293.16 c 293s | 21 | 2025958 | 1232445 | 3656 847 | 1 | 1 295.03/295.17 c 295s | 21 | 2042089 | 1240445 | 3656 851 | 1 | 1 297.04/297.19 c 297s | 21 | 2056311 | 1248245 | 3656 856 | 1 | 1 299.03/299.20 c 299s | 21 | 2067043 | 1255945 | 3656 860 | 1 | 1 301.13/301.21 c 301s | 21 | 2076742 | 1263445 | 3656 864 | 1 | 1 303.13/303.21 c 303s | 21 | 2090090 | 1270845 | 3656 868 | 1 | 1 305.13/305.23 c 305s | 21 | 2099985 | 1278145 | 3656 872 | 1 | 1 307.13/307.24 c 307s | 21 | 2108559 | 1285445 | 3656 875 | 1 | 1 309.13/309.26 c 309s | 21 | 2118337 | 1293145 | 3656 880 | 1 | 1 311.12/311.28 c 311s | 21 | 2128469 | 1301345 | 3656 884 | 1 | 1 313.12/313.28 c 313s | 21 | 2138107 | 1308945 | 3656 888 | 1 | 1 315.22/315.31 c 315s | 21 | 2149850 | 1316945 | 3656 892 | 1 | 1 317.22/317.31 c 317s | 21 | 2159284 | 1324545 | 3656 896 | 1 | 1 319.22/319.33 c 319s | 21 | 2169176 | 1332145 | 3656 900 | 1 | 1 321.23/321.34 c 321s | 21 | 2178030 | 1339745 | 3656 904 | 1 | 1 323.22/323.35 c 323s | 21 | 2187162 | 1347145 | 3656 908 | 1 | 1 325.22/325.39 c 325s | 21 | 2205562 | 1355345 | 3656 913 | 1 | 1 327.22/327.39 c 327s | 21 | 2217388 | 1363345 | 3656 917 | 1 | 1 329.22/329.40 c 329s | 21 | 2229258 | 1371245 | 3656 921 | 1 | 1 331.32/331.42 c 331s | 21 | 2244189 | 1379545 | 3656 926 | 1 | 1 333.33/333.43 c 333s | 21 | 2254911 | 1387145 | 3656 930 | 1 | 1 335.32/335.44 c 335s | 21 | 2267580 | 1394445 | 3656 934 | 1 | 1 337.32/337.46 c 337s | 21 | 2284521 | 1402145 | 3656 938 | 1 | 1 339.32/339.47 c 339s | 21 | 2296190 | 1409745 | 3656 942 | 1 | 1 341.32/341.47 c 341s | 21 | 2305074 | 1417345 | 3656 946 | 1 | 1 343.42/343.50 c 343s | 21 | 2314375 | 1425145 | 3656 950 | 1 | 1 345.42/345.51 c 345s | 21 | 2322914 | 1432745 | 3656 954 | 1 | 1 347.42/347.53 c 347s | 21 | 2332636 | 1440245 | 3656 958 | 1 | 1 349.41/349.53 c 349s | 21 | 2341804 | 1447645 | 3656 962 | 1 | 1 351.41/351.55 c 351s | 21 | 2350034 | 1454745 | 3656 966 | 1 | 1 353.41/353.57 c 353s | 21 | 2358629 | 1461745 | 3656 970 | 1 | 1 355.41/355.58 c 355s | 21 | 2367900 | 1469045 | 3656 974 | 1 | 1 357.42/357.60 c 357s | 21 | 2376281 | 1476345 | 3656 978 | 1 | 1 359.51/359.61 c 359s | 21 | 2386856 | 1484045 | 3656 982 | 1 | 1 361.51/361.62 c 361s | 21 | 2397596 | 1491945 | 4022 986 | 1 | 1 363.51/363.64 c 363s | 21 | 2411923 | 1499745 | 4022 989 | 1 | 1 363.71/363.83 c 363s | 22 | 2413957 | 1500622 | 4022 990 | 1 | 1 365.71/365.86 c 365s | 22 | 2434075 | 1508322 | 4022 994 | 1 | 1 367.72/367.88 c 367s | 22 | 2450105 | 1516422 | 4022 997 | 1 | 1 369.72/369.89 c 369s | 22 | 2462435 | 1524022 | 4022 1001 | 1 | 1 371.73/371.89 c 371s | 22 | 2472839 | 1531722 | 4022 1005 | 1 | 1 373.82/373.91 c 373s | 22 | 2485110 | 1539522 | 4022 1009 | 1 | 1 375.82/375.93 c 375s | 22 | 2496496 | 1546822 | 4022 1012 | 1 | 1 377.82/377.95 c 377s | 22 | 2506175 | 1553922 | 4022 1016 | 1 | 1 379.82/379.96 c 379s | 22 | 2518249 | 1561322 | 4022 1019 | 1 | 1 381.82/381.97 c 381s | 22 | 2527056 | 1568522 | 4022 1023 | 1 | 1 383.82/383.97 c 383s | 22 | 2538727 | 1575622 | 4022 1026 | 1 | 1 385.81/385.99 c 385s | 22 | 2549053 | 1583022 | 4022 1030 | 1 | 1 387.91/388.00 c 387s | 22 | 2559620 | 1590622 | 4022 1034 | 1 | 1 389.91/390.03 c 389s | 22 | 2568132 | 1597322 | 4022 1037 | 1 | 1 391.91/392.04 c 392s | 22 | 2578241 | 1604922 | 4022 1041 | 1 | 1 393.91/394.06 c 394s | 22 | 2588270 | 1612522 | 4022 1044 | 1 | 1 395.92/396.08 c 396s | 22 | 2597087 | 1620022 | 4022 1048 | 1 | 1 397.91/398.09 c 398s | 22 | 2606127 | 1627622 | 4022 1052 | 1 | 1 400.01/400.10 c 400s | 22 | 2617176 | 1635322 | 4022 1055 | 1 | 1 402.01/402.11 c 402s | 22 | 2629665 | 1642822 | 4022 1059 | 1 | 1 404.01/404.12 c 404s | 22 | 2641954 | 1650522 | 4022 1063 | 1 | 1 406.01/406.13 c 406s | 22 | 2659795 | 1658622 | 4022 1067 | 1 | 1 408.01/408.13 c 408s | 22 | 2674783 | 1666022 | 4022 1070 | 1 | 1 410.01/410.14 c 410s | 22 | 2686881 | 1673522 | 4022 1074 | 1 | 1 412.01/412.14 c 412s | 22 | 2697282 | 1680822 | 4022 1078 | 1 | 1 414.01/414.15 c 414s | 22 | 2706953 | 1687822 | 4022 1081 | 1 | 1 416.00/416.16 c 416s | 22 | 2716702 | 1695122 | 4022 1084 | 1 | 1 418.01/418.16 c 418s | 22 | 2725448 | 1701722 | 4022 1088 | 1 | 1 420.00/420.17 c 420s | 22 | 2737158 | 1709122 | 4022 1091 | 1 | 1 422.00/422.19 c 422s | 22 | 2745098 | 1716022 | 4022 1095 | 1 | 1 424.10/424.20 c 424s | 22 | 2753741 | 1723022 | 4022 1098 | 1 | 1 426.10/426.23 c 426s | 22 | 2761807 | 1729822 | 4022 1101 | 1 | 1 428.10/428.25 c 428s | 22 | 2770389 | 1736822 | 4022 1105 | 1 | 1 430.11/430.26 c 430s | 22 | 2780810 | 1744922 | 4022 1109 | 1 | 1 432.10/432.28 c 432s | 22 | 2789740 | 1752422 | 4022 1112 | 1 | 1 434.10/434.28 c 434s | 22 | 2798208 | 1759522 | 4022 1116 | 1 | 1 436.20/436.30 c 436s | 22 | 2809799 | 1767122 | 4022 1119 | 1 | 1 438.20/438.30 c 438s | 22 | 2820275 | 1774722 | 4022 1123 | 1 | 1 440.20/440.31 c 440s | 22 | 2831688 | 1782722 | 4022 1127 | 1 | 1 442.21/442.31 c 442s | 22 | 2842450 | 1790122 | 4022 1131 | 1 | 1 444.20/444.35 c 444s | 22 | 2852245 | 1797822 | 4022 1134 | 1 | 1 446.21/446.37 c 446s | 22 | 2864637 | 1805022 | 4022 1138 | 1 | 1 448.31/448.40 c 448s | 22 | 2877286 | 1812222 | 4022 1141 | 1 | 1 450.31/450.42 c 450s | 22 | 2887450 | 1819822 | 4022 1145 | 1 | 1 452.31/452.44 c 452s | 22 | 2898585 | 1827622 | 4022 1149 | 1 | 1 454.31/454.45 c 454s | 22 | 2909513 | 1834922 | 4022 1152 | 1 | 1 456.30/456.46 c 456s | 22 | 2920696 | 1843922 | 4022 1157 | 1 | 1 458.30/458.46 c 458s | 22 | 2932304 | 1852222 | 4022 1161 | 1 | 1 460.30/460.48 c 460s | 22 | 2943580 | 1860722 | 4022 1165 | 1 | 1 462.40/462.50 c 462s | 22 | 2955139 | 1868922 | 4022 1169 | 1 | 1 464.40/464.51 c 464s | 22 | 2967351 | 1877022 | 4022 1173 | 1 | 1 466.41/466.51 c 466s | 22 | 2985381 | 1885622 | 4022 1177 | 1 | 1 468.40/468.55 c 468s | 22 | 2996425 | 1893222 | 4022 1181 | 1 | 1 470.40/470.57 c 470s | 22 | 3009615 | 1901222 | 4022 1184 | 1 | 1 472.40/472.57 c 472s | 22 | 3020048 | 1909222 | 4022 1188 | 1 | 1 474.40/474.59 c 474s | 22 | 3033601 | 1917522 | 4022 1192 | 1 | 1 476.50/476.62 c 476s | 22 | 3045741 | 1925322 | 4022 1196 | 1 | 1 478.50/478.62 c 478s | 22 | 3054967 | 1933122 | 4022 1200 | 1 | 1 480.50/480.62 c 480s | 22 | 3064957 | 1941322 | 4022 1204 | 1 | 1 482.50/482.63 c 482s | 22 | 3076412 | 1949422 | 4022 1208 | 1 | 1 484.49/484.63 c 484s | 22 | 3090132 | 1958022 | 4022 1212 | 1 | 1 486.49/486.67 c 486s | 22 | 3102093 | 1966922 | 4022 1217 | 1 | 1 488.59/488.72 c 488s | 22 | 3113295 | 1975122 | 4022 1221 | 1 | 1 490.60/490.74 c 490s | 22 | 3123678 | 1983222 | 4022 1224 | 1 | 1 492.59/492.76 c 492s | 22 | 3134628 | 1991622 | 4022 1229 | 1 | 1 494.59/494.78 c 494s | 22 | 3147200 | 1999922 | 4022 1233 | 1 | 1 496.69/496.80 c 496s | 22 | 3157869 | 2007722 | 4022 1236 | 1 | 1 498.69/498.81 c 498s | 22 | 3168628 | 2015422 | 4022 1240 | 1 | 1 500.69/500.82 c 500s | 22 | 3179247 | 2023222 | 4022 1244 | 1 | 1 502.69/502.83 c 502s | 22 | 3189627 | 2030822 | 4022 1248 | 1 | 1 504.69/504.87 c 504s | 22 | 3200776 | 2038922 | 4022 1251 | 1 | 1 506.69/506.87 c 506s | 22 | 3214585 | 2047022 | 4022 1255 | 1 | 1 508.79/508.91 c 508s | 22 | 3226518 | 2054822 | 4022 1259 | 1 | 1 510.79/510.92 c 510s | 22 | 3236720 | 2062122 | 4022 1263 | 1 | 1 512.79/512.94 c 512s | 22 | 3248573 | 2069922 | 4022 1267 | 1 | 1 514.80/514.96 c 514s | 22 | 3257181 | 2077022 | 4022 1270 | 1 | 1 516.79/516.97 c 516s | 22 | 3267397 | 2084422 | 4022 1274 | 1 | 1 518.79/518.99 c 518s | 22 | 3275242 | 2091522 | 4022 1277 | 1 | 1 520.89/521.02 c 520s | 22 | 3284086 | 2099122 | 4022 1281 | 1 | 1 522.89/523.03 c 522s | 22 | 3293640 | 2106822 | 4022 1284 | 1 | 1 524.89/525.06 c 525s | 22 | 3303468 | 2114522 | 4022 1288 | 1 | 1 526.89/527.07 c 527s | 22 | 3312794 | 2121722 | 4022 1292 | 1 | 1 528.89/529.09 c 529s | 22 | 3323974 | 2129222 | 4022 1295 | 1 | 1 530.99/531.11 c 531s | 22 | 3333347 | 2136322 | 4022 1299 | 1 | 1 532.99/533.13 c 533s | 22 | 3343426 | 2143522 | 4022 1302 | 1 | 1 534.99/535.13 c 535s | 22 | 3352509 | 2150922 | 4022 1306 | 1 | 1 536.99/537.14 c 537s | 22 | 3361729 | 2158322 | 4022 1309 | 1 | 1 538.99/539.16 c 539s | 22 | 3370228 | 2165522 | 4022 1313 | 1 | 1 540.98/541.18 c 541s | 22 | 3378362 | 2172622 | 4022 1316 | 1 | 1 542.98/543.19 c 543s | 22 | 3387692 | 2180422 | 4022 1320 | 1 | 1 545.08/545.20 c 545s | 22 | 3398409 | 2189322 | 4022 1324 | 1 | 1 547.08/547.20 c 547s | 22 | 3408895 | 2197922 | 4022 1329 | 1 | 1 549.08/549.22 c 549s | 22 | 3419551 | 2206622 | 4022 1333 | 1 | 1 551.09/551.23 c 551s | 22 | 3429870 | 2214922 | 4022 1337 | 1 | 1 553.08/553.24 c 553s | 22 | 3440420 | 2223022 | 4022 1341 | 1 | 1 555.08/555.24 c 555s | 22 | 3450709 | 2231222 | 4022 1345 | 1 | 1 557.08/557.25 c 557s | 22 | 3459414 | 2238622 | 4425 1348 | 1 | 1 559.08/559.26 c 559s | 22 | 3469909 | 2246822 | 4425 1352 | 1 | 1 560.18/560.31 c 560s | 23 | 3475235 | 2251038 | 4425 1354 | 1 | 1 562.18/562.33 c 562s | 23 | 3487453 | 2258738 | 4425 1357 | 1 | 1 564.19/564.34 c 564s | 23 | 3498749 | 2266338 | 4425 1360 | 1 | 1 566.18/566.34 c 566s | 23 | 3508584 | 2273838 | 4425 1364 | 1 | 1 568.18/568.34 c 568s | 23 | 3518498 | 2282138 | 4425 1367 | 1 | 1 570.18/570.34 c 570s | 23 | 3527556 | 2289838 | 4425 1371 | 1 | 1 572.18/572.36 c 572s | 23 | 3538183 | 2297638 | 4425 1374 | 1 | 1 574.19/574.37 c 574s | 23 | 3547871 | 2305438 | 4425 1378 | 1 | 1 576.18/576.40 c 576s | 23 | 3557281 | 2312838 | 4425 1381 | 1 | 1 578.28/578.41 c 578s | 23 | 3568833 | 2320438 | 4425 1384 | 1 | 1 580.28/580.44 c 580s | 23 | 3579949 | 2327938 | 4425 1388 | 1 | 1 582.28/582.44 c 582s | 23 | 3590873 | 2335438 | 4425 1391 | 1 | 1 584.28/584.45 c 584s | 23 | 3600022 | 2342938 | 4425 1394 | 1 | 1 586.29/586.46 c 586s | 23 | 3610440 | 2350638 | 4425 1398 | 1 | 1 588.28/588.47 c 588s | 23 | 3621365 | 2358838 | 4425 1401 | 1 | 1 590.28/590.48 c 590s | 23 | 3632319 | 2366438 | 4425 1405 | 1 | 1 592.38/592.50 c 592s | 23 | 3642811 | 2374338 | 4425 1408 | 1 | 1 594.38/594.50 c 594s | 23 | 3655258 | 2382238 | 4425 1412 | 1 | 1 596.38/596.52 c 596s | 23 | 3666271 | 2389738 | 4425 1415 | 1 | 1 598.38/598.54 c 598s | 23 | 3677110 | 2397638 | 4425 1419 | 1 | 1 600.37/600.54 c 600s | 23 | 3689704 | 2404938 | 4425 1422 | 1 | 1 602.37/602.56 c 602s | 23 | 3701862 | 2412938 | 4425 1425 | 1 | 1 604.37/604.56 c 604s | 23 | 3712652 | 2420638 | 4425 1429 | 1 | 1 606.37/606.58 c 606s | 23 | 3724720 | 2428338 | 4425 1432 | 1 | 1 608.37/608.58 c 608s | 23 | 3735778 | 2436638 | 4425 1436 | 1 | 1 610.38/610.59 c 610s | 23 | 3750347 | 2445238 | 4425 1440 | 1 | 1 612.47/612.61 c 612s | 23 | 3762937 | 2453238 | 4425 1443 | 1 | 1 614.47/614.64 c 614s | 23 | 3777633 | 2460938 | 4425 1447 | 1 | 1 616.47/616.67 c 616s | 23 | 3791957 | 2469038 | 4425 1450 | 1 | 1 618.47/618.67 c 618s | 23 | 3804145 | 2476538 | 4425 1454 | 1 | 1 620.47/620.69 c 620s | 23 | 3815194 | 2483938 | 4425 1457 | 1 | 1 622.48/622.70 c 622s | 23 | 3825033 | 2491338 | 4425 1460 | 1 | 1 624.57/624.70 c 624s | 23 | 3833733 | 2498838 | 4425 1463 | 1 | 1 626.57/626.77 c 626s | 23 | 3842648 | 2506438 | 4425 1467 | 1 | 1 628.57/628.77 c 628s | 23 | 3852291 | 2513938 | 4425 1470 | 1 | 1 630.57/630.79 c 630s | 23 | 3862802 | 2521638 | 4425 1474 | 1 | 1 632.67/632.80 c 632s | 23 | 3871454 | 2528738 | 4425 1477 | 1 | 1 634.67/634.85 c 634s | 23 | 3880112 | 2536138 | 4425 1480 | 1 | 1 636.67/636.85 c 636s | 23 | 3891532 | 2543938 | 4425 1483 | 1 | 1 638.67/638.86 c 638s | 23 | 3901188 | 2551438 | 4425 1487 | 1 | 1 640.67/640.88 c 640s | 23 | 3910891 | 2559038 | 4425 1490 | 1 | 1 642.67/642.89 c 642s | 23 | 3919320 | 2565938 | 4425 1493 | 1 | 1 644.67/644.89 c 644s | 23 | 3928697 | 2573438 | 4425 1496 | 1 | 1 646.77/646.90 c 646s | 23 | 3941076 | 2581338 | 4425 1500 | 1 | 1 648.76/648.92 c 648s | 23 | 3952626 | 2589338 | 4425 1503 | 1 | 1 650.76/650.93 c 650s | 23 | 3962004 | 2596338 | 4425 1507 | 1 | 1 652.76/652.93 c 652s | 23 | 3971127 | 2603638 | 4425 1510 | 1 | 1 654.76/654.94 c 654s | 23 | 3980688 | 2611138 | 4425 1513 | 1 | 1 656.76/656.95 c 656s | 23 | 3989575 | 2618138 | 4425 1516 | 1 | 1 658.77/658.96 c 658s | 23 | 3998570 | 2625338 | 4425 1519 | 1 | 1 660.87/661.00 c 660s | 23 | 4007538 | 2632538 | 4425 1523 | 1 | 1 662.87/663.02 c 662s | 23 | 4016331 | 2640038 | 4425 1526 | 1 | 1 664.87/665.05 c 665s | 23 | 4025877 | 2647438 | 4425 1529 | 1 | 1 666.86/667.09 c 667s | 23 | 4036657 | 2655138 | 4425 1533 | 1 | 1 668.96/669.10 c 669s | 23 | 4046927 | 2663238 | 4425 1536 | 1 | 1 670.87/671.10 c 671s | 23 | 4056109 | 2670738 | 4425 1539 | 1 | 1 672.96/673.11 c 673s | 23 | 4065859 | 2678538 | 4425 1543 | 1 | 1 674.96/675.12 c 675s | 23 | 4075866 | 2686438 | 4425 1546 | 1 | 1 676.96/677.12 c 677s | 23 | 4085411 | 2694138 | 4425 1550 | 1 | 1 678.96/679.15 c 679s | 23 | 4095625 | 2701938 | 4425 1553 | 1 | 1 680.96/681.15 c 681s | 23 | 4108318 | 2709438 | 4425 1557 | 1 | 1 682.97/683.16 c 683s | 23 | 4119639 | 2717338 | 4425 1560 | 1 | 1 685.06/685.21 c 685s | 23 | 4133387 | 2725238 | 4425 1564 | 1 | 1 687.06/687.23 c 687s | 23 | 4143924 | 2732738 | 4425 1567 | 1 | 1 689.06/689.24 c 689s | 23 | 4155617 | 2740538 | 4425 1570 | 1 | 1 691.06/691.24 c 691s | 23 | 4170178 | 2748838 | 4425 1574 | 1 | 1 693.06/693.25 c 693s | 23 | 4182863 | 2756738 | 4425 1577 | 1 | 1 695.06/695.25 c 695s | 23 | 4191453 | 2763738 | 4425 1581 | 1 | 1 697.06/697.26 c 697s | 23 | 4201079 | 2771438 | 4425 1584 | 1 | 1 699.06/699.27 c 699s | 23 | 4210375 | 2779038 | 4425 1587 | 1 | 1 701.06/701.27 c 701s | 23 | 4220709 | 2786338 | 4425 1591 | 1 | 1 703.16/703.30 c 703s | 23 | 4230503 | 2793838 | 4425 1594 | 1 | 1 705.15/705.32 c 705s | 23 | 4239101 | 2801038 | 4425 1597 | 1 | 1 707.16/707.34 c 707s | 23 | 4247525 | 2808338 | 4425 1600 | 1 | 1 709.15/709.35 c 709s | 23 | 4258478 | 2815938 | 4425 1604 | 1 | 1 711.15/711.37 c 711s | 23 | 4269537 | 2823438 | 4425 1607 | 1 | 1 713.15/713.39 c 713s | 23 | 4278318 | 2830638 | 4425 1610 | 1 | 1 715.25/715.40 c 715s | 23 | 4287061 | 2837838 | 4425 1613 | 1 | 1 717.25/717.41 c 717s | 23 | 4296128 | 2845038 | 4425 1616 | 1 | 1 719.26/719.42 c 719s | 23 | 4305081 | 2852438 | 4425 1620 | 1 | 1 721.25/721.44 c 721s | 23 | 4315099 | 2860138 | 4425 1623 | 1 | 1 723.25/723.46 c 723s | 23 | 4324282 | 2867738 | 4425 1627 | 1 | 1 725.25/725.47 c 725s | 23 | 4333263 | 2874938 | 4425 1630 | 1 | 1 727.25/727.49 c 727s | 23 | 4342332 | 2882738 | 4425 1633 | 1 | 1 729.35/729.50 c 729s | 23 | 4353202 | 2891838 | 4425 1637 | 1 | 1 731.35/731.51 c 731s | 23 | 4362684 | 2900038 | 4425 1641 | 1 | 1 733.35/733.51 c 733s | 23 | 4372980 | 2908138 | 4425 1645 | 1 | 1 735.35/735.51 c 735s | 23 | 4382209 | 2915738 | 4425 1648 | 1 | 1 737.34/737.52 c 737s | 23 | 4391424 | 2923838 | 4425 1651 | 1 | 1 739.34/739.53 c 739s | 23 | 4402429 | 2932138 | 4425 1655 | 1 | 1 741.35/741.55 c 741s | 23 | 4411368 | 2940038 | 4425 1659 | 1 | 1 743.34/743.55 c 743s | 23 | 4421689 | 2947738 | 4425 1662 | 1 | 1 745.34/745.57 c 745s | 23 | 4433229 | 2956138 | 4425 1666 | 1 | 1 747.34/747.58 c 747s | 23 | 4442393 | 2963638 | 4425 1669 | 1 | 1 749.34/749.59 c 749s | 23 | 4453969 | 2971338 | 4425 1672 | 1 | 1 751.44/751.60 c 751s | 23 | 4468201 | 2979938 | 4425 1676 | 1 | 1 753.35/753.60 c 753s | 23 | 4482338 | 2988538 | 4425 1680 | 1 | 1 755.44/755.60 c 755s | 23 | 4494563 | 2996438 | 4425 1684 | 1 | 1 757.44/757.64 c 757s | 23 | 4503933 | 3004138 | 4425 1687 | 1 | 1 759.44/759.65 c 759s | 23 | 4513983 | 3012038 | 4425 1691 | 1 | 1 761.44/761.66 c 761s | 23 | 4525773 | 3020038 | 4425 1694 | 1 | 1 763.44/763.68 c 763s | 23 | 4538757 | 3027538 | 4425 1697 | 1 | 1 765.44/765.70 c 765s | 23 | 4548617 | 3034838 | 4425 1701 | 1 | 1 767.54/767.71 c 767s | 23 | 4560685 | 3042838 | 4425 1704 | 1 | 1 769.54/769.73 c 769s | 23 | 4570789 | 3050938 | 4425 1708 | 1 | 1 771.54/771.75 c 771s | 23 | 4582439 | 3058838 | 4425 1711 | 1 | 1 773.55/773.78 c 773s | 23 | 4593625 | 3066438 | 4425 1715 | 1 | 1 775.55/775.78 c 775s | 23 | 4605391 | 3074038 | 4425 1718 | 1 | 1 777.55/777.79 c 777s | 23 | 4616270 | 3081538 | 4425 1721 | 1 | 1 779.64/779.81 c 779s | 23 | 4627127 | 3089238 | 4425 1725 | 1 | 1 781.64/781.82 c 781s | 23 | 4636943 | 3096538 | 4425 1728 | 1 | 1 783.64/783.84 c 783s | 23 | 4645787 | 3103838 | 4425 1731 | 1 | 1 785.64/785.87 c 785s | 23 | 4659941 | 3111338 | 4425 1734 | 1 | 1 787.64/787.88 c 787s | 23 | 4676130 | 3119138 | 4425 1738 | 1 | 1 789.65/789.90 c 789s | 23 | 4687994 | 3127138 | 4425 1741 | 1 | 1 791.74/791.91 c 791s | 23 | 4697940 | 3134738 | 4425 1745 | 1 | 1 793.74/793.92 c 793s | 23 | 4707695 | 3142338 | 4425 1748 | 1 | 1 795.74/795.92 c 795s | 23 | 4721668 | 3150138 | 4425 1752 | 1 | 1 797.74/797.93 c 797s | 23 | 4736350 | 3158238 | 4425 1755 | 1 | 1 799.74/799.94 c 799s | 23 | 4752638 | 3166438 | 4425 1759 | 1 | 1 801.74/801.95 c 801s | 23 | 4762826 | 3174138 | 4425 1762 | 1 | 1 803.73/803.96 c 803s | 23 | 4773758 | 3181738 | 4425 1766 | 1 | 1 805.73/805.97 c 805s | 23 | 4784713 | 3189638 | 4425 1769 | 1 | 1 807.73/807.99 c 807s | 23 | 4798835 | 3197638 | 4425 1773 | 1 | 1 809.83/810.01 c 809s | 23 | 4809041 | 3205738 | 4425 1776 | 1 | 1 811.83/812.02 c 811s | 23 | 4820613 | 3213338 | 4425 1780 | 1 | 1 813.84/814.04 c 813s | 23 | 4832543 | 3221438 | 4425 1783 | 1 | 1 815.83/816.04 c 815s | 23 | 4843955 | 3229038 | 4425 1787 | 1 | 1 817.83/818.04 c 818s | 23 | 4854381 | 3236638 | 4425 1790 | 1 | 1 819.83/820.07 c 820s | 23 | 4866909 | 3244938 | 4425 1794 | 1 | 1 821.93/822.11 c 822s | 23 | 4878217 | 3252538 | 4425 1797 | 1 | 1 823.93/824.12 c 824s | 23 | 4887979 | 3260438 | 4425 1800 | 1 | 1 825.93/826.13 c 826s | 23 | 4898155 | 3268638 | 4425 1804 | 1 | 1 827.93/828.16 c 828s | 23 | 4910436 | 3276438 | 4425 1808 | 1 | 1 829.93/830.17 c 830s | 23 | 4920159 | 3284238 | 4425 1811 | 1 | 1 832.03/832.21 c 832s | 23 | 4931231 | 3292238 | 4425 1815 | 1 | 1 834.03/834.22 c 834s | 23 | 4942648 | 3300138 | 4425 1818 | 1 | 1 836.03/836.23 c 836s | 23 | 4952609 | 3307638 | 4425 1821 | 1 | 1 838.04/838.24 c 838s | 23 | 4962646 | 3315338 | 4425 1825 | 1 | 1 840.03/840.26 c 840s | 23 | 4972359 | 3322938 | 4425 1828 | 1 | 1 842.03/842.28 c 842s | 23 | 4983269 | 3331138 | 4425 1832 | 1 | 1 844.03/844.28 c 844s | 23 | 4994234 | 3339338 | 4425 1835 | 1 | 1 846.13/846.31 c 846s | 23 | 5005992 | 3347038 | 4425 1839 | 1 | 1 848.13/848.32 c 848s | 23 | 5014941 | 3354438 | 4868 1842 | 1 | 1 850.14/850.34 c 850s | 23 | 5023716 | 3361738 | 4868 1845 | 1 | 1 852.13/852.36 c 852s | 23 | 5032897 | 3369038 | 4868 1848 | 1 | 1 854.13/854.36 c 854s | 23 | 5041676 | 3376138 | 4868 1851 | 1 | 1 854.23/854.45 c 854s | 24 | 5042262 | 3376662 | 4868 1851 | 1 | 1 856.23/856.46 c 856s | 24 | 5053648 | 3385662 | 4868 1854 | 1 | 1 858.23/858.47 c 858s | 24 | 5066058 | 3393762 | 4868 1858 | 1 | 1 860.23/860.48 c 860s | 24 | 5082622 | 3402362 | 4868 1861 | 1 | 1 862.23/862.50 c 862s | 24 | 5094793 | 3410062 | 4868 1864 | 1 | 1 864.33/864.50 c 864s | 24 | 5110444 | 3418262 | 4868 1868 | 1 | 1 866.33/866.51 c 866s | 24 | 5123067 | 3426062 | 4868 1871 | 1 | 1 868.33/868.53 c 868s | 24 | 5140724 | 3434662 | 4868 1874 | 1 | 1 870.32/870.53 c 870s | 24 | 5154177 | 3442762 | 4868 1877 | 1 | 1 872.32/872.54 c 872s | 24 | 5167079 | 3450562 | 4868 1881 | 1 | 1 874.33/874.55 c 874s | 24 | 5176261 | 3457662 | 4868 1883 | 1 | 1 876.32/876.55 c 876s | 24 | 5190635 | 3465462 | 4868 1887 | 1 | 1 878.32/878.57 c 878s | 24 | 5203263 | 3473362 | 4868 1890 | 1 | 1 880.32/880.59 c 880s | 24 | 5213759 | 3480662 | 4868 1893 | 1 | 1 882.42/882.60 c 882s | 24 | 5223814 | 3488362 | 4868 1896 | 1 | 1 884.42/884.62 c 884s | 24 | 5231909 | 3495062 | 4868 1899 | 1 | 1 886.43/886.63 c 886s | 24 | 5240401 | 3502462 | 4868 1902 | 1 | 1 888.42/888.64 c 888s | 24 | 5254122 | 3510162 | 4868 1905 | 1 | 1 890.42/890.66 c 890s | 24 | 5264228 | 3517862 | 4868 1908 | 1 | 1 892.42/892.67 c 892s | 24 | 5275866 | 3525462 | 4868 1911 | 1 | 1 894.42/894.68 c 894s | 24 | 5289600 | 3533162 | 4868 1914 | 1 | 1 896.52/896.70 c 896s | 24 | 5300775 | 3540162 | 4868 1917 | 1 | 1 898.52/898.71 c 898s | 24 | 5310223 | 3547362 | 4868 1920 | 1 | 1 900.52/900.73 c 900s | 24 | 5320735 | 3554562 | 4868 1923 | 1 | 1 902.51/902.78 c 902s | 24 | 5332914 | 3561862 | 4868 1926 | 1 | 1 904.51/904.78 c 904s | 24 | 5343362 | 3568862 | 4868 1928 | 1 | 1 906.61/906.81 c 906s | 24 | 5352219 | 3575662 | 4868 1931 | 1 | 1 908.61/908.82 c 908s | 24 | 5361994 | 3583062 | 4868 1934 | 1 | 1 910.62/910.84 c 910s | 24 | 5371842 | 3590362 | 4868 1937 | 1 | 1 912.61/912.86 c 912s | 24 | 5379768 | 3597062 | 4868 1940 | 1 | 1 914.61/914.87 c 914s | 24 | 5390535 | 3604962 | 4868 1943 | 1 | 1 916.71/916.91 c 916s | 24 | 5400409 | 3612162 | 4868 1946 | 1 | 1 918.71/918.93 c 918s | 24 | 5408804 | 3619262 | 4868 1949 | 1 | 1 920.71/920.94 c 920s | 24 | 5420591 | 3626762 | 4868 1952 | 1 | 1 922.72/922.94 c 922s | 24 | 5429963 | 3633762 | 4868 1955 | 1 | 1 924.71/924.94 c 924s | 24 | 5439980 | 3641562 | 4868 1958 | 1 | 1 926.71/926.96 c 926s | 24 | 5450030 | 3649462 | 4868 1961 | 1 | 1 928.71/928.96 c 928s | 24 | 5460228 | 3657662 | 4868 1964 | 1 | 1 930.71/930.98 c 930s | 24 | 5469484 | 3664862 | 4868 1967 | 1 | 1 932.71/932.99 c 932s | 24 | 5478751 | 3671662 | 4868 1970 | 1 | 1 934.71/934.99 c 934s | 24 | 5488374 | 3679362 | 4868 1973 | 1 | 1 936.71/936.99 c 936s | 24 | 5497484 | 3686762 | 4868 1976 | 1 | 1 938.81/939.00 c 938s | 24 | 5506847 | 3694362 | 4868 1979 | 1 | 1 940.81/941.02 c 940s | 24 | 5518486 | 3702262 | 4868 1982 | 1 | 1 942.81/943.03 c 942s | 24 | 5526324 | 3709262 | 4868 1985 | 1 | 1 944.81/945.04 c 945s | 24 | 5536190 | 3717262 | 4868 1988 | 1 | 1 946.81/947.05 c 947s | 24 | 5547269 | 3725762 | 4868 1992 | 1 | 1 948.80/949.05 c 949s | 24 | 5558170 | 3733762 | 4868 1995 | 1 | 1 950.80/951.07 c 951s | 24 | 5570429 | 3742062 | 4868 1998 | 1 | 1 952.80/953.08 c 953s | 24 | 5581212 | 3749462 | 4868 2001 | 1 | 1 954.90/955.11 c 955s | 24 | 5591799 | 3757062 | 4868 2004 | 1 | 1 956.92/957.12 c 957s | 24 | 5602253 | 3764062 | 4868 2007 | 1 | 1 958.91/959.12 c 959s | 24 | 5613247 | 3771562 | 4868 2010 | 1 | 1 960.91/961.13 c 961s | 24 | 5625299 | 3779162 | 4868 2013 | 1 | 1 962.91/963.15 c 963s | 24 | 5637221 | 3786462 | 4868 2016 | 1 | 1 964.91/965.15 c 965s | 24 | 5646536 | 3793662 | 4868 2019 | 1 | 1 966.91/967.17 c 967s | 24 | 5654568 | 3800762 | 4868 2022 | 1 | 1 968.92/969.18 c 969s | 24 | 5663976 | 3807862 | 4868 2025 | 1 | 1 970.91/971.19 c 971s | 24 | 5673241 | 3815162 | 4868 2028 | 1 | 1 973.01/973.22 c 973s | 24 | 5681673 | 3822162 | 4868 2031 | 1 | 1 975.01/975.23 c 975s | 24 | 5690805 | 3829562 | 4868 2034 | 1 | 1 977.00/977.24 c 977s | 24 | 5700020 | 3836762 | 4868 2037 | 1 | 1 979.00/979.25 c 979s | 24 | 5712550 | 3844262 | 4868 2040 | 1 | 1 981.01/981.25 c 981s | 24 | 5722121 | 3851362 | 4868 2042 | 1 | 1 983.10/983.36 c 983s | 24 | 5729776 | 3857962 | 4868 2045 | 1 | 1 985.10/985.37 c 985s | 24 | 5738684 | 3865362 | 4868 2048 | 1 | 1 987.10/987.39 c 987s | 24 | 5747337 | 3872662 | 4868 2051 | 1 | 1 989.20/989.41 c 989s | 24 | 5756231 | 3880062 | 4868 2054 | 1 | 1 991.20/991.42 c 991s | 24 | 5765908 | 3886862 | 4868 2057 | 1 | 1 993.21/993.44 c 993s | 24 | 5775745 | 3894562 | 4868 2060 | 1 | 1 995.20/995.45 c 995s | 24 | 5785145 | 3902262 | 4868 2063 | 1 | 1 997.20/997.45 c 997s | 24 | 5793965 | 3909462 | 4868 2066 | 1 | 1 999.20/999.45 c 999s | 24 | 5802427 | 3916362 | 4868 2069 | 1 | 1 1001.21/1001.46 c 1001s | 24 | 5810594 | 3923162 | 4868 2071 | 1 | 1 1003.31/1003.50 c 1003s | 24 | 5820620 | 3930662 | 4868 2075 | 1 | 1 1005.31/1005.51 c 1005s | 24 | 5832254 | 3938062 | 4868 2077 | 1 | 1 1007.30/1007.53 c 1007s | 24 | 5841879 | 3945362 | 4868 2080 | 1 | 1 1009.30/1009.57 c 1009s | 24 | 5853800 | 3953062 | 4868 2084 | 1 | 1 1011.40/1011.60 c 1011s | 24 | 5863957 | 3960362 | 4868 2086 | 1 | 1 1013.40/1013.61 c 1013s | 24 | 5872474 | 3967162 | 4868 2089 | 1 | 1 1015.40/1015.64 c 1015s | 24 | 5881117 | 3974262 | 4868 2092 | 1 | 1 1017.41/1017.66 c 1017s | 24 | 5890348 | 3981962 | 4868 2095 | 1 | 1 1019.40/1019.68 c 1019s | 24 | 5900469 | 3989462 | 4868 2098 | 1 | 1 1021.40/1021.68 c 1021s | 24 | 5911075 | 3996862 | 4868 2101 | 1 | 1 1023.40/1023.69 c 1023s | 24 | 5921983 | 4004262 | 4868 2104 | 1 | 1 1025.50/1025.71 c 1025s | 24 | 5930803 | 4011562 | 4868 2107 | 1 | 1 1027.50/1027.71 c 1027s | 24 | 5939617 | 4018462 | 4868 2110 | 1 | 1 1029.51/1029.71 c 1029s | 24 | 5948183 | 4025462 | 4868 2113 | 1 | 1 1031.50/1031.72 c 1031s | 24 | 5956877 | 4032962 | 4868 2116 | 1 | 1 1033.50/1033.73 c 1033s | 24 | 5966187 | 4040662 | 4868 2119 | 1 | 1 1035.50/1035.75 c 1035s | 24 | 5974908 | 4047962 | 4868 2122 | 1 | 1 1037.50/1037.75 c 1037s | 24 | 5985128 | 4055862 | 4868 2125 | 1 | 1 1039.50/1039.75 c 1039s | 24 | 5995276 | 4063362 | 4868 2128 | 1 | 1 1041.50/1041.77 c 1041s | 24 | 6007416 | 4071062 | 4868 2131 | 1 | 1 1043.50/1043.79 c 1043s | 24 | 6020064 | 4078262 | 4868 2134 | 1 | 1 1045.50/1045.79 c 1045s | 24 | 6030556 | 4085262 | 4868 2137 | 1 | 1 1047.59/1047.81 c 1047s | 24 | 6039659 | 4092462 | 4868 2140 | 1 | 1 1049.59/1049.81 c 1049s | 24 | 6050528 | 4100062 | 4868 2143 | 1 | 1 1051.59/1051.83 c 1051s | 24 | 6066358 | 4108262 | 4868 2146 | 1 | 1 1053.60/1053.85 c 1053s | 24 | 6078675 | 4115962 | 4868 2149 | 1 | 1 1055.59/1055.87 c 1055s | 24 | 6089495 | 4123762 | 4868 2152 | 1 | 1 1057.59/1057.88 c 1057s | 24 | 6100555 | 4130962 | 4868 2155 | 1 | 1 1059.69/1059.90 c 1059s | 24 | 6110496 | 4138462 | 4868 2158 | 1 | 1 1061.69/1061.90 c 1061s | 24 | 6119601 | 4145862 | 4868 2161 | 1 | 1 1063.69/1063.90 c 1063s | 24 | 6130696 | 4153762 | 4868 2164 | 1 | 1 1065.70/1065.92 c 1065s | 24 | 6140942 | 4161462 | 4868 2167 | 1 | 1 1067.69/1067.93 c 1067s | 24 | 6151011 | 4169162 | 4868 2171 | 1 | 1 1069.69/1069.94 c 1069s | 24 | 6163907 | 4177362 | 4868 2174 | 1 | 1 1071.69/1071.95 c 1071s | 24 | 6178645 | 4185362 | 4868 2177 | 1 | 1 1073.69/1073.96 c 1073s | 24 | 6188992 | 4193062 | 4868 2180 | 1 | 1 1075.69/1075.96 c 1075s | 24 | 6198419 | 4200362 | 4868 2183 | 1 | 1 1077.69/1077.97 c 1077s | 24 | 6206969 | 4207562 | 4868 2186 | 1 | 1 1079.69/1079.99 c 1079s | 24 | 6216079 | 4214862 | 4868 2189 | 1 | 1 1081.79/1082.01 c 1081s | 24 | 6224820 | 4221862 | 4868 2192 | 1 | 1 1083.79/1084.02 c 1083s | 24 | 6234949 | 4229562 | 4868 2195 | 1 | 1 1085.79/1086.02 c 1085s | 24 | 6244411 | 4237062 | 4868 2198 | 1 | 1 1087.79/1088.02 c 1087s | 24 | 6256068 | 4244762 | 4868 2201 | 1 | 1 1089.78/1090.04 c 1090s | 24 | 6267859 | 4252962 | 4868 2204 | 1 | 1 1091.78/1092.06 c 1092s | 24 | 6277715 | 4260662 | 4868 2208 | 1 | 1 1093.78/1094.07 c 1094s | 24 | 6290290 | 4268362 | 4868 2211 | 1 | 1 1095.78/1096.09 c 1096s | 24 | 6302887 | 4276262 | 4868 2214 | 1 | 1 1097.88/1098.12 c 1098s | 24 | 6312613 | 4283362 | 4868 2217 | 1 | 1 1099.90/1100.12 c 1100s | 24 | 6321462 | 4290662 | 4868 2220 | 1 | 1 1101.89/1102.13 c 1102s | 24 | 6334434 | 4298462 | 4868 2223 | 1 | 1 1103.89/1104.14 c 1104s | 24 | 6345051 | 4306162 | 4868 2226 | 1 | 1 1105.89/1106.16 c 1106s | 24 | 6354999 | 4313462 | 4868 2229 | 1 | 1 1107.89/1108.18 c 1108s | 24 | 6364935 | 4320562 | 4868 2232 | 1 | 1 1109.89/1110.19 c 1110s | 24 | 6373729 | 4327762 | 4868 2235 | 1 | 1 1111.99/1112.22 c 1112s | 24 | 6386243 | 4335662 | 4868 2238 | 1 | 1 1113.98/1114.23 c 1114s | 24 | 6395563 | 4342862 | 4868 2241 | 1 | 1 1115.98/1116.23 c 1116s | 24 | 6405309 | 4350562 | 4868 2244 | 1 | 1 1117.98/1118.24 c 1118s | 24 | 6414520 | 4358062 | 4868 2247 | 1 | 1 1119.98/1120.25 c 1120s | 24 | 6423303 | 4365362 | 4868 2250 | 1 | 1 1121.98/1122.26 c 1122s | 24 | 6431153 | 4372462 | 4868 2253 | 1 | 1 1123.99/1124.27 c 1124s | 24 | 6440173 | 4380262 | 4868 2256 | 1 | 1 1125.98/1126.27 c 1126s | 24 | 6450146 | 4387662 | 4868 2259 | 1 | 1 1127.98/1128.28 c 1128s | 24 | 6460660 | 4395162 | 4868 2262 | 1 | 1 1129.98/1130.28 c 1130s | 24 | 6470746 | 4402362 | 4868 2265 | 1 | 1 1132.08/1132.30 c 1132s | 24 | 6480625 | 4409562 | 4868 2268 | 1 | 1 1134.08/1134.32 c 1134s | 24 | 6491135 | 4417262 | 4868 2271 | 1 | 1 1136.08/1136.34 c 1136s | 24 | 6499899 | 4424562 | 4868 2274 | 1 | 1 1138.08/1138.37 c 1138s | 24 | 6509466 | 4432162 | 4868 2277 | 1 | 1 1140.08/1140.38 c 1140s | 24 | 6519937 | 4439962 | 4868 2280 | 1 | 1 1142.08/1142.38 c 1142s | 24 | 6531740 | 4448162 | 4868 2283 | 1 | 1 1144.18/1144.41 c 1144s | 24 | 6542217 | 4455662 | 4868 2286 | 1 | 1 1146.18/1146.44 c 1146s | 24 | 6551857 | 4462762 | 4868 2289 | 1 | 1 1148.18/1148.47 c 1148s | 24 | 6561760 | 4469962 | 4868 2292 | 1 | 1 1150.18/1150.48 c 1150s | 24 | 6569538 | 4476562 | 4868 2295 | 1 | 1 1152.17/1152.48 c 1152s | 24 | 6579317 | 4484362 | 4868 2298 | 1 | 1 1154.27/1154.50 c 1154s | 24 | 6587481 | 4491562 | 4868 2301 | 1 | 1 1156.27/1156.52 c 1156s | 24 | 6595714 | 4498462 | 4868 2304 | 1 | 1 1158.27/1158.53 c 1158s | 24 | 6604580 | 4505762 | 4868 2307 | 1 | 1 1160.28/1160.53 c 1160s | 24 | 6614261 | 4512962 | 4868 2310 | 1 | 1 1162.28/1162.55 c 1162s | 24 | 6622855 | 4519762 | 4868 2312 | 1 | 1 1164.28/1164.57 c 1164s | 24 | 6630833 | 4526462 | 4868 2315 | 1 | 1 1166.38/1166.60 c 1166s | 24 | 6638068 | 4532862 | 4868 2318 | 1 | 1 1168.38/1168.61 c 1168s | 24 | 6650979 | 4540262 | 4868 2321 | 1 | 1 1170.38/1170.62 c 1170s | 24 | 6664052 | 4548262 | 4868 2324 | 1 | 1 1172.38/1172.64 c 1172s | 24 | 6675099 | 4555762 | 4868 2327 | 1 | 1 1174.38/1174.65 c 1174s | 24 | 6687878 | 4563462 | 4868 2330 | 1 | 1 1176.38/1176.66 c 1176s | 24 | 6697620 | 4571162 | 4868 2333 | 1 | 1 1178.37/1178.68 c 1178s | 24 | 6706620 | 4578162 | 4868 2336 | 1 | 1 1180.37/1180.69 c 1180s | 24 | 6718416 | 4585462 | 4868 2339 | 1 | 1 1182.47/1182.71 c 1182s | 24 | 6729342 | 4593062 | 4868 2342 | 1 | 1 1184.48/1184.71 c 1184s | 24 | 6741105 | 4600362 | 4868 2345 | 1 | 1 1186.47/1186.73 c 1186s | 24 | 6750689 | 4607662 | 4868 2348 | 1 | 1 1188.47/1188.74 c 1188s | 24 | 6760897 | 4614962 | 4868 2351 | 1 | 1 1190.47/1190.75 c 1190s | 24 | 6768937 | 4621762 | 4868 2354 | 1 | 1 1192.47/1192.79 c 1192s | 24 | 6778291 | 4628962 | 4868 2356 | 1 | 1 1194.57/1194.81 c 1194s | 24 | 6787307 | 4636362 | 4868 2359 | 1 | 1 1196.58/1196.82 c 1196s | 24 | 6796815 | 4643862 | 4868 2362 | 1 | 1 1198.57/1198.84 c 1198s | 24 | 6807250 | 4651562 | 4868 2366 | 1 | 1 1200.57/1200.88 c 1200s | 24 | 6816724 | 4659062 | 4868 2369 | 1 | 1 1202.67/1202.91 c 1202s | 24 | 6825237 | 4666462 | 4868 2371 | 1 | 1 1204.67/1204.92 c 1204s | 24 | 6834142 | 4673762 | 4868 2374 | 1 | 1 1206.67/1206.95 c 1206s | 24 | 6843134 | 4681462 | 4868 2378 | 1 | 1 1208.67/1208.96 c 1208s | 24 | 6852053 | 4689262 | 4868 2381 | 1 | 1 1210.67/1210.99 c 1210s | 24 | 6860875 | 4696562 | 4868 2384 | 1 | 1 1212.77/1213.00 c 1212s | 24 | 6869349 | 4703862 | 4868 2387 | 1 | 1 1214.77/1215.02 c 1214s | 24 | 6879386 | 4711462 | 4868 2390 | 1 | 1 1216.77/1217.03 c 1216s | 24 | 6889996 | 4718862 | 4868 2393 | 1 | 1 1218.77/1219.04 c 1219s | 24 | 6901856 | 4726962 | 4868 2396 | 1 | 1 1220.77/1221.05 c 1221s | 24 | 6912373 | 4734562 | 4868 2399 | 1 | 1 1222.77/1223.06 c 1223s | 24 | 6921559 | 4741962 | 4868 2402 | 1 | 1 1224.76/1225.07 c 1225s | 24 | 6929855 | 4749062 | 4868 2405 | 1 | 1 1226.76/1227.08 c 1227s | 24 | 6938210 | 4756062 | 4868 2408 | 1 | 1 1228.76/1229.08 c 1229s | 24 | 6949065 | 4763462 | 4868 2411 | 1 | 1 1230.86/1231.10 c 1231s | 24 | 6958250 | 4770762 | 4868 2414 | 1 | 1 1232.87/1233.11 c 1233s | 24 | 6968863 | 4778162 | 4868 2416 | 1 | 1 1234.86/1235.12 c 1235s | 24 | 6979364 | 4785662 | 4868 2419 | 1 | 1 1236.86/1237.14 c 1237s | 24 | 6990311 | 4793362 | 4868 2423 | 1 | 1 1238.86/1239.17 c 1239s | 24 | 6999152 | 4800162 | 4868 2425 | 1 | 1 1240.86/1241.19 c 1241s | 24 | 7008538 | 4807562 | 4868 2428 | 1 | 1 1242.87/1243.19 c 1243s | 24 | 7016880 | 4814462 | 4868 2431 | 1 | 1 1244.87/1245.20 c 1245s | 24 | 7025552 | 4820962 | 4868 2434 | 1 | 1 1246.97/1247.24 c 1247s | 24 | 7035455 | 4829262 | 4868 2437 | 1 | 1 1248.97/1249.25 c 1249s | 24 | 7046202 | 4836662 | 4868 2440 | 1 | 1 1250.97/1251.25 c 1251s | 24 | 7057827 | 4844362 | 4868 2443 | 1 | 1 1252.97/1253.25 c 1253s | 24 | 7068530 | 4851862 | 4868 2446 | 1 | 1 1254.97/1255.27 c 1255s | 24 | 7077950 | 4859562 | 4868 2449 | 1 | 1 1256.96/1257.28 c 1257s | 24 | 7086435 | 4866462 | 4868 2452 | 1 | 1 1259.06/1259.30 c 1259s | 24 | 7096066 | 4874362 | 4868 2455 | 1 | 1 1261.06/1261.33 c 1261s | 24 | 7111922 | 4882662 | 4868 2459 | 1 | 1 1263.06/1263.35 c 1263s | 24 | 7122249 | 4890362 | 4868 2462 | 1 | 1 1265.06/1265.37 c 1265s | 24 | 7131847 | 4897762 | 4868 2465 | 1 | 1 1267.07/1267.38 c 1267s | 24 | 7141959 | 4905762 | 4868 2468 | 1 | 1 1269.06/1269.38 c 1269s | 24 | 7152918 | 4913962 | 4868 2471 | 1 | 1 1271.06/1271.39 c 1271s | 24 | 7165223 | 4922262 | 4868 2474 | 1 | 1 1273.16/1273.41 c 1273s | 24 | 7175611 | 4930062 | 4868 2478 | 1 | 1 1275.16/1275.42 c 1275s | 24 | 7186890 | 4937862 | 4868 2481 | 1 | 1 1277.16/1277.44 c 1277s | 24 | 7197875 | 4945662 | 4868 2484 | 1 | 1 1279.17/1279.46 c 1279s | 24 | 7207534 | 4953262 | 4868 2487 | 1 | 1 1281.16/1281.46 c 1281s | 24 | 7220544 | 4961162 | 4868 2490 | 1 | 1 1283.16/1283.47 c 1283s | 24 | 7230106 | 4968362 | 4868 2493 | 1 | 1 1285.16/1285.48 c 1285s | 24 | 7239804 | 4975362 | 4868 2496 | 1 | 1 1287.16/1287.49 c 1287s | 24 | 7250528 | 4982562 | 4868 2499 | 1 | 1 1289.26/1289.50 c 1289s | 24 | 7259483 | 4989462 | 4868 2501 | 1 | 1 1291.26/1291.51 c 1291s | 24 | 7270500 | 4996762 | 4868 2504 | 1 | 1 1293.26/1293.53 c 1293s | 24 | 7282394 | 5004262 | 4868 2507 | 1 | 1 1295.26/1295.56 c 1295s | 24 | 7292960 | 5011362 | 4868 2510 | 1 | 1 1297.25/1297.57 c 1297s | 24 | 7303173 | 5018462 | 4868 2513 | 1 | 1 1299.25/1299.57 c 1299s | 24 | 7311236 | 5025262 | 4868 2516 | 1 | 1 1301.25/1301.58 c 1301s | 24 | 7320351 | 5031762 | 5355 2518 | 1 | 1 1303.26/1303.60 c 1303s | 24 | 7330450 | 5038462 | 5355 2521 | 1 | 1 1305.35/1305.62 c 1305s | 24 | 7339246 | 5045362 | 5355 2523 | 1 | 1 1307.35/1307.63 c 1307s | 24 | 7348874 | 5052262 | 5355 2526 | 1 | 1 1309.35/1309.63 c 1309s | 24 | 7359851 | 5059362 | 5355 2528 | 1 | 1 1311.07/1311.32 c 1311s | 25 | 7367409 | 5065098 | 5355 2530 | 1 | 1 1313.06/1313.33 c 1313s | 25 | 7377782 | 5072098 | 5355 2533 | 1 | 1 1315.06/1315.35 c 1315s | 25 | 7389622 | 5079598 | 5355 2536 | 1 | 1 1317.06/1317.36 c 1317s | 25 | 7401143 | 5087198 | 5355 2538 | 1 | 1 1319.06/1319.38 c 1319s | 25 | 7411352 | 5094998 | 5355 2541 | 1 | 1 1321.16/1321.40 c 1321s | 25 | 7422379 | 5102998 | 5355 2544 | 1 | 1 1323.16/1323.41 c 1323s | 25 | 7431690 | 5110798 | 5355 2547 | 1 | 1 1325.16/1325.41 c 1325s | 25 | 7441566 | 5118698 | 5355 2550 | 1 | 1 1327.16/1327.44 c 1327s | 25 | 7450809 | 5126498 | 5355 2553 | 1 | 1 1329.16/1329.46 c 1329s | 25 | 7461013 | 5134698 | 5355 2556 | 1 | 1 1331.15/1331.47 c 1331s | 25 | 7470211 | 5142398 | 5355 2559 | 1 | 1 1333.15/1333.48 c 1333s | 25 | 7479567 | 5150198 | 5355 2562 | 1 | 1 1335.16/1335.48 c 1335s | 25 | 7488812 | 5157798 | 5355 2564 | 1 | 1 1337.25/1337.50 c 1337s | 25 | 7500258 | 5166698 | 5355 2568 | 1 | 1 1339.25/1339.52 c 1339s | 25 | 7509930 | 5174698 | 5355 2571 | 1 | 1 1341.25/1341.52 c 1341s | 25 | 7520130 | 5182598 | 5355 2573 | 1 | 1 1343.25/1343.54 c 1343s | 25 | 7530358 | 5190898 | 5355 2577 | 1 | 1 1345.35/1345.60 c 1345s | 25 | 7539048 | 5197898 | 5355 2579 | 1 | 1 1347.36/1347.61 c 1347s | 25 | 7549095 | 5205398 | 5355 2582 | 1 | 1 1349.35/1349.61 c 1349s | 25 | 7563779 | 5213298 | 5355 2585 | 1 | 1 1351.35/1351.63 c 1351s | 25 | 7577742 | 5221998 | 5355 2588 | 1 | 1 1353.35/1353.64 c 1353s | 25 | 7588233 | 5229998 | 5355 2591 | 1 | 1 1355.35/1355.65 c 1355s | 25 | 7598991 | 5238098 | 5355 2594 | 1 | 1 1357.35/1357.66 c 1357s | 25 | 7609581 | 5246098 | 5355 2597 | 1 | 1 1359.35/1359.66 c 1359s | 25 | 7621149 | 5253998 | 5355 2600 | 1 | 1 1361.35/1361.68 c 1361s | 25 | 7637186 | 5262498 | 5355 2603 | 1 | 1 1363.34/1363.68 c 1363s | 25 | 7647229 | 5269898 | 5355 2606 | 1 | 1 1365.44/1365.70 c 1365s | 25 | 7658276 | 5277898 | 5355 2608 | 1 | 1 1367.44/1367.70 c 1367s | 25 | 7667489 | 5285298 | 5355 2611 | 1 | 1 1369.44/1369.73 c 1369s | 25 | 7677575 | 5293298 | 5355 2614 | 1 | 1 1371.46/1371.76 c 1371s | 25 | 7688012 | 5301498 | 5355 2617 | 1 | 1 1373.45/1373.78 c 1373s | 25 | 7697775 | 5309698 | 5355 2620 | 1 | 1 1375.45/1375.79 c 1375s | 25 | 7708713 | 5318098 | 5355 2623 | 1 | 1 1377.55/1377.80 c 1377s | 25 | 7722898 | 5326798 | 5355 2626 | 1 | 1 1379.55/1379.82 c 1379s | 25 | 7736742 | 5335598 | 5355 2630 | 1 | 1 1381.55/1381.84 c 1381s | 25 | 7751576 | 5344698 | 5355 2633 | 1 | 1 1383.55/1383.84 c 1383s | 25 | 7763089 | 5353398 | 5355 2636 | 1 | 1 1385.55/1385.86 c 1385s | 25 | 7776740 | 5361898 | 5355 2639 | 1 | 1 1387.54/1387.88 c 1387s | 25 | 7788598 | 5370698 | 5355 2643 | 1 | 1 1389.64/1389.90 c 1389s | 25 | 7802404 | 5379998 | 5355 2646 | 1 | 1 1391.64/1391.92 c 1391s | 25 | 7815535 | 5388898 | 5355 2649 | 1 | 1 1393.64/1393.93 c 1393s | 25 | 7831713 | 5398098 | 5355 2653 | 1 | 1 1395.65/1395.94 c 1395s | 25 | 7843706 | 5406798 | 5355 2656 | 1 | 1 1397.64/1397.96 c 1397s | 25 | 7853765 | 5414698 | 5355 2659 | 1 | 1 1399.64/1399.97 c 1399s | 25 | 7863541 | 5422898 | 5355 2662 | 1 | 1 1401.64/1401.99 c 1401s | 25 | 7873204 | 5431398 | 5355 2665 | 1 | 1 1403.74/1404.01 c 1403s | 25 | 7882565 | 5439498 | 5355 2668 | 1 | 1 1405.74/1406.01 c 1405s | 25 | 7892227 | 5447498 | 5355 2671 | 1 | 1 1407.75/1408.03 c 1407s | 25 | 7903593 | 5456398 | 5355 2674 | 1 | 1 1409.74/1410.05 c 1410s | 25 | 7914013 | 5464398 | 5355 2677 | 1 | 1 1411.74/1412.06 c 1412s | 25 | 7924624 | 5472398 | 5355 2680 | 1 | 1 1413.84/1414.18 c 1414s | 25 | 7934809 | 5480598 | 5355 2683 | 1 | 1 1415.84/1416.19 c 1416s | 25 | 7946650 | 5489598 | 5355 2687 | 1 | 1 1417.93/1418.21 c 1418s | 25 | 7956750 | 5497598 | 5355 2690 | 1 | 1 1419.94/1420.22 c 1420s | 25 | 7966569 | 5505398 | 5355 2692 | 1 | 1 1421.93/1422.27 c 1422s | 25 | 7979075 | 5514498 | 5355 2696 | 1 | 1 1423.93/1424.28 c 1424s | 25 | 7989697 | 5522798 | 5355 2699 | 1 | 1 1426.03/1426.31 c 1426s | 25 | 7999428 | 5530498 | 5355 2702 | 1 | 1 1428.04/1428.34 c 1428s | 25 | 8009090 | 5537998 | 5355 2704 | 1 | 1 1430.04/1430.35 c 1430s | 25 | 8019173 | 5546198 | 5355 2707 | 1 | 1 1432.05/1432.36 c 1432s | 25 | 8030721 | 5555098 | 5355 2711 | 1 | 1 1434.04/1434.38 c 1434s | 25 | 8045246 | 5563998 | 5355 2714 | 1 | 1 1436.14/1436.40 c 1436s | 25 | 8058103 | 5572798 | 5355 2717 | 1 | 1 1438.14/1438.41 c 1438s | 25 | 8069512 | 5581098 | 5355 2720 | 1 | 1 1440.14/1440.42 c 1440s | 25 | 8081095 | 5589298 | 5355 2723 | 1 | 1 1442.14/1442.45 c 1442s | 25 | 8093156 | 5598098 | 5355 2727 | 1 | 1 1444.14/1444.45 c 1444s | 25 | 8103588 | 5606298 | 5355 2730 | 1 | 1 1446.14/1446.45 c 1446s | 25 | 8117116 | 5614898 | 5355 2733 | 1 | 1 1448.14/1448.47 c 1448s | 25 | 8129110 | 5623798 | 5355 2736 | 1 | 1 1450.14/1450.49 c 1450s | 25 | 8140867 | 5632698 | 5355 2739 | 1 | 1 1452.14/1452.49 c 1452s | 25 | 8151427 | 5640898 | 5355 2742 | 1 | 1 1454.24/1454.52 c 1454s | 25 | 8163270 | 5649498 | 5355 2746 | 1 | 1 1456.24/1456.52 c 1456s | 25 | 8176697 | 5657698 | 5355 2749 | 1 | 1 1458.23/1458.53 c 1458s | 25 | 8189992 | 5666698 | 5355 2752 | 1 | 1 1460.23/1460.53 c 1460s | 25 | 8200706 | 5675198 | 5355 2755 | 1 | 1 1462.23/1462.55 c 1462s | 25 | 8213262 | 5684098 | 5355 2758 | 1 | 1 1464.23/1464.55 c 1464s | 25 | 8227012 | 5692298 | 5355 2761 | 1 | 1 1466.23/1466.56 c 1466s | 25 | 8237610 | 5700598 | 5355 2764 | 1 | 1 1468.24/1468.56 c 1468s | 25 | 8247725 | 5708898 | 5355 2767 | 1 | 1 1470.23/1470.58 c 1470s | 25 | 8259537 | 5717498 | 5355 2771 | 1 | 1 1472.23/1472.59 c 1472s | 25 | 8276471 | 5726298 | 5355 2774 | 1 | 1 1474.33/1474.61 c 1474s | 25 | 8288012 | 5734598 | 5355 2777 | 1 | 1 1476.32/1476.61 c 1476s | 25 | 8299272 | 5742998 | 5355 2780 | 1 | 1 1478.32/1478.63 c 1478s | 25 | 8310821 | 5751498 | 5355 2783 | 1 | 1 1480.33/1480.65 c 1480s | 25 | 8321956 | 5759998 | 5355 2786 | 1 | 1 1482.32/1482.67 c 1482s | 25 | 8333167 | 5768498 | 5355 2789 | 1 | 1 1484.32/1484.69 c 1484s | 25 | 8346018 | 5776798 | 5355 2792 | 1 | 1 1486.32/1486.69 c 1486s | 25 | 8359234 | 5785198 | 5355 2796 | 1 | 1 1488.32/1488.69 c 1488s | 25 | 8374886 | 5794198 | 5355 2799 | 1 | 1 1490.33/1490.69 c 1490s | 25 | 8391402 | 5803198 | 5355 2802 | 1 | 1 1492.43/1492.71 c 1492s | 25 | 8404148 | 5811698 | 5355 2805 | 1 | 1 1494.42/1494.71 c 1494s | 25 | 8421016 | 5820698 | 5355 2809 | 1 | 1 1496.42/1496.72 c 1496s | 25 | 8433759 | 5829098 | 5355 2812 | 1 | 1 1498.42/1498.74 c 1498s | 25 | 8443533 | 5837098 | 5355 2815 | 1 | 1 1500.41/1500.75 c 1500s | 25 | 8454548 | 5845698 | 5355 2818 | 1 | 1 1502.42/1502.76 c 1502s | 25 | 8465003 | 5854098 | 5355 2821 | 1 | 1 1504.52/1504.83 c 1504s | 25 | 8474791 | 5861998 | 5355 2824 | 1 | 1 1506.51/1506.85 c 1506s | 25 | 8486475 | 5870498 | 5355 2827 | 1 | 1 1508.51/1508.87 c 1508s | 25 | 8496393 | 5877698 | 5355 2830 | 1 | 1 1510.51/1510.88 c 1510s | 25 | 8511654 | 5885898 | 5355 2833 | 1 | 1 1512.51/1512.88 c 1512s | 25 | 8524872 | 5894098 | 5355 2836 | 1 | 1 1514.51/1514.89 c 1514s | 25 | 8535989 | 5901798 | 5355 2838 | 1 | 1 1516.50/1516.89 c 1516s | 25 | 8549167 | 5909498 | 5355 2841 | 1 | 1 1518.60/1518.91 c 1518s | 25 | 8559304 | 5916898 | 5355 2844 | 1 | 1 1520.60/1520.92 c 1520s | 25 | 8569254 | 5924498 | 5355 2847 | 1 | 1 1522.60/1522.94 c 1522s | 25 | 8579406 | 5932198 | 5355 2850 | 1 | 1 1524.60/1524.95 c 1524s | 25 | 8588391 | 5939598 | 5355 2852 | 1 | 1 1526.60/1526.95 c 1526s | 25 | 8598292 | 5947098 | 5355 2855 | 1 | 1 1528.60/1528.95 c 1528s | 25 | 8610047 | 5954998 | 5355 2858 | 1 | 1 1530.60/1530.97 c 1530s | 25 | 8621293 | 5962898 | 5355 2861 | 1 | 1 1532.60/1532.99 c 1532s | 25 | 8630764 | 5970498 | 5355 2864 | 1 | 1 1534.69/1535.04 c 1534s | 25 | 8639484 | 5977898 | 5355 2867 | 1 | 1 1536.69/1537.06 c 1537s | 25 | 8649210 | 5985998 | 5355 2870 | 1 | 1 1538.70/1539.07 c 1539s | 25 | 8658136 | 5993498 | 5355 2872 | 1 | 1 1540.70/1541.08 c 1541s | 25 | 8668201 | 6001198 | 5355 2875 | 1 | 1 1542.70/1543.09 c 1543s | 25 | 8682583 | 6009398 | 5355 2878 | 1 | 1 1544.80/1545.11 c 1545s | 25 | 8697894 | 6018498 | 5355 2881 | 1 | 1 1546.79/1547.14 c 1547s | 25 | 8709385 | 6026798 | 5355 2885 | 1 | 1 1548.79/1549.16 c 1549s | 25 | 8720767 | 6035498 | 5355 2888 | 1 | 1 1550.80/1551.17 c 1551s | 25 | 8732267 | 6044098 | 5355 2891 | 1 | 1 1552.79/1553.18 c 1553s | 25 | 8742300 | 6051798 | 5355 2894 | 1 | 1 1554.79/1555.19 c 1555s | 25 | 8751124 | 6058998 | 5355 2896 | 1 | 1 1556.89/1557.21 c 1557s | 25 | 8761283 | 6066598 | 5355 2899 | 1 | 1 1558.89/1559.23 c 1559s | 25 | 8771291 | 6073898 | 5355 2902 | 1 | 1 1560.89/1561.25 c 1561s | 25 | 8779862 | 6080998 | 5355 2905 | 1 | 1 1562.89/1563.27 c 1563s | 25 | 8789131 | 6088398 | 5355 2907 | 1 | 1 1564.89/1565.27 c 1565s | 25 | 8797753 | 6095598 | 5355 2910 | 1 | 1 1566.98/1567.30 c 1567s | 25 | 8806680 | 6102998 | 5355 2913 | 1 | 1 1568.98/1569.32 c 1569s | 25 | 8816127 | 6110598 | 5355 2915 | 1 | 1 1570.98/1571.34 c 1571s | 25 | 8825169 | 6117898 | 5355 2918 | 1 | 1 1572.98/1573.36 c 1573s | 25 | 8834062 | 6125498 | 5355 2921 | 1 | 1 1574.98/1575.36 c 1575s | 25 | 8843591 | 6133198 | 5355 2924 | 1 | 1 1576.97/1577.37 c 1577s | 25 | 8853397 | 6140798 | 5355 2927 | 1 | 1 1578.97/1579.37 c 1579s | 25 | 8862365 | 6148198 | 5355 2929 | 1 | 1 1580.97/1581.39 c 1581s | 25 | 8873253 | 6155998 | 5355 2932 | 1 | 1 1583.07/1583.41 c 1583s | 25 | 8885040 | 6163998 | 5355 2935 | 1 | 1 1585.07/1585.42 c 1585s | 25 | 8894526 | 6171398 | 5355 2938 | 1 | 1 1587.08/1587.44 c 1587s | 25 | 8909669 | 6179598 | 5355 2941 | 1 | 1 1589.07/1589.45 c 1589s | 25 | 8922187 | 6188398 | 5355 2944 | 1 | 1 1591.07/1591.49 c 1591s | 25 | 8938339 | 6197198 | 5355 2947 | 1 | 1 1593.07/1593.50 c 1593s | 25 | 8950052 | 6205498 | 5355 2950 | 1 | 1 1595.17/1595.51 c 1595s | 25 | 8960908 | 6213698 | 5355 2954 | 1 | 1 1597.16/1597.52 c 1597s | 25 | 8971292 | 6221298 | 5355 2956 | 1 | 1 1599.17/1599.53 c 1599s | 25 | 8980608 | 6228698 | 5355 2959 | 1 | 1 1601.16/1601.54 c 1601s | 25 | 8991029 | 6236398 | 5355 2962 | 1 | 1 1603.16/1603.54 c 1603s | 25 | 9000405 | 6244098 | 5355 2965 | 1 | 1 1605.16/1605.54 c 1605s | 25 | 9009934 | 6251998 | 5355 2968 | 1 | 1 1607.16/1607.58 c 1607s | 25 | 9020097 | 6259798 | 5355 2971 | 1 | 1 1609.26/1609.60 c 1609s | 25 | 9030705 | 6268498 | 5355 2974 | 1 | 1 1611.27/1611.61 c 1611s | 25 | 9040658 | 6276298 | 5355 2977 | 1 | 1 1613.26/1613.62 c 1613s | 25 | 9050482 | 6284098 | 5355 2979 | 1 | 1 1615.26/1615.64 c 1615s | 25 | 9059401 | 6291598 | 5355 2982 | 1 | 1 1617.25/1617.66 c 1617s | 25 | 9068901 | 6299698 | 5355 2985 | 1 | 1 1619.25/1619.66 c 1619s | 25 | 9078287 | 6307298 | 5355 2988 | 1 | 1 1621.25/1621.67 c 1621s | 25 | 9089410 | 6314998 | 5355 2991 | 1 | 1 1623.26/1623.67 c 1623s | 25 | 9099835 | 6322898 | 5355 2994 | 1 | 1 1625.25/1625.69 c 1625s | 25 | 9108894 | 6330498 | 5355 2997 | 1 | 1 1627.35/1627.70 c 1627s | 25 | 9118284 | 6338298 | 5355 2999 | 1 | 1 1629.35/1629.71 c 1629s | 25 | 9128185 | 6346198 | 5355 3002 | 1 | 1 1631.35/1631.73 c 1631s | 25 | 9138072 | 6353998 | 5355 3005 | 1 | 1 1633.34/1633.74 c 1633s | 25 | 9147290 | 6361598 | 5355 3008 | 1 | 1 1635.35/1635.76 c 1635s | 25 | 9156707 | 6369198 | 5355 3011 | 1 | 1 1637.34/1637.78 c 1637s | 25 | 9165618 | 6376398 | 5355 3014 | 1 | 1 1639.44/1639.80 c 1639s | 25 | 9175776 | 6384398 | 5355 3017 | 1 | 1 1641.44/1641.81 c 1641s | 25 | 9189543 | 6391898 | 5355 3019 | 1 | 1 1643.44/1643.82 c 1643s | 25 | 9202476 | 6399598 | 5355 3022 | 1 | 1 1645.44/1645.83 c 1645s | 25 | 9212665 | 6406898 | 5355 3025 | 1 | 1 1647.44/1647.85 c 1647s | 25 | 9223229 | 6414398 | 5355 3028 | 1 | 1 1649.44/1649.86 c 1649s | 25 | 9232041 | 6421498 | 5355 3030 | 1 | 1 1651.44/1651.87 c 1651s | 25 | 9241038 | 6428798 | 5355 3033 | 1 | 1 1653.44/1653.88 c 1653s | 25 | 9251665 | 6436098 | 5355 3035 | 1 | 1 1655.54/1655.90 c 1655s | 25 | 9262326 | 6443698 | 5355 3038 | 1 | 1 1657.53/1657.90 c 1657s | 25 | 9275350 | 6451598 | 5355 3041 | 1 | 1 1659.54/1659.91 c 1659s | 25 | 9284581 | 6459098 | 5355 3044 | 1 | 1 1661.53/1661.93 c 1661s | 25 | 9294083 | 6466398 | 5355 3047 | 1 | 1 1663.53/1663.96 c 1663s | 25 | 9303331 | 6474198 | 5355 3050 | 1 | 1 1665.53/1665.98 c 1665s | 25 | 9313050 | 6481898 | 5355 3052 | 1 | 1 1667.53/1667.99 c 1667s | 25 | 9325805 | 6489798 | 5355 3055 | 1 | 1 1669.63/1670.00 c 1669s | 25 | 9341022 | 6497998 | 5355 3058 | 1 | 1 1671.63/1672.03 c 1671s | 25 | 9353620 | 6505798 | 5355 3061 | 1 | 1 1673.62/1674.03 c 1673s | 25 | 9368088 | 6513898 | 5355 3064 | 1 | 1 1675.62/1676.04 c 1676s | 25 | 9381826 | 6521198 | 5355 3067 | 1 | 1 1677.62/1678.04 c 1678s | 25 | 9392378 | 6528498 | 5355 3070 | 1 | 1 1679.62/1680.04 c 1680s | 25 | 9402299 | 6535698 | 5355 3072 | 1 | 1 1681.63/1682.06 c 1682s | 25 | 9413193 | 6543498 | 5355 3075 | 1 | 1 1683.62/1684.08 c 1684s | 25 | 9424370 | 6550998 | 5355 3078 | 1 | 1 1685.72/1686.11 c 1686s | 25 | 9433404 | 6558298 | 5355 3081 | 1 | 1 1687.71/1688.14 c 1688s | 25 | 9446295 | 6566098 | 5355 3083 | 1 | 1 1689.71/1690.15 c 1690s | 25 | 9456489 | 6573698 | 5355 3086 | 1 | 1 1691.71/1692.16 c 1692s | 25 | 9465635 | 6581098 | 5355 3089 | 1 | 1 1693.72/1694.19 c 1694s | 25 | 9473755 | 6587898 | 5355 3092 | 1 | 1 1695.71/1696.19 c 1696s | 25 | 9483102 | 6595198 | 5355 3094 | 1 | 1 1697.80/1698.21 c 1698s | 25 | 9492062 | 6602498 | 5355 3097 | 1 | 1 1699.80/1700.21 c 1700s | 25 | 9501009 | 6609698 | 5355 3100 | 1 | 1 1701.81/1702.22 c 1702s | 25 | 9509387 | 6616798 | 5355 3102 | 1 | 1 1703.81/1704.22 c 1704s | 25 | 9518529 | 6624098 | 5355 3105 | 1 | 1 1705.82/1706.24 c 1706s | 25 | 9527686 | 6631298 | 5355 3108 | 1 | 1 1707.80/1708.27 c 1708s | 25 | 9536550 | 6638898 | 5355 3110 | 1 | 1 1709.90/1710.30 c 1710s | 25 | 9544850 | 6645798 | 5355 3113 | 1 | 1 1711.90/1712.31 c 1712s | 25 | 9553690 | 6653098 | 5355 3116 | 1 | 1 1713.90/1714.33 c 1714s | 25 | 9563169 | 6660798 | 5355 3118 | 1 | 1 1715.90/1716.33 c 1716s | 25 | 9572110 | 6668498 | 5355 3121 | 1 | 1 1717.90/1718.35 c 1718s | 25 | 9580714 | 6675898 | 5355 3124 | 1 | 1 1719.89/1720.35 c 1720s | 25 | 9588632 | 6682798 | 5355 3126 | 1 | 1 1721.89/1722.37 c 1722s | 25 | 9597807 | 6689898 | 5355 3129 | 1 | 1 1723.89/1724.37 c 1724s | 25 | 9606125 | 6696898 | 5355 3132 | 1 | 1 1725.89/1726.37 c 1726s | 25 | 9615279 | 6704398 | 5355 3134 | 1 | 1 1727.89/1728.37 c 1728s | 25 | 9624918 | 6711798 | 5355 3137 | 1 | 1 1729.99/1730.41 c 1730s | 25 | 9634403 | 6719498 | 5355 3140 | 1 | 1 1731.98/1732.42 c 1732s | 25 | 9643613 | 6726798 | 5355 3143 | 1 | 1 1733.98/1734.44 c 1734s | 25 | 9654208 | 6734298 | 5355 3145 | 1 | 1 1735.98/1736.46 c 1736s | 25 | 9664637 | 6742098 | 5355 3148 | 1 | 1 1737.98/1738.46 c 1738s | 25 | 9676380 | 6749698 | 5355 3151 | 1 | 1 1739.98/1740.46 c 1740s | 25 | 9685313 | 6756898 | 5355 3154 | 1 | 1 1741.98/1742.49 c 1742s | 25 | 9693768 | 6764098 | 5355 3156 | 1 | 1 1744.08/1744.50 c 1744s | 25 | 9703156 | 6771898 | 5355 3159 | 1 | 1 1746.07/1746.52 c 1746s | 25 | 9712152 | 6779498 | 5355 3162 | 1 | 1 1748.07/1748.53 c 1748s | 25 | 9721362 | 6787198 | 5355 3165 | 1 | 1 1750.07/1750.54 c 1750s | 25 | 9731345 | 6795098 | 5355 3168 | 1 | 1 1752.07/1752.56 c 1752s | 25 | 9740469 | 6802598 | 5355 3171 | 1 | 1 1754.08/1754.56 c 1754s | 25 | 9749546 | 6810198 | 5355 3173 | 1 | 1 1756.08/1756.58 c 1756s | 25 | 9758536 | 6817498 | 5355 3176 | 1 | 1 1758.07/1758.58 c 1758s | 25 | 9767494 | 6824798 | 5355 3179 | 1 | 1 1760.07/1760.59 c 1760s | 25 | 9777519 | 6832298 | 5355 3182 | 1 | 1 1762.17/1762.61 c 1762s | 25 | 9786571 | 6839798 | 5355 3184 | 1 | 1 1764.17/1764.61 c 1764s | 25 | 9795754 | 6847398 | 5355 3187 | 1 | 1 1766.18/1766.61 c 1766s | 25 | 9805171 | 6854498 | 5355 3190 | 1 | 1 1768.17/1768.62 c 1768s | 25 | 9815263 | 6861898 | 5355 3193 | 1 | 1 1770.17/1770.63 c 1770s | 25 | 9824686 | 6869598 | 5355 3195 | 1 | 1 1772.17/1772.64 c 1772s | 25 | 9834134 | 6876998 | 5355 3198 | 1 | 1 1774.17/1774.65 c 1774s | 25 | 9844553 | 6884898 | 5355 3201 | 1 | 1 1776.17/1776.66 c 1776s | 25 | 9855296 | 6892998 | 5355 3204 | 1 | 1 1778.16/1778.66 c 1778s | 25 | 9867500 | 6900498 | 5355 3207 | 1 | 1 1780.16/1780.68 c 1780s | 25 | 9879223 | 6908398 | 5355 3210 | 1 | 1 1782.26/1782.72 c 1782s | 25 | 9890080 | 6915998 | 5355 3213 | 1 | 1 1784.26/1784.72 c 1784s | 25 | 9900365 | 6923598 | 5355 3215 | 1 | 1 1786.26/1786.74 c 1786s | 25 | 9910832 | 6931498 | 5355 3218 | 1 | 1 1788.26/1788.76 c 1788s | 25 | 9920595 | 6939098 | 5355 3221 | 1 | 1 1790.25/1790.78 c 1790s | 25 | 9929831 | 6946398 | 5355 3224 | 1 | 1 1792.35/1792.81 c 1792s | 25 | 9939688 | 6953998 | 5355 3227 | 1 | 1 1794.35/1794.84 c 1794s | 25 | 9949945 | 6962098 | 5355 3230 | 1 | 1 1796.35/1796.84 c 1796s | 25 | 9959185 | 6969598 | 5355 3232 | 1 | 1 1798.35/1798.84 c 1798s | 25 | 9969735 | 6977598 | 5355 3235 | 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-4080108-1465260417/watcher-4080108-1465260417 -o /tmp/evaluation-result-4080108-1465260417/solver-4080108-1465260417 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4331 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080108-1465260417.opb pid=4816 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.23 2.27 2.21 3/179 4819 /proc/meminfo: memFree=29186168/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=662972 CPUtime=0 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 2460 0 0 0 0 0 0 0 20 0 4 0 107975302 678883328 2821 33554432000 4194304 16246674 140735700820432 140735700819856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4819/statm: 166255 2831 441 2943 0 163149 0 [pid=4819/tid=4820] ppid=4816 vsize=680380 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 696709120 2890 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=684476 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 700903424 2909 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=688572 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 705097728 2925 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100118 s] /proc/loadavg: 2.23 2.27 2.21 3/179 4819 /proc/meminfo: memFree=29186168/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 24170 0 0 0 6 3 0 0 20 0 4 0 107975302 1247350784 24518 33554432000 4194304 16246674 140735700820432 140735700819856 12874965 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4819/statm: 304529 24524 791 2943 0 301423 0 [pid=4819/tid=4820] ppid=4816 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1247350784 24529 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1247350784 24534 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1247350784 24540 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200446 s] /proc/loadavg: 2.23 2.27 2.21 3/179 4819 /proc/meminfo: memFree=29186168/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 46340 0 0 0 13 6 0 0 20 0 4 0 107975302 1247350784 46688 33554432000 4194304 16246674 140735700820432 140735700819856 5721708 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4819/statm: 304529 46702 792 2943 0 301423 0 [pid=4819/tid=4820] ppid=4816 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1247350784 46705 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1247350784 46705 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1247350784 46705 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.30043 s] /proc/loadavg: 2.23 2.27 2.21 3/179 4819 /proc/meminfo: memFree=29186168/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1218116 CPUtime=0.28 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 69433 0 0 0 19 9 0 0 20 0 4 0 107975302 1247350784 69781 33554432000 4194304 16246674 140735700820432 140735700819856 5669490 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4819/statm: 304529 69791 792 2943 0 301423 0 [pid=4819/tid=4820] ppid=4816 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1247350784 69797 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1247350784 69800 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1247350784 69800 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700347 s] /proc/loadavg: 2.23 2.27 2.21 3/179 4819 /proc/meminfo: memFree=29186168/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 164181 0 0 0 47 21 0 0 20 0 4 0 107975302 1247350784 164530 33554432000 4194304 16246674 140735700820432 140735700802304 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4819/statm: 304529 164545 794 2943 0 301423 0 [pid=4819/tid=4820] ppid=4816 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1247350784 164555 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1247350784 164564 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1247350784 164569 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50035 s] /proc/loadavg: 2.23 2.27 2.21 3/183 4823 /proc/meminfo: memFree=28202356/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1220164 CPUtime=1.49 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 245983 0 0 0 117 32 0 0 20 0 4 0 107975302 1249447936 246309 33554432000 4194304 16246674 140735700820432 140735700802304 5546098 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4819/statm: 305041 246309 853 2943 0 301935 0 [pid=4819/tid=4820] ppid=4816 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1249447936 246309 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1249447936 246309 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1249447936 246309 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.10034 s] /proc/loadavg: 2.23 2.27 2.21 3/183 4823 /proc/meminfo: memFree=28117672/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 267557 0 0 0 274 35 0 0 20 0 4 0 107975302 1337528320 267883 33554432000 4194304 16246674 140735700820432 140735700802304 5754608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4819/statm: 326545 267883 853 2943 0 323439 0 [pid=4819/tid=4820] ppid=4816 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1337528320 267883 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1337528320 267883 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1337528320 267883 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30036 s] /proc/loadavg: 2.21 2.26 2.20 3/183 4823 /proc/meminfo: memFree=28114048/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1307204 CPUtime=6.28 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 267897 0 0 0 592 36 0 0 20 0 4 0 107975302 1338576896 268223 33554432000 4194304 16246674 140735700820432 140735700802304 6020477 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4819/statm: 326801 268223 853 2943 0 323695 0 [pid=4819/tid=4820] ppid=4816 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1338576896 268223 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1338576896 268223 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1338576896 268223 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.20 2.26 2.20 4/183 4823 /proc/meminfo: memFree=28113468/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1309252 CPUtime=12.68 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 268192 0 0 0 1232 36 0 0 20 0 4 0 107975302 1340674048 268518 33554432000 4194304 16246674 140735700820432 140735700803432 5546177 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4819/statm: 327313 268518 853 2943 0 324207 0 [pid=4819/tid=4820] ppid=4816 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1340674048 268518 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1340674048 268518 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1340674048 268518 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1309252 [startup+25.5004 s] /proc/loadavg: 2.37 2.30 2.21 4/183 4823 /proc/meminfo: memFree=28110872/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1310276 CPUtime=25.48 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 268666 0 0 0 2512 36 0 0 20 0 4 0 107975302 1341722624 268992 33554432000 4194304 16246674 140735700820432 140735700802304 6021664 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4819/statm: 327569 268992 853 2943 0 324463 0 [pid=4819/tid=4820] ppid=4816 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1341722624 268992 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1341722624 268992 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1341722624 268992 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 2.39 2.30 2.22 3/183 4823 /proc/meminfo: memFree=28106980/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1314372 CPUtime=51.07 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 269690 0 0 0 5070 37 0 0 20 0 4 0 107975302 1345916928 270016 33554432000 4194304 16246674 140735700820432 140735700802304 5667556 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4819/statm: 328593 270016 853 2943 0 325487 0 [pid=4819/tid=4820] ppid=4816 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1345916928 270016 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1345916928 270016 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1345916928 270016 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1314372 [startup+102.3 s] /proc/loadavg: 2.40 2.32 2.22 3/183 4824 /proc/meminfo: memFree=28099480/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1319492 CPUtime=102.27 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 270971 0 0 0 10189 38 0 0 20 0 4 0 107975302 1351159808 271297 33554432000 4194304 16246674 140735700820432 140735700802304 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4819/statm: 329873 271297 854 2943 0 326767 0 [pid=4819/tid=4820] ppid=4816 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1351159808 271297 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1351159808 271297 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1351159808 271297 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1319492 ################ # More data... # ################ /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 272833 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 1325636 [startup+1362.3 s] /proc/loadavg: 2.18 2.18 2.18 3/184 4879 /proc/meminfo: memFree=28072004/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1325636 CPUtime=1362.05 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 272507 0 0 0 136151 54 0 0 20 0 4 0 107975302 1357451264 272833 33554432000 4194304 16246674 140735700820432 140735700802304 6020936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4819/statm: 331409 272833 854 2943 0 328303 0 [pid=4819/tid=4820] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 272833 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 272833 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 272833 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 1325636 [startup+1422.3 s] /proc/loadavg: 2.18 2.18 2.18 3/185 4883 /proc/meminfo: memFree=28071528/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1325636 CPUtime=1422.04 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 272507 0 0 0 142149 55 0 0 20 0 4 0 107975302 1357451264 272833 33554432000 4194304 16246674 140735700820432 140735700802304 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4819/statm: 331409 272833 854 2943 0 328303 0 [pid=4819/tid=4820] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 272833 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 272833 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 272833 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 1325636 [startup+1482.3 s] /proc/loadavg: 2.26 2.19 2.18 3/184 4885 /proc/meminfo: memFree=28069932/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1325636 CPUtime=1482.02 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 272512 0 0 0 148146 56 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140735700803432 13820875 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4819/statm: 331409 273089 854 2943 0 328303 0 [pid=4819/tid=4820] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 1325636 [startup+1542.31 s] /proc/loadavg: 2.33 2.22 2.19 3/184 4886 /proc/meminfo: memFree=28070340/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1325636 CPUtime=1542 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 272556 0 0 0 154142 58 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140735700802304 5673488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4819/statm: 331409 273089 854 2943 0 328303 0 [pid=4819/tid=4820] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 1325636 [startup+1602.3 s] /proc/loadavg: 2.41 2.26 2.20 3/184 4887 /proc/meminfo: memFree=28070168/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1325636 CPUtime=1601.96 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 272594 0 0 0 160138 58 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140735700802304 5717604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4819/statm: 331409 273089 854 2943 0 328303 0 [pid=4819/tid=4820] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 1325636 [startup+1662.3 s] /proc/loadavg: 2.24 2.24 2.20 3/184 4888 /proc/meminfo: memFree=28069960/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1325636 CPUtime=1661.93 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 272635 0 0 0 166134 59 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140735700802304 5677884 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4819/statm: 331409 273089 854 2943 0 328303 0 [pid=4819/tid=4820] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 1325636 [startup+1722.3 s] /proc/loadavg: 2.22 2.23 2.19 3/184 4938 /proc/meminfo: memFree=28101924/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1325636 CPUtime=1721.89 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 272679 0 0 0 172129 60 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140735700802304 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4819/statm: 331409 273089 854 2943 0 328303 0 [pid=4819/tid=4820] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1325636 [startup+1782.3 s] /proc/loadavg: 2.29 2.24 2.19 3/184 4940 /proc/meminfo: memFree=28090888/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1325636 CPUtime=1781.86 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 272722 0 0 0 178125 61 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140735700802304 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4819/statm: 331409 273089 854 2943 0 328303 0 [pid=4819/tid=4820] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1325636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.27 2.24 2.19 3/184 4940 /proc/meminfo: memFree=28090496/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1325636 CPUtime=1800.05 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 272733 0 0 0 179944 61 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140735700802304 5523460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4819/statm: 331409 273089 854 2943 0 328303 0 [pid=4819/tid=4820] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1325636 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 4819 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.27 2.24 2.19 3/184 4940 /proc/meminfo: memFree=28090496/32872528 swapFree=15644/1722384 [pid=4819] ppid=4816 vsize=1325636 CPUtime=1800.05 cores=0,2,4,6 /proc/4819/stat : 4819 (toysat) R 4816 4819 4315 0 -1 4202496 272733 0 0 0 179944 61 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140735700802304 5523460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4819/statm: 331409 273089 854 2943 0 328303 0 [pid=4819/tid=4820] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4820/stat : 4820 (toysat) S 4816 4819 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164511804656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4819/tid=4821] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4821/stat : 4821 (toysat) S 4816 4819 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164501314800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4819/tid=4822] ppid=4816 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/4819/task/4822/stat : 4822 (toysat) S 4816 4819 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107975302 1357451264 273089 33554432000 4194304 16246674 140735700820432 140164378651824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1325636 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.54 CPU time (s): 1800.1 CPU user time (s): 1799.45 CPU system time (s): 0.644901 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 1325636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.45 system time used= 0.644901 maximum resident set size= 1092356 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272733 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= 239 involuntary context switches= 2356 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.66199 second user time and 9.34458 second system time The end
Begin job on node120 at 2016-06-07 02:46:57 IDJOB=4080108 IDBENCH=48227 IDSOLVER=2542 FILE ID=node120/4080108-1465260417 RUNJOBID= node120-1465256721-4331 PBS_JOBID= 19843284 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080108-1465260417/watcher-4080108-1465260417 -o /tmp/evaluation-result-4080108-1465260417/solver-4080108-1465260417 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4331 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080108-1465260417.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 26861ca996cf8fd2abe5c211e1f47a26 RANDOM SEED=1857238247 node120.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.425 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.85 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.425 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 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.425 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.425 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.425 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.425 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.425 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: 29186704 kB Buffers: 38580 kB Cached: 115444 kB SwapCached: 1468 kB Active: 1188796 kB Inactive: 53468 kB Active(anon): 1087540 kB Inactive(anon): 3204 kB Active(file): 101256 kB Inactive(file): 50264 kB Unevictable: 1722384 kB Mlocked: 15644 kB SwapTotal: 67108856 kB SwapFree: 67099628 kB Dirty: 16368 kB Writeback: 0 kB AnonPages: 2809580 kB Mapped: 11604 kB Shmem: 0 kB Slab: 585348 kB SReclaimable: 29432 kB SUnreclaim: 555916 kB KernelStack: 1472 kB PageTables: 9300 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2953768 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1712128 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= 71708 MiB End job on node120 at 2016-06-07 03:16:58