0.00/0.00	c 2016-06-16T00:02:44+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-4089519-1466028164.opb"]
0.00/0.01	c use --random-gen="1307996807 2390399302 2107085949 49263564 2861741676 866909412 3341712797 2382176758 2572716346 1775299861 3326926126 3958273935 1682949931 4030825093 2811924031 1659395174 502968817 3059845239 3745948344 3875628201 3115039827 2858531214 2541598263 2717531364 1052408826 3483258249 2458303333 3115883983 1901843291 144520582 3270832660 3455116173 1810078550 3318914751 771035212 1822786302 1330230060 2099125484 889830895 1459514453 244349367 1845671072 3062636445 1464355840 176289093 1520316193 684326483 1771494398 2065986754 2113917623 1265941123 2046777356 4049381811 2423011719 272320248 21978142 1611210309 1237688234 2588133840 4182002096 852077051 2584491022 549013384 1275944668 466785257 649357339 2906965052 2373164375 892915164 3080651994 739570964 1590267752 2126015102 215381352 2216216176 1856151001 3593103117 1937247315 2204146219 2909858404 442509963 336177091 1860677805 2791682816 1786476564 1496512271 3878560398 4116653091 2990142310 1878226498 679897345 2197804728 795935815 3008943476 3884062765 2919957559 2340395204 2383092125 538192237 573866079 411209689 2047297559 1176417267 4013177207 156084829 2746665045 3512019438 3047056465 1125789107 3719954689 2788296014 627451134 3607277429 3912362230 2977025115 2179091266 3617243532 3379211926 1415994701 3117546237 3243275974 3988670467 2064827304 2605058041 2333448955 2911548024 2456772882 547200340 934407985 1493387680 2223922261 2732355663 2582218588 487080444 3637010076 2816806606 159349360 140276340 937779334 1221087713 583641809 2970748683 3440195422 2213878277 3796613223 1824015806 2859519399 3893569627 2725883058 4044695075 2409353651 1429740925 1181014002 1146936068 4179280457 793640095 3938632315 2190509451 1672519273 604151409 3823241018 500230221 1084059800 2718769078 973233121 1654699314 1673227357 1001603129 3106263104 3930284573 4000267047 2050234999 3413339820 3575332651 195382057 2317918246 3184213496 3251665142 3588836164 4112937454 667666619 3324829624 4057767655 528163810 867172787 3318247629 1176461098 3280880960 832320293 254583230 3621852976 581994461 2654481498 2771922902 4027802022 4134719178 1049734620 2228595430 3417630873 938298699 3391026131 4199758906 469564001 1105181275 1785621554 710441625 2850600111 1215517529 3464585409 1806866424 2599116015 4199352335 1447753134 1742702828 441766457 4147855026 671695129 3575919142 2452249545 4290028718 1110068336 3513834176 3553541015 1594020585 1553023110 3556716805 2969270631 19725553 2083919057 2061078847 3331680155 2271338410 567322220 4290798385 594042917 3476687317 1372226329 2852381025 4132998242 1905091837 2084474949 1591315495 877049518 381145484 465796862 4200111135 3284813099 3811460186 1757368248 3836496529 1862466694 2230412750 2278491291 1901353877 3366895317 565688613 255 362436" option to reproduce the execution
0.00/0.02	c #vars 150
0.00/0.02	c #constraints 301
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      150      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      172 |      100 |      150      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      394 |      250 |      165      1 |        0 |        0
0.08/0.10	c  0.1s |       3 |      686 |      475 |      182      2 |        0 |        0
0.08/0.18	c  0.2s |       4 |     1089 |      813 |      201      5 |        0 |        0
0.18/0.28	c  0.3s |       5 |     1669 |     1320 |      222      8 |        0 |        0
0.38/0.45	c  0.4s |       6 |     2508 |     2081 |      270     13 |        0 |        0
0.69/0.70	c  0.7s |       7 |     3721 |     3223 |      297     20 |        0 |        0
0.88/0.99	c  1.0s |       8 |     5505 |     4936 |      327     29 |        0 |        0
1.28/1.37	c  1.3s |       9 |     8152 |     7506 |      360     42 |        0 |        0
1.88/1.94	c  1.9s |      10 |    12105 |    11361 |      397     59 |        0 |        0
2.68/2.78	c  2.8s |      11 |    18027 |    17144 |      437     84 |        0 |        0
3.98/4.07	c  4.1s |      12 |    26917 |    25819 |      481    118 |        0 |        0
5.98/6.03	c  6.0s |      13 |    40228 |    38832 |      530    166 |        0 |        0
7.98/8.04	c  8.0s |      13 |    53656 |    51932 |      530    209 |        0 |        0
8.98/9.05	c  9.0s |      14 |    60294 |    58352 |      583    231 |        0 |        0
10.99/11.05	c 11.0s |      14 |    73377 |    71052 |      583    270 |        0 |        0
12.98/13.05	c 13.0s |      14 |    86193 |    83552 |      583    308 |        0 |        0
13.58/13.69	c 13.7s |      15 |    90436 |    87632 |      642    321 |        0 |        0
15.68/15.70	c 15.7s |      15 |   103654 |   100532 |      642    357 |        0 |        0
17.69/17.71	c 17.7s |      15 |   116659 |   113132 |      642    393 |        0 |        0
19.68/19.73	c 19.7s |      15 |   129488 |   125632 |      642    428 |        0 |        0
20.58/20.69	c 20.7s |      16 |   135569 |   131552 |      707    444 |        0 |        0
22.58/22.70	c 22.7s |      16 |   148472 |   143852 |      707    476 |        0 |        0
24.69/24.70	c 24.7s |      16 |   161041 |   156052 |      707    507 |        0 |        0
26.68/26.71	c 26.7s |      16 |   173497 |   168152 |      707    539 |        0 |        0
28.69/28.72	c 28.7s |      16 |   185822 |   180152 |      707    570 |        0 |        0
30.68/30.73	c 30.7s |      16 |   198155 |   191952 |      707    600 |        0 |        0
31.58/31.63	c 31.6s |      17 |   203784 |   197432 |      778    614 |        0 |        0
33.58/33.64	c 33.6s |      17 |   216530 |   209732 |      778    643 |        0 |        0
35.58/35.65	c 35.6s |      17 |   229282 |   222032 |      778    672 |        0 |        0
37.58/37.67	c 37.6s |      17 |   241830 |   234032 |      778    701 |        0 |        0
39.59/39.67	c 39.7s |      17 |   254223 |   245932 |      778    729 |        0 |        0
41.58/41.68	c 41.7s |      17 |   266440 |   257732 |      778    757 |        0 |        0
43.58/43.69	c 43.7s |      17 |   278496 |   269432 |      778    785 |        0 |        0
45.68/45.70	c 45.7s |      17 |   291057 |   281532 |      778    813 |        0 |        0
47.68/47.71	c 47.7s |      17 |   303460 |   293532 |      778    842 |        0 |        0
48.08/48.16	c 48.1s |      18 |   306283 |   296252 |      856    848 |        0 |        0
50.08/50.17	c 50.2s |      18 |   319093 |   308252 |      856    874 |        0 |        0
52.08/52.17	c 52.2s |      18 |   331166 |   319952 |      856    899 |        0 |        0
54.08/54.18	c 54.2s |      18 |   343269 |   331552 |      856    924 |        0 |        0
56.08/56.18	c 56.2s |      18 |   355541 |   343352 |      856    950 |        0 |        0
58.08/58.19	c 58.2s |      18 |   367611 |   355052 |      856    975 |        0 |        0
60.07/60.19	c 60.2s |      18 |   379838 |   366752 |      856   1000 |        0 |        0
62.17/62.21	c 62.2s |      18 |   391684 |   378152 |      856   1025 |        0 |        0
64.17/64.21	c 64.2s |      18 |   403965 |   389852 |      856   1051 |        0 |        0
66.17/66.22	c 66.2s |      18 |   416012 |   401352 |      856   1076 |        0 |        0
68.18/68.22	c 68.2s |      18 |   427613 |   412552 |      856   1100 |        0 |        0
70.17/70.23	c 70.2s |      18 |   439907 |   424252 |      856   1125 |        0 |        0
72.17/72.23	c 72.2s |      18 |   451977 |   435752 |      856   1150 |        0 |        0
73.68/73.73	c 73.7s |      19 |   461048 |   444482 |      942   1168 |        0 |        0
75.67/75.75	c 75.7s |      19 |   473278 |   455882 |      942   1191 |        0 |        0
77.67/77.75	c 77.7s |      19 |   485534 |   467482 |      942   1214 |        0 |        0
79.67/79.76	c 79.7s |      19 |   497928 |   478982 |      942   1237 |        0 |        0
81.68/81.76	c 81.7s |      19 |   510036 |   490382 |      942   1259 |        0 |        0
83.68/83.76	c 83.7s |      19 |   521835 |   501682 |      942   1282 |        0 |        0
85.67/85.78	c 85.8s |      19 |   533808 |   513182 |      942   1305 |        0 |        0
87.67/87.79	c 87.8s |      19 |   545669 |   524482 |      942   1327 |        0 |        0
89.67/89.80	c 89.8s |      19 |   557502 |   535782 |      942   1350 |        0 |        0
91.67/91.80	c 91.8s |      19 |   569201 |   547082 |      942   1372 |        0 |        0
93.77/93.80	c 93.8s |      19 |   581327 |   558582 |      942   1395 |        0 |        0
95.78/95.81	c 95.8s |      19 |   593049 |   569782 |      942   1417 |        0 |        0
97.77/97.82	c 97.8s |      19 |   605133 |   581082 |      942   1439 |        0 |        0
99.77/99.84	c 99.8s |      19 |   616742 |   592182 |      942   1462 |        0 |        0
101.77/101.86	c  101s |      19 |   628579 |   603582 |      942   1484 |        0 |        0
103.77/103.86	c  103s |      19 |   640362 |   614482 |      942   1506 |        0 |        0
105.77/105.86	c  105s |      19 |   652641 |   626082 |      942   1529 |        0 |        0
107.77/107.87	c  107s |      19 |   664504 |   637282 |      942   1551 |        0 |        0
109.77/109.89	c  109s |      19 |   676332 |   648582 |      942   1574 |        0 |        0
111.87/111.90	c  111s |      19 |   687719 |   659582 |      942   1595 |        0 |        0
113.16/113.23	c  113s |      20 |   695417 |   666827 |     1037   1609 |        0 |        0
115.16/115.24	c  115s |      20 |   707393 |   678227 |     1037   1629 |        0 |        0
117.16/117.24	c  117s |      20 |   719135 |   689427 |     1037   1650 |        0 |        0
119.16/119.25	c  119s |      20 |   730829 |   700627 |     1037   1670 |        0 |        0
121.16/121.27	c  121s |      20 |   742275 |   711727 |     1037   1690 |        0 |        0
123.18/123.28	c  123s |      20 |   754145 |   723227 |     1037   1711 |        0 |        0
125.17/125.29	c  125s |      20 |   765794 |   734327 |     1037   1731 |        0 |        0
127.17/127.29	c  127s |      20 |   777054 |   745127 |     1037   1751 |        0 |        0
129.17/129.29	c  129s |      20 |   788892 |   756427 |     1037   1771 |        0 |        0
131.17/131.29	c  131s |      20 |   800190 |   767227 |     1037   1791 |        0 |        0
133.27/133.31	c  133s |      20 |   812226 |   778627 |     1037   1811 |        0 |        0
135.27/135.32	c  135s |      20 |   823914 |   789927 |     1037   1832 |        0 |        0
137.27/137.32	c  137s |      20 |   835458 |   800927 |     1037   1852 |        0 |        0
139.26/139.34	c  139s |      20 |   847122 |   811927 |     1037   1872 |        0 |        0
141.26/141.35	c  141s |      20 |   858548 |   822827 |     1037   1891 |        0 |        0
143.26/143.37	c  143s |      20 |   870540 |   833827 |     1037   1911 |        0 |        0
145.27/145.37	c  145s |      20 |   882297 |   844727 |     1037   1931 |        0 |        0
147.26/147.38	c  147s |      20 |   893812 |   855727 |     1037   1951 |        0 |        0
149.26/149.39	c  149s |      20 |   905540 |   866827 |     1037   1971 |        0 |        0
151.36/151.41	c  151s |      20 |   917014 |   877827 |     1037   1991 |        0 |        0
153.36/153.41	c  153s |      20 |   928134 |   888527 |     1037   2011 |        0 |        0
155.36/155.41	c  155s |      20 |   939725 |   899527 |     1037   2031 |        0 |        0
157.37/157.41	c  157s |      20 |   951027 |   910327 |     1037   2050 |        0 |        0
159.36/159.42	c  159s |      20 |   962333 |   921127 |     1037   2070 |        0 |        0
161.36/161.43	c  161s |      20 |   973780 |   931827 |     1037   2089 |        0 |        0
163.36/163.44	c  163s |      20 |   985492 |   942927 |     1037   2109 |        0 |        0
165.36/165.45	c  165s |      20 |   997199 |   954027 |     1037   2129 |        0 |        0
167.36/167.46	c  167s |      20 |  1008530 |   964927 |     1037   2149 |        0 |        0
169.36/169.46	c  169s |      20 |  1019984 |   975827 |     1037   2169 |        0 |        0
171.36/171.47	c  171s |      20 |  1031148 |   986527 |     1037   2188 |        0 |        0
173.35/173.48	c  173s |      20 |  1042402 |   997327 |     1141   2207 |        0 |        0
173.95/174.05	c  174s |      21 |  1045603 |  1000345 |     1141   2212 |        0 |        0
175.96/176.06	c  176s |      21 |  1058050 |  1012045 |     1141   2232 |        0 |        0
177.95/178.08	c  178s |      21 |  1070027 |  1023545 |     1141   2251 |        0 |        0
179.95/180.08	c  180s |      21 |  1082343 |  1034645 |     1141   2269 |        0 |        0
181.95/182.09	c  182s |      21 |  1094078 |  1045545 |     1141   2287 |        0 |        0
183.95/184.09	c  184s |      21 |  1105688 |  1056545 |     1141   2305 |        0 |        0
186.05/186.11	c  186s |      21 |  1117496 |  1067445 |     1141   2323 |        0 |        0
188.06/188.11	c  188s |      21 |  1129109 |  1078445 |     1141   2342 |        0 |        0
190.05/190.13	c  190s |      21 |  1140879 |  1089445 |     1141   2360 |        0 |        0
192.05/192.14	c  192s |      21 |  1152723 |  1100345 |     1141   2378 |        0 |        0
194.05/194.16	c  194s |      21 |  1164272 |  1111345 |     1141   2397 |        0 |        0
196.05/196.18	c  196s |      21 |  1175794 |  1122245 |     1141   2415 |        0 |        0
198.07/198.18	c  198s |      21 |  1187443 |  1133145 |     1141   2433 |        0 |        0
200.06/200.19	c  200s |      21 |  1199097 |  1144145 |     1141   2451 |        0 |        0
202.16/202.20	c  202s |      21 |  1210603 |  1155045 |     1141   2469 |        0 |        0
204.16/204.20	c  204s |      21 |  1221911 |  1165745 |     1141   2487 |        0 |        0
206.16/206.20	c  206s |      21 |  1233214 |  1176545 |     1141   2505 |        0 |        0
208.16/208.21	c  208s |      21 |  1244718 |  1187145 |     1141   2522 |        0 |        0
210.16/210.22	c  210s |      21 |  1256416 |  1197845 |     1141   2540 |        0 |        0
212.16/212.22	c  212s |      21 |  1268126 |  1208445 |     1141   2558 |        0 |        0
214.16/214.24	c  214s |      21 |  1279421 |  1219045 |     1141   2575 |        0 |        0
216.16/216.25	c  216s |      21 |  1290826 |  1229645 |     1141   2593 |        0 |        0
218.15/218.27	c  218s |      21 |  1302750 |  1240445 |     1141   2611 |        0 |        0
220.15/220.27	c  220s |      21 |  1314202 |  1251045 |     1141   2628 |        0 |        0
222.16/222.28	c  222s |      21 |  1325645 |  1261745 |     1141   2646 |        0 |        0
224.15/224.29	c  224s |      21 |  1336814 |  1272445 |     1141   2664 |        0 |        0
226.25/226.30	c  226s |      21 |  1347921 |  1282845 |     1141   2681 |        0 |        0
228.25/228.31	c  228s |      21 |  1359339 |  1293645 |     1141   2699 |        0 |        0
230.25/230.31	c  230s |      21 |  1370191 |  1304045 |     1141   2716 |        0 |        0
232.25/232.32	c  232s |      21 |  1381470 |  1314845 |     1141   2734 |        0 |        0
234.26/234.33	c  234s |      21 |  1392478 |  1325245 |     1141   2752 |        0 |        0
236.25/236.34	c  236s |      21 |  1404091 |  1336145 |     1141   2770 |        0 |        0
238.25/238.35	c  238s |      21 |  1415331 |  1346745 |     1141   2787 |        0 |        0
240.25/240.35	c  240s |      21 |  1426248 |  1357245 |     1141   2805 |        0 |        0
242.25/242.36	c  242s |      21 |  1437380 |  1367745 |     1141   2822 |        0 |        0
244.25/244.37	c  244s |      21 |  1448815 |  1378645 |     1141   2840 |        0 |        0
246.24/246.38	c  246s |      21 |  1460201 |  1389545 |     1141   2858 |        0 |        0
248.24/248.38	c  248s |      21 |  1471559 |  1400345 |     1141   2876 |        0 |        0
250.24/250.39	c  250s |      21 |  1482633 |  1411045 |     1141   2894 |        0 |        0
252.34/252.41	c  252s |      21 |  1493655 |  1421745 |     1141   2912 |        0 |        0
254.34/254.43	c  254s |      21 |  1504837 |  1432445 |     1141   2930 |        0 |        0
256.35/256.44	c  256s |      21 |  1515652 |  1442845 |     1141   2947 |        0 |        0
258.34/258.44	c  258s |      21 |  1526578 |  1453345 |     1141   2964 |        0 |        0
260.34/260.46	c  260s |      21 |  1537409 |  1463745 |     1141   2982 |        0 |        0
262.34/262.47	c  262s |      21 |  1548462 |  1474345 |     1141   2999 |        0 |        0
264.34/264.48	c  264s |      21 |  1559025 |  1484445 |     1141   3016 |        0 |        0
266.34/266.49	c  266s |      21 |  1570218 |  1495145 |     1256   3033 |        0 |        0
267.35/267.49	c  267s |      22 |  1575875 |  1500622 |     1256   3041 |        0 |        0
269.34/269.50	c  269s |      22 |  1587770 |  1511822 |     1256   3058 |        0 |        0
271.44/271.51	c  271s |      22 |  1599853 |  1523022 |     1256   3075 |        0 |        0
273.44/273.52	c  273s |      22 |  1611485 |  1533822 |     1256   3091 |        0 |        0
275.44/275.52	c  275s |      22 |  1622993 |  1544322 |     1256   3107 |        0 |        0
277.44/277.54	c  277s |      22 |  1634369 |  1555122 |     1256   3124 |        0 |        0
279.44/279.55	c  279s |      22 |  1646073 |  1566222 |     1256   3140 |        0 |        0
281.44/281.56	c  281s |      22 |  1657252 |  1576922 |     1256   3156 |        0 |        0
283.44/283.57	c  283s |      22 |  1668865 |  1588022 |     1256   3173 |        0 |        0
285.44/285.58	c  285s |      22 |  1680533 |  1599122 |     1256   3190 |        0 |        0
287.44/287.59	c  287s |      22 |  1691915 |  1609822 |     1256   3206 |        0 |        0
289.54/289.60	c  289s |      22 |  1702932 |  1620422 |     1256   3222 |        0 |        0
291.54/291.61	c  291s |      22 |  1714130 |  1631122 |     1256   3239 |        0 |        0
293.54/293.61	c  293s |      22 |  1725628 |  1642022 |     1256   3255 |        0 |        0
295.54/295.62	c  295s |      22 |  1737325 |  1652822 |     1256   3271 |        0 |        0
297.54/297.62	c  297s |      22 |  1748983 |  1663422 |     1256   3287 |        0 |        0
299.54/299.63	c  299s |      22 |  1760106 |  1673922 |     1256   3303 |        0 |        0
301.54/301.64	c  301s |      22 |  1771181 |  1684522 |     1256   3319 |        0 |        0
303.55/303.65	c  303s |      22 |  1782675 |  1695122 |     1256   3335 |        0 |        0
305.54/305.66	c  305s |      22 |  1793973 |  1705722 |     1256   3351 |        0 |        0
307.54/307.67	c  307s |      22 |  1805062 |  1716122 |     1256   3367 |        0 |        0
309.54/309.67	c  309s |      22 |  1815707 |  1726422 |     1256   3383 |        0 |        0
311.54/311.68	c  311s |      22 |  1826620 |  1736822 |     1256   3399 |        0 |        0
313.55/313.69	c  313s |      22 |  1838031 |  1747522 |     1256   3415 |        0 |        0
315.65/315.71	c  315s |      22 |  1848969 |  1757922 |     1256   3431 |        0 |        0
317.64/317.73	c  317s |      22 |  1860130 |  1768422 |     1256   3447 |        0 |        0
319.64/319.74	c  319s |      22 |  1871351 |  1779022 |     1256   3463 |        0 |        0
321.64/321.75	c  321s |      22 |  1882279 |  1789422 |     1256   3478 |        0 |        0
323.64/323.76	c  323s |      22 |  1893209 |  1799922 |     1256   3494 |        0 |        0
325.64/325.76	c  325s |      22 |  1904501 |  1810522 |     1256   3510 |        0 |        0
327.63/327.78	c  327s |      22 |  1915688 |  1821122 |     1256   3526 |        0 |        0
329.63/329.79	c  329s |      22 |  1926571 |  1831422 |     1256   3542 |        0 |        0
331.73/331.80	c  331s |      22 |  1937487 |  1841722 |     1256   3557 |        0 |        0
333.73/333.81	c  333s |      22 |  1948248 |  1851922 |     1256   3573 |        0 |        0
335.73/335.83	c  335s |      22 |  1959161 |  1862222 |     1256   3589 |        0 |        0
337.74/337.84	c  337s |      22 |  1969800 |  1872322 |     1256   3604 |        0 |        0
339.73/339.85	c  339s |      22 |  1980649 |  1882422 |     1256   3619 |        0 |        0
341.73/341.86	c  341s |      22 |  1991253 |  1892322 |     1256   3634 |        0 |        0
343.73/343.86	c  343s |      22 |  2002913 |  1903322 |     1256   3651 |        0 |        0
345.73/345.87	c  345s |      22 |  2014263 |  1914022 |     1256   3667 |        0 |        0
347.73/347.88	c  347s |      22 |  2025962 |  1924822 |     1256   3683 |        0 |        0
349.74/349.88	c  349s |      22 |  2037129 |  1935222 |     1256   3699 |        0 |        0
351.73/351.89	c  351s |      22 |  2048364 |  1946022 |     1256   3715 |        0 |        0
353.83/353.90	c  353s |      22 |  2059248 |  1956422 |     1256   3731 |        0 |        0
355.83/355.91	c  355s |      22 |  2070399 |  1966922 |     1256   3747 |        0 |        0
357.83/357.92	c  357s |      22 |  2081470 |  1977422 |     1256   3763 |        0 |        0
359.83/359.94	c  359s |      22 |  2092494 |  1987922 |     1256   3779 |        0 |        0
361.84/361.95	c  361s |      22 |  2103472 |  1998322 |     1256   3795 |        0 |        0
363.83/363.97	c  363s |      22 |  2114437 |  2008722 |     1256   3810 |        0 |        0
365.83/365.99	c  365s |      22 |  2125585 |  2019322 |     1256   3827 |        0 |        0
367.83/368.00	c  367s |      22 |  2136371 |  2029522 |     1256   3842 |        0 |        0
369.93/370.00	c  369s |      22 |  2147290 |  2039822 |     1256   3858 |        0 |        0
371.93/372.01	c  371s |      22 |  2158498 |  2050122 |     1256   3873 |        0 |        0
373.94/374.02	c  373s |      22 |  2169244 |  2060422 |     1256   3889 |        0 |        0
375.93/376.02	c  376s |      22 |  2180127 |  2070822 |     1256   3905 |        0 |        0
377.93/378.03	c  378s |      22 |  2191088 |  2081222 |     1256   3920 |        0 |        0
379.93/380.05	c  380s |      22 |  2202025 |  2091722 |     1256   3936 |        0 |        0
381.93/382.06	c  382s |      22 |  2212992 |  2102222 |     1256   3952 |        0 |        0
383.93/384.07	c  384s |      22 |  2223746 |  2112422 |     1256   3968 |        0 |        0
385.93/386.08	c  386s |      22 |  2234645 |  2122822 |     1256   3984 |        0 |        0
387.93/388.09	c  388s |      22 |  2245205 |  2132922 |     1256   3999 |        0 |        0
390.03/390.10	c  390s |      22 |  2256460 |  2143422 |     1256   4015 |        0 |        0
392.03/392.11	c  392s |      22 |  2267394 |  2153822 |     1256   4031 |        0 |        0
394.03/394.11	c  394s |      22 |  2278341 |  2164122 |     1256   4046 |        0 |        0
396.03/396.12	c  396s |      22 |  2289136 |  2174422 |     1256   4062 |        0 |        0
398.02/398.13	c  398s |      22 |  2299847 |  2184722 |     1256   4078 |        0 |        0
400.02/400.14	c  400s |      22 |  2310506 |  2194922 |     1256   4093 |        0 |        0
402.02/402.15	c  402s |      22 |  2321337 |  2205222 |     1256   4109 |        0 |        0
404.02/404.16	c  404s |      22 |  2332266 |  2215622 |     1256   4124 |        0 |        0
406.02/406.17	c  406s |      22 |  2343072 |  2225822 |     1256   4140 |        0 |        0
408.03/408.18	c  408s |      22 |  2353663 |  2235922 |     1382   4155 |        0 |        0
410.02/410.19	c  410s |      22 |  2364112 |  2245822 |     1382   4169 |        0 |        0
411.12/411.23	c  411s |      23 |  2369761 |  2251038 |     1382   4176 |        0 |        0
413.12/413.24	c  413s |      23 |  2381610 |  2261938 |     1382   4191 |        0 |        0
415.12/415.25	c  415s |      23 |  2393375 |  2272738 |     1382   4206 |        0 |        0
417.12/417.27	c  417s |      23 |  2405053 |  2283438 |     1382   4221 |        0 |        0
419.12/419.27	c  419s |      23 |  2416808 |  2294138 |     1382   4235 |        0 |        0
421.12/421.28	c  421s |      23 |  2428810 |  2304638 |     1382   4250 |        0 |        0
423.12/423.29	c  423s |      23 |  2440265 |  2315238 |     1382   4265 |        0 |        0
425.12/425.29	c  425s |      23 |  2451997 |  2325638 |     1382   4279 |        0 |        0
427.12/427.29	c  427s |      23 |  2463288 |  2336038 |     1382   4293 |        0 |        0
429.22/429.30	c  429s |      23 |  2473989 |  2346138 |     1382   4307 |        0 |        0
431.23/431.32	c  431s |      23 |  2485335 |  2356438 |     1382   4321 |        0 |        0
433.22/433.33	c  433s |      23 |  2496556 |  2366638 |     1382   4335 |        0 |        0
435.22/435.35	c  435s |      23 |  2507943 |  2376838 |     1382   4350 |        0 |        0
437.22/437.36	c  437s |      23 |  2519524 |  2387838 |     1382   4365 |        0 |        0
439.22/439.37	c  439s |      23 |  2530999 |  2398638 |     1382   4380 |        0 |        0
441.22/441.37	c  441s |      23 |  2542391 |  2409538 |     1382   4395 |        0 |        0
443.22/443.39	c  443s |      23 |  2553387 |  2420038 |     1382   4409 |        0 |        0
445.22/445.39	c  445s |      23 |  2564292 |  2430438 |     1382   4423 |        0 |        0
447.32/447.40	c  447s |      23 |  2575782 |  2441138 |     1382   4438 |        0 |        0
449.31/449.41	c  449s |      23 |  2587060 |  2451838 |     1382   4453 |        0 |        0
451.31/451.42	c  451s |      23 |  2598086 |  2462338 |     1382   4467 |        0 |        0
453.31/453.42	c  453s |      23 |  2609168 |  2472638 |     1382   4482 |        0 |        0
455.32/455.42	c  455s |      23 |  2620007 |  2482838 |     1382   4496 |        0 |        0
457.31/457.43	c  457s |      23 |  2630955 |  2493138 |     1382   4510 |        0 |        0
459.31/459.44	c  459s |      23 |  2641873 |  2503238 |     1382   4524 |        0 |        0
461.31/461.45	c  461s |      23 |  2653144 |  2513738 |     1382   4538 |        0 |        0
463.31/463.45	c  463s |      23 |  2663948 |  2523938 |     1382   4553 |        0 |        0
465.32/465.47	c  465s |      23 |  2675095 |  2534038 |     1382   4567 |        0 |        0
467.31/467.47	c  467s |      23 |  2686030 |  2544238 |     1382   4581 |        0 |        0
469.41/469.50	c  469s |      23 |  2696984 |  2554238 |     1382   4595 |        0 |        0
471.41/471.50	c  471s |      23 |  2708371 |  2564838 |     1382   4609 |        0 |        0
473.41/473.51	c  473s |      23 |  2719457 |  2575438 |     1382   4624 |        0 |        0
475.41/475.51	c  475s |      23 |  2730404 |  2585738 |     1382   4638 |        0 |        0
477.41/477.53	c  477s |      23 |  2741316 |  2596038 |     1382   4652 |        0 |        0
479.41/479.53	c  479s |      23 |  2752233 |  2606238 |     1382   4666 |        0 |        0
481.42/481.54	c  481s |      23 |  2763688 |  2616738 |     1382   4681 |        0 |        0
483.42/483.55	c  483s |      23 |  2775124 |  2627138 |     1382   4695 |        0 |        0
485.41/485.57	c  485s |      23 |  2786238 |  2637238 |     1382   4709 |        0 |        0
487.41/487.59	c  487s |      23 |  2797258 |  2647438 |     1382   4723 |        0 |        0
489.42/489.59	c  489s |      23 |  2807934 |  2657438 |     1382   4737 |        0 |        0
491.51/491.61	c  491s |      23 |  2818335 |  2667338 |     1382   4751 |        0 |        0
493.51/493.62	c  493s |      23 |  2829435 |  2677838 |     1382   4765 |        0 |        0
495.51/495.63	c  495s |      23 |  2840533 |  2688238 |     1382   4780 |        0 |        0
497.51/497.63	c  497s |      23 |  2851185 |  2698438 |     1382   4794 |        0 |        0
499.51/499.64	c  499s |      23 |  2861735 |  2708538 |     1382   4808 |        0 |        0
501.52/501.66	c  501s |      23 |  2872322 |  2718738 |     1382   4822 |        0 |        0
503.51/503.68	c  503s |      23 |  2883170 |  2729038 |     1382   4836 |        0 |        0
505.51/505.69	c  505s |      23 |  2893913 |  2739238 |     1382   4850 |        0 |        0
507.61/507.70	c  507s |      23 |  2904680 |  2749338 |     1382   4864 |        0 |        0
509.61/509.71	c  509s |      23 |  2915541 |  2759738 |     1382   4878 |        0 |        0
511.61/511.72	c  511s |      23 |  2926434 |  2769838 |     1382   4892 |        0 |        0
513.61/513.73	c  513s |      23 |  2937090 |  2779938 |     1382   4906 |        0 |        0
515.61/515.75	c  515s |      23 |  2947599 |  2790038 |     1382   4920 |        0 |        0
517.61/517.76	c  517s |      23 |  2958114 |  2800138 |     1382   4934 |        0 |        0
519.61/519.78	c  519s |      23 |  2968753 |  2810238 |     1382   4948 |        0 |        0
521.61/521.79	c  521s |      23 |  2979380 |  2820138 |     1382   4962 |        0 |        0
523.71/523.80	c  523s |      23 |  2989929 |  2830138 |     1382   4976 |        0 |        0
525.71/525.82	c  525s |      23 |  3000530 |  2840038 |     1382   4989 |        0 |        0
527.70/527.84	c  527s |      23 |  3011991 |  2850438 |     1382   5004 |        0 |        0
529.70/529.86	c  529s |      23 |  3024263 |  2861338 |     1382   5019 |        0 |        0
531.70/531.86	c  531s |      23 |  3036073 |  2871938 |     1382   5033 |        0 |        0
533.70/533.87	c  533s |      23 |  3047687 |  2882238 |     1382   5047 |        0 |        0
535.71/535.87	c  535s |      23 |  3059365 |  2892538 |     1382   5061 |        0 |        0
537.70/537.88	c  537s |      23 |  3070654 |  2902638 |     1382   5075 |        0 |        0
539.70/539.90	c  539s |      23 |  3081799 |  2912738 |     1382   5089 |        0 |        0
541.80/541.90	c  541s |      23 |  3093125 |  2923238 |     1382   5104 |        0 |        0
543.80/543.90	c  543s |      23 |  3104250 |  2933538 |     1382   5118 |        0 |        0
545.80/545.91	c  545s |      23 |  3115229 |  2943938 |     1382   5132 |        0 |        0
547.80/547.91	c  547s |      23 |  3126059 |  2953938 |     1382   5146 |        0 |        0
549.80/549.92	c  549s |      23 |  3137154 |  2964038 |     1382   5160 |        0 |        0
551.81/551.94	c  551s |      23 |  3148330 |  2974338 |     1382   5174 |        0 |        0
553.80/553.95	c  553s |      23 |  3159306 |  2984538 |     1382   5188 |        0 |        0
555.80/555.97	c  555s |      23 |  3170507 |  2994738 |     1382   5202 |        0 |        0
557.80/557.98	c  557s |      23 |  3181749 |  3005038 |     1382   5217 |        0 |        0
559.81/559.99	c  559s |      23 |  3192551 |  3015138 |     1382   5231 |        0 |        0
561.90/562.00	c  561s |      23 |  3203124 |  3025238 |     1382   5245 |        0 |        0
563.90/564.01	c  563s |      23 |  3213980 |  3035138 |     1382   5258 |        0 |        0
565.90/566.01	c  565s |      23 |  3224925 |  3045338 |     1382   5272 |        0 |        0
567.90/568.02	c  568s |      23 |  3235739 |  3055538 |     1382   5286 |        0 |        0
569.90/570.04	c  570s |      23 |  3246566 |  3065738 |     1382   5300 |        0 |        0
571.91/572.05	c  572s |      23 |  3257294 |  3075738 |     1382   5314 |        0 |        0
573.90/574.06	c  574s |      23 |  3267905 |  3085738 |     1382   5328 |        0 |        0
575.90/576.07	c  576s |      23 |  3278613 |  3095938 |     1382   5342 |        0 |        0
577.90/578.08	c  578s |      23 |  3289206 |  3105838 |     1382   5356 |        0 |        0
579.90/580.09	c  580s |      23 |  3300065 |  3116038 |     1382   5370 |        0 |        0
582.00/582.11	c  582s |      23 |  3310946 |  3126238 |     1382   5384 |        0 |        0
584.00/584.12	c  584s |      23 |  3321440 |  3136338 |     1382   5398 |        0 |        0
586.00/586.14	c  586s |      23 |  3331786 |  3146238 |     1382   5412 |        0 |        0
588.00/588.15	c  588s |      23 |  3342117 |  3155938 |     1382   5425 |        0 |        0
590.00/590.17	c  590s |      23 |  3352398 |  3165738 |     1382   5439 |        0 |        0
592.00/592.18	c  592s |      23 |  3362856 |  3175438 |     1382   5452 |        0 |        0
594.00/594.19	c  594s |      23 |  3373446 |  3185538 |     1382   5466 |        0 |        0
595.99/596.20	c  596s |      23 |  3384251 |  3195938 |     1382   5480 |        0 |        0
598.09/598.21	c  598s |      23 |  3394997 |  3206238 |     1382   5495 |        0 |        0
600.09/600.22	c  600s |      23 |  3405765 |  3216538 |     1382   5509 |        0 |        0
602.09/602.24	c  602s |      23 |  3416439 |  3226738 |     1382   5523 |        0 |        0
604.09/604.24	c  604s |      23 |  3426715 |  3236638 |     1382   5536 |        0 |        0
606.10/606.24	c  606s |      23 |  3437527 |  3247038 |     1382   5551 |        0 |        0
608.09/608.24	c  608s |      23 |  3448054 |  3257038 |     1382   5565 |        0 |        0
610.09/610.26	c  610s |      23 |  3458660 |  3267038 |     1382   5578 |        0 |        0
612.09/612.27	c  612s |      23 |  3469718 |  3277638 |     1382   5593 |        0 |        0
614.09/614.28	c  614s |      23 |  3480379 |  3287838 |     1382   5607 |        0 |        0
616.09/616.29	c  616s |      23 |  3491156 |  3297938 |     1382   5621 |        0 |        0
618.20/618.31	c  618s |      23 |  3501926 |  3307938 |     1382   5635 |        0 |        0
620.19/620.31	c  620s |      23 |  3512446 |  3317938 |     1382   5649 |        0 |        0
622.19/622.32	c  622s |      23 |  3522876 |  3327938 |     1382   5662 |        0 |        0
624.19/624.33	c  624s |      23 |  3533216 |  3337638 |     1382   5676 |        0 |        0
626.19/626.34	c  626s |      23 |  3543970 |  3347838 |     1382   5690 |        0 |        0
628.19/628.34	c  628s |      23 |  3554418 |  3357738 |     1521   5703 |        0 |        0
630.19/630.35	c  630s |      23 |  3564928 |  3367638 |     1521   5715 |        0 |        0
632.09/632.21	c  632s |      24 |  3574517 |  3376662 |     1521   5727 |        0 |        0
634.09/634.22	c  634s |      24 |  3585346 |  3386962 |     1521   5739 |        0 |        0
636.08/636.23	c  636s |      24 |  3595744 |  3396662 |     1521   5752 |        0 |        0
638.08/638.25	c  638s |      24 |  3606167 |  3406462 |     1521   5764 |        0 |        0
640.09/640.25	c  640s |      24 |  3616647 |  3416262 |     1521   5776 |        0 |        0
642.08/642.26	c  642s |      24 |  3627117 |  3426262 |     1521   5789 |        0 |        0
644.08/644.28	c  644s |      24 |  3637634 |  3436362 |     1521   5802 |        0 |        0
646.18/646.30	c  646s |      24 |  3648183 |  3446462 |     1521   5814 |        0 |        0
648.18/648.31	c  648s |      24 |  3658647 |  3456462 |     1521   5827 |        0 |        0
650.18/650.31	c  650s |      24 |  3669003 |  3466362 |     1521   5839 |        0 |        0
652.19/652.33	c  652s |      24 |  3679353 |  3476262 |     1521   5852 |        0 |        0
654.18/654.34	c  654s |      24 |  3689868 |  3486062 |     1521   5864 |        0 |        0
656.18/656.35	c  656s |      24 |  3700049 |  3495862 |     1521   5876 |        0 |        0
658.18/658.35	c  658s |      24 |  3710121 |  3505662 |     1521   5889 |        0 |        0
660.19/660.36	c  660s |      24 |  3720436 |  3515562 |     1521   5901 |        0 |        0
662.19/662.37	c  662s |      24 |  3731502 |  3525862 |     1521   5914 |        0 |        0
664.19/664.39	c  664s |      24 |  3742139 |  3535862 |     1521   5927 |        0 |        0
666.29/666.40	c  666s |      24 |  3752944 |  3545962 |     1521   5939 |        0 |        0
668.29/668.41	c  668s |      24 |  3763498 |  3555962 |     1521   5952 |        0 |        0
670.29/670.41	c  670s |      24 |  3774097 |  3565762 |     1521   5964 |        0 |        0
672.29/672.42	c  672s |      24 |  3784158 |  3575262 |     1521   5976 |        0 |        0
674.29/674.44	c  674s |      24 |  3794170 |  3584962 |     1521   5988 |        0 |        0
676.29/676.45	c  676s |      24 |  3804301 |  3594662 |     1521   6000 |        0 |        0
678.28/678.46	c  678s |      24 |  3814998 |  3604862 |     1521   6013 |        0 |        0
680.28/680.47	c  680s |      24 |  3825451 |  3614962 |     1521   6026 |        0 |        0
682.28/682.48	c  682s |      24 |  3835710 |  3624762 |     1521   6038 |        0 |        0
684.28/684.49	c  684s |      24 |  3846131 |  3634762 |     1521   6051 |        0 |        0
686.29/686.50	c  686s |      24 |  3856503 |  3644662 |     1521   6063 |        0 |        0
688.38/688.51	c  688s |      24 |  3866692 |  3654462 |     1521   6076 |        0 |        0
690.38/690.52	c  690s |      24 |  3876913 |  3664262 |     1521   6088 |        0 |        0
692.38/692.53	c  692s |      24 |  3887051 |  3673962 |     1521   6100 |        0 |        0
694.38/694.55	c  694s |      24 |  3897341 |  3683862 |     1521   6112 |        0 |        0
696.38/696.57	c  696s |      24 |  3907626 |  3693662 |     1521   6125 |        0 |        0
698.38/698.58	c  698s |      24 |  3917808 |  3703462 |     1521   6137 |        0 |        0
700.48/700.60	c  700s |      24 |  3928031 |  3713262 |     1521   6150 |        0 |        0
702.47/702.60	c  702s |      24 |  3937971 |  3722862 |     1521   6162 |        0 |        0
704.48/704.61	c  704s |      24 |  3948509 |  3732762 |     1521   6174 |        0 |        0
706.48/706.63	c  706s |      24 |  3959454 |  3742962 |     1521   6187 |        0 |        0
708.48/708.64	c  708s |      24 |  3970242 |  3752962 |     1521   6199 |        0 |        0
710.49/710.65	c  710s |      24 |  3980769 |  3762762 |     1521   6212 |        0 |        0
712.48/712.65	c  712s |      24 |  3991145 |  3772462 |     1521   6224 |        0 |        0
714.47/714.66	c  714s |      24 |  4001115 |  3781962 |     1521   6236 |        0 |        0
716.47/716.66	c  716s |      24 |  4011233 |  3791562 |     1521   6248 |        0 |        0
718.47/718.68	c  718s |      24 |  4021643 |  3801362 |     1521   6260 |        0 |        0
720.48/720.69	c  720s |      24 |  4032229 |  3811162 |     1521   6272 |        0 |        0
722.47/722.70	c  722s |      24 |  4042672 |  3820862 |     1521   6285 |        0 |        0
724.57/724.71	c  724s |      24 |  4053200 |  3830562 |     1521   6297 |        0 |        0
726.57/726.72	c  726s |      24 |  4063654 |  3840462 |     1521   6309 |        0 |        0
728.57/728.73	c  728s |      24 |  4074376 |  3850362 |     1521   6322 |        0 |        0
730.57/730.75	c  730s |      24 |  4085070 |  3860162 |     1521   6334 |        0 |        0
732.57/732.75	c  732s |      24 |  4095465 |  3869762 |     1521   6346 |        0 |        0
734.56/734.76	c  734s |      24 |  4105732 |  3879262 |     1521   6358 |        0 |        0
736.56/736.77	c  736s |      24 |  4116439 |  3888862 |     1521   6370 |        0 |        0
738.56/738.77	c  738s |      24 |  4126678 |  3898462 |     1521   6382 |        0 |        0
740.56/740.78	c  740s |      24 |  4136843 |  3908062 |     1521   6394 |        0 |        0
742.56/742.79	c  742s |      24 |  4147029 |  3917562 |     1521   6406 |        0 |        0
744.56/744.79	c  744s |      24 |  4157040 |  3926762 |     1521   6418 |        0 |        0
746.65/746.80	c  746s |      24 |  4167109 |  3936262 |     1521   6430 |        0 |        0
748.65/748.81	c  748s |      24 |  4177180 |  3945762 |     1521   6442 |        0 |        0
750.65/750.83	c  750s |      24 |  4187845 |  3955962 |     1521   6455 |        0 |        0
752.65/752.83	c  752s |      24 |  4198550 |  3966162 |     1521   6467 |        0 |        0
754.65/754.84	c  754s |      24 |  4208817 |  3975962 |     1521   6480 |        0 |        0
756.65/756.84	c  756s |      24 |  4219140 |  3985762 |     1521   6492 |        0 |        0
758.65/758.85	c  758s |      24 |  4229590 |  3995662 |     1521   6504 |        0 |        0
760.65/760.86	c  760s |      24 |  4240114 |  4005662 |     1521   6517 |        0 |        0
762.65/762.88	c  762s |      24 |  4250410 |  4015162 |     1521   6529 |        0 |        0
764.65/764.89	c  764s |      24 |  4260469 |  4024862 |     1521   6541 |        0 |        0
766.75/766.92	c  766s |      24 |  4270840 |  4034762 |     1521   6554 |        0 |        0
768.76/768.94	c  768s |      24 |  4281286 |  4044662 |     1521   6566 |        0 |        0
770.75/770.94	c  770s |      24 |  4291177 |  4054262 |     1521   6578 |        0 |        0
772.75/772.96	c  772s |      24 |  4301664 |  4064162 |     1521   6591 |        0 |        0
774.75/774.97	c  774s |      24 |  4311809 |  4073862 |     1521   6603 |        0 |        0
776.75/776.99	c  776s |      24 |  4321988 |  4083662 |     1521   6615 |        0 |        0
778.85/779.00	c  778s |      24 |  4332241 |  4093462 |     1521   6627 |        0 |        0
780.85/781.01	c  780s |      24 |  4342595 |  4103262 |     1521   6640 |        0 |        0
782.84/783.02	c  782s |      24 |  4352604 |  4112862 |     1521   6652 |        0 |        0
784.84/785.02	c  784s |      24 |  4362355 |  4122362 |     1521   6664 |        0 |        0
786.84/787.03	c  787s |      24 |  4372675 |  4132262 |     1521   6676 |        0 |        0
788.84/789.04	c  789s |      24 |  4382767 |  4141962 |     1521   6688 |        0 |        0
790.84/791.04	c  791s |      24 |  4393021 |  4151762 |     1521   6701 |        0 |        0
792.83/793.04	c  793s |      24 |  4403312 |  4161462 |     1521   6713 |        0 |        0
794.83/795.04	c  795s |      24 |  4413211 |  4170762 |     1521   6725 |        0 |        0
796.83/797.05	c  797s |      24 |  4423093 |  4180162 |     1521   6736 |        0 |        0
798.83/799.06	c  799s |      24 |  4433281 |  4189962 |     1521   6749 |        0 |        0
800.83/801.06	c  801s |      24 |  4443277 |  4199462 |     1521   6761 |        0 |        0
802.84/803.07	c  803s |      24 |  4453865 |  4209362 |     1521   6773 |        0 |        0
804.82/805.07	c  805s |      24 |  4464545 |  4219362 |     1521   6786 |        0 |        0
806.82/807.09	c  807s |      24 |  4474934 |  4229362 |     1521   6798 |        0 |        0
808.92/809.10	c  809s |      24 |  4485517 |  4239462 |     1521   6811 |        0 |        0
810.92/811.13	c  811s |      24 |  4496105 |  4249562 |     1521   6824 |        0 |        0
812.92/813.13	c  813s |      24 |  4506215 |  4259262 |     1521   6836 |        0 |        0
814.92/815.15	c  815s |      24 |  4516487 |  4269162 |     1521   6848 |        0 |        0
816.91/817.15	c  817s |      24 |  4526536 |  4278862 |     1521   6860 |        0 |        0
818.91/819.16	c  819s |      24 |  4536750 |  4288662 |     1521   6873 |        0 |        0
820.92/821.18	c  821s |      24 |  4546919 |  4298362 |     1521   6885 |        0 |        0
822.92/823.19	c  823s |      24 |  4557600 |  4308462 |     1521   6898 |        0 |        0
824.92/825.19	c  825s |      24 |  4567884 |  4318162 |     1521   6910 |        0 |        0
827.02/827.21	c  827s |      24 |  4578249 |  4327962 |     1521   6922 |        0 |        0
829.01/829.22	c  829s |      24 |  4588455 |  4337562 |     1521   6934 |        0 |        0
831.01/831.24	c  831s |      24 |  4598663 |  4347462 |     1521   6947 |        0 |        0
833.01/833.24	c  833s |      24 |  4609067 |  4357362 |     1521   6959 |        0 |        0
835.01/835.26	c  835s |      24 |  4619363 |  4367162 |     1521   6972 |        0 |        0
837.02/837.28	c  837s |      24 |  4629528 |  4376962 |     1521   6984 |        0 |        0
839.01/839.30	c  839s |      24 |  4639457 |  4386462 |     1521   6996 |        0 |        0
841.11/841.30	c  841s |      24 |  4649367 |  4396062 |     1521   7008 |        0 |        0
843.11/843.30	c  843s |      24 |  4659673 |  4405862 |     1521   7020 |        0 |        0
845.10/845.32	c  845s |      24 |  4669779 |  4415562 |     1521   7032 |        0 |        0
847.10/847.34	c  847s |      24 |  4679889 |  4425262 |     1521   7045 |        0 |        0
849.11/849.34	c  849s |      24 |  4689627 |  4434662 |     1521   7056 |        0 |        0
851.10/851.36	c  851s |      24 |  4699509 |  4444162 |     1521   7068 |        0 |        0
853.10/853.38	c  853s |      24 |  4709770 |  4453862 |     1521   7081 |        0 |        0
855.09/855.39	c  855s |      24 |  4720148 |  4463662 |     1521   7093 |        0 |        0
857.19/857.40	c  857s |      24 |  4730170 |  4473362 |     1521   7105 |        0 |        0
859.19/859.40	c  859s |      24 |  4740318 |  4483162 |     1521   7117 |        0 |        0
861.20/861.42	c  861s |      24 |  4750580 |  4492962 |     1521   7130 |        0 |        0
863.19/863.43	c  863s |      24 |  4760922 |  4502762 |     1521   7142 |        0 |        0
865.19/865.44	c  865s |      24 |  4771083 |  4512162 |     1521   7154 |        0 |        0
867.19/867.45	c  867s |      24 |  4781082 |  4521662 |     1521   7166 |        0 |        0
869.19/869.45	c  869s |      24 |  4791201 |  4531162 |     1521   7178 |        0 |        0
871.19/871.46	c  871s |      24 |  4801261 |  4540662 |     1521   7190 |        0 |        0
873.19/873.47	c  873s |      24 |  4811211 |  4550162 |     1521   7202 |        0 |        0
875.18/875.47	c  875s |      24 |  4820797 |  4559462 |     1521   7214 |        0 |        0
877.29/877.50	c  877s |      24 |  4831127 |  4568962 |     1521   7226 |        0 |        0
879.29/879.51	c  879s |      24 |  4842114 |  4579262 |     1521   7238 |        0 |        0
881.29/881.52	c  881s |      24 |  4852534 |  4589162 |     1521   7251 |        0 |        0
883.29/883.53	c  883s |      24 |  4863221 |  4599062 |     1521   7263 |        0 |        0
885.29/885.54	c  885s |      24 |  4873596 |  4608762 |     1521   7276 |        0 |        0
887.28/887.54	c  887s |      24 |  4883795 |  4618362 |     1521   7288 |        0 |        0
889.28/889.55	c  889s |      24 |  4894116 |  4628062 |     1521   7300 |        0 |        0
891.28/891.55	c  891s |      24 |  4904832 |  4637562 |     1521   7312 |        0 |        0
893.28/893.57	c  893s |      24 |  4915003 |  4647062 |     1521   7324 |        0 |        0
895.28/895.58	c  895s |      24 |  4925373 |  4656562 |     1521   7336 |        0 |        0
897.27/897.60	c  897s |      24 |  4935425 |  4666162 |     1521   7348 |        0 |        0
899.37/899.61	c  899s |      24 |  4945434 |  4675762 |     1521   7360 |        0 |        0
901.37/901.61	c  901s |      24 |  4955610 |  4685562 |     1521   7372 |        0 |        0
903.37/903.62	c  903s |      24 |  4965593 |  4695062 |     1521   7384 |        0 |        0
905.37/905.63	c  905s |      24 |  4975617 |  4704462 |     1521   7396 |        0 |        0
907.37/907.63	c  907s |      24 |  4985558 |  4713762 |     1521   7408 |        0 |        0
909.37/909.63	c  909s |      24 |  4995407 |  4723162 |     1521   7420 |        0 |        0
911.37/911.65	c  911s |      24 |  5005441 |  4732762 |     1521   7432 |        0 |        0
913.37/913.66	c  913s |      24 |  5015687 |  4742462 |     1521   7444 |        0 |        0
915.36/915.67	c  915s |      24 |  5025648 |  4751962 |     1521   7456 |        0 |        0
917.36/917.68	c  917s |      24 |  5035760 |  4761462 |     1521   7468 |        0 |        0
919.37/919.69	c  919s |      24 |  5045935 |  4771062 |     1521   7480 |        0 |        0
921.46/921.70	c  921s |      24 |  5055570 |  4780262 |     1521   7492 |        0 |        0
923.46/923.70	c  923s |      24 |  5065586 |  4789862 |     1521   7504 |        0 |        0
925.45/925.72	c  925s |      24 |  5075709 |  4799562 |     1521   7516 |        0 |        0
927.45/927.74	c  927s |      24 |  5085939 |  4809262 |     1521   7528 |        0 |        0
929.45/929.75	c  929s |      24 |  5096146 |  4819062 |     1521   7541 |        0 |        0
931.46/931.75	c  931s |      24 |  5106125 |  4828662 |     1521   7553 |        0 |        0
933.45/933.78	c  933s |      24 |  5116137 |  4838162 |     1521   7565 |        0 |        0
935.45/935.78	c  935s |      24 |  5125792 |  4847362 |     1521   7576 |        0 |        0
937.46/937.78	c  937s |      24 |  5135395 |  4856662 |     1521   7588 |        0 |        0
939.45/939.79	c  939s |      24 |  5144971 |  4865962 |     1521   7600 |        0 |        0
941.46/941.79	c  941s |      24 |  5154691 |  4875462 |     1521   7612 |        0 |        0
943.56/943.81	c  943s |      24 |  5164499 |  4884962 |     1521   7624 |        0 |        0
945.55/945.81	c  945s |      24 |  5174145 |  4894362 |     1521   7635 |        0 |        0
947.55/947.83	c  947s |      24 |  5183993 |  4903662 |     1521   7647 |        0 |        0
949.55/949.84	c  949s |      24 |  5194087 |  4913262 |     1521   7659 |        0 |        0
951.55/951.85	c  951s |      24 |  5204385 |  4923062 |     1521   7672 |        0 |        0
953.56/953.85	c  953s |      24 |  5214689 |  4932862 |     1521   7684 |        0 |        0
955.55/955.86	c  955s |      24 |  5224990 |  4942362 |     1521   7696 |        0 |        0
957.55/957.86	c  957s |      24 |  5235141 |  4951962 |     1521   7708 |        0 |        0
959.55/959.88	c  959s |      24 |  5245455 |  4961662 |     1521   7720 |        0 |        0
961.54/961.88	c  961s |      24 |  5255456 |  4971162 |     1521   7732 |        0 |        0
963.54/963.89	c  963s |      24 |  5265574 |  4980762 |     1521   7744 |        0 |        0
965.54/965.90	c  965s |      24 |  5275559 |  4990262 |     1521   7756 |        0 |        0
967.63/967.91	c  967s |      24 |  5285496 |  4999662 |     1521   7768 |        0 |        0
969.63/969.92	c  969s |      24 |  5295628 |  5009162 |     1521   7780 |        0 |        0
971.63/971.92	c  971s |      24 |  5305813 |  5018762 |     1521   7792 |        0 |        0
973.63/973.94	c  973s |      24 |  5315591 |  5028162 |     1521   7804 |        0 |        0
975.63/975.95	c  975s |      24 |  5325207 |  5037462 |     1674   7814 |        0 |        0
977.63/977.95	c  977s |      24 |  5334831 |  5046862 |     1674   7825 |        0 |        0
979.63/979.96	c  979s |      24 |  5344743 |  5056362 |     1674   7836 |        0 |        0
981.43/981.74	c  981s |      25 |  5353910 |  5065098 |     1674   7846 |        0 |        0
983.43/983.74	c  983s |      25 |  5364650 |  5075198 |     1674   7857 |        0 |        0
985.43/985.74	c  985s |      25 |  5374645 |  5084798 |     1674   7868 |        0 |        0
987.42/987.75	c  987s |      25 |  5384581 |  5094298 |     1674   7879 |        0 |        0
989.42/989.75	c  989s |      25 |  5394976 |  5104198 |     1674   7891 |        0 |        0
991.42/991.76	c  991s |      25 |  5405299 |  5114098 |     1674   7902 |        0 |        0
993.42/993.77	c  993s |      25 |  5415506 |  5123798 |     1674   7913 |        0 |        0
995.41/995.77	c  995s |      25 |  5425402 |  5133198 |     1674   7924 |        0 |        0
997.42/997.79	c  997s |      25 |  5435534 |  5142998 |     1674   7935 |        0 |        0
999.51/999.80	c  999s |      25 |  5445604 |  5152598 |     1674   7946 |        0 |        0
1001.52/1001.80	c 1001s |      25 |  5456132 |  5162598 |     1674   7957 |        0 |        0
1003.52/1003.81	c 1003s |      25 |  5466457 |  5172598 |     1674   7969 |        0 |        0
1005.52/1005.82	c 1005s |      25 |  5476553 |  5182398 |     1674   7980 |        0 |        0
1007.52/1007.85	c 1007s |      25 |  5486939 |  5192398 |     1674   7992 |        0 |        0
1009.52/1009.86	c 1009s |      25 |  5496932 |  5202098 |     1674   8003 |        0 |        0
1011.52/1011.87	c 1011s |      25 |  5507104 |  5211798 |     1674   8014 |        0 |        0
1013.52/1013.88	c 1013s |      25 |  5517443 |  5221598 |     1674   8025 |        0 |        0
1015.51/1015.89	c 1015s |      25 |  5527380 |  5230998 |     1674   8036 |        0 |        0
1017.61/1017.90	c 1017s |      25 |  5537817 |  5240698 |     1674   8047 |        0 |        0
1019.61/1019.90	c 1019s |      25 |  5547874 |  5250198 |     1674   8058 |        0 |        0
1021.62/1021.92	c 1021s |      25 |  5558205 |  5259798 |     1674   8069 |        0 |        0
1023.61/1023.92	c 1023s |      25 |  5568364 |  5269198 |     1674   8080 |        0 |        0
1025.61/1025.95	c 1025s |      25 |  5578597 |  5278798 |     1674   8091 |        0 |        0
1027.60/1027.96	c 1027s |      25 |  5588633 |  5288298 |     1674   8101 |        0 |        0
1029.60/1029.96	c 1029s |      25 |  5598672 |  5297698 |     1674   8112 |        0 |        0
1031.61/1031.97	c 1031s |      25 |  5608788 |  5307198 |     1674   8123 |        0 |        0
1033.60/1033.99	c 1033s |      25 |  5619077 |  5316698 |     1674   8134 |        0 |        0
1035.60/1035.99	c 1035s |      25 |  5629508 |  5326698 |     1674   8145 |        0 |        0
1037.70/1038.01	c 1037s |      25 |  5639694 |  5336398 |     1674   8157 |        0 |        0
1039.70/1040.01	c 1039s |      25 |  5649909 |  5346098 |     1674   8168 |        0 |        0
1041.70/1042.02	c 1042s |      25 |  5659933 |  5355598 |     1674   8179 |        0 |        0
1043.71/1044.05	c 1044s |      25 |  5670003 |  5365198 |     1674   8190 |        0 |        0
1045.70/1046.06	c 1046s |      25 |  5679877 |  5374598 |     1674   8200 |        0 |        0
1047.70/1048.08	c 1048s |      25 |  5690213 |  5384598 |     1674   8212 |        0 |        0
1049.70/1050.08	c 1050s |      25 |  5700243 |  5394198 |     1674   8223 |        0 |        0
1051.70/1052.09	c 1052s |      25 |  5710522 |  5403998 |     1674   8234 |        0 |        0
1053.79/1054.10	c 1054s |      25 |  5720382 |  5413498 |     1674   8245 |        0 |        0
1055.80/1056.11	c 1056s |      25 |  5730645 |  5423398 |     1674   8256 |        0 |        0
1057.79/1058.14	c 1058s |      25 |  5741159 |  5433198 |     1674   8268 |        0 |        0
1059.79/1060.14	c 1060s |      25 |  5750986 |  5442598 |     1674   8278 |        0 |        0
1061.79/1062.16	c 1062s |      25 |  5760818 |  5452098 |     1674   8289 |        0 |        0
1063.79/1064.18	c 1064s |      25 |  5770813 |  5461798 |     1674   8300 |        0 |        0
1065.78/1066.18	c 1066s |      25 |  5780581 |  5471098 |     1674   8311 |        0 |        0
1067.79/1068.20	c 1068s |      25 |  5790172 |  5480398 |     1674   8322 |        0 |        0
1069.88/1070.21	c 1070s |      25 |  5800577 |  5490298 |     1674   8333 |        0 |        0
1071.88/1072.22	c 1072s |      25 |  5810559 |  5499898 |     1674   8344 |        0 |        0
1073.88/1074.23	c 1074s |      25 |  5820622 |  5509498 |     1674   8355 |        0 |        0
1075.88/1076.24	c 1076s |      25 |  5830574 |  5518998 |     1674   8366 |        0 |        0
1077.88/1078.24	c 1078s |      25 |  5840390 |  5528598 |     1674   8377 |        0 |        0
1079.88/1080.24	c 1080s |      25 |  5850585 |  5538198 |     1674   8388 |        0 |        0
1081.88/1082.26	c 1082s |      25 |  5860462 |  5547598 |     1674   8399 |        0 |        0
1083.88/1084.28	c 1084s |      25 |  5870554 |  5557198 |     1674   8410 |        0 |        0
1085.87/1086.28	c 1086s |      25 |  5880269 |  5566398 |     1674   8420 |        0 |        0
1087.87/1088.28	c 1088s |      25 |  5889577 |  5575498 |     1674   8431 |        0 |        0
1089.88/1090.30	c 1090s |      25 |  5900060 |  5585598 |     1674   8442 |        0 |        0
1091.87/1092.30	c 1092s |      25 |  5910131 |  5595298 |     1674   8454 |        0 |        0
1093.97/1094.32	c 1094s |      25 |  5920134 |  5604998 |     1674   8465 |        0 |        0
1095.97/1096.34	c 1096s |      25 |  5930142 |  5614598 |     1674   8476 |        0 |        0
1097.98/1098.35	c 1098s |      25 |  5939965 |  5624098 |     1674   8486 |        0 |        0
1099.98/1100.36	c 1100s |      25 |  5949937 |  5633598 |     1674   8497 |        0 |        0
1101.98/1102.37	c 1102s |      25 |  5960021 |  5643298 |     1674   8508 |        0 |        0
1103.98/1104.37	c 1104s |      25 |  5969873 |  5652898 |     1674   8520 |        0 |        0
1105.97/1106.37	c 1106s |      25 |  5979522 |  5662198 |     1674   8530 |        0 |        0
1107.97/1108.37	c 1108s |      25 |  5989067 |  5671498 |     1674   8541 |        0 |        0
1109.97/1110.39	c 1110s |      25 |  5998832 |  5680998 |     1674   8552 |        0 |        0
1112.07/1112.40	c 1112s |      25 |  6008737 |  5690498 |     1674   8563 |        0 |        0
1114.08/1114.41	c 1114s |      25 |  6018636 |  5699898 |     1674   8573 |        0 |        0
1116.07/1116.43	c 1116s |      25 |  6028033 |  5708998 |     1674   8584 |        0 |        0
1118.07/1118.43	c 1118s |      25 |  6038124 |  5718598 |     1674   8595 |        0 |        0
1120.06/1120.45	c 1120s |      25 |  6048224 |  5728298 |     1674   8606 |        0 |        0
1122.06/1122.46	c 1122s |      25 |  6058172 |  5737798 |     1674   8617 |        0 |        0
1124.06/1124.46	c 1124s |      25 |  6068174 |  5747398 |     1674   8628 |        0 |        0
1126.07/1126.48	c 1126s |      25 |  6077896 |  5756798 |     1674   8639 |        0 |        0
1128.06/1128.49	c 1128s |      25 |  6087735 |  5766298 |     1674   8650 |        0 |        0
1130.16/1130.51	c 1130s |      25 |  6097366 |  5775398 |     1674   8660 |        0 |        0
1132.16/1132.53	c 1132s |      25 |  6106836 |  5784398 |     1674   8671 |        0 |        0
1134.16/1134.55	c 1134s |      25 |  6116879 |  5793898 |     1674   8681 |        0 |        0
1136.15/1136.56	c 1136s |      25 |  6126603 |  5803198 |     1674   8692 |        0 |        0
1138.16/1138.56	c 1138s |      25 |  6136337 |  5812598 |     1674   8703 |        0 |        0
1140.15/1140.58	c 1140s |      25 |  6146092 |  5821898 |     1674   8714 |        0 |        0
1142.15/1142.59	c 1142s |      25 |  6155822 |  5831298 |     1674   8724 |        0 |        0
1144.25/1144.60	c 1144s |      25 |  6165349 |  5840498 |     1674   8735 |        0 |        0
1146.25/1146.60	c 1146s |      25 |  6175154 |  5849898 |     1674   8746 |        0 |        0
1148.25/1148.62	c 1148s |      25 |  6184763 |  5858998 |     1674   8756 |        0 |        0
1150.26/1150.62	c 1150s |      25 |  6194411 |  5868098 |     1674   8767 |        0 |        0
1152.25/1152.63	c 1152s |      25 |  6204725 |  5877898 |     1674   8778 |        0 |        0
1154.25/1154.64	c 1154s |      25 |  6214578 |  5887298 |     1674   8789 |        0 |        0
1156.25/1156.64	c 1156s |      25 |  6224572 |  5896698 |     1674   8799 |        0 |        0
1158.24/1158.65	c 1158s |      25 |  6234175 |  5905698 |     1674   8810 |        0 |        0
1160.25/1160.66	c 1160s |      25 |  6243860 |  5914898 |     1674   8820 |        0 |        0
1162.24/1162.67	c 1162s |      25 |  6253395 |  5924198 |     1674   8831 |        0 |        0
1164.24/1164.68	c 1164s |      25 |  6262920 |  5933398 |     1674   8841 |        0 |        0
1166.24/1166.69	c 1166s |      25 |  6272669 |  5942698 |     1674   8852 |        0 |        0
1168.34/1168.70	c 1168s |      25 |  6282833 |  5951998 |     1674   8863 |        0 |        0
1170.34/1170.71	c 1170s |      25 |  6292712 |  5961298 |     1674   8873 |        0 |        0
1172.35/1172.72	c 1172s |      25 |  6302602 |  5970598 |     1674   8884 |        0 |        0
1174.34/1174.73	c 1174s |      25 |  6312421 |  5979798 |     1674   8895 |        0 |        0
1176.34/1176.75	c 1176s |      25 |  6322098 |  5989098 |     1674   8905 |        0 |        0
1178.34/1178.76	c 1178s |      25 |  6331836 |  5998198 |     1674   8916 |        0 |        0
1180.34/1180.76	c 1180s |      25 |  6341501 |  6007298 |     1674   8926 |        0 |        0
1182.34/1182.77	c 1182s |      25 |  6351064 |  6016298 |     1674   8937 |        0 |        0
1184.34/1184.78	c 1184s |      25 |  6360679 |  6025198 |     1674   8947 |        0 |        0
1186.33/1186.79	c 1186s |      25 |  6370674 |  6034498 |     1674   8957 |        0 |        0
1188.33/1188.79	c 1188s |      25 |  6380290 |  6043598 |     1674   8968 |        0 |        0
1190.33/1190.79	c 1190s |      25 |  6390156 |  6052798 |     1674   8978 |        0 |        0
1192.43/1192.81	c 1192s |      25 |  6399993 |  6061898 |     1674   8989 |        0 |        0
1194.42/1194.82	c 1194s |      25 |  6409585 |  6070898 |     1674   8999 |        0 |        0
1196.43/1196.82	c 1196s |      25 |  6419089 |  6079798 |     1674   9009 |        0 |        0
1198.42/1198.83	c 1198s |      25 |  6428805 |  6088898 |     1674   9020 |        0 |        0
1200.42/1200.84	c 1200s |      25 |  6438352 |  6097898 |     1674   9030 |        0 |        0
1202.42/1202.84	c 1202s |      25 |  6447904 |  6106798 |     1674   9040 |        0 |        0
1204.42/1204.86	c 1204s |      25 |  6457457 |  6115398 |     1674   9050 |        0 |        0
1206.42/1206.86	c 1206s |      25 |  6467276 |  6124698 |     1674   9061 |        0 |        0
1208.42/1208.88	c 1208s |      25 |  6477233 |  6133798 |     1674   9071 |        0 |        0
1210.52/1210.90	c 1210s |      25 |  6487089 |  6143098 |     1674   9082 |        0 |        0
1212.52/1212.92	c 1212s |      25 |  6496744 |  6152298 |     1674   9093 |        0 |        0
1214.51/1214.95	c 1214s |      25 |  6506731 |  6161598 |     1674   9103 |        0 |        0
1216.51/1216.96	c 1216s |      25 |  6516552 |  6170698 |     1674   9114 |        0 |        0
1218.52/1218.97	c 1218s |      25 |  6525913 |  6179598 |     1674   9124 |        0 |        0
1220.51/1220.98	c 1220s |      25 |  6535742 |  6188898 |     1674   9134 |        0 |        0
1222.51/1222.99	c 1222s |      25 |  6545307 |  6197998 |     1674   9145 |        0 |        0
1224.61/1225.00	c 1224s |      25 |  6555220 |  6207198 |     1674   9155 |        0 |        0
1226.61/1227.01	c 1226s |      25 |  6564826 |  6216098 |     1674   9166 |        0 |        0
1228.61/1229.02	c 1229s |      25 |  6574581 |  6225298 |     1674   9176 |        0 |        0
1230.61/1231.03	c 1231s |      25 |  6584194 |  6234398 |     1674   9187 |        0 |        0
1232.60/1233.04	c 1233s |      25 |  6593545 |  6243298 |     1674   9197 |        0 |        0
1234.60/1235.05	c 1235s |      25 |  6603066 |  6252198 |     1674   9207 |        0 |        0
1236.60/1237.07	c 1237s |      25 |  6613125 |  6261298 |     1674   9217 |        0 |        0
1238.60/1239.09	c 1239s |      25 |  6623104 |  6270398 |     1674   9228 |        0 |        0
1240.70/1241.10	c 1241s |      25 |  6632568 |  6279398 |     1674   9238 |        0 |        0
1242.71/1243.10	c 1243s |      25 |  6641830 |  6288298 |     1674   9248 |        0 |        0
1244.69/1245.12	c 1245s |      25 |  6651188 |  6297098 |     1674   9259 |        0 |        0
1246.69/1247.13	c 1247s |      25 |  6660419 |  6305998 |     1674   9269 |        0 |        0
1248.70/1249.14	c 1249s |      25 |  6669950 |  6314798 |     1674   9279 |        0 |        0
1250.70/1251.14	c 1251s |      25 |  6679335 |  6323598 |     1674   9289 |        0 |        0
1252.70/1253.15	c 1253s |      25 |  6689293 |  6332798 |     1674   9300 |        0 |        0
1254.70/1255.15	c 1255s |      25 |  6699055 |  6341798 |     1674   9310 |        0 |        0
1256.70/1257.17	c 1257s |      25 |  6709450 |  6350998 |     1674   9320 |        0 |        0
1258.69/1259.18	c 1259s |      25 |  6719287 |  6360098 |     1674   9331 |        0 |        0
1260.69/1261.18	c 1261s |      25 |  6728548 |  6368898 |     1674   9341 |        0 |        0
1262.79/1263.20	c 1263s |      25 |  6738287 |  6377898 |     1674   9351 |        0 |        0
1264.79/1265.20	c 1265s |      25 |  6747698 |  6386698 |     1674   9361 |        0 |        0
1266.79/1267.22	c 1267s |      25 |  6757146 |  6395398 |     1674   9371 |        0 |        0
1268.79/1269.23	c 1269s |      25 |  6766880 |  6404198 |     1674   9382 |        0 |        0
1270.79/1271.23	c 1271s |      25 |  6776902 |  6413198 |     1674   9392 |        0 |        0
1272.79/1273.23	c 1273s |      25 |  6786500 |  6422098 |     1674   9402 |        0 |        0
1274.78/1275.24	c 1275s |      25 |  6796069 |  6430998 |     1674   9412 |        0 |        0
1276.79/1277.24	c 1277s |      25 |  6805238 |  6439698 |     1674   9422 |        0 |        0
1278.78/1279.25	c 1279s |      25 |  6814564 |  6448598 |     1674   9433 |        0 |        0
1280.78/1281.27	c 1281s |      25 |  6823769 |  6457398 |     1674   9443 |        0 |        0
1282.78/1283.27	c 1283s |      25 |  6832940 |  6466098 |     1674   9453 |        0 |        0
1284.78/1285.28	c 1285s |      25 |  6842426 |  6474798 |     1674   9463 |        0 |        0
1286.78/1287.28	c 1287s |      25 |  6851652 |  6483598 |     1674   9473 |        0 |        0
1288.88/1289.30	c 1289s |      25 |  6861020 |  6492398 |     1674   9483 |        0 |        0
1290.87/1291.32	c 1291s |      25 |  6870373 |  6501198 |     1674   9493 |        0 |        0
1292.87/1293.33	c 1293s |      25 |  6879254 |  6509798 |     1674   9503 |        0 |        0
1294.87/1295.34	c 1295s |      25 |  6889400 |  6519498 |     1674   9514 |        0 |        0
1296.87/1297.35	c 1297s |      25 |  6899329 |  6528998 |     1674   9525 |        0 |        0
1298.87/1299.37	c 1299s |      25 |  6908991 |  6538298 |     1674   9535 |        0 |        0
1300.88/1301.38	c 1301s |      25 |  6919069 |  6547898 |     1674   9546 |        0 |        0
1302.87/1303.38	c 1303s |      25 |  6928678 |  6557198 |     1674   9557 |        0 |        0
1304.86/1305.39	c 1305s |      25 |  6938303 |  6566498 |     1674   9568 |        0 |        0
1306.86/1307.39	c 1307s |      25 |  6948086 |  6575798 |     1674   9578 |        0 |        0
1308.96/1309.41	c 1309s |      25 |  6957547 |  6584898 |     1674   9589 |        0 |        0
1310.96/1311.43	c 1311s |      25 |  6967180 |  6594098 |     1674   9599 |        0 |        0
1312.97/1313.45	c 1313s |      25 |  6976522 |  6602798 |     1674   9609 |        0 |        0
1314.97/1315.48	c 1315s |      25 |  6985869 |  6611798 |     1674   9620 |        0 |        0
1316.97/1317.48	c 1317s |      25 |  6995521 |  6620998 |     1674   9630 |        0 |        0
1318.97/1319.48	c 1319s |      25 |  7005245 |  6630198 |     1674   9641 |        0 |        0
1321.07/1321.50	c 1321s |      25 |  7014785 |  6639098 |     1674   9651 |        0 |        0
1323.07/1323.50	c 1323s |      25 |  7023962 |  6647798 |     1674   9661 |        0 |        0
1325.07/1325.51	c 1325s |      25 |  7033955 |  6657098 |     1674   9671 |        0 |        0
1327.06/1327.52	c 1327s |      25 |  7043525 |  6666198 |     1674   9682 |        0 |        0
1329.06/1329.53	c 1329s |      25 |  7052818 |  6674898 |     1674   9692 |        0 |        0
1331.06/1331.53	c 1331s |      25 |  7062457 |  6683798 |     1674   9702 |        0 |        0
1333.06/1333.53	c 1333s |      25 |  7071543 |  6692498 |     1674   9712 |        0 |        0
1335.06/1335.54	c 1335s |      25 |  7080940 |  6701598 |     1674   9722 |        0 |        0
1337.05/1337.55	c 1337s |      25 |  7090478 |  6710598 |     1674   9733 |        0 |        0
1339.05/1339.57	c 1339s |      25 |  7100122 |  6719698 |     1674   9743 |        0 |        0
1341.05/1341.59	c 1341s |      25 |  7109798 |  6728798 |     1674   9754 |        0 |        0
1343.15/1343.60	c 1343s |      25 |  7119237 |  6737898 |     1674   9764 |        0 |        0
1345.15/1345.60	c 1345s |      25 |  7128389 |  6746698 |     1674   9774 |        0 |        0
1347.15/1347.62	c 1347s |      25 |  7137594 |  6755598 |     1674   9784 |        0 |        0
1349.15/1349.64	c 1349s |      25 |  7146636 |  6764298 |     1674   9794 |        0 |        0
1351.15/1351.64	c 1351s |      25 |  7155673 |  6772998 |     1674   9804 |        0 |        0
1353.15/1353.66	c 1353s |      25 |  7164873 |  6781898 |     1674   9815 |        0 |        0
1355.15/1355.66	c 1355s |      25 |  7174198 |  6790798 |     1674   9825 |        0 |        0
1357.14/1357.66	c 1357s |      25 |  7183570 |  6799598 |     1674   9835 |        0 |        0
1359.15/1359.67	c 1359s |      25 |  7192924 |  6808498 |     1674   9845 |        0 |        0
1361.14/1361.69	c 1361s |      25 |  7202211 |  6817398 |     1674   9855 |        0 |        0
1363.24/1363.70	c 1363s |      25 |  7211236 |  6826098 |     1674   9865 |        0 |        0
1365.24/1365.72	c 1365s |      25 |  7220362 |  6834798 |     1674   9875 |        0 |        0
1367.24/1367.72	c 1367s |      25 |  7229592 |  6843498 |     1674   9885 |        0 |        0
1369.24/1369.74	c 1369s |      25 |  7238629 |  6851998 |     1674   9895 |        0 |        0
1371.25/1371.74	c 1371s |      25 |  7247877 |  6860798 |     1674   9905 |        0 |        0
1373.24/1373.76	c 1373s |      25 |  7257280 |  6869798 |     1674   9916 |        0 |        0
1375.24/1375.76	c 1375s |      25 |  7266948 |  6878798 |     1674   9926 |        0 |        0
1377.24/1377.76	c 1377s |      25 |  7276570 |  6887898 |     1674   9936 |        0 |        0
1379.24/1379.79	c 1379s |      25 |  7286223 |  6896898 |     1674   9947 |        0 |        0
1381.24/1381.79	c 1381s |      25 |  7295674 |  6905798 |     1674   9957 |        0 |        0
1383.24/1383.79	c 1383s |      25 |  7305485 |  6914698 |     1674   9967 |        0 |        0
1385.24/1385.79	c 1385s |      25 |  7314909 |  6923398 |     1674   9977 |        0 |        0
1387.35/1387.81	c 1387s |      25 |  7324331 |  6932098 |     1674   9987 |        0 |        0
1389.34/1389.82	c 1389s |      25 |  7333433 |  6940798 |     1674   9997 |        0 |        0
1391.34/1391.82	c 1391s |      25 |  7342727 |  6949698 |     1674  10007 |        0 |        0
1393.35/1393.82	c 1393s |      25 |  7351944 |  6958398 |     1674  10017 |        0 |        0
1395.34/1395.82	c 1395s |      25 |  7361048 |  6966898 |     1674  10027 |        0 |        0
1397.34/1397.84	c 1397s |      25 |  7370293 |  6975798 |     1674  10037 |        0 |        0
1399.34/1399.84	c 1399s |      25 |  7379339 |  6984398 |     1674  10047 |        0 |        0
1401.34/1401.85	c 1401s |      25 |  7388694 |  6993298 |     1674  10057 |        0 |        0
1403.34/1403.86	c 1403s |      25 |  7398359 |  7002398 |     1674  10068 |        0 |        0
1405.35/1405.88	c 1405s |      25 |  7408015 |  7011598 |     1674  10078 |        0 |        0
1407.34/1407.88	c 1407s |      25 |  7417381 |  7020498 |     1674  10089 |        0 |        0
1409.44/1409.90	c 1409s |      25 |  7427430 |  7029798 |     1674  10099 |        0 |        0
1411.44/1411.92	c 1411s |      25 |  7437127 |  7038598 |     1674  10109 |        0 |        0
1413.44/1413.92	c 1413s |      25 |  7446426 |  7047298 |     1674  10119 |        0 |        0
1415.44/1415.92	c 1415s |      25 |  7455462 |  7055998 |     1674  10129 |        0 |        0
1417.44/1417.93	c 1417s |      25 |  7464669 |  7064898 |     1674  10140 |        0 |        0
1419.44/1419.93	c 1419s |      25 |  7474181 |  7073898 |     1674  10150 |        0 |        0
1421.43/1421.95	c 1421s |      25 |  7483550 |  7082698 |     1674  10160 |        0 |        0
1423.43/1423.96	c 1423s |      25 |  7492949 |  7091598 |     1674  10170 |        0 |        0
1425.43/1425.98	c 1425s |      25 |  7502280 |  7100598 |     1674  10181 |        0 |        0
1427.44/1427.99	c 1427s |      25 |  7511748 |  7109598 |     1674  10191 |        0 |        0
1429.54/1430.01	c 1429s |      25 |  7521207 |  7118598 |     1674  10201 |        0 |        0
1431.53/1432.03	c 1432s |      25 |  7530728 |  7127498 |     1674  10212 |        0 |        0
1433.53/1434.05	c 1434s |      25 |  7540261 |  7136398 |     1674  10222 |        0 |        0
1435.53/1436.05	c 1436s |      25 |  7549918 |  7145198 |     1674  10232 |        0 |        0
1437.53/1438.07	c 1438s |      25 |  7559125 |  7153798 |     1674  10242 |        0 |        0
1439.54/1440.08	c 1440s |      25 |  7568267 |  7162298 |     1674  10252 |        0 |        0
1441.53/1442.10	c 1442s |      25 |  7577186 |  7170898 |     1674  10261 |        0 |        0
1443.63/1444.11	c 1444s |      25 |  7586705 |  7179898 |     1674  10272 |        0 |        0
1445.63/1446.12	c 1446s |      25 |  7595952 |  7188698 |     1674  10282 |        0 |        0
1447.63/1448.14	c 1448s |      25 |  7605333 |  7197398 |     1674  10292 |        0 |        0
1449.63/1450.15	c 1450s |      25 |  7614572 |  7206198 |     1674  10302 |        0 |        0
1451.64/1452.15	c 1452s |      25 |  7623831 |  7214898 |     1674  10312 |        0 |        0
1453.63/1454.16	c 1454s |      25 |  7633395 |  7223498 |     1674  10322 |        0 |        0
1455.63/1456.17	c 1456s |      25 |  7642940 |  7232198 |     1674  10332 |        0 |        0
1457.63/1458.19	c 1458s |      25 |  7652239 |  7240898 |     1674  10342 |        0 |        0
1459.73/1460.21	c 1460s |      25 |  7661619 |  7249798 |     1674  10352 |        0 |        0
1461.73/1462.22	c 1462s |      25 |  7670647 |  7258398 |     1674  10362 |        0 |        0
1463.73/1464.22	c 1464s |      25 |  7679707 |  7267098 |     1674  10372 |        0 |        0
1465.73/1466.23	c 1466s |      25 |  7689143 |  7275998 |     1674  10382 |        0 |        0
1467.72/1468.23	c 1468s |      25 |  7698353 |  7284698 |     1674  10392 |        0 |        0
1469.72/1470.26	c 1470s |      25 |  7707842 |  7293598 |     1674  10403 |        0 |        0
1471.72/1472.29	c 1472s |      25 |  7717280 |  7302198 |     1674  10412 |        0 |        0
1473.82/1474.30	c 1474s |      25 |  7726444 |  7310898 |     1674  10422 |        0 |        0
1475.83/1476.31	c 1476s |      25 |  7735810 |  7319898 |     1674  10433 |        0 |        0
1477.82/1478.31	c 1478s |      25 |  7745031 |  7328598 |     1674  10443 |        0 |        0
1479.82/1480.31	c 1480s |      25 |  7754329 |  7337298 |     1674  10453 |        0 |        0
1481.82/1482.33	c 1482s |      25 |  7763981 |  7346298 |     1674  10463 |        0 |        0
1483.82/1484.35	c 1484s |      25 |  7773394 |  7355198 |     1674  10473 |        0 |        0
1485.82/1486.37	c 1486s |      25 |  7782633 |  7363898 |     1674  10483 |        0 |        0
1487.83/1488.38	c 1488s |      25 |  7792056 |  7372598 |     1674  10493 |        0 |        0
1489.82/1490.39	c 1490s |      25 |  7801355 |  7381298 |     1674  10503 |        0 |        0
1491.92/1492.41	c 1492s |      25 |  7810664 |  7390098 |     1674  10514 |        0 |        0
1493.92/1494.42	c 1494s |      25 |  7819868 |  7398898 |     1674  10524 |        0 |        0
1495.92/1496.43	c 1496s |      25 |  7829052 |  7407498 |     1674  10534 |        0 |        0
1497.92/1498.43	c 1498s |      25 |  7838636 |  7416398 |     1674  10544 |        0 |        0
1499.93/1500.45	c 1500s |      25 |  7848191 |  7425298 |     1674  10554 |        0 |        0
1501.92/1502.46	c 1502s |      25 |  7857497 |  7433998 |     1674  10564 |        0 |        0
1503.92/1504.47	c 1504s |      25 |  7867301 |  7443198 |     1674  10575 |        0 |        0
1505.92/1506.47	c 1506s |      25 |  7876781 |  7452098 |     1674  10585 |        0 |        0
1507.92/1508.49	c 1508s |      25 |  7885727 |  7460698 |     1674  10595 |        0 |        0
1510.02/1510.50	c 1510s |      25 |  7894841 |  7469398 |     1674  10605 |        0 |        0
1512.03/1512.51	c 1512s |      25 |  7904308 |  7478498 |     1674  10615 |        0 |        0
1514.02/1514.51	c 1514s |      25 |  7913654 |  7487398 |     1674  10625 |        0 |        0
1516.02/1516.52	c 1516s |      25 |  7922785 |  7496198 |     1674  10635 |        0 |        0
1518.02/1518.53	c 1518s |      25 |  7932133 |  7505098 |     1674  10646 |        0 |        0
1520.02/1520.55	c 1520s |      25 |  7941354 |  7513698 |     1674  10655 |        0 |        0
1522.03/1522.55	c 1522s |      25 |  7950404 |  7522198 |     1674  10665 |        0 |        0
1524.02/1524.56	c 1524s |      25 |  7959900 |  7531298 |     1674  10676 |        0 |        0
1526.02/1526.57	c 1526s |      25 |  7969171 |  7540198 |     1674  10686 |        0 |        0
1528.02/1528.58	c 1528s |      25 |  7978345 |  7548998 |     1842  10695 |        0 |        0
1530.02/1530.58	c 1530s |      25 |  7987269 |  7557498 |     1842  10704 |        0 |        0
1532.02/1532.59	c 1532s |      25 |  7996497 |  7566298 |     1842  10713 |        0 |        0
1534.03/1534.60	c 1534s |      25 |  8005663 |  7574998 |     1842  10722 |        0 |        0
1536.12/1536.61	c 1536s |      25 |  8015254 |  7583898 |     1842  10732 |        0 |        0
1538.12/1538.63	c 1538s |      25 |  8024725 |  7592998 |     1842  10741 |        0 |        0
1539.22/1539.71	c 1539s |      26 |  8029597 |  7597752 |     1842  10746 |        0 |        0
1541.22/1541.73	c 1541s |      26 |  8039128 |  7606852 |     1842  10756 |        0 |        0
1543.22/1543.73	c 1543s |      26 |  8048331 |  7615652 |     1842  10765 |        0 |        0
1545.22/1545.74	c 1545s |      26 |  8057401 |  7624352 |     1842  10774 |        0 |        0
1547.23/1547.75	c 1547s |      26 |  8066709 |  7633252 |     1842  10783 |        0 |        0
1549.22/1549.75	c 1549s |      26 |  8075797 |  7641952 |     1842  10792 |        0 |        0
1551.22/1551.77	c 1551s |      26 |  8085055 |  7650752 |     1842  10802 |        0 |        0
1553.22/1553.77	c 1553s |      26 |  8094095 |  7659152 |     1842  10810 |        0 |        0
1555.22/1555.78	c 1555s |      26 |  8103183 |  7667852 |     1842  10819 |        0 |        0
1557.22/1557.78	c 1557s |      26 |  8112723 |  7676852 |     1842  10829 |        0 |        0
1559.22/1559.79	c 1559s |      26 |  8121956 |  7685652 |     1842  10838 |        0 |        0
1561.31/1561.80	c 1561s |      26 |  8131291 |  7694652 |     1842  10847 |        0 |        0
1563.31/1563.82	c 1563s |      26 |  8140676 |  7703652 |     1842  10857 |        0 |        0
1565.31/1565.83	c 1565s |      26 |  8149930 |  7712452 |     1842  10866 |        0 |        0
1567.31/1567.84	c 1567s |      26 |  8159075 |  7721252 |     1842  10875 |        0 |        0
1569.32/1569.85	c 1569s |      26 |  8168360 |  7730152 |     1842  10885 |        0 |        0
1571.31/1571.85	c 1571s |      26 |  8177890 |  7739152 |     1842  10894 |        0 |        0
1573.31/1573.86	c 1573s |      26 |  8187384 |  7748052 |     1842  10903 |        0 |        0
1575.31/1575.88	c 1575s |      26 |  8196452 |  7756752 |     1842  10912 |        0 |        0
1577.31/1577.88	c 1577s |      26 |  8205706 |  7765252 |     1842  10921 |        0 |        0
1579.31/1579.88	c 1579s |      26 |  8215027 |  7774352 |     1842  10931 |        0 |        0
1581.32/1581.89	c 1581s |      26 |  8224469 |  7783152 |     1842  10940 |        0 |        0
1583.41/1583.91	c 1583s |      26 |  8233557 |  7791952 |     1842  10949 |        0 |        0
1585.41/1585.91	c 1585s |      26 |  8242781 |  7800852 |     1842  10958 |        0 |        0
1587.41/1587.93	c 1587s |      26 |  8251790 |  7809452 |     1842  10967 |        0 |        0
1589.41/1589.95	c 1589s |      26 |  8260750 |  7818152 |     1842  10977 |        0 |        0
1591.41/1591.98	c 1591s |      26 |  8269554 |  7826752 |     1842  10986 |        0 |        0
1593.41/1593.99	c 1593s |      26 |  8278650 |  7835552 |     1842  10995 |        0 |        0
1595.51/1596.01	c 1595s |      26 |  8287690 |  7844152 |     1842  11004 |        0 |        0
1597.50/1598.01	c 1597s |      26 |  8296503 |  7852552 |     1842  11013 |        0 |        0
1599.50/1600.01	c 1599s |      26 |  8305525 |  7861152 |     1842  11022 |        0 |        0
1601.50/1602.02	c 1601s |      26 |  8315227 |  7870352 |     1842  11031 |        0 |        0
1603.51/1604.03	c 1604s |      26 |  8324376 |  7879252 |     1842  11040 |        0 |        0
1605.52/1606.06	c 1606s |      26 |  8333549 |  7888052 |     1842  11050 |        0 |        0
1607.51/1608.08	c 1608s |      26 |  8342898 |  7897152 |     1842  11059 |        0 |        0
1609.61/1610.10	c 1610s |      26 |  8352167 |  7906152 |     1842  11069 |        0 |        0
1611.61/1612.12	c 1612s |      26 |  8361737 |  7915352 |     1842  11078 |        0 |        0
1613.61/1614.13	c 1614s |      26 |  8370835 |  7924052 |     1842  11087 |        0 |        0
1615.61/1616.15	c 1616s |      26 |  8380277 |  7933152 |     1842  11097 |        0 |        0
1617.61/1618.15	c 1618s |      26 |  8389466 |  7942052 |     1842  11106 |        0 |        0
1619.61/1620.16	c 1620s |      26 |  8398458 |  7950752 |     1842  11115 |        0 |        0
1621.60/1622.18	c 1622s |      26 |  8407504 |  7959452 |     1842  11124 |        0 |        0
1623.60/1624.19	c 1624s |      26 |  8416477 |  7967852 |     1842  11133 |        0 |        0
1625.70/1626.20	c 1626s |      26 |  8425240 |  7976252 |     1842  11142 |        0 |        0
1627.70/1628.21	c 1628s |      26 |  8434373 |  7984952 |     1842  11151 |        0 |        0
1629.71/1630.23	c 1630s |      26 |  8443521 |  7993752 |     1842  11160 |        0 |        0
1631.70/1632.25	c 1632s |      26 |  8452547 |  8002452 |     1842  11169 |        0 |        0
1633.70/1634.25	c 1634s |      26 |  8461841 |  8011152 |     1842  11178 |        0 |        0
1635.70/1636.26	c 1636s |      26 |  8471090 |  8019852 |     1842  11187 |        0 |        0
1637.70/1638.28	c 1638s |      26 |  8480187 |  8028552 |     1842  11197 |        0 |        0
1639.71/1640.29	c 1640s |      26 |  8488935 |  8036952 |     1842  11205 |        0 |        0
1641.81/1642.31	c 1642s |      26 |  8498391 |  8045952 |     1842  11215 |        0 |        0
1643.80/1644.31	c 1644s |      26 |  8507592 |  8054752 |     1842  11224 |        0 |        0
1645.80/1646.33	c 1646s |      26 |  8516488 |  8063452 |     1842  11233 |        0 |        0
1647.80/1648.34	c 1648s |      26 |  8525726 |  8072252 |     1842  11242 |        0 |        0
1649.80/1650.35	c 1650s |      26 |  8534646 |  8080952 |     1842  11251 |        0 |        0
1651.81/1652.36	c 1652s |      26 |  8543573 |  8089652 |     1842  11260 |        0 |        0
1653.80/1654.37	c 1654s |      26 |  8552365 |  8098252 |     1842  11269 |        0 |        0
1655.80/1656.37	c 1656s |      26 |  8561161 |  8106852 |     1842  11278 |        0 |        0
1657.80/1658.39	c 1658s |      26 |  8569652 |  8115152 |     1842  11287 |        0 |        0
1659.90/1660.41	c 1660s |      26 |  8578553 |  8123652 |     1842  11296 |        0 |        0
1661.90/1662.43	c 1662s |      26 |  8587775 |  8132452 |     1842  11305 |        0 |        0
1663.90/1664.45	c 1664s |      26 |  8596803 |  8141052 |     1842  11314 |        0 |        0
1665.89/1666.47	c 1666s |      26 |  8605575 |  8149552 |     1842  11323 |        0 |        0
1667.90/1668.49	c 1668s |      26 |  8614141 |  8157852 |     1842  11332 |        0 |        0
1670.00/1670.51	c 1670s |      26 |  8623338 |  8166752 |     1842  11341 |        0 |        0
1672.00/1672.51	c 1672s |      26 |  8632334 |  8175452 |     1842  11350 |        0 |        0
1674.00/1674.53	c 1674s |      26 |  8641218 |  8184052 |     1842  11359 |        0 |        0
1676.01/1676.54	c 1676s |      26 |  8650110 |  8192552 |     1842  11368 |        0 |        0
1678.00/1678.55	c 1678s |      26 |  8659069 |  8201252 |     1842  11377 |        0 |        0
1680.00/1680.57	c 1680s |      26 |  8668218 |  8209752 |     1842  11386 |        0 |        0
1682.00/1682.59	c 1682s |      26 |  8677262 |  8218252 |     1842  11395 |        0 |        0
1684.10/1684.61	c 1684s |      26 |  8686106 |  8226852 |     1842  11404 |        0 |        0
1686.10/1686.61	c 1686s |      26 |  8695818 |  8235952 |     1842  11413 |        0 |        0
1688.10/1688.65	c 1688s |      26 |  8705142 |  8244852 |     1842  11423 |        0 |        0
1690.10/1690.67	c 1690s |      26 |  8714632 |  8253852 |     1842  11432 |        0 |        0
1692.10/1692.68	c 1692s |      26 |  8724107 |  8262952 |     1842  11442 |        0 |        0
1694.10/1694.68	c 1694s |      26 |  8733650 |  8272052 |     1842  11451 |        0 |        0
1696.10/1696.69	c 1696s |      26 |  8743084 |  8280952 |     1842  11460 |        0 |        0
1698.20/1698.71	c 1698s |      26 |  8752515 |  8289852 |     1842  11470 |        0 |        0
1700.20/1700.73	c 1700s |      26 |  8761511 |  8298352 |     1842  11479 |        0 |        0
1702.20/1702.77	c 1702s |      26 |  8770771 |  8307052 |     1842  11488 |        0 |        0
1704.20/1704.79	c 1704s |      26 |  8780619 |  8316152 |     1842  11497 |        0 |        0
1706.19/1706.79	c 1706s |      26 |  8789866 |  8324952 |     1842  11506 |        0 |        0
1708.29/1708.80	c 1708s |      26 |  8799453 |  8333552 |     1842  11515 |        0 |        0
1710.29/1710.81	c 1710s |      26 |  8808383 |  8342052 |     1842  11524 |        0 |        0
1712.30/1712.81	c 1712s |      26 |  8817696 |  8351052 |     1842  11534 |        0 |        0
1714.29/1714.82	c 1714s |      26 |  8826937 |  8359852 |     1842  11543 |        0 |        0
1716.29/1716.83	c 1716s |      26 |  8835945 |  8368552 |     1842  11552 |        0 |        0
1718.29/1718.83	c 1718s |      26 |  8844868 |  8377152 |     1842  11561 |        0 |        0
1720.29/1720.85	c 1720s |      26 |  8853987 |  8385852 |     1842  11570 |        0 |        0
1722.29/1722.86	c 1722s |      26 |  8862670 |  8394252 |     1842  11579 |        0 |        0
1724.30/1724.88	c 1724s |      26 |  8872157 |  8403052 |     1842  11588 |        0 |        0
1726.29/1726.88	c 1726s |      26 |  8881323 |  8411852 |     1842  11597 |        0 |        0
1728.29/1728.90	c 1728s |      26 |  8890393 |  8420452 |     1842  11606 |        0 |        0
1730.29/1730.90	c 1730s |      26 |  8899408 |  8429052 |     1842  11615 |        0 |        0
1732.39/1732.90	c 1732s |      26 |  8908517 |  8437652 |     1842  11624 |        0 |        0
1734.39/1734.92	c 1734s |      26 |  8917527 |  8446152 |     1842  11633 |        0 |        0
1736.39/1736.94	c 1736s |      26 |  8926867 |  8455152 |     1842  11643 |        0 |        0
1738.39/1738.95	c 1738s |      26 |  8935754 |  8463752 |     1842  11652 |        0 |        0
1740.39/1740.97	c 1740s |      26 |  8944711 |  8472352 |     1842  11661 |        0 |        0
1742.39/1742.98	c 1742s |      26 |  8953661 |  8480852 |     1842  11669 |        0 |        0
1744.39/1744.99	c 1744s |      26 |  8962203 |  8489152 |     1842  11678 |        0 |        0
1746.49/1747.01	c 1746s |      26 |  8970960 |  8497552 |     1842  11687 |        0 |        0
1748.49/1749.02	c 1749s |      26 |  8979963 |  8506052 |     1842  11696 |        0 |        0
1750.48/1751.03	c 1751s |      26 |  8988421 |  8514152 |     1842  11704 |        0 |        0
1752.48/1753.03	c 1753s |      26 |  8997350 |  8522752 |     1842  11713 |        0 |        0
1754.48/1755.05	c 1755s |      26 |  9006440 |  8531552 |     1842  11722 |        0 |        0
1756.48/1757.07	c 1757s |      26 |  9015596 |  8540352 |     1842  11732 |        0 |        0
1758.49/1759.08	c 1759s |      26 |  9024683 |  8549052 |     1842  11741 |        0 |        0
1760.48/1761.10	c 1761s |      26 |  9033857 |  8557752 |     1842  11750 |        0 |        0
1762.58/1763.11	c 1763s |      26 |  9042736 |  8566352 |     1842  11759 |        0 |        0
1764.58/1765.11	c 1765s |      26 |  9051944 |  8575152 |     1842  11768 |        0 |        0
1766.58/1767.12	c 1767s |      26 |  9060831 |  8583452 |     1842  11777 |        0 |        0
1768.58/1769.13	c 1769s |      26 |  9069759 |  8592052 |     1842  11786 |        0 |        0
1770.59/1771.14	c 1771s |      26 |  9078674 |  8600552 |     1842  11795 |        0 |        0
1772.58/1773.16	c 1773s |      26 |  9087526 |  8609152 |     1842  11804 |        0 |        0
1774.58/1775.17	c 1775s |      26 |  9096321 |  8617652 |     1842  11813 |        0 |        0
1776.58/1777.17	c 1777s |      26 |  9105158 |  8626052 |     1842  11821 |        0 |        0
1778.58/1779.17	c 1779s |      26 |  9114263 |  8634852 |     1842  11831 |        0 |        0
1780.59/1781.18	c 1781s |      26 |  9123102 |  8643352 |     1842  11840 |        0 |        0
1782.59/1783.19	c 1783s |      26 |  9132155 |  8652052 |     1842  11849 |        0 |        0
1784.68/1785.21	c 1785s |      26 |  9141276 |  8660852 |     1842  11858 |        0 |        0
1786.68/1787.21	c 1787s |      26 |  9150180 |  8669452 |     1842  11867 |        0 |        0
1788.68/1789.22	c 1789s |      26 |  9159646 |  8678652 |     1842  11877 |        0 |        0
1790.68/1791.23	c 1791s |      26 |  9168850 |  8687652 |     1842  11886 |        0 |        0
1792.68/1793.24	c 1793s |      26 |  9178133 |  8696752 |     1842  11895 |        0 |        0
1794.69/1795.25	c 1795s |      26 |  9187406 |  8705652 |     1842  11905 |        0 |        0
1796.68/1797.26	c 1797s |      26 |  9196509 |  8714452 |     1842  11914 |        0 |        0
1798.68/1799.28	c 1799s |      26 |  9205935 |  8723452 |     1842  11923 |        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-4089519-1466028164/watcher-4089519-1466028164 -o /tmp/evaluation-result-4089519-1466028164/solver-4089519-1466028164 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089519-1466028164.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.10 2.04 4/179 8611
/proc/meminfo: memFree=30446476/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 468 0 0 0 0 0 0 0 20 0 4 0 4861830 246870016 842 33554432000 4194304 16246674 140736757032016 140736757031440 14894759 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 60271 860 273 2943 0 57165 0
[pid=8611/tid=8612] ppid=8608 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 246870016 924 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 246870016 943 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4861830 246870016 961 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.15 2.10 2.04 4/179 8611
/proc/meminfo: memFree=30446476/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 28344 0 0 0 5 3 0 0 20 0 4 0 4861830 1247350784 28693 33554432000 4194304 16246674 140736757032016 140736757031440 5667714 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 304529 28700 711 2943 0 301423 0
[pid=8611/tid=8612] ppid=8608 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1247350784 28709 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1247350784 28722 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4861830 1247350784 28733 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200522 s]
/proc/loadavg: 2.15 2.10 2.04 4/179 8611
/proc/meminfo: memFree=30446476/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 57449 0 0 0 11 7 0 0 20 0 4 0 4861830 1247350784 57799 33554432000 4194304 16246674 140736757032016 140736757031440 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 304529 57815 711 2943 0 301423 0
[pid=8611/tid=8612] ppid=8608 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1247350784 57822 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1247350784 57827 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4861830 1247350784 57837 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300463 s]
/proc/loadavg: 2.15 2.10 2.04 4/179 8611
/proc/meminfo: memFree=30446476/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 86392 0 0 0 16 12 0 0 20 0 4 0 4861830 1247350784 86741 33554432000 4194304 16246674 140736757032016 140736757031440 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 304529 86752 711 2943 0 301423 0
[pid=8611/tid=8612] ppid=8608 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1247350784 86763 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1247350784 86774 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4861830 1247350784 86782 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700395 s]
/proc/loadavg: 2.15 2.10 2.04 4/179 8611
/proc/meminfo: memFree=30446476/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 205571 0 0 0 41 28 0 0 20 0 4 0 4861830 1247350784 205920 33554432000 4194304 16246674 140736757032016 140736757013888 13198569 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 304529 205930 711 2943 0 301423 0
[pid=8611/tid=8612] ppid=8608 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1247350784 205936 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1247350784 205947 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4861830 1247350784 205958 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.15 2.10 2.04 4/183 8615
/proc/meminfo: memFree=29463444/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1305156 CPUtime=1.48 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 267257 0 0 0 112 36 0 0 20 0 4 0 4861830 1336479744 267586 33554432000 4194304 16246674 140736757032016 140736757013888 12483230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 326289 267586 789 2943 0 323183 0
[pid=8611/tid=8612] ppid=8608 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1336479744 267586 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1336479744 267586 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1336479744 267586 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1305156

[startup+3.10037 s]
/proc/loadavg: 2.13 2.10 2.04 3/183 8615
/proc/meminfo: memFree=29375404/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 267497 0 0 0 272 36 0 0 20 0 4 0 4861830 1337528320 267826 33554432000 4194304 16246674 140736757032016 140736757013888 5589212 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 326545 267826 789 2943 0 323439 0
[pid=8611/tid=8612] ppid=8608 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1337528320 267826 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1337528320 267826 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1337528320 267826 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.13 2.10 2.04 4/183 8615
/proc/meminfo: memFree=29375928/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 267497 0 0 0 592 36 0 0 20 0 4 0 4861830 1337528320 267826 33554432000 4194304 16246674 140736757032016 140736757015016 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 326545 267826 789 2943 0 323439 0
[pid=8611/tid=8612] ppid=8608 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1337528320 267826 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1337528320 267826 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1337528320 267826 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.11 2.09 2.03 3/183 8615
/proc/meminfo: memFree=29375588/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 267522 0 0 0 1232 36 0 0 20 0 4 0 4861830 1337528320 267851 33554432000 4194304 16246674 140736757032016 140736757013888 5808128 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 326545 267851 791 2943 0 323439 0
[pid=8611/tid=8612] ppid=8608 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1337528320 267851 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1337528320 267851 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1337528320 267851 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.18 2.10 2.04 3/183 8615
/proc/meminfo: memFree=29374888/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 267523 0 0 0 2512 37 0 0 20 0 4 0 4861830 1337528320 267852 33554432000 4194304 16246674 140736757032016 140736757013888 12875392 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 326545 267852 792 2943 0 323439 0
[pid=8611/tid=8612] ppid=8608 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1337528320 267852 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1337528320 267852 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1337528320 267852 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.11 2.09 2.04 4/183 8615
/proc/meminfo: memFree=29373376/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 267831 0 0 0 5071 37 0 0 20 0 4 0 4861830 1338576896 268160 33554432000 4194304 16246674 140736757032016 140736757013888 5519404 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 326801 268160 792 2943 0 323695 0
[pid=8611/tid=8612] ppid=8608 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1338576896 268160 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1338576896 268160 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1338576896 268160 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.19 2.12 2.05 4/183 8616
/proc/meminfo: memFree=29372928/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 267832 0 0 0 10189 38 0 0 20 0 4 0 4861830 1338576896 268161 33554432000 4194304 16246674 140736757032016 140736757015016 6009960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 326801 268161 793 2943 0 323695 0
[pid=8611/tid=8612] ppid=8608 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1338576896 268161 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1338576896 268161 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1338576896 268161 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.15 2.13 2.06 3/183 8646
/proc/meminfo: memFree=29354604/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1315396 CPUtime=1301.87 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 270279 0 0 0 130132 55 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140736757013888 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 328849 270212 793 2943 0 325743 0
[pid=8611/tid=8612] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.18 2.13 2.07 3/183 8648
/proc/meminfo: memFree=29354632/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1315396 CPUtime=1361.84 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 270308 0 0 0 136128 56 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140736757013888 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 328849 270212 793 2943 0 325743 0
[pid=8611/tid=8612] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.15 2.14 2.07 3/183 8649
/proc/meminfo: memFree=29354892/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1315396 CPUtime=1421.84 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 270308 0 0 0 142127 57 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140736757013888 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 328849 270212 793 2943 0 325743 0
[pid=8611/tid=8612] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.06 2.11 2.07 3/183 8650
/proc/meminfo: memFree=29354880/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1315396 CPUtime=1481.82 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 270308 0 0 0 148125 57 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140736757013888 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 328849 270212 793 2943 0 325743 0
[pid=8611/tid=8612] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.02 2.09 2.06 3/183 8651
/proc/meminfo: memFree=29353892/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1315396 CPUtime=1541.83 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 270308 0 0 0 154125 58 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140736757013888 12466584 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 328849 270212 793 2943 0 325743 0
[pid=8611/tid=8612] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1346965504 270212 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.06 2.08 2.06 3/183 8652
/proc/meminfo: memFree=29352644/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1316420 CPUtime=1601.8 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 270564 0 0 0 160122 58 0 0 20 0 4 0 4861830 1348014080 270468 33554432000 4194304 16246674 140736757032016 140736757013888 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 329105 270468 793 2943 0 325999 0
[pid=8611/tid=8612] ppid=8608 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1348014080 270468 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1348014080 270468 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1348014080 270468 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/184 8706
/proc/meminfo: memFree=29358256/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1316420 CPUtime=1661.8 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 270564 0 0 0 166120 60 0 0 20 0 4 0 4861830 1348014080 270468 33554432000 4194304 16246674 140736757032016 140736757013888 5589217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 329105 270468 793 2943 0 325999 0
[pid=8611/tid=8612] ppid=8608 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1348014080 270468 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1348014080 270468 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1348014080 270468 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.19 2.10 2.07 3/183 8707
/proc/meminfo: memFree=29354260/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1318468 CPUtime=1721.79 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 271076 0 0 0 172118 61 0 0 20 0 4 0 4861830 1350111232 270980 33554432000 4194304 16246674 140736757032016 140736757013888 13950232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 329617 270980 793 2943 0 326511 0
[pid=8611/tid=8612] ppid=8608 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1350111232 270980 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1350111232 270980 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1350111232 270980 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.18 2.11 2.07 3/183 8708
/proc/meminfo: memFree=29354272/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1318468 CPUtime=1781.79 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 271076 0 0 0 178117 62 0 0 20 0 4 0 4861830 1350111232 270980 33554432000 4194304 16246674 140736757032016 140736757015016 13191528 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 329617 270980 793 2943 0 326511 0
[pid=8611/tid=8612] ppid=8608 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1350111232 270980 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1350111232 270980 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1350111232 270980 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.21 2.12 2.08 3/183 8708
/proc/meminfo: memFree=29354404/32872528 swapFree=496356/529060
[pid=8611] ppid=8608 vsize=1318468 CPUtime=1800.08 cores=0,2,4,6
/proc/8611/stat : 8611 (toysat) R 8608 8611 5955 0 -1 4202496 271076 0 0 0 179946 62 0 0 20 0 4 0 4861830 1350111232 270980 33554432000 4194304 16246674 140736757032016 140736757013888 5974010 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8611/statm: 329617 270980 793 2943 0 326511 0
[pid=8611/tid=8612] ppid=8608 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8612/stat : 8612 (toysat) S 8608 8611 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4861830 1350111232 270980 33554432000 4194304 16246674 140736757032016 140383096909040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8613/stat : 8613 (toysat) S 8608 8611 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861830 1350111232 270980 33554432000 4194304 16246674 140736757032016 140383086419184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8611/task/8614/stat : 8614 (toysat) S 8608 8611 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4861830 1350111232 270980 33554432000 4194304 16246674 140736757032016 140383075945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1318468

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.47
CPU system time (s): 0.621905
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.621905
maximum resident set size= 1083920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271076
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= 444
involuntary context switches= 1956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.75428 second user time and 7.09992 second system time

The end

Begin job on node141 at 2016-06-16 00:02:44
IDJOB=4089519
IDBENCH=107418
IDSOLVER=2542
FILE ID=node141/4089519-1466028164
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid10x15-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089519-1466028164/watcher-4089519-1466028164 -o /tmp/evaluation-result-4089519-1466028164/solver-4089519-1466028164 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089519-1466028164.opb

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

MD5SUM BENCH= 1c7250b95cc889b78be12ffc19e05959
RANDOM SEED=1659268930

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30446996 kB
Buffers:           34548 kB
Cached:            77948 kB
SwapCached:        13092 kB
Active:          1135236 kB
Inactive:          61260 kB
Active(anon):    1074332 kB
Inactive(anon):    12040 kB
Active(file):      60904 kB
Inactive(file):    49220 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088068 kB
Dirty:             16640 kB
Writeback:             0 kB
AnonPages:       1604568 kB
Mapped:            10364 kB
Shmem:                 0 kB
Slab:             567704 kB
SReclaimable:      11052 kB
SUnreclaim:       556652 kB
KernelStack:        1520 kB
PageTables:         7552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1746748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71716 MiB
End job on node141 at 2016-06-16 00:32:45