| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=13-P2=53-P3=149-P4=137-B.opb |
| MD5SUM | 154cbb2910332fd7a04bd3cd62f6a12f |
| 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.069988 |
| 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 | 96 |
| Total number of constraints | 9 |
| 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 | 9 |
| 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) | 256 |
| Sum of products size (including duplicates) | 512 |
| Number of different products | 256 |
| Sum of products size | 512 |
0.00/0.00 c 2016-06-18T19:43:00+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-4106457-1466271780.opb"] 0.00/0.01 c use --random-gen="848305507 2780334551 976528414 2847317738 1627239524 2357135827 3799840759 2357768069 1154195599 442258934 1556011567 4000638536 1466413970 2603778293 3008419003 1695109867 4137061338 3304634660 2577316089 1504054770 3488430007 1978170193 1359699776 2952809715 858682726 3835529895 1846314317 1329288780 1913861588 497156945 536580264 3917015357 4057401820 3081050824 1494659631 2901623737 2860199043 2071276226 4285775034 3601594623 3921211410 305099261 3500366906 1164662146 3274005514 2171314928 3978905192 424491728 1387658037 3746884113 2484745245 3345327502 1997143337 1949986838 1197582415 1602652978 2220058995 3954453039 1711311769 4103889415 2704734314 72947708 320053701 413521521 2403186060 3046025441 3470665710 1224483069 691517135 1146989505 693857833 461165033 4285727940 327055070 2838182348 1427423210 2473445024 919634925 850681832 2356944187 1468969780 811383016 3538045081 3550218604 3981272345 406686985 2713689200 3557178224 4263687805 2272316929 3700404515 499149438 2739027842 3783341899 2777046411 2810210444 3918313104 3676736252 4211307261 380459450 2385927302 1194262778 2356558891 1438220532 2575203717 121276099 996792097 3552062714 2037453234 207396847 2879564498 2637283804 2223737322 3946270877 717270676 2495481788 721099873 2263447408 1762447843 2484170770 1789874392 3638910962 1552452839 3289775717 1975389609 871469586 2565093638 3639652491 2737151859 3065679252 4036349288 2463543068 4178140203 3407946875 2730599450 479966148 2262535102 870567731 4294198254 3319376127 4030081930 497156782 4213878789 3219757244 2599123374 4203112912 4147991134 1746055126 2741597691 2463088931 1115291026 1160997984 2752592324 2644125854 1462115554 3305879200 1831559729 3299486464 3274315591 2027614495 2984485548 915780358 872292666 3088385377 3124505680 1359416951 414598168 1041583823 1472635982 2814261496 1360497697 1698266661 3907837890 2806002724 111982061 4112768611 452360940 1883827337 1664339968 4085015957 2315315146 1067902148 1276898373 2168372414 596458306 2338537597 4198188081 3485441013 2820785084 2762703051 2071568081 1485808939 2939455060 2193593554 3531707361 3314312393 1266117949 1938755566 1391361178 1915311490 2954991129 843979908 650431892 3974278699 1954000887 3890506915 3812220950 1707433881 2071347445 3570817540 43772719 3936470453 539112882 232634260 824301282 3714971961 954708432 3084785720 699145513 1633710964 3308660942 1524380485 150652725 828016934 1081322710 3985419202 3617122463 2203096026 4287231166 1123323517 277760076 2132235281 2915383902 3839620159 2511892945 1601127675 199974581 3719748352 763335278 2386969347 3584201801 3878398662 27521748 1475533923 1780614437 2918389686 4236593997 2747020640 2781370140 2427435070 4178952445 2747396499 3310884120 228797022 3499075944 3426287458 255 362436" option to reproduce the execution 0.00/0.01 c #vars 96 0.00/0.01 c #constraints 9 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 | 377 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 116 | 100 | 377 0 | 0 | 0 0.00/0.07 c 0.1s | 2 | 284 | 250 | 415 0 | 0 | 0 0.09/0.12 c 0.1s | 3 | 537 | 475 | 457 0 | 0 | 0 0.19/0.21 c 0.2s | 4 | 915 | 813 | 503 1 | 0 | 0 0.29/0.32 c 0.3s | 5 | 1480 | 1320 | 554 2 | 0 | 0 0.69/0.70 c 0.7s | 6 | 2306 | 2081 | 671 4 | 0 | 0 0.99/1.04 c 1.0s | 7 | 3512 | 3223 | 739 7 | 0 | 0 1.39/1.41 c 1.4s | 7 | 4905 | 4374 | 739 9 | 0 | 0 1.39/1.41 c #cpu_time = 1.387s 1.39/1.41 c #wall_clock_time = 1.391s 1.39/1.41 c #decision = 4905 1.39/1.41 c #random_decision = 22 1.39/1.41 c #conflict = 4374 1.39/1.41 c #restart = 7 1.39/1.41 o 247 1.39/1.41 c BCD2: updating upper bound: 255 -> 246 1.39/1.41 c BCD2: 0 <= obj <= 246 1.39/1.41 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0 1.39/1.41 c BCD2: #sat=1 #unsat=1 bias=1/2 1.39/1.41 c Solving starts ... 1.39/1.41 c ============================[ Search Statistics ]============================ 1.39/1.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.41 c | | | | Limit GC | Var | Constra 1.39/1.41 c ============================================================================= 1.39/1.41 c 0.0s | 0 | 0 | 0 | 739 0 | 0 | 0 1.39/1.41 c 0.0s | 0 | 6 | 0 | 739 1 | 0 | 0 1.39/1.41 c #cpu_time = 0.005s 1.39/1.41 c #wall_clock_time = 0.005s 1.39/1.41 c #decision = 6 1.39/1.41 c #random_decision = 0 1.39/1.41 c #conflict = 0 1.39/1.41 c #restart = 0 1.39/1.41 c BCD2: found a new core of size 7: cost of the new core is >=2 1.39/1.41 c lower bound updated to 2 1.39/1.41 c BCD2: 2 <= obj <= 246 1.39/1.41 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0 1.39/1.41 c BCD2: #sat=1 #unsat=2 bias=2/3 1.39/1.41 c Solving starts ... 1.39/1.41 c ============================[ Search Statistics ]============================ 1.39/1.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.41 c | | | | Limit GC | Var | Constra 1.39/1.41 c ============================================================================= 1.39/1.41 c 0.0s | 0 | 0 | 0 | 739 0 | 0 | 0 1.39/1.47 c 0.1s | 1 | 152 | 100 | 739 0 | 0 | 0 1.39/1.49 c 0.1s | 2 | 318 | 250 | 739 0 | 0 | 0 1.49/1.53 c 0.1s | 3 | 600 | 475 | 739 1 | 0 | 0 1.59/1.62 c 0.2s | 4 | 1009 | 813 | 813 1 | 0 | 0 1.69/1.75 c 0.3s | 5 | 1586 | 1320 | 813 2 | 0 | 0 1.89/1.93 c 0.5s | 6 | 2433 | 2081 | 813 4 | 0 | 0 2.09/2.20 c 0.8s | 7 | 3718 | 3223 | 895 6 | 0 | 0 2.48/2.54 c 1.1s | 8 | 5497 | 4936 | 895 9 | 0 | 0 3.68/3.71 c 2.3s | 9 | 8666 | 7506 | 985 13 | 0 | 0 4.49/4.54 c 3.1s | 10 | 12704 | 11361 | 985 20 | 0 | 0 5.79/5.89 c 4.5s | 11 | 18943 | 17144 | 1084 28 | 0 | 0 7.89/7.90 c 6.5s | 12 | 27860 | 25819 | 1193 41 | 0 | 0 9.79/9.90 c 8.5s | 12 | 36847 | 34519 | 1313 53 | 0 | 0 11.00/11.09 c 9.7s | 13 | 41290 | 38832 | 1313 59 | 0 | 0 13.09/13.10 c 11.7s | 13 | 50119 | 47332 | 1313 69 | 0 | 0 15.09/15.11 c 13.7s | 13 | 58853 | 55832 | 1445 80 | 0 | 0 15.79/15.85 c 14.4s | 14 | 61436 | 58352 | 1445 83 | 0 | 0 17.79/17.86 c 16.4s | 14 | 69979 | 66652 | 1445 93 | 0 | 0 19.79/19.88 c 18.5s | 14 | 76651 | 72952 | 1445 100 | 0 | 0 21.79/21.89 c 20.5s | 14 | 84999 | 80952 | 1445 110 | 0 | 0 23.29/23.36 c 21.9s | 15 | 91927 | 87632 | 1590 117 | 0 | 0 25.29/25.36 c 23.9s | 15 | 101046 | 96532 | 1590 126 | 0 | 0 27.29/27.37 c 26.0s | 15 | 110353 | 105632 | 1590 136 | 0 | 0 29.28/29.37 c 28.0s | 15 | 119510 | 114632 | 1590 146 | 0 | 0 31.28/31.38 c 30.0s | 15 | 128181 | 123132 | 1590 155 | 0 | 0 33.28/33.39 c 32.0s | 15 | 136703 | 131532 | 1750 164 | 0 | 0 33.38/33.40 c 32.0s | 16 | 136725 | 131552 | 1750 164 | 0 | 0 35.38/35.41 c 34.0s | 16 | 146038 | 140652 | 1750 173 | 0 | 0 37.39/37.41 c 36.0s | 16 | 152294 | 146552 | 1750 179 | 0 | 0 39.38/39.43 c 38.0s | 16 | 160435 | 154052 | 1750 186 | 0 | 0 41.38/41.44 c 40.0s | 16 | 168469 | 161352 | 1750 193 | 0 | 0 43.38/43.46 c 42.0s | 16 | 176174 | 168652 | 1750 201 | 0 | 0 45.38/45.49 c 44.1s | 16 | 183114 | 175152 | 1750 207 | 0 | 0 47.48/47.52 c 46.1s | 16 | 190263 | 181952 | 1750 214 | 0 | 0 49.49/49.52 c 48.1s | 16 | 196894 | 187952 | 1750 220 | 0 | 0 51.48/51.53 c 50.1s | 16 | 203624 | 194252 | 1926 226 | 0 | 0 52.48/52.57 c 51.2s | 17 | 206989 | 197432 | 1926 228 | 0 | 0 54.48/54.59 c 53.2s | 17 | 216250 | 206432 | 1926 237 | 0 | 0 56.58/56.61 c 55.2s | 17 | 224851 | 214932 | 1926 244 | 0 | 0 58.58/58.62 c 57.2s | 17 | 233499 | 223432 | 1926 252 | 0 | 0 60.58/60.63 c 59.2s | 17 | 242330 | 232132 | 1926 260 | 0 | 0 62.58/62.63 c 61.2s | 17 | 251043 | 240732 | 1926 268 | 0 | 0 64.58/64.66 c 63.2s | 17 | 259160 | 248432 | 1926 275 | 0 | 0 66.57/66.68 c 65.3s | 17 | 266241 | 255132 | 1926 281 | 0 | 0 68.57/68.69 c 67.3s | 17 | 273600 | 262232 | 1926 288 | 0 | 0 70.68/70.72 c 69.3s | 17 | 281135 | 269532 | 1926 294 | 0 | 0 72.69/72.73 c 71.3s | 17 | 289309 | 277332 | 1926 301 | 0 | 0 74.68/74.73 c 73.3s | 17 | 296598 | 284432 | 1926 308 | 0 | 0 76.68/76.74 c 75.3s | 17 | 303967 | 291532 | 2119 314 | 0 | 0 77.78/77.89 c 76.5s | 18 | 308760 | 296252 | 2119 318 | 0 | 0 79.88/79.90 c 78.5s | 18 | 315496 | 301752 | 2119 323 | 0 | 0 81.88/81.92 c 80.5s | 18 | 322516 | 308452 | 2119 328 | 0 | 0 83.88/83.96 c 82.5s | 18 | 329418 | 314952 | 2119 334 | 0 | 0 85.89/85.99 c 84.6s | 18 | 336253 | 321552 | 2119 339 | 0 | 0 87.88/88.00 c 86.6s | 18 | 342189 | 327152 | 2119 344 | 0 | 0 89.98/90.00 c 88.6s | 18 | 348392 | 333052 | 2119 349 | 0 | 0 91.98/92.04 c 90.6s | 18 | 355342 | 339752 | 2119 354 | 0 | 0 93.98/94.06 c 92.6s | 18 | 361627 | 345752 | 2119 359 | 0 | 0 95.98/96.07 c 94.7s | 18 | 367450 | 351152 | 2119 364 | 0 | 0 98.08/98.10 c 96.7s | 18 | 373338 | 356352 | 2119 368 | 0 | 0 100.08/100.11 c 98.7s | 18 | 380965 | 363652 | 2119 374 | 0 | 0 102.08/102.12 c 100s | 18 | 388277 | 370452 | 2119 380 | 0 | 0 104.08/104.12 c 102s | 18 | 396327 | 378052 | 2119 386 | 0 | 0 106.07/106.14 c 104s | 18 | 403490 | 384852 | 2119 392 | 0 | 0 108.07/108.17 c 106s | 18 | 409557 | 390452 | 2119 397 | 0 | 0 110.08/110.19 c 108s | 18 | 415747 | 396352 | 2119 402 | 0 | 0 112.07/112.20 c 110s | 18 | 422873 | 403052 | 2119 407 | 0 | 0 114.17/114.22 c 112s | 18 | 428554 | 408452 | 2119 412 | 0 | 0 116.17/116.25 c 114s | 18 | 435491 | 415052 | 2119 417 | 0 | 0 118.17/118.25 c 116s | 18 | 442971 | 422152 | 2119 423 | 0 | 0 120.17/120.26 c 118s | 18 | 451483 | 430352 | 2119 430 | 0 | 0 122.17/122.27 c 120s | 18 | 459338 | 437752 | 2331 436 | 0 | 0 123.97/124.05 c 122s | 19 | 466365 | 444482 | 2331 441 | 0 | 0 125.97/126.07 c 124s | 19 | 474156 | 452082 | 2331 447 | 0 | 0 127.97/128.07 c 126s | 19 | 482081 | 459582 | 2331 453 | 0 | 0 129.97/130.07 c 128s | 19 | 490037 | 467382 | 2331 459 | 0 | 0 131.97/132.10 c 130s | 19 | 497483 | 474682 | 2331 464 | 0 | 0 134.07/134.12 c 132s | 19 | 505877 | 482882 | 2331 471 | 0 | 0 136.07/136.12 c 134s | 19 | 514125 | 490982 | 2331 477 | 0 | 0 138.07/138.13 c 136s | 19 | 522464 | 499182 | 2331 483 | 0 | 0 140.07/140.13 c 138s | 19 | 530591 | 507182 | 2331 489 | 0 | 0 142.07/142.13 c 140s | 19 | 538816 | 515282 | 2331 496 | 0 | 0 144.08/144.14 c 142s | 19 | 546656 | 522982 | 2331 501 | 0 | 0 146.07/146.15 c 144s | 19 | 554282 | 530382 | 2331 507 | 0 | 0 148.07/148.17 c 146s | 19 | 562522 | 538482 | 2331 513 | 0 | 0 150.07/150.18 c 148s | 19 | 570487 | 546282 | 2331 519 | 0 | 0 152.07/152.19 c 150s | 19 | 577931 | 553482 | 2331 525 | 0 | 0 154.17/154.20 c 152s | 19 | 586484 | 561882 | 2331 531 | 0 | 0 156.18/156.22 c 154s | 19 | 594207 | 569382 | 2331 537 | 0 | 0 158.17/158.25 c 156s | 19 | 602736 | 577782 | 2331 544 | 0 | 0 160.17/160.27 c 158s | 19 | 611180 | 586082 | 2331 550 | 0 | 0 162.16/162.29 c 160s | 19 | 618717 | 593382 | 2331 555 | 0 | 0 164.26/164.30 c 162s | 19 | 626643 | 601182 | 2331 561 | 0 | 0 166.26/166.32 c 164s | 19 | 634561 | 608982 | 2331 567 | 0 | 0 168.27/168.32 c 166s | 19 | 642617 | 616882 | 2331 574 | 0 | 0 170.26/170.33 c 168s | 19 | 651561 | 625682 | 2331 580 | 0 | 0 172.26/172.34 c 170s | 19 | 660220 | 634182 | 2331 587 | 0 | 0 174.26/174.35 c 172s | 19 | 668477 | 642282 | 2331 593 | 0 | 0 176.26/176.36 c 174s | 19 | 676323 | 649982 | 2331 599 | 0 | 0 178.27/178.38 c 176s | 19 | 684723 | 657982 | 2565 605 | 0 | 0 180.26/180.38 c 178s | 19 | 693403 | 666482 | 2565 611 | 0 | 0 180.37/180.46 c 179s | 20 | 693757 | 666827 | 2565 611 | 0 | 0 182.36/182.49 c 181s | 20 | 700205 | 672727 | 2565 615 | 0 | 0 184.46/184.52 c 183s | 20 | 707402 | 679427 | 2565 620 | 0 | 0 186.46/186.54 c 185s | 20 | 715512 | 687227 | 2565 626 | 0 | 0 188.46/188.56 c 187s | 20 | 722107 | 693427 | 2565 630 | 0 | 0 190.46/190.57 c 189s | 20 | 728764 | 699827 | 2565 635 | 0 | 0 192.46/192.60 c 191s | 20 | 735282 | 705927 | 2565 639 | 0 | 0 194.56/194.68 c 193s | 20 | 741395 | 711227 | 2565 643 | 0 | 0 196.56/196.69 c 195s | 20 | 747173 | 716527 | 2565 646 | 0 | 0 198.65/198.70 c 197s | 20 | 754368 | 723527 | 2565 651 | 0 | 0 200.66/200.70 c 199s | 20 | 761564 | 730427 | 2565 656 | 0 | 0 202.65/202.74 c 201s | 20 | 767512 | 735627 | 2565 660 | 0 | 0 204.66/204.75 c 203s | 20 | 774726 | 742527 | 2565 665 | 0 | 0 206.65/206.77 c 205s | 20 | 782034 | 749327 | 2565 669 | 0 | 0 208.65/208.78 c 207s | 20 | 788808 | 755727 | 2565 674 | 0 | 0 210.76/210.81 c 209s | 20 | 795291 | 761927 | 2565 678 | 0 | 0 212.76/212.81 c 211s | 20 | 802537 | 768927 | 2565 683 | 0 | 0 214.76/214.82 c 213s | 20 | 809768 | 775727 | 2565 688 | 0 | 0 216.77/216.85 c 215s | 20 | 816352 | 781927 | 2565 692 | 0 | 0 218.76/218.85 c 217s | 20 | 823288 | 788527 | 2565 697 | 0 | 0 220.76/220.88 c 219s | 20 | 829759 | 794827 | 2565 701 | 0 | 0 222.75/222.88 c 221s | 20 | 836508 | 801127 | 2565 706 | 0 | 0 224.75/224.89 c 223s | 20 | 843289 | 807427 | 2565 710 | 0 | 0 226.75/226.89 c 225s | 20 | 850116 | 813927 | 2565 715 | 0 | 0 228.86/228.92 c 227s | 20 | 856312 | 819827 | 2565 719 | 0 | 0 230.85/230.93 c 229s | 20 | 862455 | 825527 | 2565 723 | 0 | 0 232.85/232.95 c 231s | 20 | 869399 | 831927 | 2565 728 | 0 | 0 234.85/234.98 c 233s | 20 | 876587 | 838627 | 2565 732 | 0 | 0 236.95/237.01 c 235s | 20 | 883825 | 845427 | 2565 737 | 0 | 0 238.95/239.03 c 237s | 20 | 890820 | 852127 | 2565 742 | 0 | 0 240.96/241.05 c 239s | 20 | 898189 | 859127 | 2565 747 | 0 | 0 242.95/243.07 c 241s | 20 | 905461 | 865927 | 2565 752 | 0 | 0 244.94/245.08 c 243s | 20 | 912973 | 872727 | 2565 756 | 0 | 0 247.04/247.10 c 245s | 20 | 921151 | 880727 | 2565 762 | 0 | 0 249.05/249.10 c 247s | 20 | 928596 | 887727 | 2565 767 | 0 | 0 251.04/251.10 c 249s | 20 | 935878 | 894427 | 2565 772 | 0 | 0 253.05/253.11 c 251s | 20 | 943658 | 901727 | 2565 777 | 0 | 0 255.04/255.13 c 253s | 20 | 951326 | 908927 | 2565 782 | 0 | 0 257.04/257.14 c 255s | 20 | 959072 | 916227 | 2565 787 | 0 | 0 259.04/259.17 c 257s | 20 | 965517 | 922227 | 2565 791 | 0 | 0 261.04/261.20 c 259s | 20 | 971904 | 927827 | 2565 795 | 0 | 0 263.14/263.20 c 261s | 20 | 978272 | 933727 | 2565 799 | 0 | 0 265.14/265.20 c 263s | 20 | 984374 | 939027 | 2565 803 | 0 | 0 267.13/267.23 c 265s | 20 | 990720 | 944727 | 2565 807 | 0 | 0 269.13/269.25 c 267s | 20 | 997466 | 950827 | 2565 812 | 0 | 0 271.13/271.26 c 269s | 20 | 1005810 | 958627 | 2565 817 | 0 | 0 273.13/273.29 c 271s | 20 | 1014189 | 966427 | 2565 823 | 0 | 0 275.23/275.30 c 273s | 20 | 1022171 | 973727 | 2565 828 | 0 | 0 277.23/277.31 c 275s | 20 | 1029194 | 980527 | 2565 833 | 0 | 0 279.23/279.31 c 277s | 20 | 1036781 | 987827 | 2565 838 | 0 | 0 281.22/281.33 c 279s | 20 | 1043614 | 994127 | 2822 842 | 0 | 0 283.22/283.34 c 281s | 20 | 1049843 | 1000027 | 2822 846 | 0 | 0 283.32/283.43 c 282s | 21 | 1050172 | 1000345 | 2822 846 | 0 | 0 285.32/285.45 c 284s | 21 | 1059089 | 1009045 | 2822 851 | 0 | 0 287.32/287.45 c 286s | 21 | 1067263 | 1017145 | 2822 857 | 0 | 0 289.32/289.46 c 288s | 21 | 1075168 | 1024945 | 2822 862 | 0 | 0 291.32/291.47 c 290s | 21 | 1083191 | 1032845 | 2822 867 | 0 | 0 293.32/293.48 c 292s | 21 | 1090467 | 1039745 | 2822 871 | 0 | 0 295.42/295.50 c 294s | 21 | 1097339 | 1046445 | 2822 876 | 0 | 0 297.42/297.50 c 296s | 21 | 1104888 | 1053845 | 2822 881 | 0 | 0 299.42/299.51 c 298s | 21 | 1112510 | 1061345 | 2822 886 | 0 | 0 301.43/301.55 c 300s | 21 | 1120341 | 1069045 | 2822 891 | 0 | 0 303.42/303.57 c 302s | 21 | 1126671 | 1075345 | 2822 895 | 0 | 0 305.42/305.59 c 304s | 21 | 1132079 | 1080545 | 2822 898 | 0 | 0 307.52/307.60 c 306s | 21 | 1138673 | 1087045 | 2822 902 | 0 | 0 309.52/309.62 c 308s | 21 | 1145090 | 1093245 | 2822 906 | 0 | 0 311.52/311.63 c 310s | 21 | 1152521 | 1100445 | 2822 911 | 0 | 0 313.52/313.66 c 312s | 21 | 1159900 | 1107545 | 2822 916 | 0 | 0 315.51/315.67 c 314s | 21 | 1167552 | 1114845 | 2822 920 | 0 | 0 317.51/317.69 c 316s | 21 | 1174807 | 1121645 | 2822 925 | 0 | 0 319.51/319.69 c 318s | 21 | 1182277 | 1128845 | 2822 929 | 0 | 0 321.61/321.71 c 320s | 21 | 1190188 | 1136445 | 2822 934 | 0 | 0 323.61/323.73 c 322s | 21 | 1197652 | 1143545 | 2822 939 | 0 | 0 325.61/325.76 c 324s | 21 | 1204729 | 1150345 | 2822 943 | 0 | 0 327.61/327.78 c 326s | 21 | 1211510 | 1156645 | 2822 948 | 0 | 0 329.61/329.79 c 328s | 21 | 1218661 | 1163445 | 2822 952 | 0 | 0 331.71/331.80 c 330s | 21 | 1226020 | 1170345 | 2822 956 | 0 | 0 333.70/333.83 c 332s | 21 | 1234001 | 1178145 | 2822 962 | 0 | 0 335.70/335.83 c 334s | 21 | 1241633 | 1185645 | 2822 966 | 0 | 0 337.71/337.84 c 336s | 21 | 1250354 | 1194145 | 2822 972 | 0 | 0 339.70/339.84 c 338s | 21 | 1258995 | 1202645 | 2822 977 | 0 | 0 341.70/341.86 c 340s | 21 | 1266856 | 1210345 | 2822 982 | 0 | 0 343.70/343.88 c 342s | 21 | 1275506 | 1218845 | 2822 988 | 0 | 0 345.80/345.90 c 344s | 21 | 1283872 | 1227045 | 2822 993 | 0 | 0 347.80/347.92 c 346s | 21 | 1292039 | 1235045 | 2822 999 | 0 | 0 349.80/349.92 c 348s | 21 | 1299974 | 1242845 | 2822 1004 | 0 | 0 351.80/351.95 c 350s | 21 | 1307929 | 1250645 | 2822 1009 | 0 | 0 353.79/353.97 c 352s | 21 | 1315273 | 1257845 | 2822 1013 | 0 | 0 355.89/356.00 c 354s | 21 | 1323423 | 1265745 | 2822 1018 | 0 | 0 357.89/358.00 c 356s | 21 | 1330142 | 1272245 | 2822 1023 | 0 | 0 359.89/360.00 c 358s | 21 | 1337651 | 1279645 | 2822 1028 | 0 | 0 361.90/362.02 c 360s | 21 | 1345958 | 1287745 | 2822 1033 | 0 | 0 363.89/364.03 c 362s | 21 | 1353585 | 1295245 | 2822 1038 | 0 | 0 365.89/366.03 c 364s | 21 | 1360459 | 1301945 | 2822 1042 | 0 | 0 367.89/368.05 c 366s | 21 | 1368353 | 1309645 | 2822 1047 | 0 | 0 369.88/370.06 c 368s | 21 | 1376828 | 1317945 | 2822 1052 | 0 | 0 371.88/372.06 c 370s | 21 | 1383664 | 1324645 | 2822 1057 | 0 | 0 373.89/374.08 c 372s | 21 | 1390197 | 1331045 | 2822 1061 | 0 | 0 375.88/376.09 c 374s | 21 | 1397566 | 1338245 | 2822 1066 | 0 | 0 377.98/378.10 c 376s | 21 | 1405220 | 1345645 | 2822 1070 | 0 | 0 379.98/380.11 c 378s | 21 | 1412875 | 1353145 | 2822 1075 | 0 | 0 381.98/382.11 c 380s | 21 | 1420630 | 1360745 | 2822 1080 | 0 | 0 383.97/384.13 c 382s | 21 | 1429099 | 1369045 | 2822 1086 | 0 | 0 385.98/386.13 c 384s | 21 | 1436990 | 1376745 | 2822 1091 | 0 | 0 387.97/388.15 c 386s | 21 | 1444594 | 1384145 | 2822 1096 | 0 | 0 389.97/390.16 c 388s | 21 | 1452921 | 1392345 | 2822 1101 | 0 | 0 392.07/392.20 c 390s | 21 | 1460396 | 1399545 | 2822 1105 | 0 | 0 394.07/394.22 c 392s | 21 | 1467741 | 1406745 | 2822 1110 | 0 | 0 396.07/396.23 c 394s | 21 | 1475049 | 1413645 | 2822 1115 | 0 | 0 398.08/398.25 c 396s | 21 | 1482526 | 1420945 | 2822 1119 | 0 | 0 400.07/400.28 c 398s | 21 | 1489489 | 1427845 | 2822 1124 | 0 | 0 402.17/402.30 c 400s | 21 | 1495941 | 1434245 | 2822 1128 | 0 | 0 404.16/404.31 c 402s | 21 | 1503852 | 1442045 | 2822 1133 | 0 | 0 406.16/406.32 c 404s | 21 | 1511321 | 1449445 | 2822 1138 | 0 | 0 408.17/408.34 c 406s | 21 | 1518771 | 1456745 | 2822 1142 | 0 | 0 410.17/410.36 c 408s | 21 | 1527108 | 1464945 | 2822 1148 | 0 | 0 412.16/412.36 c 410s | 21 | 1533996 | 1471645 | 2822 1152 | 0 | 0 414.16/414.37 c 412s | 21 | 1541502 | 1479045 | 2822 1157 | 0 | 0 416.16/416.39 c 414s | 21 | 1549187 | 1486545 | 3105 1162 | 0 | 0 418.17/418.39 c 416s | 21 | 1555958 | 1493045 | 3105 1165 | 0 | 0 420.27/420.40 c 418s | 21 | 1562384 | 1499245 | 3105 1169 | 0 | 0 420.57/420.76 c 419s | 22 | 1563760 | 1500622 | 3105 1170 | 0 | 0 422.66/422.80 c 421s | 22 | 1569866 | 1506422 | 3105 1173 | 0 | 0 424.66/424.80 c 423s | 22 | 1577104 | 1513022 | 3105 1177 | 0 | 0 426.67/426.82 c 425s | 22 | 1584169 | 1519622 | 3105 1181 | 0 | 0 428.66/428.82 c 427s | 22 | 1590839 | 1526022 | 3105 1185 | 0 | 0 430.66/430.83 c 429s | 22 | 1597470 | 1532222 | 3105 1189 | 0 | 0 432.65/432.86 c 431s | 22 | 1603928 | 1538222 | 3105 1192 | 0 | 0 434.65/434.89 c 433s | 22 | 1610006 | 1543922 | 3105 1196 | 0 | 0 436.66/436.90 c 435s | 22 | 1615702 | 1549322 | 3105 1199 | 0 | 0 438.76/438.92 c 437s | 22 | 1621423 | 1554722 | 3105 1202 | 0 | 0 440.75/440.95 c 439s | 22 | 1627806 | 1560722 | 3105 1206 | 0 | 0 442.85/443.03 c 441s | 22 | 1633209 | 1565722 | 3105 1209 | 0 | 0 444.85/445.03 c 443s | 22 | 1638281 | 1570022 | 3105 1211 | 0 | 0 446.85/447.05 c 445s | 22 | 1645712 | 1577122 | 3105 1215 | 0 | 0 448.84/449.06 c 447s | 22 | 1651187 | 1582422 | 3105 1218 | 0 | 0 450.85/451.07 c 449s | 22 | 1656704 | 1587522 | 3105 1221 | 0 | 0 452.84/453.09 c 451s | 22 | 1663125 | 1593522 | 3105 1225 | 0 | 0 454.94/455.12 c 453s | 22 | 1669158 | 1599122 | 3105 1228 | 0 | 0 456.94/457.16 c 455s | 22 | 1675774 | 1605422 | 3105 1232 | 0 | 0 458.94/459.19 c 457s | 22 | 1681650 | 1610922 | 3105 1235 | 0 | 0 460.94/461.19 c 459s | 22 | 1687488 | 1616422 | 3105 1239 | 0 | 0 463.04/463.21 c 461s | 22 | 1694594 | 1623122 | 3105 1243 | 0 | 0 465.04/465.23 c 463s | 22 | 1701130 | 1629322 | 3105 1246 | 0 | 0 467.03/467.29 c 465s | 22 | 1708255 | 1636122 | 3105 1250 | 0 | 0 469.13/469.30 c 467s | 22 | 1716344 | 1643522 | 3105 1255 | 0 | 0 471.13/471.32 c 469s | 22 | 1724010 | 1650722 | 3105 1259 | 0 | 0 473.13/473.34 c 471s | 22 | 1729808 | 1656322 | 3105 1262 | 0 | 0 475.13/475.39 c 473s | 22 | 1735628 | 1661922 | 3105 1266 | 0 | 0 477.13/477.40 c 475s | 22 | 1742373 | 1668422 | 3105 1269 | 0 | 0 479.23/479.41 c 477s | 22 | 1749447 | 1675222 | 3105 1273 | 0 | 0 481.23/481.45 c 480s | 22 | 1755511 | 1680822 | 3105 1277 | 0 | 0 483.22/483.45 c 482s | 22 | 1762999 | 1688022 | 3105 1281 | 0 | 0 485.22/485.47 c 484s | 22 | 1769065 | 1693822 | 3105 1284 | 0 | 0 487.23/487.48 c 486s | 22 | 1775940 | 1700422 | 3105 1288 | 0 | 0 489.22/489.49 c 488s | 22 | 1781477 | 1705722 | 3105 1291 | 0 | 0 491.32/491.50 c 490s | 22 | 1787316 | 1711322 | 3105 1295 | 0 | 0 493.32/493.52 c 492s | 22 | 1793573 | 1717222 | 3105 1298 | 0 | 0 495.33/495.52 c 494s | 22 | 1799950 | 1723322 | 3105 1302 | 0 | 0 497.33/497.53 c 496s | 22 | 1807102 | 1730122 | 3105 1306 | 0 | 0 499.34/499.53 c 498s | 22 | 1814400 | 1737122 | 3105 1310 | 0 | 0 501.33/501.54 c 500s | 22 | 1822361 | 1744722 | 3105 1315 | 0 | 0 503.32/503.56 c 502s | 22 | 1829024 | 1751022 | 3105 1318 | 0 | 0 505.32/505.57 c 504s | 22 | 1835181 | 1756722 | 3105 1322 | 0 | 0 507.32/507.59 c 506s | 22 | 1841922 | 1763022 | 3105 1325 | 0 | 0 509.42/509.62 c 508s | 22 | 1848740 | 1769522 | 3105 1329 | 0 | 0 511.43/511.63 c 510s | 22 | 1855799 | 1776122 | 3105 1333 | 0 | 0 513.42/513.65 c 512s | 22 | 1862792 | 1782822 | 3105 1337 | 0 | 0 515.42/515.68 c 514s | 22 | 1868827 | 1788622 | 3105 1341 | 0 | 0 517.52/517.72 c 516s | 22 | 1875423 | 1794822 | 3105 1344 | 0 | 0 519.52/519.72 c 518s | 22 | 1881647 | 1800822 | 3105 1348 | 0 | 0 521.52/521.75 c 520s | 22 | 1887583 | 1806322 | 3105 1351 | 0 | 0 523.52/523.76 c 522s | 22 | 1893632 | 1812122 | 3105 1355 | 0 | 0 525.51/525.78 c 524s | 22 | 1900860 | 1818922 | 3105 1359 | 0 | 0 527.61/527.81 c 526s | 22 | 1907752 | 1825522 | 3105 1363 | 0 | 0 529.61/529.82 c 528s | 22 | 1914315 | 1831622 | 3105 1366 | 0 | 0 531.61/531.85 c 530s | 22 | 1921418 | 1838422 | 3105 1370 | 0 | 0 533.61/533.85 c 532s | 22 | 1929490 | 1846222 | 3105 1375 | 0 | 0 535.61/535.86 c 534s | 22 | 1935521 | 1852022 | 3105 1378 | 0 | 0 537.61/537.86 c 536s | 22 | 1942931 | 1859122 | 3105 1383 | 0 | 0 539.61/539.89 c 538s | 22 | 1950267 | 1866122 | 3105 1387 | 0 | 0 541.70/541.90 c 540s | 22 | 1957540 | 1873122 | 3105 1391 | 0 | 0 543.70/543.93 c 542s | 22 | 1964092 | 1879422 | 3105 1395 | 0 | 0 545.70/545.94 c 544s | 22 | 1970480 | 1885322 | 3105 1398 | 0 | 0 547.71/547.96 c 546s | 22 | 1976600 | 1891222 | 3105 1402 | 0 | 0 549.70/549.98 c 548s | 22 | 1983028 | 1897122 | 3105 1405 | 0 | 0 551.80/552.00 c 550s | 22 | 1991156 | 1904722 | 3105 1410 | 0 | 0 553.79/554.00 c 552s | 22 | 1998753 | 1911922 | 3105 1414 | 0 | 0 555.79/556.02 c 554s | 22 | 2005836 | 1918722 | 3105 1418 | 0 | 0 557.79/558.03 c 556s | 22 | 2012709 | 1925322 | 3105 1422 | 0 | 0 559.80/560.05 c 558s | 22 | 2020458 | 1932422 | 3105 1426 | 0 | 0 561.79/562.08 c 560s | 22 | 2027397 | 1938922 | 3105 1430 | 0 | 0 563.79/564.08 c 562s | 22 | 2034339 | 1945522 | 3105 1434 | 0 | 0 565.89/566.10 c 564s | 22 | 2040970 | 1951622 | 3105 1437 | 0 | 0 567.88/568.11 c 566s | 22 | 2048978 | 1959022 | 3105 1442 | 0 | 0 569.88/570.12 c 568s | 22 | 2056143 | 1965722 | 3105 1446 | 0 | 0 571.89/572.14 c 570s | 22 | 2063630 | 1972822 | 3105 1450 | 0 | 0 573.88/574.17 c 572s | 22 | 2071772 | 1980422 | 3105 1455 | 0 | 0 575.88/576.18 c 574s | 22 | 2080167 | 1988322 | 3105 1459 | 0 | 0 577.88/578.18 c 576s | 22 | 2089059 | 1996722 | 3105 1464 | 0 | 0 579.88/580.19 c 578s | 22 | 2097961 | 2005022 | 3105 1469 | 0 | 0 581.98/582.21 c 580s | 22 | 2104733 | 2011622 | 3105 1473 | 0 | 0 583.98/584.23 c 582s | 22 | 2112108 | 2018822 | 3105 1477 | 0 | 0 585.98/586.24 c 584s | 22 | 2120069 | 2026522 | 3105 1482 | 0 | 0 587.98/588.26 c 586s | 22 | 2128844 | 2034522 | 3105 1487 | 0 | 0 589.98/590.27 c 588s | 22 | 2137574 | 2042722 | 3105 1492 | 0 | 0 591.98/592.28 c 590s | 22 | 2146004 | 2050622 | 3105 1496 | 0 | 0 593.97/594.29 c 592s | 22 | 2154354 | 2058422 | 3105 1501 | 0 | 0 595.98/596.30 c 594s | 22 | 2162487 | 2066122 | 3105 1506 | 0 | 0 598.07/598.31 c 596s | 22 | 2170835 | 2073722 | 3105 1510 | 0 | 0 600.07/600.33 c 598s | 22 | 2179620 | 2082022 | 3105 1515 | 0 | 0 602.07/602.34 c 600s | 22 | 2188025 | 2090022 | 3105 1520 | 0 | 0 604.07/604.34 c 602s | 22 | 2196455 | 2098122 | 3105 1525 | 0 | 0 606.07/606.36 c 604s | 22 | 2204730 | 2106022 | 3105 1530 | 0 | 0 608.07/608.38 c 606s | 22 | 2212570 | 2113322 | 3105 1534 | 0 | 0 610.07/610.39 c 608s | 22 | 2220521 | 2120922 | 3105 1538 | 0 | 0 612.16/612.40 c 610s | 22 | 2228631 | 2128422 | 3105 1543 | 0 | 0 614.16/614.41 c 612s | 22 | 2236199 | 2135522 | 3105 1547 | 0 | 0 616.16/616.44 c 615s | 22 | 2242950 | 2141822 | 3105 1551 | 0 | 0 618.16/618.47 c 617s | 22 | 2249278 | 2147822 | 3105 1554 | 0 | 0 620.18/620.49 c 619s | 22 | 2256515 | 2154722 | 3105 1559 | 0 | 0 622.17/622.49 c 621s | 22 | 2263075 | 2160922 | 3105 1562 | 0 | 0 624.26/624.53 c 623s | 22 | 2269627 | 2167222 | 3105 1566 | 0 | 0 626.26/626.54 c 625s | 22 | 2275098 | 2172422 | 3105 1569 | 0 | 0 628.26/628.55 c 627s | 22 | 2281180 | 2178122 | 3105 1572 | 0 | 0 630.26/630.56 c 629s | 22 | 2287639 | 2184122 | 3105 1576 | 0 | 0 632.27/632.57 c 631s | 22 | 2293455 | 2189522 | 3105 1579 | 0 | 0 634.36/634.61 c 633s | 22 | 2298796 | 2194422 | 3105 1582 | 0 | 0 636.36/636.63 c 635s | 22 | 2304652 | 2199922 | 3105 1585 | 0 | 0 638.36/638.66 c 637s | 22 | 2312007 | 2206722 | 3105 1590 | 0 | 0 640.36/640.67 c 639s | 22 | 2319984 | 2214422 | 3105 1594 | 0 | 0 642.36/642.68 c 641s | 22 | 2327949 | 2221922 | 3105 1599 | 0 | 0 644.46/644.71 c 643s | 22 | 2335635 | 2229322 | 3105 1603 | 0 | 0 646.46/646.72 c 645s | 22 | 2343156 | 2236422 | 3416 1607 | 0 | 0 648.46/648.72 c 647s | 22 | 2350729 | 2243622 | 3416 1611 | 0 | 0 650.45/650.73 c 649s | 22 | 2358562 | 2250922 | 3416 1615 | 0 | 0 650.45/650.77 c 649s | 23 | 2358680 | 2251038 | 3416 1615 | 0 | 0 652.45/652.78 c 651s | 23 | 2367419 | 2259538 | 3416 1619 | 0 | 0 654.45/654.79 c 653s | 23 | 2375483 | 2267438 | 3416 1624 | 0 | 0 656.46/656.80 c 655s | 23 | 2383630 | 2275238 | 3416 1628 | 0 | 0 658.55/658.81 c 657s | 23 | 2391438 | 2282738 | 3416 1632 | 0 | 0 660.55/660.81 c 659s | 23 | 2398759 | 2289738 | 3416 1636 | 0 | 0 662.55/662.82 c 661s | 23 | 2406407 | 2296838 | 3416 1640 | 0 | 0 664.54/664.86 c 663s | 23 | 2413637 | 2303738 | 3416 1644 | 0 | 0 666.54/666.86 c 665s | 23 | 2420627 | 2310638 | 3416 1647 | 0 | 0 668.55/668.89 c 667s | 23 | 2428265 | 2318138 | 3416 1651 | 0 | 0 670.64/670.92 c 669s | 23 | 2434630 | 2324438 | 3416 1655 | 0 | 0 672.64/672.93 c 671s | 23 | 2441990 | 2331738 | 3416 1659 | 0 | 0 674.63/674.93 c 673s | 23 | 2449744 | 2339338 | 3416 1663 | 0 | 0 676.63/676.94 c 675s | 23 | 2457435 | 2346938 | 3416 1667 | 0 | 0 678.63/678.96 c 677s | 23 | 2465586 | 2354838 | 3416 1671 | 0 | 0 680.64/680.98 c 679s | 23 | 2473601 | 2362638 | 3416 1675 | 0 | 0 682.63/682.99 c 681s | 23 | 2480574 | 2369438 | 3416 1679 | 0 | 0 684.73/685.01 c 683s | 23 | 2487921 | 2376638 | 3416 1683 | 0 | 0 686.73/687.02 c 685s | 23 | 2494523 | 2383138 | 3416 1687 | 0 | 0 688.73/689.04 c 687s | 23 | 2501312 | 2389838 | 3416 1690 | 0 | 0 690.73/691.04 c 689s | 23 | 2508226 | 2396638 | 3416 1694 | 0 | 0 692.73/693.05 c 691s | 23 | 2515816 | 2404138 | 3416 1698 | 0 | 0 694.72/695.05 c 693s | 23 | 2522638 | 2410738 | 3416 1702 | 0 | 0 696.72/697.07 c 695s | 23 | 2530969 | 2418938 | 3416 1706 | 0 | 0 698.72/699.09 c 697s | 23 | 2538497 | 2426338 | 3416 1710 | 0 | 0 700.82/701.11 c 699s | 23 | 2546164 | 2433838 | 3416 1714 | 0 | 0 702.82/703.13 c 701s | 23 | 2554214 | 2441738 | 3416 1718 | 0 | 0 704.82/705.13 c 703s | 23 | 2562344 | 2449738 | 3416 1723 | 0 | 0 706.82/707.15 c 705s | 23 | 2570350 | 2457538 | 3416 1727 | 0 | 0 708.83/709.16 c 707s | 23 | 2578642 | 2465738 | 3416 1731 | 0 | 0 710.83/711.17 c 709s | 23 | 2586316 | 2473338 | 3416 1735 | 0 | 0 712.82/713.19 c 711s | 23 | 2593238 | 2480138 | 3416 1739 | 0 | 0 714.92/715.21 c 713s | 23 | 2601048 | 2487838 | 3416 1743 | 0 | 0 716.93/717.24 c 715s | 23 | 2608826 | 2495538 | 3416 1748 | 0 | 0 718.92/719.24 c 717s | 23 | 2616651 | 2503238 | 3416 1752 | 0 | 0 720.92/721.26 c 719s | 23 | 2624511 | 2510938 | 3416 1756 | 0 | 0 722.91/723.26 c 721s | 23 | 2631918 | 2517938 | 3416 1760 | 0 | 0 724.91/725.27 c 723s | 23 | 2639043 | 2524838 | 3416 1764 | 0 | 0 726.92/727.28 c 725s | 23 | 2645736 | 2531438 | 3416 1767 | 0 | 0 728.91/729.30 c 727s | 23 | 2652644 | 2538238 | 3416 1771 | 0 | 0 731.01/731.32 c 729s | 23 | 2659957 | 2545338 | 3416 1775 | 0 | 0 733.00/733.32 c 731s | 23 | 2666917 | 2552238 | 3416 1778 | 0 | 0 735.00/735.33 c 733s | 23 | 2674735 | 2559938 | 3416 1783 | 0 | 0 737.00/737.35 c 735s | 23 | 2682006 | 2567138 | 3416 1786 | 0 | 0 739.01/739.37 c 737s | 23 | 2689303 | 2574238 | 3416 1790 | 0 | 0 741.00/741.38 c 739s | 23 | 2696717 | 2581538 | 3416 1794 | 0 | 0 743.10/743.40 c 741s | 23 | 2703588 | 2588338 | 3416 1798 | 0 | 0 745.10/745.41 c 743s | 23 | 2711101 | 2595738 | 3416 1802 | 0 | 0 747.10/747.42 c 746s | 23 | 2718443 | 2602838 | 3416 1806 | 0 | 0 749.10/749.44 c 748s | 23 | 2725819 | 2610038 | 3416 1810 | 0 | 0 751.11/751.45 c 750s | 23 | 2733041 | 2617038 | 3416 1814 | 0 | 0 753.10/753.46 c 752s | 23 | 2740492 | 2624238 | 3416 1818 | 0 | 0 755.10/755.47 c 754s | 23 | 2747885 | 2631338 | 3416 1822 | 0 | 0 757.09/757.48 c 756s | 23 | 2755390 | 2638538 | 3416 1826 | 0 | 0 759.20/759.51 c 758s | 23 | 2762523 | 2645338 | 3416 1829 | 0 | 0 761.20/761.52 c 760s | 23 | 2769068 | 2651638 | 3416 1833 | 0 | 0 763.20/763.54 c 762s | 23 | 2776615 | 2658838 | 3416 1837 | 0 | 0 765.19/765.54 c 764s | 23 | 2783520 | 2665238 | 3416 1840 | 0 | 0 767.19/767.56 c 766s | 23 | 2791472 | 2672938 | 3416 1844 | 0 | 0 769.19/769.57 c 768s | 23 | 2798759 | 2680138 | 3416 1848 | 0 | 0 771.19/771.57 c 770s | 23 | 2805962 | 2687238 | 3416 1852 | 0 | 0 773.19/773.58 c 772s | 23 | 2812586 | 2693738 | 3416 1856 | 0 | 0 775.29/775.61 c 774s | 23 | 2819604 | 2700538 | 3416 1859 | 0 | 0 777.28/777.62 c 776s | 23 | 2826071 | 2706838 | 3416 1863 | 0 | 0 779.28/779.64 c 778s | 23 | 2833800 | 2714438 | 3416 1867 | 0 | 0 781.28/781.65 c 780s | 23 | 2840654 | 2720938 | 3416 1871 | 0 | 0 783.28/783.67 c 782s | 23 | 2848416 | 2728438 | 3416 1875 | 0 | 0 785.28/785.67 c 784s | 23 | 2856726 | 2736538 | 3416 1879 | 0 | 0 787.29/787.69 c 786s | 23 | 2864329 | 2744038 | 3416 1883 | 0 | 0 789.38/789.72 c 788s | 23 | 2871164 | 2750638 | 3416 1887 | 0 | 0 791.38/791.73 c 790s | 23 | 2878539 | 2757838 | 3416 1891 | 0 | 0 793.37/793.75 c 792s | 23 | 2886959 | 2766138 | 3416 1895 | 0 | 0 795.37/795.77 c 794s | 23 | 2894846 | 2773838 | 3416 1900 | 0 | 0 797.37/797.78 c 796s | 23 | 2902126 | 2780938 | 3416 1904 | 0 | 0 799.38/799.78 c 798s | 23 | 2910163 | 2788738 | 3416 1908 | 0 | 0 801.37/801.78 c 800s | 23 | 2917429 | 2795538 | 3416 1912 | 0 | 0 803.37/803.79 c 802s | 23 | 2924450 | 2802238 | 3416 1915 | 0 | 0 805.47/805.81 c 804s | 23 | 2931332 | 2808738 | 3416 1919 | 0 | 0 807.47/807.83 c 806s | 23 | 2937878 | 2815038 | 3416 1922 | 0 | 0 809.47/809.84 c 808s | 23 | 2945515 | 2822338 | 3416 1926 | 0 | 0 811.47/811.86 c 810s | 23 | 2953059 | 2829538 | 3416 1930 | 0 | 0 813.46/813.87 c 812s | 23 | 2960904 | 2837038 | 3416 1934 | 0 | 0 815.46/815.88 c 814s | 23 | 2968420 | 2844138 | 3416 1938 | 0 | 0 817.56/817.90 c 816s | 23 | 2976019 | 2851238 | 3416 1942 | 0 | 0 819.56/819.91 c 818s | 23 | 2983425 | 2858138 | 3416 1946 | 0 | 0 821.56/821.91 c 820s | 23 | 2990986 | 2865238 | 3416 1950 | 0 | 0 823.57/823.92 c 822s | 23 | 2998530 | 2872138 | 3416 1954 | 0 | 0 825.56/825.93 c 824s | 23 | 3005686 | 2878938 | 3416 1957 | 0 | 0 827.56/827.95 c 826s | 23 | 3013210 | 2886138 | 3416 1961 | 0 | 0 829.56/829.95 c 828s | 23 | 3020402 | 2892738 | 3416 1965 | 0 | 0 831.56/831.97 c 830s | 23 | 3027575 | 2899538 | 3416 1969 | 0 | 0 833.57/833.99 c 832s | 23 | 3035187 | 2906838 | 3416 1973 | 0 | 0 835.67/836.01 c 834s | 23 | 3042751 | 2913938 | 3416 1977 | 0 | 0 837.66/838.03 c 836s | 23 | 3049835 | 2920538 | 3416 1980 | 0 | 0 839.66/840.05 c 838s | 23 | 3057543 | 2927838 | 3416 1984 | 0 | 0 841.66/842.07 c 840s | 23 | 3065009 | 2935138 | 3416 1988 | 0 | 0 843.65/844.09 c 842s | 23 | 3071173 | 2941238 | 3416 1991 | 0 | 0 845.75/846.12 c 844s | 23 | 3077516 | 2947438 | 3416 1995 | 0 | 0 847.76/848.12 c 846s | 23 | 3084512 | 2954338 | 3416 1999 | 0 | 0 849.75/850.13 c 848s | 23 | 3092581 | 2962238 | 3416 2003 | 0 | 0 851.75/852.15 c 850s | 23 | 3099512 | 2968738 | 3416 2006 | 0 | 0 853.75/854.16 c 852s | 23 | 3105618 | 2974538 | 3416 2010 | 0 | 0 855.75/856.17 c 854s | 23 | 3111908 | 2980638 | 3416 2013 | 0 | 0 857.76/858.19 c 856s | 23 | 3118082 | 2986638 | 3416 2016 | 0 | 0 859.86/860.22 c 858s | 23 | 3124030 | 2992438 | 3416 2019 | 0 | 0 861.85/862.23 c 860s | 23 | 3129720 | 2997938 | 3416 2022 | 0 | 0 863.85/864.23 c 862s | 23 | 3136518 | 3004538 | 3416 2026 | 0 | 0 865.85/866.25 c 864s | 23 | 3143830 | 3011638 | 3416 2030 | 0 | 0 867.85/868.28 c 866s | 23 | 3150622 | 3018238 | 3416 2034 | 0 | 0 869.95/870.31 c 868s | 23 | 3156886 | 3024238 | 3416 2037 | 0 | 0 871.95/872.31 c 870s | 23 | 3162773 | 3029938 | 3416 2040 | 0 | 0 873.95/874.32 c 872s | 23 | 3169396 | 3036338 | 3416 2043 | 0 | 0 875.94/876.33 c 874s | 23 | 3175903 | 3042338 | 3416 2047 | 0 | 0 877.95/878.36 c 876s | 23 | 3182428 | 3048438 | 3416 2050 | 0 | 0 879.94/880.39 c 878s | 23 | 3189182 | 3054838 | 3416 2054 | 0 | 0 882.04/882.40 c 880s | 23 | 3195414 | 3060938 | 3416 2057 | 0 | 0 884.05/884.41 c 882s | 23 | 3203418 | 3068638 | 3416 2061 | 0 | 0 886.04/886.41 c 884s | 23 | 3211610 | 3076738 | 3416 2066 | 0 | 0 888.04/888.43 c 887s | 23 | 3219560 | 3084538 | 3416 2070 | 0 | 0 890.04/890.44 c 889s | 23 | 3226033 | 3090738 | 3416 2073 | 0 | 0 892.04/892.45 c 891s | 23 | 3232503 | 3096938 | 3416 2077 | 0 | 0 894.05/894.47 c 893s | 23 | 3239758 | 3103738 | 3416 2080 | 0 | 0 896.04/896.48 c 895s | 23 | 3245695 | 3109438 | 3416 2083 | 0 | 0 898.04/898.49 c 897s | 23 | 3251688 | 3115238 | 3416 2087 | 0 | 0 900.14/900.52 c 899s | 23 | 3258410 | 3121738 | 3416 2090 | 0 | 0 902.14/902.53 c 901s | 23 | 3264799 | 3127838 | 3416 2094 | 0 | 0 904.14/904.54 c 903s | 23 | 3271730 | 3134638 | 3416 2097 | 0 | 0 906.14/906.57 c 905s | 23 | 3279471 | 3142238 | 3416 2101 | 0 | 0 908.14/908.60 c 907s | 23 | 3286725 | 3149338 | 3416 2105 | 0 | 0 910.24/910.62 c 909s | 23 | 3293752 | 3156238 | 3416 2109 | 0 | 0 912.24/912.63 c 911s | 23 | 3301198 | 3163338 | 3416 2113 | 0 | 0 914.24/914.64 c 913s | 23 | 3307888 | 3169738 | 3416 2116 | 0 | 0 916.23/916.66 c 915s | 23 | 3314105 | 3175638 | 3416 2120 | 0 | 0 918.24/918.69 c 917s | 23 | 3320476 | 3181738 | 3416 2123 | 0 | 0 920.34/920.72 c 919s | 23 | 3327152 | 3188038 | 3416 2127 | 0 | 0 922.33/922.75 c 921s | 23 | 3333265 | 3193938 | 3416 2130 | 0 | 0 924.33/924.75 c 923s | 23 | 3341198 | 3201638 | 3416 2134 | 0 | 0 926.33/926.77 c 925s | 23 | 3349386 | 3209638 | 3416 2138 | 0 | 0 928.33/928.78 c 927s | 23 | 3356917 | 3217038 | 3416 2142 | 0 | 0 930.43/930.80 c 929s | 23 | 3364823 | 3224838 | 3416 2147 | 0 | 0 932.44/932.83 c 931s | 23 | 3372191 | 3231838 | 3416 2150 | 0 | 0 934.43/934.84 c 933s | 23 | 3379167 | 3238638 | 3416 2154 | 0 | 0 936.43/936.84 c 935s | 23 | 3387699 | 3246838 | 3416 2159 | 0 | 0 938.43/938.86 c 937s | 23 | 3395274 | 3254038 | 3416 2163 | 0 | 0 940.43/940.89 c 939s | 23 | 3402777 | 3261438 | 3416 2167 | 0 | 0 942.53/942.90 c 941s | 23 | 3409995 | 3268538 | 3416 2171 | 0 | 0 944.53/944.91 c 943s | 23 | 3417603 | 3275838 | 3416 2175 | 0 | 0 946.53/946.93 c 945s | 23 | 3425605 | 3283638 | 3416 2179 | 0 | 0 948.53/948.94 c 947s | 23 | 3433100 | 3291038 | 3416 2183 | 0 | 0 950.53/950.95 c 949s | 23 | 3440613 | 3298438 | 3416 2187 | 0 | 0 952.53/952.95 c 951s | 23 | 3448052 | 3305738 | 3416 2191 | 0 | 0 954.54/954.98 c 953s | 23 | 3455443 | 3313038 | 3416 2195 | 0 | 0 956.53/956.98 c 955s | 23 | 3462434 | 3319638 | 3416 2198 | 0 | 0 958.63/959.01 c 957s | 23 | 3468408 | 3325438 | 3416 2202 | 0 | 0 960.63/961.02 c 959s | 23 | 3475072 | 3331838 | 3416 2205 | 0 | 0 962.63/963.05 c 961s | 23 | 3481300 | 3337838 | 3416 2208 | 0 | 0 964.63/965.06 c 963s | 23 | 3488726 | 3345138 | 3416 2212 | 0 | 0 966.64/967.08 c 965s | 23 | 3495525 | 3351738 | 3758 2216 | 0 | 0 968.63/969.09 c 967s | 23 | 3502396 | 3358538 | 3758 2219 | 0 | 0 970.73/971.13 c 969s | 23 | 3507820 | 3363738 | 3758 2222 | 0 | 0 972.73/973.14 c 971s | 23 | 3515455 | 3371238 | 3758 2225 | 0 | 0 974.13/974.53 c 973s | 24 | 3520985 | 3376662 | 3758 2228 | 0 | 0 976.13/976.54 c 975s | 24 | 3527463 | 3382562 | 3758 2231 | 0 | 0 978.13/978.56 c 977s | 24 | 3534243 | 3388762 | 3758 2234 | 0 | 0 980.13/980.59 c 979s | 24 | 3541754 | 3395562 | 3758 2237 | 0 | 0 982.23/982.62 c 981s | 24 | 3548707 | 3402062 | 3758 2241 | 0 | 0 984.23/984.65 c 983s | 24 | 3556651 | 3409562 | 3758 2244 | 0 | 0 986.23/986.68 c 985s | 24 | 3563485 | 3416062 | 3758 2248 | 0 | 0 988.23/988.69 c 987s | 24 | 3570960 | 3423062 | 3758 2251 | 0 | 0 990.33/990.72 c 989s | 24 | 3576554 | 3428362 | 3758 2254 | 0 | 0 992.33/992.74 c 991s | 24 | 3581670 | 3433262 | 3758 2256 | 0 | 0 994.33/994.77 c 993s | 24 | 3588740 | 3439962 | 3758 2259 | 0 | 0 996.33/996.78 c 995s | 24 | 3595010 | 3445962 | 3758 2262 | 0 | 0 998.33/998.79 c 997s | 24 | 3601089 | 3451762 | 3758 2265 | 0 | 0 1000.42/1000.82 c 999s | 24 | 3606679 | 3456862 | 3758 2268 | 0 | 0 1002.42/1002.88 c 1001s | 24 | 3611319 | 3461262 | 3758 2270 | 0 | 0 1004.52/1004.94 c 1003s | 24 | 3615495 | 3465262 | 3758 2272 | 0 | 0 1006.52/1006.97 c 1005s | 24 | 3622015 | 3471262 | 3758 2275 | 0 | 0 1008.52/1008.97 c 1007s | 24 | 3628003 | 3476862 | 3758 2278 | 0 | 0 1010.53/1010.98 c 1009s | 24 | 3634754 | 3483162 | 3758 2281 | 0 | 0 1012.52/1012.99 c 1011s | 24 | 3641693 | 3489762 | 3758 2284 | 0 | 0 1014.62/1015.03 c 1013s | 24 | 3648554 | 3496162 | 3758 2287 | 0 | 0 1016.62/1017.09 c 1015s | 24 | 3654764 | 3502062 | 3758 2290 | 0 | 0 1018.72/1019.10 c 1017s | 24 | 3660541 | 3507562 | 3758 2293 | 0 | 0 1020.72/1021.11 c 1019s | 24 | 3668007 | 3514662 | 3758 2297 | 0 | 0 1022.73/1023.13 c 1021s | 24 | 3675210 | 3521462 | 3758 2300 | 0 | 0 1024.72/1025.15 c 1023s | 24 | 3681217 | 3527062 | 3758 2303 | 0 | 0 1026.72/1027.17 c 1025s | 24 | 3687776 | 3533262 | 3758 2306 | 0 | 0 1028.72/1029.17 c 1027s | 24 | 3694567 | 3539562 | 3758 2309 | 0 | 0 1030.82/1031.22 c 1029s | 24 | 3701766 | 3546262 | 3758 2312 | 0 | 0 1032.82/1033.25 c 1031s | 24 | 3708479 | 3552562 | 3758 2315 | 0 | 0 1034.82/1035.27 c 1033s | 24 | 3715153 | 3558862 | 3758 2319 | 0 | 0 1036.82/1037.28 c 1035s | 24 | 3721422 | 3564762 | 3758 2322 | 0 | 0 1038.82/1039.28 c 1037s | 24 | 3728434 | 3571162 | 3758 2325 | 0 | 0 1040.82/1041.29 c 1039s | 24 | 3735842 | 3577762 | 3758 2328 | 0 | 0 1042.92/1043.30 c 1041s | 24 | 3741996 | 3583462 | 3758 2331 | 0 | 0 1044.92/1045.30 c 1043s | 24 | 3748700 | 3589762 | 3758 2334 | 0 | 0 1046.92/1047.32 c 1045s | 24 | 3754207 | 3594862 | 3758 2337 | 0 | 0 1048.92/1049.34 c 1047s | 24 | 3761028 | 3601362 | 3758 2340 | 0 | 0 1050.92/1051.38 c 1049s | 24 | 3766638 | 3606662 | 3758 2342 | 0 | 0 1053.01/1053.40 c 1051s | 24 | 3773484 | 3613062 | 3758 2346 | 0 | 0 1055.01/1055.40 c 1053s | 24 | 3780024 | 3619162 | 3758 2349 | 0 | 0 1057.01/1057.43 c 1056s | 24 | 3787003 | 3625662 | 3758 2352 | 0 | 0 1059.02/1059.45 c 1058s | 24 | 3793479 | 3631562 | 3758 2355 | 0 | 0 1061.01/1061.46 c 1060s | 24 | 3799792 | 3637262 | 3758 2358 | 0 | 0 1063.01/1063.47 c 1062s | 24 | 3805453 | 3642362 | 3758 2360 | 0 | 0 1065.11/1065.50 c 1064s | 24 | 3811310 | 3647762 | 3758 2363 | 0 | 0 1067.11/1067.54 c 1066s | 24 | 3817200 | 3652962 | 3758 2365 | 0 | 0 1069.11/1069.57 c 1068s | 24 | 3821696 | 3657162 | 3758 2368 | 0 | 0 1071.12/1071.57 c 1070s | 24 | 3827636 | 3662862 | 3758 2371 | 0 | 0 1073.11/1073.60 c 1072s | 24 | 3834224 | 3669162 | 3758 2374 | 0 | 0 1075.21/1075.60 c 1074s | 24 | 3841055 | 3675662 | 3758 2377 | 0 | 0 1077.21/1077.61 c 1076s | 24 | 3848178 | 3682362 | 3758 2380 | 0 | 0 1079.21/1079.63 c 1078s | 24 | 3854660 | 3688362 | 3758 2383 | 0 | 0 1081.21/1081.65 c 1080s | 24 | 3860137 | 3693262 | 3758 2386 | 0 | 0 1083.22/1083.67 c 1082s | 24 | 3865049 | 3697962 | 3758 2388 | 0 | 0 1085.32/1085.72 c 1084s | 24 | 3870967 | 3703362 | 3758 2391 | 0 | 0 1087.31/1087.74 c 1086s | 24 | 3876804 | 3708662 | 3758 2394 | 0 | 0 1089.31/1089.75 c 1088s | 24 | 3883306 | 3714562 | 3758 2397 | 0 | 0 1091.31/1091.76 c 1090s | 24 | 3889716 | 3720262 | 3758 2399 | 0 | 0 1093.31/1093.78 c 1092s | 24 | 3895513 | 3725462 | 3758 2402 | 0 | 0 1095.31/1095.78 c 1094s | 24 | 3902541 | 3732162 | 3758 2405 | 0 | 0 1097.31/1097.80 c 1096s | 24 | 3909781 | 3738962 | 3758 2409 | 0 | 0 1099.40/1099.80 c 1098s | 24 | 3917532 | 3746162 | 3758 2412 | 0 | 0 1101.40/1101.83 c 1100s | 24 | 3925453 | 3753762 | 3758 2416 | 0 | 0 1103.40/1103.83 c 1102s | 24 | 3933638 | 3761562 | 3758 2420 | 0 | 0 1105.40/1105.85 c 1104s | 24 | 3942171 | 3769662 | 3758 2424 | 0 | 0 1107.41/1107.86 c 1106s | 24 | 3950519 | 3777462 | 3758 2428 | 0 | 0 1109.40/1109.88 c 1108s | 24 | 3958359 | 3784862 | 3758 2432 | 0 | 0 1111.50/1111.90 c 1110s | 24 | 3966343 | 3792362 | 3758 2436 | 0 | 0 1113.50/1113.91 c 1112s | 24 | 3974431 | 3799962 | 3758 2439 | 0 | 0 1115.50/1115.94 c 1114s | 24 | 3982385 | 3807562 | 3758 2443 | 0 | 0 1117.50/1117.95 c 1116s | 24 | 3990567 | 3815262 | 3758 2447 | 0 | 0 1119.51/1119.98 c 1118s | 24 | 3998970 | 3823062 | 3758 2451 | 0 | 0 1121.50/1122.00 c 1120s | 24 | 4006318 | 3829862 | 3758 2455 | 0 | 0 1123.60/1124.02 c 1122s | 24 | 4014444 | 3837462 | 3758 2458 | 0 | 0 1125.60/1126.05 c 1124s | 24 | 4022767 | 3845262 | 3758 2462 | 0 | 0 1127.60/1128.06 c 1126s | 24 | 4031051 | 3852962 | 3758 2466 | 0 | 0 1129.60/1130.06 c 1128s | 24 | 4038584 | 3859962 | 3758 2470 | 0 | 0 1131.61/1132.07 c 1130s | 24 | 4046365 | 3867262 | 3758 2473 | 0 | 0 1133.60/1134.09 c 1132s | 24 | 4053303 | 3873662 | 3758 2477 | 0 | 0 1135.60/1136.09 c 1134s | 24 | 4059844 | 3879862 | 3758 2480 | 0 | 0 1137.70/1138.10 c 1136s | 24 | 4066416 | 3886062 | 3758 2483 | 0 | 0 1139.70/1140.11 c 1138s | 24 | 4072522 | 3891762 | 3758 2486 | 0 | 0 1141.71/1142.13 c 1140s | 24 | 4079327 | 3898262 | 3758 2489 | 0 | 0 1143.71/1144.14 c 1142s | 24 | 4086464 | 3905062 | 3758 2492 | 0 | 0 1145.70/1146.15 c 1144s | 24 | 4092681 | 3910962 | 3758 2495 | 0 | 0 1147.70/1148.16 c 1146s | 24 | 4099230 | 3917062 | 3758 2498 | 0 | 0 1149.70/1150.19 c 1148s | 24 | 4106653 | 3924062 | 3758 2502 | 0 | 0 1151.80/1152.21 c 1150s | 24 | 4114604 | 3931562 | 3758 2505 | 0 | 0 1153.80/1154.21 c 1152s | 24 | 4121797 | 3938362 | 3758 2509 | 0 | 0 1155.81/1156.21 c 1154s | 24 | 4129388 | 3945362 | 3758 2512 | 0 | 0 1157.80/1158.22 c 1156s | 24 | 4136576 | 3952262 | 3758 2516 | 0 | 0 1159.80/1160.22 c 1158s | 24 | 4142786 | 3958362 | 3758 2519 | 0 | 0 1161.80/1162.25 c 1160s | 24 | 4149351 | 3964662 | 3758 2522 | 0 | 0 1163.80/1164.26 c 1162s | 24 | 4154981 | 3970062 | 3758 2525 | 0 | 0 1165.80/1166.27 c 1164s | 24 | 4162315 | 3976962 | 3758 2528 | 0 | 0 1167.81/1168.28 c 1166s | 24 | 4169727 | 3983862 | 3758 2531 | 0 | 0 1169.80/1170.29 c 1168s | 24 | 4177555 | 3991262 | 3758 2535 | 0 | 0 1171.90/1172.32 c 1170s | 24 | 4185553 | 3998762 | 3758 2539 | 0 | 0 1173.90/1174.32 c 1172s | 24 | 4193536 | 4006262 | 3758 2543 | 0 | 0 1175.90/1176.35 c 1174s | 24 | 4201277 | 4013462 | 3758 2546 | 0 | 0 1177.90/1178.35 c 1176s | 24 | 4209662 | 4021162 | 3758 2550 | 0 | 0 1179.90/1180.37 c 1178s | 24 | 4216943 | 4027962 | 3758 2554 | 0 | 0 1182.00/1182.40 c 1180s | 24 | 4225224 | 4035562 | 3758 2557 | 0 | 0 1183.99/1184.42 c 1183s | 24 | 4232872 | 4042562 | 3758 2561 | 0 | 0 1185.99/1186.45 c 1185s | 24 | 4240436 | 4049662 | 3758 2565 | 0 | 0 1187.99/1188.45 c 1187s | 24 | 4247422 | 4056062 | 3758 2568 | 0 | 0 1189.99/1190.45 c 1189s | 24 | 4254126 | 4062362 | 3758 2571 | 0 | 0 1192.00/1192.45 c 1191s | 24 | 4261190 | 4069062 | 3758 2574 | 0 | 0 1193.99/1194.46 c 1193s | 24 | 4268972 | 4076362 | 3758 2578 | 0 | 0 1195.99/1196.49 c 1195s | 24 | 4277091 | 4083962 | 3758 2582 | 0 | 0 1198.09/1198.51 c 1197s | 24 | 4284982 | 4091262 | 3758 2585 | 0 | 0 1200.09/1200.51 c 1199s | 24 | 4292622 | 4098362 | 3758 2589 | 0 | 0 1202.09/1202.51 c 1201s | 24 | 4300099 | 4105362 | 3758 2593 | 0 | 0 1204.10/1204.53 c 1203s | 24 | 4308051 | 4112862 | 3758 2596 | 0 | 0 1206.09/1206.56 c 1205s | 24 | 4316310 | 4120662 | 3758 2600 | 0 | 0 1208.09/1208.57 c 1207s | 24 | 4323276 | 4127362 | 3758 2604 | 0 | 0 1210.09/1210.59 c 1209s | 24 | 4330729 | 4134362 | 3758 2607 | 0 | 0 1212.09/1212.59 c 1211s | 24 | 4339154 | 4142162 | 3758 2611 | 0 | 0 1214.19/1214.62 c 1213s | 24 | 4347034 | 4149562 | 3758 2615 | 0 | 0 1216.20/1216.63 c 1215s | 24 | 4355077 | 4157062 | 3758 2619 | 0 | 0 1218.19/1218.65 c 1217s | 24 | 4363754 | 4165062 | 3758 2623 | 0 | 0 1220.19/1220.66 c 1219s | 24 | 4371869 | 4172662 | 3758 2626 | 0 | 0 1222.19/1222.69 c 1221s | 24 | 4379302 | 4179662 | 3758 2630 | 0 | 0 1224.29/1224.70 c 1223s | 24 | 4387138 | 4187062 | 3758 2634 | 0 | 0 1226.29/1226.74 c 1225s | 24 | 4395361 | 4194862 | 3758 2638 | 0 | 0 1228.29/1228.74 c 1227s | 24 | 4403600 | 4202562 | 3758 2641 | 0 | 0 1230.29/1230.77 c 1229s | 24 | 4412248 | 4210762 | 3758 2646 | 0 | 0 1232.38/1232.81 c 1231s | 24 | 4420599 | 4218562 | 3758 2649 | 0 | 0 1234.38/1234.82 c 1233s | 24 | 4428256 | 4225862 | 3758 2653 | 0 | 0 1236.38/1236.83 c 1235s | 24 | 4436874 | 4233962 | 3758 2657 | 0 | 0 1238.38/1238.85 c 1237s | 24 | 4445058 | 4241562 | 3758 2661 | 0 | 0 1240.39/1240.89 c 1239s | 24 | 4452005 | 4247862 | 3758 2664 | 0 | 0 1242.48/1242.90 c 1241s | 24 | 4458283 | 4253862 | 3758 2667 | 0 | 0 1244.48/1244.92 c 1243s | 24 | 4465034 | 4260162 | 3758 2670 | 0 | 0 1246.48/1246.97 c 1245s | 24 | 4471728 | 4266362 | 3758 2674 | 0 | 0 1248.58/1249.00 c 1247s | 24 | 4477655 | 4271862 | 3758 2676 | 0 | 0 1250.58/1251.01 c 1249s | 24 | 4483670 | 4277462 | 3758 2679 | 0 | 0 1252.59/1253.02 c 1251s | 24 | 4490579 | 4283562 | 3758 2682 | 0 | 0 1254.58/1255.05 c 1253s | 24 | 4496512 | 4288862 | 3758 2685 | 0 | 0 1256.58/1257.06 c 1255s | 24 | 4502148 | 4294062 | 3758 2687 | 0 | 0 1258.58/1259.07 c 1257s | 24 | 4506833 | 4298362 | 3758 2689 | 0 | 0 1260.58/1261.08 c 1259s | 24 | 4512247 | 4303362 | 3758 2692 | 0 | 0 1262.68/1263.11 c 1261s | 24 | 4517778 | 4308462 | 3758 2695 | 0 | 0 1264.78/1265.21 c 1263s | 24 | 4523152 | 4313362 | 3758 2697 | 0 | 0 1266.79/1267.26 c 1265s | 24 | 4528539 | 4318062 | 3758 2699 | 0 | 0 1268.78/1269.27 c 1267s | 24 | 4534159 | 4323062 | 3758 2702 | 0 | 0 1270.78/1271.28 c 1269s | 24 | 4539501 | 4327562 | 3758 2704 | 0 | 0 1272.88/1273.30 c 1271s | 24 | 4544452 | 4331962 | 3758 2706 | 0 | 0 1274.88/1275.35 c 1273s | 24 | 4549119 | 4336462 | 3758 2709 | 0 | 0 1276.88/1277.37 c 1275s | 24 | 4554605 | 4341662 | 3758 2711 | 0 | 0 1278.88/1279.38 c 1277s | 24 | 4560550 | 4347262 | 3758 2714 | 0 | 0 1280.88/1281.39 c 1279s | 24 | 4565984 | 4352262 | 3758 2716 | 0 | 0 1282.98/1283.41 c 1281s | 24 | 4572239 | 4358262 | 3758 2719 | 0 | 0 1284.98/1285.41 c 1283s | 24 | 4577992 | 4363362 | 3758 2722 | 0 | 0 1286.98/1287.43 c 1286s | 24 | 4584922 | 4369262 | 3758 2725 | 0 | 0 1288.98/1289.45 c 1288s | 24 | 4591975 | 4375962 | 3758 2728 | 0 | 0 1290.98/1291.48 c 1290s | 24 | 4598925 | 4382562 | 3758 2732 | 0 | 0 1293.07/1293.50 c 1292s | 24 | 4605105 | 4388362 | 3758 2734 | 0 | 0 1295.07/1295.53 c 1294s | 24 | 4611743 | 4394662 | 3758 2738 | 0 | 0 1297.07/1297.55 c 1296s | 24 | 4617638 | 4400262 | 3758 2740 | 0 | 0 1299.07/1299.56 c 1298s | 24 | 4625514 | 4407662 | 3758 2744 | 0 | 0 1301.07/1301.59 c 1300s | 24 | 4632612 | 4414262 | 3758 2747 | 0 | 0 1303.09/1303.59 c 1302s | 24 | 4639084 | 4420262 | 3758 2750 | 0 | 0 1305.08/1305.59 c 1304s | 24 | 4645842 | 4426662 | 3758 2754 | 0 | 0 1307.18/1307.62 c 1306s | 24 | 4653653 | 4433862 | 3758 2757 | 0 | 0 1309.18/1309.64 c 1308s | 24 | 4660309 | 4440162 | 3758 2760 | 0 | 0 1311.18/1311.66 c 1310s | 24 | 4667405 | 4446762 | 3758 2764 | 0 | 0 1313.18/1313.67 c 1312s | 24 | 4674649 | 4453562 | 3758 2767 | 0 | 0 1315.19/1315.70 c 1314s | 24 | 4681564 | 4459962 | 3758 2770 | 0 | 0 1317.28/1317.71 c 1316s | 24 | 4687649 | 4465762 | 3758 2773 | 0 | 0 1319.28/1319.74 c 1318s | 24 | 4694106 | 4471962 | 3758 2776 | 0 | 0 1321.28/1321.76 c 1320s | 24 | 4700607 | 4478062 | 3758 2779 | 0 | 0 1323.28/1323.78 c 1322s | 24 | 4708769 | 4485462 | 3758 2783 | 0 | 0 1325.28/1325.78 c 1324s | 24 | 4715226 | 4491462 | 3758 2786 | 0 | 0 1327.38/1327.81 c 1326s | 24 | 4723230 | 4499162 | 3758 2790 | 0 | 0 1329.37/1329.84 c 1328s | 24 | 4730643 | 4506162 | 3758 2793 | 0 | 0 1331.37/1331.84 c 1330s | 24 | 4738244 | 4513262 | 3758 2797 | 0 | 0 1333.37/1333.85 c 1332s | 24 | 4745824 | 4520362 | 3758 2801 | 0 | 0 1335.37/1335.86 c 1334s | 24 | 4753134 | 4527262 | 3758 2804 | 0 | 0 1337.37/1337.87 c 1336s | 24 | 4760775 | 4534462 | 3758 2808 | 0 | 0 1339.38/1339.88 c 1338s | 24 | 4768408 | 4541562 | 3758 2811 | 0 | 0 1341.37/1341.88 c 1340s | 24 | 4776220 | 4548962 | 3758 2815 | 0 | 0 1343.47/1343.90 c 1342s | 24 | 4783713 | 4555862 | 3758 2818 | 0 | 0 1345.47/1345.91 c 1344s | 24 | 4791153 | 4562762 | 3758 2822 | 0 | 0 1347.47/1347.92 c 1346s | 24 | 4798076 | 4569262 | 3758 2825 | 0 | 0 1349.47/1349.92 c 1348s | 24 | 4804793 | 4575462 | 3758 2828 | 0 | 0 1351.47/1351.95 c 1350s | 24 | 4811733 | 4582062 | 3758 2831 | 0 | 0 1353.47/1353.96 c 1352s | 24 | 4818713 | 4588662 | 3758 2835 | 0 | 0 1355.57/1356.00 c 1354s | 24 | 4824492 | 4594162 | 3758 2838 | 0 | 0 1357.57/1358.01 c 1356s | 24 | 4831339 | 4600662 | 3758 2841 | 0 | 0 1359.56/1360.01 c 1358s | 24 | 4837611 | 4606562 | 3758 2844 | 0 | 0 1361.56/1362.03 c 1360s | 24 | 4842863 | 4611562 | 3758 2846 | 0 | 0 1363.57/1364.04 c 1362s | 24 | 4850833 | 4618962 | 3758 2850 | 0 | 0 1365.56/1366.07 c 1364s | 24 | 4856673 | 4624362 | 3758 2853 | 0 | 0 1367.56/1368.08 c 1366s | 24 | 4861405 | 4628862 | 3758 2855 | 0 | 0 1369.66/1370.11 c 1368s | 24 | 4867969 | 4634962 | 3758 2858 | 0 | 0 1371.66/1372.13 c 1370s | 24 | 4873937 | 4640462 | 3758 2861 | 0 | 0 1373.66/1374.14 c 1372s | 24 | 4879875 | 4646162 | 3758 2864 | 0 | 0 1375.68/1376.16 c 1374s | 24 | 4886201 | 4652262 | 3758 2867 | 0 | 0 1377.67/1378.16 c 1376s | 24 | 4892281 | 4658062 | 3758 2870 | 0 | 0 1379.67/1380.18 c 1378s | 24 | 4898762 | 4664262 | 3758 2873 | 0 | 0 1381.77/1382.20 c 1380s | 24 | 4905061 | 4670362 | 3758 2876 | 0 | 0 1383.76/1384.21 c 1382s | 24 | 4912030 | 4676962 | 3758 2879 | 0 | 0 1385.76/1386.22 c 1384s | 24 | 4918028 | 4682662 | 3758 2882 | 0 | 0 1387.77/1388.24 c 1386s | 24 | 4925786 | 4689862 | 3758 2886 | 0 | 0 1389.76/1390.26 c 1388s | 24 | 4933319 | 4696962 | 3758 2889 | 0 | 0 1391.86/1392.30 c 1390s | 24 | 4939563 | 4702762 | 3758 2892 | 0 | 0 1393.86/1394.32 c 1392s | 24 | 4946464 | 4709162 | 3758 2895 | 0 | 0 1395.86/1396.35 c 1394s | 24 | 4953000 | 4715262 | 3758 2899 | 0 | 0 1397.86/1398.36 c 1396s | 24 | 4958236 | 4720162 | 3758 2901 | 0 | 0 1399.87/1400.39 c 1398s | 24 | 4963956 | 4725362 | 3758 2904 | 0 | 0 1401.96/1402.42 c 1401s | 24 | 4969515 | 4730562 | 3758 2906 | 0 | 0 1403.96/1404.43 c 1403s | 24 | 4974511 | 4735262 | 3758 2909 | 0 | 0 1405.96/1406.44 c 1405s | 24 | 4977861 | 4738262 | 3758 2910 | 0 | 0 1407.96/1408.46 c 1407s | 24 | 4981874 | 4742062 | 3758 2912 | 0 | 0 1409.96/1410.49 c 1409s | 24 | 4985579 | 4745662 | 3758 2914 | 0 | 0 1411.97/1412.50 c 1411s | 24 | 4990878 | 4750662 | 3758 2916 | 0 | 0 1414.06/1414.50 c 1413s | 24 | 4996748 | 4756062 | 3758 2919 | 0 | 0 1416.06/1416.53 c 1415s | 24 | 5001982 | 4760762 | 3758 2921 | 0 | 0 1418.06/1418.55 c 1417s | 24 | 5007432 | 4765662 | 3758 2924 | 0 | 0 1420.06/1420.57 c 1419s | 24 | 5011790 | 4769662 | 3758 2926 | 0 | 0 1422.16/1422.61 c 1421s | 24 | 5017054 | 4774562 | 3758 2928 | 0 | 0 1424.16/1424.63 c 1423s | 24 | 5022113 | 4779262 | 3758 2931 | 0 | 0 1426.16/1426.65 c 1425s | 24 | 5027714 | 4784562 | 3758 2933 | 0 | 0 1428.15/1428.67 c 1427s | 24 | 5033846 | 4790262 | 3758 2936 | 0 | 0 1430.15/1430.69 c 1429s | 24 | 5040444 | 4796562 | 3758 2939 | 0 | 0 1432.25/1432.70 c 1431s | 24 | 5046512 | 4802462 | 3758 2942 | 0 | 0 1434.25/1434.71 c 1433s | 24 | 5051971 | 4807862 | 3758 2945 | 0 | 0 1436.26/1436.72 c 1435s | 24 | 5058042 | 4813862 | 3758 2948 | 0 | 0 1438.25/1438.73 c 1437s | 24 | 5064704 | 4820362 | 3758 2951 | 0 | 0 1440.26/1440.75 c 1439s | 24 | 5070904 | 4826462 | 3758 2954 | 0 | 0 1442.26/1442.76 c 1441s | 24 | 5077345 | 4832762 | 3758 2957 | 0 | 0 1444.26/1444.77 c 1443s | 24 | 5083538 | 4838762 | 3758 2960 | 0 | 0 1446.26/1446.77 c 1445s | 24 | 5089760 | 4844862 | 3758 2963 | 0 | 0 1448.26/1448.80 c 1447s | 24 | 5095685 | 4850662 | 3758 2966 | 0 | 0 1450.36/1450.82 c 1449s | 24 | 5101941 | 4856762 | 3758 2969 | 0 | 0 1452.36/1452.84 c 1451s | 24 | 5107422 | 4862162 | 3758 2972 | 0 | 0 1454.36/1454.86 c 1453s | 24 | 5112996 | 4867662 | 3758 2975 | 0 | 0 1456.36/1456.89 c 1455s | 24 | 5118600 | 4873162 | 3758 2977 | 0 | 0 1458.36/1458.89 c 1457s | 24 | 5124213 | 4878662 | 3758 2980 | 0 | 0 1460.46/1460.92 c 1459s | 24 | 5130084 | 4884462 | 3758 2983 | 0 | 0 1462.45/1462.92 c 1461s | 24 | 5135982 | 4890262 | 3758 2986 | 0 | 0 1464.45/1464.92 c 1463s | 24 | 5141799 | 4895962 | 3758 2989 | 0 | 0 1466.45/1466.95 c 1465s | 24 | 5147412 | 4901362 | 3758 2992 | 0 | 0 1468.45/1468.99 c 1467s | 24 | 5152992 | 4906862 | 3758 2994 | 0 | 0 1470.55/1471.00 c 1469s | 24 | 5159321 | 4913062 | 3758 2997 | 0 | 0 1472.56/1473.01 c 1471s | 24 | 5164659 | 4918362 | 3758 3000 | 0 | 0 1474.55/1475.03 c 1473s | 24 | 5170501 | 4924062 | 3758 3003 | 0 | 0 1476.55/1477.04 c 1475s | 24 | 5175952 | 4929462 | 3758 3006 | 0 | 0 1478.55/1479.07 c 1477s | 24 | 5181640 | 4935062 | 3758 3008 | 0 | 0 1480.55/1481.10 c 1479s | 24 | 5187670 | 4940962 | 3758 3011 | 0 | 0 1482.65/1483.11 c 1481s | 24 | 5193027 | 4946162 | 3758 3014 | 0 | 0 1484.65/1485.13 c 1483s | 24 | 5197953 | 4950962 | 3758 3016 | 0 | 0 1486.65/1487.16 c 1485s | 24 | 5203406 | 4956262 | 3758 3019 | 0 | 0 1488.65/1489.17 c 1487s | 24 | 5208629 | 4961362 | 3758 3022 | 0 | 0 1490.75/1491.21 c 1489s | 24 | 5214991 | 4967562 | 3758 3025 | 0 | 0 1492.75/1493.22 c 1491s | 24 | 5220437 | 4972962 | 3758 3027 | 0 | 0 1494.75/1495.25 c 1493s | 24 | 5226309 | 4978762 | 3758 3030 | 0 | 0 1496.75/1497.27 c 1495s | 24 | 5232229 | 4984562 | 3758 3033 | 0 | 0 1498.75/1499.28 c 1497s | 24 | 5238186 | 4990262 | 3758 3036 | 0 | 0 1500.84/1501.30 c 1499s | 24 | 5243762 | 4995662 | 3758 3039 | 0 | 0 1502.84/1503.31 c 1501s | 24 | 5249453 | 5001262 | 3758 3042 | 0 | 0 1504.84/1505.32 c 1503s | 24 | 5254636 | 5006362 | 3758 3044 | 0 | 0 1506.84/1507.33 c 1505s | 24 | 5260535 | 5011962 | 3758 3047 | 0 | 0 1508.85/1509.38 c 1507s | 24 | 5265736 | 5016962 | 3758 3049 | 0 | 0 1510.95/1511.41 c 1509s | 24 | 5271115 | 5022162 | 3758 3052 | 0 | 0 1512.94/1513.43 c 1512s | 24 | 5276382 | 5027262 | 4134 3054 | 0 | 0 1514.94/1515.46 c 1514s | 24 | 5281874 | 5032462 | 4134 3057 | 0 | 0 1516.94/1517.47 c 1516s | 24 | 5287427 | 5037962 | 4134 3059 | 0 | 0 1519.04/1519.50 c 1518s | 24 | 5293037 | 5043462 | 4134 3062 | 0 | 0 1521.04/1521.53 c 1520s | 24 | 5298333 | 5048662 | 4134 3064 | 0 | 0 1523.05/1523.56 c 1522s | 24 | 5303647 | 5053862 | 4134 3067 | 0 | 0 1525.04/1525.58 c 1524s | 24 | 5309771 | 5059862 | 4134 3069 | 0 | 0 1526.94/1527.46 c 1526s | 25 | 5315120 | 5065098 | 4134 3072 | 0 | 0 1528.94/1529.48 c 1528s | 25 | 5323145 | 5072798 | 4134 3075 | 0 | 0 1530.94/1531.49 c 1530s | 25 | 5330981 | 5080498 | 4134 3079 | 0 | 0 1532.94/1533.49 c 1532s | 25 | 5338408 | 5087798 | 4134 3082 | 0 | 0 1535.04/1535.52 c 1534s | 25 | 5345766 | 5095098 | 4134 3085 | 0 | 0 1537.05/1537.54 c 1536s | 25 | 5352893 | 5102098 | 4134 3088 | 0 | 0 1539.05/1539.55 c 1538s | 25 | 5360239 | 5109298 | 4134 3092 | 0 | 0 1541.04/1541.57 c 1540s | 25 | 5367278 | 5116198 | 4134 3095 | 0 | 0 1543.04/1543.58 c 1542s | 25 | 5374506 | 5123298 | 4134 3098 | 0 | 0 1545.15/1545.61 c 1544s | 25 | 5381346 | 5129998 | 4134 3101 | 0 | 0 1547.14/1547.64 c 1546s | 25 | 5387963 | 5136498 | 4134 3104 | 0 | 0 1549.14/1549.64 c 1548s | 25 | 5395134 | 5143598 | 4134 3107 | 0 | 0 1551.14/1551.67 c 1550s | 25 | 5402353 | 5150698 | 4134 3111 | 0 | 0 1553.14/1553.67 c 1552s | 25 | 5409578 | 5157798 | 4134 3114 | 0 | 0 1555.14/1555.69 c 1554s | 25 | 5416255 | 5164398 | 4134 3117 | 0 | 0 1557.15/1557.70 c 1556s | 25 | 5422481 | 5170398 | 4134 3120 | 0 | 0 1559.24/1559.70 c 1558s | 25 | 5429558 | 5177198 | 4134 3123 | 0 | 0 1561.24/1561.71 c 1560s | 25 | 5437056 | 5184498 | 4134 3126 | 0 | 0 1563.24/1563.73 c 1562s | 25 | 5444569 | 5191898 | 4134 3129 | 0 | 0 1565.24/1565.73 c 1564s | 25 | 5451757 | 5198898 | 4134 3132 | 0 | 0 1567.24/1567.74 c 1566s | 25 | 5459016 | 5206098 | 4134 3136 | 0 | 0 1569.25/1569.77 c 1568s | 25 | 5466184 | 5213198 | 4134 3139 | 0 | 0 1571.34/1571.80 c 1570s | 25 | 5472966 | 5219898 | 4134 3142 | 0 | 0 1573.34/1573.82 c 1572s | 25 | 5479463 | 5226298 | 4134 3145 | 0 | 0 1575.34/1575.82 c 1574s | 25 | 5486506 | 5233198 | 4134 3148 | 0 | 0 1577.34/1577.84 c 1576s | 25 | 5493267 | 5239598 | 4134 3151 | 0 | 0 1579.33/1579.86 c 1578s | 25 | 5499368 | 5245198 | 4134 3154 | 0 | 0 1581.34/1581.88 c 1580s | 25 | 5506007 | 5251598 | 4134 3156 | 0 | 0 1583.43/1583.91 c 1582s | 25 | 5512284 | 5257698 | 4134 3159 | 0 | 0 1585.43/1585.93 c 1584s | 25 | 5518473 | 5263698 | 4134 3162 | 0 | 0 1587.43/1587.96 c 1586s | 25 | 5525701 | 5270598 | 4134 3165 | 0 | 0 1589.43/1589.97 c 1588s | 25 | 5531964 | 5276498 | 4134 3168 | 0 | 0 1591.53/1592.00 c 1590s | 25 | 5538006 | 5282298 | 4134 3171 | 0 | 0 1593.54/1594.02 c 1592s | 25 | 5543859 | 5287898 | 4134 3173 | 0 | 0 1595.53/1596.04 c 1594s | 25 | 5549834 | 5293498 | 4134 3176 | 0 | 0 1597.53/1598.07 c 1596s | 25 | 5556800 | 5299798 | 4134 3178 | 0 | 0 1599.53/1600.08 c 1598s | 25 | 5563360 | 5305998 | 4134 3181 | 0 | 0 1601.53/1602.09 c 1600s | 25 | 5569564 | 5311698 | 4134 3184 | 0 | 0 1603.63/1604.11 c 1602s | 25 | 5575695 | 5317198 | 4134 3186 | 0 | 0 1605.64/1606.14 c 1604s | 25 | 5581964 | 5322798 | 4134 3189 | 0 | 0 1607.63/1608.14 c 1606s | 25 | 5588124 | 5328398 | 4134 3192 | 0 | 0 1609.63/1610.15 c 1608s | 25 | 5594121 | 5333998 | 4134 3194 | 0 | 0 1611.63/1612.16 c 1610s | 25 | 5599850 | 5339498 | 4134 3197 | 0 | 0 1613.63/1614.20 c 1612s | 25 | 5605490 | 5344998 | 4134 3199 | 0 | 0 1615.73/1616.22 c 1614s | 25 | 5611817 | 5350898 | 4134 3202 | 0 | 0 1617.73/1618.23 c 1616s | 25 | 5617366 | 5355998 | 4134 3204 | 0 | 0 1619.73/1620.23 c 1618s | 25 | 5623506 | 5361998 | 4134 3207 | 0 | 0 1621.72/1622.25 c 1620s | 25 | 5629316 | 5367598 | 4134 3209 | 0 | 0 1623.72/1624.26 c 1622s | 25 | 5635037 | 5373098 | 4134 3212 | 0 | 0 1625.72/1626.28 c 1624s | 25 | 5640448 | 5378298 | 4134 3214 | 0 | 0 1627.72/1628.29 c 1626s | 25 | 5646044 | 5383598 | 4134 3217 | 0 | 0 1629.83/1630.31 c 1628s | 25 | 5651950 | 5389198 | 4134 3219 | 0 | 0 1631.83/1632.33 c 1630s | 25 | 5657476 | 5394298 | 4134 3222 | 0 | 0 1633.83/1634.34 c 1632s | 25 | 5663172 | 5399798 | 4134 3224 | 0 | 0 1635.83/1636.37 c 1634s | 25 | 5669388 | 5405698 | 4134 3227 | 0 | 0 1637.93/1638.41 c 1636s | 25 | 5675156 | 5411198 | 4134 3229 | 0 | 0 1639.93/1640.43 c 1639s | 25 | 5681194 | 5416798 | 4134 3232 | 0 | 0 1641.93/1642.46 c 1641s | 25 | 5687353 | 5422398 | 4134 3234 | 0 | 0 1643.93/1644.48 c 1643s | 25 | 5693306 | 5427798 | 4134 3237 | 0 | 0 1646.03/1646.50 c 1645s | 25 | 5699257 | 5433498 | 4134 3240 | 0 | 0 1648.03/1648.51 c 1647s | 25 | 5705214 | 5439298 | 4134 3242 | 0 | 0 1650.03/1650.53 c 1649s | 25 | 5711572 | 5445398 | 4134 3245 | 0 | 0 1652.03/1652.55 c 1651s | 25 | 5717831 | 5451398 | 4134 3248 | 0 | 0 1654.03/1654.59 c 1653s | 25 | 5723860 | 5457198 | 4134 3250 | 0 | 0 1656.02/1656.60 c 1655s | 25 | 5730026 | 5463198 | 4134 3253 | 0 | 0 1658.12/1658.61 c 1657s | 25 | 5735933 | 5468798 | 4134 3256 | 0 | 0 1660.12/1660.63 c 1659s | 25 | 5741437 | 5474098 | 4134 3258 | 0 | 0 1662.12/1662.65 c 1661s | 25 | 5747615 | 5479998 | 4134 3261 | 0 | 0 1664.12/1664.66 c 1663s | 25 | 5753732 | 5485898 | 4134 3263 | 0 | 0 1666.13/1666.67 c 1665s | 25 | 5759994 | 5491898 | 4134 3266 | 0 | 0 1668.12/1668.68 c 1667s | 25 | 5766376 | 5497998 | 4134 3269 | 0 | 0 1670.22/1670.73 c 1669s | 25 | 5772515 | 5503798 | 4134 3272 | 0 | 0 1672.22/1672.74 c 1671s | 25 | 5778594 | 5509598 | 4134 3274 | 0 | 0 1674.22/1674.76 c 1673s | 25 | 5784761 | 5515398 | 4134 3277 | 0 | 0 1676.22/1676.76 c 1675s | 25 | 5790646 | 5520998 | 4134 3279 | 0 | 0 1678.23/1678.78 c 1677s | 25 | 5796923 | 5527098 | 4134 3282 | 0 | 0 1680.33/1680.81 c 1679s | 25 | 5803029 | 5532898 | 4134 3285 | 0 | 0 1682.32/1682.82 c 1681s | 25 | 5809025 | 5538598 | 4134 3287 | 0 | 0 1684.32/1684.83 c 1683s | 25 | 5815076 | 5544298 | 4134 3290 | 0 | 0 1686.32/1686.85 c 1685s | 25 | 5821255 | 5550198 | 4134 3293 | 0 | 0 1688.32/1688.88 c 1687s | 25 | 5827536 | 5556198 | 4134 3295 | 0 | 0 1690.42/1690.90 c 1689s | 25 | 5832917 | 5561298 | 4134 3298 | 0 | 0 1692.42/1692.92 c 1691s | 25 | 5839041 | 5567198 | 4134 3300 | 0 | 0 1694.42/1694.94 c 1693s | 25 | 5844993 | 5572798 | 4134 3303 | 0 | 0 1696.42/1696.94 c 1695s | 25 | 5850400 | 5577898 | 4134 3305 | 0 | 0 1698.42/1698.98 c 1697s | 25 | 5855878 | 5583198 | 4134 3308 | 0 | 0 1700.52/1701.01 c 1699s | 25 | 5862208 | 5589298 | 4134 3310 | 0 | 0 1702.52/1703.04 c 1701s | 25 | 5867515 | 5594398 | 4134 3313 | 0 | 0 1704.52/1705.07 c 1703s | 25 | 5873390 | 5599998 | 4134 3315 | 0 | 0 1706.52/1707.07 c 1705s | 25 | 5879660 | 5606098 | 4134 3318 | 0 | 0 1708.52/1709.10 c 1707s | 25 | 5885456 | 5611698 | 4134 3321 | 0 | 0 1710.62/1711.11 c 1709s | 25 | 5891787 | 5617798 | 4134 3323 | 0 | 0 1712.61/1713.13 c 1711s | 25 | 5897949 | 5623698 | 4134 3326 | 0 | 0 1714.61/1715.16 c 1713s | 25 | 5903806 | 5629298 | 4134 3329 | 0 | 0 1716.62/1717.17 c 1715s | 25 | 5909686 | 5634998 | 4134 3331 | 0 | 0 1718.61/1719.17 c 1717s | 25 | 5915871 | 5640998 | 4134 3334 | 0 | 0 1720.61/1721.17 c 1719s | 25 | 5922000 | 5646898 | 4134 3337 | 0 | 0 1722.71/1723.20 c 1721s | 25 | 5928032 | 5652698 | 4134 3339 | 0 | 0 1724.71/1725.22 c 1723s | 25 | 5933533 | 5657898 | 4134 3342 | 0 | 0 1726.71/1727.22 c 1725s | 25 | 5939242 | 5663298 | 4134 3344 | 0 | 0 1728.72/1729.22 c 1727s | 25 | 5946856 | 5670798 | 4134 3348 | 0 | 0 1730.71/1731.23 c 1729s | 25 | 5953647 | 5677498 | 4134 3351 | 0 | 0 1732.71/1733.24 c 1731s | 25 | 5959937 | 5683498 | 4134 3353 | 0 | 0 1734.71/1735.25 c 1733s | 25 | 5966128 | 5689598 | 4134 3356 | 0 | 0 1736.71/1737.25 c 1735s | 25 | 5973440 | 5696798 | 4134 3359 | 0 | 0 1738.71/1739.25 c 1737s | 25 | 5980270 | 5703498 | 4134 3363 | 0 | 0 1740.71/1741.28 c 1739s | 25 | 5987048 | 5710098 | 4134 3366 | 0 | 0 1742.71/1743.28 c 1741s | 25 | 5993568 | 5716098 | 4134 3368 | 0 | 0 1744.81/1745.30 c 1743s | 25 | 5999350 | 5721598 | 4134 3371 | 0 | 0 1746.81/1747.32 c 1745s | 25 | 6004434 | 5726598 | 4134 3373 | 0 | 0 1748.81/1749.35 c 1747s | 25 | 6009489 | 5731498 | 4134 3375 | 0 | 0 1750.81/1751.36 c 1749s | 25 | 6014714 | 5736598 | 4134 3378 | 0 | 0 1752.80/1753.36 c 1751s | 25 | 6020547 | 5742298 | 4134 3380 | 0 | 0 1754.81/1755.38 c 1753s | 25 | 6027190 | 5748798 | 4134 3383 | 0 | 0 1756.81/1757.39 c 1755s | 25 | 6032979 | 5754498 | 4134 3386 | 0 | 0 1758.91/1759.41 c 1757s | 25 | 6039652 | 5760998 | 4134 3389 | 0 | 0 1760.91/1761.43 c 1760s | 25 | 6046207 | 5767398 | 4134 3392 | 0 | 0 1762.92/1763.46 c 1762s | 25 | 6052224 | 5773298 | 4134 3394 | 0 | 0 1764.91/1765.47 c 1764s | 25 | 6057840 | 5778798 | 4134 3397 | 0 | 0 1766.91/1767.47 c 1766s | 25 | 6063111 | 5783898 | 4134 3399 | 0 | 0 1768.91/1769.48 c 1768s | 25 | 6069658 | 5790298 | 4134 3402 | 0 | 0 1770.91/1771.48 c 1770s | 25 | 6076552 | 5796998 | 4134 3405 | 0 | 0 1772.91/1773.48 c 1772s | 25 | 6083532 | 5803798 | 4134 3408 | 0 | 0 1774.91/1775.49 c 1774s | 25 | 6090391 | 5810498 | 4134 3411 | 0 | 0 1777.01/1777.52 c 1776s | 25 | 6097013 | 5816998 | 4134 3414 | 0 | 0 1779.01/1779.54 c 1778s | 25 | 6103121 | 5822998 | 4134 3417 | 0 | 0 1781.01/1781.56 c 1780s | 25 | 6109585 | 5829398 | 4134 3420 | 0 | 0 1783.01/1783.56 c 1782s | 25 | 6116605 | 5836198 | 4134 3423 | 0 | 0 1785.01/1785.58 c 1784s | 25 | 6123041 | 5842498 | 4134 3426 | 0 | 0 1787.01/1787.60 c 1786s | 25 | 6130127 | 5849498 | 4134 3429 | 0 | 0 1789.10/1789.63 c 1788s | 25 | 6136682 | 5855998 | 4134 3432 | 0 | 0 1791.10/1791.64 c 1790s | 25 | 6143360 | 5862598 | 4134 3435 | 0 | 0 1793.10/1793.66 c 1792s | 25 | 6150553 | 5869698 | 4134 3438 | 0 | 0 1795.10/1795.68 c 1794s | 25 | 6157187 | 5876198 | 4134 3441 | 0 | 0 1797.10/1797.69 c 1796s | 25 | 6163647 | 5882498 | 4134 3444 | 0 | 0 1799.11/1799.70 c 1798s | 25 | 6170435 | 5889198 | 4134 3447 | 0 | 0
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-4106457-1466271780/watcher-4106457-1466271780 -o /tmp/evaluation-result-4106457-1466271780/solver-4106457-1466271780 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106457-1466271780.opb pid=14783 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.11 2.09 2.09 4/179 14786 /proc/meminfo: memFree=30083228/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=734788 CPUtime=0 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 2740 0 0 0 0 0 0 0 20 0 4 0 29227220 752422912 3612 33554432000 4194304 16246674 140735136136512 140735136135936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 184209 3621 442 2943 0 181103 0 [pid=14786/tid=14787] ppid=14783 vsize=752196 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 770248704 3681 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=755268 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 773394432 3696 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=759364 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 777588736 3713 33554432000 4194304 16246674 140735136136512 139848027466928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100172 s] /proc/loadavg: 2.11 2.09 2.09 4/179 14786 /proc/meminfo: memFree=30083228/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 20999 0 0 0 7 2 0 0 20 0 4 0 29227220 1247350784 21859 33554432000 4194304 16246674 140735136136512 140735136135936 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 304529 21864 759 2943 0 301423 0 [pid=14786/tid=14787] ppid=14783 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1247350784 21869 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1247350784 21874 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1247350784 21881 33554432000 4194304 16246674 140735136136512 139848027466928 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.200619 s] /proc/loadavg: 2.11 2.09 2.09 4/179 14786 /proc/meminfo: memFree=30083228/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 39076 0 0 0 15 4 0 0 20 0 4 0 29227220 1247350784 39936 33554432000 4194304 16246674 140735136136512 140735136135936 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 304529 39943 766 2943 0 301423 0 [pid=14786/tid=14787] ppid=14783 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1247350784 39948 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1247350784 39955 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1247350784 39962 33554432000 4194304 16246674 140735136136512 139848027466928 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.300479 s] /proc/loadavg: 2.11 2.09 2.09 4/179 14786 /proc/meminfo: memFree=30083228/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 57674 0 0 0 23 6 0 0 20 0 4 0 29227220 1247350784 58534 33554432000 4194304 16246674 140735136136512 140735136135936 12460548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 304529 58544 766 2943 0 301423 0 [pid=14786/tid=14787] ppid=14783 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1247350784 58550 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1247350784 58561 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1247350784 58565 33554432000 4194304 16246674 140735136136512 139848027466928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700414 s] /proc/loadavg: 2.11 2.09 2.09 4/179 14786 /proc/meminfo: memFree=30083228/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 121655 0 0 0 54 15 0 0 20 0 4 0 29227220 1247350784 122515 33554432000 4194304 16246674 140735136136512 140735136118400 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 304529 122526 766 2943 0 301423 0 [pid=14786/tid=14787] ppid=14783 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1247350784 122534 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1247350784 122538 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1247350784 122544 33554432000 4194304 16246674 140735136136512 139848027466928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.11 2.09 2.09 3/183 14790 /proc/meminfo: memFree=29297544/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1220164 CPUtime=1.49 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 246012 0 0 0 119 30 0 0 20 0 4 0 29227220 1249447936 246849 33554432000 4194304 16246674 140735136136512 140735136119512 5600808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 305041 246849 853 2943 0 301935 0 [pid=14786/tid=14787] ppid=14783 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1249447936 246849 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1249447936 246849 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1249447936 246849 33554432000 4194304 16246674 140735136136512 139848027466928 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.10041 s] /proc/loadavg: 2.10 2.09 2.09 3/183 14790 /proc/meminfo: memFree=29096376/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1305156 CPUtime=3.08 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 267150 0 0 0 275 33 0 0 20 0 4 0 29227220 1336479744 267987 33554432000 4194304 16246674 140735136136512 140735136119512 6011784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 326289 267987 853 2943 0 323183 0 [pid=14786/tid=14787] ppid=14783 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1336479744 267987 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1336479744 267987 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1336479744 267987 33554432000 4194304 16246674 140735136136512 139848027466928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1305156 [startup+6.30043 s] /proc/loadavg: 2.10 2.09 2.09 3/183 14790 /proc/meminfo: memFree=29008864/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 267894 0 0 0 595 34 0 0 20 0 4 0 29227220 1338576896 268731 33554432000 4194304 16246674 140735136136512 140735136118400 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 326801 268731 853 2943 0 323695 0 [pid=14786/tid=14787] ppid=14783 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1338576896 268731 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1338576896 268731 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1338576896 268731 33554432000 4194304 16246674 140735136136512 139848027466928 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.08 2.09 2.09 3/183 14790 /proc/meminfo: memFree=29004476/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1311300 CPUtime=12.69 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 268922 0 0 0 1235 34 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 140735136118400 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 327825 269759 854 2943 0 324719 0 [pid=14786/tid=14787] ppid=14783 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 139848027466928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1311300 [startup+25.5005 s] /proc/loadavg: 2.07 2.09 2.09 3/183 14790 /proc/meminfo: memFree=29005140/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1311300 CPUtime=25.49 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 268922 0 0 0 2515 34 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 140735136118400 5823716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 327825 269759 854 2943 0 324719 0 [pid=14786/tid=14787] ppid=14783 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 139848027466928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.11 2.09 2.09 3/183 14790 /proc/meminfo: memFree=29005016/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1311300 CPUtime=51.08 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 268922 0 0 0 5074 34 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 140735136118400 5546456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 327825 269759 854 2943 0 324719 0 [pid=14786/tid=14787] ppid=14783 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 139848027466928 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) 1311300 [startup+102.301 s] /proc/loadavg: 2.04 2.08 2.08 3/183 14791 /proc/meminfo: memFree=29004736/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1311300 CPUtime=102.28 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 268922 0 0 0 10193 35 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 140735136118400 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 327825 269759 854 2943 0 324719 0 [pid=14786/tid=14787] ppid=14783 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1342771200 269759 33554432000 4194304 16246674 140735136136512 139848027466928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1311300 ################ # More data... # ################ /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848027466928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1318468 [startup+1362.3 s] /proc/loadavg: 2.42 2.27 2.14 4/183 14894 /proc/meminfo: memFree=28978260/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1318468 CPUtime=1361.87 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 271128 0 0 0 136141 46 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 140735136119512 5722096 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 329617 271556 856 2943 0 326511 0 [pid=14786/tid=14787] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848027466928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1318468 [startup+1422.3 s] /proc/loadavg: 2.34 2.27 2.15 3/183 14896 /proc/meminfo: memFree=28977964/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1318468 CPUtime=1421.86 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 271128 0 0 0 142139 47 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 140735136118400 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 329617 271556 856 2943 0 326511 0 [pid=14786/tid=14787] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848027466928 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) 1318468 [startup+1482.3 s] /proc/loadavg: 2.22 2.25 2.15 3/183 14897 /proc/meminfo: memFree=28977364/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1318468 CPUtime=1481.85 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 271128 0 0 0 148137 48 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 140735136119512 5754700 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 329617 271556 856 2943 0 326511 0 [pid=14786/tid=14787] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848027466928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1318468 [startup+1542.31 s] /proc/loadavg: 2.28 2.26 2.16 4/183 14898 /proc/meminfo: memFree=28977444/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1318468 CPUtime=1541.85 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 271128 0 0 0 154136 49 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 140735136118400 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 329617 271556 856 2943 0 326511 0 [pid=14786/tid=14787] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848027466928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1318468 [startup+1602.3 s] /proc/loadavg: 2.16 2.23 2.15 3/183 14899 /proc/meminfo: memFree=28978032/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1318468 CPUtime=1601.83 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 271128 0 0 0 160134 49 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 140735136119512 5721567 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 329617 271556 856 2943 0 326511 0 [pid=14786/tid=14787] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848027466928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1318468 [startup+1662.3 s] /proc/loadavg: 2.31 2.26 2.17 3/184 14903 /proc/meminfo: memFree=28978088/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1318468 CPUtime=1661.82 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 271128 0 0 0 166132 50 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 140735136118400 13759456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 329617 271556 856 2943 0 326511 0 [pid=14786/tid=14787] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848027466928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1318468 [startup+1722.3 s] /proc/loadavg: 2.26 2.26 2.17 3/182 14904 /proc/meminfo: memFree=28977848/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1318468 CPUtime=1721.81 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 271128 0 0 0 172131 50 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 140735136119512 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 329617 271556 856 2943 0 326511 0 [pid=14786/tid=14787] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848027466928 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) 1318468 [startup+1782.3 s] /proc/loadavg: 2.25 2.26 2.18 3/183 14906 /proc/meminfo: memFree=28977596/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1318468 CPUtime=1781.81 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 271128 0 0 0 178130 51 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 140735136118400 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 329617 271556 856 2943 0 326511 0 [pid=14786/tid=14787] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848027466928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1318468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.20 2.25 2.18 3/183 14907 /proc/meminfo: memFree=28977592/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1318468 CPUtime=1800 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 271128 0 0 0 179949 51 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 140735136119512 5712600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 329617 271556 856 2943 0 326511 0 [pid=14786/tid=14787] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848027466928 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) 1318468 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 14786 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.20 2.25 2.18 3/183 14907 /proc/meminfo: memFree=28977592/32872528 swapFree=681964/737152 [pid=14786] ppid=14783 vsize=1318468 CPUtime=1800 cores=1,3,5,7 /proc/14786/stat : 14786 (toysat) R 14783 14786 13233 0 -1 4202496 271128 0 0 0 179949 51 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 140735136119512 5712600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14786/statm: 329617 271556 856 2943 0 326511 0 [pid=14786/tid=14787] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14787/stat : 14787 (toysat) S 14783 14786 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848157474032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14786/tid=14788] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14788/stat : 14788 (toysat) S 14783 14786 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848146984176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14786/tid=14789] ppid=14783 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14786/task/14789/stat : 14789 (toysat) S 14783 14786 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29227220 1350111232 271556 33554432000 4194304 16246674 140735136136512 139848027466928 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) 1318468 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.5 CPU system time (s): 0.513921 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 1318468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.5 system time used= 0.513921 maximum resident set size= 1086224 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271128 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= 428 involuntary context switches= 1871 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.6872 second user time and 15.8526 second system time The end
Begin job on node112 at 2016-06-18 19:43:00 IDJOB=4106457 IDBENCH=48067 IDSOLVER=2542 FILE ID=node112/4106457-1466271780 RUNJOBID= node112-1466264161-13250 PBS_JOBID= 19918218 Free space on /tmp= 71696 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=149-P1=13-P2=53-P3=149-P4=137-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106457-1466271780/watcher-4106457-1466271780 -o /tmp/evaluation-result-4106457-1466271780/solver-4106457-1466271780 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106457-1466271780.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 154cbb2910332fd7a04bd3cd62f6a12f RANDOM SEED=78299935 node112.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.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.46 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.734 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.734 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 : 5321.48 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.734 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.734 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.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30083616 kB Buffers: 69368 kB Cached: 156640 kB SwapCached: 2028 kB Active: 1182888 kB Inactive: 133664 kB Active(anon): 1090848 kB Inactive(anon): 2096 kB Active(file): 92040 kB Inactive(file): 131568 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096744 kB Dirty: 16460 kB Writeback: 0 kB AnonPages: 1830672 kB Mapped: 10568 kB Shmem: 0 kB Slab: 602564 kB SReclaimable: 46160 kB SUnreclaim: 556404 kB KernelStack: 1520 kB PageTables: 7584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1970584 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1140736 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= 71680 MiB End job on node112 at 2016-06-18 20:13:01