| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb |
| MD5SUM | 79cf27053836a1888aee43ca3805fcdd |
| 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.144977 |
| 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 | 162 |
| Total number of constraints | 13 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 13 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 486 |
| Sum of products size (including duplicates) | 972 |
| Number of different products | 486 |
| Sum of products size | 972 |
0.00/0.00 c 2016-06-18T18:52:17+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106286-1466268737.opb"] 0.00/0.01 c use --random-gen="3808346267 2107330003 3961735324 125731152 3827716171 2950722837 363779460 468699564 1528747264 2517546673 1389870366 4293741590 3765447029 3695603216 2780006676 1918953312 2743231558 3865440778 553552206 2975553921 4205809194 3972535443 3643039482 356518530 251699854 1487617626 251760672 651732596 1528841883 456808090 3336294272 2601809639 3668220794 3725659666 816806529 220809187 3291113218 13473332 3550770818 2648503908 1921329812 1654591006 472712987 105533264 3390637717 4055527857 3747896696 521326543 749384563 1101600945 3530486271 3552376060 1921138153 4035291373 3795843228 3957750770 3609333358 1185252254 1123937575 627490588 4102409141 1755773677 1445661578 4026156106 1568098590 2595138927 3242922876 1902562733 1105807608 1739359248 1168971787 1309261452 1177379339 913646398 2101688036 319961054 620949085 3327276480 431948731 3278346112 3088895 3509991348 1643327266 1875530381 3546982551 3831976925 2953602766 664675267 2720907937 942041759 2338851565 2888007549 1160455915 1255258581 4093783568 1174180314 2174532482 1077258836 624060200 3321537145 531132026 2830138864 127355943 2327684848 4113848760 3970412804 1519633803 4108132536 1328304046 2849259418 1916653417 3744543154 566276913 186089881 4285287781 1031023616 1831661581 4141858990 3110887384 3140022394 1014985288 4099676206 2329664729 3938345310 4009416743 243567133 2828694590 3124090495 1260201179 219071243 2086305772 3987605706 393573698 1638157571 1732008297 2753206268 507926195 3299947010 2442011766 3152198981 2566134733 427563176 2191608454 3765322603 2018555664 1585088662 799371226 2615248420 2790859998 1529799619 2722543781 2725860448 2463700991 132450948 1093989927 1626927649 1951990206 193024225 2735995459 2569998831 2382012426 1611171418 1112525591 1215984837 2493817011 2030686208 2569066618 3702583388 1794418304 2979483777 2221833263 937232435 1188052801 2286402707 3539316031 2148742075 3001275997 2604043673 3007836428 4235112973 3118922612 3024516570 2938953809 562451735 1799943924 2486108808 2629349309 3600633335 1938917783 487109460 2218323042 1722899078 1616368776 2302729519 1162616823 750284073 3376035977 3161221964 1359753541 3167002728 2298540877 1906918009 4252358003 1907093094 4071899402 1091379718 2108348182 2078629449 2951942650 929692950 3931480325 1769231014 1076484923 3382882670 1665556181 913787631 393231363 3277411511 2702560334 2568376192 4270030861 2403669248 4277827663 742958004 2957725985 1694863661 2187791967 827633827 1816715006 3629357931 300820940 4254198718 1459104604 1469632172 147849603 883119830 855645248 347412308 1371618489 3317498165 71932829 230536857 2881945758 1870997846 1282598921 576032757 1518021847 1745564555 2361781129 2309831863 2040662545 3718834964 2938972059 1368595155 2873037139 3983089000 255 362436" option to reproduce the execution 0.00/0.01 c #vars 162 0.00/0.01 c #constraints 13 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 708 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 141 | 100 | 708 0 | 0 | 0 0.09/0.11 c 0.1s | 2 | 356 | 250 | 779 0 | 0 | 0 0.09/0.17 c 0.1s | 3 | 650 | 475 | 857 0 | 0 | 0 0.18/0.26 c 0.2s | 4 | 1053 | 813 | 943 0 | 0 | 0 0.39/0.48 c 0.5s | 4 | 1299 | 985 | 1038 0 | 0 | 0 0.39/0.48 c #cpu_time = 0.449s 0.39/0.48 c #wall_clock_time = 0.450s 0.39/0.48 c #decision = 1299 0.39/0.48 c #random_decision = 6 0.39/0.48 c #conflict = 985 0.39/0.48 c #restart = 4 0.39/0.48 o 371 0.39/0.48 c BCD2: updating upper bound: 511 -> 370 0.39/0.48 c BCD2: 0 <= obj <= 370 0.39/0.48 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 0.39/0.48 c BCD2: #sat=1 #unsat=1 bias=1/2 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 1038 0 | 0 | 0 0.39/0.49 c 0.0s | 0 | 7 | 0 | 1038 0 | 0 | 0 0.39/0.49 c #cpu_time = 0.006s 0.39/0.49 c #wall_clock_time = 0.006s 0.39/0.49 c #decision = 7 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 8: cost of the new core is >=2 0.39/0.49 c lower bound updated to 2 0.39/0.49 c BCD2: 2 <= obj <= 370 0.39/0.49 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=2 bias=2/3 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 1038 0 | 0 | 0 0.48/0.59 c 0.1s | 1 | 184 | 100 | 1038 0 | 0 | 0 0.59/0.69 c 0.2s | 2 | 438 | 250 | 1038 1 | 0 | 0 0.88/0.93 c 0.4s | 3 | 757 | 475 | 1142 1 | 0 | 0 1.09/1.10 c 0.6s | 4 | 1140 | 813 | 1142 1 | 0 | 0 1.29/1.38 c 0.9s | 5 | 1736 | 1320 | 1257 2 | 0 | 0 1.49/1.59 c 1.1s | 6 | 2624 | 2081 | 1257 3 | 0 | 0 2.20/2.23 c 1.7s | 7 | 3851 | 3223 | 1383 4 | 0 | 0 2.78/2.83 c 2.3s | 8 | 5688 | 4936 | 1522 5 | 0 | 0 4.69/4.73 c 4.2s | 9 | 8710 | 7506 | 1675 8 | 0 | 0 6.09/6.14 c 5.7s | 10 | 12875 | 11361 | 1843 11 | 0 | 0 7.99/8.03 c 7.5s | 11 | 19079 | 17144 | 2028 17 | 0 | 0 9.99/10.05 c 9.6s | 11 | 26917 | 24644 | 2028 22 | 0 | 0 10.39/10.40 c 9.9s | 12 | 28128 | 25819 | 2231 23 | 0 | 0 12.39/12.43 c 11.9s | 12 | 31716 | 29219 | 2231 26 | 0 | 0 14.39/14.44 c 13.9s | 12 | 37250 | 34519 | 2231 30 | 0 | 0 16.39/16.48 c 16.0s | 12 | 41472 | 38519 | 2455 32 | 0 | 0 16.49/16.58 c 16.1s | 13 | 41791 | 38832 | 2455 32 | 0 | 0 18.59/18.60 c 18.1s | 13 | 49952 | 46832 | 2455 39 | 0 | 0 20.58/20.62 c 20.1s | 13 | 57744 | 54532 | 2455 44 | 0 | 0 21.58/21.64 c 21.2s | 14 | 61626 | 58352 | 2701 47 | 0 | 0 23.58/23.66 c 23.2s | 14 | 69353 | 65752 | 2701 52 | 0 | 0 25.58/25.66 c 25.2s | 14 | 76181 | 72452 | 2701 57 | 0 | 0 27.59/27.67 c 27.2s | 14 | 83924 | 80052 | 2701 62 | 0 | 0 29.69/29.71 c 29.2s | 14 | 90952 | 86852 | 2972 67 | 0 | 0 29.79/29.87 c 29.4s | 15 | 91757 | 87632 | 2972 67 | 0 | 0 31.89/31.90 c 31.4s | 15 | 97386 | 92732 | 2972 70 | 0 | 0 33.88/33.91 c 33.4s | 15 | 102549 | 97632 | 2972 73 | 0 | 0 35.88/35.95 c 35.5s | 15 | 108497 | 103232 | 2972 76 | 0 | 0 37.88/37.97 c 37.5s | 15 | 113256 | 107532 | 2972 79 | 0 | 0 39.88/39.97 c 39.5s | 15 | 119497 | 113132 | 2972 82 | 0 | 0 41.88/41.99 c 41.5s | 15 | 124056 | 117432 | 2972 84 | 0 | 0 43.88/44.00 c 43.5s | 15 | 128863 | 122132 | 2972 87 | 0 | 0 45.98/46.01 c 45.5s | 15 | 133371 | 126232 | 2972 90 | 0 | 0 47.97/48.07 c 47.6s | 15 | 137181 | 129632 | 2972 92 | 0 | 0 48.77/48.85 c 48.4s | 16 | 139492 | 131552 | 3270 93 | 0 | 0 50.77/50.85 c 50.4s | 16 | 144898 | 136452 | 3270 95 | 0 | 0 52.78/52.89 c 52.4s | 16 | 150380 | 141652 | 3270 98 | 0 | 0 54.77/54.89 c 54.4s | 16 | 155856 | 146752 | 3270 101 | 0 | 0 56.87/56.91 c 56.4s | 16 | 160143 | 150552 | 3270 103 | 0 | 0 58.87/58.93 c 58.4s | 16 | 165510 | 155252 | 3270 105 | 0 | 0 60.87/60.94 c 60.5s | 16 | 170401 | 160052 | 3270 108 | 0 | 0 62.87/62.96 c 62.5s | 16 | 175288 | 164852 | 3270 110 | 0 | 0 64.88/64.98 c 64.5s | 16 | 180773 | 170252 | 3270 113 | 0 | 0 66.87/66.99 c 66.5s | 16 | 185894 | 175252 | 3270 116 | 0 | 0 68.98/69.01 c 68.5s | 16 | 190971 | 180252 | 3270 118 | 0 | 0 70.98/71.02 c 70.5s | 16 | 196596 | 185752 | 3270 121 | 0 | 0 72.98/73.05 c 72.6s | 16 | 201788 | 190852 | 3270 124 | 0 | 0 74.98/75.07 c 74.6s | 16 | 207016 | 195952 | 3598 126 | 0 | 0 75.68/75.73 c 75.2s | 17 | 208552 | 197432 | 3598 127 | 0 | 0 77.68/77.74 c 77.3s | 17 | 217016 | 205332 | 3598 131 | 0 | 0 79.67/79.79 c 79.3s | 17 | 221608 | 209632 | 3598 133 | 0 | 0 81.77/81.81 c 81.3s | 17 | 226706 | 214332 | 3598 136 | 0 | 0 83.77/83.82 c 83.3s | 17 | 233199 | 220332 | 3598 138 | 0 | 0 85.78/85.85 c 85.4s | 17 | 239589 | 226632 | 3598 142 | 0 | 0 87.77/87.87 c 87.4s | 17 | 246241 | 233232 | 3598 145 | 0 | 0 89.77/89.89 c 89.4s | 17 | 252677 | 239532 | 3598 148 | 0 | 0 91.87/91.92 c 91.4s | 17 | 258170 | 244632 | 3598 150 | 0 | 0 93.87/93.95 c 93.5s | 17 | 264268 | 250532 | 3598 153 | 0 | 0 95.87/95.96 c 95.5s | 17 | 269921 | 256132 | 3598 156 | 0 | 0 97.88/97.98 c 97.5s | 17 | 275954 | 261932 | 3598 159 | 0 | 0 99.97/100.01 c 99.5s | 17 | 281963 | 267832 | 3598 161 | 0 | 0 101.97/102.05 c 101s | 17 | 288416 | 274132 | 3598 165 | 0 | 0 103.97/104.07 c 103s | 17 | 294387 | 279932 | 3598 167 | 0 | 0 105.97/106.08 c 105s | 17 | 300031 | 285332 | 3598 170 | 0 | 0 107.97/108.09 c 107s | 17 | 305941 | 291132 | 3598 173 | 0 | 0 109.77/109.85 c 109s | 18 | 311151 | 296252 | 3958 175 | 0 | 0 111.77/111.89 c 111s | 18 | 318543 | 303452 | 3958 179 | 0 | 0 113.87/113.91 c 113s | 18 | 324919 | 309752 | 3958 181 | 0 | 0 115.87/115.95 c 115s | 18 | 331602 | 316252 | 3958 185 | 0 | 0 117.87/117.97 c 117s | 18 | 338142 | 322652 | 3958 188 | 0 | 0 119.87/119.97 c 119s | 18 | 344122 | 328552 | 3958 190 | 0 | 0 121.87/121.99 c 121s | 18 | 350537 | 334852 | 3958 193 | 0 | 0 123.97/124.02 c 123s | 18 | 356556 | 340752 | 3958 196 | 0 | 0 125.96/126.03 c 125s | 18 | 363174 | 347152 | 3958 199 | 0 | 0 127.96/128.05 c 127s | 18 | 369261 | 353152 | 3958 202 | 0 | 0 129.96/130.07 c 129s | 18 | 375402 | 359152 | 3958 205 | 0 | 0 131.97/132.10 c 131s | 18 | 381990 | 365652 | 3958 208 | 0 | 0 134.06/134.11 c 133s | 18 | 388660 | 372152 | 3958 211 | 0 | 0 136.06/136.11 c 135s | 18 | 395236 | 378452 | 3958 214 | 0 | 0 138.06/138.13 c 137s | 18 | 401753 | 384752 | 3958 217 | 0 | 0 140.06/140.15 c 139s | 18 | 407718 | 390552 | 3958 219 | 0 | 0 142.06/142.17 c 141s | 18 | 413167 | 395652 | 3958 222 | 0 | 0 144.07/144.20 c 143s | 18 | 419647 | 402052 | 3958 224 | 0 | 0 146.16/146.21 c 145s | 18 | 425308 | 407552 | 3958 227 | 0 | 0 148.16/148.29 c 147s | 18 | 429953 | 411752 | 3958 229 | 0 | 0 150.26/150.31 c 149s | 18 | 435097 | 416752 | 3958 231 | 0 | 0 152.26/152.34 c 151s | 18 | 440908 | 422452 | 3958 234 | 0 | 0 154.26/154.35 c 153s | 18 | 446189 | 427552 | 3958 236 | 0 | 0 156.27/156.38 c 155s | 18 | 450903 | 431852 | 3958 238 | 0 | 0 158.26/158.40 c 157s | 18 | 456730 | 437452 | 3958 240 | 0 | 0 160.36/160.41 c 159s | 18 | 463610 | 444052 | 4354 243 | 0 | 0 160.46/160.56 c 160s | 19 | 464050 | 444482 | 4354 243 | 0 | 0 162.46/162.59 c 162s | 19 | 470137 | 449982 | 4354 246 | 0 | 0 164.56/164.60 c 164s | 19 | 476057 | 455782 | 4354 248 | 0 | 0 166.56/166.62 c 166s | 19 | 483016 | 462382 | 4354 251 | 0 | 0 168.55/168.64 c 168s | 19 | 488799 | 467882 | 4354 254 | 0 | 0 170.56/170.65 c 170s | 19 | 495117 | 473982 | 4354 256 | 0 | 0 172.55/172.69 c 172s | 19 | 502006 | 480382 | 4354 259 | 0 | 0 174.66/174.76 c 174s | 19 | 507520 | 485482 | 4354 261 | 0 | 0 176.66/176.78 c 176s | 19 | 513180 | 490982 | 4354 263 | 0 | 0 178.76/178.80 c 178s | 19 | 517632 | 495282 | 4354 265 | 0 | 0 180.76/180.83 c 180s | 19 | 522668 | 500082 | 4354 267 | 0 | 0 182.76/182.88 c 182s | 19 | 528015 | 505182 | 4354 269 | 0 | 0 184.86/184.91 c 184s | 19 | 532569 | 509582 | 4354 271 | 0 | 0 186.86/186.94 c 186s | 19 | 537172 | 514082 | 4354 273 | 0 | 0 188.86/188.98 c 188s | 19 | 542602 | 519382 | 4354 275 | 0 | 0 190.86/190.98 c 190s | 19 | 547298 | 523982 | 4354 277 | 0 | 0 192.96/193.00 c 192s | 19 | 552221 | 528782 | 4354 279 | 0 | 0 194.96/195.04 c 194s | 19 | 556941 | 533382 | 4354 281 | 0 | 0 196.96/197.07 c 196s | 19 | 561435 | 537782 | 4354 282 | 0 | 0 199.06/199.11 c 198s | 19 | 566210 | 542482 | 4354 284 | 0 | 0 201.05/201.14 c 200s | 19 | 571428 | 547582 | 4354 286 | 0 | 0 203.05/203.16 c 202s | 19 | 576230 | 552282 | 4354 288 | 0 | 0 205.05/205.17 c 204s | 19 | 581044 | 556982 | 4354 290 | 0 | 0 207.05/207.19 c 206s | 19 | 586137 | 561982 | 4354 292 | 0 | 0 209.15/209.21 c 208s | 19 | 591330 | 567082 | 4354 294 | 0 | 0 211.16/211.24 c 210s | 19 | 596173 | 571882 | 4354 296 | 0 | 0 213.15/213.26 c 212s | 19 | 600997 | 576482 | 4354 298 | 0 | 0 215.15/215.28 c 214s | 19 | 605241 | 580282 | 4354 300 | 0 | 0 217.15/217.29 c 216s | 19 | 609717 | 584582 | 4354 301 | 0 | 0 219.25/219.30 c 218s | 19 | 614158 | 588482 | 4354 303 | 0 | 0 221.25/221.38 c 220s | 19 | 618018 | 592282 | 4354 305 | 0 | 0 223.36/223.41 c 222s | 19 | 622176 | 596282 | 4354 306 | 0 | 0 225.35/225.46 c 224s | 19 | 626857 | 600882 | 4354 308 | 0 | 0 227.35/227.46 c 226s | 19 | 631571 | 605382 | 4354 310 | 0 | 0 229.35/229.47 c 228s | 19 | 636660 | 610282 | 4354 312 | 0 | 0 231.45/231.51 c 231s | 19 | 641175 | 614682 | 4354 314 | 0 | 0 233.45/233.56 c 233s | 19 | 644753 | 618182 | 4354 315 | 0 | 0 235.46/235.56 c 235s | 19 | 648934 | 622282 | 4354 317 | 0 | 0 237.45/237.56 c 237s | 19 | 653502 | 626682 | 4354 319 | 0 | 0 239.45/239.57 c 239s | 19 | 657732 | 630782 | 4354 320 | 0 | 0 241.55/241.62 c 241s | 19 | 662357 | 635282 | 4354 322 | 0 | 0 243.55/243.68 c 243s | 19 | 665876 | 638682 | 4354 323 | 0 | 0 245.55/245.68 c 245s | 19 | 669572 | 642282 | 4354 325 | 0 | 0 247.65/247.70 c 247s | 19 | 673556 | 646082 | 4354 326 | 0 | 0 249.65/249.72 c 249s | 19 | 677226 | 649682 | 4354 328 | 0 | 0 251.74/251.80 c 251s | 19 | 681293 | 653682 | 4354 330 | 0 | 0 253.74/253.83 c 253s | 19 | 685058 | 657382 | 4354 331 | 0 | 0 255.74/255.83 c 255s | 19 | 689524 | 661682 | 4790 333 | 0 | 0 257.84/257.91 c 257s | 19 | 693769 | 665682 | 4790 334 | 0 | 0 258.55/258.62 c 258s | 20 | 695020 | 666827 | 4790 335 | 0 | 0 260.54/260.64 c 260s | 20 | 701358 | 672727 | 4790 337 | 0 | 0 262.54/262.67 c 262s | 20 | 706847 | 677927 | 4790 339 | 0 | 0 264.64/264.70 c 264s | 20 | 711652 | 682627 | 4790 341 | 0 | 0 266.64/266.70 c 266s | 20 | 716786 | 687527 | 4790 343 | 0 | 0 268.64/268.72 c 268s | 20 | 722102 | 692627 | 4790 345 | 0 | 0 270.65/270.74 c 270s | 20 | 727544 | 697827 | 4790 347 | 0 | 0 272.64/272.75 c 272s | 20 | 732783 | 702627 | 4790 348 | 0 | 0 274.64/274.79 c 274s | 20 | 738120 | 707727 | 4790 350 | 0 | 0 276.74/276.82 c 276s | 20 | 743214 | 712627 | 4790 352 | 0 | 0 278.74/278.83 c 278s | 20 | 748702 | 717827 | 4790 354 | 0 | 0 280.74/280.84 c 280s | 20 | 753932 | 722727 | 4790 356 | 0 | 0 282.74/282.86 c 282s | 20 | 758923 | 727427 | 4790 358 | 0 | 0 284.84/284.91 c 284s | 20 | 763892 | 731827 | 4790 360 | 0 | 0 286.84/286.94 c 286s | 20 | 768311 | 736127 | 4790 361 | 0 | 0 288.84/288.96 c 288s | 20 | 773209 | 740827 | 4790 363 | 0 | 0 290.83/290.98 c 290s | 20 | 778305 | 745627 | 4790 365 | 0 | 0 292.83/292.99 c 292s | 20 | 782832 | 749927 | 4790 367 | 0 | 0 294.93/295.00 c 294s | 20 | 788750 | 755627 | 4790 369 | 0 | 0 296.94/297.03 c 296s | 20 | 794419 | 760827 | 4790 371 | 0 | 0 298.93/299.03 c 298s | 20 | 799871 | 766027 | 4790 373 | 0 | 0 300.93/301.06 c 300s | 20 | 805260 | 771027 | 4790 375 | 0 | 0 302.93/303.06 c 302s | 20 | 810308 | 775827 | 4790 377 | 0 | 0 305.03/305.10 c 304s | 20 | 815426 | 780627 | 4790 379 | 0 | 0 307.03/307.13 c 306s | 20 | 821113 | 786027 | 4790 381 | 0 | 0 309.05/309.14 c 308s | 20 | 826164 | 790727 | 4790 383 | 0 | 0 311.04/311.17 c 310s | 20 | 830992 | 795027 | 4790 384 | 0 | 0 313.04/313.18 c 312s | 20 | 836118 | 799827 | 4790 386 | 0 | 0 315.04/315.20 c 314s | 20 | 841511 | 804927 | 4790 388 | 0 | 0 317.14/317.21 c 316s | 20 | 847103 | 810327 | 4790 390 | 0 | 0 319.14/319.21 c 318s | 20 | 852650 | 815727 | 4790 392 | 0 | 0 321.15/321.25 c 320s | 20 | 858577 | 821527 | 4790 395 | 0 | 0 323.14/323.29 c 322s | 20 | 863648 | 826427 | 4790 397 | 0 | 0 325.24/325.30 c 324s | 20 | 869151 | 831727 | 4790 399 | 0 | 0 327.24/327.33 c 326s | 20 | 874964 | 837427 | 4790 401 | 0 | 0 329.24/329.33 c 328s | 20 | 880394 | 842627 | 4790 403 | 0 | 0 331.24/331.36 c 330s | 20 | 886250 | 848327 | 4790 405 | 0 | 0 333.24/333.39 c 332s | 20 | 891642 | 853527 | 4790 407 | 0 | 0 335.34/335.44 c 334s | 20 | 897558 | 859227 | 4790 410 | 0 | 0 337.33/337.46 c 336s | 20 | 902588 | 864027 | 4790 411 | 0 | 0 339.33/339.49 c 339s | 20 | 908129 | 869427 | 4790 414 | 0 | 0 341.43/341.52 c 341s | 20 | 913819 | 874927 | 4790 416 | 0 | 0 343.43/343.53 c 343s | 20 | 919721 | 880627 | 4790 418 | 0 | 0 345.44/345.55 c 345s | 20 | 925055 | 885727 | 4790 420 | 0 | 0 347.43/347.58 c 347s | 20 | 930484 | 890927 | 4790 422 | 0 | 0 349.53/349.62 c 349s | 20 | 936355 | 896627 | 4790 424 | 0 | 0 351.63/351.72 c 351s | 20 | 941632 | 901727 | 4790 426 | 0 | 0 353.63/353.73 c 353s | 20 | 946789 | 906627 | 4790 428 | 0 | 0 355.63/355.75 c 355s | 20 | 952171 | 911627 | 4790 430 | 0 | 0 357.63/357.76 c 357s | 20 | 957728 | 916927 | 4790 432 | 0 | 0 359.64/359.80 c 359s | 20 | 963390 | 922427 | 4790 434 | 0 | 0 361.73/361.82 c 361s | 20 | 968760 | 927527 | 4790 436 | 0 | 0 363.73/363.83 c 363s | 20 | 974284 | 932827 | 4790 439 | 0 | 0 365.73/365.86 c 365s | 20 | 979296 | 937527 | 4790 440 | 0 | 0 367.83/367.91 c 367s | 20 | 985057 | 943027 | 4790 443 | 0 | 0 369.83/369.95 c 369s | 20 | 990624 | 948327 | 4790 445 | 0 | 0 371.83/371.97 c 371s | 20 | 996619 | 954127 | 4790 447 | 0 | 0 373.83/373.97 c 373s | 20 | 1001541 | 958927 | 4790 449 | 0 | 0 375.83/375.99 c 375s | 20 | 1007790 | 964827 | 4790 451 | 0 | 0 377.93/378.00 c 377s | 20 | 1012979 | 969827 | 4790 453 | 0 | 0 379.93/380.01 c 379s | 20 | 1018970 | 975627 | 4790 456 | 0 | 0 381.93/382.05 c 381s | 20 | 1025102 | 981627 | 4790 458 | 0 | 0 383.93/384.05 c 383s | 20 | 1030969 | 987327 | 4790 460 | 0 | 0 385.93/386.07 c 385s | 20 | 1037303 | 993427 | 5269 462 | 0 | 0 388.03/388.10 c 387s | 20 | 1043000 | 998927 | 5269 464 | 0 | 0 388.52/388.65 c 388s | 21 | 1044478 | 1000345 | 5269 465 | 0 | 0 390.53/390.67 c 390s | 21 | 1051384 | 1006845 | 5269 467 | 0 | 0 392.52/392.68 c 392s | 21 | 1056775 | 1011745 | 5269 469 | 0 | 0 394.62/394.71 c 394s | 21 | 1061981 | 1016545 | 5269 471 | 0 | 0 396.62/396.72 c 396s | 21 | 1067950 | 1022045 | 5269 472 | 0 | 0 398.62/398.74 c 398s | 21 | 1073680 | 1027345 | 5269 474 | 0 | 0 400.62/400.75 c 400s | 21 | 1079045 | 1032245 | 5269 476 | 0 | 0 402.63/402.75 c 402s | 21 | 1084837 | 1037545 | 5269 478 | 0 | 0 404.62/404.78 c 404s | 21 | 1090780 | 1043145 | 5269 480 | 0 | 0 406.62/406.79 c 406s | 21 | 1096260 | 1048545 | 5269 482 | 0 | 0 408.72/408.83 c 408s | 21 | 1101596 | 1053745 | 5269 484 | 0 | 0 410.72/410.86 c 410s | 21 | 1107330 | 1059145 | 5269 485 | 0 | 0 412.72/412.87 c 412s | 21 | 1112795 | 1064345 | 5269 487 | 0 | 0 414.73/414.89 c 414s | 21 | 1117802 | 1069145 | 5269 489 | 0 | 0 416.72/416.90 c 416s | 21 | 1123149 | 1073945 | 5269 491 | 0 | 0 418.82/418.92 c 418s | 21 | 1128723 | 1079345 | 5269 492 | 0 | 0 420.82/420.92 c 420s | 21 | 1134017 | 1084545 | 5269 494 | 0 | 0 422.82/422.94 c 422s | 21 | 1140022 | 1090345 | 5269 496 | 0 | 0 424.82/424.98 c 424s | 21 | 1146089 | 1096045 | 5269 498 | 0 | 0 426.83/426.99 c 426s | 21 | 1152467 | 1102045 | 5269 500 | 0 | 0 428.82/428.99 c 428s | 21 | 1157629 | 1107045 | 5269 502 | 0 | 0 430.92/431.01 c 430s | 21 | 1162968 | 1111845 | 5269 504 | 0 | 0 432.92/433.04 c 432s | 21 | 1168890 | 1117545 | 5269 506 | 0 | 0 434.92/435.06 c 434s | 21 | 1174765 | 1123145 | 5269 508 | 0 | 0 436.92/437.07 c 436s | 21 | 1181077 | 1129245 | 5269 510 | 0 | 0 438.93/439.08 c 438s | 21 | 1186913 | 1134945 | 5269 512 | 0 | 0 441.03/441.10 c 440s | 21 | 1192915 | 1140845 | 5269 514 | 0 | 0 443.02/443.12 c 442s | 21 | 1198517 | 1146345 | 5269 516 | 0 | 0 445.02/445.13 c 444s | 21 | 1204024 | 1151645 | 5269 518 | 0 | 0 447.02/447.15 c 446s | 21 | 1208906 | 1156445 | 5269 519 | 0 | 0 449.02/449.16 c 448s | 21 | 1214251 | 1161645 | 5269 521 | 0 | 0 451.02/451.19 c 450s | 21 | 1220438 | 1167745 | 5269 523 | 0 | 0 453.12/453.22 c 452s | 21 | 1226799 | 1173845 | 5269 525 | 0 | 0 455.12/455.24 c 454s | 21 | 1232725 | 1179645 | 5269 527 | 0 | 0 457.12/457.24 c 456s | 21 | 1238665 | 1185445 | 5269 529 | 0 | 0 459.11/459.26 c 458s | 21 | 1244900 | 1191545 | 5269 532 | 0 | 0 461.11/461.29 c 460s | 21 | 1251311 | 1197845 | 5269 534 | 0 | 0 463.12/463.29 c 462s | 21 | 1256456 | 1202945 | 5269 536 | 0 | 0 465.22/465.35 c 464s | 21 | 1262290 | 1208545 | 5269 538 | 0 | 0 467.21/467.37 c 466s | 21 | 1268415 | 1214545 | 5269 540 | 0 | 0 469.21/469.39 c 468s | 21 | 1274228 | 1220245 | 5269 542 | 0 | 0 471.31/471.41 c 470s | 21 | 1279543 | 1225545 | 5269 543 | 0 | 0 473.31/473.42 c 472s | 21 | 1284809 | 1230745 | 5269 545 | 0 | 0 475.31/475.43 c 474s | 21 | 1290784 | 1236545 | 5269 547 | 0 | 0 477.32/477.44 c 476s | 21 | 1296697 | 1242345 | 5269 549 | 0 | 0 479.31/479.46 c 478s | 21 | 1303201 | 1248645 | 5269 551 | 0 | 0 481.31/481.46 c 480s | 21 | 1309586 | 1254845 | 5269 554 | 0 | 0 483.31/483.49 c 482s | 21 | 1315895 | 1260945 | 5269 556 | 0 | 0 485.41/485.51 c 485s | 21 | 1321647 | 1266045 | 5269 558 | 0 | 0 487.41/487.53 c 487s | 21 | 1328611 | 1272645 | 5269 560 | 0 | 0 489.41/489.56 c 489s | 21 | 1334993 | 1278845 | 5269 562 | 0 | 0 491.41/491.58 c 491s | 21 | 1340656 | 1284345 | 5269 564 | 0 | 0 493.40/493.59 c 493s | 21 | 1345679 | 1289245 | 5269 566 | 0 | 0 495.50/495.64 c 495s | 21 | 1350307 | 1293745 | 5269 567 | 0 | 0 497.50/497.68 c 497s | 21 | 1354430 | 1297745 | 5269 569 | 0 | 0 499.60/499.71 c 499s | 21 | 1359699 | 1302645 | 5269 570 | 0 | 0 501.61/501.72 c 501s | 21 | 1366526 | 1309345 | 5269 573 | 0 | 0 503.60/503.74 c 503s | 21 | 1372597 | 1315245 | 5269 575 | 0 | 0 505.60/505.74 c 505s | 21 | 1379175 | 1321645 | 5269 577 | 0 | 0 507.60/507.76 c 507s | 21 | 1386010 | 1328245 | 5269 579 | 0 | 0 509.61/509.78 c 509s | 21 | 1392039 | 1334045 | 5269 581 | 0 | 0 511.71/511.83 c 511s | 21 | 1396659 | 1338545 | 5269 583 | 0 | 0 513.72/513.86 c 513s | 21 | 1401239 | 1342945 | 5269 584 | 0 | 0 515.71/515.89 c 515s | 21 | 1407471 | 1349045 | 5269 586 | 0 | 0 517.71/517.90 c 517s | 21 | 1413426 | 1354945 | 5269 588 | 0 | 0 519.81/519.90 c 519s | 21 | 1419518 | 1360945 | 5269 590 | 0 | 0 521.80/521.90 c 521s | 21 | 1424976 | 1366245 | 5269 592 | 0 | 0 523.80/523.93 c 523s | 21 | 1430937 | 1371945 | 5269 594 | 0 | 0 525.81/525.96 c 525s | 21 | 1436328 | 1377145 | 5269 596 | 0 | 0 527.80/527.98 c 527s | 21 | 1442099 | 1382745 | 5269 598 | 0 | 0 529.90/530.00 c 529s | 21 | 1447131 | 1387745 | 5269 600 | 0 | 0 531.90/532.03 c 531s | 21 | 1453158 | 1393645 | 5269 602 | 0 | 0 533.90/534.04 c 533s | 21 | 1458783 | 1399145 | 5269 604 | 0 | 0 535.90/536.07 c 535s | 21 | 1464470 | 1404745 | 5269 606 | 0 | 0 537.90/538.09 c 537s | 21 | 1471197 | 1411245 | 5269 608 | 0 | 0 540.01/540.12 c 539s | 21 | 1477443 | 1417245 | 5269 610 | 0 | 0 542.01/542.12 c 541s | 21 | 1483742 | 1423445 | 5269 612 | 0 | 0 544.01/544.14 c 543s | 21 | 1489425 | 1428745 | 5269 614 | 0 | 0 546.01/546.15 c 545s | 21 | 1494476 | 1433445 | 5269 616 | 0 | 0 548.00/548.17 c 547s | 21 | 1499090 | 1437945 | 5269 617 | 0 | 0 550.01/550.18 c 549s | 21 | 1505803 | 1444545 | 5269 620 | 0 | 0 552.00/552.18 c 551s | 21 | 1511713 | 1450245 | 5269 622 | 0 | 0 554.00/554.18 c 553s | 21 | 1517797 | 1456145 | 5269 624 | 0 | 0 556.10/556.21 c 555s | 21 | 1523513 | 1461845 | 5269 626 | 0 | 0 558.10/558.25 c 557s | 21 | 1529783 | 1467945 | 5269 628 | 0 | 0 560.10/560.26 c 559s | 21 | 1535044 | 1473045 | 5269 630 | 0 | 0 562.11/562.29 c 561s | 21 | 1539994 | 1477545 | 5269 631 | 0 | 0 564.10/564.29 c 563s | 21 | 1544592 | 1481845 | 5269 633 | 0 | 0 566.20/566.33 c 565s | 21 | 1549957 | 1487045 | 5269 634 | 0 | 0 568.20/568.34 c 567s | 21 | 1556251 | 1493145 | 5796 636 | 0 | 0 570.20/570.35 c 569s | 21 | 1562606 | 1499345 | 5796 638 | 0 | 0 570.60/570.78 c 570s | 22 | 1563911 | 1500622 | 5796 639 | 0 | 0 572.60/572.79 c 572s | 22 | 1570016 | 1506522 | 5796 641 | 0 | 0 574.70/574.80 c 574s | 22 | 1575546 | 1511922 | 5796 643 | 0 | 0 576.70/576.80 c 576s | 22 | 1580375 | 1516622 | 5796 644 | 0 | 0 578.70/578.83 c 578s | 22 | 1586106 | 1521722 | 5796 646 | 0 | 0 580.70/580.90 c 580s | 22 | 1590904 | 1526222 | 5796 647 | 0 | 0 582.80/582.90 c 582s | 22 | 1595447 | 1530422 | 5796 649 | 0 | 0 584.80/584.91 c 584s | 22 | 1600351 | 1534922 | 5796 650 | 0 | 0 586.80/586.92 c 586s | 22 | 1604388 | 1538422 | 5796 651 | 0 | 0 588.80/588.94 c 588s | 22 | 1608236 | 1541922 | 5796 652 | 0 | 0 590.80/590.97 c 590s | 22 | 1613256 | 1546722 | 5796 654 | 0 | 0 592.90/593.03 c 592s | 22 | 1617957 | 1551022 | 5796 655 | 0 | 0 594.90/595.07 c 594s | 22 | 1622815 | 1555622 | 5796 657 | 0 | 0 597.00/597.11 c 596s | 22 | 1627619 | 1560022 | 5796 658 | 0 | 0 598.99/599.13 c 598s | 22 | 1632112 | 1564122 | 5796 659 | 0 | 0 600.99/601.16 c 600s | 22 | 1636424 | 1568122 | 5796 661 | 0 | 0 602.99/603.16 c 602s | 22 | 1640885 | 1572122 | 5796 662 | 0 | 0 605.00/605.19 c 604s | 22 | 1644215 | 1575122 | 5796 663 | 0 | 0 606.99/607.19 c 606s | 22 | 1649213 | 1579522 | 5796 664 | 0 | 0 609.09/609.21 c 608s | 22 | 1653884 | 1583922 | 5796 666 | 0 | 0 611.09/611.22 c 610s | 22 | 1658668 | 1588122 | 5796 667 | 0 | 0 613.09/613.25 c 612s | 22 | 1663213 | 1592122 | 5796 669 | 0 | 0 615.09/615.29 c 614s | 22 | 1668205 | 1596322 | 5796 670 | 0 | 0 617.19/617.31 c 616s | 22 | 1672346 | 1600022 | 5796 671 | 0 | 0 619.20/619.35 c 618s | 22 | 1676113 | 1603522 | 5796 672 | 0 | 0 621.19/621.36 c 620s | 22 | 1680356 | 1607522 | 5796 674 | 0 | 0 623.19/623.38 c 622s | 22 | 1684216 | 1611022 | 5796 675 | 0 | 0 625.29/625.44 c 624s | 22 | 1688571 | 1615022 | 5796 676 | 0 | 0 627.39/627.50 c 627s | 22 | 1693059 | 1619022 | 5796 677 | 0 | 0 629.39/629.52 c 629s | 22 | 1697312 | 1622722 | 5796 678 | 0 | 0 631.39/631.53 c 631s | 22 | 1701490 | 1626522 | 5796 680 | 0 | 0 633.39/633.55 c 633s | 22 | 1706018 | 1630322 | 5796 681 | 0 | 0 635.49/635.61 c 635s | 22 | 1710460 | 1633822 | 5796 682 | 0 | 0 637.49/637.62 c 637s | 22 | 1714333 | 1637222 | 5796 683 | 0 | 0 639.58/639.70 c 639s | 22 | 1718635 | 1641122 | 5796 684 | 0 | 0 641.58/641.72 c 641s | 22 | 1722150 | 1644122 | 5796 685 | 0 | 0 643.58/643.73 c 643s | 22 | 1725596 | 1647222 | 5796 686 | 0 | 0 645.59/645.80 c 645s | 22 | 1730127 | 1651122 | 5796 688 | 0 | 0 647.68/647.81 c 647s | 22 | 1733870 | 1654522 | 5796 689 | 0 | 0 649.68/649.83 c 649s | 22 | 1738288 | 1658522 | 5796 690 | 0 | 0 651.68/651.85 c 651s | 22 | 1742802 | 1662822 | 5796 691 | 0 | 0 653.68/653.86 c 653s | 22 | 1747531 | 1667222 | 5796 693 | 0 | 0 655.78/655.90 c 655s | 22 | 1751785 | 1671122 | 5796 694 | 0 | 0 657.79/657.96 c 657s | 22 | 1755702 | 1674722 | 5796 695 | 0 | 0 659.78/659.99 c 659s | 22 | 1759615 | 1678122 | 5796 696 | 0 | 0 661.88/662.01 c 661s | 22 | 1763700 | 1681822 | 5796 698 | 0 | 0 663.88/664.05 c 663s | 22 | 1767832 | 1685122 | 5796 699 | 0 | 0 665.88/666.06 c 665s | 22 | 1771981 | 1688622 | 5796 700 | 0 | 0 667.98/668.10 c 667s | 22 | 1775844 | 1691922 | 5796 701 | 0 | 0 669.98/670.11 c 669s | 22 | 1779307 | 1694822 | 5796 702 | 0 | 0 671.99/672.16 c 671s | 22 | 1783168 | 1697822 | 5796 703 | 0 | 0 673.98/674.17 c 673s | 22 | 1786896 | 1700922 | 5796 704 | 0 | 0 676.08/676.20 c 675s | 22 | 1790095 | 1703822 | 5796 705 | 0 | 0 678.08/678.25 c 677s | 22 | 1793659 | 1706822 | 5796 706 | 0 | 0 680.08/680.25 c 679s | 22 | 1796727 | 1709322 | 5796 707 | 0 | 0 682.08/682.28 c 681s | 22 | 1799827 | 1712122 | 5796 707 | 0 | 0 684.18/684.33 c 683s | 22 | 1803729 | 1715922 | 5796 709 | 0 | 0 686.18/686.35 c 685s | 22 | 1807364 | 1719522 | 5796 710 | 0 | 0 688.18/688.37 c 687s | 22 | 1811046 | 1723122 | 5796 711 | 0 | 0 690.28/690.43 c 689s | 22 | 1814544 | 1726422 | 5796 712 | 0 | 0 692.27/692.44 c 691s | 22 | 1818189 | 1729922 | 5796 713 | 0 | 0 694.27/694.47 c 693s | 22 | 1821905 | 1733522 | 5796 714 | 0 | 0 696.37/696.53 c 696s | 22 | 1825219 | 1736522 | 5796 715 | 0 | 0 698.38/698.55 c 698s | 22 | 1828249 | 1739222 | 5796 716 | 0 | 0 700.37/700.55 c 700s | 22 | 1831791 | 1742622 | 5796 717 | 0 | 0 702.37/702.58 c 702s | 22 | 1834756 | 1745522 | 5796 718 | 0 | 0 704.47/704.62 c 704s | 22 | 1837675 | 1748022 | 5796 719 | 0 | 0 706.47/706.69 c 706s | 22 | 1840480 | 1750522 | 5796 720 | 0 | 0 708.57/708.71 c 708s | 22 | 1843435 | 1753122 | 5796 720 | 0 | 0 710.58/710.75 c 710s | 22 | 1848370 | 1757722 | 5796 722 | 0 | 0 712.57/712.78 c 712s | 22 | 1852803 | 1761922 | 5796 723 | 0 | 0 714.57/714.78 c 714s | 22 | 1857978 | 1766922 | 5796 725 | 0 | 0 716.67/716.82 c 716s | 22 | 1863595 | 1772322 | 5796 726 | 0 | 0 718.67/718.85 c 718s | 22 | 1868312 | 1776822 | 5796 728 | 0 | 0 720.67/720.89 c 720s | 22 | 1873209 | 1781522 | 5796 729 | 0 | 0 722.77/722.91 c 722s | 22 | 1877894 | 1785922 | 5796 731 | 0 | 0 724.77/724.92 c 724s | 22 | 1883259 | 1790822 | 5796 732 | 0 | 0 726.77/726.92 c 726s | 22 | 1888177 | 1795622 | 5796 734 | 0 | 0 728.77/728.94 c 728s | 22 | 1892063 | 1799322 | 5796 735 | 0 | 0 730.77/730.94 c 730s | 22 | 1897337 | 1804422 | 5796 737 | 0 | 0 732.77/732.98 c 732s | 22 | 1902052 | 1809022 | 5796 738 | 0 | 0 734.87/735.02 c 734s | 22 | 1907345 | 1814222 | 5796 740 | 0 | 0 736.87/737.03 c 736s | 22 | 1911424 | 1818122 | 5796 741 | 0 | 0 738.87/739.03 c 738s | 22 | 1915400 | 1821522 | 5796 742 | 0 | 0 740.87/741.03 c 740s | 22 | 1920633 | 1826522 | 5796 743 | 0 | 0 742.87/743.07 c 742s | 22 | 1924378 | 1830022 | 5796 745 | 0 | 0 744.86/745.07 c 744s | 22 | 1928722 | 1834122 | 5796 746 | 0 | 0 746.96/747.10 c 746s | 22 | 1933116 | 1838222 | 5796 747 | 0 | 0 748.97/749.14 c 748s | 22 | 1937218 | 1841922 | 5796 748 | 0 | 0 750.96/751.16 c 750s | 22 | 1942150 | 1846422 | 5796 750 | 0 | 0 752.96/753.19 c 752s | 22 | 1946930 | 1851022 | 5796 751 | 0 | 0 755.06/755.22 c 754s | 22 | 1951979 | 1855822 | 5796 753 | 0 | 0 757.06/757.25 c 756s | 22 | 1957644 | 1861222 | 5796 754 | 0 | 0 759.06/759.25 c 758s | 22 | 1962880 | 1866322 | 5796 756 | 0 | 0 761.06/761.27 c 760s | 22 | 1968924 | 1871822 | 5796 758 | 0 | 0 763.16/763.32 c 762s | 22 | 1974891 | 1877222 | 5796 760 | 0 | 0 765.15/765.34 c 764s | 22 | 1980918 | 1882922 | 5796 761 | 0 | 0 767.25/767.41 c 766s | 22 | 1985987 | 1887622 | 5796 763 | 0 | 0 769.25/769.46 c 768s | 22 | 1990606 | 1892022 | 5796 764 | 0 | 0 771.25/771.46 c 770s | 22 | 1994899 | 1896222 | 5796 766 | 0 | 0 773.26/773.46 c 772s | 22 | 1999387 | 1900622 | 5796 767 | 0 | 0 775.25/775.50 c 775s | 22 | 2002364 | 1903522 | 5796 768 | 0 | 0 777.35/777.51 c 777s | 22 | 2007487 | 1908522 | 5796 769 | 0 | 0 779.35/779.56 c 779s | 22 | 2012280 | 1913122 | 5796 771 | 0 | 0 781.45/781.60 c 781s | 22 | 2016733 | 1917422 | 5796 772 | 0 | 0 783.45/783.60 c 783s | 22 | 2022005 | 1922522 | 5796 774 | 0 | 0 785.44/785.63 c 785s | 22 | 2026674 | 1927022 | 5796 775 | 0 | 0 787.45/787.63 c 787s | 22 | 2030395 | 1930622 | 5796 776 | 0 | 0 789.44/789.65 c 789s | 22 | 2035803 | 1935922 | 5796 778 | 0 | 0 791.44/791.66 c 791s | 22 | 2040644 | 1940622 | 5796 780 | 0 | 0 793.54/793.72 c 793s | 22 | 2045741 | 1945522 | 5796 781 | 0 | 0 795.54/795.73 c 795s | 22 | 2050369 | 1949922 | 5796 783 | 0 | 0 797.54/797.75 c 797s | 22 | 2054876 | 1954322 | 5796 784 | 0 | 0 799.55/799.78 c 799s | 22 | 2059745 | 1959122 | 5796 786 | 0 | 0 801.54/801.78 c 801s | 22 | 2065198 | 1964322 | 5796 787 | 0 | 0 803.54/803.80 c 803s | 22 | 2070166 | 1969122 | 5796 789 | 0 | 0 805.63/805.82 c 805s | 22 | 2075421 | 1974222 | 5796 790 | 0 | 0 807.63/807.85 c 807s | 22 | 2080031 | 1978722 | 5796 792 | 0 | 0 809.63/809.87 c 809s | 22 | 2085330 | 1983922 | 5796 793 | 0 | 0 811.64/811.90 c 811s | 22 | 2090615 | 1989022 | 5796 795 | 0 | 0 813.73/813.91 c 813s | 22 | 2095520 | 1993722 | 5796 797 | 0 | 0 815.73/815.92 c 815s | 22 | 2100948 | 1999022 | 5796 798 | 0 | 0 817.72/817.94 c 817s | 22 | 2106088 | 2003922 | 5796 800 | 0 | 0 819.72/819.96 c 819s | 22 | 2111053 | 2008722 | 5796 801 | 0 | 0 821.72/821.97 c 821s | 22 | 2116424 | 2013822 | 5796 803 | 0 | 0 823.84/824.02 c 823s | 22 | 2121333 | 2018622 | 5796 804 | 0 | 0 825.83/826.03 c 825s | 22 | 2126383 | 2023522 | 5796 806 | 0 | 0 827.83/828.04 c 827s | 22 | 2131517 | 2028522 | 5796 808 | 0 | 0 829.83/830.05 c 829s | 22 | 2136849 | 2033722 | 5796 809 | 0 | 0 831.83/832.08 c 831s | 22 | 2142019 | 2038722 | 5796 811 | 0 | 0 833.83/834.09 c 833s | 22 | 2147008 | 2043422 | 5796 812 | 0 | 0 835.83/836.10 c 835s | 22 | 2151867 | 2048122 | 5796 814 | 0 | 0 837.92/838.13 c 837s | 22 | 2157318 | 2053422 | 5796 815 | 0 | 0 839.92/840.16 c 839s | 22 | 2162820 | 2058722 | 5796 817 | 0 | 0 841.92/842.16 c 841s | 22 | 2167842 | 2063522 | 5796 819 | 0 | 0 843.92/844.18 c 843s | 22 | 2173089 | 2068622 | 5796 820 | 0 | 0 846.02/846.22 c 845s | 22 | 2178796 | 2074222 | 5796 822 | 0 | 0 848.02/848.23 c 847s | 22 | 2183540 | 2078722 | 5796 824 | 0 | 0 850.02/850.23 c 849s | 22 | 2188609 | 2083622 | 5796 825 | 0 | 0 852.01/852.24 c 851s | 22 | 2193420 | 2088322 | 5796 827 | 0 | 0 854.01/854.25 c 853s | 22 | 2199503 | 2094222 | 5796 828 | 0 | 0 856.01/856.29 c 855s | 22 | 2204898 | 2099322 | 5796 830 | 0 | 0 858.11/858.32 c 857s | 22 | 2209944 | 2104022 | 5796 832 | 0 | 0 860.12/860.32 c 859s | 22 | 2215456 | 2109022 | 5796 833 | 0 | 0 862.11/862.33 c 861s | 22 | 2220339 | 2113522 | 5796 835 | 0 | 0 864.11/864.37 c 863s | 22 | 2225685 | 2118422 | 5796 836 | 0 | 0 866.21/866.42 c 865s | 22 | 2230500 | 2122722 | 5796 838 | 0 | 0 868.21/868.44 c 867s | 22 | 2236225 | 2128222 | 5796 839 | 0 | 0 870.20/870.44 c 869s | 22 | 2241770 | 2133522 | 5796 841 | 0 | 0 872.21/872.48 c 871s | 22 | 2247511 | 2139122 | 5796 843 | 0 | 0 874.20/874.49 c 874s | 22 | 2253439 | 2144922 | 5796 845 | 0 | 0 876.30/876.50 c 876s | 22 | 2259064 | 2150222 | 5796 846 | 0 | 0 878.30/878.50 c 878s | 22 | 2264686 | 2155622 | 5796 848 | 0 | 0 880.30/880.53 c 880s | 22 | 2270221 | 2160922 | 5796 850 | 0 | 0 882.30/882.55 c 882s | 22 | 2276637 | 2166722 | 5796 851 | 0 | 0 884.31/884.57 c 884s | 22 | 2282681 | 2172122 | 5796 853 | 0 | 0 886.40/886.61 c 886s | 22 | 2288471 | 2177522 | 5796 855 | 0 | 0 888.39/888.63 c 888s | 22 | 2293955 | 2182822 | 5796 857 | 0 | 0 890.39/890.65 c 890s | 22 | 2299892 | 2188522 | 5796 858 | 0 | 0 892.39/892.67 c 892s | 22 | 2306566 | 2194822 | 5796 860 | 0 | 0 894.39/894.69 c 894s | 22 | 2312903 | 2200922 | 5796 862 | 0 | 0 896.49/896.71 c 896s | 22 | 2318567 | 2206122 | 5796 864 | 0 | 0 898.50/898.74 c 898s | 22 | 2323766 | 2210922 | 5796 866 | 0 | 0 900.49/900.75 c 900s | 22 | 2329573 | 2216122 | 5796 867 | 0 | 0 902.59/902.81 c 902s | 22 | 2334426 | 2220722 | 5796 869 | 0 | 0 904.59/904.81 c 904s | 22 | 2339004 | 2224922 | 5796 870 | 0 | 0 906.58/906.85 c 906s | 22 | 2344770 | 2230422 | 5796 872 | 0 | 0 908.58/908.88 c 908s | 22 | 2350307 | 2235722 | 6376 873 | 0 | 0 910.69/910.92 c 910s | 22 | 2355994 | 2241122 | 6376 875 | 0 | 0 912.68/912.95 c 912s | 22 | 2360761 | 2245622 | 6376 876 | 0 | 0 914.78/915.00 c 914s | 22 | 2364398 | 2249022 | 6376 877 | 0 | 0 915.78/916.02 c 915s | 23 | 2366618 | 2251038 | 6376 878 | 0 | 0 917.78/918.04 c 917s | 23 | 2374391 | 2258238 | 6376 880 | 0 | 0 919.78/920.06 c 919s | 23 | 2380164 | 2263838 | 6376 881 | 0 | 0 921.78/922.09 c 921s | 23 | 2386338 | 2269838 | 6376 883 | 0 | 0 923.89/924.11 c 923s | 23 | 2392229 | 2275638 | 6376 885 | 0 | 0 925.88/926.15 c 925s | 23 | 2397906 | 2281238 | 6376 887 | 0 | 0 927.88/928.17 c 927s | 23 | 2403727 | 2286938 | 6376 888 | 0 | 0 929.88/930.18 c 929s | 23 | 2409303 | 2292438 | 6376 890 | 0 | 0 931.98/932.26 c 931s | 23 | 2415307 | 2298338 | 6376 892 | 0 | 0 933.98/934.26 c 933s | 23 | 2420901 | 2303838 | 6376 893 | 0 | 0 935.98/936.28 c 935s | 23 | 2426358 | 2309238 | 6376 895 | 0 | 0 937.97/938.30 c 937s | 23 | 2431826 | 2314638 | 6376 896 | 0 | 0 940.07/940.33 c 939s | 23 | 2436917 | 2319638 | 6376 898 | 0 | 0 942.07/942.39 c 941s | 23 | 2443092 | 2325738 | 6376 900 | 0 | 0 944.17/944.41 c 943s | 23 | 2449640 | 2332138 | 6376 901 | 0 | 0 946.17/946.42 c 945s | 23 | 2455055 | 2337438 | 6376 903 | 0 | 0 948.17/948.45 c 947s | 23 | 2460554 | 2342838 | 6376 904 | 0 | 0 950.17/950.45 c 949s | 23 | 2465682 | 2347838 | 6376 906 | 0 | 0 952.17/952.46 c 951s | 23 | 2470752 | 2352838 | 6376 907 | 0 | 0 954.17/954.48 c 953s | 23 | 2475927 | 2357938 | 6376 909 | 0 | 0 956.16/956.48 c 955s | 23 | 2481017 | 2362938 | 6376 910 | 0 | 0 958.16/958.49 c 958s | 23 | 2485956 | 2367838 | 6376 912 | 0 | 0 960.26/960.51 c 960s | 23 | 2491569 | 2373338 | 6376 913 | 0 | 0 962.27/962.53 c 962s | 23 | 2497151 | 2378738 | 6376 915 | 0 | 0 964.26/964.56 c 964s | 23 | 2502364 | 2383838 | 6376 916 | 0 | 0 966.36/966.62 c 966s | 23 | 2507019 | 2388438 | 6376 918 | 0 | 0 968.36/968.67 c 968s | 23 | 2511974 | 2393338 | 6376 919 | 0 | 0 970.46/970.71 c 970s | 23 | 2516557 | 2397838 | 6376 920 | 0 | 0 972.45/972.71 c 972s | 23 | 2521255 | 2402438 | 6376 922 | 0 | 0 974.46/974.73 c 974s | 23 | 2526228 | 2407238 | 6376 923 | 0 | 0 976.45/976.74 c 976s | 23 | 2531650 | 2412538 | 6376 925 | 0 | 0 978.45/978.77 c 978s | 23 | 2536357 | 2417138 | 6376 926 | 0 | 0 980.45/980.79 c 980s | 23 | 2540864 | 2421538 | 6376 927 | 0 | 0 982.55/982.81 c 982s | 23 | 2545595 | 2426138 | 6376 929 | 0 | 0 984.55/984.82 c 984s | 23 | 2550251 | 2430638 | 6376 930 | 0 | 0 986.55/986.84 c 986s | 23 | 2554927 | 2435138 | 6376 931 | 0 | 0 988.54/988.86 c 988s | 23 | 2560072 | 2440138 | 6376 933 | 0 | 0 990.54/990.87 c 990s | 23 | 2565473 | 2445438 | 6376 934 | 0 | 0 992.54/992.89 c 992s | 23 | 2570501 | 2450338 | 6376 936 | 0 | 0 994.64/994.91 c 994s | 23 | 2575287 | 2455038 | 6376 937 | 0 | 0 996.65/996.94 c 996s | 23 | 2579175 | 2458838 | 6376 938 | 0 | 0 998.65/998.94 c 998s | 23 | 2583201 | 2462738 | 6376 939 | 0 | 0 1000.65/1000.98 c 1000s | 23 | 2588221 | 2467538 | 6376 941 | 0 | 0 1002.75/1003.00 c 1002s | 23 | 2592995 | 2472138 | 6376 942 | 0 | 0 1004.75/1005.00 c 1004s | 23 | 2597291 | 2476338 | 6376 943 | 0 | 0 1006.74/1007.03 c 1006s | 23 | 2601380 | 2480338 | 6376 945 | 0 | 0 1008.74/1009.08 c 1008s | 23 | 2605361 | 2484238 | 6376 946 | 0 | 0 1010.75/1011.08 c 1010s | 23 | 2609548 | 2488338 | 6376 947 | 0 | 0 1012.85/1013.15 c 1012s | 23 | 2613486 | 2492238 | 6376 948 | 0 | 0 1014.84/1015.17 c 1014s | 23 | 2617942 | 2496638 | 6376 949 | 0 | 0 1016.94/1017.28 c 1016s | 23 | 2622238 | 2500838 | 6376 951 | 0 | 0 1018.94/1019.29 c 1018s | 23 | 2626408 | 2504938 | 6376 952 | 0 | 0 1021.04/1021.32 c 1020s | 23 | 2631699 | 2510138 | 6376 953 | 0 | 0 1023.04/1023.33 c 1022s | 23 | 2637280 | 2515638 | 6376 955 | 0 | 0 1025.04/1025.37 c 1024s | 23 | 2642220 | 2520538 | 6376 956 | 0 | 0 1027.03/1027.40 c 1026s | 23 | 2647000 | 2525238 | 6376 958 | 0 | 0 1029.13/1029.40 c 1028s | 23 | 2651493 | 2529638 | 6376 959 | 0 | 0 1031.13/1031.42 c 1030s | 23 | 2656289 | 2534338 | 6376 960 | 0 | 0 1033.13/1033.47 c 1032s | 23 | 2660539 | 2538538 | 6376 962 | 0 | 0 1035.23/1035.54 c 1035s | 23 | 2665409 | 2543338 | 6376 963 | 0 | 0 1037.23/1037.58 c 1037s | 23 | 2669791 | 2547638 | 6376 964 | 0 | 0 1039.24/1039.58 c 1039s | 23 | 2674581 | 2552338 | 6376 966 | 0 | 0 1041.33/1041.61 c 1041s | 23 | 2680439 | 2557938 | 6376 967 | 0 | 0 1043.33/1043.62 c 1043s | 23 | 2685227 | 2562538 | 6376 969 | 0 | 0 1045.32/1045.66 c 1045s | 23 | 2690348 | 2567438 | 6376 970 | 0 | 0 1047.42/1047.71 c 1047s | 23 | 2695462 | 2572338 | 6376 971 | 0 | 0 1049.42/1049.74 c 1049s | 23 | 2700423 | 2577138 | 6376 973 | 0 | 0 1051.43/1051.79 c 1051s | 23 | 2705401 | 2581938 | 6376 974 | 0 | 0 1053.53/1053.81 c 1053s | 23 | 2710376 | 2586738 | 6376 976 | 0 | 0 1055.52/1055.84 c 1055s | 23 | 2715686 | 2591838 | 6376 977 | 0 | 0 1057.52/1057.86 c 1057s | 23 | 2720376 | 2596238 | 6376 978 | 0 | 0 1059.52/1059.87 c 1059s | 23 | 2725255 | 2600938 | 6376 980 | 0 | 0 1061.52/1061.87 c 1061s | 23 | 2730389 | 2605938 | 6376 981 | 0 | 0 1063.62/1063.90 c 1063s | 23 | 2735258 | 2610638 | 6376 983 | 0 | 0 1065.62/1065.96 c 1065s | 23 | 2739956 | 2615138 | 6376 984 | 0 | 0 1067.61/1067.98 c 1067s | 23 | 2744911 | 2619738 | 6376 985 | 0 | 0 1069.61/1069.99 c 1069s | 23 | 2749637 | 2624138 | 6376 986 | 0 | 0 1071.71/1072.02 c 1071s | 23 | 2754475 | 2628938 | 6376 988 | 0 | 0 1073.71/1074.03 c 1073s | 23 | 2759003 | 2633238 | 6376 989 | 0 | 0 1075.71/1076.05 c 1075s | 23 | 2763197 | 2637238 | 6376 990 | 0 | 0 1077.72/1078.10 c 1077s | 23 | 2767150 | 2640938 | 6376 991 | 0 | 0 1079.81/1080.12 c 1079s | 23 | 2771288 | 2644938 | 6376 993 | 0 | 0 1081.81/1082.18 c 1081s | 23 | 2775530 | 2649038 | 6376 994 | 0 | 0 1083.91/1084.20 c 1083s | 23 | 2779575 | 2652938 | 6376 995 | 0 | 0 1085.91/1086.22 c 1085s | 23 | 2783862 | 2656938 | 6376 996 | 0 | 0 1087.91/1088.25 c 1087s | 23 | 2788004 | 2660938 | 6376 997 | 0 | 0 1089.91/1090.29 c 1089s | 23 | 2792026 | 2664838 | 6376 998 | 0 | 0 1091.91/1092.29 c 1091s | 23 | 2796087 | 2668738 | 6376 999 | 0 | 0 1094.00/1094.33 c 1093s | 23 | 2800306 | 2672738 | 6376 1001 | 0 | 0 1096.00/1096.36 c 1095s | 23 | 2804302 | 2676538 | 6376 1002 | 0 | 0 1098.10/1098.41 c 1097s | 23 | 2808069 | 2680038 | 6376 1003 | 0 | 0 1100.10/1100.41 c 1099s | 23 | 2812185 | 2683938 | 6376 1004 | 0 | 0 1102.10/1102.45 c 1101s | 23 | 2816227 | 2687738 | 6376 1005 | 0 | 0 1104.11/1104.49 c 1104s | 23 | 2820202 | 2691538 | 6376 1006 | 0 | 0 1106.19/1106.50 c 1106s | 23 | 2824330 | 2695538 | 6376 1007 | 0 | 0 1108.19/1108.51 c 1108s | 23 | 2828270 | 2699238 | 6376 1008 | 0 | 0 1110.19/1110.55 c 1110s | 23 | 2832892 | 2703638 | 6376 1010 | 0 | 0 1112.19/1112.59 c 1112s | 23 | 2837705 | 2708338 | 6376 1011 | 0 | 0 1114.29/1114.64 c 1114s | 23 | 2842231 | 2712738 | 6376 1012 | 0 | 0 1116.29/1116.67 c 1116s | 23 | 2846625 | 2717038 | 6376 1014 | 0 | 0 1118.29/1118.69 c 1118s | 23 | 2850849 | 2721138 | 6376 1015 | 0 | 0 1120.38/1120.73 c 1120s | 23 | 2854983 | 2725138 | 6376 1016 | 0 | 0 1122.38/1122.76 c 1122s | 23 | 2858546 | 2728538 | 6376 1017 | 0 | 0 1124.38/1124.79 c 1124s | 23 | 2862472 | 2732338 | 6376 1018 | 0 | 0 1126.48/1126.81 c 1126s | 23 | 2866627 | 2736338 | 6376 1019 | 0 | 0 1128.48/1128.82 c 1128s | 23 | 2870652 | 2740238 | 6376 1020 | 0 | 0 1130.48/1130.86 c 1130s | 23 | 2874746 | 2744238 | 6376 1022 | 0 | 0 1132.47/1132.88 c 1132s | 23 | 2879641 | 2749038 | 6376 1023 | 0 | 0 1134.57/1134.92 c 1134s | 23 | 2884486 | 2753838 | 6376 1024 | 0 | 0 1136.57/1136.93 c 1136s | 23 | 2889015 | 2758338 | 6376 1026 | 0 | 0 1138.57/1138.94 c 1138s | 23 | 2893700 | 2762838 | 6376 1027 | 0 | 0 1140.58/1140.96 c 1140s | 23 | 2897175 | 2766038 | 6376 1028 | 0 | 0 1142.58/1142.97 c 1142s | 23 | 2901150 | 2769838 | 6376 1029 | 0 | 0 1144.68/1145.01 c 1144s | 23 | 2905708 | 2774138 | 6376 1030 | 0 | 0 1146.67/1147.08 c 1146s | 23 | 2909423 | 2777638 | 6376 1031 | 0 | 0 1148.77/1149.11 c 1148s | 23 | 2913616 | 2781738 | 6376 1032 | 0 | 0 1150.77/1151.14 c 1150s | 23 | 2917748 | 2785738 | 6376 1034 | 0 | 0 1152.77/1153.14 c 1152s | 23 | 2921732 | 2789538 | 6376 1035 | 0 | 0 1154.78/1155.18 c 1154s | 23 | 2925842 | 2793438 | 6376 1036 | 0 | 0 1156.87/1157.23 c 1156s | 23 | 2929798 | 2797238 | 6376 1037 | 0 | 0 1158.86/1159.23 c 1158s | 23 | 2933127 | 2800438 | 6376 1038 | 0 | 0 1160.86/1161.27 c 1160s | 23 | 2937814 | 2804938 | 6376 1039 | 0 | 0 1162.96/1163.31 c 1162s | 23 | 2942329 | 2809338 | 6376 1041 | 0 | 0 1164.96/1165.36 c 1164s | 23 | 2946822 | 2813738 | 6376 1042 | 0 | 0 1166.96/1167.39 c 1166s | 23 | 2951196 | 2818038 | 6376 1043 | 0 | 0 1169.06/1169.45 c 1168s | 23 | 2955211 | 2821838 | 6376 1044 | 0 | 0 1171.06/1171.47 c 1170s | 23 | 2959109 | 2825438 | 6376 1045 | 0 | 0 1173.05/1173.49 c 1172s | 23 | 2963579 | 2829738 | 6376 1046 | 0 | 0 1175.15/1175.53 c 1175s | 23 | 2967598 | 2833638 | 6376 1048 | 0 | 0 1177.15/1177.57 c 1177s | 23 | 2971952 | 2837838 | 6376 1049 | 0 | 0 1179.15/1179.59 c 1179s | 23 | 2975734 | 2841438 | 6376 1050 | 0 | 0 1181.25/1181.64 c 1181s | 23 | 2979175 | 2844738 | 6376 1051 | 0 | 0 1183.26/1183.68 c 1183s | 23 | 2982972 | 2848438 | 6376 1052 | 0 | 0 1185.35/1185.71 c 1185s | 23 | 2986771 | 2852138 | 6376 1053 | 0 | 0 1187.35/1187.74 c 1187s | 23 | 2990279 | 2855538 | 6376 1054 | 0 | 0 1189.35/1189.78 c 1189s | 23 | 2993949 | 2859038 | 6376 1055 | 0 | 0 1191.44/1191.83 c 1191s | 23 | 2997364 | 2862338 | 6376 1056 | 0 | 0 1193.44/1193.86 c 1193s | 23 | 3001166 | 2865838 | 6376 1057 | 0 | 0 1195.45/1195.86 c 1195s | 23 | 3004625 | 2869038 | 6376 1058 | 0 | 0 1197.44/1197.90 c 1197s | 23 | 3008290 | 2872538 | 6376 1059 | 0 | 0 1199.54/1199.95 c 1199s | 23 | 3011979 | 2876138 | 6376 1060 | 0 | 0 1201.54/1201.98 c 1201s | 23 | 3015571 | 2879638 | 6376 1061 | 0 | 0 1203.64/1204.01 c 1203s | 23 | 3019478 | 2883338 | 6376 1062 | 0 | 0 1205.63/1206.04 c 1205s | 23 | 3023953 | 2887738 | 6376 1063 | 0 | 0 1207.63/1208.07 c 1207s | 23 | 3028394 | 2892038 | 6376 1065 | 0 | 0 1209.74/1210.11 c 1209s | 23 | 3032369 | 2895838 | 6376 1066 | 0 | 0 1211.73/1212.13 c 1211s | 23 | 3036774 | 2900038 | 6376 1067 | 0 | 0 1213.73/1214.16 c 1213s | 23 | 3040928 | 2903938 | 6376 1068 | 0 | 0 1215.72/1216.18 c 1215s | 23 | 3045483 | 2908338 | 6376 1069 | 0 | 0 1217.82/1218.25 c 1217s | 23 | 3049908 | 2912538 | 6376 1071 | 0 | 0 1219.82/1220.28 c 1219s | 23 | 3054067 | 2916538 | 6376 1072 | 0 | 0 1221.84/1222.28 c 1221s | 23 | 3058760 | 2921038 | 6376 1073 | 0 | 0 1223.83/1224.29 c 1223s | 23 | 3062625 | 2924738 | 6376 1074 | 0 | 0 1225.92/1226.31 c 1225s | 23 | 3066509 | 2928438 | 6376 1075 | 0 | 0 1227.92/1228.34 c 1227s | 23 | 3070720 | 2932238 | 6376 1076 | 0 | 0 1229.92/1230.37 c 1229s | 23 | 3074838 | 2936138 | 6376 1077 | 0 | 0 1232.02/1232.40 c 1231s | 23 | 3079134 | 2940238 | 6376 1079 | 0 | 0 1234.02/1234.44 c 1233s | 23 | 3082874 | 2943838 | 6376 1080 | 0 | 0 1236.03/1236.45 c 1235s | 23 | 3086707 | 2947638 | 6376 1081 | 0 | 0 1238.12/1238.50 c 1238s | 23 | 3090942 | 2951738 | 6376 1082 | 0 | 0 1240.12/1240.53 c 1240s | 23 | 3094720 | 2955438 | 6376 1083 | 0 | 0 1242.12/1242.54 c 1242s | 23 | 3098610 | 2959238 | 6376 1084 | 0 | 0 1244.12/1244.56 c 1244s | 23 | 3102427 | 2962938 | 6376 1085 | 0 | 0 1246.12/1246.58 c 1246s | 23 | 3106156 | 2966538 | 6376 1086 | 0 | 0 1248.22/1248.62 c 1248s | 23 | 3109459 | 2969738 | 6376 1087 | 0 | 0 1250.21/1250.66 c 1250s | 23 | 3113136 | 2973338 | 6376 1088 | 0 | 0 1252.31/1252.71 c 1252s | 23 | 3116764 | 2976838 | 6376 1089 | 0 | 0 1254.31/1254.71 c 1254s | 23 | 3120064 | 2979938 | 6376 1090 | 0 | 0 1256.31/1256.73 c 1256s | 23 | 3124172 | 2983938 | 6376 1091 | 0 | 0 1258.31/1258.74 c 1258s | 23 | 3127799 | 2987438 | 6376 1092 | 0 | 0 1260.31/1260.79 c 1260s | 23 | 3131935 | 2991438 | 6376 1094 | 0 | 0 1262.41/1262.82 c 1262s | 23 | 3136206 | 2995538 | 6376 1095 | 0 | 0 1264.40/1264.87 c 1264s | 23 | 3140201 | 2999438 | 6376 1096 | 0 | 0 1266.40/1266.88 c 1266s | 23 | 3143927 | 3003038 | 6376 1097 | 0 | 0 1268.40/1268.89 c 1268s | 23 | 3147385 | 3006338 | 6376 1098 | 0 | 0 1270.50/1270.90 c 1270s | 23 | 3151298 | 3010138 | 6376 1099 | 0 | 0 1272.50/1272.94 c 1272s | 23 | 3155011 | 3013538 | 6376 1100 | 0 | 0 1274.51/1274.98 c 1274s | 23 | 3158940 | 3017338 | 6376 1101 | 0 | 0 1276.60/1277.01 c 1276s | 23 | 3162921 | 3021038 | 6376 1102 | 0 | 0 1278.60/1279.04 c 1278s | 23 | 3166594 | 3024638 | 6376 1103 | 0 | 0 1280.60/1281.08 c 1280s | 23 | 3170345 | 3028238 | 6376 1104 | 0 | 0 1282.70/1283.14 c 1282s | 23 | 3173757 | 3031538 | 6376 1105 | 0 | 0 1284.69/1285.16 c 1284s | 23 | 3177404 | 3035138 | 6376 1106 | 0 | 0 1286.79/1287.21 c 1286s | 23 | 3180727 | 3038338 | 6376 1107 | 0 | 0 1288.80/1289.26 c 1288s | 23 | 3183975 | 3041538 | 6376 1108 | 0 | 0 1290.79/1291.28 c 1290s | 23 | 3187679 | 3045138 | 6376 1109 | 0 | 0 1292.89/1293.33 c 1292s | 23 | 3191355 | 3048638 | 6376 1110 | 0 | 0 1294.89/1295.37 c 1294s | 23 | 3195151 | 3052238 | 6376 1111 | 0 | 0 1296.98/1297.41 c 1296s | 23 | 3198872 | 3055838 | 6376 1112 | 0 | 0 1298.98/1299.45 c 1298s | 23 | 3202583 | 3059438 | 6376 1113 | 0 | 0 1300.99/1301.49 c 1301s | 23 | 3206066 | 3062738 | 6376 1114 | 0 | 0 1303.09/1303.54 c 1303s | 23 | 3209355 | 3065838 | 6376 1115 | 0 | 0 1305.18/1305.60 c 1305s | 23 | 3212918 | 3069238 | 6376 1116 | 0 | 0 1307.18/1307.61 c 1307s | 23 | 3216370 | 3072438 | 6376 1117 | 0 | 0 1309.18/1309.63 c 1309s | 23 | 3219765 | 3075638 | 6376 1118 | 0 | 0 1311.17/1311.66 c 1311s | 23 | 3223117 | 3078838 | 6376 1119 | 0 | 0 1313.27/1313.70 c 1313s | 23 | 3226942 | 3082538 | 6376 1120 | 0 | 0 1315.28/1315.77 c 1315s | 23 | 3230135 | 3085538 | 6376 1121 | 0 | 0 1317.27/1317.79 c 1317s | 23 | 3233569 | 3088838 | 6376 1122 | 0 | 0 1319.37/1319.83 c 1319s | 23 | 3236998 | 3092138 | 6376 1123 | 0 | 0 1321.37/1321.86 c 1321s | 23 | 3240332 | 3095238 | 6376 1124 | 0 | 0 1323.47/1323.91 c 1323s | 23 | 3243393 | 3098138 | 6376 1125 | 0 | 0 1325.46/1325.91 c 1325s | 23 | 3246799 | 3101438 | 6376 1126 | 0 | 0 1327.47/1327.92 c 1327s | 23 | 3250424 | 3104938 | 6376 1127 | 0 | 0 1329.48/1329.95 c 1329s | 23 | 3253288 | 3107538 | 6376 1128 | 0 | 0 1331.57/1332.01 c 1331s | 23 | 3256672 | 3110538 | 6376 1128 | 0 | 0 1333.57/1334.02 c 1333s | 23 | 3259838 | 3113338 | 6376 1129 | 0 | 0 1335.57/1336.02 c 1335s | 23 | 3263702 | 3117038 | 6376 1130 | 0 | 0 1337.57/1338.08 c 1337s | 23 | 3267403 | 3120538 | 6376 1131 | 0 | 0 1339.67/1340.10 c 1339s | 23 | 3271192 | 3124138 | 6376 1132 | 0 | 0 1341.67/1342.11 c 1341s | 23 | 3274932 | 3127638 | 6376 1133 | 0 | 0 1343.67/1344.12 c 1343s | 23 | 3278935 | 3131438 | 6376 1135 | 0 | 0 1345.66/1346.15 c 1345s | 23 | 3283363 | 3135638 | 6376 1136 | 0 | 0 1347.66/1348.15 c 1347s | 23 | 3287230 | 3139238 | 6376 1137 | 0 | 0 1349.66/1350.19 c 1349s | 23 | 3291649 | 3143438 | 6376 1138 | 0 | 0 1351.76/1352.21 c 1351s | 23 | 3295683 | 3147338 | 6376 1139 | 0 | 0 1353.77/1354.22 c 1353s | 23 | 3299894 | 3151338 | 6376 1140 | 0 | 0 1355.76/1356.27 c 1355s | 23 | 3303902 | 3155238 | 6376 1141 | 0 | 0 1357.76/1358.28 c 1357s | 23 | 3307729 | 3158838 | 6376 1142 | 0 | 0 1359.86/1360.33 c 1359s | 23 | 3311394 | 3162338 | 6376 1144 | 0 | 0 1361.86/1362.37 c 1361s | 23 | 3315370 | 3166038 | 6376 1145 | 0 | 0 1363.86/1364.38 c 1363s | 23 | 3319337 | 3169838 | 6376 1146 | 0 | 0 1365.86/1366.39 c 1365s | 23 | 3323246 | 3173638 | 6376 1147 | 0 | 0 1367.85/1368.40 c 1367s | 23 | 3326944 | 3177038 | 6376 1148 | 0 | 0 1369.95/1370.47 c 1369s | 23 | 3330740 | 3180638 | 6376 1149 | 0 | 0 1372.05/1372.52 c 1372s | 23 | 3334346 | 3184038 | 6376 1150 | 0 | 0 1374.05/1374.55 c 1374s | 23 | 3338248 | 3187738 | 6376 1151 | 0 | 0 1376.05/1376.57 c 1376s | 23 | 3341891 | 3191238 | 6376 1152 | 0 | 0 1378.15/1378.61 c 1378s | 23 | 3346446 | 3195538 | 6376 1153 | 0 | 0 1380.16/1380.63 c 1380s | 23 | 3350309 | 3199238 | 6376 1154 | 0 | 0 1382.15/1382.68 c 1382s | 23 | 3354396 | 3203138 | 6376 1155 | 0 | 0 1384.15/1384.69 c 1384s | 23 | 3358380 | 3206938 | 6376 1157 | 0 | 0 1386.15/1386.69 c 1386s | 23 | 3362295 | 3210638 | 6376 1158 | 0 | 0 1388.25/1388.72 c 1388s | 23 | 3365758 | 3213838 | 6376 1159 | 0 | 0 1390.25/1390.72 c 1390s | 23 | 3369738 | 3217238 | 6376 1160 | 0 | 0 1392.25/1392.79 c 1392s | 23 | 3374553 | 3221738 | 6376 1161 | 0 | 0 1394.25/1394.79 c 1394s | 23 | 3377580 | 3224538 | 6376 1162 | 0 | 0 1396.34/1396.82 c 1396s | 23 | 3381157 | 3227938 | 6376 1163 | 0 | 0 1398.34/1398.83 c 1398s | 23 | 3385460 | 3232038 | 6376 1164 | 0 | 0 1400.34/1400.85 c 1400s | 23 | 3389130 | 3235538 | 6376 1165 | 0 | 0 1402.34/1402.88 c 1402s | 23 | 3393338 | 3239638 | 6376 1166 | 0 | 0 1404.44/1404.92 c 1404s | 23 | 3397255 | 3243338 | 6376 1167 | 0 | 0 1406.45/1406.98 c 1406s | 23 | 3400980 | 3246838 | 6376 1168 | 0 | 0 1408.44/1408.99 c 1408s | 23 | 3404871 | 3250538 | 6376 1169 | 0 | 0 1410.44/1410.99 c 1410s | 23 | 3408622 | 3253938 | 6376 1170 | 0 | 0 1412.54/1413.01 c 1412s | 23 | 3412940 | 3258038 | 6376 1171 | 0 | 0 1414.54/1415.04 c 1414s | 23 | 3417210 | 3262138 | 6376 1173 | 0 | 0 1416.54/1417.06 c 1416s | 23 | 3421519 | 3266238 | 6376 1174 | 0 | 0 1418.55/1419.09 c 1418s | 23 | 3425911 | 3270338 | 6376 1175 | 0 | 0 1420.64/1421.13 c 1420s | 23 | 3429711 | 3274038 | 6376 1176 | 0 | 0 1422.64/1423.14 c 1422s | 23 | 3433286 | 3277338 | 6376 1177 | 0 | 0 1424.64/1425.17 c 1424s | 23 | 3437066 | 3281038 | 6376 1178 | 0 | 0 1426.64/1427.18 c 1426s | 23 | 3441335 | 3285238 | 6376 1179 | 0 | 0 1428.74/1429.21 c 1428s | 23 | 3445214 | 3289038 | 6376 1181 | 0 | 0 1430.75/1431.24 c 1430s | 23 | 3449659 | 3293338 | 6376 1182 | 0 | 0 1432.74/1433.24 c 1432s | 23 | 3453587 | 3297138 | 6376 1183 | 0 | 0 1434.74/1435.29 c 1434s | 23 | 3457384 | 3300838 | 6376 1184 | 0 | 0 1436.84/1437.31 c 1436s | 23 | 3461608 | 3304838 | 6376 1185 | 0 | 0 1438.84/1439.34 c 1438s | 23 | 3465710 | 3308838 | 6376 1186 | 0 | 0 1440.84/1441.37 c 1440s | 23 | 3469304 | 3312338 | 6376 1187 | 0 | 0 1442.94/1443.41 c 1442s | 23 | 3472864 | 3315738 | 6376 1188 | 0 | 0 1444.94/1445.42 c 1444s | 23 | 3476655 | 3319438 | 6376 1189 | 0 | 0 1446.94/1447.43 c 1446s | 23 | 3480358 | 3322938 | 6376 1190 | 0 | 0 1448.94/1449.46 c 1448s | 23 | 3483788 | 3326238 | 6376 1191 | 0 | 0 1450.94/1451.49 c 1451s | 23 | 3487122 | 3329438 | 6376 1192 | 0 | 0 1453.04/1453.50 c 1453s | 23 | 3490549 | 3332738 | 6376 1193 | 0 | 0 1455.03/1455.51 c 1455s | 23 | 3494462 | 3336538 | 6376 1194 | 0 | 0 1457.04/1457.53 c 1457s | 23 | 3498367 | 3340338 | 6376 1195 | 0 | 0 1459.03/1459.57 c 1459s | 23 | 3502606 | 3344438 | 6376 1197 | 0 | 0 1461.13/1461.61 c 1461s | 23 | 3506522 | 3348238 | 6376 1198 | 0 | 0 1463.13/1463.66 c 1463s | 23 | 3510615 | 3352238 | 7014 1199 | 0 | 0 1465.13/1465.69 c 1465s | 23 | 3514570 | 3356038 | 7014 1200 | 0 | 0 1467.23/1467.72 c 1467s | 23 | 3518812 | 3360138 | 7014 1201 | 0 | 0 1469.24/1469.77 c 1469s | 23 | 3522384 | 3363538 | 7014 1202 | 0 | 0 1471.23/1471.79 c 1471s | 23 | 3525595 | 3366638 | 7014 1203 | 0 | 0 1473.33/1473.83 c 1473s | 23 | 3529140 | 3369938 | 7014 1204 | 0 | 0 1475.43/1475.90 c 1475s | 23 | 3533059 | 3373638 | 7014 1205 | 0 | 0 1477.23/1477.77 c 1477s | 24 | 3536182 | 3376662 | 7014 1205 | 0 | 0 1479.24/1479.78 c 1479s | 24 | 3541873 | 3382162 | 7014 1207 | 0 | 0 1481.24/1481.80 c 1481s | 24 | 3546169 | 3386162 | 7014 1208 | 0 | 0 1483.34/1483.80 c 1483s | 24 | 3550236 | 3389762 | 7014 1209 | 0 | 0 1485.34/1485.82 c 1485s | 24 | 3554468 | 3393762 | 7014 1210 | 0 | 0 1487.34/1487.83 c 1487s | 24 | 3558980 | 3398162 | 7014 1211 | 0 | 0 1489.34/1489.85 c 1489s | 24 | 3563906 | 3402962 | 7014 1212 | 0 | 0 1491.33/1491.87 c 1491s | 24 | 3566956 | 3405862 | 7014 1213 | 0 | 0 1493.34/1493.88 c 1493s | 24 | 3571602 | 3410262 | 7014 1214 | 0 | 0 1495.43/1495.90 c 1495s | 24 | 3576666 | 3415162 | 7014 1216 | 0 | 0 1497.43/1497.92 c 1497s | 24 | 3581467 | 3419862 | 7014 1217 | 0 | 0 1499.43/1499.93 c 1499s | 24 | 3586999 | 3425062 | 7014 1218 | 0 | 0 1501.43/1501.96 c 1501s | 24 | 3591092 | 3428962 | 7014 1219 | 0 | 0 1503.43/1503.98 c 1503s | 24 | 3593794 | 3431462 | 7014 1220 | 0 | 0 1505.54/1506.02 c 1505s | 24 | 3597681 | 3435162 | 7014 1221 | 0 | 0 1507.53/1508.05 c 1507s | 24 | 3601469 | 3438762 | 7014 1222 | 0 | 0 1509.53/1510.07 c 1509s | 24 | 3604883 | 3441962 | 7014 1223 | 0 | 0 1511.63/1512.11 c 1511s | 24 | 3608489 | 3445362 | 7014 1224 | 0 | 0 1513.63/1514.14 c 1513s | 24 | 3611931 | 3448662 | 7014 1225 | 0 | 0 1515.63/1516.16 c 1515s | 24 | 3616818 | 3453262 | 7014 1226 | 0 | 0 1517.63/1518.19 c 1517s | 24 | 3621613 | 3457862 | 7014 1227 | 0 | 0 1519.73/1520.22 c 1519s | 24 | 3626174 | 3462262 | 7014 1228 | 0 | 0 1521.73/1522.25 c 1521s | 24 | 3630643 | 3466562 | 7014 1229 | 0 | 0 1523.72/1524.26 c 1523s | 24 | 3634511 | 3470162 | 7014 1230 | 0 | 0 1525.72/1526.29 c 1525s | 24 | 3640221 | 3475662 | 7014 1232 | 0 | 0 1527.72/1528.29 c 1527s | 24 | 3644462 | 3479562 | 7014 1233 | 0 | 0 1529.82/1530.31 c 1529s | 24 | 3648531 | 3483462 | 7014 1234 | 0 | 0 1531.83/1532.32 c 1531s | 24 | 3652755 | 3487462 | 7014 1235 | 0 | 0 1533.82/1534.36 c 1533s | 24 | 3657467 | 3491862 | 7014 1236 | 0 | 0 1535.82/1536.37 c 1535s | 24 | 3661707 | 3495662 | 7014 1237 | 0 | 0 1537.82/1538.38 c 1537s | 24 | 3666177 | 3499762 | 7014 1238 | 0 | 0 1539.92/1540.44 c 1539s | 24 | 3671047 | 3504262 | 7014 1239 | 0 | 0 1541.92/1542.44 c 1541s | 24 | 3675005 | 3507862 | 7014 1240 | 0 | 0 1543.93/1544.45 c 1543s | 24 | 3679469 | 3511962 | 7014 1242 | 0 | 0 1545.92/1546.48 c 1545s | 24 | 3684193 | 3516362 | 7014 1243 | 0 | 0 1547.92/1548.49 c 1548s | 24 | 3689000 | 3520962 | 7014 1244 | 0 | 0 1550.02/1550.51 c 1550s | 24 | 3694015 | 3525762 | 7014 1245 | 0 | 0 1552.02/1552.51 c 1552s | 24 | 3698671 | 3530262 | 7014 1246 | 0 | 0 1554.02/1554.56 c 1554s | 24 | 3703322 | 3534662 | 7014 1248 | 0 | 0 1556.03/1556.56 c 1556s | 24 | 3707421 | 3538462 | 7014 1249 | 0 | 0 1558.02/1558.59 c 1558s | 24 | 3712859 | 3543662 | 7014 1250 | 0 | 0 1560.12/1560.61 c 1560s | 24 | 3718155 | 3548662 | 7014 1251 | 0 | 0 1562.12/1562.64 c 1562s | 24 | 3723464 | 3553762 | 7014 1253 | 0 | 0 1564.12/1564.68 c 1564s | 24 | 3728931 | 3559062 | 7014 1254 | 0 | 0 1566.12/1566.69 c 1566s | 24 | 3734006 | 3563962 | 7014 1256 | 0 | 0 1568.12/1568.69 c 1568s | 24 | 3738900 | 3568662 | 7014 1257 | 0 | 0 1570.22/1570.73 c 1570s | 24 | 3743869 | 3573362 | 7014 1258 | 0 | 0 1572.22/1572.74 c 1572s | 24 | 3748501 | 3577762 | 7014 1259 | 0 | 0 1574.21/1574.75 c 1574s | 24 | 3753402 | 3582462 | 7014 1260 | 0 | 0 1576.31/1576.82 c 1576s | 24 | 3757872 | 3586762 | 7014 1262 | 0 | 0 1578.32/1578.84 c 1578s | 24 | 3762383 | 3591062 | 7014 1263 | 0 | 0 1580.33/1580.88 c 1580s | 24 | 3767358 | 3595662 | 7014 1264 | 0 | 0 1582.32/1582.88 c 1582s | 24 | 3771757 | 3599862 | 7014 1265 | 0 | 0 1584.32/1584.88 c 1584s | 24 | 3777356 | 3605162 | 7014 1267 | 0 | 0 1586.32/1586.89 c 1586s | 24 | 3783155 | 3610762 | 7014 1268 | 0 | 0 1588.42/1588.93 c 1588s | 24 | 3787966 | 3615262 | 7014 1269 | 0 | 0 1590.42/1590.99 c 1590s | 24 | 3793025 | 3619962 | 7014 1271 | 0 | 0 1592.52/1593.02 c 1592s | 24 | 3797877 | 3624562 | 7014 1272 | 0 | 0 1594.52/1595.03 c 1594s | 24 | 3803124 | 3629562 | 7014 1273 | 0 | 0 1596.52/1597.05 c 1596s | 24 | 3807889 | 3634162 | 7014 1274 | 0 | 0 1598.52/1599.07 c 1598s | 24 | 3812652 | 3638762 | 7014 1276 | 0 | 0 1600.62/1601.10 c 1600s | 24 | 3818363 | 3644262 | 7014 1277 | 0 | 0 1602.62/1603.12 c 1602s | 24 | 3823819 | 3649562 | 7014 1278 | 0 | 0 1604.62/1605.17 c 1604s | 24 | 3829252 | 3654662 | 7014 1280 | 0 | 0 1606.62/1607.17 c 1606s | 24 | 3833840 | 3658862 | 7014 1281 | 0 | 0 1608.61/1609.19 c 1608s | 24 | 3838281 | 3663162 | 7014 1282 | 0 | 0 1610.71/1611.20 c 1610s | 24 | 3843967 | 3668362 | 7014 1284 | 0 | 0 1612.71/1613.23 c 1612s | 24 | 3849556 | 3673662 | 7014 1285 | 0 | 0 1614.71/1615.26 c 1614s | 24 | 3855204 | 3678762 | 7014 1286 | 0 | 0 1616.71/1617.27 c 1616s | 24 | 3860185 | 3683462 | 7014 1288 | 0 | 0 1618.72/1619.29 c 1618s | 24 | 3865700 | 3688662 | 7014 1289 | 0 | 0 1620.81/1621.31 c 1620s | 24 | 3870644 | 3693362 | 7014 1290 | 0 | 0 1622.91/1623.41 c 1622s | 24 | 3875679 | 3698162 | 7014 1292 | 0 | 0 1624.91/1625.46 c 1624s | 24 | 3880225 | 3702462 | 7014 1293 | 0 | 0 1626.91/1627.48 c 1626s | 24 | 3885735 | 3707862 | 7014 1294 | 0 | 0 1629.01/1629.50 c 1629s | 24 | 3890665 | 3712662 | 7014 1295 | 0 | 0 1631.01/1631.51 c 1631s | 24 | 3895484 | 3717362 | 7014 1297 | 0 | 0 1633.02/1633.52 c 1633s | 24 | 3900307 | 3722062 | 7014 1298 | 0 | 0 1635.01/1635.55 c 1635s | 24 | 3905202 | 3726762 | 7014 1299 | 0 | 0 1637.01/1637.56 c 1637s | 24 | 3909582 | 3731062 | 7014 1300 | 0 | 0 1639.01/1639.56 c 1639s | 24 | 3913355 | 3734662 | 7014 1301 | 0 | 0 1641.11/1641.60 c 1641s | 24 | 3919111 | 3740062 | 7014 1303 | 0 | 0 1643.11/1643.64 c 1643s | 24 | 3924110 | 3744862 | 7014 1304 | 0 | 0 1645.11/1645.66 c 1645s | 24 | 3929328 | 3749962 | 7014 1305 | 0 | 0 1647.10/1647.69 c 1647s | 24 | 3935009 | 3755462 | 7014 1307 | 0 | 0 1649.20/1649.71 c 1649s | 24 | 3940085 | 3760362 | 7014 1308 | 0 | 0 1651.20/1651.72 c 1651s | 24 | 3945547 | 3765562 | 7014 1310 | 0 | 0 1653.20/1653.77 c 1653s | 24 | 3951213 | 3770762 | 7014 1311 | 0 | 0 1655.20/1655.79 c 1655s | 24 | 3956303 | 3775762 | 7014 1312 | 0 | 0 1657.21/1657.79 c 1657s | 24 | 3962156 | 3781362 | 7014 1314 | 0 | 0 1659.30/1659.83 c 1659s | 24 | 3967213 | 3786262 | 7014 1315 | 0 | 0 1661.30/1661.83 c 1661s | 24 | 3973196 | 3791762 | 7014 1317 | 0 | 0 1663.30/1663.85 c 1663s | 24 | 3978726 | 3796962 | 7014 1318 | 0 | 0 1665.31/1665.89 c 1665s | 24 | 3984136 | 3801862 | 7014 1319 | 0 | 0 1667.41/1667.90 c 1667s | 24 | 3989269 | 3806762 | 7014 1321 | 0 | 0 1669.42/1669.90 c 1669s | 24 | 3994626 | 3811862 | 7014 1322 | 0 | 0 1671.41/1671.93 c 1671s | 24 | 4000136 | 3817162 | 7014 1323 | 0 | 0 1673.41/1673.94 c 1673s | 24 | 4004949 | 3821762 | 7014 1325 | 0 | 0 1675.41/1675.97 c 1675s | 24 | 4009977 | 3826562 | 7014 1326 | 0 | 0 1677.51/1678.00 c 1677s | 24 | 4015116 | 3831462 | 7014 1327 | 0 | 0 1679.51/1680.03 c 1679s | 24 | 4019570 | 3835562 | 7014 1328 | 0 | 0 1681.51/1682.04 c 1681s | 24 | 4024106 | 3839762 | 7014 1330 | 0 | 0 1683.51/1684.07 c 1683s | 24 | 4027730 | 3843162 | 7014 1330 | 0 | 0 1685.61/1686.12 c 1685s | 24 | 4031932 | 3847162 | 7014 1332 | 0 | 0 1687.60/1688.15 c 1687s | 24 | 4036460 | 3851562 | 7014 1333 | 0 | 0 1689.60/1690.15 c 1689s | 24 | 4040656 | 3855462 | 7014 1334 | 0 | 0 1691.60/1692.18 c 1691s | 24 | 4045513 | 3860062 | 7014 1335 | 0 | 0 1693.70/1694.23 c 1693s | 24 | 4050287 | 3864462 | 7014 1336 | 0 | 0 1695.71/1696.27 c 1695s | 24 | 4056102 | 3869862 | 7014 1338 | 0 | 0 1697.70/1698.28 c 1697s | 24 | 4061839 | 3875162 | 7014 1339 | 0 | 0 1699.80/1700.33 c 1699s | 24 | 4066714 | 3879862 | 7014 1340 | 0 | 0 1701.80/1702.33 c 1701s | 24 | 4069971 | 3882962 | 7014 1341 | 0 | 0 1703.80/1704.34 c 1703s | 24 | 4073573 | 3886362 | 7014 1342 | 0 | 0 1705.80/1706.37 c 1705s | 24 | 4078038 | 3890562 | 7014 1343 | 0 | 0 1707.81/1708.40 c 1707s | 24 | 4082478 | 3894462 | 7014 1344 | 0 | 0 1709.90/1710.42 c 1709s | 24 | 4086569 | 3898162 | 7014 1345 | 0 | 0 1711.90/1712.46 c 1711s | 24 | 4090852 | 3902262 | 7014 1346 | 0 | 0 1713.90/1714.46 c 1713s | 24 | 4094818 | 3906062 | 7014 1347 | 0 | 0 1716.00/1716.53 c 1716s | 24 | 4098934 | 3909762 | 7014 1348 | 0 | 0 1718.00/1718.56 c 1718s | 24 | 4103530 | 3913762 | 7014 1349 | 0 | 0 1720.01/1720.57 c 1720s | 24 | 4108145 | 3917862 | 7014 1350 | 0 | 0 1722.00/1722.59 c 1722s | 24 | 4112515 | 3921962 | 7014 1352 | 0 | 0 1724.10/1724.62 c 1724s | 24 | 4117347 | 3926462 | 7014 1353 | 0 | 0 1726.10/1726.65 c 1726s | 24 | 4121785 | 3930762 | 7014 1354 | 0 | 0 1728.10/1728.69 c 1728s | 24 | 4126123 | 3934962 | 7014 1355 | 0 | 0 1730.10/1730.69 c 1730s | 24 | 4130179 | 3938862 | 7014 1356 | 0 | 0 1732.20/1732.72 c 1732s | 24 | 4135895 | 3944062 | 7014 1358 | 0 | 0 1734.20/1734.74 c 1734s | 24 | 4141399 | 3949062 | 7014 1359 | 0 | 0 1736.20/1736.76 c 1736s | 24 | 4146703 | 3954062 | 7014 1360 | 0 | 0 1738.19/1738.78 c 1738s | 24 | 4151718 | 3958862 | 7014 1361 | 0 | 0 1740.19/1740.79 c 1740s | 24 | 4156703 | 3963662 | 7014 1363 | 0 | 0 1742.29/1742.81 c 1742s | 24 | 4161812 | 3968562 | 7014 1364 | 0 | 0 1744.29/1744.81 c 1744s | 24 | 4166806 | 3973362 | 7014 1365 | 0 | 0 1746.30/1746.84 c 1746s | 24 | 4171690 | 3977962 | 7014 1367 | 0 | 0 1748.29/1748.86 c 1748s | 24 | 4176790 | 3982862 | 7014 1368 | 0 | 0 1750.29/1750.88 c 1750s | 24 | 4181245 | 3987262 | 7014 1369 | 0 | 0 1752.39/1752.91 c 1752s | 24 | 4186282 | 3992062 | 7014 1370 | 0 | 0 1754.39/1754.94 c 1754s | 24 | 4191397 | 3996962 | 7014 1372 | 0 | 0 1756.39/1756.95 c 1756s | 24 | 4196081 | 4001462 | 7014 1373 | 0 | 0 1758.40/1758.96 c 1758s | 24 | 4200937 | 4006162 | 7014 1374 | 0 | 0 1760.39/1760.99 c 1760s | 24 | 4205989 | 4011062 | 7014 1375 | 0 | 0 1762.39/1762.99 c 1762s | 24 | 4211420 | 4016262 | 7014 1377 | 0 | 0 1764.49/1765.03 c 1764s | 24 | 4216443 | 4021062 | 7014 1378 | 0 | 0 1766.49/1767.04 c 1766s | 24 | 4221334 | 4025762 | 7014 1379 | 0 | 0 1768.49/1769.06 c 1768s | 24 | 4226253 | 4030462 | 7014 1381 | 0 | 0 1770.49/1771.08 c 1770s | 24 | 4231489 | 4035462 | 7014 1382 | 0 | 0 1772.59/1773.13 c 1772s | 24 | 4236550 | 4040262 | 7014 1383 | 0 | 0 1774.59/1775.16 c 1774s | 24 | 4241824 | 4045362 | 7014 1385 | 0 | 0 1776.59/1777.16 c 1776s | 24 | 4246950 | 4050262 | 7014 1386 | 0 | 0 1778.69/1779.21 c 1778s | 24 | 4251878 | 4054962 | 7014 1387 | 0 | 0 1780.69/1781.25 c 1780s | 24 | 4256678 | 4059662 | 7014 1389 | 0 | 0 1782.69/1783.25 c 1782s | 24 | 4262495 | 4065262 | 7014 1390 | 0 | 0 1784.68/1785.26 c 1784s | 24 | 4267295 | 4069862 | 7014 1391 | 0 | 0 1786.68/1787.29 c 1786s | 24 | 4272150 | 4074562 | 7014 1393 | 0 | 0 1788.78/1789.32 c 1788s | 24 | 4277226 | 4079462 | 7014 1394 | 0 | 0 1790.78/1791.33 c 1790s | 24 | 4282142 | 4084162 | 7014 1395 | 0 | 0 1792.78/1793.34 c 1792s | 24 | 4287335 | 4089162 | 7014 1396 | 0 | 0 1794.79/1795.35 c 1794s | 24 | 4293135 | 4094762 | 7014 1398 | 0 | 0 1796.78/1797.35 c 1796s | 24 | 4298838 | 4100362 | 7014 1399 | 0 | 0 1798.78/1799.39 c 1798s | 24 | 4304638 | 4106062 | 7014 1401 | 0 | 0
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-4106286-1466268737/watcher-4106286-1466268737 -o /tmp/evaluation-result-4106286-1466268737/solver-4106286-1466268737 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106286-1466268737.opb pid=27530 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.17 2.25 2.19 3/179 27533 /proc/meminfo: memFree=29391788/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=274876 CPUtime=0 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 945 0 0 0 0 0 0 0 20 0 4 0 28920302 281473024 1305 33554432000 4194304 16246674 140736105494288 140736105493712 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 69231 1315 441 2943 0 66125 0 [pid=27533/tid=27534] ppid=27530 vsize=290236 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 297201664 1368 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=294332 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 301395968 1385 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=298428 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28920302 305590272 1400 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.10016 s] /proc/loadavg: 2.17 2.25 2.19 3/179 27533 /proc/meminfo: memFree=29391788/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 22182 0 0 0 5 4 0 0 20 0 4 0 28920302 1247350784 22531 33554432000 4194304 16246674 140736105494288 140736105493712 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 304529 22538 759 2943 0 301423 0 [pid=27533/tid=27534] ppid=27530 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1247350784 22543 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1247350784 22550 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28920302 1247350784 22554 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200549 s] /proc/loadavg: 2.17 2.25 2.19 3/179 27533 /proc/meminfo: memFree=29391788/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1218116 CPUtime=0.18 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 41886 0 0 0 12 6 0 0 20 0 4 0 28920302 1247350784 42235 33554432000 4194304 16246674 140736105494288 140736105493712 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 304529 42247 759 2943 0 301423 0 [pid=27533/tid=27534] ppid=27530 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1247350784 42253 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1247350784 42258 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28920302 1247350784 42262 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300496 s] /proc/loadavg: 2.17 2.25 2.19 3/179 27533 /proc/meminfo: memFree=29391788/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 59239 0 0 0 20 9 0 0 20 0 4 0 28920302 1247350784 59587 33554432000 4194304 16246674 140736105494288 140736105493712 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 304529 59592 759 2943 0 301423 0 [pid=27533/tid=27534] ppid=27530 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1247350784 59595 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1247350784 59597 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28920302 1247350784 59600 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700411 s] /proc/loadavg: 2.17 2.25 2.19 3/179 27533 /proc/meminfo: memFree=29391788/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1218116 CPUtime=0.68 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 116188 0 0 0 53 15 0 0 20 0 4 0 28920302 1247350784 116535 33554432000 4194304 16246674 140736105494288 140736105476160 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 304529 116551 794 2943 0 301423 0 [pid=27533/tid=27534] ppid=27530 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1247350784 116559 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1247350784 116566 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28920302 1247350784 116569 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.17 2.25 2.19 3/183 27537 /proc/meminfo: memFree=28673608/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 246178 0 0 0 117 32 0 0 20 0 4 0 28920302 1250496512 246503 33554432000 4194304 16246674 140736105494288 140736105493600 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 305297 246503 850 2943 0 302191 0 [pid=27533/tid=27534] ppid=27530 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1250496512 246503 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1250496512 246503 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1250496512 246503 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10037 s] /proc/loadavg: 2.17 2.25 2.19 4/183 27537 /proc/meminfo: memFree=28406636/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1302084 CPUtime=3.08 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 266431 0 0 0 274 34 0 0 20 0 4 0 28920302 1333334016 266756 33554432000 4194304 16246674 140736105494288 140736105477288 5711576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 325521 266756 850 2943 0 322415 0 [pid=27533/tid=27534] ppid=27530 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1333334016 266756 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1333334016 266756 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1333334016 266756 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1302084 [startup+6.30043 s] /proc/loadavg: 2.23 2.26 2.19 4/183 27537 /proc/meminfo: memFree=28318228/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1309252 CPUtime=6.29 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 268411 0 0 0 593 36 0 0 20 0 4 0 28920302 1340674048 268736 33554432000 4194304 16246674 140736105494288 140736105476160 5545713 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 327313 268736 852 2943 0 324207 0 [pid=27533/tid=27534] ppid=27530 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1340674048 268736 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1340674048 268736 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1340674048 268736 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.21 2.26 2.19 3/183 27537 /proc/meminfo: memFree=28315572/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1310276 CPUtime=12.69 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 268667 0 0 0 1233 36 0 0 20 0 4 0 28920302 1341722624 268992 33554432000 4194304 16246674 140736105494288 140736105477288 5722816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 327569 268992 852 2943 0 324463 0 [pid=27533/tid=27534] ppid=27530 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1341722624 268992 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1341722624 268992 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1341722624 268992 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1310276 [startup+25.5005 s] /proc/loadavg: 2.17 2.24 2.18 3/183 27537 /proc/meminfo: memFree=28315376/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1311300 CPUtime=25.48 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 268924 0 0 0 2512 36 0 0 20 0 4 0 28920302 1342771200 269249 33554432000 4194304 16246674 140736105494288 140736105477288 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 327825 269249 853 2943 0 324719 0 [pid=27533/tid=27534] ppid=27530 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1342771200 269249 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1342771200 269249 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1342771200 269249 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.19 2.24 2.18 3/183 27537 /proc/meminfo: memFree=28310048/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1316420 CPUtime=51.07 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 270204 0 0 0 5071 36 0 0 20 0 4 0 28920302 1348014080 270529 33554432000 4194304 16246674 140736105494288 140736105476160 5677802 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 329105 270529 853 2943 0 325999 0 [pid=27533/tid=27534] ppid=27530 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1348014080 270529 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1348014080 270529 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1348014080 270529 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1316420 [startup+102.3 s] /proc/loadavg: 2.15 2.22 2.18 3/183 27539 /proc/meminfo: memFree=28310264/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1316420 CPUtime=102.28 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 270204 0 0 0 10191 37 0 0 20 0 4 0 28920302 1348014080 270529 33554432000 4194304 16246674 140736105494288 140736105476160 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 329105 270529 853 2943 0 325999 0 [pid=27533/tid=27534] ppid=27530 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1348014080 270529 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1348014080 270529 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1348014080 270529 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1342020 [startup+1302.3 s] /proc/loadavg: 2.02 2.13 2.15 3/183 27834 /proc/meminfo: memFree=28281776/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1342020 CPUtime=1301.88 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 276994 0 0 0 130139 49 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 140736105476160 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 335505 276933 854 2943 0 332399 0 [pid=27533/tid=27534] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1342020 [startup+1362.3 s] /proc/loadavg: 2.09 2.12 2.15 3/183 27835 /proc/meminfo: memFree=28282344/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1342020 CPUtime=1361.86 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 277031 0 0 0 136136 50 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 140736105476160 5822492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 335505 276933 854 2943 0 332399 0 [pid=27533/tid=27534] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1342020 [startup+1422.3 s] /proc/loadavg: 2.29 2.17 2.16 3/183 27836 /proc/meminfo: memFree=28281256/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1342020 CPUtime=1421.85 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 277033 0 0 0 142135 50 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 140736105476160 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 335505 276933 854 2943 0 332399 0 [pid=27533/tid=27534] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1342020 [startup+1482.3 s] /proc/loadavg: 2.15 2.15 2.15 3/183 27837 /proc/meminfo: memFree=28278696/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1342020 CPUtime=1481.84 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 277033 0 0 0 148133 51 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 140736105476160 5711980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 335505 276933 854 2943 0 332399 0 [pid=27533/tid=27534] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1342020 [startup+1542.31 s] /proc/loadavg: 2.31 2.18 2.16 3/183 27838 /proc/meminfo: memFree=28278684/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1342020 CPUtime=1541.83 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 277033 0 0 0 154132 51 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 140736105476160 5523188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 335505 276933 854 2943 0 332399 0 [pid=27533/tid=27534] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1342020 [startup+1602.3 s] /proc/loadavg: 2.25 2.18 2.16 3/183 27840 /proc/meminfo: memFree=28278716/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1342020 CPUtime=1601.82 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 277033 0 0 0 160130 52 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 140736105477288 12477688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 335505 276933 854 2943 0 332399 0 [pid=27533/tid=27534] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276933 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1342020 [startup+1662.3 s] /proc/loadavg: 2.14 2.16 2.16 3/183 27841 /proc/meminfo: memFree=28278756/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1342020 CPUtime=1661.8 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 277034 0 0 0 166128 52 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 140736105476160 5553724 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 335505 276934 855 2943 0 332399 0 [pid=27533/tid=27534] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1342020 [startup+1722.3 s] /proc/loadavg: 2.46 2.24 2.18 3/184 27845 /proc/meminfo: memFree=28278536/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1342020 CPUtime=1721.8 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 277034 0 0 0 172127 53 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 140736105476160 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 335505 276934 855 2943 0 332399 0 [pid=27533/tid=27534] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1342020 [startup+1782.3 s] /proc/loadavg: 2.23 2.21 2.18 3/183 27846 /proc/meminfo: memFree=28278580/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1342020 CPUtime=1781.79 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 277034 0 0 0 178126 53 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 140736105476160 5721725 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 335505 276934 855 2943 0 332399 0 [pid=27533/tid=27534] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1342020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.18 2.20 2.17 3/183 27846 /proc/meminfo: memFree=28278424/32872528 swapFree=1191052/1305516 [pid=27533] ppid=27530 vsize=1342020 CPUtime=1800.08 cores=1,3,5,7 /proc/27533/stat : 27533 (toysat) R 27530 27533 26736 0 -1 4202496 277034 0 0 0 179955 53 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 140736105476160 5545788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27533/statm: 335505 276934 855 2943 0 332399 0 [pid=27533/tid=27534] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27534/stat : 27534 (toysat) S 27530 27533 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 139910556134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27533/tid=27535] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27535/stat : 27535 (toysat) S 27530 27533 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 139910545644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27533/tid=27536] ppid=27530 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/27533/task/27536/stat : 27536 (toysat) S 27530 27533 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28920302 1374228480 276934 33554432000 4194304 16246674 140736105494288 139910535171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1342020 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 27533 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.1 CPU user time (s): 1799.56 CPU system time (s): 0.538918 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 1342020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.538918 maximum resident set size= 1107736 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277034 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= 440 involuntary context switches= 1855 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.45132 second user time and 7.07692 second system time The end
Begin job on node127 at 2016-06-18 18:52:17 IDJOB=4106286 IDBENCH=48003 IDSOLVER=2542 FILE ID=node127/4106286-1466268737 RUNJOBID= node127-1466265123-26753 PBS_JOBID= 19918231 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106286-1466268737/watcher-4106286-1466268737 -o /tmp/evaluation-result-4106286-1466268737/solver-4106286-1466268737 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106286-1466268737.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 79cf27053836a1888aee43ca3805fcdd RANDOM SEED=963441211 node127.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.769 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.53 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.769 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.769 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.769 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.56 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.769 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.769 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.769 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.56 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.769 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: 29391944 kB Buffers: 85500 kB Cached: 259248 kB SwapCached: 516 kB Active: 1181132 kB Inactive: 254952 kB Active(anon): 1091512 kB Inactive(anon): 2184 kB Active(file): 89620 kB Inactive(file): 252768 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100260 kB Dirty: 16548 kB Writeback: 0 kB AnonPages: 2398188 kB Mapped: 10676 kB Shmem: 0 kB Slab: 604344 kB SReclaimable: 48100 kB SUnreclaim: 556244 kB KernelStack: 1488 kB PageTables: 8504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2538824 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1200128 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= 71708 MiB End job on node127 at 2016-06-18 19:22:18