0.00/0.00	c 2016-06-30T21:46:49+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-4122018-1467316009.opb"]
0.00/0.01	c use --random-gen="2062123415 47391211 3621578235 3316726884 563012854 2120409206 3651830301 2955802751 2736440395 2272962056 2988779754 3251485600 4270770707 1041451848 56533301 1748758165 4286034795 373283731 2340284371 599890832 4186314458 528413615 3532722550 2158687624 368389519 2752263063 2710289264 1908081318 567002351 3222714014 2450162723 2747380555 713641687 1018219246 3129176909 2923915629 4103347742 1764844645 3297117801 2042090706 2846846890 2937370323 2346484009 3350476693 4246698037 318670426 1776167290 2869719478 2337699467 1722780130 2761289550 1495899137 2238749391 3555214116 1715089559 79107538 2084687846 1617525485 3762284952 3766797406 1591797152 2302222102 1583611245 1661581035 742950803 3531672207 3257974087 3975610920 2628411331 3882962904 1858972836 391642504 4280406054 1275207801 4042087537 2581641214 1250329211 413124279 2255105261 2767879638 3498187081 1182480524 572360788 2447729914 742854033 1182740199 3315262522 3000945047 602066758 1319296415 3642913087 4271216592 2129165865 728594467 462244145 4064245780 3453457359 2746856071 178250150 3746133910 1947332002 1882289177 373434584 2742539819 418278540 3849353489 4255250589 4018561441 3581758057 1543594415 2434094149 4178113433 1906283102 4208756531 3814091581 4063936107 807515627 831037153 2685649301 2044910800 1046173091 3374007307 663266523 2950417996 3179533406 671425861 3447113065 56374265 4075646669 1620838730 949469330 1709333671 772257030 3046987875 4129858868 1523789889 2278183056 3009893539 264992732 1955775195 712055600 1554804988 3412651406 462598935 1455207101 1740627926 479652786 2491508789 1684789620 1945245540 3198912667 2326363839 2955816595 2955675126 267399952 2667502816 3346605066 3629565146 975417655 2826350803 2638312575 1037638883 539975522 3645836788 2226007671 1338312112 1767999207 3354609271 1161807952 2740340179 3856627822 918454186 1666722713 3064704414 1518749460 2010211744 1030822716 2131780066 860126405 4143524655 2639325784 1877635870 1234517575 2753535866 1737111414 3042984099 1652124913 3105860246 432207415 512784956 791084464 3228647589 3975290544 1910324547 226377795 3617245108 4261026899 3662636167 1979400997 4245414606 2821236500 3736705028 908202664 3877002908 1400462132 3257543856 1845797270 1463696683 3645686420 380096528 2347290252 2262544120 162354901 2426566124 4281867740 2467558401 3515529483 721906880 2357424154 658636011 3099706034 3171977321 1821165240 1740252801 2040976304 1638178859 3856477726 2681749385 995253091 367387363 2508176368 2539305356 2916798889 2481059239 3661018071 3146588432 480645118 2672683107 803504244 3557611503 4151406177 1228184063 108193460 614529517 3152000636 2443077274 3798974590 3307206809 1729507351 1562638324 1218096871 2993080998 1469593739 2870257901 3893978091 2723742789 255 362436" option to reproduce the execution
0.00/0.01	c #vars 121
0.00/0.01	c #constraints 120
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       80      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      180 |      100 |       80      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      425 |      250 |       88      3 |        0 |        0
0.00/0.05	c  0.0s |       3 |      744 |      475 |       97      6 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1226 |      813 |      107     11 |        0 |        0
0.09/0.13	c  0.1s |       5 |     2122 |     1320 |      118     18 |        0 |        0
0.19/0.20	c  0.2s |       6 |     3609 |     2081 |      143     28 |        0 |        0
0.29/0.31	c  0.3s |       7 |     5355 |     3223 |      158     41 |        0 |        0
0.39/0.47	c  0.5s |       8 |     7906 |     4936 |      174     59 |        0 |        0
0.69/0.71	c  0.7s |       9 |    11185 |     7506 |      192     85 |        0 |        0
0.99/1.08	c  1.1s |      10 |    17042 |    11361 |      212    119 |        0 |        0
1.38/1.48	c  1.5s |      11 |    24369 |    17144 |      234    168 |        0 |        0
1.99/2.08	c  2.1s |      12 |    37486 |    25819 |      258    235 |        0 |        0
2.89/2.92	c  2.9s |      13 |    58114 |    38832 |      284    328 |        0 |        0
4.19/4.21	c  4.2s |      14 |    88634 |    58352 |      313    456 |        0 |        0
6.19/6.21	c  6.2s |      14 |   130248 |    87352 |      345    631 |        0 |        0
6.19/6.23	c  6.2s |      15 |   130694 |    87632 |      345    633 |        0 |        0
8.19/8.24	c  8.2s |      15 |   172521 |   116932 |      345    794 |        0 |        0
9.19/9.27	c  9.3s |      16 |   191062 |   131552 |      380    874 |        0 |        0
11.19/11.27	c 11.3s |      16 |   231837 |   159152 |      380   1012 |        0 |        0
13.20/13.28	c 13.3s |      16 |   270129 |   186152 |      380   1148 |        0 |        0
14.09/14.10	c 14.1s |      17 |   286305 |   197432 |      419   1204 |        0 |        0
16.09/16.11	c 16.1s |      17 |   317246 |   221432 |      419   1314 |        0 |        0
18.09/18.12	c 18.1s |      17 |   347164 |   245132 |      419   1421 |        0 |        0
20.09/20.12	c 20.1s |      17 |   380274 |   270032 |      419   1535 |        0 |        0
22.09/22.12	c 22.1s |      17 |   414149 |   295032 |      461   1650 |        0 |        0
22.19/22.23	c 22.2s |      18 |   415664 |   296252 |      461   1655 |        0 |        0
24.19/24.23	c 24.2s |      18 |   447800 |   320952 |      461   1759 |        0 |        0
26.18/26.23	c 26.2s |      18 |   479717 |   345552 |      461   1862 |        0 |        0
28.18/28.23	c 28.2s |      18 |   507851 |   369052 |      461   1960 |        0 |        0
30.18/30.24	c 30.2s |      18 |   538900 |   393552 |      461   2062 |        0 |        0
32.18/32.24	c 32.2s |      18 |   573730 |   419752 |      461   2171 |        0 |        0
33.98/34.05	c 34.0s |      19 |   608765 |   444482 |      508   2274 |        0 |        0
35.98/36.06	c 36.0s |      19 |   646722 |   471482 |      508   2377 |        0 |        0
37.98/38.06	c 38.1s |      19 |   685800 |   498482 |      508   2479 |        0 |        0
39.98/40.07	c 40.1s |      19 |   719914 |   523982 |      508   2577 |        0 |        0
41.98/42.07	c 42.1s |      19 |   757011 |   550382 |      508   2678 |        0 |        0
43.99/44.08	c 44.1s |      19 |   792649 |   576982 |      508   2780 |        0 |        0
45.98/46.09	c 46.1s |      19 |   829146 |   603782 |      508   2882 |        0 |        0
47.98/48.09	c 48.1s |      19 |   866100 |   630882 |      508   2986 |        0 |        0
50.08/50.10	c 50.1s |      19 |   900347 |   656582 |      508   3085 |        0 |        0
50.78/50.87	c 50.9s |      20 |   914495 |   666827 |      559   3122 |        0 |        0
52.78/52.87	c 52.9s |      20 |   948507 |   692127 |      559   3210 |        0 |        0
54.78/54.87	c 54.9s |      20 |   983441 |   717627 |      559   3298 |        0 |        0
56.78/56.88	c 56.9s |      20 |  1017822 |   742527 |      559   3385 |        0 |        0
58.78/58.88	c 58.9s |      20 |  1050591 |   767427 |      559   3472 |        0 |        0
60.78/60.89	c 60.9s |      20 |  1085938 |   793127 |      559   3561 |        0 |        0
62.78/62.89	c 62.9s |      20 |  1120726 |   818927 |      559   3651 |        0 |        0
64.78/64.89	c 64.9s |      20 |  1152390 |   843227 |      559   3735 |        0 |        0
66.87/66.90	c 66.9s |      20 |  1181937 |   866827 |      559   3816 |        0 |        0
68.87/68.90	c 68.9s |      20 |  1212920 |   890527 |      559   3898 |        0 |        0
70.87/70.90	c 70.9s |      20 |  1247648 |   916127 |      559   3987 |        0 |        0
72.87/72.91	c 72.9s |      20 |  1280246 |   940427 |      559   4072 |        0 |        0
74.88/74.91	c 74.9s |      20 |  1312827 |   965127 |      559   4157 |        0 |        0
76.87/76.91	c 76.9s |      20 |  1347576 |   990827 |      559   4246 |        0 |        0
77.57/77.62	c 77.6s |      21 |  1360985 |  1000345 |      615   4277 |        0 |        0
79.57/79.62	c 79.6s |      21 |  1397375 |  1026345 |      615   4360 |        0 |        0
81.57/81.62	c 81.6s |      21 |  1431228 |  1051345 |      615   4439 |        0 |        0
83.58/83.62	c 83.6s |      21 |  1466926 |  1077445 |      615   4522 |        0 |        0
85.57/85.63	c 85.6s |      21 |  1502874 |  1102845 |      615   4603 |        0 |        0
87.57/87.63	c 87.6s |      21 |  1537282 |  1127845 |      615   4682 |        0 |        0
89.57/89.64	c 89.6s |      21 |  1571872 |  1152645 |      615   4761 |        0 |        0
91.57/91.64	c 91.6s |      21 |  1604459 |  1176645 |      615   4837 |        0 |        0
93.59/93.64	c 93.6s |      21 |  1636959 |  1201245 |      615   4915 |        0 |        0
95.58/95.64	c 95.6s |      21 |  1671715 |  1226545 |      615   4995 |        0 |        0
97.58/97.65	c 97.6s |      21 |  1701735 |  1249945 |      615   5068 |        0 |        0
99.58/99.66	c 99.6s |      21 |  1733132 |  1274045 |      615   5145 |        0 |        0
101.58/101.66	c  101s |      21 |  1764975 |  1298345 |      615   5223 |        0 |        0
103.58/103.66	c  103s |      21 |  1796346 |  1322045 |      615   5298 |        0 |        0
105.58/105.66	c  105s |      21 |  1832306 |  1347745 |      615   5380 |        0 |        0
107.58/107.67	c  107s |      21 |  1864655 |  1372145 |      615   5457 |        0 |        0
109.58/109.67	c  109s |      21 |  1897836 |  1397045 |      615   5537 |        0 |        0
111.58/111.68	c  111s |      21 |  1932706 |  1422245 |      615   5618 |        0 |        0
113.57/113.68	c  113s |      21 |  1969694 |  1447545 |      615   5698 |        0 |        0
115.58/115.69	c  115s |      21 |  2004647 |  1472745 |      615   5778 |        0 |        0
117.57/117.69	c  117s |      21 |  2038211 |  1497545 |      677   5855 |        0 |        0
117.87/117.93	c  117s |      22 |  2042569 |  1500622 |      677   5864 |        0 |        0
119.88/119.93	c  119s |      22 |  2074254 |  1524822 |      677   5933 |        0 |        0
121.87/121.93	c  121s |      22 |  2107764 |  1549422 |      677   6004 |        0 |        0
123.87/123.94	c  123s |      22 |  2141418 |  1574522 |      677   6077 |        0 |        0
125.87/125.94	c  125s |      22 |  2171783 |  1598022 |      677   6145 |        0 |        0
127.87/127.95	c  127s |      22 |  2202259 |  1621122 |      677   6212 |        0 |        0
129.88/129.95	c  129s |      22 |  2235362 |  1645222 |      677   6281 |        0 |        0
131.87/131.95	c  131s |      22 |  2270163 |  1670422 |      677   6354 |        0 |        0
133.87/133.96	c  133s |      22 |  2303435 |  1695022 |      677   6426 |        0 |        0
135.87/135.96	c  135s |      22 |  2338879 |  1720522 |      677   6500 |        0 |        0
137.87/137.97	c  137s |      22 |  2368137 |  1743722 |      677   6567 |        0 |        0
139.87/139.98	c  139s |      22 |  2397952 |  1767022 |      677   6634 |        0 |        0
141.88/141.98	c  141s |      22 |  2426367 |  1789322 |      677   6699 |        0 |        0
143.87/143.99	c  143s |      22 |  2453493 |  1811122 |      677   6762 |        0 |        0
145.87/145.99	c  145s |      22 |  2481611 |  1833522 |      677   6826 |        0 |        0
147.97/148.00	c  147s |      22 |  2511722 |  1856222 |      677   6892 |        0 |        0
149.97/150.00	c  149s |      22 |  2541821 |  1879822 |      677   6961 |        0 |        0
151.97/152.01	c  151s |      22 |  2574452 |  1904322 |      677   7032 |        0 |        0
153.97/154.01	c  153s |      22 |  2609601 |  1929622 |      677   7106 |        0 |        0
155.97/156.01	c  155s |      22 |  2643140 |  1954622 |      677   7179 |        0 |        0
157.97/158.01	c  157s |      22 |  2676598 |  1979622 |      677   7251 |        0 |        0
159.96/160.01	c  159s |      22 |  2710984 |  2004522 |      677   7323 |        0 |        0
161.96/162.02	c  162s |      22 |  2742503 |  2028822 |      677   7394 |        0 |        0
163.97/164.02	c  164s |      22 |  2773490 |  2052822 |      677   7464 |        0 |        0
165.96/166.03	c  166s |      22 |  2803567 |  2076322 |      677   7532 |        0 |        0
167.96/168.04	c  168s |      22 |  2832579 |  2099022 |      677   7598 |        0 |        0
169.96/170.04	c  170s |      22 |  2861856 |  2121522 |      677   7664 |        0 |        0
171.96/172.04	c  172s |      22 |  2894991 |  2145922 |      677   7734 |        0 |        0
173.96/174.05	c  174s |      22 |  2925410 |  2169622 |      677   7803 |        0 |        0
175.97/176.05	c  176s |      22 |  2953677 |  2192222 |      677   7869 |        0 |        0
177.96/178.06	c  178s |      22 |  2979157 |  2213722 |      677   7931 |        0 |        0
179.96/180.06	c  180s |      22 |  3006907 |  2236122 |      745   7996 |        0 |        0
181.36/181.49	c  181s |      23 |  3025347 |  2251038 |      745   8035 |        0 |        0
183.46/183.50	c  183s |      23 |  3052348 |  2272438 |      745   8091 |        0 |        0
185.46/185.51	c  185s |      23 |  3076797 |  2292738 |      745   8144 |        0 |        0
187.46/187.51	c  187s |      23 |  3101307 |  2312838 |      745   8196 |        0 |        0
189.46/189.52	c  189s |      23 |  3128338 |  2334138 |      745   8252 |        0 |        0
191.46/191.53	c  191s |      23 |  3156379 |  2356038 |      745   8309 |        0 |        0
193.45/193.53	c  193s |      23 |  3184005 |  2377538 |      745   8366 |        0 |        0
195.45/195.54	c  195s |      23 |  3213005 |  2399938 |      745   8425 |        0 |        0
197.45/197.54	c  197s |      23 |  3237815 |  2420638 |      745   8479 |        0 |        0
199.46/199.55	c  199s |      23 |  3266286 |  2442738 |      745   8537 |        0 |        0
201.46/201.55	c  201s |      23 |  3294114 |  2464638 |      745   8595 |        0 |        0
203.47/203.56	c  203s |      23 |  3318950 |  2484738 |      745   8648 |        0 |        0
205.46/205.57	c  205s |      23 |  3347223 |  2506838 |      745   8706 |        0 |        0
207.46/207.57	c  207s |      23 |  3375578 |  2528738 |      745   8764 |        0 |        0
209.46/209.58	c  209s |      23 |  3400134 |  2549038 |      745   8817 |        0 |        0
211.46/211.58	c  211s |      23 |  3425591 |  2569338 |      745   8870 |        0 |        0
213.47/213.58	c  213s |      23 |  3452567 |  2590338 |      745   8925 |        0 |        0
215.46/215.59	c  215s |      23 |  3477707 |  2610738 |      745   8979 |        0 |        0
217.46/217.59	c  217s |      23 |  3502092 |  2630738 |      745   9032 |        0 |        0
219.46/219.59	c  219s |      23 |  3528732 |  2651538 |      745   9087 |        0 |        0
221.46/221.60	c  221s |      23 |  3555442 |  2672638 |      745   9142 |        0 |        0
223.56/223.60	c  223s |      23 |  3581458 |  2693138 |      745   9196 |        0 |        0
225.46/225.60	c  225s |      23 |  3608523 |  2714238 |      745   9252 |        0 |        0
227.56/227.61	c  227s |      23 |  3635270 |  2735338 |      745   9308 |        0 |        0
229.56/229.62	c  229s |      23 |  3664485 |  2757438 |      745   9366 |        0 |        0
231.56/231.63	c  231s |      23 |  3692373 |  2779138 |      745   9423 |        0 |        0
233.56/233.63	c  233s |      23 |  3722582 |  2801438 |      745   9482 |        0 |        0
235.56/235.64	c  235s |      23 |  3752636 |  2824138 |      745   9542 |        0 |        0
237.56/237.64	c  237s |      23 |  3781471 |  2846238 |      745   9600 |        0 |        0
239.55/239.65	c  239s |      23 |  3812562 |  2869138 |      745   9661 |        0 |        0
241.55/241.65	c  241s |      23 |  3841336 |  2891238 |      745   9718 |        0 |        0
243.55/243.66	c  243s |      23 |  3868126 |  2912138 |      745   9773 |        0 |        0
245.55/245.66	c  245s |      23 |  3894918 |  2933038 |      745   9828 |        0 |        0
247.56/247.67	c  247s |      23 |  3923014 |  2954438 |      745   9885 |        0 |        0
249.55/249.67	c  249s |      23 |  3952582 |  2976638 |      745   9943 |        0 |        0
251.55/251.67	c  251s |      23 |  3982332 |  2999438 |      745  10003 |        0 |        0
253.55/253.68	c  253s |      23 |  4012332 |  3022238 |      745  10064 |        0 |        0
255.55/255.68	c  255s |      23 |  4041988 |  3044638 |      745  10123 |        0 |        0
257.55/257.69	c  257s |      23 |  4072820 |  3067038 |      745  10182 |        0 |        0
259.55/259.69	c  259s |      23 |  4098386 |  3087738 |      745  10236 |        0 |        0
261.55/261.69	c  261s |      23 |  4126069 |  3109138 |      745  10293 |        0 |        0
263.65/263.70	c  263s |      23 |  4155040 |  3130938 |      745  10350 |        0 |        0
265.65/265.70	c  265s |      23 |  4183279 |  3152138 |      745  10406 |        0 |        0
267.65/267.71	c  267s |      23 |  4210627 |  3173338 |      745  10462 |        0 |        0
269.65/269.71	c  269s |      23 |  4236530 |  3194338 |      745  10518 |        0 |        0
271.65/271.72	c  271s |      23 |  4263949 |  3215538 |      745  10573 |        0 |        0
273.64/273.72	c  273s |      23 |  4290837 |  3236238 |      745  10628 |        0 |        0
275.64/275.73	c  275s |      23 |  4317590 |  3257538 |      745  10684 |        0 |        0
277.64/277.73	c  277s |      23 |  4343124 |  3277838 |      745  10737 |        0 |        0
279.64/279.73	c  279s |      23 |  4371538 |  3299238 |      745  10793 |        0 |        0
281.65/281.74	c  281s |      23 |  4399493 |  3320638 |      745  10850 |        0 |        0
283.64/283.74	c  283s |      23 |  4428332 |  3342838 |      745  10908 |        0 |        0
285.64/285.75	c  285s |      23 |  4453147 |  3362438 |      820  10958 |        0 |        0
287.15/287.21	c  287s |      24 |  4470519 |  3376662 |      820  10992 |        0 |        0
289.14/289.22	c  289s |      24 |  4498216 |  3397562 |      820  11042 |        0 |        0
291.14/291.23	c  291s |      24 |  4527277 |  3419262 |      820  11094 |        0 |        0
293.14/293.23	c  293s |      24 |  4554893 |  3440362 |      820  11144 |        0 |        0
295.15/295.24	c  295s |      24 |  4585061 |  3462262 |      820  11196 |        0 |        0
297.15/297.24	c  297s |      24 |  4612328 |  3483162 |      820  11247 |        0 |        0
299.15/299.25	c  299s |      24 |  4639537 |  3503962 |      820  11296 |        0 |        0
301.15/301.26	c  301s |      24 |  4664283 |  3523862 |      820  11344 |        0 |        0
303.15/303.26	c  303s |      24 |  4690069 |  3544462 |      820  11394 |        0 |        0
305.15/305.27	c  305s |      24 |  4716230 |  3565562 |      820  11444 |        0 |        0
307.15/307.27	c  307s |      24 |  4743152 |  3586362 |      820  11494 |        0 |        0
309.15/309.27	c  309s |      24 |  4770865 |  3607162 |      820  11544 |        0 |        0
311.14/311.28	c  311s |      24 |  4797399 |  3627662 |      820  11592 |        0 |        0
313.14/313.28	c  313s |      24 |  4823064 |  3647762 |      820  11640 |        0 |        0
315.14/315.29	c  315s |      24 |  4848189 |  3667662 |      820  11688 |        0 |        0
317.24/317.30	c  317s |      24 |  4875404 |  3688462 |      820  11738 |        0 |        0
319.24/319.30	c  319s |      24 |  4900770 |  3708462 |      820  11786 |        0 |        0
321.25/321.30	c  321s |      24 |  4928745 |  3730162 |      820  11837 |        0 |        0
323.24/323.31	c  323s |      24 |  4957483 |  3751762 |      820  11889 |        0 |        0
325.24/325.32	c  325s |      24 |  4985717 |  3773062 |      820  11941 |        0 |        0
327.24/327.32	c  327s |      24 |  5014948 |  3794862 |      820  11993 |        0 |        0
329.24/329.32	c  329s |      24 |  5037688 |  3813562 |      820  12037 |        0 |        0
331.24/331.33	c  331s |      24 |  5063949 |  3833562 |      820  12085 |        0 |        0
333.25/333.34	c  333s |      24 |  5089041 |  3853862 |      820  12134 |        0 |        0
335.24/335.34	c  335s |      24 |  5118229 |  3875762 |      820  12186 |        0 |        0
337.24/337.34	c  337s |      24 |  5144054 |  3896462 |      820  12236 |        0 |        0
339.24/339.35	c  339s |      24 |  5171624 |  3917562 |      820  12286 |        0 |        0
341.24/341.35	c  341s |      24 |  5198430 |  3938362 |      820  12336 |        0 |        0
343.25/343.36	c  343s |      24 |  5225072 |  3959262 |      820  12387 |        0 |        0
345.24/345.36	c  345s |      24 |  5254876 |  3981562 |      820  12440 |        0 |        0
347.24/347.37	c  347s |      24 |  5283394 |  4003462 |      820  12493 |        0 |        0
349.24/349.37	c  349s |      24 |  5311183 |  4025462 |      820  12546 |        0 |        0
351.24/351.38	c  351s |      24 |  5336312 |  4046062 |      820  12595 |        0 |        0
353.24/353.38	c  353s |      24 |  5364640 |  4068262 |      820  12649 |        0 |        0
355.24/355.39	c  355s |      24 |  5392619 |  4090062 |      820  12701 |        0 |        0
357.24/357.39	c  357s |      24 |  5419951 |  4111362 |      820  12752 |        0 |        0
359.24/359.40	c  359s |      24 |  5448607 |  4133162 |      820  12805 |        0 |        0
361.34/361.40	c  361s |      24 |  5478084 |  4155462 |      820  12858 |        0 |        0
363.33/363.40	c  363s |      24 |  5505283 |  4176862 |      820  12910 |        0 |        0
365.33/365.40	c  365s |      24 |  5534046 |  4198262 |      820  12962 |        0 |        0
367.34/367.41	c  367s |      24 |  5563052 |  4220562 |      820  13015 |        0 |        0
369.33/369.42	c  369s |      24 |  5588896 |  4241862 |      820  13066 |        0 |        0
371.33/371.43	c  371s |      24 |  5613419 |  4262162 |      820  13115 |        0 |        0
373.33/373.43	c  373s |      24 |  5636499 |  4281062 |      820  13160 |        0 |        0
375.33/375.44	c  375s |      24 |  5664879 |  4302862 |      820  13213 |        0 |        0
377.34/377.44	c  377s |      24 |  5692369 |  4324362 |      820  13264 |        0 |        0
379.33/379.45	c  379s |      24 |  5719450 |  4345862 |      820  13316 |        0 |        0
381.33/381.45	c  381s |      24 |  5744487 |  4366462 |      820  13366 |        0 |        0
383.33/383.45	c  383s |      24 |  5772742 |  4388062 |      820  13418 |        0 |        0
385.33/385.46	c  385s |      24 |  5799417 |  4408862 |      820  13468 |        0 |        0
387.33/387.46	c  387s |      24 |  5825826 |  4430062 |      820  13519 |        0 |        0
389.33/389.46	c  389s |      24 |  5851454 |  4450662 |      820  13568 |        0 |        0
391.33/391.47	c  391s |      24 |  5875929 |  4470862 |      820  13616 |        0 |        0
393.33/393.47	c  393s |      24 |  5899485 |  4490862 |      820  13665 |        0 |        0
395.32/395.48	c  395s |      24 |  5924721 |  4511562 |      820  13714 |        0 |        0
397.32/397.48	c  397s |      24 |  5949418 |  4531862 |      820  13763 |        0 |        0
399.33/399.48	c  399s |      24 |  5973947 |  4551962 |      820  13812 |        0 |        0
401.32/401.48	c  401s |      24 |  5999575 |  4572162 |      820  13860 |        0 |        0
403.32/403.49	c  403s |      24 |  6026933 |  4593362 |      820  13911 |        0 |        0
405.32/405.49	c  405s |      24 |  6052948 |  4613762 |      820  13961 |        0 |        0
407.42/407.50	c  407s |      24 |  6081067 |  4635262 |      820  14012 |        0 |        0
409.42/409.50	c  409s |      24 |  6109070 |  4656562 |      820  14064 |        0 |        0
411.43/411.51	c  411s |      24 |  6134937 |  4677062 |      820  14113 |        0 |        0
413.42/413.51	c  413s |      24 |  6161887 |  4697962 |      820  14164 |        0 |        0
415.42/415.51	c  415s |      24 |  6190818 |  4719762 |      820  14216 |        0 |        0
417.42/417.52	c  417s |      24 |  6219185 |  4740762 |      820  14266 |        0 |        0
419.42/419.53	c  419s |      24 |  6244167 |  4760762 |      820  14314 |        0 |        0
421.43/421.53	c  421s |      24 |  6270960 |  4780962 |      820  14362 |        0 |        0
423.44/423.54	c  423s |      24 |  6297563 |  4801662 |      820  14412 |        0 |        0
425.43/425.55	c  425s |      24 |  6325064 |  4822462 |      820  14462 |        0 |        0
427.43/427.55	c  427s |      24 |  6354037 |  4843562 |      820  14512 |        0 |        0
429.43/429.55	c  429s |      24 |  6381085 |  4864362 |      820  14562 |        0 |        0
431.42/431.56	c  431s |      24 |  6410072 |  4886362 |      820  14615 |        0 |        0
433.43/433.56	c  433s |      24 |  6441128 |  4908562 |      820  14669 |        0 |        0
435.42/435.57	c  435s |      24 |  6467826 |  4929462 |      820  14719 |        0 |        0
437.42/437.58	c  437s |      24 |  6493115 |  4949962 |      820  14768 |        0 |        0
439.42/439.58	c  439s |      24 |  6519516 |  4970662 |      820  14817 |        0 |        0
441.42/441.59	c  441s |      24 |  6546541 |  4991662 |      820  14868 |        0 |        0
443.42/443.60	c  443s |      24 |  6573927 |  5013062 |      820  14920 |        0 |        0
445.52/445.61	c  445s |      24 |  6600166 |  5034162 |      903  14969 |        0 |        0
447.52/447.61	c  447s |      24 |  6625159 |  5054462 |      903  15014 |        0 |        0
448.52/448.66	c  448s |      25 |  6639156 |  5065098 |      903  15037 |        0 |        0
450.51/450.66	c  450s |      25 |  6665705 |  5085898 |      903  15082 |        0 |        0
452.51/452.67	c  452s |      25 |  6692129 |  5106698 |      903  15128 |        0 |        0
454.51/454.67	c  454s |      25 |  6717560 |  5127098 |      903  15172 |        0 |        0
456.52/456.68	c  456s |      25 |  6742481 |  5147498 |      903  15216 |        0 |        0
458.51/458.68	c  458s |      25 |  6767816 |  5167898 |      903  15261 |        0 |        0
460.50/460.69	c  460s |      25 |  6794024 |  5188498 |      903  15306 |        0 |        0
462.50/462.69	c  462s |      25 |  6817510 |  5207598 |      903  15347 |        0 |        0
464.50/464.70	c  464s |      25 |  6841525 |  5227198 |      903  15390 |        0 |        0
466.60/466.70	c  466s |      25 |  6866208 |  5246898 |      903  15433 |        0 |        0
468.61/468.72	c  468s |      25 |  6890603 |  5266698 |      903  15476 |        0 |        0
470.59/470.72	c  470s |      25 |  6914527 |  5286198 |      903  15519 |        0 |        0
472.59/472.73	c  472s |      25 |  6936742 |  5304698 |      903  15559 |        0 |        0
474.59/474.74	c  474s |      25 |  6961829 |  5324998 |      903  15604 |        0 |        0
476.59/476.75	c  476s |      25 |  6985490 |  5344098 |      903  15645 |        0 |        0
478.59/478.75	c  478s |      25 |  7011177 |  5364398 |      903  15690 |        0 |        0
480.60/480.75	c  480s |      25 |  7034358 |  5383798 |      903  15732 |        0 |        0
482.59/482.76	c  482s |      25 |  7057133 |  5402698 |      903  15773 |        0 |        0
484.59/484.76	c  484s |      25 |  7081412 |  5422798 |      903  15817 |        0 |        0
486.59/486.76	c  486s |      25 |  7105476 |  5442698 |      903  15860 |        0 |        0
488.59/488.77	c  488s |      25 |  7130127 |  5462998 |      903  15904 |        0 |        0
490.59/490.77	c  490s |      25 |  7155726 |  5483698 |      903  15949 |        0 |        0
492.58/492.77	c  492s |      25 |  7179918 |  5503798 |      903  15993 |        0 |        0
494.58/494.78	c  494s |      25 |  7203378 |  5523398 |      903  16036 |        0 |        0
496.58/496.78	c  496s |      25 |  7228395 |  5543398 |      903  16080 |        0 |        0
498.58/498.78	c  498s |      25 |  7256232 |  5564698 |      903  16126 |        0 |        0
500.58/500.79	c  500s |      25 |  7283716 |  5585698 |      903  16172 |        0 |        0
502.59/502.79	c  502s |      25 |  7310028 |  5606298 |      903  16217 |        0 |        0
504.68/504.80	c  504s |      25 |  7336322 |  5626698 |      903  16262 |        0 |        0
506.68/506.80	c  506s |      25 |  7363096 |  5647598 |      903  16307 |        0 |        0
508.68/508.81	c  508s |      25 |  7387611 |  5667898 |      903  16352 |        0 |        0
510.68/510.81	c  510s |      25 |  7409884 |  5687198 |      903  16394 |        0 |        0
512.68/512.81	c  512s |      25 |  7436582 |  5708398 |      903  16441 |        0 |        0
514.68/514.81	c  514s |      25 |  7462047 |  5728698 |      903  16485 |        0 |        0
516.67/516.81	c  516s |      25 |  7486096 |  5748598 |      903  16528 |        0 |        0
518.67/518.82	c  518s |      25 |  7512680 |  5769798 |      903  16575 |        0 |        0
520.67/520.83	c  520s |      25 |  7536589 |  5789498 |      903  16617 |        0 |        0
522.67/522.83	c  522s |      25 |  7561432 |  5809798 |      903  16662 |        0 |        0
524.68/524.83	c  524s |      25 |  7588079 |  5830898 |      903  16708 |        0 |        0
526.67/526.84	c  526s |      25 |  7610978 |  5850198 |      903  16750 |        0 |        0
528.67/528.84	c  528s |      25 |  7635753 |  5870098 |      903  16793 |        0 |        0
530.67/530.84	c  530s |      25 |  7661956 |  5890798 |      903  16839 |        0 |        0
532.67/532.84	c  532s |      25 |  7688413 |  5911798 |      903  16885 |        0 |        0
534.67/534.85	c  534s |      25 |  7714308 |  5932998 |      903  16931 |        0 |        0
536.68/536.85	c  536s |      25 |  7740663 |  5953798 |      903  16976 |        0 |        0
538.67/538.86	c  538s |      25 |  7765002 |  5974298 |      903  17021 |        0 |        0
540.67/540.87	c  540s |      25 |  7791817 |  5995498 |      903  17067 |        0 |        0
542.67/542.87	c  542s |      25 |  7819054 |  6016898 |      903  17114 |        0 |        0
544.67/544.88	c  544s |      25 |  7843185 |  6037098 |      903  17158 |        0 |        0
546.67/546.88	c  546s |      25 |  7868304 |  6057498 |      903  17203 |        0 |        0
548.66/548.89	c  548s |      25 |  7894661 |  6078398 |      903  17249 |        0 |        0
550.76/550.90	c  550s |      25 |  7919775 |  6099198 |      903  17294 |        0 |        0
552.76/552.91	c  552s |      25 |  7944018 |  6119298 |      903  17338 |        0 |        0
554.76/554.91	c  554s |      25 |  7971944 |  6141098 |      903  17386 |        0 |        0
556.76/556.91	c  556s |      25 |  8000728 |  6163298 |      903  17434 |        0 |        0
558.76/558.92	c  558s |      25 |  8030160 |  6185798 |      903  17484 |        0 |        0
560.75/560.92	c  560s |      25 |  8054380 |  6205998 |      903  17528 |        0 |        0
562.75/562.93	c  562s |      25 |  8084388 |  6228298 |      903  17577 |        0 |        0
564.75/564.93	c  564s |      25 |  8112459 |  6249798 |      903  17624 |        0 |        0
566.75/566.93	c  566s |      25 |  8141306 |  6272198 |      903  17673 |        0 |        0
568.75/568.93	c  568s |      25 |  8168359 |  6293298 |      903  17719 |        0 |        0
570.75/570.94	c  570s |      25 |  8194972 |  6313598 |      903  17763 |        0 |        0
572.75/572.94	c  572s |      25 |  8218092 |  6332498 |      903  17804 |        0 |        0
574.75/574.95	c  574s |      25 |  8240628 |  6350998 |      903  17844 |        0 |        0
576.75/576.95	c  576s |      25 |  8266814 |  6371198 |      903  17888 |        0 |        0
578.75/578.95	c  578s |      25 |  8295421 |  6392498 |      903  17935 |        0 |        0
580.75/580.96	c  580s |      25 |  8319645 |  6411898 |      903  17977 |        0 |        0
582.75/582.96	c  582s |      25 |  8347160 |  6432698 |      903  18022 |        0 |        0
584.75/584.97	c  584s |      25 |  8373453 |  6452798 |      903  18066 |        0 |        0
586.75/586.97	c  586s |      25 |  8396178 |  6471398 |      903  18107 |        0 |        0
588.75/588.97	c  588s |      25 |  8418545 |  6489598 |      903  18146 |        0 |        0
590.74/590.97	c  590s |      25 |  8445386 |  6509898 |      903  18191 |        0 |        0
592.75/592.98	c  592s |      25 |  8471222 |  6529998 |      903  18235 |        0 |        0
594.74/594.98	c  594s |      25 |  8496942 |  6550198 |      903  18279 |        0 |        0
596.74/596.98	c  596s |      25 |  8522226 |  6570398 |      903  18323 |        0 |        0
598.74/598.99	c  598s |      25 |  8548076 |  6590298 |      903  18367 |        0 |        0
600.84/601.00	c  600s |      25 |  8575270 |  6611198 |      903  18412 |        0 |        0
602.84/603.01	c  602s |      25 |  8601325 |  6631398 |      903  18457 |        0 |        0
604.84/605.01	c  604s |      25 |  8627170 |  6651798 |      903  18501 |        0 |        0
606.84/607.01	c  607s |      25 |  8653797 |  6672298 |      903  18546 |        0 |        0
608.84/609.02	c  609s |      25 |  8682244 |  6693798 |      903  18593 |        0 |        0
610.83/611.03	c  611s |      25 |  8703499 |  6712198 |      903  18633 |        0 |        0
612.83/613.03	c  613s |      25 |  8728189 |  6731798 |      903  18676 |        0 |        0
614.84/615.04	c  615s |      25 |  8751401 |  6750698 |      903  18717 |        0 |        0
616.83/617.04	c  617s |      25 |  8773725 |  6769198 |      903  18758 |        0 |        0
618.83/619.04	c  619s |      25 |  8797026 |  6788098 |      903  18799 |        0 |        0
620.83/621.05	c  621s |      25 |  8823312 |  6807998 |      903  18842 |        0 |        0
622.83/623.05	c  623s |      25 |  8849639 |  6828198 |      903  18886 |        0 |        0
624.83/625.06	c  625s |      25 |  8874138 |  6848198 |      903  18930 |        0 |        0
626.83/627.06	c  627s |      25 |  8903024 |  6869798 |      903  18977 |        0 |        0
628.83/629.07	c  629s |      25 |  8930501 |  6890898 |      903  19023 |        0 |        0
630.82/631.07	c  631s |      25 |  8960446 |  6912898 |      903  19071 |        0 |        0
632.82/633.08	c  633s |      25 |  8989834 |  6934798 |      903  19119 |        0 |        0
634.82/635.08	c  635s |      25 |  9018252 |  6956098 |      903  19165 |        0 |        0
636.83/637.08	c  637s |      25 |  9045281 |  6977098 |      903  19211 |        0 |        0
638.82/639.09	c  639s |      25 |  9073426 |  6998598 |      903  19258 |        0 |        0
640.82/641.09	c  641s |      25 |  9101287 |  7019698 |      903  19305 |        0 |        0
642.82/643.09	c  643s |      25 |  9127616 |  7040498 |      903  19350 |        0 |        0
644.82/645.09	c  645s |      25 |  9155734 |  7061898 |      903  19397 |        0 |        0
646.91/647.10	c  647s |      25 |  9181466 |  7082298 |      903  19442 |        0 |        0
648.92/649.10	c  649s |      25 |  9209521 |  7103898 |      903  19489 |        0 |        0
650.91/651.11	c  651s |      25 |  9237782 |  7125598 |      903  19536 |        0 |        0
652.91/653.12	c  653s |      25 |  9266629 |  7147498 |      903  19584 |        0 |        0
654.91/655.12	c  655s |      25 |  9298263 |  7170598 |      903  19635 |        0 |        0
656.91/657.13	c  657s |      25 |  9326975 |  7192298 |      903  19682 |        0 |        0
658.91/659.13	c  659s |      25 |  9356241 |  7214098 |      903  19730 |        0 |        0
660.91/661.14	c  661s |      25 |  9382692 |  7235498 |      903  19777 |        0 |        0
662.91/663.15	c  663s |      25 |  9409881 |  7256998 |      903  19824 |        0 |        0
664.91/665.15	c  665s |      25 |  9435530 |  7277498 |      903  19869 |        0 |        0
666.91/667.15	c  667s |      25 |  9460789 |  7297698 |      903  19913 |        0 |        0
668.91/669.16	c  669s |      25 |  9484732 |  7317598 |      903  19956 |        0 |        0
670.91/671.16	c  671s |      25 |  9510075 |  7338298 |      903  20002 |        0 |        0
672.90/673.17	c  673s |      25 |  9533338 |  7357898 |      903  20045 |        0 |        0
674.90/675.17	c  675s |      25 |  9557934 |  7377998 |      903  20088 |        0 |        0
676.90/677.18	c  677s |      25 |  9582345 |  7397998 |      903  20132 |        0 |        0
678.90/679.18	c  679s |      25 |  9610183 |  7420298 |      903  20181 |        0 |        0
680.90/681.18	c  681s |      25 |  9634744 |  7440598 |      903  20225 |        0 |        0
682.91/683.19	c  683s |      25 |  9661042 |  7462298 |      903  20273 |        0 |        0
685.00/685.20	c  685s |      25 |  9687370 |  7483798 |      903  20320 |        0 |        0
687.00/687.20	c  687s |      25 |  9715388 |  7505898 |      903  20369 |        0 |        0
689.00/689.20	c  689s |      25 |  9745330 |  7528598 |      903  20419 |        0 |        0
690.99/691.20	c  691s |      25 |  9773081 |  7550598 |      994  20465 |        0 |        0
693.00/693.21	c  693s |      25 |  9800099 |  7571598 |      994  20507 |        0 |        0
695.01/695.21	c  695s |      25 |  9823340 |  7590698 |      994  20545 |        0 |        0
695.70/695.93	c  695s |      26 |  9832102 |  7597752 |      994  20559 |        0 |        0
697.70/697.93	c  697s |      26 |  9860131 |  7618652 |      994  20600 |        0 |        0
699.70/699.93	c  699s |      26 |  9885474 |  7638552 |      994  20639 |        0 |        0
701.70/701.94	c  701s |      26 |  9912542 |  7659452 |      994  20681 |        0 |        0
703.69/703.95	c  703s |      26 |  9941721 |  7680952 |      994  20724 |        0 |        0
705.69/705.96	c  705s |      26 |  9969761 |  7702052 |      994  20765 |        0 |        0
707.69/707.96	c  707s |      26 |  9998056 |  7723252 |      994  20807 |        0 |        0
709.69/709.96	c  709s |      26 | 10024034 |  7743752 |      994  20848 |        0 |        0
711.69/711.97	c  711s |      26 | 10047068 |  7762952 |      994  20886 |        0 |        0
713.70/713.98	c  713s |      26 | 10071099 |  7782552 |      994  20925 |        0 |        0
715.69/715.98	c  715s |      26 | 10094827 |  7801652 |      994  20963 |        0 |        0
717.68/718.00	c  717s |      26 | 10118237 |  7821052 |      994  21002 |        0 |        0
719.78/720.00	c  719s |      26 | 10142808 |  7841152 |      994  21042 |        0 |        0
721.78/722.01	c  721s |      26 | 10169241 |  7861952 |      994  21083 |        0 |        0
723.78/724.02	c  724s |      26 | 10196473 |  7883152 |      994  21125 |        0 |        0
725.78/726.02	c  726s |      26 | 10223205 |  7904052 |      994  21167 |        0 |        0
727.78/728.03	c  728s |      26 | 10249234 |  7924652 |      994  21208 |        0 |        0
729.78/730.04	c  730s |      26 | 10272674 |  7944152 |      994  21247 |        0 |        0
731.77/732.04	c  732s |      26 | 10299501 |  7965052 |      994  21288 |        0 |        0
733.77/734.04	c  734s |      26 | 10326010 |  7985552 |      994  21329 |        0 |        0
735.78/736.04	c  736s |      26 | 10350171 |  8005052 |      994  21368 |        0 |        0
737.77/738.05	c  738s |      26 | 10376331 |  8025552 |      994  21408 |        0 |        0
739.77/740.05	c  740s |      26 | 10400311 |  8045252 |      994  21447 |        0 |        0
741.77/742.06	c  742s |      26 | 10424416 |  8065052 |      994  21487 |        0 |        0
743.77/744.07	c  744s |      26 | 10448476 |  8084852 |      994  21526 |        0 |        0
745.77/746.07	c  746s |      26 | 10472692 |  8104252 |      994  21565 |        0 |        0
747.77/748.07	c  748s |      26 | 10498992 |  8124852 |      994  21606 |        0 |        0
749.77/750.08	c  750s |      26 | 10525317 |  8145352 |      994  21646 |        0 |        0
751.76/752.09	c  752s |      26 | 10551376 |  8166052 |      994  21688 |        0 |        0
753.76/754.09	c  754s |      26 | 10578875 |  8186652 |      994  21729 |        0 |        0
755.86/756.10	c  756s |      26 | 10608233 |  8208152 |      994  21772 |        0 |        0
757.86/758.10	c  758s |      26 | 10639591 |  8230352 |      994  21816 |        0 |        0
759.76/760.10	c  760s |      26 | 10667519 |  8251552 |      994  21858 |        0 |        0
761.87/762.10	c  762s |      26 | 10696556 |  8272752 |      994  21900 |        0 |        0
763.86/764.11	c  764s |      26 | 10720393 |  8292452 |      994  21939 |        0 |        0
765.86/766.12	c  766s |      26 | 10743890 |  8311452 |      994  21977 |        0 |        0
767.86/768.13	c  768s |      26 | 10772637 |  8332552 |      994  22019 |        0 |        0
769.87/770.13	c  770s |      26 | 10800987 |  8353952 |      994  22061 |        0 |        0
771.86/772.14	c  772s |      26 | 10827265 |  8373952 |      994  22101 |        0 |        0
773.86/774.15	c  774s |      26 | 10853729 |  8394152 |      994  22141 |        0 |        0
775.86/776.15	c  776s |      26 | 10878855 |  8413552 |      994  22180 |        0 |        0
777.85/778.16	c  778s |      26 | 10905443 |  8433852 |      994  22220 |        0 |        0
779.85/780.16	c  780s |      26 | 10931927 |  8453652 |      994  22260 |        0 |        0
781.86/782.17	c  782s |      26 | 10955353 |  8472752 |      994  22297 |        0 |        0
783.85/784.18	c  784s |      26 | 10977762 |  8491452 |      994  22335 |        0 |        0
785.85/786.18	c  786s |      26 | 11001054 |  8510352 |      994  22372 |        0 |        0
787.85/788.19	c  788s |      26 | 11027541 |  8530552 |      994  22412 |        0 |        0
789.95/790.20	c  790s |      26 | 11055532 |  8551252 |      994  22453 |        0 |        0
791.94/792.20	c  792s |      26 | 11078476 |  8569952 |      994  22491 |        0 |        0
793.95/794.21	c  794s |      26 | 11100055 |  8587852 |      994  22526 |        0 |        0
795.94/796.21	c  796s |      26 | 11121429 |  8605552 |      994  22562 |        0 |        0
797.94/798.22	c  798s |      26 | 11145963 |  8624752 |      994  22600 |        0 |        0
799.94/800.22	c  800s |      26 | 11171486 |  8644652 |      994  22639 |        0 |        0
801.94/802.23	c  802s |      26 | 11194099 |  8663152 |      994  22676 |        0 |        0
803.95/804.23	c  804s |      26 | 11215218 |  8681052 |      994  22712 |        0 |        0
805.94/806.23	c  806s |      26 | 11238888 |  8700052 |      994  22750 |        0 |        0
807.94/808.23	c  808s |      26 | 11264112 |  8719552 |      994  22788 |        0 |        0
809.94/810.24	c  810s |      26 | 11291368 |  8739852 |      994  22829 |        0 |        0
811.94/812.24	c  812s |      26 | 11316460 |  8759552 |      994  22868 |        0 |        0
813.94/814.25	c  814s |      26 | 11340075 |  8778652 |      994  22906 |        0 |        0
815.94/816.25	c  816s |      26 | 11364237 |  8798652 |      994  22946 |        0 |        0
817.94/818.26	c  818s |      26 | 11389883 |  8818852 |      994  22986 |        0 |        0
819.94/820.26	c  820s |      26 | 11412423 |  8837452 |      994  23023 |        0 |        0
821.93/822.27	c  822s |      26 | 11437950 |  8857552 |      994  23063 |        0 |        0
823.93/824.28	c  824s |      26 | 11464833 |  8878652 |      994  23105 |        0 |        0
825.94/826.29	c  826s |      26 | 11492926 |  8900052 |      994  23147 |        0 |        0
827.93/828.29	c  828s |      26 | 11521417 |  8921652 |      994  23190 |        0 |        0
829.93/830.29	c  830s |      26 | 11545977 |  8941752 |      994  23230 |        0 |        0
832.03/832.30	c  832s |      26 | 11572380 |  8962952 |      994  23272 |        0 |        0
834.03/834.30	c  834s |      26 | 11596927 |  8983352 |      994  23313 |        0 |        0
836.03/836.31	c  836s |      26 | 11623143 |  9004152 |      994  23354 |        0 |        0
838.04/838.32	c  838s |      26 | 11647068 |  9024152 |      994  23394 |        0 |        0
840.03/840.32	c  840s |      26 | 11674813 |  9045852 |      994  23437 |        0 |        0
842.03/842.33	c  842s |      26 | 11702032 |  9067452 |      994  23480 |        0 |        0
844.03/844.33	c  844s |      26 | 11728905 |  9088252 |      994  23522 |        0 |        0
846.03/846.33	c  846s |      26 | 11755672 |  9108952 |      994  23563 |        0 |        0
848.03/848.33	c  848s |      26 | 11780858 |  9128952 |      994  23602 |        0 |        0
850.03/850.34	c  850s |      26 | 11806682 |  9148652 |      994  23642 |        0 |        0
852.02/852.35	c  852s |      26 | 11834583 |  9169352 |      994  23683 |        0 |        0
854.02/854.36	c  854s |      26 | 11861245 |  9189852 |      994  23723 |        0 |        0
856.02/856.37	c  856s |      26 | 11889654 |  9210852 |      994  23765 |        0 |        0
858.02/858.37	c  858s |      26 | 11917438 |  9231752 |      994  23807 |        0 |        0
860.02/860.38	c  860s |      26 | 11945256 |  9252852 |      994  23849 |        0 |        0
862.02/862.39	c  862s |      26 | 11974348 |  9274352 |      994  23892 |        0 |        0
864.02/864.39	c  864s |      26 | 12004094 |  9296252 |      994  23935 |        0 |        0
866.01/866.39	c  866s |      26 | 12034540 |  9318252 |      994  23979 |        0 |        0
868.11/868.40	c  868s |      26 | 12063071 |  9339552 |      994  24021 |        0 |        0
870.11/870.40	c  870s |      26 | 12089420 |  9359952 |      994  24062 |        0 |        0
872.12/872.41	c  872s |      26 | 12117257 |  9380952 |      994  24104 |        0 |        0
874.11/874.41	c  874s |      26 | 12143646 |  9401052 |      994  24144 |        0 |        0
876.11/876.42	c  876s |      26 | 12170743 |  9421852 |      994  24185 |        0 |        0
878.11/878.42	c  878s |      26 | 12195363 |  9441552 |      994  24224 |        0 |        0
880.10/880.43	c  880s |      26 | 12218621 |  9460652 |      994  24262 |        0 |        0
882.10/882.43	c  882s |      26 | 12244288 |  9480852 |      994  24302 |        0 |        0
884.11/884.43	c  884s |      26 | 12270144 |  9500752 |      994  24342 |        0 |        0
886.11/886.44	c  886s |      26 | 12298009 |  9521652 |      994  24383 |        0 |        0
888.11/888.44	c  888s |      26 | 12325714 |  9543152 |      994  24426 |        0 |        0
890.10/890.44	c  890s |      26 | 12354025 |  9564452 |      994  24468 |        0 |        0
892.10/892.45	c  892s |      26 | 12384277 |  9586852 |      994  24513 |        0 |        0
894.11/894.45	c  894s |      26 | 12413944 |  9609052 |      994  24557 |        0 |        0
896.10/896.45	c  896s |      26 | 12442665 |  9630552 |      994  24600 |        0 |        0
898.10/898.45	c  898s |      26 | 12469698 |  9651852 |      994  24642 |        0 |        0
900.10/900.46	c  900s |      26 | 12501326 |  9674152 |      994  24687 |        0 |        0
902.10/902.47	c  902s |      26 | 12532085 |  9696152 |      994  24730 |        0 |        0
904.10/904.47	c  904s |      26 | 12560554 |  9717452 |      994  24773 |        0 |        0
906.10/906.47	c  906s |      26 | 12587620 |  9737952 |      994  24814 |        0 |        0
908.10/908.48	c  908s |      26 | 12611609 |  9757352 |      994  24852 |        0 |        0
910.09/910.49	c  910s |      26 | 12634612 |  9776752 |      994  24891 |        0 |        0
912.09/912.49	c  912s |      26 | 12656475 |  9795152 |      994  24928 |        0 |        0
914.09/914.50	c  914s |      26 | 12683461 |  9815852 |      994  24969 |        0 |        0
916.19/916.50	c  916s |      26 | 12714087 |  9838152 |      994  25013 |        0 |        0
918.20/918.51	c  918s |      26 | 12744723 |  9860452 |      994  25057 |        0 |        0
920.19/920.52	c  920s |      26 | 12774883 |  9882452 |      994  25101 |        0 |        0
922.18/922.52	c  922s |      26 | 12802745 |  9904052 |      994  25144 |        0 |        0
924.18/924.53	c  924s |      26 | 12830866 |  9925752 |      994  25187 |        0 |        0
926.18/926.53	c  926s |      26 | 12858615 |  9946752 |      994  25229 |        0 |        0
928.19/928.54	c  928s |      26 | 12886236 |  9967452 |      994  25270 |        0 |        0
930.18/930.54	c  930s |      26 | 12915647 |  9989552 |      994  25314 |        0 |        0
932.18/932.55	c  932s |      26 | 12945023 | 10011452 |      994  25358 |        0 |        0
934.18/934.55	c  934s |      26 | 12972748 | 10032852 |      994  25401 |        0 |        0
936.17/936.56	c  936s |      26 | 12999786 | 10053852 |      994  25443 |        0 |        0
938.17/938.57	c  938s |      26 | 13027177 | 10074952 |      994  25485 |        0 |        0
940.18/940.58	c  940s |      26 | 13055279 | 10096552 |      994  25528 |        0 |        0
942.17/942.59	c  942s |      26 | 13083263 | 10117852 |      994  25570 |        0 |        0
944.17/944.59	c  944s |      26 | 13109311 | 10138352 |      994  25611 |        0 |        0
946.27/946.60	c  946s |      26 | 13137510 | 10159552 |      994  25653 |        0 |        0
948.27/948.61	c  948s |      26 | 13163970 | 10180052 |      994  25694 |        0 |        0
950.27/950.61	c  950s |      26 | 13194458 | 10202452 |      994  25738 |        0 |        0
952.28/952.61	c  952s |      26 | 13222525 | 10224052 |      994  25781 |        0 |        0
954.27/954.61	c  954s |      26 | 13249320 | 10244852 |      994  25823 |        0 |        0
956.27/956.62	c  956s |      26 | 13275825 | 10266152 |      994  25865 |        0 |        0
958.27/958.62	c  958s |      26 | 13301547 | 10286852 |      994  25906 |        0 |        0
960.27/960.63	c  960s |      26 | 13325669 | 10306652 |      994  25946 |        0 |        0
962.27/962.63	c  962s |      26 | 13350579 | 10327052 |      994  25986 |        0 |        0
964.27/964.64	c  964s |      26 | 13377219 | 10348152 |      994  26028 |        0 |        0
966.27/966.64	c  966s |      26 | 13405059 | 10370052 |      994  26072 |        0 |        0
968.26/968.65	c  968s |      26 | 13433734 | 10392152 |      994  26116 |        0 |        0
970.26/970.66	c  970s |      26 | 13464380 | 10414552 |      994  26161 |        0 |        0
972.26/972.66	c  972s |      26 | 13490538 | 10435052 |      994  26201 |        0 |        0
974.27/974.68	c  974s |      26 | 13514513 | 10454852 |      994  26241 |        0 |        0
976.26/976.68	c  976s |      26 | 13536819 | 10473352 |      994  26277 |        0 |        0
978.26/978.68	c  978s |      26 | 13558607 | 10491852 |      994  26314 |        0 |        0
980.25/980.68	c  980s |      26 | 13580934 | 10510452 |      994  26351 |        0 |        0
982.25/982.69	c  982s |      26 | 13605148 | 10530252 |      994  26390 |        0 |        0
984.26/984.69	c  984s |      26 | 13631256 | 10550852 |      994  26431 |        0 |        0
986.25/986.70	c  986s |      26 | 13656953 | 10571052 |      994  26472 |        0 |        0
988.35/988.70	c  988s |      26 | 13682105 | 10591152 |      994  26512 |        0 |        0
990.35/990.71	c  990s |      26 | 13709648 | 10612652 |      994  26554 |        0 |        0
992.35/992.72	c  992s |      26 | 13739478 | 10634852 |      994  26599 |        0 |        0
994.34/994.72	c  994s |      26 | 13765242 | 10655452 |      994  26640 |        0 |        0
996.35/996.73	c  996s |      26 | 13787844 | 10674252 |      994  26677 |        0 |        0
998.34/998.74	c  998s |      26 | 13810254 | 10693252 |      994  26715 |        0 |        0
1000.34/1000.74	c 1000s |      26 | 13837780 | 10714252 |      994  26757 |        0 |        0
1002.34/1002.75	c 1002s |      26 | 13865257 | 10735952 |      994  26800 |        0 |        0
1004.34/1004.76	c 1004s |      26 | 13893067 | 10757752 |      994  26843 |        0 |        0
1006.34/1006.76	c 1006s |      26 | 13919418 | 10779152 |      994  26886 |        0 |        0
1008.34/1008.76	c 1008s |      26 | 13949727 | 10801852 |      994  26932 |        0 |        0
1010.33/1010.76	c 1010s |      26 | 13976816 | 10822852 |      994  26974 |        0 |        0
1012.33/1012.77	c 1012s |      26 | 14007171 | 10845252 |      994  27018 |        0 |        0
1014.33/1014.78	c 1014s |      26 | 14034799 | 10866252 |      994  27060 |        0 |        0
1016.33/1016.78	c 1016s |      26 | 14059916 | 10886052 |      994  27099 |        0 |        0
1018.34/1018.79	c 1018s |      26 | 14083149 | 10905152 |      994  27137 |        0 |        0
1020.33/1020.80	c 1020s |      26 | 14107830 | 10924252 |      994  27175 |        0 |        0
1022.43/1022.80	c 1022s |      26 | 14135271 | 10945052 |      994  27217 |        0 |        0
1024.43/1024.80	c 1024s |      26 | 14163550 | 10966252 |      994  27259 |        0 |        0
1026.43/1026.81	c 1026s |      26 | 14191613 | 10987752 |      994  27302 |        0 |        0
1028.42/1028.82	c 1028s |      26 | 14221397 | 11010152 |      994  27347 |        0 |        0
1030.43/1030.82	c 1030s |      26 | 14252116 | 11032852 |      994  27392 |        0 |        0
1032.42/1032.82	c 1032s |      26 | 14282825 | 11055652 |      994  27437 |        0 |        0
1034.42/1034.83	c 1034s |      26 | 14313785 | 11078452 |      994  27483 |        0 |        0
1036.43/1036.83	c 1036s |      26 | 14343829 | 11100852 |      994  27528 |        0 |        0
1038.43/1038.83	c 1038s |      26 | 14372581 | 11122952 |      994  27572 |        0 |        0
1040.42/1040.84	c 1040s |      26 | 14399731 | 11143952 |      994  27614 |        0 |        0
1042.43/1042.84	c 1042s |      26 | 14427186 | 11164852 |      994  27656 |        0 |        0
1044.42/1044.85	c 1044s |      26 | 14456204 | 11186552 |      994  27699 |        0 |        0
1046.42/1046.85	c 1046s |      26 | 14484181 | 11207652 |      994  27741 |        0 |        0
1048.42/1048.85	c 1048s |      26 | 14510403 | 11228052 |      994  27782 |        0 |        0
1050.42/1050.86	c 1050s |      26 | 14538049 | 11249252 |      994  27824 |        0 |        0
1052.42/1052.86	c 1052s |      26 | 14566472 | 11270352 |      994  27866 |        0 |        0
1054.41/1054.87	c 1054s |      26 | 14592276 | 11290452 |      994  27906 |        0 |        0
1056.41/1056.87	c 1056s |      26 | 14617946 | 11310652 |      994  27946 |        0 |        0
1058.41/1058.88	c 1058s |      26 | 14644447 | 11330952 |     1094  27984 |        0 |        0
1060.41/1060.88	c 1060s |      26 | 14667990 | 11349752 |     1094  28018 |        0 |        0
1062.41/1062.88	c 1062s |      26 | 14692242 | 11369252 |     1094  28053 |        0 |        0
1064.42/1064.89	c 1064s |      26 | 14716019 | 11389052 |     1094  28089 |        0 |        0
1065.31/1065.73	c 1065s |      27 | 14725065 | 11396733 |     1094  28103 |        0 |        0
1067.31/1067.74	c 1067s |      27 | 14747368 | 11415333 |     1094  28137 |        0 |        0
1069.31/1069.74	c 1069s |      27 | 14771054 | 11434533 |     1094  28171 |        0 |        0
1071.31/1071.74	c 1071s |      27 | 14794480 | 11453433 |     1094  28205 |        0 |        0
1073.31/1073.74	c 1073s |      27 | 14819274 | 11473033 |     1094  28241 |        0 |        0
1075.31/1075.75	c 1075s |      27 | 14845123 | 11493133 |     1094  28277 |        0 |        0
1077.31/1077.76	c 1077s |      27 | 14872703 | 11514233 |     1094  28315 |        0 |        0
1079.31/1079.77	c 1079s |      27 | 14898794 | 11534533 |     1094  28352 |        0 |        0
1081.31/1081.78	c 1081s |      27 | 14925052 | 11554833 |     1094  28388 |        0 |        0
1083.31/1083.78	c 1083s |      27 | 14949990 | 11574833 |     1094  28424 |        0 |        0
1085.31/1085.79	c 1085s |      27 | 14976650 | 11595233 |     1094  28461 |        0 |        0
1087.31/1087.79	c 1087s |      27 | 15001109 | 11614833 |     1094  28497 |        0 |        0
1089.31/1089.79	c 1089s |      27 | 15027770 | 11634933 |     1094  28533 |        0 |        0
1091.40/1091.80	c 1091s |      27 | 15052835 | 11654533 |     1094  28568 |        0 |        0
1093.40/1093.80	c 1093s |      27 | 15076574 | 11673633 |     1094  28603 |        0 |        0
1095.40/1095.80	c 1095s |      27 | 15101169 | 11693333 |     1094  28638 |        0 |        0
1097.41/1097.80	c 1097s |      27 | 15125952 | 11713333 |     1094  28675 |        0 |        0
1099.40/1099.81	c 1099s |      27 | 15150269 | 11732833 |     1094  28710 |        0 |        0
1101.40/1101.81	c 1101s |      27 | 15176846 | 11753133 |     1094  28747 |        0 |        0
1103.40/1103.82	c 1103s |      27 | 15205580 | 11774233 |     1094  28785 |        0 |        0
1105.40/1105.82	c 1105s |      27 | 15229537 | 11793533 |     1094  28820 |        0 |        0
1107.41/1107.82	c 1107s |      27 | 15253960 | 11812933 |     1094  28854 |        0 |        0
1109.40/1109.83	c 1109s |      27 | 15279324 | 11833033 |     1094  28891 |        0 |        0
1111.40/1111.84	c 1111s |      27 | 15303580 | 11852333 |     1094  28925 |        0 |        0
1113.40/1113.85	c 1113s |      27 | 15326140 | 11870633 |     1094  28958 |        0 |        0
1115.40/1115.85	c 1115s |      27 | 15349476 | 11889133 |     1094  28992 |        0 |        0
1117.40/1117.86	c 1117s |      27 | 15373581 | 11908133 |     1094  29026 |        0 |        0
1119.40/1119.86	c 1119s |      27 | 15399942 | 11928533 |     1094  29062 |        0 |        0
1121.40/1121.86	c 1121s |      27 | 15426440 | 11948833 |     1094  29099 |        0 |        0
1123.40/1123.86	c 1123s |      27 | 15455761 | 11970633 |     1094  29138 |        0 |        0
1125.40/1125.87	c 1125s |      27 | 15484264 | 11991633 |     1094  29176 |        0 |        0
1127.40/1127.88	c 1127s |      27 | 15511117 | 12012033 |     1094  29213 |        0 |        0
1129.40/1129.89	c 1129s |      27 | 15536198 | 12031533 |     1094  29248 |        0 |        0
1131.40/1131.89	c 1131s |      27 | 15561990 | 12051133 |     1094  29284 |        0 |        0
1133.39/1133.90	c 1133s |      27 | 15586923 | 12070533 |     1094  29319 |        0 |        0
1135.49/1135.90	c 1135s |      27 | 15611348 | 12089833 |     1094  29354 |        0 |        0
1137.49/1137.91	c 1137s |      27 | 15636825 | 12109533 |     1094  29389 |        0 |        0
1139.49/1139.92	c 1139s |      27 | 15661190 | 12128633 |     1094  29424 |        0 |        0
1141.50/1141.93	c 1141s |      27 | 15686258 | 12148133 |     1094  29459 |        0 |        0
1143.49/1143.94	c 1143s |      27 | 15712534 | 12168133 |     1094  29495 |        0 |        0
1145.49/1145.94	c 1145s |      27 | 15738704 | 12188133 |     1094  29531 |        0 |        0
1147.49/1147.95	c 1147s |      27 | 15763327 | 12207633 |     1094  29566 |        0 |        0
1149.49/1149.96	c 1149s |      27 | 15787566 | 12226533 |     1094  29600 |        0 |        0
1151.49/1151.96	c 1151s |      27 | 15813873 | 12246333 |     1094  29635 |        0 |        0
1153.50/1153.96	c 1153s |      27 | 15838779 | 12265833 |     1094  29671 |        0 |        0
1155.49/1155.97	c 1155s |      27 | 15863418 | 12284733 |     1094  29705 |        0 |        0
1157.49/1157.97	c 1157s |      27 | 15886483 | 12302933 |     1094  29738 |        0 |        0
1159.49/1159.98	c 1159s |      27 | 15909705 | 12321133 |     1094  29770 |        0 |        0
1161.49/1161.98	c 1161s |      27 | 15932697 | 12339733 |     1094  29804 |        0 |        0
1163.50/1163.98	c 1163s |      27 | 15956387 | 12358933 |     1094  29839 |        0 |        0
1165.50/1165.99	c 1165s |      27 | 15979657 | 12377033 |     1094  29871 |        0 |        0
1167.50/1167.99	c 1167s |      27 | 16002654 | 12395133 |     1094  29904 |        0 |        0
1169.60/1170.00	c 1169s |      27 | 16025576 | 12413233 |     1094  29936 |        0 |        0
1171.60/1172.01	c 1171s |      27 | 16047730 | 12431133 |     1094  29969 |        0 |        0
1173.59/1174.01	c 1173s |      27 | 16070272 | 12449333 |     1094  30001 |        0 |        0
1175.60/1176.01	c 1175s |      27 | 16092021 | 12466633 |     1094  30033 |        0 |        0
1177.59/1178.02	c 1178s |      27 | 16114103 | 12483933 |     1094  30064 |        0 |        0
1179.59/1180.03	c 1180s |      27 | 16137484 | 12502033 |     1094  30096 |        0 |        0
1181.59/1182.03	c 1182s |      27 | 16158415 | 12519333 |     1094  30127 |        0 |        0
1183.59/1184.03	c 1184s |      27 | 16180096 | 12536933 |     1094  30159 |        0 |        0
1185.59/1186.04	c 1186s |      27 | 16203903 | 12555133 |     1094  30192 |        0 |        0
1187.60/1188.05	c 1188s |      27 | 16226457 | 12573133 |     1094  30224 |        0 |        0
1189.59/1190.05	c 1190s |      27 | 16251503 | 12591733 |     1094  30258 |        0 |        0
1191.59/1192.06	c 1192s |      27 | 16276471 | 12610933 |     1094  30293 |        0 |        0
1193.59/1194.06	c 1194s |      27 | 16301710 | 12630433 |     1094  30328 |        0 |        0
1195.59/1196.07	c 1196s |      27 | 16326454 | 12649933 |     1094  30363 |        0 |        0
1197.60/1198.07	c 1198s |      27 | 16349925 | 12668533 |     1094  30397 |        0 |        0
1199.59/1200.08	c 1200s |      27 | 16377557 | 12688933 |     1094  30433 |        0 |        0
1201.59/1202.09	c 1202s |      27 | 16403292 | 12708433 |     1094  30468 |        0 |        0
1203.59/1204.09	c 1204s |      27 | 16428016 | 12727333 |     1094  30502 |        0 |        0
1205.59/1206.10	c 1206s |      27 | 16452596 | 12746533 |     1094  30537 |        0 |        0
1207.69/1208.10	c 1208s |      27 | 16477634 | 12766033 |     1094  30572 |        0 |        0
1209.70/1210.11	c 1210s |      27 | 16503803 | 12785933 |     1094  30608 |        0 |        0
1211.69/1212.12	c 1212s |      27 | 16531400 | 12807333 |     1094  30647 |        0 |        0
1213.69/1214.12	c 1214s |      27 | 16557355 | 12827633 |     1094  30683 |        0 |        0
1215.69/1216.13	c 1216s |      27 | 16584625 | 12848333 |     1094  30721 |        0 |        0
1217.69/1218.14	c 1218s |      27 | 16612019 | 12868933 |     1094  30758 |        0 |        0
1219.69/1220.15	c 1220s |      27 | 16636448 | 12888433 |     1094  30793 |        0 |        0
1221.69/1222.15	c 1222s |      27 | 16662074 | 12908133 |     1094  30829 |        0 |        0
1223.69/1224.15	c 1224s |      27 | 16687826 | 12928133 |     1094  30865 |        0 |        0
1225.68/1226.15	c 1226s |      27 | 16716167 | 12949333 |     1094  30903 |        0 |        0
1227.68/1228.15	c 1228s |      27 | 16741910 | 12969233 |     1094  30939 |        0 |        0
1229.68/1230.17	c 1230s |      27 | 16764773 | 12988033 |     1094  30973 |        0 |        0
1231.69/1232.17	c 1232s |      27 | 16789232 | 13007633 |     1094  31008 |        0 |        0
1233.68/1234.17	c 1234s |      27 | 16815271 | 13027733 |     1094  31044 |        0 |        0
1235.68/1236.17	c 1236s |      27 | 16840917 | 13047633 |     1094  31080 |        0 |        0
1237.68/1238.18	c 1238s |      27 | 16867511 | 13067933 |     1094  31117 |        0 |        0
1239.68/1240.18	c 1240s |      27 | 16893526 | 13088333 |     1094  31154 |        0 |        0
1241.68/1242.19	c 1242s |      27 | 16921039 | 13109333 |     1094  31192 |        0 |        0
1243.69/1244.19	c 1244s |      27 | 16948352 | 13129833 |     1094  31229 |        0 |        0
1245.78/1246.20	c 1246s |      27 | 16976441 | 13151033 |     1094  31267 |        0 |        0
1247.78/1248.21	c 1248s |      27 | 17000570 | 13170333 |     1094  31302 |        0 |        0
1249.78/1250.21	c 1250s |      27 | 17025042 | 13189533 |     1094  31337 |        0 |        0
1251.78/1252.23	c 1252s |      27 | 17051859 | 13210033 |     1094  31374 |        0 |        0
1253.78/1254.23	c 1254s |      27 | 17076254 | 13229533 |     1094  31409 |        0 |        0
1255.79/1256.23	c 1256s |      27 | 17101826 | 13249733 |     1094  31445 |        0 |        0
1257.78/1258.24	c 1258s |      27 | 17128134 | 13269933 |     1094  31482 |        0 |        0
1259.78/1260.24	c 1260s |      27 | 17155234 | 13290633 |     1094  31519 |        0 |        0
1261.78/1262.24	c 1262s |      27 | 17180020 | 13309933 |     1094  31554 |        0 |        0
1263.78/1264.25	c 1264s |      27 | 17206339 | 13329433 |     1094  31589 |        0 |        0
1265.78/1266.26	c 1266s |      27 | 17234650 | 13350733 |     1094  31627 |        0 |        0
1267.78/1268.26	c 1268s |      27 | 17263274 | 13371433 |     1094  31665 |        0 |        0
1269.78/1270.26	c 1270s |      27 | 17291052 | 13392633 |     1094  31703 |        0 |        0
1271.78/1272.26	c 1272s |      27 | 17317486 | 13412833 |     1094  31739 |        0 |        0
1273.77/1274.27	c 1274s |      27 | 17344833 | 13433433 |     1094  31777 |        0 |        0
1275.77/1276.27	c 1276s |      27 | 17373470 | 13454433 |     1094  31814 |        0 |        0
1277.78/1278.27	c 1278s |      27 | 17399045 | 13473833 |     1094  31849 |        0 |        0
1279.77/1280.28	c 1280s |      27 | 17423419 | 13492933 |     1094  31884 |        0 |        0
1281.77/1282.28	c 1282s |      27 | 17446708 | 13511533 |     1094  31917 |        0 |        0
1283.77/1284.29	c 1284s |      27 | 17469980 | 13530233 |     1094  31951 |        0 |        0
1285.87/1286.30	c 1286s |      27 | 17498427 | 13551433 |     1094  31990 |        0 |        0
1287.87/1288.30	c 1288s |      27 | 17526771 | 13572633 |     1094  32028 |        0 |        0
1289.88/1290.31	c 1290s |      27 | 17553264 | 13593033 |     1094  32064 |        0 |        0
1291.87/1292.31	c 1292s |      27 | 17578376 | 13612733 |     1094  32100 |        0 |        0
1293.87/1294.32	c 1294s |      27 | 17606150 | 13633733 |     1094  32138 |        0 |        0
1295.87/1296.32	c 1296s |      27 | 17632202 | 13653733 |     1094  32174 |        0 |        0
1297.87/1298.32	c 1298s |      27 | 17659806 | 13674633 |     1094  32212 |        0 |        0
1299.88/1300.33	c 1300s |      27 | 17684979 | 13694333 |     1094  32247 |        0 |        0
1301.87/1302.33	c 1302s |      27 | 17711148 | 13714333 |     1094  32283 |        0 |        0
1303.87/1304.34	c 1304s |      27 | 17738123 | 13734733 |     1094  32320 |        0 |        0
1305.87/1306.34	c 1306s |      27 | 17766893 | 13756233 |     1094  32359 |        0 |        0
1307.87/1308.35	c 1308s |      27 | 17793435 | 13777133 |     1094  32397 |        0 |        0
1309.87/1310.35	c 1310s |      27 | 17820865 | 13798133 |     1094  32435 |        0 |        0
1311.87/1312.35	c 1312s |      27 | 17849563 | 13819833 |     1094  32474 |        0 |        0
1313.87/1314.36	c 1314s |      27 | 17876923 | 13840633 |     1094  32512 |        0 |        0
1315.87/1316.36	c 1316s |      27 | 17903672 | 13861433 |     1094  32549 |        0 |        0
1317.87/1318.37	c 1318s |      27 | 17932242 | 13882633 |     1094  32588 |        0 |        0
1319.87/1320.38	c 1320s |      27 | 17957119 | 13902133 |     1094  32623 |        0 |        0
1321.87/1322.39	c 1322s |      27 | 17983048 | 13922033 |     1094  32659 |        0 |        0
1323.86/1324.39	c 1324s |      27 | 18008762 | 13942733 |     1094  32696 |        0 |        0
1325.96/1326.40	c 1326s |      27 | 18034798 | 13963033 |     1094  32733 |        0 |        0
1327.96/1328.40	c 1328s |      27 | 18061261 | 13983433 |     1094  32770 |        0 |        0
1329.96/1330.41	c 1330s |      27 | 18088758 | 14004333 |     1094  32808 |        0 |        0
1331.96/1332.42	c 1332s |      27 | 18115527 | 14025233 |     1094  32846 |        0 |        0
1333.97/1334.43	c 1334s |      27 | 18138543 | 14043833 |     1094  32879 |        0 |        0
1335.96/1336.43	c 1336s |      27 | 18161328 | 14062233 |     1094  32912 |        0 |        0
1337.96/1338.43	c 1338s |      27 | 18184455 | 14081033 |     1094  32946 |        0 |        0
1339.96/1340.43	c 1340s |      27 | 18206043 | 14098933 |     1094  32978 |        0 |        0
1341.96/1342.44	c 1342s |      27 | 18229545 | 14117833 |     1094  33012 |        0 |        0
1343.97/1344.45	c 1344s |      27 | 18253557 | 14136633 |     1094  33046 |        0 |        0
1345.98/1346.46	c 1346s |      27 | 18277438 | 14155533 |     1094  33080 |        0 |        0
1347.97/1348.46	c 1348s |      27 | 18300127 | 14174233 |     1094  33114 |        0 |        0
1349.97/1350.47	c 1350s |      27 | 18320385 | 14191233 |     1094  33145 |        0 |        0
1351.97/1352.47	c 1352s |      27 | 18339853 | 14207833 |     1094  33175 |        0 |        0
1353.97/1354.48	c 1354s |      27 | 18364053 | 14226633 |     1094  33208 |        0 |        0
1355.97/1356.48	c 1356s |      27 | 18388125 | 14246033 |     1094  33243 |        0 |        0
1357.97/1358.49	c 1358s |      27 | 18413019 | 14265733 |     1094  33279 |        0 |        0
1360.07/1360.50	c 1360s |      27 | 18438597 | 14285933 |     1094  33315 |        0 |        0
1362.07/1362.51	c 1362s |      27 | 18462578 | 14305133 |     1094  33350 |        0 |        0
1364.07/1364.51	c 1364s |      27 | 18485545 | 14323833 |     1094  33384 |        0 |        0
1366.06/1366.52	c 1366s |      27 | 18509535 | 14343033 |     1094  33419 |        0 |        0
1368.07/1368.52	c 1368s |      27 | 18536773 | 14363533 |     1094  33456 |        0 |        0
1370.06/1370.53	c 1370s |      27 | 18562978 | 14383233 |     1094  33491 |        0 |        0
1372.06/1372.54	c 1372s |      27 | 18587333 | 14402133 |     1094  33525 |        0 |        0
1374.06/1374.54	c 1374s |      27 | 18612994 | 14421633 |     1094  33561 |        0 |        0
1376.06/1376.55	c 1376s |      27 | 18639301 | 14441533 |     1094  33597 |        0 |        0
1378.06/1378.56	c 1378s |      27 | 18666396 | 14462033 |     1094  33634 |        0 |        0
1380.07/1380.56	c 1380s |      27 | 18695116 | 14483233 |     1094  33672 |        0 |        0
1382.06/1382.56	c 1382s |      27 | 18719989 | 14502833 |     1094  33707 |        0 |        0
1384.06/1384.57	c 1384s |      27 | 18745391 | 14522733 |     1094  33743 |        0 |        0
1386.06/1386.58	c 1386s |      27 | 18771478 | 14542533 |     1094  33779 |        0 |        0
1388.06/1388.58	c 1388s |      27 | 18796693 | 14562133 |     1094  33815 |        0 |        0
1390.06/1390.59	c 1390s |      27 | 18821555 | 14581433 |     1094  33850 |        0 |        0
1392.06/1392.59	c 1392s |      27 | 18845801 | 14600033 |     1094  33883 |        0 |        0
1394.16/1394.60	c 1394s |      27 | 18870501 | 14619133 |     1094  33918 |        0 |        0
1396.15/1396.62	c 1396s |      27 | 18895072 | 14638033 |     1094  33952 |        0 |        0
1398.15/1398.62	c 1398s |      27 | 18920032 | 14656933 |     1094  33986 |        0 |        0
1400.15/1400.63	c 1400s |      27 | 18945094 | 14676233 |     1094  34020 |        0 |        0
1402.16/1402.64	c 1402s |      27 | 18968399 | 14694533 |     1094  34053 |        0 |        0
1404.15/1404.64	c 1404s |      27 | 18994792 | 14714733 |     1094  34090 |        0 |        0
1406.15/1406.64	c 1406s |      27 | 19022147 | 14735233 |     1094  34127 |        0 |        0
1408.15/1408.65	c 1408s |      27 | 19047843 | 14754833 |     1094  34163 |        0 |        0
1410.16/1410.66	c 1410s |      27 | 19072922 | 14774433 |     1094  34198 |        0 |        0
1412.16/1412.66	c 1412s |      27 | 19099067 | 14794233 |     1094  34234 |        0 |        0
1414.17/1414.67	c 1414s |      27 | 19127185 | 14815133 |     1094  34272 |        0 |        0
1416.16/1416.67	c 1416s |      27 | 19155492 | 14836033 |     1094  34309 |        0 |        0
1418.16/1418.68	c 1418s |      27 | 19182022 | 14856233 |     1094  34345 |        0 |        0
1420.16/1420.68	c 1420s |      27 | 19207316 | 14876433 |     1094  34382 |        0 |        0
1422.16/1422.69	c 1422s |      27 | 19233737 | 14896733 |     1094  34418 |        0 |        0
1424.16/1424.69	c 1424s |      27 | 19260004 | 14917033 |     1094  34455 |        0 |        0
1426.16/1426.69	c 1426s |      27 | 19288476 | 14938233 |     1094  34493 |        0 |        0
1428.25/1428.70	c 1428s |      27 | 19315764 | 14959233 |     1094  34531 |        0 |        0
1430.25/1430.70	c 1430s |      27 | 19344313 | 14980433 |     1094  34570 |        0 |        0
1432.25/1432.71	c 1432s |      27 | 19372158 | 15001333 |     1094  34607 |        0 |        0
1434.25/1434.71	c 1434s |      27 | 19399292 | 15021933 |     1094  34645 |        0 |        0
1436.26/1436.71	c 1436s |      27 | 19425798 | 15042433 |     1094  34682 |        0 |        0
1438.25/1438.71	c 1438s |      27 | 19450574 | 15062033 |     1094  34717 |        0 |        0
1440.25/1440.72	c 1440s |      27 | 19474852 | 15081133 |     1094  34752 |        0 |        0
1442.25/1442.73	c 1442s |      27 | 19501507 | 15101233 |     1094  34788 |        0 |        0
1444.25/1444.74	c 1444s |      27 | 19526126 | 15120533 |     1094  34823 |        0 |        0
1446.25/1446.74	c 1446s |      27 | 19552708 | 15140533 |     1094  34859 |        0 |        0
1448.26/1448.75	c 1448s |      27 | 19579036 | 15160433 |     1094  34895 |        0 |        0
1450.25/1450.75	c 1450s |      27 | 19605462 | 15180333 |     1094  34931 |        0 |        0
1452.25/1452.76	c 1452s |      27 | 19631794 | 15200133 |     1094  34966 |        0 |        0
1454.25/1454.76	c 1454s |      27 | 19654599 | 15218433 |     1094  34999 |        0 |        0
1456.25/1456.77	c 1456s |      27 | 19681730 | 15238533 |     1094  35036 |        0 |        0
1458.26/1458.77	c 1458s |      27 | 19710290 | 15259933 |     1094  35074 |        0 |        0
1460.25/1460.77	c 1460s |      27 | 19739480 | 15281433 |     1094  35113 |        0 |        0
1462.25/1462.78	c 1462s |      27 | 19766431 | 15302133 |     1094  35151 |        0 |        0
1464.25/1464.78	c 1464s |      27 | 19795589 | 15323533 |     1094  35189 |        0 |        0
1466.25/1466.78	c 1466s |      27 | 19826956 | 15345733 |     1094  35230 |        0 |        0
1468.25/1468.78	c 1468s |      27 | 19856792 | 15367633 |     1094  35269 |        0 |        0
1470.25/1470.79	c 1470s |      27 | 19881992 | 15387733 |     1094  35306 |        0 |        0
1472.25/1472.79	c 1472s |      27 | 19910729 | 15409333 |     1094  35345 |        0 |        0
1474.35/1474.80	c 1474s |      27 | 19939272 | 15430633 |     1094  35383 |        0 |        0
1476.35/1476.80	c 1476s |      27 | 19963513 | 15450033 |     1094  35418 |        0 |        0
1478.35/1478.81	c 1478s |      27 | 19990737 | 15470733 |     1094  35456 |        0 |        0
1480.35/1480.81	c 1480s |      27 | 20019241 | 15492133 |     1094  35494 |        0 |        0
1482.35/1482.83	c 1482s |      27 | 20047598 | 15513833 |     1094  35534 |        0 |        0
1484.34/1484.83	c 1484s |      27 | 20073526 | 15534033 |     1094  35570 |        0 |        0
1486.34/1486.84	c 1486s |      27 | 20100514 | 15554633 |     1094  35607 |        0 |        0
1488.34/1488.84	c 1488s |      27 | 20125188 | 15574333 |     1094  35643 |        0 |        0
1490.34/1490.85	c 1490s |      27 | 20152641 | 15595133 |     1094  35681 |        0 |        0
1492.35/1492.86	c 1492s |      27 | 20177666 | 15614833 |     1094  35716 |        0 |        0
1494.34/1494.86	c 1494s |      27 | 20203211 | 15634933 |     1094  35752 |        0 |        0
1496.34/1496.86	c 1496s |      27 | 20230342 | 15655533 |     1094  35790 |        0 |        0
1498.34/1498.86	c 1498s |      27 | 20256467 | 15675933 |     1094  35826 |        0 |        0
1500.34/1500.87	c 1500s |      27 | 20283681 | 15696833 |     1094  35864 |        0 |        0
1502.34/1502.87	c 1502s |      27 | 20308468 | 15716733 |     1094  35900 |        0 |        0
1504.35/1504.88	c 1504s |      27 | 20336596 | 15738033 |     1094  35939 |        0 |        0
1506.34/1506.89	c 1506s |      27 | 20362863 | 15758233 |     1094  35975 |        0 |        0
1508.34/1508.89	c 1508s |      27 | 20388353 | 15778033 |     1094  36011 |        0 |        0
1510.34/1510.89	c 1510s |      27 | 20415093 | 15798233 |     1094  36047 |        0 |        0
1512.44/1512.90	c 1512s |      27 | 20441067 | 15818233 |     1094  36084 |        0 |        0
1514.44/1514.90	c 1514s |      27 | 20469387 | 15839233 |     1094  36121 |        0 |        0
1516.44/1516.91	c 1516s |      27 | 20496225 | 15859633 |     1094  36158 |        0 |        0
1518.44/1518.91	c 1518s |      27 | 20522515 | 15880033 |     1094  36195 |        0 |        0
1520.43/1520.92	c 1520s |      27 | 20549751 | 15900833 |     1094  36233 |        0 |        0
1522.43/1522.92	c 1522s |      27 | 20573158 | 15920033 |     1094  36268 |        0 |        0
1524.43/1524.92	c 1524s |      27 | 20602085 | 15941333 |     1094  36306 |        0 |        0
1526.44/1526.93	c 1526s |      27 | 20627887 | 15961033 |     1094  36342 |        0 |        0
1528.43/1528.93	c 1528s |      27 | 20652488 | 15981133 |     1094  36378 |        0 |        0
1530.43/1530.93	c 1530s |      27 | 20680290 | 16001933 |     1094  36416 |        0 |        0
1532.43/1532.94	c 1532s |      27 | 20704016 | 16021233 |     1094  36451 |        0 |        0
1534.43/1534.94	c 1534s |      27 | 20730927 | 16041733 |     1094  36488 |        0 |        0
1536.43/1536.94	c 1536s |      27 | 20755456 | 16061233 |     1094  36523 |        0 |        0
1538.44/1538.95	c 1538s |      27 | 20781970 | 16081933 |     1094  36561 |        0 |        0
1540.43/1540.96	c 1540s |      27 | 20809937 | 16102733 |     1094  36599 |        0 |        0
1542.43/1542.97	c 1542s |      27 | 20837732 | 16124133 |     1094  36638 |        0 |        0
1544.44/1544.97	c 1544s |      27 | 20864388 | 16144433 |     1094  36674 |        0 |        0
1546.44/1546.97	c 1546s |      27 | 20891745 | 16165333 |     1094  36712 |        0 |        0
1548.45/1548.97	c 1548s |      27 | 20917778 | 16185433 |     1094  36749 |        0 |        0
1550.44/1550.98	c 1550s |      27 | 20947702 | 16206733 |     1094  36787 |        0 |        0
1552.44/1552.98	c 1552s |      27 | 20975325 | 16227533 |     1094  36825 |        0 |        0
1554.44/1554.99	c 1554s |      27 | 21004730 | 16249233 |     1094  36864 |        0 |        0
1556.54/1557.00	c 1556s |      27 | 21031865 | 16269833 |     1094  36902 |        0 |        0
1558.54/1559.01	c 1558s |      27 | 21059080 | 16290333 |     1094  36939 |        0 |        0
1560.54/1561.02	c 1561s |      27 | 21083652 | 16310033 |     1094  36974 |        0 |        0
1562.54/1563.03	c 1563s |      27 | 21107181 | 16329533 |     1094  37009 |        0 |        0
1564.54/1565.03	c 1565s |      27 | 21129556 | 16348633 |     1094  37043 |        0 |        0
1566.53/1567.04	c 1567s |      27 | 21154420 | 16369033 |     1094  37080 |        0 |        0
1568.53/1569.04	c 1569s |      27 | 21181039 | 16389933 |     1094  37118 |        0 |        0
1570.53/1571.05	c 1571s |      27 | 21208537 | 16410833 |     1094  37156 |        0 |        0
1572.54/1573.05	c 1573s |      27 | 21234452 | 16431733 |     1094  37193 |        0 |        0
1574.53/1575.06	c 1575s |      27 | 21261118 | 16452533 |     1094  37231 |        0 |        0
1576.53/1577.06	c 1577s |      27 | 21286595 | 16472933 |     1094  37268 |        0 |        0
1578.53/1579.06	c 1579s |      27 | 21312730 | 16493633 |     1094  37305 |        0 |        0
1580.53/1581.07	c 1581s |      27 | 21339613 | 16514633 |     1094  37343 |        0 |        0
1582.54/1583.07	c 1583s |      27 | 21366394 | 16535533 |     1094  37381 |        0 |        0
1584.53/1585.07	c 1585s |      27 | 21394449 | 16556933 |     1094  37420 |        0 |        0
1586.53/1587.07	c 1587s |      27 | 21422809 | 16578633 |     1094  37459 |        0 |        0
1588.53/1589.08	c 1589s |      27 | 21449420 | 16599233 |     1094  37496 |        0 |        0
1590.53/1591.08	c 1591s |      27 | 21476203 | 16620233 |     1094  37534 |        0 |        0
1592.53/1593.08	c 1593s |      27 | 21503048 | 16641133 |     1094  37572 |        0 |        0
1594.53/1595.09	c 1595s |      27 | 21531828 | 16662933 |     1094  37612 |        0 |        0
1596.63/1597.10	c 1597s |      27 | 21558278 | 16682833 |     1094  37648 |        0 |        0
1598.63/1599.10	c 1599s |      27 | 21586342 | 16703433 |     1094  37685 |        0 |        0
1600.63/1601.11	c 1601s |      27 | 21612659 | 16723633 |     1094  37721 |        0 |        0
1602.63/1603.11	c 1603s |      27 | 21641087 | 16744633 |     1094  37759 |        0 |        0
1604.63/1605.11	c 1605s |      27 | 21667635 | 16764933 |     1094  37796 |        0 |        0
1606.63/1607.11	c 1607s |      27 | 21696557 | 16786133 |     1094  37834 |        0 |        0
1608.62/1609.12	c 1609s |      27 | 21722389 | 16806433 |     1094  37871 |        0 |        0
1610.62/1611.12	c 1611s |      27 | 21745270 | 16824733 |     1094  37904 |        0 |        0
1612.62/1613.13	c 1613s |      27 | 21770379 | 16844133 |     1094  37939 |        0 |        0
1614.62/1615.13	c 1615s |      27 | 21796932 | 16864933 |     1094  37977 |        0 |        0
1616.63/1617.14	c 1617s |      27 | 21824823 | 16885633 |     1094  38014 |        0 |        0
1618.62/1619.15	c 1619s |      27 | 21853004 | 16906733 |     1094  38052 |        0 |        0
1620.62/1621.16	c 1621s |      27 | 21879255 | 16926933 |     1094  38089 |        0 |        0
1622.62/1623.16	c 1623s |      27 | 21903688 | 16946133 |     1094  38124 |        0 |        0
1624.62/1625.17	c 1625s |      27 | 21929531 | 16965533 |     1094  38159 |        0 |        0
1626.62/1627.17	c 1627s |      27 | 21955065 | 16984733 |     1204  38191 |        0 |        0
1628.62/1629.18	c 1629s |      27 | 21977610 | 17002633 |     1204  38221 |        0 |        0
1630.62/1631.18	c 1631s |      27 | 22001716 | 17021033 |     1204  38251 |        0 |        0
1632.62/1633.19	c 1633s |      27 | 22025689 | 17039133 |     1204  38281 |        0 |        0
1634.62/1635.19	c 1635s |      27 | 22047794 | 17055833 |     1204  38308 |        0 |        0
1636.72/1637.20	c 1637s |      27 | 22072439 | 17074733 |     1204  38339 |        0 |        0
1638.72/1639.21	c 1639s |      27 | 22096886 | 17093133 |     1204  38369 |        0 |        0
1638.92/1639.45	c 1639s |      28 | 22099404 | 17095205 |     1204  38372 |        0 |        0
1640.92/1641.45	c 1641s |      28 | 22122298 | 17113405 |     1204  38402 |        0 |        0
1642.92/1643.45	c 1643s |      28 | 22142451 | 17130705 |     1204  38430 |        0 |        0
1644.92/1645.46	c 1645s |      28 | 22163261 | 17148205 |     1204  38459 |        0 |        0
1646.92/1647.46	c 1647s |      28 | 22184514 | 17165905 |     1204  38488 |        0 |        0
1648.92/1649.48	c 1649s |      28 | 22205592 | 17183405 |     1204  38517 |        0 |        0
1650.92/1651.48	c 1651s |      28 | 22225968 | 17200805 |     1204  38545 |        0 |        0
1652.93/1653.49	c 1653s |      28 | 22245881 | 17218205 |     1204  38573 |        0 |        0
1654.92/1655.49	c 1655s |      28 | 22271786 | 17238105 |     1204  38606 |        0 |        0
1657.02/1657.50	c 1657s |      28 | 22294724 | 17256505 |     1204  38636 |        0 |        0
1659.02/1659.50	c 1659s |      28 | 22320032 | 17275905 |     1204  38667 |        0 |        0
1661.02/1661.50	c 1661s |      28 | 22346333 | 17295605 |     1204  38700 |        0 |        0
1663.02/1663.51	c 1663s |      28 | 22373209 | 17315405 |     1204  38732 |        0 |        0
1665.03/1665.51	c 1665s |      28 | 22399029 | 17334605 |     1204  38764 |        0 |        0
1667.02/1667.52	c 1667s |      28 | 22423908 | 17353205 |     1204  38794 |        0 |        0
1669.02/1669.52	c 1669s |      28 | 22446562 | 17371705 |     1204  38824 |        0 |        0
1671.02/1671.52	c 1671s |      28 | 22472923 | 17391405 |     1204  38857 |        0 |        0
1673.02/1673.53	c 1673s |      28 | 22496828 | 17410105 |     1204  38887 |        0 |        0
1675.02/1675.54	c 1675s |      28 | 22518879 | 17428305 |     1204  38917 |        0 |        0
1677.03/1677.54	c 1677s |      28 | 22540821 | 17446405 |     1204  38947 |        0 |        0
1679.02/1679.55	c 1679s |      28 | 22565355 | 17465205 |     1204  38977 |        0 |        0
1681.02/1681.55	c 1681s |      28 | 22588781 | 17483705 |     1204  39008 |        0 |        0
1683.02/1683.55	c 1683s |      28 | 22613491 | 17502705 |     1204  39039 |        0 |        0
1685.02/1685.55	c 1685s |      28 | 22636343 | 17521005 |     1204  39069 |        0 |        0
1687.02/1687.56	c 1687s |      28 | 22658343 | 17538905 |     1204  39098 |        0 |        0
1689.02/1689.57	c 1689s |      28 | 22680496 | 17556705 |     1204  39127 |        0 |        0
1691.02/1691.58	c 1691s |      28 | 22703109 | 17574705 |     1204  39157 |        0 |        0
1693.02/1693.58	c 1693s |      28 | 22726815 | 17593005 |     1204  39187 |        0 |        0
1695.02/1695.58	c 1695s |      28 | 22750625 | 17611505 |     1204  39217 |        0 |        0
1697.02/1697.58	c 1697s |      28 | 22773398 | 17629605 |     1204  39247 |        0 |        0
1699.02/1699.59	c 1699s |      28 | 22796997 | 17648005 |     1204  39277 |        0 |        0
1701.11/1701.60	c 1701s |      28 | 22820580 | 17666305 |     1204  39307 |        0 |        0
1703.11/1703.60	c 1703s |      28 | 22842256 | 17684505 |     1204  39337 |        0 |        0
1705.11/1705.61	c 1705s |      28 | 22865085 | 17702905 |     1204  39367 |        0 |        0
1707.11/1707.61	c 1707s |      28 | 22886656 | 17721005 |     1204  39397 |        0 |        0
1709.11/1709.62	c 1709s |      28 | 22908556 | 17739005 |     1204  39426 |        0 |        0
1711.12/1711.63	c 1711s |      28 | 22931575 | 17757305 |     1204  39456 |        0 |        0
1713.11/1713.63	c 1713s |      28 | 22954652 | 17775705 |     1204  39486 |        0 |        0
1715.11/1715.64	c 1715s |      28 | 22979721 | 17794805 |     1204  39518 |        0 |        0
1717.11/1717.65	c 1717s |      28 | 23003892 | 17813405 |     1204  39548 |        0 |        0
1719.11/1719.66	c 1719s |      28 | 23025802 | 17831105 |     1204  39577 |        0 |        0
1721.11/1721.67	c 1721s |      28 | 23045448 | 17847405 |     1204  39604 |        0 |        0
1723.10/1723.67	c 1723s |      28 | 23063715 | 17863105 |     1204  39630 |        0 |        0
1725.10/1725.68	c 1725s |      28 | 23085365 | 17880105 |     1204  39658 |        0 |        0
1727.10/1727.68	c 1727s |      28 | 23107610 | 17897605 |     1204  39686 |        0 |        0
1729.10/1729.69	c 1729s |      28 | 23128253 | 17914605 |     1204  39714 |        0 |        0
1731.20/1731.70	c 1731s |      28 | 23148065 | 17931405 |     1204  39742 |        0 |        0
1733.11/1733.70	c 1733s |      28 | 23170084 | 17949405 |     1204  39771 |        0 |        0
1735.20/1735.71	c 1735s |      28 | 23190985 | 17966805 |     1204  39800 |        0 |        0
1737.20/1737.72	c 1737s |      28 | 23211374 | 17984105 |     1204  39828 |        0 |        0
1739.20/1739.73	c 1739s |      28 | 23232356 | 18001505 |     1204  39856 |        0 |        0
1741.20/1741.74	c 1741s |      28 | 23254068 | 18019005 |     1204  39885 |        0 |        0
1743.20/1743.74	c 1743s |      28 | 23276330 | 18036805 |     1204  39914 |        0 |        0
1745.21/1745.74	c 1745s |      28 | 23299131 | 18055205 |     1204  39945 |        0 |        0
1747.20/1747.75	c 1747s |      28 | 23318989 | 18072105 |     1204  39972 |        0 |        0
1749.20/1749.75	c 1749s |      28 | 23340562 | 18089805 |     1204  40001 |        0 |        0
1751.20/1751.75	c 1751s |      28 | 23363992 | 18108105 |     1204  40031 |        0 |        0
1753.20/1753.75	c 1753s |      28 | 23385199 | 18125405 |     1204  40059 |        0 |        0
1755.21/1755.76	c 1755s |      28 | 23406194 | 18142505 |     1204  40087 |        0 |        0
1757.20/1757.77	c 1757s |      28 | 23424487 | 18158805 |     1204  40114 |        0 |        0
1759.20/1759.77	c 1759s |      28 | 23443382 | 18175105 |     1204  40141 |        0 |        0
1761.21/1761.78	c 1761s |      28 | 23463148 | 18191905 |     1204  40168 |        0 |        0
1763.21/1763.78	c 1763s |      28 | 23484348 | 18209305 |     1204  40197 |        0 |        0
1765.21/1765.78	c 1765s |      28 | 23505883 | 18226705 |     1204  40225 |        0 |        0
1767.21/1767.79	c 1767s |      28 | 23528725 | 18244905 |     1204  40255 |        0 |        0
1769.21/1769.79	c 1769s |      28 | 23548691 | 18262005 |     1204  40283 |        0 |        0
1771.30/1771.80	c 1771s |      28 | 23571347 | 18280205 |     1204  40313 |        0 |        0
1773.30/1773.80	c 1773s |      28 | 23592383 | 18297405 |     1204  40341 |        0 |        0
1775.30/1775.81	c 1775s |      28 | 23616917 | 18316105 |     1204  40372 |        0 |        0
1777.30/1777.81	c 1777s |      28 | 23639936 | 18334405 |     1204  40402 |        0 |        0
1779.31/1779.82	c 1779s |      28 | 23661399 | 18351905 |     1204  40431 |        0 |        0
1781.30/1781.83	c 1781s |      28 | 23682044 | 18369205 |     1204  40459 |        0 |        0
1783.30/1783.83	c 1783s |      28 | 23702321 | 18386105 |     1204  40486 |        0 |        0
1785.30/1785.84	c 1785s |      28 | 23721373 | 18402605 |     1204  40513 |        0 |        0
1787.30/1787.84	c 1787s |      28 | 23741636 | 18419805 |     1204  40542 |        0 |        0
1789.31/1789.84	c 1789s |      28 | 23763327 | 18437705 |     1204  40571 |        0 |        0
1791.30/1791.85	c 1791s |      28 | 23783949 | 18454905 |     1204  40599 |        0 |        0
1793.30/1793.86	c 1793s |      28 | 23804866 | 18472105 |     1204  40627 |        0 |        0
1795.30/1795.87	c 1795s |      28 | 23827903 | 18490205 |     1204  40657 |        0 |        0
1797.30/1797.87	c 1797s |      28 | 23847478 | 18506605 |     1204  40684 |        0 |        0
1799.30/1799.88	c 1799s |      28 | 23868708 | 18523905 |     1204  40712 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4122018-1467316009/watcher-4122018-1467316009 -o /tmp/evaluation-result-4122018-1467316009/solver-4122018-1467316009 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19960 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122018-1467316009.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 21528
/proc/meminfo: memFree=29426260/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=643516 CPUtime=0 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 2384 0 0 0 0 0 0 0 20 0 4 0 12704712 658960384 3257 33554432000 4194304 16246674 140734517666912 140734517666336 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 161647 3268 441 2943 0 158541 0
[pid=21528/tid=21529] ppid=21525 vsize=661948 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 677834752 3328 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=666044 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 682029056 3344 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=670140 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 686223360 3361 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 21528
/proc/meminfo: memFree=29426260/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 24746 0 0 0 6 3 0 0 20 0 4 0 12704712 1247350784 25608 33554432000 4194304 16246674 140734517666912 140734517666336 5707858 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 304529 25618 708 2943 0 301423 0
[pid=21528/tid=21529] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 25624 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 25630 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 25636 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200536 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 21528
/proc/meminfo: memFree=29426260/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 47170 0 0 0 13 6 0 0 20 0 4 0 12704712 1247350784 48032 33554432000 4194304 16246674 140734517666912 140734517666336 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 304529 48042 708 2943 0 301423 0
[pid=21528/tid=21529] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 48048 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 48061 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 48067 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300497 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 21528
/proc/meminfo: memFree=29426260/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 69815 0 0 0 20 9 0 0 20 0 4 0 12704712 1247350784 70677 33554432000 4194304 16246674 140734517666912 140734517666336 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 304529 70686 709 2943 0 301423 0
[pid=21528/tid=21529] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 70691 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 70696 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 70701 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700404 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 21528
/proc/meminfo: memFree=29426260/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 159978 0 0 0 48 21 0 0 20 0 4 0 12704712 1247350784 160840 33554432000 4194304 16246674 140734517666912 140734517648832 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 304529 160852 709 2943 0 301423 0
[pid=21528/tid=21529] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 160859 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 160865 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 160870 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.08 2.05 2.01 3/181 21532
/proc/meminfo: memFree=28441720/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1218116 CPUtime=1.48 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 245482 0 0 0 117 31 0 0 20 0 4 0 12704712 1247350784 246323 33554432000 4194304 16246674 140734517666912 140734517666224 13954515 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 304529 246323 785 2943 0 301423 0
[pid=21528/tid=21529] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 246323 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 246323 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1247350784 246323 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.10042 s]
/proc/loadavg: 2.08 2.05 2.01 3/181 21532
/proc/meminfo: memFree=28353928/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 267390 0 0 0 274 35 0 0 20 0 4 0 12704712 1337528320 268231 33554432000 4194304 16246674 140734517666912 140734517648768 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326545 268231 785 2943 0 323439 0
[pid=21528/tid=21529] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268231 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268231 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268231 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.07 2.05 2.01 3/181 21532
/proc/meminfo: memFree=28353692/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 267392 0 0 0 594 35 0 0 20 0 4 0 12704712 1337528320 268233 33554432000 4194304 16246674 140734517666912 140734517648832 5717780 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326545 268233 787 2943 0 323439 0
[pid=21528/tid=21529] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268233 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268233 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268233 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.07 2.05 2.01 3/181 21532
/proc/meminfo: memFree=28353340/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 267418 0 0 0 1234 35 0 0 20 0 4 0 12704712 1337528320 268259 33554432000 4194304 16246674 140734517666912 140734517648832 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326545 268259 787 2943 0 323439 0
[pid=21528/tid=21529] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268259 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268259 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268259 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.05 2.05 2.01 3/181 21532
/proc/meminfo: memFree=28353836/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 267420 0 0 0 2513 35 0 0 20 0 4 0 12704712 1337528320 268261 33554432000 4194304 16246674 140734517666912 140734517648832 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326545 268261 787 2943 0 323439 0
[pid=21528/tid=21529] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268261 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268261 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268261 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.10 2.06 2.01 3/181 21532
/proc/meminfo: memFree=28353664/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 267439 0 0 0 5073 35 0 0 20 0 4 0 12704712 1337528320 268280 33554432000 4194304 16246674 140734517666912 140734517648832 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326545 268280 787 2943 0 323439 0
[pid=21528/tid=21529] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268280 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268280 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268280 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/181 21533
/proc/meminfo: memFree=28353088/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 267461 0 0 0 10192 36 0 0 20 0 4 0 12704712 1337528320 268302 33554432000 4194304 16246674 140734517666912 140734517648768 5822263 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326545 268302 787 2943 0 323439 0
[pid=21528/tid=21529] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268302 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268302 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1337528320 268302 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268538 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/181 21880
/proc/meminfo: memFree=28350296/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1307204 CPUtime=1361.87 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 268111 0 0 0 136138 49 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 140734517648832 5667488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326801 268540 789 2943 0 323695 0
[pid=21528/tid=21529] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/180 21982
/proc/meminfo: memFree=29258104/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1307204 CPUtime=1421.86 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 268111 0 0 0 142136 50 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 140734517648832 12478342 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326801 268540 789 2943 0 323695 0
[pid=21528/tid=21529] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/181 22032
/proc/meminfo: memFree=28347416/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1307204 CPUtime=1481.85 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 268111 0 0 0 148135 50 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 140734517648832 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326801 268540 789 2943 0 323695 0
[pid=21528/tid=21529] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.19 2.10 2.02 3/181 22033
/proc/meminfo: memFree=28345528/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1307204 CPUtime=1541.84 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 268111 0 0 0 154134 50 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 140734517648832 5661595 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326801 268540 789 2943 0 323695 0
[pid=21528/tid=21529] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.28 2.14 2.04 3/181 22034
/proc/meminfo: memFree=28345316/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1307204 CPUtime=1601.83 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 268111 0 0 0 160132 51 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 140734517648832 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326801 268540 789 2943 0 323695 0
[pid=21528/tid=21529] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.17 2.14 2.04 3/181 22035
/proc/meminfo: memFree=28345716/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1307204 CPUtime=1661.82 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 268111 0 0 0 166130 52 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 140734517648832 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326801 268540 789 2943 0 323695 0
[pid=21528/tid=21529] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268540 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.17 2.14 2.05 3/181 22036
/proc/meminfo: memFree=28345624/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1307204 CPUtime=1721.8 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 268150 0 0 0 172128 52 0 0 20 0 4 0 12704712 1338576896 268579 33554432000 4194304 16246674 140734517666912 140734517648832 5717485 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326801 268579 789 2943 0 323695 0
[pid=21528/tid=21529] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268579 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268579 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268579 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.16 2.15 2.05 3/181 22038
/proc/meminfo: memFree=28345160/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1307204 CPUtime=1781.8 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 268150 0 0 0 178127 53 0 0 20 0 4 0 12704712 1338576896 268579 33554432000 4194304 16246674 140734517666912 140734517648832 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326801 268579 789 2943 0 323695 0
[pid=21528/tid=21529] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268579 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268579 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268579 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.20 2.15 2.05 3/181 22039
/proc/meminfo: memFree=28345712/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1307204 CPUtime=1800 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 268151 0 0 0 179947 53 0 0 20 0 4 0 12704712 1338576896 268580 33554432000 4194304 16246674 140734517666912 140734517648832 5822803 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326801 268580 789 2943 0 323695 0
[pid=21528/tid=21529] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268580 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268580 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268580 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1307204

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21528 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.20 2.15 2.05 3/181 22039
/proc/meminfo: memFree=28345712/32872528 swapFree=447588/480292
[pid=21528] ppid=21525 vsize=1307204 CPUtime=1800 cores=1,3,5,7
/proc/21528/stat : 21528 (toysat) R 21525 21528 16080 0 -1 4202496 268151 0 0 0 179947 53 0 0 20 0 4 0 12704712 1338576896 268580 33554432000 4194304 16246674 140734517666912 140734517648832 5822803 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21528/statm: 326801 268580 789 2943 0 323695 0
[pid=21528/tid=21529] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21529/stat : 21529 (toysat) S 21525 21528 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268580 33554432000 4194304 16246674 140734517666912 139841511599344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21528/tid=21530] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21530/stat : 21530 (toysat) S 21525 21528 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268580 33554432000 4194304 16246674 140734517666912 139841501109488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21528/tid=21531] ppid=21525 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21528/task/21531/stat : 21531 (toysat) S 21525 21528 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704712 1338576896 268580 33554432000 4194304 16246674 140734517666912 139841383689392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.48
CPU system time (s): 0.532918
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.532918
maximum resident set size= 1074320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268151
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= 430
involuntary context switches= 1912

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.34819 second user time and 8.18475 second system time

The end

Begin job on node104 at 2016-06-30 21:46:49
IDJOB=4122018
IDBENCH=110831
IDSOLVER=2542
FILE ID=node104/4122018-1467316009
RUNJOBID= node104-1467310023-19960
PBS_JOBID= 20005270
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= 7257096547806be68cc06352dfc6cfb0
RANDOM SEED=917097846

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
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:        29427176 kB
Buffers:          199308 kB
Cached:           936880 kB
SwapCached:            0 kB
Active:          1427004 kB
Inactive:         794668 kB
Active(anon):    1088036 kB
Inactive(anon):        0 kB
Active(file):     338968 kB
Inactive(file):   794668 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16500 kB
Writeback:             0 kB
AnonPages:       1549668 kB
Mapped:            16472 kB
Shmem:               204 kB
Slab:             611696 kB
SReclaimable:      55660 kB
SUnreclaim:       556036 kB
KernelStack:        1504 kB
PageTables:         6888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1690960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    452608 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= 71688 MiB
End job on node104 at 2016-06-30 22:16:50