0.00/0.00	c 2016-06-18T05:35:12+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-4101169-1466220912.opb"]
0.00/0.01	c use --random-gen="611483277 3070165590 3424248862 3825780665 702510133 2348972513 2441994415 906110610 2300450058 3134017688 2152482 4088308393 3872544602 370249927 1620145472 2503378132 1732767248 175859741 1749084932 3177243983 265024740 2903702041 3306085841 358251517 774397115 2465524240 881268725 3574477675 4124289399 2669537840 1984427428 2070809168 304078525 350523021 831886609 1790116303 1394565967 2894700972 595355665 1467606639 1761753643 2581690703 53773089 3575838687 1464734108 2170532834 3560595356 2053458541 140162426 1956830854 3215213762 1576055950 627928460 2759424285 3009947013 461757054 262601083 502093743 458692525 3053475091 206727719 3294329225 2483859117 1221267253 386270446 3086771706 3333616773 3861224177 3595825604 3141829107 349708681 2266467801 2840417842 162634946 642860040 897087821 3305188811 407287465 679157653 3089530837 605722879 2638779781 2016886255 2520665736 2078775460 1255489509 1639087982 4070067405 2796806915 4238222699 2585264803 1103934306 3165554192 1858022078 968181884 3995337078 1004976866 3752113441 1865122162 3622063608 890888072 1847846661 3690361644 4083301947 3543330423 2060983245 1065216996 742282110 766090433 4236203979 1529148480 2916918904 230042871 2543528453 389599833 3429536278 2093392295 1835033861 4207390074 165786869 2306220745 3387158800 2303157957 2700127239 2172355172 3931692662 2136441963 2252141399 85668 3477883856 634538420 1546631938 1495018724 922945881 2204855500 1262573657 1602455169 1114118384 1808616165 2304901159 3342622126 4241652524 1788617949 1343192548 3216514196 878325436 3134215578 550117593 1903279163 3509874652 4797354 3252484775 4228545094 1425002416 2637802726 1998627270 3590325600 2804626252 3328516514 3779374542 2726666782 2948054967 676142655 3901644353 2936165112 4158314887 2832310227 3400275700 2359441314 768576652 2333162222 2888099915 2269447831 3432817174 448949150 2897646999 3339886426 3491164889 4262032365 3362928477 2597153839 2100655867 983206498 1376847384 3678107213 3794725814 3109695176 329678349 3484651631 2511156674 1958521784 2880107758 3400928375 1071677698 3750080301 1312965808 3394021153 246117184 1979768923 1941583091 2632609127 516309898 1507421571 2304578294 4074204595 731359911 1454057752 3501979177 2484169116 3551304043 3980183293 2882614266 191115734 241968999 2072746391 2656265746 2984934663 3912265783 1223314175 4186984117 3366719851 1698530244 3366128847 2589810476 2514847121 1361835343 3487772016 1189244381 1848474960 274668583 2382278963 2925216430 2726324555 231823486 3009423367 1685755372 520011444 4136072881 3546526511 1645504877 1493840097 417447924 187522075 3037570968 1077097238 900029670 3039040430 826152691 1766183066 2821880040 2003433848 1817745644 748168434 3200471688 1983026939 4276409952 255 362436" option to reproduce the execution
0.00/0.03	c #vars 3090
0.00/0.03	c #constraints 104
0.49/0.55	c BCD2: Hardening is enabled.
0.49/0.55	c BCD2: BiasedSearch is enabled.
0.49/0.55	c Solving starts ...
0.49/0.55	c ============================[ Search Statistics ]============================
0.49/0.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.55	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.55	c =============================================================================
0.49/0.55	c  0.0s |       0 |        0 |        0 |     1079      0 |      463 |        0
0.59/0.61	c  0.1s |       1 |      842 |      100 |     1079      0 |      534 |        0
0.59/0.63	c  0.1s |       2 |     1003 |      250 |     1187      0 |      534 |        0
0.59/0.65	c  0.1s |       3 |     1240 |      475 |     1306      0 |      534 |        0
0.59/0.69	c  0.1s |       4 |     1659 |      813 |     1437      0 |      534 |        0
0.78/0.85	c  0.3s |       5 |     3639 |     1320 |     1581      0 |      613 |        0
0.99/1.03	c  0.5s |       6 |     5767 |     2081 |     1915      0 |      625 |        0
1.20/1.27	c  0.7s |       7 |     7163 |     3223 |     2107      0 |      625 |        0
1.58/1.67	c  1.1s |       8 |     9503 |     4936 |     2318      1 |      625 |        0
2.19/2.28	c  1.7s |       9 |    12344 |     7506 |     2550      3 |      625 |        0
2.99/3.08	c  2.5s |      10 |    16475 |    11361 |     2805      5 |      625 |        0
4.59/4.65	c  4.1s |      11 |    24517 |    17144 |     3086      8 |      625 |        0
6.60/6.67	c  6.1s |      11 |    33051 |    25044 |     3086     12 |      625 |        0
6.79/6.88	c  6.3s |      12 |    34048 |    25819 |     3395     13 |      625 |        0
8.80/8.88	c  8.3s |      12 |    42227 |    33319 |     3395     16 |      625 |        0
10.29/10.34	c  9.8s |      13 |    47881 |    38832 |     3735     19 |      625 |        0
12.29/12.35	c 11.8s |      13 |    55244 |    46032 |     3735     22 |      625 |        0
14.30/14.38	c 13.8s |      13 |    62827 |    53032 |     3735     25 |      625 |        0
15.79/15.88	c 15.3s |      14 |    68256 |    58352 |     4109     28 |      625 |        0
17.79/17.90	c 17.3s |      14 |    75509 |    65252 |     4109     31 |      625 |        0
19.90/19.92	c 19.4s |      14 |    81990 |    71552 |     4109     33 |      625 |        0
21.89/21.92	c 21.4s |      14 |    88298 |    77652 |     4109     36 |      625 |        0
23.89/23.94	c 23.4s |      14 |    99313 |    85552 |     4109     39 |      625 |        0
24.69/24.70	c 24.1s |      15 |   103717 |    87632 |     4520     40 |      625 |        0
26.69/26.71	c 26.2s |      15 |   109159 |    91632 |     4520     41 |      625 |        0
28.69/28.74	c 28.2s |      15 |   113365 |    95332 |     4520     42 |      625 |        0
30.69/30.78	c 30.2s |      15 |   118112 |    99332 |     4520     43 |      625 |        0
32.69/32.78	c 32.2s |      15 |   122696 |   103132 |     4520     45 |      625 |        0
34.69/34.79	c 34.2s |      15 |   127426 |   107332 |     4520     46 |      625 |        0
36.79/36.83	c 36.3s |      15 |   132371 |   111832 |     4520     48 |      625 |        0
38.79/38.84	c 38.3s |      15 |   137575 |   116432 |     4520     49 |      625 |        0
40.79/40.85	c 40.3s |      15 |   143011 |   121332 |     4520     51 |      625 |        0
42.78/42.88	c 42.3s |      15 |   148036 |   126032 |     4520     52 |      625 |        0
44.78/44.89	c 44.3s |      15 |   153504 |   130732 |     4972     54 |      625 |        0
45.19/45.24	c 44.7s |      16 |   154522 |   131552 |     4972     54 |      625 |        0
47.18/47.26	c 46.7s |      16 |   161281 |   137652 |     4972     56 |      632 |        0
49.18/49.27	c 48.7s |      16 |   167453 |   143252 |     4972     58 |      632 |        0
51.18/51.28	c 50.7s |      16 |   176413 |   149552 |     4972     60 |      632 |        0
53.18/53.28	c 52.7s |      16 |   186583 |   158752 |     4972     63 |      632 |        0
55.38/55.46	c 54.9s |      16 |   193233 |   165152 |     4972     66 |      632 |        0
57.38/57.48	c 56.9s |      16 |   201879 |   172652 |     4972     68 |      632 |        0
59.49/59.57	c 59.0s |      16 |   209562 |   179652 |     4972     71 |      632 |        0
61.48/61.59	c 61.0s |      16 |   217702 |   187152 |     4972     73 |      632 |        0
63.58/63.61	c 63.1s |      16 |   224667 |   193552 |     4972     75 |      632 |        0
64.78/64.83	c 64.3s |      17 |   228735 |   197432 |     5470     77 |      632 |        0
66.78/66.85	c 66.3s |      17 |   241283 |   206532 |     5470     79 |      632 |        0
68.78/68.87	c 68.3s |      17 |   252248 |   214932 |     5470     82 |      632 |        0
70.88/70.91	c 70.4s |      17 |   260868 |   222232 |     5470     85 |      632 |        0
72.88/72.93	c 72.4s |      17 |   269636 |   229732 |     5470     87 |      632 |        0
74.88/74.94	c 74.4s |      17 |   277586 |   236532 |     5470     89 |      632 |        0
76.87/76.94	c 76.4s |      17 |   285830 |   243332 |     5470     91 |      632 |        0
78.97/79.02	c 78.5s |      17 |   293881 |   250332 |     5470     94 |      632 |        0
80.97/81.04	c 80.5s |      17 |   303272 |   258032 |     5470     96 |      632 |        0
82.97/83.06	c 82.5s |      17 |   312516 |   265932 |     5470     99 |      632 |        0
84.98/85.07	c 84.5s |      17 |   321672 |   273932 |     5470    101 |      632 |        0
86.99/87.07	c 86.5s |      17 |   330407 |   281332 |     5470    103 |      632 |        0
88.98/89.09	c 88.5s |      17 |   338934 |   288532 |     5470    106 |      632 |        0
91.08/91.10	c 90.6s |      17 |   347498 |   295732 |     6018    108 |      632 |        0
91.18/91.27	c 90.7s |      18 |   348129 |   296252 |     6018    108 |      632 |        0
93.18/93.27	c 92.7s |      18 |   356185 |   302552 |     6018    110 |      632 |        0
95.18/95.29	c 94.7s |      18 |   362701 |   308452 |     6018    111 |      632 |        0
97.28/97.31	c 96.8s |      18 |   368806 |   313452 |     6018    112 |      632 |        0
99.27/99.33	c 98.8s |      18 |   374992 |   318652 |     6018    114 |      632 |        0
101.28/101.34	c  100s |      18 |   380130 |   323252 |     6018    115 |      632 |        0
103.27/103.38	c  102s |      18 |   384599 |   327452 |     6018    116 |      632 |        0
105.27/105.38	c  104s |      18 |   389024 |   331452 |     6018    117 |      632 |        0
107.37/107.40	c  106s |      18 |   393368 |   335352 |     6018    118 |      632 |        0
109.37/109.44	c  108s |      18 |   398693 |   339952 |     6018    119 |      632 |        0
111.37/111.45	c  110s |      18 |   402610 |   343152 |     6018    120 |      632 |        0
113.38/113.49	c  112s |      18 |   408273 |   348052 |     6018    121 |      632 |        0
115.48/115.51	c  114s |      18 |   413115 |   352552 |     6018    122 |      632 |        0
117.47/117.53	c  116s |      18 |   417044 |   356152 |     6018    123 |      632 |        0
119.47/119.56	c  119s |      18 |   423364 |   360852 |     6018    124 |      632 |        0
121.47/121.57	c  121s |      18 |   429591 |   365252 |     6018    125 |      632 |        0
123.57/123.61	c  123s |      18 |   435234 |   369352 |     6018    126 |      632 |        0
125.57/125.65	c  125s |      18 |   440669 |   373652 |     6018    127 |      632 |        0
127.57/127.70	c  127s |      18 |   445902 |   377952 |     6018    128 |      632 |        0
129.67/129.72	c  129s |      18 |   451056 |   382152 |     6018    129 |      632 |        0
131.67/131.77	c  131s |      18 |   455313 |   385852 |     6018    130 |      632 |        0
133.67/133.78	c  133s |      18 |   461560 |   390452 |     6018    132 |      632 |        0
135.77/135.81	c  135s |      18 |   466499 |   394452 |     6018    133 |      632 |        0
137.77/137.83	c  137s |      18 |   472227 |   398952 |     6018    134 |      632 |        0
139.78/139.84	c  139s |      18 |   478045 |   403152 |     6018    135 |      632 |        0
141.77/141.85	c  141s |      18 |   483102 |   407452 |     6018    136 |      632 |        0
143.77/143.86	c  143s |      18 |   487831 |   411552 |     6018    137 |      632 |        0
145.77/145.88	c  145s |      18 |   493312 |   416152 |     6018    138 |      632 |        0
147.87/147.91	c  147s |      18 |   498414 |   420252 |     6018    139 |      632 |        0
149.87/149.93	c  149s |      18 |   504089 |   425052 |     6018    140 |      632 |        0
151.87/151.94	c  151s |      18 |   509773 |   429152 |     6018    141 |      632 |        0
153.87/153.95	c  153s |      18 |   515159 |   432952 |     6018    142 |      632 |        0
155.87/155.97	c  155s |      18 |   521087 |   436952 |     6018    143 |      632 |        0
157.97/158.00	c  157s |      18 |   526465 |   440952 |     6018    144 |      632 |        0
159.47/159.55	c  158s |      19 |   530656 |   444482 |     6620    145 |      632 |        0
161.47/161.55	c  161s |      19 |   538333 |   448282 |     6620    146 |      641 |        0
163.47/163.56	c  163s |      19 |   544650 |   452282 |     6620    147 |      641 |        0
165.47/165.59	c  165s |      19 |   549489 |   455882 |     6620    148 |      641 |        0
167.47/167.59	c  167s |      19 |   554228 |   458882 |     6620    148 |      641 |        0
169.57/169.62	c  169s |      19 |   559824 |   462482 |     6620    149 |      641 |        0
171.57/171.65	c  171s |      19 |   564784 |   465982 |     6620    150 |      641 |        0
173.56/173.66	c  173s |      19 |   567741 |   468082 |     6620    151 |      641 |        0
175.66/175.70	c  175s |      19 |   572464 |   471582 |     6620    151 |      641 |        0
177.66/177.71	c  177s |      19 |   577244 |   474882 |     6620    152 |      641 |        0
179.66/179.76	c  179s |      19 |   582063 |   478082 |     6620    153 |      641 |        0
181.66/181.77	c  181s |      19 |   586737 |   480882 |     6620    154 |      641 |        0
183.67/183.77	c  183s |      19 |   591489 |   484082 |     6620    154 |      641 |        0
185.66/185.78	c  185s |      19 |   595826 |   487482 |     6620    155 |      641 |        0
187.76/187.82	c  187s |      19 |   599774 |   490482 |     6620    156 |      641 |        0
189.76/189.86	c  189s |      19 |   604380 |   493582 |     6620    157 |      641 |        0
191.86/191.90	c  191s |      19 |   608594 |   496782 |     6620    158 |      641 |        0
193.86/193.95	c  193s |      19 |   612646 |   499882 |     6620    158 |      641 |        0
195.87/195.99	c  195s |      19 |   616813 |   503082 |     6620    159 |      641 |        0
197.96/198.02	c  197s |      19 |   621131 |   506382 |     6620    160 |      641 |        0
199.96/200.02	c  199s |      19 |   625273 |   509582 |     6620    161 |      641 |        0
201.96/202.08	c  201s |      19 |   629284 |   512682 |     6620    161 |      641 |        0
204.06/204.14	c  203s |      19 |   633563 |   515882 |     6620    162 |      641 |        0
206.06/206.20	c  205s |      19 |   637701 |   519182 |     6620    163 |      641 |        0
208.16/208.22	c  207s |      19 |   641447 |   522382 |     6620    164 |      641 |        0
210.16/210.29	c  209s |      19 |   644371 |   524782 |     6620    164 |      641 |        0
212.26/212.31	c  211s |      19 |   649516 |   527982 |     6620    165 |      641 |        0
214.25/214.35	c  213s |      19 |   654559 |   531482 |     6620    166 |      641 |        0
216.25/216.36	c  215s |      19 |   658679 |   533582 |     6620    167 |      641 |        0
218.25/218.37	c  217s |      19 |   663200 |   536482 |     6620    167 |      641 |        0
220.35/220.41	c  219s |      19 |   668071 |   539882 |     6620    168 |      641 |        0
222.35/222.43	c  221s |      19 |   672939 |   543382 |     6620    169 |      641 |        0
224.36/224.46	c  223s |      19 |   676877 |   546182 |     6620    170 |      641 |        0
226.35/226.46	c  225s |      19 |   681184 |   549482 |     6620    170 |      641 |        0
228.45/228.51	c  227s |      19 |   685594 |   552982 |     6620    171 |      641 |        0
230.45/230.54	c  229s |      19 |   689302 |   555682 |     6620    172 |      641 |        0
232.45/232.56	c  232s |      19 |   693672 |   558782 |     6620    173 |      641 |        0
234.55/234.63	c  234s |      19 |   698003 |   562082 |     6620    173 |      641 |        0
236.56/236.69	c  236s |      19 |   702550 |   565282 |     6620    174 |      641 |        0
238.66/238.75	c  238s |      19 |   707249 |   568782 |     6620    175 |      641 |        0
240.65/240.79	c  240s |      19 |   711633 |   571982 |     6620    176 |      641 |        0
242.75/242.83	c  242s |      19 |   715823 |   575382 |     6620    177 |      641 |        0
244.75/244.88	c  244s |      19 |   720034 |   578682 |     6620    177 |      641 |        0
246.85/246.95	c  246s |      19 |   724197 |   581982 |     6620    178 |      641 |        0
248.95/249.01	c  248s |      19 |   728157 |   585282 |     6620    179 |      641 |        0
250.95/251.06	c  250s |      19 |   731982 |   588582 |     6620    180 |      641 |        0
253.05/253.11	c  252s |      19 |   734645 |   590482 |     6620    180 |      641 |        0
255.05/255.13	c  254s |      19 |   739852 |   593982 |     6620    181 |      641 |        0
257.05/257.16	c  256s |      19 |   744597 |   597382 |     6620    182 |      641 |        0
259.15/259.20	c  258s |      19 |   748703 |   600582 |     6620    183 |      641 |        0
261.15/261.24	c  260s |      19 |   752764 |   603482 |     6620    184 |      641 |        0
263.15/263.27	c  262s |      19 |   757123 |   606982 |     6620    184 |      641 |        0
265.25/265.32	c  264s |      19 |   761444 |   609882 |     6620    185 |      641 |        0
267.26/267.37	c  266s |      19 |   766723 |   613382 |     6620    186 |      641 |        0
269.35/269.41	c  268s |      19 |   769942 |   615982 |     6620    187 |      641 |        0
271.35/271.44	c  270s |      19 |   774765 |   619582 |     6620    187 |      641 |        0
273.35/273.46	c  272s |      19 |   779262 |   623082 |     6620    188 |      641 |        0
275.55/275.63	c  275s |      19 |   783362 |   626282 |     6620    189 |      641 |        0
277.55/277.68	c  277s |      19 |   787657 |   629482 |     6620    190 |      641 |        0
279.75/279.80	c  279s |      19 |   792239 |   633082 |     6620    191 |      641 |        0
281.75/281.83	c  281s |      19 |   796464 |   636282 |     6620    191 |      641 |        0
283.76/283.88	c  283s |      19 |   800649 |   639582 |     6620    192 |      641 |        0
285.85/285.94	c  285s |      19 |   804579 |   642782 |     6620    193 |      641 |        0
287.85/287.94	c  287s |      19 |   808291 |   645882 |     6620    194 |      641 |        0
289.85/289.96	c  289s |      19 |   811375 |   648282 |     6620    194 |      641 |        0
291.85/291.99	c  291s |      19 |   815485 |   651482 |     6620    195 |      641 |        0
293.95/294.01	c  293s |      19 |   819775 |   654682 |     6620    196 |      641 |        0
295.95/296.05	c  295s |      19 |   824014 |   657782 |     6620    197 |      641 |        0
297.95/298.05	c  297s |      19 |   827827 |   660882 |     6620    197 |      641 |        0
299.95/300.06	c  299s |      19 |   831638 |   663782 |     7283    198 |      641 |        0
301.95/302.07	c  301s |      19 |   835981 |   666582 |     7283    199 |      641 |        0
302.15/302.24	c  301s |      20 |   836411 |   666827 |     7283    199 |      641 |        0
304.15/304.28	c  303s |      20 |   843396 |   671627 |     7283    200 |      641 |        0
306.25/306.33	c  305s |      20 |   852175 |   678527 |     7283    201 |      641 |        0
308.25/308.36	c  307s |      20 |   858039 |   683527 |     7283    202 |      641 |        0
310.25/310.37	c  309s |      20 |   863587 |   688427 |     7283    203 |      641 |        0
312.35/312.48	c  311s |      20 |   868173 |   692327 |     7283    204 |      641 |        0
314.44/314.50	c  313s |      20 |   873003 |   696427 |     7283    205 |      641 |        0
316.54/316.63	c  316s |      20 |   877511 |   700427 |     7283    206 |      641 |        0
318.64/318.76	c  318s |      20 |   882968 |   705127 |     7283    207 |      641 |        0
320.74/320.82	c  320s |      20 |   887467 |   709027 |     7283    208 |      641 |        0
322.74/322.84	c  322s |      20 |   892576 |   713427 |     7283    208 |      641 |        0
324.74/324.84	c  324s |      20 |   897207 |   717427 |     7283    209 |      641 |        0
326.75/326.89	c  326s |      20 |   902416 |   721927 |     7283    210 |      641 |        0
328.74/328.90	c  328s |      20 |   907837 |   726627 |     7283    211 |      641 |        0
330.84/330.92	c  330s |      20 |   913162 |   731227 |     7283    212 |      641 |        0
332.84/332.95	c  332s |      20 |   917173 |   734627 |     7283    213 |      641 |        0
334.84/334.99	c  334s |      20 |   922314 |   739127 |     7283    214 |      641 |        0
336.94/337.02	c  336s |      20 |   927081 |   743327 |     7283    215 |      641 |        0
338.94/339.03	c  338s |      20 |   932437 |   747727 |     7283    216 |      641 |        0
340.94/341.05	c  340s |      20 |   940166 |   753727 |     7283    217 |      641 |        0
342.94/343.06	c  342s |      20 |   945889 |   758227 |     7283    218 |      641 |        0
344.94/345.09	c  344s |      20 |   952208 |   763227 |     7283    219 |      641 |        0
347.04/347.12	c  346s |      20 |   958647 |   768227 |     7283    220 |      641 |        0
349.04/349.13	c  348s |      20 |   964086 |   772727 |     7283    221 |      641 |        0
351.04/351.15	c  350s |      20 |   971001 |   778527 |     7283    222 |      641 |        0
353.14/353.27	c  352s |      20 |   976020 |   783027 |     7283    223 |      641 |        0
355.13/355.28	c  354s |      20 |   982768 |   788427 |     7283    224 |      641 |        0
357.23/357.31	c  356s |      20 |   988106 |   792427 |     7283    225 |      641 |        0
359.23/359.34	c  358s |      20 |   993986 |   796727 |     7283    226 |      641 |        0
361.33/361.41	c  360s |      20 |   998987 |   801227 |     7283    227 |      641 |        0
363.33/363.46	c  362s |      20 |  1002585 |   804527 |     7283    228 |      641 |        0
365.33/365.48	c  364s |      20 |  1006247 |   808027 |     7283    228 |      641 |        0
367.44/367.52	c  366s |      20 |  1009800 |   811427 |     7283    229 |      641 |        0
369.43/369.56	c  369s |      20 |  1013058 |   814427 |     7283    230 |      641 |        0
371.43/371.60	c  371s |      20 |  1016816 |   817827 |     7283    230 |      641 |        0
373.53/373.62	c  373s |      20 |  1020361 |   821227 |     7283    231 |      641 |        0
375.63/375.77	c  375s |      20 |  1023668 |   824327 |     7283    232 |      641 |        0
377.63/377.79	c  377s |      20 |  1027561 |   827727 |     7283    233 |      641 |        0
379.73/379.81	c  379s |      20 |  1030771 |   830827 |     7283    233 |      641 |        0
381.74/381.84	c  381s |      20 |  1033640 |   833627 |     7283    234 |      641 |        0
383.74/383.88	c  383s |      20 |  1036674 |   836527 |     7283    234 |      641 |        0
385.74/385.88	c  385s |      20 |  1039814 |   839227 |     7283    235 |      641 |        0
387.84/387.91	c  387s |      20 |  1042827 |   842127 |     7283    236 |      641 |        0
389.83/389.92	c  389s |      20 |  1046397 |   845427 |     7283    236 |      641 |        0
391.83/391.96	c  391s |      20 |  1050500 |   849027 |     7283    237 |      641 |        0
393.93/394.01	c  393s |      20 |  1053635 |   851827 |     7283    238 |      641 |        0
395.94/396.05	c  395s |      20 |  1057025 |   854927 |     7283    238 |      641 |        0
397.93/398.07	c  397s |      20 |  1059972 |   857727 |     7283    239 |      641 |        0
400.03/400.11	c  399s |      20 |  1063355 |   860927 |     7283    239 |      641 |        0
402.03/402.14	c  401s |      20 |  1066462 |   863827 |     7283    240 |      641 |        0
404.33/404.40	c  403s |      20 |  1069564 |   866427 |     7283    241 |      641 |        0
406.33/406.47	c  405s |      20 |  1073377 |   869727 |     7283    241 |      641 |        0
408.33/408.48	c  407s |      20 |  1078671 |   874327 |     7283    242 |      641 |        0
410.34/410.49	c  409s |      20 |  1083446 |   878527 |     7283    243 |      641 |        0
412.43/412.52	c  411s |      20 |  1087159 |   881927 |     7283    244 |      641 |        0
414.43/414.54	c  413s |      20 |  1090731 |   885127 |     7283    245 |      641 |        0
416.43/416.55	c  415s |      20 |  1094756 |   888727 |     7283    245 |      641 |        0
418.42/418.59	c  418s |      20 |  1099006 |   892227 |     7283    246 |      641 |        0
420.52/420.64	c  420s |      20 |  1102705 |   895627 |     7283    247 |      641 |        0
422.52/422.66	c  422s |      20 |  1107120 |   899027 |     7283    248 |      641 |        0
424.53/424.68	c  424s |      20 |  1110365 |   902027 |     7283    248 |      641 |        0
426.52/426.69	c  426s |      20 |  1116180 |   906527 |     7283    249 |      641 |        0
428.52/428.69	c  428s |      20 |  1120206 |   909927 |     7283    250 |      641 |        0
430.62/430.75	c  430s |      20 |  1123939 |   912927 |     7283    250 |      641 |        0
432.62/432.79	c  432s |      20 |  1128118 |   915327 |     7283    251 |      641 |        0
434.72/434.82	c  434s |      20 |  1131768 |   918727 |     7283    252 |      641 |        0
436.73/436.84	c  436s |      20 |  1135861 |   922427 |     7283    252 |      641 |        0
438.72/438.85	c  438s |      20 |  1139753 |   926027 |     7283    253 |      641 |        0
440.72/440.85	c  440s |      20 |  1143231 |   929127 |     7283    254 |      641 |        0
442.82/442.95	c  442s |      20 |  1146636 |   932127 |     7283    255 |      641 |        0
444.82/444.97	c  444s |      20 |  1150211 |   935327 |     7283    255 |      641 |        0
446.82/446.98	c  446s |      20 |  1153172 |   938027 |     7283    256 |      641 |        0
448.92/449.02	c  448s |      20 |  1156642 |   941127 |     7283    256 |      641 |        0
450.93/451.04	c  450s |      20 |  1160501 |   944327 |     7283    257 |      641 |        0
452.92/453.09	c  452s |      20 |  1165138 |   948127 |     7283    258 |      641 |        0
455.02/455.11	c  454s |      20 |  1169579 |   951827 |     7283    259 |      641 |        0
457.02/457.13	c  456s |      20 |  1174264 |   955327 |     7283    259 |      641 |        0
459.02/459.16	c  458s |      20 |  1178433 |   959027 |     7283    260 |      641 |        0
461.02/461.16	c  460s |      20 |  1182495 |   962827 |     7283    261 |      641 |        0
463.02/463.20	c  462s |      20 |  1186640 |   966427 |     7283    262 |      641 |        0
465.12/465.20	c  464s |      20 |  1191073 |   970327 |     7283    263 |      641 |        0
467.12/467.23	c  466s |      20 |  1195359 |   974027 |     7283    263 |      641 |        0
469.12/469.23	c  468s |      20 |  1199539 |   977927 |     7283    264 |      641 |        0
471.12/471.28	c  470s |      20 |  1203852 |   982127 |     7283    265 |      641 |        0
473.22/473.32	c  472s |      20 |  1207254 |   985427 |     7283    266 |      641 |        0
475.22/475.32	c  474s |      20 |  1210320 |   988227 |     7283    266 |      641 |        0
477.21/477.36	c  476s |      20 |  1213369 |   991127 |     7283    267 |      641 |        0
479.21/479.38	c  478s |      20 |  1217145 |   994627 |     8012    268 |      641 |        0
481.31/481.43	c  480s |      20 |  1221280 |   998527 |     8012    268 |      641 |        0
482.51/482.67	c  482s |      21 |  1223231 |  1000345 |     8012    269 |      641 |        0
484.51/484.69	c  484s |      21 |  1232244 |  1006845 |     8012    270 |      641 |        0
486.51/486.69	c  486s |      21 |  1241257 |  1014445 |     8012    272 |      641 |        0
488.61/488.72	c  488s |      21 |  1248281 |  1020545 |     8012    273 |      641 |        0
490.62/490.73	c  490s |      21 |  1253627 |  1024845 |     8012    274 |      641 |        0
492.61/492.76	c  492s |      21 |  1259770 |  1029445 |     8012    275 |      641 |        0
494.61/494.79	c  494s |      21 |  1265784 |  1034345 |     8012    276 |      641 |        0
496.71/496.80	c  496s |      21 |  1271372 |  1039045 |     8012    277 |      641 |        0
498.81/498.94	c  498s |      21 |  1277540 |  1044045 |     8012    278 |      641 |        0
500.81/500.96	c  500s |      21 |  1285003 |  1050245 |     8012    279 |      641 |        0
502.81/502.96	c  502s |      21 |  1290882 |  1054845 |     8012    280 |      641 |        0
504.92/505.02	c  504s |      21 |  1296752 |  1059445 |     8012    281 |      641 |        0
506.91/507.02	c  506s |      21 |  1302139 |  1063645 |     8012    282 |      641 |        0
508.91/509.05	c  508s |      21 |  1307262 |  1067845 |     8012    283 |      641 |        0
510.91/511.07	c  510s |      21 |  1312829 |  1073045 |     8012    284 |      641 |        0
512.91/513.08	c  512s |      21 |  1317877 |  1077245 |     8012    285 |      641 |        0
515.01/515.10	c  514s |      21 |  1323296 |  1082245 |     8012    286 |      641 |        0
517.01/517.12	c  516s |      21 |  1327956 |  1086245 |     8012    287 |      641 |        0
519.02/519.13	c  518s |      21 |  1334051 |  1091045 |     8012    288 |      641 |        0
521.01/521.16	c  520s |      21 |  1339307 |  1095745 |     8012    289 |      641 |        0
523.01/523.17	c  522s |      21 |  1345332 |  1101245 |     8012    290 |      641 |        0
525.11/525.22	c  524s |      21 |  1351055 |  1105845 |     8012    291 |      641 |        0
527.11/527.23	c  526s |      21 |  1355673 |  1109445 |     8012    292 |      641 |        0
529.12/529.25	c  528s |      21 |  1360448 |  1113445 |     8012    292 |      641 |        0
531.11/531.27	c  530s |      21 |  1366004 |  1118045 |     8012    293 |      641 |        0
533.11/533.29	c  532s |      21 |  1371572 |  1122845 |     8012    294 |      641 |        0
535.21/535.31	c  534s |      21 |  1377165 |  1127445 |     8012    295 |      641 |        0
537.21/537.38	c  536s |      21 |  1381183 |  1130245 |     8012    296 |      641 |        0
539.21/539.39	c  538s |      21 |  1386201 |  1134345 |     8012    297 |      641 |        0
541.40/541.52	c  540s |      21 |  1394451 |  1140245 |     8012    298 |      641 |        0
543.41/543.54	c  542s |      21 |  1401890 |  1146745 |     8012    299 |      641 |        0
545.40/545.55	c  544s |      21 |  1410565 |  1153845 |     8012    301 |      641 |        0
547.40/547.56	c  547s |      21 |  1416061 |  1158145 |     8012    302 |      641 |        0
549.50/549.61	c  549s |      21 |  1422101 |  1163045 |     8012    303 |      641 |        0
551.50/551.65	c  551s |      21 |  1427408 |  1167945 |     8012    304 |      641 |        0
553.60/553.70	c  553s |      21 |  1431113 |  1171445 |     8012    305 |      641 |        0
555.60/555.72	c  555s |      21 |  1437369 |  1176745 |     8012    306 |      641 |        0
557.71/557.88	c  557s |      21 |  1443813 |  1182245 |     8012    307 |      641 |        0
559.81/559.91	c  559s |      21 |  1452842 |  1189945 |     8012    308 |      641 |        0
561.80/561.92	c  561s |      21 |  1461737 |  1197945 |     8012    310 |      641 |        0
563.80/563.95	c  563s |      21 |  1468515 |  1203645 |     8012    311 |      641 |        0
565.81/565.97	c  565s |      21 |  1474813 |  1208945 |     8012    312 |      641 |        0
567.91/568.01	c  567s |      21 |  1480672 |  1213645 |     8012    313 |      641 |        0
569.91/570.04	c  569s |      21 |  1486063 |  1217845 |     8012    314 |      641 |        0
571.91/572.05	c  571s |      21 |  1490421 |  1221245 |     8012    315 |      641 |        0
573.91/574.06	c  573s |      21 |  1496852 |  1227045 |     8012    316 |      641 |        0
575.90/576.07	c  575s |      21 |  1501000 |  1230745 |     8012    317 |      641 |        0
577.90/578.08	c  577s |      21 |  1507818 |  1236745 |     8012    318 |      641 |        0
579.90/580.08	c  579s |      21 |  1513771 |  1241545 |     8012    319 |      641 |        0
582.00/582.10	c  581s |      21 |  1520206 |  1247645 |     8012    321 |      641 |        0
584.01/584.13	c  583s |      21 |  1526426 |  1252845 |     8012    322 |      641 |        0
586.00/586.14	c  585s |      21 |  1530876 |  1257045 |     8012    322 |      641 |        0
588.00/588.14	c  587s |      21 |  1534881 |  1260845 |     8012    323 |      641 |        0
590.00/590.15	c  589s |      21 |  1538399 |  1264045 |     8012    324 |      641 |        0
592.00/592.18	c  591s |      21 |  1543094 |  1268145 |     8012    325 |      641 |        0
594.01/594.19	c  593s |      21 |  1547110 |  1271745 |     8012    326 |      641 |        0
596.10/596.22	c  595s |      21 |  1551536 |  1275445 |     8012    326 |      641 |        0
598.10/598.23	c  597s |      21 |  1557989 |  1280045 |     8012    327 |      641 |        0
600.10/600.24	c  599s |      21 |  1563311 |  1284545 |     8012    328 |      641 |        0
602.10/602.27	c  601s |      21 |  1568868 |  1288845 |     8012    329 |      641 |        0
604.10/604.28	c  603s |      21 |  1574133 |  1293145 |     8012    330 |      641 |        0
606.19/606.30	c  605s |      21 |  1579407 |  1297545 |     8012    331 |      641 |        0
608.20/608.30	c  607s |      21 |  1586973 |  1303945 |     8012    332 |      641 |        0
610.19/610.38	c  609s |      21 |  1593060 |  1308745 |     8012    333 |      641 |        0
612.29/612.41	c  611s |      21 |  1598948 |  1313745 |     8012    334 |      641 |        0
614.29/614.43	c  613s |      21 |  1605386 |  1319045 |     8012    335 |      641 |        0
616.29/616.48	c  615s |      21 |  1612195 |  1324345 |     8012    337 |      641 |        0
618.29/618.49	c  617s |      21 |  1618282 |  1329145 |     8012    338 |      641 |        0
620.40/620.53	c  619s |      21 |  1623193 |  1333245 |     8012    338 |      641 |        0
622.39/622.55	c  621s |      21 |  1627873 |  1337245 |     8012    339 |      641 |        0
624.40/624.58	c  624s |      21 |  1632179 |  1340845 |     8012    340 |      641 |        0
626.40/626.59	c  626s |      21 |  1638313 |  1345345 |     8012    341 |      641 |        0
628.50/628.61	c  628s |      21 |  1644303 |  1350445 |     8012    342 |      641 |        0
630.50/630.64	c  630s |      21 |  1650120 |  1355445 |     8012    343 |      641 |        0
632.50/632.65	c  632s |      21 |  1654693 |  1359345 |     8012    344 |      641 |        0
634.49/634.66	c  634s |      21 |  1660298 |  1364345 |     8012    345 |      641 |        0
636.59/636.70	c  636s |      21 |  1665770 |  1369045 |     8012    346 |      641 |        0
638.59/638.73	c  638s |      21 |  1670543 |  1373445 |     8012    347 |      641 |        0
640.59/640.75	c  640s |      21 |  1675480 |  1377945 |     8012    348 |      641 |        0
642.59/642.78	c  642s |      21 |  1679943 |  1381745 |     8012    349 |      641 |        0
644.69/644.82	c  644s |      21 |  1684687 |  1385945 |     8012    349 |      641 |        0
646.70/646.85	c  646s |      21 |  1689693 |  1390645 |     8012    350 |      641 |        0
648.69/648.87	c  648s |      21 |  1694488 |  1394845 |     8012    351 |      641 |        0
650.79/650.94	c  650s |      21 |  1701069 |  1401245 |     8012    353 |      641 |        0
652.89/653.01	c  652s |      21 |  1706371 |  1405645 |     8012    354 |      641 |        0
654.89/655.02	c  654s |      21 |  1711067 |  1409945 |     8012    355 |      641 |        0
656.89/657.04	c  656s |      21 |  1715473 |  1413945 |     8012    355 |      641 |        0
658.89/659.04	c  658s |      21 |  1720697 |  1418745 |     8012    356 |      641 |        0
660.89/661.05	c  660s |      21 |  1726274 |  1423545 |     8012    357 |      641 |        0
662.89/663.08	c  662s |      21 |  1731731 |  1428045 |     8012    358 |      641 |        0
664.98/665.12	c  664s |      21 |  1736695 |  1432345 |     8012    359 |      641 |        0
666.98/667.16	c  666s |      21 |  1740916 |  1436145 |     8012    360 |      641 |        0
668.99/669.16	c  668s |      21 |  1744953 |  1439745 |     8012    361 |      641 |        0
671.00/671.17	c  670s |      21 |  1750402 |  1444345 |     8012    362 |      641 |        0
672.99/673.20	c  672s |      21 |  1758735 |  1451145 |     8012    363 |      641 |        0
675.09/675.22	c  674s |      21 |  1766226 |  1457545 |     8012    365 |      641 |        0
677.09/677.25	c  676s |      21 |  1773508 |  1463045 |     8012    366 |      641 |        0
679.09/679.27	c  678s |      21 |  1781046 |  1468745 |     8012    367 |      641 |        0
681.29/681.47	c  680s |      21 |  1786884 |  1473045 |     8012    368 |      641 |        0
683.29/683.49	c  682s |      21 |  1792969 |  1477645 |     8012    369 |      641 |        0
685.39/685.51	c  684s |      21 |  1797911 |  1482445 |     8012    370 |      641 |        0
687.39/687.51	c  686s |      21 |  1802758 |  1486345 |     8012    371 |      641 |        0
689.39/689.53	c  688s |      21 |  1807953 |  1491045 |     8814    371 |      641 |        0
691.39/691.54	c  690s |      21 |  1812787 |  1495245 |     8814    372 |      641 |        0
693.39/693.57	c  693s |      21 |  1817085 |  1499245 |     8814    373 |      641 |        0
693.99/694.14	c  693s |      22 |  1818665 |  1500622 |     8814    373 |      641 |        0
695.98/696.16	c  695s |      22 |  1826361 |  1506422 |     8814    375 |      641 |        0
697.98/698.16	c  697s |      22 |  1833270 |  1511822 |     8814    376 |      641 |        0
699.98/700.18	c  699s |      22 |  1840303 |  1515922 |     8814    377 |      641 |        0
701.98/702.19	c  701s |      22 |  1847718 |  1520322 |     8814    377 |      641 |        0
704.08/704.21	c  703s |      22 |  1855110 |  1524922 |     8814    378 |      641 |        0
706.09/706.23	c  705s |      22 |  1861405 |  1529522 |     8814    379 |      641 |        0
708.08/708.27	c  707s |      22 |  1867917 |  1533622 |     8814    380 |      641 |        0
710.49/710.67	c  710s |      22 |  1874097 |  1537822 |     8814    381 |      641 |        0
712.48/712.69	c  712s |      22 |  1883388 |  1542122 |     8814    382 |      641 |        0
714.58/714.74	c  714s |      22 |  1892136 |  1547022 |     8814    383 |      641 |        0
716.58/716.75	c  716s |      22 |  1900444 |  1551322 |     8814    384 |      641 |        0
719.18/719.32	c  718s |      22 |  1907883 |  1555122 |     8814    385 |      641 |        0
721.18/721.39	c  720s |      22 |  1913431 |  1558422 |     8814    385 |      641 |        0
723.28/723.40	c  722s |      22 |  1918710 |  1561422 |     8814    386 |      641 |        0
725.28/725.42	c  724s |      22 |  1926400 |  1567222 |     8814    387 |      641 |        0
727.27/727.44	c  726s |      22 |  1934434 |  1572222 |     8814    388 |      641 |        0
729.28/729.45	c  728s |      22 |  1940304 |  1576022 |     8814    389 |      641 |        0
731.27/731.47	c  730s |      22 |  1948008 |  1581022 |     8814    390 |      641 |        0
733.37/733.51	c  732s |      22 |  1952604 |  1585022 |     8814    391 |      641 |        0
735.37/735.51	c  734s |      22 |  1957912 |  1589122 |     8814    392 |      641 |        0
737.48/737.69	c  737s |      22 |  1963918 |  1593622 |     8814    393 |      641 |        0
739.58/739.70	c  739s |      22 |  1971545 |  1599122 |     8814    394 |      641 |        0
741.58/741.74	c  741s |      22 |  1979000 |  1604322 |     8814    395 |      641 |        0
743.58/743.77	c  743s |      22 |  1982475 |  1606822 |     8814    396 |      641 |        0
745.57/745.77	c  745s |      22 |  1990340 |  1613822 |     8814    397 |      641 |        0
747.57/747.78	c  747s |      22 |  1995259 |  1618522 |     8814    398 |      641 |        0
749.67/749.81	c  749s |      22 |  1999050 |  1622222 |     8814    399 |      641 |        0
751.66/751.82	c  751s |      22 |  2003156 |  1626122 |     8814    399 |      641 |        0
753.66/753.83	c  753s |      22 |  2006468 |  1629322 |     8814    400 |      641 |        0
755.86/756.01	c  755s |      22 |  2010070 |  1632822 |     8814    401 |      641 |        0
757.87/758.05	c  757s |      22 |  2014752 |  1637222 |     8814    402 |      641 |        0
759.86/760.07	c  759s |      22 |  2019017 |  1641222 |     8814    402 |      641 |        0
761.96/762.12	c  761s |      22 |  2021163 |  1643322 |     8814    403 |      641 |        0
763.96/764.13	c  763s |      22 |  2025856 |  1647822 |     8814    404 |      641 |        0
765.96/766.18	c  765s |      22 |  2030128 |  1651822 |     8814    404 |      641 |        0
767.96/768.19	c  767s |      22 |  2033847 |  1655322 |     8814    405 |      641 |        0
770.06/770.21	c  769s |      22 |  2036266 |  1657622 |     8814    406 |      641 |        0
772.06/772.28	c  771s |      22 |  2040852 |  1662022 |     8814    406 |      641 |        0
774.15/774.30	c  773s |      22 |  2043091 |  1664122 |     8814    407 |      641 |        0
776.15/776.37	c  775s |      22 |  2046811 |  1667622 |     8814    408 |      641 |        0
778.15/778.37	c  777s |      22 |  2050895 |  1671622 |     8814    408 |      641 |        0
780.25/780.40	c  779s |      22 |  2054279 |  1674722 |     8814    409 |      641 |        0
782.25/782.43	c  781s |      22 |  2057800 |  1678122 |     8814    410 |      641 |        0
784.25/784.46	c  783s |      22 |  2061984 |  1682022 |     8814    410 |      641 |        0
786.25/786.47	c  785s |      22 |  2065876 |  1685822 |     8814    411 |      641 |        0
788.35/788.50	c  787s |      22 |  2069543 |  1689222 |     8814    412 |      641 |        0
790.35/790.55	c  789s |      22 |  2074153 |  1693622 |     8814    413 |      641 |        0
792.35/792.56	c  792s |      22 |  2077887 |  1697222 |     8814    413 |      641 |        0
794.35/794.58	c  794s |      22 |  2083085 |  1702122 |     8814    414 |      641 |        0
796.45/796.63	c  796s |      22 |  2087451 |  1706322 |     8814    415 |      641 |        0
798.45/798.67	c  798s |      22 |  2091244 |  1710022 |     8814    416 |      641 |        0
800.44/800.70	c  800s |      22 |  2094716 |  1713422 |     8814    417 |      641 |        0
802.54/802.71	c  802s |      22 |  2099176 |  1717822 |     8814    417 |      641 |        0
804.55/804.71	c  804s |      22 |  2102546 |  1720922 |     8814    418 |      641 |        0
806.55/806.75	c  806s |      22 |  2107264 |  1725222 |     8814    419 |      641 |        0
808.54/808.78	c  808s |      22 |  2112288 |  1729922 |     8814    420 |      641 |        0
810.55/810.80	c  810s |      22 |  2116238 |  1733622 |     8814    421 |      641 |        0
812.64/812.88	c  812s |      22 |  2121157 |  1738222 |     8814    422 |      641 |        0
814.64/814.89	c  814s |      22 |  2124466 |  1741122 |     8814    422 |      641 |        0
816.74/816.91	c  816s |      22 |  2128586 |  1744822 |     8814    423 |      641 |        0
818.74/818.99	c  818s |      22 |  2131905 |  1747822 |     8814    424 |      641 |        0
820.83/821.03	c  820s |      22 |  2137310 |  1752422 |     8814    424 |      641 |        0
822.83/823.08	c  822s |      22 |  2142456 |  1757322 |     8814    425 |      641 |        0
824.94/825.10	c  824s |      22 |  2146864 |  1761622 |     8814    426 |      641 |        0
826.93/827.13	c  826s |      22 |  2150514 |  1765122 |     8814    427 |      641 |        0
828.93/829.14	c  828s |      22 |  2153497 |  1768022 |     8814    428 |      641 |        0
830.93/831.19	c  830s |      22 |  2157063 |  1771522 |     8814    428 |      641 |        0
833.03/833.20	c  832s |      22 |  2160807 |  1775122 |     8814    429 |      641 |        0
835.03/835.23	c  834s |      22 |  2165073 |  1779222 |     8814    430 |      641 |        0
837.03/837.25	c  836s |      22 |  2168277 |  1782322 |     8814    431 |      641 |        0
839.32/839.50	c  838s |      22 |  2172179 |  1786122 |     8814    431 |      641 |        0
841.33/841.51	c  840s |      22 |  2176861 |  1790622 |     8814    432 |      641 |        0
843.33/843.54	c  842s |      22 |  2180314 |  1793922 |     8814    433 |      641 |        0
845.33/845.54	c  844s |      22 |  2183840 |  1797322 |     8814    434 |      641 |        0
847.33/847.55	c  846s |      22 |  2188145 |  1801522 |     8814    435 |      641 |        0
849.33/849.59	c  849s |      22 |  2191674 |  1804922 |     8814    435 |      641 |        0
851.33/851.59	c  851s |      22 |  2193971 |  1807122 |     8814    436 |      641 |        0
853.43/853.63	c  853s |      22 |  2198496 |  1811522 |     8814    437 |      641 |        0
855.42/855.63	c  855s |      22 |  2202556 |  1815522 |     8814    438 |      641 |        0
857.42/857.67	c  857s |      22 |  2206521 |  1819422 |     8814    438 |      641 |        0
859.42/859.69	c  859s |      22 |  2210753 |  1823622 |     8814    439 |      641 |        0
861.51/861.72	c  861s |      22 |  2215245 |  1827222 |     8814    440 |      641 |        0
863.51/863.74	c  863s |      22 |  2219680 |  1831322 |     8814    441 |      641 |        0
865.52/865.76	c  865s |      22 |  2225447 |  1836522 |     8814    442 |      641 |        0
867.51/867.77	c  867s |      22 |  2230712 |  1841322 |     8814    443 |      641 |        0
869.71/869.98	c  869s |      22 |  2235908 |  1846122 |     8814    444 |      641 |        0
871.81/872.10	c  871s |      22 |  2239281 |  1849322 |     8814    445 |      641 |        0
873.91/874.12	c  873s |      22 |  2244424 |  1854022 |     8814    446 |      641 |        0
875.91/876.14	c  875s |      22 |  2247791 |  1857022 |     8814    446 |      641 |        0
877.91/878.17	c  877s |      22 |  2252696 |  1861422 |     8814    447 |      641 |        0
880.20/880.46	c  879s |      22 |  2257077 |  1865522 |     8814    448 |      641 |        0
882.20/882.47	c  881s |      22 |  2261941 |  1870222 |     8814    449 |      641 |        0
884.21/884.50	c  883s |      22 |  2267232 |  1874822 |     8814    450 |      641 |        0
886.30/886.52	c  885s |      22 |  2271692 |  1879022 |     8814    451 |      641 |        0
888.50/888.80	c  888s |      22 |  2276227 |  1883222 |     8814    452 |      641 |        0
890.61/890.87	c  890s |      22 |  2281491 |  1887822 |     8814    453 |      641 |        0
892.71/892.90	c  892s |      22 |  2285299 |  1891222 |     8814    453 |      641 |        0
894.71/894.92	c  894s |      22 |  2290742 |  1896122 |     8814    454 |      641 |        0
896.70/896.92	c  896s |      22 |  2293784 |  1898722 |     8814    455 |      641 |        0
899.00/899.28	c  898s |      22 |  2298552 |  1903022 |     8814    456 |      641 |        0
901.10/901.32	c  900s |      22 |  2304314 |  1908022 |     8814    457 |      641 |        0
903.10/903.33	c  902s |      22 |  2309291 |  1912622 |     8814    457 |      641 |        0
905.10/905.33	c  904s |      22 |  2311420 |  1914322 |     8814    458 |      641 |        0
907.10/907.36	c  906s |      22 |  2317160 |  1919622 |     8814    459 |      641 |        0
909.29/909.53	c  908s |      22 |  2321393 |  1923422 |     8814    460 |      641 |        0
911.29/911.55	c  910s |      22 |  2326677 |  1928122 |     8814    460 |      641 |        0
913.29/913.55	c  912s |      22 |  2329568 |  1930622 |     8814    461 |      641 |        0
915.29/915.58	c  915s |      22 |  2334982 |  1935422 |     8814    462 |      641 |        0
917.39/917.60	c  917s |      22 |  2338995 |  1939122 |     8814    463 |      641 |        0
919.40/919.66	c  919s |      22 |  2343808 |  1943522 |     8814    464 |      641 |        0
921.48/921.74	c  921s |      22 |  2349248 |  1948522 |     8814    465 |      641 |        0
923.48/923.75	c  923s |      22 |  2353965 |  1953022 |     8814    465 |      641 |        0
925.48/925.77	c  925s |      22 |  2358156 |  1957022 |     8814    466 |      641 |        0
927.59/927.80	c  927s |      22 |  2361938 |  1960622 |     8814    467 |      641 |        0
929.59/929.89	c  929s |      22 |  2364973 |  1963622 |     8814    468 |      641 |        0
931.59/931.89	c  931s |      22 |  2369779 |  1968022 |     8814    468 |      641 |        0
933.69/933.91	c  933s |      22 |  2374865 |  1972622 |     8814    469 |      641 |        0
935.68/935.93	c  935s |      22 |  2379790 |  1977022 |     8814    470 |      641 |        0
937.68/937.95	c  937s |      22 |  2382833 |  1979822 |     8814    471 |      641 |        0
939.98/940.26	c  939s |      22 |  2387454 |  1984022 |     8814    472 |      641 |        0
941.98/942.29	c  941s |      22 |  2393313 |  1989422 |     8814    473 |      641 |        0
944.08/944.35	c  943s |      22 |  2396126 |  1992122 |     8814    473 |      641 |        0
946.08/946.37	c  945s |      22 |  2398856 |  1994822 |     8814    474 |      641 |        0
948.08/948.38	c  947s |      22 |  2404475 |  1999922 |     8814    475 |      641 |        0
950.18/950.50	c  949s |      22 |  2411414 |  2005822 |     8814    476 |      641 |        0
952.27/952.51	c  951s |      22 |  2414785 |  2009022 |     8814    477 |      641 |        0
954.37/954.60	c  954s |      22 |  2419159 |  2013122 |     8814    478 |      641 |        0
956.37/956.62	c  956s |      22 |  2423300 |  2017022 |     8814    478 |      641 |        0
958.37/958.67	c  958s |      22 |  2428680 |  2022122 |     8814    479 |      641 |        0
960.37/960.68	c  960s |      22 |  2432616 |  2025922 |     8814    480 |      641 |        0
962.47/962.71	c  962s |      22 |  2436872 |  2030022 |     8814    481 |      641 |        0
964.47/964.72	c  964s |      22 |  2440638 |  2033622 |     8814    482 |      641 |        0
966.47/966.73	c  966s |      22 |  2445283 |  2038122 |     8814    483 |      641 |        0
968.46/968.74	c  968s |      22 |  2448148 |  2040822 |     8814    483 |      641 |        0
970.46/970.76	c  970s |      22 |  2452057 |  2044522 |     8814    484 |      641 |        0
972.57/972.82	c  972s |      22 |  2455341 |  2047522 |     8814    485 |      641 |        0
974.57/974.84	c  974s |      22 |  2459426 |  2051422 |     8814    485 |      641 |        0
976.58/976.85	c  976s |      22 |  2463948 |  2055822 |     8814    486 |      641 |        0
978.78/979.10	c  978s |      22 |  2467674 |  2059422 |     8814    487 |      641 |        0
980.86/981.11	c  980s |      22 |  2472322 |  2063622 |     8814    488 |      641 |        0
982.86/983.18	c  982s |      22 |  2477062 |  2068022 |     8814    489 |      641 |        0
984.96/985.20	c  984s |      22 |  2481860 |  2072622 |     8814    490 |      641 |        0
986.96/987.21	c  986s |      22 |  2486400 |  2076722 |     8814    491 |      641 |        0
988.96/989.24	c  988s |      22 |  2492216 |  2082122 |     8814    492 |      641 |        0
990.96/991.24	c  990s |      22 |  2497617 |  2087022 |     8814    493 |      641 |        0
992.95/993.28	c  992s |      22 |  2502565 |  2091622 |     8814    494 |      641 |        0
995.15/995.41	c  994s |      22 |  2505936 |  2094822 |     8814    495 |      641 |        0
997.15/997.46	c  996s |      22 |  2510542 |  2099222 |     8814    495 |      641 |        0
999.15/999.48	c  998s |      22 |  2514816 |  2103322 |     8814    496 |      641 |        0
1001.25/1001.51	c 1000s |      22 |  2519165 |  2107522 |     8814    497 |      641 |        0
1003.25/1003.57	c 1003s |      22 |  2521135 |  2109222 |     8814    498 |      641 |        0
1005.35/1005.62	c 1005s |      22 |  2525035 |  2112722 |     8814    498 |      641 |        0
1007.35/1007.66	c 1007s |      22 |  2528728 |  2116122 |     8814    499 |      641 |        0
1009.34/1009.67	c 1009s |      22 |  2533178 |  2120322 |     8814    500 |      641 |        0
1011.34/1011.69	c 1011s |      22 |  2536499 |  2123522 |     8814    500 |      641 |        0
1013.34/1013.69	c 1013s |      22 |  2540584 |  2127422 |     8814    501 |      641 |        0
1015.34/1015.69	c 1015s |      22 |  2544491 |  2131122 |     8814    502 |      641 |        0
1017.44/1017.74	c 1017s |      22 |  2548561 |  2135022 |     8814    503 |      641 |        0
1019.45/1019.76	c 1019s |      22 |  2553493 |  2139722 |     8814    504 |      641 |        0
1021.44/1021.77	c 1021s |      22 |  2556661 |  2142722 |     8814    504 |      641 |        0
1023.44/1023.78	c 1023s |      22 |  2561680 |  2147422 |     8814    505 |      641 |        0
1025.54/1025.84	c 1025s |      22 |  2566060 |  2151522 |     8814    506 |      641 |        0
1027.54/1027.86	c 1027s |      22 |  2570169 |  2155522 |     8814    507 |      641 |        0
1029.73/1030.04	c 1029s |      22 |  2573320 |  2158522 |     8814    508 |      641 |        0
1031.73/1032.06	c 1031s |      22 |  2578970 |  2163822 |     8814    509 |      641 |        0
1033.84/1034.10	c 1033s |      22 |  2582972 |  2167522 |     8814    510 |      641 |        0
1035.83/1036.11	c 1035s |      22 |  2588630 |  2172722 |     8814    511 |      641 |        0
1038.73/1039.05	c 1038s |      22 |  2593097 |  2176922 |     8814    512 |      641 |        0
1040.83/1041.12	c 1040s |      22 |  2597720 |  2181322 |     8814    513 |      641 |        0
1042.83/1043.12	c 1042s |      22 |  2603335 |  2186322 |     8814    514 |      641 |        0
1044.93/1045.27	c 1044s |      22 |  2608581 |  2191022 |     8814    515 |      641 |        0
1046.93/1047.29	c 1046s |      22 |  2614666 |  2196622 |     8814    516 |      641 |        0
1049.02/1049.37	c 1048s |      22 |  2618674 |  2200322 |     8814    516 |      641 |        0
1051.02/1051.37	c 1050s |      22 |  2624213 |  2205222 |     8814    517 |      641 |        0
1053.02/1053.38	c 1052s |      22 |  2629097 |  2209522 |     8814    518 |      641 |        0
1055.12/1055.46	c 1054s |      22 |  2635027 |  2214922 |     8814    520 |      641 |        0
1057.22/1057.50	c 1056s |      22 |  2639261 |  2219022 |     8814    520 |      641 |        0
1059.22/1059.52	c 1058s |      22 |  2641603 |  2221322 |     8814    521 |      641 |        0
1061.22/1061.54	c 1060s |      22 |  2647145 |  2226322 |     8814    522 |      641 |        0
1063.52/1063.83	c 1063s |      22 |  2650786 |  2229822 |     8814    523 |      641 |        0
1065.51/1065.85	c 1065s |      22 |  2655863 |  2234622 |     8814    524 |      641 |        0
1067.51/1067.89	c 1067s |      22 |  2660779 |  2239322 |     9696    524 |      641 |        0
1069.61/1069.97	c 1069s |      22 |  2663934 |  2242322 |     9696    525 |      641 |        0
1071.71/1072.00	c 1071s |      22 |  2667527 |  2245822 |     9696    526 |      641 |        0
1073.70/1074.03	c 1073s |      22 |  2671956 |  2250022 |     9696    526 |      641 |        0
1074.30/1074.64	c 1074s |      23 |  2673002 |  2251038 |     9696    527 |      641 |        0
1076.30/1076.66	c 1076s |      23 |  2681642 |  2259238 |     9696    528 |      641 |        0
1078.30/1078.69	c 1078s |      23 |  2687272 |  2264738 |     9696    529 |      641 |        0
1080.40/1080.73	c 1080s |      23 |  2692889 |  2270238 |     9696    530 |      641 |        0
1082.41/1082.73	c 1082s |      23 |  2696272 |  2273538 |     9696    531 |      641 |        0
1084.50/1084.88	c 1084s |      23 |  2700474 |  2277638 |     9696    532 |      641 |        0
1086.61/1086.92	c 1086s |      23 |  2706437 |  2283538 |     9696    533 |      641 |        0
1088.60/1088.96	c 1088s |      23 |  2711396 |  2288438 |     9696    534 |      641 |        0
1090.60/1090.99	c 1090s |      23 |  2714527 |  2291538 |     9696    534 |      641 |        0
1092.60/1092.99	c 1092s |      23 |  2718196 |  2295138 |     9696    535 |      641 |        0
1094.70/1095.01	c 1094s |      23 |  2722343 |  2299138 |     9696    536 |      641 |        0
1096.90/1097.21	c 1096s |      23 |  2727300 |  2303938 |     9696    537 |      641 |        0
1098.90/1099.21	c 1098s |      23 |  2731457 |  2308038 |     9696    538 |      641 |        0
1100.90/1101.25	c 1100s |      23 |  2734211 |  2310738 |     9696    538 |      641 |        0
1102.89/1103.28	c 1102s |      23 |  2738068 |  2314538 |     9696    539 |      641 |        0
1104.99/1105.32	c 1104s |      23 |  2742743 |  2319138 |     9696    540 |      641 |        0
1106.99/1107.34	c 1106s |      23 |  2746809 |  2323138 |     9696    540 |      641 |        0
1109.19/1109.56	c 1109s |      23 |  2751553 |  2327838 |     9696    541 |      641 |        0
1111.28/1111.60	c 1111s |      23 |  2756333 |  2332538 |     9696    542 |      641 |        0
1113.28/1113.70	c 1113s |      23 |  2759588 |  2335738 |     9696    543 |      641 |        0
1115.38/1115.71	c 1115s |      23 |  2765433 |  2341038 |     9696    544 |      641 |        0
1117.39/1117.74	c 1117s |      23 |  2770352 |  2345738 |     9696    545 |      641 |        0
1119.38/1119.75	c 1119s |      23 |  2775067 |  2350038 |     9696    546 |      641 |        0
1121.37/1121.75	c 1121s |      23 |  2778666 |  2353538 |     9696    546 |      641 |        0
1123.37/1123.79	c 1123s |      23 |  2784849 |  2359338 |     9696    547 |      641 |        0
1125.48/1125.81	c 1125s |      23 |  2787801 |  2362238 |     9696    548 |      641 |        0
1127.68/1128.02	c 1127s |      23 |  2791280 |  2365638 |     9696    549 |      641 |        0
1129.68/1130.05	c 1129s |      23 |  2796803 |  2370638 |     9696    549 |      641 |        0
1131.68/1132.07	c 1131s |      23 |  2800366 |  2374038 |     9696    550 |      641 |        0
1133.78/1134.11	c 1133s |      23 |  2805139 |  2378738 |     9696    551 |      641 |        0
1135.77/1136.14	c 1135s |      23 |  2810389 |  2383838 |     9696    552 |      641 |        0
1137.77/1138.17	c 1137s |      23 |  2816228 |  2389538 |     9696    553 |      641 |        0
1140.47/1140.87	c 1140s |      23 |  2818277 |  2391538 |     9696    553 |      641 |        0
1142.46/1142.90	c 1142s |      23 |  2824043 |  2396938 |     9696    554 |      641 |        0
1144.56/1144.93	c 1144s |      23 |  2828284 |  2401038 |     9696    555 |      641 |        0
1146.56/1146.94	c 1146s |      23 |  2833326 |  2405838 |     9696    556 |      641 |        0
1148.56/1148.96	c 1148s |      23 |  2838549 |  2410538 |     9696    557 |      641 |        0
1150.66/1151.07	c 1150s |      23 |  2844530 |  2416338 |     9696    558 |      641 |        0
1152.65/1153.09	c 1152s |      23 |  2850592 |  2422238 |     9696    559 |      641 |        0
1154.76/1155.12	c 1154s |      23 |  2853852 |  2425438 |     9696    560 |      641 |        0
1156.75/1157.15	c 1156s |      23 |  2857362 |  2428838 |     9696    561 |      641 |        0
1158.75/1159.15	c 1158s |      23 |  2861845 |  2433138 |     9696    561 |      641 |        0
1160.75/1161.17	c 1160s |      23 |  2867161 |  2438338 |     9696    562 |      641 |        0
1162.85/1163.20	c 1162s |      23 |  2872775 |  2443838 |     9696    563 |      641 |        0
1164.85/1165.21	c 1164s |      23 |  2877415 |  2448438 |     9696    564 |      641 |        0
1166.85/1167.23	c 1166s |      23 |  2881258 |  2452238 |     9696    565 |      641 |        0
1168.85/1169.27	c 1168s |      23 |  2884206 |  2455138 |     9696    566 |      641 |        0
1170.85/1171.29	c 1170s |      23 |  2888747 |  2459638 |     9696    566 |      641 |        0
1172.95/1173.32	c 1172s |      23 |  2893723 |  2464338 |     9696    567 |      641 |        0
1174.95/1175.36	c 1174s |      23 |  2898369 |  2468438 |     9696    568 |      641 |        0
1176.95/1177.36	c 1176s |      23 |  2900809 |  2470838 |     9696    569 |      641 |        0
1178.95/1179.38	c 1178s |      23 |  2905140 |  2475038 |     9696    569 |      641 |        0
1180.94/1181.39	c 1180s |      23 |  2906584 |  2476438 |     9696    570 |      641 |        0
1184.25/1184.61	c 1184s |      23 |  2911487 |  2481238 |     9696    571 |      641 |        0
1186.25/1186.67	c 1186s |      23 |  2916506 |  2486138 |     9696    572 |      641 |        0
1188.35/1188.72	c 1188s |      23 |  2919792 |  2489338 |     9696    572 |      641 |        0
1190.64/1191.06	c 1190s |      23 |  2923966 |  2493438 |     9696    573 |      641 |        0
1192.64/1193.09	c 1192s |      23 |  2930762 |  2499938 |     9696    574 |      641 |        0
1194.64/1195.09	c 1194s |      23 |  2934461 |  2503538 |     9696    575 |      641 |        0
1196.84/1197.26	c 1196s |      23 |  2938847 |  2507838 |     9696    576 |      641 |        0
1198.84/1199.29	c 1198s |      23 |  2942734 |  2511438 |     9696    576 |      641 |        0
1202.13/1202.57	c 1202s |      23 |  2948141 |  2516038 |     9696    577 |      641 |        0
1204.14/1204.57	c 1204s |      23 |  2956257 |  2521638 |     9696    578 |      641 |        0
1206.23/1206.68	c 1206s |      23 |  2966314 |  2527938 |     9696    580 |      641 |        0
1208.23/1208.69	c 1208s |      23 |  2973503 |  2532638 |     9696    580 |      641 |        0
1210.34/1210.73	c 1210s |      23 |  2979804 |  2536938 |     9696    581 |      641 |        0
1212.34/1212.73	c 1212s |      23 |  2985574 |  2542038 |     9696    582 |      641 |        0
1214.33/1214.77	c 1214s |      23 |  2992399 |  2548638 |     9696    583 |      641 |        0
1216.34/1216.77	c 1216s |      23 |  2997356 |  2553138 |     9696    584 |      641 |        0
1218.44/1218.81	c 1218s |      23 |  3001267 |  2556438 |     9696    585 |      641 |        0
1220.43/1220.84	c 1220s |      23 |  3005999 |  2559738 |     9696    585 |      641 |        0
1222.43/1222.85	c 1222s |      23 |  3016254 |  2566538 |     9696    587 |      641 |        0
1224.43/1224.85	c 1224s |      23 |  3023622 |  2571638 |     9696    588 |      641 |        0
1226.43/1226.88	c 1226s |      23 |  3031011 |  2576838 |     9696    589 |      641 |        0
1228.43/1228.89	c 1228s |      23 |  3039081 |  2582738 |     9696    590 |      641 |        0
1232.22/1232.67	c 1232s |      23 |  3047574 |  2589138 |     9696    591 |      641 |        0
1234.22/1234.68	c 1234s |      23 |  3054608 |  2594538 |     9696    592 |      641 |        0
1236.33/1236.71	c 1236s |      23 |  3060842 |  2599038 |     9696    593 |      641 |        0
1238.33/1238.72	c 1238s |      23 |  3069621 |  2605438 |     9696    594 |      641 |        0
1240.32/1240.72	c 1240s |      23 |  3077510 |  2611038 |     9696    595 |      641 |        0
1242.32/1242.77	c 1242s |      23 |  3084118 |  2615938 |     9696    596 |      641 |        0
1244.32/1244.77	c 1244s |      23 |  3091943 |  2621638 |     9696    597 |      641 |        0
1246.32/1246.77	c 1246s |      23 |  3098500 |  2626438 |     9696    598 |      641 |        0
1248.42/1248.80	c 1248s |      23 |  3106605 |  2632538 |     9696    599 |      641 |        0
1250.42/1250.81	c 1250s |      23 |  3114675 |  2637838 |     9696    600 |      641 |        0
1252.42/1252.85	c 1252s |      23 |  3121291 |  2643538 |     9696    601 |      641 |        0
1254.42/1254.87	c 1254s |      23 |  3126322 |  2648038 |     9696    602 |      641 |        0
1256.82/1257.26	c 1256s |      23 |  3130742 |  2651938 |     9696    603 |      641 |        0
1258.92/1259.31	c 1258s |      23 |  3134869 |  2655638 |     9696    603 |      641 |        0
1260.91/1261.33	c 1260s |      23 |  3139338 |  2659038 |     9696    604 |      641 |        0
1262.91/1263.37	c 1262s |      23 |  3144585 |  2663338 |     9696    604 |      641 |        0
1265.01/1265.42	c 1264s |      23 |  3149341 |  2667638 |     9696    605 |      641 |        0
1268.50/1268.92	c 1268s |      23 |  3152355 |  2670338 |     9696    606 |      641 |        0
1270.50/1270.94	c 1270s |      23 |  3157900 |  2674738 |     9696    606 |      641 |        0
1272.50/1272.97	c 1272s |      23 |  3163007 |  2678838 |     9696    607 |      641 |        0
1274.61/1275.00	c 1274s |      23 |  3166684 |  2682038 |     9696    608 |      641 |        0
1276.60/1277.05	c 1276s |      23 |  3171284 |  2686238 |     9696    608 |      641 |        0
1278.60/1279.06	c 1278s |      23 |  3175291 |  2690038 |     9696    609 |      641 |        0
1280.69/1281.12	c 1280s |      23 |  3178219 |  2692638 |     9696    609 |      641 |        0
1283.90/1284.30	c 1283s |      23 |  3181160 |  2695438 |     9696    610 |      641 |        0
1285.90/1286.35	c 1285s |      23 |  3184624 |  2698538 |     9696    610 |      641 |        0
1287.90/1288.38	c 1287s |      23 |  3188554 |  2702138 |     9696    611 |      641 |        0
1289.90/1290.39	c 1289s |      23 |  3192199 |  2705338 |     9696    611 |      641 |        0
1291.99/1292.44	c 1291s |      23 |  3195552 |  2708238 |     9696    612 |      641 |        0
1293.99/1294.45	c 1293s |      23 |  3200134 |  2712238 |     9696    613 |      641 |        0
1295.99/1296.48	c 1295s |      23 |  3204962 |  2716338 |     9696    613 |      641 |        0
1297.99/1298.49	c 1297s |      23 |  3207728 |  2718738 |     9696    614 |      641 |        0
1299.99/1300.49	c 1299s |      23 |  3212206 |  2722538 |     9696    614 |      641 |        0
1302.09/1302.55	c 1301s |      23 |  3217160 |  2726538 |     9696    615 |      641 |        0
1304.08/1304.59	c 1304s |      23 |  3221028 |  2729738 |     9696    616 |      641 |        0
1306.18/1306.60	c 1306s |      23 |  3224356 |  2732738 |     9696    616 |      641 |        0
1308.18/1308.64	c 1308s |      23 |  3229096 |  2736838 |     9696    617 |      641 |        0
1310.18/1310.69	c 1310s |      23 |  3233878 |  2740738 |     9696    617 |      641 |        0
1312.28/1312.71	c 1312s |      23 |  3238160 |  2744538 |     9696    618 |      641 |        0
1314.28/1314.76	c 1314s |      23 |  3242024 |  2748338 |     9696    619 |      641 |        0
1316.39/1316.81	c 1316s |      23 |  3244401 |  2750638 |     9696    619 |      641 |        0
1318.38/1318.85	c 1318s |      23 |  3246757 |  2752938 |     9696    619 |      641 |        0
1320.38/1320.89	c 1320s |      23 |  3248698 |  2754838 |     9696    620 |      641 |        0
1322.48/1322.93	c 1322s |      23 |  3253381 |  2758538 |     9696    620 |      641 |        0
1324.48/1324.96	c 1324s |      23 |  3258479 |  2762138 |     9696    621 |      641 |        0
1326.48/1326.98	c 1326s |      23 |  3262190 |  2765138 |     9696    621 |      641 |        0
1328.58/1329.01	c 1328s |      23 |  3265807 |  2767838 |     9696    622 |      641 |        0
1330.58/1331.09	c 1330s |      23 |  3269330 |  2770438 |     9696    622 |      641 |        0
1332.67/1333.14	c 1332s |      23 |  3272576 |  2773038 |     9696    623 |      641 |        0
1334.67/1335.14	c 1334s |      23 |  3276108 |  2775638 |     9696    623 |      641 |        0
1336.67/1337.15	c 1336s |      23 |  3280322 |  2779238 |     9696    624 |      641 |        0
1338.67/1339.16	c 1338s |      23 |  3283594 |  2781838 |     9696    624 |      641 |        0
1340.77/1341.20	c 1340s |      23 |  3287578 |  2784938 |     9696    625 |      641 |        0
1342.78/1343.25	c 1342s |      23 |  3289510 |  2786438 |     9696    625 |      641 |        0
1344.77/1345.26	c 1344s |      23 |  3292786 |  2789138 |     9696    625 |      641 |        0
1346.87/1347.31	c 1346s |      23 |  3296194 |  2792138 |     9696    626 |      641 |        0
1348.87/1349.33	c 1348s |      23 |  3299594 |  2794938 |     9696    626 |      641 |        0
1350.86/1351.34	c 1350s |      23 |  3303059 |  2797838 |     9696    627 |      641 |        0
1352.86/1353.36	c 1352s |      23 |  3306279 |  2800538 |     9696    627 |      641 |        0
1354.87/1355.39	c 1354s |      23 |  3309971 |  2803538 |     9696    628 |      641 |        0
1356.97/1357.45	c 1356s |      23 |  3313290 |  2806438 |     9696    628 |      641 |        0
1358.96/1359.47	c 1358s |      23 |  3317130 |  2809538 |     9696    629 |      641 |        0
1360.96/1361.48	c 1360s |      23 |  3320590 |  2812338 |     9696    629 |      641 |        0
1363.06/1363.52	c 1362s |      23 |  3323543 |  2814638 |     9696    630 |      641 |        0
1365.06/1365.58	c 1365s |      23 |  3327602 |  2817738 |     9696    630 |      641 |        0
1367.17/1367.64	c 1367s |      23 |  3330343 |  2819938 |     9696    631 |      641 |        0
1369.17/1369.65	c 1369s |      23 |  3333867 |  2822938 |     9696    631 |      641 |        0
1371.16/1371.68	c 1371s |      23 |  3336549 |  2825238 |     9696    632 |      641 |        0
1373.96/1374.48	c 1373s |      23 |  3340221 |  2828338 |     9696    632 |      641 |        0
1376.06/1376.50	c 1375s |      23 |  3343690 |  2831338 |     9696    633 |      641 |        0
1378.06/1378.51	c 1377s |      23 |  3347571 |  2834838 |     9696    633 |      641 |        0
1380.26/1380.74	c 1380s |      23 |  3350736 |  2837838 |     9696    634 |      641 |        0
1382.36/1382.81	c 1382s |      23 |  3354158 |  2841038 |     9696    634 |      641 |        0
1384.36/1384.85	c 1384s |      23 |  3356999 |  2843638 |     9696    635 |      641 |        0
1386.36/1386.88	c 1386s |      23 |  3360315 |  2846738 |     9696    635 |      641 |        0
1388.56/1389.03	c 1388s |      23 |  3362758 |  2848938 |     9696    635 |      641 |        0
1390.55/1391.06	c 1390s |      23 |  3366106 |  2851938 |     9696    636 |      641 |        0
1392.65/1393.11	c 1392s |      23 |  3369258 |  2854938 |     9696    636 |      641 |        0
1394.65/1395.14	c 1394s |      23 |  3372149 |  2857738 |     9696    637 |      641 |        0
1396.66/1397.15	c 1396s |      23 |  3374690 |  2860238 |     9696    637 |      641 |        0
1398.65/1399.20	c 1398s |      23 |  3376973 |  2862438 |     9696    638 |      641 |        0
1400.75/1401.24	c 1400s |      23 |  3380085 |  2865338 |     9696    638 |      641 |        0
1402.75/1403.26	c 1402s |      23 |  3382701 |  2867738 |     9696    639 |      641 |        0
1404.85/1405.38	c 1404s |      23 |  3385363 |  2870338 |     9696    639 |      641 |        0
1406.95/1407.44	c 1406s |      23 |  3388057 |  2872738 |     9696    639 |      641 |        0
1409.05/1409.51	c 1408s |      23 |  3390755 |  2875338 |     9696    640 |      641 |        0
1411.05/1411.59	c 1411s |      23 |  3394020 |  2878438 |     9696    640 |      641 |        0
1413.15/1413.61	c 1413s |      23 |  3396833 |  2881138 |     9696    641 |      641 |        0
1415.15/1415.65	c 1415s |      23 |  3399060 |  2883238 |     9696    641 |      641 |        0
1417.15/1417.69	c 1417s |      23 |  3401349 |  2885438 |     9696    642 |      641 |        0
1419.15/1419.69	c 1419s |      23 |  3404372 |  2888338 |     9696    642 |      641 |        0
1421.25/1421.72	c 1421s |      23 |  3406562 |  2890438 |     9696    642 |      641 |        0
1423.25/1423.72	c 1423s |      23 |  3408466 |  2892338 |     9696    643 |      641 |        0
1425.26/1425.76	c 1425s |      23 |  3411072 |  2894938 |     9696    643 |      641 |        0
1427.65/1428.19	c 1427s |      23 |  3413292 |  2897038 |     9696    644 |      641 |        0
1429.75/1430.23	c 1429s |      23 |  3417015 |  2900538 |     9696    644 |      641 |        0
1432.25/1432.72	c 1432s |      23 |  3419878 |  2903238 |     9696    645 |      641 |        0
1434.25/1434.74	c 1434s |      23 |  3421481 |  2904838 |     9696    645 |      641 |        0
1436.25/1436.79	c 1436s |      23 |  3424582 |  2907838 |     9696    645 |      641 |        0
1438.35/1438.82	c 1438s |      23 |  3427595 |  2910738 |     9696    646 |      641 |        0
1440.34/1440.88	c 1440s |      23 |  3430334 |  2913438 |     9696    646 |      641 |        0
1442.44/1442.96	c 1442s |      23 |  3431646 |  2914738 |     9696    647 |      641 |        0
1444.54/1445.00	c 1444s |      23 |  3433881 |  2916938 |     9696    647 |      641 |        0
1446.54/1447.07	c 1446s |      23 |  3437104 |  2919938 |     9696    647 |      641 |        0
1448.85/1449.37	c 1448s |      23 |  3438356 |  2921138 |     9696    648 |      641 |        0
1450.95/1451.41	c 1450s |      23 |  3441653 |  2924338 |     9696    648 |      641 |        0
1452.95/1453.44	c 1452s |      23 |  3444359 |  2926938 |     9696    649 |      641 |        0
1454.95/1455.48	c 1454s |      23 |  3447266 |  2929738 |     9696    649 |      641 |        0
1457.05/1457.51	c 1456s |      23 |  3450586 |  2932738 |     9696    650 |      641 |        0
1459.05/1459.55	c 1458s |      23 |  3452948 |  2934838 |     9696    650 |      641 |        0
1461.05/1461.58	c 1461s |      23 |  3456323 |  2937938 |     9696    650 |      641 |        0
1463.15/1463.65	c 1463s |      23 |  3459113 |  2940638 |     9696    651 |      641 |        0
1465.15/1465.67	c 1465s |      23 |  3461435 |  2942938 |     9696    651 |      641 |        0
1467.44/1467.90	c 1467s |      23 |  3463651 |  2945038 |     9696    652 |      641 |        0
1469.44/1469.97	c 1469s |      23 |  3466158 |  2947338 |     9696    652 |      641 |        0
1471.54/1472.05	c 1471s |      23 |  3469032 |  2950038 |     9696    652 |      641 |        0
1473.55/1474.06	c 1473s |      23 |  3471701 |  2952538 |     9696    653 |      641 |        0
1475.54/1476.06	c 1475s |      23 |  3474543 |  2955238 |     9696    653 |      641 |        0
1477.54/1478.07	c 1477s |      23 |  3475976 |  2956638 |     9696    654 |      641 |        0
1479.54/1480.07	c 1479s |      23 |  3478630 |  2959238 |     9696    654 |      641 |        0
1481.64/1482.13	c 1481s |      23 |  3481142 |  2961738 |     9696    654 |      641 |        0
1483.74/1484.23	c 1483s |      23 |  3483874 |  2964438 |     9696    655 |      641 |        0
1485.75/1486.25	c 1485s |      23 |  3486616 |  2966938 |     9696    655 |      641 |        0
1487.74/1488.29	c 1487s |      23 |  3489640 |  2969538 |     9696    656 |      641 |        0
1489.84/1490.31	c 1489s |      23 |  3492794 |  2972538 |     9696    656 |      641 |        0
1491.84/1492.36	c 1491s |      23 |  3495345 |  2974938 |     9696    657 |      641 |        0
1493.94/1494.41	c 1493s |      23 |  3498806 |  2978038 |     9696    657 |      641 |        0
1495.94/1496.44	c 1495s |      23 |  3501367 |  2980138 |     9696    657 |      641 |        0
1497.94/1498.45	c 1497s |      23 |  3503622 |  2982038 |     9696    658 |      641 |        0
1500.63/1501.15	c 1500s |      23 |  3506294 |  2984238 |     9696    658 |      641 |        0
1502.63/1503.16	c 1502s |      23 |  3508752 |  2986138 |     9696    659 |      641 |        0
1504.63/1505.20	c 1504s |      23 |  3512069 |  2988738 |     9696    659 |      641 |        0
1506.73/1507.23	c 1506s |      23 |  3514241 |  2990738 |     9696    659 |      641 |        0
1508.74/1509.23	c 1508s |      23 |  3516964 |  2993238 |     9696    660 |      641 |        0
1510.83/1511.30	c 1510s |      23 |  3519697 |  2995838 |     9696    660 |      641 |        0
1512.83/1513.37	c 1512s |      23 |  3522094 |  2998138 |     9696    661 |      641 |        0
1514.83/1515.38	c 1514s |      23 |  3525262 |  3000938 |     9696    661 |      641 |        0
1516.93/1517.46	c 1516s |      23 |  3527303 |  3002938 |     9696    661 |      641 |        0
1518.93/1519.49	c 1518s |      23 |  3529087 |  3004638 |     9696    662 |      641 |        0
1521.03/1521.56	c 1521s |      23 |  3531368 |  3006838 |     9696    662 |      641 |        0
1523.14/1523.62	c 1523s |      23 |  3533521 |  3008938 |     9696    662 |      641 |        0
1525.13/1525.69	c 1525s |      23 |  3535607 |  3010838 |     9696    663 |      641 |        0
1527.23/1527.70	c 1527s |      23 |  3537788 |  3012838 |     9696    663 |      641 |        0
1529.23/1529.73	c 1529s |      23 |  3540604 |  3015338 |     9696    663 |      641 |        0
1531.24/1531.75	c 1531s |      23 |  3542319 |  3016738 |     9696    664 |      641 |        0
1533.34/1533.81	c 1533s |      23 |  3545547 |  3019538 |     9696    664 |      641 |        0
1535.34/1535.85	c 1535s |      23 |  3548146 |  3021838 |     9696    665 |      641 |        0
1537.44/1537.95	c 1537s |      23 |  3550641 |  3024138 |     9696    665 |      641 |        0
1539.44/1539.99	c 1539s |      23 |  3553508 |  3026838 |     9696    665 |      641 |        0
1541.63/1542.10	c 1541s |      23 |  3555559 |  3028838 |     9696    666 |      641 |        0
1543.73/1544.23	c 1543s |      23 |  3557783 |  3031038 |     9696    666 |      641 |        0
1546.14/1546.68	c 1546s |      23 |  3559349 |  3032538 |     9696    666 |      641 |        0
1548.23/1548.73	c 1548s |      23 |  3562007 |  3034938 |     9696    667 |      641 |        0
1550.23/1550.74	c 1550s |      23 |  3564483 |  3037238 |     9696    667 |      641 |        0
1552.33/1552.81	c 1552s |      23 |  3566548 |  3039138 |     9696    667 |      641 |        0
1554.33/1554.87	c 1554s |      23 |  3569529 |  3041938 |     9696    668 |      641 |        0
1556.43/1556.94	c 1556s |      23 |  3572291 |  3044438 |     9696    668 |      641 |        0
1558.43/1558.96	c 1558s |      23 |  3574125 |  3046238 |     9696    669 |      641 |        0
1560.44/1560.99	c 1560s |      23 |  3576424 |  3048438 |     9696    669 |      641 |        0
1562.53/1563.00	c 1562s |      23 |  3578844 |  3050738 |     9696    669 |      641 |        0
1564.53/1565.07	c 1564s |      23 |  3580287 |  3052138 |     9696    670 |      641 |        0
1566.63/1567.11	c 1566s |      23 |  3582896 |  3054638 |     9696    670 |      641 |        0
1568.63/1569.16	c 1568s |      23 |  3585065 |  3056638 |     9696    670 |      641 |        0
1570.63/1571.17	c 1570s |      23 |  3587358 |  3058838 |     9696    671 |      641 |        0
1572.63/1573.18	c 1572s |      23 |  3590776 |  3062238 |     9696    671 |      641 |        0
1574.63/1575.19	c 1574s |      23 |  3593282 |  3064738 |     9696    672 |      641 |        0
1576.73/1577.22	c 1576s |      23 |  3596422 |  3067838 |     9696    672 |      641 |        0
1578.73/1579.23	c 1578s |      23 |  3599845 |  3071238 |     9696    673 |      641 |        0
1580.72/1581.26	c 1580s |      23 |  3602456 |  3073838 |     9696    673 |      641 |        0
1582.72/1583.29	c 1582s |      23 |  3605662 |  3077038 |     9696    674 |      641 |        0
1584.82/1585.35	c 1584s |      23 |  3609080 |  3080438 |     9696    674 |      641 |        0
1587.42/1587.91	c 1587s |      23 |  3610545 |  3081838 |     9696    675 |      641 |        0
1589.42/1589.92	c 1589s |      23 |  3613688 |  3084838 |     9696    675 |      641 |        0
1591.42/1591.99	c 1591s |      23 |  3616034 |  3087038 |     9696    675 |      641 |        0
1593.43/1593.99	c 1593s |      23 |  3618250 |  3089138 |     9696    676 |      641 |        0
1595.53/1596.03	c 1595s |      23 |  3620679 |  3091438 |     9696    676 |      641 |        0
1597.53/1598.04	c 1597s |      23 |  3622450 |  3093138 |     9696    676 |      641 |        0
1599.73/1600.24	c 1599s |      23 |  3624707 |  3095238 |     9696    677 |      641 |        0
1601.83/1602.33	c 1601s |      23 |  3627324 |  3097738 |     9696    677 |      641 |        0
1603.92/1604.48	c 1603s |      23 |  3629674 |  3099838 |     9696    678 |      641 |        0
1605.92/1606.49	c 1605s |      23 |  3632214 |  3102238 |     9696    678 |      641 |        0
1607.92/1608.49	c 1607s |      23 |  3634216 |  3104138 |     9696    678 |      641 |        0
1610.03/1610.51	c 1609s |      23 |  3636797 |  3106538 |     9696    679 |      641 |        0
1612.02/1612.57	c 1612s |      23 |  3639427 |  3108938 |     9696    679 |      641 |        0
1614.02/1614.59	c 1614s |      23 |  3641942 |  3111138 |     9696    680 |      641 |        0
1616.12/1616.65	c 1616s |      23 |  3644757 |  3113738 |     9696    680 |      641 |        0
1618.12/1618.67	c 1618s |      23 |  3647245 |  3115838 |     9696    680 |      641 |        0
1620.12/1620.67	c 1620s |      23 |  3649865 |  3118238 |     9696    681 |      641 |        0
1622.13/1622.70	c 1622s |      23 |  3652796 |  3120838 |     9696    681 |      641 |        0
1624.23/1624.73	c 1624s |      23 |  3655177 |  3123138 |     9696    682 |      641 |        0
1626.22/1626.79	c 1626s |      23 |  3657780 |  3125538 |     9696    682 |      641 |        0
1628.32/1628.85	c 1628s |      23 |  3660421 |  3128038 |     9696    682 |      641 |        0
1630.32/1630.89	c 1630s |      23 |  3663377 |  3130838 |     9696    683 |      641 |        0
1632.42/1632.99	c 1632s |      23 |  3665841 |  3133238 |     9696    683 |      641 |        0
1634.52/1635.02	c 1634s |      23 |  3668044 |  3135238 |     9696    684 |      641 |        0
1636.52/1637.03	c 1636s |      23 |  3669972 |  3137038 |     9696    684 |      641 |        0
1638.62/1639.11	c 1638s |      23 |  3672410 |  3139338 |     9696    684 |      641 |        0
1640.61/1641.15	c 1640s |      23 |  3674489 |  3141238 |     9696    685 |      641 |        0
1642.61/1643.16	c 1642s |      23 |  3677518 |  3144038 |     9696    685 |      641 |        0
1644.71/1645.23	c 1644s |      23 |  3680067 |  3146338 |     9696    685 |      641 |        0
1646.81/1647.30	c 1646s |      23 |  3682922 |  3149038 |     9696    686 |      641 |        0
1648.91/1649.46	c 1648s |      23 |  3685621 |  3151438 |     9696    686 |      641 |        0
1650.91/1651.47	c 1650s |      23 |  3687731 |  3153238 |     9696    687 |      641 |        0
1653.01/1653.51	c 1652s |      23 |  3690362 |  3155638 |     9696    687 |      641 |        0
1655.02/1655.56	c 1655s |      23 |  3693079 |  3158138 |     9696    687 |      641 |        0
1657.01/1657.57	c 1657s |      23 |  3695820 |  3160738 |     9696    688 |      641 |        0
1659.11/1659.66	c 1659s |      23 |  3698070 |  3162938 |     9696    688 |      641 |        0
1661.11/1661.68	c 1661s |      23 |  3699695 |  3164538 |     9696    689 |      641 |        0
1663.21/1663.73	c 1663s |      23 |  3702634 |  3167438 |     9696    689 |      641 |        0
1665.21/1665.74	c 1665s |      23 |  3704778 |  3169538 |     9696    689 |      641 |        0
1667.22/1667.78	c 1667s |      23 |  3707407 |  3172138 |     9696    690 |      641 |        0
1669.32/1669.83	c 1669s |      23 |  3710046 |  3174738 |     9696    690 |      641 |        0
1671.41/1671.99	c 1671s |      23 |  3712604 |  3177238 |     9696    691 |      641 |        0
1673.51/1674.04	c 1673s |      23 |  3715859 |  3180438 |     9696    691 |      641 |        0
1675.61/1676.10	c 1675s |      23 |  3718103 |  3182638 |     9696    692 |      641 |        0
1677.71/1678.20	c 1677s |      23 |  3720034 |  3184538 |     9696    692 |      641 |        0
1679.81/1680.38	c 1679s |      23 |  3720974 |  3185338 |     9696    692 |      641 |        0
1681.91/1682.45	c 1681s |      23 |  3723990 |  3188338 |     9696    693 |      641 |        0
1684.01/1684.51	c 1683s |      23 |  3727157 |  3191438 |     9696    693 |      641 |        0
1686.01/1686.52	c 1685s |      23 |  3730083 |  3194238 |     9696    694 |      641 |        0
1688.02/1688.55	c 1687s |      23 |  3733040 |  3197038 |     9696    694 |      641 |        0
1690.01/1690.59	c 1690s |      23 |  3735559 |  3199438 |     9696    694 |      641 |        0
1692.11/1692.65	c 1692s |      23 |  3738263 |  3201938 |     9696    695 |      641 |        0
1694.11/1694.65	c 1694s |      23 |  3740764 |  3204338 |     9696    695 |      641 |        0
1696.11/1696.66	c 1696s |      23 |  3743381 |  3206838 |     9696    696 |      641 |        0
1698.21/1698.71	c 1698s |      23 |  3745055 |  3208438 |     9696    696 |      641 |        0
1700.22/1700.74	c 1700s |      23 |  3747764 |  3210938 |     9696    696 |      641 |        0
1702.21/1702.77	c 1702s |      23 |  3750149 |  3213238 |     9696    697 |      641 |        0
1704.31/1704.85	c 1704s |      23 |  3753158 |  3216138 |     9696    697 |      641 |        0
1706.61/1707.12	c 1706s |      23 |  3755100 |  3218038 |     9696    698 |      641 |        0
1708.61/1709.18	c 1708s |      23 |  3758203 |  3221038 |     9696    698 |      641 |        0
1710.71/1711.22	c 1710s |      23 |  3760753 |  3223438 |     9696    698 |      641 |        0
1712.71/1713.26	c 1712s |      23 |  3762945 |  3225438 |     9696    699 |      641 |        0
1714.71/1715.29	c 1714s |      23 |  3765292 |  3227638 |     9696    699 |      641 |        0
1716.81/1717.32	c 1716s |      23 |  3767667 |  3229938 |     9696    700 |      641 |        0
1718.81/1719.33	c 1718s |      23 |  3770529 |  3232738 |     9696    700 |      641 |        0
1720.80/1721.36	c 1720s |      23 |  3772842 |  3234838 |     9696    700 |      641 |        0
1722.90/1723.41	c 1722s |      23 |  3775337 |  3237238 |     9696    701 |      641 |        0
1724.90/1725.49	c 1724s |      23 |  3778127 |  3239938 |     9696    701 |      641 |        0
1727.10/1727.69	c 1727s |      23 |  3780108 |  3241838 |     9696    702 |      641 |        0
1729.20/1729.74	c 1729s |      23 |  3782759 |  3244338 |     9696    702 |      641 |        0
1731.20/1731.76	c 1731s |      23 |  3785534 |  3246938 |     9696    702 |      641 |        0
1733.30/1733.82	c 1733s |      23 |  3787488 |  3248838 |     9696    703 |      641 |        0
1735.41/1735.90	c 1735s |      23 |  3790364 |  3251438 |     9696    703 |      641 |        0
1737.51/1738.02	c 1737s |      23 |  3792730 |  3253738 |     9696    704 |      641 |        0
1739.50/1740.08	c 1739s |      23 |  3795411 |  3256338 |     9696    704 |      641 |        0
1741.60/1742.17	c 1741s |      23 |  3797775 |  3258538 |     9696    704 |      641 |        0
1743.70/1744.27	c 1743s |      23 |  3800191 |  3260838 |     9696    705 |      641 |        0
1745.70/1746.29	c 1745s |      23 |  3802812 |  3263338 |     9696    705 |      641 |        0
1747.90/1748.40	c 1747s |      23 |  3805198 |  3265638 |     9696    706 |      641 |        0
1750.20/1750.72	c 1750s |      23 |  3808115 |  3268438 |     9696    706 |      641 |        0
1752.40/1752.92	c 1752s |      23 |  3810922 |  3271138 |     9696    706 |      641 |        0
1754.40/1754.94	c 1754s |      23 |  3813795 |  3273838 |     9696    707 |      641 |        0
1756.40/1756.97	c 1756s |      23 |  3816609 |  3276538 |     9696    707 |      641 |        0
1758.51/1759.02	c 1758s |      23 |  3819271 |  3279038 |     9696    708 |      641 |        0
1760.50/1761.08	c 1760s |      23 |  3821512 |  3281238 |     9696    708 |      641 |        0
1762.70/1763.29	c 1762s |      23 |  3823822 |  3283438 |     9696    709 |      641 |        0
1765.01/1765.59	c 1765s |      23 |  3826411 |  3285938 |     9696    709 |      641 |        0
1767.10/1767.67	c 1767s |      23 |  3828987 |  3288438 |     9696    709 |      641 |        0
1769.51/1770.01	c 1769s |      23 |  3831121 |  3290538 |     9696    710 |      641 |        0
1771.50/1772.10	c 1771s |      23 |  3833977 |  3293238 |     9696    710 |      641 |        0
1773.70/1774.23	c 1773s |      23 |  3836120 |  3295338 |     9696    711 |      641 |        0
1775.70/1776.27	c 1775s |      23 |  3838260 |  3297438 |     9696    711 |      641 |        0
1777.80/1778.34	c 1777s |      23 |  3840755 |  3299738 |     9696    711 |      641 |        0
1779.80/1780.38	c 1779s |      23 |  3842922 |  3301738 |     9696    712 |      641 |        0
1781.90/1782.43	c 1781s |      23 |  3845521 |  3304238 |     9696    712 |      641 |        0
1783.90/1784.49	c 1783s |      23 |  3847983 |  3306638 |     9696    712 |      641 |        0
1785.90/1786.49	c 1785s |      23 |  3849580 |  3308138 |     9696    713 |      641 |        0
1787.99/1788.51	c 1787s |      23 |  3852614 |  3310838 |     9696    713 |      641 |        0
1789.99/1790.56	c 1790s |      23 |  3855081 |  3313138 |     9696    713 |      641 |        0
1791.99/1792.59	c 1792s |      23 |  3857929 |  3315938 |     9696    714 |      641 |        0
1794.09/1794.66	c 1794s |      23 |  3860525 |  3318438 |     9696    714 |      641 |        0
1796.19/1796.71	c 1796s |      23 |  3862404 |  3320138 |     9696    715 |      641 |        0
1798.39/1798.90	c 1798s |      23 |  3865345 |  3322638 |     9696    715 |      641 |        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-4101169-1466220912/watcher-4101169-1466220912 -o /tmp/evaluation-result-4101169-1466220912/solver-4101169-1466220912 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101169-1466220912.opb 

pid=3252
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.13 2.23 2.18 4/179 3255
/proc/meminfo: memFree=28957176/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=785988 CPUtime=0 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 2945 0 0 0 0 0 0 0 20 0 4 0 24138354 804851712 3305 33554432000 4194304 16246674 140735398117184 140735398116608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3255/statm: 197265 3314 442 2943 0 194159 0
[pid=3255/tid=3256] ppid=3252 vsize=804420 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 823726080 3378 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=809540 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 828968960 3394 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=813636 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 833163264 3410 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.13 2.23 2.18 4/179 3255
/proc/meminfo: memFree=28957176/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 33605 0 0 0 4 5 0 0 20 0 4 0 24138354 1247350784 33957 33554432000 4194304 16246674 140735398117184 140735398116120 12656293 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 304529 33968 645 2943 0 301423 0
[pid=3255/tid=3256] ppid=3252 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1247350784 33976 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1247350784 33984 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1247350784 33993 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200511 s]
/proc/loadavg: 2.13 2.23 2.18 4/179 3255
/proc/meminfo: memFree=28957176/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 64390 0 0 0 10 9 0 0 20 0 4 0 24138354 1247350784 64741 33554432000 4194304 16246674 140735398117184 140735398099072 12371341 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 304529 64761 645 2943 0 301423 0
[pid=3255/tid=3256] ppid=3252 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1247350784 64772 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1247350784 64783 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1247350784 64795 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30048 s]
/proc/loadavg: 2.13 2.23 2.18 4/179 3255
/proc/meminfo: memFree=28957176/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 92438 0 0 0 17 12 0 0 20 0 4 0 24138354 1247350784 92789 33554432000 4194304 16246674 140735398117184 140735398099072 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 304529 92794 645 2943 0 301423 0
[pid=3255/tid=3256] ppid=3252 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1247350784 92798 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1247350784 92802 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1247350784 92805 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700395 s]
/proc/loadavg: 2.13 2.23 2.18 4/179 3255
/proc/meminfo: memFree=28957176/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 172413 0 0 0 47 22 0 0 20 0 4 0 24138354 1247350784 172761 33554432000 4194304 16246674 140735398117184 140735398099072 5831697 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 304529 172768 754 2943 0 301423 0
[pid=3255/tid=3256] ppid=3252 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1247350784 172773 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1247350784 172776 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1247350784 172776 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.13 2.23 2.18 4/183 3259
/proc/meminfo: memFree=28086856/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1224260 CPUtime=1.48 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 246948 0 0 0 116 32 0 0 20 0 4 0 24138354 1253642240 247273 33554432000 4194304 16246674 140735398117184 140735398116400 5711318 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 306065 247273 825 2943 0 302959 0
[pid=3255/tid=3256] ppid=3252 vsize=1224260 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1253642240 247273 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1224260 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1253642240 247273 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1224260 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1253642240 247273 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1224260

[startup+3.10041 s]
/proc/loadavg: 2.13 2.23 2.18 3/183 3259
/proc/meminfo: memFree=27971112/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 268077 0 0 0 274 35 0 0 20 0 4 0 24138354 1339625472 268402 33554432000 4194304 16246674 140735398117184 140735398099072 5659624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 327057 268402 826 2943 0 323951 0
[pid=3255/tid=3256] ppid=3252 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1339625472 268402 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1339625472 268402 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1339625472 268402 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30041 s]
/proc/loadavg: 2.20 2.24 2.19 4/183 3259
/proc/meminfo: memFree=27875040/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1319492 CPUtime=6.29 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 270943 0 0 0 593 36 0 0 20 0 4 0 24138354 1351159808 271268 33554432000 4194304 16246674 140735398117184 140735398099072 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 329873 271268 828 2943 0 326767 0
[pid=3255/tid=3256] ppid=3252 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1351159808 271268 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1351159808 271268 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1351159808 271268 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1319492

[startup+12.7004 s]
/proc/loadavg: 2.19 2.24 2.18 3/183 3259
/proc/meminfo: memFree=27875048/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1319492 CPUtime=12.69 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 270943 0 0 0 1233 36 0 0 20 0 4 0 24138354 1351159808 271268 33554432000 4194304 16246674 140735398117184 140735398099072 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 329873 271268 828 2943 0 326767 0
[pid=3255/tid=3256] ppid=3252 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1351159808 271268 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1351159808 271268 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1351159808 271268 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1319492

[startup+25.5005 s]
/proc/loadavg: 2.14 2.23 2.18 3/183 3259
/proc/meminfo: memFree=27875676/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1319492 CPUtime=25.49 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 270943 0 0 0 2513 36 0 0 20 0 4 0 24138354 1351159808 271268 33554432000 4194304 16246674 140735398117184 140735398099072 5673278 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 329873 271268 828 2943 0 326767 0
[pid=3255/tid=3256] ppid=3252 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1351159808 271268 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1351159808 271268 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1351159808 271268 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1319492

[startup+51.1005 s]
/proc/loadavg: 2.15 2.22 2.18 4/183 3259
/proc/meminfo: memFree=27865040/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1328708 CPUtime=51.08 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 273247 0 0 0 5072 36 0 0 20 0 4 0 24138354 1360596992 273572 33554432000 4194304 16246674 140735398117184 140735398099072 5724517 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 332177 273572 828 2943 0 329071 0
[pid=3255/tid=3256] ppid=3252 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1360596992 273572 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1360596992 273572 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1360596992 273572 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1328708

[startup+102.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/183 3260
/proc/meminfo: memFree=27850608/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1344068 CPUtime=102.28 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 277088 0 0 0 10190 38 0 0 20 0 4 0 24138354 1376325632 277413 33554432000 4194304 16246674 140735398117184 140735398099072 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 336017 277413 828 2943 0 332911 0
[pid=3255/tid=3256] ppid=3252 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1376325632 277413 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1376325632 277413 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1376325632 277413 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1344068


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

/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282534 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1363524

[startup+1302.3 s]
/proc/loadavg: 2.22 2.24 2.18 3/183 3290
/proc/meminfo: memFree=27819172/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1363524 CPUtime=1301.89 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 282327 0 0 0 130128 61 0 0 20 0 4 0 24138354 1396248576 282534 33554432000 4194304 16246674 140735398117184 140735398099072 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 340881 282534 828 2943 0 337775 0
[pid=3255/tid=3256] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282534 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282534 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282534 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1363524

[startup+1362.3 s]
/proc/loadavg: 2.23 2.24 2.18 3/183 3291
/proc/meminfo: memFree=27819292/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1363524 CPUtime=1361.86 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 282345 0 0 0 136125 61 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 140735398099072 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 340881 282535 828 2943 0 337775 0
[pid=3255/tid=3256] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1363524

[startup+1422.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 3293
/proc/meminfo: memFree=27819280/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1363524 CPUtime=1421.85 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 282351 0 0 0 142123 62 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 140735398115008 4220871 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 340881 282535 828 2943 0 337775 0
[pid=3255/tid=3256] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1363524

[startup+1482.3 s]
/proc/loadavg: 2.26 2.24 2.18 3/183 3294
/proc/meminfo: memFree=27819428/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1363524 CPUtime=1481.84 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 282351 0 0 0 148120 64 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 140735398099072 5711805 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 340881 282535 828 2943 0 337775 0
[pid=3255/tid=3256] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1363524

[startup+1542.31 s]
/proc/loadavg: 2.27 2.24 2.18 3/184 3347
/proc/meminfo: memFree=27808288/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1363524 CPUtime=1541.84 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 282351 0 0 0 154119 65 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 140735398099072 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 340881 282535 828 2943 0 337775 0
[pid=3255/tid=3256] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1363524

[startup+1602.3 s]
/proc/loadavg: 2.19 2.22 2.18 4/184 3371
/proc/meminfo: memFree=27808256/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1363524 CPUtime=1601.83 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 282351 0 0 0 160117 66 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 140735398099072 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 340881 282535 828 2943 0 337775 0
[pid=3255/tid=3256] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1363524

[startup+1662.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 3372
/proc/meminfo: memFree=27808276/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1363524 CPUtime=1661.81 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 282351 0 0 0 166115 66 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 140735398099072 13927278 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 340881 282535 828 2943 0 337775 0
[pid=3255/tid=3256] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1363524

[startup+1722.3 s]
/proc/loadavg: 2.18 2.20 2.18 4/183 3374
/proc/meminfo: memFree=27808160/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1363524 CPUtime=1721.8 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 282351 0 0 0 172113 67 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 140735398099072 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 340881 282535 828 2943 0 337775 0
[pid=3255/tid=3256] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1363524

[startup+1782.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 3375
/proc/meminfo: memFree=27807788/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1363524 CPUtime=1781.8 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 282351 0 0 0 178112 68 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 140735398099072 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 340881 282535 828 2943 0 337775 0
[pid=3255/tid=3256] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1363524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 3375
/proc/meminfo: memFree=27808164/32872528 swapFree=17888/1798212
[pid=3255] ppid=3252 vsize=1363524 CPUtime=1800.09 cores=0,2,4,6
/proc/3255/stat : 3255 (toysat) R 3252 3255 579 0 -1 4202496 282351 0 0 0 179941 68 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 140735398116360 5712690 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3255/statm: 340881 282535 828 2943 0 337775 0
[pid=3255/tid=3256] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3256/stat : 3256 (toysat) S 3252 3255 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740981472496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3255/tid=3257] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3257/stat : 3257 (toysat) S 3252 3255 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740970982640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3255/tid=3258] ppid=3252 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/3255/task/3258/stat : 3258 (toysat) S 3252 3255 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24138354 1396248576 282535 33554432000 4194304 16246674 140735398117184 139740854611120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1363524

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.42
CPU system time (s): 0.685895
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 1363524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.685895
maximum resident set size= 1130140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282351
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= 415
involuntary context switches= 1870

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0813 second user time and 15.3307 second system time

The end

Begin job on node123 at 2016-06-18 05:35:12
IDJOB=4101169
IDBENCH=1709
IDSOLVER=2542
FILE ID=node123/4101169-1466220912
RUNJOBID= node123-1466206081-595
PBS_JOBID= 19918154
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc105.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101169-1466220912/watcher-4101169-1466220912 -o /tmp/evaluation-result-4101169-1466220912/solver-4101169-1466220912 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101169-1466220912.opb

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

MD5SUM BENCH= 9af0146fd6df1c22fb98014c5db68dfb
RANDOM SEED=2089888500

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28957704 kB
Buffers:          111872 kB
Cached:           171504 kB
SwapCached:         1648 kB
Active:          1186328 kB
Inactive:         187884 kB
Active(anon):    1092040 kB
Inactive(anon):     1152 kB
Active(file):      94288 kB
Inactive(file):   186732 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       2872744 kB
Mapped:            10532 kB
Shmem:                 0 kB
Slab:             602184 kB
SReclaimable:      46396 kB
SUnreclaim:       555788 kB
KernelStack:        1520 kB
PageTables:         9884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3032144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1769472 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= 71600 MiB
End job on node123 at 2016-06-18 06:05:13