0.00/0.00	c 2016-06-30T21:47:33+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-4122042-1467316053.opb"]
0.00/0.01	c use --random-gen="2493854738 3799171486 3146803821 3619891518 3920530309 122589484 3041881640 1424216223 283750610 2603348907 1692788525 2514210191 215690927 843155683 608338409 2462065597 2176595277 287879560 1235969174 2584138660 1322750951 4042722099 3171103379 1976493971 1726967449 2542031468 1194733308 197562209 3774982527 1107721409 2600207192 3700363763 2785831045 3082682307 4120056382 3289465466 287016630 3982028894 163694355 4189082058 773962530 3091123529 2541996836 898618409 161330318 2325375926 1263961911 3018082595 1918741989 1348995640 3019039811 1563392742 3352960499 4004515638 3025374323 3883056653 3427191378 1679867069 3322968243 2472706743 965823427 3236133395 3570030039 1357033943 3921876937 3859998746 1957644903 3218123375 606760552 3650717872 787869220 966560885 2536147633 4200046003 2280478443 1084739844 487286122 3263816161 3774037193 2592369903 2089204315 1355960834 929505583 1134853827 1012417663 884371899 361725143 1321363208 345200950 550108770 308209668 3164874369 3342626265 1846886926 1127677328 2606657819 3398170028 3702014636 146137217 2959380335 3257780953 3848778250 1059204897 399505267 3359001242 170653222 185789443 1826007360 1578747301 2880479807 1910142832 2903017773 1234310847 1522205322 1100380014 3735994895 1909936422 2511019395 1406478017 169726837 193446891 3731316886 1089673058 1743984409 627275550 1616835634 4003460285 3267995074 272499988 267416165 3025492900 3128543996 3241116461 209027385 2268083246 1053681602 2047725635 2768085119 2682576848 3579685704 770307711 2546470902 666201776 320535865 4205874790 3384269287 3810817682 4044713794 4140816490 2311032619 4219122342 545579562 2657898096 1288705287 2116376065 4099451854 1456633325 1542226634 4060851288 1742808279 923617814 1707355232 2149336219 2564304706 844607134 3279807478 70476156 1702820905 1555314815 3317244252 2305910453 1543845521 1432165925 3047841690 1749570611 1898494120 1091637348 921079797 1519019519 2293290268 606505468 3987006692 2931894635 3834368501 1652776351 1612949276 991569414 901159061 4053866125 2623580738 2573321038 3160838061 3932158049 1592406980 2963861714 584038994 4028386338 3394247585 1118109955 3918471094 3171715026 3982872914 1852636410 2656203423 1327689569 3278321950 1175787435 466749755 3693156548 1043916182 3814653623 1686600325 3840937197 3111450743 919195673 61693007 2954131233 1028322779 2176245375 5822252 2084806374 3266494371 44674242 772228330 3368819742 2981807600 2895679843 3923427571 961972760 3021506679 1695631484 3156424576 2038591197 1825553981 2339279636 2815997056 617036621 1996259114 1009702732 783172217 2053546481 3311022749 1679943816 1124060383 960441485 3377120392 3875460959 4283101453 2253621439 804406981 3788867991 2898423944 2396394900 3041940900 2057201918 2464896681 255 362436" option to reproduce the execution
0.00/0.01	c #vars 105
0.00/0.01	c #constraints 104
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 |       69      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      146 |      100 |       69      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      364 |      250 |       76      3 |        0 |        0
0.00/0.05	c  0.0s |       3 |      832 |      475 |       84      7 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1390 |      813 |       93     12 |        0 |        0
0.09/0.12	c  0.1s |       5 |     2224 |     1320 |      103     20 |        0 |        0
0.19/0.20	c  0.2s |       6 |     3217 |     2081 |      126     30 |        0 |        0
0.19/0.29	c  0.3s |       7 |     5121 |     3223 |      139     44 |        0 |        0
0.39/0.44	c  0.4s |       8 |     8037 |     4936 |      153     64 |        0 |        0
0.59/0.68	c  0.7s |       9 |    11677 |     7506 |      169     92 |        0 |        0
0.99/1.04	c  1.0s |      10 |    17211 |    11361 |      186    132 |        0 |        0
1.39/1.45	c  1.4s |      11 |    24828 |    17144 |      205    187 |        0 |        0
2.09/2.10	c  2.1s |      12 |    36595 |    25819 |      226    261 |        0 |        0
2.89/2.96	c  2.9s |      13 |    56585 |    38832 |      249    365 |        0 |        0
4.19/4.21	c  4.2s |      14 |    85941 |    58352 |      274    511 |        0 |        0
6.19/6.21	c  6.2s |      14 |   123657 |    86052 |      274    699 |        0 |        0
6.29/6.33	c  6.3s |      15 |   125809 |    87632 |      302    709 |        0 |        0
8.29/8.33	c  8.3s |      15 |   161567 |   114432 |      302    875 |        0 |        0
9.49/9.56	c  9.5s |      16 |   185052 |   131552 |      333    982 |        0 |        0
11.49/11.56	c 11.6s |      16 |   218844 |   157552 |      333   1127 |        0 |        0
13.48/13.56	c 13.6s |      16 |   255037 |   184852 |      333   1282 |        0 |        0
14.39/14.46	c 14.4s |      17 |   272152 |   197432 |      367   1353 |        0 |        0
16.38/16.46	c 16.4s |      17 |   305717 |   223332 |      367   1487 |        0 |        0
18.38/18.47	c 18.5s |      17 |   341098 |   250232 |      367   1627 |        0 |        0
20.38/20.47	c 20.5s |      17 |   375154 |   276532 |      367   1764 |        0 |        0
21.88/21.96	c 22.0s |      18 |   399710 |   296252 |      404   1866 |        0 |        0
23.89/23.97	c 24.0s |      18 |   432512 |   322052 |      404   1987 |        0 |        0
25.89/25.97	c 26.0s |      18 |   465695 |   347652 |      404   2109 |        0 |        0
27.89/27.98	c 28.0s |      18 |   502560 |   374352 |      404   2235 |        0 |        0
29.89/29.98	c 30.0s |      18 |   538044 |   400352 |      404   2358 |        0 |        0
31.89/31.99	c 32.0s |      18 |   571523 |   426452 |      404   2482 |        0 |        0
33.29/33.37	c 33.4s |      19 |   594866 |   444482 |      445   2566 |        0 |        0
35.29/35.38	c 35.4s |      19 |   624081 |   468282 |      445   2668 |        0 |        0
37.29/37.38	c 37.4s |      19 |   653935 |   491982 |      445   2771 |        0 |        0
39.29/39.38	c 39.4s |      19 |   682397 |   515682 |      445   2875 |        0 |        0
41.28/41.38	c 41.4s |      19 |   711264 |   539982 |      445   2980 |        0 |        0
43.28/43.39	c 43.4s |      19 |   740503 |   563982 |      445   3084 |        0 |        0
45.28/45.39	c 45.4s |      19 |   768822 |   587082 |      445   3184 |        0 |        0
47.28/47.39	c 47.4s |      19 |   796904 |   609982 |      445   3283 |        0 |        0
49.38/49.40	c 49.4s |      19 |   824713 |   633082 |      445   3383 |        0 |        0
51.38/51.41	c 51.4s |      19 |   852271 |   656382 |      445   3483 |        0 |        0
52.28/52.33	c 52.3s |      20 |   864885 |   666827 |      490   3525 |        0 |        0
54.28/54.33	c 54.3s |      20 |   894830 |   690227 |      490   3617 |        0 |        0
56.28/56.34	c 56.3s |      20 |   923347 |   713327 |      490   3707 |        0 |        0
58.28/58.34	c 58.3s |      20 |   951248 |   736027 |      490   3796 |        0 |        0
60.27/60.35	c 60.3s |      20 |   979457 |   758627 |      490   3885 |        0 |        0
62.27/62.35	c 62.3s |      20 |  1008946 |   781927 |      490   3977 |        0 |        0
64.27/64.36	c 64.3s |      20 |  1039604 |   805527 |      490   4069 |        0 |        0
66.27/66.36	c 66.3s |      20 |  1067775 |   827727 |      490   4156 |        0 |        0
68.27/68.37	c 68.4s |      20 |  1096604 |   850227 |      490   4243 |        0 |        0
70.26/70.38	c 70.4s |      20 |  1124148 |   872827 |      490   4332 |        0 |        0
72.27/72.38	c 72.4s |      20 |  1151029 |   895327 |      490   4421 |        0 |        0
74.27/74.39	c 74.4s |      20 |  1180045 |   918227 |      490   4511 |        0 |        0
76.27/76.39	c 76.4s |      20 |  1205784 |   939727 |      490   4596 |        0 |        0
78.37/78.40	c 78.4s |      20 |  1233911 |   962027 |      490   4682 |        0 |        0
80.37/80.41	c 80.4s |      20 |  1264153 |   986027 |      490   4777 |        0 |        0
81.57/81.60	c 81.6s |      21 |  1282231 |  1000345 |      539   4831 |        0 |        0
83.57/83.60	c 83.6s |      21 |  1313783 |  1024545 |      539   4917 |        0 |        0
85.57/85.61	c 85.6s |      21 |  1342962 |  1047945 |      539   5002 |        0 |        0
87.56/87.61	c 87.6s |      21 |  1372005 |  1071045 |      539   5085 |        0 |        0
89.56/89.62	c 89.6s |      21 |  1400722 |  1093645 |      539   5166 |        0 |        0
91.56/91.62	c 91.6s |      21 |  1432060 |  1117445 |      539   5252 |        0 |        0
93.58/93.63	c 93.6s |      21 |  1464158 |  1141945 |      539   5341 |        0 |        0
95.57/95.63	c 95.6s |      21 |  1494118 |  1164745 |      539   5422 |        0 |        0
97.57/97.64	c 97.6s |      21 |  1522757 |  1187445 |      539   5504 |        0 |        0
99.57/99.64	c 99.6s |      21 |  1550804 |  1209545 |      539   5583 |        0 |        0
101.57/101.64	c  101s |      21 |  1584656 |  1234345 |      539   5673 |        0 |        0
103.57/103.65	c  103s |      21 |  1615412 |  1257645 |      539   5757 |        0 |        0
105.58/105.65	c  105s |      21 |  1648391 |  1282545 |      539   5846 |        0 |        0
107.56/107.65	c  107s |      21 |  1682917 |  1307645 |      539   5937 |        0 |        0
109.56/109.66	c  109s |      21 |  1717520 |  1333045 |      539   6028 |        0 |        0
111.56/111.66	c  111s |      21 |  1748784 |  1357645 |      539   6117 |        0 |        0
113.56/113.66	c  113s |      21 |  1783525 |  1383045 |      539   6209 |        0 |        0
115.57/115.66	c  115s |      21 |  1816788 |  1407645 |      539   6297 |        0 |        0
117.56/117.67	c  117s |      21 |  1850223 |  1432045 |      539   6385 |        0 |        0
119.56/119.67	c  119s |      21 |  1881477 |  1455645 |      539   6470 |        0 |        0
121.56/121.67	c  121s |      21 |  1914215 |  1480645 |      539   6561 |        0 |        0
123.26/123.37	c  123s |      22 |  1938935 |  1500622 |      593   6628 |        0 |        0
125.26/125.37	c  125s |      22 |  1967794 |  1523322 |      593   6702 |        0 |        0
127.25/127.38	c  127s |      22 |  1992973 |  1544322 |      593   6771 |        0 |        0
129.25/129.38	c  129s |      22 |  2015704 |  1564222 |      593   6836 |        0 |        0
131.25/131.38	c  131s |      22 |  2041142 |  1585122 |      593   6904 |        0 |        0
133.25/133.39	c  133s |      22 |  2066551 |  1606322 |      593   6974 |        0 |        0
135.26/135.39	c  135s |      22 |  2097307 |  1629622 |      593   7050 |        0 |        0
137.35/137.40	c  137s |      22 |  2125957 |  1651822 |      593   7122 |        0 |        0
139.35/139.41	c  139s |      22 |  2151653 |  1673122 |      593   7192 |        0 |        0
141.35/141.42	c  141s |      22 |  2181702 |  1695722 |      593   7266 |        0 |        0
143.35/143.42	c  143s |      22 |  2212694 |  1718522 |      593   7342 |        0 |        0
145.35/145.42	c  145s |      22 |  2242195 |  1741122 |      593   7416 |        0 |        0
147.36/147.43	c  147s |      22 |  2268975 |  1762222 |      593   7485 |        0 |        0
149.35/149.43	c  149s |      22 |  2295920 |  1783622 |      593   7556 |        0 |        0
151.35/151.44	c  151s |      22 |  2321565 |  1804422 |      593   7624 |        0 |        0
153.35/153.44	c  153s |      22 |  2346357 |  1825422 |      593   7693 |        0 |        0
155.35/155.45	c  155s |      22 |  2371954 |  1846722 |      593   7763 |        0 |        0
157.35/157.45	c  157s |      22 |  2397868 |  1867322 |      593   7831 |        0 |        0
159.35/159.46	c  159s |      22 |  2423752 |  1888522 |      593   7901 |        0 |        0
161.34/161.46	c  161s |      22 |  2449885 |  1910022 |      593   7971 |        0 |        0
163.34/163.46	c  163s |      22 |  2479222 |  1933022 |      593   8046 |        0 |        0
165.34/165.47	c  165s |      22 |  2509598 |  1956322 |      593   8122 |        0 |        0
167.34/167.47	c  167s |      22 |  2542831 |  1980422 |      593   8202 |        0 |        0
169.35/169.47	c  169s |      22 |  2574456 |  2004522 |      593   8282 |        0 |        0
171.34/171.47	c  171s |      22 |  2603510 |  2027122 |      593   8356 |        0 |        0
173.34/173.48	c  173s |      22 |  2631896 |  2049522 |      593   8430 |        0 |        0
175.34/175.48	c  175s |      22 |  2659457 |  2071322 |      593   8501 |        0 |        0
177.34/177.49	c  177s |      22 |  2688583 |  2094022 |      593   8575 |        0 |        0
179.34/179.50	c  179s |      22 |  2717747 |  2116422 |      593   8648 |        0 |        0
181.34/181.50	c  181s |      22 |  2746014 |  2138422 |      593   8721 |        0 |        0
183.44/183.50	c  183s |      22 |  2774245 |  2160322 |      593   8793 |        0 |        0
185.44/185.50	c  185s |      22 |  2804814 |  2184022 |      593   8870 |        0 |        0
187.44/187.51	c  187s |      22 |  2836119 |  2207922 |      593   8949 |        0 |        0
189.44/189.52	c  189s |      22 |  2866604 |  2231822 |      593   9028 |        0 |        0
191.04/191.10	c  191s |      23 |  2892133 |  2251038 |      653   9086 |        0 |        0
193.04/193.11	c  193s |      23 |  2925858 |  2275238 |      653   9158 |        0 |        0
195.04/195.11	c  195s |      23 |  2954903 |  2297838 |      653   9226 |        0 |        0
197.03/197.11	c  197s |      23 |  2988271 |  2321638 |      653   9297 |        0 |        0
199.04/199.12	c  199s |      23 |  3019786 |  2346038 |      653   9370 |        0 |        0
201.03/201.13	c  201s |      23 |  3053883 |  2371238 |      653   9446 |        0 |        0
203.03/203.13	c  203s |      23 |  3091505 |  2397438 |      653   9525 |        0 |        0
205.03/205.13	c  205s |      23 |  3128868 |  2423838 |      653   9604 |        0 |        0
207.03/207.13	c  207s |      23 |  3162006 |  2448538 |      653   9678 |        0 |        0
209.04/209.14	c  209s |      23 |  3196851 |  2473738 |      653   9754 |        0 |        0
211.03/211.14	c  211s |      23 |  3232602 |  2498938 |      653   9830 |        0 |        0
213.03/213.14	c  213s |      23 |  3266572 |  2523738 |      653   9904 |        0 |        0
215.03/215.15	c  215s |      23 |  3300826 |  2548838 |      653   9980 |        0 |        0
217.02/217.15	c  217s |      23 |  3336168 |  2573838 |      653  10055 |        0 |        0
219.02/219.16	c  219s |      23 |  3371088 |  2598638 |      653  10129 |        0 |        0
221.03/221.16	c  221s |      23 |  3408803 |  2624738 |      653  10208 |        0 |        0
223.02/223.17	c  223s |      23 |  3446534 |  2649838 |      653  10283 |        0 |        0
225.02/225.17	c  225s |      23 |  3478749 |  2673738 |      653  10354 |        0 |        0
227.02/227.18	c  227s |      23 |  3512640 |  2698838 |      653  10430 |        0 |        0
229.02/229.19	c  229s |      23 |  3547653 |  2724238 |      653  10506 |        0 |        0
231.03/231.19	c  231s |      23 |  3582997 |  2749538 |      653  10581 |        0 |        0
233.03/233.19	c  233s |      23 |  3616082 |  2774238 |      653  10656 |        0 |        0
235.13/235.20	c  235s |      23 |  3650184 |  2799038 |      653  10730 |        0 |        0
237.12/237.21	c  237s |      23 |  3685274 |  2824138 |      653  10806 |        0 |        0
239.12/239.21	c  239s |      23 |  3718646 |  2848838 |      653  10880 |        0 |        0
241.12/241.22	c  241s |      23 |  3752649 |  2873838 |      653  10955 |        0 |        0
243.13/243.22	c  243s |      23 |  3787649 |  2898738 |      653  11029 |        0 |        0
245.12/245.23	c  245s |      23 |  3823708 |  2924138 |      653  11105 |        0 |        0
247.12/247.23	c  247s |      23 |  3856188 |  2947838 |      653  11176 |        0 |        0
249.12/249.24	c  249s |      23 |  3890528 |  2972438 |      653  11250 |        0 |        0
251.12/251.24	c  251s |      23 |  3926846 |  2998138 |      653  11327 |        0 |        0
253.12/253.25	c  253s |      23 |  3956762 |  3021538 |      653  11398 |        0 |        0
255.13/255.25	c  255s |      23 |  3989338 |  3046038 |      653  11471 |        0 |        0
257.12/257.26	c  257s |      23 |  4022033 |  3070238 |      653  11544 |        0 |        0
259.11/259.26	c  259s |      23 |  4055343 |  3094538 |      653  11616 |        0 |        0
261.11/261.26	c  261s |      23 |  4086630 |  3118238 |      653  11688 |        0 |        0
263.11/263.26	c  263s |      23 |  4118915 |  3142438 |      653  11761 |        0 |        0
265.12/265.26	c  265s |      23 |  4151741 |  3166638 |      653  11833 |        0 |        0
267.11/267.27	c  267s |      23 |  4183480 |  3190038 |      653  11904 |        0 |        0
269.10/269.27	c  269s |      23 |  4214848 |  3213738 |      653  11975 |        0 |        0
271.11/271.28	c  271s |      23 |  4247237 |  3237938 |      653  12047 |        0 |        0
273.11/273.29	c  273s |      23 |  4279333 |  3261838 |      653  12119 |        0 |        0
275.11/275.29	c  275s |      23 |  4312829 |  3286138 |      653  12192 |        0 |        0
277.11/277.29	c  277s |      23 |  4346871 |  3310938 |      653  12266 |        0 |        0
279.20/279.30	c  279s |      23 |  4379902 |  3335138 |      653  12339 |        0 |        0
281.20/281.30	c  281s |      23 |  4415551 |  3360538 |      719  12413 |        0 |        0
282.50/282.60	c  282s |      24 |  4437256 |  3376662 |      719  12457 |        0 |        0
284.50/284.61	c  284s |      24 |  4472114 |  3401262 |      719  12524 |        0 |        0
286.50/286.61	c  286s |      24 |  4507597 |  3426062 |      719  12592 |        0 |        0
288.50/288.61	c  288s |      24 |  4538257 |  3449062 |      719  12654 |        0 |        0
290.50/290.62	c  290s |      24 |  4570378 |  3472462 |      719  12718 |        0 |        0
292.50/292.62	c  292s |      24 |  4601208 |  3495262 |      719  12780 |        0 |        0
294.50/294.63	c  294s |      24 |  4635212 |  3519362 |      719  12845 |        0 |        0
296.50/296.64	c  296s |      24 |  4669715 |  3543862 |      719  12912 |        0 |        0
298.49/298.64	c  298s |      24 |  4704105 |  3568162 |      719  12979 |        0 |        0
300.49/300.64	c  300s |      24 |  4738871 |  3592062 |      719  13044 |        0 |        0
302.50/302.65	c  302s |      24 |  4771257 |  3615662 |      719  13108 |        0 |        0
304.49/304.65	c  304s |      24 |  4805638 |  3640162 |      719  13175 |        0 |        0
306.49/306.65	c  306s |      24 |  4839338 |  3664262 |      719  13241 |        0 |        0
308.48/308.65	c  308s |      24 |  4870609 |  3687962 |      719  13306 |        0 |        0
310.48/310.66	c  310s |      24 |  4905547 |  3712862 |      719  13374 |        0 |        0
312.48/312.67	c  312s |      24 |  4940141 |  3738162 |      719  13443 |        0 |        0
314.49/314.67	c  314s |      24 |  4973152 |  3762862 |      719  13511 |        0 |        0
316.48/316.67	c  316s |      24 |  5005490 |  3787262 |      719  13578 |        0 |        0
318.48/318.68	c  318s |      24 |  5037912 |  3811562 |      719  13644 |        0 |        0
320.49/320.68	c  320s |      24 |  5069339 |  3835762 |      719  13711 |        0 |        0
322.49/322.69	c  322s |      24 |  5099551 |  3859462 |      719  13775 |        0 |        0
324.49/324.69	c  324s |      24 |  5131253 |  3883462 |      719  13841 |        0 |        0
326.49/326.70	c  326s |      24 |  5162815 |  3907562 |      719  13907 |        0 |        0
328.58/328.70	c  328s |      24 |  5194026 |  3930762 |      719  13971 |        0 |        0
330.58/330.71	c  330s |      24 |  5223132 |  3953862 |      719  14034 |        0 |        0
332.58/332.71	c  332s |      24 |  5254667 |  3977462 |      719  14099 |        0 |        0
334.58/334.71	c  334s |      24 |  5285024 |  4000462 |      719  14162 |        0 |        0
336.58/336.72	c  336s |      24 |  5317070 |  4024562 |      719  14227 |        0 |        0
338.57/338.72	c  338s |      24 |  5350945 |  4049362 |      719  14295 |        0 |        0
340.57/340.73	c  340s |      24 |  5382555 |  4073362 |      719  14361 |        0 |        0
342.57/342.73	c  342s |      24 |  5414635 |  4097262 |      719  14426 |        0 |        0
344.57/344.74	c  344s |      24 |  5446315 |  4120962 |      719  14491 |        0 |        0
346.57/346.74	c  346s |      24 |  5474516 |  4143062 |      719  14551 |        0 |        0
348.57/348.75	c  348s |      24 |  5505233 |  4166262 |      719  14614 |        0 |        0
350.56/350.76	c  350s |      24 |  5533106 |  4188562 |      719  14675 |        0 |        0
352.56/352.76	c  352s |      24 |  5563380 |  4211562 |      719  14737 |        0 |        0
354.56/354.77	c  354s |      24 |  5596905 |  4235762 |      719  14804 |        0 |        0
356.57/356.77	c  356s |      24 |  5629685 |  4259562 |      719  14869 |        0 |        0
358.57/358.78	c  358s |      24 |  5662377 |  4283962 |      719  14936 |        0 |        0
360.56/360.78	c  360s |      24 |  5694158 |  4308062 |      719  15002 |        0 |        0
362.56/362.78	c  362s |      24 |  5724631 |  4331162 |      719  15065 |        0 |        0
364.56/364.79	c  364s |      24 |  5752790 |  4353662 |      719  15127 |        0 |        0
366.56/366.79	c  366s |      24 |  5784046 |  4377262 |      719  15191 |        0 |        0
368.55/368.80	c  368s |      24 |  5814443 |  4400262 |      719  15254 |        0 |        0
370.56/370.80	c  370s |      24 |  5840428 |  4421462 |      719  15312 |        0 |        0
372.65/372.80	c  372s |      24 |  5867229 |  4442762 |      719  15370 |        0 |        0
374.65/374.81	c  374s |      24 |  5892661 |  4463362 |      719  15426 |        0 |        0
376.65/376.81	c  376s |      24 |  5920298 |  4484762 |      719  15484 |        0 |        0
378.65/378.82	c  378s |      24 |  5947039 |  4505962 |      719  15542 |        0 |        0
380.65/380.83	c  380s |      24 |  5973938 |  4527162 |      719  15599 |        0 |        0
382.65/382.83	c  382s |      24 |  6003346 |  4549562 |      719  15660 |        0 |        0
384.65/384.84	c  384s |      24 |  6027808 |  4569662 |      719  15715 |        0 |        0
386.65/386.84	c  386s |      24 |  6056002 |  4591662 |      719  15775 |        0 |        0
388.65/388.84	c  388s |      24 |  6086440 |  4614862 |      719  15839 |        0 |        0
390.65/390.84	c  390s |      24 |  6116214 |  4637662 |      719  15901 |        0 |        0
392.66/392.84	c  392s |      24 |  6146470 |  4660362 |      719  15963 |        0 |        0
394.65/394.85	c  394s |      24 |  6179130 |  4684262 |      719  16029 |        0 |        0
396.65/396.85	c  396s |      24 |  6208341 |  4706862 |      719  16090 |        0 |        0
398.65/398.86	c  398s |      24 |  6240770 |  4730862 |      719  16156 |        0 |        0
400.65/400.86	c  400s |      24 |  6268535 |  4752662 |      719  16216 |        0 |        0
402.65/402.86	c  402s |      24 |  6298096 |  4775462 |      719  16278 |        0 |        0
404.65/404.86	c  404s |      24 |  6330079 |  4799262 |      719  16344 |        0 |        0
406.64/406.87	c  406s |      24 |  6361839 |  4822962 |      719  16409 |        0 |        0
408.64/408.87	c  408s |      24 |  6394088 |  4846862 |      719  16474 |        0 |        0
410.64/410.88	c  410s |      24 |  6426445 |  4870062 |      719  16538 |        0 |        0
412.64/412.89	c  412s |      24 |  6454231 |  4891662 |      719  16597 |        0 |        0
414.65/414.89	c  414s |      24 |  6478698 |  4911862 |      719  16652 |        0 |        0
416.64/416.90	c  416s |      24 |  6503976 |  4932462 |      719  16708 |        0 |        0
418.74/418.90	c  418s |      24 |  6532999 |  4954662 |      719  16769 |        0 |        0
420.74/420.90	c  420s |      24 |  6561782 |  4976962 |      719  16830 |        0 |        0
422.74/422.91	c  422s |      24 |  6592799 |  5000362 |      719  16894 |        0 |        0
424.74/424.91	c  424s |      24 |  6624085 |  5023662 |      719  16958 |        0 |        0
426.74/426.91	c  426s |      24 |  6649763 |  5044362 |      791  17011 |        0 |        0
428.53/428.76	c  428s |      25 |  6676673 |  5065098 |      791  17063 |        0 |        0
430.53/430.77	c  430s |      25 |  6708681 |  5088298 |      791  17120 |        0 |        0
432.53/432.77	c  432s |      25 |  6742645 |  5112198 |      791  17180 |        0 |        0
434.53/434.78	c  434s |      25 |  6772081 |  5134698 |      791  17236 |        0 |        0
436.54/436.78	c  436s |      25 |  6802645 |  5157598 |      791  17293 |        0 |        0
438.53/438.79	c  438s |      25 |  6832230 |  5180298 |      791  17349 |        0 |        0
440.53/440.79	c  440s |      25 |  6862135 |  5203298 |      791  17406 |        0 |        0
442.53/442.79	c  442s |      25 |  6894360 |  5227498 |      791  17466 |        0 |        0
444.63/444.80	c  444s |      25 |  6927882 |  5251598 |      791  17527 |        0 |        0
446.63/446.80	c  446s |      25 |  6957486 |  5274198 |      791  17583 |        0 |        0
448.63/448.80	c  448s |      25 |  6985237 |  5295898 |      791  17637 |        0 |        0
450.63/450.81	c  450s |      25 |  7012354 |  5317498 |      791  17691 |        0 |        0
452.63/452.81	c  452s |      25 |  7041250 |  5339698 |      791  17746 |        0 |        0
454.63/454.81	c  454s |      25 |  7068768 |  5361198 |      791  17799 |        0 |        0
456.62/456.82	c  456s |      25 |  7097111 |  5382898 |      791  17853 |        0 |        0
458.63/458.83	c  458s |      25 |  7126378 |  5405198 |      791  17909 |        0 |        0
460.62/460.83	c  460s |      25 |  7154785 |  5427698 |      791  17965 |        0 |        0
462.62/462.83	c  462s |      25 |  7183554 |  5449998 |      791  18020 |        0 |        0
464.62/464.84	c  464s |      25 |  7211225 |  5471098 |      791  18073 |        0 |        0
466.61/466.84	c  466s |      25 |  7238636 |  5492398 |      791  18126 |        0 |        0
468.61/468.85	c  468s |      25 |  7265525 |  5513898 |      791  18179 |        0 |        0
470.62/470.85	c  470s |      25 |  7292070 |  5535498 |      791  18233 |        0 |        0
472.61/472.85	c  472s |      25 |  7321943 |  5558398 |      791  18290 |        0 |        0
474.61/474.86	c  474s |      25 |  7348557 |  5579998 |      791  18343 |        0 |        0
476.61/476.86	c  476s |      25 |  7376010 |  5601898 |      791  18398 |        0 |        0
478.61/478.86	c  478s |      25 |  7402375 |  5623798 |      791  18452 |        0 |        0
480.62/480.87	c  480s |      25 |  7432837 |  5646598 |      791  18509 |        0 |        0
482.61/482.87	c  482s |      25 |  7463077 |  5669998 |      791  18568 |        0 |        0
484.61/484.88	c  484s |      25 |  7495921 |  5693798 |      791  18627 |        0 |        0
486.61/486.88	c  486s |      25 |  7529961 |  5718298 |      791  18688 |        0 |        0
488.61/488.89	c  488s |      25 |  7560497 |  5741698 |      791  18747 |        0 |        0
490.61/490.89	c  490s |      25 |  7589216 |  5763398 |      791  18801 |        0 |        0
492.61/492.90	c  492s |      25 |  7620417 |  5786298 |      791  18858 |        0 |        0
494.71/494.90	c  494s |      25 |  7649815 |  5808698 |      791  18914 |        0 |        0
496.70/496.90	c  496s |      25 |  7683182 |  5832498 |      791  18973 |        0 |        0
498.70/498.91	c  498s |      25 |  7717617 |  5857098 |      791  19035 |        0 |        0
500.70/500.92	c  500s |      25 |  7753501 |  5881898 |      791  19097 |        0 |        0
502.70/502.93	c  502s |      25 |  7789901 |  5907498 |      791  19161 |        0 |        0
504.70/504.93	c  504s |      25 |  7821343 |  5931498 |      791  19220 |        0 |        0
506.69/506.94	c  506s |      25 |  7856045 |  5955998 |      791  19282 |        0 |        0
508.69/508.94	c  508s |      25 |  7887711 |  5979198 |      791  19339 |        0 |        0
510.69/510.95	c  510s |      25 |  7920293 |  6002898 |      791  19398 |        0 |        0
512.69/512.96	c  512s |      25 |  7954238 |  6027398 |      791  19459 |        0 |        0
514.70/514.96	c  514s |      25 |  7986148 |  6051598 |      791  19520 |        0 |        0
516.68/516.96	c  516s |      25 |  8017837 |  6074898 |      791  19578 |        0 |        0
518.68/518.97	c  518s |      25 |  8046142 |  6097098 |      791  19633 |        0 |        0
520.68/520.98	c  520s |      25 |  8075722 |  6120598 |      791  19692 |        0 |        0
522.69/522.98	c  522s |      25 |  8108132 |  6144998 |      791  19753 |        0 |        0
524.69/524.99	c  524s |      25 |  8139976 |  6169298 |      791  19814 |        0 |        0
526.69/527.00	c  526s |      25 |  8173203 |  6193998 |      791  19875 |        0 |        0
528.79/529.00	c  528s |      25 |  8205253 |  6218698 |      791  19937 |        0 |        0
530.79/531.00	c  530s |      25 |  8235404 |  6242498 |      791  19996 |        0 |        0
532.79/533.00	c  532s |      25 |  8268865 |  6267198 |      791  20058 |        0 |        0
534.78/535.01	c  535s |      25 |  8301164 |  6291098 |      791  20117 |        0 |        0
536.78/537.01	c  537s |      25 |  8332419 |  6314198 |      791  20175 |        0 |        0
538.79/539.02	c  539s |      25 |  8363961 |  6337898 |      791  20234 |        0 |        0
540.78/541.02	c  541s |      25 |  8395090 |  6361298 |      791  20293 |        0 |        0
542.78/543.02	c  543s |      25 |  8428762 |  6384898 |      791  20351 |        0 |        0
544.78/545.03	c  545s |      25 |  8455495 |  6405998 |      791  20404 |        0 |        0
546.77/547.03	c  547s |      25 |  8480597 |  6426298 |      791  20454 |        0 |        0
548.78/549.03	c  549s |      25 |  8503736 |  6445998 |      791  20503 |        0 |        0
550.77/551.03	c  551s |      25 |  8526692 |  6465598 |      791  20552 |        0 |        0
552.77/553.04	c  553s |      25 |  8553223 |  6486698 |      791  20605 |        0 |        0
554.78/555.04	c  555s |      25 |  8581437 |  6508798 |      791  20660 |        0 |        0
556.78/557.04	c  557s |      25 |  8609631 |  6530498 |      791  20714 |        0 |        0
558.78/559.05	c  559s |      25 |  8639005 |  6552398 |      791  20769 |        0 |        0
560.78/561.06	c  561s |      25 |  8663540 |  6572098 |      791  20818 |        0 |        0
562.77/563.06	c  563s |      25 |  8691024 |  6593798 |      791  20872 |        0 |        0
564.77/565.06	c  565s |      25 |  8723241 |  6617398 |      791  20931 |        0 |        0
566.77/567.07	c  567s |      25 |  8752103 |  6639498 |      791  20986 |        0 |        0
568.77/569.07	c  569s |      25 |  8780750 |  6661198 |      791  21041 |        0 |        0
570.78/571.08	c  571s |      25 |  8805184 |  6680798 |      791  21090 |        0 |        0
572.77/573.09	c  573s |      25 |  8834277 |  6702998 |      791  21145 |        0 |        0
574.77/575.09	c  575s |      25 |  8864483 |  6725998 |      791  21203 |        0 |        0
576.86/577.10	c  577s |      25 |  8894537 |  6749298 |      791  21261 |        0 |        0
578.86/579.10	c  579s |      25 |  8926382 |  6773098 |      791  21320 |        0 |        0
580.86/581.10	c  581s |      25 |  8961191 |  6797998 |      791  21382 |        0 |        0
582.87/583.11	c  583s |      25 |  8993579 |  6822098 |      791  21443 |        0 |        0
584.86/585.11	c  585s |      25 |  9022448 |  6844798 |      791  21499 |        0 |        0
586.85/587.11	c  587s |      25 |  9056447 |  6869798 |      791  21562 |        0 |        0
588.85/589.12	c  589s |      25 |  9084322 |  6892498 |      791  21618 |        0 |        0
590.85/591.12	c  591s |      25 |  9110826 |  6914598 |      791  21674 |        0 |        0
592.85/593.13	c  593s |      25 |  9139726 |  6937398 |      791  21731 |        0 |        0
594.86/595.13	c  595s |      25 |  9165530 |  6959098 |      791  21785 |        0 |        0
596.85/597.14	c  597s |      25 |  9195877 |  6982598 |      791  21844 |        0 |        0
598.85/599.14	c  599s |      25 |  9230714 |  7007998 |      791  21908 |        0 |        0
600.85/601.15	c  601s |      25 |  9265544 |  7033298 |      791  21971 |        0 |        0
602.85/603.15	c  603s |      25 |  9300544 |  7058498 |      791  22034 |        0 |        0
604.86/605.15	c  605s |      25 |  9332383 |  7082298 |      791  22094 |        0 |        0
606.84/607.15	c  607s |      25 |  9362898 |  7105698 |      791  22152 |        0 |        0
608.84/609.15	c  609s |      25 |  9397156 |  7130498 |      791  22215 |        0 |        0
610.84/611.15	c  611s |      25 |  9433618 |  7156598 |      791  22280 |        0 |        0
612.84/613.16	c  613s |      25 |  9464135 |  7180298 |      791  22340 |        0 |        0
614.84/615.17	c  615s |      25 |  9497470 |  7204598 |      791  22400 |        0 |        0
616.84/617.17	c  617s |      25 |  9530147 |  7228698 |      791  22461 |        0 |        0
618.84/619.17	c  619s |      25 |  9564193 |  7253498 |      791  22523 |        0 |        0
620.84/621.18	c  621s |      25 |  9596830 |  7277798 |      791  22584 |        0 |        0
622.83/623.18	c  623s |      25 |  9627609 |  7301698 |      791  22644 |        0 |        0
624.83/625.19	c  625s |      25 |  9661273 |  7325998 |      791  22705 |        0 |        0
626.83/627.19	c  627s |      25 |  9694702 |  7350198 |      791  22765 |        0 |        0
628.83/629.19	c  629s |      25 |  9723003 |  7371798 |      791  22818 |        0 |        0
630.84/631.19	c  631s |      25 |  9752031 |  7394198 |      791  22874 |        0 |        0
632.83/633.20	c  633s |      25 |  9783899 |  7417298 |      791  22931 |        0 |        0
634.93/635.20	c  635s |      25 |  9817968 |  7441498 |      791  22992 |        0 |        0
636.93/637.20	c  637s |      25 |  9850555 |  7465398 |      791  23051 |        0 |        0
638.94/639.21	c  639s |      25 |  9881607 |  7488698 |      791  23109 |        0 |        0
640.93/641.21	c  641s |      25 |  9911556 |  7511698 |      791  23166 |        0 |        0
642.93/643.21	c  643s |      25 |  9942111 |  7535098 |      791  23224 |        0 |        0
644.93/645.22	c  645s |      25 |  9972127 |  7557698 |      871  23277 |        0 |        0
646.92/647.22	c  647s |      25 | 10001461 |  7580198 |      871  23328 |        0 |        0
648.42/648.74	c  648s |      26 | 10025206 |  7597752 |      871  23368 |        0 |        0
650.42/650.74	c  650s |      26 | 10053470 |  7619852 |      871  23417 |        0 |        0
652.42/652.75	c  652s |      26 | 10078400 |  7640252 |      871  23463 |        0 |        0
654.42/654.75	c  654s |      26 | 10105030 |  7661352 |      871  23511 |        0 |        0
656.43/656.75	c  656s |      26 | 10132378 |  7682652 |      871  23559 |        0 |        0
658.42/658.76	c  658s |      26 | 10160363 |  7704252 |      871  23607 |        0 |        0
660.42/660.76	c  660s |      26 | 10189490 |  7726352 |      871  23657 |        0 |        0
662.42/662.77	c  662s |      26 | 10218437 |  7748552 |      871  23707 |        0 |        0
664.42/664.78	c  664s |      26 | 10245304 |  7769752 |      871  23755 |        0 |        0
666.42/666.78	c  666s |      26 | 10273042 |  7791552 |      871  23804 |        0 |        0
668.41/668.78	c  668s |      26 | 10299058 |  7812652 |      871  23852 |        0 |        0
670.41/670.79	c  670s |      26 | 10328044 |  7835052 |      871  23902 |        0 |        0
672.41/672.79	c  672s |      26 | 10355737 |  7856852 |      871  23951 |        0 |        0
674.51/674.80	c  674s |      26 | 10381374 |  7877352 |      871  23997 |        0 |        0
676.51/676.80	c  676s |      26 | 10408304 |  7898552 |      871  24045 |        0 |        0
678.51/678.81	c  678s |      26 | 10434442 |  7919152 |      871  24091 |        0 |        0
680.51/680.82	c  680s |      26 | 10464246 |  7941952 |      871  24143 |        0 |        0
682.51/682.82	c  682s |      26 | 10492721 |  7963952 |      871  24193 |        0 |        0
684.51/684.83	c  684s |      26 | 10519723 |  7985052 |      871  24241 |        0 |        0
686.50/686.83	c  686s |      26 | 10547724 |  8006552 |      871  24289 |        0 |        0
688.50/688.83	c  688s |      26 | 10576729 |  8029152 |      871  24341 |        0 |        0
690.51/690.84	c  690s |      26 | 10607290 |  8051852 |      871  24392 |        0 |        0
692.51/692.84	c  692s |      26 | 10637513 |  8074452 |      871  24443 |        0 |        0
694.51/694.85	c  694s |      26 | 10665646 |  8096052 |      871  24492 |        0 |        0
696.51/696.85	c  696s |      26 | 10695594 |  8118552 |      871  24543 |        0 |        0
698.51/698.85	c  698s |      26 | 10724392 |  8140752 |      871  24594 |        0 |        0
700.52/700.85	c  700s |      26 | 10756294 |  8164252 |      871  24647 |        0 |        0
702.51/702.86	c  702s |      26 | 10788276 |  8187252 |      871  24699 |        0 |        0
704.51/704.86	c  704s |      26 | 10819112 |  8210452 |      871  24751 |        0 |        0
706.51/706.86	c  706s |      26 | 10849376 |  8233452 |      871  24803 |        0 |        0
708.51/708.87	c  708s |      26 | 10879737 |  8256352 |      871  24855 |        0 |        0
710.50/710.87	c  710s |      26 | 10911392 |  8279652 |      871  24908 |        0 |        0
712.51/712.87	c  712s |      26 | 10944722 |  8303752 |      871  24963 |        0 |        0
714.50/714.88	c  714s |      26 | 10975998 |  8327052 |      871  25016 |        0 |        0
716.50/716.89	c  716s |      26 | 11006815 |  8349652 |      871  25067 |        0 |        0
718.50/718.89	c  718s |      26 | 11038914 |  8372852 |      871  25120 |        0 |        0
720.60/720.90	c  720s |      26 | 11070915 |  8396052 |      871  25173 |        0 |        0
722.60/722.90	c  722s |      26 | 11098858 |  8417652 |      871  25221 |        0 |        0
724.61/724.91	c  724s |      26 | 11126226 |  8439252 |      871  25270 |        0 |        0
726.60/726.91	c  726s |      26 | 11157472 |  8462252 |      871  25322 |        0 |        0
728.60/728.92	c  728s |      26 | 11187400 |  8485152 |      871  25374 |        0 |        0
730.60/730.92	c  730s |      26 | 11216391 |  8507652 |      871  25426 |        0 |        0
732.60/732.93	c  732s |      26 | 11246527 |  8530252 |      871  25477 |        0 |        0
734.61/734.93	c  734s |      26 | 11278324 |  8553452 |      871  25529 |        0 |        0
736.60/736.94	c  736s |      26 | 11307854 |  8576052 |      871  25581 |        0 |        0
738.60/738.94	c  738s |      26 | 11336015 |  8597352 |      871  25629 |        0 |        0
740.60/740.95	c  740s |      26 | 11362494 |  8618052 |      871  25675 |        0 |        0
742.60/742.96	c  742s |      26 | 11391460 |  8640052 |      871  25725 |        0 |        0
744.60/744.96	c  744s |      26 | 11418380 |  8660852 |      871  25772 |        0 |        0
746.60/746.97	c  746s |      26 | 11442599 |  8680552 |      871  25816 |        0 |        0
748.60/748.97	c  748s |      26 | 11467856 |  8700352 |      871  25861 |        0 |        0
750.59/750.98	c  750s |      26 | 11491860 |  8719852 |      871  25905 |        0 |        0
752.59/752.98	c  752s |      26 | 11519056 |  8740952 |      871  25952 |        0 |        0
754.59/754.98	c  754s |      26 | 11546817 |  8762252 |      871  26000 |        0 |        0
756.60/756.99	c  756s |      26 | 11575230 |  8783552 |      871  26048 |        0 |        0
758.59/758.99	c  758s |      26 | 11605399 |  8805652 |      871  26098 |        0 |        0
760.69/761.00	c  760s |      26 | 11633752 |  8827052 |      871  26147 |        0 |        0
762.69/763.01	c  762s |      26 | 11659790 |  8847452 |      871  26193 |        0 |        0
764.69/765.02	c  765s |      26 | 11685714 |  8867952 |      871  26239 |        0 |        0
766.69/767.02	c  767s |      26 | 11712792 |  8888952 |      871  26287 |        0 |        0
768.70/769.03	c  769s |      26 | 11739533 |  8909852 |      871  26334 |        0 |        0
770.69/771.04	c  771s |      26 | 11770670 |  8932652 |      871  26386 |        0 |        0
772.69/773.04	c  773s |      26 | 11799764 |  8954652 |      871  26435 |        0 |        0
774.69/775.05	c  775s |      26 | 11826935 |  8975952 |      871  26484 |        0 |        0
776.69/777.05	c  777s |      26 | 11854555 |  8997352 |      871  26532 |        0 |        0
778.69/779.06	c  779s |      26 | 11883702 |  9019752 |      871  26583 |        0 |        0
780.70/781.06	c  781s |      26 | 11912586 |  9041852 |      871  26633 |        0 |        0
782.70/783.06	c  783s |      26 | 11939520 |  9062852 |      871  26681 |        0 |        0
784.70/785.06	c  785s |      26 | 11968061 |  9084252 |      871  26729 |        0 |        0
786.70/787.07	c  787s |      26 | 11998483 |  9107552 |      871  26782 |        0 |        0
788.70/789.08	c  789s |      26 | 12028447 |  9130052 |      871  26833 |        0 |        0
790.70/791.08	c  791s |      26 | 12060541 |  9152952 |      871  26885 |        0 |        0
792.69/793.08	c  793s |      26 | 12091146 |  9175852 |      871  26937 |        0 |        0
794.69/795.09	c  795s |      26 | 12124662 |  9199452 |      871  26991 |        0 |        0
796.69/797.09	c  797s |      26 | 12155493 |  9222552 |      871  27044 |        0 |        0
798.69/799.09	c  799s |      26 | 12185034 |  9245252 |      871  27095 |        0 |        0
800.79/801.10	c  801s |      26 | 12210128 |  9265852 |      871  27141 |        0 |        0
802.70/803.10	c  803s |      26 | 12236239 |  9286552 |      871  27188 |        0 |        0
804.79/805.10	c  805s |      26 | 12266061 |  9307952 |      871  27236 |        0 |        0
806.79/807.10	c  807s |      26 | 12292648 |  9328752 |      871  27283 |        0 |        0
808.79/809.11	c  809s |      26 | 12319836 |  9349552 |      871  27330 |        0 |        0
810.79/811.11	c  811s |      26 | 12346102 |  9369952 |      871  27377 |        0 |        0
812.79/813.12	c  813s |      26 | 12373633 |  9390752 |      871  27424 |        0 |        0
814.79/815.12	c  815s |      26 | 12401494 |  9412052 |      871  27472 |        0 |        0
816.78/817.13	c  817s |      26 | 12431703 |  9434352 |      871  27522 |        0 |        0
818.79/819.13	c  819s |      26 | 12461936 |  9456552 |      871  27573 |        0 |        0
820.79/821.13	c  821s |      26 | 12487214 |  9476352 |      871  27617 |        0 |        0
822.79/823.13	c  823s |      26 | 12512790 |  9496452 |      871  27663 |        0 |        0
824.80/825.14	c  825s |      26 | 12538462 |  9516252 |      871  27708 |        0 |        0
826.79/827.14	c  827s |      26 | 12564245 |  9536352 |      871  27753 |        0 |        0
828.79/829.16	c  829s |      26 | 12590210 |  9556952 |      871  27800 |        0 |        0
830.79/831.16	c  831s |      26 | 12616548 |  9577452 |      871  27846 |        0 |        0
832.79/833.17	c  833s |      26 | 12640323 |  9597152 |      871  27891 |        0 |        0
834.79/835.18	c  835s |      26 | 12664937 |  9617052 |      871  27936 |        0 |        0
836.79/837.19	c  837s |      26 | 12688934 |  9636452 |      871  27979 |        0 |        0
838.88/839.20	c  839s |      26 | 12710659 |  9654952 |      871  28021 |        0 |        0
840.88/841.20	c  841s |      26 | 12737313 |  9675652 |      871  28068 |        0 |        0
842.88/843.20	c  843s |      26 | 12760793 |  9695052 |      871  28112 |        0 |        0
844.88/845.21	c  845s |      26 | 12784929 |  9715052 |      871  28157 |        0 |        0
846.88/847.21	c  847s |      26 | 12813440 |  9736352 |      871  28206 |        0 |        0
848.89/849.21	c  849s |      26 | 12842755 |  9757752 |      871  28254 |        0 |        0
850.89/851.22	c  851s |      26 | 12873857 |  9780152 |      871  28305 |        0 |        0
852.89/853.22	c  853s |      26 | 12900211 |  9800552 |      871  28350 |        0 |        0
854.89/855.23	c  855s |      26 | 12926278 |  9820752 |      871  28396 |        0 |        0
856.89/857.23	c  857s |      26 | 12954548 |  9841852 |      871  28444 |        0 |        0
858.89/859.23	c  859s |      26 | 12984467 |  9863552 |      871  28493 |        0 |        0
860.88/861.24	c  861s |      26 | 13013840 |  9885752 |      871  28544 |        0 |        0
862.88/863.24	c  863s |      26 | 13042331 |  9906952 |      871  28592 |        0 |        0
864.88/865.24	c  865s |      26 | 13069380 |  9927952 |      871  28639 |        0 |        0
866.88/867.25	c  867s |      26 | 13095785 |  9948752 |      871  28687 |        0 |        0
868.88/869.25	c  869s |      26 | 13123700 |  9969952 |      871  28734 |        0 |        0
870.88/871.26	c  871s |      26 | 13148343 |  9989652 |      871  28779 |        0 |        0
872.88/873.27	c  873s |      26 | 13175413 | 10010452 |      871  28826 |        0 |        0
874.88/875.27	c  875s |      26 | 13202391 | 10031052 |      871  28873 |        0 |        0
876.88/877.28	c  877s |      26 | 13227863 | 10051352 |      871  28919 |        0 |        0
878.88/879.28	c  879s |      26 | 13255853 | 10072352 |      871  28966 |        0 |        0
880.88/881.29	c  881s |      26 | 13285269 | 10094352 |      871  29016 |        0 |        0
882.88/883.29	c  883s |      26 | 13311007 | 10114752 |      871  29063 |        0 |        0
884.88/885.29	c  885s |      26 | 13334887 | 10134452 |      871  29107 |        0 |        0
886.98/887.30	c  887s |      26 | 13359386 | 10153952 |      871  29151 |        0 |        0
888.98/889.30	c  889s |      26 | 13385743 | 10174752 |      871  29198 |        0 |        0
890.98/891.32	c  891s |      26 | 13411209 | 10194652 |      871  29243 |        0 |        0
892.99/893.32	c  893s |      26 | 13436626 | 10215052 |      871  29288 |        0 |        0
894.98/895.32	c  895s |      26 | 13463689 | 10235652 |      871  29335 |        0 |        0
896.98/897.33	c  897s |      26 | 13490623 | 10256752 |      871  29383 |        0 |        0
898.98/899.34	c  899s |      26 | 13518025 | 10277752 |      871  29430 |        0 |        0
900.98/901.34	c  901s |      26 | 13542490 | 10297452 |      871  29474 |        0 |        0
902.98/903.34	c  903s |      26 | 13565162 | 10315852 |      871  29516 |        0 |        0
904.98/905.35	c  905s |      26 | 13588741 | 10334652 |      871  29558 |        0 |        0
906.98/907.36	c  907s |      26 | 13612954 | 10353952 |      871  29602 |        0 |        0
908.98/909.36	c  909s |      26 | 13636141 | 10372852 |      871  29644 |        0 |        0
910.98/911.37	c  911s |      26 | 13659887 | 10392452 |      871  29688 |        0 |        0
912.98/913.37	c  913s |      26 | 13686961 | 10413252 |      871  29736 |        0 |        0
914.98/915.38	c  915s |      26 | 13710749 | 10432552 |      871  29779 |        0 |        0
916.97/917.38	c  917s |      26 | 13740827 | 10454552 |      871  29829 |        0 |        0
918.97/919.39	c  919s |      26 | 13769752 | 10476052 |      871  29878 |        0 |        0
920.97/921.39	c  921s |      26 | 13794720 | 10495852 |      871  29923 |        0 |        0
922.97/923.39	c  923s |      26 | 13822937 | 10517252 |      871  29971 |        0 |        0
924.97/925.39	c  925s |      26 | 13851170 | 10538352 |      871  30019 |        0 |        0
926.98/927.40	c  927s |      26 | 13877114 | 10558952 |      871  30066 |        0 |        0
929.07/929.40	c  929s |      26 | 13901736 | 10578552 |      871  30110 |        0 |        0
931.07/931.41	c  931s |      26 | 13927058 | 10598752 |      871  30156 |        0 |        0
933.07/933.41	c  933s |      26 | 13952342 | 10619052 |      871  30202 |        0 |        0
935.07/935.42	c  935s |      26 | 13977082 | 10639152 |      871  30248 |        0 |        0
937.07/937.43	c  937s |      26 | 14001538 | 10659752 |      871  30295 |        0 |        0
939.07/939.43	c  939s |      26 | 14029040 | 10681552 |      871  30344 |        0 |        0
941.07/941.44	c  941s |      26 | 14060127 | 10704252 |      871  30396 |        0 |        0
943.07/943.45	c  943s |      26 | 14091713 | 10727252 |      871  30448 |        0 |        0
945.07/945.45	c  945s |      26 | 14121375 | 10749752 |      871  30500 |        0 |        0
947.07/947.46	c  947s |      26 | 14148924 | 10771252 |      871  30549 |        0 |        0
949.07/949.47	c  949s |      26 | 14175199 | 10792352 |      871  30596 |        0 |        0
951.06/951.48	c  951s |      26 | 14201539 | 10812952 |      871  30643 |        0 |        0
953.07/953.48	c  953s |      26 | 14230290 | 10834352 |      871  30691 |        0 |        0
955.07/955.49	c  955s |      26 | 14257235 | 10855552 |      871  30740 |        0 |        0
957.07/957.49	c  957s |      26 | 14288120 | 10877952 |      871  30790 |        0 |        0
959.17/959.50	c  959s |      26 | 14319393 | 10900552 |      871  30841 |        0 |        0
961.18/961.51	c  961s |      26 | 14349645 | 10922952 |      871  30892 |        0 |        0
963.17/963.51	c  963s |      26 | 14378717 | 10944752 |      871  30942 |        0 |        0
965.17/965.51	c  965s |      26 | 14409297 | 10966752 |      871  30991 |        0 |        0
967.17/967.51	c  967s |      26 | 14440343 | 10988952 |      871  31042 |        0 |        0
969.17/969.51	c  969s |      26 | 14469801 | 11010952 |      871  31092 |        0 |        0
971.17/971.52	c  971s |      26 | 14497909 | 11032452 |      871  31140 |        0 |        0
973.17/973.53	c  973s |      26 | 14525529 | 11053752 |      871  31189 |        0 |        0
975.16/975.53	c  975s |      26 | 14555658 | 11075852 |      871  31239 |        0 |        0
977.16/977.54	c  977s |      26 | 14583093 | 11096952 |      871  31287 |        0 |        0
979.16/979.54	c  979s |      26 | 14608092 | 11116952 |      871  31332 |        0 |        0
981.16/981.55	c  981s |      26 | 14637561 | 11138952 |      871  31382 |        0 |        0
983.17/983.55	c  983s |      26 | 14666732 | 11160952 |      871  31432 |        0 |        0
985.16/985.55	c  985s |      26 | 14695677 | 11183252 |      871  31483 |        0 |        0
987.16/987.56	c  987s |      26 | 14722090 | 11204152 |      871  31530 |        0 |        0
989.16/989.56	c  989s |      26 | 14749990 | 11225652 |      871  31579 |        0 |        0
991.16/991.56	c  991s |      26 | 14776126 | 11246252 |      871  31625 |        0 |        0
993.16/993.57	c  993s |      26 | 14803587 | 11267752 |      871  31674 |        0 |        0
995.16/995.57	c  995s |      26 | 14831672 | 11289052 |      871  31722 |        0 |        0
997.17/997.57	c  997s |      26 | 14858841 | 11309952 |      871  31770 |        0 |        0
999.17/999.58	c  999s |      26 | 14884728 | 11330352 |      959  31813 |        0 |        0
1001.17/1001.58	c 1001s |      26 | 14913564 | 11352052 |      959  31857 |        0 |        0
1003.17/1003.59	c 1003s |      26 | 14940024 | 11372852 |      959  31900 |        0 |        0
1005.17/1005.59	c 1005s |      26 | 14965092 | 11392752 |      959  31941 |        0 |        0
1005.57/1005.98	c 1005s |      27 | 14970406 | 11396733 |      959  31950 |        0 |        0
1007.56/1007.99	c 1007s |      27 | 14999161 | 11418133 |      959  31993 |        0 |        0
1009.66/1010.00	c 1009s |      27 | 15029310 | 11440133 |      959  32039 |        0 |        0
1011.56/1012.00	c 1011s |      27 | 15055664 | 11460833 |      959  32081 |        0 |        0
1013.66/1014.01	c 1013s |      27 | 15083194 | 11482033 |      959  32125 |        0 |        0
1015.66/1016.02	c 1016s |      27 | 15112949 | 11503933 |      959  32170 |        0 |        0
1017.66/1018.02	c 1018s |      27 | 15141771 | 11525433 |      959  32214 |        0 |        0
1019.66/1020.02	c 1020s |      27 | 15167732 | 11545833 |      959  32256 |        0 |        0
1021.66/1022.04	c 1022s |      27 | 15192063 | 11565433 |      959  32296 |        0 |        0
1023.66/1024.04	c 1024s |      27 | 15216512 | 11584833 |      959  32335 |        0 |        0
1025.66/1026.05	c 1026s |      27 | 15240825 | 11604133 |      959  32375 |        0 |        0
1027.66/1028.05	c 1028s |      27 | 15269446 | 11625533 |      959  32419 |        0 |        0
1029.66/1030.06	c 1030s |      27 | 15299084 | 11647933 |      959  32465 |        0 |        0
1031.65/1032.06	c 1032s |      27 | 15327948 | 11670133 |      959  32511 |        0 |        0
1033.66/1034.06	c 1034s |      27 | 15357278 | 11692633 |      959  32557 |        0 |        0
1035.65/1036.06	c 1036s |      27 | 15385528 | 11714633 |      959  32603 |        0 |        0
1037.65/1038.07	c 1038s |      27 | 15410663 | 11734933 |      959  32644 |        0 |        0
1039.65/1040.07	c 1040s |      27 | 15438799 | 11756133 |      959  32688 |        0 |        0
1041.65/1042.08	c 1042s |      27 | 15466404 | 11777133 |      959  32731 |        0 |        0
1043.67/1044.09	c 1044s |      27 | 15495061 | 11798833 |      959  32776 |        0 |        0
1045.66/1046.09	c 1046s |      27 | 15523211 | 11820133 |      959  32819 |        0 |        0
1047.66/1048.09	c 1048s |      27 | 15549958 | 11840533 |      959  32861 |        0 |        0
1049.76/1050.10	c 1050s |      27 | 15575960 | 11860633 |      959  32903 |        0 |        0
1051.76/1052.11	c 1052s |      27 | 15599646 | 11880333 |      959  32943 |        0 |        0
1053.75/1054.12	c 1054s |      27 | 15622894 | 11899433 |      959  32982 |        0 |        0
1055.76/1056.12	c 1056s |      27 | 15647964 | 11919233 |      959  33023 |        0 |        0
1057.75/1058.12	c 1058s |      27 | 15674434 | 11940033 |      959  33066 |        0 |        0
1059.75/1060.13	c 1060s |      27 | 15700494 | 11959933 |      959  33106 |        0 |        0
1061.75/1062.13	c 1062s |      27 | 15724439 | 11978633 |      959  33145 |        0 |        0
1063.75/1064.13	c 1064s |      27 | 15750229 | 11998533 |      959  33186 |        0 |        0
1065.75/1066.13	c 1066s |      27 | 15773067 | 12017233 |      959  33224 |        0 |        0
1067.76/1068.14	c 1068s |      27 | 15795847 | 12035733 |      959  33262 |        0 |        0
1069.75/1070.15	c 1070s |      27 | 15819039 | 12054633 |      959  33301 |        0 |        0
1071.75/1072.15	c 1072s |      27 | 15844144 | 12074033 |      959  33341 |        0 |        0
1073.75/1074.16	c 1074s |      27 | 15870797 | 12093933 |      959  33382 |        0 |        0
1075.75/1076.16	c 1076s |      27 | 15895832 | 12113533 |      959  33422 |        0 |        0
1077.75/1078.17	c 1078s |      27 | 15919814 | 12132233 |      959  33461 |        0 |        0
1079.74/1080.17	c 1080s |      27 | 15946448 | 12152733 |      959  33503 |        0 |        0
1081.75/1082.17	c 1082s |      27 | 15972210 | 12172933 |      959  33544 |        0 |        0
1083.75/1084.18	c 1084s |      27 | 15994833 | 12191933 |      959  33583 |        0 |        0
1085.75/1086.18	c 1086s |      27 | 16020184 | 12211933 |      959  33624 |        0 |        0
1087.75/1088.19	c 1088s |      27 | 16046083 | 12232533 |      959  33667 |        0 |        0
1089.76/1090.20	c 1090s |      27 | 16070517 | 12252333 |      959  33708 |        0 |        0
1091.85/1092.21	c 1092s |      27 | 16092217 | 12270833 |      959  33746 |        0 |        0
1093.85/1094.21	c 1094s |      27 | 16118196 | 12291233 |      959  33788 |        0 |        0
1095.85/1096.22	c 1096s |      27 | 16146954 | 12312733 |      959  33832 |        0 |        0
1097.85/1098.22	c 1098s |      27 | 16175157 | 12333733 |      959  33875 |        0 |        0
1099.85/1100.23	c 1100s |      27 | 16202676 | 12354033 |      959  33917 |        0 |        0
1101.85/1102.24	c 1102s |      27 | 16231722 | 12374933 |      959  33960 |        0 |        0
1103.85/1104.25	c 1104s |      27 | 16258140 | 12394533 |      959  34001 |        0 |        0
1105.85/1106.25	c 1106s |      27 | 16286042 | 12414633 |      959  34042 |        0 |        0
1107.85/1108.26	c 1108s |      27 | 16316525 | 12436433 |      959  34087 |        0 |        0
1109.84/1110.27	c 1110s |      27 | 16347730 | 12458933 |      959  34133 |        0 |        0
1111.85/1112.27	c 1112s |      27 | 16375791 | 12480033 |      959  34177 |        0 |        0
1113.84/1114.27	c 1114s |      27 | 16404285 | 12500833 |      959  34220 |        0 |        0
1115.84/1116.27	c 1116s |      27 | 16430748 | 12521433 |      959  34262 |        0 |        0
1117.84/1118.29	c 1118s |      27 | 16456467 | 12541533 |      959  34304 |        0 |        0
1119.84/1120.29	c 1120s |      27 | 16484564 | 12562533 |      959  34347 |        0 |        0
1121.94/1122.30	c 1122s |      27 | 16515431 | 12584533 |      959  34393 |        0 |        0
1123.85/1124.30	c 1124s |      27 | 16543172 | 12605533 |      959  34436 |        0 |        0
1125.94/1126.30	c 1126s |      27 | 16574151 | 12627833 |      959  34482 |        0 |        0
1127.94/1128.31	c 1128s |      27 | 16602972 | 12649333 |      959  34527 |        0 |        0
1129.94/1130.31	c 1130s |      27 | 16629252 | 12669733 |      959  34569 |        0 |        0
1131.94/1132.32	c 1132s |      27 | 16655262 | 12689833 |      959  34610 |        0 |        0
1133.94/1134.32	c 1134s |      27 | 16682584 | 12710533 |      959  34653 |        0 |        0
1135.94/1136.32	c 1136s |      27 | 16709159 | 12730933 |      959  34695 |        0 |        0
1137.95/1138.33	c 1138s |      27 | 16737783 | 12752133 |      959  34739 |        0 |        0
1139.94/1140.34	c 1140s |      27 | 16765774 | 12773433 |      959  34783 |        0 |        0
1141.94/1142.34	c 1142s |      27 | 16793263 | 12794433 |      959  34826 |        0 |        0
1143.94/1144.34	c 1144s |      27 | 16821402 | 12815933 |      959  34871 |        0 |        0
1145.95/1146.35	c 1146s |      27 | 16848072 | 12836533 |      959  34913 |        0 |        0
1147.94/1148.35	c 1148s |      27 | 16873965 | 12856733 |      959  34955 |        0 |        0
1149.94/1150.35	c 1150s |      27 | 16900451 | 12877133 |      959  34997 |        0 |        0
1151.94/1152.36	c 1152s |      27 | 16926368 | 12897433 |      959  35039 |        0 |        0
1153.94/1154.36	c 1154s |      27 | 16954053 | 12918433 |      959  35082 |        0 |        0
1155.94/1156.37	c 1156s |      27 | 16975980 | 12937133 |      959  35121 |        0 |        0
1157.95/1158.37	c 1158s |      27 | 17002607 | 12957333 |      959  35162 |        0 |        0
1159.94/1160.37	c 1160s |      27 | 17025571 | 12975733 |      959  35200 |        0 |        0
1161.94/1162.38	c 1162s |      27 | 17050175 | 12994833 |      959  35239 |        0 |        0
1163.94/1164.39	c 1164s |      27 | 17075585 | 13014633 |      959  35280 |        0 |        0
1165.94/1166.39	c 1166s |      27 | 17100501 | 13034833 |      959  35321 |        0 |        0
1167.94/1168.40	c 1168s |      27 | 17126407 | 13055433 |      959  35364 |        0 |        0
1169.94/1170.40	c 1170s |      27 | 17149665 | 13075033 |      959  35404 |        0 |        0
1172.03/1172.40	c 1172s |      27 | 17175713 | 13095333 |      959  35445 |        0 |        0
1174.03/1174.41	c 1174s |      27 | 17204956 | 13117233 |      959  35491 |        0 |        0
1176.03/1176.41	c 1176s |      27 | 17233118 | 13138933 |      959  35535 |        0 |        0
1178.03/1178.42	c 1178s |      27 | 17259669 | 13159833 |      959  35578 |        0 |        0
1180.04/1180.42	c 1180s |      27 | 17284914 | 13179933 |      959  35620 |        0 |        0
1182.03/1182.43	c 1182s |      27 | 17309851 | 13199933 |      959  35661 |        0 |        0
1184.03/1184.44	c 1184s |      27 | 17334307 | 13219633 |      959  35701 |        0 |        0
1186.03/1186.44	c 1186s |      27 | 17360194 | 13239833 |      959  35743 |        0 |        0
1188.03/1188.45	c 1188s |      27 | 17383842 | 13259633 |      959  35784 |        0 |        0
1190.03/1190.46	c 1190s |      27 | 17408006 | 13279533 |      959  35825 |        0 |        0
1192.04/1192.46	c 1192s |      27 | 17434053 | 13299633 |      959  35866 |        0 |        0
1194.03/1194.47	c 1194s |      27 | 17460549 | 13320133 |      959  35909 |        0 |        0
1196.03/1196.48	c 1196s |      27 | 17483883 | 13339833 |      959  35949 |        0 |        0
1198.03/1198.48	c 1198s |      27 | 17506008 | 13358933 |      959  35988 |        0 |        0
1200.03/1200.49	c 1200s |      27 | 17528769 | 13378433 |      959  36028 |        0 |        0
1202.13/1202.50	c 1202s |      27 | 17554162 | 13399133 |      959  36071 |        0 |        0
1204.13/1204.51	c 1204s |      27 | 17578909 | 13419233 |      959  36113 |        0 |        0
1206.13/1206.51	c 1206s |      27 | 17604916 | 13439833 |      959  36155 |        0 |        0
1208.13/1208.52	c 1208s |      27 | 17628544 | 13459233 |      959  36195 |        0 |        0
1210.13/1210.52	c 1210s |      27 | 17651046 | 13478233 |      959  36234 |        0 |        0
1212.13/1212.53	c 1212s |      27 | 17674205 | 13497233 |      959  36273 |        0 |        0
1214.13/1214.53	c 1214s |      27 | 17697280 | 13516433 |      959  36313 |        0 |        0
1216.13/1216.54	c 1216s |      27 | 17720164 | 13535533 |      959  36352 |        0 |        0
1218.13/1218.54	c 1218s |      27 | 17743368 | 13555233 |      959  36392 |        0 |        0
1220.12/1220.54	c 1220s |      27 | 17767229 | 13574833 |      959  36433 |        0 |        0
1222.12/1222.55	c 1222s |      27 | 17789432 | 13593533 |      959  36471 |        0 |        0
1224.12/1224.56	c 1224s |      27 | 17813415 | 13613233 |      959  36512 |        0 |        0
1226.13/1226.56	c 1226s |      27 | 17835627 | 13632133 |      959  36551 |        0 |        0
1228.12/1228.56	c 1228s |      27 | 17862067 | 13652733 |      959  36593 |        0 |        0
1230.12/1230.57	c 1230s |      27 | 17884981 | 13671833 |      959  36632 |        0 |        0
1232.12/1232.57	c 1232s |      27 | 17909247 | 13691433 |      959  36673 |        0 |        0
1234.13/1234.58	c 1234s |      27 | 17934496 | 13711633 |      959  36714 |        0 |        0
1236.14/1236.58	c 1236s |      27 | 17957688 | 13731133 |      959  36755 |        0 |        0
1238.13/1238.59	c 1238s |      27 | 17983008 | 13751033 |      959  36796 |        0 |        0
1240.23/1240.60	c 1240s |      27 | 18009174 | 13771833 |      959  36838 |        0 |        0
1242.23/1242.61	c 1242s |      27 | 18034443 | 13792133 |      959  36880 |        0 |        0
1244.23/1244.61	c 1244s |      27 | 18061442 | 13812633 |      959  36923 |        0 |        0
1246.22/1246.61	c 1246s |      27 | 18087366 | 13833233 |      959  36965 |        0 |        0
1248.23/1248.62	c 1248s |      27 | 18111615 | 13853333 |      959  37007 |        0 |        0
1250.22/1250.62	c 1250s |      27 | 18136434 | 13873433 |      959  37048 |        0 |        0
1252.22/1252.62	c 1252s |      27 | 18159225 | 13892533 |      959  37088 |        0 |        0
1254.22/1254.63	c 1254s |      27 | 18184615 | 13912833 |      959  37130 |        0 |        0
1256.22/1256.63	c 1256s |      27 | 18205539 | 13930833 |      959  37167 |        0 |        0
1258.22/1258.64	c 1258s |      27 | 18227421 | 13949033 |      959  37204 |        0 |        0
1260.23/1260.65	c 1260s |      27 | 18251298 | 13968133 |      959  37244 |        0 |        0
1262.22/1262.65	c 1262s |      27 | 18274174 | 13987033 |      959  37282 |        0 |        0
1264.22/1264.66	c 1264s |      27 | 18296746 | 14005433 |      959  37320 |        0 |        0
1266.22/1266.66	c 1266s |      27 | 18322780 | 14025633 |      959  37362 |        0 |        0
1268.22/1268.67	c 1268s |      27 | 18347425 | 14045333 |      959  37403 |        0 |        0
1270.22/1270.67	c 1270s |      27 | 18370489 | 14064333 |      959  37442 |        0 |        0
1272.22/1272.67	c 1272s |      27 | 18392512 | 14083233 |      959  37480 |        0 |        0
1274.22/1274.68	c 1274s |      27 | 18414640 | 14102033 |      959  37519 |        0 |        0
1276.22/1276.68	c 1276s |      27 | 18440361 | 14122633 |      959  37562 |        0 |        0
1278.21/1278.68	c 1278s |      27 | 18466266 | 14143133 |      959  37604 |        0 |        0
1280.21/1280.68	c 1280s |      27 | 18489057 | 14162333 |      959  37644 |        0 |        0
1282.22/1282.69	c 1282s |      27 | 18510848 | 14180933 |      959  37682 |        0 |        0
1284.21/1284.69	c 1284s |      27 | 18534779 | 14200433 |      959  37722 |        0 |        0
1286.32/1286.70	c 1286s |      27 | 18558742 | 14219833 |      959  37762 |        0 |        0
1288.32/1288.71	c 1288s |      27 | 18580911 | 14238933 |      959  37802 |        0 |        0
1290.32/1290.71	c 1290s |      27 | 18601676 | 14257133 |      959  37839 |        0 |        0
1292.32/1292.72	c 1292s |      27 | 18624086 | 14276033 |      959  37878 |        0 |        0
1294.33/1294.72	c 1294s |      27 | 18645293 | 14294333 |      959  37916 |        0 |        0
1296.32/1296.73	c 1296s |      27 | 18667697 | 14313333 |      959  37956 |        0 |        0
1298.32/1298.73	c 1298s |      27 | 18694113 | 14333733 |      959  37998 |        0 |        0
1300.32/1300.74	c 1300s |      27 | 18720385 | 14354333 |      959  38040 |        0 |        0
1302.32/1302.74	c 1302s |      27 | 18747721 | 14375233 |      959  38083 |        0 |        0
1304.32/1304.75	c 1304s |      27 | 18773812 | 14395833 |      959  38126 |        0 |        0
1306.31/1306.76	c 1306s |      27 | 18797940 | 14415633 |      959  38167 |        0 |        0
1308.31/1308.76	c 1308s |      27 | 18824383 | 14436133 |      959  38209 |        0 |        0
1310.31/1310.77	c 1310s |      27 | 18849740 | 14456633 |      959  38251 |        0 |        0
1312.31/1312.77	c 1312s |      27 | 18874359 | 14476433 |      959  38292 |        0 |        0
1314.31/1314.78	c 1314s |      27 | 18898516 | 14495833 |      959  38332 |        0 |        0
1316.32/1316.78	c 1316s |      27 | 18923017 | 14515233 |      959  38372 |        0 |        0
1318.31/1318.79	c 1318s |      27 | 18944952 | 14533733 |      959  38410 |        0 |        0
1320.41/1320.80	c 1320s |      27 | 18969384 | 14553433 |      959  38451 |        0 |        0
1322.41/1322.80	c 1322s |      27 | 18996040 | 14574133 |      959  38493 |        0 |        0
1324.41/1324.80	c 1324s |      27 | 19022715 | 14594633 |      959  38535 |        0 |        0
1326.41/1326.81	c 1326s |      27 | 19047576 | 14614533 |      959  38576 |        0 |        0
1328.41/1328.81	c 1328s |      27 | 19071261 | 14633433 |      959  38615 |        0 |        0
1330.41/1330.82	c 1330s |      27 | 19097794 | 14653333 |      959  38656 |        0 |        0
1332.41/1332.82	c 1332s |      27 | 19121355 | 14672133 |      959  38695 |        0 |        0
1334.42/1334.84	c 1334s |      27 | 19147198 | 14692133 |      959  38736 |        0 |        0
1336.41/1336.84	c 1336s |      27 | 19173242 | 14712133 |      959  38778 |        0 |        0
1338.42/1338.85	c 1338s |      27 | 19200351 | 14732033 |      959  38819 |        0 |        0
1340.41/1340.85	c 1340s |      27 | 19224093 | 14751133 |      959  38858 |        0 |        0
1342.41/1342.86	c 1342s |      27 | 19249827 | 14771133 |      959  38899 |        0 |        0
1344.41/1344.86	c 1344s |      27 | 19276162 | 14791433 |      959  38941 |        0 |        0
1346.41/1346.87	c 1346s |      27 | 19301946 | 14811933 |      959  38984 |        0 |        0
1348.41/1348.87	c 1348s |      27 | 19328184 | 14832233 |      959  39026 |        0 |        0
1350.42/1350.88	c 1350s |      27 | 19355699 | 14853133 |      959  39069 |        0 |        0
1352.41/1352.89	c 1352s |      27 | 19383096 | 14873833 |      959  39111 |        0 |        0
1354.41/1354.89	c 1354s |      27 | 19409042 | 14893733 |      959  39153 |        0 |        0
1356.41/1356.90	c 1356s |      27 | 19434233 | 14913833 |      959  39194 |        0 |        0
1358.51/1358.90	c 1358s |      27 | 19459650 | 14934133 |      959  39236 |        0 |        0
1360.51/1360.91	c 1360s |      27 | 19485803 | 14954433 |      959  39278 |        0 |        0
1362.51/1362.92	c 1362s |      27 | 19512937 | 14975333 |      959  39321 |        0 |        0
1364.51/1364.93	c 1364s |      27 | 19537431 | 14995233 |      959  39362 |        0 |        0
1366.51/1366.93	c 1366s |      27 | 19561490 | 15014733 |      959  39402 |        0 |        0
1368.51/1368.94	c 1368s |      27 | 19584553 | 15033433 |      959  39441 |        0 |        0
1370.51/1370.94	c 1370s |      27 | 19607969 | 15052533 |      959  39480 |        0 |        0
1372.51/1372.95	c 1372s |      27 | 19632328 | 15071933 |      959  39521 |        0 |        0
1374.51/1374.96	c 1374s |      27 | 19655556 | 15090933 |      959  39560 |        0 |        0
1376.51/1376.96	c 1376s |      27 | 19676723 | 15108733 |      959  39597 |        0 |        0
1378.51/1378.96	c 1378s |      27 | 19698132 | 15126833 |      959  39634 |        0 |        0
1380.50/1380.96	c 1380s |      27 | 19720178 | 15145333 |      959  39672 |        0 |        0
1382.50/1382.96	c 1382s |      27 | 19744212 | 15164633 |      959  39712 |        0 |        0
1384.51/1384.97	c 1384s |      27 | 19768147 | 15183733 |      959  39751 |        0 |        0
1386.50/1386.98	c 1386s |      27 | 19789833 | 15201833 |      959  39789 |        0 |        0
1388.50/1388.99	c 1388s |      27 | 19814278 | 15221433 |      959  39829 |        0 |        0
1390.60/1391.00	c 1390s |      27 | 19840400 | 15241733 |      959  39871 |        0 |        0
1392.60/1393.01	c 1392s |      27 | 19864319 | 15261233 |      959  39911 |        0 |        0
1394.60/1395.01	c 1395s |      27 | 19887266 | 15280233 |      959  39950 |        0 |        0
1396.61/1397.01	c 1397s |      27 | 19912612 | 15300433 |      959  39992 |        0 |        0
1398.60/1399.02	c 1399s |      27 | 19935594 | 15319333 |      959  40031 |        0 |        0
1400.60/1401.03	c 1401s |      27 | 19955994 | 15336933 |      959  40067 |        0 |        0
1402.60/1403.04	c 1403s |      27 | 19977367 | 15355233 |      959  40105 |        0 |        0
1404.60/1405.05	c 1405s |      27 | 19999273 | 15373733 |      959  40144 |        0 |        0
1406.60/1407.06	c 1407s |      27 | 20019620 | 15391433 |      959  40180 |        0 |        0
1408.59/1409.08	c 1409s |      27 | 20040322 | 15409033 |      959  40217 |        0 |        0
1410.59/1411.08	c 1411s |      27 | 20061539 | 15426833 |      959  40253 |        0 |        0
1412.59/1413.09	c 1413s |      27 | 20082458 | 15444333 |      959  40289 |        0 |        0
1414.60/1415.09	c 1415s |      27 | 20102937 | 15462033 |      959  40325 |        0 |        0
1416.60/1417.10	c 1417s |      27 | 20123568 | 15479533 |      959  40362 |        0 |        0
1418.61/1419.10	c 1419s |      27 | 20144570 | 15497233 |      959  40398 |        0 |        0
1420.70/1421.10	c 1421s |      27 | 20165295 | 15515133 |      959  40435 |        0 |        0
1422.70/1423.11	c 1423s |      27 | 20184368 | 15531833 |      959  40470 |        0 |        0
1424.70/1425.11	c 1425s |      27 | 20204560 | 15549533 |      959  40506 |        0 |        0
1426.70/1427.11	c 1427s |      27 | 20225666 | 15567833 |      959  40544 |        0 |        0
1428.70/1429.12	c 1429s |      27 | 20246211 | 15585533 |      959  40580 |        0 |        0
1430.70/1431.13	c 1431s |      27 | 20270473 | 15604933 |      959  40620 |        0 |        0
1432.70/1433.14	c 1433s |      27 | 20294825 | 15624433 |      959  40660 |        0 |        0
1434.70/1435.15	c 1435s |      27 | 20317546 | 15643233 |      959  40698 |        0 |        0
1436.70/1437.15	c 1437s |      27 | 20341776 | 15663033 |      959  40739 |        0 |        0
1438.70/1439.16	c 1439s |      27 | 20368780 | 15683433 |      959  40781 |        0 |        0
1440.70/1441.16	c 1441s |      27 | 20394054 | 15703533 |      959  40822 |        0 |        0
1442.69/1443.17	c 1443s |      27 | 20421012 | 15724333 |      959  40865 |        0 |        0
1444.69/1445.17	c 1445s |      27 | 20449372 | 15745433 |      959  40908 |        0 |        0
1446.69/1447.17	c 1447s |      27 | 20475242 | 15765533 |      959  40950 |        0 |        0
1448.69/1449.18	c 1449s |      27 | 20501068 | 15785833 |      959  40991 |        0 |        0
1450.69/1451.18	c 1451s |      27 | 20528988 | 15807233 |      959  41035 |        0 |        0
1452.70/1453.19	c 1453s |      27 | 20555488 | 15828433 |      959  41079 |        0 |        0
1454.69/1455.19	c 1455s |      27 | 20583518 | 15849933 |      959  41123 |        0 |        0
1456.69/1457.20	c 1457s |      27 | 20611788 | 15871633 |      959  41168 |        0 |        0
1458.79/1459.20	c 1459s |      27 | 20640692 | 15893233 |      959  41213 |        0 |        0
1460.79/1461.20	c 1461s |      27 | 20669275 | 15914833 |      959  41257 |        0 |        0
1462.79/1463.20	c 1463s |      27 | 20695512 | 15935033 |      959  41299 |        0 |        0
1464.80/1465.21	c 1465s |      27 | 20721303 | 15955833 |      959  41342 |        0 |        0
1466.79/1467.21	c 1467s |      27 | 20745231 | 15975533 |      959  41382 |        0 |        0
1468.79/1469.21	c 1469s |      27 | 20770489 | 15995933 |      959  41424 |        0 |        0
1470.79/1471.22	c 1471s |      27 | 20795403 | 16015733 |      959  41465 |        0 |        0
1472.79/1473.23	c 1473s |      27 | 20820297 | 16035933 |      959  41506 |        0 |        0
1474.79/1475.23	c 1475s |      27 | 20846241 | 16056633 |      959  41549 |        0 |        0
1476.79/1477.23	c 1477s |      27 | 20873397 | 16077533 |      959  41592 |        0 |        0
1478.79/1479.23	c 1479s |      27 | 20898528 | 16097733 |      959  41634 |        0 |        0
1480.79/1481.23	c 1481s |      27 | 20922051 | 16117033 |      959  41673 |        0 |        0
1482.79/1483.24	c 1483s |      27 | 20946287 | 16136733 |      959  41714 |        0 |        0
1484.79/1485.25	c 1485s |      27 | 20971725 | 16156733 |      959  41755 |        0 |        0
1486.79/1487.25	c 1487s |      27 | 20997680 | 16177433 |      959  41797 |        0 |        0
1488.78/1489.25	c 1489s |      27 | 21024526 | 16198233 |      959  41840 |        0 |        0
1490.78/1491.25	c 1491s |      27 | 21051964 | 16219533 |      959  41884 |        0 |        0
1492.78/1493.25	c 1493s |      27 | 21075862 | 16239133 |      959  41924 |        0 |        0
1494.78/1495.26	c 1495s |      27 | 21099854 | 16258733 |      959  41964 |        0 |        0
1496.79/1497.26	c 1497s |      27 | 21127456 | 16280033 |      959  42008 |        0 |        0
1498.78/1499.27	c 1499s |      27 | 21155005 | 16300833 |      959  42051 |        0 |        0
1500.78/1501.27	c 1501s |      27 | 21181788 | 16321133 |      959  42093 |        0 |        0
1502.78/1503.28	c 1503s |      27 | 21207635 | 16340833 |      959  42133 |        0 |        0
1504.78/1505.28	c 1505s |      27 | 21234698 | 16361433 |      959  42176 |        0 |        0
1506.78/1507.28	c 1507s |      27 | 21259487 | 16381433 |      959  42217 |        0 |        0
1508.79/1509.29	c 1509s |      27 | 21288188 | 16402733 |      959  42261 |        0 |        0
1510.89/1511.30	c 1511s |      27 | 21315275 | 16423433 |      959  42303 |        0 |        0
1512.89/1513.30	c 1513s |      27 | 21343400 | 16444533 |      959  42347 |        0 |        0
1514.89/1515.31	c 1515s |      27 | 21367031 | 16463933 |      959  42387 |        0 |        0
1516.89/1517.32	c 1517s |      27 | 21393294 | 16484533 |      959  42429 |        0 |        0
1518.89/1519.32	c 1519s |      27 | 21418967 | 16504633 |      959  42471 |        0 |        0
1520.89/1521.33	c 1521s |      27 | 21445747 | 16525133 |      959  42513 |        0 |        0
1522.88/1523.33	c 1523s |      27 | 21469163 | 16544733 |      959  42553 |        0 |        0
1524.88/1525.34	c 1525s |      27 | 21495158 | 16565233 |      959  42596 |        0 |        0
1526.88/1527.35	c 1527s |      27 | 21520471 | 16585533 |      959  42638 |        0 |        0
1528.88/1529.35	c 1529s |      27 | 21547148 | 16605833 |      959  42679 |        0 |        0
1530.89/1531.36	c 1531s |      27 | 21572771 | 16625833 |      959  42721 |        0 |        0
1532.88/1533.37	c 1533s |      27 | 21599924 | 16647133 |      959  42765 |        0 |        0
1534.88/1535.37	c 1535s |      27 | 21627773 | 16668133 |      959  42808 |        0 |        0
1536.88/1537.37	c 1537s |      27 | 21654146 | 16688933 |      959  42851 |        0 |        0
1538.88/1539.37	c 1539s |      27 | 21681816 | 16710533 |      959  42896 |        0 |        0
1540.88/1541.38	c 1541s |      27 | 21707909 | 16731033 |      959  42938 |        0 |        0
1542.88/1543.38	c 1543s |      27 | 21736416 | 16752633 |      959  42982 |        0 |        0
1544.88/1545.39	c 1545s |      27 | 21763498 | 16774033 |      959  43027 |        0 |        0
1546.98/1547.40	c 1547s |      27 | 21791630 | 16795433 |      959  43071 |        0 |        0
1548.98/1549.40	c 1549s |      27 | 21816907 | 16816033 |      959  43114 |        0 |        0
1550.98/1551.41	c 1551s |      27 | 21843618 | 16837233 |      959  43157 |        0 |        0
1552.98/1553.41	c 1553s |      27 | 21870472 | 16858133 |      959  43201 |        0 |        0
1554.98/1555.42	c 1555s |      27 | 21898071 | 16879533 |      959  43245 |        0 |        0
1556.97/1557.42	c 1557s |      27 | 21926697 | 16901233 |      959  43289 |        0 |        0
1558.97/1559.43	c 1559s |      27 | 21956506 | 16923133 |      959  43335 |        0 |        0
1560.97/1561.44	c 1561s |      27 | 21983319 | 16943933 |      959  43378 |        0 |        0
1562.97/1563.44	c 1563s |      27 | 22009466 | 16964333 |      959  43420 |        0 |        0
1564.99/1565.45	c 1565s |      27 | 22036271 | 16985033 |     1055  43460 |        0 |        0
1566.98/1567.45	c 1567s |      27 | 22062497 | 17005433 |     1055  43498 |        0 |        0
1568.98/1569.46	c 1569s |      27 | 22086937 | 17025133 |     1055  43535 |        0 |        0
1570.98/1571.47	c 1571s |      27 | 22112496 | 17045233 |     1055  43573 |        0 |        0
1572.98/1573.47	c 1573s |      27 | 22136539 | 17064533 |     1055  43609 |        0 |        0
1574.97/1575.47	c 1575s |      27 | 22163075 | 17084933 |     1055  43647 |        0 |        0
1575.98/1576.49	c 1576s |      28 | 22175965 | 17095205 |     1055  43667 |        0 |        0
1577.97/1578.50	c 1578s |      28 | 22200565 | 17115105 |     1055  43704 |        0 |        0
1580.07/1580.51	c 1580s |      28 | 22222905 | 17133805 |     1055  43739 |        0 |        0
1582.07/1582.52	c 1582s |      28 | 22245873 | 17152705 |     1055  43774 |        0 |        0
1584.07/1584.53	c 1584s |      28 | 22267548 | 17170905 |     1055  43808 |        0 |        0
1586.07/1586.53	c 1586s |      28 | 22289257 | 17188905 |     1055  43841 |        0 |        0
1588.08/1588.53	c 1588s |      28 | 22311107 | 17207205 |     1055  43875 |        0 |        0
1590.07/1590.54	c 1590s |      28 | 22336482 | 17227005 |     1055  43912 |        0 |        0
1592.07/1592.54	c 1592s |      28 | 22357284 | 17244805 |     1055  43945 |        0 |        0
1594.07/1594.55	c 1594s |      28 | 22380028 | 17263705 |     1055  43981 |        0 |        0
1596.07/1596.55	c 1596s |      28 | 22402005 | 17282205 |     1055  44015 |        0 |        0
1598.07/1598.55	c 1598s |      28 | 22426330 | 17302105 |     1055  44052 |        0 |        0
1600.08/1600.56	c 1600s |      28 | 22450564 | 17321905 |     1055  44089 |        0 |        0
1602.07/1602.56	c 1602s |      28 | 22475526 | 17341905 |     1055  44127 |        0 |        0
1604.07/1604.57	c 1604s |      28 | 22500445 | 17361605 |     1055  44164 |        0 |        0
1606.07/1606.57	c 1606s |      28 | 22527662 | 17382105 |     1055  44202 |        0 |        0
1608.07/1608.58	c 1608s |      28 | 22554229 | 17402305 |     1055  44240 |        0 |        0
1610.08/1610.59	c 1610s |      28 | 22578764 | 17421805 |     1055  44276 |        0 |        0
1612.07/1612.59	c 1612s |      28 | 22600455 | 17439905 |     1055  44310 |        0 |        0
1614.07/1614.59	c 1614s |      28 | 22623283 | 17458905 |     1055  44346 |        0 |        0
1616.17/1616.60	c 1616s |      28 | 22646977 | 17478105 |     1055  44382 |        0 |        0
1618.17/1618.60	c 1618s |      28 | 22671086 | 17497705 |     1055  44418 |        0 |        0
1620.17/1620.61	c 1620s |      28 | 22696132 | 17517605 |     1055  44456 |        0 |        0
1622.17/1622.62	c 1622s |      28 | 22722132 | 17538005 |     1055  44494 |        0 |        0
1624.17/1624.62	c 1624s |      28 | 22748347 | 17558005 |     1055  44531 |        0 |        0
1626.17/1626.63	c 1626s |      28 | 22773650 | 17577905 |     1055  44568 |        0 |        0
1628.16/1628.64	c 1628s |      28 | 22798342 | 17597705 |     1055  44605 |        0 |        0
1630.16/1630.64	c 1630s |      28 | 22821735 | 17616605 |     1055  44641 |        0 |        0
1632.16/1632.65	c 1632s |      28 | 22845060 | 17635305 |     1055  44676 |        0 |        0
1634.17/1634.66	c 1634s |      28 | 22867654 | 17653905 |     1055  44710 |        0 |        0
1636.16/1636.66	c 1636s |      28 | 22890080 | 17672305 |     1055  44745 |        0 |        0
1638.16/1638.67	c 1638s |      28 | 22912122 | 17690405 |     1055  44779 |        0 |        0
1640.16/1640.67	c 1640s |      28 | 22935224 | 17709205 |     1055  44814 |        0 |        0
1642.16/1642.67	c 1642s |      28 | 22957811 | 17727805 |     1055  44848 |        0 |        0
1644.17/1644.69	c 1644s |      28 | 22981087 | 17746505 |     1055  44883 |        0 |        0
1646.17/1646.69	c 1646s |      28 | 23003563 | 17765105 |     1055  44918 |        0 |        0
1648.27/1648.70	c 1648s |      28 | 23027404 | 17784005 |     1055  44954 |        0 |        0
1650.27/1650.71	c 1650s |      28 | 23050999 | 17802805 |     1055  44989 |        0 |        0
1652.26/1652.72	c 1652s |      28 | 23073621 | 17821605 |     1055  45024 |        0 |        0
1654.26/1654.73	c 1654s |      28 | 23095629 | 17839705 |     1055  45058 |        0 |        0
1656.27/1656.73	c 1656s |      28 | 23114594 | 17856105 |     1055  45088 |        0 |        0
1658.26/1658.73	c 1658s |      28 | 23136641 | 17874305 |     1055  45122 |        0 |        0
1660.26/1660.74	c 1660s |      28 | 23161201 | 17893605 |     1055  45158 |        0 |        0
1662.26/1662.74	c 1662s |      28 | 23185466 | 17912705 |     1055  45194 |        0 |        0
1664.26/1664.76	c 1664s |      28 | 23209181 | 17931905 |     1055  45230 |        0 |        0
1666.26/1666.76	c 1666s |      28 | 23232450 | 17950905 |     1055  45265 |        0 |        0
1668.27/1668.77	c 1668s |      28 | 23257281 | 17970305 |     1055  45301 |        0 |        0
1670.26/1670.77	c 1670s |      28 | 23282139 | 17989705 |     1055  45338 |        0 |        0
1672.26/1672.78	c 1672s |      28 | 23308116 | 18009905 |     1055  45375 |        0 |        0
1674.26/1674.78	c 1674s |      28 | 23332197 | 18029205 |     1055  45412 |        0 |        0
1676.26/1676.78	c 1676s |      28 | 23355939 | 18048205 |     1055  45447 |        0 |        0
1678.26/1678.79	c 1678s |      28 | 23376895 | 18066105 |     1055  45481 |        0 |        0
1680.25/1680.80	c 1680s |      28 | 23401644 | 18086105 |     1055  45518 |        0 |        0
1682.35/1682.81	c 1682s |      28 | 23427535 | 18106305 |     1055  45556 |        0 |        0
1684.35/1684.82	c 1684s |      28 | 23451980 | 18125705 |     1055  45592 |        0 |        0
1686.35/1686.82	c 1686s |      28 | 23474019 | 18144005 |     1055  45627 |        0 |        0
1688.35/1688.82	c 1688s |      28 | 23499144 | 18164005 |     1055  45664 |        0 |        0
1690.37/1690.83	c 1690s |      28 | 23521943 | 18182605 |     1055  45699 |        0 |        0
1692.36/1692.84	c 1692s |      28 | 23548450 | 18203005 |     1055  45737 |        0 |        0
1694.36/1694.85	c 1694s |      28 | 23569820 | 18221005 |     1055  45771 |        0 |        0
1696.36/1696.85	c 1696s |      28 | 23591376 | 18239005 |     1055  45804 |        0 |        0
1698.36/1698.85	c 1698s |      28 | 23612057 | 18256305 |     1055  45837 |        0 |        0
1700.36/1700.85	c 1700s |      28 | 23635771 | 18275205 |     1055  45872 |        0 |        0
1702.36/1702.86	c 1702s |      28 | 23659393 | 18294305 |     1055  45908 |        0 |        0
1704.36/1704.87	c 1704s |      28 | 23681799 | 18312705 |     1055  45942 |        0 |        0
1706.36/1706.87	c 1706s |      28 | 23704041 | 18331305 |     1055  45977 |        0 |        0
1708.36/1708.88	c 1708s |      28 | 23726586 | 18350005 |     1055  46012 |        0 |        0
1710.36/1710.89	c 1710s |      28 | 23752195 | 18369805 |     1055  46049 |        0 |        0
1712.36/1712.89	c 1712s |      28 | 23781551 | 18391205 |     1055  46089 |        0 |        0
1714.35/1714.90	c 1714s |      28 | 23808591 | 18412105 |     1055  46128 |        0 |        0
1716.45/1716.91	c 1716s |      28 | 23836305 | 18433105 |     1055  46167 |        0 |        0
1718.45/1718.91	c 1718s |      28 | 23858735 | 18451205 |     1055  46201 |        0 |        0
1720.45/1720.92	c 1720s |      28 | 23881426 | 18469405 |     1055  46235 |        0 |        0
1722.45/1722.92	c 1722s |      28 | 23903851 | 18487705 |     1055  46269 |        0 |        0
1724.46/1724.93	c 1724s |      28 | 23926953 | 18506005 |     1055  46304 |        0 |        0
1726.45/1726.94	c 1726s |      28 | 23949961 | 18524605 |     1055  46338 |        0 |        0
1728.45/1728.94	c 1728s |      28 | 23974501 | 18543805 |     1055  46374 |        0 |        0
1730.45/1730.95	c 1730s |      28 | 23994874 | 18561305 |     1055  46407 |        0 |        0
1732.45/1732.95	c 1732s |      28 | 24017572 | 18579605 |     1055  46441 |        0 |        0
1734.45/1734.96	c 1734s |      28 | 24042162 | 18598905 |     1055  46478 |        0 |        0
1736.45/1736.97	c 1736s |      28 | 24068524 | 18619105 |     1055  46516 |        0 |        0
1738.45/1738.97	c 1738s |      28 | 24094515 | 18638805 |     1055  46552 |        0 |        0
1740.45/1740.98	c 1740s |      28 | 24122145 | 18659705 |     1055  46592 |        0 |        0
1742.45/1742.98	c 1742s |      28 | 24148894 | 18680405 |     1055  46631 |        0 |        0
1744.44/1744.99	c 1744s |      28 | 24176220 | 18700905 |     1055  46669 |        0 |        0
1746.45/1746.99	c 1746s |      28 | 24203940 | 18721605 |     1055  46708 |        0 |        0
1748.44/1749.00	c 1748s |      28 | 24232864 | 18742505 |     1055  46747 |        0 |        0
1750.54/1751.01	c 1750s |      28 | 24263670 | 18764105 |     1055  46787 |        0 |        0
1752.55/1753.01	c 1752s |      28 | 24291094 | 18785105 |     1055  46827 |        0 |        0
1754.55/1755.01	c 1755s |      28 | 24318811 | 18806005 |     1055  46866 |        0 |        0
1756.55/1757.01	c 1757s |      28 | 24347287 | 18827005 |     1055  46905 |        0 |        0
1758.56/1759.02	c 1759s |      28 | 24376073 | 18847905 |     1055  46944 |        0 |        0
1760.55/1761.02	c 1761s |      28 | 24402738 | 18868105 |     1055  46982 |        0 |        0
1762.55/1763.03	c 1763s |      28 | 24429030 | 18888405 |     1055  47020 |        0 |        0
1764.55/1765.03	c 1765s |      28 | 24455984 | 18908905 |     1055  47058 |        0 |        0
1766.55/1767.04	c 1767s |      28 | 24479618 | 18927805 |     1055  47094 |        0 |        0
1768.55/1769.05	c 1769s |      28 | 24503565 | 18947005 |     1055  47130 |        0 |        0
1770.55/1771.05	c 1771s |      28 | 24526764 | 18965605 |     1055  47164 |        0 |        0
1772.55/1773.06	c 1773s |      28 | 24548132 | 18983505 |     1055  47198 |        0 |        0
1774.55/1775.06	c 1775s |      28 | 24573838 | 19003405 |     1055  47235 |        0 |        0
1776.55/1777.07	c 1777s |      28 | 24596845 | 19022105 |     1055  47270 |        0 |        0
1778.55/1779.08	c 1779s |      28 | 24620757 | 19041305 |     1055  47306 |        0 |        0
1780.55/1781.08	c 1781s |      28 | 24644975 | 19060505 |     1055  47342 |        0 |        0
1782.55/1783.08	c 1783s |      28 | 24667236 | 19078905 |     1055  47376 |        0 |        0
1784.54/1785.09	c 1785s |      28 | 24693040 | 19098505 |     1055  47413 |        0 |        0
1786.64/1787.10	c 1787s |      28 | 24719133 | 19118305 |     1055  47450 |        0 |        0
1788.64/1789.11	c 1789s |      28 | 24742492 | 19137005 |     1055  47485 |        0 |        0
1790.64/1791.11	c 1791s |      28 | 24765805 | 19155505 |     1055  47520 |        0 |        0
1792.65/1793.12	c 1793s |      28 | 24787769 | 19173405 |     1055  47553 |        0 |        0
1794.64/1795.12	c 1795s |      28 | 24810291 | 19191705 |     1055  47588 |        0 |        0
1796.64/1797.13	c 1797s |      28 | 24831693 | 19209505 |     1055  47621 |        0 |        0
1798.64/1799.13	c 1799s |      28 | 24857838 | 19229605 |     1055  47658 |        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-4122042-1467316053/watcher-4122042-1467316053 -o /tmp/evaluation-result-4122042-1467316053/solver-4122042-1467316053 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467314225-15886 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122042-1467316053.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.24 2.23 2.10 3/179 16985
/proc/meminfo: memFree=27201340/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=788924 CPUtime=0 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 2955 0 0 0 0 0 0 0 20 0 4 0 10632905 807858176 3315 33554432000 4194304 16246674 140736208012288 140736208011712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 197743 3325 441 2943 0 194637 0
[pid=16985/tid=16986] ppid=16982 vsize=806332 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 825683968 3385 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=811452 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 830926848 3403 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=815548 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10632905 835121152 3421 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100213 s]
/proc/loadavg: 2.24 2.23 2.10 3/179 16985
/proc/meminfo: memFree=27201340/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 24999 0 0 0 5 4 0 0 20 0 4 0 10632905 1247350784 25349 33554432000 4194304 16246674 140736208012288 140736208011712 5664948 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 304529 25357 707 2943 0 301423 0
[pid=16985/tid=16986] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 25362 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 25367 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 25374 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200509 s]
/proc/loadavg: 2.24 2.23 2.10 3/179 16985
/proc/meminfo: memFree=27201340/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 48068 0 0 0 12 7 0 0 20 0 4 0 10632905 1247350784 48417 33554432000 4194304 16246674 140736208012288 140736208011712 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 304529 48426 707 2943 0 301423 0
[pid=16985/tid=16986] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 48435 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 48441 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 48446 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300463 s]
/proc/loadavg: 2.24 2.23 2.10 3/179 16985
/proc/meminfo: memFree=27201340/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 70811 0 0 0 19 10 0 0 20 0 4 0 10632905 1247350784 71160 33554432000 4194304 16246674 140736208012288 140736208011712 5669490 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 304529 71169 707 2943 0 301423 0
[pid=16985/tid=16986] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 71175 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 71181 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 71187 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700391 s]
/proc/loadavg: 2.24 2.23 2.10 3/179 16985
/proc/meminfo: memFree=27201340/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 161999 0 0 0 46 23 0 0 20 0 4 0 10632905 1247350784 162348 33554432000 4194304 16246674 140736208012288 140736207995288 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 304529 162357 708 2943 0 301423 0
[pid=16985/tid=16986] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 162367 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 162374 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 162379 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.24 2.23 2.10 3/183 16989
/proc/meminfo: memFree=26218544/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 245483 0 0 0 114 35 0 0 20 0 4 0 10632905 1247350784 245812 33554432000 4194304 16246674 140736208012288 140736208011600 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 304529 245812 782 2943 0 301423 0
[pid=16985/tid=16986] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 245812 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 245812 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1247350784 245812 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.1004 s]
/proc/loadavg: 2.24 2.23 2.10 3/183 16989
/proc/meminfo: memFree=26130504/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 267396 0 0 0 271 38 0 0 20 0 4 0 10632905 1337528320 267725 33554432000 4194304 16246674 140736208012288 140736207995288 13191364 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326545 267725 782 2943 0 323439 0
[pid=16985/tid=16986] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267725 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267725 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267725 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.22 2.23 2.10 3/183 16989
/proc/meminfo: memFree=26130628/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 267397 0 0 0 591 38 0 0 20 0 4 0 10632905 1337528320 267726 33554432000 4194304 16246674 140736208012288 140736207995288 5669360 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326545 267726 782 2943 0 323439 0
[pid=16985/tid=16986] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267726 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267726 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267726 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.28 2.24 2.11 3/183 16989
/proc/meminfo: memFree=26130476/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 267412 0 0 0 1231 38 0 0 20 0 4 0 10632905 1337528320 267741 33554432000 4194304 16246674 140736208012288 140736207995288 6023560 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326545 267741 782 2943 0 323439 0
[pid=16985/tid=16986] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267741 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267741 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267741 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.29 2.25 2.11 3/183 16989
/proc/meminfo: memFree=26131112/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 267416 0 0 0 2510 39 0 0 20 0 4 0 10632905 1337528320 267745 33554432000 4194304 16246674 140736208012288 140736207995288 5827653 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326545 267745 784 2943 0 323439 0
[pid=16985/tid=16986] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267745 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267745 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267745 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.40 2.27 2.12 3/183 16989
/proc/meminfo: memFree=26130588/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 267457 0 0 0 5069 39 0 0 20 0 4 0 10632905 1337528320 267779 33554432000 4194304 16246674 140736208012288 140736207994176 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326545 267779 786 2943 0 323439 0
[pid=16985/tid=16986] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267779 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267779 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267779 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.39 2.29 2.13 4/183 16990
/proc/meminfo: memFree=26130436/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 267469 0 0 0 10187 41 0 0 20 0 4 0 10632905 1337528320 267780 33554432000 4194304 16246674 140736208012288 140736207994176 6837240 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326545 267780 786 2943 0 323439 0
[pid=16985/tid=16986] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267780 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267780 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1337528320 267780 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 267999 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.14 2.21 2.18 3/184 17096
/proc/meminfo: memFree=26120452/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1307204 CPUtime=1361.91 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 267973 0 0 0 136124 67 0 0 20 0 4 0 10632905 1338576896 267999 33554432000 4194304 16246674 140736208012288 140736207994176 6023439 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326801 267999 788 2943 0 323695 0
[pid=16985/tid=16986] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 267999 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 267999 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 267999 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.19 2.22 2.18 4/183 17098
/proc/meminfo: memFree=26121084/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1307204 CPUtime=1421.9 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 267973 0 0 0 142122 68 0 0 20 0 4 0 10632905 1338576896 267999 33554432000 4194304 16246674 140736208012288 140736207995288 5545776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326801 267999 788 2943 0 323695 0
[pid=16985/tid=16986] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 267999 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 267999 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 267999 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.34 2.25 2.19 3/183 17099
/proc/meminfo: memFree=26120592/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1307204 CPUtime=1481.89 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 268049 0 0 0 148121 68 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140736207995288 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326801 268075 788 2943 0 323695 0
[pid=16985/tid=16986] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.21 2.23 2.18 3/183 17100
/proc/meminfo: memFree=26120972/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1307204 CPUtime=1541.88 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 268049 0 0 0 154119 69 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140736207994176 13965544 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326801 268075 788 2943 0 323695 0
[pid=16985/tid=16986] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.27 2.25 2.19 4/183 17101
/proc/meminfo: memFree=26120968/32872528 swapFree=1555464/1718984
[pid=16985] ppid=16982 vsize=1307204 CPUtime=1601.87 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 268049 0 0 0 160116 71 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140736207995288 6842716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326801 268075 788 2943 0 323695 0
[pid=16985/tid=16986] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.29 2.26 2.19 3/183 17102
/proc/meminfo: memFree=26120736/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1307204 CPUtime=1661.86 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 268049 0 0 0 166114 72 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140736207995288 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326801 268075 788 2943 0 323695 0
[pid=16985/tid=16986] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/182 17104
/proc/meminfo: memFree=26120900/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1307204 CPUtime=1721.85 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 268049 0 0 0 172112 73 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140736207995288 5823447 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326801 268075 788 2943 0 323695 0
[pid=16985/tid=16986] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.20 2.24 2.18 4/183 17106
/proc/meminfo: memFree=26119672/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1307204 CPUtime=1781.85 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 268049 0 0 0 178111 74 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140736207994176 6010842 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326801 268075 788 2943 0 323695 0
[pid=16985/tid=16986] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.20 2.23 2.18 3/183 17106
/proc/meminfo: memFree=26119548/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1307204 CPUtime=1800.04 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 268049 0 0 0 179930 74 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140736207995288 13943668 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326801 268075 788 2943 0 323695 0
[pid=16985/tid=16986] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 16985 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.20 2.23 2.18 3/183 17106
/proc/meminfo: memFree=26119548/32872528 swapFree=1555460/1718980
[pid=16985] ppid=16982 vsize=1307204 CPUtime=1800.04 cores=0,2,4,6
/proc/16985/stat : 16985 (toysat) R 16982 16985 11291 0 -1 4202496 268049 0 0 0 179930 74 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140736207995288 13943668 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 326801 268075 788 2943 0 323695 0
[pid=16985/tid=16986] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16986/stat : 16986 (toysat) S 16982 16985 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321715367152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16985/tid=16987] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16987/stat : 16987 (toysat) S 16982 16985 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321704877296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16985/tid=16988] ppid=16982 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16985/task/16988/stat : 16988 (toysat) S 16982 16985 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10632905 1338576896 268075 33554432000 4194304 16246674 140736208012288 140321694403760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.31
CPU system time (s): 0.745886
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.745886
maximum resident set size= 1072300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268049
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= 314
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6103 second user time and 6.91695 second system time

The end

Begin job on node117 at 2016-06-30 21:47:33
IDJOB=4122042
IDBENCH=110844
IDSOLVER=2542
FILE ID=node117/4122042-1467316053
RUNJOBID= node117-1467314225-15886
PBS_JOBID= 20005275
Free space on /tmp= 71608 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n26-d4-i1.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-4122042-1467316053/watcher-4122042-1467316053 -o /tmp/evaluation-result-4122042-1467316053/solver-4122042-1467316053 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467314225-15886 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122042-1467316053.opb

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

MD5SUM BENCH= d67ccd6b688e7300df590271082154c0
RANDOM SEED=2127201878

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
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:        27202232 kB
Buffers:          152848 kB
Cached:          1963968 kB
SwapCached:            0 kB
Active:          1384176 kB
Inactive:        1816784 kB
Active(anon):    1086696 kB
Inactive(anon):        4 kB
Active(file):     297480 kB
Inactive(file):  1816780 kB
Unevictable:     1718980 kB
Mlocked:         1555460 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16520 kB
Writeback:             0 kB
AnonPages:       2803072 kB
Mapped:            17068 kB
Shmem:               204 kB
Slab:             616676 kB
SReclaimable:      60488 kB
SUnreclaim:       556188 kB
KernelStack:        1520 kB
PageTables:         9928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2938884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1232896 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= 71592 MiB
End job on node117 at 2016-06-30 22:17:34