| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=457-P1=137-P2=191-B.opb |
| MD5SUM | 1b6d9352b1c2eb216ab83323b529fa56 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.047991 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 54 |
| Total number of constraints | 5 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 5 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 162 |
| Sum of products size (including duplicates) | 324 |
| Number of different products | 162 |
| Sum of products size | 324 |
0.00/0.00 c 2016-06-18T17:21:17+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-4106037-1466263277.opb"] 0.00/0.01 c use --random-gen="3781560916 76484453 3426110837 2029754881 1739709946 1112742054 893382690 3306474189 2737229572 1702980123 3793209048 3036277160 1532165924 3465817896 790425978 773486821 4201269692 1952122070 3647827047 1763536877 4171151872 2838732738 3417541547 147416907 1691059749 2366718617 1506889933 1345039034 3433167921 1059663516 3782673789 4229463203 4259530203 1640169760 1171274474 967043699 1971879858 3114336357 2371021338 2147343984 1013140297 2046060828 4183308176 2747606918 1077082723 3752776435 4230953582 1793667349 2198706429 3566065448 895263200 1732751197 2339225117 4116238606 4162226977 3699775334 3686464056 4136395584 685282243 3575701388 1804079317 2820769382 1024776934 1872268445 1030416376 3308693223 3082112371 696513159 1232040260 3247344391 8454183 2197695957 1576694325 1816905570 2897065048 1680533795 268032541 4170785192 3401482121 496731908 3481551430 3623463641 2750038121 2988485431 3433020917 957741649 3635693679 3995756398 3540887322 2398719763 1242735965 331506434 3409573908 1865761296 1585071666 1964743850 803813119 630778814 3021027750 1524203458 180764460 90384353 751199685 2000504417 1795088727 1032443051 628703916 786668710 1558326489 3470250895 3396319243 618056805 3794597397 3939279448 935013825 2264915821 334719647 3102980695 204350573 3775384726 2079412944 1677651010 2857680128 834790370 3648544669 3898985038 1631453582 3306636710 3220048869 676052149 2326232614 2022272288 2307051482 2065869700 3352639332 3912944990 3159099038 3318418533 2620894505 3270904774 3916668246 1962102911 2629701053 3457076326 3171123355 1524728491 2206365665 384986933 3765870961 2832570608 3731693438 2316157638 1744171616 3000570194 3895255863 1359939769 3987687564 3012136510 613542938 225034246 604702718 1305281 1754090535 1430272583 3647269081 2031956510 394503301 776939434 24921660 2980161096 775989281 2409821680 2919909458 3447870586 1439276987 3821318633 3416803004 479714107 4286197301 2316592004 1149836838 1751986782 2497060916 3576793905 3581306642 2241336678 1485327842 1979157146 1720451309 1583570765 1004671595 3418867125 2035223723 1581444080 1276002029 214847208 2543433628 774082322 2133178379 3506602013 1218113844 3075126160 1184860949 881157618 2271605054 2207655393 3572669669 1075807478 3694474041 522195103 2776877731 3372604623 871326917 1007212573 472661417 848315564 2203961588 4187273308 2116743826 4279628555 38903504 1271582737 3701601975 2778825125 3085379856 2710492519 2288742406 1427508535 2697216613 275541798 760912899 47140461 2758680563 3602302191 2354206248 1709829999 506829631 1703289462 2043622253 3237726458 940285225 194804415 2093835349 1764996738 503744257 1698080029 1519917823 493727047 562146269 614907008 844688162 869544960 1302080541 2253484622 941321496 3918397538 255 362436" option to reproduce the execution 0.00/0.01 c #vars 54 0.00/0.01 c #constraints 5 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 236 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 125 | 100 | 236 0 | 0 | 0 0.09/0.15 c 0.1s | 2 | 298 | 250 | 260 0 | 0 | 0 0.18/0.21 c 0.2s | 3 | 536 | 475 | 286 1 | 0 | 0 0.18/0.29 c 0.3s | 4 | 901 | 813 | 315 2 | 0 | 0 0.59/0.67 c 0.7s | 5 | 1438 | 1320 | 347 4 | 0 | 0 0.79/0.88 c 0.9s | 6 | 2279 | 2081 | 421 7 | 0 | 0 1.20/1.28 c 1.3s | 7 | 3467 | 3223 | 464 11 | 0 | 0 1.39/1.43 c 1.4s | 7 | 4072 | 3792 | 464 13 | 0 | 0 1.39/1.43 c #cpu_time = 1.412s 1.39/1.43 c #wall_clock_time = 1.412s 1.39/1.43 c #decision = 4072 1.39/1.43 c #random_decision = 12 1.39/1.43 c #conflict = 3792 1.39/1.43 c #restart = 7 1.39/1.43 o 237 1.39/1.43 c BCD2: hardening fixes 1 literals 1.39/1.43 c BCD2: updating upper bound: 511 -> 236 1.39/1.43 c BCD2: 0 <= obj <= 236 1.39/1.43 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=1 1.39/1.43 c BCD2: #sat=1 #unsat=1 bias=1/2 1.39/1.43 c Solving starts ... 1.39/1.43 c ============================[ Search Statistics ]============================ 1.39/1.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.43 c | | | | Limit GC | Var | Constra 1.39/1.43 c ============================================================================= 1.39/1.43 c 0.0s | 0 | 0 | 0 | 464 0 | 11 | 0 1.39/1.43 c 0.0s | 0 | 6 | 0 | 464 1 | 11 | 27 1.39/1.43 c #cpu_time = 0.002s 1.39/1.43 c #wall_clock_time = 0.002s 1.39/1.43 c #decision = 6 1.39/1.43 c #random_decision = 0 1.39/1.43 c #conflict = 0 1.39/1.43 c #restart = 0 1.39/1.43 c BCD2: found a new core of size 7: cost of the new core is >=2 1.39/1.43 c lower bound updated to 2 1.39/1.43 c BCD2: 2 <= obj <= 236 1.39/1.43 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=1 1.39/1.43 c BCD2: #sat=1 #unsat=2 bias=2/3 1.39/1.43 c Solving starts ... 1.39/1.43 c ============================[ Search Statistics ]============================ 1.39/1.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.43 c | | | | Limit GC | Var | Constra 1.39/1.43 c ============================================================================= 1.39/1.43 c 0.0s | 0 | 0 | 0 | 464 0 | 11 | 27 1.39/1.47 c 0.0s | 1 | 157 | 100 | 464 0 | 11 | 27 1.49/1.50 c 0.1s | 2 | 361 | 250 | 464 0 | 11 | 27 1.49/1.59 c 0.2s | 3 | 640 | 475 | 464 1 | 11 | 27 1.59/1.65 c 0.2s | 4 | 1031 | 813 | 464 2 | 11 | 27 1.69/1.79 c 0.4s | 5 | 1581 | 1320 | 511 4 | 11 | 27 1.89/1.93 c 0.5s | 6 | 2407 | 2081 | 511 6 | 11 | 27 2.20/2.20 c 0.8s | 7 | 3653 | 3223 | 511 10 | 11 | 27 2.49/2.57 c 1.1s | 8 | 5418 | 4936 | 563 14 | 11 | 27 3.29/3.31 c 1.9s | 9 | 8128 | 7506 | 563 22 | 11 | 27 3.99/4.04 c 2.6s | 10 | 12049 | 11361 | 620 31 | 11 | 27 5.39/5.41 c 4.0s | 11 | 17987 | 17144 | 682 45 | 11 | 27 7.18/7.20 c 5.8s | 12 | 26843 | 25819 | 751 66 | 11 | 27 9.18/9.20 c 7.8s | 12 | 36252 | 35019 | 827 86 | 11 | 27 9.89/9.99 c 8.6s | 13 | 40136 | 38832 | 827 94 | 11 | 27 11.99/12.01 c 10.6s | 13 | 49044 | 47332 | 827 112 | 11 | 27 13.99/14.03 c 12.6s | 13 | 58306 | 56232 | 910 130 | 11 | 27 14.49/14.52 c 13.1s | 14 | 60540 | 58352 | 910 134 | 11 | 27 16.50/16.53 c 15.1s | 14 | 69540 | 67152 | 910 150 | 11 | 27 18.49/18.53 c 17.1s | 14 | 78295 | 75652 | 910 167 | 11 | 27 20.49/20.53 c 19.1s | 14 | 86599 | 83752 | 1002 182 | 11 | 27 21.39/21.49 c 20.1s | 15 | 90565 | 87632 | 1002 189 | 11 | 27 23.49/23.50 c 22.1s | 15 | 98836 | 95732 | 1002 203 | 11 | 27 25.49/25.54 c 24.1s | 15 | 107958 | 104632 | 1002 218 | 11 | 27 27.49/27.54 c 26.1s | 15 | 116451 | 112832 | 1002 233 | 11 | 27 29.49/29.55 c 28.1s | 15 | 125626 | 121732 | 1002 249 | 11 | 27 31.49/31.55 c 30.1s | 15 | 134953 | 130832 | 1103 264 | 11 | 27 31.69/31.71 c 30.3s | 16 | 135682 | 131552 | 1103 265 | 11 | 27 33.68/33.73 c 32.3s | 16 | 144822 | 140552 | 1103 279 | 11 | 27 35.68/35.74 c 34.3s | 16 | 154251 | 149752 | 1103 294 | 11 | 27 37.68/37.75 c 36.3s | 16 | 163178 | 158552 | 1103 308 | 11 | 27 39.69/39.76 c 38.3s | 16 | 171798 | 167052 | 1103 322 | 11 | 27 41.68/41.78 c 40.3s | 16 | 180893 | 175952 | 1103 336 | 11 | 27 43.78/43.80 c 42.4s | 16 | 189967 | 184852 | 1103 351 | 11 | 27 45.78/45.81 c 44.4s | 16 | 198915 | 193652 | 1214 365 | 11 | 27 46.58/46.65 c 45.2s | 17 | 202767 | 197432 | 1214 370 | 11 | 27 48.58/48.65 c 47.2s | 17 | 210652 | 205132 | 1214 382 | 11 | 27 50.59/50.66 c 49.2s | 17 | 219074 | 213432 | 1214 394 | 11 | 27 52.58/52.68 c 51.3s | 17 | 227548 | 221732 | 1214 406 | 11 | 27 54.58/54.69 c 53.3s | 17 | 235980 | 229932 | 1214 418 | 11 | 27 56.68/56.71 c 55.3s | 17 | 244981 | 238732 | 1214 431 | 11 | 27 58.68/58.72 c 57.3s | 17 | 253872 | 247432 | 1214 444 | 11 | 27 60.68/60.74 c 59.3s | 17 | 262744 | 256132 | 1214 457 | 11 | 27 62.68/62.74 c 61.3s | 17 | 271708 | 264832 | 1214 470 | 11 | 27 64.68/64.74 c 63.3s | 17 | 280371 | 273232 | 1214 483 | 11 | 27 66.68/66.75 c 65.3s | 17 | 289043 | 281732 | 1214 495 | 11 | 27 68.67/68.75 c 67.3s | 17 | 297732 | 290232 | 1214 508 | 11 | 27 70.07/70.18 c 68.8s | 18 | 303907 | 296252 | 1336 516 | 11 | 27 72.17/72.21 c 70.8s | 18 | 312305 | 304452 | 1336 527 | 11 | 27 74.17/74.21 c 72.8s | 18 | 321385 | 313152 | 1336 538 | 11 | 27 76.17/76.22 c 74.8s | 18 | 329811 | 321452 | 1336 550 | 11 | 27 78.18/78.22 c 76.8s | 18 | 338024 | 329552 | 1336 561 | 11 | 27 80.17/80.22 c 78.8s | 18 | 346607 | 337952 | 1336 572 | 11 | 27 82.17/82.23 c 80.8s | 18 | 354902 | 346052 | 1336 583 | 11 | 27 84.18/84.23 c 82.8s | 18 | 363133 | 354152 | 1336 594 | 11 | 27 86.18/86.24 c 84.8s | 18 | 371373 | 362252 | 1336 605 | 11 | 27 88.18/88.25 c 86.8s | 18 | 380259 | 370952 | 1336 617 | 11 | 27 90.19/90.25 c 88.8s | 18 | 388381 | 378952 | 1336 628 | 11 | 27 92.18/92.26 c 90.8s | 18 | 396949 | 387352 | 1336 640 | 11 | 27 94.18/94.26 c 92.8s | 18 | 405606 | 395752 | 1336 651 | 11 | 27 96.18/96.27 c 94.8s | 18 | 413893 | 403952 | 1336 662 | 11 | 27 98.17/98.28 c 96.8s | 18 | 422252 | 412152 | 1336 674 | 11 | 27 100.18/100.29 c 98.9s | 18 | 430709 | 420352 | 1336 685 | 11 | 27 102.28/102.31 c 100s | 18 | 438625 | 428052 | 1336 696 | 11 | 27 104.27/104.33 c 102s | 18 | 447201 | 436452 | 1336 708 | 11 | 27 106.27/106.32 c 104s | 19 | 455464 | 444482 | 1470 718 | 11 | 27 108.27/108.33 c 106s | 19 | 463068 | 451882 | 1470 727 | 11 | 27 110.27/110.35 c 108s | 19 | 471652 | 460182 | 1470 737 | 11 | 27 112.28/112.36 c 110s | 19 | 480404 | 468482 | 1470 747 | 11 | 27 114.27/114.37 c 112s | 19 | 488553 | 476382 | 1470 757 | 11 | 27 116.27/116.37 c 114s | 19 | 497345 | 484982 | 1470 768 | 11 | 27 118.27/118.38 c 116s | 19 | 506188 | 493482 | 1470 778 | 11 | 27 120.27/120.38 c 118s | 19 | 515598 | 502582 | 1470 789 | 11 | 27 122.37/122.40 c 120s | 19 | 524634 | 511382 | 1470 800 | 11 | 27 124.37/124.42 c 122s | 19 | 533812 | 520182 | 1470 811 | 11 | 27 126.37/126.43 c 124s | 19 | 542472 | 528582 | 1470 822 | 11 | 27 128.37/128.44 c 127s | 19 | 551365 | 536982 | 1470 832 | 11 | 27 130.37/130.45 c 129s | 19 | 560129 | 545482 | 1470 843 | 11 | 27 132.36/132.45 c 131s | 19 | 567980 | 553182 | 1470 853 | 11 | 27 134.36/134.47 c 133s | 19 | 575958 | 560882 | 1470 862 | 11 | 27 136.38/136.47 c 135s | 19 | 584193 | 568682 | 1470 872 | 11 | 27 138.47/138.50 c 137s | 19 | 592805 | 577082 | 1470 882 | 11 | 27 140.47/140.51 c 139s | 19 | 601784 | 585782 | 1470 893 | 11 | 27 142.47/142.54 c 141s | 19 | 610526 | 594282 | 1470 904 | 11 | 27 144.47/144.56 c 143s | 19 | 619271 | 602782 | 1470 915 | 11 | 27 146.47/146.57 c 145s | 19 | 627844 | 611182 | 1470 925 | 11 | 27 148.48/148.60 c 147s | 19 | 636474 | 619482 | 1470 936 | 11 | 27 150.57/150.63 c 149s | 19 | 644811 | 627482 | 1470 946 | 11 | 27 152.57/152.63 c 151s | 19 | 653099 | 635282 | 1470 955 | 11 | 27 154.57/154.66 c 153s | 19 | 661750 | 643582 | 1470 966 | 11 | 27 156.57/156.67 c 155s | 19 | 670117 | 651682 | 1470 976 | 11 | 27 158.56/158.69 c 157s | 19 | 678483 | 659682 | 1618 986 | 11 | 27 160.26/160.39 c 158s | 20 | 685954 | 666827 | 1618 994 | 11 | 27 162.36/162.40 c 160s | 20 | 693729 | 674427 | 1618 1002 | 11 | 27 164.36/164.42 c 162s | 20 | 701919 | 682427 | 1618 1012 | 11 | 27 166.36/166.43 c 165s | 20 | 710215 | 690527 | 1618 1021 | 11 | 27 168.37/168.44 c 167s | 20 | 718347 | 698527 | 1618 1030 | 11 | 27 170.36/170.45 c 169s | 20 | 726707 | 706727 | 1618 1039 | 11 | 27 172.36/172.47 c 171s | 20 | 734270 | 714127 | 1618 1048 | 11 | 27 174.36/174.47 c 173s | 20 | 742560 | 722227 | 1618 1057 | 11 | 27 176.36/176.49 c 175s | 20 | 750455 | 730027 | 1618 1066 | 11 | 27 178.36/178.49 c 177s | 20 | 758739 | 738127 | 1618 1075 | 11 | 27 180.37/180.50 c 179s | 20 | 766443 | 745627 | 1618 1084 | 11 | 27 182.46/182.50 c 181s | 20 | 774270 | 753327 | 1618 1092 | 11 | 27 184.46/184.52 c 183s | 20 | 782210 | 761127 | 1618 1101 | 11 | 27 186.46/186.52 c 185s | 20 | 789300 | 768127 | 1618 1109 | 11 | 27 188.46/188.54 c 187s | 20 | 797648 | 776327 | 1618 1118 | 11 | 27 190.46/190.54 c 189s | 20 | 805625 | 784127 | 1618 1127 | 11 | 27 192.46/192.55 c 191s | 20 | 813791 | 792127 | 1618 1136 | 11 | 27 194.45/194.57 c 193s | 20 | 822081 | 800327 | 1618 1146 | 11 | 27 196.45/196.58 c 195s | 20 | 830381 | 808427 | 1618 1155 | 11 | 27 198.45/198.59 c 197s | 20 | 838020 | 815827 | 1618 1164 | 11 | 27 200.55/200.60 c 199s | 20 | 845947 | 823527 | 1618 1172 | 11 | 27 202.55/202.60 c 201s | 20 | 854378 | 831727 | 1618 1182 | 11 | 27 204.55/204.61 c 203s | 20 | 862607 | 839727 | 1618 1191 | 11 | 27 206.55/206.62 c 205s | 20 | 870778 | 847627 | 1618 1200 | 11 | 27 208.55/208.65 c 207s | 20 | 878760 | 855527 | 1618 1209 | 11 | 27 210.54/210.68 c 209s | 20 | 886180 | 862827 | 1618 1217 | 11 | 27 212.64/212.70 c 211s | 20 | 894041 | 870427 | 1618 1226 | 11 | 27 214.64/214.71 c 213s | 20 | 901631 | 877827 | 1618 1234 | 11 | 27 216.65/216.72 c 215s | 20 | 908078 | 883927 | 1618 1241 | 11 | 27 218.64/218.73 c 217s | 20 | 915710 | 891227 | 1618 1250 | 11 | 27 220.64/220.74 c 219s | 20 | 923471 | 898827 | 1618 1258 | 11 | 27 222.64/222.76 c 221s | 20 | 931495 | 906727 | 1618 1267 | 11 | 27 224.64/224.77 c 223s | 20 | 939641 | 914627 | 1618 1276 | 11 | 27 226.65/226.77 c 225s | 20 | 948038 | 922727 | 1618 1285 | 11 | 27 228.65/228.80 c 227s | 20 | 956702 | 931227 | 1618 1295 | 11 | 27 230.74/230.80 c 229s | 20 | 964722 | 939027 | 1618 1304 | 11 | 27 232.74/232.82 c 231s | 20 | 971355 | 945327 | 1618 1311 | 11 | 27 234.74/234.83 c 233s | 20 | 979531 | 953327 | 1618 1320 | 11 | 27 236.74/236.85 c 235s | 20 | 987543 | 961127 | 1618 1329 | 11 | 27 238.75/238.86 c 237s | 20 | 995745 | 968927 | 1618 1338 | 11 | 27 240.74/240.87 c 239s | 20 | 1003349 | 976427 | 1618 1346 | 11 | 27 242.74/242.89 c 241s | 20 | 1010869 | 983827 | 1618 1355 | 11 | 27 244.84/244.90 c 243s | 20 | 1018861 | 991627 | 1780 1363 | 11 | 27 246.84/246.93 c 245s | 20 | 1026492 | 999027 | 1780 1371 | 11 | 27 247.34/247.43 c 246s | 21 | 1027921 | 1000345 | 1780 1372 | 11 | 27 249.34/249.45 c 248s | 21 | 1034836 | 1007045 | 1780 1379 | 11 | 27 251.33/251.47 c 250s | 21 | 1041654 | 1013645 | 1780 1386 | 11 | 27 253.33/253.49 c 252s | 21 | 1048421 | 1020145 | 1780 1393 | 11 | 27 255.43/255.51 c 254s | 21 | 1055589 | 1027045 | 1780 1400 | 11 | 27 257.44/257.53 c 256s | 21 | 1062224 | 1033445 | 1780 1407 | 11 | 27 259.43/259.54 c 258s | 21 | 1070136 | 1041245 | 1780 1415 | 11 | 27 261.43/261.55 c 260s | 21 | 1078143 | 1049145 | 1780 1423 | 11 | 27 263.43/263.57 c 262s | 21 | 1085502 | 1056345 | 1780 1431 | 11 | 27 265.43/265.58 c 264s | 21 | 1092768 | 1063245 | 1780 1438 | 11 | 27 267.43/267.59 c 266s | 21 | 1100660 | 1070945 | 1780 1446 | 11 | 27 269.53/269.61 c 268s | 21 | 1108004 | 1077845 | 1780 1453 | 11 | 27 271.52/271.65 c 270s | 21 | 1114458 | 1084145 | 1780 1460 | 11 | 27 273.52/273.67 c 272s | 21 | 1121775 | 1091245 | 1780 1467 | 11 | 27 275.62/275.70 c 274s | 21 | 1129164 | 1098445 | 1780 1474 | 11 | 27 277.62/277.73 c 276s | 21 | 1136139 | 1105045 | 1780 1481 | 11 | 27 279.62/279.76 c 278s | 21 | 1143058 | 1111845 | 1780 1488 | 11 | 27 281.62/281.78 c 280s | 21 | 1149439 | 1118145 | 1780 1495 | 11 | 27 283.62/283.78 c 282s | 21 | 1157353 | 1125845 | 1780 1503 | 11 | 27 285.72/285.81 c 284s | 21 | 1165231 | 1133445 | 1780 1511 | 11 | 27 287.72/287.82 c 286s | 21 | 1173477 | 1141545 | 1780 1519 | 11 | 27 289.73/289.83 c 288s | 21 | 1181476 | 1149445 | 1780 1527 | 11 | 27 291.72/291.83 c 290s | 21 | 1189464 | 1157245 | 1780 1535 | 11 | 27 293.73/293.84 c 292s | 21 | 1197196 | 1164845 | 1780 1543 | 11 | 27 295.72/295.84 c 294s | 21 | 1205170 | 1172745 | 1780 1551 | 11 | 27 297.72/297.84 c 296s | 21 | 1212878 | 1180345 | 1780 1559 | 11 | 27 299.72/299.86 c 298s | 21 | 1220933 | 1188245 | 1780 1567 | 11 | 27 301.71/301.89 c 300s | 21 | 1227908 | 1195145 | 1780 1575 | 11 | 27 303.81/303.91 c 302s | 21 | 1235703 | 1202845 | 1780 1583 | 11 | 27 305.82/305.94 c 304s | 21 | 1243743 | 1210645 | 1780 1591 | 11 | 27 307.81/307.95 c 306s | 21 | 1251500 | 1218145 | 1780 1598 | 11 | 27 309.81/309.95 c 308s | 21 | 1259317 | 1225645 | 1780 1606 | 11 | 27 311.81/311.96 c 310s | 21 | 1266343 | 1232545 | 1780 1613 | 11 | 27 313.81/313.97 c 312s | 21 | 1273617 | 1239545 | 1780 1621 | 11 | 27 315.81/315.98 c 314s | 21 | 1281490 | 1246845 | 1780 1628 | 11 | 27 317.82/317.99 c 316s | 21 | 1289504 | 1254645 | 1780 1636 | 11 | 27 319.81/319.99 c 318s | 21 | 1297346 | 1262345 | 1780 1644 | 11 | 27 321.91/322.01 c 320s | 21 | 1305285 | 1270145 | 1780 1653 | 11 | 27 323.90/324.03 c 322s | 21 | 1313193 | 1277745 | 1780 1660 | 11 | 27 325.90/326.04 c 324s | 21 | 1320738 | 1285045 | 1780 1668 | 11 | 27 327.90/328.07 c 326s | 21 | 1328100 | 1292245 | 1780 1676 | 11 | 27 329.91/330.08 c 328s | 21 | 1335285 | 1299245 | 1780 1683 | 11 | 27 331.90/332.09 c 330s | 21 | 1341182 | 1304945 | 1780 1689 | 11 | 27 333.90/334.10 c 332s | 21 | 1348264 | 1311945 | 1780 1696 | 11 | 27 336.00/336.10 c 334s | 21 | 1355481 | 1318945 | 1780 1704 | 11 | 27 338.00/338.11 c 336s | 21 | 1363526 | 1326745 | 1780 1712 | 11 | 27 339.99/340.14 c 338s | 21 | 1370800 | 1333445 | 1780 1719 | 11 | 27 342.00/342.16 c 340s | 21 | 1377864 | 1340045 | 1780 1726 | 11 | 27 343.99/344.18 c 342s | 21 | 1384325 | 1346245 | 1780 1733 | 11 | 27 345.99/346.19 c 344s | 21 | 1390083 | 1351845 | 1780 1738 | 11 | 27 348.09/348.22 c 346s | 21 | 1396646 | 1358145 | 1780 1745 | 11 | 27 350.09/350.24 c 348s | 21 | 1403523 | 1364645 | 1780 1752 | 11 | 27 352.09/352.25 c 350s | 21 | 1410327 | 1371245 | 1780 1759 | 11 | 27 354.09/354.25 c 352s | 21 | 1416001 | 1376845 | 1780 1765 | 11 | 27 356.08/356.27 c 354s | 21 | 1423377 | 1384045 | 1780 1773 | 11 | 27 358.08/358.29 c 356s | 21 | 1431314 | 1391445 | 1780 1781 | 11 | 27 360.18/360.31 c 358s | 21 | 1438424 | 1398145 | 1780 1788 | 11 | 27 362.18/362.33 c 360s | 21 | 1445535 | 1404745 | 1780 1795 | 11 | 27 364.19/364.35 c 362s | 21 | 1452977 | 1411745 | 1780 1802 | 11 | 27 366.20/366.36 c 364s | 21 | 1460242 | 1418645 | 1780 1810 | 11 | 27 368.19/368.37 c 366s | 21 | 1466162 | 1424445 | 1780 1816 | 11 | 27 370.19/370.39 c 368s | 21 | 1472452 | 1430545 | 1780 1822 | 11 | 27 372.28/372.41 c 370s | 21 | 1480100 | 1437845 | 1780 1830 | 11 | 27 374.28/374.42 c 372s | 21 | 1488029 | 1445145 | 1780 1838 | 11 | 27 376.28/376.44 c 375s | 21 | 1494746 | 1451545 | 1780 1844 | 11 | 27 378.29/378.47 c 377s | 21 | 1501964 | 1458345 | 1780 1852 | 11 | 27 380.28/380.48 c 379s | 21 | 1510111 | 1466045 | 1780 1860 | 11 | 27 382.37/382.51 c 381s | 21 | 1517188 | 1472845 | 1780 1867 | 11 | 27 384.37/384.53 c 383s | 21 | 1525071 | 1480345 | 1780 1875 | 11 | 27 386.37/386.55 c 385s | 21 | 1531117 | 1486245 | 1959 1881 | 11 | 27 388.37/388.56 c 387s | 21 | 1538519 | 1493245 | 1959 1888 | 11 | 27 390.27/390.49 c 389s | 22 | 1546336 | 1500622 | 1959 1895 | 11 | 27 392.27/392.49 c 391s | 22 | 1553822 | 1507922 | 1959 1902 | 11 | 27 394.37/394.52 c 393s | 22 | 1561081 | 1515022 | 1959 1908 | 11 | 27 396.37/396.54 c 395s | 22 | 1569079 | 1522722 | 1959 1916 | 11 | 27 398.37/398.56 c 397s | 22 | 1576971 | 1530422 | 1959 1923 | 11 | 27 400.37/400.59 c 399s | 22 | 1585093 | 1538322 | 1959 1931 | 11 | 27 402.47/402.61 c 401s | 22 | 1593377 | 1546322 | 1959 1938 | 11 | 27 404.47/404.64 c 403s | 22 | 1601084 | 1553822 | 1959 1945 | 11 | 27 406.47/406.64 c 405s | 22 | 1609175 | 1561722 | 1959 1953 | 11 | 27 408.46/408.64 c 407s | 22 | 1617252 | 1569622 | 1959 1960 | 11 | 27 410.46/410.64 c 409s | 22 | 1625338 | 1577322 | 1959 1968 | 11 | 27 412.47/412.65 c 411s | 22 | 1633188 | 1584922 | 1959 1975 | 11 | 27 414.46/414.66 c 413s | 22 | 1641336 | 1592822 | 1959 1982 | 11 | 27 416.46/416.67 c 415s | 22 | 1649252 | 1600522 | 1959 1990 | 11 | 27 418.46/418.68 c 417s | 22 | 1657865 | 1608822 | 1959 1998 | 11 | 27 420.45/420.68 c 419s | 22 | 1665843 | 1616422 | 1959 2005 | 11 | 27 422.45/422.69 c 421s | 22 | 1673902 | 1624122 | 1959 2012 | 11 | 27 424.46/424.70 c 423s | 22 | 1682230 | 1632222 | 1959 2020 | 11 | 27 426.55/426.72 c 425s | 22 | 1690072 | 1639822 | 1959 2027 | 11 | 27 428.55/428.72 c 427s | 22 | 1697539 | 1647122 | 1959 2034 | 11 | 27 430.55/430.73 c 429s | 22 | 1705353 | 1654722 | 1959 2042 | 11 | 27 432.55/432.75 c 431s | 22 | 1713272 | 1662422 | 1959 2049 | 11 | 27 434.55/434.79 c 433s | 22 | 1721158 | 1670022 | 1959 2056 | 11 | 27 436.55/436.80 c 435s | 22 | 1728972 | 1677622 | 1959 2063 | 11 | 27 438.65/438.81 c 437s | 22 | 1736551 | 1684722 | 1959 2070 | 11 | 27 440.64/440.81 c 439s | 22 | 1743872 | 1691822 | 1959 2077 | 11 | 27 442.64/442.83 c 441s | 22 | 1751795 | 1699522 | 1959 2084 | 11 | 27 444.64/444.86 c 443s | 22 | 1759667 | 1707122 | 1959 2092 | 11 | 27 446.64/446.88 c 445s | 22 | 1767573 | 1714822 | 1959 2099 | 11 | 27 448.65/448.89 c 447s | 22 | 1775503 | 1722522 | 1959 2106 | 11 | 27 450.74/450.91 c 449s | 22 | 1783622 | 1730422 | 1959 2114 | 11 | 27 452.74/452.91 c 451s | 22 | 1790847 | 1737422 | 1959 2121 | 11 | 27 454.74/454.92 c 453s | 22 | 1798361 | 1744522 | 1959 2127 | 11 | 27 456.74/456.94 c 455s | 22 | 1806584 | 1752422 | 1959 2135 | 11 | 27 458.74/458.96 c 457s | 22 | 1814584 | 1760122 | 1959 2142 | 11 | 27 460.75/460.97 c 459s | 22 | 1822467 | 1767822 | 1959 2150 | 11 | 27 462.74/462.99 c 461s | 22 | 1829976 | 1775122 | 1959 2157 | 11 | 27 464.84/465.01 c 463s | 22 | 1837956 | 1782822 | 1959 2164 | 11 | 27 466.84/467.02 c 465s | 22 | 1846224 | 1790822 | 1959 2172 | 11 | 27 468.84/469.02 c 467s | 22 | 1853893 | 1798122 | 1959 2179 | 11 | 27 470.83/471.05 c 469s | 22 | 1862161 | 1806222 | 1959 2187 | 11 | 27 472.84/473.06 c 471s | 22 | 1869555 | 1813322 | 1959 2194 | 11 | 27 474.83/475.09 c 473s | 22 | 1877113 | 1820622 | 1959 2201 | 11 | 27 476.83/477.09 c 475s | 22 | 1883833 | 1827022 | 1959 2207 | 11 | 27 478.93/479.11 c 477s | 22 | 1890533 | 1833422 | 1959 2213 | 11 | 27 480.92/481.12 c 479s | 22 | 1897712 | 1840322 | 1959 2220 | 11 | 27 482.92/483.14 c 481s | 22 | 1905035 | 1847322 | 1959 2226 | 11 | 27 484.93/485.14 c 483s | 22 | 1912331 | 1854322 | 1959 2233 | 11 | 27 486.92/487.17 c 485s | 22 | 1919600 | 1861322 | 1959 2240 | 11 | 27 488.92/489.19 c 487s | 22 | 1927540 | 1869022 | 1959 2247 | 11 | 27 491.01/491.21 c 489s | 22 | 1934860 | 1876022 | 1959 2254 | 11 | 27 493.01/493.23 c 491s | 22 | 1942197 | 1883122 | 1959 2261 | 11 | 27 495.01/495.25 c 493s | 22 | 1949220 | 1889922 | 1959 2267 | 11 | 27 497.02/497.28 c 495s | 22 | 1956216 | 1896622 | 1959 2274 | 11 | 27 499.11/499.30 c 497s | 22 | 1963587 | 1903722 | 1959 2280 | 11 | 27 501.11/501.31 c 499s | 22 | 1970767 | 1910722 | 1959 2287 | 11 | 27 503.11/503.34 c 501s | 22 | 1977728 | 1917522 | 1959 2293 | 11 | 27 505.11/505.34 c 503s | 22 | 1984276 | 1923922 | 1959 2300 | 11 | 27 507.11/507.35 c 505s | 22 | 1992020 | 1931222 | 1959 2307 | 11 | 27 509.12/509.35 c 507s | 22 | 1999636 | 1938522 | 1959 2314 | 11 | 27 511.11/511.38 c 509s | 22 | 2007029 | 1945722 | 1959 2320 | 11 | 27 513.11/513.39 c 511s | 22 | 2013904 | 1952422 | 1959 2327 | 11 | 27 515.11/515.39 c 513s | 22 | 2022441 | 1960722 | 1959 2335 | 11 | 27 517.21/517.40 c 515s | 22 | 2030261 | 1968322 | 1959 2342 | 11 | 27 519.21/519.43 c 518s | 22 | 2037596 | 1975422 | 1959 2349 | 11 | 27 521.21/521.44 c 520s | 22 | 2044957 | 1982622 | 1959 2356 | 11 | 27 523.21/523.46 c 522s | 22 | 2052205 | 1989622 | 1959 2363 | 11 | 27 525.20/525.47 c 524s | 22 | 2059260 | 1996222 | 1959 2369 | 11 | 27 527.20/527.47 c 526s | 22 | 2066653 | 2003322 | 1959 2376 | 11 | 27 529.20/529.48 c 528s | 22 | 2074430 | 2010922 | 1959 2383 | 11 | 27 531.20/531.49 c 530s | 22 | 2082225 | 2018522 | 1959 2390 | 11 | 27 533.30/533.51 c 532s | 22 | 2090878 | 2026922 | 1959 2398 | 11 | 27 535.30/535.54 c 534s | 22 | 2098911 | 2034622 | 1959 2406 | 11 | 27 537.30/537.54 c 536s | 22 | 2106961 | 2042222 | 1959 2413 | 11 | 27 539.30/539.56 c 538s | 22 | 2115298 | 2050222 | 1959 2421 | 11 | 27 541.29/541.57 c 540s | 22 | 2123674 | 2058222 | 1959 2428 | 11 | 27 543.30/543.57 c 542s | 22 | 2131440 | 2065622 | 1959 2435 | 11 | 27 545.29/545.58 c 544s | 22 | 2139056 | 2072922 | 1959 2442 | 11 | 27 547.39/547.62 c 546s | 22 | 2145372 | 2078922 | 1959 2448 | 11 | 27 549.39/549.63 c 548s | 22 | 2152584 | 2086022 | 1959 2455 | 11 | 27 551.38/551.64 c 550s | 22 | 2159442 | 2092722 | 1959 2461 | 11 | 27 553.38/553.66 c 552s | 22 | 2167103 | 2100222 | 1959 2468 | 11 | 27 555.39/555.68 c 554s | 22 | 2174603 | 2107622 | 1959 2475 | 11 | 27 557.38/557.70 c 556s | 22 | 2181781 | 2114622 | 1959 2482 | 11 | 27 559.48/559.70 c 558s | 22 | 2189253 | 2121822 | 1959 2489 | 11 | 27 561.48/561.71 c 560s | 22 | 2196498 | 2128722 | 1959 2496 | 11 | 27 563.48/563.73 c 562s | 22 | 2204058 | 2135922 | 1959 2503 | 11 | 27 565.48/565.75 c 564s | 22 | 2211282 | 2142822 | 1959 2509 | 11 | 27 567.48/567.77 c 566s | 22 | 2218217 | 2149322 | 1959 2515 | 11 | 27 569.47/569.77 c 568s | 22 | 2225433 | 2156322 | 1959 2522 | 11 | 27 571.47/571.78 c 570s | 22 | 2232706 | 2163322 | 1959 2529 | 11 | 27 573.48/573.79 c 572s | 22 | 2240803 | 2171122 | 1959 2536 | 11 | 27 575.58/575.81 c 574s | 22 | 2249002 | 2179122 | 1959 2544 | 11 | 27 577.58/577.83 c 576s | 22 | 2257377 | 2187322 | 1959 2552 | 11 | 27 579.59/579.84 c 578s | 22 | 2265356 | 2195022 | 1959 2559 | 11 | 27 581.58/581.85 c 580s | 22 | 2273355 | 2202822 | 1959 2567 | 11 | 27 583.58/583.86 c 582s | 22 | 2281068 | 2210322 | 1959 2574 | 11 | 27 585.58/585.86 c 584s | 22 | 2288707 | 2217722 | 1959 2581 | 11 | 27 587.58/587.87 c 586s | 22 | 2295886 | 2224622 | 1959 2588 | 11 | 27 589.58/589.89 c 588s | 22 | 2303594 | 2232122 | 2155 2595 | 11 | 27 591.68/591.90 c 590s | 22 | 2311021 | 2239322 | 2155 2601 | 11 | 27 593.67/593.95 c 592s | 22 | 2317426 | 2245522 | 2155 2606 | 11 | 27 595.37/595.69 c 594s | 23 | 2323150 | 2251038 | 2155 2611 | 11 | 27 597.47/597.71 c 596s | 23 | 2330726 | 2258438 | 2155 2618 | 11 | 27 599.47/599.72 c 598s | 23 | 2338183 | 2265738 | 2155 2624 | 11 | 27 601.47/601.73 c 600s | 23 | 2345212 | 2272738 | 2155 2630 | 11 | 27 603.46/603.73 c 602s | 23 | 2352610 | 2279938 | 2155 2636 | 11 | 27 605.46/605.76 c 604s | 23 | 2360061 | 2287138 | 2155 2643 | 11 | 27 607.46/607.78 c 606s | 23 | 2367844 | 2294738 | 2155 2649 | 11 | 27 609.46/609.79 c 608s | 23 | 2374973 | 2301738 | 2155 2655 | 11 | 27 611.56/611.82 c 610s | 23 | 2381833 | 2308538 | 2155 2661 | 11 | 27 613.57/613.83 c 612s | 23 | 2389286 | 2315838 | 2155 2668 | 11 | 27 615.56/615.85 c 614s | 23 | 2396718 | 2323138 | 2155 2674 | 11 | 27 617.56/617.88 c 616s | 23 | 2403945 | 2330138 | 2155 2680 | 11 | 27 619.56/619.89 c 618s | 23 | 2410946 | 2337038 | 2155 2686 | 11 | 27 621.66/621.90 c 620s | 23 | 2418006 | 2343938 | 2155 2692 | 11 | 27 623.66/623.93 c 622s | 23 | 2425396 | 2351238 | 2155 2698 | 11 | 27 625.66/625.95 c 624s | 23 | 2432238 | 2357938 | 2155 2704 | 11 | 27 627.65/627.95 c 626s | 23 | 2438738 | 2364338 | 2155 2710 | 11 | 27 629.65/629.95 c 628s | 23 | 2445509 | 2371038 | 2155 2716 | 11 | 27 631.65/631.96 c 630s | 23 | 2452050 | 2377338 | 2155 2721 | 11 | 27 633.65/633.97 c 632s | 23 | 2459054 | 2384138 | 2155 2727 | 11 | 27 635.66/635.98 c 634s | 23 | 2465818 | 2390738 | 2155 2733 | 11 | 27 637.76/638.01 c 636s | 23 | 2473286 | 2397838 | 2155 2739 | 11 | 27 639.75/640.04 c 638s | 23 | 2480030 | 2404338 | 2155 2745 | 11 | 27 641.74/642.06 c 640s | 23 | 2486412 | 2410338 | 2155 2750 | 11 | 27 643.74/644.06 c 642s | 23 | 2492997 | 2416738 | 2155 2756 | 11 | 27 645.74/646.08 c 644s | 23 | 2500185 | 2423538 | 2155 2762 | 11 | 27 647.75/648.09 c 646s | 23 | 2507501 | 2430638 | 2155 2768 | 11 | 27 649.74/650.10 c 648s | 23 | 2514518 | 2437538 | 2155 2774 | 11 | 27 651.84/652.11 c 650s | 23 | 2522412 | 2445138 | 2155 2781 | 11 | 27 653.85/654.11 c 652s | 23 | 2530740 | 2453238 | 2155 2788 | 11 | 27 655.85/656.13 c 654s | 23 | 2539311 | 2461538 | 2155 2795 | 11 | 27 657.85/658.13 c 656s | 23 | 2547345 | 2469338 | 2155 2802 | 11 | 27 659.85/660.15 c 658s | 23 | 2555318 | 2477038 | 2155 2809 | 11 | 27 661.84/662.17 c 660s | 23 | 2562906 | 2484438 | 2155 2815 | 11 | 27 663.84/664.17 c 662s | 23 | 2570521 | 2491738 | 2155 2822 | 11 | 27 665.84/666.18 c 664s | 23 | 2578308 | 2499338 | 2155 2828 | 11 | 27 667.94/668.21 c 666s | 23 | 2586043 | 2506838 | 2155 2835 | 11 | 27 669.94/670.22 c 668s | 23 | 2593763 | 2514338 | 2155 2841 | 11 | 27 671.94/672.24 c 670s | 23 | 2601339 | 2521738 | 2155 2848 | 11 | 27 673.94/674.26 c 672s | 23 | 2609776 | 2529938 | 2155 2855 | 11 | 27 675.94/676.27 c 674s | 23 | 2617418 | 2537438 | 2155 2862 | 11 | 27 677.94/678.28 c 676s | 23 | 2626002 | 2545738 | 2155 2869 | 11 | 27 680.03/680.30 c 678s | 23 | 2634647 | 2554138 | 2155 2876 | 11 | 27 682.03/682.31 c 680s | 23 | 2642791 | 2562038 | 2155 2883 | 11 | 27 684.04/684.33 c 682s | 23 | 2650699 | 2569738 | 2155 2890 | 11 | 27 686.03/686.36 c 684s | 23 | 2657959 | 2576738 | 2155 2896 | 11 | 27 688.03/688.39 c 686s | 23 | 2664654 | 2583238 | 2155 2902 | 11 | 27 690.03/690.39 c 688s | 23 | 2672105 | 2590438 | 2155 2908 | 11 | 27 692.12/692.40 c 690s | 23 | 2679217 | 2597338 | 2155 2915 | 11 | 27 694.12/694.41 c 692s | 23 | 2686923 | 2604838 | 2155 2921 | 11 | 27 696.13/696.42 c 694s | 23 | 2694788 | 2612438 | 2155 2928 | 11 | 27 698.12/698.42 c 696s | 23 | 2702050 | 2619438 | 2155 2934 | 11 | 27 700.12/700.43 c 698s | 23 | 2707736 | 2625038 | 2155 2939 | 11 | 27 702.12/702.46 c 701s | 23 | 2714671 | 2631638 | 2155 2945 | 11 | 27 704.12/704.47 c 703s | 23 | 2722421 | 2639038 | 2155 2951 | 11 | 27 706.12/706.47 c 705s | 23 | 2729648 | 2645838 | 2155 2957 | 11 | 27 708.12/708.49 c 707s | 23 | 2737222 | 2653038 | 2155 2963 | 11 | 27 710.22/710.50 c 709s | 23 | 2745114 | 2660538 | 2155 2970 | 11 | 27 712.21/712.51 c 711s | 23 | 2752509 | 2667338 | 2155 2976 | 11 | 27 714.21/714.52 c 713s | 23 | 2760035 | 2674538 | 2155 2982 | 11 | 27 716.21/716.54 c 715s | 23 | 2767497 | 2681638 | 2155 2988 | 11 | 27 718.21/718.56 c 717s | 23 | 2774483 | 2688338 | 2155 2994 | 11 | 27 720.22/720.57 c 719s | 23 | 2781913 | 2695438 | 2155 3000 | 11 | 27 722.31/722.60 c 721s | 23 | 2789118 | 2702338 | 2155 3006 | 11 | 27 724.31/724.61 c 723s | 23 | 2796005 | 2708838 | 2155 3012 | 11 | 27 726.31/726.65 c 725s | 23 | 2802970 | 2715538 | 2155 3018 | 11 | 27 728.31/728.67 c 727s | 23 | 2810394 | 2722338 | 2155 3024 | 11 | 27 730.31/730.69 c 729s | 23 | 2818199 | 2729738 | 2155 3030 | 11 | 27 732.41/732.70 c 731s | 23 | 2825644 | 2736738 | 2155 3037 | 11 | 27 734.40/734.71 c 733s | 23 | 2832964 | 2743738 | 2155 3043 | 11 | 27 736.40/736.75 c 735s | 23 | 2840213 | 2750638 | 2155 3049 | 11 | 27 738.40/738.76 c 737s | 23 | 2847296 | 2757238 | 2155 3054 | 11 | 27 740.40/740.78 c 739s | 23 | 2852929 | 2762738 | 2155 3059 | 11 | 27 742.50/742.81 c 741s | 23 | 2859240 | 2768838 | 2155 3065 | 11 | 27 744.50/744.83 c 743s | 23 | 2865049 | 2774538 | 2155 3070 | 11 | 27 746.49/746.83 c 745s | 23 | 2871892 | 2781238 | 2155 3075 | 11 | 27 748.49/748.83 c 747s | 23 | 2878775 | 2787938 | 2155 3081 | 11 | 27 750.49/750.87 c 749s | 23 | 2886192 | 2795138 | 2155 3088 | 11 | 27 752.49/752.88 c 751s | 23 | 2893617 | 2802338 | 2155 3094 | 11 | 27 754.59/754.90 c 753s | 23 | 2901428 | 2809938 | 2155 3101 | 11 | 27 756.60/756.92 c 755s | 23 | 2909365 | 2817738 | 2155 3107 | 11 | 27 758.60/758.92 c 757s | 23 | 2916563 | 2824738 | 2155 3114 | 11 | 27 760.59/760.96 c 759s | 23 | 2923662 | 2831638 | 2155 3120 | 11 | 27 762.69/763.00 c 761s | 23 | 2931426 | 2839138 | 2155 3126 | 11 | 27 764.69/765.00 c 763s | 23 | 2938375 | 2845838 | 2155 3132 | 11 | 27 766.69/767.01 c 765s | 23 | 2945282 | 2852538 | 2155 3138 | 11 | 27 768.70/769.02 c 767s | 23 | 2952811 | 2859838 | 2155 3144 | 11 | 27 770.69/771.05 c 769s | 23 | 2960179 | 2866938 | 2155 3150 | 11 | 27 772.69/773.07 c 771s | 23 | 2967591 | 2874138 | 2155 3157 | 11 | 27 774.69/775.09 c 773s | 23 | 2975012 | 2881238 | 2155 3163 | 11 | 27 776.79/777.11 c 775s | 23 | 2982273 | 2888238 | 2155 3169 | 11 | 27 778.78/779.13 c 777s | 23 | 2989686 | 2895438 | 2155 3175 | 11 | 27 780.79/781.13 c 779s | 23 | 2996700 | 2902238 | 2155 3181 | 11 | 27 782.78/783.13 c 781s | 23 | 3004114 | 2909438 | 2155 3188 | 11 | 27 784.78/785.15 c 783s | 23 | 3011343 | 2916438 | 2155 3194 | 11 | 27 786.78/787.15 c 785s | 23 | 3018930 | 2923838 | 2155 3200 | 11 | 27 788.78/789.18 c 787s | 23 | 3026310 | 2930938 | 2155 3207 | 11 | 27 790.77/791.18 c 789s | 23 | 3033603 | 2938038 | 2155 3213 | 11 | 27 792.78/793.19 c 791s | 23 | 3040572 | 2944738 | 2155 3219 | 11 | 27 794.87/795.21 c 793s | 23 | 3047655 | 2951638 | 2155 3225 | 11 | 27 796.87/797.21 c 795s | 23 | 3055163 | 2959038 | 2155 3231 | 11 | 27 798.87/799.22 c 797s | 23 | 3062315 | 2966038 | 2155 3237 | 11 | 27 800.87/801.23 c 799s | 23 | 3069787 | 2973238 | 2155 3244 | 11 | 27 802.87/803.24 c 801s | 23 | 3076843 | 2980038 | 2155 3250 | 11 | 27 804.87/805.24 c 803s | 23 | 3083360 | 2986238 | 2155 3255 | 11 | 27 806.87/807.24 c 805s | 23 | 3089871 | 2992438 | 2155 3260 | 11 | 27 808.87/809.25 c 807s | 23 | 3096619 | 2998938 | 2155 3266 | 11 | 27 810.86/811.25 c 809s | 23 | 3103823 | 3005838 | 2155 3272 | 11 | 27 812.87/813.28 c 811s | 23 | 3111010 | 3012838 | 2155 3278 | 11 | 27 814.97/815.31 c 813s | 23 | 3118600 | 3020238 | 2155 3285 | 11 | 27 816.97/817.34 c 815s | 23 | 3125567 | 3026938 | 2155 3291 | 11 | 27 818.96/819.35 c 817s | 23 | 3132688 | 3033438 | 2155 3296 | 11 | 27 820.96/821.35 c 819s | 23 | 3139821 | 3040238 | 2155 3302 | 11 | 27 822.96/823.36 c 821s | 23 | 3146458 | 3046538 | 2155 3308 | 11 | 27 824.96/825.37 c 823s | 23 | 3153757 | 3053538 | 2155 3314 | 11 | 27 826.97/827.38 c 825s | 23 | 3160963 | 3060438 | 2155 3320 | 11 | 27 829.07/829.41 c 827s | 23 | 3167815 | 3066938 | 2155 3326 | 11 | 27 831.06/831.42 c 829s | 23 | 3175115 | 3073838 | 2155 3332 | 11 | 27 833.06/833.43 c 832s | 23 | 3182258 | 3080638 | 2155 3338 | 11 | 27 835.06/835.45 c 834s | 23 | 3189542 | 3087438 | 2155 3344 | 11 | 27 837.06/837.46 c 836s | 23 | 3196992 | 3094438 | 2155 3350 | 11 | 27 839.06/839.48 c 838s | 23 | 3203852 | 3100938 | 2155 3355 | 11 | 27 841.06/841.50 c 840s | 23 | 3211115 | 3107738 | 2155 3361 | 11 | 27 843.15/843.51 c 842s | 23 | 3217931 | 3113938 | 2155 3367 | 11 | 27 845.15/845.53 c 844s | 23 | 3225030 | 3120838 | 2155 3373 | 11 | 27 847.15/847.56 c 846s | 23 | 3232437 | 3127938 | 2155 3379 | 11 | 27 849.15/849.58 c 848s | 23 | 3239314 | 3134538 | 2155 3385 | 11 | 27 851.25/851.61 c 850s | 23 | 3245891 | 3140838 | 2155 3390 | 11 | 27 853.26/853.63 c 852s | 23 | 3252736 | 3147438 | 2155 3396 | 11 | 27 855.25/855.64 c 854s | 23 | 3259638 | 3154138 | 2155 3402 | 11 | 27 857.25/857.64 c 856s | 23 | 3266223 | 3160538 | 2155 3408 | 11 | 27 859.25/859.65 c 858s | 23 | 3272684 | 3166638 | 2155 3413 | 11 | 27 861.25/861.68 c 860s | 23 | 3279315 | 3172738 | 2155 3418 | 11 | 27 863.26/863.69 c 862s | 23 | 3286275 | 3179238 | 2155 3424 | 11 | 27 865.36/865.71 c 864s | 23 | 3293275 | 3185738 | 2155 3430 | 11 | 27 867.35/867.75 c 866s | 23 | 3299537 | 3191538 | 2155 3435 | 11 | 27 869.35/869.76 c 868s | 23 | 3307265 | 3198938 | 2155 3441 | 11 | 27 871.35/871.78 c 870s | 23 | 3314468 | 3205838 | 2155 3447 | 11 | 27 873.45/873.80 c 872s | 23 | 3322172 | 3213138 | 2155 3454 | 11 | 27 875.45/875.80 c 874s | 23 | 3330101 | 3220838 | 2155 3460 | 11 | 27 877.45/877.83 c 876s | 23 | 3337721 | 3228138 | 2155 3467 | 11 | 27 879.45/879.86 c 878s | 23 | 3344979 | 3235038 | 2155 3473 | 11 | 27 881.45/881.87 c 880s | 23 | 3352658 | 3242338 | 2155 3479 | 11 | 27 883.45/883.87 c 882s | 23 | 3360826 | 3250238 | 2155 3486 | 11 | 27 885.45/885.89 c 884s | 23 | 3368871 | 3258038 | 2155 3493 | 11 | 27 887.55/887.90 c 886s | 23 | 3376282 | 3265138 | 2155 3499 | 11 | 27 889.55/889.92 c 888s | 23 | 3384027 | 3272538 | 2155 3506 | 11 | 27 891.54/891.92 c 890s | 23 | 3391779 | 3279938 | 2155 3512 | 11 | 27 893.54/893.94 c 892s | 23 | 3398860 | 3286538 | 2155 3518 | 11 | 27 895.54/895.95 c 894s | 23 | 3405949 | 3293138 | 2155 3524 | 11 | 27 897.54/897.97 c 896s | 23 | 3413199 | 3299938 | 2155 3530 | 11 | 27 899.55/899.98 c 898s | 23 | 3420287 | 3306538 | 2155 3535 | 11 | 27 901.54/901.99 c 900s | 23 | 3427505 | 3313338 | 2155 3541 | 11 | 27 903.64/904.00 c 902s | 23 | 3434455 | 3320138 | 2155 3547 | 11 | 27 905.64/906.03 c 904s | 23 | 3441328 | 3326838 | 2155 3553 | 11 | 27 907.64/908.04 c 906s | 23 | 3448719 | 3334038 | 2155 3559 | 11 | 27 909.64/910.04 c 908s | 23 | 3455653 | 3340738 | 2155 3565 | 11 | 27 911.65/912.06 c 910s | 23 | 3462327 | 3347238 | 2155 3571 | 11 | 27 913.75/914.11 c 912s | 23 | 3469405 | 3354138 | 2371 3577 | 11 | 27 915.74/916.11 c 914s | 23 | 3476359 | 3360838 | 2371 3582 | 11 | 27 917.74/918.12 c 916s | 23 | 3483200 | 3367538 | 2371 3587 | 11 | 27 919.74/920.12 c 918s | 23 | 3490057 | 3374238 | 2371 3593 | 11 | 27 920.45/920.83 c 919s | 24 | 3492531 | 3376662 | 2371 3595 | 11 | 27 922.44/922.84 c 921s | 24 | 3500206 | 3384162 | 2371 3600 | 11 | 27 924.44/924.87 c 923s | 24 | 3507198 | 3391062 | 2371 3606 | 11 | 27 926.44/926.88 c 925s | 24 | 3514372 | 3398162 | 2371 3612 | 11 | 27 928.54/928.90 c 927s | 24 | 3521640 | 3405262 | 2371 3617 | 11 | 27 930.54/930.91 c 929s | 24 | 3528906 | 3412362 | 2371 3623 | 11 | 27 932.54/932.92 c 931s | 24 | 3536212 | 3419562 | 2371 3629 | 11 | 27 934.54/934.94 c 933s | 24 | 3543016 | 3426262 | 2371 3634 | 11 | 27 936.54/936.95 c 935s | 24 | 3549587 | 3432662 | 2371 3639 | 11 | 27 938.54/938.96 c 937s | 24 | 3556094 | 3438962 | 2371 3644 | 11 | 27 940.54/940.97 c 939s | 24 | 3563385 | 3446062 | 2371 3650 | 11 | 27 942.53/942.97 c 941s | 24 | 3570536 | 3453062 | 2371 3655 | 11 | 27 944.54/944.98 c 943s | 24 | 3577779 | 3460062 | 2371 3661 | 11 | 27 946.63/947.00 c 945s | 24 | 3585145 | 3467262 | 2371 3667 | 11 | 27 948.63/949.03 c 947s | 24 | 3591986 | 3473962 | 2371 3672 | 11 | 27 950.63/951.03 c 949s | 24 | 3598864 | 3480662 | 2371 3677 | 11 | 27 952.64/953.04 c 951s | 24 | 3605696 | 3487362 | 2371 3683 | 11 | 27 954.64/955.04 c 953s | 24 | 3612726 | 3494262 | 2371 3688 | 11 | 27 956.65/957.05 c 955s | 24 | 3619970 | 3501362 | 2371 3694 | 11 | 27 958.64/959.06 c 957s | 24 | 3626125 | 3507362 | 2371 3699 | 11 | 27 960.64/961.06 c 959s | 24 | 3632574 | 3513662 | 2371 3704 | 11 | 27 962.64/963.09 c 961s | 24 | 3640106 | 3521062 | 2371 3709 | 11 | 27 964.74/965.11 c 963s | 24 | 3647265 | 3528062 | 2371 3715 | 11 | 27 966.74/967.13 c 965s | 24 | 3654390 | 3535062 | 2371 3721 | 11 | 27 968.75/969.16 c 967s | 24 | 3661504 | 3541962 | 2371 3726 | 11 | 27 970.74/971.18 c 969s | 24 | 3668436 | 3548762 | 2371 3732 | 11 | 27 972.74/973.19 c 971s | 24 | 3675564 | 3555762 | 2371 3737 | 11 | 27 974.84/975.20 c 973s | 24 | 3683260 | 3563262 | 2371 3743 | 11 | 27 976.84/977.22 c 975s | 24 | 3690500 | 3570362 | 2371 3749 | 11 | 27 978.84/979.24 c 977s | 24 | 3697702 | 3577462 | 2371 3754 | 11 | 27 980.84/981.26 c 979s | 24 | 3705035 | 3584662 | 2371 3760 | 11 | 27 982.83/983.26 c 981s | 24 | 3712250 | 3591662 | 2371 3766 | 11 | 27 984.83/985.27 c 983s | 24 | 3719633 | 3598862 | 2371 3771 | 11 | 27 986.83/987.29 c 985s | 24 | 3726734 | 3605862 | 2371 3777 | 11 | 27 988.93/989.30 c 987s | 24 | 3733662 | 3612662 | 2371 3782 | 11 | 27 990.93/991.32 c 989s | 24 | 3741015 | 3619862 | 2371 3788 | 11 | 27 992.94/993.32 c 991s | 24 | 3747829 | 3626362 | 2371 3793 | 11 | 27 994.93/995.33 c 993s | 24 | 3755623 | 3633962 | 2371 3799 | 11 | 27 996.93/997.35 c 995s | 24 | 3763218 | 3641362 | 2371 3805 | 11 | 27 998.93/999.35 c 997s | 24 | 3770884 | 3648762 | 2371 3811 | 11 | 27 1000.93/1001.36 c 999s | 24 | 3778519 | 3656262 | 2371 3817 | 11 | 27 1002.94/1003.37 c 1001s | 24 | 3785866 | 3663462 | 2371 3823 | 11 | 27 1004.93/1005.39 c 1003s | 24 | 3793598 | 3671062 | 2371 3829 | 11 | 27 1006.93/1007.39 c 1005s | 24 | 3801251 | 3678462 | 2371 3834 | 11 | 27 1009.03/1009.41 c 1007s | 24 | 3809100 | 3685962 | 2371 3840 | 11 | 27 1011.03/1011.43 c 1010s | 24 | 3816552 | 3693262 | 2371 3846 | 11 | 27 1013.03/1013.43 c 1012s | 24 | 3823805 | 3700362 | 2371 3852 | 11 | 27 1015.03/1015.45 c 1014s | 24 | 3830607 | 3706962 | 2371 3857 | 11 | 27 1017.02/1017.46 c 1016s | 24 | 3837424 | 3713662 | 2371 3862 | 11 | 27 1019.02/1019.48 c 1018s | 24 | 3845072 | 3721162 | 2371 3868 | 11 | 27 1021.12/1021.50 c 1020s | 24 | 3851512 | 3727462 | 2371 3873 | 11 | 27 1023.12/1023.52 c 1022s | 24 | 3858532 | 3734362 | 2371 3879 | 11 | 27 1025.12/1025.55 c 1024s | 24 | 3866065 | 3741562 | 2371 3885 | 11 | 27 1027.13/1027.55 c 1026s | 24 | 3873600 | 3748962 | 2371 3890 | 11 | 27 1029.12/1029.56 c 1028s | 24 | 3881120 | 3756262 | 2371 3896 | 11 | 27 1031.12/1031.58 c 1030s | 24 | 3888329 | 3763362 | 2371 3902 | 11 | 27 1033.12/1033.59 c 1032s | 24 | 3895715 | 3770662 | 2371 3908 | 11 | 27 1035.22/1035.60 c 1034s | 24 | 3902734 | 3777562 | 2371 3913 | 11 | 27 1037.22/1037.63 c 1036s | 24 | 3910589 | 3785262 | 2371 3919 | 11 | 27 1039.23/1039.65 c 1038s | 24 | 3918754 | 3793262 | 2371 3926 | 11 | 27 1041.22/1041.65 c 1040s | 24 | 3925587 | 3799962 | 2371 3931 | 11 | 27 1043.22/1043.66 c 1042s | 24 | 3932625 | 3806862 | 2371 3937 | 11 | 27 1045.22/1045.67 c 1044s | 24 | 3939617 | 3813762 | 2371 3942 | 11 | 27 1047.22/1047.68 c 1046s | 24 | 3946762 | 3820762 | 2371 3948 | 11 | 27 1049.32/1049.70 c 1048s | 24 | 3953657 | 3827562 | 2371 3953 | 11 | 27 1051.33/1051.71 c 1050s | 24 | 3960786 | 3834562 | 2371 3959 | 11 | 27 1053.32/1053.73 c 1052s | 24 | 3968301 | 3841962 | 2371 3964 | 11 | 27 1055.32/1055.74 c 1054s | 24 | 3975620 | 3849162 | 2371 3970 | 11 | 27 1057.32/1057.74 c 1056s | 24 | 3982837 | 3856162 | 2371 3976 | 11 | 27 1059.32/1059.75 c 1058s | 24 | 3990248 | 3863462 | 2371 3982 | 11 | 27 1061.32/1061.75 c 1060s | 24 | 3997498 | 3870562 | 2371 3987 | 11 | 27 1063.33/1063.77 c 1062s | 24 | 4004695 | 3877562 | 2371 3993 | 11 | 27 1065.33/1065.78 c 1064s | 24 | 4011702 | 3884462 | 2371 3998 | 11 | 27 1067.42/1067.81 c 1066s | 24 | 4018665 | 3891362 | 2371 4004 | 11 | 27 1069.42/1069.84 c 1068s | 24 | 4025303 | 3897862 | 2371 4009 | 11 | 27 1071.42/1071.85 c 1070s | 24 | 4032331 | 3904762 | 2371 4015 | 11 | 27 1073.42/1073.86 c 1072s | 24 | 4039696 | 3911962 | 2371 4020 | 11 | 27 1075.43/1075.89 c 1074s | 24 | 4047080 | 3919162 | 2371 4026 | 11 | 27 1077.52/1077.90 c 1076s | 24 | 4054586 | 3926562 | 2371 4032 | 11 | 27 1079.52/1079.93 c 1078s | 24 | 4062143 | 3933862 | 2371 4038 | 11 | 27 1081.52/1081.94 c 1080s | 24 | 4069332 | 3940962 | 2371 4044 | 11 | 27 1083.52/1083.96 c 1082s | 24 | 4075824 | 3947262 | 2371 4049 | 11 | 27 1085.52/1085.98 c 1084s | 24 | 4082328 | 3953662 | 2371 4054 | 11 | 27 1087.53/1087.98 c 1086s | 24 | 4089748 | 3960762 | 2371 4059 | 11 | 27 1089.62/1090.01 c 1088s | 24 | 4096628 | 3967462 | 2371 4065 | 11 | 27 1091.62/1092.01 c 1090s | 24 | 4103310 | 3974062 | 2371 4070 | 11 | 27 1093.62/1094.03 c 1092s | 24 | 4110035 | 3980662 | 2371 4075 | 11 | 27 1095.62/1096.05 c 1094s | 24 | 4117158 | 3987662 | 2371 4081 | 11 | 27 1097.62/1098.05 c 1096s | 24 | 4123744 | 3994062 | 2371 4086 | 11 | 27 1099.63/1100.09 c 1098s | 24 | 4131203 | 4001362 | 2371 4092 | 11 | 27 1101.72/1102.11 c 1100s | 24 | 4138431 | 4008462 | 2371 4097 | 11 | 27 1103.72/1104.13 c 1102s | 24 | 4145655 | 4015362 | 2371 4103 | 11 | 27 1105.72/1106.14 c 1104s | 24 | 4152441 | 4022062 | 2371 4108 | 11 | 27 1107.72/1108.15 c 1106s | 24 | 4159449 | 4028962 | 2371 4114 | 11 | 27 1109.72/1110.16 c 1108s | 24 | 4166762 | 4036062 | 2371 4119 | 11 | 27 1111.72/1112.18 c 1110s | 24 | 4174336 | 4043462 | 2371 4125 | 11 | 27 1113.82/1114.20 c 1112s | 24 | 4181924 | 4050862 | 2371 4131 | 11 | 27 1115.82/1116.22 c 1114s | 24 | 4189336 | 4058162 | 2371 4137 | 11 | 27 1117.82/1118.24 c 1116s | 24 | 4196770 | 4065462 | 2371 4143 | 11 | 27 1119.81/1120.27 c 1118s | 24 | 4203768 | 4072362 | 2371 4148 | 11 | 27 1121.81/1122.27 c 1120s | 24 | 4211108 | 4079362 | 2371 4154 | 11 | 27 1123.82/1124.28 c 1122s | 24 | 4218382 | 4086462 | 2371 4160 | 11 | 27 1125.91/1126.30 c 1124s | 24 | 4225301 | 4093262 | 2371 4165 | 11 | 27 1127.91/1128.30 c 1126s | 24 | 4231588 | 4099362 | 2371 4170 | 11 | 27 1129.91/1130.33 c 1128s | 24 | 4238507 | 4106062 | 2371 4175 | 11 | 27 1131.91/1132.34 c 1130s | 24 | 4245877 | 4113262 | 2371 4181 | 11 | 27 1133.91/1134.35 c 1132s | 24 | 4253508 | 4120762 | 2371 4187 | 11 | 27 1135.92/1136.38 c 1134s | 24 | 4260435 | 4127562 | 2371 4192 | 11 | 27 1137.91/1138.39 c 1136s | 24 | 4267878 | 4134862 | 2371 4198 | 11 | 27 1139.91/1140.39 c 1138s | 24 | 4275312 | 4142062 | 2371 4204 | 11 | 27 1142.01/1142.40 c 1140s | 24 | 4282799 | 4149262 | 2371 4210 | 11 | 27 1144.01/1144.41 c 1142s | 24 | 4290152 | 4156462 | 2371 4215 | 11 | 27 1146.01/1146.42 c 1144s | 24 | 4297441 | 4163662 | 2371 4221 | 11 | 27 1148.02/1148.45 c 1147s | 24 | 4304583 | 4170562 | 2371 4227 | 11 | 27 1150.01/1150.46 c 1149s | 24 | 4311726 | 4177562 | 2371 4232 | 11 | 27 1152.01/1152.48 c 1151s | 24 | 4318270 | 4183962 | 2371 4237 | 11 | 27 1154.11/1154.50 c 1153s | 24 | 4325004 | 4190562 | 2371 4243 | 11 | 27 1156.11/1156.51 c 1155s | 24 | 4332549 | 4197962 | 2371 4249 | 11 | 27 1158.11/1158.54 c 1157s | 24 | 4340244 | 4205562 | 2371 4255 | 11 | 27 1160.11/1160.55 c 1159s | 24 | 4347390 | 4212562 | 2371 4260 | 11 | 27 1162.11/1162.57 c 1161s | 24 | 4353952 | 4218662 | 2371 4265 | 11 | 27 1164.21/1164.60 c 1163s | 24 | 4361413 | 4225862 | 2371 4271 | 11 | 27 1166.20/1166.62 c 1165s | 24 | 4368736 | 4233062 | 2371 4277 | 11 | 27 1168.20/1168.64 c 1167s | 24 | 4375903 | 4240162 | 2371 4282 | 11 | 27 1170.20/1170.64 c 1169s | 24 | 4383400 | 4247562 | 2371 4288 | 11 | 27 1172.21/1172.65 c 1171s | 24 | 4391027 | 4254962 | 2371 4294 | 11 | 27 1174.20/1174.66 c 1173s | 24 | 4398355 | 4262162 | 2371 4300 | 11 | 27 1176.20/1176.66 c 1175s | 24 | 4405538 | 4269262 | 2371 4305 | 11 | 27 1178.20/1178.67 c 1177s | 24 | 4412838 | 4276462 | 2371 4311 | 11 | 27 1180.20/1180.69 c 1179s | 24 | 4420009 | 4283562 | 2371 4317 | 11 | 27 1182.30/1182.72 c 1181s | 24 | 4427452 | 4290862 | 2371 4323 | 11 | 27 1184.31/1184.73 c 1183s | 24 | 4434456 | 4297762 | 2371 4328 | 11 | 27 1186.30/1186.75 c 1185s | 24 | 4441636 | 4304762 | 2371 4334 | 11 | 27 1188.30/1188.77 c 1187s | 24 | 4448881 | 4311862 | 2371 4340 | 11 | 27 1190.30/1190.78 c 1189s | 24 | 4456141 | 4318962 | 2371 4345 | 11 | 27 1192.30/1192.78 c 1191s | 24 | 4463184 | 4325562 | 2371 4351 | 11 | 27 1194.40/1194.80 c 1193s | 24 | 4470266 | 4332362 | 2371 4356 | 11 | 27 1196.40/1196.83 c 1195s | 24 | 4477968 | 4339762 | 2371 4362 | 11 | 27 1198.40/1198.84 c 1197s | 24 | 4485105 | 4346362 | 2371 4367 | 11 | 27 1200.40/1200.86 c 1199s | 24 | 4492264 | 4353362 | 2371 4373 | 11 | 27 1202.50/1202.91 c 1201s | 24 | 4499303 | 4360162 | 2371 4378 | 11 | 27 1204.50/1204.93 c 1203s | 24 | 4506520 | 4366762 | 2371 4384 | 11 | 27 1206.50/1206.95 c 1205s | 24 | 4514025 | 4373862 | 2371 4389 | 11 | 27 1208.50/1208.98 c 1207s | 24 | 4521091 | 4380762 | 2371 4395 | 11 | 27 1210.49/1210.99 c 1209s | 24 | 4528764 | 4388162 | 2371 4401 | 11 | 27 1212.59/1213.00 c 1211s | 24 | 4535855 | 4394962 | 2371 4406 | 11 | 27 1214.60/1215.02 c 1213s | 24 | 4542999 | 4401862 | 2371 4412 | 11 | 27 1216.60/1217.04 c 1215s | 24 | 4550395 | 4408862 | 2371 4417 | 11 | 27 1218.60/1219.06 c 1217s | 24 | 4557561 | 4415562 | 2371 4423 | 11 | 27 1220.61/1221.06 c 1219s | 24 | 4564418 | 4421962 | 2371 4428 | 11 | 27 1222.60/1223.08 c 1221s | 24 | 4571895 | 4428862 | 2371 4433 | 11 | 27 1224.60/1225.09 c 1223s | 24 | 4579031 | 4435462 | 2371 4439 | 11 | 27 1226.70/1227.12 c 1225s | 24 | 4585436 | 4441462 | 2371 4443 | 11 | 27 1228.70/1229.14 c 1227s | 24 | 4592703 | 4448262 | 2371 4449 | 11 | 27 1230.70/1231.15 c 1229s | 24 | 4600194 | 4455362 | 2371 4454 | 11 | 27 1232.71/1233.16 c 1231s | 24 | 4607455 | 4462362 | 2371 4460 | 11 | 27 1234.70/1235.18 c 1233s | 24 | 4614676 | 4469362 | 2371 4466 | 11 | 27 1236.70/1237.19 c 1235s | 24 | 4621829 | 4476362 | 2371 4471 | 11 | 27 1238.80/1239.21 c 1237s | 24 | 4628993 | 4483262 | 2371 4477 | 11 | 27 1240.80/1241.24 c 1239s | 24 | 4636250 | 4490262 | 2371 4482 | 11 | 27 1242.80/1243.24 c 1241s | 24 | 4643414 | 4497062 | 2371 4488 | 11 | 27 1244.80/1245.26 c 1243s | 24 | 4650680 | 4504062 | 2371 4493 | 11 | 27 1246.79/1247.29 c 1245s | 24 | 4657932 | 4511062 | 2371 4499 | 11 | 27 1248.89/1249.31 c 1247s | 24 | 4665602 | 4518562 | 2371 4505 | 11 | 27 1250.89/1251.32 c 1249s | 24 | 4672746 | 4525562 | 2371 4511 | 11 | 27 1252.89/1253.33 c 1251s | 24 | 4680002 | 4532662 | 2371 4516 | 11 | 27 1254.89/1255.36 c 1253s | 24 | 4687015 | 4539462 | 2371 4522 | 11 | 27 1256.90/1257.36 c 1255s | 24 | 4694499 | 4546762 | 2371 4527 | 11 | 27 1258.99/1259.40 c 1257s | 24 | 4701486 | 4553362 | 2371 4533 | 11 | 27 1260.99/1261.41 c 1259s | 24 | 4708522 | 4560062 | 2371 4538 | 11 | 27 1262.99/1263.42 c 1261s | 24 | 4715550 | 4566962 | 2371 4544 | 11 | 27 1264.99/1265.43 c 1263s | 24 | 4722847 | 4574062 | 2371 4549 | 11 | 27 1266.99/1267.44 c 1266s | 24 | 4729865 | 4580862 | 2371 4555 | 11 | 27 1269.00/1269.44 c 1268s | 24 | 4737057 | 4587862 | 2371 4560 | 11 | 27 1270.99/1271.47 c 1270s | 24 | 4744597 | 4595162 | 2371 4566 | 11 | 27 1272.99/1273.48 c 1272s | 24 | 4751279 | 4601562 | 2371 4571 | 11 | 27 1275.09/1275.50 c 1274s | 24 | 4758515 | 4608562 | 2371 4577 | 11 | 27 1277.09/1277.51 c 1276s | 24 | 4766082 | 4615862 | 2371 4583 | 11 | 27 1279.09/1279.52 c 1278s | 24 | 4773344 | 4622862 | 2371 4588 | 11 | 27 1281.09/1281.55 c 1280s | 24 | 4780458 | 4629762 | 2371 4594 | 11 | 27 1283.09/1283.56 c 1282s | 24 | 4787976 | 4637062 | 2371 4600 | 11 | 27 1285.08/1285.58 c 1284s | 24 | 4795290 | 4644162 | 2371 4605 | 11 | 27 1287.18/1287.60 c 1286s | 24 | 4802487 | 4651162 | 2371 4611 | 11 | 27 1289.18/1289.63 c 1288s | 24 | 4809596 | 4658162 | 2371 4617 | 11 | 27 1291.18/1291.63 c 1290s | 24 | 4816544 | 4664962 | 2371 4622 | 11 | 27 1293.19/1293.64 c 1292s | 24 | 4823811 | 4671962 | 2371 4628 | 11 | 27 1295.18/1295.64 c 1294s | 24 | 4830883 | 4678762 | 2371 4633 | 11 | 27 1297.18/1297.66 c 1296s | 24 | 4838251 | 4685962 | 2371 4639 | 11 | 27 1299.18/1299.69 c 1298s | 24 | 4845776 | 4693262 | 2371 4645 | 11 | 27 1301.28/1301.71 c 1300s | 24 | 4853085 | 4700262 | 2371 4650 | 11 | 27 1303.28/1303.73 c 1302s | 24 | 4860244 | 4707162 | 2371 4656 | 11 | 27 1305.29/1305.75 c 1304s | 24 | 4867823 | 4714562 | 2371 4662 | 11 | 27 1307.28/1307.76 c 1306s | 24 | 4874931 | 4721462 | 2371 4667 | 11 | 27 1309.28/1309.77 c 1308s | 24 | 4882381 | 4728662 | 2371 4673 | 11 | 27 1311.28/1311.78 c 1310s | 24 | 4890053 | 4736062 | 2371 4679 | 11 | 27 1313.38/1313.80 c 1312s | 24 | 4897307 | 4743062 | 2371 4685 | 11 | 27 1315.38/1315.81 c 1314s | 24 | 4904654 | 4750162 | 2371 4690 | 11 | 27 1317.39/1317.82 c 1316s | 24 | 4912121 | 4757462 | 2371 4696 | 11 | 27 1319.38/1319.84 c 1318s | 24 | 4919284 | 4764462 | 2371 4702 | 11 | 27 1321.39/1321.85 c 1320s | 24 | 4926774 | 4771762 | 2371 4707 | 11 | 27 1323.38/1323.87 c 1322s | 24 | 4934130 | 4778862 | 2371 4713 | 11 | 27 1325.48/1325.90 c 1324s | 24 | 4941151 | 4785562 | 2371 4719 | 11 | 27 1327.48/1327.92 c 1326s | 24 | 4948423 | 4792462 | 2371 4724 | 11 | 27 1329.49/1329.92 c 1328s | 24 | 4955878 | 4799562 | 2371 4730 | 11 | 27 1331.48/1331.94 c 1330s | 24 | 4963564 | 4806762 | 2371 4735 | 11 | 27 1333.48/1333.95 c 1332s | 24 | 4971160 | 4814062 | 2371 4741 | 11 | 27 1335.48/1335.97 c 1334s | 24 | 4978596 | 4821062 | 2371 4747 | 11 | 27 1337.48/1337.98 c 1336s | 24 | 4986196 | 4828162 | 2371 4753 | 11 | 27 1339.58/1340.00 c 1338s | 24 | 4993838 | 4835462 | 2371 4758 | 11 | 27 1341.59/1342.02 c 1340s | 24 | 5001437 | 4842762 | 2371 4764 | 11 | 27 1343.58/1344.03 c 1342s | 24 | 5008156 | 4849162 | 2371 4769 | 11 | 27 1345.58/1346.03 c 1344s | 24 | 5015561 | 4856162 | 2371 4775 | 11 | 27 1347.58/1348.04 c 1346s | 24 | 5023177 | 4863462 | 2371 4781 | 11 | 27 1349.58/1350.05 c 1348s | 24 | 5030771 | 4870762 | 2371 4787 | 11 | 27 1351.59/1352.06 c 1350s | 24 | 5037973 | 4877662 | 2371 4792 | 11 | 27 1353.58/1354.08 c 1352s | 24 | 5044623 | 4883962 | 2371 4797 | 11 | 27 1355.68/1356.11 c 1354s | 24 | 5050915 | 4889862 | 2371 4802 | 11 | 27 1357.68/1358.13 c 1356s | 24 | 5058640 | 4897162 | 2371 4808 | 11 | 27 1359.68/1360.15 c 1358s | 24 | 5066021 | 4904262 | 2371 4814 | 11 | 27 1361.68/1362.15 c 1360s | 24 | 5072869 | 4910662 | 2371 4819 | 11 | 27 1363.68/1364.16 c 1362s | 24 | 5080093 | 4917362 | 2371 4824 | 11 | 27 1365.68/1366.18 c 1364s | 24 | 5087530 | 4924362 | 2371 4830 | 11 | 27 1367.78/1368.20 c 1366s | 24 | 5094982 | 4931562 | 2371 4836 | 11 | 27 1369.77/1370.20 c 1368s | 24 | 5101456 | 4937562 | 2371 4840 | 11 | 27 1371.77/1372.22 c 1370s | 24 | 5108517 | 4944162 | 2371 4846 | 11 | 27 1373.77/1374.24 c 1372s | 24 | 5116223 | 4951462 | 2371 4852 | 11 | 27 1375.78/1376.25 c 1374s | 24 | 5124015 | 4958962 | 2371 4858 | 11 | 27 1377.77/1378.28 c 1376s | 24 | 5131657 | 4966262 | 2371 4863 | 11 | 27 1379.77/1380.30 c 1378s | 24 | 5138559 | 4972862 | 2371 4869 | 11 | 27 1381.87/1382.30 c 1380s | 24 | 5145590 | 4979562 | 2371 4874 | 11 | 27 1383.87/1384.33 c 1382s | 24 | 5152294 | 4985462 | 2371 4879 | 11 | 27 1385.87/1386.36 c 1384s | 24 | 5159058 | 4991862 | 2371 4884 | 11 | 27 1387.88/1388.36 c 1386s | 24 | 5165696 | 4998162 | 2371 4889 | 11 | 27 1389.87/1390.39 c 1388s | 24 | 5172734 | 5004962 | 2371 4894 | 11 | 27 1391.87/1392.39 c 1390s | 24 | 5178953 | 5010962 | 2371 4899 | 11 | 27 1393.87/1394.39 c 1392s | 24 | 5186736 | 5018462 | 2371 4905 | 11 | 27 1395.97/1396.41 c 1394s | 24 | 5194483 | 5025862 | 2609 4911 | 11 | 27 1397.97/1398.43 c 1397s | 24 | 5201049 | 5032162 | 2609 4916 | 11 | 27 1399.98/1400.45 c 1399s | 24 | 5207579 | 5038362 | 2609 4920 | 11 | 27 1401.97/1402.47 c 1401s | 24 | 5214423 | 5044962 | 2609 4925 | 11 | 27 1403.97/1404.49 c 1403s | 24 | 5220968 | 5051262 | 2609 4930 | 11 | 27 1406.07/1406.51 c 1405s | 24 | 5227602 | 5057662 | 2609 4934 | 11 | 27 1408.07/1408.55 c 1407s | 24 | 5234151 | 5063562 | 2609 4939 | 11 | 27 1408.57/1409.08 c 1407s | 25 | 5235857 | 5065098 | 2609 4940 | 11 | 27 1410.57/1411.09 c 1409s | 25 | 5243455 | 5072498 | 2609 4945 | 11 | 27 1412.67/1413.11 c 1411s | 25 | 5250297 | 5079198 | 2609 4950 | 11 | 27 1414.67/1415.11 c 1413s | 25 | 5257101 | 5085898 | 2609 4955 | 11 | 27 1416.66/1417.13 c 1415s | 25 | 5263787 | 5091998 | 2609 4959 | 11 | 27 1418.67/1419.14 c 1417s | 25 | 5270296 | 5098298 | 2609 4964 | 11 | 27 1420.66/1421.16 c 1419s | 25 | 5277361 | 5105198 | 2609 4969 | 11 | 27 1422.66/1423.17 c 1421s | 25 | 5283430 | 5111098 | 2609 4973 | 11 | 27 1424.66/1425.19 c 1423s | 25 | 5290208 | 5117698 | 2609 4978 | 11 | 27 1426.66/1427.20 c 1425s | 25 | 5297216 | 5124498 | 2609 4983 | 11 | 27 1428.76/1429.22 c 1427s | 25 | 5303824 | 5130998 | 2609 4988 | 11 | 27 1430.77/1431.24 c 1429s | 25 | 5310318 | 5137398 | 2609 4992 | 11 | 27 1432.76/1433.25 c 1431s | 25 | 5317026 | 5143998 | 2609 4997 | 11 | 27 1434.76/1435.28 c 1433s | 25 | 5324036 | 5150798 | 2609 5002 | 11 | 27 1436.76/1437.29 c 1435s | 25 | 5330060 | 5156398 | 2609 5006 | 11 | 27 1438.86/1439.30 c 1437s | 25 | 5336112 | 5162298 | 2609 5010 | 11 | 27 1440.86/1441.34 c 1439s | 25 | 5343106 | 5169198 | 2609 5015 | 11 | 27 1442.87/1443.35 c 1441s | 25 | 5349829 | 5175698 | 2609 5020 | 11 | 27 1444.86/1445.37 c 1443s | 25 | 5356833 | 5182598 | 2609 5025 | 11 | 27 1446.86/1447.39 c 1445s | 25 | 5364301 | 5189798 | 2609 5030 | 11 | 27 1448.97/1449.40 c 1447s | 25 | 5371133 | 5196498 | 2609 5035 | 11 | 27 1450.97/1451.42 c 1449s | 25 | 5378001 | 5203198 | 2609 5040 | 11 | 27 1452.97/1453.43 c 1452s | 25 | 5384313 | 5209398 | 2609 5045 | 11 | 27 1454.97/1455.44 c 1454s | 25 | 5391068 | 5215998 | 2609 5050 | 11 | 27 1456.97/1457.44 c 1456s | 25 | 5397057 | 5221898 | 2609 5054 | 11 | 27 1458.97/1459.47 c 1458s | 25 | 5403438 | 5228098 | 2609 5058 | 11 | 27 1461.06/1461.51 c 1460s | 25 | 5409107 | 5233698 | 2609 5063 | 11 | 27 1463.06/1463.52 c 1462s | 25 | 5415383 | 5239798 | 2609 5067 | 11 | 27 1465.06/1465.56 c 1464s | 25 | 5421725 | 5245998 | 2609 5072 | 11 | 27 1467.07/1467.56 c 1466s | 25 | 5427298 | 5251298 | 2609 5075 | 11 | 27 1469.06/1469.57 c 1468s | 25 | 5433363 | 5257298 | 2609 5080 | 11 | 27 1471.06/1471.57 c 1470s | 25 | 5439877 | 5263498 | 2609 5084 | 11 | 27 1473.16/1473.60 c 1472s | 25 | 5446443 | 5269898 | 2609 5089 | 11 | 27 1475.16/1475.64 c 1474s | 25 | 5453186 | 5276498 | 2609 5094 | 11 | 27 1477.16/1477.66 c 1476s | 25 | 5460396 | 5283498 | 2609 5099 | 11 | 27 1479.17/1479.66 c 1478s | 25 | 5467248 | 5290198 | 2609 5103 | 11 | 27 1481.16/1481.68 c 1480s | 25 | 5473934 | 5296698 | 2609 5108 | 11 | 27 1483.16/1483.68 c 1482s | 25 | 5479944 | 5302598 | 2609 5112 | 11 | 27 1485.26/1485.70 c 1484s | 25 | 5485725 | 5308198 | 2609 5116 | 11 | 27 1487.26/1487.73 c 1486s | 25 | 5491854 | 5314198 | 2609 5121 | 11 | 27 1489.26/1489.74 c 1488s | 25 | 5497686 | 5319898 | 2609 5125 | 11 | 27 1491.26/1491.75 c 1490s | 25 | 5503791 | 5325798 | 2609 5129 | 11 | 27 1493.26/1493.78 c 1492s | 25 | 5510433 | 5332198 | 2609 5134 | 11 | 27 1495.36/1495.80 c 1494s | 25 | 5516066 | 5337498 | 2609 5138 | 11 | 27 1497.36/1497.83 c 1496s | 25 | 5521587 | 5342898 | 2609 5142 | 11 | 27 1499.36/1499.83 c 1498s | 25 | 5527574 | 5348598 | 2609 5146 | 11 | 27 1501.35/1501.85 c 1500s | 25 | 5533239 | 5353898 | 2609 5150 | 11 | 27 1503.36/1503.86 c 1502s | 25 | 5539820 | 5360398 | 2609 5154 | 11 | 27 1505.35/1505.88 c 1504s | 25 | 5546472 | 5366798 | 2609 5159 | 11 | 27 1507.45/1507.92 c 1506s | 25 | 5552916 | 5372998 | 2609 5164 | 11 | 27 1509.45/1509.93 c 1508s | 25 | 5559298 | 5379298 | 2609 5168 | 11 | 27 1511.45/1511.94 c 1510s | 25 | 5565713 | 5385598 | 2609 5173 | 11 | 27 1513.45/1513.95 c 1512s | 25 | 5571763 | 5391398 | 2609 5177 | 11 | 27 1515.46/1515.97 c 1514s | 25 | 5577420 | 5396798 | 2609 5181 | 11 | 27 1517.45/1517.99 c 1516s | 25 | 5583167 | 5402298 | 2609 5185 | 11 | 27 1519.45/1519.99 c 1518s | 25 | 5588979 | 5407898 | 2609 5189 | 11 | 27 1521.55/1522.01 c 1520s | 25 | 5595592 | 5414398 | 2609 5194 | 11 | 27 1523.55/1524.02 c 1522s | 25 | 5602342 | 5420798 | 2609 5198 | 11 | 27 1525.55/1526.04 c 1524s | 25 | 5608956 | 5427298 | 2609 5203 | 11 | 27 1527.55/1528.04 c 1526s | 25 | 5615749 | 5433898 | 2609 5208 | 11 | 27 1529.55/1530.06 c 1528s | 25 | 5622049 | 5440098 | 2609 5212 | 11 | 27 1531.55/1532.07 c 1530s | 25 | 5628942 | 5446898 | 2609 5217 | 11 | 27 1533.65/1534.10 c 1532s | 25 | 5635287 | 5453098 | 2609 5222 | 11 | 27 1535.65/1536.12 c 1534s | 25 | 5641362 | 5458898 | 2609 5226 | 11 | 27 1537.65/1538.13 c 1536s | 25 | 5647958 | 5465298 | 2609 5231 | 11 | 27 1539.65/1540.16 c 1538s | 25 | 5654049 | 5471198 | 2609 5235 | 11 | 27 1541.65/1542.18 c 1540s | 25 | 5660725 | 5477598 | 2609 5240 | 11 | 27 1543.74/1544.21 c 1542s | 25 | 5667079 | 5483698 | 2609 5244 | 11 | 27 1545.74/1546.24 c 1544s | 25 | 5673228 | 5489698 | 2609 5249 | 11 | 27 1547.74/1548.27 c 1546s | 25 | 5679070 | 5495398 | 2609 5253 | 11 | 27 1549.74/1550.29 c 1548s | 25 | 5685237 | 5501198 | 2609 5257 | 11 | 27 1551.84/1552.33 c 1550s | 25 | 5691285 | 5507098 | 2609 5261 | 11 | 27 1553.85/1554.33 c 1552s | 25 | 5698019 | 5513698 | 2609 5266 | 11 | 27 1555.84/1556.36 c 1554s | 25 | 5704550 | 5520098 | 2609 5271 | 11 | 27 1557.84/1558.38 c 1556s | 25 | 5711485 | 5526898 | 2609 5276 | 11 | 27 1559.84/1560.38 c 1558s | 25 | 5718079 | 5533398 | 2609 5281 | 11 | 27 1561.94/1562.41 c 1560s | 25 | 5724707 | 5539898 | 2609 5285 | 11 | 27 1563.94/1564.41 c 1562s | 25 | 5731126 | 5546198 | 2609 5290 | 11 | 27 1565.95/1566.44 c 1565s | 25 | 5737376 | 5552298 | 2609 5294 | 11 | 27 1567.94/1568.45 c 1567s | 25 | 5743799 | 5558598 | 2609 5299 | 11 | 27 1570.04/1570.50 c 1569s | 25 | 5749935 | 5564698 | 2609 5303 | 11 | 27 1572.04/1572.51 c 1571s | 25 | 5755852 | 5570498 | 2609 5308 | 11 | 27 1574.04/1574.51 c 1573s | 25 | 5762331 | 5576898 | 2609 5312 | 11 | 27 1576.04/1576.54 c 1575s | 25 | 5769223 | 5583598 | 2609 5317 | 11 | 27 1578.05/1578.54 c 1577s | 25 | 5776149 | 5590398 | 2609 5322 | 11 | 27 1580.04/1580.54 c 1579s | 25 | 5783222 | 5597298 | 2609 5327 | 11 | 27 1582.04/1582.55 c 1581s | 25 | 5790194 | 5604098 | 2609 5332 | 11 | 27 1584.04/1584.56 c 1583s | 25 | 5797236 | 5610898 | 2609 5337 | 11 | 27 1586.04/1586.57 c 1585s | 25 | 5803970 | 5617498 | 2609 5342 | 11 | 27 1588.14/1588.62 c 1587s | 25 | 5809455 | 5622898 | 2609 5346 | 11 | 27 1590.15/1590.63 c 1589s | 25 | 5815492 | 5628798 | 2609 5350 | 11 | 27 1592.15/1592.65 c 1591s | 25 | 5822127 | 5635098 | 2609 5355 | 11 | 27 1594.14/1594.68 c 1593s | 25 | 5828322 | 5641198 | 2609 5359 | 11 | 27 1596.24/1596.70 c 1595s | 25 | 5834875 | 5647498 | 2609 5363 | 11 | 27 1598.24/1598.71 c 1597s | 25 | 5841786 | 5654098 | 2609 5368 | 11 | 27 1600.24/1600.71 c 1599s | 25 | 5848337 | 5660598 | 2609 5373 | 11 | 27 1602.25/1602.72 c 1601s | 25 | 5855084 | 5667198 | 2609 5378 | 11 | 27 1604.24/1604.74 c 1603s | 25 | 5861510 | 5673398 | 2609 5382 | 11 | 27 1606.24/1606.76 c 1605s | 25 | 5868248 | 5679898 | 2609 5387 | 11 | 27 1608.24/1608.77 c 1607s | 25 | 5874741 | 5686298 | 2609 5392 | 11 | 27 1610.24/1610.79 c 1609s | 25 | 5881692 | 5692998 | 2609 5397 | 11 | 27 1612.25/1612.79 c 1611s | 25 | 5888453 | 5699598 | 2609 5401 | 11 | 27 1614.35/1614.82 c 1613s | 25 | 5895224 | 5706198 | 2609 5406 | 11 | 27 1616.34/1616.83 c 1615s | 25 | 5902052 | 5712898 | 2609 5411 | 11 | 27 1618.34/1618.84 c 1617s | 25 | 5908114 | 5718798 | 2609 5415 | 11 | 27 1620.34/1620.85 c 1619s | 25 | 5914492 | 5724998 | 2609 5420 | 11 | 27 1622.34/1622.87 c 1621s | 25 | 5921056 | 5731498 | 2609 5424 | 11 | 27 1624.34/1624.88 c 1623s | 25 | 5928004 | 5738298 | 2609 5429 | 11 | 27 1626.34/1626.88 c 1625s | 25 | 5934864 | 5744998 | 2609 5434 | 11 | 27 1628.34/1628.89 c 1627s | 25 | 5941928 | 5751898 | 2609 5439 | 11 | 27 1630.44/1630.90 c 1629s | 25 | 5948929 | 5758698 | 2609 5444 | 11 | 27 1632.43/1632.92 c 1631s | 25 | 5956300 | 5765898 | 2609 5449 | 11 | 27 1634.43/1634.94 c 1633s | 25 | 5963260 | 5772698 | 2609 5454 | 11 | 27 1636.44/1636.96 c 1635s | 25 | 5969859 | 5778998 | 2609 5459 | 11 | 27 1638.43/1638.99 c 1637s | 25 | 5976457 | 5785298 | 2609 5464 | 11 | 27 1640.53/1641.02 c 1639s | 25 | 5983230 | 5791798 | 2609 5468 | 11 | 27 1642.53/1643.04 c 1641s | 25 | 5989610 | 5797998 | 2609 5473 | 11 | 27 1644.53/1645.07 c 1643s | 25 | 5995955 | 5804198 | 2609 5477 | 11 | 27 1646.63/1647.10 c 1645s | 25 | 6001403 | 5809598 | 2609 5481 | 11 | 27 1648.63/1649.11 c 1647s | 25 | 6008895 | 5816898 | 2609 5487 | 11 | 27 1650.64/1651.15 c 1649s | 25 | 6015765 | 5823598 | 2609 5492 | 11 | 27 1652.63/1653.16 c 1651s | 25 | 6022986 | 5830698 | 2609 5497 | 11 | 27 1654.63/1655.16 c 1653s | 25 | 6029385 | 5836998 | 2609 5501 | 11 | 27 1656.73/1657.20 c 1655s | 25 | 6036373 | 5843798 | 2609 5506 | 11 | 27 1658.73/1659.22 c 1657s | 25 | 6043195 | 5850498 | 2609 5511 | 11 | 27 1660.73/1661.25 c 1659s | 25 | 6050009 | 5857098 | 2609 5516 | 11 | 27 1662.74/1663.25 c 1661s | 25 | 6056056 | 5863098 | 2609 5520 | 11 | 27 1664.73/1665.27 c 1663s | 25 | 6062065 | 5868998 | 2609 5525 | 11 | 27 1666.73/1667.27 c 1665s | 25 | 6067868 | 5874698 | 2609 5529 | 11 | 27 1668.73/1669.28 c 1667s | 25 | 6074398 | 5880998 | 2609 5533 | 11 | 27 1670.83/1671.30 c 1669s | 25 | 6080510 | 5886998 | 2609 5538 | 11 | 27 1672.83/1673.31 c 1671s | 25 | 6086656 | 5893098 | 2609 5542 | 11 | 27 1674.83/1675.34 c 1673s | 25 | 6093788 | 5899998 | 2609 5547 | 11 | 27 1676.83/1677.37 c 1675s | 25 | 6100189 | 5906098 | 2609 5552 | 11 | 27 1678.83/1679.38 c 1677s | 25 | 6105732 | 5911498 | 2609 5556 | 11 | 27 1680.83/1681.39 c 1679s | 25 | 6112460 | 5917998 | 2609 5560 | 11 | 27 1682.93/1683.40 c 1681s | 25 | 6119374 | 5924598 | 2609 5565 | 11 | 27 1684.92/1685.41 c 1683s | 25 | 6126516 | 5931598 | 2609 5570 | 11 | 27 1686.93/1687.44 c 1686s | 25 | 6133221 | 5938098 | 2609 5575 | 11 | 27 1688.92/1689.47 c 1688s | 25 | 6139606 | 5944198 | 2609 5580 | 11 | 27 1690.92/1691.50 c 1690s | 25 | 6146193 | 5950598 | 2609 5584 | 11 | 27 1693.02/1693.52 c 1692s | 25 | 6153102 | 5957398 | 2609 5589 | 11 | 27 1695.02/1695.53 c 1694s | 25 | 6160517 | 5964698 | 2609 5594 | 11 | 27 1697.02/1697.54 c 1696s | 25 | 6168116 | 5971998 | 2609 5600 | 11 | 27 1699.03/1699.55 c 1698s | 25 | 6175319 | 5978998 | 2609 5605 | 11 | 27 1701.02/1701.56 c 1700s | 25 | 6181959 | 5985498 | 2609 5610 | 11 | 27 1703.02/1703.59 c 1702s | 25 | 6188173 | 5991498 | 2609 5614 | 11 | 27 1705.12/1705.61 c 1704s | 25 | 6194054 | 5996998 | 2609 5618 | 11 | 27 1707.12/1707.62 c 1706s | 25 | 6200293 | 6003098 | 2609 5623 | 11 | 27 1709.12/1709.64 c 1708s | 25 | 6206594 | 6009098 | 2609 5627 | 11 | 27 1711.13/1711.66 c 1710s | 25 | 6213698 | 6015898 | 2609 5632 | 11 | 27 1713.13/1713.68 c 1712s | 25 | 6220102 | 6022098 | 2609 5637 | 11 | 27 1715.23/1715.70 c 1714s | 25 | 6226566 | 6028298 | 2609 5641 | 11 | 27 1717.23/1717.71 c 1716s | 25 | 6233433 | 6034998 | 2609 5646 | 11 | 27 1719.23/1719.73 c 1718s | 25 | 6239407 | 6040898 | 2609 5650 | 11 | 27 1721.23/1721.74 c 1720s | 25 | 6247223 | 6048398 | 2609 5656 | 11 | 27 1723.23/1723.74 c 1722s | 25 | 6254807 | 6055698 | 2609 5661 | 11 | 27 1725.22/1725.77 c 1724s | 25 | 6261896 | 6062598 | 2609 5666 | 11 | 27 1727.22/1727.79 c 1726s | 25 | 6269873 | 6070298 | 2609 5672 | 11 | 27 1729.22/1729.79 c 1728s | 25 | 6276846 | 6077098 | 2609 5677 | 11 | 27 1731.32/1731.80 c 1730s | 25 | 6284464 | 6084498 | 2609 5682 | 11 | 27 1733.32/1733.81 c 1732s | 25 | 6292199 | 6091998 | 2609 5688 | 11 | 27 1735.33/1735.83 c 1734s | 25 | 6299506 | 6098998 | 2609 5693 | 11 | 27 1737.32/1737.84 c 1736s | 25 | 6306880 | 6106198 | 2609 5698 | 11 | 27 1739.32/1739.85 c 1738s | 25 | 6314249 | 6113398 | 2609 5703 | 11 | 27 1741.32/1741.87 c 1740s | 25 | 6321485 | 6120398 | 2609 5708 | 11 | 27 1743.32/1743.88 c 1742s | 25 | 6329176 | 6127898 | 2609 5714 | 11 | 27 1745.33/1745.89 c 1744s | 25 | 6336402 | 6134898 | 2609 5719 | 11 | 27 1747.43/1747.91 c 1746s | 25 | 6343891 | 6142098 | 2609 5724 | 11 | 27 1749.42/1749.91 c 1748s | 25 | 6350945 | 6148898 | 2609 5729 | 11 | 27 1751.42/1751.93 c 1750s | 25 | 6357805 | 6155598 | 2609 5734 | 11 | 27 1753.42/1753.95 c 1752s | 25 | 6364614 | 6162298 | 2609 5739 | 11 | 27 1755.42/1755.97 c 1754s | 25 | 6370982 | 6168598 | 2609 5744 | 11 | 27 1757.42/1757.98 c 1756s | 25 | 6378545 | 6175998 | 2609 5749 | 11 | 27 1759.52/1760.00 c 1758s | 25 | 6385168 | 6182498 | 2609 5754 | 11 | 27 1761.52/1762.02 c 1760s | 25 | 6392178 | 6189398 | 2609 5759 | 11 | 27 1763.52/1764.03 c 1762s | 25 | 6398775 | 6195798 | 2609 5764 | 11 | 27 1765.52/1766.04 c 1764s | 25 | 6405700 | 6202598 | 2609 5769 | 11 | 27 1767.52/1768.06 c 1766s | 25 | 6411644 | 6208398 | 2609 5773 | 11 | 27 1769.52/1770.09 c 1768s | 25 | 6417799 | 6214298 | 2609 5777 | 11 | 27 1771.62/1772.11 c 1770s | 25 | 6425219 | 6221398 | 2609 5782 | 11 | 27 1773.62/1774.13 c 1772s | 25 | 6432195 | 6228198 | 2609 5787 | 11 | 27 1775.62/1776.15 c 1774s | 25 | 6439177 | 6234998 | 2609 5792 | 11 | 27 1777.61/1778.15 c 1776s | 25 | 6446286 | 6241998 | 2609 5797 | 11 | 27 1779.61/1780.18 c 1778s | 25 | 6453848 | 6249298 | 2609 5803 | 11 | 27 1781.62/1782.18 c 1780s | 25 | 6461378 | 6256598 | 2609 5808 | 11 | 27 1783.61/1784.18 c 1782s | 25 | 6468624 | 6263698 | 2609 5813 | 11 | 27 1785.61/1786.18 c 1784s | 25 | 6475818 | 6270698 | 2609 5818 | 11 | 27 1787.71/1788.21 c 1786s | 25 | 6483123 | 6277898 | 2609 5823 | 11 | 27 1789.71/1790.23 c 1788s | 25 | 6490362 | 6284998 | 2609 5828 | 11 | 27 1791.71/1792.25 c 1790s | 25 | 6497652 | 6292098 | 2609 5834 | 11 | 27 1793.72/1794.25 c 1792s | 25 | 6504887 | 6299198 | 2609 5839 | 11 | 27 1795.71/1796.26 c 1794s | 25 | 6511790 | 6305998 | 2609 5844 | 11 | 27 1797.71/1798.26 c 1796s | 25 | 6519133 | 6313198 | 2609 5849 | 11 | 27 1799.71/1800.27 c 1798s | 25 | 6526255 | 6320198 | 2609 5854 | 11 | 27
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-4106037-1466263277/watcher-4106037-1466263277 -o /tmp/evaluation-result-4106037-1466263277/solver-4106037-1466263277 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106037-1466263277.opb pid=26549 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.17 2.15 2.06 3/179 26552 /proc/meminfo: memFree=30583504/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=709052 CPUtime=0 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 2641 0 0 0 0 0 0 0 20 0 4 0 28377655 726069248 3513 33554432000 4194304 16246674 140735587089008 140735587088432 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 178031 3524 441 2943 0 174925 0 [pid=26552/tid=26553] ppid=26549 vsize=726460 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 743895040 3581 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=731580 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 749137920 3600 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=735676 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 753332224 3616 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100147 s] /proc/loadavg: 2.17 2.15 2.06 3/179 26552 /proc/meminfo: memFree=30583504/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 20209 0 0 0 6 3 0 0 20 0 4 0 28377655 1247350784 21069 33554432000 4194304 16246674 140735587089008 140735587088432 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 304529 21074 758 2943 0 301423 0 [pid=26552/tid=26553] ppid=26549 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1247350784 21078 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1247350784 21082 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1247350784 21087 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200502 s] /proc/loadavg: 2.17 2.15 2.06 3/179 26552 /proc/meminfo: memFree=30583504/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1218116 CPUtime=0.18 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 37373 0 0 0 13 5 0 0 20 0 4 0 28377655 1247350784 38233 33554432000 4194304 16246674 140735587089008 140735587070912 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 304529 38243 765 2943 0 301423 0 [pid=26552/tid=26553] ppid=26549 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1247350784 38253 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1247350784 38258 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1247350784 38260 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300463 s] /proc/loadavg: 2.17 2.15 2.06 3/179 26552 /proc/meminfo: memFree=30583504/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1218116 CPUtime=0.28 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 55580 0 0 0 21 7 0 0 20 0 4 0 28377655 1247350784 56440 33554432000 4194304 16246674 140735587089008 140735587070912 5530837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 304529 56453 765 2943 0 301423 0 [pid=26552/tid=26553] ppid=26549 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1247350784 56461 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1247350784 56471 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1247350784 56479 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700348 s] /proc/loadavg: 2.17 2.15 2.06 3/179 26552 /proc/meminfo: memFree=30583504/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 121427 0 0 0 53 16 0 0 20 0 4 0 28377655 1247350784 122288 33554432000 4194304 16246674 140735587089008 140735587070912 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 304529 122301 765 2943 0 301423 0 [pid=26552/tid=26553] ppid=26549 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1247350784 122309 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1247350784 122317 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1247350784 122321 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50036 s] /proc/loadavg: 2.15 2.14 2.06 3/183 26556 /proc/meminfo: memFree=29812948/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1219140 CPUtime=1.49 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 245766 0 0 0 117 32 0 0 20 0 4 0 28377655 1248399360 246603 33554432000 4194304 16246674 140735587089008 140735587088320 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 304785 246603 852 2943 0 301679 0 [pid=26552/tid=26553] ppid=26549 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1248399360 246603 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1248399360 246603 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1248399360 246603 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10035 s] /proc/loadavg: 2.15 2.14 2.06 3/183 26556 /proc/meminfo: memFree=29597932/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1305156 CPUtime=3.09 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 267204 0 0 0 274 35 0 0 20 0 4 0 28377655 1336479744 268041 33554432000 4194304 16246674 140735587089008 140735587070912 6020868 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 326289 268041 852 2943 0 323183 0 [pid=26552/tid=26553] ppid=26549 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1336479744 268041 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1336479744 268041 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1336479744 268041 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1305156 [startup+6.3004 s] /proc/loadavg: 2.14 2.14 2.06 3/183 26556 /proc/meminfo: memFree=29510264/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 267624 0 0 0 594 35 0 0 20 0 4 0 28377655 1337528320 268461 33554432000 4194304 16246674 140735587089008 140735587070912 12477729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 326545 268461 854 2943 0 323439 0 [pid=26552/tid=26553] ppid=26549 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1337528320 268461 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1337528320 268461 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1337528320 268461 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.13 2.14 2.06 3/183 26556 /proc/meminfo: memFree=29509396/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1307204 CPUtime=12.69 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 267819 0 0 0 1233 36 0 0 20 0 4 0 28377655 1338576896 268656 33554432000 4194304 16246674 140735587089008 140735587070912 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 326801 268656 854 2943 0 323695 0 [pid=26552/tid=26553] ppid=26549 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1338576896 268656 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1338576896 268656 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1338576896 268656 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.25 2.16 2.07 3/183 26556 /proc/meminfo: memFree=29507552/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1308228 CPUtime=25.49 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 268093 0 0 0 2513 36 0 0 20 0 4 0 28377655 1339625472 268930 33554432000 4194304 16246674 140735587089008 140735587070912 6020465 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 327057 268930 854 2943 0 323951 0 [pid=26552/tid=26553] ppid=26549 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1339625472 268930 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1339625472 268930 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1339625472 268930 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.29 2.18 2.08 3/183 26556 /proc/meminfo: memFree=29505896/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1308228 CPUtime=51.08 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 268152 0 0 0 5072 36 0 0 20 0 4 0 28377655 1339625472 268989 33554432000 4194304 16246674 140735587089008 140735587070912 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 327057 268989 854 2943 0 323951 0 [pid=26552/tid=26553] ppid=26549 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1339625472 268989 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1339625472 268989 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1339625472 268989 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1308228 [startup+102.3 s] /proc/loadavg: 2.17 2.17 2.08 3/183 26557 /proc/meminfo: memFree=29505448/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1308228 CPUtime=102.28 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 268153 0 0 0 10191 37 0 0 20 0 4 0 28377655 1339625472 268990 33554432000 4194304 16246674 140735587089008 140735587072008 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 327057 268990 855 2943 0 323951 0 [pid=26552/tid=26553] ppid=26549 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1339625472 268990 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1339625472 268990 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1339625472 268990 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1308228 ################ # More data... # ################ /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1314372 [startup+1362.3 s] /proc/loadavg: 1.29 1.83 1.99 2/173 26620 /proc/meminfo: memFree=30602364/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1314372 CPUtime=1361.88 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 270053 0 0 0 136137 51 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 140735587070912 5823013 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 328593 270531 857 2943 0 325487 0 [pid=26552/tid=26553] ppid=26549 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1314372 [startup+1422.3 s] /proc/loadavg: 1.19 1.70 1.93 2/173 26621 /proc/meminfo: memFree=30602912/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1314372 CPUtime=1421.87 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 270053 0 0 0 142136 51 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 140735587070912 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 328593 270531 857 2943 0 325487 0 [pid=26552/tid=26553] ppid=26549 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1314372 [startup+1482.3 s] /proc/loadavg: 1.07 1.57 1.87 2/173 26622 /proc/meminfo: memFree=30602848/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1314372 CPUtime=1481.86 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 270053 0 0 0 148134 52 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 140735587070912 6011708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 328593 270531 857 2943 0 325487 0 [pid=26552/tid=26553] ppid=26549 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1314372 [startup+1542.31 s] /proc/loadavg: 1.14 1.49 1.83 2/173 26623 /proc/meminfo: memFree=30603280/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1314372 CPUtime=1541.85 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 270053 0 0 0 154133 52 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 140735587070912 13949825 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 328593 270531 857 2943 0 325487 0 [pid=26552/tid=26553] ppid=26549 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1345916928 270531 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1314372 [startup+1602.3 s] /proc/loadavg: 1.08 1.41 1.78 2/173 26624 /proc/meminfo: memFree=30602964/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1315396 CPUtime=1601.84 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 270144 0 0 0 160131 53 0 0 20 0 4 0 28377655 1346965504 270622 33554432000 4194304 16246674 140735587089008 140735587070912 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 328849 270622 857 2943 0 325743 0 [pid=26552/tid=26553] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270622 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270622 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270622 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1315396 [startup+1662.3 s] /proc/loadavg: 1.03 1.34 1.72 2/173 26626 /proc/meminfo: memFree=30602784/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1315396 CPUtime=1661.83 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 270309 0 0 0 166130 53 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 140735587070912 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 328849 270787 857 2943 0 325743 0 [pid=26552/tid=26553] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1315396 [startup+1722.3 s] /proc/loadavg: 1.10 1.30 1.69 2/173 26627 /proc/meminfo: memFree=30602592/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1315396 CPUtime=1721.83 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 270309 0 0 0 172129 54 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 140735587072008 13963936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 328849 270787 857 2943 0 325743 0 [pid=26552/tid=26553] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1315396 [startup+1782.3 s] /proc/loadavg: 1.03 1.24 1.64 2/174 26631 /proc/meminfo: memFree=30601820/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1315396 CPUtime=1781.81 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 270309 0 0 0 178127 54 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 140735587070912 5674752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 328849 270787 857 2943 0 325743 0 [pid=26552/tid=26553] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1315396 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.03 1.23 1.63 2/173 26631 /proc/meminfo: memFree=30601828/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1315396 CPUtime=1800.01 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 270309 0 0 0 179947 54 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 140735587072008 12875603 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 328849 270787 857 2943 0 325743 0 [pid=26552/tid=26553] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1315396 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 26552 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.03 1.23 1.63 2/173 26631 /proc/meminfo: memFree=30601828/32872528 swapFree=163656/177964 [pid=26552] ppid=26549 vsize=1315396 CPUtime=1800.01 cores=1,3,5,7 /proc/26552/stat : 26552 (toysat) R 26549 26552 20760 0 -1 4202496 270309 0 0 0 179947 54 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 140735587072008 12875603 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26552/statm: 328849 270787 857 2943 0 325743 0 [pid=26552/tid=26553] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139965054823664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26552/tid=26554] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139965044333808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26552/tid=26555] ppid=26549 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28377655 1346965504 270787 33554432000 4194304 16246674 140735587089008 139964931108016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1315396 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.48 CPU system time (s): 0.544917 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1315396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.544917 maximum resident set size= 1083148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270309 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= 375 involuntary context switches= 1897 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.63829 second user time and 6.88495 second system time The end
Begin job on node105 at 2016-06-18 17:21:17 IDJOB=4106037 IDBENCH=47902 IDSOLVER=2542 FILE ID=node105/4106037-1466263277 RUNJOBID= node105-1466229502-20777 PBS_JOBID= 19918174 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=457-P1=137-P2=191-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106037-1466263277/watcher-4106037-1466263277 -o /tmp/evaluation-result-4106037-1466263277/solver-4106037-1466263277 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106037-1466263277.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1b6d9352b1c2eb216ab83323b529fa56 RANDOM SEED=500150479 node105.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.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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.561 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.561 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.561 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.561 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.54 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.561 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.561 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.561 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.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30584312 kB Buffers: 81708 kB Cached: 203772 kB SwapCached: 1684 kB Active: 1183180 kB Inactive: 189880 kB Active(anon): 1084912 kB Inactive(anon): 4944 kB Active(file): 98268 kB Inactive(file): 184936 kB Unevictable: 177964 kB Mlocked: 163656 kB SwapTotal: 67108856 kB SwapFree: 67097160 kB Dirty: 16328 kB Writeback: 0 kB AnonPages: 1265156 kB Mapped: 10548 kB Shmem: 0 kB Slab: 605000 kB SReclaimable: 48528 kB SUnreclaim: 556472 kB KernelStack: 1496 kB PageTables: 6716 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1410588 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 823296 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= 71732 MiB End job on node105 at 2016-06-18 17:51:18