| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_30.opb |
| MD5SUM | d7e080eab3a779bfe2a4383d71446a61 |
| 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 | 589.463 |
| 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 | 1260 |
| Total number of constraints | 5990 |
| Number of constraints which are clauses | 5985 |
| 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 | 35 |
| 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 | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 65 |
| Number of bits of the biggest sum of numbers | 7 |
| 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:14:13+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-4096771-1466115253.opb"] 0.00/0.01 c use --random-gen="267445315 1069306099 2042424214 1046287854 4275589622 2321609653 354379556 1010879566 2010290247 765932795 572769846 2807881063 974634703 1422462806 1056211053 1177989595 1593836289 680867506 1341730152 3676807758 2522399664 1900513744 4472497 3887885718 3651724218 2015474695 3088986815 3979391370 3722027892 3853884218 1800187558 3738953675 1263742728 3872389852 23456239 498688555 2674689698 2324101856 2297784055 3086343010 2344751773 1517752318 1209271812 1607647396 1381952556 717084155 593088565 2911814958 2465886543 1600911271 731495121 553009152 2845003637 3057894724 83086841 2662536855 2557164951 3608778567 3071789790 2803748790 1392341523 693323714 4293869091 548319180 568350107 3592498425 3614507263 1890025625 4264451876 1366237801 2630038874 3564959682 3527722801 863250124 3990518859 627082365 317645534 808559763 1054860301 2993692869 3280869479 4084433255 2012608778 3793050762 3434269379 85201369 1316397343 1657535314 2350905563 1288974605 1300026369 2326541719 1141778686 1140564987 1483171790 582252000 442481453 3584699816 2005108030 1129347605 589611028 3335629531 29465583 2903835622 94797506 2358472125 999387681 1001003864 202942463 539702607 1243643647 3842688996 1614071244 499449194 225777131 1544456906 2279639885 2125744971 115580770 3413803609 1979257234 286156101 1722121183 3339124835 3632169317 1868408153 2328095150 593716001 719699933 1809845738 4173981175 3584675702 2487060765 501378392 1593568736 1907735636 904763371 186485260 3577347014 3232575196 2579447233 346945011 436450826 4156838803 2498483496 3692977210 3229334804 2753229816 266229664 913827879 1163844730 1718428809 844752128 1674750191 834804068 2492348561 2024333469 4176836328 1467160876 3469702355 156659220 3945074357 651828629 2850177401 278612144 1631179783 4233277143 1174415519 545493740 911638244 1096010099 3777676380 3061098288 984768692 1484795745 1586644375 948027634 1056335506 563836247 2994216213 2637927696 3970134908 41790145 710466395 3777392748 837886245 4135483461 204422072 266251247 2436239626 42153867 1341012860 958596402 2331502720 3350256986 1710933203 3976077642 2883362270 3752969799 1400223556 64055301 3488934668 519144375 2713776139 4276809024 4116835228 201919400 661055419 4011692546 763708863 2897940816 3884684178 186419623 1935303221 3998759397 100605309 2897141501 2984735999 1500444307 3704550281 394831380 1315056317 3997411108 2080377253 4293351457 3148058866 2228663175 2933175898 1659786563 41133170 2418966187 2300583517 2504678280 1069804318 1574034701 863475181 804624606 1419003076 3289994851 1423822911 3233503815 3349400419 1855321341 1480208040 646658432 1542948817 3163411584 1710423671 3342946006 2969304584 952455916 3456510311 496790446 284005762 83974945 640880064 255 362436" option to reproduce the execution 0.00/0.07 c #vars 1260 0.00/0.07 c #constraints 5990 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 2415 0 | 5 | 0 0.09/0.19 c 0.0s | 1 | 157 | 100 | 2415 0 | 5 | 278 0.19/0.24 c 0.1s | 2 | 356 | 250 | 2657 0 | 5 | 278 0.29/0.36 c 0.2s | 3 | 668 | 475 | 2923 0 | 5 | 278 0.49/0.58 c 0.4s | 4 | 1096 | 813 | 3216 0 | 5 | 278 0.69/0.93 c 0.8s | 5 | 1761 | 1320 | 3538 0 | 5 | 278 1.29/1.36 c 1.2s | 6 | 2745 | 2081 | 4282 0 | 5 | 278 1.79/1.82 c 1.7s | 7 | 4107 | 3223 | 4711 0 | 5 | 278 2.58/2.62 c 2.5s | 8 | 6230 | 4936 | 5183 0 | 5 | 278 3.68/3.78 c 3.6s | 9 | 9463 | 7506 | 5702 1 | 5 | 278 5.48/5.59 c 5.4s | 10 | 14196 | 11361 | 6273 2 | 5 | 278 7.59/7.67 c 7.5s | 10 | 19037 | 15461 | 6273 4 | 5 | 278 8.49/8.53 c 8.4s | 11 | 20954 | 17144 | 6901 4 | 5 | 278 10.49/10.58 c 10.4s | 11 | 25815 | 21144 | 6901 5 | 5 | 278 12.49/12.59 c 12.4s | 11 | 30858 | 25444 | 6901 6 | 5 | 278 12.89/12.90 c 12.8s | 12 | 31337 | 25819 | 7592 6 | 5 | 278 14.89/14.91 c 14.8s | 12 | 35964 | 29619 | 7592 7 | 5 | 278 16.89/16.94 c 16.8s | 12 | 40583 | 33519 | 7592 8 | 5 | 278 18.99/19.04 c 18.9s | 12 | 44726 | 37219 | 7592 9 | 5 | 278 19.79/19.86 c 19.7s | 13 | 46682 | 38832 | 8352 9 | 5 | 278 21.88/21.90 c 21.8s | 13 | 51012 | 42432 | 8352 10 | 5 | 278 23.88/23.93 c 23.8s | 13 | 55124 | 46032 | 8352 11 | 5 | 278 25.88/25.96 c 25.8s | 13 | 59035 | 49332 | 8352 12 | 5 | 278 27.88/27.97 c 27.8s | 13 | 63098 | 52932 | 8352 13 | 5 | 278 29.89/29.99 c 29.8s | 13 | 67411 | 56632 | 8352 13 | 5 | 278 30.88/30.95 c 30.8s | 14 | 69301 | 58352 | 9188 14 | 5 | 278 32.98/33.00 c 32.9s | 14 | 73227 | 61852 | 9188 15 | 5 | 278 34.98/35.03 c 34.9s | 14 | 77141 | 65452 | 9188 15 | 5 | 278 36.99/37.08 c 36.9s | 14 | 79680 | 67652 | 9188 16 | 5 | 278 38.98/39.08 c 38.9s | 14 | 83565 | 71052 | 9188 16 | 5 | 278 41.08/41.13 c 41.0s | 14 | 87591 | 74552 | 9188 17 | 5 | 278 43.09/43.14 c 43.0s | 14 | 91377 | 77752 | 9188 18 | 5 | 278 45.08/45.17 c 45.0s | 14 | 95401 | 81152 | 9188 19 | 5 | 278 47.08/47.18 c 47.0s | 14 | 99624 | 84852 | 9188 19 | 5 | 278 48.78/48.82 c 48.7s | 15 | 102833 | 87632 | 10107 20 | 5 | 278 50.79/50.83 c 50.7s | 15 | 106457 | 90632 | 10107 20 | 5 | 278 52.78/52.85 c 52.7s | 15 | 110382 | 94032 | 10107 21 | 5 | 278 54.88/54.90 c 54.8s | 15 | 114298 | 97432 | 10107 22 | 5 | 278 56.88/56.94 c 56.8s | 15 | 118439 | 100932 | 10107 22 | 5 | 278 58.88/58.95 c 58.8s | 15 | 122508 | 104432 | 10107 23 | 5 | 278 60.88/60.98 c 60.8s | 15 | 126216 | 107732 | 10107 24 | 5 | 278 62.99/63.05 c 62.9s | 15 | 129696 | 110932 | 10107 24 | 5 | 278 64.98/65.08 c 64.9s | 15 | 133429 | 114232 | 10107 25 | 5 | 278 67.17/67.21 c 67.1s | 15 | 136357 | 116732 | 10107 26 | 5 | 278 69.17/69.24 c 69.1s | 15 | 140702 | 120532 | 10107 26 | 5 | 278 71.17/71.25 c 71.1s | 15 | 144716 | 123932 | 10107 27 | 5 | 278 73.17/73.28 c 73.1s | 15 | 148303 | 127132 | 10107 28 | 5 | 278 75.27/75.32 c 75.2s | 15 | 152303 | 130632 | 10107 28 | 5 | 278 75.87/75.92 c 75.8s | 16 | 153387 | 131552 | 11118 28 | 5 | 278 77.87/77.94 c 77.8s | 16 | 156767 | 134352 | 11118 29 | 5 | 278 79.87/79.99 c 79.8s | 16 | 160956 | 137952 | 11118 29 | 5 | 278 81.98/82.03 c 81.9s | 16 | 164490 | 141052 | 11118 30 | 5 | 278 83.98/84.05 c 83.9s | 16 | 168372 | 144352 | 11118 30 | 5 | 278 85.98/86.06 c 85.9s | 16 | 172269 | 147752 | 11118 31 | 5 | 278 87.98/88.06 c 87.9s | 16 | 175978 | 151052 | 11118 32 | 5 | 278 89.98/90.08 c 89.9s | 16 | 178414 | 153152 | 11118 32 | 5 | 278 92.07/92.13 c 92.0s | 16 | 182571 | 156552 | 11118 33 | 5 | 278 94.07/94.17 c 94.0s | 16 | 186715 | 160152 | 11118 33 | 5 | 278 96.07/96.19 c 96.0s | 16 | 190800 | 163652 | 11118 34 | 5 | 278 98.18/98.20 c 98.1s | 16 | 194415 | 166852 | 11118 34 | 5 | 278 100.17/100.23 c 100s | 16 | 198037 | 170152 | 11118 35 | 5 | 278 102.17/102.25 c 102s | 16 | 201877 | 173452 | 11118 36 | 5 | 278 104.27/104.31 c 104s | 16 | 204522 | 175752 | 11118 36 | 5 | 278 106.27/106.31 c 106s | 16 | 208051 | 178852 | 11118 37 | 5 | 278 108.27/108.37 c 108s | 16 | 211646 | 182152 | 11118 37 | 5 | 278 110.28/110.39 c 110s | 16 | 214685 | 184952 | 11118 38 | 5 | 278 112.27/112.39 c 112s | 16 | 217467 | 187452 | 11118 38 | 5 | 278 114.37/114.41 c 114s | 16 | 220568 | 190252 | 11118 39 | 5 | 278 116.37/116.48 c 116s | 16 | 224189 | 193452 | 11118 39 | 5 | 278 118.47/118.52 c 118s | 16 | 227825 | 196652 | 12230 40 | 5 | 278 118.87/118.94 c 118s | 17 | 228705 | 197432 | 12230 40 | 5 | 278 120.97/121.00 c 120s | 17 | 231774 | 200032 | 12230 40 | 5 | 278 122.97/123.05 c 122s | 17 | 235138 | 203032 | 12230 41 | 5 | 278 124.97/125.07 c 124s | 17 | 238760 | 206232 | 12230 41 | 5 | 278 127.16/127.27 c 127s | 17 | 241849 | 208932 | 12230 42 | 5 | 278 129.16/129.28 c 129s | 17 | 245762 | 212232 | 12230 42 | 5 | 278 131.26/131.32 c 131s | 17 | 248784 | 214832 | 12230 43 | 5 | 278 133.27/133.35 c 133s | 17 | 252786 | 218232 | 12230 43 | 5 | 278 135.26/135.38 c 135s | 17 | 256499 | 221432 | 12230 44 | 5 | 278 137.36/137.40 c 137s | 17 | 260670 | 225032 | 12230 44 | 5 | 278 139.36/139.41 c 139s | 17 | 264151 | 228032 | 12230 45 | 5 | 278 141.36/141.43 c 141s | 17 | 268106 | 231432 | 12230 45 | 5 | 278 143.36/143.48 c 143s | 17 | 271526 | 234532 | 12230 46 | 5 | 278 145.47/145.52 c 145s | 17 | 275356 | 237932 | 12230 46 | 5 | 278 147.46/147.56 c 147s | 17 | 277195 | 239532 | 12230 46 | 5 | 278 149.45/149.56 c 149s | 17 | 280882 | 242732 | 12230 47 | 5 | 278 151.55/151.61 c 151s | 17 | 284234 | 245732 | 12230 47 | 5 | 278 153.55/153.65 c 153s | 17 | 287722 | 248932 | 12230 48 | 5 | 278 155.65/155.70 c 155s | 17 | 290826 | 251732 | 12230 48 | 5 | 278 157.65/157.70 c 157s | 17 | 293737 | 254232 | 12230 49 | 5 | 278 159.66/159.75 c 159s | 17 | 297396 | 257432 | 12230 49 | 5 | 278 161.75/161.81 c 161s | 17 | 300722 | 260432 | 12230 50 | 5 | 278 163.75/163.83 c 163s | 17 | 304178 | 263532 | 12230 50 | 5 | 278 165.75/165.86 c 165s | 17 | 307471 | 266532 | 12230 51 | 5 | 278 167.85/167.93 c 167s | 17 | 310850 | 269632 | 12230 51 | 5 | 278 169.85/169.94 c 169s | 17 | 313471 | 272032 | 12230 52 | 5 | 278 171.85/171.94 c 171s | 17 | 315107 | 273432 | 12230 52 | 5 | 278 173.84/173.96 c 173s | 17 | 319007 | 276832 | 12230 52 | 5 | 278 175.94/176.00 c 175s | 17 | 322924 | 280132 | 12230 53 | 5 | 278 177.94/178.02 c 177s | 17 | 326476 | 283232 | 12230 53 | 5 | 278 179.94/180.05 c 179s | 17 | 330278 | 286632 | 12230 54 | 5 | 278 182.05/182.12 c 181s | 17 | 333531 | 289532 | 12230 54 | 5 | 278 184.05/184.13 c 183s | 17 | 337172 | 292732 | 12230 55 | 5 | 278 186.06/186.14 c 185s | 17 | 340465 | 295532 | 13454 55 | 5 | 278 186.55/186.65 c 186s | 18 | 341322 | 296252 | 13454 55 | 5 | 278 188.65/188.71 c 188s | 18 | 344380 | 298852 | 13454 56 | 5 | 278 190.65/190.77 c 190s | 18 | 348060 | 301952 | 13454 56 | 5 | 278 192.84/192.97 c 192s | 18 | 351581 | 305052 | 13454 57 | 5 | 278 194.95/195.01 c 194s | 18 | 354987 | 308052 | 13454 57 | 5 | 278 196.94/197.02 c 196s | 18 | 358223 | 310852 | 13454 58 | 5 | 278 198.94/199.06 c 198s | 18 | 362417 | 314452 | 13454 58 | 5 | 278 201.04/201.12 c 200s | 18 | 365850 | 317452 | 13454 58 | 5 | 278 203.14/203.20 c 203s | 18 | 369624 | 320752 | 13454 59 | 5 | 278 205.14/205.20 c 205s | 18 | 372808 | 323652 | 13454 59 | 5 | 278 207.14/207.24 c 207s | 18 | 376255 | 326752 | 13454 60 | 5 | 278 209.34/209.41 c 209s | 18 | 378201 | 328552 | 13454 60 | 5 | 278 211.35/211.42 c 211s | 18 | 380929 | 330852 | 13454 60 | 5 | 278 213.34/213.47 c 213s | 18 | 384717 | 334152 | 13454 61 | 5 | 278 215.44/215.52 c 215s | 18 | 388194 | 337252 | 13454 61 | 5 | 278 217.44/217.55 c 217s | 18 | 391283 | 340052 | 13454 62 | 5 | 278 219.54/219.60 c 219s | 18 | 394428 | 342952 | 13454 62 | 5 | 278 221.54/221.61 c 221s | 18 | 397402 | 345652 | 13454 63 | 5 | 278 223.54/223.66 c 223s | 18 | 400694 | 348652 | 13454 63 | 5 | 278 225.64/225.73 c 225s | 18 | 403573 | 351252 | 13454 63 | 5 | 278 227.64/227.79 c 227s | 18 | 405888 | 353252 | 13454 64 | 5 | 278 229.74/229.84 c 229s | 18 | 409549 | 356352 | 13454 64 | 5 | 278 231.73/231.86 c 231s | 18 | 412699 | 359152 | 13454 65 | 5 | 278 233.74/233.88 c 233s | 18 | 415833 | 361952 | 13454 65 | 5 | 278 235.74/235.88 c 235s | 18 | 418985 | 364752 | 13454 65 | 5 | 278 237.84/237.93 c 237s | 18 | 422532 | 367752 | 13454 66 | 5 | 278 240.33/240.44 c 240s | 18 | 424918 | 369852 | 13454 66 | 5 | 278 242.33/242.49 c 242s | 18 | 428257 | 372852 | 13454 67 | 5 | 278 244.44/244.54 c 244s | 18 | 431785 | 376052 | 13454 67 | 5 | 278 246.43/246.56 c 246s | 18 | 434563 | 378652 | 13454 67 | 5 | 278 248.53/248.61 c 248s | 18 | 437299 | 381152 | 13454 68 | 5 | 278 250.53/250.68 c 250s | 18 | 440074 | 383752 | 13454 68 | 5 | 278 252.63/252.74 c 252s | 18 | 442500 | 385952 | 13454 69 | 5 | 278 254.63/254.74 c 254s | 18 | 445008 | 388252 | 13454 69 | 5 | 278 256.63/256.78 c 256s | 18 | 448284 | 391152 | 13454 69 | 5 | 278 258.73/258.81 c 258s | 18 | 450938 | 393552 | 13454 70 | 5 | 278 260.72/260.86 c 260s | 18 | 454232 | 396552 | 13454 70 | 5 | 278 262.72/262.88 c 262s | 18 | 456961 | 399052 | 13454 70 | 5 | 278 264.73/264.89 c 264s | 18 | 459368 | 401152 | 13454 71 | 5 | 278 266.83/266.96 c 266s | 18 | 462898 | 404252 | 13454 71 | 5 | 278 268.83/268.98 c 268s | 18 | 465664 | 406752 | 13454 72 | 5 | 278 270.92/271.06 c 270s | 18 | 468797 | 409652 | 13454 72 | 5 | 278 272.93/273.08 c 272s | 18 | 471681 | 412252 | 13454 72 | 5 | 278 275.02/275.12 c 274s | 18 | 474478 | 414752 | 13454 73 | 5 | 278 277.02/277.13 c 276s | 18 | 477535 | 417552 | 13454 73 | 5 | 278 279.02/279.17 c 279s | 18 | 480023 | 419752 | 13454 73 | 5 | 278 281.12/281.24 c 281s | 18 | 483216 | 422552 | 13454 74 | 5 | 278 283.22/283.34 c 283s | 18 | 486502 | 425452 | 13454 74 | 5 | 278 285.22/285.39 c 285s | 18 | 489825 | 428452 | 13454 75 | 5 | 278 287.33/287.45 c 287s | 18 | 493126 | 431452 | 13454 75 | 5 | 278 289.32/289.46 c 289s | 18 | 495427 | 433552 | 13454 75 | 5 | 278 291.32/291.49 c 291s | 18 | 498784 | 436552 | 13454 76 | 5 | 278 293.42/293.52 c 293s | 18 | 501918 | 439252 | 13454 76 | 5 | 278 295.42/295.55 c 295s | 18 | 504815 | 441852 | 14800 77 | 5 | 278 297.31/297.41 c 297s | 19 | 507638 | 444482 | 14800 77 | 5 | 278 299.32/299.43 c 299s | 19 | 509915 | 446382 | 14800 77 | 5 | 278 301.41/301.57 c 301s | 19 | 512811 | 448882 | 14800 78 | 5 | 278 303.51/303.62 c 303s | 19 | 516847 | 452282 | 14800 78 | 5 | 278 305.51/305.69 c 305s | 19 | 520333 | 455282 | 14800 78 | 5 | 278 307.61/307.70 c 307s | 19 | 523959 | 458482 | 14800 79 | 5 | 278 309.61/309.74 c 309s | 19 | 527662 | 461682 | 14800 79 | 5 | 278 311.61/311.76 c 311s | 19 | 530849 | 464482 | 14800 80 | 5 | 278 314.10/314.27 c 314s | 19 | 533510 | 466882 | 14800 80 | 5 | 278 316.10/316.28 c 316s | 19 | 537180 | 469982 | 14800 80 | 5 | 278 318.20/318.31 c 318s | 19 | 540452 | 472882 | 14800 81 | 5 | 278 320.21/320.38 c 320s | 19 | 543851 | 475882 | 14800 81 | 5 | 278 322.30/322.41 c 322s | 19 | 546875 | 478582 | 14800 81 | 5 | 278 324.30/324.42 c 324s | 19 | 549476 | 480882 | 14800 82 | 5 | 278 326.30/326.44 c 326s | 19 | 552597 | 483682 | 14800 82 | 5 | 278 328.30/328.47 c 328s | 19 | 555448 | 486182 | 14800 82 | 5 | 278 330.29/330.49 c 330s | 19 | 558525 | 488982 | 14800 83 | 5 | 278 332.40/332.55 c 332s | 19 | 561510 | 491682 | 14800 83 | 5 | 278 334.39/334.55 c 334s | 19 | 563945 | 493982 | 14800 84 | 5 | 278 336.39/336.56 c 336s | 19 | 566987 | 496782 | 14800 84 | 5 | 278 338.90/339.09 c 338s | 19 | 569417 | 498982 | 14800 84 | 5 | 278 340.99/341.17 c 341s | 19 | 572059 | 501182 | 14800 84 | 5 | 278 343.09/343.21 c 343s | 19 | 575948 | 504482 | 14800 85 | 5 | 278 345.09/345.23 c 345s | 19 | 579459 | 507482 | 14800 85 | 5 | 278 347.09/347.24 c 347s | 19 | 582979 | 510482 | 14800 86 | 5 | 278 349.08/349.26 c 349s | 19 | 586506 | 513682 | 14800 86 | 5 | 278 351.18/351.33 c 351s | 19 | 589528 | 516382 | 14800 87 | 5 | 278 354.58/354.79 c 354s | 19 | 593091 | 519482 | 14800 87 | 5 | 278 356.68/356.84 c 356s | 19 | 596337 | 522282 | 14800 87 | 5 | 278 358.69/358.87 c 358s | 19 | 599086 | 524582 | 14800 88 | 5 | 278 360.78/360.92 c 360s | 19 | 602716 | 527782 | 14800 88 | 5 | 278 362.78/362.92 c 362s | 19 | 605802 | 530582 | 14800 88 | 5 | 278 364.78/364.99 c 364s | 19 | 608971 | 533282 | 14800 89 | 5 | 278 366.88/367.00 c 366s | 19 | 612012 | 536082 | 14800 89 | 5 | 278 368.88/369.05 c 368s | 19 | 614909 | 538682 | 14800 89 | 5 | 278 370.89/371.08 c 370s | 19 | 617953 | 541482 | 14800 90 | 5 | 278 372.99/373.11 c 372s | 19 | 620640 | 543982 | 14800 90 | 5 | 278 374.98/375.13 c 374s | 19 | 623294 | 546382 | 14800 91 | 5 | 278 376.98/377.16 c 377s | 19 | 626719 | 549482 | 14800 91 | 5 | 278 378.99/379.17 c 379s | 19 | 628797 | 551282 | 14800 91 | 5 | 278 381.09/381.26 c 381s | 19 | 631748 | 553882 | 14800 92 | 5 | 278 383.09/383.29 c 383s | 19 | 634884 | 556782 | 14800 92 | 5 | 278 385.19/385.36 c 385s | 19 | 637695 | 559382 | 14800 92 | 5 | 278 387.58/387.73 c 387s | 19 | 640238 | 561682 | 14800 93 | 5 | 278 389.59/389.78 c 389s | 19 | 643367 | 564582 | 14800 93 | 5 | 278 391.69/391.86 c 391s | 19 | 646012 | 567082 | 14800 93 | 5 | 278 393.68/393.87 c 393s | 19 | 648287 | 569182 | 14800 94 | 5 | 278 395.78/395.94 c 395s | 19 | 651243 | 571882 | 14800 94 | 5 | 278 397.78/397.99 c 397s | 19 | 653848 | 574282 | 14800 94 | 5 | 278 399.88/400.06 c 399s | 19 | 655967 | 575982 | 14800 94 | 5 | 278 401.88/402.08 c 401s | 19 | 658721 | 578282 | 14800 95 | 5 | 278 403.88/404.09 c 403s | 19 | 661315 | 580682 | 14800 95 | 5 | 278 405.98/406.14 c 405s | 19 | 663719 | 582882 | 14800 95 | 5 | 278 407.97/408.14 c 407s | 19 | 666317 | 585282 | 14800 96 | 5 | 278 409.97/410.19 c 410s | 19 | 669270 | 587882 | 14800 96 | 5 | 278 412.07/412.23 c 412s | 19 | 671870 | 590282 | 14800 96 | 5 | 278 414.07/414.28 c 414s | 19 | 674009 | 592182 | 14800 97 | 5 | 278 416.17/416.35 c 416s | 19 | 677472 | 595282 | 14800 97 | 5 | 278 418.18/418.39 c 418s | 19 | 680389 | 597882 | 14800 97 | 5 | 278 420.28/420.46 c 420s | 19 | 682754 | 599982 | 14800 98 | 5 | 278 422.27/422.50 c 422s | 19 | 686114 | 602882 | 14800 98 | 5 | 278 424.37/424.51 c 424s | 19 | 689142 | 605582 | 14800 98 | 5 | 278 426.37/426.55 c 426s | 19 | 692807 | 608582 | 14800 99 | 5 | 278 428.37/428.56 c 428s | 19 | 696264 | 611582 | 14800 99 | 5 | 278 430.36/430.58 c 430s | 19 | 699507 | 614382 | 14800 100 | 5 | 278 432.47/432.62 c 432s | 19 | 703474 | 617982 | 14800 100 | 5 | 278 435.16/435.32 c 435s | 19 | 706679 | 620882 | 14800 100 | 5 | 278 437.16/437.35 c 437s | 19 | 709864 | 623682 | 14800 101 | 5 | 278 439.25/439.41 c 439s | 19 | 713012 | 626582 | 14800 101 | 5 | 278 441.65/441.80 c 441s | 19 | 715946 | 629182 | 14800 102 | 5 | 278 443.65/443.83 c 443s | 19 | 719525 | 632282 | 14800 102 | 5 | 278 445.66/445.90 c 445s | 19 | 722487 | 634882 | 14800 102 | 5 | 278 447.76/447.90 c 447s | 19 | 725452 | 637482 | 14800 103 | 5 | 278 449.76/449.92 c 449s | 19 | 728914 | 640582 | 14800 103 | 5 | 278 451.76/451.98 c 451s | 19 | 732043 | 643382 | 14800 103 | 5 | 278 453.86/454.00 c 453s | 19 | 735269 | 646282 | 14800 104 | 5 | 278 455.86/456.01 c 455s | 19 | 738185 | 648982 | 14800 104 | 5 | 278 457.96/458.10 c 457s | 19 | 740731 | 651382 | 14800 104 | 5 | 278 459.97/460.14 c 459s | 19 | 743716 | 653982 | 14800 105 | 5 | 278 462.16/462.34 c 462s | 19 | 746506 | 656482 | 14800 105 | 5 | 278 464.15/464.36 c 464s | 19 | 747049 | 656982 | 14800 105 | 5 | 278 466.25/466.42 c 466s | 19 | 750276 | 659882 | 14800 106 | 5 | 278 468.25/468.47 c 468s | 19 | 753204 | 662582 | 16281 106 | 5 | 278 470.25/470.47 c 470s | 19 | 755808 | 664982 | 16281 106 | 5 | 278 471.85/472.04 c 471s | 20 | 757918 | 666827 | 16281 106 | 5 | 278 473.85/474.06 c 473s | 20 | 760643 | 669127 | 16281 107 | 5 | 278 475.95/476.11 c 475s | 20 | 764184 | 672127 | 16281 107 | 5 | 278 477.95/478.13 c 477s | 20 | 767272 | 674727 | 16281 107 | 5 | 278 479.94/480.15 c 480s | 20 | 770379 | 677427 | 16281 108 | 5 | 278 481.95/482.18 c 482s | 20 | 773663 | 680227 | 16281 108 | 5 | 278 484.05/484.21 c 484s | 20 | 776904 | 683027 | 16281 108 | 5 | 278 486.04/486.25 c 486s | 20 | 780207 | 685927 | 16281 109 | 5 | 278 488.14/488.31 c 488s | 20 | 783765 | 689127 | 16281 109 | 5 | 278 490.14/490.39 c 490s | 20 | 786705 | 691827 | 16281 109 | 5 | 278 492.24/492.41 c 492s | 20 | 788293 | 693127 | 16281 110 | 5 | 278 494.24/494.43 c 494s | 20 | 792297 | 696527 | 16281 110 | 5 | 278 496.24/496.46 c 496s | 20 | 795932 | 699627 | 16281 110 | 5 | 278 498.24/498.50 c 498s | 20 | 799257 | 702527 | 16281 111 | 5 | 278 500.34/500.52 c 500s | 20 | 802592 | 705527 | 16281 111 | 5 | 278 502.34/502.53 c 502s | 20 | 805580 | 708227 | 16281 111 | 5 | 278 504.34/504.59 c 504s | 20 | 808147 | 710527 | 16281 112 | 5 | 278 506.44/506.62 c 506s | 20 | 811554 | 713427 | 16281 112 | 5 | 278 509.04/509.25 c 509s | 20 | 814437 | 716027 | 16281 112 | 5 | 278 511.04/511.28 c 511s | 20 | 817203 | 718527 | 16281 113 | 5 | 278 513.14/513.35 c 513s | 20 | 820316 | 721427 | 16281 113 | 5 | 278 515.14/515.36 c 515s | 20 | 823192 | 724027 | 16281 113 | 5 | 278 517.24/517.40 c 517s | 20 | 826000 | 726427 | 16281 114 | 5 | 278 519.24/519.45 c 519s | 20 | 829236 | 729327 | 16281 114 | 5 | 278 521.33/521.50 c 521s | 20 | 831930 | 731827 | 16281 114 | 5 | 278 523.33/523.56 c 523s | 20 | 834350 | 734027 | 16281 114 | 5 | 278 525.33/525.59 c 525s | 20 | 837575 | 736927 | 16281 115 | 5 | 278 527.43/527.61 c 527s | 20 | 840274 | 739427 | 16281 115 | 5 | 278 529.83/530.01 c 529s | 20 | 842446 | 741427 | 16281 115 | 5 | 278 531.83/532.03 c 531s | 20 | 845106 | 743727 | 16281 116 | 5 | 278 533.82/534.04 c 533s | 20 | 848665 | 746827 | 16281 116 | 5 | 278 535.83/536.06 c 535s | 20 | 851623 | 749527 | 16281 116 | 5 | 278 537.82/538.06 c 537s | 20 | 854443 | 752027 | 16281 117 | 5 | 278 539.92/540.18 c 540s | 20 | 856459 | 753827 | 16281 117 | 5 | 278 542.02/542.20 c 542s | 20 | 858982 | 755927 | 16281 117 | 5 | 278 544.12/544.33 c 544s | 20 | 862194 | 758727 | 16281 118 | 5 | 278 546.12/546.37 c 546s | 20 | 865694 | 761727 | 16281 118 | 5 | 278 548.12/548.38 c 548s | 20 | 869253 | 764827 | 16281 118 | 5 | 278 550.21/550.42 c 550s | 20 | 872394 | 767627 | 16281 119 | 5 | 278 552.22/552.43 c 552s | 20 | 875909 | 770827 | 16281 119 | 5 | 278 554.31/554.50 c 554s | 20 | 879060 | 773627 | 16281 119 | 5 | 278 556.41/556.61 c 556s | 20 | 880853 | 775227 | 16281 120 | 5 | 278 558.41/558.63 c 558s | 20 | 884464 | 778427 | 16281 120 | 5 | 278 560.41/560.66 c 560s | 20 | 887758 | 781327 | 16281 120 | 5 | 278 562.41/562.69 c 562s | 20 | 890746 | 783927 | 16281 121 | 5 | 278 564.51/564.73 c 564s | 20 | 894256 | 787127 | 16281 121 | 5 | 278 566.52/566.75 c 566s | 20 | 896867 | 789427 | 16281 121 | 5 | 278 568.51/568.77 c 568s | 20 | 899527 | 791827 | 16281 122 | 5 | 278 570.61/570.81 c 570s | 20 | 902865 | 794827 | 16281 122 | 5 | 278 572.61/572.81 c 572s | 20 | 905917 | 797627 | 16281 122 | 5 | 278 574.61/574.84 c 574s | 20 | 908418 | 799927 | 16281 122 | 5 | 278 576.61/576.86 c 576s | 20 | 911535 | 802627 | 16281 123 | 5 | 278 578.61/578.88 c 578s | 20 | 914591 | 805327 | 16281 123 | 5 | 278 580.60/580.89 c 580s | 20 | 917340 | 807827 | 16281 123 | 5 | 278 583.02/583.28 c 583s | 20 | 917997 | 808427 | 16281 124 | 5 | 278 585.11/585.31 c 585s | 20 | 921430 | 811427 | 16281 124 | 5 | 278 587.11/587.32 c 587s | 20 | 924678 | 814327 | 16281 124 | 5 | 278 589.10/589.36 c 589s | 20 | 927005 | 816427 | 16281 124 | 5 | 278 591.20/591.41 c 591s | 20 | 930309 | 819427 | 16281 125 | 5 | 278 593.20/593.42 c 593s | 20 | 933166 | 822027 | 16281 125 | 5 | 278 595.20/595.43 c 595s | 20 | 935653 | 824327 | 16281 125 | 5 | 278 597.19/597.45 c 597s | 20 | 938541 | 827027 | 16281 126 | 5 | 278 599.19/599.49 c 599s | 20 | 940502 | 828827 | 16281 126 | 5 | 278 601.29/601.56 c 601s | 20 | 943456 | 831527 | 16281 126 | 5 | 278 603.29/603.59 c 603s | 20 | 945742 | 833627 | 16281 127 | 5 | 278 605.29/605.60 c 605s | 20 | 948693 | 836327 | 16281 127 | 5 | 278 607.39/607.67 c 607s | 20 | 951630 | 838927 | 16281 127 | 5 | 278 609.49/609.71 c 609s | 20 | 954140 | 841227 | 16281 128 | 5 | 278 611.49/611.71 c 611s | 20 | 956639 | 843527 | 16281 128 | 5 | 278 613.49/613.77 c 613s | 20 | 959624 | 846327 | 16281 128 | 5 | 278 615.49/615.77 c 615s | 20 | 962087 | 848627 | 16281 128 | 5 | 278 617.59/617.80 c 617s | 20 | 964511 | 850827 | 16281 129 | 5 | 278 619.58/619.85 c 619s | 20 | 967630 | 853627 | 16281 129 | 5 | 278 621.68/621.95 c 621s | 20 | 970088 | 855927 | 16281 129 | 5 | 278 623.69/623.99 c 623s | 20 | 972355 | 858027 | 16281 130 | 5 | 278 625.78/626.06 c 625s | 20 | 975324 | 860827 | 16281 130 | 5 | 278 627.78/628.08 c 627s | 20 | 977865 | 863227 | 16281 130 | 5 | 278 630.18/630.46 c 630s | 20 | 979043 | 864327 | 16281 130 | 5 | 278 632.18/632.48 c 632s | 20 | 981642 | 866627 | 16281 131 | 5 | 278 634.28/634.52 c 634s | 20 | 985008 | 869627 | 16281 131 | 5 | 278 636.28/636.60 c 636s | 20 | 987970 | 872327 | 16281 131 | 5 | 278 638.38/638.67 c 638s | 20 | 990440 | 874527 | 16281 132 | 5 | 278 640.48/640.74 c 640s | 20 | 993953 | 877627 | 16281 132 | 5 | 278 642.48/642.78 c 642s | 20 | 996806 | 880227 | 16281 132 | 5 | 278 644.68/644.91 c 644s | 20 | 999225 | 882427 | 16281 133 | 5 | 278 646.67/646.94 c 646s | 20 | 1002305 | 885327 | 16281 133 | 5 | 278 648.67/648.97 c 648s | 20 | 1005102 | 887927 | 16281 133 | 5 | 278 650.77/651.04 c 650s | 20 | 1006907 | 889527 | 16281 133 | 5 | 278 652.77/653.07 c 652s | 20 | 1009439 | 891727 | 16281 134 | 5 | 278 654.77/655.08 c 654s | 20 | 1013247 | 895027 | 16281 134 | 5 | 278 656.87/657.11 c 656s | 20 | 1016272 | 897727 | 16281 134 | 5 | 278 658.87/659.14 c 658s | 20 | 1019352 | 900527 | 16281 135 | 5 | 278 660.86/661.15 c 661s | 20 | 1022504 | 903327 | 16281 135 | 5 | 278 662.96/663.22 c 663s | 20 | 1024376 | 904927 | 16281 135 | 5 | 278 664.96/665.23 c 665s | 20 | 1027186 | 907427 | 16281 136 | 5 | 278 666.96/667.25 c 667s | 20 | 1030650 | 910427 | 16281 136 | 5 | 278 668.96/669.26 c 669s | 20 | 1033878 | 913327 | 16281 136 | 5 | 278 670.97/671.27 c 671s | 20 | 1036778 | 915927 | 16281 137 | 5 | 278 673.06/673.31 c 673s | 20 | 1039729 | 918527 | 16281 137 | 5 | 278 675.06/675.32 c 675s | 20 | 1042783 | 921227 | 16281 137 | 5 | 278 677.16/677.44 c 677s | 20 | 1045540 | 923727 | 16281 138 | 5 | 278 679.26/679.50 c 679s | 20 | 1048718 | 926527 | 16281 138 | 5 | 278 681.25/681.54 c 681s | 20 | 1051939 | 929427 | 16281 138 | 5 | 278 683.25/683.56 c 683s | 20 | 1054573 | 931827 | 16281 138 | 5 | 278 685.26/685.60 c 685s | 20 | 1057696 | 934727 | 16281 139 | 5 | 278 687.36/687.68 c 687s | 20 | 1058629 | 935527 | 16281 139 | 5 | 278 689.46/689.77 c 689s | 20 | 1061175 | 937827 | 16281 139 | 5 | 278 691.66/691.90 c 691s | 20 | 1063126 | 939627 | 16281 139 | 5 | 278 693.66/693.94 c 693s | 20 | 1065392 | 941627 | 16281 140 | 5 | 278 695.66/695.99 c 695s | 20 | 1068939 | 944727 | 16281 140 | 5 | 278 697.76/698.02 c 697s | 20 | 1071872 | 947327 | 16281 140 | 5 | 278 699.75/700.08 c 699s | 20 | 1074534 | 949727 | 16281 141 | 5 | 278 701.86/702.11 c 701s | 20 | 1077602 | 952527 | 16281 141 | 5 | 278 703.85/704.12 c 703s | 20 | 1080462 | 955127 | 16281 141 | 5 | 278 705.85/706.13 c 705s | 20 | 1083071 | 957527 | 16281 142 | 5 | 278 707.85/708.19 c 708s | 20 | 1085920 | 960127 | 16281 142 | 5 | 278 709.95/710.26 c 710s | 20 | 1088756 | 962727 | 16281 142 | 5 | 278 711.95/712.28 c 712s | 20 | 1090330 | 964127 | 16281 142 | 5 | 278 713.96/714.29 c 714s | 20 | 1092895 | 966427 | 16281 143 | 5 | 278 716.06/716.35 c 716s | 20 | 1095882 | 969127 | 16281 143 | 5 | 278 718.05/718.37 c 718s | 20 | 1098780 | 971627 | 16281 143 | 5 | 278 720.15/720.43 c 720s | 20 | 1101075 | 973727 | 16281 144 | 5 | 278 722.15/722.48 c 722s | 20 | 1103946 | 976327 | 16281 144 | 5 | 278 724.24/724.55 c 724s | 20 | 1106781 | 978927 | 16281 144 | 5 | 278 726.34/726.61 c 726s | 20 | 1109317 | 981227 | 16281 144 | 5 | 278 728.34/728.63 c 728s | 20 | 1112135 | 983827 | 16281 145 | 5 | 278 730.35/730.69 c 730s | 20 | 1114870 | 986327 | 16281 145 | 5 | 278 733.34/733.68 c 733s | 20 | 1117012 | 988327 | 16281 145 | 5 | 278 735.44/735.72 c 735s | 20 | 1119880 | 990827 | 16281 146 | 5 | 278 737.43/737.72 c 737s | 20 | 1123185 | 993827 | 17910 146 | 5 | 278 739.43/739.78 c 739s | 20 | 1126066 | 996427 | 17910 146 | 5 | 278 741.44/741.79 c 741s | 20 | 1128802 | 998827 | 17910 146 | 5 | 278 742.83/743.16 c 743s | 21 | 1130610 | 1000345 | 17910 147 | 5 | 278 744.83/745.19 c 745s | 21 | 1133794 | 1003145 | 17910 147 | 5 | 278 746.94/747.25 c 747s | 21 | 1136731 | 1005745 | 17910 147 | 5 | 278 748.93/749.29 c 749s | 21 | 1139514 | 1008245 | 17910 147 | 5 | 278 751.03/751.33 c 751s | 21 | 1142357 | 1010845 | 17910 148 | 5 | 278 753.03/753.34 c 753s | 21 | 1145614 | 1013645 | 17910 148 | 5 | 278 755.03/755.36 c 755s | 21 | 1148697 | 1016345 | 17910 148 | 5 | 278 757.13/757.40 c 757s | 21 | 1151585 | 1018845 | 17910 149 | 5 | 278 759.13/759.43 c 759s | 21 | 1154788 | 1021745 | 17910 149 | 5 | 278 761.14/761.44 c 761s | 21 | 1157686 | 1024345 | 17910 149 | 5 | 278 763.13/763.47 c 763s | 21 | 1160202 | 1026645 | 17910 149 | 5 | 278 765.13/765.49 c 765s | 21 | 1163274 | 1029445 | 17910 150 | 5 | 278 767.23/767.57 c 767s | 21 | 1166097 | 1032045 | 17910 150 | 5 | 278 769.33/769.64 c 769s | 21 | 1168909 | 1034645 | 17910 150 | 5 | 278 773.03/773.32 c 773s | 21 | 1170409 | 1036045 | 17910 151 | 5 | 278 775.03/775.34 c 775s | 21 | 1174025 | 1039245 | 17910 151 | 5 | 278 777.03/777.37 c 777s | 21 | 1176956 | 1041945 | 17910 151 | 5 | 278 779.13/779.47 c 779s | 21 | 1179636 | 1044345 | 17910 151 | 5 | 278 781.23/781.54 c 781s | 21 | 1182310 | 1046845 | 17910 152 | 5 | 278 783.33/783.61 c 783s | 21 | 1185026 | 1049345 | 17910 152 | 5 | 278 785.33/785.65 c 785s | 21 | 1187169 | 1051345 | 17910 152 | 5 | 278 787.33/787.68 c 787s | 21 | 1189632 | 1053545 | 17910 152 | 5 | 278 789.42/789.71 c 789s | 21 | 1192218 | 1055845 | 17910 153 | 5 | 278 791.42/791.74 c 791s | 21 | 1195211 | 1058545 | 17910 153 | 5 | 278 793.42/793.76 c 793s | 21 | 1198033 | 1061145 | 17910 153 | 5 | 278 795.52/795.84 c 795s | 21 | 1200323 | 1063245 | 17910 154 | 5 | 278 797.62/797.91 c 797s | 21 | 1203737 | 1066345 | 17910 154 | 5 | 278 799.62/799.93 c 799s | 21 | 1206603 | 1068945 | 17910 154 | 5 | 278 801.72/802.01 c 801s | 21 | 1209322 | 1071445 | 17910 154 | 5 | 278 803.72/804.07 c 803s | 21 | 1211719 | 1073645 | 17910 155 | 5 | 278 805.82/806.11 c 805s | 21 | 1214793 | 1076445 | 17910 155 | 5 | 278 807.82/808.19 c 808s | 21 | 1217516 | 1078945 | 17910 155 | 5 | 278 809.81/810.19 c 810s | 21 | 1219792 | 1081045 | 17910 156 | 5 | 278 811.91/812.22 c 812s | 21 | 1222668 | 1083745 | 17910 156 | 5 | 278 816.41/816.74 c 816s | 21 | 1224947 | 1085845 | 17910 156 | 5 | 278 818.42/818.75 c 818s | 21 | 1228021 | 1088345 | 17910 156 | 5 | 278 820.51/820.81 c 820s | 21 | 1231081 | 1090945 | 17910 157 | 5 | 278 822.50/822.82 c 822s | 21 | 1234829 | 1094245 | 17910 157 | 5 | 278 824.51/824.87 c 824s | 21 | 1237864 | 1096945 | 17910 157 | 5 | 278 826.51/826.88 c 826s | 21 | 1240634 | 1099445 | 17910 158 | 5 | 278 828.61/828.93 c 828s | 21 | 1244085 | 1102545 | 17910 158 | 5 | 278 830.61/830.99 c 830s | 21 | 1246988 | 1105045 | 17910 158 | 5 | 278 832.71/833.02 c 832s | 21 | 1249903 | 1107645 | 17910 158 | 5 | 278 834.71/835.05 c 834s | 21 | 1252210 | 1109645 | 17910 159 | 5 | 278 836.70/837.07 c 836s | 21 | 1255354 | 1112445 | 17910 159 | 5 | 278 838.70/839.09 c 838s | 21 | 1258763 | 1115345 | 17910 159 | 5 | 278 840.80/841.15 c 841s | 21 | 1261843 | 1118045 | 17910 160 | 5 | 278 842.80/843.18 c 843s | 21 | 1265201 | 1121045 | 17910 160 | 5 | 278 844.81/845.18 c 845s | 21 | 1268154 | 1123745 | 17910 160 | 5 | 278 846.91/847.22 c 847s | 21 | 1270749 | 1126045 | 17910 160 | 5 | 278 848.90/849.29 c 849s | 21 | 1273484 | 1128545 | 17910 161 | 5 | 278 851.00/851.34 c 851s | 21 | 1276696 | 1131345 | 17910 161 | 5 | 278 853.10/853.41 c 853s | 21 | 1279458 | 1133845 | 17910 161 | 5 | 278 855.10/855.45 c 855s | 21 | 1282121 | 1136245 | 17910 162 | 5 | 278 857.10/857.45 c 857s | 21 | 1284821 | 1138745 | 17910 162 | 5 | 278 859.11/859.46 c 859s | 21 | 1287303 | 1141045 | 17910 162 | 5 | 278 861.21/861.52 c 861s | 21 | 1289823 | 1143345 | 17910 162 | 5 | 278 863.30/863.65 c 863s | 21 | 1290045 | 1143545 | 17910 162 | 5 | 278 865.40/865.71 c 865s | 21 | 1292961 | 1146145 | 17910 163 | 5 | 278 867.40/867.77 c 867s | 21 | 1296059 | 1148945 | 17910 163 | 5 | 278 869.50/869.81 c 869s | 21 | 1298943 | 1151445 | 17910 163 | 5 | 278 871.50/871.88 c 871s | 21 | 1301518 | 1153745 | 17910 164 | 5 | 278 873.50/873.89 c 873s | 21 | 1304793 | 1156745 | 17910 164 | 5 | 278 875.61/875.93 c 875s | 21 | 1307624 | 1159345 | 17910 164 | 5 | 278 877.60/877.96 c 877s | 21 | 1310098 | 1161645 | 17910 164 | 5 | 278 880.40/880.72 c 880s | 21 | 1312598 | 1163945 | 17910 165 | 5 | 278 882.40/882.77 c 882s | 21 | 1316050 | 1167045 | 17910 165 | 5 | 278 884.50/884.82 c 884s | 21 | 1319046 | 1169745 | 17910 165 | 5 | 278 886.51/886.85 c 886s | 21 | 1321683 | 1172145 | 17910 166 | 5 | 278 888.50/888.88 c 888s | 21 | 1324738 | 1174945 | 17910 166 | 5 | 278 890.60/890.98 c 890s | 21 | 1327174 | 1177245 | 17910 166 | 5 | 278 892.60/892.99 c 892s | 21 | 1329419 | 1179345 | 17910 166 | 5 | 278 894.70/895.01 c 894s | 21 | 1331661 | 1181445 | 17910 167 | 5 | 278 896.69/897.02 c 896s | 21 | 1334008 | 1183645 | 17910 167 | 5 | 278 898.70/899.02 c 898s | 21 | 1336558 | 1186045 | 17910 167 | 5 | 278 900.69/901.03 c 900s | 21 | 1338941 | 1188245 | 17910 167 | 5 | 278 902.69/903.06 c 902s | 21 | 1341175 | 1190245 | 17910 168 | 5 | 278 904.79/905.11 c 904s | 21 | 1344113 | 1192945 | 17910 168 | 5 | 278 906.99/907.37 c 907s | 21 | 1344874 | 1193645 | 17910 168 | 5 | 278 909.09/909.41 c 909s | 21 | 1348193 | 1196545 | 17910 168 | 5 | 278 911.09/911.49 c 911s | 21 | 1350760 | 1198845 | 17910 169 | 5 | 278 913.19/913.56 c 913s | 21 | 1354034 | 1201845 | 17910 169 | 5 | 278 915.29/915.60 c 915s | 21 | 1356243 | 1203845 | 17910 169 | 5 | 278 917.30/917.67 c 917s | 21 | 1359340 | 1206545 | 17910 169 | 5 | 278 919.39/919.70 c 919s | 21 | 1361741 | 1208645 | 17910 170 | 5 | 278 921.39/921.76 c 921s | 21 | 1364901 | 1211445 | 17910 170 | 5 | 278 923.49/923.84 c 923s | 21 | 1367715 | 1214045 | 17910 170 | 5 | 278 925.49/925.88 c 925s | 21 | 1370335 | 1216445 | 17910 170 | 5 | 278 927.59/927.90 c 927s | 21 | 1373144 | 1219045 | 17910 171 | 5 | 278 929.59/929.95 c 929s | 21 | 1376153 | 1221845 | 17910 171 | 5 | 278 931.60/931.97 c 931s | 21 | 1378745 | 1224245 | 17910 171 | 5 | 278 933.80/934.15 c 934s | 21 | 1380752 | 1226145 | 17910 172 | 5 | 278 935.79/936.18 c 936s | 21 | 1381305 | 1226645 | 17910 172 | 5 | 278 937.89/938.24 c 938s | 21 | 1384841 | 1229745 | 17910 172 | 5 | 278 939.89/940.24 c 940s | 21 | 1387951 | 1232545 | 17910 172 | 5 | 278 941.99/942.33 c 942s | 21 | 1390471 | 1234845 | 17910 172 | 5 | 278 943.99/944.38 c 944s | 21 | 1393403 | 1237445 | 17910 173 | 5 | 278 946.09/946.41 c 946s | 21 | 1396327 | 1240145 | 17910 173 | 5 | 278 948.09/948.43 c 948s | 21 | 1398852 | 1242445 | 17910 173 | 5 | 278 950.09/950.43 c 950s | 21 | 1401162 | 1244545 | 17910 174 | 5 | 278 952.49/952.85 c 952s | 21 | 1403731 | 1246845 | 17910 174 | 5 | 278 954.58/954.92 c 954s | 21 | 1406781 | 1249645 | 17910 174 | 5 | 278 956.58/956.94 c 956s | 21 | 1409288 | 1251945 | 17910 174 | 5 | 278 958.58/958.95 c 958s | 21 | 1411540 | 1254045 | 17910 175 | 5 | 278 960.68/961.09 c 960s | 21 | 1414009 | 1256345 | 17910 175 | 5 | 278 962.78/963.15 c 963s | 21 | 1416793 | 1258845 | 17910 175 | 5 | 278 964.78/965.15 c 965s | 21 | 1419158 | 1261045 | 17910 175 | 5 | 278 967.28/967.62 c 967s | 21 | 1421215 | 1262845 | 17910 176 | 5 | 278 969.28/969.66 c 969s | 21 | 1424244 | 1265545 | 17910 176 | 5 | 278 971.38/971.73 c 971s | 21 | 1427030 | 1268045 | 17910 176 | 5 | 278 973.39/973.78 c 973s | 21 | 1429435 | 1270245 | 17910 176 | 5 | 278 975.48/975.80 c 975s | 21 | 1431904 | 1272545 | 17910 177 | 5 | 278 977.49/977.83 c 977s | 21 | 1434215 | 1274545 | 17910 177 | 5 | 278 979.49/979.85 c 979s | 21 | 1437238 | 1277245 | 17910 177 | 5 | 278 981.79/982.19 c 982s | 21 | 1439926 | 1279645 | 17910 177 | 5 | 278 983.89/984.27 c 984s | 21 | 1442954 | 1282345 | 17910 178 | 5 | 278 985.89/986.29 c 986s | 21 | 1446083 | 1285245 | 17910 178 | 5 | 278 987.99/988.37 c 988s | 21 | 1448681 | 1287645 | 17910 178 | 5 | 278 990.99/991.32 c 991s | 21 | 1450695 | 1289545 | 17910 179 | 5 | 278 992.98/993.32 c 993s | 21 | 1454096 | 1292545 | 17910 179 | 5 | 278 994.98/995.35 c 995s | 21 | 1457072 | 1295245 | 17910 179 | 5 | 278 997.08/997.42 c 997s | 21 | 1459771 | 1297745 | 17910 179 | 5 | 278 999.08/999.43 c 999s | 21 | 1462380 | 1300145 | 17910 180 | 5 | 278 1001.18/1001.54 c 1001s | 21 | 1464602 | 1302145 | 17910 180 | 5 | 278 1003.19/1003.56 c 1003s | 21 | 1467464 | 1304745 | 17910 180 | 5 | 278 1005.18/1005.60 c 1005s | 21 | 1470054 | 1307045 | 17910 180 | 5 | 278 1007.28/1007.65 c 1007s | 21 | 1472710 | 1309445 | 17910 181 | 5 | 278 1009.38/1009.72 c 1009s | 21 | 1475707 | 1312245 | 17910 181 | 5 | 278 1011.38/1011.73 c 1011s | 21 | 1478264 | 1314545 | 17910 181 | 5 | 278 1013.38/1013.78 c 1013s | 21 | 1480247 | 1316345 | 17910 181 | 5 | 278 1015.38/1015.79 c 1015s | 21 | 1482887 | 1318745 | 17910 182 | 5 | 278 1017.38/1017.79 c 1017s | 21 | 1486003 | 1321545 | 17910 182 | 5 | 278 1019.48/1019.83 c 1019s | 21 | 1488810 | 1324045 | 17910 182 | 5 | 278 1021.47/1021.87 c 1021s | 21 | 1491399 | 1326445 | 17910 183 | 5 | 278 1023.57/1023.94 c 1023s | 21 | 1494212 | 1329045 | 17910 183 | 5 | 278 1025.57/1025.95 c 1025s | 21 | 1496909 | 1331545 | 17910 183 | 5 | 278 1027.67/1028.01 c 1027s | 21 | 1499146 | 1333645 | 17910 183 | 5 | 278 1029.67/1030.04 c 1029s | 21 | 1501418 | 1335745 | 17910 184 | 5 | 278 1031.68/1032.06 c 1031s | 21 | 1504257 | 1338345 | 17910 184 | 5 | 278 1033.77/1034.10 c 1033s | 21 | 1506843 | 1340745 | 17910 184 | 5 | 278 1035.77/1036.12 c 1035s | 21 | 1507188 | 1341045 | 17910 184 | 5 | 278 1037.77/1038.14 c 1037s | 21 | 1510006 | 1343545 | 17910 184 | 5 | 278 1039.87/1040.21 c 1040s | 21 | 1512500 | 1345845 | 17910 185 | 5 | 278 1041.87/1042.22 c 1042s | 21 | 1515381 | 1348545 | 17910 185 | 5 | 278 1043.97/1044.32 c 1044s | 21 | 1517909 | 1350945 | 17910 185 | 5 | 278 1046.27/1046.63 c 1046s | 21 | 1520348 | 1353145 | 17910 186 | 5 | 278 1048.37/1048.70 c 1048s | 21 | 1523109 | 1355745 | 17910 186 | 5 | 278 1050.38/1050.72 c 1050s | 21 | 1525707 | 1358145 | 17910 186 | 5 | 278 1052.37/1052.75 c 1052s | 21 | 1528048 | 1360345 | 17910 186 | 5 | 278 1054.37/1054.76 c 1054s | 21 | 1529944 | 1362145 | 17910 187 | 5 | 278 1056.37/1056.77 c 1056s | 21 | 1532670 | 1364645 | 17910 187 | 5 | 278 1058.37/1058.78 c 1058s | 21 | 1535135 | 1366945 | 17910 187 | 5 | 278 1060.67/1061.08 c 1060s | 21 | 1536965 | 1368645 | 17910 187 | 5 | 278 1062.77/1063.14 c 1062s | 21 | 1539436 | 1370945 | 17910 187 | 5 | 278 1064.78/1065.18 c 1065s | 21 | 1542170 | 1373445 | 17910 188 | 5 | 278 1066.88/1067.22 c 1067s | 21 | 1545062 | 1376145 | 17910 188 | 5 | 278 1068.87/1069.26 c 1069s | 21 | 1547526 | 1378445 | 17910 188 | 5 | 278 1070.87/1071.29 c 1071s | 21 | 1549658 | 1380445 | 17910 189 | 5 | 278 1072.97/1073.31 c 1073s | 21 | 1552343 | 1382945 | 17910 189 | 5 | 278 1074.97/1075.37 c 1075s | 21 | 1555042 | 1385445 | 17910 189 | 5 | 278 1077.07/1077.42 c 1077s | 21 | 1557018 | 1387245 | 17910 189 | 5 | 278 1079.27/1079.69 c 1079s | 21 | 1559172 | 1389245 | 17910 190 | 5 | 278 1081.37/1081.74 c 1081s | 21 | 1562165 | 1391845 | 17910 190 | 5 | 278 1083.48/1083.81 c 1083s | 21 | 1564697 | 1394245 | 17910 190 | 5 | 278 1085.47/1085.84 c 1085s | 21 | 1566918 | 1396345 | 17910 190 | 5 | 278 1087.57/1087.98 c 1087s | 21 | 1568912 | 1398245 | 17910 190 | 5 | 278 1089.77/1090.15 c 1090s | 21 | 1571159 | 1400245 | 17910 191 | 5 | 278 1091.87/1092.22 c 1092s | 21 | 1573718 | 1402645 | 17910 191 | 5 | 278 1093.87/1094.27 c 1094s | 21 | 1575959 | 1404745 | 17910 191 | 5 | 278 1095.97/1096.38 c 1096s | 21 | 1578407 | 1406845 | 17910 191 | 5 | 278 1098.07/1098.45 c 1098s | 21 | 1580609 | 1408845 | 17910 192 | 5 | 278 1102.26/1102.64 c 1102s | 21 | 1581389 | 1409545 | 17910 192 | 5 | 278 1104.27/1104.69 c 1104s | 21 | 1584568 | 1412345 | 17910 192 | 5 | 278 1106.36/1106.72 c 1106s | 21 | 1587769 | 1415245 | 17910 192 | 5 | 278 1108.36/1108.72 c 1108s | 21 | 1590748 | 1417945 | 17910 193 | 5 | 278 1110.36/1110.74 c 1110s | 21 | 1594183 | 1420945 | 17910 193 | 5 | 278 1112.46/1112.80 c 1112s | 21 | 1597159 | 1423645 | 17910 193 | 5 | 278 1114.46/1114.80 c 1114s | 21 | 1599505 | 1425745 | 17910 194 | 5 | 278 1116.47/1116.81 c 1116s | 21 | 1602671 | 1428645 | 17910 194 | 5 | 278 1118.46/1118.85 c 1118s | 21 | 1604788 | 1430545 | 17910 194 | 5 | 278 1120.56/1120.91 c 1120s | 21 | 1607703 | 1433045 | 17910 194 | 5 | 278 1122.76/1123.17 c 1123s | 21 | 1610032 | 1435145 | 17910 195 | 5 | 278 1124.86/1125.24 c 1125s | 21 | 1613569 | 1438245 | 17910 195 | 5 | 278 1126.86/1127.26 c 1127s | 21 | 1616664 | 1441045 | 17910 195 | 5 | 278 1128.96/1129.31 c 1129s | 21 | 1619374 | 1443545 | 17910 195 | 5 | 278 1131.16/1131.58 c 1131s | 21 | 1621105 | 1445045 | 17910 196 | 5 | 278 1133.25/1133.62 c 1133s | 21 | 1624740 | 1448245 | 17910 196 | 5 | 278 1135.25/1135.65 c 1135s | 21 | 1627659 | 1450845 | 17910 196 | 5 | 278 1137.26/1137.67 c 1137s | 21 | 1630495 | 1453345 | 17910 197 | 5 | 278 1139.26/1139.67 c 1139s | 21 | 1633717 | 1456245 | 17910 197 | 5 | 278 1141.36/1141.72 c 1141s | 21 | 1636682 | 1458945 | 17910 197 | 5 | 278 1143.36/1143.73 c 1143s | 21 | 1639230 | 1461245 | 17910 197 | 5 | 278 1145.36/1145.77 c 1145s | 21 | 1642366 | 1464045 | 17910 198 | 5 | 278 1147.46/1147.81 c 1147s | 21 | 1645404 | 1466845 | 17910 198 | 5 | 278 1149.47/1149.84 c 1149s | 21 | 1646602 | 1467945 | 17910 198 | 5 | 278 1151.57/1151.90 c 1151s | 21 | 1649492 | 1470445 | 17910 198 | 5 | 278 1153.56/1153.94 c 1153s | 21 | 1652253 | 1472945 | 17910 199 | 5 | 278 1155.56/1155.97 c 1155s | 21 | 1655102 | 1475545 | 17910 199 | 5 | 278 1157.56/1157.98 c 1157s | 21 | 1657722 | 1477945 | 17910 199 | 5 | 278 1159.86/1160.24 c 1160s | 21 | 1660045 | 1480045 | 17910 200 | 5 | 278 1161.96/1162.31 c 1162s | 21 | 1663335 | 1483045 | 17910 200 | 5 | 278 1163.96/1164.32 c 1164s | 21 | 1666189 | 1485645 | 17910 200 | 5 | 278 1165.96/1166.35 c 1166s | 21 | 1668879 | 1488145 | 17910 200 | 5 | 278 1167.95/1168.38 c 1168s | 21 | 1671450 | 1490545 | 19701 201 | 5 | 278 1170.05/1170.44 c 1170s | 21 | 1674148 | 1493045 | 19701 201 | 5 | 278 1172.85/1173.21 c 1173s | 21 | 1675024 | 1493845 | 19701 201 | 5 | 278 1174.85/1175.25 c 1175s | 21 | 1678234 | 1496545 | 19701 201 | 5 | 278 1176.86/1177.26 c 1177s | 21 | 1680983 | 1498945 | 19701 201 | 5 | 278 1178.65/1179.02 c 1178s | 22 | 1683042 | 1500622 | 19701 202 | 5 | 278 1180.65/1181.08 c 1180s | 22 | 1686034 | 1503122 | 19701 202 | 5 | 278 1182.75/1183.15 c 1183s | 22 | 1689379 | 1506122 | 19701 202 | 5 | 278 1184.75/1185.19 c 1185s | 22 | 1692379 | 1508722 | 19701 202 | 5 | 278 1186.85/1187.23 c 1187s | 22 | 1695097 | 1511222 | 19701 203 | 5 | 278 1188.85/1189.24 c 1189s | 22 | 1698041 | 1513922 | 19701 203 | 5 | 278 1190.85/1191.25 c 1191s | 22 | 1700773 | 1516322 | 19701 203 | 5 | 278 1193.15/1193.53 c 1193s | 22 | 1703037 | 1518322 | 19701 203 | 5 | 278 1195.25/1195.62 c 1195s | 22 | 1704945 | 1519922 | 19701 204 | 5 | 278 1197.25/1197.63 c 1197s | 22 | 1708509 | 1523022 | 19701 204 | 5 | 278 1199.24/1199.65 c 1199s | 22 | 1711546 | 1525722 | 19701 204 | 5 | 278 1201.24/1201.68 c 1201s | 22 | 1714234 | 1528122 | 19701 204 | 5 | 278 1203.26/1203.70 c 1203s | 22 | 1716790 | 1530422 | 19701 205 | 5 | 278 1205.35/1205.71 c 1205s | 22 | 1719405 | 1532722 | 19701 205 | 5 | 278 1207.35/1207.77 c 1207s | 22 | 1722547 | 1535422 | 19701 205 | 5 | 278 1209.35/1209.79 c 1209s | 22 | 1725461 | 1538022 | 19701 205 | 5 | 278 1211.45/1211.83 c 1211s | 22 | 1728087 | 1540422 | 19701 206 | 5 | 278 1213.45/1213.86 c 1213s | 22 | 1731129 | 1543122 | 19701 206 | 5 | 278 1215.55/1215.91 c 1215s | 22 | 1733891 | 1545622 | 19701 206 | 5 | 278 1217.56/1217.94 c 1217s | 22 | 1736273 | 1547822 | 19701 206 | 5 | 278 1219.55/1219.94 c 1219s | 22 | 1738488 | 1549822 | 19701 207 | 5 | 278 1221.55/1221.94 c 1221s | 22 | 1741490 | 1552522 | 19701 207 | 5 | 278 1223.55/1223.99 c 1223s | 22 | 1744179 | 1555022 | 19701 207 | 5 | 278 1227.25/1227.64 c 1227s | 22 | 1744425 | 1555222 | 19701 207 | 5 | 278 1229.25/1229.65 c 1229s | 22 | 1747496 | 1557922 | 19701 207 | 5 | 278 1231.24/1231.66 c 1231s | 22 | 1749780 | 1559922 | 19701 208 | 5 | 278 1233.24/1233.69 c 1233s | 22 | 1752968 | 1562722 | 19701 208 | 5 | 278 1235.34/1235.73 c 1235s | 22 | 1755852 | 1565322 | 19701 208 | 5 | 278 1237.35/1237.76 c 1237s | 22 | 1758371 | 1567622 | 19701 208 | 5 | 278 1239.44/1239.83 c 1239s | 22 | 1760832 | 1569822 | 19701 209 | 5 | 278 1241.44/1241.83 c 1241s | 22 | 1763022 | 1571822 | 19701 209 | 5 | 278 1243.44/1243.85 c 1243s | 22 | 1765971 | 1574522 | 19701 209 | 5 | 278 1245.54/1245.92 c 1245s | 22 | 1768659 | 1576922 | 19701 209 | 5 | 278 1247.54/1247.95 c 1247s | 22 | 1770973 | 1579022 | 19701 209 | 5 | 278 1249.64/1250.01 c 1249s | 22 | 1773765 | 1581522 | 19701 210 | 5 | 278 1251.65/1252.01 c 1251s | 22 | 1776658 | 1584122 | 19701 210 | 5 | 278 1253.64/1254.03 c 1253s | 22 | 1779154 | 1586422 | 19701 210 | 5 | 278 1255.64/1256.03 c 1255s | 22 | 1781201 | 1588322 | 19701 210 | 5 | 278 1257.64/1258.08 c 1257s | 22 | 1783501 | 1590422 | 19701 211 | 5 | 278 1259.74/1260.15 c 1260s | 22 | 1786517 | 1593122 | 19701 211 | 5 | 278 1262.34/1262.70 c 1262s | 22 | 1787089 | 1593622 | 19701 211 | 5 | 278 1264.34/1264.72 c 1264s | 22 | 1790159 | 1596222 | 19701 211 | 5 | 278 1266.44/1266.80 c 1266s | 22 | 1793186 | 1598822 | 19701 211 | 5 | 278 1268.44/1268.82 c 1268s | 22 | 1796146 | 1601422 | 19701 212 | 5 | 278 1270.45/1270.83 c 1270s | 22 | 1799643 | 1604522 | 19701 212 | 5 | 278 1272.44/1272.85 c 1272s | 22 | 1802415 | 1607022 | 19701 212 | 5 | 278 1274.54/1274.92 c 1274s | 22 | 1805030 | 1609422 | 19701 212 | 5 | 278 1277.74/1278.14 c 1277s | 22 | 1807938 | 1611922 | 19701 213 | 5 | 278 1279.74/1280.16 c 1280s | 22 | 1811048 | 1614622 | 19701 213 | 5 | 278 1281.74/1282.17 c 1282s | 22 | 1814028 | 1617122 | 19701 213 | 5 | 278 1283.73/1284.17 c 1284s | 22 | 1816490 | 1619322 | 19701 213 | 5 | 278 1285.74/1286.20 c 1286s | 22 | 1819529 | 1622022 | 19701 214 | 5 | 278 1288.13/1288.59 c 1288s | 22 | 1822526 | 1624722 | 19701 214 | 5 | 278 1290.24/1290.65 c 1290s | 22 | 1825064 | 1627022 | 19701 214 | 5 | 278 1292.34/1292.73 c 1292s | 22 | 1827470 | 1629222 | 19701 214 | 5 | 278 1294.33/1294.79 c 1294s | 22 | 1830119 | 1631622 | 19701 215 | 5 | 278 1296.43/1296.85 c 1296s | 22 | 1832807 | 1634122 | 19701 215 | 5 | 278 1298.53/1298.91 c 1298s | 22 | 1835417 | 1636522 | 19701 215 | 5 | 278 1300.53/1300.93 c 1300s | 22 | 1837706 | 1638622 | 19701 215 | 5 | 278 1302.54/1302.97 c 1302s | 22 | 1839384 | 1640122 | 19701 216 | 5 | 278 1304.54/1304.98 c 1304s | 22 | 1842556 | 1642922 | 19701 216 | 5 | 278 1306.64/1307.01 c 1306s | 22 | 1845360 | 1645422 | 19701 216 | 5 | 278 1308.64/1309.07 c 1308s | 22 | 1848022 | 1647822 | 19701 216 | 5 | 278 1311.14/1311.54 c 1311s | 22 | 1849345 | 1649022 | 19701 216 | 5 | 278 1313.13/1313.56 c 1313s | 22 | 1851963 | 1651322 | 19701 217 | 5 | 278 1315.13/1315.57 c 1315s | 22 | 1854862 | 1653922 | 19701 217 | 5 | 278 1317.23/1317.62 c 1317s | 22 | 1857623 | 1656422 | 19701 217 | 5 | 278 1319.23/1319.69 c 1319s | 22 | 1860297 | 1658822 | 19701 217 | 5 | 278 1321.33/1321.75 c 1321s | 22 | 1863233 | 1661522 | 19701 218 | 5 | 278 1323.43/1323.81 c 1323s | 22 | 1866346 | 1664322 | 19701 218 | 5 | 278 1325.44/1325.85 c 1325s | 22 | 1869209 | 1666922 | 19701 218 | 5 | 278 1327.54/1327.92 c 1327s | 22 | 1871695 | 1669222 | 19701 218 | 5 | 278 1329.84/1330.28 c 1330s | 22 | 1874370 | 1671722 | 19701 219 | 5 | 278 1331.83/1332.30 c 1332s | 22 | 1875471 | 1672722 | 19701 219 | 5 | 278 1333.93/1334.36 c 1334s | 22 | 1878439 | 1675422 | 19701 219 | 5 | 278 1336.03/1336.43 c 1336s | 22 | 1881062 | 1677822 | 19701 219 | 5 | 278 1338.03/1338.48 c 1338s | 22 | 1883000 | 1679622 | 19701 220 | 5 | 278 1340.13/1340.50 c 1340s | 22 | 1885671 | 1682122 | 19701 220 | 5 | 278 1342.12/1342.52 c 1342s | 22 | 1888304 | 1684522 | 19701 220 | 5 | 278 1344.13/1344.56 c 1344s | 22 | 1890687 | 1686722 | 19701 220 | 5 | 278 1346.33/1346.76 c 1346s | 22 | 1892936 | 1688822 | 19701 220 | 5 | 278 1348.32/1348.77 c 1348s | 22 | 1894927 | 1690622 | 19701 221 | 5 | 278 1350.42/1350.80 c 1350s | 22 | 1897816 | 1693222 | 19701 221 | 5 | 278 1352.42/1352.84 c 1352s | 22 | 1900387 | 1695622 | 19701 221 | 5 | 278 1354.42/1354.89 c 1354s | 22 | 1902649 | 1697722 | 19701 221 | 5 | 278 1356.52/1356.96 c 1356s | 22 | 1904642 | 1699522 | 19701 222 | 5 | 278 1358.62/1359.01 c 1358s | 22 | 1907347 | 1702022 | 19701 222 | 5 | 278 1362.43/1362.85 c 1362s | 22 | 1908933 | 1703422 | 19701 222 | 5 | 278 1364.53/1364.92 c 1364s | 22 | 1909949 | 1704222 | 19701 222 | 5 | 278 1366.53/1366.92 c 1366s | 22 | 1912841 | 1706722 | 19701 222 | 5 | 278 1368.63/1369.00 c 1368s | 22 | 1915673 | 1709122 | 19701 223 | 5 | 278 1370.63/1371.04 c 1370s | 22 | 1918700 | 1711822 | 19701 223 | 5 | 278 1372.63/1373.07 c 1372s | 22 | 1921710 | 1714422 | 19701 223 | 5 | 278 1374.63/1375.07 c 1374s | 22 | 1924374 | 1716822 | 19701 223 | 5 | 278 1376.83/1377.23 c 1377s | 22 | 1926996 | 1719122 | 19701 224 | 5 | 278 1378.83/1379.27 c 1379s | 22 | 1930493 | 1722222 | 19701 224 | 5 | 278 1380.83/1381.28 c 1381s | 22 | 1933215 | 1724722 | 19701 224 | 5 | 278 1384.42/1384.81 c 1384s | 22 | 1935877 | 1727122 | 19701 224 | 5 | 278 1386.42/1386.87 c 1386s | 22 | 1938022 | 1729022 | 19701 225 | 5 | 278 1388.52/1388.90 c 1388s | 22 | 1941241 | 1731822 | 19701 225 | 5 | 278 1390.52/1390.98 c 1390s | 22 | 1944355 | 1734522 | 19701 225 | 5 | 278 1392.62/1393.04 c 1392s | 22 | 1947059 | 1737022 | 19701 225 | 5 | 278 1394.63/1395.10 c 1394s | 22 | 1949621 | 1739322 | 19701 226 | 5 | 278 1396.72/1397.16 c 1397s | 22 | 1952399 | 1741822 | 19701 226 | 5 | 278 1398.72/1399.18 c 1399s | 22 | 1955260 | 1744422 | 19701 226 | 5 | 278 1400.82/1401.23 c 1401s | 22 | 1958190 | 1747022 | 19701 226 | 5 | 278 1402.82/1403.25 c 1403s | 22 | 1960770 | 1749222 | 19701 227 | 5 | 278 1404.82/1405.28 c 1405s | 22 | 1964003 | 1752122 | 19701 227 | 5 | 278 1406.92/1407.31 c 1407s | 22 | 1966695 | 1754622 | 19701 227 | 5 | 278 1408.93/1409.39 c 1409s | 22 | 1969431 | 1757122 | 19701 227 | 5 | 278 1411.02/1411.44 c 1411s | 22 | 1971553 | 1759122 | 19701 228 | 5 | 278 1413.02/1413.48 c 1413s | 22 | 1974621 | 1761922 | 19701 228 | 5 | 278 1417.21/1417.67 c 1417s | 22 | 1975169 | 1762422 | 19701 228 | 5 | 278 1419.31/1419.74 c 1419s | 22 | 1978635 | 1765422 | 19701 228 | 5 | 278 1421.31/1421.78 c 1421s | 22 | 1981336 | 1767922 | 19701 228 | 5 | 278 1423.32/1423.79 c 1423s | 22 | 1983915 | 1770222 | 19701 229 | 5 | 278 1425.42/1425.85 c 1425s | 22 | 1986898 | 1772922 | 19701 229 | 5 | 278 1427.51/1427.92 c 1427s | 22 | 1989409 | 1775222 | 19701 229 | 5 | 278 1429.51/1429.93 c 1429s | 22 | 1991675 | 1777322 | 19701 229 | 5 | 278 1431.51/1431.94 c 1431s | 22 | 1993549 | 1779022 | 19701 230 | 5 | 278 1433.51/1433.98 c 1433s | 22 | 1996338 | 1781522 | 19701 230 | 5 | 278 1435.61/1436.08 c 1435s | 22 | 1999008 | 1783922 | 19701 230 | 5 | 278 1437.71/1438.11 c 1437s | 22 | 2001448 | 1786122 | 19701 230 | 5 | 278 1439.72/1440.18 c 1440s | 22 | 2003404 | 1787922 | 19701 230 | 5 | 278 1441.81/1442.24 c 1442s | 22 | 2005530 | 1789922 | 19701 231 | 5 | 278 1443.91/1444.30 c 1444s | 22 | 2008195 | 1792322 | 19701 231 | 5 | 278 1445.91/1446.36 c 1446s | 22 | 2010564 | 1794522 | 19701 231 | 5 | 278 1448.01/1448.43 c 1448s | 22 | 2011809 | 1795622 | 19701 231 | 5 | 278 1450.11/1450.50 c 1450s | 22 | 2014320 | 1797922 | 19701 231 | 5 | 278 1452.11/1452.54 c 1452s | 22 | 2016727 | 1800122 | 19701 232 | 5 | 278 1454.11/1454.56 c 1454s | 22 | 2019509 | 1802622 | 19701 232 | 5 | 278 1456.21/1456.61 c 1456s | 22 | 2022108 | 1805022 | 19701 232 | 5 | 278 1458.21/1458.67 c 1458s | 22 | 2024395 | 1807122 | 19701 232 | 5 | 278 1460.21/1460.68 c 1460s | 22 | 2026283 | 1808922 | 19701 233 | 5 | 278 1462.31/1462.71 c 1462s | 22 | 2027770 | 1810222 | 19701 233 | 5 | 278 1464.31/1464.78 c 1464s | 22 | 2030720 | 1812822 | 19701 233 | 5 | 278 1466.31/1466.79 c 1466s | 22 | 2033547 | 1815322 | 19701 233 | 5 | 278 1468.42/1468.87 c 1468s | 22 | 2036074 | 1817622 | 19701 233 | 5 | 278 1470.71/1471.17 c 1471s | 22 | 2038155 | 1819522 | 19701 234 | 5 | 278 1472.72/1473.18 c 1473s | 22 | 2040841 | 1821822 | 19701 234 | 5 | 278 1474.81/1475.25 c 1475s | 22 | 2043724 | 1824422 | 19701 234 | 5 | 278 1476.81/1477.26 c 1477s | 22 | 2046274 | 1826722 | 19701 234 | 5 | 278 1478.91/1479.34 c 1479s | 22 | 2048362 | 1828622 | 19701 235 | 5 | 278 1480.91/1481.39 c 1481s | 22 | 2051761 | 1831522 | 19701 235 | 5 | 278 1483.01/1483.44 c 1483s | 22 | 2054503 | 1833922 | 19701 235 | 5 | 278 1485.01/1485.47 c 1485s | 22 | 2057250 | 1836322 | 19701 235 | 5 | 278 1487.11/1487.54 c 1487s | 22 | 2059693 | 1838522 | 19701 235 | 5 | 278 1489.10/1489.54 c 1489s | 22 | 2062332 | 1840922 | 19701 236 | 5 | 278 1491.10/1491.57 c 1491s | 22 | 2065415 | 1843722 | 19701 236 | 5 | 278 1493.10/1493.58 c 1493s | 22 | 2067920 | 1846022 | 19701 236 | 5 | 278 1495.10/1495.59 c 1495s | 22 | 2070518 | 1848322 | 19701 236 | 5 | 278 1497.20/1497.61 c 1497s | 22 | 2073299 | 1850822 | 19701 237 | 5 | 278 1499.21/1499.67 c 1499s | 22 | 2076116 | 1853422 | 19701 237 | 5 | 278 1501.20/1501.70 c 1501s | 22 | 2078752 | 1855822 | 19701 237 | 5 | 278 1504.71/1505.15 c 1505s | 22 | 2080272 | 1857222 | 19701 237 | 5 | 278 1507.10/1507.56 c 1507s | 22 | 2083096 | 1859622 | 19701 238 | 5 | 278 1509.11/1509.58 c 1509s | 22 | 2086860 | 1862922 | 19701 238 | 5 | 278 1511.21/1511.62 c 1511s | 22 | 2089719 | 1865522 | 19701 238 | 5 | 278 1513.20/1513.68 c 1513s | 22 | 2092494 | 1868022 | 19701 238 | 5 | 278 1515.30/1515.72 c 1515s | 22 | 2095420 | 1870622 | 19701 239 | 5 | 278 1517.30/1517.73 c 1517s | 22 | 2098081 | 1873022 | 19701 239 | 5 | 278 1519.30/1519.74 c 1519s | 22 | 2100834 | 1875522 | 19701 239 | 5 | 278 1521.30/1521.78 c 1521s | 22 | 2103310 | 1877822 | 19701 239 | 5 | 278 1523.40/1523.83 c 1523s | 22 | 2105780 | 1880122 | 19701 240 | 5 | 278 1525.40/1525.85 c 1525s | 22 | 2108383 | 1882522 | 19701 240 | 5 | 278 1527.40/1527.86 c 1527s | 22 | 2110923 | 1884922 | 19701 240 | 5 | 278 1529.40/1529.87 c 1529s | 22 | 2113489 | 1887222 | 19701 240 | 5 | 278 1531.50/1531.92 c 1531s | 22 | 2116203 | 1889722 | 19701 241 | 5 | 278 1535.50/1535.93 c 1535s | 22 | 2117290 | 1890722 | 19701 241 | 5 | 278 1537.60/1538.00 c 1537s | 22 | 2120229 | 1893322 | 19701 241 | 5 | 278 1539.60/1540.07 c 1539s | 22 | 2123217 | 1895922 | 19701 241 | 5 | 278 1541.60/1542.09 c 1541s | 22 | 2125826 | 1898222 | 19701 241 | 5 | 278 1543.60/1544.09 c 1543s | 22 | 2128792 | 1900922 | 19701 242 | 5 | 278 1545.70/1546.14 c 1545s | 22 | 2131890 | 1903722 | 19701 242 | 5 | 278 1547.70/1548.19 c 1548s | 22 | 2134524 | 1906122 | 19701 242 | 5 | 278 1549.80/1550.25 c 1550s | 22 | 2136843 | 1908222 | 19701 242 | 5 | 278 1551.80/1552.29 c 1552s | 22 | 2139625 | 1910722 | 19701 243 | 5 | 278 1553.89/1554.30 c 1554s | 22 | 2142562 | 1913422 | 19701 243 | 5 | 278 1555.89/1556.38 c 1556s | 22 | 2144991 | 1915722 | 19701 243 | 5 | 278 1557.89/1558.39 c 1558s | 22 | 2147251 | 1917822 | 19701 243 | 5 | 278 1560.09/1560.50 c 1560s | 22 | 2149656 | 1920022 | 19701 244 | 5 | 278 1562.09/1562.57 c 1562s | 22 | 2152251 | 1922422 | 19701 244 | 5 | 278 1564.10/1564.58 c 1564s | 22 | 2154596 | 1924622 | 19701 244 | 5 | 278 1566.20/1566.64 c 1566s | 22 | 2156310 | 1926222 | 19701 244 | 5 | 278 1568.29/1568.71 c 1568s | 22 | 2158516 | 1928222 | 19701 244 | 5 | 278 1570.29/1570.78 c 1570s | 22 | 2160958 | 1930422 | 19701 245 | 5 | 278 1572.39/1572.83 c 1572s | 22 | 2163561 | 1932822 | 19701 245 | 5 | 278 1574.39/1574.85 c 1574s | 22 | 2165900 | 1934922 | 19701 245 | 5 | 278 1576.39/1576.88 c 1576s | 22 | 2168235 | 1937022 | 19701 245 | 5 | 278 1578.40/1578.88 c 1578s | 22 | 2170400 | 1939022 | 19701 246 | 5 | 278 1581.49/1582.00 c 1581s | 22 | 2170517 | 1939122 | 19701 246 | 5 | 278 1583.59/1584.07 c 1583s | 22 | 2173905 | 1942022 | 19701 246 | 5 | 278 1585.69/1586.13 c 1585s | 22 | 2177056 | 1944822 | 19701 246 | 5 | 278 1587.69/1588.14 c 1587s | 22 | 2179770 | 1947222 | 19701 246 | 5 | 278 1589.69/1590.15 c 1589s | 22 | 2182830 | 1949922 | 19701 247 | 5 | 278 1591.79/1592.20 c 1592s | 22 | 2186067 | 1952822 | 19701 247 | 5 | 278 1593.79/1594.26 c 1594s | 22 | 2188932 | 1955422 | 19701 247 | 5 | 278 1595.89/1596.32 c 1596s | 22 | 2191424 | 1957722 | 19701 247 | 5 | 278 1597.98/1598.46 c 1598s | 22 | 2192308 | 1958522 | 19701 248 | 5 | 278 1600.08/1600.53 c 1600s | 22 | 2195568 | 1961522 | 19701 248 | 5 | 278 1602.08/1602.58 c 1602s | 22 | 2197999 | 1963822 | 19701 248 | 5 | 278 1604.19/1604.66 c 1604s | 22 | 2200524 | 1966122 | 19701 248 | 5 | 278 1606.29/1606.74 c 1606s | 22 | 2202648 | 1968122 | 19701 248 | 5 | 278 1608.29/1608.77 c 1608s | 22 | 2205069 | 1970422 | 19701 249 | 5 | 278 1610.39/1610.85 c 1610s | 22 | 2207544 | 1972722 | 19701 249 | 5 | 278 1612.40/1612.86 c 1612s | 22 | 2209724 | 1974722 | 19701 249 | 5 | 278 1614.39/1614.89 c 1614s | 22 | 2212109 | 1976922 | 19701 249 | 5 | 278 1616.49/1616.93 c 1616s | 22 | 2214227 | 1978822 | 19701 250 | 5 | 278 1618.49/1618.95 c 1618s | 22 | 2216966 | 1981322 | 19701 250 | 5 | 278 1620.59/1621.02 c 1620s | 22 | 2219555 | 1983722 | 19701 250 | 5 | 278 1622.59/1623.05 c 1622s | 22 | 2222000 | 1985922 | 19701 250 | 5 | 278 1624.59/1625.06 c 1624s | 22 | 2223093 | 1986922 | 19701 250 | 5 | 278 1626.69/1627.11 c 1626s | 22 | 2225673 | 1989222 | 19701 251 | 5 | 278 1628.69/1629.12 c 1628s | 22 | 2228708 | 1991922 | 19701 251 | 5 | 278 1630.69/1631.19 c 1631s | 22 | 2231451 | 1994422 | 19701 251 | 5 | 278 1632.78/1633.27 c 1633s | 22 | 2234204 | 1996922 | 19701 251 | 5 | 278 1634.78/1635.28 c 1635s | 22 | 2236861 | 1999322 | 19701 252 | 5 | 278 1636.88/1637.31 c 1637s | 22 | 2239343 | 2001622 | 19701 252 | 5 | 278 1638.89/1639.33 c 1639s | 22 | 2242307 | 2004322 | 19701 252 | 5 | 278 1640.88/1641.38 c 1641s | 22 | 2245076 | 2006822 | 19701 252 | 5 | 278 1642.98/1643.45 c 1643s | 22 | 2247219 | 2008822 | 19701 253 | 5 | 278 1644.98/1645.48 c 1645s | 22 | 2250202 | 2011522 | 19701 253 | 5 | 278 1646.98/1647.48 c 1647s | 22 | 2251304 | 2012522 | 19701 253 | 5 | 278 1649.08/1649.56 c 1649s | 22 | 2253890 | 2014922 | 19701 253 | 5 | 278 1651.18/1651.61 c 1651s | 22 | 2256389 | 2017222 | 19701 253 | 5 | 278 1653.18/1653.62 c 1653s | 22 | 2258519 | 2019222 | 19701 254 | 5 | 278 1655.18/1655.67 c 1655s | 22 | 2260844 | 2021422 | 19701 254 | 5 | 278 1657.28/1657.76 c 1657s | 22 | 2263405 | 2023822 | 19701 254 | 5 | 278 1659.28/1659.76 c 1659s | 22 | 2265616 | 2025922 | 19701 254 | 5 | 278 1661.28/1661.77 c 1661s | 22 | 2267009 | 2027222 | 19701 254 | 5 | 278 1663.38/1663.83 c 1663s | 22 | 2268948 | 2029022 | 19701 255 | 5 | 278 1665.38/1665.87 c 1665s | 22 | 2271410 | 2031322 | 19701 255 | 5 | 278 1667.39/1667.89 c 1667s | 22 | 2273691 | 2033422 | 19701 255 | 5 | 278 1669.48/1669.93 c 1669s | 22 | 2275804 | 2035322 | 19701 255 | 5 | 278 1671.48/1671.98 c 1671s | 22 | 2277810 | 2037022 | 19701 255 | 5 | 278 1673.58/1674.02 c 1673s | 22 | 2279688 | 2038722 | 19701 256 | 5 | 278 1675.58/1676.02 c 1675s | 22 | 2282316 | 2041122 | 19701 256 | 5 | 278 1677.58/1678.09 c 1677s | 22 | 2284676 | 2043322 | 19701 256 | 5 | 278 1682.07/1682.58 c 1682s | 22 | 2285906 | 2044422 | 19701 256 | 5 | 278 1684.17/1684.66 c 1684s | 22 | 2288946 | 2047022 | 19701 256 | 5 | 278 1686.27/1686.71 c 1686s | 22 | 2291767 | 2049522 | 19701 257 | 5 | 278 1688.28/1688.77 c 1688s | 22 | 2295032 | 2052422 | 19701 257 | 5 | 278 1690.27/1690.78 c 1690s | 22 | 2297846 | 2054922 | 19701 257 | 5 | 278 1692.37/1692.82 c 1692s | 22 | 2300447 | 2057222 | 19701 257 | 5 | 278 1694.37/1694.84 c 1694s | 22 | 2303341 | 2059722 | 19701 258 | 5 | 278 1696.37/1696.88 c 1696s | 22 | 2306519 | 2062522 | 19701 258 | 5 | 278 1698.47/1698.96 c 1698s | 22 | 2309549 | 2065222 | 19701 258 | 5 | 278 1700.57/1701.02 c 1700s | 22 | 2312239 | 2067622 | 19701 258 | 5 | 278 1702.58/1703.03 c 1702s | 22 | 2315308 | 2070422 | 19701 259 | 5 | 278 1704.57/1705.06 c 1704s | 22 | 2318292 | 2073122 | 19701 259 | 5 | 278 1706.67/1707.13 c 1706s | 22 | 2321113 | 2075722 | 19701 259 | 5 | 278 1708.77/1709.20 c 1709s | 22 | 2323486 | 2077922 | 19701 260 | 5 | 278 1711.77/1712.22 c 1712s | 22 | 2323596 | 2078022 | 19701 260 | 5 | 278 1713.77/1714.23 c 1714s | 22 | 2326749 | 2080822 | 19701 260 | 5 | 278 1715.78/1716.30 c 1716s | 22 | 2329621 | 2083422 | 19701 260 | 5 | 278 1717.87/1718.33 c 1718s | 22 | 2332361 | 2085922 | 19701 260 | 5 | 278 1719.87/1720.33 c 1720s | 22 | 2334757 | 2088122 | 19701 261 | 5 | 278 1721.97/1722.48 c 1722s | 22 | 2337547 | 2090722 | 19701 261 | 5 | 278 1724.07/1724.55 c 1724s | 22 | 2339980 | 2092922 | 19701 261 | 5 | 278 1726.07/1726.58 c 1726s | 22 | 2342392 | 2095122 | 19701 261 | 5 | 278 1728.17/1728.61 c 1728s | 22 | 2344557 | 2097122 | 19701 261 | 5 | 278 1730.18/1730.68 c 1730s | 22 | 2347031 | 2099422 | 19701 262 | 5 | 278 1732.28/1732.75 c 1732s | 22 | 2349610 | 2101822 | 19701 262 | 5 | 278 1734.37/1734.81 c 1734s | 22 | 2352193 | 2104222 | 19701 262 | 5 | 278 1736.46/1736.90 c 1736s | 22 | 2353199 | 2105122 | 19701 262 | 5 | 278 1738.46/1738.94 c 1738s | 22 | 2355613 | 2107322 | 19701 262 | 5 | 278 1740.56/1741.01 c 1740s | 22 | 2358093 | 2109522 | 19701 263 | 5 | 278 1742.56/1743.04 c 1742s | 22 | 2361083 | 2112222 | 19701 263 | 5 | 278 1744.66/1745.12 c 1744s | 22 | 2363726 | 2114622 | 19701 263 | 5 | 278 1746.67/1747.19 c 1747s | 22 | 2366012 | 2116722 | 19701 263 | 5 | 278 1748.77/1749.23 c 1749s | 22 | 2368373 | 2118922 | 19701 264 | 5 | 278 1750.77/1751.23 c 1751s | 22 | 2370852 | 2121122 | 19701 264 | 5 | 278 1752.87/1753.30 c 1753s | 22 | 2373541 | 2123522 | 19701 264 | 5 | 278 1754.97/1755.41 c 1755s | 22 | 2375974 | 2125722 | 19701 264 | 5 | 278 1756.97/1757.44 c 1757s | 22 | 2378053 | 2127622 | 19701 265 | 5 | 278 1759.07/1759.51 c 1759s | 22 | 2379585 | 2129022 | 19701 265 | 5 | 278 1761.07/1761.59 c 1761s | 22 | 2382508 | 2131622 | 19701 265 | 5 | 278 1763.17/1763.61 c 1763s | 22 | 2385345 | 2134222 | 19701 265 | 5 | 278 1765.17/1765.64 c 1765s | 22 | 2387820 | 2136422 | 19701 265 | 5 | 278 1767.17/1767.66 c 1767s | 22 | 2390327 | 2138722 | 19701 266 | 5 | 278 1769.27/1769.71 c 1769s | 22 | 2393023 | 2141222 | 19701 266 | 5 | 278 1771.27/1771.74 c 1771s | 22 | 2395427 | 2143422 | 19701 266 | 5 | 278 1773.27/1773.78 c 1773s | 22 | 2397734 | 2145522 | 19701 266 | 5 | 278 1775.57/1776.00 c 1775s | 22 | 2399873 | 2147522 | 19701 267 | 5 | 278 1777.56/1778.07 c 1777s | 22 | 2402724 | 2150122 | 19701 267 | 5 | 278 1779.67/1780.13 c 1779s | 22 | 2405172 | 2152322 | 19701 267 | 5 | 278 1781.66/1782.15 c 1782s | 22 | 2407445 | 2154422 | 19701 267 | 5 | 278 1783.66/1784.18 c 1784s | 22 | 2409628 | 2156422 | 19701 267 | 5 | 278 1787.27/1787.77 c 1787s | 22 | 2411699 | 2158322 | 19701 268 | 5 | 278 1789.26/1789.77 c 1789s | 22 | 2414667 | 2161022 | 19701 268 | 5 | 278 1791.36/1791.80 c 1791s | 22 | 2417315 | 2163422 | 19701 268 | 5 | 278 1793.36/1793.87 c 1793s | 22 | 2419654 | 2165622 | 19701 268 | 5 | 278 1795.66/1796.11 c 1795s | 22 | 2421552 | 2167422 | 19701 269 | 5 | 278 1797.66/1798.15 c 1798s | 22 | 2423963 | 2169722 | 19701 269 | 5 | 278 1799.66/1800.16 c 1800s | 22 | 2426303 | 2171922 | 19701 269 | 5 | 278
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-4096771-1466115253/watcher-4096771-1466115253 -o /tmp/evaluation-result-4096771-1466115253/solver-4096771-1466115253 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466113207-19339 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096771-1466115253.opb pid=20431 running on 4 cores: 0,2,4,6 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.03 2.03 2.00 3/179 20434 /proc/meminfo: memFree=30462960/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=397756 CPUtime=0 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 1428 0 0 0 0 0 0 0 20 0 4 0 13571895 407302144 1788 33554432000 4194304 16246674 140736310073024 140736310072448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 99951 1798 441 2943 0 96845 0 [pid=20434/tid=20435] ppid=20431 vsize=415164 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 425127936 1856 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=419260 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 429322240 1873 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=423356 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13571895 433516544 1890 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100161 s] /proc/loadavg: 2.03 2.03 2.00 3/179 20434 /proc/meminfo: memFree=30462960/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 22743 0 0 0 5 4 0 0 20 0 4 0 13571895 1250496512 23041 33554432000 4194304 16246674 140736310073024 140736310072336 13905528 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 305297 23041 834 2943 0 302191 0 [pid=20434/tid=20435] ppid=20431 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1250496512 23041 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1250496512 23041 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13571895 1250496512 23041 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200476 s] /proc/loadavg: 2.03 2.03 2.00 3/179 20434 /proc/meminfo: memFree=30462960/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1221188 CPUtime=0.19 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 37711 0 0 0 12 7 0 0 20 0 4 0 13571895 1250496512 38009 33554432000 4194304 16246674 140736310073024 140736310072336 5991173 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 305297 38017 876 2943 0 302191 0 [pid=20434/tid=20435] ppid=20431 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1250496512 38022 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1250496512 38026 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13571895 1250496512 38031 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1221188 [startup+0.300421 s] /proc/loadavg: 2.03 2.03 2.00 3/179 20434 /proc/meminfo: memFree=30462960/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1221188 CPUtime=0.29 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 57738 0 0 0 19 10 0 0 20 0 4 0 13571895 1250496512 58036 33554432000 4194304 16246674 140736310073024 140736310072336 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 305297 58046 876 2943 0 302191 0 [pid=20434/tid=20435] ppid=20431 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1250496512 58051 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1250496512 58057 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13571895 1250496512 58061 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1221188 [startup+0.700351 s] /proc/loadavg: 2.03 2.03 2.00 3/179 20434 /proc/meminfo: memFree=30462960/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1221188 CPUtime=0.69 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 138290 0 0 0 48 21 0 0 20 0 4 0 13571895 1250496512 138588 33554432000 4194304 16246674 140736310073024 140736310072336 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 305297 138595 876 2943 0 302191 0 [pid=20434/tid=20435] ppid=20431 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1250496512 138600 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1250496512 138606 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13571895 1250496512 138612 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1221188 [startup+1.50044 s] /proc/loadavg: 2.03 2.03 2.00 3/183 20438 /proc/meminfo: memFree=29457604/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1301060 CPUtime=1.49 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 266339 0 0 0 111 38 0 0 20 0 4 0 13571895 1332285440 266637 33554432000 4194304 16246674 140736310073024 140736310072336 5827966 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 325265 266637 879 2943 0 322159 0 [pid=20434/tid=20435] ppid=20431 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1332285440 266637 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1332285440 266637 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1332285440 266637 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1301060 [startup+3.10035 s] /proc/loadavg: 2.03 2.03 2.00 3/183 20438 /proc/meminfo: memFree=29389520/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1307204 CPUtime=3.08 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 267837 0 0 0 270 38 0 0 20 0 4 0 13571895 1338576896 268135 33554432000 4194304 16246674 140736310073024 140736310054912 5823347 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 326801 268135 881 2943 0 323695 0 [pid=20434/tid=20435] ppid=20431 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1338576896 268135 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1338576896 268135 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1338576896 268135 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1307204 [startup+6.30035 s] /proc/loadavg: 2.03 2.03 2.00 3/183 20438 /proc/meminfo: memFree=29386184/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1310276 CPUtime=6.29 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 268551 0 0 0 590 39 0 0 20 0 4 0 13571895 1341722624 268849 33554432000 4194304 16246674 140736310073024 140736310054912 6021950 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 327569 268849 885 2943 0 324463 0 [pid=20434/tid=20435] ppid=20431 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1341722624 268849 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1341722624 268849 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1341722624 268849 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1310276 [startup+12.7003 s] /proc/loadavg: 2.02 2.03 2.00 3/183 20438 /proc/meminfo: memFree=29380908/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1314372 CPUtime=12.69 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 269778 0 0 0 1230 39 0 0 20 0 4 0 13571895 1345916928 270076 33554432000 4194304 16246674 140736310073024 140736310054912 13198373 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 328593 270076 885 2943 0 325487 0 [pid=20434/tid=20435] ppid=20431 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1345916928 270076 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1345916928 270076 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1345916928 270076 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1314372 [startup+25.5004 s] /proc/loadavg: 2.02 2.03 2.00 3/183 20438 /proc/meminfo: memFree=29373584/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1322564 CPUtime=25.49 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 271826 0 0 0 2510 39 0 0 20 0 4 0 13571895 1354305536 272124 33554432000 4194304 16246674 140736310073024 140736310054912 5676480 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 330641 272124 885 2943 0 327535 0 [pid=20434/tid=20435] ppid=20431 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1354305536 272124 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1354305536 272124 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1354305536 272124 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1322564 [startup+51.1004 s] /proc/loadavg: 2.07 2.04 2.00 3/183 20439 /proc/meminfo: memFree=29363512/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1331780 CPUtime=51.08 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 274131 0 0 0 5068 40 0 0 20 0 4 0 13571895 1363742720 274429 33554432000 4194304 16246674 140736310073024 140736310054912 5677720 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 332945 274429 886 2943 0 329839 0 [pid=20434/tid=20435] ppid=20431 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1363742720 274429 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1363742720 274429 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1363742720 274429 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1331780 [startup+102.3 s] /proc/loadavg: 2.11 2.05 2.01 3/183 20440 /proc/meminfo: memFree=29361464/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1333828 CPUtime=102.27 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 274643 0 0 0 10186 41 0 0 20 0 4 0 13571895 1365839872 274941 33554432000 4194304 16246674 140736310073024 140736310054912 5827966 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 333457 274941 886 2943 0 330351 0 [pid=20434/tid=20435] ppid=20431 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1365839872 274941 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1365839872 274941 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1365839872 274941 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1333828 ################ # More data... # ################ /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1367620 [startup+1362.3 s] /proc/loadavg: 2.08 2.07 2.01 3/183 20861 /proc/meminfo: memFree=29349044/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1367620 CPUtime=1361.93 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 283383 0 0 0 136131 62 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140736310072120 5808152 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 341905 283645 886 2943 0 338799 0 [pid=20434/tid=20435] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1367620 [startup+1422.3 s] /proc/loadavg: 2.03 2.06 2.00 3/183 20862 /proc/meminfo: memFree=29332968/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1367620 CPUtime=1421.91 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 283383 0 0 0 142129 62 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140736310054912 13820919 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 341905 283645 886 2943 0 338799 0 [pid=20434/tid=20435] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1367620 [startup+1482.3 s] /proc/loadavg: 2.12 2.07 2.01 3/183 20863 /proc/meminfo: memFree=29331128/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1367620 CPUtime=1481.91 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 283383 0 0 0 148128 63 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140736310054912 5822252 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 341905 283645 886 2943 0 338799 0 [pid=20434/tid=20435] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1367620 [startup+1542.3 s] /proc/loadavg: 2.07 2.07 2.01 3/183 20864 /proc/meminfo: memFree=29323860/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1367620 CPUtime=1541.9 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 283383 0 0 0 154126 64 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140736310054912 5808428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 341905 283645 886 2943 0 338799 0 [pid=20434/tid=20435] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1367620 [startup+1602.3 s] /proc/loadavg: 2.06 2.07 2.01 3/184 20869 /proc/meminfo: memFree=29323684/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1367620 CPUtime=1601.88 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 283383 0 0 0 160124 64 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140736310054912 5672188 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 341905 283645 886 2943 0 338799 0 [pid=20434/tid=20435] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1367620 [startup+1662.3 s] /proc/loadavg: 2.07 2.07 2.01 3/184 20871 /proc/meminfo: memFree=29323580/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1367620 CPUtime=1661.89 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 283383 0 0 0 166123 66 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140736310054912 5823596 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 341905 283645 886 2943 0 338799 0 [pid=20434/tid=20435] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1367620 [startup+1722.3 s] /proc/loadavg: 2.02 2.05 2.00 3/183 20872 /proc/meminfo: memFree=29317684/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1367620 CPUtime=1721.87 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 283383 0 0 0 172120 67 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140736310054912 12995176 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 341905 283645 886 2943 0 338799 0 [pid=20434/tid=20435] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1367620 [startup+1782.31 s] /proc/loadavg: 2.04 2.06 2.00 3/183 20873 /proc/meminfo: memFree=29317428/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1367620 CPUtime=1781.87 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 283383 0 0 0 178119 68 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140736310054912 5822428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 341905 283645 886 2943 0 338799 0 [pid=20434/tid=20435] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1367620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.03 2.05 2.00 3/183 20874 /proc/meminfo: memFree=29317508/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1367620 CPUtime=1800.06 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 283383 0 0 0 179938 68 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140736310054912 5672197 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 341905 283645 886 2943 0 338799 0 [pid=20434/tid=20435] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1367620 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 20434 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.03 2.05 2.00 3/183 20874 /proc/meminfo: memFree=29317508/32872528 swapFree=302776/319128 [pid=20434] ppid=20431 vsize=1367620 CPUtime=1800.06 cores=0,2,4,6 /proc/20434/stat : 20434 (toysat) R 20431 20434 16914 0 -1 4202496 283383 0 0 0 179938 68 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140736310054912 5672197 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20434/statm: 341905 283645 886 2943 0 338799 0 [pid=20434/tid=20435] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20435/stat : 20435 (toysat) S 20431 20434 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630410898672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=20434/tid=20436] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20436/stat : 20436 (toysat) S 20431 20434 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630400408816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=20434/tid=20437] ppid=20431 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/20434/task/20437/stat : 20437 (toysat) S 20431 20434 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13571895 1400442880 283645 33554432000 4194304 16246674 140736310073024 140630315494576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1367620 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.39 CPU system time (s): 0.686895 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 1367620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.39 system time used= 0.686895 maximum resident set size= 1134580 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283383 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= 306 involuntary context switches= 2119 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.42733 second user time and 7.08492 second system time The end
Begin job on node128 at 2016-06-17 00:14:13 IDJOB=4096771 IDBENCH=107662 IDSOLVER=2542 FILE ID=node128/4096771-1466115253 RUNJOBID= node128-1466113207-19339 PBS_JOBID= 19904049 Free space on /tmp= 71692 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_30.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096771-1466115253/watcher-4096771-1466115253 -o /tmp/evaluation-result-4096771-1466115253/solver-4096771-1466115253 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466113207-19339 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096771-1466115253.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d7e080eab3a779bfe2a4383d71446a61 RANDOM SEED=991325153 node128.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.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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.768 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.768 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.768 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.57 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.768 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.56 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.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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: 30463116 kB Buffers: 70504 kB Cached: 191548 kB SwapCached: 2096 kB Active: 1273304 kB Inactive: 109760 kB Active(anon): 1121544 kB Inactive(anon): 1600 kB Active(file): 151760 kB Inactive(file): 108160 kB Unevictable: 319128 kB Mlocked: 302776 kB SwapTotal: 67108856 kB SwapFree: 67098972 kB Dirty: 16504 kB Writeback: 0 kB AnonPages: 1439164 kB Mapped: 10644 kB Shmem: 0 kB Slab: 572136 kB SReclaimable: 15608 kB SUnreclaim: 556528 kB KernelStack: 1480 kB PageTables: 6656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1582848 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 956416 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= 71676 MiB End job on node128 at 2016-06-17 00:44:13