| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
| MD5SUM | 38a2c469f9dc1120b8fe634a693ac03d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 10087 |
| Best CPU time to get the best result obtained on this benchmark | 1800.65 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 10829 |
| Optimality of the best value was proved | NO |
| Number of variables | 548 |
| Total number of constraints | 166 |
| Number of constraints which are clauses | 40 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 126 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 143 |
| Number of terms in the objective function | 416 |
| Biggest coefficient in the objective function | 11000 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 96797 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 11000 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 96797 |
| Number of bits of the biggest sum of numbers | 17 |
| 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-18T07:58:24+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-4102017-1466229504.opb"] 0.00/0.01 c use --random-gen="3829758919 525020578 3065139910 3177843901 2181095633 3500289691 831888357 2254174516 1539242802 1593743275 2011835520 2256263508 1788975337 2880722499 503577920 480393043 3492607148 2620005173 3362198202 3661154977 127249039 4044612187 789199749 1779503828 2548129624 3473586947 1045229045 945837143 691581444 2949998010 1253306135 757487620 1664928438 2515230696 1623630300 3751585501 799947332 1587731544 1047787667 211856775 678348670 3665062929 1529789158 1493679313 3723420045 2066399423 177999670 3657444421 928115170 3318898684 1092175558 4208432327 4200751795 3517635554 1780690891 3226186 3417700279 1746720722 2965073845 2919974306 3315228432 163941672 1965066815 152625137 928623912 545084586 3018246818 809462298 1435801684 1265462681 227248817 440541608 2165179641 230865209 4049182626 2069540622 3236545406 559364272 683587528 846603111 4227517336 568454490 1880365554 3911870460 2913632788 2666618191 89838178 1379981753 560954528 111405442 3945292768 3460473299 698002854 1095023831 4281705924 2097377583 391137862 3182246010 1002048914 971173369 826542006 4169908987 1215888383 680558591 317722319 1037610646 3398897452 2941150192 1537152035 804670572 3368623991 3095072561 3312861617 1883990888 2423228519 2406389162 1602658454 570016851 3648572791 2132215164 801620699 397403631 2482964930 2909492218 2246465499 2976087501 1978015200 2374083966 1825659225 3697151485 18619726 4221772725 312221131 3627379178 1670346183 2632269741 3616619206 3094036521 2385641837 2675232966 2096254436 755487690 358434829 1245380239 4082302998 1446559540 187574534 838613364 2906734711 3690991873 2759729619 2071768681 648672780 1486315705 4146110945 2902869099 2915970399 3341268777 20561493 2422632284 1791358610 2047985002 3400593433 2533525377 431454378 2913736220 69931515 2027445252 1193320215 2123153893 2425143540 2511999763 723905085 269056635 2476425954 1474591604 2712129250 3580269169 1091031467 1450791911 4095311734 985296078 1694190636 1548917625 1316050188 2999882306 3674842006 1377825598 3181553355 1789583897 1166522998 2101970353 868119001 3367516225 88811610 3780070054 2712525834 703929387 2283961058 2468311955 722603793 2998343771 3277783131 3738894733 163469809 4202696995 4169409616 3050997263 521220807 1722843720 1748250156 3333938664 3654752952 986830311 1885849925 651507321 4132462371 218724106 3908169309 3985454752 1296258710 113101035 568890720 508234800 3374958798 856840208 1411948495 2807856375 137595305 3227330682 3388079432 2523848593 1529439384 3311016510 3851101264 3495110791 2013973632 2395910703 2576509734 2034917295 540445703 564929044 2514488885 3318785657 783601529 671228860 3814310675 2281176420 56017436 3643297995 963733433 2525872144 2963785209 696009263 4013016109 3681364394 255 362436" option to reproduce the execution 0.00/0.01 c #vars 548 0.00/0.01 c #constraints 166 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 238 0 | 16 | 0 0.00/0.04 c 0.0s | 0 | 1011 | 59 | 238 0 | 22 | 16 0.00/0.04 c #cpu_time = 0.015s 0.00/0.04 c #wall_clock_time = 0.015s 0.00/0.04 c #decision = 1011 0.00/0.04 c #random_decision = 4 0.00/0.04 c #conflict = 59 0.00/0.04 c #restart = 0 0.00/0.04 o 88270 0.00/0.04 c BCD2: updating upper bound: 96797 -> 88269 0.00/0.04 c BCD2: 0 <= obj <= 88269 0.00/0.04 c BCD2: #cores=0, #unrelaxed=416, #relaxed=0, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=1 bias=1/2 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 | 238 0 | 22 | 16 0.00/0.05 c 0.0s | 0 | 100 | 0 | 238 0 | 22 | 16 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 100 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 7: cost of the new core is >=15 0.00/0.05 c lower bound updated to 15 0.00/0.05 c BCD2: 15 <= obj <= 88269 0.00/0.05 c BCD2: #cores=1, #unrelaxed=409, #relaxed=7, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 238 0 | 22 | 16 0.00/0.05 c 0.0s | 0 | 272 | 2 | 238 0 | 22 | 16 0.00/0.05 c #cpu_time = 0.002s 0.00/0.05 c #wall_clock_time = 0.002s 0.00/0.05 c #decision = 272 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 2 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 112 and merging with 1 cores into a new core of size 119: cost of the new core is >=30 0.00/0.05 c lower bound updated to 30 0.00/0.05 c BCD2: 30 <= obj <= 88269 0.00/0.05 c BCD2: #cores=1, #unrelaxed=297, #relaxed=119, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 238 0 | 23 | 16 0.00/0.07 c 0.0s | 1 | 402 | 100 | 262 0 | 23 | 17 0.09/0.10 c 0.0s | 2 | 947 | 250 | 289 0 | 23 | 17 0.09/0.15 c 0.1s | 3 | 1477 | 475 | 318 0 | 23 | 17 0.19/0.22 c 0.2s | 4 | 2180 | 813 | 350 1 | 23 | 17 0.19/0.28 c 0.2s | 4 | 2786 | 1040 | 350 2 | 23 | 17 0.19/0.28 c #cpu_time = 0.233s 0.19/0.28 c #wall_clock_time = 0.233s 0.19/0.28 c #decision = 2786 0.19/0.28 c #random_decision = 6 0.19/0.28 c #conflict = 1040 0.19/0.28 c #restart = 4 0.19/0.28 c BCD2: found a new core of size 59: cost of the new core is >=9 0.19/0.28 c lower bound updated to 39 0.19/0.28 c BCD2: 39 <= obj <= 88269 0.19/0.28 c BCD2: #cores=2, #unrelaxed=238, #relaxed=178, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 350 0 | 23 | 17 0.29/0.31 c 0.0s | 1 | 379 | 100 | 350 1 | 23 | 17 0.29/0.35 c 0.1s | 2 | 808 | 250 | 386 1 | 23 | 17 0.39/0.41 c 0.1s | 3 | 1468 | 475 | 386 2 | 23 | 17 0.49/0.50 c 0.2s | 4 | 2226 | 813 | 386 3 | 23 | 17 0.59/0.64 c 0.4s | 5 | 3184 | 1320 | 425 5 | 23 | 17 0.79/0.87 c 0.6s | 6 | 4236 | 2081 | 425 7 | 23 | 17 1.09/1.17 c 0.9s | 7 | 5857 | 3223 | 468 10 | 23 | 17 1.49/1.50 c 1.2s | 8 | 7956 | 4936 | 515 14 | 23 | 17 1.99/2.02 c 1.7s | 9 | 11078 | 7506 | 567 20 | 23 | 17 2.69/2.78 c 2.5s | 10 | 15616 | 11361 | 624 29 | 23 | 17 3.89/3.92 c 3.6s | 11 | 22021 | 17144 | 687 41 | 23 | 17 5.50/5.58 c 5.3s | 12 | 31411 | 25819 | 756 59 | 23 | 17 7.49/7.58 c 7.3s | 12 | 42532 | 36119 | 756 78 | 23 | 17 8.09/8.11 c 7.8s | 13 | 45469 | 38832 | 832 83 | 23 | 17 10.09/10.12 c 9.8s | 13 | 56744 | 49232 | 832 101 | 23 | 17 11.79/11.89 c 11.6s | 14 | 66294 | 58352 | 916 117 | 23 | 17 13.79/13.89 c 13.6s | 14 | 76904 | 67952 | 916 133 | 23 | 17 15.79/15.90 c 15.6s | 14 | 87107 | 77552 | 916 148 | 23 | 17 17.89/17.90 c 17.6s | 14 | 97704 | 87452 | 1008 164 | 23 | 17 17.89/17.94 c 17.7s | 15 | 97893 | 87632 | 1008 165 | 23 | 17 19.89/19.96 c 19.7s | 15 | 109237 | 98132 | 1008 181 | 23 | 17 21.88/21.97 c 21.7s | 15 | 120244 | 108632 | 1008 197 | 23 | 17 23.88/23.98 c 23.7s | 15 | 130663 | 118432 | 1008 211 | 23 | 17 25.88/25.98 c 25.7s | 15 | 141288 | 128332 | 1008 227 | 23 | 17 26.58/26.67 c 26.4s | 16 | 144763 | 131552 | 1109 231 | 23 | 17 28.59/28.69 c 28.4s | 16 | 155345 | 141152 | 1109 245 | 23 | 17 30.68/30.71 c 30.4s | 16 | 165880 | 150852 | 1109 258 | 23 | 17 32.68/32.71 c 32.4s | 16 | 176007 | 160252 | 1109 272 | 23 | 17 34.69/34.73 c 34.4s | 16 | 186079 | 169752 | 1109 285 | 23 | 17 36.69/36.73 c 36.4s | 16 | 195319 | 178352 | 1109 297 | 23 | 17 38.69/38.75 c 38.5s | 16 | 205040 | 187552 | 1109 310 | 23 | 17 40.69/40.76 c 40.5s | 16 | 214733 | 196452 | 1220 322 | 23 | 17 40.89/40.97 c 40.7s | 17 | 215746 | 197432 | 1220 324 | 23 | 17 42.89/42.99 c 42.7s | 17 | 225855 | 206832 | 1220 336 | 23 | 17 44.89/44.99 c 44.7s | 17 | 235662 | 216132 | 1220 348 | 23 | 17 46.99/47.01 c 46.7s | 17 | 245805 | 225832 | 1220 361 | 23 | 17 48.99/49.02 c 48.7s | 17 | 255140 | 234832 | 1220 373 | 23 | 17 50.99/51.03 c 50.7s | 17 | 264939 | 244332 | 1220 385 | 23 | 17 52.99/53.04 c 52.8s | 17 | 274625 | 253332 | 1220 397 | 23 | 17 54.99/55.06 c 54.8s | 17 | 284688 | 262832 | 1220 409 | 23 | 17 56.98/57.07 c 56.8s | 17 | 294813 | 272432 | 1220 422 | 23 | 17 58.98/59.07 c 58.8s | 17 | 304236 | 281332 | 1220 433 | 23 | 17 60.98/61.09 c 60.8s | 17 | 313866 | 290432 | 1220 445 | 23 | 17 62.38/62.45 c 62.2s | 18 | 319987 | 296252 | 1342 453 | 23 | 17 64.38/64.47 c 64.2s | 18 | 329896 | 305052 | 1342 463 | 23 | 17 66.38/66.49 c 66.2s | 18 | 339479 | 313652 | 1342 474 | 23 | 17 68.48/68.50 c 68.2s | 18 | 348624 | 322252 | 1342 484 | 23 | 17 70.49/70.52 c 70.2s | 18 | 357977 | 330652 | 1342 494 | 23 | 17 72.48/72.54 c 72.3s | 18 | 367353 | 339352 | 1342 505 | 23 | 17 74.48/74.55 c 74.3s | 18 | 377062 | 348152 | 1342 515 | 23 | 17 76.48/76.55 c 76.3s | 18 | 386240 | 356652 | 1342 526 | 23 | 17 78.48/78.56 c 78.3s | 18 | 395623 | 365252 | 1342 536 | 23 | 17 80.48/80.58 c 80.3s | 18 | 404730 | 373652 | 1342 546 | 23 | 17 82.48/82.59 c 82.3s | 18 | 413899 | 382052 | 1342 556 | 23 | 17 84.57/84.61 c 84.3s | 18 | 423086 | 390452 | 1342 567 | 23 | 17 86.57/86.64 c 86.4s | 18 | 432462 | 399052 | 1342 577 | 23 | 17 88.57/88.64 c 88.4s | 18 | 441189 | 407152 | 1342 587 | 23 | 17 90.57/90.66 c 90.4s | 18 | 450545 | 415852 | 1342 597 | 23 | 17 92.57/92.66 c 92.4s | 18 | 459746 | 424252 | 1342 607 | 23 | 17 94.58/94.68 c 94.4s | 18 | 469872 | 433152 | 1342 618 | 23 | 17 96.57/96.68 c 96.4s | 18 | 479145 | 441652 | 1477 628 | 23 | 17 97.37/97.41 c 97.1s | 19 | 482217 | 444482 | 1477 631 | 23 | 17 99.37/99.41 c 99.1s | 19 | 491490 | 453082 | 1477 641 | 23 | 17 101.37/101.45 c 101s | 19 | 500479 | 461682 | 1477 651 | 23 | 17 103.38/103.48 c 103s | 19 | 509555 | 470582 | 1477 661 | 23 | 17 105.37/105.49 c 105s | 19 | 518315 | 479082 | 1477 670 | 23 | 17 107.48/107.51 c 107s | 19 | 526901 | 487382 | 1477 679 | 23 | 17 109.48/109.53 c 109s | 19 | 535632 | 495682 | 1477 689 | 23 | 17 111.47/111.55 c 111s | 19 | 544287 | 503882 | 1477 698 | 23 | 17 113.47/113.55 c 113s | 19 | 552771 | 511782 | 1477 707 | 23 | 17 115.48/115.57 c 115s | 19 | 562002 | 520782 | 1477 717 | 23 | 17 117.57/117.60 c 117s | 19 | 571139 | 529682 | 1477 727 | 23 | 17 119.57/119.61 c 119s | 19 | 579195 | 537482 | 1477 735 | 23 | 17 121.57/121.61 c 121s | 19 | 587622 | 545182 | 1477 744 | 23 | 17 123.57/123.62 c 123s | 19 | 595755 | 552482 | 1477 752 | 23 | 17 125.57/125.62 c 125s | 19 | 604188 | 560282 | 1477 761 | 23 | 17 127.58/127.66 c 127s | 19 | 612687 | 568382 | 1477 770 | 23 | 17 129.57/129.69 c 129s | 19 | 621575 | 576782 | 1477 779 | 23 | 17 131.57/131.69 c 131s | 19 | 629707 | 584582 | 1477 788 | 23 | 17 133.67/133.70 c 133s | 19 | 637572 | 591882 | 1477 796 | 23 | 17 135.66/135.70 c 135s | 19 | 645540 | 599582 | 1477 805 | 23 | 17 137.66/137.73 c 137s | 19 | 653298 | 607082 | 1477 813 | 23 | 17 139.67/139.75 c 139s | 19 | 660976 | 614382 | 1477 821 | 23 | 17 141.66/141.79 c 141s | 19 | 668936 | 621982 | 1477 830 | 23 | 17 143.76/143.82 c 143s | 19 | 676732 | 629382 | 1477 838 | 23 | 17 145.77/145.85 c 145s | 19 | 684664 | 636682 | 1477 846 | 23 | 17 147.77/147.86 c 147s | 19 | 694019 | 645282 | 1477 856 | 23 | 17 149.77/149.86 c 149s | 19 | 702964 | 653682 | 1477 865 | 23 | 17 151.78/151.86 c 151s | 19 | 711134 | 661582 | 1625 874 | 23 | 17 153.07/153.14 c 152s | 20 | 716531 | 666827 | 1625 879 | 23 | 17 155.07/155.14 c 154s | 20 | 725218 | 674627 | 1625 887 | 23 | 17 157.07/157.17 c 156s | 20 | 733981 | 682627 | 1625 895 | 23 | 17 159.06/159.19 c 158s | 20 | 743332 | 691327 | 1625 904 | 23 | 17 161.16/161.21 c 160s | 20 | 751929 | 699527 | 1625 913 | 23 | 17 163.16/163.22 c 162s | 20 | 760255 | 707127 | 1625 921 | 23 | 17 165.16/165.23 c 164s | 20 | 768445 | 714827 | 1625 929 | 23 | 17 167.17/167.25 c 166s | 20 | 776677 | 722527 | 1625 936 | 23 | 17 169.16/169.29 c 169s | 20 | 784744 | 730327 | 1625 945 | 23 | 17 171.26/171.30 c 171s | 20 | 792447 | 737727 | 1625 952 | 23 | 17 173.26/173.31 c 173s | 20 | 800349 | 745227 | 1625 960 | 23 | 17 175.26/175.32 c 175s | 20 | 807836 | 752427 | 1625 967 | 23 | 17 177.26/177.32 c 177s | 20 | 815753 | 760027 | 1625 975 | 23 | 17 179.27/179.33 c 179s | 20 | 823622 | 767527 | 1625 983 | 23 | 17 181.26/181.37 c 181s | 20 | 831633 | 775027 | 1625 991 | 23 | 17 183.26/183.38 c 183s | 20 | 839465 | 782427 | 1625 998 | 23 | 17 185.26/185.38 c 185s | 20 | 847006 | 789427 | 1625 1005 | 23 | 17 187.36/187.40 c 187s | 20 | 854465 | 796427 | 1625 1013 | 23 | 17 189.36/189.41 c 189s | 20 | 862065 | 803427 | 1625 1020 | 23 | 17 191.37/191.43 c 191s | 20 | 869515 | 810427 | 1625 1027 | 23 | 17 193.36/193.46 c 193s | 20 | 877504 | 818027 | 1625 1035 | 23 | 17 195.36/195.47 c 195s | 20 | 885350 | 825427 | 1625 1043 | 23 | 17 197.36/197.48 c 197s | 20 | 893049 | 832727 | 1625 1050 | 23 | 17 199.46/199.51 c 199s | 20 | 900352 | 839627 | 1625 1057 | 23 | 17 201.46/201.51 c 201s | 20 | 907637 | 846527 | 1625 1064 | 23 | 17 203.46/203.52 c 203s | 20 | 916641 | 854827 | 1625 1073 | 23 | 17 205.46/205.53 c 205s | 20 | 927276 | 864227 | 1625 1083 | 23 | 17 207.46/207.53 c 207s | 20 | 936761 | 872727 | 1625 1092 | 23 | 17 209.46/209.55 c 209s | 20 | 946524 | 881327 | 1625 1100 | 23 | 17 211.45/211.55 c 211s | 20 | 955422 | 889627 | 1625 1109 | 23 | 17 213.46/213.55 c 213s | 20 | 963830 | 897527 | 1625 1117 | 23 | 17 215.45/215.57 c 215s | 20 | 971842 | 905027 | 1625 1125 | 23 | 17 217.45/217.58 c 217s | 20 | 980016 | 912727 | 1625 1133 | 23 | 17 219.45/219.59 c 219s | 20 | 987980 | 920327 | 1625 1141 | 23 | 17 221.45/221.59 c 221s | 20 | 995725 | 927727 | 1625 1148 | 23 | 17 223.55/223.61 c 223s | 20 | 1003505 | 935127 | 1625 1156 | 23 | 17 225.56/225.61 c 225s | 20 | 1010861 | 942127 | 1625 1163 | 23 | 17 227.55/227.62 c 227s | 20 | 1018354 | 949227 | 1625 1170 | 23 | 17 229.55/229.64 c 229s | 20 | 1026342 | 956527 | 1625 1178 | 23 | 17 231.55/231.65 c 231s | 20 | 1034567 | 964227 | 1625 1186 | 23 | 17 233.55/233.66 c 233s | 20 | 1042546 | 971727 | 1625 1194 | 23 | 17 235.55/235.68 c 235s | 20 | 1050751 | 979527 | 1625 1202 | 23 | 17 237.56/237.69 c 237s | 20 | 1059003 | 987227 | 1625 1210 | 23 | 17 239.66/239.70 c 239s | 20 | 1067655 | 995327 | 1788 1218 | 23 | 17 240.96/241.08 c 240s | 21 | 1072999 | 1000345 | 1788 1222 | 23 | 17 242.96/243.09 c 242s | 21 | 1082387 | 1008745 | 1788 1230 | 23 | 17 245.06/245.12 c 244s | 21 | 1091824 | 1017045 | 1788 1238 | 23 | 17 247.06/247.13 c 246s | 21 | 1100374 | 1024945 | 1788 1246 | 23 | 17 249.06/249.13 c 248s | 21 | 1108368 | 1032345 | 1788 1253 | 23 | 17 251.05/251.13 c 250s | 21 | 1117014 | 1040045 | 1788 1260 | 23 | 17 253.06/253.14 c 252s | 21 | 1124962 | 1047245 | 1788 1267 | 23 | 17 255.05/255.14 c 254s | 21 | 1133507 | 1054945 | 1788 1274 | 23 | 17 257.05/257.14 c 256s | 21 | 1141622 | 1062545 | 1788 1282 | 23 | 17 259.05/259.17 c 258s | 21 | 1149377 | 1069945 | 1788 1289 | 23 | 17 261.05/261.18 c 260s | 21 | 1157188 | 1077245 | 1788 1296 | 23 | 17 263.05/263.19 c 262s | 21 | 1165637 | 1085245 | 1788 1303 | 23 | 17 265.05/265.20 c 264s | 21 | 1173728 | 1092745 | 1788 1310 | 23 | 17 267.15/267.21 c 266s | 21 | 1181973 | 1100245 | 1788 1318 | 23 | 17 269.15/269.21 c 268s | 21 | 1189594 | 1107445 | 1788 1324 | 23 | 17 271.14/271.22 c 270s | 21 | 1197026 | 1114345 | 1788 1331 | 23 | 17 273.14/273.24 c 272s | 21 | 1204584 | 1121445 | 1788 1338 | 23 | 17 275.14/275.27 c 274s | 21 | 1212178 | 1128545 | 1788 1345 | 23 | 17 277.15/277.29 c 277s | 21 | 1220043 | 1135945 | 1788 1352 | 23 | 17 279.25/279.31 c 279s | 21 | 1227646 | 1143145 | 1788 1358 | 23 | 17 281.25/281.33 c 281s | 21 | 1235054 | 1150145 | 1788 1365 | 23 | 17 283.25/283.34 c 283s | 21 | 1242831 | 1157545 | 1788 1372 | 23 | 17 285.25/285.36 c 285s | 21 | 1250416 | 1164745 | 1788 1379 | 23 | 17 287.25/287.37 c 287s | 21 | 1258250 | 1171945 | 1788 1386 | 23 | 17 289.25/289.39 c 289s | 21 | 1266478 | 1179445 | 1788 1393 | 23 | 17 291.34/291.40 c 291s | 21 | 1274246 | 1186645 | 1788 1400 | 23 | 17 293.34/293.42 c 293s | 21 | 1282317 | 1194045 | 1788 1407 | 23 | 17 295.34/295.42 c 295s | 21 | 1290477 | 1201245 | 1788 1414 | 23 | 17 297.34/297.43 c 297s | 21 | 1298345 | 1208345 | 1788 1421 | 23 | 17 299.34/299.45 c 299s | 21 | 1305992 | 1215445 | 1788 1427 | 23 | 17 301.35/301.46 c 301s | 21 | 1313617 | 1222645 | 1788 1434 | 23 | 17 303.34/303.47 c 303s | 21 | 1321065 | 1229445 | 1788 1441 | 23 | 17 305.34/305.50 c 305s | 21 | 1328885 | 1236645 | 1788 1447 | 23 | 17 307.44/307.53 c 307s | 21 | 1336247 | 1243445 | 1788 1454 | 23 | 17 309.44/309.55 c 309s | 21 | 1344065 | 1250645 | 1788 1461 | 23 | 17 311.44/311.56 c 311s | 21 | 1351322 | 1257645 | 1788 1467 | 23 | 17 313.44/313.58 c 313s | 21 | 1358236 | 1264245 | 1788 1474 | 23 | 17 315.45/315.58 c 315s | 21 | 1365592 | 1271045 | 1788 1480 | 23 | 17 317.54/317.60 c 317s | 21 | 1373164 | 1277845 | 1788 1487 | 23 | 17 319.54/319.61 c 319s | 21 | 1381122 | 1284845 | 1788 1493 | 23 | 17 321.54/321.64 c 321s | 21 | 1388946 | 1291645 | 1788 1500 | 23 | 17 323.54/323.65 c 323s | 21 | 1396455 | 1298245 | 1788 1506 | 23 | 17 325.55/325.66 c 325s | 21 | 1403580 | 1304645 | 1788 1512 | 23 | 17 327.54/327.68 c 327s | 21 | 1411826 | 1312045 | 1788 1519 | 23 | 17 329.54/329.68 c 329s | 21 | 1420389 | 1319745 | 1788 1527 | 23 | 17 331.54/331.69 c 331s | 21 | 1428912 | 1327545 | 1788 1534 | 23 | 17 333.64/333.70 c 333s | 21 | 1437476 | 1335545 | 1788 1542 | 23 | 17 335.64/335.72 c 335s | 21 | 1445108 | 1342845 | 1788 1549 | 23 | 17 337.65/337.74 c 337s | 21 | 1453357 | 1350645 | 1788 1556 | 23 | 17 339.64/339.77 c 339s | 21 | 1461191 | 1358145 | 1788 1563 | 23 | 17 341.64/341.78 c 341s | 21 | 1469287 | 1365745 | 1788 1571 | 23 | 17 343.74/343.80 c 343s | 21 | 1477590 | 1373745 | 1788 1578 | 23 | 17 345.74/345.81 c 345s | 21 | 1485498 | 1381345 | 1788 1585 | 23 | 17 347.74/347.82 c 347s | 21 | 1493087 | 1388645 | 1788 1592 | 23 | 17 349.74/349.84 c 349s | 21 | 1500914 | 1396045 | 1788 1599 | 23 | 17 351.73/351.85 c 351s | 21 | 1508305 | 1402845 | 1788 1606 | 23 | 17 353.73/353.86 c 353s | 21 | 1515878 | 1409945 | 1788 1613 | 23 | 17 355.73/355.88 c 355s | 21 | 1523432 | 1417145 | 1788 1619 | 23 | 17 357.83/357.90 c 357s | 21 | 1530273 | 1423645 | 1788 1626 | 23 | 17 359.83/359.91 c 359s | 21 | 1536857 | 1430045 | 1788 1632 | 23 | 17 361.84/361.93 c 361s | 21 | 1544735 | 1437145 | 1788 1639 | 23 | 17 363.83/363.95 c 363s | 21 | 1552670 | 1444345 | 1788 1645 | 23 | 17 365.83/365.97 c 365s | 21 | 1560107 | 1451145 | 1788 1652 | 23 | 17 367.83/367.98 c 367s | 21 | 1567591 | 1457845 | 1788 1658 | 23 | 17 369.93/370.00 c 369s | 21 | 1574424 | 1464245 | 1788 1664 | 23 | 17 371.93/372.02 c 371s | 21 | 1581627 | 1470945 | 1788 1671 | 23 | 17 373.94/374.02 c 373s | 21 | 1589226 | 1478045 | 1788 1677 | 23 | 17 375.94/376.03 c 375s | 21 | 1596861 | 1485245 | 1788 1684 | 23 | 17 377.93/378.04 c 377s | 21 | 1605230 | 1493045 | 1967 1691 | 23 | 17 379.83/379.99 c 379s | 22 | 1613374 | 1500622 | 1967 1698 | 23 | 17 381.93/382.00 c 381s | 22 | 1622894 | 1509322 | 1967 1706 | 23 | 17 383.94/384.00 c 383s | 22 | 1631410 | 1517322 | 1967 1713 | 23 | 17 385.93/386.01 c 385s | 22 | 1639426 | 1525022 | 1967 1719 | 23 | 17 387.93/388.02 c 387s | 22 | 1648232 | 1533122 | 1967 1727 | 23 | 17 389.93/390.03 c 389s | 22 | 1657095 | 1541522 | 1967 1734 | 23 | 17 391.93/392.03 c 391s | 22 | 1664779 | 1548722 | 1967 1740 | 23 | 17 393.93/394.04 c 393s | 22 | 1673387 | 1556922 | 1967 1747 | 23 | 17 395.93/396.06 c 395s | 22 | 1681689 | 1564822 | 1967 1754 | 23 | 17 397.92/398.06 c 397s | 22 | 1689506 | 1572122 | 1967 1761 | 23 | 17 399.92/400.07 c 399s | 22 | 1697498 | 1579522 | 1967 1767 | 23 | 17 401.92/402.07 c 401s | 22 | 1705174 | 1586822 | 1967 1774 | 23 | 17 403.92/404.07 c 403s | 22 | 1713756 | 1594822 | 1967 1781 | 23 | 17 405.93/406.07 c 405s | 22 | 1722325 | 1603022 | 1967 1788 | 23 | 17 407.92/408.08 c 407s | 22 | 1730324 | 1610522 | 1967 1794 | 23 | 17 409.92/410.10 c 409s | 22 | 1738104 | 1617922 | 1967 1801 | 23 | 17 412.02/412.12 c 411s | 22 | 1745511 | 1624822 | 1967 1807 | 23 | 17 414.03/414.13 c 413s | 22 | 1753402 | 1632122 | 1967 1813 | 23 | 17 416.03/416.14 c 415s | 22 | 1761296 | 1639322 | 1967 1820 | 23 | 17 418.04/418.15 c 417s | 22 | 1769713 | 1647022 | 1967 1826 | 23 | 17 420.03/420.16 c 419s | 22 | 1778034 | 1654522 | 1967 1833 | 23 | 17 422.03/422.17 c 421s | 22 | 1786641 | 1662222 | 1967 1840 | 23 | 17 424.03/424.18 c 423s | 22 | 1794706 | 1669822 | 1967 1846 | 23 | 17 426.13/426.21 c 425s | 22 | 1803931 | 1677922 | 1967 1854 | 23 | 17 428.13/428.23 c 427s | 22 | 1812470 | 1685622 | 1967 1860 | 23 | 17 430.13/430.23 c 429s | 22 | 1819968 | 1692722 | 1967 1867 | 23 | 17 432.13/432.25 c 431s | 22 | 1827833 | 1700022 | 1967 1873 | 23 | 17 434.13/434.28 c 433s | 22 | 1835909 | 1707422 | 1967 1879 | 23 | 17 436.22/436.30 c 436s | 22 | 1843911 | 1714622 | 1967 1886 | 23 | 17 438.22/438.32 c 438s | 22 | 1852868 | 1722522 | 1967 1893 | 23 | 17 440.22/440.34 c 440s | 22 | 1861272 | 1730122 | 1967 1899 | 23 | 17 442.23/442.35 c 442s | 22 | 1868619 | 1736922 | 1967 1905 | 23 | 17 444.22/444.35 c 444s | 22 | 1877389 | 1744722 | 1967 1912 | 23 | 17 446.22/446.35 c 446s | 22 | 1885677 | 1752322 | 1967 1919 | 23 | 17 448.22/448.37 c 448s | 22 | 1893733 | 1759722 | 1967 1925 | 23 | 17 450.22/450.37 c 450s | 22 | 1901279 | 1766722 | 1967 1931 | 23 | 17 452.22/452.38 c 452s | 22 | 1909176 | 1774022 | 1967 1938 | 23 | 17 454.23/454.38 c 454s | 22 | 1916946 | 1781322 | 1967 1944 | 23 | 17 456.32/456.40 c 456s | 22 | 1924751 | 1788522 | 1967 1951 | 23 | 17 458.32/458.41 c 458s | 22 | 1932068 | 1795522 | 1967 1957 | 23 | 17 460.32/460.43 c 460s | 22 | 1939774 | 1802322 | 1967 1963 | 23 | 17 462.32/462.44 c 462s | 22 | 1948150 | 1809822 | 1967 1969 | 23 | 17 464.32/464.45 c 464s | 22 | 1955644 | 1816722 | 1967 1975 | 23 | 17 466.32/466.46 c 466s | 22 | 1963621 | 1824022 | 1967 1982 | 23 | 17 468.31/468.46 c 468s | 22 | 1971143 | 1831022 | 1967 1988 | 23 | 17 470.31/470.48 c 470s | 22 | 1979364 | 1838422 | 1967 1994 | 23 | 17 472.32/472.49 c 472s | 22 | 1986540 | 1845022 | 1967 2000 | 23 | 17 474.42/474.51 c 474s | 22 | 1994599 | 1852422 | 1967 2007 | 23 | 17 476.42/476.53 c 476s | 22 | 2001825 | 1859222 | 1967 2013 | 23 | 17 478.43/478.53 c 478s | 22 | 2009175 | 1866122 | 1967 2019 | 23 | 17 480.42/480.55 c 480s | 22 | 2017081 | 1873322 | 1967 2025 | 23 | 17 482.42/482.56 c 482s | 22 | 2025598 | 1880922 | 1967 2032 | 23 | 17 484.42/484.57 c 484s | 22 | 2032936 | 1888022 | 1967 2038 | 23 | 17 486.42/486.60 c 486s | 22 | 2040299 | 1895222 | 1967 2044 | 23 | 17 488.52/488.62 c 488s | 22 | 2047715 | 1902222 | 1967 2050 | 23 | 17 490.52/490.65 c 490s | 22 | 2055141 | 1909022 | 1967 2056 | 23 | 17 492.52/492.65 c 492s | 22 | 2063292 | 1916422 | 1967 2063 | 23 | 17 494.51/494.65 c 494s | 22 | 2072322 | 1924722 | 1967 2070 | 23 | 17 496.51/496.66 c 496s | 22 | 2081647 | 1933322 | 1967 2078 | 23 | 17 498.51/498.67 c 498s | 22 | 2091060 | 1942122 | 1967 2085 | 23 | 17 500.52/500.69 c 500s | 22 | 2100077 | 1950522 | 1967 2093 | 23 | 17 502.51/502.69 c 502s | 22 | 2108032 | 1958122 | 1967 2100 | 23 | 17 504.61/504.72 c 504s | 22 | 2116006 | 1965622 | 1967 2106 | 23 | 17 506.61/506.72 c 506s | 22 | 2124382 | 1973522 | 1967 2113 | 23 | 17 508.61/508.73 c 508s | 22 | 2132058 | 1980722 | 1967 2119 | 23 | 17 510.61/510.74 c 510s | 22 | 2140065 | 1988222 | 1967 2126 | 23 | 17 512.62/512.76 c 512s | 22 | 2148960 | 1996322 | 1967 2133 | 23 | 17 514.61/514.78 c 514s | 22 | 2156961 | 2003822 | 1967 2140 | 23 | 17 516.61/516.78 c 516s | 22 | 2164730 | 2011122 | 1967 2146 | 23 | 17 518.61/518.78 c 518s | 22 | 2173284 | 2018922 | 1967 2153 | 23 | 17 520.61/520.79 c 520s | 22 | 2181146 | 2026322 | 1967 2159 | 23 | 17 522.71/522.81 c 522s | 22 | 2188827 | 2033522 | 1967 2166 | 23 | 17 524.71/524.84 c 524s | 22 | 2196659 | 2040822 | 1967 2172 | 23 | 17 526.71/526.86 c 526s | 22 | 2204358 | 2048022 | 1967 2178 | 23 | 17 528.71/528.88 c 528s | 22 | 2212536 | 2055822 | 1967 2185 | 23 | 17 530.81/530.90 c 530s | 22 | 2220623 | 2063422 | 1967 2192 | 23 | 17 532.80/532.90 c 532s | 22 | 2228377 | 2070722 | 1967 2198 | 23 | 17 534.80/534.92 c 534s | 22 | 2236666 | 2078522 | 1967 2205 | 23 | 17 536.82/536.94 c 536s | 22 | 2244081 | 2085422 | 1967 2211 | 23 | 17 538.81/538.95 c 538s | 22 | 2252687 | 2093422 | 1967 2218 | 23 | 17 540.81/540.96 c 540s | 22 | 2262098 | 2102422 | 1967 2226 | 23 | 17 542.81/542.96 c 542s | 22 | 2270165 | 2110022 | 1967 2233 | 23 | 17 544.81/544.98 c 544s | 22 | 2277983 | 2117322 | 1967 2239 | 23 | 17 546.91/547.01 c 546s | 22 | 2285767 | 2124522 | 1967 2245 | 23 | 17 548.92/549.03 c 548s | 22 | 2293760 | 2131722 | 1967 2252 | 23 | 17 550.91/551.04 c 550s | 22 | 2302220 | 2139622 | 1967 2259 | 23 | 17 552.91/553.05 c 552s | 22 | 2310409 | 2147122 | 1967 2265 | 23 | 17 554.91/555.06 c 554s | 22 | 2318509 | 2154722 | 1967 2272 | 23 | 17 556.91/557.08 c 556s | 22 | 2325944 | 2161722 | 1967 2278 | 23 | 17 558.91/559.08 c 558s | 22 | 2334339 | 2169622 | 1967 2285 | 23 | 17 560.91/561.09 c 560s | 22 | 2341422 | 2176422 | 1967 2291 | 23 | 17 563.00/563.10 c 562s | 22 | 2348765 | 2183422 | 1967 2297 | 23 | 17 565.00/565.13 c 564s | 22 | 2356532 | 2190722 | 1967 2304 | 23 | 17 567.00/567.15 c 566s | 22 | 2364058 | 2197822 | 1967 2310 | 23 | 17 569.00/569.16 c 568s | 22 | 2371341 | 2204722 | 1967 2316 | 23 | 17 571.10/571.20 c 570s | 22 | 2378255 | 2211322 | 1967 2322 | 23 | 17 573.11/573.22 c 572s | 22 | 2384976 | 2217822 | 1967 2327 | 23 | 17 575.10/575.22 c 574s | 22 | 2391883 | 2224522 | 1967 2333 | 23 | 17 577.10/577.23 c 576s | 22 | 2399218 | 2231322 | 1967 2339 | 23 | 17 579.10/579.26 c 578s | 22 | 2406478 | 2238122 | 2164 2345 | 23 | 17 581.10/581.28 c 580s | 22 | 2414808 | 2245922 | 2164 2351 | 23 | 17 582.60/582.70 c 582s | 23 | 2420361 | 2251038 | 2164 2355 | 23 | 17 584.60/584.72 c 584s | 23 | 2428852 | 2258638 | 2164 2361 | 23 | 17 586.60/586.73 c 586s | 23 | 2436647 | 2265738 | 2164 2367 | 23 | 17 588.60/588.74 c 588s | 23 | 2444294 | 2272738 | 2164 2373 | 23 | 17 590.60/590.75 c 590s | 23 | 2452033 | 2279738 | 2164 2378 | 23 | 17 592.60/592.77 c 592s | 23 | 2460210 | 2287238 | 2164 2384 | 23 | 17 594.60/594.78 c 594s | 23 | 2467926 | 2294338 | 2164 2390 | 23 | 17 596.60/596.79 c 596s | 23 | 2475253 | 2301038 | 2164 2396 | 23 | 17 598.70/598.81 c 598s | 23 | 2482931 | 2308038 | 2164 2401 | 23 | 17 600.69/600.85 c 600s | 23 | 2490515 | 2314938 | 2164 2407 | 23 | 17 602.70/602.85 c 602s | 23 | 2498252 | 2321838 | 2164 2412 | 23 | 17 604.69/604.87 c 604s | 23 | 2506048 | 2328938 | 2164 2418 | 23 | 17 606.69/606.87 c 606s | 23 | 2513779 | 2336138 | 2164 2424 | 23 | 17 608.79/608.92 c 608s | 23 | 2521617 | 2343338 | 2164 2430 | 23 | 17 610.79/610.96 c 610s | 23 | 2529203 | 2350338 | 2164 2435 | 23 | 17 612.79/612.98 c 612s | 23 | 2537028 | 2357438 | 2164 2441 | 23 | 17 614.90/615.01 c 614s | 23 | 2544485 | 2364238 | 2164 2447 | 23 | 17 616.89/617.01 c 616s | 23 | 2551840 | 2371038 | 2164 2452 | 23 | 17 618.89/619.03 c 618s | 23 | 2560845 | 2379138 | 2164 2459 | 23 | 17 620.89/621.04 c 620s | 23 | 2569980 | 2387438 | 2164 2465 | 23 | 17 622.89/623.05 c 622s | 23 | 2577979 | 2394738 | 2164 2471 | 23 | 17 624.90/625.07 c 624s | 23 | 2585974 | 2401938 | 2164 2477 | 23 | 17 626.91/627.07 c 626s | 23 | 2594487 | 2409338 | 2164 2483 | 23 | 17 628.90/629.07 c 628s | 23 | 2602346 | 2416238 | 2164 2489 | 23 | 17 630.90/631.08 c 630s | 23 | 2609707 | 2423038 | 2164 2494 | 23 | 17 632.89/633.09 c 632s | 23 | 2616850 | 2429738 | 2164 2499 | 23 | 17 634.99/635.11 c 634s | 23 | 2623770 | 2436238 | 2164 2505 | 23 | 17 636.99/637.13 c 636s | 23 | 2631115 | 2443138 | 2164 2510 | 23 | 17 639.00/639.16 c 638s | 23 | 2638662 | 2450238 | 2164 2516 | 23 | 17 640.99/641.16 c 640s | 23 | 2646045 | 2457138 | 2164 2522 | 23 | 17 642.99/643.18 c 642s | 23 | 2653989 | 2464438 | 2164 2527 | 23 | 17 644.99/645.18 c 644s | 23 | 2661081 | 2470938 | 2164 2533 | 23 | 17 646.99/647.18 c 646s | 23 | 2668671 | 2477938 | 2164 2538 | 23 | 17 649.00/649.19 c 648s | 23 | 2676395 | 2485038 | 2164 2544 | 23 | 17 650.99/651.20 c 650s | 23 | 2683833 | 2491838 | 2164 2550 | 23 | 17 653.09/653.20 c 652s | 23 | 2691188 | 2498538 | 2164 2555 | 23 | 17 655.09/655.22 c 654s | 23 | 2698695 | 2505338 | 2164 2560 | 23 | 17 657.09/657.23 c 656s | 23 | 2706469 | 2512338 | 2164 2566 | 23 | 17 659.09/659.26 c 658s | 23 | 2715439 | 2520138 | 2164 2572 | 23 | 17 661.10/661.28 c 660s | 23 | 2723369 | 2527238 | 2164 2578 | 23 | 17 663.09/663.30 c 663s | 23 | 2731239 | 2534338 | 2164 2584 | 23 | 17 665.19/665.30 c 665s | 23 | 2739122 | 2541538 | 2164 2590 | 23 | 17 667.19/667.32 c 667s | 23 | 2746621 | 2548438 | 2164 2595 | 23 | 17 669.19/669.32 c 669s | 23 | 2753803 | 2554938 | 2164 2600 | 23 | 17 671.19/671.33 c 671s | 23 | 2760723 | 2561338 | 2164 2606 | 23 | 17 673.19/673.35 c 673s | 23 | 2768057 | 2568038 | 2164 2611 | 23 | 17 675.19/675.35 c 675s | 23 | 2775630 | 2575038 | 2164 2617 | 23 | 17 677.19/677.36 c 677s | 23 | 2782889 | 2581738 | 2164 2622 | 23 | 17 679.18/679.37 c 679s | 23 | 2790150 | 2588438 | 2164 2628 | 23 | 17 681.18/681.38 c 681s | 23 | 2797822 | 2595238 | 2164 2633 | 23 | 17 683.28/683.40 c 683s | 23 | 2805265 | 2601838 | 2164 2638 | 23 | 17 685.29/685.42 c 685s | 23 | 2812440 | 2608238 | 2164 2644 | 23 | 17 687.28/687.43 c 687s | 23 | 2819786 | 2614838 | 2164 2649 | 23 | 17 689.28/689.46 c 689s | 23 | 2827378 | 2621638 | 2164 2654 | 23 | 17 691.28/691.48 c 691s | 23 | 2834804 | 2628338 | 2164 2660 | 23 | 17 693.38/693.50 c 693s | 23 | 2842117 | 2634938 | 2164 2665 | 23 | 17 695.38/695.52 c 695s | 23 | 2849278 | 2641438 | 2164 2670 | 23 | 17 697.39/697.53 c 697s | 23 | 2857198 | 2648638 | 2164 2676 | 23 | 17 699.38/699.55 c 699s | 23 | 2866421 | 2657038 | 2164 2683 | 23 | 17 701.38/701.57 c 701s | 23 | 2874976 | 2665038 | 2164 2689 | 23 | 17 703.38/703.59 c 703s | 23 | 2883666 | 2673038 | 2164 2696 | 23 | 17 705.49/705.61 c 705s | 23 | 2891822 | 2680738 | 2164 2702 | 23 | 17 707.49/707.62 c 707s | 23 | 2900425 | 2688538 | 2164 2708 | 23 | 17 709.49/709.63 c 709s | 23 | 2909020 | 2696338 | 2164 2715 | 23 | 17 711.49/711.64 c 711s | 23 | 2917430 | 2704038 | 2164 2721 | 23 | 17 713.49/713.64 c 713s | 23 | 2925985 | 2711838 | 2164 2727 | 23 | 17 715.48/715.66 c 715s | 23 | 2934204 | 2719438 | 2164 2733 | 23 | 17 717.48/717.67 c 717s | 23 | 2942456 | 2727038 | 2164 2739 | 23 | 17 719.48/719.70 c 719s | 23 | 2950845 | 2734738 | 2164 2746 | 23 | 17 721.59/721.71 c 721s | 23 | 2959016 | 2742338 | 2164 2752 | 23 | 17 723.58/723.72 c 723s | 23 | 2966878 | 2749638 | 2164 2758 | 23 | 17 725.58/725.72 c 725s | 23 | 2974617 | 2756838 | 2164 2763 | 23 | 17 727.58/727.74 c 727s | 23 | 2982583 | 2764238 | 2164 2769 | 23 | 17 729.58/729.75 c 729s | 23 | 2991280 | 2772338 | 2164 2776 | 23 | 17 731.58/731.76 c 731s | 23 | 2999930 | 2780338 | 2164 2782 | 23 | 17 733.59/733.78 c 733s | 23 | 3009136 | 2788738 | 2164 2789 | 23 | 17 735.68/735.81 c 735s | 23 | 3016617 | 2795538 | 2164 2795 | 23 | 17 737.68/737.84 c 737s | 23 | 3024385 | 2802938 | 2164 2801 | 23 | 17 739.68/739.84 c 739s | 23 | 3032151 | 2810038 | 2164 2806 | 23 | 17 741.68/741.85 c 741s | 23 | 3040418 | 2817338 | 2164 2812 | 23 | 17 743.68/743.85 c 743s | 23 | 3049017 | 2824738 | 2164 2818 | 23 | 17 745.68/745.86 c 745s | 23 | 3057189 | 2832038 | 2164 2824 | 23 | 17 747.68/747.88 c 747s | 23 | 3065037 | 2839038 | 2164 2830 | 23 | 17 749.78/749.91 c 749s | 23 | 3073025 | 2846138 | 2164 2836 | 23 | 17 751.78/751.94 c 751s | 23 | 3080633 | 2853138 | 2164 2841 | 23 | 17 753.78/753.97 c 753s | 23 | 3088958 | 2860938 | 2164 2848 | 23 | 17 755.78/755.99 c 755s | 23 | 3096952 | 2868438 | 2164 2854 | 23 | 17 757.88/758.01 c 757s | 23 | 3105127 | 2875838 | 2164 2860 | 23 | 17 759.87/760.01 c 759s | 23 | 3112984 | 2882838 | 2164 2865 | 23 | 17 761.87/762.01 c 761s | 23 | 3120996 | 2889938 | 2164 2871 | 23 | 17 763.87/764.03 c 763s | 23 | 3128809 | 2897038 | 2164 2877 | 23 | 17 765.87/766.03 c 765s | 23 | 3136249 | 2904038 | 2164 2882 | 23 | 17 767.87/768.05 c 767s | 23 | 3143638 | 2910938 | 2164 2888 | 23 | 17 769.88/770.05 c 769s | 23 | 3150750 | 2917438 | 2164 2893 | 23 | 17 771.87/772.06 c 771s | 23 | 3157488 | 2923538 | 2164 2898 | 23 | 17 773.87/774.08 c 773s | 23 | 3165440 | 2930638 | 2164 2904 | 23 | 17 775.97/776.10 c 775s | 23 | 3173095 | 2937638 | 2164 2909 | 23 | 17 777.97/778.12 c 777s | 23 | 3180927 | 2944838 | 2164 2915 | 23 | 17 779.97/780.14 c 779s | 23 | 3188760 | 2952038 | 2164 2921 | 23 | 17 781.97/782.16 c 781s | 23 | 3196162 | 2958938 | 2164 2927 | 23 | 17 783.97/784.18 c 783s | 23 | 3203844 | 2966138 | 2164 2933 | 23 | 17 786.07/786.20 c 785s | 23 | 3211436 | 2973138 | 2164 2938 | 23 | 17 788.07/788.21 c 787s | 23 | 3218813 | 2980038 | 2164 2944 | 23 | 17 790.07/790.23 c 789s | 23 | 3226194 | 2986738 | 2164 2949 | 23 | 17 792.07/792.24 c 791s | 23 | 3233645 | 2993438 | 2164 2955 | 23 | 17 794.07/794.25 c 793s | 23 | 3240997 | 3000238 | 2164 2960 | 23 | 17 796.07/796.25 c 795s | 23 | 3248594 | 3007138 | 2164 2966 | 23 | 17 798.06/798.28 c 797s | 23 | 3256417 | 3014338 | 2164 2972 | 23 | 17 800.16/800.31 c 800s | 23 | 3264493 | 3021838 | 2164 2978 | 23 | 17 802.16/802.33 c 802s | 23 | 3273802 | 3030138 | 2164 2984 | 23 | 17 804.16/804.33 c 804s | 23 | 3282462 | 3037938 | 2164 2991 | 23 | 17 806.17/806.35 c 806s | 23 | 3290862 | 3045738 | 2164 2997 | 23 | 17 808.26/808.41 c 808s | 23 | 3299367 | 3053638 | 2164 3003 | 23 | 17 810.26/810.41 c 810s | 23 | 3307401 | 3061038 | 2164 3009 | 23 | 17 812.26/812.41 c 812s | 23 | 3315459 | 3068538 | 2164 3015 | 23 | 17 814.27/814.46 c 814s | 23 | 3323570 | 3076138 | 2164 3021 | 23 | 17 816.27/816.48 c 816s | 23 | 3331630 | 3083738 | 2164 3028 | 23 | 17 818.28/818.50 c 818s | 23 | 3340076 | 3091538 | 2164 3034 | 23 | 17 820.37/820.51 c 820s | 23 | 3348448 | 3099338 | 2164 3040 | 23 | 17 822.37/822.52 c 822s | 23 | 3356491 | 3106938 | 2164 3046 | 23 | 17 824.37/824.52 c 824s | 23 | 3364592 | 3114438 | 2164 3052 | 23 | 17 826.37/826.52 c 826s | 23 | 3372461 | 3121738 | 2164 3058 | 23 | 17 828.37/828.54 c 828s | 23 | 3380232 | 3128938 | 2164 3064 | 23 | 17 830.37/830.56 c 830s | 23 | 3388272 | 3136538 | 2164 3070 | 23 | 17 832.37/832.58 c 832s | 23 | 3396051 | 3143638 | 2164 3076 | 23 | 17 834.37/834.58 c 834s | 23 | 3403839 | 3150738 | 2164 3082 | 23 | 17 836.46/836.60 c 836s | 23 | 3412531 | 3158738 | 2164 3088 | 23 | 17 838.46/838.62 c 838s | 23 | 3421312 | 3166738 | 2164 3095 | 23 | 17 840.46/840.63 c 840s | 23 | 3429418 | 3174238 | 2164 3101 | 23 | 17 842.47/842.65 c 842s | 23 | 3438140 | 3182338 | 2164 3107 | 23 | 17 844.46/844.65 c 844s | 23 | 3446365 | 3189938 | 2164 3113 | 23 | 17 846.46/846.66 c 846s | 23 | 3454623 | 3197538 | 2164 3119 | 23 | 17 848.46/848.66 c 848s | 23 | 3462695 | 3205038 | 2164 3125 | 23 | 17 850.46/850.68 c 850s | 23 | 3471142 | 3212938 | 2164 3132 | 23 | 17 852.47/852.68 c 852s | 23 | 3479149 | 3220438 | 2164 3138 | 23 | 17 854.46/854.69 c 854s | 23 | 3486760 | 3227538 | 2164 3144 | 23 | 17 856.55/856.71 c 856s | 23 | 3494432 | 3234538 | 2164 3149 | 23 | 17 858.55/858.72 c 858s | 23 | 3502452 | 3241938 | 2164 3155 | 23 | 17 860.55/860.76 c 860s | 23 | 3510357 | 3249138 | 2164 3161 | 23 | 17 862.55/862.77 c 862s | 23 | 3518177 | 3256338 | 2164 3167 | 23 | 17 864.65/864.80 c 864s | 23 | 3525834 | 3263338 | 2164 3173 | 23 | 17 866.66/866.80 c 866s | 23 | 3533817 | 3270738 | 2164 3179 | 23 | 17 868.65/868.81 c 868s | 23 | 3541985 | 3278238 | 2164 3185 | 23 | 17 870.65/870.83 c 870s | 23 | 3549791 | 3285438 | 2164 3190 | 23 | 17 872.65/872.84 c 872s | 23 | 3557448 | 3292538 | 2164 3196 | 23 | 17 874.65/874.84 c 874s | 23 | 3565172 | 3299638 | 2164 3202 | 23 | 17 876.65/876.88 c 876s | 23 | 3572904 | 3306638 | 2164 3208 | 23 | 17 878.64/878.90 c 878s | 23 | 3580848 | 3313838 | 2164 3213 | 23 | 17 880.74/880.91 c 880s | 23 | 3588942 | 3321238 | 2164 3219 | 23 | 17 882.75/882.92 c 882s | 23 | 3596979 | 3328738 | 2164 3225 | 23 | 17 884.75/884.93 c 884s | 23 | 3604637 | 3335938 | 2164 3231 | 23 | 17 886.75/886.96 c 886s | 23 | 3612758 | 3343438 | 2164 3237 | 23 | 17 888.75/888.96 c 888s | 23 | 3620544 | 3350538 | 2164 3243 | 23 | 17 890.74/890.97 c 890s | 23 | 3628273 | 3357638 | 2381 3248 | 23 | 17 892.74/892.97 c 892s | 23 | 3635913 | 3364738 | 2381 3253 | 23 | 17 894.84/895.02 c 894s | 23 | 3643428 | 3371638 | 2381 3259 | 23 | 17 896.24/896.45 c 896s | 24 | 3648858 | 3376662 | 2381 3262 | 23 | 17 898.24/898.45 c 898s | 24 | 3658192 | 3385362 | 2381 3269 | 23 | 17 900.23/900.46 c 900s | 24 | 3666679 | 3393562 | 2381 3275 | 23 | 17 902.23/902.46 c 902s | 24 | 3675484 | 3401662 | 2381 3281 | 23 | 17 904.23/904.46 c 904s | 24 | 3683906 | 3409462 | 2381 3287 | 23 | 17 906.24/906.47 c 906s | 24 | 3692507 | 3417462 | 2381 3293 | 23 | 17 908.23/908.49 c 908s | 24 | 3700616 | 3425162 | 2381 3298 | 23 | 17 910.24/910.49 c 910s | 24 | 3709256 | 3433362 | 2381 3304 | 23 | 17 912.24/912.49 c 912s | 24 | 3717883 | 3441562 | 2381 3310 | 23 | 17 914.34/914.50 c 914s | 24 | 3726089 | 3449362 | 2381 3316 | 23 | 17 916.33/916.58 c 916s | 24 | 3734870 | 3457862 | 2381 3323 | 23 | 17 918.34/918.58 c 918s | 24 | 3743259 | 3465862 | 2381 3328 | 23 | 17 920.43/920.60 c 920s | 24 | 3751858 | 3474162 | 2381 3335 | 23 | 17 922.43/922.61 c 922s | 24 | 3760072 | 3482062 | 2381 3340 | 23 | 17 924.43/924.61 c 924s | 24 | 3768165 | 3489862 | 2381 3346 | 23 | 17 926.42/926.62 c 926s | 24 | 3776308 | 3497762 | 2381 3352 | 23 | 17 928.42/928.64 c 928s | 24 | 3784449 | 3505462 | 2381 3358 | 23 | 17 930.43/930.64 c 930s | 24 | 3793696 | 3514262 | 2381 3364 | 23 | 17 932.42/932.65 c 932s | 24 | 3802349 | 3522562 | 2381 3370 | 23 | 17 934.52/934.70 c 934s | 24 | 3810726 | 3530662 | 2381 3376 | 23 | 17 936.52/936.71 c 936s | 24 | 3819905 | 3539362 | 2381 3383 | 23 | 17 938.52/938.72 c 938s | 24 | 3828572 | 3547562 | 2381 3389 | 23 | 17 940.53/940.73 c 940s | 24 | 3837757 | 3556262 | 2381 3395 | 23 | 17 942.53/942.74 c 942s | 24 | 3846469 | 3564562 | 2381 3402 | 23 | 17 944.52/944.76 c 944s | 24 | 3855476 | 3572862 | 2381 3408 | 23 | 17 946.52/946.77 c 946s | 24 | 3864470 | 3581262 | 2381 3414 | 23 | 17 948.52/948.78 c 948s | 24 | 3872808 | 3589162 | 2381 3420 | 23 | 17 950.52/950.79 c 950s | 24 | 3881449 | 3597262 | 2381 3426 | 23 | 17 952.53/952.79 c 952s | 24 | 3890146 | 3605662 | 2381 3432 | 23 | 17 954.52/954.79 c 954s | 24 | 3898207 | 3613362 | 2381 3438 | 23 | 17 956.61/956.81 c 956s | 24 | 3906261 | 3621162 | 2381 3444 | 23 | 17 958.61/958.83 c 958s | 24 | 3914197 | 3628762 | 2381 3449 | 23 | 17 960.61/960.84 c 960s | 24 | 3922812 | 3637062 | 2381 3455 | 23 | 17 962.61/962.85 c 962s | 24 | 3931221 | 3645062 | 2381 3461 | 23 | 17 964.62/964.85 c 964s | 24 | 3940033 | 3653562 | 2381 3468 | 23 | 17 966.61/966.87 c 966s | 24 | 3948770 | 3661862 | 2381 3474 | 23 | 17 968.61/968.88 c 968s | 24 | 3957405 | 3670162 | 2381 3480 | 23 | 17 970.71/970.90 c 970s | 24 | 3966096 | 3678562 | 2381 3486 | 23 | 17 972.71/972.90 c 972s | 24 | 3974169 | 3686362 | 2381 3492 | 23 | 17 974.71/974.92 c 974s | 24 | 3982710 | 3694662 | 2381 3498 | 23 | 17 976.72/976.94 c 976s | 24 | 3990475 | 3702162 | 2381 3504 | 23 | 17 978.71/978.94 c 978s | 24 | 3998388 | 3709762 | 2381 3509 | 23 | 17 980.71/980.96 c 980s | 24 | 4006013 | 3717062 | 2381 3515 | 23 | 17 982.71/982.96 c 982s | 24 | 4013642 | 3724262 | 2381 3520 | 23 | 17 984.71/984.97 c 984s | 24 | 4021540 | 3731862 | 2381 3526 | 23 | 17 986.71/986.98 c 986s | 24 | 4028932 | 3738962 | 2381 3531 | 23 | 17 988.71/988.99 c 988s | 24 | 4037515 | 3747262 | 2381 3537 | 23 | 17 990.80/991.01 c 990s | 24 | 4045756 | 3755262 | 2381 3543 | 23 | 17 992.80/993.07 c 992s | 24 | 4054072 | 3763362 | 2381 3549 | 23 | 17 994.80/995.09 c 994s | 24 | 4062403 | 3771462 | 2381 3555 | 23 | 17 996.90/997.11 c 996s | 24 | 4070755 | 3779562 | 2381 3561 | 23 | 17 998.90/999.12 c 998s | 24 | 4079246 | 3787762 | 2381 3567 | 23 | 17 1000.91/1001.14 c 1000s | 24 | 4087593 | 3795862 | 2381 3573 | 23 | 17 1002.90/1003.14 c 1002s | 24 | 4096209 | 3804262 | 2381 3579 | 23 | 17 1004.89/1005.14 c 1004s | 24 | 4104429 | 3812262 | 2381 3585 | 23 | 17 1006.89/1007.17 c 1006s | 24 | 4112753 | 3820362 | 2381 3591 | 23 | 17 1008.89/1009.18 c 1008s | 24 | 4121393 | 3828562 | 2381 3597 | 23 | 17 1010.89/1011.18 c 1010s | 24 | 4130581 | 3837162 | 2381 3604 | 23 | 17 1012.91/1013.20 c 1012s | 24 | 4139078 | 3845362 | 2381 3610 | 23 | 17 1014.99/1015.22 c 1014s | 24 | 4147839 | 3853662 | 2381 3616 | 23 | 17 1016.99/1017.23 c 1016s | 24 | 4156974 | 3862462 | 2381 3623 | 23 | 17 1018.99/1019.24 c 1018s | 24 | 4165733 | 3870762 | 2381 3629 | 23 | 17 1020.99/1021.26 c 1020s | 24 | 4174258 | 3878962 | 2381 3635 | 23 | 17 1022.99/1023.26 c 1022s | 24 | 4182721 | 3887262 | 2381 3641 | 23 | 17 1025.00/1025.27 c 1024s | 24 | 4191876 | 3896062 | 2381 3648 | 23 | 17 1026.99/1027.29 c 1027s | 24 | 4200388 | 3904062 | 2381 3653 | 23 | 17 1029.09/1029.30 c 1029s | 24 | 4209123 | 3912362 | 2381 3660 | 23 | 17 1031.09/1031.31 c 1031s | 24 | 4218009 | 3920962 | 2381 3666 | 23 | 17 1033.09/1033.32 c 1033s | 24 | 4226870 | 3929362 | 2381 3672 | 23 | 17 1035.08/1035.37 c 1035s | 24 | 4235796 | 3937762 | 2381 3679 | 23 | 17 1037.09/1037.37 c 1037s | 24 | 4244627 | 3946062 | 2381 3685 | 23 | 17 1039.08/1039.39 c 1039s | 24 | 4253946 | 3954762 | 2381 3691 | 23 | 17 1041.28/1041.51 c 1041s | 24 | 4262982 | 3963262 | 2381 3697 | 23 | 17 1043.28/1043.53 c 1043s | 24 | 4272401 | 3972062 | 2381 3704 | 23 | 17 1045.28/1045.55 c 1045s | 24 | 4281622 | 3980662 | 2381 3710 | 23 | 17 1047.28/1047.56 c 1047s | 24 | 4290503 | 3988962 | 2381 3717 | 23 | 17 1049.28/1049.57 c 1049s | 24 | 4299105 | 3997162 | 2381 3723 | 23 | 17 1051.28/1051.59 c 1051s | 24 | 4306859 | 4004562 | 2381 3728 | 23 | 17 1053.37/1053.60 c 1053s | 24 | 4314714 | 4011962 | 2381 3734 | 23 | 17 1055.37/1055.62 c 1055s | 24 | 4322581 | 4019462 | 2381 3739 | 23 | 17 1057.37/1057.62 c 1057s | 24 | 4330541 | 4026962 | 2381 3745 | 23 | 17 1059.38/1059.63 c 1059s | 24 | 4339393 | 4035162 | 2381 3751 | 23 | 17 1061.39/1061.65 c 1061s | 24 | 4348966 | 4044162 | 2381 3758 | 23 | 17 1063.38/1063.66 c 1063s | 24 | 4357885 | 4052362 | 2381 3764 | 23 | 17 1065.38/1065.68 c 1065s | 24 | 4366908 | 4060762 | 2381 3770 | 23 | 17 1067.38/1067.68 c 1067s | 24 | 4376273 | 4069562 | 2381 3776 | 23 | 17 1069.37/1069.69 c 1069s | 24 | 4384272 | 4077062 | 2381 3782 | 23 | 17 1071.47/1071.70 c 1071s | 24 | 4392585 | 4085062 | 2381 3788 | 23 | 17 1073.48/1073.71 c 1073s | 24 | 4400656 | 4092862 | 2381 3794 | 23 | 17 1075.47/1075.71 c 1075s | 24 | 4408356 | 4100062 | 2381 3799 | 23 | 17 1077.47/1077.71 c 1077s | 24 | 4416695 | 4107962 | 2381 3805 | 23 | 17 1079.47/1079.72 c 1079s | 24 | 4425184 | 4115962 | 2381 3811 | 23 | 17 1081.47/1081.77 c 1081s | 24 | 4433403 | 4123562 | 2381 3816 | 23 | 17 1083.47/1083.78 c 1083s | 24 | 4442830 | 4132162 | 2381 3823 | 23 | 17 1085.47/1085.79 c 1085s | 24 | 4451332 | 4140162 | 2381 3829 | 23 | 17 1087.47/1087.80 c 1087s | 24 | 4459718 | 4147762 | 2381 3834 | 23 | 17 1089.57/1089.81 c 1089s | 24 | 4468099 | 4155562 | 2381 3840 | 23 | 17 1091.57/1091.83 c 1091s | 24 | 4476726 | 4163562 | 2381 3846 | 23 | 17 1093.56/1093.84 c 1093s | 24 | 4484293 | 4170662 | 2381 3851 | 23 | 17 1095.56/1095.85 c 1095s | 24 | 4492573 | 4178362 | 2381 3857 | 23 | 17 1097.57/1097.87 c 1097s | 24 | 4500864 | 4186062 | 2381 3863 | 23 | 17 1099.56/1099.87 c 1099s | 24 | 4509219 | 4193862 | 2381 3869 | 23 | 17 1101.56/1101.87 c 1101s | 24 | 4517546 | 4201662 | 2381 3874 | 23 | 17 1103.56/1103.90 c 1103s | 24 | 4525746 | 4209262 | 2381 3880 | 23 | 17 1105.65/1105.91 c 1105s | 24 | 4533917 | 4216962 | 2381 3886 | 23 | 17 1107.65/1107.92 c 1107s | 24 | 4541883 | 4224562 | 2381 3891 | 23 | 17 1109.66/1109.93 c 1109s | 24 | 4549803 | 4232062 | 2381 3897 | 23 | 17 1111.65/1111.95 c 1111s | 24 | 4558108 | 4239862 | 2381 3903 | 23 | 17 1113.65/1113.96 c 1113s | 24 | 4565747 | 4247062 | 2381 3908 | 23 | 17 1115.65/1115.98 c 1115s | 24 | 4574183 | 4254862 | 2381 3914 | 23 | 17 1117.65/1117.99 c 1117s | 24 | 4582635 | 4262762 | 2381 3920 | 23 | 17 1119.75/1120.01 c 1119s | 24 | 4590670 | 4270362 | 2381 3925 | 23 | 17 1121.75/1122.04 c 1121s | 24 | 4598792 | 4277962 | 2381 3931 | 23 | 17 1123.75/1124.05 c 1123s | 24 | 4606740 | 4285662 | 2381 3937 | 23 | 17 1125.74/1126.05 c 1125s | 24 | 4614376 | 4293062 | 2381 3942 | 23 | 17 1127.74/1128.07 c 1127s | 24 | 4622207 | 4300662 | 2381 3948 | 23 | 17 1129.74/1130.07 c 1129s | 24 | 4629571 | 4307762 | 2381 3953 | 23 | 17 1131.85/1132.12 c 1131s | 24 | 4637207 | 4315062 | 2381 3959 | 23 | 17 1133.86/1134.13 c 1133s | 24 | 4645250 | 4322662 | 2381 3964 | 23 | 17 1135.85/1136.14 c 1135s | 24 | 4653913 | 4330362 | 2381 3970 | 23 | 17 1137.85/1138.14 c 1137s | 24 | 4662229 | 4337962 | 2381 3976 | 23 | 17 1139.84/1140.15 c 1139s | 24 | 4670436 | 4345762 | 2381 3981 | 23 | 17 1141.84/1142.16 c 1141s | 24 | 4678320 | 4353362 | 2381 3987 | 23 | 17 1143.85/1144.16 c 1143s | 24 | 4685924 | 4360562 | 2381 3992 | 23 | 17 1145.84/1146.17 c 1145s | 24 | 4693520 | 4367762 | 2381 3998 | 23 | 17 1147.84/1148.18 c 1147s | 24 | 4701027 | 4374862 | 2381 4003 | 23 | 17 1149.84/1150.18 c 1149s | 24 | 4708738 | 4382162 | 2381 4008 | 23 | 17 1151.84/1152.18 c 1151s | 24 | 4717110 | 4390062 | 2381 4014 | 23 | 17 1153.94/1154.20 c 1153s | 24 | 4725509 | 4397762 | 2381 4020 | 23 | 17 1155.94/1156.21 c 1155s | 24 | 4734176 | 4405762 | 2381 4026 | 23 | 17 1157.93/1158.22 c 1157s | 24 | 4742688 | 4413762 | 2381 4032 | 23 | 17 1159.93/1160.23 c 1159s | 24 | 4751062 | 4421462 | 2381 4038 | 23 | 17 1161.93/1162.24 c 1161s | 24 | 4759547 | 4429462 | 2381 4044 | 23 | 17 1163.93/1164.25 c 1163s | 24 | 4767489 | 4436962 | 2381 4049 | 23 | 17 1165.92/1166.26 c 1165s | 24 | 4775994 | 4444762 | 2381 4055 | 23 | 17 1167.93/1168.26 c 1167s | 24 | 4784024 | 4452162 | 2381 4060 | 23 | 17 1169.92/1170.28 c 1169s | 24 | 4793087 | 4459962 | 2381 4066 | 23 | 17 1171.92/1172.29 c 1172s | 24 | 4802436 | 4467662 | 2381 4072 | 23 | 17 1174.02/1174.30 c 1174s | 24 | 4811172 | 4475862 | 2381 4078 | 23 | 17 1176.02/1176.31 c 1176s | 24 | 4818816 | 4483162 | 2381 4083 | 23 | 17 1178.02/1178.32 c 1178s | 24 | 4826224 | 4490162 | 2381 4089 | 23 | 17 1180.02/1180.36 c 1180s | 24 | 4833688 | 4497262 | 2381 4094 | 23 | 17 1182.11/1182.44 c 1182s | 24 | 4841115 | 4504062 | 2381 4099 | 23 | 17 1184.11/1184.45 c 1184s | 24 | 4849059 | 4511362 | 2381 4104 | 23 | 17 1186.11/1186.48 c 1186s | 24 | 4856716 | 4518462 | 2381 4110 | 23 | 17 1188.12/1188.49 c 1188s | 24 | 4863856 | 4525162 | 2381 4115 | 23 | 17 1190.22/1190.51 c 1190s | 24 | 4871199 | 4531962 | 2381 4120 | 23 | 17 1192.22/1192.52 c 1192s | 24 | 4878921 | 4539362 | 2381 4125 | 23 | 17 1194.22/1194.53 c 1194s | 24 | 4886540 | 4546762 | 2381 4131 | 23 | 17 1196.21/1196.53 c 1196s | 24 | 4894291 | 4554162 | 2381 4136 | 23 | 17 1198.21/1198.57 c 1198s | 24 | 4902036 | 4561462 | 2381 4141 | 23 | 17 1200.21/1200.58 c 1200s | 24 | 4909231 | 4568362 | 2381 4147 | 23 | 17 1202.31/1202.63 c 1202s | 24 | 4916624 | 4575462 | 2381 4152 | 23 | 17 1204.31/1204.65 c 1204s | 24 | 4924226 | 4582662 | 2381 4157 | 23 | 17 1206.30/1206.68 c 1206s | 24 | 4931689 | 4589862 | 2381 4163 | 23 | 17 1208.40/1208.70 c 1208s | 24 | 4939144 | 4596962 | 2381 4168 | 23 | 17 1210.40/1210.71 c 1210s | 24 | 4946534 | 4603962 | 2381 4173 | 23 | 17 1212.40/1212.72 c 1212s | 24 | 4954769 | 4611762 | 2381 4179 | 23 | 17 1214.40/1214.74 c 1214s | 24 | 4962494 | 4619162 | 2381 4184 | 23 | 17 1216.41/1216.76 c 1216s | 24 | 4970066 | 4626362 | 2381 4190 | 23 | 17 1218.41/1218.78 c 1218s | 24 | 4978073 | 4633962 | 2381 4195 | 23 | 17 1220.51/1220.80 c 1220s | 24 | 4985956 | 4641562 | 2381 4201 | 23 | 17 1222.51/1222.84 c 1222s | 24 | 4993756 | 4649062 | 2381 4207 | 23 | 17 1224.51/1224.84 c 1224s | 24 | 5001646 | 4656662 | 2381 4212 | 23 | 17 1226.50/1226.85 c 1226s | 24 | 5009099 | 4663862 | 2381 4217 | 23 | 17 1228.51/1228.87 c 1228s | 24 | 5016464 | 4670862 | 2381 4223 | 23 | 17 1230.50/1230.89 c 1230s | 24 | 5024229 | 4678262 | 2381 4228 | 23 | 17 1232.50/1232.89 c 1232s | 24 | 5031720 | 4685462 | 2381 4234 | 23 | 17 1234.50/1234.89 c 1234s | 24 | 5039113 | 4692662 | 2381 4239 | 23 | 17 1236.60/1236.92 c 1236s | 24 | 5046856 | 4700162 | 2381 4244 | 23 | 17 1238.60/1238.92 c 1238s | 24 | 5054067 | 4707162 | 2381 4250 | 23 | 17 1240.60/1240.92 c 1240s | 24 | 5061524 | 4714362 | 2381 4255 | 23 | 17 1242.60/1242.93 c 1242s | 24 | 5068881 | 4721562 | 2381 4260 | 23 | 17 1244.59/1244.94 c 1244s | 24 | 5076310 | 4728762 | 2381 4266 | 23 | 17 1246.59/1246.95 c 1246s | 24 | 5083736 | 4735962 | 2381 4271 | 23 | 17 1248.59/1248.96 c 1248s | 24 | 5091467 | 4743462 | 2381 4277 | 23 | 17 1250.59/1250.96 c 1250s | 24 | 5098822 | 4750562 | 2381 4282 | 23 | 17 1252.59/1252.98 c 1252s | 24 | 5106498 | 4758062 | 2381 4287 | 23 | 17 1254.59/1254.99 c 1254s | 24 | 5114248 | 4765662 | 2381 4293 | 23 | 17 1256.68/1257.00 c 1256s | 24 | 5121934 | 4773062 | 2381 4299 | 23 | 17 1258.68/1259.01 c 1258s | 24 | 5129440 | 4780362 | 2381 4304 | 23 | 17 1260.68/1261.01 c 1260s | 24 | 5136483 | 4787162 | 2381 4309 | 23 | 17 1262.68/1263.02 c 1262s | 24 | 5143801 | 4794362 | 2381 4314 | 23 | 17 1264.69/1265.05 c 1264s | 24 | 5150922 | 4801362 | 2381 4320 | 23 | 17 1266.68/1267.05 c 1266s | 24 | 5158140 | 4808462 | 2381 4325 | 23 | 17 1268.78/1269.10 c 1268s | 24 | 5165921 | 4816062 | 2381 4330 | 23 | 17 1270.77/1271.13 c 1270s | 24 | 5173992 | 4823962 | 2381 4336 | 23 | 17 1272.78/1273.14 c 1272s | 24 | 5181724 | 4831562 | 2381 4342 | 23 | 17 1274.78/1275.14 c 1274s | 24 | 5189350 | 4839062 | 2381 4348 | 23 | 17 1276.78/1277.18 c 1276s | 24 | 5197372 | 4846962 | 2381 4353 | 23 | 17 1278.88/1279.20 c 1278s | 24 | 5204927 | 4854362 | 2381 4359 | 23 | 17 1280.88/1281.21 c 1280s | 24 | 5212459 | 4861762 | 2381 4364 | 23 | 17 1282.88/1283.22 c 1282s | 24 | 5220699 | 4869762 | 2381 4370 | 23 | 17 1284.88/1285.22 c 1284s | 24 | 5228710 | 4877462 | 2381 4376 | 23 | 17 1286.87/1287.23 c 1286s | 24 | 5237241 | 4885662 | 2381 4382 | 23 | 17 1288.88/1289.24 c 1288s | 24 | 5245354 | 4893462 | 2381 4388 | 23 | 17 1290.87/1291.26 c 1290s | 24 | 5253422 | 4901262 | 2381 4394 | 23 | 17 1292.87/1293.27 c 1292s | 24 | 5261688 | 4909062 | 2381 4400 | 23 | 17 1294.87/1295.29 c 1295s | 24 | 5270322 | 4917362 | 2381 4406 | 23 | 17 1296.96/1297.30 c 1297s | 24 | 5278924 | 4925662 | 2381 4412 | 23 | 17 1298.96/1299.31 c 1299s | 24 | 5287620 | 4934162 | 2381 4418 | 23 | 17 1300.97/1301.32 c 1301s | 24 | 5296024 | 4942362 | 2381 4424 | 23 | 17 1302.96/1303.33 c 1303s | 24 | 5303847 | 4949962 | 2381 4430 | 23 | 17 1304.96/1305.33 c 1305s | 24 | 5311668 | 4957462 | 2381 4435 | 23 | 17 1306.96/1307.35 c 1307s | 24 | 5319078 | 4964662 | 2381 4441 | 23 | 17 1308.95/1309.35 c 1309s | 24 | 5326784 | 4972062 | 2381 4446 | 23 | 17 1310.96/1311.36 c 1311s | 24 | 5335339 | 4980362 | 2381 4452 | 23 | 17 1312.95/1313.38 c 1313s | 24 | 5343165 | 4987862 | 2381 4458 | 23 | 17 1314.95/1315.38 c 1315s | 24 | 5350308 | 4994862 | 2381 4463 | 23 | 17 1317.05/1317.41 c 1317s | 24 | 5358081 | 5002462 | 2381 4469 | 23 | 17 1319.05/1319.42 c 1319s | 24 | 5365455 | 5009662 | 2381 4474 | 23 | 17 1321.05/1321.42 c 1321s | 24 | 5372602 | 5016662 | 2381 4479 | 23 | 17 1323.06/1323.45 c 1323s | 24 | 5379690 | 5023562 | 2381 4485 | 23 | 17 1325.05/1325.46 c 1325s | 24 | 5386924 | 5030562 | 2620 4489 | 23 | 17 1327.05/1327.48 c 1327s | 24 | 5394565 | 5038062 | 2620 4495 | 23 | 17 1329.05/1329.49 c 1329s | 24 | 5402119 | 5045462 | 2620 4500 | 23 | 17 1331.06/1331.50 c 1331s | 24 | 5409146 | 5052362 | 2620 4504 | 23 | 17 1333.16/1333.51 c 1333s | 24 | 5416408 | 5059462 | 2620 4509 | 23 | 17 1334.76/1335.17 c 1334s | 25 | 5422180 | 5065098 | 2620 4513 | 23 | 17 1336.75/1337.19 c 1336s | 25 | 5429862 | 5072298 | 2620 4518 | 23 | 17 1338.85/1339.22 c 1338s | 25 | 5437576 | 5079798 | 2620 4523 | 23 | 17 1340.85/1341.23 c 1340s | 25 | 5445176 | 5087198 | 2620 4528 | 23 | 17 1342.86/1343.24 c 1342s | 25 | 5452428 | 5094298 | 2620 4533 | 23 | 17 1344.85/1345.26 c 1344s | 25 | 5460209 | 5101998 | 2620 4538 | 23 | 17 1346.84/1347.27 c 1346s | 25 | 5468005 | 5109698 | 2620 4543 | 23 | 17 1348.84/1349.28 c 1348s | 25 | 5475399 | 5116998 | 2620 4548 | 23 | 17 1350.84/1351.28 c 1350s | 25 | 5483185 | 5124698 | 2620 4554 | 23 | 17 1352.84/1353.28 c 1352s | 25 | 5491300 | 5132698 | 2620 4559 | 23 | 17 1354.85/1355.30 c 1355s | 25 | 5499127 | 5140398 | 2620 4564 | 23 | 17 1356.93/1357.30 c 1357s | 25 | 5507242 | 5148398 | 2620 4570 | 23 | 17 1358.93/1359.31 c 1359s | 25 | 5514943 | 5155998 | 2620 4575 | 23 | 17 1360.93/1361.33 c 1361s | 25 | 5523013 | 5163698 | 2620 4580 | 23 | 17 1362.93/1363.33 c 1363s | 25 | 5530892 | 5171298 | 2620 4585 | 23 | 17 1364.93/1365.34 c 1365s | 25 | 5538622 | 5178698 | 2620 4590 | 23 | 17 1366.94/1367.34 c 1367s | 25 | 5546441 | 5186198 | 2620 4596 | 23 | 17 1368.93/1369.37 c 1369s | 25 | 5554088 | 5193498 | 2620 4601 | 23 | 17 1371.04/1371.40 c 1371s | 25 | 5561645 | 5200798 | 2620 4606 | 23 | 17 1373.04/1373.42 c 1373s | 25 | 5569631 | 5208498 | 2620 4611 | 23 | 17 1375.03/1375.43 c 1375s | 25 | 5577323 | 5215998 | 2620 4616 | 23 | 17 1377.03/1377.44 c 1377s | 25 | 5585027 | 5223598 | 2620 4621 | 23 | 17 1379.04/1379.45 c 1379s | 25 | 5593341 | 5231598 | 2620 4627 | 23 | 17 1381.03/1381.46 c 1381s | 25 | 5601337 | 5239198 | 2620 4632 | 23 | 17 1383.03/1383.47 c 1383s | 25 | 5609706 | 5247098 | 2620 4637 | 23 | 17 1385.03/1385.48 c 1385s | 25 | 5618086 | 5255098 | 2620 4643 | 23 | 17 1387.13/1387.50 c 1387s | 25 | 5626550 | 5262898 | 2620 4648 | 23 | 17 1389.12/1389.50 c 1389s | 25 | 5634919 | 5270698 | 2620 4653 | 23 | 17 1391.13/1391.52 c 1391s | 25 | 5643775 | 5278798 | 2620 4659 | 23 | 17 1393.12/1393.54 c 1393s | 25 | 5651641 | 5286398 | 2620 4664 | 23 | 17 1395.12/1395.54 c 1395s | 25 | 5659520 | 5293798 | 2620 4669 | 23 | 17 1397.12/1397.57 c 1397s | 25 | 5667510 | 5301298 | 2620 4674 | 23 | 17 1399.12/1399.58 c 1399s | 25 | 5675618 | 5308698 | 2620 4679 | 23 | 17 1401.22/1401.60 c 1401s | 25 | 5683134 | 5315698 | 2620 4684 | 23 | 17 1403.22/1403.61 c 1403s | 25 | 5690388 | 5322298 | 2620 4688 | 23 | 17 1405.22/1405.62 c 1405s | 25 | 5698210 | 5329398 | 2620 4693 | 23 | 17 1407.22/1407.64 c 1407s | 25 | 5705683 | 5336198 | 2620 4698 | 23 | 17 1409.22/1409.64 c 1409s | 25 | 5713142 | 5343098 | 2620 4702 | 23 | 17 1411.22/1411.65 c 1411s | 25 | 5721028 | 5350498 | 2620 4708 | 23 | 17 1413.22/1413.66 c 1413s | 25 | 5728924 | 5357798 | 2620 4713 | 23 | 17 1415.21/1415.68 c 1415s | 25 | 5736776 | 5365198 | 2620 4718 | 23 | 17 1417.21/1417.69 c 1417s | 25 | 5744630 | 5372598 | 2620 4723 | 23 | 17 1419.31/1419.71 c 1419s | 25 | 5752697 | 5380198 | 2620 4728 | 23 | 17 1421.31/1421.72 c 1421s | 25 | 5761342 | 5388198 | 2620 4733 | 23 | 17 1423.31/1423.73 c 1423s | 25 | 5769796 | 5395998 | 2620 4739 | 23 | 17 1425.32/1425.74 c 1425s | 25 | 5777717 | 5403398 | 2620 4744 | 23 | 17 1427.31/1427.74 c 1427s | 25 | 5785154 | 5410098 | 2620 4748 | 23 | 17 1429.41/1429.84 c 1429s | 25 | 5792510 | 5416998 | 2620 4753 | 23 | 17 1431.41/1431.85 c 1431s | 25 | 5799967 | 5423998 | 2620 4758 | 23 | 17 1433.41/1433.87 c 1433s | 25 | 5808016 | 5431698 | 2620 4763 | 23 | 17 1435.40/1435.88 c 1435s | 25 | 5815449 | 5438698 | 2620 4768 | 23 | 17 1437.41/1437.88 c 1437s | 25 | 5823052 | 5445798 | 2620 4772 | 23 | 17 1439.40/1439.88 c 1439s | 25 | 5831754 | 5453598 | 2620 4778 | 23 | 17 1441.40/1441.89 c 1441s | 25 | 5840520 | 5461698 | 2620 4783 | 23 | 17 1443.50/1443.92 c 1443s | 25 | 5848679 | 5469398 | 2620 4789 | 23 | 17 1445.49/1445.95 c 1445s | 25 | 5856431 | 5476698 | 2620 4794 | 23 | 17 1447.49/1447.99 c 1447s | 25 | 5864284 | 5483998 | 2620 4799 | 23 | 17 1449.59/1450.01 c 1449s | 25 | 5872174 | 5491398 | 2620 4804 | 23 | 17 1451.60/1452.05 c 1451s | 25 | 5880089 | 5498698 | 2620 4809 | 23 | 17 1453.59/1454.06 c 1453s | 25 | 5887567 | 5505498 | 2620 4813 | 23 | 17 1455.59/1456.07 c 1455s | 25 | 5895431 | 5512698 | 2620 4818 | 23 | 17 1457.60/1458.08 c 1457s | 25 | 5903335 | 5519998 | 2620 4823 | 23 | 17 1459.70/1460.11 c 1459s | 25 | 5911037 | 5527398 | 2620 4828 | 23 | 17 1461.69/1462.13 c 1461s | 25 | 5918365 | 5534398 | 2620 4833 | 23 | 17 1463.70/1464.13 c 1463s | 25 | 5926659 | 5541998 | 2620 4838 | 23 | 17 1465.69/1466.16 c 1465s | 25 | 5935145 | 5549998 | 2620 4844 | 23 | 17 1467.69/1468.17 c 1467s | 25 | 5943056 | 5557398 | 2620 4849 | 23 | 17 1469.69/1470.17 c 1469s | 25 | 5950722 | 5564598 | 2620 4853 | 23 | 17 1471.69/1472.18 c 1471s | 25 | 5958324 | 5571798 | 2620 4858 | 23 | 17 1473.79/1474.21 c 1473s | 25 | 5965747 | 5578698 | 2620 4863 | 23 | 17 1475.79/1476.21 c 1475s | 25 | 5972846 | 5585398 | 2620 4868 | 23 | 17 1477.78/1478.22 c 1477s | 25 | 5980474 | 5592698 | 2620 4873 | 23 | 17 1479.78/1480.22 c 1479s | 25 | 5987850 | 5599698 | 2620 4877 | 23 | 17 1481.78/1482.23 c 1481s | 25 | 5995742 | 5606998 | 2620 4882 | 23 | 17 1483.78/1484.25 c 1483s | 25 | 6003496 | 5614298 | 2620 4887 | 23 | 17 1485.79/1486.25 c 1485s | 25 | 6011539 | 5621698 | 2620 4892 | 23 | 17 1487.78/1488.29 c 1488s | 25 | 6019605 | 5629198 | 2620 4898 | 23 | 17 1489.88/1490.35 c 1490s | 25 | 6027617 | 5636798 | 2620 4903 | 23 | 17 1491.88/1492.37 c 1492s | 25 | 6035373 | 5644298 | 2620 4908 | 23 | 17 1493.88/1494.38 c 1494s | 25 | 6042989 | 5651698 | 2620 4913 | 23 | 17 1495.88/1496.39 c 1496s | 25 | 6050172 | 5658398 | 2620 4917 | 23 | 17 1497.98/1498.40 c 1498s | 25 | 6057239 | 5665098 | 2620 4922 | 23 | 17 1499.99/1500.41 c 1500s | 25 | 6064969 | 5672298 | 2620 4927 | 23 | 17 1501.98/1502.42 c 1502s | 25 | 6072038 | 5678898 | 2620 4931 | 23 | 17 1503.98/1504.43 c 1504s | 25 | 6078940 | 5685498 | 2620 4936 | 23 | 17 1505.98/1506.44 c 1506s | 25 | 6086363 | 5692598 | 2620 4941 | 23 | 17 1507.98/1508.46 c 1508s | 25 | 6093496 | 5699298 | 2620 4945 | 23 | 17 1509.99/1510.47 c 1510s | 25 | 6100282 | 5705798 | 2620 4950 | 23 | 17 1511.98/1512.47 c 1512s | 25 | 6107912 | 5712998 | 2620 4955 | 23 | 17 1513.98/1514.49 c 1514s | 25 | 6115201 | 5719898 | 2620 4959 | 23 | 17 1515.98/1516.49 c 1516s | 25 | 6122784 | 5727098 | 2620 4964 | 23 | 17 1518.08/1518.51 c 1518s | 25 | 6130814 | 5734698 | 2620 4969 | 23 | 17 1520.08/1520.58 c 1520s | 25 | 6138680 | 5742098 | 2620 4974 | 23 | 17 1522.08/1522.59 c 1522s | 25 | 6146418 | 5749398 | 2620 4979 | 23 | 17 1524.18/1524.63 c 1524s | 25 | 6154417 | 5756898 | 2620 4985 | 23 | 17 1526.18/1526.65 c 1526s | 25 | 6161968 | 5763998 | 2620 4989 | 23 | 17 1528.18/1528.68 c 1528s | 25 | 6169858 | 5771398 | 2620 4994 | 23 | 17 1530.28/1530.71 c 1530s | 25 | 6177861 | 5778898 | 2620 5000 | 23 | 17 1532.28/1532.72 c 1532s | 25 | 6185357 | 5785998 | 2620 5004 | 23 | 17 1534.27/1534.72 c 1534s | 25 | 6192326 | 5792798 | 2620 5009 | 23 | 17 1536.28/1536.73 c 1536s | 25 | 6199402 | 5799698 | 2620 5014 | 23 | 17 1538.27/1538.76 c 1538s | 25 | 6206762 | 5806798 | 2620 5019 | 23 | 17 1540.27/1540.77 c 1540s | 25 | 6214780 | 5814098 | 2620 5024 | 23 | 17 1542.27/1542.77 c 1542s | 25 | 6222988 | 5821698 | 2620 5029 | 23 | 17 1544.27/1544.78 c 1544s | 25 | 6231265 | 5829398 | 2620 5034 | 23 | 17 1546.28/1546.80 c 1546s | 25 | 6239353 | 5836998 | 2620 5039 | 23 | 17 1548.27/1548.80 c 1548s | 25 | 6247811 | 5844998 | 2620 5045 | 23 | 17 1550.37/1550.81 c 1550s | 25 | 6255514 | 5852298 | 2620 5050 | 23 | 17 1552.37/1552.82 c 1552s | 25 | 6263188 | 5859598 | 2620 5055 | 23 | 17 1554.37/1554.83 c 1554s | 25 | 6270358 | 5866398 | 2620 5059 | 23 | 17 1556.38/1556.85 c 1556s | 25 | 6277149 | 5872998 | 2620 5064 | 23 | 17 1558.38/1558.88 c 1558s | 25 | 6284631 | 5880198 | 2620 5069 | 23 | 17 1560.37/1560.90 c 1560s | 25 | 6291697 | 5886998 | 2620 5073 | 23 | 17 1562.47/1562.91 c 1562s | 25 | 6299158 | 5894098 | 2620 5078 | 23 | 17 1564.47/1564.93 c 1564s | 25 | 6306668 | 5901298 | 2620 5083 | 23 | 17 1566.47/1566.95 c 1566s | 25 | 6314188 | 5908398 | 2620 5088 | 23 | 17 1568.47/1568.97 c 1568s | 25 | 6321356 | 5915098 | 2620 5092 | 23 | 17 1570.48/1570.98 c 1570s | 25 | 6328482 | 5921898 | 2620 5097 | 23 | 17 1572.58/1573.06 c 1572s | 25 | 6335695 | 5928798 | 2620 5102 | 23 | 17 1574.57/1575.07 c 1574s | 25 | 6343037 | 5935898 | 2620 5107 | 23 | 17 1576.57/1577.08 c 1576s | 25 | 6350501 | 5943198 | 2620 5112 | 23 | 17 1578.57/1579.09 c 1578s | 25 | 6358220 | 5950498 | 2620 5116 | 23 | 17 1580.67/1581.11 c 1580s | 25 | 6366040 | 5957998 | 2620 5122 | 23 | 17 1582.66/1583.13 c 1582s | 25 | 6373617 | 5965298 | 2620 5127 | 23 | 17 1584.67/1585.15 c 1584s | 25 | 6381348 | 5972698 | 2620 5132 | 23 | 17 1586.66/1587.16 c 1586s | 25 | 6389097 | 5980198 | 2620 5137 | 23 | 17 1588.66/1589.18 c 1588s | 25 | 6396423 | 5987198 | 2620 5141 | 23 | 17 1590.66/1591.20 c 1590s | 25 | 6404600 | 5994998 | 2620 5147 | 23 | 17 1592.76/1593.22 c 1592s | 25 | 6412121 | 6002298 | 2620 5152 | 23 | 17 1594.76/1595.22 c 1594s | 25 | 6419649 | 6009598 | 2620 5157 | 23 | 17 1596.78/1597.23 c 1596s | 25 | 6427292 | 6016898 | 2620 5162 | 23 | 17 1598.77/1599.25 c 1598s | 25 | 6434827 | 6023998 | 2620 5167 | 23 | 17 1600.77/1601.27 c 1600s | 25 | 6442748 | 6031498 | 2620 5172 | 23 | 17 1602.87/1603.30 c 1603s | 25 | 6450397 | 6038598 | 2620 5177 | 23 | 17 1604.87/1605.32 c 1605s | 25 | 6457778 | 6045498 | 2620 5181 | 23 | 17 1606.87/1607.33 c 1607s | 25 | 6465090 | 6052198 | 2620 5186 | 23 | 17 1608.87/1609.35 c 1609s | 25 | 6472726 | 6059598 | 2620 5191 | 23 | 17 1610.87/1611.36 c 1611s | 25 | 6480425 | 6067098 | 2620 5196 | 23 | 17 1612.87/1613.37 c 1613s | 25 | 6488260 | 6074698 | 2620 5201 | 23 | 17 1614.87/1615.37 c 1615s | 25 | 6495845 | 6081998 | 2620 5206 | 23 | 17 1616.87/1617.39 c 1617s | 25 | 6503339 | 6089098 | 2620 5211 | 23 | 17 1618.96/1619.40 c 1619s | 25 | 6511385 | 6096398 | 2620 5216 | 23 | 17 1620.97/1621.41 c 1621s | 25 | 6519141 | 6103398 | 2620 5221 | 23 | 17 1622.96/1623.43 c 1623s | 25 | 6526694 | 6110398 | 2620 5225 | 23 | 17 1624.96/1625.44 c 1625s | 25 | 6534339 | 6117698 | 2620 5230 | 23 | 17 1626.96/1627.44 c 1627s | 25 | 6541689 | 6124698 | 2620 5235 | 23 | 17 1628.96/1629.47 c 1629s | 25 | 6548723 | 6131498 | 2620 5240 | 23 | 17 1630.96/1631.48 c 1631s | 25 | 6556834 | 6138998 | 2620 5245 | 23 | 17 1632.96/1633.50 c 1633s | 25 | 6564518 | 6146098 | 2620 5250 | 23 | 17 1635.06/1635.51 c 1635s | 25 | 6571873 | 6152898 | 2620 5254 | 23 | 17 1637.06/1637.53 c 1637s | 25 | 6579093 | 6159398 | 2620 5259 | 23 | 17 1639.05/1639.55 c 1639s | 25 | 6586968 | 6166898 | 2620 5264 | 23 | 17 1641.05/1641.58 c 1641s | 25 | 6594694 | 6174298 | 2620 5269 | 23 | 17 1643.06/1643.59 c 1643s | 25 | 6601685 | 6180898 | 2620 5274 | 23 | 17 1645.05/1645.60 c 1645s | 25 | 6608786 | 6187498 | 2620 5278 | 23 | 17 1647.15/1647.61 c 1647s | 25 | 6615776 | 6194098 | 2620 5283 | 23 | 17 1649.15/1649.62 c 1649s | 25 | 6622909 | 6200798 | 2620 5287 | 23 | 17 1651.15/1651.63 c 1651s | 25 | 6629651 | 6207198 | 2620 5291 | 23 | 17 1653.15/1653.65 c 1653s | 25 | 6637277 | 6214398 | 2620 5296 | 23 | 17 1655.17/1655.67 c 1655s | 25 | 6644675 | 6221398 | 2620 5301 | 23 | 17 1657.16/1657.69 c 1657s | 25 | 6652090 | 6228498 | 2620 5306 | 23 | 17 1659.26/1659.70 c 1659s | 25 | 6659001 | 6234998 | 2620 5310 | 23 | 17 1661.26/1661.72 c 1661s | 25 | 6666015 | 6241698 | 2620 5315 | 23 | 17 1663.26/1663.72 c 1663s | 25 | 6674264 | 6249498 | 2620 5320 | 23 | 17 1665.26/1665.74 c 1665s | 25 | 6682625 | 6257198 | 2620 5326 | 23 | 17 1667.26/1667.77 c 1667s | 25 | 6689976 | 6264098 | 2620 5330 | 23 | 17 1669.26/1669.79 c 1669s | 25 | 6697053 | 6270598 | 2620 5335 | 23 | 17 1671.36/1671.81 c 1671s | 25 | 6704018 | 6277198 | 2620 5339 | 23 | 17 1673.35/1673.81 c 1673s | 25 | 6710610 | 6283598 | 2620 5344 | 23 | 17 1675.35/1675.82 c 1675s | 25 | 6717459 | 6290298 | 2620 5348 | 23 | 17 1677.35/1677.82 c 1677s | 25 | 6724557 | 6297198 | 2620 5353 | 23 | 17 1679.36/1679.85 c 1679s | 25 | 6731390 | 6303798 | 2620 5357 | 23 | 17 1681.35/1681.85 c 1681s | 25 | 6738354 | 6310498 | 2620 5362 | 23 | 17 1683.35/1683.86 c 1683s | 25 | 6745009 | 6316898 | 2620 5366 | 23 | 17 1685.35/1685.90 c 1685s | 25 | 6752800 | 6324398 | 2620 5371 | 23 | 17 1687.45/1687.90 c 1687s | 25 | 6760672 | 6331798 | 2620 5376 | 23 | 17 1689.45/1689.90 c 1689s | 25 | 6767656 | 6338498 | 2620 5381 | 23 | 17 1691.45/1691.92 c 1691s | 25 | 6775438 | 6346098 | 2620 5386 | 23 | 17 1693.45/1693.93 c 1693s | 25 | 6782168 | 6352498 | 2620 5391 | 23 | 17 1695.45/1695.95 c 1695s | 25 | 6789315 | 6359298 | 2620 5395 | 23 | 17 1697.45/1697.95 c 1697s | 25 | 6796363 | 6365998 | 2620 5400 | 23 | 17 1699.45/1699.98 c 1699s | 25 | 6803833 | 6373098 | 2620 5405 | 23 | 17 1701.55/1702.00 c 1701s | 25 | 6811094 | 6379998 | 2620 5409 | 23 | 17 1703.56/1704.01 c 1703s | 25 | 6818156 | 6386598 | 2620 5414 | 23 | 17 1705.55/1706.02 c 1705s | 25 | 6825310 | 6393398 | 2620 5418 | 23 | 17 1707.55/1708.03 c 1707s | 25 | 6832179 | 6399998 | 2620 5423 | 23 | 17 1709.55/1710.04 c 1709s | 25 | 6839061 | 6406498 | 2620 5427 | 23 | 17 1711.55/1712.05 c 1711s | 25 | 6845872 | 6412998 | 2620 5432 | 23 | 17 1713.55/1714.09 c 1713s | 25 | 6853205 | 6419898 | 2620 5437 | 23 | 17 1715.66/1716.11 c 1715s | 25 | 6861386 | 6427498 | 2620 5442 | 23 | 17 1717.65/1718.12 c 1717s | 25 | 6869158 | 6434798 | 2620 5447 | 23 | 17 1719.65/1720.14 c 1719s | 25 | 6877322 | 6442598 | 2620 5452 | 23 | 17 1721.65/1722.15 c 1721s | 25 | 6885110 | 6449998 | 2620 5457 | 23 | 17 1723.65/1724.15 c 1723s | 25 | 6892855 | 6457398 | 2620 5462 | 23 | 17 1725.64/1726.15 c 1725s | 25 | 6900655 | 6464798 | 2620 5467 | 23 | 17 1727.65/1728.17 c 1727s | 25 | 6909019 | 6472598 | 2620 5472 | 23 | 17 1729.64/1730.19 c 1729s | 25 | 6917386 | 6480298 | 2620 5478 | 23 | 17 1731.74/1732.21 c 1731s | 25 | 6925692 | 6487998 | 2620 5483 | 23 | 17 1733.74/1734.21 c 1733s | 25 | 6932683 | 6494698 | 2620 5488 | 23 | 17 1735.74/1736.23 c 1735s | 25 | 6939697 | 6501298 | 2620 5492 | 23 | 17 1737.74/1738.23 c 1737s | 25 | 6946483 | 6507598 | 2620 5496 | 23 | 17 1739.75/1740.23 c 1739s | 25 | 6953279 | 6513998 | 2620 5501 | 23 | 17 1741.74/1742.26 c 1741s | 25 | 6960076 | 6520298 | 2620 5505 | 23 | 17 1743.74/1744.28 c 1743s | 25 | 6966944 | 6526498 | 2620 5509 | 23 | 17 1745.84/1746.30 c 1746s | 25 | 6973762 | 6532798 | 2620 5514 | 23 | 17 1747.84/1748.32 c 1748s | 25 | 6980543 | 6539098 | 2620 5518 | 23 | 17 1749.85/1750.34 c 1750s | 25 | 6987087 | 6545398 | 2620 5522 | 23 | 17 1751.85/1752.35 c 1752s | 25 | 6994147 | 6552198 | 2620 5527 | 23 | 17 1753.84/1754.36 c 1754s | 25 | 7001854 | 6559298 | 2620 5532 | 23 | 17 1755.84/1756.39 c 1756s | 25 | 7009876 | 6566598 | 2620 5537 | 23 | 17 1757.94/1758.40 c 1758s | 25 | 7017471 | 6573798 | 2620 5541 | 23 | 17 1759.94/1760.43 c 1760s | 25 | 7024570 | 6580598 | 2620 5546 | 23 | 17 1761.94/1762.44 c 1762s | 25 | 7032143 | 6587498 | 2620 5551 | 23 | 17 1763.95/1764.45 c 1764s | 25 | 7039630 | 6594498 | 2620 5556 | 23 | 17 1765.94/1766.47 c 1766s | 25 | 7047756 | 6601998 | 2620 5561 | 23 | 17 1767.94/1768.47 c 1768s | 25 | 7055412 | 6609298 | 2620 5566 | 23 | 17 1770.04/1770.50 c 1770s | 25 | 7062832 | 6616198 | 2620 5570 | 23 | 17 1772.04/1772.51 c 1772s | 25 | 7070906 | 6623998 | 2620 5576 | 23 | 17 1774.04/1774.52 c 1774s | 25 | 7079052 | 6631798 | 2620 5581 | 23 | 17 1776.04/1776.55 c 1776s | 25 | 7087832 | 6639898 | 2620 5587 | 23 | 17 1778.04/1778.58 c 1778s | 25 | 7095810 | 6647498 | 2620 5592 | 23 | 17 1780.04/1780.59 c 1780s | 25 | 7103490 | 6654898 | 2620 5597 | 23 | 17 1782.14/1782.60 c 1782s | 25 | 7110723 | 6661898 | 2620 5602 | 23 | 17 1784.13/1784.64 c 1784s | 25 | 7117969 | 6668898 | 2620 5606 | 23 | 17 1786.13/1786.65 c 1786s | 25 | 7125424 | 6676098 | 2620 5611 | 23 | 17 1788.14/1788.67 c 1788s | 25 | 7133193 | 6683498 | 2620 5616 | 23 | 17 1790.13/1790.67 c 1790s | 25 | 7141063 | 6691198 | 2620 5621 | 23 | 17 1792.23/1792.70 c 1792s | 25 | 7148628 | 6698598 | 2620 5627 | 23 | 17 1794.23/1794.72 c 1794s | 25 | 7155895 | 6705698 | 2620 5631 | 23 | 17 1796.23/1796.75 c 1796s | 25 | 7163776 | 6713398 | 2620 5637 | 23 | 17 1798.23/1798.75 c 1798s | 25 | 7171445 | 6720698 | 2620 5642 | 23 | 17
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-4102017-1466229504/watcher-4102017-1466229504 -o /tmp/evaluation-result-4102017-1466229504/solver-4102017-1466229504 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102017-1466229504.opb pid=20904 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.83 1.97 1.99 3/179 20907 /proc/meminfo: memFree=30618348/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=719292 CPUtime=0 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 2678 0 0 0 0 0 0 0 20 0 4 0 25000340 736555008 3551 33554432000 4194304 16246674 140737405193072 140737405192496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 180591 3560 441 2943 0 177485 0 [pid=20907/tid=20908] ppid=20904 vsize=737724 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 755429376 3621 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=742844 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 760672256 3640 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=746940 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25000340 764866560 3658 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100166 s] /proc/loadavg: 1.83 1.97 1.99 3/179 20907 /proc/meminfo: memFree=30618348/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 23970 0 0 0 6 3 0 0 20 0 4 0 25000340 1247350784 24830 33554432000 4194304 16246674 140737405193072 140737405192496 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 304529 24846 785 2943 0 301423 0 [pid=20907/tid=20908] ppid=20904 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1247350784 24854 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1247350784 24861 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25000340 1247350784 24863 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200538 s] /proc/loadavg: 1.83 1.97 1.99 3/179 20907 /proc/meminfo: memFree=30618348/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 44944 0 0 0 13 6 0 0 20 0 4 0 25000340 1247350784 45804 33554432000 4194304 16246674 140737405193072 140737405192496 5831697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 304529 45809 785 2943 0 301423 0 [pid=20907/tid=20908] ppid=20904 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1247350784 45812 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1247350784 45814 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25000340 1247350784 45819 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300507 s] /proc/loadavg: 1.83 1.97 1.99 3/179 20907 /proc/meminfo: memFree=30618348/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 66686 0 0 0 20 9 0 0 20 0 4 0 25000340 1247350784 67545 33554432000 4194304 16246674 140737405193072 140737405176064 5600539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 304529 67550 787 2943 0 301423 0 [pid=20907/tid=20908] ppid=20904 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1247350784 67554 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1247350784 67561 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25000340 1247350784 67570 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700396 s] /proc/loadavg: 1.83 1.97 1.99 3/179 20907 /proc/meminfo: memFree=30618348/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 145321 0 0 0 49 20 0 0 20 0 4 0 25000340 1247350784 146180 33554432000 4194304 16246674 140737405193072 140737405176064 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 304529 146185 788 2943 0 301423 0 [pid=20907/tid=20908] ppid=20904 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1247350784 146192 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1247350784 146201 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25000340 1247350784 146209 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 1.83 1.97 1.99 3/183 20911 /proc/meminfo: memFree=29708408/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1220164 CPUtime=1.49 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 245990 0 0 0 115 34 0 0 20 0 4 0 25000340 1249447936 246827 33554432000 4194304 16246674 140737405193072 140737405174976 5712482 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 305041 246827 846 2943 0 301935 0 [pid=20907/tid=20908] ppid=20904 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1249447936 246827 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1249447936 246827 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1249447936 246827 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.10038 s] /proc/loadavg: 1.84 1.97 1.99 3/183 20911 /proc/meminfo: memFree=29544844/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 267375 0 0 0 272 37 0 0 20 0 4 0 25000340 1337528320 268212 33554432000 4194304 16246674 140737405193072 140737405176072 6010629 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 326545 268212 846 2943 0 323439 0 [pid=20907/tid=20908] ppid=20904 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1337528320 268212 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1337528320 268212 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1337528320 268212 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30042 s] /proc/loadavg: 1.84 1.97 1.99 3/183 20911 /proc/meminfo: memFree=29541412/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 267874 0 0 0 592 37 0 0 20 0 4 0 25000340 1338576896 268711 33554432000 4194304 16246674 140737405193072 140737405174976 6861704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 326801 268711 848 2943 0 323695 0 [pid=20907/tid=20908] ppid=20904 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1338576896 268711 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1338576896 268711 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1338576896 268711 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 1.87 1.97 1.99 3/183 20911 /proc/meminfo: memFree=29537400/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1312324 CPUtime=12.69 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 269170 0 0 0 1232 37 0 0 20 0 4 0 25000340 1343819776 270007 33554432000 4194304 16246674 140737405193072 140737405174976 12477712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 328081 270007 849 2943 0 324975 0 [pid=20907/tid=20908] ppid=20904 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1343819776 270007 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1343819776 270007 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1343819776 270007 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1312324 [startup+25.5005 s] /proc/loadavg: 1.89 1.97 1.99 3/183 20911 /proc/meminfo: memFree=29533544/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1318468 CPUtime=25.48 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 270706 0 0 0 2511 37 0 0 20 0 4 0 25000340 1350111232 271543 33554432000 4194304 16246674 140737405193072 140737405174976 6027137 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 329617 271543 849 2943 0 326511 0 [pid=20907/tid=20908] ppid=20904 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1350111232 271543 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1350111232 271543 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1350111232 271543 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1318468 [startup+51.1005 s] /proc/loadavg: 1.92 1.97 1.99 3/183 20912 /proc/meminfo: memFree=29533768/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1318468 CPUtime=51.09 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 270706 0 0 0 5071 38 0 0 20 0 4 0 25000340 1350111232 271543 33554432000 4194304 16246674 140737405193072 140737405174976 5546872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 329617 271543 849 2943 0 326511 0 [pid=20907/tid=20908] ppid=20904 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1350111232 271543 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1350111232 271543 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1350111232 271543 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1318468 [startup+102.301 s] /proc/loadavg: 2.01 1.99 1.99 3/184 20916 /proc/meminfo: memFree=29533028/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1318468 CPUtime=102.28 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 270706 0 0 0 10190 38 0 0 20 0 4 0 25000340 1350111232 271543 33554432000 4194304 16246674 140737405193072 140737405174976 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 329617 271543 849 2943 0 326511 0 [pid=20907/tid=20908] ppid=20904 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1350111232 271543 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1350111232 271543 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1350111232 271543 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1318468 ################ # More data... # ################ /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274107 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1328708 [startup+1362.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 20970 /proc/meminfo: memFree=29480324/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1328708 CPUtime=1361.93 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 273567 0 0 0 136132 61 0 0 20 0 4 0 25000340 1360596992 274107 33554432000 4194304 16246674 140737405193072 140737405176072 6023195 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 332177 274107 850 2943 0 329071 0 [pid=20907/tid=20908] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274107 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274107 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274107 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1328708 [startup+1422.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 20971 /proc/meminfo: memFree=29479604/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1328708 CPUtime=1421.92 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 273606 0 0 0 142129 63 0 0 20 0 4 0 25000340 1360596992 274107 33554432000 4194304 16246674 140737405193072 140737405174976 5822671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 332177 274107 850 2943 0 329071 0 [pid=20907/tid=20908] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274107 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274107 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274107 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1328708 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 20972 /proc/meminfo: memFree=29479016/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1328708 CPUtime=1481.88 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 273646 0 0 0 148124 64 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140737405174976 5712144 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 332177 274108 850 2943 0 329071 0 [pid=20907/tid=20908] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1328708 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.00 3/183 20973 /proc/meminfo: memFree=29479108/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1328708 CPUtime=1541.88 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 273651 0 0 0 154123 65 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140737405174976 5861257 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 332177 274108 850 2943 0 329071 0 [pid=20907/tid=20908] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1328708 [startup+1602.3 s] /proc/loadavg: 2.11 2.04 2.01 3/183 20975 /proc/meminfo: memFree=29468816/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1328708 CPUtime=1601.87 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 273651 0 0 0 160120 67 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140737405174976 5711952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 332177 274108 850 2943 0 329071 0 [pid=20907/tid=20908] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1328708 [startup+1662.3 s] /proc/loadavg: 2.07 2.04 2.01 3/183 20976 /proc/meminfo: memFree=29438684/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1328708 CPUtime=1661.86 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 273651 0 0 0 166118 68 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140737405176072 13954525 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 332177 274108 850 2943 0 329071 0 [pid=20907/tid=20908] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1328708 [startup+1722.3 s] /proc/loadavg: 2.08 2.05 2.01 3/183 20977 /proc/meminfo: memFree=29438556/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1328708 CPUtime=1721.85 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 273651 0 0 0 172116 69 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140737405176072 13759480 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 332177 274108 850 2943 0 329071 0 [pid=20907/tid=20908] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1328708 [startup+1782.3 s] /proc/loadavg: 2.03 2.03 2.00 3/183 20978 /proc/meminfo: memFree=29438684/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1328708 CPUtime=1781.84 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 273651 0 0 0 178114 70 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140737405174976 6021376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 332177 274108 850 2943 0 329071 0 [pid=20907/tid=20908] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1328708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.02 2.03 2.00 4/183 21027 /proc/meminfo: memFree=30504408/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1328708 CPUtime=1800.03 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 273651 0 0 0 179933 70 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140737405174976 12483362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 332177 274108 850 2943 0 329071 0 [pid=20907/tid=20908] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1328708 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 20907 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.02 2.03 2.00 4/183 21027 /proc/meminfo: memFree=30504408/32872528 swapFree=163656/177964 [pid=20907] ppid=20904 vsize=1328708 CPUtime=1800.03 cores=1,3,5,7 /proc/20907/stat : 20907 (toysat) R 20904 20907 20760 0 -1 4202496 273651 0 0 0 179933 70 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140737405174976 12483362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20907/statm: 332177 274108 850 2943 0 329071 0 [pid=20907/tid=20908] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20908/stat : 20908 (toysat) S 20904 20907 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046824877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20907/tid=20909] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20909/stat : 20909 (toysat) S 20904 20907 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046736796912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20907/tid=20910] ppid=20904 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/20907/task/20910/stat : 20910 (toysat) S 20904 20907 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25000340 1360596992 274108 33554432000 4194304 16246674 140737405193072 140046726323376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1328708 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.34 CPU system time (s): 0.708892 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 1328708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.34 system time used= 0.708892 maximum resident set size= 1096432 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273651 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= 398 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.84726 second user time and 7.00493 second system time The end
Begin job on node105 at 2016-06-18 07:58:24 IDJOB=4102017 IDBENCH=1866 IDSOLVER=2542 FILE ID=node105/4102017-1466229504 RUNJOBID= node105-1466229502-20777 PBS_JOBID= 19918174 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102017-1466229504/watcher-4102017-1466229504 -o /tmp/evaluation-result-4102017-1466229504/solver-4102017-1466229504 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102017-1466229504.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 38a2c469f9dc1120b8fe634a693ac03d RANDOM SEED=1643698364 node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30618768 kB Buffers: 97308 kB Cached: 168404 kB SwapCached: 1764 kB Active: 1179404 kB Inactive: 157024 kB Active(anon): 1071508 kB Inactive(anon): 1440 kB Active(file): 107896 kB Inactive(file): 155584 kB Unevictable: 177964 kB Mlocked: 163656 kB SwapTotal: 67108856 kB SwapFree: 67097160 kB Dirty: 33204 kB Writeback: 0 kB AnonPages: 1247924 kB Mapped: 10604 kB Shmem: 0 kB Slab: 604240 kB SReclaimable: 47140 kB SUnreclaim: 557100 kB KernelStack: 1480 kB PageTables: 6604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1394172 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 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 node105 at 2016-06-18 08:28:25