0.00/0.00	c 2016-06-15T21:34:15+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-4088945-1466019255.opb"]
0.00/0.01	c use --random-gen="3332920633 24496204 849752659 3892146539 3823580613 3174676430 1059383259 1573537495 1063286778 2236072624 1924720459 3764739597 9176461 124797824 1653195538 1189173761 1431208807 74336234 2115202619 424239308 411709831 1455031965 2324842760 2944139567 2628823408 670438998 2627794594 2489943669 562303880 2861623681 1762110728 2519343630 1495590414 1120486891 3777302739 1969601552 1239505715 303656111 811048081 368834893 4054891603 2678043350 298602897 1601901142 4081503056 721337378 2307478224 2185796481 1986426287 3216733793 2518371578 3581425015 2027530450 2565086623 3391835683 36051001 1175499305 1741908547 2396706969 1443974433 2956635984 1937822953 4045425943 2489358361 912613676 2118728853 4286401895 4071657521 749486431 2963837954 1697666237 2363444202 2355819278 2907007825 765074123 3293418178 359800763 1260333832 1703532803 2463450097 2701059209 2699744397 2551089301 3484700158 19803246 1557766302 4252649724 2057201794 244005012 3796070691 546107270 2581883702 108275316 497471039 1693299872 3381286371 2047350534 3136081371 4161855248 3781979401 3837836499 809869335 3526025568 3882650659 4058905060 4268680510 2158110319 371147397 2432907957 677677614 4037137862 2343325696 3803890911 3329327 2535959195 2955412452 487933164 2237631945 2969348239 842611171 4120989827 3818043024 4120625760 3949611320 415530672 1419889995 2562551308 504236889 588007996 3208811033 1176349843 2656940509 1673716134 785521277 1181419887 1562794095 2045794970 3767706932 2847658415 2048197964 3902058432 1247441030 3907057567 566285878 78202403 1340362389 2093065262 205471555 3341868488 1304320456 89019395 4158722554 1786509894 93552124 1066303160 1178921261 2388661923 2261396978 1280688122 1575652967 1858388152 3247501934 3082054422 4189579966 4143842159 3458746922 971428995 4074215578 3515274606 1245152565 1278356620 4125408637 2184702262 546262927 4240319862 2614368555 3487316591 2835543283 2222928949 4065936373 3197834652 1937637952 1118432256 2645041832 2182993520 3034047198 843426132 1080617023 3492047214 258881461 4064487034 1541063610 3501925590 590391980 3672021168 2565263251 2274778080 4261947844 744257454 1590531834 4289603110 3234362577 3680643386 3880555460 4081280038 2178351272 1651144611 783804877 159180969 3552822087 1585656134 3264150805 2276830741 924959903 2875852226 306837634 226700222 2452410292 2742407321 443830159 3664061393 2589492041 4073477539 4003025051 1088155648 4221054393 1222229659 504612444 3001251966 61182217 4250540995 599873237 846562563 2797471951 2100392988 2962305591 3954926619 3747639619 2418263124 2847812730 807353683 899113481 372030282 657648369 2679427506 1840812775 66899714 852934122 2638196897 2904677463 944375021 4055356199 821350960 3272742000 1409100521 1122652580 255 362436" option to reproduce the execution
0.00/0.01	c #vars 162
0.00/0.01	c #constraints 325
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 |      162      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      175 |      100 |      162      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      400 |      250 |      179      0 |        0 |        0
0.08/0.10	c  0.1s |       3 |      696 |      475 |      197      2 |        0 |        0
0.08/0.18	c  0.2s |       4 |     1106 |      813 |      217      4 |        0 |        0
0.29/0.30	c  0.3s |       5 |     1694 |     1320 |      239      8 |        0 |        0
0.39/0.48	c  0.5s |       6 |     2530 |     2081 |      290     12 |        0 |        0
0.68/0.76	c  0.7s |       7 |     3744 |     3223 |      319     18 |        0 |        0
0.99/1.05	c  1.0s |       8 |     5543 |     4936 |      351     27 |        0 |        0
1.39/1.46	c  1.4s |       9 |     8213 |     7506 |      387     39 |        0 |        0
1.99/2.06	c  2.0s |      10 |    12197 |    11361 |      426     55 |        0 |        0
2.89/2.99	c  3.0s |      11 |    18119 |    17144 |      469     78 |        0 |        0
4.29/4.37	c  4.4s |      12 |    26976 |    25819 |      516    110 |        0 |        0
6.29/6.38	c  6.4s |      12 |    39702 |    38319 |      516    153 |        0 |        0
6.39/6.47	c  6.5s |      13 |    40220 |    38832 |      568    155 |        0 |        0
8.38/8.48	c  8.5s |      13 |    52827 |    51132 |      568    193 |        0 |        0
9.58/9.67	c  9.6s |      14 |    60179 |    58352 |      625    215 |        0 |        0
11.58/11.67	c 11.7s |      14 |    72361 |    70152 |      625    249 |        0 |        0
13.58/13.67	c 13.7s |      14 |    84251 |    81752 |      625    282 |        0 |        0
14.58/14.69	c 14.7s |      15 |    90368 |    87632 |      688    299 |        0 |        0
16.59/16.70	c 16.7s |      15 |   102639 |    99532 |      688    330 |        0 |        0
18.69/18.70	c 18.7s |      15 |   114681 |   111232 |      688    361 |        0 |        0
20.68/20.72	c 20.7s |      15 |   126736 |   122932 |      688    392 |        0 |        0
22.18/22.22	c 22.2s |      16 |   135695 |   131552 |      757    415 |        0 |        0
24.19/24.22	c 24.2s |      16 |   147549 |   142952 |      757    442 |        0 |        0
26.18/26.23	c 26.2s |      16 |   159181 |   154252 |      757    470 |        0 |        0
28.18/28.24	c 28.2s |      16 |   170819 |   165452 |      757    497 |        0 |        0
30.18/30.25	c 30.2s |      16 |   182033 |   176352 |      757    523 |        0 |        0
32.18/32.26	c 32.2s |      16 |   194223 |   188152 |      757    551 |        0 |        0
33.88/33.90	c 33.9s |      17 |   204029 |   197432 |      833    574 |        0 |        0
35.88/35.91	c 35.9s |      17 |   216179 |   208932 |      833    599 |        0 |        0
37.88/37.93	c 37.9s |      17 |   227992 |   220232 |      833    624 |        0 |        0
39.88/39.93	c 39.9s |      17 |   239840 |   231732 |      833    649 |        0 |        0
41.88/41.93	c 41.9s |      17 |   251643 |   242732 |      833    674 |        0 |        0
43.88/43.94	c 43.9s |      17 |   263391 |   253932 |      833    699 |        0 |        0
45.88/45.95	c 45.9s |      17 |   274971 |   265032 |      833    723 |        0 |        0
47.88/47.96	c 47.9s |      17 |   286626 |   276232 |      833    748 |        0 |        0
49.88/49.96	c 49.9s |      17 |   298328 |   287332 |      833    773 |        0 |        0
51.58/51.62	c 51.6s |      18 |   307612 |   296252 |      917    792 |        0 |        0
53.58/53.62	c 53.6s |      18 |   318995 |   307352 |      917    814 |        0 |        0
55.58/55.62	c 55.6s |      18 |   330129 |   318152 |      917    836 |        0 |        0
57.58/57.64	c 57.6s |      18 |   341600 |   329352 |      917    859 |        0 |        0
59.58/59.65	c 59.6s |      18 |   352877 |   340252 |      917    881 |        0 |        0
61.59/61.67	c 61.7s |      18 |   364115 |   351252 |      917    903 |        0 |        0
63.58/63.68	c 63.7s |      18 |   375216 |   362052 |      917    925 |        0 |        0
65.58/65.68	c 65.7s |      18 |   386377 |   372852 |      917    947 |        0 |        0
67.68/67.70	c 67.7s |      18 |   397873 |   383852 |      917    970 |        0 |        0
69.68/69.72	c 69.7s |      18 |   408987 |   394552 |      917    991 |        0 |        0
71.68/71.73	c 71.7s |      18 |   420170 |   405352 |      917   1013 |        0 |        0
73.68/73.75	c 73.7s |      18 |   431777 |   416352 |      917   1036 |        0 |        0
75.68/75.77	c 75.7s |      18 |   443320 |   427252 |      917   1058 |        0 |        0
77.67/77.78	c 77.8s |      18 |   454668 |   437952 |      917   1079 |        0 |        0
78.87/78.99	c 79.0s |      19 |   461439 |   444482 |     1009   1092 |        0 |        0
80.97/81.01	c 81.0s |      19 |   473052 |   455682 |     1009   1113 |        0 |        0
82.97/83.01	c 83.0s |      19 |   484565 |   466382 |     1009   1133 |        0 |        0
84.98/85.03	c 85.0s |      19 |   496063 |   477382 |     1009   1153 |        0 |        0
86.99/87.04	c 87.0s |      19 |   507374 |   488282 |     1009   1173 |        0 |        0
88.98/89.05	c 89.0s |      19 |   518853 |   499182 |     1009   1193 |        0 |        0
90.98/91.06	c 91.0s |      19 |   530082 |   509882 |     1009   1213 |        0 |        0
92.98/93.07	c 93.1s |      19 |   541559 |   520782 |     1009   1233 |        0 |        0
94.98/95.08	c 95.1s |      19 |   552996 |   531382 |     1009   1253 |        0 |        0
96.98/97.09	c 97.1s |      19 |   564049 |   541982 |     1009   1273 |        0 |        0
99.08/99.10	c 99.1s |      19 |   574912 |   552382 |     1009   1292 |        0 |        0
101.08/101.10	c  101s |      19 |   585974 |   562982 |     1009   1312 |        0 |        0
103.07/103.12	c  103s |      19 |   597024 |   573682 |     1009   1332 |        0 |        0
105.07/105.13	c  105s |      19 |   608238 |   584282 |     1009   1351 |        0 |        0
107.07/107.13	c  107s |      19 |   619193 |   594682 |     1009   1371 |        0 |        0
109.07/109.13	c  109s |      19 |   630054 |   605282 |     1009   1390 |        0 |        0
111.08/111.15	c  111s |      19 |   641326 |   616082 |     1009   1410 |        0 |        0
113.07/113.16	c  113s |      19 |   652648 |   626682 |     1009   1430 |        0 |        0
115.07/115.17	c  115s |      19 |   664090 |   636782 |     1009   1449 |        0 |        0
117.07/117.17	c  117s |      19 |   675058 |   647082 |     1009   1468 |        0 |        0
119.07/119.19	c  119s |      19 |   686110 |   657282 |     1009   1487 |        0 |        0
120.97/121.10	c  121s |      20 |   696146 |   666827 |     1110   1504 |        0 |        0
123.07/123.11	c  123s |      20 |   707580 |   677827 |     1110   1522 |        0 |        0
125.07/125.13	c  125s |      20 |   718964 |   688727 |     1110   1541 |        0 |        0
127.07/127.14	c  127s |      20 |   729947 |   699227 |     1110   1558 |        0 |        0
129.07/129.14	c  129s |      20 |   740646 |   709527 |     1110   1576 |        0 |        0
131.07/131.14	c  131s |      20 |   751580 |   720027 |     1110   1594 |        0 |        0
133.07/133.15	c  133s |      20 |   762613 |   730627 |     1110   1612 |        0 |        0
135.06/135.15	c  135s |      20 |   773510 |   741127 |     1110   1630 |        0 |        0
137.07/137.16	c  137s |      20 |   784459 |   751627 |     1110   1647 |        0 |        0
139.06/139.18	c  139s |      20 |   795039 |   761827 |     1110   1665 |        0 |        0
141.06/141.18	c  141s |      20 |   806086 |   772427 |     1110   1683 |        0 |        0
143.07/143.18	c  143s |      20 |   816761 |   782727 |     1110   1700 |        0 |        0
145.06/145.18	c  145s |      20 |   827330 |   792827 |     1110   1717 |        0 |        0
147.06/147.19	c  147s |      20 |   838377 |   803427 |     1110   1735 |        0 |        0
149.06/149.20	c  149s |      20 |   849404 |   813827 |     1110   1753 |        0 |        0
151.16/151.21	c  151s |      20 |   860321 |   824327 |     1110   1771 |        0 |        0
153.16/153.22	c  153s |      20 |   870923 |   834627 |     1110   1788 |        0 |        0
155.18/155.22	c  155s |      20 |   881568 |   844927 |     1110   1806 |        0 |        0
157.17/157.22	c  157s |      20 |   892123 |   855027 |     1110   1823 |        0 |        0
159.17/159.23	c  159s |      20 |   902622 |   865227 |     1110   1840 |        0 |        0
161.17/161.24	c  161s |      20 |   913437 |   875727 |     1110   1858 |        0 |        0
163.17/163.26	c  163s |      20 |   924434 |   886427 |     1110   1876 |        0 |        0
165.17/165.27	c  165s |      20 |   935366 |   897127 |     1110   1894 |        0 |        0
167.17/167.28	c  167s |      20 |   946176 |   907627 |     1110   1912 |        0 |        0
169.16/169.29	c  169s |      20 |   957232 |   918227 |     1110   1930 |        0 |        0
171.16/171.29	c  171s |      20 |   967825 |   928527 |     1110   1948 |        0 |        0
173.26/173.30	c  173s |      20 |   978579 |   938927 |     1110   1965 |        0 |        0
175.26/175.32	c  175s |      20 |   989454 |   949427 |     1110   1983 |        0 |        0
177.26/177.33	c  177s |      20 |   999973 |   959627 |     1110   2001 |        0 |        0
179.26/179.34	c  179s |      20 |  1010727 |   969727 |     1110   2018 |        0 |        0
181.26/181.35	c  181s |      20 |  1021333 |   979727 |     1110   2035 |        0 |        0
183.27/183.36	c  183s |      20 |  1031962 |   989927 |     1110   2052 |        0 |        0
185.26/185.38	c  185s |      20 |  1042299 |   999527 |     1221   2068 |        0 |        0
185.46/185.54	c  185s |      21 |  1043138 |  1000345 |     1221   2069 |        0 |        0
187.46/187.55	c  187s |      21 |  1054751 |  1011245 |     1221   2086 |        0 |        0
189.46/189.57	c  189s |      21 |  1065991 |  1021945 |     1221   2102 |        0 |        0
191.47/191.58	c  191s |      21 |  1076997 |  1032445 |     1221   2118 |        0 |        0
193.46/193.59	c  193s |      21 |  1088086 |  1042845 |     1221   2135 |        0 |        0
195.56/195.60	c  195s |      21 |  1098736 |  1053045 |     1221   2150 |        0 |        0
197.56/197.61	c  197s |      21 |  1109420 |  1063345 |     1221   2166 |        0 |        0
199.56/199.62	c  199s |      21 |  1119882 |  1073445 |     1221   2182 |        0 |        0
201.56/201.63	c  201s |      21 |  1130384 |  1083545 |     1221   2198 |        0 |        0
203.57/203.63	c  203s |      21 |  1140672 |  1093445 |     1221   2213 |        0 |        0
205.56/205.64	c  205s |      21 |  1151108 |  1103345 |     1221   2228 |        0 |        0
207.56/207.65	c  207s |      21 |  1161694 |  1113545 |     1221   2244 |        0 |        0
209.56/209.65	c  209s |      21 |  1172028 |  1123445 |     1221   2259 |        0 |        0
211.56/211.67	c  211s |      21 |  1182568 |  1133245 |     1221   2275 |        0 |        0
213.56/213.68	c  213s |      21 |  1193221 |  1143245 |     1221   2290 |        0 |        0
215.56/215.68	c  215s |      21 |  1203610 |  1153045 |     1221   2305 |        0 |        0
217.65/217.70	c  217s |      21 |  1214072 |  1163145 |     1221   2321 |        0 |        0
219.65/219.70	c  219s |      21 |  1224433 |  1172945 |     1221   2336 |        0 |        0
221.66/221.71	c  221s |      21 |  1234763 |  1182945 |     1221   2351 |        0 |        0
223.65/223.72	c  223s |      21 |  1245027 |  1192745 |     1221   2367 |        0 |        0
225.65/225.73	c  225s |      21 |  1255107 |  1202445 |     1221   2382 |        0 |        0
227.66/227.74	c  227s |      21 |  1265650 |  1212745 |     1221   2398 |        0 |        0
229.65/229.75	c  229s |      21 |  1275826 |  1222645 |     1221   2413 |        0 |        0
231.65/231.76	c  231s |      21 |  1285962 |  1232545 |     1221   2428 |        0 |        0
233.65/233.77	c  233s |      21 |  1296031 |  1242345 |     1221   2443 |        0 |        0
235.65/235.78	c  235s |      21 |  1306101 |  1252145 |     1221   2459 |        0 |        0
237.66/237.79	c  237s |      21 |  1316315 |  1261845 |     1221   2474 |        0 |        0
239.76/239.81	c  239s |      21 |  1326269 |  1271445 |     1221   2489 |        0 |        0
241.75/241.83	c  241s |      21 |  1336701 |  1281545 |     1221   2504 |        0 |        0
243.75/243.85	c  243s |      21 |  1346874 |  1291445 |     1221   2520 |        0 |        0
245.75/245.86	c  245s |      21 |  1356795 |  1301045 |     1221   2535 |        0 |        0
247.75/247.87	c  247s |      21 |  1367200 |  1311045 |     1221   2550 |        0 |        0
249.75/249.89	c  249s |      21 |  1377928 |  1321245 |     1221   2566 |        0 |        0
251.85/251.91	c  251s |      21 |  1388306 |  1331345 |     1221   2581 |        0 |        0
253.85/253.92	c  253s |      21 |  1398604 |  1341245 |     1221   2597 |        0 |        0
255.85/255.92	c  255s |      21 |  1408684 |  1351045 |     1221   2612 |        0 |        0
257.84/257.94	c  257s |      21 |  1419004 |  1360945 |     1221   2627 |        0 |        0
259.84/259.95	c  259s |      21 |  1428924 |  1370545 |     1221   2642 |        0 |        0
261.85/261.97	c  261s |      21 |  1438767 |  1380045 |     1221   2657 |        0 |        0
263.84/263.97	c  263s |      21 |  1448752 |  1389545 |     1221   2672 |        0 |        0
265.85/265.97	c  265s |      21 |  1458771 |  1399245 |     1221   2687 |        0 |        0
267.85/267.99	c  267s |      21 |  1468713 |  1408845 |     1221   2702 |        0 |        0
269.95/270.00	c  269s |      21 |  1479283 |  1419045 |     1221   2717 |        0 |        0
271.95/272.02	c  272s |      21 |  1489442 |  1428845 |     1221   2733 |        0 |        0
273.96/274.02	c  274s |      21 |  1499784 |  1438845 |     1221   2748 |        0 |        0
275.95/276.04	c  276s |      21 |  1509945 |  1448745 |     1221   2763 |        0 |        0
277.95/278.06	c  278s |      21 |  1520202 |  1458545 |     1221   2779 |        0 |        0
279.95/280.06	c  280s |      21 |  1530583 |  1468345 |     1221   2794 |        0 |        0
281.95/282.07	c  282s |      21 |  1540853 |  1478345 |     1221   2809 |        0 |        0
283.95/284.08	c  284s |      21 |  1551084 |  1488145 |     1221   2824 |        0 |        0
285.95/286.08	c  286s |      21 |  1561172 |  1497845 |     1344   2838 |        0 |        0
286.55/286.66	c  286s |      22 |  1564055 |  1500622 |     1344   2842 |        0 |        0
288.54/288.66	c  288s |      22 |  1574249 |  1510422 |     1344   2856 |        0 |        0
290.54/290.68	c  290s |      22 |  1584794 |  1520522 |     1344   2870 |        0 |        0
292.55/292.69	c  292s |      22 |  1595324 |  1530522 |     1344   2884 |        0 |        0
294.64/294.70	c  294s |      22 |  1605878 |  1540622 |     1344   2899 |        0 |        0
296.64/296.71	c  296s |      22 |  1616541 |  1550622 |     1344   2913 |        0 |        0
298.64/298.71	c  298s |      22 |  1626671 |  1560222 |     1344   2926 |        0 |        0
300.64/300.73	c  300s |      22 |  1636665 |  1569922 |     1344   2940 |        0 |        0
302.64/302.73	c  302s |      22 |  1646727 |  1579622 |     1344   2954 |        0 |        0
304.65/304.76	c  304s |      22 |  1656885 |  1589422 |     1344   2968 |        0 |        0
306.64/306.77	c  306s |      22 |  1666667 |  1598822 |     1344   2981 |        0 |        0
308.64/308.78	c  308s |      22 |  1676954 |  1608422 |     1344   2994 |        0 |        0
310.74/310.80	c  310s |      22 |  1687607 |  1618622 |     1344   3009 |        0 |        0
312.75/312.82	c  312s |      22 |  1697692 |  1628422 |     1344   3023 |        0 |        0
314.75/314.83	c  314s |      22 |  1707710 |  1638022 |     1344   3036 |        0 |        0
316.75/316.85	c  316s |      22 |  1717796 |  1647822 |     1344   3050 |        0 |        0
318.74/318.86	c  318s |      22 |  1727858 |  1657622 |     1344   3064 |        0 |        0
320.74/320.87	c  320s |      22 |  1738024 |  1667422 |     1344   3078 |        0 |        0
322.74/322.88	c  322s |      22 |  1747954 |  1677022 |     1344   3091 |        0 |        0
324.74/324.89	c  324s |      22 |  1757763 |  1686622 |     1344   3105 |        0 |        0
326.84/326.90	c  326s |      22 |  1767932 |  1696322 |     1344   3119 |        0 |        0
328.85/328.91	c  328s |      22 |  1777878 |  1706022 |     1344   3133 |        0 |        0
330.84/330.93	c  330s |      22 |  1787792 |  1715522 |     1344   3146 |        0 |        0
332.84/332.96	c  332s |      22 |  1797630 |  1725122 |     1344   3160 |        0 |        0
334.84/334.97	c  334s |      22 |  1807928 |  1735122 |     1344   3174 |        0 |        0
336.84/336.98	c  336s |      22 |  1818200 |  1745022 |     1344   3188 |        0 |        0
338.85/339.00	c  338s |      22 |  1828590 |  1755222 |     1344   3202 |        0 |        0
340.95/341.00	c  340s |      22 |  1839026 |  1765222 |     1344   3216 |        0 |        0
342.94/343.02	c  343s |      22 |  1849310 |  1775122 |     1344   3230 |        0 |        0
344.94/345.03	c  345s |      22 |  1859884 |  1785222 |     1344   3245 |        0 |        0
346.93/347.04	c  347s |      22 |  1870484 |  1795422 |     1344   3259 |        0 |        0
348.93/349.04	c  349s |      22 |  1880900 |  1805422 |     1344   3273 |        0 |        0
350.94/351.06	c  351s |      22 |  1891198 |  1815422 |     1344   3287 |        0 |        0
352.93/353.07	c  353s |      22 |  1901606 |  1825422 |     1344   3301 |        0 |        0
354.93/355.09	c  355s |      22 |  1911712 |  1835222 |     1344   3315 |        0 |        0
357.03/357.10	c  357s |      22 |  1921943 |  1844822 |     1344   3329 |        0 |        0
359.03/359.10	c  359s |      22 |  1932122 |  1854622 |     1344   3343 |        0 |        0
361.03/361.12	c  361s |      22 |  1942305 |  1864322 |     1344   3356 |        0 |        0
363.03/363.13	c  363s |      22 |  1952445 |  1874122 |     1344   3370 |        0 |        0
365.02/365.14	c  365s |      22 |  1962819 |  1884022 |     1344   3384 |        0 |        0
367.02/367.16	c  367s |      22 |  1973221 |  1893822 |     1344   3398 |        0 |        0
369.02/369.16	c  369s |      22 |  1983369 |  1903622 |     1344   3412 |        0 |        0
371.02/371.17	c  371s |      22 |  1993679 |  1913222 |     1344   3426 |        0 |        0
373.02/373.18	c  373s |      22 |  2004066 |  1922922 |     1344   3439 |        0 |        0
375.02/375.20	c  375s |      22 |  2014300 |  1932622 |     1344   3453 |        0 |        0
377.12/377.21	c  377s |      22 |  2024550 |  1942322 |     1344   3467 |        0 |        0
379.12/379.22	c  379s |      22 |  2034818 |  1952122 |     1344   3481 |        0 |        0
381.12/381.23	c  381s |      22 |  2044917 |  1961622 |     1344   3494 |        0 |        0
383.12/383.23	c  383s |      22 |  2055129 |  1971222 |     1344   3508 |        0 |        0
385.11/385.25	c  385s |      22 |  2065584 |  1981222 |     1344   3522 |        0 |        0
387.12/387.25	c  387s |      22 |  2076309 |  1991222 |     1344   3536 |        0 |        0
389.11/389.26	c  389s |      22 |  2086530 |  2001022 |     1344   3550 |        0 |        0
391.11/391.27	c  391s |      22 |  2096899 |  2010822 |     1344   3564 |        0 |        0
393.11/393.29	c  393s |      22 |  2107172 |  2020622 |     1344   3578 |        0 |        0
395.11/395.29	c  395s |      22 |  2117565 |  2030322 |     1344   3592 |        0 |        0
397.21/397.31	c  397s |      22 |  2127695 |  2039822 |     1344   3605 |        0 |        0
399.22/399.32	c  399s |      22 |  2137805 |  2049422 |     1344   3619 |        0 |        0
401.21/401.33	c  401s |      22 |  2147994 |  2059022 |     1344   3632 |        0 |        0
403.21/403.34	c  403s |      22 |  2157925 |  2068422 |     1344   3646 |        0 |        0
405.21/405.35	c  405s |      22 |  2168200 |  2078222 |     1344   3660 |        0 |        0
407.21/407.37	c  407s |      22 |  2178597 |  2088222 |     1344   3674 |        0 |        0
409.22/409.37	c  409s |      22 |  2188810 |  2098022 |     1344   3688 |        0 |        0
411.21/411.38	c  411s |      22 |  2199057 |  2108022 |     1344   3702 |        0 |        0
413.21/413.40	c  413s |      22 |  2209171 |  2117622 |     1344   3715 |        0 |        0
415.31/415.40	c  415s |      22 |  2219581 |  2127222 |     1344   3729 |        0 |        0
417.31/417.40	c  417s |      22 |  2229594 |  2136722 |     1344   3742 |        0 |        0
419.31/419.41	c  419s |      22 |  2239647 |  2146222 |     1344   3756 |        0 |        0
421.31/421.42	c  421s |      22 |  2249908 |  2156122 |     1344   3770 |        0 |        0
423.30/423.43	c  423s |      22 |  2259733 |  2165422 |     1344   3783 |        0 |        0
425.30/425.44	c  425s |      22 |  2269811 |  2175022 |     1344   3796 |        0 |        0
427.30/427.45	c  427s |      22 |  2279480 |  2184322 |     1344   3810 |        0 |        0
429.30/429.47	c  429s |      22 |  2289489 |  2193822 |     1344   3823 |        0 |        0
431.40/431.50	c  431s |      22 |  2299508 |  2203322 |     1344   3837 |        0 |        0
433.31/433.50	c  433s |      22 |  2309697 |  2212822 |     1344   3850 |        0 |        0
435.40/435.51	c  435s |      22 |  2319464 |  2222222 |     1344   3863 |        0 |        0
437.40/437.53	c  437s |      22 |  2329182 |  2231422 |     1344   3876 |        0 |        0
439.40/439.53	c  439s |      22 |  2338935 |  2240822 |     1479   3889 |        0 |        0
441.40/441.55	c  441s |      22 |  2349164 |  2250722 |     1479   3901 |        0 |        0
441.49/441.62	c  441s |      23 |  2349491 |  2251038 |     1479   3902 |        0 |        0
443.49/443.63	c  443s |      23 |  2360119 |  2261138 |     1479   3915 |        0 |        0
445.50/445.64	c  445s |      23 |  2370510 |  2271038 |     1479   3928 |        0 |        0
447.49/447.66	c  447s |      23 |  2380703 |  2280838 |     1479   3940 |        0 |        0
449.50/449.66	c  449s |      23 |  2391219 |  2290638 |     1479   3953 |        0 |        0
451.50/451.68	c  451s |      23 |  2401974 |  2300338 |     1479   3965 |        0 |        0
453.50/453.69	c  453s |      23 |  2412279 |  2310138 |     1479   3978 |        0 |        0
455.49/455.69	c  455s |      23 |  2422502 |  2320038 |     1479   3991 |        0 |        0
457.50/457.70	c  457s |      23 |  2432836 |  2330038 |     1479   4004 |        0 |        0
459.59/459.72	c  459s |      23 |  2443171 |  2339938 |     1479   4016 |        0 |        0
461.59/461.73	c  461s |      23 |  2453485 |  2349938 |     1479   4029 |        0 |        0
463.59/463.74	c  463s |      23 |  2463624 |  2359538 |     1479   4042 |        0 |        0
465.59/465.75	c  465s |      23 |  2473596 |  2368938 |     1479   4054 |        0 |        0
467.59/467.77	c  467s |      23 |  2483639 |  2378638 |     1479   4066 |        0 |        0
469.59/469.78	c  469s |      23 |  2493878 |  2388338 |     1479   4079 |        0 |        0
471.58/471.78	c  471s |      23 |  2504179 |  2398138 |     1479   4091 |        0 |        0
473.68/473.80	c  473s |      23 |  2514335 |  2407738 |     1479   4104 |        0 |        0
475.68/475.80	c  475s |      23 |  2524442 |  2417538 |     1479   4116 |        0 |        0
477.68/477.81	c  477s |      23 |  2534665 |  2427238 |     1479   4129 |        0 |        0
479.68/479.82	c  479s |      23 |  2544769 |  2436938 |     1479   4141 |        0 |        0
481.69/481.82	c  481s |      23 |  2554729 |  2446538 |     1479   4154 |        0 |        0
483.68/483.84	c  483s |      23 |  2564760 |  2456138 |     1479   4166 |        0 |        0
485.67/485.85	c  485s |      23 |  2574466 |  2465338 |     1479   4178 |        0 |        0
487.67/487.85	c  487s |      23 |  2584532 |  2474738 |     1479   4190 |        0 |        0
489.68/489.85	c  489s |      23 |  2594149 |  2483838 |     1479   4202 |        0 |        0
491.69/491.87	c  491s |      23 |  2604500 |  2493738 |     1479   4215 |        0 |        0
493.68/493.88	c  493s |      23 |  2615064 |  2504038 |     1479   4228 |        0 |        0
495.68/495.88	c  495s |      23 |  2625452 |  2514038 |     1479   4241 |        0 |        0
497.68/497.88	c  497s |      23 |  2635601 |  2523838 |     1479   4253 |        0 |        0
499.68/499.88	c  499s |      23 |  2645748 |  2533638 |     1479   4266 |        0 |        0
501.68/501.89	c  501s |      23 |  2656175 |  2543538 |     1479   4279 |        0 |        0
503.68/503.89	c  503s |      23 |  2666601 |  2553638 |     1479   4292 |        0 |        0
505.77/505.91	c  505s |      23 |  2677170 |  2563938 |     1479   4305 |        0 |        0
507.77/507.91	c  507s |      23 |  2687412 |  2573838 |     1479   4318 |        0 |        0
509.77/509.92	c  509s |      23 |  2697833 |  2583738 |     1479   4330 |        0 |        0
511.77/511.93	c  511s |      23 |  2707936 |  2593438 |     1479   4343 |        0 |        0
513.77/513.94	c  513s |      23 |  2717880 |  2602938 |     1479   4355 |        0 |        0
515.77/515.94	c  515s |      23 |  2727798 |  2612438 |     1479   4367 |        0 |        0
517.77/517.94	c  517s |      23 |  2738264 |  2622238 |     1479   4380 |        0 |        0
519.77/519.95	c  519s |      23 |  2748289 |  2631938 |     1479   4393 |        0 |        0
521.77/521.96	c  521s |      23 |  2758355 |  2641638 |     1479   4405 |        0 |        0
523.77/523.97	c  523s |      23 |  2768403 |  2651338 |     1479   4418 |        0 |        0
525.77/525.99	c  525s |      23 |  2778092 |  2660638 |     1479   4430 |        0 |        0
527.87/528.01	c  527s |      23 |  2788689 |  2670938 |     1479   4443 |        0 |        0
529.86/530.02	c  530s |      23 |  2799251 |  2681138 |     1479   4456 |        0 |        0
531.86/532.03	c  532s |      23 |  2809580 |  2691138 |     1479   4469 |        0 |        0
533.86/534.05	c  534s |      23 |  2819774 |  2700938 |     1479   4481 |        0 |        0
535.86/536.05	c  536s |      23 |  2829749 |  2710538 |     1479   4494 |        0 |        0
537.87/538.06	c  538s |      23 |  2840203 |  2720438 |     1479   4507 |        0 |        0
539.86/540.08	c  540s |      23 |  2850508 |  2730238 |     1479   4519 |        0 |        0
541.87/542.09	c  542s |      23 |  2860862 |  2740038 |     1479   4532 |        0 |        0
543.97/544.11	c  544s |      23 |  2870899 |  2749738 |     1479   4545 |        0 |        0
545.97/546.11	c  546s |      23 |  2881095 |  2759638 |     1479   4557 |        0 |        0
547.96/548.13	c  548s |      23 |  2891254 |  2769538 |     1479   4570 |        0 |        0
549.97/550.13	c  550s |      23 |  2901185 |  2779138 |     1479   4583 |        0 |        0
551.96/552.13	c  552s |      23 |  2911708 |  2789238 |     1479   4595 |        0 |        0
553.96/554.15	c  554s |      23 |  2921887 |  2798938 |     1479   4608 |        0 |        0
555.96/556.16	c  556s |      23 |  2931919 |  2808538 |     1479   4620 |        0 |        0
557.96/558.16	c  558s |      23 |  2941916 |  2818238 |     1479   4633 |        0 |        0
559.95/560.17	c  560s |      23 |  2952027 |  2828038 |     1479   4645 |        0 |        0
561.96/562.18	c  562s |      23 |  2962102 |  2837738 |     1479   4658 |        0 |        0
563.95/564.18	c  564s |      23 |  2972129 |  2847438 |     1479   4670 |        0 |        0
565.95/566.19	c  566s |      23 |  2982254 |  2857138 |     1479   4683 |        0 |        0
568.05/568.20	c  568s |      23 |  2992329 |  2866838 |     1479   4695 |        0 |        0
570.05/570.21	c  570s |      23 |  3002677 |  2876838 |     1479   4708 |        0 |        0
572.05/572.24	c  572s |      23 |  3012510 |  2886338 |     1479   4721 |        0 |        0
574.06/574.26	c  574s |      23 |  3022590 |  2896138 |     1479   4733 |        0 |        0
576.05/576.27	c  576s |      23 |  3032543 |  2905738 |     1479   4746 |        0 |        0
578.05/578.28	c  578s |      23 |  3042453 |  2915238 |     1479   4758 |        0 |        0
580.05/580.29	c  580s |      23 |  3052169 |  2924638 |     1479   4770 |        0 |        0
582.15/582.30	c  582s |      23 |  3062103 |  2934238 |     1479   4782 |        0 |        0
584.15/584.31	c  584s |      23 |  3072489 |  2944338 |     1479   4795 |        0 |        0
586.15/586.33	c  586s |      23 |  3082674 |  2954238 |     1479   4808 |        0 |        0
588.15/588.34	c  588s |      23 |  3092805 |  2964038 |     1479   4821 |        0 |        0
590.15/590.36	c  590s |      23 |  3102721 |  2973538 |     1479   4833 |        0 |        0
592.14/592.37	c  592s |      23 |  3113068 |  2983438 |     1479   4846 |        0 |        0
594.14/594.39	c  594s |      23 |  3123200 |  2993138 |     1479   4858 |        0 |        0
596.24/596.40	c  596s |      23 |  3133380 |  3002738 |     1479   4871 |        0 |        0
598.25/598.40	c  598s |      23 |  3143305 |  3012138 |     1479   4883 |        0 |        0
600.24/600.41	c  600s |      23 |  3153357 |  3021838 |     1479   4895 |        0 |        0
602.24/602.41	c  602s |      23 |  3163284 |  3031238 |     1479   4907 |        0 |        0
604.24/604.42	c  604s |      23 |  3173529 |  3040938 |     1479   4920 |        0 |        0
606.23/606.43	c  606s |      23 |  3183758 |  3050538 |     1479   4932 |        0 |        0
608.24/608.43	c  608s |      23 |  3193671 |  3060038 |     1479   4944 |        0 |        0
610.23/610.45	c  610s |      23 |  3203731 |  3069738 |     1479   4957 |        0 |        0
612.23/612.45	c  612s |      23 |  3213371 |  3078938 |     1479   4969 |        0 |        0
614.23/614.47	c  614s |      23 |  3223129 |  3088238 |     1479   4981 |        0 |        0
616.23/616.47	c  616s |      23 |  3233079 |  3097638 |     1479   4993 |        0 |        0
618.23/618.47	c  618s |      23 |  3243467 |  3107338 |     1479   5005 |        0 |        0
620.24/620.47	c  620s |      23 |  3253428 |  3116738 |     1479   5018 |        0 |        0
622.23/622.49	c  622s |      23 |  3263366 |  3126238 |     1479   5030 |        0 |        0
624.33/624.50	c  624s |      23 |  3273468 |  3136038 |     1479   5043 |        0 |        0
626.32/626.52	c  626s |      23 |  3283595 |  3145738 |     1479   5055 |        0 |        0
628.33/628.53	c  628s |      23 |  3293417 |  3155238 |     1479   5067 |        0 |        0
630.33/630.54	c  630s |      23 |  3303172 |  3164738 |     1479   5080 |        0 |        0
632.33/632.54	c  632s |      23 |  3312902 |  3174038 |     1479   5092 |        0 |        0
634.32/634.55	c  634s |      23 |  3322855 |  3183438 |     1479   5104 |        0 |        0
636.32/636.56	c  636s |      23 |  3332655 |  3192738 |     1479   5116 |        0 |        0
638.32/638.58	c  638s |      23 |  3342485 |  3201938 |     1479   5128 |        0 |        0
640.32/640.59	c  640s |      23 |  3352814 |  3211938 |     1479   5140 |        0 |        0
642.42/642.61	c  642s |      23 |  3363354 |  3222138 |     1479   5154 |        0 |        0
644.43/644.63	c  644s |      23 |  3373862 |  3232238 |     1479   5166 |        0 |        0
646.42/646.65	c  646s |      23 |  3384470 |  3242438 |     1479   5180 |        0 |        0
648.42/648.67	c  648s |      23 |  3395184 |  3252638 |     1479   5193 |        0 |        0
650.42/650.67	c  650s |      23 |  3405383 |  3262538 |     1479   5205 |        0 |        0
652.42/652.68	c  652s |      23 |  3415601 |  3272538 |     1479   5218 |        0 |        0
654.43/654.68	c  654s |      23 |  3425699 |  3282338 |     1479   5231 |        0 |        0
656.42/656.69	c  656s |      23 |  3436145 |  3292438 |     1479   5244 |        0 |        0
658.52/658.70	c  658s |      23 |  3446407 |  3302438 |     1479   5257 |        0 |        0
660.52/660.71	c  660s |      23 |  3456518 |  3312338 |     1479   5270 |        0 |        0
662.52/662.72	c  662s |      23 |  3466759 |  3322338 |     1479   5283 |        0 |        0
664.52/664.74	c  664s |      23 |  3477104 |  3332438 |     1479   5296 |        0 |        0
666.52/666.75	c  666s |      23 |  3487362 |  3342438 |     1479   5309 |        0 |        0
668.51/668.76	c  668s |      23 |  3497457 |  3352238 |     1479   5321 |        0 |        0
670.51/670.78	c  670s |      23 |  3507376 |  3361838 |     1627   5332 |        0 |        0
672.51/672.79	c  672s |      23 |  3517602 |  3371738 |     1627   5344 |        0 |        0
673.51/673.79	c  673s |      24 |  3522688 |  3376662 |     1627   5350 |        0 |        0
675.51/675.79	c  675s |      24 |  3533014 |  3386662 |     1627   5362 |        0 |        0
677.61/677.81	c  677s |      24 |  3543419 |  3396762 |     1627   5373 |        0 |        0
679.61/679.81	c  679s |      24 |  3553927 |  3407062 |     1627   5385 |        0 |        0
681.60/681.81	c  681s |      24 |  3564620 |  3417462 |     1627   5398 |        0 |        0
683.60/683.82	c  683s |      24 |  3574910 |  3427462 |     1627   5409 |        0 |        0
685.60/685.82	c  685s |      24 |  3585186 |  3437462 |     1627   5421 |        0 |        0
687.60/687.83	c  687s |      24 |  3595890 |  3447762 |     1627   5433 |        0 |        0
689.61/689.84	c  689s |      24 |  3606514 |  3457662 |     1627   5445 |        0 |        0
691.60/691.84	c  691s |      24 |  3616856 |  3467462 |     1627   5456 |        0 |        0
693.61/693.85	c  693s |      24 |  3627241 |  3477162 |     1627   5468 |        0 |        0
695.60/695.86	c  695s |      24 |  3637354 |  3486962 |     1627   5479 |        0 |        0
697.60/697.88	c  697s |      24 |  3647856 |  3497262 |     1627   5491 |        0 |        0
699.60/699.88	c  699s |      24 |  3658146 |  3507162 |     1627   5503 |        0 |        0
701.60/701.89	c  701s |      24 |  3668419 |  3517162 |     1627   5515 |        0 |        0
703.69/703.91	c  703s |      24 |  3678790 |  3527262 |     1627   5527 |        0 |        0
705.69/705.92	c  705s |      24 |  3689752 |  3537762 |     1627   5539 |        0 |        0
707.69/707.93	c  707s |      24 |  3700216 |  3547862 |     1627   5551 |        0 |        0
709.69/709.93	c  709s |      24 |  3710484 |  3557862 |     1627   5563 |        0 |        0
711.69/711.93	c  711s |      24 |  3720794 |  3567862 |     1627   5574 |        0 |        0
713.69/713.94	c  713s |      24 |  3730988 |  3577662 |     1627   5586 |        0 |        0
715.69/715.94	c  715s |      24 |  3741241 |  3587662 |     1627   5598 |        0 |        0
717.68/717.95	c  717s |      24 |  3751576 |  3597462 |     1627   5609 |        0 |        0
719.68/719.96	c  719s |      24 |  3761942 |  3607462 |     1627   5621 |        0 |        0
721.68/721.98	c  721s |      24 |  3772628 |  3617362 |     1627   5632 |        0 |        0
723.78/724.00	c  723s |      24 |  3782848 |  3627062 |     1627   5644 |        0 |        0
725.79/726.02	c  726s |      24 |  3793408 |  3637062 |     1627   5656 |        0 |        0
727.78/728.02	c  728s |      24 |  3803633 |  3646862 |     1627   5667 |        0 |        0
729.79/730.02	c  730s |      24 |  3813439 |  3656462 |     1627   5678 |        0 |        0
731.79/732.04	c  732s |      24 |  3823822 |  3666562 |     1627   5690 |        0 |        0
733.79/734.04	c  734s |      24 |  3834412 |  3676862 |     1627   5702 |        0 |        0
735.79/736.05	c  736s |      24 |  3844642 |  3686862 |     1627   5714 |        0 |        0
737.78/738.06	c  738s |      24 |  3855452 |  3697262 |     1627   5726 |        0 |        0
739.78/740.07	c  740s |      24 |  3865691 |  3707262 |     1627   5738 |        0 |        0
741.78/742.07	c  742s |      24 |  3875954 |  3717162 |     1627   5750 |        0 |        0
743.87/744.10	c  744s |      24 |  3886224 |  3727162 |     1627   5762 |        0 |        0
745.88/746.10	c  746s |      24 |  3896632 |  3737162 |     1627   5773 |        0 |        0
747.88/748.11	c  748s |      24 |  3907053 |  3747262 |     1627   5785 |        0 |        0
749.88/750.13	c  750s |      24 |  3917268 |  3757062 |     1627   5797 |        0 |        0
751.87/752.14	c  752s |      24 |  3927232 |  3766662 |     1627   5808 |        0 |        0
753.87/754.15	c  754s |      24 |  3937287 |  3776462 |     1627   5820 |        0 |        0
755.87/756.15	c  756s |      24 |  3947409 |  3786362 |     1627   5831 |        0 |        0
757.87/758.17	c  758s |      24 |  3957607 |  3796262 |     1627   5843 |        0 |        0
759.87/760.19	c  760s |      24 |  3968085 |  3806262 |     1627   5855 |        0 |        0
761.97/762.21	c  762s |      24 |  3978720 |  3816162 |     1627   5866 |        0 |        0
763.96/764.21	c  764s |      24 |  3988794 |  3825862 |     1627   5878 |        0 |        0
765.96/766.23	c  766s |      24 |  3999009 |  3835662 |     1627   5889 |        0 |        0
767.96/768.24	c  768s |      24 |  4009937 |  3846062 |     1627   5901 |        0 |        0
769.96/770.26	c  770s |      24 |  4020564 |  3856162 |     1627   5913 |        0 |        0
771.97/772.26	c  772s |      24 |  4030741 |  3866062 |     1627   5925 |        0 |        0
773.95/774.27	c  774s |      24 |  4041029 |  3875962 |     1627   5937 |        0 |        0
775.95/776.28	c  776s |      24 |  4051006 |  3885762 |     1627   5948 |        0 |        0
778.05/778.30	c  778s |      24 |  4061139 |  3895562 |     1627   5960 |        0 |        0
780.05/780.31	c  780s |      24 |  4071751 |  3905862 |     1627   5972 |        0 |        0
782.05/782.31	c  782s |      24 |  4081999 |  3915762 |     1627   5983 |        0 |        0
784.05/784.33	c  784s |      24 |  4092201 |  3925562 |     1627   5995 |        0 |        0
786.05/786.34	c  786s |      24 |  4102504 |  3935462 |     1627   6006 |        0 |        0
788.05/788.35	c  788s |      24 |  4112673 |  3945262 |     1627   6018 |        0 |        0
790.06/790.37	c  790s |      24 |  4122835 |  3955162 |     1627   6030 |        0 |        0
792.06/792.37	c  792s |      24 |  4132934 |  3964962 |     1627   6041 |        0 |        0
794.06/794.40	c  794s |      24 |  4143074 |  3974762 |     1627   6053 |        0 |        0
796.16/796.41	c  796s |      24 |  4153194 |  3984562 |     1627   6064 |        0 |        0
798.15/798.42	c  798s |      24 |  4163314 |  3994162 |     1627   6075 |        0 |        0
800.15/800.44	c  800s |      24 |  4173736 |  4004262 |     1627   6087 |        0 |        0
802.15/802.44	c  802s |      24 |  4184540 |  4014762 |     1627   6100 |        0 |        0
804.15/804.45	c  804s |      24 |  4195067 |  4024862 |     1627   6111 |        0 |        0
806.15/806.46	c  806s |      24 |  4205547 |  4035062 |     1627   6123 |        0 |        0
808.14/808.47	c  808s |      24 |  4215861 |  4045162 |     1627   6135 |        0 |        0
810.14/810.48	c  810s |      24 |  4225947 |  4054962 |     1627   6147 |        0 |        0
812.14/812.48	c  812s |      24 |  4236320 |  4065062 |     1627   6159 |        0 |        0
814.14/814.49	c  814s |      24 |  4246396 |  4074862 |     1627   6170 |        0 |        0
816.24/816.50	c  816s |      24 |  4256609 |  4084562 |     1627   6181 |        0 |        0
818.14/818.50	c  818s |      24 |  4266684 |  4094362 |     1627   6193 |        0 |        0
820.24/820.51	c  820s |      24 |  4276861 |  4104062 |     1627   6204 |        0 |        0
822.24/822.51	c  822s |      24 |  4286833 |  4113562 |     1627   6216 |        0 |        0
824.23/824.52	c  824s |      24 |  4296798 |  4123262 |     1627   6227 |        0 |        0
826.23/826.54	c  826s |      24 |  4306977 |  4133162 |     1627   6239 |        0 |        0
828.23/828.55	c  828s |      24 |  4317278 |  4143262 |     1627   6250 |        0 |        0
830.24/830.55	c  830s |      24 |  4327465 |  4153162 |     1627   6262 |        0 |        0
832.23/832.56	c  832s |      24 |  4337710 |  4162962 |     1627   6274 |        0 |        0
834.23/834.56	c  834s |      24 |  4347466 |  4172462 |     1627   6285 |        0 |        0
836.22/836.58	c  836s |      24 |  4357806 |  4182462 |     1627   6297 |        0 |        0
838.22/838.59	c  838s |      24 |  4368005 |  4192362 |     1627   6308 |        0 |        0
840.32/840.61	c  840s |      24 |  4378124 |  4202062 |     1627   6320 |        0 |        0
842.33/842.63	c  842s |      24 |  4387971 |  4211662 |     1627   6331 |        0 |        0
844.32/844.64	c  844s |      24 |  4397884 |  4221362 |     1627   6342 |        0 |        0
846.32/846.65	c  846s |      24 |  4408175 |  4231362 |     1627   6354 |        0 |        0
848.33/848.66	c  848s |      24 |  4418422 |  4241362 |     1627   6366 |        0 |        0
850.33/850.68	c  850s |      24 |  4428640 |  4251362 |     1627   6378 |        0 |        0
852.33/852.69	c  852s |      24 |  4438994 |  4261462 |     1627   6389 |        0 |        0
854.32/854.69	c  854s |      24 |  4449143 |  4271362 |     1627   6401 |        0 |        0
856.42/856.71	c  856s |      24 |  4459179 |  4281162 |     1627   6413 |        0 |        0
858.42/858.71	c  858s |      24 |  4469156 |  4290862 |     1627   6424 |        0 |        0
860.42/860.72	c  860s |      24 |  4479081 |  4300562 |     1627   6436 |        0 |        0
862.42/862.73	c  862s |      24 |  4489199 |  4310462 |     1627   6447 |        0 |        0
864.42/864.73	c  864s |      24 |  4498992 |  4320062 |     1627   6458 |        0 |        0
866.42/866.74	c  866s |      24 |  4508697 |  4329462 |     1627   6470 |        0 |        0
868.42/868.75	c  868s |      24 |  4518771 |  4339262 |     1627   6481 |        0 |        0
870.41/870.76	c  870s |      24 |  4529123 |  4349362 |     1627   6493 |        0 |        0
872.41/872.77	c  872s |      24 |  4539625 |  4359462 |     1627   6505 |        0 |        0
874.41/874.78	c  874s |      24 |  4549888 |  4369362 |     1627   6516 |        0 |        0
876.41/876.80	c  876s |      24 |  4560271 |  4379462 |     1627   6528 |        0 |        0
878.51/878.81	c  878s |      24 |  4570661 |  4389462 |     1627   6540 |        0 |        0
880.51/880.82	c  880s |      24 |  4581045 |  4399462 |     1627   6552 |        0 |        0
882.51/882.82	c  882s |      24 |  4591180 |  4409262 |     1627   6563 |        0 |        0
884.50/884.83	c  884s |      24 |  4601016 |  4418662 |     1627   6574 |        0 |        0
886.50/886.84	c  886s |      24 |  4611221 |  4428462 |     1627   6586 |        0 |        0
888.51/888.84	c  888s |      24 |  4621399 |  4438362 |     1627   6597 |        0 |        0
890.50/890.85	c  890s |      24 |  4631557 |  4448262 |     1627   6609 |        0 |        0
892.50/892.87	c  892s |      24 |  4641491 |  4457962 |     1627   6620 |        0 |        0
894.50/894.88	c  894s |      24 |  4651865 |  4467962 |     1627   6632 |        0 |        0
896.50/896.89	c  896s |      24 |  4661976 |  4477762 |     1627   6644 |        0 |        0
898.50/898.89	c  898s |      24 |  4672088 |  4487562 |     1627   6655 |        0 |        0
900.50/900.90	c  900s |      24 |  4682058 |  4497262 |     1627   6667 |        0 |        0
902.60/902.90	c  902s |      24 |  4691666 |  4506562 |     1627   6678 |        0 |        0
904.60/904.92	c  904s |      24 |  4701591 |  4516262 |     1627   6689 |        0 |        0
906.60/906.94	c  906s |      24 |  4711703 |  4526062 |     1627   6701 |        0 |        0
908.60/908.94	c  908s |      24 |  4721504 |  4535562 |     1627   6712 |        0 |        0
910.61/910.96	c  910s |      24 |  4731553 |  4545262 |     1627   6723 |        0 |        0
912.60/912.96	c  912s |      24 |  4741772 |  4555062 |     1627   6735 |        0 |        0
914.60/914.98	c  914s |      24 |  4751822 |  4564862 |     1627   6746 |        0 |        0
916.60/916.99	c  916s |      24 |  4761741 |  4574562 |     1627   6758 |        0 |        0
918.60/918.99	c  918s |      24 |  4771818 |  4584162 |     1627   6769 |        0 |        0
920.60/921.00	c  920s |      24 |  4781728 |  4593762 |     1627   6780 |        0 |        0
922.60/923.00	c  922s |      24 |  4791750 |  4603262 |     1627   6791 |        0 |        0
924.69/925.01	c  924s |      24 |  4801710 |  4612862 |     1627   6803 |        0 |        0
926.69/927.03	c  927s |      24 |  4811864 |  4622662 |     1627   6814 |        0 |        0
928.69/929.05	c  929s |      24 |  4821939 |  4632362 |     1627   6826 |        0 |        0
930.69/931.06	c  931s |      24 |  4831814 |  4641762 |     1627   6837 |        0 |        0
932.69/933.06	c  933s |      24 |  4842826 |  4652262 |     1627   6849 |        0 |        0
934.69/935.08	c  935s |      24 |  4853328 |  4662462 |     1627   6861 |        0 |        0
936.68/937.08	c  937s |      24 |  4864032 |  4672862 |     1627   6873 |        0 |        0
938.78/939.10	c  939s |      24 |  4874253 |  4682762 |     1627   6885 |        0 |        0
940.78/941.10	c  941s |      24 |  4884537 |  4692762 |     1627   6897 |        0 |        0
942.78/943.11	c  943s |      24 |  4895004 |  4702962 |     1627   6908 |        0 |        0
944.78/945.12	c  945s |      24 |  4905457 |  4713162 |     1627   6920 |        0 |        0
946.78/947.13	c  947s |      24 |  4915744 |  4723162 |     1627   6932 |        0 |        0
948.78/949.13	c  949s |      24 |  4926226 |  4733162 |     1627   6944 |        0 |        0
950.78/951.14	c  951s |      24 |  4936444 |  4742962 |     1627   6955 |        0 |        0
952.78/953.15	c  953s |      24 |  4946419 |  4752462 |     1627   6967 |        0 |        0
954.77/955.15	c  955s |      24 |  4956882 |  4762362 |     1627   6978 |        0 |        0
956.78/957.15	c  957s |      24 |  4967077 |  4772262 |     1627   6990 |        0 |        0
958.77/959.17	c  959s |      24 |  4977487 |  4782262 |     1627   7002 |        0 |        0
960.77/961.18	c  961s |      24 |  4987705 |  4792162 |     1627   7013 |        0 |        0
962.77/963.19	c  963s |      24 |  4998037 |  4802262 |     1627   7025 |        0 |        0
964.87/965.20	c  965s |      24 |  5008195 |  4812062 |     1627   7037 |        0 |        0
966.87/967.21	c  967s |      24 |  5017958 |  4821562 |     1627   7048 |        0 |        0
968.88/969.22	c  969s |      24 |  5027870 |  4831262 |     1627   7059 |        0 |        0
970.88/971.23	c  971s |      24 |  5037975 |  4841162 |     1627   7071 |        0 |        0
972.88/973.24	c  973s |      24 |  5048028 |  4850962 |     1627   7082 |        0 |        0
974.88/975.24	c  975s |      24 |  5057926 |  4860562 |     1627   7094 |        0 |        0
976.88/977.26	c  977s |      24 |  5068074 |  4870362 |     1627   7105 |        0 |        0
978.88/979.26	c  979s |      24 |  5078059 |  4880062 |     1627   7117 |        0 |        0
980.88/981.27	c  981s |      24 |  5088197 |  4889962 |     1627   7128 |        0 |        0
982.87/983.27	c  983s |      24 |  5098367 |  4899962 |     1627   7140 |        0 |        0
984.87/985.28	c  985s |      24 |  5108593 |  4909762 |     1627   7151 |        0 |        0
986.87/987.29	c  987s |      24 |  5118637 |  4919462 |     1627   7163 |        0 |        0
988.87/989.30	c  989s |      24 |  5128665 |  4928962 |     1627   7174 |        0 |        0
990.97/991.31	c  991s |      24 |  5138932 |  4938862 |     1627   7186 |        0 |        0
992.98/993.32	c  993s |      24 |  5149078 |  4948562 |     1627   7197 |        0 |        0
994.97/995.34	c  995s |      24 |  5159064 |  4958162 |     1627   7209 |        0 |        0
996.97/997.35	c  997s |      24 |  5168944 |  4967762 |     1627   7220 |        0 |        0
998.97/999.36	c  999s |      24 |  5179376 |  4977962 |     1627   7232 |        0 |        0
1000.97/1001.36	c 1001s |      24 |  5189584 |  4987862 |     1627   7243 |        0 |        0
1002.98/1003.37	c 1003s |      24 |  5199707 |  4997762 |     1627   7255 |        0 |        0
1004.97/1005.39	c 1005s |      24 |  5209735 |  5007462 |     1627   7267 |        0 |        0
1006.97/1007.39	c 1007s |      24 |  5219603 |  5017062 |     1627   7278 |        0 |        0
1008.97/1009.39	c 1009s |      24 |  5229681 |  5026662 |     1627   7289 |        0 |        0
1011.07/1011.41	c 1011s |      24 |  5239662 |  5036162 |     1790   7299 |        0 |        0
1013.07/1013.42	c 1013s |      24 |  5249552 |  5045662 |     1790   7310 |        0 |        0
1015.07/1015.43	c 1015s |      24 |  5259583 |  5055362 |     1790   7320 |        0 |        0
1017.06/1017.44	c 1017s |      24 |  5269378 |  5064862 |     1790   7330 |        0 |        0
1017.06/1017.49	c 1017s |      25 |  5269621 |  5065098 |     1790   7331 |        0 |        0
1019.16/1019.50	c 1019s |      25 |  5280580 |  5075698 |     1790   7342 |        0 |        0
1021.17/1021.51	c 1021s |      25 |  5291035 |  5085898 |     1790   7353 |        0 |        0
1023.17/1023.51	c 1023s |      25 |  5301398 |  5095898 |     1790   7363 |        0 |        0
1025.17/1025.52	c 1025s |      25 |  5311552 |  5105398 |     1790   7374 |        0 |        0
1027.17/1027.53	c 1027s |      25 |  5321560 |  5115098 |     1790   7384 |        0 |        0
1029.17/1029.56	c 1029s |      25 |  5331681 |  5124898 |     1790   7395 |        0 |        0
1031.17/1031.57	c 1031s |      25 |  5342099 |  5134898 |     1790   7405 |        0 |        0
1033.17/1033.57	c 1033s |      25 |  5352035 |  5144598 |     1790   7416 |        0 |        0
1035.16/1035.58	c 1035s |      25 |  5362186 |  5154398 |     1790   7426 |        0 |        0
1037.17/1037.58	c 1037s |      25 |  5372548 |  5164298 |     1790   7437 |        0 |        0
1039.17/1039.59	c 1039s |      25 |  5382723 |  5174098 |     1790   7447 |        0 |        0
1041.26/1041.60	c 1041s |      25 |  5392977 |  5184098 |     1790   7458 |        0 |        0
1043.26/1043.62	c 1043s |      25 |  5403126 |  5193898 |     1790   7469 |        0 |        0
1045.26/1045.64	c 1045s |      25 |  5413331 |  5203698 |     1790   7479 |        0 |        0
1047.26/1047.64	c 1047s |      25 |  5423510 |  5213498 |     1790   7490 |        0 |        0
1049.26/1049.66	c 1049s |      25 |  5433437 |  5223198 |     1790   7500 |        0 |        0
1051.27/1051.66	c 1051s |      25 |  5443082 |  5232498 |     1790   7510 |        0 |        0
1053.26/1053.66	c 1053s |      25 |  5453045 |  5242198 |     1790   7520 |        0 |        0
1055.26/1055.67	c 1055s |      25 |  5463182 |  5252098 |     1790   7531 |        0 |        0
1057.26/1057.68	c 1057s |      25 |  5473183 |  5261798 |     1790   7541 |        0 |        0
1059.26/1059.68	c 1059s |      25 |  5483164 |  5271298 |     1790   7551 |        0 |        0
1061.26/1061.69	c 1061s |      25 |  5492920 |  5280798 |     1790   7562 |        0 |        0
1063.26/1063.69	c 1063s |      25 |  5503552 |  5290898 |     1790   7572 |        0 |        0
1065.36/1065.71	c 1065s |      25 |  5513903 |  5300698 |     1790   7583 |        0 |        0
1067.36/1067.71	c 1067s |      25 |  5524197 |  5310398 |     1790   7593 |        0 |        0
1069.35/1069.72	c 1069s |      25 |  5534343 |  5320098 |     1790   7604 |        0 |        0
1071.35/1071.73	c 1071s |      25 |  5544425 |  5329798 |     1790   7614 |        0 |        0
1073.36/1073.75	c 1073s |      25 |  5554958 |  5339898 |     1790   7625 |        0 |        0
1075.35/1075.76	c 1075s |      25 |  5565004 |  5349698 |     1790   7635 |        0 |        0
1077.35/1077.76	c 1077s |      25 |  5574810 |  5359198 |     1790   7646 |        0 |        0
1079.35/1079.77	c 1079s |      25 |  5584751 |  5368798 |     1790   7656 |        0 |        0
1081.35/1081.79	c 1081s |      25 |  5594841 |  5378398 |     1790   7666 |        0 |        0
1083.46/1083.80	c 1083s |      25 |  5604862 |  5388098 |     1790   7677 |        0 |        0
1085.47/1085.82	c 1085s |      25 |  5615082 |  5397698 |     1790   7687 |        0 |        0
1087.46/1087.83	c 1087s |      25 |  5625087 |  5406998 |     1790   7697 |        0 |        0
1089.46/1089.85	c 1089s |      25 |  5634854 |  5416398 |     1790   7707 |        0 |        0
1091.46/1091.87	c 1091s |      25 |  5644879 |  5425998 |     1790   7717 |        0 |        0
1093.46/1093.88	c 1093s |      25 |  5655284 |  5435998 |     1790   7728 |        0 |        0
1095.56/1095.90	c 1095s |      25 |  5665459 |  5445898 |     1790   7739 |        0 |        0
1097.57/1097.92	c 1097s |      25 |  5675611 |  5455798 |     1790   7749 |        0 |        0
1099.56/1099.93	c 1099s |      25 |  5685444 |  5465398 |     1790   7760 |        0 |        0
1101.56/1101.93	c 1101s |      25 |  5695558 |  5475198 |     1790   7770 |        0 |        0
1103.56/1103.94	c 1103s |      25 |  5705521 |  5484898 |     1790   7780 |        0 |        0
1105.56/1105.94	c 1105s |      25 |  5715775 |  5494698 |     1790   7791 |        0 |        0
1107.56/1107.95	c 1107s |      25 |  5725709 |  5504298 |     1790   7801 |        0 |        0
1109.56/1109.97	c 1109s |      25 |  5735863 |  5513998 |     1790   7812 |        0 |        0
1111.56/1111.98	c 1111s |      25 |  5745762 |  5523598 |     1790   7822 |        0 |        0
1113.56/1113.98	c 1113s |      25 |  5755594 |  5533098 |     1790   7832 |        0 |        0
1115.56/1116.00	c 1115s |      25 |  5765496 |  5542698 |     1790   7842 |        0 |        0
1117.65/1118.01	c 1117s |      25 |  5775505 |  5552298 |     1790   7853 |        0 |        0
1119.65/1120.01	c 1119s |      25 |  5785227 |  5561698 |     1790   7863 |        0 |        0
1121.66/1122.02	c 1122s |      25 |  5794963 |  5570998 |     1790   7873 |        0 |        0
1123.65/1124.03	c 1124s |      25 |  5804867 |  5580598 |     1790   7883 |        0 |        0
1125.65/1126.03	c 1126s |      25 |  5814827 |  5590298 |     1790   7893 |        0 |        0
1127.65/1128.03	c 1128s |      25 |  5824559 |  5599698 |     1790   7903 |        0 |        0
1129.65/1130.05	c 1130s |      25 |  5834527 |  5608998 |     1790   7913 |        0 |        0
1131.66/1132.05	c 1132s |      25 |  5843850 |  5617798 |     1790   7923 |        0 |        0
1133.65/1134.06	c 1134s |      25 |  5853461 |  5627098 |     1790   7933 |        0 |        0
1135.64/1136.07	c 1136s |      25 |  5863971 |  5637098 |     1790   7943 |        0 |        0
1137.65/1138.09	c 1138s |      25 |  5874264 |  5646898 |     1790   7954 |        0 |        0
1139.75/1140.12	c 1140s |      25 |  5884535 |  5656798 |     1790   7965 |        0 |        0
1141.75/1142.13	c 1142s |      25 |  5894828 |  5666698 |     1790   7975 |        0 |        0
1143.76/1144.15	c 1144s |      25 |  5905377 |  5676698 |     1790   7986 |        0 |        0
1145.75/1146.16	c 1146s |      25 |  5915437 |  5686198 |     1790   7996 |        0 |        0
1147.75/1148.16	c 1148s |      25 |  5925675 |  5695898 |     1790   8006 |        0 |        0
1149.75/1150.19	c 1150s |      25 |  5935854 |  5705398 |     1790   8017 |        0 |        0
1151.75/1152.19	c 1152s |      25 |  5945901 |  5714898 |     1790   8027 |        0 |        0
1153.85/1154.21	c 1154s |      25 |  5956119 |  5724498 |     1790   8037 |        0 |        0
1155.86/1156.22	c 1156s |      25 |  5965766 |  5733798 |     1790   8047 |        0 |        0
1157.85/1158.22	c 1158s |      25 |  5975555 |  5743298 |     1790   8057 |        0 |        0
1159.85/1160.23	c 1160s |      25 |  5985027 |  5752498 |     1790   8067 |        0 |        0
1161.85/1162.25	c 1162s |      25 |  5994787 |  5761998 |     1790   8077 |        0 |        0
1163.85/1164.27	c 1164s |      25 |  6004710 |  5771598 |     1790   8088 |        0 |        0
1165.85/1166.27	c 1166s |      25 |  6014670 |  5781098 |     1790   8098 |        0 |        0
1167.85/1168.29	c 1168s |      25 |  6024798 |  5790798 |     1790   8108 |        0 |        0
1169.85/1170.29	c 1170s |      25 |  6034929 |  5800398 |     1790   8118 |        0 |        0
1171.94/1172.31	c 1172s |      25 |  6044765 |  5809898 |     1790   8129 |        0 |        0
1173.94/1174.32	c 1174s |      25 |  6054455 |  5819198 |     1790   8139 |        0 |        0
1175.94/1176.33	c 1176s |      25 |  6064483 |  5828698 |     1790   8149 |        0 |        0
1177.94/1178.34	c 1178s |      25 |  6074366 |  5838198 |     1790   8159 |        0 |        0
1179.95/1180.36	c 1180s |      25 |  6084356 |  5847898 |     1790   8169 |        0 |        0
1181.94/1182.36	c 1182s |      25 |  6094377 |  5857398 |     1790   8180 |        0 |        0
1183.94/1184.37	c 1184s |      25 |  6104076 |  5866798 |     1790   8190 |        0 |        0
1185.94/1186.38	c 1186s |      25 |  6113615 |  5876098 |     1790   8200 |        0 |        0
1187.94/1188.39	c 1188s |      25 |  6123494 |  5885598 |     1790   8210 |        0 |        0
1190.04/1190.40	c 1190s |      25 |  6132954 |  5894798 |     1790   8220 |        0 |        0
1192.05/1192.41	c 1192s |      25 |  6142650 |  5903998 |     1790   8230 |        0 |        0
1194.04/1194.42	c 1194s |      25 |  6152375 |  5913398 |     1790   8240 |        0 |        0
1196.04/1196.43	c 1196s |      25 |  6162241 |  5922798 |     1790   8250 |        0 |        0
1198.04/1198.44	c 1198s |      25 |  6172435 |  5932698 |     1790   8260 |        0 |        0
1200.04/1200.44	c 1200s |      25 |  6182747 |  5942298 |     1790   8271 |        0 |        0
1202.05/1202.45	c 1202s |      25 |  6192959 |  5951698 |     1790   8281 |        0 |        0
1204.04/1204.45	c 1204s |      25 |  6202558 |  5960898 |     1790   8291 |        0 |        0
1206.03/1206.47	c 1206s |      25 |  6212557 |  5970598 |     1790   8301 |        0 |        0
1208.04/1208.48	c 1208s |      25 |  6222442 |  5980098 |     1790   8311 |        0 |        0
1210.03/1210.49	c 1210s |      25 |  6232817 |  5989798 |     1790   8322 |        0 |        0
1212.04/1212.49	c 1212s |      25 |  6242991 |  5999398 |     1790   8332 |        0 |        0
1214.15/1214.51	c 1214s |      25 |  6253146 |  6008798 |     1790   8342 |        0 |        0
1216.14/1216.52	c 1216s |      25 |  6263124 |  6018298 |     1790   8352 |        0 |        0
1218.14/1218.53	c 1218s |      25 |  6272453 |  6027298 |     1790   8362 |        0 |        0
1220.14/1220.53	c 1220s |      25 |  6282009 |  6036598 |     1790   8372 |        0 |        0
1222.14/1222.54	c 1222s |      25 |  6291861 |  6045998 |     1790   8382 |        0 |        0
1224.14/1224.56	c 1224s |      25 |  6301750 |  6055398 |     1790   8392 |        0 |        0
1226.14/1226.57	c 1226s |      25 |  6311578 |  6064698 |     1790   8402 |        0 |        0
1228.14/1228.58	c 1228s |      25 |  6321574 |  6074198 |     1790   8412 |        0 |        0
1230.14/1230.58	c 1230s |      25 |  6331502 |  6083598 |     1790   8422 |        0 |        0
1232.13/1232.59	c 1232s |      25 |  6341237 |  6092998 |     1790   8432 |        0 |        0
1234.23/1234.60	c 1234s |      25 |  6351651 |  6102398 |     1790   8442 |        0 |        0
1236.23/1236.60	c 1236s |      25 |  6361387 |  6111698 |     1790   8452 |        0 |        0
1238.24/1238.61	c 1238s |      25 |  6370968 |  6120698 |     1790   8462 |        0 |        0
1240.23/1240.61	c 1240s |      25 |  6380928 |  6130298 |     1790   8472 |        0 |        0
1242.23/1242.63	c 1242s |      25 |  6390671 |  6139798 |     1790   8482 |        0 |        0
1244.23/1244.64	c 1244s |      25 |  6400167 |  6148998 |     1790   8492 |        0 |        0
1246.23/1246.66	c 1246s |      25 |  6410112 |  6158598 |     1790   8503 |        0 |        0
1248.24/1248.68	c 1248s |      25 |  6419737 |  6167998 |     1790   8513 |        0 |        0
1250.24/1250.70	c 1250s |      25 |  6429355 |  6177398 |     1790   8523 |        0 |        0
1252.34/1252.70	c 1252s |      25 |  6439271 |  6186798 |     1790   8533 |        0 |        0
1254.33/1254.71	c 1254s |      25 |  6448998 |  6196298 |     1790   8543 |        0 |        0
1256.34/1256.72	c 1256s |      25 |  6458776 |  6205798 |     1790   8553 |        0 |        0
1258.33/1258.73	c 1258s |      25 |  6468757 |  6215398 |     1790   8564 |        0 |        0
1260.34/1260.73	c 1260s |      25 |  6479032 |  6225198 |     1790   8574 |        0 |        0
1262.33/1262.74	c 1262s |      25 |  6489461 |  6235098 |     1790   8585 |        0 |        0
1264.33/1264.74	c 1264s |      25 |  6499978 |  6245098 |     1790   8595 |        0 |        0
1266.33/1266.75	c 1266s |      25 |  6510284 |  6254898 |     1790   8606 |        0 |        0
1268.33/1268.77	c 1268s |      25 |  6520506 |  6264598 |     1790   8616 |        0 |        0
1270.33/1270.78	c 1270s |      25 |  6530541 |  6274298 |     1790   8627 |        0 |        0
1272.33/1272.79	c 1272s |      25 |  6540786 |  6284098 |     1790   8637 |        0 |        0
1274.43/1274.81	c 1274s |      25 |  6551148 |  6293798 |     1790   8648 |        0 |        0
1276.43/1276.82	c 1276s |      25 |  6561074 |  6303298 |     1790   8658 |        0 |        0
1278.43/1278.82	c 1278s |      25 |  6571546 |  6312998 |     1790   8668 |        0 |        0
1280.43/1280.83	c 1280s |      25 |  6581555 |  6322198 |     1790   8678 |        0 |        0
1282.43/1282.84	c 1282s |      25 |  6591850 |  6331698 |     1790   8688 |        0 |        0
1284.43/1284.85	c 1284s |      25 |  6601788 |  6341198 |     1790   8698 |        0 |        0
1286.42/1286.87	c 1286s |      25 |  6611740 |  6350798 |     1790   8709 |        0 |        0
1288.42/1288.89	c 1288s |      25 |  6622216 |  6360598 |     1790   8719 |        0 |        0
1290.52/1290.90	c 1290s |      25 |  6631647 |  6369598 |     1790   8729 |        0 |        0
1292.52/1292.91	c 1292s |      25 |  6641192 |  6378898 |     1790   8739 |        0 |        0
1294.52/1294.91	c 1294s |      25 |  6650875 |  6387998 |     1790   8748 |        0 |        0
1296.53/1296.93	c 1296s |      25 |  6661052 |  6397698 |     1790   8759 |        0 |        0
1298.52/1298.94	c 1298s |      25 |  6670827 |  6407198 |     1790   8769 |        0 |        0
1300.52/1300.95	c 1300s |      25 |  6680725 |  6416498 |     1790   8779 |        0 |        0
1302.52/1302.97	c 1302s |      25 |  6690613 |  6425998 |     1790   8789 |        0 |        0
1304.52/1304.99	c 1304s |      25 |  6700746 |  6435598 |     1790   8800 |        0 |        0
1306.62/1307.01	c 1306s |      25 |  6710440 |  6444898 |     1790   8810 |        0 |        0
1308.63/1309.03	c 1309s |      25 |  6720150 |  6454198 |     1790   8820 |        0 |        0
1310.63/1311.04	c 1311s |      25 |  6730336 |  6463998 |     1790   8830 |        0 |        0
1312.63/1313.05	c 1313s |      25 |  6740373 |  6473498 |     1790   8840 |        0 |        0
1314.63/1315.07	c 1315s |      25 |  6750354 |  6482998 |     1790   8850 |        0 |        0
1316.62/1317.08	c 1317s |      25 |  6760211 |  6492398 |     1790   8861 |        0 |        0
1318.63/1319.10	c 1319s |      25 |  6770067 |  6501898 |     1790   8871 |        0 |        0
1320.62/1321.10	c 1321s |      25 |  6779873 |  6511098 |     1790   8881 |        0 |        0
1322.72/1323.11	c 1323s |      25 |  6789481 |  6520398 |     1790   8891 |        0 |        0
1324.72/1325.12	c 1325s |      25 |  6799088 |  6529698 |     1790   8901 |        0 |        0
1326.72/1327.12	c 1327s |      25 |  6808618 |  6538798 |     1790   8910 |        0 |        0
1328.72/1329.12	c 1329s |      25 |  6818374 |  6548198 |     1790   8920 |        0 |        0
1330.73/1331.13	c 1331s |      25 |  6827798 |  6557398 |     1790   8930 |        0 |        0
1332.72/1333.14	c 1333s |      25 |  6837854 |  6566998 |     1790   8941 |        0 |        0
1334.72/1335.16	c 1335s |      25 |  6847998 |  6576598 |     1790   8951 |        0 |        0
1336.72/1337.17	c 1337s |      25 |  6857688 |  6585898 |     1790   8961 |        0 |        0
1338.72/1339.18	c 1339s |      25 |  6867692 |  6595198 |     1790   8971 |        0 |        0
1340.82/1341.20	c 1341s |      25 |  6877103 |  6604398 |     1790   8981 |        0 |        0
1342.83/1343.21	c 1343s |      25 |  6886441 |  6613398 |     1790   8990 |        0 |        0
1344.82/1345.22	c 1345s |      25 |  6895960 |  6622598 |     1790   9000 |        0 |        0
1346.82/1347.23	c 1347s |      25 |  6905575 |  6631698 |     1790   9010 |        0 |        0
1348.82/1349.24	c 1349s |      25 |  6915015 |  6640698 |     1790   9020 |        0 |        0
1350.82/1351.25	c 1351s |      25 |  6924897 |  6649898 |     1790   9030 |        0 |        0
1352.82/1353.26	c 1353s |      25 |  6934613 |  6659198 |     1790   9040 |        0 |        0
1354.82/1355.27	c 1355s |      25 |  6944176 |  6668398 |     1790   9049 |        0 |        0
1356.81/1357.28	c 1357s |      25 |  6953526 |  6677398 |     1790   9059 |        0 |        0
1358.81/1359.28	c 1359s |      25 |  6963821 |  6687198 |     1790   9070 |        0 |        0
1360.81/1361.30	c 1361s |      25 |  6973911 |  6696798 |     1790   9080 |        0 |        0
1362.91/1363.30	c 1363s |      25 |  6984058 |  6706598 |     1790   9090 |        0 |        0
1364.91/1365.30	c 1365s |      25 |  6993968 |  6716098 |     1790   9100 |        0 |        0
1366.92/1367.31	c 1367s |      25 |  7003900 |  6725698 |     1790   9111 |        0 |        0
1368.91/1369.33	c 1369s |      25 |  7014115 |  6735398 |     1790   9121 |        0 |        0
1370.91/1371.36	c 1371s |      25 |  7024348 |  6745098 |     1790   9132 |        0 |        0
1372.91/1373.36	c 1373s |      25 |  7034390 |  6754798 |     1790   9142 |        0 |        0
1374.91/1375.36	c 1375s |      25 |  7044795 |  6764598 |     1790   9152 |        0 |        0
1376.92/1377.36	c 1377s |      25 |  7054867 |  6774098 |     1790   9163 |        0 |        0
1378.91/1379.36	c 1379s |      25 |  7064664 |  6783498 |     1790   9173 |        0 |        0
1380.91/1381.37	c 1381s |      25 |  7074605 |  6792998 |     1790   9183 |        0 |        0
1382.91/1383.38	c 1383s |      25 |  7085035 |  6802898 |     1790   9193 |        0 |        0
1385.01/1385.40	c 1385s |      25 |  7095280 |  6812698 |     1790   9204 |        0 |        0
1387.01/1387.42	c 1387s |      25 |  7105431 |  6822198 |     1790   9214 |        0 |        0
1389.01/1389.43	c 1389s |      25 |  7115447 |  6831698 |     1790   9224 |        0 |        0
1391.01/1391.44	c 1391s |      25 |  7125307 |  6841098 |     1790   9234 |        0 |        0
1393.01/1393.45	c 1393s |      25 |  7135102 |  6850498 |     1790   9244 |        0 |        0
1395.01/1395.45	c 1395s |      25 |  7145006 |  6859898 |     1790   9254 |        0 |        0
1397.00/1397.46	c 1397s |      25 |  7155504 |  6869598 |     1790   9265 |        0 |        0
1399.01/1399.46	c 1399s |      25 |  7165634 |  6878998 |     1790   9275 |        0 |        0
1401.01/1401.48	c 1401s |      25 |  7175388 |  6888298 |     1790   9285 |        0 |        0
1403.00/1403.49	c 1403s |      25 |  7185186 |  6897598 |     1790   9295 |        0 |        0
1405.10/1405.51	c 1405s |      25 |  7194969 |  6906898 |     1790   9305 |        0 |        0
1407.10/1407.52	c 1407s |      25 |  7204891 |  6916498 |     1790   9315 |        0 |        0
1409.10/1409.53	c 1409s |      25 |  7214967 |  6926098 |     1790   9325 |        0 |        0
1411.10/1411.54	c 1411s |      25 |  7224699 |  6935498 |     1790   9335 |        0 |        0
1413.11/1413.55	c 1413s |      25 |  7234315 |  6944798 |     1790   9345 |        0 |        0
1415.10/1415.58	c 1415s |      25 |  7244341 |  6954298 |     1790   9356 |        0 |        0
1417.11/1417.59	c 1417s |      25 |  7254321 |  6963798 |     1790   9366 |        0 |        0
1419.21/1419.60	c 1419s |      25 |  7264385 |  6973498 |     1790   9376 |        0 |        0
1421.21/1421.61	c 1421s |      25 |  7274193 |  6982798 |     1790   9386 |        0 |        0
1423.21/1423.63	c 1423s |      25 |  7284010 |  6992298 |     1790   9396 |        0 |        0
1425.21/1425.64	c 1425s |      25 |  7293813 |  7001698 |     1790   9406 |        0 |        0
1427.21/1427.65	c 1427s |      25 |  7303290 |  7010798 |     1790   9416 |        0 |        0
1429.21/1429.66	c 1429s |      25 |  7312903 |  7019998 |     1790   9426 |        0 |        0
1431.21/1431.68	c 1431s |      25 |  7322422 |  7029198 |     1790   9436 |        0 |        0
1433.20/1433.69	c 1433s |      25 |  7332444 |  7038798 |     1790   9446 |        0 |        0
1435.21/1435.69	c 1435s |      25 |  7342544 |  7048398 |     1790   9457 |        0 |        0
1437.20/1437.69	c 1437s |      25 |  7352433 |  7057798 |     1790   9467 |        0 |        0
1439.30/1439.70	c 1439s |      25 |  7362224 |  7067198 |     1790   9477 |        0 |        0
1441.30/1441.72	c 1441s |      25 |  7372005 |  7076698 |     1790   9487 |        0 |        0
1443.30/1443.73	c 1443s |      25 |  7381919 |  7086198 |     1790   9497 |        0 |        0
1445.30/1445.73	c 1445s |      25 |  7391612 |  7095498 |     1790   9507 |        0 |        0
1447.31/1447.75	c 1447s |      25 |  7401637 |  7104798 |     1790   9517 |        0 |        0
1449.30/1449.77	c 1449s |      25 |  7411219 |  7113798 |     1790   9527 |        0 |        0
1451.30/1451.79	c 1451s |      25 |  7420920 |  7122898 |     1790   9537 |        0 |        0
1453.30/1453.79	c 1453s |      25 |  7430607 |  7132098 |     1790   9546 |        0 |        0
1455.29/1455.80	c 1455s |      25 |  7440525 |  7141298 |     1790   9556 |        0 |        0
1457.40/1457.80	c 1457s |      25 |  7450176 |  7150598 |     1790   9566 |        0 |        0
1459.41/1459.81	c 1459s |      25 |  7460174 |  7159698 |     1790   9576 |        0 |        0
1461.40/1461.81	c 1461s |      25 |  7470615 |  7169298 |     1790   9586 |        0 |        0
1463.40/1463.81	c 1463s |      25 |  7480814 |  7178898 |     1790   9597 |        0 |        0
1465.40/1465.84	c 1465s |      25 |  7490777 |  7188398 |     1790   9607 |        0 |        0
1467.40/1467.84	c 1467s |      25 |  7500721 |  7197798 |     1790   9617 |        0 |        0
1469.40/1469.85	c 1469s |      25 |  7510702 |  7207298 |     1790   9627 |        0 |        0
1471.41/1471.87	c 1471s |      25 |  7520992 |  7216798 |     1790   9637 |        0 |        0
1473.40/1473.88	c 1473s |      25 |  7530940 |  7226098 |     1790   9647 |        0 |        0
1475.40/1475.89	c 1475s |      25 |  7540406 |  7235198 |     1790   9657 |        0 |        0
1477.50/1477.91	c 1477s |      25 |  7550279 |  7244498 |     1790   9667 |        0 |        0
1479.50/1479.92	c 1479s |      25 |  7559935 |  7253798 |     1790   9677 |        0 |        0
1481.50/1481.92	c 1481s |      25 |  7569471 |  7262798 |     1790   9687 |        0 |        0
1483.50/1483.94	c 1483s |      25 |  7579182 |  7271898 |     1790   9696 |        0 |        0
1485.50/1485.95	c 1485s |      25 |  7588824 |  7281198 |     1790   9706 |        0 |        0
1487.49/1487.96	c 1487s |      25 |  7598468 |  7290298 |     1790   9716 |        0 |        0
1489.49/1489.98	c 1489s |      25 |  7608193 |  7299498 |     1790   9726 |        0 |        0
1491.49/1491.99	c 1491s |      25 |  7617858 |  7308498 |     1790   9736 |        0 |        0
1493.59/1494.01	c 1493s |      25 |  7627884 |  7317598 |     1790   9745 |        0 |        0
1495.60/1496.01	c 1495s |      25 |  7637923 |  7326598 |     1790   9755 |        0 |        0
1497.59/1498.03	c 1498s |      25 |  7647703 |  7335398 |     1790   9765 |        0 |        0
1499.59/1500.05	c 1500s |      25 |  7657974 |  7345098 |     1790   9775 |        0 |        0
1501.59/1502.08	c 1502s |      25 |  7668184 |  7354898 |     1790   9786 |        0 |        0
1503.59/1504.09	c 1504s |      25 |  7678400 |  7364698 |     1790   9796 |        0 |        0
1505.69/1506.10	c 1506s |      25 |  7688454 |  7374198 |     1790   9806 |        0 |        0
1507.70/1508.12	c 1508s |      25 |  7698451 |  7383898 |     1790   9817 |        0 |        0
1509.69/1510.13	c 1510s |      25 |  7708431 |  7393498 |     1790   9827 |        0 |        0
1511.69/1512.15	c 1512s |      25 |  7718469 |  7403298 |     1790   9837 |        0 |        0
1513.69/1514.15	c 1514s |      25 |  7728615 |  7413098 |     1790   9848 |        0 |        0
1515.69/1516.16	c 1516s |      25 |  7738364 |  7422498 |     1790   9858 |        0 |        0
1517.69/1518.16	c 1518s |      25 |  7748506 |  7432398 |     1790   9869 |        0 |        0
1519.69/1520.18	c 1520s |      25 |  7758420 |  7441998 |     1790   9879 |        0 |        0
1521.69/1522.18	c 1522s |      25 |  7768194 |  7451498 |     1790   9889 |        0 |        0
1523.69/1524.20	c 1524s |      25 |  7778482 |  7461498 |     1790   9900 |        0 |        0
1525.79/1526.21	c 1526s |      25 |  7788486 |  7471098 |     1790   9910 |        0 |        0
1527.79/1528.21	c 1528s |      25 |  7798703 |  7480498 |     1790   9920 |        0 |        0
1529.79/1530.22	c 1530s |      25 |  7808595 |  7490198 |     1790   9930 |        0 |        0
1531.78/1532.23	c 1532s |      25 |  7818352 |  7499498 |     1790   9940 |        0 |        0
1533.79/1534.24	c 1534s |      25 |  7828125 |  7508898 |     1790   9951 |        0 |        0
1535.79/1536.26	c 1536s |      25 |  7838383 |  7518598 |     1790   9961 |        0 |        0
1537.79/1538.27	c 1538s |      25 |  7848048 |  7527998 |     1790   9971 |        0 |        0
1539.79/1540.29	c 1540s |      25 |  7858058 |  7537598 |     1790   9981 |        0 |        0
1541.90/1542.31	c 1542s |      25 |  7867884 |  7547198 |     1970   9991 |        0 |        0
1543.89/1544.32	c 1544s |      25 |  7877781 |  7556698 |     1970  10000 |        0 |        0
1545.89/1546.32	c 1546s |      25 |  7887342 |  7565898 |     1970  10009 |        0 |        0
1547.89/1548.33	c 1548s |      25 |  7897123 |  7575298 |     1970  10019 |        0 |        0
1549.89/1550.33	c 1550s |      25 |  7906891 |  7584598 |     1970  10028 |        0 |        0
1551.89/1552.34	c 1552s |      25 |  7916432 |  7593698 |     1970  10037 |        0 |        0
1552.79/1553.22	c 1553s |      26 |  7920576 |  7597752 |     1970  10041 |        0 |        0
1554.79/1555.22	c 1555s |      26 |  7930717 |  7607352 |     1970  10050 |        0 |        0
1556.79/1557.23	c 1557s |      26 |  7940629 |  7617052 |     1970  10059 |        0 |        0
1558.78/1559.24	c 1559s |      26 |  7950746 |  7626752 |     1970  10069 |        0 |        0
1560.78/1561.26	c 1561s |      26 |  7960725 |  7636452 |     1970  10078 |        0 |        0
1562.79/1563.26	c 1563s |      26 |  7970595 |  7646052 |     1970  10088 |        0 |        0
1564.78/1565.27	c 1565s |      26 |  7980520 |  7655652 |     1970  10097 |        0 |        0
1566.78/1567.29	c 1567s |      26 |  7990617 |  7665152 |     1970  10106 |        0 |        0
1568.88/1569.31	c 1569s |      26 |  8001020 |  7675152 |     1970  10116 |        0 |        0
1570.88/1571.32	c 1571s |      26 |  8011565 |  7685152 |     1970  10126 |        0 |        0
1572.88/1573.34	c 1573s |      26 |  8021881 |  7694952 |     1970  10136 |        0 |        0
1574.89/1575.35	c 1575s |      26 |  8032047 |  7704352 |     1970  10145 |        0 |        0
1576.88/1577.36	c 1577s |      26 |  8041997 |  7713852 |     1970  10154 |        0 |        0
1578.88/1579.38	c 1579s |      26 |  8051798 |  7723352 |     1970  10163 |        0 |        0
1580.88/1581.39	c 1581s |      26 |  8061634 |  7732852 |     1970  10173 |        0 |        0
1582.98/1583.41	c 1583s |      26 |  8071824 |  7742452 |     1970  10182 |        0 |        0
1584.98/1585.41	c 1585s |      26 |  8081666 |  7751952 |     1970  10191 |        0 |        0
1586.98/1587.43	c 1587s |      26 |  8091651 |  7761452 |     1970  10201 |        0 |        0
1588.98/1589.44	c 1589s |      26 |  8101526 |  7770752 |     1970  10210 |        0 |        0
1590.98/1591.44	c 1591s |      26 |  8111743 |  7780352 |     1970  10219 |        0 |        0
1592.98/1593.46	c 1593s |      26 |  8122067 |  7790152 |     1970  10229 |        0 |        0
1594.97/1595.48	c 1595s |      26 |  8131986 |  7799652 |     1970  10238 |        0 |        0
1597.07/1597.50	c 1597s |      26 |  8141813 |  7809152 |     1970  10247 |        0 |        0
1599.08/1599.55	c 1599s |      26 |  8151519 |  7818352 |     1970  10256 |        0 |        0
1601.07/1601.55	c 1601s |      26 |  8161832 |  7828352 |     1970  10266 |        0 |        0
1603.07/1603.57	c 1603s |      26 |  8172320 |  7838352 |     1970  10276 |        0 |        0
1605.07/1605.58	c 1605s |      26 |  8182399 |  7847952 |     1970  10285 |        0 |        0
1607.07/1607.58	c 1607s |      26 |  8192283 |  7857452 |     1970  10294 |        0 |        0
1609.18/1609.60	c 1609s |      26 |  8202385 |  7867052 |     1970  10304 |        0 |        0
1611.19/1611.62	c 1611s |      26 |  8212409 |  7876652 |     1970  10313 |        0 |        0
1613.18/1613.63	c 1613s |      26 |  8222113 |  7886052 |     1970  10322 |        0 |        0
1615.18/1615.64	c 1615s |      26 |  8232120 |  7895652 |     1970  10332 |        0 |        0
1617.18/1617.65	c 1617s |      26 |  8242359 |  7905252 |     1970  10341 |        0 |        0
1619.18/1619.66	c 1619s |      26 |  8252705 |  7914952 |     1970  10351 |        0 |        0
1621.18/1621.67	c 1621s |      26 |  8262979 |  7924852 |     1970  10360 |        0 |        0
1623.18/1623.69	c 1623s |      26 |  8273114 |  7934552 |     1970  10370 |        0 |        0
1625.28/1625.70	c 1625s |      26 |  8283255 |  7944252 |     1970  10379 |        0 |        0
1627.27/1627.70	c 1627s |      26 |  8293194 |  7953752 |     1970  10389 |        0 |        0
1629.27/1629.72	c 1629s |      26 |  8303304 |  7963452 |     1970  10398 |        0 |        0
1631.27/1631.72	c 1631s |      26 |  8313452 |  7973152 |     1970  10408 |        0 |        0
1633.27/1633.74	c 1633s |      26 |  8323297 |  7982452 |     1970  10417 |        0 |        0
1635.28/1635.76	c 1635s |      26 |  8332865 |  7991652 |     1970  10426 |        0 |        0
1637.27/1637.78	c 1637s |      26 |  8342487 |  8000752 |     1970  10435 |        0 |        0
1639.37/1639.80	c 1639s |      26 |  8352411 |  8010152 |     1970  10444 |        0 |        0
1641.37/1641.81	c 1641s |      26 |  8362576 |  8019952 |     1970  10453 |        0 |        0
1643.37/1643.82	c 1643s |      26 |  8372596 |  8029652 |     1970  10463 |        0 |        0
1645.37/1645.82	c 1645s |      26 |  8382530 |  8039152 |     1970  10472 |        0 |        0
1647.38/1647.83	c 1647s |      26 |  8392436 |  8048252 |     1970  10481 |        0 |        0
1649.37/1649.85	c 1649s |      26 |  8402184 |  8057652 |     1970  10490 |        0 |        0
1651.37/1651.85	c 1651s |      26 |  8412308 |  8067252 |     1970  10500 |        0 |        0
1653.37/1653.87	c 1653s |      26 |  8421846 |  8076352 |     1970  10509 |        0 |        0
1655.37/1655.88	c 1655s |      26 |  8431125 |  8085152 |     1970  10517 |        0 |        0
1657.37/1657.89	c 1657s |      26 |  8441072 |  8094652 |     1970  10527 |        0 |        0
1659.37/1659.90	c 1659s |      26 |  8451073 |  8104152 |     1970  10536 |        0 |        0
1661.47/1661.92	c 1661s |      26 |  8461321 |  8113752 |     1970  10545 |        0 |        0
1663.47/1663.92	c 1663s |      26 |  8471586 |  8123352 |     1970  10555 |        0 |        0
1665.47/1665.94	c 1665s |      26 |  8481530 |  8132852 |     1970  10564 |        0 |        0
1667.47/1667.94	c 1667s |      26 |  8491105 |  8142052 |     1970  10573 |        0 |        0
1669.47/1669.95	c 1669s |      26 |  8500733 |  8151352 |     1970  10582 |        0 |        0
1671.46/1671.97	c 1671s |      26 |  8510492 |  8160752 |     1970  10591 |        0 |        0
1673.46/1673.98	c 1673s |      26 |  8520032 |  8169852 |     1970  10600 |        0 |        0
1675.46/1675.99	c 1675s |      26 |  8530253 |  8179352 |     1970  10609 |        0 |        0
1677.56/1678.01	c 1677s |      26 |  8539895 |  8188552 |     1970  10618 |        0 |        0
1679.56/1680.02	c 1680s |      26 |  8549654 |  8197752 |     1970  10627 |        0 |        0
1681.57/1682.04	c 1682s |      26 |  8559618 |  8206852 |     1970  10636 |        0 |        0
1683.56/1684.04	c 1684s |      26 |  8569479 |  8216452 |     1970  10646 |        0 |        0
1685.56/1686.06	c 1686s |      26 |  8579694 |  8226152 |     1970  10655 |        0 |        0
1687.56/1688.06	c 1688s |      26 |  8589674 |  8235652 |     1970  10664 |        0 |        0
1689.56/1690.07	c 1690s |      26 |  8599476 |  8244852 |     1970  10673 |        0 |        0
1691.56/1692.07	c 1692s |      26 |  8609268 |  8254252 |     1970  10683 |        0 |        0
1693.57/1694.07	c 1694s |      26 |  8619301 |  8263852 |     1970  10692 |        0 |        0
1695.57/1696.09	c 1696s |      26 |  8629181 |  8273052 |     1970  10701 |        0 |        0
1697.67/1698.11	c 1698s |      26 |  8639370 |  8282952 |     1970  10711 |        0 |        0
1699.67/1700.12	c 1700s |      26 |  8649420 |  8292552 |     1970  10720 |        0 |        0
1701.67/1702.13	c 1702s |      26 |  8659100 |  8301952 |     1970  10729 |        0 |        0
1703.67/1704.14	c 1704s |      26 |  8668664 |  8311252 |     1970  10738 |        0 |        0
1705.67/1706.14	c 1706s |      26 |  8678265 |  8320552 |     1970  10747 |        0 |        0
1707.67/1708.14	c 1708s |      26 |  8687809 |  8329852 |     1970  10756 |        0 |        0
1709.66/1710.14	c 1710s |      26 |  8697135 |  8338852 |     1970  10765 |        0 |        0
1711.66/1712.17	c 1712s |      26 |  8706176 |  8347652 |     1970  10774 |        0 |        0
1713.66/1714.18	c 1714s |      26 |  8715419 |  8356552 |     1970  10783 |        0 |        0
1715.67/1716.19	c 1716s |      26 |  8724917 |  8365752 |     1970  10792 |        0 |        0
1717.66/1718.20	c 1718s |      26 |  8734617 |  8375152 |     1970  10801 |        0 |        0
1719.76/1720.20	c 1720s |      26 |  8744520 |  8384552 |     1970  10810 |        0 |        0
1721.76/1722.21	c 1722s |      26 |  8754256 |  8393952 |     1970  10819 |        0 |        0
1723.76/1724.22	c 1724s |      26 |  8764251 |  8403452 |     1970  10828 |        0 |        0
1725.76/1726.24	c 1726s |      26 |  8773832 |  8412652 |     1970  10837 |        0 |        0
1727.77/1728.25	c 1728s |      26 |  8783194 |  8421452 |     1970  10846 |        0 |        0
1729.76/1730.26	c 1730s |      26 |  8792540 |  8430352 |     1970  10855 |        0 |        0
1731.76/1732.27	c 1732s |      26 |  8802291 |  8439652 |     1970  10864 |        0 |        0
1733.76/1734.28	c 1734s |      26 |  8812990 |  8449952 |     1970  10874 |        0 |        0
1735.76/1736.30	c 1736s |      26 |  8823496 |  8459952 |     1970  10884 |        0 |        0
1737.86/1738.31	c 1738s |      26 |  8833602 |  8469652 |     1970  10893 |        0 |        0
1739.86/1740.32	c 1740s |      26 |  8844362 |  8479652 |     1970  10903 |        0 |        0
1741.85/1742.33	c 1742s |      26 |  8854557 |  8489252 |     1970  10912 |        0 |        0
1743.85/1744.35	c 1744s |      26 |  8864664 |  8499052 |     1970  10922 |        0 |        0
1745.85/1746.35	c 1746s |      26 |  8874871 |  8508552 |     1970  10931 |        0 |        0
1747.85/1748.38	c 1748s |      26 |  8885250 |  8518152 |     1970  10941 |        0 |        0
1749.85/1750.38	c 1750s |      26 |  8895776 |  8527752 |     1970  10950 |        0 |        0
1751.86/1752.38	c 1752s |      26 |  8905675 |  8537152 |     1970  10959 |        0 |        0
1753.85/1754.39	c 1754s |      26 |  8915711 |  8546752 |     1970  10968 |        0 |        0
1755.85/1756.39	c 1756s |      26 |  8925562 |  8556252 |     1970  10978 |        0 |        0
1757.95/1758.40	c 1758s |      26 |  8935520 |  8565852 |     1970  10987 |        0 |        0
1759.95/1760.42	c 1760s |      26 |  8945371 |  8575452 |     1970  10997 |        0 |        0
1761.95/1762.42	c 1762s |      26 |  8955511 |  8585152 |     1970  11006 |        0 |        0
1763.95/1764.42	c 1764s |      26 |  8965811 |  8594852 |     1970  11015 |        0 |        0
1765.95/1766.44	c 1766s |      26 |  8975655 |  8604152 |     1970  11025 |        0 |        0
1767.95/1768.46	c 1768s |      26 |  8985507 |  8613552 |     1970  11034 |        0 |        0
1769.95/1770.47	c 1770s |      26 |  8996007 |  8623552 |     1970  11044 |        0 |        0
1771.95/1772.49	c 1772s |      26 |  9006275 |  8633052 |     1970  11053 |        0 |        0
1774.05/1774.50	c 1774s |      26 |  9016375 |  8642552 |     1970  11062 |        0 |        0
1776.06/1776.52	c 1776s |      26 |  9026433 |  8652352 |     1970  11072 |        0 |        0
1778.05/1778.53	c 1778s |      26 |  9036783 |  8661952 |     1970  11081 |        0 |        0
1780.05/1780.55	c 1780s |      26 |  9047293 |  8671852 |     1970  11091 |        0 |        0
1782.05/1782.56	c 1782s |      26 |  9057127 |  8681252 |     1970  11100 |        0 |        0
1784.05/1784.57	c 1784s |      26 |  9067179 |  8690952 |     1970  11110 |        0 |        0
1786.06/1786.59	c 1786s |      26 |  9077300 |  8700552 |     1970  11119 |        0 |        0
1788.05/1788.59	c 1788s |      26 |  9087244 |  8710052 |     1970  11128 |        0 |        0
1790.15/1790.61	c 1790s |      26 |  9097302 |  8719652 |     1970  11138 |        0 |        0
1792.15/1792.62	c 1792s |      26 |  9107548 |  8729352 |     1970  11147 |        0 |        0
1794.15/1794.64	c 1794s |      26 |  9117566 |  8738952 |     1970  11157 |        0 |        0
1796.15/1796.66	c 1796s |      26 |  9127829 |  8748752 |     1970  11166 |        0 |        0
1798.15/1798.66	c 1798s |      26 |  9137927 |  8758452 |     1970  11176 |        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-4088945-1466019255/watcher-4088945-1466019255 -o /tmp/evaluation-result-4088945-1466019255/solver-4088945-1466019255 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088945-1466019255.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.24 2.23 3/179 6566
/proc/meminfo: memFree=29414940/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 2581 0 0 0 0 0 0 0 20 0 4 0 3971957 709292032 2942 33554432000 4194304 16246674 140735820600768 140735820600192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 173935 2953 441 2943 0 170829 0
[pid=6566/tid=6567] ppid=6563 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 727117824 3009 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 731312128 3026 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 735506432 3042 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.12 2.24 2.23 3/179 6566
/proc/meminfo: memFree=29414940/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 29506 0 0 0 6 2 0 0 20 0 4 0 3971957 1247350784 29856 33554432000 4194304 16246674 140735820600768 140735820600192 5515033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 304529 29867 711 2943 0 301423 0
[pid=6566/tid=6567] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1247350784 29877 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1247350784 29888 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1247350784 29896 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200603 s]
/proc/loadavg: 2.12 2.24 2.23 3/179 6566
/proc/meminfo: memFree=29414940/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 58887 0 0 0 12 7 0 0 20 0 4 0 3971957 1247350784 59237 33554432000 4194304 16246674 140735820600768 140735820582656 6021055 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 304529 59250 711 2943 0 301423 0
[pid=6566/tid=6567] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1247350784 59261 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1247350784 59272 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1247350784 59282 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300493 s]
/proc/loadavg: 2.12 2.24 2.23 3/179 6566
/proc/meminfo: memFree=29414940/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 87936 0 0 0 18 11 0 0 20 0 4 0 3971957 1247350784 88287 33554432000 4194304 16246674 140735820600768 140735820582656 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 304529 88300 711 2943 0 301423 0
[pid=6566/tid=6567] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1247350784 88311 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1247350784 88322 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1247350784 88332 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700422 s]
/proc/loadavg: 2.12 2.24 2.23 3/179 6566
/proc/meminfo: memFree=29414940/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 205794 0 0 0 42 26 0 0 20 0 4 0 3971957 1247350784 206145 33554432000 4194304 16246674 140735820600768 140735820582656 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 304529 206162 711 2943 0 301423 0
[pid=6566/tid=6567] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1247350784 206172 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1247350784 206183 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1247350784 206191 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.12 2.24 2.23 3/183 6570
/proc/meminfo: memFree=28430788/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 267128 0 0 0 115 34 0 0 20 0 4 0 3971957 1336479744 267458 33554432000 4194304 16246674 140735820600768 140735820583768 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 326289 267458 789 2943 0 323183 0
[pid=6566/tid=6567] ppid=6563 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1336479744 267458 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1336479744 267458 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1336479744 267458 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.12 2.24 2.23 3/183 6570
/proc/meminfo: memFree=28343972/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 267409 0 0 0 275 34 0 0 20 0 4 0 3971957 1337528320 267739 33554432000 4194304 16246674 140735820600768 140735820582656 5674832 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 326545 267739 789 2943 0 323439 0
[pid=6566/tid=6567] ppid=6563 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1337528320 267739 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1337528320 267739 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1337528320 267739 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30044 s]
/proc/loadavg: 2.11 2.24 2.23 3/183 6570
/proc/meminfo: memFree=28343996/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 267458 0 0 0 595 34 0 0 20 0 4 0 3971957 1337528320 267788 33554432000 4194304 16246674 140735820600768 140735820582656 5523091 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 326545 267788 789 2943 0 323439 0
[pid=6566/tid=6567] ppid=6563 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1337528320 267788 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1337528320 267788 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1337528320 267788 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.18 2.25 2.23 4/183 6570
/proc/meminfo: memFree=28343396/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1307204 CPUtime=12.68 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 267589 0 0 0 1234 34 0 0 20 0 4 0 3971957 1338576896 267919 33554432000 4194304 16246674 140735820600768 140735820582656 5661989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 326801 267919 790 2943 0 323695 0
[pid=6566/tid=6567] ppid=6563 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1338576896 267919 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1338576896 267919 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1338576896 267919 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.21 2.25 2.23 3/183 6570
/proc/meminfo: memFree=28341820/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 267828 0 0 0 2514 34 0 0 20 0 4 0 3971957 1338576896 268158 33554432000 4194304 16246674 140735820600768 140735820582656 5721394 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 326801 268158 790 2943 0 323695 0
[pid=6566/tid=6567] ppid=6563 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1338576896 268158 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1338576896 268158 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1338576896 268158 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.20 2.25 2.23 3/183 6570
/proc/meminfo: memFree=28342160/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1307204 CPUtime=51.09 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 267830 0 0 0 5074 35 0 0 20 0 4 0 3971957 1338576896 268160 33554432000 4194304 16246674 140735820600768 140735820582656 5721616 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 326801 268160 792 2943 0 323695 0
[pid=6566/tid=6567] ppid=6563 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1338576896 268160 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1338576896 268160 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1338576896 268160 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.25 2.25 2.23 4/183 6571
/proc/meminfo: memFree=28342080/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 267830 0 0 0 10192 36 0 0 20 0 4 0 3971957 1338576896 268160 33554432000 4194304 16246674 140735820600768 140735820582656 5721559 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 326801 268160 792 2943 0 323695 0
[pid=6566/tid=6567] ppid=6563 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1338576896 268160 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1338576896 268160 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1338576896 268160 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1346965504 270465 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.26 2.24 2.21 4/183 6748
/proc/meminfo: memFree=28384752/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1315396 CPUtime=1361.92 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 270259 0 0 0 136134 58 0 0 20 0 4 0 3971957 1346965504 270465 33554432000 4194304 16246674 140735820600768 140735820582656 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 328849 270465 793 2943 0 325743 0
[pid=6566/tid=6567] ppid=6563 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1346965504 270465 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1346965504 270465 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1346965504 270465 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.24 2.23 2.21 4/183 6749
/proc/meminfo: memFree=28383424/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1316420 CPUtime=1421.91 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 270515 0 0 0 142132 59 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140735820582656 5840108 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 329105 270721 793 2943 0 325999 0
[pid=6566/tid=6567] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.26 2.24 2.21 3/183 6750
/proc/meminfo: memFree=28383360/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1316420 CPUtime=1481.9 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 270515 0 0 0 148130 60 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140735820582656 13927427 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 329105 270721 793 2943 0 325999 0
[pid=6566/tid=6567] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.25 2.24 2.21 4/183 6752
/proc/meminfo: memFree=28383772/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1316420 CPUtime=1541.9 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 270515 0 0 0 154129 61 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140735820583768 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 329105 270721 793 2943 0 325999 0
[pid=6566/tid=6567] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.30 2.25 2.21 3/184 6756
/proc/meminfo: memFree=28383036/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1316420 CPUtime=1601.87 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 270515 0 0 0 160126 61 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140735820583768 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 329105 270721 793 2943 0 325999 0
[pid=6566/tid=6567] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.26 2.25 2.21 3/184 6780
/proc/meminfo: memFree=28382632/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1316420 CPUtime=1661.87 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 270515 0 0 0 166125 62 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140735820582656 13927423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 329105 270721 793 2943 0 325999 0
[pid=6566/tid=6567] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.25 2.24 2.21 3/183 6781
/proc/meminfo: memFree=28383216/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1316420 CPUtime=1721.86 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 270515 0 0 0 172123 63 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140735820582656 5840701 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 329105 270721 793 2943 0 325999 0
[pid=6566/tid=6567] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.24 2.21 3/183 6782
/proc/meminfo: memFree=28382848/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1316420 CPUtime=1781.85 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 270515 0 0 0 178121 64 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140735820582656 5677228 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 329105 270721 793 2943 0 325999 0
[pid=6566/tid=6567] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.23 2.20 3/183 6784
/proc/meminfo: memFree=28383424/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1316420 CPUtime=1800.04 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 270515 0 0 0 179940 64 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140735820582656 12483423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 329105 270721 793 2943 0 325999 0
[pid=6566/tid=6567] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 6566 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.17 2.23 2.20 3/183 6784
/proc/meminfo: memFree=28383424/32872528 swapFree=1369816/1516984
[pid=6566] ppid=6563 vsize=1316420 CPUtime=1800.04 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5822 0 -1 4202496 270515 0 0 0 179940 64 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140735820582656 12483423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 329105 270721 793 2943 0 325999 0
[pid=6566/tid=6567] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064645426416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064634936560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3971957 1348014080 270721 33554432000 4194304 16246674 140735820600768 140064520662192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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.41
CPU system time (s): 0.647901
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.647901
maximum resident set size= 1082884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270515
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= 393
involuntary context switches= 2270

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7221 second user time and 16.6715 second system time

The end

Begin job on node129 at 2016-06-15 21:34:15
IDJOB=4088945
IDBENCH=107336
IDSOLVER=2542
FILE ID=node129/4088945-1466019255
RUNJOBID= node129-1466013843-5839
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= ca4322a45d4aea0df6201ea7b6943be2
RANDOM SEED=332238779

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29415740 kB
Buffers:           10616 kB
Cached:            73388 kB
SwapCached:        20176 kB
Active:          1194032 kB
Inactive:          45480 kB
Active(anon):    1137504 kB
Inactive(anon):    20104 kB
Active(file):      56528 kB
Inactive(file):    25376 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081528 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       2618528 kB
Mapped:            10296 kB
Shmem:                 0 kB
Slab:             566124 kB
SReclaimable:      10380 kB
SUnreclaim:       555744 kB
KernelStack:        1520 kB
PageTables:         9656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2794512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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= 71704 MiB
End job on node129 at 2016-06-15 22:04:15