| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-89.opb |
| MD5SUM | 5e35cfce24461785d6d1180987ae518e |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10086 |
| Total number of constraints | 226240 |
| Number of constraints which are clauses | 203302 |
| Number of constraints which are cardinality constraints (but not clauses) | 720 |
| Number of constraints which are nor clauses,nor cardinality constraints | 22218 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 231 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 232 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-19T01:36:40+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-4109002-1466292999.opb"] 0.00/0.01 c use --random-gen="1268841024 682843188 2124970468 1579795159 3078007175 557505653 1353670637 1478105426 278776954 3972451321 3760663932 4289536442 3292592893 1595324585 1805135485 3596413840 2864812821 4084236046 4157735466 1766542295 2462719382 480451364 3038988189 3432242633 586633785 2561846973 111402583 1230030282 1332179731 3607414744 172310514 715508276 1304930051 2639908106 2383502871 3307525977 4269213904 727949974 583401660 4229703166 3800547849 459237188 3834407214 4007017356 693434601 3760220110 1238362898 3865779468 2981079159 3243120807 3176386514 2698753032 1546345389 1299178297 2261149266 3854600819 1120191416 2444826741 2438405657 2421270961 2943051291 510173661 1877269768 3891769810 513519292 2133249400 2036932749 1913614855 1435147687 3389353939 3892904594 1697260414 3972486204 3143023144 3286406918 2687191062 3258057400 3726581637 3034274659 481279364 3568264458 3446865490 3680785781 577158080 2694363856 1282810522 2621744273 2551789944 2239811623 3110808563 1545389688 926585093 2725725864 3234255922 1129675956 4280243754 2049148293 650457552 3745554420 3499003202 4245381720 4010735016 3370011758 2311642154 787111135 4065492554 968487512 2548683327 3527737933 3865384886 1496447442 1475175153 2027035075 2985718204 2643628931 3394600673 2815339789 54382514 1373888939 4232329302 157041888 967602203 796078894 1902999565 262439366 1915041340 2396975247 1923979399 3903412136 3790578350 3590806534 2123411977 1451091498 3613822509 1655938761 3728812911 1123900000 2900644778 2991768795 363155857 4196004621 3854870035 4131230416 2297362223 2937599728 3914994403 101510316 2040884969 1716704040 179121540 3268680879 1792143192 3303080059 3249079601 1604158426 707584097 1113315112 60314920 484261810 2964099782 3691905295 3738735693 4004721729 1205555061 4277550103 3762944364 4143914014 556398076 469004933 4253820604 4021712103 3085408222 3922903814 1160621785 2971304831 452273054 4037613541 1329443487 1068544809 1992906459 3839431388 3124700106 4279010376 2807754968 1936937614 2858603147 3125149198 1367958323 361647446 1576839289 3836729595 106456487 3276538554 1433970038 1965455469 4200994095 414942452 3794354150 2308736670 2977000158 165223605 459472032 2469502858 556542075 2183295338 2630680265 2857141552 1071287145 533080417 2917502778 1700105202 1103197354 1224780842 3926333780 3659507024 1945800132 2257089492 1108412178 629806524 1176471312 3923114263 3018893870 3416597941 3137588580 65789107 1558382611 737731755 3677669892 270293339 3449274229 1832618948 2327824806 2834486976 2049369417 765683706 361563460 2548451481 162243816 2298093075 4021078818 1959650281 3871662742 3222254708 1768618921 208410930 3730342047 517952515 3398745915 2200499895 2832813547 2923977688 2677083829 2766271713 1243143621 2663814176 2163587164 255 362436" option to reproduce the execution 1.79/1.83 c #vars 10086 1.79/1.83 c #constraints 226240 5.79/5.82 c Solving starts ... 5.79/5.82 c ============================[ Search Statistics ]============================ 5.79/5.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.79/5.82 c | | | | Limit GC | Var | Constra 5.79/5.82 c ============================================================================= 5.79/5.82 c 0.0s | 0 | 0 | 0 | 78898 0 | 0 | 0 5.99/6.02 c 0.2s | 1 | 132 | 100 | 78898 0 | 0 | 0 6.39/6.43 c 0.6s | 2 | 402 | 250 | 86788 0 | 0 | 0 8.29/8.40 c 2.6s | 3 | 19615 | 475 | 95467 0 | 0 | 0 9.39/9.46 c 3.6s | 4 | 41335 | 813 | 105014 0 | 0 | 0 10.19/10.27 c 4.5s | 5 | 46862 | 1320 | 115516 0 | 0 | 0 12.09/12.19 c 6.4s | 6 | 68400 | 2081 | 139775 0 | 0 | 0 13.49/13.54 c 7.7s | 7 | 69965 | 3223 | 153753 0 | 0 | 0 15.49/15.56 c 9.7s | 7 | 94454 | 4123 | 153753 0 | 0 | 0 16.08/16.18 c 10.4s | 8 | 100122 | 4936 | 169129 0 | 0 | 0 18.19/18.21 c 12.4s | 8 | 101993 | 6136 | 169129 0 | 0 | 0 20.18/20.25 c 14.4s | 9 | 103553 | 7506 | 186042 0 | 0 | 0 22.38/22.42 c 16.6s | 9 | 142303 | 8906 | 186042 0 | 0 | 0 24.48/24.57 c 18.7s | 9 | 168154 | 10406 | 186042 0 | 0 | 0 25.18/25.20 c 19.4s | 10 | 171024 | 11361 | 204647 0 | 0 | 0 27.18/27.23 c 21.4s | 10 | 182014 | 12261 | 204647 0 | 0 | 0 29.38/29.41 c 23.6s | 10 | 183425 | 13461 | 204647 0 | 0 | 0 31.38/31.49 c 25.7s | 10 | 189733 | 14261 | 204647 0 | 0 | 0 33.78/33.87 c 28.1s | 10 | 199473 | 15161 | 204647 0 | 0 | 0 35.98/36.04 c 30.2s | 10 | 201609 | 16061 | 204647 0 | 0 | 0 38.18/38.27 c 32.5s | 10 | 207456 | 17061 | 225112 0 | 0 | 0 38.38/38.50 c 32.7s | 11 | 207766 | 17144 | 225112 0 | 0 | 0 40.48/40.53 c 34.7s | 11 | 209028 | 17844 | 225112 0 | 0 | 0 42.58/42.65 c 36.8s | 11 | 210201 | 18844 | 225112 0 | 0 | 0 44.58/44.69 c 38.9s | 11 | 211919 | 19944 | 225112 0 | 0 | 0 46.68/46.73 c 40.9s | 11 | 216067 | 21744 | 225112 0 | 0 | 0 48.68/48.79 c 43.0s | 11 | 223877 | 22844 | 225112 0 | 0 | 0 51.08/51.10 c 45.3s | 11 | 224932 | 23644 | 225112 0 | 0 | 0 53.18/53.25 c 47.4s | 11 | 226920 | 24644 | 225112 0 | 0 | 0 55.28/55.36 c 49.5s | 12 | 240627 | 25819 | 247624 0 | 0 | 0 57.48/57.51 c 51.7s | 12 | 242358 | 26819 | 247624 0 | 0 | 0 59.58/59.69 c 53.9s | 12 | 243826 | 27919 | 247624 0 | 0 | 0 61.68/61.70 c 55.9s | 12 | 270585 | 29119 | 247624 0 | 0 | 0 63.68/63.74 c 57.9s | 12 | 276792 | 30119 | 247624 0 | 0 | 0 65.78/65.80 c 60.0s | 12 | 288676 | 31719 | 247624 0 | 0 | 0 67.77/67.81 c 62.0s | 12 | 309113 | 32619 | 247624 0 | 1 | 12 69.77/69.87 c 64.1s | 12 | 327455 | 33519 | 247624 0 | 1 | 12 71.97/72.05 c 66.2s | 12 | 345513 | 34619 | 247624 0 | 1 | 12 73.97/74.09 c 68.3s | 12 | 347474 | 35419 | 247624 0 | 1 | 12 76.17/76.21 c 70.4s | 12 | 362947 | 36519 | 247624 0 | 2 | 24 78.18/78.25 c 72.4s | 12 | 364774 | 37619 | 247624 0 | 2 | 24 80.38/80.42 c 74.6s | 12 | 368479 | 38519 | 247624 0 | 3 | 36 81.07/81.10 c 75.3s | 13 | 370708 | 38832 | 272387 0 | 3 | 36 83.17/83.26 c 77.4s | 13 | 371870 | 39332 | 272387 0 | 4 | 48 85.27/85.38 c 79.6s | 13 | 372670 | 40032 | 272387 0 | 4 | 48 87.47/87.52 c 81.7s | 13 | 374789 | 40932 | 272387 0 | 4 | 48 89.47/89.53 c 83.7s | 13 | 376251 | 41932 | 272387 0 | 4 | 48 91.67/91.72 c 85.9s | 13 | 377300 | 42732 | 272387 0 | 4 | 48 93.67/93.74 c 87.9s | 13 | 378216 | 43532 | 272387 0 | 4 | 48 95.87/95.95 c 90.1s | 13 | 379132 | 44332 | 272387 0 | 4 | 48 98.07/98.10 c 92.3s | 13 | 379828 | 44932 | 272387 0 | 4 | 48 100.18/100.29 c 94.5s | 13 | 380730 | 45732 | 272387 0 | 4 | 48 102.47/102.55 c 96.7s | 13 | 381610 | 46532 | 272387 0 | 4 | 48 104.58/104.65 c 98.8s | 13 | 382415 | 47232 | 272387 0 | 4 | 48 106.68/106.71 c 100s | 13 | 383188 | 47932 | 272387 0 | 4 | 48 108.77/108.82 c 103s | 13 | 384001 | 48632 | 272387 0 | 4 | 48 110.98/111.02 c 105s | 13 | 384908 | 49432 | 272387 0 | 4 | 48 113.08/113.17 c 107s | 13 | 385686 | 50132 | 272387 0 | 4 | 48 115.18/115.21 c 109s | 13 | 386471 | 50832 | 272387 0 | 4 | 48 117.28/117.34 c 111s | 13 | 387369 | 51632 | 272387 0 | 4 | 48 119.38/119.42 c 113s | 13 | 388153 | 52332 | 272387 0 | 4 | 48 121.48/121.50 c 115s | 13 | 389499 | 53232 | 272387 0 | 4 | 48 123.48/123.53 c 117s | 13 | 390920 | 54132 | 272387 0 | 4 | 48 125.67/125.72 c 119s | 13 | 391883 | 54932 | 272387 0 | 4 | 48 127.97/128.00 c 122s | 13 | 392894 | 55732 | 272387 0 | 4 | 48 130.17/130.27 c 124s | 13 | 394133 | 56532 | 272387 0 | 4 | 48 132.47/132.52 c 126s | 13 | 394836 | 57132 | 272387 0 | 4 | 48 134.77/134.82 c 128s | 13 | 395937 | 57932 | 272387 0 | 4 | 48 136.17/136.25 c 130s | 14 | 396498 | 58352 | 299626 0 | 4 | 48 138.58/138.62 c 132s | 14 | 397445 | 58852 | 299626 0 | 5 | 60 140.78/140.83 c 135s | 14 | 398249 | 59452 | 299626 0 | 5 | 60 143.08/143.13 c 137s | 14 | 398834 | 59952 | 299626 0 | 5 | 60 145.07/145.16 c 139s | 14 | 400941 | 60852 | 299626 0 | 5 | 60 147.07/147.18 c 141s | 14 | 426361 | 61652 | 299626 0 | 5 | 60 149.47/149.52 c 143s | 14 | 438177 | 62652 | 299626 0 | 5 | 60 151.67/151.74 c 145s | 14 | 439333 | 63152 | 299626 0 | 5 | 60 153.87/153.93 c 148s | 14 | 457450 | 64352 | 299626 0 | 5 | 60 156.28/156.30 c 150s | 14 | 458023 | 64852 | 299626 0 | 5 | 60 158.48/158.51 c 152s | 14 | 458661 | 65452 | 299626 0 | 5 | 60 160.68/160.71 c 154s | 14 | 459325 | 66052 | 299626 0 | 5 | 60 162.97/163.04 c 157s | 14 | 459962 | 66652 | 299626 0 | 5 | 60 165.27/165.32 c 159s | 14 | 460611 | 67252 | 299626 0 | 5 | 60 167.28/167.37 c 161s | 14 | 461285 | 67852 | 299626 0 | 5 | 60 169.48/169.58 c 163s | 14 | 461950 | 68452 | 299626 0 | 5 | 60 171.57/171.67 c 165s | 14 | 462513 | 68952 | 299626 0 | 5 | 60 173.97/174.00 c 168s | 14 | 463163 | 69552 | 299626 0 | 5 | 60 176.07/176.13 c 170s | 14 | 463909 | 70252 | 299626 0 | 5 | 60 178.47/178.51 c 172s | 14 | 464575 | 70852 | 299626 0 | 5 | 60 180.77/180.85 c 175s | 14 | 465200 | 71452 | 299626 0 | 5 | 60 182.77/182.88 c 177s | 14 | 465951 | 72152 | 299626 0 | 5 | 60 184.87/184.98 c 179s | 14 | 466720 | 72852 | 299626 0 | 5 | 60 187.07/187.17 c 181s | 14 | 467480 | 73552 | 299626 0 | 5 | 60 189.36/189.45 c 183s | 14 | 468239 | 74252 | 299626 0 | 5 | 60 191.56/191.68 c 185s | 14 | 468803 | 74752 | 299626 0 | 5 | 60 193.76/193.83 c 188s | 14 | 469348 | 75252 | 299626 0 | 5 | 60 195.96/196.05 c 190s | 14 | 469906 | 75752 | 299626 0 | 5 | 60 198.16/198.29 c 192s | 14 | 470441 | 76252 | 299626 0 | 5 | 60 200.56/200.67 c 194s | 14 | 471097 | 76852 | 299626 0 | 5 | 60 202.86/202.92 c 197s | 14 | 471545 | 77252 | 299626 0 | 5 | 60 204.86/204.94 c 199s | 14 | 471974 | 77652 | 299626 0 | 5 | 60 206.87/206.95 c 201s | 14 | 472533 | 78152 | 299626 0 | 5 | 60 208.86/208.98 c 203s | 14 | 473075 | 78652 | 299626 0 | 5 | 60 210.96/211.07 c 205s | 14 | 473611 | 79152 | 299626 0 | 5 | 60 213.16/213.28 c 207s | 14 | 474145 | 79652 | 299626 0 | 5 | 60 215.76/215.80 c 209s | 14 | 474805 | 80252 | 299626 0 | 5 | 60 217.96/218.06 c 212s | 14 | 475344 | 80752 | 299626 0 | 5 | 60 220.07/220.15 c 214s | 14 | 475895 | 81252 | 299626 0 | 5 | 60 222.27/222.36 c 216s | 14 | 476452 | 81752 | 299626 0 | 5 | 60 224.37/224.42 c 218s | 14 | 477006 | 82252 | 299626 0 | 5 | 60 226.67/226.78 c 220s | 14 | 477675 | 82852 | 299626 0 | 5 | 60 229.06/229.16 c 223s | 14 | 478327 | 83452 | 299626 0 | 5 | 60 231.16/231.29 c 225s | 14 | 478867 | 83952 | 299626 0 | 5 | 60 233.46/233.57 c 227s | 14 | 479534 | 84552 | 299626 0 | 5 | 60 235.86/235.98 c 230s | 14 | 480200 | 85152 | 299626 0 | 5 | 60 238.16/238.26 c 232s | 14 | 480740 | 85652 | 299626 0 | 5 | 60 240.26/240.35 c 234s | 14 | 481213 | 86052 | 299626 0 | 5 | 60 242.46/242.56 c 236s | 14 | 481778 | 86552 | 299626 0 | 5 | 60 244.86/244.95 c 239s | 14 | 482336 | 87052 | 329589 0 | 5 | 60 247.15/247.24 c 241s | 14 | 482877 | 87552 | 329589 0 | 5 | 60 247.56/247.61 c 241s | 15 | 482964 | 87632 | 329589 0 | 5 | 60 249.66/249.75 c 243s | 15 | 495451 | 88232 | 329589 0 | 5 | 60 251.75/251.81 c 245s | 15 | 512976 | 88632 | 329589 0 | 5 | 60 253.95/254.02 c 248s | 15 | 518069 | 89832 | 329589 0 | 5 | 60 256.15/256.27 c 250s | 15 | 528314 | 91332 | 329589 0 | 5 | 60 258.35/258.40 c 252s | 15 | 534895 | 91932 | 329589 0 | 5 | 60 260.55/260.63 c 254s | 15 | 539378 | 92732 | 329589 0 | 5 | 60 262.85/263.00 c 257s | 15 | 542294 | 93632 | 329589 0 | 5 | 60 265.15/265.22 c 259s | 15 | 550702 | 94232 | 329589 0 | 5 | 60 267.74/267.84 c 262s | 15 | 552505 | 94732 | 329589 0 | 6 | 72 270.14/270.28 c 264s | 15 | 553054 | 95132 | 329589 0 | 6 | 72 272.24/272.36 c 266s | 15 | 553394 | 95432 | 329589 0 | 6 | 72 274.44/274.51 c 268s | 15 | 553753 | 95732 | 329589 0 | 6 | 72 276.44/276.55 c 270s | 15 | 556160 | 96432 | 329589 0 | 6 | 72 278.54/278.65 c 272s | 15 | 560094 | 97832 | 329589 0 | 6 | 72 280.64/280.70 c 274s | 15 | 573513 | 98832 | 329589 0 | 6 | 72 282.94/283.06 c 277s | 15 | 575735 | 99132 | 329589 0 | 6 | 72 285.54/285.66 c 279s | 15 | 577987 | 99632 | 329589 0 | 6 | 72 287.63/287.74 c 281s | 15 | 578813 | 100132 | 329589 0 | 6 | 72 289.63/289.79 c 283s | 15 | 585592 | 101232 | 329589 0 | 6 | 72 291.83/291.93 c 286s | 15 | 588633 | 102432 | 329589 0 | 6 | 72 294.03/294.17 c 288s | 15 | 590375 | 103032 | 329589 0 | 6 | 72 296.23/296.35 c 290s | 15 | 590608 | 103232 | 329589 0 | 6 | 72 298.33/298.45 c 292s | 15 | 590829 | 103432 | 329589 0 | 6 | 72 300.43/300.52 c 294s | 15 | 591370 | 103732 | 329589 0 | 6 | 72 302.93/303.08 c 297s | 15 | 592448 | 104232 | 329589 0 | 6 | 72 305.03/305.19 c 299s | 15 | 593039 | 104632 | 329589 0 | 6 | 72 307.63/307.76 c 301s | 15 | 593544 | 105032 | 329589 0 | 6 | 72 309.93/310.09 c 304s | 15 | 594293 | 105432 | 329589 0 | 6 | 72 312.03/312.16 c 306s | 15 | 595253 | 105732 | 329589 0 | 6 | 72 314.13/314.20 c 308s | 15 | 596647 | 106132 | 329589 0 | 6 | 72 316.74/316.89 c 311s | 15 | 597047 | 106432 | 329589 0 | 6 | 72 319.13/319.25 c 313s | 15 | 597648 | 106832 | 329589 0 | 6 | 72 321.43/321.57 c 315s | 15 | 598296 | 107232 | 329589 0 | 6 | 72 323.44/323.59 c 317s | 15 | 599763 | 107832 | 329589 0 | 6 | 72 325.64/325.76 c 319s | 15 | 603097 | 108732 | 329589 0 | 6 | 72 327.63/327.78 c 321s | 15 | 604330 | 109532 | 329589 0 | 6 | 72 329.63/329.79 c 323s | 15 | 605773 | 110332 | 329589 0 | 6 | 72 331.83/331.98 c 326s | 15 | 612608 | 110832 | 329589 0 | 6 | 72 333.93/334.02 c 328s | 15 | 612969 | 111132 | 329589 0 | 6 | 72 336.83/336.97 c 331s | 15 | 613372 | 111432 | 329589 0 | 6 | 72 339.63/339.75 c 333s | 15 | 614044 | 111832 | 329589 0 | 6 | 72 341.83/341.97 c 336s | 15 | 614525 | 112132 | 329589 0 | 6 | 72 344.03/344.14 c 338s | 15 | 615133 | 112532 | 329589 0 | 6 | 72 346.83/346.95 c 341s | 15 | 615512 | 112832 | 329589 0 | 6 | 72 348.93/349.04 c 343s | 15 | 616884 | 113532 | 329589 0 | 6 | 72 351.42/351.53 c 345s | 15 | 618534 | 114432 | 329589 0 | 6 | 72 353.42/353.59 c 347s | 15 | 619925 | 115332 | 329589 0 | 6 | 72 355.62/355.73 c 349s | 15 | 621901 | 116532 | 329589 0 | 6 | 72 357.62/357.80 c 351s | 15 | 623412 | 117332 | 329589 0 | 6 | 72 360.42/360.57 c 354s | 15 | 625187 | 118332 | 329589 0 | 6 | 72 362.82/362.93 c 357s | 15 | 625540 | 118632 | 329589 0 | 6 | 72 365.32/365.48 c 359s | 15 | 625955 | 118932 | 329589 0 | 6 | 72 367.62/367.74 c 361s | 15 | 626382 | 119232 | 329589 0 | 6 | 72 370.02/370.19 c 364s | 15 | 627101 | 119732 | 329589 0 | 6 | 72 372.22/372.39 c 366s | 15 | 627498 | 120032 | 329589 0 | 6 | 72 374.42/374.51 c 368s | 15 | 627955 | 120332 | 329589 0 | 6 | 72 376.42/376.56 c 370s | 15 | 628393 | 120632 | 329589 0 | 6 | 72 378.92/379.09 c 373s | 15 | 629049 | 121132 | 329589 0 | 6 | 72 381.02/381.19 c 375s | 15 | 629663 | 121532 | 329589 0 | 6 | 72 383.22/383.39 c 377s | 15 | 631083 | 122432 | 329589 0 | 6 | 72 385.52/385.67 c 379s | 15 | 632598 | 123332 | 329589 0 | 6 | 72 388.02/388.11 c 382s | 15 | 633809 | 124032 | 329589 0 | 6 | 72 390.02/390.13 c 384s | 15 | 638841 | 125432 | 329589 0 | 6 | 72 392.12/392.22 c 386s | 15 | 647773 | 127232 | 329589 0 | 6 | 72 394.32/394.44 c 388s | 15 | 650886 | 128432 | 329589 0 | 6 | 72 396.31/396.46 c 390s | 15 | 653351 | 129532 | 329589 0 | 6 | 72 398.31/398.47 c 392s | 15 | 657962 | 130932 | 362548 0 | 6 | 72 400.42/400.58 c 394s | 15 | 659219 | 131432 | 362548 0 | 6 | 72 401.21/401.30 c 395s | 16 | 659393 | 131552 | 362548 0 | 6 | 72 403.21/403.38 c 397s | 16 | 660180 | 131852 | 362548 0 | 6 | 72 405.31/405.50 c 399s | 16 | 660681 | 132152 | 362548 0 | 6 | 72 407.91/408.00 c 402s | 16 | 662150 | 132852 | 362548 0 | 6 | 72 410.32/410.47 c 404s | 16 | 662568 | 133152 | 362548 0 | 6 | 72 412.61/412.72 c 406s | 16 | 663047 | 133452 | 362548 0 | 6 | 72 414.62/414.73 c 408s | 16 | 663440 | 133752 | 362548 0 | 6 | 72 416.71/416.81 c 410s | 16 | 664504 | 134152 | 362548 0 | 6 | 72 418.81/418.92 c 413s | 16 | 665591 | 134752 | 362548 0 | 6 | 72 421.31/421.45 c 415s | 16 | 667151 | 135652 | 362548 0 | 6 | 72 424.11/424.27 c 418s | 16 | 667531 | 135952 | 362548 0 | 6 | 72 427.11/427.25 c 421s | 16 | 667910 | 136252 | 362548 0 | 6 | 72 429.20/429.33 c 423s | 16 | 669480 | 137252 | 362548 0 | 6 | 72 431.30/431.41 c 425s | 16 | 672616 | 139352 | 362548 0 | 6 | 72 433.50/433.60 c 427s | 16 | 673108 | 139652 | 362548 0 | 6 | 72 436.30/436.42 c 430s | 16 | 673773 | 140052 | 362548 0 | 6 | 72 438.91/439.07 c 433s | 16 | 674010 | 140252 | 362548 0 | 6 | 72 441.20/441.38 c 435s | 16 | 674223 | 140452 | 362548 0 | 6 | 72 443.50/443.62 c 437s | 16 | 674458 | 140652 | 362548 0 | 6 | 72 445.51/445.65 c 439s | 16 | 676184 | 141952 | 362548 0 | 6 | 72 447.50/447.68 c 441s | 16 | 679295 | 144152 | 362548 0 | 6 | 72 449.70/449.80 c 443s | 16 | 680873 | 145352 | 362548 0 | 6 | 72 451.90/452.00 c 446s | 16 | 681096 | 145552 | 362548 0 | 6 | 72 454.60/454.72 c 448s | 16 | 681436 | 145852 | 362548 0 | 6 | 72 457.20/457.32 c 451s | 16 | 681784 | 146152 | 362548 0 | 6 | 72 459.20/459.35 c 453s | 16 | 682003 | 146352 | 362548 0 | 6 | 72 462.00/462.19 c 456s | 16 | 682421 | 146652 | 362548 0 | 6 | 72 464.80/464.98 c 459s | 16 | 682840 | 146952 | 362548 0 | 6 | 72 467.19/467.33 c 461s | 16 | 683299 | 147252 | 362548 0 | 6 | 72 469.19/469.34 c 463s | 16 | 683653 | 147552 | 362548 0 | 6 | 72 471.49/471.66 c 465s | 16 | 684087 | 147852 | 362548 0 | 6 | 72 473.59/473.72 c 467s | 16 | 684460 | 148152 | 362548 0 | 6 | 72 476.09/476.21 c 470s | 16 | 684993 | 148552 | 362548 0 | 6 | 72 478.50/478.69 c 472s | 16 | 685439 | 148952 | 362548 0 | 6 | 72 481.09/481.21 c 475s | 16 | 685964 | 149352 | 362548 0 | 6 | 72 483.79/483.90 c 478s | 16 | 686422 | 149752 | 362548 0 | 6 | 72 486.10/486.23 c 480s | 16 | 686949 | 150052 | 362548 0 | 6 | 72 488.09/488.29 c 482s | 16 | 687289 | 150352 | 362548 0 | 6 | 72 490.39/490.58 c 484s | 16 | 687781 | 150652 | 362548 0 | 6 | 72 493.19/493.31 c 487s | 16 | 688231 | 150952 | 362548 0 | 6 | 72 495.59/495.74 c 489s | 16 | 688585 | 151252 | 362548 0 | 6 | 72 498.20/498.32 c 492s | 16 | 688934 | 151552 | 362548 0 | 6 | 72 500.39/500.56 c 494s | 16 | 689284 | 151852 | 362548 0 | 6 | 72 502.69/502.86 c 497s | 16 | 689623 | 152152 | 362548 0 | 6 | 72 505.19/505.39 c 499s | 16 | 689985 | 152452 | 362548 0 | 6 | 72 507.49/507.69 c 501s | 16 | 690395 | 152752 | 362548 0 | 6 | 72 509.59/509.76 c 503s | 16 | 690771 | 153052 | 362548 0 | 6 | 72 511.99/512.13 c 506s | 16 | 691108 | 153352 | 362548 0 | 6 | 72 514.59/514.78 c 508s | 16 | 691616 | 153752 | 362548 0 | 6 | 72 516.68/516.87 c 511s | 16 | 691947 | 154052 | 362548 0 | 6 | 72 519.28/519.47 c 513s | 16 | 692520 | 154552 | 362548 0 | 6 | 72 521.58/521.72 c 515s | 16 | 692898 | 154852 | 362548 0 | 6 | 72 523.78/524.00 c 518s | 16 | 693241 | 155152 | 362548 0 | 6 | 72 526.08/526.24 c 520s | 16 | 693685 | 155552 | 362548 0 | 6 | 72 528.18/528.33 c 522s | 16 | 694028 | 155852 | 362548 0 | 6 | 72 530.68/530.82 c 525s | 16 | 694996 | 156452 | 362548 0 | 6 | 72 533.28/533.48 c 527s | 16 | 695444 | 156752 | 362548 0 | 6 | 72 535.38/535.50 c 529s | 16 | 695758 | 157052 | 362548 0 | 6 | 72 537.47/537.62 c 531s | 16 | 696086 | 157352 | 362548 0 | 6 | 72 539.57/539.73 c 533s | 16 | 696533 | 157652 | 362548 0 | 6 | 72 541.97/542.12 c 536s | 16 | 696876 | 157952 | 362548 0 | 6 | 72 543.97/544.14 c 538s | 16 | 697218 | 158252 | 362548 0 | 6 | 72 546.77/546.90 c 541s | 16 | 697663 | 158652 | 362548 0 | 6 | 72 549.27/549.41 c 543s | 16 | 698074 | 158952 | 362548 0 | 6 | 72 551.57/551.76 c 545s | 16 | 698409 | 159252 | 362548 0 | 6 | 72 554.46/554.63 c 548s | 16 | 698739 | 159552 | 362548 0 | 6 | 72 556.76/556.91 c 551s | 16 | 699076 | 159852 | 362548 0 | 6 | 72 558.96/559.13 c 553s | 16 | 699410 | 160152 | 362548 0 | 6 | 72 561.16/561.30 c 555s | 16 | 699852 | 160552 | 362548 0 | 6 | 72 563.26/563.42 c 557s | 16 | 700306 | 160952 | 362548 0 | 6 | 72 565.46/565.67 c 559s | 16 | 700763 | 161352 | 362548 0 | 6 | 72 567.56/567.73 c 561s | 16 | 701202 | 161752 | 362548 0 | 6 | 72 569.55/569.76 c 563s | 16 | 702356 | 162652 | 362548 0 | 6 | 72 571.65/571.83 c 566s | 16 | 704766 | 164452 | 362548 0 | 6 | 72 574.35/574.55 c 568s | 16 | 706024 | 165352 | 362548 0 | 7 | 84 576.95/577.13 c 571s | 16 | 706246 | 165552 | 362548 0 | 7 | 84 578.95/579.19 c 573s | 16 | 706559 | 165852 | 362548 0 | 7 | 84 581.25/581.40 c 575s | 16 | 706780 | 166052 | 362548 0 | 7 | 84 583.35/583.51 c 577s | 16 | 707013 | 166252 | 362548 0 | 7 | 84 585.85/586.03 c 580s | 16 | 707330 | 166552 | 362548 0 | 7 | 84 588.14/588.37 c 582s | 16 | 707657 | 166852 | 362548 0 | 7 | 84 590.34/590.54 c 584s | 16 | 707997 | 167152 | 362548 0 | 7 | 84 592.44/592.61 c 586s | 16 | 708356 | 167452 | 362548 0 | 7 | 84 594.44/594.62 c 588s | 16 | 708674 | 167752 | 362548 0 | 7 | 84 596.74/596.96 c 591s | 16 | 709216 | 168252 | 362548 0 | 7 | 84 598.94/599.13 c 593s | 16 | 709562 | 168552 | 362548 0 | 7 | 84 601.64/601.84 c 596s | 16 | 709980 | 168952 | 362548 0 | 7 | 84 603.74/603.95 c 598s | 16 | 710216 | 169152 | 362548 0 | 7 | 84 606.43/606.62 c 600s | 16 | 710661 | 169552 | 362548 0 | 7 | 84 608.93/609.11 c 603s | 16 | 711085 | 169952 | 362548 0 | 7 | 84 611.03/611.22 c 605s | 16 | 711329 | 170152 | 362548 0 | 7 | 84 613.74/613.94 c 608s | 16 | 711660 | 170452 | 362548 0 | 7 | 84 616.13/616.34 c 610s | 16 | 712113 | 170852 | 362548 0 | 7 | 84 618.63/618.82 c 613s | 16 | 712549 | 171252 | 362548 0 | 7 | 84 620.72/620.90 c 615s | 16 | 712978 | 171652 | 362548 0 | 7 | 84 623.22/623.45 c 617s | 16 | 713326 | 171952 | 362548 0 | 7 | 84 625.62/625.80 c 619s | 16 | 713690 | 172252 | 362548 0 | 7 | 84 627.93/628.11 c 622s | 16 | 714027 | 172552 | 362548 0 | 7 | 84 630.52/630.70 c 624s | 16 | 714457 | 172952 | 362548 0 | 7 | 84 632.82/633.04 c 627s | 16 | 714876 | 173352 | 362548 0 | 7 | 84 635.12/635.37 c 629s | 16 | 715209 | 173652 | 362548 0 | 7 | 84 637.93/638.17 c 632s | 16 | 715597 | 173952 | 362548 0 | 7 | 84 640.32/640.59 c 634s | 16 | 715931 | 174252 | 362548 0 | 7 | 84 642.82/643.10 c 637s | 16 | 716371 | 174652 | 362548 0 | 7 | 84 645.42/645.68 c 639s | 16 | 716717 | 174952 | 362548 0 | 7 | 84 647.82/648.04 c 642s | 16 | 717051 | 175252 | 362548 0 | 7 | 84 650.12/650.31 c 644s | 16 | 717388 | 175552 | 362548 0 | 7 | 84 652.51/652.70 c 646s | 16 | 717811 | 175952 | 362548 0 | 7 | 84 654.71/654.98 c 649s | 16 | 718152 | 176252 | 362548 0 | 7 | 84 657.21/657.46 c 651s | 16 | 718594 | 176652 | 362548 0 | 7 | 84 659.31/659.57 c 653s | 16 | 718944 | 176952 | 362548 0 | 7 | 84 661.51/661.76 c 655s | 16 | 719274 | 177252 | 362548 0 | 7 | 84 664.01/664.27 c 658s | 16 | 719711 | 177652 | 362548 0 | 7 | 84 666.60/666.89 c 661s | 16 | 720147 | 178052 | 362548 0 | 7 | 84 669.20/669.47 c 663s | 16 | 720478 | 178352 | 362548 0 | 7 | 84 671.50/671.75 c 665s | 16 | 720809 | 178652 | 362548 0 | 7 | 84 673.70/673.96 c 668s | 16 | 721135 | 178952 | 362548 0 | 7 | 84 676.30/676.52 c 670s | 16 | 721478 | 179252 | 362548 0 | 7 | 84 678.60/678.86 c 673s | 16 | 721808 | 179552 | 362548 0 | 7 | 84 680.70/680.98 c 675s | 16 | 722137 | 179852 | 362548 0 | 7 | 84 683.29/683.59 c 677s | 16 | 722574 | 180252 | 362548 0 | 7 | 84 685.69/685.95 c 680s | 16 | 722915 | 180552 | 362548 0 | 7 | 84 687.99/688.22 c 682s | 16 | 723236 | 180852 | 362548 0 | 7 | 84 689.99/690.29 c 684s | 16 | 723564 | 181152 | 362548 0 | 7 | 84 693.29/693.54 c 687s | 16 | 723891 | 181452 | 362548 0 | 7 | 84 696.10/696.38 c 690s | 16 | 724111 | 181652 | 362548 0 | 7 | 84 698.29/698.55 c 692s | 16 | 724322 | 181852 | 362548 0 | 7 | 84 700.99/701.26 c 695s | 16 | 724743 | 182252 | 362548 0 | 7 | 84 703.29/703.51 c 697s | 16 | 725088 | 182552 | 362548 0 | 7 | 84 705.58/705.88 c 700s | 16 | 725418 | 182852 | 362548 0 | 7 | 84 708.08/708.38 c 702s | 16 | 725735 | 183152 | 362548 0 | 7 | 84 710.18/710.46 c 704s | 16 | 726064 | 183452 | 362548 0 | 7 | 84 713.18/713.43 c 707s | 16 | 726390 | 183752 | 362548 0 | 7 | 84 715.58/715.80 c 709s | 16 | 726728 | 184052 | 362548 0 | 7 | 84 718.28/718.50 c 712s | 16 | 727058 | 184352 | 362548 0 | 7 | 84 720.48/720.73 c 714s | 16 | 727262 | 184552 | 362548 0 | 7 | 84 722.78/723.03 c 717s | 16 | 727594 | 184852 | 362548 0 | 7 | 84 725.08/725.30 c 719s | 16 | 728014 | 185252 | 362548 0 | 7 | 84 727.08/727.37 c 721s | 16 | 728329 | 185552 | 362548 0 | 7 | 84 729.77/730.04 c 724s | 16 | 728653 | 185852 | 362548 0 | 7 | 84 732.38/732.69 c 726s | 16 | 728990 | 186152 | 362548 0 | 7 | 84 734.87/735.14 c 729s | 16 | 729399 | 186552 | 362548 0 | 7 | 84 737.27/737.50 c 731s | 16 | 729843 | 186952 | 362548 0 | 7 | 84 739.67/739.96 c 734s | 16 | 730289 | 187352 | 362548 0 | 7 | 84 741.77/742.05 c 736s | 16 | 730612 | 187652 | 362548 0 | 7 | 84 744.07/744.35 c 738s | 16 | 731050 | 188052 | 362548 0 | 7 | 84 746.37/746.62 c 740s | 16 | 731486 | 188452 | 362548 0 | 7 | 84 748.77/749.00 c 743s | 16 | 732018 | 188952 | 362548 0 | 7 | 84 751.27/751.50 c 745s | 16 | 732550 | 189452 | 362548 0 | 7 | 84 753.27/753.57 c 747s | 16 | 732873 | 189752 | 362548 0 | 7 | 84 755.67/755.96 c 750s | 16 | 733317 | 190152 | 362548 0 | 7 | 84 757.86/758.16 c 752s | 16 | 733873 | 190652 | 362548 0 | 7 | 84 759.87/760.20 c 754s | 16 | 734310 | 191052 | 362548 0 | 7 | 84 762.17/762.44 c 756s | 16 | 734736 | 191452 | 362548 0 | 7 | 84 764.27/764.60 c 758s | 16 | 735161 | 191852 | 362548 0 | 7 | 84 766.46/766.73 c 760s | 16 | 735699 | 192352 | 362548 0 | 7 | 84 768.86/769.13 c 763s | 16 | 736252 | 192852 | 362548 0 | 7 | 84 771.65/771.96 c 766s | 16 | 736822 | 193352 | 362548 0 | 7 | 84 773.95/774.26 c 768s | 16 | 737152 | 193652 | 362548 0 | 7 | 84 776.55/776.81 c 770s | 16 | 737488 | 193952 | 362548 0 | 7 | 84 778.66/778.93 c 773s | 16 | 737801 | 194252 | 362548 0 | 7 | 84 780.86/781.13 c 775s | 16 | 738141 | 194552 | 362548 0 | 7 | 84 783.15/783.48 c 777s | 16 | 738558 | 194952 | 362548 0 | 7 | 84 785.26/785.55 c 779s | 16 | 738995 | 195352 | 362548 0 | 7 | 84 787.55/787.89 c 782s | 16 | 739538 | 195852 | 362548 0 | 7 | 84 790.05/790.36 c 784s | 16 | 739968 | 196252 | 398803 0 | 7 | 84 792.35/792.62 c 786s | 16 | 740425 | 196652 | 398803 0 | 7 | 84 794.95/795.30 c 789s | 16 | 740970 | 197152 | 398803 0 | 7 | 84 796.75/797.09 c 791s | 17 | 741276 | 197432 | 398803 0 | 7 | 84 799.25/799.52 c 793s | 17 | 744158 | 197732 | 398803 0 | 7 | 84 801.55/801.82 c 796s | 17 | 744580 | 198132 | 398803 0 | 7 | 84 804.15/804.48 c 798s | 17 | 745109 | 198632 | 398803 0 | 7 | 84 806.74/807.03 c 801s | 17 | 745588 | 198932 | 398803 0 | 7 | 84 808.84/809.19 c 803s | 17 | 753624 | 199432 | 398803 0 | 7 | 84 811.55/811.88 c 806s | 17 | 754401 | 199932 | 398803 0 | 7 | 84 813.75/814.01 c 808s | 17 | 755034 | 200432 | 398803 0 | 7 | 84 815.95/816.23 c 810s | 17 | 755773 | 200932 | 398803 0 | 7 | 84 817.94/818.29 c 812s | 17 | 756788 | 201332 | 398803 0 | 7 | 84 820.14/820.48 c 814s | 17 | 757636 | 201832 | 398803 0 | 7 | 84 822.34/822.69 c 816s | 17 | 758251 | 202332 | 398803 0 | 7 | 84 824.54/824.82 c 819s | 17 | 758785 | 202732 | 398803 0 | 7 | 84 826.73/827.08 c 821s | 17 | 759555 | 203232 | 398803 0 | 7 | 84 829.33/829.64 c 823s | 17 | 762402 | 203832 | 398803 0 | 7 | 84 831.63/831.90 c 826s | 17 | 764078 | 204632 | 398803 0 | 7 | 84 833.73/834.01 c 828s | 17 | 764593 | 205032 | 398803 0 | 7 | 84 835.74/836.09 c 830s | 17 | 765106 | 205432 | 398803 0 | 7 | 84 838.43/838.78 c 832s | 17 | 765903 | 205932 | 398803 0 | 7 | 84 840.53/840.89 c 835s | 17 | 767367 | 206632 | 398803 0 | 7 | 84 842.93/843.22 c 837s | 17 | 768388 | 207232 | 398803 0 | 7 | 84 845.03/845.33 c 839s | 17 | 769467 | 207932 | 398803 0 | 7 | 84 847.02/847.36 c 841s | 17 | 770698 | 208632 | 398803 0 | 7 | 84 849.12/849.44 c 843s | 17 | 772553 | 209732 | 398803 0 | 7 | 84 851.13/851.50 c 845s | 17 | 774781 | 210732 | 398803 0 | 7 | 84 853.22/853.55 c 847s | 17 | 776443 | 211432 | 398803 0 | 7 | 84 855.42/855.75 c 849s | 17 | 778168 | 212232 | 398803 0 | 7 | 84 857.72/858.05 c 852s | 17 | 779575 | 212732 | 398803 0 | 7 | 84 859.72/860.07 c 854s | 17 | 781716 | 213932 | 398803 0 | 7 | 84 862.12/862.49 c 856s | 17 | 784160 | 215132 | 398803 0 | 7 | 84 864.21/864.52 c 858s | 17 | 785221 | 215632 | 398803 0 | 7 | 84 866.31/866.69 c 860s | 17 | 787269 | 216532 | 398803 0 | 7 | 84 868.51/868.82 c 863s | 17 | 788456 | 217232 | 398803 0 | 7 | 84 870.51/870.82 c 865s | 17 | 790463 | 218132 | 398803 0 | 7 | 84 872.61/872.91 c 867s | 17 | 791661 | 218832 | 398803 0 | 8 | 96 874.71/875.03 c 869s | 17 | 793550 | 219932 | 398803 0 | 8 | 96 876.70/877.08 c 871s | 17 | 793902 | 220232 | 398803 0 | 8 | 96 879.00/879.37 c 873s | 17 | 794337 | 220632 | 398803 0 | 8 | 96 881.10/881.48 c 875s | 17 | 794772 | 221032 | 398803 0 | 8 | 96 883.70/884.05 c 878s | 17 | 795211 | 221432 | 398803 0 | 8 | 96 886.10/886.42 c 880s | 17 | 795646 | 221832 | 398803 0 | 8 | 96 888.20/888.59 c 882s | 17 | 796066 | 222232 | 398803 0 | 8 | 96 890.31/890.60 c 884s | 17 | 796385 | 222532 | 398803 0 | 8 | 96 892.81/893.10 c 887s | 17 | 796994 | 222832 | 398803 0 | 8 | 96 894.91/895.29 c 889s | 17 | 797314 | 223132 | 398803 0 | 8 | 96 897.00/897.30 c 891s | 17 | 797687 | 223432 | 398803 0 | 8 | 96 899.20/899.58 c 893s | 17 | 798019 | 223732 | 398803 0 | 8 | 96 901.50/901.82 c 896s | 17 | 798345 | 224032 | 398803 0 | 8 | 96 903.50/903.89 c 898s | 17 | 798814 | 224432 | 398803 0 | 8 | 96 906.00/906.36 c 900s | 17 | 799209 | 224732 | 398803 0 | 8 | 96 908.89/909.21 c 903s | 17 | 799538 | 225032 | 398803 0 | 8 | 96 911.09/911.44 c 905s | 17 | 799868 | 225332 | 398803 0 | 8 | 96 913.80/914.11 c 908s | 17 | 800214 | 225632 | 398803 0 | 8 | 96 916.19/916.55 c 910s | 17 | 801602 | 226232 | 398803 0 | 8 | 96 918.69/919.06 c 913s | 17 | 802019 | 226632 | 398803 0 | 8 | 96 920.89/921.20 c 915s | 17 | 802986 | 227032 | 398803 0 | 8 | 96 923.09/923.49 c 917s | 17 | 803823 | 227532 | 398803 0 | 8 | 96 925.39/925.71 c 919s | 17 | 804700 | 228032 | 398803 0 | 8 | 96 927.89/928.24 c 922s | 17 | 805304 | 228432 | 398803 0 | 8 | 96 930.39/930.74 c 924s | 17 | 805739 | 228832 | 398803 0 | 8 | 96 932.49/932.88 c 927s | 17 | 806069 | 229132 | 398803 0 | 8 | 96 934.99/935.34 c 929s | 17 | 806714 | 229532 | 398803 0 | 8 | 96 937.49/937.86 c 932s | 17 | 807154 | 229932 | 398803 0 | 8 | 96 939.79/940.11 c 934s | 17 | 807504 | 230232 | 398803 0 | 8 | 96 942.39/942.79 c 936s | 17 | 807928 | 230632 | 398803 0 | 8 | 96 944.49/944.84 c 939s | 17 | 808360 | 230932 | 398803 0 | 8 | 96 947.09/947.41 c 941s | 17 | 808992 | 231332 | 398803 0 | 8 | 96 949.38/949.78 c 943s | 17 | 809673 | 231732 | 398803 0 | 8 | 96 952.18/952.53 c 946s | 17 | 810236 | 232132 | 398803 0 | 8 | 96 954.28/954.60 c 948s | 17 | 810569 | 232432 | 398803 0 | 8 | 96 956.48/956.81 c 950s | 17 | 811241 | 232832 | 398803 0 | 8 | 96 958.58/958.92 c 953s | 17 | 812638 | 233732 | 398803 0 | 8 | 96 960.98/961.32 c 955s | 17 | 813559 | 234332 | 398803 0 | 8 | 96 963.29/963.61 c 957s | 17 | 814008 | 234632 | 398803 0 | 8 | 96 965.38/965.75 c 959s | 17 | 814338 | 234932 | 398803 0 | 8 | 96 967.48/967.83 c 962s | 17 | 814675 | 235232 | 398803 0 | 8 | 96 969.58/969.99 c 964s | 17 | 815023 | 235532 | 398803 0 | 8 | 96 971.68/972.02 c 966s | 17 | 815461 | 235932 | 398803 0 | 8 | 96 974.18/974.58 c 968s | 17 | 815958 | 236332 | 398803 0 | 8 | 96 976.49/976.83 c 971s | 17 | 816952 | 236732 | 398803 0 | 8 | 96 978.79/979.14 c 973s | 17 | 817459 | 237132 | 398803 0 | 8 | 96 980.89/981.27 c 975s | 17 | 818368 | 237532 | 398803 0 | 8 | 96 983.68/984.00 c 978s | 17 | 819252 | 238132 | 398803 0 | 8 | 96 985.78/986.10 c 980s | 17 | 819682 | 238432 | 398803 0 | 8 | 96 987.98/988.33 c 982s | 17 | 820604 | 238832 | 398803 0 | 8 | 96 990.58/990.90 c 985s | 17 | 821296 | 239332 | 398803 0 | 8 | 96 992.78/993.15 c 987s | 17 | 821634 | 239632 | 398803 0 | 8 | 96 994.88/995.21 c 989s | 17 | 821950 | 239932 | 398803 0 | 8 | 96 997.08/997.49 c 991s | 17 | 822479 | 240332 | 398803 0 | 8 | 96 999.18/999.55 c 993s | 17 | 823240 | 240732 | 398803 0 | 8 | 96 1001.48/1001.89 c 996s | 17 | 823778 | 241032 | 398803 0 | 8 | 96 1003.68/1004.04 c 998s | 17 | 824155 | 241332 | 398803 0 | 8 | 96 1006.18/1006.51 c 1000s | 17 | 824850 | 241632 | 398803 0 | 8 | 96 1008.58/1008.95 c 1003s | 17 | 825493 | 241932 | 398803 0 | 8 | 96 1011.17/1011.53 c 1005s | 17 | 826583 | 242532 | 398803 0 | 8 | 96 1013.27/1013.66 c 1007s | 17 | 826913 | 242832 | 398803 0 | 8 | 96 1015.87/1016.20 c 1010s | 17 | 827346 | 243232 | 398803 0 | 8 | 96 1018.07/1018.40 c 1012s | 17 | 827660 | 243532 | 398803 0 | 8 | 96 1020.67/1021.04 c 1015s | 17 | 828108 | 243832 | 398803 0 | 8 | 96 1022.87/1023.21 c 1017s | 17 | 828442 | 244132 | 398803 0 | 8 | 96 1024.88/1025.21 c 1019s | 17 | 828838 | 244432 | 398803 0 | 8 | 96 1027.47/1027.82 c 1022s | 17 | 829188 | 244732 | 398803 0 | 8 | 96 1030.27/1030.63 c 1024s | 17 | 829882 | 245132 | 398803 0 | 8 | 96 1032.68/1033.01 c 1027s | 17 | 830602 | 245432 | 398803 0 | 8 | 96 1035.47/1035.80 c 1029s | 17 | 831112 | 245832 | 398803 0 | 8 | 96 1037.67/1038.03 c 1032s | 17 | 831641 | 246232 | 398803 0 | 8 | 96 1040.17/1040.56 c 1034s | 17 | 831981 | 246532 | 398803 0 | 8 | 96 1042.97/1043.34 c 1037s | 17 | 832548 | 246932 | 398803 0 | 8 | 96 1045.27/1045.60 c 1039s | 17 | 832953 | 247232 | 398803 0 | 8 | 96 1047.27/1047.65 c 1041s | 17 | 833302 | 247432 | 398803 0 | 8 | 96 1049.67/1050.01 c 1044s | 17 | 833638 | 247732 | 398803 0 | 8 | 96 1051.67/1052.08 c 1046s | 17 | 834534 | 248232 | 398803 0 | 8 | 96 1054.27/1054.60 c 1048s | 17 | 835155 | 248632 | 398803 0 | 8 | 96 1056.47/1056.88 c 1051s | 17 | 835604 | 249032 | 398803 0 | 8 | 96 1058.57/1058.91 c 1053s | 17 | 836017 | 249332 | 398803 0 | 8 | 96 1060.77/1061.16 c 1055s | 17 | 837046 | 249732 | 398803 0 | 8 | 96 1063.27/1063.65 c 1057s | 17 | 837595 | 250132 | 398803 0 | 8 | 96 1065.67/1066.01 c 1060s | 17 | 838073 | 250532 | 398803 0 | 8 | 96 1067.77/1068.15 c 1062s | 17 | 839487 | 251132 | 398803 0 | 8 | 96 1069.77/1070.17 c 1064s | 17 | 841329 | 252232 | 398803 0 | 8 | 96 1071.87/1072.24 c 1066s | 17 | 842884 | 253132 | 398803 0 | 8 | 96 1074.47/1074.89 c 1069s | 17 | 843787 | 253632 | 398803 0 | 8 | 96 1076.77/1077.17 c 1071s | 17 | 844259 | 253932 | 398803 0 | 8 | 96 1079.46/1079.88 c 1074s | 17 | 845082 | 254332 | 398803 0 | 8 | 96 1081.56/1081.96 c 1076s | 17 | 845562 | 254632 | 398803 0 | 8 | 96 1083.86/1084.28 c 1078s | 17 | 846108 | 254932 | 398803 0 | 8 | 96 1086.06/1086.42 c 1080s | 17 | 847131 | 255432 | 398803 0 | 8 | 96 1088.86/1089.22 c 1083s | 17 | 848483 | 256132 | 398803 0 | 8 | 96 1091.26/1091.63 c 1085s | 17 | 849857 | 256732 | 398803 0 | 8 | 96 1093.36/1093.71 c 1087s | 17 | 850195 | 257032 | 398803 0 | 8 | 96 1095.76/1096.18 c 1090s | 17 | 850625 | 257332 | 398803 0 | 8 | 96 1098.86/1099.20 c 1093s | 17 | 851062 | 257632 | 398803 0 | 8 | 96 1100.96/1101.32 c 1095s | 17 | 852389 | 258332 | 398803 0 | 8 | 96 1102.97/1103.37 c 1097s | 17 | 854433 | 259232 | 398803 0 | 8 | 96 1105.36/1105.75 c 1099s | 17 | 854865 | 259532 | 398803 0 | 8 | 96 1107.96/1108.37 c 1102s | 17 | 855657 | 259932 | 398803 0 | 8 | 96 1110.06/1110.48 c 1104s | 17 | 856150 | 260232 | 398803 0 | 8 | 96 1112.46/1112.89 c 1107s | 17 | 856766 | 260632 | 398803 0 | 8 | 96 1114.56/1114.91 c 1109s | 17 | 857398 | 260932 | 398803 0 | 8 | 96 1116.76/1117.12 c 1111s | 17 | 858103 | 261332 | 398803 0 | 8 | 96 1119.46/1119.86 c 1114s | 17 | 859569 | 262032 | 398803 0 | 8 | 96 1121.56/1121.92 c 1116s | 17 | 860364 | 262432 | 398803 0 | 8 | 96 1124.06/1124.42 c 1118s | 17 | 861152 | 262932 | 398803 0 | 8 | 96 1126.16/1126.56 c 1120s | 17 | 862270 | 263432 | 398803 0 | 8 | 96 1128.56/1128.93 c 1123s | 17 | 863233 | 264032 | 398803 0 | 8 | 96 1130.56/1130.98 c 1125s | 17 | 864171 | 264532 | 398803 0 | 8 | 96 1132.66/1133.05 c 1127s | 17 | 864940 | 264932 | 398803 0 | 8 | 96 1134.75/1135.13 c 1129s | 17 | 865667 | 265332 | 398803 0 | 8 | 96 1137.06/1137.42 c 1131s | 17 | 866419 | 265732 | 398803 0 | 8 | 96 1139.95/1140.34 c 1134s | 17 | 866779 | 266032 | 398803 0 | 8 | 96 1142.35/1142.72 c 1136s | 17 | 867286 | 266332 | 398803 0 | 8 | 96 1144.55/1144.90 c 1139s | 17 | 867542 | 266532 | 398803 0 | 8 | 96 1146.75/1147.20 c 1141s | 17 | 868132 | 266832 | 398803 0 | 8 | 96 1149.26/1149.66 c 1143s | 17 | 869287 | 267432 | 398803 0 | 8 | 96 1152.15/1152.59 c 1146s | 17 | 870149 | 267832 | 398803 0 | 8 | 96 1154.45/1154.89 c 1149s | 17 | 870585 | 268132 | 398803 0 | 8 | 96 1156.55/1156.98 c 1151s | 17 | 871710 | 268732 | 398803 0 | 8 | 96 1158.95/1159.39 c 1153s | 17 | 890707 | 269132 | 398803 0 | 8 | 96 1161.45/1161.84 c 1156s | 17 | 912038 | 269732 | 398803 0 | 8 | 96 1163.75/1164.14 c 1158s | 17 | 912291 | 269932 | 398803 0 | 8 | 96 1166.05/1166.40 c 1160s | 17 | 916921 | 270132 | 398803 0 | 8 | 96 1168.95/1169.32 c 1163s | 17 | 918881 | 270432 | 398803 0 | 8 | 96 1170.95/1171.37 c 1165s | 17 | 929134 | 270932 | 398803 0 | 8 | 96 1173.45/1173.86 c 1168s | 17 | 933556 | 271332 | 398803 0 | 8 | 96 1176.05/1176.40 c 1170s | 17 | 933774 | 271532 | 398803 0 | 8 | 96 1178.25/1178.68 c 1172s | 17 | 933981 | 271732 | 398803 0 | 8 | 96 1181.15/1181.55 c 1175s | 17 | 935165 | 272032 | 398803 0 | 8 | 96 1183.75/1184.11 c 1178s | 17 | 935984 | 272332 | 398803 0 | 8 | 96 1185.95/1186.35 c 1180s | 17 | 936698 | 272632 | 398803 0 | 8 | 96 1188.85/1189.29 c 1183s | 17 | 937066 | 272932 | 398803 0 | 8 | 96 1191.64/1192.00 c 1186s | 17 | 937486 | 273232 | 398803 0 | 8 | 96 1194.14/1194.54 c 1188s | 17 | 937853 | 273532 | 398803 0 | 8 | 96 1196.64/1197.00 c 1191s | 17 | 938219 | 273832 | 398803 0 | 8 | 96 1198.65/1199.02 c 1193s | 17 | 950416 | 274232 | 398803 0 | 8 | 96 1200.74/1201.20 c 1195s | 17 | 950656 | 274432 | 398803 0 | 8 | 96 1202.84/1203.22 c 1197s | 17 | 950885 | 274632 | 398803 0 | 8 | 96 1205.35/1205.78 c 1199s | 17 | 955313 | 274932 | 398803 0 | 8 | 96 1207.74/1208.17 c 1202s | 17 | 958554 | 275232 | 398803 0 | 8 | 96 1210.54/1210.99 c 1205s | 17 | 959269 | 275532 | 398803 0 | 8 | 96 1212.64/1213.03 c 1207s | 17 | 959833 | 275732 | 398803 0 | 8 | 96 1215.15/1215.57 c 1209s | 17 | 960530 | 275932 | 398803 0 | 8 | 96 1217.45/1217.84 c 1212s | 17 | 960873 | 276132 | 398803 0 | 8 | 96 1219.84/1220.21 c 1214s | 17 | 961185 | 276332 | 398803 0 | 8 | 96 1221.85/1222.23 c 1216s | 17 | 962189 | 276532 | 398803 0 | 8 | 96 1224.14/1224.58 c 1218s | 17 | 963691 | 276832 | 398803 0 | 8 | 96 1227.04/1227.41 c 1221s | 17 | 964187 | 277132 | 398803 0 | 8 | 96 1229.34/1229.72 c 1223s | 17 | 964425 | 277332 | 398803 0 | 8 | 96 1231.34/1231.74 c 1225s | 17 | 964694 | 277532 | 398803 0 | 8 | 96 1234.04/1234.43 c 1228s | 17 | 965212 | 277832 | 398803 0 | 8 | 96 1236.44/1236.87 c 1231s | 17 | 965681 | 278132 | 398803 0 | 8 | 96 1239.54/1239.97 c 1234s | 17 | 966353 | 278432 | 398803 0 | 8 | 96 1241.64/1242.01 c 1236s | 17 | 966603 | 278632 | 398803 0 | 8 | 96 1243.84/1244.24 c 1238s | 17 | 966833 | 278832 | 398803 0 | 8 | 96 1245.94/1246.32 c 1240s | 17 | 967324 | 279032 | 398803 0 | 8 | 96 1247.94/1248.36 c 1242s | 17 | 967568 | 279232 | 398803 0 | 8 | 96 1250.44/1250.89 c 1245s | 17 | 968049 | 279532 | 398803 0 | 8 | 96 1253.23/1253.61 c 1247s | 17 | 968707 | 279832 | 398803 0 | 8 | 96 1255.43/1255.85 c 1250s | 17 | 969793 | 280032 | 398803 0 | 8 | 96 1258.43/1258.86 c 1253s | 17 | 970297 | 280332 | 398803 0 | 8 | 96 1261.44/1261.86 c 1256s | 17 | 974497 | 280532 | 398803 0 | 8 | 96 1264.74/1265.10 c 1259s | 17 | 978177 | 280832 | 398803 0 | 8 | 96 1267.13/1267.59 c 1261s | 17 | 978611 | 281132 | 398803 0 | 8 | 96 1269.63/1270.04 c 1264s | 17 | 981470 | 281432 | 398803 0 | 8 | 96 1272.03/1272.41 c 1266s | 17 | 984006 | 281632 | 398803 0 | 8 | 96 1274.54/1274.95 c 1269s | 17 | 987748 | 281932 | 398803 0 | 8 | 96 1277.23/1277.62 c 1271s | 17 | 988413 | 282232 | 398803 0 | 8 | 96 1280.14/1280.56 c 1274s | 17 | 989271 | 282532 | 398803 0 | 8 | 96 1282.43/1282.84 c 1277s | 17 | 989578 | 282732 | 398803 0 | 8 | 96 1284.63/1285.07 c 1279s | 17 | 989901 | 282932 | 398803 0 | 8 | 96 1286.83/1287.25 c 1281s | 17 | 990135 | 283132 | 398803 0 | 8 | 96 1289.03/1289.44 c 1283s | 17 | 990380 | 283332 | 398803 0 | 8 | 96 1291.33/1291.78 c 1285s | 17 | 990595 | 283532 | 398803 0 | 8 | 96 1293.73/1294.14 c 1288s | 17 | 991011 | 283732 | 398803 0 | 8 | 96 1295.93/1296.35 c 1290s | 17 | 991245 | 283932 | 398803 0 | 8 | 96 1298.13/1298.52 c 1292s | 17 | 991517 | 284132 | 398803 0 | 8 | 96 1300.43/1300.83 c 1295s | 17 | 992070 | 284332 | 398803 0 | 8 | 96 1303.03/1303.50 c 1297s | 17 | 994817 | 284632 | 398803 0 | 8 | 96 1305.33/1305.72 c 1299s | 17 | 995606 | 284832 | 398803 0 | 8 | 96 1307.43/1307.87 c 1302s | 17 | 996309 | 285032 | 398803 0 | 8 | 96 1309.63/1310.06 c 1304s | 17 | 996539 | 285232 | 398803 0 | 8 | 96 1312.83/1313.25 c 1307s | 17 | 997213 | 285532 | 398803 0 | 8 | 96 1315.63/1316.09 c 1310s | 17 | 997606 | 285832 | 398803 0 | 8 | 96 1317.72/1318.11 c 1312s | 17 | 997883 | 286032 | 398803 0 | 8 | 96 1320.22/1320.61 c 1314s | 17 | 998112 | 286232 | 398803 0 | 8 | 96 1322.52/1322.90 c 1317s | 17 | 998351 | 286432 | 398803 0 | 8 | 96 1324.82/1325.22 c 1319s | 17 | 998578 | 286632 | 398803 0 | 8 | 96 1327.33/1327.72 c 1321s | 17 | 998800 | 286832 | 398803 0 | 8 | 96 1329.53/1329.97 c 1324s | 17 | 999020 | 287032 | 398803 0 | 8 | 96 1331.52/1331.99 c 1326s | 17 | 999870 | 287232 | 398803 0 | 8 | 96 1334.32/1334.79 c 1328s | 17 | 1001876 | 287532 | 398803 0 | 8 | 96 1336.52/1336.95 c 1331s | 17 | 1002182 | 287732 | 398803 0 | 8 | 96 1338.72/1339.10 c 1333s | 17 | 1002401 | 287932 | 398803 0 | 8 | 96 1341.02/1341.41 c 1335s | 17 | 1002614 | 288132 | 398803 0 | 8 | 96 1343.32/1343.71 c 1337s | 17 | 1002831 | 288332 | 398803 0 | 8 | 96 1345.62/1346.03 c 1340s | 17 | 1003090 | 288532 | 398803 0 | 8 | 96 1348.33/1348.74 c 1342s | 17 | 1003629 | 288732 | 398803 0 | 8 | 96 1350.72/1351.15 c 1345s | 17 | 1003849 | 288932 | 398803 0 | 8 | 96 1353.12/1353.55 c 1347s | 17 | 1004103 | 289132 | 398803 0 | 8 | 96 1355.62/1356.05 c 1350s | 17 | 1004323 | 289332 | 398803 0 | 8 | 96 1358.23/1358.67 c 1352s | 17 | 1004534 | 289532 | 398803 0 | 8 | 96 1360.62/1361.01 c 1355s | 17 | 1004740 | 289732 | 398803 0 | 8 | 96 1363.12/1363.55 c 1357s | 17 | 1004957 | 289932 | 398803 0 | 8 | 96 1365.52/1365.98 c 1360s | 17 | 1005523 | 290132 | 398803 0 | 8 | 96 1368.12/1368.58 c 1362s | 17 | 1005734 | 290332 | 398803 0 | 8 | 96 1370.32/1370.75 c 1364s | 17 | 1005957 | 290532 | 398803 0 | 8 | 96 1372.62/1373.09 c 1367s | 17 | 1006168 | 290732 | 398803 0 | 8 | 96 1375.22/1375.63 c 1369s | 17 | 1006486 | 290932 | 398803 0 | 8 | 96 1377.92/1378.39 c 1372s | 17 | 1009995 | 291232 | 398803 0 | 8 | 96 1380.22/1380.64 c 1374s | 17 | 1012501 | 291432 | 398803 0 | 8 | 96 1383.01/1383.42 c 1377s | 17 | 1013088 | 291732 | 398803 0 | 8 | 96 1385.91/1386.30 c 1380s | 17 | 1013478 | 292032 | 398803 0 | 8 | 96 1388.71/1389.18 c 1383s | 17 | 1013801 | 292332 | 398803 0 | 8 | 96 1392.01/1392.40 c 1386s | 17 | 1014120 | 292632 | 398803 0 | 8 | 96 1394.81/1395.27 c 1389s | 17 | 1014471 | 292932 | 398803 0 | 8 | 96 1397.31/1397.74 c 1391s | 17 | 1015562 | 293132 | 398803 0 | 8 | 96 1399.51/1399.91 c 1394s | 17 | 1018215 | 293332 | 398803 0 | 8 | 96 1401.61/1402.01 c 1396s | 17 | 1018580 | 293532 | 398803 0 | 8 | 96 1403.81/1404.24 c 1398s | 17 | 1018870 | 293732 | 398803 0 | 8 | 96 1406.71/1407.16 c 1401s | 17 | 1020145 | 294032 | 398803 0 | 8 | 96 1408.82/1409.23 c 1403s | 17 | 1020536 | 294232 | 438684 0 | 8 | 96 1411.21/1411.64 c 1405s | 17 | 1020766 | 294432 | 438684 0 | 8 | 96 1413.91/1414.39 c 1408s | 17 | 1020973 | 294632 | 438684 0 | 8 | 96 1416.71/1417.18 c 1411s | 17 | 1021188 | 294832 | 438684 0 | 8 | 96 1419.11/1419.54 c 1413s | 17 | 1021409 | 295032 | 438684 0 | 8 | 96 1421.51/1421.94 c 1416s | 17 | 1021648 | 295232 | 438684 0 | 8 | 96 1423.71/1424.18 c 1418s | 17 | 1021975 | 295432 | 438684 0 | 8 | 96 1426.01/1426.42 c 1420s | 17 | 1022209 | 295632 | 438684 0 | 8 | 96 1428.51/1428.97 c 1423s | 17 | 1023312 | 295832 | 438684 0 | 8 | 96 1430.81/1431.24 c 1425s | 17 | 1024010 | 296032 | 438684 0 | 8 | 96 1432.71/1433.11 c 1427s | 18 | 1025246 | 296252 | 438684 0 | 8 | 96 1434.71/1435.12 c 1429s | 18 | 1026530 | 296352 | 438684 0 | 8 | 96 1439.01/1439.45 c 1433s | 18 | 1027320 | 296552 | 438684 0 | 8 | 96 1441.11/1441.56 c 1435s | 18 | 1027421 | 296652 | 438684 0 | 8 | 96 1444.01/1444.48 c 1438s | 18 | 1027657 | 296852 | 438684 0 | 8 | 96 1446.91/1447.34 c 1441s | 18 | 1027941 | 297052 | 438684 0 | 8 | 96 1449.80/1450.23 c 1444s | 18 | 1028158 | 297252 | 438684 0 | 8 | 96 1452.40/1452.81 c 1446s | 18 | 1028397 | 297452 | 438684 0 | 8 | 96 1455.60/1456.04 c 1450s | 18 | 1028628 | 297652 | 438684 0 | 8 | 96 1459.10/1459.58 c 1453s | 18 | 1028863 | 297852 | 438684 0 | 8 | 96 1462.61/1463.07 c 1457s | 18 | 1029082 | 298052 | 438684 0 | 8 | 96 1465.70/1466.17 c 1460s | 18 | 1029320 | 298252 | 438684 0 | 8 | 96 1468.11/1468.54 c 1462s | 18 | 1029530 | 298452 | 438684 0 | 8 | 96 1470.50/1470.98 c 1465s | 18 | 1030775 | 298652 | 438684 0 | 8 | 96 1472.80/1473.20 c 1467s | 18 | 1031049 | 298752 | 438684 0 | 8 | 96 1475.00/1475.49 c 1469s | 18 | 1031269 | 298952 | 438684 0 | 8 | 96 1477.40/1477.88 c 1472s | 18 | 1031497 | 299152 | 438684 0 | 8 | 96 1480.50/1480.94 c 1475s | 18 | 1031854 | 299452 | 438684 0 | 8 | 96 1482.70/1483.16 c 1477s | 18 | 1032061 | 299652 | 438684 0 | 8 | 96 1486.00/1486.45 c 1480s | 18 | 1032399 | 299952 | 438684 0 | 8 | 96 1488.60/1489.08 c 1483s | 18 | 1032738 | 300252 | 438684 0 | 8 | 96 1491.00/1491.40 c 1485s | 18 | 1033083 | 300552 | 438684 0 | 8 | 96 1493.40/1493.82 c 1488s | 18 | 1033299 | 300752 | 438684 0 | 8 | 96 1496.00/1496.49 c 1490s | 18 | 1033624 | 301052 | 438684 0 | 8 | 96 1498.49/1498.95 c 1493s | 18 | 1033950 | 301352 | 438684 0 | 8 | 96 1500.69/1501.14 c 1495s | 18 | 1034178 | 301552 | 438684 0 | 8 | 96 1503.30/1503.75 c 1497s | 18 | 1034523 | 301852 | 438684 0 | 8 | 96 1505.69/1506.18 c 1500s | 18 | 1034736 | 302052 | 438684 0 | 8 | 96 1508.80/1509.22 c 1503s | 18 | 1034953 | 302252 | 438684 0 | 8 | 96 1511.00/1511.45 c 1505s | 18 | 1035166 | 302452 | 438684 0 | 8 | 96 1513.39/1513.81 c 1507s | 18 | 1035396 | 302652 | 438684 0 | 8 | 96 1516.39/1516.80 c 1510s | 18 | 1035617 | 302852 | 438684 0 | 8 | 96 1519.09/1519.57 c 1513s | 18 | 1035841 | 303052 | 438684 0 | 8 | 96 1521.19/1521.62 c 1515s | 18 | 1036058 | 303252 | 438684 0 | 8 | 96 1524.49/1524.97 c 1519s | 18 | 1036284 | 303452 | 438684 0 | 8 | 96 1527.50/1527.90 c 1522s | 18 | 1036510 | 303652 | 438684 0 | 8 | 96 1530.09/1530.55 c 1524s | 18 | 1036731 | 303852 | 438684 0 | 8 | 96 1532.39/1532.89 c 1527s | 18 | 1036953 | 304052 | 438684 0 | 8 | 96 1535.09/1535.57 c 1529s | 18 | 1037168 | 304252 | 438684 0 | 8 | 96 1538.09/1538.56 c 1532s | 18 | 1037380 | 304452 | 438684 0 | 8 | 96 1541.19/1541.67 c 1535s | 18 | 1037611 | 304652 | 438684 0 | 8 | 96 1543.59/1544.05 c 1538s | 18 | 1037825 | 304852 | 438684 0 | 8 | 96 1546.29/1546.72 c 1540s | 18 | 1038042 | 305052 | 438684 0 | 8 | 96 1550.29/1550.71 c 1544s | 18 | 1038257 | 305252 | 438684 0 | 8 | 96 1552.79/1553.21 c 1547s | 18 | 1038490 | 305452 | 438684 0 | 8 | 96 1555.49/1555.92 c 1550s | 18 | 1038832 | 305752 | 438684 0 | 8 | 96 1557.98/1558.49 c 1552s | 18 | 1039162 | 306052 | 438684 0 | 8 | 96 1560.98/1561.47 c 1555s | 18 | 1039492 | 306352 | 438684 0 | 8 | 96 1563.79/1564.23 c 1558s | 18 | 1039713 | 306552 | 438684 0 | 8 | 96 1567.68/1568.18 c 1562s | 18 | 1039936 | 306752 | 438684 0 | 8 | 96 1570.58/1571.06 c 1565s | 18 | 1040148 | 306952 | 438684 0 | 8 | 96 1573.28/1573.74 c 1567s | 18 | 1040375 | 307152 | 438684 0 | 8 | 96 1575.38/1575.82 c 1570s | 18 | 1040591 | 307352 | 438684 0 | 8 | 96 1577.88/1578.35 c 1572s | 18 | 1040812 | 307552 | 438684 0 | 8 | 96 1580.68/1581.10 c 1575s | 18 | 1041034 | 307752 | 438684 0 | 8 | 96 1583.89/1584.37 c 1578s | 18 | 1041255 | 307952 | 438684 0 | 8 | 96 1586.79/1587.21 c 1581s | 18 | 1041474 | 308152 | 438684 0 | 8 | 96 1589.20/1589.63 c 1583s | 18 | 1041688 | 308352 | 438684 0 | 8 | 96 1591.89/1592.31 c 1586s | 18 | 1041908 | 308552 | 438684 0 | 8 | 96 1594.29/1594.71 c 1588s | 18 | 1042115 | 308752 | 438684 0 | 8 | 96 1596.69/1597.19 c 1591s | 18 | 1042351 | 308952 | 438684 0 | 8 | 96 1599.89/1600.30 c 1594s | 18 | 1042675 | 309252 | 438684 0 | 8 | 96 1602.39/1602.89 c 1597s | 18 | 1043107 | 309652 | 438684 0 | 8 | 96 1604.89/1605.36 c 1599s | 18 | 1043436 | 309952 | 438684 0 | 8 | 96 1607.29/1607.75 c 1601s | 18 | 1043757 | 310252 | 438684 0 | 8 | 96 1610.49/1610.98 c 1605s | 18 | 1044073 | 310552 | 438684 0 | 8 | 96 1612.88/1613.33 c 1607s | 18 | 1044305 | 310752 | 438684 0 | 8 | 96 1615.98/1616.41 c 1610s | 18 | 1044519 | 310952 | 438684 0 | 8 | 96 1618.89/1619.36 c 1613s | 18 | 1044733 | 311152 | 438684 0 | 8 | 96 1621.78/1622.23 c 1616s | 18 | 1044952 | 311352 | 438684 0 | 8 | 96 1624.48/1624.97 c 1619s | 18 | 1045273 | 311652 | 438684 0 | 8 | 96 1626.59/1627.04 c 1621s | 18 | 1045504 | 311852 | 438684 0 | 8 | 96 1629.28/1629.73 c 1623s | 18 | 1045818 | 312152 | 438684 0 | 8 | 96 1631.28/1631.79 c 1625s | 18 | 1046046 | 312352 | 438684 0 | 8 | 96 1634.29/1634.74 c 1628s | 18 | 1046370 | 312652 | 438684 0 | 8 | 96 1637.18/1637.64 c 1631s | 18 | 1046691 | 312952 | 438684 0 | 8 | 96 1641.58/1642.03 c 1636s | 18 | 1046916 | 313152 | 438684 0 | 8 | 96 1644.58/1645.08 c 1639s | 18 | 1047131 | 313352 | 438684 0 | 8 | 96 1647.49/1647.92 c 1642s | 18 | 1047352 | 313552 | 438684 0 | 8 | 96 1650.58/1651.08 c 1645s | 18 | 1047585 | 313752 | 438684 0 | 8 | 96 1652.99/1653.44 c 1647s | 18 | 1047692 | 313852 | 438684 0 | 8 | 96 1656.38/1656.81 c 1650s | 18 | 1047901 | 314052 | 438684 0 | 8 | 96 1659.58/1660.05 c 1654s | 18 | 1048118 | 314252 | 438684 0 | 8 | 96 1662.48/1662.98 c 1657s | 18 | 1048338 | 314452 | 438684 0 | 8 | 96 1666.18/1666.67 c 1660s | 18 | 1048552 | 314652 | 438684 0 | 8 | 96 1669.08/1669.54 c 1663s | 18 | 1048785 | 314852 | 438684 0 | 8 | 96 1672.47/1672.95 c 1667s | 18 | 1048997 | 315052 | 438684 0 | 8 | 96 1675.37/1675.88 c 1670s | 18 | 1049234 | 315252 | 438684 0 | 8 | 96 1677.57/1678.08 c 1672s | 18 | 1049344 | 315352 | 438684 0 | 8 | 96 1679.57/1680.09 c 1674s | 18 | 1049464 | 315452 | 438684 0 | 8 | 96 1681.97/1682.40 c 1676s | 18 | 1049576 | 315552 | 438684 0 | 8 | 96 1685.07/1685.50 c 1679s | 18 | 1049807 | 315752 | 438684 0 | 8 | 96 1687.97/1688.45 c 1682s | 18 | 1050047 | 315952 | 438684 0 | 8 | 96 1690.77/1691.25 c 1685s | 18 | 1050270 | 316152 | 438684 0 | 8 | 96 1693.07/1693.59 c 1687s | 18 | 1050491 | 316352 | 438684 0 | 8 | 96 1695.97/1696.48 c 1690s | 18 | 1050710 | 316552 | 438684 0 | 8 | 96 1699.18/1699.66 c 1693s | 18 | 1050930 | 316752 | 438684 0 | 8 | 96 1702.07/1702.58 c 1696s | 18 | 1051142 | 316952 | 438684 0 | 8 | 96 1704.77/1705.28 c 1699s | 18 | 1051351 | 317152 | 438684 0 | 8 | 96 1707.57/1708.05 c 1702s | 18 | 1051571 | 317352 | 438684 0 | 8 | 96 1710.08/1710.52 c 1704s | 18 | 1051797 | 317552 | 438684 0 | 8 | 96 1712.38/1712.87 c 1707s | 18 | 1052003 | 317752 | 438684 0 | 8 | 96 1715.17/1715.68 c 1709s | 18 | 1052232 | 317952 | 438684 0 | 8 | 96 1718.27/1718.73 c 1712s | 18 | 1052450 | 318152 | 438684 0 | 8 | 96 1721.47/1721.95 c 1716s | 18 | 1052671 | 318352 | 438684 0 | 8 | 96 1725.07/1725.54 c 1719s | 18 | 1052884 | 318552 | 438684 0 | 8 | 96 1727.17/1727.66 c 1721s | 18 | 1052993 | 318652 | 438684 0 | 8 | 96 1730.17/1730.63 c 1724s | 18 | 1053200 | 318852 | 438684 0 | 8 | 96 1732.87/1733.30 c 1727s | 18 | 1053425 | 319052 | 438684 0 | 8 | 96 1735.77/1736.28 c 1730s | 18 | 1053642 | 319252 | 438684 0 | 8 | 96 1738.56/1739.07 c 1733s | 18 | 1053849 | 319452 | 438684 0 | 8 | 96 1741.76/1742.23 c 1736s | 18 | 1054062 | 319652 | 438684 0 | 8 | 96 1744.66/1745.18 c 1739s | 18 | 1054289 | 319852 | 438684 0 | 8 | 96 1747.36/1747.82 c 1742s | 18 | 1054500 | 320052 | 438684 0 | 8 | 96 1749.96/1750.45 c 1744s | 18 | 1054729 | 320252 | 438684 0 | 8 | 96 1752.46/1752.93 c 1747s | 18 | 1054953 | 320452 | 438684 0 | 8 | 96 1754.86/1755.33 c 1749s | 18 | 1055153 | 320652 | 438684 0 | 8 | 96 1758.16/1758.68 c 1752s | 18 | 1055370 | 320852 | 438684 0 | 8 | 96 1761.26/1761.78 c 1755s | 18 | 1055594 | 321052 | 438684 0 | 8 | 96 1764.46/1764.96 c 1759s | 18 | 1055817 | 321252 | 438684 0 | 8 | 96 1768.06/1768.56 c 1762s | 18 | 1056039 | 321452 | 438684 0 | 8 | 96 1771.16/1771.60 c 1765s | 18 | 1056258 | 321652 | 438684 0 | 8 | 96 1774.16/1774.60 c 1768s | 18 | 1056469 | 321852 | 438684 0 | 8 | 96 1777.46/1777.92 c 1772s | 18 | 1056689 | 322052 | 438684 0 | 8 | 96 1780.66/1781.14 c 1775s | 18 | 1056923 | 322252 | 438684 0 | 8 | 96 1784.06/1784.59 c 1778s | 18 | 1057143 | 322452 | 438684 0 | 8 | 96 1786.95/1787.41 c 1781s | 18 | 1057346 | 322652 | 438684 0 | 8 | 96 1789.46/1789.96 c 1784s | 18 | 1057578 | 322852 | 438684 0 | 8 | 96 1792.45/1792.93 c 1787s | 18 | 1057813 | 323052 | 438684 0 | 8 | 96 1794.86/1795.33 c 1789s | 18 | 1058019 | 323252 | 438684 0 | 8 | 96 1797.85/1798.39 c 1792s | 18 | 1058239 | 323452 | 438684 0 | 8 | 96
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-4109002-1466292999/watcher-4109002-1466292999 -o /tmp/evaluation-result-4109002-1466292999/solver-4109002-1466292999 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4109002-1466292999.opb pid=26674 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.35 2.24 2.19 3/179 26677 /proc/meminfo: memFree=29299684/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=672188 CPUtime=0 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 2498 0 0 0 0 0 0 0 20 0 4 0 31346463 688320512 3369 33554432000 4194304 16246674 140734963012576 140734963012000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 168815 3378 441 2943 0 165709 0 [pid=26677/tid=26678] ppid=26674 vsize=689596 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 706146304 3435 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=693692 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 710340608 3453 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=697788 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31346463 714534912 3470 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10018 s] /proc/loadavg: 2.35 2.24 2.19 3/179 26677 /proc/meminfo: memFree=29299684/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 30009 0 0 0 5 4 0 0 20 0 4 0 31346463 1249447936 30818 33554432000 4194304 16246674 140734963012576 140734962995568 4206877 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 305041 30818 801 2943 0 301935 0 [pid=26677/tid=26678] ppid=26674 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1249447936 30818 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1249447936 30818 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1249447936 30818 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200562 s] /proc/loadavg: 2.35 2.24 2.19 3/179 26677 /proc/meminfo: memFree=29299684/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1308228 CPUtime=0.19 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 51270 0 0 0 12 7 0 0 20 0 4 0 31346463 1339625472 52590 33554432000 4194304 16246674 140734963012576 140734962995568 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 327057 52594 801 2943 0 323951 0 [pid=26677/tid=26678] ppid=26674 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1339625472 52596 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1339625472 52598 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1339625472 52600 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1308228 [startup+0.300472 s] /proc/loadavg: 2.35 2.24 2.19 3/179 26677 /proc/meminfo: memFree=29299684/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 57943 0 0 0 21 8 0 0 20 0 4 0 31346463 1345916928 59263 33554432000 4194304 16246674 140734963012576 140734962995568 7376992 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 328593 59263 801 2943 0 325487 0 [pid=26677/tid=26678] ppid=26674 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1345916928 59263 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1345916928 59263 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1345916928 59263 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.70041 s] /proc/loadavg: 2.35 2.24 2.19 3/179 26677 /proc/meminfo: memFree=29299684/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1314372 CPUtime=0.68 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 69780 0 0 0 59 9 0 0 20 0 4 0 31346463 1345916928 71100 33554432000 4194304 16246674 140734963012576 140734962995568 8055432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 328593 71100 801 2943 0 325487 0 [pid=26677/tid=26678] ppid=26674 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1345916928 71100 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1345916928 71100 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1345916928 71100 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1314372 [startup+1.50042 s] /proc/loadavg: 2.35 2.24 2.19 3/183 26681 /proc/meminfo: memFree=28964364/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1314372 CPUtime=1.49 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 83781 0 0 0 137 12 0 0 20 0 4 0 31346463 1345916928 85101 33554432000 4194304 16246674 140734963012576 140734962994496 8055566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 328593 85101 802 2943 0 325487 0 [pid=26677/tid=26678] ppid=26674 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1345916928 85101 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1345916928 85101 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1345916928 85101 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.1004 s] /proc/loadavg: 2.35 2.24 2.19 3/183 26681 /proc/meminfo: memFree=28710288/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=3.09 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 277723 0 0 0 266 43 0 0 20 0 4 0 31346463 1381568512 279043 33554432000 4194304 16246674 140734963012576 140734962994496 6757489 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279043 847 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279043 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279043 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279043 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1349188 [startup+6.30037 s] /proc/loadavg: 2.32 2.23 2.19 3/183 26681 /proc/meminfo: memFree=28183208/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=6.29 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 277966 0 0 0 586 43 0 0 20 0 4 0 31346463 1381568512 279286 33554432000 4194304 16246674 140734963012576 140734962994496 5677179 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279286 886 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279286 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279286 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279286 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1349188 [startup+12.7004 s] /proc/loadavg: 2.30 2.23 2.19 3/183 26681 /proc/meminfo: memFree=28183068/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=12.69 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 277967 0 0 0 1226 43 0 0 20 0 4 0 31346463 1381568512 279287 33554432000 4194304 16246674 140734963012576 140734962994496 5823793 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279287 886 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279287 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279287 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279287 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1349188 [startup+25.5005 s] /proc/loadavg: 2.30 2.23 2.19 3/183 26681 /proc/meminfo: memFree=28184376/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=25.48 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 277967 0 0 0 2505 43 0 0 20 0 4 0 31346463 1381568512 279287 33554432000 4194304 16246674 140734963012576 140734962994496 5601643 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279287 886 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279287 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279287 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279287 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1349188 [startup+51.1005 s] /proc/loadavg: 2.31 2.24 2.19 3/183 26682 /proc/meminfo: memFree=28184216/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=51.08 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 277969 0 0 0 5065 43 0 0 20 0 4 0 31346463 1381568512 279289 33554432000 4194304 16246674 140734963012576 140734962994496 5723856 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279289 886 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279289 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279289 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279289 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1349188 [startup+102.3 s] /proc/loadavg: 2.31 2.25 2.19 3/183 26683 /proc/meminfo: memFree=28184832/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=102.28 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 277977 0 0 0 10185 43 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 140734962994496 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279297 893 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1349188 ################ # More data... # ################ /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1349188 [startup+1362.3 s] /proc/loadavg: 2.12 2.19 2.17 3/183 26860 /proc/meminfo: memFree=28151840/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=1361.92 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 278267 0 0 0 136147 45 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 140734962994496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279297 893 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1349188 [startup+1422.3 s] /proc/loadavg: 2.09 2.16 2.17 3/184 26864 /proc/meminfo: memFree=28151580/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=1421.92 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 278267 0 0 0 142147 45 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 140734962994496 5822144 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279297 893 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1349188 [startup+1482.3 s] /proc/loadavg: 2.23 2.19 2.18 3/184 26887 /proc/meminfo: memFree=28143764/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=1481.9 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 278267 0 0 0 148145 45 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 140734962994496 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279297 893 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1349188 [startup+1542.31 s] /proc/loadavg: 2.29 2.20 2.18 3/183 26888 /proc/meminfo: memFree=28144176/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=1541.9 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 278267 0 0 0 154145 45 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 140734962994496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279297 893 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1349188 [startup+1602.3 s] /proc/loadavg: 2.21 2.19 2.18 3/183 26890 /proc/meminfo: memFree=28144092/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=1601.89 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 278267 0 0 0 160143 46 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 140734962994496 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279297 893 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1349188 [startup+1662.3 s] /proc/loadavg: 2.22 2.20 2.18 3/183 26891 /proc/meminfo: memFree=28144852/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=1661.88 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 278267 0 0 0 166142 46 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 140734962994496 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279297 893 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1349188 [startup+1722.3 s] /proc/loadavg: 2.21 2.19 2.18 3/183 26892 /proc/meminfo: memFree=28144688/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=1721.87 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 278267 0 0 0 172141 46 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 140734962994496 5676480 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279297 893 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1349188 [startup+1782.3 s] /proc/loadavg: 2.24 2.20 2.18 3/183 26893 /proc/meminfo: memFree=28144284/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=1781.86 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 278267 0 0 0 178140 46 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 140734962994496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279297 893 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1349188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.24 2.20 2.18 3/183 26893 /proc/meminfo: memFree=28144444/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=1800.05 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 278267 0 0 0 179959 46 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 140734962994496 5523139 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279297 893 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1349188 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 26677 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.24 2.20 2.18 3/183 26893 /proc/meminfo: memFree=28144444/32872528 swapFree=1370848/1518016 [pid=26677] ppid=26674 vsize=1349188 CPUtime=1800.05 cores=0,2,4,6 /proc/26677/stat : 26677 (toysat) R 26674 26677 24737 0 -1 4202496 278267 0 0 0 179959 46 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 140734962994496 5523139 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26677/statm: 337297 279297 893 2943 0 334191 0 [pid=26677/tid=26678] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26678/stat : 26678 (toysat) S 26674 26677 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769862401264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26677/tid=26679] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26679/stat : 26679 (toysat) S 26674 26677 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769778515184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26677/tid=26680] ppid=26674 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/26677/task/26680/stat : 26680 (toysat) S 26674 26677 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346463 1381568512 279297 33554432000 4194304 16246674 140734963012576 139769768041648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1349188 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.6 CPU system time (s): 0.463929 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 1349188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.463929 maximum resident set size= 1117188 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278267 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= 323 involuntary context switches= 1864 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.2044 second user time and 17.4813 second system time The end
Begin job on node129 at 2016-06-19 01:36:40 IDJOB=4109002 IDBENCH=89814 IDSOLVER=2542 FILE ID=node129/4109002-1466292999 RUNJOBID= node129-1466274985-24753 PBS_JOBID= 19918243 Free space on /tmp= 71704 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-89.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109002-1466292999/watcher-4109002-1466292999 -o /tmp/evaluation-result-4109002-1466292999/solver-4109002-1466292999 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4109002-1466292999.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5e35cfce24461785d6d1180987ae518e RANDOM SEED=562306508 node129.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.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.28 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.143 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.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 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.143 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.143 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.54 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.143 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.143 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: 29300056 kB Buffers: 62184 kB Cached: 147544 kB SwapCached: 1832 kB Active: 1205076 kB Inactive: 111876 kB Active(anon): 1105720 kB Inactive(anon): 3464 kB Active(file): 99356 kB Inactive(file): 108412 kB Unevictable: 1518016 kB Mlocked: 1370848 kB SwapTotal: 67108856 kB SwapFree: 67099228 kB Dirty: 25632 kB Writeback: 0 kB AnonPages: 2720448 kB Mapped: 10972 kB Shmem: 0 kB Slab: 601228 kB SReclaimable: 45264 kB SUnreclaim: 555964 kB KernelStack: 1520 kB PageTables: 9248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2768876 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 741376 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= 71696 MiB End job on node129 at 2016-06-19 02:06:40