0.00/0.00	c 2016-06-15T22:18:56+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-4089141-1466021935.opb"]
0.00/0.01	c use --random-gen="2970902955 751804651 31133818 1913950789 3982013146 1606086926 2817181720 3812081200 3059224766 1194587619 308406806 4097336673 2396583194 3559186927 4007234291 3539437387 1149098414 1325063346 1101223745 2804704245 1332562 948710060 2024570268 832633400 2459034212 685969789 2709380922 1166953142 1700774761 2764774767 1189661 3513851207 3842918247 441287561 4130011783 352041598 1246825837 35426364 2955247217 2938338304 812859313 3752782923 3328266902 305060018 449569182 625369283 525030141 2032872471 1167077588 3946511574 1827030210 160385941 2711344015 3700900151 1637966354 2459652399 1488850957 621675002 1328143229 3820694047 1236397473 1840047701 2582653885 3258678060 185385573 1701070299 1783463542 1951212827 3300652497 465596498 3479633851 3357076606 2658261039 3909794127 2647036153 2286836726 436780988 876495997 1256110570 4143772675 777979190 3931656239 3127463833 1814479160 2777590509 1864693443 3238731476 3909078982 2898860967 3485116898 1322484123 2719547536 234632190 2663702150 265722623 216993648 1087763533 720707452 1089688007 2988638268 681777102 1225561038 3521628685 3061291227 1135029483 1090164249 3765275294 4186745414 1213263796 1805500843 2980953679 501853515 2941237136 2730060468 103389891 3960138181 3724109252 553778784 3234329272 562906750 3172056091 155052401 1942926151 4291747559 2483381360 929100426 1986593067 3384690902 4105792563 3209227835 3234871026 1153382959 1342058620 2508729238 2812761483 3702274003 987757804 3325182375 4053248071 503998304 3187246607 1983434124 2975655175 1000381204 1542474836 834197593 2887791219 3285342993 1549376147 1318121963 1722413684 549585843 3526926648 4181375846 3214017600 3339029834 3194109644 1400824114 543102825 889517557 2296294562 900373286 4010342753 835813231 102069070 1164151490 2061037568 1429162555 2840938970 149982794 3017435375 843348432 2089940915 2842320509 514040322 312619546 2468337403 4170763124 3114936235 2190209564 4093894782 2721525928 1623767173 154863749 1204723479 1399738281 265660767 552247983 1758127916 1310866583 3257152443 1311805336 2228942574 1870518842 3277694025 1533391007 1399445009 994385554 1547056699 2868185036 2371200066 736067792 2998051859 4154376543 953809415 4078030753 565370121 592859621 4250413683 1398968936 859021726 4210580253 2208517290 678148207 1567018068 1167168073 34512734 4043551320 616203512 3389835507 3712451680 3056705745 3719801141 1503390584 636537871 4078390853 1394517714 3638019072 1927443822 317338257 2940229807 187681304 791906967 1580899761 2872591525 843526969 2586485373 655833280 428394427 1289272016 1870593791 863360284 2581209726 3032081191 3773570624 402351089 899751176 3035256790 1306760147 595484978 1687655071 1896997474 3824852818 2962158574 752698822 1469320719 255 362436" option to reproduce the execution
0.00/0.01	c #vars 174
0.00/0.01	c #constraints 349
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 |      174      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      186 |      100 |      174      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      421 |      250 |      192      0 |        0 |        0
0.08/0.11	c  0.1s |       3 |      732 |      475 |      212      2 |        0 |        0
0.08/0.19	c  0.2s |       4 |     1146 |      813 |      234      4 |        0 |        0
0.29/0.31	c  0.3s |       5 |     1750 |     1320 |      258      7 |        0 |        0
0.39/0.49	c  0.5s |       6 |     2659 |     2081 |      313     11 |        0 |        0
0.69/0.76	c  0.7s |       7 |     3884 |     3223 |      345     17 |        0 |        0
0.99/1.05	c  1.0s |       8 |     5698 |     4936 |      380     25 |        0 |        0
1.38/1.48	c  1.5s |       9 |     8360 |     7506 |      419     36 |        0 |        0
2.09/2.12	c  2.1s |      10 |    12333 |    11361 |      461     51 |        0 |        0
2.99/3.06	c  3.0s |      11 |    18216 |    17144 |      508     72 |        0 |        0
4.40/4.44	c  4.4s |      12 |    27080 |    25819 |      559    102 |        0 |        0
6.39/6.45	c  6.4s |      12 |    39691 |    38219 |      559    141 |        0 |        0
6.49/6.55	c  6.5s |      13 |    40312 |    38832 |      615    143 |        0 |        0
8.49/8.55	c  8.5s |      13 |    52536 |    50732 |      615    177 |        0 |        0
9.79/9.84	c  9.8s |      14 |    60258 |    58352 |      677    199 |        0 |        0
11.79/11.85	c 11.8s |      14 |    71929 |    69752 |      677    229 |        0 |        0
13.79/13.86	c 13.8s |      14 |    83550 |    81152 |      677    260 |        0 |        0
14.99/15.03	c 15.0s |      15 |    90110 |    87632 |      745    277 |        0 |        0
16.99/17.04	c 17.0s |      15 |   101303 |    98632 |      745    303 |        0 |        0
18.99/19.05	c 19.0s |      15 |   112405 |   109532 |      745    330 |        0 |        0
20.99/21.05	c 21.0s |      15 |   123331 |   120332 |      745    356 |        0 |        0
22.98/23.05	c 23.0s |      15 |   134220 |   131032 |      820    382 |        0 |        0
23.09/23.15	c 23.1s |      16 |   134747 |   131552 |      820    383 |        0 |        0
25.08/25.16	c 25.1s |      16 |   146421 |   142952 |      820    409 |        0 |        0
27.08/27.17	c 27.2s |      16 |   157734 |   154052 |      820    434 |        0 |        0
29.08/29.18	c 29.2s |      16 |   169014 |   165152 |      820    458 |        0 |        0
31.18/31.20	c 31.2s |      16 |   180049 |   175952 |      820    483 |        0 |        0
33.18/33.20	c 33.2s |      16 |   191182 |   186852 |      820    507 |        0 |        0
35.08/35.17	c 35.1s |      17 |   201982 |   197432 |      903    531 |        0 |        0
37.08/37.18	c 37.2s |      17 |   213575 |   208632 |      903    553 |        0 |        0
39.08/39.19	c 39.2s |      17 |   224529 |   219332 |      903    575 |        0 |        0
41.18/41.20	c 41.2s |      17 |   235358 |   229932 |      903    597 |        0 |        0
43.18/43.21	c 43.2s |      17 |   246224 |   240532 |      903    619 |        0 |        0
45.18/45.21	c 45.2s |      17 |   256986 |   250932 |      903    640 |        0 |        0
47.18/47.21	c 47.2s |      17 |   267699 |   261432 |      903    661 |        0 |        0
49.18/49.23	c 49.2s |      17 |   278169 |   271732 |      903    682 |        0 |        0
51.18/51.23	c 51.2s |      17 |   288693 |   282032 |      903    704 |        0 |        0
53.18/53.25	c 53.2s |      17 |   299294 |   292432 |      903    725 |        0 |        0
53.89/54.00	c 54.0s |      18 |   303191 |   296252 |      994    732 |        0 |        0
55.98/56.01	c 56.0s |      18 |   314273 |   306952 |      994    752 |        0 |        0
57.98/58.03	c 58.0s |      18 |   324988 |   317452 |      994    772 |        0 |        0
59.98/60.04	c 60.0s |      18 |   335534 |   327852 |      994    791 |        0 |        0
61.98/62.04	c 62.0s |      18 |   346007 |   338052 |      994    810 |        0 |        0
63.98/64.06	c 64.0s |      18 |   356497 |   348252 |      994    830 |        0 |        0
65.98/66.08	c 66.1s |      18 |   367349 |   358852 |      994    849 |        0 |        0
67.98/68.09	c 68.1s |      18 |   377836 |   369152 |      994    869 |        0 |        0
69.98/70.09	c 70.1s |      18 |   388108 |   379252 |      994    888 |        0 |        0
71.98/72.09	c 72.1s |      18 |   398608 |   389452 |      994    907 |        0 |        0
74.07/74.10	c 74.1s |      18 |   409162 |   399752 |      994    926 |        0 |        0
76.07/76.11	c 76.1s |      18 |   419562 |   409952 |      994    945 |        0 |        0
78.08/78.12	c 78.1s |      18 |   429924 |   420052 |      994    964 |        0 |        0
80.07/80.13	c 80.1s |      18 |   440046 |   429952 |      994    983 |        0 |        0
82.07/82.14	c 82.1s |      18 |   450511 |   440152 |      994   1002 |        0 |        0
82.97/83.04	c 83.0s |      19 |   454955 |   444482 |     1094   1009 |        0 |        0
84.97/85.04	c 85.0s |      19 |   465658 |   454882 |     1094   1027 |        0 |        0
86.98/87.05	c 87.0s |      19 |   475824 |   464682 |     1094   1044 |        0 |        0
88.97/89.07	c 89.1s |      19 |   486100 |   474782 |     1094   1061 |        0 |        0
90.97/91.07	c 91.1s |      19 |   496211 |   484682 |     1094   1078 |        0 |        0
92.97/93.08	c 93.1s |      19 |   506543 |   494782 |     1094   1095 |        0 |        0
94.97/95.09	c 95.1s |      19 |   516668 |   504682 |     1094   1112 |        0 |        0
97.07/97.11	c 97.1s |      19 |   526847 |   514582 |     1094   1129 |        0 |        0
99.07/99.11	c 99.1s |      19 |   536849 |   524382 |     1094   1146 |        0 |        0
101.07/101.12	c  101s |      19 |   547578 |   534682 |     1094   1164 |        0 |        0
103.07/103.14	c  103s |      19 |   557755 |   544582 |     1094   1181 |        0 |        0
105.07/105.14	c  105s |      19 |   567948 |   554482 |     1094   1198 |        0 |        0
107.07/107.16	c  107s |      19 |   578106 |   564282 |     1094   1215 |        0 |        0
109.07/109.17	c  109s |      19 |   588204 |   573982 |     1094   1231 |        0 |        0
111.08/111.19	c  111s |      19 |   598422 |   583682 |     1094   1248 |        0 |        0
113.17/113.20	c  113s |      19 |   608382 |   593382 |     1094   1265 |        0 |        0
115.17/115.22	c  115s |      19 |   618936 |   603682 |     1094   1282 |        0 |        0
117.17/117.23	c  117s |      19 |   628931 |   613482 |     1094   1299 |        0 |        0
119.17/119.25	c  119s |      19 |   639093 |   623382 |     1094   1316 |        0 |        0
121.17/121.26	c  121s |      19 |   649054 |   632982 |     1094   1332 |        0 |        0
123.18/123.28	c  123s |      19 |   659230 |   642682 |     1094   1349 |        0 |        0
125.17/125.29	c  125s |      19 |   669191 |   652182 |     1094   1365 |        0 |        0
127.27/127.30	c  127s |      19 |   679158 |   661882 |     1094   1382 |        0 |        0
128.27/128.34	c  128s |      20 |   684266 |   666827 |     1204   1390 |        0 |        0
130.27/130.35	c  130s |      20 |   694597 |   676827 |     1204   1405 |        0 |        0
132.27/132.36	c  132s |      20 |   704688 |   686727 |     1204   1421 |        0 |        0
134.28/134.37	c  134s |      20 |   714921 |   696727 |     1204   1436 |        0 |        0
136.27/136.38	c  136s |      20 |   725166 |   706727 |     1204   1452 |        0 |        0
138.27/138.39	c  138s |      20 |   735270 |   716627 |     1204   1468 |        0 |        0
140.37/140.41	c  140s |      20 |   745222 |   726327 |     1204   1483 |        0 |        0
142.37/142.43	c  142s |      20 |   755237 |   735727 |     1204   1497 |        0 |        0
144.37/144.44	c  144s |      20 |   765672 |   745927 |     1204   1513 |        0 |        0
146.37/146.45	c  146s |      20 |   776012 |   756027 |     1204   1529 |        0 |        0
148.37/148.47	c  148s |      20 |   786067 |   765727 |     1204   1544 |        0 |        0
150.37/150.47	c  150s |      20 |   796055 |   775327 |     1204   1559 |        0 |        0
152.37/152.47	c  152s |      20 |   805995 |   784927 |     1204   1575 |        0 |        0
154.37/154.48	c  154s |      20 |   816203 |   794827 |     1204   1590 |        0 |        0
156.37/156.48	c  156s |      20 |   826024 |   804427 |     1204   1605 |        0 |        0
158.37/158.50	c  158s |      20 |   835870 |   814027 |     1204   1620 |        0 |        0
160.46/160.52	c  160s |      20 |   845825 |   823827 |     1204   1636 |        0 |        0
162.46/162.52	c  162s |      20 |   855464 |   833227 |     1204   1650 |        0 |        0
164.46/164.53	c  164s |      20 |   865182 |   842727 |     1204   1665 |        0 |        0
166.46/166.54	c  166s |      20 |   875171 |   852527 |     1204   1681 |        0 |        0
168.46/168.54	c  168s |      20 |   885142 |   862227 |     1204   1696 |        0 |        0
170.47/170.55	c  170s |      20 |   895004 |   871827 |     1204   1711 |        0 |        0
172.46/172.57	c  172s |      20 |   904718 |   881327 |     1204   1726 |        0 |        0
174.46/174.58	c  174s |      20 |   914695 |   891127 |     1204   1741 |        0 |        0
176.56/176.60	c  176s |      20 |   924353 |   900627 |     1204   1756 |        0 |        0
178.56/178.62	c  178s |      20 |   933974 |   909927 |     1204   1771 |        0 |        0
180.56/180.62	c  180s |      20 |   944205 |   919827 |     1204   1786 |        0 |        0
182.57/182.63	c  182s |      20 |   954327 |   929627 |     1204   1801 |        0 |        0
184.56/184.64	c  184s |      20 |   964322 |   939427 |     1204   1817 |        0 |        0
186.56/186.65	c  186s |      20 |   974155 |   948927 |     1204   1832 |        0 |        0
188.56/188.65	c  188s |      20 |   984048 |   958227 |     1204   1846 |        0 |        0
190.56/190.67	c  190s |      20 |   993962 |   967927 |     1204   1861 |        0 |        0
192.56/192.67	c  192s |      20 |  1003763 |   977427 |     1204   1876 |        0 |        0
194.56/194.69	c  194s |      20 |  1013680 |   987127 |     1204   1891 |        0 |        0
196.56/196.69	c  196s |      20 |  1023173 |   996427 |     1325   1905 |        0 |        0
197.46/197.53	c  197s |      21 |  1027207 |  1000345 |     1325   1911 |        0 |        0
199.46/199.55	c  199s |      21 |  1037045 |  1009645 |     1325   1924 |        0 |        0
201.46/201.57	c  201s |      21 |  1046671 |  1018945 |     1325   1938 |        0 |        0
203.46/203.59	c  203s |      21 |  1056366 |  1028445 |     1325   1951 |        0 |        0
205.55/205.60	c  205s |      21 |  1066729 |  1038445 |     1325   1966 |        0 |        0
207.55/207.61	c  207s |      21 |  1076626 |  1048145 |     1325   1979 |        0 |        0
209.55/209.61	c  209s |      21 |  1086499 |  1057745 |     1325   1993 |        0 |        0
211.55/211.62	c  211s |      21 |  1096397 |  1067345 |     1325   2007 |        0 |        0
213.55/213.64	c  213s |      21 |  1106214 |  1076945 |     1325   2021 |        0 |        0
215.56/215.66	c  215s |      21 |  1116316 |  1086645 |     1325   2035 |        0 |        0
217.55/217.67	c  217s |      21 |  1126217 |  1096345 |     1325   2048 |        0 |        0
219.55/219.69	c  219s |      21 |  1135915 |  1105845 |     1325   2062 |        0 |        0
221.65/221.71	c  221s |      21 |  1145695 |  1115345 |     1325   2076 |        0 |        0
223.65/223.71	c  223s |      21 |  1155527 |  1124945 |     1325   2089 |        0 |        0
225.65/225.72	c  225s |      21 |  1165340 |  1134445 |     1325   2103 |        0 |        0
227.66/227.73	c  227s |      21 |  1174973 |  1143845 |     1325   2117 |        0 |        0
229.65/229.74	c  229s |      21 |  1184543 |  1153145 |     1325   2130 |        0 |        0
231.65/231.74	c  231s |      21 |  1194779 |  1162845 |     1325   2144 |        0 |        0
233.65/233.74	c  233s |      21 |  1204858 |  1172545 |     1325   2158 |        0 |        0
235.65/235.76	c  235s |      21 |  1215004 |  1182345 |     1325   2172 |        0 |        0
237.65/237.77	c  237s |      21 |  1224885 |  1191945 |     1325   2185 |        0 |        0
239.64/239.79	c  239s |      21 |  1234711 |  1201645 |     1325   2199 |        0 |        0
241.74/241.80	c  241s |      21 |  1244261 |  1210945 |     1325   2212 |        0 |        0
243.75/243.80	c  243s |      21 |  1254025 |  1220445 |     1325   2226 |        0 |        0
245.75/245.81	c  245s |      21 |  1263820 |  1230045 |     1325   2240 |        0 |        0
247.75/247.81	c  247s |      21 |  1273599 |  1239345 |     1325   2253 |        0 |        0
249.75/249.83	c  249s |      21 |  1283316 |  1248645 |     1325   2266 |        0 |        0
251.75/251.83	c  251s |      21 |  1292976 |  1258045 |     1325   2280 |        0 |        0
253.75/253.84	c  253s |      21 |  1302615 |  1267345 |     1325   2293 |        0 |        0
255.74/255.86	c  255s |      21 |  1312285 |  1276745 |     1325   2307 |        0 |        0
257.74/257.87	c  257s |      21 |  1321905 |  1286145 |     1325   2320 |        0 |        0
259.74/259.88	c  259s |      21 |  1331406 |  1295345 |     1325   2333 |        0 |        0
261.75/261.88	c  261s |      21 |  1340689 |  1304445 |     1325   2346 |        0 |        0
263.74/263.88	c  263s |      21 |  1350493 |  1313945 |     1325   2360 |        0 |        0
265.74/265.89	c  265s |      21 |  1359832 |  1323145 |     1325   2373 |        0 |        0
267.84/267.91	c  267s |      21 |  1370224 |  1333245 |     1325   2387 |        0 |        0
269.84/269.92	c  269s |      21 |  1380430 |  1343145 |     1325   2402 |        0 |        0
271.84/271.94	c  271s |      21 |  1390313 |  1352745 |     1325   2415 |        0 |        0
273.84/273.95	c  273s |      21 |  1400053 |  1362145 |     1325   2429 |        0 |        0
275.84/275.95	c  275s |      21 |  1409881 |  1371745 |     1325   2442 |        0 |        0
277.84/277.96	c  277s |      21 |  1419649 |  1381245 |     1325   2456 |        0 |        0
279.84/279.98	c  279s |      21 |  1429374 |  1390745 |     1325   2470 |        0 |        0
281.84/281.99	c  281s |      21 |  1439086 |  1400245 |     1325   2483 |        0 |        0
283.94/284.00	c  283s |      21 |  1448644 |  1409645 |     1325   2497 |        0 |        0
285.94/286.01	c  285s |      21 |  1458306 |  1419145 |     1325   2510 |        0 |        0
287.93/288.02	c  288s |      21 |  1467963 |  1428645 |     1325   2524 |        0 |        0
289.93/290.03	c  290s |      21 |  1477389 |  1437845 |     1325   2537 |        0 |        0
291.93/292.03	c  292s |      21 |  1487230 |  1447545 |     1325   2551 |        0 |        0
293.93/294.04	c  294s |      21 |  1496984 |  1457045 |     1325   2565 |        0 |        0
295.93/296.05	c  296s |      21 |  1506556 |  1466445 |     1325   2578 |        0 |        0
297.93/298.06	c  298s |      21 |  1515976 |  1475645 |     1325   2591 |        0 |        0
299.93/300.08	c  300s |      21 |  1525303 |  1484745 |     1325   2604 |        0 |        0
301.93/302.09	c  302s |      21 |  1535163 |  1494245 |     1458   2617 |        0 |        0
303.32/303.42	c  303s |      22 |  1541742 |  1500622 |     1458   2626 |        0 |        0
305.32/305.43	c  305s |      22 |  1551942 |  1510322 |     1458   2638 |        0 |        0
307.32/307.44	c  307s |      22 |  1561647 |  1519722 |     1458   2650 |        0 |        0
309.32/309.46	c  309s |      22 |  1571534 |  1529222 |     1458   2663 |        0 |        0
311.33/311.46	c  311s |      22 |  1581359 |  1538622 |     1458   2675 |        0 |        0
313.32/313.47	c  313s |      22 |  1591359 |  1548222 |     1458   2687 |        0 |        0
315.32/315.49	c  315s |      22 |  1601511 |  1558022 |     1458   2700 |        0 |        0
317.31/317.50	c  317s |      22 |  1611497 |  1567722 |     1458   2713 |        0 |        0
319.41/319.51	c  319s |      22 |  1621487 |  1577422 |     1458   2725 |        0 |        0
321.41/321.53	c  321s |      22 |  1631143 |  1586822 |     1458   2738 |        0 |        0
323.42/323.53	c  323s |      22 |  1640923 |  1596322 |     1458   2750 |        0 |        0
325.41/325.55	c  325s |      22 |  1650942 |  1606122 |     1458   2763 |        0 |        0
327.41/327.57	c  327s |      22 |  1660937 |  1616022 |     1458   2776 |        0 |        0
329.42/329.58	c  329s |      22 |  1670773 |  1625722 |     1458   2788 |        0 |        0
331.42/331.59	c  331s |      22 |  1680519 |  1635322 |     1458   2801 |        0 |        0
333.52/333.60	c  333s |      22 |  1689895 |  1644422 |     1458   2813 |        0 |        0
335.42/335.60	c  335s |      22 |  1699539 |  1653822 |     1458   2825 |        0 |        0
337.51/337.61	c  337s |      22 |  1709023 |  1663022 |     1458   2837 |        0 |        0
339.51/339.63	c  339s |      22 |  1718915 |  1672722 |     1458   2850 |        0 |        0
341.51/341.65	c  341s |      22 |  1728399 |  1682022 |     1458   2862 |        0 |        0
343.51/343.65	c  343s |      22 |  1738654 |  1692022 |     1458   2875 |        0 |        0
345.51/345.66	c  345s |      22 |  1748789 |  1701922 |     1458   2888 |        0 |        0
347.51/347.68	c  347s |      22 |  1758664 |  1711622 |     1458   2900 |        0 |        0
349.51/349.68	c  349s |      22 |  1768393 |  1721122 |     1458   2913 |        0 |        0
351.51/351.69	c  351s |      22 |  1778240 |  1730722 |     1458   2925 |        0 |        0
353.61/353.70	c  353s |      22 |  1788012 |  1740322 |     1458   2938 |        0 |        0
355.61/355.71	c  355s |      22 |  1797767 |  1749822 |     1458   2950 |        0 |        0
357.60/357.72	c  357s |      22 |  1807292 |  1759222 |     1458   2962 |        0 |        0
359.61/359.74	c  359s |      22 |  1817069 |  1768722 |     1458   2975 |        0 |        0
361.60/361.75	c  361s |      22 |  1826618 |  1778122 |     1458   2987 |        0 |        0
363.60/363.76	c  363s |      22 |  1836127 |  1787422 |     1458   2999 |        0 |        0
365.60/365.77	c  365s |      22 |  1846365 |  1797222 |     1458   3012 |        0 |        0
367.59/367.78	c  367s |      22 |  1856343 |  1807022 |     1458   3024 |        0 |        0
369.69/369.80	c  369s |      22 |  1866075 |  1816422 |     1458   3037 |        0 |        0
371.59/371.80	c  371s |      22 |  1875822 |  1825722 |     1458   3049 |        0 |        0
373.69/373.81	c  373s |      22 |  1885468 |  1835122 |     1458   3061 |        0 |        0
375.69/375.81	c  375s |      22 |  1895098 |  1844522 |     1458   3073 |        0 |        0
377.69/377.83	c  377s |      22 |  1905103 |  1854222 |     1458   3086 |        0 |        0
379.69/379.84	c  379s |      22 |  1914731 |  1863622 |     1458   3098 |        0 |        0
381.69/381.84	c  381s |      22 |  1924441 |  1873122 |     1458   3111 |        0 |        0
383.69/383.85	c  383s |      22 |  1934010 |  1882422 |     1458   3123 |        0 |        0
385.69/385.86	c  385s |      22 |  1943531 |  1891722 |     1458   3135 |        0 |        0
387.68/387.86	c  387s |      22 |  1953419 |  1901422 |     1458   3147 |        0 |        0
389.68/389.87	c  389s |      22 |  1963194 |  1910822 |     1458   3160 |        0 |        0
391.68/391.89	c  391s |      22 |  1972925 |  1920322 |     1458   3172 |        0 |        0
393.69/393.90	c  393s |      22 |  1982598 |  1929622 |     1458   3184 |        0 |        0
395.78/395.91	c  395s |      22 |  1992499 |  1939322 |     1458   3197 |        0 |        0
397.78/397.92	c  397s |      22 |  2002593 |  1949122 |     1458   3210 |        0 |        0
399.78/399.94	c  399s |      22 |  2012368 |  1958622 |     1458   3222 |        0 |        0
401.78/401.95	c  401s |      22 |  2022194 |  1968222 |     1458   3234 |        0 |        0
403.78/403.97	c  403s |      22 |  2031945 |  1977622 |     1458   3247 |        0 |        0
405.79/405.98	c  405s |      22 |  2041786 |  1987222 |     1458   3259 |        0 |        0
407.88/408.00	c  407s |      22 |  2051402 |  1996622 |     1458   3271 |        0 |        0
409.88/410.01	c  409s |      22 |  2061287 |  2006222 |     1458   3284 |        0 |        0
411.88/412.01	c  411s |      22 |  2070906 |  2015622 |     1458   3296 |        0 |        0
413.88/414.01	c  413s |      22 |  2080571 |  2024922 |     1458   3308 |        0 |        0
415.88/416.03	c  416s |      22 |  2090344 |  2034522 |     1458   3321 |        0 |        0
417.88/418.03	c  418s |      22 |  2099792 |  2043722 |     1458   3333 |        0 |        0
419.88/420.05	c  420s |      22 |  2109365 |  2052922 |     1458   3345 |        0 |        0
421.88/422.06	c  422s |      22 |  2119115 |  2062222 |     1458   3357 |        0 |        0
423.88/424.07	c  424s |      22 |  2128790 |  2071722 |     1458   3369 |        0 |        0
425.87/426.08	c  426s |      22 |  2138542 |  2081222 |     1458   3382 |        0 |        0
427.88/428.09	c  428s |      22 |  2148279 |  2090622 |     1458   3394 |        0 |        0
429.87/430.10	c  430s |      22 |  2157822 |  2099822 |     1458   3406 |        0 |        0
431.97/432.11	c  432s |      22 |  2167670 |  2109422 |     1458   3419 |        0 |        0
433.97/434.12	c  434s |      22 |  2177290 |  2118922 |     1458   3431 |        0 |        0
435.97/436.13	c  436s |      22 |  2186839 |  2128322 |     1458   3443 |        0 |        0
437.97/438.14	c  438s |      22 |  2196430 |  2137522 |     1458   3455 |        0 |        0
439.97/440.15	c  440s |      22 |  2205966 |  2146922 |     1458   3468 |        0 |        0
441.96/442.17	c  442s |      22 |  2215473 |  2156222 |     1458   3480 |        0 |        0
443.96/444.18	c  444s |      22 |  2225336 |  2165822 |     1458   3492 |        0 |        0
446.06/446.20	c  446s |      22 |  2235433 |  2175722 |     1458   3505 |        0 |        0
448.06/448.20	c  448s |      22 |  2245178 |  2185322 |     1458   3517 |        0 |        0
450.05/450.22	c  450s |      22 |  2255362 |  2195322 |     1458   3530 |        0 |        0
452.06/452.24	c  452s |      22 |  2265130 |  2204622 |     1458   3543 |        0 |        0
454.05/454.24	c  454s |      22 |  2274913 |  2214222 |     1458   3555 |        0 |        0
456.06/456.26	c  456s |      22 |  2284702 |  2223822 |     1458   3568 |        0 |        0
458.06/458.26	c  458s |      22 |  2294624 |  2233522 |     1458   3580 |        0 |        0
460.06/460.28	c  460s |      22 |  2304319 |  2243022 |     1604   3591 |        0 |        0
461.76/461.96	c  461s |      23 |  2312507 |  2251038 |     1604   3601 |        0 |        0
463.76/463.99	c  463s |      23 |  2322492 |  2260738 |     1604   3613 |        0 |        0
465.85/466.00	c  465s |      23 |  2332687 |  2270738 |     1604   3624 |        0 |        0
467.85/468.02	c  468s |      23 |  2342706 |  2280538 |     1604   3636 |        0 |        0
469.85/470.03	c  470s |      23 |  2352472 |  2290138 |     1604   3647 |        0 |        0
471.86/472.04	c  472s |      23 |  2362121 |  2299638 |     1604   3659 |        0 |        0
473.85/474.06	c  474s |      23 |  2372085 |  2309238 |     1604   3670 |        0 |        0
475.85/476.07	c  476s |      23 |  2381806 |  2318738 |     1604   3681 |        0 |        0
477.85/478.08	c  478s |      23 |  2391763 |  2328438 |     1604   3693 |        0 |        0
479.85/480.10	c  480s |      23 |  2401729 |  2338138 |     1604   3704 |        0 |        0
481.95/482.10	c  482s |      23 |  2411548 |  2347738 |     1604   3716 |        0 |        0
483.95/484.11	c  484s |      23 |  2421445 |  2357338 |     1604   3727 |        0 |        0
485.94/486.12	c  486s |      23 |  2431174 |  2366838 |     1604   3739 |        0 |        0
487.94/488.13	c  488s |      23 |  2441003 |  2376438 |     1604   3750 |        0 |        0
489.94/490.14	c  490s |      23 |  2450887 |  2385938 |     1604   3761 |        0 |        0
491.94/492.15	c  492s |      23 |  2460520 |  2395138 |     1604   3772 |        0 |        0
493.94/494.16	c  494s |      23 |  2470143 |  2404538 |     1604   3783 |        0 |        0
495.94/496.18	c  496s |      23 |  2479754 |  2413938 |     1604   3795 |        0 |        0
497.94/498.19	c  498s |      23 |  2489526 |  2423438 |     1604   3806 |        0 |        0
500.04/500.21	c  500s |      23 |  2499678 |  2433338 |     1604   3818 |        0 |        0
502.04/502.22	c  502s |      23 |  2509702 |  2443238 |     1604   3829 |        0 |        0
504.03/504.25	c  504s |      23 |  2519329 |  2452638 |     1604   3841 |        0 |        0
506.03/506.27	c  506s |      23 |  2529398 |  2462438 |     1604   3852 |        0 |        0
508.04/508.28	c  508s |      23 |  2539367 |  2472238 |     1604   3864 |        0 |        0
510.13/510.30	c  510s |      23 |  2549255 |  2481938 |     1604   3875 |        0 |        0
512.13/512.32	c  512s |      23 |  2558998 |  2491438 |     1604   3887 |        0 |        0
514.14/514.33	c  514s |      23 |  2568749 |  2501038 |     1604   3898 |        0 |        0
516.14/516.33	c  516s |      23 |  2578649 |  2510538 |     1604   3909 |        0 |        0
518.13/518.35	c  518s |      23 |  2588449 |  2520038 |     1604   3921 |        0 |        0
520.14/520.37	c  520s |      23 |  2598344 |  2529638 |     1604   3932 |        0 |        0
522.23/522.40	c  522s |      23 |  2608294 |  2539338 |     1604   3944 |        0 |        0
524.23/524.41	c  524s |      23 |  2618102 |  2548838 |     1604   3955 |        0 |        0
526.23/526.43	c  526s |      23 |  2627922 |  2558438 |     1604   3966 |        0 |        0
528.23/528.43	c  528s |      23 |  2637486 |  2567738 |     1604   3977 |        0 |        0
530.23/530.45	c  530s |      23 |  2647793 |  2577738 |     1604   3989 |        0 |        0
532.24/532.46	c  532s |      23 |  2657792 |  2587538 |     1604   4001 |        0 |        0
534.23/534.46	c  534s |      23 |  2667980 |  2597238 |     1604   4012 |        0 |        0
536.23/536.47	c  536s |      23 |  2677832 |  2606838 |     1604   4024 |        0 |        0
538.23/538.48	c  538s |      23 |  2687563 |  2616338 |     1604   4035 |        0 |        0
540.23/540.49	c  540s |      23 |  2697569 |  2626138 |     1604   4047 |        0 |        0
542.33/542.51	c  542s |      23 |  2707468 |  2635738 |     1604   4058 |        0 |        0
544.33/544.51	c  544s |      23 |  2717274 |  2645238 |     1604   4069 |        0 |        0
546.32/546.52	c  546s |      23 |  2727292 |  2654638 |     1604   4081 |        0 |        0
548.32/548.52	c  548s |      23 |  2737070 |  2664038 |     1604   4092 |        0 |        0
550.32/550.54	c  550s |      23 |  2746889 |  2673638 |     1604   4103 |        0 |        0
552.32/552.54	c  552s |      23 |  2756564 |  2683138 |     1604   4115 |        0 |        0
554.33/554.56	c  554s |      23 |  2766411 |  2692838 |     1604   4126 |        0 |        0
556.32/556.57	c  556s |      23 |  2776245 |  2702238 |     1604   4137 |        0 |        0
558.32/558.58	c  558s |      23 |  2786227 |  2711938 |     1604   4149 |        0 |        0
560.42/560.60	c  560s |      23 |  2796269 |  2721438 |     1604   4160 |        0 |        0
562.42/562.61	c  562s |      23 |  2805960 |  2730738 |     1604   4171 |        0 |        0
564.42/564.61	c  564s |      23 |  2815468 |  2740038 |     1604   4182 |        0 |        0
566.42/566.62	c  566s |      23 |  2825624 |  2750038 |     1604   4194 |        0 |        0
568.41/568.63	c  568s |      23 |  2835660 |  2759838 |     1604   4206 |        0 |        0
570.41/570.64	c  570s |      23 |  2845556 |  2769538 |     1604   4217 |        0 |        0
572.41/572.64	c  572s |      23 |  2855403 |  2779138 |     1604   4229 |        0 |        0
574.41/574.65	c  574s |      23 |  2865245 |  2788738 |     1604   4240 |        0 |        0
576.41/576.66	c  576s |      23 |  2875135 |  2798338 |     1604   4252 |        0 |        0
578.41/578.67	c  578s |      23 |  2884968 |  2807938 |     1604   4263 |        0 |        0
580.41/580.68	c  580s |      23 |  2894737 |  2817438 |     1604   4274 |        0 |        0
582.41/582.69	c  582s |      23 |  2904662 |  2827138 |     1604   4286 |        0 |        0
584.51/584.70	c  584s |      23 |  2914752 |  2836838 |     1604   4297 |        0 |        0
586.50/586.72	c  586s |      23 |  2924390 |  2846238 |     1604   4309 |        0 |        0
588.50/588.74	c  588s |      23 |  2934291 |  2855938 |     1604   4320 |        0 |        0
590.51/590.74	c  590s |      23 |  2944040 |  2865538 |     1604   4332 |        0 |        0
592.50/592.76	c  592s |      23 |  2953722 |  2875038 |     1604   4343 |        0 |        0
594.50/594.76	c  594s |      23 |  2963293 |  2884438 |     1604   4354 |        0 |        0
596.50/596.77	c  596s |      23 |  2972867 |  2893738 |     1604   4365 |        0 |        0
598.50/598.78	c  598s |      23 |  2982620 |  2903338 |     1604   4376 |        0 |        0
600.60/600.80	c  600s |      23 |  2992167 |  2912738 |     1604   4388 |        0 |        0
602.50/602.80	c  602s |      23 |  3001821 |  2922238 |     1604   4399 |        0 |        0
604.60/604.82	c  604s |      23 |  3011607 |  2931638 |     1604   4410 |        0 |        0
606.60/606.83	c  606s |      23 |  3020986 |  2940738 |     1604   4421 |        0 |        0
608.60/608.84	c  608s |      23 |  3030670 |  2950038 |     1604   4432 |        0 |        0
610.60/610.86	c  610s |      23 |  3040362 |  2959538 |     1604   4443 |        0 |        0
612.60/612.86	c  612s |      23 |  3050190 |  2969138 |     1604   4455 |        0 |        0
614.59/614.88	c  614s |      23 |  3060492 |  2979238 |     1604   4467 |        0 |        0
616.59/616.88	c  616s |      23 |  3070823 |  2989238 |     1604   4479 |        0 |        0
618.59/618.88	c  618s |      23 |  3080816 |  2998838 |     1604   4490 |        0 |        0
620.69/620.90	c  620s |      23 |  3090713 |  3008538 |     1604   4501 |        0 |        0
622.69/622.91	c  622s |      23 |  3100552 |  3018138 |     1604   4513 |        0 |        0
624.70/624.91	c  624s |      23 |  3110093 |  3027338 |     1604   4524 |        0 |        0
626.69/626.91	c  626s |      23 |  3119958 |  3037038 |     1604   4535 |        0 |        0
628.69/628.93	c  628s |      23 |  3129833 |  3046738 |     1604   4547 |        0 |        0
630.69/630.94	c  630s |      23 |  3139729 |  3056338 |     1604   4558 |        0 |        0
632.69/632.94	c  632s |      23 |  3149580 |  3066038 |     1604   4570 |        0 |        0
634.69/634.96	c  634s |      23 |  3159421 |  3075538 |     1604   4581 |        0 |        0
636.70/636.97	c  636s |      23 |  3169158 |  3085038 |     1604   4592 |        0 |        0
638.69/638.98	c  638s |      23 |  3179098 |  3094838 |     1604   4604 |        0 |        0
640.69/640.99	c  640s |      23 |  3189022 |  3104438 |     1604   4615 |        0 |        0
642.69/642.99	c  642s |      23 |  3198567 |  3113638 |     1604   4626 |        0 |        0
644.79/645.01	c  644s |      23 |  3208144 |  3123038 |     1604   4638 |        0 |        0
646.79/647.02	c  646s |      23 |  3217959 |  3132738 |     1604   4649 |        0 |        0
648.79/649.03	c  649s |      23 |  3227867 |  3142438 |     1604   4661 |        0 |        0
650.79/651.05	c  651s |      23 |  3237658 |  3152038 |     1604   4672 |        0 |        0
652.78/653.05	c  653s |      23 |  3247363 |  3161538 |     1604   4683 |        0 |        0
654.78/655.07	c  655s |      23 |  3257080 |  3171038 |     1604   4695 |        0 |        0
656.78/657.08	c  657s |      23 |  3267033 |  3180738 |     1604   4706 |        0 |        0
658.88/659.10	c  659s |      23 |  3276727 |  3190238 |     1604   4718 |        0 |        0
660.89/661.11	c  661s |      23 |  3286393 |  3199638 |     1604   4729 |        0 |        0
662.88/663.12	c  663s |      23 |  3296222 |  3209238 |     1604   4740 |        0 |        0
664.88/665.13	c  665s |      23 |  3305965 |  3218438 |     1604   4751 |        0 |        0
666.88/667.15	c  667s |      23 |  3315624 |  3227938 |     1604   4763 |        0 |        0
668.88/669.17	c  669s |      23 |  3325323 |  3237438 |     1604   4774 |        0 |        0
670.88/671.18	c  671s |      23 |  3335185 |  3247138 |     1604   4785 |        0 |        0
672.88/673.18	c  673s |      23 |  3344644 |  3256338 |     1604   4796 |        0 |        0
674.98/675.20	c  675s |      23 |  3354226 |  3265638 |     1604   4807 |        0 |        0
676.97/677.20	c  677s |      23 |  3363922 |  3274938 |     1604   4818 |        0 |        0
678.97/679.21	c  679s |      23 |  3373324 |  3284138 |     1604   4829 |        0 |        0
680.97/681.22	c  681s |      23 |  3383101 |  3293738 |     1604   4841 |        0 |        0
682.98/683.23	c  683s |      23 |  3393539 |  3303838 |     1604   4853 |        0 |        0
684.97/685.25	c  685s |      23 |  3403733 |  3313838 |     1604   4865 |        0 |        0
686.97/687.26	c  687s |      23 |  3413696 |  3323538 |     1604   4876 |        0 |        0
688.97/689.26	c  689s |      23 |  3423522 |  3333138 |     1604   4888 |        0 |        0
690.97/691.27	c  691s |      23 |  3433360 |  3342738 |     1604   4899 |        0 |        0
692.96/693.28	c  693s |      23 |  3443190 |  3352338 |     1604   4910 |        0 |        0
695.07/695.31	c  695s |      23 |  3452875 |  3361738 |     1765   4921 |        0 |        0
697.06/697.31	c  697s |      23 |  3462674 |  3371338 |     1765   4931 |        0 |        0
698.16/698.43	c  698s |      24 |  3468137 |  3376662 |     1765   4937 |        0 |        0
700.16/700.44	c  700s |      24 |  3478208 |  3386362 |     1765   4947 |        0 |        0
702.16/702.44	c  702s |      24 |  3488135 |  3395962 |     1765   4958 |        0 |        0
704.16/704.45	c  704s |      24 |  3498018 |  3405662 |     1765   4968 |        0 |        0
706.17/706.45	c  706s |      24 |  3507626 |  3415062 |     1765   4978 |        0 |        0
708.17/708.47	c  708s |      24 |  3517390 |  3424662 |     1765   4989 |        0 |        0
710.17/710.48	c  710s |      24 |  3526980 |  3433962 |     1765   4999 |        0 |        0
712.16/712.49	c  712s |      24 |  3536943 |  3443662 |     1765   5009 |        0 |        0
714.26/714.51	c  714s |      24 |  3546544 |  3453062 |     1765   5020 |        0 |        0
716.26/716.52	c  716s |      24 |  3556090 |  3462262 |     1765   5030 |        0 |        0
718.26/718.54	c  718s |      24 |  3566028 |  3471962 |     1765   5040 |        0 |        0
720.26/720.54	c  720s |      24 |  3575690 |  3481362 |     1765   5050 |        0 |        0
722.26/722.56	c  722s |      24 |  3585346 |  3490862 |     1765   5061 |        0 |        0
724.26/724.57	c  724s |      24 |  3595007 |  3500362 |     1765   5071 |        0 |        0
726.25/726.58	c  726s |      24 |  3604656 |  3509862 |     1765   5081 |        0 |        0
728.25/728.59	c  728s |      24 |  3614324 |  3519362 |     1765   5091 |        0 |        0
730.35/730.62	c  730s |      24 |  3623800 |  3528662 |     1765   5102 |        0 |        0
732.36/732.63	c  732s |      24 |  3633331 |  3537962 |     1765   5112 |        0 |        0
734.35/734.63	c  734s |      24 |  3642894 |  3547062 |     1765   5122 |        0 |        0
736.35/736.64	c  736s |      24 |  3652174 |  3556062 |     1765   5131 |        0 |        0
738.34/738.65	c  738s |      24 |  3661824 |  3565562 |     1765   5142 |        0 |        0
740.34/740.66	c  740s |      24 |  3671541 |  3575062 |     1765   5152 |        0 |        0
742.35/742.68	c  742s |      24 |  3680895 |  3584162 |     1765   5162 |        0 |        0
744.34/744.69	c  744s |      24 |  3690606 |  3593662 |     1765   5172 |        0 |        0
746.44/746.70	c  746s |      24 |  3700513 |  3603362 |     1765   5183 |        0 |        0
748.44/748.70	c  748s |      24 |  3710273 |  3612762 |     1765   5193 |        0 |        0
750.44/750.71	c  750s |      24 |  3720087 |  3622262 |     1765   5203 |        0 |        0
752.44/752.73	c  752s |      24 |  3729634 |  3631562 |     1765   5213 |        0 |        0
754.45/754.73	c  754s |      24 |  3739216 |  3640962 |     1765   5223 |        0 |        0
756.44/756.75	c  756s |      24 |  3748854 |  3650362 |     1765   5234 |        0 |        0
758.44/758.76	c  758s |      24 |  3758517 |  3659862 |     1765   5244 |        0 |        0
760.43/760.77	c  760s |      24 |  3768155 |  3669262 |     1765   5254 |        0 |        0
762.43/762.78	c  762s |      24 |  3778076 |  3678962 |     1765   5265 |        0 |        0
764.53/764.80	c  764s |      24 |  3788126 |  3688862 |     1765   5275 |        0 |        0
766.54/766.81	c  766s |      24 |  3798030 |  3698462 |     1765   5286 |        0 |        0
768.53/768.81	c  768s |      24 |  3807970 |  3708262 |     1765   5296 |        0 |        0
770.54/770.84	c  770s |      24 |  3818008 |  3718062 |     1765   5307 |        0 |        0
772.54/772.85	c  772s |      24 |  3827831 |  3727562 |     1765   5317 |        0 |        0
774.54/774.86	c  774s |      24 |  3837740 |  3737162 |     1765   5328 |        0 |        0
776.53/776.88	c  776s |      24 |  3847362 |  3746662 |     1765   5338 |        0 |        0
778.54/778.89	c  778s |      24 |  3857046 |  3756162 |     1765   5348 |        0 |        0
780.63/780.91	c  780s |      24 |  3867058 |  3765862 |     1765   5359 |        0 |        0
782.63/782.92	c  782s |      24 |  3876597 |  3775162 |     1765   5369 |        0 |        0
784.63/784.92	c  784s |      24 |  3886084 |  3784362 |     1765   5379 |        0 |        0
786.63/786.93	c  786s |      24 |  3896033 |  3794062 |     1765   5389 |        0 |        0
788.63/788.94	c  788s |      24 |  3905710 |  3803562 |     1765   5400 |        0 |        0
790.63/790.95	c  790s |      24 |  3915345 |  3813062 |     1765   5410 |        0 |        0
792.63/792.96	c  792s |      24 |  3924839 |  3822362 |     1765   5420 |        0 |        0
794.63/794.98	c  794s |      24 |  3934363 |  3831562 |     1765   5430 |        0 |        0
796.73/797.00	c  796s |      24 |  3944281 |  3841262 |     1765   5441 |        0 |        0
798.73/799.02	c  799s |      24 |  3954148 |  3850962 |     1765   5451 |        0 |        0
800.73/801.04	c  801s |      24 |  3963910 |  3860562 |     1765   5461 |        0 |        0
802.73/803.05	c  803s |      24 |  3973558 |  3870062 |     1765   5472 |        0 |        0
804.72/805.06	c  805s |      24 |  3983059 |  3879362 |     1765   5482 |        0 |        0
806.72/807.06	c  807s |      24 |  3992344 |  3888362 |     1765   5492 |        0 |        0
808.72/809.07	c  809s |      24 |  4001768 |  3897562 |     1765   5502 |        0 |        0
810.72/811.08	c  811s |      24 |  4011360 |  3906962 |     1765   5512 |        0 |        0
812.82/813.10	c  813s |      24 |  4021194 |  3916562 |     1765   5522 |        0 |        0
814.83/815.12	c  815s |      24 |  4030830 |  3925862 |     1765   5532 |        0 |        0
816.81/817.12	c  817s |      24 |  4040336 |  3935162 |     1765   5542 |        0 |        0
818.81/819.14	c  819s |      24 |  4049923 |  3944562 |     1765   5553 |        0 |        0
820.81/821.14	c  821s |      24 |  4059257 |  3953662 |     1765   5562 |        0 |        0
822.81/823.17	c  823s |      24 |  4068799 |  3963062 |     1765   5573 |        0 |        0
824.82/825.18	c  825s |      24 |  4078376 |  3972462 |     1765   5583 |        0 |        0
826.81/827.19	c  827s |      24 |  4087936 |  3981662 |     1765   5593 |        0 |        0
828.91/829.20	c  829s |      24 |  4097605 |  3991062 |     1765   5603 |        0 |        0
830.91/831.22	c  831s |      24 |  4107843 |  4000862 |     1765   5614 |        0 |        0
832.91/833.23	c  833s |      24 |  4117677 |  4010362 |     1765   5624 |        0 |        0
834.91/835.23	c  835s |      24 |  4127490 |  4019962 |     1765   5634 |        0 |        0
836.91/837.25	c  837s |      24 |  4137085 |  4029362 |     1765   5645 |        0 |        0
838.91/839.26	c  839s |      24 |  4146770 |  4038762 |     1765   5655 |        0 |        0
840.91/841.27	c  841s |      24 |  4156509 |  4048262 |     1765   5665 |        0 |        0
842.90/843.27	c  843s |      24 |  4166236 |  4057762 |     1765   5675 |        0 |        0
844.90/845.29	c  845s |      24 |  4175791 |  4067162 |     1765   5686 |        0 |        0
846.90/847.29	c  847s |      24 |  4185487 |  4076662 |     1765   5696 |        0 |        0
848.91/849.30	c  849s |      24 |  4195043 |  4086062 |     1765   5706 |        0 |        0
851.00/851.31	c  851s |      24 |  4204445 |  4095262 |     1765   5716 |        0 |        0
853.00/853.31	c  853s |      24 |  4213962 |  4104562 |     1765   5726 |        0 |        0
855.00/855.32	c  855s |      24 |  4223560 |  4113962 |     1765   5736 |        0 |        0
856.99/857.33	c  857s |      24 |  4233014 |  4123262 |     1765   5746 |        0 |        0
858.99/859.33	c  859s |      24 |  4242491 |  4132462 |     1765   5756 |        0 |        0
861.00/861.35	c  861s |      24 |  4251747 |  4141462 |     1765   5766 |        0 |        0
862.99/863.35	c  863s |      24 |  4261430 |  4150862 |     1765   5776 |        0 |        0
864.99/865.35	c  865s |      24 |  4270860 |  4160062 |     1765   5786 |        0 |        0
866.99/867.36	c  867s |      24 |  4280294 |  4169262 |     1765   5796 |        0 |        0
868.99/869.38	c  869s |      24 |  4289670 |  4178462 |     1765   5806 |        0 |        0
870.99/871.39	c  871s |      24 |  4298950 |  4187562 |     1765   5816 |        0 |        0
872.99/873.40	c  873s |      24 |  4308489 |  4196862 |     1765   5826 |        0 |        0
875.09/875.41	c  875s |      24 |  4319210 |  4207362 |     1765   5838 |        0 |        0
877.08/877.41	c  877s |      24 |  4329479 |  4217462 |     1765   5849 |        0 |        0
879.08/879.42	c  879s |      24 |  4339774 |  4227462 |     1765   5859 |        0 |        0
881.08/881.43	c  881s |      24 |  4349996 |  4237462 |     1765   5870 |        0 |        0
883.09/883.43	c  883s |      24 |  4359820 |  4247062 |     1765   5881 |        0 |        0
885.08/885.44	c  885s |      24 |  4369920 |  4256862 |     1765   5891 |        0 |        0
887.08/887.44	c  887s |      24 |  4379845 |  4266662 |     1765   5902 |        0 |        0
889.08/889.45	c  889s |      24 |  4389706 |  4276162 |     1765   5912 |        0 |        0
891.08/891.46	c  891s |      24 |  4399761 |  4285962 |     1765   5923 |        0 |        0
893.08/893.47	c  893s |      24 |  4409794 |  4295762 |     1765   5933 |        0 |        0
895.10/895.47	c  895s |      24 |  4419636 |  4305462 |     1765   5944 |        0 |        0
897.09/897.48	c  897s |      24 |  4429502 |  4315162 |     1765   5954 |        0 |        0
899.09/899.50	c  899s |      24 |  4439217 |  4324562 |     1765   5965 |        0 |        0
901.19/901.51	c  901s |      24 |  4448973 |  4334062 |     1765   5975 |        0 |        0
903.19/903.53	c  903s |      24 |  4458636 |  4343462 |     1765   5985 |        0 |        0
905.19/905.54	c  905s |      24 |  4468615 |  4353162 |     1765   5995 |        0 |        0
907.19/907.55	c  907s |      24 |  4478237 |  4362562 |     1765   6006 |        0 |        0
909.19/909.57	c  909s |      24 |  4488020 |  4372162 |     1765   6016 |        0 |        0
911.19/911.57	c  911s |      24 |  4497655 |  4381562 |     1765   6026 |        0 |        0
913.19/913.57	c  913s |      24 |  4507316 |  4390962 |     1765   6036 |        0 |        0
915.18/915.58	c  915s |      24 |  4517143 |  4400562 |     1765   6047 |        0 |        0
917.28/917.60	c  917s |      24 |  4527253 |  4410462 |     1765   6058 |        0 |        0
919.29/919.61	c  919s |      24 |  4537102 |  4420162 |     1765   6068 |        0 |        0
921.28/921.62	c  921s |      24 |  4546860 |  4429762 |     1765   6078 |        0 |        0
923.28/923.63	c  923s |      24 |  4556630 |  4439362 |     1765   6089 |        0 |        0
925.28/925.63	c  925s |      24 |  4566288 |  4448862 |     1765   6099 |        0 |        0
927.28/927.65	c  927s |      24 |  4575843 |  4458262 |     1765   6109 |        0 |        0
929.29/929.66	c  929s |      24 |  4585728 |  4467962 |     1765   6120 |        0 |        0
931.28/931.67	c  931s |      24 |  4595904 |  4477862 |     1765   6131 |        0 |        0
933.28/933.68	c  933s |      24 |  4606050 |  4487662 |     1765   6141 |        0 |        0
935.38/935.70	c  935s |      24 |  4615900 |  4497362 |     1765   6152 |        0 |        0
937.38/937.72	c  937s |      24 |  4625863 |  4507162 |     1765   6162 |        0 |        0
939.38/939.72	c  939s |      24 |  4635599 |  4516762 |     1765   6173 |        0 |        0
941.38/941.73	c  941s |      24 |  4645425 |  4526462 |     1765   6183 |        0 |        0
943.38/943.76	c  943s |      24 |  4655126 |  4535962 |     1765   6194 |        0 |        0
945.38/945.77	c  945s |      24 |  4665073 |  4545662 |     1765   6204 |        0 |        0
947.37/947.78	c  947s |      24 |  4674946 |  4555362 |     1765   6215 |        0 |        0
949.37/949.79	c  949s |      24 |  4684843 |  4564962 |     1765   6225 |        0 |        0
951.37/951.79	c  951s |      24 |  4694503 |  4574462 |     1765   6235 |        0 |        0
953.48/953.81	c  953s |      24 |  4704280 |  4583962 |     1765   6246 |        0 |        0
955.47/955.82	c  955s |      24 |  4713936 |  4593462 |     1765   6256 |        0 |        0
957.47/957.83	c  957s |      24 |  4723597 |  4602862 |     1765   6266 |        0 |        0
959.47/959.85	c  959s |      24 |  4732775 |  4611862 |     1765   6276 |        0 |        0
961.47/961.85	c  961s |      24 |  4741999 |  4620862 |     1765   6286 |        0 |        0
963.47/963.86	c  963s |      24 |  4751640 |  4630362 |     1765   6296 |        0 |        0
965.48/965.88	c  965s |      24 |  4761341 |  4639862 |     1765   6306 |        0 |        0
967.47/967.89	c  967s |      24 |  4771010 |  4649362 |     1765   6317 |        0 |        0
969.57/969.90	c  969s |      24 |  4780309 |  4658462 |     1765   6326 |        0 |        0
971.57/971.92	c  971s |      24 |  4789962 |  4667962 |     1765   6337 |        0 |        0
973.57/973.93	c  973s |      24 |  4799346 |  4676962 |     1765   6347 |        0 |        0
975.57/975.93	c  975s |      24 |  4809581 |  4686862 |     1765   6357 |        0 |        0
977.57/977.95	c  977s |      24 |  4819906 |  4696862 |     1765   6368 |        0 |        0
979.57/979.97	c  979s |      24 |  4829764 |  4706562 |     1765   6379 |        0 |        0
981.57/981.98	c  981s |      24 |  4839770 |  4716262 |     1765   6389 |        0 |        0
983.57/983.98	c  983s |      24 |  4849705 |  4725962 |     1765   6400 |        0 |        0
985.58/985.99	c  985s |      24 |  4859492 |  4735562 |     1765   6410 |        0 |        0
987.67/988.01	c  987s |      24 |  4869173 |  4745062 |     1765   6420 |        0 |        0
989.68/990.02	c  989s |      24 |  4878809 |  4754562 |     1765   6431 |        0 |        0
991.67/992.03	c  992s |      24 |  4888595 |  4764162 |     1765   6441 |        0 |        0
993.67/994.05	c  994s |      24 |  4898162 |  4773562 |     1765   6451 |        0 |        0
995.67/996.06	c  996s |      24 |  4907646 |  4782862 |     1765   6461 |        0 |        0
997.67/998.06	c  998s |      24 |  4917260 |  4792262 |     1765   6472 |        0 |        0
999.68/1000.07	c 1000s |      24 |  4926762 |  4801562 |     1765   6482 |        0 |        0
1001.67/1002.08	c 1002s |      24 |  4936315 |  4810962 |     1765   6492 |        0 |        0
1003.77/1004.10	c 1004s |      24 |  4945907 |  4820262 |     1765   6502 |        0 |        0
1005.77/1006.10	c 1006s |      24 |  4955349 |  4829462 |     1765   6512 |        0 |        0
1007.77/1008.12	c 1008s |      24 |  4964944 |  4838862 |     1765   6522 |        0 |        0
1009.76/1010.14	c 1010s |      24 |  4974974 |  4848562 |     1765   6533 |        0 |        0
1011.78/1012.15	c 1012s |      24 |  4984401 |  4857762 |     1765   6543 |        0 |        0
1013.77/1014.16	c 1014s |      24 |  4993892 |  4866962 |     1765   6553 |        0 |        0
1015.77/1016.18	c 1016s |      24 |  5003839 |  4876362 |     1765   6563 |        0 |        0
1017.77/1018.19	c 1018s |      24 |  5013174 |  4885462 |     1765   6573 |        0 |        0
1019.77/1020.19	c 1020s |      24 |  5022866 |  4894862 |     1765   6583 |        0 |        0
1021.87/1022.21	c 1022s |      24 |  5032269 |  4904062 |     1765   6593 |        0 |        0
1023.88/1024.21	c 1024s |      24 |  5042059 |  4913662 |     1765   6603 |        0 |        0
1025.87/1026.22	c 1026s |      24 |  5051559 |  4923062 |     1765   6614 |        0 |        0
1027.87/1028.23	c 1028s |      24 |  5061317 |  4932662 |     1765   6624 |        0 |        0
1029.87/1030.24	c 1030s |      24 |  5071124 |  4942262 |     1765   6635 |        0 |        0
1031.87/1032.25	c 1032s |      24 |  5080726 |  4951662 |     1765   6645 |        0 |        0
1033.87/1034.25	c 1034s |      24 |  5090314 |  4960962 |     1765   6655 |        0 |        0
1035.87/1036.26	c 1036s |      24 |  5099779 |  4970262 |     1765   6665 |        0 |        0
1037.87/1038.28	c 1038s |      24 |  5109332 |  4979662 |     1765   6675 |        0 |        0
1039.87/1040.29	c 1040s |      24 |  5118539 |  4988562 |     1765   6685 |        0 |        0
1041.97/1042.30	c 1042s |      24 |  5128048 |  4997862 |     1765   6695 |        0 |        0
1043.97/1044.31	c 1044s |      24 |  5137580 |  5007262 |     1765   6705 |        0 |        0
1045.97/1046.32	c 1046s |      24 |  5147306 |  5016762 |     1765   6716 |        0 |        0
1047.97/1048.34	c 1048s |      24 |  5156895 |  5026162 |     1765   6726 |        0 |        0
1049.97/1050.35	c 1050s |      24 |  5166010 |  5034862 |     1942   6735 |        0 |        0
1051.97/1052.35	c 1052s |      24 |  5175741 |  5044262 |     1942   6744 |        0 |        0
1053.96/1054.36	c 1054s |      24 |  5185576 |  5053962 |     1942   6753 |        0 |        0
1055.96/1056.36	c 1056s |      24 |  5195406 |  5063562 |     1942   6763 |        0 |        0
1056.26/1056.68	c 1056s |      25 |  5196962 |  5065098 |     1942   6764 |        0 |        0
1058.36/1058.70	c 1058s |      25 |  5206642 |  5074498 |     1942   6774 |        0 |        0
1060.36/1060.71	c 1060s |      25 |  5216286 |  5083898 |     1942   6783 |        0 |        0
1062.37/1062.72	c 1062s |      25 |  5225440 |  5092798 |     1942   6792 |        0 |        0
1064.36/1064.74	c 1064s |      25 |  5234838 |  5101998 |     1942   6801 |        0 |        0
1066.36/1066.76	c 1066s |      25 |  5244126 |  5111198 |     1942   6810 |        0 |        0
1068.36/1068.77	c 1068s |      25 |  5253431 |  5120298 |     1942   6819 |        0 |        0
1070.36/1070.78	c 1070s |      25 |  5262964 |  5129698 |     1942   6828 |        0 |        0
1072.36/1072.79	c 1072s |      25 |  5272660 |  5139198 |     1942   6838 |        0 |        0
1074.37/1074.80	c 1074s |      25 |  5282016 |  5148398 |     1942   6847 |        0 |        0
1076.46/1076.82	c 1076s |      25 |  5292416 |  5158598 |     1942   6857 |        0 |        0
1078.46/1078.82	c 1078s |      25 |  5302606 |  5168598 |     1942   6867 |        0 |        0
1080.46/1080.83	c 1080s |      25 |  5312586 |  5178298 |     1942   6876 |        0 |        0
1082.46/1082.84	c 1082s |      25 |  5322375 |  5187898 |     1942   6886 |        0 |        0
1084.46/1084.85	c 1084s |      25 |  5332276 |  5197598 |     1942   6895 |        0 |        0
1086.46/1086.86	c 1086s |      25 |  5342011 |  5207098 |     1942   6905 |        0 |        0
1088.46/1088.87	c 1088s |      25 |  5351853 |  5216698 |     1942   6914 |        0 |        0
1090.46/1090.87	c 1090s |      25 |  5361625 |  5226298 |     1942   6924 |        0 |        0
1092.45/1092.89	c 1092s |      25 |  5371488 |  5235998 |     1942   6933 |        0 |        0
1094.55/1094.90	c 1094s |      25 |  5381488 |  5245798 |     1942   6943 |        0 |        0
1096.55/1096.93	c 1096s |      25 |  5391154 |  5255298 |     1942   6953 |        0 |        0
1098.56/1098.94	c 1098s |      25 |  5400604 |  5264498 |     1942   6962 |        0 |        0
1100.55/1100.96	c 1100s |      25 |  5410153 |  5273898 |     1942   6971 |        0 |        0
1102.55/1102.97	c 1102s |      25 |  5419916 |  5283498 |     1942   6980 |        0 |        0
1104.55/1104.98	c 1104s |      25 |  5429667 |  5293098 |     1942   6990 |        0 |        0
1106.55/1106.99	c 1106s |      25 |  5439513 |  5302698 |     1942   6999 |        0 |        0
1108.65/1109.00	c 1108s |      25 |  5449064 |  5312098 |     1942   7009 |        0 |        0
1110.55/1111.00	c 1110s |      25 |  5458685 |  5321498 |     1942   7018 |        0 |        0
1112.65/1113.02	c 1113s |      25 |  5468268 |  5330898 |     1942   7027 |        0 |        0
1114.65/1115.03	c 1115s |      25 |  5477587 |  5339698 |     1942   7036 |        0 |        0
1116.65/1117.03	c 1117s |      25 |  5487483 |  5349398 |     1942   7046 |        0 |        0
1118.65/1119.04	c 1119s |      25 |  5497224 |  5358998 |     1942   7055 |        0 |        0
1120.66/1121.05	c 1121s |      25 |  5506987 |  5368498 |     1942   7065 |        0 |        0
1122.65/1123.06	c 1123s |      25 |  5516548 |  5377898 |     1942   7074 |        0 |        0
1124.65/1125.06	c 1125s |      25 |  5526088 |  5387098 |     1942   7083 |        0 |        0
1126.65/1127.07	c 1127s |      25 |  5535648 |  5396498 |     1942   7092 |        0 |        0
1128.65/1129.09	c 1129s |      25 |  5545069 |  5405698 |     1942   7101 |        0 |        0
1130.75/1131.10	c 1131s |      25 |  5554534 |  5414998 |     1942   7111 |        0 |        0
1132.75/1133.11	c 1133s |      25 |  5563849 |  5424098 |     1942   7120 |        0 |        0
1134.74/1135.13	c 1135s |      25 |  5573604 |  5433598 |     1942   7129 |        0 |        0
1136.74/1137.13	c 1137s |      25 |  5583003 |  5442798 |     1942   7138 |        0 |        0
1138.75/1139.14	c 1139s |      25 |  5592384 |  5451898 |     1942   7147 |        0 |        0
1140.75/1141.15	c 1141s |      25 |  5602023 |  5461398 |     1942   7156 |        0 |        0
1142.75/1143.16	c 1143s |      25 |  5611435 |  5470698 |     1942   7166 |        0 |        0
1144.76/1145.18	c 1145s |      25 |  5620937 |  5480098 |     1942   7175 |        0 |        0
1146.75/1147.19	c 1147s |      25 |  5630209 |  5489198 |     1942   7184 |        0 |        0
1148.75/1149.19	c 1149s |      25 |  5639851 |  5498598 |     1942   7193 |        0 |        0
1150.85/1151.21	c 1151s |      25 |  5649402 |  5507998 |     1942   7203 |        0 |        0
1152.85/1153.22	c 1153s |      25 |  5658954 |  5517398 |     1942   7212 |        0 |        0
1154.85/1155.24	c 1155s |      25 |  5668554 |  5526798 |     1942   7221 |        0 |        0
1156.86/1157.25	c 1157s |      25 |  5677446 |  5535398 |     1942   7230 |        0 |        0
1158.85/1159.25	c 1159s |      25 |  5686919 |  5544698 |     1942   7239 |        0 |        0
1160.85/1161.27	c 1161s |      25 |  5696453 |  5554098 |     1942   7248 |        0 |        0
1162.85/1163.28	c 1163s |      25 |  5705973 |  5563498 |     1942   7257 |        0 |        0
1164.95/1165.31	c 1165s |      25 |  5715336 |  5572698 |     1942   7267 |        0 |        0
1166.95/1167.31	c 1167s |      25 |  5724888 |  5582098 |     1942   7276 |        0 |        0
1168.95/1169.31	c 1169s |      25 |  5734377 |  5591398 |     1942   7285 |        0 |        0
1170.95/1171.32	c 1171s |      25 |  5743958 |  5600798 |     1942   7294 |        0 |        0
1172.95/1173.34	c 1173s |      25 |  5753333 |  5609898 |     1942   7303 |        0 |        0
1174.95/1175.35	c 1175s |      25 |  5762422 |  5618698 |     1942   7312 |        0 |        0
1176.95/1177.36	c 1177s |      25 |  5771515 |  5627598 |     1942   7321 |        0 |        0
1178.95/1179.37	c 1179s |      25 |  5781371 |  5637098 |     1942   7330 |        0 |        0
1180.95/1181.39	c 1181s |      25 |  5791291 |  5646698 |     1942   7340 |        0 |        0
1183.04/1183.40	c 1183s |      25 |  5800985 |  5656098 |     1942   7349 |        0 |        0
1185.04/1185.41	c 1185s |      25 |  5810364 |  5664998 |     1942   7358 |        0 |        0
1187.04/1187.41	c 1187s |      25 |  5819855 |  5674298 |     1942   7367 |        0 |        0
1189.04/1189.42	c 1189s |      25 |  5829487 |  5683698 |     1942   7376 |        0 |        0
1191.05/1191.44	c 1191s |      25 |  5838741 |  5692798 |     1942   7385 |        0 |        0
1193.04/1193.44	c 1193s |      25 |  5848186 |  5702098 |     1942   7395 |        0 |        0
1195.04/1195.45	c 1195s |      25 |  5857537 |  5711298 |     1942   7404 |        0 |        0
1197.04/1197.47	c 1197s |      25 |  5866988 |  5720598 |     1942   7413 |        0 |        0
1199.04/1199.48	c 1199s |      25 |  5876464 |  5729898 |     1942   7422 |        0 |        0
1201.04/1201.49	c 1201s |      25 |  5885944 |  5739198 |     1942   7431 |        0 |        0
1203.05/1203.50	c 1203s |      25 |  5895658 |  5748698 |     1942   7441 |        0 |        0
1205.14/1205.51	c 1205s |      25 |  5905351 |  5758198 |     1942   7450 |        0 |        0
1207.14/1207.53	c 1207s |      25 |  5915105 |  5767698 |     1942   7460 |        0 |        0
1209.14/1209.55	c 1209s |      25 |  5924757 |  5777098 |     1942   7469 |        0 |        0
1211.13/1211.56	c 1211s |      25 |  5934454 |  5786598 |     1942   7478 |        0 |        0
1213.13/1213.56	c 1213s |      25 |  5943870 |  5795798 |     1942   7487 |        0 |        0
1215.14/1215.58	c 1215s |      25 |  5953219 |  5804898 |     1942   7496 |        0 |        0
1217.13/1217.58	c 1217s |      25 |  5962680 |  5814098 |     1942   7505 |        0 |        0
1219.13/1219.58	c 1219s |      25 |  5971842 |  5823098 |     1942   7514 |        0 |        0
1221.13/1221.60	c 1221s |      25 |  5980939 |  5831898 |     1942   7523 |        0 |        0
1223.23/1223.61	c 1223s |      25 |  5990651 |  5841398 |     1942   7532 |        0 |        0
1225.23/1225.63	c 1225s |      25 |  6000046 |  5850598 |     1942   7542 |        0 |        0
1227.24/1227.65	c 1227s |      25 |  6009258 |  5859598 |     1942   7550 |        0 |        0
1229.24/1229.66	c 1229s |      25 |  6018623 |  5868698 |     1942   7559 |        0 |        0
1231.24/1231.67	c 1231s |      25 |  6027666 |  5877498 |     1942   7568 |        0 |        0
1233.24/1233.67	c 1233s |      25 |  6036999 |  5886698 |     1942   7577 |        0 |        0
1235.24/1235.69	c 1235s |      25 |  6046405 |  5895898 |     1942   7586 |        0 |        0
1237.34/1237.70	c 1237s |      25 |  6055725 |  5905098 |     1942   7595 |        0 |        0
1239.34/1239.70	c 1239s |      25 |  6064846 |  5914098 |     1942   7604 |        0 |        0
1241.34/1241.72	c 1241s |      25 |  6074120 |  5923098 |     1942   7613 |        0 |        0
1243.34/1243.74	c 1243s |      25 |  6083189 |  5931998 |     1942   7622 |        0 |        0
1245.34/1245.76	c 1245s |      25 |  6092243 |  5940798 |     1942   7631 |        0 |        0
1247.34/1247.77	c 1247s |      25 |  6101868 |  5950098 |     1942   7640 |        0 |        0
1249.34/1249.79	c 1249s |      25 |  6111207 |  5959098 |     1942   7649 |        0 |        0
1251.44/1251.81	c 1251s |      25 |  6120277 |  5967998 |     1942   7658 |        0 |        0
1253.43/1253.83	c 1253s |      25 |  6129390 |  5976898 |     1942   7667 |        0 |        0
1255.43/1255.83	c 1255s |      25 |  6138552 |  5985798 |     1942   7675 |        0 |        0
1257.43/1257.84	c 1257s |      25 |  6147654 |  5994698 |     1942   7684 |        0 |        0
1259.43/1259.85	c 1259s |      25 |  6156822 |  6003698 |     1942   7693 |        0 |        0
1261.44/1261.86	c 1261s |      25 |  6166074 |  6012698 |     1942   7702 |        0 |        0
1263.43/1263.86	c 1263s |      25 |  6175164 |  6021598 |     1942   7711 |        0 |        0
1265.43/1265.86	c 1265s |      25 |  6185093 |  6031298 |     1942   7720 |        0 |        0
1267.43/1267.87	c 1267s |      25 |  6194825 |  6040798 |     1942   7730 |        0 |        0
1269.43/1269.87	c 1269s |      25 |  6204665 |  6050398 |     1942   7739 |        0 |        0
1271.43/1271.89	c 1271s |      25 |  6214380 |  6059898 |     1942   7749 |        0 |        0
1273.53/1273.91	c 1273s |      25 |  6223966 |  6069298 |     1942   7758 |        0 |        0
1275.53/1275.91	c 1275s |      25 |  6233420 |  6078498 |     1942   7767 |        0 |        0
1277.53/1277.93	c 1277s |      25 |  6242854 |  6087698 |     1942   7776 |        0 |        0
1279.53/1279.94	c 1279s |      25 |  6252583 |  6096898 |     1942   7785 |        0 |        0
1281.53/1281.95	c 1281s |      25 |  6262006 |  6105998 |     1942   7794 |        0 |        0
1283.52/1283.95	c 1283s |      25 |  6271278 |  6115098 |     1942   7803 |        0 |        0
1285.53/1285.95	c 1285s |      25 |  6280550 |  6124198 |     1942   7812 |        0 |        0
1287.52/1287.97	c 1287s |      25 |  6289815 |  6133298 |     1942   7821 |        0 |        0
1289.52/1289.99	c 1289s |      25 |  6299335 |  6142598 |     1942   7830 |        0 |        0
1291.62/1292.00	c 1291s |      25 |  6308877 |  6151798 |     1942   7840 |        0 |        0
1293.62/1294.02	c 1294s |      25 |  6318336 |  6160998 |     1942   7849 |        0 |        0
1295.62/1296.04	c 1296s |      25 |  6327834 |  6170298 |     1942   7858 |        0 |        0
1297.63/1298.04	c 1298s |      25 |  6337252 |  6179398 |     1942   7867 |        0 |        0
1299.62/1300.04	c 1300s |      25 |  6346433 |  6188398 |     1942   7876 |        0 |        0
1301.62/1302.07	c 1302s |      25 |  6355642 |  6197298 |     1942   7885 |        0 |        0
1303.62/1304.08	c 1304s |      25 |  6364984 |  6206398 |     1942   7894 |        0 |        0
1305.62/1306.08	c 1306s |      25 |  6374132 |  6215398 |     1942   7902 |        0 |        0
1307.63/1308.09	c 1308s |      25 |  6383181 |  6224298 |     1942   7911 |        0 |        0
1309.73/1310.11	c 1310s |      25 |  6392448 |  6233398 |     1942   7920 |        0 |        0
1311.73/1312.12	c 1312s |      25 |  6401760 |  6242498 |     1942   7929 |        0 |        0
1313.73/1314.13	c 1314s |      25 |  6410647 |  6251198 |     1942   7938 |        0 |        0
1315.73/1316.14	c 1316s |      25 |  6419845 |  6260198 |     1942   7947 |        0 |        0
1317.73/1318.15	c 1318s |      25 |  6429440 |  6269298 |     1942   7956 |        0 |        0
1319.73/1320.17	c 1320s |      25 |  6438778 |  6278298 |     1942   7965 |        0 |        0
1321.73/1322.18	c 1322s |      25 |  6448226 |  6287498 |     1942   7974 |        0 |        0
1323.72/1324.18	c 1324s |      25 |  6457487 |  6296598 |     1942   7983 |        0 |        0
1325.72/1326.19	c 1326s |      25 |  6466881 |  6305798 |     1942   7992 |        0 |        0
1327.72/1328.20	c 1328s |      25 |  6476117 |  6314798 |     1942   8001 |        0 |        0
1329.82/1330.21	c 1330s |      25 |  6485410 |  6323798 |     1942   8010 |        0 |        0
1331.83/1332.22	c 1332s |      25 |  6494703 |  6332898 |     1942   8019 |        0 |        0
1333.82/1334.24	c 1334s |      25 |  6504205 |  6342198 |     1942   8028 |        0 |        0
1335.82/1336.25	c 1336s |      25 |  6513509 |  6351298 |     1942   8037 |        0 |        0
1337.82/1338.26	c 1338s |      25 |  6522613 |  6360198 |     1942   8046 |        0 |        0
1339.82/1340.29	c 1340s |      25 |  6531762 |  6369098 |     1942   8055 |        0 |        0
1341.82/1342.29	c 1342s |      25 |  6541091 |  6378098 |     1942   8063 |        0 |        0
1343.83/1344.29	c 1344s |      25 |  6550682 |  6387498 |     1942   8073 |        0 |        0
1345.92/1346.30	c 1346s |      25 |  6560665 |  6397298 |     1942   8082 |        0 |        0
1347.92/1348.30	c 1348s |      25 |  6570473 |  6406998 |     1942   8092 |        0 |        0
1349.92/1350.31	c 1350s |      25 |  6580277 |  6416598 |     1942   8102 |        0 |        0
1351.92/1352.31	c 1352s |      25 |  6589862 |  6425998 |     1942   8111 |        0 |        0
1353.92/1354.33	c 1354s |      25 |  6599834 |  6435798 |     1942   8121 |        0 |        0
1355.92/1356.36	c 1356s |      25 |  6609332 |  6444698 |     1942   8129 |        0 |        0
1357.91/1358.37	c 1358s |      25 |  6618863 |  6453898 |     1942   8138 |        0 |        0
1359.91/1360.38	c 1360s |      25 |  6628381 |  6463198 |     1942   8148 |        0 |        0
1361.91/1362.39	c 1362s |      25 |  6637719 |  6472198 |     1942   8157 |        0 |        0
1364.01/1364.41	c 1364s |      25 |  6647421 |  6481698 |     1942   8166 |        0 |        0
1366.01/1366.43	c 1366s |      25 |  6656823 |  6490898 |     1942   8175 |        0 |        0
1368.02/1368.43	c 1368s |      25 |  6666270 |  6499998 |     1942   8184 |        0 |        0
1370.01/1370.44	c 1370s |      25 |  6675941 |  6509498 |     1942   8193 |        0 |        0
1372.01/1372.44	c 1372s |      25 |  6685548 |  6518798 |     1942   8203 |        0 |        0
1374.01/1374.45	c 1374s |      25 |  6694880 |  6527998 |     1942   8212 |        0 |        0
1376.01/1376.45	c 1376s |      25 |  6704159 |  6537098 |     1942   8221 |        0 |        0
1378.02/1378.47	c 1378s |      25 |  6713403 |  6546098 |     1942   8230 |        0 |        0
1380.01/1380.47	c 1380s |      25 |  6722713 |  6555198 |     1942   8239 |        0 |        0
1382.01/1382.49	c 1382s |      25 |  6732126 |  6564398 |     1942   8248 |        0 |        0
1384.11/1384.51	c 1384s |      25 |  6741493 |  6573298 |     1942   8257 |        0 |        0
1386.11/1386.55	c 1386s |      25 |  6750897 |  6582398 |     1942   8266 |        0 |        0
1388.11/1388.57	c 1388s |      25 |  6760300 |  6591698 |     1942   8275 |        0 |        0
1390.11/1390.58	c 1390s |      25 |  6769824 |  6600998 |     1942   8284 |        0 |        0
1392.11/1392.59	c 1392s |      25 |  6779185 |  6610098 |     1942   8293 |        0 |        0
1394.21/1394.60	c 1394s |      25 |  6788062 |  6618798 |     1942   8302 |        0 |        0
1396.21/1396.60	c 1396s |      25 |  6797172 |  6627598 |     1942   8310 |        0 |        0
1398.20/1398.61	c 1398s |      25 |  6806794 |  6636998 |     1942   8320 |        0 |        0
1400.20/1400.62	c 1400s |      25 |  6816563 |  6646498 |     1942   8329 |        0 |        0
1402.21/1402.62	c 1402s |      25 |  6825847 |  6655598 |     1942   8338 |        0 |        0
1404.20/1404.64	c 1404s |      25 |  6835113 |  6664398 |     1942   8347 |        0 |        0
1406.20/1406.65	c 1406s |      25 |  6844553 |  6673698 |     1942   8356 |        0 |        0
1408.20/1408.67	c 1408s |      25 |  6853810 |  6682798 |     1942   8365 |        0 |        0
1410.21/1410.69	c 1410s |      25 |  6863076 |  6691898 |     1942   8374 |        0 |        0
1412.31/1412.70	c 1412s |      25 |  6872098 |  6700798 |     1942   8383 |        0 |        0
1414.22/1414.70	c 1414s |      25 |  6881082 |  6709598 |     1942   8392 |        0 |        0
1416.31/1416.70	c 1416s |      25 |  6890575 |  6718698 |     1942   8401 |        0 |        0
1418.31/1418.72	c 1418s |      25 |  6900076 |  6727998 |     1942   8410 |        0 |        0
1420.31/1420.72	c 1420s |      25 |  6909343 |  6737098 |     1942   8419 |        0 |        0
1422.31/1422.74	c 1422s |      25 |  6918684 |  6746198 |     1942   8428 |        0 |        0
1424.31/1424.75	c 1424s |      25 |  6927746 |  6754998 |     1942   8437 |        0 |        0
1426.32/1426.75	c 1426s |      25 |  6937031 |  6763998 |     1942   8445 |        0 |        0
1428.31/1428.77	c 1428s |      25 |  6946338 |  6773198 |     1942   8455 |        0 |        0
1430.31/1430.78	c 1430s |      25 |  6955521 |  6782098 |     1942   8463 |        0 |        0
1432.31/1432.79	c 1432s |      25 |  6964816 |  6791198 |     1942   8472 |        0 |        0
1434.41/1434.80	c 1434s |      25 |  6974101 |  6800298 |     1942   8481 |        0 |        0
1436.40/1436.80	c 1436s |      25 |  6983355 |  6809398 |     1942   8490 |        0 |        0
1438.41/1438.81	c 1438s |      25 |  6992457 |  6818198 |     1942   8499 |        0 |        0
1440.40/1440.84	c 1440s |      25 |  7002322 |  6827698 |     1942   8509 |        0 |        0
1442.40/1442.86	c 1442s |      25 |  7011813 |  6836398 |     1942   8517 |        0 |        0
1444.40/1444.87	c 1444s |      25 |  7021192 |  6845198 |     1942   8526 |        0 |        0
1446.40/1446.88	c 1446s |      25 |  7030466 |  6853998 |     1942   8535 |        0 |        0
1448.41/1448.88	c 1448s |      25 |  7039454 |  6862498 |     1942   8543 |        0 |        0
1450.51/1450.90	c 1450s |      25 |  7048748 |  6871598 |     1942   8552 |        0 |        0
1452.50/1452.91	c 1452s |      25 |  7058019 |  6880498 |     1942   8561 |        0 |        0
1454.50/1454.94	c 1454s |      25 |  7067199 |  6889298 |     1942   8570 |        0 |        0
1456.50/1456.96	c 1456s |      25 |  7076507 |  6898398 |     1942   8579 |        0 |        0
1458.50/1458.96	c 1458s |      25 |  7085616 |  6907198 |     1942   8587 |        0 |        0
1460.51/1460.98	c 1460s |      25 |  7095089 |  6916498 |     1942   8596 |        0 |        0
1462.50/1463.00	c 1462s |      25 |  7104354 |  6925498 |     1942   8605 |        0 |        0
1464.60/1465.01	c 1464s |      25 |  7113508 |  6934498 |     1942   8614 |        0 |        0
1466.60/1467.03	c 1467s |      25 |  7122920 |  6943698 |     1942   8623 |        0 |        0
1468.60/1469.03	c 1469s |      25 |  7132205 |  6952698 |     1942   8632 |        0 |        0
1470.60/1471.04	c 1471s |      25 |  7141295 |  6961498 |     1942   8641 |        0 |        0
1472.60/1473.06	c 1473s |      25 |  7150350 |  6970398 |     1942   8650 |        0 |        0
1474.59/1475.07	c 1475s |      25 |  7159646 |  6979498 |     1942   8659 |        0 |        0
1476.59/1477.08	c 1477s |      25 |  7169437 |  6989098 |     1942   8668 |        0 |        0
1478.69/1479.10	c 1479s |      25 |  7179088 |  6998598 |     1942   8678 |        0 |        0
1480.69/1481.11	c 1481s |      25 |  7188683 |  7007998 |     1942   8687 |        0 |        0
1482.69/1483.12	c 1483s |      25 |  7197906 |  7016798 |     1942   8696 |        0 |        0
1484.70/1485.14	c 1485s |      25 |  7207577 |  7025998 |     1942   8705 |        0 |        0
1486.69/1487.15	c 1487s |      25 |  7217041 |  7035298 |     1942   8714 |        0 |        0
1488.69/1489.16	c 1489s |      25 |  7226857 |  7044798 |     1942   8723 |        0 |        0
1490.69/1491.16	c 1491s |      25 |  7236130 |  7053698 |     1942   8732 |        0 |        0
1492.69/1493.18	c 1493s |      25 |  7245942 |  7063198 |     1942   8742 |        0 |        0
1494.70/1495.18	c 1495s |      25 |  7255906 |  7072898 |     1942   8751 |        0 |        0
1496.70/1497.20	c 1497s |      25 |  7265714 |  7082598 |     1942   8761 |        0 |        0
1498.80/1499.21	c 1499s |      25 |  7274905 |  7091498 |     1942   8770 |        0 |        0
1500.80/1501.22	c 1501s |      25 |  7284303 |  7100698 |     1942   8779 |        0 |        0
1502.80/1503.24	c 1503s |      25 |  7293691 |  7109898 |     1942   8788 |        0 |        0
1504.80/1505.26	c 1505s |      25 |  7303183 |  7119198 |     1942   8797 |        0 |        0
1506.80/1507.27	c 1507s |      25 |  7312619 |  7128398 |     1942   8806 |        0 |        0
1508.80/1509.28	c 1509s |      25 |  7322046 |  7137598 |     1942   8815 |        0 |        0
1510.79/1511.28	c 1511s |      25 |  7331324 |  7146598 |     1942   8824 |        0 |        0
1512.89/1513.30	c 1513s |      25 |  7340702 |  7155798 |     1942   8833 |        0 |        0
1514.89/1515.30	c 1515s |      25 |  7349453 |  7164298 |     1942   8842 |        0 |        0
1516.89/1517.30	c 1517s |      25 |  7358997 |  7173698 |     1942   8851 |        0 |        0
1518.89/1519.32	c 1519s |      25 |  7368456 |  7182998 |     1942   8860 |        0 |        0
1520.90/1521.33	c 1521s |      25 |  7377830 |  7192198 |     1942   8869 |        0 |        0
1522.89/1523.34	c 1523s |      25 |  7387185 |  7201398 |     1942   8878 |        0 |        0
1524.89/1525.36	c 1525s |      25 |  7396635 |  7210598 |     1942   8887 |        0 |        0
1526.89/1527.38	c 1527s |      25 |  7406104 |  7219898 |     1942   8897 |        0 |        0
1528.89/1529.39	c 1529s |      25 |  7415407 |  7228998 |     1942   8906 |        0 |        0
1530.99/1531.41	c 1531s |      25 |  7423960 |  7237398 |     1942   8914 |        0 |        0
1533.00/1533.42	c 1533s |      25 |  7432524 |  7245798 |     1942   8922 |        0 |        0
1534.99/1535.44	c 1535s |      25 |  7441918 |  7254998 |     1942   8931 |        0 |        0
1536.99/1537.44	c 1537s |      25 |  7451150 |  7264098 |     1942   8940 |        0 |        0
1538.99/1539.45	c 1539s |      25 |  7460899 |  7273498 |     1942   8950 |        0 |        0
1540.99/1541.45	c 1541s |      25 |  7470341 |  7282698 |     1942   8959 |        0 |        0
1542.99/1543.46	c 1543s |      25 |  7479960 |  7291898 |     1942   8968 |        0 |        0
1544.99/1545.46	c 1545s |      25 |  7489556 |  7301198 |     1942   8977 |        0 |        0
1546.99/1547.48	c 1547s |      25 |  7498982 |  7310398 |     1942   8986 |        0 |        0
1548.99/1549.49	c 1549s |      25 |  7508216 |  7319398 |     1942   8995 |        0 |        0
1550.99/1551.49	c 1551s |      25 |  7517334 |  7328198 |     1942   9004 |        0 |        0
1553.08/1553.50	c 1553s |      25 |  7526588 |  7336998 |     1942   9012 |        0 |        0
1555.09/1555.51	c 1555s |      25 |  7535539 |  7345598 |     1942   9021 |        0 |        0
1557.08/1557.52	c 1557s |      25 |  7544741 |  7354598 |     1942   9030 |        0 |        0
1559.08/1559.54	c 1559s |      25 |  7554542 |  7364198 |     1942   9039 |        0 |        0
1561.08/1561.54	c 1561s |      25 |  7563919 |  7373398 |     1942   9048 |        0 |        0
1563.08/1563.55	c 1563s |      25 |  7573258 |  7382598 |     1942   9058 |        0 |        0
1565.08/1565.57	c 1565s |      25 |  7582727 |  7391798 |     1942   9067 |        0 |        0
1567.09/1567.58	c 1567s |      25 |  7591942 |  7400798 |     1942   9076 |        0 |        0
1569.18/1569.60	c 1569s |      25 |  7601232 |  7409898 |     1942   9085 |        0 |        0
1571.18/1571.62	c 1571s |      25 |  7610369 |  7418798 |     1942   9093 |        0 |        0
1573.19/1573.64	c 1573s |      25 |  7619808 |  7427998 |     1942   9103 |        0 |        0
1575.19/1575.66	c 1575s |      25 |  7629122 |  7437098 |     1942   9112 |        0 |        0
1577.19/1577.68	c 1577s |      25 |  7638424 |  7446198 |     1942   9121 |        0 |        0
1579.19/1579.69	c 1579s |      25 |  7647640 |  7455198 |     1942   9130 |        0 |        0
1581.28/1581.70	c 1581s |      25 |  7656996 |  7464298 |     1942   9139 |        0 |        0
1583.28/1583.71	c 1583s |      25 |  7666500 |  7473598 |     1942   9148 |        0 |        0
1585.28/1585.72	c 1585s |      25 |  7675807 |  7482698 |     1942   9157 |        0 |        0
1587.28/1587.74	c 1587s |      25 |  7685258 |  7491998 |     1942   9166 |        0 |        0
1589.28/1589.76	c 1589s |      25 |  7694850 |  7501298 |     1942   9175 |        0 |        0
1591.29/1591.78	c 1591s |      25 |  7704141 |  7510398 |     1942   9184 |        0 |        0
1593.28/1593.78	c 1593s |      25 |  7713345 |  7519398 |     1942   9193 |        0 |        0
1595.28/1595.79	c 1595s |      25 |  7722470 |  7528298 |     1942   9202 |        0 |        0
1597.38/1597.80	c 1597s |      25 |  7731844 |  7537398 |     1942   9211 |        0 |        0
1599.38/1599.81	c 1599s |      25 |  7740974 |  7546298 |     2137   9219 |        0 |        0
1601.38/1601.82	c 1601s |      25 |  7749990 |  7555098 |     2137   9227 |        0 |        0
1603.38/1603.84	c 1603s |      25 |  7759050 |  7563898 |     2137   9235 |        0 |        0
1605.38/1605.84	c 1605s |      25 |  7768240 |  7572798 |     2137   9243 |        0 |        0
1607.38/1607.85	c 1607s |      25 |  7777522 |  7581898 |     2137   9252 |        0 |        0
1609.38/1609.85	c 1609s |      25 |  7786487 |  7590698 |     2137   9259 |        0 |        0
1610.98/1611.46	c 1611s |      26 |  7793658 |  7597752 |     2137   9266 |        0 |        0
1612.97/1613.47	c 1613s |      26 |  7803451 |  7607252 |     2137   9274 |        0 |        0
1614.97/1615.47	c 1615s |      26 |  7813018 |  7616652 |     2137   9283 |        0 |        0
1616.97/1617.47	c 1617s |      26 |  7822245 |  7625652 |     2137   9291 |        0 |        0
1618.97/1619.48	c 1619s |      26 |  7831748 |  7634852 |     2137   9299 |        0 |        0
1620.98/1621.49	c 1621s |      26 |  7841007 |  7643952 |     2137   9308 |        0 |        0
1623.07/1623.51	c 1623s |      26 |  7850359 |  7653152 |     2137   9316 |        0 |        0
1625.07/1625.53	c 1625s |      26 |  7859885 |  7662452 |     2137   9324 |        0 |        0
1627.07/1627.54	c 1627s |      26 |  7869029 |  7671252 |     2137   9332 |        0 |        0
1629.07/1629.56	c 1629s |      26 |  7878243 |  7680352 |     2137   9340 |        0 |        0
1631.07/1631.57	c 1631s |      26 |  7887506 |  7689452 |     2137   9349 |        0 |        0
1633.08/1633.59	c 1633s |      26 |  7896440 |  7698152 |     2137   9356 |        0 |        0
1635.07/1635.59	c 1635s |      26 |  7905692 |  7707252 |     2137   9365 |        0 |        0
1637.18/1637.60	c 1637s |      26 |  7914903 |  7716252 |     2137   9373 |        0 |        0
1639.18/1639.60	c 1639s |      26 |  7924290 |  7725452 |     2137   9381 |        0 |        0
1641.18/1641.60	c 1641s |      26 |  7933491 |  7734452 |     2137   9389 |        0 |        0
1643.18/1643.60	c 1643s |      26 |  7942649 |  7743352 |     2137   9397 |        0 |        0
1645.18/1645.60	c 1645s |      26 |  7951537 |  7751952 |     2137   9405 |        0 |        0
1647.17/1647.62	c 1647s |      26 |  7960775 |  7760952 |     2137   9413 |        0 |        0
1649.17/1649.64	c 1649s |      26 |  7970179 |  7769652 |     2137   9421 |        0 |        0
1651.17/1651.64	c 1651s |      26 |  7978814 |  7777952 |     2137   9429 |        0 |        0
1653.17/1653.66	c 1653s |      26 |  7987767 |  7786552 |     2137   9436 |        0 |        0
1655.18/1655.66	c 1655s |      26 |  7996847 |  7795452 |     2137   9444 |        0 |        0
1657.17/1657.68	c 1657s |      26 |  8006120 |  7804452 |     2137   9453 |        0 |        0
1659.17/1659.69	c 1659s |      26 |  8015421 |  7813452 |     2137   9461 |        0 |        0
1661.27/1661.70	c 1661s |      26 |  8024469 |  7822252 |     2137   9469 |        0 |        0
1663.27/1663.72	c 1663s |      26 |  8034299 |  7831852 |     2137   9477 |        0 |        0
1665.27/1665.73	c 1665s |      26 |  8043892 |  7841152 |     2137   9486 |        0 |        0
1667.28/1667.75	c 1667s |      26 |  8053203 |  7850252 |     2137   9494 |        0 |        0
1669.27/1669.76	c 1669s |      26 |  8062443 |  7859352 |     2137   9502 |        0 |        0
1671.27/1671.77	c 1671s |      26 |  8071666 |  7868352 |     2137   9510 |        0 |        0
1673.27/1673.79	c 1673s |      26 |  8080910 |  7877352 |     2137   9518 |        0 |        0
1675.37/1675.80	c 1675s |      26 |  8089965 |  7886252 |     2137   9526 |        0 |        0
1677.37/1677.80	c 1677s |      26 |  8099141 |  7895152 |     2137   9534 |        0 |        0
1679.37/1679.82	c 1679s |      26 |  8108298 |  7904052 |     2137   9542 |        0 |        0
1681.37/1681.82	c 1681s |      26 |  8117088 |  7912552 |     2137   9550 |        0 |        0
1683.37/1683.83	c 1683s |      26 |  8126035 |  7921252 |     2137   9558 |        0 |        0
1685.36/1685.84	c 1685s |      26 |  8135494 |  7930552 |     2137   9566 |        0 |        0
1687.36/1687.84	c 1687s |      26 |  8144868 |  7939752 |     2137   9575 |        0 |        0
1689.36/1689.85	c 1689s |      26 |  8154086 |  7948852 |     2137   9583 |        0 |        0
1691.37/1691.85	c 1691s |      26 |  8163233 |  7957852 |     2137   9591 |        0 |        0
1693.36/1693.86	c 1693s |      26 |  8172276 |  7966752 |     2137   9599 |        0 |        0
1695.36/1695.86	c 1695s |      26 |  8181544 |  7975752 |     2137   9607 |        0 |        0
1697.36/1697.87	c 1697s |      26 |  8190634 |  7984652 |     2137   9615 |        0 |        0
1699.36/1699.87	c 1699s |      26 |  8199740 |  7993552 |     2137   9623 |        0 |        0
1701.37/1701.88	c 1701s |      26 |  8208784 |  8002452 |     2137   9631 |        0 |        0
1703.37/1703.89	c 1703s |      26 |  8218250 |  8011752 |     2137   9640 |        0 |        0
1705.47/1705.90	c 1705s |      26 |  8227309 |  8020652 |     2137   9648 |        0 |        0
1707.47/1707.91	c 1707s |      26 |  8236486 |  8029652 |     2137   9656 |        0 |        0
1709.47/1709.93	c 1709s |      26 |  8245728 |  8038652 |     2137   9664 |        0 |        0
1711.47/1711.94	c 1711s |      26 |  8254953 |  8047652 |     2137   9672 |        0 |        0
1713.47/1713.94	c 1713s |      26 |  8263787 |  8056252 |     2137   9680 |        0 |        0
1715.46/1715.95	c 1715s |      26 |  8273078 |  8065252 |     2137   9688 |        0 |        0
1717.46/1717.96	c 1717s |      26 |  8282085 |  8074052 |     2137   9696 |        0 |        0
1719.46/1719.96	c 1719s |      26 |  8290926 |  8082752 |     2137   9704 |        0 |        0
1721.46/1721.98	c 1721s |      26 |  8300050 |  8091652 |     2137   9712 |        0 |        0
1723.56/1724.00	c 1723s |      26 |  8309404 |  8100752 |     2137   9720 |        0 |        0
1725.57/1726.01	c 1725s |      26 |  8318557 |  8109652 |     2137   9728 |        0 |        0
1727.56/1728.01	c 1727s |      26 |  8327445 |  8118252 |     2137   9736 |        0 |        0
1729.56/1730.03	c 1730s |      26 |  8336809 |  8127352 |     2137   9744 |        0 |        0
1731.56/1732.04	c 1732s |      26 |  8346203 |  8136552 |     2137   9752 |        0 |        0
1733.56/1734.05	c 1734s |      26 |  8355559 |  8145552 |     2137   9760 |        0 |        0
1735.56/1736.06	c 1736s |      26 |  8364913 |  8154752 |     2137   9769 |        0 |        0
1737.57/1738.06	c 1738s |      26 |  8374377 |  8163852 |     2137   9777 |        0 |        0
1739.56/1740.08	c 1740s |      26 |  8383634 |  8172952 |     2137   9785 |        0 |        0
1741.56/1742.08	c 1742s |      26 |  8392841 |  8181952 |     2137   9793 |        0 |        0
1743.56/1744.08	c 1744s |      26 |  8402050 |  8190952 |     2137   9801 |        0 |        0
1745.56/1746.09	c 1746s |      26 |  8411144 |  8199752 |     2137   9809 |        0 |        0
1747.66/1748.10	c 1748s |      26 |  8420351 |  8208752 |     2137   9818 |        0 |        0
1749.66/1750.12	c 1750s |      26 |  8429542 |  8217752 |     2137   9826 |        0 |        0
1751.66/1752.12	c 1752s |      26 |  8438389 |  8226352 |     2137   9833 |        0 |        0
1753.66/1754.13	c 1754s |      26 |  8447376 |  8235052 |     2137   9841 |        0 |        0
1755.65/1756.15	c 1756s |      26 |  8456446 |  8243852 |     2137   9849 |        0 |        0
1757.65/1758.17	c 1758s |      26 |  8465612 |  8252652 |     2137   9857 |        0 |        0
1759.66/1760.19	c 1760s |      26 |  8474545 |  8261352 |     2137   9865 |        0 |        0
1761.76/1762.21	c 1762s |      26 |  8483415 |  8269952 |     2137   9873 |        0 |        0
1763.75/1764.21	c 1764s |      26 |  8492430 |  8278552 |     2137   9881 |        0 |        0
1765.75/1766.21	c 1766s |      26 |  8501390 |  8287052 |     2137   9888 |        0 |        0
1767.75/1768.24	c 1768s |      26 |  8510725 |  8296152 |     2137   9897 |        0 |        0
1769.75/1770.26	c 1770s |      26 |  8520152 |  8305352 |     2137   9905 |        0 |        0
1771.76/1772.27	c 1772s |      26 |  8529375 |  8314352 |     2137   9913 |        0 |        0
1773.75/1774.28	c 1774s |      26 |  8538446 |  8323152 |     2137   9921 |        0 |        0
1775.75/1776.29	c 1776s |      26 |  8547467 |  8331952 |     2137   9929 |        0 |        0
1777.85/1778.30	c 1778s |      26 |  8556684 |  8340852 |     2137   9937 |        0 |        0
1779.85/1780.32	c 1780s |      26 |  8565517 |  8349452 |     2137   9945 |        0 |        0
1781.85/1782.32	c 1782s |      26 |  8574661 |  8358352 |     2137   9953 |        0 |        0
1783.86/1784.35	c 1784s |      26 |  8583800 |  8367152 |     2137   9961 |        0 |        0
1785.85/1786.36	c 1786s |      26 |  8592822 |  8375952 |     2137   9969 |        0 |        0
1787.85/1788.38	c 1788s |      26 |  8601993 |  8384852 |     2137   9977 |        0 |        0
1789.85/1790.38	c 1790s |      26 |  8610956 |  8393552 |     2137   9984 |        0 |        0
1791.95/1792.41	c 1792s |      26 |  8620201 |  8402552 |     2137   9993 |        0 |        0
1793.95/1794.42	c 1794s |      26 |  8629273 |  8411352 |     2137  10000 |        0 |        0
1795.95/1796.43	c 1796s |      26 |  8638147 |  8420052 |     2137  10008 |        0 |        0
1797.95/1798.45	c 1798s |      26 |  8646762 |  8428452 |     2137  10016 |        0 |        0
1799.95/1800.48	c 1800s |      26 |  8656720 |  8438052 |     2137  10025 |        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-4089141-1466021935/watcher-4089141-1466021935 -o /tmp/evaluation-result-4089141-1466021935/solver-4089141-1466021935 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089141-1466021935.opb 

pid=7141
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.08 2.06 2.04 3/179 7144
/proc/meminfo: memFree=30424564/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=373180 CPUtime=0 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 1331 0 0 0 0 0 0 0 20 0 4 0 4243674 382136320 1181 33554432000 4194304 16246674 140736971077072 140736971076496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 93807 1191 441 2943 0 90701 0
[pid=7144/tid=7145] ppid=7141 vsize=388540 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 397864960 1243 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=392636 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 402059264 1258 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=396732 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4243675 406253568 1275 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.08 2.06 2.04 3/179 7144
/proc/meminfo: memFree=30424564/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 28840 0 0 0 4 4 0 0 20 0 4 0 4243674 1247350784 28679 33554432000 4194304 16246674 140736971077072 140736971076496 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 304529 28688 711 2943 0 301423 0
[pid=7144/tid=7145] ppid=7141 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1247350784 28693 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1247350784 28704 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4243675 1247350784 28714 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200529 s]
/proc/loadavg: 2.08 2.06 2.04 3/179 7144
/proc/meminfo: memFree=30424564/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 57870 0 0 0 10 8 0 0 20 0 4 0 4243674 1247350784 57708 33554432000 4194304 16246674 140736971077072 140736971076496 6024617 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 304529 57722 711 2943 0 301423 0
[pid=7144/tid=7145] ppid=7141 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1247350784 57732 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1247350784 57743 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4243675 1247350784 57755 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300483 s]
/proc/loadavg: 2.08 2.06 2.04 3/179 7144
/proc/meminfo: memFree=30424564/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 86881 0 0 0 17 12 0 0 20 0 4 0 4243674 1247350784 86719 33554432000 4194304 16246674 140736971077072 140736971076496 5589389 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 304529 86738 711 2943 0 301423 0
[pid=7144/tid=7145] ppid=7141 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1247350784 86749 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1247350784 86761 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4243675 1247350784 86772 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70043 s]
/proc/loadavg: 2.08 2.06 2.04 3/179 7144
/proc/meminfo: memFree=30424564/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 205367 0 0 0 41 28 0 0 20 0 4 0 4243674 1247350784 205206 33554432000 4194304 16246674 140736971077072 140736971076496 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 304529 205223 711 2943 0 301423 0
[pid=7144/tid=7145] ppid=7141 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1247350784 205233 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1247350784 205241 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4243675 1247350784 205245 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.08 2.06 2.04 3/183 7148
/proc/meminfo: memFree=29443700/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 267163 0 0 0 112 37 0 0 20 0 4 0 4243674 1336479744 266981 33554432000 4194304 16246674 140736971077072 140736971058944 5721708 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 326289 266981 788 2943 0 323183 0
[pid=7144/tid=7145] ppid=7141 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1336479744 266981 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1336479744 266981 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1336479744 266981 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10039 s]
/proc/loadavg: 2.08 2.05 2.04 3/183 7148
/proc/meminfo: memFree=29355908/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 267571 0 0 0 272 37 0 0 20 0 4 0 4243674 1337528320 267389 33554432000 4194304 16246674 140736971077072 140736971058944 5546072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 326545 267389 788 2943 0 323439 0
[pid=7144/tid=7145] ppid=7141 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1337528320 267389 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1337528320 267389 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1337528320 267389 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.08 2.05 2.04 3/183 7148
/proc/meminfo: memFree=29355608/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 267573 0 0 0 592 37 0 0 20 0 4 0 4243674 1337528320 267391 33554432000 4194304 16246674 140736971077072 140736971058944 5721725 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 326545 267391 789 2943 0 323439 0
[pid=7144/tid=7145] ppid=7141 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1337528320 267391 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1337528320 267391 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1337528320 267391 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.06 2.05 2.04 3/183 7148
/proc/meminfo: memFree=29355656/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 267576 0 0 0 1232 37 0 0 20 0 4 0 4243674 1337528320 267394 33554432000 4194304 16246674 140736971077072 140736971060072 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 326545 267394 791 2943 0 323439 0
[pid=7144/tid=7145] ppid=7141 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1337528320 267394 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1337528320 267394 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1337528320 267394 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.05 2.05 2.04 3/183 7148
/proc/meminfo: memFree=29354968/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 267832 0 0 0 2511 37 0 0 20 0 4 0 4243674 1338576896 267650 33554432000 4194304 16246674 140736971077072 140736971060072 5546219 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 326801 267650 791 2943 0 323695 0
[pid=7144/tid=7145] ppid=7141 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1338576896 267650 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1338576896 267650 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1338576896 267650 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.03 2.05 2.04 3/183 7148
/proc/meminfo: memFree=29354976/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 267832 0 0 0 5070 38 0 0 20 0 4 0 4243674 1338576896 267650 33554432000 4194304 16246674 140736971077072 140736971058944 5723409 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 326801 267650 791 2943 0 323695 0
[pid=7144/tid=7145] ppid=7141 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1338576896 267650 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1338576896 267650 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1338576896 267650 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.06 2.05 2.04 3/184 7152
/proc/meminfo: memFree=29354508/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 267833 0 0 0 10189 38 0 0 20 0 4 0 4243674 1338576896 267651 33554432000 4194304 16246674 140736971077072 140736971058944 4220520 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 326801 267651 792 2943 0 323695 0
[pid=7144/tid=7145] ppid=7141 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1338576896 267651 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1338576896 267651 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1338576896 267651 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1343819776 269188 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.16 2.10 2.02 3/183 7232
/proc/meminfo: memFree=29341716/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1316420 CPUtime=1361.91 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 270501 0 0 0 136138 53 0 0 20 0 4 0 4243674 1348014080 270212 33554432000 4194304 16246674 140736971077072 140736971058944 5822488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 329105 270212 793 2943 0 325999 0
[pid=7144/tid=7145] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/183 7234
/proc/meminfo: memFree=29341568/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1316420 CPUtime=1421.92 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 270501 0 0 0 142138 54 0 0 20 0 4 0 4243674 1348014080 270212 33554432000 4194304 16246674 140736971077072 140736971058944 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 329105 270212 793 2943 0 325999 0
[pid=7144/tid=7145] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.27 2.14 2.04 3/183 7235
/proc/meminfo: memFree=29341348/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1316420 CPUtime=1481.89 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 270501 0 0 0 148135 54 0 0 20 0 4 0 4243674 1348014080 270212 33554432000 4194304 16246674 140736971077072 140736971058944 12483303 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 329105 270212 793 2943 0 325999 0
[pid=7144/tid=7145] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.21 2.14 2.04 3/183 7236
/proc/meminfo: memFree=29339508/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1316420 CPUtime=1541.89 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 270501 0 0 0 154134 55 0 0 20 0 4 0 4243674 1348014080 270212 33554432000 4194304 16246674 140736971077072 140736971058944 5722652 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 329105 270212 793 2943 0 325999 0
[pid=7144/tid=7145] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.16 2.14 2.05 3/183 7237
/proc/meminfo: memFree=29340048/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1316420 CPUtime=1601.88 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 270501 0 0 0 160132 56 0 0 20 0 4 0 4243674 1348014080 270212 33554432000 4194304 16246674 140736971077072 140736971060072 5545876 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 329105 270212 793 2943 0 325999 0
[pid=7144/tid=7145] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.11 2.12 2.05 3/183 7238
/proc/meminfo: memFree=29339924/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1316420 CPUtime=1661.87 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 270501 0 0 0 166130 57 0 0 20 0 4 0 4243674 1348014080 270212 33554432000 4194304 16246674 140736971077072 140736971060072 5823877 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 329105 270212 793 2943 0 325999 0
[pid=7144/tid=7145] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.15 2.13 2.05 3/183 7240
/proc/meminfo: memFree=29339548/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1316420 CPUtime=1721.86 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 270501 0 0 0 172128 58 0 0 20 0 4 0 4243674 1348014080 270212 33554432000 4194304 16246674 140736971077072 140736971060072 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 329105 270212 793 2943 0 325999 0
[pid=7144/tid=7145] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.24 2.16 2.07 3/183 7241
/proc/meminfo: memFree=29339424/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1316420 CPUtime=1781.85 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 270501 0 0 0 178127 58 0 0 20 0 4 0 4243674 1348014080 270212 33554432000 4194304 16246674 140736971077072 140736971058944 5667620 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 329105 270212 793 2943 0 325999 0
[pid=7144/tid=7145] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.17 2.15 2.06 4/183 7241
/proc/meminfo: memFree=29339556/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1316420 CPUtime=1800.05 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 270501 0 0 0 179947 58 0 0 20 0 4 0 4243674 1348014080 270212 33554432000 4194304 16246674 140736971077072 140736971058944 12483230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 329105 270212 793 2943 0 325999 0
[pid=7144/tid=7145] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1316420

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

[startup+1800.5 s]
/proc/loadavg: 2.17 2.15 2.06 4/183 7241
/proc/meminfo: memFree=29339556/32872528 swapFree=524788/557492
[pid=7144] ppid=7141 vsize=1316420 CPUtime=1800.05 cores=0,2,4,6
/proc/7144/stat : 7144 (toysat) R 7141 7144 5756 0 -1 4202496 270501 0 0 0 179947 58 0 0 20 0 4 0 4243674 1348014080 270212 33554432000 4194304 16246674 140736971077072 140736971058944 12483230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7144/statm: 329105 270212 793 2943 0 325999 0
[pid=7144/tid=7145] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7145/stat : 7145 (toysat) S 7141 7144 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505613577456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7144/tid=7146] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7146/stat : 7146 (toysat) S 7141 7144 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505603087600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7144/tid=7147] ppid=7141 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/7144/task/7147/stat : 7147 (toysat) S 7141 7144 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4243675 1348014080 270212 33554432000 4194304 16246674 140736971077072 140505592614064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1316420

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.48
CPU system time (s): 0.58691
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.58691
maximum resident set size= 1080848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270501
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= 376
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5773 second user time and 6.93694 second system time

The end

Begin job on node106 at 2016-06-15 22:18:55
IDJOB=4089141
IDBENCH=107364
IDSOLVER=2542
FILE ID=node106/4089141-1466021935
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 7e8792a109a70b6c079be243653b2692
RANDOM SEED=1079967991

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30425108 kB
Buffers:           24280 kB
Cached:            73896 kB
SwapCached:         1480 kB
Active:          1147448 kB
Inactive:          31624 kB
Active(anon):    1082100 kB
Inactive(anon):     1188 kB
Active(file):      65348 kB
Inactive(file):    30436 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       1637624 kB
Mapped:            10536 kB
Shmem:                 0 kB
Slab:             577032 kB
SReclaimable:      20764 kB
SUnreclaim:       556268 kB
KernelStack:        1456 kB
PageTables:         7376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1781868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1105920 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= 71708 MiB
End job on node106 at 2016-06-15 22:48:56