0.00/0.00	c 2016-06-07T07:26:29+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-4078842-1465277189.opb"]
0.00/0.01	c use --random-gen="2913267787 1612302420 1484990801 377067415 1025222939 2660857706 793078362 3785426082 3788172096 2950751011 3319445456 4214574099 3346753431 2864877692 2830143712 617172750 1249131710 1180121793 3300955548 921047624 1384901564 667979881 2101061246 1878892587 1580696393 3247795127 4270821582 661855313 3260659228 74877127 1227388368 3123431607 2907542111 3074938656 3494635865 1178514749 4201822999 572076217 1765681481 3121994057 1434440075 2995597654 4274434081 3811766538 549248251 287833395 715753301 1980093929 1698241730 4175520345 2865280482 2902022291 3910495676 40864475 530341414 2443228715 887208321 1056096888 445803411 3181811514 709249101 1523151925 1088016401 2834790559 2047485408 3798380933 2469786528 4153742095 2653226099 3174228413 4099699198 849812436 3386306023 4057840686 1881387747 2248724755 2459948015 2565638099 33239 1468747926 4113463375 3466026696 3249584786 2236988404 3036329152 4030339561 2940375277 60983462 3143967012 1404125837 987534796 3195666261 630798293 1175524233 1381627498 3286035360 4097521860 1403306831 1120207186 3323819497 1396544891 542219916 3098175509 545561755 690952477 1484304836 3330301362 151247061 2445122623 2014558812 1173596432 3127362819 2301375250 2672611888 72312159 214119716 2446874080 433010962 4033759 1893914091 3165981247 3970527466 1249416763 40296581 1722705664 487280547 2114083227 2125402723 1339793968 1771962697 381304206 41069190 4262758113 2294157584 2181135368 3996164927 4291005182 1819280856 1961245175 3466927712 2104358324 1941350282 3949999594 4185475865 1304732781 3731510081 2761997824 2545345442 1430328616 3062042232 1899313217 3124914461 1730229024 2449622130 1329505675 1978877110 4270424240 2621715902 865329535 3107930230 949120 1216100590 1328596618 2615036497 581090988 4127373730 2352068286 2156840628 1707575507 54545991 4208157671 1701294981 3842836139 3531586458 1013887012 1118980466 1296965879 1518670364 2902127686 3730655541 2692836026 1130995409 4266296174 2685645760 702369248 2977859822 1742780793 1774494252 1669861819 1541611935 808963225 12716283 2666236672 1924490564 3335364420 3677729667 4141928756 590720034 3133620382 2999837161 3906256167 2656634612 3459779315 1879306094 188495784 841334476 2139930787 1870473477 1026749063 3461141459 2613412563 1933325485 1223452304 151088767 898836666 1530210879 514340812 3926362306 736934073 1975478651 830727821 2777400294 1381014123 346835889 3229572062 1877279304 2980136349 1641500839 3961591511 1456919368 2476882280 3147946675 3353772921 2611462245 2866486846 2647575672 3976678013 2281245666 558455353 2595647142 4078567458 1466317156 734949561 1555424611 265598489 1924141683 4228923587 1837642602 877856611 2029120845 1279961305 400957269 419060422 4048233484 3969209515 1659744968 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1200
0.00/0.02	c #constraints 1015
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      778      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      210 |      100 |      778      0 |        0 |        0
0.00/0.08	c  0.0s |       2 |      627 |      250 |      856      0 |        0 |        0
0.09/0.13	c  0.1s |       3 |     1449 |      475 |      942      0 |        0 |        0
0.19/0.21	c  0.2s |       4 |     2104 |      813 |     1037      0 |        0 |        0
0.29/0.36	c  0.3s |       5 |     2819 |     1320 |     1141      0 |        0 |        0
0.49/0.59	c  0.5s |       6 |     3815 |     2081 |     1382      1 |        0 |        0
0.99/1.01	c  1.0s |       7 |     5345 |     3223 |     1521      2 |        0 |        0
1.39/1.43	c  1.4s |       8 |     7607 |     4936 |     1674      4 |        0 |        0
2.20/2.28	c  2.2s |       9 |    11470 |     7506 |     1842      6 |        0 |        0
3.59/3.69	c  3.6s |      10 |    16375 |    11361 |     2027     10 |        0 |        0
5.69/5.73	c  5.7s |      10 |    22563 |    16261 |     2027     14 |        0 |        0
6.09/6.17	c  6.1s |      11 |    23665 |    17144 |     2230     15 |        0 |        0
8.19/8.20	c  8.2s |      11 |    29751 |    22244 |     2230     19 |        0 |        0
9.69/9.71	c  9.7s |      12 |    33833 |    25819 |     2453     22 |        0 |        0
11.69/11.75	c 11.7s |      12 |    40389 |    30719 |     2453     26 |        0 |        0
13.69/13.76	c 13.7s |      12 |    45469 |    34919 |     2453     29 |        0 |        0
15.49/15.56	c 15.5s |      13 |    50229 |    38832 |     2699     32 |        0 |        0
17.59/17.61	c 17.6s |      13 |    56100 |    43632 |     2699     35 |        0 |        0
19.59/19.64	c 19.6s |      13 |    61274 |    48032 |     2699     38 |        0 |        0
21.59/21.66	c 21.6s |      13 |    66007 |    52232 |     2699     41 |        0 |        0
23.59/23.66	c 23.6s |      13 |    70638 |    56332 |     2699     44 |        0 |        0
24.59/24.62	c 24.6s |      14 |    72988 |    58352 |     2969     45 |        0 |        0
26.59/26.62	c 26.6s |      14 |    77839 |    62352 |     2969     48 |        0 |        0
28.59/28.63	c 28.6s |      14 |    82443 |    66252 |     2969     50 |        0 |        0
30.58/30.66	c 30.6s |      14 |    86965 |    70152 |     2969     53 |        0 |        0
32.58/32.69	c 32.6s |      14 |    91429 |    74052 |     2969     55 |        0 |        0
34.68/34.71	c 34.7s |      14 |    96034 |    78052 |     2969     57 |        0 |        0
36.68/36.73	c 36.7s |      14 |   100535 |    81952 |     2969     60 |        0 |        0
38.68/38.73	c 38.7s |      14 |   105008 |    85752 |     2969     62 |        0 |        0
39.69/39.74	c 39.7s |      15 |   107137 |    87632 |     3266     63 |        0 |        0
41.68/41.75	c 41.7s |      15 |   112265 |    91832 |     3266     66 |        0 |        0
43.78/43.80	c 43.8s |      15 |   116969 |    95932 |     3266     68 |        0 |        0
45.78/45.84	c 45.8s |      15 |   121383 |    99832 |     3266     70 |        0 |        0
47.78/47.88	c 47.8s |      15 |   125695 |   103632 |     3266     73 |        0 |        0
49.88/49.92	c 49.9s |      15 |   130400 |   107632 |     3266     75 |        0 |        0
51.88/51.96	c 51.9s |      15 |   135172 |   111532 |     3266     77 |        0 |        0
53.89/53.96	c 53.9s |      15 |   139505 |   115232 |     3266     79 |        0 |        0
55.88/55.96	c 55.9s |      15 |   143874 |   118832 |     3266     81 |        0 |        0
57.88/57.97	c 57.9s |      15 |   148329 |   122532 |     3266     84 |        0 |        0
59.88/59.97	c 59.9s |      15 |   152406 |   126132 |     3266     86 |        0 |        0
61.98/62.01	c 62.0s |      15 |   157056 |   129932 |     3266     88 |        0 |        0
62.79/62.88	c 62.8s |      16 |   158995 |   131552 |     3593     88 |        0 |        0
64.88/64.92	c 64.9s |      16 |   164080 |   135752 |     3593     91 |        0 |        0
66.88/66.94	c 66.9s |      16 |   168348 |   139452 |     3593     93 |        0 |        0
68.88/68.98	c 68.9s |      16 |   172604 |   143152 |     3593     95 |        0 |        0
70.98/71.00	c 71.0s |      16 |   176611 |   146652 |     3593     96 |        0 |        0
72.98/73.04	c 73.0s |      16 |   180868 |   150352 |     3593     98 |        0 |        0
74.98/75.09	c 75.0s |      16 |   184999 |   153952 |     3593    100 |        0 |        0
77.08/77.14	c 77.1s |      16 |   189410 |   157752 |     3593    102 |        0 |        0
79.18/79.20	c 79.2s |      16 |   193367 |   161252 |     3593    104 |        0 |        0
81.17/81.25	c 81.2s |      16 |   197498 |   164852 |     3593    106 |        0 |        0
83.17/83.29	c 83.2s |      16 |   201663 |   168452 |     3593    108 |        0 |        0
85.27/85.32	c 85.3s |      16 |   205553 |   171852 |     3593    110 |        0 |        0
87.27/87.35	c 87.3s |      16 |   209582 |   175352 |     3593    112 |        0 |        0
89.37/89.41	c 89.4s |      16 |   213498 |   178852 |     3593    114 |        0 |        0
91.38/91.47	c 91.4s |      16 |   217608 |   182452 |     3593    115 |        0 |        0
93.48/93.52	c 93.5s |      16 |   221568 |   185952 |     3593    117 |        0 |        0
95.47/95.53	c 95.5s |      16 |   225697 |   189552 |     3593    119 |        0 |        0
97.47/97.56	c 97.5s |      16 |   229566 |   193052 |     3593    121 |        0 |        0
99.47/99.58	c 99.5s |      16 |   233524 |   196652 |     3953    123 |        0 |        0
99.97/100.00	c 100.0s |      17 |   234389 |   197432 |     3953    123 |        0 |        0
101.97/102.04	c  101s |      17 |   239417 |   201532 |     3953    125 |        0 |        0
103.97/104.08	c  104s |      17 |   243959 |   205432 |     3953    127 |        0 |        0
106.07/106.11	c  106s |      17 |   247882 |   208932 |     3953    129 |        0 |        0
108.07/108.14	c  108s |      17 |   252390 |   212832 |     3953    130 |        0 |        0
110.08/110.19	c  110s |      17 |   256833 |   216732 |     3953    132 |        0 |        0
112.18/112.21	c  112s |      17 |   261125 |   220532 |     3953    134 |        0 |        0
114.17/114.21	c  114s |      17 |   265047 |   224032 |     3953    136 |        0 |        0
116.17/116.22	c  116s |      17 |   269365 |   227732 |     3953    138 |        0 |        0
118.17/118.27	c  118s |      17 |   273406 |   231332 |     3953    139 |        0 |        0
120.17/120.29	c  120s |      17 |   277167 |   234732 |     3953    141 |        0 |        0
122.18/122.29	c  122s |      17 |   281319 |   238432 |     3953    143 |        0 |        0
124.18/124.30	c  124s |      17 |   285515 |   242132 |     3953    144 |        0 |        0
126.27/126.33	c  126s |      17 |   289971 |   246032 |     3953    146 |        0 |        0
128.27/128.37	c  128s |      17 |   294810 |   250032 |     3953    148 |        0 |        0
130.37/130.40	c  130s |      17 |   299032 |   253632 |     3953    150 |        0 |        0
132.37/132.41	c  132s |      17 |   303445 |   257332 |     3953    152 |        0 |        0
134.37/134.45	c  134s |      17 |   307745 |   260932 |     3953    153 |        0 |        0
136.38/136.50	c  136s |      17 |   312015 |   264532 |     3953    155 |        0 |        0
138.47/138.51	c  138s |      17 |   316148 |   268032 |     3953    157 |        0 |        0
140.47/140.56	c  140s |      17 |   320175 |   271532 |     3953    158 |        0 |        0
142.47/142.57	c  142s |      17 |   324352 |   275132 |     3953    160 |        0 |        0
144.47/144.59	c  144s |      17 |   328443 |   278632 |     3953    162 |        0 |        0
146.57/146.62	c  146s |      17 |   332627 |   282232 |     3953    164 |        0 |        0
148.58/148.64	c  148s |      17 |   337123 |   286032 |     3953    165 |        0 |        0
150.57/150.69	c  150s |      17 |   341264 |   289632 |     3953    167 |        0 |        0
152.67/152.72	c  152s |      17 |   345501 |   293132 |     3953    169 |        0 |        0
154.37/154.45	c  154s |      18 |   349163 |   296252 |     4349    170 |        0 |        0
156.37/156.46	c  156s |      18 |   353870 |   300052 |     4349    172 |        0 |        0
158.47/158.53	c  158s |      18 |   358485 |   303952 |     4349    174 |        0 |        0
160.47/160.57	c  160s |      18 |   362502 |   307352 |     4349    175 |        0 |        0
162.47/162.59	c  162s |      18 |   366657 |   310852 |     4349    177 |        0 |        0
164.57/164.62	c  164s |      18 |   370806 |   314452 |     4349    178 |        0 |        0
166.57/166.63	c  166s |      18 |   374669 |   317852 |     4349    180 |        0 |        0
168.57/168.69	c  168s |      18 |   378986 |   321552 |     4349    181 |        0 |        0
170.66/170.72	c  170s |      18 |   383148 |   325052 |     4349    183 |        0 |        0
172.67/172.72	c  172s |      18 |   387642 |   328752 |     4349    184 |        0 |        0
174.66/174.73	c  174s |      18 |   392235 |   332652 |     4349    186 |        0 |        0
176.66/176.74	c  176s |      18 |   396383 |   336252 |     4349    188 |        0 |        0
178.66/178.75	c  178s |      18 |   401056 |   339952 |     4349    189 |        0 |        0
180.66/180.75	c  180s |      18 |   405692 |   343752 |     4349    191 |        0 |        0
182.76/182.80	c  182s |      18 |   410156 |   347452 |     4349    193 |        0 |        0
184.77/184.83	c  184s |      18 |   414338 |   350952 |     4349    194 |        0 |        0
186.76/186.86	c  186s |      18 |   418629 |   354352 |     4349    196 |        0 |        0
188.86/188.91	c  188s |      18 |   423252 |   358152 |     4349    197 |        0 |        0
190.86/190.92	c  190s |      18 |   427044 |   361452 |     4349    199 |        0 |        0
192.86/192.95	c  192s |      18 |   430914 |   364852 |     4349    200 |        0 |        0
194.86/194.99	c  194s |      18 |   435418 |   368552 |     4349    202 |        0 |        0
196.96/197.01	c  196s |      18 |   440097 |   372252 |     4349    203 |        0 |        0
198.96/199.06	c  199s |      18 |   444277 |   375852 |     4349    205 |        0 |        0
200.96/201.06	c  201s |      18 |   448268 |   379252 |     4349    206 |        0 |        0
203.06/203.10	c  203s |      18 |   452555 |   382852 |     4349    208 |        0 |        0
205.06/205.14	c  205s |      18 |   456822 |   386452 |     4349    210 |        0 |        0
207.06/207.17	c  207s |      18 |   460994 |   390052 |     4349    211 |        0 |        0
209.06/209.17	c  209s |      18 |   465105 |   393552 |     4349    213 |        0 |        0
211.16/211.22	c  211s |      18 |   469534 |   397252 |     4349    214 |        0 |        0
213.15/213.23	c  213s |      18 |   474039 |   401052 |     4349    216 |        0 |        0
215.15/215.29	c  215s |      18 |   478045 |   404452 |     4349    218 |        0 |        0
217.25/217.33	c  217s |      18 |   482028 |   407952 |     4349    219 |        0 |        0
219.25/219.38	c  219s |      18 |   486248 |   411552 |     4349    221 |        0 |        0
221.25/221.39	c  221s |      18 |   490557 |   415152 |     4349    222 |        0 |        0
223.36/223.43	c  223s |      18 |   494897 |   418752 |     4349    224 |        0 |        0
225.35/225.47	c  225s |      18 |   499264 |   422352 |     4349    225 |        0 |        0
227.35/227.47	c  227s |      18 |   503668 |   425952 |     4349    227 |        0 |        0
229.35/229.47	c  229s |      18 |   507959 |   429452 |     4349    228 |        0 |        0
231.35/231.49	c  231s |      18 |   512384 |   433052 |     4349    230 |        0 |        0
233.46/233.52	c  233s |      18 |   516764 |   436652 |     4349    232 |        0 |        0
235.47/235.57	c  235s |      18 |   521219 |   440252 |     4349    233 |        0 |        0
237.56/237.61	c  237s |      18 |   525560 |   443852 |     4784    235 |        0 |        0
237.86/237.94	c  237s |      19 |   526332 |   444482 |     4784    235 |        0 |        0
239.86/239.96	c  239s |      19 |   531278 |   448482 |     4784    237 |        0 |        0
241.96/242.00	c  241s |      19 |   535795 |   452282 |     4784    238 |        0 |        0
243.96/244.03	c  243s |      19 |   539797 |   455782 |     4784    239 |        0 |        0
245.96/246.07	c  246s |      19 |   543766 |   459282 |     4784    241 |        0 |        0
247.96/248.08	c  248s |      19 |   547883 |   462882 |     4784    242 |        0 |        0
249.96/250.09	c  250s |      19 |   551867 |   466282 |     4784    244 |        0 |        0
252.05/252.14	c  252s |      19 |   555826 |   469682 |     4784    245 |        0 |        0
254.06/254.16	c  254s |      19 |   559650 |   472982 |     4784    246 |        0 |        0
256.15/256.22	c  256s |      19 |   563579 |   476382 |     4784    248 |        0 |        0
258.15/258.24	c  258s |      19 |   567734 |   479882 |     4784    249 |        0 |        0
260.25/260.30	c  260s |      19 |   571662 |   483282 |     4784    250 |        0 |        0
262.25/262.32	c  262s |      19 |   575556 |   486582 |     4784    252 |        0 |        0
264.25/264.36	c  264s |      19 |   579377 |   489882 |     4784    253 |        0 |        0
266.26/266.38	c  266s |      19 |   583498 |   493382 |     4784    255 |        0 |        0
268.36/268.43	c  268s |      19 |   587569 |   496882 |     4784    256 |        0 |        0
270.35/270.44	c  270s |      19 |   591494 |   500282 |     4784    257 |        0 |        0
272.35/272.46	c  272s |      19 |   595308 |   503582 |     4784    259 |        0 |        0
274.45/274.50	c  274s |      19 |   599559 |   507182 |     4784    260 |        0 |        0
276.45/276.51	c  276s |      19 |   603665 |   510782 |     4784    262 |        0 |        0
278.45/278.55	c  278s |      19 |   607973 |   514582 |     4784    263 |        0 |        0
280.46/280.58	c  280s |      19 |   612044 |   518082 |     4784    265 |        0 |        0
282.45/282.58	c  282s |      19 |   615977 |   521582 |     4784    266 |        0 |        0
284.55/284.64	c  284s |      19 |   619843 |   524982 |     4784    267 |        0 |        0
286.55/286.65	c  286s |      19 |   623743 |   528282 |     4784    269 |        0 |        0
288.55/288.65	c  288s |      19 |   627731 |   531782 |     4784    270 |        0 |        0
290.65/290.70	c  290s |      19 |   631866 |   535382 |     4784    271 |        0 |        0
292.65/292.73	c  292s |      19 |   635997 |   538882 |     4784    273 |        0 |        0
294.65/294.77	c  294s |      19 |   639955 |   542282 |     4784    274 |        0 |        0
296.75/296.81	c  296s |      19 |   643832 |   545582 |     4784    276 |        0 |        0
298.75/298.84	c  298s |      19 |   647895 |   549082 |     4784    277 |        0 |        0
300.75/300.84	c  300s |      19 |   651859 |   552482 |     4784    278 |        0 |        0
302.85/302.90	c  302s |      19 |   655960 |   555982 |     4784    280 |        0 |        0
304.84/304.94	c  304s |      19 |   660106 |   559482 |     4784    281 |        0 |        0
306.85/306.99	c  306s |      19 |   664274 |   562982 |     4784    283 |        0 |        0
308.94/309.01	c  308s |      19 |   668381 |   566482 |     4784    284 |        0 |        0
310.94/311.05	c  311s |      19 |   672357 |   569882 |     4784    285 |        0 |        0
313.04/313.10	c  313s |      19 |   676186 |   573182 |     4784    287 |        0 |        0
315.04/315.13	c  315s |      19 |   680357 |   576682 |     4784    288 |        0 |        0
317.04/317.15	c  317s |      19 |   684367 |   580182 |     4784    289 |        0 |        0
319.05/319.19	c  319s |      19 |   688311 |   583582 |     4784    291 |        0 |        0
321.04/321.20	c  321s |      19 |   692422 |   587082 |     4784    292 |        0 |        0
323.14/323.26	c  323s |      19 |   696213 |   590382 |     4784    294 |        0 |        0
325.14/325.29	c  325s |      19 |   700050 |   593782 |     4784    295 |        0 |        0
327.24/327.32	c  327s |      19 |   704271 |   597382 |     4784    296 |        0 |        0
329.24/329.36	c  329s |      19 |   708161 |   600882 |     4784    298 |        0 |        0
331.24/331.37	c  331s |      19 |   712304 |   604382 |     4784    299 |        0 |        0
333.35/333.41	c  333s |      19 |   716092 |   607682 |     4784    300 |        0 |        0
335.34/335.46	c  335s |      19 |   719987 |   611082 |     4784    302 |        0 |        0
337.34/337.48	c  337s |      19 |   723901 |   614482 |     4784    303 |        0 |        0
339.34/339.49	c  339s |      19 |   727695 |   617782 |     4784    304 |        0 |        0
341.44/341.53	c  341s |      19 |   731790 |   621182 |     4784    306 |        0 |        0
343.44/343.56	c  343s |      19 |   735758 |   624582 |     4784    307 |        0 |        0
345.45/345.60	c  345s |      19 |   739533 |   627882 |     4784    309 |        0 |        0
347.55/347.62	c  347s |      19 |   743376 |   631182 |     4784    310 |        0 |        0
349.54/349.69	c  349s |      19 |   747189 |   634482 |     4784    311 |        0 |        0
351.64/351.72	c  351s |      19 |   751216 |   637882 |     4784    313 |        0 |        0
353.64/353.76	c  353s |      19 |   755360 |   641382 |     4784    314 |        0 |        0
355.74/355.81	c  355s |      19 |   759050 |   644582 |     4784    315 |        0 |        0
357.74/357.85	c  357s |      19 |   762651 |   647782 |     4784    316 |        0 |        0
359.74/359.88	c  359s |      19 |   766667 |   651082 |     4784    318 |        0 |        0
361.84/361.91	c  361s |      19 |   770495 |   654382 |     4784    319 |        0 |        0
363.84/363.91	c  363s |      19 |   774415 |   657682 |     4784    320 |        0 |        0
365.84/365.93	c  365s |      19 |   778305 |   660982 |     4784    322 |        0 |        0
367.94/368.00	c  367s |      19 |   782025 |   664182 |     5263    323 |        0 |        0
369.64/369.79	c  369s |      20 |   785064 |   666827 |     5263    324 |        0 |        0
371.74/371.82	c  371s |      20 |   789971 |   670527 |     5263    325 |        0 |        0
373.73/373.83	c  373s |      20 |   793976 |   673827 |     5263    326 |        0 |        0
375.73/375.84	c  375s |      20 |   798029 |   677127 |     5263    328 |        0 |        0
377.73/377.90	c  377s |      20 |   802157 |   680427 |     5263    329 |        0 |        0
379.83/379.94	c  379s |      20 |   806298 |   683827 |     5263    330 |        0 |        0
381.83/381.99	c  381s |      20 |   810104 |   687027 |     5263    331 |        0 |        0
383.94/384.01	c  383s |      20 |   813980 |   690327 |     5263    332 |        0 |        0
385.93/386.04	c  385s |      20 |   818009 |   693527 |     5263    334 |        0 |        0
387.93/388.08	c  388s |      20 |   822311 |   697027 |     5263    335 |        0 |        0
390.03/390.11	c  390s |      20 |   826472 |   700427 |     5263    336 |        0 |        0
392.03/392.17	c  392s |      20 |   830562 |   703827 |     5263    337 |        0 |        0
394.03/394.18	c  394s |      20 |   834562 |   707127 |     5263    339 |        0 |        0
396.13/396.21	c  396s |      20 |   838424 |   710327 |     5263    340 |        0 |        0
398.13/398.25	c  398s |      20 |   843469 |   714027 |     5263    341 |        0 |        0
400.23/400.31	c  400s |      20 |   847290 |   717227 |     5263    342 |        0 |        0
402.23/402.35	c  402s |      20 |   851268 |   720527 |     5263    343 |        0 |        0
404.23/404.39	c  404s |      20 |   855084 |   723827 |     5263    345 |        0 |        0
406.33/406.45	c  406s |      20 |   859056 |   727227 |     5263    346 |        0 |        0
408.33/408.45	c  408s |      20 |   862765 |   730427 |     5263    347 |        0 |        0
410.33/410.49	c  410s |      20 |   867107 |   733927 |     5263    348 |        0 |        0
412.43/412.54	c  412s |      20 |   871298 |   737427 |     5263    350 |        0 |        0
414.43/414.55	c  414s |      20 |   875651 |   741027 |     5263    351 |        0 |        0
416.42/416.59	c  416s |      20 |   879976 |   744627 |     5263    352 |        0 |        0
418.52/418.61	c  418s |      20 |   883704 |   747827 |     5263    353 |        0 |        0
420.52/420.62	c  420s |      20 |   887695 |   751227 |     5263    355 |        0 |        0
422.52/422.63	c  422s |      20 |   892029 |   754827 |     5263    356 |        0 |        0
424.53/424.66	c  424s |      20 |   896647 |   758527 |     5263    357 |        0 |        0
426.62/426.71	c  426s |      20 |   900652 |   761927 |     5263    359 |        0 |        0
428.62/428.75	c  428s |      20 |   905056 |   765627 |     5263    360 |        0 |        0
430.62/430.77	c  430s |      20 |   909269 |   769127 |     5263    361 |        0 |        0
432.72/432.80	c  432s |      20 |   913062 |   772427 |     5263    363 |        0 |        0
434.72/434.84	c  434s |      20 |   917552 |   776127 |     5263    364 |        0 |        0
436.73/436.89	c  436s |      20 |   922069 |   779827 |     5263    365 |        0 |        0
438.72/438.89	c  438s |      20 |   926311 |   783327 |     5263    367 |        0 |        0
440.82/440.92	c  440s |      20 |   930319 |   786727 |     5263    368 |        0 |        0
442.82/442.95	c  442s |      20 |   934497 |   790227 |     5263    369 |        0 |        0
444.82/444.99	c  444s |      20 |   938150 |   793427 |     5263    370 |        0 |        0
446.82/446.99	c  446s |      20 |   941915 |   796627 |     5263    371 |        0 |        0
448.92/449.03	c  448s |      20 |   946515 |   800327 |     5263    373 |        0 |        0
450.92/451.03	c  450s |      20 |   950593 |   803727 |     5263    374 |        0 |        0
452.92/453.06	c  453s |      20 |   954357 |   807027 |     5263    375 |        0 |        0
454.92/455.08	c  455s |      20 |   958744 |   810627 |     5263    377 |        0 |        0
457.02/457.10	c  457s |      20 |   963686 |   814527 |     5263    378 |        0 |        0
459.02/459.15	c  459s |      20 |   968951 |   818527 |     5263    379 |        0 |        0
461.12/461.21	c  461s |      20 |   973578 |   822127 |     5263    381 |        0 |        0
463.13/463.21	c  463s |      20 |   977792 |   825627 |     5263    382 |        0 |        0
465.12/465.23	c  465s |      20 |   982484 |   829327 |     5263    383 |        0 |        0
467.12/467.27	c  467s |      20 |   986804 |   832827 |     5263    385 |        0 |        0
469.22/469.31	c  469s |      20 |   991551 |   836627 |     5263    386 |        0 |        0
471.22/471.31	c  471s |      20 |   996095 |   840227 |     5263    387 |        0 |        0
473.22/473.32	c  473s |      20 |  1000368 |   843727 |     5263    389 |        0 |        0
475.23/475.37	c  475s |      20 |  1004839 |   847427 |     5263    390 |        0 |        0
477.33/477.43	c  477s |      20 |  1009908 |   851527 |     5263    391 |        0 |        0
479.32/479.44	c  479s |      20 |  1014491 |   855227 |     5263    393 |        0 |        0
481.42/481.50	c  481s |      20 |  1019052 |   858827 |     5263    394 |        0 |        0
483.42/483.53	c  483s |      20 |  1023442 |   862427 |     5263    395 |        0 |        0
485.42/485.56	c  485s |      20 |  1027583 |   865827 |     5263    397 |        0 |        0
487.42/487.58	c  487s |      20 |  1032762 |   869727 |     5263    398 |        0 |        0
489.52/489.62	c  489s |      20 |  1037419 |   873427 |     5263    399 |        0 |        0
491.52/491.67	c  491s |      20 |  1041830 |   877027 |     5263    401 |        0 |        0
493.62/493.73	c  493s |      20 |  1046270 |   880627 |     5263    402 |        0 |        0
495.61/495.75	c  495s |      20 |  1050240 |   883927 |     5263    403 |        0 |        0
497.61/497.76	c  497s |      20 |  1054519 |   887427 |     5263    405 |        0 |        0
499.61/499.78	c  499s |      20 |  1059559 |   891427 |     5263    406 |        0 |        0
501.71/501.82	c  501s |      20 |  1064104 |   895127 |     5263    407 |        0 |        0
503.72/503.83	c  503s |      20 |  1068964 |   898927 |     5263    409 |        0 |        0
505.71/505.86	c  505s |      20 |  1073216 |   902427 |     5263    410 |        0 |        0
507.81/507.90	c  507s |      20 |  1077657 |   906027 |     5263    411 |        0 |        0
509.81/509.96	c  509s |      20 |  1082224 |   909627 |     5263    413 |        0 |        0
511.81/511.97	c  511s |      20 |  1086175 |   912827 |     5263    414 |        0 |        0
513.91/514.03	c  513s |      20 |  1090402 |   916227 |     5263    415 |        0 |        0
515.92/516.03	c  515s |      20 |  1094312 |   919427 |     5263    416 |        0 |        0
517.91/518.06	c  518s |      20 |  1098371 |   922727 |     5263    418 |        0 |        0
519.91/520.09	c  520s |      20 |  1102652 |   926227 |     5263    419 |        0 |        0
522.01/522.14	c  522s |      20 |  1106661 |   929527 |     5263    420 |        0 |        0
524.11/524.20	c  524s |      20 |  1110775 |   933027 |     5263    421 |        0 |        0
526.11/526.24	c  526s |      20 |  1115032 |   936527 |     5263    423 |        0 |        0
528.10/528.25	c  528s |      20 |  1119267 |   939927 |     5263    424 |        0 |        0
530.11/530.26	c  530s |      20 |  1124217 |   943527 |     5263    425 |        0 |        0
532.10/532.28	c  532s |      20 |  1128679 |   947027 |     5263    427 |        0 |        0
534.20/534.31	c  534s |      20 |  1133731 |   950927 |     5263    428 |        0 |        0
536.20/536.35	c  536s |      20 |  1138666 |   955027 |     5263    429 |        0 |        0
538.20/538.39	c  538s |      20 |  1143289 |   958927 |     5263    431 |        0 |        0
540.30/540.41	c  540s |      20 |  1147572 |   962627 |     5263    432 |        0 |        0
542.31/542.43	c  542s |      20 |  1151659 |   966127 |     5263    434 |        0 |        0
544.31/544.47	c  544s |      20 |  1156305 |   970127 |     5263    435 |        0 |        0
546.41/546.53	c  546s |      20 |  1160960 |   973827 |     5263    436 |        0 |        0
548.41/548.57	c  548s |      20 |  1165457 |   977427 |     5263    438 |        0 |        0
550.41/550.58	c  550s |      20 |  1169416 |   980727 |     5263    439 |        0 |        0
552.41/552.59	c  552s |      20 |  1174015 |   984527 |     5263    440 |        0 |        0
554.51/554.61	c  554s |      20 |  1178158 |   988027 |     5263    441 |        0 |        0
556.52/556.63	c  556s |      20 |  1182589 |   991627 |     5263    443 |        0 |        0
558.51/558.65	c  558s |      20 |  1187379 |   995327 |     5790    444 |        0 |        0
560.51/560.68	c  560s |      20 |  1191917 |   998827 |     5790    445 |        0 |        0
561.41/561.58	c  561s |      21 |  1193832 |  1000345 |     5790    446 |        0 |        0
563.51/563.60	c  563s |      21 |  1198226 |  1003945 |     5790    447 |        0 |        0
565.51/565.60	c  565s |      21 |  1202898 |  1007645 |     5790    448 |        0 |        0
567.51/567.65	c  567s |      21 |  1207458 |  1011245 |     5790    449 |        0 |        0
569.61/569.71	c  569s |      21 |  1212225 |  1014845 |     5790    450 |        0 |        0
571.61/571.73	c  571s |      21 |  1216401 |  1018145 |     5790    452 |        0 |        0
573.61/573.73	c  573s |      21 |  1220923 |  1021545 |     5790    453 |        0 |        0
575.61/575.74	c  575s |      21 |  1225351 |  1025045 |     5790    454 |        0 |        0
577.61/577.76	c  577s |      21 |  1229443 |  1028345 |     5790    455 |        0 |        0
579.61/579.76	c  579s |      21 |  1233694 |  1031845 |     5790    456 |        0 |        0
581.60/581.79	c  581s |      21 |  1237948 |  1035245 |     5790    457 |        0 |        0
583.70/583.80	c  583s |      21 |  1242333 |  1038645 |     5790    458 |        0 |        0
585.70/585.84	c  585s |      21 |  1246228 |  1041945 |     5790    460 |        0 |        0
587.70/587.87	c  587s |      21 |  1250281 |  1045345 |     5790    461 |        0 |        0
589.80/589.92	c  589s |      21 |  1255335 |  1049345 |     5790    462 |        0 |        0
591.81/591.94	c  591s |      21 |  1259861 |  1052845 |     5790    463 |        0 |        0
593.80/593.99	c  593s |      21 |  1263888 |  1056145 |     5790    464 |        0 |        0
595.90/596.05	c  595s |      21 |  1268450 |  1059645 |     5790    465 |        0 |        0
597.90/598.08	c  598s |      21 |  1273382 |  1063445 |     5790    467 |        0 |        0
600.00/600.13	c  600s |      21 |  1278192 |  1067245 |     5790    468 |        0 |        0
602.00/602.17	c  602s |      21 |  1282607 |  1070745 |     5790    469 |        0 |        0
604.10/604.24	c  604s |      21 |  1286662 |  1074145 |     5790    470 |        0 |        0
606.20/606.30	c  606s |      21 |  1290819 |  1077545 |     5790    471 |        0 |        0
608.20/608.33	c  608s |      21 |  1295351 |  1081145 |     5790    473 |        0 |        0
610.20/610.39	c  610s |      21 |  1299845 |  1084745 |     5790    474 |        0 |        0
612.30/612.41	c  612s |      21 |  1303892 |  1088045 |     5790    475 |        0 |        0
614.30/614.45	c  614s |      21 |  1308174 |  1091545 |     5790    476 |        0 |        0
616.30/616.46	c  616s |      21 |  1312412 |  1095045 |     5790    477 |        0 |        0
618.40/618.51	c  618s |      21 |  1316616 |  1098445 |     5790    478 |        0 |        0
620.40/620.52	c  620s |      21 |  1320585 |  1101645 |     5790    480 |        0 |        0
622.39/622.55	c  622s |      21 |  1324917 |  1105145 |     5790    481 |        0 |        0
624.39/624.55	c  624s |      21 |  1328528 |  1108145 |     5790    482 |        0 |        0
626.39/626.56	c  626s |      21 |  1332484 |  1111445 |     5790    483 |        0 |        0
628.39/628.58	c  628s |      21 |  1336862 |  1114945 |     5790    484 |        0 |        0
630.49/630.60	c  630s |      21 |  1340741 |  1118145 |     5790    485 |        0 |        0
632.50/632.67	c  632s |      21 |  1344573 |  1121345 |     5790    486 |        0 |        0
634.49/634.67	c  634s |      21 |  1348236 |  1124445 |     5790    487 |        0 |        0
636.59/636.72	c  636s |      21 |  1352477 |  1127845 |     5790    488 |        0 |        0
638.59/638.75	c  638s |      21 |  1356925 |  1131345 |     5790    489 |        0 |        0
640.59/640.79	c  640s |      21 |  1360750 |  1134545 |     5790    490 |        0 |        0
642.69/642.80	c  642s |      21 |  1364566 |  1137645 |     5790    492 |        0 |        0
644.69/644.82	c  644s |      21 |  1368602 |  1140945 |     5790    493 |        0 |        0
646.70/646.87	c  646s |      21 |  1372648 |  1144245 |     5790    494 |        0 |        0
648.79/648.90	c  648s |      21 |  1377249 |  1147745 |     5790    495 |        0 |        0
650.79/650.94	c  650s |      21 |  1381673 |  1151145 |     5790    496 |        0 |        0
652.79/652.99	c  652s |      21 |  1386087 |  1154645 |     5790    497 |        0 |        0
654.89/655.00	c  654s |      21 |  1390166 |  1157845 |     5790    498 |        0 |        0
656.89/657.04	c  656s |      21 |  1394586 |  1161145 |     5790    499 |        0 |        0
658.89/659.07	c  659s |      21 |  1399234 |  1164645 |     5790    501 |        0 |        0
660.99/661.12	c  661s |      21 |  1403027 |  1167745 |     5790    502 |        0 |        0
662.99/663.16	c  663s |      21 |  1407287 |  1170945 |     5790    503 |        0 |        0
665.09/665.20	c  665s |      21 |  1411585 |  1174245 |     5790    504 |        0 |        0
667.09/667.21	c  667s |      21 |  1415837 |  1177645 |     5790    505 |        0 |        0
669.09/669.21	c  669s |      21 |  1419563 |  1180745 |     5790    506 |        0 |        0
671.09/671.22	c  671s |      21 |  1423321 |  1183745 |     5790    507 |        0 |        0
673.09/673.30	c  673s |      21 |  1427072 |  1186845 |     5790    508 |        0 |        0
675.18/675.31	c  675s |      21 |  1431419 |  1190145 |     5790    509 |        0 |        0
677.18/677.31	c  677s |      21 |  1435201 |  1193245 |     5790    510 |        0 |        0
679.18/679.33	c  679s |      21 |  1438833 |  1196245 |     5790    511 |        0 |        0
681.18/681.34	c  681s |      21 |  1443113 |  1199645 |     5790    512 |        0 |        0
683.18/683.39	c  683s |      21 |  1446765 |  1202845 |     5790    513 |        0 |        0
685.19/685.40	c  685s |      21 |  1451062 |  1206245 |     5790    515 |        0 |        0
687.28/687.43	c  687s |      21 |  1455019 |  1209545 |     5790    516 |        0 |        0
689.28/689.49	c  689s |      21 |  1458834 |  1212845 |     5790    517 |        0 |        0
691.38/691.54	c  691s |      21 |  1462737 |  1216145 |     5790    518 |        0 |        0
693.38/693.59	c  693s |      21 |  1467038 |  1219645 |     5790    519 |        0 |        0
695.48/695.67	c  695s |      21 |  1471168 |  1222845 |     5790    520 |        0 |        0
697.48/697.69	c  697s |      21 |  1475179 |  1225945 |     5790    521 |        0 |        0
699.49/699.70	c  699s |      21 |  1479017 |  1229145 |     5790    522 |        0 |        0
701.58/701.73	c  701s |      21 |  1482862 |  1232345 |     5790    523 |        0 |        0
703.58/703.74	c  703s |      21 |  1486945 |  1235745 |     5790    525 |        0 |        0
705.59/705.77	c  705s |      21 |  1491161 |  1239045 |     5790    526 |        0 |        0
707.68/707.82	c  707s |      21 |  1495463 |  1242345 |     5790    527 |        0 |        0
709.68/709.88	c  709s |      21 |  1499538 |  1245545 |     5790    528 |        0 |        0
711.78/711.91	c  711s |      21 |  1503624 |  1248845 |     5790    529 |        0 |        0
713.78/713.92	c  713s |      21 |  1507580 |  1252045 |     5790    530 |        0 |        0
715.78/715.92	c  715s |      21 |  1511322 |  1255145 |     5790    531 |        0 |        0
717.78/717.97	c  717s |      21 |  1515006 |  1258245 |     5790    532 |        0 |        0
719.78/719.98	c  719s |      21 |  1519099 |  1261545 |     5790    533 |        0 |        0
721.77/721.99	c  721s |      21 |  1522824 |  1264645 |     5790    534 |        0 |        0
723.87/724.00	c  723s |      21 |  1526385 |  1267645 |     5790    535 |        0 |        0
725.88/726.01	c  725s |      21 |  1529984 |  1270645 |     5790    536 |        0 |        0
727.87/728.03	c  727s |      21 |  1533964 |  1274045 |     5790    537 |        0 |        0
729.87/730.09	c  730s |      21 |  1537884 |  1277445 |     5790    538 |        0 |        0
731.96/732.13	c  732s |      21 |  1542480 |  1281045 |     5790    540 |        0 |        0
733.96/734.13	c  734s |      21 |  1546664 |  1284245 |     5790    541 |        0 |        0
735.96/736.13	c  736s |      21 |  1550603 |  1287345 |     5790    542 |        0 |        0
737.97/738.16	c  738s |      21 |  1554665 |  1290545 |     5790    543 |        0 |        0
740.06/740.21	c  740s |      21 |  1558657 |  1293645 |     5790    544 |        0 |        0
742.06/742.28	c  742s |      21 |  1562750 |  1296845 |     5790    545 |        0 |        0
744.16/744.33	c  744s |      21 |  1566799 |  1300045 |     5790    546 |        0 |        0
746.16/746.34	c  746s |      21 |  1570684 |  1303145 |     5790    547 |        0 |        0
748.16/748.39	c  748s |      21 |  1574814 |  1306345 |     5790    548 |        0 |        0
750.26/750.43	c  750s |      21 |  1578617 |  1309445 |     5790    549 |        0 |        0
752.26/752.45	c  752s |      21 |  1582576 |  1312645 |     5790    550 |        0 |        0
754.25/754.48	c  754s |      21 |  1586210 |  1315745 |     5790    551 |        0 |        0
756.25/756.49	c  756s |      21 |  1590271 |  1319045 |     5790    552 |        0 |        0
758.35/758.55	c  758s |      21 |  1594248 |  1322245 |     5790    553 |        0 |        0
760.35/760.57	c  760s |      21 |  1598141 |  1325345 |     5790    555 |        0 |        0
762.45/762.61	c  762s |      21 |  1602220 |  1328745 |     5790    556 |        0 |        0
764.45/764.65	c  764s |      21 |  1605993 |  1331845 |     5790    557 |        0 |        0
766.44/766.67	c  766s |      21 |  1609666 |  1334845 |     5790    558 |        0 |        0
768.54/768.73	c  768s |      21 |  1613584 |  1338045 |     5790    559 |        0 |        0
770.54/770.78	c  770s |      21 |  1617493 |  1341245 |     5790    560 |        0 |        0
772.54/772.78	c  772s |      21 |  1621441 |  1344345 |     5790    561 |        0 |        0
774.54/774.79	c  774s |      21 |  1625103 |  1347345 |     5790    562 |        0 |        0
776.64/776.80	c  776s |      21 |  1629636 |  1350845 |     5790    563 |        0 |        0
778.65/778.84	c  778s |      21 |  1634170 |  1354245 |     5790    564 |        0 |        0
780.64/780.85	c  780s |      21 |  1638608 |  1357645 |     5790    565 |        0 |        0
782.64/782.88	c  782s |      21 |  1643281 |  1361145 |     5790    567 |        0 |        0
784.73/784.91	c  784s |      21 |  1647875 |  1364645 |     5790    568 |        0 |        0
786.73/786.92	c  786s |      21 |  1652691 |  1368145 |     5790    569 |        0 |        0
788.73/788.96	c  788s |      21 |  1657030 |  1371545 |     5790    570 |        0 |        0
790.74/790.98	c  790s |      21 |  1661951 |  1375145 |     5790    571 |        0 |        0
792.83/793.04	c  792s |      21 |  1666619 |  1378845 |     5790    573 |        0 |        0
794.83/795.05	c  794s |      21 |  1670764 |  1382245 |     5790    574 |        0 |        0
796.93/797.10	c  797s |      21 |  1674806 |  1385445 |     5790    575 |        0 |        0
798.93/799.11	c  799s |      21 |  1678960 |  1388645 |     5790    576 |        0 |        0
800.93/801.17	c  801s |      21 |  1683257 |  1392145 |     5790    577 |        0 |        0
802.93/803.19	c  803s |      21 |  1687169 |  1395445 |     5790    578 |        0 |        0
805.04/805.23	c  805s |      21 |  1691359 |  1398945 |     5790    579 |        0 |        0
807.03/807.28	c  807s |      21 |  1695141 |  1402245 |     5790    580 |        0 |        0
809.03/809.29	c  809s |      21 |  1699389 |  1405545 |     5790    581 |        0 |        0
811.13/811.32	c  811s |      21 |  1703370 |  1408645 |     5790    583 |        0 |        0
813.13/813.38	c  813s |      21 |  1707514 |  1411845 |     5790    584 |        0 |        0
815.13/815.39	c  815s |      21 |  1711082 |  1414845 |     5790    585 |        0 |        0
817.23/817.42	c  817s |      21 |  1715294 |  1418145 |     5790    586 |        0 |        0
819.23/819.44	c  819s |      21 |  1719076 |  1421145 |     5790    587 |        0 |        0
821.23/821.46	c  821s |      21 |  1722900 |  1424245 |     5790    588 |        0 |        0
823.22/823.47	c  823s |      21 |  1726781 |  1427445 |     5790    589 |        0 |        0
825.22/825.49	c  825s |      21 |  1730918 |  1430745 |     5790    590 |        0 |        0
827.32/827.54	c  827s |      21 |  1734950 |  1433945 |     5790    591 |        0 |        0
829.33/829.59	c  829s |      21 |  1739078 |  1437145 |     5790    592 |        0 |        0
831.42/831.64	c  831s |      21 |  1742926 |  1440245 |     5790    593 |        0 |        0
833.41/833.66	c  833s |      21 |  1746823 |  1443345 |     5790    594 |        0 |        0
835.51/835.70	c  835s |      21 |  1750766 |  1446445 |     5790    595 |        0 |        0
837.51/837.74	c  837s |      21 |  1754633 |  1449445 |     5790    596 |        0 |        0
839.51/839.78	c  839s |      21 |  1758426 |  1452445 |     5790    597 |        0 |        0
841.51/841.79	c  841s |      21 |  1761926 |  1455345 |     5790    598 |        0 |        0
843.61/843.84	c  843s |      21 |  1765718 |  1458545 |     5790    599 |        0 |        0
845.61/845.88	c  845s |      21 |  1769516 |  1461745 |     5790    600 |        0 |        0
847.61/847.88	c  847s |      21 |  1773295 |  1464945 |     5790    601 |        0 |        0
849.71/849.94	c  849s |      21 |  1776934 |  1468045 |     5790    602 |        0 |        0
851.80/852.00	c  851s |      21 |  1780462 |  1471045 |     5790    604 |        0 |        0
853.80/854.02	c  853s |      21 |  1784169 |  1474145 |     5790    605 |        0 |        0
855.80/856.08	c  856s |      21 |  1788453 |  1477445 |     5790    606 |        0 |        0
857.81/858.09	c  858s |      21 |  1792384 |  1480545 |     5790    607 |        0 |        0
859.90/860.15	c  860s |      21 |  1796361 |  1483645 |     5790    608 |        0 |        0
861.90/862.19	c  862s |      21 |  1800322 |  1486745 |     5790    609 |        0 |        0
864.00/864.20	c  864s |      21 |  1804025 |  1489645 |     5790    610 |        0 |        0
866.00/866.24	c  866s |      21 |  1807764 |  1492545 |     6370    611 |        0 |        0
868.10/868.30	c  868s |      21 |  1811385 |  1495445 |     6370    611 |        0 |        0
870.10/870.35	c  870s |      21 |  1814858 |  1498345 |     6370    612 |        0 |        0
871.79/872.00	c  871s |      22 |  1817495 |  1500622 |     6370    613 |        0 |        0
873.79/874.05	c  874s |      22 |  1821436 |  1503822 |     6370    614 |        0 |        0
875.79/876.09	c  876s |      22 |  1825124 |  1506822 |     6370    615 |        0 |        0
877.79/878.09	c  878s |      22 |  1828891 |  1509822 |     6370    616 |        0 |        0
879.80/880.09	c  880s |      22 |  1832715 |  1512822 |     6370    617 |        0 |        0
881.88/882.14	c  882s |      22 |  1836242 |  1515722 |     6370    618 |        0 |        0
883.88/884.17	c  884s |      22 |  1840093 |  1518722 |     6370    619 |        0 |        0
885.88/886.19	c  886s |      22 |  1843655 |  1521622 |     6370    619 |        0 |        0
887.98/888.24	c  888s |      22 |  1847521 |  1524722 |     6370    620 |        0 |        0
889.98/890.29	c  890s |      22 |  1851738 |  1527822 |     6370    621 |        0 |        0
892.08/892.33	c  892s |      22 |  1855270 |  1530722 |     6370    622 |        0 |        0
894.08/894.36	c  894s |      22 |  1859121 |  1533722 |     6370    623 |        0 |        0
896.08/896.37	c  896s |      22 |  1862849 |  1536722 |     6370    624 |        0 |        0
898.18/898.44	c  898s |      22 |  1866846 |  1539822 |     6370    625 |        0 |        0
900.18/900.45	c  900s |      22 |  1870427 |  1542722 |     6370    626 |        0 |        0
902.27/902.51	c  902s |      22 |  1874221 |  1545622 |     6370    627 |        0 |        0
904.28/904.52	c  904s |      22 |  1877959 |  1548622 |     6370    628 |        0 |        0
906.29/906.53	c  906s |      22 |  1882218 |  1551822 |     6370    629 |        0 |        0
908.28/908.53	c  908s |      22 |  1885981 |  1554722 |     6370    630 |        0 |        0
910.28/910.55	c  910s |      22 |  1889651 |  1557722 |     6370    630 |        0 |        0
912.27/912.58	c  912s |      22 |  1893234 |  1560722 |     6370    631 |        0 |        0
914.37/914.61	c  914s |      22 |  1897258 |  1563922 |     6370    632 |        0 |        0
916.37/916.63	c  916s |      22 |  1901054 |  1566922 |     6370    633 |        0 |        0
918.38/918.68	c  918s |      22 |  1904878 |  1570022 |     6370    634 |        0 |        0
920.48/920.74	c  920s |      22 |  1908852 |  1573022 |     6370    635 |        0 |        0
922.46/922.75	c  922s |      22 |  1912444 |  1575922 |     6370    636 |        0 |        0
924.56/924.81	c  924s |      22 |  1916240 |  1579022 |     6370    637 |        0 |        0
926.56/926.85	c  926s |      22 |  1919885 |  1582022 |     6370    638 |        0 |        0
928.56/928.88	c  928s |      22 |  1923587 |  1585022 |     6370    639 |        0 |        0
930.66/930.92	c  930s |      22 |  1927230 |  1588022 |     6370    640 |        0 |        0
932.67/932.98	c  932s |      22 |  1930845 |  1590922 |     6370    641 |        0 |        0
934.66/934.99	c  934s |      22 |  1934232 |  1593722 |     6370    641 |        0 |        0
936.76/937.03	c  936s |      22 |  1937987 |  1596722 |     6370    642 |        0 |        0
938.76/939.06	c  939s |      22 |  1941499 |  1599622 |     6370    643 |        0 |        0
940.86/941.11	c  941s |      22 |  1944923 |  1602422 |     6370    644 |        0 |        0
942.85/943.15	c  943s |      22 |  1948992 |  1605722 |     6370    645 |        0 |        0
944.85/945.18	c  945s |      22 |  1952412 |  1608622 |     6370    646 |        0 |        0
946.96/947.21	c  947s |      22 |  1955614 |  1611422 |     6370    647 |        0 |        0
948.95/949.26	c  949s |      22 |  1958834 |  1614322 |     6370    648 |        0 |        0
951.05/951.30	c  951s |      22 |  1962592 |  1617422 |     6370    649 |        0 |        0
953.05/953.34	c  953s |      22 |  1966838 |  1620622 |     6370    650 |        0 |        0
955.04/955.36	c  955s |      22 |  1970765 |  1623922 |     6370    651 |        0 |        0
957.14/957.40	c  957s |      22 |  1974352 |  1626922 |     6370    652 |        0 |        0
959.14/959.43	c  959s |      22 |  1977940 |  1629922 |     6370    652 |        0 |        0
961.15/961.44	c  961s |      22 |  1982013 |  1633022 |     6370    653 |        0 |        0
963.14/963.49	c  963s |      22 |  1985586 |  1635922 |     6370    654 |        0 |        0
965.24/965.56	c  965s |      22 |  1989320 |  1638922 |     6370    655 |        0 |        0
967.24/967.58	c  967s |      22 |  1993134 |  1642022 |     6370    656 |        0 |        0
969.24/969.58	c  969s |      22 |  1996607 |  1644922 |     6370    657 |        0 |        0
971.24/971.59	c  971s |      22 |  2000383 |  1647922 |     6370    658 |        0 |        0
973.34/973.62	c  973s |      22 |  2003714 |  1650722 |     6370    659 |        0 |        0
975.34/975.66	c  975s |      22 |  2007078 |  1653622 |     6370    660 |        0 |        0
977.34/977.68	c  977s |      22 |  2010987 |  1656622 |     6370    661 |        0 |        0
979.44/979.71	c  979s |      22 |  2014460 |  1659422 |     6370    662 |        0 |        0
981.43/981.76	c  981s |      22 |  2018046 |  1662322 |     6370    662 |        0 |        0
983.43/983.80	c  983s |      22 |  2021653 |  1665322 |     6370    663 |        0 |        0
985.53/985.86	c  985s |      22 |  2025275 |  1668222 |     6370    664 |        0 |        0
987.53/987.89	c  987s |      22 |  2028768 |  1671022 |     6370    665 |        0 |        0
989.53/989.89	c  989s |      22 |  2032516 |  1674022 |     6370    666 |        0 |        0
991.63/991.96	c  991s |      22 |  2036134 |  1676922 |     6370    667 |        0 |        0
993.62/993.99	c  993s |      22 |  2039602 |  1679722 |     6370    668 |        0 |        0
995.72/996.02	c  995s |      22 |  2043256 |  1682622 |     6370    669 |        0 |        0
997.72/998.06	c  998s |      22 |  2046856 |  1685422 |     6370    669 |        0 |        0
999.73/1000.07	c 1000s |      22 |  2050451 |  1688222 |     6370    670 |        0 |        0
1001.82/1002.12	c 1002s |      22 |  2054117 |  1691122 |     6370    671 |        0 |        0
1003.81/1004.13	c 1004s |      22 |  2057373 |  1693822 |     6370    672 |        0 |        0
1005.81/1006.18	c 1006s |      22 |  2060986 |  1696622 |     6370    673 |        0 |        0
1007.91/1008.23	c 1008s |      22 |  2064441 |  1699422 |     6370    674 |        0 |        0
1009.91/1010.26	c 1010s |      22 |  2068340 |  1702522 |     6370    675 |        0 |        0
1012.00/1012.32	c 1012s |      22 |  2071694 |  1705322 |     6370    676 |        0 |        0
1014.01/1014.34	c 1014s |      22 |  2075153 |  1708222 |     6370    676 |        0 |        0
1016.00/1016.34	c 1016s |      22 |  2078771 |  1711122 |     6370    677 |        0 |        0
1018.10/1018.40	c 1018s |      22 |  2082528 |  1714022 |     6370    678 |        0 |        0
1020.10/1020.42	c 1020s |      22 |  2085864 |  1716822 |     6370    679 |        0 |        0
1022.10/1022.46	c 1022s |      22 |  2088836 |  1719422 |     6370    680 |        0 |        0
1024.20/1024.51	c 1024s |      22 |  2092729 |  1722522 |     6370    681 |        0 |        0
1026.20/1026.52	c 1026s |      22 |  2096285 |  1725322 |     6370    682 |        0 |        0
1028.20/1028.57	c 1028s |      22 |  2099588 |  1728022 |     6370    683 |        0 |        0
1030.30/1030.61	c 1030s |      22 |  2102982 |  1730822 |     6370    683 |        0 |        0
1032.29/1032.66	c 1032s |      22 |  2106466 |  1733622 |     6370    684 |        0 |        0
1034.29/1034.69	c 1034s |      22 |  2109958 |  1736422 |     6370    685 |        0 |        0
1036.39/1036.75	c 1036s |      22 |  2113416 |  1739222 |     6370    686 |        0 |        0
1038.49/1038.81	c 1038s |      22 |  2117013 |  1742122 |     6370    687 |        0 |        0
1040.48/1040.84	c 1040s |      22 |  2120574 |  1745022 |     6370    688 |        0 |        0
1042.49/1042.88	c 1042s |      22 |  2124114 |  1747822 |     6370    689 |        0 |        0
1044.58/1044.92	c 1044s |      22 |  2127822 |  1750722 |     6370    689 |        0 |        0
1046.58/1046.95	c 1046s |      22 |  2131168 |  1753522 |     6370    690 |        0 |        0
1048.58/1048.97	c 1048s |      22 |  2134521 |  1756322 |     6370    691 |        0 |        0
1050.68/1051.00	c 1050s |      22 |  2137855 |  1759122 |     6370    692 |        0 |        0
1052.67/1053.04	c 1052s |      22 |  2141405 |  1762022 |     6370    693 |        0 |        0
1054.77/1055.13	c 1055s |      22 |  2144858 |  1764822 |     6370    694 |        0 |        0
1056.78/1057.14	c 1057s |      22 |  2148715 |  1767922 |     6370    695 |        0 |        0
1058.77/1059.14	c 1059s |      22 |  2152051 |  1770722 |     6370    696 |        0 |        0
1060.77/1061.17	c 1061s |      22 |  2155438 |  1773522 |     6370    696 |        0 |        0
1062.87/1063.22	c 1063s |      22 |  2159225 |  1776522 |     6370    697 |        0 |        0
1064.87/1065.23	c 1065s |      22 |  2163012 |  1779522 |     6370    698 |        0 |        0
1066.87/1067.23	c 1067s |      22 |  2166519 |  1782322 |     6370    699 |        0 |        0
1068.87/1069.25	c 1069s |      22 |  2170005 |  1785122 |     6370    700 |        0 |        0
1070.87/1071.29	c 1071s |      22 |  2173539 |  1787922 |     6370    701 |        0 |        0
1072.97/1073.34	c 1073s |      22 |  2177040 |  1790722 |     6370    702 |        0 |        0
1075.07/1075.41	c 1075s |      22 |  2180590 |  1793722 |     6370    703 |        0 |        0
1077.07/1077.48	c 1077s |      22 |  2183988 |  1796522 |     6370    704 |        0 |        0
1079.07/1079.49	c 1079s |      22 |  2187361 |  1799422 |     6370    704 |        0 |        0
1081.17/1081.52	c 1081s |      22 |  2190664 |  1802222 |     6370    705 |        0 |        0
1083.17/1083.59	c 1083s |      22 |  2194097 |  1805122 |     6370    706 |        0 |        0
1085.26/1085.60	c 1085s |      22 |  2197423 |  1807922 |     6370    707 |        0 |        0
1087.26/1087.66	c 1087s |      22 |  2200939 |  1810922 |     6370    708 |        0 |        0
1089.26/1089.69	c 1089s |      22 |  2204444 |  1813822 |     6370    709 |        0 |        0
1091.36/1091.72	c 1091s |      22 |  2208117 |  1816822 |     6370    710 |        0 |        0
1093.36/1093.72	c 1093s |      22 |  2211881 |  1819722 |     6370    711 |        0 |        0
1095.36/1095.77	c 1095s |      22 |  2215808 |  1822922 |     6370    712 |        0 |        0
1097.36/1097.79	c 1097s |      22 |  2219576 |  1826022 |     6370    713 |        0 |        0
1099.46/1099.85	c 1099s |      22 |  2223367 |  1829122 |     6370    713 |        0 |        0
1101.46/1101.89	c 1101s |      22 |  2226702 |  1831922 |     6370    714 |        0 |        0
1103.55/1103.90	c 1103s |      22 |  2230306 |  1834822 |     6370    715 |        0 |        0
1105.55/1105.92	c 1105s |      22 |  2233628 |  1837622 |     6370    716 |        0 |        0
1107.55/1107.93	c 1107s |      22 |  2237308 |  1840522 |     6370    717 |        0 |        0
1109.56/1109.95	c 1109s |      22 |  2240755 |  1843422 |     6370    718 |        0 |        0
1111.55/1111.95	c 1111s |      22 |  2244144 |  1846222 |     6370    719 |        0 |        0
1113.55/1113.99	c 1113s |      22 |  2247806 |  1849122 |     6370    720 |        0 |        0
1115.65/1116.09	c 1116s |      22 |  2251538 |  1852222 |     6370    721 |        0 |        0
1117.75/1118.14	c 1118s |      22 |  2255313 |  1855222 |     6370    721 |        0 |        0
1119.75/1120.15	c 1120s |      22 |  2259168 |  1858222 |     6370    722 |        0 |        0
1121.84/1122.20	c 1122s |      22 |  2262646 |  1861122 |     6370    723 |        0 |        0
1123.85/1124.22	c 1124s |      22 |  2266138 |  1864022 |     6370    724 |        0 |        0
1125.84/1126.24	c 1126s |      22 |  2269506 |  1866822 |     6370    725 |        0 |        0
1127.94/1128.30	c 1128s |      22 |  2273290 |  1869722 |     6370    726 |        0 |        0
1129.94/1130.31	c 1130s |      22 |  2276781 |  1872522 |     6370    727 |        0 |        0
1131.93/1132.34	c 1132s |      22 |  2280100 |  1875222 |     6370    728 |        0 |        0
1134.03/1134.40	c 1134s |      22 |  2284113 |  1878222 |     6370    728 |        0 |        0
1136.04/1136.41	c 1136s |      22 |  2287496 |  1881022 |     6370    729 |        0 |        0
1138.03/1138.44	c 1138s |      22 |  2290998 |  1883922 |     6370    730 |        0 |        0
1140.13/1140.50	c 1140s |      22 |  2294435 |  1886722 |     6370    731 |        0 |        0
1142.13/1142.51	c 1142s |      22 |  2297901 |  1889522 |     6370    732 |        0 |        0
1144.13/1144.57	c 1144s |      22 |  2301430 |  1892422 |     6370    733 |        0 |        0
1146.22/1146.64	c 1146s |      22 |  2304872 |  1895222 |     6370    734 |        0 |        0
1148.22/1148.65	c 1148s |      22 |  2308379 |  1897922 |     6370    735 |        0 |        0
1150.33/1150.72	c 1150s |      22 |  2312117 |  1900822 |     6370    735 |        0 |        0
1152.32/1152.72	c 1152s |      22 |  2315482 |  1903522 |     6370    736 |        0 |        0
1154.32/1154.78	c 1154s |      22 |  2318881 |  1906222 |     6370    737 |        0 |        0
1156.32/1156.79	c 1156s |      22 |  2322219 |  1908922 |     6370    738 |        0 |        0
1158.42/1158.80	c 1158s |      22 |  2325767 |  1911622 |     6370    739 |        0 |        0
1160.42/1160.81	c 1160s |      22 |  2329097 |  1914322 |     6370    740 |        0 |        0
1162.42/1162.84	c 1162s |      22 |  2332655 |  1917222 |     6370    740 |        0 |        0
1164.52/1164.90	c 1164s |      22 |  2336121 |  1920122 |     6370    741 |        0 |        0
1166.51/1166.95	c 1166s |      22 |  2339490 |  1922922 |     6370    742 |        0 |        0
1168.61/1169.02	c 1168s |      22 |  2343017 |  1925722 |     6370    743 |        0 |        0
1170.61/1171.08	c 1171s |      22 |  2347077 |  1928722 |     6370    744 |        0 |        0
1172.60/1173.09	c 1173s |      22 |  2350238 |  1931322 |     6370    745 |        0 |        0
1174.70/1175.11	c 1175s |      22 |  2353417 |  1933922 |     6370    746 |        0 |        0
1176.71/1177.15	c 1177s |      22 |  2357121 |  1936822 |     6370    746 |        0 |        0
1178.70/1179.20	c 1179s |      22 |  2361035 |  1940022 |     6370    747 |        0 |        0
1180.80/1181.23	c 1181s |      22 |  2364591 |  1943022 |     6370    748 |        0 |        0
1182.80/1183.25	c 1183s |      22 |  2368443 |  1946022 |     6370    749 |        0 |        0
1184.79/1185.28	c 1185s |      22 |  2372049 |  1949022 |     6370    750 |        0 |        0
1186.89/1187.33	c 1187s |      22 |  2375593 |  1951922 |     6370    751 |        0 |        0
1188.89/1189.39	c 1189s |      22 |  2378958 |  1954822 |     6370    752 |        0 |        0
1191.00/1191.41	c 1191s |      22 |  2382360 |  1957622 |     6370    753 |        0 |        0
1192.99/1193.46	c 1193s |      22 |  2385660 |  1960322 |     6370    754 |        0 |        0
1195.09/1195.52	c 1195s |      22 |  2388907 |  1963022 |     6370    754 |        0 |        0
1197.09/1197.54	c 1197s |      22 |  2392350 |  1965822 |     6370    755 |        0 |        0
1199.09/1199.60	c 1199s |      22 |  2395710 |  1968622 |     6370    756 |        0 |        0
1201.19/1201.63	c 1201s |      22 |  2399035 |  1971322 |     6370    757 |        0 |        0
1203.18/1203.69	c 1203s |      22 |  2402387 |  1974122 |     6370    758 |        0 |        0
1205.29/1205.75	c 1205s |      22 |  2405618 |  1976822 |     6370    759 |        0 |        0
1207.28/1207.78	c 1207s |      22 |  2409106 |  1979822 |     6370    760 |        0 |        0
1209.38/1209.85	c 1209s |      22 |  2412586 |  1982722 |     6370    761 |        0 |        0
1211.48/1211.90	c 1211s |      22 |  2416221 |  1985622 |     6370    761 |        0 |        0
1213.48/1213.95	c 1213s |      22 |  2419396 |  1988322 |     6370    762 |        0 |        0
1215.48/1215.97	c 1215s |      22 |  2422575 |  1991022 |     6370    763 |        0 |        0
1217.58/1218.01	c 1217s |      22 |  2426265 |  1994122 |     6370    764 |        0 |        0
1219.58/1220.07	c 1220s |      22 |  2429715 |  1997122 |     6370    765 |        0 |        0
1221.68/1222.11	c 1222s |      22 |  2433676 |  2000322 |     6370    766 |        0 |        0
1223.67/1224.13	c 1224s |      22 |  2437349 |  2003222 |     6370    767 |        0 |        0
1225.67/1226.19	c 1226s |      22 |  2441456 |  2006222 |     6370    768 |        0 |        0
1227.77/1228.24	c 1228s |      22 |  2444850 |  2009022 |     6370    769 |        0 |        0
1229.87/1230.32	c 1230s |      22 |  2448573 |  2012022 |     6370    769 |        0 |        0
1231.96/1232.40	c 1232s |      22 |  2451963 |  2014822 |     6370    770 |        0 |        0
1233.96/1234.42	c 1234s |      22 |  2455356 |  2017522 |     6370    771 |        0 |        0
1235.97/1236.43	c 1236s |      22 |  2458494 |  2020122 |     6370    772 |        0 |        0
1237.97/1238.43	c 1238s |      22 |  2461801 |  2022822 |     6370    773 |        0 |        0
1239.97/1240.44	c 1240s |      22 |  2465396 |  2025722 |     6370    774 |        0 |        0
1241.97/1242.49	c 1242s |      22 |  2468735 |  2028522 |     6370    775 |        0 |        0
1244.06/1244.56	c 1244s |      22 |  2472530 |  2031522 |     6370    775 |        0 |        0
1246.16/1246.60	c 1246s |      22 |  2476029 |  2034322 |     6370    776 |        0 |        0
1248.17/1248.61	c 1248s |      22 |  2479675 |  2037222 |     6370    777 |        0 |        0
1250.16/1250.62	c 1250s |      22 |  2483206 |  2040022 |     6370    778 |        0 |        0
1252.16/1252.65	c 1252s |      22 |  2486702 |  2042822 |     6370    779 |        0 |        0
1254.16/1254.69	c 1254s |      22 |  2490024 |  2045522 |     6370    780 |        0 |        0
1256.26/1256.70	c 1256s |      22 |  2493175 |  2048122 |     6370    781 |        0 |        0
1258.26/1258.71	c 1258s |      22 |  2496444 |  2050822 |     6370    781 |        0 |        0
1260.26/1260.77	c 1260s |      22 |  2499778 |  2053522 |     6370    782 |        0 |        0
1262.25/1262.79	c 1262s |      22 |  2503244 |  2056422 |     6370    783 |        0 |        0
1264.35/1264.81	c 1264s |      22 |  2506681 |  2059222 |     6370    784 |        0 |        0
1266.35/1266.87	c 1266s |      22 |  2510407 |  2062122 |     6370    785 |        0 |        0
1268.45/1268.91	c 1268s |      22 |  2513723 |  2064822 |     6370    786 |        0 |        0
1270.45/1270.96	c 1270s |      22 |  2517234 |  2067622 |     6370    787 |        0 |        0
1272.45/1272.98	c 1272s |      22 |  2520470 |  2070322 |     6370    787 |        0 |        0
1274.55/1275.04	c 1274s |      22 |  2523679 |  2073022 |     6370    788 |        0 |        0
1276.55/1277.06	c 1277s |      22 |  2526874 |  2075722 |     6370    789 |        0 |        0
1278.54/1279.08	c 1279s |      22 |  2530109 |  2078322 |     6370    790 |        0 |        0
1280.64/1281.11	c 1281s |      22 |  2533594 |  2081022 |     6370    791 |        0 |        0
1282.64/1283.19	c 1283s |      22 |  2536984 |  2083722 |     6370    792 |        0 |        0
1284.74/1285.23	c 1285s |      22 |  2540320 |  2086522 |     6370    792 |        0 |        0
1286.84/1287.30	c 1287s |      22 |  2543702 |  2089322 |     6370    793 |        0 |        0
1288.84/1289.37	c 1289s |      22 |  2546952 |  2092022 |     6370    794 |        0 |        0
1290.94/1291.42	c 1291s |      22 |  2549855 |  2094522 |     6370    795 |        0 |        0
1292.93/1293.48	c 1293s |      22 |  2553031 |  2097222 |     6370    796 |        0 |        0
1295.03/1295.54	c 1295s |      22 |  2556307 |  2099922 |     6370    796 |        0 |        0
1297.03/1297.57	c 1297s |      22 |  2559619 |  2102722 |     6370    797 |        0 |        0
1299.13/1299.62	c 1299s |      22 |  2562799 |  2105422 |     6370    798 |        0 |        0
1301.13/1301.67	c 1301s |      22 |  2566077 |  2108122 |     6370    799 |        0 |        0
1303.23/1303.70	c 1303s |      22 |  2569114 |  2110722 |     6370    800 |        0 |        0
1305.23/1305.73	c 1305s |      22 |  2572757 |  2113722 |     6370    801 |        0 |        0
1307.33/1307.82	c 1307s |      22 |  2576024 |  2116522 |     6370    802 |        0 |        0
1309.33/1309.87	c 1309s |      22 |  2579313 |  2119322 |     6370    802 |        0 |        0
1311.42/1311.96	c 1311s |      22 |  2582451 |  2122122 |     6370    803 |        0 |        0
1313.42/1313.97	c 1313s |      22 |  2585503 |  2124822 |     6370    804 |        0 |        0
1315.52/1316.01	c 1315s |      22 |  2588619 |  2127522 |     6370    805 |        0 |        0
1317.52/1318.06	c 1318s |      22 |  2591711 |  2130122 |     6370    806 |        0 |        0
1319.52/1320.09	c 1320s |      22 |  2594851 |  2132722 |     6370    806 |        0 |        0
1321.62/1322.11	c 1322s |      22 |  2598215 |  2135422 |     6370    807 |        0 |        0
1323.61/1324.13	c 1324s |      22 |  2602141 |  2138422 |     6370    808 |        0 |        0
1325.61/1326.15	c 1326s |      22 |  2605624 |  2141222 |     6370    809 |        0 |        0
1327.61/1328.18	c 1328s |      22 |  2609199 |  2144022 |     6370    810 |        0 |        0
1329.61/1330.19	c 1330s |      22 |  2612404 |  2146622 |     6370    811 |        0 |        0
1331.62/1332.20	c 1332s |      22 |  2616010 |  2149422 |     6370    812 |        0 |        0
1333.71/1334.25	c 1334s |      22 |  2619297 |  2152122 |     6370    812 |        0 |        0
1335.81/1336.31	c 1336s |      22 |  2622523 |  2154822 |     6370    813 |        0 |        0
1337.81/1338.34	c 1338s |      22 |  2626117 |  2157822 |     6370    814 |        0 |        0
1339.81/1340.40	c 1340s |      22 |  2629588 |  2160722 |     6370    815 |        0 |        0
1341.90/1342.44	c 1342s |      22 |  2632998 |  2163622 |     6370    816 |        0 |        0
1343.90/1344.47	c 1344s |      22 |  2636224 |  2166422 |     6370    817 |        0 |        0
1345.91/1346.47	c 1346s |      22 |  2639156 |  2169022 |     6370    818 |        0 |        0
1348.00/1348.55	c 1348s |      22 |  2642544 |  2171922 |     6370    818 |        0 |        0
1350.00/1350.59	c 1350s |      22 |  2645979 |  2174822 |     6370    819 |        0 |        0
1352.09/1352.67	c 1352s |      22 |  2650073 |  2177922 |     6370    820 |        0 |        0
1354.19/1354.73	c 1354s |      22 |  2653426 |  2180622 |     6370    821 |        0 |        0
1356.19/1356.74	c 1356s |      22 |  2656733 |  2183222 |     6370    822 |        0 |        0
1358.19/1358.79	c 1358s |      22 |  2659890 |  2185822 |     6370    823 |        0 |        0
1360.30/1360.84	c 1360s |      22 |  2663042 |  2188422 |     6370    824 |        0 |        0
1362.29/1362.88	c 1362s |      22 |  2666287 |  2191122 |     6370    824 |        0 |        0
1364.29/1364.89	c 1364s |      22 |  2669657 |  2193922 |     6370    825 |        0 |        0
1366.39/1366.95	c 1366s |      22 |  2673299 |  2196822 |     6370    826 |        0 |        0
1368.39/1368.96	c 1368s |      22 |  2676508 |  2199422 |     6370    827 |        0 |        0
1370.39/1370.99	c 1370s |      22 |  2679599 |  2201922 |     6370    828 |        0 |        0
1372.49/1373.03	c 1372s |      22 |  2683440 |  2204822 |     6370    829 |        0 |        0
1374.49/1375.07	c 1375s |      22 |  2686812 |  2207522 |     6370    829 |        0 |        0
1376.59/1377.11	c 1377s |      22 |  2690200 |  2210222 |     6370    830 |        0 |        0
1378.59/1379.19	c 1379s |      22 |  2693618 |  2213022 |     6370    831 |        0 |        0
1380.69/1381.20	c 1381s |      22 |  2696984 |  2215822 |     6370    832 |        0 |        0
1382.69/1383.24	c 1383s |      22 |  2700751 |  2218722 |     6370    833 |        0 |        0
1384.69/1385.25	c 1385s |      22 |  2704242 |  2221522 |     6370    834 |        0 |        0
1386.69/1387.27	c 1387s |      22 |  2707711 |  2224222 |     6370    834 |        0 |        0
1388.68/1389.28	c 1389s |      22 |  2711130 |  2226922 |     6370    835 |        0 |        0
1390.78/1391.31	c 1391s |      22 |  2714529 |  2229722 |     6370    836 |        0 |        0
1392.78/1393.33	c 1393s |      22 |  2717643 |  2232322 |     6370    837 |        0 |        0
1394.78/1395.39	c 1395s |      22 |  2720927 |  2235022 |     7008    838 |        0 |        0
1396.88/1397.47	c 1397s |      22 |  2724141 |  2237722 |     7008    838 |        0 |        0
1398.98/1399.50	c 1399s |      22 |  2727299 |  2240322 |     7008    839 |        0 |        0
1400.99/1401.50	c 1401s |      22 |  2730631 |  2243022 |     7008    840 |        0 |        0
1402.98/1403.51	c 1403s |      22 |  2733726 |  2245622 |     7008    841 |        0 |        0
1404.98/1405.59	c 1405s |      22 |  2736906 |  2248222 |     7008    841 |        0 |        0
1407.08/1407.62	c 1407s |      22 |  2739751 |  2250722 |     7008    842 |        0 |        0
1407.28/1407.86	c 1407s |      23 |  2740120 |  2251038 |     7008    842 |        0 |        0
1409.28/1409.88	c 1409s |      23 |  2743426 |  2253638 |     7008    843 |        0 |        0
1411.38/1411.97	c 1411s |      23 |  2746546 |  2256138 |     7008    844 |        0 |        0
1413.48/1414.01	c 1413s |      23 |  2750111 |  2258938 |     7008    844 |        0 |        0
1415.48/1416.08	c 1416s |      23 |  2753320 |  2261638 |     7008    845 |        0 |        0
1417.49/1418.10	c 1418s |      23 |  2756040 |  2264038 |     7008    846 |        0 |        0
1419.59/1420.11	c 1420s |      23 |  2759196 |  2266738 |     7008    846 |        0 |        0
1421.58/1422.16	c 1422s |      23 |  2762611 |  2269738 |     7008    847 |        0 |        0
1423.58/1424.18	c 1424s |      23 |  2766183 |  2272638 |     7008    848 |        0 |        0
1425.68/1426.24	c 1426s |      23 |  2769632 |  2275538 |     7008    849 |        0 |        0
1427.68/1428.28	c 1428s |      23 |  2772530 |  2278138 |     7008    850 |        0 |        0
1429.78/1430.35	c 1430s |      23 |  2775877 |  2280938 |     7008    850 |        0 |        0
1431.88/1432.41	c 1432s |      23 |  2779691 |  2283738 |     7008    851 |        0 |        0
1433.88/1434.45	c 1434s |      23 |  2782949 |  2286338 |     7008    852 |        0 |        0
1435.88/1436.46	c 1436s |      23 |  2786227 |  2288938 |     7008    853 |        0 |        0
1437.88/1438.49	c 1438s |      23 |  2789362 |  2291538 |     7008    853 |        0 |        0
1439.98/1440.57	c 1440s |      23 |  2792727 |  2294238 |     7008    854 |        0 |        0
1441.98/1442.58	c 1442s |      23 |  2795808 |  2296738 |     7008    855 |        0 |        0
1443.98/1444.59	c 1444s |      23 |  2798696 |  2299138 |     7008    856 |        0 |        0
1446.08/1446.66	c 1446s |      23 |  2801801 |  2301738 |     7008    856 |        0 |        0
1448.07/1448.69	c 1448s |      23 |  2804921 |  2304338 |     7008    857 |        0 |        0
1450.17/1450.71	c 1450s |      23 |  2807951 |  2306838 |     7008    858 |        0 |        0
1452.17/1452.73	c 1452s |      23 |  2811038 |  2309438 |     7008    858 |        0 |        0
1454.17/1454.79	c 1454s |      23 |  2814540 |  2312338 |     7008    859 |        0 |        0
1456.27/1456.86	c 1456s |      23 |  2818136 |  2315138 |     7008    860 |        0 |        0
1458.27/1458.88	c 1458s |      23 |  2821324 |  2317738 |     7008    861 |        0 |        0
1460.28/1460.88	c 1460s |      23 |  2824359 |  2320338 |     7008    861 |        0 |        0
1462.37/1462.96	c 1462s |      23 |  2827958 |  2323338 |     7008    862 |        0 |        0
1464.37/1464.99	c 1464s |      23 |  2831153 |  2326138 |     7008    863 |        0 |        0
1466.47/1467.04	c 1466s |      23 |  2834424 |  2328938 |     7008    864 |        0 |        0
1468.47/1469.04	c 1468s |      23 |  2837348 |  2331438 |     7008    865 |        0 |        0
1470.47/1471.09	c 1471s |      23 |  2840321 |  2334038 |     7008    865 |        0 |        0
1472.57/1473.10	c 1473s |      23 |  2843115 |  2336538 |     7008    866 |        0 |        0
1474.58/1475.14	c 1475s |      23 |  2846117 |  2339038 |     7008    867 |        0 |        0
1476.67/1477.22	c 1477s |      23 |  2849430 |  2341738 |     7008    867 |        0 |        0
1478.67/1479.24	c 1479s |      23 |  2852312 |  2344238 |     7008    868 |        0 |        0
1480.67/1481.27	c 1481s |      23 |  2855487 |  2346838 |     7008    869 |        0 |        0
1482.77/1483.36	c 1483s |      23 |  2858409 |  2349338 |     7008    870 |        0 |        0
1484.77/1485.37	c 1485s |      23 |  2861826 |  2352138 |     7008    870 |        0 |        0
1486.87/1487.43	c 1487s |      23 |  2865604 |  2355038 |     7008    871 |        0 |        0
1488.88/1489.50	c 1489s |      23 |  2868986 |  2357738 |     7008    872 |        0 |        0
1490.97/1491.56	c 1491s |      23 |  2872018 |  2360138 |     7008    873 |        0 |        0
1493.07/1493.64	c 1493s |      23 |  2875414 |  2362838 |     7008    873 |        0 |        0
1495.07/1495.67	c 1495s |      23 |  2878313 |  2365338 |     7008    874 |        0 |        0
1497.17/1497.74	c 1497s |      23 |  2881421 |  2367938 |     7008    875 |        0 |        0
1499.17/1499.76	c 1499s |      23 |  2884715 |  2370638 |     7008    875 |        0 |        0
1501.27/1501.80	c 1501s |      23 |  2887802 |  2373238 |     7008    876 |        0 |        0
1503.27/1503.85	c 1503s |      23 |  2891449 |  2376038 |     7008    877 |        0 |        0
1505.27/1505.87	c 1505s |      23 |  2894152 |  2378338 |     7008    878 |        0 |        0
1507.36/1507.94	c 1507s |      23 |  2897525 |  2380938 |     7008    878 |        0 |        0
1509.36/1509.98	c 1509s |      23 |  2900617 |  2383438 |     7008    879 |        0 |        0
1511.46/1512.02	c 1511s |      23 |  2903723 |  2385938 |     7008    880 |        0 |        0
1513.56/1514.11	c 1514s |      23 |  2906911 |  2388638 |     7008    880 |        0 |        0
1515.56/1516.16	c 1516s |      23 |  2910143 |  2391338 |     7008    881 |        0 |        0
1517.57/1518.18	c 1518s |      23 |  2913241 |  2393938 |     7008    882 |        0 |        0
1519.67/1520.24	c 1520s |      23 |  2916356 |  2396538 |     7008    883 |        0 |        0
1521.66/1522.24	c 1522s |      23 |  2919887 |  2399338 |     7008    883 |        0 |        0
1523.76/1524.32	c 1524s |      23 |  2923392 |  2402238 |     7008    884 |        0 |        0
1525.76/1526.34	c 1526s |      23 |  2926786 |  2405138 |     7008    885 |        0 |        0
1527.76/1528.35	c 1528s |      23 |  2930122 |  2407938 |     7008    886 |        0 |        0
1529.76/1530.38	c 1530s |      23 |  2933576 |  2410838 |     7008    887 |        0 |        0
1531.77/1532.40	c 1532s |      23 |  2937097 |  2413838 |     7008    888 |        0 |        0
1533.86/1534.42	c 1534s |      23 |  2940623 |  2416738 |     7008    888 |        0 |        0
1535.86/1536.43	c 1536s |      23 |  2943852 |  2419338 |     7008    889 |        0 |        0
1537.86/1538.48	c 1538s |      23 |  2946777 |  2421638 |     7008    890 |        0 |        0
1539.86/1540.48	c 1540s |      23 |  2950026 |  2424338 |     7008    890 |        0 |        0
1541.96/1542.58	c 1542s |      23 |  2953361 |  2427138 |     7008    891 |        0 |        0
1544.06/1544.63	c 1544s |      23 |  2956504 |  2429838 |     7008    892 |        0 |        0
1546.07/1546.65	c 1546s |      23 |  2959519 |  2432338 |     7008    893 |        0 |        0
1548.06/1548.65	c 1548s |      23 |  2962471 |  2434838 |     7008    893 |        0 |        0
1550.16/1550.70	c 1550s |      23 |  2965834 |  2437638 |     7008    894 |        0 |        0
1552.16/1552.76	c 1552s |      23 |  2968884 |  2440238 |     7008    895 |        0 |        0
1554.16/1554.79	c 1554s |      23 |  2971841 |  2442538 |     7008    896 |        0 |        0
1556.26/1556.86	c 1556s |      23 |  2974750 |  2445038 |     7008    896 |        0 |        0
1558.26/1558.86	c 1558s |      23 |  2977308 |  2447238 |     7008    897 |        0 |        0
1560.36/1560.93	c 1560s |      23 |  2980655 |  2449838 |     7008    898 |        0 |        0
1562.36/1562.93	c 1562s |      23 |  2984089 |  2452638 |     7008    898 |        0 |        0
1564.36/1565.00	c 1564s |      23 |  2987452 |  2455438 |     7008    899 |        0 |        0
1566.45/1567.04	c 1566s |      23 |  2990768 |  2458238 |     7008    900 |        0 |        0
1568.45/1569.04	c 1568s |      23 |  2993999 |  2460838 |     7008    901 |        0 |        0
1570.45/1571.04	c 1570s |      23 |  2997494 |  2463838 |     7008    901 |        0 |        0
1572.46/1573.06	c 1573s |      23 |  3000679 |  2466638 |     7008    902 |        0 |        0
1574.45/1575.08	c 1575s |      23 |  3003744 |  2469338 |     7008    903 |        0 |        0
1576.55/1577.10	c 1577s |      23 |  3006780 |  2472038 |     7008    904 |        0 |        0
1578.65/1579.22	c 1579s |      23 |  3010031 |  2474838 |     7008    905 |        0 |        0
1580.65/1581.22	c 1581s |      23 |  3013066 |  2477538 |     7008    905 |        0 |        0
1582.65/1583.26	c 1583s |      23 |  3016401 |  2480338 |     7008    906 |        0 |        0
1584.66/1585.28	c 1585s |      23 |  3019540 |  2483038 |     7008    907 |        0 |        0
1586.86/1587.41	c 1587s |      23 |  3022497 |  2485638 |     7008    908 |        0 |        0
1588.85/1589.44	c 1589s |      23 |  3025903 |  2488538 |     7008    908 |        0 |        0
1590.85/1591.45	c 1591s |      23 |  3029284 |  2491338 |     7008    909 |        0 |        0
1592.85/1593.47	c 1593s |      23 |  3032548 |  2494038 |     7008    910 |        0 |        0
1594.85/1595.49	c 1595s |      23 |  3035831 |  2496738 |     7008    911 |        0 |        0
1596.95/1597.54	c 1597s |      23 |  3039028 |  2499438 |     7008    911 |        0 |        0
1599.05/1599.62	c 1599s |      23 |  3042198 |  2502138 |     7008    912 |        0 |        0
1601.06/1601.63	c 1601s |      23 |  3045243 |  2504738 |     7008    913 |        0 |        0
1603.05/1603.67	c 1603s |      23 |  3048161 |  2507238 |     7008    914 |        0 |        0
1605.15/1605.75	c 1605s |      23 |  3051127 |  2509738 |     7008    914 |        0 |        0
1607.25/1607.80	c 1607s |      23 |  3054014 |  2512238 |     7008    915 |        0 |        0
1609.25/1609.80	c 1609s |      23 |  3056876 |  2514738 |     7008    916 |        0 |        0
1611.25/1611.83	c 1611s |      23 |  3059935 |  2517438 |     7008    916 |        0 |        0
1613.35/1613.90	c 1613s |      23 |  3063287 |  2520238 |     7008    917 |        0 |        0
1615.35/1615.92	c 1615s |      23 |  3066578 |  2522938 |     7008    918 |        0 |        0
1617.35/1617.98	c 1617s |      23 |  3070338 |  2525938 |     7008    919 |        0 |        0
1619.45/1620.02	c 1619s |      23 |  3073813 |  2528838 |     7008    920 |        0 |        0
1621.45/1622.04	c 1621s |      23 |  3077390 |  2531738 |     7008    920 |        0 |        0
1623.45/1624.05	c 1624s |      23 |  3080926 |  2534638 |     7008    921 |        0 |        0
1625.44/1626.06	c 1626s |      23 |  3084287 |  2537538 |     7008    922 |        0 |        0
1627.45/1628.08	c 1628s |      23 |  3087511 |  2540338 |     7008    923 |        0 |        0
1629.44/1630.09	c 1630s |      23 |  3090780 |  2543138 |     7008    924 |        0 |        0
1631.54/1632.16	c 1632s |      23 |  3094510 |  2546138 |     7008    924 |        0 |        0
1633.64/1634.21	c 1634s |      23 |  3097653 |  2548838 |     7008    925 |        0 |        0
1635.64/1636.26	c 1636s |      23 |  3100751 |  2551538 |     7008    926 |        0 |        0
1637.74/1638.30	c 1638s |      23 |  3103855 |  2554238 |     7008    927 |        0 |        0
1639.74/1640.30	c 1640s |      23 |  3106996 |  2556938 |     7008    927 |        0 |        0
1641.75/1642.32	c 1642s |      23 |  3110169 |  2559638 |     7008    928 |        0 |        0
1643.74/1644.32	c 1644s |      23 |  3113698 |  2562438 |     7008    929 |        0 |        0
1645.74/1646.36	c 1646s |      23 |  3116901 |  2565038 |     7008    930 |        0 |        0
1647.75/1648.40	c 1648s |      23 |  3120110 |  2567738 |     7008    930 |        0 |        0
1649.85/1650.41	c 1650s |      23 |  3123455 |  2570438 |     7008    931 |        0 |        0
1651.85/1652.44	c 1652s |      23 |  3126608 |  2573038 |     7008    932 |        0 |        0
1653.86/1654.45	c 1654s |      23 |  3129211 |  2575338 |     7008    932 |        0 |        0
1655.95/1656.57	c 1656s |      23 |  3132238 |  2578038 |     7008    933 |        0 |        0
1657.95/1658.58	c 1658s |      23 |  3135640 |  2581038 |     7008    934 |        0 |        0
1660.05/1660.61	c 1660s |      23 |  3138667 |  2583738 |     7008    935 |        0 |        0
1662.05/1662.65	c 1662s |      23 |  3142016 |  2586638 |     7008    936 |        0 |        0
1664.05/1664.65	c 1664s |      23 |  3145107 |  2589438 |     7008    936 |        0 |        0
1666.15/1666.71	c 1666s |      23 |  3148143 |  2592138 |     7008    937 |        0 |        0
1668.15/1668.74	c 1668s |      23 |  3151303 |  2594938 |     7008    938 |        0 |        0
1670.15/1670.77	c 1670s |      23 |  3154310 |  2597438 |     7008    939 |        0 |        0
1672.24/1672.80	c 1672s |      23 |  3157351 |  2600038 |     7008    939 |        0 |        0
1674.24/1674.88	c 1674s |      23 |  3160169 |  2602538 |     7008    940 |        0 |        0
1676.24/1676.89	c 1676s |      23 |  3163253 |  2605238 |     7008    941 |        0 |        0
1678.34/1678.96	c 1678s |      23 |  3166501 |  2607938 |     7008    942 |        0 |        0
1680.44/1681.02	c 1680s |      23 |  3170355 |  2611038 |     7008    942 |        0 |        0
1682.45/1683.03	c 1682s |      23 |  3173522 |  2613738 |     7008    943 |        0 |        0
1684.44/1685.05	c 1685s |      23 |  3177093 |  2616738 |     7008    944 |        0 |        0
1686.44/1687.07	c 1687s |      23 |  3180279 |  2619538 |     7008    945 |        0 |        0
1688.54/1689.13	c 1689s |      23 |  3183197 |  2622138 |     7008    946 |        0 |        0
1690.54/1691.17	c 1691s |      23 |  3186687 |  2625138 |     7008    946 |        0 |        0
1692.64/1693.20	c 1693s |      23 |  3190221 |  2628138 |     7008    947 |        0 |        0
1694.65/1695.24	c 1695s |      23 |  3193553 |  2631038 |     7008    948 |        0 |        0
1696.64/1697.27	c 1697s |      23 |  3196833 |  2633938 |     7008    949 |        0 |        0
1698.74/1699.31	c 1699s |      23 |  3200207 |  2636738 |     7008    949 |        0 |        0
1700.74/1701.38	c 1701s |      23 |  3203764 |  2639638 |     7008    950 |        0 |        0
1702.84/1703.42	c 1703s |      23 |  3206842 |  2642238 |     7008    951 |        0 |        0
1704.84/1705.45	c 1705s |      23 |  3210341 |  2645238 |     7008    952 |        0 |        0
1706.94/1707.51	c 1707s |      23 |  3213575 |  2647938 |     7008    953 |        0 |        0
1708.94/1709.59	c 1709s |      23 |  3216735 |  2650638 |     7008    953 |        0 |        0
1710.94/1711.60	c 1711s |      23 |  3219454 |  2653038 |     7008    954 |        0 |        0
1713.04/1713.61	c 1713s |      23 |  3222700 |  2655738 |     7008    955 |        0 |        0
1715.04/1715.70	c 1715s |      23 |  3225781 |  2658438 |     7008    956 |        0 |        0
1717.14/1717.77	c 1717s |      23 |  3228813 |  2661138 |     7008    956 |        0 |        0
1719.13/1719.78	c 1719s |      23 |  3231716 |  2663738 |     7008    957 |        0 |        0
1721.23/1721.83	c 1721s |      23 |  3234792 |  2666438 |     7008    958 |        0 |        0
1723.24/1723.87	c 1723s |      23 |  3237747 |  2669038 |     7008    958 |        0 |        0
1725.34/1725.95	c 1725s |      23 |  3240764 |  2671738 |     7008    959 |        0 |        0
1727.33/1727.99	c 1727s |      23 |  3243815 |  2674438 |     7008    960 |        0 |        0
1729.43/1730.01	c 1729s |      23 |  3246676 |  2676938 |     7008    961 |        0 |        0
1731.43/1732.04	c 1731s |      23 |  3250043 |  2679838 |     7008    961 |        0 |        0
1733.43/1734.07	c 1734s |      23 |  3253285 |  2682638 |     7008    962 |        0 |        0
1735.53/1736.13	c 1736s |      23 |  3256551 |  2685438 |     7008    963 |        0 |        0
1737.54/1738.16	c 1738s |      23 |  3259596 |  2688138 |     7008    964 |        0 |        0
1739.64/1740.23	c 1740s |      23 |  3262820 |  2690938 |     7008    965 |        0 |        0
1741.63/1742.26	c 1742s |      23 |  3266409 |  2693938 |     7008    965 |        0 |        0
1743.73/1744.33	c 1744s |      23 |  3269966 |  2696838 |     7008    966 |        0 |        0
1745.73/1746.40	c 1746s |      23 |  3273027 |  2699538 |     7008    967 |        0 |        0
1747.83/1748.41	c 1748s |      23 |  3276032 |  2702138 |     7008    968 |        0 |        0
1749.83/1750.41	c 1750s |      23 |  3279325 |  2704838 |     7008    968 |        0 |        0
1751.83/1752.44	c 1752s |      23 |  3282548 |  2707538 |     7008    969 |        0 |        0
1753.83/1754.44	c 1754s |      23 |  3285445 |  2710038 |     7008    970 |        0 |        0
1755.93/1756.50	c 1756s |      23 |  3288261 |  2712438 |     7008    971 |        0 |        0
1757.93/1758.54	c 1758s |      23 |  3291845 |  2715438 |     7008    971 |        0 |        0
1759.93/1760.57	c 1760s |      23 |  3295190 |  2718238 |     7008    972 |        0 |        0
1761.93/1762.58	c 1762s |      23 |  3298596 |  2721038 |     7008    973 |        0 |        0
1764.02/1764.61	c 1764s |      23 |  3301689 |  2723638 |     7008    974 |        0 |        0
1766.03/1766.63	c 1766s |      23 |  3304814 |  2726238 |     7008    974 |        0 |        0
1768.02/1768.68	c 1768s |      23 |  3308173 |  2729038 |     7008    975 |        0 |        0
1770.12/1770.70	c 1770s |      23 |  3311520 |  2731938 |     7008    976 |        0 |        0
1772.12/1772.73	c 1772s |      23 |  3314626 |  2734638 |     7008    977 |        0 |        0
1774.12/1774.75	c 1774s |      23 |  3317662 |  2737338 |     7008    978 |        0 |        0
1776.12/1776.77	c 1776s |      23 |  3320830 |  2740138 |     7008    978 |        0 |        0
1778.23/1778.82	c 1778s |      23 |  3324395 |  2743138 |     7008    979 |        0 |        0
1780.22/1780.84	c 1780s |      23 |  3327891 |  2746138 |     7008    980 |        0 |        0
1782.22/1782.84	c 1782s |      23 |  3331090 |  2748838 |     7008    981 |        0 |        0
1784.32/1784.90	c 1784s |      23 |  3334227 |  2751538 |     7008    981 |        0 |        0
1786.32/1786.94	c 1786s |      23 |  3337437 |  2754338 |     7008    982 |        0 |        0
1788.32/1788.98	c 1788s |      23 |  3340621 |  2757138 |     7008    983 |        0 |        0
1790.43/1791.04	c 1790s |      23 |  3343493 |  2759738 |     7008    984 |        0 |        0
1792.43/1793.07	c 1793s |      23 |  3347054 |  2762738 |     7008    985 |        0 |        0
1794.53/1795.13	c 1795s |      23 |  3350709 |  2765738 |     7008    985 |        0 |        0
1796.53/1797.19	c 1797s |      23 |  3353992 |  2768538 |     7008    986 |        0 |        0
1798.63/1799.23	c 1799s |      23 |  3357081 |  2771238 |     7008    987 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.19 2.17 3/179 5920
/proc/meminfo: memFree=29085072/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=741956 CPUtime=0 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 2771 0 0 0 0 0 0 0 20 0 4 0 109652065 759762944 2621 33554432000 4194304 16246674 140733653336160 140733653335584 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 186001 2632 442 2943 0 182895 0
[pid=5920/tid=5921] ppid=5917 vsize=759364 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 777588736 2693 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=763460 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 781783040 2709 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=767556 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109652065 785977344 2725 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.12 2.19 2.17 3/179 5920
/proc/meminfo: memFree=29085072/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 26409 0 0 0 5 4 0 0 20 0 4 0 109652065 1247350784 26249 33554432000 4194304 16246674 140733653336160 140733653318080 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 304529 26258 713 2943 0 301423 0
[pid=5920/tid=5921] ppid=5917 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1247350784 26264 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1247350784 26269 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109652065 1247350784 26276 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20056 s]
/proc/loadavg: 2.12 2.19 2.17 3/179 5920
/proc/meminfo: memFree=29085072/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 48578 0 0 0 12 7 0 0 20 0 4 0 109652065 1247350784 48417 33554432000 4194304 16246674 140733653336160 140733653318080 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 304529 48429 713 2943 0 301423 0
[pid=5920/tid=5921] ppid=5917 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1247350784 48441 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1247350784 48453 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109652065 1247350784 48464 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300494 s]
/proc/loadavg: 2.12 2.19 2.17 3/179 5920
/proc/meminfo: memFree=29085072/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 72199 0 0 0 19 10 0 0 20 0 4 0 109652065 1247350784 72039 33554432000 4194304 16246674 140733653336160 140733653318080 5722241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 304529 72055 713 2943 0 301423 0
[pid=5920/tid=5921] ppid=5917 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1247350784 72064 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1247350784 72070 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109652065 1247350784 72075 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700413 s]
/proc/loadavg: 2.12 2.19 2.17 3/179 5920
/proc/meminfo: memFree=29085072/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 167927 0 0 0 47 22 0 0 20 0 4 0 109652065 1247350784 167766 33554432000 4194304 16246674 140733653336160 140733653318080 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 304529 167780 719 2943 0 301423 0
[pid=5920/tid=5921] ppid=5917 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1247350784 167789 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1247350784 167799 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109652065 1247350784 167810 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.12 2.19 2.17 4/183 5924
/proc/meminfo: memFree=28101936/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 246154 0 0 0 116 33 0 0 20 0 4 0 109652065 1250496512 245973 33554432000 4194304 16246674 140733653336160 140733653335376 5721406 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 305297 245973 794 2943 0 302191 0
[pid=5920/tid=5921] ppid=5917 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1250496512 245973 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1250496512 245973 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1250496512 245973 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10042 s]
/proc/loadavg: 2.12 2.19 2.17 3/183 5924
/proc/meminfo: memFree=28019352/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 267499 0 0 0 273 36 0 0 20 0 4 0 109652065 1337528320 267318 33554432000 4194304 16246674 140733653336160 140733653318080 5829048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 326545 267318 795 2943 0 323439 0
[pid=5920/tid=5921] ppid=5917 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1337528320 267318 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1337528320 267318 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1337528320 267318 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 5924
/proc/meminfo: memFree=28015764/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 267590 0 0 0 593 36 0 0 20 0 4 0 109652065 1338576896 267409 33554432000 4194304 16246674 140733653336160 140733653318080 5754752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 326801 267409 795 2943 0 323695 0
[pid=5920/tid=5921] ppid=5917 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1338576896 267409 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1338576896 267409 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1338576896 267409 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 5924
/proc/meminfo: memFree=28015704/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 267659 0 0 0 1233 36 0 0 20 0 4 0 109652065 1338576896 267478 33554432000 4194304 16246674 140733653336160 140733653319160 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 326801 267478 795 2943 0 323695 0
[pid=5920/tid=5921] ppid=5917 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1338576896 267478 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1338576896 267478 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1338576896 267478 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.22 2.21 2.18 4/183 5924
/proc/meminfo: memFree=28015836/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 267689 0 0 0 2513 36 0 0 20 0 4 0 109652065 1338576896 267508 33554432000 4194304 16246674 140733653336160 140733653318080 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 326801 267508 795 2943 0 323695 0
[pid=5920/tid=5921] ppid=5917 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1338576896 267508 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1338576896 267508 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1338576896 267508 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 5924
/proc/meminfo: memFree=28014156/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 268094 0 0 0 5072 36 0 0 20 0 4 0 109652065 1339625472 267913 33554432000 4194304 16246674 140733653336160 140733653318080 5546023 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 327057 267913 797 2943 0 323951 0
[pid=5920/tid=5921] ppid=5917 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1339625472 267913 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1339625472 267913 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1339625472 267913 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/183 5925
/proc/meminfo: memFree=28005476/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1316420 CPUtime=102.28 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 270142 0 0 0 10192 36 0 0 20 0 4 0 109652065 1348014080 269961 33554432000 4194304 16246674 140733653336160 140733653318080 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 329105 269961 797 2943 0 325999 0
[pid=5920/tid=5921] ppid=5917 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1348014080 269961 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1348014080 269961 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1348014080 269961 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1349062656 270474 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.29 2.26 2.20 4/183 5955
/proc/meminfo: memFree=27990584/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1317444 CPUtime=1301.83 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 270823 0 0 0 130138 45 0 0 20 0 4 0 109652065 1349062656 270474 33554432000 4194304 16246674 140733653336160 140733653318080 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 329361 270474 798 2943 0 326255 0
[pid=5920/tid=5921] ppid=5917 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1349062656 270474 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1349062656 270474 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1349062656 270474 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.31 2.26 2.20 3/183 5956
/proc/meminfo: memFree=27990696/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1317444 CPUtime=1361.79 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 270858 0 0 0 136134 45 0 0 20 0 4 0 109652065 1349062656 270474 33554432000 4194304 16246674 140733653336160 140733653318080 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 329361 270474 798 2943 0 326255 0
[pid=5920/tid=5921] ppid=5917 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1349062656 270474 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1349062656 270474 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1349062656 270474 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.15 2.22 2.18 3/184 5961
/proc/meminfo: memFree=27990856/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1317444 CPUtime=1421.79 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 270858 0 0 0 142134 45 0 0 20 0 4 0 109652065 1349062656 270474 33554432000 4194304 16246674 140733653336160 140733653318080 5823230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 329361 270474 798 2943 0 326255 0
[pid=5920/tid=5921] ppid=5917 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1349062656 270474 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1349062656 270474 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1349062656 270474 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 5962
/proc/meminfo: memFree=27988944/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1481.77 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 271370 0 0 0 148132 45 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140733653318080 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 329873 270986 798 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1319492

[startup+1542.31 s]
/proc/loadavg: 2.12 2.20 2.18 3/183 5963
/proc/meminfo: memFree=27988820/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1541.77 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 271370 0 0 0 154132 45 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140733653318080 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 329873 270986 798 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1319492

[startup+1602.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/182 5964
/proc/meminfo: memFree=27989696/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1601.75 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 271370 0 0 0 160130 45 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140733653318080 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 329873 270986 798 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1319492

[startup+1662.3 s]
/proc/loadavg: 2.40 2.24 2.19 3/183 5966
/proc/meminfo: memFree=27988592/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1661.75 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 271370 0 0 0 166129 46 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140733653318080 5677712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 329873 270986 798 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1319492

[startup+1722.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 5968
/proc/meminfo: memFree=27988336/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1721.73 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 271370 0 0 0 172127 46 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140733653318080 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 329873 270986 798 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1319492

[startup+1782.3 s]
/proc/loadavg: 2.31 2.27 2.20 3/183 6017
/proc/meminfo: memFree=28125732/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1781.72 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 271370 0 0 0 178126 46 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140733653318080 6022231 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 329873 270986 798 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.49 2.31 2.22 3/183 6017
/proc/meminfo: memFree=28030624/32872528 swapFree=17892/1720544
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1800.03 cores=1,3,5,7
/proc/5920/stat : 5920 (toysat) R 5917 5920 3556 0 -1 4202496 271370 0 0 0 179956 47 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140733653318080 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5920/statm: 329873 270986 798 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084163620080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084153130224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109652065 1351159808 270986 33554432000 4194304 16246674 140733653336160 140084142656688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1319492

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 5920 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.04
CPU user time (s): 1799.57
CPU system time (s): 0.470928
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.470928
maximum resident set size= 1083944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271370
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= 472
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.38633 second user time and 7.14091 second system time

The end

Begin job on node117 at 2016-06-07 07:26:29
IDJOB=4078842
IDBENCH=89819
IDSOLVER=2542
FILE ID=node117/4078842-1465277189
RUNJOBID= node117-1465262703-3573
PBS_JOBID= 19843298
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/heinz/normalized-neos-820157.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078842-1465277189/watcher-4078842-1465277189 -o /tmp/evaluation-result-4078842-1465277189/solver-4078842-1465277189 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3573 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078842-1465277189.opb

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

MD5SUM BENCH= da32b1e615c8e1bae2ecd5f742c16c96
RANDOM SEED=1905400057

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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:        29085980 kB
Buffers:           88984 kB
Cached:           113020 kB
SwapCached:        55388 kB
Active:          1151888 kB
Inactive:         178936 kB
Active(anon):    1076396 kB
Inactive(anon):    54760 kB
Active(file):      75492 kB
Inactive(file):   124176 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67045084 kB
Dirty:             16352 kB
Writeback:             0 kB
AnonPages:       2854348 kB
Mapped:            10356 kB
Shmem:                 0 kB
Slab:             599208 kB
SReclaimable:      43364 kB
SUnreclaim:       555844 kB
KernelStack:        1520 kB
PageTables:         9616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2939548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1767424 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= 71692 MiB
End job on node117 at 2016-06-07 07:56:30