0.00/0.00	c 2016-06-16T01:05:04+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-4089715-1466031904.opb"]
0.00/0.01	c use --random-gen="3208429211 3466546690 4246564447 3906734761 3873241852 3018394661 1758313481 993286813 3236909270 721888720 1683543664 2971297245 1122210518 4060429017 2689877611 3391410234 959080477 2824015984 1755903233 341284551 1953210623 185909196 167524827 2721583235 2480845133 467738160 3375983039 504202188 4252549764 1068967345 515323254 3218663387 3060555011 4088438416 1157362275 173448197 662076991 3383109749 2474326882 139093327 1923817931 367062887 484767136 19388760 1043149106 3530315746 2948965250 2237124981 3625662032 2306334810 1992596051 1136879932 2157051613 1551400812 3456077651 1826142657 3011558693 4148174000 3406501815 3450061957 4109511688 2780661524 3950290387 2321436925 2421293694 2541350952 3314422090 3300141151 3910686158 3277415971 2127611691 3438542443 3808244880 4121307508 868190520 2892278057 3907775199 4120091253 1057819227 2457316452 1490056182 2763207453 117395430 47105147 2360851723 905166413 1031213226 1531170780 2636965627 64564362 3373372064 3556097957 3926067134 3376574417 903751371 1461274567 1965781826 1130752328 943315811 1201657474 561153714 233703316 1739781725 2227315887 2961522264 605992359 969283978 1295687050 273972593 1224758077 662254894 3762711623 2883448800 163007210 624064061 3309636461 3193279196 2221702669 1656641474 2005206996 3558980736 3194585651 278745074 801144268 1842718947 943050017 435798188 320322955 1896454621 1714767696 3277129890 3357236589 2654533391 2677654412 4289282956 432579613 2883870387 403759358 3793861909 4118769396 4173345833 3342602155 1597647941 3995824559 1957963759 4238325694 4054157909 684879205 1280459360 2287294961 3461193816 2511746713 492347245 3476744493 1864495054 2734738465 3365648780 402430745 1305205272 42401882 2477292411 2156556521 4160389021 1427752653 3091426512 1942118377 2945703471 1352241863 3931476055 1767724033 913249065 3712618557 2637745785 877556592 2911962802 3924453890 2674277264 1561697990 2152487814 3865028184 4285068218 453667977 2330626061 375368115 299772149 4052871327 2616006187 2242481468 1474337683 3701057568 2193846258 2121166937 511637955 1642081330 604867956 669064077 2854987064 3435839706 412393414 182958379 2673317439 2871647728 4097469775 871617513 1084681291 1908957311 4033175856 2764176418 1391514779 3267205057 2867717950 3851479728 3673110073 2266518191 951979520 2218588230 2361937615 61890247 2298925065 4249148539 423644918 3470459213 3830672930 100486939 2492041931 217970975 2558450517 1742326540 1467481967 509730139 2241537748 817131063 1988963425 1893171345 1569650927 2740928166 847610089 1768212204 88891792 4108801857 2867691085 2176541542 2764510821 2601550552 2363678931 2795488552 2398727196 4268049431 3263439424 1434024812 1160465867 3099862947 3947092861 4214216125 284018749 3176217667 255 362436" option to reproduce the execution
0.00/0.01	c #vars 159
0.00/0.01	c #constraints 80
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 |      106      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      140 |      100 |      106      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      348 |      250 |      117      1 |        0 |        0
0.00/0.07	c  0.1s |       3 |      648 |      475 |      129      3 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1089 |      813 |      142      6 |        0 |        0
0.09/0.19	c  0.2s |       5 |     1847 |     1320 |      157     11 |        0 |        0
0.19/0.29	c  0.3s |       6 |     2838 |     2081 |      191     17 |        0 |        0
0.39/0.48	c  0.5s |       7 |     4213 |     3223 |      211     25 |        0 |        0
0.69/0.74	c  0.7s |       8 |     6887 |     4936 |      233     39 |        0 |        0
0.99/1.10	c  1.1s |       9 |    10385 |     7506 |      257     57 |        0 |        0
1.49/1.50	c  1.5s |      10 |    15718 |    11361 |      283     82 |        0 |        0
2.09/2.12	c  2.1s |      11 |    23538 |    17144 |      312    117 |        0 |        0
2.99/3.07	c  3.1s |      12 |    34939 |    25819 |      344    167 |        0 |        0
4.39/4.47	c  4.5s |      13 |    52651 |    38832 |      379    235 |        0 |        0
6.39/6.48	c  6.5s |      13 |    76774 |    56932 |      379    321 |        0 |        0
6.60/6.66	c  6.6s |      14 |    78466 |    58352 |      417    327 |        0 |        0
8.59/8.66	c  8.6s |      14 |    99496 |    75052 |      417    400 |        0 |        0
10.09/10.17	c 10.2s |      15 |   115321 |    87632 |      459    456 |        0 |        0
12.10/12.17	c 12.2s |      15 |   136440 |   104532 |      459    524 |        0 |        0
14.09/14.17	c 14.2s |      15 |   160257 |   122432 |      459    596 |        0 |        0
15.19/15.24	c 15.2s |      16 |   171688 |   131552 |      505    632 |        0 |        0
17.19/17.24	c 17.2s |      16 |   192664 |   148452 |      505    694 |        0 |        0
19.19/19.25	c 19.2s |      16 |   211877 |   164552 |      505    754 |        0 |        0
21.19/21.26	c 21.2s |      16 |   230716 |   180652 |      505    813 |        0 |        0
23.19/23.27	c 23.3s |      16 |   249025 |   196152 |      556    870 |        0 |        0
23.39/23.43	c 23.4s |      17 |   250514 |   197432 |      556    874 |        0 |        0
25.39/25.44	c 25.4s |      17 |   268430 |   212732 |      556    925 |        0 |        0
27.38/27.45	c 27.4s |      17 |   287965 |   228332 |      556    976 |        0 |        0
29.38/29.46	c 29.5s |      17 |   307236 |   244132 |      556   1030 |        0 |        0
31.38/31.47	c 31.5s |      17 |   325679 |   259532 |      556   1081 |        0 |        0
33.38/33.48	c 33.5s |      17 |   345705 |   275532 |      556   1134 |        0 |        0
35.38/35.48	c 35.5s |      17 |   364547 |   290832 |      556   1185 |        0 |        0
36.18/36.25	c 36.2s |      18 |   371083 |   296252 |      612   1202 |        0 |        0
38.18/38.25	c 38.2s |      18 |   386767 |   310352 |      612   1244 |        0 |        0
40.18/40.26	c 40.2s |      18 |   402996 |   324652 |      612   1288 |        0 |        0
42.18/42.27	c 42.3s |      18 |   419377 |   338852 |      612   1331 |        0 |        0
44.19/44.27	c 44.3s |      18 |   435607 |   353052 |      612   1374 |        0 |        0
46.19/46.29	c 46.3s |      18 |   453191 |   367952 |      612   1420 |        0 |        0
48.19/48.29	c 48.3s |      18 |   471051 |   382752 |      612   1465 |        0 |        0
50.29/50.31	c 50.3s |      18 |   488007 |   397152 |      612   1509 |        0 |        0
52.28/52.31	c 52.3s |      18 |   506697 |   412352 |      612   1555 |        0 |        0
54.28/54.32	c 54.3s |      18 |   524933 |   427352 |      612   1601 |        0 |        0
56.28/56.32	c 56.3s |      18 |   542528 |   442052 |      674   1645 |        0 |        0
56.58/56.67	c 56.7s |      19 |   545490 |   444482 |      674   1652 |        0 |        0
58.58/58.68	c 58.7s |      19 |   563615 |   459582 |      674   1694 |        0 |        0
60.59/60.68	c 60.7s |      19 |   582040 |   474782 |      674   1737 |        0 |        0
62.58/62.69	c 62.7s |      19 |   599001 |   489582 |      674   1778 |        0 |        0
64.58/64.69	c 64.7s |      19 |   616000 |   504182 |      674   1819 |        0 |        0
66.58/66.69	c 66.7s |      19 |   633681 |   518882 |      674   1860 |        0 |        0
68.68/68.70	c 68.7s |      19 |   651366 |   533382 |      674   1901 |        0 |        0
70.68/70.70	c 70.7s |      19 |   669654 |   548282 |      674   1942 |        0 |        0
72.68/72.70	c 72.7s |      19 |   688549 |   563482 |      674   1985 |        0 |        0
74.67/74.71	c 74.7s |      19 |   706621 |   578182 |      674   2026 |        0 |        0
76.67/76.71	c 76.7s |      19 |   725582 |   593482 |      674   2070 |        0 |        0
78.67/78.72	c 78.7s |      19 |   743981 |   608682 |      674   2113 |        0 |        0
80.67/80.73	c 80.7s |      19 |   761950 |   623582 |      674   2154 |        0 |        0
82.68/82.74	c 82.7s |      19 |   779912 |   638382 |      674   2196 |        0 |        0
84.69/84.74	c 84.7s |      19 |   797798 |   652682 |      674   2236 |        0 |        0
86.48/86.59	c 86.6s |      20 |   815421 |   666827 |      742   2275 |        0 |        0
88.58/88.60	c 88.6s |      20 |   833922 |   681527 |      742   2312 |        0 |        0
90.58/90.61	c 90.6s |      20 |   852844 |   696727 |      742   2351 |        0 |        0
92.58/92.61	c 92.6s |      20 |   870401 |   711127 |      742   2388 |        0 |        0
94.58/94.62	c 94.6s |      20 |   888589 |   725927 |      742   2426 |        0 |        0
96.58/96.63	c 96.6s |      20 |   904993 |   739827 |      742   2461 |        0 |        0
98.57/98.64	c 98.6s |      20 |   922939 |   754427 |      742   2499 |        0 |        0
100.57/100.66	c  100s |      20 |   940956 |   769127 |      742   2536 |        0 |        0
102.57/102.66	c  102s |      20 |   958932 |   783827 |      742   2574 |        0 |        0
104.58/104.66	c  104s |      20 |   977055 |   798827 |      742   2612 |        0 |        0
106.57/106.67	c  106s |      20 |   994119 |   813227 |      742   2649 |        0 |        0
108.57/108.68	c  108s |      20 |  1012106 |   828027 |      742   2687 |        0 |        0
110.57/110.69	c  110s |      20 |  1030446 |   843027 |      742   2726 |        0 |        0
112.67/112.70	c  112s |      20 |  1046819 |   857127 |      742   2762 |        0 |        0
114.67/114.71	c  114s |      20 |  1063043 |   871027 |      742   2797 |        0 |        0
116.68/116.71	c  116s |      20 |  1080458 |   885627 |      742   2834 |        0 |        0
118.67/118.72	c  118s |      20 |  1096413 |   899327 |      742   2869 |        0 |        0
120.67/120.74	c  120s |      20 |  1111891 |   912827 |      742   2904 |        0 |        0
122.67/122.74	c  122s |      20 |  1128359 |   926927 |      742   2940 |        0 |        0
124.67/124.75	c  124s |      20 |  1144369 |   940727 |      742   2975 |        0 |        0
126.67/126.76	c  126s |      20 |  1161578 |   955027 |      742   3011 |        0 |        0
128.68/128.77	c  128s |      20 |  1178638 |   969227 |      742   3048 |        0 |        0
130.67/130.78	c  130s |      20 |  1195179 |   983227 |      742   3084 |        0 |        0
132.67/132.79	c  132s |      20 |  1210832 |   996727 |      817   3118 |        0 |        0
133.27/133.33	c  133s |      21 |  1215114 |  1000345 |      817   3126 |        0 |        0
135.28/135.35	c  135s |      21 |  1234018 |  1015445 |      817   3162 |        0 |        0
137.27/137.36	c  137s |      21 |  1251083 |  1029945 |      817   3196 |        0 |        0
139.27/139.37	c  139s |      21 |  1269206 |  1044745 |      817   3230 |        0 |        0
141.27/141.38	c  141s |      21 |  1287142 |  1059445 |      817   3265 |        0 |        0
143.27/143.39	c  143s |      21 |  1304737 |  1074045 |      817   3299 |        0 |        0
145.28/145.40	c  145s |      21 |  1320645 |  1087845 |      817   3331 |        0 |        0
147.37/147.40	c  147s |      21 |  1336953 |  1101745 |      817   3364 |        0 |        0
149.37/149.41	c  149s |      21 |  1353764 |  1116045 |      817   3397 |        0 |        0
151.36/151.42	c  151s |      21 |  1370366 |  1130345 |      817   3431 |        0 |        0
153.36/153.42	c  153s |      21 |  1386579 |  1144245 |      817   3463 |        0 |        0
155.36/155.43	c  155s |      21 |  1403037 |  1158045 |      817   3496 |        0 |        0
157.37/157.44	c  157s |      21 |  1419329 |  1171545 |      817   3527 |        0 |        0
159.36/159.44	c  159s |      21 |  1436096 |  1185545 |      817   3560 |        0 |        0
161.36/161.45	c  161s |      21 |  1452716 |  1199645 |      817   3593 |        0 |        0
163.36/163.45	c  163s |      21 |  1469667 |  1213945 |      817   3627 |        0 |        0
165.36/165.45	c  165s |      21 |  1486114 |  1227945 |      817   3659 |        0 |        0
167.36/167.46	c  167s |      21 |  1503096 |  1241945 |      817   3692 |        0 |        0
169.38/169.47	c  169s |      21 |  1520684 |  1256345 |      817   3726 |        0 |        0
171.37/171.48	c  171s |      21 |  1538081 |  1270745 |      817   3760 |        0 |        0
173.37/173.49	c  173s |      21 |  1554938 |  1285045 |      817   3793 |        0 |        0
175.37/175.49	c  175s |      21 |  1571211 |  1299045 |      817   3826 |        0 |        0
177.47/177.50	c  177s |      21 |  1589158 |  1313645 |      817   3860 |        0 |        0
179.47/179.51	c  179s |      21 |  1605754 |  1327745 |      817   3892 |        0 |        0
181.47/181.52	c  181s |      21 |  1621495 |  1341545 |      817   3925 |        0 |        0
183.47/183.53	c  183s |      21 |  1638254 |  1355745 |      817   3957 |        0 |        0
185.46/185.54	c  185s |      21 |  1655244 |  1369945 |      817   3991 |        0 |        0
187.46/187.55	c  187s |      21 |  1671816 |  1383945 |      817   4023 |        0 |        0
189.46/189.56	c  189s |      21 |  1688421 |  1397845 |      817   4056 |        0 |        0
191.47/191.57	c  191s |      21 |  1705056 |  1411745 |      817   4089 |        0 |        0
193.46/193.58	c  193s |      21 |  1721426 |  1425545 |      817   4121 |        0 |        0
195.46/195.59	c  195s |      21 |  1738739 |  1439745 |      817   4154 |        0 |        0
197.56/197.60	c  197s |      21 |  1755122 |  1453545 |      817   4186 |        0 |        0
199.56/199.62	c  199s |      21 |  1772787 |  1467745 |      817   4220 |        0 |        0
201.56/201.62	c  201s |      21 |  1790974 |  1482445 |      817   4254 |        0 |        0
203.57/203.62	c  203s |      21 |  1807912 |  1496445 |      899   4285 |        0 |        0
204.16/204.25	c  204s |      22 |  1812889 |  1500622 |      899   4294 |        0 |        0
206.16/206.27	c  206s |      22 |  1830320 |  1514822 |      899   4324 |        0 |        0
208.15/208.28	c  208s |      22 |  1846848 |  1528722 |      899   4354 |        0 |        0
210.16/210.29	c  210s |      22 |  1864007 |  1542822 |      899   4384 |        0 |        0
212.15/212.30	c  212s |      22 |  1881160 |  1556922 |      899   4414 |        0 |        0
214.26/214.30	c  214s |      22 |  1897926 |  1570922 |      899   4444 |        0 |        0
216.26/216.31	c  216s |      22 |  1915286 |  1585122 |      899   4474 |        0 |        0
218.26/218.32	c  218s |      22 |  1932306 |  1599322 |      899   4505 |        0 |        0
220.26/220.32	c  220s |      22 |  1949325 |  1613522 |      899   4535 |        0 |        0
222.27/222.33	c  222s |      22 |  1966220 |  1627622 |      899   4565 |        0 |        0
224.26/224.34	c  224s |      22 |  1983337 |  1641822 |      899   4596 |        0 |        0
226.26/226.35	c  226s |      22 |  2000335 |  1656122 |      899   4626 |        0 |        0
228.26/228.36	c  228s |      22 |  2016960 |  1670222 |      899   4656 |        0 |        0
230.26/230.37	c  230s |      22 |  2035072 |  1684822 |      899   4688 |        0 |        0
232.26/232.38	c  232s |      22 |  2053185 |  1699522 |      899   4719 |        0 |        0
234.26/234.40	c  234s |      22 |  2070006 |  1713622 |      899   4749 |        0 |        0
236.35/236.41	c  236s |      22 |  2086287 |  1727422 |      899   4778 |        0 |        0
238.35/238.42	c  238s |      22 |  2102164 |  1741222 |      899   4808 |        0 |        0
240.35/240.43	c  240s |      22 |  2117230 |  1754422 |      899   4836 |        0 |        0
242.35/242.43	c  242s |      22 |  2133995 |  1768522 |      899   4866 |        0 |        0
244.35/244.44	c  244s |      22 |  2151297 |  1782722 |      899   4896 |        0 |        0
246.36/246.44	c  246s |      22 |  2169255 |  1797222 |      899   4927 |        0 |        0
248.35/248.44	c  248s |      22 |  2185905 |  1811222 |      899   4957 |        0 |        0
250.35/250.46	c  250s |      22 |  2202562 |  1825322 |      899   4988 |        0 |        0
252.35/252.46	c  252s |      22 |  2218758 |  1839122 |      899   5017 |        0 |        0
254.35/254.46	c  254s |      22 |  2234766 |  1852722 |      899   5046 |        0 |        0
256.35/256.48	c  256s |      22 |  2250767 |  1866322 |      899   5075 |        0 |        0
258.35/258.48	c  258s |      22 |  2269441 |  1881022 |      899   5107 |        0 |        0
260.35/260.49	c  260s |      22 |  2287299 |  1895322 |      899   5138 |        0 |        0
262.35/262.50	c  262s |      22 |  2305281 |  1909722 |      899   5169 |        0 |        0
264.45/264.51	c  264s |      22 |  2321642 |  1923722 |      899   5199 |        0 |        0
266.45/266.51	c  266s |      22 |  2338961 |  1937922 |      899   5229 |        0 |        0
268.46/268.52	c  268s |      22 |  2356494 |  1952222 |      899   5260 |        0 |        0
270.45/270.53	c  270s |      22 |  2374183 |  1966422 |      899   5290 |        0 |        0
272.45/272.53	c  272s |      22 |  2391727 |  1980522 |      899   5320 |        0 |        0
274.45/274.54	c  274s |      22 |  2409222 |  1994822 |      899   5351 |        0 |        0
276.45/276.54	c  276s |      22 |  2426568 |  2009022 |      899   5381 |        0 |        0
278.45/278.55	c  278s |      22 |  2443602 |  2023022 |      899   5411 |        0 |        0
280.45/280.55	c  280s |      22 |  2461158 |  2037222 |      899   5442 |        0 |        0
282.44/282.56	c  282s |      22 |  2477369 |  2051022 |      899   5471 |        0 |        0
284.44/284.58	c  284s |      22 |  2492901 |  2064422 |      899   5500 |        0 |        0
286.44/286.58	c  286s |      22 |  2509381 |  2078222 |      899   5530 |        0 |        0
288.44/288.59	c  288s |      22 |  2526425 |  2092422 |      899   5560 |        0 |        0
290.45/290.59	c  290s |      22 |  2543237 |  2106522 |      899   5590 |        0 |        0
292.44/292.59	c  292s |      22 |  2559064 |  2120122 |      899   5619 |        0 |        0
294.44/294.59	c  294s |      22 |  2574800 |  2133522 |      899   5648 |        0 |        0
296.55/296.60	c  296s |      22 |  2589844 |  2146722 |      899   5676 |        0 |        0
298.55/298.60	c  298s |      22 |  2605799 |  2160122 |      899   5705 |        0 |        0
300.55/300.60	c  300s |      22 |  2622647 |  2174122 |      899   5735 |        0 |        0
302.56/302.61	c  302s |      22 |  2640051 |  2188322 |      899   5766 |        0 |        0
304.55/304.61	c  304s |      22 |  2656484 |  2202422 |      899   5796 |        0 |        0
306.55/306.62	c  306s |      22 |  2673972 |  2216722 |      899   5826 |        0 |        0
308.55/308.63	c  308s |      22 |  2689518 |  2230222 |      899   5855 |        0 |        0
310.55/310.64	c  310s |      22 |  2704355 |  2243122 |      989   5881 |        0 |        0
311.75/311.82	c  311s |      23 |  2714053 |  2251038 |      989   5896 |        0 |        0
313.75/313.82	c  313s |      23 |  2729762 |  2264738 |      989   5923 |        0 |        0
315.75/315.82	c  315s |      23 |  2745349 |  2278238 |      989   5949 |        0 |        0
317.74/317.83	c  317s |      23 |  2763652 |  2292738 |      989   5977 |        0 |        0
319.74/319.84	c  319s |      23 |  2779455 |  2306538 |      989   6004 |        0 |        0
321.74/321.85	c  321s |      23 |  2795919 |  2320438 |      989   6031 |        0 |        0
323.74/323.86	c  323s |      23 |  2812714 |  2334538 |      989   6058 |        0 |        0
325.74/325.87	c  325s |      23 |  2828201 |  2348038 |      989   6084 |        0 |        0
327.75/327.88	c  327s |      23 |  2843724 |  2361538 |      989   6111 |        0 |        0
329.84/329.90	c  329s |      23 |  2859506 |  2375038 |      989   6137 |        0 |        0
331.84/331.90	c  331s |      23 |  2875405 |  2388538 |      989   6163 |        0 |        0
333.84/333.91	c  333s |      23 |  2894296 |  2403338 |      989   6192 |        0 |        0
335.84/335.92	c  335s |      23 |  2911398 |  2417438 |      989   6219 |        0 |        0
337.84/337.92	c  337s |      23 |  2927856 |  2431038 |      989   6246 |        0 |        0
339.84/339.93	c  339s |      23 |  2944261 |  2444938 |      989   6273 |        0 |        0
341.84/341.93	c  341s |      23 |  2958856 |  2457838 |      989   6298 |        0 |        0
343.83/343.94	c  343s |      23 |  2974215 |  2471038 |      989   6324 |        0 |        0
345.83/345.94	c  345s |      23 |  2991707 |  2485338 |      989   6352 |        0 |        0
347.83/347.95	c  347s |      23 |  3006816 |  2498538 |      989   6378 |        0 |        0
349.84/349.96	c  349s |      23 |  3022590 |  2512238 |      989   6405 |        0 |        0
351.83/351.97	c  351s |      23 |  3037971 |  2525638 |      989   6431 |        0 |        0
353.83/353.98	c  353s |      23 |  3054456 |  2539438 |      989   6458 |        0 |        0
355.83/355.99	c  355s |      23 |  3069949 |  2552738 |      989   6484 |        0 |        0
357.93/358.00	c  357s |      23 |  3085507 |  2566138 |      989   6510 |        0 |        0
359.93/360.01	c  359s |      23 |  3101670 |  2579838 |      989   6537 |        0 |        0
361.95/362.02	c  362s |      23 |  3117528 |  2593538 |      989   6563 |        0 |        0
363.94/364.02	c  364s |      23 |  3133180 |  2607038 |      989   6589 |        0 |        0
365.94/366.03	c  366s |      23 |  3149117 |  2620538 |      989   6616 |        0 |        0
367.94/368.04	c  368s |      23 |  3165631 |  2634238 |      989   6642 |        0 |        0
369.94/370.05	c  370s |      23 |  3180641 |  2647238 |      989   6668 |        0 |        0
371.94/372.06	c  372s |      23 |  3195973 |  2660638 |      989   6694 |        0 |        0
373.94/374.06	c  374s |      23 |  3212050 |  2674538 |      989   6721 |        0 |        0
375.93/376.07	c  376s |      23 |  3228492 |  2688338 |      989   6748 |        0 |        0
377.93/378.07	c  378s |      23 |  3244017 |  2701838 |      989   6774 |        0 |        0
379.93/380.08	c  380s |      23 |  3259822 |  2715538 |      989   6801 |        0 |        0
381.93/382.08	c  382s |      23 |  3274835 |  2728638 |      989   6826 |        0 |        0
383.94/384.09	c  384s |      23 |  3289672 |  2741738 |      989   6852 |        0 |        0
385.93/386.10	c  386s |      23 |  3306790 |  2755838 |      989   6880 |        0 |        0
388.03/388.10	c  388s |      23 |  3323681 |  2769938 |      989   6907 |        0 |        0
390.03/390.12	c  390s |      23 |  3339445 |  2783438 |      989   6933 |        0 |        0
392.03/392.13	c  392s |      23 |  3354397 |  2796538 |      989   6959 |        0 |        0
394.03/394.14	c  394s |      23 |  3369731 |  2809838 |      989   6985 |        0 |        0
396.03/396.14	c  396s |      23 |  3384863 |  2823038 |      989   7010 |        0 |        0
398.03/398.15	c  398s |      23 |  3400698 |  2836438 |      989   7037 |        0 |        0
400.03/400.16	c  400s |      23 |  3416174 |  2849838 |      989   7063 |        0 |        0
402.02/402.16	c  402s |      23 |  3431771 |  2863238 |      989   7089 |        0 |        0
404.02/404.17	c  404s |      23 |  3447451 |  2876838 |      989   7115 |        0 |        0
406.02/406.18	c  406s |      23 |  3462664 |  2890038 |      989   7141 |        0 |        0
408.03/408.18	c  408s |      23 |  3478360 |  2903438 |      989   7167 |        0 |        0
410.03/410.19	c  410s |      23 |  3494545 |  2917238 |      989   7194 |        0 |        0
412.13/412.20	c  412s |      23 |  3510184 |  2930738 |      989   7221 |        0 |        0
414.13/414.21	c  414s |      23 |  3525113 |  2943938 |      989   7246 |        0 |        0
416.13/416.23	c  416s |      23 |  3539952 |  2956938 |      989   7272 |        0 |        0
418.13/418.24	c  418s |      23 |  3556267 |  2970838 |      989   7299 |        0 |        0
420.14/420.24	c  420s |      23 |  3572080 |  2984438 |      989   7325 |        0 |        0
422.13/422.26	c  422s |      23 |  3588238 |  2997938 |      989   7352 |        0 |        0
424.13/424.27	c  424s |      23 |  3604193 |  3011338 |      989   7378 |        0 |        0
426.13/426.29	c  426s |      23 |  3620710 |  3025138 |      989   7405 |        0 |        0
428.13/428.29	c  428s |      23 |  3635971 |  3038638 |      989   7431 |        0 |        0
430.23/430.30	c  430s |      23 |  3650530 |  3051738 |      989   7456 |        0 |        0
432.23/432.30	c  432s |      23 |  3664944 |  3064538 |      989   7481 |        0 |        0
434.23/434.31	c  434s |      23 |  3679905 |  3077438 |      989   7506 |        0 |        0
436.22/436.32	c  436s |      23 |  3694285 |  3090238 |      989   7531 |        0 |        0
438.22/438.32	c  438s |      23 |  3708953 |  3103238 |      989   7557 |        0 |        0
440.22/440.33	c  440s |      23 |  3723825 |  3116438 |      989   7582 |        0 |        0
442.23/442.33	c  442s |      23 |  3739096 |  3129838 |      989   7609 |        0 |        0
444.22/444.34	c  444s |      23 |  3754566 |  3143238 |      989   7635 |        0 |        0
446.22/446.35	c  446s |      23 |  3770003 |  3156938 |      989   7662 |        0 |        0
448.22/448.36	c  448s |      23 |  3785200 |  3170338 |      989   7688 |        0 |        0
450.22/450.36	c  450s |      23 |  3801151 |  3183838 |      989   7714 |        0 |        0
452.22/452.36	c  452s |      23 |  3818077 |  3197838 |      989   7741 |        0 |        0
454.23/454.36	c  454s |      23 |  3835578 |  3211938 |      989   7769 |        0 |        0
456.22/456.38	c  456s |      23 |  3850933 |  3225338 |      989   7795 |        0 |        0
458.22/458.39	c  458s |      23 |  3866183 |  3238538 |      989   7821 |        0 |        0
460.22/460.39	c  460s |      23 |  3880149 |  3251238 |      989   7846 |        0 |        0
462.22/462.40	c  462s |      23 |  3895559 |  3264538 |      989   7872 |        0 |        0
464.32/464.40	c  464s |      23 |  3909648 |  3277138 |      989   7897 |        0 |        0
466.32/466.41	c  466s |      23 |  3923581 |  3289538 |      989   7921 |        0 |        0
468.31/468.41	c  468s |      23 |  3937324 |  3301938 |      989   7945 |        0 |        0
470.32/470.41	c  470s |      23 |  3951990 |  3314738 |      989   7970 |        0 |        0
472.32/472.42	c  472s |      23 |  3967835 |  3328038 |      989   7996 |        0 |        0
474.32/474.43	c  474s |      23 |  3982924 |  3341138 |      989   8021 |        0 |        0
476.32/476.43	c  476s |      23 |  3997875 |  3354138 |     1088   8046 |        0 |        0
478.32/478.44	c  478s |      23 |  4012038 |  3366738 |     1088   8069 |        0 |        0
479.92/480.03	c  480s |      24 |  4023352 |  3376662 |     1088   8086 |        0 |        0
481.91/482.03	c  482s |      24 |  4041704 |  3390862 |     1088   8111 |        0 |        0
483.92/484.04	c  484s |      24 |  4059788 |  3405262 |     1088   8137 |        0 |        0
485.91/486.04	c  486s |      24 |  4078858 |  3419662 |     1088   8163 |        0 |        0
487.91/488.04	c  488s |      24 |  4096564 |  3433862 |     1088   8188 |        0 |        0
489.91/490.05	c  490s |      24 |  4114259 |  3447762 |     1088   8212 |        0 |        0
491.90/492.06	c  492s |      24 |  4129565 |  3460562 |     1088   8235 |        0 |        0
493.91/494.07	c  494s |      24 |  4144642 |  3473262 |     1088   8258 |        0 |        0
495.90/496.07	c  496s |      24 |  4160545 |  3486262 |     1088   8281 |        0 |        0
497.90/498.07	c  498s |      24 |  4176416 |  3499362 |     1088   8304 |        0 |        0
499.90/500.08	c  500s |      24 |  4193282 |  3512862 |     1088   8328 |        0 |        0
501.89/502.09	c  502s |      24 |  4209485 |  3526262 |     1088   8352 |        0 |        0
503.99/504.10	c  504s |      24 |  4225171 |  3539562 |     1088   8375 |        0 |        0
506.00/506.10	c  506s |      24 |  4240763 |  3552662 |     1088   8399 |        0 |        0
507.99/508.10	c  508s |      24 |  4256155 |  3565662 |     1088   8422 |        0 |        0
509.99/510.10	c  510s |      24 |  4272145 |  3578962 |     1088   8445 |        0 |        0
511.99/512.12	c  512s |      24 |  4287522 |  3591962 |     1088   8468 |        0 |        0
513.99/514.13	c  514s |      24 |  4302979 |  3604762 |     1088   8491 |        0 |        0
515.99/516.14	c  516s |      24 |  4317945 |  3617362 |     1088   8513 |        0 |        0
518.00/518.14	c  518s |      24 |  4333464 |  3630162 |     1088   8536 |        0 |        0
519.99/520.14	c  520s |      24 |  4348766 |  3642762 |     1088   8558 |        0 |        0
521.98/522.16	c  522s |      24 |  4364383 |  3655762 |     1088   8581 |        0 |        0
523.98/524.17	c  524s |      24 |  4379819 |  3668462 |     1088   8604 |        0 |        0
525.98/526.17	c  526s |      24 |  4396398 |  3681562 |     1088   8627 |        0 |        0
527.99/528.18	c  528s |      24 |  4412505 |  3694362 |     1088   8650 |        0 |        0
529.98/530.19	c  530s |      24 |  4427540 |  3706962 |     1088   8672 |        0 |        0
531.97/532.19	c  532s |      24 |  4442623 |  3719762 |     1088   8695 |        0 |        0
534.07/534.21	c  534s |      24 |  4458966 |  3733162 |     1088   8719 |        0 |        0
536.07/536.21	c  536s |      24 |  4474902 |  3746362 |     1088   8742 |        0 |        0
538.07/538.22	c  538s |      24 |  4491226 |  3759562 |     1088   8765 |        0 |        0
540.08/540.23	c  540s |      24 |  4506000 |  3772162 |     1088   8788 |        0 |        0
542.06/542.23	c  542s |      24 |  4521673 |  3785162 |     1088   8811 |        0 |        0
544.06/544.24	c  544s |      24 |  4537703 |  3798362 |     1088   8834 |        0 |        0
546.06/546.24	c  546s |      24 |  4554101 |  3811662 |     1088   8857 |        0 |        0
548.06/548.25	c  548s |      24 |  4570940 |  3825162 |     1088   8881 |        0 |        0
550.06/550.26	c  550s |      24 |  4587571 |  3838462 |     1088   8905 |        0 |        0
552.06/552.27	c  552s |      24 |  4601427 |  3850662 |     1088   8927 |        0 |        0
554.06/554.27	c  554s |      24 |  4616917 |  3863562 |     1088   8950 |        0 |        0
556.06/556.28	c  556s |      24 |  4632943 |  3876762 |     1088   8973 |        0 |        0
558.06/558.29	c  558s |      24 |  4649192 |  3890062 |     1088   8997 |        0 |        0
560.06/560.29	c  560s |      24 |  4666434 |  3903762 |     1088   9021 |        0 |        0
562.16/562.30	c  562s |      24 |  4683360 |  3917462 |     1088   9046 |        0 |        0
564.17/564.31	c  564s |      24 |  4700326 |  3930962 |     1088   9070 |        0 |        0
566.16/566.31	c  566s |      24 |  4716501 |  3944262 |     1088   9093 |        0 |        0
568.16/568.32	c  568s |      24 |  4732781 |  3957662 |     1088   9117 |        0 |        0
570.16/570.32	c  570s |      24 |  4748980 |  3971062 |     1088   9141 |        0 |        0
572.15/572.33	c  572s |      24 |  4765997 |  3984762 |     1088   9165 |        0 |        0
574.16/574.34	c  574s |      24 |  4783782 |  3998662 |     1088   9190 |        0 |        0
576.15/576.34	c  576s |      24 |  4800718 |  4012362 |     1088   9214 |        0 |        0
578.15/578.35	c  578s |      24 |  4817750 |  4026062 |     1088   9239 |        0 |        0
580.15/580.36	c  580s |      24 |  4835376 |  4040062 |     1088   9264 |        0 |        0
582.15/582.36	c  582s |      24 |  4852883 |  4053862 |     1088   9288 |        0 |        0
584.15/584.37	c  584s |      24 |  4868757 |  4067062 |     1088   9311 |        0 |        0
586.15/586.38	c  586s |      24 |  4884511 |  4080062 |     1088   9334 |        0 |        0
588.14/588.39	c  588s |      24 |  4899851 |  4092962 |     1088   9357 |        0 |        0
590.14/590.40	c  590s |      24 |  4914288 |  4105362 |     1088   9379 |        0 |        0
592.24/592.40	c  592s |      24 |  4930140 |  4118462 |     1088   9402 |        0 |        0
594.24/594.40	c  594s |      24 |  4946771 |  4131962 |     1088   9426 |        0 |        0
596.24/596.41	c  596s |      24 |  4964084 |  4145762 |     1088   9451 |        0 |        0
598.25/598.42	c  598s |      24 |  4981377 |  4159562 |     1088   9475 |        0 |        0
600.24/600.43	c  600s |      24 |  4998512 |  4173562 |     1088   9500 |        0 |        0
602.24/602.43	c  602s |      24 |  5015394 |  4187262 |     1088   9525 |        0 |        0
604.23/604.43	c  604s |      24 |  5032656 |  4200862 |     1088   9549 |        0 |        0
606.23/606.44	c  606s |      24 |  5049802 |  4214662 |     1088   9573 |        0 |        0
608.24/608.45	c  608s |      24 |  5066812 |  4228262 |     1088   9598 |        0 |        0
610.23/610.45	c  610s |      24 |  5081708 |  4240862 |     1088   9620 |        0 |        0
612.23/612.47	c  612s |      24 |  5096613 |  4253462 |     1088   9642 |        0 |        0
614.23/614.47	c  614s |      24 |  5112039 |  4266262 |     1088   9665 |        0 |        0
616.23/616.49	c  616s |      24 |  5126022 |  4278462 |     1088   9687 |        0 |        0
618.33/618.50	c  618s |      24 |  5140586 |  4290962 |     1088   9709 |        0 |        0
620.33/620.50	c  620s |      24 |  5155069 |  4303462 |     1088   9731 |        0 |        0
622.32/622.51	c  622s |      24 |  5169418 |  4315762 |     1088   9753 |        0 |        0
624.32/624.52	c  624s |      24 |  5185618 |  4329062 |     1088   9777 |        0 |        0
626.32/626.52	c  626s |      24 |  5202162 |  4342462 |     1088   9800 |        0 |        0
628.32/628.53	c  628s |      24 |  5218232 |  4355662 |     1088   9824 |        0 |        0
630.32/630.55	c  630s |      24 |  5232859 |  4367962 |     1088   9846 |        0 |        0
632.33/632.56	c  632s |      24 |  5246460 |  4379762 |     1088   9867 |        0 |        0
634.32/634.57	c  634s |      24 |  5261797 |  4392562 |     1088   9889 |        0 |        0
636.32/636.57	c  636s |      24 |  5277777 |  4405662 |     1088   9913 |        0 |        0
638.31/638.58	c  638s |      24 |  5293250 |  4418562 |     1088   9935 |        0 |        0
640.31/640.59	c  640s |      24 |  5310198 |  4431962 |     1088   9959 |        0 |        0
642.32/642.59	c  642s |      24 |  5326931 |  4445362 |     1088   9983 |        0 |        0
644.32/644.59	c  644s |      24 |  5342332 |  4458362 |     1088  10006 |        0 |        0
646.42/646.60	c  646s |      24 |  5357676 |  4471362 |     1088  10029 |        0 |        0
648.42/648.61	c  648s |      24 |  5373663 |  4484662 |     1088  10053 |        0 |        0
650.42/650.61	c  650s |      24 |  5390461 |  4497962 |     1088  10076 |        0 |        0
652.41/652.62	c  652s |      24 |  5406011 |  4510862 |     1088  10099 |        0 |        0
654.42/654.62	c  654s |      24 |  5421405 |  4523862 |     1088  10122 |        0 |        0
656.41/656.63	c  656s |      24 |  5436574 |  4536662 |     1088  10145 |        0 |        0
658.41/658.64	c  658s |      24 |  5452760 |  4549962 |     1088  10169 |        0 |        0
660.41/660.64	c  660s |      24 |  5468542 |  4563162 |     1088  10192 |        0 |        0
662.41/662.65	c  662s |      24 |  5484868 |  4576462 |     1088  10216 |        0 |        0
664.41/664.66	c  664s |      24 |  5499847 |  4589262 |     1088  10238 |        0 |        0
666.41/666.66	c  666s |      24 |  5515391 |  4602562 |     1088  10262 |        0 |        0
668.40/668.67	c  668s |      24 |  5531687 |  4616062 |     1088  10286 |        0 |        0
670.40/670.69	c  670s |      24 |  5547600 |  4629362 |     1088  10310 |        0 |        0
672.50/672.70	c  672s |      24 |  5563844 |  4642662 |     1088  10333 |        0 |        0
674.50/674.70	c  674s |      24 |  5579795 |  4655962 |     1088  10357 |        0 |        0
676.50/676.72	c  676s |      24 |  5596225 |  4669562 |     1088  10381 |        0 |        0
678.50/678.72	c  678s |      24 |  5612909 |  4683062 |     1088  10405 |        0 |        0
680.50/680.73	c  680s |      24 |  5628423 |  4695962 |     1088  10428 |        0 |        0
682.49/682.74	c  682s |      24 |  5643998 |  4708762 |     1088  10451 |        0 |        0
684.49/684.74	c  684s |      24 |  5659099 |  4721562 |     1088  10474 |        0 |        0
686.49/686.75	c  686s |      24 |  5674530 |  4734462 |     1088  10497 |        0 |        0
688.50/688.75	c  688s |      24 |  5689878 |  4747262 |     1088  10520 |        0 |        0
690.49/690.75	c  690s |      24 |  5706122 |  4760262 |     1088  10543 |        0 |        0
692.49/692.76	c  692s |      24 |  5722545 |  4773362 |     1088  10566 |        0 |        0
694.49/694.76	c  694s |      24 |  5739752 |  4786762 |     1088  10590 |        0 |        0
696.49/696.77	c  696s |      24 |  5755943 |  4799962 |     1088  10613 |        0 |        0
698.49/698.77	c  698s |      24 |  5772524 |  4813062 |     1088  10636 |        0 |        0
700.50/700.78	c  700s |      24 |  5788745 |  4826162 |     1088  10660 |        0 |        0
702.49/702.78	c  702s |      24 |  5803587 |  4838762 |     1088  10682 |        0 |        0
704.59/704.80	c  704s |      24 |  5820111 |  4852062 |     1088  10706 |        0 |        0
706.59/706.80	c  706s |      24 |  5837013 |  4865462 |     1088  10730 |        0 |        0
708.59/708.80	c  708s |      24 |  5854416 |  4878962 |     1088  10754 |        0 |        0
710.59/710.81	c  710s |      24 |  5871752 |  4892462 |     1088  10778 |        0 |        0
712.59/712.82	c  712s |      24 |  5887267 |  4905262 |     1088  10801 |        0 |        0
714.58/714.83	c  714s |      24 |  5904544 |  4918662 |     1088  10825 |        0 |        0
716.58/716.83	c  716s |      24 |  5922183 |  4932462 |     1088  10849 |        0 |        0
718.58/718.83	c  718s |      24 |  5937966 |  4945562 |     1088  10873 |        0 |        0
720.58/720.84	c  720s |      24 |  5952946 |  4958262 |     1088  10895 |        0 |        0
722.58/722.85	c  722s |      24 |  5969090 |  4971562 |     1088  10919 |        0 |        0
724.57/724.85	c  724s |      24 |  5984605 |  4984562 |     1088  10942 |        0 |        0
726.57/726.86	c  726s |      24 |  6000272 |  4997662 |     1088  10965 |        0 |        0
728.57/728.87	c  728s |      24 |  6016176 |  5010762 |     1088  10988 |        0 |        0
730.57/730.88	c  730s |      24 |  6031624 |  5023762 |     1088  11012 |        0 |        0
732.57/732.89	c  732s |      24 |  6047496 |  5036762 |     1197  11033 |        0 |        0
734.58/734.89	c  734s |      24 |  6063262 |  5049662 |     1197  11054 |        0 |        0
736.57/736.89	c  736s |      24 |  6079190 |  5062462 |     1197  11075 |        0 |        0
736.97/737.27	c  737s |      25 |  6082881 |  5065098 |     1197  11080 |        0 |        0
738.98/739.28	c  739s |      25 |  6099773 |  5078898 |     1197  11102 |        0 |        0
740.97/741.28	c  741s |      25 |  6117074 |  5092598 |     1197  11124 |        0 |        0
742.97/743.29	c  743s |      25 |  6134038 |  5106398 |     1197  11147 |        0 |        0
745.07/745.30	c  745s |      25 |  6149983 |  5119898 |     1197  11168 |        0 |        0
747.07/747.31	c  747s |      25 |  6167346 |  5133998 |     1197  11191 |        0 |        0
749.07/749.32	c  749s |      25 |  6183720 |  5147598 |     1197  11213 |        0 |        0
751.07/751.33	c  751s |      25 |  6200146 |  5161198 |     1197  11235 |        0 |        0
753.06/753.35	c  753s |      25 |  6216766 |  5174798 |     1197  11257 |        0 |        0
755.06/755.36	c  755s |      25 |  6232339 |  5188098 |     1197  11279 |        0 |        0
757.06/757.36	c  757s |      25 |  6249548 |  5202098 |     1197  11302 |        0 |        0
759.06/759.37	c  759s |      25 |  6267380 |  5216198 |     1197  11325 |        0 |        0
761.06/761.37	c  761s |      25 |  6285810 |  5230598 |     1197  11348 |        0 |        0
763.05/763.38	c  763s |      25 |  6305562 |  5245198 |     1197  11372 |        0 |        0
765.05/765.39	c  765s |      25 |  6324659 |  5259598 |     1197  11396 |        0 |        0
767.05/767.39	c  767s |      25 |  6342164 |  5273498 |     1197  11418 |        0 |        0
769.15/769.40	c  769s |      25 |  6359894 |  5287298 |     1197  11441 |        0 |        0
771.14/771.41	c  771s |      25 |  6376268 |  5300598 |     1197  11462 |        0 |        0
773.15/773.42	c  773s |      25 |  6393426 |  5314098 |     1197  11484 |        0 |        0
775.14/775.42	c  775s |      25 |  6411594 |  5328198 |     1197  11507 |        0 |        0
777.15/777.43	c  777s |      25 |  6429794 |  5342298 |     1197  11530 |        0 |        0
779.15/779.43	c  779s |      25 |  6448279 |  5356398 |     1197  11553 |        0 |        0
781.14/781.44	c  781s |      25 |  6464908 |  5369898 |     1197  11575 |        0 |        0
783.14/783.46	c  783s |      25 |  6482162 |  5383598 |     1197  11597 |        0 |        0
785.15/785.46	c  785s |      25 |  6499134 |  5397298 |     1197  11620 |        0 |        0
787.14/787.47	c  787s |      25 |  6516809 |  5411398 |     1197  11642 |        0 |        0
789.14/789.48	c  789s |      25 |  6536084 |  5426098 |     1197  11666 |        0 |        0
791.13/791.48	c  791s |      25 |  6553609 |  5439998 |     1197  11689 |        0 |        0
793.13/793.49	c  793s |      25 |  6569715 |  5453398 |     1197  11710 |        0 |        0
795.23/795.50	c  795s |      25 |  6586326 |  5466698 |     1197  11732 |        0 |        0
797.24/797.51	c  797s |      25 |  6603676 |  5480298 |     1197  11754 |        0 |        0
799.23/799.52	c  799s |      25 |  6621335 |  5493998 |     1197  11776 |        0 |        0
801.23/801.52	c  801s |      25 |  6639203 |  5507798 |     1197  11799 |        0 |        0
803.22/803.53	c  803s |      25 |  6656050 |  5521298 |     1197  11821 |        0 |        0
805.22/805.54	c  805s |      25 |  6672610 |  5534698 |     1197  11842 |        0 |        0
807.23/807.55	c  807s |      25 |  6690453 |  5548698 |     1197  11865 |        0 |        0
809.22/809.56	c  809s |      25 |  6707672 |  5562398 |     1197  11887 |        0 |        0
811.22/811.58	c  811s |      25 |  6724643 |  5575998 |     1197  11910 |        0 |        0
813.22/813.58	c  813s |      25 |  6740807 |  5589198 |     1197  11931 |        0 |        0
815.22/815.58	c  815s |      25 |  6757637 |  5602698 |     1197  11953 |        0 |        0
817.21/817.59	c  817s |      25 |  6775115 |  5616198 |     1197  11975 |        0 |        0
819.22/819.59	c  819s |      25 |  6793416 |  5630098 |     1197  11998 |        0 |        0
821.22/821.59	c  821s |      25 |  6811405 |  5643998 |     1197  12020 |        0 |        0
823.32/823.60	c  823s |      25 |  6828776 |  5657798 |     1197  12042 |        0 |        0
825.32/825.61	c  825s |      25 |  6845931 |  5671598 |     1197  12065 |        0 |        0
827.32/827.61	c  827s |      25 |  6863930 |  5685598 |     1197  12088 |        0 |        0
829.32/829.62	c  829s |      25 |  6881533 |  5699398 |     1197  12110 |        0 |        0
831.32/831.63	c  831s |      25 |  6898692 |  5712898 |     1197  12132 |        0 |        0
833.31/833.64	c  833s |      25 |  6916292 |  5726798 |     1197  12155 |        0 |        0
835.31/835.65	c  835s |      25 |  6931758 |  5739598 |     1197  12175 |        0 |        0
837.31/837.65	c  837s |      25 |  6949148 |  5753198 |     1197  12198 |        0 |        0
839.31/839.66	c  839s |      25 |  6966431 |  5766998 |     1197  12220 |        0 |        0
841.32/841.68	c  841s |      25 |  6984747 |  5780798 |     1197  12242 |        0 |        0
843.31/843.68	c  843s |      25 |  7002282 |  5794498 |     1197  12265 |        0 |        0
845.31/845.68	c  845s |      25 |  7019033 |  5807898 |     1197  12286 |        0 |        0
847.31/847.69	c  847s |      25 |  7034962 |  5820898 |     1197  12307 |        0 |        0
849.41/849.70	c  849s |      25 |  7051560 |  5834098 |     1197  12329 |        0 |        0
851.41/851.71	c  851s |      25 |  7067938 |  5847398 |     1197  12351 |        0 |        0
853.41/853.73	c  853s |      25 |  7084754 |  5860898 |     1197  12372 |        0 |        0
855.41/855.74	c  855s |      25 |  7101408 |  5874198 |     1197  12394 |        0 |        0
857.41/857.75	c  857s |      25 |  7117040 |  5887298 |     1197  12415 |        0 |        0
859.41/859.76	c  859s |      25 |  7132343 |  5900098 |     1197  12436 |        0 |        0
861.40/861.76	c  861s |      25 |  7148456 |  5913198 |     1197  12457 |        0 |        0
863.40/863.78	c  863s |      25 |  7165912 |  5926798 |     1197  12480 |        0 |        0
865.41/865.78	c  865s |      25 |  7182687 |  5940098 |     1197  12501 |        0 |        0
867.40/867.79	c  867s |      25 |  7200541 |  5953798 |     1197  12524 |        0 |        0
869.50/869.80	c  869s |      25 |  7217762 |  5967198 |     1197  12545 |        0 |        0
871.50/871.81	c  871s |      25 |  7234478 |  5980498 |     1197  12567 |        0 |        0
873.50/873.81	c  873s |      25 |  7252245 |  5993998 |     1197  12589 |        0 |        0
875.49/875.82	c  875s |      25 |  7268715 |  6006898 |     1197  12610 |        0 |        0
877.50/877.83	c  877s |      25 |  7283549 |  6019198 |     1197  12630 |        0 |        0
879.49/879.84	c  879s |      25 |  7298762 |  6031598 |     1197  12650 |        0 |        0
881.49/881.84	c  881s |      25 |  7314229 |  6043898 |     1197  12670 |        0 |        0
883.49/883.84	c  883s |      25 |  7330453 |  6056598 |     1197  12690 |        0 |        0
885.49/885.86	c  885s |      25 |  7346329 |  6069298 |     1197  12711 |        0 |        0
887.49/887.87	c  887s |      25 |  7361102 |  6081498 |     1197  12731 |        0 |        0
889.49/889.87	c  889s |      25 |  7375507 |  6093698 |     1197  12750 |        0 |        0
891.48/891.88	c  891s |      25 |  7389533 |  6105498 |     1197  12770 |        0 |        0
893.48/893.88	c  893s |      25 |  7404266 |  6117698 |     1197  12789 |        0 |        0
895.48/895.89	c  895s |      25 |  7418782 |  6129598 |     1197  12809 |        0 |        0
897.58/897.91	c  897s |      25 |  7433475 |  6141398 |     1197  12828 |        0 |        0
899.59/899.91	c  899s |      25 |  7448918 |  6154198 |     1197  12848 |        0 |        0
901.57/901.92	c  901s |      25 |  7463122 |  6166498 |     1197  12868 |        0 |        0
903.57/903.94	c  903s |      25 |  7479102 |  6179398 |     1197  12889 |        0 |        0
905.57/905.95	c  905s |      25 |  7492990 |  6191198 |     1197  12909 |        0 |        0
907.57/907.95	c  907s |      25 |  7509239 |  6203798 |     1197  12929 |        0 |        0
909.57/909.96	c  909s |      25 |  7525287 |  6216398 |     1197  12950 |        0 |        0
911.57/911.97	c  911s |      25 |  7541324 |  6229098 |     1197  12970 |        0 |        0
913.56/913.98	c  913s |      25 |  7558417 |  6242398 |     1197  12992 |        0 |        0
915.56/915.99	c  915s |      25 |  7575529 |  6255698 |     1197  13014 |        0 |        0
917.56/917.99	c  917s |      25 |  7591333 |  6268398 |     1197  13034 |        0 |        0
919.66/920.01	c  919s |      25 |  7607743 |  6281498 |     1197  13055 |        0 |        0
921.66/922.02	c  922s |      25 |  7624907 |  6294998 |     1197  13077 |        0 |        0
923.66/924.02	c  924s |      25 |  7643443 |  6308998 |     1197  13100 |        0 |        0
925.66/926.02	c  926s |      25 |  7660547 |  6322398 |     1197  13122 |        0 |        0
927.66/928.03	c  928s |      25 |  7677196 |  6335498 |     1197  13144 |        0 |        0
929.65/930.04	c  930s |      25 |  7694554 |  6348798 |     1197  13165 |        0 |        0
931.65/932.04	c  932s |      25 |  7710986 |  6361898 |     1197  13187 |        0 |        0
933.66/934.05	c  934s |      25 |  7727973 |  6375298 |     1197  13208 |        0 |        0
935.65/936.06	c  936s |      25 |  7744346 |  6388498 |     1197  13230 |        0 |        0
937.65/938.06	c  938s |      25 |  7759681 |  6401398 |     1197  13251 |        0 |        0
939.65/940.06	c  940s |      25 |  7774752 |  6413998 |     1197  13271 |        0 |        0
941.64/942.07	c  942s |      25 |  7790033 |  6426598 |     1197  13292 |        0 |        0
943.64/944.08	c  944s |      25 |  7807253 |  6440098 |     1197  13314 |        0 |        0
945.65/946.09	c  946s |      25 |  7822572 |  6452998 |     1197  13334 |        0 |        0
947.65/948.09	c  948s |      25 |  7838906 |  6466098 |     1197  13356 |        0 |        0
949.75/950.10	c  950s |      25 |  7855457 |  6479398 |     1197  13377 |        0 |        0
951.75/952.12	c  952s |      25 |  7870948 |  6492198 |     1197  13398 |        0 |        0
953.75/954.12	c  954s |      25 |  7886309 |  6505098 |     1197  13419 |        0 |        0
955.74/956.13	c  956s |      25 |  7900940 |  6517498 |     1197  13439 |        0 |        0
957.75/958.14	c  958s |      25 |  7916319 |  6529998 |     1197  13460 |        0 |        0
959.74/960.15	c  960s |      25 |  7931368 |  6542698 |     1197  13480 |        0 |        0
961.74/962.15	c  962s |      25 |  7947098 |  6555498 |     1197  13501 |        0 |        0
963.74/964.16	c  964s |      25 |  7963925 |  6568598 |     1197  13522 |        0 |        0
965.74/966.17	c  966s |      25 |  7981700 |  6582198 |     1197  13545 |        0 |        0
967.74/968.18	c  968s |      25 |  7998283 |  6595398 |     1197  13566 |        0 |        0
969.74/970.19	c  970s |      25 |  8013492 |  6607998 |     1197  13587 |        0 |        0
971.83/972.20	c  972s |      25 |  8028673 |  6620798 |     1197  13608 |        0 |        0
973.83/974.22	c  974s |      25 |  8042771 |  6632998 |     1197  13627 |        0 |        0
975.83/976.23	c  976s |      25 |  8058768 |  6645998 |     1197  13649 |        0 |        0
977.83/978.24	c  978s |      25 |  8074488 |  6658698 |     1197  13669 |        0 |        0
979.84/980.25	c  980s |      25 |  8090261 |  6671398 |     1197  13690 |        0 |        0
981.83/982.27	c  982s |      25 |  8105390 |  6683898 |     1197  13711 |        0 |        0
983.83/984.28	c  984s |      25 |  8120784 |  6696598 |     1197  13731 |        0 |        0
985.82/986.29	c  986s |      25 |  8136390 |  6709398 |     1197  13752 |        0 |        0
987.92/988.31	c  988s |      25 |  8151454 |  6721998 |     1197  13773 |        0 |        0
989.92/990.32	c  990s |      25 |  8167308 |  6735098 |     1197  13794 |        0 |        0
991.93/992.32	c  992s |      25 |  8183111 |  6748098 |     1197  13815 |        0 |        0
993.92/994.33	c  994s |      25 |  8199209 |  6761198 |     1197  13836 |        0 |        0
995.92/996.33	c  996s |      25 |  8215595 |  6774498 |     1197  13858 |        0 |        0
997.92/998.33	c  998s |      25 |  8231973 |  6787898 |     1197  13880 |        0 |        0
999.92/1000.34	c 1000s |      25 |  8249106 |  6801498 |     1197  13902 |        0 |        0
1001.91/1002.35	c 1002s |      25 |  8265414 |  6814698 |     1197  13924 |        0 |        0
1003.92/1004.36	c 1004s |      25 |  8280729 |  6827398 |     1197  13944 |        0 |        0
1005.91/1006.37	c 1006s |      25 |  8296028 |  6840198 |     1197  13965 |        0 |        0
1007.91/1008.38	c 1008s |      25 |  8311448 |  6852898 |     1197  13986 |        0 |        0
1009.91/1010.38	c 1010s |      25 |  8327163 |  6865798 |     1197  14007 |        0 |        0
1011.91/1012.39	c 1012s |      25 |  8342448 |  6878498 |     1197  14028 |        0 |        0
1014.01/1014.40	c 1014s |      25 |  8358556 |  6891598 |     1197  14049 |        0 |        0
1016.01/1016.40	c 1016s |      25 |  8375885 |  6905098 |     1197  14071 |        0 |        0
1018.00/1018.42	c 1018s |      25 |  8390806 |  6917498 |     1197  14091 |        0 |        0
1020.00/1020.42	c 1020s |      25 |  8406807 |  6930398 |     1197  14112 |        0 |        0
1022.00/1022.43	c 1022s |      25 |  8421715 |  6942798 |     1197  14132 |        0 |        0
1024.01/1024.44	c 1024s |      25 |  8438180 |  6955998 |     1197  14154 |        0 |        0
1026.02/1026.44	c 1026s |      25 |  8454644 |  6969098 |     1197  14175 |        0 |        0
1028.01/1028.45	c 1028s |      25 |  8471213 |  6982298 |     1197  14196 |        0 |        0
1030.01/1030.46	c 1030s |      25 |  8486555 |  6994998 |     1197  14217 |        0 |        0
1032.00/1032.47	c 1032s |      25 |  8503356 |  7008298 |     1197  14238 |        0 |        0
1034.00/1034.48	c 1034s |      25 |  8519910 |  7021398 |     1197  14260 |        0 |        0
1036.00/1036.48	c 1036s |      25 |  8535728 |  7034198 |     1197  14280 |        0 |        0
1038.01/1038.49	c 1038s |      25 |  8549965 |  7046198 |     1197  14300 |        0 |        0
1040.00/1040.49	c 1040s |      25 |  8565962 |  7059298 |     1197  14321 |        0 |        0
1042.10/1042.50	c 1042s |      25 |  8581515 |  7071998 |     1197  14341 |        0 |        0
1044.10/1044.51	c 1044s |      25 |  8597174 |  7084498 |     1197  14362 |        0 |        0
1046.10/1046.52	c 1046s |      25 |  8613538 |  7097498 |     1197  14383 |        0 |        0
1048.09/1048.53	c 1048s |      25 |  8631168 |  7110898 |     1197  14405 |        0 |        0
1050.10/1050.54	c 1050s |      25 |  8647579 |  7123898 |     1197  14426 |        0 |        0
1052.09/1052.54	c 1052s |      25 |  8663095 |  7136498 |     1197  14446 |        0 |        0
1054.09/1054.55	c 1054s |      25 |  8679803 |  7149698 |     1197  14468 |        0 |        0
1056.09/1056.55	c 1056s |      25 |  8695961 |  7162498 |     1197  14489 |        0 |        0
1058.09/1058.57	c 1058s |      25 |  8710726 |  7174698 |     1197  14509 |        0 |        0
1060.09/1060.58	c 1060s |      25 |  8726413 |  7187498 |     1197  14529 |        0 |        0
1062.08/1062.59	c 1062s |      25 |  8743055 |  7200398 |     1197  14550 |        0 |        0
1064.08/1064.59	c 1064s |      25 |  8760274 |  7213898 |     1197  14572 |        0 |        0
1066.18/1066.61	c 1066s |      25 |  8777036 |  7227098 |     1197  14594 |        0 |        0
1068.18/1068.62	c 1068s |      25 |  8793612 |  7240098 |     1197  14615 |        0 |        0
1070.18/1070.62	c 1070s |      25 |  8810531 |  7253398 |     1197  14637 |        0 |        0
1072.18/1072.64	c 1072s |      25 |  8826234 |  7266198 |     1197  14658 |        0 |        0
1074.17/1074.64	c 1074s |      25 |  8841963 |  7278898 |     1197  14678 |        0 |        0
1076.17/1076.65	c 1076s |      25 |  8857013 |  7291398 |     1197  14699 |        0 |        0
1078.17/1078.66	c 1078s |      25 |  8873896 |  7304598 |     1197  14720 |        0 |        0
1080.17/1080.66	c 1080s |      25 |  8891032 |  7317498 |     1197  14741 |        0 |        0
1082.17/1082.66	c 1082s |      25 |  8905448 |  7329498 |     1197  14761 |        0 |        0
1084.18/1084.68	c 1084s |      25 |  8918991 |  7341098 |     1197  14780 |        0 |        0
1086.17/1086.69	c 1086s |      25 |  8933887 |  7353398 |     1197  14800 |        0 |        0
1088.27/1088.71	c 1088s |      25 |  8949175 |  7365998 |     1197  14820 |        0 |        0
1090.28/1090.72	c 1090s |      25 |  8964590 |  7378598 |     1197  14841 |        0 |        0
1092.27/1092.72	c 1092s |      25 |  8980088 |  7391298 |     1197  14861 |        0 |        0
1094.27/1094.74	c 1094s |      25 |  8995981 |  7404198 |     1197  14882 |        0 |        0
1096.28/1096.74	c 1096s |      25 |  9010741 |  7416598 |     1197  14902 |        0 |        0
1098.27/1098.74	c 1098s |      25 |  9026878 |  7429398 |     1197  14923 |        0 |        0
1100.27/1100.76	c 1100s |      25 |  9042511 |  7441998 |     1197  14944 |        0 |        0
1102.26/1102.78	c 1102s |      25 |  9057349 |  7454298 |     1197  14964 |        0 |        0
1104.26/1104.78	c 1104s |      25 |  9072522 |  7466698 |     1197  14984 |        0 |        0
1106.27/1106.78	c 1106s |      25 |  9087857 |  7479198 |     1197  15004 |        0 |        0
1108.26/1108.78	c 1108s |      25 |  9102960 |  7491698 |     1197  15024 |        0 |        0
1110.26/1110.79	c 1110s |      25 |  9119649 |  7504998 |     1197  15046 |        0 |        0
1112.36/1112.80	c 1112s |      25 |  9135376 |  7517698 |     1197  15066 |        0 |        0
1114.36/1114.80	c 1114s |      25 |  9151868 |  7530598 |     1197  15087 |        0 |        0
1116.36/1116.81	c 1116s |      25 |  9167635 |  7543298 |     1197  15108 |        0 |        0
1118.36/1118.83	c 1118s |      25 |  9183221 |  7555898 |     1317  15126 |        0 |        0
1120.35/1120.84	c 1120s |      25 |  9197937 |  7567898 |     1317  15144 |        0 |        0
1122.35/1122.85	c 1122s |      25 |  9212491 |  7579898 |     1317  15162 |        0 |        0
1124.35/1124.86	c 1124s |      25 |  9226659 |  7591798 |     1317  15180 |        0 |        0
1125.35/1125.86	c 1125s |      26 |  9234004 |  7597752 |     1317  15188 |        0 |        0
1127.35/1127.87	c 1127s |      26 |  9249750 |  7610452 |     1317  15207 |        0 |        0
1129.36/1129.88	c 1129s |      26 |  9265431 |  7623252 |     1317  15226 |        0 |        0
1131.35/1131.89	c 1131s |      26 |  9280344 |  7635652 |     1317  15245 |        0 |        0
1133.35/1133.90	c 1133s |      26 |  9295055 |  7647952 |     1317  15263 |        0 |        0
1135.45/1135.91	c 1135s |      26 |  9308832 |  7659752 |     1317  15280 |        0 |        0
1137.45/1137.91	c 1137s |      26 |  9323020 |  7671552 |     1317  15298 |        0 |        0
1139.45/1139.92	c 1139s |      26 |  9337986 |  7683552 |     1317  15316 |        0 |        0
1141.46/1141.92	c 1141s |      26 |  9353030 |  7695752 |     1317  15334 |        0 |        0
1143.45/1143.93	c 1143s |      26 |  9367202 |  7707452 |     1317  15351 |        0 |        0
1145.45/1145.94	c 1145s |      26 |  9381710 |  7719452 |     1317  15369 |        0 |        0
1147.45/1147.95	c 1147s |      26 |  9396138 |  7731352 |     1317  15386 |        0 |        0
1149.45/1149.97	c 1149s |      26 |  9411444 |  7743652 |     1317  15405 |        0 |        0
1151.45/1151.97	c 1151s |      26 |  9426615 |  7756052 |     1317  15423 |        0 |        0
1153.45/1153.98	c 1153s |      26 |  9442986 |  7768752 |     1317  15442 |        0 |        0
1155.45/1155.99	c 1155s |      26 |  9458795 |  7781452 |     1317  15460 |        0 |        0
1157.54/1158.00	c 1157s |      26 |  9472675 |  7793152 |     1317  15478 |        0 |        0
1159.54/1160.01	c 1160s |      26 |  9486980 |  7805052 |     1317  15495 |        0 |        0
1161.54/1162.02	c 1162s |      26 |  9501907 |  7817152 |     1317  15513 |        0 |        0
1163.54/1164.03	c 1164s |      26 |  9516777 |  7829252 |     1317  15531 |        0 |        0
1165.55/1166.03	c 1166s |      26 |  9530591 |  7840752 |     1317  15548 |        0 |        0
1167.54/1168.04	c 1168s |      26 |  9544219 |  7852252 |     1317  15565 |        0 |        0
1169.54/1170.05	c 1170s |      26 |  9558794 |  7864152 |     1317  15583 |        0 |        0
1171.54/1172.06	c 1172s |      26 |  9572804 |  7875852 |     1317  15600 |        0 |        0
1173.54/1174.07	c 1174s |      26 |  9585185 |  7886652 |     1317  15616 |        0 |        0
1175.55/1176.08	c 1176s |      26 |  9598818 |  7897952 |     1317  15632 |        0 |        0
1177.55/1178.09	c 1178s |      26 |  9611495 |  7908952 |     1317  15649 |        0 |        0
1179.65/1180.10	c 1180s |      26 |  9624465 |  7920052 |     1317  15665 |        0 |        0
1181.65/1182.11	c 1182s |      26 |  9638684 |  7931852 |     1317  15682 |        0 |        0
1183.65/1184.12	c 1184s |      26 |  9652813 |  7943752 |     1317  15700 |        0 |        0
1185.65/1186.13	c 1186s |      26 |  9666490 |  7955252 |     1317  15717 |        0 |        0
1187.65/1188.15	c 1188s |      26 |  9679165 |  7966352 |     1317  15733 |        0 |        0
1189.65/1190.16	c 1190s |      26 |  9692251 |  7977752 |     1317  15750 |        0 |        0
1191.64/1192.17	c 1192s |      26 |  9705207 |  7989152 |     1317  15767 |        0 |        0
1193.64/1194.18	c 1194s |      26 |  9718131 |  8000452 |     1317  15784 |        0 |        0
1195.64/1196.18	c 1196s |      26 |  9733343 |  8012852 |     1317  15802 |        0 |        0
1197.64/1198.18	c 1198s |      26 |  9748642 |  8025152 |     1317  15821 |        0 |        0
1199.65/1200.19	c 1200s |      26 |  9762561 |  8036752 |     1317  15838 |        0 |        0
1201.74/1202.21	c 1202s |      26 |  9776777 |  8048552 |     1317  15855 |        0 |        0
1203.74/1204.21	c 1204s |      26 |  9791299 |  8060252 |     1317  15872 |        0 |        0
1205.74/1206.22	c 1206s |      26 |  9805316 |  8071852 |     1317  15890 |        0 |        0
1207.74/1208.22	c 1208s |      26 |  9818738 |  8083252 |     1317  15906 |        0 |        0
1209.74/1210.22	c 1210s |      26 |  9831763 |  8094452 |     1317  15923 |        0 |        0
1211.75/1212.25	c 1212s |      26 |  9846415 |  8106452 |     1317  15941 |        0 |        0
1213.74/1214.25	c 1214s |      26 |  9861329 |  8118652 |     1317  15959 |        0 |        0
1215.74/1216.27	c 1216s |      26 |  9876513 |  8130952 |     1317  15977 |        0 |        0
1217.74/1218.28	c 1218s |      26 |  9892567 |  8143452 |     1317  15995 |        0 |        0
1219.74/1220.29	c 1220s |      26 |  9906057 |  8154952 |     1317  16012 |        0 |        0
1221.84/1222.31	c 1222s |      26 |  9918635 |  8165852 |     1317  16029 |        0 |        0
1223.84/1224.33	c 1224s |      26 |  9932782 |  8177352 |     1317  16046 |        0 |        0
1225.84/1226.35	c 1226s |      26 |  9947903 |  8189452 |     1317  16063 |        0 |        0
1227.83/1228.35	c 1228s |      26 |  9962350 |  8201352 |     1317  16081 |        0 |        0
1229.83/1230.36	c 1230s |      26 |  9977691 |  8213752 |     1317  16100 |        0 |        0
1231.83/1232.37	c 1232s |      26 |  9991980 |  8225652 |     1317  16117 |        0 |        0
1233.84/1234.38	c 1234s |      26 | 10005820 |  8237352 |     1317  16135 |        0 |        0
1235.83/1236.38	c 1236s |      26 | 10019433 |  8248752 |     1317  16152 |        0 |        0
1237.83/1238.38	c 1238s |      26 | 10035591 |  8261452 |     1317  16170 |        0 |        0
1239.93/1240.40	c 1240s |      26 | 10050111 |  8273852 |     1317  16189 |        0 |        0
1241.93/1242.41	c 1242s |      26 | 10063945 |  8285752 |     1317  16206 |        0 |        0
1243.93/1244.41	c 1244s |      26 | 10078149 |  8297752 |     1317  16224 |        0 |        0
1245.94/1246.42	c 1246s |      26 | 10093701 |  8309952 |     1317  16242 |        0 |        0
1247.93/1248.43	c 1248s |      26 | 10108276 |  8321952 |     1317  16260 |        0 |        0
1249.93/1250.45	c 1250s |      26 | 10122960 |  8334052 |     1317  16278 |        0 |        0
1251.93/1252.47	c 1252s |      26 | 10137746 |  8346152 |     1317  16295 |        0 |        0
1253.93/1254.47	c 1254s |      26 | 10150835 |  8357552 |     1317  16312 |        0 |        0
1255.93/1256.48	c 1256s |      26 | 10165280 |  8369552 |     1317  16330 |        0 |        0
1257.94/1258.49	c 1258s |      26 | 10179668 |  8381452 |     1317  16348 |        0 |        0
1260.03/1260.50	c 1260s |      26 | 10194074 |  8393352 |     1317  16366 |        0 |        0
1262.03/1262.52	c 1262s |      26 | 10209056 |  8405552 |     1317  16384 |        0 |        0
1264.03/1264.53	c 1264s |      26 | 10223602 |  8417452 |     1317  16401 |        0 |        0
1266.03/1266.54	c 1266s |      26 | 10236837 |  8428652 |     1317  16418 |        0 |        0
1268.03/1268.56	c 1268s |      26 | 10251414 |  8440452 |     1317  16435 |        0 |        0
1270.04/1270.56	c 1270s |      26 | 10265818 |  8452252 |     1317  16453 |        0 |        0
1272.03/1272.57	c 1272s |      26 | 10280092 |  8463852 |     1317  16470 |        0 |        0
1274.03/1274.57	c 1274s |      26 | 10294461 |  8475652 |     1317  16487 |        0 |        0
1276.03/1276.59	c 1276s |      26 | 10309325 |  8487652 |     1317  16505 |        0 |        0
1278.13/1278.60	c 1278s |      26 | 10324755 |  8499952 |     1317  16523 |        0 |        0
1280.13/1280.61	c 1280s |      26 | 10339019 |  8511852 |     1317  16541 |        0 |        0
1282.13/1282.61	c 1282s |      26 | 10353080 |  8523752 |     1317  16559 |        0 |        0
1284.13/1284.64	c 1284s |      26 | 10367468 |  8535852 |     1317  16577 |        0 |        0
1286.12/1286.65	c 1286s |      26 | 10381270 |  8547652 |     1317  16594 |        0 |        0
1288.12/1288.66	c 1288s |      26 | 10395081 |  8559352 |     1317  16611 |        0 |        0
1290.12/1290.66	c 1290s |      26 | 10410194 |  8571552 |     1317  16629 |        0 |        0
1292.13/1292.67	c 1292s |      26 | 10424844 |  8583552 |     1317  16647 |        0 |        0
1294.12/1294.68	c 1294s |      26 | 10438374 |  8595152 |     1317  16664 |        0 |        0
1296.12/1296.68	c 1296s |      26 | 10453341 |  8607352 |     1317  16683 |        0 |        0
1298.12/1298.69	c 1298s |      26 | 10468513 |  8619752 |     1317  16701 |        0 |        0
1300.22/1300.70	c 1300s |      26 | 10483098 |  8631752 |     1317  16719 |        0 |        0
1302.22/1302.70	c 1302s |      26 | 10497834 |  8644152 |     1317  16737 |        0 |        0
1304.23/1304.71	c 1304s |      26 | 10512919 |  8656552 |     1317  16755 |        0 |        0
1306.22/1306.71	c 1306s |      26 | 10528069 |  8668852 |     1317  16774 |        0 |        0
1308.22/1308.72	c 1308s |      26 | 10542623 |  8680952 |     1317  16792 |        0 |        0
1310.22/1310.73	c 1310s |      26 | 10557179 |  8692952 |     1317  16809 |        0 |        0
1312.22/1312.74	c 1312s |      26 | 10572305 |  8705152 |     1317  16828 |        0 |        0
1314.22/1314.76	c 1314s |      26 | 10587574 |  8717452 |     1317  16846 |        0 |        0
1316.23/1316.77	c 1316s |      26 | 10602750 |  8729852 |     1317  16864 |        0 |        0
1318.22/1318.77	c 1318s |      26 | 10616324 |  8741452 |     1317  16882 |        0 |        0
1320.22/1320.78	c 1320s |      26 | 10630952 |  8753452 |     1317  16899 |        0 |        0
1322.22/1322.79	c 1322s |      26 | 10644975 |  8765052 |     1317  16917 |        0 |        0
1324.32/1324.81	c 1324s |      26 | 10658514 |  8776552 |     1317  16934 |        0 |        0
1326.32/1326.82	c 1326s |      26 | 10672615 |  8788152 |     1317  16951 |        0 |        0
1328.32/1328.83	c 1328s |      26 | 10685959 |  8799552 |     1317  16968 |        0 |        0
1330.32/1330.84	c 1330s |      26 | 10700056 |  8811152 |     1317  16985 |        0 |        0
1332.32/1332.85	c 1332s |      26 | 10714555 |  8823052 |     1317  17002 |        0 |        0
1334.32/1334.86	c 1334s |      26 | 10728997 |  8834952 |     1317  17020 |        0 |        0
1336.32/1336.87	c 1336s |      26 | 10743512 |  8846852 |     1317  17038 |        0 |        0
1338.32/1338.88	c 1338s |      26 | 10758638 |  8859052 |     1317  17056 |        0 |        0
1340.32/1340.89	c 1340s |      26 | 10772541 |  8870652 |     1317  17073 |        0 |        0
1342.42/1342.90	c 1342s |      26 | 10785866 |  8882052 |     1317  17090 |        0 |        0
1344.42/1344.91	c 1344s |      26 | 10800686 |  8894052 |     1317  17107 |        0 |        0
1346.42/1346.91	c 1346s |      26 | 10814462 |  8905552 |     1317  17124 |        0 |        0
1348.42/1348.92	c 1348s |      26 | 10829002 |  8917352 |     1317  17142 |        0 |        0
1350.43/1350.92	c 1350s |      26 | 10843504 |  8929152 |     1317  17159 |        0 |        0
1352.42/1352.92	c 1352s |      26 | 10858400 |  8941252 |     1317  17177 |        0 |        0
1354.42/1354.93	c 1354s |      26 | 10873170 |  8953352 |     1317  17195 |        0 |        0
1356.42/1356.94	c 1356s |      26 | 10887436 |  8965152 |     1317  17213 |        0 |        0
1358.42/1358.95	c 1358s |      26 | 10902897 |  8977552 |     1317  17231 |        0 |        0
1360.42/1360.95	c 1360s |      26 | 10917721 |  8989652 |     1317  17249 |        0 |        0
1362.43/1362.95	c 1362s |      26 | 10932268 |  9001852 |     1317  17267 |        0 |        0
1364.42/1364.96	c 1364s |      26 | 10946905 |  9013952 |     1317  17285 |        0 |        0
1366.42/1366.96	c 1366s |      26 | 10961011 |  9025952 |     1317  17303 |        0 |        0
1368.42/1368.98	c 1368s |      26 | 10974704 |  9037652 |     1317  17320 |        0 |        0
1370.42/1370.99	c 1370s |      26 | 10987934 |  9049052 |     1317  17337 |        0 |        0
1372.52/1373.00	c 1372s |      26 | 11001918 |  9060852 |     1317  17355 |        0 |        0
1374.52/1375.00	c 1374s |      26 | 11016843 |  9073152 |     1317  17373 |        0 |        0
1376.51/1377.01	c 1376s |      26 | 11031267 |  9084952 |     1317  17391 |        0 |        0
1378.51/1379.01	c 1378s |      26 | 11045099 |  9096352 |     1317  17408 |        0 |        0
1380.51/1381.02	c 1381s |      26 | 11059107 |  9107752 |     1317  17425 |        0 |        0
1382.51/1383.04	c 1383s |      26 | 11073077 |  9119152 |     1317  17442 |        0 |        0
1384.52/1385.05	c 1385s |      26 | 11086101 |  9130352 |     1317  17458 |        0 |        0
1386.51/1387.06	c 1387s |      26 | 11099434 |  9141652 |     1317  17475 |        0 |        0
1388.51/1389.07	c 1389s |      26 | 11114019 |  9153652 |     1317  17493 |        0 |        0
1390.51/1391.09	c 1391s |      26 | 11128052 |  9165352 |     1317  17510 |        0 |        0
1392.51/1393.09	c 1393s |      26 | 11142322 |  9177152 |     1317  17527 |        0 |        0
1394.61/1395.10	c 1395s |      26 | 11157547 |  9189252 |     1317  17545 |        0 |        0
1396.61/1397.11	c 1397s |      26 | 11172559 |  9201152 |     1317  17563 |        0 |        0
1398.61/1399.12	c 1399s |      26 | 11186631 |  9212752 |     1317  17580 |        0 |        0
1400.61/1401.13	c 1401s |      26 | 11200307 |  9224152 |     1317  17597 |        0 |        0
1402.60/1403.13	c 1403s |      26 | 11215350 |  9236152 |     1317  17615 |        0 |        0
1404.60/1405.14	c 1405s |      26 | 11230387 |  9248252 |     1317  17633 |        0 |        0
1406.60/1407.15	c 1407s |      26 | 11246445 |  9260652 |     1317  17651 |        0 |        0
1408.61/1409.15	c 1409s |      26 | 11261287 |  9272552 |     1317  17669 |        0 |        0
1410.60/1411.16	c 1411s |      26 | 11275596 |  9284252 |     1317  17686 |        0 |        0
1412.60/1413.18	c 1413s |      26 | 11288221 |  9295352 |     1317  17702 |        0 |        0
1414.60/1415.19	c 1415s |      26 | 11302282 |  9306952 |     1317  17720 |        0 |        0
1416.60/1417.19	c 1417s |      26 | 11317524 |  9319052 |     1317  17737 |        0 |        0
1418.71/1419.21	c 1419s |      26 | 11332071 |  9330852 |     1317  17755 |        0 |        0
1420.72/1421.21	c 1421s |      26 | 11346477 |  9342552 |     1317  17772 |        0 |        0
1422.71/1423.22	c 1423s |      26 | 11359942 |  9353752 |     1317  17789 |        0 |        0
1424.71/1425.22	c 1425s |      26 | 11373102 |  9364852 |     1317  17805 |        0 |        0
1426.71/1427.22	c 1427s |      26 | 11385829 |  9375752 |     1317  17821 |        0 |        0
1428.71/1429.24	c 1429s |      26 | 11398698 |  9386752 |     1317  17837 |        0 |        0
1430.71/1431.25	c 1431s |      26 | 11411808 |  9397852 |     1317  17854 |        0 |        0
1432.70/1433.25	c 1433s |      26 | 11425083 |  9408952 |     1317  17870 |        0 |        0
1434.70/1435.26	c 1435s |      26 | 11437057 |  9419452 |     1317  17886 |        0 |        0
1436.70/1437.27	c 1437s |      26 | 11450765 |  9430852 |     1317  17903 |        0 |        0
1438.70/1439.27	c 1439s |      26 | 11465209 |  9442752 |     1317  17920 |        0 |        0
1440.70/1441.27	c 1441s |      26 | 11479407 |  9454552 |     1317  17938 |        0 |        0
1442.71/1443.28	c 1443s |      26 | 11493574 |  9466252 |     1317  17955 |        0 |        0
1444.70/1445.28	c 1445s |      26 | 11507914 |  9478052 |     1317  17973 |        0 |        0
1446.70/1447.29	c 1447s |      26 | 11521562 |  9489452 |     1317  17990 |        0 |        0
1448.80/1449.30	c 1449s |      26 | 11534647 |  9500652 |     1317  18006 |        0 |        0
1450.80/1451.32	c 1451s |      26 | 11550415 |  9513252 |     1317  18025 |        0 |        0
1452.80/1453.32	c 1453s |      26 | 11564779 |  9525152 |     1317  18043 |        0 |        0
1454.81/1455.33	c 1455s |      26 | 11579620 |  9536952 |     1317  18060 |        0 |        0
1456.80/1457.34	c 1457s |      26 | 11593992 |  9548752 |     1317  18078 |        0 |        0
1458.80/1459.34	c 1459s |      26 | 11608265 |  9560652 |     1317  18095 |        0 |        0
1460.80/1461.34	c 1461s |      26 | 11621452 |  9571952 |     1317  18112 |        0 |        0
1462.80/1463.35	c 1463s |      26 | 11634858 |  9583452 |     1317  18129 |        0 |        0
1464.81/1465.35	c 1465s |      26 | 11648542 |  9595052 |     1317  18146 |        0 |        0
1466.80/1467.35	c 1467s |      26 | 11662114 |  9606752 |     1317  18164 |        0 |        0
1468.80/1469.36	c 1469s |      26 | 11676171 |  9618352 |     1317  18181 |        0 |        0
1470.80/1471.37	c 1471s |      26 | 11689901 |  9629852 |     1317  18198 |        0 |        0
1472.80/1473.38	c 1473s |      26 | 11703086 |  9641052 |     1317  18215 |        0 |        0
1474.90/1475.40	c 1475s |      26 | 11715438 |  9651852 |     1317  18231 |        0 |        0
1476.91/1477.41	c 1477s |      26 | 11728516 |  9663052 |     1317  18247 |        0 |        0
1478.90/1479.42	c 1479s |      26 | 11741312 |  9674052 |     1317  18263 |        0 |        0
1480.90/1481.43	c 1481s |      26 | 11754804 |  9685352 |     1317  18280 |        0 |        0
1482.90/1483.45	c 1483s |      26 | 11768726 |  9696652 |     1317  18297 |        0 |        0
1484.90/1485.45	c 1485s |      26 | 11783200 |  9708452 |     1317  18314 |        0 |        0
1486.90/1487.46	c 1487s |      26 | 11797442 |  9720352 |     1317  18332 |        0 |        0
1488.90/1489.46	c 1489s |      26 | 11811636 |  9732152 |     1317  18350 |        0 |        0
1490.90/1491.48	c 1491s |      26 | 11825124 |  9743852 |     1317  18367 |        0 |        0
1493.00/1493.50	c 1493s |      26 | 11839716 |  9755852 |     1317  18385 |        0 |        0
1495.00/1495.51	c 1495s |      26 | 11853711 |  9767652 |     1317  18402 |        0 |        0
1497.00/1497.52	c 1497s |      26 | 11867727 |  9779252 |     1317  18419 |        0 |        0
1498.99/1499.52	c 1499s |      26 | 11882044 |  9791052 |     1317  18437 |        0 |        0
1501.00/1501.53	c 1501s |      26 | 11895516 |  9802652 |     1317  18454 |        0 |        0
1502.99/1503.54	c 1503s |      26 | 11909644 |  9814652 |     1317  18472 |        0 |        0
1504.99/1505.55	c 1505s |      26 | 11924058 |  9826852 |     1317  18490 |        0 |        0
1506.99/1507.56	c 1507s |      26 | 11938052 |  9838752 |     1317  18508 |        0 |        0
1508.99/1509.57	c 1509s |      26 | 11952617 |  9850652 |     1317  18525 |        0 |        0
1511.00/1511.57	c 1511s |      26 | 11966785 |  9862352 |     1317  18543 |        0 |        0
1512.99/1513.58	c 1513s |      26 | 11981426 |  9874252 |     1317  18560 |        0 |        0
1514.99/1515.59	c 1515s |      26 | 11995644 |  9885952 |     1317  18578 |        0 |        0
1516.99/1517.59	c 1517s |      26 | 12009424 |  9897552 |     1317  18595 |        0 |        0
1519.10/1519.60	c 1519s |      26 | 12023938 |  9909452 |     1317  18613 |        0 |        0
1521.10/1521.61	c 1521s |      26 | 12038867 |  9921352 |     1317  18631 |        0 |        0
1523.10/1523.61	c 1523s |      26 | 12052694 |  9932952 |     1317  18648 |        0 |        0
1525.10/1525.62	c 1525s |      26 | 12065700 |  9944152 |     1317  18664 |        0 |        0
1527.09/1527.62	c 1527s |      26 | 12078808 |  9955452 |     1317  18681 |        0 |        0
1529.09/1529.63	c 1529s |      26 | 12091751 |  9966452 |     1317  18697 |        0 |        0
1531.09/1531.63	c 1531s |      26 | 12105427 |  9977852 |     1317  18714 |        0 |        0
1533.09/1533.64	c 1533s |      26 | 12120730 |  9989852 |     1317  18732 |        0 |        0
1535.10/1535.65	c 1535s |      26 | 12133993 | 10001252 |     1317  18749 |        0 |        0
1537.09/1537.66	c 1537s |      26 | 12147866 | 10013052 |     1317  18767 |        0 |        0
1539.09/1539.66	c 1539s |      26 | 12161188 | 10024652 |     1317  18784 |        0 |        0
1541.09/1541.66	c 1541s |      26 | 12174729 | 10036252 |     1317  18801 |        0 |        0
1543.09/1543.68	c 1543s |      26 | 12187406 | 10047552 |     1317  18818 |        0 |        0
1545.10/1545.69	c 1545s |      26 | 12200282 | 10058852 |     1317  18834 |        0 |        0
1547.20/1547.71	c 1547s |      26 | 12213668 | 10070452 |     1317  18852 |        0 |        0
1549.19/1549.73	c 1549s |      26 | 12226946 | 10081952 |     1317  18869 |        0 |        0
1551.19/1551.74	c 1551s |      26 | 12240282 | 10093452 |     1317  18886 |        0 |        0
1553.19/1553.75	c 1553s |      26 | 12253555 | 10104952 |     1317  18903 |        0 |        0
1555.19/1555.76	c 1555s |      26 | 12267626 | 10116752 |     1317  18920 |        0 |        0
1557.19/1557.77	c 1557s |      26 | 12280856 | 10128352 |     1317  18937 |        0 |        0
1559.18/1559.78	c 1559s |      26 | 12293760 | 10139652 |     1317  18954 |        0 |        0
1561.18/1561.79	c 1561s |      26 | 12306674 | 10150852 |     1317  18971 |        0 |        0
1563.28/1563.80	c 1563s |      26 | 12319032 | 10161652 |     1317  18987 |        0 |        0
1565.28/1565.81	c 1565s |      26 | 12331077 | 10172252 |     1317  19002 |        0 |        0
1567.28/1567.83	c 1567s |      26 | 12343307 | 10183152 |     1317  19018 |        0 |        0
1569.29/1569.83	c 1569s |      26 | 12355257 | 10193952 |     1317  19034 |        0 |        0
1571.29/1571.85	c 1571s |      26 | 12367893 | 10204952 |     1317  19051 |        0 |        0
1573.29/1573.85	c 1573s |      26 | 12380769 | 10216052 |     1317  19067 |        0 |        0
1575.29/1575.85	c 1575s |      26 | 12393054 | 10226852 |     1317  19083 |        0 |        0
1577.29/1577.87	c 1577s |      26 | 12405888 | 10237952 |     1317  19099 |        0 |        0
1579.29/1579.87	c 1579s |      26 | 12417476 | 10248352 |     1317  19115 |        0 |        0
1581.29/1581.88	c 1581s |      26 | 12428659 | 10258352 |     1317  19129 |        0 |        0
1583.29/1583.89	c 1583s |      26 | 12440377 | 10268652 |     1317  19145 |        0 |        0
1585.39/1585.90	c 1585s |      26 | 12453179 | 10279552 |     1317  19161 |        0 |        0
1587.38/1587.91	c 1587s |      26 | 12467453 | 10291452 |     1317  19178 |        0 |        0
1589.38/1589.93	c 1589s |      26 | 12481060 | 10303152 |     1317  19196 |        0 |        0
1591.38/1591.94	c 1591s |      26 | 12495034 | 10315052 |     1317  19213 |        0 |        0
1593.39/1593.94	c 1593s |      26 | 12508735 | 10326852 |     1317  19231 |        0 |        0
1595.38/1595.95	c 1595s |      26 | 12522778 | 10338552 |     1317  19248 |        0 |        0
1597.38/1597.96	c 1597s |      26 | 12536914 | 10350552 |     1317  19266 |        0 |        0
1599.38/1599.97	c 1599s |      26 | 12551381 | 10362352 |     1317  19283 |        0 |        0
1601.38/1601.98	c 1601s |      26 | 12564873 | 10373952 |     1317  19301 |        0 |        0
1603.39/1603.99	c 1603s |      26 | 12578267 | 10385452 |     1317  19318 |        0 |        0
1605.38/1606.00	c 1605s |      26 | 12591141 | 10396752 |     1317  19334 |        0 |        0
1607.48/1608.01	c 1607s |      26 | 12604472 | 10408352 |     1317  19352 |        0 |        0
1609.48/1610.01	c 1609s |      26 | 12618719 | 10420152 |     1317  19369 |        0 |        0
1611.48/1612.03	c 1612s |      26 | 12633412 | 10432352 |     1317  19387 |        0 |        0
1613.48/1614.03	c 1614s |      26 | 12648907 | 10444652 |     1317  19406 |        0 |        0
1615.48/1616.04	c 1616s |      26 | 12663938 | 10457052 |     1317  19424 |        0 |        0
1617.48/1618.04	c 1618s |      26 | 12678525 | 10469052 |     1317  19442 |        0 |        0
1619.47/1620.05	c 1620s |      26 | 12693031 | 10480952 |     1317  19460 |        0 |        0
1621.47/1622.06	c 1622s |      26 | 12707745 | 10492852 |     1317  19477 |        0 |        0
1623.47/1624.07	c 1624s |      26 | 12721831 | 10504652 |     1317  19495 |        0 |        0
1625.47/1626.09	c 1626s |      26 | 12736369 | 10516552 |     1317  19513 |        0 |        0
1627.58/1628.10	c 1628s |      26 | 12750403 | 10528252 |     1317  19530 |        0 |        0
1629.57/1630.11	c 1630s |      26 | 12764583 | 10540052 |     1317  19547 |        0 |        0
1631.57/1632.12	c 1632s |      26 | 12778696 | 10551852 |     1317  19565 |        0 |        0
1633.57/1634.13	c 1634s |      26 | 12792643 | 10563652 |     1317  19583 |        0 |        0
1635.57/1636.13	c 1636s |      26 | 12806665 | 10575352 |     1317  19600 |        0 |        0
1637.57/1638.13	c 1638s |      26 | 12820407 | 10586852 |     1317  19617 |        0 |        0
1639.58/1640.14	c 1640s |      26 | 12834978 | 10598852 |     1317  19635 |        0 |        0
1641.58/1642.16	c 1642s |      26 | 12849402 | 10610852 |     1317  19653 |        0 |        0
1643.58/1644.16	c 1644s |      26 | 12863876 | 10622852 |     1317  19670 |        0 |        0
1645.58/1646.17	c 1646s |      26 | 12877747 | 10634752 |     1317  19688 |        0 |        0
1647.58/1648.17	c 1648s |      26 | 12890421 | 10645852 |     1317  19705 |        0 |        0
1649.58/1650.19	c 1650s |      26 | 12904523 | 10657852 |     1317  19723 |        0 |        0
1651.58/1652.19	c 1652s |      26 | 12918070 | 10669252 |     1317  19740 |        0 |        0
1653.58/1654.19	c 1654s |      26 | 12931770 | 10680852 |     1317  19757 |        0 |        0
1655.58/1656.19	c 1656s |      26 | 12945473 | 10692452 |     1317  19774 |        0 |        0
1657.58/1658.20	c 1658s |      26 | 12958556 | 10703752 |     1317  19791 |        0 |        0
1659.67/1660.20	c 1660s |      26 | 12971393 | 10714752 |     1317  19807 |        0 |        0
1661.68/1662.21	c 1662s |      26 | 12984931 | 10726352 |     1317  19825 |        0 |        0
1663.67/1664.21	c 1664s |      26 | 12999674 | 10738552 |     1317  19843 |        0 |        0
1665.67/1666.22	c 1666s |      26 | 13014710 | 10750952 |     1317  19861 |        0 |        0
1667.67/1668.23	c 1668s |      26 | 13030079 | 10763352 |     1317  19880 |        0 |        0
1669.67/1670.23	c 1670s |      26 | 13044473 | 10775152 |     1317  19897 |        0 |        0
1671.67/1672.23	c 1672s |      26 | 13059237 | 10787152 |     1317  19915 |        0 |        0
1673.68/1674.24	c 1674s |      26 | 13073982 | 10799152 |     1317  19933 |        0 |        0
1675.67/1676.26	c 1676s |      26 | 13088275 | 10810952 |     1317  19950 |        0 |        0
1677.67/1678.26	c 1678s |      26 | 13103942 | 10823252 |     1317  19968 |        0 |        0
1679.67/1680.27	c 1680s |      26 | 13117708 | 10834752 |     1317  19986 |        0 |        0
1681.67/1682.27	c 1682s |      26 | 13131370 | 10846252 |     1317  20003 |        0 |        0
1683.67/1684.28	c 1684s |      26 | 13144973 | 10857952 |     1317  20020 |        0 |        0
1685.66/1686.29	c 1686s |      26 | 13158664 | 10869252 |     1317  20037 |        0 |        0
1687.76/1688.31	c 1688s |      26 | 13171372 | 10880352 |     1317  20053 |        0 |        0
1689.76/1690.32	c 1690s |      26 | 13184645 | 10891452 |     1317  20069 |        0 |        0
1691.76/1692.33	c 1692s |      26 | 13198717 | 10902952 |     1317  20087 |        0 |        0
1693.76/1694.34	c 1694s |      26 | 13213613 | 10915052 |     1317  20104 |        0 |        0
1695.77/1696.36	c 1696s |      26 | 13228059 | 10926852 |     1317  20122 |        0 |        0
1697.76/1698.37	c 1698s |      26 | 13242328 | 10938452 |     1317  20139 |        0 |        0
1699.76/1700.37	c 1700s |      26 | 13257002 | 10950152 |     1317  20157 |        0 |        0
1701.76/1702.37	c 1702s |      26 | 13270767 | 10961552 |     1317  20173 |        0 |        0
1703.76/1704.38	c 1704s |      26 | 13284535 | 10972952 |     1317  20190 |        0 |        0
1705.86/1706.40	c 1706s |      26 | 13299053 | 10984952 |     1317  20208 |        0 |        0
1707.87/1708.41	c 1708s |      26 | 13312694 | 10996552 |     1317  20225 |        0 |        0
1709.87/1710.42	c 1710s |      26 | 13325996 | 11008052 |     1317  20243 |        0 |        0
1711.86/1712.43	c 1712s |      26 | 13339253 | 11019652 |     1317  20260 |        0 |        0
1713.86/1714.45	c 1714s |      26 | 13352855 | 11031152 |     1317  20277 |        0 |        0
1715.86/1716.46	c 1716s |      26 | 13367709 | 11043252 |     1317  20295 |        0 |        0
1717.86/1718.46	c 1718s |      26 | 13382257 | 11055252 |     1317  20312 |        0 |        0
1719.87/1720.47	c 1720s |      26 | 13397389 | 11067352 |     1317  20330 |        0 |        0
1721.86/1722.48	c 1722s |      26 | 13412769 | 11079552 |     1317  20349 |        0 |        0
1723.86/1724.49	c 1724s |      26 | 13428697 | 11091652 |     1317  20366 |        0 |        0
1725.96/1726.50	c 1726s |      26 | 13444950 | 11104052 |     1317  20385 |        0 |        0
1727.96/1728.50	c 1728s |      26 | 13459706 | 11115952 |     1317  20402 |        0 |        0
1729.96/1730.52	c 1730s |      26 | 13475081 | 11127852 |     1317  20420 |        0 |        0
1731.97/1732.52	c 1732s |      26 | 13489212 | 11139552 |     1317  20438 |        0 |        0
1733.96/1734.53	c 1734s |      26 | 13503393 | 11151352 |     1317  20455 |        0 |        0
1735.96/1736.55	c 1736s |      26 | 13518317 | 11163352 |     1317  20473 |        0 |        0
1737.96/1738.56	c 1738s |      26 | 13532026 | 11174752 |     1317  20490 |        0 |        0
1739.96/1740.57	c 1740s |      26 | 13545423 | 11186152 |     1317  20507 |        0 |        0
1741.96/1742.58	c 1742s |      26 | 13559907 | 11197752 |     1317  20524 |        0 |        0
1743.95/1744.59	c 1744s |      26 | 13574175 | 11209552 |     1317  20541 |        0 |        0
1746.05/1746.60	c 1746s |      26 | 13588174 | 11221052 |     1317  20559 |        0 |        0
1748.05/1748.62	c 1748s |      26 | 13601786 | 11232452 |     1317  20575 |        0 |        0
1750.05/1750.63	c 1750s |      26 | 13616092 | 11244052 |     1317  20593 |        0 |        0
1752.05/1752.65	c 1752s |      26 | 13629303 | 11255152 |     1317  20609 |        0 |        0
1754.06/1754.65	c 1754s |      26 | 13642436 | 11266252 |     1317  20626 |        0 |        0
1756.05/1756.65	c 1756s |      26 | 13656334 | 11277852 |     1317  20643 |        0 |        0
1758.05/1758.67	c 1758s |      26 | 13670138 | 11289352 |     1317  20660 |        0 |        0
1760.05/1760.68	c 1760s |      26 | 13685643 | 11301652 |     1317  20678 |        0 |        0
1762.05/1762.69	c 1762s |      26 | 13700719 | 11313952 |     1317  20697 |        0 |        0
1764.15/1764.70	c 1764s |      26 | 13714846 | 11325552 |     1449  20712 |        0 |        0
1766.16/1766.72	c 1766s |      26 | 13729415 | 11337352 |     1449  20728 |        0 |        0
1768.15/1768.73	c 1768s |      26 | 13743403 | 11348952 |     1449  20744 |        0 |        0
1770.15/1770.74	c 1770s |      26 | 13757364 | 11360652 |     1449  20760 |        0 |        0
1772.15/1772.76	c 1772s |      26 | 13771308 | 11372152 |     1449  20775 |        0 |        0
1774.15/1774.76	c 1774s |      26 | 13786263 | 11383952 |     1449  20791 |        0 |        0
1776.15/1776.77	c 1776s |      26 | 13799881 | 11395352 |     1449  20806 |        0 |        0
1776.45/1777.00	c 1776s |      27 | 13801581 | 11396733 |     1449  20808 |        0 |        0
1778.45/1779.01	c 1778s |      27 | 13816025 | 11408733 |     1449  20824 |        0 |        0
1780.45/1781.02	c 1781s |      27 | 13832161 | 11421233 |     1449  20841 |        0 |        0
1782.46/1783.04	c 1783s |      27 | 13847167 | 11433533 |     1449  20858 |        0 |        0
1784.46/1785.05	c 1785s |      27 | 13862465 | 11445933 |     1449  20875 |        0 |        0
1786.46/1787.05	c 1787s |      27 | 13877447 | 11458133 |     1449  20891 |        0 |        0
1788.45/1789.05	c 1789s |      27 | 13892608 | 11470533 |     1449  20908 |        0 |        0
1790.45/1791.07	c 1791s |      27 | 13908823 | 11483333 |     1449  20925 |        0 |        0
1792.46/1793.07	c 1793s |      27 | 13923766 | 11495533 |     1449  20941 |        0 |        0
1794.45/1795.09	c 1795s |      27 | 13938447 | 11507733 |     1449  20958 |        0 |        0
1796.55/1797.10	c 1797s |      27 | 13953941 | 11520233 |     1449  20975 |        0 |        0
1798.54/1799.12	c 1799s |      27 | 13967929 | 11532033 |     1449  20990 |        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-4089715-1466031904/watcher-4089715-1466031904 -o /tmp/evaluation-result-4089715-1466031904/solver-4089715-1466031904 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089715-1466031904.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.24 2.19 2/179 8544
/proc/meminfo: memFree=29442928/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 2791 0 0 0 0 0 0 0 20 0 4 0 5236904 765915136 3664 33554432000 4194304 16246674 140736389251648 140736389251072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 187503 3673 441 2943 0 184397 0
[pid=8544/tid=8545] ppid=8541 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 783740928 3731 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 787935232 3747 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=773564 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 792129536 3763 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100136 s]
/proc/loadavg: 2.22 2.24 2.19 2/179 8544
/proc/meminfo: memFree=29442928/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 24892 0 0 0 5 4 0 0 20 0 4 0 5236904 1247350784 25753 33554432000 4194304 16246674 140736389251648 140736389251072 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 304529 25763 715 2943 0 301423 0
[pid=8544/tid=8545] ppid=8541 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1247350784 25769 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1247350784 25775 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1247350784 25779 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200503 s]
/proc/loadavg: 2.22 2.24 2.19 2/179 8544
/proc/meminfo: memFree=29442928/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 47569 0 0 0 11 8 0 0 20 0 4 0 5236904 1247350784 48430 33554432000 4194304 16246674 140736389251648 140736389251072 6076251 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 304529 48438 715 2943 0 301423 0
[pid=8544/tid=8545] ppid=8541 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1247350784 48445 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1247350784 48454 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1247350784 48459 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30045 s]
/proc/loadavg: 2.22 2.24 2.19 2/179 8544
/proc/meminfo: memFree=29442928/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 71392 0 0 0 17 12 0 0 20 0 4 0 5236904 1247350784 72254 33554432000 4194304 16246674 140736389251648 140736389251072 5828874 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 304529 72260 715 2943 0 301423 0
[pid=8544/tid=8545] ppid=8541 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1247350784 72265 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1247350784 72272 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1247350784 72277 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700388 s]
/proc/loadavg: 2.22 2.24 2.19 2/179 8544
/proc/meminfo: memFree=29442928/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 163072 0 0 0 46 23 0 0 20 0 4 0 5236904 1247350784 163933 33554432000 4194304 16246674 140736389251648 140736389234648 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 304529 163943 716 2943 0 301423 0
[pid=8544/tid=8545] ppid=8541 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1247350784 163951 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1247350784 163961 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1247350784 163968 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 8548
/proc/meminfo: memFree=28457716/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 245541 0 0 0 115 34 0 0 20 0 4 0 5236904 1248399360 246382 33554432000 4194304 16246674 140736389251648 140736389250960 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 304785 246382 791 2943 0 301679 0
[pid=8544/tid=8545] ppid=8541 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1248399360 246382 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1248399360 246382 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1248399360 246382 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10039 s]
/proc/loadavg: 2.20 2.23 2.19 3/183 8548
/proc/meminfo: memFree=28369692/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 267402 0 0 0 273 36 0 0 20 0 4 0 5236904 1337528320 268243 33554432000 4194304 16246674 140736389251648 140736389234648 12466644 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 326545 268243 791 2943 0 323439 0
[pid=8544/tid=8545] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268243 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268243 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268243 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.20 2.23 2.19 3/183 8548
/proc/meminfo: memFree=28370080/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 267421 0 0 0 592 37 0 0 20 0 4 0 5236904 1337528320 268262 33554432000 4194304 16246674 140736389251648 140736389233536 5523188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 326545 268262 791 2943 0 323439 0
[pid=8544/tid=8545] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268262 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268262 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268262 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.17 2.22 2.19 3/183 8548
/proc/meminfo: memFree=28369896/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 267424 0 0 0 1232 37 0 0 20 0 4 0 5236904 1337528320 268265 33554432000 4194304 16246674 140736389251648 140736389233536 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 326545 268265 793 2943 0 323439 0
[pid=8544/tid=8545] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268265 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268265 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268265 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.22 2.23 2.19 3/183 8548
/proc/meminfo: memFree=28366668/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 267448 0 0 0 2512 37 0 0 20 0 4 0 5236904 1337528320 268289 33554432000 4194304 16246674 140736389251648 140736389233536 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 326545 268289 793 2943 0 323439 0
[pid=8544/tid=8545] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268289 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268289 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268289 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.20 2.23 2.19 3/183 8548
/proc/meminfo: memFree=28366520/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 267457 0 0 0 5070 38 0 0 20 0 4 0 5236904 1337528320 268298 33554432000 4194304 16246674 140736389251648 140736389233536 8224811 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 326545 268298 793 2943 0 323439 0
[pid=8544/tid=8545] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268298 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268298 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268298 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/183 8549
/proc/meminfo: memFree=28366176/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 267511 0 0 0 10189 39 0 0 20 0 4 0 5236904 1337528320 268352 33554432000 4194304 16246674 140736389251648 140736389233536 5523652 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 326545 268352 793 2943 0 323439 0
[pid=8544/tid=8545] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268352 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268352 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1337528320 268352 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1338576896 268659 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.45 2.33 2.23 3/183 8627
/proc/meminfo: memFree=28373928/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1307204 CPUtime=1301.82 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 268262 0 0 0 130122 60 0 0 20 0 4 0 5236904 1338576896 268659 33554432000 4194304 16246674 140736389251648 140736389233536 12483332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 326801 268659 794 2943 0 323695 0
[pid=8544/tid=8545] ppid=8541 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1338576896 268659 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1338576896 268659 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1338576896 268659 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.44 2.35 2.24 3/183 8629
/proc/meminfo: memFree=28373652/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1307204 CPUtime=1361.82 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 268262 0 0 0 136121 61 0 0 20 0 4 0 5236904 1338576896 268659 33554432000 4194304 16246674 140736389251648 140736389233536 5822416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 326801 268659 794 2943 0 323695 0
[pid=8544/tid=8545] ppid=8541 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1338576896 268659 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1338576896 268659 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1338576896 268659 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.43 2.36 2.25 3/183 8630
/proc/meminfo: memFree=28373308/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1307204 CPUtime=1421.82 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 268262 0 0 0 142120 62 0 0 20 0 4 0 5236904 1338576896 268659 33554432000 4194304 16246674 140736389251648 140736389233536 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 326801 268659 794 2943 0 323695 0
[pid=8544/tid=8545] ppid=8541 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1338576896 268659 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1338576896 268659 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1338576896 268659 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.28 2.33 2.25 3/183 8631
/proc/meminfo: memFree=28373340/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1308228 CPUtime=1481.8 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 268298 0 0 0 148117 63 0 0 20 0 4 0 5236904 1339625472 268695 33554432000 4194304 16246674 140736389251648 140736389233536 6020694 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 327057 268695 794 2943 0 323951 0
[pid=8544/tid=8545] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268695 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268695 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268695 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.27 2.31 2.24 3/184 8635
/proc/meminfo: memFree=28373304/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1308228 CPUtime=1541.8 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 268298 0 0 0 154116 64 0 0 20 0 4 0 5236904 1339625472 268695 33554432000 4194304 16246674 140736389251648 140736389234648 5673150 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 327057 268695 794 2943 0 323951 0
[pid=8544/tid=8545] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268695 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268695 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268695 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.15 2.27 2.23 3/183 8636
/proc/meminfo: memFree=28372468/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1308228 CPUtime=1601.78 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 268298 0 0 0 160113 65 0 0 20 0 4 0 5236904 1339625472 268695 33554432000 4194304 16246674 140736389251648 140736389233536 5754664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 327057 268695 794 2943 0 323951 0
[pid=8544/tid=8545] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268695 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268695 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268695 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.30 2.29 2.24 3/182 8638
/proc/meminfo: memFree=28373092/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1308228 CPUtime=1661.77 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 268299 0 0 0 166111 66 0 0 20 0 4 0 5236904 1339625472 268696 33554432000 4194304 16246674 140736389251648 140736389233536 13934353 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 327057 268696 795 2943 0 323951 0
[pid=8544/tid=8545] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268696 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268696 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268696 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.25 2.27 2.24 3/183 8640
/proc/meminfo: memFree=28372868/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1308228 CPUtime=1721.76 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 268299 0 0 0 172109 67 0 0 20 0 4 0 5236904 1339625472 268696 33554432000 4194304 16246674 140736389251648 140736389233536 6009960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 327057 268696 795 2943 0 323951 0
[pid=8544/tid=8545] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268696 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268696 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268696 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.12 2.23 2.22 3/183 8641
/proc/meminfo: memFree=28371396/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1308228 CPUtime=1781.76 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 268303 0 0 0 178108 68 0 0 20 0 4 0 5236904 1339625472 268700 33554432000 4194304 16246674 140736389251648 140736389233536 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 327057 268700 795 2943 0 323951 0
[pid=8544/tid=8545] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268700 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268700 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268700 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.23 2.22 3/183 8642
/proc/meminfo: memFree=28371256/32872528 swapFree=1369816/1516984
[pid=8544] ppid=8541 vsize=1308228 CPUtime=1800.04 cores=1,3,5,7
/proc/8544/stat : 8544 (toysat) R 8541 8544 5822 0 -1 4202496 268303 0 0 0 179936 68 0 0 20 0 4 0 5236904 1339625472 268700 33554432000 4194304 16246674 140736389251648 140736389233536 5677380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8544/statm: 327057 268700 795 2943 0 323951 0
[pid=8544/tid=8545] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8545/stat : 8545 (toysat) S 8541 8544 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268700 33554432000 4194304 16246674 140736389251648 140467339504880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8544/tid=8546] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8546/stat : 8546 (toysat) S 8541 8544 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268700 33554432000 4194304 16246674 140736389251648 140467329015024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8544/tid=8547] ppid=8541 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8544/task/8547/stat : 8547 (toysat) S 8541 8544 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5236904 1339625472 268700 33554432000 4194304 16246674 140736389251648 140467240955056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1308228

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 8544 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.07
CPU user time (s): 1799.38
CPU system time (s): 0.689895
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.689895
maximum resident set size= 1074800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268303
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= 461
involuntary context switches= 2006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48432 second user time and 7.04693 second system time

The end

Begin job on node129 at 2016-06-16 01:05:04
IDJOB=4089715
IDBENCH=107446
IDSOLVER=2542
FILE ID=node129/4089715-1466031904
RUNJOBID= node129-1466013843-5839
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 604488d4fee69c2c6e1cbbbc66463d76
RANDOM SEED=642875849

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29444100 kB
Buffers:           31900 kB
Cached:            79112 kB
SwapCached:        20164 kB
Active:          1142044 kB
Inactive:          67716 kB
Active(anon):    1080988 kB
Inactive(anon):    20108 kB
Active(file):      61056 kB
Inactive(file):    47608 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081544 kB
Dirty:             16624 kB
Writeback:             0 kB
AnonPages:       2596888 kB
Mapped:            10268 kB
Shmem:                 0 kB
Slab:             567556 kB
SReclaimable:      11328 kB
SUnreclaim:       556228 kB
KernelStack:        1504 kB
PageTables:         9032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2741264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    501760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-16 01:35:05