0.00/0.00	c 2016-06-15T22:04:16+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-4089078-1466021056.opb"]
0.00/0.01	c use --random-gen="2590558310 1115063564 3913722246 1894255601 3105892300 3323469032 850800698 1872739302 1274506119 1969667138 1111685376 505533758 2585909961 100047697 4158125295 3775870306 601471925 3878293438 1694633223 2238850586 1460568213 2683763744 1968974003 2575996121 3097417496 2255226379 1252239725 786373130 2037560082 1460192652 1978764804 3228200695 175946850 89172561 2568221896 3401988880 3064931096 772220093 2777120072 4156388441 3787959405 3091497339 3706949410 4023336461 3128437522 4013800007 3478359895 2243895928 2984581476 483632975 3291658274 433382437 4280846176 2764252567 800925390 2628467927 793174879 3040471383 2878694015 3832963960 1491944523 1180089794 830304226 1360095814 1045995678 4205857917 4265220443 2341089701 1384075022 3355572385 1501921818 3728341871 3814243762 1579409397 3489389537 2048959801 3647057790 539710775 84340783 2053337676 689425642 3807507081 2000332526 853976305 2533048010 4102924445 1874605352 3607313977 2360564941 841037062 2163297219 423360962 3094687196 566136500 1807201808 2717757891 2188949225 1546069728 2766763952 870941391 1495069393 3008504383 3431531363 2485817539 1637556740 1734984832 912725833 386725590 4072844121 2834186552 1252561039 4163044221 1163226241 3156892790 1607712974 1763908671 4203005202 2922832877 3583175689 335580591 285045346 2311675952 503408459 236000896 978723385 3571081284 3447075814 1220156159 214153901 716540681 2204871120 1962032366 3812946516 2664491415 1552412207 3187843818 2170591552 3158079403 1371790006 130382585 2384968583 3202387470 310957654 2197117535 776683840 169632086 3221333105 2334057308 2967872700 3035980569 303140032 2839490903 2188564271 1531504105 703283034 4250486787 609753367 2239686605 3791053315 181824962 996457084 2307510618 3342524206 1502339617 987707147 3220888308 3996597739 526793180 3770035063 1615581253 1891895 4293202309 2388022491 1077769407 477064276 2917325653 2263559763 2162757409 66779875 2636164818 793915208 382170384 568631301 808680483 4189808839 4190252660 2879550354 721002262 2989833456 858419740 1308396586 3066199067 3470886417 959322652 2056930790 1124754007 4192243007 3711204735 1241794740 543408766 1263491539 4282118737 4116606538 2237075024 3768094991 218650304 815604003 1923485506 3952863325 2661014824 2153025619 2362941425 2697678385 3761992509 4012402702 506169972 148154760 1533880847 879365990 765683953 1758926688 2659816806 196830572 2849821071 1856482084 3630727195 4241158950 3674785797 2942988801 2115745442 3915254566 2747308715 1650853579 2876533008 208194083 1622800389 1698568512 331453510 3091193333 3571732755 2565587059 1263973600 1435831529 1596415797 2032084011 3304037992 2359603872 1450994248 2373109357 465514300 16220030 2312763900 987198906 2683210963 3721581273 909409852 255 362436" option to reproduce the execution
0.00/0.01	c #vars 170
0.00/0.01	c #constraints 341
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 |      170      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      177 |      100 |      170      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      408 |      250 |      188      0 |        0 |        0
0.08/0.11	c  0.1s |       3 |      707 |      475 |      207      2 |        0 |        0
0.08/0.19	c  0.2s |       4 |     1124 |      813 |      228      4 |        0 |        0
0.29/0.30	c  0.3s |       5 |     1721 |     1320 |      251      7 |        0 |        0
0.39/0.47	c  0.5s |       6 |     2557 |     2081 |      305     12 |        0 |        0
0.69/0.75	c  0.7s |       7 |     3770 |     3223 |      336     17 |        0 |        0
0.98/1.05	c  1.0s |       8 |     5556 |     4936 |      370     26 |        0 |        0
1.39/1.49	c  1.5s |       9 |     8217 |     7506 |      408     37 |        0 |        0
2.08/2.11	c  2.1s |      10 |    12178 |    11361 |      449     53 |        0 |        0
2.98/3.04	c  3.0s |      11 |    18098 |    17144 |      494     75 |        0 |        0
4.39/4.48	c  4.5s |      12 |    26927 |    25819 |      544    105 |        0 |        0
6.39/6.49	c  6.5s |      12 |    39117 |    37819 |      544    144 |        0 |        0
6.59/6.66	c  6.6s |      13 |    40140 |    38832 |      599    147 |        0 |        0
8.58/8.67	c  8.7s |      13 |    51972 |    50432 |      599    182 |        0 |        0
9.99/10.02	c 10.0s |      14 |    60035 |    58352 |      659    205 |        0 |        0
11.98/12.04	c 12.0s |      14 |    71912 |    69952 |      659    237 |        0 |        0
13.98/14.04	c 14.0s |      14 |    83445 |    81252 |      659    268 |        0 |        0
15.18/15.20	c 15.2s |      15 |    89910 |    87632 |      725    285 |        0 |        0
17.18/17.21	c 17.2s |      15 |   101238 |    98732 |      725    313 |        0 |        0
19.19/19.22	c 19.2s |      15 |   112525 |   109832 |      725    341 |        0 |        0
21.19/21.24	c 21.2s |      15 |   123740 |   120832 |      725    368 |        0 |        0
23.20/23.22	c 23.2s |      16 |   134685 |   131552 |      798    395 |        0 |        0
25.19/25.23	c 25.2s |      16 |   146002 |   142552 |      798    420 |        0 |        0
27.19/27.23	c 27.2s |      16 |   157374 |   153652 |      798    446 |        0 |        0
29.19/29.23	c 29.2s |      16 |   168689 |   164752 |      798    471 |        0 |        0
31.19/31.24	c 31.2s |      16 |   180000 |   175952 |      798    497 |        0 |        0
33.19/33.25	c 33.2s |      16 |   191394 |   187152 |      798    523 |        0 |        0
35.09/35.14	c 35.1s |      17 |   201859 |   197432 |      878    546 |        0 |        0
37.09/37.14	c 37.1s |      17 |   213089 |   208432 |      878    569 |        0 |        0
39.08/39.15	c 39.1s |      17 |   224030 |   219232 |      878    592 |        0 |        0
41.08/41.16	c 41.1s |      17 |   235069 |   230032 |      878    615 |        0 |        0
43.08/43.17	c 43.1s |      17 |   246035 |   240832 |      878    637 |        0 |        0
45.09/45.17	c 45.2s |      17 |   257019 |   251632 |      878    660 |        0 |        0
47.08/47.18	c 47.2s |      17 |   267953 |   262432 |      878    683 |        0 |        0
49.08/49.18	c 49.2s |      17 |   278835 |   273032 |      878    705 |        0 |        0
51.08/51.20	c 51.2s |      17 |   289908 |   283932 |      878    728 |        0 |        0
53.18/53.20	c 53.2s |      17 |   301141 |   294932 |      966    751 |        0 |        0
53.38/53.46	c 53.4s |      18 |   302491 |   296252 |      966    754 |        0 |        0
55.38/55.46	c 55.4s |      18 |   313834 |   307252 |      966    775 |        0 |        0
57.38/57.47	c 57.5s |      18 |   325034 |   318152 |      966    796 |        0 |        0
59.39/59.49	c 59.5s |      18 |   336026 |   328952 |      966    817 |        0 |        0
61.38/61.49	c 61.5s |      18 |   347042 |   339752 |      966    837 |        0 |        0
63.38/63.49	c 63.5s |      18 |   358136 |   350552 |      966    858 |        0 |        0
65.38/65.49	c 65.5s |      18 |   368897 |   361152 |      966    879 |        0 |        0
67.48/67.50	c 67.5s |      18 |   379693 |   371752 |      966    899 |        0 |        0
69.48/69.50	c 69.5s |      18 |   390615 |   382452 |      966    920 |        0 |        0
71.48/71.50	c 71.5s |      18 |   401302 |   392852 |      966    940 |        0 |        0
73.47/73.51	c 73.5s |      18 |   411932 |   403252 |      966    960 |        0 |        0
75.47/75.52	c 75.5s |      18 |   422762 |   413852 |      966    980 |        0 |        0
77.47/77.54	c 77.5s |      18 |   433678 |   424552 |      966   1001 |        0 |        0
79.48/79.54	c 79.5s |      18 |   444568 |   435052 |      966   1021 |        0 |        0
81.28/81.38	c 81.4s |      19 |   454206 |   444482 |     1063   1039 |        0 |        0
83.28/83.38	c 83.4s |      19 |   465068 |   455082 |     1063   1057 |        0 |        0
85.28/85.39	c 85.4s |      19 |   475745 |   465582 |     1063   1076 |        0 |        0
87.38/87.40	c 87.4s |      19 |   486619 |   476282 |     1063   1095 |        0 |        0
89.38/89.41	c 89.4s |      19 |   497383 |   486882 |     1063   1113 |        0 |        0
91.39/91.41	c 91.4s |      19 |   508036 |   497182 |     1063   1131 |        0 |        0
93.38/93.42	c 93.4s |      19 |   518546 |   507482 |     1063   1150 |        0 |        0
95.38/95.43	c 95.4s |      19 |   529320 |   517982 |     1063   1168 |        0 |        0
97.38/97.44	c 97.4s |      19 |   539917 |   528382 |     1063   1186 |        0 |        0
99.37/99.44	c 99.4s |      19 |   550405 |   538682 |     1063   1205 |        0 |        0
101.37/101.45	c  101s |      19 |   560995 |   549082 |     1063   1223 |        0 |        0
103.38/103.46	c  103s |      19 |   571512 |   559482 |     1063   1241 |        0 |        0
105.37/105.48	c  105s |      19 |   581990 |   569782 |     1063   1260 |        0 |        0
107.37/107.48	c  107s |      19 |   592600 |   580182 |     1063   1278 |        0 |        0
109.47/109.50	c  109s |      19 |   603425 |   590682 |     1063   1296 |        0 |        0
111.47/111.51	c  111s |      19 |   614357 |   601382 |     1063   1315 |        0 |        0
113.47/113.52	c  113s |      19 |   625036 |   611682 |     1063   1333 |        0 |        0
115.48/115.53	c  115s |      19 |   635570 |   621982 |     1063   1352 |        0 |        0
117.47/117.55	c  117s |      19 |   646028 |   632282 |     1063   1370 |        0 |        0
119.47/119.57	c  119s |      19 |   656518 |   642582 |     1063   1388 |        0 |        0
121.47/121.58	c  121s |      19 |   666948 |   652782 |     1063   1406 |        0 |        0
123.47/123.58	c  123s |      19 |   677243 |   662882 |     1170   1424 |        0 |        0
124.28/124.37	c  124s |      20 |   681239 |   666827 |     1170   1430 |        0 |        0
126.27/126.39	c  126s |      20 |   692352 |   677627 |     1170   1447 |        0 |        0
128.27/128.39	c  128s |      20 |   703079 |   688127 |     1170   1464 |        0 |        0
130.37/130.40	c  130s |      20 |   713970 |   698727 |     1170   1481 |        0 |        0
132.37/132.40	c  132s |      20 |   724529 |   709027 |     1170   1498 |        0 |        0
134.36/134.42	c  134s |      20 |   735158 |   719427 |     1170   1515 |        0 |        0
136.37/136.43	c  136s |      20 |   745724 |   729727 |     1170   1531 |        0 |        0
138.36/138.43	c  138s |      20 |   756329 |   739927 |     1170   1548 |        0 |        0
140.37/140.43	c  140s |      20 |   766575 |   750027 |     1170   1564 |        0 |        0
142.37/142.44	c  142s |      20 |   777134 |   760327 |     1170   1581 |        0 |        0
144.37/144.45	c  144s |      20 |   787434 |   770427 |     1170   1597 |        0 |        0
146.38/146.46	c  146s |      20 |   797569 |   780327 |     1170   1613 |        0 |        0
148.37/148.47	c  148s |      20 |   808153 |   790627 |     1170   1629 |        0 |        0
150.37/150.48	c  150s |      20 |   818013 |   800227 |     1170   1645 |        0 |        0
152.47/152.50	c  152s |      20 |   828295 |   810227 |     1170   1661 |        0 |        0
154.47/154.50	c  154s |      20 |   838315 |   820127 |     1170   1677 |        0 |        0
156.47/156.51	c  156s |      20 |   848753 |   830327 |     1170   1693 |        0 |        0
158.48/158.51	c  158s |      20 |   859018 |   840327 |     1170   1710 |        0 |        0
160.47/160.52	c  160s |      20 |   869273 |   850427 |     1170   1726 |        0 |        0
162.47/162.53	c  162s |      20 |   879335 |   860327 |     1170   1742 |        0 |        0
164.47/164.54	c  164s |      20 |   889451 |   870227 |     1170   1758 |        0 |        0
166.47/166.55	c  166s |      20 |   899566 |   880127 |     1170   1774 |        0 |        0
168.47/168.57	c  168s |      20 |   909765 |   890127 |     1170   1790 |        0 |        0
170.47/170.58	c  170s |      20 |   920299 |   900427 |     1170   1806 |        0 |        0
172.47/172.59	c  172s |      20 |   930454 |   910427 |     1170   1823 |        0 |        0
174.56/174.60	c  174s |      20 |   940726 |   920527 |     1170   1839 |        0 |        0
176.56/176.61	c  176s |      20 |   950679 |   930327 |     1170   1855 |        0 |        0
178.56/178.63	c  178s |      20 |   960833 |   940327 |     1170   1871 |        0 |        0
180.56/180.65	c  180s |      20 |   970959 |   950127 |     1170   1887 |        0 |        0
182.57/182.67	c  182s |      20 |   981220 |   960027 |     1170   1903 |        0 |        0
184.56/184.68	c  184s |      20 |   991287 |   969827 |     1170   1918 |        0 |        0
186.56/186.70	c  186s |      20 |  1001707 |   980027 |     1170   1935 |        0 |        0
188.66/188.70	c  188s |      20 |  1011879 |   989927 |     1170   1951 |        0 |        0
190.66/190.72	c  190s |      20 |  1022166 |  1000027 |     1287   1966 |        0 |        0
190.66/190.78	c  190s |      21 |  1022491 |  1000345 |     1287   1966 |        0 |        0
192.66/192.79	c  192s |      21 |  1032809 |  1010445 |     1287   1981 |        0 |        0
194.67/194.80	c  194s |      21 |  1042871 |  1020345 |     1287   1996 |        0 |        0
196.76/196.80	c  196s |      21 |  1053340 |  1030545 |     1287   2011 |        0 |        0
198.76/198.81	c  198s |      21 |  1063878 |  1040845 |     1287   2026 |        0 |        0
200.76/200.81	c  200s |      21 |  1074161 |  1050945 |     1287   2041 |        0 |        0
202.76/202.81	c  202s |      21 |  1084228 |  1060845 |     1287   2055 |        0 |        0
204.76/204.83	c  204s |      21 |  1094561 |  1070945 |     1287   2070 |        0 |        0
206.76/206.84	c  206s |      21 |  1104681 |  1080845 |     1287   2085 |        0 |        0
208.76/208.85	c  208s |      21 |  1114683 |  1090645 |     1287   2099 |        0 |        0
210.76/210.86	c  210s |      21 |  1124843 |  1100545 |     1287   2114 |        0 |        0
212.75/212.86	c  212s |      21 |  1135020 |  1110445 |     1287   2129 |        0 |        0
214.75/214.87	c  214s |      21 |  1145201 |  1120345 |     1287   2143 |        0 |        0
216.76/216.89	c  216s |      21 |  1155085 |  1130045 |     1287   2157 |        0 |        0
218.75/218.90	c  218s |      21 |  1165187 |  1139945 |     1287   2172 |        0 |        0
220.85/220.92	c  220s |      21 |  1175286 |  1149745 |     1287   2186 |        0 |        0
222.85/222.93	c  222s |      21 |  1185411 |  1159645 |     1287   2201 |        0 |        0
224.85/224.94	c  224s |      21 |  1195443 |  1169445 |     1287   2215 |        0 |        0
226.85/226.94	c  226s |      21 |  1205341 |  1179045 |     1287   2230 |        0 |        0
228.86/228.94	c  228s |      21 |  1215205 |  1188745 |     1287   2244 |        0 |        0
230.85/230.95	c  230s |      21 |  1225152 |  1198445 |     1287   2258 |        0 |        0
232.85/232.97	c  232s |      21 |  1235431 |  1208545 |     1287   2273 |        0 |        0
234.85/234.98	c  234s |      21 |  1245475 |  1218245 |     1287   2287 |        0 |        0
236.85/236.98	c  236s |      21 |  1255261 |  1227745 |     1287   2301 |        0 |        0
238.95/239.00	c  238s |      21 |  1265323 |  1237545 |     1287   2316 |        0 |        0
240.96/241.02	c  241s |      21 |  1275278 |  1247345 |     1287   2330 |        0 |        0
242.95/243.02	c  243s |      21 |  1285311 |  1257145 |     1287   2345 |        0 |        0
244.95/245.03	c  245s |      21 |  1295186 |  1266845 |     1287   2359 |        0 |        0
246.95/247.04	c  247s |      21 |  1305068 |  1276445 |     1287   2373 |        0 |        0
248.95/249.05	c  249s |      21 |  1315207 |  1286345 |     1287   2388 |        0 |        0
250.95/251.05	c  251s |      21 |  1325053 |  1295945 |     1287   2402 |        0 |        0
252.95/253.07	c  253s |      21 |  1334980 |  1305645 |     1287   2416 |        0 |        0
254.95/255.08	c  255s |      21 |  1344720 |  1315045 |     1287   2430 |        0 |        0
256.95/257.09	c  257s |      21 |  1354979 |  1324945 |     1287   2445 |        0 |        0
258.95/259.09	c  259s |      21 |  1365023 |  1334745 |     1287   2459 |        0 |        0
261.05/261.10	c  261s |      21 |  1374890 |  1344445 |     1287   2474 |        0 |        0
263.05/263.11	c  263s |      21 |  1384873 |  1354045 |     1287   2488 |        0 |        0
265.06/265.13	c  265s |      21 |  1394743 |  1363645 |     1287   2502 |        0 |        0
267.05/267.14	c  267s |      21 |  1404694 |  1373345 |     1287   2516 |        0 |        0
269.05/269.15	c  269s |      21 |  1414672 |  1383045 |     1287   2530 |        0 |        0
271.05/271.17	c  271s |      21 |  1424452 |  1392645 |     1287   2545 |        0 |        0
273.05/273.19	c  273s |      21 |  1434187 |  1402145 |     1287   2559 |        0 |        0
275.15/275.21	c  275s |      21 |  1443959 |  1411645 |     1287   2573 |        0 |        0
277.15/277.23	c  277s |      21 |  1453654 |  1421045 |     1287   2586 |        0 |        0
279.15/279.25	c  279s |      21 |  1463690 |  1430945 |     1287   2601 |        0 |        0
281.15/281.25	c  281s |      21 |  1473866 |  1440845 |     1287   2616 |        0 |        0
283.15/283.26	c  283s |      21 |  1483938 |  1450545 |     1287   2630 |        0 |        0
285.14/285.28	c  285s |      21 |  1494139 |  1460545 |     1287   2645 |        0 |        0
287.15/287.29	c  287s |      21 |  1504144 |  1470245 |     1287   2659 |        0 |        0
289.14/289.29	c  289s |      21 |  1514170 |  1480045 |     1287   2673 |        0 |        0
291.24/291.30	c  291s |      21 |  1524082 |  1489545 |     1287   2687 |        0 |        0
293.24/293.31	c  293s |      21 |  1534264 |  1499345 |     1416   2700 |        0 |        0
293.44/293.57	c  293s |      22 |  1535596 |  1500622 |     1416   2702 |        0 |        0
295.44/295.58	c  295s |      22 |  1545846 |  1510622 |     1416   2715 |        0 |        0
297.54/297.60	c  297s |      22 |  1556151 |  1520622 |     1416   2729 |        0 |        0
299.54/299.62	c  299s |      22 |  1566147 |  1530422 |     1416   2742 |        0 |        0
301.54/301.63	c  301s |      22 |  1576069 |  1540122 |     1416   2755 |        0 |        0
303.55/303.63	c  303s |      22 |  1586171 |  1550022 |     1416   2768 |        0 |        0
305.55/305.64	c  305s |      22 |  1596620 |  1560122 |     1416   2782 |        0 |        0
307.55/307.64	c  307s |      22 |  1606729 |  1569922 |     1416   2795 |        0 |        0
309.55/309.65	c  309s |      22 |  1616668 |  1579622 |     1416   2808 |        0 |        0
311.54/311.66	c  311s |      22 |  1626641 |  1589422 |     1416   2821 |        0 |        0
313.55/313.67	c  313s |      22 |  1636552 |  1599122 |     1416   2834 |        0 |        0
315.54/315.68	c  315s |      22 |  1646559 |  1608922 |     1416   2847 |        0 |        0
317.54/317.69	c  317s |      22 |  1656881 |  1619022 |     1416   2861 |        0 |        0
319.64/319.71	c  319s |      22 |  1667118 |  1629022 |     1416   2874 |        0 |        0
321.64/321.72	c  321s |      22 |  1677338 |  1638922 |     1416   2887 |        0 |        0
323.64/323.73	c  323s |      22 |  1687231 |  1648622 |     1416   2900 |        0 |        0
325.65/325.74	c  325s |      22 |  1697073 |  1658222 |     1416   2913 |        0 |        0
327.64/327.74	c  327s |      22 |  1706762 |  1667722 |     1416   2926 |        0 |        0
329.64/329.76	c  329s |      22 |  1716692 |  1677422 |     1416   2939 |        0 |        0
331.64/331.78	c  331s |      22 |  1726554 |  1687022 |     1416   2952 |        0 |        0
333.64/333.78	c  333s |      22 |  1736424 |  1696722 |     1416   2965 |        0 |        0
335.64/335.79	c  335s |      22 |  1746747 |  1706722 |     1416   2978 |        0 |        0
337.74/337.81	c  337s |      22 |  1756804 |  1716422 |     1416   2992 |        0 |        0
339.73/339.82	c  339s |      22 |  1766508 |  1725922 |     1416   3004 |        0 |        0
341.73/341.84	c  341s |      22 |  1776310 |  1735422 |     1416   3017 |        0 |        0
343.73/343.84	c  343s |      22 |  1786441 |  1745222 |     1416   3030 |        0 |        0
345.73/345.84	c  345s |      22 |  1796981 |  1755522 |     1416   3044 |        0 |        0
347.73/347.85	c  347s |      22 |  1807110 |  1765422 |     1416   3057 |        0 |        0
349.75/349.88	c  349s |      22 |  1817269 |  1775322 |     1416   3071 |        0 |        0
351.74/351.88	c  351s |      22 |  1827192 |  1785022 |     1416   3084 |        0 |        0
353.74/353.89	c  353s |      22 |  1837178 |  1794722 |     1416   3097 |        0 |        0
355.74/355.89	c  355s |      22 |  1847068 |  1804422 |     1416   3110 |        0 |        0
357.84/357.91	c  357s |      22 |  1856898 |  1813922 |     1416   3122 |        0 |        0
359.84/359.92	c  359s |      22 |  1866677 |  1823422 |     1416   3135 |        0 |        0
361.85/361.92	c  361s |      22 |  1876627 |  1833122 |     1416   3148 |        0 |        0
363.84/363.94	c  363s |      22 |  1886443 |  1842722 |     1416   3161 |        0 |        0
365.84/365.94	c  365s |      22 |  1896210 |  1852222 |     1416   3174 |        0 |        0
367.84/367.95	c  367s |      22 |  1906413 |  1862122 |     1416   3187 |        0 |        0
369.84/369.96	c  369s |      22 |  1916472 |  1871922 |     1416   3200 |        0 |        0
371.84/371.96	c  371s |      22 |  1926271 |  1881522 |     1416   3213 |        0 |        0
373.84/373.98	c  373s |      22 |  1936157 |  1891122 |     1416   3226 |        0 |        0
375.84/375.99	c  375s |      22 |  1945983 |  1900622 |     1416   3239 |        0 |        0
377.93/378.01	c  377s |      22 |  1955621 |  1909922 |     1416   3251 |        0 |        0
379.93/380.03	c  380s |      22 |  1965967 |  1919922 |     1416   3265 |        0 |        0
381.93/382.03	c  382s |      22 |  1976092 |  1929822 |     1416   3278 |        0 |        0
383.94/384.05	c  384s |      22 |  1986014 |  1939522 |     1416   3291 |        0 |        0
385.93/386.05	c  386s |      22 |  1996024 |  1949222 |     1416   3304 |        0 |        0
387.93/388.07	c  388s |      22 |  2005949 |  1958922 |     1416   3317 |        0 |        0
389.93/390.08	c  390s |      22 |  2015724 |  1968422 |     1416   3330 |        0 |        0
391.93/392.10	c  392s |      22 |  2025643 |  1978122 |     1416   3343 |        0 |        0
394.03/394.11	c  394s |      22 |  2035588 |  1987822 |     1416   3356 |        0 |        0
396.03/396.12	c  396s |      22 |  2045385 |  1997322 |     1416   3369 |        0 |        0
398.03/398.14	c  398s |      22 |  2055347 |  2007022 |     1416   3382 |        0 |        0
400.03/400.15	c  400s |      22 |  2064976 |  2016422 |     1416   3394 |        0 |        0
402.02/402.16	c  402s |      22 |  2074522 |  2025722 |     1416   3407 |        0 |        0
404.02/404.17	c  404s |      22 |  2084536 |  2035422 |     1416   3420 |        0 |        0
406.03/406.19	c  406s |      22 |  2094298 |  2044922 |     1416   3432 |        0 |        0
408.04/408.20	c  408s |      22 |  2104131 |  2054522 |     1416   3445 |        0 |        0
410.13/410.20	c  410s |      22 |  2113588 |  2063822 |     1416   3458 |        0 |        0
412.13/412.21	c  412s |      22 |  2123262 |  2073222 |     1416   3471 |        0 |        0
414.13/414.22	c  414s |      22 |  2133219 |  2082922 |     1416   3484 |        0 |        0
416.13/416.22	c  416s |      22 |  2143062 |  2092522 |     1416   3496 |        0 |        0
418.13/418.23	c  418s |      22 |  2153042 |  2102222 |     1416   3510 |        0 |        0
420.13/420.23	c  420s |      22 |  2162840 |  2111722 |     1416   3522 |        0 |        0
422.13/422.23	c  422s |      22 |  2172698 |  2121322 |     1416   3535 |        0 |        0
424.13/424.24	c  424s |      22 |  2182344 |  2130722 |     1416   3548 |        0 |        0
426.13/426.24	c  426s |      22 |  2191999 |  2140022 |     1416   3560 |        0 |        0
428.12/428.25	c  428s |      22 |  2201416 |  2149122 |     1416   3573 |        0 |        0
430.13/430.26	c  430s |      22 |  2210812 |  2158322 |     1416   3585 |        0 |        0
432.12/432.26	c  432s |      22 |  2220090 |  2167422 |     1416   3597 |        0 |        0
434.12/434.28	c  434s |      22 |  2229749 |  2176822 |     1416   3610 |        0 |        0
436.22/436.30	c  436s |      22 |  2240142 |  2186922 |     1416   3623 |        0 |        0
438.22/438.32	c  438s |      22 |  2250287 |  2196822 |     1416   3637 |        0 |        0
440.22/440.33	c  440s |      22 |  2260284 |  2206522 |     1416   3650 |        0 |        0
442.23/442.34	c  442s |      22 |  2270391 |  2216322 |     1416   3663 |        0 |        0
444.22/444.35	c  444s |      22 |  2280188 |  2225822 |     1416   3676 |        0 |        0
446.22/446.37	c  446s |      22 |  2290561 |  2235722 |     1558   3689 |        0 |        0
448.22/448.39	c  448s |      22 |  2300465 |  2245322 |     1558   3700 |        0 |        0
449.52/449.60	c  449s |      23 |  2306287 |  2251038 |     1558   3707 |        0 |        0
451.52/451.61	c  451s |      23 |  2316470 |  2260938 |     1558   3719 |        0 |        0
453.52/453.62	c  453s |      23 |  2326592 |  2270838 |     1558   3732 |        0 |        0
455.51/455.63	c  455s |      23 |  2336591 |  2280638 |     1558   3743 |        0 |        0
457.52/457.64	c  457s |      23 |  2346936 |  2290738 |     1558   3756 |        0 |        0
459.52/459.64	c  459s |      23 |  2356920 |  2300438 |     1558   3768 |        0 |        0
461.52/461.65	c  461s |      23 |  2366722 |  2310038 |     1558   3779 |        0 |        0
463.52/463.66	c  463s |      23 |  2376699 |  2319738 |     1558   3791 |        0 |        0
465.52/465.67	c  465s |      23 |  2386604 |  2329438 |     1558   3803 |        0 |        0
467.52/467.68	c  467s |      23 |  2396729 |  2339338 |     1558   3815 |        0 |        0
469.52/469.70	c  469s |      23 |  2406485 |  2348938 |     1558   3827 |        0 |        0
471.62/471.70	c  471s |      23 |  2416201 |  2358438 |     1558   3839 |        0 |        0
473.62/473.71	c  473s |      23 |  2426319 |  2368338 |     1558   3851 |        0 |        0
475.61/475.73	c  475s |      23 |  2436331 |  2378138 |     1558   3863 |        0 |        0
477.61/477.73	c  477s |      23 |  2446236 |  2387838 |     1558   3875 |        0 |        0
479.62/479.75	c  479s |      23 |  2455994 |  2397438 |     1558   3886 |        0 |        0
481.61/481.75	c  481s |      23 |  2465668 |  2406838 |     1558   3898 |        0 |        0
483.61/483.76	c  483s |      23 |  2475428 |  2416438 |     1558   3910 |        0 |        0
485.61/485.78	c  485s |      23 |  2485557 |  2426338 |     1558   3922 |        0 |        0
487.61/487.80	c  487s |      23 |  2495413 |  2435938 |     1558   3933 |        0 |        0
489.61/489.80	c  489s |      23 |  2505032 |  2445338 |     1558   3945 |        0 |        0
491.72/491.81	c  491s |      23 |  2514856 |  2454938 |     1558   3957 |        0 |        0
493.71/493.81	c  493s |      23 |  2524540 |  2464338 |     1558   3968 |        0 |        0
495.71/495.82	c  495s |      23 |  2534072 |  2473638 |     1558   3980 |        0 |        0
497.71/497.83	c  497s |      23 |  2544214 |  2483538 |     1558   3992 |        0 |        0
499.71/499.85	c  499s |      23 |  2554121 |  2493238 |     1558   4004 |        0 |        0
501.71/501.86	c  501s |      23 |  2563800 |  2502738 |     1558   4015 |        0 |        0
503.72/503.87	c  503s |      23 |  2573703 |  2512438 |     1558   4027 |        0 |        0
505.71/505.87	c  505s |      23 |  2583706 |  2522038 |     1558   4039 |        0 |        0
507.72/507.88	c  507s |      23 |  2593336 |  2531338 |     1558   4050 |        0 |        0
509.82/509.90	c  509s |      23 |  2602966 |  2540638 |     1558   4062 |        0 |        0
511.82/511.90	c  511s |      23 |  2612588 |  2549938 |     1558   4073 |        0 |        0
513.81/513.91	c  513s |      23 |  2621870 |  2559038 |     1558   4084 |        0 |        0
515.82/515.92	c  515s |      23 |  2631369 |  2568238 |     1558   4095 |        0 |        0
517.81/517.94	c  517s |      23 |  2641515 |  2578238 |     1558   4108 |        0 |        0
519.81/519.97	c  519s |      23 |  2651521 |  2587938 |     1558   4120 |        0 |        0
521.81/521.99	c  521s |      23 |  2661321 |  2597538 |     1558   4131 |        0 |        0
523.91/524.00	c  523s |      23 |  2671038 |  2607038 |     1558   4143 |        0 |        0
525.91/526.01	c  525s |      23 |  2680605 |  2616338 |     1558   4154 |        0 |        0
527.91/528.02	c  527s |      23 |  2690348 |  2625838 |     1558   4166 |        0 |        0
529.91/530.04	c  530s |      23 |  2700008 |  2635338 |     1558   4178 |        0 |        0
531.91/532.04	c  532s |      23 |  2709515 |  2644638 |     1558   4189 |        0 |        0
533.91/534.05	c  534s |      23 |  2719183 |  2654038 |     1558   4200 |        0 |        0
535.91/536.06	c  536s |      23 |  2728841 |  2663438 |     1558   4212 |        0 |        0
537.91/538.06	c  538s |      23 |  2738450 |  2672838 |     1558   4223 |        0 |        0
539.90/540.06	c  540s |      23 |  2747994 |  2682138 |     1558   4235 |        0 |        0
541.90/542.07	c  542s |      23 |  2757462 |  2691438 |     1558   4246 |        0 |        0
543.90/544.08	c  544s |      23 |  2767363 |  2701038 |     1558   4258 |        0 |        0
545.90/546.09	c  546s |      23 |  2777600 |  2711038 |     1558   4270 |        0 |        0
548.00/548.10	c  548s |      23 |  2787487 |  2720738 |     1558   4282 |        0 |        0
549.91/550.10	c  550s |      23 |  2797186 |  2730238 |     1558   4294 |        0 |        0
552.00/552.12	c  552s |      23 |  2806922 |  2739738 |     1558   4305 |        0 |        0
554.01/554.12	c  554s |      23 |  2816499 |  2749138 |     1558   4317 |        0 |        0
556.01/556.12	c  556s |      23 |  2826277 |  2758738 |     1558   4328 |        0 |        0
558.01/558.13	c  558s |      23 |  2835878 |  2768138 |     1558   4340 |        0 |        0
560.01/560.14	c  560s |      23 |  2845751 |  2777838 |     1558   4352 |        0 |        0
562.01/562.14	c  562s |      23 |  2855333 |  2787238 |     1558   4363 |        0 |        0
564.01/564.15	c  564s |      23 |  2864800 |  2796538 |     1558   4375 |        0 |        0
566.01/566.16	c  566s |      23 |  2874593 |  2806138 |     1558   4386 |        0 |        0
568.01/568.17	c  568s |      23 |  2884065 |  2815438 |     1558   4398 |        0 |        0
570.01/570.19	c  570s |      23 |  2893468 |  2824638 |     1558   4409 |        0 |        0
572.11/572.20	c  572s |      23 |  2902753 |  2833638 |     1558   4420 |        0 |        0
574.11/574.22	c  574s |      23 |  2912526 |  2843238 |     1558   4432 |        0 |        0
576.10/576.22	c  576s |      23 |  2922207 |  2852738 |     1558   4444 |        0 |        0
578.10/578.22	c  578s |      23 |  2931857 |  2862238 |     1558   4455 |        0 |        0
580.10/580.24	c  580s |      23 |  2941352 |  2871538 |     1558   4467 |        0 |        0
582.10/582.24	c  582s |      23 |  2950756 |  2880838 |     1558   4478 |        0 |        0
584.11/584.26	c  584s |      23 |  2960314 |  2890238 |     1558   4490 |        0 |        0
586.10/586.26	c  586s |      23 |  2970369 |  2900138 |     1558   4502 |        0 |        0
588.10/588.27	c  588s |      23 |  2980123 |  2909738 |     1558   4513 |        0 |        0
590.10/590.28	c  590s |      23 |  2990012 |  2919438 |     1558   4525 |        0 |        0
592.10/592.29	c  592s |      23 |  2999683 |  2928938 |     1558   4537 |        0 |        0
594.20/594.30	c  594s |      23 |  3009480 |  2938538 |     1558   4549 |        0 |        0
596.11/596.30	c  596s |      23 |  3019177 |  2948038 |     1558   4560 |        0 |        0
598.20/598.31	c  598s |      23 |  3029009 |  2957638 |     1558   4572 |        0 |        0
600.20/600.34	c  600s |      23 |  3038779 |  2967138 |     1558   4584 |        0 |        0
602.20/602.36	c  602s |      23 |  3048344 |  2976438 |     1558   4595 |        0 |        0
604.20/604.37	c  604s |      23 |  3058107 |  2985838 |     1558   4606 |        0 |        0
606.20/606.39	c  606s |      23 |  3067673 |  2995138 |     1558   4618 |        0 |        0
608.30/608.41	c  608s |      23 |  3077291 |  3004438 |     1558   4629 |        0 |        0
610.30/610.41	c  610s |      23 |  3086865 |  3013838 |     1558   4641 |        0 |        0
612.29/612.42	c  612s |      23 |  3096443 |  3023238 |     1558   4652 |        0 |        0
614.29/614.43	c  614s |      23 |  3105894 |  3032438 |     1558   4664 |        0 |        0
616.29/616.45	c  616s |      23 |  3115369 |  3041638 |     1558   4675 |        0 |        0
618.29/618.47	c  618s |      23 |  3124688 |  3050738 |     1558   4686 |        0 |        0
620.30/620.48	c  620s |      23 |  3134359 |  3060238 |     1558   4698 |        0 |        0
622.39/622.50	c  622s |      23 |  3144029 |  3069738 |     1558   4709 |        0 |        0
624.39/624.51	c  624s |      23 |  3153693 |  3079238 |     1558   4721 |        0 |        0
626.39/626.52	c  626s |      23 |  3163226 |  3088638 |     1558   4732 |        0 |        0
628.39/628.52	c  628s |      23 |  3172638 |  3097838 |     1558   4744 |        0 |        0
630.39/630.53	c  630s |      23 |  3182029 |  3107038 |     1558   4755 |        0 |        0
632.40/632.53	c  632s |      23 |  3191588 |  3116338 |     1558   4766 |        0 |        0
634.39/634.54	c  634s |      23 |  3200896 |  3125438 |     1558   4777 |        0 |        0
636.39/636.55	c  636s |      23 |  3210630 |  3134938 |     1558   4789 |        0 |        0
638.39/638.57	c  638s |      23 |  3220251 |  3144338 |     1558   4800 |        0 |        0
640.39/640.57	c  640s |      23 |  3229655 |  3153538 |     1558   4812 |        0 |        0
642.39/642.58	c  642s |      23 |  3239203 |  3162738 |     1558   4823 |        0 |        0
644.39/644.59	c  644s |      23 |  3248638 |  3171938 |     1558   4834 |        0 |        0
646.49/646.60	c  646s |      23 |  3257864 |  3180938 |     1558   4845 |        0 |        0
648.49/648.62	c  648s |      23 |  3267272 |  3190138 |     1558   4857 |        0 |        0
650.49/650.64	c  650s |      23 |  3276583 |  3199138 |     1558   4868 |        0 |        0
652.49/652.64	c  652s |      23 |  3286582 |  3208838 |     1558   4879 |        0 |        0
654.50/654.65	c  654s |      23 |  3296468 |  3218438 |     1558   4891 |        0 |        0
656.49/656.66	c  656s |      23 |  3306389 |  3228038 |     1558   4903 |        0 |        0
658.49/658.69	c  658s |      23 |  3316257 |  3237638 |     1558   4915 |        0 |        0
660.59/660.70	c  660s |      23 |  3326070 |  3247238 |     1558   4926 |        0 |        0
662.59/662.71	c  662s |      23 |  3335716 |  3256638 |     1558   4938 |        0 |        0
664.59/664.72	c  664s |      23 |  3345396 |  3266038 |     1558   4949 |        0 |        0
666.60/666.74	c  666s |      23 |  3354839 |  3275238 |     1558   4961 |        0 |        0
668.59/668.75	c  668s |      23 |  3364561 |  3284738 |     1558   4972 |        0 |        0
670.59/670.75	c  670s |      23 |  3374171 |  3294138 |     1558   4984 |        0 |        0
672.59/672.77	c  672s |      23 |  3383884 |  3303638 |     1558   4995 |        0 |        0
674.59/674.77	c  674s |      23 |  3393489 |  3313038 |     1558   5007 |        0 |        0
676.59/676.78	c  676s |      23 |  3402913 |  3322238 |     1558   5018 |        0 |        0
678.59/678.79	c  678s |      23 |  3412464 |  3331538 |     1558   5030 |        0 |        0
680.59/680.79	c  680s |      23 |  3422228 |  3341038 |     1558   5041 |        0 |        0
682.68/682.81	c  682s |      23 |  3431889 |  3350438 |     1558   5053 |        0 |        0
684.68/684.83	c  684s |      23 |  3441504 |  3359838 |     1714   5063 |        0 |        0
686.68/686.84	c  686s |      23 |  3450987 |  3369038 |     1714   5074 |        0 |        0
688.38/688.55	c  688s |      24 |  3458847 |  3376662 |     1714   5082 |        0 |        0
690.38/690.56	c  690s |      24 |  3468971 |  3386562 |     1714   5093 |        0 |        0
692.38/692.57	c  692s |      24 |  3478860 |  3396262 |     1714   5104 |        0 |        0
694.38/694.58	c  694s |      24 |  3488623 |  3405862 |     1714   5115 |        0 |        0
696.38/696.59	c  696s |      24 |  3498564 |  3415562 |     1714   5126 |        0 |        0
698.38/698.60	c  698s |      24 |  3508459 |  3425262 |     1714   5136 |        0 |        0
700.48/700.61	c  700s |      24 |  3518090 |  3434662 |     1714   5147 |        0 |        0
702.48/702.62	c  702s |      24 |  3527801 |  3444062 |     1714   5157 |        0 |        0
704.49/704.63	c  704s |      24 |  3537531 |  3453562 |     1714   5168 |        0 |        0
706.49/706.65	c  706s |      24 |  3547095 |  3462962 |     1714   5178 |        0 |        0
708.49/708.67	c  708s |      24 |  3557542 |  3473162 |     1714   5190 |        0 |        0
710.49/710.67	c  710s |      24 |  3567786 |  3483162 |     1714   5201 |        0 |        0
712.48/712.69	c  712s |      24 |  3577620 |  3492862 |     1714   5212 |        0 |        0
714.58/714.70	c  714s |      24 |  3587404 |  3502462 |     1714   5223 |        0 |        0
716.59/716.73	c  716s |      24 |  3597516 |  3512362 |     1714   5234 |        0 |        0
718.58/718.74	c  718s |      24 |  3607397 |  3522062 |     1714   5244 |        0 |        0
720.58/720.75	c  720s |      24 |  3617190 |  3531662 |     1714   5255 |        0 |        0
722.59/722.77	c  722s |      24 |  3626945 |  3541262 |     1714   5266 |        0 |        0
724.58/724.78	c  724s |      24 |  3636548 |  3550662 |     1714   5276 |        0 |        0
726.68/726.80	c  726s |      24 |  3646762 |  3560562 |     1714   5287 |        0 |        0
728.68/728.80	c  728s |      24 |  3656535 |  3570062 |     1714   5298 |        0 |        0
730.68/730.82	c  730s |      24 |  3666361 |  3579662 |     1714   5309 |        0 |        0
732.68/732.83	c  732s |      24 |  3676024 |  3589162 |     1714   5319 |        0 |        0
734.69/734.85	c  734s |      24 |  3686147 |  3599062 |     1714   5330 |        0 |        0
736.68/736.86	c  736s |      24 |  3696144 |  3608862 |     1714   5341 |        0 |        0
738.68/738.87	c  738s |      24 |  3705977 |  3618462 |     1714   5352 |        0 |        0
740.68/740.87	c  740s |      24 |  3715854 |  3628162 |     1714   5363 |        0 |        0
742.68/742.88	c  742s |      24 |  3725753 |  3637862 |     1714   5374 |        0 |        0
744.78/744.90	c  744s |      24 |  3735610 |  3647462 |     1714   5385 |        0 |        0
746.78/746.92	c  746s |      24 |  3745318 |  3656962 |     1714   5395 |        0 |        0
748.78/748.93	c  748s |      24 |  3755101 |  3666462 |     1714   5406 |        0 |        0
750.78/750.94	c  750s |      24 |  3765132 |  3676262 |     1714   5417 |        0 |        0
752.78/752.95	c  752s |      24 |  3774791 |  3685762 |     1714   5427 |        0 |        0
754.77/754.95	c  754s |      24 |  3784495 |  3695262 |     1714   5438 |        0 |        0
756.78/756.97	c  756s |      24 |  3794308 |  3704862 |     1714   5449 |        0 |        0
758.77/758.97	c  758s |      24 |  3804036 |  3714362 |     1714   5459 |        0 |        0
760.77/760.97	c  760s |      24 |  3813698 |  3723862 |     1714   5470 |        0 |        0
762.77/762.98	c  762s |      24 |  3823379 |  3733262 |     1714   5481 |        0 |        0
764.77/764.98	c  764s |      24 |  3833003 |  3742662 |     1714   5491 |        0 |        0
766.77/766.99	c  766s |      24 |  3842605 |  3752062 |     1714   5502 |        0 |        0
768.78/769.00	c  768s |      24 |  3852152 |  3761462 |     1714   5512 |        0 |        0
770.87/771.00	c  770s |      24 |  3861503 |  3770662 |     1714   5522 |        0 |        0
772.87/773.02	c  773s |      24 |  3870926 |  3779862 |     1714   5533 |        0 |        0
774.87/775.04	c  775s |      24 |  3880558 |  3789262 |     1714   5543 |        0 |        0
776.87/777.06	c  777s |      24 |  3890079 |  3798562 |     1714   5554 |        0 |        0
778.87/779.08	c  779s |      24 |  3899810 |  3808062 |     1714   5564 |        0 |        0
780.88/781.08	c  781s |      24 |  3909437 |  3817362 |     1714   5575 |        0 |        0
782.97/783.10	c  783s |      24 |  3918987 |  3826662 |     1714   5585 |        0 |        0
784.97/785.10	c  785s |      24 |  3928689 |  3836062 |     1714   5596 |        0 |        0
786.97/787.11	c  787s |      24 |  3938509 |  3845562 |     1714   5606 |        0 |        0
788.97/789.13	c  789s |      24 |  3948407 |  3855162 |     1714   5617 |        0 |        0
790.97/791.13	c  791s |      24 |  3958078 |  3864662 |     1714   5627 |        0 |        0
792.97/793.15	c  793s |      24 |  3968002 |  3874262 |     1714   5638 |        0 |        0
794.96/795.17	c  795s |      24 |  3977666 |  3883662 |     1714   5649 |        0 |        0
796.97/797.17	c  797s |      24 |  3987514 |  3893162 |     1714   5659 |        0 |        0
798.97/799.18	c  799s |      24 |  3997064 |  3902462 |     1714   5670 |        0 |        0
800.97/801.18	c  801s |      24 |  4006573 |  3911762 |     1714   5680 |        0 |        0
802.98/803.19	c  803s |      24 |  4016064 |  3921062 |     1714   5690 |        0 |        0
804.97/805.19	c  805s |      24 |  4025615 |  3930362 |     1714   5701 |        0 |        0
807.07/807.20	c  807s |      24 |  4035072 |  3939462 |     1714   5711 |        0 |        0
809.07/809.22	c  809s |      24 |  4044368 |  3948562 |     1714   5721 |        0 |        0
811.06/811.23	c  811s |      24 |  4054294 |  3958162 |     1714   5732 |        0 |        0
813.06/813.24	c  813s |      24 |  4064199 |  3967762 |     1714   5743 |        0 |        0
815.06/815.24	c  815s |      24 |  4073642 |  3976962 |     1714   5753 |        0 |        0
817.06/817.26	c  817s |      24 |  4083301 |  3986462 |     1714   5763 |        0 |        0
819.05/819.27	c  819s |      24 |  4092573 |  3995562 |     1714   5774 |        0 |        0
821.05/821.28	c  821s |      24 |  4102042 |  4004862 |     1714   5784 |        0 |        0
823.05/823.28	c  823s |      24 |  4111913 |  4014562 |     1714   5795 |        0 |        0
825.15/825.30	c  825s |      24 |  4121586 |  4024062 |     1714   5805 |        0 |        0
827.16/827.31	c  827s |      24 |  4131259 |  4033462 |     1714   5816 |        0 |        0
829.15/829.31	c  829s |      24 |  4140901 |  4042862 |     1714   5826 |        0 |        0
831.15/831.33	c  831s |      24 |  4150303 |  4052162 |     1714   5837 |        0 |        0
833.15/833.34	c  833s |      24 |  4160031 |  4061662 |     1714   5847 |        0 |        0
835.15/835.35	c  835s |      24 |  4169808 |  4071162 |     1714   5858 |        0 |        0
837.15/837.36	c  837s |      24 |  4179473 |  4080562 |     1714   5868 |        0 |        0
839.15/839.36	c  839s |      24 |  4189069 |  4089762 |     1714   5879 |        0 |        0
841.15/841.37	c  841s |      24 |  4198768 |  4099162 |     1714   5889 |        0 |        0
843.14/843.37	c  843s |      24 |  4208090 |  4108262 |     1714   5899 |        0 |        0
845.14/845.37	c  845s |      24 |  4217975 |  4117862 |     1714   5910 |        0 |        0
847.14/847.37	c  847s |      24 |  4227623 |  4127262 |     1714   5921 |        0 |        0
849.15/849.38	c  849s |      24 |  4237340 |  4136762 |     1714   5931 |        0 |        0
851.14/851.40	c  851s |      24 |  4247029 |  4146162 |     1714   5942 |        0 |        0
853.24/853.40	c  853s |      24 |  4256474 |  4155362 |     1714   5952 |        0 |        0
855.24/855.42	c  855s |      24 |  4265988 |  4164562 |     1714   5962 |        0 |        0
857.24/857.43	c  857s |      24 |  4275410 |  4173762 |     1714   5973 |        0 |        0
859.24/859.44	c  859s |      24 |  4284818 |  4182962 |     1714   5983 |        0 |        0
861.24/861.45	c  861s |      24 |  4294809 |  4192762 |     1714   5994 |        0 |        0
863.23/863.46	c  863s |      24 |  4304484 |  4202262 |     1714   6005 |        0 |        0
865.23/865.48	c  865s |      24 |  4314246 |  4211862 |     1714   6015 |        0 |        0
867.34/867.50	c  867s |      24 |  4324051 |  4221462 |     1714   6026 |        0 |        0
869.34/869.51	c  869s |      24 |  4333728 |  4230862 |     1714   6036 |        0 |        0
871.34/871.53	c  871s |      24 |  4343186 |  4240062 |     1714   6047 |        0 |        0
873.35/873.54	c  873s |      24 |  4353056 |  4249662 |     1714   6057 |        0 |        0
875.34/875.55	c  875s |      24 |  4362510 |  4258962 |     1714   6068 |        0 |        0
877.34/877.56	c  877s |      24 |  4372373 |  4268562 |     1714   6078 |        0 |        0
879.34/879.57	c  879s |      24 |  4381872 |  4277862 |     1714   6089 |        0 |        0
881.34/881.59	c  881s |      24 |  4391332 |  4287062 |     1714   6099 |        0 |        0
883.34/883.59	c  883s |      24 |  4401075 |  4296562 |     1714   6110 |        0 |        0
885.34/885.59	c  885s |      24 |  4410570 |  4305862 |     1714   6120 |        0 |        0
887.43/887.60	c  887s |      24 |  4420002 |  4315062 |     1714   6130 |        0 |        0
889.43/889.61	c  889s |      24 |  4429404 |  4324262 |     1714   6141 |        0 |        0
891.43/891.62	c  891s |      24 |  4438984 |  4333562 |     1714   6151 |        0 |        0
893.43/893.64	c  893s |      24 |  4448612 |  4343062 |     1714   6162 |        0 |        0
895.43/895.65	c  895s |      24 |  4458225 |  4352462 |     1714   6172 |        0 |        0
897.43/897.67	c  897s |      24 |  4467961 |  4361962 |     1714   6183 |        0 |        0
899.43/899.67	c  899s |      24 |  4477512 |  4371362 |     1714   6193 |        0 |        0
901.43/901.68	c  901s |      24 |  4487171 |  4380762 |     1714   6204 |        0 |        0
903.52/903.70	c  903s |      24 |  4496751 |  4390162 |     1714   6214 |        0 |        0
905.52/905.71	c  905s |      24 |  4506205 |  4399462 |     1714   6225 |        0 |        0
907.52/907.72	c  907s |      24 |  4515764 |  4408862 |     1714   6235 |        0 |        0
909.52/909.74	c  909s |      24 |  4525261 |  4418162 |     1714   6246 |        0 |        0
911.51/911.74	c  911s |      24 |  4535427 |  4428162 |     1714   6257 |        0 |        0
913.51/913.76	c  913s |      24 |  4545660 |  4438162 |     1714   6268 |        0 |        0
915.51/915.78	c  915s |      24 |  4555482 |  4447762 |     1714   6279 |        0 |        0
917.51/917.79	c  917s |      24 |  4565283 |  4457362 |     1714   6289 |        0 |        0
919.61/919.80	c  919s |      24 |  4574848 |  4466762 |     1714   6300 |        0 |        0
921.62/921.82	c  921s |      24 |  4584629 |  4476262 |     1714   6310 |        0 |        0
923.61/923.82	c  923s |      24 |  4594274 |  4485662 |     1714   6321 |        0 |        0
925.61/925.84	c  925s |      24 |  4604032 |  4495162 |     1714   6332 |        0 |        0
927.61/927.84	c  927s |      24 |  4613639 |  4504562 |     1714   6342 |        0 |        0
929.60/929.84	c  929s |      24 |  4623267 |  4513962 |     1714   6353 |        0 |        0
931.61/931.85	c  931s |      24 |  4632855 |  4523362 |     1714   6363 |        0 |        0
933.60/933.87	c  933s |      24 |  4642469 |  4532662 |     1714   6373 |        0 |        0
935.60/935.88	c  935s |      24 |  4652264 |  4542262 |     1714   6384 |        0 |        0
937.60/937.89	c  937s |      24 |  4662022 |  4551862 |     1714   6395 |        0 |        0
939.70/939.91	c  939s |      24 |  4671521 |  4561162 |     1714   6405 |        0 |        0
941.71/941.92	c  941s |      24 |  4681096 |  4570462 |     1714   6416 |        0 |        0
943.71/943.93	c  943s |      24 |  4690890 |  4579962 |     1714   6426 |        0 |        0
945.71/945.93	c  945s |      24 |  4700591 |  4589262 |     1714   6437 |        0 |        0
947.71/947.94	c  947s |      24 |  4710359 |  4598762 |     1714   6447 |        0 |        0
949.70/949.96	c  949s |      24 |  4719920 |  4608162 |     1714   6458 |        0 |        0
951.70/951.96	c  951s |      24 |  4729370 |  4617362 |     1714   6468 |        0 |        0
953.70/953.97	c  953s |      24 |  4738861 |  4626562 |     1714   6478 |        0 |        0
955.71/955.98	c  955s |      24 |  4748367 |  4635862 |     1714   6489 |        0 |        0
957.70/957.99	c  957s |      24 |  4758229 |  4645562 |     1714   6500 |        0 |        0
959.80/960.00	c  959s |      24 |  4768013 |  4655062 |     1714   6510 |        0 |        0
961.80/962.01	c  961s |      24 |  4777773 |  4664562 |     1714   6521 |        0 |        0
963.80/964.02	c  964s |      24 |  4787331 |  4673862 |     1714   6531 |        0 |        0
965.80/966.03	c  966s |      24 |  4797031 |  4683262 |     1714   6542 |        0 |        0
967.80/968.04	c  968s |      24 |  4806666 |  4692662 |     1714   6552 |        0 |        0
969.79/970.07	c  970s |      24 |  4816337 |  4702062 |     1714   6563 |        0 |        0
971.79/972.08	c  972s |      24 |  4825787 |  4711362 |     1714   6573 |        0 |        0
973.79/974.09	c  974s |      24 |  4835386 |  4720762 |     1714   6584 |        0 |        0
975.89/976.10	c  976s |      24 |  4845214 |  4730362 |     1714   6594 |        0 |        0
977.89/978.12	c  978s |      24 |  4854887 |  4739762 |     1714   6605 |        0 |        0
979.89/980.13	c  980s |      24 |  4864457 |  4749162 |     1714   6616 |        0 |        0
981.89/982.13	c  982s |      24 |  4874249 |  4758762 |     1714   6626 |        0 |        0
983.88/984.14	c  984s |      24 |  4883758 |  4768062 |     1714   6637 |        0 |        0
985.88/986.15	c  986s |      24 |  4893303 |  4777362 |     1714   6647 |        0 |        0
987.88/988.18	c  988s |      24 |  4902898 |  4786762 |     1714   6658 |        0 |        0
989.98/990.20	c  990s |      24 |  4912250 |  4795962 |     1714   6668 |        0 |        0
991.99/992.21	c  992s |      24 |  4921958 |  4805462 |     1714   6679 |        0 |        0
993.98/994.21	c  994s |      24 |  4931677 |  4814962 |     1714   6689 |        0 |        0
995.98/996.22	c  996s |      24 |  4941168 |  4824262 |     1714   6700 |        0 |        0
997.98/998.22	c  998s |      24 |  4950637 |  4833462 |     1714   6710 |        0 |        0
999.98/1000.24	c 1000s |      24 |  4960071 |  4842562 |     1714   6720 |        0 |        0
1001.98/1002.25	c 1002s |      24 |  4969432 |  4851762 |     1714   6730 |        0 |        0
1003.97/1004.26	c 1004s |      24 |  4979338 |  4861462 |     1714   6741 |        0 |        0
1005.97/1006.28	c 1006s |      24 |  4989326 |  4871262 |     1714   6752 |        0 |        0
1007.97/1008.28	c 1008s |      24 |  4999140 |  4880862 |     1714   6763 |        0 |        0
1010.07/1010.30	c 1010s |      24 |  5008975 |  4890462 |     1714   6774 |        0 |        0
1012.07/1012.30	c 1012s |      24 |  5018929 |  4900262 |     1714   6785 |        0 |        0
1014.07/1014.31	c 1014s |      24 |  5028914 |  4910062 |     1714   6795 |        0 |        0
1016.07/1016.32	c 1016s |      24 |  5038966 |  4919862 |     1714   6806 |        0 |        0
1018.07/1018.33	c 1018s |      24 |  5048864 |  4929562 |     1714   6817 |        0 |        0
1020.07/1020.34	c 1020s |      24 |  5058752 |  4939262 |     1714   6828 |        0 |        0
1022.06/1022.35	c 1022s |      24 |  5068645 |  4948962 |     1714   6839 |        0 |        0
1024.06/1024.36	c 1024s |      24 |  5078404 |  4958562 |     1714   6850 |        0 |        0
1026.07/1026.36	c 1026s |      24 |  5088199 |  4968162 |     1714   6860 |        0 |        0
1028.07/1028.37	c 1028s |      24 |  5097787 |  4977562 |     1714   6871 |        0 |        0
1030.07/1030.37	c 1030s |      24 |  5107840 |  4987362 |     1714   6882 |        0 |        0
1032.07/1032.38	c 1032s |      24 |  5117842 |  4997162 |     1714   6893 |        0 |        0
1034.07/1034.39	c 1034s |      24 |  5127608 |  5006762 |     1714   6904 |        0 |        0
1036.17/1036.41	c 1036s |      24 |  5137624 |  5016562 |     1714   6915 |        0 |        0
1038.17/1038.42	c 1038s |      24 |  5147703 |  5026462 |     1714   6926 |        0 |        0
1040.16/1040.43	c 1040s |      24 |  5157787 |  5036362 |     1886   6936 |        0 |        0
1042.16/1042.43	c 1042s |      24 |  5167488 |  5045862 |     1886   6945 |        0 |        0
1044.16/1044.45	c 1044s |      24 |  5177288 |  5055462 |     1886   6955 |        0 |        0
1046.16/1046.46	c 1046s |      24 |  5186989 |  5064962 |     1886   6965 |        0 |        0
1046.16/1046.49	c 1046s |      25 |  5187128 |  5065098 |     1886   6965 |        0 |        0
1048.26/1048.51	c 1048s |      25 |  5197346 |  5074998 |     1886   6975 |        0 |        0
1050.27/1050.51	c 1050s |      25 |  5207140 |  5084598 |     1886   6985 |        0 |        0
1052.26/1052.52	c 1052s |      25 |  5216792 |  5093998 |     1886   6995 |        0 |        0
1054.26/1054.52	c 1054s |      25 |  5226405 |  5103398 |     1886   7004 |        0 |        0
1056.26/1056.54	c 1056s |      25 |  5236547 |  5113298 |     1886   7014 |        0 |        0
1058.26/1058.55	c 1058s |      25 |  5246265 |  5122698 |     1886   7024 |        0 |        0
1060.26/1060.56	c 1060s |      25 |  5255968 |  5132098 |     1886   7033 |        0 |        0
1062.25/1062.56	c 1062s |      25 |  5265657 |  5141498 |     1886   7043 |        0 |        0
1064.25/1064.58	c 1064s |      25 |  5275580 |  5151198 |     1886   7053 |        0 |        0
1066.25/1066.59	c 1066s |      25 |  5285983 |  5161198 |     1886   7063 |        0 |        0
1068.35/1068.60	c 1068s |      25 |  5295923 |  5170898 |     1886   7073 |        0 |        0
1070.35/1070.62	c 1070s |      25 |  5305793 |  5180498 |     1886   7083 |        0 |        0
1072.36/1072.63	c 1072s |      25 |  5315581 |  5190098 |     1886   7092 |        0 |        0
1074.35/1074.63	c 1074s |      25 |  5325356 |  5199598 |     1886   7102 |        0 |        0
1076.34/1076.63	c 1076s |      25 |  5334871 |  5208898 |     1886   7111 |        0 |        0
1078.34/1078.65	c 1078s |      25 |  5344849 |  5218598 |     1886   7121 |        0 |        0
1080.34/1080.66	c 1080s |      25 |  5354633 |  5228198 |     1886   7131 |        0 |        0
1082.34/1082.67	c 1082s |      25 |  5364631 |  5237998 |     1886   7141 |        0 |        0
1084.35/1084.68	c 1084s |      25 |  5374740 |  5247898 |     1886   7151 |        0 |        0
1086.34/1086.68	c 1086s |      25 |  5384693 |  5257698 |     1886   7161 |        0 |        0
1088.45/1088.70	c 1088s |      25 |  5394707 |  5267498 |     1886   7171 |        0 |        0
1090.45/1090.72	c 1090s |      25 |  5404600 |  5277198 |     1886   7181 |        0 |        0
1092.45/1092.73	c 1092s |      25 |  5414294 |  5286698 |     1886   7191 |        0 |        0
1094.44/1094.74	c 1094s |      25 |  5424121 |  5296298 |     1886   7200 |        0 |        0
1096.45/1096.75	c 1096s |      25 |  5433795 |  5305798 |     1886   7210 |        0 |        0
1098.44/1098.75	c 1098s |      25 |  5443676 |  5315398 |     1886   7220 |        0 |        0
1100.44/1100.76	c 1100s |      25 |  5453533 |  5324998 |     1886   7230 |        0 |        0
1102.44/1102.76	c 1102s |      25 |  5463291 |  5334498 |     1886   7239 |        0 |        0
1104.44/1104.78	c 1104s |      25 |  5473390 |  5344398 |     1886   7249 |        0 |        0
1106.44/1106.78	c 1106s |      25 |  5483280 |  5353998 |     1886   7259 |        0 |        0
1108.44/1108.80	c 1108s |      25 |  5492989 |  5363498 |     1886   7269 |        0 |        0
1110.54/1110.82	c 1110s |      25 |  5502829 |  5373198 |     1886   7279 |        0 |        0
1112.53/1112.83	c 1112s |      25 |  5512904 |  5382998 |     1886   7289 |        0 |        0
1114.53/1114.83	c 1114s |      25 |  5522604 |  5392498 |     1886   7298 |        0 |        0
1116.53/1116.84	c 1116s |      25 |  5532415 |  5402098 |     1886   7308 |        0 |        0
1118.53/1118.85	c 1118s |      25 |  5542078 |  5411598 |     1886   7318 |        0 |        0
1120.52/1120.87	c 1120s |      25 |  5551947 |  5421198 |     1886   7328 |        0 |        0
1122.52/1122.88	c 1122s |      25 |  5562027 |  5430898 |     1886   7338 |        0 |        0
1124.52/1124.88	c 1124s |      25 |  5571712 |  5440398 |     1886   7347 |        0 |        0
1126.62/1126.90	c 1126s |      25 |  5581505 |  5449898 |     1886   7357 |        0 |        0
1128.62/1128.92	c 1128s |      25 |  5591214 |  5459298 |     1886   7367 |        0 |        0
1130.63/1130.92	c 1130s |      25 |  5600647 |  5468498 |     1886   7376 |        0 |        0
1132.62/1132.93	c 1132s |      25 |  5610873 |  5478398 |     1886   7386 |        0 |        0
1134.61/1134.93	c 1134s |      25 |  5620851 |  5488098 |     1886   7396 |        0 |        0
1136.61/1136.95	c 1136s |      25 |  5630834 |  5497898 |     1886   7406 |        0 |        0
1138.61/1138.96	c 1138s |      25 |  5640659 |  5507498 |     1886   7416 |        0 |        0
1140.61/1140.99	c 1140s |      25 |  5650707 |  5517198 |     1886   7425 |        0 |        0
1142.72/1143.01	c 1142s |      25 |  5660702 |  5526998 |     1886   7435 |        0 |        0
1144.71/1145.04	c 1145s |      25 |  5670498 |  5536598 |     1886   7445 |        0 |        0
1146.72/1147.05	c 1147s |      25 |  5680506 |  5546398 |     1886   7455 |        0 |        0
1148.71/1149.06	c 1149s |      25 |  5690477 |  5556098 |     1886   7465 |        0 |        0
1150.71/1151.07	c 1151s |      25 |  5700254 |  5565598 |     1886   7475 |        0 |        0
1152.71/1153.09	c 1153s |      25 |  5710396 |  5575398 |     1886   7485 |        0 |        0
1154.72/1155.09	c 1155s |      25 |  5720141 |  5584798 |     1886   7494 |        0 |        0
1156.81/1157.10	c 1157s |      25 |  5729827 |  5594198 |     1886   7504 |        0 |        0
1158.81/1159.12	c 1159s |      25 |  5739537 |  5603598 |     1886   7514 |        0 |        0
1160.81/1161.12	c 1161s |      25 |  5749156 |  5612998 |     1886   7523 |        0 |        0
1162.81/1163.13	c 1163s |      25 |  5758849 |  5622498 |     1886   7533 |        0 |        0
1164.81/1165.14	c 1165s |      25 |  5768498 |  5631898 |     1886   7542 |        0 |        0
1166.81/1167.15	c 1167s |      25 |  5778284 |  5641498 |     1886   7552 |        0 |        0
1168.80/1169.16	c 1169s |      25 |  5788281 |  5651298 |     1886   7562 |        0 |        0
1170.80/1171.17	c 1171s |      25 |  5798164 |  5660998 |     1886   7572 |        0 |        0
1172.80/1173.17	c 1173s |      25 |  5808004 |  5670698 |     1886   7582 |        0 |        0
1174.80/1175.19	c 1175s |      25 |  5817912 |  5680298 |     1886   7592 |        0 |        0
1176.90/1177.20	c 1177s |      25 |  5827869 |  5690098 |     1886   7602 |        0 |        0
1178.80/1179.20	c 1179s |      25 |  5837538 |  5699598 |     1886   7611 |        0 |        0
1180.89/1181.21	c 1181s |      25 |  5847164 |  5709098 |     1886   7621 |        0 |        0
1182.89/1183.21	c 1183s |      25 |  5856727 |  5718398 |     1886   7630 |        0 |        0
1184.89/1185.22	c 1185s |      25 |  5866539 |  5727998 |     1886   7640 |        0 |        0
1186.89/1187.22	c 1187s |      25 |  5876119 |  5737398 |     1886   7650 |        0 |        0
1188.90/1189.23	c 1189s |      25 |  5885798 |  5746898 |     1886   7659 |        0 |        0
1190.89/1191.24	c 1191s |      25 |  5895298 |  5756198 |     1886   7669 |        0 |        0
1192.89/1193.26	c 1193s |      25 |  5905279 |  5765998 |     1886   7679 |        0 |        0
1194.89/1195.26	c 1195s |      25 |  5914859 |  5775398 |     1886   7689 |        0 |        0
1196.89/1197.26	c 1197s |      25 |  5924466 |  5784798 |     1886   7698 |        0 |        0
1198.89/1199.28	c 1199s |      25 |  5934140 |  5794298 |     1886   7708 |        0 |        0
1200.90/1201.29	c 1201s |      25 |  5943970 |  5803898 |     1886   7718 |        0 |        0
1202.99/1203.30	c 1203s |      25 |  5953668 |  5813398 |     1886   7727 |        0 |        0
1204.99/1205.31	c 1205s |      25 |  5963038 |  5822598 |     1886   7737 |        0 |        0
1206.99/1207.33	c 1207s |      25 |  5972661 |  5831998 |     1886   7746 |        0 |        0
1208.99/1209.34	c 1209s |      25 |  5982093 |  5841198 |     1886   7756 |        0 |        0
1210.99/1211.35	c 1211s |      25 |  5991424 |  5850398 |     1886   7765 |        0 |        0
1212.99/1213.36	c 1213s |      25 |  6001710 |  5860498 |     1886   7775 |        0 |        0
1214.98/1215.37	c 1215s |      25 |  6011493 |  5870098 |     1886   7785 |        0 |        0
1216.98/1217.38	c 1217s |      25 |  6021399 |  5879898 |     1886   7795 |        0 |        0
1219.08/1219.40	c 1219s |      25 |  6031237 |  5889598 |     1886   7805 |        0 |        0
1221.08/1221.41	c 1221s |      25 |  6041128 |  5899298 |     1886   7815 |        0 |        0
1223.08/1223.43	c 1223s |      25 |  6050878 |  5908898 |     1886   7824 |        0 |        0
1225.08/1225.43	c 1225s |      25 |  6060732 |  5918598 |     1886   7834 |        0 |        0
1227.07/1227.45	c 1227s |      25 |  6070777 |  5928498 |     1886   7844 |        0 |        0
1229.07/1229.47	c 1229s |      25 |  6080623 |  5938198 |     1886   7854 |        0 |        0
1231.07/1231.48	c 1231s |      25 |  6090440 |  5947798 |     1886   7864 |        0 |        0
1233.07/1233.50	c 1233s |      25 |  6100159 |  5957398 |     1886   7874 |        0 |        0
1235.17/1235.52	c 1235s |      25 |  6109763 |  5966898 |     1886   7884 |        0 |        0
1237.18/1237.53	c 1237s |      25 |  6119534 |  5976498 |     1886   7893 |        0 |        0
1239.17/1239.55	c 1239s |      25 |  6129618 |  5986398 |     1886   7903 |        0 |        0
1241.17/1241.56	c 1241s |      25 |  6139346 |  5995898 |     1886   7913 |        0 |        0
1243.17/1243.57	c 1243s |      25 |  6149156 |  6005598 |     1886   7923 |        0 |        0
1245.16/1245.58	c 1245s |      25 |  6158793 |  6015098 |     1886   7933 |        0 |        0
1247.17/1247.60	c 1247s |      25 |  6168468 |  6024598 |     1886   7942 |        0 |        0
1249.27/1249.61	c 1249s |      25 |  6178005 |  6033998 |     1886   7952 |        0 |        0
1251.26/1251.61	c 1251s |      25 |  6187545 |  6043398 |     1886   7962 |        0 |        0
1253.26/1253.61	c 1253s |      25 |  6197320 |  6052998 |     1886   7971 |        0 |        0
1255.26/1255.62	c 1255s |      25 |  6207344 |  6062798 |     1886   7981 |        0 |        0
1257.26/1257.63	c 1257s |      25 |  6217089 |  6072298 |     1886   7991 |        0 |        0
1259.27/1259.65	c 1259s |      25 |  6226907 |  6081898 |     1886   8001 |        0 |        0
1261.26/1261.67	c 1261s |      25 |  6236726 |  6091598 |     1886   8011 |        0 |        0
1263.26/1263.68	c 1263s |      25 |  6245952 |  6100698 |     1886   8020 |        0 |        0
1265.25/1265.69	c 1265s |      25 |  6255412 |  6109998 |     1886   8029 |        0 |        0
1267.35/1267.71	c 1267s |      25 |  6265132 |  6119598 |     1886   8039 |        0 |        0
1269.35/1269.71	c 1269s |      25 |  6274750 |  6128998 |     1886   8049 |        0 |        0
1271.36/1271.73	c 1271s |      25 |  6284412 |  6138498 |     1886   8059 |        0 |        0
1273.35/1273.74	c 1273s |      25 |  6294192 |  6148098 |     1886   8068 |        0 |        0
1275.36/1275.76	c 1275s |      25 |  6304358 |  6158098 |     1886   8079 |        0 |        0
1277.36/1277.77	c 1277s |      25 |  6314404 |  6167998 |     1886   8089 |        0 |        0
1279.36/1279.78	c 1279s |      25 |  6324372 |  6177798 |     1886   8099 |        0 |        0
1281.36/1281.79	c 1281s |      25 |  6334468 |  6187698 |     1886   8109 |        0 |        0
1283.46/1283.81	c 1283s |      25 |  6344365 |  6197398 |     1886   8118 |        0 |        0
1285.45/1285.82	c 1285s |      25 |  6354077 |  6206898 |     1886   8128 |        0 |        0
1287.45/1287.83	c 1287s |      25 |  6363903 |  6216598 |     1886   8138 |        0 |        0
1289.45/1289.83	c 1289s |      25 |  6373594 |  6226098 |     1886   8148 |        0 |        0
1291.45/1291.84	c 1291s |      25 |  6383416 |  6235698 |     1886   8157 |        0 |        0
1293.45/1293.85	c 1293s |      25 |  6393213 |  6245298 |     1886   8167 |        0 |        0
1295.46/1295.87	c 1295s |      25 |  6402901 |  6254798 |     1886   8177 |        0 |        0
1297.45/1297.87	c 1297s |      25 |  6412861 |  6264498 |     1886   8187 |        0 |        0
1299.45/1299.88	c 1299s |      25 |  6422730 |  6274198 |     1886   8197 |        0 |        0
1301.45/1301.89	c 1301s |      25 |  6432564 |  6283898 |     1886   8207 |        0 |        0
1303.45/1303.89	c 1303s |      25 |  6442422 |  6293598 |     1886   8216 |        0 |        0
1305.45/1305.89	c 1305s |      25 |  6452046 |  6302998 |     1886   8226 |        0 |        0
1307.55/1307.90	c 1307s |      25 |  6462386 |  6313098 |     1886   8236 |        0 |        0
1309.54/1309.92	c 1309s |      25 |  6472451 |  6322898 |     1886   8246 |        0 |        0
1311.54/1311.94	c 1311s |      25 |  6482473 |  6332698 |     1886   8256 |        0 |        0
1313.54/1313.94	c 1313s |      25 |  6492152 |  6342198 |     1886   8266 |        0 |        0
1315.54/1315.96	c 1315s |      25 |  6501951 |  6351798 |     1886   8276 |        0 |        0
1317.54/1317.96	c 1317s |      25 |  6511824 |  6361398 |     1886   8286 |        0 |        0
1319.53/1319.97	c 1319s |      25 |  6521373 |  6370798 |     1886   8295 |        0 |        0
1321.53/1321.98	c 1321s |      25 |  6530956 |  6380198 |     1886   8305 |        0 |        0
1323.63/1324.00	c 1323s |      25 |  6540587 |  6389698 |     1886   8314 |        0 |        0
1325.63/1326.01	c 1325s |      25 |  6550179 |  6399198 |     1886   8324 |        0 |        0
1327.63/1328.02	c 1328s |      25 |  6559781 |  6408698 |     1886   8334 |        0 |        0
1329.64/1330.04	c 1330s |      25 |  6569524 |  6418298 |     1886   8344 |        0 |        0
1331.63/1332.04	c 1332s |      25 |  6579240 |  6427898 |     1886   8353 |        0 |        0
1333.62/1334.06	c 1334s |      25 |  6588861 |  6437398 |     1886   8363 |        0 |        0
1335.62/1336.06	c 1336s |      25 |  6598704 |  6446998 |     1886   8373 |        0 |        0
1337.62/1338.07	c 1338s |      25 |  6608317 |  6456498 |     1886   8383 |        0 |        0
1339.62/1340.08	c 1340s |      25 |  6617910 |  6465898 |     1886   8392 |        0 |        0
1341.63/1342.09	c 1342s |      25 |  6627415 |  6475298 |     1886   8402 |        0 |        0
1343.72/1344.11	c 1344s |      25 |  6637433 |  6485098 |     1886   8412 |        0 |        0
1345.72/1346.12	c 1346s |      25 |  6647239 |  6494598 |     1886   8421 |        0 |        0
1347.72/1348.12	c 1348s |      25 |  6656882 |  6503998 |     1886   8431 |        0 |        0
1349.72/1350.13	c 1350s |      25 |  6666548 |  6513498 |     1886   8441 |        0 |        0
1351.72/1352.15	c 1352s |      25 |  6676242 |  6522998 |     1886   8450 |        0 |        0
1353.72/1354.15	c 1354s |      25 |  6685709 |  6532098 |     1886   8460 |        0 |        0
1355.71/1356.16	c 1356s |      25 |  6695367 |  6541498 |     1886   8469 |        0 |        0
1357.71/1358.17	c 1358s |      25 |  6704899 |  6550898 |     1886   8479 |        0 |        0
1359.71/1360.17	c 1360s |      25 |  6714266 |  6560098 |     1886   8488 |        0 |        0
1361.71/1362.19	c 1362s |      25 |  6724060 |  6569598 |     1886   8498 |        0 |        0
1363.81/1364.21	c 1364s |      25 |  6733522 |  6578898 |     1886   8507 |        0 |        0
1365.81/1366.21	c 1366s |      25 |  6742875 |  6588098 |     1886   8517 |        0 |        0
1367.81/1368.23	c 1368s |      25 |  6752876 |  6597798 |     1886   8527 |        0 |        0
1369.80/1370.23	c 1370s |      25 |  6763137 |  6607698 |     1886   8537 |        0 |        0
1371.80/1372.24	c 1372s |      25 |  6773194 |  6617498 |     1886   8547 |        0 |        0
1373.80/1374.26	c 1374s |      25 |  6783297 |  6627398 |     1886   8557 |        0 |        0
1375.81/1376.26	c 1376s |      25 |  6793414 |  6637298 |     1886   8567 |        0 |        0
1377.80/1378.27	c 1378s |      25 |  6803420 |  6646998 |     1886   8577 |        0 |        0
1379.80/1380.28	c 1380s |      25 |  6813461 |  6656798 |     1886   8587 |        0 |        0
1381.80/1382.29	c 1382s |      25 |  6823437 |  6666598 |     1886   8597 |        0 |        0
1383.90/1384.30	c 1384s |      25 |  6833235 |  6676198 |     1886   8606 |        0 |        0
1385.90/1386.32	c 1386s |      25 |  6843122 |  6685798 |     1886   8616 |        0 |        0
1387.91/1388.32	c 1388s |      25 |  6852628 |  6695098 |     1886   8626 |        0 |        0
1389.90/1390.33	c 1390s |      25 |  6862430 |  6704698 |     1886   8635 |        0 |        0
1391.90/1392.33	c 1392s |      25 |  6872021 |  6714098 |     1886   8645 |        0 |        0
1393.90/1394.34	c 1394s |      25 |  6881922 |  6723698 |     1886   8655 |        0 |        0
1395.89/1396.34	c 1396s |      25 |  6891764 |  6733298 |     1886   8665 |        0 |        0
1397.90/1398.35	c 1398s |      25 |  6901432 |  6742798 |     1886   8674 |        0 |        0
1399.91/1400.35	c 1400s |      25 |  6910910 |  6752098 |     1886   8684 |        0 |        0
1401.90/1402.35	c 1402s |      25 |  6920576 |  6761598 |     1886   8693 |        0 |        0
1403.90/1404.37	c 1404s |      25 |  6930657 |  6771498 |     1886   8703 |        0 |        0
1405.90/1406.38	c 1406s |      25 |  6940331 |  6780998 |     1886   8713 |        0 |        0
1407.90/1408.39	c 1408s |      25 |  6950073 |  6790598 |     1886   8723 |        0 |        0
1410.00/1410.40	c 1410s |      25 |  6959672 |  6799998 |     1886   8733 |        0 |        0
1411.90/1412.40	c 1412s |      25 |  6969394 |  6809498 |     1886   8742 |        0 |        0
1414.00/1414.41	c 1414s |      25 |  6979228 |  6819098 |     1886   8752 |        0 |        0
1416.00/1416.43	c 1416s |      25 |  6989009 |  6828698 |     1886   8762 |        0 |        0
1417.99/1418.43	c 1418s |      25 |  6998650 |  6838198 |     1886   8771 |        0 |        0
1419.99/1420.44	c 1420s |      25 |  7008522 |  6847798 |     1886   8781 |        0 |        0
1422.00/1422.44	c 1422s |      25 |  7018208 |  6857298 |     1886   8791 |        0 |        0
1423.99/1424.46	c 1424s |      25 |  7028123 |  6866998 |     1886   8801 |        0 |        0
1425.99/1426.47	c 1426s |      25 |  7037782 |  6876498 |     1886   8811 |        0 |        0
1427.99/1428.49	c 1428s |      25 |  7047558 |  6885998 |     1886   8820 |        0 |        0
1430.08/1430.50	c 1430s |      25 |  7056922 |  6895198 |     1886   8830 |        0 |        0
1432.08/1432.51	c 1432s |      25 |  7066893 |  6904998 |     1886   8840 |        0 |        0
1434.09/1434.52	c 1434s |      25 |  7076837 |  6914698 |     1886   8849 |        0 |        0
1436.08/1436.54	c 1436s |      25 |  7086514 |  6924198 |     1886   8859 |        0 |        0
1438.08/1438.55	c 1438s |      25 |  7096313 |  6933798 |     1886   8869 |        0 |        0
1440.08/1440.56	c 1440s |      25 |  7106106 |  6943398 |     1886   8879 |        0 |        0
1442.08/1442.59	c 1442s |      25 |  7115925 |  6952998 |     1886   8889 |        0 |        0
1444.18/1444.60	c 1444s |      25 |  7125477 |  6962398 |     1886   8898 |        0 |        0
1446.18/1446.62	c 1446s |      25 |  7135288 |  6971998 |     1886   8908 |        0 |        0
1448.17/1448.62	c 1448s |      25 |  7144913 |  6981398 |     1886   8918 |        0 |        0
1450.17/1450.64	c 1450s |      25 |  7154606 |  6990798 |     1886   8927 |        0 |        0
1452.17/1452.65	c 1452s |      25 |  7164014 |  6999998 |     1886   8937 |        0 |        0
1454.17/1454.66	c 1454s |      25 |  7174246 |  7009998 |     1886   8947 |        0 |        0
1456.17/1456.68	c 1456s |      25 |  7184424 |  7019898 |     1886   8957 |        0 |        0
1458.18/1458.70	c 1458s |      25 |  7194423 |  7029698 |     1886   8967 |        0 |        0
1460.27/1460.72	c 1460s |      25 |  7204260 |  7039298 |     1886   8977 |        0 |        0
1462.27/1462.72	c 1462s |      25 |  7213981 |  7048598 |     1886   8986 |        0 |        0
1464.27/1464.73	c 1464s |      25 |  7223811 |  7058098 |     1886   8996 |        0 |        0
1466.27/1466.74	c 1466s |      25 |  7233492 |  7067498 |     1886   9005 |        0 |        0
1468.27/1468.75	c 1468s |      25 |  7242789 |  7076598 |     1886   9015 |        0 |        0
1470.28/1470.76	c 1470s |      25 |  7252510 |  7086098 |     1886   9024 |        0 |        0
1472.27/1472.77	c 1472s |      25 |  7262259 |  7095698 |     1886   9034 |        0 |        0
1474.27/1474.78	c 1474s |      25 |  7271884 |  7105098 |     1886   9044 |        0 |        0
1476.28/1476.79	c 1476s |      25 |  7281500 |  7114498 |     1886   9053 |        0 |        0
1478.38/1478.80	c 1478s |      25 |  7290955 |  7123698 |     1886   9063 |        0 |        0
1480.38/1480.80	c 1480s |      25 |  7300404 |  7132998 |     1886   9072 |        0 |        0
1482.38/1482.81	c 1482s |      25 |  7309988 |  7142398 |     1886   9082 |        0 |        0
1484.38/1484.82	c 1484s |      25 |  7319397 |  7151598 |     1886   9091 |        0 |        0
1486.38/1486.83	c 1486s |      25 |  7329285 |  7161298 |     1886   9101 |        0 |        0
1488.37/1488.84	c 1488s |      25 |  7339421 |  7171198 |     1886   9111 |        0 |        0
1490.37/1490.84	c 1490s |      25 |  7349533 |  7180998 |     1886   9121 |        0 |        0
1492.38/1492.85	c 1492s |      25 |  7359458 |  7190698 |     1886   9131 |        0 |        0
1494.37/1494.87	c 1494s |      25 |  7369282 |  7200298 |     1886   9141 |        0 |        0
1496.37/1496.88	c 1496s |      25 |  7379135 |  7209998 |     1886   9151 |        0 |        0
1498.37/1498.89	c 1498s |      25 |  7389039 |  7219698 |     1886   9161 |        0 |        0
1500.47/1500.90	c 1500s |      25 |  7398909 |  7229298 |     1886   9170 |        0 |        0
1502.47/1502.91	c 1502s |      25 |  7408945 |  7239098 |     1886   9180 |        0 |        0
1504.48/1504.94	c 1504s |      25 |  7418875 |  7248698 |     1886   9190 |        0 |        0
1506.47/1506.95	c 1506s |      25 |  7428520 |  7258098 |     1886   9200 |        0 |        0
1508.47/1508.97	c 1508s |      25 |  7438528 |  7267798 |     1886   9210 |        0 |        0
1510.47/1510.99	c 1510s |      25 |  7448555 |  7277598 |     1886   9219 |        0 |        0
1512.57/1513.01	c 1512s |      25 |  7458741 |  7287498 |     1886   9230 |        0 |        0
1514.57/1515.01	c 1514s |      25 |  7468678 |  7297098 |     1886   9239 |        0 |        0
1516.57/1517.01	c 1516s |      25 |  7478313 |  7306598 |     1886   9249 |        0 |        0
1518.56/1519.03	c 1519s |      25 |  7488004 |  7316098 |     1886   9259 |        0 |        0
1520.56/1521.04	c 1521s |      25 |  7497823 |  7325598 |     1886   9268 |        0 |        0
1522.56/1523.05	c 1523s |      25 |  7507281 |  7334898 |     1886   9278 |        0 |        0
1524.56/1525.07	c 1525s |      25 |  7517023 |  7344298 |     1886   9287 |        0 |        0
1526.56/1527.08	c 1527s |      25 |  7526772 |  7353798 |     1886   9297 |        0 |        0
1528.67/1529.10	c 1529s |      25 |  7536689 |  7363498 |     1886   9307 |        0 |        0
1530.66/1531.12	c 1531s |      25 |  7546510 |  7372998 |     1886   9317 |        0 |        0
1532.66/1533.14	c 1533s |      25 |  7556094 |  7382298 |     1886   9326 |        0 |        0
1534.66/1535.14	c 1535s |      25 |  7565495 |  7391498 |     1886   9335 |        0 |        0
1536.66/1537.16	c 1537s |      25 |  7575418 |  7401198 |     1886   9345 |        0 |        0
1538.66/1539.17	c 1539s |      25 |  7585572 |  7411198 |     1886   9356 |        0 |        0
1540.67/1541.17	c 1541s |      25 |  7595560 |  7420998 |     1886   9366 |        0 |        0
1542.76/1543.20	c 1543s |      25 |  7605537 |  7430798 |     1886   9376 |        0 |        0
1544.76/1545.21	c 1545s |      25 |  7615539 |  7440598 |     1886   9385 |        0 |        0
1546.76/1547.22	c 1547s |      25 |  7625178 |  7450098 |     1886   9395 |        0 |        0
1548.76/1549.23	c 1549s |      25 |  7634941 |  7459698 |     1886   9405 |        0 |        0
1550.76/1551.25	c 1551s |      25 |  7644519 |  7469098 |     1886   9415 |        0 |        0
1552.77/1553.26	c 1553s |      25 |  7654287 |  7478598 |     1886   9424 |        0 |        0
1554.77/1555.28	c 1555s |      25 |  7663942 |  7487998 |     1886   9434 |        0 |        0
1556.77/1557.29	c 1557s |      25 |  7673895 |  7497698 |     1886   9444 |        0 |        0
1558.87/1559.30	c 1559s |      25 |  7683650 |  7507198 |     1886   9453 |        0 |        0
1560.86/1561.31	c 1561s |      25 |  7693864 |  7517098 |     1886   9464 |        0 |        0
1562.87/1563.33	c 1563s |      25 |  7703924 |  7526898 |     1886   9474 |        0 |        0
1564.87/1565.33	c 1565s |      25 |  7713482 |  7536298 |     1886   9483 |        0 |        0
1566.86/1567.34	c 1567s |      25 |  7723313 |  7545898 |     2075   9493 |        0 |        0
1568.86/1569.35	c 1569s |      25 |  7733051 |  7555398 |     2075   9501 |        0 |        0
1570.86/1571.36	c 1571s |      25 |  7742895 |  7564998 |     2075   9510 |        0 |        0
1572.86/1573.38	c 1573s |      25 |  7752572 |  7574498 |     2075   9519 |        0 |        0
1574.96/1575.40	c 1575s |      25 |  7761938 |  7583698 |     2075   9528 |        0 |        0
1576.86/1577.40	c 1577s |      25 |  7771567 |  7593098 |     2075   9536 |        0 |        0
1577.86/1578.38	c 1578s |      26 |  7776358 |  7597752 |     2075   9541 |        0 |        0
1579.86/1580.38	c 1580s |      26 |  7786401 |  7607552 |     2075   9550 |        0 |        0
1581.86/1582.39	c 1582s |      26 |  7796210 |  7617152 |     2075   9559 |        0 |        0
1583.95/1584.40	c 1584s |      26 |  7806224 |  7626952 |     2075   9568 |        0 |        0
1585.95/1586.41	c 1586s |      26 |  7816123 |  7636652 |     2075   9577 |        0 |        0
1587.96/1588.41	c 1588s |      26 |  7825888 |  7646252 |     2075   9586 |        0 |        0
1589.95/1590.42	c 1590s |      26 |  7835641 |  7655752 |     2075   9595 |        0 |        0
1591.95/1592.43	c 1592s |      26 |  7845432 |  7665352 |     2075   9604 |        0 |        0
1593.95/1594.46	c 1594s |      26 |  7855217 |  7674952 |     2075   9613 |        0 |        0
1595.95/1596.48	c 1596s |      26 |  7865133 |  7684652 |     2075   9622 |        0 |        0
1598.05/1598.50	c 1598s |      26 |  7875223 |  7694552 |     2075   9631 |        0 |        0
1600.06/1600.50	c 1600s |      26 |  7885049 |  7704152 |     2075   9640 |        0 |        0
1602.05/1602.50	c 1602s |      26 |  7894474 |  7713352 |     2075   9648 |        0 |        0
1604.05/1604.50	c 1604s |      26 |  7904178 |  7722852 |     2075   9657 |        0 |        0
1606.06/1606.51	c 1606s |      26 |  7913549 |  7732052 |     2075   9666 |        0 |        0
1608.06/1608.52	c 1608s |      26 |  7923067 |  7741352 |     2075   9674 |        0 |        0
1610.06/1610.54	c 1610s |      26 |  7932403 |  7750452 |     2075   9683 |        0 |        0
1612.06/1612.54	c 1612s |      26 |  7941851 |  7759752 |     2075   9691 |        0 |        0
1614.06/1614.55	c 1614s |      26 |  7951731 |  7769452 |     2075   9700 |        0 |        0
1616.06/1616.57	c 1616s |      26 |  7961551 |  7779052 |     2075   9709 |        0 |        0
1618.06/1618.58	c 1618s |      26 |  7971250 |  7788552 |     2075   9718 |        0 |        0
1620.06/1620.59	c 1620s |      26 |  7980769 |  7797952 |     2075   9727 |        0 |        0
1622.06/1622.59	c 1622s |      26 |  7990342 |  7807252 |     2075   9736 |        0 |        0
1624.15/1624.60	c 1624s |      26 |  8000144 |  7816752 |     2075   9744 |        0 |        0
1626.15/1626.61	c 1626s |      26 |  8009453 |  7825852 |     2075   9753 |        0 |        0
1628.15/1628.64	c 1628s |      26 |  8019044 |  7835152 |     2075   9762 |        0 |        0
1630.15/1630.66	c 1630s |      26 |  8029030 |  7844952 |     2075   9771 |        0 |        0
1632.15/1632.67	c 1632s |      26 |  8038899 |  7854552 |     2075   9780 |        0 |        0
1634.16/1634.69	c 1634s |      26 |  8048872 |  7864252 |     2075   9789 |        0 |        0
1636.25/1636.70	c 1636s |      26 |  8058624 |  7873852 |     2075   9797 |        0 |        0
1638.25/1638.72	c 1638s |      26 |  8068496 |  7883552 |     2075   9806 |        0 |        0
1640.25/1640.73	c 1640s |      26 |  8078310 |  7893152 |     2075   9815 |        0 |        0
1642.25/1642.74	c 1642s |      26 |  8088146 |  7902752 |     2075   9824 |        0 |        0
1644.25/1644.74	c 1644s |      26 |  8097808 |  7912152 |     2075   9833 |        0 |        0
1646.26/1646.75	c 1646s |      26 |  8107400 |  7921552 |     2075   9842 |        0 |        0
1648.25/1648.76	c 1648s |      26 |  8116922 |  7930952 |     2075   9851 |        0 |        0
1650.25/1650.78	c 1650s |      26 |  8126522 |  7940352 |     2075   9859 |        0 |        0
1652.25/1652.79	c 1652s |      26 |  8136255 |  7949952 |     2075   9868 |        0 |        0
1654.35/1654.80	c 1654s |      26 |  8146025 |  7959552 |     2075   9877 |        0 |        0
1656.35/1656.81	c 1656s |      26 |  8155552 |  7968852 |     2075   9886 |        0 |        0
1658.35/1658.83	c 1658s |      26 |  8165105 |  7978252 |     2075   9895 |        0 |        0
1660.34/1660.83	c 1660s |      26 |  8174792 |  7987752 |     2075   9903 |        0 |        0
1662.34/1662.85	c 1662s |      26 |  8184425 |  7997252 |     2075   9912 |        0 |        0
1664.34/1664.86	c 1664s |      26 |  8193979 |  8006552 |     2075   9921 |        0 |        0
1666.34/1666.87	c 1666s |      26 |  8203598 |  8015952 |     2075   9930 |        0 |        0
1668.35/1668.88	c 1668s |      26 |  8213159 |  8025352 |     2075   9939 |        0 |        0
1670.34/1670.90	c 1670s |      26 |  8222572 |  8034552 |     2075   9947 |        0 |        0
1672.44/1672.90	c 1672s |      26 |  8231931 |  8043752 |     2075   9956 |        0 |        0
1674.44/1674.91	c 1674s |      26 |  8242163 |  8053752 |     2075   9965 |        0 |        0
1676.44/1676.92	c 1676s |      26 |  8252696 |  8063952 |     2075   9974 |        0 |        0
1678.44/1678.92	c 1678s |      26 |  8262912 |  8073852 |     2075   9984 |        0 |        0
1680.45/1680.93	c 1680s |      26 |  8272934 |  8083652 |     2075   9993 |        0 |        0
1682.44/1682.94	c 1682s |      26 |  8283123 |  8093552 |     2075  10002 |        0 |        0
1684.44/1684.94	c 1684s |      26 |  8292630 |  8102852 |     2075  10010 |        0 |        0
1686.44/1686.95	c 1686s |      26 |  8302459 |  8112452 |     2075  10019 |        0 |        0
1688.44/1688.96	c 1688s |      26 |  8312536 |  8122352 |     2075  10029 |        0 |        0
1690.45/1690.96	c 1690s |      26 |  8322525 |  8132052 |     2075  10038 |        0 |        0
1692.45/1692.96	c 1692s |      26 |  8332410 |  8141752 |     2075  10047 |        0 |        0
1694.44/1694.97	c 1694s |      26 |  8342323 |  8151452 |     2075  10056 |        0 |        0
1696.44/1696.99	c 1696s |      26 |  8352253 |  8161152 |     2075  10065 |        0 |        0
1698.54/1699.02	c 1699s |      26 |  8362139 |  8170852 |     2075  10074 |        0 |        0
1700.54/1701.02	c 1701s |      26 |  8372089 |  8180552 |     2075  10083 |        0 |        0
1702.54/1703.04	c 1703s |      26 |  8381972 |  8190252 |     2075  10092 |        0 |        0
1704.55/1705.04	c 1705s |      26 |  8391752 |  8199852 |     2075  10101 |        0 |        0
1706.54/1707.05	c 1707s |      26 |  8401275 |  8209152 |     2075  10109 |        0 |        0
1708.54/1709.05	c 1709s |      26 |  8411110 |  8218752 |     2075  10118 |        0 |        0
1710.54/1711.05	c 1711s |      26 |  8420991 |  8228252 |     2075  10127 |        0 |        0
1712.54/1713.07	c 1713s |      26 |  8430803 |  8237752 |     2075  10136 |        0 |        0
1714.55/1715.07	c 1715s |      26 |  8440674 |  8247452 |     2075  10145 |        0 |        0
1716.54/1717.08	c 1717s |      26 |  8450457 |  8257052 |     2075  10154 |        0 |        0
1718.54/1719.09	c 1719s |      26 |  8460323 |  8266752 |     2075  10163 |        0 |        0
1720.64/1721.10	c 1721s |      26 |  8470090 |  8276252 |     2075  10172 |        0 |        0
1722.64/1723.12	c 1723s |      26 |  8479565 |  8285452 |     2075  10180 |        0 |        0
1724.63/1725.12	c 1725s |      26 |  8489606 |  8295152 |     2075  10189 |        0 |        0
1726.64/1727.14	c 1727s |      26 |  8499434 |  8304652 |     2075  10198 |        0 |        0
1728.63/1729.16	c 1729s |      26 |  8509215 |  8314252 |     2075  10207 |        0 |        0
1730.63/1731.17	c 1731s |      26 |  8518943 |  8323752 |     2075  10216 |        0 |        0
1732.63/1733.19	c 1733s |      26 |  8528592 |  8333152 |     2075  10224 |        0 |        0
1734.73/1735.20	c 1735s |      26 |  8538038 |  8342352 |     2075  10233 |        0 |        0
1736.73/1737.22	c 1737s |      26 |  8547504 |  8351552 |     2075  10242 |        0 |        0
1738.74/1739.23	c 1739s |      26 |  8556865 |  8360652 |     2075  10250 |        0 |        0
1740.73/1741.24	c 1741s |      26 |  8566496 |  8370152 |     2075  10259 |        0 |        0
1742.73/1743.26	c 1743s |      26 |  8576340 |  8379852 |     2075  10268 |        0 |        0
1744.73/1745.27	c 1745s |      26 |  8585991 |  8389352 |     2075  10277 |        0 |        0
1746.73/1747.28	c 1747s |      26 |  8595685 |  8398852 |     2075  10286 |        0 |        0
1748.73/1749.28	c 1749s |      26 |  8605484 |  8408452 |     2075  10294 |        0 |        0
1750.73/1751.29	c 1751s |      26 |  8615169 |  8417952 |     2075  10303 |        0 |        0
1752.83/1753.30	c 1753s |      26 |  8624623 |  8427252 |     2075  10312 |        0 |        0
1754.84/1755.30	c 1755s |      26 |  8634435 |  8436852 |     2075  10321 |        0 |        0
1756.83/1757.32	c 1757s |      26 |  8644004 |  8446252 |     2075  10330 |        0 |        0
1758.83/1759.34	c 1759s |      26 |  8653783 |  8455852 |     2075  10339 |        0 |        0
1760.83/1761.34	c 1761s |      26 |  8663436 |  8465352 |     2075  10347 |        0 |        0
1762.84/1763.35	c 1763s |      26 |  8672924 |  8474652 |     2075  10356 |        0 |        0
1764.83/1765.36	c 1765s |      26 |  8682291 |  8483852 |     2075  10365 |        0 |        0
1766.83/1767.37	c 1767s |      26 |  8692265 |  8493552 |     2075  10374 |        0 |        0
1768.83/1769.39	c 1769s |      26 |  8702258 |  8503252 |     2075  10383 |        0 |        0
1770.93/1771.40	c 1771s |      26 |  8711979 |  8512752 |     2075  10391 |        0 |        0
1772.93/1773.41	c 1773s |      26 |  8721397 |  8521952 |     2075  10400 |        0 |        0
1774.94/1775.43	c 1775s |      26 |  8731169 |  8531552 |     2075  10409 |        0 |        0
1776.93/1777.44	c 1777s |      26 |  8740829 |  8541052 |     2075  10418 |        0 |        0
1778.93/1779.47	c 1779s |      26 |  8750454 |  8550452 |     2075  10427 |        0 |        0
1780.93/1781.49	c 1781s |      26 |  8760263 |  8560052 |     2075  10435 |        0 |        0
1783.03/1783.51	c 1783s |      26 |  8769793 |  8569452 |     2075  10444 |        0 |        0
1785.03/1785.52	c 1785s |      26 |  8779606 |  8579052 |     2075  10453 |        0 |        0
1787.03/1787.54	c 1787s |      26 |  8789266 |  8588452 |     2075  10462 |        0 |        0
1789.03/1789.54	c 1789s |      26 |  8798760 |  8597752 |     2075  10471 |        0 |        0
1791.03/1791.55	c 1791s |      26 |  8808262 |  8607052 |     2075  10479 |        0 |        0
1793.03/1793.55	c 1793s |      26 |  8818054 |  8616652 |     2075  10488 |        0 |        0
1795.03/1795.57	c 1795s |      26 |  8827698 |  8626052 |     2075  10497 |        0 |        0
1797.03/1797.59	c 1797s |      26 |  8837193 |  8635352 |     2075  10506 |        0 |        0
1799.02/1799.60	c 1799s |      26 |  8846303 |  8644252 |     2075  10514 |        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-4089078-1466021056/watcher-4089078-1466021056 -o /tmp/evaluation-result-4089078-1466021056/solver-4089078-1466021056 -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-4089078-1466021056.opb 

pid=6826
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.17 2.23 2.20 3/179 6829
/proc/meminfo: memFree=29465056/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=657988 CPUtime=0 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 2445 0 0 0 0 0 0 0 20 0 4 0 4152062 673779712 3317 33554432000 4194304 16246674 140736482374512 140736482373936 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 165265 3325 442 2943 0 162159 0
[pid=6829/tid=6830] ppid=6826 vsize=675396 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 691605504 3384 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=679492 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 695799808 3401 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=683588 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 699994112 3415 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.17 2.23 2.20 3/179 6829
/proc/meminfo: memFree=29465056/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 29156 0 0 0 5 3 0 0 20 0 4 0 4152062 1247350784 30017 33554432000 4194304 16246674 140736482374512 140736482356416 5589389 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 304529 30031 712 2943 0 301423 0
[pid=6829/tid=6830] ppid=6826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1247350784 30040 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1247350784 30051 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1247350784 30062 33554432000 4194304 16246674 140736482374512 140075862060208 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.200524 s]
/proc/loadavg: 2.17 2.23 2.20 3/179 6829
/proc/meminfo: memFree=29465056/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 58028 0 0 0 12 7 0 0 20 0 4 0 4152062 1247350784 58889 33554432000 4194304 16246674 140736482374512 140736482356416 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 304529 58905 712 2943 0 301423 0
[pid=6829/tid=6830] ppid=6826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1247350784 58915 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1247350784 58923 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1247350784 58929 33554432000 4194304 16246674 140736482374512 140075862060208 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.300467 s]
/proc/loadavg: 2.17 2.23 2.20 3/179 6829
/proc/meminfo: memFree=29465056/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 86786 0 0 0 18 11 0 0 20 0 4 0 4152062 1247350784 87648 33554432000 4194304 16246674 140736482374512 140736482356416 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 304529 87663 712 2943 0 301423 0
[pid=6829/tid=6830] ppid=6826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1247350784 87672 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1247350784 87683 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1247350784 87688 33554432000 4194304 16246674 140736482374512 140075862060208 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.700381 s]
/proc/loadavg: 2.17 2.23 2.20 3/179 6829
/proc/meminfo: memFree=29465056/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 202743 0 0 0 43 26 0 0 20 0 4 0 4152062 1247350784 203605 33554432000 4194304 16246674 140736482374512 140736482356416 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 304529 203620 712 2943 0 301423 0
[pid=6829/tid=6830] ppid=6826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1247350784 203631 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1247350784 203640 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1247350784 203650 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.17 2.23 2.20 3/183 6833
/proc/meminfo: memFree=28479444/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1305156 CPUtime=1.48 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 267152 0 0 0 114 34 0 0 20 0 4 0 4152062 1336479744 267993 33554432000 4194304 16246674 140736482374512 140736482356416 6044331 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 326289 267993 790 2943 0 323183 0
[pid=6829/tid=6830] ppid=6826 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1336479744 267993 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1336479744 267993 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1336479744 267993 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 2.17 2.23 2.20 3/183 6833
/proc/meminfo: memFree=28391900/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 267466 0 0 0 274 34 0 0 20 0 4 0 4152062 1337528320 268307 33554432000 4194304 16246674 140736482374512 140736482373688 5721384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 326545 268307 790 2943 0 323439 0
[pid=6829/tid=6830] ppid=6826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1337528320 268307 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1337528320 268307 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1337528320 268307 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30036 s]
/proc/loadavg: 2.16 2.22 2.20 3/183 6833
/proc/meminfo: memFree=28391900/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 267470 0 0 0 594 34 0 0 20 0 4 0 4152062 1337528320 268311 33554432000 4194304 16246674 140736482374512 140736482356416 5661595 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 326545 268311 792 2943 0 323439 0
[pid=6829/tid=6830] ppid=6826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1337528320 268311 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1337528320 268311 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1337528320 268311 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.14 2.22 2.20 4/183 6833
/proc/meminfo: memFree=28391840/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 267560 0 0 0 1234 34 0 0 20 0 4 0 4152062 1337528320 268401 33554432000 4194304 16246674 140736482374512 140736482356416 6011892 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 326545 268401 792 2943 0 323439 0
[pid=6829/tid=6830] ppid=6826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1337528320 268401 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1337528320 268401 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1337528320 268401 33554432000 4194304 16246674 140736482374512 140075862060208 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) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.25 2.24 2.21 3/183 6833
/proc/meminfo: memFree=28391808/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 267749 0 0 0 2514 35 0 0 20 0 4 0 4152062 1338576896 268590 33554432000 4194304 16246674 140736482374512 140736482356416 5659314 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 326801 268590 793 2943 0 323695 0
[pid=6829/tid=6830] ppid=6826 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1338576896 268590 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1338576896 268590 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1338576896 268590 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.17 2.22 2.20 4/183 6833
/proc/meminfo: memFree=28391808/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 267749 0 0 0 5073 35 0 0 20 0 4 0 4152062 1338576896 268590 33554432000 4194304 16246674 140736482374512 140736482356416 5545708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 326801 268590 793 2943 0 323695 0
[pid=6829/tid=6830] ppid=6826 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1338576896 268590 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1338576896 268590 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1338576896 268590 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.20 2.23 2.20 4/183 6834
/proc/meminfo: memFree=28391448/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 267788 0 0 0 10192 36 0 0 20 0 4 0 4152062 1338576896 268629 33554432000 4194304 16246674 140736482374512 140736482356416 6021072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 326801 268629 793 2943 0 323695 0
[pid=6829/tid=6830] ppid=6826 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1338576896 268629 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1338576896 268629 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1338576896 268629 33554432000 4194304 16246674 140736482374512 140075862060208 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/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.17 2.23 2.19 3/183 6963
/proc/meminfo: memFree=28385256/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1313348 CPUtime=1361.91 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 269734 0 0 0 136137 54 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140736482356416 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 328337 270211 794 2943 0 325231 0
[pid=6829/tid=6830] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1313348

[startup+1422.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 6964
/proc/meminfo: memFree=28385176/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1313348 CPUtime=1421.9 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 269773 0 0 0 142135 55 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140736482356416 5667321 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 328337 270211 794 2943 0 325231 0
[pid=6829/tid=6830] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.34 2.26 2.19 3/183 6965
/proc/meminfo: memFree=28383564/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1313348 CPUtime=1481.88 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 269788 0 0 0 148132 56 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140736482356416 5721633 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 328337 270211 794 2943 0 325231 0
[pid=6829/tid=6830] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.39 2.29 2.20 3/183 6967
/proc/meminfo: memFree=28383712/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1313348 CPUtime=1541.87 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 269788 0 0 0 154131 56 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140736482357512 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 328337 270211 794 2943 0 325231 0
[pid=6829/tid=6830] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.48 2.32 2.22 3/184 6971
/proc/meminfo: memFree=28383332/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1313348 CPUtime=1601.85 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 269788 0 0 0 160128 57 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140736482356416 5721725 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 328337 270211 794 2943 0 325231 0
[pid=6829/tid=6830] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.28 2.29 2.21 3/183 6972
/proc/meminfo: memFree=28383848/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1313348 CPUtime=1661.85 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 269788 0 0 0 166127 58 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140736482356416 12483215 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 328337 270211 794 2943 0 325231 0
[pid=6829/tid=6830] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.27 2.28 2.21 3/183 6973
/proc/meminfo: memFree=28383632/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1313348 CPUtime=1721.84 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 269788 0 0 0 172125 59 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140736482356416 12483332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 328337 270211 794 2943 0 325231 0
[pid=6829/tid=6830] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.43 2.32 2.22 3/183 6974
/proc/meminfo: memFree=28381184/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1313348 CPUtime=1781.83 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 269788 0 0 0 178123 60 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140736482356416 6021376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 328337 270211 794 2943 0 325231 0
[pid=6829/tid=6830] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.46 2.33 2.23 3/183 6975
/proc/meminfo: memFree=28380784/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1313348 CPUtime=1800.02 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 269788 0 0 0 179942 60 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140736482356416 5723568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 328337 270211 794 2943 0 325231 0
[pid=6829/tid=6830] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1313348

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

[startup+1800.5 s]
/proc/loadavg: 2.46 2.33 2.23 3/183 6975
/proc/meminfo: memFree=28380784/32872528 swapFree=1369816/1516984
[pid=6829] ppid=6826 vsize=1313348 CPUtime=1800.02 cores=1,3,5,7
/proc/6829/stat : 6829 (toysat) R 6826 6829 5822 0 -1 4202496 269788 0 0 0 179942 60 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140736482356416 5723568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6829/statm: 328337 270211 794 2943 0 325231 0
[pid=6829/tid=6830] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6830/stat : 6830 (toysat) S 6826 6829 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075992067312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6829/tid=6831] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6831/stat : 6831 (toysat) S 6826 6829 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075981577456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6829/tid=6832] ppid=6826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6829/task/6832/stat : 6832 (toysat) S 6826 6829 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4152062 1344868352 270211 33554432000 4194304 16246674 140736482374512 140075862060208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1313348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.43
CPU system time (s): 0.604908
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.604908
maximum resident set size= 1080844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269788
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= 434
involuntary context switches= 1990

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2953 second user time and 17.8643 second system time

The end

Begin job on node129 at 2016-06-15 22:04:16
IDJOB=4089078
IDBENCH=107355
IDSOLVER=2542
FILE ID=node129/4089078-1466021056
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-grid10x17.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089078-1466021056/watcher-4089078-1466021056 -o /tmp/evaluation-result-4089078-1466021056/solver-4089078-1466021056 -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-4089078-1466021056.opb

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

MD5SUM BENCH= 6b579983b09d9ceab1600afb9467973c
RANDOM SEED=801271381

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:        29465972 kB
Buffers:           13564 kB
Cached:            73964 kB
SwapCached:        20176 kB
Active:          1140080 kB
Inactive:          48672 kB
Active(anon):    1083084 kB
Inactive(anon):    20104 kB
Active(file):      56996 kB
Inactive(file):    28568 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081528 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2680804 kB
Mapped:            10328 kB
Shmem:                 0 kB
Slab:             566156 kB
SReclaimable:      10464 kB
SUnreclaim:       555692 kB
KernelStack:        1520 kB
PageTables:         9168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2741252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1304576 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:34:16