| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=47-P1=211-P2=233-P3=173-P4=181-P5=71-B.opb |
| MD5SUM | 66c115908fb4694df4d314e4daf7ce17 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.084986 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 120 |
| Total number of constraints | 11 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 11 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 320 |
| Sum of products size (including duplicates) | 640 |
| Number of different products | 320 |
| Sum of products size | 640 |
0.00/0.00 c 2016-06-18T18:25:16+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-4106184-1466267116.opb"] 0.00/0.01 c use --random-gen="3150886410 3602154904 42368284 3645002062 3043707343 3996923321 1911503489 242657809 3848202975 2857373185 301779851 2893988632 50038193 3470021250 870478093 3341823974 1517206238 3876190575 916205125 99428562 527087101 1200501937 3150641547 333789896 4130747220 2345535323 3092604497 354597466 2270599517 1794677414 88289192 2019912465 102047786 1309341679 3838870582 1468283708 447625755 3633029970 1949439499 1393302922 788395462 344934943 3410250154 4047831831 1070218077 1648350698 963140976 2703905657 830807706 1961255360 3560119455 2240885886 2650926219 3982023762 1218054786 759383558 4171732961 4014007374 4181294908 1563162357 3779422388 3152111264 4009058380 3766309607 147819054 2870281482 4065517430 3920635448 2215294540 2101027655 3962907065 3543745280 1390074662 2129562245 1679156629 1190923394 2689032013 3395278928 3350758781 3826474684 1532991428 3336510936 1699993646 2389314831 3218498430 1393833523 2525841657 866312653 495629145 1408491825 1571469036 197178035 605363717 1903504418 3482544057 3550862331 2097981638 3709893766 1940010390 1332210250 3831147563 2512651488 2199811140 3920378656 2435979542 3626122380 2236853492 51346644 1646197165 1659437124 2290169183 725119191 2276877951 2389072835 1997445224 1688293688 3922610715 2199811812 3266638129 3401250230 4279997714 4049523796 1542882844 1736131033 1812429254 3947252325 58205126 3319694361 2845045078 2348659525 3642306167 3995875993 2254683291 4249476472 2402081034 1949120218 46459063 3720856874 2945700194 3198931029 1857486039 580017996 748726145 745964375 3231101741 3337965885 4002896262 3460148826 2421553039 2455281299 1362283249 2167570511 2271964095 3541212878 1231873584 354771831 3468859331 2773887926 2683752651 1675357472 3394357468 1790598032 2893024717 2779359847 1492818919 2250030626 2207607668 1193356257 2813728260 1219893166 3241743274 480132332 3144409904 3394704371 733159714 4283677042 2092826650 1797420172 3182818753 529847614 2022961232 1034136705 437855166 2438718750 1109532392 2187072541 1257755943 1317738978 2503632092 3501660453 1706835470 4182989353 2749829715 2923906051 2639951109 1132675351 2716189724 1007359474 2895333498 41662212 337106093 3537418762 2898209693 1066145275 1120924285 2521211875 3616598470 349511675 2153396694 4116728973 3470144168 1441285101 3775652788 788534620 3686043604 2288590502 629548590 793321807 2452539246 1018630378 2660875076 226508403 2771291392 1569853417 2037349133 1567182130 566592659 252540031 2812755133 2536725607 3428081745 2858328401 2638169750 3761359909 2799525094 3871907322 2491084728 2546345972 2454557511 1870562531 3121724438 1897019550 3088843995 4267883802 3952509690 2950119120 3880016701 2459252418 366398961 2907107970 1545829018 1479036198 2977600447 4071298536 2883595021 3930671153 255 362436" option to reproduce the execution 0.00/0.01 c #vars 120 0.00/0.01 c #constraints 11 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 472 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 133 | 100 | 472 0 | 0 | 0 0.09/0.10 c 0.1s | 2 | 369 | 250 | 520 0 | 0 | 0 0.19/0.25 c 0.2s | 3 | 692 | 475 | 572 0 | 0 | 0 0.28/0.36 c 0.3s | 4 | 1179 | 813 | 630 0 | 0 | 0 0.49/0.51 c 0.5s | 4 | 1765 | 1311 | 693 1 | 0 | 0 0.49/0.51 c #cpu_time = 0.494s 0.49/0.51 c #wall_clock_time = 0.495s 0.49/0.51 c #decision = 1765 0.49/0.51 c #random_decision = 9 0.49/0.51 c #conflict = 1311 0.49/0.51 c #restart = 4 0.49/0.51 o 213 0.49/0.51 c BCD2: updating upper bound: 255 -> 212 0.49/0.51 c BCD2: 0 <= obj <= 212 0.49/0.51 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0 0.49/0.51 c BCD2: #sat=1 #unsat=1 bias=1/2 0.49/0.51 c Solving starts ... 0.49/0.51 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 693 0 | 0 | 0 0.49/0.52 c 0.0s | 0 | 6 | 0 | 693 1 | 0 | 0 0.49/0.52 c #cpu_time = 0.009s 0.49/0.52 c #wall_clock_time = 0.009s 0.49/0.52 c #decision = 6 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 7: cost of the new core is >=2 0.49/0.52 c lower bound updated to 2 0.49/0.52 c BCD2: 2 <= obj <= 212 0.49/0.52 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=2 bias=2/3 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.53 c 0.0s | 0 | 0 | 0 | 693 0 | 0 | 0 0.58/0.64 c 0.1s | 1 | 241 | 100 | 763 0 | 0 | 0 0.69/0.70 c 0.2s | 2 | 466 | 250 | 763 0 | 0 | 0 0.69/0.76 c 0.2s | 3 | 729 | 475 | 763 0 | 0 | 0 0.89/0.91 c 0.4s | 4 | 1114 | 813 | 840 1 | 0 | 0 0.99/1.02 c 0.5s | 5 | 1679 | 1320 | 840 2 | 0 | 0 1.20/1.28 c 0.8s | 6 | 2740 | 2081 | 925 3 | 0 | 0 1.39/1.48 c 1.0s | 7 | 3949 | 3223 | 925 6 | 0 | 0 1.79/1.81 c 1.3s | 8 | 5730 | 4936 | 1018 9 | 0 | 0 2.30/2.34 c 1.8s | 9 | 8589 | 7506 | 1120 12 | 0 | 0 2.99/3.09 c 2.6s | 10 | 12500 | 11361 | 1232 18 | 0 | 0 4.59/4.67 c 4.1s | 11 | 18666 | 17144 | 1356 25 | 0 | 0 6.59/6.69 c 6.2s | 11 | 26000 | 24044 | 1356 33 | 0 | 0 7.19/7.21 c 6.7s | 12 | 27865 | 25819 | 1492 35 | 0 | 0 9.18/9.23 c 8.7s | 12 | 36734 | 34319 | 1492 44 | 0 | 0 10.28/10.39 c 9.9s | 13 | 41510 | 38832 | 1642 49 | 0 | 0 12.38/12.41 c 11.9s | 13 | 51195 | 48232 | 1642 58 | 0 | 0 14.39/14.42 c 13.9s | 13 | 60352 | 57232 | 1807 67 | 0 | 0 14.58/14.66 c 14.1s | 14 | 61519 | 58352 | 1807 68 | 0 | 0 16.59/16.67 c 16.1s | 14 | 66867 | 63252 | 1807 73 | 0 | 0 18.58/18.68 c 18.2s | 14 | 72448 | 68352 | 1807 78 | 0 | 0 20.58/20.69 c 20.2s | 14 | 80033 | 75552 | 1807 84 | 0 | 0 22.68/22.71 c 22.2s | 14 | 86431 | 81352 | 1807 90 | 0 | 0 24.68/24.74 c 24.2s | 14 | 92858 | 87352 | 1988 95 | 0 | 0 24.88/24.90 c 24.4s | 15 | 93164 | 87632 | 1988 95 | 0 | 0 26.88/26.92 c 26.4s | 15 | 102864 | 96932 | 1988 103 | 0 | 0 28.88/28.94 c 28.4s | 15 | 112078 | 105932 | 1988 112 | 0 | 0 30.88/30.97 c 30.4s | 15 | 121172 | 114732 | 1988 119 | 0 | 0 32.88/32.98 c 32.5s | 15 | 130219 | 123432 | 1988 127 | 0 | 0 34.97/35.00 c 34.5s | 15 | 138761 | 131532 | 2187 134 | 0 | 0 34.97/35.01 c 34.5s | 16 | 138780 | 131552 | 2187 134 | 0 | 0 36.97/37.02 c 36.5s | 16 | 146264 | 138752 | 2187 140 | 0 | 0 38.97/39.03 c 38.5s | 16 | 153732 | 145952 | 2187 146 | 0 | 0 40.97/41.04 c 40.5s | 16 | 160120 | 152152 | 2187 151 | 0 | 0 42.98/43.05 c 42.5s | 16 | 166301 | 158152 | 2187 155 | 0 | 0 44.98/45.08 c 44.6s | 16 | 171513 | 163052 | 2187 159 | 0 | 0 47.08/47.11 c 46.6s | 16 | 178868 | 170152 | 2187 165 | 0 | 0 49.08/49.11 c 48.6s | 16 | 186250 | 177252 | 2187 171 | 0 | 0 51.08/51.14 c 50.6s | 16 | 194886 | 185652 | 2187 178 | 0 | 0 53.08/53.14 c 52.6s | 16 | 201457 | 191852 | 2187 183 | 0 | 0 54.78/54.87 c 54.3s | 17 | 207287 | 197432 | 2406 187 | 0 | 0 56.78/56.87 c 56.3s | 17 | 216305 | 206132 | 2406 193 | 0 | 0 58.88/58.90 c 58.4s | 17 | 224575 | 214332 | 2406 199 | 0 | 0 60.88/60.92 c 60.4s | 17 | 232475 | 221932 | 2406 205 | 0 | 0 62.88/62.94 c 62.4s | 17 | 239324 | 228632 | 2406 210 | 0 | 0 64.88/64.97 c 64.4s | 17 | 245819 | 234832 | 2406 214 | 0 | 0 66.87/66.99 c 66.5s | 17 | 252466 | 241132 | 2406 219 | 0 | 0 68.97/69.01 c 68.5s | 17 | 259324 | 247732 | 2406 223 | 0 | 0 70.97/71.01 c 70.5s | 17 | 266422 | 254232 | 2406 228 | 0 | 0 72.97/73.05 c 72.5s | 17 | 273139 | 260532 | 2406 233 | 0 | 0 74.97/75.06 c 74.5s | 17 | 279754 | 266632 | 2406 237 | 0 | 0 77.08/77.11 c 76.6s | 17 | 285146 | 271532 | 2406 241 | 0 | 0 79.07/79.11 c 78.6s | 17 | 291525 | 277732 | 2406 245 | 0 | 0 81.07/81.14 c 80.6s | 17 | 297686 | 283732 | 2406 250 | 0 | 0 83.07/83.16 c 82.6s | 17 | 304861 | 290732 | 2406 255 | 0 | 0 84.78/84.86 c 84.3s | 18 | 310606 | 296252 | 2647 258 | 0 | 0 86.77/86.87 c 86.3s | 18 | 318744 | 304152 | 2647 264 | 0 | 0 88.77/88.89 c 88.4s | 18 | 325856 | 311052 | 2647 269 | 0 | 0 90.87/90.91 c 90.4s | 18 | 332975 | 317952 | 2647 273 | 0 | 0 92.87/92.92 c 92.4s | 18 | 339751 | 324552 | 2647 278 | 0 | 0 94.87/94.96 c 94.4s | 18 | 348086 | 332752 | 2647 284 | 0 | 0 96.87/96.98 c 96.5s | 18 | 356360 | 340852 | 2647 289 | 0 | 0 98.87/98.98 c 98.5s | 18 | 364224 | 348552 | 2647 294 | 0 | 0 100.87/100.99 c 100s | 18 | 371976 | 356152 | 2647 300 | 0 | 0 102.87/102.99 c 102s | 18 | 379362 | 363452 | 2647 305 | 0 | 0 104.97/105.02 c 104s | 18 | 386528 | 370452 | 2647 310 | 0 | 0 106.96/107.04 c 106s | 18 | 394572 | 378252 | 2647 315 | 0 | 0 108.97/109.07 c 108s | 18 | 401877 | 385452 | 2647 320 | 0 | 0 110.96/111.08 c 110s | 18 | 409465 | 392852 | 2647 325 | 0 | 0 112.96/113.09 c 112s | 18 | 417978 | 401152 | 2647 331 | 0 | 0 115.06/115.11 c 114s | 18 | 426021 | 408852 | 2647 336 | 0 | 0 117.06/117.12 c 116s | 18 | 433896 | 416552 | 2647 341 | 0 | 0 119.06/119.14 c 118s | 18 | 441553 | 424052 | 2647 346 | 0 | 0 121.07/121.14 c 120s | 18 | 449462 | 431752 | 2647 352 | 0 | 0 123.06/123.16 c 122s | 18 | 457116 | 439152 | 2647 357 | 0 | 0 124.67/124.78 c 124s | 19 | 462532 | 444482 | 2912 360 | 0 | 0 126.67/126.78 c 126s | 19 | 469741 | 451082 | 2912 364 | 0 | 0 128.78/128.82 c 128s | 19 | 476559 | 456982 | 2912 368 | 0 | 0 130.77/130.83 c 130s | 19 | 482187 | 462182 | 2912 371 | 0 | 0 132.77/132.87 c 132s | 19 | 488632 | 468282 | 2912 375 | 0 | 0 134.77/134.87 c 134s | 19 | 494692 | 473982 | 2912 378 | 0 | 0 136.77/136.87 c 136s | 19 | 501281 | 479982 | 2912 382 | 0 | 0 138.77/138.89 c 138s | 19 | 507329 | 485382 | 2912 385 | 0 | 0 140.77/140.90 c 140s | 19 | 513850 | 490982 | 2912 389 | 0 | 0 142.86/142.95 c 142s | 19 | 520255 | 496582 | 2912 392 | 0 | 0 144.86/144.97 c 144s | 19 | 525990 | 501582 | 2912 395 | 0 | 0 146.86/146.98 c 146s | 19 | 530796 | 506082 | 2912 398 | 0 | 0 148.96/149.01 c 148s | 19 | 536015 | 510882 | 2912 401 | 0 | 0 150.96/151.01 c 150s | 19 | 543148 | 517482 | 2912 405 | 0 | 0 152.97/153.03 c 152s | 19 | 550147 | 524082 | 2912 409 | 0 | 0 154.96/155.04 c 154s | 19 | 557128 | 530882 | 2912 413 | 0 | 0 156.96/157.05 c 156s | 19 | 564279 | 537482 | 2912 417 | 0 | 0 158.96/159.07 c 158s | 19 | 571458 | 544382 | 2912 422 | 0 | 0 161.06/161.10 c 160s | 19 | 578547 | 551182 | 2912 426 | 0 | 0 163.06/163.12 c 162s | 19 | 585429 | 557782 | 2912 430 | 0 | 0 165.07/165.17 c 164s | 19 | 591927 | 563782 | 2912 434 | 0 | 0 167.06/167.19 c 166s | 19 | 598932 | 570382 | 2912 438 | 0 | 0 169.16/169.21 c 168s | 19 | 606038 | 577282 | 2912 442 | 0 | 0 171.16/171.26 c 170s | 19 | 611853 | 582482 | 2912 445 | 0 | 0 173.16/173.26 c 172s | 19 | 618199 | 588382 | 2912 449 | 0 | 0 175.16/175.26 c 174s | 19 | 625423 | 595182 | 2912 453 | 0 | 0 177.17/177.26 c 176s | 19 | 633264 | 602782 | 2912 457 | 0 | 0 179.16/179.26 c 178s | 19 | 640971 | 609782 | 2912 462 | 0 | 0 181.16/181.29 c 180s | 19 | 648148 | 616682 | 2912 466 | 0 | 0 183.26/183.32 c 182s | 19 | 655436 | 623682 | 2912 470 | 0 | 0 185.26/185.34 c 184s | 19 | 662210 | 630182 | 2912 474 | 0 | 0 187.26/187.36 c 186s | 19 | 669396 | 636982 | 2912 478 | 0 | 0 189.26/189.36 c 188s | 19 | 675900 | 643282 | 2912 482 | 0 | 0 191.26/191.36 c 190s | 19 | 682642 | 649582 | 2912 486 | 0 | 0 193.26/193.37 c 192s | 19 | 690330 | 656982 | 2912 491 | 0 | 0 195.26/195.39 c 194s | 19 | 697619 | 664082 | 3204 495 | 0 | 0 196.16/196.20 c 195s | 20 | 700471 | 666827 | 3204 496 | 0 | 0 198.15/198.23 c 197s | 20 | 708486 | 674527 | 3204 501 | 0 | 0 200.16/200.26 c 199s | 20 | 714551 | 680227 | 3204 504 | 0 | 0 202.15/202.28 c 201s | 20 | 720316 | 685727 | 3204 507 | 0 | 0 204.25/204.31 c 203s | 20 | 726941 | 692127 | 3204 511 | 0 | 0 206.25/206.31 c 205s | 20 | 733740 | 698527 | 3204 514 | 0 | 0 208.25/208.32 c 207s | 20 | 740033 | 704627 | 3204 518 | 0 | 0 210.25/210.35 c 209s | 20 | 747012 | 711127 | 3204 521 | 0 | 0 212.26/212.35 c 211s | 20 | 753655 | 717327 | 3204 525 | 0 | 0 214.25/214.35 c 213s | 20 | 760874 | 724127 | 3204 529 | 0 | 0 216.25/216.37 c 215s | 20 | 767669 | 730427 | 3204 532 | 0 | 0 218.35/218.40 c 217s | 20 | 774501 | 736827 | 3204 536 | 0 | 0 220.35/220.41 c 219s | 20 | 781098 | 743227 | 3204 539 | 0 | 0 222.35/222.42 c 221s | 20 | 787836 | 749627 | 3204 543 | 0 | 0 224.35/224.43 c 223s | 20 | 794914 | 756327 | 3204 547 | 0 | 0 226.34/226.45 c 225s | 20 | 801997 | 763127 | 3204 551 | 0 | 0 228.34/228.47 c 227s | 20 | 808716 | 769627 | 3204 554 | 0 | 0 230.34/230.49 c 229s | 20 | 816025 | 776827 | 3204 558 | 0 | 0 232.44/232.51 c 231s | 20 | 823054 | 783727 | 3204 562 | 0 | 0 234.44/234.53 c 234s | 20 | 830463 | 791027 | 3204 566 | 0 | 0 236.44/236.53 c 236s | 20 | 836840 | 797227 | 3204 570 | 0 | 0 238.44/238.54 c 238s | 20 | 843643 | 803727 | 3204 574 | 0 | 0 240.44/240.56 c 240s | 20 | 850295 | 810227 | 3204 577 | 0 | 0 242.44/242.57 c 242s | 20 | 855938 | 815727 | 3204 580 | 0 | 0 244.43/244.59 c 244s | 20 | 862318 | 821827 | 3204 584 | 0 | 0 246.53/246.62 c 246s | 20 | 868949 | 828327 | 3204 587 | 0 | 0 248.54/248.63 c 248s | 20 | 875832 | 834627 | 3204 591 | 0 | 0 250.53/250.65 c 250s | 20 | 882610 | 841227 | 3204 595 | 0 | 0 252.53/252.66 c 252s | 20 | 889388 | 847727 | 3204 598 | 0 | 0 254.52/254.68 c 254s | 20 | 896072 | 854127 | 3204 602 | 0 | 0 256.52/256.69 c 256s | 20 | 902678 | 860327 | 3204 605 | 0 | 0 258.62/258.72 c 258s | 20 | 909585 | 866827 | 3204 609 | 0 | 0 260.63/260.73 c 260s | 20 | 916331 | 873327 | 3204 613 | 0 | 0 262.62/262.73 c 262s | 20 | 922973 | 879527 | 3204 616 | 0 | 0 264.62/264.75 c 264s | 20 | 930055 | 886227 | 3204 620 | 0 | 0 266.62/266.76 c 266s | 20 | 937044 | 892827 | 3204 624 | 0 | 0 268.62/268.79 c 268s | 20 | 943981 | 899227 | 3204 627 | 0 | 0 270.72/270.82 c 270s | 20 | 951066 | 906027 | 3204 631 | 0 | 0 272.74/272.82 c 272s | 20 | 957792 | 912327 | 3204 635 | 0 | 0 274.72/274.85 c 274s | 20 | 964137 | 918527 | 3204 638 | 0 | 0 276.72/276.87 c 276s | 20 | 970243 | 924227 | 3204 642 | 0 | 0 278.82/278.90 c 278s | 20 | 976353 | 930127 | 3204 645 | 0 | 0 280.82/280.90 c 280s | 20 | 982543 | 935927 | 3204 648 | 0 | 0 282.82/282.91 c 282s | 20 | 989122 | 942127 | 3204 652 | 0 | 0 284.83/284.93 c 284s | 20 | 995611 | 948327 | 3204 655 | 0 | 0 286.82/286.95 c 286s | 20 | 1002132 | 954627 | 3204 659 | 0 | 0 288.82/288.96 c 288s | 20 | 1009374 | 961427 | 3204 663 | 0 | 0 290.82/290.97 c 290s | 20 | 1015947 | 967627 | 3204 666 | 0 | 0 292.92/293.00 c 292s | 20 | 1022371 | 973727 | 3204 670 | 0 | 0 294.91/295.00 c 294s | 20 | 1028861 | 979927 | 3204 673 | 0 | 0 296.92/297.01 c 296s | 20 | 1035383 | 986227 | 3204 677 | 0 | 0 298.91/299.01 c 298s | 20 | 1042096 | 992727 | 3525 680 | 0 | 0 300.91/301.04 c 300s | 20 | 1048141 | 998627 | 3525 683 | 0 | 0 301.42/301.56 c 301s | 21 | 1049947 | 1000345 | 3525 684 | 0 | 0 303.41/303.59 c 303s | 21 | 1057193 | 1007345 | 3525 688 | 0 | 0 305.51/305.61 c 305s | 21 | 1062077 | 1011845 | 3525 690 | 0 | 0 307.51/307.65 c 307s | 21 | 1068508 | 1018145 | 3525 693 | 0 | 0 309.51/309.69 c 309s | 21 | 1075814 | 1025345 | 3525 697 | 0 | 0 311.60/311.71 c 311s | 21 | 1081965 | 1031145 | 3525 700 | 0 | 0 313.60/313.73 c 313s | 21 | 1088865 | 1037845 | 3525 704 | 0 | 0 315.61/315.76 c 315s | 21 | 1095461 | 1044145 | 3525 707 | 0 | 0 317.60/317.78 c 317s | 21 | 1101341 | 1049845 | 3525 710 | 0 | 0 319.70/319.81 c 319s | 21 | 1107426 | 1055645 | 3525 713 | 0 | 0 321.70/321.83 c 321s | 21 | 1113776 | 1061645 | 3525 716 | 0 | 0 323.69/323.87 c 323s | 21 | 1119741 | 1067345 | 3525 719 | 0 | 0 325.69/325.89 c 325s | 21 | 1124943 | 1072245 | 3525 722 | 0 | 0 327.80/327.92 c 327s | 21 | 1130056 | 1077145 | 3525 724 | 0 | 0 329.79/329.93 c 329s | 21 | 1134170 | 1081045 | 3525 726 | 0 | 0 331.79/331.96 c 331s | 21 | 1138886 | 1085545 | 3525 729 | 0 | 0 333.79/333.99 c 333s | 21 | 1144089 | 1090445 | 3525 731 | 0 | 0 335.88/336.03 c 335s | 21 | 1148443 | 1094545 | 3525 733 | 0 | 0 337.88/338.07 c 337s | 21 | 1152484 | 1098345 | 3525 735 | 0 | 0 339.89/340.07 c 339s | 21 | 1157050 | 1102745 | 3525 738 | 0 | 0 341.88/342.10 c 341s | 21 | 1161422 | 1106945 | 3525 740 | 0 | 0 343.98/344.18 c 343s | 21 | 1164920 | 1110345 | 3525 742 | 0 | 0 345.98/346.19 c 345s | 21 | 1169755 | 1114745 | 3525 744 | 0 | 0 348.08/348.23 c 347s | 21 | 1175292 | 1119945 | 3525 747 | 0 | 0 350.08/350.24 c 349s | 21 | 1181909 | 1126245 | 3525 750 | 0 | 0 352.08/352.24 c 351s | 21 | 1187580 | 1131645 | 3525 753 | 0 | 0 354.08/354.25 c 353s | 21 | 1193041 | 1136845 | 3525 755 | 0 | 0 356.08/356.27 c 355s | 21 | 1198590 | 1142045 | 3525 758 | 0 | 0 358.18/358.31 c 357s | 21 | 1205459 | 1148645 | 3525 762 | 0 | 0 360.18/360.33 c 359s | 21 | 1210451 | 1153245 | 3525 764 | 0 | 0 362.18/362.39 c 361s | 21 | 1215321 | 1157645 | 3525 766 | 0 | 0 364.17/364.39 c 363s | 21 | 1220790 | 1162645 | 3525 769 | 0 | 0 366.29/366.42 c 365s | 21 | 1227819 | 1169345 | 3525 772 | 0 | 0 368.28/368.45 c 367s | 21 | 1233571 | 1174945 | 3525 775 | 0 | 0 370.28/370.47 c 369s | 21 | 1239261 | 1180345 | 3525 778 | 0 | 0 372.28/372.49 c 371s | 21 | 1245912 | 1186645 | 3525 781 | 0 | 0 374.38/374.52 c 373s | 21 | 1251985 | 1192345 | 3525 784 | 0 | 0 376.38/376.52 c 375s | 21 | 1258369 | 1198345 | 3525 787 | 0 | 0 378.38/378.53 c 378s | 21 | 1265732 | 1205345 | 3525 791 | 0 | 0 380.37/380.56 c 380s | 21 | 1273335 | 1212545 | 3525 795 | 0 | 0 382.37/382.58 c 382s | 21 | 1281191 | 1219945 | 3525 799 | 0 | 0 384.37/384.59 c 384s | 21 | 1288730 | 1227145 | 3525 803 | 0 | 0 386.47/386.60 c 386s | 21 | 1294883 | 1232945 | 3525 806 | 0 | 0 388.47/388.62 c 388s | 21 | 1301875 | 1239645 | 3525 809 | 0 | 0 390.48/390.62 c 390s | 21 | 1308590 | 1245945 | 3525 812 | 0 | 0 392.47/392.62 c 392s | 21 | 1315684 | 1252745 | 3525 816 | 0 | 0 394.47/394.64 c 394s | 21 | 1322795 | 1259645 | 3525 820 | 0 | 0 396.47/396.65 c 396s | 21 | 1329813 | 1266445 | 3525 823 | 0 | 0 398.47/398.67 c 398s | 21 | 1337043 | 1273345 | 3525 827 | 0 | 0 400.47/400.68 c 400s | 21 | 1344134 | 1280045 | 3525 830 | 0 | 0 402.47/402.69 c 402s | 21 | 1351499 | 1286945 | 3525 834 | 0 | 0 404.56/404.70 c 404s | 21 | 1358453 | 1293445 | 3525 837 | 0 | 0 406.56/406.74 c 406s | 21 | 1364777 | 1299445 | 3525 841 | 0 | 0 408.56/408.75 c 408s | 21 | 1371226 | 1305645 | 3525 844 | 0 | 0 410.56/410.76 c 410s | 21 | 1376729 | 1310645 | 3525 846 | 0 | 0 412.56/412.77 c 412s | 21 | 1381280 | 1314945 | 3525 849 | 0 | 0 414.57/414.80 c 414s | 21 | 1388599 | 1321545 | 3525 852 | 0 | 0 416.66/416.82 c 416s | 21 | 1395146 | 1327345 | 3525 855 | 0 | 0 418.66/418.85 c 418s | 21 | 1401663 | 1333545 | 3525 858 | 0 | 0 420.66/420.85 c 420s | 21 | 1408282 | 1339945 | 3525 862 | 0 | 0 422.66/422.88 c 422s | 21 | 1414516 | 1346045 | 3525 865 | 0 | 0 424.75/424.91 c 424s | 21 | 1419800 | 1351245 | 3525 868 | 0 | 0 426.76/426.92 c 426s | 21 | 1425799 | 1357145 | 3525 871 | 0 | 0 428.75/428.94 c 428s | 21 | 1431992 | 1363245 | 3525 874 | 0 | 0 430.76/430.96 c 430s | 21 | 1438160 | 1369345 | 3525 877 | 0 | 0 432.76/432.97 c 432s | 21 | 1445103 | 1376145 | 3525 881 | 0 | 0 434.76/434.99 c 434s | 21 | 1450820 | 1381745 | 3525 884 | 0 | 0 436.86/437.01 c 436s | 21 | 1456544 | 1387345 | 3525 887 | 0 | 0 438.86/439.02 c 438s | 21 | 1462689 | 1393345 | 3525 890 | 0 | 0 440.86/441.04 c 440s | 21 | 1468638 | 1399245 | 3525 893 | 0 | 0 442.85/443.07 c 442s | 21 | 1474733 | 1405245 | 3525 896 | 0 | 0 444.95/445.11 c 444s | 21 | 1480938 | 1411345 | 3525 899 | 0 | 0 446.95/447.12 c 446s | 21 | 1486923 | 1417245 | 3525 902 | 0 | 0 448.95/449.13 c 448s | 21 | 1492692 | 1422945 | 3525 905 | 0 | 0 450.95/451.14 c 450s | 21 | 1498809 | 1428945 | 3525 908 | 0 | 0 452.95/453.17 c 452s | 21 | 1504623 | 1434645 | 3525 911 | 0 | 0 454.94/455.19 c 454s | 21 | 1510756 | 1440545 | 3525 914 | 0 | 0 456.94/457.19 c 456s | 21 | 1516296 | 1445945 | 3525 917 | 0 | 0 459.04/459.22 c 458s | 21 | 1524579 | 1453745 | 3525 921 | 0 | 0 461.04/461.22 c 460s | 21 | 1532385 | 1461245 | 3525 925 | 0 | 0 463.05/463.24 c 462s | 21 | 1539583 | 1467945 | 3525 929 | 0 | 0 465.04/465.25 c 464s | 21 | 1547068 | 1474945 | 3525 933 | 0 | 0 467.04/467.26 c 466s | 21 | 1554539 | 1481745 | 3525 936 | 0 | 0 469.04/469.26 c 468s | 21 | 1561429 | 1488245 | 3525 939 | 0 | 0 471.04/471.27 c 470s | 21 | 1568385 | 1494745 | 3878 943 | 0 | 0 472.73/472.99 c 472s | 22 | 1574587 | 1500622 | 3878 945 | 0 | 0 474.83/475.00 c 474s | 22 | 1582474 | 1508222 | 3878 949 | 0 | 0 476.83/477.01 c 476s | 22 | 1589973 | 1515422 | 3878 952 | 0 | 0 478.83/479.03 c 478s | 22 | 1596604 | 1521822 | 3878 956 | 0 | 0 480.83/481.03 c 480s | 22 | 1603230 | 1528222 | 3878 959 | 0 | 0 482.84/483.04 c 482s | 22 | 1610214 | 1534922 | 3878 962 | 0 | 0 484.82/485.05 c 484s | 22 | 1617269 | 1541622 | 3878 965 | 0 | 0 486.82/487.06 c 486s | 22 | 1624359 | 1548322 | 3878 968 | 0 | 0 488.82/489.08 c 488s | 22 | 1631665 | 1555322 | 3878 972 | 0 | 0 490.82/491.09 c 490s | 22 | 1639157 | 1562322 | 3878 975 | 0 | 0 492.92/493.12 c 492s | 22 | 1646660 | 1569322 | 3878 978 | 0 | 0 494.92/495.14 c 494s | 22 | 1653418 | 1575522 | 3878 981 | 0 | 0 496.92/497.15 c 496s | 22 | 1660350 | 1581522 | 3878 984 | 0 | 0 498.92/499.17 c 498s | 22 | 1667344 | 1587822 | 3878 987 | 0 | 0 501.02/501.20 c 500s | 22 | 1673496 | 1593522 | 3878 990 | 0 | 0 503.02/503.22 c 502s | 22 | 1679434 | 1599022 | 3878 993 | 0 | 0 505.01/505.24 c 504s | 22 | 1685321 | 1604522 | 3878 995 | 0 | 0 507.02/507.25 c 506s | 22 | 1691285 | 1609822 | 3878 998 | 0 | 0 509.01/509.27 c 508s | 22 | 1697063 | 1615222 | 3878 1000 | 0 | 0 511.01/511.28 c 510s | 22 | 1702372 | 1620022 | 3878 1003 | 0 | 0 513.02/513.29 c 512s | 22 | 1708297 | 1625422 | 3878 1005 | 0 | 0 515.12/515.31 c 514s | 22 | 1714322 | 1631122 | 3878 1008 | 0 | 0 517.12/517.35 c 516s | 22 | 1720058 | 1636422 | 3878 1010 | 0 | 0 519.12/519.35 c 518s | 22 | 1726735 | 1642622 | 3878 1013 | 0 | 0 521.11/521.36 c 520s | 22 | 1733437 | 1648922 | 3878 1016 | 0 | 0 523.11/523.38 c 522s | 22 | 1740017 | 1655022 | 3878 1019 | 0 | 0 525.11/525.40 c 524s | 22 | 1746226 | 1660722 | 3878 1022 | 0 | 0 527.21/527.42 c 526s | 22 | 1753608 | 1667722 | 3878 1025 | 0 | 0 529.21/529.46 c 528s | 22 | 1761115 | 1674722 | 3878 1029 | 0 | 0 531.22/531.48 c 530s | 22 | 1767375 | 1680622 | 3878 1031 | 0 | 0 533.21/533.48 c 532s | 22 | 1773613 | 1686522 | 3878 1034 | 0 | 0 535.21/535.49 c 534s | 22 | 1780388 | 1693022 | 3878 1037 | 0 | 0 537.21/537.49 c 536s | 22 | 1786805 | 1698922 | 3878 1040 | 0 | 0 539.31/539.51 c 538s | 22 | 1793530 | 1705322 | 3878 1043 | 0 | 0 541.31/541.53 c 541s | 22 | 1800331 | 1711722 | 3878 1046 | 0 | 0 543.31/543.53 c 543s | 22 | 1807270 | 1718322 | 3878 1049 | 0 | 0 545.30/545.54 c 545s | 22 | 1814444 | 1725022 | 3878 1052 | 0 | 0 547.30/547.56 c 547s | 22 | 1821395 | 1731622 | 3878 1056 | 0 | 0 549.30/549.57 c 549s | 22 | 1828055 | 1737922 | 3878 1059 | 0 | 0 551.30/551.58 c 551s | 22 | 1834924 | 1744422 | 3878 1062 | 0 | 0 553.40/553.60 c 553s | 22 | 1841525 | 1750422 | 3878 1064 | 0 | 0 555.41/555.62 c 555s | 22 | 1848053 | 1756522 | 3878 1067 | 0 | 0 557.40/557.64 c 557s | 22 | 1854207 | 1762122 | 3878 1070 | 0 | 0 559.40/559.64 c 559s | 22 | 1860752 | 1768322 | 3878 1073 | 0 | 0 561.40/561.65 c 561s | 22 | 1866763 | 1774022 | 3878 1076 | 0 | 0 563.40/563.68 c 563s | 22 | 1873947 | 1780922 | 3878 1079 | 0 | 0 565.50/565.71 c 565s | 22 | 1880519 | 1787222 | 3878 1082 | 0 | 0 567.50/567.72 c 567s | 22 | 1887360 | 1793722 | 3878 1085 | 0 | 0 569.49/569.73 c 569s | 22 | 1894405 | 1800222 | 3878 1088 | 0 | 0 571.49/571.73 c 571s | 22 | 1901872 | 1807222 | 3878 1091 | 0 | 0 573.49/573.74 c 573s | 22 | 1909277 | 1814322 | 3878 1095 | 0 | 0 575.49/575.77 c 575s | 22 | 1916577 | 1821122 | 3878 1098 | 0 | 0 577.49/577.78 c 577s | 22 | 1923872 | 1827922 | 3878 1101 | 0 | 0 579.49/579.78 c 579s | 22 | 1930950 | 1834422 | 3878 1104 | 0 | 0 581.49/581.79 c 581s | 22 | 1938495 | 1841622 | 3878 1108 | 0 | 0 583.59/583.81 c 583s | 22 | 1946243 | 1848922 | 3878 1111 | 0 | 0 585.58/585.83 c 585s | 22 | 1953529 | 1855822 | 3878 1115 | 0 | 0 587.58/587.84 c 587s | 22 | 1961126 | 1863022 | 3878 1118 | 0 | 0 589.58/589.86 c 589s | 22 | 1968348 | 1869822 | 3878 1121 | 0 | 0 591.59/591.87 c 591s | 22 | 1975584 | 1876622 | 3878 1124 | 0 | 0 593.58/593.88 c 593s | 22 | 1981947 | 1882822 | 3878 1127 | 0 | 0 595.58/595.89 c 595s | 22 | 1987239 | 1887922 | 3878 1130 | 0 | 0 597.68/597.90 c 597s | 22 | 1993482 | 1894022 | 3878 1133 | 0 | 0 599.68/599.91 c 599s | 22 | 2000153 | 1900522 | 3878 1136 | 0 | 0 601.68/601.94 c 601s | 22 | 2006730 | 1906922 | 3878 1139 | 0 | 0 603.69/603.96 c 603s | 22 | 2013622 | 1913522 | 3878 1142 | 0 | 0 605.68/605.96 c 605s | 22 | 2019702 | 1919122 | 3878 1145 | 0 | 0 607.68/607.98 c 607s | 22 | 2026078 | 1925222 | 3878 1148 | 0 | 0 609.68/609.99 c 609s | 22 | 2033750 | 1932522 | 3878 1151 | 0 | 0 611.78/612.01 c 611s | 22 | 2040822 | 1939022 | 3878 1154 | 0 | 0 613.77/614.04 c 613s | 22 | 2047719 | 1945222 | 3878 1157 | 0 | 0 615.78/616.04 c 615s | 22 | 2053906 | 1950822 | 3878 1160 | 0 | 0 617.77/618.06 c 617s | 22 | 2060762 | 1957222 | 3878 1163 | 0 | 0 619.77/620.07 c 619s | 22 | 2067366 | 1963422 | 3878 1166 | 0 | 0 621.77/622.09 c 621s | 22 | 2074205 | 1969722 | 3878 1169 | 0 | 0 623.87/624.10 c 623s | 22 | 2081080 | 1975822 | 3878 1172 | 0 | 0 625.87/626.10 c 625s | 22 | 2087492 | 1981622 | 3878 1174 | 0 | 0 627.88/628.12 c 627s | 22 | 2093758 | 1987422 | 3878 1177 | 0 | 0 629.87/630.15 c 629s | 22 | 2099917 | 1993022 | 3878 1180 | 0 | 0 631.87/632.17 c 631s | 22 | 2106973 | 1999622 | 3878 1183 | 0 | 0 633.87/634.17 c 633s | 22 | 2113777 | 2006122 | 3878 1186 | 0 | 0 635.87/636.19 c 635s | 22 | 2120442 | 2012522 | 3878 1189 | 0 | 0 637.97/638.22 c 637s | 22 | 2127469 | 2019222 | 3878 1192 | 0 | 0 639.97/640.25 c 639s | 22 | 2133945 | 2025222 | 3878 1195 | 0 | 0 641.97/642.27 c 641s | 22 | 2140894 | 2031922 | 3878 1198 | 0 | 0 643.96/644.29 c 643s | 22 | 2147729 | 2038422 | 3878 1201 | 0 | 0 646.06/646.30 c 645s | 22 | 2154366 | 2044422 | 3878 1204 | 0 | 0 648.06/648.31 c 647s | 22 | 2160649 | 2050022 | 3878 1207 | 0 | 0 650.06/650.31 c 649s | 22 | 2167232 | 2056222 | 3878 1210 | 0 | 0 652.06/652.35 c 651s | 22 | 2173994 | 2062522 | 3878 1213 | 0 | 0 654.05/654.35 c 653s | 22 | 2181125 | 2069122 | 3878 1216 | 0 | 0 656.05/656.36 c 655s | 22 | 2188007 | 2075822 | 3878 1219 | 0 | 0 658.05/658.38 c 657s | 22 | 2193447 | 2081122 | 3878 1222 | 0 | 0 660.05/660.38 c 659s | 22 | 2200004 | 2087422 | 3878 1225 | 0 | 0 662.15/662.40 c 661s | 22 | 2206551 | 2093622 | 3878 1228 | 0 | 0 664.16/664.43 c 663s | 22 | 2213072 | 2099722 | 3878 1230 | 0 | 0 666.15/666.44 c 665s | 22 | 2218716 | 2105122 | 3878 1233 | 0 | 0 668.15/668.48 c 667s | 22 | 2225355 | 2111222 | 3878 1236 | 0 | 0 670.25/670.50 c 669s | 22 | 2232255 | 2117722 | 3878 1239 | 0 | 0 672.25/672.52 c 671s | 22 | 2238622 | 2123722 | 3878 1242 | 0 | 0 674.24/674.53 c 674s | 22 | 2244882 | 2129722 | 3878 1245 | 0 | 0 676.25/676.56 c 676s | 22 | 2251172 | 2135722 | 3878 1248 | 0 | 0 678.24/678.56 c 678s | 22 | 2257032 | 2141322 | 3878 1250 | 0 | 0 680.24/680.58 c 680s | 22 | 2262929 | 2146622 | 3878 1253 | 0 | 0 682.24/682.58 c 682s | 22 | 2268296 | 2151722 | 3878 1255 | 0 | 0 684.34/684.61 c 684s | 22 | 2273004 | 2156122 | 3878 1257 | 0 | 0 686.34/686.64 c 686s | 22 | 2279051 | 2161822 | 3878 1260 | 0 | 0 688.35/688.65 c 688s | 22 | 2285587 | 2167922 | 3878 1263 | 0 | 0 690.34/690.65 c 690s | 22 | 2292078 | 2173922 | 3878 1266 | 0 | 0 692.34/692.66 c 692s | 22 | 2298377 | 2179822 | 3878 1268 | 0 | 0 694.34/694.70 c 694s | 22 | 2304085 | 2185222 | 3878 1271 | 0 | 0 696.43/696.71 c 696s | 22 | 2309879 | 2190522 | 3878 1273 | 0 | 0 698.43/698.74 c 698s | 22 | 2316089 | 2196222 | 3878 1276 | 0 | 0 700.44/700.75 c 700s | 22 | 2322740 | 2202322 | 3878 1279 | 0 | 0 702.43/702.75 c 702s | 22 | 2328885 | 2208022 | 3878 1282 | 0 | 0 704.43/704.76 c 704s | 22 | 2335010 | 2213422 | 3878 1284 | 0 | 0 706.43/706.77 c 706s | 22 | 2341374 | 2219222 | 3878 1287 | 0 | 0 708.43/708.77 c 708s | 22 | 2347959 | 2225122 | 3878 1290 | 0 | 0 710.53/710.80 c 710s | 22 | 2354310 | 2230922 | 3878 1293 | 0 | 0 712.54/712.80 c 712s | 22 | 2360520 | 2236622 | 4266 1295 | 0 | 0 714.53/714.84 c 714s | 22 | 2366041 | 2241622 | 4266 1297 | 0 | 0 716.53/716.87 c 716s | 22 | 2372567 | 2247822 | 4266 1300 | 0 | 0 717.63/717.97 c 717s | 23 | 2376076 | 2251038 | 4266 1301 | 0 | 0 719.63/719.98 c 719s | 23 | 2383071 | 2257838 | 4266 1304 | 0 | 0 721.73/722.01 c 721s | 23 | 2389248 | 2263838 | 4266 1307 | 0 | 0 723.72/724.02 c 723s | 23 | 2395328 | 2269638 | 4266 1310 | 0 | 0 725.72/726.05 c 725s | 23 | 2401314 | 2275438 | 4266 1312 | 0 | 0 727.72/728.06 c 727s | 23 | 2407355 | 2281238 | 4266 1315 | 0 | 0 729.72/730.06 c 729s | 23 | 2414413 | 2288138 | 4266 1318 | 0 | 0 731.72/732.08 c 731s | 23 | 2420909 | 2294338 | 4266 1321 | 0 | 0 733.81/734.10 c 733s | 23 | 2427485 | 2300338 | 4266 1323 | 0 | 0 735.81/736.13 c 735s | 23 | 2433485 | 2305938 | 4266 1326 | 0 | 0 737.82/738.15 c 737s | 23 | 2440191 | 2312238 | 4266 1329 | 0 | 0 739.81/740.16 c 739s | 23 | 2447842 | 2319438 | 4266 1332 | 0 | 0 741.81/742.19 c 741s | 23 | 2454491 | 2325638 | 4266 1334 | 0 | 0 743.91/744.20 c 743s | 23 | 2460562 | 2331438 | 4266 1337 | 0 | 0 745.91/746.22 c 745s | 23 | 2466903 | 2337538 | 4266 1340 | 0 | 0 747.91/748.23 c 747s | 23 | 2473551 | 2343938 | 4266 1342 | 0 | 0 749.91/750.26 c 749s | 23 | 2481111 | 2351338 | 4266 1346 | 0 | 0 751.90/752.27 c 751s | 23 | 2488672 | 2358638 | 4266 1349 | 0 | 0 754.00/754.30 c 753s | 23 | 2496143 | 2365838 | 4266 1352 | 0 | 0 756.00/756.31 c 755s | 23 | 2503115 | 2372438 | 4266 1355 | 0 | 0 758.00/758.32 c 757s | 23 | 2509248 | 2378438 | 4266 1357 | 0 | 0 760.00/760.32 c 759s | 23 | 2516166 | 2385038 | 4266 1360 | 0 | 0 762.02/762.34 c 761s | 23 | 2522925 | 2391438 | 4266 1363 | 0 | 0 764.00/764.38 c 763s | 23 | 2529428 | 2397438 | 4266 1366 | 0 | 0 766.00/766.38 c 765s | 23 | 2536155 | 2403738 | 4266 1368 | 0 | 0 768.10/768.40 c 767s | 23 | 2542372 | 2409438 | 4266 1371 | 0 | 0 770.10/770.41 c 769s | 23 | 2548980 | 2415638 | 4266 1373 | 0 | 0 772.10/772.42 c 771s | 23 | 2554814 | 2421238 | 4266 1376 | 0 | 0 774.10/774.43 c 773s | 23 | 2561698 | 2427638 | 4266 1379 | 0 | 0 776.09/776.46 c 775s | 23 | 2567896 | 2433638 | 4266 1381 | 0 | 0 778.09/778.50 c 777s | 23 | 2574453 | 2439738 | 4266 1384 | 0 | 0 780.19/780.50 c 779s | 23 | 2581080 | 2446038 | 4266 1387 | 0 | 0 782.19/782.51 c 781s | 23 | 2587770 | 2452538 | 4266 1389 | 0 | 0 784.19/784.52 c 783s | 23 | 2595575 | 2460038 | 4266 1393 | 0 | 0 786.19/786.55 c 786s | 23 | 2602265 | 2466538 | 4266 1396 | 0 | 0 788.19/788.57 c 788s | 23 | 2608952 | 2473038 | 4266 1398 | 0 | 0 790.19/790.59 c 790s | 23 | 2615228 | 2479138 | 4266 1401 | 0 | 0 792.29/792.61 c 792s | 23 | 2622779 | 2486538 | 4266 1404 | 0 | 0 794.28/794.61 c 794s | 23 | 2629454 | 2492938 | 4266 1407 | 0 | 0 796.28/796.63 c 796s | 23 | 2636946 | 2500138 | 4266 1410 | 0 | 0 798.29/798.65 c 798s | 23 | 2644247 | 2507338 | 4266 1413 | 0 | 0 800.28/800.67 c 800s | 23 | 2651386 | 2514338 | 4266 1416 | 0 | 0 802.28/802.68 c 802s | 23 | 2658524 | 2521338 | 4266 1419 | 0 | 0 804.28/804.69 c 804s | 23 | 2665274 | 2527938 | 4266 1422 | 0 | 0 806.38/806.70 c 806s | 23 | 2672493 | 2535038 | 4266 1425 | 0 | 0 808.38/808.73 c 808s | 23 | 2678872 | 2541338 | 4266 1428 | 0 | 0 810.39/810.75 c 810s | 23 | 2686049 | 2548438 | 4266 1431 | 0 | 0 812.38/812.75 c 812s | 23 | 2692974 | 2555138 | 4266 1434 | 0 | 0 814.38/814.77 c 814s | 23 | 2700442 | 2562138 | 4266 1437 | 0 | 0 816.38/816.78 c 816s | 23 | 2707575 | 2568838 | 4266 1440 | 0 | 0 818.48/818.80 c 818s | 23 | 2714166 | 2575038 | 4266 1443 | 0 | 0 820.48/820.83 c 820s | 23 | 2720468 | 2581138 | 4266 1445 | 0 | 0 822.48/822.84 c 822s | 23 | 2727592 | 2587838 | 4266 1448 | 0 | 0 824.47/824.85 c 824s | 23 | 2734115 | 2594138 | 4266 1451 | 0 | 0 826.47/826.87 c 826s | 23 | 2741073 | 2600738 | 4266 1454 | 0 | 0 828.47/828.88 c 828s | 23 | 2748108 | 2607538 | 4266 1457 | 0 | 0 830.47/830.89 c 830s | 23 | 2754960 | 2614138 | 4266 1460 | 0 | 0 832.57/832.91 c 832s | 23 | 2761629 | 2620538 | 4266 1462 | 0 | 0 834.57/834.92 c 834s | 23 | 2768599 | 2627238 | 4266 1465 | 0 | 0 836.57/836.93 c 836s | 23 | 2775752 | 2633938 | 4266 1468 | 0 | 0 838.57/838.96 c 838s | 23 | 2782438 | 2640138 | 4266 1471 | 0 | 0 840.57/840.96 c 840s | 23 | 2789536 | 2646938 | 4266 1474 | 0 | 0 842.56/842.99 c 842s | 23 | 2796773 | 2653838 | 4266 1477 | 0 | 0 844.66/845.03 c 844s | 23 | 2803410 | 2660138 | 4266 1480 | 0 | 0 846.67/847.04 c 846s | 23 | 2809946 | 2666438 | 4266 1483 | 0 | 0 848.66/849.04 c 848s | 23 | 2816929 | 2672938 | 4266 1485 | 0 | 0 850.66/851.06 c 850s | 23 | 2823081 | 2678638 | 4266 1488 | 0 | 0 852.66/853.08 c 852s | 23 | 2829791 | 2685038 | 4266 1491 | 0 | 0 854.66/855.09 c 854s | 23 | 2836437 | 2691438 | 4266 1493 | 0 | 0 856.66/857.10 c 856s | 23 | 2842821 | 2697338 | 4266 1496 | 0 | 0 858.76/859.12 c 858s | 23 | 2849991 | 2704138 | 4266 1499 | 0 | 0 860.75/861.14 c 860s | 23 | 2857026 | 2710838 | 4266 1502 | 0 | 0 862.75/863.14 c 862s | 23 | 2863828 | 2717338 | 4266 1505 | 0 | 0 864.75/865.16 c 864s | 23 | 2870733 | 2723938 | 4266 1508 | 0 | 0 866.75/867.16 c 866s | 23 | 2877389 | 2730238 | 4266 1510 | 0 | 0 868.76/869.16 c 868s | 23 | 2884004 | 2736538 | 4266 1513 | 0 | 0 870.75/871.17 c 870s | 23 | 2890854 | 2743138 | 4266 1516 | 0 | 0 872.75/873.18 c 872s | 23 | 2897659 | 2749638 | 4266 1519 | 0 | 0 874.85/875.21 c 874s | 23 | 2904014 | 2755638 | 4266 1521 | 0 | 0 876.85/877.24 c 876s | 23 | 2910870 | 2762138 | 4266 1524 | 0 | 0 878.85/879.26 c 878s | 23 | 2917935 | 2768638 | 4266 1527 | 0 | 0 880.85/881.27 c 880s | 23 | 2924224 | 2774538 | 4266 1530 | 0 | 0 882.95/883.32 c 882s | 23 | 2930838 | 2780938 | 4266 1533 | 0 | 0 884.95/885.34 c 884s | 23 | 2937085 | 2787038 | 4266 1535 | 0 | 0 886.95/887.34 c 886s | 23 | 2943337 | 2793138 | 4266 1538 | 0 | 0 888.95/889.36 c 888s | 23 | 2949809 | 2799438 | 4266 1541 | 0 | 0 890.95/891.38 c 890s | 23 | 2955781 | 2805238 | 4266 1543 | 0 | 0 893.05/893.40 c 892s | 23 | 2962291 | 2811438 | 4266 1546 | 0 | 0 895.05/895.43 c 894s | 23 | 2968681 | 2817538 | 4266 1549 | 0 | 0 897.04/897.43 c 896s | 23 | 2975341 | 2823838 | 4266 1551 | 0 | 0 899.04/899.44 c 898s | 23 | 2982610 | 2830838 | 4266 1554 | 0 | 0 901.04/901.47 c 900s | 23 | 2989798 | 2837738 | 4266 1557 | 0 | 0 903.04/903.47 c 902s | 23 | 2996941 | 2844338 | 4266 1560 | 0 | 0 905.05/905.47 c 904s | 23 | 3003259 | 2850138 | 4266 1563 | 0 | 0 907.04/907.48 c 906s | 23 | 3009683 | 2856038 | 4266 1565 | 0 | 0 909.14/909.51 c 908s | 23 | 3016197 | 2862038 | 4266 1568 | 0 | 0 911.14/911.52 c 910s | 23 | 3022612 | 2868238 | 4266 1571 | 0 | 0 913.14/913.55 c 913s | 23 | 3028907 | 2874338 | 4266 1573 | 0 | 0 915.14/915.57 c 915s | 23 | 3035482 | 2880238 | 4266 1576 | 0 | 0 917.14/917.59 c 917s | 23 | 3041067 | 2885538 | 4266 1578 | 0 | 0 919.24/919.62 c 919s | 23 | 3047602 | 2891838 | 4266 1581 | 0 | 0 921.24/921.64 c 921s | 23 | 3053383 | 2897338 | 4266 1583 | 0 | 0 923.24/923.67 c 923s | 23 | 3060407 | 2903738 | 4266 1586 | 0 | 0 925.23/925.67 c 925s | 23 | 3066667 | 2909538 | 4266 1589 | 0 | 0 927.33/927.70 c 927s | 23 | 3073011 | 2915438 | 4266 1591 | 0 | 0 929.33/929.72 c 929s | 23 | 3080066 | 2922138 | 4266 1594 | 0 | 0 931.34/931.72 c 931s | 23 | 3086862 | 2928538 | 4266 1597 | 0 | 0 933.33/933.73 c 933s | 23 | 3092974 | 2934338 | 4266 1600 | 0 | 0 935.33/935.77 c 935s | 23 | 3099696 | 2940638 | 4266 1602 | 0 | 0 937.33/937.79 c 937s | 23 | 3106266 | 2946638 | 4266 1605 | 0 | 0 939.34/939.79 c 939s | 23 | 3112717 | 2952838 | 4266 1608 | 0 | 0 941.44/941.81 c 941s | 23 | 3119035 | 2958738 | 4266 1610 | 0 | 0 943.44/943.83 c 943s | 23 | 3125404 | 2964738 | 4266 1613 | 0 | 0 945.44/945.89 c 945s | 23 | 3130835 | 2969938 | 4266 1615 | 0 | 0 947.54/947.97 c 947s | 23 | 3135442 | 2974338 | 4266 1617 | 0 | 0 949.54/949.99 c 949s | 23 | 3140377 | 2979038 | 4266 1619 | 0 | 0 951.64/952.00 c 951s | 23 | 3144788 | 2983038 | 4266 1621 | 0 | 0 953.64/954.02 c 953s | 23 | 3151191 | 2989138 | 4266 1624 | 0 | 0 955.64/956.06 c 955s | 23 | 3158111 | 2995838 | 4266 1626 | 0 | 0 957.74/958.11 c 957s | 23 | 3163681 | 3001038 | 4266 1629 | 0 | 0 959.73/960.12 c 959s | 23 | 3170066 | 3007138 | 4266 1631 | 0 | 0 961.73/962.13 c 961s | 23 | 3174884 | 3011738 | 4266 1634 | 0 | 0 963.73/964.14 c 963s | 23 | 3179200 | 3015738 | 4266 1635 | 0 | 0 965.73/966.15 c 965s | 23 | 3184202 | 3020538 | 4266 1637 | 0 | 0 967.74/968.17 c 967s | 23 | 3189383 | 3025438 | 4266 1639 | 0 | 0 969.84/970.21 c 969s | 23 | 3194462 | 3030238 | 4266 1642 | 0 | 0 971.83/972.23 c 971s | 23 | 3201341 | 3036838 | 4266 1644 | 0 | 0 973.83/974.25 c 973s | 23 | 3208577 | 3043938 | 4266 1648 | 0 | 0 975.83/976.26 c 975s | 23 | 3215961 | 3051038 | 4266 1651 | 0 | 0 977.83/978.28 c 977s | 23 | 3222833 | 3057638 | 4266 1654 | 0 | 0 979.93/980.30 c 979s | 23 | 3229303 | 3063738 | 4266 1656 | 0 | 0 981.83/982.30 c 981s | 23 | 3235849 | 3070138 | 4266 1659 | 0 | 0 983.93/984.31 c 983s | 23 | 3241621 | 3075738 | 4266 1662 | 0 | 0 985.93/986.32 c 985s | 23 | 3248660 | 3082638 | 4266 1665 | 0 | 0 987.93/988.37 c 987s | 23 | 3254977 | 3088738 | 4266 1668 | 0 | 0 989.93/990.38 c 989s | 23 | 3262064 | 3095638 | 4266 1671 | 0 | 0 992.03/992.40 c 991s | 23 | 3268412 | 3101838 | 4266 1673 | 0 | 0 994.03/994.41 c 993s | 23 | 3274726 | 3107938 | 4266 1676 | 0 | 0 996.03/996.43 c 995s | 23 | 3281516 | 3114538 | 4266 1679 | 0 | 0 998.03/998.45 c 997s | 23 | 3287838 | 3120738 | 4266 1682 | 0 | 0 1000.03/1000.47 c 999s | 23 | 3294377 | 3127138 | 4266 1685 | 0 | 0 1002.02/1002.47 c 1001s | 23 | 3301227 | 3133838 | 4266 1688 | 0 | 0 1004.03/1004.49 c 1003s | 23 | 3307691 | 3140138 | 4266 1690 | 0 | 0 1006.13/1006.51 c 1005s | 23 | 3313607 | 3145938 | 4266 1693 | 0 | 0 1008.12/1008.53 c 1008s | 23 | 3320314 | 3152538 | 4266 1696 | 0 | 0 1010.12/1010.56 c 1010s | 23 | 3326875 | 3158938 | 4266 1699 | 0 | 0 1012.12/1012.57 c 1012s | 23 | 3333674 | 3165638 | 4266 1702 | 0 | 0 1014.22/1014.60 c 1014s | 23 | 3339153 | 3170738 | 4266 1704 | 0 | 0 1016.22/1016.64 c 1016s | 23 | 3344775 | 3176138 | 4266 1706 | 0 | 0 1018.23/1018.64 c 1018s | 23 | 3350398 | 3181638 | 4266 1709 | 0 | 0 1020.22/1020.66 c 1020s | 23 | 3356192 | 3187138 | 4266 1711 | 0 | 0 1022.22/1022.69 c 1022s | 23 | 3362457 | 3193238 | 4266 1714 | 0 | 0 1024.31/1024.70 c 1024s | 23 | 3368571 | 3199138 | 4266 1717 | 0 | 0 1026.31/1026.72 c 1026s | 23 | 3373765 | 3204138 | 4266 1719 | 0 | 0 1028.31/1028.75 c 1028s | 23 | 3379895 | 3209838 | 4266 1722 | 0 | 0 1030.32/1030.78 c 1030s | 23 | 3385406 | 3215138 | 4266 1724 | 0 | 0 1032.31/1032.80 c 1032s | 23 | 3392033 | 3221638 | 4266 1727 | 0 | 0 1034.41/1034.80 c 1034s | 23 | 3399192 | 3228638 | 4266 1730 | 0 | 0 1036.42/1036.82 c 1036s | 23 | 3406341 | 3235638 | 4266 1733 | 0 | 0 1038.42/1038.85 c 1038s | 23 | 3413724 | 3242838 | 4266 1736 | 0 | 0 1040.42/1040.85 c 1040s | 23 | 3421106 | 3250038 | 4266 1739 | 0 | 0 1042.43/1042.89 c 1042s | 23 | 3428345 | 3257138 | 4266 1743 | 0 | 0 1044.52/1044.91 c 1044s | 23 | 3435654 | 3264338 | 4266 1746 | 0 | 0 1046.52/1046.91 c 1046s | 23 | 3442616 | 3271138 | 4266 1749 | 0 | 0 1048.52/1048.91 c 1048s | 23 | 3449050 | 3277438 | 4266 1752 | 0 | 0 1050.52/1050.92 c 1050s | 23 | 3455932 | 3283738 | 4266 1754 | 0 | 0 1052.52/1052.92 c 1052s | 23 | 3461641 | 3289038 | 4266 1757 | 0 | 0 1054.52/1054.93 c 1054s | 23 | 3467153 | 3294238 | 4266 1759 | 0 | 0 1056.52/1056.94 c 1056s | 23 | 3472931 | 3299638 | 4266 1762 | 0 | 0 1058.52/1058.96 c 1058s | 23 | 3479052 | 3305438 | 4266 1764 | 0 | 0 1060.52/1060.97 c 1060s | 23 | 3484891 | 3310938 | 4266 1767 | 0 | 0 1062.52/1062.99 c 1062s | 23 | 3489975 | 3315738 | 4266 1769 | 0 | 0 1064.62/1065.03 c 1064s | 23 | 3496249 | 3321738 | 4266 1771 | 0 | 0 1066.62/1067.04 c 1066s | 23 | 3502024 | 3327238 | 4266 1774 | 0 | 0 1068.61/1069.05 c 1068s | 23 | 3508185 | 3332938 | 4266 1776 | 0 | 0 1070.61/1071.08 c 1070s | 23 | 3515307 | 3339638 | 4266 1780 | 0 | 0 1072.71/1073.10 c 1072s | 23 | 3521814 | 3345838 | 4266 1782 | 0 | 0 1074.71/1075.13 c 1074s | 23 | 3528266 | 3352038 | 4693 1785 | 0 | 0 1076.71/1077.13 c 1076s | 23 | 3534127 | 3357738 | 4693 1787 | 0 | 0 1078.72/1079.13 c 1078s | 23 | 3539811 | 3363338 | 4693 1790 | 0 | 0 1080.71/1081.16 c 1080s | 23 | 3546675 | 3369938 | 4693 1792 | 0 | 0 1082.71/1083.18 c 1082s | 23 | 3552632 | 3375538 | 4693 1795 | 0 | 0 1083.22/1083.64 c 1083s | 24 | 3553794 | 3376662 | 4693 1795 | 0 | 0 1085.21/1085.67 c 1085s | 24 | 3559917 | 3382562 | 4693 1797 | 0 | 0 1087.21/1087.69 c 1087s | 24 | 3566679 | 3389262 | 4693 1800 | 0 | 0 1089.31/1089.70 c 1089s | 24 | 3574865 | 3397262 | 4693 1803 | 1 | 8 1091.31/1091.70 c 1091s | 24 | 3581667 | 3403962 | 4693 1806 | 1 | 8 1093.31/1093.71 c 1093s | 24 | 3588033 | 3410162 | 4693 1808 | 1 | 8 1095.31/1095.74 c 1095s | 24 | 3594433 | 3416362 | 4693 1811 | 1 | 8 1097.31/1097.76 c 1097s | 24 | 3601117 | 3422662 | 4693 1813 | 1 | 8 1099.31/1099.76 c 1099s | 24 | 3607876 | 3429162 | 4693 1816 | 1 | 8 1101.31/1101.76 c 1101s | 24 | 3614100 | 3435262 | 4693 1818 | 1 | 8 1103.30/1103.77 c 1103s | 24 | 3620425 | 3441062 | 4693 1821 | 1 | 8 1105.30/1105.80 c 1105s | 24 | 3627387 | 3447862 | 4693 1823 | 1 | 8 1107.31/1107.80 c 1107s | 24 | 3633533 | 3453862 | 4693 1826 | 1 | 8 1109.40/1109.81 c 1109s | 24 | 3639773 | 3459962 | 4693 1828 | 1 | 8 1111.40/1111.82 c 1111s | 24 | 3647539 | 3467362 | 4693 1831 | 1 | 8 1113.40/1113.84 c 1113s | 24 | 3655297 | 3474662 | 4693 1834 | 1 | 8 1115.40/1115.84 c 1115s | 24 | 3663420 | 3482362 | 4693 1837 | 1 | 8 1117.40/1117.86 c 1117s | 24 | 3670988 | 3489662 | 4693 1840 | 1 | 8 1119.41/1119.87 c 1119s | 24 | 3677217 | 3495662 | 4693 1842 | 1 | 8 1121.40/1121.89 c 1121s | 24 | 3684005 | 3502262 | 4693 1845 | 1 | 8 1123.50/1123.91 c 1123s | 24 | 3690984 | 3509062 | 4693 1848 | 1 | 8 1125.50/1125.92 c 1125s | 24 | 3697544 | 3515162 | 4693 1850 | 1 | 8 1127.50/1127.94 c 1127s | 24 | 3703546 | 3520762 | 4693 1853 | 1 | 8 1129.51/1129.98 c 1129s | 24 | 3710769 | 3527862 | 4693 1855 | 1 | 8 1131.51/1131.98 c 1131s | 24 | 3718092 | 3534862 | 4693 1858 | 1 | 8 1133.50/1133.98 c 1133s | 24 | 3724744 | 3541162 | 4693 1861 | 1 | 8 1135.60/1136.01 c 1135s | 24 | 3731229 | 3547462 | 4693 1863 | 1 | 8 1137.60/1138.02 c 1137s | 24 | 3737969 | 3554062 | 4693 1866 | 1 | 8 1139.60/1140.03 c 1139s | 24 | 3745369 | 3560862 | 4693 1869 | 1 | 8 1141.60/1142.07 c 1141s | 24 | 3753163 | 3568162 | 4693 1872 | 1 | 8 1143.61/1144.08 c 1143s | 24 | 3760028 | 3574762 | 4693 1874 | 1 | 8 1145.60/1146.09 c 1145s | 24 | 3767735 | 3581862 | 4693 1877 | 1 | 8 1147.70/1148.10 c 1147s | 24 | 3774145 | 3588062 | 4693 1879 | 1 | 8 1149.70/1150.13 c 1149s | 24 | 3780813 | 3594562 | 4693 1882 | 1 | 8 1151.70/1152.14 c 1151s | 24 | 3786952 | 3600562 | 4693 1885 | 1 | 8 1153.70/1154.14 c 1153s | 24 | 3793118 | 3606562 | 4693 1887 | 1 | 8 1155.70/1156.15 c 1155s | 24 | 3800298 | 3613362 | 4693 1890 | 1 | 8 1157.70/1158.16 c 1157s | 24 | 3806854 | 3619762 | 4693 1892 | 1 | 8 1159.70/1160.17 c 1159s | 24 | 3814713 | 3627362 | 4693 1895 | 1 | 8 1161.69/1162.19 c 1161s | 24 | 3821413 | 3633862 | 4693 1898 | 1 | 8 1163.79/1164.20 c 1163s | 24 | 3827976 | 3640262 | 4693 1900 | 1 | 8 1165.79/1166.22 c 1165s | 24 | 3835650 | 3647662 | 4693 1903 | 1 | 8 1167.80/1168.25 c 1167s | 24 | 3841927 | 3653762 | 4693 1906 | 1 | 8 1169.79/1170.27 c 1169s | 24 | 3848383 | 3659962 | 4693 1908 | 1 | 8 1171.79/1172.29 c 1171s | 24 | 3854725 | 3666162 | 4693 1911 | 1 | 8 1173.89/1174.31 c 1173s | 24 | 3860933 | 3672162 | 4693 1913 | 1 | 8 1175.89/1176.33 c 1175s | 24 | 3866606 | 3677762 | 4693 1915 | 1 | 8 1177.89/1178.35 c 1177s | 24 | 3872900 | 3683762 | 4693 1918 | 1 | 8 1179.90/1180.37 c 1179s | 24 | 3878798 | 3689562 | 4693 1920 | 1 | 8 1181.89/1182.38 c 1181s | 24 | 3885988 | 3696462 | 4693 1923 | 1 | 8 1183.99/1184.41 c 1183s | 24 | 3892679 | 3703062 | 4693 1926 | 1 | 8 1185.99/1186.41 c 1185s | 24 | 3899675 | 3709862 | 4693 1928 | 1 | 8 1187.99/1188.41 c 1187s | 24 | 3906135 | 3716162 | 4693 1931 | 1 | 8 1189.99/1190.42 c 1189s | 24 | 3913497 | 3723262 | 4693 1934 | 1 | 8 1191.99/1192.43 c 1191s | 24 | 3920563 | 3730062 | 4693 1936 | 1 | 8 1193.99/1194.44 c 1193s | 24 | 3927193 | 3736562 | 4693 1939 | 1 | 8 1195.99/1196.46 c 1195s | 24 | 3934041 | 3743362 | 4693 1942 | 1 | 8 1197.99/1198.47 c 1197s | 24 | 3940568 | 3749762 | 4693 1944 | 1 | 8 1199.99/1200.49 c 1199s | 24 | 3946874 | 3755862 | 4693 1947 | 1 | 8 1202.09/1202.52 c 1201s | 24 | 3953033 | 3761862 | 4693 1949 | 1 | 8 1204.10/1204.52 c 1203s | 24 | 3959085 | 3767662 | 4693 1951 | 1 | 8 1206.09/1206.54 c 1206s | 24 | 3966061 | 3774262 | 4693 1954 | 1 | 8 1208.09/1208.56 c 1208s | 24 | 3973565 | 3781062 | 4693 1957 | 1 | 8 1210.09/1210.56 c 1210s | 24 | 3980524 | 3787262 | 4693 1959 | 1 | 8 1212.09/1212.58 c 1212s | 24 | 3987379 | 3793762 | 4693 1962 | 1 | 8 1214.10/1214.58 c 1214s | 24 | 3993710 | 3799562 | 4693 1964 | 1 | 8 1216.09/1216.59 c 1216s | 24 | 4000066 | 3805262 | 4693 1966 | 1 | 8 1218.19/1218.61 c 1218s | 24 | 4006302 | 3811062 | 4693 1969 | 1 | 8 1220.19/1220.63 c 1220s | 24 | 4012265 | 3816562 | 4693 1971 | 1 | 8 1222.19/1222.63 c 1222s | 24 | 4018325 | 3822162 | 4693 1973 | 1 | 8 1224.19/1224.65 c 1224s | 24 | 4024612 | 3828062 | 4693 1976 | 1 | 8 1226.19/1226.68 c 1226s | 24 | 4030921 | 3833862 | 4693 1978 | 1 | 8 1228.19/1228.69 c 1228s | 24 | 4036896 | 3839362 | 4693 1980 | 1 | 8 1230.28/1230.72 c 1230s | 24 | 4042584 | 3844662 | 4693 1982 | 1 | 8 1232.28/1232.76 c 1232s | 24 | 4048440 | 3850162 | 4693 1984 | 1 | 8 1234.28/1234.77 c 1234s | 24 | 4054580 | 3855962 | 4693 1987 | 1 | 8 1236.28/1236.78 c 1236s | 24 | 4060982 | 3861962 | 4693 1989 | 1 | 8 1238.29/1238.79 c 1238s | 24 | 4066972 | 3867462 | 4693 1991 | 1 | 8 1240.39/1240.81 c 1240s | 24 | 4072382 | 3872662 | 4693 1993 | 1 | 8 1242.38/1242.82 c 1242s | 24 | 4078372 | 3878262 | 4693 1996 | 1 | 8 1244.38/1244.84 c 1244s | 24 | 4084448 | 3883862 | 4693 1998 | 1 | 8 1246.38/1246.85 c 1246s | 24 | 4090361 | 3889462 | 4693 2000 | 1 | 8 1248.38/1248.89 c 1248s | 24 | 4096208 | 3894962 | 4693 2002 | 1 | 8 1250.39/1250.89 c 1250s | 24 | 4101991 | 3900462 | 4693 2005 | 1 | 8 1252.49/1252.91 c 1252s | 24 | 4108034 | 3905962 | 4693 2007 | 1 | 8 1254.48/1254.95 c 1254s | 24 | 4114377 | 3911962 | 4693 2009 | 1 | 8 1256.58/1257.00 c 1256s | 24 | 4120393 | 3917562 | 4693 2012 | 1 | 8 1258.58/1259.01 c 1258s | 24 | 4126263 | 3923162 | 4693 2014 | 1 | 8 1260.58/1261.04 c 1260s | 24 | 4131935 | 3928362 | 4693 2016 | 1 | 8 1262.58/1263.06 c 1262s | 24 | 4138056 | 3934062 | 4693 2018 | 1 | 8 1264.58/1265.09 c 1264s | 24 | 4144104 | 3939762 | 4693 2020 | 1 | 8 1266.58/1267.09 c 1266s | 24 | 4149974 | 3945362 | 4693 2023 | 1 | 8 1268.58/1269.09 c 1268s | 24 | 4155805 | 3950862 | 4693 2025 | 1 | 8 1270.67/1271.12 c 1270s | 24 | 4161871 | 3956562 | 4693 2027 | 1 | 8 1272.67/1273.12 c 1272s | 24 | 4168212 | 3962462 | 4693 2030 | 1 | 8 1274.67/1275.13 c 1274s | 24 | 4174005 | 3967662 | 4693 2032 | 1 | 8 1276.68/1277.15 c 1276s | 24 | 4179904 | 3973062 | 4693 2034 | 1 | 8 1278.67/1279.17 c 1278s | 24 | 4186049 | 3978662 | 4693 2036 | 1 | 8 1280.77/1281.20 c 1280s | 24 | 4191959 | 3984162 | 4693 2038 | 1 | 8 1282.77/1283.24 c 1282s | 24 | 4197864 | 3989762 | 4693 2041 | 1 | 8 1284.77/1285.26 c 1284s | 24 | 4203629 | 3994962 | 4693 2043 | 1 | 8 1286.78/1287.29 c 1286s | 24 | 4209622 | 4000462 | 4693 2045 | 1 | 8 1288.78/1289.30 c 1288s | 24 | 4215690 | 4005962 | 4693 2047 | 1 | 8 1290.88/1291.33 c 1290s | 24 | 4222294 | 4012262 | 4693 2050 | 1 | 8 1292.88/1293.35 c 1292s | 24 | 4228762 | 4018262 | 4693 2052 | 1 | 8 1294.88/1295.36 c 1294s | 24 | 4234888 | 4023862 | 4693 2054 | 1 | 8 1296.87/1297.39 c 1296s | 24 | 4241184 | 4029662 | 4693 2057 | 1 | 8 1298.87/1299.39 c 1298s | 24 | 4247222 | 4035362 | 4693 2059 | 1 | 8 1300.98/1301.41 c 1300s | 24 | 4253089 | 4040862 | 4693 2061 | 1 | 8 1302.97/1303.42 c 1302s | 24 | 4259143 | 4046662 | 4693 2063 | 1 | 8 1304.97/1305.44 c 1304s | 24 | 4265270 | 4052462 | 4693 2066 | 1 | 8 1306.97/1307.45 c 1306s | 24 | 4271052 | 4057662 | 4693 2068 | 1 | 8 1308.97/1309.48 c 1308s | 24 | 4277250 | 4063462 | 4693 2070 | 1 | 8 1311.07/1311.52 c 1310s | 24 | 4283321 | 4069062 | 4693 2072 | 1 | 8 1313.08/1313.55 c 1313s | 24 | 4289134 | 4074562 | 4693 2075 | 1 | 8 1315.07/1315.57 c 1315s | 24 | 4294698 | 4079762 | 4693 2077 | 1 | 8 1317.17/1317.60 c 1317s | 24 | 4301009 | 4085562 | 4693 2079 | 1 | 8 1319.17/1319.61 c 1319s | 24 | 4307043 | 4091162 | 4693 2081 | 1 | 8 1321.17/1321.64 c 1321s | 24 | 4312909 | 4096662 | 4693 2084 | 1 | 8 1323.17/1323.67 c 1323s | 24 | 4318877 | 4102062 | 4693 2086 | 1 | 8 1325.17/1325.67 c 1325s | 24 | 4324841 | 4107562 | 4693 2088 | 1 | 8 1327.17/1327.68 c 1327s | 24 | 4330583 | 4112862 | 4693 2090 | 1 | 8 1329.27/1329.71 c 1329s | 24 | 4337980 | 4120062 | 4693 2093 | 1 | 8 1331.27/1331.74 c 1331s | 24 | 4345764 | 4127462 | 4693 2096 | 1 | 8 1333.27/1333.75 c 1333s | 24 | 4351837 | 4133462 | 4693 2098 | 1 | 8 1335.27/1335.75 c 1335s | 24 | 4359149 | 4140362 | 4693 2101 | 1 | 8 1337.27/1337.78 c 1337s | 24 | 4365803 | 4146462 | 4693 2103 | 1 | 8 1339.26/1339.79 c 1339s | 24 | 4371958 | 4151962 | 4693 2106 | 1 | 8 1341.36/1341.82 c 1341s | 24 | 4377998 | 4157762 | 4693 2108 | 1 | 8 1343.36/1343.84 c 1343s | 24 | 4384460 | 4163862 | 4693 2110 | 1 | 8 1345.36/1345.86 c 1345s | 24 | 4390683 | 4169662 | 4693 2113 | 1 | 8 1347.36/1347.87 c 1347s | 24 | 4397022 | 4175662 | 4693 2115 | 1 | 8 1349.37/1349.90 c 1349s | 24 | 4402829 | 4181062 | 4693 2117 | 1 | 8 1351.47/1351.90 c 1351s | 24 | 4409036 | 4186962 | 4693 2120 | 1 | 8 1353.46/1353.92 c 1353s | 24 | 4415028 | 4192462 | 4693 2122 | 1 | 8 1355.46/1355.96 c 1355s | 24 | 4421354 | 4198262 | 4693 2124 | 1 | 8 1357.46/1357.98 c 1357s | 24 | 4427988 | 4204562 | 4693 2127 | 1 | 8 1359.46/1359.99 c 1359s | 24 | 4434413 | 4210562 | 4693 2129 | 1 | 8 1361.56/1362.03 c 1361s | 24 | 4440464 | 4216262 | 4693 2131 | 1 | 8 1363.56/1364.03 c 1363s | 24 | 4446896 | 4222362 | 4693 2134 | 1 | 8 1365.56/1366.04 c 1365s | 24 | 4453280 | 4228062 | 4693 2136 | 1 | 8 1367.56/1368.05 c 1367s | 24 | 4459292 | 4233462 | 4693 2138 | 1 | 8 1369.55/1370.08 c 1369s | 24 | 4465361 | 4239162 | 4693 2141 | 1 | 8 1371.55/1372.09 c 1371s | 24 | 4471569 | 4245062 | 4693 2143 | 1 | 8 1373.65/1374.10 c 1373s | 24 | 4478031 | 4250962 | 4693 2145 | 1 | 8 1375.55/1376.10 c 1375s | 24 | 4484987 | 4257662 | 4693 2148 | 1 | 8 1377.65/1378.11 c 1377s | 24 | 4491861 | 4264262 | 4693 2151 | 1 | 8 1379.65/1380.14 c 1379s | 24 | 4498747 | 4270962 | 4693 2153 | 1 | 8 1381.65/1382.15 c 1381s | 24 | 4505011 | 4277062 | 4693 2156 | 1 | 8 1383.65/1384.18 c 1383s | 24 | 4511315 | 4283262 | 4693 2158 | 1 | 8 1385.66/1386.19 c 1385s | 24 | 4518563 | 4290262 | 4693 2161 | 1 | 8 1387.76/1388.21 c 1387s | 24 | 4525328 | 4296862 | 4693 2164 | 1 | 8 1389.75/1390.24 c 1389s | 24 | 4531829 | 4302962 | 4693 2166 | 1 | 8 1391.75/1392.28 c 1391s | 24 | 4537434 | 4308362 | 4693 2168 | 1 | 8 1393.75/1394.29 c 1393s | 24 | 4543499 | 4314162 | 4693 2171 | 1 | 8 1395.85/1396.32 c 1395s | 24 | 4549504 | 4319862 | 4693 2173 | 1 | 8 1397.85/1398.32 c 1397s | 24 | 4555336 | 4325362 | 4693 2175 | 1 | 8 1399.86/1400.35 c 1399s | 24 | 4561110 | 4330862 | 4693 2177 | 1 | 8 1401.86/1402.36 c 1401s | 24 | 4567406 | 4336862 | 4693 2180 | 1 | 8 1403.85/1404.38 c 1403s | 24 | 4573005 | 4342262 | 4693 2182 | 1 | 8 1405.85/1406.39 c 1405s | 24 | 4578552 | 4347562 | 4693 2184 | 1 | 8 1407.95/1408.40 c 1407s | 24 | 4584398 | 4353162 | 4693 2186 | 1 | 8 1409.95/1410.43 c 1409s | 24 | 4589845 | 4358362 | 4693 2188 | 1 | 8 1411.96/1412.44 c 1411s | 24 | 4596106 | 4364262 | 4693 2191 | 1 | 8 1413.95/1414.47 c 1413s | 24 | 4601957 | 4369862 | 4693 2193 | 1 | 8 1415.95/1416.49 c 1415s | 24 | 4607182 | 4374762 | 4693 2195 | 1 | 8 1418.05/1418.50 c 1417s | 24 | 4612927 | 4380362 | 4693 2197 | 1 | 8 1420.05/1420.52 c 1419s | 24 | 4618346 | 4385662 | 4693 2199 | 1 | 8 1422.05/1422.54 c 1422s | 24 | 4624222 | 4391362 | 4693 2202 | 1 | 8 1424.06/1424.56 c 1424s | 24 | 4629592 | 4396562 | 4693 2204 | 1 | 8 1426.05/1426.56 c 1426s | 24 | 4634912 | 4401762 | 4693 2206 | 1 | 8 1428.05/1428.59 c 1428s | 24 | 4640507 | 4407162 | 4693 2208 | 1 | 8 1430.15/1430.62 c 1430s | 24 | 4646506 | 4412862 | 4693 2210 | 1 | 8 1432.15/1432.63 c 1432s | 24 | 4652221 | 4418362 | 4693 2212 | 1 | 8 1434.15/1434.66 c 1434s | 24 | 4658109 | 4423962 | 4693 2215 | 1 | 8 1436.15/1436.68 c 1436s | 24 | 4663542 | 4429262 | 4693 2217 | 1 | 8 1438.25/1438.71 c 1438s | 24 | 4668927 | 4434462 | 4693 2219 | 1 | 8 1440.25/1440.73 c 1440s | 24 | 4674836 | 4440062 | 4693 2221 | 1 | 8 1442.24/1442.74 c 1442s | 24 | 4680904 | 4445762 | 4693 2223 | 1 | 8 1444.24/1444.76 c 1444s | 24 | 4686521 | 4451162 | 4693 2226 | 1 | 8 1446.24/1446.76 c 1446s | 24 | 4692094 | 4456462 | 4693 2228 | 1 | 8 1448.25/1448.78 c 1448s | 24 | 4698714 | 4462762 | 4693 2230 | 1 | 8 1450.34/1450.81 c 1450s | 24 | 4704688 | 4468462 | 4693 2233 | 1 | 8 1452.34/1452.81 c 1452s | 24 | 4711428 | 4474862 | 4693 2235 | 1 | 8 1454.34/1454.82 c 1454s | 24 | 4717852 | 4481062 | 4693 2238 | 1 | 8 1456.34/1456.83 c 1456s | 24 | 4723624 | 4486562 | 4693 2240 | 1 | 8 1458.34/1458.86 c 1458s | 24 | 4729695 | 4492462 | 4693 2242 | 1 | 8 1460.35/1460.89 c 1460s | 24 | 4735491 | 4498062 | 4693 2244 | 1 | 8 1462.34/1462.89 c 1462s | 24 | 4741502 | 4503862 | 4693 2247 | 1 | 8 1464.44/1464.93 c 1464s | 24 | 4747047 | 4509162 | 4693 2249 | 1 | 8 1466.44/1466.97 c 1466s | 24 | 4752703 | 4514562 | 4693 2251 | 1 | 8 1468.44/1468.97 c 1468s | 24 | 4758468 | 4520162 | 4693 2253 | 1 | 8 1470.44/1471.00 c 1470s | 24 | 4764570 | 4526062 | 4693 2256 | 1 | 8 1472.55/1473.02 c 1472s | 24 | 4771107 | 4531862 | 4693 2258 | 1 | 8 1474.54/1475.05 c 1474s | 24 | 4777824 | 4537962 | 4693 2261 | 1 | 8 1476.54/1477.08 c 1476s | 24 | 4783862 | 4543862 | 4693 2263 | 1 | 8 1478.64/1479.11 c 1478s | 24 | 4790004 | 4549862 | 4693 2265 | 1 | 8 1480.64/1481.14 c 1480s | 24 | 4795563 | 4554962 | 4693 2267 | 1 | 8 1482.64/1483.17 c 1482s | 24 | 4800743 | 4559962 | 4693 2269 | 1 | 8 1484.64/1485.19 c 1484s | 24 | 4807321 | 4566062 | 4693 2272 | 1 | 8 1486.74/1487.22 c 1486s | 24 | 4812692 | 4571162 | 4693 2274 | 1 | 8 1488.74/1489.23 c 1488s | 24 | 4819107 | 4577362 | 4693 2276 | 1 | 8 1490.74/1491.25 c 1490s | 24 | 4824494 | 4582462 | 4693 2278 | 1 | 8 1492.74/1493.26 c 1492s | 24 | 4829589 | 4587262 | 4693 2280 | 1 | 8 1494.74/1495.27 c 1494s | 24 | 4834965 | 4592462 | 4693 2282 | 1 | 8 1496.75/1497.29 c 1496s | 24 | 4840736 | 4597862 | 4693 2284 | 1 | 8 1498.85/1499.31 c 1498s | 24 | 4846394 | 4603262 | 4693 2286 | 1 | 8 1500.84/1501.34 c 1500s | 24 | 4852560 | 4609162 | 4693 2289 | 1 | 8 1502.84/1503.38 c 1502s | 24 | 4857935 | 4614262 | 4693 2291 | 1 | 8 1504.94/1505.41 c 1504s | 24 | 4864173 | 4620162 | 4693 2293 | 1 | 8 1506.94/1507.41 c 1506s | 24 | 4870567 | 4626262 | 4693 2296 | 1 | 8 1508.94/1509.43 c 1508s | 24 | 4876729 | 4632162 | 4693 2298 | 1 | 8 1510.94/1511.47 c 1510s | 24 | 4882700 | 4637762 | 4693 2300 | 1 | 8 1513.04/1513.50 c 1512s | 24 | 4889131 | 4643862 | 4693 2303 | 1 | 8 1515.04/1515.50 c 1514s | 24 | 4895492 | 4649562 | 4693 2305 | 1 | 8 1517.04/1517.52 c 1516s | 24 | 4901825 | 4655462 | 4693 2307 | 1 | 8 1519.04/1519.53 c 1519s | 24 | 4907976 | 4661262 | 4693 2310 | 1 | 8 1521.03/1521.56 c 1521s | 24 | 4914481 | 4667362 | 4693 2312 | 1 | 8 1523.14/1523.62 c 1523s | 24 | 4920822 | 4673162 | 4693 2314 | 1 | 8 1525.13/1525.64 c 1525s | 24 | 4926646 | 4678562 | 4693 2317 | 1 | 8 1527.13/1527.66 c 1527s | 24 | 4932995 | 4684662 | 4693 2319 | 1 | 8 1529.13/1529.67 c 1529s | 24 | 4939155 | 4690262 | 4693 2321 | 1 | 8 1531.13/1531.67 c 1531s | 24 | 4945306 | 4695962 | 4693 2324 | 1 | 8 1533.13/1533.68 c 1533s | 24 | 4951472 | 4701762 | 4693 2326 | 1 | 8 1535.14/1535.68 c 1535s | 24 | 4957601 | 4707662 | 4693 2328 | 1 | 8 1537.23/1537.73 c 1537s | 24 | 4963543 | 4713262 | 4693 2331 | 1 | 8 1539.23/1539.75 c 1539s | 24 | 4969254 | 4718662 | 4693 2333 | 1 | 8 1541.23/1541.78 c 1541s | 24 | 4975262 | 4724262 | 4693 2335 | 1 | 8 1543.33/1543.80 c 1543s | 24 | 4981268 | 4729962 | 4693 2337 | 1 | 8 1545.33/1545.81 c 1545s | 24 | 4987170 | 4735462 | 4693 2339 | 1 | 8 1547.33/1547.81 c 1547s | 24 | 4992878 | 4740762 | 4693 2342 | 1 | 8 1549.33/1549.82 c 1549s | 24 | 4998460 | 4745762 | 4693 2344 | 1 | 8 1551.33/1551.89 c 1551s | 24 | 5004788 | 4751662 | 4693 2346 | 1 | 8 1553.33/1553.90 c 1553s | 24 | 5010752 | 4757162 | 4693 2348 | 1 | 8 1555.43/1555.90 c 1555s | 24 | 5017322 | 4763462 | 4693 2351 | 1 | 8 1557.43/1557.91 c 1557s | 24 | 5023533 | 4769362 | 4693 2353 | 1 | 8 1559.43/1559.92 c 1559s | 24 | 5028963 | 4774262 | 4693 2355 | 1 | 8 1561.43/1561.95 c 1561s | 24 | 5035045 | 4779962 | 4693 2357 | 1 | 8 1563.42/1563.96 c 1563s | 24 | 5040853 | 4785462 | 4693 2359 | 1 | 8 1565.42/1565.97 c 1565s | 24 | 5046702 | 4790962 | 4693 2362 | 1 | 8 1567.42/1567.97 c 1567s | 24 | 5053368 | 4797062 | 4693 2364 | 1 | 8 1569.42/1569.98 c 1569s | 24 | 5059356 | 4802762 | 4693 2366 | 1 | 8 1571.53/1572.02 c 1571s | 24 | 5065189 | 4808262 | 4693 2369 | 1 | 8 1573.52/1574.04 c 1573s | 24 | 5071413 | 4813962 | 4693 2371 | 1 | 8 1575.52/1576.04 c 1575s | 24 | 5077842 | 4820062 | 4693 2373 | 1 | 8 1577.52/1578.06 c 1577s | 24 | 5084005 | 4825662 | 4693 2376 | 1 | 8 1579.52/1580.08 c 1579s | 24 | 5090334 | 4831662 | 4693 2378 | 1 | 8 1581.62/1582.12 c 1581s | 24 | 5096528 | 4837462 | 4693 2380 | 1 | 8 1583.63/1584.14 c 1583s | 24 | 5102408 | 4843062 | 4693 2383 | 1 | 8 1585.62/1586.15 c 1585s | 24 | 5108747 | 4848962 | 4693 2385 | 1 | 8 1587.62/1588.17 c 1587s | 24 | 5115044 | 4854862 | 4693 2387 | 1 | 8 1589.62/1590.19 c 1589s | 24 | 5121163 | 4860162 | 4693 2389 | 1 | 8 1591.72/1592.25 c 1591s | 24 | 5126805 | 4865562 | 4693 2392 | 1 | 8 1593.82/1594.30 c 1593s | 24 | 5132765 | 4871162 | 4693 2394 | 1 | 8 1595.82/1596.34 c 1595s | 24 | 5138478 | 4876362 | 4693 2396 | 1 | 8 1597.82/1598.35 c 1597s | 24 | 5143518 | 4881162 | 4693 2398 | 1 | 8 1599.82/1600.36 c 1599s | 24 | 5150304 | 4887562 | 4693 2400 | 1 | 8 1601.92/1602.40 c 1601s | 24 | 5156851 | 4893662 | 4693 2403 | 1 | 8 1603.92/1604.43 c 1603s | 24 | 5162403 | 4898962 | 4693 2405 | 1 | 8 1605.92/1606.48 c 1605s | 24 | 5169029 | 4905062 | 4693 2407 | 1 | 8 1607.92/1608.48 c 1607s | 24 | 5175401 | 4910862 | 4693 2410 | 1 | 8 1609.93/1610.49 c 1609s | 24 | 5181676 | 4916862 | 4693 2412 | 1 | 8 1612.02/1612.52 c 1611s | 24 | 5188294 | 4923062 | 4693 2415 | 1 | 8 1614.02/1614.55 c 1614s | 24 | 5194670 | 4929062 | 4693 2417 | 1 | 8 1616.02/1616.55 c 1616s | 24 | 5200237 | 4934162 | 4693 2419 | 1 | 8 1618.02/1618.55 c 1618s | 24 | 5205979 | 4939462 | 4693 2421 | 1 | 8 1620.02/1620.56 c 1620s | 24 | 5211904 | 4944862 | 4693 2423 | 1 | 8 1622.03/1622.57 c 1622s | 24 | 5218124 | 4950662 | 4693 2426 | 1 | 8 1624.02/1624.58 c 1624s | 24 | 5223581 | 4955562 | 4693 2428 | 1 | 8 1626.02/1626.59 c 1626s | 24 | 5229396 | 4960962 | 4693 2430 | 1 | 8 1628.12/1628.62 c 1628s | 24 | 5235853 | 4966962 | 4693 2432 | 1 | 8 1630.12/1630.63 c 1630s | 24 | 5241539 | 4972262 | 4693 2434 | 1 | 8 1632.12/1632.66 c 1632s | 24 | 5247750 | 4977962 | 4693 2437 | 1 | 8 1634.13/1634.68 c 1634s | 24 | 5253912 | 4983762 | 4693 2439 | 1 | 8 1636.12/1636.69 c 1636s | 24 | 5259342 | 4989062 | 4693 2441 | 1 | 8 1638.22/1638.73 c 1638s | 24 | 5265101 | 4994462 | 4693 2443 | 1 | 8 1640.22/1640.74 c 1640s | 24 | 5270626 | 4999662 | 4693 2445 | 1 | 8 1642.22/1642.75 c 1642s | 24 | 5276504 | 5005162 | 4693 2447 | 1 | 8 1644.22/1644.78 c 1644s | 24 | 5282171 | 5010462 | 4693 2450 | 1 | 8 1646.32/1646.81 c 1646s | 24 | 5287311 | 5015262 | 4693 2451 | 1 | 8 1648.31/1648.84 c 1648s | 24 | 5293107 | 5020862 | 4693 2454 | 1 | 8 1650.31/1650.88 c 1650s | 24 | 5298634 | 5026262 | 4693 2456 | 1 | 8 1652.41/1652.90 c 1652s | 24 | 5304198 | 5031462 | 5163 2458 | 1 | 8 1654.41/1654.94 c 1654s | 24 | 5309473 | 5036362 | 5163 2459 | 1 | 8 1656.41/1656.95 c 1656s | 24 | 5314926 | 5041562 | 5163 2461 | 1 | 8 1658.42/1658.98 c 1658s | 24 | 5320722 | 5046962 | 5163 2463 | 1 | 8 1660.52/1661.02 c 1660s | 24 | 5325827 | 5051862 | 5163 2465 | 1 | 8 1662.51/1663.04 c 1662s | 24 | 5331683 | 5057462 | 5163 2467 | 1 | 8 1664.51/1665.07 c 1664s | 24 | 5337267 | 5062762 | 5163 2469 | 1 | 8 1665.41/1665.94 c 1665s | 25 | 5339763 | 5065098 | 5163 2470 | 1 | 8 1667.41/1667.97 c 1667s | 25 | 5346519 | 5071698 | 5163 2472 | 1 | 8 1669.42/1669.98 c 1669s | 25 | 5352647 | 5077598 | 5163 2475 | 1 | 8 1671.41/1671.98 c 1671s | 25 | 5357895 | 5082598 | 5163 2476 | 1 | 8 1673.41/1673.99 c 1673s | 25 | 5363100 | 5087398 | 5163 2478 | 1 | 8 1675.51/1676.01 c 1675s | 25 | 5368845 | 5092898 | 5163 2480 | 1 | 8 1677.51/1678.03 c 1677s | 25 | 5375566 | 5099498 | 5163 2483 | 1 | 8 1679.51/1680.04 c 1679s | 25 | 5381897 | 5105698 | 5163 2485 | 1 | 8 1681.51/1682.06 c 1681s | 25 | 5387282 | 5110798 | 5163 2487 | 1 | 8 1683.51/1684.08 c 1683s | 25 | 5392985 | 5116198 | 5163 2489 | 1 | 8 1685.50/1686.08 c 1685s | 25 | 5398272 | 5121398 | 5163 2491 | 1 | 8 1687.60/1688.12 c 1687s | 25 | 5404992 | 5127898 | 5163 2493 | 1 | 8 1689.60/1690.15 c 1689s | 25 | 5411293 | 5133998 | 5163 2496 | 1 | 8 1691.60/1692.16 c 1691s | 25 | 5417217 | 5139698 | 5163 2498 | 1 | 8 1693.61/1694.16 c 1693s | 25 | 5423527 | 5145798 | 5163 2500 | 1 | 8 1695.60/1696.17 c 1695s | 25 | 5429882 | 5151898 | 5163 2502 | 1 | 8 1697.70/1698.21 c 1697s | 25 | 5435699 | 5157598 | 5163 2504 | 1 | 8 1699.70/1700.21 c 1699s | 25 | 5441693 | 5163298 | 5163 2506 | 1 | 8 1701.70/1702.24 c 1701s | 25 | 5447315 | 5168798 | 5163 2508 | 1 | 8 1703.70/1704.26 c 1703s | 25 | 5453135 | 5174498 | 5163 2511 | 1 | 8 1705.80/1706.30 c 1705s | 25 | 5460039 | 5181098 | 5163 2513 | 1 | 8 1707.81/1708.33 c 1707s | 25 | 5464942 | 5185798 | 5163 2515 | 1 | 8 1709.90/1710.40 c 1709s | 25 | 5469847 | 5190498 | 5163 2517 | 1 | 8 1711.90/1712.42 c 1711s | 25 | 5474573 | 5195098 | 5163 2518 | 1 | 8 1713.91/1714.43 c 1713s | 25 | 5481455 | 5201698 | 5163 2521 | 1 | 8 1715.91/1716.44 c 1715s | 25 | 5486883 | 5206998 | 5163 2523 | 1 | 8 1717.91/1718.46 c 1717s | 25 | 5492532 | 5212398 | 5163 2525 | 1 | 8 1719.91/1720.47 c 1719s | 25 | 5498288 | 5217998 | 5163 2527 | 1 | 8 1721.91/1722.48 c 1721s | 25 | 5504887 | 5224298 | 5163 2529 | 1 | 8 1723.91/1724.50 c 1723s | 25 | 5511510 | 5230698 | 5163 2531 | 1 | 8 1726.01/1726.50 c 1725s | 25 | 5516965 | 5235898 | 5163 2533 | 1 | 8 1728.01/1728.53 c 1728s | 25 | 5522547 | 5241198 | 5163 2535 | 1 | 8 1730.01/1730.55 c 1730s | 25 | 5528619 | 5246998 | 5163 2538 | 1 | 8 1732.01/1732.57 c 1732s | 25 | 5534756 | 5252698 | 5163 2540 | 1 | 8 1734.00/1734.59 c 1734s | 25 | 5540583 | 5258098 | 5163 2542 | 1 | 8 1736.10/1736.60 c 1736s | 25 | 5546255 | 5263498 | 5163 2544 | 1 | 8 1738.10/1738.61 c 1738s | 25 | 5552710 | 5269698 | 5163 2546 | 1 | 8 1740.10/1740.63 c 1740s | 25 | 5558982 | 5275598 | 5163 2548 | 1 | 8 1742.10/1742.65 c 1742s | 25 | 5564689 | 5280898 | 5163 2550 | 1 | 8 1744.11/1744.69 c 1744s | 25 | 5571123 | 5286898 | 5163 2552 | 1 | 8 1746.10/1746.69 c 1746s | 25 | 5576689 | 5292298 | 5163 2554 | 1 | 8 1748.20/1748.70 c 1748s | 25 | 5582610 | 5297898 | 5163 2556 | 1 | 8 1750.20/1750.71 c 1750s | 25 | 5588859 | 5303798 | 5163 2559 | 1 | 8 1752.20/1752.71 c 1752s | 25 | 5595331 | 5309898 | 5163 2561 | 1 | 8 1754.20/1754.74 c 1754s | 25 | 5601733 | 5315998 | 5163 2563 | 1 | 8 1756.20/1756.76 c 1756s | 25 | 5608254 | 5322198 | 5163 2566 | 1 | 8 1758.20/1758.77 c 1758s | 25 | 5614741 | 5328398 | 5163 2568 | 1 | 8 1760.30/1760.80 c 1760s | 25 | 5620437 | 5333798 | 5163 2570 | 1 | 8 1762.30/1762.82 c 1762s | 25 | 5626370 | 5339398 | 5163 2572 | 1 | 8 1764.30/1764.83 c 1764s | 25 | 5631736 | 5344398 | 5163 2574 | 1 | 8 1766.29/1766.85 c 1766s | 25 | 5637789 | 5350098 | 5163 2576 | 1 | 8 1768.30/1768.89 c 1768s | 25 | 5644289 | 5356098 | 5163 2578 | 1 | 8 1770.39/1770.91 c 1770s | 25 | 5650266 | 5361598 | 5163 2580 | 1 | 8 1772.39/1772.95 c 1772s | 25 | 5654927 | 5366098 | 5163 2582 | 1 | 8 1774.39/1774.96 c 1774s | 25 | 5660553 | 5371498 | 5163 2584 | 1 | 8 1776.39/1776.99 c 1776s | 25 | 5667205 | 5377898 | 5163 2586 | 1 | 8 1778.49/1779.02 c 1778s | 25 | 5673835 | 5384298 | 5163 2589 | 1 | 8 1780.50/1781.02 c 1780s | 25 | 5680491 | 5390698 | 5163 2591 | 1 | 8 1782.49/1783.04 c 1782s | 25 | 5686831 | 5396798 | 5163 2593 | 1 | 8 1784.49/1785.05 c 1784s | 25 | 5693315 | 5402998 | 5163 2595 | 1 | 8 1786.49/1787.06 c 1786s | 25 | 5699742 | 5408998 | 5163 2598 | 1 | 8 1788.49/1789.06 c 1788s | 25 | 5705912 | 5414898 | 5163 2600 | 1 | 8 1790.49/1791.07 c 1790s | 25 | 5712501 | 5421098 | 5163 2602 | 1 | 8 1792.49/1793.09 c 1792s | 25 | 5718777 | 5427098 | 5163 2604 | 1 | 8 1794.59/1795.12 c 1794s | 25 | 5724864 | 5432898 | 5163 2607 | 1 | 8 1796.60/1797.15 c 1796s | 25 | 5731143 | 5438798 | 5163 2609 | 1 | 8 1798.60/1799.18 c 1798s | 25 | 5737351 | 5444498 | 5163 2611 | 1 | 8
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-4106184-1466267116/watcher-4106184-1466267116 -o /tmp/evaluation-result-4106184-1466267116/solver-4106184-1466267116 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106184-1466267116.opb pid=25427 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.24 2.27 2.17 3/179 25430 /proc/meminfo: memFree=28944940/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=674236 CPUtime=0 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 2507 0 0 0 0 0 0 0 20 0 4 0 28757322 690417664 2356 33554432000 4194304 16246674 140736717573664 140736717573088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25430/statm: 169071 2367 441 2943 0 165965 0 [pid=25430/tid=25431] ppid=25427 vsize=691644 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 708243456 2425 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=695740 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 712437760 2443 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=699836 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28757323 716632064 2459 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100157 s] /proc/loadavg: 2.24 2.27 2.17 3/179 25430 /proc/meminfo: memFree=28944940/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 21172 0 0 0 6 3 0 0 20 0 4 0 28757322 1247350784 21010 33554432000 4194304 16246674 140736717573664 140736717573088 5515837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25430/statm: 304529 21018 758 2943 0 301423 0 [pid=25430/tid=25431] ppid=25427 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1247350784 21022 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1247350784 21027 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28757323 1247350784 21030 33554432000 4194304 16246674 140736717573664 140181737819312 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.200533 s] /proc/loadavg: 2.24 2.27 2.17 3/179 25430 /proc/meminfo: memFree=28944940/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 37341 0 0 0 14 5 0 0 20 0 4 0 28757322 1247350784 37178 33554432000 4194304 16246674 140736717573664 140736717573088 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25430/statm: 304529 37186 758 2943 0 301423 0 [pid=25430/tid=25431] ppid=25427 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1247350784 37192 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1247350784 37195 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28757323 1247350784 37199 33554432000 4194304 16246674 140736717573664 140181737819312 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.300487 s] /proc/loadavg: 2.24 2.27 2.17 3/179 25430 /proc/meminfo: memFree=28944940/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1218116 CPUtime=0.28 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 53254 0 0 0 21 7 0 0 20 0 4 0 28757322 1247350784 53092 33554432000 4194304 16246674 140736717573664 140736717573088 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25430/statm: 304529 53096 758 2943 0 301423 0 [pid=25430/tid=25431] ppid=25427 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1247350784 53099 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1247350784 53103 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28757323 1247350784 53109 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700411 s] /proc/loadavg: 2.24 2.27 2.17 3/179 25430 /proc/meminfo: memFree=28944940/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 122078 0 0 0 52 17 0 0 20 0 4 0 28757322 1247350784 121915 33554432000 4194304 16246674 140736717573664 140736717555584 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25430/statm: 304529 121923 793 2943 0 301423 0 [pid=25430/tid=25431] ppid=25427 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1247350784 121928 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1247350784 121933 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28757323 1247350784 121940 33554432000 4194304 16246674 140736717573664 140181737819312 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.50041 s] /proc/loadavg: 2.24 2.27 2.17 3/183 25434 /proc/meminfo: memFree=28169908/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1220164 CPUtime=1.49 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 246001 0 0 0 116 33 0 0 20 0 4 0 28757322 1249447936 245815 33554432000 4194304 16246674 140736717573664 140736717555584 12415766 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25430/statm: 305041 245815 851 2943 0 301935 0 [pid=25430/tid=25431] ppid=25427 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1249447936 245815 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1249447936 245815 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1249447936 245815 33554432000 4194304 16246674 140736717573664 140181737819312 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.10042 s] /proc/loadavg: 2.24 2.27 2.17 3/183 25434 /proc/meminfo: memFree=27961712/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1303108 CPUtime=3.09 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 266725 0 0 0 271 38 0 0 20 0 4 0 28757322 1334382592 266539 33554432000 4194304 16246674 140736717573664 140736717555584 5531896 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25430/statm: 325777 266539 853 2943 0 322671 0 [pid=25430/tid=25431] ppid=25427 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1334382592 266539 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1334382592 266539 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1334382592 266539 33554432000 4194304 16246674 140736717573664 140181737819312 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) 1303108 [startup+6.30042 s] /proc/loadavg: 2.22 2.27 2.17 3/183 25434 /proc/meminfo: memFree=27875020/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 267899 0 0 0 591 38 0 0 20 0 4 0 28757322 1338576896 267713 33554432000 4194304 16246674 140736717573664 140736717555584 5712760 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25430/statm: 326801 267713 853 2943 0 323695 0 [pid=25430/tid=25431] ppid=25427 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1338576896 267713 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1338576896 267713 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1338576896 267713 33554432000 4194304 16246674 140736717573664 140181737819312 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: 2.21 2.26 2.17 3/183 25434 /proc/meminfo: memFree=27872512/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1309252 CPUtime=12.68 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 268411 0 0 0 1230 38 0 0 20 0 4 0 28757322 1340674048 268225 33554432000 4194304 16246674 140736717573664 140736717555584 12477709 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25430/statm: 327313 268225 853 2943 0 324207 0 [pid=25430/tid=25431] ppid=25427 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1340674048 268225 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1340674048 268225 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1340674048 268225 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.30 2.28 2.18 3/183 25434 /proc/meminfo: memFree=27872868/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1309252 CPUtime=25.48 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 268411 0 0 0 2510 38 0 0 20 0 4 0 28757322 1340674048 268225 33554432000 4194304 16246674 140736717573664 140736717556664 5600746 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25430/statm: 327313 268225 853 2943 0 324207 0 [pid=25430/tid=25431] ppid=25427 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1340674048 268225 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1340674048 268225 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1340674048 268225 33554432000 4194304 16246674 140736717573664 140181737819312 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) 1309252 [startup+51.1005 s] /proc/loadavg: 2.28 2.28 2.18 4/183 25434 /proc/meminfo: memFree=27871972/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1310276 CPUtime=51.08 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 268667 0 0 0 5069 39 0 0 20 0 4 0 28757322 1341722624 268481 33554432000 4194304 16246674 140736717573664 140736717555584 5711784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25430/statm: 327569 268481 853 2943 0 324463 0 [pid=25430/tid=25431] ppid=25427 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1341722624 268481 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1341722624 268481 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1341722624 268481 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1310276 [startup+102.301 s] /proc/loadavg: 2.23 2.26 2.18 4/183 25435 /proc/meminfo: memFree=27868060/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1313348 CPUtime=102.27 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 269435 0 0 0 10188 39 0 0 20 0 4 0 28757322 1344868352 269249 33554432000 4194304 16246674 140736717573664 140736717555584 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25430/statm: 328337 269249 853 2943 0 325231 0 [pid=25430/tid=25431] ppid=25427 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1344868352 269249 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1344868352 269249 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1344868352 269249 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1313348 ################ # More data... # ################ /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1320516 [startup+1362.3 s] /proc/loadavg: 2.30 2.40 2.28 3/183 25612 /proc/meminfo: memFree=27866320/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1320516 CPUtime=1361.86 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 271624 0 0 0 136133 53 0 0 20 0 4 0 28757322 1352208384 271300 33554432000 4194304 16246674 140736717573664 140736717556656 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25430/statm: 330129 271300 854 2943 0 327023 0 [pid=25430/tid=25431] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1320516 [startup+1422.3 s] /proc/loadavg: 2.32 2.39 2.28 3/183 25614 /proc/meminfo: memFree=27861080/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1320516 CPUtime=1421.86 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 271624 0 0 0 142132 54 0 0 20 0 4 0 28757322 1352208384 271300 33554432000 4194304 16246674 140736717573664 140736717555584 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25430/statm: 330129 271300 854 2943 0 327023 0 [pid=25430/tid=25431] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1320516 [startup+1482.3 s] /proc/loadavg: 2.33 2.37 2.28 3/183 25615 /proc/meminfo: memFree=27860740/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1320516 CPUtime=1481.84 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 271624 0 0 0 148130 54 0 0 20 0 4 0 28757322 1352208384 271300 33554432000 4194304 16246674 140736717573664 140736717555584 12483212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25430/statm: 330129 271300 854 2943 0 327023 0 [pid=25430/tid=25431] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1320516 [startup+1542.31 s] /proc/loadavg: 2.26 2.35 2.27 3/184 25619 /proc/meminfo: memFree=27860732/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1320516 CPUtime=1541.84 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 271624 0 0 0 154129 55 0 0 20 0 4 0 28757322 1352208384 271300 33554432000 4194304 16246674 140736717573664 140736717555584 5822938 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25430/statm: 330129 271300 854 2943 0 327023 0 [pid=25430/tid=25431] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1320516 [startup+1602.3 s] /proc/loadavg: 2.30 2.34 2.27 3/183 25620 /proc/meminfo: memFree=27860708/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1320516 CPUtime=1601.82 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 271624 0 0 0 160127 55 0 0 20 0 4 0 28757322 1352208384 271300 33554432000 4194304 16246674 140736717573664 140736717555584 5823355 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25430/statm: 330129 271300 854 2943 0 327023 0 [pid=25430/tid=25431] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1320516 [startup+1662.3 s] /proc/loadavg: 2.29 2.32 2.27 3/183 25621 /proc/meminfo: memFree=27860552/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1320516 CPUtime=1661.81 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 271624 0 0 0 166125 56 0 0 20 0 4 0 28757322 1352208384 271300 33554432000 4194304 16246674 140736717573664 140736717555584 5822671 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25430/statm: 330129 271300 854 2943 0 327023 0 [pid=25430/tid=25431] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1320516 [startup+1722.3 s] /proc/loadavg: 2.24 2.31 2.27 3/183 25623 /proc/meminfo: memFree=27860768/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1320516 CPUtime=1721.81 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 271624 0 0 0 172124 57 0 0 20 0 4 0 28757322 1352208384 271300 33554432000 4194304 16246674 140736717573664 140736717555584 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25430/statm: 330129 271300 854 2943 0 327023 0 [pid=25430/tid=25431] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1320516 [startup+1782.3 s] /proc/loadavg: 2.40 2.33 2.28 4/183 25721 /proc/meminfo: memFree=27870180/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1320516 CPUtime=1781.79 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 271624 0 0 0 178122 57 0 0 20 0 4 0 28757322 1352208384 271300 33554432000 4194304 16246674 140736717573664 140736717555584 5717462 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25430/statm: 330129 271300 854 2943 0 327023 0 [pid=25430/tid=25431] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1320516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.31 2.31 2.27 3/183 25721 /proc/meminfo: memFree=27869336/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1320516 CPUtime=1800 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 271624 0 0 0 179942 58 0 0 20 0 4 0 28757322 1352208384 271300 33554432000 4194304 16246674 140736717573664 140736717555584 6013193 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25430/statm: 330129 271300 854 2943 0 327023 0 [pid=25430/tid=25431] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1320516 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 25430 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.31 2.31 2.27 3/183 25721 /proc/meminfo: memFree=27869336/32872528 swapFree=1499884/1696108 [pid=25430] ppid=25427 vsize=1320516 CPUtime=1800 cores=1,3,5,7 /proc/25430/stat : 25430 (toysat) R 25427 25430 24910 0 -1 4202496 271624 0 0 0 179942 58 0 0 20 0 4 0 28757322 1352208384 271300 33554432000 4194304 16246674 140736717573664 140736717555584 6013193 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25430/statm: 330129 271300 854 2943 0 327023 0 [pid=25430/tid=25431] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25431/stat : 25431 (toysat) S 25427 25430 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181758782704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25430/tid=25432] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25432/stat : 25432 (toysat) S 25427 25430 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181748292848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25430/tid=25433] ppid=25427 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/25430/task/25433/stat : 25433 (toysat) S 25427 25430 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28757323 1352208384 271300 33554432000 4194304 16246674 140736717573664 140181737819312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1320516 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.43 CPU system time (s): 0.580911 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (KiB): 1320516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.580911 maximum resident set size= 1085200 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271624 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= 407 involuntary context switches= 2355 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.70628 second user time and 6.84396 second system time The end
Begin job on node137 at 2016-06-18 18:25:16 IDJOB=4106184 IDBENCH=47964 IDSOLVER=2542 FILE ID=node137/4106184-1466267116 RUNJOBID= node137-1466264772-24927 PBS_JOBID= 19918225 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=47-P1=211-P2=233-P3=173-P4=181-P5=71-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106184-1466267116/watcher-4106184-1466267116 -o /tmp/evaluation-result-4106184-1466267116/solver-4106184-1466267116 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106184-1466267116.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 66c115908fb4694df4d314e4daf7ce17 RANDOM SEED=1781871276 node137.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.486 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 : 5332.97 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.486 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.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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.38 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.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28945576 kB Buffers: 145724 kB Cached: 255300 kB SwapCached: 1268 kB Active: 1234300 kB Inactive: 252444 kB Active(anon): 1087020 kB Inactive(anon): 1028 kB Active(file): 147280 kB Inactive(file): 251416 kB Unevictable: 1696108 kB Mlocked: 1499884 kB SwapTotal: 67108856 kB SwapFree: 67100008 kB Dirty: 16644 kB Writeback: 0 kB AnonPages: 2783128 kB Mapped: 10684 kB Shmem: 0 kB Slab: 607608 kB SReclaimable: 51264 kB SUnreclaim: 556344 kB KernelStack: 1496 kB PageTables: 9624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2925564 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 974848 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= 71672 MiB End job on node137 at 2016-06-18 18:55:17