| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/ SyncCodes/d_n_k/normalized-8_6_25.opb |
| MD5SUM | b92551cd84e0703f1beccbbe36749b8d |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 4.26835 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1122 |
| Total number of constraints | 5318 |
| Number of constraints which are clauses | 5313 |
| Number of constraints which are cardinality constraints (but not clauses) | 5 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 33 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 58 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-17T00:56:15+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-4097464-1466117775.opb"] 0.00/0.01 c use --random-gen="279486299 932379002 2437633396 772616299 1552806654 1184830673 341847079 153584288 758341047 3412037222 1894100880 4054166481 1883469245 377254712 2079449129 2115822556 576277785 1181149179 1984286555 1462556483 17524917 2420626362 2556867454 193128659 3530109328 814233010 1733881475 230125475 3577530855 3006013592 293303477 4009580349 1602422683 298882806 1064255092 977548637 2298475234 272027768 4023680898 1622814053 960387202 3095450321 2043389602 2441978833 2850058769 1873062502 2257166660 4091448382 1101522483 493156700 1378837844 2912973063 2706254058 2858483611 848354978 3708329900 3028825884 2656479538 1477862323 1611514936 156606303 2822749690 3716063639 3743118359 3365133939 2683643276 4041244231 584323056 3069069871 2059859556 3149019129 3202234675 2256811460 188043059 3621056328 2191655370 1425989224 1731990284 3107845897 3596173058 3915055432 3373966253 2951550717 491417610 1790998216 2136034168 2983113135 289314417 705592538 704652995 4040301638 449734625 3999608952 1400614441 1846176497 1658474160 1497169860 1105479086 1781002327 1780702419 3787950650 3745028175 760189745 2159057787 1412087472 1989014216 2917659944 272461296 2729073960 812554483 3690081172 4268853534 2188984118 2308252135 2956297096 1494436355 1249960771 2773281584 2954100908 2859309722 1422126377 2336373928 504134414 691017931 675122184 3871264019 1252955371 3483011894 1065920444 4275234514 1226810499 3705511999 3365490524 4246558624 599544014 3349080421 4217919958 4121984873 1832142315 3236478438 1450168936 1445520025 3669607000 978732299 152107956 2358976669 4280465586 1655833299 1716745851 1546824324 11320899 3952630386 3886185722 1029576076 469171953 1987879246 112932626 1753471826 4281782686 3838765748 3675286363 460549233 849377436 3682971697 139641313 1171643085 1736230505 1528497105 467952965 2013771900 1134242040 2649560345 2780942314 4095123785 288122608 2973331688 1107177676 90658359 4279387144 470219391 268904212 3488130118 3237490762 3256571063 3084460191 2526106747 1794373075 2489234758 815704937 766808799 738498192 1949485437 3799597801 3359817306 1260419515 1132474549 2033752081 3600485309 766333710 1362129057 1529146782 2082477317 5214153 1872655459 373902957 3142452859 3633447376 4068346882 1015306147 1188015217 3198588144 673702991 3039166224 1313118813 3772617528 1340903996 66021844 78961010 1869960231 1442160499 456124071 4096499613 3452660342 3105452020 3769417787 3262356150 673789982 3240715766 739200593 3222288377 1187468907 1800448850 3602358222 959934118 1781795483 934322402 2678372259 2542165644 1008971072 958334668 3132609647 2258717164 2767890427 1464992392 2097648264 713661191 54464563 2017067924 2799165781 2051291153 3155933986 871654757 1349776009 2988839563 161728013 3095762167 255 362436" option to reproduce the execution 0.00/0.06 c #vars 1122 0.00/0.06 c #constraints 5318 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 2145 0 | 5 | 0 0.09/0.16 c 0.0s | 1 | 128 | 100 | 2145 0 | 5 | 262 0.19/0.22 c 0.1s | 2 | 311 | 250 | 2360 0 | 5 | 262 0.29/0.30 c 0.2s | 3 | 580 | 475 | 2596 0 | 5 | 262 0.39/0.45 c 0.3s | 4 | 966 | 813 | 2856 0 | 5 | 262 0.68/0.71 c 0.6s | 5 | 1570 | 1320 | 3142 0 | 5 | 262 1.10/1.13 c 1.0s | 6 | 2428 | 2081 | 3803 0 | 5 | 262 1.58/1.60 c 1.5s | 7 | 3781 | 3223 | 4184 0 | 5 | 262 2.30/2.32 c 2.2s | 8 | 5788 | 4936 | 4603 1 | 5 | 262 3.30/3.31 c 3.2s | 9 | 8893 | 7506 | 5064 2 | 5 | 262 4.79/4.86 c 4.7s | 10 | 13567 | 11361 | 5571 3 | 5 | 262 6.89/6.91 c 6.8s | 10 | 18862 | 15761 | 5571 5 | 5 | 262 7.39/7.49 c 7.4s | 11 | 20469 | 17144 | 6129 5 | 5 | 262 9.39/9.49 c 9.4s | 11 | 25818 | 21644 | 6129 6 | 5 | 262 11.39/11.44 c 11.3s | 12 | 30675 | 25819 | 6742 8 | 5 | 262 13.39/13.47 c 13.4s | 12 | 36954 | 30819 | 6742 9 | 5 | 262 15.49/15.51 c 15.4s | 12 | 42767 | 35819 | 6742 10 | 5 | 262 16.88/16.94 c 16.8s | 13 | 46383 | 38832 | 7417 11 | 5 | 262 18.89/18.96 c 18.8s | 13 | 51635 | 43132 | 7417 12 | 5 | 262 20.90/20.97 c 20.9s | 13 | 57088 | 47632 | 7417 13 | 5 | 262 23.10/23.13 c 23.0s | 13 | 62142 | 52032 | 7417 15 | 5 | 262 25.09/25.17 c 25.1s | 13 | 68610 | 57332 | 7417 16 | 5 | 262 25.49/25.57 c 25.5s | 14 | 69812 | 58352 | 8159 16 | 5 | 262 27.59/27.61 c 27.5s | 14 | 75038 | 62752 | 8159 17 | 5 | 262 29.59/29.63 c 29.5s | 14 | 80042 | 66952 | 8159 18 | 5 | 262 31.59/31.65 c 31.5s | 14 | 85137 | 71252 | 8159 19 | 5 | 262 33.59/33.67 c 33.6s | 14 | 90517 | 75852 | 8159 20 | 5 | 262 35.59/35.67 c 35.6s | 14 | 95575 | 80152 | 8159 21 | 5 | 262 37.68/37.71 c 37.6s | 14 | 100924 | 84852 | 8159 23 | 5 | 262 39.38/39.42 c 39.3s | 15 | 104236 | 87632 | 8975 23 | 5 | 262 41.38/41.43 c 41.3s | 15 | 109359 | 91932 | 8975 24 | 5 | 262 43.38/43.46 c 43.3s | 15 | 114481 | 96232 | 8975 25 | 5 | 262 45.38/45.47 c 45.4s | 15 | 118836 | 99932 | 8975 26 | 5 | 262 47.39/47.48 c 47.4s | 15 | 123966 | 104232 | 8975 27 | 5 | 262 49.49/49.51 c 49.4s | 15 | 128561 | 108232 | 8975 28 | 5 | 262 51.48/51.56 c 51.4s | 15 | 133748 | 112732 | 8975 29 | 5 | 262 53.48/53.59 c 53.5s | 15 | 138611 | 117032 | 8975 29 | 5 | 262 55.58/55.61 c 55.5s | 15 | 142911 | 120832 | 8975 30 | 5 | 262 57.58/57.63 c 57.5s | 15 | 146788 | 124132 | 8975 31 | 5 | 262 59.58/59.67 c 59.6s | 15 | 152021 | 128432 | 8975 32 | 5 | 262 61.08/61.19 c 61.1s | 16 | 155676 | 131552 | 9873 32 | 5 | 262 63.18/63.22 c 63.1s | 16 | 160301 | 135352 | 9873 33 | 5 | 262 65.18/65.23 c 65.1s | 16 | 164816 | 139252 | 9873 34 | 5 | 262 67.18/67.26 c 67.1s | 16 | 169284 | 143152 | 9873 35 | 5 | 262 69.17/69.30 c 69.2s | 16 | 173624 | 146952 | 9873 36 | 5 | 262 71.27/71.34 c 71.2s | 16 | 178052 | 150952 | 9873 36 | 5 | 262 73.27/73.38 c 73.3s | 16 | 180778 | 153352 | 9873 37 | 5 | 262 75.37/75.42 c 75.3s | 16 | 185631 | 157552 | 9873 38 | 5 | 262 77.37/77.43 c 77.3s | 16 | 190082 | 161452 | 9873 38 | 5 | 262 79.38/79.47 c 79.4s | 16 | 194869 | 165452 | 9873 39 | 5 | 262 81.39/81.50 c 81.4s | 16 | 199584 | 169552 | 9873 40 | 5 | 262 83.48/83.51 c 83.4s | 16 | 204028 | 173452 | 9873 41 | 5 | 262 85.48/85.54 c 85.4s | 16 | 207510 | 176552 | 9873 41 | 5 | 262 87.47/87.58 c 87.5s | 16 | 211908 | 180352 | 9873 42 | 5 | 262 89.57/89.60 c 89.5s | 16 | 215859 | 183852 | 9873 43 | 5 | 262 91.57/91.61 c 91.5s | 16 | 219679 | 187252 | 9873 44 | 5 | 262 93.58/93.63 c 93.5s | 16 | 223531 | 190652 | 9873 44 | 5 | 262 95.68/95.71 c 95.6s | 16 | 228016 | 194552 | 9873 45 | 5 | 262 97.17/97.27 c 97.2s | 17 | 231452 | 197432 | 10861 45 | 5 | 262 99.17/99.28 c 99.2s | 17 | 235674 | 201132 | 10861 46 | 5 | 262 101.27/101.32 c 101s | 17 | 239054 | 203932 | 10861 47 | 5 | 262 103.27/103.33 c 103s | 17 | 243940 | 208032 | 10861 47 | 5 | 262 105.27/105.34 c 105s | 17 | 248742 | 212132 | 10861 48 | 5 | 262 107.26/107.38 c 107s | 17 | 252732 | 215632 | 10861 49 | 5 | 262 109.26/109.39 c 109s | 17 | 257203 | 219532 | 10861 49 | 5 | 262 111.36/111.45 c 111s | 17 | 261860 | 223632 | 10861 50 | 5 | 262 113.36/113.49 c 113s | 17 | 265938 | 227132 | 10861 51 | 5 | 262 115.66/115.71 c 115s | 17 | 270172 | 230832 | 10861 51 | 5 | 262 117.66/117.72 c 117s | 17 | 274834 | 234832 | 10861 52 | 5 | 262 119.65/119.73 c 119s | 17 | 279055 | 238532 | 10861 53 | 5 | 262 121.65/121.77 c 121s | 17 | 283186 | 242232 | 10861 54 | 5 | 262 123.65/123.79 c 123s | 17 | 286831 | 245532 | 10861 54 | 5 | 262 125.75/125.84 c 125s | 17 | 291214 | 249432 | 10861 55 | 5 | 262 127.85/127.93 c 127s | 17 | 295413 | 253132 | 10861 56 | 5 | 262 129.85/129.96 c 129s | 17 | 300001 | 257132 | 10861 56 | 5 | 262 131.84/131.98 c 131s | 17 | 303927 | 260732 | 10861 57 | 5 | 262 133.94/134.01 c 133s | 17 | 307929 | 264332 | 10861 58 | 5 | 262 135.94/136.03 c 135s | 17 | 311862 | 267832 | 10861 58 | 5 | 262 137.95/138.04 c 137s | 17 | 313541 | 269332 | 10861 58 | 5 | 262 139.95/140.07 c 139s | 17 | 317800 | 273032 | 10861 59 | 5 | 262 141.95/142.09 c 141s | 17 | 322012 | 276632 | 10861 60 | 5 | 262 144.05/144.14 c 144s | 17 | 326435 | 280532 | 10861 60 | 5 | 262 146.04/146.16 c 146s | 17 | 331411 | 284932 | 10861 61 | 5 | 262 148.14/148.21 c 148s | 17 | 335237 | 288332 | 10861 62 | 5 | 262 150.14/150.21 c 150s | 17 | 339779 | 292232 | 10861 63 | 5 | 262 152.04/152.10 c 151s | 18 | 344263 | 296252 | 11948 63 | 5 | 262 154.04/154.13 c 154s | 18 | 348149 | 299652 | 11948 64 | 5 | 262 156.03/156.13 c 156s | 18 | 351300 | 302452 | 11948 64 | 5 | 262 158.03/158.15 c 158s | 18 | 355142 | 305852 | 11948 65 | 5 | 262 160.13/160.20 c 160s | 18 | 358963 | 309352 | 11948 65 | 5 | 262 162.13/162.24 c 162s | 18 | 362807 | 312852 | 11948 66 | 5 | 262 164.23/164.30 c 164s | 18 | 366326 | 315852 | 11948 66 | 5 | 262 166.23/166.35 c 166s | 18 | 369960 | 319052 | 11948 67 | 5 | 262 168.23/168.37 c 168s | 18 | 373388 | 322052 | 11948 67 | 5 | 262 170.32/170.41 c 170s | 18 | 377379 | 325652 | 11948 68 | 5 | 262 172.32/172.42 c 172s | 18 | 380111 | 327952 | 11948 68 | 5 | 262 174.32/174.43 c 174s | 18 | 384578 | 331752 | 11948 69 | 5 | 262 176.33/176.47 c 176s | 18 | 388633 | 335252 | 11948 70 | 5 | 262 178.43/178.52 c 178s | 18 | 392740 | 338852 | 11948 70 | 5 | 262 180.43/180.54 c 180s | 18 | 396385 | 342152 | 11948 71 | 5 | 262 182.43/182.59 c 182s | 18 | 399928 | 345252 | 11948 71 | 5 | 262 184.53/184.60 c 184s | 18 | 404162 | 348852 | 11948 72 | 5 | 262 186.52/186.64 c 186s | 18 | 408012 | 352252 | 11948 72 | 5 | 262 188.52/188.69 c 188s | 18 | 411896 | 355752 | 11948 73 | 5 | 262 190.62/190.73 c 190s | 18 | 415654 | 359052 | 11948 74 | 5 | 262 192.62/192.79 c 192s | 18 | 419628 | 362652 | 11948 74 | 5 | 262 194.72/194.86 c 194s | 18 | 422899 | 365652 | 11948 75 | 5 | 262 196.82/197.00 c 196s | 18 | 426552 | 368952 | 11948 75 | 5 | 262 198.91/199.02 c 198s | 18 | 430504 | 372352 | 11948 76 | 5 | 262 200.91/201.03 c 200s | 18 | 434400 | 375852 | 11948 76 | 5 | 262 202.91/203.06 c 202s | 18 | 438224 | 379252 | 11948 77 | 5 | 262 205.01/205.10 c 204s | 18 | 441963 | 382552 | 11948 77 | 5 | 262 207.01/207.15 c 207s | 18 | 445829 | 385952 | 11948 78 | 5 | 262 209.01/209.19 c 209s | 18 | 449493 | 389252 | 11948 79 | 5 | 262 211.00/211.19 c 211s | 18 | 453641 | 392952 | 11948 79 | 5 | 262 213.10/213.22 c 213s | 18 | 456837 | 395852 | 11948 80 | 5 | 262 215.10/215.27 c 215s | 18 | 460455 | 399152 | 11948 80 | 5 | 262 217.10/217.27 c 217s | 18 | 463855 | 402152 | 11948 81 | 5 | 262 219.20/219.32 c 219s | 18 | 467503 | 405452 | 11948 81 | 5 | 262 221.20/221.33 c 221s | 18 | 471132 | 408652 | 11948 82 | 5 | 262 223.20/223.36 c 223s | 18 | 474412 | 411652 | 11948 82 | 5 | 262 225.30/225.40 c 225s | 18 | 477924 | 414752 | 11948 83 | 5 | 262 227.29/227.43 c 227s | 18 | 481718 | 418052 | 11948 83 | 5 | 262 229.29/229.45 c 229s | 18 | 484869 | 420752 | 11948 84 | 5 | 262 231.39/231.52 c 231s | 18 | 488049 | 423552 | 11948 84 | 5 | 262 233.39/233.52 c 233s | 18 | 490879 | 425952 | 11948 85 | 5 | 262 235.40/235.58 c 235s | 18 | 494733 | 429252 | 11948 85 | 5 | 262 237.38/237.60 c 237s | 18 | 497726 | 431752 | 11948 86 | 5 | 262 239.48/239.64 c 239s | 18 | 501123 | 434752 | 11948 86 | 5 | 262 241.58/241.71 c 241s | 18 | 504343 | 437452 | 11948 86 | 5 | 262 243.58/243.74 c 243s | 18 | 507786 | 440252 | 11948 87 | 5 | 262 245.58/245.78 c 245s | 18 | 511284 | 443252 | 13143 87 | 5 | 262 246.58/246.77 c 246s | 19 | 512744 | 444482 | 13143 87 | 5 | 262 248.68/248.82 c 248s | 19 | 515805 | 446982 | 13143 88 | 5 | 262 250.68/250.87 c 250s | 19 | 519676 | 450182 | 13143 88 | 5 | 262 252.68/252.89 c 252s | 19 | 523261 | 453082 | 13143 89 | 5 | 262 254.78/254.93 c 254s | 19 | 526364 | 455682 | 13143 89 | 5 | 262 257.08/257.20 c 257s | 19 | 529442 | 458282 | 13143 90 | 5 | 262 259.08/259.27 c 259s | 19 | 533082 | 461182 | 13143 90 | 5 | 262 261.18/261.32 c 261s | 19 | 536158 | 463682 | 13143 90 | 5 | 262 263.18/263.36 c 263s | 19 | 539367 | 466282 | 13143 91 | 5 | 262 265.27/265.41 c 265s | 19 | 542567 | 468882 | 13143 91 | 5 | 262 267.28/267.47 c 267s | 19 | 545465 | 471282 | 13143 91 | 5 | 262 269.38/269.52 c 269s | 19 | 548841 | 474082 | 13143 92 | 5 | 262 271.37/271.54 c 271s | 19 | 551803 | 476582 | 13143 92 | 5 | 262 273.47/273.61 c 273s | 19 | 554764 | 478782 | 13143 93 | 5 | 262 275.47/275.68 c 275s | 19 | 557715 | 481282 | 13143 93 | 5 | 262 277.56/277.73 c 277s | 19 | 559790 | 482982 | 13143 93 | 5 | 262 279.56/279.78 c 279s | 19 | 562878 | 485582 | 13143 94 | 5 | 262 281.66/281.84 c 281s | 19 | 566256 | 488582 | 13143 94 | 5 | 262 283.67/283.85 c 283s | 19 | 569403 | 491282 | 13143 94 | 5 | 262 285.66/285.87 c 285s | 19 | 572338 | 493882 | 13143 95 | 5 | 262 287.76/287.92 c 287s | 19 | 575592 | 496582 | 13143 95 | 5 | 262 289.76/289.93 c 289s | 19 | 578714 | 499282 | 13143 96 | 5 | 262 291.75/291.95 c 291s | 19 | 581905 | 501982 | 13143 96 | 5 | 262 293.75/293.99 c 293s | 19 | 585007 | 504582 | 13143 96 | 5 | 262 295.86/296.05 c 295s | 19 | 588610 | 507682 | 13143 97 | 5 | 262 297.85/298.06 c 297s | 19 | 591396 | 510082 | 13143 97 | 5 | 262 299.85/300.08 c 299s | 19 | 594636 | 512782 | 13143 98 | 5 | 262 301.85/302.09 c 301s | 19 | 597729 | 515482 | 13143 98 | 5 | 262 303.85/304.09 c 303s | 19 | 600626 | 517982 | 13143 98 | 5 | 262 305.95/306.10 c 305s | 19 | 603889 | 520682 | 13143 99 | 5 | 262 307.95/308.13 c 308s | 19 | 606930 | 523282 | 13143 99 | 5 | 262 309.95/310.15 c 310s | 19 | 609580 | 525582 | 13143 100 | 5 | 262 311.95/312.19 c 312s | 19 | 612516 | 528182 | 13143 100 | 5 | 262 314.05/314.24 c 314s | 19 | 615738 | 530982 | 13143 100 | 5 | 262 316.05/316.26 c 316s | 19 | 618968 | 533682 | 13143 101 | 5 | 262 318.14/318.30 c 318s | 19 | 621988 | 536382 | 13143 101 | 5 | 262 320.14/320.33 c 320s | 19 | 625150 | 539082 | 13143 102 | 5 | 262 322.15/322.34 c 322s | 19 | 628834 | 542182 | 13143 102 | 5 | 262 324.14/324.38 c 324s | 19 | 631715 | 544682 | 13143 102 | 5 | 262 326.25/326.41 c 326s | 19 | 635339 | 547582 | 13143 103 | 5 | 262 328.25/328.45 c 328s | 19 | 638724 | 550382 | 13143 103 | 5 | 262 330.25/330.46 c 330s | 19 | 641761 | 553082 | 13143 104 | 5 | 262 332.35/332.50 c 332s | 19 | 645093 | 555982 | 13143 104 | 5 | 262 334.45/334.61 c 334s | 19 | 647523 | 558182 | 13143 105 | 5 | 262 336.46/336.66 c 336s | 19 | 651261 | 561282 | 13143 105 | 5 | 262 338.45/338.66 c 338s | 19 | 654212 | 563882 | 13143 105 | 5 | 262 340.55/340.72 c 340s | 19 | 657363 | 566682 | 13143 106 | 5 | 262 342.55/342.75 c 342s | 19 | 660717 | 569582 | 13143 106 | 5 | 262 344.55/344.77 c 344s | 19 | 663858 | 572182 | 13143 107 | 5 | 262 346.55/346.78 c 346s | 19 | 667343 | 575182 | 13143 107 | 5 | 262 348.65/348.80 c 348s | 19 | 670602 | 577882 | 13143 107 | 5 | 262 350.64/350.85 c 350s | 19 | 674183 | 580982 | 13143 108 | 5 | 262 352.64/352.87 c 352s | 19 | 677500 | 583682 | 13143 108 | 5 | 262 354.74/354.93 c 354s | 19 | 680672 | 586382 | 13143 109 | 5 | 262 356.74/356.98 c 356s | 19 | 684350 | 589482 | 13143 109 | 5 | 262 358.83/359.03 c 358s | 19 | 687393 | 592082 | 13143 110 | 5 | 262 360.83/361.03 c 360s | 19 | 690979 | 595182 | 13143 110 | 5 | 262 362.84/363.06 c 362s | 19 | 694131 | 597782 | 13143 110 | 5 | 262 364.83/365.07 c 364s | 19 | 697039 | 600282 | 13143 111 | 5 | 262 366.93/367.15 c 367s | 19 | 700682 | 603182 | 13143 111 | 5 | 262 368.93/369.15 c 369s | 19 | 703513 | 605482 | 13143 112 | 5 | 262 370.93/371.18 c 371s | 19 | 706118 | 607682 | 13143 112 | 5 | 262 372.93/373.18 c 373s | 19 | 709577 | 610482 | 13143 112 | 5 | 262 375.04/375.21 c 375s | 19 | 712667 | 613182 | 13143 113 | 5 | 262 377.03/377.28 c 377s | 19 | 716110 | 616082 | 13143 113 | 5 | 262 379.13/379.36 c 379s | 19 | 718813 | 618282 | 13143 114 | 5 | 262 381.23/381.43 c 381s | 19 | 722628 | 621482 | 13143 114 | 5 | 262 383.23/383.49 c 383s | 19 | 725589 | 624082 | 13143 114 | 5 | 262 385.33/385.50 c 385s | 19 | 728555 | 626482 | 13143 115 | 5 | 262 387.32/387.58 c 387s | 19 | 731997 | 629282 | 13143 115 | 5 | 262 389.42/389.61 c 389s | 19 | 734836 | 631782 | 13143 116 | 5 | 262 391.43/391.66 c 391s | 19 | 738599 | 634982 | 13143 116 | 5 | 262 393.52/393.71 c 393s | 19 | 741674 | 637482 | 13143 116 | 5 | 262 395.52/395.73 c 395s | 19 | 744606 | 639882 | 13143 117 | 5 | 262 397.52/397.75 c 397s | 19 | 747969 | 642782 | 13143 117 | 5 | 262 399.52/399.77 c 399s | 19 | 750646 | 645082 | 13143 118 | 5 | 262 401.52/401.77 c 401s | 19 | 754803 | 648682 | 13143 118 | 5 | 262 403.52/403.80 c 403s | 19 | 758028 | 651382 | 13143 118 | 5 | 262 405.62/405.83 c 405s | 19 | 761602 | 654282 | 13143 119 | 5 | 262 407.71/407.91 c 407s | 19 | 765082 | 657082 | 13143 119 | 5 | 262 409.71/409.96 c 409s | 19 | 768337 | 659882 | 13143 120 | 5 | 262 411.81/412.00 c 411s | 19 | 771694 | 662482 | 14458 120 | 5 | 262 413.81/414.05 c 413s | 19 | 774721 | 664882 | 14458 120 | 5 | 262 415.81/416.08 c 415s | 20 | 777125 | 666827 | 14458 121 | 5 | 262 417.91/418.13 c 418s | 20 | 781226 | 670227 | 14458 121 | 5 | 262 419.91/420.20 c 420s | 20 | 784905 | 673127 | 14458 121 | 5 | 262 422.00/422.27 c 422s | 20 | 788218 | 675827 | 14458 122 | 5 | 262 424.10/424.31 c 424s | 20 | 791146 | 678327 | 14458 122 | 5 | 262 426.10/426.37 c 426s | 20 | 793705 | 680527 | 14458 122 | 5 | 262 428.10/428.38 c 428s | 20 | 796949 | 683127 | 14458 123 | 5 | 262 430.20/430.41 c 430s | 20 | 799950 | 685727 | 14458 123 | 5 | 262 432.21/432.46 c 432s | 20 | 802866 | 688227 | 14458 123 | 5 | 262 434.20/434.50 c 434s | 20 | 805886 | 690927 | 14458 124 | 5 | 262 436.30/436.52 c 436s | 20 | 808934 | 693727 | 14458 124 | 5 | 262 438.30/438.57 c 438s | 20 | 811612 | 696127 | 14458 125 | 5 | 262 440.30/440.58 c 440s | 20 | 814779 | 699027 | 14458 125 | 5 | 262 442.40/442.63 c 442s | 20 | 817910 | 701727 | 14458 125 | 5 | 262 444.40/444.63 c 444s | 20 | 821506 | 704727 | 14458 126 | 5 | 262 446.40/446.63 c 446s | 20 | 825240 | 708027 | 14458 126 | 5 | 262 448.39/448.64 c 448s | 20 | 828418 | 710927 | 14458 127 | 5 | 262 450.39/450.64 c 450s | 20 | 831913 | 714027 | 14458 127 | 5 | 262 452.39/452.68 c 452s | 20 | 835216 | 716927 | 14458 127 | 5 | 262 454.39/454.69 c 454s | 20 | 838386 | 719627 | 14458 128 | 5 | 262 456.49/456.71 c 456s | 20 | 842011 | 722827 | 14458 128 | 5 | 262 458.49/458.78 c 458s | 20 | 845381 | 725827 | 14458 129 | 5 | 262 460.59/460.84 c 460s | 20 | 848905 | 729027 | 14458 129 | 5 | 262 462.58/462.88 c 462s | 20 | 852112 | 731927 | 14458 129 | 5 | 262 464.68/464.93 c 464s | 20 | 855509 | 735027 | 14458 130 | 5 | 262 466.68/466.95 c 466s | 20 | 858675 | 737927 | 14458 130 | 5 | 262 468.68/468.99 c 468s | 20 | 861719 | 740627 | 14458 131 | 5 | 262 470.78/471.01 c 470s | 20 | 865273 | 743727 | 14458 131 | 5 | 262 472.78/473.02 c 472s | 20 | 868200 | 746327 | 14458 131 | 5 | 262 474.87/475.16 c 475s | 20 | 870678 | 748427 | 14458 132 | 5 | 262 476.97/477.20 c 477s | 20 | 874218 | 751627 | 14458 132 | 5 | 262 478.97/479.29 c 479s | 20 | 877154 | 754327 | 14458 133 | 5 | 262 481.07/481.34 c 481s | 20 | 880655 | 757527 | 14458 133 | 5 | 262 483.07/483.36 c 483s | 20 | 883709 | 760227 | 14458 133 | 5 | 262 485.18/485.40 c 485s | 20 | 886753 | 762827 | 14458 134 | 5 | 262 487.19/487.42 c 487s | 20 | 890307 | 766027 | 14458 134 | 5 | 262 489.18/489.43 c 489s | 20 | 893195 | 768627 | 14458 134 | 5 | 262 491.18/491.44 c 491s | 20 | 896501 | 771627 | 14458 135 | 5 | 262 493.28/493.54 c 493s | 20 | 899684 | 774527 | 14458 135 | 5 | 262 495.28/495.57 c 495s | 20 | 902556 | 777027 | 14458 136 | 5 | 262 497.37/497.60 c 497s | 20 | 906040 | 780127 | 14458 136 | 5 | 262 499.37/499.66 c 499s | 20 | 909300 | 783027 | 14458 136 | 5 | 262 501.38/501.68 c 501s | 20 | 912176 | 785627 | 14458 137 | 5 | 262 503.47/503.71 c 503s | 20 | 915501 | 788627 | 14458 137 | 5 | 262 505.47/505.76 c 505s | 20 | 918448 | 791327 | 14458 138 | 5 | 262 507.47/507.77 c 507s | 20 | 921773 | 794327 | 14458 138 | 5 | 262 509.47/509.77 c 509s | 20 | 924735 | 796927 | 14458 138 | 5 | 262 511.67/511.96 c 511s | 20 | 926861 | 798827 | 14458 139 | 5 | 262 513.67/513.98 c 513s | 20 | 930686 | 802127 | 14458 139 | 5 | 262 515.77/516.01 c 515s | 20 | 934044 | 805127 | 14458 139 | 5 | 262 517.76/518.06 c 517s | 20 | 937584 | 808227 | 14458 140 | 5 | 262 519.86/520.14 c 520s | 20 | 940926 | 811227 | 14458 140 | 5 | 262 521.86/522.18 c 522s | 20 | 944333 | 814227 | 14458 141 | 5 | 262 523.96/524.23 c 524s | 20 | 947863 | 817427 | 14458 141 | 5 | 262 525.96/526.24 c 526s | 20 | 950660 | 820027 | 14458 142 | 5 | 262 527.95/528.25 c 528s | 20 | 953682 | 822727 | 14458 142 | 5 | 262 529.96/530.25 c 530s | 20 | 957057 | 825827 | 14458 142 | 5 | 262 531.95/532.26 c 532s | 20 | 960141 | 828627 | 14458 143 | 5 | 262 533.95/534.28 c 534s | 20 | 963592 | 831827 | 14458 143 | 5 | 262 536.35/536.60 c 536s | 20 | 966676 | 834627 | 14458 144 | 5 | 262 538.35/538.66 c 538s | 20 | 970326 | 837927 | 14458 144 | 5 | 262 540.35/540.70 c 540s | 20 | 973192 | 840527 | 14458 144 | 5 | 262 542.45/542.76 c 542s | 20 | 976323 | 843427 | 14458 145 | 5 | 262 544.55/544.82 c 544s | 20 | 979459 | 846327 | 14458 145 | 5 | 262 546.56/546.85 c 546s | 20 | 982506 | 849127 | 14458 145 | 5 | 262 548.55/548.86 c 548s | 20 | 984748 | 850827 | 14458 146 | 5 | 262 550.55/550.87 c 550s | 20 | 988744 | 854127 | 14458 146 | 5 | 262 552.65/552.91 c 552s | 20 | 991607 | 856627 | 14458 147 | 5 | 262 554.65/554.96 c 554s | 20 | 994695 | 859327 | 14458 147 | 5 | 262 556.75/557.05 c 556s | 20 | 997654 | 861927 | 14458 147 | 5 | 262 559.14/559.45 c 559s | 20 | 999964 | 863927 | 14458 148 | 5 | 262 561.14/561.48 c 561s | 20 | 1003371 | 866927 | 14458 148 | 5 | 262 563.14/563.48 c 563s | 20 | 1005989 | 869327 | 14458 148 | 5 | 262 565.25/565.53 c 565s | 20 | 1008410 | 871527 | 14458 149 | 5 | 262 567.35/567.63 c 567s | 20 | 1011337 | 874127 | 14458 149 | 5 | 262 569.34/569.68 c 569s | 20 | 1013916 | 876327 | 14458 149 | 5 | 262 571.44/571.70 c 571s | 20 | 1016552 | 878727 | 14458 150 | 5 | 262 573.44/573.77 c 573s | 20 | 1019913 | 881827 | 14458 150 | 5 | 262 575.54/575.81 c 575s | 20 | 1022766 | 884327 | 14458 150 | 5 | 262 577.74/578.05 c 577s | 20 | 1025912 | 887127 | 14458 151 | 5 | 262 579.74/580.09 c 579s | 20 | 1028918 | 889727 | 14458 151 | 5 | 262 581.84/582.18 c 582s | 20 | 1031793 | 892127 | 14458 151 | 5 | 262 584.34/584.64 c 584s | 20 | 1034643 | 894627 | 14458 152 | 5 | 262 586.33/586.65 c 586s | 20 | 1038002 | 897527 | 14458 152 | 5 | 262 588.43/588.70 c 588s | 20 | 1040984 | 900027 | 14458 152 | 5 | 262 590.44/590.80 c 590s | 20 | 1043706 | 902227 | 14458 153 | 5 | 262 592.53/592.82 c 592s | 20 | 1047019 | 904927 | 14458 153 | 5 | 262 594.73/595.00 c 594s | 20 | 1049561 | 907227 | 14458 153 | 5 | 262 596.73/597.01 c 596s | 20 | 1052985 | 910327 | 14458 154 | 5 | 262 598.73/599.04 c 598s | 20 | 1056131 | 913227 | 14458 154 | 5 | 262 600.73/601.07 c 600s | 20 | 1059018 | 915827 | 14458 155 | 5 | 262 602.83/603.10 c 602s | 20 | 1062544 | 918927 | 14458 155 | 5 | 262 604.83/605.13 c 605s | 20 | 1065542 | 921527 | 14458 155 | 5 | 262 606.82/607.17 c 607s | 20 | 1068492 | 924127 | 14458 156 | 5 | 262 608.82/609.19 c 609s | 20 | 1071862 | 927127 | 14458 156 | 5 | 262 610.92/611.21 c 611s | 20 | 1074696 | 929727 | 14458 156 | 5 | 262 612.92/613.27 c 613s | 20 | 1078258 | 932927 | 14458 157 | 5 | 262 614.92/615.29 c 615s | 20 | 1081513 | 935927 | 14458 157 | 5 | 262 617.02/617.33 c 617s | 20 | 1083473 | 937727 | 14458 158 | 5 | 262 619.02/619.34 c 619s | 20 | 1087100 | 941027 | 14458 158 | 5 | 262 621.01/621.35 c 621s | 20 | 1090419 | 943827 | 14458 158 | 5 | 262 623.12/623.41 c 623s | 20 | 1093749 | 946627 | 14458 159 | 5 | 262 625.12/625.49 c 625s | 20 | 1096614 | 949027 | 14458 159 | 5 | 262 627.22/627.58 c 627s | 20 | 1099538 | 951527 | 14458 159 | 5 | 262 629.32/629.63 c 629s | 20 | 1102121 | 953727 | 14458 160 | 5 | 262 631.32/631.64 c 631s | 20 | 1105092 | 956327 | 14458 160 | 5 | 262 633.33/633.67 c 633s | 20 | 1107704 | 958727 | 14458 160 | 5 | 262 635.32/635.67 c 635s | 20 | 1110617 | 961427 | 14458 161 | 5 | 262 637.41/637.75 c 637s | 20 | 1113836 | 964127 | 14458 161 | 5 | 262 639.41/639.77 c 639s | 20 | 1116642 | 966527 | 14458 161 | 5 | 262 641.51/641.81 c 641s | 20 | 1120288 | 969627 | 14458 162 | 5 | 262 643.51/643.88 c 643s | 20 | 1123232 | 972327 | 14458 162 | 5 | 262 645.61/645.91 c 645s | 20 | 1125951 | 974727 | 14458 163 | 5 | 262 647.62/647.93 c 647s | 20 | 1129651 | 978027 | 14458 163 | 5 | 262 649.61/649.98 c 649s | 20 | 1132523 | 980527 | 14458 163 | 5 | 262 652.21/652.56 c 652s | 20 | 1134951 | 982627 | 14458 164 | 5 | 262 654.21/654.57 c 654s | 20 | 1138540 | 985727 | 14458 164 | 5 | 262 656.31/656.64 c 656s | 20 | 1141483 | 988327 | 14458 164 | 5 | 262 658.30/658.66 c 658s | 20 | 1144561 | 991127 | 14458 165 | 5 | 262 660.40/660.72 c 660s | 20 | 1147456 | 993727 | 15904 165 | 5 | 262 662.40/662.72 c 662s | 20 | 1150043 | 996027 | 15904 165 | 5 | 262 664.40/664.78 c 664s | 20 | 1152373 | 998127 | 15904 166 | 5 | 262 666.10/666.42 c 666s | 21 | 1154788 | 1000345 | 15904 166 | 5 | 262 668.10/668.42 c 668s | 21 | 1158325 | 1003245 | 15904 166 | 5 | 262 670.09/670.44 c 670s | 21 | 1162231 | 1006545 | 15904 167 | 5 | 262 672.09/672.48 c 672s | 21 | 1166506 | 1010045 | 15904 167 | 5 | 262 674.19/674.53 c 674s | 21 | 1170638 | 1013545 | 15904 168 | 5 | 262 676.20/676.55 c 676s | 21 | 1174760 | 1017045 | 15904 168 | 5 | 262 678.19/678.58 c 678s | 21 | 1178803 | 1020545 | 15904 168 | 5 | 262 680.29/680.66 c 680s | 21 | 1182667 | 1024045 | 15904 169 | 5 | 262 682.40/682.72 c 682s | 21 | 1186746 | 1027545 | 15904 169 | 5 | 262 684.40/684.78 c 684s | 21 | 1190811 | 1031045 | 15904 170 | 5 | 262 686.49/686.82 c 686s | 21 | 1191998 | 1032045 | 15904 170 | 5 | 262 688.49/688.85 c 688s | 21 | 1195152 | 1034745 | 15904 170 | 5 | 262 690.69/691.00 c 690s | 21 | 1198887 | 1038045 | 15904 171 | 5 | 262 692.70/693.07 c 692s | 21 | 1203336 | 1041745 | 15904 171 | 5 | 262 694.69/695.09 c 694s | 21 | 1206550 | 1044445 | 15904 171 | 5 | 262 696.79/697.10 c 696s | 21 | 1210057 | 1047545 | 15904 172 | 5 | 262 698.79/699.13 c 699s | 21 | 1213904 | 1050945 | 15904 172 | 5 | 262 700.79/701.17 c 701s | 21 | 1217635 | 1054245 | 15904 173 | 5 | 262 702.79/703.17 c 703s | 21 | 1221756 | 1057845 | 15904 173 | 5 | 262 704.89/705.22 c 705s | 21 | 1223765 | 1059645 | 15904 173 | 5 | 262 706.89/707.26 c 707s | 21 | 1227536 | 1063045 | 15904 174 | 5 | 262 708.89/709.27 c 709s | 21 | 1231371 | 1066445 | 15904 174 | 5 | 262 710.98/711.32 c 711s | 21 | 1234649 | 1069445 | 15904 174 | 5 | 262 712.98/713.39 c 713s | 21 | 1238355 | 1072745 | 15904 175 | 5 | 262 715.08/715.44 c 715s | 21 | 1241179 | 1075245 | 15904 175 | 5 | 262 717.28/717.68 c 717s | 21 | 1244104 | 1077845 | 15904 176 | 5 | 262 719.38/719.71 c 719s | 21 | 1248480 | 1081645 | 15904 176 | 5 | 262 721.39/721.74 c 721s | 21 | 1251758 | 1084645 | 15904 176 | 5 | 262 723.38/723.76 c 723s | 21 | 1253900 | 1086545 | 15904 177 | 5 | 262 725.49/725.82 c 725s | 21 | 1256860 | 1089145 | 15904 177 | 5 | 262 727.48/727.84 c 727s | 21 | 1260454 | 1092345 | 15904 177 | 5 | 262 729.48/729.86 c 729s | 21 | 1263803 | 1095245 | 15904 178 | 5 | 262 731.58/731.92 c 731s | 21 | 1267416 | 1098345 | 15904 178 | 5 | 262 733.58/733.95 c 733s | 21 | 1270672 | 1101145 | 15904 178 | 5 | 262 736.08/736.44 c 736s | 21 | 1273236 | 1103445 | 15904 179 | 5 | 262 738.08/738.47 c 738s | 21 | 1276955 | 1106745 | 15904 179 | 5 | 262 740.09/740.48 c 740s | 21 | 1280508 | 1109745 | 15904 179 | 5 | 262 742.19/742.52 c 742s | 21 | 1284591 | 1113245 | 15904 180 | 5 | 262 744.18/744.55 c 744s | 21 | 1288255 | 1116445 | 15904 180 | 5 | 262 746.18/746.59 c 746s | 21 | 1291946 | 1119745 | 15904 181 | 5 | 262 748.27/748.60 c 748s | 21 | 1295226 | 1122645 | 15904 181 | 5 | 262 750.27/750.64 c 750s | 21 | 1298896 | 1125845 | 15904 181 | 5 | 262 752.27/752.65 c 752s | 21 | 1302372 | 1129045 | 15904 182 | 5 | 262 754.28/754.66 c 754s | 21 | 1305796 | 1132045 | 15904 182 | 5 | 262 756.37/756.70 c 756s | 21 | 1309046 | 1134945 | 15904 183 | 5 | 262 758.37/758.72 c 758s | 21 | 1312727 | 1138345 | 15904 183 | 5 | 262 760.37/760.77 c 760s | 21 | 1316243 | 1141545 | 15904 183 | 5 | 262 762.37/762.78 c 762s | 21 | 1319807 | 1144745 | 15904 184 | 5 | 262 764.87/765.27 c 765s | 21 | 1323417 | 1148045 | 15904 184 | 5 | 262 766.98/767.31 c 767s | 21 | 1325934 | 1150145 | 15904 185 | 5 | 262 768.97/769.32 c 769s | 21 | 1330033 | 1153745 | 15904 185 | 5 | 262 770.97/771.34 c 771s | 21 | 1333655 | 1156845 | 15904 185 | 5 | 262 773.08/773.46 c 773s | 21 | 1337426 | 1160145 | 15904 186 | 5 | 262 775.18/775.51 c 775s | 21 | 1341199 | 1163445 | 15904 186 | 5 | 262 777.17/777.54 c 777s | 21 | 1344658 | 1166545 | 15904 187 | 5 | 262 779.17/779.55 c 779s | 21 | 1347035 | 1168645 | 15904 187 | 5 | 262 781.17/781.57 c 781s | 21 | 1351130 | 1172145 | 15904 187 | 5 | 262 783.26/783.61 c 783s | 21 | 1354889 | 1175445 | 15904 188 | 5 | 262 785.26/785.66 c 785s | 21 | 1358688 | 1178745 | 15904 188 | 5 | 262 787.27/787.67 c 787s | 21 | 1362102 | 1181745 | 15904 188 | 5 | 262 789.26/789.67 c 789s | 21 | 1365324 | 1184545 | 15904 189 | 5 | 262 791.26/791.68 c 791s | 21 | 1369281 | 1187845 | 15904 189 | 5 | 262 793.36/793.72 c 793s | 21 | 1372928 | 1190945 | 15904 190 | 5 | 262 795.36/795.72 c 795s | 21 | 1376842 | 1194245 | 15904 190 | 5 | 262 797.36/797.74 c 797s | 21 | 1380496 | 1197445 | 15904 190 | 5 | 262 799.37/799.80 c 799s | 21 | 1383427 | 1200045 | 15904 191 | 5 | 262 801.46/801.83 c 801s | 21 | 1386938 | 1203145 | 15904 191 | 5 | 262 803.46/803.89 c 803s | 21 | 1390440 | 1206245 | 15904 192 | 5 | 262 805.56/805.93 c 805s | 21 | 1394345 | 1209745 | 15904 192 | 5 | 262 807.56/807.96 c 807s | 21 | 1397503 | 1212645 | 15904 192 | 5 | 262 809.56/809.99 c 809s | 21 | 1400484 | 1215345 | 15904 193 | 5 | 262 811.66/812.00 c 811s | 21 | 1403827 | 1218345 | 15904 193 | 5 | 262 813.66/814.03 c 813s | 21 | 1406249 | 1220545 | 15904 193 | 5 | 262 815.66/816.05 c 815s | 21 | 1409695 | 1223545 | 15904 194 | 5 | 262 817.66/818.07 c 817s | 21 | 1412955 | 1226445 | 15904 194 | 5 | 262 819.76/820.11 c 819s | 21 | 1416629 | 1229645 | 15904 194 | 5 | 262 821.75/822.12 c 822s | 21 | 1420428 | 1232945 | 15904 195 | 5 | 262 823.75/824.13 c 824s | 21 | 1424430 | 1236445 | 15904 195 | 5 | 262 827.26/827.69 c 827s | 21 | 1427647 | 1239345 | 15904 196 | 5 | 262 829.36/829.73 c 829s | 21 | 1430952 | 1242045 | 15904 196 | 5 | 262 831.36/831.74 c 831s | 21 | 1435204 | 1245745 | 15904 196 | 5 | 262 833.46/833.88 c 833s | 21 | 1439192 | 1249245 | 15904 197 | 5 | 262 835.56/835.93 c 835s | 21 | 1443083 | 1252545 | 15904 197 | 5 | 262 837.56/837.95 c 837s | 21 | 1446556 | 1255545 | 15904 198 | 5 | 262 839.56/839.96 c 839s | 21 | 1450381 | 1258845 | 15904 198 | 5 | 262 841.66/842.02 c 841s | 21 | 1454054 | 1262045 | 15904 198 | 5 | 262 844.15/844.59 c 844s | 21 | 1457017 | 1264645 | 15904 199 | 5 | 262 846.25/846.62 c 846s | 21 | 1459843 | 1267045 | 15904 199 | 5 | 262 848.25/848.64 c 848s | 21 | 1463106 | 1269945 | 15904 199 | 5 | 262 850.25/850.69 c 850s | 21 | 1467072 | 1273345 | 15904 200 | 5 | 262 852.35/852.72 c 852s | 21 | 1470947 | 1276745 | 15904 200 | 5 | 262 854.85/855.26 c 855s | 21 | 1474234 | 1279745 | 15904 201 | 5 | 262 856.85/857.26 c 857s | 21 | 1478066 | 1283145 | 15904 201 | 5 | 262 858.86/859.29 c 859s | 21 | 1481412 | 1286045 | 15904 201 | 5 | 262 860.95/861.35 c 861s | 21 | 1484703 | 1289045 | 15904 202 | 5 | 262 862.95/863.39 c 863s | 21 | 1487935 | 1292045 | 15904 202 | 5 | 262 865.05/865.50 c 865s | 21 | 1490695 | 1294545 | 15904 203 | 5 | 262 867.15/867.52 c 867s | 21 | 1494701 | 1297945 | 15904 203 | 5 | 262 869.15/869.56 c 869s | 21 | 1498502 | 1301145 | 15904 203 | 5 | 262 871.35/871.75 c 871s | 21 | 1499993 | 1302445 | 15904 204 | 5 | 262 873.35/873.77 c 873s | 21 | 1501890 | 1304045 | 15904 204 | 5 | 262 875.36/875.79 c 875s | 21 | 1506058 | 1307745 | 15904 204 | 5 | 262 877.46/877.82 c 877s | 21 | 1509981 | 1311145 | 15904 205 | 5 | 262 879.45/879.88 c 879s | 21 | 1514535 | 1315245 | 15904 205 | 5 | 262 881.55/881.92 c 881s | 21 | 1518186 | 1318545 | 15904 206 | 5 | 262 883.55/883.96 c 883s | 21 | 1522426 | 1322245 | 15904 206 | 5 | 262 885.64/886.00 c 885s | 21 | 1524932 | 1324445 | 15904 206 | 5 | 262 887.64/888.01 c 887s | 21 | 1528528 | 1327645 | 15904 207 | 5 | 262 889.65/890.06 c 889s | 21 | 1532169 | 1330845 | 15904 207 | 5 | 262 891.76/892.13 c 892s | 21 | 1535633 | 1333845 | 15904 207 | 5 | 262 893.75/894.13 c 894s | 21 | 1539202 | 1337045 | 15904 208 | 5 | 262 895.75/896.17 c 896s | 21 | 1543039 | 1340545 | 15904 208 | 5 | 262 897.85/898.21 c 898s | 21 | 1546464 | 1343645 | 15904 209 | 5 | 262 899.85/900.26 c 900s | 21 | 1550453 | 1347245 | 15904 209 | 5 | 262 903.05/903.42 c 903s | 21 | 1553323 | 1349845 | 15904 209 | 5 | 262 905.06/905.45 c 905s | 21 | 1556276 | 1352545 | 15904 210 | 5 | 262 907.05/907.45 c 907s | 21 | 1559468 | 1355445 | 15904 210 | 5 | 262 909.15/909.52 c 909s | 21 | 1562409 | 1358145 | 15904 210 | 5 | 262 911.15/911.53 c 911s | 21 | 1565908 | 1361245 | 15904 211 | 5 | 262 913.15/913.59 c 913s | 21 | 1569423 | 1364445 | 15904 211 | 5 | 262 915.55/915.92 c 915s | 21 | 1572081 | 1366845 | 15904 212 | 5 | 262 917.55/917.95 c 917s | 21 | 1575355 | 1369845 | 15904 212 | 5 | 262 919.65/920.01 c 919s | 21 | 1578231 | 1372445 | 15904 212 | 5 | 262 921.64/922.05 c 921s | 21 | 1581021 | 1374945 | 15904 213 | 5 | 262 923.65/924.06 c 923s | 21 | 1584309 | 1377845 | 15904 213 | 5 | 262 925.64/926.07 c 925s | 21 | 1586935 | 1380245 | 15904 213 | 5 | 262 927.74/928.15 c 928s | 21 | 1589653 | 1382645 | 15904 213 | 5 | 262 929.84/930.20 c 930s | 21 | 1592633 | 1385345 | 15904 214 | 5 | 262 931.84/932.22 c 932s | 21 | 1596623 | 1388845 | 15904 214 | 5 | 262 933.84/934.25 c 934s | 21 | 1600040 | 1391945 | 15904 215 | 5 | 262 935.85/936.29 c 936s | 21 | 1603525 | 1395045 | 15904 215 | 5 | 262 937.95/938.36 c 938s | 21 | 1607017 | 1398045 | 15904 215 | 5 | 262 940.04/940.41 c 940s | 21 | 1609090 | 1399945 | 15904 216 | 5 | 262 942.04/942.43 c 942s | 21 | 1611817 | 1402245 | 15904 216 | 5 | 262 944.13/944.50 c 944s | 21 | 1615590 | 1405445 | 15904 216 | 5 | 262 946.13/946.52 c 946s | 21 | 1619412 | 1408745 | 15904 217 | 5 | 262 948.14/948.57 c 948s | 21 | 1623309 | 1412145 | 15904 217 | 5 | 262 950.15/950.60 c 950s | 21 | 1626888 | 1415345 | 15904 218 | 5 | 262 952.25/952.65 c 952s | 21 | 1629917 | 1418045 | 15904 218 | 5 | 262 954.24/954.69 c 954s | 21 | 1633114 | 1420945 | 15904 218 | 5 | 262 956.24/956.69 c 956s | 21 | 1635702 | 1423345 | 15904 219 | 5 | 262 958.34/958.72 c 958s | 21 | 1639114 | 1426445 | 15904 219 | 5 | 262 960.34/960.75 c 960s | 21 | 1642362 | 1429345 | 15904 219 | 5 | 262 962.44/962.80 c 962s | 21 | 1645094 | 1431745 | 15904 220 | 5 | 262 964.45/964.83 c 964s | 21 | 1649062 | 1435145 | 15904 220 | 5 | 262 966.44/966.88 c 966s | 21 | 1652612 | 1438245 | 15904 220 | 5 | 262 968.54/968.93 c 968s | 21 | 1654794 | 1440245 | 15904 221 | 5 | 262 970.54/970.98 c 970s | 21 | 1658026 | 1443145 | 15904 221 | 5 | 262 972.64/973.02 c 972s | 21 | 1661366 | 1446045 | 15904 221 | 5 | 262 974.74/975.18 c 975s | 21 | 1664535 | 1448945 | 15904 222 | 5 | 262 976.84/977.21 c 977s | 21 | 1668016 | 1452045 | 15904 222 | 5 | 262 978.84/979.23 c 979s | 21 | 1671223 | 1454845 | 15904 222 | 5 | 262 980.84/981.28 c 981s | 21 | 1674101 | 1457445 | 15904 223 | 5 | 262 982.94/983.31 c 983s | 21 | 1677491 | 1460545 | 15904 223 | 5 | 262 984.94/985.33 c 985s | 21 | 1680262 | 1463045 | 15904 223 | 5 | 262 986.94/987.34 c 987s | 21 | 1683153 | 1465645 | 15904 224 | 5 | 262 989.03/989.42 c 989s | 21 | 1686787 | 1468445 | 15904 224 | 5 | 262 991.13/991.50 c 991s | 21 | 1689131 | 1470645 | 15904 224 | 5 | 262 993.13/993.54 c 993s | 21 | 1690691 | 1472045 | 15904 225 | 5 | 262 995.14/995.58 c 995s | 21 | 1694802 | 1475745 | 15904 225 | 5 | 262 997.23/997.60 c 997s | 21 | 1698148 | 1478845 | 15904 225 | 5 | 262 999.23/999.63 c 999s | 21 | 1701213 | 1481545 | 15904 226 | 5 | 262 1001.33/1001.70 c 1001s | 21 | 1705069 | 1484945 | 15904 226 | 5 | 262 1003.43/1003.82 c 1003s | 21 | 1708091 | 1487545 | 15904 227 | 5 | 262 1005.43/1005.86 c 1005s | 21 | 1712157 | 1491145 | 17495 227 | 5 | 262 1007.53/1007.90 c 1007s | 21 | 1715801 | 1494445 | 17495 227 | 5 | 262 1009.54/1009.93 c 1009s | 21 | 1719022 | 1497245 | 17495 228 | 5 | 262 1011.53/1011.99 c 1011s | 21 | 1722604 | 1500445 | 17495 228 | 5 | 262 1011.74/1012.12 c 1012s | 22 | 1722800 | 1500622 | 17495 228 | 5 | 262 1013.72/1014.17 c 1014s | 22 | 1723471 | 1501222 | 17495 228 | 5 | 262 1015.82/1016.24 c 1016s | 22 | 1727021 | 1504322 | 17495 228 | 5 | 262 1017.82/1018.27 c 1018s | 22 | 1730734 | 1507622 | 17495 229 | 5 | 262 1019.92/1020.31 c 1020s | 22 | 1734160 | 1510722 | 17495 229 | 5 | 262 1021.92/1022.36 c 1022s | 22 | 1737213 | 1513522 | 17495 229 | 5 | 262 1023.92/1024.38 c 1024s | 22 | 1739446 | 1515522 | 17495 230 | 5 | 262 1025.93/1026.39 c 1026s | 22 | 1742963 | 1518722 | 17495 230 | 5 | 262 1028.03/1028.41 c 1028s | 22 | 1745856 | 1521322 | 17495 230 | 5 | 262 1030.03/1030.43 c 1030s | 22 | 1748622 | 1523722 | 17495 231 | 5 | 262 1032.13/1032.53 c 1032s | 22 | 1751081 | 1525822 | 17495 231 | 5 | 262 1034.13/1034.55 c 1034s | 22 | 1755151 | 1529322 | 17495 231 | 5 | 262 1036.23/1036.64 c 1036s | 22 | 1758407 | 1532022 | 17495 231 | 5 | 262 1038.23/1038.69 c 1038s | 22 | 1760939 | 1534222 | 17495 232 | 5 | 262 1040.33/1040.75 c 1040s | 22 | 1763996 | 1536922 | 17495 232 | 5 | 262 1042.33/1042.77 c 1042s | 22 | 1766722 | 1539222 | 17495 232 | 5 | 262 1044.33/1044.79 c 1044s | 22 | 1769381 | 1541522 | 17495 233 | 5 | 262 1046.42/1046.84 c 1046s | 22 | 1772663 | 1544522 | 17495 233 | 5 | 262 1048.52/1048.90 c 1048s | 22 | 1776043 | 1547622 | 17495 233 | 5 | 262 1050.62/1051.04 c 1050s | 22 | 1778871 | 1550222 | 17495 234 | 5 | 262 1052.62/1053.08 c 1052s | 22 | 1782189 | 1553222 | 17495 234 | 5 | 262 1054.72/1055.10 c 1054s | 22 | 1785635 | 1556322 | 17495 234 | 5 | 262 1056.73/1057.12 c 1057s | 22 | 1788862 | 1559222 | 17495 235 | 5 | 262 1058.72/1059.14 c 1059s | 22 | 1792140 | 1562222 | 17495 235 | 5 | 262 1060.72/1061.15 c 1061s | 22 | 1795390 | 1565222 | 17495 235 | 5 | 262 1062.72/1063.16 c 1063s | 22 | 1798207 | 1567622 | 17495 235 | 5 | 262 1064.82/1065.22 c 1065s | 22 | 1801474 | 1570522 | 17495 236 | 5 | 262 1066.82/1067.23 c 1067s | 22 | 1805034 | 1573622 | 17495 236 | 5 | 262 1068.83/1069.25 c 1069s | 22 | 1808256 | 1576422 | 17495 236 | 5 | 262 1070.82/1071.29 c 1071s | 22 | 1811425 | 1579222 | 17495 237 | 5 | 262 1072.92/1073.35 c 1073s | 22 | 1814900 | 1582322 | 17495 237 | 5 | 262 1074.92/1075.37 c 1075s | 22 | 1818065 | 1585222 | 17495 237 | 5 | 262 1077.02/1077.43 c 1077s | 22 | 1821554 | 1588422 | 17495 238 | 5 | 262 1079.02/1079.45 c 1079s | 22 | 1824547 | 1591122 | 17495 238 | 5 | 262 1081.12/1081.51 c 1081s | 22 | 1827996 | 1594122 | 17495 238 | 5 | 262 1083.12/1083.53 c 1083s | 22 | 1830811 | 1596722 | 17495 239 | 5 | 262 1085.22/1085.60 c 1085s | 22 | 1833925 | 1599622 | 17495 239 | 5 | 262 1087.21/1087.62 c 1087s | 22 | 1836884 | 1602222 | 17495 239 | 5 | 262 1090.21/1090.66 c 1090s | 22 | 1837885 | 1603122 | 17495 240 | 5 | 262 1092.21/1092.66 c 1092s | 22 | 1842027 | 1606922 | 17495 240 | 5 | 262 1094.32/1094.71 c 1094s | 22 | 1845151 | 1609822 | 17495 240 | 5 | 262 1096.33/1096.80 c 1096s | 22 | 1848049 | 1612422 | 17495 241 | 5 | 262 1098.42/1098.83 c 1098s | 22 | 1851607 | 1615722 | 17495 241 | 5 | 262 1100.42/1100.85 c 1100s | 22 | 1854629 | 1618522 | 17495 241 | 5 | 262 1102.52/1102.98 c 1102s | 22 | 1857365 | 1620922 | 17495 242 | 5 | 262 1104.52/1104.99 c 1104s | 22 | 1861168 | 1624322 | 17495 242 | 5 | 262 1106.62/1107.04 c 1106s | 22 | 1864247 | 1627122 | 17495 242 | 5 | 262 1108.62/1109.05 c 1108s | 22 | 1867032 | 1629622 | 17495 243 | 5 | 262 1110.72/1111.10 c 1110s | 22 | 1869627 | 1631922 | 17495 243 | 5 | 262 1112.92/1113.34 c 1113s | 22 | 1872923 | 1634922 | 17495 243 | 5 | 262 1114.92/1115.37 c 1115s | 22 | 1876187 | 1637922 | 17495 243 | 5 | 262 1117.02/1117.42 c 1117s | 22 | 1879180 | 1640722 | 17495 244 | 5 | 262 1119.01/1119.45 c 1119s | 22 | 1882054 | 1643422 | 17495 244 | 5 | 262 1121.11/1121.55 c 1121s | 22 | 1884814 | 1645822 | 17495 244 | 5 | 262 1123.11/1123.57 c 1123s | 22 | 1886856 | 1647722 | 17495 245 | 5 | 262 1125.21/1125.61 c 1125s | 22 | 1890201 | 1650822 | 17495 245 | 5 | 262 1127.41/1127.85 c 1127s | 22 | 1892566 | 1653022 | 17495 245 | 5 | 262 1129.42/1129.88 c 1129s | 22 | 1895076 | 1655322 | 17495 245 | 5 | 262 1131.52/1131.92 c 1131s | 22 | 1897735 | 1657822 | 17495 246 | 5 | 262 1133.51/1133.94 c 1133s | 22 | 1900623 | 1660522 | 17495 246 | 5 | 262 1135.61/1136.06 c 1135s | 22 | 1903058 | 1662822 | 17495 246 | 5 | 262 1137.61/1138.07 c 1137s | 22 | 1905689 | 1665222 | 17495 247 | 5 | 262 1139.71/1140.13 c 1140s | 22 | 1908685 | 1668022 | 17495 247 | 5 | 262 1141.81/1142.21 c 1142s | 22 | 1911871 | 1670722 | 17495 247 | 5 | 262 1143.81/1144.23 c 1144s | 22 | 1913143 | 1671822 | 17495 247 | 5 | 262 1145.91/1146.32 c 1146s | 22 | 1915599 | 1674022 | 17495 248 | 5 | 262 1147.91/1148.37 c 1148s | 22 | 1919244 | 1677322 | 17495 248 | 5 | 262 1150.01/1150.45 c 1150s | 22 | 1922621 | 1680322 | 17495 248 | 5 | 262 1152.00/1152.47 c 1152s | 22 | 1925512 | 1682922 | 17495 249 | 5 | 262 1154.10/1154.53 c 1154s | 22 | 1929527 | 1686522 | 17495 249 | 5 | 262 1156.10/1156.56 c 1156s | 22 | 1933072 | 1689722 | 17495 249 | 5 | 262 1158.20/1158.61 c 1158s | 22 | 1936456 | 1692822 | 17495 250 | 5 | 262 1160.21/1160.62 c 1160s | 22 | 1938126 | 1694322 | 17495 250 | 5 | 262 1162.20/1162.62 c 1162s | 22 | 1942102 | 1697822 | 17495 250 | 5 | 262 1164.30/1164.72 c 1164s | 22 | 1944979 | 1700422 | 17495 251 | 5 | 262 1166.30/1166.76 c 1166s | 22 | 1948337 | 1703422 | 17495 251 | 5 | 262 1168.30/1168.79 c 1168s | 22 | 1951541 | 1706322 | 17495 251 | 5 | 262 1170.40/1170.82 c 1170s | 22 | 1954204 | 1708822 | 17495 251 | 5 | 262 1172.40/1172.87 c 1172s | 22 | 1957565 | 1711822 | 17495 252 | 5 | 262 1174.51/1174.92 c 1174s | 22 | 1961068 | 1715022 | 17495 252 | 5 | 262 1176.50/1176.97 c 1176s | 22 | 1963895 | 1717522 | 17495 252 | 5 | 262 1178.60/1179.00 c 1178s | 22 | 1966580 | 1720022 | 17495 253 | 5 | 262 1180.60/1181.04 c 1180s | 22 | 1969720 | 1722922 | 17495 253 | 5 | 262 1182.60/1183.09 c 1182s | 22 | 1972573 | 1725522 | 17495 253 | 5 | 262 1185.41/1185.87 c 1185s | 22 | 1975256 | 1727922 | 17495 254 | 8 | 329 1187.51/1187.90 c 1187s | 22 | 1977594 | 1729922 | 17495 254 | 8 | 329 1189.51/1189.94 c 1189s | 22 | 1983263 | 1734722 | 17495 254 | 8 | 329 1191.50/1191.97 c 1191s | 22 | 1987844 | 1738722 | 17495 254 | 8 | 329 1193.60/1194.02 c 1193s | 22 | 1991008 | 1741522 | 17495 254 | 8 | 329 1195.60/1196.04 c 1195s | 22 | 1994167 | 1744422 | 17495 255 | 8 | 329 1197.61/1198.07 c 1197s | 22 | 1997806 | 1747622 | 17495 255 | 8 | 329 1199.71/1200.14 c 1200s | 22 | 2000970 | 1750422 | 17495 255 | 8 | 329 1201.70/1202.14 c 1202s | 22 | 2003962 | 1753022 | 17495 256 | 8 | 329 1203.70/1204.15 c 1204s | 22 | 2007985 | 1756422 | 17495 256 | 8 | 329 1205.70/1206.18 c 1206s | 22 | 2009746 | 1757922 | 17495 256 | 8 | 329 1207.80/1208.25 c 1208s | 22 | 2012825 | 1760622 | 17495 256 | 8 | 329 1209.80/1210.29 c 1210s | 22 | 2015878 | 1763222 | 17495 257 | 8 | 329 1211.91/1212.31 c 1212s | 22 | 2019250 | 1766222 | 17495 257 | 8 | 329 1213.90/1214.32 c 1214s | 22 | 2022696 | 1769222 | 17495 257 | 8 | 329 1215.90/1216.36 c 1216s | 22 | 2025259 | 1771522 | 17495 258 | 8 | 329 1218.00/1218.42 c 1218s | 22 | 2028920 | 1774722 | 17495 258 | 8 | 329 1220.00/1220.46 c 1220s | 22 | 2032180 | 1777622 | 17495 258 | 8 | 329 1222.10/1222.50 c 1222s | 22 | 2034847 | 1780022 | 17495 259 | 8 | 329 1224.10/1224.55 c 1224s | 22 | 2038462 | 1783222 | 17495 259 | 8 | 329 1226.10/1226.55 c 1226s | 22 | 2041478 | 1785922 | 17495 259 | 8 | 329 1228.30/1228.72 c 1228s | 22 | 2044136 | 1788322 | 17495 260 | 8 | 329 1230.30/1230.78 c 1230s | 22 | 2047793 | 1791622 | 17495 260 | 8 | 329 1232.29/1232.78 c 1232s | 22 | 2049921 | 1793522 | 17495 260 | 8 | 329 1234.39/1234.82 c 1234s | 22 | 2053425 | 1796622 | 17495 260 | 8 | 329 1236.39/1236.84 c 1236s | 22 | 2056836 | 1799622 | 17495 261 | 8 | 329 1238.49/1238.91 c 1238s | 22 | 2060516 | 1802922 | 17495 261 | 8 | 329 1240.50/1240.93 c 1240s | 22 | 2063532 | 1805522 | 17495 261 | 8 | 329 1242.49/1242.97 c 1242s | 22 | 2067150 | 1808722 | 17495 262 | 8 | 329 1244.69/1245.13 c 1245s | 22 | 2070717 | 1811922 | 17495 262 | 8 | 329 1246.69/1247.15 c 1247s | 22 | 2071927 | 1813022 | 17495 262 | 8 | 329 1248.69/1249.19 c 1249s | 22 | 2075317 | 1816022 | 17495 263 | 8 | 329 1250.69/1251.19 c 1251s | 22 | 2078988 | 1819322 | 17495 263 | 8 | 329 1252.79/1253.26 c 1253s | 22 | 2082352 | 1822322 | 17495 263 | 8 | 329 1254.79/1255.26 c 1255s | 22 | 2085496 | 1825222 | 17495 264 | 8 | 329 1256.79/1257.27 c 1257s | 22 | 2088599 | 1828022 | 17495 264 | 8 | 329 1258.89/1259.32 c 1259s | 22 | 2091922 | 1830922 | 17495 264 | 8 | 329 1260.90/1261.34 c 1261s | 22 | 2094580 | 1833322 | 17495 265 | 8 | 329 1262.90/1263.39 c 1263s | 22 | 2098157 | 1836522 | 17495 265 | 8 | 329 1264.99/1265.43 c 1265s | 22 | 2101371 | 1839322 | 17495 265 | 8 | 329 1266.99/1267.47 c 1267s | 22 | 2104694 | 1842222 | 17495 266 | 8 | 329 1269.00/1269.49 c 1269s | 22 | 2108400 | 1845522 | 17495 266 | 8 | 329 1270.99/1271.49 c 1271s | 22 | 2111481 | 1848322 | 17495 266 | 8 | 329 1273.09/1273.53 c 1273s | 22 | 2114856 | 1851222 | 17495 267 | 8 | 329 1275.09/1275.57 c 1275s | 22 | 2118285 | 1854222 | 17495 267 | 8 | 329 1277.09/1277.59 c 1277s | 22 | 2121030 | 1856622 | 17495 267 | 8 | 329 1279.19/1279.62 c 1279s | 22 | 2124101 | 1859322 | 17495 268 | 8 | 329 1281.19/1281.64 c 1281s | 22 | 2128246 | 1863022 | 17495 268 | 8 | 329 1283.19/1283.69 c 1283s | 22 | 2131645 | 1866122 | 17495 268 | 8 | 329 1285.28/1285.71 c 1285s | 22 | 2134825 | 1868922 | 17495 269 | 8 | 329 1287.28/1287.78 c 1287s | 22 | 2138412 | 1872222 | 17495 269 | 8 | 329 1289.38/1289.82 c 1289s | 22 | 2141536 | 1875022 | 17495 269 | 8 | 329 1291.48/1291.92 c 1291s | 22 | 2144142 | 1877422 | 17495 270 | 8 | 329 1293.48/1293.95 c 1293s | 22 | 2147632 | 1880622 | 17495 270 | 8 | 329 1295.49/1295.97 c 1295s | 22 | 2150582 | 1883322 | 17495 270 | 8 | 329 1297.48/1297.99 c 1297s | 22 | 2153111 | 1885722 | 17495 271 | 8 | 329 1299.58/1300.08 c 1299s | 22 | 2156225 | 1888622 | 17495 271 | 8 | 329 1301.58/1302.08 c 1301s | 22 | 2158921 | 1891122 | 17495 271 | 8 | 329 1304.09/1304.52 c 1304s | 22 | 2160309 | 1892422 | 17495 271 | 8 | 329 1306.09/1306.56 c 1306s | 22 | 2162737 | 1894622 | 17495 272 | 8 | 329 1308.09/1308.58 c 1308s | 22 | 2166281 | 1897822 | 17495 272 | 8 | 329 1310.19/1310.63 c 1310s | 22 | 2169466 | 1900722 | 17495 272 | 8 | 329 1312.19/1312.66 c 1312s | 22 | 2172417 | 1903422 | 17495 273 | 8 | 329 1314.19/1314.67 c 1314s | 22 | 2176557 | 1906622 | 17495 273 | 8 | 329 1316.18/1316.67 c 1316s | 22 | 2178584 | 1908422 | 17495 273 | 8 | 329 1318.28/1318.73 c 1318s | 22 | 2181826 | 1911222 | 17495 273 | 8 | 329 1320.28/1320.77 c 1320s | 22 | 2184887 | 1913922 | 17495 274 | 8 | 329 1322.38/1322.81 c 1322s | 22 | 2188509 | 1917122 | 17495 274 | 8 | 329 1324.38/1324.89 c 1324s | 22 | 2191583 | 1919922 | 17495 274 | 8 | 329 1326.68/1327.11 c 1326s | 22 | 2192857 | 1921022 | 17495 275 | 8 | 329 1328.68/1329.17 c 1329s | 22 | 2196377 | 1924022 | 17495 275 | 8 | 329 1330.69/1331.17 c 1331s | 22 | 2199291 | 1926522 | 17495 275 | 8 | 329 1332.79/1333.23 c 1333s | 22 | 2201975 | 1928822 | 17495 275 | 8 | 329 1334.78/1335.27 c 1335s | 22 | 2204682 | 1931222 | 17495 276 | 8 | 329 1336.78/1337.29 c 1337s | 22 | 2207523 | 1933622 | 17495 276 | 8 | 329 1338.88/1339.36 c 1339s | 22 | 2209745 | 1935522 | 17495 276 | 8 | 329 1340.98/1341.46 c 1341s | 22 | 2212018 | 1937422 | 17495 276 | 8 | 329 1343.08/1343.51 c 1343s | 22 | 2214218 | 1939222 | 17495 277 | 8 | 329 1345.08/1345.58 c 1345s | 22 | 2217323 | 1941722 | 17495 277 | 8 | 329 1347.19/1347.63 c 1347s | 22 | 2219747 | 1943622 | 17495 277 | 8 | 329 1349.18/1349.63 c 1349s | 22 | 2221970 | 1945422 | 17495 277 | 8 | 329 1351.18/1351.68 c 1351s | 22 | 2224255 | 1947522 | 17495 278 | 8 | 329 1353.28/1353.72 c 1353s | 22 | 2227305 | 1950422 | 17495 278 | 8 | 329 1355.28/1355.78 c 1355s | 22 | 2230479 | 1953122 | 17495 278 | 8 | 329 1357.28/1357.78 c 1357s | 22 | 2233137 | 1955522 | 17495 278 | 8 | 329 1359.38/1359.85 c 1359s | 22 | 2236059 | 1958122 | 17495 279 | 8 | 329 1361.38/1361.86 c 1361s | 22 | 2238913 | 1960722 | 17495 279 | 8 | 329 1363.38/1363.86 c 1363s | 22 | 2241724 | 1963222 | 17495 279 | 8 | 329 1365.38/1365.87 c 1365s | 22 | 2244517 | 1965722 | 17495 280 | 8 | 329 1367.48/1367.91 c 1367s | 22 | 2248107 | 1968822 | 17495 280 | 8 | 329 1369.47/1369.93 c 1369s | 22 | 2251002 | 1971322 | 17495 280 | 8 | 329 1371.47/1371.99 c 1371s | 22 | 2253643 | 1973622 | 17495 280 | 8 | 329 1373.58/1374.04 c 1373s | 22 | 2256443 | 1976122 | 17495 281 | 8 | 329 1375.57/1376.05 c 1375s | 22 | 2259231 | 1978622 | 17495 281 | 8 | 329 1377.67/1378.11 c 1377s | 22 | 2261856 | 1980922 | 17495 281 | 8 | 329 1379.67/1380.13 c 1380s | 22 | 2264685 | 1983422 | 17495 282 | 8 | 329 1381.77/1382.21 c 1382s | 22 | 2267516 | 1985922 | 17495 282 | 8 | 329 1383.77/1384.25 c 1384s | 22 | 2270389 | 1988522 | 17495 282 | 8 | 329 1385.87/1386.30 c 1386s | 22 | 2273087 | 1990922 | 17495 282 | 8 | 329 1387.88/1388.34 c 1388s | 22 | 2275927 | 1993522 | 17495 283 | 8 | 329 1389.87/1390.39 c 1390s | 22 | 2279817 | 1996822 | 17495 283 | 8 | 329 1391.97/1392.40 c 1392s | 22 | 2282584 | 1999222 | 17495 283 | 8 | 329 1393.97/1394.44 c 1394s | 22 | 2285700 | 2002022 | 17495 284 | 8 | 329 1395.97/1396.48 c 1396s | 22 | 2289077 | 2005022 | 17495 284 | 8 | 329 1398.07/1398.54 c 1398s | 22 | 2292248 | 2007822 | 17495 284 | 8 | 329 1400.07/1400.58 c 1400s | 22 | 2294669 | 2009822 | 17495 285 | 8 | 329 1402.18/1402.65 c 1402s | 22 | 2298190 | 2012722 | 17495 285 | 8 | 329 1404.17/1404.68 c 1404s | 22 | 2301081 | 2015222 | 17495 285 | 8 | 329 1406.27/1406.76 c 1406s | 22 | 2303635 | 2017522 | 17495 285 | 8 | 329 1408.37/1408.82 c 1408s | 22 | 2306156 | 2019722 | 17495 286 | 8 | 329 1410.37/1410.84 c 1410s | 22 | 2308965 | 2022222 | 17495 286 | 8 | 329 1412.47/1412.91 c 1412s | 22 | 2311565 | 2024522 | 17495 286 | 8 | 329 1414.47/1414.98 c 1414s | 22 | 2313946 | 2026622 | 17495 286 | 8 | 329 1416.57/1417.00 c 1416s | 22 | 2316885 | 2029322 | 17495 287 | 8 | 329 1418.67/1419.12 c 1419s | 22 | 2319014 | 2031222 | 17495 287 | 8 | 329 1420.67/1421.16 c 1421s | 22 | 2322525 | 2034122 | 17495 287 | 8 | 329 1422.77/1423.24 c 1423s | 22 | 2324887 | 2036222 | 17495 288 | 8 | 329 1424.77/1425.28 c 1425s | 22 | 2327684 | 2038622 | 17495 288 | 8 | 329 1426.87/1427.30 c 1427s | 22 | 2329881 | 2040622 | 17495 288 | 8 | 329 1428.86/1429.30 c 1429s | 22 | 2332428 | 2042922 | 17495 288 | 8 | 329 1430.86/1431.32 c 1431s | 22 | 2335670 | 2045822 | 17495 289 | 8 | 329 1432.87/1433.34 c 1433s | 22 | 2338923 | 2048822 | 17495 289 | 8 | 329 1434.86/1435.38 c 1435s | 22 | 2342082 | 2051622 | 17495 289 | 8 | 329 1436.96/1437.42 c 1437s | 22 | 2344788 | 2054122 | 17495 290 | 8 | 329 1438.96/1439.46 c 1439s | 22 | 2348013 | 2057122 | 17495 290 | 8 | 329 1440.96/1441.48 c 1441s | 22 | 2350770 | 2059622 | 17495 290 | 8 | 329 1443.06/1443.52 c 1443s | 22 | 2353600 | 2062122 | 17495 290 | 8 | 329 1445.07/1445.52 c 1445s | 22 | 2356439 | 2064622 | 17495 291 | 8 | 329 1447.06/1447.58 c 1447s | 22 | 2359842 | 2067722 | 17495 291 | 8 | 329 1449.16/1449.61 c 1449s | 22 | 2362445 | 2070122 | 17495 291 | 8 | 329 1451.16/1451.68 c 1451s | 22 | 2365630 | 2072722 | 17495 292 | 8 | 329 1453.26/1453.75 c 1453s | 22 | 2368803 | 2075522 | 17495 292 | 8 | 329 1455.36/1455.83 c 1455s | 22 | 2371580 | 2077922 | 17495 292 | 8 | 329 1457.46/1457.96 c 1457s | 22 | 2374005 | 2080122 | 17495 293 | 8 | 329 1459.46/1459.98 c 1459s | 22 | 2377358 | 2083022 | 17495 293 | 8 | 329 1461.46/1462.00 c 1461s | 22 | 2380119 | 2085422 | 17495 293 | 8 | 329 1463.56/1464.00 c 1463s | 22 | 2382597 | 2087622 | 17495 293 | 8 | 329 1465.56/1466.01 c 1465s | 22 | 2384938 | 2089722 | 17495 294 | 8 | 329 1467.56/1468.07 c 1467s | 22 | 2387878 | 2092322 | 17495 294 | 8 | 329 1469.66/1470.15 c 1470s | 22 | 2391003 | 2095022 | 17495 294 | 8 | 329 1471.66/1472.16 c 1472s | 22 | 2393682 | 2097322 | 17495 294 | 8 | 329 1473.66/1474.19 c 1474s | 22 | 2396933 | 2100122 | 17495 295 | 8 | 329 1475.76/1476.26 c 1476s | 22 | 2399933 | 2102822 | 17495 295 | 8 | 329 1477.85/1478.34 c 1478s | 22 | 2402574 | 2105222 | 17495 295 | 8 | 329 1479.85/1480.39 c 1480s | 22 | 2405026 | 2107422 | 17495 296 | 8 | 329 1481.95/1482.47 c 1482s | 22 | 2408240 | 2110122 | 17495 296 | 8 | 329 1484.05/1484.55 c 1484s | 22 | 2410970 | 2112522 | 17495 296 | 8 | 329 1486.05/1486.59 c 1486s | 22 | 2413317 | 2114722 | 17495 296 | 8 | 329 1488.16/1488.63 c 1488s | 22 | 2414309 | 2115622 | 17495 297 | 8 | 329 1490.36/1490.81 c 1490s | 22 | 2417620 | 2118622 | 17495 297 | 8 | 329 1492.37/1492.85 c 1492s | 22 | 2420573 | 2121122 | 17495 297 | 8 | 329 1494.47/1494.95 c 1494s | 22 | 2423291 | 2123422 | 17495 297 | 8 | 329 1496.46/1496.99 c 1496s | 22 | 2425816 | 2125622 | 17495 298 | 8 | 329 1498.56/1499.07 c 1498s | 22 | 2429029 | 2128322 | 17495 298 | 8 | 329 1500.66/1501.12 c 1501s | 22 | 2431988 | 2130822 | 17495 298 | 8 | 329 1502.66/1503.20 c 1503s | 22 | 2434660 | 2133122 | 17495 298 | 8 | 329 1504.76/1505.26 c 1505s | 22 | 2437680 | 2135722 | 17495 299 | 8 | 329 1506.86/1507.34 c 1507s | 22 | 2440701 | 2138322 | 17495 299 | 8 | 329 1508.86/1509.35 c 1509s | 22 | 2443616 | 2140822 | 17495 299 | 8 | 329 1510.85/1511.38 c 1511s | 22 | 2446102 | 2142922 | 17495 300 | 8 | 329 1512.95/1513.42 c 1513s | 22 | 2450348 | 2146422 | 17495 300 | 8 | 329 1514.95/1515.44 c 1515s | 22 | 2452944 | 2148722 | 17495 300 | 8 | 329 1516.95/1517.45 c 1517s | 22 | 2455265 | 2150822 | 17495 300 | 8 | 329 1519.05/1519.50 c 1519s | 22 | 2458176 | 2153422 | 17495 301 | 8 | 329 1521.15/1521.60 c 1521s | 22 | 2461038 | 2156022 | 17495 301 | 8 | 329 1523.16/1523.66 c 1523s | 22 | 2463532 | 2158322 | 17495 301 | 8 | 329 1525.15/1525.68 c 1525s | 22 | 2466507 | 2160922 | 17495 302 | 8 | 329 1527.15/1527.69 c 1527s | 22 | 2469356 | 2163422 | 17495 302 | 8 | 329 1529.25/1529.75 c 1529s | 22 | 2472359 | 2166122 | 17495 302 | 8 | 329 1531.25/1531.76 c 1531s | 22 | 2474965 | 2168422 | 17495 302 | 8 | 329 1533.25/1533.79 c 1533s | 22 | 2478456 | 2171422 | 17495 303 | 8 | 329 1535.35/1535.83 c 1535s | 22 | 2481818 | 2174322 | 17495 303 | 8 | 329 1537.35/1537.84 c 1537s | 22 | 2484438 | 2176522 | 17495 303 | 8 | 329 1540.44/1540.93 c 1540s | 22 | 2487293 | 2178922 | 17495 304 | 8 | 329 1542.44/1542.95 c 1542s | 22 | 2491037 | 2182022 | 17495 304 | 8 | 329 1544.44/1544.99 c 1544s | 22 | 2493973 | 2184422 | 17495 304 | 8 | 329 1546.54/1547.01 c 1546s | 22 | 2496792 | 2186722 | 17495 305 | 8 | 329 1548.54/1549.05 c 1548s | 22 | 2500106 | 2189522 | 17495 305 | 8 | 329 1550.55/1551.06 c 1550s | 22 | 2502652 | 2191722 | 17495 305 | 8 | 329 1552.64/1553.13 c 1553s | 22 | 2505350 | 2193822 | 17495 305 | 8 | 329 1554.74/1555.21 c 1555s | 22 | 2507909 | 2195822 | 17495 306 | 8 | 329 1556.74/1557.26 c 1557s | 22 | 2511158 | 2198322 | 17495 306 | 8 | 329 1558.74/1559.28 c 1559s | 22 | 2513893 | 2200422 | 17495 306 | 8 | 329 1560.84/1561.31 c 1561s | 22 | 2516400 | 2202422 | 17495 306 | 8 | 329 1562.84/1563.37 c 1563s | 22 | 2518647 | 2204322 | 17495 307 | 8 | 329 1564.95/1565.46 c 1565s | 22 | 2521876 | 2206922 | 17495 307 | 8 | 329 1566.94/1567.48 c 1567s | 22 | 2524864 | 2209222 | 17495 307 | 8 | 329 1569.04/1569.57 c 1569s | 22 | 2527745 | 2211622 | 17495 307 | 8 | 329 1571.14/1571.61 c 1571s | 22 | 2530165 | 2213522 | 17495 308 | 8 | 329 1573.14/1573.64 c 1573s | 22 | 2533364 | 2216122 | 17495 308 | 8 | 329 1575.14/1575.69 c 1575s | 22 | 2535529 | 2217822 | 17495 308 | 8 | 329 1577.24/1577.76 c 1577s | 22 | 2538766 | 2220622 | 17495 308 | 8 | 329 1579.25/1579.79 c 1579s | 22 | 2541875 | 2223422 | 17495 309 | 8 | 329 1581.34/1581.81 c 1581s | 22 | 2545414 | 2226422 | 17495 309 | 8 | 329 1583.34/1583.87 c 1583s | 22 | 2548768 | 2229222 | 17495 309 | 8 | 329 1585.34/1585.90 c 1585s | 22 | 2551488 | 2231522 | 17495 310 | 8 | 329 1587.44/1587.90 c 1587s | 22 | 2554640 | 2234322 | 17495 310 | 8 | 329 1589.45/1589.94 c 1589s | 22 | 2556747 | 2236122 | 19245 310 | 8 | 329 1591.45/1591.98 c 1591s | 22 | 2559613 | 2238522 | 19245 310 | 8 | 329 1593.55/1594.06 c 1593s | 22 | 2562276 | 2240722 | 19245 310 | 8 | 329 1595.65/1596.11 c 1595s | 22 | 2565275 | 2243122 | 19245 311 | 8 | 329 1597.64/1598.13 c 1598s | 22 | 2568260 | 2245622 | 19245 311 | 8 | 329 1599.64/1600.19 c 1600s | 22 | 2571094 | 2248022 | 19245 311 | 8 | 329 1601.74/1602.24 c 1602s | 22 | 2573644 | 2250122 | 19245 311 | 8 | 329 1602.64/1603.16 c 1603s | 23 | 2574781 | 2251038 | 19245 311 | 8 | 329 1604.64/1605.19 c 1605s | 23 | 2575838 | 2251938 | 19245 312 | 8 | 329 1606.65/1607.20 c 1607s | 23 | 2579350 | 2254938 | 19245 312 | 8 | 329 1608.74/1609.25 c 1609s | 23 | 2582013 | 2257138 | 19245 312 | 8 | 329 1610.74/1611.27 c 1611s | 23 | 2584720 | 2259438 | 19245 312 | 8 | 329 1612.84/1613.32 c 1613s | 23 | 2587138 | 2261438 | 19245 313 | 8 | 329 1614.84/1615.33 c 1615s | 23 | 2590108 | 2264038 | 19245 313 | 8 | 329 1616.84/1617.36 c 1617s | 23 | 2592855 | 2266438 | 19245 313 | 8 | 329 1618.94/1619.45 c 1619s | 23 | 2595424 | 2268638 | 19245 313 | 8 | 329 1621.05/1621.52 c 1621s | 23 | 2597814 | 2270638 | 19245 314 | 8 | 329 1623.04/1623.54 c 1623s | 23 | 2600964 | 2273438 | 19245 314 | 8 | 329 1625.04/1625.56 c 1625s | 23 | 2602996 | 2275238 | 19245 314 | 8 | 329 1627.14/1627.62 c 1627s | 23 | 2605881 | 2277738 | 19245 314 | 8 | 329 1629.14/1629.64 c 1629s | 23 | 2608399 | 2279738 | 19245 314 | 8 | 329 1631.14/1631.68 c 1631s | 23 | 2611372 | 2282338 | 19245 315 | 8 | 329 1633.24/1633.70 c 1633s | 23 | 2614399 | 2284938 | 19245 315 | 8 | 329 1635.24/1635.74 c 1635s | 23 | 2617076 | 2287138 | 19245 315 | 8 | 329 1637.33/1637.80 c 1637s | 23 | 2619290 | 2288938 | 19245 315 | 8 | 329 1639.33/1639.82 c 1639s | 23 | 2622372 | 2291438 | 19245 316 | 8 | 329 1641.33/1641.86 c 1641s | 23 | 2625798 | 2294238 | 19245 316 | 8 | 329 1643.33/1643.89 c 1643s | 23 | 2629148 | 2297038 | 19245 316 | 8 | 329 1645.43/1645.93 c 1645s | 23 | 2631788 | 2299138 | 19245 316 | 8 | 329 1647.44/1647.97 c 1647s | 23 | 2634652 | 2301538 | 19245 317 | 8 | 329 1649.43/1650.00 c 1649s | 23 | 2637650 | 2304038 | 19245 317 | 8 | 329 1651.53/1652.02 c 1651s | 23 | 2640272 | 2306338 | 19245 317 | 8 | 329 1653.53/1654.09 c 1653s | 23 | 2642800 | 2308438 | 19245 317 | 8 | 329 1655.63/1656.19 c 1656s | 23 | 2645461 | 2310638 | 19245 318 | 8 | 329 1657.73/1658.21 c 1658s | 23 | 2648245 | 2313038 | 19245 318 | 8 | 329 1659.73/1660.26 c 1660s | 23 | 2650796 | 2315238 | 19245 318 | 8 | 329 1661.73/1662.28 c 1662s | 23 | 2653162 | 2317238 | 19245 318 | 8 | 329 1663.83/1664.31 c 1664s | 23 | 2655350 | 2319038 | 19245 318 | 8 | 329 1665.82/1666.39 c 1666s | 23 | 2657334 | 2320738 | 19245 319 | 8 | 329 1667.93/1668.40 c 1668s | 23 | 2659995 | 2323038 | 19245 319 | 8 | 329 1669.93/1670.42 c 1670s | 23 | 2662469 | 2325138 | 19245 319 | 8 | 329 1671.93/1672.47 c 1672s | 23 | 2664817 | 2327138 | 19245 319 | 8 | 329 1674.13/1674.64 c 1674s | 23 | 2666998 | 2329038 | 19245 320 | 8 | 329 1676.13/1676.65 c 1676s | 23 | 2669668 | 2331338 | 19245 320 | 8 | 329 1678.24/1678.73 c 1678s | 23 | 2672506 | 2333838 | 19245 320 | 8 | 329 1680.23/1680.76 c 1680s | 23 | 2674788 | 2335838 | 19245 320 | 8 | 329 1682.33/1682.82 c 1682s | 23 | 2676874 | 2337638 | 19245 320 | 8 | 329 1685.33/1685.81 c 1685s | 23 | 2679081 | 2339538 | 19245 321 | 8 | 329 1687.33/1687.85 c 1687s | 23 | 2682260 | 2342338 | 19245 321 | 8 | 329 1689.33/1689.87 c 1689s | 23 | 2685449 | 2345138 | 19245 321 | 8 | 329 1691.33/1691.89 c 1691s | 23 | 2688191 | 2347638 | 19245 321 | 8 | 329 1693.43/1693.92 c 1693s | 23 | 2691187 | 2350338 | 19245 322 | 8 | 329 1695.43/1695.93 c 1695s | 23 | 2693907 | 2352938 | 19245 322 | 8 | 329 1697.43/1697.96 c 1697s | 23 | 2696343 | 2355138 | 19245 322 | 8 | 329 1699.43/1699.99 c 1699s | 23 | 2698612 | 2357138 | 19245 322 | 8 | 329 1701.53/1702.02 c 1701s | 23 | 2701792 | 2359938 | 19245 323 | 8 | 329 1703.53/1704.04 c 1703s | 23 | 2704940 | 2362738 | 19245 323 | 8 | 329 1705.53/1706.06 c 1705s | 23 | 2707739 | 2365238 | 19245 323 | 8 | 329 1707.63/1708.15 c 1708s | 23 | 2710258 | 2367538 | 19245 323 | 8 | 329 1709.63/1710.15 c 1710s | 23 | 2713370 | 2370338 | 19245 324 | 8 | 329 1711.62/1712.17 c 1712s | 23 | 2716330 | 2373038 | 19245 324 | 8 | 329 1713.72/1714.23 c 1714s | 23 | 2718386 | 2374838 | 19245 324 | 8 | 329 1715.72/1716.28 c 1716s | 23 | 2721165 | 2377338 | 19245 324 | 8 | 329 1717.83/1718.32 c 1718s | 23 | 2723581 | 2379538 | 19245 325 | 8 | 329 1719.82/1720.39 c 1720s | 23 | 2726576 | 2382238 | 19245 325 | 8 | 329 1721.92/1722.41 c 1722s | 23 | 2729347 | 2384638 | 19245 325 | 8 | 329 1723.92/1724.44 c 1724s | 23 | 2732117 | 2387138 | 19245 325 | 8 | 329 1725.92/1726.46 c 1726s | 23 | 2735225 | 2389938 | 19245 326 | 8 | 329 1728.02/1728.50 c 1728s | 23 | 2738336 | 2392738 | 19245 326 | 8 | 329 1730.02/1730.58 c 1730s | 23 | 2740405 | 2394538 | 19245 326 | 8 | 329 1732.13/1732.62 c 1732s | 23 | 2743347 | 2397038 | 19245 327 | 8 | 329 1734.12/1734.65 c 1734s | 23 | 2746371 | 2399738 | 19245 327 | 8 | 329 1736.22/1736.70 c 1736s | 23 | 2749584 | 2402638 | 19245 327 | 8 | 329 1738.22/1738.71 c 1738s | 23 | 2752283 | 2405138 | 19245 327 | 8 | 329 1740.22/1740.72 c 1740s | 23 | 2754653 | 2407338 | 19245 328 | 8 | 329 1742.22/1742.74 c 1742s | 23 | 2757986 | 2410338 | 19245 328 | 8 | 329 1744.22/1744.79 c 1744s | 23 | 2761592 | 2413538 | 19245 328 | 8 | 329 1746.32/1746.82 c 1746s | 23 | 2764192 | 2415738 | 19245 328 | 8 | 329 1748.52/1749.08 c 1748s | 23 | 2767296 | 2418438 | 19245 329 | 8 | 329 1750.61/1751.13 c 1751s | 23 | 2771557 | 2422138 | 19245 329 | 8 | 329 1752.61/1753.15 c 1753s | 23 | 2774850 | 2425038 | 19245 329 | 8 | 329 1754.71/1755.21 c 1755s | 23 | 2778093 | 2427938 | 19245 330 | 8 | 329 1756.71/1757.22 c 1757s | 23 | 2781012 | 2430538 | 19245 330 | 8 | 329 1758.71/1759.25 c 1759s | 23 | 2784051 | 2433238 | 19245 330 | 8 | 329 1760.81/1761.31 c 1761s | 23 | 2787033 | 2435938 | 19245 331 | 8 | 329 1762.82/1763.31 c 1763s | 23 | 2790755 | 2439238 | 19245 331 | 8 | 329 1764.81/1765.31 c 1765s | 23 | 2793804 | 2441938 | 19245 331 | 8 | 329 1766.81/1767.37 c 1767s | 23 | 2797161 | 2444938 | 19245 331 | 8 | 329 1768.81/1769.39 c 1769s | 23 | 2800410 | 2447838 | 19245 332 | 8 | 329 1770.91/1771.41 c 1771s | 23 | 2803579 | 2450738 | 19245 332 | 8 | 329 1772.92/1773.44 c 1773s | 23 | 2806609 | 2453538 | 19245 332 | 8 | 329 1778.01/1778.55 c 1778s | 23 | 2808982 | 2455738 | 19245 333 | 8 | 329 1780.01/1780.55 c 1780s | 23 | 2812489 | 2458838 | 19245 333 | 8 | 329 1782.11/1782.63 c 1782s | 23 | 2815746 | 2461638 | 19245 333 | 8 | 329 1784.21/1784.72 c 1784s | 23 | 2818453 | 2464138 | 19245 333 | 8 | 329 1786.21/1786.78 c 1786s | 23 | 2821484 | 2466838 | 19245 334 | 8 | 329 1788.31/1788.85 c 1788s | 23 | 2825040 | 2470038 | 19245 334 | 8 | 329 1790.32/1790.88 c 1790s | 23 | 2828015 | 2472738 | 19245 334 | 8 | 329 1792.52/1793.02 c 1792s | 23 | 2830334 | 2474838 | 19245 335 | 8 | 329 1794.51/1795.06 c 1794s | 23 | 2831992 | 2476338 | 19245 335 | 8 | 329 1796.50/1797.07 c 1796s | 23 | 2835506 | 2479538 | 19245 335 | 8 | 329 1798.60/1799.14 c 1799s | 23 | 2838353 | 2482038 | 19245 335 | 8 | 329
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-4097464-1466117775/watcher-4097464-1466117775 -o /tmp/evaluation-result-4097464-1466117775/solver-4097464-1466117775 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466115959-20140 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097464-1466117775.opb pid=20802 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.01 2.04 2.23 3/179 20805 /proc/meminfo: memFree=30681888/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=769468 CPUtime=0 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 2877 0 0 0 0 0 0 0 20 0 4 0 13828056 787935232 2728 33554432000 4194304 16246674 140737454268592 140737454268016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 192879 2739 441 2943 0 189773 0 [pid=20805/tid=20806] ppid=20802 vsize=785852 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 804712448 2795 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=790972 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 809955328 2814 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=795068 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13828057 814149632 2831 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100177 s] /proc/loadavg: 2.01 2.04 2.23 3/179 20805 /proc/meminfo: memFree=30681888/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1221188 CPUtime=0.09 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 22903 0 0 0 6 3 0 0 20 0 4 0 13828056 1250496512 22691 33554432000 4194304 16246674 140737454268592 140737454267904 13780488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 305297 22691 835 2943 0 302191 0 [pid=20805/tid=20806] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 22691 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 22691 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 22691 33554432000 4194304 16246674 140737454268592 139696744156336 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) 1221188 [startup+0.200532 s] /proc/loadavg: 2.01 2.04 2.23 3/179 20805 /proc/meminfo: memFree=30681888/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1221188 CPUtime=0.19 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 40550 0 0 0 13 6 0 0 20 0 4 0 13828056 1250496512 40338 33554432000 4194304 16246674 140737454268592 140737454250496 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 305297 40348 877 2943 0 302191 0 [pid=20805/tid=20806] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 40352 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 40359 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 40366 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1221188 [startup+0.30049 s] /proc/loadavg: 2.01 2.04 2.23 3/179 20805 /proc/meminfo: memFree=30681888/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1221188 CPUtime=0.29 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 61766 0 0 0 21 8 0 0 20 0 4 0 13828056 1250496512 61555 33554432000 4194304 16246674 140737454268592 140737454250496 12479207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 305297 61572 877 2943 0 302191 0 [pid=20805/tid=20806] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 61580 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 61584 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 61590 33554432000 4194304 16246674 140737454268592 139696744156336 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) 1221188 [startup+0.700406 s] /proc/loadavg: 2.01 2.04 2.23 3/179 20805 /proc/meminfo: memFree=30681888/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1221188 CPUtime=0.68 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 144847 0 0 0 49 19 0 0 20 0 4 0 13828056 1250496512 144635 33554432000 4194304 16246674 140737454268592 140737454250496 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 305297 144643 877 2943 0 302191 0 [pid=20805/tid=20806] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 144649 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 144654 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 144660 33554432000 4194304 16246674 140737454268592 139696744156336 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) 1221188 [startup+1.50042 s] /proc/loadavg: 2.01 2.04 2.23 3/183 20809 /proc/meminfo: memFree=29786336/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1301060 CPUtime=1.48 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 266414 0 0 0 114 34 0 0 20 0 4 0 13828056 1332285440 266202 33554432000 4194304 16246674 140737454268592 140737454267904 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 325265 266202 880 2943 0 322159 0 [pid=20805/tid=20806] ppid=20802 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1332285440 266202 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1332285440 266202 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1332285440 266202 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1301060 [startup+3.10042 s] /proc/loadavg: 2.00 2.04 2.23 3/183 20809 /proc/meminfo: memFree=29613136/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 267721 0 0 0 274 35 0 0 20 0 4 0 13828056 1337528320 267509 33554432000 4194304 16246674 140737454268592 140737454250496 6013188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 326545 267509 882 2943 0 323439 0 [pid=20805/tid=20806] ppid=20802 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1337528320 267509 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1337528320 267509 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1337528320 267509 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30042 s] /proc/loadavg: 2.00 2.04 2.23 3/183 20809 /proc/meminfo: memFree=29609424/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1310276 CPUtime=6.29 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 268756 0 0 0 594 35 0 0 20 0 4 0 13828056 1341722624 268544 33554432000 4194304 16246674 140737454268592 140737454250496 12483183 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 327569 268544 886 2943 0 324463 0 [pid=20805/tid=20806] ppid=20802 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1341722624 268544 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1341722624 268544 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1341722624 268544 33554432000 4194304 16246674 140737454268592 139696744156336 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) 1310276 [startup+12.7004 s] /proc/loadavg: 2.00 2.03 2.23 3/183 20809 /proc/meminfo: memFree=29604932/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1314372 CPUtime=12.69 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 269688 0 0 0 1234 35 0 0 20 0 4 0 13828056 1345916928 269476 33554432000 4194304 16246674 140737454268592 140737454251592 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 328593 269476 887 2943 0 325487 0 [pid=20805/tid=20806] ppid=20802 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1345916928 269476 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1345916928 269476 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1345916928 269476 33554432000 4194304 16246674 140737454268592 139696744156336 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) 1314372 [startup+25.5005 s] /proc/loadavg: 2.00 2.03 2.22 3/183 20809 /proc/meminfo: memFree=29586668/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1324612 CPUtime=25.49 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 272341 0 0 0 2513 36 0 0 20 0 4 0 13828056 1356402688 272129 33554432000 4194304 16246674 140737454268592 140737454250496 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 331153 272129 887 2943 0 328047 0 [pid=20805/tid=20806] ppid=20802 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1356402688 272129 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1356402688 272129 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1356402688 272129 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1324612 [startup+51.1005 s] /proc/loadavg: 2.00 2.03 2.22 3/183 20810 /proc/meminfo: memFree=29586752/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1324612 CPUtime=51.08 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 272341 0 0 0 5072 36 0 0 20 0 4 0 13828056 1356402688 272129 33554432000 4194304 16246674 140737454268592 140737454250496 5661622 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 331153 272129 887 2943 0 328047 0 [pid=20805/tid=20806] ppid=20802 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1356402688 272129 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1356402688 272129 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1356402688 272129 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1324612 [startup+102.3 s] /proc/loadavg: 2.12 2.05 2.21 3/183 21153 /proc/meminfo: memFree=29593048/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1326660 CPUtime=102.27 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 272867 0 0 0 10190 37 0 0 20 0 4 0 13828056 1358499840 272641 33554432000 4194304 16246674 140737454268592 140737454250496 5822818 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 331665 272641 887 2943 0 328559 0 [pid=20805/tid=20806] ppid=20802 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1358499840 272641 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1358499840 272641 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1358499840 272641 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1326660 ################ # More data... # ################ /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696744156336 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) 1391172 [startup+1362.3 s] /proc/loadavg: 2.05 2.02 2.06 3/183 21207 /proc/meminfo: memFree=29451452/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1391172 CPUtime=1361.88 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289353 0 0 0 136132 56 0 0 20 0 4 0 13828056 1424560128 288769 33554432000 4194304 16246674 140737454268592 140737454250496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 347793 288769 887 2943 0 344687 0 [pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1391172 [startup+1422.3 s] /proc/loadavg: 2.08 2.03 2.06 3/183 21208 /proc/meminfo: memFree=29450844/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1391172 CPUtime=1421.87 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289353 0 0 0 142130 57 0 0 20 0 4 0 13828056 1424560128 288769 33554432000 4194304 16246674 140737454268592 140737454250496 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 347793 288769 887 2943 0 344687 0 [pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1391172 [startup+1482.3 s] /proc/loadavg: 2.07 2.04 2.06 3/184 21212 /proc/meminfo: memFree=29450412/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1391172 CPUtime=1481.85 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289353 0 0 0 148128 57 0 0 20 0 4 0 13828056 1424560128 288769 33554432000 4194304 16246674 140737454268592 140737454250496 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 347793 288769 887 2943 0 344687 0 [pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1391172 [startup+1542.31 s] /proc/loadavg: 2.02 2.03 2.05 3/183 21213 /proc/meminfo: memFree=29451128/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1391172 CPUtime=1541.85 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289353 0 0 0 154127 58 0 0 20 0 4 0 13828056 1424560128 288769 33554432000 4194304 16246674 140737454268592 140737454266432 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 347793 288769 887 2943 0 344687 0 [pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1391172 [startup+1602.3 s] /proc/loadavg: 2.10 2.05 2.06 3/183 21215 /proc/meminfo: memFree=29450876/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1391172 CPUtime=1601.84 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289353 0 0 0 160125 59 0 0 20 0 4 0 13828056 1424560128 288769 33554432000 4194304 16246674 140737454268592 140737454250496 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 347793 288769 887 2943 0 344687 0 [pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1391172 [startup+1662.3 s] /proc/loadavg: 2.13 2.07 2.06 3/183 21216 /proc/meminfo: memFree=29449212/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1391172 CPUtime=1661.83 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289354 0 0 0 166124 59 0 0 20 0 4 0 13828056 1424560128 289025 33554432000 4194304 16246674 140737454268592 140737454250496 5674046 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 347793 289025 887 2943 0 344687 0 [pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1391172 [startup+1722.3 s] /proc/loadavg: 2.04 2.05 2.06 3/183 21217 /proc/meminfo: memFree=29449580/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1391172 CPUtime=1721.82 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289354 0 0 0 172122 60 0 0 20 0 4 0 13828056 1424560128 289025 33554432000 4194304 16246674 140737454268592 140737454250496 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 347793 289025 887 2943 0 344687 0 [pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1391172 [startup+1782.3 s] /proc/loadavg: 2.08 2.06 2.06 3/183 21218 /proc/meminfo: memFree=29449708/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1391172 CPUtime=1781.81 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289354 0 0 0 178120 61 0 0 20 0 4 0 13828056 1424560128 289025 33554432000 4194304 16246674 140737454268592 140737454250496 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 347793 289025 887 2943 0 344687 0 [pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1391172 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.05 2.05 2.06 3/183 21218 /proc/meminfo: memFree=29449960/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1391172 CPUtime=1800 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289354 0 0 0 179939 61 0 0 20 0 4 0 13828056 1424560128 289025 33554432000 4194304 16246674 140737454268592 140737454250496 5824031 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 347793 289025 887 2943 0 344687 0 [pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1391172 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 20805 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.05 2.05 2.06 3/183 21218 /proc/meminfo: memFree=29449960/32872528 swapFree=188940/188940 [pid=20805] ppid=20802 vsize=1391172 CPUtime=1800 cores=1,3,5,7 /proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289354 0 0 0 179939 61 0 0 20 0 4 0 13828056 1424560128 289025 33554432000 4194304 16246674 140737454268592 140737454250496 5824031 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20805/statm: 347793 289025 887 2943 0 344687 0 [pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1391172 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.4 CPU system time (s): 0.619905 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1391172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.4 system time used= 0.619905 maximum resident set size= 1156100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 289354 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= 388 involuntary context switches= 1846 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.51831 second user time and 7.01193 second system time The end
Begin job on node102 at 2016-06-17 00:56:15 IDJOB=4097464 IDBENCH=107761 IDSOLVER=2542 FILE ID=node102/4097464-1466117775 RUNJOBID= node102-1466115959-20140 PBS_JOBID= 19904127 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_25.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097464-1466117775/watcher-4097464-1466117775 -o /tmp/evaluation-result-4097464-1466117775/solver-4097464-1466117775 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466115959-20140 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097464-1466117775.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b92551cd84e0703f1beccbbe36749b8d RANDOM SEED=938485281 node102.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.746 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.49 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.746 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.746 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.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 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.746 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.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30682416 kB Buffers: 49428 kB Cached: 167532 kB SwapCached: 1412 kB Active: 1205024 kB Inactive: 92472 kB Active(anon): 1081820 kB Inactive(anon): 1076 kB Active(file): 123204 kB Inactive(file): 91396 kB Unevictable: 188940 kB Mlocked: 188940 kB SwapTotal: 67108856 kB SwapFree: 67099224 kB Dirty: 32936 kB Writeback: 0 kB AnonPages: 1268300 kB Mapped: 10612 kB Shmem: 0 kB Slab: 570696 kB SReclaimable: 14192 kB SUnreclaim: 556504 kB KernelStack: 1488 kB PageTables: 6548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1411004 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node102 at 2016-06-17 01:26:16