| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=293-P1=97-P2=163-P3=149-P4=163-P5=457-P6=521-P7=173-P8=431-P9=419-B.opb |
| MD5SUM | 3e0f07488272e35b9b674c3d7ccbd7e8 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.216966 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 243 |
| Total number of constraints | 19 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 19 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 729 |
| Sum of products size (including duplicates) | 1458 |
| Number of different products | 729 |
| Sum of products size | 1458 |
0.00/0.00 c 2016-06-18T17:21:59+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-4106040-1466263319.opb"] 0.00/0.01 c use --random-gen="1199124300 1694563482 95064539 3228953005 4083123400 2519555730 2012619783 4082387584 1295565916 1074648170 1629290452 2715832267 4040761010 3080578760 411165888 1085247525 1328121203 3916676316 526217298 260058907 1475206844 3676437035 2522397921 1553042757 3356457332 3368734152 368566837 456326827 179535243 3434963953 4009418966 3975856543 2561726391 3752146487 3258072131 1313603624 789865215 3389675491 869390966 2760915527 1468155820 3568661535 2161017298 3678559996 4214440196 245136969 1734557416 1581145017 3350830404 616504785 2989745113 225358630 466606248 2741015787 3826978955 3120486132 1426612175 231551457 806870776 3879180095 864823189 925425621 481424504 1228418246 2228814421 3378449604 2615325940 3365031819 4284752897 1364984915 2397882662 2720305755 4281135693 3001241033 3308476406 1514267447 3327360987 3490694042 2651909340 1860316048 2017796598 3733295017 3357788962 3850642819 3460561284 4063645785 2246330774 793129287 1549448728 3918876157 2626136519 337329840 1575942406 645508754 613713357 825656775 3140451105 738420798 3712159679 169242234 2457020707 354828533 783209612 1414248185 828494271 254320872 1085341365 233006847 956168117 1607951945 2562597803 1206061362 3821791471 330888307 106983877 1866999730 35915793 1335929697 2989658598 3069026745 3133135874 2739894287 815398565 4181744961 902252572 2070632688 1712818138 3323202496 3928040025 1381185744 1055811916 1938945319 2298382002 1434247965 2579142236 2839172622 2874323896 2375834490 3954460614 1857412327 26182670 513722290 2670687313 1341214601 2977094802 1669865663 3464808916 1799206658 2780867842 2942849871 3020386976 2799886919 2207761437 2535219830 786787222 1497179971 3946262574 3548797004 221207020 322352837 641238953 1996015711 1634710283 2081785211 4023235268 3223185341 2223506111 3287535764 1404609621 3159996074 3058738333 1051718361 484297112 3786850675 398698829 3920753284 491972594 3350927235 680088863 4047625263 997131173 3457146993 4278883111 4270071794 1516433736 21486903 1458257696 3762988928 708723113 3747755890 1845207115 3694841235 3423311375 3733249691 2912119373 508166344 152970924 730094998 3743038878 4022407165 2222153024 1607438037 370427432 795190720 1537258479 3147064966 2540668472 2973091504 1084898290 2308035451 3995317984 1989431400 3971755915 1121513500 4279980131 4270127974 1544994790 3636864279 1312397133 3601469413 1129405707 4263290932 96076839 4176639583 2228521656 2919907430 3755589891 2573267736 2535743375 4244491256 1754347733 3790278731 3302938964 1151659334 2729929719 1340709793 3340194124 1096573608 3108008264 617795591 1212803933 1091786231 4182481360 1805465762 577518639 3787929359 2612924758 3157813378 2160854903 1794077797 3958942983 4215293553 1599722780 2883032987 169744497 3907244166 255 362436" option to reproduce the execution 0.00/0.01 c #vars 243 0.00/0.01 c #constraints 19 0.00/0.04 c BCD2: Hardening is enabled. 0.00/0.04 c BCD2: BiasedSearch is enabled. 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 1062 0 | 0 | 0 0.00/0.07 c 0.0s | 1 | 116 | 100 | 1062 0 | 0 | 0 0.09/0.12 c 0.1s | 2 | 308 | 250 | 1169 0 | 0 | 0 0.09/0.17 c 0.1s | 3 | 595 | 475 | 1286 0 | 0 | 0 0.19/0.28 c 0.2s | 4 | 999 | 813 | 1415 0 | 0 | 0 0.39/0.44 c 0.4s | 5 | 1617 | 1320 | 1557 0 | 0 | 0 0.68/0.71 c 0.7s | 6 | 2517 | 2081 | 1885 0 | 0 | 0 2.29/2.32 c 2.3s | 7 | 4017 | 3223 | 2074 1 | 0 | 0 2.99/3.06 c 3.0s | 8 | 6226 | 4936 | 2282 3 | 0 | 0 4.08/4.12 c 4.1s | 9 | 9548 | 7506 | 2511 4 | 0 | 0 4.08/4.17 c 4.1s | 9 | 9840 | 7551 | 2511 5 | 0 | 0 4.08/4.17 c #cpu_time = 4.112s 4.08/4.17 c #wall_clock_time = 4.126s 4.08/4.17 c #decision = 9840 4.08/4.17 c #random_decision = 38 4.08/4.17 c #conflict = 7551 4.08/4.17 c #restart = 9 4.08/4.17 o 189 4.08/4.17 c BCD2: hardening fixes 1 literals 4.08/4.17 c BCD2: updating upper bound: 511 -> 188 4.08/4.17 c BCD2: 0 <= obj <= 188 4.08/4.17 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=1 4.08/4.17 c BCD2: #sat=1 #unsat=1 bias=1/2 4.08/4.17 c Solving starts ... 4.08/4.17 c ============================[ Search Statistics ]============================ 4.08/4.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.08/4.17 c | | | | Limit GC | Var | Constra 4.08/4.17 c ============================================================================= 4.08/4.17 c 0.0s | 0 | 0 | 0 | 2511 0 | 11 | 0 4.08/4.17 c 0.0s | 0 | 6 | 0 | 2511 0 | 11 | 27 4.08/4.17 c #cpu_time = 0.006s 4.08/4.17 c #wall_clock_time = 0.006s 4.08/4.17 c #decision = 6 4.08/4.17 c #random_decision = 0 4.08/4.17 c #conflict = 0 4.08/4.17 c #restart = 0 4.08/4.17 c BCD2: found a new core of size 7: cost of the new core is >=2 4.08/4.17 c lower bound updated to 2 4.08/4.17 c BCD2: 2 <= obj <= 188 4.08/4.17 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=1 4.08/4.17 c BCD2: #sat=1 #unsat=2 bias=2/3 4.08/4.17 c Solving starts ... 4.08/4.17 c ============================[ Search Statistics ]============================ 4.08/4.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.08/4.17 c | | | | Limit GC | Var | Constra 4.08/4.17 c ============================================================================= 4.08/4.17 c 0.0s | 0 | 0 | 0 | 2511 0 | 11 | 27 4.18/4.20 c 0.0s | 1 | 246 | 100 | 2511 0 | 11 | 27 4.49/4.51 c 0.3s | 2 | 535 | 250 | 2511 0 | 11 | 27 4.58/4.61 c 0.4s | 3 | 1341 | 475 | 2511 0 | 11 | 27 4.68/4.70 c 0.5s | 4 | 1891 | 813 | 2511 0 | 11 | 27 4.78/4.89 c 0.7s | 5 | 2600 | 1320 | 2511 0 | 11 | 27 5.78/5.83 c 1.7s | 6 | 3478 | 2081 | 2511 1 | 11 | 27 5.98/6.05 c 1.9s | 7 | 4677 | 3223 | 2511 2 | 11 | 27 6.78/6.85 c 2.7s | 8 | 6576 | 4936 | 2763 3 | 11 | 27 7.48/7.59 c 3.4s | 9 | 9292 | 7506 | 2763 4 | 11 | 27 8.79/8.82 c 4.7s | 10 | 13420 | 11361 | 3040 7 | 11 | 27 10.78/10.85 c 6.7s | 11 | 19486 | 17144 | 3040 10 | 11 | 27 12.78/12.85 c 8.7s | 11 | 25549 | 22944 | 3345 12 | 11 | 27 13.78/13.88 c 9.7s | 12 | 28486 | 25819 | 3345 14 | 11 | 27 15.78/15.89 c 11.7s | 12 | 36273 | 33019 | 3680 17 | 11 | 27 17.59/17.61 c 13.4s | 13 | 42347 | 38832 | 3680 20 | 11 | 27 19.58/19.67 c 15.5s | 13 | 49191 | 45032 | 3680 23 | 11 | 27 21.59/21.68 c 17.5s | 13 | 55630 | 49932 | 3680 25 | 11 | 27 23.69/23.71 c 19.5s | 13 | 60613 | 54732 | 4049 27 | 11 | 27 25.09/25.12 c 21.0s | 14 | 64313 | 58352 | 4049 28 | 11 | 27 27.08/27.13 c 23.0s | 14 | 69876 | 63452 | 4049 30 | 11 | 27 29.08/29.19 c 25.0s | 14 | 75013 | 68452 | 4049 33 | 11 | 27 31.08/31.19 c 27.0s | 14 | 79613 | 72752 | 4049 34 | 11 | 27 33.09/33.19 c 29.0s | 14 | 84670 | 77652 | 4049 36 | 11 | 27 35.08/35.20 c 31.0s | 14 | 89125 | 81952 | 4454 38 | 11 | 27 37.18/37.21 c 33.0s | 14 | 94100 | 86752 | 4454 40 | 11 | 27 37.58/37.64 c 33.5s | 15 | 95035 | 87632 | 4454 40 | 11 | 27 39.59/39.65 c 35.5s | 15 | 101409 | 93332 | 4454 42 | 11 | 27 41.58/41.67 c 37.5s | 15 | 105649 | 97532 | 4454 44 | 11 | 27 43.58/43.67 c 39.5s | 15 | 109865 | 101432 | 4454 46 | 11 | 27 45.68/45.71 c 41.5s | 15 | 114174 | 105332 | 4454 47 | 11 | 27 47.68/47.73 c 43.6s | 15 | 117803 | 108732 | 4454 48 | 11 | 27 49.68/49.75 c 45.6s | 15 | 122683 | 113332 | 4454 50 | 11 | 27 51.69/51.75 c 47.6s | 15 | 127396 | 117732 | 4454 52 | 11 | 27 53.68/53.79 c 49.6s | 15 | 133183 | 123232 | 4900 54 | 11 | 27 55.68/55.80 c 51.6s | 15 | 137330 | 127032 | 4900 55 | 11 | 27 57.58/57.63 c 53.5s | 16 | 142180 | 131552 | 4900 57 | 11 | 27 59.58/59.64 c 55.5s | 16 | 147749 | 136652 | 4900 59 | 11 | 27 61.58/61.66 c 57.5s | 16 | 153028 | 141652 | 4900 61 | 11 | 27 63.58/63.67 c 59.5s | 16 | 157888 | 146352 | 4900 62 | 11 | 27 65.58/65.68 c 61.5s | 16 | 163116 | 151352 | 4900 64 | 11 | 27 67.58/67.69 c 63.5s | 16 | 168470 | 156552 | 4900 66 | 11 | 27 69.68/69.72 c 65.5s | 16 | 173147 | 161052 | 4900 68 | 11 | 27 71.68/71.75 c 67.6s | 16 | 176817 | 164552 | 4900 69 | 11 | 27 73.68/73.75 c 69.6s | 16 | 181174 | 168752 | 4900 71 | 11 | 27 75.77/75.85 c 71.7s | 16 | 185511 | 172952 | 4900 72 | 11 | 27 77.77/77.88 c 73.7s | 16 | 190525 | 177752 | 4900 74 | 11 | 27 79.87/79.94 c 75.8s | 16 | 194311 | 181452 | 4900 75 | 11 | 27 81.87/81.99 c 77.8s | 16 | 197701 | 184752 | 4900 76 | 11 | 27 83.97/84.00 c 79.8s | 16 | 201883 | 188852 | 5390 78 | 11 | 27 85.97/86.04 c 81.9s | 16 | 206039 | 192852 | 5390 79 | 11 | 27 87.87/88.00 c 83.8s | 17 | 210838 | 197432 | 5390 81 | 11 | 27 89.97/90.01 c 85.8s | 17 | 217450 | 203732 | 5390 83 | 11 | 27 91.97/92.01 c 87.8s | 17 | 223747 | 209932 | 5390 85 | 11 | 27 93.97/94.03 c 89.9s | 17 | 229399 | 215432 | 5390 87 | 11 | 27 95.97/96.06 c 91.9s | 17 | 235529 | 221432 | 5390 89 | 11 | 27 97.98/98.07 c 93.9s | 17 | 241375 | 227132 | 5390 91 | 11 | 27 99.97/100.07 c 95.9s | 17 | 247394 | 232932 | 5390 93 | 11 | 27 101.97/102.08 c 97.9s | 17 | 252741 | 238132 | 5390 95 | 11 | 27 104.07/104.11 c 99.9s | 17 | 258704 | 243932 | 5390 97 | 11 | 27 106.07/106.14 c 101s | 17 | 264284 | 249432 | 5390 99 | 11 | 27 108.07/108.17 c 103s | 17 | 269784 | 254832 | 5390 101 | 11 | 27 110.07/110.18 c 106s | 17 | 276160 | 261032 | 5390 103 | 11 | 27 112.17/112.21 c 108s | 17 | 281656 | 266332 | 5390 105 | 11 | 27 114.17/114.24 c 110s | 17 | 287062 | 271632 | 5390 106 | 11 | 27 116.17/116.27 c 112s | 17 | 292713 | 277132 | 5390 108 | 11 | 27 118.26/118.30 c 114s | 17 | 299690 | 283932 | 5390 111 | 11 | 27 120.27/120.31 c 116s | 17 | 305369 | 289532 | 5930 112 | 11 | 27 122.27/122.33 c 118s | 17 | 311110 | 295132 | 5930 114 | 11 | 27 122.67/122.70 c 118s | 18 | 312267 | 296252 | 5930 114 | 11 | 27 124.67/124.71 c 120s | 18 | 316013 | 299552 | 5930 115 | 11 | 27 126.67/126.76 c 122s | 18 | 319936 | 302952 | 5930 116 | 11 | 27 128.68/128.79 c 124s | 18 | 324023 | 306452 | 5930 118 | 11 | 27 130.77/130.81 c 126s | 18 | 329150 | 311252 | 5930 119 | 11 | 27 132.77/132.84 c 128s | 18 | 333529 | 315152 | 5930 120 | 11 | 27 134.77/134.86 c 130s | 18 | 337862 | 319152 | 5930 121 | 11 | 27 136.87/136.90 c 132s | 18 | 342076 | 323152 | 5930 123 | 11 | 27 138.87/138.95 c 134s | 18 | 346365 | 327052 | 5930 124 | 11 | 27 140.97/141.02 c 136s | 18 | 349947 | 330452 | 5930 125 | 11 | 27 142.97/143.07 c 138s | 18 | 352958 | 332652 | 5930 126 | 11 | 27 145.07/145.15 c 140s | 18 | 355795 | 334652 | 5930 126 | 11 | 27 147.07/147.16 c 142s | 18 | 359393 | 336652 | 5930 127 | 11 | 27 149.07/149.16 c 144s | 18 | 363738 | 340352 | 5930 128 | 11 | 27 151.17/151.20 c 147s | 18 | 369070 | 345352 | 5930 130 | 11 | 27 153.17/153.20 c 149s | 18 | 374170 | 350052 | 5930 131 | 11 | 27 155.17/155.23 c 151s | 18 | 378635 | 354152 | 5930 132 | 11 | 27 157.17/157.25 c 153s | 18 | 384082 | 358952 | 5930 134 | 11 | 27 159.16/159.28 c 155s | 18 | 388637 | 362352 | 5930 135 | 11 | 27 161.26/161.34 c 157s | 18 | 392304 | 365252 | 5930 136 | 11 | 27 163.26/163.39 c 159s | 18 | 394420 | 366852 | 5930 136 | 11 | 27 165.36/165.44 c 161s | 18 | 396746 | 368352 | 5930 137 | 11 | 27 167.36/167.48 c 163s | 18 | 402704 | 374052 | 5930 139 | 11 | 27 169.37/169.50 c 165s | 18 | 408514 | 379752 | 5930 140 | 11 | 27 171.46/171.50 c 167s | 18 | 414299 | 385452 | 5930 142 | 11 | 27 173.46/173.51 c 169s | 18 | 419471 | 390552 | 5930 144 | 11 | 27 175.46/175.52 c 171s | 18 | 424704 | 395752 | 5930 146 | 11 | 27 177.46/177.54 c 173s | 18 | 429647 | 400652 | 5930 147 | 11 | 27 179.56/179.60 c 175s | 18 | 434440 | 405352 | 5930 149 | 11 | 27 181.57/181.62 c 177s | 18 | 439219 | 410052 | 5930 150 | 11 | 27 183.56/183.65 c 179s | 18 | 444973 | 415352 | 5930 152 | 12 | 36 185.56/185.68 c 181s | 18 | 449720 | 419952 | 5930 153 | 12 | 36 187.66/187.73 c 183s | 18 | 454191 | 423952 | 5930 154 | 12 | 36 189.66/189.76 c 185s | 18 | 459259 | 428552 | 5930 156 | 12 | 36 191.76/191.82 c 187s | 18 | 463963 | 432952 | 5930 157 | 12 | 36 193.76/193.83 c 189s | 18 | 468646 | 436552 | 6524 158 | 12 | 36 195.76/195.84 c 191s | 18 | 474199 | 441552 | 6524 160 | 12 | 36 196.76/196.85 c 192s | 19 | 477235 | 444482 | 6524 161 | 12 | 36 198.76/198.87 c 194s | 19 | 484303 | 451082 | 6524 162 | 12 | 36 200.85/200.94 c 196s | 19 | 489738 | 456382 | 6524 164 | 12 | 36 202.85/202.99 c 198s | 19 | 495230 | 461782 | 6524 165 | 12 | 36 204.95/205.01 c 200s | 19 | 500189 | 466582 | 6524 166 | 12 | 36 206.95/207.05 c 202s | 19 | 505661 | 471882 | 6524 168 | 12 | 36 208.96/209.08 c 204s | 19 | 510412 | 476382 | 6524 169 | 12 | 36 211.05/211.13 c 206s | 19 | 514730 | 480582 | 6524 170 | 12 | 36 213.05/213.14 c 208s | 19 | 520433 | 486182 | 6524 172 | 12 | 36 215.05/215.15 c 210s | 19 | 525591 | 491182 | 6524 173 | 12 | 36 217.05/217.18 c 213s | 19 | 530235 | 495682 | 6524 174 | 12 | 36 219.15/219.23 c 215s | 19 | 534515 | 499882 | 6524 175 | 12 | 36 221.25/221.30 c 217s | 19 | 540261 | 505382 | 6524 177 | 12 | 36 223.15/223.30 c 219s | 19 | 544954 | 509982 | 6524 178 | 12 | 36 225.25/225.30 c 221s | 19 | 549356 | 514282 | 6524 179 | 12 | 36 227.25/227.30 c 223s | 19 | 555677 | 520382 | 6524 181 | 12 | 36 229.25/229.32 c 225s | 19 | 561705 | 526082 | 6524 183 | 12 | 36 231.25/231.34 c 227s | 19 | 567036 | 531282 | 6524 184 | 12 | 36 233.25/233.39 c 229s | 19 | 571888 | 535982 | 6524 185 | 12 | 36 235.35/235.43 c 231s | 19 | 576233 | 540182 | 6524 186 | 12 | 36 237.45/237.51 c 233s | 19 | 580734 | 544582 | 6524 188 | 12 | 36 239.45/239.52 c 235s | 19 | 585607 | 549382 | 6524 189 | 12 | 36 241.45/241.54 c 237s | 19 | 590411 | 553982 | 6524 190 | 12 | 36 243.45/243.56 c 239s | 19 | 595485 | 558982 | 6524 191 | 12 | 36 245.44/245.57 c 241s | 19 | 599636 | 563082 | 6524 193 | 12 | 36 247.46/247.58 c 243s | 19 | 604732 | 567982 | 6524 194 | 12 | 36 249.55/249.60 c 245s | 19 | 609523 | 572682 | 6524 195 | 12 | 36 251.55/251.60 c 247s | 19 | 614293 | 577382 | 6524 196 | 12 | 36 253.55/253.61 c 249s | 19 | 619175 | 582082 | 6524 198 | 12 | 36 255.55/255.63 c 251s | 19 | 624194 | 586982 | 6524 199 | 12 | 36 257.55/257.64 c 253s | 19 | 629055 | 591682 | 6524 200 | 12 | 36 259.56/259.66 c 255s | 19 | 634220 | 596482 | 6524 202 | 12 | 36 261.55/261.68 c 257s | 19 | 639693 | 601382 | 6524 203 | 12 | 36 263.55/263.69 c 259s | 19 | 644122 | 605582 | 6524 204 | 12 | 36 265.65/265.71 c 261s | 19 | 648971 | 610182 | 6524 205 | 12 | 36 267.65/267.76 c 263s | 19 | 653927 | 614882 | 6524 207 | 12 | 36 269.65/269.78 c 265s | 19 | 658323 | 619082 | 6524 208 | 12 | 36 271.65/271.78 c 267s | 19 | 663050 | 623482 | 6524 209 | 12 | 36 273.65/273.78 c 269s | 19 | 667810 | 627782 | 6524 210 | 12 | 36 275.65/275.79 c 271s | 19 | 671754 | 631382 | 6524 211 | 12 | 36 277.74/277.82 c 273s | 19 | 675944 | 635282 | 6524 212 | 12 | 36 279.74/279.86 c 275s | 19 | 680176 | 639282 | 6524 213 | 12 | 36 281.74/281.90 c 277s | 19 | 684181 | 643082 | 6524 214 | 12 | 36 283.85/283.92 c 279s | 19 | 688845 | 647482 | 6524 215 | 12 | 36 285.84/285.94 c 281s | 19 | 693020 | 651282 | 6524 216 | 12 | 36 287.84/287.98 c 283s | 19 | 697600 | 655682 | 7177 217 | 12 | 36 289.94/290.00 c 285s | 19 | 702419 | 660282 | 7177 219 | 12 | 36 291.94/292.02 c 287s | 19 | 707175 | 664782 | 7177 220 | 12 | 36 292.94/293.05 c 288s | 20 | 709287 | 666827 | 7177 220 | 12 | 36 294.94/295.07 c 290s | 20 | 711191 | 668427 | 7177 221 | 12 | 36 297.04/297.15 c 292s | 20 | 714972 | 671827 | 7177 222 | 12 | 36 299.14/299.20 c 295s | 20 | 718482 | 675327 | 7177 222 | 12 | 36 301.14/301.24 c 297s | 20 | 721869 | 678627 | 7177 223 | 12 | 36 303.14/303.24 c 299s | 20 | 725221 | 681927 | 7177 224 | 12 | 36 305.13/305.24 c 301s | 20 | 728758 | 685427 | 7177 225 | 12 | 36 307.13/307.29 c 303s | 20 | 732318 | 688927 | 7177 226 | 12 | 36 309.23/309.32 c 305s | 20 | 735744 | 692327 | 7177 227 | 12 | 36 311.43/311.51 c 307s | 20 | 737974 | 694227 | 7177 227 | 12 | 36 313.44/313.58 c 309s | 20 | 739845 | 695827 | 7177 228 | 12 | 36 315.53/315.61 c 311s | 20 | 741296 | 697227 | 7177 228 | 12 | 36 317.53/317.63 c 313s | 20 | 743566 | 699227 | 7177 228 | 12 | 36 319.53/319.68 c 315s | 20 | 745640 | 701227 | 7177 229 | 12 | 36 321.63/321.70 c 317s | 20 | 748250 | 703627 | 7177 229 | 12 | 36 323.62/323.73 c 319s | 20 | 750994 | 705927 | 7177 230 | 12 | 36 325.63/325.76 c 321s | 20 | 753434 | 708327 | 7177 231 | 12 | 36 327.73/327.81 c 323s | 20 | 756696 | 711527 | 7177 231 | 12 | 36 329.72/329.88 c 325s | 20 | 759750 | 714527 | 7177 232 | 12 | 36 331.92/332.05 c 327s | 20 | 762119 | 716827 | 7177 233 | 12 | 36 334.02/334.11 c 329s | 20 | 764562 | 719027 | 7177 233 | 12 | 36 336.02/336.14 c 331s | 20 | 767563 | 721827 | 7177 234 | 12 | 36 338.02/338.15 c 333s | 20 | 771178 | 725327 | 7177 235 | 12 | 36 340.02/340.16 c 335s | 20 | 774606 | 728627 | 7177 236 | 12 | 36 342.02/342.16 c 337s | 20 | 778540 | 732427 | 7177 237 | 12 | 36 344.12/344.20 c 340s | 20 | 782384 | 736127 | 7177 238 | 12 | 36 346.11/346.23 c 342s | 20 | 787132 | 740827 | 7177 239 | 12 | 36 348.11/348.25 c 344s | 20 | 790998 | 744527 | 7177 240 | 12 | 36 350.21/350.30 c 346s | 20 | 794277 | 747527 | 7177 240 | 12 | 36 352.21/352.31 c 348s | 20 | 797181 | 750327 | 7177 241 | 12 | 36 354.22/354.35 c 350s | 20 | 800495 | 753527 | 7177 242 | 12 | 36 356.32/356.41 c 352s | 20 | 803350 | 756327 | 7177 243 | 12 | 36 358.31/358.46 c 354s | 20 | 806480 | 759427 | 7177 243 | 12 | 36 360.41/360.50 c 356s | 20 | 809815 | 762727 | 7177 244 | 12 | 36 362.51/362.61 c 358s | 20 | 813299 | 766127 | 7177 245 | 12 | 36 364.51/364.66 c 360s | 20 | 816756 | 769527 | 7177 246 | 12 | 36 366.51/366.67 c 362s | 20 | 820946 | 773627 | 7177 247 | 12 | 36 368.51/368.68 c 364s | 20 | 824515 | 777127 | 7177 248 | 12 | 36 370.50/370.70 c 366s | 20 | 827253 | 779727 | 7177 249 | 12 | 36 372.70/372.80 c 368s | 20 | 829526 | 781827 | 7177 249 | 12 | 36 374.70/374.83 c 370s | 20 | 831440 | 783527 | 7177 250 | 12 | 36 376.70/376.85 c 372s | 20 | 834657 | 786527 | 7177 250 | 12 | 36 378.80/378.90 c 374s | 20 | 837946 | 789727 | 7177 251 | 12 | 36 380.80/380.91 c 376s | 20 | 841623 | 793327 | 7177 252 | 12 | 36 382.80/382.95 c 378s | 20 | 845380 | 797027 | 7177 253 | 12 | 36 384.80/384.96 c 380s | 20 | 847941 | 799527 | 7177 254 | 12 | 36 386.80/386.97 c 382s | 20 | 851479 | 803027 | 7177 254 | 12 | 36 388.89/389.00 c 384s | 20 | 855117 | 806627 | 7177 255 | 12 | 36 390.89/391.05 c 386s | 20 | 859917 | 811327 | 7177 257 | 12 | 36 392.99/393.12 c 388s | 20 | 864014 | 815327 | 7177 258 | 12 | 36 394.99/395.15 c 390s | 20 | 867524 | 818727 | 7177 258 | 12 | 36 396.99/397.19 c 393s | 20 | 871048 | 821827 | 7177 259 | 12 | 36 398.99/399.19 c 395s | 20 | 874887 | 825427 | 7177 260 | 12 | 36 401.09/401.20 c 397s | 20 | 878767 | 829227 | 7177 261 | 12 | 36 403.09/403.21 c 399s | 20 | 881944 | 832327 | 7177 262 | 12 | 36 405.09/405.21 c 401s | 20 | 886651 | 836927 | 7177 263 | 12 | 36 407.08/407.24 c 403s | 20 | 889895 | 840127 | 7177 264 | 12 | 36 409.09/409.24 c 405s | 20 | 893630 | 843827 | 7177 265 | 12 | 36 411.08/411.28 c 407s | 20 | 897395 | 847527 | 7177 266 | 12 | 36 413.08/413.29 c 409s | 20 | 901130 | 851227 | 7177 267 | 12 | 36 415.18/415.33 c 411s | 20 | 905269 | 855327 | 7177 268 | 12 | 36 417.18/417.38 c 413s | 20 | 908718 | 858627 | 7177 268 | 12 | 36 419.28/419.44 c 415s | 20 | 912505 | 862327 | 7177 269 | 12 | 36 421.28/421.46 c 417s | 20 | 916190 | 865927 | 7177 270 | 12 | 36 423.27/423.47 c 419s | 20 | 919766 | 869427 | 7177 271 | 12 | 36 425.37/425.51 c 421s | 20 | 924424 | 874027 | 7177 272 | 12 | 36 427.38/427.58 c 423s | 20 | 927786 | 877327 | 7177 273 | 12 | 36 429.48/429.61 c 425s | 20 | 931389 | 880827 | 7177 274 | 12 | 36 431.48/431.63 c 427s | 20 | 933952 | 883327 | 7177 275 | 12 | 36 433.48/433.64 c 429s | 20 | 937773 | 887027 | 7177 276 | 12 | 36 435.49/435.65 c 431s | 20 | 941482 | 890627 | 7177 276 | 12 | 36 437.48/437.65 c 433s | 20 | 946470 | 895527 | 7177 278 | 12 | 36 439.48/439.65 c 435s | 20 | 950520 | 899527 | 7177 279 | 12 | 36 441.58/441.70 c 437s | 20 | 954032 | 902627 | 7177 279 | 12 | 36 443.58/443.72 c 439s | 20 | 956893 | 905327 | 7177 280 | 12 | 36 445.58/445.73 c 441s | 20 | 959736 | 907927 | 7177 281 | 12 | 36 447.68/447.89 c 443s | 20 | 963026 | 910827 | 7177 282 | 12 | 36 449.78/449.96 c 445s | 20 | 965754 | 913427 | 7177 282 | 12 | 36 451.87/452.00 c 447s | 20 | 968342 | 915927 | 7177 283 | 12 | 36 453.87/454.01 c 449s | 20 | 971243 | 918727 | 7177 283 | 12 | 36 455.87/456.09 c 451s | 20 | 974648 | 922027 | 7177 284 | 12 | 36 458.07/458.20 c 454s | 20 | 975669 | 923027 | 7177 285 | 12 | 36 460.17/460.31 c 456s | 20 | 978060 | 925227 | 7177 285 | 12 | 36 462.17/462.34 c 458s | 20 | 979664 | 926827 | 7177 286 | 12 | 36 464.27/464.42 c 460s | 20 | 981070 | 928227 | 7177 286 | 12 | 36 466.37/466.53 c 462s | 20 | 982677 | 929827 | 7177 286 | 12 | 36 468.36/468.55 c 464s | 20 | 985520 | 932527 | 7177 287 | 12 | 36 470.36/470.57 c 466s | 20 | 988844 | 935627 | 7177 288 | 12 | 36 472.46/472.60 c 468s | 20 | 991279 | 938027 | 7177 288 | 12 | 36 474.46/474.64 c 470s | 20 | 995315 | 942027 | 7177 289 | 12 | 36 476.66/476.80 c 472s | 20 | 1000293 | 946927 | 7177 291 | 12 | 36 478.66/478.85 c 474s | 20 | 1001817 | 948427 | 7177 291 | 12 | 36 480.76/480.90 c 476s | 20 | 1004208 | 950627 | 7177 291 | 12 | 36 482.76/482.93 c 478s | 20 | 1007654 | 953627 | 7177 292 | 12 | 36 484.86/485.03 c 480s | 20 | 1009788 | 955627 | 7177 293 | 12 | 36 486.86/487.07 c 482s | 20 | 1011737 | 957427 | 7177 293 | 12 | 36 488.85/489.08 c 484s | 20 | 1014324 | 959927 | 7177 294 | 12 | 36 490.95/491.13 c 486s | 20 | 1017579 | 963027 | 7177 295 | 12 | 36 492.95/493.19 c 489s | 20 | 1020463 | 965727 | 7177 295 | 12 | 36 495.05/495.26 c 491s | 20 | 1023009 | 968227 | 7177 296 | 12 | 36 497.15/497.34 c 493s | 20 | 1025426 | 970627 | 7177 297 | 12 | 36 499.25/499.41 c 495s | 20 | 1027873 | 972927 | 7177 297 | 12 | 36 501.25/501.43 c 497s | 20 | 1030567 | 975527 | 7177 298 | 12 | 36 503.25/503.43 c 499s | 20 | 1034780 | 979627 | 7177 299 | 12 | 36 505.25/505.47 c 501s | 20 | 1039613 | 984327 | 7177 300 | 12 | 36 507.34/507.51 c 503s | 20 | 1043400 | 988027 | 7895 301 | 12 | 36 509.34/509.55 c 505s | 20 | 1047302 | 991827 | 7895 302 | 12 | 36 511.35/511.58 c 507s | 20 | 1051218 | 995627 | 7895 302 | 12 | 36 513.34/513.56 c 509s | 21 | 1056003 | 1000345 | 7895 304 | 12 | 36 515.34/515.59 c 511s | 21 | 1062898 | 1007045 | 7895 305 | 12 | 36 517.44/517.64 c 513s | 21 | 1068201 | 1012245 | 7895 307 | 12 | 36 519.44/519.65 c 515s | 21 | 1073532 | 1017445 | 7895 308 | 12 | 36 521.44/521.66 c 517s | 21 | 1078695 | 1022245 | 7895 309 | 12 | 36 523.55/523.71 c 519s | 21 | 1083607 | 1027045 | 7895 310 | 12 | 36 525.54/525.75 c 521s | 21 | 1087882 | 1031045 | 7895 311 | 12 | 36 527.54/527.76 c 523s | 21 | 1091885 | 1034945 | 7895 312 | 12 | 36 529.54/529.79 c 525s | 21 | 1096301 | 1039245 | 7895 313 | 12 | 36 531.64/531.81 c 527s | 21 | 1100562 | 1043345 | 7895 314 | 12 | 36 533.63/533.83 c 529s | 21 | 1104822 | 1047145 | 7895 315 | 12 | 36 535.64/535.88 c 531s | 21 | 1108603 | 1050645 | 7895 315 | 12 | 36 537.74/537.92 c 533s | 21 | 1112900 | 1054845 | 7895 316 | 12 | 36 539.73/539.94 c 535s | 21 | 1117102 | 1058945 | 7895 317 | 12 | 36 541.73/541.97 c 537s | 21 | 1120625 | 1062345 | 7895 318 | 12 | 36 543.73/543.98 c 539s | 21 | 1124670 | 1066245 | 7895 319 | 12 | 36 545.83/546.01 c 541s | 21 | 1128796 | 1070245 | 7895 320 | 12 | 36 547.83/548.02 c 543s | 21 | 1133390 | 1074645 | 7895 321 | 12 | 36 549.83/550.07 c 545s | 21 | 1137404 | 1078545 | 7895 322 | 12 | 36 551.83/552.10 c 547s | 21 | 1142170 | 1083145 | 7895 323 | 12 | 36 553.93/554.17 c 549s | 21 | 1146066 | 1086845 | 7895 324 | 12 | 36 555.93/556.18 c 552s | 21 | 1149067 | 1089745 | 7895 325 | 12 | 36 558.02/558.21 c 554s | 21 | 1152852 | 1093345 | 7895 326 | 12 | 36 560.02/560.26 c 556s | 21 | 1157005 | 1097245 | 7895 326 | 12 | 36 562.12/562.33 c 558s | 21 | 1160458 | 1100445 | 7895 327 | 12 | 36 564.13/564.38 c 560s | 21 | 1164180 | 1104045 | 7895 328 | 12 | 36 566.22/566.41 c 562s | 21 | 1168494 | 1108245 | 7895 329 | 12 | 36 568.22/568.42 c 564s | 21 | 1172555 | 1112145 | 7895 330 | 12 | 36 570.22/570.43 c 566s | 21 | 1176759 | 1116245 | 7895 331 | 12 | 36 572.22/572.45 c 568s | 21 | 1180644 | 1120045 | 7895 332 | 12 | 36 574.21/574.48 c 570s | 21 | 1184487 | 1123845 | 7895 333 | 12 | 36 576.32/576.50 c 572s | 21 | 1188506 | 1127745 | 7895 334 | 12 | 36 578.31/578.54 c 574s | 21 | 1192551 | 1131745 | 7895 335 | 12 | 36 580.41/580.60 c 576s | 21 | 1196463 | 1135545 | 7895 335 | 12 | 36 582.41/582.66 c 578s | 21 | 1200069 | 1139045 | 7895 336 | 12 | 36 584.51/584.72 c 580s | 21 | 1203639 | 1142545 | 7895 337 | 12 | 36 586.51/586.77 c 582s | 21 | 1207722 | 1146545 | 7895 338 | 12 | 36 588.61/588.82 c 584s | 21 | 1211606 | 1150345 | 7895 339 | 12 | 36 590.61/590.89 c 586s | 21 | 1214381 | 1153045 | 7895 339 | 12 | 36 592.71/592.94 c 588s | 21 | 1219290 | 1157645 | 7895 341 | 12 | 36 594.71/594.96 c 590s | 21 | 1223018 | 1161145 | 7895 341 | 12 | 36 596.81/597.06 c 592s | 21 | 1226754 | 1164745 | 7895 342 | 12 | 36 598.80/599.08 c 594s | 21 | 1231009 | 1168845 | 7895 343 | 12 | 36 600.90/601.11 c 596s | 21 | 1235304 | 1172945 | 7895 344 | 12 | 36 602.90/603.12 c 598s | 21 | 1239578 | 1177045 | 7895 345 | 12 | 36 604.91/605.13 c 600s | 21 | 1243781 | 1181145 | 7895 346 | 12 | 36 606.90/607.15 c 602s | 21 | 1247887 | 1185145 | 7895 347 | 12 | 36 608.90/609.19 c 605s | 21 | 1251793 | 1188945 | 7895 348 | 12 | 36 611.00/611.20 c 607s | 21 | 1255713 | 1192745 | 7895 349 | 12 | 36 613.00/613.24 c 609s | 21 | 1259490 | 1196345 | 7895 350 | 12 | 36 615.10/615.31 c 611s | 21 | 1263095 | 1199745 | 7895 350 | 12 | 36 617.10/617.32 c 613s | 21 | 1266367 | 1202945 | 7895 351 | 12 | 36 619.10/619.36 c 615s | 21 | 1270367 | 1206845 | 7895 352 | 12 | 36 621.10/621.39 c 617s | 21 | 1274174 | 1210545 | 7895 353 | 12 | 36 623.20/623.42 c 619s | 21 | 1277588 | 1213845 | 7895 354 | 12 | 36 625.20/625.45 c 621s | 21 | 1280999 | 1217145 | 7895 355 | 12 | 36 627.20/627.45 c 623s | 21 | 1284701 | 1220745 | 7895 355 | 12 | 36 629.20/629.46 c 625s | 21 | 1288102 | 1224045 | 7895 356 | 12 | 36 631.21/631.49 c 627s | 21 | 1291601 | 1227445 | 7895 357 | 12 | 36 633.30/633.51 c 629s | 21 | 1294824 | 1230545 | 7895 358 | 12 | 36 635.30/635.57 c 631s | 21 | 1298179 | 1233845 | 7895 358 | 12 | 36 637.30/637.58 c 633s | 21 | 1301719 | 1237345 | 7895 359 | 12 | 36 639.39/639.63 c 635s | 21 | 1305604 | 1241145 | 7895 360 | 12 | 36 641.39/641.63 c 637s | 21 | 1309477 | 1244945 | 7895 361 | 12 | 36 643.40/643.66 c 639s | 21 | 1312882 | 1248245 | 7895 362 | 12 | 36 645.39/645.67 c 641s | 21 | 1316980 | 1252145 | 7895 363 | 12 | 36 647.49/647.72 c 643s | 21 | 1320412 | 1255445 | 7895 364 | 12 | 36 649.49/649.73 c 645s | 21 | 1324235 | 1259145 | 7895 364 | 12 | 36 651.49/651.76 c 647s | 21 | 1328104 | 1262945 | 7895 365 | 12 | 36 653.59/653.80 c 649s | 21 | 1331861 | 1266545 | 7895 366 | 12 | 36 655.59/655.82 c 651s | 21 | 1335976 | 1270445 | 7895 367 | 12 | 36 657.59/657.89 c 653s | 21 | 1339469 | 1273745 | 7895 368 | 12 | 36 659.69/659.91 c 655s | 21 | 1342637 | 1276845 | 7895 369 | 12 | 36 661.69/661.95 c 657s | 21 | 1346738 | 1280645 | 7895 369 | 12 | 36 663.69/663.98 c 659s | 21 | 1350565 | 1284145 | 7895 370 | 12 | 36 665.78/666.02 c 661s | 21 | 1354374 | 1287845 | 7895 371 | 12 | 36 667.78/668.09 c 663s | 21 | 1357548 | 1290845 | 7895 372 | 12 | 36 669.88/670.12 c 665s | 21 | 1361064 | 1294245 | 7895 373 | 12 | 36 671.89/672.14 c 667s | 21 | 1364218 | 1297245 | 7895 373 | 12 | 36 673.88/674.16 c 669s | 21 | 1368059 | 1300945 | 7895 374 | 12 | 36 675.88/676.16 c 671s | 21 | 1371170 | 1303845 | 7895 375 | 12 | 36 677.88/678.19 c 674s | 21 | 1374360 | 1306945 | 7895 376 | 12 | 36 679.98/680.22 c 676s | 21 | 1378197 | 1310645 | 7895 376 | 12 | 36 681.98/682.25 c 678s | 21 | 1382226 | 1314545 | 7895 377 | 12 | 36 683.98/684.28 c 680s | 21 | 1386315 | 1318345 | 7895 378 | 12 | 36 685.97/686.28 c 682s | 21 | 1390192 | 1321945 | 7895 379 | 12 | 36 687.97/688.29 c 684s | 21 | 1394443 | 1326045 | 7895 380 | 12 | 36 690.07/690.33 c 686s | 21 | 1398607 | 1329945 | 7895 381 | 12 | 36 692.07/692.37 c 688s | 21 | 1402604 | 1333845 | 7895 382 | 12 | 36 694.07/694.39 c 690s | 21 | 1406777 | 1337945 | 7895 383 | 12 | 36 696.18/696.41 c 692s | 21 | 1411856 | 1342845 | 7895 384 | 12 | 36 698.17/698.43 c 694s | 21 | 1416000 | 1346845 | 7895 385 | 12 | 36 700.17/700.44 c 696s | 21 | 1419825 | 1350545 | 7895 386 | 12 | 36 702.17/702.48 c 698s | 21 | 1424236 | 1354745 | 7895 387 | 12 | 36 704.27/704.50 c 700s | 21 | 1427850 | 1358045 | 7895 388 | 12 | 36 706.27/706.52 c 702s | 21 | 1431616 | 1361545 | 7895 388 | 12 | 36 708.28/708.55 c 704s | 21 | 1436188 | 1365745 | 7895 389 | 12 | 36 710.27/710.57 c 706s | 21 | 1440453 | 1369745 | 7895 390 | 12 | 36 712.27/712.58 c 708s | 21 | 1444550 | 1373745 | 7895 391 | 12 | 36 714.37/714.60 c 710s | 21 | 1448642 | 1377745 | 7895 392 | 12 | 36 716.37/716.66 c 712s | 21 | 1452654 | 1381645 | 7895 393 | 12 | 36 718.36/718.69 c 714s | 21 | 1456639 | 1385545 | 7895 394 | 12 | 36 720.46/720.72 c 716s | 21 | 1460870 | 1389645 | 7895 395 | 12 | 36 722.47/722.74 c 718s | 21 | 1465139 | 1393845 | 7895 396 | 12 | 36 724.46/724.76 c 720s | 21 | 1469116 | 1397745 | 7895 397 | 12 | 36 726.46/726.77 c 722s | 21 | 1472681 | 1401245 | 7895 398 | 12 | 36 728.46/728.79 c 724s | 21 | 1476796 | 1405045 | 7895 399 | 12 | 36 730.56/730.82 c 726s | 21 | 1481158 | 1409245 | 7895 400 | 12 | 36 732.56/732.82 c 728s | 21 | 1485622 | 1413545 | 7895 401 | 12 | 36 734.56/734.85 c 730s | 21 | 1489485 | 1417145 | 7895 401 | 12 | 36 736.56/736.88 c 732s | 21 | 1493081 | 1420545 | 7895 402 | 12 | 36 738.65/738.91 c 734s | 21 | 1497310 | 1424645 | 7895 403 | 12 | 36 740.65/740.92 c 736s | 21 | 1501073 | 1428245 | 7895 404 | 12 | 36 742.65/742.95 c 738s | 21 | 1504611 | 1431645 | 7895 405 | 12 | 36 744.65/744.95 c 740s | 21 | 1508741 | 1435645 | 7895 406 | 12 | 36 746.66/746.99 c 742s | 21 | 1513251 | 1440045 | 7895 407 | 12 | 36 748.75/749.04 c 744s | 21 | 1517303 | 1443945 | 7895 408 | 12 | 36 750.75/751.06 c 746s | 21 | 1521428 | 1447945 | 7895 409 | 12 | 36 752.75/753.09 c 748s | 21 | 1525484 | 1451645 | 7895 409 | 12 | 36 754.85/755.11 c 750s | 21 | 1529673 | 1455545 | 7895 410 | 12 | 36 756.85/757.13 c 752s | 21 | 1533592 | 1459245 | 7895 411 | 12 | 36 758.85/759.16 c 754s | 21 | 1538213 | 1463745 | 7895 412 | 12 | 36 760.84/761.20 c 757s | 21 | 1542323 | 1467645 | 7895 413 | 12 | 36 762.94/763.23 c 759s | 21 | 1546695 | 1471745 | 7895 414 | 12 | 36 764.94/765.26 c 761s | 21 | 1550680 | 1475545 | 7895 415 | 12 | 36 766.94/767.28 c 763s | 21 | 1554619 | 1479345 | 7895 416 | 12 | 36 769.03/769.32 c 765s | 21 | 1558793 | 1483245 | 8685 417 | 12 | 36 771.03/771.35 c 767s | 21 | 1562661 | 1486945 | 8685 418 | 12 | 36 773.04/773.37 c 769s | 21 | 1566162 | 1490145 | 8685 418 | 12 | 36 775.03/775.39 c 771s | 21 | 1569780 | 1493645 | 8685 419 | 12 | 36 777.13/777.41 c 773s | 21 | 1573286 | 1497045 | 8685 420 | 12 | 36 778.93/779.22 c 775s | 22 | 1577074 | 1500622 | 8685 421 | 12 | 36 780.93/781.23 c 777s | 22 | 1581662 | 1504922 | 8685 421 | 12 | 36 782.94/783.28 c 779s | 22 | 1585617 | 1508822 | 8685 422 | 12 | 36 784.93/785.28 c 781s | 22 | 1590155 | 1513222 | 8685 423 | 12 | 36 787.03/787.34 c 783s | 22 | 1594377 | 1517422 | 8685 424 | 12 | 36 789.02/789.35 c 785s | 22 | 1598111 | 1521122 | 8685 425 | 12 | 36 791.02/791.37 c 787s | 22 | 1602134 | 1525122 | 8685 426 | 12 | 36 793.03/793.40 c 789s | 22 | 1606058 | 1529022 | 8685 427 | 12 | 36 795.04/795.40 c 791s | 22 | 1610968 | 1533722 | 8685 428 | 12 | 36 797.13/797.40 c 793s | 22 | 1615537 | 1538222 | 8685 429 | 12 | 36 799.13/799.50 c 795s | 22 | 1619690 | 1542322 | 8685 430 | 12 | 36 801.23/801.52 c 797s | 22 | 1624663 | 1547222 | 8685 431 | 12 | 36 803.22/803.56 c 799s | 22 | 1629352 | 1551822 | 8685 432 | 12 | 36 805.22/805.57 c 801s | 22 | 1634259 | 1556622 | 8685 433 | 12 | 36 807.23/807.59 c 803s | 22 | 1639305 | 1561622 | 8685 434 | 12 | 36 809.33/809.61 c 805s | 22 | 1644535 | 1566722 | 8685 435 | 12 | 36 811.32/811.61 c 807s | 22 | 1649365 | 1571422 | 8685 436 | 12 | 36 813.32/813.63 c 809s | 22 | 1654145 | 1576122 | 8685 437 | 12 | 36 815.32/815.64 c 811s | 22 | 1658782 | 1580722 | 8685 438 | 12 | 36 817.31/817.68 c 813s | 22 | 1663742 | 1585622 | 8685 439 | 12 | 36 819.32/819.69 c 815s | 22 | 1668749 | 1590522 | 8685 440 | 12 | 36 821.42/821.72 c 817s | 22 | 1674633 | 1596222 | 8685 441 | 12 | 36 823.41/823.72 c 819s | 22 | 1679398 | 1600922 | 8685 443 | 12 | 36 825.41/825.77 c 821s | 22 | 1683972 | 1605422 | 8685 444 | 12 | 36 827.51/827.81 c 823s | 22 | 1688842 | 1610222 | 8685 445 | 12 | 36 829.51/829.84 c 825s | 22 | 1693080 | 1614422 | 8685 445 | 12 | 36 831.61/831.92 c 827s | 22 | 1697758 | 1619022 | 8685 447 | 12 | 36 833.61/833.97 c 829s | 22 | 1703389 | 1624222 | 8685 448 | 12 | 36 835.61/835.97 c 831s | 22 | 1708566 | 1629022 | 8685 449 | 12 | 36 837.70/838.00 c 833s | 22 | 1712923 | 1633022 | 8685 450 | 12 | 36 839.70/840.03 c 835s | 22 | 1717761 | 1637622 | 8685 451 | 12 | 36 841.70/842.04 c 837s | 22 | 1722330 | 1641922 | 8685 451 | 12 | 36 843.70/844.07 c 839s | 22 | 1726570 | 1645822 | 8685 452 | 12 | 36 845.80/846.10 c 841s | 22 | 1730800 | 1649622 | 8685 453 | 12 | 36 847.80/848.13 c 843s | 22 | 1734488 | 1653022 | 8685 454 | 12 | 36 849.79/850.15 c 845s | 22 | 1738146 | 1656322 | 8685 455 | 12 | 36 851.79/852.17 c 847s | 22 | 1742608 | 1660222 | 8685 455 | 12 | 36 853.89/854.22 c 850s | 22 | 1747065 | 1663822 | 8685 456 | 12 | 36 855.89/856.25 c 852s | 22 | 1750980 | 1667422 | 8685 457 | 12 | 36 857.89/858.27 c 854s | 22 | 1754711 | 1670822 | 8685 458 | 12 | 36 860.00/860.30 c 856s | 22 | 1759111 | 1674822 | 8685 459 | 12 | 36 861.99/862.31 c 858s | 22 | 1763061 | 1678422 | 8685 459 | 12 | 36 863.99/864.34 c 860s | 22 | 1766654 | 1681722 | 8685 460 | 12 | 36 865.99/866.38 c 862s | 22 | 1770752 | 1685522 | 8685 461 | 12 | 36 868.09/868.42 c 864s | 22 | 1775122 | 1689622 | 8685 462 | 12 | 36 870.08/870.46 c 866s | 22 | 1778643 | 1692922 | 8685 463 | 12 | 36 872.18/872.52 c 868s | 22 | 1783649 | 1697422 | 8685 464 | 12 | 36 874.19/874.53 c 870s | 22 | 1788590 | 1702022 | 8685 464 | 12 | 36 876.18/876.56 c 872s | 22 | 1792685 | 1705822 | 8685 465 | 12 | 36 878.18/878.57 c 874s | 22 | 1797418 | 1710322 | 8685 466 | 12 | 36 880.28/880.63 c 876s | 22 | 1801720 | 1714422 | 8685 467 | 12 | 36 882.28/882.65 c 878s | 22 | 1805994 | 1718322 | 8685 468 | 12 | 36 884.28/884.66 c 880s | 22 | 1811041 | 1723022 | 8685 469 | 12 | 36 886.28/886.69 c 882s | 22 | 1814925 | 1726622 | 8685 470 | 12 | 36 888.37/888.72 c 884s | 22 | 1819403 | 1730822 | 8685 471 | 12 | 36 890.37/890.73 c 886s | 22 | 1823447 | 1734722 | 8685 472 | 12 | 36 892.37/892.73 c 888s | 22 | 1828044 | 1739022 | 8685 473 | 12 | 36 894.47/894.80 c 890s | 22 | 1831977 | 1742722 | 8685 473 | 12 | 36 896.47/896.86 c 892s | 22 | 1835904 | 1746222 | 8685 474 | 12 | 36 898.48/898.87 c 894s | 22 | 1839749 | 1749722 | 8685 475 | 12 | 36 900.58/900.91 c 896s | 22 | 1843452 | 1753222 | 8685 476 | 12 | 36 902.57/902.92 c 898s | 22 | 1847480 | 1756922 | 8685 476 | 12 | 36 904.57/904.93 c 900s | 22 | 1851346 | 1760522 | 8685 477 | 12 | 36 906.57/906.95 c 902s | 22 | 1855983 | 1764822 | 8685 478 | 12 | 36 908.56/908.96 c 904s | 22 | 1860521 | 1769022 | 8685 479 | 12 | 36 910.57/910.98 c 906s | 22 | 1865118 | 1773122 | 8685 480 | 12 | 36 912.56/913.00 c 908s | 22 | 1869157 | 1776822 | 8685 481 | 12 | 36 914.66/915.04 c 910s | 22 | 1873102 | 1780322 | 8685 481 | 12 | 36 916.66/917.10 c 912s | 22 | 1877400 | 1784122 | 8685 482 | 12 | 36 918.76/919.11 c 914s | 22 | 1880965 | 1787222 | 8685 483 | 12 | 36 920.76/921.12 c 916s | 22 | 1884633 | 1790422 | 8685 484 | 12 | 36 922.75/923.17 c 918s | 22 | 1888977 | 1794122 | 8685 485 | 12 | 36 924.86/925.22 c 921s | 22 | 1893131 | 1797722 | 8685 485 | 12 | 36 926.85/927.25 c 923s | 22 | 1897244 | 1801522 | 8685 486 | 12 | 36 928.85/929.26 c 925s | 22 | 1901151 | 1805122 | 8685 487 | 12 | 36 930.85/931.29 c 927s | 22 | 1905942 | 1809622 | 8685 488 | 12 | 36 932.95/933.31 c 929s | 22 | 1909339 | 1812822 | 8685 489 | 12 | 36 934.95/935.35 c 931s | 22 | 1913282 | 1816322 | 8685 489 | 12 | 36 936.96/937.36 c 933s | 22 | 1917937 | 1820622 | 8685 490 | 12 | 36 938.95/939.36 c 935s | 22 | 1921898 | 1824122 | 8685 491 | 12 | 36 940.95/941.39 c 937s | 22 | 1925719 | 1827422 | 8685 492 | 12 | 36 943.05/943.41 c 939s | 22 | 1930675 | 1832122 | 8685 493 | 12 | 36 945.05/945.42 c 941s | 22 | 1935401 | 1836722 | 8685 494 | 12 | 36 947.05/947.42 c 943s | 22 | 1939705 | 1840922 | 8685 495 | 12 | 36 949.06/949.43 c 945s | 22 | 1944316 | 1845422 | 8685 496 | 12 | 36 951.05/951.44 c 947s | 22 | 1948649 | 1849622 | 8685 497 | 12 | 36 953.15/953.51 c 949s | 22 | 1952255 | 1853022 | 8685 497 | 12 | 36 955.15/955.54 c 951s | 22 | 1956057 | 1856622 | 8685 498 | 12 | 36 957.15/957.54 c 953s | 22 | 1960088 | 1860422 | 8685 499 | 12 | 36 959.15/959.57 c 955s | 22 | 1964372 | 1864522 | 8685 500 | 12 | 36 961.25/961.60 c 957s | 22 | 1969048 | 1868922 | 8685 501 | 12 | 36 963.26/963.60 c 959s | 22 | 1972839 | 1872422 | 8685 501 | 12 | 36 965.26/965.64 c 961s | 22 | 1977676 | 1876922 | 8685 502 | 12 | 36 967.26/967.68 c 963s | 22 | 1982520 | 1881522 | 8685 503 | 12 | 36 969.36/969.71 c 965s | 22 | 1987505 | 1886322 | 8685 504 | 12 | 36 971.36/971.75 c 967s | 22 | 1992279 | 1890822 | 8685 505 | 12 | 36 973.36/973.78 c 969s | 22 | 1996479 | 1894722 | 8685 506 | 12 | 36 975.36/975.79 c 971s | 22 | 2000865 | 1898922 | 8685 507 | 12 | 36 977.45/977.84 c 973s | 22 | 2005742 | 1903522 | 8685 508 | 12 | 36 979.45/979.85 c 975s | 22 | 2009750 | 1907222 | 8685 509 | 12 | 36 981.55/981.90 c 977s | 22 | 2013671 | 1910922 | 8685 510 | 12 | 36 983.55/983.93 c 979s | 22 | 2018178 | 1915222 | 8685 511 | 12 | 36 985.55/985.98 c 981s | 22 | 2022735 | 1919522 | 8685 512 | 12 | 36 987.65/988.02 c 983s | 22 | 2026790 | 1923222 | 8685 512 | 12 | 36 989.66/990.05 c 985s | 22 | 2031413 | 1927622 | 8685 513 | 12 | 36 991.65/992.09 c 987s | 22 | 2036155 | 1932222 | 8685 514 | 12 | 36 993.75/994.10 c 989s | 22 | 2040543 | 1936522 | 8685 515 | 12 | 36 995.75/996.14 c 991s | 22 | 2045468 | 1941222 | 8685 516 | 12 | 36 997.75/998.16 c 993s | 22 | 2049740 | 1945222 | 8685 517 | 12 | 36 999.85/1000.22 c 996s | 22 | 2054058 | 1949322 | 8685 518 | 12 | 36 1001.85/1002.27 c 998s | 22 | 2058909 | 1953922 | 8685 519 | 12 | 36 1003.85/1004.30 c 1000s | 22 | 2063555 | 1958322 | 8685 520 | 12 | 36 1005.95/1006.35 c 1002s | 22 | 2069142 | 1963722 | 8685 521 | 12 | 36 1007.94/1008.38 c 1004s | 22 | 2074098 | 1968522 | 8685 522 | 12 | 36 1010.04/1010.40 c 1006s | 22 | 2078672 | 1972722 | 8685 523 | 12 | 36 1012.04/1012.43 c 1008s | 22 | 2083305 | 1977122 | 8685 524 | 12 | 36 1014.04/1014.43 c 1010s | 22 | 2087413 | 1981022 | 8685 525 | 12 | 36 1016.05/1016.45 c 1012s | 22 | 2091962 | 1985322 | 8685 526 | 12 | 36 1018.04/1018.46 c 1014s | 22 | 2096839 | 1990022 | 8685 527 | 12 | 36 1020.04/1020.48 c 1016s | 22 | 2101392 | 1994322 | 8685 528 | 12 | 36 1022.04/1022.49 c 1018s | 22 | 2106245 | 1998822 | 8685 529 | 12 | 36 1024.04/1024.49 c 1020s | 22 | 2110722 | 2003122 | 8685 530 | 12 | 36 1026.14/1026.54 c 1022s | 22 | 2115087 | 2007322 | 8685 531 | 12 | 36 1028.15/1028.54 c 1024s | 22 | 2119702 | 2011722 | 8685 532 | 12 | 36 1030.14/1030.56 c 1026s | 22 | 2124456 | 2016222 | 8685 533 | 12 | 36 1032.14/1032.58 c 1028s | 22 | 2128473 | 2020022 | 8685 533 | 12 | 36 1034.24/1034.63 c 1030s | 22 | 2132429 | 2023822 | 8685 534 | 12 | 36 1036.24/1036.65 c 1032s | 22 | 2136788 | 2027922 | 8685 535 | 12 | 36 1038.24/1038.65 c 1034s | 22 | 2141385 | 2032122 | 8685 536 | 12 | 36 1040.34/1040.70 c 1036s | 22 | 2145843 | 2036222 | 8685 537 | 12 | 36 1042.34/1042.75 c 1038s | 22 | 2150140 | 2040122 | 8685 538 | 12 | 36 1044.34/1044.77 c 1040s | 22 | 2154590 | 2044222 | 8685 539 | 12 | 36 1046.44/1046.82 c 1042s | 22 | 2158572 | 2047922 | 8685 540 | 12 | 36 1048.44/1048.83 c 1044s | 22 | 2163366 | 2052222 | 8685 540 | 12 | 36 1050.44/1050.85 c 1046s | 22 | 2167986 | 2056422 | 8685 541 | 12 | 36 1052.44/1052.85 c 1048s | 22 | 2172265 | 2060322 | 8685 542 | 12 | 36 1054.44/1054.90 c 1050s | 22 | 2176091 | 2063822 | 8685 543 | 12 | 36 1056.54/1056.91 c 1052s | 22 | 2180545 | 2067722 | 8685 544 | 12 | 36 1058.54/1058.93 c 1054s | 22 | 2184798 | 2071722 | 8685 545 | 12 | 36 1060.53/1060.95 c 1056s | 22 | 2188620 | 2075122 | 8685 545 | 12 | 36 1062.63/1063.02 c 1058s | 22 | 2193933 | 2080222 | 8685 547 | 12 | 36 1064.63/1065.03 c 1060s | 22 | 2199413 | 2085422 | 8685 548 | 12 | 36 1066.64/1067.06 c 1062s | 22 | 2204356 | 2089822 | 8685 549 | 12 | 36 1068.63/1069.07 c 1064s | 22 | 2208298 | 2093522 | 8685 549 | 12 | 36 1070.73/1071.11 c 1066s | 22 | 2212734 | 2097722 | 8685 550 | 12 | 36 1072.73/1073.13 c 1068s | 22 | 2217387 | 2102222 | 8685 551 | 12 | 36 1074.73/1075.14 c 1070s | 22 | 2222227 | 2106822 | 8685 552 | 12 | 36 1076.73/1077.15 c 1072s | 22 | 2226947 | 2111322 | 8685 553 | 12 | 36 1078.74/1079.18 c 1075s | 22 | 2231927 | 2116022 | 8685 554 | 12 | 36 1080.73/1081.19 c 1077s | 22 | 2236065 | 2119922 | 8685 555 | 12 | 36 1082.73/1083.20 c 1079s | 22 | 2239729 | 2123422 | 8685 556 | 12 | 36 1084.83/1085.24 c 1081s | 22 | 2242896 | 2126422 | 8685 557 | 12 | 36 1086.84/1087.27 c 1083s | 22 | 2247036 | 2130422 | 8685 557 | 12 | 36 1088.94/1089.30 c 1085s | 22 | 2251189 | 2134322 | 8685 558 | 12 | 36 1090.94/1091.33 c 1087s | 22 | 2255672 | 2138522 | 8685 559 | 12 | 36 1092.94/1093.37 c 1089s | 22 | 2258960 | 2141722 | 8685 560 | 12 | 36 1095.04/1095.44 c 1091s | 22 | 2261948 | 2144622 | 8685 560 | 12 | 36 1097.04/1097.45 c 1093s | 22 | 2265390 | 2147922 | 8685 561 | 12 | 36 1099.03/1099.48 c 1095s | 22 | 2269779 | 2152122 | 8685 562 | 12 | 36 1101.13/1101.54 c 1097s | 22 | 2274809 | 2156922 | 8685 563 | 12 | 36 1103.13/1103.57 c 1099s | 22 | 2279018 | 2160922 | 8685 564 | 12 | 36 1105.14/1105.57 c 1101s | 22 | 2283585 | 2165222 | 8685 565 | 12 | 36 1107.13/1107.59 c 1103s | 22 | 2288194 | 2169622 | 8685 566 | 12 | 36 1109.23/1109.60 c 1105s | 22 | 2292307 | 2173422 | 8685 567 | 12 | 36 1111.23/1111.62 c 1107s | 22 | 2295923 | 2176622 | 8685 567 | 12 | 36 1113.23/1113.65 c 1109s | 22 | 2299979 | 2180222 | 8685 568 | 12 | 36 1115.23/1115.68 c 1111s | 22 | 2304504 | 2184322 | 8685 569 | 12 | 36 1117.34/1117.70 c 1113s | 22 | 2308739 | 2188022 | 8685 570 | 12 | 36 1119.33/1119.76 c 1115s | 22 | 2312661 | 2191522 | 8685 571 | 12 | 36 1121.33/1121.77 c 1117s | 22 | 2317294 | 2195922 | 8685 572 | 12 | 36 1123.33/1123.78 c 1119s | 22 | 2322375 | 2200822 | 8685 573 | 12 | 36 1125.33/1125.79 c 1121s | 22 | 2327356 | 2205422 | 8685 574 | 12 | 36 1127.43/1127.80 c 1123s | 22 | 2331576 | 2209422 | 8685 575 | 12 | 36 1129.44/1129.83 c 1125s | 22 | 2336174 | 2213822 | 8685 575 | 12 | 36 1131.43/1131.88 c 1127s | 22 | 2340313 | 2217822 | 8685 576 | 12 | 36 1133.53/1133.90 c 1129s | 22 | 2343821 | 2221222 | 8685 577 | 12 | 36 1135.53/1135.93 c 1131s | 22 | 2348838 | 2226022 | 8685 578 | 12 | 36 1137.53/1137.96 c 1133s | 22 | 2352551 | 2229522 | 9554 579 | 12 | 36 1139.63/1140.01 c 1135s | 22 | 2356571 | 2233422 | 9554 579 | 12 | 36 1141.63/1142.05 c 1137s | 22 | 2361123 | 2237722 | 9554 580 | 12 | 36 1143.63/1144.08 c 1139s | 22 | 2365294 | 2241722 | 9554 581 | 12 | 36 1145.72/1146.11 c 1141s | 22 | 2369381 | 2245622 | 9554 582 | 12 | 36 1147.72/1148.14 c 1143s | 22 | 2373583 | 2249622 | 9554 583 | 12 | 36 1148.52/1148.91 c 1144s | 23 | 2375106 | 2251038 | 9554 583 | 12 | 36 1150.52/1150.92 c 1146s | 23 | 2380106 | 2255638 | 9554 584 | 12 | 36 1152.53/1152.95 c 1148s | 23 | 2384422 | 2259838 | 9554 585 | 12 | 36 1154.52/1154.96 c 1150s | 23 | 2388216 | 2263338 | 9554 585 | 12 | 36 1156.62/1157.02 c 1152s | 23 | 2394350 | 2269238 | 9554 586 | 12 | 36 1158.62/1159.04 c 1154s | 23 | 2399137 | 2273938 | 9554 587 | 12 | 36 1160.62/1161.09 c 1156s | 23 | 2403514 | 2278238 | 9554 588 | 12 | 36 1162.72/1163.13 c 1158s | 23 | 2407653 | 2282238 | 9554 589 | 12 | 36 1164.72/1165.19 c 1161s | 23 | 2411658 | 2286038 | 9554 590 | 12 | 36 1166.83/1167.26 c 1163s | 23 | 2415822 | 2290038 | 9554 590 | 12 | 36 1168.93/1169.31 c 1165s | 23 | 2420428 | 2294538 | 9554 591 | 12 | 36 1170.92/1171.34 c 1167s | 23 | 2424635 | 2298638 | 9554 592 | 12 | 36 1172.92/1173.38 c 1169s | 23 | 2428976 | 2302838 | 9554 593 | 12 | 36 1175.02/1175.40 c 1171s | 23 | 2432853 | 2306538 | 9554 594 | 12 | 36 1177.02/1177.42 c 1173s | 23 | 2436499 | 2310038 | 9554 594 | 12 | 36 1179.02/1179.46 c 1175s | 23 | 2440444 | 2313938 | 9554 595 | 12 | 36 1181.12/1181.53 c 1177s | 23 | 2445874 | 2319238 | 9554 596 | 12 | 36 1183.11/1183.59 c 1179s | 23 | 2449709 | 2322938 | 9554 597 | 12 | 36 1185.22/1185.61 c 1181s | 23 | 2453867 | 2326938 | 9554 598 | 12 | 36 1187.22/1187.64 c 1183s | 23 | 2457644 | 2330638 | 9554 598 | 12 | 36 1189.22/1189.65 c 1185s | 23 | 2461539 | 2334438 | 9554 599 | 12 | 36 1191.22/1191.65 c 1187s | 23 | 2465751 | 2338538 | 9554 600 | 12 | 36 1193.23/1193.68 c 1189s | 23 | 2469714 | 2342438 | 9554 601 | 12 | 36 1195.22/1195.70 c 1191s | 23 | 2473723 | 2346338 | 9554 601 | 12 | 36 1197.32/1197.70 c 1193s | 23 | 2477649 | 2350138 | 9554 602 | 12 | 36 1199.32/1199.74 c 1195s | 23 | 2481439 | 2353838 | 9554 603 | 12 | 36 1201.32/1201.78 c 1197s | 23 | 2485296 | 2357638 | 9554 603 | 12 | 36 1203.42/1203.83 c 1199s | 23 | 2489529 | 2361738 | 9554 604 | 12 | 36 1205.42/1205.86 c 1201s | 23 | 2493198 | 2365338 | 9554 605 | 12 | 36 1207.42/1207.90 c 1203s | 23 | 2497049 | 2369138 | 9554 606 | 12 | 36 1209.52/1209.94 c 1205s | 23 | 2500803 | 2372838 | 9554 606 | 12 | 36 1211.52/1211.95 c 1207s | 23 | 2504874 | 2376838 | 9554 607 | 12 | 36 1213.52/1213.98 c 1209s | 23 | 2508661 | 2380538 | 9554 608 | 12 | 36 1215.62/1216.01 c 1211s | 23 | 2512526 | 2384238 | 9554 609 | 12 | 36 1217.61/1218.05 c 1213s | 23 | 2516429 | 2388038 | 9554 609 | 12 | 36 1219.71/1220.10 c 1215s | 23 | 2520131 | 2391638 | 9554 610 | 12 | 36 1221.72/1222.11 c 1217s | 23 | 2523900 | 2395338 | 9554 611 | 12 | 36 1223.71/1224.13 c 1219s | 23 | 2527869 | 2399238 | 9554 612 | 12 | 36 1225.71/1226.18 c 1222s | 23 | 2531646 | 2402838 | 9554 612 | 12 | 36 1227.71/1228.19 c 1224s | 23 | 2535739 | 2406738 | 9554 613 | 12 | 36 1229.81/1230.23 c 1226s | 23 | 2539887 | 2410838 | 9554 614 | 12 | 36 1231.81/1232.27 c 1228s | 23 | 2543970 | 2414838 | 9554 615 | 12 | 36 1233.92/1234.31 c 1230s | 23 | 2548043 | 2418538 | 9554 615 | 12 | 36 1235.91/1236.31 c 1232s | 23 | 2551847 | 2422238 | 9554 616 | 12 | 36 1237.91/1238.32 c 1234s | 23 | 2556153 | 2426438 | 9554 617 | 12 | 36 1239.91/1240.32 c 1236s | 23 | 2560041 | 2430238 | 9554 618 | 12 | 36 1241.91/1242.34 c 1238s | 23 | 2564168 | 2434238 | 9554 618 | 12 | 36 1243.91/1244.34 c 1240s | 23 | 2567752 | 2437738 | 9554 619 | 12 | 36 1245.91/1246.36 c 1242s | 23 | 2571086 | 2441038 | 9554 620 | 12 | 36 1248.01/1248.40 c 1244s | 23 | 2574846 | 2444638 | 9554 620 | 12 | 36 1250.01/1250.43 c 1246s | 23 | 2578937 | 2448438 | 9554 621 | 12 | 36 1252.01/1252.45 c 1248s | 23 | 2582632 | 2451938 | 9554 622 | 12 | 36 1254.01/1254.47 c 1250s | 23 | 2586712 | 2455838 | 9554 622 | 12 | 36 1256.11/1256.50 c 1252s | 23 | 2591262 | 2460138 | 9554 623 | 12 | 36 1258.11/1258.52 c 1254s | 23 | 2595268 | 2463938 | 9554 624 | 12 | 36 1260.10/1260.55 c 1256s | 23 | 2599050 | 2467538 | 9554 625 | 12 | 36 1262.10/1262.58 c 1258s | 23 | 2603551 | 2471938 | 9554 626 | 12 | 36 1264.20/1264.62 c 1260s | 23 | 2608026 | 2476338 | 9554 626 | 12 | 36 1266.20/1266.63 c 1262s | 23 | 2611863 | 2480138 | 9554 627 | 12 | 36 1268.20/1268.63 c 1264s | 23 | 2615792 | 2483938 | 9554 628 | 12 | 36 1270.21/1270.64 c 1266s | 23 | 2619223 | 2487238 | 9554 629 | 12 | 36 1272.20/1272.67 c 1268s | 23 | 2623573 | 2491438 | 9554 629 | 12 | 36 1274.20/1274.68 c 1270s | 23 | 2627173 | 2494838 | 9554 630 | 12 | 36 1276.30/1276.71 c 1272s | 23 | 2630970 | 2498538 | 9554 631 | 12 | 36 1278.30/1278.76 c 1274s | 23 | 2634701 | 2502038 | 9554 631 | 12 | 36 1280.30/1280.77 c 1276s | 23 | 2638506 | 2505638 | 9554 632 | 12 | 36 1282.31/1282.78 c 1278s | 23 | 2642640 | 2509738 | 9554 633 | 12 | 36 1284.41/1284.81 c 1280s | 23 | 2646508 | 2513438 | 9554 634 | 12 | 36 1286.40/1286.82 c 1282s | 23 | 2650172 | 2516938 | 9554 634 | 12 | 36 1288.40/1288.84 c 1284s | 23 | 2653871 | 2520538 | 9554 635 | 12 | 36 1290.50/1290.90 c 1286s | 23 | 2658361 | 2524838 | 9554 636 | 12 | 36 1292.50/1292.92 c 1288s | 23 | 2661901 | 2528338 | 9554 636 | 12 | 36 1294.50/1294.98 c 1290s | 23 | 2666100 | 2532438 | 9554 637 | 12 | 36 1296.60/1297.01 c 1292s | 23 | 2669767 | 2535938 | 9554 638 | 12 | 36 1298.60/1299.02 c 1294s | 23 | 2673414 | 2539538 | 9554 639 | 12 | 36 1300.60/1301.05 c 1296s | 23 | 2677594 | 2543538 | 9554 639 | 12 | 36 1302.60/1303.06 c 1298s | 23 | 2681377 | 2547238 | 9554 640 | 12 | 36 1304.60/1305.07 c 1300s | 23 | 2685248 | 2550938 | 9554 641 | 12 | 36 1306.60/1307.08 c 1302s | 23 | 2689837 | 2555338 | 9554 642 | 12 | 36 1308.70/1309.13 c 1304s | 23 | 2693507 | 2558738 | 9554 642 | 12 | 36 1310.69/1311.15 c 1306s | 23 | 2697821 | 2562938 | 9554 643 | 12 | 36 1312.79/1313.22 c 1309s | 23 | 2702061 | 2567038 | 9554 644 | 12 | 36 1314.80/1315.23 c 1311s | 23 | 2706053 | 2570738 | 9554 645 | 12 | 36 1316.80/1317.25 c 1313s | 23 | 2709915 | 2574338 | 9554 645 | 12 | 36 1318.80/1319.25 c 1315s | 23 | 2713783 | 2577938 | 9554 646 | 12 | 36 1320.81/1321.28 c 1317s | 23 | 2717570 | 2581638 | 9554 647 | 12 | 36 1322.80/1323.28 c 1319s | 23 | 2721771 | 2585738 | 9554 648 | 12 | 36 1324.90/1325.31 c 1321s | 23 | 2725969 | 2589838 | 9554 648 | 12 | 36 1326.90/1327.31 c 1323s | 23 | 2729844 | 2593638 | 9554 649 | 12 | 36 1328.90/1329.35 c 1325s | 23 | 2733632 | 2597338 | 9554 650 | 12 | 36 1330.90/1331.35 c 1327s | 23 | 2737701 | 2601338 | 9554 651 | 12 | 36 1332.90/1333.36 c 1329s | 23 | 2741332 | 2604938 | 9554 651 | 12 | 36 1334.90/1335.37 c 1331s | 23 | 2745225 | 2608738 | 9554 652 | 12 | 36 1337.00/1337.41 c 1333s | 23 | 2749580 | 2613038 | 9554 653 | 12 | 36 1339.00/1339.43 c 1335s | 23 | 2753743 | 2617138 | 9554 654 | 12 | 36 1341.00/1341.44 c 1337s | 23 | 2758131 | 2621438 | 9554 655 | 12 | 36 1343.00/1343.47 c 1339s | 23 | 2762084 | 2625238 | 9554 655 | 12 | 36 1345.10/1345.53 c 1341s | 23 | 2765724 | 2628738 | 9554 656 | 12 | 36 1347.10/1347.55 c 1343s | 23 | 2769411 | 2632338 | 9554 657 | 12 | 36 1349.19/1349.61 c 1345s | 23 | 2773809 | 2636638 | 9554 658 | 12 | 36 1351.19/1351.66 c 1347s | 23 | 2778040 | 2640738 | 9554 658 | 12 | 36 1353.29/1353.70 c 1349s | 23 | 2781655 | 2644238 | 9554 659 | 12 | 36 1355.29/1355.72 c 1351s | 23 | 2786010 | 2648438 | 9554 660 | 12 | 36 1357.29/1357.74 c 1353s | 23 | 2790071 | 2652438 | 9554 661 | 12 | 36 1359.30/1359.76 c 1355s | 23 | 2794530 | 2656838 | 9554 662 | 12 | 36 1361.29/1361.78 c 1357s | 23 | 2798202 | 2660438 | 9554 662 | 12 | 36 1363.29/1363.79 c 1359s | 23 | 2802147 | 2664338 | 9554 663 | 12 | 36 1365.29/1365.79 c 1361s | 23 | 2806128 | 2668238 | 9554 664 | 12 | 36 1367.39/1367.82 c 1363s | 23 | 2809992 | 2672038 | 9554 665 | 12 | 36 1369.39/1369.88 c 1365s | 23 | 2814129 | 2676138 | 9554 665 | 12 | 36 1371.39/1371.89 c 1367s | 23 | 2818412 | 2680338 | 9554 666 | 12 | 36 1373.39/1373.90 c 1369s | 23 | 2823618 | 2685338 | 9554 667 | 12 | 36 1375.48/1375.93 c 1371s | 23 | 2828386 | 2689838 | 9554 668 | 12 | 36 1377.48/1377.97 c 1373s | 23 | 2833002 | 2694338 | 9554 669 | 12 | 36 1379.48/1379.97 c 1375s | 23 | 2837415 | 2698638 | 9554 670 | 12 | 36 1381.58/1382.00 c 1377s | 23 | 2841314 | 2702438 | 9554 670 | 12 | 36 1383.59/1384.05 c 1379s | 23 | 2845068 | 2706138 | 9554 671 | 12 | 36 1385.60/1386.09 c 1381s | 23 | 2849097 | 2710038 | 9554 672 | 12 | 36 1387.69/1388.13 c 1383s | 23 | 2852494 | 2713238 | 9554 673 | 12 | 36 1389.69/1390.18 c 1386s | 23 | 2856732 | 2717238 | 9554 673 | 12 | 36 1391.79/1392.23 c 1388s | 23 | 2860522 | 2720838 | 9554 674 | 12 | 36 1393.79/1394.26 c 1390s | 23 | 2864281 | 2724538 | 9554 675 | 12 | 36 1395.79/1396.26 c 1392s | 23 | 2867839 | 2728038 | 9554 675 | 12 | 36 1397.89/1398.31 c 1394s | 23 | 2871092 | 2731138 | 9554 676 | 12 | 36 1399.90/1400.32 c 1396s | 23 | 2874467 | 2734438 | 9554 677 | 12 | 36 1401.89/1402.37 c 1398s | 23 | 2877455 | 2737238 | 9554 677 | 12 | 36 1403.89/1404.39 c 1400s | 23 | 2880535 | 2740238 | 9554 678 | 12 | 36 1405.99/1406.44 c 1402s | 23 | 2883814 | 2743438 | 9554 678 | 12 | 36 1407.99/1408.45 c 1404s | 23 | 2887449 | 2746938 | 9554 679 | 12 | 36 1409.99/1410.46 c 1406s | 23 | 2891064 | 2750438 | 9554 680 | 12 | 36 1412.00/1412.47 c 1408s | 23 | 2894739 | 2754038 | 9554 681 | 12 | 36 1414.09/1414.53 c 1410s | 23 | 2898685 | 2757938 | 9554 681 | 12 | 36 1416.09/1416.58 c 1412s | 23 | 2902537 | 2761738 | 9554 682 | 12 | 36 1418.19/1418.61 c 1414s | 23 | 2906746 | 2765838 | 9554 683 | 12 | 36 1420.19/1420.64 c 1416s | 23 | 2909941 | 2768938 | 9554 683 | 12 | 36 1422.19/1422.69 c 1418s | 23 | 2913948 | 2772838 | 9554 684 | 12 | 36 1424.29/1424.73 c 1420s | 23 | 2918041 | 2776838 | 9554 685 | 12 | 36 1426.29/1426.76 c 1422s | 23 | 2921962 | 2780638 | 9554 686 | 12 | 36 1428.39/1428.84 c 1424s | 23 | 2925878 | 2784438 | 9554 687 | 12 | 36 1430.39/1430.87 c 1426s | 23 | 2930053 | 2788538 | 9554 687 | 12 | 36 1432.39/1432.88 c 1428s | 23 | 2934020 | 2792438 | 9554 688 | 12 | 36 1434.48/1434.90 c 1430s | 23 | 2937945 | 2796238 | 9554 689 | 12 | 36 1436.48/1436.93 c 1432s | 23 | 2941841 | 2800038 | 9554 690 | 12 | 36 1438.49/1438.97 c 1434s | 23 | 2945965 | 2804138 | 9554 690 | 12 | 36 1440.59/1441.02 c 1436s | 23 | 2950042 | 2808038 | 9554 691 | 12 | 36 1442.58/1443.04 c 1438s | 23 | 2954270 | 2812138 | 9554 692 | 12 | 36 1444.58/1445.06 c 1440s | 23 | 2958614 | 2816438 | 9554 693 | 12 | 36 1446.58/1447.09 c 1442s | 23 | 2962495 | 2820238 | 9554 694 | 12 | 36 1448.68/1449.14 c 1444s | 23 | 2966987 | 2824638 | 9554 694 | 12 | 36 1450.68/1451.15 c 1446s | 23 | 2970750 | 2828338 | 9554 695 | 12 | 36 1452.69/1453.16 c 1448s | 23 | 2974069 | 2831638 | 9554 696 | 12 | 36 1454.68/1455.16 c 1450s | 23 | 2977938 | 2835438 | 9554 696 | 12 | 36 1456.78/1457.22 c 1453s | 23 | 2981899 | 2839338 | 9554 697 | 12 | 36 1458.78/1459.23 c 1455s | 23 | 2985350 | 2842738 | 9554 698 | 12 | 36 1460.78/1461.24 c 1457s | 23 | 2989092 | 2846438 | 9554 699 | 12 | 36 1462.78/1463.26 c 1459s | 23 | 2993605 | 2850738 | 9554 699 | 12 | 36 1464.89/1465.31 c 1461s | 23 | 2999136 | 2855838 | 9554 700 | 12 | 36 1466.88/1467.35 c 1463s | 23 | 3003716 | 2860338 | 9554 701 | 12 | 36 1468.88/1469.38 c 1465s | 23 | 3007901 | 2864438 | 9554 702 | 12 | 36 1470.98/1471.41 c 1467s | 23 | 3011234 | 2867638 | 9554 703 | 12 | 36 1472.98/1473.41 c 1469s | 23 | 3015243 | 2871438 | 9554 704 | 12 | 36 1474.98/1475.41 c 1471s | 23 | 3019193 | 2874938 | 9554 704 | 12 | 36 1476.98/1477.45 c 1473s | 23 | 3022835 | 2878238 | 9554 705 | 12 | 36 1478.98/1479.47 c 1475s | 23 | 3025975 | 2881238 | 9554 705 | 12 | 36 1480.97/1481.48 c 1477s | 23 | 3030028 | 2885138 | 9554 706 | 12 | 36 1483.07/1483.50 c 1479s | 23 | 3033533 | 2888338 | 9554 707 | 12 | 36 1485.07/1485.51 c 1481s | 23 | 3036932 | 2891538 | 9554 707 | 12 | 36 1487.07/1487.55 c 1483s | 23 | 3040662 | 2895038 | 9554 708 | 12 | 36 1489.08/1489.58 c 1485s | 23 | 3043863 | 2898138 | 9554 709 | 12 | 36 1491.07/1491.60 c 1487s | 23 | 3047670 | 2901838 | 9554 709 | 12 | 36 1493.17/1493.65 c 1489s | 23 | 3051045 | 2905038 | 9554 710 | 12 | 36 1495.17/1495.66 c 1491s | 23 | 3054723 | 2908538 | 9554 711 | 12 | 36 1497.17/1497.69 c 1493s | 23 | 3058455 | 2912238 | 9554 712 | 12 | 36 1499.27/1499.75 c 1495s | 23 | 3062589 | 2916138 | 9554 712 | 12 | 36 1501.27/1501.79 c 1497s | 23 | 3066014 | 2919338 | 9554 713 | 12 | 36 1503.28/1503.80 c 1499s | 23 | 3069004 | 2922238 | 9554 713 | 12 | 36 1505.37/1505.82 c 1501s | 23 | 3072231 | 2925338 | 9554 714 | 12 | 36 1507.37/1507.84 c 1503s | 23 | 3075314 | 2928338 | 9554 715 | 12 | 36 1509.47/1509.90 c 1505s | 23 | 3078601 | 2931438 | 9554 715 | 12 | 36 1511.47/1511.94 c 1507s | 23 | 3081314 | 2934038 | 9554 716 | 12 | 36 1513.47/1513.99 c 1509s | 23 | 3083999 | 2936638 | 9554 716 | 12 | 36 1515.57/1516.00 c 1511s | 23 | 3088021 | 2940138 | 9554 717 | 12 | 36 1517.57/1518.03 c 1513s | 23 | 3091657 | 2943438 | 9554 718 | 12 | 36 1519.57/1520.06 c 1515s | 23 | 3094852 | 2946438 | 9554 718 | 12 | 36 1521.57/1522.09 c 1517s | 23 | 3098795 | 2950038 | 9554 719 | 12 | 36 1523.67/1524.11 c 1519s | 23 | 3102525 | 2953338 | 9554 720 | 12 | 36 1525.67/1526.18 c 1522s | 23 | 3106174 | 2956538 | 9554 720 | 12 | 36 1527.77/1528.23 c 1524s | 23 | 3109824 | 2959938 | 9554 721 | 12 | 36 1529.77/1530.27 c 1526s | 23 | 3113683 | 2963238 | 9554 721 | 12 | 36 1531.77/1532.27 c 1528s | 23 | 3118398 | 2967738 | 9554 722 | 12 | 36 1533.76/1534.28 c 1530s | 23 | 3121797 | 2970738 | 9554 723 | 12 | 36 1535.86/1536.31 c 1532s | 23 | 3125592 | 2974338 | 9554 724 | 12 | 36 1537.86/1538.34 c 1534s | 23 | 3129524 | 2977938 | 9554 724 | 12 | 36 1539.86/1540.37 c 1536s | 23 | 3133603 | 2981638 | 9554 725 | 12 | 36 1541.87/1542.38 c 1538s | 23 | 3138078 | 2985438 | 9554 726 | 12 | 36 1543.97/1544.40 c 1540s | 23 | 3142021 | 2988838 | 9554 726 | 12 | 36 1545.96/1546.45 c 1542s | 23 | 3145087 | 2991738 | 9554 727 | 12 | 36 1547.96/1548.45 c 1544s | 23 | 3147534 | 2994038 | 9554 728 | 12 | 36 1549.96/1550.46 c 1546s | 23 | 3150798 | 2997038 | 9554 728 | 12 | 36 1552.06/1552.50 c 1548s | 23 | 3153904 | 2999738 | 9554 729 | 12 | 36 1554.06/1554.51 c 1550s | 23 | 3157310 | 3002838 | 9554 729 | 12 | 36 1556.07/1556.57 c 1552s | 23 | 3160572 | 3006038 | 9554 730 | 12 | 36 1558.16/1558.64 c 1554s | 23 | 3163622 | 3009038 | 9554 730 | 12 | 36 1560.16/1560.64 c 1556s | 23 | 3166848 | 3011938 | 9554 731 | 12 | 36 1562.26/1562.70 c 1558s | 23 | 3169952 | 3014638 | 9554 732 | 12 | 36 1564.26/1564.71 c 1560s | 23 | 3173078 | 3017638 | 9554 732 | 12 | 36 1566.26/1566.74 c 1562s | 23 | 3176123 | 3020538 | 9554 733 | 12 | 36 1568.27/1568.74 c 1564s | 23 | 3179932 | 3023938 | 9554 733 | 12 | 36 1570.26/1570.78 c 1566s | 23 | 3183070 | 3027038 | 9554 734 | 12 | 36 1572.36/1572.83 c 1568s | 23 | 3186781 | 3030338 | 9554 735 | 12 | 36 1574.36/1574.85 c 1570s | 23 | 3190525 | 3033938 | 9554 735 | 12 | 36 1576.36/1576.86 c 1572s | 23 | 3195826 | 3038538 | 9554 736 | 12 | 36 1578.46/1578.92 c 1574s | 23 | 3200281 | 3042638 | 9554 737 | 12 | 36 1580.46/1580.92 c 1576s | 23 | 3203604 | 3045238 | 9554 738 | 12 | 36 1582.46/1582.96 c 1578s | 23 | 3208451 | 3049638 | 9554 738 | 12 | 36 1584.46/1584.97 c 1580s | 23 | 3211823 | 3052938 | 9554 739 | 12 | 36 1586.46/1586.97 c 1582s | 23 | 3216087 | 3057138 | 9554 740 | 12 | 36 1588.56/1589.01 c 1584s | 23 | 3219724 | 3060638 | 9554 741 | 12 | 36 1590.56/1591.03 c 1586s | 23 | 3223890 | 3064638 | 9554 741 | 12 | 36 1592.56/1593.04 c 1588s | 23 | 3227910 | 3068538 | 9554 742 | 12 | 36 1594.56/1595.04 c 1590s | 23 | 3232063 | 3072638 | 9554 743 | 12 | 36 1596.56/1597.07 c 1592s | 23 | 3235698 | 3075838 | 9554 744 | 12 | 36 1598.55/1599.08 c 1594s | 23 | 3239678 | 3079338 | 9554 744 | 12 | 36 1600.65/1601.11 c 1596s | 23 | 3243270 | 3082538 | 9554 745 | 12 | 36 1602.65/1603.18 c 1599s | 23 | 3246600 | 3085438 | 9554 745 | 12 | 36 1604.75/1605.23 c 1601s | 23 | 3250815 | 3089338 | 9554 746 | 12 | 36 1606.76/1607.24 c 1603s | 23 | 3254772 | 3093138 | 9554 747 | 12 | 36 1608.75/1609.24 c 1605s | 23 | 3258928 | 3096938 | 9554 748 | 12 | 36 1610.75/1611.25 c 1607s | 23 | 3263318 | 3101238 | 9554 749 | 12 | 36 1612.75/1613.27 c 1609s | 23 | 3267666 | 3105438 | 9554 749 | 12 | 36 1614.85/1615.30 c 1611s | 23 | 3272142 | 3109738 | 9554 750 | 12 | 36 1616.85/1617.32 c 1613s | 23 | 3276204 | 3113638 | 9554 751 | 12 | 36 1618.86/1619.36 c 1615s | 23 | 3279947 | 3117238 | 9554 752 | 12 | 36 1620.85/1621.39 c 1617s | 23 | 3284100 | 3121338 | 9554 752 | 12 | 36 1622.95/1623.43 c 1619s | 23 | 3288895 | 3126038 | 9554 753 | 12 | 36 1624.95/1625.45 c 1621s | 23 | 3293472 | 3130438 | 9554 754 | 12 | 36 1626.95/1627.48 c 1623s | 23 | 3298036 | 3134838 | 9554 755 | 12 | 36 1628.95/1629.49 c 1625s | 23 | 3302265 | 3138938 | 9554 756 | 12 | 36 1631.05/1631.52 c 1627s | 23 | 3306117 | 3142638 | 9554 757 | 12 | 36 1633.05/1633.56 c 1629s | 23 | 3310069 | 3146438 | 9554 757 | 12 | 36 1635.05/1635.57 c 1631s | 23 | 3313941 | 3150138 | 9554 758 | 12 | 36 1637.15/1637.61 c 1633s | 23 | 3317941 | 3153938 | 9554 759 | 12 | 36 1639.15/1639.64 c 1635s | 23 | 3322002 | 3157838 | 9554 760 | 12 | 36 1641.15/1641.68 c 1637s | 23 | 3326256 | 3161938 | 9554 760 | 12 | 36 1643.15/1643.69 c 1639s | 23 | 3330609 | 3166138 | 9554 761 | 12 | 36 1645.25/1645.70 c 1641s | 23 | 3335070 | 3170438 | 9554 762 | 12 | 36 1647.24/1647.71 c 1643s | 23 | 3339737 | 3174938 | 9554 763 | 12 | 36 1649.24/1649.75 c 1645s | 23 | 3344746 | 3179538 | 9554 764 | 12 | 36 1651.24/1651.76 c 1647s | 23 | 3349056 | 3183638 | 9554 765 | 12 | 36 1653.24/1653.79 c 1649s | 23 | 3353201 | 3187538 | 9554 765 | 12 | 36 1655.34/1655.81 c 1651s | 23 | 3356567 | 3190738 | 9554 766 | 12 | 36 1657.35/1657.84 c 1653s | 23 | 3360136 | 3194038 | 9554 767 | 12 | 36 1659.45/1659.91 c 1655s | 23 | 3363439 | 3197138 | 9554 767 | 12 | 36 1661.44/1661.95 c 1657s | 23 | 3366998 | 3200538 | 9554 768 | 12 | 36 1663.44/1663.98 c 1659s | 23 | 3370597 | 3203838 | 9554 769 | 12 | 36 1665.54/1666.05 c 1661s | 23 | 3375107 | 3208138 | 9554 770 | 12 | 36 1667.55/1668.06 c 1663s | 23 | 3379666 | 3212238 | 9554 770 | 12 | 36 1669.65/1670.10 c 1665s | 23 | 3383978 | 3216038 | 9554 771 | 12 | 36 1671.66/1672.13 c 1667s | 23 | 3387532 | 3219338 | 9554 772 | 12 | 36 1673.65/1674.17 c 1669s | 23 | 3392065 | 3223538 | 9554 773 | 12 | 36 1675.65/1676.18 c 1672s | 23 | 3396235 | 3227338 | 9554 773 | 12 | 36 1677.75/1678.20 c 1674s | 23 | 3400582 | 3231438 | 9554 774 | 12 | 36 1679.75/1680.23 c 1676s | 23 | 3404493 | 3235138 | 9554 775 | 12 | 36 1681.75/1682.23 c 1678s | 23 | 3408536 | 3239038 | 9554 776 | 12 | 36 1683.85/1684.30 c 1680s | 23 | 3412278 | 3242338 | 9554 776 | 12 | 36 1685.85/1686.31 c 1682s | 23 | 3416005 | 3245738 | 9554 777 | 12 | 36 1687.85/1688.33 c 1684s | 23 | 3420153 | 3249738 | 9554 778 | 12 | 36 1689.85/1690.37 c 1686s | 23 | 3424278 | 3253538 | 9554 778 | 12 | 36 1691.94/1692.41 c 1688s | 23 | 3428048 | 3257138 | 9554 779 | 12 | 36 1693.94/1694.42 c 1690s | 23 | 3431306 | 3260038 | 9554 780 | 12 | 36 1695.94/1696.46 c 1692s | 23 | 3434765 | 3263138 | 9554 780 | 12 | 36 1697.95/1698.49 c 1694s | 23 | 3438521 | 3266638 | 9554 781 | 12 | 36 1700.04/1700.50 c 1696s | 23 | 3441663 | 3269538 | 9554 782 | 12 | 36 1702.04/1702.57 c 1698s | 23 | 3445781 | 3273238 | 9554 782 | 12 | 36 1704.04/1704.58 c 1700s | 23 | 3449713 | 3276938 | 9554 783 | 12 | 36 1706.14/1706.64 c 1702s | 23 | 3452868 | 3279838 | 9554 784 | 12 | 36 1708.14/1708.65 c 1704s | 23 | 3456475 | 3283138 | 9554 784 | 12 | 36 1710.24/1710.72 c 1706s | 23 | 3459900 | 3286338 | 9554 785 | 12 | 36 1712.25/1712.74 c 1708s | 23 | 3463413 | 3289538 | 9554 785 | 12 | 36 1714.24/1714.76 c 1710s | 23 | 3468364 | 3294338 | 9554 786 | 12 | 36 1716.24/1716.79 c 1712s | 23 | 3472828 | 3298638 | 9554 787 | 12 | 36 1718.34/1718.82 c 1714s | 23 | 3476886 | 3302438 | 9554 788 | 12 | 36 1720.34/1720.86 c 1716s | 23 | 3480645 | 3306038 | 9554 789 | 12 | 36 1722.34/1722.87 c 1718s | 23 | 3484478 | 3309738 | 9554 789 | 12 | 36 1724.34/1724.90 c 1720s | 23 | 3488337 | 3313438 | 9554 790 | 12 | 36 1726.44/1726.91 c 1722s | 23 | 3492803 | 3317638 | 9554 791 | 12 | 36 1728.44/1728.94 c 1724s | 23 | 3497193 | 3321838 | 9554 792 | 12 | 36 1730.44/1730.97 c 1726s | 23 | 3500930 | 3325238 | 9554 793 | 12 | 36 1732.54/1733.02 c 1728s | 23 | 3504978 | 3329038 | 9554 793 | 12 | 36 1734.54/1735.06 c 1730s | 23 | 3509220 | 3333038 | 9554 794 | 12 | 36 1736.54/1737.08 c 1732s | 23 | 3512937 | 3336538 | 9554 795 | 12 | 36 1738.64/1739.11 c 1734s | 23 | 3516580 | 3339938 | 9554 795 | 12 | 36 1740.63/1741.15 c 1736s | 23 | 3519154 | 3342338 | 9554 796 | 12 | 36 1742.63/1743.15 c 1738s | 23 | 3523105 | 3346038 | 10510 796 | 12 | 36 1744.63/1745.17 c 1741s | 23 | 3526838 | 3349638 | 10510 797 | 12 | 36 1746.63/1747.20 c 1743s | 23 | 3531015 | 3353538 | 10510 798 | 12 | 36 1748.73/1749.21 c 1745s | 23 | 3534526 | 3356938 | 10510 798 | 12 | 36 1750.74/1751.23 c 1747s | 23 | 3537436 | 3359638 | 10510 799 | 12 | 36 1752.73/1753.27 c 1749s | 23 | 3540427 | 3362438 | 10510 799 | 12 | 36 1754.73/1755.29 c 1751s | 23 | 3543541 | 3365438 | 10510 800 | 12 | 36 1756.83/1757.38 c 1753s | 23 | 3546745 | 3368438 | 10510 800 | 12 | 36 1758.83/1759.39 c 1755s | 23 | 3550881 | 3372338 | 10510 801 | 12 | 36 1760.93/1761.41 c 1757s | 23 | 3555353 | 3376638 | 10510 802 | 12 | 36 1760.93/1761.42 c 1757s | 24 | 3555374 | 3376662 | 10510 802 | 12 | 36 1762.94/1763.49 c 1759s | 24 | 3559785 | 3380462 | 10510 803 | 12 | 36 1764.93/1765.50 c 1761s | 24 | 3564135 | 3384562 | 10510 803 | 12 | 36 1767.03/1767.57 c 1763s | 24 | 3567339 | 3387662 | 10510 804 | 12 | 36 1769.03/1769.59 c 1765s | 24 | 3570261 | 3390362 | 10510 804 | 12 | 36 1771.13/1771.69 c 1767s | 24 | 3573144 | 3393062 | 10510 805 | 12 | 36 1773.23/1773.70 c 1769s | 24 | 3577614 | 3397462 | 10510 806 | 12 | 36 1775.23/1775.71 c 1771s | 24 | 3581716 | 3401462 | 10510 806 | 12 | 36 1777.23/1777.71 c 1773s | 24 | 3586602 | 3406262 | 10510 807 | 12 | 36 1779.23/1779.73 c 1775s | 24 | 3591158 | 3410762 | 10510 808 | 12 | 36 1781.23/1781.77 c 1777s | 24 | 3595442 | 3414962 | 10510 809 | 12 | 36 1783.22/1783.79 c 1779s | 24 | 3599661 | 3418962 | 10510 810 | 12 | 36 1785.32/1785.84 c 1781s | 24 | 3603464 | 3422362 | 10510 810 | 12 | 36 1787.32/1787.87 c 1783s | 24 | 3606346 | 3425062 | 10510 811 | 12 | 36 1789.42/1789.91 c 1785s | 24 | 3609434 | 3428062 | 10510 811 | 12 | 36 1791.43/1791.95 c 1787s | 24 | 3613408 | 3431962 | 10510 812 | 12 | 36 1793.42/1793.98 c 1789s | 24 | 3617801 | 3436262 | 10510 813 | 12 | 36 1795.52/1796.00 c 1791s | 24 | 3621853 | 3440262 | 10510 813 | 12 | 36 1797.52/1798.01 c 1793s | 24 | 3626100 | 3444462 | 10510 814 | 12 | 36 1799.52/1800.03 c 1795s | 24 | 3631101 | 3449362 | 10510 815 | 12 | 36
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-4106040-1466263319/watcher-4106040-1466263319 -o /tmp/evaluation-result-4106040-1466263319/solver-4106040-1466263319 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106040-1466263319.opb pid=8410 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.24 2.22 2.10 3/179 8413 /proc/meminfo: memFree=30195776/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=679492 CPUtime=0 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 2529 0 0 0 0 0 0 0 20 0 4 0 28382059 695799808 2890 33554432000 4194304 16246674 140735094685072 140735094684496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8413/statm: 170385 2898 442 2943 0 167279 0 [pid=8413/tid=8414] ppid=8410 vsize=724548 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 741937152 3066 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=729668 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 747180032 3082 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=733764 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28382059 751374336 3100 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100123 s] /proc/loadavg: 2.24 2.22 2.10 3/179 8413 /proc/meminfo: memFree=30195776/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 21299 0 0 0 7 2 0 0 20 0 4 0 28382059 1247350784 21647 33554432000 4194304 16246674 140735094685072 140735094684496 5677277 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8413/statm: 304529 21653 759 2943 0 301423 0 [pid=8413/tid=8414] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 21657 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 21665 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 21671 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200475 s] /proc/loadavg: 2.24 2.22 2.10 3/179 8413 /proc/meminfo: memFree=30195776/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 37720 0 0 0 14 5 0 0 20 0 4 0 28382059 1247350784 38068 33554432000 4194304 16246674 140735094685072 140735094668072 6836566 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8413/statm: 304529 38070 759 2943 0 301423 0 [pid=8413/tid=8414] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 38074 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 38083 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 38084 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300441 s] /proc/loadavg: 2.24 2.22 2.10 3/179 8413 /proc/meminfo: memFree=30195776/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 54434 0 0 0 21 8 0 0 20 0 4 0 28382059 1247350784 54782 33554432000 4194304 16246674 140735094685072 140735094668072 6836249 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8413/statm: 304529 54791 759 2943 0 301423 0 [pid=8413/tid=8414] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 54795 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 54799 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 54806 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700401 s] /proc/loadavg: 2.24 2.22 2.10 3/179 8413 /proc/meminfo: memFree=30195776/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 127531 0 0 0 50 18 0 0 20 0 4 0 28382059 1247350784 127880 33554432000 4194304 16246674 140735094685072 140735094666944 6836566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 304529 127886 759 2943 0 301423 0 [pid=8413/tid=8414] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 127893 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 127902 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 127906 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50036 s] /proc/loadavg: 2.24 2.22 2.10 3/183 8417 /proc/meminfo: memFree=29432444/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1218116 CPUtime=1.48 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 234965 0 0 0 116 32 0 0 20 0 4 0 28382059 1247350784 235313 33554432000 4194304 16246674 140735094685072 140735094666944 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 304529 235317 766 2943 0 301423 0 [pid=8413/tid=8414] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 235320 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 235322 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28382059 1247350784 235325 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1218116 [startup+3.10041 s] /proc/loadavg: 2.22 2.22 2.10 3/183 8417 /proc/meminfo: memFree=29210212/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1302084 CPUtime=3.09 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 266401 0 0 0 272 37 0 0 20 0 4 0 28382059 1333334016 266726 33554432000 4194304 16246674 140735094685072 140735094666944 5754792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 325521 266726 833 2943 0 322415 0 [pid=8413/tid=8414] ppid=8410 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1333334016 266726 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1333334016 266726 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1333334016 266726 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1302084 [startup+6.30042 s] /proc/loadavg: 2.22 2.22 2.10 3/183 8417 /proc/meminfo: memFree=29124312/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1307204 CPUtime=6.28 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 267812 0 0 0 591 37 0 0 20 0 4 0 28382059 1338576896 268137 33554432000 4194304 16246674 140735094685072 140735094668072 5515728 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 326801 268137 855 2943 0 323695 0 [pid=8413/tid=8414] ppid=8410 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1338576896 268137 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1338576896 268137 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1338576896 268137 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.27 2.23 2.10 4/183 8417 /proc/meminfo: memFree=29120488/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1311300 CPUtime=12.68 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 268705 0 0 0 1231 37 0 0 20 0 4 0 28382059 1342771200 269030 33554432000 4194304 16246674 140735094685072 140735094666944 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 327825 269030 857 2943 0 324719 0 [pid=8413/tid=8414] ppid=8410 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1342771200 269030 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1342771200 269030 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1342771200 269030 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1311300 [startup+25.5005 s] /proc/loadavg: 2.22 2.22 2.10 3/183 8417 /proc/meminfo: memFree=29112972/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1318468 CPUtime=25.49 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 270718 0 0 0 2511 38 0 0 20 0 4 0 28382059 1350111232 271043 33554432000 4194304 16246674 140735094685072 140735094666944 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 329617 271043 857 2943 0 326511 0 [pid=8413/tid=8414] ppid=8410 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1350111232 271043 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1350111232 271043 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1350111232 271043 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1318468 [startup+51.1005 s] /proc/loadavg: 2.22 2.22 2.10 3/183 8417 /proc/meminfo: memFree=29112308/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1318468 CPUtime=51.08 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 270718 0 0 0 5070 38 0 0 20 0 4 0 28382059 1350111232 271043 33554432000 4194304 16246674 140735094685072 140735094666944 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 329617 271043 857 2943 0 326511 0 [pid=8413/tid=8414] ppid=8410 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1350111232 271043 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1350111232 271043 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1350111232 271043 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1318468 [startup+102.3 s] /proc/loadavg: 2.24 2.22 2.11 4/183 8418 /proc/meminfo: memFree=29108988/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1321540 CPUtime=102.28 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 271486 0 0 0 10190 38 0 0 20 0 4 0 28382059 1353256960 271811 33554432000 4194304 16246674 140735094685072 140735094666944 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 330385 271811 857 2943 0 327279 0 [pid=8413/tid=8414] ppid=8410 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1353256960 271811 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1353256960 271811 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1353256960 271811 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1321540 ################ # More data... # ################ /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1363742720 274377 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1331780 [startup+1362.3 s] /proc/loadavg: 2.19 2.18 2.11 4/183 8497 /proc/meminfo: memFree=29095684/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1334852 CPUtime=1361.89 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 275204 0 0 0 136141 48 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 140735094666944 5675204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 333713 275145 858 2943 0 330607 0 [pid=8413/tid=8414] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1334852 [startup+1422.3 s] /proc/loadavg: 2.07 2.14 2.10 3/183 8498 /proc/meminfo: memFree=29096004/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1334852 CPUtime=1421.89 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 275204 0 0 0 142140 49 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 140735094666944 4225061 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 333713 275145 858 2943 0 330607 0 [pid=8413/tid=8414] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1334852 [startup+1482.3 s] /proc/loadavg: 2.07 2.13 2.10 3/183 8499 /proc/meminfo: memFree=29096508/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1334852 CPUtime=1481.87 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 275204 0 0 0 148138 49 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 140735094666944 12483286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 333713 275145 858 2943 0 330607 0 [pid=8413/tid=8414] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1334852 [startup+1542.31 s] /proc/loadavg: 2.14 2.13 2.10 3/183 8501 /proc/meminfo: memFree=29095852/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1334852 CPUtime=1541.87 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 275204 0 0 0 154138 49 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 140735094668072 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 333713 275145 858 2943 0 330607 0 [pid=8413/tid=8414] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1334852 [startup+1602.3 s] /proc/loadavg: 2.16 2.14 2.09 3/183 8502 /proc/meminfo: memFree=29095824/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1334852 CPUtime=1601.85 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 275204 0 0 0 160136 49 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 140735094666944 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 333713 275145 858 2943 0 330607 0 [pid=8413/tid=8414] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1334852 [startup+1662.3 s] /proc/loadavg: 2.10 2.13 2.09 3/183 8503 /proc/meminfo: memFree=29095088/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1334852 CPUtime=1661.84 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 275204 0 0 0 166135 49 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 140735094668072 5545788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 333713 275145 858 2943 0 330607 0 [pid=8413/tid=8414] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1334852 [startup+1722.3 s] /proc/loadavg: 2.17 2.15 2.10 4/184 8507 /proc/meminfo: memFree=29081164/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1334852 CPUtime=1721.84 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 275204 0 0 0 172134 50 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 140735094666944 5711644 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 333713 275145 858 2943 0 330607 0 [pid=8413/tid=8414] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1334852 [startup+1782.3 s] /proc/loadavg: 2.15 2.14 2.09 3/183 8508 /proc/meminfo: memFree=29080640/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1334852 CPUtime=1781.83 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 275204 0 0 0 178133 50 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 140735094666944 5822756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 333713 275145 858 2943 0 330607 0 [pid=8413/tid=8414] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1334852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.11 2.14 2.09 4/183 8509 /proc/meminfo: memFree=29080516/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1334852 CPUtime=1800.02 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 275204 0 0 0 179952 50 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 140735094668072 6009952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 333713 275145 858 2943 0 330607 0 [pid=8413/tid=8414] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1334852 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 8413 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.11 2.14 2.09 4/183 8509 /proc/meminfo: memFree=29080516/32872528 swapFree=526336/559040 [pid=8413] ppid=8410 vsize=1334852 CPUtime=1800.02 cores=0,2,4,6 /proc/8413/stat : 8413 (toysat) R 8410 8413 28898 0 -1 4202496 275204 0 0 0 179952 50 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 140735094668072 6009952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8413/statm: 333713 275145 858 2943 0 330607 0 [pid=8413/tid=8414] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8414/stat : 8414 (toysat) S 8410 8413 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646136724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8413/tid=8415] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8415/stat : 8415 (toysat) S 8410 8413 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646126234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8413/tid=8416] ppid=8410 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8413/task/8416/stat : 8416 (toysat) S 8410 8413 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28382059 1366888448 275145 33554432000 4194304 16246674 140735094685072 139646115761328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1334852 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.53 CPU system time (s): 0.508922 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 1334852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.508922 maximum resident set size= 1100580 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275204 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= 403 involuntary context switches= 2063 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.22805 second user time and 8.73167 second system time The end
Begin job on node106 at 2016-06-18 17:21:59 IDJOB=4106040 IDBENCH=47903 IDSOLVER=2542 FILE ID=node106/4106040-1466263319 RUNJOBID= node106-1466241787-28914 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=293-P1=97-P2=163-P3=149-P4=163-P5=457-P6=521-P7=173-P8=431-P9=419-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106040-1466263319/watcher-4106040-1466263319 -o /tmp/evaluation-result-4106040-1466263319/solver-4106040-1466263319 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106040-1466263319.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3e0f07488272e35b9b674c3d7ccbd7e8 RANDOM SEED=751476530 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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 : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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 : 2667.073 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 : 2667.073 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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 : 2667.073 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30196420 kB Buffers: 80592 kB Cached: 194508 kB SwapCached: 1736 kB Active: 1191076 kB Inactive: 180404 kB Active(anon): 1094360 kB Inactive(anon): 4000 kB Active(file): 96716 kB Inactive(file): 176404 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16348 kB Writeback: 0 kB AnonPages: 1742436 kB Mapped: 10444 kB Shmem: 0 kB Slab: 612624 kB SReclaimable: 56380 kB SUnreclaim: 556244 kB KernelStack: 1520 kB PageTables: 6972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1795480 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 839680 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= 71668 MiB End job on node106 at 2016-06-18 17:52:00