0.00/0.00	c 2016-06-30T21:03:11+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-4121098-1467313391.opb"]
0.00/0.01	c use --random-gen="622466721 4042461372 3168602845 1590016199 2551265728 2708472107 1183939295 1765082857 261766441 2764164984 2243767723 1307728510 2547032599 1267154536 144597819 1538205286 2081998320 3016662921 253240184 4259986388 1403519413 1677380857 1134381232 3224584290 3206180197 3395871439 2923569204 2959788737 1502629936 3637127157 2042777009 2854955929 3974944126 241044738 1104962263 4132502804 1223414590 3335976064 566473590 2409975658 3517678427 1835338137 509021410 1037697130 4263625961 1914965668 4161871089 1380418186 2216440839 3910665918 2040572844 1277413657 1085722403 1682622526 2249520645 2374264434 840058795 1402014910 1558787907 939435605 3391989199 2707875261 3224032713 672137090 583341617 1306028057 798152208 4049911109 3657795874 1966993824 3889661417 3108978928 377771509 1511911378 200136393 3819923205 2768039168 388054317 3856553758 1276263832 3574148199 2358266577 537551340 2233947642 306611981 872345794 2295313015 3151691471 951553645 1471714169 607351922 2679522845 783858264 3420163552 937095365 3920199333 3686829827 1309653021 2960118613 2959273224 1734631169 1810776716 2591080190 1126614954 3162058986 760815812 2826327082 621662035 2840826937 3281402857 117566323 2240527590 1691784584 518278340 4122324163 407080268 4164603608 3811352696 598003449 174456421 3017774040 823742063 3357408719 2717763329 2952798207 618555019 292511934 3151386287 283448820 2975859994 2667973068 2012176933 2486609177 1739891665 2295786486 586113099 3055561526 2812680738 3444070238 2775190773 2796803699 1898254116 2337702088 1377292185 4109602128 2384868452 1886064446 4133312670 2635909763 1226795376 2237012342 1009792241 1487889464 3705602998 1432059133 4056917754 917232787 1128692281 2206565311 1398377176 3142010833 2875045712 466524271 2551357703 1690010507 201955711 2521830187 1114388933 2214635088 2201366313 3092462915 604435320 1505817937 2289595964 3944741582 2389124351 2250090455 1679492494 1961500449 3208804007 1744005080 3425230147 485752985 4267797067 2314605045 3705353723 3251598946 1682249474 765183130 767977304 396099973 1785048794 2341466744 1482875880 3142696876 4106806763 869122467 1426761557 1129296906 2953689826 1030571077 263774297 4000514738 1591516388 819527683 2029920214 1419115917 2226427966 3044260538 1737260824 3758349170 2967110049 668476063 1696323399 2254514640 2637544812 2961873299 2873164455 4024536685 2031425837 3353723272 672349868 1733589030 1089594433 1571135409 1193715866 2539577141 3428223100 961366568 2002704596 2783827894 1085323631 2260777080 2357224693 3804843610 3223467525 871962306 623206303 1103326089 2183396481 4264962804 807052511 3403585549 3621240933 3631365336 933642086 637312677 1616087105 2614681567 939540323 2149591270 37037879 1579731080 2500904000 2203128325 2223075267 255 362436" option to reproduce the execution
0.00/0.01	c #vars 117
0.00/0.01	c #constraints 116
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       77      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      144 |      100 |       77      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      393 |      250 |       85      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      764 |      475 |       94      6 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1331 |      813 |      104     12 |        0 |        0
0.09/0.15	c  0.1s |       5 |     2029 |     1320 |      115     18 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3337 |     2081 |      140     28 |        0 |        0
0.29/0.34	c  0.3s |       7 |     4994 |     3223 |      154     41 |        0 |        0
0.49/0.50	c  0.5s |       8 |     7856 |     4936 |      170     60 |        0 |        0
0.69/0.79	c  0.8s |       9 |    11320 |     7506 |      188     86 |        0 |        0
1.09/1.14	c  1.1s |      10 |    16973 |    11361 |      207    122 |        0 |        0
1.48/1.57	c  1.6s |      11 |    25147 |    17144 |      228    172 |        0 |        0
2.19/2.25	c  2.2s |      12 |    36841 |    25819 |      251    241 |        0 |        0
3.29/3.31	c  3.3s |      13 |    54179 |    38832 |      277    334 |        0 |        0
4.59/4.67	c  4.7s |      14 |    82651 |    58352 |      305    463 |        0 |        0
6.59/6.68	c  6.7s |      14 |   118771 |    85852 |      305    632 |        0 |        0
6.78/6.81	c  6.8s |      15 |   121286 |    87632 |      336    642 |        0 |        0
8.80/8.81	c  8.8s |      15 |   154343 |   113132 |      336    787 |        0 |        0
10.29/10.33	c 10.3s |      16 |   176476 |   131552 |      370    890 |        0 |        0
12.29/12.33	c 12.3s |      16 |   212599 |   157452 |      370   1022 |        0 |        0
14.29/14.34	c 14.3s |      16 |   249121 |   183952 |      370   1159 |        0 |        0
15.29/15.34	c 15.3s |      17 |   267885 |   197432 |      408   1227 |        0 |        0
17.29/17.34	c 17.3s |      17 |   300497 |   221832 |      408   1342 |        0 |        0
19.29/19.35	c 19.3s |      17 |   332998 |   246632 |      408   1458 |        0 |        0
21.28/21.35	c 21.3s |      17 |   366609 |   271832 |      408   1577 |        0 |        0
23.28/23.36	c 23.3s |      17 |   396085 |   295332 |      449   1687 |        0 |        0
23.38/23.43	c 23.4s |      18 |   397224 |   296252 |      449   1691 |        0 |        0
25.39/25.44	c 25.4s |      18 |   424859 |   319052 |      449   1788 |        0 |        0
27.38/27.45	c 27.4s |      18 |   452405 |   342052 |      449   1885 |        0 |        0
29.38/29.45	c 29.4s |      18 |   481082 |   365452 |      449   1984 |        0 |        0
31.38/31.46	c 31.4s |      18 |   512687 |   388952 |      449   2084 |        0 |        0
33.38/33.46	c 33.4s |      18 |   541907 |   412552 |      449   2185 |        0 |        0
35.38/35.46	c 35.4s |      18 |   572753 |   436452 |      449   2288 |        0 |        0
36.18/36.22	c 36.2s |      19 |   581874 |   444482 |      494   2321 |        0 |        0
38.19/38.23	c 38.2s |      19 |   610521 |   466882 |      494   2407 |        0 |        0
40.19/40.23	c 40.2s |      19 |   638163 |   489382 |      494   2495 |        0 |        0
42.19/42.23	c 42.2s |      19 |   665238 |   511182 |      494   2580 |        0 |        0
44.19/44.23	c 44.2s |      19 |   694208 |   534182 |      494   2669 |        0 |        0
46.19/46.23	c 46.2s |      19 |   724659 |   557282 |      494   2759 |        0 |        0
48.18/48.24	c 48.2s |      19 |   754329 |   580482 |      494   2849 |        0 |        0
50.18/50.25	c 50.2s |      19 |   786668 |   604782 |      494   2944 |        0 |        0
52.18/52.25	c 52.2s |      19 |   816852 |   628582 |      494   3037 |        0 |        0
54.18/54.25	c 54.2s |      19 |   845028 |   651282 |      494   3125 |        0 |        0
55.58/55.64	c 55.6s |      20 |   864567 |   666827 |      544   3184 |        0 |        0
57.58/57.64	c 57.6s |      20 |   894476 |   689927 |      544   3266 |        0 |        0
59.58/59.65	c 59.6s |      20 |   925160 |   713327 |      544   3350 |        0 |        0
61.59/61.66	c 61.6s |      20 |   952171 |   735427 |      544   3428 |        0 |        0
63.58/63.66	c 63.6s |      20 |   980172 |   758027 |      544   3508 |        0 |        0
65.58/65.66	c 65.6s |      20 |  1006986 |   780127 |      544   3588 |        0 |        0
67.58/67.66	c 67.6s |      20 |  1032889 |   801827 |      544   3665 |        0 |        0
69.57/69.67	c 69.7s |      20 |  1058147 |   823227 |      544   3740 |        0 |        0
71.58/71.67	c 71.7s |      20 |  1084244 |   844627 |      544   3816 |        0 |        0
73.57/73.68	c 73.7s |      20 |  1111976 |   866427 |      544   3894 |        0 |        0
75.57/75.68	c 75.7s |      20 |  1139136 |   888727 |      544   3973 |        0 |        0
77.58/77.68	c 77.7s |      20 |  1168174 |   911927 |      544   4056 |        0 |        0
79.58/79.69	c 79.7s |      20 |  1197067 |   934327 |      544   4136 |        0 |        0
81.58/81.69	c 81.7s |      20 |  1224365 |   956027 |      544   4214 |        0 |        0
83.59/83.70	c 83.7s |      20 |  1253052 |   978427 |      544   4294 |        0 |        0
85.68/85.70	c 85.7s |      20 |  1279592 |  1000227 |      599   4369 |        0 |        0
85.68/85.71	c 85.7s |      21 |  1279726 |  1000345 |      599   4369 |        0 |        0
87.68/87.71	c 87.7s |      21 |  1311923 |  1023445 |      599   4444 |        0 |        0
89.68/89.71	c 89.7s |      21 |  1343460 |  1046245 |      599   4518 |        0 |        0
91.68/91.72	c 91.7s |      21 |  1376770 |  1070045 |      599   4595 |        0 |        0
93.68/93.72	c 93.7s |      21 |  1409914 |  1094545 |      599   4675 |        0 |        0
95.68/95.73	c 95.7s |      21 |  1440741 |  1117945 |      599   4752 |        0 |        0
97.67/97.73	c 97.7s |      21 |  1472700 |  1141745 |      599   4830 |        0 |        0
99.67/99.74	c 99.7s |      21 |  1504186 |  1165245 |      599   4906 |        0 |        0
101.67/101.74	c  101s |      21 |  1537096 |  1188545 |      599   4981 |        0 |        0
103.67/103.74	c  103s |      21 |  1567831 |  1211445 |      599   5056 |        0 |        0
105.68/105.75	c  105s |      21 |  1599325 |  1234145 |      599   5130 |        0 |        0
107.67/107.75	c  107s |      21 |  1628203 |  1256145 |      599   5201 |        0 |        0
109.67/109.75	c  109s |      21 |  1656958 |  1278345 |      599   5273 |        0 |        0
111.67/111.75	c  111s |      21 |  1683328 |  1299245 |      599   5341 |        0 |        0
113.67/113.76	c  113s |      21 |  1713432 |  1322345 |      599   5416 |        0 |        0
115.67/115.76	c  115s |      21 |  1744179 |  1345245 |      599   5490 |        0 |        0
117.68/117.77	c  117s |      21 |  1774431 |  1368545 |      599   5566 |        0 |        0
119.67/119.77	c  119s |      21 |  1803604 |  1391145 |      599   5640 |        0 |        0
121.67/121.78	c  121s |      21 |  1832554 |  1413245 |      599   5712 |        0 |        0
123.67/123.78	c  123s |      21 |  1862361 |  1436045 |      599   5787 |        0 |        0
125.67/125.78	c  125s |      21 |  1888248 |  1457245 |      599   5856 |        0 |        0
127.67/127.78	c  127s |      21 |  1914826 |  1478645 |      599   5925 |        0 |        0
129.67/129.73	c  129s |      22 |  1943155 |  1500622 |      659   5994 |        0 |        0
131.66/131.74	c  131s |      22 |  1971491 |  1522622 |      659   6058 |        0 |        0
133.66/133.74	c  133s |      22 |  1997783 |  1543422 |      659   6120 |        0 |        0
135.66/135.75	c  135s |      22 |  2025097 |  1564322 |      659   6182 |        0 |        0
137.67/137.75	c  137s |      22 |  2050941 |  1584822 |      659   6242 |        0 |        0
139.68/139.76	c  139s |      22 |  2074437 |  1604622 |      659   6301 |        0 |        0
141.67/141.77	c  141s |      22 |  2098624 |  1624322 |      659   6359 |        0 |        0
143.67/143.77	c  143s |      22 |  2122764 |  1644322 |      659   6418 |        0 |        0
145.67/145.78	c  145s |      22 |  2148155 |  1664722 |      659   6479 |        0 |        0
147.67/147.78	c  147s |      22 |  2177192 |  1687222 |      659   6545 |        0 |        0
149.68/149.78	c  149s |      22 |  2204188 |  1708322 |      659   6608 |        0 |        0
151.67/151.79	c  151s |      22 |  2230986 |  1729422 |      659   6670 |        0 |        0
153.67/153.79	c  153s |      22 |  2255360 |  1749422 |      659   6729 |        0 |        0
155.67/155.79	c  155s |      22 |  2282561 |  1770622 |      659   6792 |        0 |        0
157.66/157.79	c  157s |      22 |  2307936 |  1791322 |      659   6853 |        0 |        0
159.76/159.80	c  159s |      22 |  2331029 |  1811022 |      659   6912 |        0 |        0
161.77/161.81	c  161s |      22 |  2355035 |  1830922 |      659   6970 |        0 |        0
163.76/163.81	c  163s |      22 |  2378350 |  1850622 |      659   7028 |        0 |        0
165.76/165.82	c  165s |      22 |  2403357 |  1870822 |      659   7088 |        0 |        0
167.76/167.82	c  167s |      22 |  2428656 |  1890822 |      659   7147 |        0 |        0
169.76/169.82	c  169s |      22 |  2450667 |  1909322 |      659   7202 |        0 |        0
171.76/171.82	c  171s |      22 |  2472347 |  1927822 |      659   7256 |        0 |        0
173.77/173.83	c  173s |      22 |  2495713 |  1947222 |      659   7314 |        0 |        0
175.76/175.83	c  175s |      22 |  2522160 |  1968022 |      659   7374 |        0 |        0
177.76/177.84	c  177s |      22 |  2551189 |  1989522 |      659   7437 |        0 |        0
179.76/179.84	c  179s |      22 |  2577247 |  2010022 |      659   7497 |        0 |        0
181.76/181.84	c  181s |      22 |  2605427 |  2032222 |      659   7563 |        0 |        0
183.76/183.84	c  183s |      22 |  2632169 |  2053222 |      659   7626 |        0 |        0
185.76/185.85	c  185s |      22 |  2655070 |  2072622 |      659   7683 |        0 |        0
187.76/187.85	c  187s |      22 |  2676212 |  2090822 |      659   7736 |        0 |        0
189.76/189.86	c  189s |      22 |  2697779 |  2109522 |      659   7792 |        0 |        0
191.76/191.86	c  191s |      22 |  2720114 |  2128622 |      659   7848 |        0 |        0
193.76/193.87	c  193s |      22 |  2744503 |  2148822 |      659   7908 |        0 |        0
195.77/195.87	c  195s |      22 |  2767397 |  2168522 |      659   7966 |        0 |        0
197.76/197.88	c  197s |      22 |  2791974 |  2188322 |      659   8025 |        0 |        0
199.76/199.88	c  199s |      22 |  2817553 |  2209222 |      659   8087 |        0 |        0
201.76/201.88	c  201s |      22 |  2839758 |  2228222 |      659   8143 |        0 |        0
203.76/203.88	c  203s |      22 |  2861319 |  2246822 |      725   8195 |        0 |        0
204.26/204.35	c  204s |      23 |  2866192 |  2251038 |      725   8207 |        0 |        0
206.26/206.36	c  206s |      23 |  2888896 |  2269838 |      725   8257 |        0 |        0
208.26/208.36	c  208s |      23 |  2911953 |  2289038 |      725   8308 |        0 |        0
210.26/210.37	c  210s |      23 |  2935566 |  2308838 |      725   8361 |        0 |        0
212.27/212.38	c  212s |      23 |  2958354 |  2328338 |      725   8414 |        0 |        0
214.26/214.38	c  214s |      23 |  2979556 |  2346638 |      725   8462 |        0 |        0
216.26/216.39	c  216s |      23 |  3005938 |  2367438 |      725   8518 |        0 |        0
218.26/218.40	c  218s |      23 |  3032534 |  2388538 |      725   8575 |        0 |        0
220.36/220.40	c  220s |      23 |  3058795 |  2409438 |      725   8631 |        0 |        0
222.36/222.41	c  222s |      23 |  3081669 |  2428438 |      725   8682 |        0 |        0
224.36/224.42	c  224s |      23 |  3103574 |  2446938 |      725   8732 |        0 |        0
226.35/226.42	c  226s |      23 |  3127050 |  2466038 |      725   8783 |        0 |        0
228.35/228.43	c  228s |      23 |  3151163 |  2485538 |      725   8835 |        0 |        0
230.35/230.44	c  230s |      23 |  3176355 |  2505838 |      725   8889 |        0 |        0
232.35/232.45	c  232s |      23 |  3203379 |  2526738 |      725   8946 |        0 |        0
234.36/234.45	c  234s |      23 |  3228087 |  2546638 |      725   8999 |        0 |        0
236.35/236.45	c  236s |      23 |  3252057 |  2566238 |      725   9052 |        0 |        0
238.35/238.46	c  238s |      23 |  3275943 |  2586238 |      725   9106 |        0 |        0
240.35/240.47	c  240s |      23 |  3300318 |  2606038 |      725   9159 |        0 |        0
242.35/242.47	c  242s |      23 |  3325115 |  2626138 |      725   9213 |        0 |        0
244.35/244.47	c  244s |      23 |  3349375 |  2645838 |      725   9266 |        0 |        0
246.36/246.47	c  246s |      23 |  3371323 |  2664638 |      725   9317 |        0 |        0
248.35/248.48	c  248s |      23 |  3393449 |  2683438 |      725   9368 |        0 |        0
250.35/250.48	c  250s |      23 |  3415081 |  2702238 |      725   9419 |        0 |        0
252.35/252.49	c  252s |      23 |  3438808 |  2721338 |      725   9471 |        0 |        0
254.45/254.50	c  254s |      23 |  3462443 |  2740438 |      725   9522 |        0 |        0
256.45/256.50	c  256s |      23 |  3485836 |  2759638 |      725   9573 |        0 |        0
258.46/258.51	c  258s |      23 |  3511229 |  2779538 |      725   9626 |        0 |        0
260.45/260.51	c  260s |      23 |  3538702 |  2800738 |      725   9683 |        0 |        0
262.45/262.52	c  262s |      23 |  3565504 |  2821538 |      725   9740 |        0 |        0
264.45/264.52	c  264s |      23 |  3587713 |  2840338 |      725   9790 |        0 |        0
266.45/266.53	c  266s |      23 |  3613928 |  2860838 |      725   9845 |        0 |        0
268.46/268.53	c  268s |      23 |  3639827 |  2880838 |      725   9899 |        0 |        0
270.45/270.53	c  270s |      23 |  3666630 |  2901038 |      725   9954 |        0 |        0
272.45/272.54	c  272s |      23 |  3691709 |  2920738 |      725  10008 |        0 |        0
274.44/274.54	c  274s |      23 |  3717164 |  2940938 |      725  10062 |        0 |        0
276.44/276.55	c  276s |      23 |  3740192 |  2959938 |      725  10113 |        0 |        0
278.44/278.55	c  278s |      23 |  3763086 |  2978938 |      725  10163 |        0 |        0
280.45/280.56	c  280s |      23 |  3786164 |  2998038 |      725  10215 |        0 |        0
282.44/282.56	c  282s |      23 |  3809970 |  3017338 |      725  10266 |        0 |        0
284.44/284.57	c  284s |      23 |  3836268 |  3038038 |      725  10322 |        0 |        0
286.44/286.57	c  286s |      23 |  3863643 |  3059138 |      725  10379 |        0 |        0
288.44/288.58	c  288s |      23 |  3889764 |  3079738 |      725  10435 |        0 |        0
290.45/290.59	c  290s |      23 |  3914470 |  3099738 |      725  10489 |        0 |        0
292.45/292.59	c  292s |      23 |  3938639 |  3119338 |      725  10542 |        0 |        0
294.55/294.60	c  294s |      23 |  3965589 |  3140338 |      725  10599 |        0 |        0
296.55/296.61	c  296s |      23 |  3987515 |  3158838 |      725  10648 |        0 |        0
298.55/298.61	c  298s |      23 |  4010682 |  3178038 |      725  10699 |        0 |        0
300.55/300.61	c  300s |      23 |  4034148 |  3197138 |      725  10750 |        0 |        0
302.55/302.62	c  302s |      23 |  4058553 |  3216438 |      725  10802 |        0 |        0
304.55/304.63	c  304s |      23 |  4082863 |  3236438 |      725  10855 |        0 |        0
306.55/306.64	c  306s |      23 |  4106169 |  3255638 |      725  10907 |        0 |        0
308.55/308.65	c  308s |      23 |  4130799 |  3275538 |      725  10960 |        0 |        0
310.54/310.65	c  310s |      23 |  4153592 |  3294738 |      725  11012 |        0 |        0
312.54/312.66	c  312s |      23 |  4178857 |  3314538 |      725  11065 |        0 |        0
314.55/314.66	c  314s |      23 |  4203211 |  3334438 |      725  11118 |        0 |        0
316.54/316.67	c  316s |      23 |  4224946 |  3352938 |      798  11167 |        0 |        0
318.54/318.68	c  318s |      23 |  4247341 |  3371438 |      798  11212 |        0 |        0
319.14/319.28	c  319s |      24 |  4253197 |  3376662 |      798  11225 |        0 |        0
321.15/321.30	c  321s |      24 |  4274534 |  3394462 |      798  11268 |        0 |        0
323.24/323.30	c  323s |      24 |  4297365 |  3413462 |      798  11315 |        0 |        0
325.24/325.31	c  325s |      24 |  4319717 |  3431662 |      798  11359 |        0 |        0
327.24/327.32	c  327s |      24 |  4340457 |  3449562 |      798  11403 |        0 |        0
329.24/329.33	c  329s |      24 |  4363019 |  3468362 |      798  11449 |        0 |        0
331.24/331.34	c  331s |      24 |  4384457 |  3486862 |      798  11494 |        0 |        0
333.24/333.34	c  333s |      24 |  4407423 |  3505862 |      798  11540 |        0 |        0
335.24/335.35	c  335s |      24 |  4434123 |  3525962 |      798  11589 |        0 |        0
337.24/337.36	c  337s |      24 |  4456709 |  3544462 |      798  11635 |        0 |        0
339.24/339.37	c  339s |      24 |  4483338 |  3564962 |      798  11685 |        0 |        0
341.23/341.37	c  341s |      24 |  4507850 |  3584362 |      798  11732 |        0 |        0
343.24/343.37	c  343s |      24 |  4528588 |  3602162 |      798  11776 |        0 |        0
345.23/345.37	c  345s |      24 |  4550820 |  3620462 |      798  11820 |        0 |        0
347.23/347.38	c  347s |      24 |  4573205 |  3638762 |      798  11865 |        0 |        0
349.23/349.38	c  349s |      24 |  4597409 |  3658162 |      798  11913 |        0 |        0
351.23/351.38	c  351s |      24 |  4618428 |  3676162 |      798  11956 |        0 |        0
353.23/353.38	c  353s |      24 |  4643104 |  3695562 |      798  12004 |        0 |        0
355.24/355.38	c  355s |      24 |  4666472 |  3714362 |      798  12050 |        0 |        0
357.23/357.38	c  357s |      24 |  4688728 |  3732662 |      798  12095 |        0 |        0
359.23/359.39	c  359s |      24 |  4708273 |  3749662 |      798  12137 |        0 |        0
361.34/361.40	c  361s |      24 |  4730153 |  3767462 |      798  12181 |        0 |        0
363.34/363.40	c  363s |      24 |  4753074 |  3786462 |      798  12227 |        0 |        0
365.34/365.40	c  365s |      24 |  4777972 |  3806162 |      798  12275 |        0 |        0
367.34/367.40	c  367s |      24 |  4802087 |  3825462 |      798  12323 |        0 |        0
369.33/369.41	c  369s |      24 |  4825732 |  3844562 |      798  12370 |        0 |        0
371.33/371.41	c  371s |      24 |  4846995 |  3862762 |      798  12414 |        0 |        0
373.33/373.41	c  373s |      24 |  4869395 |  3881462 |      798  12460 |        0 |        0
375.33/375.42	c  375s |      24 |  4894687 |  3901362 |      798  12509 |        0 |        0
377.34/377.42	c  377s |      24 |  4920492 |  3921662 |      798  12559 |        0 |        0
379.33/379.42	c  379s |      24 |  4944732 |  3941062 |      798  12607 |        0 |        0
381.33/381.43	c  381s |      24 |  4967765 |  3960162 |      798  12654 |        0 |        0
383.33/383.43	c  383s |      24 |  4990075 |  3979062 |      798  12700 |        0 |        0
385.33/385.43	c  385s |      24 |  5012262 |  3997762 |      798  12746 |        0 |        0
387.33/387.44	c  387s |      24 |  5035120 |  4016662 |      798  12792 |        0 |        0
389.34/389.45	c  389s |      24 |  5058967 |  4035762 |      798  12839 |        0 |        0
391.33/391.46	c  391s |      24 |  5083178 |  4055062 |      798  12886 |        0 |        0
393.33/393.46	c  393s |      24 |  5108619 |  4074562 |      798  12934 |        0 |        0
395.33/395.47	c  395s |      24 |  5132686 |  4093762 |      798  12982 |        0 |        0
397.33/397.47	c  397s |      24 |  5157343 |  4113362 |      798  13030 |        0 |        0
399.34/399.47	c  399s |      24 |  5181711 |  4133262 |      798  13079 |        0 |        0
401.33/401.47	c  401s |      24 |  5206272 |  4153262 |      798  13128 |        0 |        0
403.33/403.48	c  403s |      24 |  5232020 |  4173462 |      798  13177 |        0 |        0
405.33/405.48	c  405s |      24 |  5257400 |  4193762 |      798  13227 |        0 |        0
407.33/407.49	c  407s |      24 |  5280003 |  4212662 |      798  13273 |        0 |        0
409.33/409.50	c  409s |      24 |  5303516 |  4231962 |      798  13320 |        0 |        0
411.33/411.50	c  411s |      24 |  5326375 |  4250962 |      798  13367 |        0 |        0
413.43/413.50	c  413s |      24 |  5349401 |  4269962 |      798  13414 |        0 |        0
415.43/415.50	c  415s |      24 |  5371499 |  4288162 |      798  13458 |        0 |        0
417.42/417.51	c  417s |      24 |  5395132 |  4306862 |      798  13504 |        0 |        0
419.42/419.51	c  419s |      24 |  5420841 |  4326862 |      798  13553 |        0 |        0
421.42/421.52	c  421s |      24 |  5443874 |  4345862 |      798  13600 |        0 |        0
423.43/423.52	c  423s |      24 |  5466684 |  4364462 |      798  13645 |        0 |        0
425.42/425.53	c  425s |      24 |  5491674 |  4384062 |      798  13693 |        0 |        0
427.42/427.53	c  427s |      24 |  5514052 |  4402762 |      798  13739 |        0 |        0
429.42/429.53	c  429s |      24 |  5537162 |  4421462 |      798  13785 |        0 |        0
431.42/431.54	c  431s |      24 |  5560741 |  4440462 |      798  13832 |        0 |        0
433.43/433.54	c  433s |      24 |  5583412 |  4459262 |      798  13878 |        0 |        0
435.42/435.55	c  435s |      24 |  5605235 |  4477162 |      798  13922 |        0 |        0
437.42/437.55	c  437s |      24 |  5627935 |  4495762 |      798  13967 |        0 |        0
439.42/439.55	c  439s |      24 |  5652774 |  4515562 |      798  14016 |        0 |        0
441.42/441.56	c  441s |      24 |  5678274 |  4535262 |      798  14064 |        0 |        0
443.42/443.57	c  443s |      24 |  5704870 |  4555562 |      798  14114 |        0 |        0
445.42/445.57	c  445s |      24 |  5730124 |  4575162 |      798  14163 |        0 |        0
447.42/447.58	c  447s |      24 |  5754497 |  4594862 |      798  14211 |        0 |        0
449.42/449.59	c  449s |      24 |  5780954 |  4615262 |      798  14261 |        0 |        0
451.42/451.59	c  451s |      24 |  5805978 |  4634862 |      798  14310 |        0 |        0
453.42/453.59	c  453s |      24 |  5830772 |  4654662 |      798  14358 |        0 |        0
455.52/455.60	c  455s |      24 |  5856493 |  4674562 |      798  14407 |        0 |        0
457.53/457.61	c  457s |      24 |  5879812 |  4693062 |      798  14453 |        0 |        0
459.52/459.61	c  459s |      24 |  5904857 |  4712262 |      798  14500 |        0 |        0
461.52/461.62	c  461s |      24 |  5930856 |  4732462 |      798  14550 |        0 |        0
463.52/463.62	c  463s |      24 |  5953817 |  4750862 |      798  14595 |        0 |        0
465.52/465.63	c  465s |      24 |  5976878 |  4769662 |      798  14641 |        0 |        0
467.52/467.64	c  467s |      24 |  5998624 |  4787862 |      798  14686 |        0 |        0
469.52/469.64	c  469s |      24 |  6019857 |  4805762 |      798  14729 |        0 |        0
471.52/471.64	c  471s |      24 |  6042515 |  4824862 |      798  14776 |        0 |        0
473.52/473.65	c  473s |      24 |  6067446 |  4844362 |      798  14824 |        0 |        0
475.52/475.65	c  475s |      24 |  6091596 |  4863662 |      798  14871 |        0 |        0
477.52/477.66	c  477s |      24 |  6115904 |  4882962 |      798  14919 |        0 |        0
479.52/479.66	c  479s |      24 |  6140347 |  4902462 |      798  14967 |        0 |        0
481.51/481.66	c  481s |      24 |  6164942 |  4921962 |      798  15014 |        0 |        0
483.51/483.67	c  483s |      24 |  6191998 |  4942162 |      798  15064 |        0 |        0
485.51/485.68	c  485s |      24 |  6215121 |  4960962 |      798  15110 |        0 |        0
487.51/487.69	c  487s |      24 |  6239887 |  4980562 |      798  15158 |        0 |        0
489.52/489.70	c  489s |      24 |  6264101 |  4999962 |      798  15206 |        0 |        0
491.51/491.70	c  491s |      24 |  6290472 |  5020262 |      798  15256 |        0 |        0
493.61/493.70	c  493s |      24 |  6314867 |  5039762 |      878  15301 |        0 |        0
495.61/495.71	c  495s |      24 |  6336299 |  5057462 |      878  15341 |        0 |        0
496.41/496.51	c  496s |      25 |  6345845 |  5065098 |      878  15358 |        0 |        0
498.41/498.52	c  498s |      25 |  6369379 |  5083398 |      878  15398 |        0 |        0
500.41/500.52	c  500s |      25 |  6393983 |  5102498 |      878  15441 |        0 |        0
502.42/502.53	c  502s |      25 |  6418019 |  5121198 |      878  15482 |        0 |        0
504.42/504.53	c  504s |      25 |  6440733 |  5139498 |      878  15523 |        0 |        0
506.42/506.54	c  506s |      25 |  6464750 |  5158098 |      878  15564 |        0 |        0
508.42/508.54	c  508s |      25 |  6487857 |  5176098 |      878  15605 |        0 |        0
510.42/510.54	c  510s |      25 |  6511308 |  5194098 |      878  15645 |        0 |        0
512.41/512.55	c  512s |      25 |  6533950 |  5211998 |      878  15684 |        0 |        0
514.41/514.56	c  514s |      25 |  6558906 |  5230898 |      878  15727 |        0 |        0
516.41/516.56	c  516s |      25 |  6582743 |  5249398 |      878  15768 |        0 |        0
518.41/518.56	c  518s |      25 |  6608702 |  5268998 |      878  15812 |        0 |        0
520.41/520.57	c  520s |      25 |  6633966 |  5288398 |      878  15855 |        0 |        0
522.42/522.58	c  522s |      25 |  6660170 |  5307798 |      878  15899 |        0 |        0
524.41/524.59	c  524s |      25 |  6687920 |  5327698 |      878  15943 |        0 |        0
526.41/526.59	c  526s |      25 |  6711740 |  5346198 |      878  15985 |        0 |        0
528.41/528.59	c  528s |      25 |  6734618 |  5364498 |      878  16025 |        0 |        0
530.41/530.60	c  530s |      25 |  6758285 |  5383498 |      878  16068 |        0 |        0
532.51/532.60	c  532s |      25 |  6784994 |  5403498 |      878  16112 |        0 |        0
534.40/534.60	c  534s |      25 |  6810569 |  5422998 |      878  16156 |        0 |        0
536.50/536.61	c  536s |      25 |  6834091 |  5441698 |      878  16197 |        0 |        0
538.50/538.61	c  538s |      25 |  6857742 |  5460498 |      878  16239 |        0 |        0
540.50/540.62	c  540s |      25 |  6880139 |  5478798 |      878  16280 |        0 |        0
542.50/542.63	c  542s |      25 |  6902775 |  5496798 |      878  16320 |        0 |        0
544.51/544.64	c  544s |      25 |  6923354 |  5514198 |      878  16359 |        0 |        0
546.50/546.64	c  546s |      25 |  6942820 |  5530898 |      878  16396 |        0 |        0
548.50/548.65	c  548s |      25 |  6963196 |  5548498 |      878  16435 |        0 |        0
550.50/550.65	c  550s |      25 |  6984569 |  5566098 |      878  16474 |        0 |        0
552.50/552.66	c  552s |      25 |  7003363 |  5582498 |      878  16511 |        0 |        0
554.50/554.67	c  554s |      25 |  7024835 |  5600398 |      878  16551 |        0 |        0
556.51/556.67	c  556s |      25 |  7046021 |  5618098 |      878  16591 |        0 |        0
558.50/558.67	c  558s |      25 |  7070541 |  5637298 |      878  16634 |        0 |        0
560.51/560.68	c  560s |      25 |  7094167 |  5656298 |      878  16676 |        0 |        0
562.51/562.69	c  562s |      25 |  7117645 |  5674798 |      878  16717 |        0 |        0
564.51/564.69	c  564s |      25 |  7141847 |  5693598 |      878  16759 |        0 |        0
566.51/566.69	c  566s |      25 |  7166254 |  5712698 |      878  16802 |        0 |        0
568.51/568.70	c  568s |      25 |  7192978 |  5732398 |      878  16846 |        0 |        0
570.61/570.70	c  570s |      25 |  7218468 |  5751498 |      878  16889 |        0 |        0
572.60/572.71	c  572s |      25 |  7245044 |  5771098 |      878  16933 |        0 |        0
574.60/574.71	c  574s |      25 |  7271067 |  5791098 |      878  16978 |        0 |        0
576.60/576.71	c  576s |      25 |  7296803 |  5810798 |      878  17022 |        0 |        0
578.61/578.71	c  578s |      25 |  7319855 |  5829298 |      878  17064 |        0 |        0
580.60/580.71	c  580s |      25 |  7345211 |  5848798 |      878  17108 |        0 |        0
582.60/582.71	c  582s |      25 |  7368316 |  5867498 |      878  17149 |        0 |        0
584.60/584.72	c  584s |      25 |  7393143 |  5886498 |      878  17192 |        0 |        0
586.60/586.72	c  586s |      25 |  7416059 |  5904598 |      878  17233 |        0 |        0
588.60/588.73	c  588s |      25 |  7442341 |  5923998 |      878  17276 |        0 |        0
590.60/590.74	c  590s |      25 |  7468809 |  5943498 |      878  17320 |        0 |        0
592.60/592.74	c  592s |      25 |  7494252 |  5962698 |      878  17363 |        0 |        0
594.60/594.75	c  594s |      25 |  7519693 |  5981798 |      878  17406 |        0 |        0
596.60/596.75	c  596s |      25 |  7542848 |  6000098 |      878  17447 |        0 |        0
598.60/598.76	c  598s |      25 |  7566225 |  6018898 |      878  17489 |        0 |        0
600.60/600.76	c  600s |      25 |  7592934 |  6038098 |      878  17532 |        0 |        0
602.59/602.76	c  602s |      25 |  7617389 |  6056998 |      878  17575 |        0 |        0
604.59/604.77	c  604s |      25 |  7640643 |  6075198 |      878  17615 |        0 |        0
606.59/606.77	c  606s |      25 |  7665209 |  6094498 |      878  17658 |        0 |        0
608.59/608.78	c  608s |      25 |  7689038 |  6113798 |      878  17701 |        0 |        0
610.58/610.78	c  610s |      25 |  7708839 |  6130598 |      878  17739 |        0 |        0
612.59/612.79	c  612s |      25 |  7733851 |  6149398 |      878  17781 |        0 |        0
614.58/614.79	c  614s |      25 |  7757065 |  6167598 |      878  17821 |        0 |        0
616.68/616.80	c  616s |      25 |  7778847 |  6185398 |      878  17861 |        0 |        0
618.68/618.80	c  618s |      25 |  7801332 |  6203598 |      878  17901 |        0 |        0
620.67/620.81	c  620s |      25 |  7826651 |  6222898 |      878  17945 |        0 |        0
622.67/622.81	c  622s |      25 |  7852320 |  6242798 |      878  17989 |        0 |        0
624.68/624.81	c  624s |      25 |  7877518 |  6262198 |      878  18033 |        0 |        0
626.67/626.82	c  626s |      25 |  7902505 |  6281898 |      878  18077 |        0 |        0
628.67/628.83	c  628s |      25 |  7926482 |  6301098 |      878  18120 |        0 |        0
630.67/630.83	c  630s |      25 |  7946739 |  6318698 |      878  18159 |        0 |        0
632.67/632.83	c  632s |      25 |  7967077 |  6335698 |      878  18197 |        0 |        0
634.67/634.84	c  634s |      25 |  7989846 |  6353798 |      878  18238 |        0 |        0
636.67/636.85	c  636s |      25 |  8012581 |  6372198 |      878  18279 |        0 |        0
638.67/638.85	c  638s |      25 |  8035953 |  6391198 |      878  18321 |        0 |        0
640.66/640.86	c  640s |      25 |  8060842 |  6410598 |      878  18365 |        0 |        0
642.66/642.87	c  642s |      25 |  8081885 |  6428298 |      878  18404 |        0 |        0
644.66/644.87	c  644s |      25 |  8104421 |  6446798 |      878  18446 |        0 |        0
646.67/646.88	c  646s |      25 |  8128495 |  6466198 |      878  18489 |        0 |        0
648.66/648.89	c  648s |      25 |  8151119 |  6484698 |      878  18531 |        0 |        0
650.77/650.90	c  650s |      25 |  8176581 |  6504498 |      878  18575 |        0 |        0
652.77/652.90	c  652s |      25 |  8199736 |  6523398 |      878  18618 |        0 |        0
654.77/654.90	c  654s |      25 |  8223648 |  6542798 |      878  18661 |        0 |        0
656.76/656.90	c  656s |      25 |  8246364 |  6561498 |      878  18703 |        0 |        0
658.77/658.91	c  658s |      25 |  8267872 |  6579598 |      878  18744 |        0 |        0
660.76/660.91	c  660s |      25 |  8289232 |  6597298 |      878  18784 |        0 |        0
662.76/662.92	c  662s |      25 |  8311673 |  6615498 |      878  18824 |        0 |        0
664.76/664.93	c  664s |      25 |  8332666 |  6633098 |      878  18864 |        0 |        0
666.75/666.93	c  666s |      25 |  8354114 |  6650998 |      878  18904 |        0 |        0
668.76/668.94	c  668s |      25 |  8377870 |  6669698 |      878  18946 |        0 |        0
670.75/670.94	c  670s |      25 |  8401561 |  6688998 |      878  18989 |        0 |        0
672.75/672.95	c  672s |      25 |  8423380 |  6706998 |      878  19029 |        0 |        0
674.75/674.95	c  674s |      25 |  8444624 |  6724698 |      878  19068 |        0 |        0
676.75/676.96	c  676s |      25 |  8467846 |  6743498 |      878  19111 |        0 |        0
678.75/678.98	c  678s |      25 |  8489967 |  6761798 |      878  19152 |        0 |        0
680.75/680.98	c  680s |      25 |  8511522 |  6780098 |      878  19193 |        0 |        0
682.75/682.99	c  682s |      25 |  8532622 |  6797998 |      878  19233 |        0 |        0
684.84/685.00	c  684s |      25 |  8555449 |  6816798 |      878  19275 |        0 |        0
686.84/687.00	c  686s |      25 |  8579056 |  6835998 |      878  19318 |        0 |        0
688.84/689.01	c  688s |      25 |  8601075 |  6854398 |      878  19359 |        0 |        0
690.84/691.01	c  691s |      25 |  8624114 |  6873098 |      878  19401 |        0 |        0
692.84/693.02	c  693s |      25 |  8647477 |  6891898 |      878  19443 |        0 |        0
694.84/695.02	c  695s |      25 |  8670305 |  6910298 |      878  19484 |        0 |        0
696.84/697.03	c  697s |      25 |  8692684 |  6928998 |      878  19526 |        0 |        0
698.83/699.03	c  699s |      25 |  8714893 |  6947898 |      878  19569 |        0 |        0
700.83/701.04	c  701s |      25 |  8736917 |  6966398 |      878  19611 |        0 |        0
702.84/703.04	c  703s |      25 |  8760004 |  6985098 |      878  19653 |        0 |        0
704.83/705.04	c  705s |      25 |  8780261 |  7002598 |      878  19692 |        0 |        0
706.84/707.05	c  707s |      25 |  8802338 |  7021098 |      878  19733 |        0 |        0
708.83/709.06	c  709s |      25 |  8825510 |  7039998 |      878  19776 |        0 |        0
710.83/711.07	c  711s |      25 |  8849128 |  7059398 |      878  19819 |        0 |        0
712.83/713.07	c  713s |      25 |  8870788 |  7077698 |      878  19860 |        0 |        0
714.84/715.08	c  715s |      25 |  8892759 |  7095998 |      878  19901 |        0 |        0
716.83/717.08	c  717s |      25 |  8913461 |  7113598 |      878  19941 |        0 |        0
718.83/719.08	c  719s |      25 |  8935877 |  7131598 |      878  19981 |        0 |        0
720.83/721.09	c  721s |      25 |  8958637 |  7149698 |      878  20022 |        0 |        0
722.93/723.10	c  723s |      25 |  8980338 |  7167298 |      878  20061 |        0 |        0
724.93/725.10	c  725s |      25 |  9002259 |  7184998 |      878  20101 |        0 |        0
726.93/727.11	c  727s |      25 |  9023020 |  7202298 |      878  20140 |        0 |        0
728.93/729.11	c  729s |      25 |  9045463 |  7220798 |      878  20181 |        0 |        0
730.93/731.12	c  731s |      25 |  9068736 |  7239998 |      878  20224 |        0 |        0
732.93/733.13	c  733s |      25 |  9090371 |  7258098 |      878  20265 |        0 |        0
734.93/735.14	c  735s |      25 |  9113468 |  7276898 |      878  20307 |        0 |        0
736.93/737.14	c  737s |      25 |  9134182 |  7294498 |      878  20346 |        0 |        0
738.92/739.15	c  739s |      25 |  9154456 |  7311798 |      878  20385 |        0 |        0
740.92/741.15	c  741s |      25 |  9175865 |  7329698 |      878  20425 |        0 |        0
742.92/743.16	c  743s |      25 |  9196196 |  7347198 |      878  20465 |        0 |        0
744.92/745.16	c  745s |      25 |  9216148 |  7364298 |      878  20503 |        0 |        0
746.92/747.17	c  747s |      25 |  9236557 |  7381898 |      878  20542 |        0 |        0
748.92/749.18	c  749s |      25 |  9259743 |  7400498 |      878  20584 |        0 |        0
750.91/751.19	c  751s |      25 |  9280422 |  7418098 |      878  20623 |        0 |        0
753.01/753.20	c  753s |      25 |  9302263 |  7436398 |      878  20664 |        0 |        0
755.01/755.21	c  755s |      25 |  9323536 |  7454398 |      878  20705 |        0 |        0
757.01/757.21	c  757s |      25 |  9344347 |  7472098 |      878  20744 |        0 |        0
759.01/759.22	c  759s |      25 |  9365843 |  7489998 |      878  20784 |        0 |        0
761.01/761.22	c  761s |      25 |  9388383 |  7508498 |      878  20825 |        0 |        0
763.01/763.23	c  763s |      25 |  9408823 |  7525798 |      878  20864 |        0 |        0
765.01/765.23	c  765s |      25 |  9431033 |  7543898 |      966  20904 |        0 |        0
767.00/767.24	c  767s |      25 |  9452621 |  7561798 |      966  20941 |        0 |        0
769.00/769.25	c  769s |      25 |  9471602 |  7578398 |      966  20974 |        0 |        0
771.01/771.25	c  771s |      25 |  9492022 |  7595698 |      966  21010 |        0 |        0
771.20/771.48	c  771s |      26 |  9494505 |  7597752 |      966  21014 |        0 |        0
773.21/773.48	c  773s |      26 |  9518819 |  7616552 |      966  21052 |        0 |        0
775.20/775.48	c  775s |      26 |  9540605 |  7634452 |      966  21088 |        0 |        0
777.20/777.48	c  777s |      26 |  9563773 |  7652952 |      966  21126 |        0 |        0
779.20/779.49	c  779s |      26 |  9586892 |  7671352 |      966  21163 |        0 |        0
781.20/781.49	c  781s |      26 |  9609468 |  7689452 |      966  21200 |        0 |        0
783.20/783.50	c  783s |      26 |  9633778 |  7708552 |      966  21238 |        0 |        0
785.20/785.50	c  785s |      26 |  9657749 |  7727552 |      966  21277 |        0 |        0
787.29/787.51	c  787s |      26 |  9682995 |  7746852 |      966  21316 |        0 |        0
789.29/789.52	c  789s |      26 |  9706712 |  7765852 |      966  21354 |        0 |        0
791.29/791.52	c  791s |      26 |  9730778 |  7784952 |      966  21393 |        0 |        0
793.30/793.53	c  793s |      26 |  9755794 |  7804152 |      966  21432 |        0 |        0
795.30/795.54	c  795s |      26 |  9780096 |  7823452 |      966  21471 |        0 |        0
797.30/797.54	c  797s |      26 |  9806134 |  7843052 |      966  21511 |        0 |        0
799.29/799.55	c  799s |      26 |  9831175 |  7862552 |      966  21551 |        0 |        0
801.29/801.55	c  801s |      26 |  9857663 |  7882852 |      966  21592 |        0 |        0
803.29/803.56	c  803s |      26 |  9882308 |  7902052 |      966  21631 |        0 |        0
805.29/805.56	c  805s |      26 |  9907417 |  7921352 |      966  21670 |        0 |        0
807.30/807.57	c  807s |      26 |  9932144 |  7940752 |      966  21709 |        0 |        0
809.28/809.58	c  809s |      26 |  9954170 |  7958852 |      966  21746 |        0 |        0
811.28/811.59	c  811s |      26 |  9976301 |  7976852 |      966  21782 |        0 |        0
813.28/813.59	c  813s |      26 | 10002846 |  7997152 |      966  21824 |        0 |        0
815.38/815.60	c  815s |      26 | 10031019 |  8018152 |      966  21867 |        0 |        0
817.38/817.60	c  817s |      26 | 10056630 |  8038252 |      966  21908 |        0 |        0
819.38/819.60	c  819s |      26 | 10082914 |  8058352 |      966  21949 |        0 |        0
821.38/821.61	c  821s |      26 | 10107656 |  8078252 |      966  21990 |        0 |        0
823.38/823.61	c  823s |      26 | 10132912 |  8097952 |      966  22030 |        0 |        0
825.39/825.61	c  825s |      26 | 10158386 |  8118052 |      966  22071 |        0 |        0
827.39/827.62	c  827s |      26 | 10184094 |  8137852 |      966  22111 |        0 |        0
829.38/829.62	c  829s |      26 | 10207435 |  8156652 |      966  22149 |        0 |        0
831.39/831.63	c  831s |      26 | 10231465 |  8175752 |      966  22188 |        0 |        0
833.38/833.64	c  833s |      26 | 10254207 |  8194052 |      966  22225 |        0 |        0
835.38/835.64	c  835s |      26 | 10281627 |  8214452 |      966  22266 |        0 |        0
837.38/837.64	c  837s |      26 | 10310960 |  8236052 |      966  22310 |        0 |        0
839.38/839.64	c  839s |      26 | 10338221 |  8257052 |      966  22353 |        0 |        0
841.38/841.64	c  841s |      26 | 10363811 |  8277252 |      966  22395 |        0 |        0
843.37/843.65	c  843s |      26 | 10389311 |  8297252 |      966  22435 |        0 |        0
845.37/845.65	c  845s |      26 | 10413440 |  8316752 |      966  22475 |        0 |        0
847.37/847.66	c  847s |      26 | 10436556 |  8335352 |      966  22513 |        0 |        0
849.37/849.66	c  849s |      26 | 10460673 |  8354152 |      966  22551 |        0 |        0
851.36/851.67	c  851s |      26 | 10483811 |  8372552 |      966  22588 |        0 |        0
853.37/853.67	c  853s |      26 | 10505832 |  8390052 |      966  22623 |        0 |        0
855.36/855.67	c  855s |      26 | 10530803 |  8409252 |      966  22662 |        0 |        0
857.36/857.67	c  857s |      26 | 10553267 |  8427452 |      966  22699 |        0 |        0
859.36/859.68	c  859s |      26 | 10578200 |  8446652 |      966  22738 |        0 |        0
861.36/861.68	c  861s |      26 | 10604596 |  8466752 |      966  22779 |        0 |        0
863.37/863.68	c  863s |      26 | 10628709 |  8486152 |      966  22819 |        0 |        0
865.36/865.69	c  865s |      26 | 10653757 |  8505652 |      966  22858 |        0 |        0
867.36/867.70	c  867s |      26 | 10681753 |  8526852 |      966  22902 |        0 |        0
869.45/869.70	c  869s |      26 | 10708353 |  8547152 |      966  22943 |        0 |        0
871.45/871.71	c  871s |      26 | 10733670 |  8567052 |      966  22984 |        0 |        0
873.45/873.72	c  873s |      26 | 10758357 |  8586652 |      966  23024 |        0 |        0
875.45/875.73	c  875s |      26 | 10782881 |  8606352 |      966  23064 |        0 |        0
877.45/877.73	c  877s |      26 | 10806737 |  8625652 |      966  23103 |        0 |        0
879.45/879.74	c  879s |      26 | 10831616 |  8645252 |      966  23143 |        0 |        0
881.45/881.75	c  881s |      26 | 10855233 |  8664052 |      966  23182 |        0 |        0
883.45/883.75	c  883s |      26 | 10878303 |  8682752 |      966  23220 |        0 |        0
885.45/885.76	c  885s |      26 | 10905607 |  8702952 |      966  23261 |        0 |        0
887.46/887.76	c  887s |      26 | 10930411 |  8722452 |      966  23301 |        0 |        0
889.44/889.76	c  889s |      26 | 10955496 |  8741952 |      966  23341 |        0 |        0
891.44/891.76	c  891s |      26 | 10980625 |  8761452 |      966  23381 |        0 |        0
893.44/893.76	c  893s |      26 | 11003691 |  8779552 |      966  23418 |        0 |        0
895.44/895.77	c  895s |      26 | 11027816 |  8798352 |      966  23456 |        0 |        0
897.45/897.77	c  897s |      26 | 11052267 |  8817552 |      966  23495 |        0 |        0
899.44/899.78	c  899s |      26 | 11076406 |  8836552 |      966  23534 |        0 |        0
901.44/901.78	c  901s |      26 | 11098134 |  8854552 |      966  23571 |        0 |        0
903.44/903.79	c  903s |      26 | 11123254 |  8874152 |      966  23611 |        0 |        0
905.43/905.79	c  905s |      26 | 11148880 |  8894052 |      966  23652 |        0 |        0
907.53/907.80	c  907s |      26 | 11173023 |  8913052 |      966  23690 |        0 |        0
909.54/909.81	c  909s |      26 | 11200368 |  8933152 |      966  23731 |        0 |        0
911.53/911.81	c  911s |      26 | 11227822 |  8953452 |      966  23773 |        0 |        0
913.54/913.81	c  913s |      26 | 11253054 |  8973052 |      966  23813 |        0 |        0
915.54/915.81	c  915s |      26 | 11281518 |  8993652 |      966  23855 |        0 |        0
917.54/917.81	c  917s |      26 | 11306928 |  9013252 |      966  23895 |        0 |        0
919.53/919.82	c  919s |      26 | 11333107 |  9033252 |      966  23936 |        0 |        0
921.54/921.82	c  921s |      26 | 11361209 |  9054052 |      966  23979 |        0 |        0
923.53/923.83	c  923s |      26 | 11387350 |  9073552 |      966  24019 |        0 |        0
925.53/925.84	c  925s |      26 | 11411920 |  9092652 |      966  24058 |        0 |        0
927.53/927.84	c  927s |      26 | 11437291 |  9112152 |      966  24098 |        0 |        0
929.53/929.84	c  929s |      26 | 11463216 |  9131852 |      966  24138 |        0 |        0
931.53/931.84	c  931s |      26 | 11489584 |  9152052 |      966  24179 |        0 |        0
933.53/933.85	c  933s |      26 | 11516822 |  9172052 |      966  24220 |        0 |        0
935.52/935.86	c  935s |      26 | 11542801 |  9191852 |      966  24261 |        0 |        0
937.52/937.87	c  937s |      26 | 11568231 |  9211952 |      966  24302 |        0 |        0
939.52/939.87	c  939s |      26 | 11591034 |  9230752 |      966  24340 |        0 |        0
941.52/941.88	c  941s |      26 | 11616798 |  9250652 |      966  24381 |        0 |        0
943.53/943.88	c  943s |      26 | 11641513 |  9270052 |      966  24421 |        0 |        0
945.52/945.89	c  945s |      26 | 11667227 |  9289852 |      966  24461 |        0 |        0
947.52/947.89	c  947s |      26 | 11693066 |  9310152 |      966  24502 |        0 |        0
949.51/949.89	c  949s |      26 | 11718014 |  9329652 |      966  24542 |        0 |        0
951.51/951.89	c  951s |      26 | 11743958 |  9349352 |      966  24582 |        0 |        0
953.61/953.90	c  953s |      26 | 11768952 |  9368852 |      966  24622 |        0 |        0
955.62/955.91	c  955s |      26 | 11791351 |  9387352 |      966  24659 |        0 |        0
957.61/957.92	c  957s |      26 | 11814982 |  9406252 |      966  24698 |        0 |        0
959.60/959.93	c  959s |      26 | 11840763 |  9426352 |      966  24739 |        0 |        0
961.60/961.94	c  961s |      26 | 11866198 |  9446352 |      966  24780 |        0 |        0
963.60/963.94	c  963s |      26 | 11893842 |  9466952 |      966  24822 |        0 |        0
965.61/965.95	c  965s |      26 | 11923907 |  9488552 |      966  24866 |        0 |        0
967.60/967.96	c  967s |      26 | 11949306 |  9508452 |      966  24907 |        0 |        0
969.59/969.96	c  969s |      26 | 11976259 |  9529252 |      966  24949 |        0 |        0
971.59/971.97	c  971s |      26 | 12002480 |  9549552 |      966  24991 |        0 |        0
973.59/973.97	c  973s |      26 | 12030914 |  9570552 |      966  25033 |        0 |        0
975.60/975.97	c  975s |      26 | 12057290 |  9590752 |      966  25075 |        0 |        0
977.61/977.97	c  977s |      26 | 12082480 |  9610152 |      966  25114 |        0 |        0
979.60/979.98	c  979s |      26 | 12109075 |  9630652 |      966  25157 |        0 |        0
981.59/981.99	c  981s |      26 | 12134974 |  9650552 |      966  25197 |        0 |        0
983.59/983.99	c  983s |      26 | 12157415 |  9668952 |      966  25235 |        0 |        0
985.59/985.99	c  985s |      26 | 12182440 |  9688752 |      966  25275 |        0 |        0
987.69/988.00	c  987s |      26 | 12208287 |  9708752 |      966  25316 |        0 |        0
989.70/990.00	c  989s |      26 | 12234319 |  9728852 |      966  25357 |        0 |        0
991.69/992.01	c  991s |      26 | 12257950 |  9748152 |      966  25396 |        0 |        0
993.69/994.01	c  994s |      26 | 12281398 |  9767352 |      966  25436 |        0 |        0
995.69/996.02	c  996s |      26 | 12302312 |  9785352 |      966  25472 |        0 |        0
997.69/998.02	c  998s |      26 | 12322764 |  9802952 |      966  25508 |        0 |        0
999.69/1000.03	c 1000s |      26 | 12343882 |  9820752 |      966  25544 |        0 |        0
1001.68/1002.03	c 1002s |      26 | 12368077 |  9839652 |      966  25583 |        0 |        0
1003.68/1004.04	c 1004s |      26 | 12388403 |  9857152 |      966  25618 |        0 |        0
1005.68/1006.04	c 1006s |      26 | 12415316 |  9877252 |      966  25659 |        0 |        0
1007.68/1008.05	c 1008s |      26 | 12441388 |  9897052 |      966  25700 |        0 |        0
1009.68/1010.05	c 1010s |      26 | 12467268 |  9917052 |      966  25741 |        0 |        0
1011.68/1012.06	c 1012s |      26 | 12490670 |  9935752 |      966  25779 |        0 |        0
1013.67/1014.07	c 1014s |      26 | 12513971 |  9954352 |      966  25817 |        0 |        0
1015.68/1016.07	c 1016s |      26 | 12536548 |  9972752 |      966  25855 |        0 |        0
1017.68/1018.07	c 1018s |      26 | 12559349 |  9990752 |      966  25891 |        0 |        0
1019.68/1020.08	c 1020s |      26 | 12583182 | 10009752 |      966  25930 |        0 |        0
1021.68/1022.09	c 1022s |      26 | 12608819 | 10029452 |      966  25970 |        0 |        0
1023.68/1024.10	c 1024s |      26 | 12630546 | 10047752 |      966  26007 |        0 |        0
1025.78/1026.10	c 1026s |      26 | 12652139 | 10065552 |      966  26043 |        0 |        0
1027.77/1028.11	c 1028s |      26 | 12675160 | 10084052 |      966  26081 |        0 |        0
1029.77/1030.12	c 1030s |      26 | 12693560 | 10100152 |      966  26113 |        0 |        0
1031.77/1032.13	c 1032s |      26 | 12714512 | 10117452 |      966  26148 |        0 |        0
1033.77/1034.13	c 1034s |      26 | 12738503 | 10136152 |      966  26186 |        0 |        0
1035.77/1036.13	c 1036s |      26 | 12760081 | 10153952 |      966  26222 |        0 |        0
1037.77/1038.14	c 1038s |      26 | 12785428 | 10172852 |      966  26261 |        0 |        0
1039.76/1040.15	c 1040s |      26 | 12809949 | 10191152 |      966  26298 |        0 |        0
1041.76/1042.16	c 1042s |      26 | 12832083 | 10208952 |      966  26334 |        0 |        0
1043.76/1044.16	c 1044s |      26 | 12853731 | 10226152 |      966  26369 |        0 |        0
1045.76/1046.16	c 1046s |      26 | 12874619 | 10243352 |      966  26404 |        0 |        0
1047.76/1048.18	c 1048s |      26 | 12895981 | 10260652 |      966  26440 |        0 |        0
1049.76/1050.19	c 1050s |      26 | 12917503 | 10278552 |      966  26476 |        0 |        0
1051.76/1052.20	c 1052s |      26 | 12941266 | 10297352 |      966  26514 |        0 |        0
1053.86/1054.20	c 1054s |      26 | 12965054 | 10316052 |      966  26552 |        0 |        0
1055.86/1056.21	c 1056s |      26 | 12988406 | 10334652 |      966  26590 |        0 |        0
1057.87/1058.21	c 1058s |      26 | 13012954 | 10353752 |      966  26629 |        0 |        0
1059.85/1060.21	c 1060s |      26 | 13037684 | 10373052 |      966  26668 |        0 |        0
1061.85/1062.22	c 1062s |      26 | 13060119 | 10391252 |      966  26705 |        0 |        0
1063.85/1064.22	c 1064s |      26 | 13083908 | 10409852 |      966  26743 |        0 |        0
1065.85/1066.22	c 1066s |      26 | 13108440 | 10428952 |      966  26782 |        0 |        0
1067.86/1068.23	c 1068s |      26 | 13133422 | 10448752 |      966  26823 |        0 |        0
1069.85/1070.23	c 1070s |      26 | 13156662 | 10467252 |      966  26860 |        0 |        0
1071.85/1072.24	c 1072s |      26 | 13180693 | 10486252 |      966  26899 |        0 |        0
1073.85/1074.24	c 1074s |      26 | 13205850 | 10505352 |      966  26938 |        0 |        0
1075.85/1076.25	c 1076s |      26 | 13227562 | 10523252 |      966  26975 |        0 |        0
1077.85/1078.25	c 1078s |      26 | 13250009 | 10541452 |      966  27012 |        0 |        0
1079.85/1080.25	c 1080s |      26 | 13272008 | 10559552 |      966  27049 |        0 |        0
1081.84/1082.25	c 1082s |      26 | 13295730 | 10578652 |      966  27088 |        0 |        0
1083.84/1084.26	c 1084s |      26 | 13322318 | 10598852 |      966  27129 |        0 |        0
1085.84/1086.26	c 1086s |      26 | 13344195 | 10616752 |      966  27166 |        0 |        0
1087.84/1088.27	c 1088s |      26 | 13370096 | 10636152 |      966  27205 |        0 |        0
1089.84/1090.27	c 1090s |      26 | 13395362 | 10655652 |      966  27245 |        0 |        0
1091.84/1092.27	c 1092s |      26 | 13416048 | 10672852 |      966  27280 |        0 |        0
1093.84/1094.28	c 1094s |      26 | 13440710 | 10692052 |      966  27319 |        0 |        0
1095.83/1096.28	c 1096s |      26 | 13463205 | 10710252 |      966  27356 |        0 |        0
1097.83/1098.29	c 1098s |      26 | 13486074 | 10728852 |      966  27394 |        0 |        0
1099.83/1100.29	c 1100s |      26 | 13508266 | 10747052 |      966  27432 |        0 |        0
1101.84/1102.30	c 1102s |      26 | 13528621 | 10764252 |      966  27467 |        0 |        0
1103.93/1104.31	c 1104s |      26 | 13549614 | 10782152 |      966  27503 |        0 |        0
1105.93/1106.32	c 1106s |      26 | 13569576 | 10799352 |      966  27538 |        0 |        0
1107.93/1108.32	c 1108s |      26 | 13592359 | 10818052 |      966  27577 |        0 |        0
1109.93/1110.34	c 1110s |      26 | 13612606 | 10835652 |      966  27612 |        0 |        0
1111.93/1112.34	c 1112s |      26 | 13633507 | 10853252 |      966  27648 |        0 |        0
1113.94/1114.34	c 1114s |      26 | 13654246 | 10870752 |      966  27684 |        0 |        0
1115.93/1116.35	c 1116s |      26 | 13675618 | 10888852 |      966  27721 |        0 |        0
1117.93/1118.36	c 1118s |      26 | 13696282 | 10906352 |      966  27757 |        0 |        0
1119.93/1120.37	c 1120s |      26 | 13715675 | 10923452 |      966  27792 |        0 |        0
1121.92/1122.37	c 1122s |      26 | 13735865 | 10941052 |      966  27828 |        0 |        0
1123.93/1124.38	c 1124s |      26 | 13757799 | 10958952 |      966  27864 |        0 |        0
1125.92/1126.38	c 1126s |      26 | 13780486 | 10977452 |      966  27902 |        0 |        0
1127.92/1128.39	c 1128s |      26 | 13803641 | 10996552 |      966  27941 |        0 |        0
1129.92/1130.39	c 1130s |      26 | 13827063 | 11015652 |      966  27980 |        0 |        0
1132.02/1132.40	c 1132s |      26 | 13848373 | 11033452 |      966  28016 |        0 |        0
1134.02/1134.41	c 1134s |      26 | 13870873 | 11051952 |      966  28054 |        0 |        0
1136.02/1136.41	c 1136s |      26 | 13895104 | 11071252 |      966  28094 |        0 |        0
1138.02/1138.41	c 1138s |      26 | 13917985 | 11090152 |      966  28132 |        0 |        0
1140.01/1140.41	c 1140s |      26 | 13943646 | 11110252 |      966  28173 |        0 |        0
1142.01/1142.42	c 1142s |      26 | 13970039 | 11130452 |      966  28214 |        0 |        0
1144.01/1144.42	c 1144s |      26 | 13995668 | 11150452 |      966  28255 |        0 |        0
1146.01/1146.43	c 1146s |      26 | 14020221 | 11169952 |      966  28295 |        0 |        0
1148.02/1148.43	c 1148s |      26 | 14045489 | 11189852 |      966  28336 |        0 |        0
1150.00/1150.43	c 1150s |      26 | 14068762 | 11208652 |      966  28374 |        0 |        0
1152.00/1152.43	c 1152s |      26 | 14091088 | 11227252 |      966  28412 |        0 |        0
1154.00/1154.44	c 1154s |      26 | 14112070 | 11244852 |      966  28448 |        0 |        0
1156.00/1156.45	c 1156s |      26 | 14133907 | 11263052 |      966  28486 |        0 |        0
1158.01/1158.46	c 1158s |      26 | 14153077 | 11279952 |      966  28520 |        0 |        0
1160.00/1160.47	c 1160s |      26 | 14172982 | 11297152 |      966  28555 |        0 |        0
1161.99/1162.47	c 1162s |      26 | 14194607 | 11315052 |      966  28592 |        0 |        0
1163.99/1164.47	c 1164s |      26 | 14214504 | 11331852 |     1063  28623 |        0 |        0
1165.99/1166.47	c 1166s |      26 | 14237164 | 11350052 |     1063  28657 |        0 |        0
1167.99/1168.48	c 1168s |      26 | 14259474 | 11368052 |     1063  28690 |        0 |        0
1170.00/1170.48	c 1170s |      26 | 14281481 | 11385752 |     1063  28723 |        0 |        0
1171.29/1171.77	c 1171s |      27 | 14295107 | 11396733 |     1063  28743 |        0 |        0
1173.29/1173.78	c 1173s |      27 | 14313305 | 11412733 |     1063  28773 |        0 |        0
1175.29/1175.78	c 1175s |      27 | 14331599 | 11428733 |     1063  28802 |        0 |        0
1177.29/1177.79	c 1177s |      27 | 14350992 | 11445233 |     1063  28833 |        0 |        0
1179.28/1179.79	c 1179s |      27 | 14371295 | 11462133 |     1063  28864 |        0 |        0
1181.38/1181.80	c 1181s |      27 | 14389929 | 11478233 |     1063  28894 |        0 |        0
1183.38/1183.80	c 1183s |      27 | 14409125 | 11494833 |     1063  28924 |        0 |        0
1185.39/1185.81	c 1185s |      27 | 14429412 | 11511733 |     1063  28956 |        0 |        0
1187.38/1187.83	c 1187s |      27 | 14449336 | 11528533 |     1063  28987 |        0 |        0
1189.37/1189.83	c 1189s |      27 | 14468716 | 11545133 |     1063  29017 |        0 |        0
1191.37/1191.84	c 1191s |      27 | 14488283 | 11561933 |     1063  29048 |        0 |        0
1193.38/1193.85	c 1193s |      27 | 14509145 | 11579033 |     1063  29080 |        0 |        0
1195.39/1195.85	c 1195s |      27 | 14530429 | 11596133 |     1063  29112 |        0 |        0
1197.38/1197.86	c 1197s |      27 | 14554402 | 11614433 |     1063  29145 |        0 |        0
1199.38/1199.86	c 1199s |      27 | 14578081 | 11632433 |     1063  29179 |        0 |        0
1201.38/1201.87	c 1201s |      27 | 14600331 | 11649733 |     1063  29211 |        0 |        0
1203.38/1203.88	c 1203s |      27 | 14621086 | 11666533 |     1063  29242 |        0 |        0
1205.37/1205.88	c 1205s |      27 | 14642782 | 11683833 |     1063  29274 |        0 |        0
1207.38/1207.89	c 1207s |      27 | 14663407 | 11700433 |     1063  29304 |        0 |        0
1209.37/1209.89	c 1209s |      27 | 14683445 | 11716833 |     1063  29335 |        0 |        0
1211.47/1211.90	c 1211s |      27 | 14703249 | 11732933 |     1063  29364 |        0 |        0
1213.47/1213.91	c 1213s |      27 | 14723548 | 11749933 |     1063  29396 |        0 |        0
1215.47/1215.91	c 1215s |      27 | 14743096 | 11766333 |     1063  29426 |        0 |        0
1217.47/1217.92	c 1217s |      27 | 14762034 | 11782333 |     1063  29455 |        0 |        0
1219.48/1219.92	c 1219s |      27 | 14779677 | 11797533 |     1063  29483 |        0 |        0
1221.47/1221.92	c 1221s |      27 | 14799394 | 11813733 |     1063  29513 |        0 |        0
1223.47/1223.93	c 1223s |      27 | 14818594 | 11829733 |     1063  29543 |        0 |        0
1225.47/1225.94	c 1225s |      27 | 14838365 | 11846433 |     1063  29573 |        0 |        0
1227.47/1227.95	c 1227s |      27 | 14857287 | 11862633 |     1063  29604 |        0 |        0
1229.47/1229.95	c 1229s |      27 | 14876403 | 11879233 |     1063  29634 |        0 |        0
1231.46/1231.95	c 1231s |      27 | 14894824 | 11895333 |     1063  29664 |        0 |        0
1233.46/1233.96	c 1233s |      27 | 14913631 | 11911633 |     1063  29694 |        0 |        0
1235.46/1235.97	c 1235s |      27 | 14932510 | 11927833 |     1063  29724 |        0 |        0
1237.46/1237.97	c 1237s |      27 | 14954471 | 11945333 |     1063  29756 |        0 |        0
1239.46/1239.98	c 1239s |      27 | 14974732 | 11961833 |     1063  29787 |        0 |        0
1241.47/1241.98	c 1241s |      27 | 14993307 | 11977533 |     1063  29816 |        0 |        0
1243.46/1243.99	c 1243s |      27 | 15013061 | 11993733 |     1063  29846 |        0 |        0
1245.46/1245.99	c 1245s |      27 | 15032101 | 12009833 |     1063  29876 |        0 |        0
1247.56/1248.00	c 1247s |      27 | 15049682 | 12025133 |     1063  29904 |        0 |        0
1249.56/1250.01	c 1249s |      27 | 15067463 | 12040733 |     1063  29933 |        0 |        0
1251.56/1252.01	c 1252s |      27 | 15085818 | 12056433 |     1063  29962 |        0 |        0
1253.56/1254.03	c 1254s |      27 | 15103891 | 12072133 |     1063  29991 |        0 |        0
1255.55/1256.04	c 1256s |      27 | 15124180 | 12088833 |     1063  30022 |        0 |        0
1257.55/1258.04	c 1258s |      27 | 15143725 | 12105233 |     1063  30052 |        0 |        0
1259.55/1260.04	c 1260s |      27 | 15164707 | 12122133 |     1063  30083 |        0 |        0
1261.55/1262.05	c 1262s |      27 | 15184615 | 12138833 |     1063  30114 |        0 |        0
1263.56/1264.05	c 1264s |      27 | 15203858 | 12155133 |     1063  30144 |        0 |        0
1265.55/1266.06	c 1266s |      27 | 15226454 | 12173133 |     1063  30178 |        0 |        0
1267.55/1268.06	c 1268s |      27 | 15247802 | 12190533 |     1063  30210 |        0 |        0
1269.55/1270.07	c 1270s |      27 | 15269638 | 12208133 |     1063  30242 |        0 |        0
1271.56/1272.07	c 1272s |      27 | 15290538 | 12225333 |     1063  30274 |        0 |        0
1273.56/1274.07	c 1274s |      27 | 15311044 | 12242133 |     1063  30306 |        0 |        0
1275.56/1276.08	c 1276s |      27 | 15331404 | 12258733 |     1063  30336 |        0 |        0
1277.56/1278.08	c 1278s |      27 | 15352830 | 12276133 |     1063  30369 |        0 |        0
1279.56/1280.08	c 1280s |      27 | 15371355 | 12292233 |     1063  30398 |        0 |        0
1281.56/1282.09	c 1282s |      27 | 15390305 | 12308633 |     1063  30429 |        0 |        0
1283.66/1284.11	c 1284s |      27 | 15411114 | 12325833 |     1063  30460 |        0 |        0
1285.66/1286.11	c 1286s |      27 | 15431588 | 12342933 |     1063  30492 |        0 |        0
1287.66/1288.12	c 1288s |      27 | 15451032 | 12359633 |     1063  30523 |        0 |        0
1289.66/1290.12	c 1290s |      27 | 15470809 | 12376233 |     1063  30554 |        0 |        0
1291.65/1292.13	c 1292s |      27 | 15490756 | 12393133 |     1063  30585 |        0 |        0
1293.65/1294.14	c 1294s |      27 | 15509660 | 12409233 |     1063  30615 |        0 |        0
1295.65/1296.14	c 1296s |      27 | 15529811 | 12425833 |     1063  30646 |        0 |        0
1297.66/1298.15	c 1298s |      27 | 15549032 | 12442433 |     1063  30677 |        0 |        0
1299.65/1300.16	c 1300s |      27 | 15568628 | 12458633 |     1063  30707 |        0 |        0
1301.65/1302.17	c 1302s |      27 | 15589093 | 12475333 |     1063  30737 |        0 |        0
1303.65/1304.18	c 1304s |      27 | 15609486 | 12492233 |     1063  30769 |        0 |        0
1305.65/1306.19	c 1306s |      27 | 15630289 | 12509233 |     1063  30800 |        0 |        0
1307.65/1308.19	c 1308s |      27 | 15652222 | 12526933 |     1063  30833 |        0 |        0
1309.65/1310.20	c 1310s |      27 | 15670329 | 12542833 |     1063  30862 |        0 |        0
1311.75/1312.21	c 1312s |      27 | 15690429 | 12559433 |     1063  30893 |        0 |        0
1313.74/1314.21	c 1314s |      27 | 15709765 | 12575833 |     1063  30923 |        0 |        0
1315.74/1316.22	c 1316s |      27 | 15728480 | 12592133 |     1063  30953 |        0 |        0
1317.74/1318.23	c 1318s |      27 | 15747395 | 12608333 |     1063  30983 |        0 |        0
1319.74/1320.23	c 1320s |      27 | 15766740 | 12624733 |     1063  31013 |        0 |        0
1321.75/1322.24	c 1322s |      27 | 15783915 | 12640233 |     1063  31042 |        0 |        0
1323.74/1324.24	c 1324s |      27 | 15801177 | 12655533 |     1063  31070 |        0 |        0
1325.74/1326.25	c 1326s |      27 | 15819157 | 12671533 |     1063  31100 |        0 |        0
1327.74/1328.26	c 1328s |      27 | 15839251 | 12688333 |     1063  31131 |        0 |        0
1329.75/1330.26	c 1330s |      27 | 15861460 | 12706633 |     1063  31165 |        0 |        0
1331.76/1332.27	c 1332s |      27 | 15882910 | 12724333 |     1063  31198 |        0 |        0
1333.75/1334.28	c 1334s |      27 | 15903694 | 12741633 |     1063  31230 |        0 |        0
1335.75/1336.28	c 1336s |      27 | 15923274 | 12758133 |     1063  31260 |        0 |        0
1337.75/1338.29	c 1338s |      27 | 15943653 | 12774833 |     1063  31291 |        0 |        0
1339.75/1340.30	c 1340s |      27 | 15962003 | 12790433 |     1063  31320 |        0 |        0
1341.85/1342.30	c 1342s |      27 | 15980715 | 12806333 |     1063  31349 |        0 |        0
1343.85/1344.31	c 1344s |      27 | 15998410 | 12821833 |     1063  31378 |        0 |        0
1345.84/1346.32	c 1346s |      27 | 16019122 | 12838633 |     1063  31409 |        0 |        0
1347.84/1348.33	c 1348s |      27 | 16040121 | 12855633 |     1063  31440 |        0 |        0
1349.84/1350.34	c 1350s |      27 | 16060965 | 12872433 |     1063  31472 |        0 |        0
1351.84/1352.34	c 1352s |      27 | 16082610 | 12889833 |     1063  31504 |        0 |        0
1353.84/1354.34	c 1354s |      27 | 16102367 | 12906633 |     1063  31535 |        0 |        0
1355.85/1356.35	c 1356s |      27 | 16120028 | 12922233 |     1063  31564 |        0 |        0
1357.84/1358.36	c 1358s |      27 | 16138505 | 12938433 |     1063  31594 |        0 |        0
1359.84/1360.36	c 1360s |      27 | 16158922 | 12955433 |     1063  31625 |        0 |        0
1361.84/1362.36	c 1362s |      27 | 16178381 | 12972033 |     1063  31656 |        0 |        0
1363.84/1364.37	c 1364s |      27 | 16196478 | 12987833 |     1063  31685 |        0 |        0
1365.85/1366.38	c 1366s |      27 | 16215246 | 13003733 |     1063  31715 |        0 |        0
1367.84/1368.38	c 1368s |      27 | 16235812 | 13020633 |     1063  31746 |        0 |        0
1369.84/1370.39	c 1370s |      27 | 16254370 | 13036633 |     1063  31776 |        0 |        0
1371.84/1372.39	c 1372s |      27 | 16274231 | 13053433 |     1063  31807 |        0 |        0
1373.94/1374.41	c 1374s |      27 | 16293842 | 13069933 |     1063  31838 |        0 |        0
1375.94/1376.41	c 1376s |      27 | 16314225 | 13086833 |     1063  31869 |        0 |        0
1377.95/1378.42	c 1378s |      27 | 16335334 | 13104033 |     1063  31901 |        0 |        0
1379.94/1380.43	c 1380s |      27 | 16356263 | 13121033 |     1063  31933 |        0 |        0
1381.94/1382.43	c 1382s |      27 | 16374825 | 13137133 |     1063  31962 |        0 |        0
1383.94/1384.44	c 1384s |      27 | 16394040 | 13153433 |     1063  31993 |        0 |        0
1385.94/1386.45	c 1386s |      27 | 16413549 | 13170033 |     1063  32024 |        0 |        0
1387.94/1388.45	c 1388s |      27 | 16432589 | 13186133 |     1063  32053 |        0 |        0
1389.94/1390.46	c 1390s |      27 | 16450682 | 13201833 |     1063  32083 |        0 |        0
1391.94/1392.46	c 1392s |      27 | 16471149 | 13218933 |     1063  32115 |        0 |        0
1393.94/1394.47	c 1394s |      27 | 16490940 | 13235633 |     1063  32145 |        0 |        0
1395.94/1396.48	c 1396s |      27 | 16510651 | 13252233 |     1063  32176 |        0 |        0
1397.94/1398.48	c 1398s |      27 | 16530128 | 13268533 |     1063  32206 |        0 |        0
1399.94/1400.49	c 1400s |      27 | 16551605 | 13286133 |     1063  32239 |        0 |        0
1401.93/1402.49	c 1402s |      27 | 16574710 | 13304533 |     1063  32273 |        0 |        0
1403.93/1404.49	c 1404s |      27 | 16598109 | 13322833 |     1063  32307 |        0 |        0
1406.03/1406.50	c 1406s |      27 | 16620105 | 13341033 |     1063  32341 |        0 |        0
1408.03/1408.51	c 1408s |      27 | 16642229 | 13359033 |     1063  32374 |        0 |        0
1410.03/1410.52	c 1410s |      27 | 16666562 | 13377733 |     1063  32409 |        0 |        0
1412.04/1412.52	c 1412s |      27 | 16689448 | 13396233 |     1063  32443 |        0 |        0
1414.03/1414.53	c 1414s |      27 | 16712365 | 13414833 |     1063  32478 |        0 |        0
1416.03/1416.53	c 1416s |      27 | 16734796 | 13433033 |     1063  32511 |        0 |        0
1418.03/1418.53	c 1418s |      27 | 16757017 | 13450633 |     1063  32543 |        0 |        0
1420.03/1420.54	c 1420s |      27 | 16778375 | 13467833 |     1063  32575 |        0 |        0
1422.03/1422.54	c 1422s |      27 | 16801286 | 13485833 |     1063  32608 |        0 |        0
1424.03/1424.55	c 1424s |      27 | 16822914 | 13503033 |     1063  32640 |        0 |        0
1426.03/1426.56	c 1426s |      27 | 16842383 | 13519633 |     1063  32671 |        0 |        0
1428.03/1428.56	c 1428s |      27 | 16861282 | 13535633 |     1063  32700 |        0 |        0
1430.03/1430.57	c 1430s |      27 | 16882393 | 13553233 |     1063  32733 |        0 |        0
1432.03/1432.58	c 1432s |      27 | 16904055 | 13570133 |     1063  32764 |        0 |        0
1434.04/1434.59	c 1434s |      27 | 16923006 | 13586233 |     1063  32794 |        0 |        0
1436.03/1436.59	c 1436s |      27 | 16942058 | 13602433 |     1063  32824 |        0 |        0
1438.13/1438.60	c 1438s |      27 | 16963188 | 13619333 |     1063  32855 |        0 |        0
1440.13/1440.61	c 1440s |      27 | 16985954 | 13637233 |     1063  32888 |        0 |        0
1442.13/1442.62	c 1442s |      27 | 17008105 | 13654833 |     1063  32921 |        0 |        0
1444.13/1444.62	c 1444s |      27 | 17028826 | 13671533 |     1063  32952 |        0 |        0
1446.14/1446.62	c 1446s |      27 | 17047924 | 13687733 |     1063  32981 |        0 |        0
1448.13/1448.63	c 1448s |      27 | 17068366 | 13704533 |     1063  33012 |        0 |        0
1450.13/1450.64	c 1450s |      27 | 17088427 | 13721433 |     1063  33043 |        0 |        0
1452.13/1452.64	c 1452s |      27 | 17108132 | 13738133 |     1063  33074 |        0 |        0
1454.13/1454.65	c 1454s |      27 | 17128979 | 13755333 |     1063  33106 |        0 |        0
1456.13/1456.65	c 1456s |      27 | 17152320 | 13773633 |     1063  33140 |        0 |        0
1458.13/1458.66	c 1458s |      27 | 17173929 | 13791433 |     1063  33173 |        0 |        0
1460.13/1460.67	c 1460s |      27 | 17194852 | 13808433 |     1063  33204 |        0 |        0
1462.13/1462.68	c 1462s |      27 | 17215899 | 13825733 |     1063  33236 |        0 |        0
1464.13/1464.68	c 1464s |      27 | 17235717 | 13842233 |     1063  33267 |        0 |        0
1466.13/1466.68	c 1466s |      27 | 17256199 | 13859133 |     1063  33298 |        0 |        0
1468.13/1468.69	c 1468s |      27 | 17277165 | 13876233 |     1063  33330 |        0 |        0
1470.12/1470.69	c 1470s |      27 | 17298300 | 13893033 |     1063  33361 |        0 |        0
1472.22/1472.70	c 1472s |      27 | 17320835 | 13910833 |     1063  33394 |        0 |        0
1474.22/1474.70	c 1474s |      27 | 17341416 | 13927633 |     1063  33425 |        0 |        0
1476.22/1476.70	c 1476s |      27 | 17363513 | 13945133 |     1063  33457 |        0 |        0
1478.22/1478.70	c 1478s |      27 | 17382206 | 13961033 |     1063  33487 |        0 |        0
1480.23/1480.71	c 1480s |      27 | 17402322 | 13977833 |     1063  33518 |        0 |        0
1482.22/1482.71	c 1482s |      27 | 17422427 | 13994933 |     1063  33550 |        0 |        0
1484.22/1484.72	c 1484s |      27 | 17443343 | 14012433 |     1063  33582 |        0 |        0
1486.22/1486.73	c 1486s |      27 | 17465355 | 14030433 |     1063  33616 |        0 |        0
1488.22/1488.74	c 1488s |      27 | 17484882 | 14046833 |     1063  33646 |        0 |        0
1490.22/1490.74	c 1490s |      27 | 17504546 | 14063133 |     1063  33676 |        0 |        0
1492.23/1492.75	c 1492s |      27 | 17525029 | 14080133 |     1063  33708 |        0 |        0
1494.22/1494.76	c 1494s |      27 | 17543709 | 14096033 |     1063  33737 |        0 |        0
1496.22/1496.78	c 1496s |      27 | 17566051 | 14113433 |     1063  33770 |        0 |        0
1498.22/1498.79	c 1498s |      27 | 17588533 | 14131433 |     1063  33803 |        0 |        0
1500.22/1500.79	c 1500s |      27 | 17608714 | 14148233 |     1063  33834 |        0 |        0
1502.22/1502.79	c 1502s |      27 | 17627847 | 14164233 |     1063  33864 |        0 |        0
1504.22/1504.79	c 1504s |      27 | 17647907 | 14180933 |     1063  33895 |        0 |        0
1506.32/1506.80	c 1506s |      27 | 17667125 | 14197133 |     1063  33925 |        0 |        0
1508.31/1508.81	c 1508s |      27 | 17685726 | 14213033 |     1063  33954 |        0 |        0
1510.31/1510.82	c 1510s |      27 | 17705349 | 14229533 |     1063  33985 |        0 |        0
1512.31/1512.82	c 1512s |      27 | 17726575 | 14246133 |     1063  34016 |        0 |        0
1514.32/1514.83	c 1514s |      27 | 17749556 | 14263833 |     1063  34048 |        0 |        0
1516.31/1516.83	c 1516s |      27 | 17770329 | 14280933 |     1063  34080 |        0 |        0
1518.31/1518.84	c 1518s |      27 | 17788400 | 14296533 |     1063  34109 |        0 |        0
1520.31/1520.84	c 1520s |      27 | 17807952 | 14312833 |     1063  34139 |        0 |        0
1522.31/1522.85	c 1522s |      27 | 17828563 | 14329933 |     1063  34171 |        0 |        0
1524.32/1524.85	c 1524s |      27 | 17849636 | 14347233 |     1063  34203 |        0 |        0
1526.33/1526.86	c 1526s |      27 | 17869241 | 14363633 |     1063  34233 |        0 |        0
1528.32/1528.87	c 1528s |      27 | 17889179 | 14380333 |     1063  34264 |        0 |        0
1530.32/1530.87	c 1530s |      27 | 17909353 | 14396933 |     1063  34295 |        0 |        0
1532.32/1532.87	c 1532s |      27 | 17931494 | 14414633 |     1063  34327 |        0 |        0
1534.32/1534.88	c 1534s |      27 | 17954327 | 14432333 |     1063  34360 |        0 |        0
1536.32/1536.88	c 1536s |      27 | 17974969 | 14448933 |     1063  34391 |        0 |        0
1538.31/1538.89	c 1538s |      27 | 17995910 | 14465633 |     1063  34422 |        0 |        0
1540.31/1540.89	c 1540s |      27 | 18018709 | 14483433 |     1063  34455 |        0 |        0
1542.31/1542.89	c 1542s |      27 | 18038503 | 14500333 |     1063  34486 |        0 |        0
1544.41/1544.90	c 1544s |      27 | 18061007 | 14517933 |     1063  34519 |        0 |        0
1546.41/1546.91	c 1546s |      27 | 18083185 | 14535533 |     1063  34551 |        0 |        0
1548.42/1548.91	c 1548s |      27 | 18104633 | 14552933 |     1063  34584 |        0 |        0
1550.41/1550.92	c 1550s |      27 | 18125474 | 14570333 |     1063  34616 |        0 |        0
1552.41/1552.93	c 1552s |      27 | 18146418 | 14587933 |     1063  34649 |        0 |        0
1554.41/1554.94	c 1554s |      27 | 18166822 | 14605133 |     1063  34681 |        0 |        0
1556.41/1556.95	c 1556s |      27 | 18187788 | 14622833 |     1063  34713 |        0 |        0
1558.41/1558.95	c 1558s |      27 | 18208306 | 14639933 |     1063  34745 |        0 |        0
1560.41/1560.95	c 1560s |      27 | 18230547 | 14657833 |     1063  34778 |        0 |        0
1562.41/1562.96	c 1562s |      27 | 18252214 | 14675733 |     1063  34811 |        0 |        0
1564.41/1564.96	c 1564s |      27 | 18273998 | 14693633 |     1063  34845 |        0 |        0
1566.40/1566.96	c 1566s |      27 | 18297008 | 14711833 |     1063  34878 |        0 |        0
1568.40/1568.96	c 1568s |      27 | 18320204 | 14729533 |     1063  34911 |        0 |        0
1570.42/1570.97	c 1570s |      27 | 18342385 | 14746633 |     1063  34942 |        0 |        0
1572.41/1572.97	c 1572s |      27 | 18365341 | 14764133 |     1063  34975 |        0 |        0
1574.41/1574.97	c 1574s |      27 | 18383930 | 14779633 |     1063  35004 |        0 |        0
1576.41/1576.97	c 1576s |      27 | 18404657 | 14796733 |     1063  35035 |        0 |        0
1578.41/1578.97	c 1578s |      27 | 18426981 | 14814233 |     1063  35068 |        0 |        0
1580.41/1580.98	c 1580s |      27 | 18447979 | 14831333 |     1063  35100 |        0 |        0
1582.42/1582.99	c 1582s |      27 | 18468829 | 14848433 |     1063  35132 |        0 |        0
1584.41/1585.00	c 1584s |      27 | 18490741 | 14866033 |     1063  35164 |        0 |        0
1586.51/1587.00	c 1586s |      27 | 18512663 | 14883533 |     1063  35197 |        0 |        0
1588.51/1589.01	c 1588s |      27 | 18532332 | 14899633 |     1063  35227 |        0 |        0
1590.51/1591.01	c 1591s |      27 | 18554634 | 14917133 |     1063  35259 |        0 |        0
1592.51/1593.02	c 1593s |      27 | 18575513 | 14934133 |     1063  35291 |        0 |        0
1594.51/1595.02	c 1595s |      27 | 18596533 | 14951333 |     1063  35323 |        0 |        0
1596.51/1597.03	c 1597s |      27 | 18615615 | 14967433 |     1063  35353 |        0 |        0
1598.51/1599.03	c 1599s |      27 | 18637084 | 14985333 |     1063  35386 |        0 |        0
1600.50/1601.03	c 1601s |      27 | 18661172 | 15004333 |     1063  35421 |        0 |        0
1602.50/1603.04	c 1603s |      27 | 18683281 | 15022133 |     1063  35454 |        0 |        0
1604.51/1605.04	c 1605s |      27 | 18704707 | 15039633 |     1063  35487 |        0 |        0
1606.50/1607.04	c 1607s |      27 | 18726933 | 15057733 |     1063  35520 |        0 |        0
1608.50/1609.05	c 1609s |      27 | 18749800 | 15076233 |     1063  35554 |        0 |        0
1610.50/1611.05	c 1611s |      27 | 18772296 | 15094333 |     1063  35588 |        0 |        0
1612.50/1613.05	c 1613s |      27 | 18794728 | 15112233 |     1063  35621 |        0 |        0
1614.50/1615.06	c 1615s |      27 | 18817575 | 15130333 |     1063  35655 |        0 |        0
1616.51/1617.07	c 1617s |      27 | 18840414 | 15148533 |     1063  35689 |        0 |        0
1618.50/1619.08	c 1619s |      27 | 18863093 | 15166733 |     1063  35722 |        0 |        0
1620.50/1621.08	c 1621s |      27 | 18887057 | 15185033 |     1063  35757 |        0 |        0
1622.50/1623.09	c 1623s |      27 | 18910046 | 15202833 |     1063  35790 |        0 |        0
1624.60/1625.10	c 1625s |      27 | 18933510 | 15220833 |     1063  35823 |        0 |        0
1626.60/1627.10	c 1627s |      27 | 18956616 | 15238833 |     1063  35857 |        0 |        0
1628.61/1629.11	c 1629s |      27 | 18979908 | 15257033 |     1063  35890 |        0 |        0
1630.60/1631.12	c 1631s |      27 | 19003049 | 15275433 |     1063  35925 |        0 |        0
1632.60/1633.13	c 1633s |      27 | 19023611 | 15292633 |     1063  35957 |        0 |        0
1634.60/1635.14	c 1635s |      27 | 19047880 | 15311233 |     1063  35991 |        0 |        0
1636.60/1637.14	c 1637s |      27 | 19072516 | 15330233 |     1063  36027 |        0 |        0
1638.61/1639.15	c 1639s |      27 | 19097546 | 15349433 |     1063  36062 |        0 |        0
1640.60/1641.16	c 1641s |      27 | 19121453 | 15367833 |     1063  36096 |        0 |        0
1642.60/1643.16	c 1643s |      27 | 19144563 | 15385833 |     1063  36130 |        0 |        0
1644.60/1645.16	c 1645s |      27 | 19168872 | 15404633 |     1063  36165 |        0 |        0
1646.60/1647.17	c 1647s |      27 | 19193120 | 15423233 |     1063  36199 |        0 |        0
1648.60/1649.18	c 1649s |      27 | 19215888 | 15441433 |     1063  36233 |        0 |        0
1650.61/1651.19	c 1651s |      27 | 19239269 | 15459933 |     1063  36268 |        0 |        0
1652.60/1653.19	c 1653s |      27 | 19262872 | 15478733 |     1063  36303 |        0 |        0
1654.60/1655.19	c 1655s |      27 | 19286523 | 15497233 |     1063  36337 |        0 |        0
1656.70/1657.20	c 1657s |      27 | 19306802 | 15514133 |     1063  36368 |        0 |        0
1658.69/1659.20	c 1659s |      27 | 19330201 | 15532333 |     1063  36402 |        0 |        0
1660.69/1661.21	c 1661s |      27 | 19351688 | 15549833 |     1063  36435 |        0 |        0
1662.70/1663.22	c 1663s |      27 | 19371796 | 15566633 |     1063  36466 |        0 |        0
1664.69/1665.22	c 1665s |      27 | 19393084 | 15583633 |     1063  36497 |        0 |        0
1666.69/1667.23	c 1667s |      27 | 19416120 | 15601833 |     1063  36531 |        0 |        0
1668.69/1669.24	c 1669s |      27 | 19439021 | 15620033 |     1063  36565 |        0 |        0
1670.69/1671.24	c 1671s |      27 | 19462361 | 15638533 |     1063  36599 |        0 |        0
1672.70/1673.25	c 1673s |      27 | 19485031 | 15656833 |     1063  36633 |        0 |        0
1674.69/1675.25	c 1675s |      27 | 19510611 | 15676533 |     1063  36670 |        0 |        0
1676.69/1677.26	c 1677s |      27 | 19532720 | 15694633 |     1063  36703 |        0 |        0
1678.69/1679.26	c 1679s |      27 | 19556814 | 15713733 |     1063  36738 |        0 |        0
1680.70/1681.26	c 1681s |      27 | 19581440 | 15732833 |     1063  36774 |        0 |        0
1682.70/1683.27	c 1683s |      27 | 19605890 | 15751633 |     1063  36809 |        0 |        0
1684.70/1685.28	c 1685s |      27 | 19626589 | 15768833 |     1063  36840 |        0 |        0
1686.69/1687.29	c 1687s |      27 | 19648870 | 15786833 |     1063  36874 |        0 |        0
1688.79/1689.30	c 1689s |      27 | 19672236 | 15805233 |     1063  36908 |        0 |        0
1690.79/1691.30	c 1691s |      27 | 19694850 | 15823533 |     1063  36942 |        0 |        0
1692.79/1693.31	c 1693s |      27 | 19716746 | 15841333 |     1063  36975 |        0 |        0
1694.79/1695.32	c 1695s |      27 | 19735617 | 15857533 |     1063  37005 |        0 |        0
1696.80/1697.33	c 1697s |      27 | 19755533 | 15874333 |     1063  37036 |        0 |        0
1698.79/1699.33	c 1699s |      27 | 19775885 | 15891633 |     1063  37068 |        0 |        0
1700.79/1701.34	c 1701s |      27 | 19794946 | 15908033 |     1063  37098 |        0 |        0
1702.79/1703.34	c 1703s |      27 | 19815338 | 15924733 |     1063  37129 |        0 |        0
1704.79/1705.35	c 1705s |      27 | 19837505 | 15942533 |     1063  37162 |        0 |        0
1706.80/1707.35	c 1707s |      27 | 19859921 | 15960633 |     1063  37196 |        0 |        0
1708.79/1709.36	c 1709s |      27 | 19883641 | 15979233 |     1063  37231 |        0 |        0
1710.79/1711.37	c 1711s |      27 | 19906597 | 15997933 |     1063  37266 |        0 |        0
1712.79/1713.37	c 1713s |      27 | 19931001 | 16016533 |     1063  37300 |        0 |        0
1714.79/1715.37	c 1715s |      27 | 19954432 | 16034533 |     1063  37333 |        0 |        0
1716.79/1717.38	c 1717s |      27 | 19977893 | 16053033 |     1063  37368 |        0 |        0
1718.79/1719.39	c 1719s |      27 | 20001706 | 16072133 |     1063  37403 |        0 |        0
1720.78/1721.39	c 1721s |      27 | 20025141 | 16090633 |     1063  37437 |        0 |        0
1722.89/1723.40	c 1723s |      27 | 20050756 | 16109833 |     1063  37473 |        0 |        0
1724.89/1725.41	c 1725s |      27 | 20075023 | 16128533 |     1063  37508 |        0 |        0
1726.89/1727.41	c 1727s |      27 | 20098294 | 16146733 |     1063  37542 |        0 |        0
1728.89/1729.42	c 1729s |      27 | 20119611 | 16164033 |     1063  37574 |        0 |        0
1730.89/1731.42	c 1731s |      27 | 20140225 | 16181033 |     1063  37605 |        0 |        0
1732.89/1733.44	c 1733s |      27 | 20160541 | 16197833 |     1063  37636 |        0 |        0
1734.89/1735.44	c 1735s |      27 | 20184801 | 16215933 |     1063  37670 |        0 |        0
1736.89/1737.45	c 1737s |      27 | 20208963 | 16234633 |     1063  37705 |        0 |        0
1738.88/1739.45	c 1739s |      27 | 20232180 | 16253233 |     1063  37739 |        0 |        0
1740.89/1741.45	c 1741s |      27 | 20253018 | 16270733 |     1063  37772 |        0 |        0
1742.88/1743.46	c 1743s |      27 | 20274211 | 16288333 |     1063  37804 |        0 |        0
1744.88/1745.46	c 1745s |      27 | 20298306 | 16307133 |     1063  37839 |        0 |        0
1746.88/1747.46	c 1747s |      27 | 20319421 | 16324733 |     1063  37872 |        0 |        0
1748.88/1749.47	c 1749s |      27 | 20340149 | 16342133 |     1063  37904 |        0 |        0
1750.88/1751.48	c 1751s |      27 | 20361830 | 16359933 |     1063  37937 |        0 |        0
1752.89/1753.49	c 1753s |      27 | 20382854 | 16377133 |     1063  37969 |        0 |        0
1754.98/1755.50	c 1755s |      27 | 20406455 | 16395533 |     1063  38004 |        0 |        0
1756.98/1757.50	c 1757s |      27 | 20430281 | 16414333 |     1063  38038 |        0 |        0
1758.98/1759.50	c 1759s |      27 | 20452653 | 16432333 |     1063  38072 |        0 |        0
1760.98/1761.51	c 1761s |      27 | 20473610 | 16449833 |     1063  38105 |        0 |        0
1762.98/1763.51	c 1763s |      27 | 20493959 | 16466733 |     1063  38136 |        0 |        0
1764.98/1765.52	c 1765s |      27 | 20515467 | 16484333 |     1063  38169 |        0 |        0
1766.98/1767.52	c 1767s |      27 | 20537567 | 16502033 |     1063  38202 |        0 |        0
1768.98/1769.53	c 1769s |      27 | 20556523 | 16518433 |     1063  38232 |        0 |        0
1770.98/1771.54	c 1771s |      27 | 20575065 | 16534633 |     1063  38262 |        0 |        0
1772.98/1773.55	c 1773s |      27 | 20595379 | 16551933 |     1063  38295 |        0 |        0
1774.99/1775.55	c 1775s |      27 | 20618614 | 16570133 |     1063  38328 |        0 |        0
1776.98/1777.57	c 1777s |      27 | 20640395 | 16587833 |     1063  38361 |        0 |        0
1778.98/1779.57	c 1779s |      27 | 20660584 | 16604633 |     1063  38392 |        0 |        0
1780.98/1781.57	c 1781s |      27 | 20679271 | 16620633 |     1063  38422 |        0 |        0
1782.98/1783.58	c 1783s |      27 | 20698061 | 16636933 |     1063  38453 |        0 |        0
1784.98/1785.59	c 1785s |      27 | 20718264 | 16653933 |     1063  38484 |        0 |        0
1786.98/1787.60	c 1787s |      27 | 20738594 | 16670833 |     1063  38515 |        0 |        0
1789.07/1789.61	c 1789s |      27 | 20760385 | 16688533 |     1063  38548 |        0 |        0
1791.07/1791.61	c 1791s |      27 | 20783540 | 16707033 |     1063  38583 |        0 |        0
1793.07/1793.62	c 1793s |      27 | 20806552 | 16725433 |     1063  38617 |        0 |        0
1795.07/1795.63	c 1795s |      27 | 20828432 | 16743233 |     1063  38650 |        0 |        0
1797.07/1797.63	c 1797s |      27 | 20850638 | 16761233 |     1063  38683 |        0 |        0
1799.08/1799.64	c 1799s |      27 | 20873765 | 16779633 |     1063  38718 |        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-4121098-1467313391/watcher-4121098-1467313391 -o /tmp/evaluation-result-4121098-1467313391/solver-4121098-1467313391 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18420 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121098-1467313391.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.29 2.20 2.17 3/179 19474
/proc/meminfo: memFree=27579332/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=705980 CPUtime=0 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 2631 0 0 0 0 0 0 0 20 0 4 0 12300144 722923520 3503 33554432000 4194304 16246674 140733282666368 140733282665792 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 177263 3513 441 2943 0 174157 0
[pid=19474/tid=19475] ppid=19471 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 741797888 3572 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 745992192 3591 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 751235072 3608 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.29 2.20 2.17 3/179 19474
/proc/meminfo: memFree=27579332/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 24723 0 0 0 6 3 0 0 20 0 4 0 12300144 1247350784 25585 33554432000 4194304 16246674 140733282666368 140733282665792 5664948 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 304529 25593 708 2943 0 301423 0
[pid=19474/tid=19475] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 25599 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 25606 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 25609 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200517 s]
/proc/loadavg: 2.29 2.20 2.17 3/179 19474
/proc/meminfo: memFree=27579332/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 47526 0 0 0 13 6 0 0 20 0 4 0 12300144 1247350784 48387 33554432000 4194304 16246674 140733282666368 140733282665792 5523634 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 304529 48396 708 2943 0 301423 0
[pid=19474/tid=19475] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 48402 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 48410 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 48419 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300476 s]
/proc/loadavg: 2.29 2.20 2.17 3/179 19474
/proc/meminfo: memFree=27579332/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 70155 0 0 0 20 9 0 0 20 0 4 0 12300144 1247350784 71016 33554432000 4194304 16246674 140733282666368 140733282648256 6011022 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 304529 71026 708 2943 0 301423 0
[pid=19474/tid=19475] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 71035 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 71041 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 71047 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.7004 s]
/proc/loadavg: 2.29 2.20 2.17 3/179 19474
/proc/meminfo: memFree=27579332/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 162264 0 0 0 49 20 0 0 20 0 4 0 12300144 1247350784 163125 33554432000 4194304 16246674 140733282666368 140733282648256 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 304529 163136 708 2943 0 301423 0
[pid=19474/tid=19475] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 163144 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 163150 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 163156 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.29 2.20 2.17 3/183 19478
/proc/meminfo: memFree=26595752/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1218116 CPUtime=1.48 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 245479 0 0 0 117 31 0 0 20 0 4 0 12300144 1247350784 246320 33554432000 4194304 16246674 140733282666368 140733282648256 5545898 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 304529 246320 783 2943 0 301423 0
[pid=19474/tid=19475] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 246320 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 246320 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1247350784 246320 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.1004 s]
/proc/loadavg: 2.29 2.20 2.17 3/183 19478
/proc/meminfo: memFree=26507588/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 267385 0 0 0 274 35 0 0 20 0 4 0 12300144 1337528320 268226 33554432000 4194304 16246674 140733282666368 140733282648256 5667343 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326545 268226 783 2943 0 323439 0
[pid=19474/tid=19475] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268226 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268226 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268226 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30037 s]
/proc/loadavg: 2.27 2.20 2.17 3/183 19478
/proc/meminfo: memFree=26506868/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 267420 0 0 0 593 35 0 0 20 0 4 0 12300144 1337528320 268261 33554432000 4194304 16246674 140733282666368 140733282649368 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326545 268261 783 2943 0 323439 0
[pid=19474/tid=19475] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268261 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268261 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268261 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.24 2.19 2.17 3/183 19478
/proc/meminfo: memFree=26506892/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 267420 0 0 0 1233 36 0 0 20 0 4 0 12300144 1337528320 268261 33554432000 4194304 16246674 140733282666368 140733282648256 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326545 268261 783 2943 0 323439 0
[pid=19474/tid=19475] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268261 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268261 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268261 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.33 2.22 2.17 3/183 19478
/proc/meminfo: memFree=26507676/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 267433 0 0 0 2512 36 0 0 20 0 4 0 12300144 1337528320 268274 33554432000 4194304 16246674 140733282666368 140733282648256 5994825 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326545 268274 784 2943 0 323439 0
[pid=19474/tid=19475] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268274 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268274 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268274 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.35 2.23 2.18 3/183 19478
/proc/meminfo: memFree=26506032/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 267436 0 0 0 5071 37 0 0 20 0 4 0 12300144 1337528320 268277 33554432000 4194304 16246674 140733282666368 140733282648256 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326545 268277 786 2943 0 323439 0
[pid=19474/tid=19475] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268277 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268277 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268277 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.28 2.22 2.18 3/183 19480
/proc/meminfo: memFree=26505896/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 267438 0 0 0 10190 38 0 0 20 0 4 0 12300144 1337528320 268279 33554432000 4194304 16246674 140733282666368 140733282648256 6843416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326545 268279 786 2943 0 323439 0
[pid=19474/tid=19475] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268279 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268279 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1337528320 268279 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.32 2.27 2.20 3/183 19656
/proc/meminfo: memFree=26487016/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1307204 CPUtime=1301.85 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 268247 0 0 0 130125 60 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140733282648256 5823975 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326801 268668 788 2943 0 323695 0
[pid=19474/tid=19475] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.45 2.31 2.22 3/183 19658
/proc/meminfo: memFree=26486992/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1307204 CPUtime=1361.84 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 268247 0 0 0 136123 61 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140733282648256 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326801 268668 788 2943 0 323695 0
[pid=19474/tid=19475] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.35 2.31 2.22 3/183 19659
/proc/meminfo: memFree=26487056/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1307204 CPUtime=1421.84 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 268247 0 0 0 142122 62 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140733282648256 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326801 268668 788 2943 0 323695 0
[pid=19474/tid=19475] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.32 2.30 2.22 3/183 19660
/proc/meminfo: memFree=26486904/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1307204 CPUtime=1481.82 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 268247 0 0 0 148119 63 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140733282648256 5523404 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326801 268668 788 2943 0 323695 0
[pid=19474/tid=19475] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.29 2.29 2.22 3/183 19661
/proc/meminfo: memFree=26486992/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1307204 CPUtime=1541.82 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 268247 0 0 0 154118 64 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140733282648256 5522986 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326801 268668 788 2943 0 323695 0
[pid=19474/tid=19475] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.25 2.28 2.22 3/183 19662
/proc/meminfo: memFree=26487172/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1307204 CPUtime=1601.8 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 268247 0 0 0 160115 65 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140733282648256 5674718 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326801 268668 788 2943 0 323695 0
[pid=19474/tid=19475] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.22 2.27 2.22 3/184 19667
/proc/meminfo: memFree=26487316/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1307204 CPUtime=1661.79 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 268247 0 0 0 166113 66 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140733282648256 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326801 268668 788 2943 0 323695 0
[pid=19474/tid=19475] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.32 2.29 2.23 3/183 19668
/proc/meminfo: memFree=26487056/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1307204 CPUtime=1721.78 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 268247 0 0 0 172111 67 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140733282648256 13949841 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326801 268668 788 2943 0 323695 0
[pid=19474/tid=19475] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.29 2.28 2.22 3/183 19669
/proc/meminfo: memFree=26486868/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1307204 CPUtime=1781.78 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 268247 0 0 0 178109 69 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140733282648256 5754969 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326801 268668 788 2943 0 323695 0
[pid=19474/tid=19475] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.21 2.27 2.22 4/183 19669
/proc/meminfo: memFree=26487608/32872528 swapFree=1427768/1542232
[pid=19474] ppid=19471 vsize=1307204 CPUtime=1800.07 cores=0,2,4,6
/proc/19474/stat : 19474 (toysat) R 19471 19474 15544 0 -1 4202496 268247 0 0 0 179938 69 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140733282648256 6076350 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19474/statm: 326801 268668 788 2943 0 323695 0
[pid=19474/tid=19475] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19475/stat : 19475 (toysat) S 19471 19474 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063604190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19474/tid=19476] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19476/stat : 19476 (toysat) S 19471 19474 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063593700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19474/tid=19477] ppid=19471 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19474/task/19477/stat : 19477 (toysat) S 19471 19474 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300144 1338576896 268668 33554432000 4194304 16246674 140733282666368 140063514029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1307204

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.39
CPU system time (s): 0.698893
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.698893
maximum resident set size= 1074672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268247
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= 438
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68129 second user time and 7.14891 second system time

The end

Begin job on node116 at 2016-06-30 21:03:11
IDJOB=4121098
IDBENCH=110297
IDSOLVER=2542
FILE ID=node116/4121098-1467313391
RUNJOBID= node116-1467310476-18420
PBS_JOBID= 20005287
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-29-3.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121098-1467313391/watcher-4121098-1467313391 -o /tmp/evaluation-result-4121098-1467313391/solver-4121098-1467313391 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18420 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121098-1467313391.opb

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

MD5SUM BENCH= 0848feae3570d0fe822a06d98b3e23ee
RANDOM SEED=1095330901

node116.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.426
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.85
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.426
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.426
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.426
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.426
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.426
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27580240 kB
Buffers:          205292 kB
Cached:          1710108 kB
SwapCached:            0 kB
Active:          1426904 kB
Inactive:        1575156 kB
Active(anon):    1089220 kB
Inactive(anon):        0 kB
Active(file):     337684 kB
Inactive(file):  1575156 kB
Unevictable:     1542232 kB
Mlocked:         1427768 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       2714476 kB
Mapped:            17124 kB
Shmem:               204 kB
Slab:             613872 kB
SReclaimable:      58044 kB
SUnreclaim:       555828 kB
KernelStack:        1520 kB
PageTables:         9584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2765808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71692 MiB
End job on node116 at 2016-06-30 21:33:12