0.00/0.00	c 2016-06-06T15:15:08+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-4078713-1465218907.opb"]
0.00/0.01	c use --random-gen="3565621212 2075188202 2111022603 520074668 181293848 2106239882 448256701 2681343769 3107914621 1047440336 3546513958 381492691 3990726518 640383496 2822086540 3323730882 2248582990 161307916 2253262545 4128206893 3084763244 2750653314 3803304132 3180895788 2651197878 272720441 4165321822 2105371335 4179708068 109302628 3870710443 1615032331 2503244495 2335277783 2790049125 1591587941 1814306066 1011003226 3422843204 1794979826 2661607671 2948881125 3304594807 2123170963 3081434572 2931426045 1858730144 2708906301 3387094873 4274002778 1276414339 1111332780 4293621024 4267152944 821457272 2873760368 678367672 1138017513 3704791375 3946279212 3813215800 2193057026 3406164324 2755382392 3497632363 1813733611 657086163 1160445988 1990404517 1877091821 1431629755 2887040182 3462997923 1959179131 3275401267 514721365 1550278229 2248653636 3663930240 3689059777 2548130172 1165953709 4291433420 1807863118 287745163 764407730 3673411743 3076833700 1946417420 1413641405 1426307622 2683534962 3557544917 3190746994 224238195 2802037808 4119503142 1672017212 2723099452 416973473 3303983884 1569205689 3950497420 2670180561 2156624476 2437106122 3468517698 484077784 2961000685 4021097556 2400454558 1870575994 1329577017 4020201848 2426164921 2712755925 1137909174 4105788896 1050982936 1850997103 2714277606 4263739122 862471131 4036561452 2681097637 755900180 2435606993 1508512229 2590300961 54475473 2561617810 2277483854 1508541134 4285840232 3738154919 1157300069 48306991 818788661 4093820138 974986857 4224640639 802216651 2895446865 1164033795 3719951609 2791831184 1128559306 1983177215 657235365 1190016950 258285127 1340263090 2466541890 3035419309 2382052712 2044765904 1971876348 962423667 1455005408 3702009112 1921149058 138987510 2556726707 2107326664 3749433148 1844100146 3814143169 1128962491 2489620467 234517242 4116294030 1637524037 2022496002 2502512249 3360554594 3548932126 3322434204 3412112721 1269806155 2611738262 3069692662 3793766377 1715509833 1502085834 155985336 2985214903 905781457 2706108035 3219313835 899546500 1701042189 1997071899 622005517 607860108 1398828941 990591409 197779106 1233096827 1549859801 3393324980 995870383 3204321880 3034050637 2953938559 3007931794 3815901496 1630689081 3131218943 19190765 2485891187 3378240374 728455548 3678439265 4153721296 4001948883 1134554271 212643088 760848243 2211712004 1180365711 3983068971 462455215 2355556595 110057785 3903047785 4233083591 4279230373 508388277 3560191528 810453980 730855 2050975329 1369307951 4228638456 2476623608 2406006519 2497691016 627839749 4078704923 2030217277 2962873094 812126251 1260023837 1757546268 3780341141 3538895295 2400894638 129015081 1404479363 3255541602 3945613584 828707973 206944351 2704075420 298211962 346670315 255 362436" option to reproduce the execution
0.00/0.02	c #vars 490
0.00/0.02	c #constraints 737
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      409      0 |        0 |        0
0.09/0.10	c  0.1s |       1 |      143 |      100 |      409      0 |        0 |        0
0.19/0.25	c  0.2s |       2 |     1059 |      250 |      450      0 |        0 |        0
0.49/0.51	c  0.5s |       3 |     2681 |      475 |      496      0 |        0 |        0
0.89/0.92	c  0.9s |       4 |     4700 |      813 |      546      0 |        0 |        0
1.29/1.32	c  1.3s |       5 |     7195 |     1320 |      601      1 |        0 |        0
1.99/2.09	c  2.1s |       6 |     9641 |     2081 |      729      3 |        0 |        0
2.88/2.96	c  2.9s |       7 |    15273 |     3223 |      802      5 |        0 |        0
4.18/4.27	c  4.2s |       8 |    23192 |     4936 |      883      8 |        0 |        0
6.18/6.27	c  6.2s |       8 |    31551 |     7336 |      883     13 |        0 |        0
6.38/6.42	c  6.4s |       9 |    32153 |     7506 |      972     13 |        0 |        0
8.38/8.46	c  8.4s |       9 |    39876 |     9906 |      972     16 |        0 |        0
9.58/9.69	c  9.7s |      10 |    46785 |    11361 |     1070     19 |        0 |        0
11.68/11.75	c 11.7s |      10 |    54298 |    13861 |     1070     22 |        0 |        0
13.68/13.79	c 13.8s |      10 |    59923 |    16261 |     1070     26 |        0 |        0
14.39/14.46	c 14.4s |      11 |    62035 |    17144 |     1177     27 |        0 |        0
16.49/16.52	c 16.5s |      11 |    73926 |    19644 |     1177     30 |        0 |        0
18.48/18.54	c 18.5s |      11 |    80654 |    22044 |     1177     33 |        0 |        0
20.58/20.65	c 20.6s |      11 |    87149 |    24444 |     1177     37 |        0 |        0
21.78/21.80	c 21.8s |      12 |    90203 |    25819 |     1295     38 |        0 |        0
23.78/23.83	c 23.8s |      12 |    98742 |    28119 |     1295     41 |        0 |        0
25.79/25.89	c 25.9s |      12 |   105763 |    30419 |     1295     44 |        0 |        0
27.89/27.93	c 27.9s |      12 |   110789 |    32619 |     1295     47 |        0 |        0
29.99/30.01	c 30.0s |      12 |   118254 |    35019 |     1295     50 |        0 |        0
31.99/32.04	c 32.0s |      12 |   123124 |    37119 |     1295     52 |        0 |        0
33.79/33.81	c 33.8s |      13 |   126979 |    38832 |     1425     54 |        0 |        0
35.88/35.91	c 35.9s |      13 |   135674 |    41332 |     1425     57 |        0 |        0
37.88/37.95	c 37.9s |      13 |   141478 |    43632 |     1425     60 |        0 |        0
39.98/40.03	c 40.0s |      13 |   144951 |    45632 |     1425     62 |        0 |        0
42.08/42.12	c 42.1s |      13 |   150475 |    47732 |     1425     65 |        0 |        0
44.09/44.19	c 44.2s |      13 |   153511 |    49632 |     1425     67 |        0 |        0
46.19/46.22	c 46.2s |      13 |   159050 |    52032 |     1425     70 |        0 |        0
48.18/48.24	c 48.2s |      13 |   162424 |    54232 |     1425     72 |        0 |        0
50.18/50.29	c 50.3s |      13 |   167616 |    56332 |     1425     74 |        0 |        0
52.18/52.27	c 52.2s |      14 |   171886 |    58352 |     1568     77 |        0 |        0
54.28/54.35	c 54.3s |      14 |   177453 |    60352 |     1568     79 |        0 |        0
56.38/56.45	c 56.4s |      14 |   183620 |    62452 |     1568     81 |        0 |        0
58.48/58.53	c 58.5s |      14 |   187178 |    64252 |     1568     83 |        0 |        0
60.48/60.58	c 60.5s |      14 |   190834 |    65952 |     1568     85 |        0 |        0
62.48/62.59	c 62.6s |      14 |   194762 |    67652 |     1568     86 |        0 |        0
64.58/64.68	c 64.6s |      14 |   197922 |    69452 |     1568     88 |        0 |        0
66.68/66.76	c 66.7s |      14 |   204059 |    71452 |     1568     91 |        0 |        0
68.68/68.77	c 68.7s |      14 |   207229 |    73152 |     1568     92 |        0 |        0
70.68/70.79	c 70.8s |      14 |   210945 |    74952 |     1568     94 |        0 |        0
72.68/72.79	c 72.8s |      14 |   213733 |    76552 |     1568     96 |        0 |        0
74.78/74.84	c 74.8s |      14 |   216552 |    78152 |     1568     98 |        0 |        0
76.77/76.87	c 76.8s |      14 |   219194 |    79752 |     1568     99 |        0 |        0
78.87/78.90	c 78.9s |      14 |   221974 |    81352 |     1568    101 |        0 |        0
80.87/80.92	c 80.9s |      14 |   224533 |    82952 |     1568    103 |        0 |        0
82.97/83.01	c 83.0s |      14 |   228776 |    85052 |     1568    105 |        0 |        0
84.97/85.07	c 85.0s |      14 |   234956 |    86952 |     1568    107 |        0 |        0
85.88/85.92	c 85.9s |      15 |   236305 |    87632 |     1725    107 |        0 |        0
87.87/87.99	c 88.0s |      15 |   244937 |    90032 |     1725    110 |        0 |        0
89.97/90.04	c 90.0s |      15 |   253537 |    92532 |     1725    112 |        0 |        0
91.97/92.06	c 92.0s |      15 |   262782 |    94832 |     1725    115 |        0 |        0
93.97/94.08	c 94.0s |      15 |   269843 |    97032 |     1725    117 |        0 |        0
95.97/96.08	c 96.0s |      15 |   274395 |    99032 |     1725    119 |        0 |        0
98.07/98.10	c 98.1s |      15 |   280363 |   101332 |     1725    121 |        0 |        0
100.07/100.13	c  100s |      15 |   285203 |   103532 |     1725    123 |        0 |        0
102.17/102.21	c  102s |      15 |   288482 |   105432 |     1725    125 |        0 |        0
104.17/104.22	c  104s |      15 |   291360 |   107232 |     1725    127 |        0 |        0
106.17/106.23	c  106s |      15 |   298841 |   109432 |     1725    129 |        0 |        0
108.17/108.28	c  108s |      15 |   302631 |   111532 |     1725    131 |        0 |        0
110.17/110.28	c  110s |      15 |   307147 |   113632 |     1725    133 |        0 |        0
112.27/112.39	c  112s |      15 |   313884 |   115932 |     1725    135 |        0 |        0
114.37/114.49	c  114s |      15 |   317938 |   117832 |     1725    137 |        0 |        0
116.47/116.54	c  116s |      15 |   322712 |   119932 |     1725    139 |        0 |        0
118.47/118.55	c  118s |      15 |   325557 |   121732 |     1725    141 |        0 |        0
120.56/120.65	c  120s |      15 |   329663 |   123832 |     1725    143 |        0 |        0
122.56/122.68	c  122s |      15 |   336520 |   126032 |     1725    145 |        0 |        0
124.66/124.71	c  124s |      15 |   340622 |   128032 |     1725    147 |        0 |        0
126.76/126.81	c  126s |      15 |   345787 |   130232 |     1725    149 |        0 |        0
128.16/128.26	c  128s |      16 |   348075 |   131552 |     1898    150 |        0 |        0
130.26/130.30	c  130s |      16 |   353062 |   133652 |     1898    152 |        0 |        0
132.26/132.39	c  132s |      16 |   358345 |   135852 |     1898    154 |        0 |        0
134.37/134.46	c  134s |      16 |   363164 |   138052 |     1898    156 |        0 |        0
136.38/136.50	c  136s |      16 |   368371 |   140252 |     1898    158 |        0 |        0
138.47/138.55	c  138s |      16 |   372814 |   142352 |     1898    160 |        0 |        0
140.47/140.56	c  140s |      16 |   376350 |   144252 |     1898    162 |        0 |        0
142.47/142.57	c  142s |      16 |   379472 |   146052 |     1898    163 |        0 |        0
144.57/144.64	c  144s |      16 |   384282 |   148452 |     1898    166 |        0 |        0
146.57/146.69	c  146s |      16 |   388054 |   150552 |     1898    168 |        0 |        0
148.67/148.73	c  148s |      16 |   392413 |   152852 |     1898    170 |        0 |        0
150.67/150.76	c  150s |      16 |   397186 |   154852 |     1898    171 |        0 |        0
152.77/152.83	c  152s |      16 |   403603 |   157152 |     1898    173 |        0 |        0
154.76/154.87	c  154s |      16 |   408229 |   159252 |     1898    175 |        0 |        0
156.76/156.89	c  156s |      16 |   411998 |   161152 |     1898    177 |        0 |        0
158.86/158.95	c  158s |      16 |   415791 |   163052 |     1898    179 |        0 |        0
160.86/160.98	c  160s |      16 |   423401 |   165152 |     1898    181 |        0 |        0
162.96/163.00	c  162s |      16 |   429785 |   167352 |     1898    183 |        0 |        0
164.97/165.06	c  165s |      16 |   434799 |   169452 |     1898    185 |        0 |        0
166.96/167.06	c  167s |      16 |   438215 |   171252 |     1898    186 |        0 |        0
168.96/169.08	c  169s |      16 |   443349 |   173252 |     1898    188 |        0 |        0
171.06/171.10	c  171s |      16 |   446200 |   174952 |     1898    190 |        0 |        0
173.06/173.10	c  173s |      16 |   451242 |   177052 |     1898    191 |        0 |        0
175.06/175.11	c  175s |      16 |   454129 |   178852 |     1898    193 |        0 |        0
177.07/177.15	c  177s |      16 |   456866 |   180552 |     1898    195 |        0 |        0
179.16/179.25	c  179s |      16 |   459757 |   182452 |     1898    196 |        0 |        0
181.26/181.31	c  181s |      16 |   463085 |   184252 |     1898    198 |        0 |        0
183.26/183.36	c  183s |      16 |   466881 |   186152 |     1898    200 |        0 |        0
185.36/185.47	c  185s |      16 |   469740 |   187952 |     1898    201 |        0 |        0
187.36/187.47	c  187s |      16 |   472274 |   189552 |     1898    203 |        0 |        0
189.46/189.58	c  189s |      16 |   475697 |   191352 |     1898    204 |        0 |        0
191.55/191.65	c  191s |      16 |   479558 |   193552 |     1898    206 |        0 |        0
193.56/193.66	c  193s |      16 |   482355 |   195452 |     1898    208 |        0 |        0
195.45/195.58	c  195s |      17 |   487013 |   197432 |     2088    210 |        0 |        0
197.55/197.64	c  197s |      17 |   492736 |   199632 |     2088    211 |        0 |        0
199.55/199.66	c  199s |      17 |   496279 |   201532 |     2088    213 |        0 |        0
201.65/201.75	c  201s |      17 |   500319 |   203532 |     2088    215 |        0 |        0
203.75/203.85	c  203s |      17 |   503192 |   205332 |     2088    216 |        0 |        0
205.85/205.90	c  205s |      17 |   506263 |   207232 |     2088    218 |        0 |        0
207.86/207.94	c  207s |      17 |   509680 |   209032 |     2088    219 |        0 |        0
209.85/209.98	c  209s |      17 |   515493 |   211132 |     2088    221 |        0 |        0
211.95/212.04	c  212s |      17 |   518706 |   212932 |     2088    222 |        0 |        0
213.95/214.05	c  214s |      17 |   521687 |   214732 |     2088    224 |        0 |        0
215.95/216.06	c  216s |      17 |   524414 |   216532 |     2088    225 |        0 |        0
218.15/218.21	c  218s |      17 |   527430 |   218432 |     2088    227 |        0 |        0
220.15/220.29	c  220s |      17 |   533511 |   220632 |     2088    229 |        0 |        0
222.26/222.33	c  222s |      17 |   538336 |   222732 |     2088    230 |        0 |        0
224.25/224.34	c  224s |      17 |   543934 |   224832 |     2088    232 |        0 |        0
226.35/226.46	c  226s |      17 |   547732 |   226832 |     2088    234 |        0 |        0
228.45/228.59	c  228s |      17 |   551390 |   228732 |     2088    236 |        0 |        0
230.55/230.61	c  230s |      17 |   554164 |   230532 |     2088    237 |        0 |        0
232.65/232.70	c  232s |      17 |   557674 |   232432 |     2088    239 |        0 |        0
234.65/234.75	c  234s |      17 |   560943 |   234332 |     2088    240 |        0 |        0
236.75/236.81	c  236s |      17 |   564262 |   236132 |     2088    242 |        0 |        0
238.76/238.89	c  238s |      17 |   568778 |   238032 |     2088    243 |        0 |        0
240.96/241.01	c  240s |      17 |   571400 |   239732 |     2088    245 |        0 |        0
243.06/243.12	c  243s |      17 |   575084 |   241832 |     2088    246 |        0 |        0
245.05/245.20	c  245s |      17 |   577549 |   243532 |     2088    248 |        0 |        0
247.15/247.24	c  247s |      17 |   583121 |   245732 |     2088    250 |        0 |        0
249.15/249.29	c  249s |      17 |   588215 |   247932 |     2088    251 |        0 |        0
251.25/251.31	c  251s |      17 |   592819 |   249932 |     2088    253 |        0 |        0
253.25/253.32	c  253s |      17 |   595878 |   251732 |     2088    255 |        0 |        0
255.26/255.36	c  255s |      17 |   600136 |   253832 |     2088    256 |        0 |        0
257.25/257.38	c  257s |      17 |   603791 |   255632 |     2088    258 |        0 |        0
259.35/259.45	c  259s |      17 |   608453 |   257632 |     2088    259 |        0 |        0
261.45/261.58	c  261s |      17 |   610909 |   259332 |     2088    261 |        0 |        0
263.55/263.65	c  263s |      17 |   613241 |   260932 |     2088    262 |        0 |        0
265.65/265.70	c  265s |      17 |   615277 |   262432 |     2088    263 |        0 |        0
267.65/267.76	c  267s |      17 |   620389 |   264432 |     2088    265 |        0 |        0
269.65/269.78	c  269s |      17 |   624159 |   266432 |     2088    267 |        0 |        0
271.76/271.81	c  271s |      17 |   632335 |   268832 |     2088    269 |        0 |        0
273.75/273.82	c  273s |      17 |   639079 |   270932 |     2088    271 |        0 |        0
275.75/275.84	c  275s |      17 |   643387 |   272832 |     2088    272 |        0 |        0
277.75/277.85	c  277s |      17 |   647403 |   274732 |     2088    274 |        0 |        0
279.75/279.87	c  279s |      17 |   650232 |   276432 |     2088    275 |        0 |        0
281.85/281.98	c  281s |      17 |   653090 |   278132 |     2088    276 |        0 |        0
283.95/284.02	c  283s |      17 |   655304 |   279632 |     2088    278 |        0 |        0
285.95/286.03	c  285s |      17 |   659336 |   281632 |     2088    279 |        0 |        0
287.95/288.06	c  288s |      17 |   663626 |   283532 |     2088    281 |        0 |        0
289.95/290.07	c  290s |      17 |   666323 |   285232 |     2088    282 |        0 |        0
291.95/292.08	c  292s |      17 |   668910 |   286932 |     2088    284 |        0 |        0
294.05/294.10	c  294s |      17 |   672062 |   288832 |     2088    285 |        0 |        0
296.05/296.14	c  296s |      17 |   674995 |   290732 |     2088    287 |        0 |        0
298.05/298.16	c  298s |      17 |   678717 |   292732 |     2088    289 |        0 |        0
300.04/300.18	c  300s |      17 |   683310 |   294732 |     2297    290 |        0 |        0
301.84/301.94	c  301s |      18 |   685745 |   296252 |     2297    291 |        0 |        0
303.94/304.08	c  304s |      18 |   688653 |   297952 |     2297    292 |        0 |        0
305.94/306.08	c  306s |      18 |   691189 |   299552 |     2297    294 |        0 |        0
307.95/308.10	c  308s |      18 |   697218 |   301352 |     2297    295 |        0 |        0
310.04/310.12	c  310s |      18 |   704599 |   303452 |     2297    297 |        0 |        0
312.04/312.16	c  312s |      18 |   709146 |   305552 |     2297    298 |        0 |        0
314.14/314.25	c  314s |      18 |   712787 |   307452 |     2297    300 |        0 |        0
316.14/316.25	c  316s |      18 |   716373 |   309252 |     2297    301 |        0 |        0
318.14/318.27	c  318s |      18 |   719256 |   311052 |     2297    302 |        0 |        0
320.24/320.35	c  320s |      18 |   722976 |   312852 |     2297    304 |        0 |        0
322.35/322.47	c  322s |      18 |   725894 |   314652 |     2297    305 |        0 |        0
324.45/324.58	c  324s |      18 |   729524 |   316552 |     2297    307 |        0 |        0
326.54/326.61	c  326s |      18 |   732255 |   318252 |     2297    308 |        0 |        0
328.64/328.74	c  328s |      18 |   735711 |   320152 |     2297    309 |        0 |        0
330.64/330.75	c  330s |      18 |   738118 |   321752 |     2297    311 |        0 |        0
332.74/332.80	c  332s |      18 |   740524 |   323352 |     2297    312 |        0 |        0
334.74/334.80	c  334s |      18 |   742730 |   324952 |     2297    313 |        0 |        0
336.74/336.85	c  336s |      18 |   745832 |   326752 |     2297    314 |        0 |        0
338.74/338.89	c  338s |      18 |   749302 |   328552 |     2297    316 |        0 |        0
340.84/340.92	c  340s |      18 |   751896 |   330152 |     2297    317 |        0 |        0
342.84/342.94	c  342s |      18 |   756227 |   332052 |     2297    318 |        0 |        0
344.94/345.04	c  345s |      18 |   760216 |   333952 |     2297    320 |        0 |        0
346.94/347.06	c  347s |      18 |   763201 |   335652 |     2297    321 |        0 |        0
349.03/349.12	c  349s |      18 |   766826 |   337452 |     2297    323 |        0 |        0
351.13/351.23	c  351s |      18 |   772583 |   339552 |     2297    324 |        0 |        0
353.14/353.25	c  353s |      18 |   777168 |   341652 |     2297    326 |        0 |        0
355.13/355.28	c  355s |      18 |   782325 |   343752 |     2297    327 |        0 |        0
357.23/357.36	c  357s |      18 |   786276 |   345552 |     2297    329 |        0 |        0
359.33/359.46	c  359s |      18 |   789750 |   347552 |     2297    330 |        0 |        0
361.43/361.53	c  361s |      18 |   792862 |   349252 |     2297    332 |        0 |        0
363.53/363.61	c  363s |      18 |   795621 |   350952 |     2297    333 |        0 |        0
365.53/365.65	c  365s |      18 |   798723 |   352652 |     2297    334 |        0 |        0
367.63/367.72	c  367s |      18 |   801319 |   354352 |     2297    335 |        0 |        0
369.64/369.73	c  369s |      18 |   803996 |   356052 |     2297    337 |        0 |        0
371.63/371.75	c  371s |      18 |   806998 |   357752 |     2297    338 |        0 |        0
373.63/373.79	c  373s |      18 |   809801 |   359352 |     2297    339 |        0 |        0
375.73/375.86	c  375s |      18 |   813043 |   361152 |     2297    341 |        0 |        0
377.73/377.89	c  377s |      18 |   815104 |   362652 |     2297    342 |        0 |        0
379.83/379.97	c  379s |      18 |   817495 |   364252 |     2297    343 |        0 |        0
381.93/382.01	c  381s |      18 |   821324 |   366052 |     2297    344 |        0 |        0
383.94/384.05	c  384s |      18 |   825446 |   367852 |     2297    346 |        0 |        0
385.93/386.09	c  386s |      18 |   828038 |   369452 |     2297    347 |        0 |        0
388.03/388.11	c  388s |      18 |   830682 |   371252 |     2297    348 |        0 |        0
390.13/390.25	c  390s |      18 |   833043 |   372952 |     2297    350 |        0 |        0
392.23/392.34	c  392s |      18 |   835346 |   374652 |     2297    351 |        0 |        0
394.23/394.39	c  394s |      18 |   839258 |   376452 |     2297    352 |        0 |        0
396.23/396.39	c  396s |      18 |   841436 |   378052 |     2297    353 |        0 |        0
398.43/398.54	c  398s |      18 |   844145 |   379752 |     2297    355 |        0 |        0
400.43/400.55	c  400s |      18 |   848307 |   381552 |     2297    356 |        0 |        0
402.53/402.62	c  402s |      18 |   851173 |   383252 |     2297    357 |        0 |        0
404.53/404.65	c  404s |      18 |   854987 |   385052 |     2297    359 |        0 |        0
406.53/406.68	c  406s |      18 |   857986 |   386752 |     2297    360 |        0 |        0
408.72/408.81	c  408s |      18 |   860624 |   388452 |     2297    361 |        0 |        0
410.72/410.85	c  410s |      18 |   862626 |   389852 |     2297    362 |        0 |        0
412.72/412.86	c  412s |      18 |   865292 |   391552 |     2297    364 |        0 |        0
414.82/414.92	c  414s |      18 |   867636 |   393252 |     2297    365 |        0 |        0
416.93/417.00	c  416s |      18 |   870421 |   395052 |     2297    366 |        0 |        0
418.92/419.07	c  419s |      18 |   873464 |   396952 |     2297    368 |        0 |        0
421.02/421.10	c  421s |      18 |   876853 |   398752 |     2297    369 |        0 |        0
423.12/423.21	c  423s |      18 |   879705 |   400452 |     2297    371 |        0 |        0
425.22/425.31	c  425s |      18 |   882600 |   402152 |     2297    372 |        0 |        0
427.22/427.33	c  427s |      18 |   884957 |   403652 |     2297    373 |        0 |        0
429.22/429.35	c  429s |      18 |   887166 |   405152 |     2297    374 |        0 |        0
431.32/431.45	c  431s |      18 |   888953 |   406552 |     2297    375 |        0 |        0
433.33/433.48	c  433s |      18 |   890990 |   407952 |     2297    376 |        0 |        0
435.42/435.55	c  435s |      18 |   893112 |   409452 |     2297    377 |        0 |        0
437.52/437.65	c  437s |      18 |   900985 |   411552 |     2297    379 |        0 |        0
439.62/439.70	c  439s |      18 |   906219 |   413752 |     2297    381 |        0 |        0
441.62/441.75	c  441s |      18 |   911261 |   415752 |     2297    382 |        0 |        0
443.62/443.77	c  443s |      18 |   914912 |   417552 |     2297    384 |        0 |        0
445.72/445.81	c  445s |      18 |   917604 |   419252 |     2297    385 |        0 |        0
447.82/447.92	c  447s |      18 |   920528 |   421152 |     2297    386 |        0 |        0
449.92/450.02	c  449s |      18 |   924820 |   423052 |     2297    388 |        0 |        0
451.92/452.08	c  452s |      18 |   927919 |   424852 |     2297    389 |        0 |        0
454.12/454.21	c  454s |      18 |   931271 |   426752 |     2297    391 |        0 |        0
456.12/456.25	c  456s |      18 |   934806 |   428452 |     2297    392 |        0 |        0
458.22/458.35	c  458s |      18 |   937659 |   430152 |     2297    393 |        0 |        0
460.32/460.44	c  460s |      18 |   940538 |   431752 |     2297    394 |        0 |        0
462.41/462.56	c  462s |      18 |   944005 |   433652 |     2297    396 |        0 |        0
464.51/464.67	c  464s |      18 |   947255 |   435452 |     2297    397 |        0 |        0
466.51/466.68	c  466s |      18 |   949355 |   436952 |     2297    398 |        0 |        0
468.62/468.74	c  468s |      18 |   951286 |   438352 |     2297    399 |        0 |        0
470.61/470.75	c  470s |      18 |   953346 |   439852 |     2297    400 |        0 |        0
472.71/472.82	c  472s |      18 |   955557 |   441552 |     2527    402 |        0 |        0
474.71/474.89	c  474s |      18 |   957791 |   443152 |     2527    403 |        0 |        0
476.41/476.52	c  476s |      19 |   960059 |   444482 |     2527    404 |        0 |        0
478.42/478.57	c  478s |      19 |   965599 |   446482 |     2527    405 |        0 |        0
480.51/480.61	c  480s |      19 |   968665 |   448282 |     2527    406 |        0 |        0
482.51/482.67	c  482s |      19 |   973724 |   450182 |     2527    408 |        0 |        0
484.61/484.79	c  484s |      19 |   977557 |   452082 |     2527    409 |        0 |        0
486.71/486.81	c  486s |      19 |   981409 |   453882 |     2527    410 |        0 |        0
488.71/488.84	c  488s |      19 |   985699 |   455782 |     2527    412 |        0 |        0
490.71/490.86	c  490s |      19 |   989611 |   457682 |     2527    413 |        0 |        0
492.82/492.93	c  492s |      19 |   994145 |   459782 |     2527    415 |        0 |        0
494.81/494.94	c  494s |      19 |   998734 |   461782 |     2527    416 |        0 |        0
496.81/496.98	c  496s |      19 |  1002830 |   463682 |     2527    417 |        0 |        0
498.81/498.98	c  498s |      19 |  1005755 |   465282 |     2527    418 |        0 |        0
500.91/501.02	c  500s |      19 |  1010955 |   467282 |     2527    420 |        0 |        0
502.91/503.07	c  503s |      19 |  1014435 |   469082 |     2527    421 |        0 |        0
504.91/505.08	c  505s |      19 |  1018713 |   470882 |     2527    422 |        0 |        0
507.01/507.17	c  507s |      19 |  1023394 |   472782 |     2527    424 |        0 |        0
509.01/509.18	c  509s |      19 |  1026334 |   474482 |     2527    425 |        0 |        0
511.11/511.24	c  511s |      19 |  1029607 |   476182 |     2527    426 |        0 |        0
513.11/513.25	c  513s |      19 |  1034142 |   478182 |     2527    427 |        0 |        0
515.21/515.35	c  515s |      19 |  1037783 |   480082 |     2527    429 |        0 |        0
517.21/517.38	c  517s |      19 |  1042345 |   481882 |     2527    430 |        0 |        0
519.31/519.41	c  519s |      19 |  1047524 |   483782 |     2527    431 |        0 |        0
521.42/521.52	c  521s |      19 |  1051576 |   485682 |     2527    433 |        0 |        0
523.52/523.61	c  523s |      19 |  1054048 |   487182 |     2527    434 |        0 |        0
525.51/525.62	c  525s |      19 |  1057931 |   488982 |     2527    435 |        0 |        0
527.61/527.72	c  527s |      19 |  1061099 |   490782 |     2527    436 |        0 |        0
529.61/529.72	c  529s |      19 |  1065549 |   492482 |     2527    437 |        0 |        0
531.71/531.80	c  531s |      19 |  1070751 |   494282 |     2527    439 |        0 |        0
533.81/533.91	c  533s |      19 |  1075744 |   496482 |     2527    440 |        0 |        0
535.81/535.93	c  535s |      19 |  1081879 |   498482 |     2527    442 |        0 |        0
537.82/537.94	c  537s |      19 |  1086207 |   500282 |     2527    443 |        0 |        0
539.91/540.03	c  539s |      19 |  1090079 |   502182 |     2527    444 |        0 |        0
541.91/542.08	c  542s |      19 |  1094860 |   504182 |     2527    446 |        0 |        0
544.01/544.16	c  544s |      19 |  1098133 |   506082 |     2527    447 |        0 |        0
546.01/546.18	c  546s |      19 |  1102232 |   507882 |     2527    448 |        0 |        0
548.01/548.19	c  548s |      19 |  1104693 |   509482 |     2527    449 |        0 |        0
550.11/550.25	c  550s |      19 |  1107579 |   511182 |     2527    451 |        0 |        0
552.21/552.31	c  552s |      19 |  1111567 |   513182 |     2527    452 |        0 |        0
554.21/554.33	c  554s |      19 |  1114303 |   514882 |     2527    453 |        0 |        0
556.21/556.35	c  556s |      19 |  1116890 |   516482 |     2527    454 |        0 |        0
558.30/558.49	c  558s |      19 |  1119203 |   518182 |     2527    456 |        0 |        0
560.40/560.58	c  560s |      19 |  1122430 |   519982 |     2527    457 |        0 |        0
562.50/562.66	c  562s |      19 |  1125472 |   521882 |     2527    458 |        0 |        0
564.50/564.67	c  564s |      19 |  1128032 |   523582 |     2527    459 |        0 |        0
566.60/566.76	c  566s |      19 |  1130724 |   525282 |     2527    460 |        0 |        0
568.71/568.81	c  568s |      19 |  1132931 |   526882 |     2527    462 |        0 |        0
570.70/570.87	c  570s |      19 |  1137054 |   528782 |     2527    463 |        0 |        0
572.70/572.89	c  572s |      19 |  1140403 |   530482 |     2527    464 |        0 |        0
574.90/575.01	c  574s |      19 |  1142833 |   532082 |     2527    465 |        0 |        0
576.90/577.03	c  576s |      19 |  1145396 |   533682 |     2527    466 |        0 |        0
578.90/579.07	c  579s |      19 |  1148250 |   535282 |     2527    467 |        0 |        0
581.00/581.19	c  581s |      19 |  1150513 |   536882 |     2527    469 |        0 |        0
583.10/583.21	c  583s |      19 |  1152542 |   538382 |     2527    470 |        0 |        0
585.21/585.34	c  585s |      19 |  1154918 |   539982 |     2527    471 |        0 |        0
587.31/587.40	c  587s |      19 |  1157928 |   541782 |     2527    472 |        0 |        0
589.30/589.47	c  589s |      19 |  1160793 |   543682 |     2527    473 |        0 |        0
591.40/591.59	c  591s |      19 |  1163494 |   545382 |     2527    474 |        0 |        0
593.50/593.66	c  593s |      19 |  1165906 |   546982 |     2527    476 |        0 |        0
595.60/595.78	c  595s |      19 |  1168250 |   548682 |     2527    477 |        0 |        0
597.70/597.83	c  597s |      19 |  1170477 |   550282 |     2527    478 |        0 |        0
599.70/599.87	c  599s |      19 |  1173925 |   551982 |     2527    479 |        0 |        0
601.70/601.89	c  601s |      19 |  1176372 |   553582 |     2527    480 |        0 |        0
603.80/603.99	c  603s |      19 |  1178809 |   555182 |     2527    481 |        0 |        0
606.00/606.13	c  606s |      19 |  1180937 |   556682 |     2527    482 |        0 |        0
607.99/608.15	c  608s |      19 |  1187544 |   558882 |     2527    484 |        0 |        0
609.99/610.18	c  610s |      19 |  1190412 |   560682 |     2527    485 |        0 |        0
612.19/612.31	c  612s |      19 |  1193468 |   562582 |     2527    487 |        0 |        0
614.19/614.33	c  614s |      19 |  1196032 |   564282 |     2527    488 |        0 |        0
616.19/616.38	c  616s |      19 |  1198792 |   566082 |     2527    489 |        0 |        0
618.29/618.40	c  618s |      19 |  1201082 |   567682 |     2527    490 |        0 |        0
620.30/620.44	c  620s |      19 |  1203548 |   569382 |     2527    491 |        0 |        0
622.29/622.46	c  622s |      19 |  1206068 |   571082 |     2527    492 |        0 |        0
624.49/624.62	c  624s |      19 |  1208042 |   572582 |     2527    494 |        0 |        0
626.59/626.70	c  626s |      19 |  1210801 |   574282 |     2527    495 |        0 |        0
628.69/628.80	c  628s |      19 |  1213699 |   576082 |     2527    496 |        0 |        0
630.79/630.90	c  630s |      19 |  1215828 |   577682 |     2527    497 |        0 |        0
632.79/632.90	c  632s |      19 |  1217817 |   579182 |     2527    498 |        0 |        0
634.79/634.92	c  634s |      19 |  1221466 |   580982 |     2527    499 |        0 |        0
636.80/636.99	c  636s |      19 |  1228125 |   583182 |     2527    501 |        0 |        0
638.89/639.07	c  639s |      19 |  1233137 |   585282 |     2527    502 |        0 |        0
640.99/641.16	c  641s |      19 |  1235927 |   586982 |     2527    504 |        0 |        0
643.09/643.21	c  643s |      19 |  1241763 |   589082 |     2527    505 |        0 |        0
645.09/645.28	c  645s |      19 |  1248401 |   591282 |     2527    507 |        0 |        0
647.09/647.28	c  647s |      19 |  1251949 |   593182 |     2527    508 |        0 |        0
649.09/649.29	c  649s |      19 |  1254504 |   594882 |     2527    509 |        0 |        0
651.19/651.36	c  651s |      19 |  1257889 |   596782 |     2527    510 |        0 |        0
653.18/653.40	c  653s |      19 |  1260677 |   598482 |     2527    512 |        0 |        0
655.28/655.49	c  655s |      19 |  1263830 |   600282 |     2527    513 |        0 |        0
657.38/657.54	c  657s |      19 |  1271503 |   602282 |     2527    514 |        0 |        0
659.48/659.63	c  659s |      19 |  1277074 |   604282 |     2527    516 |        0 |        0
661.48/661.69	c  661s |      19 |  1283337 |   606582 |     2527    517 |        0 |        0
663.58/663.73	c  663s |      19 |  1289615 |   608682 |     2527    519 |        0 |        0
665.68/665.81	c  665s |      19 |  1294850 |   610682 |     2527    520 |        0 |        0
667.78/667.91	c  667s |      19 |  1301369 |   612682 |     2527    522 |        0 |        0
669.79/669.95	c  669s |      19 |  1306236 |   614782 |     2527    523 |        0 |        0
671.78/671.96	c  671s |      19 |  1309629 |   616582 |     2527    524 |        0 |        0
673.78/673.99	c  673s |      19 |  1312568 |   618282 |     2527    526 |        0 |        0
675.88/676.03	c  675s |      19 |  1317096 |   620182 |     2527    527 |        0 |        0
677.88/678.07	c  678s |      19 |  1323865 |   622282 |     2527    528 |        0 |        0
679.98/680.15	c  680s |      19 |  1328588 |   624382 |     2527    530 |        0 |        0
681.99/682.19	c  682s |      19 |  1333072 |   626382 |     2527    531 |        0 |        0
684.09/684.23	c  684s |      19 |  1336614 |   628182 |     2527    533 |        0 |        0
686.08/686.29	c  686s |      19 |  1339734 |   629882 |     2527    534 |        0 |        0
688.18/688.39	c  688s |      19 |  1342755 |   631682 |     2527    535 |        0 |        0
690.28/690.43	c  690s |      19 |  1346475 |   633382 |     2527    536 |        0 |        0
692.38/692.51	c  692s |      19 |  1353473 |   635482 |     2527    538 |        0 |        0
694.38/694.59	c  694s |      19 |  1357598 |   637382 |     2527    539 |        0 |        0
696.48/696.62	c  696s |      19 |  1364894 |   639482 |     2527    540 |        0 |        0
698.48/698.69	c  698s |      19 |  1368394 |   641282 |     2527    542 |        0 |        0
700.59/700.73	c  700s |      19 |  1372238 |   643182 |     2527    543 |        0 |        0
702.69/702.80	c  702s |      19 |  1375903 |   645082 |     2527    544 |        0 |        0
704.68/704.89	c  704s |      19 |  1378832 |   646882 |     2527    546 |        0 |        0
706.78/706.92	c  706s |      19 |  1382343 |   648682 |     2527    547 |        0 |        0
708.88/709.04	c  709s |      19 |  1387414 |   650882 |     2527    548 |        0 |        0
710.88/711.05	c  711s |      19 |  1390466 |   652682 |     2527    550 |        0 |        0
712.98/713.16	c  713s |      19 |  1393296 |   654382 |     2527    551 |        0 |        0
715.08/715.27	c  715s |      19 |  1397103 |   656382 |     2527    552 |        0 |        0
717.19/717.34	c  717s |      19 |  1403444 |   658282 |     2527    554 |        0 |        0
719.29/719.44	c  719s |      19 |  1407822 |   660182 |     2527    555 |        0 |        0
721.28/721.45	c  721s |      19 |  1414660 |   662082 |     2527    556 |        0 |        0
723.38/723.54	c  723s |      19 |  1423677 |   664082 |     2780    557 |        0 |        0
725.48/725.62	c  725s |      19 |  1428757 |   665982 |     2780    559 |        0 |        0
726.48/726.60	c  726s |      20 |  1430495 |   666827 |     2780    559 |        0 |        0
728.48/728.63	c  728s |      20 |  1437909 |   668727 |     2780    560 |        0 |        0
730.48/730.66	c  730s |      20 |  1442226 |   670527 |     2780    562 |        0 |        0
732.49/732.67	c  732s |      20 |  1446546 |   672327 |     2780    563 |        0 |        0
734.58/734.78	c  734s |      20 |  1449376 |   674027 |     2780    564 |        0 |        0
736.68/736.80	c  736s |      20 |  1453417 |   675827 |     2780    565 |        0 |        0
738.68/738.85	c  738s |      20 |  1455918 |   677327 |     2780    566 |        0 |        0
740.68/740.88	c  740s |      20 |  1459584 |   679127 |     2780    567 |        0 |        0
742.88/743.02	c  742s |      20 |  1463223 |   680927 |     2780    568 |        0 |        0
744.98/745.15	c  745s |      20 |  1465850 |   682627 |     2780    569 |        0 |        0
746.98/747.17	c  747s |      20 |  1468080 |   684227 |     2780    570 |        0 |        0
749.08/749.21	c  749s |      20 |  1470619 |   685827 |     2780    571 |        0 |        0
751.18/751.31	c  751s |      20 |  1473267 |   687627 |     2780    573 |        0 |        0
753.18/753.38	c  753s |      20 |  1477016 |   689427 |     2780    574 |        0 |        0
755.28/755.44	c  755s |      20 |  1480672 |   691227 |     2780    575 |        0 |        0
757.27/757.49	c  757s |      20 |  1484060 |   693227 |     2780    576 |        0 |        0
759.37/759.50	c  759s |      20 |  1486686 |   695127 |     2780    577 |        0 |        0
761.37/761.54	c  761s |      20 |  1489286 |   697027 |     2780    579 |        0 |        0
763.47/763.60	c  763s |      20 |  1492730 |   699027 |     2780    580 |        0 |        0
765.48/765.68	c  765s |      20 |  1496797 |   701027 |     2780    581 |        0 |        0
767.57/767.75	c  767s |      20 |  1500075 |   702927 |     2780    582 |        0 |        0
769.57/769.76	c  769s |      20 |  1502545 |   704627 |     2780    583 |        0 |        0
771.67/771.84	c  771s |      20 |  1505279 |   706327 |     2780    585 |        0 |        0
773.77/773.90	c  773s |      20 |  1508083 |   708127 |     2780    586 |        0 |        0
775.77/775.99	c  775s |      20 |  1510441 |   709827 |     2780    587 |        0 |        0
777.87/778.04	c  778s |      20 |  1513878 |   711627 |     2780    588 |        0 |        0
779.88/780.07	c  780s |      20 |  1515974 |   713127 |     2780    589 |        0 |        0
781.98/782.17	c  782s |      20 |  1517918 |   714627 |     2780    590 |        0 |        0
784.07/784.24	c  784s |      20 |  1522866 |   716427 |     2780    591 |        0 |        0
786.07/786.25	c  786s |      20 |  1528799 |   718527 |     2780    592 |        0 |        0
788.07/788.27	c  788s |      20 |  1533398 |   720427 |     2780    594 |        0 |        0
790.17/790.33	c  790s |      20 |  1538038 |   722427 |     2780    595 |        0 |        0
792.27/792.43	c  792s |      20 |  1541917 |   724327 |     2780    596 |        0 |        0
794.27/794.49	c  794s |      20 |  1545762 |   726127 |     2780    597 |        0 |        0
796.37/796.55	c  796s |      20 |  1548725 |   727827 |     2780    598 |        0 |        0
798.47/798.62	c  798s |      20 |  1554060 |   729827 |     2780    600 |        0 |        0
800.57/800.72	c  800s |      20 |  1557011 |   731527 |     2780    601 |        0 |        0
802.57/802.76	c  802s |      20 |  1560647 |   733427 |     2780    602 |        0 |        0
804.57/804.76	c  804s |      20 |  1563411 |   735027 |     2780    603 |        0 |        0
806.67/806.83	c  806s |      20 |  1566499 |   736827 |     2780    604 |        0 |        0
808.67/808.84	c  808s |      20 |  1569783 |   738527 |     2780    605 |        0 |        0
810.67/810.88	c  810s |      20 |  1575074 |   740427 |     2780    606 |        0 |        0
812.66/812.88	c  812s |      20 |  1579233 |   742327 |     2780    608 |        0 |        0
814.76/814.96	c  814s |      20 |  1582180 |   744027 |     2780    609 |        0 |        0
816.76/816.97	c  816s |      20 |  1585151 |   745727 |     2780    610 |        0 |        0
818.96/819.10	c  819s |      20 |  1588556 |   747627 |     2780    611 |        0 |        0
820.96/821.14	c  821s |      20 |  1591404 |   749327 |     2780    612 |        0 |        0
823.06/823.22	c  823s |      20 |  1594164 |   751027 |     2780    613 |        0 |        0
825.16/825.31	c  825s |      20 |  1599045 |   753227 |     2780    615 |        0 |        0
827.17/827.34	c  827s |      20 |  1603067 |   755127 |     2780    616 |        0 |        0
829.27/829.44	c  829s |      20 |  1606385 |   757027 |     2780    617 |        0 |        0
831.36/831.50	c  831s |      20 |  1608758 |   758627 |     2780    618 |        0 |        0
833.46/833.69	c  833s |      20 |  1611016 |   760227 |     2780    619 |        0 |        0
835.66/835.83	c  835s |      20 |  1613546 |   761927 |     2780    620 |        0 |        0
837.76/837.91	c  837s |      20 |  1616054 |   763627 |     2780    621 |        0 |        0
839.86/840.01	c  839s |      20 |  1618690 |   765427 |     2780    623 |        0 |        0
841.86/842.03	c  841s |      20 |  1623137 |   767427 |     2780    624 |        0 |        0
843.86/844.06	c  844s |      20 |  1627818 |   769327 |     2780    625 |        0 |        0
845.96/846.20	c  846s |      20 |  1630596 |   771127 |     2780    626 |        0 |        0
848.06/848.28	c  848s |      20 |  1632651 |   772627 |     2780    627 |        0 |        0
850.16/850.37	c  850s |      20 |  1636495 |   774627 |     2780    628 |        0 |        0
852.16/852.39	c  852s |      20 |  1639423 |   776427 |     2780    630 |        0 |        0
854.16/854.39	c  854s |      20 |  1642719 |   778427 |     2780    631 |        0 |        0
856.25/856.47	c  856s |      20 |  1645367 |   780227 |     2780    632 |        0 |        0
858.35/858.55	c  858s |      20 |  1647710 |   781827 |     2780    633 |        0 |        0
860.35/860.57	c  860s |      20 |  1649909 |   783427 |     2780    634 |        0 |        0
862.45/862.67	c  862s |      20 |  1652664 |   785127 |     2780    635 |        0 |        0
864.65/864.84	c  864s |      20 |  1654692 |   786627 |     2780    636 |        0 |        0
866.67/866.90	c  866s |      20 |  1657803 |   788227 |     2780    637 |        0 |        0
868.87/869.01	c  868s |      20 |  1660749 |   790127 |     2780    638 |        0 |        0
870.86/871.08	c  871s |      20 |  1663490 |   791927 |     2780    640 |        0 |        0
872.96/873.10	c  873s |      20 |  1666794 |   793727 |     2780    641 |        0 |        0
875.06/875.22	c  875s |      20 |  1669541 |   795427 |     2780    642 |        0 |        0
877.06/877.24	c  877s |      20 |  1671610 |   796927 |     2780    643 |        0 |        0
879.06/879.28	c  879s |      20 |  1674982 |   798627 |     2780    644 |        0 |        0
881.16/881.37	c  881s |      20 |  1677334 |   800227 |     2780    645 |        0 |        0
883.16/883.38	c  883s |      20 |  1679530 |   801827 |     2780    646 |        0 |        0
885.26/885.41	c  885s |      20 |  1682208 |   803527 |     2780    647 |        0 |        0
887.26/887.49	c  887s |      20 |  1685144 |   805227 |     2780    648 |        0 |        0
889.36/889.50	c  889s |      20 |  1687728 |   806827 |     2780    649 |        0 |        0
891.36/891.56	c  891s |      20 |  1690045 |   808327 |     2780    650 |        0 |        0
893.36/893.58	c  893s |      20 |  1692057 |   809727 |     2780    651 |        0 |        0
895.46/895.65	c  895s |      20 |  1694484 |   811327 |     2780    652 |        0 |        0
897.56/897.76	c  897s |      20 |  1696473 |   812827 |     2780    653 |        0 |        0
899.66/899.87	c  899s |      20 |  1698281 |   814227 |     2780    654 |        0 |        0
901.75/902.00	c  901s |      20 |  1700249 |   815627 |     2780    655 |        0 |        0
903.85/904.09	c  904s |      20 |  1703208 |   817327 |     2780    656 |        0 |        0
906.05/906.20	c  906s |      20 |  1705312 |   818827 |     2780    657 |        0 |        0
908.15/908.34	c  908s |      20 |  1707835 |   820327 |     2780    658 |        0 |        0
910.15/910.36	c  910s |      20 |  1709881 |   821727 |     2780    659 |        0 |        0
912.15/912.37	c  912s |      20 |  1711886 |   823127 |     2780    660 |        0 |        0
914.25/914.44	c  914s |      20 |  1715300 |   825127 |     2780    661 |        0 |        0
916.35/916.51	c  916s |      20 |  1717757 |   827027 |     2780    662 |        0 |        0
918.36/918.58	c  918s |      20 |  1720874 |   828827 |     2780    663 |        0 |        0
920.45/920.69	c  920s |      20 |  1730899 |   831127 |     2780    665 |        0 |        0
922.45/922.69	c  922s |      20 |  1735526 |   833027 |     2780    666 |        0 |        0
924.55/924.74	c  924s |      20 |  1739970 |   834927 |     2780    667 |        0 |        0
926.55/926.79	c  926s |      20 |  1743496 |   836727 |     2780    668 |        0 |        0
928.65/928.81	c  928s |      20 |  1747390 |   838527 |     2780    669 |        0 |        0
930.75/930.91	c  930s |      20 |  1750804 |   840427 |     2780    671 |        0 |        0
932.75/932.93	c  932s |      20 |  1754853 |   842427 |     2780    672 |        0 |        0
934.74/934.94	c  934s |      20 |  1757960 |   844227 |     2780    673 |        0 |        0
936.84/937.02	c  936s |      20 |  1762332 |   846027 |     2780    674 |        0 |        0
938.84/939.07	c  939s |      20 |  1766229 |   847927 |     2780    675 |        0 |        0
940.94/941.13	c  941s |      20 |  1769726 |   849627 |     2780    677 |        0 |        0
942.94/943.17	c  943s |      20 |  1773071 |   851427 |     2780    678 |        0 |        0
944.94/945.19	c  945s |      20 |  1776493 |   853227 |     2780    679 |        0 |        0
947.05/947.25	c  947s |      20 |  1779186 |   854927 |     2780    680 |        0 |        0
949.04/949.27	c  949s |      20 |  1782398 |   856627 |     2780    681 |        0 |        0
951.14/951.31	c  951s |      20 |  1787458 |   858627 |     2780    682 |        0 |        0
953.14/953.31	c  953s |      20 |  1790136 |   860327 |     2780    683 |        0 |        0
955.13/955.35	c  955s |      20 |  1794715 |   862227 |     2780    685 |        0 |        0
957.23/957.43	c  957s |      20 |  1798681 |   864127 |     2780    686 |        0 |        0
959.23/959.45	c  959s |      20 |  1801688 |   865827 |     2780    687 |        0 |        0
961.34/961.53	c  961s |      20 |  1804144 |   867427 |     2780    688 |        0 |        0
963.44/963.61	c  963s |      20 |  1807375 |   869127 |     2780    689 |        0 |        0
965.43/965.65	c  965s |      20 |  1809510 |   870627 |     2780    690 |        0 |        0
967.53/967.72	c  967s |      20 |  1811938 |   872227 |     2780    691 |        0 |        0
969.63/969.87	c  969s |      20 |  1815001 |   873927 |     2780    692 |        0 |        0
971.63/971.88	c  971s |      20 |  1817446 |   875427 |     2780    693 |        0 |        0
973.83/974.00	c  973s |      20 |  1819431 |   876927 |     2780    694 |        0 |        0
975.92/976.14	c  976s |      20 |  1822541 |   878627 |     2780    695 |        0 |        0
977.92/978.14	c  978s |      20 |  1825355 |   880227 |     2780    696 |        0 |        0
980.03/980.21	c  980s |      20 |  1827592 |   881827 |     2780    697 |        0 |        0
982.02/982.25	c  982s |      20 |  1829889 |   883527 |     2780    698 |        0 |        0
984.12/984.38	c  984s |      20 |  1832635 |   885327 |     2780    700 |        0 |        0
986.22/986.46	c  986s |      20 |  1835663 |   887127 |     2780    701 |        0 |        0
988.21/988.48	c  988s |      20 |  1839976 |   888927 |     2780    702 |        0 |        0
990.31/990.54	c  990s |      20 |  1843958 |   890827 |     2780    703 |        0 |        0
992.31/992.54	c  992s |      20 |  1847053 |   892627 |     2780    704 |        0 |        0
994.32/994.55	c  994s |      20 |  1849519 |   894327 |     2780    705 |        0 |        0
996.42/996.63	c  996s |      20 |  1852100 |   896127 |     2780    706 |        0 |        0
998.51/998.76	c  998s |      20 |  1854351 |   897727 |     2780    708 |        0 |        0
1000.61/1000.85	c 1000s |      20 |  1856704 |   899327 |     2780    709 |        0 |        0
1002.61/1002.88	c 1002s |      20 |  1858697 |   900827 |     2780    710 |        0 |        0
1004.71/1004.92	c 1004s |      20 |  1860425 |   902227 |     2780    710 |        0 |        0
1006.70/1006.99	c 1006s |      20 |  1862384 |   903727 |     2780    711 |        0 |        0
1008.80/1009.02	c 1008s |      20 |  1865514 |   905427 |     2780    712 |        0 |        0
1010.90/1011.10	c 1011s |      20 |  1868854 |   907227 |     2780    714 |        0 |        0
1012.91/1013.11	c 1013s |      20 |  1871632 |   908927 |     2780    715 |        0 |        0
1014.90/1015.15	c 1015s |      20 |  1874219 |   910527 |     2780    716 |        0 |        0
1017.00/1017.25	c 1017s |      20 |  1877179 |   912227 |     2780    717 |        0 |        0
1019.00/1019.27	c 1019s |      20 |  1880614 |   913927 |     2780    718 |        0 |        0
1021.10/1021.37	c 1021s |      20 |  1882718 |   915427 |     2780    719 |        0 |        0
1023.20/1023.48	c 1023s |      20 |  1884851 |   916927 |     2780    720 |        0 |        0
1025.19/1025.48	c 1025s |      20 |  1886746 |   918327 |     2780    721 |        0 |        0
1027.30/1027.59	c 1027s |      20 |  1888993 |   919827 |     2780    722 |        0 |        0
1029.40/1029.63	c 1029s |      20 |  1892864 |   921627 |     2780    723 |        0 |        0
1031.39/1031.64	c 1031s |      20 |  1895053 |   923127 |     2780    724 |        0 |        0
1033.39/1033.66	c 1033s |      20 |  1896853 |   924427 |     2780    725 |        0 |        0
1035.49/1035.70	c 1035s |      20 |  1899581 |   925927 |     2780    726 |        0 |        0
1037.49/1037.71	c 1037s |      20 |  1901578 |   927327 |     2780    727 |        0 |        0
1039.49/1039.77	c 1039s |      20 |  1904524 |   929027 |     2780    728 |        0 |        0
1041.60/1041.88	c 1041s |      20 |  1907051 |   930627 |     2780    729 |        0 |        0
1043.70/1043.94	c 1043s |      20 |  1909015 |   932027 |     2780    730 |        0 |        0
1045.79/1046.09	c 1046s |      20 |  1910987 |   933427 |     2780    730 |        0 |        0
1047.99/1048.20	c 1048s |      20 |  1912850 |   934827 |     2780    731 |        0 |        0
1049.99/1050.24	c 1050s |      20 |  1914776 |   936227 |     2780    732 |        0 |        0
1051.99/1052.26	c 1052s |      20 |  1918007 |   937927 |     2780    733 |        0 |        0
1054.09/1054.30	c 1054s |      20 |  1920196 |   939527 |     2780    734 |        0 |        0
1056.19/1056.41	c 1056s |      20 |  1922298 |   941127 |     2780    735 |        0 |        0
1058.29/1058.52	c 1058s |      20 |  1924378 |   942627 |     2780    736 |        0 |        0
1060.30/1060.56	c 1060s |      20 |  1926698 |   944227 |     2780    737 |        0 |        0
1062.40/1062.62	c 1062s |      20 |  1929305 |   945927 |     2780    738 |        0 |        0
1064.39/1064.66	c 1064s |      20 |  1931294 |   947427 |     2780    739 |        0 |        0
1066.38/1066.70	c 1066s |      20 |  1933727 |   949027 |     2780    740 |        0 |        0
1068.48/1068.80	c 1068s |      20 |  1936411 |   950727 |     2780    742 |        0 |        0
1070.58/1070.86	c 1070s |      20 |  1938771 |   952327 |     2780    743 |        0 |        0
1072.58/1072.88	c 1072s |      20 |  1942530 |   954127 |     2780    744 |        0 |        0
1074.68/1074.92	c 1074s |      20 |  1944871 |   955627 |     2780    745 |        0 |        0
1076.69/1076.97	c 1076s |      20 |  1947301 |   957127 |     2780    746 |        0 |        0
1078.78/1079.08	c 1079s |      20 |  1949979 |   958727 |     2780    747 |        0 |        0
1080.88/1081.12	c 1081s |      20 |  1952186 |   960227 |     2780    748 |        0 |        0
1082.98/1083.27	c 1083s |      20 |  1954731 |   961827 |     2780    749 |        0 |        0
1085.08/1085.30	c 1085s |      20 |  1956703 |   963227 |     2780    750 |        0 |        0
1087.08/1087.39	c 1087s |      20 |  1958351 |   964527 |     2780    750 |        0 |        0
1089.17/1089.49	c 1089s |      20 |  1960236 |   966027 |     2780    751 |        0 |        0
1091.27/1091.59	c 1091s |      20 |  1962860 |   967627 |     2780    752 |        0 |        0
1093.37/1093.66	c 1093s |      20 |  1964650 |   969027 |     2780    753 |        0 |        0
1095.48/1095.74	c 1095s |      20 |  1966976 |   970427 |     2780    754 |        0 |        0
1097.58/1097.86	c 1097s |      20 |  1968982 |   971827 |     2780    755 |        0 |        0
1099.67/1099.91	c 1099s |      20 |  1971271 |   973227 |     2780    756 |        0 |        0
1101.67/1101.98	c 1101s |      20 |  1973483 |   974927 |     2780    757 |        0 |        0
1103.67/1103.98	c 1103s |      20 |  1975559 |   976527 |     2780    758 |        0 |        0
1105.76/1106.06	c 1106s |      20 |  1978101 |   978227 |     2780    759 |        0 |        0
1107.76/1108.08	c 1108s |      20 |  1980464 |   979827 |     2780    760 |        0 |        0
1109.86/1110.18	c 1110s |      20 |  1984203 |   981727 |     2780    761 |        0 |        0
1112.06/1112.30	c 1112s |      20 |  1986614 |   983327 |     2780    762 |        0 |        0
1114.17/1114.45	c 1114s |      20 |  1988733 |   984927 |     2780    763 |        0 |        0
1116.37/1116.61	c 1116s |      20 |  1990935 |   986527 |     2780    765 |        0 |        0
1118.36/1118.69	c 1118s |      20 |  1993098 |   988127 |     2780    766 |        0 |        0
1120.46/1120.70	c 1120s |      20 |  1995799 |   989727 |     2780    767 |        0 |        0
1122.56/1122.82	c 1122s |      20 |  2000221 |   991727 |     2780    768 |        0 |        0
1124.66/1124.90	c 1124s |      20 |  2003231 |   993427 |     3059    769 |        0 |        0
1126.65/1126.93	c 1126s |      20 |  2007075 |   995127 |     3059    770 |        0 |        0
1128.75/1129.05	c 1129s |      20 |  2009294 |   996627 |     3059    771 |        0 |        0
1130.85/1131.11	c 1131s |      20 |  2011315 |   998127 |     3059    772 |        0 |        0
1132.95/1133.21	c 1133s |      20 |  2013703 |   999727 |     3059    773 |        0 |        0
1133.65/1133.91	c 1133s |      21 |  2014685 |  1000345 |     3059    773 |        0 |        0
1135.65/1135.94	c 1135s |      21 |  2017355 |  1001945 |     3059    774 |        0 |        0
1137.75/1138.02	c 1137s |      21 |  2019905 |  1003545 |     3059    775 |        0 |        0
1139.85/1140.12	c 1140s |      21 |  2022072 |  1005045 |     3059    776 |        0 |        0
1141.95/1142.20	c 1142s |      21 |  2024214 |  1006545 |     3059    777 |        0 |        0
1143.94/1144.25	c 1144s |      21 |  2026449 |  1008045 |     3059    777 |        0 |        0
1146.05/1146.37	c 1146s |      21 |  2028650 |  1009645 |     3059    778 |        0 |        0
1148.15/1148.49	c 1148s |      21 |  2030902 |  1011145 |     3059    779 |        0 |        0
1150.24/1150.56	c 1150s |      21 |  2033077 |  1012645 |     3059    780 |        0 |        0
1152.34/1152.60	c 1152s |      21 |  2034936 |  1014045 |     3059    781 |        0 |        0
1154.34/1154.68	c 1154s |      21 |  2037517 |  1015645 |     3059    782 |        0 |        0
1156.53/1156.81	c 1156s |      21 |  2040212 |  1017345 |     3059    783 |        0 |        0
1158.53/1158.89	c 1158s |      21 |  2043573 |  1018945 |     3059    784 |        0 |        0
1160.63/1160.95	c 1160s |      21 |  2046231 |  1020545 |     3059    785 |        0 |        0
1162.73/1163.06	c 1163s |      21 |  2048112 |  1021945 |     3059    786 |        0 |        0
1164.83/1165.11	c 1165s |      21 |  2050179 |  1023345 |     3059    787 |        0 |        0
1166.94/1167.24	c 1167s |      21 |  2052430 |  1024945 |     3059    787 |        0 |        0
1169.04/1169.37	c 1169s |      21 |  2054284 |  1026345 |     3059    788 |        0 |        0
1171.24/1171.52	c 1171s |      21 |  2056370 |  1027845 |     3059    789 |        0 |        0
1173.23/1173.55	c 1173s |      21 |  2058173 |  1029145 |     3059    790 |        0 |        0
1175.23/1175.57	c 1175s |      21 |  2063622 |  1030845 |     3059    791 |        0 |        0
1177.33/1177.64	c 1177s |      21 |  2067442 |  1032645 |     3059    792 |        0 |        0
1179.42/1179.70	c 1179s |      21 |  2070047 |  1034345 |     3059    793 |        0 |        0
1181.42/1181.72	c 1181s |      21 |  2073702 |  1036145 |     3059    794 |        0 |        0
1183.43/1183.78	c 1183s |      21 |  2076286 |  1037745 |     3059    795 |        0 |        0
1185.42/1185.78	c 1185s |      21 |  2078786 |  1039445 |     3059    796 |        0 |        0
1187.52/1187.89	c 1187s |      21 |  2081618 |  1041345 |     3059    797 |        0 |        0
1189.62/1189.98	c 1189s |      21 |  2084193 |  1043045 |     3059    798 |        0 |        0
1191.73/1192.00	c 1191s |      21 |  2086278 |  1044545 |     3059    799 |        0 |        0
1193.73/1194.07	c 1194s |      21 |  2088681 |  1046245 |     3059    800 |        0 |        0
1195.72/1196.07	c 1196s |      21 |  2092254 |  1048045 |     3059    801 |        0 |        0
1197.82/1198.15	c 1198s |      21 |  2094729 |  1049745 |     3059    802 |        0 |        0
1199.93/1200.24	c 1200s |      21 |  2096795 |  1051345 |     3059    803 |        0 |        0
1201.92/1202.29	c 1202s |      21 |  2099138 |  1052945 |     3059    804 |        0 |        0
1204.02/1204.30	c 1204s |      21 |  2101892 |  1054645 |     3059    805 |        0 |        0
1206.02/1206.33	c 1206s |      21 |  2105637 |  1056445 |     3059    806 |        0 |        0
1208.12/1208.45	c 1208s |      21 |  2108809 |  1058145 |     3059    807 |        0 |        0
1210.22/1210.55	c 1210s |      21 |  2111875 |  1059745 |     3059    808 |        0 |        0
1212.22/1212.55	c 1212s |      21 |  2114589 |  1061345 |     3059    809 |        0 |        0
1214.32/1214.66	c 1214s |      21 |  2116596 |  1062845 |     3059    810 |        0 |        0
1216.42/1216.74	c 1216s |      21 |  2118659 |  1064345 |     3059    811 |        0 |        0
1218.52/1218.87	c 1218s |      21 |  2120820 |  1065845 |     3059    812 |        0 |        0
1220.61/1220.90	c 1220s |      21 |  2122771 |  1067345 |     3059    812 |        0 |        0
1222.61/1222.93	c 1222s |      21 |  2124957 |  1068945 |     3059    813 |        0 |        0
1224.61/1224.97	c 1224s |      21 |  2127511 |  1070545 |     3059    814 |        0 |        0
1226.71/1227.09	c 1227s |      21 |  2129745 |  1072245 |     3059    815 |        0 |        0
1228.81/1229.12	c 1229s |      21 |  2131747 |  1073745 |     3059    816 |        0 |        0
1230.91/1231.22	c 1231s |      21 |  2134257 |  1075345 |     3059    817 |        0 |        0
1232.91/1233.27	c 1233s |      21 |  2137429 |  1076945 |     3059    818 |        0 |        0
1235.01/1235.34	c 1235s |      21 |  2139477 |  1078345 |     3059    819 |        0 |        0
1237.10/1237.42	c 1237s |      21 |  2142535 |  1080045 |     3059    820 |        0 |        0
1239.10/1239.44	c 1239s |      21 |  2145722 |  1081745 |     3059    821 |        0 |        0
1241.20/1241.55	c 1241s |      21 |  2147768 |  1083245 |     3059    822 |        0 |        0
1243.40/1243.74	c 1243s |      21 |  2149623 |  1084645 |     3059    823 |        0 |        0
1245.40/1245.77	c 1245s |      21 |  2151621 |  1086145 |     3059    823 |        0 |        0
1247.50/1247.88	c 1247s |      21 |  2153695 |  1087545 |     3059    824 |        0 |        0
1249.60/1249.91	c 1249s |      21 |  2155452 |  1088845 |     3059    825 |        0 |        0
1251.70/1252.03	c 1251s |      21 |  2158283 |  1090345 |     3059    826 |        0 |        0
1253.70/1254.06	c 1254s |      21 |  2160125 |  1091745 |     3059    827 |        0 |        0
1255.90/1256.21	c 1256s |      21 |  2162080 |  1093145 |     3059    828 |        0 |        0
1257.99/1258.34	c 1258s |      21 |  2164074 |  1094545 |     3059    828 |        0 |        0
1260.09/1260.46	c 1260s |      21 |  2166172 |  1096045 |     3059    829 |        0 |        0
1262.19/1262.54	c 1262s |      21 |  2168190 |  1097445 |     3059    830 |        0 |        0
1264.29/1264.64	c 1264s |      21 |  2170578 |  1098945 |     3059    831 |        0 |        0
1266.39/1266.75	c 1266s |      21 |  2172490 |  1100345 |     3059    832 |        0 |        0
1268.49/1268.84	c 1268s |      21 |  2174241 |  1101645 |     3059    833 |        0 |        0
1270.49/1270.88	c 1270s |      21 |  2176447 |  1103045 |     3059    833 |        0 |        0
1272.59/1272.94	c 1272s |      21 |  2179308 |  1104745 |     3059    834 |        0 |        0
1274.70/1275.00	c 1274s |      21 |  2181190 |  1106145 |     3059    835 |        0 |        0
1276.79/1277.12	c 1277s |      21 |  2183618 |  1107645 |     3059    836 |        0 |        0
1278.88/1279.20	c 1279s |      21 |  2186330 |  1109245 |     3059    837 |        0 |        0
1280.98/1281.32	c 1281s |      21 |  2188729 |  1110745 |     3059    838 |        0 |        0
1282.98/1283.37	c 1283s |      21 |  2190934 |  1112145 |     3059    839 |        0 |        0
1285.08/1285.48	c 1285s |      21 |  2192659 |  1113445 |     3059    839 |        0 |        0
1287.18/1287.52	c 1287s |      21 |  2194425 |  1114745 |     3059    840 |        0 |        0
1289.18/1289.58	c 1289s |      21 |  2196549 |  1116145 |     3059    841 |        0 |        0
1291.28/1291.66	c 1291s |      21 |  2198397 |  1117445 |     3059    842 |        0 |        0
1293.38/1293.72	c 1293s |      21 |  2200208 |  1118745 |     3059    843 |        0 |        0
1295.37/1295.79	c 1295s |      21 |  2202252 |  1120145 |     3059    843 |        0 |        0
1297.47/1297.89	c 1297s |      21 |  2204096 |  1121445 |     3059    844 |        0 |        0
1299.57/1299.96	c 1299s |      21 |  2205970 |  1122745 |     3059    845 |        0 |        0
1301.67/1302.02	c 1301s |      21 |  2209871 |  1124245 |     3059    846 |        0 |        0
1303.67/1304.03	c 1303s |      21 |  2216488 |  1126145 |     3059    847 |        0 |        0
1305.67/1306.04	c 1306s |      21 |  2220228 |  1127845 |     3059    848 |        0 |        0
1307.77/1308.14	c 1308s |      21 |  2224081 |  1129745 |     3059    849 |        0 |        0
1309.78/1310.17	c 1310s |      21 |  2228041 |  1131545 |     3059    850 |        0 |        0
1311.87/1312.20	c 1312s |      21 |  2231693 |  1133145 |     3059    851 |        0 |        0
1313.87/1314.28	c 1314s |      21 |  2234937 |  1135045 |     3059    852 |        0 |        0
1315.97/1316.36	c 1316s |      21 |  2239559 |  1137145 |     3059    853 |        0 |        0
1317.97/1318.39	c 1318s |      21 |  2243258 |  1138845 |     3059    854 |        0 |        0
1320.07/1320.46	c 1320s |      21 |  2246723 |  1140545 |     3059    855 |        0 |        0
1322.17/1322.58	c 1322s |      21 |  2249454 |  1142345 |     3059    857 |        0 |        0
1324.26/1324.63	c 1324s |      21 |  2254323 |  1144145 |     3059    858 |        0 |        0
1326.27/1326.64	c 1326s |      21 |  2256739 |  1145645 |     3059    858 |        0 |        0
1328.36/1328.76	c 1328s |      21 |  2259614 |  1147245 |     3059    859 |        0 |        0
1330.36/1330.77	c 1330s |      21 |  2262535 |  1148845 |     3059    860 |        0 |        0
1332.46/1332.89	c 1332s |      21 |  2265584 |  1150645 |     3059    861 |        0 |        0
1334.56/1334.94	c 1334s |      21 |  2267881 |  1152245 |     3059    862 |        0 |        0
1336.65/1337.08	c 1337s |      21 |  2271328 |  1154045 |     3059    863 |        0 |        0
1338.75/1339.11	c 1339s |      21 |  2274538 |  1155645 |     3059    864 |        0 |        0
1340.75/1341.13	c 1341s |      21 |  2278106 |  1157245 |     3059    865 |        0 |        0
1342.86/1343.22	c 1343s |      21 |  2281968 |  1159045 |     3059    866 |        0 |        0
1344.85/1345.25	c 1345s |      21 |  2284761 |  1160645 |     3059    867 |        0 |        0
1346.95/1347.32	c 1347s |      21 |  2287394 |  1162145 |     3059    868 |        0 |        0
1348.95/1349.33	c 1349s |      21 |  2289833 |  1163645 |     3059    869 |        0 |        0
1351.05/1351.46	c 1351s |      21 |  2292113 |  1165145 |     3059    870 |        0 |        0
1353.15/1353.55	c 1353s |      21 |  2295994 |  1166845 |     3059    871 |        0 |        0
1355.25/1355.64	c 1355s |      21 |  2299259 |  1168545 |     3059    872 |        0 |        0
1357.25/1357.66	c 1357s |      21 |  2301686 |  1170045 |     3059    873 |        0 |        0
1359.25/1359.70	c 1359s |      21 |  2303944 |  1171445 |     3059    874 |        0 |        0
1361.35/1361.71	c 1361s |      21 |  2306512 |  1172845 |     3059    875 |        0 |        0
1363.44/1363.86	c 1363s |      21 |  2308619 |  1174245 |     3059    875 |        0 |        0
1365.54/1365.92	c 1365s |      21 |  2310697 |  1175645 |     3059    876 |        0 |        0
1367.74/1368.10	c 1368s |      21 |  2312570 |  1177045 |     3059    877 |        0 |        0
1369.74/1370.17	c 1370s |      21 |  2315142 |  1178545 |     3059    878 |        0 |        0
1371.84/1372.24	c 1372s |      21 |  2316960 |  1179845 |     3059    879 |        0 |        0
1373.94/1374.30	c 1374s |      21 |  2319185 |  1181245 |     3059    879 |        0 |        0
1376.04/1376.40	c 1376s |      21 |  2321247 |  1182645 |     3059    880 |        0 |        0
1378.04/1378.48	c 1378s |      21 |  2322972 |  1183945 |     3059    881 |        0 |        0
1380.14/1380.58	c 1380s |      21 |  2324774 |  1185345 |     3059    882 |        0 |        0
1382.23/1382.66	c 1382s |      21 |  2327246 |  1186945 |     3059    883 |        0 |        0
1384.33/1384.79	c 1384s |      21 |  2329355 |  1188345 |     3059    884 |        0 |        0
1386.43/1386.87	c 1386s |      21 |  2331709 |  1189845 |     3059    885 |        0 |        0
1388.53/1389.00	c 1388s |      21 |  2333911 |  1191445 |     3059    885 |        0 |        0
1390.63/1391.06	c 1391s |      21 |  2337040 |  1193045 |     3059    886 |        0 |        0
1392.73/1393.16	c 1393s |      21 |  2339809 |  1194645 |     3059    887 |        0 |        0
1394.93/1395.32	c 1395s |      21 |  2341898 |  1196145 |     3059    888 |        0 |        0
1396.92/1397.32	c 1397s |      21 |  2344319 |  1197545 |     3059    889 |        0 |        0
1399.02/1399.41	c 1399s |      21 |  2346574 |  1199045 |     3059    890 |        0 |        0
1401.14/1401.53	c 1401s |      21 |  2349085 |  1200545 |     3059    891 |        0 |        0
1403.24/1403.65	c 1403s |      21 |  2351288 |  1201945 |     3059    892 |        0 |        0
1405.33/1405.78	c 1405s |      21 |  2353856 |  1203445 |     3059    893 |        0 |        0
1407.43/1407.85	c 1407s |      21 |  2355921 |  1204945 |     3059    893 |        0 |        0
1409.43/1409.88	c 1409s |      21 |  2359867 |  1206645 |     3059    894 |        0 |        0
1411.63/1412.02	c 1411s |      21 |  2362178 |  1208145 |     3059    895 |        0 |        0
1413.73/1414.11	c 1414s |      21 |  2364325 |  1209545 |     3059    896 |        0 |        0
1415.82/1416.27	c 1416s |      21 |  2366472 |  1210945 |     3059    897 |        0 |        0
1417.92/1418.34	c 1418s |      21 |  2368619 |  1212345 |     3059    898 |        0 |        0
1420.02/1420.44	c 1420s |      21 |  2371863 |  1213945 |     3059    899 |        0 |        0
1422.12/1422.53	c 1422s |      21 |  2374895 |  1215445 |     3059    900 |        0 |        0
1424.23/1424.64	c 1424s |      21 |  2376967 |  1216845 |     3059    900 |        0 |        0
1426.22/1426.69	c 1426s |      21 |  2378774 |  1218145 |     3059    901 |        0 |        0
1428.32/1428.76	c 1428s |      21 |  2380373 |  1219345 |     3059    902 |        0 |        0
1430.42/1430.88	c 1430s |      21 |  2382372 |  1220645 |     3059    903 |        0 |        0
1432.42/1432.88	c 1432s |      21 |  2384038 |  1221845 |     3059    903 |        0 |        0
1434.61/1435.05	c 1435s |      21 |  2385974 |  1223145 |     3059    904 |        0 |        0
1436.71/1437.11	c 1437s |      21 |  2387672 |  1224245 |     3059    905 |        0 |        0
1438.71/1439.13	c 1439s |      21 |  2389357 |  1225445 |     3059    905 |        0 |        0
1440.81/1441.21	c 1441s |      21 |  2390838 |  1226545 |     3059    906 |        0 |        0
1442.92/1443.33	c 1443s |      21 |  2393185 |  1228045 |     3059    907 |        0 |        0
1444.91/1445.37	c 1445s |      21 |  2395160 |  1229445 |     3059    908 |        0 |        0
1446.91/1447.38	c 1447s |      21 |  2397229 |  1230845 |     3059    909 |        0 |        0
1449.11/1449.50	c 1449s |      21 |  2399022 |  1232245 |     3059    909 |        0 |        0
1451.11/1451.57	c 1451s |      21 |  2402116 |  1233745 |     3059    910 |        0 |        0
1453.21/1453.65	c 1453s |      21 |  2404852 |  1235345 |     3059    911 |        0 |        0
1455.20/1455.69	c 1455s |      21 |  2407576 |  1236945 |     3059    912 |        0 |        0
1457.30/1457.70	c 1457s |      21 |  2411097 |  1238545 |     3059    913 |        0 |        0
1459.31/1459.80	c 1459s |      21 |  2414069 |  1240045 |     3059    914 |        0 |        0
1461.51/1461.91	c 1461s |      21 |  2419184 |  1241745 |     3059    915 |        0 |        0
1463.60/1464.00	c 1463s |      21 |  2421630 |  1243245 |     3059    916 |        0 |        0
1465.60/1466.03	c 1465s |      21 |  2423682 |  1244645 |     3059    917 |        0 |        0
1467.70/1468.15	c 1468s |      21 |  2427684 |  1246345 |     3059    918 |        0 |        0
1469.70/1470.17	c 1470s |      21 |  2431123 |  1247845 |     3059    919 |        0 |        0
1471.80/1472.26	c 1472s |      21 |  2435151 |  1249445 |     3059    920 |        0 |        0
1473.90/1474.30	c 1474s |      21 |  2438526 |  1251045 |     3059    921 |        0 |        0
1475.90/1476.33	c 1476s |      21 |  2441402 |  1252545 |     3059    921 |        0 |        0
1477.90/1478.35	c 1478s |      21 |  2444273 |  1254045 |     3059    922 |        0 |        0
1480.00/1480.44	c 1480s |      21 |  2446520 |  1255545 |     3059    923 |        0 |        0
1482.10/1482.52	c 1482s |      21 |  2449954 |  1257045 |     3059    924 |        0 |        0
1484.20/1484.61	c 1484s |      21 |  2452926 |  1258545 |     3059    925 |        0 |        0
1486.19/1486.66	c 1486s |      21 |  2456881 |  1260045 |     3059    926 |        0 |        0
1488.29/1488.72	c 1488s |      21 |  2458970 |  1261445 |     3059    927 |        0 |        0
1490.29/1490.77	c 1490s |      21 |  2460707 |  1262745 |     3059    927 |        0 |        0
1492.40/1492.89	c 1492s |      21 |  2462679 |  1264145 |     3059    928 |        0 |        0
1494.50/1494.94	c 1494s |      21 |  2464664 |  1265545 |     3059    929 |        0 |        0
1496.49/1496.99	c 1496s |      21 |  2466342 |  1266745 |     3059    930 |        0 |        0
1498.59/1499.00	c 1498s |      21 |  2470137 |  1268345 |     3059    931 |        0 |        0
1500.58/1501.07	c 1501s |      21 |  2473058 |  1269845 |     3059    932 |        0 |        0
1502.78/1503.25	c 1503s |      21 |  2475897 |  1271445 |     3059    933 |        0 |        0
1504.78/1505.28	c 1505s |      21 |  2478562 |  1272945 |     3059    933 |        0 |        0
1506.98/1507.40	c 1507s |      21 |  2480419 |  1274345 |     3059    934 |        0 |        0
1508.98/1509.44	c 1509s |      21 |  2482381 |  1275645 |     3059    935 |        0 |        0
1510.99/1511.50	c 1511s |      21 |  2484963 |  1277145 |     3059    936 |        0 |        0
1513.08/1513.57	c 1513s |      21 |  2486767 |  1278445 |     3059    937 |        0 |        0
1515.18/1515.65	c 1515s |      21 |  2489310 |  1279945 |     3059    938 |        0 |        0
1517.28/1517.76	c 1517s |      21 |  2491284 |  1281345 |     3059    938 |        0 |        0
1519.38/1519.89	c 1519s |      21 |  2493015 |  1282645 |     3059    939 |        0 |        0
1521.58/1522.05	c 1522s |      21 |  2495065 |  1283945 |     3059    940 |        0 |        0
1523.58/1524.07	c 1524s |      21 |  2497040 |  1285245 |     3059    941 |        0 |        0
1525.57/1526.08	c 1526s |      21 |  2499062 |  1286545 |     3059    941 |        0 |        0
1527.67/1528.16	c 1528s |      21 |  2500662 |  1287745 |     3059    942 |        0 |        0
1529.78/1530.24	c 1530s |      21 |  2502267 |  1288945 |     3059    943 |        0 |        0
1531.88/1532.36	c 1532s |      21 |  2504853 |  1290345 |     3059    944 |        0 |        0
1533.87/1534.37	c 1534s |      21 |  2506683 |  1291645 |     3059    944 |        0 |        0
1535.97/1536.44	c 1536s |      21 |  2508260 |  1292845 |     3059    945 |        0 |        0
1537.97/1538.49	c 1538s |      21 |  2509993 |  1294045 |     3059    946 |        0 |        0
1540.17/1540.62	c 1540s |      21 |  2511908 |  1295345 |     3059    947 |        0 |        0
1542.17/1542.65	c 1542s |      21 |  2513526 |  1296545 |     3059    947 |        0 |        0
1544.27/1544.70	c 1544s |      21 |  2515362 |  1297745 |     3059    948 |        0 |        0
1546.27/1546.71	c 1546s |      21 |  2518026 |  1299145 |     3059    949 |        0 |        0
1548.37/1548.83	c 1548s |      21 |  2519830 |  1300445 |     3059    950 |        0 |        0
1550.46/1550.92	c 1550s |      21 |  2521548 |  1301745 |     3059    950 |        0 |        0
1552.46/1552.92	c 1552s |      21 |  2523135 |  1302945 |     3059    951 |        0 |        0
1554.56/1555.02	c 1554s |      21 |  2525606 |  1304245 |     3059    952 |        0 |        0
1556.55/1557.07	c 1557s |      21 |  2531499 |  1305945 |     3059    953 |        0 |        0
1558.65/1559.18	c 1559s |      21 |  2537156 |  1307845 |     3059    954 |        0 |        0
1560.75/1561.29	c 1561s |      21 |  2542182 |  1309645 |     3059    955 |        0 |        0
1562.85/1563.37	c 1563s |      21 |  2545431 |  1311145 |     3059    956 |        0 |        0
1564.96/1565.41	c 1565s |      21 |  2548373 |  1312645 |     3059    957 |        0 |        0
1566.95/1567.44	c 1567s |      21 |  2555034 |  1314345 |     3059    958 |        0 |        0
1568.95/1569.48	c 1569s |      21 |  2558443 |  1315945 |     3059    959 |        0 |        0
1571.15/1571.62	c 1571s |      21 |  2561212 |  1317445 |     3059    960 |        0 |        0
1573.15/1573.67	c 1573s |      21 |  2565284 |  1319145 |     3059    961 |        0 |        0
1575.14/1575.70	c 1575s |      21 |  2568080 |  1320645 |     3059    961 |        0 |        0
1577.34/1577.84	c 1577s |      21 |  2570553 |  1322145 |     3059    962 |        0 |        0
1579.54/1580.00	c 1579s |      21 |  2572890 |  1323645 |     3059    963 |        0 |        0
1581.54/1582.07	c 1582s |      21 |  2575193 |  1325145 |     3059    964 |        0 |        0
1583.64/1584.14	c 1584s |      21 |  2578779 |  1326745 |     3059    965 |        0 |        0
1585.64/1586.17	c 1586s |      21 |  2581582 |  1328245 |     3059    966 |        0 |        0
1587.74/1588.28	c 1588s |      21 |  2584337 |  1329745 |     3059    967 |        0 |        0
1589.94/1590.41	c 1590s |      21 |  2586523 |  1331145 |     3059    968 |        0 |        0
1591.94/1592.47	c 1592s |      21 |  2588798 |  1332545 |     3059    968 |        0 |        0
1593.94/1594.48	c 1594s |      21 |  2590972 |  1333845 |     3059    969 |        0 |        0
1596.04/1596.59	c 1596s |      21 |  2595821 |  1335445 |     3059    970 |        0 |        0
1598.14/1598.64	c 1598s |      21 |  2599325 |  1337045 |     3059    971 |        0 |        0
1600.15/1600.68	c 1600s |      21 |  2601585 |  1338445 |     3059    972 |        0 |        0
1602.35/1602.83	c 1602s |      21 |  2603678 |  1339845 |     3059    973 |        0 |        0
1604.34/1604.88	c 1604s |      21 |  2606105 |  1341245 |     3059    974 |        0 |        0
1606.44/1606.99	c 1606s |      21 |  2608523 |  1342745 |     3059    975 |        0 |        0
1608.54/1609.04	c 1609s |      21 |  2610724 |  1344245 |     3059    975 |        0 |        0
1610.64/1611.12	c 1611s |      21 |  2613106 |  1345745 |     3059    976 |        0 |        0
1612.74/1613.25	c 1613s |      21 |  2614989 |  1347145 |     3059    977 |        0 |        0
1614.74/1615.25	c 1615s |      21 |  2618242 |  1348745 |     3059    978 |        0 |        0
1616.74/1617.26	c 1617s |      21 |  2621607 |  1350345 |     3059    979 |        0 |        0
1618.74/1619.30	c 1619s |      21 |  2625565 |  1351945 |     3059    980 |        0 |        0
1620.94/1621.45	c 1621s |      21 |  2627717 |  1353345 |     3059    981 |        0 |        0
1622.94/1623.47	c 1623s |      21 |  2630119 |  1354745 |     3059    982 |        0 |        0
1625.04/1625.55	c 1625s |      21 |  2631948 |  1356045 |     3059    982 |        0 |        0
1627.13/1627.69	c 1627s |      21 |  2634360 |  1357445 |     3059    983 |        0 |        0
1629.23/1629.73	c 1629s |      21 |  2635968 |  1358645 |     3059    984 |        0 |        0
1631.33/1631.81	c 1631s |      21 |  2637761 |  1359945 |     3059    985 |        0 |        0
1633.33/1633.83	c 1633s |      21 |  2640817 |  1361345 |     3059    986 |        0 |        0
1635.34/1635.86	c 1635s |      21 |  2644793 |  1363045 |     3059    987 |        0 |        0
1637.54/1638.04	c 1638s |      21 |  2648339 |  1364745 |     3059    988 |        0 |        0
1639.53/1640.10	c 1640s |      21 |  2650640 |  1366145 |     3059    988 |        0 |        0
1641.63/1642.18	c 1642s |      21 |  2653336 |  1367645 |     3059    989 |        0 |        0
1643.73/1644.21	c 1644s |      21 |  2656230 |  1369045 |     3059    990 |        0 |        0
1645.83/1646.30	c 1646s |      21 |  2658106 |  1370345 |     3059    991 |        0 |        0
1647.93/1648.41	c 1648s |      21 |  2660165 |  1371645 |     3059    992 |        0 |        0
1650.03/1650.54	c 1650s |      21 |  2662130 |  1373045 |     3059    992 |        0 |        0
1652.03/1652.57	c 1652s |      21 |  2665175 |  1374545 |     3059    993 |        0 |        0
1654.23/1654.70	c 1654s |      21 |  2666934 |  1375845 |     3059    994 |        0 |        0
1656.33/1656.85	c 1656s |      21 |  2668512 |  1377045 |     3059    995 |        0 |        0
1658.44/1658.94	c 1658s |      21 |  2670243 |  1378345 |     3059    996 |        0 |        0
1660.64/1661.11	c 1661s |      21 |  2672689 |  1379745 |     3059    996 |        0 |        0
1662.74/1663.24	c 1663s |      21 |  2674410 |  1380945 |     3059    997 |        0 |        0
1664.83/1665.37	c 1665s |      21 |  2675977 |  1382145 |     3059    998 |        0 |        0
1667.03/1667.53	c 1667s |      21 |  2677353 |  1383245 |     3059    998 |        0 |        0
1669.03/1669.56	c 1669s |      21 |  2679247 |  1384545 |     3059    999 |        0 |        0
1671.13/1671.68	c 1671s |      21 |  2681564 |  1385945 |     3059   1000 |        0 |        0
1673.33/1673.82	c 1673s |      21 |  2683453 |  1387245 |     3059   1001 |        0 |        0
1675.53/1676.05	c 1676s |      21 |  2685412 |  1388545 |     3059   1002 |        0 |        0
1677.73/1678.20	c 1678s |      21 |  2689043 |  1390045 |     3059   1002 |        0 |        0
1679.82/1680.33	c 1680s |      21 |  2691958 |  1391545 |     3059   1003 |        0 |        0
1681.92/1682.40	c 1682s |      21 |  2695695 |  1393245 |     3059   1004 |        0 |        0
1684.02/1684.50	c 1684s |      21 |  2698482 |  1394745 |     3059   1005 |        0 |        0
1686.02/1686.52	c 1686s |      21 |  2700921 |  1396145 |     3059   1006 |        0 |        0
1688.13/1688.65	c 1688s |      21 |  2703612 |  1397645 |     3059   1007 |        0 |        0
1690.23/1690.77	c 1690s |      21 |  2705807 |  1398945 |     3059   1008 |        0 |        0
1692.43/1692.95	c 1692s |      21 |  2708079 |  1400345 |     3059   1009 |        0 |        0
1694.52/1695.01	c 1694s |      21 |  2710628 |  1401745 |     3059   1009 |        0 |        0
1696.62/1697.18	c 1697s |      21 |  2712488 |  1403045 |     3059   1010 |        0 |        0
1698.72/1699.23	c 1699s |      21 |  2714375 |  1404345 |     3059   1011 |        0 |        0
1700.72/1701.23	c 1701s |      21 |  2717310 |  1405745 |     3059   1012 |        0 |        0
1702.92/1703.42	c 1703s |      21 |  2719562 |  1407145 |     3059   1013 |        0 |        0
1704.92/1705.47	c 1705s |      21 |  2721346 |  1408345 |     3059   1013 |        0 |        0
1707.12/1707.63	c 1707s |      21 |  2722936 |  1409545 |     3059   1014 |        0 |        0
1709.22/1709.72	c 1709s |      21 |  2724667 |  1410845 |     3059   1015 |        0 |        0
1711.32/1711.80	c 1711s |      21 |  2727086 |  1412245 |     3059   1016 |        0 |        0
1713.43/1713.91	c 1713s |      21 |  2729354 |  1413645 |     3059   1016 |        0 |        0
1715.53/1716.02	c 1715s |      21 |  2731290 |  1415045 |     3059   1017 |        0 |        0
1717.62/1718.15	c 1718s |      21 |  2733194 |  1416345 |     3059   1018 |        0 |        0
1719.72/1720.20	c 1720s |      21 |  2736093 |  1417845 |     3059   1019 |        0 |        0
1721.72/1722.27	c 1722s |      21 |  2737850 |  1419045 |     3059   1020 |        0 |        0
1723.82/1724.33	c 1724s |      21 |  2739784 |  1420345 |     3059   1020 |        0 |        0
1725.82/1726.35	c 1726s |      21 |  2741241 |  1421445 |     3059   1021 |        0 |        0
1727.92/1728.41	c 1728s |      21 |  2743399 |  1422745 |     3059   1022 |        0 |        0
1730.02/1730.52	c 1730s |      21 |  2745660 |  1424145 |     3059   1023 |        0 |        0
1732.02/1732.60	c 1732s |      21 |  2747492 |  1425445 |     3059   1023 |        0 |        0
1734.11/1734.65	c 1734s |      21 |  2749032 |  1426645 |     3059   1024 |        0 |        0
1736.31/1736.81	c 1736s |      21 |  2750622 |  1427845 |     3059   1025 |        0 |        0
1738.31/1738.89	c 1738s |      21 |  2752233 |  1429045 |     3059   1025 |        0 |        0
1740.31/1740.89	c 1740s |      21 |  2754057 |  1430245 |     3059   1026 |        0 |        0
1742.41/1742.95	c 1742s |      21 |  2755863 |  1431445 |     3059   1027 |        0 |        0
1744.41/1744.99	c 1744s |      21 |  2757450 |  1432645 |     3059   1028 |        0 |        0
1746.51/1747.08	c 1747s |      21 |  2759695 |  1434145 |     3059   1028 |        0 |        0
1748.62/1749.17	c 1749s |      21 |  2762019 |  1435645 |     3059   1029 |        0 |        0
1750.72/1751.27	c 1751s |      21 |  2763739 |  1436945 |     3059   1030 |        0 |        0
1752.81/1753.34	c 1753s |      21 |  2765889 |  1438345 |     3059   1031 |        0 |        0
1754.91/1755.43	c 1755s |      21 |  2767614 |  1439645 |     3059   1032 |        0 |        0
1757.01/1757.53	c 1757s |      21 |  2769479 |  1440945 |     3059   1032 |        0 |        0
1759.01/1759.57	c 1759s |      21 |  2771390 |  1442345 |     3059   1033 |        0 |        0
1761.21/1761.71	c 1761s |      21 |  2773450 |  1443745 |     3059   1034 |        0 |        0
1763.31/1763.81	c 1763s |      21 |  2778658 |  1445445 |     3059   1035 |        0 |        0
1765.41/1765.91	c 1765s |      21 |  2782544 |  1447045 |     3059   1036 |        0 |        0
1767.41/1767.97	c 1767s |      21 |  2785208 |  1448545 |     3059   1037 |        0 |        0
1769.42/1769.99	c 1769s |      21 |  2787265 |  1449845 |     3059   1038 |        0 |        0
1771.51/1772.00	c 1771s |      21 |  2789137 |  1451145 |     3059   1038 |        0 |        0
1773.51/1774.01	c 1773s |      21 |  2791045 |  1452445 |     3059   1039 |        0 |        0
1775.51/1776.03	c 1775s |      21 |  2793225 |  1453745 |     3059   1040 |        0 |        0
1777.51/1778.08	c 1778s |      21 |  2795140 |  1455045 |     3059   1041 |        0 |        0
1779.61/1780.15	c 1780s |      21 |  2797432 |  1456345 |     3059   1042 |        0 |        0
1781.62/1782.19	c 1782s |      21 |  2799266 |  1457645 |     3059   1042 |        0 |        0
1783.72/1784.30	c 1784s |      21 |  2800734 |  1458745 |     3059   1043 |        0 |        0
1785.81/1786.36	c 1786s |      21 |  2802348 |  1459945 |     3059   1044 |        0 |        0
1787.91/1788.43	c 1788s |      21 |  2804310 |  1461345 |     3059   1044 |        0 |        0
1790.01/1790.53	c 1790s |      21 |  2807213 |  1462845 |     3059   1045 |        0 |        0
1792.01/1792.55	c 1792s |      21 |  2809707 |  1464245 |     3059   1046 |        0 |        0
1794.11/1794.62	c 1794s |      21 |  2811426 |  1465545 |     3059   1047 |        0 |        0
1796.11/1796.63	c 1796s |      21 |  2813928 |  1466945 |     3059   1048 |        0 |        0
1798.21/1798.70	c 1798s |      21 |  2815792 |  1468245 |     3059   1049 |        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-4078713-1465218907/watcher-4078713-1465218907 -o /tmp/evaluation-result-4078713-1465218907/solver-4078713-1465218907 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078713-1465218907.opb 

pid=32493
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.28 1.87 1.99 4/173 32497
/proc/meminfo: memFree=30417604/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 2653 0 0 0 0 0 0 0 20 0 4 0 103824364 729214976 2503 33554432000 4194304 16246674 140733882556192 140733882555616 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 178543 2514 441 2943 0 175437 0
[pid=32496/tid=32500] ppid=32493 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 758575104 2618 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 762769408 2634 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=750012 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103824364 768012288 2653 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 1.28 1.87 1.99 4/173 32497
/proc/meminfo: memFree=30417604/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 26721 0 0 0 6 3 0 0 20 0 4 0 103824364 1247350784 26560 33554432000 4194304 16246674 140733882556192 140733882538112 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 304529 26572 716 2943 0 301423 0
[pid=32496/tid=32500] ppid=32493 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 26580 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 26589 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 26599 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200539 s]
/proc/loadavg: 1.28 1.87 1.99 4/173 32497
/proc/meminfo: memFree=30417604/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 51833 0 0 0 13 6 0 0 20 0 4 0 103824364 1247350784 51672 33554432000 4194304 16246674 140733882556192 140733882538112 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 304529 51685 716 2943 0 301423 0
[pid=32496/tid=32500] ppid=32493 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 51694 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 51702 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 51711 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300442 s]
/proc/loadavg: 1.28 1.87 1.99 4/173 32497
/proc/meminfo: memFree=30417604/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 78354 0 0 0 20 9 0 0 20 0 4 0 103824364 1247350784 78193 33554432000 4194304 16246674 140733882556192 140733882538112 5721660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 304529 78209 716 2943 0 301423 0
[pid=32496/tid=32500] ppid=32493 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 78219 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 78227 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 78236 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700366 s]
/proc/loadavg: 1.28 1.87 1.99 4/173 32497
/proc/meminfo: memFree=30417604/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 188330 0 0 0 45 24 0 0 20 0 4 0 103824364 1247350784 188170 33554432000 4194304 16246674 140733882556192 140733882538112 5602147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 304529 188178 716 2943 0 301423 0
[pid=32496/tid=32500] ppid=32493 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 188182 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 188185 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 188190 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 1.28 1.87 1.99 3/183 32507
/proc/meminfo: memFree=28452876/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1303108 CPUtime=1.49 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 264799 0 0 0 116 33 0 0 20 0 4 0 103824364 1334382592 264618 33554432000 4194304 16246674 140733882556192 140733882538112 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 325777 264644 791 2943 0 322671 0
[pid=32496/tid=32500] ppid=32493 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1334382592 264658 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1334382592 264673 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1334382592 264686 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1303108

[startup+3.1004 s]
/proc/loadavg: 1.28 1.87 1.99 4/183 32507
/proc/meminfo: memFree=28278988/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 267811 0 0 0 275 33 0 0 20 0 4 0 103824364 1338576896 267630 33554432000 4194304 16246674 140733882556192 140733882538112 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 326801 267630 792 2943 0 323695 0
[pid=32496/tid=32500] ppid=32493 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1338576896 267630 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1338576896 267630 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1338576896 267630 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 1.33 1.87 1.99 3/183 32507
/proc/meminfo: memFree=28277380/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 267830 0 0 0 595 33 0 0 20 0 4 0 103824364 1338576896 267649 33554432000 4194304 16246674 140733882556192 140733882538112 5723034 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 326801 267649 792 2943 0 323695 0
[pid=32496/tid=32500] ppid=32493 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1338576896 267649 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1338576896 267649 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1338576896 267649 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.47 1.89 2.00 3/183 32507
/proc/meminfo: memFree=28275892/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1308228 CPUtime=12.68 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 268086 0 0 0 1235 33 0 0 20 0 4 0 103824364 1339625472 267905 33554432000 4194304 16246674 140733882556192 140733882538112 12483428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 327057 267905 792 2943 0 323951 0
[pid=32496/tid=32500] ppid=32493 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1339625472 267905 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1339625472 267905 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1339625472 267905 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 1.58 1.89 2.00 3/183 32507
/proc/meminfo: memFree=28275324/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 268086 0 0 0 2515 34 0 0 20 0 4 0 103824364 1339625472 267905 33554432000 4194304 16246674 140733882556192 140733882538112 6013248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 327057 267905 792 2943 0 323951 0
[pid=32496/tid=32500] ppid=32493 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1339625472 267905 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1339625472 267905 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1339625472 267905 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 1.80 1.92 2.00 3/183 32507
/proc/meminfo: memFree=28272232/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1310276 CPUtime=51.08 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 268599 0 0 0 5074 34 0 0 20 0 4 0 103824364 1341722624 268418 33554432000 4194304 16246674 140733882556192 140733882538112 5545708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 327569 268418 793 2943 0 324463 0
[pid=32496/tid=32500] ppid=32493 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1341722624 268418 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1341722624 268418 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1341722624 268418 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.09 1.98 2.02 3/183 32509
/proc/meminfo: memFree=28268484/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1312324 CPUtime=102.27 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 269113 0 0 0 10193 34 0 0 20 0 4 0 103824364 1343819776 268932 33554432000 4194304 16246674 140733882556192 140733882538112 12483332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 328081 268932 795 2943 0 324975 0
[pid=32496/tid=32500] ppid=32493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1343819776 268932 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1343819776 268932 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1343819776 268932 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1312324


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

/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1318468

[startup+1362.3 s]
/proc/loadavg: 2.21 2.25 2.18 3/183 32541
/proc/meminfo: memFree=28252576/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1318468 CPUtime=1361.95 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 270888 0 0 0 136154 41 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140733882538112 13780660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 329617 270725 796 2943 0 326511 0
[pid=32496/tid=32500] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1318468

[startup+1422.3 s]
/proc/loadavg: 2.25 2.25 2.18 3/183 32542
/proc/meminfo: memFree=28252124/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1318468 CPUtime=1421.93 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 270929 0 0 0 142151 42 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140733882538112 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 329617 270725 796 2943 0 326511 0
[pid=32496/tid=32500] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1318468

[startup+1482.3 s]
/proc/loadavg: 2.32 2.27 2.19 4/183 32543
/proc/meminfo: memFree=28251848/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1318468 CPUtime=1481.9 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 270959 0 0 0 148148 42 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140733882538112 12875026 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 329617 270725 796 2943 0 326511 0
[pid=32496/tid=32500] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1318468

[startup+1542.31 s]
/proc/loadavg: 2.39 2.29 2.20 3/184 32547
/proc/meminfo: memFree=28251184/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1318468 CPUtime=1541.87 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 270994 0 0 0 154145 42 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140733882538112 5823230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 329617 270725 796 2943 0 326511 0
[pid=32496/tid=32500] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.26 2.27 2.19 3/182 32548
/proc/meminfo: memFree=28251188/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1318468 CPUtime=1601.84 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 271024 0 0 0 160141 43 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140733882538112 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 329617 270725 796 2943 0 326511 0
[pid=32496/tid=32500] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.20 2.25 2.18 4/183 32550
/proc/meminfo: memFree=28250036/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1318468 CPUtime=1661.83 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 271024 0 0 0 166140 43 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140733882538112 5515744 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 329617 270725 796 2943 0 326511 0
[pid=32496/tid=32500] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.27 2.27 2.19 3/183 32551
/proc/meminfo: memFree=28249944/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1318468 CPUtime=1721.82 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 271024 0 0 0 172139 43 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140733882538112 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 329617 270725 796 2943 0 326511 0
[pid=32496/tid=32500] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.29 2.27 2.19 3/183 32552
/proc/meminfo: memFree=28249612/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1318468 CPUtime=1781.81 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 271024 0 0 0 178137 44 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140733882538112 13950222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 329617 270725 796 2943 0 326511 0
[pid=32496/tid=32500] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.29 2.26 2.19 4/183 32552
/proc/meminfo: memFree=28249580/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1318468 CPUtime=1800.01 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 271024 0 0 0 179957 44 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140733882538112 5545898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 329617 270725 796 2943 0 326511 0
[pid=32496/tid=32500] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1318468

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32496 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.29 2.26 2.19 4/183 32552
/proc/meminfo: memFree=28249580/32872528 swapFree=16080/1655368
[pid=32496] ppid=32493 vsize=1318468 CPUtime=1800.01 cores=1,3,5,7
/proc/32496/stat : 32496 (toysat) R 32493 32496 32454 0 -1 4202496 271024 0 0 0 179957 44 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140733882538112 5545898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32496/statm: 329617 270725 796 2943 0 326511 0
[pid=32496/tid=32500] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32500/stat : 32500 (toysat) S 32493 32496 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628781411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32496/tid=32502] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32502/stat : 32502 (toysat) S 32493 32496 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628770921712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32496/tid=32505] ppid=32493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (toysat) S 32493 32496 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1350111232 270725 33554432000 4194304 16246674 140733882556192 140628760448176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1318468

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.58
CPU system time (s): 0.441932
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.441932
maximum resident set size= 1082900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271024
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= 389
involuntary context switches= 1862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.41733 second user time and 7.13891 second system time

The end

Begin job on node122 at 2016-06-06 15:15:08
IDJOB=4078713
IDBENCH=1167
IDSOLVER=2542
FILE ID=node122/4078713-1465218907
RUNJOBID= node122-1465218907-32471
PBS_JOBID= 19843205
Free space on /tmp= 71744 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078713-1465218907/watcher-4078713-1465218907 -o /tmp/evaluation-result-4078713-1465218907/solver-4078713-1465218907 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078713-1465218907.opb

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

MD5SUM BENCH= 1a4510076d9024b805728ffe22c0d108
RANDOM SEED=525952141

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.898
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:        30420264 kB
Buffers:            7544 kB
Cached:            88356 kB
SwapCached:          860 kB
Active:            72776 kB
Inactive:          25488 kB
Active(anon):       3564 kB
Inactive(anon):     1552 kB
Active(file):      69212 kB
Inactive(file):    23936 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099432 kB
Dirty:             32676 kB
Writeback:             4 kB
AnonPages:       1657132 kB
Mapped:             6884 kB
Shmem:                 0 kB
Slab:             566496 kB
SReclaimable:      10740 kB
SUnreclaim:       555756 kB
KernelStack:        1360 kB
PageTables:         7108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1752372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1642496 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= 71712 MiB
End job on node122 at 2016-06-06 15:45:09