| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb |
| MD5SUM | 08913f3dd730f4c3a659694fd4c06001 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3591 |
| Best CPU time to get the best result obtained on this benchmark | 3.12152 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3591 |
| Optimality of the best value was proved | NO |
| Number of variables | 556 |
| Total number of constraints | 180 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 178 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 48 |
| Number of terms in the objective function | 304 |
| Biggest coefficient in the objective function | 10575 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 524466 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 20152 |
| Number of bits of the biggest number in a constraint | 15 |
| Biggest sum of numbers in a constraint | 524466 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T07:36:29+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-4101961-1466228189.opb"] 0.00/0.01 c use --random-gen="1022745251 2197954221 711712863 1127766745 1063092221 1469945262 1015262510 1168959206 4090624742 3754072436 3208229761 1053139663 397371565 883049326 2985374335 1947266953 2693756454 1916922913 1136351046 560799859 826313168 2277897890 3836444338 1314677503 3034670303 1324657493 1853326228 1055461795 3690206940 2660190306 2360732320 1568147646 1752959843 2942129763 2085297639 2240503125 3250118991 1759882107 2218300420 3530061243 753440429 996988889 2200089026 567681212 2675708027 2020878203 151167470 3308170800 1018958710 2125730379 4256481384 2232695367 609075932 2342781203 3335319478 3508691819 1467637723 298310474 2783158526 900086486 2282466420 799120033 1782380775 4263275480 3734414201 469704062 2433385645 2336596530 3766163163 1848373078 1548471934 3779212871 4079069646 466260296 57785711 2574881792 1423388230 2037069799 1306595974 1713178870 1335331405 87045508 3829725787 130439444 1684649228 1412372664 2351644290 1920584624 4160658631 3598111329 3134151762 1281083622 2859703566 1343161259 2926619631 1352849327 1648107172 919310831 1698911962 4259820913 3942103491 3201842159 697641235 3868031500 3296048449 22811389 3514778092 3416098819 2878006863 256075209 2179069048 3587017260 615104968 3197726126 935946602 2723538787 1240484851 1420010056 21077015 1967337451 3464946671 503312153 4154284208 1680168438 2037186118 83392176 3364220218 256384062 1799849733 950640193 3450406457 1293484055 213495563 3623296438 3996503416 720209099 455040212 4041121785 2107700636 4020246698 1591809074 2200685039 515123348 526699724 2766012802 2747100250 866246717 499113002 94651637 1942148718 1917138185 651336906 4187210325 2279268034 3201740527 3262702321 392420512 1435238438 3577004342 65473828 2363922384 437175498 1091132972 156634941 979203920 1041162615 2997476734 300716862 4207835011 3988153093 3437612126 42178932 1006107326 2091642589 2137157690 899309986 3859393732 340172564 83081165 1697650621 2995643769 3768512539 176722174 3691132790 3266785351 1237000712 2657729748 950898944 704654425 2814539283 1154561475 585802886 3490725884 1890441062 2327632941 1699591592 4029938838 1291675175 4115912701 1304457460 1209710155 2567839453 2959679 1521406415 3726385414 889997999 3749385060 3017128357 1596191511 1130615541 1879525579 2017930811 3645065828 1458734580 2842700452 280669129 987477361 1713524534 1254166761 2357256615 1663405099 829765548 3868010833 454255408 1082413336 3836168532 2532729517 2607997010 1982945704 3589529938 3989879140 1233268437 3689016766 549613721 3766609915 946826057 2079328326 1835995104 3592189311 4218726353 4134997807 4054569588 4069073623 2816641436 2899656702 1276986781 3034916690 2054077910 3241859843 3124813654 928472895 1117761993 1339303457 2862227896 849647333 1062271191 255 362436" option to reproduce the execution 0.00/0.01 c #vars 556 0.00/0.01 c #constraints 180 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 245 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 180 | 100 | 245 0 | 0 | 0 0.00/0.07 c 0.0s | 1 | 605 | 115 | 270 0 | 0 | 0 0.00/0.07 c #cpu_time = 0.047s 0.00/0.07 c #wall_clock_time = 0.047s 0.00/0.07 c #decision = 605 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 115 0.00/0.07 c #restart = 1 0.00/0.07 o 58753 0.00/0.07 c BCD2: updating upper bound: 524466 -> 58752 0.00/0.07 c BCD2: 0 <= obj <= 58752 0.00/0.07 c BCD2: #cores=0, #unrelaxed=304, #relaxed=0, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 270 0 | 0 | 0 0.00/0.07 c 0.0s | 0 | 154 | 0 | 270 0 | 0 | 0 0.00/0.07 c #cpu_time = 0.002s 0.00/0.07 c #wall_clock_time = 0.002s 0.00/0.07 c #decision = 154 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 3: cost of the new core is >=1010 0.00/0.07 c lower bound updated to 1010 0.00/0.07 c BCD2: 1010 <= obj <= 58752 0.00/0.07 c BCD2: #cores=1, #unrelaxed=301, #relaxed=3, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 270 0 | 0 | 0 0.00/0.08 c 0.0s | 0 | 618 | 42 | 270 0 | 0 | 0 0.00/0.08 c #cpu_time = 0.010s 0.00/0.08 c #wall_clock_time = 0.010s 0.00/0.08 c #decision = 618 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 42 0.00/0.08 c #restart = 0 0.00/0.09 c BCD2: relaxing 46 and merging with 1 cores into a new core of size 49: cost of the new core is >=1224 0.00/0.09 c lower bound updated to 1224 0.00/0.09 c BCD2: 1224 <= obj <= 58752 0.00/0.09 c BCD2: #cores=1, #unrelaxed=255, #relaxed=49, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 270 0 | 1 | 0 0.09/0.11 c 0.0s | 1 | 384 | 100 | 297 0 | 1 | 1 0.09/0.16 c 0.1s | 2 | 822 | 250 | 297 0 | 1 | 1 0.19/0.24 c 0.2s | 3 | 1351 | 475 | 327 1 | 1 | 1 0.29/0.37 c 0.3s | 4 | 2016 | 813 | 360 2 | 1 | 1 0.49/0.56 c 0.5s | 5 | 2870 | 1320 | 397 4 | 1 | 1 0.99/1.06 c 1.0s | 6 | 4091 | 2081 | 437 6 | 1 | 1 1.49/1.53 c 1.4s | 7 | 5727 | 3223 | 481 9 | 1 | 1 2.20/2.25 c 2.2s | 8 | 7869 | 4936 | 530 13 | 1 | 1 3.29/3.36 c 3.3s | 9 | 11143 | 7506 | 583 18 | 1 | 1 4.89/4.96 c 4.9s | 10 | 15829 | 11361 | 642 26 | 1 | 1 6.89/6.99 c 6.9s | 10 | 21850 | 16261 | 642 36 | 1 | 1 7.39/7.40 c 7.3s | 11 | 22858 | 17144 | 707 37 | 1 | 1 9.39/9.42 c 9.3s | 11 | 28776 | 22044 | 707 46 | 1 | 1 11.18/11.22 c 11.1s | 12 | 33133 | 25819 | 778 53 | 1 | 1 13.19/13.24 c 13.2s | 12 | 38159 | 30019 | 778 60 | 1 | 1 15.18/15.25 c 15.2s | 12 | 43076 | 34319 | 778 68 | 1 | 1 17.28/17.31 c 17.2s | 12 | 47942 | 38519 | 856 75 | 1 | 1 17.38/17.48 c 17.4s | 13 | 48292 | 38832 | 856 75 | 1 | 1 19.38/19.49 c 19.4s | 13 | 53221 | 42832 | 856 82 | 1 | 1 21.48/21.53 c 21.4s | 13 | 57785 | 46832 | 856 88 | 1 | 1 23.48/23.56 c 23.5s | 13 | 62398 | 50932 | 856 95 | 1 | 1 25.49/25.59 c 25.5s | 13 | 67320 | 55232 | 856 101 | 1 | 1 26.99/27.07 c 27.0s | 14 | 70966 | 58352 | 942 106 | 1 | 1 28.99/29.07 c 29.0s | 14 | 75940 | 62452 | 942 113 | 1 | 1 31.09/31.10 c 31.0s | 14 | 80672 | 66552 | 942 119 | 1 | 1 33.09/33.12 c 33.0s | 14 | 85578 | 70752 | 942 125 | 1 | 1 35.09/35.13 c 35.0s | 14 | 90372 | 74852 | 942 131 | 1 | 1 37.09/37.13 c 37.0s | 14 | 94796 | 78652 | 942 137 | 1 | 1 39.09/39.17 c 39.1s | 14 | 99385 | 82652 | 942 143 | 1 | 1 41.19/41.21 c 41.1s | 14 | 103903 | 86552 | 942 149 | 1 | 1 41.69/41.73 c 41.6s | 15 | 105177 | 87632 | 1037 150 | 1 | 1 43.69/43.78 c 43.7s | 15 | 110553 | 92132 | 1037 157 | 1 | 1 45.79/45.82 c 45.7s | 15 | 115636 | 96532 | 1037 163 | 1 | 1 47.78/47.82 c 47.7s | 15 | 120349 | 100532 | 1037 168 | 1 | 1 49.78/49.83 c 49.7s | 15 | 125006 | 104532 | 1037 174 | 1 | 1 51.79/51.83 c 51.7s | 15 | 129459 | 108332 | 1037 179 | 1 | 1 53.78/53.86 c 53.8s | 15 | 134180 | 112432 | 1037 185 | 1 | 1 55.88/55.91 c 55.8s | 15 | 138899 | 116432 | 1037 191 | 1 | 1 57.88/57.91 c 57.8s | 15 | 143710 | 120632 | 1037 196 | 1 | 1 59.88/59.94 c 59.9s | 15 | 148562 | 124932 | 1037 202 | 1 | 1 61.88/61.99 c 61.9s | 15 | 152993 | 128732 | 1037 208 | 1 | 1 63.38/63.41 c 63.3s | 16 | 156246 | 131552 | 1141 211 | 1 | 1 65.38/65.42 c 65.3s | 16 | 161384 | 135552 | 1141 217 | 1 | 1 67.38/67.45 c 67.4s | 16 | 165899 | 139452 | 1141 222 | 1 | 1 69.39/69.49 c 69.4s | 16 | 170757 | 143652 | 1141 227 | 1 | 1 71.49/71.52 c 71.4s | 16 | 175395 | 147652 | 1141 232 | 1 | 1 73.48/73.54 c 73.5s | 16 | 179754 | 151452 | 1141 237 | 1 | 1 75.48/75.56 c 75.5s | 16 | 184998 | 155752 | 1141 243 | 1 | 1 77.48/77.58 c 77.5s | 16 | 189661 | 159752 | 1141 248 | 1 | 1 79.58/79.60 c 79.5s | 16 | 194260 | 163752 | 1141 253 | 1 | 1 81.58/81.61 c 81.5s | 16 | 199197 | 167952 | 1141 259 | 1 | 1 83.58/83.62 c 83.5s | 16 | 204296 | 172352 | 1141 265 | 1 | 1 85.58/85.66 c 85.6s | 16 | 209235 | 176552 | 1141 270 | 1 | 1 87.58/87.67 c 87.6s | 16 | 213833 | 180452 | 1141 275 | 1 | 1 89.68/89.70 c 89.6s | 16 | 218916 | 184752 | 1141 281 | 1 | 1 91.68/91.76 c 91.7s | 16 | 223713 | 188852 | 1141 286 | 1 | 1 93.67/93.77 c 93.7s | 16 | 228099 | 192652 | 1141 291 | 1 | 1 95.68/95.78 c 95.7s | 16 | 232984 | 196852 | 1256 296 | 1 | 1 96.07/96.10 c 96.0s | 17 | 233639 | 197432 | 1256 297 | 1 | 1 98.07/98.13 c 98.0s | 17 | 238874 | 201632 | 1256 302 | 1 | 1 100.08/100.16 c 100s | 17 | 244225 | 206032 | 1256 308 | 1 | 1 102.17/102.22 c 102s | 17 | 248901 | 210032 | 1256 313 | 1 | 1 104.17/104.26 c 104s | 17 | 253455 | 213932 | 1256 317 | 1 | 1 106.17/106.28 c 106s | 17 | 257755 | 217732 | 1256 322 | 1 | 1 108.17/108.29 c 108s | 17 | 262348 | 221732 | 1256 327 | 1 | 1 110.27/110.31 c 110s | 17 | 267108 | 225832 | 1256 332 | 1 | 1 112.28/112.36 c 112s | 17 | 271594 | 229732 | 1256 336 | 1 | 1 114.27/114.38 c 114s | 17 | 275775 | 233432 | 1256 341 | 1 | 1 116.27/116.39 c 116s | 17 | 280279 | 237332 | 1256 346 | 1 | 1 118.37/118.44 c 118s | 17 | 285057 | 241532 | 1256 351 | 1 | 1 120.47/120.50 c 120s | 17 | 289431 | 245432 | 1256 356 | 1 | 1 122.47/122.54 c 122s | 17 | 293715 | 249232 | 1256 360 | 1 | 1 124.47/124.56 c 124s | 17 | 297875 | 252832 | 1256 365 | 1 | 1 126.48/126.56 c 126s | 17 | 302308 | 256632 | 1256 369 | 1 | 1 128.57/128.61 c 128s | 17 | 307191 | 260832 | 1256 374 | 1 | 1 130.57/130.62 c 130s | 17 | 311684 | 264732 | 1256 379 | 1 | 1 132.57/132.65 c 132s | 17 | 316832 | 269132 | 1256 384 | 1 | 1 134.57/134.68 c 134s | 17 | 321905 | 273332 | 1256 390 | 1 | 1 136.67/136.71 c 136s | 17 | 326486 | 277132 | 1256 394 | 1 | 1 138.67/138.74 c 138s | 17 | 331309 | 281232 | 1256 399 | 1 | 1 140.66/140.77 c 140s | 17 | 335766 | 285032 | 1256 404 | 1 | 1 142.76/142.81 c 142s | 17 | 340128 | 288832 | 1256 408 | 1 | 1 144.76/144.84 c 144s | 17 | 344519 | 292532 | 1256 413 | 1 | 1 146.76/146.88 c 146s | 17 | 348451 | 295932 | 1382 417 | 1 | 1 146.96/147.08 c 146s | 18 | 348814 | 296252 | 1382 417 | 1 | 1 149.06/149.12 c 149s | 18 | 353949 | 300452 | 1382 422 | 1 | 1 151.06/151.16 c 151s | 18 | 358647 | 304552 | 1382 427 | 1 | 1 153.06/153.16 c 153s | 18 | 363276 | 308652 | 1382 431 | 1 | 1 155.08/155.20 c 155s | 18 | 367735 | 312652 | 1382 436 | 1 | 1 157.17/157.20 c 157s | 18 | 371664 | 316152 | 1382 440 | 1 | 1 159.17/159.25 c 159s | 18 | 376590 | 320352 | 1382 444 | 1 | 1 161.17/161.25 c 161s | 18 | 381407 | 324452 | 1382 449 | 1 | 1 163.17/163.29 c 163s | 18 | 386702 | 328852 | 1382 454 | 1 | 1 165.27/165.32 c 165s | 18 | 391518 | 332852 | 1382 459 | 1 | 1 167.28/167.36 c 167s | 18 | 396031 | 336652 | 1382 463 | 1 | 1 169.27/169.39 c 169s | 18 | 400659 | 340652 | 1382 467 | 1 | 1 171.37/171.41 c 171s | 18 | 405276 | 344652 | 1382 472 | 1 | 1 173.37/173.43 c 173s | 18 | 409827 | 348552 | 1382 476 | 1 | 1 175.37/175.45 c 175s | 18 | 414401 | 352452 | 1382 480 | 1 | 1 177.37/177.46 c 177s | 18 | 418599 | 356052 | 1382 485 | 1 | 1 179.47/179.51 c 179s | 18 | 422721 | 359452 | 1382 488 | 1 | 1 181.47/181.53 c 181s | 18 | 426739 | 362852 | 1382 492 | 1 | 1 183.47/183.58 c 183s | 18 | 431073 | 366452 | 1382 496 | 1 | 1 185.46/185.59 c 185s | 18 | 435913 | 370452 | 1382 501 | 1 | 1 187.56/187.60 c 187s | 18 | 440469 | 374352 | 1382 505 | 1 | 1 189.56/189.61 c 189s | 18 | 444635 | 377952 | 1382 509 | 1 | 1 191.56/191.66 c 191s | 18 | 448762 | 381352 | 1382 513 | 1 | 1 193.57/193.70 c 193s | 18 | 452641 | 384752 | 1382 517 | 1 | 1 195.66/195.72 c 195s | 18 | 456629 | 388152 | 1382 521 | 1 | 1 197.66/197.76 c 197s | 18 | 461172 | 391952 | 1382 525 | 1 | 1 199.76/199.82 c 199s | 18 | 465223 | 395352 | 1382 529 | 1 | 1 201.76/201.84 c 201s | 18 | 468352 | 398052 | 1382 532 | 1 | 1 203.76/203.89 c 203s | 18 | 472115 | 401252 | 1382 535 | 1 | 1 205.86/205.90 c 205s | 18 | 475523 | 404152 | 1382 538 | 1 | 1 207.87/207.92 c 207s | 18 | 479739 | 407752 | 1382 542 | 1 | 1 209.86/209.95 c 209s | 18 | 483865 | 411252 | 1382 546 | 1 | 1 211.86/211.97 c 211s | 18 | 488283 | 415052 | 1382 551 | 1 | 1 213.86/213.97 c 213s | 18 | 492405 | 418752 | 1382 555 | 1 | 1 215.96/216.01 c 215s | 18 | 496729 | 422452 | 1382 559 | 1 | 1 217.96/218.05 c 217s | 18 | 501060 | 426052 | 1382 563 | 1 | 1 219.96/220.09 c 220s | 18 | 505735 | 429952 | 1382 567 | 1 | 1 222.06/222.10 c 222s | 18 | 510353 | 433752 | 1382 572 | 1 | 1 224.06/224.11 c 224s | 18 | 514636 | 437352 | 1382 576 | 1 | 1 226.06/226.17 c 226s | 18 | 518696 | 440852 | 1382 580 | 1 | 1 228.16/228.20 c 228s | 18 | 522902 | 444452 | 1521 584 | 1 | 1 228.16/228.22 c 228s | 19 | 522935 | 444482 | 1521 584 | 1 | 1 230.16/230.26 c 230s | 19 | 527408 | 448082 | 1521 587 | 1 | 1 232.16/232.27 c 232s | 19 | 532293 | 452282 | 1521 592 | 1 | 1 234.26/234.31 c 234s | 19 | 537214 | 456482 | 1521 596 | 1 | 1 236.26/236.33 c 236s | 19 | 541664 | 460382 | 1521 600 | 1 | 1 238.25/238.37 c 238s | 19 | 545769 | 463982 | 1521 604 | 1 | 1 240.35/240.40 c 240s | 19 | 550732 | 468182 | 1521 608 | 1 | 1 242.35/242.42 c 242s | 19 | 554963 | 471882 | 1521 612 | 1 | 1 244.35/244.42 c 244s | 19 | 559487 | 475782 | 1521 616 | 1 | 1 246.36/246.47 c 246s | 19 | 563912 | 479682 | 1521 620 | 1 | 1 248.45/248.53 c 248s | 19 | 568271 | 483582 | 1521 625 | 1 | 1 250.45/250.57 c 250s | 19 | 572915 | 487682 | 1521 629 | 1 | 1 252.45/252.59 c 252s | 19 | 576929 | 491282 | 1521 633 | 1 | 1 254.55/254.61 c 254s | 19 | 581558 | 495382 | 1521 637 | 1 | 1 256.55/256.62 c 256s | 19 | 586222 | 499382 | 1521 641 | 1 | 1 258.56/258.62 c 258s | 19 | 590458 | 502982 | 1521 645 | 1 | 1 260.55/260.64 c 260s | 19 | 594981 | 506782 | 1521 649 | 1 | 1 262.65/262.70 c 262s | 19 | 599020 | 510282 | 1521 653 | 1 | 1 264.65/264.72 c 264s | 19 | 603631 | 514282 | 1521 657 | 1 | 1 266.65/266.74 c 266s | 19 | 607898 | 517982 | 1521 661 | 1 | 1 268.65/268.75 c 268s | 19 | 612230 | 521682 | 1521 665 | 1 | 1 270.75/270.80 c 270s | 19 | 616688 | 525482 | 1521 668 | 1 | 1 272.75/272.84 c 272s | 19 | 621086 | 529282 | 1521 672 | 1 | 1 274.75/274.86 c 274s | 19 | 625448 | 532982 | 1521 676 | 1 | 1 276.74/276.89 c 276s | 19 | 629696 | 536682 | 1521 680 | 1 | 1 278.84/278.94 c 278s | 19 | 633970 | 540382 | 1521 684 | 1 | 1 280.84/280.99 c 280s | 19 | 638038 | 543882 | 1521 688 | 1 | 1 282.94/283.02 c 282s | 19 | 642395 | 547882 | 1521 692 | 1 | 1 284.95/285.07 c 284s | 19 | 646973 | 551982 | 1521 696 | 1 | 1 287.05/287.11 c 287s | 19 | 651495 | 556082 | 1521 701 | 1 | 1 289.04/289.11 c 289s | 19 | 655823 | 559882 | 1521 705 | 1 | 1 291.04/291.14 c 291s | 19 | 660239 | 563682 | 1521 709 | 1 | 1 293.14/293.20 c 293s | 19 | 664501 | 567382 | 1521 713 | 1 | 1 295.14/295.21 c 295s | 19 | 668940 | 571282 | 1521 717 | 1 | 1 297.14/297.23 c 297s | 19 | 673788 | 575482 | 1521 721 | 1 | 1 299.15/299.24 c 299s | 19 | 678354 | 579482 | 1521 725 | 1 | 1 301.14/301.24 c 301s | 19 | 683330 | 583782 | 1521 730 | 1 | 1 303.14/303.24 c 303s | 19 | 687510 | 587382 | 1521 734 | 1 | 1 305.14/305.28 c 305s | 19 | 692530 | 591682 | 1521 738 | 1 | 1 307.24/307.33 c 307s | 19 | 697151 | 595582 | 1521 742 | 1 | 1 309.24/309.37 c 309s | 19 | 701588 | 599382 | 1521 746 | 1 | 1 311.25/311.37 c 311s | 19 | 705940 | 603082 | 1521 750 | 1 | 1 313.24/313.39 c 313s | 19 | 710643 | 606982 | 1521 754 | 1 | 1 315.34/315.42 c 315s | 19 | 715145 | 610782 | 1521 758 | 1 | 1 317.34/317.42 c 317s | 19 | 719449 | 614582 | 1521 762 | 1 | 1 319.34/319.46 c 319s | 19 | 723735 | 618282 | 1521 766 | 1 | 1 321.34/321.49 c 321s | 19 | 728323 | 622182 | 1521 770 | 1 | 1 323.44/323.52 c 323s | 19 | 732678 | 625982 | 1521 774 | 1 | 1 325.44/325.55 c 325s | 19 | 737363 | 629882 | 1521 778 | 1 | 1 327.44/327.57 c 327s | 19 | 741908 | 633582 | 1521 782 | 1 | 1 329.44/329.59 c 329s | 19 | 746671 | 637382 | 1521 786 | 1 | 1 331.54/331.62 c 331s | 19 | 751567 | 641482 | 1521 790 | 1 | 1 333.53/333.63 c 333s | 19 | 756356 | 645582 | 1521 795 | 1 | 1 335.54/335.64 c 335s | 19 | 760804 | 649382 | 1521 799 | 1 | 1 337.53/337.67 c 337s | 19 | 765349 | 653182 | 1521 803 | 1 | 1 339.63/339.72 c 339s | 19 | 769515 | 656782 | 1521 806 | 1 | 1 341.63/341.75 c 341s | 19 | 773580 | 660182 | 1521 810 | 1 | 1 343.63/343.79 c 343s | 19 | 778209 | 664082 | 1674 814 | 1 | 1 345.13/345.29 c 345s | 20 | 781516 | 666827 | 1674 816 | 1 | 1 347.23/347.34 c 347s | 20 | 786366 | 670727 | 1674 820 | 1 | 1 349.23/349.34 c 349s | 20 | 790918 | 674627 | 1674 824 | 1 | 1 351.23/351.35 c 351s | 20 | 795060 | 678227 | 1674 827 | 1 | 1 353.24/353.39 c 353s | 20 | 799475 | 682027 | 1674 831 | 1 | 1 355.35/355.45 c 355s | 20 | 803956 | 685527 | 1674 835 | 1 | 1 357.34/357.48 c 357s | 20 | 808278 | 689227 | 1674 838 | 1 | 1 359.34/359.49 c 359s | 20 | 812338 | 692727 | 1674 841 | 1 | 1 361.44/361.54 c 361s | 20 | 817464 | 697027 | 1674 846 | 1 | 1 363.44/363.59 c 363s | 20 | 822371 | 701227 | 1674 850 | 1 | 1 365.54/365.64 c 365s | 20 | 827012 | 705127 | 1674 854 | 1 | 1 367.54/367.69 c 367s | 20 | 831980 | 709227 | 1674 858 | 1 | 1 369.54/369.69 c 369s | 20 | 836742 | 713227 | 1674 861 | 1 | 1 371.63/371.75 c 371s | 20 | 840787 | 716827 | 1674 865 | 1 | 1 373.73/373.80 c 373s | 20 | 845275 | 720627 | 1674 869 | 1 | 1 375.73/375.80 c 375s | 20 | 849847 | 724527 | 1674 872 | 1 | 1 377.73/377.82 c 377s | 20 | 854181 | 728227 | 1674 876 | 1 | 1 379.73/379.87 c 379s | 20 | 858590 | 732027 | 1674 880 | 1 | 1 381.83/381.92 c 381s | 20 | 863025 | 735827 | 1674 883 | 1 | 1 383.84/383.93 c 383s | 20 | 867875 | 739827 | 1674 887 | 1 | 1 385.83/385.94 c 385s | 20 | 872263 | 743527 | 1674 891 | 1 | 1 387.93/388.00 c 387s | 20 | 876650 | 747227 | 1674 894 | 1 | 1 389.93/390.03 c 389s | 20 | 881206 | 751127 | 1674 898 | 1 | 1 391.93/392.06 c 391s | 20 | 885760 | 755027 | 1674 902 | 1 | 1 394.03/394.11 c 394s | 20 | 889913 | 758627 | 1674 905 | 1 | 1 396.04/396.13 c 396s | 20 | 894383 | 762427 | 1674 909 | 1 | 1 398.03/398.15 c 398s | 20 | 898721 | 766127 | 1674 913 | 1 | 1 400.03/400.17 c 400s | 20 | 902966 | 769727 | 1674 916 | 1 | 1 402.13/402.22 c 402s | 20 | 907707 | 773727 | 1674 920 | 1 | 1 404.13/404.25 c 404s | 20 | 912252 | 777627 | 1674 924 | 1 | 1 406.13/406.28 c 406s | 20 | 916814 | 781427 | 1674 928 | 1 | 1 408.13/408.29 c 408s | 20 | 921349 | 785227 | 1674 931 | 1 | 1 410.23/410.32 c 410s | 20 | 925953 | 789127 | 1674 935 | 1 | 1 412.22/412.34 c 412s | 20 | 930386 | 792927 | 1674 939 | 1 | 1 414.22/414.38 c 414s | 20 | 934448 | 796427 | 1674 942 | 1 | 1 416.22/416.39 c 416s | 20 | 938718 | 800027 | 1674 946 | 1 | 1 418.32/418.40 c 418s | 20 | 943112 | 803727 | 1674 949 | 1 | 1 420.32/420.41 c 420s | 20 | 947217 | 807227 | 1674 953 | 1 | 1 422.33/422.44 c 422s | 20 | 951347 | 810627 | 1674 956 | 1 | 1 424.32/424.44 c 424s | 20 | 956424 | 814827 | 1674 960 | 1 | 1 426.32/426.48 c 426s | 20 | 961382 | 819027 | 1674 964 | 1 | 1 428.41/428.53 c 428s | 20 | 966129 | 823027 | 1674 968 | 1 | 1 430.41/430.57 c 430s | 20 | 970328 | 826527 | 1674 971 | 1 | 1 432.51/432.62 c 432s | 20 | 974199 | 829927 | 1674 975 | 1 | 1 434.52/434.62 c 434s | 20 | 978720 | 833827 | 1674 978 | 1 | 1 436.51/436.63 c 436s | 20 | 983139 | 837627 | 1674 982 | 1 | 1 438.51/438.68 c 438s | 20 | 987491 | 841327 | 1674 986 | 1 | 1 440.61/440.71 c 440s | 20 | 991470 | 844927 | 1674 989 | 1 | 1 442.61/442.71 c 442s | 20 | 995984 | 848727 | 1674 993 | 1 | 1 444.60/444.71 c 444s | 20 | 1000505 | 852527 | 1674 997 | 1 | 1 446.61/446.77 c 446s | 20 | 1004760 | 856227 | 1674 1000 | 1 | 1 448.60/448.78 c 448s | 20 | 1008762 | 859727 | 1674 1004 | 1 | 1 450.70/450.80 c 450s | 20 | 1013200 | 863627 | 1674 1007 | 1 | 1 452.70/452.82 c 452s | 20 | 1017464 | 867227 | 1674 1011 | 1 | 1 454.70/454.85 c 454s | 20 | 1021748 | 870927 | 1674 1014 | 1 | 1 456.70/456.85 c 456s | 20 | 1026427 | 874827 | 1674 1018 | 1 | 1 458.71/458.89 c 458s | 20 | 1030863 | 878627 | 1674 1022 | 1 | 1 460.81/460.92 c 460s | 20 | 1035021 | 882227 | 1674 1025 | 1 | 1 462.80/462.92 c 462s | 20 | 1039460 | 885927 | 1674 1029 | 1 | 1 464.79/464.93 c 464s | 20 | 1043856 | 889627 | 1674 1033 | 1 | 1 466.79/466.96 c 466s | 20 | 1048374 | 893427 | 1674 1036 | 1 | 1 468.79/468.98 c 468s | 20 | 1053446 | 897627 | 1674 1040 | 1 | 1 470.80/470.99 c 470s | 20 | 1057936 | 901427 | 1674 1044 | 1 | 1 472.79/472.99 c 472s | 20 | 1062250 | 905127 | 1674 1048 | 1 | 1 474.89/475.01 c 474s | 20 | 1066556 | 908627 | 1674 1051 | 1 | 1 476.89/477.06 c 476s | 20 | 1070870 | 912227 | 1674 1055 | 1 | 1 478.90/479.06 c 478s | 20 | 1075517 | 916027 | 1674 1058 | 1 | 1 480.99/481.11 c 481s | 20 | 1079721 | 919527 | 1674 1062 | 1 | 1 482.99/483.15 c 483s | 20 | 1084090 | 923127 | 1674 1065 | 1 | 1 485.00/485.17 c 485s | 20 | 1088225 | 926727 | 1674 1069 | 1 | 1 487.09/487.21 c 487s | 20 | 1092336 | 930327 | 1674 1072 | 1 | 1 489.09/489.24 c 489s | 20 | 1096587 | 934027 | 1674 1076 | 1 | 1 491.09/491.28 c 491s | 20 | 1100860 | 937627 | 1674 1079 | 1 | 1 493.19/493.34 c 493s | 20 | 1104307 | 940627 | 1674 1082 | 1 | 1 495.19/495.38 c 495s | 20 | 1108204 | 943927 | 1674 1085 | 1 | 1 497.28/497.45 c 497s | 20 | 1111960 | 947027 | 1674 1088 | 1 | 1 499.29/499.48 c 499s | 20 | 1115623 | 950127 | 1674 1091 | 1 | 1 501.28/501.49 c 501s | 20 | 1120119 | 953927 | 1674 1095 | 1 | 1 503.38/503.52 c 503s | 20 | 1124356 | 957527 | 1674 1099 | 1 | 1 505.38/505.57 c 505s | 20 | 1128622 | 961227 | 1674 1102 | 1 | 1 507.48/507.60 c 507s | 20 | 1132877 | 964827 | 1674 1106 | 1 | 1 509.47/509.62 c 509s | 20 | 1136840 | 968227 | 1674 1109 | 1 | 1 511.48/511.66 c 511s | 20 | 1140688 | 971527 | 1674 1112 | 1 | 1 513.47/513.69 c 513s | 20 | 1144928 | 975127 | 1674 1116 | 1 | 1 515.47/515.70 c 515s | 20 | 1149393 | 978927 | 1674 1119 | 1 | 1 517.57/517.74 c 517s | 20 | 1153894 | 982727 | 1674 1123 | 1 | 1 519.57/519.75 c 519s | 20 | 1158152 | 986427 | 1674 1127 | 1 | 1 521.57/521.79 c 521s | 20 | 1162355 | 990027 | 1674 1130 | 1 | 1 523.67/523.81 c 523s | 20 | 1166108 | 993227 | 1842 1133 | 1 | 1 525.67/525.83 c 525s | 20 | 1170069 | 996627 | 1842 1136 | 1 | 1 527.66/527.86 c 527s | 20 | 1174238 | 1000227 | 1842 1139 | 1 | 1 527.76/527.95 c 527s | 21 | 1174377 | 1000345 | 1842 1140 | 1 | 1 529.76/529.95 c 529s | 21 | 1178839 | 1003845 | 1842 1143 | 1 | 1 531.76/531.96 c 531s | 21 | 1183220 | 1007545 | 1842 1146 | 1 | 1 533.76/533.97 c 533s | 21 | 1187091 | 1010945 | 1842 1149 | 1 | 1 535.86/536.00 c 535s | 21 | 1191011 | 1014345 | 1842 1152 | 1 | 1 537.86/538.01 c 537s | 21 | 1195034 | 1017745 | 1842 1155 | 1 | 1 539.86/540.06 c 539s | 21 | 1199190 | 1021245 | 1842 1158 | 1 | 1 541.96/542.10 c 542s | 21 | 1203134 | 1024545 | 1842 1161 | 1 | 1 543.96/544.15 c 544s | 21 | 1207079 | 1027945 | 1842 1164 | 1 | 1 545.95/546.18 c 546s | 21 | 1210989 | 1031345 | 1842 1167 | 1 | 1 548.05/548.20 c 548s | 21 | 1214979 | 1034845 | 1842 1171 | 1 | 1 550.05/550.26 c 550s | 21 | 1218841 | 1038245 | 1842 1174 | 1 | 1 552.06/552.26 c 552s | 21 | 1222382 | 1041245 | 1842 1176 | 1 | 1 554.15/554.30 c 554s | 21 | 1226642 | 1044845 | 1842 1179 | 1 | 1 556.14/556.33 c 556s | 21 | 1230727 | 1048345 | 1842 1183 | 1 | 1 558.14/558.37 c 558s | 21 | 1234657 | 1051745 | 1842 1186 | 1 | 1 560.24/560.40 c 560s | 21 | 1238465 | 1055045 | 1842 1189 | 1 | 1 562.24/562.42 c 562s | 21 | 1242260 | 1058345 | 1842 1192 | 1 | 1 564.24/564.47 c 564s | 21 | 1246538 | 1061945 | 1842 1195 | 1 | 1 566.24/566.49 c 566s | 21 | 1250805 | 1065545 | 1842 1198 | 1 | 1 568.34/568.54 c 568s | 21 | 1255292 | 1069345 | 1842 1201 | 1 | 1 570.34/570.55 c 570s | 21 | 1259588 | 1072945 | 1842 1205 | 1 | 1 572.34/572.56 c 572s | 21 | 1263743 | 1076445 | 1842 1208 | 1 | 1 574.34/574.59 c 574s | 21 | 1267739 | 1079845 | 1842 1211 | 1 | 1 576.35/576.59 c 576s | 21 | 1271888 | 1083345 | 1842 1214 | 1 | 1 578.45/578.63 c 578s | 21 | 1276114 | 1086745 | 1842 1217 | 1 | 1 580.44/580.68 c 580s | 21 | 1280231 | 1090245 | 1842 1220 | 1 | 1 582.54/582.73 c 582s | 21 | 1284066 | 1093545 | 1842 1223 | 1 | 1 584.54/584.77 c 584s | 21 | 1288145 | 1096945 | 1842 1226 | 1 | 1 586.54/586.79 c 586s | 21 | 1292124 | 1100345 | 1842 1229 | 1 | 1 588.64/588.84 c 588s | 21 | 1296110 | 1103745 | 1842 1232 | 1 | 1 590.64/590.84 c 590s | 21 | 1300217 | 1107145 | 1842 1235 | 1 | 1 592.64/592.89 c 592s | 21 | 1304203 | 1110545 | 1842 1238 | 1 | 1 594.73/594.95 c 594s | 21 | 1308131 | 1113945 | 1842 1241 | 1 | 1 596.73/596.98 c 596s | 21 | 1312250 | 1117345 | 1842 1245 | 1 | 1 598.83/599.02 c 598s | 21 | 1316263 | 1120645 | 1842 1248 | 1 | 1 600.83/601.06 c 600s | 21 | 1320083 | 1123845 | 1842 1250 | 1 | 1 602.83/603.06 c 602s | 21 | 1323562 | 1126845 | 1842 1253 | 1 | 1 604.83/605.09 c 605s | 21 | 1326471 | 1129445 | 1842 1255 | 1 | 1 606.93/607.10 c 607s | 21 | 1329249 | 1131945 | 1842 1258 | 1 | 1 608.93/609.12 c 609s | 21 | 1332238 | 1134545 | 1842 1260 | 1 | 1 610.93/611.13 c 611s | 21 | 1335482 | 1137345 | 1842 1262 | 1 | 1 612.92/613.15 c 613s | 21 | 1338715 | 1140145 | 1842 1265 | 1 | 1 614.92/615.16 c 615s | 21 | 1341644 | 1142745 | 1842 1267 | 1 | 1 617.03/617.21 c 617s | 21 | 1344989 | 1145645 | 1842 1270 | 1 | 1 619.02/619.25 c 619s | 21 | 1347806 | 1148145 | 1842 1272 | 1 | 1 621.02/621.29 c 621s | 21 | 1351286 | 1151145 | 1842 1275 | 1 | 1 623.12/623.31 c 623s | 21 | 1354536 | 1153945 | 1842 1277 | 1 | 1 625.12/625.31 c 625s | 21 | 1357538 | 1156545 | 1842 1279 | 1 | 1 627.12/627.38 c 627s | 21 | 1360985 | 1159545 | 1842 1282 | 1 | 1 629.22/629.43 c 629s | 21 | 1364484 | 1162645 | 1842 1285 | 1 | 1 631.22/631.44 c 631s | 21 | 1367726 | 1165445 | 1842 1287 | 1 | 1 633.21/633.46 c 633s | 21 | 1370862 | 1168245 | 1842 1290 | 1 | 1 635.31/635.54 c 635s | 21 | 1374329 | 1171045 | 1842 1292 | 1 | 1 637.31/637.55 c 637s | 21 | 1377376 | 1173645 | 1842 1295 | 1 | 1 639.31/639.56 c 639s | 21 | 1380498 | 1176345 | 1842 1297 | 1 | 1 641.31/641.58 c 641s | 21 | 1383516 | 1178945 | 1842 1299 | 1 | 1 643.32/643.58 c 643s | 21 | 1386372 | 1181545 | 1842 1302 | 1 | 1 645.40/645.65 c 645s | 21 | 1389549 | 1184245 | 1842 1304 | 1 | 1 647.50/647.70 c 647s | 21 | 1392472 | 1186845 | 1842 1307 | 1 | 1 649.50/649.74 c 649s | 21 | 1395633 | 1189645 | 1842 1309 | 1 | 1 651.50/651.79 c 651s | 21 | 1398973 | 1192445 | 1842 1312 | 1 | 1 653.50/653.79 c 653s | 21 | 1402135 | 1195245 | 1842 1314 | 1 | 1 655.60/655.89 c 655s | 21 | 1405284 | 1197945 | 1842 1317 | 1 | 1 657.70/657.93 c 657s | 21 | 1408185 | 1200445 | 1842 1319 | 1 | 1 659.70/659.98 c 659s | 21 | 1411300 | 1203145 | 1842 1321 | 1 | 1 661.69/661.99 c 661s | 21 | 1414451 | 1205945 | 1842 1324 | 1 | 1 663.79/664.00 c 663s | 21 | 1417337 | 1208545 | 1842 1326 | 1 | 1 665.79/666.07 c 665s | 21 | 1420486 | 1211245 | 1842 1328 | 1 | 1 667.89/668.10 c 668s | 21 | 1423502 | 1213845 | 1842 1331 | 1 | 1 669.89/670.16 c 670s | 21 | 1426597 | 1216545 | 1842 1333 | 1 | 1 671.89/672.16 c 672s | 21 | 1429487 | 1219145 | 1842 1336 | 1 | 1 673.99/674.21 c 674s | 21 | 1432396 | 1221745 | 1842 1338 | 1 | 1 675.98/676.24 c 676s | 21 | 1435930 | 1224745 | 1842 1340 | 1 | 1 677.98/678.29 c 678s | 21 | 1439007 | 1227445 | 1842 1343 | 1 | 1 680.08/680.35 c 680s | 21 | 1442292 | 1230345 | 1842 1345 | 1 | 1 682.18/682.42 c 682s | 21 | 1445733 | 1233345 | 1842 1348 | 1 | 1 684.18/684.48 c 684s | 21 | 1448843 | 1236045 | 1842 1351 | 1 | 1 686.18/686.50 c 686s | 21 | 1451729 | 1238545 | 1842 1353 | 1 | 1 688.28/688.57 c 688s | 21 | 1454578 | 1240945 | 1842 1355 | 1 | 1 690.38/690.63 c 690s | 21 | 1457770 | 1243845 | 1842 1358 | 1 | 1 692.38/692.66 c 692s | 21 | 1460974 | 1246745 | 1842 1360 | 1 | 1 694.38/694.68 c 694s | 21 | 1463984 | 1249445 | 1842 1363 | 1 | 1 696.48/696.74 c 696s | 21 | 1466745 | 1251945 | 1842 1365 | 1 | 1 698.48/698.77 c 698s | 21 | 1469231 | 1254245 | 1842 1367 | 1 | 1 700.58/700.82 c 700s | 21 | 1471606 | 1256445 | 1842 1369 | 1 | 1 702.58/702.89 c 702s | 21 | 1474063 | 1258645 | 1842 1371 | 1 | 1 704.67/704.93 c 704s | 21 | 1477245 | 1261445 | 1842 1373 | 1 | 1 706.67/706.97 c 706s | 21 | 1480567 | 1264345 | 1842 1376 | 1 | 1 708.77/709.05 c 708s | 21 | 1483773 | 1267145 | 1842 1378 | 1 | 1 710.77/711.08 c 710s | 21 | 1486822 | 1269845 | 1842 1381 | 1 | 1 712.77/713.09 c 713s | 21 | 1489638 | 1272345 | 1842 1383 | 1 | 1 714.77/715.10 c 715s | 21 | 1492479 | 1274845 | 1842 1385 | 1 | 1 716.86/717.14 c 717s | 21 | 1495238 | 1277245 | 1842 1387 | 1 | 1 718.96/719.21 c 719s | 21 | 1497812 | 1279545 | 1842 1389 | 1 | 1 721.06/721.31 c 721s | 21 | 1500578 | 1281945 | 1842 1392 | 1 | 1 723.06/723.34 c 723s | 21 | 1503879 | 1284745 | 1842 1394 | 1 | 1 725.16/725.41 c 725s | 21 | 1507121 | 1287445 | 1842 1397 | 1 | 1 727.16/727.42 c 727s | 21 | 1510389 | 1290245 | 1842 1399 | 1 | 1 729.16/729.46 c 729s | 21 | 1513845 | 1293245 | 1842 1402 | 1 | 1 731.26/731.51 c 731s | 21 | 1517286 | 1296245 | 1842 1404 | 1 | 1 733.26/733.57 c 733s | 21 | 1520615 | 1299145 | 1842 1407 | 1 | 1 735.35/735.63 c 735s | 21 | 1523741 | 1301845 | 1842 1409 | 1 | 1 737.35/737.66 c 737s | 21 | 1526800 | 1304545 | 1842 1412 | 1 | 1 739.35/739.68 c 739s | 21 | 1530187 | 1307145 | 1842 1414 | 1 | 1 741.45/741.71 c 741s | 21 | 1533320 | 1309645 | 1842 1416 | 1 | 1 743.45/743.77 c 743s | 21 | 1536161 | 1312045 | 1842 1419 | 1 | 1 745.44/745.80 c 745s | 21 | 1538788 | 1314245 | 1842 1420 | 1 | 1 747.54/747.86 c 747s | 21 | 1541487 | 1316545 | 1842 1423 | 1 | 1 749.64/749.91 c 749s | 21 | 1544395 | 1318945 | 1842 1425 | 1 | 1 751.64/751.92 c 751s | 21 | 1547933 | 1322045 | 1842 1427 | 1 | 1 753.64/753.96 c 753s | 21 | 1551065 | 1324745 | 1842 1430 | 1 | 1 755.73/756.00 c 755s | 21 | 1554258 | 1327545 | 1842 1432 | 1 | 1 757.74/758.07 c 757s | 21 | 1557121 | 1329945 | 1842 1435 | 1 | 1 759.73/760.10 c 760s | 21 | 1560135 | 1332545 | 1842 1437 | 1 | 1 761.83/762.12 c 762s | 21 | 1563112 | 1335045 | 1842 1439 | 1 | 1 763.84/764.12 c 764s | 21 | 1566177 | 1337545 | 1842 1441 | 1 | 1 765.83/766.19 c 766s | 21 | 1569034 | 1340045 | 1842 1444 | 1 | 1 767.93/768.23 c 768s | 21 | 1571911 | 1342445 | 1842 1446 | 1 | 1 769.93/770.23 c 770s | 21 | 1574718 | 1344845 | 1842 1448 | 1 | 1 771.94/772.24 c 772s | 21 | 1577276 | 1347045 | 1842 1450 | 1 | 1 774.03/774.30 c 774s | 21 | 1580238 | 1349545 | 1842 1452 | 1 | 1 776.03/776.33 c 776s | 21 | 1583407 | 1352145 | 1842 1454 | 1 | 1 778.13/778.41 c 778s | 21 | 1586244 | 1354545 | 1842 1457 | 1 | 1 780.23/780.50 c 780s | 21 | 1589090 | 1357045 | 1842 1459 | 1 | 1 782.33/782.61 c 782s | 21 | 1591858 | 1359445 | 1842 1461 | 1 | 1 784.32/784.67 c 784s | 21 | 1594317 | 1361645 | 1842 1463 | 1 | 1 786.42/786.71 c 786s | 21 | 1597243 | 1364245 | 1842 1465 | 1 | 1 788.43/788.75 c 788s | 21 | 1600341 | 1366945 | 1842 1468 | 1 | 1 790.42/790.78 c 790s | 21 | 1603152 | 1369445 | 1842 1470 | 1 | 1 792.42/792.80 c 792s | 21 | 1606212 | 1372145 | 1842 1472 | 1 | 1 794.51/794.88 c 794s | 21 | 1609005 | 1374545 | 1842 1475 | 1 | 1 796.61/796.96 c 796s | 21 | 1611359 | 1376545 | 1842 1476 | 1 | 1 798.61/798.98 c 798s | 21 | 1614249 | 1379045 | 1842 1479 | 1 | 1 800.71/801.08 c 800s | 21 | 1616852 | 1381245 | 1842 1481 | 1 | 1 802.72/803.10 c 803s | 21 | 1620189 | 1384145 | 1842 1483 | 1 | 1 804.81/805.15 c 805s | 21 | 1623276 | 1386945 | 1842 1486 | 1 | 1 806.91/807.23 c 807s | 21 | 1626453 | 1389645 | 1842 1488 | 1 | 1 808.91/809.23 c 809s | 21 | 1629114 | 1391945 | 1842 1490 | 1 | 1 810.91/811.26 c 811s | 21 | 1631921 | 1394345 | 1842 1492 | 1 | 1 812.91/813.27 c 813s | 21 | 1634815 | 1396845 | 1842 1494 | 1 | 1 815.00/815.31 c 815s | 21 | 1637600 | 1399245 | 1842 1497 | 1 | 1 817.01/817.32 c 817s | 21 | 1640612 | 1401845 | 1842 1499 | 1 | 1 819.00/819.34 c 819s | 21 | 1642956 | 1403945 | 1842 1501 | 1 | 1 821.00/821.35 c 821s | 21 | 1645882 | 1406545 | 1842 1503 | 1 | 1 823.00/823.39 c 823s | 21 | 1649237 | 1409445 | 1842 1506 | 1 | 1 825.09/825.40 c 825s | 21 | 1652428 | 1412245 | 1842 1508 | 1 | 1 827.09/827.41 c 827s | 21 | 1655360 | 1414845 | 1842 1510 | 1 | 1 829.10/829.43 c 829s | 21 | 1658349 | 1417445 | 1842 1513 | 1 | 1 831.09/831.45 c 831s | 21 | 1661735 | 1420345 | 1842 1515 | 1 | 1 833.19/833.51 c 833s | 21 | 1665223 | 1423345 | 1842 1518 | 1 | 1 835.19/835.55 c 835s | 21 | 1668610 | 1426245 | 1842 1521 | 1 | 1 837.29/837.62 c 837s | 21 | 1671843 | 1429045 | 1842 1523 | 1 | 1 839.29/839.64 c 839s | 21 | 1675135 | 1431845 | 1842 1526 | 1 | 1 841.39/841.71 c 841s | 21 | 1678408 | 1434645 | 1842 1528 | 1 | 1 843.39/843.71 c 843s | 21 | 1681345 | 1437145 | 1842 1530 | 1 | 1 845.38/845.78 c 845s | 21 | 1684435 | 1439845 | 1842 1533 | 1 | 1 847.48/847.80 c 847s | 21 | 1687337 | 1442245 | 1842 1535 | 1 | 1 849.48/849.82 c 849s | 21 | 1690184 | 1444745 | 1842 1537 | 1 | 1 851.58/851.91 c 851s | 21 | 1693090 | 1447245 | 1842 1539 | 1 | 1 853.58/853.98 c 853s | 21 | 1696196 | 1449945 | 1842 1542 | 1 | 1 855.58/855.98 c 855s | 21 | 1699175 | 1452445 | 1842 1544 | 1 | 1 857.57/857.98 c 857s | 21 | 1702415 | 1455145 | 1842 1546 | 1 | 1 859.67/860.03 c 859s | 21 | 1705563 | 1457845 | 1842 1549 | 1 | 1 861.67/862.08 c 861s | 21 | 1708479 | 1460445 | 1842 1551 | 1 | 1 863.67/864.09 c 864s | 21 | 1711315 | 1462945 | 1842 1553 | 1 | 1 865.77/866.10 c 866s | 21 | 1714396 | 1465545 | 1842 1556 | 1 | 1 867.77/868.15 c 868s | 21 | 1717383 | 1468045 | 1842 1558 | 1 | 1 869.78/870.16 c 870s | 21 | 1720009 | 1470345 | 1842 1560 | 1 | 1 871.87/872.23 c 872s | 21 | 1722777 | 1472745 | 1842 1562 | 1 | 1 873.97/874.30 c 874s | 21 | 1725533 | 1475145 | 1842 1564 | 1 | 1 875.96/876.31 c 876s | 21 | 1728188 | 1477445 | 1842 1566 | 1 | 1 878.06/878.40 c 878s | 21 | 1730885 | 1479745 | 1842 1568 | 1 | 1 880.06/880.45 c 880s | 21 | 1733656 | 1482145 | 1842 1571 | 1 | 1 882.06/882.47 c 882s | 21 | 1736448 | 1484645 | 1842 1573 | 1 | 1 884.17/884.55 c 884s | 21 | 1739233 | 1487145 | 1842 1575 | 1 | 1 886.16/886.60 c 886s | 21 | 1742056 | 1489645 | 1842 1577 | 1 | 1 888.26/888.64 c 888s | 21 | 1744839 | 1492145 | 2027 1579 | 1 | 1 890.26/890.68 c 890s | 21 | 1747715 | 1494645 | 2027 1581 | 1 | 1 892.26/892.68 c 892s | 21 | 1750511 | 1497145 | 2027 1583 | 1 | 1 894.35/894.70 c 894s | 21 | 1753316 | 1499645 | 2027 1585 | 1 | 1 894.95/895.38 c 895s | 22 | 1754416 | 1500622 | 2027 1586 | 1 | 1 897.05/897.45 c 897s | 22 | 1759331 | 1504522 | 2027 1590 | 1 | 1 899.05/899.45 c 899s | 22 | 1763321 | 1507822 | 2027 1592 | 1 | 1 901.05/901.48 c 901s | 22 | 1766964 | 1510922 | 2027 1595 | 1 | 1 903.15/903.51 c 903s | 22 | 1771002 | 1514322 | 2027 1598 | 1 | 1 905.14/905.52 c 905s | 22 | 1774934 | 1517522 | 2027 1600 | 1 | 1 907.15/907.60 c 907s | 22 | 1778276 | 1520422 | 2027 1603 | 1 | 1 909.24/909.65 c 909s | 22 | 1781739 | 1523422 | 2027 1605 | 1 | 1 911.34/911.70 c 911s | 22 | 1786019 | 1526922 | 2027 1608 | 1 | 1 913.34/913.75 c 913s | 22 | 1789705 | 1530122 | 2027 1611 | 1 | 1 915.45/915.81 c 915s | 22 | 1793599 | 1533422 | 2027 1613 | 1 | 1 917.45/917.84 c 917s | 22 | 1796930 | 1536222 | 2027 1616 | 1 | 1 919.55/919.92 c 919s | 22 | 1800191 | 1539022 | 2027 1618 | 1 | 1 921.55/921.93 c 921s | 22 | 1804089 | 1542022 | 2027 1620 | 1 | 1 923.55/923.97 c 923s | 22 | 1807846 | 1545022 | 2027 1623 | 1 | 1 925.64/926.02 c 925s | 22 | 1811620 | 1548222 | 2027 1626 | 1 | 1 927.64/928.07 c 927s | 22 | 1815431 | 1551522 | 2027 1628 | 1 | 1 929.74/930.10 c 930s | 22 | 1818600 | 1554322 | 2027 1631 | 1 | 1 931.74/932.15 c 932s | 22 | 1821990 | 1557222 | 2027 1633 | 1 | 1 933.84/934.21 c 934s | 22 | 1825835 | 1560322 | 2027 1635 | 1 | 1 935.84/936.28 c 936s | 22 | 1829144 | 1563122 | 2027 1638 | 1 | 1 937.84/938.29 c 938s | 22 | 1832637 | 1566022 | 2027 1640 | 1 | 1 939.94/940.34 c 940s | 22 | 1835948 | 1568822 | 2027 1642 | 1 | 1 941.93/942.35 c 942s | 22 | 1839105 | 1571522 | 2027 1645 | 1 | 1 943.93/944.37 c 944s | 22 | 1842568 | 1574422 | 2027 1647 | 1 | 1 945.93/946.39 c 946s | 22 | 1845957 | 1577322 | 2027 1649 | 1 | 1 948.03/948.40 c 948s | 22 | 1849391 | 1580222 | 2027 1652 | 1 | 1 950.04/950.43 c 950s | 22 | 1852836 | 1583122 | 2027 1654 | 1 | 1 952.03/952.48 c 952s | 22 | 1856264 | 1585922 | 2027 1657 | 1 | 1 954.13/954.54 c 954s | 22 | 1860013 | 1589022 | 2027 1659 | 1 | 1 956.12/956.56 c 956s | 22 | 1863059 | 1591522 | 2027 1661 | 1 | 1 958.22/958.63 c 958s | 22 | 1866639 | 1594322 | 2027 1664 | 1 | 1 960.22/960.64 c 960s | 22 | 1869925 | 1597022 | 2027 1666 | 1 | 1 962.23/962.68 c 962s | 22 | 1873361 | 1600022 | 2027 1668 | 1 | 1 964.22/964.68 c 964s | 22 | 1876716 | 1602922 | 2027 1671 | 1 | 1 966.22/966.69 c 966s | 22 | 1880049 | 1605822 | 2027 1673 | 1 | 1 968.32/968.75 c 968s | 22 | 1883363 | 1608622 | 2027 1675 | 1 | 1 970.42/970.84 c 970s | 22 | 1886597 | 1611322 | 2027 1678 | 1 | 1 972.42/972.86 c 972s | 22 | 1889380 | 1613722 | 2027 1680 | 1 | 1 974.52/974.90 c 974s | 22 | 1892658 | 1616422 | 2027 1682 | 1 | 1 976.52/976.92 c 976s | 22 | 1896173 | 1619322 | 2027 1684 | 1 | 1 978.51/978.97 c 978s | 22 | 1899444 | 1622122 | 2027 1686 | 1 | 1 980.61/981.04 c 980s | 22 | 1902243 | 1624522 | 2027 1688 | 1 | 1 982.61/983.06 c 982s | 22 | 1905317 | 1627122 | 2027 1691 | 1 | 1 984.61/985.09 c 985s | 22 | 1909128 | 1630322 | 2027 1693 | 1 | 1 986.71/987.11 c 987s | 22 | 1913113 | 1633622 | 2027 1696 | 1 | 1 988.71/989.20 c 989s | 22 | 1916722 | 1636822 | 2027 1699 | 1 | 1 990.71/991.20 c 991s | 22 | 1920347 | 1639922 | 2027 1701 | 1 | 1 992.80/993.25 c 993s | 22 | 1924064 | 1643122 | 2027 1704 | 1 | 1 994.90/995.33 c 995s | 22 | 1928078 | 1646522 | 2027 1707 | 1 | 1 996.90/997.34 c 997s | 22 | 1931455 | 1649422 | 2027 1709 | 1 | 1 998.90/999.35 c 999s | 22 | 1934847 | 1652422 | 2027 1711 | 1 | 1 1001.00/1001.42 c 1001s | 22 | 1938317 | 1655422 | 2027 1714 | 1 | 1 1003.00/1003.45 c 1003s | 22 | 1941980 | 1658422 | 2027 1716 | 1 | 1 1005.00/1005.48 c 1005s | 22 | 1945103 | 1661122 | 2027 1719 | 1 | 1 1007.09/1007.52 c 1007s | 22 | 1948177 | 1663722 | 2027 1721 | 1 | 1 1009.09/1009.58 c 1009s | 22 | 1951103 | 1666322 | 2027 1723 | 1 | 1 1011.09/1011.59 c 1011s | 22 | 1954544 | 1669222 | 2027 1725 | 1 | 1 1013.09/1013.59 c 1013s | 22 | 1957946 | 1672122 | 2027 1728 | 1 | 1 1015.19/1015.64 c 1015s | 22 | 1961464 | 1675022 | 2027 1730 | 1 | 1 1017.19/1017.66 c 1017s | 22 | 1964569 | 1677722 | 2027 1732 | 1 | 1 1019.29/1019.73 c 1019s | 22 | 1967859 | 1680522 | 2027 1735 | 1 | 1 1021.29/1021.77 c 1021s | 22 | 1971530 | 1683622 | 2027 1737 | 1 | 1 1023.39/1023.83 c 1023s | 22 | 1974898 | 1686522 | 2027 1739 | 1 | 1 1025.38/1025.86 c 1025s | 22 | 1977967 | 1689122 | 2027 1742 | 1 | 1 1027.39/1027.88 c 1027s | 22 | 1980848 | 1691622 | 2027 1744 | 1 | 1 1029.49/1029.90 c 1029s | 22 | 1983992 | 1694322 | 2027 1746 | 1 | 1 1031.50/1031.96 c 1031s | 22 | 1987180 | 1697122 | 2027 1748 | 1 | 1 1033.60/1034.05 c 1033s | 22 | 1990421 | 1699922 | 2027 1751 | 1 | 1 1035.68/1036.13 c 1036s | 22 | 1993312 | 1702422 | 2027 1753 | 1 | 1 1037.68/1038.13 c 1038s | 22 | 1996532 | 1705222 | 2027 1755 | 1 | 1 1039.68/1040.16 c 1040s | 22 | 1999635 | 1707822 | 2027 1757 | 1 | 1 1041.78/1042.23 c 1042s | 22 | 2002869 | 1710522 | 2027 1759 | 1 | 1 1043.88/1044.34 c 1044s | 22 | 2006287 | 1713322 | 2027 1762 | 1 | 1 1045.88/1046.37 c 1046s | 22 | 2009272 | 1715822 | 2027 1764 | 1 | 1 1047.98/1048.43 c 1048s | 22 | 2012224 | 1718322 | 2027 1766 | 1 | 1 1049.98/1050.46 c 1050s | 22 | 2014916 | 1720622 | 2027 1768 | 1 | 1 1051.98/1052.49 c 1052s | 22 | 2017779 | 1723122 | 2027 1770 | 1 | 1 1054.08/1054.52 c 1054s | 22 | 2020786 | 1725722 | 2027 1772 | 1 | 1 1056.07/1056.56 c 1056s | 22 | 2024962 | 1729222 | 2027 1775 | 1 | 1 1058.17/1058.61 c 1058s | 22 | 2029012 | 1732622 | 2027 1777 | 1 | 1 1060.17/1060.64 c 1060s | 22 | 2032562 | 1735622 | 2027 1780 | 1 | 1 1062.18/1062.70 c 1062s | 22 | 2036599 | 1739022 | 2027 1783 | 1 | 1 1064.27/1064.72 c 1064s | 22 | 2040214 | 1742222 | 2027 1785 | 1 | 1 1066.27/1066.73 c 1066s | 22 | 2043424 | 1745022 | 2027 1788 | 1 | 1 1068.27/1068.75 c 1068s | 22 | 2047117 | 1748222 | 2027 1790 | 1 | 1 1070.37/1070.82 c 1070s | 22 | 2050376 | 1751022 | 2027 1793 | 1 | 1 1072.37/1072.84 c 1072s | 22 | 2053458 | 1753622 | 2027 1795 | 1 | 1 1074.37/1074.87 c 1074s | 22 | 2056929 | 1756622 | 2027 1797 | 1 | 1 1076.37/1076.88 c 1076s | 22 | 2061347 | 1760222 | 2027 1800 | 1 | 1 1078.37/1078.88 c 1078s | 22 | 2065457 | 1763722 | 2027 1803 | 1 | 1 1080.36/1080.88 c 1080s | 22 | 2069036 | 1766922 | 2027 1806 | 1 | 1 1082.36/1082.88 c 1082s | 22 | 2072732 | 1770222 | 2027 1809 | 1 | 1 1084.46/1084.90 c 1084s | 22 | 2076577 | 1773522 | 2027 1811 | 1 | 1 1086.47/1086.96 c 1086s | 22 | 2080541 | 1777022 | 2027 1814 | 1 | 1 1088.57/1089.01 c 1088s | 22 | 2084339 | 1780322 | 2027 1817 | 1 | 1 1090.56/1091.06 c 1090s | 22 | 2087847 | 1783422 | 2027 1819 | 1 | 1 1092.56/1093.08 c 1092s | 22 | 2091424 | 1786622 | 2027 1822 | 1 | 1 1094.66/1095.14 c 1095s | 22 | 2095123 | 1789922 | 2027 1825 | 1 | 1 1096.66/1097.17 c 1097s | 22 | 2099284 | 1793522 | 2027 1828 | 1 | 1 1098.66/1099.18 c 1099s | 22 | 2103600 | 1797222 | 2027 1831 | 1 | 1 1100.77/1101.21 c 1101s | 22 | 2107625 | 1800722 | 2027 1834 | 1 | 1 1102.76/1103.25 c 1103s | 22 | 2111317 | 1803922 | 2027 1836 | 1 | 1 1104.86/1105.31 c 1105s | 22 | 2115022 | 1807122 | 2027 1839 | 1 | 1 1106.86/1107.34 c 1107s | 22 | 2118745 | 1810222 | 2027 1842 | 1 | 1 1108.86/1109.37 c 1109s | 22 | 2122749 | 1813622 | 2027 1844 | 1 | 1 1110.96/1111.43 c 1111s | 22 | 2126635 | 1816922 | 2027 1847 | 1 | 1 1112.96/1113.45 c 1113s | 22 | 2130117 | 1819922 | 2027 1850 | 1 | 1 1114.97/1115.47 c 1115s | 22 | 2133759 | 1823022 | 2027 1852 | 1 | 1 1117.06/1117.51 c 1117s | 22 | 2137078 | 1825922 | 2027 1855 | 1 | 1 1119.06/1119.51 c 1119s | 22 | 2140288 | 1828722 | 2027 1857 | 1 | 1 1121.06/1121.52 c 1121s | 22 | 2143736 | 1831722 | 2027 1859 | 1 | 1 1123.06/1123.54 c 1123s | 22 | 2146737 | 1834322 | 2027 1861 | 1 | 1 1125.06/1125.59 c 1125s | 22 | 2150665 | 1837622 | 2027 1864 | 1 | 1 1127.16/1127.64 c 1127s | 22 | 2154565 | 1840922 | 2027 1867 | 1 | 1 1129.16/1129.65 c 1129s | 22 | 2158349 | 1844122 | 2027 1870 | 1 | 1 1131.16/1131.65 c 1131s | 22 | 2161983 | 1847222 | 2027 1872 | 1 | 1 1133.16/1133.69 c 1133s | 22 | 2165513 | 1850222 | 2027 1875 | 1 | 1 1135.26/1135.73 c 1135s | 22 | 2169030 | 1853222 | 2027 1877 | 1 | 1 1137.26/1137.77 c 1137s | 22 | 2172560 | 1856222 | 2027 1880 | 1 | 1 1139.26/1139.79 c 1139s | 22 | 2176152 | 1859322 | 2027 1882 | 1 | 1 1141.36/1141.81 c 1141s | 22 | 2179569 | 1862222 | 2027 1884 | 1 | 1 1143.35/1143.86 c 1143s | 22 | 2182867 | 1865022 | 2027 1887 | 1 | 1 1145.35/1145.88 c 1145s | 22 | 2186492 | 1867922 | 2027 1889 | 1 | 1 1147.45/1147.91 c 1147s | 22 | 2189872 | 1870822 | 2027 1892 | 1 | 1 1149.45/1149.93 c 1149s | 22 | 2193226 | 1873722 | 2027 1894 | 1 | 1 1151.45/1151.98 c 1151s | 22 | 2196499 | 1876522 | 2027 1896 | 1 | 1 1153.56/1154.02 c 1153s | 22 | 2199478 | 1879122 | 2027 1898 | 1 | 1 1155.55/1156.04 c 1155s | 22 | 2202561 | 1881822 | 2027 1901 | 1 | 1 1157.55/1158.08 c 1157s | 22 | 2206582 | 1885222 | 2027 1903 | 1 | 1 1159.65/1160.11 c 1160s | 22 | 2210704 | 1888722 | 2027 1906 | 1 | 1 1161.65/1162.13 c 1162s | 22 | 2214619 | 1892022 | 2027 1909 | 1 | 1 1163.65/1164.18 c 1164s | 22 | 2218386 | 1895222 | 2027 1912 | 1 | 1 1165.75/1166.24 c 1166s | 22 | 2221856 | 1898222 | 2027 1914 | 1 | 1 1167.76/1168.25 c 1168s | 22 | 2225375 | 1901222 | 2027 1917 | 1 | 1 1169.85/1170.30 c 1170s | 22 | 2228701 | 1904022 | 2027 1919 | 1 | 1 1171.85/1172.34 c 1172s | 22 | 2231980 | 1906822 | 2027 1921 | 1 | 1 1173.85/1174.39 c 1174s | 22 | 2235520 | 1909922 | 2027 1924 | 1 | 1 1175.95/1176.41 c 1176s | 22 | 2238715 | 1912722 | 2027 1926 | 1 | 1 1177.95/1178.47 c 1178s | 22 | 2241716 | 1915322 | 2027 1928 | 1 | 1 1180.05/1180.54 c 1180s | 22 | 2244911 | 1918022 | 2027 1931 | 1 | 1 1182.05/1182.58 c 1182s | 22 | 2248344 | 1920822 | 2027 1933 | 1 | 1 1184.06/1184.59 c 1184s | 22 | 2251885 | 1923822 | 2027 1935 | 1 | 1 1186.16/1186.61 c 1186s | 22 | 2255431 | 1926922 | 2027 1938 | 1 | 1 1188.26/1188.70 c 1188s | 22 | 2258902 | 1929922 | 2027 1941 | 1 | 1 1190.26/1190.72 c 1190s | 22 | 2261937 | 1932622 | 2027 1943 | 1 | 1 1192.25/1192.73 c 1192s | 22 | 2265219 | 1935422 | 2027 1945 | 1 | 1 1194.26/1194.74 c 1194s | 22 | 2268146 | 1938022 | 2027 1947 | 1 | 1 1196.25/1196.77 c 1196s | 22 | 2271183 | 1940722 | 2027 1949 | 1 | 1 1198.25/1198.79 c 1198s | 22 | 2274615 | 1943722 | 2027 1952 | 1 | 1 1200.35/1200.80 c 1200s | 22 | 2277888 | 1946422 | 2027 1954 | 1 | 1 1202.35/1202.85 c 1202s | 22 | 2281402 | 1949422 | 2027 1957 | 1 | 1 1204.45/1204.92 c 1204s | 22 | 2284972 | 1952522 | 2027 1959 | 1 | 1 1206.45/1206.99 c 1206s | 22 | 2288639 | 1955622 | 2027 1962 | 1 | 1 1208.56/1209.06 c 1208s | 22 | 2291864 | 1958422 | 2027 1964 | 1 | 1 1210.55/1211.10 c 1211s | 22 | 2294962 | 1961122 | 2027 1966 | 1 | 1 1212.65/1213.13 c 1213s | 22 | 2298123 | 1963922 | 2027 1969 | 1 | 1 1214.65/1215.19 c 1215s | 22 | 2301436 | 1966722 | 2027 1971 | 1 | 1 1216.75/1217.23 c 1217s | 22 | 2304915 | 1969722 | 2027 1974 | 1 | 1 1218.75/1219.26 c 1219s | 22 | 2307979 | 1972422 | 2027 1976 | 1 | 1 1220.85/1221.32 c 1221s | 22 | 2311137 | 1975122 | 2027 1978 | 1 | 1 1222.86/1223.34 c 1223s | 22 | 2314489 | 1978122 | 2027 1981 | 1 | 1 1224.85/1225.36 c 1225s | 22 | 2318057 | 1981222 | 2027 1983 | 1 | 1 1226.85/1227.38 c 1227s | 22 | 2321321 | 1984122 | 2027 1986 | 1 | 1 1228.95/1229.44 c 1229s | 22 | 2324640 | 1987122 | 2027 1988 | 1 | 1 1230.95/1231.46 c 1231s | 22 | 2327739 | 1989922 | 2027 1990 | 1 | 1 1233.05/1233.55 c 1233s | 22 | 2330909 | 1992622 | 2027 1993 | 1 | 1 1235.15/1235.62 c 1235s | 22 | 2333736 | 1995122 | 2027 1995 | 1 | 1 1237.15/1237.67 c 1237s | 22 | 2337142 | 1998122 | 2027 1997 | 1 | 1 1239.25/1239.70 c 1239s | 22 | 2340453 | 2001022 | 2027 2000 | 1 | 1 1241.24/1241.71 c 1241s | 22 | 2343967 | 2004122 | 2027 2002 | 1 | 1 1243.24/1243.73 c 1243s | 22 | 2347209 | 2006922 | 2027 2005 | 1 | 1 1245.24/1245.75 c 1245s | 22 | 2350832 | 2010022 | 2027 2007 | 1 | 1 1247.24/1247.77 c 1247s | 22 | 2354157 | 2012822 | 2027 2009 | 1 | 1 1249.34/1249.82 c 1249s | 22 | 2357319 | 2015522 | 2027 2012 | 1 | 1 1251.35/1251.84 c 1251s | 22 | 2360586 | 2018322 | 2027 2014 | 1 | 1 1253.34/1253.85 c 1253s | 22 | 2363760 | 2021122 | 2027 2016 | 1 | 1 1255.34/1255.88 c 1255s | 22 | 2367001 | 2023822 | 2027 2019 | 1 | 1 1257.44/1257.94 c 1257s | 22 | 2370446 | 2026722 | 2027 2021 | 1 | 1 1259.44/1259.95 c 1259s | 22 | 2373431 | 2029322 | 2027 2023 | 1 | 1 1261.44/1261.98 c 1261s | 22 | 2376273 | 2031822 | 2027 2025 | 1 | 1 1263.55/1264.03 c 1263s | 22 | 2379448 | 2034622 | 2027 2027 | 1 | 1 1265.54/1266.05 c 1265s | 22 | 2382764 | 2037422 | 2027 2030 | 1 | 1 1267.54/1268.05 c 1267s | 22 | 2385424 | 2039722 | 2027 2032 | 1 | 1 1269.54/1270.09 c 1270s | 22 | 2389091 | 2042922 | 2027 2034 | 1 | 1 1271.64/1272.16 c 1272s | 22 | 2392527 | 2045822 | 2027 2037 | 1 | 1 1273.74/1274.23 c 1274s | 22 | 2395780 | 2048622 | 2027 2039 | 1 | 1 1275.84/1276.30 c 1276s | 22 | 2399193 | 2051522 | 2027 2041 | 1 | 1 1277.84/1278.33 c 1278s | 22 | 2402090 | 2054022 | 2027 2044 | 1 | 1 1279.84/1280.39 c 1280s | 22 | 2405691 | 2057122 | 2027 2046 | 1 | 1 1281.94/1282.40 c 1282s | 22 | 2408943 | 2059922 | 2027 2048 | 1 | 1 1283.93/1284.42 c 1284s | 22 | 2412100 | 2062622 | 2027 2051 | 1 | 1 1285.93/1286.42 c 1286s | 22 | 2415323 | 2065322 | 2027 2053 | 1 | 1 1287.93/1288.49 c 1288s | 22 | 2418464 | 2068022 | 2027 2055 | 1 | 1 1290.03/1290.58 c 1290s | 22 | 2421989 | 2070922 | 2027 2058 | 1 | 1 1292.04/1292.59 c 1292s | 22 | 2425474 | 2073822 | 2027 2060 | 1 | 1 1294.13/1294.63 c 1294s | 22 | 2428826 | 2076622 | 2027 2062 | 1 | 1 1296.13/1296.63 c 1296s | 22 | 2431953 | 2079322 | 2027 2064 | 1 | 1 1298.13/1298.67 c 1298s | 22 | 2434967 | 2081922 | 2027 2067 | 1 | 1 1300.23/1300.71 c 1300s | 22 | 2438063 | 2084522 | 2027 2069 | 1 | 1 1302.23/1302.76 c 1302s | 22 | 2441537 | 2087422 | 2027 2071 | 1 | 1 1304.24/1304.79 c 1304s | 22 | 2444812 | 2090222 | 2027 2073 | 1 | 1 1306.34/1306.86 c 1306s | 22 | 2448148 | 2093022 | 2027 2076 | 1 | 1 1308.33/1308.86 c 1308s | 22 | 2450798 | 2095322 | 2027 2078 | 1 | 1 1310.43/1310.91 c 1310s | 22 | 2454035 | 2098122 | 2027 2080 | 1 | 1 1312.43/1312.94 c 1312s | 22 | 2457227 | 2100922 | 2027 2082 | 1 | 1 1314.43/1314.95 c 1314s | 22 | 2460146 | 2103522 | 2027 2085 | 1 | 1 1316.43/1316.97 c 1316s | 22 | 2463182 | 2106122 | 2027 2087 | 1 | 1 1318.43/1319.00 c 1318s | 22 | 2466340 | 2108922 | 2027 2089 | 1 | 1 1320.53/1321.00 c 1320s | 22 | 2469672 | 2111822 | 2027 2091 | 1 | 1 1322.54/1323.05 c 1322s | 22 | 2472733 | 2114522 | 2027 2094 | 1 | 1 1324.63/1325.11 c 1325s | 22 | 2475947 | 2117322 | 2027 2096 | 1 | 1 1326.63/1327.13 c 1327s | 22 | 2479161 | 2120122 | 2027 2098 | 1 | 1 1328.63/1329.15 c 1329s | 22 | 2482281 | 2122822 | 2027 2100 | 1 | 1 1330.64/1331.19 c 1331s | 22 | 2485478 | 2125522 | 2027 2103 | 1 | 1 1332.74/1333.25 c 1333s | 22 | 2488709 | 2128322 | 2027 2105 | 1 | 1 1334.73/1335.25 c 1335s | 22 | 2492150 | 2131222 | 2027 2107 | 1 | 1 1336.83/1337.32 c 1337s | 22 | 2495429 | 2134022 | 2027 2110 | 1 | 1 1338.83/1339.34 c 1339s | 22 | 2498760 | 2136922 | 2027 2112 | 1 | 1 1340.83/1341.36 c 1341s | 22 | 2501761 | 2139622 | 2027 2114 | 1 | 1 1342.83/1343.38 c 1343s | 22 | 2504556 | 2142022 | 2027 2116 | 1 | 1 1344.84/1345.38 c 1345s | 22 | 2508384 | 2145222 | 2027 2119 | 1 | 1 1346.93/1347.43 c 1347s | 22 | 2511746 | 2148122 | 2027 2121 | 1 | 1 1348.93/1349.48 c 1349s | 22 | 2514736 | 2150722 | 2027 2124 | 1 | 1 1351.03/1351.54 c 1351s | 22 | 2517722 | 2153322 | 2027 2126 | 1 | 1 1353.03/1353.57 c 1353s | 22 | 2520960 | 2156222 | 2027 2128 | 1 | 1 1355.13/1355.65 c 1355s | 22 | 2524131 | 2158922 | 2027 2130 | 1 | 1 1357.23/1357.72 c 1357s | 22 | 2527235 | 2161622 | 2027 2133 | 1 | 1 1359.24/1359.74 c 1359s | 22 | 2530675 | 2164422 | 2027 2135 | 1 | 1 1361.23/1361.77 c 1361s | 22 | 2533508 | 2166822 | 2027 2137 | 1 | 1 1363.23/1363.79 c 1363s | 22 | 2536347 | 2169322 | 2027 2139 | 1 | 1 1365.33/1365.87 c 1365s | 22 | 2539576 | 2172122 | 2027 2141 | 1 | 1 1367.43/1367.98 c 1367s | 22 | 2542706 | 2174822 | 2027 2144 | 1 | 1 1369.53/1370.01 c 1369s | 22 | 2545682 | 2177322 | 2027 2146 | 1 | 1 1371.53/1372.07 c 1371s | 22 | 2548841 | 2180022 | 2027 2148 | 1 | 1 1373.53/1374.09 c 1374s | 22 | 2552117 | 2182822 | 2027 2150 | 1 | 1 1375.63/1376.16 c 1376s | 22 | 2555509 | 2185722 | 2027 2153 | 1 | 1 1377.73/1378.22 c 1378s | 22 | 2559042 | 2188622 | 2027 2155 | 1 | 1 1379.73/1380.24 c 1380s | 22 | 2562301 | 2191422 | 2027 2157 | 1 | 1 1381.82/1382.31 c 1382s | 22 | 2565699 | 2194322 | 2027 2160 | 1 | 1 1383.82/1384.35 c 1384s | 22 | 2569137 | 2197222 | 2027 2162 | 1 | 1 1385.92/1386.40 c 1386s | 22 | 2572428 | 2200022 | 2027 2164 | 1 | 1 1387.92/1388.43 c 1388s | 22 | 2575900 | 2202922 | 2027 2167 | 1 | 1 1389.93/1390.45 c 1390s | 22 | 2579433 | 2205922 | 2027 2169 | 1 | 1 1391.92/1392.47 c 1392s | 22 | 2582752 | 2208722 | 2027 2172 | 1 | 1 1394.02/1394.54 c 1394s | 22 | 2586061 | 2211522 | 2027 2174 | 1 | 1 1396.02/1396.58 c 1396s | 22 | 2589222 | 2214222 | 2027 2176 | 1 | 1 1398.02/1398.58 c 1398s | 22 | 2592366 | 2216822 | 2027 2178 | 1 | 1 1400.12/1400.60 c 1400s | 22 | 2595651 | 2219622 | 2027 2181 | 1 | 1 1402.13/1402.63 c 1402s | 22 | 2598945 | 2222422 | 2027 2183 | 1 | 1 1404.12/1404.69 c 1404s | 22 | 2602034 | 2225022 | 2027 2185 | 1 | 1 1406.22/1406.71 c 1406s | 22 | 2605157 | 2227722 | 2027 2187 | 1 | 1 1408.22/1408.72 c 1408s | 22 | 2608391 | 2230422 | 2027 2190 | 1 | 1 1410.22/1410.80 c 1410s | 22 | 2611931 | 2233322 | 2027 2192 | 1 | 1 1412.32/1412.85 c 1412s | 22 | 2615230 | 2236222 | 2230 2194 | 1 | 1 1414.42/1414.91 c 1414s | 22 | 2618144 | 2238822 | 2230 2196 | 1 | 1 1416.43/1416.94 c 1416s | 22 | 2621102 | 2241422 | 2230 2198 | 1 | 1 1418.42/1418.97 c 1418s | 22 | 2624684 | 2244522 | 2230 2201 | 1 | 1 1420.42/1420.97 c 1420s | 22 | 2628578 | 2247822 | 2230 2203 | 1 | 1 1422.52/1423.00 c 1422s | 22 | 2631865 | 2250622 | 2230 2205 | 1 | 1 1422.82/1423.32 c 1423s | 23 | 2632381 | 2251038 | 2230 2206 | 1 | 1 1424.82/1425.35 c 1425s | 23 | 2636535 | 2254538 | 2230 2208 | 1 | 1 1426.92/1427.40 c 1427s | 23 | 2640253 | 2257938 | 2230 2211 | 1 | 1 1428.92/1429.45 c 1429s | 23 | 2643980 | 2261238 | 2230 2213 | 1 | 1 1430.92/1431.45 c 1431s | 23 | 2647461 | 2264238 | 2230 2216 | 1 | 1 1432.92/1433.47 c 1433s | 23 | 2650708 | 2267038 | 2230 2218 | 1 | 1 1435.02/1435.53 c 1435s | 23 | 2654043 | 2269938 | 2230 2220 | 1 | 1 1437.01/1437.55 c 1437s | 23 | 2657028 | 2272538 | 2230 2222 | 1 | 1 1439.01/1439.57 c 1439s | 23 | 2660224 | 2275338 | 2230 2224 | 1 | 1 1441.01/1441.58 c 1441s | 23 | 2663365 | 2278138 | 2230 2226 | 1 | 1 1443.11/1443.60 c 1443s | 23 | 2667216 | 2281638 | 2230 2229 | 1 | 1 1445.11/1445.64 c 1445s | 23 | 2670899 | 2285038 | 2230 2231 | 1 | 1 1447.12/1447.67 c 1447s | 23 | 2674598 | 2288338 | 2230 2234 | 1 | 1 1449.11/1449.68 c 1449s | 23 | 2678411 | 2291638 | 2230 2236 | 1 | 1 1451.21/1451.72 c 1451s | 23 | 2681960 | 2294838 | 2230 2239 | 1 | 1 1453.21/1453.72 c 1453s | 23 | 2685383 | 2297938 | 2230 2241 | 1 | 1 1455.21/1455.77 c 1455s | 23 | 2688707 | 2300938 | 2230 2243 | 1 | 1 1457.21/1457.78 c 1457s | 23 | 2691893 | 2303838 | 2230 2246 | 1 | 1 1459.31/1459.84 c 1459s | 23 | 2695485 | 2306938 | 2230 2248 | 1 | 1 1461.31/1461.87 c 1461s | 23 | 2698761 | 2309838 | 2230 2250 | 1 | 1 1463.41/1463.93 c 1463s | 23 | 2702244 | 2312838 | 2230 2252 | 1 | 1 1465.41/1465.97 c 1465s | 23 | 2705419 | 2315638 | 2230 2254 | 1 | 1 1467.51/1468.01 c 1467s | 23 | 2708925 | 2318738 | 2230 2257 | 1 | 1 1469.51/1470.02 c 1469s | 23 | 2712035 | 2321538 | 2230 2259 | 1 | 1 1471.51/1472.03 c 1471s | 23 | 2714894 | 2324138 | 2230 2261 | 1 | 1 1473.51/1474.10 c 1474s | 23 | 2717964 | 2326838 | 2230 2263 | 1 | 1 1475.60/1476.16 c 1476s | 23 | 2720845 | 2329438 | 2230 2265 | 1 | 1 1477.60/1478.19 c 1478s | 23 | 2724479 | 2332638 | 2230 2267 | 1 | 1 1479.70/1480.23 c 1480s | 23 | 2727877 | 2335638 | 2230 2270 | 1 | 1 1481.70/1482.26 c 1482s | 23 | 2731461 | 2338638 | 2230 2272 | 1 | 1 1483.80/1484.32 c 1484s | 23 | 2734751 | 2341538 | 2230 2274 | 1 | 1 1485.80/1486.34 c 1486s | 23 | 2738064 | 2344438 | 2230 2276 | 1 | 1 1487.81/1488.37 c 1488s | 23 | 2741070 | 2347138 | 2230 2278 | 1 | 1 1489.90/1490.40 c 1490s | 23 | 2744515 | 2350038 | 2230 2281 | 1 | 1 1491.90/1492.41 c 1492s | 23 | 2747623 | 2352738 | 2230 2283 | 1 | 1 1493.90/1494.44 c 1494s | 23 | 2750950 | 2355738 | 2230 2285 | 1 | 1 1495.90/1496.49 c 1496s | 23 | 2753886 | 2358338 | 2230 2287 | 1 | 1 1498.00/1498.50 c 1498s | 23 | 2757214 | 2361238 | 2230 2289 | 1 | 1 1500.01/1500.55 c 1500s | 23 | 2760621 | 2364238 | 2230 2291 | 1 | 1 1502.00/1502.57 c 1502s | 23 | 2763906 | 2367238 | 2230 2294 | 1 | 1 1504.10/1504.62 c 1504s | 23 | 2767573 | 2370438 | 2230 2296 | 1 | 1 1506.10/1506.65 c 1506s | 23 | 2771339 | 2373638 | 2230 2299 | 1 | 1 1508.10/1508.67 c 1508s | 23 | 2774956 | 2376738 | 2230 2301 | 1 | 1 1510.20/1510.73 c 1510s | 23 | 2778050 | 2379538 | 2230 2303 | 1 | 1 1512.20/1512.79 c 1512s | 23 | 2781101 | 2382238 | 2230 2305 | 1 | 1 1514.31/1514.85 c 1514s | 23 | 2784432 | 2385238 | 2230 2307 | 1 | 1 1516.30/1516.88 c 1516s | 23 | 2787863 | 2388338 | 2230 2310 | 1 | 1 1518.30/1518.88 c 1518s | 23 | 2791076 | 2391238 | 2230 2312 | 1 | 1 1520.30/1520.88 c 1520s | 23 | 2794160 | 2394038 | 2230 2314 | 1 | 1 1522.40/1522.93 c 1522s | 23 | 2797373 | 2396938 | 2230 2316 | 1 | 1 1524.40/1524.96 c 1524s | 23 | 2800886 | 2400038 | 2230 2319 | 1 | 1 1526.50/1527.00 c 1526s | 23 | 2804441 | 2403138 | 2230 2321 | 1 | 1 1528.50/1529.05 c 1528s | 23 | 2807898 | 2406238 | 2230 2324 | 1 | 1 1530.50/1531.09 c 1531s | 23 | 2811017 | 2409038 | 2230 2326 | 1 | 1 1532.50/1533.09 c 1533s | 23 | 2813974 | 2411638 | 2230 2328 | 1 | 1 1534.59/1535.10 c 1535s | 23 | 2817097 | 2414438 | 2230 2330 | 1 | 1 1536.59/1537.13 c 1537s | 23 | 2820127 | 2417138 | 2230 2332 | 1 | 1 1538.59/1539.16 c 1539s | 23 | 2823092 | 2419738 | 2230 2334 | 1 | 1 1540.70/1541.23 c 1541s | 23 | 2826384 | 2422738 | 2230 2336 | 1 | 1 1542.69/1543.27 c 1543s | 23 | 2829508 | 2425638 | 2230 2338 | 1 | 1 1544.79/1545.30 c 1545s | 23 | 2832561 | 2428338 | 2230 2340 | 1 | 1 1546.89/1547.40 c 1547s | 23 | 2835715 | 2431138 | 2230 2343 | 1 | 1 1548.89/1549.41 c 1549s | 23 | 2838938 | 2434038 | 2230 2345 | 1 | 1 1550.89/1551.46 c 1551s | 23 | 2842499 | 2437238 | 2230 2347 | 1 | 1 1552.99/1553.51 c 1553s | 23 | 2846072 | 2440438 | 2230 2350 | 1 | 1 1555.00/1555.55 c 1555s | 23 | 2849444 | 2443438 | 2230 2352 | 1 | 1 1556.99/1557.60 c 1557s | 23 | 2852664 | 2446438 | 2230 2354 | 1 | 1 1559.09/1559.62 c 1559s | 23 | 2855761 | 2449238 | 2230 2356 | 1 | 1 1561.09/1561.62 c 1561s | 23 | 2858945 | 2452138 | 2230 2358 | 1 | 1 1563.09/1563.64 c 1563s | 23 | 2862526 | 2455338 | 2230 2361 | 1 | 1 1565.09/1565.67 c 1565s | 23 | 2865844 | 2458338 | 2230 2363 | 1 | 1 1567.10/1567.67 c 1567s | 23 | 2869537 | 2461538 | 2230 2366 | 1 | 1 1569.09/1569.68 c 1569s | 23 | 2873009 | 2464538 | 2230 2368 | 1 | 1 1571.09/1571.69 c 1571s | 23 | 2876421 | 2467638 | 2230 2370 | 1 | 1 1573.19/1573.71 c 1573s | 23 | 2879602 | 2470538 | 2230 2372 | 1 | 1 1575.20/1575.76 c 1575s | 23 | 2883063 | 2473638 | 2230 2375 | 1 | 1 1577.30/1577.80 c 1577s | 23 | 2886836 | 2476938 | 2230 2377 | 1 | 1 1579.30/1579.86 c 1579s | 23 | 2890066 | 2479838 | 2230 2380 | 1 | 1 1581.30/1581.88 c 1581s | 23 | 2893426 | 2482938 | 2230 2382 | 1 | 1 1583.40/1583.95 c 1583s | 23 | 2896771 | 2485938 | 2230 2384 | 1 | 1 1585.50/1586.00 c 1585s | 23 | 2899887 | 2488738 | 2230 2386 | 1 | 1 1587.49/1588.06 c 1587s | 23 | 2903354 | 2491838 | 2230 2389 | 1 | 1 1589.49/1590.07 c 1589s | 23 | 2906847 | 2495038 | 2230 2391 | 1 | 1 1591.59/1592.12 c 1592s | 23 | 2910228 | 2498138 | 2230 2394 | 1 | 1 1593.59/1594.17 c 1594s | 23 | 2913953 | 2501438 | 2230 2396 | 1 | 1 1595.60/1596.19 c 1596s | 23 | 2917621 | 2504738 | 2230 2399 | 1 | 1 1597.69/1598.22 c 1598s | 23 | 2921303 | 2507938 | 2230 2401 | 1 | 1 1599.69/1600.25 c 1600s | 23 | 2925036 | 2511238 | 2230 2403 | 1 | 1 1601.79/1602.32 c 1602s | 23 | 2928441 | 2514338 | 2230 2406 | 1 | 1 1603.79/1604.35 c 1604s | 23 | 2931374 | 2516938 | 2230 2408 | 1 | 1 1605.79/1606.35 c 1606s | 23 | 2934861 | 2519938 | 2230 2410 | 1 | 1 1607.80/1608.38 c 1608s | 23 | 2938317 | 2522938 | 2230 2412 | 1 | 1 1609.90/1610.44 c 1610s | 23 | 2942056 | 2526238 | 2230 2415 | 1 | 1 1611.89/1612.49 c 1612s | 23 | 2945838 | 2529638 | 2230 2417 | 1 | 1 1613.99/1614.52 c 1614s | 23 | 2949293 | 2532738 | 2230 2420 | 1 | 1 1615.99/1616.54 c 1616s | 23 | 2953501 | 2536338 | 2230 2423 | 1 | 1 1617.99/1618.54 c 1618s | 23 | 2957624 | 2539738 | 2230 2425 | 1 | 1 1619.99/1620.56 c 1620s | 23 | 2961406 | 2542938 | 2230 2428 | 1 | 1 1622.10/1622.61 c 1622s | 23 | 2965213 | 2546338 | 2230 2430 | 1 | 1 1624.09/1624.63 c 1624s | 23 | 2968785 | 2549338 | 2230 2433 | 1 | 1 1626.09/1626.69 c 1626s | 23 | 2972402 | 2552438 | 2230 2435 | 1 | 1 1628.19/1628.70 c 1628s | 23 | 2976185 | 2555538 | 2230 2437 | 1 | 1 1630.19/1630.75 c 1630s | 23 | 2979958 | 2558838 | 2230 2440 | 1 | 1 1632.29/1632.80 c 1632s | 23 | 2983782 | 2562138 | 2230 2442 | 1 | 1 1634.29/1634.84 c 1634s | 23 | 2987849 | 2565538 | 2230 2445 | 1 | 1 1636.29/1636.87 c 1636s | 23 | 2991456 | 2568638 | 2230 2447 | 1 | 1 1638.29/1638.87 c 1638s | 23 | 2995001 | 2571638 | 2230 2450 | 1 | 1 1640.39/1640.91 c 1640s | 23 | 2998619 | 2574738 | 2230 2452 | 1 | 1 1642.39/1642.93 c 1642s | 23 | 3002612 | 2578038 | 2230 2454 | 1 | 1 1644.39/1644.93 c 1644s | 23 | 3006159 | 2580938 | 2230 2457 | 1 | 1 1646.38/1646.97 c 1646s | 23 | 3010050 | 2584238 | 2230 2459 | 1 | 1 1648.39/1648.98 c 1648s | 23 | 3013604 | 2587138 | 2230 2461 | 1 | 1 1650.48/1651.04 c 1650s | 23 | 3016814 | 2589838 | 2230 2463 | 1 | 1 1652.58/1653.14 c 1653s | 23 | 3020048 | 2592638 | 2230 2466 | 1 | 1 1654.68/1655.21 c 1655s | 23 | 3023585 | 2595638 | 2230 2468 | 1 | 1 1656.68/1657.21 c 1657s | 23 | 3026613 | 2598138 | 2230 2470 | 1 | 1 1658.68/1659.24 c 1659s | 23 | 3030335 | 2601338 | 2230 2472 | 1 | 1 1660.78/1661.31 c 1661s | 23 | 3033655 | 2604238 | 2230 2474 | 1 | 1 1662.79/1663.35 c 1663s | 23 | 3036888 | 2607038 | 2230 2477 | 1 | 1 1664.78/1665.35 c 1665s | 23 | 3040055 | 2609738 | 2230 2479 | 1 | 1 1666.78/1667.37 c 1667s | 23 | 3043845 | 2612938 | 2230 2481 | 1 | 1 1668.88/1669.44 c 1669s | 23 | 3047607 | 2616138 | 2230 2484 | 1 | 1 1670.88/1671.45 c 1671s | 23 | 3051067 | 2619138 | 2230 2486 | 1 | 1 1672.98/1673.50 c 1673s | 23 | 3054468 | 2622138 | 2230 2488 | 1 | 1 1674.98/1675.55 c 1675s | 23 | 3057645 | 2624938 | 2230 2490 | 1 | 1 1676.98/1677.57 c 1677s | 23 | 3060660 | 2627538 | 2230 2492 | 1 | 1 1679.08/1679.62 c 1679s | 23 | 3063995 | 2630338 | 2230 2494 | 1 | 1 1681.08/1681.63 c 1681s | 23 | 3067104 | 2633038 | 2230 2496 | 1 | 1 1683.08/1683.65 c 1683s | 23 | 3070092 | 2635738 | 2230 2499 | 1 | 1 1685.08/1685.68 c 1685s | 23 | 3073578 | 2638838 | 2230 2501 | 1 | 1 1687.17/1687.72 c 1687s | 23 | 3077379 | 2642138 | 2230 2503 | 1 | 1 1689.18/1689.72 c 1689s | 23 | 3081213 | 2645438 | 2230 2506 | 1 | 1 1691.28/1691.81 c 1691s | 23 | 3084980 | 2648738 | 2230 2509 | 1 | 1 1693.27/1693.86 c 1693s | 23 | 3088900 | 2652138 | 2230 2511 | 1 | 1 1695.27/1695.88 c 1695s | 23 | 3092670 | 2655438 | 2230 2514 | 1 | 1 1697.37/1697.90 c 1697s | 23 | 3096212 | 2658438 | 2230 2516 | 1 | 1 1699.37/1699.93 c 1699s | 23 | 3099763 | 2661538 | 2230 2518 | 1 | 1 1701.47/1702.00 c 1701s | 23 | 3103203 | 2664538 | 2230 2521 | 1 | 1 1703.48/1704.04 c 1703s | 23 | 3106595 | 2667438 | 2230 2523 | 1 | 1 1705.58/1706.11 c 1706s | 23 | 3110441 | 2670638 | 2230 2525 | 1 | 1 1707.57/1708.11 c 1708s | 23 | 3113853 | 2673438 | 2230 2527 | 1 | 1 1709.57/1710.16 c 1710s | 23 | 3117193 | 2676238 | 2230 2529 | 1 | 1 1711.67/1712.22 c 1712s | 23 | 3120803 | 2679238 | 2230 2532 | 1 | 1 1713.67/1714.24 c 1714s | 23 | 3124686 | 2682538 | 2230 2534 | 1 | 1 1715.67/1716.27 c 1716s | 23 | 3128524 | 2685638 | 2230 2537 | 1 | 1 1717.77/1718.32 c 1718s | 23 | 3132463 | 2689038 | 2230 2539 | 1 | 1 1719.77/1720.37 c 1720s | 23 | 3135832 | 2691938 | 2230 2541 | 1 | 1 1721.87/1722.41 c 1722s | 23 | 3139328 | 2694838 | 2230 2544 | 1 | 1 1723.87/1724.46 c 1724s | 23 | 3142921 | 2697838 | 2230 2546 | 1 | 1 1725.87/1726.48 c 1726s | 23 | 3146346 | 2700738 | 2230 2548 | 1 | 1 1727.87/1728.48 c 1728s | 23 | 3149440 | 2703338 | 2230 2550 | 1 | 1 1729.97/1730.53 c 1730s | 23 | 3153107 | 2706538 | 2230 2553 | 1 | 1 1731.97/1732.58 c 1732s | 23 | 3156819 | 2709538 | 2230 2555 | 1 | 1 1734.07/1734.60 c 1734s | 23 | 3160063 | 2712338 | 2230 2557 | 1 | 1 1736.07/1736.61 c 1736s | 23 | 3163457 | 2715238 | 2230 2559 | 1 | 1 1738.06/1738.65 c 1738s | 23 | 3166886 | 2718238 | 2230 2562 | 1 | 1 1740.06/1740.68 c 1740s | 23 | 3170171 | 2721038 | 2230 2564 | 1 | 1 1742.16/1742.70 c 1742s | 23 | 3173597 | 2724038 | 2230 2566 | 1 | 1 1744.17/1744.76 c 1744s | 23 | 3176365 | 2726538 | 2230 2568 | 1 | 1 1746.16/1746.80 c 1746s | 23 | 3179713 | 2729538 | 2230 2570 | 1 | 1 1748.36/1748.90 c 1748s | 23 | 3183248 | 2732538 | 2230 2573 | 1 | 1 1750.36/1750.91 c 1750s | 23 | 3186750 | 2735538 | 2230 2575 | 1 | 1 1752.36/1752.91 c 1752s | 23 | 3190108 | 2738338 | 2230 2577 | 1 | 1 1754.36/1754.98 c 1754s | 23 | 3193783 | 2741438 | 2230 2579 | 1 | 1 1756.47/1757.02 c 1756s | 23 | 3197469 | 2744638 | 2230 2582 | 1 | 1 1758.48/1759.03 c 1758s | 23 | 3201136 | 2747738 | 2230 2584 | 1 | 1 1760.47/1761.03 c 1760s | 23 | 3204644 | 2750638 | 2230 2586 | 1 | 1 1762.47/1763.05 c 1762s | 23 | 3207917 | 2753438 | 2230 2588 | 1 | 1 1764.47/1765.08 c 1764s | 23 | 3211123 | 2756138 | 2230 2591 | 1 | 1 1766.57/1767.11 c 1767s | 23 | 3214281 | 2758838 | 2230 2593 | 1 | 1 1768.57/1769.12 c 1769s | 23 | 3218154 | 2762138 | 2230 2595 | 1 | 1 1770.57/1771.14 c 1771s | 23 | 3221798 | 2765238 | 2230 2597 | 1 | 1 1772.67/1773.21 c 1773s | 23 | 3225336 | 2768338 | 2230 2600 | 1 | 1 1774.67/1775.25 c 1775s | 23 | 3228738 | 2771238 | 2230 2602 | 1 | 1 1776.76/1777.32 c 1777s | 23 | 3232396 | 2774238 | 2230 2604 | 1 | 1 1778.76/1779.35 c 1779s | 23 | 3235843 | 2777138 | 2230 2607 | 1 | 1 1780.76/1781.38 c 1781s | 23 | 3239256 | 2780138 | 2230 2609 | 1 | 1 1782.76/1783.39 c 1783s | 23 | 3242616 | 2782938 | 2230 2611 | 1 | 1 1784.87/1785.47 c 1785s | 23 | 3245865 | 2785738 | 2230 2613 | 1 | 1 1786.86/1787.48 c 1787s | 23 | 3248723 | 2788138 | 2230 2615 | 1 | 1 1788.96/1789.53 c 1789s | 23 | 3251473 | 2790538 | 2230 2617 | 1 | 1 1790.96/1791.53 c 1791s | 23 | 3254290 | 2792938 | 2230 2619 | 1 | 1 1792.96/1793.56 c 1793s | 23 | 3257664 | 2795838 | 2230 2621 | 1 | 1 1795.06/1795.60 c 1795s | 23 | 3261090 | 2798738 | 2230 2623 | 1 | 1 1797.06/1797.62 c 1797s | 23 | 3264369 | 2801538 | 2230 2625 | 1 | 1 1799.07/1799.66 c 1799s | 23 | 3267551 | 2804338 | 2230 2627 | 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-4101961-1466228189/watcher-4101961-1466228189 -o /tmp/evaluation-result-4101961-1466228189/solver-4101961-1466228189 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101961-1466228189.opb pid=13968 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.07 2.01 3/179 13971 /proc/meminfo: memFree=30553284/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=709052 CPUtime=0 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 2639 0 0 0 0 0 0 0 20 0 4 0 24869347 726069248 3000 33554432000 4194304 16246674 140736167878896 140736167878320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 177775 3010 441 2943 0 174669 0 [pid=13971/tid=13972] ppid=13968 vsize=726460 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 743895040 3071 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=730556 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 748089344 3087 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=735676 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24869348 753332224 3105 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100125 s] /proc/loadavg: 2.10 2.07 2.01 3/179 13971 /proc/meminfo: memFree=30553284/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 24046 0 0 0 6 3 0 0 20 0 4 0 24869347 1247350784 24394 33554432000 4194304 16246674 140736167878896 140736167878320 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 304529 24406 783 2943 0 301423 0 [pid=13971/tid=13972] ppid=13968 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1247350784 24416 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1247350784 24425 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24869348 1247350784 24429 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200454 s] /proc/loadavg: 2.10 2.07 2.01 3/179 13971 /proc/meminfo: memFree=30553284/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 47455 0 0 0 13 6 0 0 20 0 4 0 24869347 1247350784 47802 33554432000 4194304 16246674 140736167878896 140736167878320 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 304529 47808 784 2943 0 301423 0 [pid=13971/tid=13972] ppid=13968 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1247350784 47812 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1247350784 47820 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24869348 1247350784 47829 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300418 s] /proc/loadavg: 2.10 2.07 2.01 3/179 13971 /proc/meminfo: memFree=30553284/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 71895 0 0 0 19 10 0 0 20 0 4 0 24869347 1247350784 72243 33554432000 4194304 16246674 140736167878896 140736167860800 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 304529 72249 784 2943 0 301423 0 [pid=13971/tid=13972] ppid=13968 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1247350784 72251 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1247350784 72257 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24869348 1247350784 72264 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700334 s] /proc/loadavg: 2.10 2.07 2.01 3/179 13971 /proc/meminfo: memFree=30553284/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 165242 0 0 0 46 23 0 0 20 0 4 0 24869347 1247350784 165589 33554432000 4194304 16246674 140736167878896 140736167860800 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 304529 165602 784 2943 0 301423 0 [pid=13971/tid=13972] ppid=13968 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1247350784 165613 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1247350784 165626 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24869348 1247350784 165634 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50035 s] /proc/loadavg: 2.10 2.07 2.01 3/183 13975 /proc/meminfo: memFree=29568016/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 246272 0 0 0 117 32 0 0 20 0 4 0 24869347 1250496512 246597 33554432000 4194304 16246674 140736167878896 140736167860800 12874961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 305297 246597 846 2943 0 302191 0 [pid=13971/tid=13972] ppid=13968 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1250496512 246597 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1250496512 246597 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1250496512 246597 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10041 s] /proc/loadavg: 2.09 2.07 2.01 3/183 13975 /proc/meminfo: memFree=29485796/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1308228 CPUtime=3.09 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 267912 0 0 0 274 35 0 0 20 0 4 0 24869347 1339625472 268237 33554432000 4194304 16246674 140736167878896 140736167861896 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 327057 268237 848 2943 0 323951 0 [pid=13971/tid=13972] ppid=13968 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1339625472 268237 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1339625472 268237 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1339625472 268237 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30039 s] /proc/loadavg: 2.09 2.07 2.01 3/183 13975 /proc/meminfo: memFree=29480168/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1308228 CPUtime=6.29 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 268150 0 0 0 594 35 0 0 20 0 4 0 24869347 1339625472 268475 33554432000 4194304 16246674 140736167878896 140736167860800 12415777 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 327057 268475 848 2943 0 323951 0 [pid=13971/tid=13972] ppid=13968 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1339625472 268475 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1339625472 268475 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1339625472 268475 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7003 s] /proc/loadavg: 2.08 2.07 2.01 3/183 13975 /proc/meminfo: memFree=29479712/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1308228 CPUtime=12.68 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 268150 0 0 0 1233 35 0 0 20 0 4 0 24869347 1339625472 268475 33554432000 4194304 16246674 140736167878896 140736167860800 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 327057 268475 848 2943 0 323951 0 [pid=13971/tid=13972] ppid=13968 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1339625472 268475 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1339625472 268475 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1339625472 268475 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.06 2.07 2.01 3/183 13975 /proc/meminfo: memFree=29480832/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1308228 CPUtime=25.49 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 268150 0 0 0 2513 36 0 0 20 0 4 0 24869347 1339625472 268475 33554432000 4194304 16246674 140736167878896 140736167860800 5516116 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 327057 268475 848 2943 0 323951 0 [pid=13971/tid=13972] ppid=13968 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1339625472 268475 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1339625472 268475 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1339625472 268475 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.04 2.06 2.01 3/183 13975 /proc/meminfo: memFree=29480304/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1309252 CPUtime=51.08 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 268279 0 0 0 5072 36 0 0 20 0 4 0 24869347 1340674048 268604 33554432000 4194304 16246674 140736167878896 140736167860800 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 327313 268604 848 2943 0 324207 0 [pid=13971/tid=13972] ppid=13968 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1340674048 268604 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1340674048 268604 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1340674048 268604 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1309252 [startup+102.3 s] /proc/loadavg: 2.01 2.05 2.00 3/183 13977 /proc/meminfo: memFree=29480108/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1309252 CPUtime=102.28 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 268279 0 0 0 10192 36 0 0 20 0 4 0 24869347 1340674048 268604 33554432000 4194304 16246674 140736167878896 140736167860800 12875044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 327313 268604 848 2943 0 324207 0 [pid=13971/tid=13972] ppid=13968 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1340674048 268604 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1340674048 268604 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1340674048 268604 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270034 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1315396 [startup+1302.3 s] /proc/loadavg: 2.07 2.06 2.01 3/183 14006 /proc/meminfo: memFree=29454568/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1315396 CPUtime=1301.83 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 270154 0 0 0 130138 45 0 0 20 0 4 0 24869347 1346965504 270034 33554432000 4194304 16246674 140736167878896 140736167860800 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 328849 270034 850 2943 0 325743 0 [pid=13971/tid=13972] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270034 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270034 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270034 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1315396 [startup+1362.3 s] /proc/loadavg: 2.02 2.05 2.00 3/183 14008 /proc/meminfo: memFree=29453824/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1315396 CPUtime=1361.83 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 270392 0 0 0 136137 46 0 0 20 0 4 0 24869347 1346965504 270272 33554432000 4194304 16246674 140736167878896 140736167860800 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 328849 270272 850 2943 0 325743 0 [pid=13971/tid=13972] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1315396 [startup+1422.3 s] /proc/loadavg: 2.04 2.05 2.00 3/184 14012 /proc/meminfo: memFree=29453332/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1315396 CPUtime=1421.82 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 270392 0 0 0 142136 46 0 0 20 0 4 0 24869347 1346965504 270272 33554432000 4194304 16246674 140736167878896 140736167860800 5861548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 328849 270272 850 2943 0 325743 0 [pid=13971/tid=13972] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1315396 [startup+1482.3 s] /proc/loadavg: 2.13 2.06 2.01 3/184 14328 /proc/meminfo: memFree=29466836/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1315396 CPUtime=1481.8 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 270392 0 0 0 148134 46 0 0 20 0 4 0 24869347 1346965504 270272 33554432000 4194304 16246674 140736167878896 140736167860800 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 328849 270272 850 2943 0 325743 0 [pid=13971/tid=13972] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1315396 [startup+1542.31 s] /proc/loadavg: 2.05 2.05 2.00 3/183 14329 /proc/meminfo: memFree=29465408/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1315396 CPUtime=1541.8 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 270392 0 0 0 154134 46 0 0 20 0 4 0 24869347 1346965504 270272 33554432000 4194304 16246674 140736167878896 140736167860800 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 328849 270272 850 2943 0 325743 0 [pid=13971/tid=13972] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1315396 [startup+1602.3 s] /proc/loadavg: 2.08 2.05 2.00 3/183 14330 /proc/meminfo: memFree=29462684/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1315396 CPUtime=1601.79 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 270392 0 0 0 160132 47 0 0 20 0 4 0 24869347 1346965504 270272 33554432000 4194304 16246674 140736167878896 140736167860800 12466584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 328849 270272 850 2943 0 325743 0 [pid=13971/tid=13972] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1315396 [startup+1662.3 s] /proc/loadavg: 2.10 2.06 2.00 3/183 14332 /proc/meminfo: memFree=29462308/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1315396 CPUtime=1661.78 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 270392 0 0 0 166131 47 0 0 20 0 4 0 24869347 1346965504 270272 33554432000 4194304 16246674 140736167878896 140736167860800 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 328849 270272 850 2943 0 325743 0 [pid=13971/tid=13972] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1315396 [startup+1722.3 s] /proc/loadavg: 2.11 2.06 2.00 3/183 14333 /proc/meminfo: memFree=29462312/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1315396 CPUtime=1721.77 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 270392 0 0 0 172130 47 0 0 20 0 4 0 24869347 1346965504 270272 33554432000 4194304 16246674 140736167878896 140736167860800 5546023 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 328849 270272 850 2943 0 325743 0 [pid=13971/tid=13972] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1315396 [startup+1782.3 s] /proc/loadavg: 2.04 2.05 2.00 3/183 14334 /proc/meminfo: memFree=29462308/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1315396 CPUtime=1781.76 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 270392 0 0 0 178128 48 0 0 20 0 4 0 24869347 1346965504 270272 33554432000 4194304 16246674 140736167878896 140736167860800 5546224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 328849 270272 850 2943 0 325743 0 [pid=13971/tid=13972] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1315396 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.03 2.04 2.00 4/183 14335 /proc/meminfo: memFree=29458944/32872528 swapFree=249320/249320 [pid=13971] ppid=13968 vsize=1315396 CPUtime=1800.06 cores=1,3,5,7 /proc/13971/stat : 13971 (toysat) R 13968 13971 11324 0 -1 4202496 270392 0 0 0 179958 48 0 0 20 0 4 0 24869347 1346965504 270272 33554432000 4194304 16246674 140736167878896 140736167860800 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13971/statm: 328849 270272 850 2943 0 325743 0 [pid=13971/tid=13972] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13972/stat : 13972 (toysat) S 13968 13971 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741630541040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13971/tid=13973] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13973/stat : 13973 (toysat) S 13968 13971 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741620051184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13971/tid=13974] ppid=13968 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13971/task/13974/stat : 13974 (toysat) S 13968 13971 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24869348 1346965504 270272 33554432000 4194304 16246674 140736167878896 139741609577648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1315396 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 13971 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.07 CPU user time (s): 1799.59 CPU system time (s): 0.481926 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 1315396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.481926 maximum resident set size= 1081088 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270392 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= 461 involuntary context switches= 1959 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.78827 second user time and 6.99094 second system time The end
Begin job on node103 at 2016-06-18 07:36:29 IDJOB=4101961 IDBENCH=1826 IDSOLVER=2542 FILE ID=node103/4101961-1466228189 RUNJOBID= node103-1466206104-11341 PBS_JOBID= 19918169 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101961-1466228189/watcher-4101961-1466228189 -o /tmp/evaluation-result-4101961-1466228189/solver-4101961-1466228189 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101961-1466228189.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 08913f3dd730f4c3a659694fd4c06001 RANDOM SEED=1947423021 node103.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 : 2667.278 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 : 5334.55 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 : 2667.278 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 : 2667.278 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 : 2667.278 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 : 2667.278 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 : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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 : 2667.278 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: 30553804 kB Buffers: 114384 kB Cached: 123900 kB SwapCached: 2200 kB Active: 1175752 kB Inactive: 154436 kB Active(anon): 1090576 kB Inactive(anon): 3600 kB Active(file): 85176 kB Inactive(file): 150836 kB Unevictable: 249320 kB Mlocked: 249320 kB SwapTotal: 67108856 kB SwapFree: 67099436 kB Dirty: 16336 kB Writeback: 0 kB AnonPages: 1282240 kB Mapped: 10724 kB Shmem: 0 kB Slab: 601236 kB SReclaimable: 45316 kB SUnreclaim: 555920 kB KernelStack: 1520 kB PageTables: 6836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1484388 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 421888 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= 71700 MiB End job on node103 at 2016-06-18 08:06:30