| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=43-P1=131-P2=257-P3=71-P4=149-P5=223-P6=167-B.opb |
| MD5SUM | 29d9c644cbc560d09c0ca2d5a8d36791 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.109982 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 144 |
| Total number of constraints | 13 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 13 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 384 |
| Sum of products size (including duplicates) | 768 |
| Number of different products | 384 |
| Sum of products size | 768 |
0.00/0.00 c 2016-06-18T18:04:56+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-4106118-1466265896.opb"] 0.00/0.01 c use --random-gen="1871320448 806151282 1594345241 963472068 111977667 2637109232 3369886851 3506671307 1391704522 2776933013 749491632 2427397050 1597344713 2478808269 2002834322 2813710764 1598336211 3626316404 2986516861 2129109248 922191745 3778234044 354347033 4065897613 2176308623 1623229813 15905477 560020756 4200062351 128954981 4137878131 3662967022 565851393 3885658511 832641907 63191835 3092834251 2930721553 2236686965 320506770 215913460 2943311547 4265652542 2531928110 2944100687 2489662201 3215892568 3835328492 3382812544 1803710864 3785714472 3938212702 242244426 2639931145 1248509894 2191479953 1658226923 1815723242 3764907641 3472290072 157323692 3623144540 2703630381 1559782822 425963325 3998241209 636739379 3412711001 842186757 3948711868 1105223538 1307818420 222828618 1051230588 776970220 1008319602 1865852025 2482165243 2396065311 3943486904 2080314954 4204516083 3787527344 2585180061 2557547706 2035161752 385739146 3393241096 1898193397 1547265921 1100883914 3715109316 3356633601 2047536273 857858570 849737054 200912383 3162896248 4147159932 2886791471 361003681 629446047 3603451848 1734015731 4099130804 2035029027 3372364643 3447434987 2355209349 831593224 2927652554 2259804355 787268938 3873498031 4127531986 2799705604 1471337151 693366705 3579406243 547545288 3466663947 4118246645 862309107 1380801341 239357644 379739931 507830277 2195664613 577680812 1443196494 2499771644 4267269489 3766932516 1047834962 3663364941 1428436833 1523927043 4041542604 2575224858 3980816437 3344001735 3385299189 1184810885 3992678420 2206662745 3060171290 2740756984 349609701 1871520322 3426051878 361591092 1476361778 1795567006 2353733615 3743698118 1367926748 3417858981 4192412978 3663876632 1946628735 3405984336 3355538791 2906940871 2116095707 1613836506 2647395170 115102394 3132909604 3466232390 2708242363 1557445701 1337475544 1612118070 1138301541 2784438757 1368097993 1171101095 756705437 847288714 2428513655 3500432397 2411621951 264216381 520779829 3346613676 804427371 107793707 2235068412 4069101180 2101643498 715424458 996772140 944411631 4207475797 2538128043 3468194651 3657137020 1356994359 3255757679 439614388 2352817701 1112655441 503218044 2749899055 3520822789 3854169691 445673957 379394634 2785658451 4086005396 310194528 669713891 1880125277 367926207 2082901775 4188117361 3191263004 87863156 2411850259 4292586944 3705677630 134317761 866671705 904507580 850022744 4210100388 2627861044 1657951970 398695617 981177998 2660969157 4279926339 2592535770 3698725187 1517880594 1197424578 519897326 2448684205 2008581234 318770116 2153966450 2833302403 2687916304 1229963246 3317496646 462550672 2995131133 188183841 1605774193 3345256320 3856612396 3378516351 3218047563 334433823 497184486 2455077302 255 362436" option to reproduce the execution 0.00/0.02 c #vars 144 0.00/0.02 c #constraints 13 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 566 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 137 | 100 | 566 0 | 0 | 0 0.00/0.09 c 0.1s | 2 | 353 | 250 | 623 0 | 0 | 0 0.18/0.22 c 0.2s | 3 | 680 | 475 | 686 0 | 0 | 0 0.29/0.35 c 0.3s | 4 | 1153 | 813 | 755 0 | 0 | 0 0.48/0.55 c 0.5s | 5 | 1783 | 1320 | 831 1 | 0 | 0 0.69/0.75 c 0.7s | 6 | 2760 | 2081 | 1007 2 | 0 | 0 1.09/1.20 c 1.2s | 7 | 4091 | 3223 | 1108 4 | 0 | 0 1.49/1.57 c 1.5s | 8 | 5940 | 4936 | 1219 7 | 0 | 0 1.69/1.74 c 1.7s | 8 | 6957 | 5794 | 1219 8 | 0 | 0 1.69/1.74 c #cpu_time = 1.716s 1.69/1.74 c #wall_clock_time = 1.716s 1.69/1.74 c #decision = 6957 1.69/1.74 c #random_decision = 31 1.69/1.74 c #conflict = 5794 1.69/1.74 c #restart = 8 1.69/1.74 o 251 1.69/1.74 c BCD2: updating upper bound: 255 -> 250 1.69/1.74 c BCD2: 0 <= obj <= 250 1.69/1.74 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0 1.69/1.74 c BCD2: #sat=1 #unsat=1 bias=1/2 1.69/1.74 c Solving starts ... 1.69/1.74 c ============================[ Search Statistics ]============================ 1.69/1.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.74 c | | | | Limit GC | Var | Constra 1.69/1.74 c ============================================================================= 1.69/1.74 c 0.0s | 0 | 0 | 0 | 1219 0 | 0 | 0 1.69/1.75 c 0.0s | 0 | 6 | 0 | 1219 0 | 0 | 0 1.69/1.75 c #cpu_time = 0.003s 1.69/1.75 c #wall_clock_time = 0.003s 1.69/1.75 c #decision = 6 1.69/1.75 c #random_decision = 0 1.69/1.75 c #conflict = 0 1.69/1.75 c #restart = 0 1.69/1.75 c BCD2: found a new core of size 7: cost of the new core is >=2 1.69/1.75 c lower bound updated to 2 1.69/1.75 c BCD2: 2 <= obj <= 250 1.69/1.75 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0 1.69/1.75 c BCD2: #sat=1 #unsat=2 bias=2/3 1.69/1.75 c Solving starts ... 1.69/1.75 c ============================[ Search Statistics ]============================ 1.69/1.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.75 c | | | | Limit GC | Var | Constra 1.69/1.75 c ============================================================================= 1.69/1.75 c 0.0s | 0 | 0 | 0 | 1219 0 | 0 | 0 1.69/1.76 c 0.0s | 1 | 151 | 100 | 1219 0 | 0 | 0 1.79/1.85 c 0.1s | 2 | 369 | 250 | 1219 0 | 0 | 0 1.89/1.94 c 0.2s | 3 | 699 | 475 | 1219 1 | 0 | 0 1.89/2.00 c 0.2s | 4 | 1210 | 813 | 1219 1 | 0 | 0 2.09/2.15 c 0.4s | 5 | 1857 | 1320 | 1219 2 | 0 | 0 2.29/2.37 c 0.6s | 6 | 2774 | 2081 | 1341 2 | 0 | 0 2.58/2.69 c 0.9s | 7 | 4105 | 3223 | 1341 4 | 0 | 0 2.99/3.06 c 1.3s | 8 | 6033 | 4936 | 1341 6 | 0 | 0 3.69/3.75 c 2.0s | 9 | 8900 | 7506 | 1476 9 | 0 | 0 4.49/4.50 c 2.8s | 10 | 12980 | 11361 | 1624 13 | 0 | 0 6.39/6.41 c 4.7s | 11 | 19219 | 17144 | 1624 18 | 0 | 0 8.38/8.43 c 6.7s | 11 | 27804 | 25144 | 1787 26 | 0 | 0 8.58/8.63 c 6.9s | 12 | 28514 | 25819 | 1787 27 | 0 | 0 10.58/10.64 c 8.9s | 12 | 37256 | 34019 | 1966 35 | 0 | 0 11.88/11.90 c 10.2s | 13 | 42339 | 38832 | 1966 39 | 0 | 0 13.88/13.92 c 12.2s | 13 | 51367 | 47232 | 1966 46 | 0 | 0 15.88/15.95 c 14.2s | 13 | 59844 | 55232 | 2163 52 | 0 | 0 16.78/16.86 c 15.1s | 14 | 63248 | 58352 | 2163 55 | 0 | 0 18.79/18.87 c 17.1s | 14 | 69003 | 63952 | 2163 59 | 0 | 0 20.78/20.88 c 19.1s | 14 | 74658 | 69552 | 2163 63 | 0 | 0 22.78/22.88 c 21.1s | 14 | 80910 | 75752 | 2163 68 | 0 | 0 24.88/24.91 c 23.2s | 14 | 87162 | 81952 | 2380 73 | 0 | 0 26.88/26.92 c 25.2s | 14 | 92020 | 86352 | 2380 76 | 0 | 0 27.49/27.57 c 25.8s | 15 | 93395 | 87632 | 2380 77 | 0 | 0 29.48/29.58 c 27.8s | 15 | 102659 | 96532 | 2380 84 | 0 | 0 31.48/31.58 c 29.8s | 15 | 112156 | 105632 | 2380 92 | 0 | 0 33.58/33.60 c 31.9s | 15 | 121813 | 114932 | 2380 99 | 0 | 0 35.58/35.62 c 33.9s | 15 | 131222 | 123832 | 2380 106 | 0 | 0 37.39/37.45 c 35.7s | 16 | 139332 | 131552 | 2618 112 | 0 | 0 39.38/39.45 c 37.7s | 16 | 146890 | 137952 | 2618 116 | 0 | 0 41.38/41.47 c 39.7s | 16 | 154333 | 144852 | 2618 121 | 0 | 0 43.38/43.49 c 41.7s | 16 | 161997 | 151852 | 2618 125 | 0 | 0 45.48/45.51 c 43.8s | 16 | 168722 | 158152 | 2618 129 | 0 | 0 47.48/47.52 c 45.8s | 16 | 174601 | 163652 | 2618 133 | 0 | 0 49.48/49.54 c 47.8s | 16 | 181932 | 170452 | 2618 138 | 0 | 0 51.48/51.56 c 49.8s | 16 | 188724 | 176752 | 2618 142 | 0 | 0 53.47/53.58 c 51.8s | 16 | 195713 | 183252 | 2618 146 | 0 | 0 55.57/55.61 c 53.9s | 16 | 202482 | 189452 | 2618 151 | 0 | 0 57.57/57.61 c 55.9s | 16 | 208079 | 194652 | 2880 154 | 0 | 0 58.57/58.62 c 56.9s | 17 | 211053 | 197432 | 2880 155 | 0 | 0 60.58/60.63 c 58.9s | 17 | 219001 | 205132 | 2880 160 | 0 | 0 62.57/62.64 c 60.9s | 17 | 226263 | 212132 | 2880 165 | 0 | 0 64.57/64.67 c 62.9s | 17 | 233581 | 219332 | 2880 169 | 0 | 0 66.57/66.68 c 64.9s | 17 | 241150 | 226632 | 2880 174 | 0 | 0 68.67/68.73 c 67.0s | 17 | 247645 | 232932 | 2880 178 | 0 | 0 70.67/70.75 c 69.0s | 17 | 253630 | 238332 | 2880 181 | 0 | 0 72.68/72.77 c 71.0s | 17 | 259598 | 243432 | 2880 184 | 0 | 0 74.67/74.80 c 73.0s | 17 | 265370 | 248332 | 2880 187 | 0 | 0 76.77/76.81 c 75.1s | 17 | 271180 | 253432 | 2880 191 | 0 | 0 78.77/78.82 c 77.1s | 17 | 277402 | 259232 | 2880 194 | 0 | 0 80.77/80.82 c 79.1s | 17 | 283440 | 264732 | 2880 197 | 0 | 0 82.77/82.84 c 81.1s | 17 | 289731 | 270532 | 2880 201 | 0 | 0 84.78/84.84 c 83.1s | 17 | 296900 | 277532 | 2880 205 | 0 | 0 86.77/86.88 c 85.1s | 17 | 303561 | 284032 | 2880 209 | 0 | 0 88.77/88.88 c 87.1s | 17 | 309636 | 289932 | 3169 213 | 0 | 0 90.77/90.88 c 89.1s | 18 | 316326 | 296252 | 3169 216 | 0 | 0 92.77/92.89 c 91.1s | 18 | 325106 | 304852 | 3169 222 | 0 | 0 94.77/94.90 c 93.1s | 18 | 334138 | 313552 | 3169 226 | 1 | 8 96.87/96.92 c 95.2s | 18 | 342542 | 321752 | 3169 231 | 1 | 8 98.87/98.93 c 97.2s | 18 | 350010 | 328952 | 3169 235 | 1 | 8 100.87/100.95 c 99.2s | 18 | 357638 | 336352 | 3169 239 | 1 | 8 102.87/102.98 c 101s | 18 | 364498 | 343152 | 3169 243 | 1 | 8 104.97/105.01 c 103s | 18 | 370845 | 349452 | 3169 247 | 1 | 8 106.97/107.08 c 105s | 18 | 377522 | 356052 | 3169 251 | 1 | 8 108.98/109.08 c 107s | 18 | 384594 | 362952 | 3169 254 | 1 | 8 110.97/111.10 c 109s | 18 | 391956 | 370152 | 3169 258 | 1 | 8 113.07/113.13 c 111s | 18 | 399004 | 376952 | 3169 262 | 1 | 8 115.07/115.14 c 113s | 18 | 406095 | 383752 | 3169 266 | 1 | 8 117.07/117.14 c 115s | 18 | 413757 | 391152 | 3169 270 | 1 | 8 119.07/119.17 c 117s | 18 | 421148 | 398452 | 3169 275 | 1 | 8 121.07/121.19 c 119s | 18 | 429073 | 406252 | 3169 279 | 1 | 8 123.07/123.20 c 121s | 18 | 437203 | 414152 | 3169 283 | 1 | 8 125.17/125.21 c 123s | 18 | 445138 | 421952 | 3169 288 | 1 | 8 127.16/127.24 c 125s | 18 | 453204 | 429852 | 3169 292 | 1 | 8 129.16/129.25 c 127s | 18 | 461155 | 437652 | 3486 296 | 1 | 8 131.16/131.20 c 129s | 19 | 468159 | 444482 | 3486 300 | 1 | 8 133.17/133.21 c 131s | 19 | 476558 | 452682 | 3486 305 | 1 | 8 135.16/135.26 c 133s | 19 | 482786 | 458382 | 3486 307 | 1 | 8 137.16/137.26 c 135s | 19 | 486906 | 461982 | 3486 309 | 1 | 8 139.16/139.27 c 137s | 19 | 491135 | 465582 | 3486 311 | 1 | 8 141.26/141.31 c 139s | 19 | 496069 | 470082 | 3486 314 | 1 | 8 143.26/143.37 c 141s | 19 | 501242 | 474382 | 3486 316 | 1 | 8 145.36/145.40 c 143s | 19 | 506276 | 478782 | 3486 318 | 1 | 8 147.37/147.41 c 145s | 19 | 510828 | 483082 | 3486 320 | 1 | 8 149.36/149.43 c 147s | 19 | 516936 | 489082 | 3486 323 | 1 | 8 151.36/151.44 c 149s | 19 | 522941 | 494982 | 3486 326 | 1 | 8 153.36/153.47 c 151s | 19 | 529077 | 500982 | 3486 330 | 1 | 8 155.46/155.50 c 153s | 19 | 533551 | 504982 | 3486 332 | 1 | 8 157.47/157.53 c 155s | 19 | 538151 | 509082 | 3486 334 | 1 | 8 159.47/159.57 c 157s | 19 | 543056 | 513682 | 3486 336 | 1 | 8 161.56/161.63 c 159s | 19 | 548337 | 518182 | 3486 338 | 1 | 8 163.56/163.63 c 161s | 19 | 553117 | 522382 | 3486 341 | 1 | 8 165.56/165.64 c 163s | 19 | 557170 | 525782 | 3486 342 | 1 | 8 167.56/167.67 c 165s | 19 | 561436 | 529482 | 3486 344 | 1 | 8 169.66/169.75 c 168s | 19 | 565809 | 532982 | 3486 346 | 1 | 8 171.67/171.75 c 170s | 19 | 570866 | 537982 | 3486 349 | 1 | 8 173.66/173.77 c 172s | 19 | 576035 | 542882 | 3486 351 | 1 | 8 175.76/175.86 c 174s | 19 | 581448 | 548082 | 3486 354 | 1 | 8 177.76/177.89 c 176s | 19 | 586134 | 551882 | 3486 356 | 1 | 8 179.86/179.91 c 178s | 19 | 591353 | 556782 | 3486 358 | 1 | 8 181.86/181.92 c 180s | 19 | 595471 | 560382 | 3486 360 | 1 | 8 183.86/183.93 c 182s | 19 | 600991 | 565282 | 3486 363 | 1 | 8 185.86/186.00 c 184s | 19 | 605357 | 568782 | 3486 365 | 1 | 8 187.96/188.03 c 186s | 19 | 610349 | 573182 | 3486 367 | 1 | 8 189.96/190.07 c 188s | 19 | 615200 | 577782 | 3486 369 | 1 | 8 191.95/192.08 c 190s | 19 | 619568 | 581282 | 3486 371 | 1 | 8 194.05/194.13 c 192s | 19 | 625233 | 585682 | 3486 373 | 1 | 8 196.05/196.14 c 194s | 19 | 630842 | 590682 | 3486 376 | 1 | 8 198.06/198.16 c 196s | 19 | 636385 | 595182 | 3486 378 | 1 | 8 200.05/200.17 c 198s | 19 | 641239 | 599282 | 3486 381 | 1 | 8 202.15/202.22 c 200s | 19 | 646827 | 604282 | 3486 383 | 1 | 8 204.15/204.23 c 202s | 19 | 652230 | 609482 | 3486 386 | 1 | 8 206.15/206.23 c 204s | 19 | 658420 | 615382 | 3486 389 | 1 | 8 208.15/208.24 c 206s | 19 | 663605 | 619882 | 3486 391 | 1 | 8 210.16/210.25 c 208s | 19 | 670055 | 625782 | 3486 394 | 1 | 8 212.15/212.27 c 210s | 19 | 675498 | 630882 | 3486 397 | 1 | 8 214.15/214.27 c 212s | 19 | 681595 | 635882 | 3486 400 | 1 | 8 216.25/216.30 c 214s | 19 | 687157 | 641182 | 3486 402 | 1 | 8 218.25/218.35 c 216s | 19 | 693486 | 647282 | 3486 406 | 1 | 8 220.25/220.37 c 218s | 19 | 699409 | 652382 | 3486 408 | 1 | 8 222.25/222.38 c 220s | 19 | 705383 | 657482 | 3835 411 | 1 | 8 224.35/224.42 c 222s | 19 | 711164 | 663082 | 3835 413 | 1 | 8 226.05/226.18 c 224s | 20 | 715910 | 666827 | 3835 415 | 1 | 8 228.05/228.19 c 226s | 20 | 723518 | 673927 | 3835 418 | 1 | 8 230.15/230.22 c 228s | 20 | 730542 | 680527 | 3835 422 | 1 | 8 232.16/232.23 c 230s | 20 | 737966 | 687427 | 3835 425 | 1 | 8 234.15/234.24 c 232s | 20 | 745211 | 694227 | 3835 428 | 1 | 8 236.15/236.26 c 234s | 20 | 752054 | 700727 | 3835 431 | 1 | 8 238.15/238.27 c 236s | 20 | 758913 | 707227 | 3835 434 | 1 | 8 240.15/240.28 c 238s | 20 | 765589 | 713627 | 3835 437 | 1 | 8 242.15/242.29 c 240s | 20 | 772075 | 719727 | 3835 440 | 1 | 8 244.25/244.30 c 242s | 20 | 779164 | 726527 | 3835 443 | 1 | 8 246.25/246.31 c 244s | 20 | 786190 | 733227 | 3835 446 | 1 | 8 248.25/248.32 c 246s | 20 | 792891 | 739727 | 3835 449 | 1 | 8 250.25/250.35 c 248s | 20 | 799795 | 746127 | 3835 452 | 1 | 8 252.24/252.37 c 250s | 20 | 806582 | 752627 | 3835 455 | 1 | 8 254.25/254.39 c 252s | 20 | 813325 | 758927 | 3835 458 | 1 | 8 256.25/256.39 c 254s | 20 | 820074 | 765327 | 3835 461 | 1 | 8 258.34/258.40 c 256s | 20 | 826647 | 771527 | 3835 464 | 1 | 8 260.34/260.44 c 258s | 20 | 833391 | 777827 | 3835 467 | 1 | 8 262.34/262.44 c 260s | 20 | 840328 | 784127 | 3835 470 | 1 | 8 264.34/264.46 c 262s | 20 | 846973 | 790427 | 3835 473 | 1 | 8 266.34/266.46 c 264s | 20 | 853389 | 796327 | 3835 476 | 1 | 8 268.35/268.46 c 266s | 20 | 860258 | 803027 | 3835 479 | 1 | 8 270.34/270.49 c 268s | 20 | 867532 | 810027 | 3835 482 | 1 | 8 272.44/272.51 c 270s | 20 | 874783 | 816727 | 3835 486 | 1 | 8 274.44/274.51 c 272s | 20 | 881800 | 823327 | 3835 489 | 1 | 8 276.44/276.54 c 274s | 20 | 888435 | 829627 | 3835 492 | 1 | 8 278.44/278.55 c 276s | 20 | 895257 | 836027 | 3835 495 | 1 | 8 280.45/280.58 c 278s | 20 | 901851 | 842327 | 3835 498 | 1 | 8 282.44/282.58 c 280s | 20 | 908604 | 848727 | 3835 501 | 1 | 8 284.44/284.60 c 282s | 20 | 915244 | 854927 | 3835 504 | 1 | 8 286.54/286.61 c 284s | 20 | 922342 | 861527 | 3835 507 | 1 | 8 288.54/288.64 c 286s | 20 | 929407 | 868227 | 3835 510 | 1 | 8 290.54/290.64 c 288s | 20 | 936230 | 874727 | 3835 513 | 1 | 8 292.55/292.67 c 290s | 20 | 943139 | 881127 | 3835 516 | 1 | 8 294.54/294.69 c 292s | 20 | 950274 | 887927 | 3835 519 | 1 | 8 296.64/296.70 c 294s | 20 | 957323 | 894627 | 3835 522 | 1 | 8 298.64/298.71 c 296s | 20 | 964362 | 901427 | 3835 526 | 1 | 8 300.64/300.72 c 298s | 20 | 971963 | 908527 | 3835 529 | 1 | 8 302.64/302.72 c 300s | 20 | 979309 | 915327 | 3835 532 | 1 | 8 304.64/304.75 c 302s | 20 | 986365 | 922127 | 3835 535 | 1 | 8 306.64/306.76 c 305s | 20 | 993488 | 928827 | 3835 538 | 1 | 8 308.63/308.77 c 307s | 20 | 1000809 | 935627 | 3835 542 | 1 | 8 310.63/310.79 c 309s | 20 | 1007657 | 942027 | 3835 545 | 1 | 8 312.73/312.81 c 311s | 20 | 1014572 | 948427 | 3835 548 | 1 | 8 314.73/314.83 c 313s | 20 | 1021378 | 954827 | 3835 551 | 1 | 8 316.74/316.85 c 315s | 20 | 1027669 | 960727 | 3835 554 | 1 | 8 318.73/318.86 c 317s | 20 | 1034283 | 966827 | 3835 556 | 1 | 8 320.73/320.88 c 319s | 20 | 1041378 | 973427 | 3835 559 | 1 | 8 322.83/322.90 c 321s | 20 | 1048161 | 979927 | 3835 563 | 1 | 8 324.83/324.91 c 323s | 20 | 1054982 | 986327 | 3835 566 | 1 | 8 326.83/326.93 c 325s | 20 | 1061787 | 992627 | 4219 568 | 1 | 8 328.84/328.96 c 327s | 20 | 1068354 | 998827 | 4219 571 | 1 | 8 329.33/329.43 c 327s | 21 | 1069921 | 1000345 | 4219 572 | 1 | 8 331.33/331.43 c 329s | 21 | 1077682 | 1007745 | 4219 575 | 1 | 8 333.34/333.46 c 331s | 21 | 1084083 | 1013745 | 4219 577 | 1 | 8 335.33/335.49 c 333s | 21 | 1089853 | 1019445 | 4219 580 | 1 | 8 337.43/337.52 c 335s | 21 | 1095515 | 1024645 | 4219 582 | 1 | 8 339.43/339.53 c 337s | 21 | 1101023 | 1029845 | 4219 584 | 1 | 8 341.43/341.54 c 339s | 21 | 1106898 | 1035445 | 4219 587 | 1 | 8 343.43/343.59 c 341s | 21 | 1112088 | 1040445 | 4219 589 | 1 | 8 345.53/345.61 c 343s | 21 | 1117826 | 1045645 | 4219 591 | 1 | 8 347.54/347.65 c 345s | 21 | 1122863 | 1050645 | 4219 594 | 1 | 8 349.53/349.66 c 347s | 21 | 1127710 | 1055445 | 4219 596 | 1 | 8 351.53/351.67 c 349s | 21 | 1132392 | 1060045 | 4219 598 | 1 | 8 353.63/353.70 c 351s | 21 | 1136383 | 1063945 | 4219 599 | 1 | 8 355.63/355.70 c 353s | 21 | 1140640 | 1068045 | 4219 601 | 1 | 8 357.63/357.74 c 355s | 21 | 1144791 | 1072145 | 4219 603 | 1 | 8 359.63/359.78 c 358s | 21 | 1148911 | 1076045 | 4219 605 | 1 | 8 361.73/361.81 c 360s | 21 | 1153317 | 1080245 | 4219 607 | 1 | 8 363.73/363.83 c 362s | 21 | 1157944 | 1084845 | 4219 609 | 1 | 8 365.72/365.84 c 364s | 21 | 1162734 | 1089545 | 4219 611 | 1 | 8 367.73/367.86 c 366s | 21 | 1168499 | 1095245 | 4219 613 | 1 | 8 369.73/369.88 c 368s | 21 | 1174494 | 1100945 | 4219 616 | 1 | 8 371.84/371.91 c 370s | 21 | 1180365 | 1106645 | 4219 618 | 1 | 8 373.83/373.96 c 372s | 21 | 1186290 | 1111945 | 4219 621 | 1 | 8 375.83/375.98 c 374s | 21 | 1191912 | 1117145 | 4219 623 | 1 | 8 377.93/378.00 c 376s | 21 | 1197933 | 1123045 | 4219 626 | 1 | 8 379.93/380.01 c 378s | 21 | 1203377 | 1128045 | 4219 628 | 1 | 8 381.93/382.03 c 380s | 21 | 1208757 | 1132045 | 4219 630 | 1 | 8 383.93/384.07 c 382s | 21 | 1213135 | 1136245 | 4219 632 | 1 | 8 385.93/386.09 c 384s | 21 | 1217830 | 1140845 | 4219 634 | 1 | 8 388.03/388.12 c 386s | 21 | 1222552 | 1145445 | 4219 636 | 1 | 8 390.02/390.12 c 388s | 21 | 1227050 | 1149845 | 4219 638 | 1 | 8 392.02/392.13 c 390s | 21 | 1231409 | 1154145 | 4219 640 | 1 | 8 394.02/394.17 c 392s | 21 | 1236508 | 1159045 | 4219 642 | 1 | 8 396.12/396.20 c 394s | 21 | 1241783 | 1164045 | 4219 644 | 1 | 8 398.13/398.21 c 396s | 21 | 1247300 | 1169145 | 4219 646 | 1 | 8 400.12/400.24 c 398s | 21 | 1252244 | 1173945 | 4219 649 | 1 | 8 402.12/402.27 c 400s | 21 | 1257395 | 1178945 | 4219 651 | 1 | 8 404.12/404.29 c 402s | 21 | 1263766 | 1185045 | 4219 653 | 2 | 16 406.22/406.31 c 404s | 21 | 1270227 | 1191145 | 4219 656 | 2 | 16 408.23/408.33 c 406s | 21 | 1276956 | 1197545 | 4219 659 | 2 | 16 410.23/410.34 c 408s | 21 | 1284156 | 1204245 | 4219 662 | 2 | 16 412.22/412.35 c 410s | 21 | 1291101 | 1210845 | 4219 664 | 2 | 16 414.22/414.37 c 412s | 21 | 1298067 | 1217345 | 4219 667 | 2 | 16 416.22/416.39 c 414s | 21 | 1305079 | 1223945 | 4219 670 | 2 | 16 418.32/418.40 c 416s | 21 | 1311748 | 1230245 | 4219 673 | 2 | 16 420.32/420.42 c 418s | 21 | 1318761 | 1236845 | 4219 676 | 2 | 16 422.33/422.44 c 420s | 21 | 1325748 | 1243545 | 4219 678 | 2 | 16 424.32/424.46 c 422s | 21 | 1332289 | 1249245 | 4219 681 | 2 | 16 426.32/426.48 c 424s | 21 | 1338671 | 1255245 | 4219 684 | 2 | 16 428.32/428.49 c 426s | 21 | 1345511 | 1261645 | 4219 686 | 2 | 16 430.42/430.51 c 428s | 21 | 1351657 | 1267445 | 4219 689 | 2 | 16 432.42/432.53 c 430s | 21 | 1358251 | 1273745 | 4219 691 | 2 | 16 434.42/434.56 c 432s | 21 | 1364646 | 1279745 | 4219 694 | 2 | 16 436.42/436.59 c 434s | 21 | 1371841 | 1286645 | 4219 697 | 2 | 16 438.42/438.59 c 436s | 21 | 1378729 | 1293345 | 4219 700 | 2 | 16 440.52/440.61 c 438s | 21 | 1385528 | 1299545 | 4219 703 | 2 | 16 442.51/442.64 c 440s | 21 | 1392170 | 1305845 | 4219 705 | 2 | 16 444.51/444.66 c 442s | 21 | 1398274 | 1311545 | 4219 708 | 2 | 16 446.52/446.66 c 444s | 21 | 1404923 | 1317845 | 4219 710 | 2 | 16 448.51/448.68 c 446s | 21 | 1411425 | 1323945 | 4219 713 | 2 | 16 450.52/450.69 c 448s | 21 | 1418311 | 1330545 | 4219 716 | 2 | 16 452.62/452.70 c 450s | 21 | 1425151 | 1337145 | 4219 719 | 2 | 16 454.62/454.73 c 452s | 21 | 1431199 | 1343045 | 4219 721 | 2 | 16 456.62/456.74 c 454s | 21 | 1438326 | 1349945 | 4219 724 | 2 | 16 458.63/458.75 c 457s | 21 | 1445503 | 1356845 | 4219 727 | 2 | 16 460.62/460.78 c 459s | 21 | 1452096 | 1362945 | 4219 730 | 2 | 16 462.72/462.80 c 461s | 21 | 1458422 | 1368945 | 4219 732 | 2 | 16 464.72/464.83 c 463s | 21 | 1464989 | 1374945 | 4219 735 | 2 | 16 466.72/466.88 c 465s | 21 | 1471183 | 1380545 | 4219 737 | 2 | 16 468.82/468.90 c 467s | 21 | 1477722 | 1386745 | 4219 740 | 2 | 16 470.82/470.93 c 469s | 21 | 1485231 | 1394045 | 4219 743 | 2 | 16 472.81/472.95 c 471s | 21 | 1491351 | 1400045 | 4219 746 | 2 | 16 474.81/474.97 c 473s | 21 | 1498097 | 1406645 | 4219 749 | 2 | 16 476.81/476.98 c 475s | 21 | 1504820 | 1413145 | 4219 751 | 2 | 16 478.81/478.99 c 477s | 21 | 1511588 | 1419545 | 4219 754 | 2 | 16 480.91/481.01 c 479s | 21 | 1517381 | 1425045 | 4219 757 | 2 | 16 482.92/483.03 c 481s | 21 | 1524789 | 1432145 | 4219 760 | 2 | 16 484.91/485.05 c 483s | 21 | 1531853 | 1439045 | 4219 763 | 2 | 16 486.91/487.06 c 485s | 21 | 1538304 | 1445145 | 4219 765 | 2 | 16 488.91/489.07 c 487s | 21 | 1544809 | 1451345 | 4219 768 | 2 | 16 490.91/491.09 c 489s | 21 | 1551842 | 1457845 | 4219 771 | 2 | 16 493.01/493.13 c 491s | 21 | 1558643 | 1464145 | 4219 773 | 2 | 16 495.02/495.15 c 493s | 21 | 1565775 | 1470845 | 4219 776 | 2 | 16 497.01/497.18 c 495s | 21 | 1572237 | 1476745 | 4219 779 | 2 | 16 499.01/499.19 c 497s | 21 | 1578791 | 1482745 | 4219 781 | 2 | 16 501.11/501.20 c 499s | 21 | 1584887 | 1488245 | 4641 784 | 2 | 16 503.11/503.22 c 501s | 21 | 1590733 | 1493745 | 4641 786 | 2 | 16 505.11/505.24 c 503s | 21 | 1597022 | 1499645 | 4641 788 | 2 | 16 505.41/505.56 c 503s | 22 | 1598059 | 1500622 | 4641 788 | 2 | 16 507.51/507.60 c 505s | 22 | 1603676 | 1505722 | 4641 791 | 2 | 16 509.51/509.63 c 507s | 22 | 1608946 | 1510522 | 4641 793 | 2 | 16 511.51/511.64 c 509s | 22 | 1613995 | 1515122 | 4641 795 | 2 | 16 513.51/513.67 c 511s | 22 | 1619127 | 1519522 | 4641 796 | 2 | 16 515.61/515.70 c 513s | 22 | 1623938 | 1524222 | 4641 798 | 2 | 16 517.61/517.71 c 515s | 22 | 1629529 | 1529422 | 4641 800 | 2 | 16 519.61/519.72 c 517s | 22 | 1635345 | 1534922 | 4641 803 | 2 | 16 521.60/521.74 c 519s | 22 | 1640823 | 1539922 | 4641 805 | 2 | 16 523.61/523.78 c 522s | 22 | 1646545 | 1545322 | 4641 807 | 2 | 16 525.60/525.78 c 524s | 22 | 1651665 | 1550222 | 4641 809 | 2 | 16 527.70/527.80 c 526s | 22 | 1656843 | 1555122 | 4641 811 | 2 | 16 529.70/529.84 c 528s | 22 | 1661961 | 1560022 | 4641 813 | 2 | 16 531.70/531.88 c 530s | 22 | 1667269 | 1565122 | 4641 815 | 2 | 16 533.80/533.90 c 532s | 22 | 1672432 | 1570222 | 4641 817 | 2 | 16 535.80/535.95 c 534s | 22 | 1677636 | 1575222 | 4641 820 | 2 | 16 537.81/537.96 c 536s | 22 | 1683158 | 1580422 | 4641 822 | 2 | 16 539.80/539.97 c 538s | 22 | 1688979 | 1585922 | 4641 824 | 2 | 16 541.90/542.00 c 540s | 22 | 1694654 | 1591222 | 4641 826 | 2 | 16 543.90/544.03 c 542s | 22 | 1700043 | 1596222 | 4641 828 | 2 | 16 545.90/546.08 c 544s | 22 | 1705645 | 1601622 | 4641 831 | 2 | 16 548.00/548.10 c 546s | 22 | 1711433 | 1606922 | 4641 833 | 2 | 16 550.01/550.13 c 548s | 22 | 1717078 | 1612222 | 4641 835 | 2 | 16 552.00/552.14 c 550s | 22 | 1722003 | 1616822 | 4641 837 | 2 | 16 554.00/554.15 c 552s | 22 | 1727699 | 1622222 | 4641 839 | 2 | 16 556.00/556.17 c 554s | 22 | 1732842 | 1627222 | 4641 841 | 2 | 16 558.00/558.19 c 556s | 22 | 1737762 | 1632022 | 4641 843 | 2 | 16 560.10/560.20 c 558s | 22 | 1743456 | 1637222 | 4641 845 | 2 | 16 562.11/562.23 c 560s | 22 | 1749013 | 1642322 | 4641 847 | 2 | 16 564.10/564.23 c 562s | 22 | 1754689 | 1647822 | 4641 850 | 2 | 16 566.10/566.25 c 564s | 22 | 1759736 | 1652422 | 4641 852 | 2 | 16 568.10/568.26 c 566s | 22 | 1764716 | 1657022 | 4641 854 | 2 | 16 570.10/570.27 c 568s | 22 | 1770096 | 1662122 | 4641 856 | 2 | 16 572.10/572.29 c 570s | 22 | 1775263 | 1667122 | 4641 858 | 2 | 16 574.20/574.31 c 572s | 22 | 1781116 | 1672322 | 4641 860 | 2 | 16 576.20/576.35 c 574s | 22 | 1787301 | 1678022 | 4641 862 | 2 | 16 578.19/578.38 c 576s | 22 | 1792186 | 1682822 | 4641 864 | 2 | 16 580.29/580.40 c 578s | 22 | 1797469 | 1687922 | 4641 866 | 2 | 16 582.29/582.42 c 580s | 22 | 1802893 | 1693222 | 4641 869 | 2 | 16 584.29/584.44 c 582s | 22 | 1807659 | 1697822 | 4641 870 | 2 | 16 586.30/586.47 c 584s | 22 | 1812954 | 1702722 | 4641 873 | 2 | 16 588.29/588.49 c 586s | 22 | 1818057 | 1707722 | 4641 875 | 2 | 16 590.39/590.51 c 588s | 22 | 1823629 | 1713022 | 4641 877 | 2 | 16 592.39/592.53 c 590s | 22 | 1829358 | 1718322 | 4641 879 | 2 | 16 594.39/594.55 c 592s | 22 | 1834730 | 1723622 | 4641 881 | 2 | 16 596.39/596.56 c 594s | 22 | 1841175 | 1729722 | 4641 884 | 2 | 16 598.40/598.59 c 596s | 22 | 1846416 | 1734722 | 4641 886 | 2 | 16 600.50/600.61 c 598s | 22 | 1851701 | 1739922 | 4641 888 | 2 | 16 602.50/602.62 c 600s | 22 | 1857869 | 1745822 | 4641 890 | 2 | 16 604.50/604.63 c 602s | 22 | 1863199 | 1751022 | 4641 893 | 2 | 16 606.50/606.63 c 604s | 22 | 1868487 | 1755922 | 4641 895 | 2 | 16 608.50/608.66 c 606s | 22 | 1874512 | 1761622 | 4641 897 | 2 | 16 610.50/610.68 c 608s | 22 | 1879804 | 1766822 | 4641 899 | 2 | 16 612.60/612.73 c 610s | 22 | 1883982 | 1770722 | 4641 901 | 2 | 16 614.59/614.76 c 613s | 22 | 1887856 | 1774522 | 4641 902 | 2 | 16 616.69/616.80 c 615s | 22 | 1893425 | 1779922 | 4641 905 | 2 | 16 618.69/618.82 c 617s | 22 | 1899098 | 1785522 | 4641 907 | 2 | 16 620.69/620.83 c 619s | 22 | 1904270 | 1790622 | 4641 909 | 2 | 16 622.69/622.84 c 621s | 22 | 1908985 | 1794922 | 4641 911 | 2 | 16 624.70/624.85 c 623s | 22 | 1914416 | 1799922 | 4641 913 | 2 | 16 626.69/626.88 c 625s | 22 | 1919029 | 1804422 | 4641 915 | 2 | 16 628.69/628.89 c 627s | 22 | 1923439 | 1808622 | 4641 917 | 2 | 16 630.79/630.91 c 629s | 22 | 1928142 | 1813122 | 4641 918 | 2 | 16 632.79/632.93 c 631s | 22 | 1933754 | 1818422 | 4641 921 | 2 | 16 634.79/634.95 c 633s | 22 | 1938869 | 1823422 | 4641 923 | 2 | 16 636.80/637.00 c 635s | 22 | 1943943 | 1828222 | 4641 925 | 2 | 16 638.89/639.04 c 637s | 22 | 1948609 | 1832622 | 4641 927 | 2 | 16 640.89/641.06 c 639s | 22 | 1953645 | 1837422 | 4641 929 | 2 | 16 642.89/643.10 c 641s | 22 | 1960805 | 1844322 | 4641 932 | 2 | 16 644.99/645.13 c 643s | 22 | 1966081 | 1849222 | 4641 934 | 2 | 16 646.99/647.16 c 645s | 22 | 1971840 | 1854622 | 4641 936 | 2 | 16 649.00/649.19 c 647s | 22 | 1978761 | 1861022 | 4641 939 | 2 | 16 650.99/651.20 c 649s | 22 | 1984518 | 1866322 | 4641 941 | 2 | 16 653.09/653.23 c 651s | 22 | 1990500 | 1871922 | 4641 943 | 2 | 16 655.09/655.25 c 653s | 22 | 1996291 | 1877422 | 4641 945 | 2 | 16 657.09/657.25 c 655s | 22 | 2001603 | 1882422 | 4641 947 | 2 | 16 659.08/659.28 c 657s | 22 | 2007293 | 1887522 | 4641 950 | 2 | 16 661.09/661.30 c 659s | 22 | 2013302 | 1893222 | 4641 952 | 2 | 16 663.08/663.30 c 661s | 22 | 2019688 | 1899522 | 4641 955 | 2 | 16 665.18/665.32 c 663s | 22 | 2026494 | 1906222 | 4641 957 | 2 | 16 667.18/667.33 c 665s | 22 | 2032962 | 1912622 | 4641 960 | 2 | 16 669.18/669.34 c 667s | 22 | 2039747 | 1919322 | 4641 963 | 2 | 16 671.18/671.34 c 669s | 22 | 2046227 | 1925722 | 4641 966 | 2 | 16 673.19/673.36 c 671s | 22 | 2053194 | 1932622 | 4641 968 | 2 | 16 675.18/675.38 c 673s | 22 | 2058007 | 1937122 | 4641 970 | 2 | 16 677.18/677.39 c 675s | 22 | 2062894 | 1941822 | 4641 972 | 2 | 16 679.28/679.44 c 677s | 22 | 2068266 | 1946922 | 4641 974 | 2 | 16 681.28/681.47 c 679s | 22 | 2073534 | 1950822 | 4641 976 | 2 | 16 683.28/683.48 c 681s | 22 | 2080121 | 1956422 | 4641 978 | 2 | 16 685.28/685.48 c 683s | 22 | 2086956 | 1963022 | 4641 981 | 2 | 16 687.28/687.50 c 685s | 22 | 2093565 | 1969322 | 4641 984 | 2 | 16 689.38/689.54 c 687s | 22 | 2098844 | 1974522 | 4641 986 | 2 | 16 691.38/691.55 c 689s | 22 | 2104714 | 1979822 | 4641 988 | 2 | 16 693.48/693.60 c 691s | 22 | 2110523 | 1984322 | 4641 990 | 2 | 16 695.48/695.61 c 693s | 22 | 2116957 | 1989422 | 4641 992 | 2 | 16 697.48/697.63 c 695s | 22 | 2124085 | 1996022 | 4641 995 | 2 | 16 699.49/699.65 c 697s | 22 | 2130681 | 2002522 | 4641 997 | 2 | 16 701.48/701.67 c 699s | 22 | 2137503 | 2009222 | 4641 1000 | 2 | 16 703.48/703.67 c 701s | 22 | 2144225 | 2015822 | 4641 1003 | 2 | 16 705.48/705.69 c 703s | 22 | 2150966 | 2022422 | 4641 1006 | 2 | 16 707.58/707.71 c 705s | 22 | 2157879 | 2029222 | 4641 1009 | 2 | 16 709.58/709.73 c 707s | 22 | 2164008 | 2034922 | 4641 1011 | 2 | 16 711.58/711.77 c 710s | 22 | 2169889 | 2040322 | 4641 1013 | 2 | 16 713.58/713.79 c 712s | 22 | 2175511 | 2045222 | 4641 1015 | 2 | 16 715.67/715.82 c 714s | 22 | 2180416 | 2049622 | 4641 1017 | 2 | 16 717.67/717.85 c 716s | 22 | 2185224 | 2054222 | 4641 1019 | 2 | 16 719.67/719.87 c 718s | 22 | 2190828 | 2059522 | 4641 1021 | 2 | 16 721.67/721.89 c 720s | 22 | 2195838 | 2064222 | 4641 1023 | 2 | 16 723.78/723.92 c 722s | 22 | 2200860 | 2069022 | 4641 1025 | 2 | 16 725.77/725.92 c 724s | 22 | 2206842 | 2074922 | 4641 1027 | 2 | 16 727.77/727.94 c 726s | 22 | 2212102 | 2080122 | 4641 1030 | 2 | 16 729.77/729.97 c 728s | 22 | 2218422 | 2086322 | 4641 1032 | 2 | 16 731.76/731.98 c 730s | 22 | 2223226 | 2090922 | 4641 1034 | 2 | 16 733.86/734.03 c 732s | 22 | 2228638 | 2095922 | 4641 1036 | 2 | 16 735.86/736.04 c 734s | 22 | 2233896 | 2100822 | 4641 1038 | 2 | 16 737.86/738.05 c 736s | 22 | 2238931 | 2105622 | 4641 1040 | 2 | 16 739.86/740.07 c 738s | 22 | 2244032 | 2110622 | 4641 1042 | 2 | 16 741.96/742.10 c 740s | 22 | 2248760 | 2115122 | 4641 1044 | 2 | 16 743.95/744.13 c 742s | 22 | 2254279 | 2120522 | 4641 1046 | 2 | 16 745.95/746.16 c 744s | 22 | 2259785 | 2125822 | 4641 1048 | 2 | 16 748.05/748.21 c 746s | 22 | 2264984 | 2130822 | 4641 1051 | 2 | 16 750.06/750.22 c 748s | 22 | 2271208 | 2136922 | 4641 1053 | 2 | 16 752.05/752.27 c 750s | 22 | 2276921 | 2142422 | 4641 1055 | 2 | 16 754.05/754.29 c 752s | 22 | 2282269 | 2147522 | 4641 1057 | 2 | 16 756.15/756.34 c 754s | 22 | 2287185 | 2152022 | 4641 1059 | 2 | 16 758.14/758.37 c 756s | 22 | 2291976 | 2156322 | 4641 1061 | 2 | 16 760.24/760.40 c 758s | 22 | 2296540 | 2160422 | 4641 1063 | 2 | 16 762.25/762.42 c 760s | 22 | 2301031 | 2164822 | 4641 1065 | 2 | 16 764.24/764.44 c 762s | 22 | 2306171 | 2169822 | 4641 1067 | 2 | 16 766.24/766.44 c 764s | 22 | 2311897 | 2175322 | 4641 1069 | 2 | 16 768.24/768.47 c 766s | 22 | 2317923 | 2181222 | 4641 1071 | 2 | 16 770.24/770.49 c 768s | 22 | 2322532 | 2185622 | 4641 1073 | 2 | 16 772.35/772.52 c 770s | 22 | 2327570 | 2190322 | 4641 1075 | 2 | 16 774.35/774.54 c 772s | 22 | 2332721 | 2195222 | 4641 1077 | 2 | 16 776.34/776.56 c 774s | 22 | 2338255 | 2200522 | 4641 1079 | 2 | 16 778.34/778.58 c 776s | 22 | 2343930 | 2206022 | 4641 1082 | 2 | 16 780.44/780.60 c 778s | 22 | 2349434 | 2211322 | 4641 1084 | 2 | 16 782.44/782.62 c 780s | 22 | 2355342 | 2217122 | 4641 1086 | 2 | 16 784.44/784.64 c 782s | 22 | 2361124 | 2222722 | 4641 1089 | 2 | 16 786.44/786.66 c 784s | 22 | 2367270 | 2228822 | 4641 1091 | 2 | 16 788.44/788.66 c 786s | 22 | 2372960 | 2234422 | 5106 1093 | 2 | 16 790.44/790.67 c 788s | 22 | 2378676 | 2240022 | 5106 1095 | 2 | 16 792.54/792.74 c 790s | 22 | 2383948 | 2245222 | 5106 1097 | 2 | 16 794.34/794.56 c 792s | 23 | 2389883 | 2251038 | 5106 1099 | 2 | 16 796.34/796.57 c 794s | 23 | 2397429 | 2258238 | 5106 1102 | 2 | 16 798.33/798.59 c 796s | 23 | 2403947 | 2264538 | 5106 1104 | 2 | 16 800.43/800.61 c 798s | 23 | 2410383 | 2270738 | 5106 1107 | 2 | 16 802.43/802.62 c 800s | 23 | 2417090 | 2277238 | 5106 1109 | 2 | 16 804.43/804.64 c 802s | 23 | 2423924 | 2283938 | 5106 1112 | 2 | 16 806.42/806.65 c 804s | 23 | 2429339 | 2289038 | 5106 1114 | 2 | 16 808.43/808.68 c 806s | 23 | 2434889 | 2294238 | 5106 1115 | 2 | 16 810.42/810.70 c 808s | 23 | 2440076 | 2299238 | 5106 1117 | 2 | 16 812.52/812.73 c 810s | 23 | 2444839 | 2303938 | 5106 1119 | 2 | 16 814.52/814.74 c 812s | 23 | 2450229 | 2309138 | 5106 1121 | 2 | 16 816.51/816.77 c 815s | 23 | 2454753 | 2313438 | 5106 1123 | 2 | 16 818.61/818.80 c 817s | 23 | 2460010 | 2318438 | 5106 1125 | 2 | 16 820.61/820.83 c 819s | 23 | 2465200 | 2323238 | 5106 1126 | 2 | 16 822.62/822.85 c 821s | 23 | 2470653 | 2328338 | 5106 1128 | 2 | 16 824.61/824.88 c 823s | 23 | 2475197 | 2332738 | 5106 1130 | 2 | 16 826.71/826.90 c 825s | 23 | 2480890 | 2338238 | 5106 1132 | 2 | 16 828.70/828.91 c 827s | 23 | 2486993 | 2344238 | 5106 1134 | 2 | 16 830.70/830.93 c 829s | 23 | 2492759 | 2349938 | 5106 1136 | 2 | 16 832.70/832.94 c 831s | 23 | 2499452 | 2356438 | 5106 1139 | 2 | 16 834.71/834.97 c 833s | 23 | 2505991 | 2362838 | 5106 1141 | 2 | 16 836.80/837.03 c 835s | 23 | 2512174 | 2368938 | 5106 1144 | 2 | 16 838.80/839.04 c 837s | 23 | 2518796 | 2375438 | 5106 1146 | 2 | 16 840.80/841.06 c 839s | 23 | 2524911 | 2381438 | 5106 1148 | 2 | 16 842.81/843.08 c 841s | 23 | 2531348 | 2387738 | 5106 1151 | 2 | 16 844.81/845.09 c 843s | 23 | 2538354 | 2394538 | 5106 1153 | 2 | 16 846.81/847.09 c 845s | 23 | 2544937 | 2401038 | 5106 1156 | 2 | 16 848.90/849.10 c 847s | 23 | 2551696 | 2407638 | 5106 1158 | 2 | 16 850.90/851.13 c 849s | 23 | 2557647 | 2413538 | 5106 1160 | 2 | 16 852.90/853.14 c 851s | 23 | 2563985 | 2419638 | 5106 1162 | 2 | 16 854.90/855.15 c 853s | 23 | 2570173 | 2425738 | 5106 1165 | 2 | 16 856.89/857.15 c 855s | 23 | 2576866 | 2432238 | 5106 1167 | 2 | 16 858.90/859.16 c 857s | 23 | 2582648 | 2437938 | 5106 1169 | 2 | 16 860.89/861.18 c 859s | 23 | 2588418 | 2443538 | 5106 1171 | 2 | 16 862.89/863.19 c 861s | 23 | 2594267 | 2449138 | 5106 1174 | 2 | 16 864.99/865.20 c 863s | 23 | 2599824 | 2454538 | 5106 1176 | 2 | 16 866.99/867.22 c 865s | 23 | 2606003 | 2460538 | 5106 1178 | 2 | 16 868.99/869.24 c 867s | 23 | 2611863 | 2466338 | 5106 1180 | 2 | 16 871.00/871.27 c 869s | 23 | 2618392 | 2472738 | 5106 1182 | 2 | 16 872.99/873.28 c 871s | 23 | 2624899 | 2479138 | 5106 1185 | 2 | 16 874.99/875.29 c 873s | 23 | 2631082 | 2485238 | 5106 1187 | 2 | 16 877.09/877.30 c 875s | 23 | 2637568 | 2491538 | 5106 1189 | 2 | 16 879.09/879.31 c 877s | 23 | 2644472 | 2498338 | 5106 1192 | 2 | 16 881.09/881.35 c 879s | 23 | 2650700 | 2504438 | 5106 1194 | 2 | 16 883.09/883.36 c 881s | 23 | 2656970 | 2510638 | 5106 1197 | 2 | 16 885.08/885.37 c 883s | 23 | 2663113 | 2516638 | 5106 1199 | 2 | 16 887.08/887.37 c 885s | 23 | 2669493 | 2522938 | 5106 1201 | 2 | 16 889.08/889.38 c 887s | 23 | 2675974 | 2529338 | 5106 1204 | 2 | 16 891.08/891.38 c 889s | 23 | 2681165 | 2534438 | 5106 1206 | 2 | 16 893.18/893.40 c 891s | 23 | 2687497 | 2540638 | 5106 1208 | 2 | 16 895.18/895.41 c 893s | 23 | 2693325 | 2546338 | 5106 1210 | 2 | 16 897.18/897.44 c 895s | 23 | 2699988 | 2552838 | 5106 1212 | 2 | 16 899.18/899.45 c 897s | 23 | 2706414 | 2559138 | 5106 1215 | 2 | 16 901.17/901.47 c 899s | 23 | 2713334 | 2565938 | 5106 1217 | 2 | 16 903.17/903.49 c 901s | 23 | 2720033 | 2572438 | 5106 1220 | 2 | 16 905.27/905.53 c 903s | 23 | 2726574 | 2578838 | 5106 1222 | 2 | 16 907.27/907.55 c 905s | 23 | 2733340 | 2585438 | 5106 1225 | 2 | 16 909.27/909.56 c 907s | 23 | 2740118 | 2591938 | 5106 1227 | 2 | 16 911.27/911.57 c 909s | 23 | 2746709 | 2598438 | 5106 1230 | 2 | 16 913.27/913.57 c 911s | 23 | 2753026 | 2604638 | 5106 1232 | 2 | 16 915.36/915.60 c 913s | 23 | 2759327 | 2610838 | 5106 1234 | 2 | 16 917.36/917.61 c 915s | 23 | 2765585 | 2616938 | 5106 1236 | 2 | 16 919.37/919.64 c 917s | 23 | 2772088 | 2623338 | 5106 1239 | 2 | 16 921.36/921.66 c 919s | 23 | 2778318 | 2629438 | 5106 1241 | 2 | 16 923.36/923.68 c 921s | 23 | 2784717 | 2635738 | 5106 1244 | 2 | 16 925.35/925.68 c 923s | 23 | 2791708 | 2642638 | 5106 1246 | 2 | 16 927.35/927.69 c 925s | 23 | 2798124 | 2648938 | 5106 1249 | 2 | 16 929.46/929.70 c 927s | 23 | 2804228 | 2654738 | 5106 1251 | 2 | 16 931.36/931.70 c 929s | 23 | 2809386 | 2659738 | 5106 1253 | 2 | 16 933.46/933.72 c 931s | 23 | 2815399 | 2665538 | 5106 1255 | 2 | 16 935.45/935.74 c 933s | 23 | 2821514 | 2671338 | 5106 1257 | 2 | 16 937.45/937.74 c 935s | 23 | 2827048 | 2676638 | 5106 1259 | 2 | 16 939.45/939.75 c 938s | 23 | 2832725 | 2682038 | 5106 1261 | 2 | 16 941.46/941.76 c 940s | 23 | 2838303 | 2687438 | 5106 1263 | 2 | 16 943.45/943.76 c 942s | 23 | 2844723 | 2693738 | 5106 1265 | 2 | 16 945.44/945.79 c 944s | 23 | 2851337 | 2700238 | 5106 1268 | 2 | 16 947.54/947.80 c 946s | 23 | 2858133 | 2706938 | 5106 1270 | 2 | 16 949.54/949.80 c 948s | 23 | 2864487 | 2713038 | 5106 1273 | 2 | 16 951.54/951.83 c 950s | 23 | 2871425 | 2719738 | 5106 1275 | 2 | 16 953.55/953.85 c 952s | 23 | 2878053 | 2726238 | 5106 1277 | 2 | 16 955.53/955.87 c 954s | 23 | 2884159 | 2732238 | 5106 1280 | 2 | 16 957.63/957.91 c 956s | 23 | 2890461 | 2738438 | 5106 1282 | 2 | 16 959.63/959.91 c 958s | 23 | 2896733 | 2744538 | 5106 1284 | 2 | 16 961.63/961.92 c 960s | 23 | 2903200 | 2750838 | 5106 1287 | 2 | 16 963.63/963.93 c 962s | 23 | 2910040 | 2757538 | 5106 1289 | 2 | 16 965.63/965.97 c 964s | 23 | 2916114 | 2763538 | 5106 1292 | 2 | 16 967.62/967.99 c 966s | 23 | 2923021 | 2770238 | 5106 1294 | 2 | 16 969.72/970.00 c 968s | 23 | 2929038 | 2776038 | 5106 1296 | 2 | 16 971.72/972.03 c 970s | 23 | 2935056 | 2781838 | 5106 1298 | 2 | 16 973.72/974.05 c 972s | 23 | 2941204 | 2787738 | 5106 1301 | 2 | 16 975.71/976.08 c 974s | 23 | 2947604 | 2793738 | 5106 1303 | 2 | 16 977.72/978.09 c 976s | 23 | 2953634 | 2799538 | 5106 1305 | 2 | 16 979.71/980.10 c 978s | 23 | 2959531 | 2805138 | 5106 1307 | 2 | 16 981.81/982.11 c 980s | 23 | 2965946 | 2811238 | 5106 1310 | 2 | 16 983.81/984.13 c 982s | 23 | 2972660 | 2817538 | 5106 1312 | 2 | 16 985.81/986.16 c 984s | 23 | 2978336 | 2822938 | 5106 1314 | 2 | 16 987.81/988.19 c 986s | 23 | 2983627 | 2828138 | 5106 1316 | 2 | 16 989.83/990.19 c 988s | 23 | 2988686 | 2833038 | 5106 1318 | 2 | 16 991.82/992.20 c 990s | 23 | 2995186 | 2839238 | 5106 1320 | 2 | 16 993.92/994.22 c 992s | 23 | 3001086 | 2844938 | 5106 1322 | 2 | 16 995.91/996.25 c 994s | 23 | 3007097 | 2850838 | 5106 1325 | 2 | 16 997.91/998.25 c 996s | 23 | 3012989 | 2856538 | 5106 1327 | 2 | 16 999.91/1000.26 c 998s | 23 | 3018423 | 2861838 | 5106 1329 | 2 | 16 1001.92/1002.27 c 1000s | 23 | 3024764 | 2867938 | 5106 1331 | 2 | 16 1003.91/1004.28 c 1002s | 23 | 3030528 | 2873438 | 5106 1333 | 2 | 16 1006.00/1006.31 c 1004s | 23 | 3036118 | 2878738 | 5106 1335 | 2 | 16 1008.00/1008.32 c 1006s | 23 | 3042191 | 2884438 | 5106 1337 | 2 | 16 1010.00/1010.34 c 1008s | 23 | 3048272 | 2890138 | 5106 1340 | 2 | 16 1012.00/1012.34 c 1010s | 23 | 3053845 | 2895338 | 5106 1342 | 2 | 16 1014.01/1014.36 c 1012s | 23 | 3059547 | 2900738 | 5106 1344 | 2 | 16 1016.00/1016.37 c 1014s | 23 | 3065172 | 2906138 | 5106 1346 | 2 | 16 1018.00/1018.38 c 1016s | 23 | 3071241 | 2911938 | 5106 1348 | 2 | 16 1019.99/1020.39 c 1018s | 23 | 3077161 | 2917638 | 5106 1350 | 2 | 16 1022.09/1022.41 c 1020s | 23 | 3082921 | 2923238 | 5106 1352 | 2 | 16 1024.09/1024.42 c 1022s | 23 | 3088818 | 2928938 | 5106 1354 | 2 | 16 1026.09/1026.45 c 1024s | 23 | 3094719 | 2934638 | 5106 1356 | 2 | 16 1028.08/1028.47 c 1026s | 23 | 3100457 | 2940038 | 5106 1358 | 2 | 16 1030.08/1030.47 c 1028s | 23 | 3106443 | 2945638 | 5106 1361 | 2 | 16 1032.08/1032.48 c 1030s | 23 | 3112068 | 2950838 | 5106 1363 | 2 | 16 1034.18/1034.50 c 1032s | 23 | 3117845 | 2956338 | 5106 1365 | 2 | 16 1036.18/1036.53 c 1034s | 23 | 3123519 | 2961738 | 5106 1367 | 2 | 16 1038.18/1038.53 c 1036s | 23 | 3129597 | 2967538 | 5106 1369 | 2 | 16 1040.18/1040.53 c 1038s | 23 | 3135807 | 2973538 | 5106 1371 | 2 | 16 1042.18/1042.54 c 1040s | 23 | 3142029 | 2979538 | 5106 1373 | 2 | 16 1044.18/1044.55 c 1042s | 23 | 3148444 | 2985638 | 5106 1376 | 2 | 16 1046.17/1046.56 c 1044s | 23 | 3154358 | 2991238 | 5106 1378 | 2 | 16 1048.17/1048.58 c 1046s | 23 | 3160450 | 2997138 | 5106 1380 | 2 | 16 1050.27/1050.60 c 1048s | 23 | 3167014 | 3003538 | 5106 1383 | 2 | 16 1052.27/1052.62 c 1050s | 23 | 3172913 | 3009038 | 5106 1385 | 2 | 16 1054.26/1054.66 c 1052s | 23 | 3178699 | 3014538 | 5106 1387 | 2 | 16 1056.26/1056.69 c 1054s | 23 | 3184727 | 3020238 | 5106 1389 | 2 | 16 1058.36/1058.72 c 1056s | 23 | 3190096 | 3025338 | 5106 1391 | 2 | 16 1060.36/1060.74 c 1058s | 23 | 3195569 | 3030438 | 5106 1393 | 2 | 16 1062.37/1062.75 c 1060s | 23 | 3201520 | 3035838 | 5106 1395 | 2 | 16 1064.36/1064.77 c 1063s | 23 | 3207585 | 3041638 | 5106 1397 | 2 | 16 1066.35/1066.77 c 1065s | 23 | 3213822 | 3047638 | 5106 1399 | 2 | 16 1068.36/1068.78 c 1067s | 23 | 3219841 | 3053438 | 5106 1402 | 2 | 16 1070.46/1070.82 c 1069s | 23 | 3226263 | 3059738 | 5106 1404 | 2 | 16 1072.46/1072.82 c 1071s | 23 | 3231516 | 3064838 | 5106 1406 | 2 | 16 1074.47/1074.86 c 1073s | 23 | 3236773 | 3069838 | 5106 1408 | 2 | 16 1076.45/1076.87 c 1075s | 23 | 3242953 | 3075738 | 5106 1410 | 2 | 16 1078.45/1078.89 c 1077s | 23 | 3248738 | 3081138 | 5106 1412 | 2 | 16 1080.55/1080.90 c 1079s | 23 | 3254243 | 3086538 | 5106 1414 | 2 | 16 1082.55/1082.91 c 1081s | 23 | 3260496 | 3092638 | 5106 1416 | 2 | 16 1084.55/1084.92 c 1083s | 23 | 3266642 | 3098638 | 5106 1419 | 2 | 16 1086.55/1086.94 c 1085s | 23 | 3272368 | 3104238 | 5106 1421 | 2 | 16 1088.55/1088.95 c 1087s | 23 | 3278588 | 3110238 | 5106 1423 | 2 | 16 1090.55/1090.97 c 1089s | 23 | 3284019 | 3115438 | 5106 1425 | 2 | 16 1092.54/1092.99 c 1091s | 23 | 3290131 | 3121338 | 5106 1427 | 2 | 16 1094.54/1094.99 c 1093s | 23 | 3296133 | 3126938 | 5106 1429 | 2 | 16 1096.54/1096.99 c 1095s | 23 | 3302152 | 3132638 | 5106 1432 | 2 | 16 1098.65/1099.00 c 1097s | 23 | 3308340 | 3138538 | 5106 1434 | 2 | 16 1100.64/1101.04 c 1099s | 23 | 3314461 | 3144338 | 5106 1436 | 2 | 16 1102.64/1103.04 c 1101s | 23 | 3320868 | 3150538 | 5106 1438 | 2 | 16 1104.64/1105.06 c 1103s | 23 | 3326707 | 3156138 | 5106 1440 | 2 | 16 1106.63/1107.09 c 1105s | 23 | 3332659 | 3161838 | 5106 1443 | 2 | 16 1108.73/1109.10 c 1107s | 23 | 3338720 | 3167638 | 5106 1445 | 2 | 16 1110.74/1111.14 c 1109s | 23 | 3344823 | 3173338 | 5106 1447 | 2 | 16 1112.73/1113.15 c 1111s | 23 | 3350560 | 3178638 | 5106 1449 | 2 | 16 1114.73/1115.17 c 1113s | 23 | 3356396 | 3184238 | 5106 1451 | 2 | 16 1116.82/1117.21 c 1115s | 23 | 3362426 | 3190038 | 5106 1453 | 2 | 16 1118.82/1119.25 c 1117s | 23 | 3368247 | 3195738 | 5106 1456 | 2 | 16 1120.82/1121.28 c 1119s | 23 | 3374453 | 3201838 | 5106 1458 | 2 | 16 1122.83/1123.29 c 1121s | 23 | 3380710 | 3207838 | 5106 1460 | 2 | 16 1124.82/1125.30 c 1123s | 23 | 3385899 | 3212838 | 5106 1462 | 2 | 16 1126.91/1127.30 c 1125s | 23 | 3391645 | 3218338 | 5106 1464 | 2 | 16 1128.91/1129.32 c 1127s | 23 | 3397556 | 3223938 | 5106 1466 | 2 | 16 1130.91/1131.35 c 1129s | 23 | 3403512 | 3229638 | 5106 1468 | 2 | 16 1132.92/1133.38 c 1131s | 23 | 3409085 | 3235038 | 5106 1470 | 2 | 16 1134.93/1135.38 c 1133s | 23 | 3414731 | 3240438 | 5106 1473 | 2 | 16 1136.91/1137.40 c 1135s | 23 | 3421129 | 3246638 | 5106 1475 | 2 | 16 1139.01/1139.42 c 1137s | 23 | 3427033 | 3252338 | 5106 1477 | 2 | 16 1141.01/1141.45 c 1139s | 23 | 3433193 | 3258238 | 5106 1479 | 2 | 16 1143.01/1143.47 c 1141s | 23 | 3438878 | 3263638 | 5106 1481 | 2 | 16 1145.11/1145.50 c 1143s | 23 | 3444774 | 3269238 | 5106 1483 | 2 | 16 1147.11/1147.51 c 1145s | 23 | 3450898 | 3275038 | 5106 1486 | 2 | 16 1149.11/1149.55 c 1147s | 23 | 3456043 | 3279938 | 5106 1488 | 2 | 16 1151.11/1151.56 c 1149s | 23 | 3461787 | 3285538 | 5106 1490 | 2 | 16 1153.11/1153.59 c 1151s | 23 | 3467904 | 3291438 | 5106 1492 | 2 | 16 1155.20/1155.62 c 1153s | 23 | 3474051 | 3297338 | 5106 1494 | 2 | 16 1157.20/1157.62 c 1155s | 23 | 3479432 | 3302138 | 5106 1496 | 2 | 16 1159.20/1159.63 c 1157s | 23 | 3485924 | 3308338 | 5106 1498 | 2 | 16 1161.21/1161.65 c 1159s | 23 | 3491241 | 3313338 | 5106 1500 | 2 | 16 1163.20/1163.65 c 1161s | 23 | 3497262 | 3319138 | 5106 1502 | 2 | 16 1165.20/1165.67 c 1163s | 23 | 3503048 | 3324638 | 5106 1504 | 2 | 16 1167.20/1167.67 c 1165s | 23 | 3509311 | 3330738 | 5106 1507 | 2 | 16 1169.19/1169.68 c 1167s | 23 | 3515289 | 3336538 | 5106 1509 | 2 | 16 1171.20/1171.69 c 1169s | 23 | 3521361 | 3342338 | 5106 1511 | 2 | 16 1173.19/1173.69 c 1171s | 23 | 3527346 | 3348138 | 5617 1513 | 2 | 16 1175.19/1175.69 c 1173s | 23 | 3533030 | 3353638 | 5617 1515 | 2 | 16 1177.29/1177.72 c 1175s | 23 | 3538235 | 3358638 | 5617 1517 | 2 | 16 1179.29/1179.73 c 1177s | 23 | 3543631 | 3363838 | 5617 1519 | 2 | 16 1181.29/1181.74 c 1179s | 23 | 3549481 | 3369338 | 5617 1521 | 2 | 16 1183.29/1183.75 c 1182s | 23 | 3555213 | 3374838 | 5617 1523 | 2 | 16 1183.99/1184.44 c 1182s | 24 | 3557096 | 3376662 | 5617 1523 | 2 | 16 1185.98/1186.46 c 1184s | 24 | 3560981 | 3380062 | 5617 1524 | 2 | 16 1188.08/1188.51 c 1186s | 24 | 3565757 | 3384462 | 5617 1526 | 2 | 16 1190.08/1190.55 c 1188s | 24 | 3570038 | 3388362 | 5617 1527 | 2 | 16 1192.09/1192.59 c 1190s | 24 | 3574909 | 3392862 | 5617 1529 | 2 | 16 1194.19/1194.62 c 1192s | 24 | 3579227 | 3397062 | 5617 1530 | 2 | 16 1196.17/1196.63 c 1194s | 24 | 3583492 | 3400762 | 5617 1531 | 2 | 16 1198.17/1198.66 c 1196s | 24 | 3588776 | 3405862 | 5617 1533 | 2 | 16 1200.17/1200.68 c 1198s | 24 | 3594127 | 3411062 | 5617 1535 | 2 | 16 1202.27/1202.70 c 1200s | 24 | 3599376 | 3415962 | 5617 1537 | 2 | 16 1204.27/1204.75 c 1202s | 24 | 3604365 | 3420662 | 5617 1538 | 2 | 16 1206.27/1206.78 c 1205s | 24 | 3609012 | 3424862 | 5617 1540 | 2 | 16 1208.37/1208.80 c 1207s | 24 | 3614403 | 3430162 | 5617 1542 | 2 | 16 1210.37/1210.83 c 1209s | 24 | 3618586 | 3433962 | 5617 1543 | 2 | 16 1212.37/1212.89 c 1211s | 24 | 3622804 | 3437962 | 5617 1544 | 2 | 16 1214.47/1214.95 c 1213s | 24 | 3627480 | 3442162 | 5617 1546 | 2 | 16 1216.46/1216.95 c 1215s | 24 | 3632061 | 3445962 | 5617 1547 | 2 | 16 1218.56/1219.03 c 1217s | 24 | 3636668 | 3450362 | 5617 1548 | 2 | 16 1220.56/1221.06 c 1219s | 24 | 3641692 | 3455062 | 5617 1550 | 2 | 16 1222.56/1223.09 c 1221s | 24 | 3646723 | 3459962 | 5617 1552 | 2 | 16 1224.66/1225.12 c 1223s | 24 | 3651645 | 3464662 | 5617 1553 | 2 | 16 1226.65/1227.13 c 1225s | 24 | 3656127 | 3469062 | 5617 1555 | 2 | 16 1228.65/1229.17 c 1227s | 24 | 3660505 | 3473062 | 5617 1556 | 2 | 16 1230.75/1231.22 c 1229s | 24 | 3664725 | 3476862 | 5617 1558 | 2 | 16 1232.76/1233.24 c 1231s | 24 | 3670138 | 3482162 | 5617 1559 | 2 | 16 1234.75/1235.26 c 1233s | 24 | 3675219 | 3487162 | 5617 1561 | 2 | 16 1236.85/1237.31 c 1235s | 24 | 3680123 | 3491762 | 5617 1563 | 2 | 16 1238.85/1239.32 c 1237s | 24 | 3684224 | 3495462 | 5617 1564 | 2 | 16 1240.85/1241.39 c 1239s | 24 | 3689154 | 3500062 | 5617 1566 | 2 | 16 1242.95/1243.40 c 1241s | 24 | 3693635 | 3504462 | 5617 1567 | 2 | 16 1244.94/1245.42 c 1243s | 24 | 3699782 | 3510462 | 5617 1569 | 2 | 16 1246.95/1247.44 c 1245s | 24 | 3705512 | 3515962 | 5617 1571 | 2 | 16 1248.94/1249.45 c 1247s | 24 | 3710451 | 3520562 | 5617 1573 | 2 | 16 1250.94/1251.47 c 1249s | 24 | 3715342 | 3525062 | 5617 1574 | 2 | 16 1253.04/1253.52 c 1251s | 24 | 3719092 | 3528662 | 5617 1575 | 2 | 16 1255.04/1255.54 c 1253s | 24 | 3722938 | 3532262 | 5617 1577 | 2 | 16 1257.04/1257.54 c 1255s | 24 | 3728636 | 3537862 | 5617 1579 | 2 | 16 1259.04/1259.56 c 1257s | 24 | 3734339 | 3543462 | 5617 1581 | 2 | 16 1261.04/1261.58 c 1259s | 24 | 3741035 | 3549962 | 5617 1583 | 2 | 16 1263.14/1263.63 c 1261s | 24 | 3746144 | 3554362 | 5617 1584 | 2 | 16 1265.14/1265.67 c 1263s | 24 | 3751578 | 3559362 | 5617 1586 | 2 | 16 1267.14/1267.67 c 1265s | 24 | 3756136 | 3563462 | 5617 1587 | 2 | 16 1269.14/1269.69 c 1267s | 24 | 3760973 | 3568162 | 5617 1589 | 2 | 16 1271.24/1271.71 c 1269s | 24 | 3766987 | 3573762 | 5617 1591 | 2 | 16 1273.24/1273.72 c 1271s | 24 | 3772132 | 3578462 | 5617 1593 | 2 | 16 1275.23/1275.77 c 1274s | 24 | 3776492 | 3582462 | 5617 1594 | 2 | 16 1277.33/1277.81 c 1276s | 24 | 3781578 | 3587062 | 5617 1596 | 2 | 16 1279.33/1279.83 c 1278s | 24 | 3787098 | 3592462 | 5617 1597 | 2 | 16 1281.33/1281.83 c 1280s | 24 | 3792571 | 3597462 | 5617 1599 | 2 | 16 1283.34/1283.87 c 1282s | 24 | 3797989 | 3602162 | 5617 1601 | 2 | 16 1285.32/1285.90 c 1284s | 24 | 3803173 | 3607062 | 5617 1602 | 2 | 16 1287.42/1287.90 c 1286s | 24 | 3808180 | 3611762 | 5617 1604 | 2 | 16 1289.42/1289.90 c 1288s | 24 | 3813662 | 3616862 | 5617 1606 | 2 | 16 1291.42/1291.91 c 1290s | 24 | 3819998 | 3623062 | 5617 1608 | 2 | 16 1293.42/1293.92 c 1292s | 24 | 3825345 | 3628062 | 5617 1610 | 2 | 16 1295.43/1295.96 c 1294s | 24 | 3831025 | 3633462 | 5617 1612 | 2 | 16 1297.42/1297.97 c 1296s | 24 | 3836878 | 3639162 | 5617 1614 | 2 | 16 1299.52/1300.01 c 1298s | 24 | 3841425 | 3643662 | 5617 1615 | 2 | 16 1301.52/1302.02 c 1300s | 24 | 3846806 | 3648962 | 5617 1617 | 2 | 16 1303.51/1304.05 c 1302s | 24 | 3851734 | 3653162 | 5617 1618 | 2 | 16 1305.51/1306.08 c 1304s | 24 | 3856504 | 3657462 | 5617 1620 | 2 | 16 1307.61/1308.12 c 1306s | 24 | 3861388 | 3661762 | 5617 1621 | 2 | 16 1309.61/1310.14 c 1308s | 24 | 3866227 | 3666262 | 5617 1623 | 2 | 16 1311.61/1312.18 c 1310s | 24 | 3871204 | 3670262 | 5617 1624 | 2 | 16 1313.61/1314.20 c 1312s | 24 | 3875852 | 3674062 | 5617 1626 | 2 | 16 1315.60/1316.20 c 1314s | 24 | 3880668 | 3678562 | 5617 1627 | 2 | 16 1317.70/1318.23 c 1316s | 24 | 3885252 | 3682562 | 5617 1629 | 2 | 16 1319.70/1320.27 c 1318s | 24 | 3890613 | 3687362 | 5617 1630 | 2 | 16 1321.71/1322.30 c 1320s | 24 | 3896062 | 3692562 | 5617 1632 | 2 | 16 1323.80/1324.35 c 1322s | 24 | 3901625 | 3697962 | 5617 1634 | 2 | 16 1325.79/1326.35 c 1324s | 24 | 3906452 | 3702662 | 5617 1635 | 2 | 16 1327.79/1328.38 c 1326s | 24 | 3911321 | 3707162 | 5617 1637 | 2 | 16 1329.79/1330.40 c 1328s | 24 | 3917365 | 3712862 | 5617 1639 | 2 | 16 1331.89/1332.41 c 1330s | 24 | 3922054 | 3717162 | 5617 1640 | 2 | 16 1333.90/1334.43 c 1332s | 24 | 3926648 | 3721562 | 5617 1642 | 2 | 16 1335.89/1336.46 c 1334s | 24 | 3931972 | 3726662 | 5617 1644 | 2 | 16 1337.89/1338.49 c 1336s | 24 | 3937037 | 3731562 | 5617 1645 | 2 | 16 1339.89/1340.49 c 1338s | 24 | 3941821 | 3736162 | 5617 1647 | 2 | 16 1341.99/1342.53 c 1340s | 24 | 3947509 | 3741462 | 5617 1649 | 2 | 16 1343.99/1344.56 c 1342s | 24 | 3951513 | 3745262 | 5617 1650 | 2 | 16 1346.09/1346.61 c 1344s | 24 | 3955643 | 3749062 | 5617 1652 | 2 | 16 1348.10/1348.62 c 1346s | 24 | 3959922 | 3753262 | 5617 1653 | 2 | 16 1350.09/1350.67 c 1348s | 24 | 3964697 | 3757562 | 5617 1654 | 2 | 16 1352.19/1352.71 c 1350s | 24 | 3969576 | 3761862 | 5617 1656 | 2 | 16 1354.19/1354.72 c 1352s | 24 | 3974398 | 3766362 | 5617 1657 | 2 | 16 1356.18/1356.74 c 1354s | 24 | 3979798 | 3771662 | 5617 1659 | 2 | 16 1358.18/1358.76 c 1357s | 24 | 3985372 | 3776962 | 5617 1661 | 2 | 16 1360.19/1360.78 c 1359s | 24 | 3990094 | 3781562 | 5617 1663 | 2 | 16 1362.28/1362.82 c 1361s | 24 | 3995084 | 3786262 | 5617 1664 | 2 | 16 1364.28/1364.86 c 1363s | 24 | 3999691 | 3790662 | 5617 1666 | 2 | 16 1366.28/1366.88 c 1365s | 24 | 4005045 | 3795462 | 5617 1668 | 2 | 16 1368.38/1368.90 c 1367s | 24 | 4010598 | 3800662 | 5617 1669 | 2 | 16 1370.38/1370.93 c 1369s | 24 | 4015311 | 3805262 | 5617 1671 | 2 | 16 1372.38/1372.93 c 1371s | 24 | 4020643 | 3810462 | 5617 1673 | 2 | 16 1374.38/1374.94 c 1373s | 24 | 4026728 | 3815862 | 5617 1675 | 2 | 16 1376.37/1376.98 c 1375s | 24 | 4032455 | 3821162 | 5617 1676 | 2 | 16 1378.37/1378.98 c 1377s | 24 | 4037902 | 3826462 | 5617 1678 | 2 | 16 1380.37/1380.99 c 1379s | 24 | 4044047 | 3832462 | 5617 1680 | 2 | 16 1382.47/1383.01 c 1381s | 24 | 4049849 | 3838162 | 5617 1682 | 2 | 16 1384.48/1385.04 c 1383s | 24 | 4055236 | 3843362 | 5617 1684 | 2 | 16 1386.47/1387.04 c 1385s | 24 | 4059710 | 3847362 | 5617 1685 | 2 | 16 1388.47/1389.06 c 1387s | 24 | 4064978 | 3852062 | 5617 1687 | 2 | 16 1390.47/1391.07 c 1389s | 24 | 4071066 | 3858062 | 5617 1689 | 2 | 16 1392.57/1393.12 c 1391s | 24 | 4076860 | 3863762 | 5617 1691 | 2 | 16 1394.57/1395.12 c 1393s | 24 | 4082825 | 3869462 | 5617 1693 | 2 | 16 1396.58/1397.17 c 1395s | 24 | 4088714 | 3874762 | 5617 1695 | 2 | 16 1398.57/1399.18 c 1397s | 24 | 4094258 | 3879862 | 5617 1697 | 2 | 16 1400.57/1401.19 c 1399s | 24 | 4099645 | 3884762 | 5617 1698 | 2 | 16 1402.67/1403.24 c 1401s | 24 | 4105175 | 3889362 | 5617 1700 | 2 | 16 1404.67/1405.25 c 1403s | 24 | 4109881 | 3893762 | 5617 1702 | 2 | 16 1406.67/1407.28 c 1405s | 24 | 4115768 | 3899462 | 5617 1704 | 2 | 16 1408.77/1409.30 c 1407s | 24 | 4121085 | 3904462 | 5617 1705 | 2 | 16 1410.77/1411.33 c 1409s | 24 | 4126621 | 3909462 | 5617 1707 | 2 | 16 1412.77/1413.37 c 1411s | 24 | 4132032 | 3914562 | 5617 1709 | 2 | 16 1414.87/1415.41 c 1413s | 24 | 4137352 | 3919262 | 5617 1710 | 2 | 16 1416.87/1417.43 c 1415s | 24 | 4142649 | 3924462 | 5617 1712 | 2 | 16 1418.87/1419.45 c 1417s | 24 | 4148750 | 3930362 | 5617 1714 | 2 | 16 1420.87/1421.48 c 1419s | 24 | 4153530 | 3934862 | 5617 1716 | 2 | 16 1422.87/1423.48 c 1421s | 24 | 4159351 | 3940462 | 5617 1718 | 2 | 16 1424.86/1425.48 c 1423s | 24 | 4165236 | 3946262 | 5617 1720 | 2 | 16 1426.86/1427.48 c 1425s | 24 | 4170754 | 3951662 | 5617 1722 | 2 | 16 1428.96/1429.50 c 1427s | 24 | 4175976 | 3956762 | 5617 1723 | 2 | 16 1430.96/1431.52 c 1429s | 24 | 4181319 | 3961762 | 5617 1725 | 2 | 16 1432.96/1433.55 c 1431s | 24 | 4186774 | 3966862 | 5617 1727 | 2 | 16 1434.97/1435.57 c 1433s | 24 | 4192111 | 3971862 | 5617 1729 | 2 | 16 1437.06/1437.60 c 1435s | 24 | 4198102 | 3977662 | 5617 1731 | 2 | 16 1439.06/1439.66 c 1437s | 24 | 4203693 | 3983162 | 5617 1732 | 2 | 16 1441.06/1441.67 c 1439s | 24 | 4208265 | 3987362 | 5617 1734 | 2 | 16 1443.16/1443.72 c 1441s | 24 | 4213355 | 3992162 | 5617 1736 | 2 | 16 1445.16/1445.74 c 1443s | 24 | 4218590 | 3996862 | 5617 1737 | 2 | 16 1447.17/1447.75 c 1445s | 24 | 4223739 | 4001462 | 5617 1739 | 2 | 16 1449.16/1449.75 c 1448s | 24 | 4229545 | 4006962 | 5617 1741 | 2 | 16 1451.16/1451.78 c 1450s | 24 | 4234877 | 4012062 | 5617 1742 | 2 | 16 1453.26/1453.81 c 1452s | 24 | 4240577 | 4017162 | 5617 1744 | 2 | 16 1455.26/1455.82 c 1454s | 24 | 4246013 | 4022162 | 5617 1746 | 2 | 16 1457.26/1457.85 c 1456s | 24 | 4251713 | 4027762 | 5617 1748 | 2 | 16 1459.27/1459.88 c 1458s | 24 | 4257206 | 4032162 | 5617 1749 | 2 | 16 1461.26/1461.90 c 1460s | 24 | 4262731 | 4037462 | 5617 1751 | 2 | 16 1463.36/1463.93 c 1462s | 24 | 4268371 | 4042962 | 5617 1753 | 2 | 16 1465.36/1465.95 c 1464s | 24 | 4274010 | 4048162 | 5617 1755 | 2 | 16 1467.36/1467.97 c 1466s | 24 | 4280166 | 4054162 | 5617 1757 | 2 | 16 1469.36/1469.97 c 1468s | 24 | 4286056 | 4059962 | 5617 1759 | 2 | 16 1471.46/1472.02 c 1470s | 24 | 4292144 | 4065962 | 5617 1761 | 2 | 16 1473.47/1474.02 c 1472s | 24 | 4297101 | 4070862 | 5617 1763 | 2 | 16 1475.56/1476.13 c 1474s | 24 | 4301772 | 4075462 | 5617 1764 | 2 | 16 1477.56/1478.15 c 1476s | 24 | 4307944 | 4081462 | 5617 1766 | 3 | 24 1479.56/1480.15 c 1478s | 24 | 4315352 | 4088662 | 5617 1769 | 3 | 24 1481.56/1482.16 c 1480s | 24 | 4321532 | 4094762 | 5617 1771 | 3 | 24 1483.56/1484.17 c 1482s | 24 | 4327446 | 4100562 | 5617 1773 | 3 | 24 1485.56/1486.19 c 1484s | 24 | 4333313 | 4106362 | 5617 1775 | 3 | 24 1487.66/1488.20 c 1486s | 24 | 4338918 | 4111862 | 5617 1777 | 3 | 24 1489.66/1490.25 c 1488s | 24 | 4344162 | 4117062 | 5617 1779 | 3 | 24 1491.66/1492.28 c 1490s | 24 | 4350627 | 4123362 | 5617 1781 | 3 | 24 1493.75/1494.31 c 1492s | 24 | 4356783 | 4129162 | 5617 1783 | 3 | 24 1495.75/1496.33 c 1494s | 24 | 4362884 | 4134962 | 5617 1785 | 3 | 24 1497.76/1498.35 c 1496s | 24 | 4368873 | 4140762 | 5617 1787 | 3 | 24 1499.75/1500.38 c 1498s | 24 | 4374346 | 4145962 | 5617 1788 | 3 | 24 1501.75/1502.39 c 1500s | 24 | 4379808 | 4151062 | 5617 1790 | 3 | 24 1503.85/1504.41 c 1502s | 24 | 4385759 | 4156562 | 5617 1792 | 3 | 24 1505.85/1506.43 c 1504s | 24 | 4391234 | 4161262 | 5617 1794 | 3 | 24 1507.85/1508.45 c 1506s | 24 | 4396684 | 4166162 | 5617 1795 | 3 | 24 1509.86/1510.47 c 1508s | 24 | 4402237 | 4171462 | 5617 1797 | 3 | 24 1511.85/1512.49 c 1510s | 24 | 4408051 | 4176962 | 5617 1799 | 3 | 24 1513.85/1514.49 c 1512s | 24 | 4413559 | 4182162 | 5617 1801 | 3 | 24 1515.95/1516.50 c 1514s | 24 | 4419034 | 4187062 | 5617 1802 | 3 | 24 1517.95/1518.51 c 1516s | 24 | 4424680 | 4192262 | 5617 1804 | 3 | 24 1519.95/1520.53 c 1518s | 24 | 4430331 | 4197462 | 5617 1806 | 3 | 24 1521.96/1522.56 c 1520s | 24 | 4435726 | 4202562 | 5617 1808 | 3 | 24 1523.95/1524.60 c 1522s | 24 | 4440853 | 4207462 | 5617 1809 | 3 | 24 1526.05/1526.63 c 1524s | 24 | 4445758 | 4212162 | 5617 1811 | 3 | 24 1528.05/1528.63 c 1526s | 24 | 4450156 | 4216462 | 5617 1813 | 3 | 24 1530.05/1530.64 c 1528s | 24 | 4455382 | 4221462 | 5617 1814 | 3 | 24 1532.05/1532.68 c 1530s | 24 | 4460500 | 4226262 | 5617 1816 | 3 | 24 1534.14/1534.72 c 1532s | 24 | 4466838 | 4232362 | 5617 1818 | 3 | 24 1536.15/1536.74 c 1534s | 24 | 4472807 | 4238062 | 5617 1820 | 3 | 24 1538.14/1538.75 c 1537s | 24 | 4477947 | 4242962 | 5617 1822 | 3 | 24 1540.14/1540.77 c 1539s | 24 | 4483082 | 4247962 | 5617 1823 | 3 | 24 1542.14/1542.78 c 1541s | 24 | 4488657 | 4253262 | 5617 1825 | 3 | 24 1544.14/1544.78 c 1543s | 24 | 4493950 | 4258362 | 5617 1827 | 3 | 24 1546.24/1546.80 c 1545s | 24 | 4499167 | 4263462 | 5617 1829 | 3 | 24 1548.25/1548.84 c 1547s | 24 | 4504276 | 4268462 | 5617 1830 | 3 | 24 1550.24/1550.85 c 1549s | 24 | 4509898 | 4273862 | 5617 1832 | 3 | 24 1552.24/1552.85 c 1551s | 24 | 4515309 | 4279062 | 5617 1834 | 3 | 24 1554.24/1554.85 c 1553s | 24 | 4520785 | 4284362 | 5617 1836 | 3 | 24 1556.24/1556.88 c 1555s | 24 | 4526153 | 4289562 | 5617 1838 | 3 | 24 1558.25/1558.89 c 1557s | 24 | 4531453 | 4294662 | 5617 1839 | 3 | 24 1560.35/1560.91 c 1559s | 24 | 4536915 | 4299962 | 5617 1841 | 3 | 24 1562.35/1562.94 c 1561s | 24 | 4542325 | 4305162 | 5617 1843 | 3 | 24 1564.35/1564.97 c 1563s | 24 | 4547724 | 4310262 | 5617 1845 | 3 | 24 1566.35/1566.98 c 1565s | 24 | 4553140 | 4315462 | 5617 1846 | 3 | 24 1568.34/1568.99 c 1567s | 24 | 4558605 | 4320662 | 5617 1848 | 3 | 24 1570.44/1571.03 c 1569s | 24 | 4564363 | 4325962 | 5617 1850 | 3 | 24 1572.45/1573.05 c 1571s | 24 | 4569900 | 4331162 | 5617 1852 | 3 | 24 1574.44/1575.08 c 1573s | 24 | 4575504 | 4336362 | 5617 1854 | 3 | 24 1576.44/1577.09 c 1575s | 24 | 4581121 | 4341762 | 5617 1855 | 3 | 24 1578.54/1579.12 c 1577s | 24 | 4586971 | 4347362 | 5617 1857 | 3 | 24 1580.54/1581.13 c 1579s | 24 | 4592582 | 4352662 | 5617 1859 | 3 | 24 1582.54/1583.13 c 1581s | 24 | 4597971 | 4357662 | 5617 1861 | 3 | 24 1584.55/1585.15 c 1583s | 24 | 4603778 | 4363162 | 5617 1863 | 3 | 24 1586.54/1587.18 c 1585s | 24 | 4608714 | 4367662 | 5617 1864 | 3 | 24 1588.64/1589.20 c 1587s | 24 | 4614310 | 4372762 | 5617 1866 | 3 | 24 1590.64/1591.23 c 1589s | 24 | 4619848 | 4378062 | 5617 1868 | 3 | 24 1592.64/1593.25 c 1591s | 24 | 4625494 | 4383462 | 5617 1870 | 3 | 24 1594.64/1595.25 c 1593s | 24 | 4631416 | 4389062 | 5617 1872 | 3 | 24 1596.64/1597.28 c 1595s | 24 | 4637293 | 4394662 | 5617 1874 | 3 | 24 1598.74/1599.31 c 1597s | 24 | 4643019 | 4400062 | 5617 1875 | 3 | 24 1600.73/1601.31 c 1599s | 24 | 4648851 | 4405662 | 5617 1877 | 3 | 24 1602.73/1603.32 c 1601s | 24 | 4654482 | 4411062 | 5617 1879 | 3 | 24 1604.73/1605.34 c 1603s | 24 | 4659849 | 4416262 | 5617 1881 | 3 | 24 1606.73/1607.36 c 1605s | 24 | 4665755 | 4421962 | 5617 1883 | 3 | 24 1608.74/1609.38 c 1607s | 24 | 4671306 | 4427262 | 5617 1885 | 3 | 24 1610.83/1611.40 c 1609s | 24 | 4677011 | 4432662 | 5617 1887 | 3 | 24 1612.83/1613.43 c 1611s | 24 | 4682587 | 4437962 | 5617 1888 | 3 | 24 1614.83/1615.43 c 1613s | 24 | 4687980 | 4443062 | 5617 1890 | 3 | 24 1616.83/1617.46 c 1615s | 24 | 4693703 | 4448462 | 5617 1892 | 3 | 24 1618.83/1619.47 c 1617s | 24 | 4699315 | 4453862 | 5617 1894 | 3 | 24 1620.84/1621.49 c 1619s | 24 | 4705285 | 4459462 | 5617 1896 | 3 | 24 1622.94/1623.53 c 1621s | 24 | 4711120 | 4464962 | 5617 1898 | 3 | 24 1624.94/1625.54 c 1623s | 24 | 4716981 | 4470562 | 5617 1900 | 3 | 24 1626.94/1627.56 c 1625s | 24 | 4723034 | 4476362 | 5617 1902 | 3 | 24 1628.94/1629.59 c 1627s | 24 | 4728839 | 4481962 | 5617 1903 | 3 | 24 1631.04/1631.63 c 1629s | 24 | 4734414 | 4487162 | 5617 1905 | 3 | 24 1633.04/1633.66 c 1631s | 24 | 4739904 | 4492462 | 5617 1907 | 3 | 24 1635.04/1635.69 c 1633s | 24 | 4745539 | 4497862 | 5617 1909 | 3 | 24 1637.14/1637.70 c 1635s | 24 | 4751188 | 4503162 | 5617 1911 | 3 | 24 1639.14/1639.71 c 1637s | 24 | 4757213 | 4508762 | 5617 1913 | 3 | 24 1641.14/1641.77 c 1640s | 24 | 4762499 | 4513762 | 5617 1914 | 3 | 24 1643.14/1643.78 c 1642s | 24 | 4768168 | 4519062 | 5617 1916 | 3 | 24 1645.14/1645.79 c 1644s | 24 | 4773807 | 4524362 | 5617 1918 | 3 | 24 1647.24/1647.82 c 1646s | 24 | 4779177 | 4529462 | 5617 1920 | 3 | 24 1649.24/1649.83 c 1648s | 24 | 4784263 | 4534262 | 5617 1921 | 3 | 24 1651.23/1651.84 c 1650s | 24 | 4789921 | 4539462 | 5617 1923 | 3 | 24 1653.23/1653.85 c 1652s | 24 | 4795870 | 4544962 | 5617 1925 | 3 | 24 1655.23/1655.87 c 1654s | 24 | 4801585 | 4550462 | 5617 1927 | 3 | 24 1657.24/1657.89 c 1656s | 24 | 4806733 | 4555362 | 5617 1929 | 3 | 24 1659.23/1659.90 c 1658s | 24 | 4812069 | 4560362 | 5617 1930 | 3 | 24 1661.33/1661.91 c 1660s | 24 | 4817529 | 4565562 | 5617 1932 | 3 | 24 1663.33/1663.92 c 1662s | 24 | 4823033 | 4570862 | 5617 1934 | 3 | 24 1665.33/1665.95 c 1664s | 24 | 4828255 | 4575762 | 5617 1936 | 3 | 24 1667.33/1667.97 c 1666s | 24 | 4834240 | 4581162 | 5617 1937 | 3 | 24 1669.33/1669.97 c 1668s | 24 | 4839950 | 4586462 | 5617 1939 | 3 | 24 1671.33/1671.98 c 1670s | 24 | 4845916 | 4592162 | 5617 1941 | 3 | 24 1673.32/1673.99 c 1672s | 24 | 4851642 | 4597462 | 5617 1943 | 3 | 24 1675.42/1676.01 c 1674s | 24 | 4857557 | 4602762 | 5617 1945 | 3 | 24 1677.42/1678.02 c 1676s | 24 | 4863122 | 4607962 | 5617 1947 | 3 | 24 1679.42/1680.08 c 1678s | 24 | 4868939 | 4613462 | 5617 1949 | 3 | 24 1681.53/1682.11 c 1680s | 24 | 4874983 | 4619262 | 5617 1950 | 3 | 24 1683.54/1684.14 c 1682s | 24 | 4880980 | 4625062 | 5617 1952 | 3 | 24 1685.53/1686.16 c 1684s | 24 | 4886692 | 4630562 | 5617 1954 | 3 | 24 1687.53/1688.18 c 1686s | 24 | 4892826 | 4636362 | 5617 1956 | 3 | 24 1689.63/1690.22 c 1688s | 24 | 4898600 | 4641962 | 5617 1958 | 3 | 24 1691.63/1692.24 c 1690s | 24 | 4904282 | 4647462 | 5617 1960 | 3 | 24 1693.63/1694.26 c 1692s | 24 | 4909689 | 4652562 | 5617 1962 | 3 | 24 1695.63/1696.28 c 1694s | 24 | 4915261 | 4657862 | 5617 1964 | 3 | 24 1697.63/1698.29 c 1696s | 24 | 4921327 | 4663562 | 5617 1966 | 3 | 24 1699.62/1700.29 c 1698s | 24 | 4926714 | 4668562 | 5617 1967 | 3 | 24 1701.72/1702.30 c 1700s | 24 | 4932467 | 4674062 | 5617 1969 | 3 | 24 1703.72/1704.32 c 1702s | 24 | 4938004 | 4679262 | 5617 1971 | 3 | 24 1705.72/1706.33 c 1704s | 24 | 4944227 | 4685162 | 5617 1973 | 3 | 24 1707.73/1708.35 c 1706s | 24 | 4949462 | 4690162 | 5617 1975 | 3 | 24 1709.72/1710.38 c 1708s | 24 | 4954478 | 4695062 | 5617 1976 | 3 | 24 1711.82/1712.43 c 1710s | 24 | 4959995 | 4700362 | 5617 1978 | 3 | 24 1713.82/1714.44 c 1712s | 24 | 4964837 | 4705062 | 5617 1980 | 3 | 24 1715.82/1716.45 c 1714s | 24 | 4970616 | 4710562 | 5617 1982 | 3 | 24 1717.82/1718.46 c 1716s | 24 | 4976427 | 4716062 | 5617 1984 | 3 | 24 1719.83/1720.50 c 1718s | 24 | 4982247 | 4721662 | 5617 1986 | 3 | 24 1721.92/1722.52 c 1720s | 24 | 4988451 | 4727562 | 5617 1988 | 3 | 24 1723.92/1724.52 c 1722s | 24 | 4994647 | 4733462 | 5617 1990 | 3 | 24 1725.92/1726.56 c 1724s | 24 | 5000484 | 4738762 | 5617 1991 | 3 | 24 1727.92/1728.57 c 1726s | 24 | 5006260 | 4743862 | 5617 1993 | 3 | 24 1729.92/1730.57 c 1728s | 24 | 5012222 | 4749262 | 5617 1995 | 3 | 24 1731.92/1732.58 c 1730s | 24 | 5018122 | 4754462 | 5617 1997 | 3 | 24 1734.01/1734.62 c 1732s | 24 | 5023954 | 4759662 | 5617 1999 | 3 | 24 1736.01/1736.65 c 1734s | 24 | 5029640 | 4764662 | 5617 2000 | 3 | 24 1738.01/1738.66 c 1736s | 24 | 5035310 | 4769962 | 5617 2002 | 3 | 24 1740.01/1740.69 c 1738s | 24 | 5041546 | 4775962 | 5617 2004 | 3 | 24 1742.11/1742.70 c 1740s | 24 | 5047644 | 4781762 | 5617 2006 | 3 | 24 1744.12/1744.74 c 1742s | 24 | 5053895 | 4787662 | 5617 2008 | 3 | 24 1746.12/1746.76 c 1745s | 24 | 5059390 | 4792962 | 5617 2010 | 3 | 24 1748.12/1748.79 c 1747s | 24 | 5065053 | 4798462 | 5617 2012 | 3 | 24 1750.12/1750.79 c 1749s | 24 | 5071215 | 4804462 | 5617 2014 | 3 | 24 1752.22/1752.82 c 1751s | 24 | 5078074 | 4811162 | 5617 2016 | 3 | 24 1754.22/1754.82 c 1753s | 24 | 5083800 | 4816562 | 5617 2018 | 3 | 24 1756.23/1756.83 c 1755s | 24 | 5089217 | 4821762 | 5617 2020 | 3 | 24 1758.22/1758.84 c 1757s | 24 | 5094878 | 4827262 | 5617 2022 | 3 | 24 1760.22/1760.87 c 1759s | 24 | 5100556 | 4832662 | 5617 2023 | 3 | 24 1762.22/1762.88 c 1761s | 24 | 5106408 | 4838262 | 5617 2025 | 3 | 24 1764.32/1764.90 c 1763s | 24 | 5112470 | 4843962 | 5617 2027 | 3 | 24 1766.32/1766.91 c 1765s | 24 | 5118275 | 4849462 | 5617 2029 | 3 | 24 1768.32/1768.92 c 1767s | 24 | 5124213 | 4855062 | 5617 2031 | 3 | 24 1770.32/1770.93 c 1769s | 24 | 5129965 | 4860362 | 5617 2033 | 3 | 24 1772.32/1772.94 c 1771s | 24 | 5135585 | 4865662 | 5617 2035 | 3 | 24 1774.32/1774.95 c 1773s | 24 | 5141297 | 4870962 | 5617 2037 | 3 | 24 1776.32/1776.98 c 1775s | 24 | 5147022 | 4876562 | 5617 2038 | 3 | 24 1778.32/1778.99 c 1777s | 24 | 5152482 | 4881762 | 5617 2040 | 3 | 24 1780.42/1781.01 c 1779s | 24 | 5158613 | 4887662 | 5617 2042 | 3 | 24 1782.41/1783.02 c 1781s | 24 | 5164072 | 4892962 | 5617 2044 | 3 | 24 1784.41/1785.03 c 1783s | 24 | 5170122 | 4898762 | 5617 2046 | 3 | 24 1786.41/1787.05 c 1785s | 24 | 5176121 | 4904562 | 5617 2048 | 3 | 24 1788.41/1789.06 c 1787s | 24 | 5181923 | 4910262 | 5617 2050 | 3 | 24 1790.41/1791.07 c 1789s | 24 | 5186980 | 4915162 | 5617 2052 | 3 | 24 1792.42/1793.10 c 1791s | 24 | 5192720 | 4920762 | 5617 2054 | 3 | 24 1794.51/1795.20 c 1793s | 24 | 5198568 | 4926362 | 5617 2056 | 3 | 24 1796.61/1797.23 c 1795s | 24 | 5204376 | 4932062 | 5617 2057 | 3 | 24 1798.61/1799.26 c 1797s | 24 | 5210176 | 4937562 | 5617 2059 | 3 | 24
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-4106118-1466265896/watcher-4106118-1466265896 -o /tmp/evaluation-result-4106118-1466265896/solver-4106118-1466265896 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106118-1466265896.opb pid=8195 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: 1.97 2.12 2.04 4/179 8198 /proc/meminfo: memFree=30122348/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=241084 CPUtime=0 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 619 0 0 0 0 0 0 0 20 0 4 0 28635063 246870016 1496 33554432000 4194304 16246674 140735855196976 140735855196400 13906216 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 60271 1509 391 2943 0 57165 0 [pid=8198/tid=8199] ppid=8195 vsize=241084 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 246870016 1550 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=241084 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 246870016 1558 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=241084 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28635064 246870016 1568 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100163 s] /proc/loadavg: 1.97 2.12 2.04 4/179 8198 /proc/meminfo: memFree=30122348/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 21153 0 0 0 5 3 0 0 20 0 4 0 28635063 1247350784 22012 33554432000 4194304 16246674 140735855196976 140735855178880 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 304529 22020 759 2943 0 301423 0 [pid=8198/tid=8199] ppid=8195 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1247350784 22026 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1247350784 22032 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28635064 1247350784 22036 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200506 s] /proc/loadavg: 1.97 2.12 2.04 4/179 8198 /proc/meminfo: memFree=30122348/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1218116 CPUtime=0.18 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 38054 0 0 0 13 5 0 0 20 0 4 0 28635063 1247350784 38913 33554432000 4194304 16246674 140735855196976 140735855178880 5712672 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 304529 38919 759 2943 0 301423 0 [pid=8198/tid=8199] ppid=8195 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1247350784 38922 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1247350784 38926 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28635064 1247350784 38929 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300494 s] /proc/loadavg: 1.97 2.12 2.04 4/179 8198 /proc/meminfo: memFree=30122348/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 55754 0 0 0 22 7 0 0 20 0 4 0 28635063 1247350784 56614 33554432000 4194304 16246674 140735855196976 140735855178880 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 304529 56623 759 2943 0 301423 0 [pid=8198/tid=8199] ppid=8195 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1247350784 56630 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1247350784 56637 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28635064 1247350784 56642 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700415 s] /proc/loadavg: 1.97 2.12 2.04 4/179 8198 /proc/meminfo: memFree=30122348/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 132537 0 0 0 51 18 0 0 20 0 4 0 28635063 1247350784 133397 33554432000 4194304 16246674 140735855196976 140735855178880 5546859 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 304529 133409 766 2943 0 301423 0 [pid=8198/tid=8199] ppid=8195 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1247350784 133412 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1247350784 133416 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28635064 1247350784 133422 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 1.97 2.12 2.04 3/183 8202 /proc/meminfo: memFree=29283512/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 246131 0 0 0 115 34 0 0 20 0 4 0 28635063 1250496512 246967 33554432000 4194304 16246674 140735855196976 140735855196288 5545840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 305297 246967 832 2943 0 302191 0 [pid=8198/tid=8199] ppid=8195 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1250496512 246967 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1250496512 246967 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1250496512 246967 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10043 s] /proc/loadavg: 1.97 2.12 2.04 3/183 8202 /proc/meminfo: memFree=29085624/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 267670 0 0 0 271 38 0 0 20 0 4 0 28635063 1338576896 268506 33554432000 4194304 16246674 140735855196976 140735855196152 13781188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 326801 268506 852 2943 0 323695 0 [pid=8198/tid=8199] ppid=8195 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1338576896 268506 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1338576896 268506 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1338576896 268506 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30043 s] /proc/loadavg: 1.97 2.12 2.04 3/183 8202 /proc/meminfo: memFree=29047848/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 267895 0 0 0 591 38 0 0 20 0 4 0 28635063 1338576896 268731 33554432000 4194304 16246674 140735855196976 140735855178880 5712771 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 326801 268731 852 2943 0 323695 0 [pid=8198/tid=8199] ppid=8195 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1338576896 268731 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1338576896 268731 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1338576896 268731 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 1.98 2.11 2.04 3/183 8202 /proc/meminfo: memFree=29045892/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1310276 CPUtime=12.68 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 268544 0 0 0 1230 38 0 0 20 0 4 0 28635063 1341722624 269380 33554432000 4194304 16246674 140735855196976 140735855179976 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 327569 269380 852 2943 0 324463 0 [pid=8198/tid=8199] ppid=8195 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1341722624 269380 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1341722624 269380 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1341722624 269380 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1310276 [startup+25.5005 s] /proc/loadavg: 2.06 2.13 2.04 3/183 8202 /proc/meminfo: memFree=29045104/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1310276 CPUtime=25.48 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 268664 0 0 0 2510 38 0 0 20 0 4 0 28635063 1341722624 269500 33554432000 4194304 16246674 140735855196976 140735855179976 5600232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 327569 269500 853 2943 0 324463 0 [pid=8198/tid=8199] ppid=8195 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1341722624 269500 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1341722624 269500 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1341722624 269500 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 2.04 2.11 2.04 3/183 8202 /proc/meminfo: memFree=29040864/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1310276 CPUtime=51.08 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 268664 0 0 0 5070 38 0 0 20 0 4 0 28635063 1341722624 269500 33554432000 4194304 16246674 140735855196976 140735855178880 5545840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 327569 269500 853 2943 0 324463 0 [pid=8198/tid=8199] ppid=8195 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1341722624 269500 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1341722624 269500 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1341722624 269500 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1310276 [startup+102.301 s] /proc/loadavg: 2.18 2.14 2.05 3/183 8204 /proc/meminfo: memFree=29039884/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1311300 CPUtime=102.28 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 268921 0 0 0 10189 39 0 0 20 0 4 0 28635063 1342771200 269757 33554432000 4194304 16246674 140735855196976 140735855178880 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 327825 269757 854 2943 0 324719 0 [pid=8198/tid=8199] ppid=8195 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1342771200 269757 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1342771200 269757 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1342771200 269757 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1311300 ################ # More data... # ################ /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1354305536 272577 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1322564 [startup+1302.3 s] /proc/loadavg: 2.09 2.07 2.05 3/183 8234 /proc/meminfo: memFree=29012092/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1322564 CPUtime=1301.81 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 272141 0 0 0 130128 53 0 0 20 0 4 0 28635063 1354305536 272577 33554432000 4194304 16246674 140735855196976 140735855178880 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 330641 272577 855 2943 0 327535 0 [pid=8198/tid=8199] ppid=8195 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1354305536 272577 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1354305536 272577 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1354305536 272577 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1322564 [startup+1362.3 s] /proc/loadavg: 2.10 2.07 2.05 3/183 8236 /proc/meminfo: memFree=29012120/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1322564 CPUtime=1361.78 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 272181 0 0 0 136124 54 0 0 20 0 4 0 28635063 1354305536 272577 33554432000 4194304 16246674 140735855196976 140735855178880 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 330641 272577 855 2943 0 327535 0 [pid=8198/tid=8199] ppid=8195 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1354305536 272577 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1354305536 272577 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1354305536 272577 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 1322564 [startup+1422.3 s] /proc/loadavg: 2.03 2.05 2.04 3/183 8237 /proc/meminfo: memFree=29001036/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1322564 CPUtime=1421.77 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 272186 0 0 0 142123 54 0 0 20 0 4 0 28635063 1354305536 272577 33554432000 4194304 16246674 140735855196976 140735855178880 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 330641 272577 855 2943 0 327535 0 [pid=8198/tid=8199] ppid=8195 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1354305536 272577 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1354305536 272577 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1354305536 272577 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1322564 [startup+1482.3 s] /proc/loadavg: 2.01 2.04 2.03 3/183 8238 /proc/meminfo: memFree=28993600/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1329732 CPUtime=1481.76 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 273978 0 0 0 148121 55 0 0 20 0 4 0 28635063 1361645568 274369 33554432000 4194304 16246674 140735855196976 140735855178880 5822756 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 332433 274369 855 2943 0 329327 0 [pid=8198/tid=8199] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 1329732 [startup+1542.31 s] /proc/loadavg: 2.03 2.05 2.03 3/184 8242 /proc/meminfo: memFree=28993392/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1329732 CPUtime=1541.75 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 273978 0 0 0 154120 55 0 0 20 0 4 0 28635063 1361645568 274369 33554432000 4194304 16246674 140735855196976 140735855178880 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 332433 274369 855 2943 0 329327 0 [pid=8198/tid=8199] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 1329732 [startup+1602.3 s] /proc/loadavg: 2.01 2.04 2.03 3/183 8243 /proc/meminfo: memFree=28993532/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1329732 CPUtime=1601.73 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 273978 0 0 0 160117 56 0 0 20 0 4 0 28635063 1361645568 274369 33554432000 4194304 16246674 140735855196976 140735855178880 5545844 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 332433 274369 855 2943 0 329327 0 [pid=8198/tid=8199] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 1329732 [startup+1662.3 s] /proc/loadavg: 2.05 2.04 2.03 3/183 8245 /proc/meminfo: memFree=28993296/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1329732 CPUtime=1661.73 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 273978 0 0 0 166116 57 0 0 20 0 4 0 28635063 1361645568 274369 33554432000 4194304 16246674 140735855196976 140735855178880 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 332433 274369 855 2943 0 329327 0 [pid=8198/tid=8199] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1329732 [startup+1722.3 s] /proc/loadavg: 2.02 2.03 2.02 3/183 8246 /proc/meminfo: memFree=28993308/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1329732 CPUtime=1721.72 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 273978 0 0 0 172114 58 0 0 20 0 4 0 28635063 1361645568 274369 33554432000 4194304 16246674 140735855196976 140735855178880 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 332433 274369 855 2943 0 329327 0 [pid=8198/tid=8199] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1329732 [startup+1782.3 s] /proc/loadavg: 2.05 2.04 2.02 3/183 8247 /proc/meminfo: memFree=28992388/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1329732 CPUtime=1781.72 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 273978 0 0 0 178113 59 0 0 20 0 4 0 28635063 1361645568 274369 33554432000 4194304 16246674 140735855196976 140735855178880 5711956 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 332433 274369 855 2943 0 329327 0 [pid=8198/tid=8199] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 1329732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.04 2.03 2.02 3/183 8296 /proc/meminfo: memFree=29027692/32872528 swapFree=496868/529572 [pid=8198] ppid=8195 vsize=1329732 CPUtime=1800.01 cores=1,3,5,7 /proc/8198/stat : 8198 (toysat) R 8195 8198 7739 0 -1 4202496 273978 0 0 0 179941 60 0 0 20 0 4 0 28635063 1361645568 274369 33554432000 4194304 16246674 140735855196976 140735855178880 13774516 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8198/statm: 332433 274369 855 2943 0 329327 0 [pid=8198/tid=8199] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8199/stat : 8199 (toysat) S 8195 8198 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357398408432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=8198/tid=8200] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8200/stat : 8200 (toysat) S 8195 8198 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357316619504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=8198/tid=8201] ppid=8195 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/8198/task/8201/stat : 8201 (toysat) S 8195 8198 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28635064 1361645568 274369 33554432000 4194304 16246674 140735855196976 140357306145968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1329732 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 8198 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.02 CPU user time (s): 1799.42 CPU system time (s): 0.599908 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (KiB): 1329732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 0.599908 maximum resident set size= 1097476 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273978 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= 464 involuntary context switches= 1953 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.6594 second user time and 18.4452 second system time The end
Begin job on node141 at 2016-06-18 18:04:56 IDJOB=4106118 IDBENCH=47940 IDSOLVER=2542 FILE ID=node141/4106118-1466265896 RUNJOBID= node141-1466264081-7756 PBS_JOBID= 19918217 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=43-P1=131-P2=257-P3=71-P4=149-P5=223-P6=167-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106118-1466265896/watcher-4106118-1466265896 -o /tmp/evaluation-result-4106118-1466265896/solver-4106118-1466265896 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106118-1466265896.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 29d9c644cbc560d09c0ca2d5a8d36791 RANDOM SEED=1135710509 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30123272 kB Buffers: 144312 kB Cached: 254104 kB SwapCached: 2528 kB Active: 1215540 kB Inactive: 260344 kB Active(anon): 1077812 kB Inactive(anon): 2028 kB Active(file): 137728 kB Inactive(file): 258316 kB Unevictable: 529572 kB Mlocked: 496868 kB SwapTotal: 67108856 kB SwapFree: 67099068 kB Dirty: 33260 kB Writeback: 0 kB AnonPages: 1610176 kB Mapped: 10444 kB Shmem: 0 kB Slab: 610208 kB SReclaimable: 53164 kB SUnreclaim: 557044 kB KernelStack: 1520 kB PageTables: 6788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1748348 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 40960 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= 71696 MiB End job on node141 at 2016-06-18 18:34:57