| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.61 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17bt.opb |
| MD5SUM | bde651356fbc7760944c2b16aa27f15d |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 14.7128 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 370 |
| Total number of constraints | 809 |
| Number of constraints which are clauses | 558 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 249 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 121 |
| 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 | 17 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 138 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-06T14:46:41+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-4078708-1465217200.opb"] 0.00/0.01 c use --random-gen="3767368180 2518980444 2352532494 4072954481 2074508579 2185956208 2263786086 2402996750 1300731979 1471234669 4244434276 3901514930 3168227865 1132384883 606397084 3951254810 1260972253 4241019495 3077762548 3057894751 1394189172 2766060800 107233003 2428864107 869501556 445580197 7015012 2902355844 3286846563 3095763699 3537456804 1923126467 2709368668 1547577340 651659052 3523527776 3110140590 201599611 2120064464 4229849773 775741245 3356267204 2180739855 213249749 4229420515 1421305999 161571883 2256144793 752075801 256775785 2974817929 2996087582 1320884465 745879680 3531783609 2645445311 2934621348 3989539123 1886499219 2164183816 406687257 3421052571 2997521729 3099412517 3536787690 658668522 2409033672 233578536 1701258279 1137810764 3051575664 3026099555 3142466548 3173691201 3239685520 1472119152 69848310 2175495785 4267605584 2333207516 700412305 2600076371 1977381124 2811689277 2226383780 2020619645 1407171754 3664935623 4445495 2490367980 4246686539 4149227470 775670243 3306468505 3419893088 1480722777 842169093 3314065821 3653117149 2317190567 1244671017 194289717 660509706 3327798303 2798771690 4099388218 3565384621 1350861708 1224356027 2325774847 4066023323 28218735 134336929 1178269067 692292246 23599353 2704569693 1114708604 2207234190 3311097185 2094248050 2769738836 3660520797 1562778843 3480688644 3766301381 687096665 2565757413 185606538 328157417 2060675742 1385132226 3546004167 342279558 2361223867 3806601499 1724689407 6649843 3911551304 4218155680 1646696001 2952604493 2894845041 2202401721 3839062053 1505321676 2082701963 309732752 606866887 1129559168 2810290554 264851985 672199815 1947530863 2293150046 1621289984 1847780862 2387523323 2341777380 2967709370 3598278360 2578357782 2193621385 2042838845 3301435419 1581428430 695255878 4023957442 1726303802 1374331487 2639764340 2806924397 1463547587 728259813 1937636966 324928447 1154671409 2917390135 361174225 3727874408 1449646487 2983645660 596214159 4191117631 3965217877 2743609737 3991606720 522718903 2856883271 1843070587 1819594723 741330202 4090023222 1250788396 1232503067 425358376 2801297015 1573733762 460438713 2575105859 674540389 804156055 1529957290 1754850842 2940642111 2472400632 3992170817 1929195464 4253437371 228355591 1397452496 454823793 1694960107 2529335498 3827803858 2059454331 1293119792 789444554 3271227405 1644452297 3658405312 1232880880 350295304 1272816958 1220127137 516344364 2093637610 831299552 2335727710 4205828598 2936976141 3803345394 1731932500 633099444 190370714 2272576598 1200159148 800541271 1782849589 1683425510 3899711808 2802123616 1526918136 1477768054 3057045460 22990429 2262492094 1349912163 3355113892 1279482981 1169889886 2309721286 305106612 734177185 271277638 2411538209 255 362436" option to reproduce the execution 0.00/0.02 c #vars 370 0.00/0.02 c #constraints 809 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 392 0 | 14 | 0 0.00/0.08 c 0.0s | 1 | 128 | 100 | 392 0 | 14 | 28 0.09/0.15 c 0.1s | 2 | 384 | 250 | 432 0 | 14 | 28 0.19/0.26 c 0.2s | 3 | 722 | 475 | 476 0 | 14 | 28 0.39/0.46 c 0.4s | 4 | 1188 | 813 | 524 1 | 14 | 28 0.68/0.74 c 0.7s | 5 | 1896 | 1320 | 577 2 | 14 | 28 1.10/1.14 c 1.1s | 6 | 3031 | 2081 | 699 4 | 17 | 34 1.49/1.56 c 1.5s | 7 | 4519 | 3223 | 769 6 | 17 | 34 2.20/2.27 c 2.2s | 8 | 6492 | 4936 | 846 10 | 17 | 34 3.19/3.26 c 3.2s | 9 | 9649 | 7506 | 931 15 | 18 | 36 4.69/4.76 c 4.7s | 10 | 14264 | 11361 | 1025 21 | 20 | 40 6.70/6.78 c 6.7s | 10 | 19624 | 15961 | 1025 29 | 20 | 40 7.28/7.31 c 7.3s | 11 | 20969 | 17144 | 1128 31 | 20 | 40 9.28/9.36 c 9.3s | 11 | 26970 | 22344 | 1128 39 | 22 | 44 10.68/10.77 c 10.7s | 12 | 30830 | 25819 | 1241 44 | 22 | 44 12.78/12.81 c 12.8s | 12 | 36124 | 30619 | 1241 50 | 22 | 44 14.78/14.85 c 14.8s | 12 | 40890 | 34919 | 1241 56 | 22 | 44 16.49/16.57 c 16.5s | 13 | 45227 | 38832 | 1366 61 | 22 | 44 18.48/18.58 c 18.5s | 13 | 50688 | 43732 | 1366 68 | 22 | 44 20.58/20.60 c 20.6s | 13 | 56032 | 48532 | 1366 74 | 22 | 44 22.58/22.62 c 22.6s | 13 | 61090 | 53232 | 1366 80 | 22 | 44 24.58/24.63 c 24.6s | 13 | 66370 | 57932 | 1366 86 | 22 | 44 24.78/24.82 c 24.8s | 14 | 66841 | 58352 | 1503 86 | 22 | 44 26.78/26.86 c 26.8s | 14 | 71967 | 62952 | 1503 92 | 22 | 44 28.88/28.91 c 28.9s | 14 | 76864 | 67352 | 1503 97 | 22 | 44 30.90/30.95 c 30.9s | 14 | 82102 | 72052 | 1503 102 | 22 | 44 32.89/32.97 c 32.9s | 14 | 86593 | 76152 | 1503 107 | 22 | 44 34.99/35.00 c 35.0s | 14 | 91611 | 80352 | 1503 112 | 22 | 44 36.99/37.03 c 37.0s | 14 | 96413 | 84552 | 1503 117 | 22 | 44 38.39/38.46 c 38.4s | 15 | 99948 | 87632 | 1654 120 | 22 | 44 40.49/40.50 c 40.5s | 15 | 105174 | 91832 | 1654 125 | 22 | 44 42.49/42.51 c 42.5s | 15 | 109923 | 96032 | 1654 129 | 22 | 44 44.49/44.53 c 44.5s | 15 | 114490 | 100132 | 1654 134 | 22 | 44 46.49/46.56 c 46.5s | 15 | 119142 | 104432 | 1654 138 | 22 | 44 48.50/48.58 c 48.5s | 15 | 123571 | 108232 | 1654 142 | 22 | 44 50.60/50.63 c 50.6s | 15 | 128087 | 112132 | 1654 147 | 22 | 44 52.58/52.68 c 52.6s | 15 | 132737 | 116432 | 1654 151 | 22 | 44 54.68/54.72 c 54.7s | 15 | 137226 | 120332 | 1654 155 | 22 | 44 56.68/56.73 c 56.7s | 15 | 141533 | 124132 | 1654 159 | 22 | 44 58.68/58.76 c 58.7s | 15 | 146116 | 128132 | 1654 164 | 22 | 44 60.28/60.36 c 60.3s | 16 | 149837 | 131552 | 1820 167 | 22 | 44 62.28/62.38 c 62.3s | 16 | 155090 | 136252 | 1820 172 | 22 | 44 64.28/64.39 c 64.3s | 16 | 159892 | 140452 | 1820 176 | 22 | 44 66.38/66.40 c 66.4s | 16 | 164951 | 145052 | 1820 180 | 22 | 44 68.38/68.43 c 68.4s | 16 | 170290 | 149852 | 1820 185 | 22 | 44 70.39/70.46 c 70.4s | 16 | 175279 | 154352 | 1820 190 | 22 | 44 72.38/72.47 c 72.4s | 16 | 179935 | 158652 | 1820 194 | 22 | 44 74.48/74.50 c 74.5s | 16 | 184871 | 163052 | 1820 198 | 22 | 44 76.48/76.53 c 76.5s | 16 | 189547 | 167252 | 1820 202 | 22 | 44 78.48/78.59 c 78.6s | 16 | 194441 | 171452 | 1820 207 | 22 | 44 80.57/80.61 c 80.6s | 16 | 199015 | 175752 | 1820 211 | 22 | 44 82.58/82.62 c 82.6s | 16 | 203656 | 179952 | 1820 215 | 22 | 44 84.57/84.66 c 84.6s | 16 | 208153 | 183952 | 1820 219 | 22 | 44 86.57/86.68 c 86.6s | 16 | 212889 | 188052 | 1820 223 | 22 | 44 88.67/88.71 c 88.7s | 16 | 217651 | 192152 | 1820 227 | 22 | 44 90.67/90.73 c 90.7s | 16 | 222207 | 196252 | 2003 231 | 22 | 44 91.17/91.27 c 91.2s | 17 | 223465 | 197432 | 2003 232 | 22 | 44 93.27/93.31 c 93.3s | 17 | 228550 | 202032 | 2003 236 | 22 | 44 95.27/95.34 c 95.3s | 17 | 233190 | 206332 | 2003 240 | 22 | 44 97.27/97.38 c 97.3s | 17 | 237678 | 210332 | 2003 244 | 22 | 44 99.37/99.43 c 99.4s | 17 | 242157 | 214232 | 2003 247 | 22 | 44 101.37/101.44 c 101s | 17 | 246647 | 218132 | 2003 251 | 22 | 44 103.39/103.47 c 103s | 17 | 251027 | 222032 | 2003 254 | 22 | 44 105.48/105.52 c 105s | 17 | 255602 | 225832 | 2003 258 | 22 | 44 107.48/107.53 c 107s | 17 | 259936 | 229332 | 2003 261 | 22 | 44 109.48/109.54 c 109s | 17 | 264357 | 233032 | 2003 264 | 22 | 44 111.48/111.58 c 111s | 17 | 268828 | 236832 | 2003 267 | 22 | 44 113.57/113.60 c 113s | 17 | 272968 | 240432 | 2003 271 | 22 | 44 115.48/115.60 c 115s | 17 | 277551 | 244232 | 2003 274 | 22 | 44 117.57/117.65 c 117s | 17 | 282194 | 248332 | 2003 278 | 22 | 44 119.57/119.69 c 119s | 17 | 286920 | 252332 | 2003 281 | 22 | 44 121.67/121.73 c 121s | 17 | 291779 | 256132 | 2003 285 | 22 | 44 123.67/123.73 c 123s | 17 | 296515 | 260032 | 2003 288 | 22 | 44 125.67/125.77 c 125s | 17 | 300959 | 263932 | 2003 292 | 22 | 44 127.77/127.83 c 127s | 17 | 305290 | 267432 | 2003 295 | 22 | 44 129.78/129.88 c 129s | 17 | 309663 | 271132 | 2003 298 | 22 | 44 131.77/131.89 c 131s | 17 | 314132 | 274932 | 2003 302 | 22 | 44 133.87/133.90 c 133s | 17 | 318466 | 278732 | 2003 305 | 22 | 44 135.87/135.91 c 135s | 17 | 322603 | 282432 | 2003 309 | 22 | 44 137.87/137.93 c 137s | 17 | 326865 | 286132 | 2003 312 | 22 | 44 139.87/139.94 c 139s | 17 | 332057 | 290132 | 2003 315 | 22 | 44 141.88/141.95 c 141s | 17 | 336882 | 294132 | 2003 319 | 22 | 44 142.98/143.10 c 143s | 18 | 339454 | 296252 | 2204 321 | 22 | 44 145.06/145.15 c 145s | 18 | 344006 | 300352 | 2204 324 | 22 | 44 147.06/147.17 c 147s | 18 | 348442 | 304152 | 2204 327 | 22 | 44 149.06/149.19 c 149s | 18 | 352422 | 307652 | 2204 330 | 22 | 44 151.16/151.24 c 151s | 18 | 356864 | 311252 | 2204 333 | 22 | 44 153.16/153.25 c 153s | 18 | 361386 | 314652 | 2204 336 | 22 | 44 155.26/155.30 c 155s | 18 | 365185 | 318152 | 2204 339 | 22 | 44 157.27/157.36 c 157s | 18 | 369232 | 321752 | 2204 342 | 22 | 44 159.26/159.39 c 159s | 18 | 373901 | 325552 | 2204 345 | 22 | 44 161.36/161.40 c 161s | 18 | 378317 | 329052 | 2204 348 | 22 | 44 163.37/163.42 c 163s | 18 | 382220 | 332152 | 2204 350 | 22 | 44 165.37/165.46 c 165s | 18 | 386511 | 335652 | 2204 353 | 22 | 44 167.37/167.48 c 167s | 18 | 390707 | 338952 | 2204 356 | 22 | 44 169.48/169.52 c 169s | 18 | 394820 | 342552 | 2204 359 | 22 | 44 171.47/171.56 c 171s | 18 | 399045 | 345952 | 2204 362 | 22 | 44 173.57/173.60 c 173s | 18 | 403029 | 349352 | 2204 364 | 22 | 44 175.57/175.62 c 175s | 18 | 407392 | 352852 | 2204 367 | 22 | 44 177.57/177.68 c 177s | 18 | 411809 | 356352 | 2204 370 | 22 | 44 179.67/179.72 c 179s | 18 | 416206 | 359752 | 2204 373 | 22 | 44 181.67/181.72 c 181s | 18 | 420635 | 363052 | 2204 376 | 22 | 44 183.68/183.76 c 183s | 18 | 425037 | 366652 | 2204 379 | 22 | 44 185.66/185.76 c 185s | 18 | 429426 | 370052 | 2204 382 | 22 | 44 187.76/187.83 c 187s | 18 | 433449 | 373552 | 2204 384 | 22 | 44 189.76/189.84 c 189s | 18 | 437642 | 376952 | 2204 387 | 22 | 44 191.76/191.88 c 191s | 18 | 441884 | 380452 | 2204 390 | 22 | 44 193.86/193.93 c 193s | 18 | 446103 | 384152 | 2204 393 | 22 | 44 195.87/195.97 c 195s | 18 | 450390 | 387752 | 2204 396 | 22 | 44 197.97/198.01 c 197s | 18 | 454737 | 391252 | 2204 399 | 22 | 44 199.96/200.03 c 199s | 18 | 458830 | 394752 | 2204 402 | 22 | 44 201.96/202.04 c 202s | 18 | 462850 | 398252 | 2204 405 | 22 | 44 203.96/204.09 c 204s | 18 | 467211 | 401752 | 2204 408 | 22 | 44 206.06/206.11 c 206s | 18 | 471316 | 405052 | 2204 410 | 22 | 44 208.06/208.13 c 208s | 18 | 475658 | 408552 | 2204 413 | 22 | 44 210.07/210.18 c 210s | 18 | 480253 | 412252 | 2204 416 | 22 | 44 212.16/212.24 c 212s | 18 | 484302 | 415652 | 2204 419 | 22 | 44 214.16/214.25 c 214s | 18 | 488253 | 419252 | 2204 422 | 22 | 44 216.16/216.29 c 216s | 18 | 492234 | 422952 | 2204 425 | 22 | 44 218.16/218.29 c 218s | 18 | 497032 | 426652 | 2204 428 | 22 | 44 220.26/220.32 c 220s | 18 | 501689 | 430152 | 2204 431 | 22 | 44 222.27/222.35 c 222s | 18 | 506046 | 433652 | 2204 434 | 22 | 44 224.26/224.37 c 224s | 18 | 510411 | 437352 | 2204 437 | 22 | 44 226.26/226.38 c 226s | 18 | 514459 | 440952 | 2204 440 | 22 | 44 228.36/228.41 c 228s | 18 | 518489 | 444352 | 2425 442 | 22 | 44 228.36/228.49 c 228s | 19 | 518635 | 444482 | 2425 442 | 22 | 44 230.46/230.52 c 230s | 19 | 523458 | 448682 | 2425 446 | 22 | 44 232.46/232.54 c 232s | 19 | 527660 | 452382 | 2425 448 | 22 | 44 234.45/234.57 c 234s | 19 | 532056 | 456282 | 2425 451 | 22 | 44 236.46/236.58 c 236s | 19 | 536443 | 460182 | 2425 454 | 22 | 44 238.55/238.61 c 238s | 19 | 540839 | 463882 | 2425 457 | 22 | 44 240.55/240.64 c 240s | 19 | 545406 | 467782 | 2425 460 | 22 | 44 242.55/242.64 c 242s | 19 | 550168 | 471582 | 2425 463 | 22 | 44 244.55/244.68 c 244s | 19 | 554096 | 475082 | 2425 466 | 22 | 44 246.55/246.68 c 246s | 19 | 558398 | 478682 | 2425 468 | 22 | 44 248.66/248.72 c 248s | 19 | 562753 | 482282 | 2425 471 | 22 | 44 250.65/250.75 c 250s | 19 | 566740 | 485682 | 2425 474 | 22 | 44 252.75/252.80 c 252s | 19 | 570826 | 489182 | 2425 476 | 22 | 44 254.75/254.84 c 254s | 19 | 575064 | 492982 | 2425 479 | 22 | 44 256.75/256.88 c 256s | 19 | 579643 | 496682 | 2425 482 | 22 | 44 258.75/258.90 c 258s | 19 | 583873 | 500482 | 2425 485 | 22 | 44 260.85/260.92 c 260s | 19 | 588223 | 503982 | 2425 487 | 22 | 44 262.86/262.98 c 262s | 19 | 592221 | 507282 | 2425 490 | 22 | 44 264.95/265.03 c 264s | 19 | 596413 | 510582 | 2425 492 | 22 | 44 266.95/267.06 c 267s | 19 | 600889 | 514082 | 2425 495 | 22 | 44 269.05/269.11 c 269s | 19 | 605633 | 517682 | 2425 498 | 22 | 44 271.05/271.15 c 271s | 19 | 609713 | 521282 | 2425 501 | 22 | 44 273.05/273.18 c 273s | 19 | 613728 | 524782 | 2425 503 | 22 | 44 275.15/275.21 c 275s | 19 | 618037 | 528382 | 2425 506 | 22 | 44 277.15/277.24 c 277s | 19 | 622246 | 531882 | 2425 509 | 22 | 44 279.14/279.25 c 279s | 19 | 626324 | 535182 | 2425 511 | 22 | 44 281.24/281.33 c 281s | 19 | 630268 | 538482 | 2425 514 | 22 | 44 283.24/283.37 c 283s | 19 | 634331 | 541782 | 2425 516 | 22 | 44 285.25/285.39 c 285s | 19 | 638376 | 544982 | 2425 519 | 22 | 44 287.35/287.45 c 287s | 19 | 642616 | 548782 | 2425 521 | 22 | 44 289.36/289.49 c 289s | 19 | 646457 | 552282 | 2425 524 | 22 | 44 291.35/291.51 c 291s | 19 | 651090 | 555882 | 2425 527 | 22 | 44 293.44/293.51 c 293s | 19 | 655586 | 559182 | 2425 529 | 22 | 44 295.44/295.55 c 295s | 19 | 659827 | 562882 | 2425 532 | 22 | 44 297.54/297.60 c 297s | 19 | 663754 | 566482 | 2425 535 | 22 | 44 299.54/299.65 c 299s | 19 | 667782 | 569982 | 2425 537 | 22 | 44 301.54/301.66 c 301s | 19 | 672041 | 573582 | 2425 540 | 22 | 44 303.54/303.69 c 303s | 19 | 676325 | 576982 | 2425 543 | 22 | 44 305.63/305.71 c 305s | 19 | 680752 | 580482 | 2425 545 | 22 | 44 307.63/307.74 c 307s | 19 | 685079 | 583982 | 2425 548 | 22 | 44 309.63/309.78 c 309s | 19 | 689459 | 587382 | 2425 551 | 22 | 44 311.63/311.78 c 311s | 19 | 693776 | 590982 | 2425 553 | 22 | 44 313.73/313.83 c 313s | 19 | 697775 | 594382 | 2425 556 | 22 | 44 315.74/315.83 c 315s | 19 | 701914 | 597882 | 2425 558 | 22 | 44 317.73/317.85 c 317s | 19 | 705914 | 601482 | 2425 561 | 22 | 44 319.73/319.89 c 319s | 19 | 710268 | 605282 | 2425 564 | 22 | 44 321.83/321.93 c 321s | 19 | 714499 | 608882 | 2425 567 | 22 | 44 323.83/323.96 c 323s | 19 | 718720 | 612482 | 2425 569 | 22 | 44 325.82/325.99 c 325s | 19 | 722812 | 616182 | 2425 572 | 22 | 44 327.92/328.02 c 327s | 19 | 727258 | 619882 | 2425 575 | 22 | 44 329.93/330.06 c 330s | 19 | 731741 | 623482 | 2425 578 | 22 | 44 331.92/332.08 c 332s | 19 | 736244 | 626982 | 2425 580 | 22 | 44 334.02/334.13 c 334s | 19 | 741026 | 630682 | 2425 583 | 22 | 44 336.02/336.15 c 336s | 19 | 745155 | 633982 | 2425 586 | 22 | 44 338.12/338.20 c 338s | 19 | 749335 | 637382 | 2425 588 | 22 | 44 340.12/340.24 c 340s | 19 | 753347 | 640682 | 2425 591 | 22 | 44 342.13/342.28 c 342s | 19 | 757682 | 644282 | 2425 593 | 22 | 44 344.22/344.31 c 344s | 19 | 762017 | 647882 | 2425 596 | 22 | 44 346.21/346.33 c 346s | 19 | 766233 | 651282 | 2425 599 | 22 | 44 348.21/348.34 c 348s | 19 | 770316 | 654782 | 2425 601 | 22 | 44 350.21/350.35 c 350s | 19 | 773928 | 657782 | 2425 604 | 22 | 44 352.21/352.36 c 352s | 19 | 777697 | 660982 | 2425 606 | 22 | 44 354.22/354.39 c 354s | 19 | 781985 | 664682 | 2668 608 | 22 | 44 355.51/355.63 c 355s | 20 | 784588 | 666827 | 2668 610 | 22 | 44 357.52/357.65 c 357s | 20 | 788828 | 670527 | 2668 612 | 22 | 44 359.51/359.66 c 359s | 20 | 792815 | 674027 | 2668 615 | 22 | 44 361.51/361.67 c 361s | 20 | 796761 | 677627 | 2668 617 | 22 | 44 363.60/363.71 c 363s | 20 | 801254 | 681327 | 2668 620 | 22 | 44 365.61/365.74 c 365s | 20 | 805207 | 685027 | 2668 623 | 22 | 44 367.61/367.76 c 367s | 20 | 809216 | 688627 | 2668 625 | 22 | 44 369.62/369.77 c 369s | 20 | 813110 | 692027 | 2668 627 | 22 | 44 371.61/371.79 c 371s | 20 | 817666 | 695627 | 2668 630 | 22 | 44 373.71/373.83 c 373s | 20 | 821975 | 699427 | 2668 633 | 22 | 44 375.70/375.86 c 375s | 20 | 826030 | 702827 | 2668 635 | 22 | 44 377.80/377.90 c 377s | 20 | 830058 | 706027 | 2668 637 | 22 | 44 379.80/379.95 c 379s | 20 | 834355 | 709327 | 2668 639 | 22 | 44 381.79/381.98 c 381s | 20 | 838041 | 712527 | 2668 642 | 22 | 44 383.80/383.99 c 383s | 20 | 842465 | 716127 | 2668 644 | 22 | 44 385.90/386.00 c 385s | 20 | 846517 | 719627 | 2668 646 | 22 | 44 387.90/388.00 c 387s | 20 | 850628 | 723327 | 2668 649 | 22 | 44 389.90/390.02 c 389s | 20 | 854611 | 726927 | 2668 651 | 22 | 44 391.90/392.05 c 392s | 20 | 858729 | 730427 | 2668 654 | 22 | 44 393.90/394.09 c 394s | 20 | 862849 | 734027 | 2668 656 | 22 | 44 396.01/396.13 c 396s | 20 | 866740 | 737427 | 2668 659 | 22 | 44 397.99/398.17 c 398s | 20 | 870882 | 740927 | 2668 661 | 22 | 44 399.99/400.18 c 400s | 20 | 874952 | 744327 | 2668 663 | 22 | 44 402.09/402.22 c 402s | 20 | 879115 | 747727 | 2668 666 | 22 | 44 404.08/404.22 c 404s | 20 | 883400 | 751227 | 2668 668 | 22 | 44 406.08/406.28 c 406s | 20 | 887549 | 755027 | 2668 671 | 22 | 44 408.09/408.28 c 408s | 20 | 891570 | 758527 | 2668 673 | 22 | 44 410.19/410.33 c 410s | 20 | 895715 | 762027 | 2668 676 | 22 | 44 412.18/412.34 c 412s | 20 | 899727 | 765327 | 2668 678 | 22 | 44 414.18/414.37 c 414s | 20 | 903996 | 768927 | 2668 680 | 22 | 44 416.28/416.41 c 416s | 20 | 908013 | 772427 | 2668 683 | 22 | 44 418.28/418.45 c 418s | 20 | 912186 | 775927 | 2668 685 | 22 | 44 420.28/420.49 c 420s | 20 | 916374 | 779427 | 2668 688 | 22 | 44 422.39/422.55 c 422s | 20 | 920523 | 782927 | 2668 690 | 22 | 44 424.38/424.55 c 424s | 20 | 924426 | 786127 | 2668 692 | 22 | 44 426.38/426.56 c 426s | 20 | 928326 | 789427 | 2668 695 | 22 | 44 428.48/428.60 c 428s | 20 | 933031 | 793027 | 2668 697 | 22 | 44 430.48/430.63 c 430s | 20 | 937703 | 796727 | 2668 700 | 22 | 44 432.47/432.66 c 432s | 20 | 942271 | 800227 | 2668 702 | 22 | 44 434.57/434.72 c 434s | 20 | 947278 | 803927 | 2668 705 | 22 | 44 436.58/436.72 c 436s | 20 | 951750 | 807327 | 2668 707 | 22 | 44 438.57/438.76 c 438s | 20 | 956250 | 810927 | 2668 709 | 22 | 44 440.67/440.80 c 440s | 20 | 960866 | 814727 | 2668 712 | 22 | 44 442.66/442.84 c 442s | 20 | 964939 | 818227 | 2668 715 | 22 | 44 444.67/444.89 c 444s | 20 | 969285 | 821927 | 2668 717 | 22 | 44 446.77/446.92 c 446s | 20 | 973563 | 825627 | 2668 720 | 22 | 44 448.78/448.94 c 448s | 20 | 977778 | 829427 | 2668 722 | 22 | 44 450.76/450.94 c 450s | 20 | 981987 | 833027 | 2668 725 | 22 | 44 452.76/452.99 c 452s | 20 | 986393 | 836827 | 2668 727 | 22 | 44 454.86/455.05 c 455s | 20 | 990577 | 840627 | 2668 730 | 22 | 44 456.86/457.06 c 457s | 20 | 994846 | 844227 | 2668 733 | 22 | 44 458.96/459.11 c 459s | 20 | 998912 | 847427 | 2668 735 | 22 | 44 460.96/461.15 c 461s | 20 | 1003101 | 850727 | 2668 737 | 22 | 44 462.96/463.20 c 463s | 20 | 1007624 | 854327 | 2668 740 | 22 | 44 465.05/465.22 c 465s | 20 | 1012246 | 857827 | 2668 742 | 22 | 44 467.05/467.26 c 467s | 20 | 1016628 | 861327 | 2668 744 | 22 | 44 469.05/469.29 c 469s | 20 | 1021204 | 865027 | 2668 747 | 22 | 44 471.15/471.34 c 471s | 20 | 1025565 | 868427 | 2668 749 | 22 | 44 473.14/473.34 c 473s | 20 | 1029376 | 871727 | 2668 752 | 22 | 44 475.15/475.37 c 475s | 20 | 1033431 | 875227 | 2668 754 | 22 | 44 477.14/477.39 c 477s | 20 | 1037569 | 878827 | 2668 756 | 22 | 44 479.25/479.44 c 479s | 20 | 1041624 | 882427 | 2668 759 | 22 | 44 481.25/481.48 c 481s | 20 | 1045585 | 885927 | 2668 761 | 22 | 44 483.34/483.53 c 483s | 20 | 1049723 | 889627 | 2668 764 | 22 | 44 485.34/485.55 c 485s | 20 | 1053856 | 893227 | 2668 766 | 22 | 44 487.34/487.59 c 487s | 20 | 1058185 | 896727 | 2668 769 | 22 | 44 489.45/489.62 c 489s | 20 | 1062004 | 899927 | 2668 771 | 22 | 44 491.44/491.63 c 491s | 20 | 1065949 | 903227 | 2668 773 | 22 | 44 493.44/493.68 c 493s | 20 | 1070448 | 906827 | 2668 776 | 22 | 44 495.53/495.70 c 495s | 20 | 1074363 | 910127 | 2668 778 | 22 | 44 497.53/497.75 c 497s | 20 | 1078902 | 913327 | 2668 780 | 22 | 44 499.53/499.75 c 499s | 20 | 1082866 | 916527 | 2668 783 | 22 | 44 501.54/501.77 c 501s | 20 | 1086733 | 919727 | 2668 785 | 22 | 44 503.53/503.80 c 503s | 20 | 1091532 | 923427 | 2668 787 | 22 | 44 505.63/505.82 c 505s | 20 | 1096294 | 927227 | 2668 790 | 22 | 44 507.63/507.84 c 507s | 20 | 1100820 | 930827 | 2668 792 | 22 | 44 509.63/509.89 c 509s | 20 | 1105295 | 934627 | 2668 795 | 22 | 44 511.72/511.93 c 511s | 20 | 1109460 | 938327 | 2668 798 | 22 | 44 513.73/513.94 c 513s | 20 | 1113643 | 941927 | 2668 800 | 22 | 44 515.74/515.94 c 515s | 20 | 1117594 | 945327 | 2668 802 | 22 | 44 517.73/517.95 c 517s | 20 | 1121443 | 948627 | 2668 805 | 22 | 44 519.73/519.99 c 519s | 20 | 1125570 | 952027 | 2668 807 | 22 | 44 521.82/522.04 c 522s | 20 | 1129677 | 955427 | 2668 809 | 22 | 44 523.82/524.04 c 524s | 20 | 1133715 | 958827 | 2668 812 | 22 | 44 525.82/526.09 c 526s | 20 | 1137495 | 962027 | 2668 814 | 22 | 44 527.93/528.11 c 528s | 20 | 1141410 | 965427 | 2668 816 | 22 | 44 529.92/530.13 c 530s | 20 | 1145459 | 968727 | 2668 819 | 22 | 44 531.91/532.14 c 532s | 20 | 1149274 | 971827 | 2668 821 | 22 | 44 533.91/534.16 c 534s | 20 | 1153034 | 974927 | 2668 823 | 22 | 44 536.01/536.23 c 536s | 20 | 1157699 | 978627 | 2668 825 | 22 | 44 538.02/538.27 c 538s | 20 | 1161675 | 981927 | 2668 828 | 22 | 44 540.12/540.30 c 540s | 20 | 1165392 | 984927 | 2668 830 | 22 | 44 542.02/542.30 c 542s | 20 | 1169482 | 988227 | 2668 832 | 22 | 44 544.12/544.35 c 544s | 20 | 1173872 | 991527 | 2668 834 | 22 | 44 546.12/546.38 c 546s | 20 | 1178360 | 994727 | 2935 836 | 22 | 44 548.11/548.39 c 548s | 20 | 1182611 | 998127 | 2935 838 | 22 | 44 549.41/549.65 c 549s | 21 | 1185431 | 1000345 | 2935 840 | 22 | 44 551.41/551.66 c 551s | 21 | 1189757 | 1003945 | 2935 842 | 22 | 44 553.51/553.70 c 553s | 21 | 1193888 | 1007545 | 2935 844 | 22 | 44 555.51/555.71 c 555s | 21 | 1197769 | 1010745 | 2935 846 | 22 | 44 557.52/557.74 c 557s | 21 | 1202274 | 1014245 | 2935 849 | 22 | 44 559.51/559.76 c 559s | 21 | 1206145 | 1017545 | 2935 851 | 22 | 44 561.60/561.81 c 561s | 21 | 1210782 | 1021145 | 2935 853 | 22 | 44 563.60/563.81 c 563s | 21 | 1214864 | 1024645 | 2935 855 | 22 | 44 565.60/565.81 c 565s | 21 | 1218862 | 1028045 | 2935 857 | 22 | 44 567.60/567.87 c 567s | 21 | 1222663 | 1031345 | 2935 859 | 22 | 44 569.71/569.92 c 569s | 21 | 1227082 | 1034945 | 2935 862 | 22 | 44 571.70/571.97 c 571s | 21 | 1231219 | 1038445 | 2935 864 | 22 | 44 573.80/574.00 c 573s | 21 | 1235529 | 1041745 | 2935 866 | 22 | 44 575.80/576.03 c 575s | 21 | 1239692 | 1045145 | 2935 868 | 22 | 44 577.80/578.03 c 577s | 21 | 1243510 | 1048345 | 2935 870 | 22 | 44 579.80/580.04 c 580s | 21 | 1247086 | 1051645 | 2935 872 | 22 | 44 581.89/582.11 c 582s | 21 | 1251102 | 1055145 | 2935 875 | 22 | 44 583.90/584.12 c 584s | 21 | 1255154 | 1058645 | 2935 877 | 22 | 44 585.89/586.14 c 586s | 21 | 1260075 | 1062445 | 2935 879 | 22 | 44 587.89/588.19 c 588s | 21 | 1264329 | 1065945 | 2935 881 | 22 | 44 589.99/590.22 c 590s | 21 | 1268584 | 1069345 | 2935 884 | 22 | 44 591.99/592.26 c 592s | 21 | 1272837 | 1072745 | 2935 886 | 22 | 44 593.99/594.29 c 594s | 21 | 1276826 | 1076045 | 2935 888 | 22 | 44 596.10/596.31 c 596s | 21 | 1280539 | 1079145 | 2935 890 | 22 | 44 598.09/598.33 c 598s | 21 | 1284465 | 1082245 | 2935 892 | 22 | 44 600.09/600.39 c 600s | 21 | 1288582 | 1085645 | 2935 894 | 22 | 44 602.08/602.39 c 602s | 21 | 1292339 | 1089045 | 2935 896 | 22 | 44 604.18/604.45 c 604s | 21 | 1296096 | 1092345 | 2935 898 | 22 | 44 606.28/606.50 c 606s | 21 | 1299556 | 1095445 | 2935 900 | 22 | 44 608.28/608.51 c 608s | 21 | 1303746 | 1098745 | 2935 902 | 22 | 44 610.29/610.56 c 610s | 21 | 1308023 | 1102245 | 2935 904 | 22 | 44 612.28/612.57 c 612s | 21 | 1312260 | 1105445 | 2935 906 | 22 | 44 614.28/614.58 c 614s | 21 | 1316593 | 1108845 | 2935 909 | 22 | 44 616.28/616.59 c 616s | 21 | 1320397 | 1112145 | 2935 911 | 22 | 44 618.38/618.64 c 618s | 21 | 1324233 | 1115345 | 2935 913 | 22 | 44 620.37/620.69 c 620s | 21 | 1328625 | 1118645 | 2935 915 | 22 | 44 622.38/622.69 c 622s | 21 | 1333444 | 1122045 | 2935 917 | 22 | 44 624.47/624.73 c 624s | 21 | 1337697 | 1125345 | 2935 919 | 22 | 44 626.47/626.76 c 626s | 21 | 1341825 | 1128645 | 2935 921 | 22 | 44 628.47/628.77 c 628s | 21 | 1346076 | 1132045 | 2935 923 | 22 | 44 630.47/630.78 c 630s | 21 | 1350207 | 1135445 | 2935 925 | 22 | 44 632.46/632.79 c 632s | 21 | 1354020 | 1138745 | 2935 928 | 22 | 44 634.57/634.82 c 634s | 21 | 1358122 | 1141945 | 2935 930 | 22 | 44 636.56/636.82 c 636s | 21 | 1361873 | 1145145 | 2935 932 | 22 | 44 638.57/638.87 c 638s | 21 | 1365657 | 1148145 | 2935 933 | 22 | 44 640.67/640.91 c 640s | 21 | 1369202 | 1151145 | 2935 935 | 22 | 44 642.66/642.96 c 642s | 21 | 1372597 | 1154245 | 2935 937 | 22 | 44 644.76/645.01 c 644s | 21 | 1375998 | 1157245 | 2935 939 | 22 | 44 646.76/647.04 c 646s | 21 | 1379515 | 1160145 | 2935 941 | 22 | 44 648.77/649.04 c 649s | 21 | 1383131 | 1162945 | 2935 943 | 22 | 44 650.76/651.06 c 651s | 21 | 1386918 | 1166245 | 2935 945 | 22 | 44 652.86/653.10 c 653s | 21 | 1390770 | 1169545 | 2935 947 | 22 | 44 654.86/655.12 c 655s | 21 | 1394696 | 1172745 | 2935 949 | 22 | 44 656.85/657.15 c 657s | 21 | 1398911 | 1176045 | 2935 951 | 22 | 44 658.95/659.20 c 659s | 21 | 1402787 | 1179545 | 2935 953 | 22 | 44 660.97/661.21 c 661s | 21 | 1406679 | 1182845 | 2935 955 | 22 | 44 662.95/663.23 c 663s | 21 | 1411018 | 1186345 | 2935 958 | 22 | 44 664.95/665.27 c 665s | 21 | 1415810 | 1189745 | 2935 960 | 22 | 44 666.95/667.27 c 667s | 21 | 1420068 | 1193445 | 2935 962 | 22 | 44 669.05/669.31 c 669s | 21 | 1423893 | 1196945 | 2935 964 | 22 | 44 671.05/671.37 c 671s | 21 | 1427828 | 1200445 | 2935 966 | 22 | 44 673.15/673.42 c 673s | 21 | 1431835 | 1203845 | 2935 969 | 22 | 44 675.16/675.46 c 675s | 21 | 1435499 | 1207045 | 2935 971 | 22 | 44 677.15/677.47 c 677s | 21 | 1439376 | 1210345 | 2935 973 | 22 | 44 679.14/679.49 c 679s | 21 | 1443324 | 1213345 | 2935 975 | 22 | 44 681.14/681.50 c 681s | 21 | 1447194 | 1216445 | 2935 976 | 22 | 44 683.24/683.53 c 683s | 21 | 1451088 | 1219545 | 2935 978 | 22 | 44 685.24/685.53 c 685s | 21 | 1454861 | 1222645 | 2935 980 | 22 | 44 687.25/687.59 c 687s | 21 | 1458863 | 1225845 | 2935 982 | 22 | 44 689.34/689.63 c 689s | 21 | 1462657 | 1228945 | 2935 984 | 22 | 44 691.33/691.69 c 691s | 21 | 1466338 | 1232045 | 2935 986 | 22 | 44 693.44/693.70 c 693s | 21 | 1470325 | 1235045 | 2935 988 | 22 | 44 695.44/695.76 c 695s | 21 | 1474056 | 1238245 | 2935 990 | 22 | 44 697.44/697.78 c 697s | 21 | 1477527 | 1241245 | 2935 992 | 22 | 44 699.53/699.81 c 699s | 21 | 1481015 | 1244245 | 2935 994 | 22 | 44 701.54/701.85 c 701s | 21 | 1484395 | 1247045 | 2935 996 | 22 | 44 703.53/703.88 c 703s | 21 | 1487849 | 1249845 | 2935 998 | 22 | 44 705.63/705.91 c 705s | 21 | 1491482 | 1252645 | 2935 999 | 22 | 44 707.63/707.98 c 707s | 21 | 1494804 | 1255445 | 2935 1001 | 22 | 44 709.73/710.00 c 709s | 21 | 1498893 | 1258545 | 2935 1003 | 22 | 44 711.72/712.06 c 712s | 21 | 1503352 | 1262245 | 2935 1005 | 22 | 44 713.83/714.10 c 714s | 21 | 1507281 | 1265745 | 2935 1008 | 22 | 44 715.84/716.12 c 716s | 21 | 1511325 | 1269045 | 2935 1010 | 22 | 44 717.83/718.14 c 718s | 21 | 1515405 | 1272345 | 2935 1012 | 22 | 44 719.93/720.20 c 720s | 21 | 1519525 | 1275745 | 2935 1014 | 22 | 44 721.92/722.21 c 722s | 21 | 1523897 | 1279245 | 2935 1016 | 22 | 44 723.92/724.28 c 724s | 21 | 1528691 | 1282845 | 2935 1019 | 22 | 44 726.02/726.30 c 726s | 21 | 1532947 | 1286345 | 2935 1021 | 22 | 44 728.03/728.35 c 728s | 21 | 1536879 | 1289845 | 2935 1023 | 22 | 44 730.02/730.39 c 730s | 21 | 1540857 | 1293245 | 2935 1025 | 22 | 44 732.11/732.45 c 732s | 21 | 1545678 | 1296545 | 2935 1027 | 22 | 44 734.11/734.45 c 734s | 21 | 1549926 | 1299845 | 2935 1029 | 22 | 44 736.11/736.45 c 736s | 21 | 1554175 | 1303145 | 2935 1031 | 22 | 44 738.12/738.49 c 738s | 21 | 1557953 | 1306445 | 2935 1034 | 22 | 44 740.22/740.51 c 740s | 21 | 1561759 | 1309745 | 2935 1036 | 22 | 44 742.22/742.57 c 742s | 21 | 1565809 | 1312945 | 2935 1038 | 22 | 44 744.31/744.60 c 744s | 21 | 1570396 | 1316545 | 2935 1040 | 22 | 44 746.31/746.61 c 746s | 21 | 1575283 | 1319945 | 2935 1042 | 22 | 44 748.31/748.67 c 748s | 21 | 1579697 | 1323645 | 2935 1044 | 22 | 44 750.31/750.69 c 750s | 21 | 1584027 | 1326945 | 2935 1046 | 22 | 44 752.40/752.70 c 752s | 21 | 1588241 | 1330345 | 2935 1049 | 22 | 44 754.41/754.76 c 754s | 21 | 1592493 | 1333945 | 2935 1051 | 22 | 44 756.40/756.77 c 756s | 21 | 1596470 | 1337345 | 2935 1053 | 22 | 44 758.50/758.81 c 758s | 21 | 1600553 | 1340845 | 2935 1055 | 22 | 44 760.50/760.84 c 760s | 21 | 1604897 | 1344145 | 2935 1057 | 22 | 44 762.50/762.87 c 762s | 21 | 1609320 | 1347445 | 2935 1059 | 22 | 44 764.59/764.93 c 764s | 21 | 1613657 | 1350845 | 2935 1062 | 22 | 44 766.60/766.99 c 766s | 21 | 1617962 | 1354045 | 2935 1064 | 22 | 44 768.60/769.00 c 768s | 21 | 1622053 | 1357445 | 2935 1066 | 22 | 44 770.69/771.04 c 770s | 21 | 1626121 | 1360645 | 2935 1068 | 22 | 44 772.69/773.06 c 773s | 21 | 1630932 | 1364145 | 2935 1070 | 22 | 44 774.79/775.12 c 775s | 21 | 1635300 | 1367645 | 2935 1072 | 22 | 44 776.79/777.18 c 777s | 21 | 1639878 | 1371045 | 2935 1074 | 22 | 44 778.90/779.25 c 779s | 21 | 1644315 | 1374345 | 2935 1077 | 22 | 44 780.90/781.27 c 781s | 21 | 1648529 | 1377445 | 2935 1078 | 22 | 44 783.00/783.33 c 783s | 21 | 1652575 | 1380645 | 2935 1080 | 22 | 44 784.99/785.38 c 785s | 21 | 1656110 | 1383745 | 2935 1082 | 22 | 44 787.09/787.44 c 787s | 21 | 1659731 | 1386745 | 2935 1084 | 22 | 44 789.09/789.46 c 789s | 21 | 1663598 | 1389845 | 2935 1086 | 22 | 44 791.09/791.48 c 791s | 21 | 1667770 | 1392945 | 2935 1088 | 22 | 44 793.19/793.52 c 793s | 21 | 1671953 | 1396145 | 2935 1090 | 22 | 44 795.18/795.55 c 795s | 21 | 1675871 | 1399245 | 2935 1092 | 22 | 44 797.19/797.57 c 797s | 21 | 1679258 | 1402145 | 2935 1094 | 22 | 44 799.28/799.60 c 799s | 21 | 1682963 | 1405245 | 2935 1096 | 22 | 44 801.28/801.65 c 801s | 21 | 1686452 | 1408145 | 2935 1098 | 22 | 44 803.28/803.69 c 803s | 21 | 1690014 | 1411145 | 2935 1100 | 22 | 44 805.38/805.74 c 805s | 21 | 1694184 | 1414445 | 2935 1102 | 22 | 44 807.38/807.75 c 807s | 21 | 1697825 | 1417445 | 2935 1104 | 22 | 44 809.39/809.78 c 809s | 21 | 1701922 | 1420645 | 2935 1106 | 22 | 44 811.48/811.82 c 811s | 21 | 1705651 | 1423645 | 2935 1108 | 22 | 44 813.47/813.88 c 813s | 21 | 1709377 | 1426845 | 2935 1110 | 22 | 44 815.57/815.92 c 815s | 21 | 1713134 | 1430145 | 2935 1112 | 22 | 44 817.57/817.94 c 817s | 21 | 1716700 | 1433345 | 2935 1114 | 22 | 44 819.57/819.97 c 819s | 21 | 1720405 | 1436645 | 2935 1116 | 22 | 44 821.66/822.01 c 821s | 21 | 1724107 | 1439945 | 2935 1118 | 22 | 44 823.67/824.04 c 823s | 21 | 1727793 | 1443145 | 2935 1120 | 22 | 44 825.66/826.04 c 826s | 21 | 1731519 | 1446545 | 2935 1122 | 22 | 44 827.66/828.08 c 828s | 21 | 1735219 | 1449845 | 2935 1124 | 22 | 44 829.76/830.12 c 830s | 21 | 1740152 | 1453345 | 2935 1126 | 22 | 44 831.76/832.13 c 832s | 21 | 1744487 | 1456545 | 2935 1128 | 22 | 44 833.76/834.16 c 834s | 21 | 1748723 | 1460045 | 2935 1131 | 22 | 44 835.77/836.18 c 836s | 21 | 1752621 | 1463345 | 2935 1133 | 22 | 44 837.75/838.19 c 838s | 21 | 1756759 | 1466745 | 2935 1135 | 22 | 44 839.85/840.25 c 840s | 21 | 1760963 | 1470145 | 2935 1137 | 22 | 44 841.85/842.26 c 842s | 21 | 1764993 | 1473445 | 2935 1139 | 22 | 44 843.85/844.28 c 844s | 21 | 1768908 | 1476745 | 2935 1141 | 22 | 44 845.95/846.31 c 846s | 21 | 1772669 | 1479845 | 2935 1143 | 22 | 44 847.95/848.37 c 848s | 21 | 1776352 | 1482845 | 2935 1145 | 22 | 44 850.06/850.41 c 850s | 21 | 1780184 | 1485945 | 2935 1147 | 22 | 44 852.05/852.42 c 852s | 21 | 1783991 | 1489145 | 2935 1149 | 22 | 44 854.05/854.45 c 854s | 21 | 1788311 | 1492445 | 3229 1151 | 22 | 44 856.04/856.47 c 856s | 21 | 1792278 | 1495745 | 3229 1153 | 22 | 44 858.14/858.53 c 858s | 21 | 1796389 | 1499045 | 3229 1155 | 22 | 44 859.14/859.56 c 859s | 22 | 1798411 | 1500622 | 3229 1156 | 22 | 44 861.14/861.59 c 861s | 22 | 1802629 | 1504022 | 3229 1158 | 22 | 44 863.25/863.61 c 863s | 22 | 1806854 | 1507522 | 3229 1160 | 22 | 44 865.24/865.66 c 865s | 22 | 1811356 | 1510822 | 3229 1162 | 22 | 44 867.24/867.69 c 867s | 22 | 1815484 | 1514122 | 3229 1163 | 22 | 44 869.34/869.70 c 869s | 22 | 1819584 | 1517322 | 3229 1165 | 22 | 44 871.34/871.76 c 871s | 22 | 1823958 | 1520722 | 3229 1167 | 22 | 44 873.33/873.77 c 873s | 22 | 1828069 | 1524022 | 3229 1169 | 22 | 44 875.43/875.81 c 875s | 22 | 1832046 | 1527322 | 3229 1171 | 22 | 44 877.44/877.83 c 877s | 22 | 1836436 | 1530622 | 3229 1173 | 22 | 44 879.43/879.84 c 879s | 22 | 1840517 | 1533822 | 3229 1175 | 22 | 44 881.43/881.86 c 881s | 22 | 1844930 | 1537222 | 3229 1177 | 22 | 44 883.43/883.86 c 883s | 22 | 1848889 | 1540322 | 3229 1179 | 22 | 44 885.43/885.89 c 885s | 22 | 1852759 | 1543422 | 3229 1180 | 22 | 44 887.53/887.90 c 887s | 22 | 1856884 | 1546622 | 3229 1182 | 22 | 44 889.54/889.95 c 889s | 22 | 1860837 | 1550022 | 3229 1184 | 22 | 44 891.53/891.98 c 891s | 22 | 1864818 | 1553322 | 3229 1186 | 22 | 44 893.53/893.98 c 893s | 22 | 1868964 | 1556722 | 3229 1188 | 22 | 44 895.63/896.01 c 895s | 22 | 1873047 | 1560222 | 3229 1190 | 22 | 44 897.63/898.02 c 897s | 22 | 1877629 | 1563822 | 3229 1192 | 22 | 44 899.63/900.07 c 900s | 22 | 1881862 | 1567222 | 3229 1194 | 22 | 44 901.63/902.08 c 902s | 22 | 1885855 | 1570522 | 3229 1196 | 22 | 44 903.72/904.13 c 904s | 22 | 1889848 | 1573822 | 3229 1198 | 22 | 44 905.72/906.16 c 906s | 22 | 1893960 | 1577122 | 3229 1200 | 22 | 44 907.82/908.22 c 908s | 22 | 1898120 | 1580522 | 3229 1202 | 22 | 44 909.82/910.26 c 910s | 22 | 1902338 | 1583922 | 3229 1204 | 22 | 44 911.81/912.29 c 912s | 22 | 1906588 | 1587222 | 3229 1206 | 22 | 44 913.91/914.32 c 914s | 22 | 1910354 | 1590322 | 3229 1208 | 22 | 44 915.92/916.33 c 916s | 22 | 1914610 | 1593622 | 3229 1210 | 22 | 44 917.91/918.36 c 918s | 22 | 1918673 | 1596922 | 3229 1212 | 22 | 44 919.91/920.39 c 920s | 22 | 1923191 | 1600422 | 3229 1214 | 22 | 44 922.01/922.41 c 922s | 22 | 1927217 | 1603722 | 3229 1216 | 22 | 44 924.01/924.42 c 924s | 22 | 1931329 | 1607122 | 3229 1218 | 22 | 44 926.01/926.45 c 926s | 22 | 1935476 | 1610522 | 3229 1220 | 22 | 44 928.02/928.45 c 928s | 22 | 1939528 | 1613822 | 3229 1222 | 22 | 44 930.00/930.46 c 930s | 22 | 1943707 | 1617222 | 3229 1224 | 22 | 44 932.10/932.51 c 932s | 22 | 1947792 | 1620622 | 3229 1225 | 22 | 44 934.10/934.51 c 934s | 22 | 1952001 | 1623922 | 3229 1227 | 22 | 44 936.10/936.55 c 936s | 22 | 1956197 | 1627322 | 3229 1229 | 22 | 44 938.10/938.59 c 938s | 22 | 1960284 | 1630522 | 3229 1231 | 22 | 44 940.11/940.60 c 940s | 22 | 1964209 | 1633722 | 3229 1233 | 22 | 44 942.20/942.64 c 942s | 22 | 1968371 | 1637022 | 3229 1235 | 22 | 44 944.20/944.66 c 944s | 22 | 1972476 | 1640122 | 3229 1237 | 22 | 44 946.20/946.67 c 946s | 22 | 1976472 | 1643222 | 3229 1239 | 22 | 44 948.30/948.70 c 948s | 22 | 1980866 | 1646522 | 3229 1241 | 22 | 44 950.30/950.71 c 950s | 22 | 1984763 | 1649622 | 3229 1242 | 22 | 44 952.31/952.72 c 952s | 22 | 1989160 | 1652722 | 3229 1244 | 22 | 44 954.30/954.76 c 954s | 22 | 1993397 | 1656022 | 3229 1246 | 22 | 44 956.40/956.82 c 956s | 22 | 1997686 | 1659222 | 3229 1248 | 22 | 44 958.40/958.84 c 958s | 22 | 2001873 | 1662522 | 3229 1250 | 22 | 44 960.40/960.88 c 960s | 22 | 2006180 | 1665822 | 3229 1252 | 22 | 44 962.39/962.89 c 962s | 22 | 2009724 | 1668822 | 3229 1254 | 22 | 44 964.50/964.91 c 964s | 22 | 2013534 | 1672022 | 3229 1255 | 22 | 44 966.50/966.93 c 966s | 22 | 2017552 | 1675322 | 3229 1257 | 22 | 44 968.49/968.96 c 968s | 22 | 2021528 | 1678522 | 3229 1259 | 22 | 44 970.49/970.98 c 970s | 22 | 2025847 | 1681722 | 3229 1261 | 22 | 44 972.59/973.05 c 973s | 22 | 2029851 | 1684922 | 3229 1263 | 22 | 44 974.59/975.08 c 975s | 22 | 2033607 | 1687922 | 3229 1265 | 22 | 44 976.59/977.09 c 977s | 22 | 2037626 | 1691122 | 3229 1266 | 22 | 44 978.70/979.13 c 979s | 22 | 2041681 | 1694322 | 3229 1268 | 22 | 44 980.70/981.18 c 981s | 22 | 2045634 | 1697422 | 3229 1270 | 22 | 44 982.80/983.20 c 983s | 22 | 2049355 | 1700422 | 3229 1272 | 22 | 44 984.80/985.25 c 985s | 22 | 2053387 | 1703522 | 3229 1274 | 22 | 44 986.80/987.29 c 987s | 22 | 2057561 | 1706722 | 3229 1276 | 22 | 44 988.90/989.33 c 989s | 22 | 2062142 | 1710022 | 3229 1277 | 22 | 44 990.90/991.37 c 991s | 22 | 2066228 | 1713322 | 3229 1279 | 22 | 44 992.91/993.37 c 993s | 22 | 2070018 | 1716322 | 3229 1281 | 22 | 44 994.99/995.41 c 995s | 22 | 2074351 | 1719622 | 3229 1283 | 22 | 44 996.99/997.45 c 997s | 22 | 2078270 | 1722822 | 3229 1285 | 22 | 44 998.99/999.47 c 999s | 22 | 2082330 | 1726022 | 3229 1287 | 22 | 44 1001.09/1001.52 c 1001s | 22 | 2086412 | 1729122 | 3229 1289 | 22 | 44 1003.09/1003.56 c 1003s | 22 | 2090703 | 1732422 | 3229 1290 | 22 | 44 1005.10/1005.57 c 1005s | 22 | 2094983 | 1735622 | 3229 1292 | 22 | 44 1007.09/1007.60 c 1007s | 22 | 2099130 | 1738922 | 3229 1294 | 22 | 44 1009.19/1009.63 c 1009s | 22 | 2103156 | 1742022 | 3229 1296 | 22 | 44 1011.19/1011.67 c 1011s | 22 | 2107610 | 1745322 | 3229 1298 | 22 | 44 1013.29/1013.70 c 1013s | 22 | 2111560 | 1748522 | 3229 1300 | 22 | 44 1015.28/1015.74 c 1015s | 22 | 2115805 | 1751522 | 3229 1302 | 22 | 44 1017.29/1017.76 c 1017s | 22 | 2120364 | 1754822 | 3229 1303 | 22 | 44 1019.30/1019.80 c 1019s | 22 | 2124570 | 1758022 | 3229 1305 | 22 | 44 1021.39/1021.86 c 1021s | 22 | 2128430 | 1761022 | 3229 1307 | 22 | 44 1023.39/1023.89 c 1023s | 22 | 2132801 | 1764122 | 3229 1309 | 22 | 44 1025.39/1025.89 c 1025s | 22 | 2136772 | 1767222 | 3229 1311 | 22 | 44 1027.49/1027.91 c 1027s | 22 | 2141053 | 1770522 | 3229 1313 | 22 | 44 1029.49/1029.95 c 1029s | 22 | 2145125 | 1773722 | 3229 1314 | 22 | 44 1031.59/1032.00 c 1031s | 22 | 2149483 | 1777122 | 3229 1316 | 22 | 44 1033.59/1034.02 c 1033s | 22 | 2153582 | 1780322 | 3229 1318 | 22 | 44 1035.58/1036.03 c 1035s | 22 | 2157275 | 1783422 | 3229 1320 | 22 | 44 1037.58/1038.05 c 1038s | 22 | 2161292 | 1786522 | 3229 1322 | 22 | 44 1039.58/1040.07 c 1040s | 22 | 2165488 | 1789822 | 3229 1324 | 22 | 44 1041.68/1042.12 c 1042s | 22 | 2169190 | 1792822 | 3229 1326 | 22 | 44 1043.68/1044.12 c 1044s | 22 | 2172992 | 1796022 | 3229 1327 | 22 | 44 1045.69/1046.13 c 1046s | 22 | 2176990 | 1799222 | 3229 1329 | 22 | 44 1047.68/1048.18 c 1048s | 22 | 2181344 | 1802722 | 3229 1331 | 22 | 44 1049.78/1050.21 c 1050s | 22 | 2185599 | 1806022 | 3229 1333 | 22 | 44 1051.78/1052.23 c 1052s | 22 | 2189624 | 1809222 | 3229 1335 | 22 | 44 1053.78/1054.27 c 1054s | 22 | 2193562 | 1812422 | 3229 1337 | 22 | 44 1055.88/1056.30 c 1056s | 22 | 2197452 | 1815722 | 3229 1339 | 22 | 44 1057.89/1058.33 c 1058s | 22 | 2201505 | 1819022 | 3229 1341 | 22 | 44 1059.88/1060.39 c 1060s | 22 | 2205387 | 1822222 | 3229 1343 | 22 | 44 1061.98/1062.41 c 1062s | 22 | 2209436 | 1825622 | 3229 1344 | 22 | 44 1063.98/1064.44 c 1064s | 22 | 2213301 | 1828922 | 3229 1346 | 22 | 44 1065.98/1066.47 c 1066s | 22 | 2217293 | 1832222 | 3229 1348 | 22 | 44 1067.98/1068.49 c 1068s | 22 | 2221452 | 1835522 | 3229 1350 | 22 | 44 1070.08/1070.50 c 1070s | 22 | 2225469 | 1838622 | 3229 1352 | 22 | 44 1072.09/1072.53 c 1072s | 22 | 2229273 | 1841722 | 3229 1354 | 22 | 44 1074.08/1074.56 c 1074s | 22 | 2232890 | 1844822 | 3229 1356 | 22 | 44 1076.18/1076.61 c 1076s | 22 | 2236789 | 1848022 | 3229 1357 | 22 | 44 1078.18/1078.62 c 1078s | 22 | 2240724 | 1851222 | 3229 1359 | 22 | 44 1080.18/1080.65 c 1080s | 22 | 2244549 | 1854322 | 3229 1361 | 22 | 44 1082.17/1082.66 c 1082s | 22 | 2248326 | 1857322 | 3229 1363 | 22 | 44 1084.18/1084.69 c 1084s | 22 | 2252362 | 1860522 | 3229 1365 | 22 | 44 1086.28/1086.75 c 1086s | 22 | 2256497 | 1863722 | 3229 1366 | 22 | 44 1088.28/1088.79 c 1088s | 22 | 2260710 | 1866922 | 3229 1368 | 22 | 44 1090.38/1090.82 c 1090s | 22 | 2264954 | 1870222 | 3229 1370 | 22 | 44 1092.38/1092.87 c 1092s | 22 | 2268985 | 1873522 | 3229 1372 | 22 | 44 1094.48/1094.92 c 1094s | 22 | 2273111 | 1876822 | 3229 1374 | 22 | 44 1096.48/1096.98 c 1096s | 22 | 2277179 | 1880022 | 3229 1376 | 22 | 44 1098.59/1099.01 c 1098s | 22 | 2281176 | 1883222 | 3229 1378 | 22 | 44 1100.58/1101.06 c 1101s | 22 | 2285123 | 1886322 | 3229 1380 | 22 | 44 1102.57/1103.09 c 1103s | 22 | 2289431 | 1889622 | 3229 1381 | 22 | 44 1104.67/1105.10 c 1105s | 22 | 2293495 | 1892822 | 3229 1383 | 22 | 44 1106.67/1107.11 c 1107s | 22 | 2298304 | 1896222 | 3229 1385 | 22 | 44 1108.67/1109.17 c 1109s | 22 | 2302634 | 1899422 | 3229 1387 | 22 | 44 1110.68/1111.18 c 1111s | 22 | 2306749 | 1902622 | 3229 1389 | 22 | 44 1112.68/1113.21 c 1113s | 22 | 2310856 | 1905722 | 3229 1391 | 22 | 44 1114.78/1115.23 c 1115s | 22 | 2315094 | 1908922 | 3229 1393 | 22 | 44 1116.77/1117.25 c 1117s | 22 | 2319287 | 1912122 | 3229 1394 | 22 | 44 1118.87/1119.31 c 1119s | 22 | 2323631 | 1915422 | 3229 1396 | 22 | 44 1120.87/1121.36 c 1121s | 22 | 2327943 | 1918722 | 3229 1398 | 22 | 44 1122.87/1123.38 c 1123s | 22 | 2332167 | 1922022 | 3229 1400 | 22 | 44 1124.98/1125.44 c 1125s | 22 | 2336338 | 1925322 | 3229 1402 | 22 | 44 1126.97/1127.48 c 1127s | 22 | 2340817 | 1928922 | 3229 1404 | 22 | 44 1129.07/1129.53 c 1129s | 22 | 2344858 | 1932322 | 3229 1406 | 22 | 44 1131.07/1131.59 c 1131s | 22 | 2348822 | 1935522 | 3229 1408 | 22 | 44 1133.17/1133.60 c 1133s | 22 | 2353168 | 1939022 | 3229 1410 | 22 | 44 1135.17/1135.66 c 1135s | 22 | 2357607 | 1942522 | 3229 1412 | 22 | 44 1137.27/1137.71 c 1137s | 22 | 2361901 | 1946322 | 3229 1414 | 22 | 44 1139.28/1139.75 c 1139s | 22 | 2365932 | 1949822 | 3229 1416 | 22 | 44 1141.27/1141.77 c 1141s | 22 | 2369657 | 1953022 | 3229 1418 | 22 | 44 1143.27/1143.78 c 1143s | 22 | 2373455 | 1956422 | 3229 1420 | 22 | 44 1145.37/1145.80 c 1145s | 22 | 2377385 | 1959722 | 3229 1422 | 22 | 44 1147.37/1147.80 c 1147s | 22 | 2381351 | 1963022 | 3229 1424 | 22 | 44 1149.37/1149.84 c 1149s | 22 | 2385236 | 1966322 | 3229 1426 | 22 | 44 1151.38/1151.86 c 1151s | 22 | 2389428 | 1969722 | 3229 1428 | 22 | 44 1153.37/1153.87 c 1153s | 22 | 2393552 | 1973122 | 3229 1430 | 22 | 44 1155.47/1155.92 c 1155s | 22 | 2397552 | 1976422 | 3229 1432 | 22 | 44 1157.47/1157.96 c 1157s | 22 | 2401792 | 1979822 | 3229 1434 | 22 | 44 1159.57/1160.01 c 1159s | 22 | 2406332 | 1983322 | 3229 1436 | 22 | 44 1161.57/1162.05 c 1162s | 22 | 2410276 | 1986722 | 3229 1438 | 22 | 44 1163.67/1164.10 c 1164s | 22 | 2414192 | 1990022 | 3229 1440 | 22 | 44 1165.58/1166.10 c 1166s | 22 | 2418426 | 1993322 | 3229 1442 | 22 | 44 1167.67/1168.12 c 1168s | 22 | 2422281 | 1996522 | 3229 1444 | 22 | 44 1169.67/1170.17 c 1170s | 22 | 2426597 | 1999922 | 3229 1446 | 22 | 44 1171.66/1172.19 c 1172s | 22 | 2430785 | 2003422 | 3229 1448 | 22 | 44 1173.76/1174.20 c 1174s | 22 | 2435353 | 2006922 | 3229 1450 | 22 | 44 1175.76/1176.22 c 1176s | 22 | 2439265 | 2010222 | 3229 1452 | 22 | 44 1177.78/1178.26 c 1178s | 22 | 2442954 | 2013522 | 3229 1453 | 22 | 44 1179.88/1180.34 c 1180s | 22 | 2447155 | 2017022 | 3229 1456 | 22 | 44 1181.87/1182.35 c 1182s | 22 | 2451575 | 2020522 | 3229 1458 | 22 | 44 1183.87/1184.37 c 1184s | 22 | 2456123 | 2024022 | 3229 1460 | 22 | 44 1185.96/1186.45 c 1186s | 22 | 2460300 | 2027422 | 3229 1462 | 22 | 44 1187.96/1188.48 c 1188s | 22 | 2464410 | 2030722 | 3229 1463 | 22 | 44 1190.06/1190.54 c 1190s | 22 | 2468587 | 2034022 | 3229 1465 | 22 | 44 1192.07/1192.56 c 1192s | 22 | 2472675 | 2037322 | 3229 1467 | 22 | 44 1194.17/1194.61 c 1194s | 22 | 2476937 | 2040722 | 3229 1469 | 22 | 44 1196.16/1196.68 c 1196s | 22 | 2481255 | 2044122 | 3229 1471 | 22 | 44 1198.16/1198.69 c 1198s | 22 | 2485116 | 2047322 | 3229 1473 | 22 | 44 1200.26/1200.71 c 1200s | 22 | 2489250 | 2050722 | 3229 1475 | 22 | 44 1202.26/1202.75 c 1202s | 22 | 2493448 | 2054122 | 3229 1477 | 22 | 44 1204.27/1204.79 c 1204s | 22 | 2497732 | 2057422 | 3229 1479 | 22 | 44 1206.27/1206.80 c 1206s | 22 | 2501754 | 2060722 | 3229 1481 | 22 | 44 1208.36/1208.83 c 1208s | 22 | 2505786 | 2064022 | 3229 1483 | 22 | 44 1210.36/1210.84 c 1210s | 22 | 2510066 | 2067322 | 3229 1485 | 22 | 44 1212.36/1212.86 c 1212s | 22 | 2514452 | 2070722 | 3229 1487 | 22 | 44 1214.46/1214.90 c 1214s | 22 | 2518564 | 2074122 | 3229 1489 | 22 | 44 1216.46/1216.91 c 1216s | 22 | 2522889 | 2077622 | 3229 1491 | 22 | 44 1218.47/1218.92 c 1218s | 22 | 2526997 | 2081122 | 3229 1493 | 22 | 44 1220.45/1220.94 c 1220s | 22 | 2531037 | 2084522 | 3229 1495 | 22 | 44 1222.45/1222.96 c 1222s | 22 | 2535302 | 2088022 | 3229 1497 | 22 | 44 1224.45/1224.99 c 1224s | 22 | 2539405 | 2091422 | 3229 1499 | 22 | 44 1226.55/1227.04 c 1227s | 22 | 2543569 | 2094822 | 3229 1501 | 22 | 44 1228.55/1229.09 c 1229s | 22 | 2547849 | 2098422 | 3229 1503 | 22 | 44 1230.66/1231.12 c 1231s | 22 | 2552093 | 2102022 | 3229 1505 | 22 | 44 1232.67/1233.13 c 1233s | 22 | 2555982 | 2105322 | 3229 1507 | 22 | 44 1234.66/1235.15 c 1235s | 22 | 2560008 | 2108622 | 3229 1509 | 22 | 44 1236.66/1237.16 c 1237s | 22 | 2564294 | 2112022 | 3229 1510 | 22 | 44 1238.76/1239.20 c 1239s | 22 | 2568448 | 2115422 | 3229 1512 | 22 | 44 1240.76/1241.22 c 1241s | 22 | 2572635 | 2118722 | 3229 1514 | 22 | 44 1242.76/1243.25 c 1243s | 22 | 2576973 | 2122022 | 3229 1516 | 22 | 44 1244.76/1245.26 c 1245s | 22 | 2581256 | 2125422 | 3229 1518 | 22 | 44 1246.85/1247.32 c 1247s | 22 | 2585342 | 2128822 | 3229 1520 | 22 | 44 1248.85/1249.35 c 1249s | 22 | 2589392 | 2132122 | 3229 1522 | 22 | 44 1250.85/1251.38 c 1251s | 22 | 2593511 | 2135522 | 3229 1524 | 22 | 44 1252.95/1253.43 c 1253s | 22 | 2597522 | 2138922 | 3229 1526 | 22 | 44 1254.95/1255.47 c 1255s | 22 | 2601313 | 2142122 | 3229 1528 | 22 | 44 1256.96/1257.49 c 1257s | 22 | 2605310 | 2145322 | 3229 1530 | 22 | 44 1258.95/1259.50 c 1259s | 22 | 2609416 | 2148722 | 3229 1532 | 22 | 44 1261.05/1261.58 c 1261s | 22 | 2613466 | 2152022 | 3229 1534 | 22 | 44 1263.15/1263.62 c 1263s | 22 | 2617886 | 2155422 | 3229 1535 | 22 | 44 1265.15/1265.67 c 1265s | 22 | 2622008 | 2158722 | 3229 1537 | 22 | 44 1267.16/1267.68 c 1267s | 22 | 2625921 | 2161922 | 3229 1539 | 22 | 44 1269.16/1269.68 c 1269s | 22 | 2629951 | 2165122 | 3229 1541 | 22 | 44 1271.16/1271.68 c 1271s | 22 | 2633792 | 2168222 | 3229 1543 | 22 | 44 1273.25/1273.74 c 1273s | 22 | 2637773 | 2171422 | 3229 1545 | 22 | 44 1275.25/1275.79 c 1275s | 22 | 2641844 | 2174722 | 3229 1547 | 22 | 44 1277.35/1277.81 c 1277s | 22 | 2645777 | 2177822 | 3229 1548 | 22 | 44 1279.35/1279.87 c 1279s | 22 | 2649760 | 2181222 | 3229 1550 | 22 | 44 1281.35/1281.89 c 1281s | 22 | 2653497 | 2184322 | 3229 1552 | 22 | 44 1283.45/1283.92 c 1283s | 22 | 2657382 | 2187422 | 3229 1554 | 22 | 44 1285.46/1285.95 c 1285s | 22 | 2661450 | 2190622 | 3229 1556 | 22 | 44 1287.44/1287.96 c 1287s | 22 | 2665526 | 2193722 | 3229 1558 | 22 | 44 1289.54/1290.03 c 1289s | 22 | 2669577 | 2197022 | 3229 1559 | 22 | 44 1291.54/1292.08 c 1292s | 22 | 2673596 | 2200222 | 3229 1561 | 22 | 44 1293.65/1294.14 c 1294s | 22 | 2677544 | 2203322 | 3229 1563 | 22 | 44 1295.65/1296.19 c 1296s | 22 | 2681564 | 2206522 | 3229 1565 | 22 | 44 1297.75/1298.24 c 1298s | 22 | 2685879 | 2209722 | 3229 1567 | 22 | 44 1299.76/1300.27 c 1300s | 22 | 2690034 | 2213022 | 3229 1569 | 22 | 44 1301.85/1302.34 c 1302s | 22 | 2694069 | 2216122 | 3229 1570 | 22 | 44 1303.84/1304.38 c 1304s | 22 | 2698326 | 2219322 | 3229 1572 | 22 | 44 1305.94/1306.43 c 1306s | 22 | 2702436 | 2222622 | 3229 1574 | 22 | 44 1307.94/1308.48 c 1308s | 22 | 2706678 | 2225922 | 3229 1576 | 22 | 44 1310.04/1310.53 c 1310s | 22 | 2710945 | 2229122 | 3229 1578 | 22 | 44 1312.04/1312.55 c 1312s | 22 | 2715191 | 2232222 | 3229 1580 | 22 | 44 1314.06/1314.59 c 1314s | 22 | 2719575 | 2235422 | 3552 1581 | 22 | 44 1316.15/1316.65 c 1316s | 22 | 2723728 | 2238622 | 3552 1583 | 22 | 44 1318.14/1318.68 c 1318s | 22 | 2727554 | 2241622 | 3552 1585 | 22 | 44 1320.14/1320.70 c 1320s | 22 | 2731500 | 2244622 | 3552 1586 | 22 | 44 1322.24/1322.75 c 1322s | 22 | 2735230 | 2247622 | 3552 1588 | 22 | 44 1324.24/1324.78 c 1324s | 22 | 2739195 | 2250622 | 3552 1589 | 22 | 44 1324.64/1325.10 c 1325s | 23 | 2739716 | 2251038 | 3552 1590 | 22 | 44 1326.64/1327.11 c 1327s | 23 | 2743842 | 2254338 | 3552 1591 | 22 | 44 1328.64/1329.13 c 1329s | 23 | 2747582 | 2257638 | 3552 1593 | 22 | 44 1330.65/1331.19 c 1331s | 23 | 2751230 | 2260838 | 3552 1595 | 22 | 44 1332.64/1333.19 c 1333s | 23 | 2755173 | 2263938 | 3552 1596 | 22 | 44 1334.74/1335.23 c 1335s | 23 | 2759386 | 2267038 | 3552 1598 | 22 | 44 1336.74/1337.24 c 1337s | 23 | 2763359 | 2270238 | 3552 1600 | 22 | 44 1338.74/1339.25 c 1339s | 23 | 2767246 | 2273538 | 3552 1602 | 22 | 44 1340.74/1341.27 c 1341s | 23 | 2771081 | 2276838 | 3552 1603 | 22 | 44 1342.84/1343.30 c 1343s | 23 | 2774917 | 2280038 | 3552 1605 | 22 | 44 1344.84/1345.33 c 1345s | 23 | 2778632 | 2283038 | 3552 1607 | 22 | 44 1346.83/1347.38 c 1347s | 23 | 2782660 | 2286138 | 3552 1608 | 22 | 44 1348.83/1349.40 c 1349s | 23 | 2786536 | 2289238 | 3552 1610 | 22 | 44 1350.93/1351.45 c 1351s | 23 | 2790449 | 2292338 | 3552 1612 | 22 | 44 1353.03/1353.51 c 1353s | 23 | 2794294 | 2295538 | 3552 1613 | 22 | 44 1355.03/1355.51 c 1355s | 23 | 2797948 | 2298438 | 3552 1615 | 22 | 44 1357.04/1357.57 c 1357s | 23 | 2801900 | 2301438 | 3552 1616 | 22 | 44 1359.04/1359.57 c 1359s | 23 | 2806073 | 2304638 | 3552 1618 | 22 | 44 1361.14/1361.62 c 1361s | 23 | 2809528 | 2307638 | 3552 1620 | 22 | 44 1363.14/1363.67 c 1363s | 23 | 2813388 | 2310638 | 3552 1621 | 22 | 44 1365.24/1365.70 c 1365s | 23 | 2817267 | 2313838 | 3552 1623 | 22 | 44 1367.24/1367.72 c 1367s | 23 | 2820764 | 2316738 | 3552 1625 | 22 | 44 1369.24/1369.77 c 1369s | 23 | 2824609 | 2319738 | 3552 1626 | 22 | 44 1371.24/1371.79 c 1371s | 23 | 2828178 | 2322538 | 3552 1628 | 22 | 44 1373.33/1373.81 c 1373s | 23 | 2831915 | 2325538 | 3552 1629 | 22 | 44 1375.33/1375.82 c 1375s | 23 | 2835275 | 2328238 | 3552 1631 | 22 | 44 1377.33/1377.86 c 1377s | 23 | 2839243 | 2331138 | 3552 1632 | 22 | 44 1379.33/1379.89 c 1379s | 23 | 2843100 | 2334238 | 3552 1634 | 22 | 44 1381.44/1381.92 c 1381s | 23 | 2846927 | 2337338 | 3552 1635 | 22 | 44 1383.45/1383.92 c 1383s | 23 | 2850504 | 2340338 | 3552 1637 | 22 | 44 1385.43/1385.93 c 1385s | 23 | 2853755 | 2343238 | 3552 1639 | 22 | 44 1387.43/1387.94 c 1387s | 23 | 2857291 | 2346238 | 3552 1640 | 22 | 44 1389.43/1389.97 c 1389s | 23 | 2861149 | 2349238 | 3552 1642 | 22 | 44 1391.43/1391.99 c 1391s | 23 | 2864850 | 2352238 | 3552 1643 | 22 | 44 1393.43/1393.99 c 1393s | 23 | 2868872 | 2355438 | 3552 1645 | 22 | 44 1395.54/1396.02 c 1395s | 23 | 2872639 | 2358338 | 3552 1647 | 22 | 44 1397.54/1398.04 c 1398s | 23 | 2876439 | 2361338 | 3552 1648 | 22 | 44 1399.54/1400.08 c 1400s | 23 | 2880733 | 2364538 | 3552 1650 | 22 | 44 1401.63/1402.11 c 1402s | 23 | 2884911 | 2367738 | 3552 1652 | 22 | 44 1403.63/1404.11 c 1404s | 23 | 2888782 | 2370838 | 3552 1653 | 22 | 44 1405.63/1406.14 c 1406s | 23 | 2892935 | 2373838 | 3552 1655 | 22 | 44 1407.64/1408.16 c 1408s | 23 | 2896895 | 2376838 | 3552 1656 | 22 | 44 1409.63/1410.19 c 1410s | 23 | 2900582 | 2379838 | 3552 1658 | 22 | 44 1411.73/1412.24 c 1412s | 23 | 2904570 | 2382938 | 3552 1660 | 22 | 44 1413.73/1414.27 c 1414s | 23 | 2908323 | 2385938 | 3552 1661 | 22 | 44 1415.83/1416.31 c 1416s | 23 | 2912371 | 2388838 | 3552 1663 | 22 | 44 1417.83/1418.35 c 1418s | 23 | 2916336 | 2391838 | 3552 1664 | 22 | 44 1419.83/1420.37 c 1420s | 23 | 2920353 | 2394738 | 3552 1666 | 22 | 44 1421.94/1422.43 c 1422s | 23 | 2924225 | 2397938 | 3552 1668 | 22 | 44 1423.93/1424.43 c 1424s | 23 | 2927783 | 2400838 | 3552 1669 | 22 | 44 1425.92/1426.49 c 1426s | 23 | 2931809 | 2404038 | 3552 1671 | 22 | 44 1428.02/1428.56 c 1428s | 23 | 2935638 | 2407138 | 3552 1673 | 22 | 44 1430.12/1430.61 c 1430s | 23 | 2939536 | 2410338 | 3552 1674 | 22 | 44 1432.13/1432.66 c 1432s | 23 | 2943252 | 2413238 | 3552 1676 | 22 | 44 1434.13/1434.67 c 1434s | 23 | 2947462 | 2416338 | 3552 1677 | 22 | 44 1436.14/1436.68 c 1436s | 23 | 2951100 | 2419338 | 3552 1679 | 22 | 44 1438.13/1438.69 c 1438s | 23 | 2954711 | 2422238 | 3552 1681 | 22 | 44 1440.23/1440.75 c 1440s | 23 | 2958596 | 2425338 | 3552 1682 | 22 | 44 1442.23/1442.78 c 1442s | 23 | 2962382 | 2428338 | 3552 1684 | 22 | 44 1444.33/1444.86 c 1444s | 23 | 2966227 | 2431438 | 3552 1685 | 22 | 44 1446.43/1446.93 c 1446s | 23 | 2970150 | 2434638 | 3552 1687 | 22 | 44 1448.43/1448.99 c 1448s | 23 | 2973842 | 2437438 | 3552 1689 | 22 | 44 1450.53/1451.02 c 1450s | 23 | 2977800 | 2440338 | 3552 1690 | 22 | 44 1452.52/1453.03 c 1452s | 23 | 2981581 | 2443338 | 3552 1692 | 22 | 44 1454.52/1455.07 c 1455s | 23 | 2985802 | 2446538 | 3552 1693 | 22 | 44 1456.52/1457.07 c 1457s | 23 | 2989678 | 2449538 | 3552 1695 | 22 | 44 1458.62/1459.11 c 1459s | 23 | 2993711 | 2452638 | 3552 1697 | 22 | 44 1460.62/1461.16 c 1461s | 23 | 2997505 | 2455838 | 3552 1698 | 22 | 44 1462.72/1463.21 c 1463s | 23 | 3001491 | 2458938 | 3552 1700 | 22 | 44 1464.73/1465.30 c 1465s | 23 | 3005064 | 2461838 | 3552 1702 | 22 | 44 1466.82/1467.31 c 1467s | 23 | 3008833 | 2465038 | 3552 1703 | 22 | 44 1468.82/1469.36 c 1469s | 23 | 3012561 | 2468138 | 3552 1705 | 22 | 44 1470.82/1471.38 c 1471s | 23 | 3016466 | 2471138 | 3552 1706 | 22 | 44 1472.92/1473.45 c 1473s | 23 | 3020347 | 2474238 | 3552 1708 | 22 | 44 1474.92/1475.46 c 1475s | 23 | 3024028 | 2477338 | 3552 1710 | 22 | 44 1477.02/1477.51 c 1477s | 23 | 3028207 | 2480438 | 3552 1711 | 22 | 44 1479.03/1479.56 c 1479s | 23 | 3032032 | 2483438 | 3552 1713 | 22 | 44 1481.12/1481.60 c 1481s | 23 | 3035776 | 2486438 | 3552 1715 | 22 | 44 1483.12/1483.62 c 1483s | 23 | 3039790 | 2489538 | 3552 1716 | 22 | 44 1485.12/1485.63 c 1485s | 23 | 3043758 | 2492438 | 3552 1718 | 22 | 44 1487.12/1487.66 c 1487s | 23 | 3047872 | 2495438 | 3552 1719 | 22 | 44 1489.12/1489.68 c 1489s | 23 | 3051755 | 2498538 | 3552 1721 | 22 | 44 1491.13/1491.70 c 1491s | 23 | 3055537 | 2501538 | 3552 1723 | 22 | 44 1493.22/1493.75 c 1493s | 23 | 3059391 | 2504638 | 3552 1724 | 22 | 44 1495.32/1495.80 c 1495s | 23 | 3063009 | 2507538 | 3552 1726 | 22 | 44 1497.31/1497.82 c 1497s | 23 | 3066764 | 2510638 | 3552 1727 | 22 | 44 1499.31/1499.84 c 1499s | 23 | 3070796 | 2513638 | 3552 1729 | 22 | 44 1501.31/1501.86 c 1501s | 23 | 3074477 | 2516638 | 3552 1731 | 22 | 44 1503.41/1503.90 c 1503s | 23 | 3078556 | 2519738 | 3552 1732 | 22 | 44 1505.42/1505.94 c 1505s | 23 | 3082933 | 2522938 | 3552 1734 | 22 | 44 1507.41/1507.98 c 1507s | 23 | 3086979 | 2526138 | 3552 1736 | 22 | 44 1509.41/1509.99 c 1509s | 23 | 3090765 | 2529238 | 3552 1737 | 22 | 44 1511.51/1512.04 c 1511s | 23 | 3094593 | 2532338 | 3552 1739 | 22 | 44 1513.51/1514.04 c 1514s | 23 | 3098497 | 2535338 | 3552 1740 | 22 | 44 1515.52/1516.08 c 1516s | 23 | 3102577 | 2538538 | 3552 1742 | 22 | 44 1517.63/1518.14 c 1518s | 23 | 3106477 | 2541938 | 3552 1744 | 22 | 44 1519.62/1520.19 c 1520s | 23 | 3110126 | 2544938 | 3552 1746 | 22 | 44 1521.71/1522.23 c 1522s | 23 | 3113993 | 2548038 | 3552 1747 | 22 | 44 1523.71/1524.25 c 1524s | 23 | 3117484 | 2550838 | 3552 1749 | 22 | 44 1525.71/1526.29 c 1526s | 23 | 3121541 | 2553838 | 3552 1750 | 22 | 44 1527.81/1528.33 c 1528s | 23 | 3125275 | 2556838 | 3552 1752 | 22 | 44 1529.81/1530.36 c 1530s | 23 | 3128972 | 2559838 | 3552 1753 | 22 | 44 1531.82/1532.40 c 1532s | 23 | 3132755 | 2562938 | 3552 1755 | 22 | 44 1533.91/1534.42 c 1534s | 23 | 3136440 | 2565938 | 3552 1757 | 22 | 44 1535.91/1536.44 c 1536s | 23 | 3140019 | 2568938 | 3552 1758 | 22 | 44 1537.91/1538.49 c 1538s | 23 | 3143900 | 2572138 | 3552 1760 | 22 | 44 1539.91/1540.50 c 1540s | 23 | 3147530 | 2575038 | 3552 1761 | 22 | 44 1542.01/1542.55 c 1542s | 23 | 3151220 | 2578138 | 3552 1763 | 22 | 44 1544.10/1544.60 c 1544s | 23 | 3154936 | 2581238 | 3552 1765 | 22 | 44 1546.12/1546.63 c 1546s | 23 | 3158671 | 2584338 | 3552 1766 | 22 | 44 1548.11/1548.66 c 1548s | 23 | 3162416 | 2587438 | 3552 1768 | 22 | 44 1550.11/1550.66 c 1550s | 23 | 3165806 | 2590438 | 3552 1770 | 22 | 44 1552.11/1552.67 c 1552s | 23 | 3169469 | 2593438 | 3552 1771 | 22 | 44 1554.11/1554.67 c 1554s | 23 | 3173205 | 2596738 | 3552 1773 | 22 | 44 1556.21/1556.76 c 1556s | 23 | 3177049 | 2599838 | 3552 1775 | 22 | 44 1558.32/1558.82 c 1558s | 23 | 3180979 | 2603038 | 3552 1776 | 22 | 44 1560.31/1560.86 c 1560s | 23 | 3184769 | 2606038 | 3552 1778 | 22 | 44 1562.31/1562.87 c 1562s | 23 | 3188717 | 2609038 | 3552 1779 | 22 | 44 1564.41/1564.93 c 1564s | 23 | 3192436 | 2612038 | 3552 1781 | 22 | 44 1566.40/1566.97 c 1566s | 23 | 3196147 | 2614938 | 3552 1783 | 22 | 44 1568.40/1569.00 c 1568s | 23 | 3200119 | 2617938 | 3552 1784 | 22 | 44 1570.50/1571.02 c 1570s | 23 | 3204013 | 2620838 | 3552 1786 | 22 | 44 1572.51/1573.08 c 1573s | 23 | 3207861 | 2623938 | 3552 1787 | 22 | 44 1574.60/1575.15 c 1575s | 23 | 3211903 | 2627038 | 3552 1789 | 22 | 44 1576.60/1577.15 c 1577s | 23 | 3215737 | 2630038 | 3552 1791 | 22 | 44 1578.60/1579.17 c 1579s | 23 | 3219574 | 2633138 | 3552 1792 | 22 | 44 1580.70/1581.20 c 1581s | 23 | 3223400 | 2635938 | 3552 1794 | 22 | 44 1582.70/1583.25 c 1583s | 23 | 3227586 | 2639038 | 3552 1795 | 22 | 44 1584.71/1585.29 c 1585s | 23 | 3231864 | 2642038 | 3552 1797 | 22 | 44 1586.70/1587.30 c 1587s | 23 | 3235618 | 2644938 | 3552 1798 | 22 | 44 1588.80/1589.31 c 1589s | 23 | 3239684 | 2648038 | 3552 1800 | 22 | 44 1590.80/1591.36 c 1591s | 23 | 3244057 | 2651238 | 3552 1802 | 22 | 44 1592.90/1593.43 c 1593s | 23 | 3247589 | 2654238 | 3552 1803 | 22 | 44 1594.91/1595.46 c 1595s | 23 | 3251382 | 2657238 | 3552 1805 | 22 | 44 1596.90/1597.48 c 1597s | 23 | 3255152 | 2660138 | 3552 1807 | 22 | 44 1599.02/1599.54 c 1599s | 23 | 3258918 | 2663138 | 3552 1808 | 22 | 44 1601.00/1601.59 c 1601s | 23 | 3262695 | 2666238 | 3552 1810 | 22 | 44 1603.10/1603.62 c 1603s | 23 | 3266662 | 2669238 | 3552 1811 | 22 | 44 1605.10/1605.64 c 1605s | 23 | 3270335 | 2672138 | 3552 1813 | 22 | 44 1607.10/1607.68 c 1607s | 23 | 3274309 | 2675138 | 3552 1814 | 22 | 44 1609.20/1609.75 c 1609s | 23 | 3278150 | 2678338 | 3552 1816 | 22 | 44 1611.20/1611.76 c 1611s | 23 | 3281642 | 2681238 | 3552 1818 | 22 | 44 1613.21/1613.80 c 1613s | 23 | 3285367 | 2684238 | 3552 1819 | 22 | 44 1615.30/1615.85 c 1615s | 23 | 3289268 | 2687238 | 3552 1821 | 22 | 44 1617.30/1617.86 c 1617s | 23 | 3293021 | 2690238 | 3552 1822 | 22 | 44 1619.30/1619.88 c 1619s | 23 | 3297049 | 2693538 | 3552 1824 | 22 | 44 1621.40/1621.92 c 1621s | 23 | 3300763 | 2696538 | 3552 1826 | 22 | 44 1623.39/1623.98 c 1623s | 23 | 3304728 | 2699538 | 3552 1827 | 22 | 44 1625.49/1626.03 c 1625s | 23 | 3308743 | 2702538 | 3552 1829 | 22 | 44 1627.50/1628.06 c 1628s | 23 | 3312444 | 2705538 | 3552 1830 | 22 | 44 1629.59/1630.10 c 1630s | 23 | 3316641 | 2708438 | 3552 1832 | 22 | 44 1631.59/1632.18 c 1632s | 23 | 3320393 | 2711238 | 3552 1834 | 22 | 44 1633.69/1634.21 c 1634s | 23 | 3324340 | 2714238 | 3552 1835 | 22 | 44 1635.70/1636.24 c 1636s | 23 | 3328329 | 2717338 | 3552 1837 | 22 | 44 1637.70/1638.26 c 1638s | 23 | 3332090 | 2720438 | 3552 1838 | 22 | 44 1639.71/1640.29 c 1640s | 23 | 3335952 | 2723538 | 3552 1840 | 22 | 44 1641.70/1642.30 c 1642s | 23 | 3339788 | 2726538 | 3552 1842 | 22 | 44 1643.80/1644.33 c 1644s | 23 | 3343905 | 2729738 | 3552 1843 | 22 | 44 1645.80/1646.37 c 1646s | 23 | 3347451 | 2732738 | 3552 1845 | 22 | 44 1647.90/1648.46 c 1648s | 23 | 3351534 | 2735838 | 3552 1847 | 22 | 44 1649.99/1650.50 c 1650s | 23 | 3355496 | 2739038 | 3552 1848 | 22 | 44 1651.99/1652.56 c 1652s | 23 | 3359316 | 2742238 | 3552 1850 | 22 | 44 1654.00/1654.57 c 1654s | 23 | 3363144 | 2745238 | 3552 1851 | 22 | 44 1656.10/1656.63 c 1656s | 23 | 3367309 | 2748438 | 3552 1853 | 22 | 44 1658.09/1658.67 c 1658s | 23 | 3371280 | 2751438 | 3552 1855 | 22 | 44 1660.19/1660.71 c 1660s | 23 | 3374941 | 2754438 | 3552 1856 | 22 | 44 1662.19/1662.77 c 1662s | 23 | 3379032 | 2757538 | 3552 1858 | 22 | 44 1664.29/1664.82 c 1664s | 23 | 3382802 | 2760538 | 3552 1860 | 22 | 44 1666.29/1666.86 c 1666s | 23 | 3386766 | 2763738 | 3552 1861 | 22 | 44 1668.30/1668.89 c 1668s | 23 | 3390266 | 2766738 | 3552 1863 | 22 | 44 1670.40/1670.93 c 1670s | 23 | 3394040 | 2769838 | 3552 1864 | 22 | 44 1672.39/1672.98 c 1672s | 23 | 3398134 | 2772938 | 3552 1866 | 22 | 44 1674.49/1675.00 c 1674s | 23 | 3401952 | 2776038 | 3552 1868 | 22 | 44 1676.49/1677.06 c 1677s | 23 | 3405781 | 2779038 | 3552 1869 | 22 | 44 1678.49/1679.09 c 1679s | 23 | 3409526 | 2781938 | 3552 1871 | 22 | 44 1680.49/1681.10 c 1681s | 23 | 3413256 | 2784838 | 3552 1872 | 22 | 44 1682.60/1683.13 c 1683s | 23 | 3417125 | 2787838 | 3552 1874 | 22 | 44 1684.59/1685.13 c 1685s | 23 | 3420838 | 2790838 | 3552 1876 | 22 | 44 1686.59/1687.14 c 1687s | 23 | 3424795 | 2793938 | 3552 1877 | 22 | 44 1688.59/1689.17 c 1689s | 23 | 3428583 | 2797038 | 3552 1879 | 22 | 44 1690.68/1691.23 c 1691s | 23 | 3432489 | 2800238 | 3552 1881 | 22 | 44 1692.68/1693.25 c 1693s | 23 | 3436069 | 2803238 | 3552 1882 | 22 | 44 1694.69/1695.28 c 1695s | 23 | 3439663 | 2806238 | 3552 1884 | 22 | 44 1696.79/1697.34 c 1697s | 23 | 3443400 | 2809238 | 3552 1885 | 22 | 44 1698.78/1699.38 c 1699s | 23 | 3446860 | 2812338 | 3552 1887 | 22 | 44 1700.88/1701.40 c 1701s | 23 | 3450312 | 2815238 | 3552 1888 | 22 | 44 1702.88/1703.44 c 1703s | 23 | 3454233 | 2818238 | 3552 1890 | 22 | 44 1704.98/1705.52 c 1705s | 23 | 3457973 | 2821038 | 3552 1892 | 22 | 44 1706.98/1707.54 c 1707s | 23 | 3462044 | 2824038 | 3552 1893 | 22 | 44 1708.99/1709.59 c 1709s | 23 | 3466403 | 2827438 | 3552 1895 | 22 | 44 1711.09/1711.66 c 1711s | 23 | 3470217 | 2830538 | 3552 1897 | 22 | 44 1713.08/1713.69 c 1713s | 23 | 3473884 | 2833538 | 3552 1898 | 22 | 44 1715.18/1715.75 c 1715s | 23 | 3477780 | 2836638 | 3552 1900 | 22 | 44 1717.18/1717.75 c 1717s | 23 | 3481494 | 2839638 | 3552 1901 | 22 | 44 1719.19/1719.76 c 1719s | 23 | 3485127 | 2842538 | 3552 1903 | 22 | 44 1721.29/1721.82 c 1721s | 23 | 3488904 | 2845638 | 3552 1905 | 22 | 44 1723.30/1723.89 c 1723s | 23 | 3492931 | 2848838 | 3552 1906 | 22 | 44 1725.29/1725.89 c 1725s | 23 | 3496338 | 2851738 | 3552 1908 | 22 | 44 1727.39/1727.95 c 1727s | 23 | 3500009 | 2854838 | 3552 1909 | 22 | 44 1729.49/1730.00 c 1729s | 23 | 3503899 | 2858038 | 3552 1911 | 22 | 44 1731.48/1732.02 c 1731s | 23 | 3507939 | 2861138 | 3552 1913 | 22 | 44 1733.48/1734.05 c 1734s | 23 | 3511814 | 2864238 | 3552 1914 | 22 | 44 1735.48/1736.05 c 1736s | 23 | 3515800 | 2867338 | 3552 1916 | 22 | 44 1737.49/1738.09 c 1738s | 23 | 3519562 | 2870438 | 3552 1918 | 22 | 44 1739.58/1740.11 c 1740s | 23 | 3523278 | 2873338 | 3552 1919 | 22 | 44 1741.58/1742.12 c 1742s | 23 | 3526926 | 2876238 | 3552 1921 | 22 | 44 1743.58/1744.13 c 1744s | 23 | 3531197 | 2879538 | 3552 1922 | 22 | 44 1745.58/1746.17 c 1746s | 23 | 3534981 | 2882638 | 3552 1924 | 22 | 44 1747.68/1748.24 c 1748s | 23 | 3538754 | 2885738 | 3552 1926 | 22 | 44 1749.69/1750.28 c 1750s | 23 | 3543009 | 2888938 | 3552 1927 | 22 | 44 1751.79/1752.32 c 1752s | 23 | 3547241 | 2892038 | 3552 1929 | 22 | 44 1753.78/1754.37 c 1754s | 23 | 3551008 | 2894938 | 3552 1931 | 22 | 44 1755.88/1756.42 c 1756s | 23 | 3554867 | 2898038 | 3552 1932 | 22 | 44 1757.87/1758.46 c 1758s | 23 | 3558841 | 2901138 | 3552 1934 | 22 | 44 1759.97/1760.52 c 1760s | 23 | 3562610 | 2904238 | 3552 1935 | 22 | 44 1761.98/1762.58 c 1762s | 23 | 3566343 | 2907438 | 3552 1937 | 22 | 44 1764.08/1764.60 c 1764s | 23 | 3569951 | 2910238 | 3552 1939 | 22 | 44 1765.98/1766.60 c 1766s | 23 | 3574522 | 2913638 | 3552 1940 | 22 | 44 1768.08/1768.65 c 1768s | 23 | 3578755 | 2916838 | 3552 1942 | 22 | 44 1770.08/1770.65 c 1770s | 23 | 3582601 | 2919738 | 3552 1944 | 22 | 44 1772.08/1772.66 c 1772s | 23 | 3586335 | 2922838 | 3552 1945 | 22 | 44 1774.18/1774.73 c 1774s | 23 | 3590283 | 2926038 | 3552 1947 | 22 | 44 1776.27/1776.83 c 1776s | 23 | 3593742 | 2928838 | 3552 1949 | 22 | 44 1778.28/1778.85 c 1778s | 23 | 3597507 | 2931738 | 3552 1950 | 22 | 44 1780.27/1780.87 c 1780s | 23 | 3601165 | 2934538 | 3552 1952 | 22 | 44 1782.37/1782.91 c 1782s | 23 | 3604936 | 2937638 | 3552 1953 | 22 | 44 1784.37/1784.94 c 1784s | 23 | 3608267 | 2940438 | 3552 1955 | 22 | 44 1786.47/1787.01 c 1786s | 23 | 3611969 | 2943538 | 3552 1956 | 22 | 44 1788.47/1789.03 c 1788s | 23 | 3615764 | 2946438 | 3552 1958 | 22 | 44 1790.47/1791.08 c 1791s | 23 | 3619702 | 2949638 | 3552 1959 | 22 | 44 1792.49/1793.08 c 1793s | 23 | 3623953 | 2952938 | 3552 1961 | 22 | 44 1794.58/1795.11 c 1795s | 23 | 3627265 | 2955938 | 3552 1963 | 22 | 44 1796.57/1797.13 c 1797s | 23 | 3631163 | 2958838 | 3552 1964 | 22 | 44 1798.57/1799.19 c 1799s | 23 | 3635140 | 2961838 | 3552 1966 | 22 | 44
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-4078708-1465217200/watcher-4078708-1465217200 -o /tmp/evaluation-result-4078708-1465217200/solver-4078708-1465217200 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078708-1465217200.opb pid=25994 running on 8 cores: 0-3,8-11 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.14 2.22 2.31 3/261 25997 /proc/meminfo: memFree=31000616/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1144388 CPUtime=0 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 4345 0 0 0 0 0 0 0 20 0 4 0 103562074 1171853312 4196 33554432000 4194304 16246674 140735855022960 140735855022384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/25997/statm: 286609 4204 442 2943 0 283503 0 [pid=25997/tid=25998] ppid=25994 vsize=1165892 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1193873408 4282 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1169988 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1198067712 4298 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1174084 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103562074 1202262016 4312 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.14 2.22 2.31 3/261 25997 /proc/meminfo: memFree=31000616/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1218116 CPUtime=0.09 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 25153 0 0 0 6 3 0 0 20 0 4 0 103562074 1247350784 24993 33554432000 4194304 16246674 140735855022960 140735855022384 5828874 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/25997/statm: 304529 24998 735 2943 0 301423 0 [pid=25997/tid=25998] ppid=25994 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1247350784 25001 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1247350784 25006 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103562074 1247350784 25009 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200523 s] /proc/loadavg: 2.14 2.22 2.31 3/261 25997 /proc/meminfo: memFree=31000616/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1218116 CPUtime=0.19 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 48716 0 0 0 12 7 0 0 20 0 4 0 103562074 1247350784 48555 33554432000 4194304 16246674 140735855022960 140735855022384 13780501 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/25997/statm: 304529 48562 735 2943 0 301423 0 [pid=25997/tid=25998] ppid=25994 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1247350784 48566 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1247350784 48570 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103562074 1247350784 48577 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300485 s] /proc/loadavg: 2.14 2.22 2.31 3/261 25997 /proc/meminfo: memFree=31000616/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1218116 CPUtime=0.29 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 71495 0 0 0 18 11 0 0 20 0 4 0 103562074 1247350784 71335 33554432000 4194304 16246674 140735855022960 140735855022384 5602147 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/25997/statm: 304529 71340 735 2943 0 301423 0 [pid=25997/tid=25998] ppid=25994 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1247350784 71343 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1247350784 71348 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103562074 1247350784 71353 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700402 s] /proc/loadavg: 2.14 2.22 2.31 3/261 25997 /proc/meminfo: memFree=31000616/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1218116 CPUtime=0.68 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 167109 0 0 0 44 24 0 0 20 0 4 0 103562074 1247350784 166949 33554432000 4194304 16246674 140735855022960 140735855022384 5676613 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/25997/statm: 304529 166955 735 2943 0 301423 0 [pid=25997/tid=25998] ppid=25994 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1247350784 166960 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1247350784 166964 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103562074 1247350784 166968 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.14 2.22 2.31 3/265 26001 /proc/meminfo: memFree=30018084/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1220164 CPUtime=1.49 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 245862 0 0 0 114 35 0 0 20 0 4 0 103562074 1249447936 245681 33554432000 4194304 16246674 140735855022960 140735855022272 5553608 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/25997/statm: 305041 245681 800 2943 0 301935 0 [pid=25997/tid=25998] ppid=25994 vsize=1220164 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1249447936 245681 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1220164 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1249447936 245681 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1220164 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1249447936 245681 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.1004 s] /proc/loadavg: 2.12 2.22 2.31 3/265 26001 /proc/meminfo: memFree=29931144/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1306180 CPUtime=3.09 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 267425 0 0 0 272 37 0 0 20 0 4 0 103562074 1337528320 267244 33554432000 4194304 16246674 140735855022960 140735855004864 5600136 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/25997/statm: 326545 267244 800 2943 0 323439 0 [pid=25997/tid=25998] ppid=25994 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1337528320 267244 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1337528320 267244 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1337528320 267244 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.12 2.22 2.31 3/265 26001 /proc/meminfo: memFree=29930056/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1306180 CPUtime=6.29 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 267489 0 0 0 592 37 0 0 20 0 4 0 103562074 1337528320 267308 33554432000 4194304 16246674 140735855022960 140735855004864 5823863 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/25997/statm: 326545 267308 801 2943 0 323439 0 [pid=25997/tid=25998] ppid=25994 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1337528320 267308 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1337528320 267308 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1306180 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1337528320 267308 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.10 2.21 2.30 3/265 26001 /proc/meminfo: memFree=29929600/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1307204 CPUtime=12.68 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 267592 0 0 0 1231 37 0 0 20 0 4 0 103562074 1338576896 267411 33554432000 4194304 16246674 140735855022960 140735855004864 13943664 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/25997/statm: 326801 267411 801 2943 0 323695 0 [pid=25997/tid=25998] ppid=25994 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1338576896 267411 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1338576896 267411 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1338576896 267411 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.16 2.22 2.31 3/265 26001 /proc/meminfo: memFree=29929684/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1307204 CPUtime=25.48 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 267761 0 0 0 2511 37 0 0 20 0 4 0 103562074 1338576896 267580 33554432000 4194304 16246674 140735855022960 140735855004864 5822484 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/25997/statm: 326801 267580 804 2943 0 323695 0 [pid=25997/tid=25998] ppid=25994 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1338576896 267580 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1338576896 267580 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1338576896 267580 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.19 2.22 2.30 3/265 26001 /proc/meminfo: memFree=29915524/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1309252 CPUtime=51.08 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 268218 0 0 0 5070 38 0 0 20 0 4 0 103562074 1340674048 268037 33554432000 4194304 16246674 140735855022960 140735855004864 12483183 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/25997/statm: 327313 268037 804 2943 0 324207 0 [pid=25997/tid=25998] ppid=25994 vsize=1309252 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1340674048 268037 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1309252 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1340674048 268037 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1309252 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1340674048 268037 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1309252 [startup+102.301 s] /proc/loadavg: 2.14 2.19 2.29 3/264 26002 /proc/meminfo: memFree=29913052/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1309252 CPUtime=102.29 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 268218 0 0 0 10190 39 0 0 20 0 4 0 103562074 1340674048 268037 33554432000 4194304 16246674 140735855022960 140735855004864 12477801 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/25997/statm: 327313 268037 804 2943 0 324207 0 [pid=25997/tid=25998] ppid=25994 vsize=1309252 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1340674048 268037 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1309252 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1340674048 268037 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1309252 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1340674048 268037 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1312324 [startup+1302.3 s] /proc/loadavg: 2.05 2.07 2.13 3/265 26154 /proc/meminfo: memFree=29916840/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1312324 CPUtime=1301.85 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 269559 0 0 0 130114 71 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 140735855004864 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25997/statm: 328081 269202 806 2943 0 324975 0 [pid=25997/tid=25998] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1312324 [startup+1362.3 s] /proc/loadavg: 2.10 2.08 2.13 3/265 26155 /proc/meminfo: memFree=29916836/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1312324 CPUtime=1361.84 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 269559 0 0 0 136111 73 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 140735855004864 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25997/statm: 328081 269202 806 2943 0 324975 0 [pid=25997/tid=25998] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1312324 [startup+1422.3 s] /proc/loadavg: 2.03 2.06 2.11 3/266 26160 /proc/meminfo: memFree=29916192/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1312324 CPUtime=1421.84 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 269559 0 0 0 142109 75 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 140735855004864 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25997/statm: 328081 269202 806 2943 0 324975 0 [pid=25997/tid=25998] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1312324 [startup+1482.3 s] /proc/loadavg: 2.01 2.05 2.10 3/265 26161 /proc/meminfo: memFree=29916244/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1312324 CPUtime=1481.82 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 269559 0 0 0 148105 77 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 140735855004864 5723895 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25997/statm: 328081 269202 806 2943 0 324975 0 [pid=25997/tid=25998] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1312324 [startup+1542.31 s] /proc/loadavg: 2.00 2.04 2.09 3/265 26162 /proc/meminfo: memFree=29916400/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1312324 CPUtime=1541.82 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 269559 0 0 0 154104 78 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 140735855004864 5599948 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25997/statm: 328081 269202 806 2943 0 324975 0 [pid=25997/tid=25998] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1312324 [startup+1602.3 s] /proc/loadavg: 2.21 2.09 2.10 3/265 26163 /proc/meminfo: memFree=29916060/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1312324 CPUtime=1601.8 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 269559 0 0 0 160100 80 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 140735855004864 5523416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25997/statm: 328081 269202 806 2943 0 324975 0 [pid=25997/tid=25998] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1312324 [startup+1662.3 s] /proc/loadavg: 2.20 2.11 2.11 3/265 26164 /proc/meminfo: memFree=29916404/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1312324 CPUtime=1661.79 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 269559 0 0 0 166098 81 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 140735855004864 13194712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25997/statm: 328081 269202 806 2943 0 324975 0 [pid=25997/tid=25998] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1312324 [startup+1722.3 s] /proc/loadavg: 2.11 2.11 2.10 3/265 26166 /proc/meminfo: memFree=29916776/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1312324 CPUtime=1721.79 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 269559 0 0 0 172096 83 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 140735855004864 5553704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25997/statm: 328081 269202 806 2943 0 324975 0 [pid=25997/tid=25998] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1312324 [startup+1782.3 s] /proc/loadavg: 2.13 2.11 2.10 3/266 26168 /proc/meminfo: memFree=29916156/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1312324 CPUtime=1781.77 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 269559 0 0 0 178093 84 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 140735855004864 13927324 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25997/statm: 328081 269202 806 2943 0 324975 0 [pid=25997/tid=25998] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1312324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.10 2.11 2.10 3/265 26168 /proc/meminfo: memFree=29916164/32872528 swapFree=9196/9196 [pid=25997] ppid=25994 vsize=1312324 CPUtime=1800.07 cores=0-3,8-11 /proc/25997/stat : 25997 (toysat) R 25994 25997 25889 0 -1 4202496 269559 0 0 0 179922 85 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 140735855004864 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25997/statm: 328081 269202 806 2943 0 324975 0 [pid=25997/tid=25998] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25998/stat : 25998 (toysat) S 25994 25997 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676601003248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=25997/tid=25999] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/25999/stat : 25999 (toysat) S 25994 25997 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676590513392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=25997/tid=26000] ppid=25994 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/25997/task/26000/stat : 26000 (toysat) S 25994 25997 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103562074 1343819776 269202 33554432000 4194304 16246674 140735855022960 139676580039856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1312324 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 25997 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.23 CPU system time (s): 0.85287 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 1312324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.23 system time used= 0.85287 maximum resident set size= 1076808 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269559 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= 445 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.64069 second user time and 12.916 second system time The end
Begin job on node132 at 2016-06-06 14:46:41 IDJOB=4078708 IDBENCH=1158 IDSOLVER=2542 FILE ID=node132/4078708-1465217200 RUNJOBID= node132-1465216787-25905 PBS_JOBID= 19843203 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army11.17bt.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078708-1465217200/watcher-4078708-1465217200 -o /tmp/evaluation-result-4078708-1465217200/solver-4078708-1465217200 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078708-1465217200.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= bde651356fbc7760944c2b16aa27f15d RANDOM SEED=35548384 node132.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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.41 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31000516 kB Buffers: 1876 kB Cached: 66700 kB SwapCached: 2960 kB Active: 1139812 kB Inactive: 13280 kB Active(anon): 1084444 kB Inactive(anon): 2724 kB Active(file): 55368 kB Inactive(file): 10556 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67093556 kB Dirty: 16644 kB Writeback: 0 kB AnonPages: 1091988 kB Mapped: 9752 kB Shmem: 0 kB Slab: 572188 kB SReclaimable: 12460 kB SUnreclaim: 559728 kB KernelStack: 2144 kB PageTables: 5888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1238112 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 589824 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= 71716 MiB End job on node132 at 2016-06-06 15:16:41