0.00/0.00	c 2016-06-30T21:52:02+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-4122226-1467316322.opb"]
0.00/0.01	c use --random-gen="1774431177 1118725023 197509414 810595360 1512602708 1708591438 1872248630 801159209 2857472070 248633850 3126475104 1979184013 2794406304 2434387700 128279145 1333588055 3258090629 3969144286 3475638488 2738246729 3577992879 3536103610 295107900 1194122017 2893905324 1668975883 809964649 2242418192 3371063874 2923677952 3134380442 225818394 1851728662 2909542170 2171578597 4511024 857710458 416081440 4197915662 879746875 3537684181 1197339693 2258639155 850096765 3269864889 2987881278 4209144091 3450311828 3039619758 2988871764 618206700 195248069 86691469 4145731835 2423322430 1552644749 2652139094 2969016792 52807921 1498871238 2212463192 154006986 254677111 1161510621 2376312414 971941361 2451129310 3185623597 770864088 3277712877 1892411837 813459853 3233463582 2503350346 3285375674 2276365988 3475739142 18125667 139511633 2115768280 1475268957 1881490917 2890630863 3458455242 3214832478 2359942672 4209303314 1060702504 356959978 2810920053 344322426 2344236089 3933202018 4108689384 1430521803 623869571 2766367038 3885671919 4012218048 2723621910 3505395117 1819004650 3406130677 691131327 4109938633 1758056301 3255927052 3388983290 2387112372 1549799224 2229312963 3812778190 494844909 597799315 2091896996 721795529 4193675338 2508789241 3513410004 3814639269 1009749973 754528548 1678620748 2794877415 1399997891 621085598 1775157142 1201233607 1021922622 2559225747 2342426149 1616460457 2278460795 771180511 3363836082 923145213 13553889 3335461794 70960080 3430731834 3006027313 2401126169 3108654776 2139962389 12721270 2232721967 2192890241 952542258 1730719749 1388476215 6597586 920474352 735511797 2242673584 2066143254 2049736716 1597423873 1042904252 1525449926 2397926541 3246575333 2084905916 3330834832 3506902232 4153627019 2394621981 4145107541 618987728 713089517 806188477 3967312805 139804701 178107747 399521910 3376938249 4048015517 4188152491 1335045796 3940123457 3352806012 30775622 2752148360 1190051150 1234169170 1532951869 3057740721 3331839060 268741861 2755084987 1835666837 3443395558 3200912931 1002282846 861472930 3317414062 1920819337 408560824 1066683155 4215411150 3841038070 3324454227 3745716914 2775572081 2760918871 3614474625 704109622 320889023 1414776433 1819654977 252659445 130866328 2726174702 449466175 1434509917 771324651 3775145878 3704098563 3811356195 2711530136 444729400 1447312086 3224275440 1447116712 3267816318 651378875 2836738874 4280084562 1959370037 3548800019 1315878932 2949681444 2869586241 2093136550 1601596566 69422077 4192399342 1291590098 2427646614 688457107 2258599174 3010400126 1680780070 3842629484 3138243143 4054779877 921177333 1256577544 2505730380 2985272657 2356594206 3421236247 1423414849 366562002 1296495202 3752392390 3575462649 255 362436" option to reproduce the execution
0.00/0.01	c #vars 101
0.00/0.01	c #constraints 212
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      104      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      129 |      100 |      104      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      367 |      250 |      115      2 |        0 |        0
0.00/0.06	c  0.0s |       3 |      837 |      475 |      127      5 |        0 |        0
0.08/0.10	c  0.1s |       4 |     1357 |      813 |      140      8 |        0 |        0
0.08/0.15	c  0.1s |       5 |     2055 |     1320 |      154     14 |        0 |        0
0.18/0.22	c  0.2s |       6 |     3187 |     2081 |      188     22 |        0 |        0
0.28/0.33	c  0.3s |       7 |     4716 |     3223 |      207     33 |        0 |        0
0.48/0.50	c  0.5s |       8 |     7216 |     4936 |      228     47 |        0 |        0
0.69/0.75	c  0.7s |       9 |    10966 |     7506 |      251     68 |        0 |        0
1.09/1.13	c  1.1s |      10 |    16166 |    11361 |      277     95 |        0 |        0
1.48/1.57	c  1.6s |      11 |    23847 |    17144 |      305    134 |        0 |        0
2.20/2.26	c  2.2s |      12 |    34772 |    25819 |      336    187 |        0 |        0
3.19/3.28	c  3.3s |      13 |    50753 |    38832 |      370    260 |        0 |        0
4.59/4.69	c  4.7s |      14 |    80327 |    58352 |      408    361 |        0 |        0
6.60/6.70	c  6.7s |      14 |   109986 |    81952 |      408    472 |        0 |        0
7.09/7.19	c  7.2s |      15 |   116617 |    87632 |      449    498 |        0 |        0
9.09/9.19	c  9.2s |      15 |   146078 |   111032 |      449    598 |        0 |        0
10.79/10.84	c 10.8s |      16 |   173798 |   131552 |      494    685 |        0 |        0
12.79/12.85	c 12.8s |      16 |   200675 |   153452 |      494    770 |        0 |        0
14.79/14.86	c 14.8s |      16 |   227052 |   175452 |      494    856 |        0 |        0
16.78/16.86	c 16.8s |      16 |   250637 |   195952 |      494    936 |        0 |        0
16.98/17.01	c 17.0s |      17 |   252308 |   197432 |      544    942 |        0 |        0
18.98/19.02	c 19.0s |      17 |   280093 |   219632 |      544   1020 |        0 |        0
20.99/21.02	c 21.0s |      17 |   306989 |   241232 |      544   1098 |        0 |        0
22.98/23.02	c 23.0s |      17 |   337213 |   264432 |      544   1180 |        0 |        0
24.98/25.02	c 25.0s |      17 |   365366 |   286732 |      544   1260 |        0 |        0
25.78/25.86	c 25.8s |      18 |   377267 |   296252 |      599   1293 |        0 |        0
27.78/27.86	c 27.8s |      18 |   403133 |   317752 |      599   1362 |        0 |        0
29.79/29.87	c 29.9s |      18 |   430642 |   339952 |      599   1435 |        0 |        0
31.78/31.88	c 31.9s |      18 |   456981 |   361852 |      599   1506 |        0 |        0
33.78/33.89	c 33.9s |      18 |   480972 |   382052 |      599   1571 |        0 |        0
35.78/35.89	c 35.9s |      18 |   504244 |   401952 |      599   1636 |        0 |        0
37.78/37.89	c 37.9s |      18 |   529141 |   422952 |      599   1704 |        0 |        0
39.88/39.90	c 39.9s |      18 |   552874 |   443152 |      659   1769 |        0 |        0
39.98/40.03	c 40.0s |      19 |   554441 |   444482 |      659   1773 |        0 |        0
41.98/42.04	c 42.0s |      19 |   576326 |   463382 |      659   1829 |        0 |        0
43.98/44.05	c 44.0s |      19 |   600130 |   483082 |      659   1887 |        0 |        0
45.98/46.05	c 46.0s |      19 |   623672 |   503082 |      659   1946 |        0 |        0
47.97/48.06	c 48.0s |      19 |   648143 |   523582 |      659   2007 |        0 |        0
49.97/50.07	c 50.1s |      19 |   670945 |   542882 |      659   2064 |        0 |        0
51.98/52.08	c 52.1s |      19 |   692770 |   561782 |      659   2120 |        0 |        0
53.99/54.08	c 54.1s |      19 |   713512 |   580082 |      659   2173 |        0 |        0
55.98/56.09	c 56.1s |      19 |   735091 |   598582 |      659   2228 |        0 |        0
57.98/58.09	c 58.1s |      19 |   756244 |   617182 |      659   2283 |        0 |        0
60.08/60.10	c 60.1s |      19 |   780291 |   637282 |      659   2343 |        0 |        0
62.08/62.10	c 62.1s |      19 |   806567 |   658382 |      659   2405 |        0 |        0
62.88/62.98	c 63.0s |      20 |   816448 |   666827 |      725   2429 |        0 |        0
64.89/64.99	c 65.0s |      20 |   840963 |   686627 |      725   2481 |        0 |        0
66.88/66.99	c 67.0s |      20 |   866359 |   707027 |      725   2536 |        0 |        0
68.98/69.00	c 69.0s |      20 |   891207 |   727327 |      725   2590 |        0 |        0
70.98/71.00	c 71.0s |      20 |   915491 |   747327 |      725   2644 |        0 |        0
72.98/73.00	c 73.0s |      20 |   939349 |   767127 |      725   2697 |        0 |        0
74.98/75.01	c 75.0s |      20 |   965398 |   787627 |      725   2753 |        0 |        0
76.98/77.02	c 77.0s |      20 |   990271 |   807727 |      725   2807 |        0 |        0
78.97/79.03	c 79.0s |      20 |  1014064 |   827327 |      725   2859 |        0 |        0
80.97/81.03	c 81.0s |      20 |  1037991 |   846427 |      725   2910 |        0 |        0
82.97/83.03	c 83.0s |      20 |  1061935 |   865827 |      725   2963 |        0 |        0
84.97/85.04	c 85.0s |      20 |  1084159 |   884727 |      725   3014 |        0 |        0
86.98/87.04	c 87.0s |      20 |  1107946 |   904227 |      725   3066 |        0 |        0
88.97/89.05	c 89.0s |      20 |  1131978 |   924127 |      725   3120 |        0 |        0
90.97/91.05	c 91.0s |      20 |  1155092 |   943227 |      725   3171 |        0 |        0
92.97/93.06	c 93.0s |      20 |  1180033 |   963327 |      725   3225 |        0 |        0
94.97/95.06	c 95.0s |      20 |  1206762 |   984027 |      725   3281 |        0 |        0
96.68/96.71	c 96.7s |      21 |  1226918 |  1000345 |      798   3323 |        0 |        0
98.68/98.71	c 98.7s |      21 |  1251968 |  1020245 |      798   3372 |        0 |        0
100.68/100.71	c  100s |      21 |  1277165 |  1039545 |      798   3419 |        0 |        0
102.67/102.71	c  102s |      21 |  1304782 |  1060245 |      798   3470 |        0 |        0
104.67/104.72	c  104s |      21 |  1330762 |  1080345 |      798   3520 |        0 |        0
106.68/106.72	c  106s |      21 |  1356453 |  1100445 |      798   3569 |        0 |        0
108.67/108.73	c  108s |      21 |  1378160 |  1118645 |      798   3614 |        0 |        0
110.67/110.73	c  110s |      21 |  1402213 |  1138145 |      798   3662 |        0 |        0
112.67/112.73	c  112s |      21 |  1426440 |  1157545 |      798   3710 |        0 |        0
114.67/114.74	c  114s |      21 |  1448748 |  1176045 |      798   3755 |        0 |        0
116.68/116.74	c  116s |      21 |  1471719 |  1194945 |      798   3801 |        0 |        0
118.67/118.74	c  118s |      21 |  1495372 |  1214145 |      798   3849 |        0 |        0
120.67/120.75	c  120s |      21 |  1518545 |  1233545 |      798   3896 |        0 |        0
122.67/122.76	c  122s |      21 |  1545068 |  1254245 |      798   3947 |        0 |        0
124.67/124.76	c  124s |      21 |  1572937 |  1275945 |      798   4001 |        0 |        0
126.67/126.77	c  126s |      21 |  1599672 |  1296945 |      798   4053 |        0 |        0
128.67/128.78	c  128s |      21 |  1624843 |  1317345 |      798   4103 |        0 |        0
130.66/130.79	c  130s |      21 |  1649217 |  1337345 |      798   4152 |        0 |        0
132.76/132.80	c  132s |      21 |  1673494 |  1356545 |      798   4199 |        0 |        0
134.76/134.80	c  134s |      21 |  1696432 |  1375445 |      798   4246 |        0 |        0
136.76/136.81	c  136s |      21 |  1721768 |  1395845 |      798   4296 |        0 |        0
138.76/138.82	c  138s |      21 |  1746835 |  1416145 |      798   4345 |        0 |        0
140.77/140.83	c  140s |      21 |  1772427 |  1436545 |      798   4396 |        0 |        0
142.77/142.83	c  142s |      21 |  1796474 |  1456545 |      798   4445 |        0 |        0
144.77/144.84	c  144s |      21 |  1818942 |  1475245 |      798   4491 |        0 |        0
146.77/146.85	c  146s |      21 |  1841308 |  1493845 |      878   4535 |        0 |        0
147.47/147.56	c  147s |      22 |  1849560 |  1500622 |      878   4550 |        0 |        0
149.47/149.57	c  149s |      22 |  1871845 |  1519022 |      878   4591 |        0 |        0
151.47/151.57	c  151s |      22 |  1894872 |  1538222 |      878   4634 |        0 |        0
153.47/153.58	c  153s |      22 |  1918896 |  1557522 |      878   4678 |        0 |        0
155.47/155.58	c  155s |      22 |  1942441 |  1577022 |      878   4721 |        0 |        0
157.47/157.58	c  157s |      22 |  1964815 |  1595822 |      878   4763 |        0 |        0
159.47/159.58	c  159s |      22 |  1989404 |  1615522 |      878   4807 |        0 |        0
161.46/161.59	c  161s |      22 |  2012933 |  1635022 |      878   4851 |        0 |        0
163.56/163.60	c  163s |      22 |  2036139 |  1654422 |      878   4894 |        0 |        0
165.56/165.60	c  165s |      22 |  2058593 |  1673122 |      878   4935 |        0 |        0
167.56/167.61	c  167s |      22 |  2081125 |  1691722 |      878   4977 |        0 |        0
169.56/169.61	c  169s |      22 |  2105298 |  1711322 |      878   5021 |        0 |        0
171.57/171.61	c  171s |      22 |  2129457 |  1730722 |      878   5064 |        0 |        0
173.56/173.62	c  173s |      22 |  2155412 |  1751022 |      878   5109 |        0 |        0
175.56/175.62	c  175s |      22 |  2180231 |  1771122 |      878   5154 |        0 |        0
177.56/177.63	c  177s |      22 |  2204696 |  1790722 |      878   5198 |        0 |        0
179.56/179.64	c  179s |      22 |  2229937 |  1811122 |      878   5244 |        0 |        0
181.57/181.64	c  181s |      22 |  2256641 |  1831922 |      878   5291 |        0 |        0
183.56/183.65	c  183s |      22 |  2280790 |  1851822 |      878   5336 |        0 |        0
185.56/185.66	c  185s |      22 |  2303725 |  1870922 |      878   5378 |        0 |        0
187.56/187.67	c  187s |      22 |  2325913 |  1889722 |      878   5421 |        0 |        0
189.56/189.68	c  189s |      22 |  2349788 |  1909322 |      878   5464 |        0 |        0
191.56/191.69	c  191s |      22 |  2374533 |  1929522 |      878   5510 |        0 |        0
193.56/193.69	c  193s |      22 |  2400722 |  1950622 |      878   5557 |        0 |        0
195.56/195.69	c  195s |      22 |  2427381 |  1971922 |      878   5605 |        0 |        0
197.56/197.69	c  197s |      22 |  2453712 |  1992722 |      878   5652 |        0 |        0
199.56/199.70	c  199s |      22 |  2480067 |  2013122 |      878   5698 |        0 |        0
201.66/201.70	c  201s |      22 |  2507951 |  2033622 |      878   5744 |        0 |        0
203.65/203.70	c  203s |      22 |  2534876 |  2054022 |      878   5790 |        0 |        0
205.66/205.70	c  205s |      22 |  2560970 |  2074222 |      878   5835 |        0 |        0
207.65/207.71	c  207s |      22 |  2585407 |  2093922 |      878   5880 |        0 |        0
209.65/209.72	c  209s |      22 |  2606632 |  2112122 |      878   5920 |        0 |        0
211.65/211.73	c  211s |      22 |  2628278 |  2130222 |      878   5961 |        0 |        0
213.65/213.73	c  213s |      22 |  2648071 |  2147322 |      878   5999 |        0 |        0
215.66/215.73	c  215s |      22 |  2670656 |  2165522 |      878   6040 |        0 |        0
217.65/217.74	c  217s |      22 |  2692069 |  2183622 |      878   6080 |        0 |        0
219.65/219.75	c  219s |      22 |  2714470 |  2202122 |      878   6121 |        0 |        0
221.65/221.76	c  221s |      22 |  2737783 |  2221222 |      878   6164 |        0 |        0
223.65/223.76	c  223s |      22 |  2758738 |  2239022 |      966   6203 |        0 |        0
225.06/225.10	c  225s |      23 |  2772974 |  2251038 |      966   6227 |        0 |        0
227.06/227.11	c  227s |      23 |  2797179 |  2270338 |      966   6266 |        0 |        0
229.06/229.11	c  229s |      23 |  2821052 |  2289538 |      966   6305 |        0 |        0
231.06/231.12	c  231s |      23 |  2844948 |  2308638 |      966   6344 |        0 |        0
233.05/233.12	c  233s |      23 |  2868121 |  2327338 |      966   6382 |        0 |        0
235.05/235.12	c  235s |      23 |  2889956 |  2345338 |      966   6419 |        0 |        0
237.05/237.12	c  237s |      23 |  2912985 |  2363838 |      966   6457 |        0 |        0
239.05/239.13	c  239s |      23 |  2937456 |  2383438 |      966   6497 |        0 |        0
241.05/241.13	c  241s |      23 |  2962421 |  2403438 |      966   6537 |        0 |        0
243.06/243.14	c  243s |      23 |  2985954 |  2422638 |      966   6577 |        0 |        0
245.05/245.15	c  245s |      23 |  3010123 |  2442138 |      966   6617 |        0 |        0
247.05/247.15	c  247s |      23 |  3034976 |  2462138 |      966   6657 |        0 |        0
249.05/249.17	c  249s |      23 |  3058485 |  2481338 |      966   6697 |        0 |        0
251.05/251.17	c  251s |      23 |  3082427 |  2500738 |      966   6736 |        0 |        0
253.05/253.18	c  253s |      23 |  3109732 |  2521638 |      966   6779 |        0 |        0
255.05/255.18	c  255s |      23 |  3137288 |  2542338 |      966   6821 |        0 |        0
257.04/257.19	c  257s |      23 |  3164514 |  2563438 |      966   6864 |        0 |        0
259.04/259.19	c  259s |      23 |  3191047 |  2583738 |      966   6906 |        0 |        0
261.14/261.20	c  261s |      23 |  3217129 |  2603838 |      966   6947 |        0 |        0
263.14/263.20	c  263s |      23 |  3240093 |  2622738 |      966   6985 |        0 |        0
265.15/265.21	c  265s |      23 |  3261608 |  2641238 |      966   7023 |        0 |        0
267.14/267.21	c  267s |      23 |  3283164 |  2659138 |      966   7060 |        0 |        0
269.14/269.21	c  269s |      23 |  3306414 |  2678038 |      966   7098 |        0 |        0
271.13/271.22	c  271s |      23 |  3329069 |  2696738 |      966   7136 |        0 |        0
273.13/273.22	c  273s |      23 |  3350045 |  2714738 |      966   7173 |        0 |        0
275.13/275.22	c  275s |      23 |  3370774 |  2732838 |      966   7210 |        0 |        0
277.14/277.23	c  277s |      23 |  3392726 |  2751138 |      966   7247 |        0 |        0
279.13/279.23	c  279s |      23 |  3417947 |  2771238 |      966   7288 |        0 |        0
281.13/281.24	c  281s |      23 |  3442175 |  2790538 |      966   7328 |        0 |        0
283.14/283.24	c  283s |      23 |  3463814 |  2808738 |      966   7365 |        0 |        0
285.14/285.24	c  285s |      23 |  3486624 |  2827638 |      966   7404 |        0 |        0
287.14/287.24	c  287s |      23 |  3508089 |  2845638 |      966   7440 |        0 |        0
289.13/289.25	c  289s |      23 |  3529507 |  2864038 |      966   7478 |        0 |        0
291.13/291.25	c  291s |      23 |  3552762 |  2883238 |      966   7518 |        0 |        0
293.13/293.26	c  293s |      23 |  3575975 |  2902038 |      966   7556 |        0 |        0
295.13/295.27	c  295s |      23 |  3599392 |  2921238 |      966   7595 |        0 |        0
297.13/297.27	c  297s |      23 |  3625156 |  2941338 |      966   7636 |        0 |        0
299.13/299.28	c  299s |      23 |  3650407 |  2961338 |      966   7677 |        0 |        0
301.13/301.28	c  301s |      23 |  3674711 |  2981238 |      966   7718 |        0 |        0
303.13/303.28	c  303s |      23 |  3699058 |  3000738 |      966   7758 |        0 |        0
305.13/305.29	c  305s |      23 |  3724098 |  3020638 |      966   7799 |        0 |        0
307.13/307.29	c  307s |      23 |  3748859 |  3040338 |      966   7839 |        0 |        0
309.22/309.30	c  309s |      23 |  3773761 |  3059938 |      966   7880 |        0 |        0
311.23/311.31	c  311s |      23 |  3798521 |  3079638 |      966   7920 |        0 |        0
313.22/313.32	c  313s |      23 |  3820092 |  3097938 |      966   7957 |        0 |        0
315.22/315.32	c  315s |      23 |  3840965 |  3115738 |      966   7994 |        0 |        0
317.22/317.33	c  317s |      23 |  3861583 |  3133438 |      966   8030 |        0 |        0
319.22/319.33	c  319s |      23 |  3882996 |  3151438 |      966   8067 |        0 |        0
321.22/321.34	c  321s |      23 |  3908834 |  3171538 |      966   8108 |        0 |        0
323.22/323.35	c  323s |      23 |  3933283 |  3191238 |      966   8148 |        0 |        0
325.22/325.36	c  325s |      23 |  3957367 |  3211138 |      966   8188 |        0 |        0
327.22/327.36	c  327s |      23 |  3983107 |  3232038 |      966   8231 |        0 |        0
329.22/329.36	c  329s |      23 |  4007593 |  3252138 |      966   8272 |        0 |        0
331.22/331.37	c  331s |      23 |  4032749 |  3272138 |      966   8313 |        0 |        0
333.23/333.37	c  333s |      23 |  4059200 |  3292538 |      966   8355 |        0 |        0
335.22/335.37	c  335s |      23 |  4086075 |  3313438 |      966   8398 |        0 |        0
337.22/337.38	c  337s |      23 |  4112673 |  3334238 |      966   8441 |        0 |        0
339.22/339.39	c  339s |      23 |  4137292 |  3353938 |     1063   8480 |        0 |        0
341.32/341.40	c  341s |      23 |  4159044 |  3372138 |     1063   8514 |        0 |        0
341.72/341.89	c  341s |      24 |  4164369 |  3376662 |     1063   8523 |        0 |        0
343.72/343.89	c  343s |      24 |  4189263 |  3395662 |     1063   8558 |        0 |        0
345.72/345.90	c  345s |      24 |  4213815 |  3414762 |     1063   8593 |        0 |        0
347.82/347.90	c  347s |      24 |  4240195 |  3435162 |     1063   8631 |        0 |        0
349.82/349.91	c  349s |      24 |  4264723 |  3454562 |     1063   8668 |        0 |        0
351.81/351.92	c  351s |      24 |  4288355 |  3473362 |     1063   8702 |        0 |        0
353.81/353.93	c  353s |      24 |  4310977 |  3491562 |     1063   8736 |        0 |        0
355.81/355.93	c  355s |      24 |  4336519 |  3511262 |     1063   8772 |        0 |        0
357.81/357.94	c  357s |      24 |  4359380 |  3529762 |     1063   8807 |        0 |        0
359.80/359.94	c  359s |      24 |  4379956 |  3547462 |     1063   8840 |        0 |        0
361.81/361.95	c  361s |      24 |  4400177 |  3564862 |     1063   8872 |        0 |        0
363.80/363.95	c  363s |      24 |  4421527 |  3582662 |     1063   8905 |        0 |        0
365.80/365.95	c  365s |      24 |  4444647 |  3601362 |     1063   8940 |        0 |        0
367.80/367.96	c  367s |      24 |  4468927 |  3620562 |     1063   8976 |        0 |        0
369.79/369.97	c  369s |      24 |  4491552 |  3639162 |     1063   9010 |        0 |        0
371.80/371.98	c  371s |      24 |  4511970 |  3656462 |     1063   9042 |        0 |        0
373.79/373.99	c  373s |      24 |  4532862 |  3673662 |     1063   9074 |        0 |        0
375.79/375.99	c  375s |      24 |  4554359 |  3691562 |     1063   9108 |        0 |        0
377.89/378.01	c  377s |      24 |  4573882 |  3708762 |     1063   9140 |        0 |        0
379.89/380.02	c  380s |      24 |  4594839 |  3726462 |     1063   9173 |        0 |        0
381.89/382.02	c  382s |      24 |  4617804 |  3745362 |     1063   9208 |        0 |        0
383.90/384.03	c  384s |      24 |  4638028 |  3762762 |     1063   9240 |        0 |        0
385.89/386.03	c  386s |      24 |  4660545 |  3780762 |     1063   9274 |        0 |        0
387.89/388.03	c  388s |      24 |  4680705 |  3797962 |     1063   9305 |        0 |        0
389.89/390.04	c  390s |      24 |  4701040 |  3815362 |     1063   9338 |        0 |        0
391.89/392.04	c  392s |      24 |  4718875 |  3831062 |     1063   9367 |        0 |        0
393.89/394.04	c  394s |      24 |  4740003 |  3848462 |     1063   9399 |        0 |        0
395.90/396.05	c  396s |      24 |  4762666 |  3866762 |     1063   9433 |        0 |        0
397.89/398.06	c  398s |      24 |  4784339 |  3884362 |     1063   9466 |        0 |        0
399.89/400.06	c  400s |      24 |  4804032 |  3901062 |     1063   9496 |        0 |        0
401.89/402.07	c  402s |      24 |  4824479 |  3918362 |     1063   9528 |        0 |        0
403.89/404.08	c  404s |      24 |  4843844 |  3935162 |     1063   9559 |        0 |        0
405.90/406.08	c  406s |      24 |  4864433 |  3952562 |     1063   9592 |        0 |        0
407.89/408.09	c  408s |      24 |  4884778 |  3969762 |     1063   9624 |        0 |        0
409.89/410.09	c  410s |      24 |  4909420 |  3989062 |     1063   9659 |        0 |        0
411.98/412.10	c  412s |      24 |  4934096 |  4008262 |     1063   9695 |        0 |        0
413.98/414.10	c  414s |      24 |  4957759 |  4027262 |     1063   9731 |        0 |        0
415.98/416.11	c  416s |      24 |  4981841 |  4046362 |     1063   9766 |        0 |        0
417.99/418.12	c  418s |      24 |  5003646 |  4064362 |     1063   9800 |        0 |        0
419.98/420.12	c  420s |      24 |  5025493 |  4082262 |     1063   9833 |        0 |        0
421.98/422.13	c  422s |      24 |  5046710 |  4099662 |     1063   9865 |        0 |        0
423.98/424.14	c  424s |      24 |  5068319 |  4117062 |     1063   9897 |        0 |        0
425.98/426.14	c  426s |      24 |  5088538 |  4134062 |     1063   9929 |        0 |        0
427.97/428.15	c  428s |      24 |  5109078 |  4151662 |     1063   9962 |        0 |        0
429.98/430.15	c  430s |      24 |  5128751 |  4168762 |     1063   9993 |        0 |        0
431.97/432.16	c  432s |      24 |  5149777 |  4186662 |     1063  10027 |        0 |        0
433.97/434.16	c  434s |      24 |  5169284 |  4203862 |     1063  10058 |        0 |        0
435.98/436.17	c  436s |      24 |  5189612 |  4221062 |     1063  10090 |        0 |        0
437.98/438.17	c  438s |      24 |  5210234 |  4238462 |     1063  10122 |        0 |        0
439.99/440.18	c  440s |      24 |  5229104 |  4254962 |     1063  10153 |        0 |        0
441.98/442.18	c  442s |      24 |  5248339 |  4271562 |     1063  10184 |        0 |        0
443.98/444.19	c  444s |      24 |  5271399 |  4290262 |     1063  10219 |        0 |        0
445.98/446.19	c  446s |      24 |  5294366 |  4308562 |     1063  10253 |        0 |        0
447.97/448.19	c  448s |      24 |  5317915 |  4327962 |     1063  10289 |        0 |        0
450.07/450.20	c  450s |      24 |  5341597 |  4347162 |     1063  10325 |        0 |        0
452.08/452.21	c  452s |      24 |  5364164 |  4365862 |     1063  10359 |        0 |        0
454.07/454.22	c  454s |      24 |  5386982 |  4384562 |     1063  10394 |        0 |        0
456.07/456.22	c  456s |      24 |  5409853 |  4403362 |     1063  10429 |        0 |        0
458.07/458.23	c  458s |      24 |  5434054 |  4422562 |     1063  10465 |        0 |        0
460.07/460.23	c  460s |      24 |  5457967 |  4441762 |     1063  10501 |        0 |        0
462.07/462.24	c  462s |      24 |  5480421 |  4459862 |     1063  10534 |        0 |        0
464.07/464.24	c  464s |      24 |  5502169 |  4477762 |     1063  10567 |        0 |        0
466.06/466.25	c  466s |      24 |  5524008 |  4495862 |     1063  10601 |        0 |        0
468.06/468.26	c  468s |      24 |  5546592 |  4514362 |     1063  10636 |        0 |        0
470.06/470.27	c  470s |      24 |  5566916 |  4531562 |     1063  10668 |        0 |        0
472.06/472.27	c  472s |      24 |  5589563 |  4549862 |     1063  10702 |        0 |        0
474.07/474.28	c  474s |      24 |  5615339 |  4569662 |     1063  10739 |        0 |        0
476.06/476.28	c  476s |      24 |  5641506 |  4589762 |     1063  10776 |        0 |        0
478.07/478.29	c  478s |      24 |  5670028 |  4610562 |     1063  10815 |        0 |        0
480.06/480.30	c  480s |      24 |  5694125 |  4629962 |     1063  10851 |        0 |        0
482.16/482.30	c  482s |      24 |  5715822 |  4648062 |     1063  10885 |        0 |        0
484.16/484.31	c  484s |      24 |  5739617 |  4667262 |     1063  10920 |        0 |        0
486.17/486.31	c  486s |      24 |  5762531 |  4685862 |     1063  10955 |        0 |        0
488.16/488.31	c  488s |      24 |  5785629 |  4704662 |     1063  10990 |        0 |        0
490.15/490.31	c  490s |      24 |  5809017 |  4723562 |     1063  11025 |        0 |        0
492.15/492.32	c  492s |      24 |  5831144 |  4741962 |     1063  11059 |        0 |        0
494.15/494.32	c  494s |      24 |  5853862 |  4760262 |     1063  11093 |        0 |        0
496.15/496.33	c  496s |      24 |  5875985 |  4778162 |     1063  11127 |        0 |        0
498.16/498.33	c  498s |      24 |  5898312 |  4796662 |     1063  11161 |        0 |        0
500.15/500.34	c  500s |      24 |  5920068 |  4814862 |     1063  11195 |        0 |        0
502.14/502.35	c  502s |      24 |  5943247 |  4833862 |     1063  11230 |        0 |        0
504.14/504.35	c  504s |      24 |  5967315 |  4853262 |     1063  11266 |        0 |        0
506.14/506.36	c  506s |      24 |  5989585 |  4871862 |     1063  11301 |        0 |        0
508.15/508.36	c  508s |      24 |  6010745 |  4889962 |     1063  11335 |        0 |        0
510.14/510.36	c  510s |      24 |  6032698 |  4908262 |     1063  11369 |        0 |        0
512.14/512.37	c  512s |      24 |  6055106 |  4926762 |     1063  11403 |        0 |        0
514.14/514.38	c  514s |      24 |  6078994 |  4945862 |     1063  11438 |        0 |        0
516.14/516.38	c  516s |      24 |  6102211 |  4964462 |     1063  11473 |        0 |        0
518.14/518.39	c  518s |      24 |  6126386 |  4983662 |     1063  11509 |        0 |        0
520.15/520.40	c  520s |      24 |  6151912 |  5003262 |     1063  11545 |        0 |        0
522.24/522.41	c  522s |      24 |  6175909 |  5022662 |     1063  11581 |        0 |        0
524.24/524.41	c  524s |      24 |  6201429 |  5042362 |     1170  11615 |        0 |        0
526.24/526.42	c  526s |      24 |  6222967 |  5060162 |     1170  11646 |        0 |        0
526.75/526.94	c  526s |      25 |  6229318 |  5065098 |     1170  11654 |        0 |        0
528.73/528.94	c  528s |      25 |  6251102 |  5083198 |     1170  11685 |        0 |        0
530.73/530.95	c  530s |      25 |  6273264 |  5101498 |     1170  11715 |        0 |        0
532.73/532.96	c  532s |      25 |  6294410 |  5119298 |     1170  11745 |        0 |        0
534.73/534.97	c  534s |      25 |  6316500 |  5137598 |     1170  11776 |        0 |        0
536.74/536.98	c  536s |      25 |  6337296 |  5155198 |     1170  11806 |        0 |        0
538.73/538.98	c  538s |      25 |  6357734 |  5172698 |     1170  11835 |        0 |        0
540.72/540.99	c  540s |      25 |  6379111 |  5190698 |     1170  11866 |        0 |        0
542.82/543.00	c  542s |      25 |  6400183 |  5208698 |     1170  11896 |        0 |        0
544.82/545.01	c  544s |      25 |  6421820 |  5226598 |     1170  11926 |        0 |        0
546.82/547.01	c  546s |      25 |  6443452 |  5244698 |     1170  11957 |        0 |        0
548.83/549.03	c  549s |      25 |  6465613 |  5262898 |     1170  11988 |        0 |        0
550.82/551.03	c  551s |      25 |  6486437 |  5280498 |     1170  12017 |        0 |        0
552.82/553.04	c  553s |      25 |  6506018 |  5297298 |     1170  12045 |        0 |        0
554.82/555.05	c  555s |      25 |  6527650 |  5314698 |     1170  12075 |        0 |        0
556.82/557.05	c  557s |      25 |  6548384 |  5332098 |     1170  12104 |        0 |        0
558.81/559.06	c  559s |      25 |  6570032 |  5349498 |     1170  12134 |        0 |        0
560.82/561.06	c  561s |      25 |  6592426 |  5367698 |     1170  12164 |        0 |        0
562.81/563.07	c  563s |      25 |  6615603 |  5386198 |     1170  12196 |        0 |        0
564.81/565.07	c  565s |      25 |  6637226 |  5403298 |     1170  12224 |        0 |        0
566.81/567.08	c  567s |      25 |  6658222 |  5420398 |     1170  12253 |        0 |        0
568.80/569.09	c  569s |      25 |  6680492 |  5438198 |     1170  12283 |        0 |        0
570.90/571.10	c  571s |      25 |  6704692 |  5456698 |     1170  12314 |        0 |        0
572.91/573.11	c  573s |      25 |  6728694 |  5475698 |     1170  12347 |        0 |        0
574.91/575.12	c  575s |      25 |  6751504 |  5494298 |     1170  12378 |        0 |        0
576.91/577.12	c  577s |      25 |  6772923 |  5511798 |     1170  12407 |        0 |        0
578.91/579.12	c  579s |      25 |  6794149 |  5528898 |     1170  12436 |        0 |        0
580.90/581.12	c  581s |      25 |  6813889 |  5545298 |     1170  12464 |        0 |        0
582.91/583.13	c  583s |      25 |  6836390 |  5563598 |     1170  12495 |        0 |        0
584.90/585.14	c  585s |      25 |  6857422 |  5581198 |     1170  12525 |        0 |        0
586.90/587.14	c  587s |      25 |  6876577 |  5597798 |     1170  12553 |        0 |        0
588.90/589.15	c  589s |      25 |  6895265 |  5614298 |     1170  12581 |        0 |        0
590.90/591.16	c  591s |      25 |  6915787 |  5631698 |     1170  12610 |        0 |        0
592.90/593.16	c  593s |      25 |  6937793 |  5649698 |     1170  12640 |        0 |        0
594.90/595.16	c  595s |      25 |  6958387 |  5666798 |     1170  12669 |        0 |        0
596.90/597.16	c  597s |      25 |  6979979 |  5684698 |     1170  12700 |        0 |        0
598.89/599.17	c  599s |      25 |  7003592 |  5703598 |     1170  12732 |        0 |        0
600.89/601.17	c  601s |      25 |  7025646 |  5721598 |     1170  12762 |        0 |        0
602.89/603.17	c  603s |      25 |  7047478 |  5739398 |     1170  12792 |        0 |        0
604.89/605.18	c  605s |      25 |  7067537 |  5756198 |     1170  12821 |        0 |        0
606.89/607.19	c  607s |      25 |  7089564 |  5773898 |     1170  12851 |        0 |        0
608.88/609.19	c  609s |      25 |  7110980 |  5791498 |     1170  12881 |        0 |        0
610.98/611.20	c  611s |      25 |  7133839 |  5809898 |     1170  12912 |        0 |        0
612.98/613.21	c  613s |      25 |  7157560 |  5828598 |     1170  12943 |        0 |        0
614.98/615.22	c  615s |      25 |  7179793 |  5846998 |     1170  12974 |        0 |        0
617.00/617.23	c  617s |      25 |  7200674 |  5864698 |     1170  13004 |        0 |        0
618.99/619.23	c  619s |      25 |  7221639 |  5882198 |     1170  13034 |        0 |        0
620.99/621.24	c  621s |      25 |  7243320 |  5900198 |     1170  13064 |        0 |        0
622.99/623.24	c  623s |      25 |  7266298 |  5918598 |     1170  13095 |        0 |        0
624.99/625.25	c  625s |      25 |  7289895 |  5937098 |     1170  13127 |        0 |        0
626.99/627.26	c  627s |      25 |  7310310 |  5954198 |     1170  13155 |        0 |        0
628.99/629.27	c  629s |      25 |  7331399 |  5971598 |     1170  13185 |        0 |        0
630.98/631.28	c  631s |      25 |  7351982 |  5988698 |     1170  13214 |        0 |        0
632.98/633.29	c  633s |      25 |  7370964 |  6005298 |     1170  13242 |        0 |        0
634.98/635.30	c  635s |      25 |  7390749 |  6022298 |     1170  13270 |        0 |        0
637.08/637.30	c  637s |      25 |  7412271 |  6039898 |     1170  13300 |        0 |        0
639.07/639.30	c  639s |      25 |  7435378 |  6058298 |     1170  13331 |        0 |        0
641.08/641.32	c  641s |      25 |  7456585 |  6075698 |     1170  13361 |        0 |        0
643.07/643.33	c  643s |      25 |  7475695 |  6092298 |     1170  13389 |        0 |        0
645.07/645.33	c  645s |      25 |  7494606 |  6108698 |     1170  13416 |        0 |        0
647.07/647.34	c  647s |      25 |  7513318 |  6124998 |     1170  13443 |        0 |        0
649.07/649.34	c  649s |      25 |  7532034 |  6140998 |     1170  13470 |        0 |        0
651.07/651.35	c  651s |      25 |  7551999 |  6157798 |     1170  13499 |        0 |        0
653.07/653.35	c  653s |      25 |  7571495 |  6174098 |     1170  13526 |        0 |        0
655.07/655.36	c  655s |      25 |  7592815 |  6191898 |     1170  13556 |        0 |        0
657.07/657.36	c  657s |      25 |  7612761 |  6208798 |     1170  13585 |        0 |        0
659.06/659.38	c  659s |      25 |  7633483 |  6225998 |     1170  13614 |        0 |        0
661.06/661.38	c  661s |      25 |  7652339 |  6242198 |     1170  13641 |        0 |        0
663.07/663.39	c  663s |      25 |  7669653 |  6257398 |     1170  13667 |        0 |        0
665.16/665.40	c  665s |      25 |  7688740 |  6273298 |     1170  13693 |        0 |        0
667.16/667.40	c  667s |      25 |  7707114 |  6289198 |     1170  13720 |        0 |        0
669.15/669.41	c  669s |      25 |  7727620 |  6306398 |     1170  13749 |        0 |        0
671.15/671.41	c  671s |      25 |  7748825 |  6324298 |     1170  13779 |        0 |        0
673.15/673.42	c  673s |      25 |  7771254 |  6342698 |     1170  13811 |        0 |        0
675.16/675.42	c  675s |      25 |  7791663 |  6359998 |     1170  13840 |        0 |        0
677.15/677.43	c  677s |      25 |  7811943 |  6376898 |     1170  13868 |        0 |        0
679.15/679.43	c  679s |      25 |  7830702 |  6393198 |     1170  13896 |        0 |        0
681.15/681.44	c  681s |      25 |  7851156 |  6410498 |     1170  13925 |        0 |        0
683.15/683.44	c  683s |      25 |  7870345 |  6427198 |     1170  13953 |        0 |        0
685.15/685.45	c  685s |      25 |  7887513 |  6442698 |     1170  13980 |        0 |        0
687.14/687.46	c  687s |      25 |  7906811 |  6459498 |     1170  14008 |        0 |        0
689.14/689.46	c  689s |      25 |  7926333 |  6476398 |     1170  14036 |        0 |        0
691.14/691.46	c  691s |      25 |  7946537 |  6493598 |     1170  14066 |        0 |        0
693.14/693.47	c  693s |      25 |  7967401 |  6510998 |     1170  14095 |        0 |        0
695.14/695.48	c  695s |      25 |  7986407 |  6527298 |     1170  14123 |        0 |        0
697.15/697.49	c  697s |      25 |  8005560 |  6544198 |     1170  14151 |        0 |        0
699.24/699.50	c  699s |      25 |  8027392 |  6562398 |     1170  14182 |        0 |        0
701.24/701.50	c  701s |      25 |  8048521 |  6579998 |     1170  14211 |        0 |        0
703.24/703.51	c  703s |      25 |  8070171 |  6597798 |     1170  14241 |        0 |        0
705.24/705.52	c  705s |      25 |  8092632 |  6616098 |     1170  14272 |        0 |        0
707.24/707.53	c  707s |      25 |  8114275 |  6633998 |     1170  14302 |        0 |        0
709.25/709.54	c  709s |      25 |  8137525 |  6652598 |     1170  14334 |        0 |        0
711.24/711.54	c  711s |      25 |  8158706 |  6670098 |     1170  14363 |        0 |        0
713.24/713.54	c  713s |      25 |  8180864 |  6688198 |     1170  14394 |        0 |        0
715.24/715.55	c  715s |      25 |  8202797 |  6706198 |     1170  14424 |        0 |        0
717.24/717.56	c  717s |      25 |  8225082 |  6724198 |     1170  14455 |        0 |        0
719.24/719.56	c  719s |      25 |  8246895 |  6742498 |     1170  14486 |        0 |        0
721.23/721.56	c  721s |      25 |  8269300 |  6760798 |     1170  14517 |        0 |        0
723.23/723.56	c  723s |      25 |  8291195 |  6779098 |     1170  14548 |        0 |        0
725.23/725.57	c  725s |      25 |  8313491 |  6797298 |     1170  14578 |        0 |        0
727.23/727.57	c  727s |      25 |  8336547 |  6815598 |     1170  14609 |        0 |        0
729.23/729.58	c  729s |      25 |  8357055 |  6832798 |     1170  14638 |        0 |        0
731.23/731.59	c  731s |      25 |  8379155 |  6850698 |     1170  14669 |        0 |        0
733.23/733.59	c  733s |      25 |  8400177 |  6868198 |     1170  14698 |        0 |        0
735.32/735.60	c  735s |      25 |  8422877 |  6886298 |     1170  14729 |        0 |        0
737.32/737.61	c  737s |      25 |  8446375 |  6905298 |     1170  14761 |        0 |        0
739.32/739.62	c  739s |      25 |  8471081 |  6924498 |     1170  14794 |        0 |        0
741.32/741.63	c  741s |      25 |  8491294 |  6941898 |     1170  14823 |        0 |        0
743.33/743.63	c  743s |      25 |  8511707 |  6959298 |     1170  14853 |        0 |        0
745.32/745.64	c  745s |      25 |  8534740 |  6978098 |     1170  14884 |        0 |        0
747.32/747.64	c  747s |      25 |  8559069 |  6997498 |     1170  14917 |        0 |        0
749.32/749.64	c  749s |      25 |  8585364 |  7017298 |     1170  14951 |        0 |        0
751.31/751.65	c  751s |      25 |  8611515 |  7037098 |     1170  14984 |        0 |        0
753.32/753.65	c  753s |      25 |  8637193 |  7056698 |     1170  15018 |        0 |        0
755.31/755.66	c  755s |      25 |  8662780 |  7076098 |     1170  15050 |        0 |        0
757.32/757.66	c  757s |      25 |  8688417 |  7095898 |     1170  15084 |        0 |        0
759.32/759.66	c  759s |      25 |  8713274 |  7115698 |     1170  15117 |        0 |        0
761.32/761.66	c  761s |      25 |  8735535 |  7134098 |     1170  15149 |        0 |        0
763.32/763.66	c  763s |      25 |  8755255 |  7150698 |     1170  15177 |        0 |        0
765.32/765.67	c  765s |      25 |  8778524 |  7169398 |     1170  15208 |        0 |        0
767.31/767.67	c  767s |      25 |  8800307 |  7187198 |     1170  15239 |        0 |        0
769.31/769.67	c  769s |      25 |  8823988 |  7205898 |     1170  15270 |        0 |        0
771.31/771.68	c  771s |      25 |  8846856 |  7224498 |     1170  15302 |        0 |        0
773.31/773.68	c  773s |      25 |  8871047 |  7243698 |     1170  15334 |        0 |        0
775.32/775.69	c  775s |      25 |  8894159 |  7262198 |     1170  15366 |        0 |        0
777.31/777.69	c  777s |      25 |  8918472 |  7281198 |     1170  15398 |        0 |        0
779.31/779.69	c  779s |      25 |  8943522 |  7300398 |     1170  15431 |        0 |        0
781.41/781.70	c  781s |      25 |  8969157 |  7319598 |     1170  15463 |        0 |        0
783.41/783.70	c  783s |      25 |  8993962 |  7338598 |     1170  15496 |        0 |        0
785.41/785.70	c  785s |      25 |  9018794 |  7357898 |     1170  15528 |        0 |        0
787.41/787.71	c  787s |      25 |  9042175 |  7376498 |     1170  15560 |        0 |        0
789.40/789.72	c  789s |      25 |  9067269 |  7395598 |     1170  15592 |        0 |        0
791.40/791.72	c  791s |      25 |  9090189 |  7413998 |     1170  15623 |        0 |        0
793.40/793.72	c  793s |      25 |  9112349 |  7431898 |     1170  15653 |        0 |        0
795.40/795.73	c  795s |      25 |  9135656 |  7450398 |     1170  15685 |        0 |        0
797.40/797.73	c  797s |      25 |  9158220 |  7468798 |     1170  15716 |        0 |        0
799.40/799.74	c  799s |      25 |  9178761 |  7486298 |     1170  15746 |        0 |        0
801.40/801.75	c  801s |      25 |  9201468 |  7504598 |     1170  15776 |        0 |        0
803.39/803.75	c  803s |      25 |  9226110 |  7523898 |     1170  15809 |        0 |        0
805.39/805.76	c  805s |      25 |  9249396 |  7542598 |     1170  15841 |        0 |        0
807.39/807.76	c  807s |      25 |  9270960 |  7560398 |     1287  15868 |        0 |        0
809.40/809.77	c  809s |      25 |  9292040 |  7577798 |     1287  15895 |        0 |        0
811.39/811.78	c  811s |      25 |  9313089 |  7594898 |     1287  15921 |        0 |        0
811.79/812.12	c  812s |      26 |  9316697 |  7597752 |     1287  15926 |        0 |        0
813.79/814.13	c  814s |      26 |  9338954 |  7615752 |     1287  15953 |        0 |        0
815.80/816.13	c  816s |      26 |  9364372 |  7634952 |     1287  15983 |        0 |        0
817.79/818.14	c  818s |      26 |  9388775 |  7654352 |     1287  16013 |        0 |        0
819.79/820.14	c  820s |      26 |  9412745 |  7673452 |     1287  16042 |        0 |        0
821.79/822.15	c  822s |      26 |  9435787 |  7691752 |     1287  16070 |        0 |        0
823.79/824.16	c  824s |      26 |  9460587 |  7710952 |     1287  16100 |        0 |        0
825.79/826.16	c  826s |      26 |  9484323 |  7730052 |     1287  16129 |        0 |        0
827.79/828.16	c  828s |      26 |  9507820 |  7748852 |     1287  16158 |        0 |        0
829.78/830.17	c  830s |      26 |  9530086 |  7767252 |     1287  16186 |        0 |        0
831.78/832.18	c  832s |      26 |  9552698 |  7786052 |     1287  16215 |        0 |        0
833.78/834.19	c  834s |      26 |  9577580 |  7805752 |     1287  16246 |        0 |        0
835.88/836.20	c  836s |      26 |  9601122 |  7824652 |     1287  16275 |        0 |        0
837.78/838.20	c  838s |      26 |  9625409 |  7843352 |     1287  16303 |        0 |        0
839.88/840.20	c  840s |      26 |  9646765 |  7861252 |     1287  16331 |        0 |        0
841.88/842.20	c  842s |      26 |  9669354 |  7879652 |     1287  16359 |        0 |        0
843.88/844.21	c  844s |      26 |  9691244 |  7897752 |     1287  16387 |        0 |        0
845.88/846.21	c  846s |      26 |  9712226 |  7915252 |     1287  16414 |        0 |        0
847.88/848.22	c  848s |      26 |  9734484 |  7933552 |     1287  16442 |        0 |        0
849.87/850.22	c  850s |      26 |  9757861 |  7951952 |     1287  16471 |        0 |        0
851.87/852.23	c  852s |      26 |  9781995 |  7970352 |     1287  16499 |        0 |        0
853.87/854.24	c  854s |      26 |  9804018 |  7988152 |     1287  16527 |        0 |        0
855.87/856.24	c  856s |      26 |  9828195 |  8006952 |     1287  16555 |        0 |        0
857.87/858.25	c  858s |      26 |  9853815 |  8026552 |     1287  16585 |        0 |        0
859.87/860.26	c  860s |      26 |  9879431 |  8045952 |     1287  16615 |        0 |        0
861.86/862.26	c  862s |      26 |  9903743 |  8064852 |     1287  16644 |        0 |        0
863.86/864.27	c  864s |      26 |  9927748 |  8083652 |     1287  16673 |        0 |        0
865.86/866.28	c  866s |      26 |  9952083 |  8102852 |     1287  16703 |        0 |        0
867.86/868.29	c  868s |      26 |  9974873 |  8121652 |     1287  16732 |        0 |        0
869.97/870.30	c  870s |      26 |  9996056 |  8138952 |     1287  16758 |        0 |        0
871.97/872.31	c  872s |      26 | 10016250 |  8155752 |     1287  16784 |        0 |        0
873.96/874.32	c  874s |      26 | 10038909 |  8173552 |     1287  16812 |        0 |        0
875.96/876.32	c  876s |      26 | 10059306 |  8190552 |     1287  16838 |        0 |        0
877.96/878.33	c  878s |      26 | 10081761 |  8208852 |     1287  16866 |        0 |        0
879.96/880.34	c  880s |      26 | 10101941 |  8225852 |     1287  16892 |        0 |        0
881.97/882.34	c  882s |      26 | 10122970 |  8243352 |     1287  16919 |        0 |        0
883.96/884.36	c  884s |      26 | 10144879 |  8260852 |     1287  16946 |        0 |        0
885.96/886.36	c  886s |      26 | 10165977 |  8277952 |     1287  16972 |        0 |        0
887.96/888.37	c  888s |      26 | 10187291 |  8295252 |     1287  16999 |        0 |        0
889.96/890.37	c  890s |      26 | 10212424 |  8314852 |     1287  17029 |        0 |        0
891.96/892.37	c  892s |      26 | 10236012 |  8333352 |     1287  17058 |        0 |        0
893.96/894.38	c  894s |      26 | 10260309 |  8352152 |     1287  17087 |        0 |        0
895.95/896.38	c  896s |      26 | 10280671 |  8369252 |     1287  17113 |        0 |        0
897.95/898.39	c  898s |      26 | 10304879 |  8388152 |     1287  17142 |        0 |        0
900.05/900.40	c  900s |      26 | 10325849 |  8405552 |     1287  17169 |        0 |        0
902.05/902.40	c  902s |      26 | 10346991 |  8423152 |     1287  17196 |        0 |        0
904.05/904.42	c  904s |      26 | 10368470 |  8440752 |     1287  17223 |        0 |        0
906.06/906.42	c  906s |      26 | 10388783 |  8457552 |     1287  17249 |        0 |        0
908.06/908.42	c  908s |      26 | 10411646 |  8475552 |     1287  17277 |        0 |        0
910.06/910.43	c  910s |      26 | 10433207 |  8493052 |     1287  17304 |        0 |        0
912.05/912.44	c  912s |      26 | 10457559 |  8511552 |     1287  17332 |        0 |        0
914.05/914.45	c  914s |      26 | 10479033 |  8529152 |     1287  17359 |        0 |        0
916.06/916.45	c  916s |      26 | 10500111 |  8546552 |     1287  17386 |        0 |        0
918.05/918.45	c  918s |      26 | 10520340 |  8563552 |     1287  17412 |        0 |        0
920.05/920.46	c  920s |      26 | 10544200 |  8582252 |     1287  17441 |        0 |        0
922.05/922.47	c  922s |      26 | 10568456 |  8601452 |     1287  17470 |        0 |        0
924.05/924.48	c  924s |      26 | 10591954 |  8620352 |     1287  17499 |        0 |        0
926.05/926.48	c  926s |      26 | 10614679 |  8638552 |     1287  17527 |        0 |        0
928.05/928.49	c  928s |      26 | 10635232 |  8655952 |     1287  17554 |        0 |        0
930.05/930.49	c  930s |      26 | 10657727 |  8673652 |     1287  17581 |        0 |        0
932.05/932.49	c  932s |      26 | 10678990 |  8690952 |     1287  17608 |        0 |        0
934.15/934.50	c  934s |      26 | 10702297 |  8709052 |     1287  17636 |        0 |        0
936.15/936.51	c  936s |      26 | 10727308 |  8728252 |     1287  17665 |        0 |        0
938.15/938.51	c  938s |      26 | 10749300 |  8746352 |     1287  17693 |        0 |        0
940.15/940.51	c  940s |      26 | 10772156 |  8764752 |     1287  17721 |        0 |        0
942.14/942.52	c  942s |      26 | 10795629 |  8783552 |     1287  17750 |        0 |        0
944.14/944.53	c  944s |      26 | 10818695 |  8801752 |     1287  17778 |        0 |        0
946.14/946.53	c  946s |      26 | 10840109 |  8819152 |     1287  17805 |        0 |        0
948.14/948.54	c  948s |      26 | 10862082 |  8836552 |     1287  17832 |        0 |        0
950.15/950.54	c  950s |      26 | 10882942 |  8853752 |     1287  17858 |        0 |        0
952.14/952.55	c  952s |      26 | 10902560 |  8870352 |     1287  17884 |        0 |        0
954.14/954.56	c  954s |      26 | 10924062 |  8888052 |     1287  17911 |        0 |        0
956.14/956.57	c  956s |      26 | 10945962 |  8905752 |     1287  17938 |        0 |        0
958.14/958.58	c  958s |      26 | 10968388 |  8923852 |     1287  17966 |        0 |        0
960.14/960.58	c  960s |      26 | 10991034 |  8942052 |     1287  17994 |        0 |        0
962.15/962.59	c  962s |      26 | 11014360 |  8960352 |     1287  18022 |        0 |        0
964.14/964.59	c  964s |      26 | 11037939 |  8978852 |     1287  18050 |        0 |        0
966.14/966.60	c  966s |      26 | 11059728 |  8996452 |     1287  18077 |        0 |        0
968.24/968.60	c  968s |      26 | 11081536 |  9013752 |     1287  18104 |        0 |        0
970.24/970.61	c  970s |      26 | 11103133 |  9030852 |     1287  18130 |        0 |        0
972.24/972.61	c  972s |      26 | 11126101 |  9049052 |     1287  18158 |        0 |        0
974.24/974.61	c  974s |      26 | 11150074 |  9067752 |     1287  18187 |        0 |        0
976.25/976.61	c  976s |      26 | 11174100 |  9086152 |     1287  18215 |        0 |        0
978.24/978.62	c  978s |      26 | 11196801 |  9103852 |     1287  18243 |        0 |        0
980.24/980.62	c  980s |      26 | 11216810 |  9120552 |     1287  18268 |        0 |        0
982.24/982.63	c  982s |      26 | 11236449 |  9137352 |     1287  18294 |        0 |        0
984.25/984.63	c  984s |      26 | 11255055 |  9153352 |     1287  18319 |        0 |        0
986.24/986.64	c  986s |      26 | 11278169 |  9171452 |     1287  18346 |        0 |        0
988.24/988.64	c  988s |      26 | 11302200 |  9189652 |     1287  18374 |        0 |        0
990.24/990.65	c  990s |      26 | 11324521 |  9207552 |     1287  18402 |        0 |        0
992.24/992.65	c  992s |      26 | 11345505 |  9224352 |     1287  18428 |        0 |        0
994.24/994.65	c  994s |      26 | 11366251 |  9241052 |     1287  18453 |        0 |        0
996.25/996.65	c  996s |      26 | 11388650 |  9258852 |     1287  18481 |        0 |        0
998.24/998.66	c  998s |      26 | 11409909 |  9276252 |     1287  18508 |        0 |        0
1000.24/1000.67	c 1000s |      26 | 11430970 |  9293552 |     1287  18534 |        0 |        0
1002.24/1002.67	c 1002s |      26 | 11451638 |  9310752 |     1287  18561 |        0 |        0
1004.24/1004.68	c 1004s |      26 | 11474659 |  9328752 |     1287  18588 |        0 |        0
1006.25/1006.68	c 1006s |      26 | 11499589 |  9347752 |     1287  18617 |        0 |        0
1008.24/1008.69	c 1008s |      26 | 11522646 |  9365952 |     1287  18645 |        0 |        0
1010.34/1010.70	c 1010s |      26 | 11544444 |  9383252 |     1287  18672 |        0 |        0
1012.34/1012.71	c 1012s |      26 | 11563964 |  9400152 |     1287  18698 |        0 |        0
1014.34/1014.71	c 1014s |      26 | 11586072 |  9418052 |     1287  18725 |        0 |        0
1016.34/1016.72	c 1016s |      26 | 11607039 |  9435452 |     1287  18752 |        0 |        0
1018.34/1018.72	c 1018s |      26 | 11629381 |  9453452 |     1287  18780 |        0 |        0
1020.33/1020.73	c 1020s |      26 | 11651520 |  9471652 |     1287  18808 |        0 |        0
1022.33/1022.73	c 1022s |      26 | 11675011 |  9490452 |     1287  18837 |        0 |        0
1024.33/1024.73	c 1024s |      26 | 11697765 |  9508652 |     1287  18865 |        0 |        0
1026.33/1026.73	c 1026s |      26 | 11719055 |  9526552 |     1287  18892 |        0 |        0
1028.33/1028.73	c 1028s |      26 | 11741773 |  9545152 |     1287  18921 |        0 |        0
1030.34/1030.74	c 1030s |      26 | 11763548 |  9563152 |     1287  18948 |        0 |        0
1032.33/1032.75	c 1032s |      26 | 11788202 |  9582152 |     1287  18978 |        0 |        0
1034.33/1034.75	c 1034s |      26 | 11812635 |  9601452 |     1287  19007 |        0 |        0
1036.33/1036.75	c 1036s |      26 | 11834823 |  9619752 |     1287  19036 |        0 |        0
1038.33/1038.75	c 1038s |      26 | 11857561 |  9638052 |     1287  19064 |        0 |        0
1040.34/1040.76	c 1040s |      26 | 11880149 |  9656552 |     1287  19092 |        0 |        0
1042.34/1042.76	c 1042s |      26 | 11907038 |  9676352 |     1287  19123 |        0 |        0
1044.34/1044.77	c 1044s |      26 | 11931661 |  9694852 |     1287  19151 |        0 |        0
1046.33/1046.77	c 1046s |      26 | 11954813 |  9713452 |     1287  19180 |        0 |        0
1048.33/1048.78	c 1048s |      26 | 11978403 |  9732052 |     1287  19209 |        0 |        0
1050.33/1050.79	c 1050s |      26 | 12001255 |  9750152 |     1287  19236 |        0 |        0
1052.34/1052.80	c 1052s |      26 | 12025963 |  9769052 |     1287  19265 |        0 |        0
1054.43/1054.80	c 1054s |      26 | 12050602 |  9787952 |     1287  19294 |        0 |        0
1056.43/1056.81	c 1056s |      26 | 12075856 |  9807252 |     1287  19324 |        0 |        0
1058.43/1058.81	c 1058s |      26 | 12099943 |  9826152 |     1287  19353 |        0 |        0
1060.43/1060.82	c 1060s |      26 | 12125036 |  9845652 |     1287  19383 |        0 |        0
1062.43/1062.82	c 1062s |      26 | 12146943 |  9863752 |     1287  19411 |        0 |        0
1064.43/1064.83	c 1064s |      26 | 12169867 |  9881652 |     1287  19439 |        0 |        0
1066.42/1066.84	c 1066s |      26 | 12193972 |  9900452 |     1287  19468 |        0 |        0
1068.42/1068.85	c 1068s |      26 | 12219870 |  9920452 |     1287  19499 |        0 |        0
1070.43/1070.85	c 1070s |      26 | 12243304 |  9939052 |     1287  19527 |        0 |        0
1072.43/1072.86	c 1072s |      26 | 12264976 |  9956952 |     1287  19555 |        0 |        0
1074.44/1074.87	c 1074s |      26 | 12290380 |  9976252 |     1287  19585 |        0 |        0
1076.43/1076.87	c 1076s |      26 | 12314889 |  9995252 |     1287  19614 |        0 |        0
1078.43/1078.88	c 1078s |      26 | 12339339 | 10014152 |     1287  19643 |        0 |        0
1080.43/1080.88	c 1080s |      26 | 12359846 | 10031052 |     1287  19669 |        0 |        0
1082.43/1082.89	c 1082s |      26 | 12382493 | 10048852 |     1287  19696 |        0 |        0
1084.53/1084.90	c 1084s |      26 | 12405975 | 10066752 |     1287  19724 |        0 |        0
1086.54/1086.91	c 1086s |      26 | 12427828 | 10084752 |     1287  19752 |        0 |        0
1088.53/1088.91	c 1088s |      26 | 12451440 | 10103952 |     1287  19781 |        0 |        0
1090.53/1090.91	c 1090s |      26 | 12474504 | 10122052 |     1287  19809 |        0 |        0
1092.53/1092.92	c 1092s |      26 | 12499023 | 10140752 |     1287  19838 |        0 |        0
1094.53/1094.92	c 1094s |      26 | 12523035 | 10159652 |     1287  19867 |        0 |        0
1096.53/1096.93	c 1096s |      26 | 12546460 | 10178652 |     1287  19896 |        0 |        0
1098.53/1098.93	c 1098s |      26 | 12571614 | 10197752 |     1287  19926 |        0 |        0
1100.52/1100.93	c 1100s |      26 | 12595933 | 10216852 |     1287  19955 |        0 |        0
1102.52/1102.94	c 1102s |      26 | 12618476 | 10235152 |     1287  19983 |        0 |        0
1104.52/1104.95	c 1104s |      26 | 12640232 | 10252652 |     1287  20010 |        0 |        0
1106.52/1106.95	c 1106s |      26 | 12660724 | 10269752 |     1287  20036 |        0 |        0
1108.53/1108.97	c 1108s |      26 | 12680311 | 10286352 |     1287  20062 |        0 |        0
1110.52/1110.97	c 1110s |      26 | 12704756 | 10305552 |     1287  20092 |        0 |        0
1112.52/1112.98	c 1112s |      26 | 12730612 | 10325352 |     1287  20122 |        0 |        0
1114.52/1114.98	c 1114s |      26 | 12754853 | 10344052 |     1287  20151 |        0 |        0
1116.52/1116.99	c 1116s |      26 | 12779449 | 10363252 |     1287  20180 |        0 |        0
1118.62/1119.00	c 1118s |      26 | 12804258 | 10382452 |     1287  20210 |        0 |        0
1120.52/1121.00	c 1120s |      26 | 12830544 | 10402052 |     1287  20240 |        0 |        0
1122.62/1123.00	c 1122s |      26 | 12855405 | 10421252 |     1287  20270 |        0 |        0
1124.62/1125.00	c 1124s |      26 | 12881317 | 10440952 |     1287  20300 |        0 |        0
1126.62/1127.00	c 1126s |      26 | 12908883 | 10461652 |     1287  20332 |        0 |        0
1128.61/1129.01	c 1128s |      26 | 12932724 | 10480252 |     1287  20361 |        0 |        0
1130.61/1131.02	c 1131s |      26 | 12956993 | 10499152 |     1287  20390 |        0 |        0
1132.62/1133.02	c 1133s |      26 | 12983291 | 10518552 |     1287  20420 |        0 |        0
1134.61/1135.02	c 1135s |      26 | 13006191 | 10536852 |     1287  20448 |        0 |        0
1136.62/1137.03	c 1137s |      26 | 13028627 | 10554652 |     1287  20475 |        0 |        0
1138.62/1139.03	c 1139s |      26 | 13050865 | 10572452 |     1287  20502 |        0 |        0
1140.62/1141.04	c 1141s |      26 | 13071515 | 10589552 |     1287  20529 |        0 |        0
1142.63/1143.04	c 1143s |      26 | 13093260 | 10607352 |     1287  20556 |        0 |        0
1144.62/1145.05	c 1145s |      26 | 13111930 | 10623352 |     1287  20581 |        0 |        0
1146.62/1147.05	c 1147s |      26 | 13132604 | 10640352 |     1287  20607 |        0 |        0
1148.62/1149.06	c 1149s |      26 | 13153859 | 10657852 |     1287  20634 |        0 |        0
1150.62/1151.06	c 1151s |      26 | 13177649 | 10676152 |     1287  20662 |        0 |        0
1152.62/1153.07	c 1153s |      26 | 13199318 | 10694052 |     1287  20689 |        0 |        0
1154.62/1155.08	c 1155s |      26 | 13224390 | 10713052 |     1287  20718 |        0 |        0
1156.62/1157.08	c 1157s |      26 | 13249853 | 10732252 |     1287  20748 |        0 |        0
1158.61/1159.08	c 1159s |      26 | 13274741 | 10751652 |     1287  20778 |        0 |        0
1160.61/1161.08	c 1161s |      26 | 13299721 | 10770952 |     1287  20807 |        0 |        0
1162.61/1163.08	c 1163s |      26 | 13326797 | 10790852 |     1287  20838 |        0 |        0
1164.62/1165.09	c 1165s |      26 | 13351224 | 10809852 |     1287  20866 |        1 |        3
1166.61/1167.09	c 1167s |      26 | 13373807 | 10828052 |     1287  20894 |        1 |        3
1168.61/1169.09	c 1169s |      26 | 13395672 | 10845952 |     1287  20922 |        1 |        3
1170.71/1171.11	c 1171s |      26 | 13418152 | 10863752 |     1287  20949 |        1 |        3
1172.71/1173.11	c 1173s |      26 | 13436000 | 10879252 |     1287  20973 |        1 |        3
1174.71/1175.11	c 1175s |      26 | 13457446 | 10896152 |     1287  20999 |        1 |        3
1176.72/1177.12	c 1177s |      26 | 13480297 | 10913852 |     1287  21026 |        1 |        3
1178.71/1179.13	c 1179s |      26 | 13501402 | 10931152 |     1287  21052 |        1 |        3
1180.71/1181.14	c 1181s |      26 | 13523481 | 10948852 |     1287  21080 |        1 |        3
1182.71/1183.15	c 1183s |      26 | 13544193 | 10965652 |     1287  21105 |        1 |        3
1184.71/1185.15	c 1185s |      26 | 13564440 | 10982552 |     1287  21131 |        1 |        3
1186.71/1187.16	c 1187s |      26 | 13581984 | 10998052 |     1287  21155 |        1 |        3
1188.72/1189.17	c 1189s |      26 | 13599577 | 11013352 |     1287  21179 |        1 |        3
1190.71/1191.18	c 1191s |      26 | 13617281 | 11028452 |     1287  21202 |        1 |        3
1192.71/1193.19	c 1193s |      26 | 13635811 | 11044352 |     1287  21226 |        1 |        3
1194.71/1195.19	c 1195s |      26 | 13654675 | 11060452 |     1287  21251 |        1 |        3
1196.81/1197.20	c 1197s |      26 | 13674909 | 11077252 |     1287  21277 |        1 |        3
1198.81/1199.21	c 1199s |      26 | 13697736 | 11095252 |     1287  21304 |        1 |        3
1200.82/1201.21	c 1201s |      26 | 13720083 | 11113252 |     1287  21332 |        1 |        3
1202.81/1203.22	c 1203s |      26 | 13743059 | 11131652 |     1287  21361 |        1 |        3
1204.81/1205.22	c 1205s |      26 | 13765139 | 11149352 |     1287  21388 |        1 |        3
1206.81/1207.23	c 1207s |      26 | 13786250 | 11166752 |     1287  21415 |        1 |        3
1208.81/1209.23	c 1209s |      26 | 13806825 | 11183952 |     1287  21441 |        1 |        3
1210.81/1211.23	c 1211s |      26 | 13828982 | 11201852 |     1287  21469 |        1 |        3
1212.81/1213.24	c 1213s |      26 | 13850576 | 11219452 |     1287  21496 |        1 |        3
1214.81/1215.24	c 1215s |      26 | 13870642 | 11236152 |     1287  21521 |        1 |        3
1216.81/1217.25	c 1217s |      26 | 13893049 | 11254052 |     1287  21549 |        1 |        3
1218.81/1219.25	c 1219s |      26 | 13915719 | 11272252 |     1287  21577 |        1 |        3
1220.80/1221.26	c 1221s |      26 | 13938005 | 11290152 |     1287  21604 |        1 |        3
1222.81/1223.28	c 1223s |      26 | 13961140 | 11308352 |     1287  21632 |        1 |        3
1224.80/1225.29	c 1225s |      26 | 13983085 | 11325952 |     1416  21658 |        1 |        3
1226.80/1227.29	c 1227s |      26 | 14002745 | 11342352 |     1416  21681 |        1 |        3
1228.90/1229.30	c 1229s |      26 | 14024102 | 11359652 |     1416  21705 |        1 |        3
1230.90/1231.31	c 1231s |      26 | 14044666 | 11376652 |     1416  21729 |        1 |        3
1232.90/1233.32	c 1233s |      26 | 14064137 | 11393052 |     1416  21752 |        1 |        3
1233.40/1233.82	c 1233s |      27 | 14068404 | 11396733 |     1416  21757 |        1 |        3
1235.40/1235.82	c 1235s |      27 | 14089679 | 11413733 |     1416  21781 |        1 |        3
1237.40/1237.83	c 1237s |      27 | 14109316 | 11430633 |     1416  21804 |        1 |        3
1239.41/1239.83	c 1239s |      27 | 14128347 | 11447033 |     1416  21827 |        1 |        3
1241.40/1241.83	c 1241s |      27 | 14149070 | 11464433 |     1416  21852 |        1 |        3
1243.40/1243.85	c 1243s |      27 | 14172291 | 11482633 |     1416  21877 |        1 |        3
1245.40/1245.86	c 1245s |      27 | 14191591 | 11499233 |     1416  21900 |        1 |        3
1247.40/1247.86	c 1247s |      27 | 14213336 | 11517033 |     1416  21925 |        1 |        3
1249.41/1249.87	c 1249s |      27 | 14236539 | 11535233 |     1416  21950 |        1 |        3
1251.41/1251.88	c 1251s |      27 | 14260934 | 11554033 |     1416  21977 |        1 |        3
1253.40/1253.89	c 1253s |      27 | 14279901 | 11570133 |     1416  21999 |        1 |        3
1255.40/1255.89	c 1255s |      27 | 14301716 | 11587233 |     1416  22023 |        1 |        3
1257.50/1257.90	c 1257s |      27 | 14324701 | 11605033 |     1416  22048 |        1 |        3
1259.50/1259.91	c 1259s |      27 | 14347259 | 11623233 |     1416  22074 |        1 |        3
1261.50/1261.92	c 1261s |      27 | 14371197 | 11641833 |     1416  22100 |        1 |        3
1263.51/1263.93	c 1263s |      27 | 14395081 | 11660433 |     1416  22126 |        1 |        3
1265.50/1265.94	c 1265s |      27 | 14415010 | 11677433 |     1416  22149 |        1 |        3
1267.50/1267.95	c 1267s |      27 | 14435123 | 11694433 |     1416  22173 |        1 |        3
1269.50/1269.95	c 1269s |      27 | 14459271 | 11713433 |     1416  22200 |        1 |        3
1271.50/1271.96	c 1271s |      27 | 14480138 | 11730833 |     1416  22224 |        1 |        3
1273.51/1273.96	c 1273s |      27 | 14500130 | 11747533 |     1416  22247 |        1 |        3
1275.50/1275.97	c 1275s |      27 | 14520568 | 11764533 |     1416  22271 |        1 |        3
1277.50/1277.98	c 1277s |      27 | 14539714 | 11780733 |     1416  22294 |        1 |        3
1279.50/1279.99	c 1279s |      27 | 14559462 | 11797433 |     1416  22317 |        1 |        3
1281.50/1281.99	c 1281s |      27 | 14581968 | 11815233 |     1416  22342 |        1 |        3
1283.60/1284.00	c 1283s |      27 | 14602774 | 11832333 |     1416  22366 |        1 |        3
1285.50/1286.00	c 1285s |      27 | 14621109 | 11848033 |     1416  22388 |        1 |        3
1287.60/1288.01	c 1287s |      27 | 14641224 | 11864733 |     1416  22412 |        1 |        3
1289.59/1290.01	c 1289s |      27 | 14661807 | 11881733 |     1416  22436 |        1 |        3
1291.59/1292.01	c 1291s |      27 | 14682133 | 11898633 |     1416  22459 |        1 |        3
1293.59/1294.02	c 1294s |      27 | 14701405 | 11915333 |     1416  22483 |        1 |        3
1295.59/1296.03	c 1296s |      27 | 14721249 | 11932233 |     1416  22506 |        1 |        3
1297.60/1298.04	c 1298s |      27 | 14741320 | 11949033 |     1416  22530 |        1 |        3
1299.59/1300.05	c 1300s |      27 | 14760409 | 11965133 |     1416  22552 |        1 |        3
1301.59/1302.05	c 1302s |      27 | 14781641 | 11982033 |     1416  22576 |        1 |        3
1303.59/1304.05	c 1304s |      27 | 14800687 | 11997633 |     1416  22598 |        1 |        3
1305.59/1306.06	c 1306s |      27 | 14821898 | 12014433 |     1416  22621 |        1 |        3
1307.60/1308.06	c 1308s |      27 | 14839901 | 12030033 |     1416  22643 |        1 |        3
1309.59/1310.07	c 1310s |      27 | 14859597 | 12046133 |     1416  22665 |        1 |        3
1311.59/1312.07	c 1312s |      27 | 14880139 | 12062933 |     1416  22689 |        1 |        3
1313.59/1314.07	c 1314s |      27 | 14898985 | 12078733 |     1416  22711 |        1 |        3
1315.59/1316.07	c 1316s |      27 | 14917453 | 12094633 |     1416  22733 |        1 |        3
1317.59/1318.08	c 1318s |      27 | 14938058 | 12111233 |     1416  22756 |        1 |        3
1319.59/1320.08	c 1320s |      27 | 14957517 | 12127333 |     1416  22779 |        1 |        3
1321.59/1322.09	c 1322s |      27 | 14977047 | 12143533 |     1416  22802 |        1 |        3
1323.68/1324.10	c 1324s |      27 | 14994984 | 12159133 |     1416  22823 |        1 |        3
1325.68/1326.11	c 1326s |      27 | 15014332 | 12175233 |     1416  22846 |        1 |        3
1327.68/1328.12	c 1328s |      27 | 15033763 | 12191333 |     1416  22868 |        1 |        3
1329.69/1330.13	c 1330s |      27 | 15052793 | 12207633 |     1416  22891 |        1 |        3
1331.70/1332.13	c 1332s |      27 | 15069949 | 12222933 |     1416  22913 |        1 |        3
1333.69/1334.14	c 1334s |      27 | 15088254 | 12238533 |     1416  22934 |        1 |        3
1335.69/1336.15	c 1336s |      27 | 15107090 | 12254333 |     1416  22957 |        1 |        3
1337.69/1338.15	c 1338s |      27 | 15127266 | 12270833 |     1416  22980 |        1 |        3
1339.69/1340.17	c 1340s |      27 | 15145180 | 12286533 |     1416  23001 |        1 |        3
1341.70/1342.17	c 1342s |      27 | 15164445 | 12302733 |     1416  23024 |        1 |        3
1343.69/1344.18	c 1344s |      27 | 15184497 | 12319533 |     1416  23048 |        1 |        3
1345.69/1346.19	c 1346s |      27 | 15204659 | 12336233 |     1416  23071 |        1 |        3
1347.69/1348.19	c 1348s |      27 | 15223121 | 12352233 |     1416  23093 |        1 |        3
1349.79/1350.20	c 1350s |      27 | 15240888 | 12367833 |     1416  23115 |        1 |        3
1351.79/1352.21	c 1352s |      27 | 15258681 | 12383333 |     1416  23137 |        1 |        3
1353.79/1354.22	c 1354s |      27 | 15275693 | 12398233 |     1416  23158 |        1 |        3
1355.79/1356.22	c 1356s |      27 | 15293773 | 12413733 |     1416  23179 |        1 |        3
1357.79/1358.22	c 1358s |      27 | 15309726 | 12428233 |     1416  23200 |        1 |        3
1359.79/1360.23	c 1360s |      27 | 15326851 | 12443233 |     1416  23221 |        1 |        3
1361.79/1362.24	c 1362s |      27 | 15343535 | 12457933 |     1416  23241 |        1 |        3
1363.78/1364.25	c 1364s |      27 | 15362148 | 12473733 |     1416  23263 |        1 |        3
1365.79/1366.26	c 1366s |      27 | 15379551 | 12489033 |     1416  23284 |        1 |        3
1367.78/1368.27	c 1368s |      27 | 15397027 | 12504533 |     1416  23306 |        1 |        3
1369.78/1370.28	c 1370s |      27 | 15415255 | 12520333 |     1416  23328 |        1 |        3
1371.78/1372.29	c 1372s |      27 | 15432447 | 12535333 |     1416  23349 |        1 |        3
1373.88/1374.30	c 1374s |      27 | 15451211 | 12551333 |     1416  23372 |        1 |        3
1375.88/1376.30	c 1376s |      27 | 15471050 | 12567733 |     1416  23395 |        1 |        3
1377.89/1378.31	c 1378s |      27 | 15492005 | 12584833 |     1416  23419 |        1 |        3
1379.88/1380.32	c 1380s |      27 | 15511551 | 12601533 |     1416  23442 |        1 |        3
1381.88/1382.33	c 1382s |      27 | 15530702 | 12617933 |     1416  23465 |        1 |        3
1383.88/1384.34	c 1384s |      27 | 15550994 | 12634433 |     1416  23488 |        1 |        3
1385.88/1386.35	c 1386s |      27 | 15570983 | 12650833 |     1416  23511 |        1 |        3
1387.89/1388.36	c 1388s |      27 | 15592155 | 12667533 |     1416  23534 |        1 |        3
1389.88/1390.36	c 1390s |      27 | 15612071 | 12683933 |     1416  23557 |        1 |        3
1391.88/1392.37	c 1392s |      27 | 15631634 | 12700333 |     1416  23580 |        1 |        3
1393.88/1394.38	c 1394s |      27 | 15651724 | 12716933 |     1416  23603 |        1 |        3
1395.88/1396.39	c 1396s |      27 | 15670844 | 12732933 |     1416  23626 |        1 |        3
1397.88/1398.39	c 1398s |      27 | 15689756 | 12748733 |     1416  23648 |        1 |        3
1399.88/1400.40	c 1400s |      27 | 15708198 | 12764733 |     1416  23670 |        1 |        3
1401.98/1402.40	c 1402s |      27 | 15726209 | 12780533 |     1416  23692 |        1 |        3
1403.98/1404.41	c 1404s |      27 | 15745854 | 12797033 |     1416  23716 |        1 |        3
1405.98/1406.41	c 1406s |      27 | 15765119 | 12813433 |     1416  23739 |        1 |        3
1407.97/1408.41	c 1408s |      27 | 15785744 | 12830533 |     1416  23763 |        1 |        3
1409.97/1410.42	c 1410s |      27 | 15808583 | 12848433 |     1416  23788 |        1 |        3
1411.98/1412.42	c 1412s |      27 | 15827910 | 12864733 |     1416  23811 |        1 |        3
1413.97/1414.43	c 1414s |      27 | 15847844 | 12881133 |     1416  23834 |        1 |        3
1415.97/1416.44	c 1416s |      27 | 15866242 | 12896833 |     1416  23856 |        1 |        3
1417.97/1418.45	c 1418s |      27 | 15883715 | 12912033 |     1416  23877 |        1 |        3
1419.97/1420.45	c 1420s |      27 | 15902728 | 12927633 |     1416  23899 |        1 |        3
1421.98/1422.46	c 1422s |      27 | 15919962 | 12942133 |     1416  23919 |        1 |        3
1423.98/1424.47	c 1424s |      27 | 15939482 | 12958133 |     1416  23942 |        1 |        3
1425.98/1426.47	c 1426s |      27 | 15958825 | 12974033 |     1416  23964 |        1 |        3
1427.98/1428.48	c 1428s |      27 | 15977514 | 12989833 |     1416  23986 |        1 |        3
1429.98/1430.49	c 1430s |      27 | 15997190 | 13005933 |     1416  24009 |        1 |        3
1431.98/1432.49	c 1432s |      27 | 16016701 | 13022333 |     1416  24032 |        1 |        3
1434.08/1434.50	c 1434s |      27 | 16037586 | 13039633 |     1416  24056 |        1 |        3
1436.07/1436.51	c 1436s |      27 | 16058509 | 13056733 |     1416  24080 |        1 |        3
1438.07/1438.52	c 1438s |      27 | 16081725 | 13074933 |     1416  24105 |        1 |        3
1440.07/1440.52	c 1440s |      27 | 16104041 | 13092633 |     1416  24130 |        1 |        3
1442.07/1442.53	c 1442s |      27 | 16124338 | 13109633 |     1416  24154 |        1 |        3
1444.07/1444.53	c 1444s |      27 | 16144439 | 13126133 |     1416  24177 |        1 |        3
1446.08/1446.54	c 1446s |      27 | 16164045 | 13142533 |     1416  24200 |        1 |        3
1448.07/1448.55	c 1448s |      27 | 16186803 | 13159833 |     1416  24224 |        1 |        3
1450.07/1450.55	c 1450s |      27 | 16208598 | 13177133 |     1416  24248 |        1 |        3
1452.07/1452.56	c 1452s |      27 | 16231514 | 13195133 |     1416  24273 |        1 |        3
1454.07/1454.57	c 1454s |      27 | 16253385 | 13212933 |     1416  24298 |        1 |        3
1456.08/1456.57	c 1456s |      27 | 16273159 | 13229633 |     1416  24322 |        1 |        3
1458.07/1458.58	c 1458s |      27 | 16292608 | 13246133 |     1416  24345 |        1 |        3
1460.07/1460.59	c 1460s |      27 | 16313481 | 13263433 |     1416  24369 |        1 |        3
1462.17/1462.60	c 1462s |      27 | 16335065 | 13280833 |     1416  24394 |        1 |        3
1464.17/1464.61	c 1464s |      27 | 16356834 | 13298533 |     1416  24418 |        1 |        3
1466.17/1466.62	c 1466s |      27 | 16375842 | 13314833 |     1416  24441 |        1 |        3
1468.17/1468.62	c 1468s |      27 | 16396102 | 13331733 |     1416  24465 |        1 |        3
1470.17/1470.62	c 1470s |      27 | 16416123 | 13348533 |     1416  24488 |        1 |        3
1472.17/1472.63	c 1472s |      27 | 16434440 | 13364233 |     1416  24510 |        1 |        3
1474.17/1474.63	c 1474s |      27 | 16453683 | 13380633 |     1416  24533 |        1 |        3
1476.16/1476.64	c 1476s |      27 | 16472850 | 13396833 |     1416  24556 |        1 |        3
1478.16/1478.65	c 1478s |      27 | 16491734 | 13412933 |     1416  24578 |        1 |        3
1480.17/1480.66	c 1480s |      27 | 16510695 | 13429133 |     1416  24601 |        1 |        3
1482.16/1482.66	c 1482s |      27 | 16531910 | 13446433 |     1416  24625 |        1 |        3
1484.16/1484.67	c 1484s |      27 | 16550994 | 13462533 |     1416  24648 |        1 |        3
1486.16/1486.67	c 1486s |      27 | 16571881 | 13479333 |     1416  24671 |        1 |        3
1488.16/1488.69	c 1488s |      27 | 16592388 | 13496033 |     1416  24694 |        1 |        3
1490.26/1490.70	c 1490s |      27 | 16613574 | 13513133 |     1416  24718 |        1 |        3
1492.27/1492.70	c 1492s |      27 | 16634128 | 13529833 |     1416  24742 |        1 |        3
1494.27/1494.71	c 1494s |      27 | 16654569 | 13546433 |     1416  24765 |        1 |        3
1496.27/1496.71	c 1496s |      27 | 16675970 | 13563233 |     1416  24788 |        1 |        3
1498.27/1498.72	c 1498s |      27 | 16695195 | 13579433 |     1416  24811 |        1 |        3
1500.27/1500.72	c 1500s |      27 | 16714661 | 13595533 |     1416  24834 |        1 |        3
1502.27/1502.73	c 1502s |      27 | 16734523 | 13611833 |     1416  24856 |        1 |        3
1504.26/1504.73	c 1504s |      27 | 16754914 | 13628333 |     1416  24879 |        1 |        3
1506.26/1506.73	c 1506s |      27 | 16775503 | 13645033 |     1416  24903 |        1 |        3
1508.26/1508.74	c 1508s |      27 | 16794277 | 13660933 |     1416  24925 |        1 |        3
1510.26/1510.74	c 1510s |      27 | 16813418 | 13676833 |     1416  24947 |        1 |        3
1512.26/1512.75	c 1512s |      27 | 16832079 | 13692433 |     1416  24969 |        1 |        3
1514.27/1514.76	c 1514s |      27 | 16850915 | 13708133 |     1416  24991 |        1 |        3
1516.26/1516.77	c 1516s |      27 | 16872175 | 13724733 |     1416  25014 |        1 |        3
1518.26/1518.78	c 1518s |      27 | 16891715 | 13741033 |     1416  25037 |        1 |        3
1520.26/1520.79	c 1520s |      27 | 16911247 | 13757233 |     1416  25060 |        1 |        3
1522.26/1522.79	c 1522s |      27 | 16931517 | 13773933 |     1416  25083 |        1 |        3
1524.36/1524.80	c 1524s |      27 | 16949774 | 13789733 |     1416  25105 |        1 |        3
1526.26/1526.80	c 1526s |      27 | 16968002 | 13805333 |     1416  25127 |        1 |        3
1528.36/1528.81	c 1528s |      27 | 16987328 | 13821433 |     1416  25149 |        1 |        3
1530.36/1530.82	c 1530s |      27 | 17007694 | 13838033 |     1416  25173 |        1 |        3
1532.36/1532.82	c 1532s |      27 | 17029502 | 13855333 |     1416  25197 |        1 |        3
1534.36/1534.83	c 1534s |      27 | 17050784 | 13872333 |     1416  25221 |        1 |        3
1536.36/1536.83	c 1536s |      27 | 17073008 | 13889833 |     1416  25245 |        1 |        3
1538.36/1538.83	c 1538s |      27 | 17093485 | 13906633 |     1416  25269 |        1 |        3
1540.35/1540.83	c 1540s |      27 | 17116865 | 13924633 |     1416  25294 |        1 |        3
1542.35/1542.84	c 1542s |      27 | 17142889 | 13943633 |     1416  25320 |        1 |        3
1544.35/1544.85	c 1544s |      27 | 17166249 | 13961633 |     1416  25346 |        1 |        3
1546.35/1546.85	c 1546s |      27 | 17188778 | 13979333 |     1416  25371 |        1 |        3
1548.36/1548.85	c 1548s |      27 | 17212992 | 13997633 |     1416  25396 |        1 |        3
1550.35/1550.85	c 1550s |      27 | 17232226 | 14013533 |     1416  25418 |        1 |        3
1552.35/1552.86	c 1552s |      27 | 17250336 | 14029033 |     1416  25440 |        1 |        3
1554.35/1554.87	c 1554s |      27 | 17267347 | 14043933 |     1416  25461 |        1 |        3
1556.35/1556.87	c 1556s |      27 | 17284242 | 14058833 |     1416  25482 |        1 |        3
1558.36/1558.88	c 1558s |      27 | 17302062 | 14074433 |     1416  25504 |        1 |        3
1560.35/1560.88	c 1560s |      27 | 17321794 | 14090733 |     1416  25526 |        1 |        3
1562.35/1562.89	c 1562s |      27 | 17342336 | 14107433 |     1416  25550 |        1 |        3
1564.35/1564.89	c 1564s |      27 | 17362222 | 14123933 |     1416  25573 |        1 |        3
1566.45/1566.90	c 1566s |      27 | 17381411 | 14139833 |     1416  25595 |        1 |        3
1568.45/1568.91	c 1568s |      27 | 17398293 | 14154633 |     1416  25616 |        1 |        3
1570.45/1570.91	c 1570s |      27 | 17415728 | 14169433 |     1416  25636 |        1 |        3
1572.45/1572.92	c 1572s |      27 | 17433950 | 14184833 |     1416  25658 |        1 |        3
1574.45/1574.94	c 1574s |      27 | 17451851 | 14200233 |     1416  25680 |        1 |        3
1576.45/1576.94	c 1576s |      27 | 17470061 | 14215633 |     1416  25701 |        1 |        3
1578.45/1578.95	c 1578s |      27 | 17488279 | 14230933 |     1416  25723 |        1 |        3
1580.45/1580.96	c 1580s |      27 | 17506487 | 14246533 |     1416  25745 |        1 |        3
1582.46/1582.97	c 1582s |      27 | 17524570 | 14261833 |     1416  25766 |        1 |        3
1584.45/1584.98	c 1584s |      27 | 17542101 | 14276833 |     1416  25787 |        1 |        3
1586.45/1586.99	c 1586s |      27 | 17560957 | 14292933 |     1416  25809 |        1 |        3
1588.45/1588.99	c 1588s |      27 | 17578158 | 14308033 |     1416  25831 |        1 |        3
1590.55/1591.00	c 1590s |      27 | 17598560 | 14324733 |     1416  25854 |        1 |        3
1592.55/1593.01	c 1592s |      27 | 17618489 | 14341033 |     1416  25877 |        1 |        3
1594.56/1595.01	c 1594s |      27 | 17638100 | 14357133 |     1416  25899 |        1 |        3
1596.55/1597.02	c 1597s |      27 | 17658238 | 14373633 |     1416  25923 |        1 |        3
1598.55/1599.02	c 1599s |      27 | 17676308 | 14389233 |     1416  25944 |        1 |        3
1600.55/1601.03	c 1601s |      27 | 17695191 | 14405233 |     1416  25967 |        1 |        3
1602.55/1603.04	c 1603s |      27 | 17713942 | 14421333 |     1416  25989 |        1 |        3
1604.56/1605.05	c 1605s |      27 | 17732311 | 14437233 |     1416  26012 |        1 |        3
1606.55/1607.06	c 1607s |      27 | 17750739 | 14452833 |     1416  26033 |        1 |        3
1608.55/1609.06	c 1609s |      27 | 17770851 | 14469033 |     1416  26056 |        1 |        3
1610.55/1611.07	c 1611s |      27 | 17789938 | 14484733 |     1416  26078 |        1 |        3
1612.55/1613.08	c 1613s |      27 | 17808735 | 14500433 |     1416  26100 |        1 |        3
1614.55/1615.09	c 1615s |      27 | 17827115 | 14516333 |     1416  26122 |        1 |        3
1616.55/1617.10	c 1617s |      27 | 17846714 | 14532533 |     1416  26145 |        1 |        3
1618.65/1619.11	c 1619s |      27 | 17864084 | 14547733 |     1416  26166 |        1 |        3
1620.65/1621.12	c 1621s |      27 | 17881513 | 14563033 |     1416  26188 |        1 |        3
1622.65/1623.12	c 1623s |      27 | 17899359 | 14578133 |     1416  26209 |        1 |        3
1624.64/1625.13	c 1625s |      27 | 17917270 | 14593433 |     1416  26230 |        1 |        3
1626.64/1627.15	c 1627s |      27 | 17934102 | 14607933 |     1416  26251 |        1 |        3
1628.65/1629.16	c 1629s |      27 | 17950600 | 14622533 |     1416  26271 |        1 |        3
1630.64/1631.17	c 1631s |      27 | 17968255 | 14637633 |     1416  26292 |        1 |        3
1632.64/1633.17	c 1633s |      27 | 17986480 | 14653433 |     1416  26314 |        1 |        3
1634.64/1635.17	c 1635s |      27 | 18004598 | 14668633 |     1416  26336 |        1 |        3
1636.64/1637.17	c 1637s |      27 | 18021119 | 14683033 |     1416  26356 |        1 |        3
1638.65/1639.18	c 1639s |      27 | 18038473 | 14698033 |     1416  26377 |        1 |        3
1640.64/1641.18	c 1641s |      27 | 18055627 | 14713033 |     1416  26398 |        1 |        3
1642.64/1643.19	c 1643s |      27 | 18072356 | 14727633 |     1416  26418 |        1 |        3
1644.74/1645.21	c 1645s |      27 | 18090219 | 14742833 |     1416  26440 |        1 |        3
1646.74/1647.21	c 1647s |      27 | 18107780 | 14758033 |     1416  26461 |        1 |        3
1648.74/1649.21	c 1649s |      27 | 18125076 | 14773133 |     1416  26482 |        1 |        3
1650.74/1651.23	c 1651s |      27 | 18142123 | 14788133 |     1416  26503 |        1 |        3
1652.74/1653.23	c 1653s |      27 | 18160548 | 14803633 |     1416  26525 |        1 |        3
1654.74/1655.23	c 1655s |      27 | 18179848 | 14819733 |     1416  26548 |        1 |        3
1656.74/1657.24	c 1657s |      27 | 18200296 | 14836433 |     1416  26571 |        1 |        3
1658.73/1659.25	c 1659s |      27 | 18223417 | 14854433 |     1416  26596 |        1 |        3
1660.73/1661.25	c 1661s |      27 | 18245175 | 14871733 |     1416  26620 |        1 |        3
1662.74/1663.25	c 1663s |      27 | 18267844 | 14889433 |     1416  26645 |        1 |        3
1664.73/1665.26	c 1665s |      27 | 18289705 | 14906433 |     1416  26669 |        1 |        3
1666.73/1667.26	c 1667s |      27 | 18309227 | 14922733 |     1416  26691 |        1 |        3
1668.73/1669.27	c 1669s |      27 | 18330068 | 14939933 |     1416  26716 |        1 |        3
1670.73/1671.28	c 1671s |      27 | 18349220 | 14956533 |     1416  26739 |        1 |        3
1672.74/1673.29	c 1673s |      27 | 18369985 | 14973633 |     1416  26763 |        1 |        3
1674.73/1675.29	c 1675s |      27 | 18390928 | 14990733 |     1416  26787 |        1 |        3
1676.83/1677.30	c 1677s |      27 | 18411732 | 15007833 |     1416  26810 |        1 |        3
1678.83/1679.30	c 1679s |      27 | 18432270 | 15024633 |     1416  26834 |        1 |        3
1680.83/1681.30	c 1681s |      27 | 18454134 | 15042333 |     1416  26859 |        1 |        3
1682.83/1683.31	c 1683s |      27 | 18477184 | 15060333 |     1416  26884 |        1 |        3
1684.84/1685.32	c 1685s |      27 | 18499594 | 15078133 |     1416  26909 |        1 |        3
1686.83/1687.33	c 1687s |      27 | 18522193 | 15095433 |     1416  26933 |        1 |        3
1688.84/1689.34	c 1689s |      27 | 18542967 | 15112133 |     1416  26956 |        1 |        3
1690.84/1691.34	c 1691s |      27 | 18563905 | 15129233 |     1416  26980 |        1 |        3
1692.84/1693.35	c 1693s |      27 | 18585646 | 15146833 |     1416  27005 |        1 |        3
1694.84/1695.36	c 1695s |      27 | 18607609 | 15164833 |     1416  27030 |        1 |        3
1696.84/1697.36	c 1697s |      27 | 18627937 | 15181933 |     1416  27054 |        1 |        3
1698.83/1699.37	c 1699s |      27 | 18650642 | 15199633 |     1416  27079 |        1 |        3
1700.83/1701.38	c 1701s |      27 | 18673203 | 15217133 |     1416  27103 |        1 |        3
1702.83/1703.38	c 1703s |      27 | 18695186 | 15234333 |     1416  27127 |        1 |        3
1704.83/1705.38	c 1705s |      27 | 18717576 | 15252233 |     1416  27152 |        1 |        3
1706.84/1707.39	c 1707s |      27 | 18738208 | 15269233 |     1416  27176 |        1 |        3
1708.83/1709.40	c 1709s |      27 | 18757749 | 15285833 |     1416  27199 |        1 |        3
1710.93/1711.41	c 1711s |      27 | 18777179 | 15302333 |     1416  27223 |        1 |        3
1712.93/1713.42	c 1713s |      27 | 18800930 | 15320333 |     1416  27248 |        1 |        3
1714.93/1715.42	c 1715s |      27 | 18823257 | 15337933 |     1416  27273 |        1 |        3
1716.93/1717.44	c 1717s |      27 | 18843856 | 15354433 |     1416  27296 |        2 |        6
1718.94/1719.44	c 1719s |      27 | 18864474 | 15371233 |     1416  27319 |        2 |        6
1720.93/1721.45	c 1721s |      27 | 18884549 | 15387733 |     1416  27342 |        2 |        6
1722.93/1723.45	c 1723s |      27 | 18906284 | 15404833 |     1416  27366 |        2 |        6
1724.93/1725.46	c 1725s |      27 | 18927263 | 15421833 |     1416  27389 |        2 |        6
1726.93/1727.46	c 1727s |      27 | 18950117 | 15440133 |     1416  27415 |        2 |        6
1728.93/1729.47	c 1729s |      27 | 18973669 | 15458133 |     1416  27440 |        2 |        6
1730.93/1731.48	c 1731s |      27 | 18995400 | 15475533 |     1416  27464 |        2 |        6
1732.93/1733.49	c 1733s |      27 | 19018551 | 15493433 |     1416  27490 |        2 |        6
1735.03/1735.50	c 1735s |      27 | 19041203 | 15511033 |     1416  27514 |        2 |        6
1737.02/1737.50	c 1737s |      27 | 19063383 | 15528733 |     1416  27539 |        2 |        6
1739.02/1739.52	c 1739s |      27 | 19084346 | 15545633 |     1416  27563 |        2 |        6
1741.02/1741.53	c 1741s |      27 | 19108273 | 15563133 |     1416  27587 |        2 |        6
1743.03/1743.53	c 1743s |      27 | 19131298 | 15581233 |     1416  27612 |        2 |        6
1745.02/1745.54	c 1745s |      27 | 19153631 | 15598833 |     1416  27637 |        2 |        6
1747.02/1747.54	c 1747s |      27 | 19176232 | 15616133 |     1416  27661 |        2 |        6
1749.02/1749.55	c 1749s |      27 | 19198447 | 15633733 |     1416  27686 |        2 |        6
1751.02/1751.56	c 1751s |      27 | 19220761 | 15651033 |     1416  27710 |        2 |        6
1753.03/1753.57	c 1753s |      27 | 19242513 | 15668333 |     1416  27734 |        2 |        6
1755.02/1755.57	c 1755s |      27 | 19262162 | 15684733 |     1416  27757 |        2 |        6
1757.03/1757.58	c 1757s |      27 | 19284856 | 15702233 |     1416  27782 |        2 |        6
1759.03/1759.59	c 1759s |      27 | 19306369 | 15719533 |     1416  27806 |        2 |        6
1761.03/1761.59	c 1761s |      27 | 19325265 | 15735533 |     1416  27828 |        2 |        6
1763.13/1763.60	c 1763s |      27 | 19346945 | 15752133 |     1416  27852 |        2 |        6
1765.13/1765.60	c 1765s |      27 | 19368570 | 15768933 |     1416  27875 |        2 |        6
1767.12/1767.61	c 1767s |      27 | 19389246 | 15785833 |     1416  27899 |        2 |        6
1769.12/1769.62	c 1769s |      27 | 19410401 | 15802733 |     1416  27922 |        2 |        6
1771.12/1771.62	c 1771s |      27 | 19432672 | 15820533 |     1416  27947 |        2 |        6
1773.12/1773.62	c 1773s |      27 | 19454524 | 15837933 |     1416  27971 |        2 |        6
1775.12/1775.63	c 1775s |      27 | 19473814 | 15854233 |     1416  27994 |        2 |        6
1777.13/1777.64	c 1777s |      27 | 19492666 | 15870333 |     1416  28017 |        2 |        6
1779.12/1779.65	c 1779s |      27 | 19513979 | 15887333 |     1416  28041 |        2 |        6
1781.12/1781.66	c 1781s |      27 | 19536102 | 15904833 |     1416  28065 |        2 |        6
1783.12/1783.67	c 1783s |      27 | 19558136 | 15922333 |     1416  28090 |        2 |        6
1785.12/1785.68	c 1785s |      27 | 19579376 | 15939833 |     1416  28114 |        2 |        6
1787.13/1787.68	c 1787s |      27 | 19602682 | 15957933 |     1416  28139 |        2 |        6
1789.12/1789.69	c 1789s |      27 | 19626739 | 15976133 |     1416  28165 |        2 |        6
1791.12/1791.69	c 1791s |      27 | 19646750 | 15993033 |     1416  28188 |        2 |        6
1793.12/1793.69	c 1793s |      27 | 19668540 | 16010433 |     1416  28213 |        2 |        6
1795.12/1795.69	c 1795s |      27 | 19690131 | 16027933 |     1416  28237 |        2 |        6
1797.22/1797.70	c 1797s |      27 | 19710955 | 16045033 |     1416  28261 |        2 |        6
1799.12/1799.70	c 1799s |      27 | 19733721 | 16063533 |     1416  28287 |        2 |        6

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-4122226-1467316322/watcher-4122226-1467316322 -o /tmp/evaluation-result-4122226-1467316322/solver-4122226-1467316322 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16107 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122226-1467316322.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.25 2.19 3/179 18030
/proc/meminfo: memFree=28007564/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=479676 CPUtime=0 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 1747 0 0 0 0 0 0 0 20 0 4 0 12593065 491188224 2619 33554432000 4194304 16246674 140735621932592 140735621932016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 120687 2629 441 2943 0 117581 0
[pid=18030/tid=18031] ppid=18027 vsize=497084 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 509014016 2687 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=501180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 513208320 2703 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=506300 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 518451200 2721 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.27 2.25 2.19 3/179 18030
/proc/meminfo: memFree=28007564/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 25476 0 0 0 5 3 0 0 20 0 4 0 12593065 1247350784 26337 33554432000 4194304 16246674 140735621932592 140735621914496 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 304529 26344 707 2943 0 301423 0
[pid=18030/tid=18031] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 26350 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 26358 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 26369 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200521 s]
/proc/loadavg: 2.27 2.25 2.19 3/179 18030
/proc/meminfo: memFree=28007564/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 48936 0 0 0 11 7 0 0 20 0 4 0 12593065 1247350784 49798 33554432000 4194304 16246674 140735621932592 140735621914496 12460548 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 304529 49810 707 2943 0 301423 0
[pid=18030/tid=18031] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 49819 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 49826 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 49833 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300436 s]
/proc/loadavg: 2.27 2.25 2.19 3/179 18030
/proc/meminfo: memFree=28007564/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 72508 0 0 0 17 11 0 0 20 0 4 0 12593065 1247350784 73369 33554432000 4194304 16246674 140735621932592 140735621914496 5589077 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 304529 73385 707 2943 0 301423 0
[pid=18030/tid=18031] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 73393 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 73403 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 73412 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700378 s]
/proc/loadavg: 2.27 2.25 2.19 3/179 18030
/proc/meminfo: memFree=28007564/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 165592 0 0 0 45 24 0 0 20 0 4 0 12593065 1247350784 166453 33554432000 4194304 16246674 140735621932592 140735621914496 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 304529 166461 707 2943 0 301423 0
[pid=18030/tid=18031] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 166467 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 166474 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 166480 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.27 2.25 2.19 3/183 18034
/proc/meminfo: memFree=27024000/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1218116 CPUtime=1.48 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 245498 0 0 0 115 33 0 0 20 0 4 0 12593065 1247350784 246339 33554432000 4194304 16246674 140735621932592 140735621931904 5589032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 304529 246339 785 2943 0 301423 0
[pid=18030/tid=18031] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 246339 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 246339 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1247350784 246339 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.10037 s]
/proc/loadavg: 2.27 2.25 2.19 3/182 18034
/proc/meminfo: memFree=26935836/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 267398 0 0 0 272 37 0 0 20 0 4 0 12593065 1337528320 268239 33554432000 4194304 16246674 140735621932592 140735621915592 5674844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 326545 268239 785 2943 0 323439 0
[pid=18030/tid=18031] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268239 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268239 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268239 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30037 s]
/proc/loadavg: 2.25 2.24 2.19 3/182 18034
/proc/meminfo: memFree=26935844/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 267399 0 0 0 592 37 0 0 20 0 4 0 12593065 1337528320 268240 33554432000 4194304 16246674 140735621932592 140735621915592 6020899 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 326545 268240 785 2943 0 323439 0
[pid=18030/tid=18031] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268240 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268240 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268240 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7005 s]
/proc/loadavg: 2.31 2.25 2.19 3/183 18035
/proc/meminfo: memFree=26935300/32872528 swapFree=1254916/1391864
[pid=18030] ppid=18027 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 267407 0 0 0 1232 37 0 0 20 0 4 0 12593065 1337528320 268248 33554432000 4194304 16246674 140735621932592 140735621915592 5823124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 326545 268248 787 2943 0 323439 0
[pid=18030/tid=18031] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268248 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268248 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268248 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.39 2.27 2.20 3/183 18035
/proc/meminfo: memFree=26936152/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 267431 0 0 0 2511 37 0 0 20 0 4 0 12593065 1337528320 268272 33554432000 4194304 16246674 140735621932592 140735621915592 13191802 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 326545 268272 787 2943 0 323439 0
[pid=18030/tid=18031] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268272 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268272 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268272 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.31 2.27 2.20 3/183 18035
/proc/meminfo: memFree=26935472/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 267496 0 0 0 5070 38 0 0 20 0 4 0 12593065 1337528320 268337 33554432000 4194304 16246674 140735621932592 140735621914496 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 326545 268337 788 2943 0 323439 0
[pid=18030/tid=18031] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268337 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268337 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268337 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.17 2.24 2.19 4/182 18036
/proc/meminfo: memFree=26935896/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 267496 0 0 0 10189 39 0 0 20 0 4 0 12593065 1337528320 268337 33554432000 4194304 16246674 140735621932592 140735621915592 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 326545 268337 788 2943 0 323439 0
[pid=18030/tid=18031] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268337 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268337 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1337528320 268337 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1338576896 268656 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 18139
/proc/meminfo: memFree=26924868/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1307204 CPUtime=1361.89 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 268169 0 0 0 136127 62 0 0 20 0 4 0 12593065 1338576896 268657 33554432000 4194304 16246674 140735621932592 140735621914496 6057354 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 326801 268657 791 2943 0 323695 0
[pid=18030/tid=18031] ppid=18027 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1338576896 268657 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1338576896 268657 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1338576896 268657 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 18140
/proc/meminfo: memFree=26923776/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1307204 CPUtime=1421.88 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 268169 0 0 0 142125 63 0 0 20 0 4 0 12593065 1338576896 268657 33554432000 4194304 16246674 140735621932592 140735621914496 5675088 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 326801 268657 791 2943 0 323695 0
[pid=18030/tid=18031] ppid=18027 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1338576896 268657 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1338576896 268657 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1338576896 268657 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 18141
/proc/meminfo: memFree=26923576/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1307204 CPUtime=1481.86 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 268169 0 0 0 148123 63 0 0 20 0 4 0 12593065 1338576896 268657 33554432000 4194304 16246674 140735621932592 140735621914496 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 326801 268657 791 2943 0 323695 0
[pid=18030/tid=18031] ppid=18027 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1338576896 268657 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1338576896 268657 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1338576896 268657 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.09 2.18 2.17 3/183 18143
/proc/meminfo: memFree=26923232/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1307204 CPUtime=1541.86 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 268169 0 0 0 154122 64 0 0 20 0 4 0 12593065 1338576896 268657 33554432000 4194304 16246674 140735621932592 140735621915592 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 326801 268657 791 2943 0 323695 0
[pid=18030/tid=18031] ppid=18027 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1338576896 268657 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1338576896 268657 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1338576896 268657 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.25 2.21 2.18 4/183 18144
/proc/meminfo: memFree=26923972/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1308228 CPUtime=1601.85 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 268204 0 0 0 160120 65 0 0 20 0 4 0 12593065 1339625472 268692 33554432000 4194304 16246674 140735621932592 140735621915592 6843259 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 327057 268692 791 2943 0 323951 0
[pid=18030/tid=18031] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.23 2.20 2.18 4/183 18145
/proc/meminfo: memFree=26923780/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1308228 CPUtime=1661.83 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 268204 0 0 0 166118 65 0 0 20 0 4 0 12593065 1339625472 268692 33554432000 4194304 16246674 140735621932592 140735621914496 13954515 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 327057 268692 791 2943 0 323951 0
[pid=18030/tid=18031] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/184 18149
/proc/meminfo: memFree=26923692/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1308228 CPUtime=1721.83 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 268204 0 0 0 172117 66 0 0 20 0 4 0 12593065 1339625472 268692 33554432000 4194304 16246674 140735621932592 140735621914496 6861768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 327057 268692 791 2943 0 323951 0
[pid=18030/tid=18031] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 18150
/proc/meminfo: memFree=26922560/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1308228 CPUtime=1781.82 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 268204 0 0 0 178115 67 0 0 20 0 4 0 12593065 1339625472 268692 33554432000 4194304 16246674 140735621932592 140735621914496 6022640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 327057 268692 791 2943 0 323951 0
[pid=18030/tid=18031] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.17 2.17 3/183 18151
/proc/meminfo: memFree=26922436/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1308228 CPUtime=1800.02 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 268204 0 0 0 179935 67 0 0 20 0 4 0 12593065 1339625472 268692 33554432000 4194304 16246674 140735621932592 140735621915592 5754924 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 327057 268692 791 2943 0 323951 0
[pid=18030/tid=18031] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 18030 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.13 2.17 2.17 3/183 18151
/proc/meminfo: memFree=26922436/32872528 swapFree=1254912/1391860
[pid=18030] ppid=18027 vsize=1308228 CPUtime=1800.02 cores=0,2,4,6
/proc/18030/stat : 18030 (toysat) R 18027 18030 16091 0 -1 4202496 268204 0 0 0 179935 67 0 0 20 0 4 0 12593065 1339625472 268692 33554432000 4194304 16246674 140735621932592 140735621915592 5754924 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18030/statm: 327057 268692 791 2943 0 323951 0
[pid=18030/tid=18031] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18031/stat : 18031 (toysat) S 18027 18030 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073806834928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18030/tid=18032] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18032/stat : 18032 (toysat) S 18027 18030 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073796345072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18030/tid=18033] ppid=18027 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18030/task/18033/stat : 18033 (toysat) S 18027 18030 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12593066 1339625472 268692 33554432000 4194304 16246674 140735621932592 140073714576560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1308228

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.36
CPU system time (s): 0.675897
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.675897
maximum resident set size= 1074768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268204
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= 371
involuntary context switches= 1981

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11892 second user time and 7.9158 second system time

The end

Begin job on node119 at 2016-06-30 21:52:02
IDJOB=4122226
IDBENCH=110990
IDSOLVER=2542
FILE ID=node119/4122226-1467316322
RUNJOBID= node119-1467308805-16107
PBS_JOBID= 20005280
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i3.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122226-1467316322/watcher-4122226-1467316322 -o /tmp/evaluation-result-4122226-1467316322/solver-4122226-1467316322 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16107 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122226-1467316322.opb

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

MD5SUM BENCH= 0151bada55a304fb87602381d6a3e28f
RANDOM SEED=66612125

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28008464 kB
Buffers:          204852 kB
Cached:          1433092 kB
SwapCached:            0 kB
Active:          1346256 kB
Inactive:        1378136 kB
Active(anon):    1083100 kB
Inactive(anon):     5936 kB
Active(file):     263156 kB
Inactive(file):  1372200 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16628 kB
Writeback:             0 kB
AnonPages:       2480748 kB
Mapped:            17104 kB
Shmem:               204 kB
Slab:             612736 kB
SReclaimable:      56472 kB
SUnreclaim:       556264 kB
KernelStack:        1520 kB
PageTables:         9284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2614556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    870400 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= 71700 MiB
End job on node119 at 2016-06-30 22:22:03