| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.15 | 1800.46 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_5.opb |
| MD5SUM | 1a8c058c181490cb899ec7074b22bfb3 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -13 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -16 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 301 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| Number of terms in the objective function | 100 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6124 |
| Sum of products size (including duplicates) | 12248 |
| Number of different products | 3062 |
| Sum of products size | 6124 |
0.00/0.00 c 2016-06-07T03:01:24+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-4080094-1465261284.opb"] 0.00/0.01 c use --random-gen="2739356620 3581283836 4171547040 681959999 2855376829 2186489020 582491817 681600526 221955519 309384135 714412695 3632733018 3020239872 1502491732 2339090007 3875699455 573426283 545808239 3105108564 3172548239 759063188 4049602735 2708914274 1055987417 1104827536 1535941802 252443029 2505614926 1380397869 1485692802 488417347 4069282643 2464849991 2553776232 3937541153 2670701186 905719107 1975823497 4109348375 2483452128 3730441248 254968665 4023780706 4033982611 3695257455 335204544 2431024708 2191730665 685452600 2518829283 884119655 1269981984 3797124303 3978474725 1528444117 206932929 721874917 2954062344 4257175849 2211692369 576396041 3633472560 1324802531 1768016787 1734864254 114813344 1155707889 23208611 1091371216 1600085372 198134553 3988973757 1068086808 3906222724 4023435550 3148683829 897892547 3437002642 582368220 4184959335 776375241 2904367851 2398570793 1252784533 2297541348 1325273310 2605223357 208274736 1741415567 1667578244 3138431260 3162821441 156510171 2482987395 89075311 2090562347 2390551369 1315939129 326786885 819652744 1308083582 525894449 3230867704 2809544207 2776658713 2458482617 3284105433 3676089487 2009751160 720413618 662182291 2874555654 2878153833 541422170 4225254176 3244875722 1970469572 3038955482 4179705037 3473527403 1469450120 735283526 447867240 243905777 4096870981 1576633601 1633191591 3617017117 4248017831 2204089388 2722155455 2826815655 988939184 1835757950 2553105380 3754590770 1354620506 1782071183 3568438059 938512540 3795571996 964871016 3251173756 2372743781 2184197067 2107858575 3341906164 3679405242 220391767 2014234017 1803139827 988762133 3469474016 3338424238 3713821835 1028118360 2358595431 3396275829 2050360920 985223782 229746242 616455380 727714423 2595265108 3808910066 3802730404 1431799483 2329821707 3009759997 423244981 1873034002 2066261817 690656120 439305977 1647086938 1537508620 2612056109 1281148766 721160190 603364670 903598787 634974903 2294763905 3497856299 2308891080 3992064648 727322957 2746480463 4070562253 920342524 3775948239 2216809960 2602778094 1002550547 3689344145 2537119271 2963436925 3855934834 354142514 3147585053 2299037078 2106772123 1699375415 1394232575 1366559528 2944285892 1005929880 1822016950 4054061739 3019736091 2491475983 3658439553 255159230 3937464175 223667730 2345919274 163577976 1939641118 1306228759 4089186511 237660657 296042196 3954116139 1140190174 3051798424 3601818203 1439809256 863029266 3435314959 3563144793 1656775371 734229609 1276519436 995226066 2074168179 3470659033 2256861214 1795607704 4254043854 1772535454 2652470649 57485083 2319430984 1438274821 3478137745 395080853 850452214 1529262037 4009308194 423997331 3658828218 1081211119 172380445 592939619 272441444 1485313059 255 362436" option to reproduce the execution 0.00/0.03 c #vars 200 0.00/0.03 c #constraints 301 0.09/0.10 c BCD2: Hardening is enabled. 0.09/0.10 c BCD2: BiasedSearch is enabled. 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 2208 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 124 | 1 | 2208 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.005s 0.09/0.11 c #wall_clock_time = 0.005s 0.09/0.11 c #decision = 124 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 1 0.09/0.11 c #restart = 0 0.09/0.11 o -9 0.09/0.11 c BCD2: updating upper bound: 100 -> 90 0.09/0.11 c BCD2: 0 <= obj <= 90 0.09/0.11 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2208 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 50 | 1 | 2208 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.004s 0.09/0.11 c #wall_clock_time = 0.004s 0.09/0.11 c #decision = 50 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 1 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 50: cost of the new core is >=1 0.09/0.11 c lower bound updated to -99 0.09/0.11 c BCD2: 1 <= obj <= 90 0.09/0.11 c BCD2: #cores=1, #unrelaxed=50, #relaxed=50, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2208 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 51 | 1 | 2208 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.004s 0.09/0.11 c #wall_clock_time = 0.004s 0.09/0.11 c #decision = 51 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 1 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: relaxing 50 and merging with 1 cores into a new core of size 100: cost of the new core is >=2 0.09/0.11 c lower bound updated to -98 0.09/0.12 c BCD2: 2 <= obj <= 90 0.09/0.12 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 2208 0 | 1 | 0 0.09/0.15 c 0.0s | 1 | 1656 | 100 | 2429 0 | 1 | 1 0.19/0.24 c 0.1s | 2 | 4331 | 250 | 2672 0 | 1 | 1 0.29/0.36 c 0.2s | 3 | 6557 | 475 | 2940 0 | 1 | 1 0.49/0.59 c 0.5s | 4 | 7183 | 813 | 3235 0 | 1 | 1 0.79/0.89 c 0.8s | 5 | 9373 | 1320 | 3559 0 | 1 | 1 1.29/1.33 c 1.2s | 6 | 10628 | 2081 | 3915 0 | 1 | 1 1.89/1.95 c 1.8s | 7 | 20581 | 3223 | 4307 0 | 1 | 1 2.89/2.90 c 2.8s | 8 | 27662 | 4936 | 4738 1 | 1 | 1 3.99/4.06 c 3.9s | 9 | 31310 | 7506 | 5212 2 | 1 | 1 5.99/6.04 c 5.9s | 10 | 41337 | 11361 | 5734 3 | 1 | 1 7.99/8.09 c 8.0s | 10 | 54421 | 15161 | 5734 4 | 1 | 1 9.09/9.11 c 9.0s | 11 | 57863 | 17144 | 6308 5 | 1 | 1 11.10/11.11 c 11.0s | 11 | 64659 | 20844 | 6308 6 | 1 | 1 13.09/13.15 c 13.0s | 11 | 70465 | 24244 | 6308 7 | 1 | 1 13.99/14.08 c 14.0s | 12 | 72560 | 25819 | 6939 7 | 1 | 1 15.99/16.10 c 16.0s | 12 | 78752 | 30019 | 6939 8 | 1 | 1 18.09/18.14 c 18.0s | 12 | 85352 | 33619 | 6939 9 | 1 | 1 20.09/20.19 c 20.1s | 12 | 90353 | 37119 | 6939 10 | 1 | 1 21.18/21.22 c 21.1s | 13 | 94413 | 38832 | 7633 11 | 1 | 1 23.28/23.32 c 23.2s | 13 | 106421 | 42232 | 7633 12 | 1 | 1 25.29/25.35 c 25.2s | 13 | 116179 | 45732 | 7633 12 | 1 | 1 27.28/27.37 c 27.3s | 13 | 125329 | 48932 | 7633 13 | 1 | 1 29.38/29.41 c 29.3s | 13 | 132317 | 52232 | 7633 14 | 1 | 1 31.38/31.46 c 31.3s | 13 | 140506 | 55432 | 7633 15 | 1 | 1 33.28/33.39 c 33.3s | 14 | 144617 | 58352 | 8397 16 | 1 | 1 35.30/35.39 c 35.3s | 14 | 149518 | 61452 | 8397 16 | 1 | 1 37.40/37.44 c 37.3s | 14 | 154673 | 64352 | 8397 17 | 1 | 1 39.39/39.49 c 39.4s | 14 | 161694 | 67552 | 8397 18 | 1 | 1 41.49/41.53 c 41.4s | 14 | 171099 | 70752 | 8397 18 | 1 | 1 43.49/43.55 c 43.4s | 14 | 175562 | 73652 | 8397 19 | 1 | 1 45.49/45.58 c 45.5s | 14 | 180545 | 77152 | 8397 20 | 1 | 1 47.59/47.64 c 47.5s | 14 | 185552 | 80252 | 8397 21 | 1 | 1 49.59/49.69 c 49.6s | 14 | 190417 | 83552 | 8397 21 | 1 | 1 51.69/51.75 c 51.6s | 14 | 195477 | 86752 | 8397 22 | 1 | 1 52.19/52.25 c 52.1s | 15 | 198096 | 87632 | 9237 22 | 1 | 1 54.18/54.28 c 54.2s | 15 | 205400 | 90432 | 9237 23 | 1 | 1 56.28/56.32 c 56.2s | 15 | 219635 | 93432 | 9237 23 | 1 | 1 58.29/58.34 c 58.2s | 15 | 223180 | 95932 | 9237 24 | 1 | 1 60.28/60.36 c 60.2s | 15 | 227831 | 98732 | 9237 25 | 1 | 1 62.28/62.36 c 62.2s | 15 | 233270 | 101732 | 9237 25 | 1 | 1 64.38/64.42 c 64.3s | 15 | 237877 | 104532 | 9237 26 | 1 | 1 66.38/66.49 c 66.4s | 15 | 243612 | 107532 | 9237 26 | 1 | 1 68.38/68.49 c 68.4s | 15 | 247093 | 110232 | 9237 27 | 1 | 1 70.49/70.51 c 70.4s | 15 | 252913 | 113132 | 9237 28 | 1 | 1 72.48/72.53 c 72.4s | 15 | 258120 | 116132 | 9237 28 | 1 | 1 74.48/74.56 c 74.4s | 15 | 262571 | 119232 | 9237 29 | 1 | 1 76.58/76.62 c 76.5s | 15 | 266136 | 121932 | 9237 29 | 1 | 1 78.58/78.65 c 78.5s | 15 | 272724 | 124732 | 9237 30 | 1 | 1 80.58/80.67 c 80.6s | 15 | 276628 | 127732 | 9237 31 | 1 | 1 82.68/82.70 c 82.6s | 15 | 281035 | 130732 | 10161 31 | 1 | 1 83.18/83.25 c 83.1s | 16 | 282217 | 131552 | 10161 31 | 1 | 1 85.28/85.32 c 85.2s | 16 | 285957 | 134052 | 10161 32 | 1 | 1 87.28/87.39 c 87.3s | 16 | 289998 | 136852 | 10161 32 | 1 | 1 89.38/89.43 c 89.3s | 16 | 293785 | 139252 | 10161 33 | 1 | 1 91.39/91.47 c 91.4s | 16 | 302273 | 142452 | 10161 33 | 1 | 1 93.38/93.47 c 93.4s | 16 | 313970 | 145352 | 10161 34 | 1 | 1 95.48/95.53 c 95.4s | 16 | 321018 | 148052 | 10161 34 | 1 | 1 97.58/97.60 c 97.5s | 16 | 325635 | 150452 | 10161 35 | 1 | 1 99.58/99.63 c 99.5s | 16 | 335434 | 153252 | 10161 35 | 1 | 1 101.58/101.63 c 101s | 16 | 341300 | 155752 | 10161 36 | 1 | 1 103.58/103.63 c 103s | 16 | 348493 | 158452 | 10161 37 | 1 | 1 105.58/105.65 c 105s | 16 | 352565 | 160952 | 10161 37 | 1 | 1 107.68/107.75 c 107s | 16 | 359010 | 163652 | 10161 38 | 1 | 1 109.87/109.98 c 109s | 16 | 362247 | 165552 | 10161 38 | 1 | 1 111.97/112.03 c 111s | 16 | 368024 | 169152 | 10161 39 | 1 | 1 113.97/114.05 c 113s | 16 | 372178 | 172552 | 10161 39 | 1 | 1 115.97/116.06 c 115s | 16 | 378783 | 175752 | 10161 40 | 1 | 1 117.97/118.07 c 117s | 16 | 388788 | 178752 | 10161 40 | 1 | 1 120.07/120.12 c 120s | 16 | 394038 | 181252 | 10161 41 | 1 | 1 122.08/122.19 c 122s | 16 | 401799 | 184052 | 10161 41 | 1 | 1 124.17/124.24 c 124s | 16 | 408008 | 186552 | 10161 42 | 1 | 1 126.17/126.28 c 126s | 16 | 416260 | 189252 | 10161 42 | 1 | 1 128.27/128.31 c 128s | 16 | 420714 | 191652 | 10161 43 | 1 | 1 130.27/130.35 c 130s | 16 | 423752 | 193752 | 10161 43 | 1 | 1 132.27/132.37 c 132s | 16 | 428485 | 196652 | 11178 44 | 1 | 1 132.87/132.90 c 132s | 17 | 429606 | 197432 | 11178 44 | 1 | 1 134.87/134.92 c 134s | 17 | 436480 | 200032 | 11178 44 | 1 | 1 136.87/136.96 c 136s | 17 | 440394 | 202432 | 11178 45 | 1 | 1 138.87/138.97 c 138s | 17 | 445144 | 205232 | 11178 45 | 1 | 1 141.37/141.41 c 141s | 17 | 451107 | 207832 | 11178 46 | 1 | 1 143.37/143.41 c 143s | 17 | 460929 | 211032 | 11178 46 | 1 | 1 145.37/145.47 c 145s | 17 | 478054 | 214332 | 11178 47 | 1 | 1 147.38/147.49 c 147s | 17 | 481293 | 217132 | 11178 47 | 1 | 1 149.47/149.51 c 149s | 17 | 487148 | 219932 | 11178 48 | 1 | 1 151.47/151.55 c 151s | 17 | 490443 | 222632 | 11178 48 | 1 | 1 153.47/153.56 c 153s | 17 | 495931 | 225332 | 11178 49 | 1 | 1 155.47/155.58 c 155s | 17 | 500236 | 227932 | 11178 49 | 1 | 1 157.57/157.67 c 157s | 17 | 503216 | 230232 | 11178 50 | 1 | 1 159.58/159.68 c 159s | 17 | 510842 | 233232 | 11178 50 | 1 | 1 161.68/161.72 c 161s | 17 | 518596 | 236032 | 11178 51 | 1 | 1 163.67/163.76 c 163s | 17 | 523067 | 238732 | 11178 51 | 1 | 1 165.67/165.77 c 165s | 17 | 527771 | 241632 | 11178 52 | 1 | 1 167.77/167.81 c 167s | 17 | 533808 | 244532 | 11178 52 | 1 | 1 169.77/169.82 c 169s | 17 | 536259 | 246932 | 11178 53 | 1 | 1 171.77/171.84 c 171s | 17 | 539145 | 249432 | 11178 53 | 1 | 1 173.77/173.87 c 173s | 17 | 543249 | 251932 | 11178 53 | 1 | 1 175.77/175.89 c 175s | 17 | 546699 | 254532 | 11178 54 | 1 | 1 177.87/177.92 c 177s | 17 | 549981 | 257232 | 11178 54 | 1 | 1 179.87/179.97 c 179s | 17 | 553565 | 259832 | 11178 55 | 1 | 1 181.96/182.01 c 181s | 17 | 556491 | 262532 | 11178 55 | 1 | 1 183.96/184.09 c 183s | 17 | 560098 | 264432 | 11178 56 | 1 | 1 186.06/186.13 c 186s | 17 | 568295 | 267232 | 11178 56 | 1 | 1 188.07/188.19 c 188s | 17 | 577565 | 270132 | 11178 57 | 1 | 1 190.16/190.23 c 190s | 17 | 581541 | 273032 | 11178 57 | 1 | 1 192.16/192.25 c 192s | 17 | 585429 | 275832 | 11178 58 | 1 | 1 194.26/194.32 c 194s | 17 | 589393 | 278732 | 11178 58 | 1 | 1 196.26/196.34 c 196s | 17 | 592405 | 281232 | 11178 59 | 1 | 1 198.26/198.39 c 198s | 17 | 599137 | 284232 | 11178 59 | 1 | 1 200.36/200.45 c 200s | 17 | 602634 | 286832 | 11178 60 | 1 | 1 202.37/202.49 c 202s | 17 | 608441 | 289732 | 11178 60 | 1 | 1 204.46/204.52 c 204s | 17 | 611923 | 292432 | 11178 61 | 1 | 1 206.46/206.57 c 206s | 17 | 617804 | 295532 | 12296 61 | 1 | 1 207.06/207.12 c 207s | 18 | 618822 | 296252 | 12296 61 | 1 | 1 209.07/209.17 c 209s | 18 | 629470 | 298252 | 12296 61 | 1 | 1 211.16/211.29 c 211s | 18 | 638500 | 300852 | 12296 62 | 1 | 1 213.26/213.35 c 213s | 18 | 646096 | 303752 | 12296 62 | 1 | 1 215.36/215.42 c 215s | 18 | 656473 | 306452 | 12296 63 | 1 | 1 217.36/217.44 c 217s | 18 | 661548 | 308652 | 12296 63 | 1 | 1 219.36/219.44 c 219s | 18 | 666566 | 310852 | 12296 64 | 1 | 1 221.36/221.47 c 221s | 18 | 672303 | 313252 | 12296 64 | 1 | 1 223.56/223.65 c 223s | 18 | 674546 | 315052 | 12296 64 | 1 | 1 225.56/225.68 c 225s | 18 | 679637 | 317752 | 12296 65 | 1 | 1 227.66/227.74 c 227s | 18 | 683987 | 320352 | 12296 65 | 1 | 1 229.65/229.79 c 229s | 18 | 694485 | 322852 | 12296 65 | 1 | 1 231.75/231.85 c 231s | 18 | 698973 | 325752 | 12296 66 | 1 | 1 233.85/233.93 c 233s | 18 | 704369 | 328252 | 12296 66 | 1 | 1 235.85/235.98 c 235s | 18 | 709773 | 330652 | 12296 67 | 1 | 1 237.85/237.99 c 237s | 18 | 715018 | 333052 | 12296 67 | 1 | 1 239.95/240.00 c 239s | 18 | 718594 | 335052 | 12296 67 | 1 | 1 241.96/242.06 c 241s | 18 | 726626 | 337652 | 12296 68 | 1 | 1 243.95/244.07 c 243s | 18 | 732973 | 340652 | 12296 68 | 1 | 1 245.95/246.07 c 245s | 18 | 751105 | 343752 | 12296 69 | 1 | 1 248.05/248.11 c 247s | 18 | 757242 | 346552 | 12296 69 | 1 | 1 250.05/250.16 c 250s | 18 | 763117 | 349152 | 12296 70 | 1 | 1 252.05/252.17 c 252s | 18 | 766089 | 351552 | 12296 70 | 1 | 1 254.16/254.20 c 254s | 18 | 770371 | 354252 | 12296 70 | 1 | 1 256.15/256.22 c 256s | 18 | 773561 | 356952 | 12296 71 | 1 | 1 258.15/258.25 c 258s | 18 | 777638 | 359652 | 12296 71 | 1 | 1 260.15/260.29 c 260s | 18 | 781029 | 361652 | 12296 72 | 1 | 1 262.25/262.31 c 262s | 18 | 786396 | 364452 | 12296 72 | 1 | 1 264.35/264.41 c 264s | 18 | 791181 | 367052 | 12296 73 | 1 | 1 266.35/266.48 c 266s | 18 | 794173 | 369952 | 12296 73 | 1 | 1 268.45/268.54 c 268s | 18 | 800825 | 372652 | 12296 73 | 1 | 1 270.45/270.54 c 270s | 18 | 803601 | 375252 | 12296 74 | 1 | 1 272.45/272.57 c 272s | 18 | 806430 | 377852 | 12296 74 | 1 | 1 274.55/274.60 c 274s | 18 | 813324 | 379852 | 12296 75 | 1 | 1 276.55/276.62 c 276s | 18 | 819964 | 382852 | 12296 75 | 1 | 1 278.55/278.64 c 278s | 18 | 824485 | 385652 | 12296 75 | 1 | 1 280.56/280.65 c 280s | 18 | 828997 | 388252 | 12296 76 | 1 | 1 282.55/282.70 c 282s | 18 | 841911 | 390852 | 12296 76 | 1 | 1 284.65/284.72 c 284s | 18 | 851106 | 392952 | 12296 77 | 1 | 1 286.75/286.82 c 286s | 18 | 858109 | 395452 | 12296 77 | 1 | 1 288.75/288.84 c 288s | 18 | 869892 | 397852 | 12296 77 | 1 | 1 291.15/291.24 c 291s | 18 | 875662 | 400052 | 12296 78 | 1 | 1 293.25/293.32 c 293s | 18 | 879338 | 402252 | 12296 78 | 1 | 1 295.35/295.40 c 295s | 18 | 885260 | 404652 | 12296 79 | 1 | 1 297.35/297.42 c 297s | 18 | 893687 | 407352 | 12296 79 | 1 | 1 299.35/299.44 c 299s | 18 | 899486 | 409852 | 12296 79 | 1 | 1 301.35/301.46 c 301s | 18 | 907636 | 411952 | 12296 80 | 1 | 1 303.35/303.47 c 303s | 18 | 911481 | 413852 | 12296 80 | 1 | 1 305.55/305.60 c 305s | 18 | 923123 | 416852 | 12296 81 | 1 | 1 307.55/307.62 c 307s | 18 | 943499 | 420152 | 12296 81 | 1 | 1 309.55/309.63 c 309s | 18 | 952994 | 422952 | 12296 81 | 1 | 1 311.64/311.70 c 311s | 18 | 961451 | 426052 | 12296 82 | 1 | 1 313.64/313.77 c 313s | 18 | 967849 | 428852 | 12296 82 | 1 | 1 315.75/315.84 c 315s | 18 | 971043 | 431652 | 12296 83 | 1 | 1 317.74/317.90 c 317s | 18 | 985532 | 433952 | 12296 83 | 1 | 1 319.84/319.95 c 319s | 18 | 992705 | 436652 | 12296 84 | 1 | 1 321.84/321.98 c 321s | 18 | 1001409 | 439552 | 12296 84 | 1 | 1 323.84/323.99 c 323s | 18 | 1005680 | 442152 | 13526 84 | 1 | 1 325.74/325.82 c 325s | 19 | 1008519 | 444482 | 13526 85 | 1 | 1 327.85/327.91 c 327s | 19 | 1011345 | 445482 | 13526 85 | 1 | 1 329.84/329.91 c 329s | 19 | 1023147 | 447982 | 13526 85 | 1 | 1 331.84/331.93 c 331s | 19 | 1030127 | 449882 | 13526 86 | 1 | 1 333.84/333.95 c 333s | 19 | 1038866 | 452082 | 13526 86 | 1 | 1 335.94/336.03 c 335s | 19 | 1053289 | 454382 | 13526 86 | 1 | 1 338.14/338.23 c 338s | 19 | 1063593 | 456582 | 13526 87 | 1 | 1 340.14/340.25 c 340s | 19 | 1072431 | 459082 | 13526 87 | 1 | 1 342.24/342.33 c 342s | 19 | 1079470 | 461382 | 13526 87 | 1 | 1 344.25/344.36 c 344s | 19 | 1091498 | 463482 | 13526 88 | 1 | 1 346.24/346.36 c 346s | 19 | 1099863 | 465682 | 13526 88 | 1 | 1 348.34/348.45 c 348s | 19 | 1107350 | 467982 | 13526 88 | 1 | 1 350.34/350.47 c 350s | 19 | 1111084 | 470082 | 13526 88 | 1 | 1 352.44/352.52 c 352s | 19 | 1116466 | 472282 | 13526 89 | 1 | 1 354.44/354.58 c 354s | 19 | 1118977 | 474582 | 13526 89 | 1 | 1 356.54/356.65 c 356s | 19 | 1120922 | 476482 | 13526 89 | 1 | 1 358.54/358.66 c 358s | 19 | 1122950 | 478482 | 13526 90 | 1 | 1 361.44/361.53 c 361s | 19 | 1123812 | 478982 | 13526 90 | 1 | 1 363.43/363.56 c 363s | 19 | 1136842 | 482082 | 13526 90 | 1 | 1 365.53/365.60 c 365s | 19 | 1148071 | 484682 | 13526 91 | 1 | 1 367.53/367.69 c 367s | 19 | 1167763 | 487382 | 13526 91 | 1 | 1 369.64/369.72 c 369s | 19 | 1177137 | 489882 | 13526 91 | 1 | 1 371.63/371.74 c 371s | 19 | 1191719 | 492382 | 13526 92 | 1 | 1 373.63/373.77 c 373s | 19 | 1206313 | 494982 | 13526 92 | 1 | 1 375.73/375.80 c 375s | 19 | 1219678 | 497582 | 13526 92 | 1 | 1 377.73/377.89 c 377s | 19 | 1228931 | 500082 | 13526 93 | 1 | 1 379.83/379.91 c 379s | 19 | 1239171 | 502482 | 13526 93 | 1 | 1 381.83/381.96 c 381s | 19 | 1245611 | 504882 | 13526 94 | 1 | 1 383.84/383.97 c 383s | 19 | 1256151 | 507682 | 13526 94 | 1 | 1 385.93/386.00 c 385s | 19 | 1264695 | 509982 | 13526 94 | 1 | 1 387.93/388.03 c 387s | 19 | 1270124 | 512282 | 13526 95 | 1 | 1 389.93/390.04 c 389s | 19 | 1280007 | 514782 | 13526 95 | 1 | 1 391.93/392.08 c 391s | 19 | 1284583 | 516982 | 13526 95 | 1 | 1 393.93/394.10 c 393s | 19 | 1287139 | 518782 | 13526 96 | 1 | 1 396.63/396.77 c 396s | 19 | 1290196 | 520382 | 13526 96 | 1 | 1 398.73/398.85 c 398s | 19 | 1295192 | 522182 | 13526 96 | 1 | 1 400.83/400.96 c 400s | 19 | 1303705 | 524182 | 13526 96 | 1 | 1 402.93/403.02 c 402s | 19 | 1305726 | 526082 | 13526 97 | 1 | 1 404.93/405.08 c 404s | 19 | 1310700 | 528282 | 13526 97 | 1 | 1 407.03/407.18 c 407s | 19 | 1321476 | 530382 | 13526 97 | 1 | 1 409.13/409.24 c 409s | 19 | 1329084 | 532382 | 13526 98 | 1 | 1 411.13/411.24 c 411s | 19 | 1333206 | 534382 | 13526 98 | 1 | 1 413.22/413.31 c 413s | 19 | 1341912 | 536582 | 13526 98 | 1 | 1 415.22/415.36 c 415s | 19 | 1347005 | 538682 | 13526 98 | 1 | 1 417.32/417.44 c 417s | 19 | 1350804 | 540782 | 13526 99 | 1 | 1 419.33/419.48 c 419s | 19 | 1354573 | 542482 | 13526 99 | 1 | 1 421.43/421.50 c 421s | 19 | 1357871 | 544582 | 13526 99 | 1 | 1 423.44/423.52 c 423s | 19 | 1361115 | 546482 | 13526 100 | 1 | 1 425.43/425.54 c 425s | 19 | 1363598 | 548582 | 13526 100 | 1 | 1 427.53/427.63 c 427s | 19 | 1365650 | 550482 | 13526 100 | 1 | 1 429.53/429.64 c 429s | 19 | 1367871 | 552382 | 13526 100 | 1 | 1 431.73/431.81 c 431s | 19 | 1369164 | 553582 | 13526 101 | 1 | 1 434.73/434.81 c 434s | 19 | 1372053 | 555582 | 13526 101 | 1 | 1 436.74/436.81 c 436s | 19 | 1377302 | 558082 | 13526 101 | 1 | 1 438.73/438.87 c 438s | 19 | 1383081 | 560382 | 13526 102 | 1 | 1 440.83/440.91 c 440s | 19 | 1386671 | 562982 | 13526 102 | 1 | 1 442.83/442.95 c 442s | 19 | 1390929 | 565582 | 13526 102 | 1 | 1 444.83/445.00 c 444s | 19 | 1396770 | 567882 | 13526 103 | 1 | 1 446.93/447.03 c 446s | 19 | 1401974 | 570382 | 13526 103 | 1 | 1 448.92/449.04 c 448s | 19 | 1405964 | 572782 | 13526 103 | 1 | 1 450.93/451.10 c 450s | 19 | 1409376 | 574982 | 13526 104 | 1 | 1 453.02/453.18 c 453s | 19 | 1412644 | 577482 | 13526 104 | 1 | 1 455.02/455.18 c 455s | 19 | 1417161 | 579882 | 13526 104 | 1 | 1 457.12/457.26 c 457s | 19 | 1420744 | 582382 | 13526 105 | 1 | 1 459.12/459.29 c 459s | 19 | 1426212 | 584882 | 13526 105 | 1 | 1 461.22/461.30 c 461s | 19 | 1431278 | 587082 | 13526 106 | 1 | 1 463.22/463.30 c 463s | 19 | 1435434 | 589282 | 13526 106 | 1 | 1 465.62/465.78 c 465s | 19 | 1439169 | 591182 | 13526 106 | 1 | 1 467.62/467.79 c 467s | 19 | 1449943 | 592882 | 13526 106 | 1 | 1 469.72/469.80 c 469s | 19 | 1458674 | 595482 | 13526 107 | 1 | 1 471.72/471.88 c 471s | 19 | 1476260 | 598482 | 13526 107 | 1 | 1 473.82/473.91 c 473s | 19 | 1487707 | 600982 | 13526 108 | 1 | 1 475.82/475.95 c 475s | 19 | 1496606 | 603482 | 13526 108 | 1 | 1 477.91/478.09 c 477s | 19 | 1501865 | 605282 | 13526 108 | 1 | 1 479.91/480.09 c 479s | 19 | 1512309 | 607382 | 13526 109 | 1 | 1 482.01/482.15 c 482s | 19 | 1519920 | 610282 | 13526 109 | 1 | 1 484.02/484.19 c 484s | 19 | 1525986 | 613382 | 13526 109 | 1 | 1 486.01/486.19 c 486s | 19 | 1531918 | 616482 | 13526 110 | 1 | 1 488.11/488.23 c 488s | 19 | 1539012 | 619382 | 13526 110 | 1 | 1 490.11/490.28 c 490s | 19 | 1546313 | 622082 | 13526 111 | 1 | 1 492.21/492.31 c 492s | 19 | 1552741 | 625382 | 13526 111 | 1 | 1 494.21/494.35 c 494s | 19 | 1557550 | 628182 | 13526 112 | 1 | 1 496.22/496.36 c 496s | 19 | 1560820 | 630682 | 13526 112 | 1 | 1 498.22/498.36 c 498s | 19 | 1567450 | 633182 | 13526 112 | 1 | 1 500.32/500.40 c 500s | 19 | 1576508 | 635282 | 13526 113 | 1 | 1 502.32/502.42 c 502s | 19 | 1581439 | 637782 | 13526 113 | 1 | 1 504.32/504.43 c 504s | 19 | 1584609 | 640182 | 13526 113 | 1 | 1 506.32/506.45 c 506s | 19 | 1587078 | 642082 | 13526 114 | 1 | 1 508.31/508.49 c 508s | 19 | 1595579 | 644782 | 13526 114 | 1 | 1 510.42/510.53 c 510s | 19 | 1602249 | 647482 | 13526 114 | 1 | 1 512.41/512.55 c 512s | 19 | 1611564 | 649582 | 13526 115 | 1 | 1 514.41/514.59 c 514s | 19 | 1622265 | 651882 | 13526 115 | 1 | 1 516.51/516.68 c 516s | 19 | 1630454 | 654082 | 13526 115 | 1 | 1 518.61/518.73 c 518s | 19 | 1643534 | 656182 | 13526 116 | 1 | 1 520.61/520.78 c 520s | 19 | 1655539 | 657882 | 13526 116 | 1 | 1 522.71/522.84 c 522s | 19 | 1670819 | 660382 | 13526 116 | 1 | 1 524.81/524.92 c 524s | 19 | 1674653 | 662382 | 14879 117 | 1 | 1 526.82/526.96 c 526s | 19 | 1679905 | 664782 | 14879 117 | 1 | 1 528.41/528.56 c 528s | 20 | 1683470 | 666827 | 14879 117 | 1 | 1 530.41/530.57 c 530s | 20 | 1693078 | 669127 | 14879 117 | 1 | 1 532.51/532.61 c 532s | 20 | 1695953 | 671127 | 14879 118 | 1 | 1 534.51/534.68 c 534s | 20 | 1701825 | 673527 | 14879 118 | 1 | 1 536.61/536.74 c 536s | 20 | 1707382 | 676027 | 14879 118 | 1 | 1 538.61/538.75 c 538s | 20 | 1713312 | 678027 | 14879 119 | 1 | 1 540.71/540.81 c 540s | 20 | 1716841 | 680127 | 14879 119 | 1 | 1 542.71/542.85 c 542s | 20 | 1720988 | 682327 | 14879 119 | 1 | 1 544.71/544.88 c 544s | 20 | 1722951 | 684227 | 14879 119 | 1 | 1 546.81/546.97 c 546s | 20 | 1724558 | 685227 | 14879 120 | 1 | 1 548.91/549.01 c 548s | 20 | 1732087 | 688027 | 14879 120 | 1 | 1 550.91/551.02 c 550s | 20 | 1736768 | 690727 | 14879 120 | 1 | 1 552.91/553.04 c 552s | 20 | 1739625 | 693027 | 14879 121 | 1 | 1 554.90/555.06 c 554s | 20 | 1744698 | 695827 | 14879 121 | 1 | 1 556.90/557.09 c 556s | 20 | 1751605 | 698327 | 14879 121 | 1 | 1 559.00/559.12 c 559s | 20 | 1753933 | 700327 | 14879 122 | 1 | 1 561.01/561.12 c 561s | 20 | 1756483 | 702827 | 14879 122 | 1 | 1 563.00/563.13 c 563s | 20 | 1759636 | 705327 | 14879 122 | 1 | 1 565.00/565.18 c 565s | 20 | 1765859 | 707627 | 14879 122 | 1 | 1 567.10/567.22 c 567s | 20 | 1770845 | 709827 | 14879 123 | 1 | 1 569.50/569.63 c 569s | 20 | 1774049 | 712227 | 14879 123 | 1 | 1 571.50/571.64 c 571s | 20 | 1779537 | 714627 | 14879 123 | 1 | 1 573.50/573.66 c 573s | 20 | 1781946 | 716927 | 14879 124 | 1 | 1 575.50/575.68 c 575s | 20 | 1784621 | 719527 | 14879 124 | 1 | 1 577.60/577.72 c 577s | 20 | 1788389 | 722627 | 14879 124 | 1 | 1 579.60/579.74 c 579s | 20 | 1790812 | 724927 | 14879 125 | 1 | 1 581.61/581.77 c 581s | 20 | 1793657 | 726727 | 14879 125 | 1 | 1 583.71/583.81 c 583s | 20 | 1798333 | 729227 | 14879 125 | 1 | 1 585.71/585.81 c 585s | 20 | 1802726 | 731527 | 14879 126 | 1 | 1 587.70/587.88 c 587s | 20 | 1807740 | 734127 | 14879 126 | 1 | 1 589.80/589.94 c 589s | 20 | 1810372 | 736627 | 14879 126 | 1 | 1 591.90/592.00 c 591s | 20 | 1812832 | 739027 | 14879 127 | 1 | 1 593.91/594.02 c 593s | 20 | 1816283 | 741927 | 14879 127 | 1 | 1 596.00/596.11 c 595s | 20 | 1820097 | 744327 | 14879 127 | 1 | 1 598.00/598.16 c 598s | 20 | 1825323 | 746727 | 14879 128 | 1 | 1 600.10/600.24 c 600s | 20 | 1830209 | 749427 | 14879 128 | 1 | 1 602.10/602.26 c 602s | 20 | 1832613 | 751727 | 14879 128 | 1 | 1 604.20/604.31 c 604s | 20 | 1834889 | 753727 | 14879 129 | 1 | 1 606.40/606.58 c 606s | 20 | 1837450 | 755727 | 14879 129 | 1 | 1 608.50/608.66 c 608s | 20 | 1840417 | 757727 | 14879 129 | 1 | 1 610.51/610.67 c 610s | 20 | 1845144 | 760027 | 14879 129 | 1 | 1 612.50/612.68 c 612s | 20 | 1856226 | 762827 | 14879 130 | 1 | 1 614.60/614.73 c 614s | 20 | 1861760 | 765327 | 14879 130 | 1 | 1 616.60/616.78 c 616s | 20 | 1870062 | 767627 | 14879 130 | 1 | 1 618.70/618.83 c 618s | 20 | 1872685 | 770127 | 14879 131 | 1 | 1 620.80/620.93 c 620s | 20 | 1876789 | 772727 | 14879 131 | 1 | 1 622.80/622.96 c 622s | 20 | 1879191 | 775027 | 14879 131 | 1 | 1 624.90/625.04 c 624s | 20 | 1881551 | 777327 | 14879 132 | 1 | 1 627.20/627.39 c 627s | 20 | 1885360 | 779427 | 14879 132 | 1 | 1 629.30/629.42 c 629s | 20 | 1893447 | 782127 | 14879 132 | 1 | 1 631.30/631.47 c 631s | 20 | 1904156 | 784627 | 14879 133 | 1 | 1 633.40/633.54 c 633s | 20 | 1907654 | 787027 | 14879 133 | 1 | 1 635.50/635.60 c 635s | 20 | 1911484 | 789627 | 14879 133 | 1 | 1 637.50/637.61 c 637s | 20 | 1914423 | 792127 | 14879 134 | 1 | 1 639.49/639.62 c 639s | 20 | 1918261 | 795027 | 14879 134 | 1 | 1 641.49/641.68 c 641s | 20 | 1920792 | 797427 | 14879 134 | 1 | 1 643.59/643.73 c 643s | 20 | 1923554 | 800127 | 14879 135 | 1 | 1 645.70/645.83 c 645s | 20 | 1930114 | 802527 | 14879 135 | 1 | 1 647.69/647.85 c 647s | 20 | 1937215 | 804927 | 14879 135 | 1 | 1 649.69/649.88 c 649s | 20 | 1942072 | 807127 | 14879 136 | 1 | 1 651.69/651.88 c 651s | 20 | 1945280 | 809027 | 14879 136 | 1 | 1 653.79/653.91 c 653s | 20 | 1947960 | 811327 | 14879 136 | 1 | 1 655.79/655.95 c 655s | 20 | 1956012 | 813227 | 14879 137 | 1 | 1 657.79/657.96 c 657s | 20 | 1963143 | 815427 | 14879 137 | 1 | 1 659.79/659.99 c 659s | 20 | 1974756 | 817727 | 14879 137 | 1 | 1 661.79/661.99 c 661s | 20 | 1996371 | 820027 | 14879 137 | 1 | 1 663.89/664.03 c 663s | 20 | 2004266 | 822227 | 14879 138 | 1 | 1 665.89/666.08 c 665s | 20 | 2011823 | 825027 | 14879 138 | 1 | 1 667.99/668.11 c 667s | 20 | 2019258 | 827727 | 14879 138 | 1 | 1 669.99/670.18 c 670s | 20 | 2025493 | 830127 | 14879 139 | 1 | 1 672.10/672.24 c 672s | 20 | 2036764 | 832227 | 14879 139 | 1 | 1 674.20/674.34 c 674s | 20 | 2046168 | 834427 | 14879 139 | 1 | 1 676.19/676.38 c 676s | 20 | 2050648 | 836427 | 14879 140 | 1 | 1 678.29/678.45 c 678s | 20 | 2058509 | 838527 | 14879 140 | 1 | 1 680.39/680.53 c 680s | 20 | 2060458 | 840427 | 14879 140 | 1 | 1 682.39/682.58 c 682s | 20 | 2063936 | 842327 | 14879 140 | 1 | 1 684.49/684.69 c 684s | 20 | 2065841 | 844227 | 14879 141 | 1 | 1 686.59/686.77 c 686s | 20 | 2067287 | 845527 | 14879 141 | 1 | 1 688.60/688.79 c 688s | 20 | 2069847 | 847827 | 14879 141 | 1 | 1 690.69/690.87 c 690s | 20 | 2072359 | 850027 | 14879 141 | 1 | 1 692.79/692.92 c 692s | 20 | 2076099 | 852127 | 14879 142 | 1 | 1 694.79/694.98 c 694s | 20 | 2078960 | 853727 | 14879 142 | 1 | 1 696.89/697.01 c 696s | 20 | 2084049 | 855727 | 14879 142 | 1 | 1 698.89/699.08 c 698s | 20 | 2090083 | 858027 | 14879 143 | 1 | 1 700.98/701.15 c 701s | 20 | 2098566 | 860527 | 14879 143 | 1 | 1 703.08/703.21 c 703s | 20 | 2103274 | 862627 | 14879 143 | 1 | 1 705.09/705.24 c 705s | 20 | 2107948 | 864727 | 14879 143 | 1 | 1 707.08/707.27 c 707s | 20 | 2110712 | 866427 | 14879 144 | 1 | 1 709.18/709.31 c 709s | 20 | 2113833 | 869127 | 14879 144 | 1 | 1 711.18/711.35 c 711s | 20 | 2117196 | 871727 | 14879 144 | 1 | 1 713.28/713.41 c 713s | 20 | 2121075 | 874027 | 14879 145 | 1 | 1 715.28/715.42 c 715s | 20 | 2125553 | 876527 | 14879 145 | 1 | 1 717.28/717.46 c 717s | 20 | 2130038 | 878927 | 14879 145 | 1 | 1 719.39/719.51 c 719s | 20 | 2133010 | 880827 | 14879 146 | 1 | 1 721.38/721.53 c 721s | 20 | 2141591 | 883127 | 14879 146 | 1 | 1 723.38/723.59 c 723s | 20 | 2147166 | 885627 | 14879 146 | 1 | 1 725.48/725.66 c 725s | 20 | 2153165 | 888127 | 14879 146 | 1 | 1 727.48/727.68 c 727s | 20 | 2159264 | 890527 | 14879 147 | 1 | 1 729.58/729.72 c 729s | 20 | 2166249 | 893127 | 14879 147 | 1 | 1 731.58/731.79 c 731s | 20 | 2174104 | 895427 | 14879 147 | 1 | 1 733.68/733.84 c 733s | 20 | 2177868 | 897527 | 14879 148 | 1 | 1 735.68/735.86 c 735s | 20 | 2181755 | 899527 | 14879 148 | 1 | 1 737.67/737.90 c 737s | 20 | 2184560 | 901827 | 14879 148 | 1 | 1 739.77/739.95 c 739s | 20 | 2186327 | 903127 | 14879 148 | 1 | 1 741.77/741.95 c 741s | 20 | 2189308 | 905427 | 14879 149 | 1 | 1 743.77/743.98 c 743s | 20 | 2192402 | 907927 | 14879 149 | 1 | 1 745.87/746.02 c 745s | 20 | 2195762 | 910227 | 14879 149 | 1 | 1 747.88/748.03 c 747s | 20 | 2200999 | 912727 | 14879 150 | 1 | 1 749.87/750.06 c 749s | 20 | 2203577 | 915227 | 14879 150 | 1 | 1 751.87/752.09 c 751s | 20 | 2206125 | 917727 | 14879 150 | 1 | 1 753.97/754.13 c 754s | 20 | 2208556 | 920127 | 14879 151 | 1 | 1 756.07/756.21 c 756s | 20 | 2214819 | 922727 | 14879 151 | 1 | 1 758.07/758.29 c 758s | 20 | 2217614 | 925027 | 14879 151 | 1 | 1 760.18/760.38 c 760s | 20 | 2222864 | 926727 | 14879 152 | 1 | 1 762.18/762.38 c 762s | 20 | 2228294 | 928827 | 14879 152 | 1 | 1 764.28/764.42 c 764s | 20 | 2234149 | 931127 | 14879 152 | 1 | 1 766.28/766.48 c 766s | 20 | 2238846 | 933427 | 14879 152 | 1 | 1 768.38/768.56 c 768s | 20 | 2241435 | 935527 | 14879 153 | 1 | 1 770.47/770.62 c 770s | 20 | 2244637 | 937827 | 14879 153 | 1 | 1 772.47/772.67 c 772s | 20 | 2247009 | 939827 | 14879 153 | 1 | 1 774.57/774.74 c 774s | 20 | 2248961 | 941627 | 14879 154 | 1 | 1 776.58/776.79 c 776s | 20 | 2249985 | 942527 | 14879 154 | 1 | 1 778.68/778.81 c 778s | 20 | 2254229 | 944927 | 14879 154 | 1 | 1 780.67/780.87 c 780s | 20 | 2258993 | 947527 | 14879 154 | 1 | 1 782.67/782.89 c 782s | 20 | 2265489 | 950027 | 14879 155 | 1 | 1 784.77/784.94 c 784s | 20 | 2273362 | 953027 | 14879 155 | 1 | 1 786.77/786.98 c 786s | 20 | 2278945 | 955627 | 14879 155 | 1 | 1 788.77/788.99 c 788s | 20 | 2290913 | 958027 | 14879 156 | 1 | 1 790.88/791.02 c 790s | 20 | 2298647 | 960427 | 14879 156 | 1 | 1 792.87/793.03 c 792s | 20 | 2303038 | 962627 | 14879 156 | 1 | 1 794.87/795.05 c 794s | 20 | 2312590 | 964727 | 14879 157 | 1 | 1 796.97/797.11 c 796s | 20 | 2322937 | 967227 | 14879 157 | 1 | 1 798.97/799.19 c 799s | 20 | 2328912 | 969727 | 14879 157 | 1 | 1 801.07/801.20 c 801s | 20 | 2333982 | 971727 | 14879 158 | 1 | 1 803.07/803.29 c 803s | 20 | 2338742 | 974127 | 14879 158 | 1 | 1 805.17/805.32 c 805s | 20 | 2341302 | 976127 | 14879 158 | 1 | 1 807.17/807.33 c 807s | 20 | 2343471 | 978127 | 14879 158 | 1 | 1 809.17/809.35 c 809s | 20 | 2345445 | 980027 | 14879 159 | 1 | 1 811.67/811.84 c 811s | 20 | 2347477 | 981927 | 14879 159 | 1 | 1 813.66/813.86 c 813s | 20 | 2351259 | 984327 | 14879 159 | 1 | 1 815.66/815.86 c 815s | 20 | 2355711 | 986627 | 14879 160 | 1 | 1 817.76/817.91 c 817s | 20 | 2358136 | 988827 | 14879 160 | 1 | 1 819.76/819.97 c 819s | 20 | 2359456 | 989927 | 14879 160 | 1 | 1 821.76/821.98 c 821s | 20 | 2365382 | 992527 | 14879 160 | 1 | 1 823.96/824.11 c 823s | 20 | 2376621 | 995227 | 16367 161 | 1 | 1 825.97/826.12 c 826s | 20 | 2384231 | 997927 | 16367 161 | 1 | 1 827.96/828.13 c 828s | 20 | 2397636 | 1000327 | 16367 161 | 1 | 1 827.96/828.14 c 828s | 21 | 2397735 | 1000345 | 16367 161 | 1 | 1 829.97/830.18 c 830s | 21 | 2405226 | 1001945 | 16367 161 | 1 | 1 832.07/832.21 c 832s | 21 | 2415882 | 1003845 | 16367 162 | 1 | 1 834.07/834.21 c 834s | 21 | 2420448 | 1005945 | 16367 162 | 1 | 1 836.07/836.21 c 836s | 21 | 2430463 | 1008345 | 16367 162 | 1 | 1 838.07/838.22 c 838s | 21 | 2435871 | 1010545 | 16367 162 | 1 | 1 840.07/840.27 c 840s | 21 | 2441563 | 1012345 | 16367 163 | 1 | 1 842.17/842.36 c 842s | 21 | 2448427 | 1014645 | 16367 163 | 1 | 1 844.16/844.39 c 844s | 21 | 2450647 | 1016245 | 16367 163 | 1 | 1 846.26/846.43 c 846s | 21 | 2454510 | 1018445 | 16367 163 | 1 | 1 848.36/848.51 c 848s | 21 | 2459608 | 1020645 | 16367 164 | 1 | 1 850.36/850.57 c 850s | 21 | 2474029 | 1023245 | 16367 164 | 1 | 1 852.37/852.57 c 852s | 21 | 2493830 | 1025845 | 16367 164 | 1 | 1 854.46/854.68 c 854s | 21 | 2504048 | 1028345 | 16367 165 | 1 | 1 856.46/856.68 c 856s | 21 | 2509902 | 1030745 | 16367 165 | 1 | 1 858.56/858.70 c 858s | 21 | 2516387 | 1033145 | 16367 165 | 1 | 1 860.56/860.75 c 860s | 21 | 2518787 | 1035445 | 16367 165 | 1 | 1 862.56/862.77 c 862s | 21 | 2521120 | 1037445 | 16367 166 | 1 | 1 864.66/864.86 c 864s | 21 | 2525304 | 1040045 | 16367 166 | 1 | 1 866.67/866.89 c 866s | 21 | 2526828 | 1041245 | 16367 166 | 1 | 1 868.66/868.89 c 868s | 21 | 2536196 | 1043745 | 16367 166 | 1 | 1 870.76/870.93 c 870s | 21 | 2540936 | 1046045 | 16367 167 | 1 | 1 872.76/872.97 c 872s | 21 | 2544231 | 1048345 | 16367 167 | 1 | 1 874.86/875.00 c 874s | 21 | 2548901 | 1050145 | 16367 167 | 1 | 1 876.86/877.04 c 876s | 21 | 2553855 | 1052345 | 16367 167 | 1 | 1 878.96/879.12 c 879s | 21 | 2559924 | 1054745 | 16367 168 | 1 | 1 880.96/881.13 c 881s | 21 | 2562463 | 1056845 | 16367 168 | 1 | 1 882.96/883.19 c 883s | 21 | 2565794 | 1059545 | 16367 168 | 1 | 1 885.06/885.20 c 885s | 21 | 2568114 | 1061745 | 16367 169 | 1 | 1 887.06/887.28 c 887s | 21 | 2570660 | 1063845 | 16367 169 | 1 | 1 889.15/889.37 c 889s | 21 | 2575275 | 1066345 | 16367 169 | 1 | 1 891.25/891.40 c 891s | 21 | 2577644 | 1068545 | 16367 169 | 1 | 1 893.25/893.40 c 893s | 21 | 2580394 | 1070745 | 16367 170 | 1 | 1 895.26/895.43 c 895s | 21 | 2583526 | 1073545 | 16367 170 | 1 | 1 897.35/897.51 c 897s | 21 | 2587547 | 1075845 | 16367 170 | 1 | 1 899.45/899.60 c 899s | 21 | 2594638 | 1077945 | 16367 171 | 1 | 1 901.45/901.67 c 901s | 21 | 2601770 | 1080545 | 16367 171 | 1 | 1 903.55/903.71 c 903s | 21 | 2604577 | 1082945 | 16367 171 | 1 | 1 905.55/905.75 c 905s | 21 | 2612710 | 1085245 | 16367 171 | 1 | 1 907.55/907.78 c 907s | 21 | 2617618 | 1087645 | 16367 172 | 1 | 1 909.66/909.82 c 909s | 21 | 2621066 | 1090145 | 16367 172 | 1 | 1 911.65/911.89 c 911s | 21 | 2624329 | 1092445 | 16367 172 | 1 | 1 913.75/913.93 c 913s | 21 | 2626639 | 1094645 | 16367 173 | 1 | 1 915.75/915.95 c 915s | 21 | 2629209 | 1097045 | 16367 173 | 1 | 1 917.75/917.99 c 917s | 21 | 2633664 | 1099445 | 16367 173 | 1 | 1 919.85/920.00 c 919s | 21 | 2637258 | 1101745 | 16367 173 | 1 | 1 921.85/922.00 c 921s | 21 | 2639141 | 1103345 | 16367 174 | 1 | 1 923.86/924.02 c 923s | 21 | 2641619 | 1105145 | 16367 174 | 1 | 1 925.85/926.02 c 925s | 21 | 2644152 | 1107445 | 16367 174 | 1 | 1 927.85/928.05 c 927s | 21 | 2646457 | 1109645 | 16367 174 | 1 | 1 929.85/930.06 c 929s | 21 | 2648321 | 1111245 | 16367 175 | 1 | 1 931.95/932.13 c 932s | 21 | 2655458 | 1113945 | 16367 175 | 1 | 1 933.95/934.17 c 934s | 21 | 2661130 | 1116545 | 16367 175 | 1 | 1 936.05/936.21 c 936s | 21 | 2674850 | 1118945 | 16367 175 | 1 | 1 938.15/938.33 c 938s | 21 | 2679262 | 1121245 | 16367 176 | 1 | 1 940.15/940.38 c 940s | 21 | 2685057 | 1123945 | 16367 176 | 1 | 1 942.25/942.44 c 942s | 21 | 2690049 | 1126645 | 16367 176 | 1 | 1 944.55/944.70 c 944s | 21 | 2693246 | 1128745 | 16367 177 | 1 | 1 946.55/946.75 c 946s | 21 | 2700408 | 1130445 | 16367 177 | 1 | 1 948.54/948.77 c 948s | 21 | 2707623 | 1132845 | 16367 177 | 1 | 1 950.64/950.84 c 950s | 21 | 2713838 | 1135145 | 16367 177 | 1 | 1 952.74/952.90 c 952s | 21 | 2723926 | 1137145 | 16367 178 | 1 | 1 954.75/954.92 c 954s | 21 | 2733061 | 1139745 | 16367 178 | 1 | 1 956.74/956.93 c 956s | 21 | 2746378 | 1142245 | 16367 178 | 1 | 1 958.74/958.98 c 958s | 21 | 2749872 | 1144245 | 16367 179 | 1 | 1 960.84/961.07 c 960s | 21 | 2753037 | 1146545 | 16367 179 | 1 | 1 963.45/963.67 c 963s | 21 | 2756205 | 1148245 | 16367 179 | 1 | 1 965.54/965.70 c 965s | 21 | 2772037 | 1150945 | 16367 179 | 1 | 1 967.55/967.71 c 967s | 21 | 2775770 | 1152545 | 16367 180 | 1 | 1 969.55/969.77 c 969s | 21 | 2779257 | 1154645 | 16367 180 | 1 | 1 971.65/971.82 c 971s | 21 | 2785097 | 1157145 | 16367 180 | 1 | 1 973.65/973.82 c 973s | 21 | 2789215 | 1159445 | 16367 180 | 1 | 1 976.15/976.30 c 976s | 21 | 2792479 | 1161545 | 16367 181 | 1 | 1 978.15/978.32 c 978s | 21 | 2800481 | 1164445 | 16367 181 | 1 | 1 980.25/980.40 c 980s | 21 | 2805337 | 1167145 | 16367 181 | 1 | 1 982.25/982.41 c 982s | 21 | 2808953 | 1169545 | 16367 182 | 1 | 1 984.24/984.43 c 984s | 21 | 2814198 | 1172145 | 16367 182 | 1 | 1 986.24/986.47 c 986s | 21 | 2820467 | 1174645 | 16367 182 | 1 | 1 988.34/988.58 c 988s | 21 | 2825097 | 1176845 | 16367 182 | 1 | 1 990.44/990.64 c 990s | 21 | 2827494 | 1178745 | 16367 183 | 1 | 1 992.54/992.73 c 992s | 21 | 2831064 | 1181245 | 16367 183 | 1 | 1 994.54/994.79 c 994s | 21 | 2835023 | 1183545 | 16367 183 | 1 | 1 996.55/996.79 c 996s | 21 | 2838141 | 1185445 | 16367 184 | 1 | 1 998.65/998.85 c 998s | 21 | 2840702 | 1187945 | 16367 184 | 1 | 1 1000.64/1000.89 c 1000s | 21 | 2843073 | 1190245 | 16367 184 | 1 | 1 1002.74/1002.91 c 1002s | 21 | 2847112 | 1192345 | 16367 184 | 1 | 1 1004.74/1004.97 c 1004s | 21 | 2849238 | 1194245 | 16367 185 | 1 | 1 1006.84/1007.04 c 1006s | 21 | 2851725 | 1196645 | 16367 185 | 1 | 1 1008.94/1009.10 c 1008s | 21 | 2854900 | 1198745 | 16367 185 | 1 | 1 1010.94/1011.12 c 1011s | 21 | 2857497 | 1200945 | 16367 185 | 1 | 1 1012.95/1013.19 c 1013s | 21 | 2859869 | 1203045 | 16367 186 | 1 | 1 1015.04/1015.28 c 1015s | 21 | 2862567 | 1205445 | 16367 186 | 1 | 1 1017.14/1017.30 c 1017s | 21 | 2865604 | 1207445 | 16367 186 | 1 | 1 1019.14/1019.35 c 1019s | 21 | 2868682 | 1209645 | 16367 186 | 1 | 1 1021.14/1021.39 c 1021s | 21 | 2871008 | 1211645 | 16367 187 | 1 | 1 1023.24/1023.46 c 1023s | 21 | 2873368 | 1213845 | 16367 187 | 1 | 1 1025.63/1025.86 c 1025s | 21 | 2878956 | 1214545 | 16367 187 | 1 | 1 1027.63/1027.86 c 1027s | 21 | 2886784 | 1217045 | 16367 187 | 1 | 1 1029.73/1029.96 c 1029s | 21 | 2893907 | 1219245 | 16367 188 | 1 | 1 1031.74/1031.97 c 1031s | 21 | 2908489 | 1221945 | 16367 188 | 1 | 1 1033.73/1034.00 c 1033s | 21 | 2913741 | 1224545 | 16367 188 | 1 | 1 1035.83/1036.07 c 1035s | 21 | 2919852 | 1226745 | 16367 189 | 1 | 1 1037.83/1038.09 c 1037s | 21 | 2930592 | 1229445 | 16367 189 | 1 | 1 1039.93/1040.15 c 1040s | 21 | 2935714 | 1232045 | 16367 189 | 1 | 1 1042.03/1042.20 c 1042s | 21 | 2938499 | 1233845 | 16367 189 | 1 | 1 1044.03/1044.23 c 1044s | 21 | 2942378 | 1236145 | 16367 190 | 1 | 1 1046.04/1046.28 c 1046s | 21 | 2948562 | 1238945 | 16367 190 | 1 | 1 1048.03/1048.30 c 1048s | 21 | 2951613 | 1241445 | 16367 190 | 1 | 1 1050.13/1050.31 c 1050s | 21 | 2954042 | 1243845 | 16367 191 | 1 | 1 1052.74/1052.98 c 1052s | 21 | 2955738 | 1245345 | 16367 191 | 1 | 1 1054.84/1055.04 c 1054s | 21 | 2960662 | 1247245 | 16367 191 | 1 | 1 1056.94/1057.15 c 1057s | 21 | 2977923 | 1249645 | 16367 191 | 1 | 1 1059.03/1059.21 c 1059s | 21 | 2988523 | 1251645 | 16367 192 | 1 | 1 1061.03/1061.23 c 1061s | 21 | 2996758 | 1253845 | 16367 192 | 1 | 1 1063.03/1063.24 c 1063s | 21 | 3003675 | 1256045 | 16367 192 | 1 | 1 1065.03/1065.28 c 1065s | 21 | 3006612 | 1258045 | 16367 192 | 1 | 1 1067.03/1067.29 c 1067s | 21 | 3010357 | 1258645 | 16367 192 | 1 | 1 1069.13/1069.31 c 1069s | 21 | 3017008 | 1260345 | 16367 193 | 1 | 1 1071.13/1071.32 c 1071s | 21 | 3024807 | 1262645 | 16367 193 | 1 | 1 1073.12/1073.39 c 1073s | 21 | 3028358 | 1264645 | 16367 193 | 1 | 1 1075.22/1075.47 c 1075s | 21 | 3031545 | 1266645 | 16367 193 | 1 | 1 1077.32/1077.52 c 1077s | 21 | 3036348 | 1268545 | 16367 194 | 1 | 1 1079.32/1079.54 c 1079s | 21 | 3039038 | 1270645 | 16367 194 | 1 | 1 1081.42/1081.60 c 1081s | 21 | 3043411 | 1272745 | 16367 194 | 1 | 1 1083.43/1083.68 c 1083s | 21 | 3045801 | 1274745 | 16367 194 | 1 | 1 1085.53/1085.72 c 1085s | 21 | 3051323 | 1276545 | 16367 195 | 1 | 1 1087.52/1087.74 c 1087s | 21 | 3053680 | 1278545 | 16367 195 | 1 | 1 1089.62/1089.81 c 1089s | 21 | 3056478 | 1280645 | 16367 195 | 1 | 1 1091.92/1092.19 c 1092s | 21 | 3059041 | 1281745 | 16367 195 | 1 | 1 1094.12/1094.37 c 1094s | 21 | 3077443 | 1284545 | 16367 196 | 1 | 1 1096.22/1096.42 c 1096s | 21 | 3089384 | 1286845 | 16367 196 | 1 | 1 1098.22/1098.42 c 1098s | 21 | 3095607 | 1289445 | 16367 196 | 1 | 1 1100.23/1100.46 c 1100s | 21 | 3100698 | 1291945 | 16367 196 | 1 | 1 1102.23/1102.47 c 1102s | 21 | 3103910 | 1294145 | 16367 197 | 1 | 1 1104.33/1104.51 c 1104s | 21 | 3108014 | 1296145 | 16367 197 | 1 | 1 1106.33/1106.55 c 1106s | 21 | 3117389 | 1298445 | 16367 197 | 1 | 1 1108.43/1108.61 c 1108s | 21 | 3120630 | 1300345 | 16367 197 | 1 | 1 1110.43/1110.63 c 1110s | 21 | 3123515 | 1302245 | 16367 198 | 1 | 1 1112.42/1112.66 c 1112s | 21 | 3129639 | 1304345 | 16367 198 | 1 | 1 1114.42/1114.66 c 1114s | 21 | 3131963 | 1306345 | 16367 198 | 1 | 1 1116.43/1116.68 c 1116s | 21 | 3136959 | 1308345 | 16367 198 | 1 | 1 1118.53/1118.75 c 1118s | 21 | 3140264 | 1310045 | 16367 199 | 1 | 1 1120.52/1120.78 c 1120s | 21 | 3144590 | 1312145 | 16367 199 | 1 | 1 1122.62/1122.83 c 1122s | 21 | 3146961 | 1314145 | 16367 199 | 1 | 1 1124.72/1124.93 c 1124s | 21 | 3149136 | 1316145 | 16367 199 | 1 | 1 1126.72/1126.98 c 1126s | 21 | 3156076 | 1317345 | 16367 199 | 1 | 1 1128.72/1128.99 c 1128s | 21 | 3170408 | 1319845 | 16367 200 | 1 | 1 1130.82/1131.06 c 1130s | 21 | 3176569 | 1322245 | 16367 200 | 1 | 1 1132.83/1133.08 c 1132s | 21 | 3181520 | 1324345 | 16367 200 | 1 | 1 1134.92/1135.13 c 1135s | 21 | 3184028 | 1326545 | 16367 201 | 1 | 1 1136.92/1137.19 c 1137s | 21 | 3190885 | 1328945 | 16367 201 | 1 | 1 1139.02/1139.25 c 1139s | 21 | 3193750 | 1331445 | 16367 201 | 1 | 1 1141.12/1141.30 c 1141s | 21 | 3200667 | 1333845 | 16367 201 | 1 | 1 1143.72/1144.00 c 1143s | 21 | 3206644 | 1335945 | 16367 202 | 1 | 1 1145.82/1146.05 c 1145s | 21 | 3214365 | 1338545 | 16367 202 | 1 | 1 1147.82/1148.08 c 1147s | 21 | 3218264 | 1341045 | 16367 202 | 1 | 1 1149.92/1150.14 c 1150s | 21 | 3224591 | 1343345 | 16367 203 | 1 | 1 1152.01/1152.21 c 1152s | 21 | 3230576 | 1345745 | 16367 203 | 1 | 1 1154.01/1154.26 c 1154s | 21 | 3236891 | 1347345 | 16367 203 | 1 | 1 1156.02/1156.27 c 1156s | 21 | 3252309 | 1349745 | 16367 203 | 1 | 1 1158.12/1158.30 c 1158s | 21 | 3260895 | 1351945 | 16367 204 | 1 | 1 1160.11/1160.32 c 1160s | 21 | 3276077 | 1354445 | 16367 204 | 1 | 1 1162.11/1162.33 c 1162s | 21 | 3284557 | 1356845 | 16367 204 | 1 | 1 1164.21/1164.44 c 1164s | 21 | 3287769 | 1358845 | 16367 205 | 1 | 1 1166.21/1166.46 c 1166s | 21 | 3291307 | 1360945 | 16367 205 | 1 | 1 1168.31/1168.53 c 1168s | 21 | 3297287 | 1362945 | 16367 205 | 1 | 1 1170.32/1170.53 c 1170s | 21 | 3301758 | 1365345 | 16367 205 | 1 | 1 1172.31/1172.60 c 1172s | 21 | 3305103 | 1367545 | 16367 206 | 1 | 1 1174.41/1174.62 c 1174s | 21 | 3308514 | 1369445 | 16367 206 | 1 | 1 1176.51/1176.70 c 1176s | 21 | 3311787 | 1372145 | 16367 206 | 1 | 1 1178.51/1178.78 c 1178s | 21 | 3314809 | 1374545 | 16367 206 | 1 | 1 1180.61/1180.80 c 1180s | 21 | 3317877 | 1376645 | 16367 207 | 1 | 1 1182.61/1182.84 c 1182s | 21 | 3323642 | 1379145 | 16367 207 | 1 | 1 1184.61/1184.89 c 1184s | 21 | 3327386 | 1381345 | 16367 207 | 1 | 1 1186.71/1186.99 c 1186s | 21 | 3333322 | 1383545 | 16367 207 | 1 | 1 1188.81/1189.09 c 1188s | 21 | 3337781 | 1385545 | 16367 208 | 1 | 1 1191.01/1191.20 c 1191s | 21 | 3343342 | 1387645 | 16367 208 | 1 | 1 1193.00/1193.24 c 1193s | 21 | 3347401 | 1389745 | 16367 208 | 1 | 1 1195.91/1196.17 c 1196s | 21 | 3350712 | 1391245 | 16367 208 | 1 | 1 1197.91/1198.18 c 1198s | 21 | 3353452 | 1392745 | 16367 209 | 1 | 1 1200.02/1200.24 c 1200s | 21 | 3355583 | 1394345 | 16367 209 | 1 | 1 1202.01/1202.30 c 1202s | 21 | 3359404 | 1397245 | 16367 209 | 1 | 1 1204.11/1204.33 c 1204s | 21 | 3363519 | 1399945 | 16367 209 | 1 | 1 1206.11/1206.36 c 1206s | 21 | 3367268 | 1402445 | 16367 210 | 1 | 1 1208.11/1208.36 c 1208s | 21 | 3370892 | 1404945 | 16367 210 | 1 | 1 1210.11/1210.37 c 1210s | 21 | 3374422 | 1407045 | 16367 210 | 1 | 1 1212.21/1212.42 c 1212s | 21 | 3377562 | 1409145 | 16367 211 | 1 | 1 1214.21/1214.48 c 1214s | 21 | 3381206 | 1411345 | 16367 211 | 1 | 1 1216.31/1216.55 c 1216s | 21 | 3386281 | 1413745 | 16367 211 | 1 | 1 1218.31/1218.58 c 1218s | 21 | 3389460 | 1415845 | 16367 211 | 1 | 1 1220.91/1221.11 c 1220s | 21 | 3393213 | 1417345 | 16367 212 | 1 | 1 1222.90/1223.15 c 1223s | 21 | 3396817 | 1419545 | 16367 212 | 1 | 1 1224.90/1225.18 c 1225s | 21 | 3401985 | 1421745 | 16367 212 | 1 | 1 1227.00/1227.24 c 1227s | 21 | 3405206 | 1423845 | 16367 212 | 1 | 1 1229.00/1229.28 c 1229s | 21 | 3411381 | 1425845 | 16367 213 | 1 | 1 1231.10/1231.34 c 1231s | 21 | 3413565 | 1427645 | 16367 213 | 1 | 1 1233.10/1233.36 c 1233s | 21 | 3417475 | 1429545 | 16367 213 | 1 | 1 1235.21/1235.44 c 1235s | 21 | 3421576 | 1431545 | 16367 213 | 1 | 1 1237.31/1237.54 c 1237s | 21 | 3425486 | 1433345 | 16367 214 | 1 | 1 1239.40/1239.62 c 1239s | 21 | 3427081 | 1434545 | 16367 214 | 1 | 1 1241.60/1241.84 c 1241s | 21 | 3428872 | 1436145 | 16367 214 | 1 | 1 1243.60/1243.87 c 1243s | 21 | 3435365 | 1438545 | 16367 214 | 1 | 1 1245.70/1245.90 c 1245s | 21 | 3439468 | 1440745 | 16367 214 | 1 | 1 1247.70/1247.97 c 1247s | 21 | 3444293 | 1442845 | 16367 215 | 1 | 1 1249.80/1250.08 c 1249s | 21 | 3446761 | 1445145 | 16367 215 | 1 | 1 1251.90/1252.15 c 1252s | 21 | 3449123 | 1447345 | 16367 215 | 1 | 1 1253.91/1254.17 c 1254s | 21 | 3453488 | 1449345 | 16367 215 | 1 | 1 1256.01/1256.22 c 1256s | 21 | 3455535 | 1451245 | 16367 216 | 1 | 1 1258.00/1258.27 c 1258s | 21 | 3457526 | 1453145 | 16367 216 | 1 | 1 1260.10/1260.34 c 1260s | 21 | 3459949 | 1455245 | 16367 216 | 1 | 1 1262.10/1262.36 c 1262s | 21 | 3462729 | 1457745 | 16367 216 | 1 | 1 1264.20/1264.42 c 1264s | 21 | 3465768 | 1460045 | 16367 217 | 1 | 1 1266.20/1266.44 c 1266s | 21 | 3468508 | 1462645 | 16367 217 | 1 | 1 1268.20/1268.47 c 1268s | 21 | 3471775 | 1465145 | 16367 217 | 1 | 1 1270.19/1270.50 c 1270s | 21 | 3476185 | 1467445 | 16367 218 | 1 | 1 1272.29/1272.52 c 1272s | 21 | 3479560 | 1469645 | 16367 218 | 1 | 1 1274.29/1274.53 c 1274s | 21 | 3483957 | 1471745 | 16367 218 | 1 | 1 1276.29/1276.57 c 1276s | 21 | 3487647 | 1473645 | 16367 218 | 1 | 1 1278.39/1278.63 c 1278s | 21 | 3490646 | 1475145 | 16367 219 | 1 | 1 1280.49/1280.72 c 1280s | 21 | 3493325 | 1477345 | 16367 219 | 1 | 1 1282.50/1282.77 c 1282s | 21 | 3496714 | 1479745 | 16367 219 | 1 | 1 1284.60/1284.84 c 1284s | 21 | 3499403 | 1482245 | 16367 219 | 1 | 1 1286.69/1286.92 c 1286s | 21 | 3501623 | 1484345 | 16367 220 | 1 | 1 1288.69/1288.94 c 1288s | 21 | 3504921 | 1486945 | 16367 220 | 1 | 1 1290.69/1290.97 c 1290s | 21 | 3507820 | 1489545 | 16367 220 | 1 | 1 1292.79/1293.08 c 1292s | 21 | 3516500 | 1491545 | 18004 220 | 1 | 1 1294.99/1295.22 c 1295s | 21 | 3522297 | 1493445 | 18004 221 | 1 | 1 1296.99/1297.26 c 1297s | 21 | 3527503 | 1495745 | 18004 221 | 1 | 1 1299.39/1299.69 c 1299s | 21 | 3530160 | 1497845 | 18004 221 | 1 | 1 1301.49/1301.71 c 1301s | 21 | 3535241 | 1500345 | 18004 221 | 1 | 1 1301.69/1301.95 c 1301s | 22 | 3535524 | 1500622 | 18004 221 | 1 | 1 1303.69/1303.95 c 1303s | 22 | 3538261 | 1502422 | 18004 222 | 1 | 1 1305.79/1306.04 c 1305s | 22 | 3541688 | 1504722 | 18004 222 | 1 | 1 1307.79/1308.08 c 1307s | 22 | 3544000 | 1506722 | 18004 222 | 1 | 1 1309.89/1310.18 c 1310s | 22 | 3546536 | 1508622 | 18004 222 | 1 | 1 1311.99/1312.25 c 1312s | 22 | 3548481 | 1510422 | 18004 222 | 1 | 1 1313.99/1314.28 c 1314s | 22 | 3550248 | 1512122 | 18004 223 | 1 | 1 1316.09/1316.32 c 1316s | 22 | 3556356 | 1513722 | 18004 223 | 1 | 1 1318.09/1318.39 c 1318s | 22 | 3560525 | 1515822 | 18004 223 | 1 | 1 1320.19/1320.44 c 1320s | 22 | 3564585 | 1518022 | 18004 223 | 1 | 1 1322.39/1322.66 c 1322s | 22 | 3567380 | 1520022 | 18004 224 | 1 | 1 1324.49/1324.71 c 1324s | 22 | 3570401 | 1522122 | 18004 224 | 1 | 1 1326.59/1326.80 c 1326s | 22 | 3573582 | 1524322 | 18004 224 | 1 | 1 1328.60/1328.88 c 1328s | 22 | 3576247 | 1526322 | 18004 224 | 1 | 1 1330.69/1330.96 c 1330s | 22 | 3579927 | 1528322 | 18004 224 | 1 | 1 1333.49/1333.73 c 1333s | 22 | 3580379 | 1528622 | 18004 224 | 1 | 1 1335.49/1335.77 c 1335s | 22 | 3581323 | 1529422 | 18004 225 | 1 | 1 1337.79/1338.08 c 1337s | 22 | 3583786 | 1530522 | 18004 225 | 1 | 1 1339.89/1340.12 c 1340s | 22 | 3589392 | 1533122 | 18004 225 | 1 | 1 1341.89/1342.15 c 1342s | 22 | 3596959 | 1535822 | 18004 225 | 1 | 1 1343.88/1344.15 c 1344s | 22 | 3602603 | 1538122 | 18004 225 | 1 | 1 1345.88/1346.19 c 1346s | 22 | 3605678 | 1540722 | 18004 226 | 1 | 1 1347.98/1348.21 c 1348s | 22 | 3608711 | 1543622 | 18004 226 | 1 | 1 1349.98/1350.27 c 1350s | 22 | 3612129 | 1546422 | 18004 226 | 1 | 1 1352.08/1352.31 c 1352s | 22 | 3614773 | 1548922 | 18004 227 | 1 | 1 1354.08/1354.35 c 1354s | 22 | 3619743 | 1551722 | 18004 227 | 1 | 1 1356.19/1356.41 c 1356s | 22 | 3623782 | 1554022 | 18004 227 | 1 | 1 1358.18/1358.47 c 1358s | 22 | 3627677 | 1555922 | 18004 227 | 1 | 1 1360.28/1360.52 c 1360s | 22 | 3638696 | 1558022 | 18004 228 | 1 | 1 1362.28/1362.56 c 1362s | 22 | 3652132 | 1560822 | 18004 228 | 1 | 1 1364.28/1364.57 c 1364s | 22 | 3658416 | 1563522 | 18004 228 | 1 | 1 1366.38/1366.64 c 1366s | 22 | 3662269 | 1565422 | 18004 229 | 1 | 1 1368.48/1368.70 c 1368s | 22 | 3665095 | 1567922 | 18004 229 | 1 | 1 1370.49/1370.74 c 1370s | 22 | 3667648 | 1570422 | 18004 229 | 1 | 1 1372.48/1372.75 c 1372s | 22 | 3670953 | 1572922 | 18004 229 | 1 | 1 1374.58/1374.81 c 1374s | 22 | 3673246 | 1575022 | 18004 230 | 1 | 1 1376.58/1376.85 c 1376s | 22 | 3680754 | 1577222 | 18004 230 | 1 | 1 1378.58/1378.87 c 1378s | 22 | 3683810 | 1579722 | 18004 230 | 1 | 1 1380.68/1380.93 c 1380s | 22 | 3686098 | 1581722 | 18004 230 | 1 | 1 1382.78/1383.01 c 1382s | 22 | 3689305 | 1583622 | 18004 231 | 1 | 1 1384.78/1385.02 c 1384s | 22 | 3693637 | 1586022 | 18004 231 | 1 | 1 1386.78/1387.07 c 1386s | 22 | 3697896 | 1588322 | 18004 231 | 1 | 1 1388.78/1389.09 c 1388s | 22 | 3700707 | 1590722 | 18004 231 | 1 | 1 1390.88/1391.14 c 1391s | 22 | 3705365 | 1592722 | 18004 232 | 1 | 1 1392.88/1393.16 c 1393s | 22 | 3710231 | 1595222 | 18004 232 | 1 | 1 1394.98/1395.23 c 1395s | 22 | 3712471 | 1597422 | 18004 232 | 1 | 1 1396.97/1397.23 c 1397s | 22 | 3715126 | 1599522 | 18004 232 | 1 | 1 1398.98/1399.25 c 1399s | 22 | 3718501 | 1601422 | 18004 232 | 1 | 1 1400.97/1401.26 c 1401s | 22 | 3720624 | 1603522 | 18004 233 | 1 | 1 1403.07/1403.33 c 1403s | 22 | 3723087 | 1605922 | 18004 233 | 1 | 1 1405.08/1405.37 c 1405s | 22 | 3724925 | 1607722 | 18004 233 | 1 | 1 1407.18/1407.45 c 1407s | 22 | 3726945 | 1609522 | 18004 233 | 1 | 1 1409.28/1409.54 c 1409s | 22 | 3729122 | 1611622 | 18004 234 | 1 | 1 1411.28/1411.59 c 1411s | 22 | 3731441 | 1613822 | 18004 234 | 1 | 1 1413.39/1413.66 c 1413s | 22 | 3733793 | 1616122 | 18004 234 | 1 | 1 1415.49/1415.72 c 1415s | 22 | 3736218 | 1618322 | 18004 234 | 1 | 1 1417.48/1417.77 c 1417s | 22 | 3738360 | 1620422 | 18004 235 | 1 | 1 1419.58/1419.83 c 1419s | 22 | 3740923 | 1622722 | 18004 235 | 1 | 1 1421.78/1422.06 c 1421s | 22 | 3742685 | 1624022 | 18004 235 | 1 | 1 1423.78/1424.07 c 1423s | 22 | 3746355 | 1626022 | 18004 235 | 1 | 1 1425.77/1426.07 c 1425s | 22 | 3751555 | 1628122 | 18004 235 | 1 | 1 1427.87/1428.12 c 1428s | 22 | 3753422 | 1629822 | 18004 236 | 1 | 1 1429.88/1430.15 c 1430s | 22 | 3756853 | 1632922 | 18004 236 | 1 | 1 1431.98/1432.21 c 1432s | 22 | 3760277 | 1635722 | 18004 236 | 1 | 1 1434.37/1434.65 c 1434s | 22 | 3764943 | 1638122 | 18004 237 | 1 | 1 1436.48/1436.71 c 1436s | 22 | 3768373 | 1640722 | 18004 237 | 1 | 1 1438.47/1438.73 c 1438s | 22 | 3771018 | 1643122 | 18004 237 | 1 | 1 1440.47/1440.77 c 1440s | 22 | 3775295 | 1645222 | 18004 237 | 1 | 1 1442.47/1442.79 c 1442s | 22 | 3779234 | 1647422 | 18004 238 | 1 | 1 1444.57/1444.85 c 1444s | 22 | 3782267 | 1649822 | 18004 238 | 1 | 1 1446.57/1446.87 c 1446s | 22 | 3785296 | 1652222 | 18004 238 | 1 | 1 1448.67/1448.91 c 1448s | 22 | 3788273 | 1655122 | 18004 238 | 1 | 1 1450.68/1450.96 c 1450s | 22 | 3790991 | 1657722 | 18004 239 | 1 | 1 1452.67/1452.98 c 1452s | 22 | 3794535 | 1660522 | 18004 239 | 1 | 1 1454.77/1455.05 c 1454s | 22 | 3798205 | 1662822 | 18004 239 | 1 | 1 1456.87/1457.13 c 1457s | 22 | 3802441 | 1665322 | 18004 240 | 1 | 1 1458.87/1459.14 c 1459s | 22 | 3805458 | 1667922 | 18004 240 | 1 | 1 1460.87/1461.14 c 1461s | 22 | 3808806 | 1670422 | 18004 240 | 1 | 1 1462.87/1463.18 c 1463s | 22 | 3811727 | 1672822 | 18004 240 | 1 | 1 1464.97/1465.21 c 1465s | 22 | 3814443 | 1675122 | 18004 241 | 1 | 1 1466.97/1467.23 c 1467s | 22 | 3817343 | 1677622 | 18004 241 | 1 | 1 1469.06/1469.30 c 1469s | 22 | 3821692 | 1680022 | 18004 241 | 1 | 1 1471.16/1471.40 c 1471s | 22 | 3824231 | 1682122 | 18004 241 | 1 | 1 1473.16/1473.40 c 1473s | 22 | 3826636 | 1684122 | 18004 242 | 1 | 1 1475.16/1475.43 c 1475s | 22 | 3829662 | 1686922 | 18004 242 | 1 | 1 1477.26/1477.52 c 1477s | 22 | 3832488 | 1689622 | 18004 242 | 1 | 1 1479.37/1479.64 c 1479s | 22 | 3839808 | 1691622 | 18004 242 | 1 | 1 1481.48/1481.72 c 1481s | 22 | 3848923 | 1693222 | 18004 243 | 1 | 1 1483.47/1483.75 c 1483s | 22 | 3858243 | 1695322 | 18004 243 | 1 | 1 1485.47/1485.77 c 1485s | 22 | 3868810 | 1697622 | 18004 243 | 1 | 1 1487.57/1487.88 c 1487s | 22 | 3879431 | 1699822 | 18004 243 | 1 | 1 1489.67/1489.95 c 1489s | 22 | 3881638 | 1701722 | 18004 244 | 1 | 1 1491.67/1491.99 c 1491s | 22 | 3884004 | 1703622 | 18004 244 | 1 | 1 1493.77/1494.05 c 1493s | 22 | 3890774 | 1705822 | 18004 244 | 1 | 1 1495.77/1496.10 c 1495s | 22 | 3894959 | 1707722 | 18004 244 | 1 | 1 1497.86/1498.12 c 1498s | 22 | 3900490 | 1710222 | 18004 244 | 1 | 1 1499.86/1500.15 c 1500s | 22 | 3906023 | 1712722 | 18004 245 | 1 | 1 1501.96/1502.20 c 1502s | 22 | 3909386 | 1715522 | 18004 245 | 1 | 1 1503.96/1504.27 c 1504s | 22 | 3912217 | 1718122 | 18004 245 | 1 | 1 1506.06/1506.34 c 1506s | 22 | 3917597 | 1720522 | 18004 246 | 1 | 1 1508.06/1508.38 c 1508s | 22 | 3922218 | 1723022 | 18004 246 | 1 | 1 1510.17/1510.42 c 1510s | 22 | 3928778 | 1725422 | 18004 246 | 1 | 1 1512.27/1512.52 c 1512s | 22 | 3933367 | 1727922 | 18004 246 | 1 | 1 1514.26/1514.54 c 1514s | 22 | 3935989 | 1730022 | 18004 247 | 1 | 1 1516.26/1516.56 c 1516s | 22 | 3940699 | 1732522 | 18004 247 | 1 | 1 1518.26/1518.59 c 1518s | 22 | 3943941 | 1734622 | 18004 247 | 1 | 1 1520.36/1520.61 c 1520s | 22 | 3948975 | 1736822 | 18004 247 | 1 | 1 1522.36/1522.69 c 1522s | 22 | 3955273 | 1738722 | 18004 248 | 1 | 1 1524.47/1524.73 c 1524s | 22 | 3960758 | 1741322 | 18004 248 | 1 | 1 1526.46/1526.75 c 1526s | 22 | 3964009 | 1743622 | 18004 248 | 1 | 1 1528.46/1528.77 c 1528s | 22 | 3966219 | 1745722 | 18004 248 | 1 | 1 1530.56/1530.87 c 1530s | 22 | 3969900 | 1747722 | 18004 249 | 1 | 1 1532.56/1532.89 c 1532s | 22 | 3973002 | 1750122 | 18004 249 | 1 | 1 1534.66/1534.93 c 1534s | 22 | 3976632 | 1752622 | 18004 249 | 1 | 1 1536.76/1537.02 c 1536s | 22 | 3978793 | 1754722 | 18004 249 | 1 | 1 1539.46/1539.75 c 1539s | 22 | 3981074 | 1756822 | 18004 250 | 1 | 1 1541.46/1541.79 c 1541s | 22 | 3988432 | 1759222 | 18004 250 | 1 | 1 1543.56/1543.80 c 1543s | 22 | 3990981 | 1761622 | 18004 250 | 1 | 1 1545.55/1545.88 c 1545s | 22 | 3993605 | 1763822 | 18004 250 | 1 | 1 1547.65/1547.93 c 1547s | 22 | 3995934 | 1765822 | 18004 251 | 1 | 1 1549.66/1549.96 c 1549s | 22 | 3997978 | 1767622 | 18004 251 | 1 | 1 1551.65/1551.98 c 1551s | 22 | 4000482 | 1770022 | 18004 251 | 1 | 1 1553.75/1554.03 c 1553s | 22 | 4003082 | 1772522 | 18004 251 | 1 | 1 1556.15/1556.49 c 1556s | 22 | 4005622 | 1774922 | 18004 252 | 1 | 1 1558.25/1558.51 c 1558s | 22 | 4011842 | 1777222 | 18004 252 | 1 | 1 1560.35/1560.60 c 1560s | 22 | 4018283 | 1779822 | 18004 252 | 1 | 1 1562.35/1562.63 c 1562s | 22 | 4022051 | 1782022 | 18004 252 | 1 | 1 1564.55/1564.84 c 1564s | 22 | 4024220 | 1784022 | 18004 253 | 1 | 1 1566.55/1566.88 c 1566s | 22 | 4026893 | 1786622 | 18004 253 | 1 | 1 1568.66/1568.96 c 1568s | 22 | 4029841 | 1789022 | 18004 253 | 1 | 1 1570.76/1571.00 c 1570s | 22 | 4033707 | 1791222 | 18004 253 | 1 | 1 1572.76/1573.06 c 1572s | 22 | 4036596 | 1793322 | 18004 254 | 1 | 1 1574.86/1575.13 c 1575s | 22 | 4040133 | 1795922 | 18004 254 | 1 | 1 1576.85/1577.15 c 1577s | 22 | 4042489 | 1798222 | 18004 254 | 1 | 1 1578.95/1579.29 c 1579s | 22 | 4045288 | 1800522 | 18004 254 | 1 | 1 1581.05/1581.32 c 1581s | 22 | 4048085 | 1802522 | 18004 255 | 1 | 1 1583.05/1583.38 c 1583s | 22 | 4050791 | 1804622 | 18004 255 | 1 | 1 1585.15/1585.43 c 1585s | 22 | 4053599 | 1807322 | 18004 255 | 1 | 1 1587.16/1587.48 c 1587s | 22 | 4056114 | 1809722 | 18004 255 | 1 | 1 1589.15/1589.49 c 1589s | 22 | 4058461 | 1811822 | 18004 256 | 1 | 1 1591.25/1591.51 c 1591s | 22 | 4061100 | 1814222 | 18004 256 | 1 | 1 1593.25/1593.53 c 1593s | 22 | 4064012 | 1816422 | 18004 256 | 1 | 1 1595.35/1595.63 c 1595s | 22 | 4069088 | 1818122 | 18004 256 | 1 | 1 1597.55/1597.87 c 1597s | 22 | 4078991 | 1819822 | 18004 257 | 1 | 1 1599.65/1599.96 c 1599s | 22 | 4084926 | 1822122 | 18004 257 | 1 | 1 1601.75/1602.02 c 1601s | 22 | 4091363 | 1824522 | 18004 257 | 1 | 1 1603.75/1604.07 c 1603s | 22 | 4098907 | 1826922 | 18004 257 | 1 | 1 1605.76/1606.07 c 1605s | 22 | 4103790 | 1829122 | 18004 258 | 1 | 1 1607.85/1608.10 c 1607s | 22 | 4113304 | 1832022 | 18004 258 | 1 | 1 1609.85/1610.19 c 1610s | 22 | 4119380 | 1834922 | 18004 258 | 1 | 1 1611.95/1612.27 c 1612s | 22 | 4121972 | 1837322 | 18004 258 | 1 | 1 1613.95/1614.28 c 1614s | 22 | 4124638 | 1839422 | 18004 259 | 1 | 1 1616.05/1616.37 c 1616s | 22 | 4127779 | 1841822 | 18004 259 | 1 | 1 1618.05/1618.39 c 1618s | 22 | 4131975 | 1844122 | 18004 259 | 1 | 1 1620.15/1620.40 c 1620s | 22 | 4135613 | 1846422 | 18004 259 | 1 | 1 1622.15/1622.46 c 1622s | 22 | 4139686 | 1848822 | 18004 260 | 1 | 1 1624.15/1624.48 c 1624s | 22 | 4142988 | 1851422 | 18004 260 | 1 | 1 1626.25/1626.54 c 1626s | 22 | 4146194 | 1853922 | 18004 260 | 1 | 1 1628.35/1628.65 c 1628s | 22 | 4149421 | 1856022 | 18004 261 | 1 | 1 1630.55/1630.87 c 1630s | 22 | 4152810 | 1858122 | 18004 261 | 1 | 1 1632.64/1632.91 c 1632s | 22 | 4163735 | 1859922 | 18004 261 | 1 | 1 1634.64/1634.93 c 1634s | 22 | 4174740 | 1862222 | 18004 261 | 1 | 1 1636.65/1636.99 c 1636s | 22 | 4180941 | 1864122 | 18004 261 | 1 | 1 1638.85/1639.14 c 1639s | 22 | 4183044 | 1865922 | 18004 262 | 1 | 1 1640.84/1641.17 c 1641s | 22 | 4189052 | 1867922 | 18004 262 | 1 | 1 1642.94/1643.21 c 1643s | 22 | 4194789 | 1870122 | 18004 262 | 1 | 1 1644.94/1645.27 c 1645s | 22 | 4211058 | 1872222 | 18004 262 | 1 | 1 1647.14/1647.47 c 1647s | 22 | 4218211 | 1874122 | 18004 263 | 1 | 1 1649.24/1649.55 c 1649s | 22 | 4222766 | 1876222 | 18004 263 | 1 | 1 1651.34/1651.65 c 1651s | 22 | 4226896 | 1878322 | 18004 263 | 1 | 1 1653.44/1653.74 c 1653s | 22 | 4230989 | 1880322 | 18004 263 | 1 | 1 1655.54/1655.83 c 1655s | 22 | 4234905 | 1882422 | 18004 263 | 1 | 1 1658.74/1659.01 c 1658s | 22 | 4236374 | 1883822 | 18004 264 | 1 | 1 1660.74/1661.06 c 1660s | 22 | 4242570 | 1886222 | 18004 264 | 1 | 1 1662.84/1663.12 c 1663s | 22 | 4255128 | 1888522 | 18004 264 | 1 | 1 1664.84/1665.13 c 1665s | 22 | 4261521 | 1890722 | 18004 264 | 1 | 1 1666.84/1667.15 c 1667s | 22 | 4265899 | 1892522 | 18004 265 | 1 | 1 1668.94/1669.24 c 1669s | 22 | 4277336 | 1895022 | 18004 265 | 1 | 1 1671.04/1671.33 c 1671s | 22 | 4286133 | 1897322 | 18004 265 | 1 | 1 1673.03/1673.34 c 1673s | 22 | 4288972 | 1899422 | 18004 265 | 1 | 1 1675.04/1675.34 c 1675s | 22 | 4293860 | 1901322 | 18004 265 | 1 | 1 1677.13/1677.47 c 1677s | 22 | 4296653 | 1902822 | 18004 266 | 1 | 1 1679.23/1679.52 c 1679s | 22 | 4301180 | 1904922 | 18004 266 | 1 | 1 1681.33/1681.61 c 1681s | 22 | 4303191 | 1906722 | 18004 266 | 1 | 1 1683.33/1683.69 c 1683s | 22 | 4305223 | 1908522 | 18004 266 | 1 | 1 1685.63/1685.91 c 1685s | 22 | 4307308 | 1910522 | 18004 267 | 1 | 1 1687.73/1688.00 c 1687s | 22 | 4309462 | 1912422 | 18004 267 | 1 | 1 1690.44/1690.74 c 1690s | 22 | 4312295 | 1914222 | 18004 267 | 1 | 1 1692.43/1692.77 c 1692s | 22 | 4313398 | 1915122 | 18004 267 | 1 | 1 1694.53/1694.80 c 1694s | 22 | 4316812 | 1917322 | 18004 267 | 1 | 1 1696.63/1696.98 c 1696s | 22 | 4319654 | 1919622 | 18004 268 | 1 | 1 1698.73/1699.06 c 1698s | 22 | 4321959 | 1921722 | 18004 268 | 1 | 1 1700.73/1701.08 c 1700s | 22 | 4325889 | 1924022 | 18004 268 | 1 | 1 1702.82/1703.11 c 1702s | 22 | 4329652 | 1926222 | 18004 268 | 1 | 1 1704.83/1705.13 c 1705s | 22 | 4331921 | 1927622 | 18004 268 | 1 | 1 1706.82/1707.16 c 1707s | 22 | 4337110 | 1929822 | 18004 269 | 1 | 1 1708.92/1709.22 c 1709s | 22 | 4340922 | 1932222 | 18004 269 | 1 | 1 1711.02/1711.32 c 1711s | 22 | 4344697 | 1934622 | 18004 269 | 1 | 1 1713.02/1713.38 c 1713s | 22 | 4346954 | 1936722 | 18004 269 | 1 | 1 1715.12/1715.43 c 1715s | 22 | 4349348 | 1938622 | 18004 270 | 1 | 1 1717.12/1717.47 c 1717s | 22 | 4352539 | 1940922 | 18004 270 | 1 | 1 1719.22/1719.53 c 1719s | 22 | 4355328 | 1943222 | 18004 270 | 1 | 1 1721.42/1721.74 c 1721s | 22 | 4357627 | 1945122 | 18004 270 | 1 | 1 1723.53/1723.86 c 1723s | 22 | 4360140 | 1946922 | 18004 271 | 1 | 1 1725.52/1725.89 c 1725s | 22 | 4362943 | 1949122 | 18004 271 | 1 | 1 1728.02/1728.39 c 1728s | 22 | 4365303 | 1951122 | 18004 271 | 1 | 1 1730.12/1730.43 c 1730s | 22 | 4367476 | 1952922 | 18004 271 | 1 | 1 1732.12/1732.50 c 1732s | 22 | 4370986 | 1955222 | 18004 271 | 1 | 1 1734.22/1734.57 c 1734s | 22 | 4373606 | 1957222 | 18004 272 | 1 | 1 1736.32/1736.61 c 1736s | 22 | 4377525 | 1959622 | 18004 272 | 1 | 1 1738.32/1738.67 c 1738s | 22 | 4382989 | 1962122 | 18004 272 | 1 | 1 1740.42/1740.75 c 1740s | 22 | 4390507 | 1964522 | 18004 272 | 1 | 1 1742.52/1742.82 c 1742s | 22 | 4393353 | 1966422 | 18004 273 | 1 | 1 1744.62/1744.91 c 1744s | 22 | 4399006 | 1969022 | 18004 273 | 1 | 1 1746.62/1746.94 c 1746s | 22 | 4405518 | 1971422 | 18004 273 | 1 | 1 1748.72/1749.01 c 1748s | 22 | 4411106 | 1973422 | 18004 273 | 1 | 1 1750.71/1751.07 c 1750s | 22 | 4415332 | 1975422 | 18004 274 | 1 | 1 1752.81/1753.15 c 1753s | 22 | 4422939 | 1977922 | 18004 274 | 1 | 1 1754.91/1755.20 c 1755s | 22 | 4426971 | 1980122 | 18004 274 | 1 | 1 1756.91/1757.26 c 1757s | 22 | 4430952 | 1982322 | 18004 274 | 1 | 1 1758.91/1759.27 c 1759s | 22 | 4434111 | 1984322 | 18004 275 | 1 | 1 1761.40/1761.75 c 1761s | 22 | 4436018 | 1985822 | 18004 275 | 1 | 1 1763.40/1763.77 c 1763s | 22 | 4441086 | 1988222 | 18004 275 | 1 | 1 1765.50/1765.83 c 1765s | 22 | 4446136 | 1990722 | 18004 275 | 1 | 1 1767.60/1767.90 c 1767s | 22 | 4449080 | 1993022 | 18004 276 | 1 | 1 1769.61/1769.94 c 1769s | 22 | 4454351 | 1995322 | 18004 276 | 1 | 1 1771.60/1771.98 c 1771s | 22 | 4457818 | 1997522 | 18004 276 | 1 | 1 1773.60/1773.99 c 1773s | 22 | 4461722 | 1999522 | 18004 276 | 1 | 1 1775.70/1776.06 c 1775s | 22 | 4466557 | 2001522 | 18004 276 | 1 | 1 1777.70/1778.08 c 1777s | 22 | 4470366 | 2003622 | 18004 277 | 1 | 1 1779.80/1780.14 c 1780s | 22 | 4472469 | 2005622 | 18004 277 | 1 | 1 1781.89/1782.20 c 1782s | 22 | 4474751 | 2007722 | 18004 277 | 1 | 1 1783.90/1784.21 c 1784s | 22 | 4477578 | 2009422 | 18004 277 | 1 | 1 1785.89/1786.25 c 1786s | 22 | 4479819 | 2011122 | 18004 278 | 1 | 1 1787.99/1788.36 c 1788s | 22 | 4484607 | 2013622 | 18004 278 | 1 | 1 1790.29/1790.62 c 1790s | 22 | 4487177 | 2015522 | 18004 278 | 1 | 1 1792.29/1792.62 c 1792s | 22 | 4489794 | 2017522 | 18004 278 | 1 | 1 1794.29/1794.64 c 1794s | 22 | 4493061 | 2019622 | 18004 278 | 1 | 1 1796.38/1796.72 c 1796s | 22 | 4495444 | 2021722 | 18004 279 | 1 | 1 1798.48/1798.84 c 1798s | 22 | 4497785 | 2023722 | 18004 279 | 1 | 1
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4080094-1465261284/watcher-4080094-1465261284 -o /tmp/evaluation-result-4080094-1465261284/solver-4080094-1465261284 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9910 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080094-1465261284.opb pid=9936 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.49 2.04 2.18 4/180 9942 /proc/meminfo: memFree=30289276/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=802236 CPUtime=0 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 3007 0 0 0 0 0 0 0 20 0 4 0 108061728 821489664 3367 33554432000 4194304 16246674 140736082832320 140736082831744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 201327 3378 441 2943 0 198221 0 [pid=9942/tid=9943] ppid=9936 vsize=820668 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 840364032 3437 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=824764 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 844558336 3455 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=828860 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108061728 848752640 3471 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 1.49 2.04 2.18 4/180 9942 /proc/meminfo: memFree=30289276/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1222212 CPUtime=0.09 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 21998 0 0 0 6 3 0 0 20 0 4 0 108061728 1251545088 22305 33554432000 4194304 16246674 140736082832320 140736082831632 7371848 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 305553 22305 838 2943 0 302447 0 [pid=9942/tid=9943] ppid=9936 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1251545088 22305 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1251545088 22305 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1251545088 22305 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1222212 [startup+0.200448 s] /proc/loadavg: 1.49 2.04 2.18 4/180 9942 /proc/meminfo: memFree=30289276/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1222212 CPUtime=0.19 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 39413 0 0 0 13 6 0 0 20 0 4 0 108061728 1251545088 39721 33554432000 4194304 16246674 140736082832320 140736082831632 6021007 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 305553 39729 909 2943 0 302447 0 [pid=9942/tid=9943] ppid=9936 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1251545088 39736 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1251545088 39742 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1251545088 39749 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1222212 [startup+0.300394 s] /proc/loadavg: 1.49 2.04 2.18 4/180 9942 /proc/meminfo: memFree=30289276/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1222212 CPUtime=0.29 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 64762 0 0 0 19 10 0 0 20 0 4 0 108061728 1251545088 65069 33554432000 4194304 16246674 140736082832320 140736082831632 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 305553 65076 909 2943 0 302447 0 [pid=9942/tid=9943] ppid=9936 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1251545088 65083 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1251545088 65089 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1251545088 65096 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1222212 [startup+0.700371 s] /proc/loadavg: 1.49 2.04 2.18 4/180 9942 /proc/meminfo: memFree=30289276/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1222212 CPUtime=0.69 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 173291 0 0 0 46 23 0 0 20 0 4 0 108061728 1251545088 173599 33554432000 4194304 16246674 140736082832320 140736082814208 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 305553 173616 909 2943 0 302447 0 [pid=9942/tid=9943] ppid=9936 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1251545088 173625 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1251545088 173634 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1251545088 173644 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1222212 [startup+1.50035 s] /proc/loadavg: 1.49 2.04 2.18 4/185 9947 /proc/meminfo: memFree=28251232/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1301060 CPUtime=1.49 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 266309 0 0 0 113 36 0 0 20 0 4 0 108061728 1332285440 266616 33554432000 4194304 16246674 140736082832320 140736082814208 5667101 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 325265 266616 912 2943 0 322159 0 [pid=9942/tid=9943] ppid=9936 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1332285440 266616 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1332285440 266616 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1332285440 266616 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1301060 [startup+3.10038 s] /proc/loadavg: 1.49 2.04 2.18 4/185 9947 /proc/meminfo: memFree=28149156/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 268000 0 0 0 273 36 0 0 20 0 4 0 108061728 1338576896 268307 33554432000 4194304 16246674 140736082832320 140736082814208 5708659 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 326801 268307 919 2943 0 323695 0 [pid=9942/tid=9943] ppid=9936 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268307 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268307 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268307 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30036 s] /proc/loadavg: 1.53 2.04 2.18 4/185 9947 /proc/meminfo: memFree=28147336/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 268257 0 0 0 593 36 0 0 20 0 4 0 108061728 1339625472 268564 33554432000 4194304 16246674 140736082832320 140736082814208 12874801 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 327057 268564 920 2943 0 323951 0 [pid=9942/tid=9943] ppid=9936 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1339625472 268564 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1339625472 268564 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1339625472 268564 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 1.65 2.06 2.19 4/185 9947 /proc/meminfo: memFree=28147048/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 268257 0 0 0 1233 36 0 0 20 0 4 0 108061728 1339625472 268564 33554432000 4194304 16246674 140736082832320 140736082814208 6021672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 327057 268564 920 2943 0 323951 0 [pid=9942/tid=9943] ppid=9936 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1339625472 268564 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1339625472 268564 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1339625472 268564 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 1.72 2.06 2.18 4/185 9947 /proc/meminfo: memFree=28139988/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1312324 CPUtime=25.48 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 269281 0 0 0 2512 36 0 0 20 0 4 0 108061728 1343819776 269588 33554432000 4194304 16246674 140736082832320 140736082814208 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 328081 269588 920 2943 0 324975 0 [pid=9942/tid=9943] ppid=9936 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1343819776 269588 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1343819776 269588 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1343819776 269588 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1312324 [startup+51.1005 s] /proc/loadavg: 1.89 2.07 2.18 4/184 9947 /proc/meminfo: memFree=28121660/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1321540 CPUtime=51.09 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 271585 0 0 0 5072 37 0 0 20 0 4 0 108061728 1353256960 271892 33554432000 4194304 16246674 140736082832320 140736082814208 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 330385 271892 920 2943 0 327279 0 [pid=9942/tid=9943] ppid=9936 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1353256960 271892 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1353256960 271892 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1353256960 271892 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1321540 [startup+102.3 s] /proc/loadavg: 2.13 2.10 2.19 4/184 9948 /proc/meminfo: memFree=28120104/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1322564 CPUtime=102.28 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 271841 0 0 0 10191 37 0 0 20 0 4 0 108061728 1354305536 272148 33554432000 4194304 16246674 140736082832320 140736082814208 13191765 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 330641 272148 920 2943 0 327535 0 [pid=9942/tid=9943] ppid=9936 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1354305536 272148 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1354305536 272148 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1354305536 272148 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1374228480 277013 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1342020 [startup+1302.3 s] /proc/loadavg: 2.18 2.18 2.18 4/183 9990 /proc/meminfo: memFree=28065984/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1342020 CPUtime=1302.09 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 276706 0 0 0 130159 50 0 0 20 0 4 0 108061728 1374228480 277013 33554432000 4194304 16246674 140736082832320 140736082815320 5673507 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 335505 277013 921 2943 0 332399 0 [pid=9942/tid=9943] ppid=9936 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1374228480 277013 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1374228480 277013 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1374228480 277013 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1342020 [startup+1362.3 s] /proc/loadavg: 2.25 2.20 2.18 4/183 9991 /proc/meminfo: memFree=28058352/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1350212 CPUtime=1362.08 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 278754 0 0 0 136157 51 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140736082814208 5546195 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 337553 279061 921 2943 0 334447 0 [pid=9942/tid=9943] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1350212 [startup+1422.3 s] /proc/loadavg: 2.25 2.21 2.18 4/183 9992 /proc/meminfo: memFree=28058540/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1350212 CPUtime=1422.08 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 278754 0 0 0 142156 52 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140736082831416 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 337553 279061 921 2943 0 334447 0 [pid=9942/tid=9943] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 1350212 [startup+1482.3 s] /proc/loadavg: 2.19 2.20 2.18 4/183 9994 /proc/meminfo: memFree=28058596/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1350212 CPUtime=1482.07 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 278754 0 0 0 148154 53 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140736082814208 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 337553 279061 921 2943 0 334447 0 [pid=9942/tid=9943] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.07 Current children cumulated vsize (KiB) 1350212 [startup+1542.31 s] /proc/loadavg: 2.26 2.22 2.18 4/183 9995 /proc/meminfo: memFree=28058044/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1350212 CPUtime=1542.06 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 278754 0 0 0 154153 53 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140736082814208 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 337553 279061 921 2943 0 334447 0 [pid=9942/tid=9943] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 1350212 [startup+1602.3 s] /proc/loadavg: 2.29 2.24 2.19 4/183 9996 /proc/meminfo: memFree=28058092/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1350212 CPUtime=1602.05 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 278754 0 0 0 160151 54 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140736082814208 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 337553 279061 921 2943 0 334447 0 [pid=9942/tid=9943] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1602.05 Current children cumulated vsize (KiB) 1350212 [startup+1662.3 s] /proc/loadavg: 2.25 2.24 2.19 4/183 9997 /proc/meminfo: memFree=28058388/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1350212 CPUtime=1662.04 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 278754 0 0 0 166150 54 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140736082814208 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 337553 279061 921 2943 0 334447 0 [pid=9942/tid=9943] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279061 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1662.04 Current children cumulated vsize (KiB) 1350212 [startup+1722.3 s] /proc/loadavg: 2.23 2.23 2.19 4/184 10001 /proc/meminfo: memFree=28056004/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1350212 CPUtime=1722.02 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 278771 0 0 0 172148 54 0 0 20 0 4 0 108061728 1382617088 279317 33554432000 4194304 16246674 140736082832320 140736082814208 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 337553 279317 921 2943 0 334447 0 [pid=9942/tid=9943] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279317 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279317 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279317 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 1350212 [startup+1782.3 s] /proc/loadavg: 2.17 2.22 2.18 4/183 10003 /proc/meminfo: memFree=28056112/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1350212 CPUtime=1781.99 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 278810 0 0 0 178144 55 0 0 20 0 4 0 108061728 1382617088 279317 33554432000 4194304 16246674 140736082832320 140736082814208 6020448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 337553 279317 921 2943 0 334447 0 [pid=9942/tid=9943] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279317 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279317 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279317 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 1350212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.20 2.22 2.18 5/183 10003 /proc/meminfo: memFree=28056844/32872528 swapFree=15272/1656604 [pid=9942] ppid=9936 vsize=1350212 CPUtime=1800.08 cores=0,2,4,6 /proc/9942/stat : 9942 (toysat) R 9936 9942 9894 0 -1 4202496 278814 0 0 0 179953 55 0 0 20 0 4 0 108061728 1382617088 279317 33554432000 4194304 16246674 140736082832320 140736082814208 6012293 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9942/statm: 337553 279317 921 2943 0 334447 0 [pid=9942/tid=9943] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9943/stat : 9943 (toysat) S 9936 9942 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279317 33554432000 4194304 16246674 140736082832320 140471488720112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9942/tid=9944] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9944/stat : 9944 (toysat) S 9936 9942 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279317 33554432000 4194304 16246674 140736082832320 140471401688304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9942/tid=9945] ppid=9936 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/9942/task/9945/stat : 9945 (toysat) S 9936 9942 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1382617088 279317 33554432000 4194304 16246674 140736082832320 140471391214768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1350212 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 9942 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.46 CPU time (s): 1800.15 CPU user time (s): 1799.54 CPU system time (s): 0.606907 CPU usage (%): 99.9826 Max. virtual memory (cumulated for all children) (KiB): 1350212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.606907 maximum resident set size= 1117268 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278814 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= 73 involuntary context switches= 1852 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.49432 second user time and 7.01693 second system time The end
Begin job on node136 at 2016-06-07 03:01:24 IDJOB=4080094 IDBENCH=48237 IDSOLVER=2542 FILE ID=node136/4080094-1465261284 RUNJOBID= node136-1465261284-9910 PBS_JOBID= 19843291 Free space on /tmp= 71736 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080094-1465261284/watcher-4080094-1465261284 -o /tmp/evaluation-result-4080094-1465261284/solver-4080094-1465261284 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9910 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080094-1465261284.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3 RANDOM SEED=649009184 node136.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.959 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.959 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.959 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.959 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.959 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.959 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.59 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.959 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.959 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30296924 kB Buffers: 44676 kB Cached: 168396 kB SwapCached: 804 kB Active: 102892 kB Inactive: 113004 kB Active(anon): 4368 kB Inactive(anon): 1208 kB Active(file): 98524 kB Inactive(file): 111796 kB Unevictable: 1656604 kB Mlocked: 15272 kB SwapTotal: 67108856 kB SwapFree: 67099344 kB Dirty: 32624 kB Writeback: 0 kB AnonPages: 1659052 kB Mapped: 6840 kB Shmem: 0 kB Slab: 568596 kB SReclaimable: 13184 kB SUnreclaim: 555412 kB KernelStack: 1352 kB PageTables: 7268 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1756184 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1644544 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= 71704 MiB End job on node136 at 2016-06-07 03:31:25