0.00/0.00	c 2016-06-18T21:46:53+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-4106850-1466279213.opb"]
0.00/0.01	c use --random-gen="57549852 2037448190 3973319738 1159900159 3128809753 4151035405 4041450049 2698469148 2073123425 2874143227 608088501 4038363665 2278026583 4292305173 1491443265 3868673691 1351657615 1833267448 3952760150 967736383 2114041210 1657798437 1542335850 472347893 1582630414 3201635060 577848106 3751892060 3364885015 331586383 3108556753 521452851 611334209 905517765 1654828157 2634563921 1962879393 3462876077 3028732805 497628225 3889600587 1343889642 2128154535 259958891 1419354854 620465560 2509343512 2205633130 478470725 3539705631 186902770 245582951 375958668 2096748600 3930670927 3556006123 1569660511 3286430300 1961187064 2366075988 2665340645 1357421587 2568437798 2507915828 843255455 2035628439 2072231497 3188018383 1634770640 935859388 1388468508 4211834838 2704734409 3107042479 1198098265 981541700 2458605167 2308212750 1710813751 4004742306 2839230149 3613379607 1252212247 3601103061 1658240872 1148151044 438514989 648837885 42993155 2722958664 1492632568 4044083380 3505493317 3397550653 164880068 2538851787 3068955182 808285336 3226149813 939057219 2867013588 4215534239 521558888 4284314290 3181959613 1887838506 2452650527 1695741698 1456879516 1425998419 2725780740 2065481881 3529208873 2895490407 3489218535 1398572443 3689561637 2323146719 1881689675 58573208 2080977745 14430227 843918010 3918116843 3534831452 2465847272 3396517599 4124924988 4157543491 308289769 1124406614 3618001094 4189861986 4256545281 1284254997 3896422955 3393486969 765859873 3615630246 1024654739 3104018258 4285559467 1355507576 3219034121 88049815 2317774654 2517283349 441337971 2150140258 912847819 3044081674 1317021867 98869154 3465671189 1076321818 4271079334 2931340417 3428450223 3125948989 1203710185 3010250880 3642668381 1176080494 4086341444 1165772649 645836721 2083304754 950429336 2322124546 3883021100 3427513776 3682846537 701677096 3779345389 1968878163 1369265249 3785379720 3282184785 2868088756 1275056362 580229461 1441564484 3336389908 3264534284 3319567962 1989180784 1889076333 1878943779 49624666 2448789988 461852695 3776229566 1790211486 1060712226 1231885824 3393112480 84116965 319731164 333012656 3247856233 960475800 2657596069 1405012471 3555030093 2222946816 934441580 1681999831 1199880261 1835329246 773384675 3657988241 3407778794 41274248 974576610 3887673360 204215170 3621515936 4167950594 298827377 3510051577 306569010 1645145116 22433688 3645161084 3242446420 3676204983 2859616783 2478457473 4050347974 2614562031 5031878 3055825545 1739431582 2313664848 235859954 1215007317 3571570694 3181257080 1775955701 2008480905 2392279420 2101323495 1702215341 2141541648 2889761681 1860452636 3616307237 1927110033 2474328223 1322512016 1826796052 1814231237 2321596114 353177387 4293565527 503524702 255 362436" option to reproduce the execution
0.00/0.02	c #vars 200
0.00/0.02	c #constraints 302
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |     1006      0 |        0 |        0
0.09/0.11	c  0.1s |       1 |      248 |      100 |     1006      0 |        0 |        0
0.09/0.15	c  0.1s |       2 |     2225 |      250 |     1107      0 |        0 |        0
0.19/0.24	c  0.2s |       3 |     2557 |      475 |     1218      0 |        0 |        0
0.39/0.40	c  0.3s |       4 |     2987 |      813 |     1340      0 |        0 |        0
0.59/0.65	c  0.6s |       5 |     3601 |     1320 |     1475      0 |        0 |        0
0.98/1.05	c  1.0s |       6 |     4532 |     2081 |     1786      1 |        0 |        0
1.39/1.45	c  1.4s |       7 |     5880 |     3223 |     1965      2 |        0 |        0
1.98/2.06	c  2.0s |       8 |     8004 |     4936 |     2162      3 |        0 |        0
2.98/3.04	c  3.0s |       9 |    10944 |     7506 |     2379      6 |        0 |        0
4.38/4.41	c  4.4s |      10 |    15277 |    11361 |     2617      9 |        0 |        0
6.38/6.41	c  6.4s |      10 |    21538 |    16861 |     2617     13 |        0 |        0
6.48/6.52	c  6.5s |      11 |    21844 |    17144 |     2879     13 |        0 |        0
8.48/8.54	c  8.5s |      11 |    28384 |    22944 |     2879     16 |        0 |        0
9.38/9.43	c  9.4s |      12 |    31677 |    25819 |     3167     18 |        0 |        0
11.40/11.45	c 11.4s |      12 |    38298 |    31519 |     3167     22 |        0 |        0
13.39/13.48	c 13.4s |      12 |    44569 |    37219 |     3167     25 |        0 |        0
14.09/14.10	c 14.0s |      13 |    46247 |    38832 |     3484     26 |        0 |        0
16.09/16.10	c 16.1s |      13 |    51802 |    43932 |     3484     29 |        0 |        0
18.09/18.12	c 18.1s |      13 |    57311 |    49032 |     3484     32 |        0 |        0
20.09/20.14	c 20.1s |      13 |    64342 |    55032 |     3484     35 |        0 |        0
21.19/21.26	c 21.2s |      14 |    68019 |    58352 |     3833     37 |        0 |        0
23.19/23.28	c 23.2s |      14 |    73491 |    63252 |     3833     39 |        0 |        0
25.18/25.29	c 25.2s |      14 |    79659 |    68652 |     3833     42 |        0 |        0
27.28/27.31	c 27.3s |      14 |    85002 |    73652 |     3833     45 |        0 |        0
29.28/29.32	c 29.3s |      14 |    91151 |    79252 |     3833     47 |        0 |        0
31.28/31.33	c 31.3s |      14 |    96921 |    84652 |     3833     50 |        0 |        0
32.38/32.44	c 32.4s |      15 |   100311 |    87632 |     4217     51 |        0 |        0
34.39/34.44	c 34.4s |      15 |   105529 |    92432 |     4217     54 |        0 |        0
36.38/36.44	c 36.4s |      15 |   111308 |    97732 |     4217     56 |        0 |        0
38.38/38.47	c 38.4s |      15 |   117455 |   103132 |     4217     59 |        0 |        0
40.38/40.50	c 40.4s |      15 |   123780 |   108732 |     4217     61 |        0 |        0
42.48/42.52	c 42.5s |      15 |   129939 |   114232 |     4217     64 |        0 |        0
44.48/44.54	c 44.5s |      15 |   135968 |   119432 |     4217     66 |        0 |        0
46.49/46.54	c 46.5s |      15 |   142402 |   124932 |     4217     69 |        0 |        0
48.48/48.56	c 48.5s |      15 |   148996 |   130732 |     4639     71 |        0 |        0
48.79/48.86	c 48.8s |      16 |   149959 |   131552 |     4639     72 |        0 |        0
50.78/50.88	c 50.8s |      16 |   154767 |   135952 |     4639     73 |        0 |        0
52.78/52.89	c 52.8s |      16 |   159914 |   140752 |     4639     75 |        0 |        0
54.78/54.89	c 54.8s |      16 |   165895 |   145952 |     4639     78 |        0 |        0
56.88/56.92	c 56.9s |      16 |   172071 |   151352 |     4639     80 |        0 |        0
58.88/58.94	c 58.9s |      16 |   178078 |   156652 |     4639     82 |        0 |        0
60.88/60.97	c 60.9s |      16 |   183704 |   161752 |     4639     84 |        0 |        0
62.88/62.99	c 62.9s |      16 |   189544 |   166952 |     4639     86 |        0 |        0
64.98/65.02	c 65.0s |      16 |   195937 |   172452 |     4639     89 |        0 |        0
66.97/67.05	c 67.0s |      16 |   202323 |   178052 |     4639     91 |        0 |        0
68.97/69.08	c 69.0s |      16 |   209007 |   183952 |     4639     94 |        0 |        0
71.27/71.33	c 71.3s |      16 |   215779 |   189752 |     4639     96 |        0 |        0
73.27/73.37	c 73.3s |      16 |   221853 |   195052 |     4639     98 |        0 |        0
74.17/74.23	c 74.2s |      17 |   224644 |   197432 |     5103     99 |        0 |        0
76.18/76.27	c 76.2s |      17 |   229670 |   202032 |     5103    101 |        0 |        0
78.27/78.32	c 78.3s |      17 |   235555 |   207232 |     5103    103 |        0 |        0
80.27/80.34	c 80.3s |      17 |   242356 |   213132 |     5103    105 |        0 |        0
82.27/82.35	c 82.3s |      17 |   249544 |   219132 |     5103    108 |        0 |        0
84.27/84.38	c 84.3s |      17 |   254875 |   223732 |     5103    109 |        0 |        0
86.37/86.41	c 86.4s |      17 |   261050 |   229032 |     5103    111 |        0 |        0
88.38/88.44	c 88.4s |      17 |   267447 |   234532 |     5103    113 |        0 |        0
90.37/90.46	c 90.4s |      17 |   273741 |   240132 |     5103    116 |        0 |        0
92.37/92.47	c 92.4s |      17 |   280858 |   246332 |     5103    118 |        0 |        0
94.37/94.47	c 94.4s |      17 |   285704 |   250632 |     5103    120 |        0 |        0
96.37/96.50	c 96.4s |      17 |   291936 |   256232 |     5103    122 |        0 |        0
98.47/98.51	c 98.5s |      17 |   297565 |   261232 |     5103    124 |        0 |        0
100.47/100.51	c  100s |      17 |   303004 |   266132 |     5103    126 |        0 |        0
102.48/102.54	c  102s |      17 |   308486 |   271132 |     5103    127 |        0 |        0
104.48/104.55	c  104s |      17 |   314584 |   276532 |     5103    130 |        0 |        0
106.47/106.57	c  106s |      17 |   320429 |   281732 |     5103    132 |        0 |        0
108.47/108.58	c  108s |      17 |   326836 |   287332 |     5103    134 |        0 |        0
110.47/110.59	c  110s |      17 |   334170 |   293532 |     5103    136 |        0 |        0
111.57/111.60	c  111s |      18 |   337388 |   296252 |     5614    137 |        0 |        0
113.58/113.65	c  113s |      18 |   342335 |   300152 |     5614    138 |        0 |        0
115.57/115.69	c  115s |      18 |   347472 |   304752 |     5614    140 |        0 |        0
117.67/117.71	c  117s |      18 |   353520 |   309952 |     5614    142 |        0 |        0
119.67/119.72	c  119s |      18 |   358952 |   314952 |     5614    143 |        0 |        0
121.67/121.74	c  121s |      18 |   365189 |   320252 |     5614    145 |        0 |        0
123.67/123.77	c  123s |      18 |   371607 |   325752 |     5614    147 |        0 |        0
125.77/125.81	c  125s |      18 |   378290 |   331652 |     5614    149 |        0 |        0
127.77/127.81	c  127s |      18 |   384910 |   337552 |     5614    151 |        0 |        0
129.76/129.84	c  129s |      18 |   389201 |   341252 |     5614    153 |        0 |        0
131.76/131.86	c  131s |      18 |   395249 |   346552 |     5614    154 |        0 |        0
133.76/133.87	c  133s |      18 |   400442 |   351052 |     5614    156 |        0 |        0
135.76/135.87	c  135s |      18 |   406897 |   356652 |     5614    158 |        0 |        0
137.77/137.88	c  137s |      18 |   412325 |   361452 |     5614    160 |        0 |        0
139.76/139.88	c  139s |      18 |   418291 |   366552 |     5614    161 |        0 |        0
141.86/141.98	c  141s |      18 |   424276 |   371852 |     5614    163 |        0 |        0
143.96/144.00	c  143s |      18 |   430213 |   377252 |     5614    165 |        0 |        0
145.96/146.03	c  145s |      18 |   436641 |   382752 |     5614    167 |        0 |        0
147.96/148.03	c  147s |      18 |   443408 |   388652 |     5614    169 |        0 |        0
149.97/150.04	c  149s |      18 |   449726 |   393652 |     5614    171 |        0 |        0
151.96/152.05	c  152s |      18 |   455914 |   398952 |     5614    173 |        0 |        0
153.97/154.06	c  154s |      18 |   462128 |   404252 |     5614    175 |        0 |        0
155.97/156.06	c  156s |      18 |   468368 |   409752 |     5614    177 |        0 |        0
157.97/158.09	c  158s |      18 |   474616 |   415252 |     5614    179 |        0 |        0
160.17/160.27	c  160s |      18 |   481136 |   420852 |     5614    180 |        0 |        0
162.17/162.29	c  162s |      18 |   487320 |   426452 |     5614    182 |        0 |        0
164.27/164.31	c  164s |      18 |   492990 |   431552 |     5614    184 |        0 |        0
166.26/166.33	c  166s |      18 |   498738 |   436752 |     5614    186 |        0 |        0
168.26/168.35	c  168s |      18 |   505505 |   442652 |     6176    188 |        0 |        0
168.96/169.01	c  168s |      19 |   507827 |   444482 |     6176    189 |        0 |        0
170.96/171.02	c  170s |      19 |   512681 |   448482 |     6176    190 |        0 |        0
172.97/173.03	c  172s |      19 |   518719 |   453782 |     6176    191 |        0 |        0
175.06/175.12	c  175s |      19 |   524259 |   458682 |     6176    193 |        0 |        0
177.06/177.14	c  177s |      19 |   529228 |   463182 |     6176    194 |        0 |        0
179.06/179.16	c  179s |      19 |   534971 |   468182 |     6176    196 |        0 |        0
181.06/181.16	c  181s |      19 |   539787 |   472682 |     6176    198 |        0 |        0
183.06/183.19	c  183s |      19 |   545451 |   477782 |     6176    199 |        0 |        0
185.17/185.20	c  185s |      19 |   551095 |   482882 |     6176    201 |        0 |        0
187.16/187.21	c  187s |      19 |   555714 |   487182 |     6176    202 |        0 |        0
189.16/189.24	c  189s |      19 |   561288 |   492182 |     6176    204 |        0 |        0
191.16/191.25	c  191s |      19 |   567098 |   497182 |     6176    205 |        0 |        0
193.16/193.28	c  193s |      19 |   571344 |   501082 |     6176    207 |        0 |        0
195.26/195.32	c  195s |      19 |   576883 |   506082 |     6176    208 |        0 |        0
197.27/197.34	c  197s |      19 |   581985 |   510782 |     6176    210 |        0 |        0
199.26/199.35	c  199s |      19 |   587900 |   515982 |     6176    211 |        0 |        0
201.26/201.36	c  201s |      19 |   594059 |   521582 |     6176    213 |        0 |        0
203.25/203.36	c  203s |      19 |   599990 |   526282 |     6176    215 |        0 |        0
205.25/205.39	c  205s |      19 |   605714 |   531382 |     6176    216 |        0 |        0
207.35/207.41	c  207s |      19 |   611501 |   536182 |     6176    218 |        0 |        0
209.36/209.43	c  209s |      19 |   617912 |   541582 |     6176    219 |        0 |        0
211.36/211.45	c  211s |      19 |   624125 |   546982 |     6176    221 |        0 |        0
213.86/213.90	c  213s |      19 |   631493 |   552982 |     6176    223 |        0 |        0
215.86/215.90	c  215s |      19 |   637163 |   558082 |     6176    225 |        0 |        0
217.85/217.92	c  217s |      19 |   642826 |   563282 |     6176    226 |        0 |        0
219.85/219.95	c  219s |      19 |   649419 |   569082 |     6176    228 |        0 |        0
221.85/221.96	c  221s |      19 |   654266 |   573382 |     6176    230 |        0 |        0
223.85/223.96	c  223s |      19 |   660348 |   578582 |     6176    231 |        0 |        0
225.86/225.99	c  225s |      19 |   666278 |   583982 |     6176    233 |        0 |        0
227.96/228.06	c  228s |      19 |   671944 |   588882 |     6176    235 |        0 |        0
229.95/230.06	c  230s |      19 |   678142 |   594382 |     6176    236 |        0 |        0
231.95/232.09	c  232s |      19 |   684640 |   600082 |     6176    238 |        0 |        0
234.05/234.11	c  234s |      19 |   690317 |   605182 |     6176    240 |        0 |        0
236.15/236.20	c  236s |      19 |   696734 |   610782 |     6176    242 |        0 |        0
238.15/238.22	c  238s |      19 |   703451 |   616682 |     6176    243 |        0 |        0
240.16/240.23	c  240s |      19 |   711024 |   622682 |     6176    245 |        0 |        0
242.36/242.42	c  242s |      19 |   717220 |   627782 |     6176    247 |        0 |        0
244.35/244.46	c  244s |      19 |   722765 |   632382 |     6176    248 |        0 |        0
246.35/246.47	c  246s |      19 |   728316 |   637282 |     6176    250 |        0 |        0
248.35/248.49	c  248s |      19 |   733477 |   641782 |     6176    251 |        0 |        0
250.45/250.52	c  250s |      19 |   738585 |   646482 |     6176    253 |        0 |        0
252.45/252.53	c  252s |      19 |   743818 |   651082 |     6176    254 |        0 |        0
254.45/254.55	c  254s |      19 |   749334 |   655982 |     6176    256 |        0 |        0
256.45/256.56	c  256s |      19 |   755080 |   660982 |     6176    257 |        0 |        0
258.45/258.60	c  258s |      19 |   761087 |   666282 |     6794    259 |        0 |        0
258.75/258.90	c  258s |      20 |   761759 |   666827 |     6794    259 |        0 |        0
260.85/260.91	c  260s |      20 |   767934 |   672127 |     6794    261 |        0 |        0
262.84/262.93	c  262s |      20 |   773880 |   677327 |     6794    262 |        0 |        0
264.84/264.94	c  264s |      20 |   780140 |   682527 |     6794    264 |        0 |        0
267.15/267.21	c  267s |      20 |   784787 |   686227 |     6794    265 |        0 |        0
269.15/269.24	c  269s |      20 |   790047 |   690627 |     6794    266 |        0 |        0
271.15/271.27	c  271s |      20 |   795624 |   695527 |     6794    267 |        0 |        0
273.25/273.30	c  273s |      20 |   801024 |   700227 |     6794    269 |        0 |        0
275.26/275.31	c  275s |      20 |   806557 |   705127 |     6794    270 |        0 |        0
277.25/277.35	c  277s |      20 |   811397 |   709427 |     6794    271 |        0 |        0
279.25/279.39	c  279s |      20 |   816514 |   713827 |     6794    273 |        0 |        0
281.35/281.40	c  281s |      20 |   823027 |   719327 |     6794    274 |        0 |        0
283.34/283.40	c  283s |      20 |   828737 |   724127 |     6794    276 |        0 |        0
285.35/285.43	c  285s |      20 |   833939 |   728827 |     6794    277 |        0 |        0
287.35/287.45	c  287s |      20 |   839106 |   733527 |     6794    278 |        0 |        0
289.34/289.48	c  289s |      20 |   844912 |   738527 |     6794    280 |        0 |        0
291.34/291.48	c  291s |      20 |   850993 |   743927 |     6794    281 |        0 |        0
293.44/293.51	c  293s |      20 |   855767 |   748027 |     6794    283 |        0 |        0
295.44/295.52	c  295s |      20 |   861974 |   753327 |     6794    284 |        0 |        0
297.44/297.54	c  297s |      20 |   867569 |   758327 |     6794    286 |        0 |        0
299.45/299.55	c  299s |      20 |   874269 |   764027 |     6794    287 |        0 |        0
301.44/301.56	c  301s |      20 |   878690 |   767927 |     6794    288 |        0 |        0
303.44/303.57	c  303s |      20 |   884716 |   773327 |     6794    290 |        0 |        0
305.54/305.60	c  305s |      20 |   890808 |   778227 |     6794    291 |        0 |        0
307.54/307.63	c  307s |      20 |   897161 |   783827 |     6794    293 |        0 |        0
309.54/309.66	c  309s |      20 |   903283 |   789027 |     6794    295 |        0 |        0
311.54/311.68	c  311s |      20 |   910553 |   795027 |     6794    296 |        0 |        0
313.64/313.70	c  313s |      20 |   919009 |   801727 |     6794    298 |        0 |        0
315.94/316.09	c  316s |      20 |   925675 |   806927 |     6794    300 |        0 |        0
318.03/318.10	c  318s |      20 |   931292 |   811727 |     6794    301 |        0 |        0
320.03/320.12	c  320s |      20 |   936421 |   816427 |     6794    302 |        0 |        0
322.03/322.14	c  322s |      20 |   942040 |   821427 |     6794    304 |        0 |        0
324.03/324.14	c  324s |      20 |   947357 |   826227 |     6794    305 |        0 |        0
326.03/326.14	c  326s |      20 |   953542 |   831527 |     6794    307 |        0 |        0
328.44/328.52	c  328s |      20 |   959029 |   835927 |     6794    308 |        0 |        0
330.44/330.53	c  330s |      20 |   965068 |   841027 |     6794    310 |        0 |        0
332.45/332.54	c  332s |      20 |   971069 |   846327 |     6794    311 |        0 |        0
334.44/334.56	c  334s |      20 |   977778 |   852027 |     6794    313 |        0 |        0
336.44/336.59	c  336s |      20 |   983279 |   856727 |     6794    314 |        0 |        0
338.54/338.60	c  338s |      20 |   988909 |   861627 |     6794    316 |        0 |        0
340.54/340.63	c  340s |      20 |   995608 |   867227 |     6794    317 |        0 |        0
342.54/342.65	c  342s |      20 |  1001520 |   872027 |     6794    319 |        0 |        0
344.54/344.67	c  344s |      20 |  1007829 |   877427 |     6794    320 |        0 |        0
346.54/346.67	c  346s |      20 |  1014674 |   882727 |     6794    322 |        0 |        0
348.54/348.69	c  348s |      20 |  1021086 |   888327 |     6794    323 |        0 |        0
350.63/350.71	c  350s |      20 |  1028117 |   894027 |     6794    325 |        0 |        0
353.63/353.72	c  353s |      20 |  1035682 |   900127 |     6794    327 |        0 |        0
355.64/355.74	c  355s |      20 |  1041713 |   905327 |     6794    328 |        0 |        0
357.63/357.79	c  357s |      20 |  1046326 |   909627 |     6794    330 |        0 |        0
359.73/359.80	c  359s |      20 |  1051682 |   914427 |     6794    331 |        0 |        0
361.73/361.85	c  361s |      20 |  1057827 |   919927 |     6794    333 |        0 |        0
363.73/363.88	c  363s |      20 |  1063722 |   924727 |     6794    334 |        0 |        0
365.83/365.93	c  365s |      20 |  1069772 |   930027 |     6794    335 |        0 |        0
368.03/368.14	c  368s |      20 |  1076309 |   935827 |     6794    337 |        0 |        0
370.03/370.14	c  370s |      20 |  1082180 |   941027 |     6794    339 |        0 |        0
372.03/372.17	c  372s |      20 |  1088861 |   946627 |     6794    340 |        0 |        0
374.03/374.19	c  374s |      20 |  1095530 |   952327 |     6794    342 |        0 |        0
376.03/376.19	c  376s |      20 |  1101554 |   957627 |     6794    343 |        0 |        0
378.13/378.22	c  378s |      20 |  1108519 |   963627 |     6794    345 |        0 |        0
380.13/380.24	c  380s |      20 |  1113255 |   967527 |     6794    346 |        0 |        0
382.13/382.26	c  382s |      20 |  1119256 |   972827 |     6794    348 |        0 |        0
384.13/384.27	c  384s |      20 |  1125811 |   978527 |     6794    350 |        0 |        0
386.13/386.28	c  386s |      20 |  1131234 |   983427 |     6794    351 |        0 |        0
388.23/388.32	c  388s |      20 |  1137859 |   988727 |     6794    352 |        0 |        0
390.22/390.35	c  390s |      20 |  1144021 |   994227 |     7474    354 |        0 |        0
392.22/392.35	c  392s |      20 |  1151292 |   999927 |     7474    355 |        0 |        0
392.42/392.53	c  392s |      21 |  1151836 |  1000345 |     7474    356 |        0 |        0
394.43/394.54	c  394s |      21 |  1155493 |  1003445 |     7474    356 |        0 |        0
396.43/396.56	c  396s |      21 |  1160252 |  1007545 |     7474    357 |        0 |        0
398.44/398.58	c  398s |      21 |  1164634 |  1011645 |     7474    359 |        0 |        0
400.43/400.58	c  400s |      21 |  1169393 |  1015945 |     7474    360 |        0 |        0
402.43/402.58	c  402s |      21 |  1175045 |  1020945 |     7474    361 |        0 |        0
404.53/404.60	c  404s |      21 |  1180898 |  1026045 |     7474    362 |        0 |        0
406.53/406.61	c  406s |      21 |  1184994 |  1029745 |     7474    363 |        0 |        0
408.53/408.61	c  408s |      21 |  1190379 |  1034445 |     7474    365 |        0 |        0
410.54/410.63	c  410s |      21 |  1194695 |  1038445 |     7474    366 |        0 |        0
412.53/412.66	c  412s |      21 |  1198700 |  1042045 |     7474    367 |        0 |        0
414.53/414.68	c  414s |      21 |  1204090 |  1046845 |     7474    368 |        0 |        0
416.62/416.73	c  416s |      21 |  1208503 |  1050645 |     7474    369 |        0 |        0
418.62/418.74	c  418s |      21 |  1212878 |  1054545 |     7474    370 |        0 |        0
420.62/420.75	c  420s |      21 |  1217130 |  1058545 |     7474    371 |        0 |        0
422.63/422.75	c  422s |      21 |  1222304 |  1063245 |     7474    372 |        0 |        0
424.72/424.81	c  424s |      21 |  1225742 |  1066445 |     7474    373 |        0 |        0
426.72/426.85	c  426s |      21 |  1230652 |  1070845 |     7474    374 |        0 |        0
428.82/428.97	c  428s |      21 |  1235713 |  1075345 |     7474    375 |        0 |        0
430.92/431.03	c  430s |      21 |  1240568 |  1079845 |     7474    377 |        0 |        0
432.92/433.04	c  432s |      21 |  1245120 |  1083945 |     7474    378 |        0 |        0
434.92/435.07	c  435s |      21 |  1250789 |  1089045 |     7474    379 |        0 |        0
436.92/437.08	c  437s |      21 |  1255187 |  1092945 |     7474    380 |        0 |        0
438.92/439.08	c  439s |      21 |  1261177 |  1098145 |     7474    381 |        0 |        0
440.92/441.09	c  441s |      21 |  1266454 |  1102945 |     7474    383 |        0 |        0
443.02/443.10	c  443s |      21 |  1271635 |  1106945 |     7474    384 |        0 |        0
445.02/445.11	c  445s |      21 |  1276513 |  1111345 |     7474    385 |        0 |        0
447.02/447.13	c  447s |      21 |  1281755 |  1116045 |     7474    386 |        0 |        0
449.02/449.16	c  449s |      21 |  1286780 |  1120545 |     7474    387 |        0 |        0
451.11/451.21	c  451s |      21 |  1292105 |  1125245 |     7474    389 |        0 |        0
453.11/453.23	c  453s |      21 |  1297804 |  1130345 |     7474    390 |        0 |        0
455.12/455.25	c  455s |      21 |  1303756 |  1135545 |     7474    391 |        0 |        0
457.72/457.89	c  457s |      21 |  1309588 |  1140445 |     7474    393 |        0 |        0
459.82/459.93	c  459s |      21 |  1314551 |  1144945 |     7474    394 |        0 |        0
461.82/461.97	c  461s |      21 |  1319516 |  1149345 |     7474    395 |        0 |        0
463.82/463.97	c  463s |      21 |  1325475 |  1154545 |     7474    396 |        0 |        0
465.82/465.99	c  465s |      21 |  1329137 |  1157845 |     7474    397 |        0 |        0
467.92/468.00	c  467s |      21 |  1334479 |  1162345 |     7474    398 |        0 |        0
469.92/470.03	c  469s |      21 |  1340204 |  1167045 |     7474    400 |        0 |        0
471.92/472.04	c  471s |      21 |  1347137 |  1172645 |     7474    401 |        0 |        0
473.92/474.05	c  473s |      21 |  1352318 |  1176745 |     7474    402 |        0 |        0
475.91/476.07	c  476s |      21 |  1358419 |  1181945 |     7474    403 |        0 |        0
477.91/478.07	c  478s |      21 |  1364086 |  1186745 |     7474    405 |        0 |        0
479.92/480.09	c  480s |      21 |  1369500 |  1191245 |     7474    406 |        0 |        0
481.91/482.10	c  482s |      21 |  1375465 |  1196445 |     7474    407 |        0 |        0
484.01/484.12	c  484s |      21 |  1381644 |  1201745 |     7474    409 |        0 |        0
486.01/486.13	c  486s |      21 |  1386859 |  1206245 |     7474    410 |        0 |        0
488.01/488.17	c  488s |      21 |  1393253 |  1211745 |     7474    411 |        0 |        0
490.01/490.18	c  490s |      21 |  1398145 |  1215945 |     7474    412 |        0 |        0
492.11/492.20	c  492s |      21 |  1404263 |  1221145 |     7474    414 |        0 |        0
494.12/494.20	c  494s |      21 |  1409969 |  1226045 |     7474    415 |        0 |        0
496.11/496.24	c  496s |      21 |  1416361 |  1231745 |     7474    417 |        0 |        0
498.41/498.50	c  498s |      21 |  1422872 |  1236845 |     7474    418 |        0 |        0
500.41/500.53	c  500s |      21 |  1428315 |  1241545 |     7474    419 |        0 |        0
502.41/502.55	c  502s |      21 |  1433681 |  1246245 |     7474    420 |        0 |        0
504.41/504.57	c  504s |      21 |  1439876 |  1251445 |     7474    422 |        0 |        0
506.41/506.58	c  506s |      21 |  1447421 |  1257445 |     7474    423 |        0 |        0
508.60/508.78	c  508s |      21 |  1452441 |  1261745 |     7474    425 |        0 |        0
510.62/510.80	c  510s |      21 |  1457129 |  1265845 |     7474    426 |        0 |        0
512.71/512.84	c  512s |      21 |  1462042 |  1270245 |     7474    427 |        0 |        0
514.71/514.87	c  514s |      21 |  1466524 |  1274445 |     7474    428 |        0 |        0
517.01/517.12	c  517s |      21 |  1471968 |  1279145 |     7474    429 |        0 |        0
519.01/519.16	c  519s |      21 |  1477041 |  1283645 |     7474    430 |        0 |        0
521.11/521.23	c  521s |      21 |  1482189 |  1288345 |     7474    432 |        0 |        0
523.11/523.25	c  523s |      21 |  1487393 |  1292945 |     7474    433 |        0 |        0
525.21/525.37	c  525s |      21 |  1492571 |  1297445 |     7474    434 |        0 |        0
527.31/527.40	c  527s |      21 |  1497711 |  1301945 |     7474    435 |        0 |        0
529.32/529.43	c  529s |      21 |  1503278 |  1306945 |     7474    436 |        0 |        0
531.31/531.44	c  531s |      21 |  1508558 |  1311445 |     7474    438 |        0 |        0
533.31/533.47	c  533s |      21 |  1515500 |  1316945 |     7474    439 |        0 |        0
535.41/535.51	c  535s |      21 |  1521795 |  1322445 |     7474    441 |        0 |        0
537.41/537.53	c  537s |      21 |  1526558 |  1326445 |     7474    442 |        0 |        0
539.41/539.55	c  539s |      21 |  1532248 |  1331445 |     7474    443 |        0 |        0
541.41/541.59	c  541s |      21 |  1537943 |  1336245 |     7474    444 |        0 |        0
543.41/543.59	c  543s |      21 |  1542659 |  1340545 |     7474    445 |        0 |        0
545.51/545.60	c  545s |      21 |  1548323 |  1345445 |     7474    447 |        0 |        0
547.51/547.61	c  547s |      21 |  1553524 |  1349945 |     7474    448 |        0 |        0
549.51/549.62	c  549s |      21 |  1559627 |  1354945 |     7474    449 |        0 |        0
551.51/551.64	c  551s |      21 |  1565860 |  1360345 |     7474    451 |        0 |        0
553.51/553.65	c  553s |      21 |  1570509 |  1364445 |     7474    452 |        0 |        0
555.50/555.65	c  555s |      21 |  1577507 |  1370345 |     7474    453 |        0 |        0
557.50/557.67	c  557s |      21 |  1582839 |  1374945 |     7474    454 |        0 |        0
559.50/559.68	c  559s |      21 |  1588130 |  1379545 |     7474    456 |        0 |        0
561.50/561.69	c  561s |      21 |  1593491 |  1384545 |     7474    457 |        0 |        0
563.60/563.70	c  563s |      21 |  1597811 |  1388245 |     7474    458 |        0 |        0
565.61/565.71	c  565s |      21 |  1603487 |  1393245 |     7474    459 |        0 |        0
567.81/567.94	c  567s |      21 |  1609770 |  1398345 |     7474    461 |        0 |        0
569.80/569.96	c  569s |      21 |  1615969 |  1403845 |     7474    462 |        0 |        0
571.80/571.97	c  571s |      21 |  1622423 |  1409345 |     7474    463 |        0 |        0
573.80/573.99	c  573s |      21 |  1629160 |  1415045 |     7474    465 |        0 |        0
575.90/576.06	c  576s |      21 |  1636538 |  1420845 |     7474    467 |        0 |        0
578.10/578.26	c  578s |      21 |  1642139 |  1425545 |     7474    468 |        0 |        0
580.10/580.28	c  580s |      21 |  1647391 |  1430145 |     7474    469 |        0 |        0
582.11/582.30	c  582s |      21 |  1653090 |  1435045 |     7474    470 |        0 |        0
584.20/584.30	c  584s |      21 |  1658045 |  1439445 |     7474    471 |        0 |        0
586.20/586.31	c  586s |      21 |  1663319 |  1444245 |     7474    473 |        0 |        0
588.19/588.33	c  588s |      21 |  1668227 |  1448445 |     7474    474 |        0 |        0
590.19/590.33	c  590s |      21 |  1674232 |  1453445 |     7474    475 |        0 |        0
591.59/592.80	c  592s |      21 |  1680466 |  1458845 |     7474    477 |        0 |        0
591.59/594.83	c  594s |      21 |  1686863 |  1464145 |     7474    478 |        0 |        0
595.48/596.84	c  596s |      21 |  1692547 |  1468845 |     7474    479 |        0 |        0
598.70/598.88	c  598s |      21 |  1699064 |  1473945 |     7474    481 |        0 |        0
599.20/600.92	c  600s |      21 |  1705378 |  1478745 |     7474    482 |        0 |        0
602.43/602.92	c  602s |      21 |  1711454 |  1483645 |     7474    483 |        0 |        0
602.86/604.96	c  604s |      21 |  1717555 |  1488645 |     7474    484 |        0 |        0
604.86/606.96	c  606s |      21 |  1723282 |  1493345 |     8222    485 |        0 |        0
607.00/608.97	c  608s |      21 |  1729054 |  1498345 |     8222    487 |        0 |        0
608.92/610.23	c  610s |      22 |  1731826 |  1500622 |     8222    487 |        0 |        0
611.93/612.24	c  612s |      22 |  1736393 |  1504422 |     8222    488 |        0 |        0
611.93/614.25	c  614s |      22 |  1741085 |  1508422 |     8222    489 |        0 |        0
615.15/616.26	c  616s |      22 |  1745356 |  1512322 |     8222    490 |        0 |        0
615.15/618.28	c  618s |      22 |  1750768 |  1516822 |     8222    491 |        0 |        0
618.87/620.30	c  620s |      22 |  1755681 |  1521422 |     8222    492 |        0 |        0
620.20/622.33	c  622s |      22 |  1761273 |  1526122 |     8222    493 |        0 |        0
624.22/624.35	c  624s |      22 |  1767157 |  1531022 |     8222    495 |        0 |        0
624.22/626.35	c  626s |      22 |  1772743 |  1535822 |     8222    496 |        0 |        0
626.91/628.40	c  628s |      22 |  1776556 |  1539122 |     8222    496 |        0 |        0
629.92/630.42	c  630s |      22 |  1781209 |  1543222 |     8222    497 |        0 |        0
631.24/632.47	c  632s |      22 |  1785525 |  1547122 |     8222    498 |        0 |        0
631.24/634.48	c  634s |      22 |  1790654 |  1551622 |     8222    499 |        0 |        0
635.10/636.49	c  636s |      22 |  1796306 |  1556522 |     8222    501 |        0 |        0
636.40/638.51	c  638s |      22 |  1802001 |  1561722 |     8222    502 |        0 |        0
638.86/640.77	c  640s |      22 |  1804904 |  1564322 |     8222    503 |        0 |        0
640.69/642.80	c  642s |      22 |  1809463 |  1568422 |     8222    504 |        0 |        0
642.87/644.82	c  644s |      22 |  1814208 |  1572522 |     8222    505 |        0 |        0
644.82/646.88	c  646s |      22 |  1818684 |  1576522 |     8222    505 |        0 |        0
648.16/648.91	c  648s |      22 |  1822904 |  1580522 |     8222    506 |        0 |        0
648.83/650.92	c  650s |      22 |  1827638 |  1584822 |     8222    507 |        0 |        0
650.92/652.95	c  652s |      22 |  1832099 |  1589022 |     8222    508 |        0 |        0
650.92/654.99	c  654s |      22 |  1836732 |  1593122 |     8222    509 |        0 |        0
655.00/657.04	c  656s |      22 |  1841244 |  1597222 |     8222    510 |        0 |        0
658.80/659.08	c  659s |      22 |  1846005 |  1601422 |     8222    511 |        0 |        0
659.10/661.09	c  661s |      22 |  1851733 |  1606522 |     8222    513 |        0 |        0
662.95/663.10	c  663s |      22 |  1855395 |  1609722 |     8222    513 |        0 |        0
665.01/665.15	c  665s |      22 |  1860312 |  1614122 |     8222    514 |        0 |        0
665.01/667.15	c  667s |      22 |  1865575 |  1618822 |     8222    516 |        0 |        0
667.04/669.17	c  669s |      22 |  1871577 |  1624122 |     8222    517 |        0 |        0
671.04/671.18	c  671s |      22 |  1875788 |  1627822 |     8222    518 |        0 |        0
671.04/673.20	c  673s |      22 |  1880542 |  1632022 |     8222    519 |        0 |        0
675.05/675.22	c  675s |      22 |  1885484 |  1636222 |     8222    520 |        0 |        0
676.42/677.26	c  677s |      22 |  1890856 |  1640922 |     8222    521 |        0 |        0
677.31/679.29	c  679s |      22 |  1894764 |  1644322 |     8222    522 |        0 |        0
679.20/681.30	c  681s |      22 |  1899172 |  1648322 |     8222    523 |        0 |        0
681.44/683.32	c  683s |      22 |  1903966 |  1652722 |     8222    524 |        0 |        0
683.30/685.79	c  685s |      22 |  1909742 |  1657422 |     8222    525 |        0 |        0
685.69/687.82	c  687s |      22 |  1914665 |  1661822 |     8222    526 |        0 |        0
687.70/689.82	c  689s |      22 |  1919554 |  1666022 |     8222    527 |        0 |        0
690.88/691.92	c  691s |      22 |  1925311 |  1671022 |     8222    528 |        0 |        0
691.91/693.96	c  693s |      22 |  1930346 |  1675522 |     8222    529 |        0 |        0
691.91/695.99	c  695s |      22 |  1936940 |  1680722 |     8222    530 |        0 |        0
695.99/698.78	c  698s |      22 |  1944004 |  1686122 |     8222    532 |        0 |        0
699.99/700.80	c  700s |      22 |  1949144 |  1690722 |     8222    533 |        0 |        0
700.68/702.82	c  702s |      22 |  1954389 |  1695322 |     8222    534 |        0 |        0
702.91/704.85	c  704s |      22 |  1959503 |  1699722 |     8222    535 |        0 |        0
704.99/706.86	c  706s |      22 |  1965044 |  1704522 |     8222    536 |        0 |        0
708.62/708.87	c  708s |      22 |  1971544 |  1709922 |     8222    537 |        0 |        0
708.62/710.90	c  710s |      22 |  1975933 |  1713622 |     8222    538 |        0 |        0
710.78/712.91	c  712s |      22 |  1981512 |  1718522 |     8222    540 |        0 |        0
712.79/714.91	c  714s |      22 |  1987800 |  1723822 |     8222    541 |        0 |        0
714.80/716.94	c  716s |      22 |  1993152 |  1728322 |     8222    542 |        0 |        0
716.82/718.96	c  718s |      22 |  1999436 |  1733722 |     8222    543 |        0 |        0
716.82/720.98	c  720s |      22 |  2004348 |  1738122 |     8222    544 |        0 |        0
722.86/722.99	c  722s |      22 |  2010753 |  1743322 |     8222    546 |        0 |        0
723.09/725.01	c  724s |      22 |  2017731 |  1749222 |     8222    547 |        0 |        0
724.90/727.02	c  726s |      22 |  2024228 |  1754622 |     8222    548 |        0 |        0
727.01/729.04	c  728s |      22 |  2027185 |  1757022 |     8222    549 |        0 |        0
728.92/731.12	c  731s |      22 |  2031580 |  1760822 |     8222    550 |        0 |        0
731.07/733.12	c  733s |      22 |  2036402 |  1765122 |     8222    551 |        0 |        0
734.90/735.14	c  735s |      22 |  2040951 |  1769122 |     8222    552 |        0 |        0
735.17/737.16	c  737s |      22 |  2045458 |  1773322 |     8222    553 |        0 |        0
738.91/739.20	c  739s |      22 |  2049584 |  1777122 |     8222    554 |        0 |        0
738.91/741.23	c  741s |      22 |  2054725 |  1781622 |     8222    555 |        0 |        0
741.11/743.27	c  743s |      22 |  2059546 |  1785922 |     8222    556 |        0 |        0
743.27/745.28	c  745s |      22 |  2065193 |  1790722 |     8222    557 |        0 |        0
746.47/747.30	c  747s |      22 |  2070979 |  1795722 |     8222    558 |        0 |        0
748.50/749.56	c  749s |      22 |  2076639 |  1800822 |     8222    559 |        0 |        0
748.50/751.58	c  751s |      22 |  2079840 |  1803622 |     8222    560 |        0 |        0
753.28/753.59	c  753s |      22 |  2085372 |  1808422 |     8222    561 |        0 |        0
754.06/755.61	c  755s |      22 |  2090882 |  1813322 |     8222    562 |        0 |        0
755.48/757.63	c  757s |      22 |  2095919 |  1817922 |     8222    563 |        0 |        0
758.04/759.85	c  759s |      22 |  2101871 |  1822622 |     8222    565 |        0 |        0
760.45/761.88	c  761s |      22 |  2107195 |  1827122 |     8222    566 |        0 |        0
760.45/763.90	c  763s |      22 |  2112443 |  1831822 |     8222    567 |        0 |        0
763.75/765.93	c  765s |      22 |  2117646 |  1836122 |     8222    568 |        0 |        0
767.70/767.96	c  767s |      22 |  2123215 |  1841022 |     8222    569 |        0 |        0
767.70/770.20	c  770s |      22 |  2128776 |  1845622 |     8222    570 |        0 |        0
767.70/772.25	c  772s |      22 |  2133880 |  1850322 |     8222    571 |        0 |        0
772.85/774.26	c  774s |      22 |  2139638 |  1855222 |     8222    572 |        0 |        0
772.85/776.28	c  776s |      22 |  2145219 |  1859922 |     8222    574 |        0 |        0
772.85/778.32	c  778s |      22 |  2150830 |  1864822 |     8222    575 |        0 |        0
772.85/780.32	c  780s |      22 |  2156685 |  1869522 |     8222    576 |        0 |        0
772.85/782.34	c  782s |      22 |  2162282 |  1874622 |     8222    577 |        0 |        0
772.85/784.34	c  784s |      22 |  2168035 |  1879622 |     8222    578 |        0 |        0
772.85/786.35	c  786s |      22 |  2174696 |  1885122 |     8222    580 |        0 |        0
772.85/789.44	c  789s |      22 |  2180525 |  1889722 |     8222    581 |        0 |        0
772.85/791.48	c  791s |      22 |  2185214 |  1893822 |     8222    582 |        0 |        0
772.85/793.49	c  793s |      22 |  2190063 |  1898222 |     8222    583 |        0 |        0
793.35/795.50	c  795s |      22 |  2194757 |  1902422 |     8222    584 |        0 |        0
793.35/797.50	c  797s |      22 |  2200615 |  1907322 |     8222    585 |        0 |        0
793.35/799.51	c  799s |      22 |  2205158 |  1911222 |     8222    586 |        0 |        0
793.35/801.53	c  801s |      22 |  2210358 |  1915822 |     8222    587 |        0 |        0
793.35/803.57	c  803s |      22 |  2215363 |  1920222 |     8222    588 |        0 |        0
793.35/805.61	c  805s |      22 |  2220802 |  1924922 |     8222    589 |        0 |        0
793.35/807.61	c  807s |      22 |  2227260 |  1930222 |     8222    590 |        0 |        0
793.35/809.64	c  809s |      22 |  2231291 |  1933822 |     8222    591 |        0 |        0
793.35/811.70	c  811s |      22 |  2236954 |  1938722 |     8222    592 |        0 |        0
793.35/813.71	c  813s |      22 |  2243111 |  1943622 |     8222    594 |        0 |        0
793.35/815.71	c  815s |      22 |  2250292 |  1949122 |     8222    595 |        0 |        0
793.35/817.74	c  817s |      22 |  2255465 |  1953222 |     8222    596 |        0 |        0
793.35/819.74	c  819s |      22 |  2262752 |  1958922 |     8222    597 |        0 |        0
793.35/821.75	c  821s |      22 |  2268268 |  1963622 |     8222    598 |        0 |        0
793.35/823.76	c  823s |      22 |  2275013 |  1968722 |     8222    600 |        0 |        0
793.35/825.78	c  825s |      22 |  2282875 |  1974522 |     8222    601 |        0 |        0
793.35/827.79	c  827s |      22 |  2290031 |  1980322 |     8222    603 |        0 |        0
793.35/829.79	c  829s |      22 |  2293132 |  1982822 |     8222    603 |        0 |        0
793.35/831.79	c  831s |      22 |  2298593 |  1987422 |     8222    604 |        0 |        0
793.35/833.80	c  833s |      22 |  2304312 |  1992222 |     8222    605 |        0 |        0
793.35/835.80	c  835s |      22 |  2310316 |  1997122 |     8222    607 |        0 |        0
836.55/837.81	c  837s |      22 |  2314497 |  2000822 |     8222    607 |        0 |        0
838.85/839.83	c  839s |      22 |  2320037 |  2005622 |     8222    609 |        0 |        0
840.56/841.85	c  841s |      22 |  2325518 |  2010322 |     8222    610 |        0 |        0
843.09/843.89	c  843s |      22 |  2330240 |  2014522 |     8222    611 |        0 |        0
844.66/845.89	c  845s |      22 |  2335759 |  2019322 |     8222    612 |        0 |        0
846.84/847.93	c  847s |      22 |  2341313 |  2024222 |     8222    613 |        0 |        0
849.05/849.93	c  849s |      22 |  2346426 |  2028622 |     8222    614 |        0 |        0
850.82/851.96	c  851s |      22 |  2352854 |  2033922 |     8222    615 |        0 |        0
850.82/853.96	c  853s |      22 |  2358217 |  2038622 |     8222    617 |        0 |        0
854.84/855.99	c  855s |      22 |  2364883 |  2044122 |     8222    618 |        0 |        0
857.56/857.99	c  857s |      22 |  2372606 |  2050222 |     8222    619 |        0 |        0
858.84/859.99	c  859s |      22 |  2374991 |  2052122 |     8222    620 |        0 |        0
860.67/862.00	c  861s |      22 |  2380601 |  2056922 |     8222    621 |        0 |        0
862.74/864.03	c  863s |      22 |  2387009 |  2062222 |     8222    622 |        0 |        0
862.74/866.04	c  865s |      22 |  2392027 |  2066522 |     8222    623 |        0 |        0
866.80/868.07	c  868s |      22 |  2397933 |  2071622 |     8222    624 |        0 |        0
867.99/870.08	c  870s |      22 |  2403497 |  2076422 |     8222    626 |        0 |        0
867.99/872.10	c  872s |      22 |  2409921 |  2081822 |     8222    627 |        0 |        0
867.99/874.12	c  874s |      22 |  2416555 |  2087422 |     8222    628 |        0 |        0
867.99/876.14	c  876s |      22 |  2423176 |  2093022 |     8222    630 |        0 |        0
877.32/878.17	c  878s |      22 |  2426880 |  2096022 |     8222    630 |        0 |        0
877.32/880.20	c  880s |      22 |  2432776 |  2101022 |     8222    632 |        0 |        0
877.32/882.22	c  882s |      22 |  2440190 |  2106922 |     8222    633 |        0 |        0
877.32/884.27	c  884s |      22 |  2445778 |  2111522 |     8222    634 |        0 |        0
884.10/886.32	c  886s |      22 |  2453029 |  2117322 |     8222    635 |        0 |        0
884.10/888.34	c  888s |      22 |  2459946 |  2123222 |     8222    637 |        0 |        0
884.10/890.37	c  890s |      22 |  2463999 |  2126622 |     8222    638 |        0 |        0
892.12/892.39	c  892s |      22 |  2470048 |  2132022 |     8222    639 |        0 |        0
894.12/894.40	c  894s |      22 |  2476037 |  2136922 |     8222    640 |        0 |        0
896.22/896.40	c  896s |      22 |  2482799 |  2142522 |     8222    642 |        0 |        0
898.22/898.41	c  898s |      22 |  2488894 |  2147522 |     8222    643 |        0 |        0
900.22/900.41	c  900s |      22 |  2495719 |  2153222 |     8222    644 |        0 |        0
902.62/902.82	c  902s |      22 |  2503126 |  2159122 |     8222    646 |        0 |        0
904.62/904.85	c  904s |      22 |  2511114 |  2165422 |     8222    647 |        0 |        0
906.61/906.86	c  906s |      22 |  2517240 |  2170522 |     8222    648 |        0 |        0
908.61/908.88	c  908s |      22 |  2526213 |  2177222 |     8222    650 |        0 |        0
910.72/910.95	c  910s |      22 |  2529307 |  2179622 |     8222    651 |        0 |        0
912.70/912.97	c  912s |      22 |  2534611 |  2184122 |     8222    652 |        0 |        0
914.80/915.02	c  914s |      22 |  2539729 |  2188622 |     8222    653 |        0 |        0
916.80/917.05	c  917s |      22 |  2544823 |  2193122 |     8222    654 |        0 |        0
918.80/919.07	c  919s |      22 |  2550923 |  2198222 |     8222    655 |        0 |        0
920.90/921.10	c  921s |      22 |  2557817 |  2203722 |     8222    656 |        0 |        0
922.91/923.12	c  923s |      22 |  2563213 |  2208022 |     8222    657 |        0 |        0
924.91/925.14	c  925s |      22 |  2569107 |  2212922 |     8222    659 |        0 |        0
926.91/927.15	c  927s |      22 |  2574710 |  2217722 |     8222    660 |        0 |        0
928.90/929.17	c  929s |      22 |  2581367 |  2223222 |     8222    661 |        0 |        0
930.90/931.19	c  931s |      22 |  2586820 |  2227722 |     8222    662 |        0 |        0
933.10/933.39	c  933s |      22 |  2591411 |  2231822 |     8222    663 |        0 |        0
935.09/935.39	c  935s |      22 |  2597699 |  2237222 |     9045    664 |        0 |        0
937.20/937.42	c  937s |      22 |  2603485 |  2242122 |     9045    665 |        0 |        0
939.20/939.48	c  939s |      22 |  2610305 |  2247822 |     9045    667 |        0 |        0
940.50/940.74	c  940s |      23 |  2614210 |  2251038 |     9045    667 |        0 |        0
942.50/942.76	c  942s |      23 |  2617141 |  2253338 |     9045    668 |        0 |        0
944.49/944.79	c  944s |      23 |  2621354 |  2257138 |     9045    669 |        0 |        0
946.49/946.79	c  946s |      23 |  2625392 |  2260938 |     9045    669 |        0 |        0
948.59/948.83	c  948s |      23 |  2630363 |  2265138 |     9045    670 |        0 |        0
950.59/950.85	c  950s |      23 |  2635043 |  2269338 |     9045    671 |        0 |        0
952.58/952.85	c  952s |      23 |  2640746 |  2274138 |     9045    672 |        0 |        0
954.59/954.87	c  954s |      23 |  2647254 |  2279338 |     9045    673 |        0 |        0
956.58/956.89	c  956s |      23 |  2651729 |  2283038 |     9045    674 |        0 |        0
958.88/959.18	c  959s |      23 |  2655446 |  2286338 |     9045    675 |        0 |        0
960.88/961.18	c  961s |      23 |  2658678 |  2289338 |     9045    676 |        0 |        0
962.87/963.19	c  963s |      23 |  2663560 |  2293738 |     9045    677 |        0 |        0
964.97/965.20	c  965s |      23 |  2668802 |  2298338 |     9045    678 |        0 |        0
966.97/967.21	c  967s |      23 |  2675367 |  2303738 |     9045    679 |        0 |        0
968.98/969.21	c  969s |      23 |  2679775 |  2307438 |     9045    680 |        0 |        0
970.97/971.23	c  971s |      23 |  2684006 |  2311138 |     9045    680 |        0 |        0
972.96/973.27	c  973s |      23 |  2688855 |  2315138 |     9045    681 |        0 |        0
974.96/975.28	c  975s |      23 |  2693551 |  2319338 |     9045    682 |        0 |        0
976.96/977.29	c  977s |      23 |  2696928 |  2322238 |     9045    683 |        0 |        0
978.96/979.29	c  979s |      23 |  2701854 |  2326538 |     9045    684 |        0 |        0
980.97/981.29	c  981s |      23 |  2706081 |  2330238 |     9045    685 |        0 |        0
983.36/983.63	c  983s |      23 |  2710878 |  2334138 |     9045    685 |        0 |        0
985.37/985.65	c  985s |      23 |  2715792 |  2338538 |     9045    686 |        0 |        0
987.36/987.66	c  987s |      23 |  2721448 |  2343338 |     9045    687 |        0 |        0
989.36/989.69	c  989s |      23 |  2727093 |  2348238 |     9045    688 |        0 |        0
991.36/991.69	c  991s |      23 |  2730840 |  2351138 |     9045    689 |        0 |        0
993.46/993.73	c  993s |      23 |  2736179 |  2355738 |     9045    690 |        0 |        0
995.46/995.73	c  995s |      23 |  2741330 |  2360238 |     9045    691 |        0 |        0
997.46/997.74	c  997s |      23 |  2746155 |  2364438 |     9045    692 |        0 |        0
999.45/999.76	c  999s |      23 |  2752416 |  2369438 |     9045    693 |        0 |        0
1001.45/1001.78	c 1001s |      23 |  2756760 |  2373138 |     9045    694 |        0 |        0
1003.55/1003.82	c 1003s |      23 |  2762126 |  2377738 |     9045    695 |        0 |        0
1005.55/1005.83	c 1005s |      23 |  2767222 |  2382238 |     9045    696 |        0 |        0
1007.55/1007.83	c 1007s |      23 |  2773510 |  2387438 |     9045    697 |        0 |        0
1009.55/1009.85	c 1009s |      23 |  2778512 |  2391638 |     9045    698 |        0 |        0
1011.54/1011.87	c 1011s |      23 |  2784001 |  2396538 |     9045    699 |        0 |        0
1013.64/1013.94	c 1013s |      23 |  2789465 |  2401038 |     9045    700 |        0 |        0
1015.64/1015.97	c 1015s |      23 |  2794916 |  2405838 |     9045    701 |        0 |        0
1017.74/1018.00	c 1017s |      23 |  2801329 |  2411138 |     9045    702 |        0 |        0
1019.74/1020.01	c 1019s |      23 |  2807320 |  2416038 |     9045    703 |        0 |        0
1022.14/1022.49	c 1022s |      23 |  2814350 |  2421538 |     9045    705 |        0 |        0
1024.24/1024.51	c 1024s |      23 |  2817130 |  2424038 |     9045    705 |        0 |        0
1026.24/1026.54	c 1026s |      23 |  2821328 |  2427738 |     9045    706 |        0 |        0
1028.25/1028.58	c 1028s |      23 |  2825181 |  2431238 |     9045    707 |        0 |        0
1030.34/1030.62	c 1030s |      23 |  2829006 |  2434838 |     9045    707 |        0 |        0
1032.43/1032.79	c 1032s |      23 |  2834204 |  2439138 |     9045    708 |        0 |        0
1034.53/1034.81	c 1034s |      23 |  2838151 |  2442638 |     9045    709 |        0 |        0
1036.53/1036.84	c 1036s |      23 |  2842776 |  2446838 |     9045    710 |        0 |        0
1038.53/1038.84	c 1038s |      23 |  2846611 |  2450338 |     9045    711 |        0 |        0
1040.53/1040.87	c 1040s |      23 |  2851035 |  2454338 |     9045    712 |        0 |        0
1042.53/1042.89	c 1042s |      23 |  2855493 |  2458438 |     9045    713 |        0 |        0
1044.63/1044.92	c 1044s |      23 |  2860096 |  2462538 |     9045    713 |        0 |        0
1046.63/1046.96	c 1046s |      23 |  2865182 |  2467038 |     9045    714 |        0 |        0
1048.62/1048.99	c 1048s |      23 |  2870564 |  2471838 |     9045    715 |        0 |        0
1052.22/1052.50	c 1052s |      23 |  2876469 |  2477038 |     9045    717 |        0 |        0
1054.22/1054.52	c 1054s |      23 |  2881185 |  2481238 |     9045    718 |        0 |        0
1056.22/1056.54	c 1056s |      23 |  2885774 |  2485338 |     9045    718 |        0 |        0
1058.22/1058.56	c 1058s |      23 |  2890618 |  2489438 |     9045    719 |        0 |        0
1060.23/1060.58	c 1060s |      23 |  2895328 |  2493638 |     9045    720 |        0 |        0
1062.22/1062.59	c 1062s |      23 |  2899967 |  2497638 |     9045    721 |        0 |        0
1064.31/1064.61	c 1064s |      23 |  2905049 |  2502138 |     9045    722 |        0 |        0
1066.31/1066.66	c 1066s |      23 |  2909886 |  2506438 |     9045    723 |        0 |        0
1068.31/1068.66	c 1068s |      23 |  2914966 |  2510838 |     9045    724 |        0 |        0
1070.31/1070.67	c 1070s |      23 |  2921666 |  2516038 |     9045    725 |        0 |        0
1073.02/1073.31	c 1073s |      23 |  2925071 |  2518738 |     9045    726 |        0 |        0
1075.02/1075.34	c 1075s |      23 |  2929908 |  2523038 |     9045    727 |        0 |        0
1077.02/1077.37	c 1077s |      23 |  2935268 |  2527538 |     9045    728 |        0 |        0
1079.02/1079.39	c 1079s |      23 |  2940622 |  2531938 |     9045    729 |        0 |        0
1081.12/1081.41	c 1081s |      23 |  2946763 |  2536938 |     9045    730 |        0 |        0
1083.11/1083.46	c 1083s |      23 |  2950984 |  2540638 |     9045    731 |        0 |        0
1085.21/1085.52	c 1085s |      23 |  2956496 |  2545438 |     9045    732 |        0 |        0
1087.21/1087.55	c 1087s |      23 |  2962582 |  2550438 |     9045    733 |        0 |        0
1089.21/1089.57	c 1089s |      23 |  2967359 |  2554538 |     9045    734 |        0 |        0
1091.21/1091.59	c 1091s |      23 |  2973098 |  2559438 |     9045    735 |        0 |        0
1093.30/1093.61	c 1093s |      23 |  2978982 |  2564238 |     9045    736 |        0 |        0
1095.31/1095.66	c 1095s |      23 |  2984604 |  2569038 |     9045    737 |        0 |        0
1097.30/1097.66	c 1097s |      23 |  2990246 |  2573938 |     9045    738 |        0 |        0
1099.30/1099.68	c 1099s |      23 |  2995819 |  2578638 |     9045    739 |        0 |        0
1101.39/1101.72	c 1101s |      23 |  3000282 |  2582038 |     9045    740 |        0 |        0
1103.39/1103.75	c 1103s |      23 |  3005230 |  2586538 |     9045    741 |        0 |        0
1105.39/1105.75	c 1105s |      23 |  3010077 |  2590838 |     9045    741 |        0 |        0
1107.40/1107.78	c 1107s |      23 |  3014493 |  2594838 |     9045    742 |        0 |        0
1109.49/1109.83	c 1109s |      23 |  3019810 |  2599338 |     9045    743 |        0 |        0
1111.49/1111.84	c 1111s |      23 |  3023664 |  2602738 |     9045    744 |        0 |        0
1113.48/1113.86	c 1113s |      23 |  3028025 |  2606838 |     9045    745 |        0 |        0
1115.49/1115.88	c 1115s |      23 |  3033208 |  2611238 |     9045    746 |        0 |        0
1117.59/1117.91	c 1117s |      23 |  3039168 |  2616038 |     9045    747 |        0 |        0
1119.60/1119.91	c 1119s |      23 |  3044024 |  2619838 |     9045    748 |        0 |        0
1121.59/1121.92	c 1121s |      23 |  3048738 |  2623938 |     9045    749 |        0 |        0
1123.58/1123.94	c 1123s |      23 |  3053451 |  2628138 |     9045    750 |        0 |        0
1125.58/1125.96	c 1125s |      23 |  3058538 |  2632438 |     9045    751 |        0 |        0
1127.68/1128.01	c 1127s |      23 |  3062853 |  2636038 |     9045    751 |        0 |        0
1129.68/1130.03	c 1129s |      23 |  3067970 |  2640538 |     9045    752 |        0 |        0
1131.69/1132.05	c 1132s |      23 |  3072982 |  2645038 |     9045    753 |        0 |        0
1133.88/1134.24	c 1134s |      23 |  3078090 |  2649438 |     9045    754 |        0 |        0
1135.88/1136.26	c 1136s |      23 |  3082606 |  2653238 |     9045    755 |        0 |        0
1137.88/1138.27	c 1138s |      23 |  3087940 |  2657638 |     9045    756 |        0 |        0
1140.07/1140.49	c 1140s |      23 |  3092270 |  2661438 |     9045    757 |        0 |        0
1142.17/1142.50	c 1142s |      23 |  3097092 |  2665738 |     9045    758 |        0 |        0
1144.17/1144.52	c 1144s |      23 |  3102469 |  2670338 |     9045    759 |        0 |        0
1146.17/1146.54	c 1146s |      23 |  3108361 |  2675138 |     9045    760 |        0 |        0
1148.17/1148.57	c 1148s |      23 |  3114664 |  2680338 |     9045    761 |        0 |        0
1150.17/1150.57	c 1150s |      23 |  3121207 |  2685838 |     9045    762 |        0 |        0
1152.26/1152.61	c 1152s |      23 |  3124900 |  2688938 |     9045    763 |        0 |        0
1154.26/1154.62	c 1154s |      23 |  3129822 |  2693438 |     9045    764 |        0 |        0
1156.26/1156.64	c 1156s |      23 |  3135475 |  2698138 |     9045    765 |        0 |        0
1158.26/1158.65	c 1158s |      23 |  3140667 |  2702738 |     9045    766 |        0 |        0
1160.26/1160.67	c 1160s |      23 |  3144148 |  2705738 |     9045    767 |        0 |        0
1162.26/1162.68	c 1162s |      23 |  3149245 |  2710138 |     9045    768 |        0 |        0
1164.25/1164.68	c 1164s |      23 |  3155621 |  2715338 |     9045    769 |        0 |        0
1166.25/1166.69	c 1166s |      23 |  3160187 |  2719338 |     9045    770 |        0 |        0
1168.35/1168.71	c 1168s |      23 |  3166288 |  2724438 |     9045    771 |        0 |        0
1170.35/1170.75	c 1170s |      23 |  3171698 |  2729038 |     9045    772 |        0 |        0
1172.36/1172.76	c 1172s |      23 |  3177488 |  2733838 |     9045    773 |        0 |        0
1174.36/1174.77	c 1174s |      23 |  3184112 |  2739238 |     9045    774 |        0 |        0
1176.36/1176.78	c 1176s |      23 |  3189993 |  2744238 |     9045    775 |        0 |        0
1178.46/1178.80	c 1178s |      23 |  3192430 |  2746338 |     9045    775 |        0 |        0
1180.46/1180.81	c 1180s |      23 |  3198187 |  2751138 |     9045    777 |        0 |        0
1182.45/1182.83	c 1182s |      23 |  3204624 |  2756438 |     9045    778 |        0 |        0
1184.46/1184.85	c 1184s |      23 |  3210257 |  2761038 |     9045    779 |        0 |        0
1186.45/1186.86	c 1186s |      23 |  3215264 |  2765338 |     9045    780 |        0 |        0
1188.45/1188.87	c 1188s |      23 |  3221520 |  2770538 |     9045    781 |        0 |        0
1190.45/1190.87	c 1190s |      23 |  3225962 |  2774338 |     9045    782 |        0 |        0
1192.55/1192.90	c 1192s |      23 |  3232512 |  2779838 |     9045    783 |        0 |        0
1194.55/1194.93	c 1194s |      23 |  3237466 |  2784238 |     9045    784 |        0 |        0
1196.55/1196.94	c 1196s |      23 |  3243662 |  2789438 |     9045    785 |        0 |        0
1198.54/1198.94	c 1198s |      23 |  3250560 |  2795038 |     9045    786 |        0 |        0
1200.95/1201.38	c 1201s |      23 |  3256415 |  2799538 |     9045    787 |        0 |        0
1203.04/1203.41	c 1203s |      23 |  3261858 |  2804138 |     9045    788 |        0 |        0
1205.03/1205.42	c 1205s |      23 |  3267817 |  2808938 |     9045    789 |        0 |        0
1207.03/1207.44	c 1207s |      23 |  3274177 |  2814138 |     9045    790 |        0 |        0
1209.03/1209.45	c 1209s |      23 |  3280805 |  2819538 |     9045    792 |        0 |        0
1211.13/1211.50	c 1211s |      23 |  3286433 |  2824038 |     9045    793 |        0 |        0
1213.13/1213.52	c 1213s |      23 |  3294788 |  2830438 |     9045    794 |        0 |        0
1215.13/1215.54	c 1215s |      23 |  3301085 |  2835138 |     9045    795 |        0 |        0
1217.22/1217.66	c 1217s |      23 |  3308055 |  2840238 |     9045    796 |        0 |        0
1219.22/1219.67	c 1219s |      23 |  3314711 |  2845538 |     9045    797 |        0 |        0
1221.32/1221.72	c 1221s |      23 |  3322339 |  2851438 |     9045    799 |        0 |        0
1223.32/1223.74	c 1223s |      23 |  3329289 |  2856938 |     9045    800 |        0 |        0
1225.32/1225.76	c 1225s |      23 |  3333409 |  2860038 |     9045    800 |        0 |        0
1227.42/1227.80	c 1227s |      23 |  3337733 |  2863738 |     9045    801 |        0 |        0
1229.43/1229.81	c 1229s |      23 |  3342958 |  2868338 |     9045    802 |        0 |        0
1231.42/1231.84	c 1231s |      23 |  3348057 |  2872738 |     9045    803 |        0 |        0
1233.41/1233.84	c 1233s |      23 |  3352758 |  2876938 |     9045    804 |        0 |        0
1235.41/1235.86	c 1235s |      23 |  3357943 |  2881538 |     9045    805 |        0 |        0
1237.41/1237.87	c 1237s |      23 |  3363253 |  2885938 |     9045    806 |        0 |        0
1239.42/1239.88	c 1239s |      23 |  3369479 |  2891038 |     9045    807 |        0 |        0
1241.52/1241.93	c 1241s |      23 |  3375070 |  2895638 |     9045    808 |        0 |        0
1243.51/1243.99	c 1243s |      23 |  3377973 |  2898138 |     9045    809 |        0 |        0
1245.61/1246.02	c 1245s |      23 |  3382795 |  2902438 |     9045    810 |        0 |        0
1247.61/1248.05	c 1247s |      23 |  3387361 |  2906438 |     9045    811 |        0 |        0
1249.71/1250.14	c 1250s |      23 |  3392292 |  2910838 |     9045    812 |        0 |        0
1251.71/1252.17	c 1252s |      23 |  3398650 |  2915838 |     9045    813 |        0 |        0
1253.80/1254.25	c 1254s |      23 |  3404024 |  2920238 |     9045    814 |        0 |        0
1255.91/1256.31	c 1256s |      23 |  3408076 |  2923438 |     9045    814 |        0 |        0
1257.90/1258.31	c 1258s |      23 |  3413374 |  2928038 |     9045    815 |        0 |        0
1259.90/1260.33	c 1260s |      23 |  3419088 |  2932738 |     9045    816 |        0 |        0
1261.90/1262.36	c 1262s |      23 |  3425054 |  2937638 |     9045    817 |        0 |        0
1263.89/1264.39	c 1264s |      23 |  3428653 |  2940638 |     9045    818 |        0 |        0
1265.99/1266.43	c 1266s |      23 |  3434210 |  2945438 |     9045    819 |        0 |        0
1268.00/1268.45	c 1268s |      23 |  3440429 |  2950538 |     9045    820 |        0 |        0
1269.99/1270.48	c 1270s |      23 |  3445803 |  2954838 |     9045    821 |        0 |        0
1271.99/1272.50	c 1272s |      23 |  3452640 |  2960138 |     9045    822 |        0 |        0
1274.08/1274.52	c 1274s |      23 |  3459462 |  2965438 |     9045    823 |        0 |        0
1276.08/1276.53	c 1276s |      23 |  3466132 |  2970938 |     9045    825 |        0 |        0
1278.08/1278.56	c 1278s |      23 |  3470007 |  2974238 |     9045    825 |        0 |        0
1280.09/1280.57	c 1280s |      23 |  3475699 |  2979138 |     9045    826 |        0 |        0
1282.08/1282.57	c 1282s |      23 |  3480817 |  2983238 |     9045    827 |        0 |        0
1284.09/1284.59	c 1284s |      23 |  3483821 |  2985638 |     9045    828 |        0 |        0
1286.09/1286.59	c 1286s |      23 |  3488101 |  2989538 |     9045    829 |        0 |        0
1288.18/1288.61	c 1288s |      23 |  3492984 |  2993738 |     9045    830 |        0 |        0
1290.18/1290.63	c 1290s |      23 |  3497266 |  2997738 |     9045    831 |        0 |        0
1292.19/1292.64	c 1292s |      23 |  3502216 |  3002138 |     9045    831 |        0 |        0
1294.18/1294.66	c 1294s |      23 |  3507142 |  3006438 |     9045    832 |        0 |        0
1296.18/1296.69	c 1296s |      23 |  3512347 |  3011038 |     9045    833 |        0 |        0
1298.28/1298.73	c 1298s |      23 |  3517773 |  3015838 |     9045    834 |        0 |        0
1300.28/1300.73	c 1300s |      23 |  3523854 |  3020938 |     9045    836 |        0 |        0
1302.27/1302.76	c 1302s |      23 |  3526348 |  3022938 |     9045    836 |        0 |        0
1304.27/1304.77	c 1304s |      23 |  3530786 |  3027038 |     9045    837 |        0 |        0
1306.27/1306.80	c 1306s |      23 |  3535565 |  3031338 |     9045    838 |        0 |        0
1308.37/1308.81	c 1308s |      23 |  3540364 |  3035738 |     9045    839 |        0 |        0
1310.37/1310.82	c 1310s |      23 |  3545922 |  3040338 |     9045    840 |        0 |        0
1312.36/1312.86	c 1312s |      23 |  3550753 |  3044538 |     9045    841 |        0 |        0
1314.96/1315.49	c 1315s |      23 |  3555825 |  3048938 |     9045    842 |        0 |        0
1317.06/1317.51	c 1317s |      23 |  3560682 |  3053238 |     9045    843 |        0 |        0
1319.06/1319.55	c 1319s |      23 |  3565963 |  3057738 |     9045    844 |        0 |        0
1321.06/1321.56	c 1321s |      23 |  3571623 |  3062638 |     9045    845 |        0 |        0
1323.05/1323.58	c 1323s |      23 |  3576308 |  3066538 |     9045    846 |        0 |        0
1325.06/1325.60	c 1325s |      23 |  3581435 |  3071138 |     9045    847 |        0 |        0
1327.15/1327.62	c 1327s |      23 |  3586575 |  3075738 |     9045    848 |        0 |        0
1329.15/1329.69	c 1329s |      23 |  3592342 |  3080338 |     9045    849 |        0 |        0
1331.25/1331.70	c 1331s |      23 |  3599746 |  3086138 |     9045    850 |        0 |        0
1333.24/1333.72	c 1333s |      23 |  3605109 |  3090638 |     9045    851 |        0 |        0
1335.24/1335.75	c 1335s |      23 |  3611106 |  3095638 |     9045    852 |        0 |        0
1337.44/1338.00	c 1337s |      23 |  3616080 |  3099838 |     9045    853 |        0 |        0
1339.54/1340.02	c 1339s |      23 |  3622134 |  3104838 |     9045    854 |        0 |        0
1341.55/1342.09	c 1342s |      23 |  3625584 |  3107738 |     9045    855 |        0 |        0
1343.53/1344.09	c 1344s |      23 |  3630284 |  3111938 |     9045    856 |        0 |        0
1345.63/1346.12	c 1346s |      23 |  3634352 |  3115438 |     9045    856 |        0 |        0
1347.63/1348.16	c 1348s |      23 |  3639163 |  3119738 |     9045    857 |        0 |        0
1349.63/1350.18	c 1350s |      23 |  3644442 |  3124438 |     9045    858 |        0 |        0
1351.73/1352.22	c 1352s |      23 |  3648164 |  3127738 |     9045    859 |        0 |        0
1353.73/1354.23	c 1354s |      23 |  3653290 |  3132138 |     9045    860 |        0 |        0
1355.73/1356.26	c 1356s |      23 |  3657960 |  3136238 |     9045    861 |        0 |        0
1357.73/1358.29	c 1358s |      23 |  3663233 |  3140938 |     9045    862 |        0 |        0
1359.83/1360.30	c 1360s |      23 |  3668977 |  3145838 |     9045    863 |        0 |        0
1361.83/1362.31	c 1362s |      23 |  3672211 |  3148638 |     9045    864 |        0 |        0
1363.82/1364.32	c 1364s |      23 |  3677800 |  3153438 |     9045    865 |        0 |        0
1365.83/1366.33	c 1366s |      23 |  3683892 |  3158638 |     9045    866 |        0 |        0
1367.82/1368.37	c 1368s |      23 |  3688817 |  3162738 |     9045    867 |        0 |        0
1369.93/1370.40	c 1370s |      23 |  3695730 |  3168338 |     9045    868 |        0 |        0
1371.93/1372.42	c 1372s |      23 |  3700750 |  3172738 |     9045    869 |        0 |        0
1373.92/1374.43	c 1374s |      23 |  3707414 |  3178038 |     9045    870 |        0 |        0
1375.92/1376.44	c 1376s |      23 |  3713563 |  3183338 |     9045    871 |        0 |        0
1377.93/1378.46	c 1378s |      23 |  3720370 |  3189038 |     9045    872 |        0 |        0
1379.92/1380.48	c 1380s |      23 |  3723029 |  3191038 |     9045    873 |        0 |        0
1381.92/1382.49	c 1382s |      23 |  3728585 |  3195738 |     9045    874 |        0 |        0
1384.01/1384.51	c 1384s |      23 |  3734569 |  3200638 |     9045    875 |        0 |        0
1386.01/1386.51	c 1386s |      23 |  3739067 |  3204338 |     9045    876 |        0 |        0
1388.01/1388.57	c 1388s |      23 |  3743319 |  3208038 |     9045    877 |        0 |        0
1390.11/1390.62	c 1390s |      23 |  3748203 |  3212038 |     9045    877 |        0 |        0
1392.12/1392.63	c 1392s |      23 |  3754559 |  3217038 |     9045    879 |        0 |        0
1394.10/1394.69	c 1394s |      23 |  3760519 |  3221538 |     9045    880 |        0 |        0
1396.20/1396.74	c 1396s |      23 |  3765745 |  3226138 |     9045    881 |        0 |        0
1398.20/1398.77	c 1398s |      23 |  3771959 |  3231138 |     9045    882 |        0 |        0
1400.20/1400.79	c 1400s |      23 |  3778953 |  3236738 |     9045    883 |        0 |        0
1402.90/1403.45	c 1403s |      23 |  3785218 |  3241638 |     9045    884 |        0 |        0
1404.90/1405.47	c 1405s |      23 |  3790268 |  3245938 |     9045    885 |        0 |        0
1406.90/1407.49	c 1407s |      23 |  3796088 |  3250438 |     9045    886 |        0 |        0
1408.99/1409.51	c 1409s |      23 |  3802110 |  3255538 |     9045    887 |        0 |        0
1410.99/1411.55	c 1411s |      23 |  3806549 |  3258938 |     9045    888 |        0 |        0
1412.99/1413.57	c 1413s |      23 |  3812065 |  3263638 |     9045    889 |        0 |        0
1414.99/1415.59	c 1415s |      23 |  3816725 |  3267638 |     9045    890 |        0 |        0
1417.09/1417.62	c 1417s |      23 |  3821915 |  3272138 |     9045    891 |        0 |        0
1419.09/1419.64	c 1419s |      23 |  3827890 |  3277238 |     9045    892 |        0 |        0
1421.08/1421.66	c 1421s |      23 |  3831973 |  3280638 |     9045    892 |        0 |        0
1423.08/1423.67	c 1423s |      23 |  3837381 |  3285338 |     9045    893 |        0 |        0
1425.09/1425.69	c 1425s |      23 |  3843140 |  3290338 |     9045    895 |        0 |        0
1427.18/1427.70	c 1427s |      23 |  3847689 |  3294338 |     9045    895 |        0 |        0
1429.18/1429.73	c 1429s |      23 |  3853952 |  3299338 |     9045    897 |        0 |        0
1431.18/1431.76	c 1431s |      23 |  3860258 |  3304338 |     9045    898 |        0 |        0
1433.28/1433.80	c 1433s |      23 |  3866944 |  3309838 |     9045    899 |        0 |        0
1436.48/1437.04	c 1436s |      23 |  3873434 |  3315138 |     9045    900 |        0 |        0
1438.48/1439.05	c 1439s |      23 |  3879077 |  3319838 |     9045    901 |        0 |        0
1440.49/1441.09	c 1441s |      23 |  3884372 |  3324438 |     9045    902 |        0 |        0
1442.57/1443.13	c 1443s |      23 |  3890250 |  3329038 |     9045    903 |        0 |        0
1444.67/1445.20	c 1445s |      23 |  3894997 |  3333038 |     9045    904 |        0 |        0
1446.67/1447.22	c 1447s |      23 |  3900582 |  3337938 |     9045    905 |        0 |        0
1448.67/1449.23	c 1449s |      23 |  3905684 |  3342338 |     9045    906 |        0 |        0
1450.67/1451.24	c 1451s |      23 |  3911555 |  3347238 |     9045    907 |        0 |        0
1452.67/1453.25	c 1453s |      23 |  3917249 |  3352238 |     9045    908 |        0 |        0
1454.98/1455.55	c 1455s |      23 |  3921648 |  3355838 |     9950    909 |        0 |        0
1456.98/1457.58	c 1457s |      23 |  3927113 |  3360538 |     9950    910 |        0 |        0
1458.98/1459.58	c 1459s |      23 |  3932799 |  3365338 |     9950    911 |        0 |        0
1461.07/1461.61	c 1461s |      23 |  3940375 |  3371238 |     9950    912 |        0 |        0
1463.07/1463.63	c 1463s |      23 |  3945544 |  3375538 |     9950    913 |        0 |        0
1463.47/1464.05	c 1463s |      24 |  3946906 |  3376662 |     9950    913 |        0 |        0
1465.47/1466.05	c 1465s |      24 |  3949216 |  3378462 |     9950    913 |        0 |        0
1467.47/1468.05	c 1468s |      24 |  3953301 |  3382062 |     9950    914 |        0 |        0
1469.47/1470.09	c 1470s |      24 |  3957041 |  3385462 |     9950    915 |        0 |        0
1471.47/1472.09	c 1472s |      24 |  3961502 |  3389462 |     9950    915 |        0 |        0
1473.58/1474.12	c 1474s |      24 |  3965278 |  3392862 |     9950    916 |        0 |        0
1475.57/1476.16	c 1476s |      24 |  3969298 |  3396562 |     9950    917 |        0 |        0
1477.67/1478.20	c 1478s |      24 |  3973917 |  3400462 |     9950    918 |        0 |        0
1479.67/1480.21	c 1480s |      24 |  3978041 |  3404162 |     9950    918 |        0 |        0
1481.67/1482.23	c 1482s |      24 |  3982280 |  3407962 |     9950    919 |        0 |        0
1483.67/1484.26	c 1484s |      24 |  3986487 |  3411762 |     9950    920 |        0 |        0
1485.77/1486.31	c 1486s |      24 |  3990915 |  3415662 |     9950    921 |        0 |        0
1487.77/1488.36	c 1488s |      24 |  3995936 |  3420162 |     9950    922 |        0 |        0
1489.77/1490.36	c 1490s |      24 |  4001306 |  3424662 |     9950    922 |        0 |        0
1491.77/1492.36	c 1492s |      24 |  4006903 |  3429462 |     9950    923 |        0 |        0
1493.96/1494.56	c 1494s |      24 |  4008473 |  3430862 |     9950    924 |        0 |        0
1496.06/1496.65	c 1496s |      24 |  4012459 |  3434562 |     9950    924 |        0 |        0
1498.06/1498.67	c 1498s |      24 |  4017226 |  3438862 |     9950    925 |        0 |        0
1500.06/1500.68	c 1500s |      24 |  4021568 |  3442762 |     9950    926 |        0 |        0
1502.07/1502.69	c 1502s |      24 |  4025477 |  3446362 |     9950    927 |        0 |        0
1504.16/1504.75	c 1504s |      24 |  4029665 |  3450262 |     9950    928 |        0 |        0
1506.16/1506.78	c 1506s |      24 |  4034293 |  3454562 |     9950    928 |        0 |        0
1508.16/1508.79	c 1508s |      24 |  4039116 |  3458862 |     9950    929 |        0 |        0
1510.26/1510.81	c 1510s |      24 |  4044671 |  3463562 |     9950    930 |        0 |        0
1512.27/1512.83	c 1512s |      24 |  4046395 |  3465162 |     9950    930 |        0 |        0
1514.27/1514.88	c 1514s |      24 |  4050556 |  3468862 |     9950    931 |        0 |        0
1516.37/1516.91	c 1516s |      24 |  4054626 |  3472562 |     9950    932 |        0 |        0
1518.36/1518.92	c 1518s |      24 |  4059304 |  3476662 |     9950    933 |        0 |        0
1520.46/1521.01	c 1520s |      24 |  4063864 |  3480662 |     9950    934 |        0 |        0
1522.46/1523.08	c 1523s |      24 |  4069551 |  3485462 |     9950    935 |        0 |        0
1525.36/1525.92	c 1525s |      24 |  4075649 |  3490362 |     9950    935 |        0 |        0
1527.37/1527.94	c 1527s |      24 |  4080454 |  3494662 |     9950    936 |        0 |        0
1529.36/1529.96	c 1529s |      24 |  4085169 |  3498862 |     9950    937 |        0 |        0
1531.36/1531.96	c 1531s |      24 |  4089998 |  3503062 |     9950    938 |        0 |        0
1533.36/1533.97	c 1533s |      24 |  4096089 |  3507762 |     9950    939 |        0 |        0
1535.46/1536.02	c 1535s |      24 |  4099483 |  3510562 |     9950    939 |        0 |        0
1537.46/1538.04	c 1537s |      24 |  4104710 |  3514962 |     9950    940 |        0 |        0
1539.46/1540.06	c 1540s |      24 |  4111299 |  3520062 |     9950    941 |        0 |        0
1541.46/1542.06	c 1542s |      24 |  4115467 |  3523762 |     9950    942 |        0 |        0
1543.46/1544.09	c 1544s |      24 |  4121500 |  3528662 |     9950    943 |        0 |        0
1545.56/1546.12	c 1546s |      24 |  4127651 |  3533462 |     9950    944 |        0 |        0
1547.56/1548.14	c 1548s |      24 |  4134564 |  3538962 |     9950    945 |        0 |        0
1549.56/1550.16	c 1550s |      24 |  4139848 |  3543362 |     9950    946 |        0 |        0
1553.65/1554.22	c 1554s |      24 |  4145588 |  3548062 |     9950    947 |        0 |        0
1555.66/1556.23	c 1556s |      24 |  4148451 |  3550562 |     9950    947 |        0 |        0
1557.66/1558.25	c 1558s |      24 |  4153099 |  3554662 |     9950    948 |        0 |        0
1559.66/1560.28	c 1560s |      24 |  4157514 |  3558562 |     9950    949 |        0 |        0
1561.66/1562.29	c 1562s |      24 |  4161863 |  3562462 |     9950    950 |        0 |        0
1563.86/1564.42	c 1564s |      24 |  4165941 |  3565962 |     9950    951 |        0 |        0
1565.87/1566.42	c 1566s |      24 |  4169861 |  3569462 |     9950    951 |        0 |        0
1567.86/1568.44	c 1568s |      24 |  4174840 |  3573662 |     9950    952 |        0 |        0
1569.86/1570.45	c 1570s |      24 |  4179214 |  3577662 |     9950    953 |        0 |        0
1571.86/1572.47	c 1572s |      24 |  4183908 |  3581862 |     9950    954 |        0 |        0
1573.86/1574.49	c 1574s |      24 |  4190052 |  3586662 |     9950    955 |        0 |        0
1575.96/1576.50	c 1576s |      24 |  4192045 |  3588362 |     9950    955 |        0 |        0
1577.96/1578.53	c 1578s |      24 |  4197427 |  3592662 |     9950    956 |        0 |        0
1579.96/1580.57	c 1580s |      24 |  4202280 |  3596662 |     9950    957 |        0 |        0
1581.95/1582.59	c 1582s |      24 |  4206545 |  3600362 |     9950    957 |        0 |        0
1584.05/1584.65	c 1584s |      24 |  4211133 |  3604362 |     9950    958 |        0 |        0
1586.05/1586.67	c 1586s |      24 |  4215966 |  3608562 |     9950    959 |        0 |        0
1588.05/1588.69	c 1588s |      24 |  4222081 |  3613262 |     9950    960 |        0 |        0
1590.16/1590.72	c 1590s |      24 |  4225949 |  3616362 |     9950    961 |        0 |        0
1592.15/1592.75	c 1592s |      24 |  4230666 |  3620562 |     9950    961 |        0 |        0
1594.15/1594.76	c 1594s |      24 |  4235674 |  3624862 |     9950    962 |        0 |        0
1596.55/1597.18	c 1597s |      24 |  4240706 |  3629262 |     9950    963 |        0 |        0
1598.65/1599.21	c 1599s |      24 |  4245543 |  3633462 |     9950    964 |        0 |        0
1600.65/1601.22	c 1601s |      24 |  4251389 |  3638162 |     9950    965 |        0 |        0
1602.65/1603.26	c 1603s |      24 |  4256395 |  3642262 |     9950    966 |        0 |        0
1604.65/1605.27	c 1605s |      24 |  4262022 |  3646762 |     9950    967 |        0 |        0
1606.65/1607.27	c 1607s |      24 |  4267638 |  3651362 |     9950    968 |        0 |        0
1608.65/1609.29	c 1609s |      24 |  4274279 |  3656762 |     9950    969 |        0 |        0
1610.65/1611.30	c 1611s |      24 |  4275386 |  3657562 |     9950    969 |        0 |        0
1612.75/1613.32	c 1613s |      24 |  4280700 |  3661862 |     9950    970 |        0 |        0
1614.75/1615.36	c 1615s |      24 |  4286103 |  3666362 |     9950    971 |        0 |        0
1616.75/1617.39	c 1617s |      24 |  4291958 |  3671062 |     9950    971 |        0 |        0
1618.85/1619.44	c 1619s |      24 |  4296434 |  3675062 |     9950    972 |        0 |        0
1621.04/1621.64	c 1621s |      24 |  4298953 |  3677262 |     9950    973 |        0 |        0
1623.05/1623.67	c 1623s |      24 |  4303127 |  3680962 |     9950    973 |        0 |        0
1625.44/1626.09	c 1626s |      24 |  4307772 |  3685062 |     9950    974 |        0 |        0
1627.55/1628.11	c 1628s |      24 |  4311878 |  3688762 |     9950    975 |        0 |        0
1629.54/1630.14	c 1630s |      24 |  4315813 |  3692262 |     9950    976 |        0 |        0
1631.54/1632.15	c 1632s |      24 |  4320384 |  3696362 |     9950    976 |        0 |        0
1633.54/1634.18	c 1634s |      24 |  4325285 |  3700662 |     9950    977 |        0 |        0
1635.64/1636.22	c 1636s |      24 |  4330667 |  3705062 |     9950    978 |        0 |        0
1637.64/1638.23	c 1638s |      24 |  4335438 |  3709162 |     9950    979 |        0 |        0
1639.65/1640.25	c 1640s |      24 |  4340561 |  3713462 |     9950    980 |        0 |        0
1641.64/1642.27	c 1642s |      24 |  4342441 |  3714962 |     9950    980 |        0 |        0
1643.64/1644.28	c 1644s |      24 |  4346453 |  3718562 |     9950    981 |        0 |        0
1645.64/1646.29	c 1646s |      24 |  4351418 |  3722762 |     9950    982 |        0 |        0
1647.74/1648.39	c 1648s |      24 |  4355767 |  3726662 |     9950    983 |        0 |        0
1649.84/1650.40	c 1650s |      24 |  4359888 |  3730162 |     9950    983 |        0 |        0
1651.84/1652.44	c 1652s |      24 |  4364445 |  3734162 |     9950    984 |        0 |        0
1653.84/1654.47	c 1654s |      24 |  4368312 |  3737662 |     9950    985 |        0 |        0
1655.94/1656.52	c 1656s |      24 |  4373091 |  3741762 |     9950    986 |        0 |        0
1657.94/1658.52	c 1658s |      24 |  4378268 |  3746262 |     9950    986 |        0 |        0
1659.94/1660.57	c 1660s |      24 |  4384027 |  3751062 |     9950    987 |        0 |        0
1662.04/1662.61	c 1662s |      24 |  4386539 |  3753162 |     9950    988 |        0 |        0
1664.04/1664.63	c 1664s |      24 |  4391660 |  3757562 |     9950    989 |        0 |        0
1666.04/1666.67	c 1666s |      24 |  4396403 |  3761562 |     9950    989 |        0 |        0
1668.03/1668.68	c 1668s |      24 |  4401643 |  3766062 |     9950    990 |        0 |        0
1670.13/1670.70	c 1670s |      24 |  4406960 |  3770562 |     9950    991 |        0 |        0
1672.33/1672.90	c 1672s |      24 |  4409852 |  3773062 |     9950    992 |        0 |        0
1674.33/1674.93	c 1674s |      24 |  4414855 |  3777262 |     9950    993 |        0 |        0
1676.33/1676.94	c 1676s |      24 |  4419948 |  3781762 |     9950    993 |        0 |        0
1678.43/1679.01	c 1678s |      24 |  4424789 |  3786062 |     9950    994 |        0 |        0
1680.63/1681.21	c 1681s |      24 |  4428919 |  3789662 |     9950    995 |        0 |        0
1682.63/1683.23	c 1683s |      24 |  4433388 |  3793762 |     9950    996 |        0 |        0
1684.64/1685.23	c 1685s |      24 |  4438428 |  3798262 |     9950    997 |        0 |        0
1686.64/1687.27	c 1687s |      24 |  4443184 |  3802162 |     9950    998 |        0 |        0
1688.64/1689.28	c 1689s |      24 |  4448821 |  3806962 |     9950    998 |        0 |        0
1690.74/1691.30	c 1691s |      24 |  4454811 |  3811762 |     9950    999 |        0 |        0
1692.74/1693.34	c 1693s |      24 |  4460153 |  3816162 |     9950   1000 |        0 |        0
1694.74/1695.35	c 1695s |      24 |  4466594 |  3821262 |     9950   1001 |        0 |        0
1696.74/1697.37	c 1697s |      24 |  4473255 |  3826662 |     9950   1002 |        0 |        0
1699.14/1699.79	c 1699s |      24 |  4474403 |  3827562 |     9950   1003 |        0 |        0
1701.14/1701.79	c 1701s |      24 |  4479062 |  3831562 |     9950   1003 |        0 |        0
1703.23/1703.80	c 1703s |      24 |  4483848 |  3835662 |     9950   1004 |        0 |        0
1705.23/1705.83	c 1705s |      24 |  4488733 |  3839762 |     9950   1005 |        0 |        0
1707.23/1707.86	c 1707s |      24 |  4493810 |  3844162 |     9950   1006 |        0 |        0
1709.33/1709.90	c 1709s |      24 |  4497397 |  3847062 |     9950   1006 |        0 |        0
1711.33/1711.95	c 1711s |      24 |  4502145 |  3851262 |     9950   1007 |        0 |        0
1713.34/1713.99	c 1713s |      24 |  4507099 |  3855462 |     9950   1008 |        0 |        0
1715.44/1716.03	c 1715s |      24 |  4511998 |  3859562 |     9950   1009 |        0 |        0
1717.43/1718.05	c 1718s |      24 |  4517911 |  3864462 |     9950   1010 |        0 |        0
1719.53/1720.11	c 1720s |      24 |  4521031 |  3867062 |     9950   1010 |        0 |        0
1721.53/1722.16	c 1722s |      24 |  4526487 |  3871462 |     9950   1011 |        0 |        0
1723.53/1724.17	c 1724s |      24 |  4531727 |  3875962 |     9950   1012 |        0 |        0
1725.53/1726.19	c 1726s |      24 |  4536635 |  3880262 |     9950   1013 |        0 |        0
1727.54/1728.20	c 1728s |      24 |  4540154 |  3883062 |     9950   1014 |        0 |        0
1729.63/1730.22	c 1730s |      24 |  4544055 |  3886062 |     9950   1014 |        0 |        0
1731.63/1732.26	c 1732s |      24 |  4549446 |  3890662 |     9950   1015 |        0 |        0
1733.63/1734.27	c 1734s |      24 |  4554910 |  3895462 |     9950   1016 |        0 |        0
1735.63/1736.27	c 1736s |      24 |  4558903 |  3898862 |     9950   1017 |        0 |        0
1737.73/1738.30	c 1738s |      24 |  4564771 |  3903562 |     9950   1018 |        0 |        0
1739.73/1740.32	c 1740s |      24 |  4570258 |  3908162 |     9950   1019 |        0 |        0
1741.73/1742.34	c 1742s |      24 |  4575184 |  3912162 |     9950   1019 |        0 |        0
1743.72/1744.38	c 1744s |      24 |  4581500 |  3917362 |     9950   1020 |        0 |        0
1745.72/1746.39	c 1746s |      24 |  4587101 |  3921662 |     9950   1021 |        0 |        0
1747.82/1748.41	c 1748s |      24 |  4592320 |  3926162 |     9950   1022 |        0 |        0
1749.82/1750.43	c 1750s |      24 |  4598300 |  3930962 |     9950   1023 |        0 |        0
1751.83/1752.45	c 1752s |      24 |  4604416 |  3935862 |     9950   1024 |        0 |        0
1753.82/1754.49	c 1754s |      24 |  4611842 |  3941562 |     9950   1025 |        0 |        0
1755.92/1756.55	c 1756s |      24 |  4618960 |  3947162 |     9950   1026 |        0 |        0
1757.92/1758.55	c 1758s |      24 |  4626749 |  3953262 |     9950   1028 |        0 |        0
1759.93/1760.59	c 1760s |      24 |  4630573 |  3956162 |     9950   1028 |        0 |        0
1762.03/1762.61	c 1762s |      24 |  4637420 |  3961562 |     9950   1029 |        0 |        0
1764.03/1764.62	c 1764s |      24 |  4644398 |  3967162 |     9950   1030 |        0 |        0
1766.33/1766.91	c 1766s |      24 |  4650365 |  3971862 |     9950   1031 |        0 |        0
1768.33/1768.94	c 1768s |      24 |  4656954 |  3977062 |     9950   1032 |        0 |        0
1770.62/1771.25	c 1771s |      24 |  4662421 |  3981362 |     9950   1033 |        0 |        0
1772.63/1773.25	c 1773s |      24 |  4668122 |  3986162 |     9950   1034 |        0 |        0
1774.62/1775.28	c 1775s |      24 |  4674120 |  3990662 |     9950   1035 |        0 |        0
1776.62/1777.29	c 1777s |      24 |  4682091 |  3996662 |     9950   1036 |        0 |        0
1778.62/1779.29	c 1779s |      24 |  4686493 |  3999962 |     9950   1037 |        0 |        0
1780.72/1781.31	c 1781s |      24 |  4694839 |  4005862 |     9950   1038 |        0 |        0
1782.72/1783.32	c 1783s |      24 |  4702230 |  4011662 |     9950   1039 |        0 |        0
1785.42/1786.03	c 1785s |      24 |  4708044 |  4016062 |     9950   1040 |        0 |        0
1787.42/1788.05	c 1788s |      24 |  4713620 |  4020562 |     9950   1041 |        0 |        0
1789.42/1790.07	c 1790s |      24 |  4716905 |  4023362 |     9950   1042 |        0 |        0
1791.42/1792.09	c 1792s |      24 |  4722391 |  4027762 |     9950   1043 |        0 |        0
1793.42/1794.09	c 1794s |      24 |  4727211 |  4031862 |     9950   1043 |        0 |        0
1795.52/1796.10	c 1796s |      24 |  4732733 |  4036562 |     9950   1044 |        0 |        0
1797.52/1798.12	c 1798s |      24 |  4738862 |  4041562 |     9950   1045 |        0 |        0
1799.62/1800.24	c 1800s |      24 |  4745384 |  4046362 |     9950   1046 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106850-1466279213/watcher-4106850-1466279213 -o /tmp/evaluation-result-4106850-1466279213/solver-4106850-1466279213 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10488 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106850-1466279213.opb 

pid=11069
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.32 2.28 2.22 3/179 11072
/proc/meminfo: memFree=29864368/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=695740 CPUtime=0 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 2593 0 0 0 0 0 0 0 20 0 4 0 29968402 712437760 2953 33554432000 4194304 16246674 140737267984160 140737267983584 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 174703 2962 441 2943 0 171597 0
[pid=11072/tid=11073] ppid=11069 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 731312128 3025 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 736555008 3041 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29968402 739700736 3056 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.32 2.28 2.22 3/179 11072
/proc/meminfo: memFree=29864368/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 27072 0 0 0 6 3 0 0 20 0 4 0 29968402 1247350784 27422 33554432000 4194304 16246674 140737267984160 140737267983584 13192509 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 304529 27433 720 2943 0 301423 0
[pid=11072/tid=11073] ppid=11069 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1247350784 27440 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1247350784 27449 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29968402 1247350784 27452 33554432000 4194304 16246674 140737267984160 140191278816432 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) 1218116

[startup+0.20046 s]
/proc/loadavg: 2.32 2.28 2.22 3/179 11072
/proc/meminfo: memFree=29864368/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 51276 0 0 0 11 8 0 0 20 0 4 0 29968402 1247350784 51626 33554432000 4194304 16246674 140737267984160 140737267983584 12479207 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 304529 51643 720 2943 0 301423 0
[pid=11072/tid=11073] ppid=11069 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1247350784 51652 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1247350784 51661 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29968402 1247350784 51670 33554432000 4194304 16246674 140737267984160 140191278816432 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) 1218116

[startup+0.300516 s]
/proc/loadavg: 2.32 2.28 2.22 3/179 11072
/proc/meminfo: memFree=29864368/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 76078 0 0 0 18 11 0 0 20 0 4 0 29968402 1247350784 76428 33554432000 4194304 16246674 140737267984160 140737267983584 12476925 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 304529 76438 720 2943 0 301423 0
[pid=11072/tid=11073] ppid=11069 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1247350784 76445 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1247350784 76452 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29968402 1247350784 76460 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700402 s]
/proc/loadavg: 2.32 2.28 2.22 3/179 11072
/proc/meminfo: memFree=29864368/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 169863 0 0 0 46 22 0 0 20 0 4 0 29968402 1247350784 170212 33554432000 4194304 16246674 140737267984160 140737267966080 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 304529 170224 720 2943 0 301423 0
[pid=11072/tid=11073] ppid=11069 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1247350784 170236 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1247350784 170242 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29968402 1247350784 170248 33554432000 4194304 16246674 140737267984160 140191278816432 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) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.29 2.27 2.22 3/183 11076
/proc/meminfo: memFree=28429576/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 246243 0 0 0 115 34 0 0 20 0 4 0 29968402 1250496512 246572 33554432000 4194304 16246674 140737267984160 140737267983472 5823206 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 305297 246572 798 2943 0 302191 0
[pid=11072/tid=11073] ppid=11069 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1250496512 246572 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1250496512 246572 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1250496512 246572 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10041 s]
/proc/loadavg: 2.29 2.27 2.22 3/183 11076
/proc/meminfo: memFree=28223364/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 267435 0 0 0 272 36 0 0 20 0 4 0 29968402 1337528320 267764 33554432000 4194304 16246674 140737267984160 140737267967160 5721388 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 326545 267764 798 2943 0 323439 0
[pid=11072/tid=11073] ppid=11069 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1337528320 267764 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1337528320 267764 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1337528320 267764 33554432000 4194304 16246674 140737267984160 140191278816432 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) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.29 2.27 2.22 3/183 11076
/proc/meminfo: memFree=27969532/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1310276 CPUtime=6.28 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 268607 0 0 0 592 36 0 0 20 0 4 0 29968402 1341722624 268936 33554432000 4194304 16246674 140737267984160 140737267966080 4221116 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 327569 268936 799 2943 0 324463 0
[pid=11072/tid=11073] ppid=11069 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1341722624 268936 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1341722624 268936 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1341722624 268936 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.32 2.28 2.22 3/183 11076
/proc/meminfo: memFree=27953308/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1326660 CPUtime=12.69 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 272703 0 0 0 1232 37 0 0 20 0 4 0 29968402 1358499840 273032 33554432000 4194304 16246674 140737267984160 140737267966080 5523192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 331665 273032 799 2943 0 328559 0
[pid=11072/tid=11073] ppid=11069 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1358499840 273032 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1358499840 273032 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1358499840 273032 33554432000 4194304 16246674 140737267984160 140191278816432 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) 1326660

[startup+25.5004 s]
/proc/loadavg: 2.35 2.28 2.22 4/183 11076
/proc/meminfo: memFree=27954540/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1326660 CPUtime=25.48 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 272705 0 0 0 2511 37 0 0 20 0 4 0 29968402 1358499840 273034 33554432000 4194304 16246674 140737267984160 140737267966080 5824066 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 331665 273034 801 2943 0 328559 0
[pid=11072/tid=11073] ppid=11069 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1358499840 273034 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1358499840 273034 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1358499840 273034 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1326660

[startup+51.1004 s]
/proc/loadavg: 2.29 2.28 2.22 4/183 11076
/proc/meminfo: memFree=27954288/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1326660 CPUtime=51.08 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 272705 0 0 0 5071 37 0 0 20 0 4 0 29968402 1358499840 273034 33554432000 4194304 16246674 140737267984160 140737267966080 6846009 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 331665 273034 801 2943 0 328559 0
[pid=11072/tid=11073] ppid=11069 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1358499840 273034 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1358499840 273034 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1358499840 273034 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1326660

[startup+102.3 s]
/proc/loadavg: 2.16 2.24 2.21 3/183 11077
/proc/meminfo: memFree=27954600/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1326660 CPUtime=102.28 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 272705 0 0 0 10190 38 0 0 20 0 4 0 29968402 1358499840 273034 33554432000 4194304 16246674 140737267984160 140737267981952 13192119 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 331665 273034 801 2943 0 328559 0
[pid=11072/tid=11073] ppid=11069 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1358499840 273034 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1358499840 273034 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1358499840 273034 33554432000 4194304 16246674 140737267984160 140191278816432 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) 1326660


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

/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1337924

[startup+1302.3 s]
/proc/loadavg: 2.42 2.51 2.45 3/183 11130
/proc/meminfo: memFree=27912908/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1337924 CPUtime=1301.87 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 275831 0 0 0 130128 59 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140737267983256 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 334481 276107 802 2943 0 331375 0
[pid=11072/tid=11073] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1337924

[startup+1362.3 s]
/proc/loadavg: 2.32 2.46 2.44 3/183 11131
/proc/meminfo: memFree=27912696/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1337924 CPUtime=1361.83 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 275878 0 0 0 136124 59 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140737267966080 6026720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 334481 276107 802 2943 0 331375 0
[pid=11072/tid=11073] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1337924

[startup+1422.3 s]
/proc/loadavg: 2.21 2.40 2.42 3/184 11135
/proc/meminfo: memFree=27912868/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1337924 CPUtime=1421.79 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 275918 0 0 0 142119 60 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140737267966080 5723564 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 334481 276107 802 2943 0 331375 0
[pid=11072/tid=11073] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1337924

[startup+1482.3 s]
/proc/loadavg: 2.28 2.39 2.41 3/183 11137
/proc/meminfo: memFree=27913100/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1337924 CPUtime=1481.77 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 275932 0 0 0 148116 61 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140737267966080 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 334481 276107 802 2943 0 331375 0
[pid=11072/tid=11073] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1337924

[startup+1542.31 s]
/proc/loadavg: 2.25 2.36 2.40 3/183 11138
/proc/meminfo: memFree=27913024/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1337924 CPUtime=1541.76 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 275932 0 0 0 154114 62 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140737267966080 5673285 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 334481 276107 802 2943 0 331375 0
[pid=11072/tid=11073] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1337924

[startup+1602.3 s]
/proc/loadavg: 2.27 2.34 2.38 3/183 11139
/proc/meminfo: memFree=27912536/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1337924 CPUtime=1601.75 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 275932 0 0 0 160112 63 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140737267981952 5673450 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 334481 276107 802 2943 0 331375 0
[pid=11072/tid=11073] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276107 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1337924

[startup+1662.3 s]
/proc/loadavg: 2.27 2.32 2.37 3/183 11140
/proc/meminfo: memFree=27912876/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1337924 CPUtime=1661.74 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 275933 0 0 0 166111 63 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140737267983336 13191272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 334481 276108 803 2943 0 331375 0
[pid=11072/tid=11073] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1337924

[startup+1722.3 s]
/proc/loadavg: 2.32 2.32 2.36 3/183 11141
/proc/meminfo: memFree=27912500/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1337924 CPUtime=1721.73 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 275933 0 0 0 172109 64 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140737267966080 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 334481 276108 803 2943 0 331375 0
[pid=11072/tid=11073] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1337924

[startup+1782.3 s]
/proc/loadavg: 2.24 2.30 2.35 3/183 11143
/proc/meminfo: memFree=27912256/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1337924 CPUtime=1781.72 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 275933 0 0 0 178107 65 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140737267966080 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 334481 276108 803 2943 0 331375 0
[pid=11072/tid=11073] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1337924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.25 2.30 2.35 3/178 11144
/proc/meminfo: memFree=29016912/32872528 swapFree=17888/1798212
[pid=11072] ppid=11069 vsize=1337924 CPUtime=1800.02 cores=0,2,4,6
/proc/11072/stat : 11072 (toysat) R 11069 11072 10472 0 -1 4202496 275933 0 0 0 179936 66 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140737267966080 12477874 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11072/statm: 334481 276108 803 2943 0 331375 0
[pid=11072/tid=11073] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140191376321776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 10472 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140191289289968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968402 1370034176 276108 33554432000 4194304 16246674 140737267984160 140191278816432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1337924

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 11072 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.03
CPU user time (s): 1799.37
CPU system time (s): 0.660899
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 1337924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.660899
maximum resident set size= 1104432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275933
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= 423
involuntary context switches= 1806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7852 second user time and 12.7931 second system time

The end

Begin job on node123 at 2016-06-18 21:46:53
IDJOB=4106850
IDBENCH=48291
IDSOLVER=2542
FILE ID=node123/4106850-1466279213
RUNJOBID= node123-1466275608-10488
PBS_JOBID= 19918249
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_4_40.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106850-1466279213/watcher-4106850-1466279213 -o /tmp/evaluation-result-4106850-1466279213/solver-4106850-1466279213 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10488 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106850-1466279213.opb

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

MD5SUM BENCH= 476815bfad4ec3fb3f4fdbbbbf10b706
RANDOM SEED=1634497630

node123.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.791
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.58
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.791
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.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.791
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:        29864640 kB
Buffers:           68352 kB
Cached:           138528 kB
SwapCached:         1604 kB
Active:           330936 kB
Inactive:         138292 kB
Active(anon):     261620 kB
Inactive(anon):     3080 kB
Active(file):      69316 kB
Inactive(file):   135212 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099320 kB
Dirty:             33444 kB
Writeback:             0 kB
AnonPages:       2059896 kB
Mapped:            10632 kB
Shmem:                 0 kB
Slab:             603540 kB
SReclaimable:      46652 kB
SUnreclaim:       556888 kB
KernelStack:        1488 kB
PageTables:         9772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3023556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1785856 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= 71604 MiB
End job on node123 at 2016-06-18 22:16:53