| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=61-P1=167-P2=157-P3=13-P4=173-P5=47-P6=47-P7=251-P8=79-B.opb |
| MD5SUM | 8f717fbc7f85484ebc0de379ab09a890 |
| 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.135979 |
| 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 | 192 |
| Total number of constraints | 17 |
| 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 | 17 |
| 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) | 512 |
| Sum of products size (including duplicates) | 1024 |
| Number of different products | 512 |
| Sum of products size | 1024 |
0.00/0.00 c 2016-06-07T01:11:02+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-4080200-1465254662.opb"] 0.00/0.01 c use --random-gen="2740954605 3593002869 4249222038 4270791922 860215939 3758449185 3325184636 455056846 2040534127 2065851284 2271846632 447378546 4139969590 2475434626 107151041 3493726128 3003456516 1730083714 3838684991 1051490585 3231601867 2548087429 3406324169 2513292930 373404054 2433153852 3461984361 756865879 629620647 976434505 2656471611 518205578 4062987945 4035487078 4272537475 3134723935 200889787 3630344665 1667815808 3141902782 1815499503 3804947081 4072688328 3367581764 3535966449 331013972 1268999396 2950067927 43581281 782521425 2849003069 47945144 3205255433 3433631057 1062090323 3219850701 1162801417 3876383133 4118809781 325596538 3365121953 548331314 635170082 1407340931 1950181524 2234967456 3574203285 3478877124 3413888796 374276811 3897211091 2142566066 1077641928 1068692178 1410542325 1683571298 2853016742 1541147910 1171244391 3858938036 3433292081 971249679 218451456 1918422913 3660351670 3893863128 2530427768 1386593324 2928005600 2085156108 228937833 1289551262 1115214408 2414749110 3076992614 1207345946 2738126827 1159759921 1990636413 3050291239 3442904067 1716397312 3875769294 2184987911 1717397672 976803035 3200967449 617558305 256627348 63798023 3186118379 2365376514 297277503 3563695376 872419326 3048918620 2901166834 425094481 2508255424 3672987734 9589288 689386593 4234383751 221956974 2262269442 1927374035 2993682273 2696440067 1898575594 1638665698 1378947050 3224139911 1452185986 3064111647 169223150 2199656409 1536423991 2288089234 2619786794 3734383375 3074690979 4180524491 1794318399 1650938550 2774725325 3675362308 3968385900 715956713 361824735 2875919860 3694654264 571434322 1867654625 1789871753 1303953652 1402213040 680212331 2480101175 1904392667 954298175 308518208 3740477679 1454985612 2614047002 585230875 2646631735 1915580493 3280485830 2516295778 4003080214 128906189 1933284533 361396868 2030128765 3771438748 3993573244 2637340272 162691197 2400353160 4087577458 4096152951 1689458389 1586601299 3915226077 3905350016 686302967 2033037664 694435092 1405155834 2139908003 2447779659 1311713317 4195081235 2235957168 2661376079 2536435293 3262859853 4148913787 3122895548 3105182084 3843515582 1580427231 3538072903 4042539006 2444974866 2230328980 2619761988 2659422189 112017615 2999844780 4058093670 4203382342 1845220331 2515415866 1929455794 1281584115 526986011 1587078869 4115029846 3648510481 764692214 2332564156 2838541257 3280084963 1008502671 930316084 2527189273 2898312120 1737895588 1175201760 405122477 1928058598 4146975665 166226642 38535498 2749986380 3311627280 1632495429 4166265423 2523263625 2505909490 3796127396 3567723222 1805309213 4142659436 4060865342 3789303155 3546495578 2381272472 3593516672 846694136 2481360136 556507630 1787286853 2159315235 3085862042 255 362436" option to reproduce the execution 0.00/0.01 c #vars 192 0.00/0.01 c #constraints 17 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 | 755 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 113 | 100 | 755 0 | 0 | 0 0.00/0.08 c 0.1s | 2 | 284 | 250 | 831 0 | 0 | 0 0.08/0.14 c 0.1s | 3 | 545 | 475 | 915 0 | 0 | 0 0.08/0.34 c 0.2s | 4 | 976 | 813 | 1007 0 | 0 | 0 0.45/0.45 c 0.4s | 5 | 1608 | 1320 | 1108 0 | 0 | 0 0.69/0.72 c 0.7s | 6 | 2546 | 2081 | 1341 1 | 0 | 0 0.98/1.06 c 1.0s | 7 | 3770 | 3223 | 1476 3 | 0 | 0 1.49/1.58 c 1.6s | 8 | 5579 | 4936 | 1624 5 | 0 | 0 1.59/1.61 c 1.6s | 8 | 5796 | 5059 | 1624 5 | 0 | 0 1.59/1.61 c #cpu_time = 1.578s 1.59/1.61 c #wall_clock_time = 1.583s 1.59/1.61 c #decision = 5796 1.59/1.61 c #random_decision = 23 1.59/1.61 c #conflict = 5059 1.59/1.61 c #restart = 8 1.59/1.61 o 119 1.59/1.61 c BCD2: hardening fixes 1 literals 1.59/1.61 c BCD2: updating upper bound: 255 -> 118 1.59/1.61 c BCD2: 0 <= obj <= 118 1.59/1.61 c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=1 1.59/1.61 c BCD2: #sat=1 #unsat=1 bias=1/2 1.59/1.61 c Solving starts ... 1.59/1.61 c ============================[ Search Statistics ]============================ 1.59/1.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.61 c | | | | Limit GC | Var | Constra 1.59/1.61 c ============================================================================= 1.59/1.61 c 0.0s | 0 | 0 | 0 | 1624 0 | 10 | 0 1.59/1.61 c 0.0s | 0 | 5 | 0 | 1624 0 | 10 | 24 1.59/1.61 c #cpu_time = 0.003s 1.59/1.61 c #wall_clock_time = 0.003s 1.59/1.61 c #decision = 5 1.59/1.61 c #random_decision = 0 1.59/1.61 c #conflict = 0 1.59/1.61 c #restart = 0 1.59/1.61 c BCD2: found a new core of size 6: cost of the new core is >=2 1.59/1.61 c lower bound updated to 2 1.59/1.61 c BCD2: 2 <= obj <= 118 1.59/1.61 c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=1 1.59/1.61 c BCD2: #sat=1 #unsat=2 bias=2/3 1.59/1.61 c Solving starts ... 1.59/1.61 c ============================[ Search Statistics ]============================ 1.59/1.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.61 c | | | | Limit GC | Var | Constra 1.59/1.61 c ============================================================================= 1.59/1.61 c 0.0s | 0 | 0 | 0 | 1624 0 | 10 | 24 1.59/1.63 c 0.0s | 1 | 214 | 100 | 1624 0 | 10 | 24 1.69/1.70 c 0.1s | 2 | 473 | 250 | 1624 0 | 10 | 24 1.79/1.84 c 0.2s | 3 | 814 | 475 | 1624 0 | 10 | 24 1.89/1.91 c 0.3s | 4 | 1293 | 813 | 1624 1 | 10 | 24 1.99/2.06 c 0.4s | 5 | 1896 | 1320 | 1624 1 | 10 | 24 2.29/2.32 c 0.7s | 6 | 2828 | 2081 | 1624 2 | 10 | 24 2.69/2.73 c 1.1s | 7 | 4129 | 3223 | 1787 3 | 10 | 24 3.19/3.23 c 1.6s | 8 | 6157 | 4936 | 1787 4 | 10 | 24 4.19/4.23 c 2.6s | 9 | 8920 | 7506 | 1966 6 | 10 | 24 5.70/5.74 c 4.1s | 10 | 13089 | 11361 | 1966 9 | 10 | 24 7.39/7.41 c 5.8s | 11 | 19191 | 17144 | 2163 13 | 10 | 24 9.39/9.41 c 7.8s | 11 | 27342 | 24744 | 2380 19 | 10 | 24 9.59/9.69 c 8.1s | 12 | 28467 | 25819 | 2380 19 | 10 | 24 11.69/11.71 c 10.1s | 12 | 36593 | 33419 | 2380 25 | 10 | 24 13.40/13.50 c 11.9s | 13 | 42469 | 38832 | 2618 28 | 10 | 24 15.48/15.52 c 13.9s | 13 | 50736 | 46432 | 2618 33 | 10 | 24 17.48/17.54 c 15.9s | 13 | 57902 | 53332 | 2880 37 | 10 | 24 18.89/18.95 c 17.3s | 14 | 63244 | 58352 | 2880 40 | 10 | 24 20.98/21.00 c 19.4s | 14 | 67385 | 62052 | 2880 42 | 10 | 24 22.98/23.01 c 21.4s | 14 | 72562 | 67052 | 2880 45 | 10 | 24 24.98/25.02 c 23.4s | 14 | 77272 | 71652 | 2880 48 | 10 | 24 26.98/27.03 c 25.4s | 14 | 81909 | 76052 | 2880 50 | 10 | 24 29.08/29.10 c 27.5s | 14 | 87175 | 81152 | 2880 53 | 10 | 24 31.09/31.17 c 29.6s | 14 | 90426 | 84252 | 3169 55 | 10 | 24 32.88/32.97 c 31.4s | 15 | 94119 | 87632 | 3169 57 | 10 | 24 34.89/34.99 c 33.4s | 15 | 103575 | 96732 | 3169 62 | 10 | 24 36.99/37.04 c 35.4s | 15 | 111859 | 104732 | 3169 67 | 10 | 24 38.99/39.04 c 37.4s | 15 | 120392 | 112732 | 3169 71 | 10 | 24 40.99/41.06 c 39.4s | 15 | 127998 | 119932 | 3169 75 | 10 | 24 42.99/43.08 c 41.5s | 15 | 135784 | 127332 | 3486 79 | 10 | 24 44.29/44.39 c 42.8s | 16 | 140382 | 131552 | 3486 81 | 10 | 24 46.39/46.43 c 44.8s | 16 | 145878 | 135552 | 3486 84 | 10 | 24 48.38/48.46 c 46.8s | 16 | 152832 | 142252 | 3486 87 | 10 | 24 50.38/50.49 c 48.9s | 16 | 159473 | 148652 | 3486 90 | 10 | 24 52.48/52.53 c 50.9s | 16 | 165565 | 154352 | 3486 93 | 10 | 24 54.48/54.55 c 52.9s | 16 | 171812 | 160352 | 3486 96 | 10 | 24 56.48/56.55 c 54.9s | 16 | 178787 | 166852 | 3486 100 | 10 | 24 58.49/58.60 c 57.0s | 16 | 186297 | 173952 | 3486 104 | 10 | 24 60.58/60.64 c 59.0s | 16 | 192928 | 180152 | 3486 107 | 10 | 24 62.58/62.65 c 61.0s | 16 | 199991 | 186752 | 3486 110 | 10 | 24 64.58/64.67 c 63.1s | 16 | 206951 | 193452 | 3835 113 | 10 | 24 66.08/66.14 c 64.5s | 17 | 211142 | 197432 | 3835 115 | 10 | 24 68.08/68.16 c 66.5s | 17 | 218866 | 204432 | 3835 119 | 10 | 24 70.08/70.18 c 68.6s | 17 | 225274 | 210232 | 3835 121 | 10 | 24 72.08/72.19 c 70.6s | 17 | 232282 | 216632 | 3835 124 | 10 | 24 74.17/74.21 c 72.6s | 17 | 238868 | 222632 | 3835 127 | 10 | 24 76.18/76.25 c 74.6s | 17 | 245318 | 228032 | 3835 130 | 10 | 24 78.17/78.28 c 76.7s | 17 | 251742 | 234032 | 3835 132 | 10 | 24 80.17/80.28 c 78.7s | 17 | 258000 | 239732 | 3835 135 | 10 | 24 82.17/82.28 c 80.7s | 17 | 262880 | 244232 | 3835 137 | 10 | 24 84.27/84.31 c 82.7s | 17 | 268445 | 249232 | 3835 139 | 10 | 24 86.27/86.32 c 84.7s | 17 | 272839 | 253232 | 3835 141 | 10 | 24 88.28/88.33 c 86.7s | 17 | 278454 | 258032 | 3835 143 | 10 | 24 90.27/90.38 c 88.8s | 17 | 284411 | 263132 | 3835 146 | 10 | 24 92.27/92.39 c 90.8s | 17 | 290571 | 268432 | 3835 148 | 10 | 24 94.37/94.41 c 92.8s | 17 | 296452 | 273632 | 3835 150 | 10 | 24 96.37/96.45 c 94.8s | 17 | 302077 | 278332 | 3835 153 | 10 | 24 98.37/98.46 c 96.8s | 17 | 308113 | 283132 | 3835 155 | 10 | 24 100.38/100.48 c 98.9s | 17 | 314395 | 287932 | 3835 157 | 10 | 24 102.48/102.51 c 100s | 17 | 319854 | 292632 | 4219 159 | 10 | 24 103.87/103.91 c 102s | 18 | 323910 | 296252 | 4219 160 | 10 | 24 105.88/105.92 c 104s | 18 | 330122 | 301552 | 4219 163 | 10 | 24 107.87/107.93 c 106s | 18 | 337445 | 308052 | 4219 165 | 10 | 24 109.87/109.93 c 108s | 18 | 343649 | 313952 | 4219 168 | 10 | 24 111.87/111.95 c 110s | 18 | 350012 | 319952 | 4219 170 | 10 | 24 113.87/113.98 c 112s | 18 | 356042 | 325752 | 4219 173 | 10 | 24 115.97/116.01 c 114s | 18 | 362296 | 331652 | 4219 175 | 10 | 24 117.97/118.04 c 116s | 18 | 368267 | 337452 | 4219 178 | 10 | 24 119.97/120.05 c 118s | 18 | 374197 | 342752 | 4219 180 | 10 | 24 121.97/122.05 c 120s | 18 | 381534 | 349252 | 4219 183 | 10 | 24 123.97/124.06 c 122s | 18 | 387270 | 354452 | 4219 185 | 10 | 24 125.97/126.08 c 124s | 18 | 393288 | 359452 | 4219 187 | 10 | 24 127.97/128.08 c 126s | 18 | 400205 | 365252 | 4219 190 | 10 | 24 129.97/130.09 c 128s | 18 | 406797 | 371052 | 4219 192 | 10 | 24 132.06/132.13 c 130s | 18 | 413220 | 376952 | 4219 194 | 10 | 24 134.06/134.13 c 132s | 18 | 419761 | 382652 | 4219 197 | 10 | 24 136.06/136.15 c 134s | 18 | 425863 | 388252 | 4219 199 | 10 | 24 138.06/138.19 c 136s | 18 | 431417 | 393252 | 4219 201 | 10 | 24 140.17/140.20 c 138s | 18 | 436953 | 398152 | 4219 203 | 10 | 24 142.18/142.21 c 140s | 18 | 443018 | 403552 | 4219 206 | 10 | 24 144.17/144.22 c 142s | 18 | 448880 | 408952 | 4219 208 | 10 | 24 146.17/146.24 c 144s | 18 | 454732 | 414352 | 4219 210 | 10 | 24 148.17/148.25 c 146s | 18 | 462806 | 421752 | 4219 213 | 10 | 24 150.17/150.27 c 148s | 18 | 469749 | 428152 | 4219 216 | 10 | 24 152.17/152.27 c 150s | 18 | 476772 | 434352 | 4219 219 | 10 | 24 154.18/154.30 c 152s | 18 | 482833 | 439652 | 4641 221 | 10 | 24 155.77/155.87 c 154s | 19 | 488274 | 444482 | 4641 222 | 10 | 24 157.77/157.89 c 156s | 19 | 497232 | 452782 | 4641 226 | 10 | 24 159.87/159.90 c 158s | 19 | 503790 | 459082 | 4641 228 | 10 | 24 161.88/161.92 c 160s | 19 | 510508 | 465582 | 4641 231 | 10 | 24 163.87/163.93 c 162s | 19 | 517400 | 472282 | 4641 233 | 10 | 24 165.87/165.94 c 164s | 19 | 524231 | 478782 | 4641 236 | 10 | 24 167.87/167.98 c 166s | 19 | 530275 | 484482 | 4641 238 | 10 | 24 169.87/169.99 c 168s | 19 | 536384 | 490082 | 4641 240 | 10 | 24 171.97/172.01 c 170s | 19 | 542718 | 496082 | 4641 243 | 10 | 24 173.97/174.07 c 172s | 19 | 549582 | 501782 | 4641 245 | 10 | 24 175.97/176.08 c 174s | 19 | 555511 | 507482 | 4641 247 | 10 | 24 178.06/178.11 c 176s | 19 | 560954 | 512782 | 4641 249 | 10 | 24 180.06/180.11 c 178s | 19 | 567370 | 519082 | 4641 252 | 10 | 24 182.06/182.13 c 180s | 19 | 574105 | 525482 | 4641 254 | 10 | 24 184.06/184.16 c 182s | 19 | 580233 | 531282 | 4641 256 | 10 | 24 186.07/186.19 c 184s | 19 | 586527 | 537282 | 4641 259 | 10 | 24 188.16/188.22 c 186s | 19 | 592988 | 543582 | 4641 261 | 10 | 24 190.16/190.22 c 188s | 19 | 600195 | 550582 | 4641 264 | 10 | 24 192.16/192.23 c 190s | 19 | 606619 | 556782 | 4641 266 | 10 | 24 194.16/194.26 c 192s | 19 | 613307 | 563282 | 4641 269 | 10 | 24 196.16/196.28 c 194s | 19 | 620260 | 569982 | 4641 272 | 10 | 24 198.27/198.31 c 196s | 19 | 627146 | 576582 | 4641 274 | 10 | 24 200.26/200.34 c 198s | 19 | 634325 | 583582 | 4641 277 | 10 | 24 202.26/202.37 c 200s | 19 | 641143 | 590182 | 4641 279 | 10 | 24 204.26/204.37 c 202s | 19 | 647867 | 596582 | 4641 282 | 10 | 24 206.26/206.39 c 204s | 19 | 654586 | 602782 | 4641 284 | 10 | 24 208.26/208.39 c 206s | 19 | 661162 | 608882 | 4641 287 | 10 | 24 210.26/210.40 c 208s | 19 | 668289 | 615182 | 4641 289 | 10 | 24 212.36/212.40 c 210s | 19 | 676159 | 622782 | 4641 292 | 10 | 24 214.36/214.42 c 212s | 19 | 683157 | 629382 | 4641 295 | 10 | 24 216.36/216.43 c 214s | 19 | 689489 | 635482 | 4641 297 | 10 | 24 218.36/218.45 c 216s | 19 | 695912 | 641582 | 4641 299 | 10 | 24 220.36/220.47 c 218s | 19 | 701735 | 647082 | 4641 302 | 10 | 24 222.36/222.50 c 220s | 19 | 709041 | 654082 | 4641 304 | 10 | 24 224.45/224.52 c 222s | 19 | 715828 | 660582 | 5106 307 | 10 | 24 226.35/226.47 c 224s | 20 | 722539 | 666827 | 5106 309 | 10 | 24 228.35/228.47 c 226s | 20 | 728385 | 672227 | 5106 311 | 10 | 24 230.45/230.54 c 228s | 20 | 733109 | 676327 | 5106 312 | 10 | 24 232.45/232.55 c 230s | 20 | 738821 | 681327 | 5106 314 | 10 | 24 234.46/234.57 c 232s | 20 | 743166 | 685127 | 5106 315 | 10 | 24 236.45/236.58 c 234s | 20 | 747266 | 688827 | 5106 317 | 10 | 24 238.55/238.64 c 237s | 20 | 751141 | 692327 | 5106 318 | 10 | 24 240.55/240.68 c 239s | 20 | 755318 | 696127 | 5106 319 | 10 | 24 242.65/242.73 c 241s | 20 | 759571 | 700127 | 5106 321 | 10 | 24 244.65/244.75 c 243s | 20 | 764315 | 704427 | 5106 322 | 10 | 24 246.75/246.80 c 245s | 20 | 769354 | 709127 | 5106 324 | 10 | 24 248.76/248.83 c 247s | 20 | 774358 | 713827 | 5106 326 | 10 | 24 250.75/250.83 c 249s | 20 | 779578 | 718527 | 5106 327 | 10 | 24 252.75/252.85 c 251s | 20 | 784302 | 722927 | 5106 329 | 10 | 24 254.75/254.86 c 253s | 20 | 788923 | 727227 | 5106 331 | 10 | 24 256.75/256.89 c 255s | 20 | 794964 | 732527 | 5106 332 | 10 | 24 258.85/258.91 c 257s | 20 | 799893 | 737327 | 5106 334 | 10 | 24 260.85/260.95 c 259s | 20 | 805719 | 742727 | 5106 336 | 10 | 24 262.85/262.96 c 261s | 20 | 810851 | 747327 | 5106 338 | 10 | 24 264.85/264.98 c 263s | 20 | 816656 | 752627 | 5106 340 | 10 | 24 266.95/267.00 c 265s | 20 | 821578 | 757227 | 5106 341 | 10 | 24 268.95/269.03 c 267s | 20 | 827082 | 762627 | 5106 343 | 10 | 24 270.95/271.03 c 269s | 20 | 832637 | 767927 | 5106 345 | 10 | 24 272.95/273.07 c 271s | 20 | 837533 | 772627 | 5106 347 | 10 | 24 275.05/275.11 c 273s | 20 | 842740 | 777627 | 5106 349 | 10 | 24 277.04/277.16 c 275s | 20 | 848040 | 782327 | 5106 350 | 10 | 24 279.04/279.19 c 277s | 20 | 853456 | 787427 | 5106 352 | 10 | 24 281.14/281.21 c 279s | 20 | 858904 | 792627 | 5106 354 | 10 | 24 283.14/283.22 c 281s | 20 | 864259 | 797427 | 5106 356 | 10 | 24 285.15/285.27 c 283s | 20 | 869536 | 802027 | 5106 357 | 10 | 24 287.14/287.30 c 285s | 20 | 875531 | 807627 | 5106 359 | 10 | 24 289.24/289.34 c 287s | 20 | 881421 | 813227 | 5106 362 | 10 | 24 291.24/291.36 c 289s | 20 | 887434 | 818827 | 5106 364 | 10 | 24 293.34/293.42 c 291s | 20 | 892908 | 824027 | 5106 365 | 10 | 24 295.34/295.44 c 293s | 20 | 898025 | 828827 | 5106 367 | 10 | 24 297.34/297.46 c 295s | 20 | 904837 | 835327 | 5106 369 | 10 | 24 299.35/299.48 c 297s | 20 | 909684 | 840027 | 5106 371 | 10 | 24 301.44/301.50 c 299s | 20 | 914249 | 844327 | 5106 373 | 10 | 24 303.44/303.53 c 301s | 20 | 919102 | 848927 | 5106 374 | 10 | 24 305.44/305.54 c 303s | 20 | 923614 | 853027 | 5106 376 | 10 | 24 307.44/307.57 c 305s | 20 | 930930 | 860127 | 5106 378 | 10 | 24 309.44/309.57 c 307s | 20 | 936526 | 865327 | 5106 380 | 10 | 24 311.55/311.61 c 310s | 20 | 941216 | 869627 | 5106 381 | 10 | 24 313.54/313.62 c 312s | 20 | 946495 | 874327 | 5106 383 | 10 | 24 315.54/315.63 c 314s | 20 | 951320 | 878927 | 5106 385 | 10 | 24 317.54/317.65 c 316s | 20 | 956612 | 884027 | 5106 387 | 10 | 24 319.54/319.66 c 318s | 20 | 961482 | 888527 | 5106 388 | 10 | 24 321.54/321.66 c 320s | 20 | 964892 | 891827 | 5106 389 | 10 | 24 323.64/323.71 c 322s | 20 | 969235 | 896027 | 5106 391 | 10 | 24 325.64/325.72 c 324s | 20 | 974520 | 900827 | 5106 392 | 10 | 24 327.64/327.75 c 326s | 20 | 980036 | 906027 | 5106 394 | 10 | 24 329.63/329.77 c 328s | 20 | 984287 | 909927 | 5106 396 | 10 | 24 331.73/331.84 c 330s | 20 | 988417 | 913827 | 5106 397 | 10 | 24 333.73/333.87 c 332s | 20 | 992997 | 918127 | 5106 399 | 10 | 24 335.83/335.90 c 334s | 20 | 997795 | 922527 | 5106 400 | 10 | 24 337.84/337.91 c 336s | 20 | 1002819 | 926827 | 5106 402 | 10 | 24 339.83/339.94 c 338s | 20 | 1008009 | 931727 | 5106 403 | 10 | 24 341.84/341.94 c 340s | 20 | 1012372 | 935427 | 5106 405 | 10 | 24 343.84/343.94 c 342s | 20 | 1016380 | 939027 | 5106 406 | 10 | 24 345.84/345.94 c 344s | 20 | 1021463 | 943827 | 5106 408 | 10 | 24 347.94/348.00 c 346s | 20 | 1026688 | 948827 | 5106 409 | 10 | 24 349.95/350.05 c 348s | 20 | 1031792 | 953727 | 5106 411 | 10 | 24 351.94/352.05 c 350s | 20 | 1036318 | 958127 | 5106 413 | 10 | 24 353.94/354.07 c 352s | 20 | 1040972 | 962427 | 5106 414 | 10 | 24 355.94/356.07 c 354s | 20 | 1046464 | 967427 | 5106 416 | 10 | 24 358.04/358.11 c 356s | 20 | 1051458 | 971927 | 5106 418 | 10 | 24 360.04/360.11 c 358s | 20 | 1056242 | 976127 | 5106 419 | 10 | 24 362.04/362.12 c 360s | 20 | 1061662 | 981127 | 5106 421 | 10 | 24 364.04/364.15 c 362s | 20 | 1067328 | 986127 | 5106 423 | 10 | 24 366.03/366.17 c 364s | 20 | 1073267 | 991327 | 5617 424 | 10 | 24 368.13/368.20 c 366s | 20 | 1078608 | 996127 | 5617 426 | 10 | 24 369.93/370.01 c 368s | 21 | 1083440 | 1000345 | 5617 427 | 10 | 24 371.94/372.02 c 370s | 21 | 1090544 | 1006645 | 5617 429 | 10 | 24 373.93/374.02 c 372s | 21 | 1097414 | 1013245 | 5617 431 | 10 | 24 375.93/376.02 c 374s | 21 | 1103059 | 1018645 | 5617 433 | 10 | 24 377.93/378.05 c 376s | 21 | 1109027 | 1024145 | 5617 435 | 10 | 24 379.93/380.06 c 378s | 21 | 1114765 | 1029645 | 5617 437 | 10 | 24 381.94/382.08 c 380s | 21 | 1120226 | 1034845 | 5617 439 | 10 | 24 383.93/384.10 c 382s | 21 | 1126039 | 1040345 | 5617 440 | 10 | 24 386.03/386.13 c 384s | 21 | 1131760 | 1045845 | 5617 442 | 10 | 24 388.03/388.16 c 386s | 21 | 1138708 | 1052445 | 5617 444 | 10 | 24 390.13/390.20 c 388s | 21 | 1144673 | 1057845 | 5617 446 | 10 | 24 392.13/392.23 c 390s | 21 | 1150802 | 1063645 | 5617 448 | 10 | 24 394.13/394.25 c 392s | 21 | 1156689 | 1069245 | 5617 450 | 10 | 24 396.13/396.28 c 394s | 21 | 1162558 | 1074745 | 5617 452 | 10 | 24 398.22/398.31 c 396s | 21 | 1168814 | 1080545 | 5617 454 | 10 | 24 400.22/400.32 c 398s | 21 | 1175209 | 1086545 | 5617 456 | 10 | 24 402.22/402.34 c 400s | 21 | 1181895 | 1092845 | 5617 458 | 10 | 24 404.23/404.36 c 402s | 21 | 1187964 | 1098645 | 5617 460 | 10 | 24 406.23/406.37 c 404s | 21 | 1194017 | 1104345 | 5617 462 | 10 | 24 408.24/408.38 c 406s | 21 | 1199600 | 1109745 | 5617 463 | 10 | 24 410.23/410.38 c 408s | 21 | 1205543 | 1115445 | 5617 465 | 10 | 24 412.23/412.39 c 410s | 21 | 1210834 | 1120445 | 5617 467 | 10 | 24 414.33/414.43 c 412s | 21 | 1216137 | 1125545 | 5617 469 | 10 | 24 416.33/416.45 c 414s | 21 | 1222122 | 1131045 | 5617 470 | 10 | 24 418.33/418.45 c 416s | 21 | 1227035 | 1135645 | 5617 472 | 10 | 24 420.34/420.48 c 418s | 21 | 1232196 | 1140645 | 5617 474 | 10 | 24 422.43/422.51 c 420s | 21 | 1238115 | 1146245 | 5617 475 | 10 | 24 424.43/424.52 c 422s | 21 | 1243597 | 1151445 | 5617 477 | 10 | 24 426.43/426.54 c 424s | 21 | 1248706 | 1156345 | 5617 479 | 10 | 24 428.43/428.57 c 426s | 21 | 1254093 | 1161545 | 5617 481 | 10 | 24 430.43/430.59 c 428s | 21 | 1259422 | 1166645 | 5617 482 | 10 | 24 432.53/432.61 c 430s | 21 | 1264962 | 1171945 | 5617 484 | 10 | 24 434.52/434.63 c 433s | 21 | 1272021 | 1178645 | 5617 486 | 10 | 24 436.52/436.65 c 435s | 21 | 1277300 | 1183745 | 5617 488 | 10 | 24 438.52/438.68 c 437s | 21 | 1282147 | 1188445 | 5617 490 | 10 | 24 440.52/440.69 c 439s | 21 | 1287456 | 1193445 | 5617 491 | 10 | 24 442.62/442.70 c 441s | 21 | 1293241 | 1199045 | 5617 493 | 10 | 24 444.63/444.73 c 443s | 21 | 1299269 | 1204845 | 5617 495 | 10 | 24 446.62/446.76 c 445s | 21 | 1304889 | 1210145 | 5617 497 | 10 | 24 448.62/448.78 c 447s | 21 | 1310466 | 1215345 | 5617 499 | 10 | 24 450.72/450.80 c 449s | 21 | 1316203 | 1220745 | 5617 500 | 10 | 24 452.72/452.81 c 451s | 21 | 1321979 | 1226345 | 5617 502 | 10 | 24 454.72/454.81 c 453s | 21 | 1328149 | 1232345 | 5617 504 | 10 | 24 456.73/456.85 c 455s | 21 | 1333601 | 1237545 | 5617 506 | 10 | 24 458.72/458.86 c 457s | 21 | 1339330 | 1242945 | 5617 508 | 10 | 24 460.72/460.88 c 459s | 21 | 1345272 | 1248345 | 5617 510 | 10 | 24 462.82/462.90 c 461s | 21 | 1351064 | 1253945 | 5617 511 | 10 | 24 464.82/464.90 c 463s | 21 | 1356841 | 1259545 | 5617 513 | 10 | 24 466.82/466.90 c 465s | 21 | 1362234 | 1264745 | 5617 515 | 10 | 24 468.83/468.92 c 467s | 21 | 1367610 | 1269945 | 5617 517 | 10 | 24 470.82/470.95 c 469s | 21 | 1372851 | 1275045 | 5617 519 | 10 | 24 472.82/472.97 c 471s | 21 | 1379613 | 1281545 | 5617 521 | 10 | 24 474.82/474.98 c 473s | 21 | 1385725 | 1287245 | 5617 523 | 10 | 24 476.92/477.03 c 475s | 21 | 1391643 | 1292945 | 5617 525 | 10 | 24 478.92/479.05 c 477s | 21 | 1398732 | 1299745 | 5617 527 | 10 | 24 480.92/481.05 c 479s | 21 | 1404686 | 1305445 | 5617 529 | 10 | 24 482.92/483.07 c 481s | 21 | 1410226 | 1310745 | 5617 530 | 10 | 24 484.92/485.07 c 483s | 21 | 1415941 | 1316245 | 5617 532 | 10 | 24 486.92/487.08 c 485s | 21 | 1422294 | 1322245 | 5617 534 | 10 | 24 488.92/489.09 c 487s | 21 | 1428728 | 1328145 | 5617 536 | 10 | 24 491.02/491.11 c 489s | 21 | 1434521 | 1333545 | 5617 538 | 10 | 24 493.02/493.12 c 491s | 21 | 1439748 | 1338545 | 5617 540 | 10 | 24 495.02/495.12 c 493s | 21 | 1445053 | 1343545 | 5617 541 | 10 | 24 497.02/497.15 c 495s | 21 | 1450608 | 1348645 | 5617 543 | 10 | 24 499.02/499.16 c 497s | 21 | 1456130 | 1353745 | 5617 545 | 10 | 24 501.11/501.20 c 499s | 21 | 1461885 | 1359245 | 5617 547 | 10 | 24 503.11/503.24 c 501s | 21 | 1466772 | 1363845 | 5617 548 | 10 | 24 505.12/505.25 c 503s | 21 | 1471901 | 1368645 | 5617 550 | 10 | 24 507.11/507.27 c 505s | 21 | 1478093 | 1374545 | 5617 552 | 10 | 24 509.21/509.31 c 507s | 21 | 1483092 | 1379345 | 5617 553 | 10 | 24 511.21/511.34 c 509s | 21 | 1487757 | 1383845 | 5617 555 | 10 | 24 513.21/513.35 c 511s | 21 | 1492530 | 1388445 | 5617 556 | 10 | 24 515.21/515.37 c 513s | 21 | 1498520 | 1394145 | 5617 558 | 10 | 24 517.22/517.38 c 515s | 21 | 1503634 | 1399045 | 5617 560 | 10 | 24 519.32/519.41 c 517s | 21 | 1508967 | 1404045 | 5617 561 | 10 | 24 521.31/521.43 c 519s | 21 | 1514252 | 1409045 | 5617 563 | 10 | 24 523.31/523.46 c 521s | 21 | 1519984 | 1414545 | 5617 565 | 10 | 24 525.31/525.47 c 523s | 21 | 1525437 | 1419645 | 5617 567 | 10 | 24 527.41/527.51 c 525s | 21 | 1530873 | 1424845 | 5617 568 | 10 | 24 529.41/529.53 c 527s | 21 | 1536503 | 1430245 | 5617 570 | 10 | 24 531.41/531.56 c 529s | 21 | 1541779 | 1435345 | 5617 572 | 10 | 24 533.41/533.58 c 531s | 21 | 1546735 | 1440045 | 5617 573 | 10 | 24 535.51/535.61 c 533s | 21 | 1551597 | 1444745 | 5617 575 | 10 | 24 537.50/537.63 c 536s | 21 | 1556776 | 1449645 | 5617 577 | 10 | 24 539.50/539.66 c 538s | 21 | 1562511 | 1455245 | 5617 578 | 10 | 24 541.50/541.69 c 540s | 21 | 1568495 | 1460845 | 5617 580 | 10 | 24 543.61/543.71 c 542s | 21 | 1574046 | 1466145 | 5617 582 | 10 | 24 545.60/545.72 c 544s | 21 | 1578868 | 1470845 | 5617 584 | 10 | 24 547.60/547.75 c 546s | 21 | 1584508 | 1476345 | 5617 585 | 10 | 24 549.60/549.77 c 548s | 21 | 1590343 | 1481945 | 5617 587 | 10 | 24 551.60/551.78 c 550s | 21 | 1596085 | 1487445 | 6179 589 | 10 | 24 553.60/553.79 c 552s | 21 | 1600722 | 1491945 | 6179 590 | 10 | 24 555.70/555.82 c 554s | 21 | 1605946 | 1496945 | 6179 592 | 10 | 24 556.99/557.11 c 555s | 22 | 1609786 | 1500622 | 6179 593 | 10 | 24 559.00/559.13 c 557s | 22 | 1618240 | 1508722 | 6179 595 | 10 | 24 560.99/561.13 c 559s | 22 | 1624812 | 1515222 | 6179 597 | 10 | 24 563.00/563.13 c 561s | 22 | 1630067 | 1520422 | 6179 599 | 10 | 24 565.00/565.15 c 563s | 22 | 1637181 | 1527422 | 6179 601 | 10 | 24 567.09/567.20 c 565s | 22 | 1643029 | 1533222 | 6179 603 | 10 | 24 569.09/569.22 c 567s | 22 | 1649267 | 1538822 | 6179 604 | 10 | 24 571.10/571.22 c 569s | 22 | 1655479 | 1543922 | 6179 606 | 10 | 24 573.09/573.22 c 571s | 22 | 1660534 | 1548322 | 6179 607 | 10 | 24 575.09/575.27 c 573s | 22 | 1665658 | 1552522 | 6179 608 | 10 | 24 577.08/577.29 c 575s | 22 | 1671660 | 1557922 | 6179 610 | 10 | 24 579.18/579.31 c 577s | 22 | 1677306 | 1563322 | 6179 612 | 10 | 24 581.18/581.34 c 579s | 22 | 1683800 | 1568722 | 6179 613 | 10 | 24 583.19/583.37 c 581s | 22 | 1689535 | 1573422 | 6179 615 | 10 | 24 585.18/585.40 c 583s | 22 | 1694738 | 1577822 | 6179 616 | 10 | 24 587.28/587.46 c 585s | 22 | 1699779 | 1582022 | 6179 617 | 10 | 24 589.28/589.49 c 587s | 22 | 1704675 | 1586222 | 6179 619 | 10 | 24 591.38/591.51 c 589s | 22 | 1709981 | 1590622 | 6179 620 | 10 | 24 593.38/593.52 c 591s | 22 | 1715311 | 1595122 | 6179 621 | 10 | 24 595.38/595.55 c 593s | 22 | 1720626 | 1599422 | 6179 623 | 10 | 24 597.38/597.56 c 595s | 22 | 1726648 | 1604622 | 6179 624 | 10 | 24 599.37/599.58 c 597s | 22 | 1731713 | 1609322 | 6179 626 | 10 | 24 601.47/601.61 c 600s | 22 | 1738105 | 1614322 | 6179 627 | 10 | 24 603.47/603.64 c 602s | 22 | 1744069 | 1619522 | 6179 629 | 10 | 24 605.47/605.64 c 604s | 22 | 1749831 | 1624722 | 6179 630 | 10 | 24 607.47/607.69 c 606s | 22 | 1754929 | 1629222 | 6179 632 | 10 | 24 609.57/609.71 c 608s | 22 | 1761066 | 1634222 | 6179 633 | 10 | 24 611.57/611.76 c 610s | 22 | 1766784 | 1639222 | 6179 635 | 10 | 24 613.57/613.78 c 612s | 22 | 1771417 | 1643622 | 6179 636 | 10 | 24 615.67/615.81 c 614s | 22 | 1776065 | 1647922 | 6179 637 | 10 | 24 617.66/617.85 c 616s | 22 | 1780285 | 1652022 | 6179 638 | 10 | 24 619.66/619.86 c 618s | 22 | 1785038 | 1656622 | 6179 640 | 10 | 24 621.67/621.88 c 620s | 22 | 1789843 | 1661322 | 6179 641 | 10 | 24 623.66/623.89 c 622s | 22 | 1794616 | 1665922 | 6179 643 | 10 | 24 625.76/625.93 c 624s | 22 | 1799565 | 1670722 | 6179 644 | 10 | 24 627.76/627.96 c 626s | 22 | 1804195 | 1675222 | 6179 645 | 10 | 24 629.76/629.97 c 628s | 22 | 1809658 | 1680322 | 6179 647 | 10 | 24 631.86/632.01 c 630s | 22 | 1815310 | 1685322 | 6179 648 | 10 | 24 633.86/634.01 c 632s | 22 | 1820301 | 1690122 | 6179 650 | 10 | 24 635.86/636.04 c 634s | 22 | 1824638 | 1694322 | 6179 651 | 10 | 24 637.95/638.10 c 636s | 22 | 1829897 | 1699022 | 6179 653 | 10 | 24 639.95/640.13 c 638s | 22 | 1836134 | 1704922 | 6179 654 | 10 | 24 641.95/642.15 c 640s | 22 | 1839988 | 1708622 | 6179 655 | 10 | 24 643.95/644.17 c 642s | 22 | 1844774 | 1713122 | 6179 657 | 10 | 24 645.95/646.18 c 644s | 22 | 1848794 | 1716922 | 6179 658 | 10 | 24 648.05/648.20 c 646s | 22 | 1853061 | 1720922 | 6179 659 | 10 | 24 650.05/650.21 c 648s | 22 | 1857761 | 1725222 | 6179 660 | 10 | 24 652.05/652.24 c 650s | 22 | 1862610 | 1729722 | 6179 662 | 10 | 24 654.05/654.25 c 652s | 22 | 1868202 | 1734822 | 6179 663 | 10 | 24 656.14/656.34 c 654s | 22 | 1873484 | 1739722 | 6179 664 | 10 | 24 658.14/658.36 c 656s | 22 | 1878421 | 1744322 | 6179 666 | 10 | 24 660.15/660.36 c 658s | 22 | 1882996 | 1748622 | 6179 667 | 10 | 24 662.14/662.38 c 660s | 22 | 1886823 | 1752222 | 6179 668 | 10 | 24 664.24/664.41 c 662s | 22 | 1891658 | 1756522 | 6179 669 | 10 | 24 666.24/666.43 c 664s | 22 | 1896295 | 1760722 | 6179 671 | 10 | 24 668.24/668.44 c 666s | 22 | 1900802 | 1764922 | 6179 672 | 10 | 24 670.24/670.47 c 668s | 22 | 1906678 | 1770422 | 6179 674 | 10 | 24 672.24/672.49 c 670s | 22 | 1912256 | 1775322 | 6179 675 | 10 | 24 674.34/674.54 c 672s | 22 | 1917548 | 1780122 | 6179 676 | 10 | 24 676.33/676.56 c 674s | 22 | 1921706 | 1783922 | 6179 678 | 10 | 24 678.43/678.60 c 676s | 22 | 1927886 | 1789822 | 6179 679 | 10 | 24 680.43/680.63 c 679s | 22 | 1934030 | 1795522 | 6179 681 | 10 | 24 682.43/682.63 c 681s | 22 | 1939091 | 1800322 | 6179 682 | 10 | 24 684.43/684.64 c 683s | 22 | 1943690 | 1804422 | 6179 684 | 10 | 24 686.44/686.67 c 685s | 22 | 1949377 | 1809822 | 6179 685 | 10 | 24 688.43/688.69 c 687s | 22 | 1955168 | 1815222 | 6179 687 | 10 | 24 690.43/690.69 c 689s | 22 | 1960118 | 1819822 | 6179 688 | 10 | 24 692.43/692.69 c 691s | 22 | 1964308 | 1823622 | 6179 689 | 10 | 24 694.63/694.80 c 693s | 22 | 1968912 | 1827922 | 6179 691 | 10 | 24 696.62/696.80 c 695s | 22 | 1973263 | 1831922 | 6179 692 | 10 | 24 698.63/698.83 c 697s | 22 | 1978606 | 1836822 | 6179 693 | 10 | 24 700.62/700.87 c 699s | 22 | 1983447 | 1841522 | 6179 695 | 10 | 24 702.72/702.92 c 701s | 22 | 1987416 | 1845422 | 6179 696 | 10 | 24 704.72/704.94 c 703s | 22 | 1992645 | 1850422 | 6179 697 | 10 | 24 706.73/706.96 c 705s | 22 | 1997795 | 1855322 | 6179 699 | 10 | 24 708.73/708.96 c 707s | 22 | 2003214 | 1860222 | 6179 700 | 10 | 24 710.73/710.98 c 709s | 22 | 2007470 | 1864222 | 6179 701 | 10 | 24 712.73/713.00 c 711s | 22 | 2012469 | 1868922 | 6179 703 | 10 | 24 714.83/715.00 c 713s | 22 | 2017057 | 1873222 | 6179 704 | 10 | 24 716.82/717.01 c 715s | 22 | 2022357 | 1878122 | 6179 705 | 10 | 24 718.82/719.02 c 717s | 22 | 2027522 | 1883022 | 6179 707 | 10 | 24 720.82/721.05 c 719s | 22 | 2033294 | 1888222 | 6179 708 | 10 | 24 722.82/723.06 c 721s | 22 | 2038190 | 1892822 | 6179 710 | 10 | 24 724.82/725.08 c 723s | 22 | 2043408 | 1897522 | 6179 711 | 10 | 24 726.91/727.11 c 725s | 22 | 2049161 | 1902722 | 6179 713 | 10 | 24 728.91/729.12 c 727s | 22 | 2055735 | 1908622 | 6179 714 | 10 | 24 730.91/731.15 c 729s | 22 | 2061543 | 1914022 | 6179 716 | 10 | 24 732.91/733.16 c 731s | 22 | 2067878 | 1919822 | 6179 718 | 10 | 24 734.92/735.18 c 733s | 22 | 2073372 | 1925122 | 6179 719 | 10 | 24 736.91/737.19 c 735s | 22 | 2079561 | 1931022 | 6179 721 | 10 | 24 739.00/739.20 c 737s | 22 | 2085246 | 1936422 | 6179 723 | 10 | 24 741.00/741.24 c 739s | 22 | 2091385 | 1942122 | 6179 724 | 10 | 24 743.00/743.27 c 741s | 22 | 2097756 | 1947722 | 6179 726 | 10 | 24 745.00/745.29 c 743s | 22 | 2103456 | 1953022 | 6179 728 | 10 | 24 747.10/747.34 c 745s | 22 | 2109583 | 1958722 | 6179 729 | 10 | 24 749.11/749.37 c 747s | 22 | 2115835 | 1964322 | 6179 731 | 10 | 24 751.10/751.38 c 749s | 22 | 2121456 | 1969522 | 6179 732 | 10 | 24 753.20/753.41 c 751s | 22 | 2127689 | 1975422 | 6179 734 | 10 | 24 755.20/755.41 c 753s | 22 | 2134108 | 1981422 | 6179 736 | 10 | 24 757.19/757.44 c 755s | 22 | 2139585 | 1986622 | 6179 737 | 10 | 24 759.19/759.44 c 757s | 22 | 2145934 | 1992722 | 6179 739 | 10 | 24 761.20/761.46 c 759s | 22 | 2151685 | 1997922 | 6179 741 | 10 | 24 763.19/763.47 c 761s | 22 | 2157283 | 2003222 | 6179 742 | 10 | 24 765.29/765.50 c 763s | 22 | 2164033 | 2009722 | 6179 744 | 10 | 24 767.29/767.52 c 765s | 22 | 2170593 | 2015722 | 6179 746 | 10 | 24 769.29/769.55 c 767s | 22 | 2176135 | 2021022 | 6179 748 | 10 | 24 771.29/771.57 c 769s | 22 | 2182696 | 2027322 | 6179 750 | 10 | 24 773.29/773.58 c 771s | 22 | 2188363 | 2032822 | 6179 751 | 10 | 24 775.30/775.59 c 773s | 22 | 2194795 | 2039122 | 6179 753 | 10 | 24 777.29/777.59 c 775s | 22 | 2201210 | 2045322 | 6179 755 | 10 | 24 779.39/779.62 c 778s | 22 | 2207021 | 2050922 | 6179 757 | 10 | 24 781.39/781.64 c 780s | 22 | 2211823 | 2055422 | 6179 758 | 10 | 24 783.39/783.66 c 782s | 22 | 2217237 | 2060422 | 6179 759 | 10 | 24 785.40/785.67 c 784s | 22 | 2222772 | 2065722 | 6179 761 | 10 | 24 787.38/787.67 c 786s | 22 | 2228677 | 2071122 | 6179 762 | 10 | 24 789.38/789.67 c 788s | 22 | 2234620 | 2076622 | 6179 764 | 10 | 24 791.38/791.69 c 790s | 22 | 2241078 | 2082722 | 6179 766 | 10 | 24 793.48/793.71 c 792s | 22 | 2247239 | 2088422 | 6179 768 | 10 | 24 795.48/795.71 c 794s | 22 | 2252182 | 2093222 | 6179 769 | 10 | 24 797.48/797.78 c 796s | 22 | 2257111 | 2097922 | 6179 770 | 10 | 24 799.48/799.78 c 798s | 22 | 2263366 | 2103922 | 6179 772 | 10 | 24 801.58/801.80 c 800s | 22 | 2269591 | 2109922 | 6179 774 | 10 | 24 803.58/803.82 c 802s | 22 | 2275573 | 2115522 | 6179 776 | 10 | 24 805.58/805.84 c 804s | 22 | 2282116 | 2121622 | 6179 777 | 10 | 24 807.57/807.88 c 806s | 22 | 2287956 | 2127022 | 6179 779 | 10 | 24 809.58/809.89 c 808s | 22 | 2294881 | 2133422 | 6179 781 | 10 | 24 811.57/811.90 c 810s | 22 | 2300628 | 2138722 | 6179 782 | 10 | 24 813.67/813.91 c 812s | 22 | 2305873 | 2143622 | 6179 784 | 10 | 24 815.67/815.92 c 814s | 22 | 2311467 | 2148822 | 6179 785 | 10 | 24 817.67/817.94 c 816s | 22 | 2317425 | 2154622 | 6179 787 | 10 | 24 819.67/819.97 c 818s | 22 | 2322736 | 2159522 | 6179 789 | 10 | 24 821.77/822.01 c 820s | 22 | 2327768 | 2164322 | 6179 790 | 10 | 24 823.77/824.02 c 822s | 22 | 2333520 | 2169722 | 6179 792 | 10 | 24 825.76/826.03 c 824s | 22 | 2339294 | 2175022 | 6179 793 | 10 | 24 827.76/828.04 c 826s | 22 | 2345266 | 2180622 | 6179 795 | 10 | 24 829.76/830.05 c 828s | 22 | 2350715 | 2185822 | 6179 796 | 10 | 24 831.76/832.06 c 830s | 22 | 2356357 | 2190822 | 6179 798 | 10 | 24 833.76/834.09 c 832s | 22 | 2361981 | 2195822 | 6179 799 | 10 | 24 835.85/836.10 c 834s | 22 | 2367977 | 2201322 | 6179 801 | 10 | 24 837.85/838.10 c 836s | 22 | 2374037 | 2206822 | 6179 803 | 10 | 24 839.85/840.15 c 838s | 22 | 2379619 | 2211722 | 6179 804 | 10 | 24 841.85/842.17 c 840s | 22 | 2385394 | 2217122 | 6179 806 | 10 | 24 843.95/844.20 c 842s | 22 | 2391343 | 2222622 | 6179 807 | 10 | 24 845.95/846.21 c 844s | 22 | 2397036 | 2227922 | 6179 809 | 10 | 24 847.95/848.21 c 846s | 22 | 2402681 | 2233222 | 6797 810 | 10 | 24 849.95/850.25 c 848s | 22 | 2408527 | 2238822 | 6797 812 | 10 | 24 851.95/852.27 c 850s | 22 | 2414403 | 2244422 | 6797 813 | 10 | 24 853.95/854.29 c 852s | 22 | 2419451 | 2249122 | 6797 814 | 10 | 24 854.75/855.07 c 853s | 23 | 2421450 | 2251038 | 6797 815 | 10 | 24 856.74/857.10 c 855s | 23 | 2428562 | 2257838 | 6797 817 | 10 | 24 858.84/859.12 c 857s | 23 | 2433697 | 2262938 | 6797 818 | 10 | 24 860.84/861.12 c 859s | 23 | 2439658 | 2268738 | 6797 820 | 10 | 24 862.84/863.15 c 861s | 23 | 2445793 | 2274638 | 6797 822 | 10 | 24 864.84/865.18 c 863s | 23 | 2452516 | 2281238 | 6797 823 | 10 | 24 866.93/867.21 c 865s | 23 | 2457710 | 2286238 | 6797 825 | 10 | 24 868.94/869.22 c 867s | 23 | 2463205 | 2291438 | 6797 826 | 10 | 24 870.93/871.27 c 869s | 23 | 2467700 | 2295838 | 6797 827 | 10 | 24 872.93/873.28 c 871s | 23 | 2472281 | 2300338 | 6797 829 | 10 | 24 874.93/875.29 c 873s | 23 | 2477663 | 2305538 | 6797 830 | 10 | 24 877.03/877.30 c 875s | 23 | 2483719 | 2311438 | 6797 832 | 10 | 24 879.03/879.32 c 877s | 23 | 2488706 | 2316238 | 6797 833 | 10 | 24 881.03/881.36 c 879s | 23 | 2493548 | 2320938 | 6797 834 | 10 | 24 883.02/883.38 c 881s | 23 | 2498504 | 2325738 | 6797 836 | 10 | 24 885.02/885.39 c 883s | 23 | 2503905 | 2331038 | 6797 837 | 10 | 24 887.12/887.43 c 885s | 23 | 2509575 | 2336538 | 6797 838 | 10 | 24 889.12/889.44 c 887s | 23 | 2515178 | 2342038 | 6797 840 | 10 | 24 891.12/891.45 c 889s | 23 | 2520388 | 2347138 | 6797 841 | 10 | 24 893.13/893.48 c 891s | 23 | 2526118 | 2352738 | 6797 843 | 10 | 24 895.12/895.49 c 893s | 23 | 2531431 | 2357938 | 6797 844 | 10 | 24 897.22/897.52 c 895s | 23 | 2536764 | 2363138 | 6797 846 | 10 | 24 899.22/899.54 c 897s | 23 | 2542144 | 2368338 | 6797 847 | 10 | 24 901.22/901.56 c 899s | 23 | 2547865 | 2373838 | 6797 849 | 10 | 24 903.22/903.57 c 901s | 23 | 2553111 | 2378638 | 6797 850 | 10 | 24 905.22/905.59 c 903s | 23 | 2557337 | 2382738 | 6797 851 | 10 | 24 907.31/907.60 c 905s | 23 | 2562155 | 2387338 | 6797 852 | 10 | 24 909.31/909.63 c 908s | 23 | 2567350 | 2392338 | 6797 854 | 10 | 24 911.31/911.64 c 910s | 23 | 2571111 | 2395938 | 6797 855 | 10 | 24 913.31/913.66 c 912s | 23 | 2576519 | 2400938 | 6797 856 | 10 | 24 915.31/915.67 c 914s | 23 | 2580957 | 2405138 | 6797 857 | 10 | 24 917.31/917.68 c 916s | 23 | 2585822 | 2409638 | 6797 859 | 10 | 24 919.41/919.76 c 918s | 23 | 2590765 | 2414338 | 6797 860 | 10 | 24 921.41/921.79 c 920s | 23 | 2595867 | 2419038 | 6797 861 | 10 | 24 923.51/923.84 c 922s | 23 | 2600491 | 2423438 | 6797 862 | 10 | 24 925.51/925.85 c 924s | 23 | 2605478 | 2428038 | 6797 864 | 10 | 24 927.50/927.88 c 926s | 23 | 2610698 | 2432938 | 6797 865 | 10 | 24 929.60/929.92 c 928s | 23 | 2615310 | 2437438 | 6797 866 | 10 | 24 931.61/931.94 c 930s | 23 | 2620819 | 2442838 | 6797 868 | 10 | 24 933.60/933.96 c 932s | 23 | 2627121 | 2449038 | 6797 869 | 10 | 24 935.60/935.96 c 934s | 23 | 2632853 | 2454638 | 6797 871 | 10 | 24 937.69/938.00 c 936s | 23 | 2637329 | 2459038 | 6797 872 | 10 | 24 939.69/940.00 c 938s | 23 | 2641938 | 2463538 | 6797 873 | 10 | 24 941.69/942.02 c 940s | 23 | 2647322 | 2468838 | 6797 875 | 10 | 24 943.70/944.05 c 942s | 23 | 2652216 | 2473638 | 6797 876 | 10 | 24 945.69/946.07 c 944s | 23 | 2657955 | 2479238 | 6797 878 | 10 | 24 947.69/948.09 c 946s | 23 | 2663339 | 2484538 | 6797 879 | 10 | 24 949.69/950.09 c 948s | 23 | 2668840 | 2489938 | 6797 881 | 10 | 24 951.79/952.12 c 950s | 23 | 2674027 | 2495038 | 6797 882 | 10 | 24 953.79/954.15 c 952s | 23 | 2679556 | 2500438 | 6797 883 | 10 | 24 955.79/956.17 c 954s | 23 | 2684332 | 2505038 | 6797 885 | 10 | 24 957.88/958.25 c 956s | 23 | 2689615 | 2510238 | 6797 886 | 10 | 24 959.88/960.25 c 958s | 23 | 2694565 | 2514938 | 6797 887 | 10 | 24 961.88/962.26 c 960s | 23 | 2699344 | 2519638 | 6797 889 | 10 | 24 963.88/964.29 c 962s | 23 | 2704410 | 2524638 | 6797 890 | 10 | 24 965.87/966.29 c 964s | 23 | 2709459 | 2529638 | 6797 891 | 10 | 24 967.98/968.32 c 966s | 23 | 2714683 | 2534738 | 6797 893 | 10 | 24 969.97/970.37 c 968s | 23 | 2720169 | 2540138 | 6797 894 | 10 | 24 971.97/972.37 c 970s | 23 | 2724224 | 2544138 | 6797 895 | 10 | 24 973.97/974.38 c 972s | 23 | 2729395 | 2549138 | 6797 897 | 10 | 24 976.07/976.41 c 974s | 23 | 2734563 | 2554138 | 6797 898 | 10 | 24 978.07/978.45 c 976s | 23 | 2739702 | 2559138 | 6797 899 | 10 | 24 980.07/980.46 c 978s | 23 | 2745400 | 2564738 | 6797 901 | 10 | 24 982.06/982.48 c 980s | 23 | 2750412 | 2569638 | 6797 902 | 10 | 24 984.06/984.48 c 982s | 23 | 2755747 | 2574838 | 6797 904 | 10 | 24 986.16/986.50 c 984s | 23 | 2761294 | 2580238 | 6797 905 | 10 | 24 988.16/988.55 c 986s | 23 | 2766245 | 2585038 | 6797 907 | 10 | 24 990.16/990.55 c 988s | 23 | 2771533 | 2590238 | 6797 908 | 10 | 24 992.16/992.60 c 990s | 23 | 2776320 | 2594938 | 6797 909 | 10 | 24 994.26/994.61 c 992s | 23 | 2781401 | 2599938 | 6797 911 | 10 | 24 996.26/996.63 c 995s | 23 | 2786307 | 2604738 | 6797 912 | 10 | 24 998.26/998.64 c 997s | 23 | 2790788 | 2609138 | 6797 913 | 10 | 24 1000.26/1000.67 c 999s | 23 | 2795825 | 2613938 | 6797 914 | 10 | 24 1002.26/1002.68 c 1001s | 23 | 2800705 | 2618738 | 6797 916 | 10 | 24 1004.27/1004.69 c 1003s | 23 | 2806268 | 2624038 | 6797 917 | 10 | 24 1006.36/1006.73 c 1005s | 23 | 2811987 | 2629538 | 6797 919 | 10 | 24 1008.35/1008.76 c 1007s | 23 | 2816982 | 2634338 | 6797 920 | 10 | 24 1010.35/1010.79 c 1009s | 23 | 2821729 | 2639038 | 6797 921 | 10 | 24 1012.45/1012.82 c 1011s | 23 | 2826590 | 2643738 | 6797 923 | 10 | 24 1014.45/1014.83 c 1013s | 23 | 2831985 | 2648938 | 6797 924 | 10 | 24 1016.45/1016.84 c 1015s | 23 | 2836396 | 2653238 | 6797 925 | 10 | 24 1018.45/1018.88 c 1017s | 23 | 2841041 | 2657738 | 6797 927 | 10 | 24 1020.44/1020.89 c 1019s | 23 | 2846762 | 2662938 | 6797 928 | 10 | 24 1022.54/1022.92 c 1021s | 23 | 2852214 | 2667938 | 6797 929 | 10 | 24 1024.54/1024.93 c 1023s | 23 | 2856907 | 2672038 | 6797 930 | 10 | 24 1026.54/1026.94 c 1025s | 23 | 2862098 | 2676538 | 6797 932 | 10 | 24 1028.54/1028.96 c 1027s | 23 | 2867388 | 2681338 | 6797 933 | 10 | 24 1030.55/1030.97 c 1029s | 23 | 2872761 | 2686238 | 6797 934 | 10 | 24 1032.54/1033.00 c 1031s | 23 | 2877296 | 2690438 | 6797 936 | 10 | 24 1034.64/1035.01 c 1033s | 23 | 2882470 | 2695238 | 6797 937 | 10 | 24 1036.63/1037.03 c 1035s | 23 | 2887950 | 2700438 | 6797 938 | 10 | 24 1038.63/1039.04 c 1037s | 23 | 2892639 | 2704838 | 6797 940 | 10 | 24 1040.63/1041.07 c 1039s | 23 | 2897951 | 2709538 | 6797 941 | 10 | 24 1042.74/1043.10 c 1041s | 23 | 2902596 | 2713638 | 6797 942 | 10 | 24 1044.73/1045.12 c 1043s | 23 | 2908363 | 2718738 | 6797 943 | 10 | 24 1046.72/1047.17 c 1045s | 23 | 2913359 | 2723138 | 6797 945 | 10 | 24 1048.72/1049.17 c 1047s | 23 | 2918567 | 2727738 | 6797 946 | 10 | 24 1050.72/1051.19 c 1049s | 23 | 2923800 | 2732138 | 6797 947 | 10 | 24 1052.72/1053.19 c 1051s | 23 | 2929484 | 2737038 | 6797 948 | 10 | 24 1054.73/1055.19 c 1053s | 23 | 2934494 | 2741238 | 6797 950 | 10 | 24 1056.82/1057.21 c 1055s | 23 | 2940309 | 2746438 | 6797 951 | 10 | 24 1058.82/1059.24 c 1057s | 23 | 2945052 | 2751038 | 6797 952 | 10 | 24 1060.82/1061.25 c 1059s | 23 | 2950527 | 2755738 | 6797 954 | 10 | 24 1062.82/1063.28 c 1061s | 23 | 2955623 | 2760438 | 6797 955 | 10 | 24 1064.92/1065.36 c 1063s | 23 | 2961140 | 2765338 | 6797 956 | 10 | 24 1066.92/1067.38 c 1065s | 23 | 2966229 | 2770038 | 6797 957 | 10 | 24 1068.91/1069.40 c 1067s | 23 | 2971384 | 2774538 | 6797 959 | 10 | 24 1071.01/1071.44 c 1069s | 23 | 2976241 | 2778938 | 6797 960 | 10 | 24 1073.01/1073.47 c 1071s | 23 | 2980978 | 2783138 | 6797 961 | 10 | 24 1075.11/1075.52 c 1073s | 23 | 2985214 | 2787138 | 6797 962 | 10 | 24 1077.10/1077.58 c 1075s | 23 | 2990132 | 2791338 | 6797 963 | 10 | 24 1079.20/1079.60 c 1077s | 23 | 2995153 | 2795538 | 6797 964 | 10 | 24 1081.21/1081.62 c 1080s | 23 | 3000021 | 2800038 | 6797 966 | 10 | 24 1083.20/1083.63 c 1082s | 23 | 3004970 | 2804538 | 6797 967 | 10 | 24 1085.20/1085.67 c 1084s | 23 | 3009527 | 2808638 | 6797 968 | 10 | 24 1087.19/1087.69 c 1086s | 23 | 3014881 | 2813738 | 6797 970 | 10 | 24 1089.29/1089.74 c 1088s | 23 | 3020899 | 2819338 | 6797 971 | 10 | 24 1091.29/1091.74 c 1090s | 23 | 3026284 | 2824138 | 6797 972 | 10 | 24 1093.30/1093.79 c 1092s | 23 | 3031192 | 2828238 | 6797 974 | 10 | 24 1095.40/1095.84 c 1094s | 23 | 3036032 | 2832438 | 6797 975 | 10 | 24 1097.38/1097.84 c 1096s | 23 | 3040652 | 2836838 | 6797 976 | 10 | 24 1099.48/1099.93 c 1098s | 23 | 3044893 | 2840938 | 6797 977 | 10 | 24 1101.48/1101.99 c 1100s | 23 | 3049732 | 2845638 | 6797 978 | 10 | 24 1103.58/1104.00 c 1102s | 23 | 3055828 | 2851338 | 6797 980 | 10 | 24 1105.58/1106.05 c 1104s | 23 | 3061034 | 2856238 | 6797 981 | 10 | 24 1107.59/1108.06 c 1106s | 23 | 3065461 | 2860338 | 6797 982 | 10 | 24 1109.58/1110.07 c 1108s | 23 | 3070627 | 2865138 | 6797 984 | 10 | 24 1111.58/1112.07 c 1110s | 23 | 3076336 | 2870438 | 6797 985 | 10 | 24 1113.58/1114.07 c 1112s | 23 | 3081213 | 2875038 | 6797 986 | 10 | 24 1115.68/1116.12 c 1114s | 23 | 3085329 | 2878938 | 6797 987 | 10 | 24 1117.68/1118.13 c 1116s | 23 | 3089509 | 2882938 | 6797 989 | 10 | 24 1119.69/1120.16 c 1118s | 23 | 3095089 | 2888138 | 6797 990 | 10 | 24 1121.68/1122.17 c 1120s | 23 | 3100287 | 2893038 | 6797 991 | 10 | 24 1123.78/1124.20 c 1122s | 23 | 3105075 | 2897438 | 6797 993 | 10 | 24 1125.77/1126.22 c 1124s | 23 | 3110794 | 2902638 | 6797 994 | 10 | 24 1127.77/1128.27 c 1126s | 23 | 3116098 | 2907538 | 6797 995 | 10 | 24 1129.77/1130.29 c 1128s | 23 | 3120476 | 2911738 | 6797 996 | 10 | 24 1131.87/1132.31 c 1130s | 23 | 3125260 | 2916338 | 6797 998 | 10 | 24 1133.87/1134.31 c 1132s | 23 | 3129957 | 2920838 | 6797 999 | 10 | 24 1135.86/1136.32 c 1134s | 23 | 3134149 | 2924938 | 6797 1000 | 10 | 24 1137.86/1138.33 c 1136s | 23 | 3140071 | 2930638 | 6797 1002 | 10 | 24 1139.86/1140.35 c 1138s | 23 | 3145764 | 2936038 | 6797 1003 | 10 | 24 1141.86/1142.37 c 1140s | 23 | 3151166 | 2941038 | 6797 1004 | 10 | 24 1143.86/1144.38 c 1142s | 23 | 3156321 | 2945838 | 6797 1006 | 10 | 24 1145.85/1146.39 c 1144s | 23 | 3161550 | 2950838 | 6797 1007 | 10 | 24 1147.95/1148.42 c 1146s | 23 | 3166848 | 2955738 | 6797 1009 | 10 | 24 1149.95/1150.43 c 1148s | 23 | 3172319 | 2960638 | 6797 1010 | 10 | 24 1151.95/1152.45 c 1150s | 23 | 3177456 | 2965338 | 6797 1011 | 10 | 24 1153.95/1154.46 c 1152s | 23 | 3182824 | 2970138 | 6797 1012 | 10 | 24 1155.95/1156.47 c 1154s | 23 | 3187969 | 2974638 | 6797 1014 | 10 | 24 1158.06/1158.52 c 1156s | 23 | 3193067 | 2979138 | 6797 1015 | 10 | 24 1160.05/1160.54 c 1158s | 23 | 3197490 | 2983238 | 6797 1016 | 10 | 24 1162.05/1162.57 c 1160s | 23 | 3202631 | 2988038 | 6797 1017 | 10 | 24 1164.05/1164.59 c 1162s | 23 | 3207187 | 2992238 | 6797 1019 | 10 | 24 1166.15/1166.63 c 1165s | 23 | 3212602 | 2997438 | 6797 1020 | 10 | 24 1168.14/1168.64 c 1167s | 23 | 3217847 | 3002338 | 6797 1021 | 10 | 24 1170.15/1170.64 c 1169s | 23 | 3223008 | 3007238 | 6797 1023 | 10 | 24 1172.14/1172.65 c 1171s | 23 | 3227800 | 3011738 | 6797 1024 | 10 | 24 1174.14/1174.69 c 1173s | 23 | 3233412 | 3017138 | 6797 1025 | 10 | 24 1176.24/1176.71 c 1175s | 23 | 3238616 | 3022138 | 6797 1027 | 10 | 24 1178.24/1178.72 c 1177s | 23 | 3244095 | 3027338 | 6797 1028 | 10 | 24 1180.24/1180.74 c 1179s | 23 | 3249514 | 3032338 | 6797 1029 | 10 | 24 1182.24/1182.75 c 1181s | 23 | 3254831 | 3037238 | 6797 1031 | 10 | 24 1184.24/1184.77 c 1183s | 23 | 3260027 | 3042038 | 6797 1032 | 10 | 24 1186.33/1186.80 c 1185s | 23 | 3265352 | 3046838 | 6797 1033 | 10 | 24 1188.33/1188.81 c 1187s | 23 | 3270100 | 3051238 | 6797 1035 | 10 | 24 1190.33/1190.83 c 1189s | 23 | 3275511 | 3056238 | 6797 1036 | 10 | 24 1192.33/1192.87 c 1191s | 23 | 3281006 | 3061638 | 6797 1038 | 10 | 24 1194.34/1194.90 c 1193s | 23 | 3286444 | 3066838 | 6797 1039 | 10 | 24 1196.43/1196.91 c 1195s | 23 | 3291033 | 3071338 | 6797 1040 | 10 | 24 1198.43/1198.91 c 1197s | 23 | 3296533 | 3076538 | 6797 1042 | 10 | 24 1200.43/1200.94 c 1199s | 23 | 3301778 | 3081638 | 6797 1043 | 10 | 24 1202.43/1202.99 c 1201s | 23 | 3306761 | 3086538 | 6797 1044 | 10 | 24 1204.43/1204.99 c 1203s | 23 | 3311613 | 3091238 | 6797 1046 | 10 | 24 1206.54/1207.01 c 1205s | 23 | 3317108 | 3096438 | 6797 1047 | 10 | 24 1208.53/1209.04 c 1207s | 23 | 3322512 | 3101638 | 6797 1048 | 10 | 24 1210.53/1211.07 c 1209s | 23 | 3327578 | 3106638 | 6797 1050 | 10 | 24 1212.53/1213.07 c 1211s | 23 | 3333117 | 3112038 | 6797 1051 | 10 | 24 1214.63/1215.10 c 1213s | 23 | 3338132 | 3116838 | 6797 1053 | 10 | 24 1216.63/1217.12 c 1215s | 23 | 3342790 | 3121338 | 6797 1054 | 10 | 24 1218.63/1219.15 c 1217s | 23 | 3347344 | 3125738 | 6797 1055 | 10 | 24 1220.63/1221.19 c 1219s | 23 | 3351766 | 3130038 | 6797 1056 | 10 | 24 1222.83/1223.30 c 1221s | 23 | 3356482 | 3134638 | 6797 1058 | 10 | 24 1224.83/1225.32 c 1223s | 23 | 3361255 | 3139238 | 6797 1059 | 10 | 24 1226.83/1227.32 c 1225s | 23 | 3366347 | 3144238 | 6797 1060 | 10 | 24 1228.83/1229.36 c 1227s | 23 | 3371395 | 3148938 | 6797 1061 | 10 | 24 1230.82/1231.39 c 1229s | 23 | 3376516 | 3153838 | 6797 1063 | 10 | 24 1232.83/1233.39 c 1231s | 23 | 3380990 | 3158238 | 6797 1064 | 10 | 24 1234.92/1235.42 c 1233s | 23 | 3386700 | 3163538 | 6797 1065 | 10 | 24 1236.92/1237.45 c 1235s | 23 | 3391327 | 3167938 | 6797 1067 | 10 | 24 1238.92/1239.47 c 1237s | 23 | 3397270 | 3173538 | 6797 1068 | 10 | 24 1240.92/1241.49 c 1239s | 23 | 3402143 | 3178138 | 6797 1069 | 10 | 24 1243.02/1243.51 c 1241s | 23 | 3407598 | 3183238 | 6797 1071 | 10 | 24 1245.03/1245.52 c 1243s | 23 | 3413066 | 3188038 | 6797 1072 | 10 | 24 1247.02/1247.54 c 1245s | 23 | 3417889 | 3192538 | 6797 1073 | 10 | 24 1249.02/1249.57 c 1247s | 23 | 3423242 | 3197638 | 6797 1075 | 10 | 24 1251.02/1251.57 c 1249s | 23 | 3428145 | 3202238 | 6797 1076 | 10 | 24 1253.12/1253.63 c 1252s | 23 | 3432409 | 3206338 | 6797 1077 | 10 | 24 1255.12/1255.64 c 1254s | 23 | 3437826 | 3211438 | 6797 1079 | 10 | 24 1257.13/1257.64 c 1256s | 23 | 3443457 | 3216538 | 6797 1080 | 10 | 24 1259.12/1259.67 c 1258s | 23 | 3448333 | 3220838 | 6797 1081 | 10 | 24 1261.12/1261.68 c 1260s | 23 | 3452917 | 3225138 | 6797 1082 | 10 | 24 1263.22/1263.72 c 1262s | 23 | 3457082 | 3229138 | 6797 1083 | 10 | 24 1265.22/1265.73 c 1264s | 23 | 3462166 | 3233738 | 6797 1085 | 10 | 24 1267.22/1267.74 c 1266s | 23 | 3467540 | 3238638 | 6797 1086 | 10 | 24 1269.22/1269.76 c 1268s | 23 | 3472801 | 3243538 | 6797 1087 | 10 | 24 1271.22/1271.79 c 1270s | 23 | 3477834 | 3248138 | 6797 1089 | 10 | 24 1273.31/1273.80 c 1272s | 23 | 3482599 | 3252338 | 6797 1090 | 10 | 24 1275.31/1275.85 c 1274s | 23 | 3487166 | 3256638 | 6797 1091 | 10 | 24 1277.31/1277.85 c 1276s | 23 | 3491284 | 3260538 | 6797 1092 | 10 | 24 1279.31/1279.86 c 1278s | 23 | 3495534 | 3264638 | 6797 1093 | 10 | 24 1281.32/1281.88 c 1280s | 23 | 3500599 | 3269338 | 6797 1094 | 10 | 24 1283.42/1283.91 c 1282s | 23 | 3505815 | 3274038 | 6797 1096 | 10 | 24 1285.41/1285.97 c 1284s | 23 | 3509971 | 3278038 | 6797 1097 | 10 | 24 1287.51/1288.00 c 1286s | 23 | 3514829 | 3282738 | 6797 1098 | 10 | 24 1289.51/1290.04 c 1288s | 23 | 3520009 | 3287538 | 6797 1099 | 10 | 24 1291.51/1292.04 c 1290s | 23 | 3525213 | 3292338 | 6797 1101 | 10 | 24 1293.51/1294.07 c 1292s | 23 | 3529988 | 3296638 | 6797 1102 | 10 | 24 1295.52/1296.08 c 1294s | 23 | 3534507 | 3300738 | 6797 1103 | 10 | 24 1297.61/1298.10 c 1296s | 23 | 3538811 | 3304838 | 6797 1104 | 10 | 24 1299.61/1300.12 c 1298s | 23 | 3543817 | 3309438 | 6797 1106 | 10 | 24 1301.61/1302.12 c 1300s | 23 | 3547973 | 3313438 | 6797 1107 | 10 | 24 1303.61/1304.17 c 1302s | 23 | 3552943 | 3318138 | 6797 1108 | 10 | 24 1305.71/1306.21 c 1304s | 23 | 3557415 | 3322438 | 6797 1109 | 10 | 24 1307.72/1308.21 c 1306s | 23 | 3562500 | 3327238 | 6797 1110 | 10 | 24 1309.71/1310.21 c 1308s | 23 | 3566528 | 3331138 | 6797 1111 | 10 | 24 1311.72/1312.22 c 1310s | 23 | 3571724 | 3335938 | 6797 1113 | 10 | 24 1313.72/1314.25 c 1312s | 23 | 3575450 | 3339538 | 6797 1114 | 10 | 24 1315.72/1316.27 c 1314s | 23 | 3581108 | 3344738 | 6797 1115 | 10 | 24 1317.82/1318.30 c 1316s | 23 | 3586142 | 3349238 | 7477 1116 | 10 | 24 1319.82/1320.32 c 1318s | 23 | 3591141 | 3354038 | 7477 1117 | 10 | 24 1321.82/1322.35 c 1320s | 23 | 3595996 | 3358438 | 7477 1119 | 10 | 24 1323.81/1324.38 c 1322s | 23 | 3600411 | 3362538 | 7477 1120 | 10 | 24 1325.81/1326.39 c 1324s | 23 | 3605631 | 3367438 | 7477 1121 | 10 | 24 1327.91/1328.41 c 1326s | 23 | 3610234 | 3371638 | 7477 1122 | 10 | 24 1329.91/1330.41 c 1328s | 24 | 3615553 | 3376662 | 7477 1123 | 10 | 24 1331.91/1332.41 c 1330s | 24 | 3620929 | 3381462 | 7477 1124 | 10 | 24 1333.90/1334.43 c 1332s | 24 | 3625795 | 3386162 | 7477 1126 | 10 | 24 1335.90/1336.46 c 1334s | 24 | 3631827 | 3391962 | 7477 1127 | 10 | 24 1337.90/1338.48 c 1336s | 24 | 3637210 | 3397062 | 7477 1128 | 10 | 24 1339.90/1340.49 c 1338s | 24 | 3642835 | 3402462 | 7477 1130 | 10 | 24 1341.91/1342.49 c 1340s | 24 | 3648329 | 3407762 | 7477 1131 | 10 | 24 1344.02/1344.51 c 1342s | 24 | 3654023 | 3413062 | 7477 1132 | 10 | 24 1346.01/1346.54 c 1344s | 24 | 3659216 | 3417962 | 7477 1134 | 10 | 24 1348.01/1348.58 c 1346s | 24 | 3664947 | 3423162 | 7477 1135 | 10 | 24 1350.11/1350.63 c 1349s | 24 | 3670529 | 3427862 | 7477 1136 | 10 | 24 1352.11/1352.65 c 1351s | 24 | 3676794 | 3432362 | 7477 1137 | 10 | 24 1354.11/1354.66 c 1353s | 24 | 3683217 | 3438462 | 7477 1139 | 10 | 24 1356.11/1356.66 c 1355s | 24 | 3688596 | 3443462 | 7477 1140 | 10 | 24 1358.11/1358.68 c 1357s | 24 | 3693804 | 3448262 | 7477 1141 | 10 | 24 1360.21/1360.72 c 1359s | 24 | 3699129 | 3453362 | 7477 1142 | 10 | 24 1362.20/1362.73 c 1361s | 24 | 3704344 | 3458262 | 7477 1144 | 10 | 24 1364.20/1364.75 c 1363s | 24 | 3709369 | 3462962 | 7477 1145 | 10 | 24 1366.20/1366.76 c 1365s | 24 | 3714747 | 3467962 | 7477 1146 | 10 | 24 1368.21/1368.78 c 1367s | 24 | 3719981 | 3472862 | 7477 1147 | 10 | 24 1370.20/1370.78 c 1369s | 24 | 3724794 | 3477362 | 7477 1148 | 10 | 24 1372.20/1372.79 c 1371s | 24 | 3730118 | 3482362 | 7477 1150 | 10 | 24 1374.30/1374.82 c 1373s | 24 | 3735903 | 3487662 | 7477 1151 | 10 | 24 1376.30/1376.84 c 1375s | 24 | 3740836 | 3492362 | 7477 1152 | 10 | 24 1378.30/1378.85 c 1377s | 24 | 3745332 | 3496562 | 7477 1153 | 10 | 24 1380.30/1380.88 c 1379s | 24 | 3750800 | 3501562 | 7477 1155 | 10 | 24 1382.30/1382.89 c 1381s | 24 | 3756200 | 3506562 | 7477 1156 | 10 | 24 1384.40/1384.92 c 1383s | 24 | 3761490 | 3511562 | 7477 1157 | 10 | 24 1386.40/1386.94 c 1385s | 24 | 3766978 | 3516662 | 7477 1158 | 10 | 24 1388.40/1388.95 c 1387s | 24 | 3772139 | 3521562 | 7477 1160 | 10 | 24 1390.40/1390.98 c 1389s | 24 | 3777494 | 3526762 | 7477 1161 | 10 | 24 1392.49/1393.02 c 1391s | 24 | 3783235 | 3532162 | 7477 1162 | 10 | 24 1394.50/1395.05 c 1393s | 24 | 3788627 | 3537362 | 7477 1163 | 10 | 24 1396.49/1397.07 c 1395s | 24 | 3794312 | 3542662 | 7477 1165 | 10 | 24 1398.59/1399.10 c 1397s | 24 | 3799744 | 3547862 | 7477 1166 | 10 | 24 1400.59/1401.12 c 1399s | 24 | 3804744 | 3552462 | 7477 1167 | 10 | 24 1402.59/1403.13 c 1401s | 24 | 3810258 | 3557562 | 7477 1169 | 10 | 24 1404.59/1405.15 c 1403s | 24 | 3815647 | 3562662 | 7477 1170 | 10 | 24 1406.60/1407.19 c 1405s | 24 | 3820819 | 3567462 | 7477 1171 | 10 | 24 1408.69/1409.23 c 1407s | 24 | 3825832 | 3571962 | 7477 1172 | 10 | 24 1410.69/1411.23 c 1409s | 24 | 3831756 | 3577462 | 7477 1174 | 10 | 24 1412.70/1413.26 c 1411s | 24 | 3837786 | 3583062 | 7477 1175 | 10 | 24 1414.70/1415.29 c 1413s | 24 | 3843562 | 3588462 | 7477 1176 | 10 | 24 1416.80/1417.30 c 1415s | 24 | 3849141 | 3593762 | 7477 1178 | 10 | 24 1418.80/1419.31 c 1417s | 24 | 3855163 | 3599462 | 7477 1179 | 10 | 24 1420.79/1421.35 c 1419s | 24 | 3860734 | 3604662 | 7477 1180 | 10 | 24 1422.79/1423.37 c 1421s | 24 | 3866083 | 3609662 | 7477 1182 | 10 | 24 1424.79/1425.38 c 1423s | 24 | 3871456 | 3614762 | 7477 1183 | 10 | 24 1426.89/1427.42 c 1425s | 24 | 3877530 | 3620462 | 7477 1184 | 10 | 24 1428.89/1429.44 c 1427s | 24 | 3883310 | 3625862 | 7477 1186 | 10 | 24 1430.90/1431.45 c 1429s | 24 | 3889153 | 3631362 | 7477 1187 | 10 | 24 1432.89/1433.50 c 1431s | 24 | 3895467 | 3637262 | 7477 1189 | 10 | 24 1434.99/1435.53 c 1433s | 24 | 3901392 | 3642862 | 7477 1190 | 10 | 24 1436.99/1437.55 c 1435s | 24 | 3906963 | 3648162 | 7477 1191 | 10 | 24 1438.99/1439.59 c 1437s | 24 | 3912256 | 3653162 | 7477 1192 | 10 | 24 1440.99/1441.59 c 1439s | 24 | 3917663 | 3658062 | 7477 1194 | 10 | 24 1443.09/1443.62 c 1442s | 24 | 3923532 | 3663162 | 7477 1195 | 10 | 24 1445.10/1445.64 c 1444s | 24 | 3928892 | 3668262 | 7477 1196 | 10 | 24 1447.09/1447.64 c 1446s | 24 | 3934282 | 3673462 | 7477 1198 | 10 | 24 1449.09/1449.64 c 1448s | 24 | 3940121 | 3678962 | 7477 1199 | 10 | 24 1451.09/1451.68 c 1450s | 24 | 3945787 | 3684462 | 7477 1200 | 10 | 24 1453.08/1453.68 c 1452s | 24 | 3951919 | 3690262 | 7477 1202 | 10 | 24 1455.18/1455.71 c 1454s | 24 | 3957808 | 3695862 | 7477 1203 | 10 | 24 1457.19/1457.72 c 1456s | 24 | 3963736 | 3701562 | 7477 1205 | 10 | 24 1459.18/1459.76 c 1458s | 24 | 3969485 | 3706962 | 7477 1206 | 10 | 24 1461.18/1461.77 c 1460s | 24 | 3975114 | 3712362 | 7477 1207 | 10 | 24 1463.28/1463.83 c 1462s | 24 | 3980249 | 3717162 | 7477 1209 | 10 | 24 1465.28/1465.86 c 1464s | 24 | 3985544 | 3721962 | 7477 1210 | 10 | 24 1467.28/1467.88 c 1466s | 24 | 3991078 | 3727062 | 7477 1211 | 10 | 24 1469.29/1469.89 c 1468s | 24 | 3996443 | 3731762 | 7477 1212 | 10 | 24 1471.38/1471.90 c 1470s | 24 | 4001842 | 3736762 | 7477 1213 | 10 | 24 1473.38/1473.90 c 1472s | 24 | 4007327 | 3741662 | 7477 1215 | 10 | 24 1475.38/1475.91 c 1474s | 24 | 4012766 | 3746762 | 7477 1216 | 10 | 24 1477.38/1477.93 c 1476s | 24 | 4018301 | 3751962 | 7477 1217 | 10 | 24 1479.38/1479.93 c 1478s | 24 | 4023629 | 3757062 | 7477 1219 | 10 | 24 1481.39/1481.95 c 1480s | 24 | 4030227 | 3763262 | 7477 1220 | 10 | 24 1483.38/1483.98 c 1482s | 24 | 4035552 | 3768262 | 7477 1221 | 10 | 24 1485.49/1486.00 c 1484s | 24 | 4041400 | 3773862 | 7477 1223 | 10 | 24 1487.49/1488.06 c 1486s | 24 | 4046749 | 3778962 | 7477 1224 | 10 | 24 1489.49/1490.07 c 1488s | 24 | 4052559 | 3784462 | 7477 1225 | 10 | 24 1491.49/1492.07 c 1490s | 24 | 4058170 | 3789662 | 7477 1227 | 10 | 24 1493.49/1494.10 c 1492s | 24 | 4064353 | 3795462 | 7477 1228 | 10 | 24 1495.59/1496.13 c 1494s | 24 | 4069861 | 3800562 | 7477 1229 | 10 | 24 1497.59/1498.15 c 1496s | 24 | 4075727 | 3806162 | 7477 1231 | 10 | 24 1499.59/1500.16 c 1498s | 24 | 4081947 | 3811962 | 7477 1232 | 10 | 24 1501.68/1502.20 c 1500s | 24 | 4087445 | 3816962 | 7477 1234 | 10 | 24 1503.68/1504.21 c 1502s | 24 | 4093553 | 3822862 | 7477 1235 | 10 | 24 1505.69/1506.22 c 1504s | 24 | 4098843 | 3828062 | 7477 1236 | 10 | 24 1507.68/1508.25 c 1506s | 24 | 4103743 | 3832762 | 7477 1238 | 10 | 24 1509.78/1510.30 c 1508s | 24 | 4109515 | 3838162 | 7477 1239 | 10 | 24 1511.78/1512.32 c 1510s | 24 | 4114622 | 3842962 | 7477 1240 | 10 | 24 1513.78/1514.35 c 1512s | 24 | 4120393 | 3848362 | 7477 1241 | 10 | 24 1515.78/1516.37 c 1514s | 24 | 4125318 | 3852862 | 7477 1243 | 10 | 24 1517.79/1518.38 c 1516s | 24 | 4130466 | 3857462 | 7477 1244 | 10 | 24 1519.78/1520.40 c 1518s | 24 | 4136263 | 3862662 | 7477 1245 | 10 | 24 1521.88/1522.41 c 1520s | 24 | 4141371 | 3867262 | 7477 1246 | 10 | 24 1523.88/1524.44 c 1522s | 24 | 4145986 | 3871362 | 7477 1247 | 10 | 24 1525.88/1526.48 c 1524s | 24 | 4150425 | 3875062 | 7477 1248 | 10 | 24 1527.88/1528.49 c 1526s | 24 | 4153973 | 3878462 | 7477 1249 | 10 | 24 1529.98/1530.52 c 1528s | 24 | 4158778 | 3882962 | 7477 1250 | 10 | 24 1531.99/1532.54 c 1530s | 24 | 4164080 | 3887862 | 7477 1251 | 10 | 24 1533.98/1534.54 c 1532s | 24 | 4169509 | 3892762 | 7477 1253 | 10 | 24 1535.98/1536.57 c 1534s | 24 | 4174544 | 3897362 | 7477 1254 | 10 | 24 1537.98/1538.60 c 1536s | 24 | 4179972 | 3902462 | 7477 1255 | 10 | 24 1540.08/1540.61 c 1539s | 24 | 4185181 | 3907362 | 7477 1256 | 10 | 24 1542.08/1542.62 c 1541s | 24 | 4189878 | 3911762 | 7477 1257 | 10 | 24 1544.08/1544.62 c 1543s | 24 | 4194646 | 3916262 | 7477 1259 | 10 | 24 1546.08/1546.67 c 1545s | 24 | 4199076 | 3920362 | 7477 1260 | 10 | 24 1548.17/1548.71 c 1547s | 24 | 4203207 | 3924162 | 7477 1260 | 10 | 24 1550.17/1550.75 c 1549s | 24 | 4207679 | 3928362 | 7477 1262 | 10 | 24 1552.17/1552.77 c 1551s | 24 | 4212788 | 3933062 | 7477 1263 | 10 | 24 1554.17/1554.79 c 1553s | 24 | 4218274 | 3937962 | 7477 1264 | 10 | 24 1556.18/1556.79 c 1555s | 24 | 4223881 | 3943162 | 7477 1265 | 10 | 24 1558.27/1558.82 c 1557s | 24 | 4229326 | 3948362 | 7477 1267 | 10 | 24 1560.27/1560.83 c 1559s | 24 | 4235455 | 3953862 | 7477 1268 | 10 | 24 1562.27/1562.86 c 1561s | 24 | 4240431 | 3958362 | 7477 1269 | 10 | 24 1564.27/1564.88 c 1563s | 24 | 4245143 | 3962562 | 7477 1270 | 10 | 24 1566.37/1566.94 c 1565s | 24 | 4250117 | 3967262 | 7477 1271 | 10 | 24 1568.38/1568.99 c 1567s | 24 | 4255391 | 3972162 | 7477 1273 | 10 | 24 1570.48/1571.01 c 1569s | 24 | 4260906 | 3977362 | 7477 1274 | 10 | 24 1572.47/1573.04 c 1571s | 24 | 4266362 | 3982562 | 7477 1275 | 10 | 24 1574.47/1575.05 c 1573s | 24 | 4271110 | 3986962 | 7477 1276 | 10 | 24 1576.47/1577.09 c 1575s | 24 | 4276052 | 3991662 | 7477 1277 | 10 | 24 1578.57/1579.13 c 1577s | 24 | 4280889 | 3996162 | 7477 1279 | 10 | 24 1580.57/1581.15 c 1579s | 24 | 4285933 | 4000862 | 7477 1280 | 10 | 24 1582.57/1583.16 c 1581s | 24 | 4290974 | 4005562 | 7477 1281 | 10 | 24 1584.57/1585.16 c 1583s | 24 | 4295740 | 4009962 | 7477 1282 | 10 | 24 1586.56/1587.18 c 1585s | 24 | 4300330 | 4014162 | 7477 1283 | 10 | 24 1588.66/1589.20 c 1587s | 24 | 4305427 | 4018762 | 7477 1284 | 10 | 24 1590.66/1591.25 c 1589s | 24 | 4310489 | 4023262 | 7477 1285 | 10 | 24 1592.66/1593.28 c 1591s | 24 | 4315220 | 4027362 | 7477 1286 | 10 | 24 1594.77/1595.34 c 1593s | 24 | 4320053 | 4031862 | 7477 1288 | 10 | 24 1596.76/1597.34 c 1595s | 24 | 4325931 | 4037162 | 7477 1289 | 10 | 24 1598.76/1599.37 c 1597s | 24 | 4331903 | 4042262 | 7477 1290 | 10 | 24 1600.76/1601.38 c 1599s | 24 | 4337652 | 4047762 | 7477 1292 | 10 | 24 1602.86/1603.40 c 1601s | 24 | 4343743 | 4053362 | 7477 1293 | 10 | 24 1604.86/1605.42 c 1603s | 24 | 4348789 | 4058062 | 7477 1294 | 10 | 24 1606.87/1607.42 c 1605s | 24 | 4354066 | 4062962 | 7477 1295 | 10 | 24 1608.87/1609.43 c 1607s | 24 | 4359255 | 4067962 | 7477 1297 | 10 | 24 1610.87/1611.45 c 1609s | 24 | 4364728 | 4073162 | 7477 1298 | 10 | 24 1612.87/1613.46 c 1611s | 24 | 4369874 | 4078062 | 7477 1299 | 10 | 24 1614.87/1615.49 c 1613s | 24 | 4375305 | 4083062 | 7477 1301 | 10 | 24 1616.87/1617.50 c 1615s | 24 | 4380512 | 4087962 | 7477 1302 | 10 | 24 1618.87/1619.50 c 1617s | 24 | 4385629 | 4092762 | 7477 1303 | 10 | 24 1620.97/1621.51 c 1619s | 24 | 4390484 | 4097162 | 7477 1304 | 10 | 24 1622.97/1623.55 c 1621s | 24 | 4395613 | 4101862 | 7477 1305 | 10 | 24 1624.97/1625.58 c 1623s | 24 | 4400513 | 4106562 | 7477 1306 | 10 | 24 1627.06/1627.61 c 1625s | 24 | 4405306 | 4111062 | 7477 1308 | 10 | 24 1629.06/1629.62 c 1628s | 24 | 4410436 | 4115762 | 7477 1309 | 10 | 24 1631.07/1631.62 c 1630s | 24 | 4415151 | 4120162 | 7477 1310 | 10 | 24 1633.06/1633.63 c 1632s | 24 | 4420776 | 4125362 | 7477 1311 | 10 | 24 1635.06/1635.69 c 1634s | 24 | 4426145 | 4130362 | 7477 1313 | 10 | 24 1637.16/1637.70 c 1636s | 24 | 4431345 | 4135262 | 7477 1314 | 10 | 24 1639.16/1639.73 c 1638s | 24 | 4436232 | 4139562 | 7477 1315 | 10 | 24 1641.16/1641.77 c 1640s | 24 | 4441792 | 4144762 | 7477 1316 | 10 | 24 1643.17/1643.77 c 1642s | 24 | 4446167 | 4148862 | 7477 1317 | 10 | 24 1645.16/1645.79 c 1644s | 24 | 4450929 | 4153162 | 7477 1318 | 10 | 24 1647.26/1647.81 c 1646s | 24 | 4456070 | 4158062 | 7477 1320 | 10 | 24 1649.26/1649.83 c 1648s | 24 | 4461177 | 4162662 | 7477 1321 | 10 | 24 1651.26/1651.86 c 1650s | 24 | 4466717 | 4167662 | 7477 1322 | 10 | 24 1653.26/1653.88 c 1652s | 24 | 4471327 | 4171762 | 7477 1323 | 10 | 24 1655.36/1655.94 c 1654s | 24 | 4476597 | 4176562 | 7477 1324 | 10 | 24 1657.37/1657.97 c 1656s | 24 | 4481204 | 4180762 | 7477 1325 | 10 | 24 1659.36/1659.97 c 1658s | 24 | 4485907 | 4185162 | 7477 1326 | 10 | 24 1661.46/1662.06 c 1660s | 24 | 4490866 | 4189562 | 7477 1328 | 10 | 24 1663.46/1664.06 c 1662s | 24 | 4496555 | 4194962 | 7477 1329 | 10 | 24 1665.45/1666.09 c 1664s | 24 | 4502052 | 4200162 | 7477 1330 | 10 | 24 1667.55/1668.11 c 1666s | 24 | 4507829 | 4205562 | 7477 1332 | 10 | 24 1669.56/1670.11 c 1668s | 24 | 4513691 | 4211162 | 7477 1333 | 10 | 24 1671.55/1672.15 c 1670s | 24 | 4518701 | 4215862 | 7477 1334 | 10 | 24 1673.55/1674.15 c 1672s | 24 | 4523987 | 4220762 | 7477 1335 | 10 | 24 1675.55/1676.17 c 1674s | 24 | 4529190 | 4225762 | 7477 1337 | 10 | 24 1677.55/1678.18 c 1676s | 24 | 4535075 | 4231362 | 7477 1338 | 10 | 24 1679.55/1680.18 c 1678s | 24 | 4539885 | 4235962 | 7477 1339 | 10 | 24 1681.56/1682.18 c 1680s | 24 | 4545619 | 4241362 | 7477 1341 | 10 | 24 1683.55/1684.19 c 1682s | 24 | 4550503 | 4245962 | 7477 1342 | 10 | 24 1685.65/1686.24 c 1684s | 24 | 4555485 | 4250662 | 7477 1343 | 10 | 24 1687.65/1688.24 c 1686s | 24 | 4560395 | 4255162 | 7477 1344 | 10 | 24 1689.65/1690.26 c 1688s | 24 | 4565694 | 4260062 | 7477 1345 | 10 | 24 1691.65/1692.29 c 1690s | 24 | 4571288 | 4265262 | 7477 1347 | 10 | 24 1693.85/1694.44 c 1692s | 24 | 4577347 | 4270962 | 7477 1348 | 10 | 24 1695.85/1696.46 c 1694s | 24 | 4582786 | 4276162 | 7477 1350 | 10 | 24 1697.85/1698.47 c 1696s | 24 | 4587971 | 4280962 | 7477 1351 | 10 | 24 1699.85/1700.47 c 1698s | 24 | 4593330 | 4286062 | 7477 1352 | 10 | 24 1701.85/1702.49 c 1700s | 24 | 4598351 | 4290662 | 7477 1353 | 10 | 24 1703.95/1704.52 c 1702s | 24 | 4603677 | 4295462 | 7477 1354 | 10 | 24 1705.94/1706.53 c 1704s | 24 | 4608585 | 4299662 | 7477 1355 | 10 | 24 1707.95/1708.53 c 1706s | 24 | 4613303 | 4304062 | 7477 1357 | 10 | 24 1709.94/1710.57 c 1708s | 24 | 4618566 | 4309062 | 7477 1358 | 10 | 24 1712.05/1712.61 c 1710s | 24 | 4623779 | 4313862 | 7477 1359 | 10 | 24 1714.05/1714.64 c 1713s | 24 | 4628984 | 4318562 | 7477 1360 | 10 | 24 1716.05/1716.66 c 1715s | 24 | 4633960 | 4322962 | 7477 1361 | 10 | 24 1718.05/1718.69 c 1717s | 24 | 4639129 | 4327862 | 7477 1363 | 10 | 24 1720.16/1720.71 c 1719s | 24 | 4643977 | 4332562 | 7477 1364 | 10 | 24 1722.15/1722.73 c 1721s | 24 | 4648405 | 4336762 | 7477 1365 | 10 | 24 1724.15/1724.74 c 1723s | 24 | 4653269 | 4341362 | 7477 1366 | 10 | 24 1726.15/1726.75 c 1725s | 24 | 4657599 | 4345362 | 7477 1367 | 10 | 24 1728.15/1728.77 c 1727s | 24 | 4662499 | 4349762 | 7477 1368 | 10 | 24 1730.25/1730.82 c 1729s | 24 | 4668127 | 4354862 | 7477 1370 | 10 | 24 1732.25/1732.83 c 1731s | 24 | 4672715 | 4358962 | 7477 1371 | 10 | 24 1734.25/1734.88 c 1733s | 24 | 4678055 | 4363862 | 7477 1372 | 10 | 24 1736.35/1736.91 c 1735s | 24 | 4683307 | 4368762 | 7477 1373 | 10 | 24 1738.35/1738.92 c 1737s | 24 | 4688288 | 4373462 | 7477 1374 | 10 | 24 1740.34/1740.96 c 1739s | 24 | 4693471 | 4378362 | 7477 1375 | 10 | 24 1742.34/1742.99 c 1741s | 24 | 4698794 | 4383362 | 7477 1377 | 10 | 24 1744.44/1745.02 c 1743s | 24 | 4704201 | 4388362 | 7477 1378 | 10 | 24 1746.45/1747.03 c 1745s | 24 | 4709783 | 4393562 | 7477 1379 | 10 | 24 1748.44/1749.07 c 1747s | 24 | 4715177 | 4398462 | 7477 1381 | 10 | 24 1750.44/1751.07 c 1749s | 24 | 4720772 | 4403762 | 7477 1382 | 10 | 24 1752.44/1753.08 c 1751s | 24 | 4725807 | 4408362 | 7477 1383 | 10 | 24 1754.54/1755.12 c 1753s | 24 | 4730163 | 4412462 | 7477 1384 | 10 | 24 1756.54/1757.15 c 1755s | 24 | 4734328 | 4416362 | 7477 1385 | 10 | 24 1758.65/1759.25 c 1757s | 24 | 4739695 | 4421362 | 7477 1386 | 10 | 24 1760.64/1761.26 c 1759s | 24 | 4743556 | 4424962 | 7477 1387 | 10 | 24 1762.74/1763.31 c 1761s | 24 | 4747584 | 4428862 | 7477 1388 | 10 | 24 1764.74/1765.33 c 1763s | 24 | 4752659 | 4433762 | 7477 1390 | 10 | 24 1766.74/1767.36 c 1765s | 24 | 4757068 | 4437962 | 7477 1391 | 10 | 24 1768.84/1769.41 c 1767s | 24 | 4763059 | 4443662 | 7477 1392 | 10 | 24 1770.84/1771.44 c 1769s | 24 | 4767968 | 4448162 | 7477 1393 | 10 | 24 1772.85/1773.44 c 1771s | 24 | 4772396 | 4452362 | 7477 1394 | 10 | 24 1774.84/1775.47 c 1773s | 24 | 4777584 | 4457262 | 7477 1396 | 10 | 24 1776.84/1777.50 c 1775s | 24 | 4782391 | 4461562 | 7477 1397 | 10 | 24 1778.94/1779.51 c 1777s | 24 | 4786825 | 4465162 | 7477 1398 | 10 | 24 1780.94/1781.52 c 1779s | 24 | 4791264 | 4469162 | 7477 1399 | 10 | 24 1782.94/1783.54 c 1781s | 24 | 4795894 | 4473462 | 7477 1400 | 10 | 24 1784.94/1785.56 c 1783s | 24 | 4800482 | 4477662 | 7477 1401 | 10 | 24 1786.94/1787.57 c 1785s | 24 | 4804343 | 4481162 | 7477 1402 | 10 | 24 1788.94/1789.58 c 1787s | 24 | 4809491 | 4485762 | 7477 1403 | 10 | 24 1791.03/1791.61 c 1790s | 24 | 4813737 | 4489762 | 7477 1404 | 10 | 24 1793.03/1793.68 c 1792s | 24 | 4818410 | 4494162 | 7477 1405 | 10 | 24 1795.13/1795.73 c 1794s | 24 | 4822581 | 4498062 | 7477 1406 | 10 | 24 1797.14/1797.78 c 1796s | 24 | 4826592 | 4501862 | 7477 1407 | 10 | 24 1799.13/1799.79 c 1798s | 24 | 4830693 | 4505762 | 7477 1408 | 10 | 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-4080200-1465254662/watcher-4080200-1465254662 -o /tmp/evaluation-result-4080200-1465254662/solver-4080200-1465254662 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080200-1465254662.opb pid=5265 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.14 2.10 2.02 2/179 5268 /proc/meminfo: memFree=30616148/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=800324 CPUtime=0 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 3001 0 0 0 0 0 0 0 20 0 4 0 107401687 819531776 2850 33554432000 4194304 16246674 140735441957184 140735441956608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5268/statm: 200593 2860 442 2943 0 197487 0 [pid=5268/tid=5269] ppid=5265 vsize=817732 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 837357568 2921 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=821828 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 841551872 2937 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=826948 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107401687 846794752 2954 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.10015 s] /proc/loadavg: 2.14 2.10 2.02 2/179 5268 /proc/meminfo: memFree=30616148/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 21814 0 0 0 6 2 0 0 20 0 4 0 107401687 1247350784 21652 33554432000 4194304 16246674 140735441957184 140735441956608 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5268/statm: 304529 21657 759 2943 0 301423 0 [pid=5268/tid=5269] ppid=5265 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1247350784 21660 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1247350784 21662 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107401687 1247350784 21665 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.458261 s] /proc/loadavg: 2.14 2.10 2.02 2/179 5268 /proc/meminfo: memFree=30616148/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1218116 CPUtime=0.45 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 84836 0 0 0 34 11 0 0 20 0 4 0 107401687 1247350784 84674 33554432000 4194304 16246674 140735441957184 140735441956608 5721708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5268/statm: 304529 84699 759 2943 0 301423 0 [pid=5268/tid=5269] ppid=5265 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1247350784 84713 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1247350784 84717 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107401687 1247350784 84720 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 1218116 [startup+0.500499 s] /proc/loadavg: 2.14 2.10 2.02 2/179 5268 /proc/meminfo: memFree=30616148/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1218116 CPUtime=0.49 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 92842 0 0 0 37 12 0 0 20 0 4 0 107401687 1247350784 92679 33554432000 4194304 16246674 140735441957184 140735441956608 12479207 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5268/statm: 304529 92688 766 2943 0 301423 0 [pid=5268/tid=5269] ppid=5265 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1247350784 92691 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1247350784 92695 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107401687 1247350784 92700 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 1218116 [startup+0.700414 s] /proc/loadavg: 2.14 2.10 2.02 2/179 5268 /proc/meminfo: memFree=30616148/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 130198 0 0 0 52 17 0 0 20 0 4 0 107401687 1247350784 130035 33554432000 4194304 16246674 140735441957184 140735441956608 5523634 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5268/statm: 304529 130039 766 2943 0 301423 0 [pid=5268/tid=5269] ppid=5265 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1247350784 130041 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1247350784 130045 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107401687 1247350784 130049 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5005 s] /proc/loadavg: 2.14 2.10 2.02 3/183 5272 /proc/meminfo: memFree=29646924/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 246210 0 0 0 115 34 0 0 20 0 4 0 107401687 1250496512 246024 33554432000 4194304 16246674 140735441957184 140735441956496 5712494 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5268/statm: 305297 246024 832 2943 0 302191 0 [pid=5268/tid=5269] ppid=5265 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1250496512 246024 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1250496512 246024 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1250496512 246024 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.1004 s] /proc/loadavg: 2.14 2.10 2.02 3/183 5272 /proc/meminfo: memFree=29550452/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 267889 0 0 0 271 38 0 0 20 0 4 0 107401687 1338576896 267703 33554432000 4194304 16246674 140735441957184 140735441939072 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5268/statm: 326801 267703 852 2943 0 323695 0 [pid=5268/tid=5269] ppid=5265 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1338576896 267703 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1338576896 267703 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1338576896 267703 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30041 s] /proc/loadavg: 2.13 2.10 2.02 3/183 5272 /proc/meminfo: memFree=29545476/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 267902 0 0 0 591 38 0 0 20 0 4 0 107401687 1338576896 267716 33554432000 4194304 16246674 140735441957184 140735441939072 5717462 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5268/statm: 326801 267716 852 2943 0 323695 0 [pid=5268/tid=5269] ppid=5265 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1338576896 267716 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1338576896 267716 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1338576896 267716 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 2.12 2.10 2.02 3/183 5272 /proc/meminfo: memFree=29545100/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1308228 CPUtime=12.69 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 267992 0 0 0 1231 38 0 0 20 0 4 0 107401687 1339625472 267806 33554432000 4194304 16246674 140735441957184 140735441939072 5672160 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5268/statm: 327057 267806 853 2943 0 323951 0 [pid=5268/tid=5269] ppid=5265 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1339625472 267806 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1339625472 267806 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1339625472 267806 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5004 s] /proc/loadavg: 2.09 2.09 2.02 3/183 5272 /proc/meminfo: memFree=29535292/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1317444 CPUtime=25.49 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 270465 0 0 0 2511 38 0 0 20 0 4 0 107401687 1349062656 270279 33554432000 4194304 16246674 140735441957184 140735441939072 5712204 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5268/statm: 329361 270279 855 2943 0 326255 0 [pid=5268/tid=5269] ppid=5265 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1349062656 270279 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1349062656 270279 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1349062656 270279 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1317444 [startup+51.1004 s] /proc/loadavg: 2.14 2.10 2.02 3/183 5272 /proc/meminfo: memFree=29535384/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1317444 CPUtime=51.08 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 270465 0 0 0 5069 39 0 0 20 0 4 0 107401687 1349062656 270279 33554432000 4194304 16246674 140735441957184 140735441939072 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5268/statm: 329361 270279 855 2943 0 326255 0 [pid=5268/tid=5269] ppid=5265 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1349062656 270279 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1349062656 270279 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1349062656 270279 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1317444 [startup+102.3 s] /proc/loadavg: 2.19 2.13 2.04 3/183 5273 /proc/meminfo: memFree=29535296/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1317444 CPUtime=102.27 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 270465 0 0 0 10188 39 0 0 20 0 4 0 107401687 1349062656 270279 33554432000 4194304 16246674 140735441957184 140735441939072 5711888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5268/statm: 329361 270279 855 2943 0 326255 0 [pid=5268/tid=5269] ppid=5265 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1349062656 270279 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1349062656 270279 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1349062656 270279 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1317444 ################ # More data... # ################ /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1359548416 273097 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 1327684 [startup+1302.3 s] /proc/loadavg: 1.00 1.16 1.55 2/173 5334 /proc/meminfo: memFree=30636608/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1327684 CPUtime=1301.81 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 273465 0 0 0 130131 50 0 0 20 0 4 0 107401687 1359548416 273097 33554432000 4194304 16246674 140735441957184 140735441940176 5677520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5268/statm: 331921 273097 857 2943 0 328815 0 [pid=5268/tid=5269] ppid=5265 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1359548416 273097 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1359548416 273097 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1359548416 273097 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1327684 [startup+1362.3 s] /proc/loadavg: 1.00 1.12 1.51 3/173 5335 /proc/meminfo: memFree=30626608/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1337924 CPUtime=1361.81 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 276025 0 0 0 136129 52 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 140735441939072 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5268/statm: 334481 275657 857 2943 0 331375 0 [pid=5268/tid=5269] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1337924 [startup+1422.3 s] /proc/loadavg: 1.00 1.10 1.48 2/173 5337 /proc/meminfo: memFree=30626528/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1337924 CPUtime=1421.79 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 276025 0 0 0 142126 53 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 140735441939072 5827728 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5268/statm: 334481 275657 857 2943 0 331375 0 [pid=5268/tid=5269] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 1337924 [startup+1482.3 s] /proc/loadavg: 1.00 1.08 1.44 2/173 5338 /proc/meminfo: memFree=30626324/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1337924 CPUtime=1481.78 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 276025 0 0 0 148125 53 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 140735441939072 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5268/statm: 334481 275657 857 2943 0 331375 0 [pid=5268/tid=5269] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1337924 [startup+1542.3 s] /proc/loadavg: 1.00 1.06 1.41 2/173 5339 /proc/meminfo: memFree=30626368/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1337924 CPUtime=1541.78 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 276025 0 0 0 154124 54 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 140735441939072 6046202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5268/statm: 334481 275657 857 2943 0 331375 0 [pid=5268/tid=5269] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1337924 [startup+1602.3 s] /proc/loadavg: 1.00 1.05 1.38 2/173 5340 /proc/meminfo: memFree=30626292/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1337924 CPUtime=1601.76 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 276025 0 0 0 160122 54 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 140735441940184 5824066 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5268/statm: 334481 275657 857 2943 0 331375 0 [pid=5268/tid=5269] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1337924 [startup+1662.3 s] /proc/loadavg: 1.00 1.04 1.36 2/173 5341 /proc/meminfo: memFree=30626324/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1337924 CPUtime=1661.76 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 276025 0 0 0 166121 55 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 140735441939072 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5268/statm: 334481 275657 857 2943 0 331375 0 [pid=5268/tid=5269] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1337924 [startup+1722.3 s] /proc/loadavg: 1.00 1.03 1.33 2/173 5343 /proc/meminfo: memFree=30626060/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1337924 CPUtime=1721.75 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 276025 0 0 0 172119 56 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 140735441939072 5710011 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5268/statm: 334481 275657 857 2943 0 331375 0 [pid=5268/tid=5269] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1337924 [startup+1782.31 s] /proc/loadavg: 1.07 1.04 1.32 2/174 5347 /proc/meminfo: memFree=30625424/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1337924 CPUtime=1781.74 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 276025 0 0 0 178118 56 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 140735441939072 5711968 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5268/statm: 334481 275657 857 2943 0 331375 0 [pid=5268/tid=5269] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1337924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.05 1.03 1.31 2/173 5347 /proc/meminfo: memFree=30625672/32872528 swapFree=10676/249824 [pid=5268] ppid=5265 vsize=1337924 CPUtime=1800.03 cores=1,3,5,7 /proc/5268/stat : 5268 (toysat) R 5265 5268 1222 0 -1 4202496 276025 0 0 0 179947 56 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 140735441939072 5754764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5268/statm: 334481 275657 857 2943 0 331375 0 [pid=5268/tid=5269] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5269/stat : 5269 (toysat) S 5265 5268 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843966315760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5268/tid=5270] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5270/stat : 5270 (toysat) S 5265 5268 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843955825904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5268/tid=5271] ppid=5265 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/5268/task/5271/stat : 5271 (toysat) S 5265 5268 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107401687 1370034176 275657 33554432000 4194304 16246674 140735441957184 139843945352368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1337924 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 5268 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.05 CPU user time (s): 1799.48 CPU system time (s): 0.568913 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 1337924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.568913 maximum resident set size= 1102628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276025 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= 451 involuntary context switches= 2113 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5833 second user time and 6.95294 second system time The end
Begin job on node103 at 2016-06-07 01:11:02 IDJOB=4080200 IDBENCH=47980 IDSOLVER=2542 FILE ID=node103/4080200-1465254662 RUNJOBID= node103-1465221288-1239 PBS_JOBID= 19843228 Free space on /tmp= 71720 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=61-P1=167-P2=157-P3=13-P4=173-P5=47-P6=47-P7=251-P8=79-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080200-1465254662/watcher-4080200-1465254662 -o /tmp/evaluation-result-4080200-1465254662/solver-4080200-1465254662 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080200-1465254662.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8f717fbc7f85484ebc0de379ab09a890 RANDOM SEED=1877912917 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 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.52 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.760 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.760 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.56 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.760 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.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 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.760 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.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30616312 kB Buffers: 63432 kB Cached: 140396 kB SwapCached: 1712 kB Active: 1199748 kB Inactive: 103148 kB Active(anon): 1100072 kB Inactive(anon): 1160 kB Active(file): 99676 kB Inactive(file): 101988 kB Unevictable: 249824 kB Mlocked: 10676 kB SwapTotal: 67108856 kB SwapFree: 67096648 kB Dirty: 16572 kB Writeback: 0 kB AnonPages: 1347876 kB Mapped: 10596 kB Shmem: 0 kB Slab: 570440 kB SReclaimable: 14136 kB SUnreclaim: 556304 kB KernelStack: 1464 kB PageTables: 7056 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1490940 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 514048 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= 71720 MiB End job on node103 at 2016-06-07 01:41:03