0.00/0.00	c 2016-06-17T01:08:01+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-4097751-1466118481.opb"]
0.00/0.01	c use --random-gen="1212749544 3388834832 3122815879 1035194366 90213006 1179208048 1564213957 3159830455 3577550688 4038371384 3361774467 3719035667 2214825995 1370730924 669022700 2294169439 2153025807 1589289326 3719536964 2731386189 3353091459 4254427674 1064868159 2328206337 897355956 1344645386 3169062184 3806993985 3168970453 2423527947 4138229141 2155251601 3048016333 884911252 178601965 293015582 4090175001 1239751314 171952190 2621567774 702830549 1557840863 460040 287583589 1813220236 3305326697 3233153672 234528823 927724250 1412432587 3816726584 1331661703 1019007010 653639409 3329321169 4072547897 208148790 2415083 3629050636 103152431 2881650184 661266489 3927470310 791202678 2150646264 3717303271 2689266 931444825 3423352144 2107834173 2311947947 1881411333 3117111762 2114074630 747446989 1263719947 1231112435 3973340588 3771121082 705958017 2073351109 2481989520 124031818 1694282588 1704355925 4032942990 2309034028 3528058090 1950069381 2554811784 2781352295 1987521624 2334530307 1096995618 4075039847 2679236787 119990250 3596718832 3965052505 3397766166 3428334190 861019749 852462361 1588139157 3447446949 1806825349 4113622322 2422576560 669951821 2846939877 4072918848 3172104173 3627484497 2831468004 41931522 1209016381 3448643872 3412672346 1718132418 43827684 3613995965 3151029544 40315361 653719774 1426437877 1059968053 3782541981 21684121 1342775451 3100267195 1966638039 3299811656 3070438484 1840039918 3945691249 2474542773 422977324 1659003944 2169396539 897360731 3821765365 4274551460 2522421482 2742919333 4010376504 698703306 3169848369 1218155075 2528770327 3722287659 714708848 3559023821 1289229384 2439682462 3609032405 3995133936 2847602708 1108887117 3455297053 2506813209 3808650042 138358852 2742386164 405878482 2973366884 1898304067 796347125 992903530 4097581473 415993276 1328600471 1041412684 801710961 3610672461 1331460940 1588584564 3744504079 1009876786 1076412955 3604405818 3679430452 3346411956 1238493429 828367898 663967592 3856699523 2537440945 3505387408 3030972518 153716121 1448895110 21037362 2137800991 3111757922 2624698800 2959413152 1199909501 3973437201 3552893561 1635515740 1103967301 2919170033 4124182704 1157655548 3505929154 3173631374 1004817271 2244629597 269758294 2305035214 2784237066 3233938760 3209744722 3092513836 3432049735 4285331498 3390635931 2366194161 2096722809 1858056770 3641945277 988591681 2705878301 3158311797 2259585496 1022257745 991481969 1157221236 1535030829 1779199168 3323928768 730519584 2499174814 4202733386 1233502552 695403737 2573383807 3688585628 3471369365 662889135 281033331 2163699955 20596638 1655830361 1148921458 456128927 1871907842 2508255995 2977955845 4255725430 3915927768 891156703 3382554729 3198674497 3613356432 577160839 255 362436" option to reproduce the execution
0.00/0.05	c #vars 992
0.00/0.05	c #constraints 4686
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |     1891      0 |        5 |        0
0.09/0.14	c  0.0s |       1 |      128 |      100 |     1891      0 |        5 |      246
0.19/0.20	c  0.1s |       2 |      325 |      250 |     2081      0 |        5 |      246
0.19/0.29	c  0.2s |       3 |      587 |      475 |     2290      0 |        5 |      246
0.28/0.42	c  0.3s |       4 |      996 |      813 |     2519      0 |        5 |      246
0.59/0.65	c  0.5s |       5 |     1571 |     1320 |     2771      0 |        5 |      246
0.99/1.01	c  0.9s |       6 |     2445 |     2081 |     3354      0 |        5 |      246
1.39/1.49	c  1.4s |       7 |     3755 |     3223 |     3690      0 |        5 |      246
2.18/2.22	c  2.1s |       8 |     5741 |     4936 |     4060      1 |        5 |      246
2.98/3.05	c  2.9s |       9 |     8814 |     7506 |     4466      2 |        5 |      246
4.49/4.55	c  4.4s |      10 |    13408 |    11361 |     4913      4 |        5 |      246
6.49/6.57	c  6.5s |      10 |    19684 |    16661 |     4913      6 |        5 |      246
6.69/6.74	c  6.6s |      11 |    20235 |    17144 |     5405      6 |        5 |      246
8.69/8.75	c  8.6s |      11 |    25979 |    22044 |     5405      8 |        5 |      246
10.20/10.25	c 10.1s |      12 |    30238 |    25819 |     5946      9 |        5 |      246
12.19/12.29	c 12.2s |      12 |    36228 |    30919 |     5946     10 |        5 |      246
14.29/14.32	c 14.2s |      12 |    41960 |    35819 |     5946     12 |        5 |      246
15.39/15.48	c 15.4s |      13 |    45400 |    38832 |     6541     13 |        5 |      246
17.49/17.52	c 17.4s |      13 |    51369 |    43832 |     6541     14 |        5 |      246
19.49/19.55	c 19.4s |      13 |    56612 |    48432 |     6541     16 |        5 |      246
21.49/21.57	c 21.5s |      13 |    62370 |    53432 |     6541     17 |        5 |      246
23.49/23.59	c 23.5s |      13 |    67933 |    58232 |     7196     19 |        5 |      246
23.59/23.64	c 23.5s |      14 |    68068 |    58352 |     7196     19 |        5 |      246
25.59/25.65	c 25.5s |      14 |    73378 |    62952 |     7196     20 |        5 |      246
27.59/27.69	c 27.6s |      14 |    78928 |    67752 |     7196     21 |        5 |      246
29.68/29.70	c 29.6s |      14 |    84003 |    72152 |     7196     22 |        5 |      246
31.68/31.72	c 31.6s |      14 |    89358 |    76852 |     7196     24 |        5 |      246
33.68/33.74	c 33.6s |      14 |    94581 |    81452 |     7196     25 |        5 |      246
35.68/35.77	c 35.7s |      14 |    99815 |    86052 |     7196     26 |        5 |      246
36.49/36.51	c 36.4s |      15 |   101551 |    87632 |     7916     26 |        5 |      246
38.48/38.54	c 38.4s |      15 |   106210 |    91632 |     7916     27 |        5 |      246
40.48/40.55	c 40.4s |      15 |   111734 |    96332 |     7916     29 |        5 |      246
42.48/42.59	c 42.5s |      15 |   116971 |   100932 |     7916     30 |        5 |      246
44.48/44.59	c 44.5s |      15 |   121576 |   105132 |     7916     31 |        5 |      246
46.58/46.61	c 46.5s |      15 |   125929 |   109032 |     7916     32 |        5 |      246
48.59/48.64	c 48.5s |      15 |   130490 |   113032 |     7916     33 |        5 |      246
50.59/50.67	c 50.6s |      15 |   135655 |   117532 |     7916     34 |        5 |      246
52.59/52.68	c 52.6s |      15 |   140639 |   121832 |     7916     35 |        5 |      246
54.68/54.70	c 54.6s |      15 |   145251 |   125932 |     7916     36 |        5 |      246
56.68/56.71	c 56.6s |      15 |   149616 |   129832 |     7916     37 |        5 |      246
57.58/57.69	c 57.6s |      16 |   151626 |   131552 |     8708     37 |        5 |      246
59.69/59.72	c 59.6s |      16 |   156555 |   135652 |     8708     38 |        5 |      246
61.68/61.73	c 61.6s |      16 |   161938 |   140252 |     8708     39 |        5 |      246
63.68/63.77	c 63.7s |      16 |   166771 |   144552 |     8708     40 |        5 |      246
65.78/65.82	c 65.7s |      16 |   172176 |   149052 |     8708     41 |        5 |      246
67.78/67.83	c 67.7s |      16 |   177306 |   153452 |     8708     42 |        5 |      246
69.78/69.83	c 69.7s |      16 |   182148 |   157752 |     8708     43 |        5 |      246
71.79/71.87	c 71.8s |      16 |   187060 |   162152 |     8708     44 |        5 |      246
73.89/73.98	c 73.9s |      16 |   190423 |   165252 |     8708     45 |        5 |      246
75.88/75.98	c 75.9s |      16 |   195390 |   169452 |     8708     46 |        5 |      246
77.98/78.01	c 77.9s |      16 |   200324 |   173752 |     8708     47 |        5 |      246
79.98/80.04	c 79.9s |      16 |   205358 |   178152 |     8708     48 |        5 |      246
82.08/82.17	c 82.1s |      16 |   209360 |   181752 |     8708     48 |        5 |      246
84.08/84.18	c 84.1s |      16 |   213872 |   185752 |     8708     49 |        5 |      246
86.18/86.21	c 86.1s |      16 |   218405 |   189752 |     8708     50 |        5 |      246
88.18/88.22	c 88.1s |      16 |   222449 |   193352 |     8708     51 |        5 |      246
90.18/90.22	c 90.1s |      16 |   226755 |   197252 |     9579     52 |        5 |      246
90.28/90.30	c 90.2s |      17 |   226942 |   197432 |     9579     52 |        5 |      246
92.28/92.33	c 92.2s |      17 |   230992 |   200832 |     9579     53 |        5 |      246
94.28/94.37	c 94.3s |      17 |   235965 |   205032 |     9579     53 |        5 |      246
96.38/96.40	c 96.3s |      17 |   240287 |   208832 |     9579     54 |        5 |      246
98.38/98.44	c 98.3s |      17 |   244547 |   212532 |     9579     55 |        5 |      246
100.38/100.44	c  100s |      17 |   248683 |   216232 |     9579     56 |        5 |      246
102.48/102.51	c  102s |      17 |   252849 |   219932 |     9579     57 |        5 |      246
104.48/104.56	c  104s |      17 |   257598 |   224032 |     9579     57 |        5 |      246
106.48/106.57	c  106s |      17 |   261313 |   227232 |     9579     58 |        5 |      246
108.48/108.59	c  108s |      17 |   266391 |   231632 |     9579     59 |        5 |      246
110.58/110.61	c  110s |      17 |   270710 |   235432 |     9579     60 |        5 |      246
112.57/112.69	c  112s |      17 |   275253 |   239432 |     9579     60 |        5 |      246
114.68/114.71	c  114s |      17 |   279725 |   243332 |     9579     61 |        5 |      246
116.67/116.76	c  116s |      17 |   283898 |   246632 |     9579     62 |        5 |      246
118.67/118.77	c  118s |      17 |   287170 |   249432 |     9579     63 |        5 |      246
120.77/120.82	c  120s |      17 |   291138 |   252832 |     9579     63 |        5 |      246
122.77/122.83	c  122s |      17 |   293724 |   255232 |     9579     64 |        5 |      246
124.77/124.87	c  124s |      17 |   298177 |   259232 |     9579     65 |        5 |      246
126.87/126.94	c  126s |      17 |   302377 |   262932 |     9579     65 |        5 |      246
128.88/128.99	c  128s |      17 |   306453 |   266632 |     9579     66 |        5 |      246
130.87/130.99	c  130s |      17 |   310528 |   270232 |     9579     67 |        5 |      246
132.97/133.04	c  132s |      17 |   314895 |   274132 |     9579     68 |        5 |      246
134.97/135.08	c  134s |      17 |   319326 |   278032 |     9579     68 |        5 |      246
137.07/137.12	c  137s |      17 |   323885 |   282032 |     9579     69 |        5 |      246
139.07/139.17	c  139s |      17 |   328513 |   286132 |     9579     70 |        5 |      246
141.17/141.22	c  141s |      17 |   332936 |   290032 |     9579     71 |        5 |      246
143.17/143.23	c  143s |      17 |   336551 |   293132 |     9579     72 |        5 |      246
144.47/144.55	c  144s |      18 |   340144 |   296252 |    10537     72 |        5 |      246
146.47/146.56	c  146s |      18 |   344861 |   300252 |    10537     73 |        5 |      246
148.47/148.59	c  148s |      18 |   349111 |   304052 |    10537     73 |        5 |      246
150.57/150.61	c  150s |      18 |   353622 |   308052 |    10537     74 |        5 |      246
152.56/152.64	c  152s |      18 |   357147 |   311252 |    10537     75 |        5 |      246
154.56/154.65	c  154s |      18 |   361157 |   314752 |    10537     75 |        5 |      246
156.66/156.71	c  156s |      18 |   365622 |   318652 |    10537     76 |        5 |      246
158.67/158.71	c  158s |      18 |   369272 |   321852 |    10537     77 |        5 |      246
160.66/160.76	c  160s |      18 |   373623 |   325652 |    10537     77 |        5 |      246
162.76/162.82	c  162s |      18 |   378226 |   329652 |    10537     78 |        5 |      246
164.76/164.83	c  164s |      18 |   382533 |   333252 |    10537     79 |        5 |      246
166.76/166.85	c  166s |      18 |   386759 |   336952 |    10537     80 |        5 |      246
168.86/168.91	c  168s |      18 |   391652 |   340852 |    10537     80 |        5 |      246
170.86/170.93	c  170s |      18 |   395430 |   344052 |    10537     81 |        5 |      246
172.87/173.00	c  172s |      18 |   398957 |   346952 |    10537     81 |        5 |      246
174.96/175.04	c  174s |      18 |   402496 |   350052 |    10537     82 |        5 |      246
176.96/177.08	c  176s |      18 |   406052 |   353152 |    10537     83 |        5 |      246
178.96/179.08	c  178s |      18 |   409923 |   356652 |    10537     83 |        5 |      246
180.96/181.08	c  180s |      18 |   413963 |   359952 |    10537     84 |        5 |      246
182.96/183.08	c  182s |      18 |   418139 |   363352 |    10537     85 |        5 |      246
184.96/185.09	c  184s |      18 |   422637 |   366952 |    10537     85 |        5 |      246
187.06/187.14	c  187s |      18 |   425811 |   369652 |    10537     86 |        5 |      246
189.06/189.14	c  189s |      18 |   429662 |   373152 |    10537     86 |        5 |      246
191.06/191.17	c  191s |      18 |   434044 |   376752 |    10537     87 |        5 |      246
193.16/193.21	c  193s |      18 |   438194 |   379752 |    10537     88 |        5 |      246
195.16/195.22	c  195s |      18 |   442125 |   383152 |    10537     88 |        5 |      246
197.16/197.24	c  197s |      18 |   446162 |   386752 |    10537     89 |        5 |      246
199.16/199.28	c  199s |      18 |   449899 |   390152 |    10537     90 |        5 |      246
201.26/201.33	c  201s |      18 |   453737 |   393552 |    10537     90 |        5 |      246
203.26/203.36	c  203s |      18 |   458453 |   397452 |    10537     91 |        5 |      246
205.25/205.38	c  205s |      18 |   462472 |   400752 |    10537     92 |        5 |      246
207.35/207.41	c  207s |      18 |   466646 |   404152 |    10537     92 |        5 |      246
209.35/209.47	c  209s |      18 |   469641 |   406652 |    10537     93 |        5 |      246
211.36/211.48	c  211s |      18 |   473151 |   409452 |    10537     93 |        5 |      246
213.45/213.54	c  213s |      18 |   477057 |   412752 |    10537     94 |        5 |      246
215.45/215.58	c  215s |      18 |   480821 |   415652 |    10537     94 |        5 |      246
217.55/217.60	c  217s |      18 |   484437 |   418552 |    10537     95 |        5 |      246
219.55/219.62	c  219s |      18 |   487747 |   421352 |    10537     95 |        5 |      246
221.55/221.68	c  221s |      18 |   491559 |   424552 |    10537     96 |        5 |      246
223.65/223.79	c  223s |      18 |   495132 |   427552 |    10537     97 |        5 |      246
225.76/225.81	c  225s |      18 |   499195 |   430752 |    10537     97 |        5 |      246
227.75/227.82	c  227s |      18 |   503161 |   433952 |    10537     98 |        5 |      246
229.75/229.83	c  229s |      18 |   506984 |   436952 |    10537     98 |        5 |      246
231.85/231.99	c  231s |      18 |   510724 |   439952 |    10537     99 |        5 |      246
233.95/234.02	c  233s |      18 |   514738 |   443052 |    11591     99 |        5 |      246
234.95/235.07	c  234s |      19 |   516501 |   444482 |    11591     99 |        5 |      246
237.05/237.14	c  237s |      19 |   520063 |   447482 |    11591    100 |        5 |      246
239.15/239.27	c  239s |      19 |   523026 |   450082 |    11591    100 |        5 |      246
241.16/241.28	c  241s |      19 |   526215 |   452782 |    11591    101 |        5 |      246
243.26/243.33	c  243s |      19 |   529212 |   455482 |    11591    101 |        5 |      246
245.25/245.39	c  245s |      19 |   532429 |   458282 |    11591    102 |        5 |      246
247.35/247.40	c  247s |      19 |   535595 |   460982 |    11591    102 |        5 |      246
249.35/249.41	c  249s |      19 |   538928 |   463682 |    11591    103 |        5 |      246
251.35/251.43	c  251s |      19 |   542433 |   466582 |    11591    103 |        5 |      246
253.35/253.44	c  253s |      19 |   545779 |   469282 |    11591    104 |        5 |      246
255.35/255.46	c  255s |      19 |   549123 |   472182 |    11591    104 |        5 |      246
257.35/257.48	c  257s |      19 |   551933 |   474282 |    11591    105 |        5 |      246
259.45/259.52	c  259s |      19 |   556184 |   477482 |    11591    105 |        5 |      246
261.45/261.57	c  261s |      19 |   559532 |   480082 |    11591    106 |        5 |      246
263.45/263.58	c  263s |      19 |   563549 |   483282 |    11591    106 |        5 |      246
265.55/265.61	c  265s |      19 |   567268 |   486382 |    11591    107 |        5 |      246
267.55/267.63	c  267s |      19 |   570779 |   489482 |    11591    107 |        5 |      246
269.55/269.63	c  269s |      19 |   573778 |   492082 |    11591    108 |        5 |      246
271.54/271.66	c  271s |      19 |   577338 |   494782 |    11591    108 |        5 |      246
273.54/273.68	c  273s |      19 |   580580 |   497482 |    11591    108 |        5 |      246
275.54/275.69	c  275s |      19 |   583841 |   500182 |    11591    109 |        5 |      246
277.64/277.75	c  277s |      19 |   586993 |   502982 |    11591    109 |        5 |      246
279.65/279.76	c  279s |      19 |   590147 |   505582 |    11591    110 |        5 |      246
281.75/281.84	c  281s |      19 |   593505 |   508382 |    11591    110 |        5 |      246
283.74/283.87	c  283s |      19 |   596521 |   510782 |    11591    111 |        5 |      246
285.84/285.94	c  285s |      19 |   600071 |   513382 |    11591    111 |        5 |      246
287.84/287.95	c  287s |      19 |   603405 |   515982 |    11591    112 |        5 |      246
289.84/289.95	c  289s |      19 |   607154 |   519082 |    11591    112 |        5 |      246
291.94/292.00	c  291s |      19 |   610421 |   521782 |    11591    113 |        5 |      246
293.95/294.05	c  293s |      19 |   613975 |   524882 |    11591    113 |        5 |      246
296.05/296.18	c  296s |      19 |   616871 |   527382 |    11591    114 |        5 |      246
298.04/298.19	c  298s |      19 |   620621 |   530382 |    11591    114 |        5 |      246
300.14/300.23	c  300s |      19 |   624162 |   533282 |    11591    115 |        5 |      246
302.14/302.24	c  302s |      19 |   627922 |   536182 |    11591    115 |        5 |      246
304.24/304.30	c  304s |      19 |   630822 |   538582 |    11591    115 |        5 |      246
306.34/306.47	c  306s |      19 |   634281 |   541182 |    11591    116 |        5 |      246
308.34/308.49	c  308s |      19 |   638675 |   544282 |    11591    116 |        5 |      246
310.44/310.50	c  310s |      19 |   642241 |   546982 |    11591    117 |        5 |      246
312.44/312.58	c  312s |      19 |   645211 |   549482 |    11591    117 |        5 |      246
314.54/314.60	c  314s |      19 |   648210 |   551782 |    11591    118 |        5 |      246
316.54/316.63	c  316s |      19 |   652159 |   554882 |    11591    118 |        5 |      246
318.54/318.63	c  318s |      19 |   655798 |   557782 |    11591    119 |        5 |      246
320.54/320.68	c  320s |      19 |   659493 |   560782 |    11591    119 |        5 |      246
322.64/322.72	c  322s |      19 |   662832 |   563782 |    11591    120 |        5 |      246
324.64/324.74	c  324s |      19 |   666065 |   566582 |    11591    120 |        5 |      246
326.94/327.00	c  326s |      19 |   669176 |   569082 |    11591    121 |        5 |      246
328.93/329.02	c  328s |      19 |   673184 |   572382 |    11591    121 |        5 |      246
330.93/331.03	c  330s |      19 |   676602 |   575382 |    11591    122 |        5 |      246
332.93/333.07	c  332s |      19 |   680461 |   578382 |    11591    122 |        5 |      246
335.03/335.10	c  334s |      19 |   684079 |   581282 |    11591    123 |        5 |      246
337.03/337.16	c  337s |      19 |   687401 |   583982 |    11591    123 |        5 |      246
339.13/339.22	c  339s |      19 |   691254 |   586882 |    11591    124 |        5 |      246
341.14/341.26	c  341s |      19 |   695195 |   589882 |    11591    124 |        5 |      246
343.23/343.30	c  343s |      19 |   698177 |   592482 |    11591    125 |        5 |      246
345.23/345.33	c  345s |      19 |   702511 |   596082 |    11591    125 |        5 |      246
347.23/347.36	c  347s |      19 |   705933 |   598982 |    11591    126 |        5 |      246
349.23/349.38	c  349s |      19 |   709338 |   601782 |    11591    126 |        5 |      246
351.33/351.43	c  351s |      19 |   712536 |   604482 |    11591    127 |        5 |      246
353.34/353.49	c  353s |      19 |   716309 |   607082 |    11591    127 |        5 |      246
355.44/355.57	c  355s |      19 |   719853 |   609882 |    11591    128 |        5 |      246
357.53/357.61	c  357s |      19 |   723787 |   613182 |    11591    128 |        5 |      246
359.53/359.66	c  359s |      19 |   727206 |   615982 |    11591    129 |        5 |      246
361.64/361.70	c  361s |      19 |   730896 |   619182 |    11591    129 |        5 |      246
363.64/363.76	c  363s |      19 |   734224 |   621982 |    11591    130 |        5 |      246
365.74/365.81	c  365s |      19 |   738034 |   625182 |    11591    130 |        5 |      246
367.74/367.83	c  367s |      19 |   741813 |   628282 |    11591    131 |        5 |      246
369.74/369.87	c  369s |      19 |   745511 |   631482 |    11591    131 |        5 |      246
371.83/371.91	c  371s |      19 |   748805 |   634382 |    11591    132 |        5 |      246
373.83/373.91	c  373s |      19 |   752468 |   637482 |    11591    132 |        5 |      246
375.83/375.94	c  375s |      19 |   755812 |   640382 |    11591    133 |        5 |      246
377.93/378.08	c  377s |      19 |   759186 |   643282 |    11591    133 |        5 |      246
380.03/380.13	c  380s |      19 |   762631 |   646182 |    11591    134 |        5 |      246
382.03/382.13	c  382s |      19 |   766157 |   649382 |    11591    134 |        5 |      246
384.04/384.18	c  384s |      19 |   769530 |   652482 |    11591    135 |        5 |      246
386.13/386.23	c  386s |      19 |   772862 |   655582 |    11591    135 |        5 |      246
388.13/388.28	c  388s |      19 |   776216 |   658482 |    11591    136 |        5 |      246
390.23/390.36	c  390s |      19 |   780187 |   661482 |    11591    136 |        5 |      246
392.33/392.41	c  392s |      19 |   783335 |   663982 |    12751    136 |        5 |      246
394.33/394.44	c  394s |      19 |   786353 |   666382 |    12751    137 |        5 |      246
394.63/394.75	c  394s |      20 |   786947 |   666827 |    12751    137 |        5 |      246
396.73/396.82	c  396s |      20 |   790643 |   669727 |    12751    137 |        5 |      246
398.73/398.89	c  398s |      20 |   794161 |   672627 |    12751    138 |        5 |      246
400.82/400.91	c  400s |      20 |   797109 |   675227 |    12751    138 |        5 |      246
402.83/402.95	c  402s |      20 |   799684 |   677427 |    12751    139 |        5 |      246
404.82/404.99	c  404s |      20 |   803450 |   680627 |    12751    139 |        5 |      246
406.92/407.00	c  406s |      20 |   806435 |   683227 |    12751    139 |        5 |      246
408.92/409.01	c  408s |      20 |   810063 |   686027 |    12751    140 |        5 |      246
410.92/411.02	c  410s |      20 |   813109 |   688427 |    12751    140 |        5 |      246
412.92/413.03	c  412s |      20 |   815779 |   690727 |    12751    141 |        5 |      246
414.93/415.06	c  414s |      20 |   819106 |   693527 |    12751    141 |        5 |      246
417.03/417.13	c  417s |      20 |   822023 |   696027 |    12751    141 |        5 |      246
419.02/419.18	c  419s |      20 |   825209 |   698827 |    12751    142 |        5 |      246
421.03/421.19	c  421s |      20 |   828180 |   701527 |    12751    142 |        5 |      246
423.13/423.22	c  423s |      20 |   830964 |   703927 |    12751    143 |        5 |      246
425.13/425.25	c  425s |      20 |   835004 |   707127 |    12751    143 |        5 |      246
427.13/427.29	c  427s |      20 |   837818 |   709527 |    12751    144 |        5 |      246
429.23/429.35	c  429s |      20 |   841054 |   712427 |    12751    144 |        5 |      246
431.23/431.40	c  431s |      20 |   844455 |   715127 |    12751    144 |        5 |      246
433.33/433.42	c  433s |      20 |   847632 |   717827 |    12751    145 |        5 |      246
435.33/435.42	c  435s |      20 |   851087 |   720627 |    12751    145 |        5 |      246
437.32/437.47	c  437s |      20 |   853554 |   722627 |    12751    146 |        5 |      246
439.32/439.49	c  439s |      20 |   857624 |   725927 |    12751    146 |        5 |      246
441.52/441.63	c  441s |      20 |   860866 |   728627 |    12751    147 |        5 |      246
443.53/443.66	c  443s |      20 |   865105 |   732427 |    12751    147 |        5 |      246
445.63/445.71	c  445s |      20 |   868578 |   735427 |    12751    148 |        5 |      246
447.62/447.75	c  447s |      20 |   872638 |   738927 |    12751    148 |        5 |      246
449.62/449.77	c  449s |      20 |   875798 |   741627 |    12751    149 |        5 |      246
451.62/451.79	c  451s |      20 |   879687 |   744927 |    12751    149 |        5 |      246
453.72/453.82	c  453s |      20 |   882774 |   747727 |    12751    149 |        5 |      246
455.72/455.83	c  455s |      20 |   886454 |   750827 |    12751    150 |        5 |      246
457.73/457.84	c  457s |      20 |   889642 |   753527 |    12751    150 |        5 |      246
459.82/459.90	c  459s |      20 |   892862 |   756327 |    12751    151 |        5 |      246
461.82/461.94	c  461s |      20 |   896487 |   759427 |    12751    151 |        5 |      246
463.82/463.96	c  463s |      20 |   900030 |   762427 |    12751    152 |        5 |      246
465.92/466.02	c  465s |      20 |   903845 |   765727 |    12751    152 |        5 |      246
467.92/468.03	c  467s |      20 |   906994 |   768227 |    12751    153 |        5 |      246
469.92/470.05	c  469s |      20 |   910618 |   771127 |    12751    153 |        5 |      246
471.92/472.09	c  471s |      20 |   913637 |   773727 |    12751    153 |        5 |      246
474.02/474.10	c  473s |      20 |   916857 |   776427 |    12751    154 |        5 |      246
476.02/476.13	c  476s |      20 |   920594 |   779327 |    12751    154 |        5 |      246
478.02/478.18	c  478s |      20 |   924091 |   782127 |    12751    155 |        5 |      246
480.12/480.24	c  480s |      20 |   927506 |   784927 |    12751    155 |        5 |      246
482.22/482.34	c  482s |      20 |   931175 |   787927 |    12751    156 |        5 |      246
484.31/484.40	c  484s |      20 |   934942 |   791027 |    12751    156 |        5 |      246
486.32/486.44	c  486s |      20 |   938001 |   793727 |    12751    157 |        5 |      246
488.31/488.47	c  488s |      20 |   942806 |   797827 |    12751    157 |        5 |      246
490.31/490.48	c  490s |      20 |   946757 |   801327 |    12751    158 |        5 |      246
492.41/492.52	c  492s |      20 |   950484 |   804627 |    12751    158 |        5 |      246
494.41/494.56	c  494s |      20 |   954451 |   808127 |    12751    159 |        5 |      246
496.51/496.61	c  496s |      20 |   958226 |   811527 |    12751    159 |        5 |      246
498.52/498.65	c  498s |      20 |   961855 |   814827 |    12751    160 |        5 |      246
500.51/500.70	c  500s |      20 |   964409 |   817127 |    12751    160 |        5 |      246
502.61/502.70	c  502s |      20 |   968037 |   820327 |    12751    161 |        5 |      246
504.61/504.73	c  504s |      20 |   971730 |   823627 |    12751    161 |        5 |      246
506.61/506.78	c  506s |      20 |   975580 |   827127 |    12751    162 |        5 |      246
508.71/508.80	c  508s |      20 |   980019 |   830727 |    12751    162 |        5 |      246
510.71/510.83	c  510s |      20 |   983496 |   833527 |    12751    163 |        5 |      246
512.71/512.83	c  512s |      20 |   986637 |   836227 |    12751    163 |        5 |      246
514.71/514.88	c  514s |      20 |   989697 |   838827 |    12751    164 |        5 |      246
516.81/516.91	c  516s |      20 |   993053 |   841727 |    12751    164 |        5 |      246
518.81/518.94	c  518s |      20 |   995802 |   844027 |    12751    164 |        5 |      246
520.81/520.96	c  520s |      20 |   998734 |   846527 |    12751    165 |        5 |      246
522.81/522.98	c  522s |      20 |  1001950 |   849127 |    12751    165 |        5 |      246
524.82/525.00	c  524s |      20 |  1004173 |   850927 |    12751    165 |        5 |      246
526.91/527.01	c  526s |      20 |  1007522 |   853527 |    12751    166 |        5 |      246
528.91/529.05	c  528s |      20 |  1011355 |   856727 |    12751    166 |        5 |      246
531.01/531.13	c  531s |      20 |  1014926 |   859727 |    12751    167 |        5 |      246
533.01/533.17	c  533s |      20 |  1017932 |   862127 |    12751    167 |        5 |      246
535.11/535.25	c  535s |      20 |  1020840 |   864427 |    12751    168 |        5 |      246
537.11/537.27	c  537s |      20 |  1024450 |   867227 |    12751    168 |        5 |      246
539.21/539.31	c  539s |      20 |  1027673 |   869827 |    12751    168 |        5 |      246
541.21/541.31	c  541s |      20 |  1031584 |   872427 |    12751    169 |        5 |      246
543.21/543.38	c  543s |      20 |  1034703 |   875027 |    12751    169 |        5 |      246
545.21/545.39	c  545s |      20 |  1037132 |   877027 |    12751    169 |        5 |      246
547.31/547.40	c  547s |      20 |  1040659 |   880027 |    12751    170 |        5 |      246
549.31/549.46	c  549s |      20 |  1043768 |   882627 |    12751    170 |        5 |      246
551.41/551.50	c  551s |      20 |  1047144 |   885627 |    12751    171 |        5 |      246
553.41/553.57	c  553s |      20 |  1050481 |   888527 |    12751    171 |        5 |      246
555.41/555.58	c  555s |      20 |  1053295 |   891027 |    12751    172 |        5 |      246
557.51/557.64	c  557s |      20 |  1056882 |   894027 |    12751    172 |        5 |      246
559.60/559.75	c  559s |      20 |  1060139 |   896727 |    12751    173 |        5 |      246
561.60/561.76	c  561s |      20 |  1063485 |   899527 |    12751    173 |        5 |      246
563.70/563.84	c  563s |      20 |  1066905 |   902327 |    12751    173 |        5 |      246
565.70/565.88	c  565s |      20 |  1069765 |   904727 |    12751    174 |        5 |      246
567.81/567.91	c  567s |      20 |  1073141 |   907527 |    12751    174 |        5 |      246
569.80/569.95	c  569s |      20 |  1076204 |   910027 |    12751    175 |        5 |      246
571.80/571.98	c  571s |      20 |  1079596 |   912827 |    12751    175 |        5 |      246
573.90/574.02	c  573s |      20 |  1082698 |   915327 |    12751    175 |        5 |      246
575.90/576.05	c  575s |      20 |  1085990 |   917827 |    12751    176 |        5 |      246
577.90/578.05	c  577s |      20 |  1089467 |   920827 |    12751    176 |        5 |      246
579.91/580.09	c  579s |      20 |  1092743 |   923527 |    12751    177 |        5 |      246
582.01/582.11	c  582s |      20 |  1096465 |   926427 |    12751    177 |        5 |      246
584.00/584.14	c  584s |      20 |  1099457 |   928827 |    12751    177 |        5 |      246
586.10/586.20	c  586s |      20 |  1103075 |   932027 |    12751    178 |        5 |      246
588.10/588.27	c  588s |      20 |  1106979 |   935427 |    12751    178 |        5 |      246
590.10/590.29	c  590s |      20 |  1110827 |   938827 |    12751    179 |        5 |      246
592.20/592.31	c  592s |      20 |  1114335 |   942027 |    12751    179 |        5 |      246
594.40/594.55	c  594s |      20 |  1117708 |   945127 |    12751    180 |        5 |      246
596.40/596.58	c  596s |      20 |  1121360 |   948327 |    12751    180 |        5 |      246
598.40/598.58	c  598s |      20 |  1125150 |   951727 |    12751    181 |        5 |      246
600.40/600.59	c  600s |      20 |  1128342 |   954627 |    12751    181 |        5 |      246
602.50/602.62	c  602s |      20 |  1131753 |   957727 |    12751    182 |        5 |      246
604.50/604.66	c  604s |      20 |  1134956 |   960527 |    12751    182 |        5 |      246
606.60/606.70	c  606s |      20 |  1138819 |   963927 |    12751    183 |        5 |      246
608.60/608.71	c  608s |      20 |  1142586 |   967327 |    12751    183 |        5 |      246
610.60/610.75	c  610s |      20 |  1146413 |   970727 |    12751    184 |        5 |      246
612.59/612.77	c  612s |      20 |  1149417 |   973427 |    12751    184 |        5 |      246
614.59/614.79	c  614s |      20 |  1153472 |   977127 |    12751    185 |        5 |      246
616.69/616.82	c  616s |      20 |  1157461 |   980327 |    12751    185 |        5 |      246
618.69/618.87	c  618s |      20 |  1161031 |   983227 |    12751    186 |        5 |      246
620.79/620.94	c  620s |      20 |  1164353 |   986027 |    12751    186 |        5 |      246
622.80/622.98	c  622s |      20 |  1167275 |   988427 |    12751    187 |        5 |      246
624.90/625.01	c  624s |      20 |  1170530 |   991127 |    12751    187 |        5 |      246
626.89/627.08	c  626s |      20 |  1173140 |   993327 |    14027    187 |        5 |      246
628.99/629.12	c  629s |      20 |  1175525 |   995327 |    14027    188 |        5 |      246
630.99/631.15	c  631s |      20 |  1178603 |   998127 |    14027    188 |        5 |      246
632.70/632.83	c  632s |      21 |  1181095 |  1000345 |    14027    188 |        5 |      246
634.69/634.83	c  634s |      21 |  1184599 |  1003245 |    14027    189 |        5 |      246
636.69/636.89	c  636s |      21 |  1188785 |  1006945 |    14027    189 |        5 |      246
638.79/638.92	c  638s |      21 |  1192083 |  1009845 |    14027    190 |        5 |      246
640.79/640.95	c  640s |      21 |  1195862 |  1013245 |    14027    190 |        5 |      246
642.79/642.99	c  642s |      21 |  1199007 |  1016045 |    14027    190 |        5 |      246
644.89/645.03	c  644s |      21 |  1202760 |  1019345 |    14027    191 |        5 |      246
646.89/647.05	c  646s |      21 |  1205358 |  1021645 |    14027    191 |        5 |      246
648.89/649.06	c  648s |      21 |  1208862 |  1024845 |    14027    192 |        5 |      246
650.89/651.08	c  650s |      21 |  1212538 |  1027845 |    14027    192 |        5 |      246
652.99/653.10	c  652s |      21 |  1215384 |  1030245 |    14027    192 |        5 |      246
654.99/655.17	c  655s |      21 |  1218763 |  1033145 |    14027    193 |        5 |      246
656.99/657.19	c  657s |      21 |  1221989 |  1035945 |    14027    193 |        5 |      246
659.09/659.23	c  659s |      21 |  1225085 |  1038645 |    14027    194 |        5 |      246
661.08/661.23	c  661s |      21 |  1229022 |  1042045 |    14027    194 |        5 |      246
663.08/663.28	c  663s |      21 |  1232190 |  1044845 |    14027    195 |        5 |      246
665.18/665.33	c  665s |      21 |  1236498 |  1048745 |    14027    195 |        5 |      246
667.28/667.45	c  667s |      21 |  1240020 |  1051945 |    14027    196 |        5 |      246
669.29/669.46	c  669s |      21 |  1244096 |  1055645 |    14027    196 |        5 |      246
671.39/671.50	c  671s |      21 |  1247405 |  1058745 |    14027    196 |        5 |      246
673.40/673.57	c  673s |      21 |  1250733 |  1061845 |    14027    197 |        5 |      246
675.39/675.58	c  675s |      21 |  1251841 |  1062845 |    14027    197 |        5 |      246
677.49/677.60	c  677s |      21 |  1255335 |  1065945 |    14027    197 |        5 |      246
679.49/679.60	c  679s |      21 |  1259056 |  1069245 |    14027    198 |        5 |      246
681.49/681.64	c  681s |      21 |  1262533 |  1072345 |    14027    198 |        5 |      246
683.49/683.65	c  683s |      21 |  1266022 |  1075545 |    14027    199 |        5 |      246
685.49/685.67	c  685s |      21 |  1269307 |  1078545 |    14027    199 |        5 |      246
687.49/687.69	c  687s |      21 |  1272489 |  1081445 |    14027    200 |        5 |      246
689.59/689.72	c  689s |      21 |  1275281 |  1083845 |    14027    200 |        5 |      246
691.59/691.74	c  691s |      21 |  1278850 |  1087045 |    14027    200 |        5 |      246
693.59/693.76	c  693s |      21 |  1282544 |  1090345 |    14027    201 |        5 |      246
695.59/695.76	c  695s |      21 |  1286109 |  1093545 |    14027    201 |        5 |      246
697.59/697.77	c  697s |      21 |  1289921 |  1097045 |    14027    202 |        5 |      246
699.58/699.78	c  699s |      21 |  1292403 |  1099245 |    14027    202 |        5 |      246
701.68/701.83	c  701s |      21 |  1296038 |  1102545 |    14027    203 |        5 |      246
703.68/703.85	c  703s |      21 |  1299723 |  1105945 |    14027    203 |        5 |      246
705.68/705.89	c  705s |      21 |  1302919 |  1108845 |    14027    204 |        5 |      246
707.78/707.96	c  707s |      21 |  1306247 |  1111945 |    14027    204 |        5 |      246
709.88/710.00	c  709s |      21 |  1309539 |  1114945 |    14027    204 |        5 |      246
711.89/712.00	c  711s |      21 |  1312685 |  1117845 |    14027    205 |        5 |      246
713.88/714.01	c  713s |      21 |  1316201 |  1120745 |    14027    205 |        5 |      246
715.88/716.07	c  715s |      21 |  1319242 |  1123145 |    14027    206 |        5 |      246
717.98/718.11	c  717s |      21 |  1322304 |  1125845 |    14027    206 |        5 |      246
720.38/720.57	c  720s |      21 |  1324847 |  1128145 |    14027    206 |        5 |      246
722.48/722.61	c  722s |      21 |  1328040 |  1130945 |    14027    207 |        5 |      246
724.48/724.67	c  724s |      21 |  1331569 |  1134145 |    14027    207 |        5 |      246
726.48/726.68	c  726s |      21 |  1334694 |  1137045 |    14027    207 |        5 |      246
728.48/728.68	c  728s |      21 |  1338247 |  1140345 |    14027    208 |        5 |      246
730.48/730.68	c  730s |      21 |  1341101 |  1143045 |    14027    208 |        5 |      246
732.48/732.69	c  732s |      21 |  1343791 |  1145545 |    14027    209 |        5 |      246
735.27/735.43	c  735s |      21 |  1346195 |  1147745 |    14027    209 |        5 |      246
737.37/737.50	c  737s |      21 |  1349814 |  1150945 |    14027    209 |        5 |      246
739.38/739.54	c  739s |      21 |  1353335 |  1154145 |    14027    210 |        5 |      246
741.48/741.61	c  741s |      21 |  1356916 |  1157245 |    14027    210 |        5 |      246
743.68/743.82	c  743s |      21 |  1360015 |  1160045 |    14027    211 |        5 |      246
745.68/745.83	c  745s |      21 |  1363817 |  1163445 |    14027    211 |        5 |      246
747.68/747.85	c  747s |      21 |  1367168 |  1166445 |    14027    212 |        5 |      246
749.68/749.86	c  749s |      21 |  1370757 |  1169745 |    14027    212 |        5 |      246
751.67/751.88	c  751s |      21 |  1373596 |  1172145 |    14027    212 |        5 |      246
753.77/753.93	c  753s |      21 |  1376762 |  1175045 |    14027    213 |        5 |      246
755.78/755.99	c  755s |      21 |  1379817 |  1177645 |    14027    213 |        5 |      246
757.87/758.02	c  757s |      21 |  1382348 |  1179845 |    14027    214 |        5 |      246
760.18/760.35	c  760s |      21 |  1385529 |  1182745 |    14027    214 |        5 |      246
762.17/762.35	c  762s |      21 |  1388947 |  1185745 |    14027    214 |        5 |      246
764.16/764.39	c  764s |      21 |  1392255 |  1188745 |    14027    215 |        5 |      246
766.26/766.40	c  766s |      21 |  1395551 |  1191745 |    14027    215 |        5 |      246
768.26/768.45	c  768s |      21 |  1398199 |  1194145 |    14027    216 |        5 |      246
770.26/770.47	c  770s |      21 |  1401547 |  1197245 |    14027    216 |        5 |      246
772.27/772.50	c  772s |      21 |  1404624 |  1200045 |    14027    216 |        5 |      246
774.36/774.56	c  774s |      21 |  1408202 |  1202945 |    14027    217 |        5 |      246
776.36/776.59	c  776s |      21 |  1410996 |  1205545 |    14027    217 |        5 |      246
778.46/778.61	c  778s |      21 |  1413069 |  1207445 |    14027    217 |        5 |      246
780.46/780.61	c  780s |      21 |  1416062 |  1210045 |    14027    218 |        5 |      246
782.46/782.66	c  782s |      21 |  1419283 |  1212945 |    14027    218 |        5 |      246
784.46/784.69	c  784s |      21 |  1421648 |  1215145 |    14027    219 |        5 |      246
786.56/786.73	c  786s |      21 |  1424722 |  1218045 |    14027    219 |        5 |      246
788.65/788.82	c  788s |      21 |  1427054 |  1220245 |    14027    219 |        5 |      246
790.65/790.84	c  790s |      21 |  1429956 |  1222545 |    14027    220 |        5 |      246
792.75/792.91	c  792s |      21 |  1433770 |  1225545 |    14027    220 |        5 |      246
794.75/794.92	c  794s |      21 |  1436438 |  1227845 |    14027    220 |        5 |      246
796.75/796.98	c  796s |      21 |  1438706 |  1229845 |    14027    221 |        5 |      246
798.85/799.00	c  798s |      21 |  1442055 |  1232645 |    14027    221 |        5 |      246
800.85/801.09	c  800s |      21 |  1444809 |  1235045 |    14027    221 |        5 |      246
802.95/803.12	c  803s |      21 |  1447311 |  1237145 |    14027    222 |        5 |      246
804.95/805.19	c  805s |      21 |  1450935 |  1240145 |    14027    222 |        5 |      246
807.05/807.23	c  807s |      21 |  1453546 |  1242445 |    14027    222 |        5 |      246
809.05/809.28	c  809s |      21 |  1456252 |  1244845 |    14027    223 |        5 |      246
811.15/811.35	c  811s |      21 |  1459595 |  1247645 |    14027    223 |        5 |      246
813.24/813.40	c  813s |      21 |  1462429 |  1250145 |    14027    223 |        5 |      246
815.25/815.46	c  815s |      21 |  1465196 |  1252545 |    14027    224 |        5 |      246
817.35/817.53	c  817s |      21 |  1467663 |  1254745 |    14027    224 |        5 |      246
819.44/819.62	c  819s |      21 |  1470813 |  1257245 |    14027    224 |        5 |      246
821.44/821.68	c  821s |      21 |  1473911 |  1259745 |    14027    225 |        5 |      246
823.54/823.74	c  823s |      21 |  1477038 |  1262245 |    14027    225 |        5 |      246
825.54/825.80	c  825s |      21 |  1479949 |  1264645 |    14027    225 |        5 |      246
827.64/827.87	c  827s |      21 |  1483512 |  1267745 |    14027    226 |        5 |      246
829.74/829.90	c  829s |      21 |  1486560 |  1270445 |    14027    226 |        5 |      246
831.74/831.93	c  831s |      21 |  1489205 |  1272645 |    14027    227 |        5 |      246
833.73/833.97	c  833s |      21 |  1492668 |  1275645 |    14027    227 |        5 |      246
835.83/836.02	c  835s |      21 |  1495630 |  1278145 |    14027    227 |        5 |      246
837.83/838.04	c  837s |      21 |  1499094 |  1281045 |    14027    228 |        5 |      246
839.83/840.05	c  839s |      21 |  1502435 |  1283645 |    14027    228 |        5 |      246
841.83/842.07	c  841s |      21 |  1505531 |  1286245 |    14027    229 |        5 |      246
843.83/844.09	c  843s |      21 |  1509286 |  1289345 |    14027    229 |        5 |      246
846.03/846.24	c  846s |      21 |  1512421 |  1292045 |    14027    229 |        5 |      246
848.03/848.24	c  848s |      21 |  1515823 |  1294845 |    14027    230 |        5 |      246
850.13/850.32	c  850s |      21 |  1519182 |  1297545 |    14027    230 |        5 |      246
852.13/852.36	c  852s |      21 |  1522143 |  1300245 |    14027    230 |        5 |      246
854.22/854.42	c  854s |      21 |  1525708 |  1303545 |    14027    231 |        5 |      246
856.22/856.49	c  856s |      21 |  1529191 |  1306645 |    14027    231 |        5 |      246
858.22/858.50	c  858s |      21 |  1532699 |  1309845 |    14027    232 |        5 |      246
860.33/860.52	c  860s |      21 |  1536328 |  1313045 |    14027    232 |        5 |      246
862.32/862.52	c  862s |      21 |  1540001 |  1315945 |    14027    233 |        5 |      246
864.32/864.59	c  864s |      21 |  1543545 |  1318745 |    14027    233 |        5 |      246
866.42/866.65	c  866s |      21 |  1546669 |  1321345 |    14027    233 |        5 |      246
868.42/868.69	c  868s |      21 |  1549663 |  1323945 |    14027    234 |        5 |      246
870.52/870.77	c  870s |      21 |  1552440 |  1326345 |    14027    234 |        5 |      246
872.61/872.82	c  872s |      21 |  1554821 |  1328445 |    14027    234 |        5 |      246
874.62/874.87	c  874s |      21 |  1557887 |  1331045 |    14027    235 |        5 |      246
876.61/876.89	c  876s |      21 |  1560746 |  1333345 |    14027    235 |        5 |      246
878.81/879.02	c  878s |      21 |  1564233 |  1335945 |    14027    236 |        5 |      246
880.91/881.10	c  880s |      21 |  1567713 |  1338745 |    14027    236 |        5 |      246
882.91/883.13	c  883s |      21 |  1570675 |  1341245 |    14027    236 |        5 |      246
884.91/885.18	c  885s |      21 |  1573404 |  1343545 |    14027    237 |        5 |      246
887.01/887.22	c  887s |      21 |  1576586 |  1346145 |    14027    237 |        5 |      246
889.01/889.25	c  889s |      21 |  1579533 |  1348645 |    14027    237 |        5 |      246
891.11/891.39	c  891s |      21 |  1582687 |  1351245 |    14027    238 |        5 |      246
893.21/893.41	c  893s |      21 |  1586020 |  1354145 |    14027    238 |        5 |      246
895.20/895.44	c  895s |      21 |  1589090 |  1356545 |    14027    238 |        5 |      246
897.20/897.46	c  897s |      21 |  1592381 |  1359145 |    14027    239 |        5 |      246
899.20/899.49	c  899s |      21 |  1595925 |  1362145 |    14027    239 |        5 |      246
901.30/901.55	c  901s |      21 |  1598692 |  1364545 |    14027    240 |        5 |      246
903.40/903.62	c  903s |      21 |  1602774 |  1367745 |    14027    240 |        5 |      246
905.40/905.63	c  905s |      21 |  1605979 |  1370245 |    14027    240 |        5 |      246
907.40/907.69	c  907s |      21 |  1609270 |  1372845 |    14027    241 |        5 |      246
909.49/909.73	c  909s |      21 |  1612629 |  1375645 |    14027    241 |        5 |      246
911.49/911.75	c  911s |      21 |  1615031 |  1377545 |    14027    241 |        5 |      246
913.49/913.79	c  913s |      21 |  1617963 |  1380045 |    14027    242 |        5 |      246
915.59/915.83	c  915s |      21 |  1621663 |  1382745 |    14027    242 |        5 |      246
917.69/917.92	c  917s |      21 |  1624400 |  1385145 |    14027    242 |        5 |      246
919.69/919.96	c  919s |      21 |  1626630 |  1387245 |    14027    243 |        5 |      246
921.69/921.97	c  921s |      21 |  1630161 |  1390445 |    14027    243 |        5 |      246
923.68/923.99	c  923s |      21 |  1632955 |  1393045 |    14027    244 |        5 |      246
925.78/926.03	c  925s |      21 |  1636311 |  1396145 |    14027    244 |        5 |      246
927.88/928.11	c  928s |      21 |  1639294 |  1398745 |    14027    244 |        5 |      246
929.88/930.17	c  930s |      21 |  1642085 |  1401345 |    14027    245 |        5 |      246
931.98/932.21	c  932s |      21 |  1644421 |  1403545 |    14027    245 |        5 |      246
933.99/934.27	c  934s |      21 |  1647436 |  1406145 |    14027    245 |        5 |      246
936.08/936.33	c  936s |      21 |  1651063 |  1408845 |    14027    246 |        5 |      246
938.08/938.38	c  938s |      21 |  1653919 |  1411245 |    14027    246 |        5 |      246
940.18/940.47	c  940s |      21 |  1657116 |  1413645 |    14027    246 |        5 |      246
942.28/942.50	c  942s |      21 |  1660382 |  1416145 |    14027    247 |        5 |      246
944.28/944.55	c  944s |      21 |  1663125 |  1418245 |    14027    247 |        5 |      246
946.28/946.55	c  946s |      21 |  1665484 |  1420245 |    14027    247 |        5 |      246
948.38/948.60	c  948s |      21 |  1668700 |  1422845 |    14027    248 |        5 |      246
950.39/950.65	c  950s |      21 |  1671893 |  1425545 |    14027    248 |        5 |      246
952.48/952.74	c  952s |      21 |  1674847 |  1427745 |    14027    248 |        5 |      246
954.48/954.76	c  954s |      21 |  1677627 |  1429945 |    14027    249 |        5 |      246
956.58/956.83	c  956s |      21 |  1680747 |  1432545 |    14027    249 |        5 |      246
958.58/958.88	c  958s |      21 |  1683144 |  1434545 |    14027    249 |        5 |      246
960.68/960.90	c  960s |      21 |  1686118 |  1436845 |    14027    250 |        5 |      246
962.67/962.96	c  962s |      21 |  1689186 |  1439145 |    14027    250 |        5 |      246
964.68/965.00	c  964s |      21 |  1691868 |  1441145 |    14027    250 |        5 |      246
966.77/967.03	c  966s |      21 |  1695282 |  1443745 |    14027    251 |        5 |      246
968.77/969.08	c  968s |      21 |  1698855 |  1446445 |    14027    251 |        5 |      246
970.87/971.10	c  970s |      21 |  1701994 |  1448845 |    14027    251 |        5 |      246
972.87/973.15	c  973s |      21 |  1705050 |  1451445 |    14027    252 |        5 |      246
974.87/975.18	c  975s |      21 |  1708283 |  1454045 |    14027    252 |        5 |      246
976.87/977.19	c  977s |      21 |  1711093 |  1456345 |    14027    252 |        5 |      246
978.97/979.22	c  979s |      21 |  1714393 |  1459145 |    14027    253 |        5 |      246
980.97/981.23	c  981s |      21 |  1717598 |  1461845 |    14027    253 |        5 |      246
982.96/983.25	c  983s |      21 |  1720185 |  1464145 |    14027    254 |        5 |      246
984.96/985.28	c  985s |      21 |  1723669 |  1467045 |    14027    254 |        5 |      246
987.06/987.31	c  987s |      21 |  1726719 |  1469645 |    14027    254 |        5 |      246
989.06/989.34	c  989s |      21 |  1729490 |  1472045 |    14027    255 |        5 |      246
991.07/991.37	c  991s |      21 |  1732933 |  1475045 |    14027    255 |        5 |      246
993.16/993.43	c  993s |      21 |  1735944 |  1477545 |    14027    255 |        5 |      246
995.15/995.47	c  995s |      21 |  1738460 |  1479745 |    14027    256 |        5 |      246
997.25/997.51	c  997s |      21 |  1741868 |  1482445 |    14027    256 |        5 |      246
999.25/999.58	c  999s |      21 |  1744640 |  1484845 |    14027    256 |        5 |      246
1001.35/1001.68	c 1001s |      21 |  1747484 |  1487445 |    14027    257 |        5 |      246
1003.45/1003.70	c 1003s |      21 |  1750515 |  1490045 |    15430    257 |        5 |      246
1005.46/1005.75	c 1005s |      21 |  1753535 |  1492545 |    15430    257 |        5 |      246
1007.45/1007.76	c 1007s |      21 |  1756193 |  1494845 |    15430    258 |        5 |      246
1009.45/1009.77	c 1009s |      21 |  1759541 |  1497745 |    15430    258 |        5 |      246
1011.55/1011.85	c 1011s |      21 |  1761936 |  1499845 |    15430    258 |        8 |      309
1012.45/1012.75	c 1012s |      22 |  1762792 |  1500622 |    15430    258 |        8 |      309
1014.54/1014.83	c 1014s |      22 |  1767126 |  1503922 |    15430    258 |        8 |      309
1016.54/1016.88	c 1016s |      22 |  1770660 |  1506622 |    15430    258 |        8 |      309
1018.55/1018.89	c 1018s |      22 |  1773565 |  1509122 |    15430    258 |        8 |      309
1020.64/1020.93	c 1020s |      22 |  1775965 |  1511222 |    15430    258 |        8 |      309
1022.64/1022.95	c 1022s |      22 |  1778418 |  1513422 |    15430    259 |        8 |      309
1024.64/1024.97	c 1024s |      22 |  1781550 |  1516022 |    15430    259 |        8 |      309
1026.74/1027.04	c 1026s |      22 |  1784622 |  1518522 |    15430    259 |        8 |      309
1028.94/1029.22	c 1029s |      22 |  1787516 |  1520922 |    15430    260 |        8 |      309
1030.94/1031.23	c 1031s |      22 |  1790354 |  1523422 |    15430    260 |        8 |      309
1032.94/1033.27	c 1033s |      22 |  1793521 |  1525922 |    15430    260 |        8 |      309
1034.93/1035.29	c 1035s |      22 |  1796496 |  1528422 |    15430    261 |        8 |      309
1037.03/1037.34	c 1037s |      22 |  1799746 |  1531122 |    15430    261 |        8 |      309
1039.03/1039.35	c 1039s |      22 |  1802505 |  1533522 |    15430    261 |        8 |      309
1041.13/1041.42	c 1041s |      22 |  1804793 |  1535522 |    15430    262 |        8 |      309
1043.13/1043.46	c 1043s |      22 |  1807859 |  1538222 |    15430    262 |        8 |      309
1045.23/1045.55	c 1045s |      22 |  1810594 |  1540522 |    15430    262 |        8 |      309
1047.24/1047.57	c 1047s |      22 |  1812956 |  1542422 |    15430    262 |        8 |      309
1049.34/1049.62	c 1049s |      22 |  1815766 |  1544622 |    15430    263 |        8 |      309
1051.33/1051.65	c 1051s |      22 |  1819440 |  1547622 |    15430    263 |        8 |      309
1053.32/1053.69	c 1053s |      22 |  1822183 |  1550022 |    15430    263 |        8 |      309
1055.42/1055.72	c 1055s |      22 |  1825163 |  1552522 |    15430    264 |        8 |      309
1057.42/1057.75	c 1057s |      22 |  1828633 |  1555122 |    15430    264 |        8 |      309
1059.42/1059.78	c 1059s |      22 |  1831761 |  1557622 |    15430    264 |        8 |      309
1061.53/1061.82	c 1061s |      22 |  1834805 |  1560122 |    15430    265 |        8 |      309
1063.52/1063.89	c 1063s |      22 |  1838062 |  1562822 |    15430    265 |        8 |      309
1065.62/1065.92	c 1065s |      22 |  1841024 |  1565422 |    15430    265 |        8 |      309
1067.62/1067.98	c 1067s |      22 |  1844361 |  1568222 |    15430    266 |        8 |      309
1069.62/1069.99	c 1069s |      22 |  1847522 |  1570922 |    15430    266 |        8 |      309
1071.72/1072.06	c 1071s |      22 |  1850662 |  1573522 |    15430    266 |        8 |      309
1073.71/1074.07	c 1073s |      22 |  1853882 |  1576222 |    15430    267 |        8 |      309
1075.72/1076.09	c 1075s |      22 |  1856767 |  1578622 |    15430    267 |        8 |      309
1077.81/1078.12	c 1078s |      22 |  1859542 |  1580922 |    15430    267 |        8 |      309
1079.81/1080.14	c 1080s |      22 |  1862041 |  1583022 |    15430    268 |        8 |      309
1081.81/1082.18	c 1082s |      22 |  1865322 |  1585722 |    15430    268 |        8 |      309
1083.91/1084.23	c 1084s |      22 |  1868411 |  1588222 |    15430    268 |        8 |      309
1085.90/1086.24	c 1086s |      22 |  1871375 |  1590622 |    15430    269 |        8 |      309
1087.91/1088.25	c 1088s |      22 |  1874953 |  1593822 |    15430    269 |        8 |      309
1089.90/1090.27	c 1090s |      22 |  1877277 |  1595822 |    15430    269 |        8 |      309
1092.00/1092.34	c 1092s |      22 |  1879771 |  1597922 |    15430    270 |        8 |      309
1094.00/1094.36	c 1094s |      22 |  1882965 |  1600322 |    15430    270 |        8 |      309
1096.10/1096.43	c 1096s |      22 |  1886180 |  1602722 |    15430    270 |        8 |      309
1098.20/1098.52	c 1098s |      22 |  1888971 |  1604922 |    15430    270 |        8 |      309
1100.20/1100.58	c 1100s |      22 |  1891754 |  1607122 |    15430    271 |        8 |      309
1102.30/1102.68	c 1102s |      22 |  1894718 |  1609622 |    15430    271 |        8 |      309
1104.30/1104.70	c 1104s |      22 |  1897548 |  1612022 |    15430    271 |        8 |      309
1106.39/1106.71	c 1106s |      22 |  1900195 |  1614122 |    15430    272 |        8 |      309
1108.39/1108.77	c 1108s |      22 |  1903493 |  1616822 |    15430    272 |        8 |      309
1110.49/1110.80	c 1110s |      22 |  1906360 |  1619122 |    15430    272 |        8 |      309
1112.59/1112.93	c 1112s |      22 |  1909071 |  1621322 |    15430    273 |        8 |      309
1114.59/1114.96	c 1114s |      22 |  1912462 |  1624122 |    15430    273 |        8 |      309
1116.69/1117.03	c 1116s |      22 |  1915354 |  1626622 |    15430    273 |        8 |      309
1118.79/1119.12	c 1119s |      22 |  1917953 |  1628922 |    15430    273 |        8 |      309
1120.80/1121.17	c 1121s |      22 |  1921064 |  1631522 |    15430    274 |        8 |      309
1122.79/1123.18	c 1123s |      22 |  1924284 |  1634222 |    15430    274 |        8 |      309
1124.89/1125.23	c 1125s |      22 |  1927083 |  1636522 |    15430    274 |        8 |      309
1126.89/1127.27	c 1127s |      22 |  1930265 |  1639122 |    15430    275 |        8 |      309
1128.99/1129.30	c 1129s |      22 |  1933356 |  1641622 |    15430    275 |        8 |      309
1130.99/1131.36	c 1131s |      22 |  1936031 |  1643922 |    15430    275 |        8 |      309
1132.99/1133.37	c 1133s |      22 |  1938228 |  1645722 |    15430    276 |        8 |      309
1134.98/1135.39	c 1135s |      22 |  1941349 |  1648322 |    15430    276 |        8 |      309
1137.08/1137.43	c 1137s |      22 |  1944005 |  1650722 |    15430    276 |        8 |      309
1139.08/1139.43	c 1139s |      22 |  1946649 |  1653122 |    15430    277 |        8 |      309
1141.08/1141.47	c 1141s |      22 |  1949620 |  1655922 |    15430    277 |        8 |      309
1143.18/1143.54	c 1143s |      22 |  1952427 |  1658522 |    15430    277 |        8 |      309
1145.18/1145.59	c 1145s |      22 |  1954897 |  1660822 |    15430    278 |        8 |      309
1147.29/1147.67	c 1147s |      22 |  1958102 |  1663822 |    15430    278 |        8 |      309
1149.28/1149.68	c 1149s |      22 |  1960722 |  1666222 |    15430    278 |        8 |      309
1151.38/1151.75	c 1151s |      22 |  1963967 |  1669122 |    15430    279 |        8 |      309
1153.47/1153.80	c 1153s |      22 |  1967526 |  1672222 |    15430    279 |        8 |      309
1155.47/1155.82	c 1155s |      22 |  1970492 |  1674922 |    15430    279 |        8 |      309
1157.47/1157.87	c 1157s |      22 |  1973706 |  1677822 |    15430    280 |        8 |      309
1159.57/1159.92	c 1159s |      22 |  1977029 |  1680722 |    15430    280 |        8 |      309
1161.58/1161.94	c 1161s |      22 |  1980282 |  1683622 |    15430    280 |        8 |      309
1163.67/1164.08	c 1163s |      22 |  1983864 |  1686822 |    15430    281 |        8 |      309
1165.76/1166.10	c 1165s |      22 |  1986895 |  1689622 |    15430    281 |        8 |      309
1167.76/1168.10	c 1167s |      22 |  1989604 |  1692122 |    15430    282 |        8 |      309
1169.76/1170.17	c 1170s |      22 |  1990960 |  1693322 |    15430    282 |        8 |      309
1171.76/1172.18	c 1172s |      22 |  1994396 |  1696322 |    15430    282 |        8 |      309
1173.85/1174.23	c 1174s |      22 |  1997443 |  1699022 |    15430    282 |        8 |      309
1175.86/1176.25	c 1176s |      22 |  2000609 |  1701822 |    15430    283 |        8 |      309
1177.96/1178.30	c 1178s |      22 |  2004018 |  1704922 |    15430    283 |        8 |      309
1179.95/1180.34	c 1180s |      22 |  2006812 |  1707422 |    15430    284 |        8 |      309
1181.95/1182.36	c 1182s |      22 |  2010674 |  1710822 |    15430    284 |        8 |      309
1184.05/1184.41	c 1184s |      22 |  2013896 |  1713722 |    15430    284 |        8 |      309
1186.05/1186.44	c 1186s |      22 |  2016321 |  1715722 |    15430    285 |        8 |      309
1188.05/1188.47	c 1188s |      22 |  2020723 |  1719522 |    15430    285 |        8 |      309
1190.05/1190.50	c 1190s |      22 |  2024047 |  1722422 |    15430    285 |        8 |      309
1192.15/1192.53	c 1192s |      22 |  2027837 |  1725822 |    15430    286 |        8 |      309
1194.15/1194.54	c 1194s |      22 |  2031165 |  1728822 |    15430    286 |        8 |      309
1196.15/1196.56	c 1196s |      22 |  2034282 |  1731622 |    15430    287 |        8 |      309
1198.14/1198.58	c 1198s |      22 |  2037957 |  1734922 |    15430    287 |        8 |      309
1200.24/1200.65	c 1200s |      22 |  2040870 |  1737622 |    15430    287 |        8 |      309
1202.34/1202.71	c 1202s |      22 |  2044023 |  1740522 |    15430    288 |        8 |      309
1204.35/1204.73	c 1204s |      22 |  2047386 |  1743622 |    15430    288 |        8 |      309
1206.34/1206.78	c 1206s |      22 |  2050172 |  1746222 |    15430    289 |        8 |      309
1210.45/1210.86	c 1210s |      22 |  2053349 |  1749222 |    15430    289 |        8 |      309
1212.55/1212.93	c 1212s |      22 |  2056752 |  1752222 |    15430    289 |        8 |      309
1214.64/1215.00	c 1214s |      22 |  2059358 |  1754422 |    15430    290 |        8 |      309
1216.64/1217.05	c 1216s |      22 |  2062809 |  1757122 |    15430    290 |        8 |      309
1218.75/1219.13	c 1219s |      22 |  2065475 |  1759422 |    15430    290 |        8 |      309
1220.85/1221.20	c 1221s |      22 |  2067833 |  1761522 |    15430    290 |        8 |      309
1222.84/1223.26	c 1223s |      22 |  2070638 |  1764122 |    15430    291 |        8 |      309
1224.84/1225.27	c 1225s |      22 |  2073262 |  1766522 |    15430    291 |        8 |      309
1226.94/1227.36	c 1227s |      22 |  2075841 |  1768922 |    15430    291 |        8 |      309
1228.94/1229.39	c 1229s |      22 |  2078869 |  1771622 |    15430    292 |        8 |      309
1231.04/1231.45	c 1231s |      22 |  2081776 |  1774322 |    15430    292 |        8 |      309
1233.13/1233.52	c 1233s |      22 |  2084451 |  1776822 |    15430    292 |        8 |      309
1235.13/1235.54	c 1235s |      22 |  2087408 |  1779322 |    15430    293 |        8 |      309
1237.23/1237.60	c 1237s |      22 |  2090889 |  1782122 |    15430    293 |        8 |      309
1239.23/1239.60	c 1239s |      22 |  2093662 |  1784122 |    15430    293 |        8 |      309
1241.23/1241.61	c 1241s |      22 |  2096141 |  1786022 |    15430    294 |        8 |      309
1243.62/1244.08	c 1243s |      22 |  2097876 |  1787522 |    15430    294 |        8 |      309
1245.72/1246.10	c 1245s |      22 |  2100399 |  1789822 |    15430    294 |        8 |      309
1247.72/1248.10	c 1247s |      22 |  2102678 |  1791922 |    15430    294 |        8 |      309
1249.72/1250.12	c 1250s |      22 |  2105328 |  1794322 |    15430    295 |        8 |      309
1251.73/1252.18	c 1252s |      22 |  2108301 |  1797022 |    15430    295 |        8 |      309
1253.82/1254.24	c 1254s |      22 |  2111211 |  1799622 |    15430    295 |        8 |      309
1255.82/1256.27	c 1256s |      22 |  2113981 |  1802122 |    15430    296 |        8 |      309
1257.91/1258.32	c 1258s |      22 |  2117292 |  1805222 |    15430    296 |        8 |      309
1259.91/1260.39	c 1260s |      22 |  2120299 |  1807822 |    15430    296 |        8 |      309
1262.01/1262.41	c 1262s |      22 |  2123501 |  1810422 |    15430    297 |        8 |      309
1264.01/1264.45	c 1264s |      22 |  2126890 |  1812922 |    15430    297 |        8 |      309
1266.11/1266.53	c 1266s |      22 |  2129666 |  1815222 |    15430    297 |        8 |      309
1268.11/1268.59	c 1268s |      22 |  2132726 |  1817722 |    15430    298 |        8 |      309
1270.21/1270.67	c 1270s |      22 |  2135783 |  1820222 |    15430    298 |        8 |      309
1272.31/1272.77	c 1272s |      22 |  2138681 |  1822522 |    15430    298 |        8 |      309
1274.40/1274.82	c 1274s |      22 |  2140853 |  1824422 |    15430    299 |        8 |      309
1276.50/1276.91	c 1276s |      22 |  2143947 |  1827122 |    15430    299 |        8 |      309
1279.40/1279.87	c 1279s |      22 |  2146533 |  1829422 |    15430    299 |        8 |      309
1281.50/1281.93	c 1281s |      22 |  2148921 |  1831122 |    15430    299 |        8 |      309
1283.50/1283.95	c 1283s |      22 |  2152080 |  1833722 |    15430    300 |        8 |      309
1285.49/1285.96	c 1285s |      22 |  2155158 |  1836422 |    15430    300 |        8 |      309
1287.59/1288.06	c 1287s |      22 |  2157998 |  1838922 |    15430    300 |        8 |      309
1289.59/1290.09	c 1289s |      22 |  2161214 |  1841422 |    15430    301 |        8 |      309
1291.69/1292.11	c 1292s |      22 |  2163969 |  1843622 |    15430    301 |        8 |      309
1293.68/1294.13	c 1294s |      22 |  2166706 |  1845622 |    15430    301 |        8 |      309
1295.69/1296.16	c 1296s |      22 |  2169016 |  1847422 |    15430    301 |        8 |      309
1297.68/1298.20	c 1298s |      22 |  2171929 |  1849422 |    15430    302 |        8 |      309
1299.88/1300.31	c 1300s |      22 |  2175104 |  1851622 |    15430    302 |        8 |      309
1301.88/1302.37	c 1302s |      22 |  2177879 |  1853822 |    15430    302 |        8 |      309
1303.97/1304.44	c 1304s |      22 |  2180027 |  1855822 |    15430    303 |        8 |      309
1305.97/1306.49	c 1306s |      22 |  2182867 |  1858422 |    15430    303 |        8 |      309
1308.07/1308.52	c 1308s |      22 |  2185736 |  1861022 |    15430    303 |        8 |      309
1310.07/1310.56	c 1310s |      22 |  2188314 |  1863322 |    15430    303 |        8 |      309
1312.18/1312.62	c 1312s |      22 |  2191704 |  1866422 |    15430    304 |        8 |      309
1314.17/1314.67	c 1314s |      22 |  2195005 |  1869222 |    15430    304 |        8 |      309
1316.17/1316.68	c 1316s |      22 |  2197757 |  1871622 |    15430    305 |        8 |      309
1318.27/1318.71	c 1318s |      22 |  2200927 |  1874222 |    15430    305 |        8 |      309
1320.27/1320.78	c 1320s |      22 |  2203412 |  1876422 |    15430    305 |        8 |      309
1322.37/1322.81	c 1322s |      22 |  2206172 |  1878722 |    15430    305 |        8 |      309
1324.36/1324.83	c 1324s |      22 |  2209138 |  1881022 |    15430    306 |        8 |      309
1326.37/1326.87	c 1326s |      22 |  2212474 |  1883822 |    15430    306 |        8 |      309
1328.36/1328.87	c 1328s |      22 |  2215087 |  1886122 |    15430    306 |        8 |      309
1330.78/1331.28	c 1331s |      22 |  2218039 |  1888422 |    15430    307 |        8 |      309
1332.86/1333.33	c 1333s |      22 |  2221609 |  1891222 |    15430    307 |        8 |      309
1334.86/1335.38	c 1335s |      22 |  2224314 |  1893522 |    15430    307 |        8 |      309
1336.96/1337.40	c 1337s |      22 |  2226988 |  1895722 |    15430    308 |        8 |      309
1338.96/1339.44	c 1339s |      22 |  2230193 |  1898422 |    15430    308 |        8 |      309
1340.96/1341.49	c 1341s |      22 |  2233171 |  1900822 |    15430    308 |        8 |      309
1343.06/1343.55	c 1343s |      22 |  2235782 |  1903022 |    15430    309 |        8 |      309
1345.07/1345.60	c 1345s |      22 |  2239004 |  1905522 |    15430    309 |        8 |      309
1347.16/1347.69	c 1347s |      22 |  2242044 |  1908022 |    15430    309 |        8 |      309
1349.26/1349.70	c 1349s |      22 |  2244708 |  1910122 |    15430    309 |        8 |      309
1351.26/1351.73	c 1351s |      22 |  2247950 |  1912722 |    15430    310 |        8 |      309
1353.26/1353.78	c 1353s |      22 |  2250552 |  1914822 |    15430    310 |        8 |      309
1355.36/1355.86	c 1355s |      22 |  2253517 |  1917222 |    15430    310 |        8 |      309
1357.46/1357.92	c 1357s |      22 |  2256141 |  1919522 |    15430    311 |        8 |      309
1359.46/1359.92	c 1359s |      22 |  2258852 |  1921922 |    15430    311 |        8 |      309
1361.46/1361.96	c 1361s |      22 |  2261357 |  1924122 |    15430    311 |        8 |      309
1363.55/1364.04	c 1363s |      22 |  2263581 |  1926022 |    15430    312 |        8 |      309
1365.65/1366.10	c 1365s |      22 |  2266516 |  1928522 |    15430    312 |        8 |      309
1367.65/1368.16	c 1368s |      22 |  2269503 |  1930822 |    15430    312 |        8 |      309
1369.75/1370.24	c 1370s |      22 |  2272273 |  1933122 |    15430    312 |        8 |      309
1371.75/1372.27	c 1372s |      22 |  2275139 |  1935322 |    15430    313 |        8 |      309
1373.85/1374.34	c 1374s |      22 |  2278442 |  1938022 |    15430    313 |        8 |      309
1375.96/1376.41	c 1376s |      22 |  2281339 |  1940522 |    15430    313 |        8 |      309
1377.95/1378.45	c 1378s |      22 |  2283686 |  1942622 |    15430    314 |        8 |      309
1379.95/1380.46	c 1380s |      22 |  2286981 |  1945622 |    15430    314 |        8 |      309
1382.05/1382.57	c 1382s |      22 |  2289944 |  1948322 |    15430    314 |        8 |      309
1384.14/1384.62	c 1384s |      22 |  2293118 |  1950922 |    15430    315 |        8 |      309
1386.14/1386.67	c 1386s |      22 |  2296359 |  1953722 |    15430    315 |        8 |      309
1388.24/1388.75	c 1388s |      22 |  2299010 |  1956122 |    15430    315 |        8 |      309
1390.25/1390.75	c 1390s |      22 |  2301450 |  1958422 |    15430    316 |        8 |      309
1392.24/1392.79	c 1392s |      22 |  2303892 |  1960422 |    15430    316 |        8 |      309
1394.34/1394.81	c 1394s |      22 |  2306655 |  1962922 |    15430    316 |        8 |      309
1396.34/1396.82	c 1396s |      22 |  2308787 |  1964922 |    15430    316 |        8 |      309
1398.34/1398.86	c 1398s |      22 |  2311671 |  1967622 |    15430    317 |        8 |      309
1400.44/1400.90	c 1400s |      22 |  2314203 |  1970022 |    15430    317 |        8 |      309
1402.44/1402.91	c 1402s |      22 |  2316676 |  1972322 |    15430    317 |        8 |      309
1405.03/1405.57	c 1405s |      22 |  2318953 |  1974422 |    15430    318 |        8 |      309
1407.13/1407.60	c 1407s |      22 |  2322338 |  1976922 |    15430    318 |        8 |      309
1409.13/1409.63	c 1409s |      22 |  2325014 |  1979122 |    15430    318 |        8 |      309
1411.14/1411.68	c 1411s |      22 |  2327286 |  1981022 |    15430    319 |        8 |      309
1413.24/1413.76	c 1413s |      22 |  2330516 |  1983522 |    15430    319 |        8 |      309
1415.23/1415.76	c 1415s |      22 |  2332974 |  1985622 |    15430    319 |        8 |      309
1417.33/1417.89	c 1417s |      22 |  2335631 |  1987722 |    15430    319 |        8 |      309
1419.43/1419.91	c 1419s |      22 |  2337746 |  1989522 |    15430    320 |        8 |      309
1421.43/1421.91	c 1421s |      22 |  2340569 |  1991922 |    15430    320 |        8 |      309
1423.43/1423.99	c 1423s |      22 |  2343542 |  1994322 |    15430    320 |        8 |      309
1425.53/1426.06	c 1425s |      22 |  2346084 |  1996222 |    15430    320 |        8 |      309
1427.54/1428.07	c 1427s |      22 |  2348669 |  1998422 |    15430    321 |        8 |      309
1429.53/1430.07	c 1429s |      22 |  2351545 |  2000922 |    15430    321 |        8 |      309
1431.63/1432.10	c 1431s |      22 |  2353972 |  2003022 |    15430    321 |        8 |      309
1433.63/1434.12	c 1434s |      22 |  2356272 |  2005022 |    15430    322 |        8 |      309
1435.63/1436.14	c 1436s |      22 |  2359178 |  2007422 |    15430    322 |        8 |      309
1437.63/1438.16	c 1438s |      22 |  2361652 |  2009422 |    15430    322 |        8 |      309
1439.74/1440.23	c 1440s |      22 |  2364718 |  2011922 |    15430    322 |        8 |      309
1441.73/1442.24	c 1442s |      22 |  2367708 |  2014222 |    15430    323 |        8 |      309
1443.73/1444.24	c 1444s |      22 |  2370690 |  2016422 |    15430    323 |        8 |      309
1445.73/1446.29	c 1446s |      22 |  2373221 |  2018522 |    15430    323 |        8 |      309
1447.93/1448.46	c 1448s |      22 |  2376170 |  2020722 |    15430    324 |        8 |      309
1449.93/1450.48	c 1450s |      22 |  2379197 |  2023122 |    15430    324 |        8 |      309
1452.03/1452.52	c 1452s |      22 |  2381648 |  2025122 |    15430    324 |        8 |      309
1454.13/1454.62	c 1454s |      22 |  2383863 |  2027022 |    15430    324 |        8 |      309
1456.13/1456.66	c 1456s |      22 |  2386263 |  2029122 |    15430    325 |        8 |      309
1458.23/1458.72	c 1458s |      22 |  2389293 |  2031722 |    15430    325 |        8 |      309
1460.33/1460.80	c 1460s |      22 |  2391802 |  2033922 |    15430    325 |        8 |      309
1462.32/1462.83	c 1462s |      22 |  2394098 |  2035922 |    15430    326 |        8 |      309
1464.32/1464.87	c 1464s |      22 |  2397095 |  2038522 |    15430    326 |        8 |      309
1466.42/1466.92	c 1466s |      22 |  2399817 |  2040922 |    15430    326 |        8 |      309
1468.42/1468.94	c 1468s |      22 |  2402333 |  2043022 |    15430    326 |        8 |      309
1470.53/1471.01	c 1470s |      22 |  2405179 |  2045522 |    15430    327 |        8 |      309
1473.22/1473.75	c 1473s |      22 |  2408345 |  2048222 |    15430    327 |       13 |      376
1475.22/1475.75	c 1475s |      22 |  2411282 |  2050522 |    15430    327 |       13 |      376
1477.32/1477.80	c 1477s |      22 |  2414057 |  2052822 |    15430    327 |       13 |      376
1479.33/1479.82	c 1479s |      22 |  2416804 |  2055422 |    15430    327 |       13 |      376
1481.32/1481.84	c 1481s |      22 |  2419393 |  2057722 |    15430    327 |       13 |      376
1483.42/1483.91	c 1483s |      22 |  2421814 |  2059722 |    15430    328 |       13 |      376
1485.42/1485.92	c 1485s |      22 |  2424600 |  2062022 |    15430    328 |       13 |      376
1487.42/1487.99	c 1487s |      22 |  2427376 |  2064322 |    15430    328 |       13 |      376
1489.52/1490.02	c 1489s |      22 |  2429959 |  2066422 |    15430    328 |       13 |      376
1491.62/1492.10	c 1491s |      22 |  2432698 |  2068622 |    15430    329 |       13 |      376
1493.63/1494.14	c 1494s |      22 |  2435333 |  2070822 |    15430    329 |       13 |      376
1495.62/1496.20	c 1496s |      22 |  2438215 |  2073122 |    15430    329 |       13 |      376
1497.72/1498.24	c 1498s |      22 |  2440440 |  2075022 |    15430    329 |       13 |      376
1499.72/1500.27	c 1500s |      22 |  2443104 |  2077222 |    15430    330 |       13 |      376
1501.72/1502.28	c 1502s |      22 |  2445482 |  2079222 |    15430    330 |       13 |      376
1503.82/1504.33	c 1504s |      22 |  2447822 |  2081122 |    15430    330 |       13 |      376
1505.82/1506.34	c 1506s |      22 |  2450091 |  2082922 |    15430    330 |       13 |      376
1507.82/1508.36	c 1508s |      22 |  2453013 |  2085222 |    15430    331 |       13 |      376
1509.82/1510.40	c 1510s |      22 |  2455577 |  2087422 |    15430    331 |       13 |      376
1511.92/1512.47	c 1512s |      22 |  2458031 |  2089522 |    15430    331 |       13 |      376
1514.01/1514.53	c 1514s |      22 |  2460308 |  2091322 |    15430    332 |       13 |      376
1516.11/1516.63	c 1516s |      22 |  2463203 |  2093722 |    15430    332 |       13 |      376
1518.11/1518.63	c 1518s |      22 |  2465858 |  2095922 |    15430    332 |       13 |      376
1520.11/1520.67	c 1520s |      22 |  2468157 |  2097822 |    15430    332 |       13 |      376
1522.12/1522.69	c 1522s |      22 |  2470605 |  2099722 |    15430    333 |       13 |      376
1524.21/1524.76	c 1524s |      22 |  2473361 |  2101922 |    15430    333 |       13 |      376
1526.31/1526.81	c 1526s |      22 |  2476064 |  2104022 |    15430    333 |       13 |      376
1528.31/1528.84	c 1528s |      22 |  2478286 |  2105822 |    15430    333 |       13 |      376
1530.41/1530.94	c 1530s |      22 |  2480514 |  2107622 |    15430    334 |       13 |      376
1532.41/1532.96	c 1532s |      22 |  2483319 |  2109922 |    15430    334 |       13 |      376
1534.41/1534.97	c 1534s |      22 |  2485890 |  2112022 |    15430    334 |       13 |      376
1536.52/1537.02	c 1536s |      22 |  2488203 |  2113922 |    15430    334 |       13 |      376
1538.51/1539.07	c 1538s |      22 |  2490745 |  2116022 |    15430    335 |       13 |      376
1540.61/1541.15	c 1541s |      22 |  2493411 |  2118122 |    15430    335 |       13 |      376
1542.71/1543.24	c 1543s |      22 |  2495535 |  2119822 |    15430    335 |       13 |      376
1544.81/1545.31	c 1545s |      22 |  2497505 |  2121422 |    15430    335 |       13 |      376
1546.81/1547.37	c 1547s |      22 |  2499405 |  2122922 |    15430    336 |       13 |      376
1548.81/1549.39	c 1549s |      22 |  2501676 |  2124922 |    15430    336 |       13 |      376
1550.91/1551.48	c 1551s |      22 |  2503926 |  2126922 |    15430    336 |       13 |      376
1553.01/1553.58	c 1553s |      22 |  2506009 |  2128822 |    15430    336 |       13 |      376
1555.11/1555.62	c 1555s |      22 |  2508799 |  2131322 |    15430    337 |       13 |      376
1557.11/1557.68	c 1557s |      22 |  2511505 |  2133822 |    15430    337 |       13 |      376
1559.21/1559.72	c 1559s |      22 |  2513706 |  2135922 |    15430    337 |       13 |      376
1561.20/1561.79	c 1561s |      22 |  2515816 |  2137822 |    15430    338 |       13 |      376
1563.30/1563.87	c 1563s |      22 |  2518153 |  2140022 |    15430    338 |       13 |      376
1565.40/1565.91	c 1565s |      22 |  2520294 |  2142022 |    15430    338 |       13 |      376
1567.50/1568.01	c 1567s |      22 |  2522326 |  2143922 |    15430    338 |       13 |      376
1569.60/1570.18	c 1570s |      22 |  2524336 |  2145622 |    15430    339 |       13 |      376
1571.71/1572.21	c 1572s |      22 |  2527535 |  2148322 |    15430    339 |       13 |      376
1573.70/1574.25	c 1574s |      22 |  2530473 |  2150922 |    15430    339 |       13 |      376
1575.80/1576.33	c 1576s |      22 |  2533054 |  2153222 |    15430    339 |       13 |      376
1578.10/1578.63	c 1578s |      22 |  2535930 |  2155722 |    15430    340 |       13 |      376
1580.20/1580.71	c 1580s |      22 |  2539096 |  2158522 |    15430    340 |       13 |      376
1582.20/1582.77	c 1582s |      22 |  2541618 |  2160822 |    15430    340 |       13 |      376
1584.30/1584.82	c 1584s |      22 |  2544855 |  2163622 |    15430    341 |       13 |      376
1586.40/1586.92	c 1586s |      22 |  2548052 |  2166122 |    15430    341 |       13 |      376
1588.50/1589.00	c 1588s |      22 |  2550629 |  2168122 |    15430    341 |       13 |      376
1590.50/1591.08	c 1590s |      22 |  2553396 |  2170422 |    15430    342 |       13 |      376
1592.61/1593.14	c 1593s |      22 |  2556040 |  2172722 |    15430    342 |       13 |      376
1594.60/1595.18	c 1595s |      22 |  2558668 |  2174922 |    15430    342 |       13 |      376
1596.70/1597.25	c 1597s |      22 |  2560794 |  2176822 |    15430    343 |       13 |      376
1598.70/1599.26	c 1599s |      22 |  2563917 |  2179522 |    15430    343 |       13 |      376
1600.80/1601.32	c 1601s |      22 |  2566546 |  2181622 |    15430    343 |       13 |      376
1602.90/1603.41	c 1603s |      22 |  2569388 |  2183922 |    15430    343 |       13 |      376
1604.90/1605.44	c 1605s |      22 |  2572256 |  2186322 |    15430    344 |       13 |      376
1606.91/1607.49	c 1607s |      22 |  2574641 |  2188322 |    15430    344 |       13 |      376
1609.01/1609.53	c 1609s |      22 |  2577446 |  2190722 |    15430    344 |       13 |      376
1611.00/1611.55	c 1611s |      22 |  2579768 |  2192622 |    15430    345 |       13 |      376
1613.10/1613.60	c 1613s |      22 |  2582200 |  2194722 |    15430    345 |       13 |      376
1615.20/1615.70	c 1615s |      22 |  2584852 |  2197122 |    15430    345 |       13 |      376
1617.20/1617.77	c 1617s |      22 |  2587094 |  2199122 |    15430    345 |       13 |      376
1619.40/1619.99	c 1619s |      22 |  2589076 |  2201022 |    15430    346 |       13 |      376
1621.50/1622.02	c 1621s |      22 |  2592824 |  2203922 |    15430    346 |       13 |      376
1623.50/1624.04	c 1623s |      22 |  2595588 |  2206222 |    15430    346 |       13 |      376
1625.51/1626.09	c 1625s |      22 |  2597814 |  2208022 |    15430    347 |       13 |      376
1627.60/1628.13	c 1628s |      22 |  2601073 |  2210622 |    15430    347 |       13 |      376
1629.60/1630.15	c 1630s |      22 |  2603516 |  2212622 |    15430    347 |       13 |      376
1631.70/1632.25	c 1632s |      22 |  2605961 |  2214722 |    15430    347 |       13 |      376
1633.70/1634.29	c 1634s |      22 |  2608261 |  2216722 |    15430    348 |       13 |      376
1635.80/1636.34	c 1636s |      22 |  2611116 |  2219122 |    15430    348 |       13 |      376
1637.80/1638.39	c 1638s |      22 |  2614254 |  2221622 |    15430    348 |       13 |      376
1639.91/1640.49	c 1640s |      22 |  2616610 |  2223622 |    15430    349 |       13 |      376
1641.90/1642.49	c 1642s |      22 |  2619774 |  2226422 |    15430    349 |       13 |      376
1644.00/1644.51	c 1644s |      22 |  2622547 |  2228822 |    15430    349 |       13 |      376
1646.00/1646.55	c 1646s |      22 |  2625144 |  2231022 |    15430    349 |       13 |      376
1648.20/1648.74	c 1648s |      22 |  2627427 |  2233022 |    15430    350 |       13 |      376
1650.20/1650.75	c 1650s |      22 |  2630710 |  2235822 |    16973    350 |       13 |      376
1652.30/1652.83	c 1652s |      22 |  2633211 |  2238022 |    16973    350 |       13 |      376
1654.30/1654.88	c 1654s |      22 |  2635491 |  2239922 |    16973    350 |       13 |      376
1656.40/1656.94	c 1656s |      22 |  2637898 |  2242022 |    16973    351 |       13 |      376
1658.40/1658.99	c 1658s |      22 |  2640575 |  2244322 |    16973    351 |       13 |      376
1660.50/1661.00	c 1660s |      22 |  2643167 |  2246622 |    16973    351 |       13 |      376
1662.50/1663.06	c 1662s |      22 |  2645616 |  2248622 |    16973    351 |       13 |      376
1664.60/1665.12	c 1665s |      22 |  2647465 |  2250222 |    16973    352 |       13 |      376
1664.99/1665.57	c 1665s |      23 |  2648333 |  2251038 |    16973    352 |       13 |      376
1667.09/1667.60	c 1667s |      23 |  2651094 |  2253438 |    16973    352 |       13 |      376
1669.19/1669.71	c 1669s |      23 |  2653579 |  2255638 |    16973    352 |       13 |      376
1671.19/1671.76	c 1671s |      23 |  2655793 |  2257538 |    16973    352 |       13 |      376
1673.29/1673.83	c 1673s |      23 |  2658413 |  2259738 |    16973    353 |       13 |      376
1675.29/1675.87	c 1675s |      23 |  2661082 |  2262038 |    16973    353 |       13 |      376
1677.39/1677.95	c 1677s |      23 |  2663363 |  2264038 |    16973    353 |       13 |      376
1679.40/1680.00	c 1679s |      23 |  2665497 |  2265838 |    16973    353 |       13 |      376
1681.49/1682.02	c 1681s |      23 |  2667550 |  2267538 |    16973    354 |       13 |      376
1683.49/1684.04	c 1683s |      23 |  2670156 |  2269838 |    16973    354 |       13 |      376
1685.49/1686.06	c 1685s |      23 |  2672518 |  2271838 |    16973    354 |       13 |      376
1687.59/1688.14	c 1688s |      23 |  2674824 |  2273738 |    16973    354 |       13 |      376
1689.59/1690.16	c 1690s |      23 |  2677269 |  2275638 |    16973    355 |       13 |      376
1691.60/1692.17	c 1692s |      23 |  2679902 |  2277838 |    16973    355 |       13 |      376
1693.59/1694.19	c 1694s |      23 |  2682261 |  2279738 |    16973    355 |       13 |      376
1695.69/1696.27	c 1696s |      23 |  2684600 |  2281738 |    16973    355 |       13 |      376
1697.79/1698.35	c 1698s |      23 |  2686786 |  2283638 |    16973    356 |       13 |      376
1699.89/1700.40	c 1700s |      23 |  2689238 |  2285738 |    16973    356 |       13 |      376
1701.89/1702.48	c 1702s |      23 |  2692196 |  2288238 |    16973    356 |       13 |      376
1703.89/1704.49	c 1704s |      23 |  2694653 |  2290338 |    16973    356 |       13 |      376
1705.99/1706.54	c 1706s |      23 |  2696800 |  2292138 |    16973    357 |       13 |      376
1707.99/1708.55	c 1708s |      23 |  2699561 |  2294338 |    16973    357 |       13 |      376
1710.09/1710.63	c 1710s |      23 |  2702487 |  2296738 |    16973    357 |       13 |      376
1712.19/1712.73	c 1712s |      23 |  2705120 |  2298938 |    16973    357 |       13 |      376
1714.19/1714.78	c 1714s |      23 |  2707435 |  2300838 |    16973    358 |       13 |      376
1716.29/1716.80	c 1716s |      23 |  2710131 |  2303038 |    16973    358 |       13 |      376
1718.28/1718.83	c 1718s |      23 |  2713136 |  2305538 |    16973    358 |       13 |      376
1720.28/1720.88	c 1720s |      23 |  2715944 |  2307638 |    16973    358 |       13 |      376
1722.29/1722.88	c 1722s |      23 |  2718229 |  2309538 |    16973    359 |       13 |      376
1724.38/1724.90	c 1724s |      23 |  2721160 |  2312138 |    16973    359 |       13 |      376
1726.38/1726.93	c 1726s |      23 |  2723668 |  2314238 |    16973    359 |       13 |      376
1728.48/1729.03	c 1728s |      23 |  2725962 |  2316138 |    16973    359 |       13 |      376
1730.48/1731.09	c 1730s |      23 |  2727883 |  2317838 |    16973    359 |       13 |      376
1732.58/1733.10	c 1732s |      23 |  2730005 |  2319638 |    16973    360 |       13 |      376
1734.58/1735.19	c 1735s |      23 |  2732277 |  2321638 |    16973    360 |       13 |      376
1736.69/1737.29	c 1737s |      23 |  2735020 |  2323738 |    16973    360 |       13 |      376
1738.79/1739.35	c 1739s |      23 |  2737022 |  2325438 |    16973    360 |       13 |      376
1740.78/1741.36	c 1741s |      23 |  2739008 |  2327138 |    16973    361 |       13 |      376
1742.78/1743.37	c 1743s |      23 |  2741321 |  2329138 |    16973    361 |       13 |      376
1744.78/1745.39	c 1745s |      23 |  2743414 |  2330938 |    16973    361 |       13 |      376
1746.88/1747.48	c 1747s |      23 |  2745310 |  2332638 |    16973    361 |       13 |      376
1748.98/1749.56	c 1749s |      23 |  2748282 |  2334938 |    16973    361 |       13 |      376
1750.98/1751.59	c 1751s |      23 |  2751313 |  2337338 |    16973    362 |       13 |      376
1753.18/1753.70	c 1753s |      23 |  2753895 |  2339438 |    16973    362 |       13 |      376
1755.28/1755.81	c 1755s |      23 |  2756204 |  2341338 |    16973    362 |       13 |      376
1757.28/1757.84	c 1757s |      23 |  2758726 |  2343238 |    16973    362 |       13 |      376
1759.28/1759.84	c 1759s |      23 |  2761699 |  2345538 |    16973    363 |       13 |      376
1761.38/1761.90	c 1761s |      23 |  2764608 |  2347838 |    16973    363 |       13 |      376
1763.38/1763.99	c 1763s |      23 |  2767150 |  2349838 |    16973    363 |       13 |      376
1765.58/1766.14	c 1766s |      23 |  2769354 |  2351538 |    16973    363 |       13 |      376
1767.58/1768.16	c 1768s |      23 |  2771410 |  2353238 |    16973    364 |       13 |      376
1769.68/1770.27	c 1770s |      23 |  2774165 |  2355338 |    16973    364 |       13 |      376
1771.78/1772.34	c 1772s |      23 |  2776767 |  2357438 |    16973    364 |       13 |      376
1773.88/1774.42	c 1774s |      23 |  2779107 |  2359338 |    16973    364 |       13 |      376
1775.88/1776.46	c 1776s |      23 |  2781387 |  2361138 |    16973    365 |       13 |      376
1777.87/1778.48	c 1778s |      23 |  2784067 |  2363338 |    16973    365 |       13 |      376
1779.87/1780.48	c 1780s |      23 |  2786368 |  2365238 |    16973    365 |       13 |      376
1781.97/1782.57	c 1782s |      23 |  2788737 |  2367038 |    16973    365 |       13 |      376
1784.07/1784.63	c 1784s |      23 |  2791160 |  2368938 |    16973    365 |       13 |      376
1786.08/1786.66	c 1786s |      23 |  2793312 |  2370638 |    16973    366 |       13 |      376
1788.17/1788.73	c 1788s |      23 |  2796433 |  2373138 |    16973    366 |       13 |      376
1790.17/1790.76	c 1790s |      23 |  2798880 |  2375038 |    16973    366 |       13 |      376
1792.27/1792.85	c 1792s |      23 |  2801539 |  2377038 |    16973    366 |       13 |      376
1794.37/1794.94	c 1794s |      23 |  2804097 |  2378938 |    16973    367 |       13 |      376
1796.37/1796.94	c 1796s |      23 |  2806963 |  2381138 |    16973    367 |       13 |      376
1798.47/1799.01	c 1798s |      23 |  2809523 |  2383138 |    16973    367 |       13 |      376

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-4097751-1466118481/watcher-4097751-1466118481 -o /tmp/evaluation-result-4097751-1466118481/solver-4097751-1466118481 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466116252-18781 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097751-1466118481.opb 

pid=19963
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.33 2.30 2.35 3/177 19966
/proc/meminfo: memFree=29356516/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=516540 CPUtime=0 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 1891 0 0 0 0 0 0 0 20 0 4 0 13895029 528936960 1740 33554432000 4194304 16246674 140734902132752 140734902132176 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 129647 1750 441 2943 0 126541 0
[pid=19966/tid=19967] ppid=19963 vsize=532924 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 545714176 1806 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=537020 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 549908480 1822 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=541116 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13895029 554102784 1837 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.33 2.30 2.35 3/177 19966
/proc/meminfo: memFree=29356516/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 20441 0 0 0 7 2 0 0 20 0 4 0 13895029 1249447936 20228 33554432000 4194304 16246674 140734902132752 140734902132064 5516309 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 305041 20236 836 2943 0 301935 0
[pid=19966/tid=19967] ppid=19963 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1249447936 20242 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1249447936 20247 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13895029 1249447936 20252 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200459 s]
/proc/loadavg: 2.33 2.30 2.35 3/177 19966
/proc/meminfo: memFree=29356516/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 40625 0 0 0 14 5 0 0 20 0 4 0 13895029 1249447936 40413 33554432000 4194304 16246674 140734902132752 140734902132064 5675010 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 305041 40422 878 2943 0 301935 0
[pid=19966/tid=19967] ppid=19963 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1249447936 40427 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1249447936 40431 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13895029 1249447936 40437 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300449 s]
/proc/loadavg: 2.33 2.30 2.35 3/177 19966
/proc/meminfo: memFree=29356516/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1220164 CPUtime=0.28 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 60931 0 0 0 20 8 0 0 20 0 4 0 13895029 1249447936 60718 33554432000 4194304 16246674 140734902132752 140734902132064 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 305041 60728 878 2943 0 301935 0
[pid=19966/tid=19967] ppid=19963 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1249447936 60735 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1249447936 60742 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13895029 1249447936 60749 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1220164

[startup+0.700356 s]
/proc/loadavg: 2.33 2.30 2.35 3/177 19966
/proc/meminfo: memFree=29356516/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1220164 CPUtime=0.68 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 145766 0 0 0 49 19 0 0 20 0 4 0 13895029 1249447936 145553 33554432000 4194304 16246674 140734902132752 140734902114624 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 305041 145563 878 2943 0 301935 0
[pid=19966/tid=19967] ppid=19963 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1249447936 145570 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1249447936 145576 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13895029 1249447936 145582 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1220164

[startup+1.50048 s]
/proc/loadavg: 2.33 2.30 2.35 4/181 19970
/proc/meminfo: memFree=28308188/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1302084 CPUtime=1.48 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 266497 0 0 0 113 35 0 0 20 0 4 0 13895029 1333334016 266284 33554432000 4194304 16246674 140734902132752 140734902114624 5532280 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 325521 266284 881 2943 0 322415 0
[pid=19966/tid=19967] ppid=19963 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1333334016 266284 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1333334016 266284 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1333334016 266284 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1302084

[startup+3.10035 s]
/proc/loadavg: 2.33 2.30 2.35 4/181 19970
/proc/meminfo: memFree=28286364/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 267805 0 0 0 273 35 0 0 20 0 4 0 13895029 1338576896 267592 33554432000 4194304 16246674 140734902132752 140734902114624 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 326801 267592 883 2943 0 323695 0
[pid=19966/tid=19967] ppid=19963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1338576896 267592 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1338576896 267592 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1338576896 267592 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30035 s]
/proc/loadavg: 2.38 2.31 2.35 3/181 19970
/proc/meminfo: memFree=28279524/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1314372 CPUtime=6.29 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 269649 0 0 0 593 36 0 0 20 0 4 0 13895029 1345916928 269436 33554432000 4194304 16246674 140734902132752 140734902114624 5675549 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 328593 269436 887 2943 0 325487 0
[pid=19966/tid=19967] ppid=19963 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1345916928 269436 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1345916928 269436 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1345916928 269436 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.43 2.32 2.36 3/180 19970
/proc/meminfo: memFree=28276892/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1318468 CPUtime=12.69 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 270805 0 0 0 1233 36 0 0 20 0 4 0 13895029 1350111232 270592 33554432000 4194304 16246674 140734902132752 140734902131928 5664803 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 329617 270592 887 2943 0 326511 0
[pid=19966/tid=19967] ppid=19963 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1350111232 270592 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1350111232 270592 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1350111232 270592 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1318468

[startup+25.5004 s]
/proc/loadavg: 2.41 2.32 2.36 3/181 19971
/proc/meminfo: memFree=28277980/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1318468 CPUtime=25.49 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 270805 0 0 0 2513 36 0 0 20 0 4 0 13895029 1350111232 270592 33554432000 4194304 16246674 140734902132752 140734902115752 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 329617 270592 887 2943 0 326511 0
[pid=19966/tid=19967] ppid=19963 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1350111232 270592 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1350111232 270592 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1350111232 270592 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468

[startup+51.1003 s]
/proc/loadavg: 2.33 2.31 2.35 4/181 19971
/proc/meminfo: memFree=28268660/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1327684 CPUtime=51.09 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 273109 0 0 0 5072 37 0 0 20 0 4 0 13895029 1359548416 272896 33554432000 4194304 16246674 140734902132752 140734902114624 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 331921 272896 887 2943 0 328815 0
[pid=19966/tid=19967] ppid=19963 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1359548416 272896 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1359548416 272896 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1359548416 272896 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1327684

[startup+102.3 s]
/proc/loadavg: 2.37 2.32 2.35 4/181 19972
/proc/meminfo: memFree=28270776/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1327684 CPUtime=102.28 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 273110 0 0 0 10191 37 0 0 20 0 4 0 13895029 1359548416 272897 33554432000 4194304 16246674 140734902132752 140734902114624 5677667 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 331921 272897 888 2943 0 328815 0
[pid=19966/tid=19967] ppid=19963 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1359548416 272897 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1359548416 272897 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1359548416 272897 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1327684


################
# More data... #
################

/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1350212

[startup+1302.3 s]
/proc/loadavg: 2.12 2.21 2.25 3/181 20003
/proc/meminfo: memFree=28230200/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1350212 CPUtime=1301.88 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 279090 0 0 0 130143 45 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140734902114624 5754966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 337553 278785 888 2943 0 334447 0
[pid=19966/tid=19967] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1350212

[startup+1362.3 s]
/proc/loadavg: 2.17 2.21 2.24 4/182 20007
/proc/meminfo: memFree=28230492/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1350212 CPUtime=1361.86 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 279125 0 0 0 136140 46 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140734902114624 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 337553 278785 888 2943 0 334447 0
[pid=19966/tid=19967] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1350212

[startup+1422.3 s]
/proc/loadavg: 2.30 2.23 2.25 3/181 20008
/proc/meminfo: memFree=28230756/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1350212 CPUtime=1421.83 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 279148 0 0 0 142137 46 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140734902114624 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 337553 278785 888 2943 0 334447 0
[pid=19966/tid=19967] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1350212

[startup+1482.3 s]
/proc/loadavg: 2.22 2.22 2.24 3/181 20009
/proc/meminfo: memFree=28218780/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1350212 CPUtime=1481.82 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 279148 0 0 0 148136 46 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140734902131928 5721729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 337553 278785 888 2943 0 334447 0
[pid=19966/tid=19967] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1350212

[startup+1542.3 s]
/proc/loadavg: 2.37 2.27 2.26 3/181 20060
/proc/meminfo: memFree=28259344/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1350212 CPUtime=1541.81 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 279148 0 0 0 154135 46 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140734902114624 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 337553 278785 888 2943 0 334447 0
[pid=19966/tid=19967] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1350212

[startup+1602.3 s]
/proc/loadavg: 2.27 2.26 2.25 3/181 20061
/proc/meminfo: memFree=28259076/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1350212 CPUtime=1601.8 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 279148 0 0 0 160134 46 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140734902114624 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 337553 278785 888 2943 0 334447 0
[pid=19966/tid=19967] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1350212

[startup+1662.3 s]
/proc/loadavg: 2.19 2.24 2.25 3/181 20062
/proc/meminfo: memFree=28258972/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1350212 CPUtime=1661.8 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 279148 0 0 0 166133 47 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140734902114624 5677731 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 337553 278785 888 2943 0 334447 0
[pid=19966/tid=19967] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1350212

[startup+1722.3 s]
/proc/loadavg: 2.21 2.24 2.25 3/181 20063
/proc/meminfo: memFree=28258856/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1350212 CPUtime=1721.78 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 279148 0 0 0 172131 47 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140734902114624 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 337553 278785 888 2943 0 334447 0
[pid=19966/tid=19967] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1350212

[startup+1782.31 s]
/proc/loadavg: 2.21 2.23 2.24 3/181 20064
/proc/meminfo: memFree=28258688/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1350212 CPUtime=1781.78 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 279148 0 0 0 178131 47 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140734902115752 13927331 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 337553 278785 888 2943 0 334447 0
[pid=19966/tid=19967] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1350212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.15 2.22 2.24 3/181 20064
/proc/meminfo: memFree=28258440/32872528 swapFree=1315980/1463148
[pid=19966] ppid=19963 vsize=1350212 CPUtime=1800.07 cores=0,2,4,6
/proc/19966/stat : 19966 (toysat) R 19963 19966 14504 0 -1 4202496 279148 0 0 0 179960 47 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140734902114624 13943668 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 337553 278785 888 2943 0 334447 0
[pid=19966/tid=19967] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19967/stat : 19967 (toysat) S 19963 19966 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176088083696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19966/tid=19968] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19968/stat : 19968 (toysat) S 19963 19966 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176077593840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19966/tid=19969] ppid=19963 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/19966/task/19969/stat : 19969 (toysat) S 19963 19966 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13895029 1382617088 278785 33554432000 4194304 16246674 140734902132752 140176067120304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1350212

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 19966 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.61
CPU system time (s): 0.474927
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1350212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.474927
maximum resident set size= 1115140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279148
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= 421
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43333 second user time and 5.80712 second system time

The end

Begin job on node121 at 2016-06-17 01:08:01
IDJOB=4097751
IDBENCH=107802
IDSOLVER=2542
FILE ID=node121/4097751-1466118481
RUNJOBID= node121-1466116252-18781
PBS_JOBID= 19904064
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_24.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097751-1466118481/watcher-4097751-1466118481 -o /tmp/evaluation-result-4097751-1466118481/solver-4097751-1466118481 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466116252-18781 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097751-1466118481.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9cabd0fc9543e44827967e2c0b19c481
RANDOM SEED=1791800359

node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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:        29357160 kB
Buffers:           53544 kB
Cached:           172044 kB
SwapCached:         2484 kB
Active:          1236832 kB
Inactive:         104388 kB
Active(anon):    1115968 kB
Inactive(anon):     1896 kB
Active(file):     120864 kB
Inactive(file):   102492 kB
Unevictable:     1463148 kB
Mlocked:         1315980 kB
SwapTotal:      67108856 kB
SwapFree:       67099892 kB
Dirty:             16536 kB
Writeback:             0 kB
AnonPages:       2576844 kB
Mapped:            10624 kB
Shmem:                 0 kB
Slab:             570452 kB
SReclaimable:      14348 kB
SUnreclaim:       556104 kB
KernelStack:        1440 kB
PageTables:         8700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2708684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71684 MiB
End job on node121 at 2016-06-17 01:38:02