0.00/0.00	c 2016-06-16T01:32:47+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-4089764-1466033567.opb"]
0.00/0.01	c use --random-gen="1896616699 241600621 3602635693 2608256250 3987915187 2896180993 919549325 943801736 2066270859 1969655149 759432809 3397966584 1973543060 637663104 372963443 2265598384 2165083712 3440594540 1727171783 1050606719 511250392 879955308 165509949 835438565 849171173 4281009119 4174910515 3526267791 2125251730 3652071481 3034343895 139758843 416462793 1328808365 1470626354 4056443275 1317523939 2887544554 2828061738 2765578660 1049226523 518306022 1725911443 968316632 2858704961 1295240912 881426093 4229693778 2957414197 2211170853 1009284271 3351251293 2157956461 762678528 385857763 17003926 3677662814 1291831105 134074318 59309747 1620884841 1003550398 79272495 1951430827 2628902603 4114208847 1767800763 2165283915 1369509103 1515918402 3636111241 2870730436 101836174 2465942003 3563224228 2827547389 1524543964 939377671 4069632662 2921675679 1495910833 3945818325 1948174362 2233903073 4134124543 3978015219 142790137 1434614242 1135496895 425663934 1566755146 1355974900 1907864752 1229067681 636459017 2914838603 489701372 1128964399 2000079261 97309694 3421744137 4290512192 661309560 1718310067 4150243844 967742768 1076579215 3790521537 2013579509 2341705030 187941947 314255207 345089696 731407186 2035703882 2874106661 370121168 1768350623 1327741397 4212083029 1579317488 166688738 2778512549 2037707630 117483898 2901469987 2123569911 2165014435 2296121329 892313844 3827225358 218445150 2101876364 3780985956 1259318638 1159604353 96351562 295599440 1228893008 3297759855 241738258 2415304442 4005107522 2450871201 2491085641 3100527105 3048016638 1526888069 2332291255 1750556662 3626078017 1807686113 2297960767 3272488472 4187076046 1426248072 3887273642 4205109309 4047516133 3869839344 3713325435 471596901 2893025329 583857212 1568793692 2734755872 3254514835 299056324 2944266431 973173962 76137724 2925142204 3805015642 819757264 1904674015 3597551182 2611437770 3369245999 3324693699 1765906942 2427552209 2337555740 2301324490 931287275 2560093274 984903651 3754976821 2780333191 1602752898 2507714101 532699534 2862817687 476079370 2670693247 607632433 2016445968 4263380485 3365677010 1429935056 2583508599 15176094 3551678850 1302622570 3166074241 1713592353 3332049950 2174899326 2713105266 3307653391 918299776 3373509113 647382948 3650168322 581223668 1822642320 2502548678 3399126128 2760132872 3060060247 423795701 3787549677 118055609 3484933948 4005797076 2212627082 2692885262 3951800718 376048256 1755782426 2641498184 812587503 3053400683 773651460 2176324689 2536893084 307829726 2148302535 429850290 1526827961 1283250590 299321035 2400912282 3304314854 1971458760 1618227531 122699703 238767452 1851745179 102265448 3134219625 2612050134 67758975 4187198105 3780595622 2345168629 960580048 255 362436" option to reproduce the execution
0.00/0.01	c #vars 93
0.00/0.01	c #constraints 31
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 |       51      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      154 |      100 |       51      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      392 |      250 |       57      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      713 |      475 |       63      7 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1191 |      813 |       70     13 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2014 |     1320 |       77     22 |        0 |        0
0.19/0.22	c  0.2s |       6 |     3126 |     2081 |       94     35 |        0 |        0
0.29/0.35	c  0.3s |       7 |     4575 |     3223 |      104     52 |        0 |        0
0.49/0.52	c  0.5s |       8 |     6541 |     4936 |      115     75 |        0 |        0
0.79/0.81	c  0.8s |       9 |     9827 |     7506 |      127    109 |        0 |        0
1.10/1.17	c  1.2s |      10 |    14655 |    11361 |      140    155 |        0 |        0
1.59/1.61	c  1.6s |      11 |    21647 |    17144 |      154    224 |        0 |        0
2.30/2.35	c  2.3s |      12 |    32047 |    25819 |      170    316 |        0 |        0
3.30/3.34	c  3.3s |      13 |    48312 |    38832 |      188    443 |        0 |        0
4.90/4.91	c  4.9s |      14 |    73357 |    58352 |      207    621 |        0 |        0
6.90/6.92	c  6.9s |      14 |   105352 |    83052 |      207    826 |        0 |        0
7.19/7.29	c  7.3s |      15 |   111310 |    87632 |      228    864 |        0 |        0
9.19/9.30	c  9.3s |      15 |   141732 |   111932 |      228   1052 |        0 |        0
10.89/10.90	c 10.9s |      16 |   166167 |   131552 |      251   1200 |        0 |        0
12.89/12.91	c 12.9s |      16 |   197218 |   155952 |      251   1372 |        0 |        0
14.89/14.91	c 14.9s |      16 |   225998 |   179852 |      251   1541 |        0 |        0
16.29/16.34	c 16.3s |      17 |   247831 |   197432 |      277   1664 |        0 |        0
18.29/18.35	c 18.3s |      17 |   283491 |   223632 |      277   1833 |        0 |        0
20.29/20.35	c 20.3s |      17 |   313954 |   248132 |      277   1992 |        0 |        0
22.29/22.36	c 22.3s |      17 |   343985 |   272032 |      277   2148 |        0 |        0
24.20/24.30	c 24.3s |      18 |   374952 |   296252 |      305   2303 |        0 |        0
26.29/26.31	c 26.3s |      18 |   404046 |   319852 |      305   2443 |        0 |        0
28.29/28.31	c 28.3s |      18 |   433108 |   343452 |      305   2583 |        0 |        0
30.29/30.31	c 30.3s |      18 |   461869 |   366852 |      305   2723 |        0 |        0
32.29/32.32	c 32.3s |      18 |   489425 |   389752 |      305   2860 |        0 |        0
34.28/34.32	c 34.3s |      18 |   517490 |   413052 |      305   3000 |        0 |        0
36.29/36.33	c 36.3s |      18 |   544524 |   435652 |      305   3135 |        0 |        0
37.09/37.11	c 37.1s |      19 |   554867 |   444482 |      336   3185 |        0 |        0
39.09/39.12	c 39.1s |      19 |   584910 |   468382 |      336   3316 |        0 |        0
41.09/41.12	c 41.1s |      19 |   612154 |   491282 |      336   3441 |        0 |        0
43.09/43.12	c 43.1s |      19 |   641643 |   514982 |      336   3571 |        0 |        0
45.09/45.13	c 45.1s |      19 |   671712 |   539282 |      336   3704 |        0 |        0
47.09/47.13	c 47.1s |      19 |   699447 |   562482 |      336   3830 |        0 |        0
49.09/49.13	c 49.1s |      19 |   726994 |   585482 |      336   3956 |        0 |        0
51.09/51.14	c 51.1s |      19 |   754055 |   608282 |      336   4082 |        0 |        0
53.09/53.14	c 53.1s |      19 |   780777 |   630582 |      336   4206 |        0 |        0
55.09/55.14	c 55.1s |      19 |   809003 |   653682 |      336   4332 |        0 |        0
56.19/56.25	c 56.2s |      20 |   824817 |   666827 |      370   4402 |        0 |        0
58.18/58.26	c 58.2s |      20 |   855139 |   691227 |      370   4523 |        0 |        0
60.18/60.26	c 60.2s |      20 |   883390 |   714527 |      370   4638 |        0 |        0
62.18/62.26	c 62.3s |      20 |   912197 |   738127 |      370   4756 |        0 |        0
64.18/64.27	c 64.3s |      20 |   941267 |   761727 |      370   4875 |        0 |        0
66.18/66.28	c 66.3s |      20 |   969293 |   785027 |      370   4992 |        0 |        0
68.19/68.28	c 68.3s |      20 |   999778 |   809127 |      370   5114 |        0 |        0
70.18/70.28	c 70.3s |      20 |  1030901 |   833827 |      370   5238 |        0 |        0
72.18/72.28	c 72.3s |      20 |  1059591 |   857027 |      370   5355 |        0 |        0
74.18/74.29	c 74.3s |      20 |  1088996 |   880527 |      370   5472 |        0 |        0
76.18/76.29	c 76.3s |      20 |  1119178 |   904627 |      370   5594 |        0 |        0
78.18/78.29	c 78.3s |      20 |  1149197 |   928727 |      370   5714 |        0 |        0
80.18/80.30	c 80.3s |      20 |  1179941 |   952927 |      370   5837 |        0 |        0
82.28/82.30	c 82.3s |      20 |  1207801 |   976427 |      370   5954 |        0 |        0
84.28/84.31	c 84.3s |      20 |  1236562 |   999427 |      408   6065 |        0 |        0
84.28/84.39	c 84.4s |      21 |  1237627 |  1000345 |      408   6069 |        0 |        0
86.37/86.40	c 86.4s |      21 |  1265499 |  1023345 |      408   6174 |        0 |        0
88.37/88.40	c 88.4s |      21 |  1293631 |  1046445 |      408   6280 |        0 |        0
90.37/90.40	c 90.4s |      21 |  1320252 |  1068745 |      408   6383 |        0 |        0
92.39/92.40	c 92.4s |      21 |  1347841 |  1091445 |      408   6487 |        0 |        0
94.38/94.41	c 94.4s |      21 |  1376674 |  1114645 |      408   6594 |        0 |        0
96.38/96.41	c 96.4s |      21 |  1402782 |  1136545 |      408   6695 |        0 |        0
98.38/98.41	c 98.4s |      21 |  1430863 |  1159545 |      408   6801 |        0 |        0
100.38/100.41	c  100s |      21 |  1456796 |  1181645 |      408   6903 |        0 |        0
102.38/102.41	c  102s |      21 |  1483522 |  1204045 |      408   7005 |        0 |        0
104.38/104.42	c  104s |      21 |  1513987 |  1227645 |      408   7114 |        0 |        0
106.37/106.42	c  106s |      21 |  1543417 |  1251045 |      408   7222 |        0 |        0
108.37/108.43	c  108s |      21 |  1571717 |  1273745 |      408   7326 |        0 |        0
110.37/110.43	c  110s |      21 |  1600473 |  1296745 |      408   7432 |        0 |        0
112.37/112.44	c  112s |      21 |  1629582 |  1319845 |      408   7539 |        0 |        0
114.38/114.44	c  114s |      21 |  1654030 |  1341045 |      408   7634 |        0 |        0
116.37/116.45	c  116s |      21 |  1678883 |  1362545 |      408   7732 |        0 |        0
118.37/118.45	c  118s |      21 |  1703876 |  1384145 |      408   7832 |        0 |        0
120.37/120.46	c  120s |      21 |  1729430 |  1406045 |      408   7932 |        0 |        0
122.37/122.46	c  122s |      21 |  1754443 |  1427645 |      408   8032 |        0 |        0
124.38/124.46	c  124s |      21 |  1781244 |  1449845 |      408   8134 |        0 |        0
126.37/126.46	c  126s |      21 |  1809570 |  1472545 |      408   8239 |        0 |        0
128.37/128.47	c  128s |      21 |  1836690 |  1494845 |      449   8339 |        0 |        0
128.97/129.01	c  128s |      22 |  1843507 |  1500622 |      449   8364 |        0 |        0
130.98/131.01	c  130s |      22 |  1870349 |  1522822 |      449   8456 |        0 |        0
132.97/133.02	c  133s |      22 |  1897561 |  1544922 |      449   8548 |        0 |        0
134.97/135.02	c  135s |      22 |  1923002 |  1566422 |      449   8638 |        0 |        0
136.97/137.03	c  137s |      22 |  1947261 |  1587222 |      449   8724 |        0 |        0
138.97/139.03	c  139s |      22 |  1972075 |  1608122 |      449   8811 |        0 |        0
140.97/141.03	c  141s |      22 |  1996304 |  1628722 |      449   8897 |        0 |        0
142.98/143.04	c  143s |      22 |  2022430 |  1650022 |      449   8987 |        0 |        0
144.97/145.04	c  145s |      22 |  2047341 |  1671122 |      449   9075 |        0 |        0
146.97/147.04	c  147s |      22 |  2072500 |  1692122 |      449   9163 |        0 |        0
148.97/149.05	c  149s |      22 |  2098760 |  1713822 |      449   9254 |        0 |        0
150.97/151.05	c  151s |      22 |  2128049 |  1736522 |      449   9349 |        0 |        0
152.98/153.05	c  153s |      22 |  2158153 |  1759522 |      449   9446 |        0 |        0
154.97/155.06	c  155s |      22 |  2185737 |  1781922 |      449   9541 |        0 |        0
156.97/157.06	c  157s |      22 |  2214936 |  1804522 |      449   9636 |        0 |        0
158.97/159.07	c  159s |      22 |  2242622 |  1826722 |      449   9730 |        0 |        0
160.97/161.07	c  161s |      22 |  2270074 |  1848822 |      449   9823 |        0 |        0
162.97/163.07	c  163s |      22 |  2296356 |  1870622 |      449   9916 |        0 |        0
164.97/165.07	c  165s |      22 |  2324737 |  1893122 |      449  10011 |        0 |        0
166.97/167.08	c  167s |      22 |  2352950 |  1916022 |      449  10108 |        0 |        0
168.96/169.08	c  169s |      22 |  2378387 |  1937122 |      449  10197 |        0 |        0
170.96/171.09	c  171s |      22 |  2401452 |  1957022 |      449  10279 |        0 |        0
172.96/173.09	c  173s |      22 |  2428789 |  1978922 |      449  10371 |        0 |        0
174.97/175.09	c  175s |      22 |  2455472 |  2000722 |      449  10463 |        0 |        0
176.96/177.10	c  177s |      22 |  2483091 |  2023022 |      449  10557 |        0 |        0
179.06/179.11	c  179s |      22 |  2511469 |  2045222 |      449  10652 |        0 |        0
181.06/181.11	c  181s |      22 |  2539095 |  2067222 |      449  10744 |        0 |        0
183.06/183.12	c  183s |      22 |  2564555 |  2088222 |      449  10834 |        0 |        0
185.07/185.12	c  185s |      22 |  2592616 |  2110522 |      449  10928 |        0 |        0
187.07/187.12	c  187s |      22 |  2622132 |  2133522 |      449  11026 |        0 |        0
189.07/189.12	c  189s |      22 |  2649742 |  2155622 |      449  11120 |        0 |        0
191.07/191.13	c  191s |      22 |  2678111 |  2177922 |      449  11215 |        0 |        0
193.07/193.13	c  193s |      22 |  2707043 |  2200522 |      449  11310 |        0 |        0
195.07/195.13	c  195s |      22 |  2735650 |  2223122 |      449  11407 |        0 |        0
197.07/197.14	c  197s |      22 |  2763086 |  2245122 |      494  11497 |        0 |        0
197.66/197.70	c  197s |      23 |  2770403 |  2251038 |      494  11519 |        0 |        0
199.66/199.70	c  199s |      23 |  2794006 |  2271538 |      494  11597 |        0 |        0
201.66/201.71	c  201s |      23 |  2818710 |  2292538 |      494  11678 |        0 |        0
203.66/203.71	c  203s |      23 |  2843533 |  2313738 |      494  11759 |        0 |        0
205.67/205.71	c  205s |      23 |  2867258 |  2334238 |      494  11837 |        0 |        0
207.66/207.72	c  207s |      23 |  2891019 |  2354538 |      494  11915 |        0 |        0
209.66/209.73	c  209s |      23 |  2915759 |  2375338 |      494  11995 |        0 |        0
211.66/211.73	c  211s |      23 |  2940848 |  2396338 |      494  12076 |        0 |        0
213.66/213.74	c  213s |      23 |  2965641 |  2417238 |      494  12156 |        0 |        0
215.67/215.74	c  215s |      23 |  2989747 |  2437838 |      494  12235 |        0 |        0
217.66/217.75	c  217s |      23 |  3015318 |  2458938 |      494  12316 |        0 |        0
219.66/219.76	c  219s |      23 |  3039781 |  2479338 |      494  12395 |        0 |        0
221.66/221.76	c  221s |      23 |  3064333 |  2499938 |      494  12474 |        0 |        0
223.66/223.76	c  223s |      23 |  3088170 |  2520238 |      494  12551 |        0 |        0
225.66/225.77	c  225s |      23 |  3113202 |  2541138 |      494  12631 |        0 |        0
227.66/227.78	c  227s |      23 |  3137693 |  2561538 |      494  12710 |        0 |        0
229.66/229.79	c  229s |      23 |  3163362 |  2582638 |      494  12791 |        0 |        0
231.65/231.79	c  231s |      23 |  3189526 |  2603838 |      494  12873 |        0 |        0
233.75/233.80	c  233s |      23 |  3214108 |  2624638 |      494  12952 |        0 |        0
235.75/235.80	c  235s |      23 |  3240329 |  2645938 |      494  13034 |        0 |        0
237.75/237.81	c  237s |      23 |  3266296 |  2667138 |      494  13115 |        0 |        0
239.76/239.81	c  239s |      23 |  3292170 |  2688338 |      494  13197 |        0 |        0
241.76/241.82	c  241s |      23 |  3318546 |  2709738 |      494  13280 |        0 |        0
243.76/243.83	c  243s |      23 |  3343227 |  2730538 |      494  13360 |        0 |        0
245.76/245.84	c  245s |      23 |  3368152 |  2751238 |      494  13440 |        0 |        0
247.76/247.84	c  247s |      23 |  3393929 |  2772338 |      494  13521 |        0 |        0
249.76/249.85	c  249s |      23 |  3418703 |  2793138 |      494  13601 |        0 |        0
251.75/251.86	c  251s |      23 |  3441622 |  2813138 |      494  13677 |        0 |        0
253.75/253.87	c  253s |      23 |  3464487 |  2833038 |      494  13753 |        0 |        0
255.75/255.87	c  255s |      23 |  3488134 |  2853038 |      494  13831 |        0 |        0
257.75/257.88	c  257s |      23 |  3512407 |  2873138 |      494  13909 |        0 |        0
259.75/259.89	c  259s |      23 |  3536470 |  2893438 |      494  13987 |        0 |        0
261.76/261.89	c  261s |      23 |  3560063 |  2913638 |      494  14066 |        0 |        0
263.76/263.90	c  263s |      23 |  3584269 |  2934038 |      494  14145 |        0 |        0
265.85/265.90	c  265s |      23 |  3608599 |  2954338 |      494  14223 |        0 |        0
267.85/267.91	c  267s |      23 |  3633020 |  2974938 |      494  14302 |        0 |        0
269.85/269.91	c  269s |      23 |  3656340 |  2994938 |      494  14377 |        0 |        0
271.85/271.92	c  271s |      23 |  3679202 |  3014338 |      494  14450 |        0 |        0
273.86/273.92	c  273s |      23 |  3700710 |  3033138 |      494  14520 |        0 |        0
275.85/275.93	c  275s |      23 |  3721798 |  3051838 |      494  14591 |        0 |        0
277.85/277.94	c  277s |      23 |  3744430 |  3071038 |      494  14663 |        0 |        0
279.85/279.94	c  279s |      23 |  3766687 |  3090038 |      494  14736 |        0 |        0
281.85/281.94	c  281s |      23 |  3790291 |  3109638 |      494  14810 |        0 |        0
283.86/283.95	c  283s |      23 |  3814643 |  3129838 |      494  14887 |        0 |        0
285.85/285.95	c  285s |      23 |  3839371 |  3149938 |      494  14964 |        0 |        0
287.85/287.96	c  287s |      23 |  3866491 |  3170938 |      494  15044 |        0 |        0
289.85/289.97	c  289s |      23 |  3891697 |  3191538 |      494  15123 |        0 |        0
291.85/291.98	c  291s |      23 |  3915888 |  3211538 |      494  15199 |        0 |        0
293.85/293.98	c  293s |      23 |  3939930 |  3231838 |      494  15277 |        0 |        0
295.85/295.98	c  295s |      23 |  3964536 |  3252438 |      494  15355 |        0 |        0
297.85/297.99	c  297s |      23 |  3988557 |  3272938 |      494  15434 |        0 |        0
299.85/299.99	c  299s |      23 |  4012391 |  3293138 |      494  15511 |        0 |        0
301.85/301.99	c  301s |      23 |  4036324 |  3313438 |      494  15589 |        0 |        0
303.84/303.99	c  303s |      23 |  4059342 |  3333338 |      494  15665 |        0 |        0
305.94/306.00	c  305s |      23 |  4079814 |  3351838 |      494  15736 |        0 |        0
307.84/308.00	c  307s |      23 |  4102774 |  3371538 |      544  15805 |        0 |        0
308.44/308.53	c  308s |      24 |  4108763 |  3376662 |      544  15823 |        0 |        0
310.44/310.54	c  310s |      24 |  4133372 |  3396962 |      544  15894 |        0 |        0
312.45/312.54	c  312s |      24 |  4157074 |  3416762 |      544  15963 |        0 |        0
314.44/314.55	c  314s |      24 |  4179613 |  3436362 |      544  16031 |        0 |        0
316.44/316.55	c  316s |      24 |  4202767 |  3456062 |      544  16100 |        0 |        0
318.44/318.55	c  318s |      24 |  4225494 |  3475762 |      544  16169 |        0 |        0
320.44/320.56	c  320s |      24 |  4247336 |  3495062 |      544  16237 |        0 |        0
322.44/322.57	c  322s |      24 |  4272137 |  3515562 |      544  16309 |        0 |        0
324.45/324.57	c  324s |      24 |  4295661 |  3535362 |      544  16378 |        0 |        0
326.44/326.57	c  326s |      24 |  4322505 |  3556562 |      544  16452 |        0 |        0
328.44/328.57	c  328s |      24 |  4346069 |  3576462 |      544  16522 |        0 |        0
330.44/330.58	c  330s |      24 |  4369451 |  3596162 |      544  16592 |        0 |        0
332.44/332.59	c  332s |      24 |  4393189 |  3616162 |      544  16662 |        0 |        0
334.44/334.59	c  334s |      24 |  4415780 |  3635462 |      544  16730 |        0 |        0
336.44/336.59	c  336s |      24 |  4439612 |  3655362 |      544  16799 |        0 |        0
338.54/338.60	c  338s |      24 |  4463970 |  3675362 |      544  16869 |        0 |        0
340.54/340.61	c  340s |      24 |  4486227 |  3694562 |      544  16936 |        0 |        0
342.54/342.62	c  342s |      24 |  4508745 |  3713562 |      544  17002 |        0 |        0
344.54/344.62	c  344s |      24 |  4531865 |  3733062 |      544  17070 |        0 |        0
346.55/346.63	c  346s |      24 |  4554350 |  3752262 |      544  17137 |        0 |        0
348.54/348.63	c  348s |      24 |  4577980 |  3771962 |      544  17206 |        0 |        0
350.54/350.64	c  350s |      24 |  4601368 |  3791762 |      544  17276 |        0 |        0
352.54/352.65	c  352s |      24 |  4623962 |  3810962 |      544  17343 |        0 |        0
354.54/354.65	c  354s |      24 |  4647115 |  3830562 |      544  17412 |        0 |        0
356.54/356.65	c  356s |      24 |  4670492 |  3850262 |      544  17481 |        0 |        0
358.55/358.66	c  358s |      24 |  4695192 |  3870662 |      544  17553 |        0 |        0
360.54/360.66	c  360s |      24 |  4719862 |  3890662 |      544  17623 |        0 |        0
362.54/362.67	c  362s |      24 |  4745496 |  3911362 |      544  17697 |        0 |        0
364.54/364.67	c  364s |      24 |  4770737 |  3931662 |      544  17768 |        0 |        0
366.54/366.68	c  366s |      24 |  4795221 |  3951562 |      544  17838 |        0 |        0
368.54/368.69	c  368s |      24 |  4821166 |  3972062 |      544  17910 |        0 |        0
370.53/370.70	c  370s |      24 |  4846339 |  3992462 |      544  17981 |        0 |        0
372.63/372.71	c  372s |      24 |  4870902 |  4012662 |      544  18052 |        0 |        0
374.63/374.71	c  374s |      24 |  4893657 |  4031962 |      544  18119 |        0 |        0
376.63/376.71	c  376s |      24 |  4915879 |  4051062 |      544  18187 |        0 |        0
378.63/378.71	c  378s |      24 |  4939446 |  4070762 |      544  18256 |        0 |        0
380.64/380.72	c  380s |      24 |  4962860 |  4090362 |      544  18325 |        0 |        0
382.63/382.72	c  382s |      24 |  4988860 |  4110962 |      544  18398 |        0 |        0
384.63/384.73	c  384s |      24 |  5013220 |  4130862 |      544  18468 |        0 |        0
386.63/386.73	c  386s |      24 |  5040714 |  4152362 |      544  18543 |        0 |        0
388.63/388.73	c  388s |      24 |  5066114 |  4173062 |      544  18616 |        0 |        0
390.63/390.74	c  390s |      24 |  5092958 |  4194262 |      544  18690 |        0 |        0
392.64/392.74	c  392s |      24 |  5117956 |  4214662 |      544  18762 |        0 |        0
394.63/394.74	c  394s |      24 |  5141503 |  4234462 |      544  18832 |        0 |        0
396.63/396.75	c  396s |      24 |  5166976 |  4255262 |      544  18905 |        0 |        0
398.63/398.75	c  398s |      24 |  5192766 |  4275862 |      544  18979 |        0 |        0
400.63/400.76	c  400s |      24 |  5217066 |  4296062 |      544  19050 |        0 |        0
402.63/402.76	c  402s |      24 |  5241285 |  4315862 |      544  19120 |        0 |        0
404.63/404.77	c  404s |      24 |  5266673 |  4336362 |      544  19193 |        0 |        0
406.63/406.77	c  406s |      24 |  5292253 |  4356762 |      544  19266 |        0 |        0
408.63/408.77	c  408s |      24 |  5316863 |  4376762 |      544  19336 |        0 |        0
410.63/410.78	c  410s |      24 |  5339463 |  4396162 |      544  19405 |        0 |        0
412.62/412.78	c  412s |      24 |  5364106 |  4416262 |      544  19477 |        0 |        0
414.64/414.78	c  414s |      24 |  5388714 |  4436562 |      544  19548 |        0 |        0
416.63/416.79	c  416s |      24 |  5412811 |  4456862 |      544  19619 |        0 |        0
418.63/418.79	c  418s |      24 |  5436920 |  4476762 |      544  19689 |        0 |        0
420.73/420.80	c  420s |      24 |  5462261 |  4497662 |      544  19762 |        0 |        0
422.73/422.81	c  422s |      24 |  5486925 |  4518162 |      544  19834 |        0 |        0
424.73/424.82	c  424s |      24 |  5512521 |  4538862 |      544  19906 |        0 |        0
426.73/426.82	c  426s |      24 |  5537150 |  4559062 |      544  19977 |        0 |        0
428.73/428.82	c  428s |      24 |  5561361 |  4579362 |      544  20048 |        0 |        0
430.72/430.83	c  430s |      24 |  5585160 |  4598962 |      544  20116 |        0 |        0
432.72/432.83	c  432s |      24 |  5609616 |  4618962 |      544  20187 |        0 |        0
434.72/434.83	c  434s |      24 |  5635376 |  4639262 |      544  20259 |        0 |        0
436.73/436.83	c  436s |      24 |  5660653 |  4659662 |      544  20330 |        0 |        0
438.72/438.84	c  438s |      24 |  5687753 |  4680862 |      544  20405 |        0 |        0
440.72/440.85	c  440s |      24 |  5712730 |  4701162 |      544  20476 |        0 |        0
442.72/442.85	c  442s |      24 |  5736316 |  4720762 |      544  20545 |        0 |        0
444.72/444.86	c  444s |      24 |  5758881 |  4740262 |      544  20613 |        0 |        0
446.72/446.86	c  446s |      24 |  5783536 |  4760162 |      544  20683 |        0 |        0
448.73/448.86	c  448s |      24 |  5807466 |  4779862 |      544  20752 |        0 |        0
450.72/450.87	c  450s |      24 |  5831275 |  4799662 |      544  20822 |        0 |        0
452.72/452.87	c  452s |      24 |  5852807 |  4818462 |      544  20888 |        0 |        0
454.73/454.88	c  454s |      24 |  5874057 |  4837262 |      544  20954 |        0 |        0
456.73/456.88	c  456s |      24 |  5896439 |  4856362 |      544  21020 |        0 |        0
458.73/458.89	c  458s |      24 |  5917917 |  4874862 |      544  21085 |        0 |        0
460.72/460.89	c  460s |      24 |  5941091 |  4894262 |      544  21155 |        0 |        0
462.82/462.90	c  462s |      24 |  5964854 |  4914062 |      544  21225 |        0 |        0
464.82/464.91	c  464s |      24 |  5987157 |  4933262 |      544  21292 |        0 |        0
466.82/466.91	c  466s |      24 |  6009576 |  4952662 |      544  21361 |        0 |        0
468.82/468.92	c  468s |      24 |  6033413 |  4972662 |      544  21431 |        0 |        0
470.83/470.93	c  470s |      24 |  6059042 |  4993362 |      544  21504 |        0 |        0
472.82/472.93	c  472s |      24 |  6082897 |  5013262 |      544  21574 |        0 |        0
474.82/474.93	c  474s |      24 |  6105725 |  5032462 |      599  21640 |        0 |        0
476.82/476.93	c  476s |      24 |  6127637 |  5051262 |      599  21700 |        0 |        0
478.12/478.28	c  478s |      25 |  6145008 |  5065098 |      599  21745 |        0 |        0
480.12/480.29	c  480s |      25 |  6169567 |  5084998 |      599  21808 |        0 |        0
482.11/482.29	c  482s |      25 |  6193808 |  5104898 |      599  21871 |        0 |        0
484.11/484.29	c  484s |      25 |  6218158 |  5124598 |      599  21934 |        0 |        0
486.12/486.29	c  486s |      25 |  6243833 |  5144898 |      599  21999 |        0 |        0
488.11/488.29	c  488s |      25 |  6268700 |  5164798 |      599  22062 |        0 |        0
490.22/490.30	c  490s |      25 |  6293874 |  5185198 |      599  22127 |        0 |        0
492.22/492.30	c  492s |      25 |  6317854 |  5205098 |      599  22190 |        0 |        0
494.22/494.31	c  494s |      25 |  6342078 |  5225198 |      599  22254 |        0 |        0
496.22/496.32	c  496s |      25 |  6365377 |  5244598 |      599  22316 |        0 |        0
498.23/498.33	c  498s |      25 |  6388765 |  5263998 |      599  22378 |        0 |        0
500.22/500.33	c  500s |      25 |  6413629 |  5283998 |      599  22443 |        0 |        0
502.22/502.34	c  502s |      25 |  6436746 |  5303498 |      599  22505 |        0 |        0
504.21/504.35	c  504s |      25 |  6460463 |  5323098 |      599  22567 |        0 |        0
506.21/506.35	c  506s |      25 |  6484662 |  5342798 |      599  22630 |        0 |        0
508.22/508.36	c  508s |      25 |  6507255 |  5361998 |      599  22691 |        0 |        0
510.21/510.37	c  510s |      25 |  6530021 |  5381198 |      599  22752 |        0 |        0
512.21/512.37	c  512s |      25 |  6552497 |  5400098 |      599  22812 |        0 |        0
514.21/514.37	c  514s |      25 |  6575423 |  5419298 |      599  22873 |        0 |        0
516.22/516.38	c  516s |      25 |  6597964 |  5438398 |      599  22934 |        0 |        0
518.22/518.39	c  518s |      25 |  6621309 |  5457898 |      599  22997 |        0 |        0
520.22/520.40	c  520s |      25 |  6644427 |  5477398 |      599  23059 |        0 |        0
522.31/522.40	c  522s |      25 |  6668664 |  5497398 |      599  23123 |        0 |        0
524.31/524.41	c  524s |      25 |  6691991 |  5516898 |      599  23186 |        0 |        0
526.31/526.41	c  526s |      25 |  6716366 |  5536898 |      599  23249 |        0 |        0
528.31/528.41	c  528s |      25 |  6741975 |  5557198 |      599  23314 |        0 |        0
530.31/530.42	c  530s |      25 |  6766859 |  5577398 |      599  23379 |        0 |        0
532.32/532.43	c  532s |      25 |  6790484 |  5596998 |      599  23442 |        0 |        0
534.31/534.43	c  534s |      25 |  6812552 |  5615998 |      599  23502 |        0 |        0
536.31/536.43	c  536s |      25 |  6835225 |  5634998 |      599  23563 |        0 |        0
538.31/538.44	c  538s |      25 |  6856524 |  5653398 |      599  23622 |        0 |        0
540.31/540.44	c  540s |      25 |  6879869 |  5672898 |      599  23684 |        0 |        0
542.31/542.44	c  542s |      25 |  6903455 |  5692598 |      599  23747 |        0 |        0
544.31/544.45	c  544s |      25 |  6927500 |  5712398 |      599  23810 |        0 |        0
546.31/546.46	c  546s |      25 |  6949511 |  5731298 |      599  23871 |        0 |        0
548.31/548.46	c  548s |      25 |  6971758 |  5750298 |      599  23931 |        0 |        0
550.31/550.46	c  550s |      25 |  6994922 |  5769598 |      599  23993 |        0 |        0
552.31/552.47	c  552s |      25 |  7019162 |  5789198 |      599  24056 |        0 |        0
554.31/554.47	c  554s |      25 |  7042629 |  5808598 |      599  24119 |        0 |        0
556.30/556.47	c  556s |      25 |  7064925 |  5827598 |      599  24180 |        0 |        0
558.30/558.48	c  558s |      25 |  7087719 |  5846698 |      599  24241 |        0 |        0
560.30/560.49	c  560s |      25 |  7112738 |  5866798 |      599  24306 |        0 |        0
562.30/562.49	c  562s |      25 |  7137042 |  5886598 |      599  24369 |        0 |        0
564.40/564.50	c  564s |      25 |  7161464 |  5906598 |      599  24434 |        0 |        0
566.41/566.50	c  566s |      25 |  7185405 |  5926298 |      599  24497 |        0 |        0
568.41/568.51	c  568s |      25 |  7207692 |  5945098 |      599  24558 |        0 |        0
570.41/570.52	c  570s |      25 |  7231982 |  5964698 |      599  24620 |        0 |        0
572.41/572.52	c  572s |      25 |  7255724 |  5983798 |      599  24680 |        0 |        0
574.41/574.53	c  574s |      25 |  7279663 |  6003398 |      599  24741 |        0 |        0
576.41/576.54	c  576s |      25 |  7304099 |  6023098 |      599  24804 |        0 |        0
578.41/578.54	c  578s |      25 |  7328059 |  6042498 |      599  24865 |        0 |        0
580.40/580.55	c  580s |      25 |  7351358 |  6061998 |      599  24926 |        0 |        0
582.40/582.55	c  582s |      25 |  7375297 |  6081598 |      599  24988 |        0 |        0
584.40/584.55	c  584s |      25 |  7400553 |  6101398 |      599  25051 |        0 |        0
586.40/586.56	c  586s |      25 |  7426140 |  6121898 |      599  25116 |        0 |        0
588.41/588.56	c  588s |      25 |  7450633 |  6141998 |      599  25179 |        0 |        0
590.40/590.56	c  590s |      25 |  7473811 |  6161398 |      599  25241 |        0 |        0
592.40/592.57	c  592s |      25 |  7497090 |  6180798 |      599  25303 |        0 |        0
594.40/594.57	c  594s |      25 |  7521210 |  6200398 |      599  25365 |        0 |        0
596.40/596.59	c  596s |      25 |  7545938 |  6220298 |      599  25429 |        0 |        0
598.41/598.59	c  598s |      25 |  7570229 |  6240298 |      599  25493 |        0 |        0
600.40/600.59	c  600s |      25 |  7593340 |  6259698 |      599  25555 |        0 |        0
602.50/602.60	c  602s |      25 |  7616258 |  6278898 |      599  25616 |        0 |        0
604.50/604.60	c  604s |      25 |  7641685 |  6298998 |      599  25680 |        0 |        0
606.50/606.61	c  606s |      25 |  7666624 |  6319098 |      599  25744 |        0 |        0
608.50/608.62	c  608s |      25 |  7693044 |  6339498 |      599  25810 |        0 |        0
610.51/610.62	c  610s |      25 |  7716912 |  6359198 |      599  25873 |        0 |        0
612.50/612.63	c  612s |      25 |  7741731 |  6379298 |      599  25937 |        0 |        0
614.50/614.64	c  614s |      25 |  7766097 |  6399198 |      599  26000 |        0 |        0
616.50/616.65	c  616s |      25 |  7789536 |  6418598 |      599  26062 |        0 |        0
618.50/618.65	c  618s |      25 |  7814185 |  6438598 |      599  26126 |        0 |        0
620.50/620.66	c  620s |      25 |  7837792 |  6458198 |      599  26189 |        0 |        0
622.51/622.66	c  622s |      25 |  7859492 |  6476998 |      599  26248 |        0 |        0
624.50/624.67	c  624s |      25 |  7883414 |  6496698 |      599  26311 |        0 |        0
626.50/626.68	c  626s |      25 |  7905946 |  6515698 |      599  26372 |        0 |        0
628.50/628.68	c  628s |      25 |  7928173 |  6534598 |      599  26433 |        0 |        0
630.50/630.69	c  630s |      25 |  7950385 |  6553498 |      599  26493 |        0 |        0
632.50/632.69	c  632s |      25 |  7973942 |  6572798 |      599  26555 |        0 |        0
634.50/634.69	c  634s |      25 |  7996614 |  6591998 |      599  26616 |        0 |        0
636.60/636.70	c  636s |      25 |  8020527 |  6611698 |      599  26678 |        0 |        0
638.59/638.71	c  638s |      25 |  8043895 |  6630998 |      599  26739 |        0 |        0
640.59/640.71	c  640s |      25 |  8066517 |  6650098 |      599  26800 |        0 |        0
642.59/642.71	c  642s |      25 |  8091182 |  6669998 |      599  26864 |        0 |        0
644.60/644.72	c  644s |      25 |  8116772 |  6690198 |      599  26928 |        0 |        0
646.59/646.72	c  646s |      25 |  8141198 |  6710098 |      599  26992 |        0 |        0
648.59/648.72	c  648s |      25 |  8164178 |  6729398 |      599  27054 |        0 |        0
650.59/650.73	c  650s |      25 |  8188094 |  6748998 |      599  27117 |        0 |        0
652.59/652.73	c  652s |      25 |  8213112 |  6769198 |      599  27182 |        0 |        0
654.59/654.74	c  654s |      25 |  8236278 |  6788498 |      599  27243 |        0 |        0
656.60/656.74	c  656s |      25 |  8258696 |  6807598 |      599  27305 |        0 |        0
658.59/658.74	c  658s |      25 |  8281092 |  6826498 |      599  27365 |        0 |        0
660.59/660.74	c  660s |      25 |  8305978 |  6846398 |      599  27429 |        0 |        0
662.59/662.75	c  662s |      25 |  8329015 |  6865698 |      599  27491 |        0 |        0
664.59/664.76	c  664s |      25 |  8351447 |  6884698 |      599  27552 |        0 |        0
666.60/666.77	c  666s |      25 |  8372890 |  6902998 |      599  27611 |        0 |        0
668.59/668.77	c  668s |      25 |  8395785 |  6922098 |      599  27672 |        0 |        0
670.59/670.78	c  670s |      25 |  8417908 |  6940798 |      599  27731 |        0 |        0
672.59/672.78	c  672s |      25 |  8439011 |  6958998 |      599  27790 |        0 |        0
674.59/674.79	c  674s |      25 |  8460940 |  6977798 |      599  27850 |        0 |        0
676.59/676.80	c  676s |      25 |  8484274 |  6997198 |      599  27912 |        0 |        0
678.59/678.80	c  678s |      25 |  8507857 |  7016898 |      599  27975 |        0 |        0
680.68/680.81	c  680s |      25 |  8530765 |  7036198 |      599  28037 |        0 |        0
682.68/682.81	c  682s |      25 |  8555376 |  7055998 |      599  28100 |        0 |        0
684.68/684.82	c  684s |      25 |  8580096 |  7076198 |      599  28165 |        0 |        0
686.68/686.82	c  686s |      25 |  8604133 |  7095798 |      599  28228 |        0 |        0
688.68/688.83	c  688s |      25 |  8629679 |  7115998 |      599  28292 |        0 |        0
690.70/690.84	c  690s |      25 |  8652856 |  7135398 |      599  28355 |        0 |        0
692.69/692.85	c  692s |      25 |  8676217 |  7154698 |      599  28417 |        0 |        0
694.69/694.85	c  694s |      25 |  8699946 |  7174098 |      599  28479 |        0 |        0
696.69/696.85	c  696s |      25 |  8723555 |  7193498 |      599  28542 |        0 |        0
698.69/698.86	c  698s |      25 |  8747810 |  7213098 |      599  28605 |        0 |        0
700.70/700.86	c  700s |      25 |  8772084 |  7232698 |      599  28668 |        0 |        0
702.69/702.87	c  702s |      25 |  8795747 |  7252198 |      599  28731 |        0 |        0
704.69/704.87	c  704s |      25 |  8821732 |  7272698 |      599  28797 |        0 |        0
706.68/706.88	c  706s |      25 |  8846654 |  7292698 |      599  28862 |        0 |        0
708.68/708.88	c  708s |      25 |  8869766 |  7311898 |      599  28924 |        0 |        0
710.68/710.89	c  710s |      25 |  8895074 |  7331898 |      599  28989 |        0 |        0
712.69/712.90	c  712s |      25 |  8919986 |  7351698 |      599  29053 |        0 |        0
714.78/714.90	c  714s |      25 |  8943987 |  7371298 |      599  29115 |        0 |        0
716.78/716.90	c  716s |      25 |  8967706 |  7390898 |      599  29177 |        0 |        0
718.77/718.91	c  718s |      25 |  8990591 |  7410298 |      599  29240 |        0 |        0
720.77/720.91	c  720s |      25 |  9013168 |  7429498 |      599  29301 |        0 |        0
722.77/722.92	c  722s |      25 |  9035606 |  7448698 |      599  29363 |        0 |        0
724.77/724.93	c  724s |      25 |  9055900 |  7466798 |      599  29421 |        0 |        0
726.77/726.93	c  726s |      25 |  9077544 |  7485298 |      599  29479 |        0 |        0
728.77/728.93	c  728s |      25 |  9099551 |  7503898 |      599  29539 |        0 |        0
730.77/730.93	c  730s |      25 |  9122005 |  7522798 |      599  29599 |        0 |        0
732.77/732.93	c  732s |      25 |  9145702 |  7542198 |      599  29660 |        0 |        0
734.77/734.94	c  734s |      25 |  9167836 |  7560698 |      659  29715 |        0 |        0
736.76/736.95	c  736s |      25 |  9191751 |  7580398 |      659  29772 |        0 |        0
738.57/738.70	c  738s |      26 |  9212894 |  7597752 |      659  29823 |        0 |        0
740.57/740.70	c  740s |      26 |  9235693 |  7616652 |      659  29878 |        0 |        0
742.57/742.71	c  742s |      26 |  9258762 |  7635752 |      659  29933 |        0 |        0
744.57/744.71	c  744s |      26 |  9281816 |  7654652 |      659  29988 |        0 |        0
746.56/746.71	c  746s |      26 |  9305976 |  7674352 |      659  30045 |        0 |        0
748.56/748.72	c  748s |      26 |  9328569 |  7693252 |      659  30100 |        0 |        0
750.56/750.74	c  750s |      26 |  9349314 |  7711052 |      659  30151 |        0 |        0
752.56/752.75	c  752s |      26 |  9370389 |  7728952 |      659  30203 |        0 |        0
754.56/754.76	c  754s |      26 |  9390636 |  7746652 |      659  30255 |        0 |        0
756.56/756.76	c  756s |      26 |  9413185 |  7765552 |      659  30309 |        0 |        0
758.55/758.76	c  758s |      26 |  9435406 |  7784252 |      659  30363 |        0 |        0
760.55/760.76	c  760s |      26 |  9456293 |  7802152 |      659  30415 |        0 |        0
762.55/762.77	c  762s |      26 |  9479693 |  7821452 |      659  30471 |        0 |        0
764.55/764.77	c  764s |      26 |  9501292 |  7839552 |      659  30524 |        0 |        0
766.56/766.77	c  766s |      26 |  9524397 |  7858552 |      659  30579 |        0 |        0
768.55/768.78	c  768s |      26 |  9548424 |  7877852 |      659  30635 |        0 |        0
770.55/770.78	c  770s |      26 |  9572803 |  7897252 |      659  30692 |        0 |        0
772.55/772.79	c  772s |      26 |  9596628 |  7916352 |      659  30748 |        0 |        0
774.64/774.80	c  774s |      26 |  9618474 |  7934952 |      659  30802 |        0 |        0
776.64/776.80	c  776s |      26 |  9640893 |  7953552 |      659  30856 |        0 |        0
778.55/778.80	c  778s |      26 |  9664142 |  7972752 |      659  30911 |        0 |        0
780.65/780.80	c  780s |      26 |  9686666 |  7991752 |      659  30966 |        0 |        0
782.65/782.81	c  782s |      26 |  9707602 |  8009852 |      659  31019 |        0 |        0
784.64/784.81	c  784s |      26 |  9729761 |  8028552 |      659  31073 |        0 |        0
786.64/786.81	c  786s |      26 |  9751735 |  8047252 |      659  31127 |        0 |        0
788.64/788.82	c  788s |      26 |  9771773 |  8064852 |      659  31178 |        0 |        0
790.64/790.83	c  790s |      26 |  9792163 |  8082652 |      659  31230 |        0 |        0
792.63/792.83	c  792s |      26 |  9813208 |  8100752 |      659  31282 |        0 |        0
794.63/794.84	c  794s |      26 |  9834731 |  8119052 |      659  31335 |        0 |        0
796.63/796.84	c  796s |      26 |  9857834 |  8138152 |      659  31391 |        0 |        0
798.63/798.84	c  798s |      26 |  9880482 |  8157252 |      659  31447 |        0 |        0
800.64/800.84	c  800s |      26 |  9903409 |  8176352 |      659  31502 |        0 |        0
802.63/802.85	c  802s |      26 |  9926455 |  8195352 |      659  31558 |        0 |        0
804.63/804.86	c  804s |      26 |  9948870 |  8213952 |      659  31612 |        0 |        0
806.63/806.86	c  806s |      26 |  9971474 |  8232852 |      659  31667 |        0 |        0
808.63/808.86	c  808s |      26 |  9994196 |  8251652 |      659  31722 |        0 |        0
810.63/810.87	c  810s |      26 | 10015965 |  8270052 |      659  31776 |        0 |        0
812.62/812.87	c  812s |      26 | 10039271 |  8289352 |      659  31832 |        0 |        0
814.62/814.87	c  814s |      26 | 10061568 |  8308152 |      659  31886 |        0 |        0
816.62/816.88	c  816s |      26 | 10084117 |  8326852 |      659  31941 |        0 |        0
818.62/818.89	c  818s |      26 | 10107710 |  8346252 |      659  31997 |        0 |        0
820.62/820.89	c  820s |      26 | 10130399 |  8365352 |      659  32052 |        0 |        0
822.73/822.91	c  822s |      26 | 10153902 |  8384652 |      659  32109 |        0 |        0
824.72/824.91	c  824s |      26 | 10176294 |  8403552 |      659  32163 |        0 |        0
826.71/826.91	c  826s |      26 | 10198691 |  8422452 |      659  32218 |        0 |        0
828.72/828.92	c  828s |      26 | 10219999 |  8440752 |      659  32271 |        0 |        0
830.72/830.92	c  830s |      26 | 10241819 |  8459452 |      659  32326 |        0 |        0
832.72/832.93	c  832s |      26 | 10263693 |  8478052 |      659  32379 |        0 |        0
834.73/834.93	c  834s |      26 | 10285857 |  8496552 |      659  32433 |        0 |        0
836.72/836.94	c  836s |      26 | 10307570 |  8515052 |      659  32487 |        0 |        0
838.72/838.94	c  838s |      26 | 10329974 |  8534152 |      659  32543 |        0 |        0
840.72/840.94	c  840s |      26 | 10353057 |  8553352 |      659  32599 |        0 |        0
842.72/842.95	c  842s |      26 | 10374984 |  8572052 |      659  32653 |        0 |        0
844.72/844.95	c  844s |      26 | 10396651 |  8590552 |      659  32707 |        0 |        0
846.71/846.96	c  846s |      26 | 10418624 |  8609352 |      659  32761 |        0 |        0
848.71/848.97	c  848s |      26 | 10440419 |  8627852 |      659  32815 |        0 |        0
850.71/850.97	c  850s |      26 | 10462092 |  8646252 |      659  32869 |        0 |        0
852.71/852.97	c  852s |      26 | 10484576 |  8665052 |      659  32923 |        0 |        0
854.70/854.97	c  854s |      26 | 10507152 |  8684052 |      659  32979 |        0 |        0
856.71/856.98	c  856s |      26 | 10528734 |  8702452 |      659  33032 |        0 |        0
858.70/858.98	c  858s |      26 | 10550383 |  8721052 |      659  33087 |        0 |        0
860.70/860.98	c  860s |      26 | 10573178 |  8740152 |      659  33142 |        0 |        0
862.70/862.98	c  862s |      26 | 10595296 |  8758952 |      659  33197 |        0 |        0
864.70/864.99	c  864s |      26 | 10616656 |  8777352 |      659  33251 |        0 |        0
866.80/867.00	c  866s |      26 | 10638075 |  8795552 |      659  33304 |        0 |        0
868.80/869.01	c  868s |      26 | 10659054 |  8813552 |      659  33356 |        0 |        0
870.80/871.02	c  871s |      26 | 10680664 |  8831752 |      659  33409 |        0 |        0
872.80/873.02	c  873s |      26 | 10701409 |  8849552 |      659  33461 |        0 |        0
874.79/875.03	c  875s |      26 | 10722687 |  8867452 |      659  33513 |        0 |        0
876.79/877.03	c  877s |      26 | 10743660 |  8885452 |      659  33566 |        0 |        0
878.80/879.03	c  879s |      26 | 10764595 |  8903152 |      659  33617 |        0 |        0
880.79/881.04	c  881s |      26 | 10786326 |  8921652 |      659  33671 |        0 |        0
882.80/883.05	c  883s |      26 | 10807960 |  8940052 |      659  33724 |        0 |        0
884.79/885.06	c  885s |      26 | 10829024 |  8958252 |      659  33777 |        0 |        0
886.79/887.07	c  887s |      26 | 10850414 |  8976552 |      659  33831 |        0 |        0
888.79/889.08	c  889s |      26 | 10870615 |  8994252 |      659  33882 |        0 |        0
890.80/891.08	c  891s |      26 | 10891498 |  9012052 |      659  33934 |        0 |        0
892.79/893.08	c  893s |      26 | 10914083 |  9030652 |      659  33989 |        0 |        0
894.78/895.09	c  895s |      26 | 10936865 |  9049852 |      659  34045 |        0 |        0
896.78/897.09	c  897s |      26 | 10959140 |  9068452 |      659  34099 |        0 |        0
898.88/899.10	c  899s |      26 | 10981837 |  9087052 |      659  34153 |        0 |        0
900.88/901.10	c  901s |      26 | 11004260 |  9105452 |      659  34207 |        0 |        0
902.89/903.11	c  903s |      26 | 11026636 |  9123852 |      659  34261 |        0 |        0
904.88/905.11	c  905s |      26 | 11047257 |  9141452 |      659  34313 |        0 |        0
906.88/907.12	c  907s |      26 | 11070402 |  9160352 |      659  34368 |        0 |        0
908.88/909.13	c  909s |      26 | 11094145 |  9179452 |      659  34424 |        0 |        0
910.88/911.13	c  911s |      26 | 11119217 |  9199352 |      659  34482 |        0 |        0
912.88/913.14	c  913s |      26 | 11142873 |  9218652 |      659  34538 |        0 |        0
914.88/915.14	c  915s |      26 | 11167447 |  9238352 |      659  34596 |        0 |        0
916.88/917.15	c  917s |      26 | 11192154 |  9258152 |      659  34654 |        0 |        0
918.87/919.15	c  919s |      26 | 11216322 |  9277852 |      659  34712 |        0 |        0
920.87/921.15	c  921s |      26 | 11238618 |  9296652 |      659  34767 |        0 |        0
922.87/923.16	c  923s |      26 | 11260597 |  9315552 |      659  34822 |        0 |        0
924.88/925.16	c  925s |      26 | 11283492 |  9334752 |      659  34878 |        0 |        0
926.87/927.17	c  927s |      26 | 11305206 |  9353152 |      659  34932 |        0 |        0
928.87/929.18	c  929s |      26 | 11327133 |  9371652 |      659  34986 |        0 |        0
930.87/931.19	c  931s |      26 | 11351198 |  9391052 |      659  35043 |        0 |        0
932.87/933.19	c  933s |      26 | 11374475 |  9410252 |      659  35099 |        0 |        0
934.87/935.20	c  935s |      26 | 11396156 |  9428752 |      659  35153 |        0 |        0
936.97/937.21	c  937s |      26 | 11418312 |  9447552 |      659  35208 |        0 |        0
938.96/939.21	c  939s |      26 | 11441854 |  9466952 |      659  35266 |        0 |        0
940.96/941.22	c  941s |      26 | 11463537 |  9485552 |      659  35320 |        0 |        0
942.96/943.22	c  943s |      26 | 11485453 |  9504052 |      659  35374 |        0 |        0
944.96/945.23	c  945s |      26 | 11506767 |  9522352 |      659  35427 |        0 |        0
946.96/947.24	c  947s |      26 | 11527433 |  9540452 |      659  35479 |        0 |        0
948.96/949.24	c  949s |      26 | 11551702 |  9559852 |      659  35536 |        0 |        0
950.95/951.24	c  951s |      26 | 11574354 |  9578352 |      659  35589 |        0 |        0
952.95/953.25	c  953s |      26 | 11596479 |  9596652 |      659  35643 |        0 |        0
954.95/955.26	c  955s |      26 | 11620455 |  9616052 |      659  35699 |        0 |        0
956.95/957.26	c  957s |      26 | 11643056 |  9635152 |      659  35755 |        0 |        0
958.95/959.27	c  959s |      26 | 11667217 |  9654652 |      659  35812 |        0 |        0
960.95/961.28	c  961s |      26 | 11689557 |  9673252 |      659  35867 |        0 |        0
962.96/963.28	c  963s |      26 | 11712009 |  9692252 |      659  35922 |        0 |        0
964.95/965.29	c  965s |      26 | 11732834 |  9710352 |      659  35975 |        0 |        0
967.05/967.30	c  967s |      26 | 11755939 |  9729552 |      659  36031 |        0 |        0
969.05/969.31	c  969s |      26 | 11777778 |  9748052 |      659  36085 |        0 |        0
971.06/971.31	c  971s |      26 | 11799663 |  9766552 |      659  36139 |        0 |        0
973.05/973.32	c  973s |      26 | 11822462 |  9785552 |      659  36195 |        0 |        0
975.04/975.33	c  975s |      26 | 11843895 |  9803952 |      659  36248 |        0 |        0
977.04/977.33	c  977s |      26 | 11866113 |  9822752 |      659  36303 |        0 |        0
979.04/979.34	c  979s |      26 | 11885660 |  9839952 |      659  36353 |        0 |        0
981.05/981.34	c  981s |      26 | 11907489 |  9858352 |      659  36407 |        0 |        0
983.04/983.35	c  983s |      26 | 11931658 |  9877852 |      659  36464 |        0 |        0
985.04/985.35	c  985s |      26 | 11953814 |  9896252 |      659  36518 |        0 |        0
987.04/987.35	c  987s |      26 | 11975724 |  9914752 |      659  36572 |        0 |        0
989.04/989.36	c  989s |      26 | 11998176 |  9933652 |      659  36628 |        0 |        0
991.04/991.37	c  991s |      26 | 12021807 |  9952752 |      659  36684 |        0 |        0
993.04/993.37	c  993s |      26 | 12043909 |  9971452 |      659  36739 |        0 |        0
995.03/995.37	c  995s |      26 | 12065360 |  9989852 |      659  36793 |        0 |        0
997.03/997.38	c  997s |      26 | 12086859 | 10008152 |      659  36846 |        0 |        0
999.03/999.38	c  999s |      26 | 12108400 | 10026252 |      659  36899 |        0 |        0
1001.03/1001.39	c 1001s |      26 | 12129526 | 10044252 |      659  36952 |        0 |        0
1003.04/1003.39	c 1003s |      26 | 12150483 | 10062052 |      659  37003 |        0 |        0
1005.03/1005.39	c 1005s |      26 | 12173608 | 10080752 |      659  37058 |        0 |        0
1007.03/1007.40	c 1007s |      26 | 12197064 | 10099952 |      659  37114 |        0 |        0
1009.13/1009.40	c 1009s |      26 | 12219496 | 10118852 |      659  37169 |        0 |        0
1011.13/1011.40	c 1011s |      26 | 12242021 | 10137352 |      659  37223 |        0 |        0
1013.13/1013.41	c 1013s |      26 | 12263658 | 10155752 |      659  37277 |        0 |        0
1015.14/1015.41	c 1015s |      26 | 12285041 | 10173952 |      659  37330 |        0 |        0
1017.13/1017.41	c 1017s |      26 | 12305528 | 10191852 |      659  37382 |        0 |        0
1019.13/1019.41	c 1019s |      26 | 12326678 | 10209952 |      659  37436 |        0 |        0
1021.13/1021.41	c 1021s |      26 | 12348327 | 10228252 |      659  37489 |        0 |        0
1023.13/1023.42	c 1023s |      26 | 12370435 | 10247052 |      659  37544 |        0 |        0
1025.12/1025.43	c 1025s |      26 | 12392147 | 10265352 |      659  37597 |        0 |        0
1027.13/1027.43	c 1027s |      26 | 12414395 | 10284352 |      659  37652 |        0 |        0
1029.12/1029.44	c 1029s |      26 | 12435488 | 10302452 |      659  37705 |        0 |        0
1031.12/1031.44	c 1031s |      26 | 12455646 | 10320252 |      659  37757 |        0 |        0
1033.12/1033.44	c 1033s |      26 | 12476602 | 10338452 |      659  37810 |        0 |        0
1035.11/1035.45	c 1035s |      26 | 12497657 | 10356652 |      659  37863 |        0 |        0
1037.12/1037.45	c 1037s |      26 | 12519712 | 10375152 |      659  37917 |        0 |        0
1039.11/1039.45	c 1039s |      26 | 12540587 | 10393152 |      659  37971 |        0 |        0
1041.11/1041.45	c 1041s |      26 | 12561122 | 10411052 |      659  38023 |        0 |        0
1043.11/1043.46	c 1043s |      26 | 12581482 | 10428752 |      659  38074 |        0 |        0
1045.11/1045.47	c 1045s |      26 | 12602389 | 10446652 |      659  38127 |        0 |        0
1047.11/1047.47	c 1047s |      26 | 12622922 | 10464452 |      659  38179 |        0 |        0
1049.11/1049.48	c 1049s |      26 | 12644464 | 10482452 |      659  38232 |        0 |        0
1051.10/1051.48	c 1051s |      26 | 12666166 | 10500552 |      659  38285 |        0 |        0
1053.10/1053.49	c 1053s |      26 | 12690368 | 10519752 |      659  38342 |        0 |        0
1055.10/1055.49	c 1055s |      26 | 12711829 | 10537752 |      659  38394 |        0 |        0
1057.10/1057.49	c 1057s |      26 | 12733512 | 10556052 |      659  38448 |        0 |        0
1059.20/1059.50	c 1059s |      26 | 12754514 | 10574152 |      659  38501 |        0 |        0
1061.10/1061.50	c 1061s |      26 | 12776384 | 10592452 |      659  38554 |        0 |        0
1063.20/1063.51	c 1063s |      26 | 12798677 | 10610952 |      659  38609 |        0 |        0
1065.20/1065.51	c 1065s |      26 | 12818810 | 10628552 |      659  38660 |        0 |        0
1067.20/1067.52	c 1067s |      26 | 12839601 | 10646552 |      659  38713 |        0 |        0
1069.20/1069.53	c 1069s |      26 | 12860329 | 10664352 |      659  38765 |        0 |        0
1071.21/1071.53	c 1071s |      26 | 12881909 | 10682652 |      659  38819 |        0 |        0
1073.20/1073.53	c 1073s |      26 | 12903115 | 10700552 |      659  38871 |        0 |        0
1075.19/1075.54	c 1075s |      26 | 12925537 | 10719052 |      659  38925 |        0 |        0
1077.19/1077.54	c 1077s |      26 | 12947711 | 10737452 |      659  38980 |        0 |        0
1079.19/1079.55	c 1079s |      26 | 12970853 | 10756652 |      659  39036 |        0 |        0
1081.19/1081.56	c 1081s |      26 | 12993748 | 10775752 |      659  39091 |        0 |        0
1083.19/1083.56	c 1083s |      26 | 13017265 | 10794952 |      659  39147 |        0 |        0
1085.18/1085.57	c 1085s |      26 | 13039737 | 10813852 |      659  39203 |        0 |        0
1087.18/1087.57	c 1087s |      26 | 13061088 | 10832252 |      659  39256 |        0 |        0
1089.18/1089.58	c 1089s |      26 | 13082837 | 10850452 |      659  39310 |        0 |        0
1091.18/1091.58	c 1091s |      26 | 13104211 | 10868852 |      659  39364 |        0 |        0
1093.19/1093.58	c 1093s |      26 | 13125308 | 10886952 |      659  39417 |        0 |        0
1095.18/1095.59	c 1095s |      26 | 13147080 | 10905552 |      659  39471 |        0 |        0
1097.28/1097.60	c 1097s |      26 | 13169735 | 10924452 |      659  39527 |        0 |        0
1099.28/1099.60	c 1099s |      26 | 13192463 | 10943252 |      659  39582 |        0 |        0
1101.28/1101.61	c 1101s |      26 | 13215304 | 10962152 |      659  39637 |        0 |        0
1103.28/1103.61	c 1103s |      26 | 13237355 | 10980852 |      659  39692 |        0 |        0
1105.28/1105.62	c 1105s |      26 | 13258671 | 10999152 |      659  39746 |        0 |        0
1107.27/1107.63	c 1107s |      26 | 13279113 | 11016952 |      659  39797 |        0 |        0
1109.27/1109.64	c 1109s |      26 | 13299342 | 11034852 |      659  39850 |        0 |        0
1111.27/1111.64	c 1111s |      26 | 13321269 | 11053452 |      659  39904 |        0 |        0
1113.27/1113.65	c 1113s |      26 | 13343427 | 11071952 |      659  39959 |        0 |        0
1115.27/1115.65	c 1115s |      26 | 13364962 | 11090252 |      659  40013 |        0 |        0
1117.27/1117.65	c 1117s |      26 | 13385613 | 11108052 |      659  40065 |        0 |        0
1119.27/1119.66	c 1119s |      26 | 13405562 | 11125852 |      659  40117 |        0 |        0
1121.27/1121.67	c 1121s |      26 | 13425878 | 11143552 |      659  40169 |        0 |        0
1123.26/1123.67	c 1123s |      26 | 13447482 | 11161952 |      659  40223 |        0 |        0
1125.26/1125.68	c 1125s |      26 | 13468878 | 11180352 |      659  40277 |        0 |        0
1127.27/1127.69	c 1127s |      26 | 13489532 | 11198352 |      659  40331 |        0 |        0
1129.26/1129.69	c 1129s |      26 | 13509854 | 11216252 |      659  40383 |        0 |        0
1131.36/1131.70	c 1131s |      26 | 13530554 | 11234252 |      659  40436 |        0 |        0
1133.36/1133.70	c 1133s |      26 | 13551384 | 11252452 |      659  40490 |        0 |        0
1135.37/1135.71	c 1135s |      26 | 13573114 | 11270752 |      659  40544 |        0 |        0
1137.37/1137.72	c 1137s |      26 | 13594127 | 11288552 |      659  40596 |        0 |        0
1139.37/1139.73	c 1139s |      26 | 13616723 | 11307252 |      659  40652 |        0 |        0
1141.37/1141.73	c 1141s |      26 | 13638298 | 11325652 |      725  40703 |        0 |        0
1143.37/1143.74	c 1143s |      26 | 13659269 | 11343652 |      725  40752 |        0 |        0
1145.36/1145.75	c 1145s |      26 | 13680303 | 11361452 |      725  40800 |        0 |        0
1147.36/1147.75	c 1147s |      26 | 13700256 | 11378852 |      725  40847 |        0 |        0
1149.36/1149.76	c 1149s |      26 | 13720130 | 11396352 |      725  40894 |        0 |        0
1149.46/1149.80	c 1149s |      27 | 13720573 | 11396733 |      725  40895 |        0 |        0
1151.47/1151.81	c 1151s |      27 | 13741132 | 11414733 |      725  40942 |        0 |        0
1153.46/1153.81	c 1153s |      27 | 13761137 | 11432333 |      725  40989 |        0 |        0
1155.45/1155.82	c 1155s |      27 | 13779742 | 11449033 |      725  41033 |        0 |        0
1157.45/1157.83	c 1157s |      27 | 13799944 | 11466733 |      725  41079 |        0 |        0
1159.45/1159.83	c 1159s |      27 | 13820108 | 11484433 |      725  41126 |        0 |        0
1161.45/1161.84	c 1161s |      27 | 13840131 | 11501933 |      725  41173 |        0 |        0
1163.46/1163.85	c 1163s |      27 | 13860718 | 11519633 |      725  41220 |        0 |        0
1165.45/1165.85	c 1165s |      27 | 13880329 | 11536933 |      725  41265 |        0 |        0
1167.44/1167.86	c 1167s |      27 | 13901551 | 11555033 |      725  41313 |        0 |        0
1169.44/1169.87	c 1169s |      27 | 13922419 | 11572933 |      725  41361 |        0 |        0
1171.44/1171.87	c 1171s |      27 | 13943714 | 11591133 |      725  41409 |        0 |        0
1173.45/1173.87	c 1173s |      27 | 13964914 | 11609233 |      725  41457 |        0 |        0
1175.44/1175.88	c 1175s |      27 | 13984444 | 11626533 |      725  41503 |        0 |        0
1177.44/1177.89	c 1177s |      27 | 14005398 | 11644533 |      725  41551 |        0 |        0
1179.43/1179.89	c 1179s |      27 | 14025597 | 11662133 |      725  41598 |        0 |        0
1181.53/1181.90	c 1181s |      27 | 14045067 | 11679433 |      725  41644 |        0 |        0
1183.53/1183.91	c 1183s |      27 | 14064707 | 11696933 |      725  41690 |        0 |        0
1185.54/1185.91	c 1185s |      27 | 14084318 | 11714433 |      725  41736 |        0 |        0
1187.53/1187.91	c 1187s |      27 | 14104312 | 11731933 |      725  41783 |        0 |        0
1189.53/1189.92	c 1189s |      27 | 14126660 | 11750533 |      725  41832 |        0 |        0
1191.54/1191.93	c 1191s |      27 | 14149736 | 11769233 |      725  41882 |        0 |        0
1193.53/1193.94	c 1193s |      27 | 14170077 | 11787033 |      725  41929 |        0 |        0
1195.53/1195.95	c 1195s |      27 | 14189866 | 11804333 |      725  41975 |        0 |        0
1197.54/1197.96	c 1197s |      27 | 14212084 | 11822833 |      725  42024 |        0 |        0
1199.53/1199.96	c 1199s |      27 | 14233501 | 11840933 |      725  42072 |        0 |        0
1201.53/1201.96	c 1201s |      27 | 14253720 | 11858433 |      725  42118 |        0 |        0
1203.52/1203.97	c 1203s |      27 | 14275498 | 11876633 |      725  42166 |        0 |        0
1205.52/1205.98	c 1205s |      27 | 14296563 | 11894433 |      725  42214 |        0 |        0
1207.53/1207.99	c 1207s |      27 | 14315873 | 11911433 |      725  42259 |        0 |        0
1209.52/1209.99	c 1209s |      27 | 14335275 | 11928533 |      725  42304 |        0 |        0
1211.52/1212.00	c 1211s |      27 | 14354861 | 11945633 |      725  42350 |        0 |        0
1213.62/1214.00	c 1213s |      27 | 14374512 | 11962733 |      725  42395 |        0 |        0
1215.62/1216.00	c 1215s |      27 | 14394611 | 11980033 |      725  42441 |        0 |        0
1217.61/1218.00	c 1217s |      27 | 14414014 | 11997033 |      725  42486 |        0 |        0
1219.62/1220.01	c 1219s |      27 | 14433432 | 12014333 |      725  42532 |        0 |        0
1221.61/1222.02	c 1222s |      27 | 14452710 | 12031433 |      725  42577 |        0 |        0
1223.61/1224.02	c 1224s |      27 | 14472464 | 12048833 |      725  42624 |        0 |        0
1225.61/1226.02	c 1226s |      27 | 14491803 | 12066033 |      725  42670 |        0 |        0
1227.61/1228.03	c 1228s |      27 | 14510902 | 12083033 |      725  42715 |        0 |        0
1229.61/1230.04	c 1230s |      27 | 14534318 | 12101733 |      725  42765 |        0 |        0
1231.61/1232.05	c 1232s |      27 | 14556752 | 12120233 |      725  42814 |        0 |        0
1233.60/1234.05	c 1234s |      27 | 14579201 | 12138733 |      725  42863 |        0 |        0
1235.61/1236.07	c 1236s |      27 | 14598734 | 12155733 |      725  42908 |        0 |        0
1237.61/1238.07	c 1238s |      27 | 14619005 | 12173133 |      725  42954 |        0 |        0
1239.61/1240.07	c 1240s |      27 | 14638043 | 12190233 |      725  42999 |        0 |        0
1241.62/1242.07	c 1242s |      27 | 14657570 | 12207433 |      725  43045 |        0 |        0
1243.61/1244.07	c 1244s |      27 | 14679706 | 12225833 |      725  43094 |        0 |        0
1245.60/1246.07	c 1246s |      27 | 14701575 | 12243933 |      725  43142 |        0 |        0
1247.60/1248.08	c 1248s |      27 | 14723495 | 12262333 |      725  43191 |        0 |        0
1249.60/1250.09	c 1250s |      27 | 14744857 | 12280333 |      725  43238 |        0 |        0
1251.60/1252.09	c 1252s |      27 | 14768290 | 12299033 |      725  43288 |        0 |        0
1253.60/1254.10	c 1254s |      27 | 14789797 | 12317133 |      725  43336 |        0 |        0
1255.70/1256.10	c 1256s |      27 | 14810021 | 12334733 |      725  43383 |        0 |        0
1257.69/1258.11	c 1258s |      27 | 14829201 | 12351733 |      725  43429 |        0 |        0
1259.69/1260.12	c 1260s |      27 | 14849005 | 12369133 |      725  43475 |        0 |        0
1261.69/1262.12	c 1262s |      27 | 14869605 | 12386733 |      725  43522 |        0 |        0
1263.69/1264.13	c 1264s |      27 | 14890627 | 12404733 |      725  43570 |        0 |        0
1265.69/1266.13	c 1266s |      27 | 14911072 | 12422533 |      725  43617 |        0 |        0
1267.69/1268.13	c 1268s |      27 | 14931132 | 12440033 |      725  43663 |        0 |        0
1269.68/1270.14	c 1270s |      27 | 14951951 | 12458033 |      725  43711 |        0 |        0
1271.68/1272.15	c 1272s |      27 | 14974326 | 12476733 |      725  43761 |        0 |        0
1273.68/1274.16	c 1274s |      27 | 14995331 | 12494633 |      725  43809 |        0 |        0
1275.69/1276.17	c 1276s |      27 | 15016711 | 12512633 |      725  43857 |        0 |        0
1277.68/1278.18	c 1278s |      27 | 15038382 | 12530833 |      725  43905 |        0 |        0
1279.68/1280.18	c 1280s |      27 | 15060093 | 12549033 |      725  43954 |        0 |        0
1281.68/1282.18	c 1282s |      27 | 15082623 | 12567333 |      725  44003 |        0 |        0
1283.68/1284.19	c 1284s |      27 | 15104753 | 12585533 |      725  44051 |        0 |        0
1285.78/1286.20	c 1286s |      27 | 15124742 | 12602833 |      725  44097 |        0 |        0
1287.79/1288.20	c 1288s |      27 | 15146172 | 12620733 |      725  44145 |        0 |        0
1289.78/1290.21	c 1290s |      27 | 15168061 | 12638933 |      725  44193 |        0 |        0
1291.78/1292.22	c 1292s |      27 | 15189676 | 12656833 |      725  44241 |        0 |        0
1293.78/1294.22	c 1294s |      27 | 15210789 | 12674533 |      725  44288 |        0 |        0
1295.78/1296.22	c 1296s |      27 | 15231179 | 12692033 |      725  44335 |        0 |        0
1297.78/1298.23	c 1298s |      27 | 15251643 | 12709733 |      725  44382 |        0 |        0
1299.78/1300.23	c 1300s |      27 | 15272087 | 12727433 |      725  44429 |        0 |        0
1301.77/1302.24	c 1302s |      27 | 15293167 | 12745533 |      725  44477 |        0 |        0
1303.77/1304.25	c 1304s |      27 | 15314461 | 12763933 |      725  44526 |        0 |        0
1305.77/1306.26	c 1306s |      27 | 15335934 | 12782133 |      725  44573 |        0 |        0
1307.77/1308.27	c 1308s |      27 | 15357599 | 12800233 |      725  44621 |        0 |        0
1309.78/1310.28	c 1310s |      27 | 15376965 | 12817433 |      725  44667 |        0 |        0
1311.77/1312.29	c 1312s |      27 | 15397194 | 12835033 |      725  44713 |        0 |        0
1313.77/1314.29	c 1314s |      27 | 15417006 | 12852333 |      725  44759 |        0 |        0
1315.87/1316.30	c 1316s |      27 | 15437159 | 12869833 |      725  44806 |        0 |        0
1317.86/1318.31	c 1318s |      27 | 15456873 | 12887033 |      725  44852 |        0 |        0
1319.86/1320.32	c 1320s |      27 | 15476104 | 12904133 |      725  44897 |        0 |        0
1321.87/1322.33	c 1322s |      27 | 15496602 | 12921833 |      725  44944 |        0 |        0
1323.86/1324.34	c 1324s |      27 | 15517982 | 12939733 |      725  44992 |        0 |        0
1325.86/1326.35	c 1326s |      27 | 15538072 | 12957333 |      725  45039 |        0 |        0
1327.86/1328.35	c 1328s |      27 | 15557294 | 12974533 |      725  45085 |        0 |        0
1329.85/1330.36	c 1330s |      27 | 15576578 | 12991633 |      725  45130 |        0 |        0
1331.85/1332.37	c 1332s |      27 | 15596804 | 13009133 |      725  45177 |        0 |        0
1333.85/1334.37	c 1334s |      27 | 15617550 | 13027033 |      725  45224 |        0 |        0
1335.86/1336.38	c 1336s |      27 | 15639206 | 13045333 |      725  45273 |        0 |        0
1337.86/1338.39	c 1338s |      27 | 15660126 | 13063133 |      725  45320 |        0 |        0
1339.86/1340.39	c 1340s |      27 | 15680028 | 13080433 |      725  45366 |        0 |        0
1341.95/1342.40	c 1342s |      27 | 15702105 | 13098833 |      725  45415 |        0 |        0
1343.95/1344.40	c 1344s |      27 | 15722688 | 13116533 |      725  45462 |        0 |        0
1345.96/1346.41	c 1346s |      27 | 15743378 | 13134133 |      725  45509 |        0 |        0
1347.95/1348.41	c 1348s |      27 | 15764571 | 13152033 |      725  45557 |        0 |        0
1349.95/1350.42	c 1350s |      27 | 15786559 | 13170533 |      725  45606 |        0 |        0
1351.95/1352.43	c 1352s |      27 | 15807341 | 13188433 |      725  45653 |        0 |        0
1353.95/1354.44	c 1354s |      27 | 15829071 | 13206433 |      725  45701 |        0 |        0
1355.95/1356.44	c 1356s |      27 | 15848513 | 13223533 |      725  45747 |        0 |        0
1357.94/1358.45	c 1358s |      27 | 15868234 | 13240733 |      725  45793 |        0 |        0
1359.94/1360.45	c 1360s |      27 | 15889160 | 13258633 |      725  45840 |        0 |        0
1361.94/1362.45	c 1362s |      27 | 15908162 | 13275633 |      725  45885 |        0 |        0
1363.94/1364.46	c 1364s |      27 | 15926786 | 13292233 |      725  45930 |        0 |        0
1365.94/1366.47	c 1366s |      27 | 15944889 | 13308633 |      725  45973 |        0 |        0
1367.95/1368.48	c 1368s |      27 | 15964173 | 13325733 |      725  46019 |        0 |        0
1369.94/1370.48	c 1370s |      27 | 15984560 | 13343333 |      725  46065 |        0 |        0
1371.94/1372.49	c 1372s |      27 | 16004832 | 13360933 |      725  46111 |        0 |        0
1374.04/1374.50	c 1374s |      27 | 16025818 | 13378833 |      725  46159 |        0 |        0
1376.04/1376.50	c 1376s |      27 | 16047616 | 13397133 |      725  46207 |        0 |        0
1378.04/1378.50	c 1378s |      27 | 16066704 | 13414133 |      725  46252 |        0 |        0
1380.05/1380.51	c 1380s |      27 | 16085278 | 13430833 |      725  46296 |        0 |        0
1382.04/1382.51	c 1382s |      27 | 16106128 | 13448733 |      725  46344 |        0 |        0
1384.04/1384.52	c 1384s |      27 | 16126919 | 13466633 |      725  46391 |        0 |        0
1386.04/1386.52	c 1386s |      27 | 16149013 | 13485133 |      725  46440 |        0 |        0
1388.04/1388.53	c 1388s |      27 | 16170716 | 13503533 |      725  46489 |        0 |        0
1390.04/1390.53	c 1390s |      27 | 16192183 | 13521733 |      725  46537 |        0 |        0
1392.04/1392.53	c 1392s |      27 | 16212898 | 13539633 |      725  46584 |        0 |        0
1394.04/1394.54	c 1394s |      27 | 16233822 | 13557733 |      725  46632 |        0 |        0
1396.04/1396.54	c 1396s |      27 | 16256559 | 13576533 |      725  46682 |        0 |        0
1398.03/1398.55	c 1398s |      27 | 16278653 | 13594833 |      725  46731 |        0 |        0
1400.03/1400.56	c 1400s |      27 | 16299988 | 13613133 |      725  46779 |        0 |        0
1402.04/1402.57	c 1402s |      27 | 16321270 | 13631133 |      725  46827 |        0 |        0
1404.03/1404.58	c 1404s |      27 | 16342668 | 13649333 |      725  46875 |        0 |        0
1406.03/1406.59	c 1406s |      27 | 16363864 | 13667133 |      725  46923 |        0 |        0
1408.03/1408.59	c 1408s |      27 | 16385051 | 13684833 |      725  46970 |        0 |        0
1410.13/1410.60	c 1410s |      27 | 16406678 | 13703033 |      725  47018 |        0 |        0
1412.13/1412.61	c 1412s |      27 | 16428137 | 13721333 |      725  47067 |        0 |        0
1414.14/1414.62	c 1414s |      27 | 16449945 | 13739733 |      725  47116 |        0 |        0
1416.13/1416.63	c 1416s |      27 | 16474609 | 13759433 |      725  47168 |        0 |        0
1418.13/1418.63	c 1418s |      27 | 16497802 | 13778433 |      725  47218 |        0 |        0
1420.13/1420.63	c 1420s |      27 | 16521382 | 13797433 |      725  47268 |        0 |        0
1422.13/1422.64	c 1422s |      27 | 16544807 | 13816433 |      725  47319 |        0 |        0
1424.14/1424.64	c 1424s |      27 | 16567287 | 13835233 |      725  47369 |        0 |        0
1426.14/1426.65	c 1426s |      27 | 16590302 | 13854233 |      725  47419 |        0 |        0
1428.14/1428.65	c 1428s |      27 | 16613828 | 13873233 |      725  47469 |        0 |        0
1430.13/1430.65	c 1430s |      27 | 16636127 | 13891833 |      725  47519 |        0 |        0
1432.13/1432.66	c 1432s |      27 | 16659183 | 13910633 |      725  47569 |        0 |        0
1434.13/1434.66	c 1434s |      27 | 16681852 | 13929533 |      725  47619 |        0 |        0
1436.14/1436.67	c 1436s |      27 | 16704904 | 13948533 |      725  47670 |        0 |        0
1438.13/1438.67	c 1438s |      27 | 16729004 | 13968033 |      725  47722 |        0 |        0
1440.13/1440.67	c 1440s |      27 | 16752732 | 13987233 |      725  47773 |        0 |        0
1442.13/1442.68	c 1442s |      27 | 16774595 | 14005833 |      725  47822 |        0 |        0
1444.13/1444.68	c 1444s |      27 | 16797374 | 14024433 |      725  47872 |        0 |        0
1446.13/1446.70	c 1446s |      27 | 16820995 | 14043433 |      725  47922 |        0 |        0
1448.23/1448.71	c 1448s |      27 | 16843034 | 14061833 |      725  47971 |        0 |        0
1450.23/1450.71	c 1450s |      27 | 16864354 | 14079833 |      725  48019 |        0 |        0
1452.23/1452.72	c 1452s |      27 | 16886449 | 14098133 |      725  48068 |        0 |        0
1454.23/1454.73	c 1454s |      27 | 16907923 | 14116133 |      725  48116 |        0 |        0
1456.22/1456.73	c 1456s |      27 | 16929494 | 14134433 |      725  48165 |        0 |        0
1458.23/1458.74	c 1458s |      27 | 16951213 | 14152633 |      725  48213 |        0 |        0
1460.22/1460.75	c 1460s |      27 | 16971725 | 14170433 |      725  48261 |        0 |        0
1462.22/1462.75	c 1462s |      27 | 16994105 | 14189033 |      725  48310 |        0 |        0
1464.22/1464.76	c 1464s |      27 | 17018223 | 14208333 |      725  48362 |        0 |        0
1466.23/1466.77	c 1466s |      27 | 17039177 | 14226433 |      725  48410 |        0 |        0
1468.23/1468.77	c 1468s |      27 | 17060428 | 14244433 |      725  48458 |        0 |        0
1470.24/1470.77	c 1470s |      27 | 17080781 | 14262133 |      725  48505 |        0 |        0
1472.23/1472.78	c 1472s |      27 | 17101186 | 14279833 |      725  48553 |        0 |        0
1474.23/1474.79	c 1474s |      27 | 17122103 | 14297733 |      725  48600 |        0 |        0
1476.23/1476.79	c 1476s |      27 | 17142701 | 14315433 |      725  48647 |        0 |        0
1478.33/1478.80	c 1478s |      27 | 17162789 | 14333033 |      725  48694 |        0 |        0
1480.33/1480.80	c 1480s |      27 | 17183384 | 14350733 |      725  48741 |        0 |        0
1482.33/1482.80	c 1482s |      27 | 17203054 | 14368033 |      725  48788 |        0 |        0
1484.33/1484.82	c 1484s |      27 | 17222600 | 14385233 |      725  48834 |        0 |        0
1486.33/1486.82	c 1486s |      27 | 17243399 | 14402933 |      725  48881 |        0 |        0
1488.32/1488.83	c 1488s |      27 | 17262680 | 14419933 |      725  48926 |        0 |        0
1490.32/1490.84	c 1490s |      27 | 17283908 | 14437733 |      725  48973 |        0 |        0
1492.33/1492.85	c 1492s |      27 | 17304852 | 14455633 |      725  49021 |        0 |        0
1494.32/1494.86	c 1494s |      27 | 17326251 | 14473533 |      725  49069 |        0 |        0
1496.32/1496.86	c 1496s |      27 | 17347799 | 14491633 |      725  49117 |        0 |        0
1498.32/1498.86	c 1498s |      27 | 17368824 | 14509533 |      725  49165 |        0 |        0
1500.32/1500.86	c 1500s |      27 | 17389838 | 14527333 |      725  49212 |        0 |        0
1502.32/1502.87	c 1502s |      27 | 17411793 | 14545533 |      725  49261 |        0 |        0
1504.33/1504.87	c 1504s |      27 | 17432358 | 14563133 |      725  49308 |        0 |        0
1506.32/1506.88	c 1506s |      27 | 17453952 | 14581333 |      725  49357 |        0 |        0
1508.32/1508.89	c 1508s |      27 | 17474388 | 14598833 |      725  49403 |        0 |        0
1510.32/1510.89	c 1510s |      27 | 17495673 | 14616933 |      725  49452 |        0 |        0
1512.42/1512.90	c 1512s |      27 | 17517187 | 14634833 |      725  49500 |        0 |        0
1514.42/1514.91	c 1514s |      27 | 17538738 | 14652933 |      725  49548 |        0 |        0
1516.43/1516.92	c 1516s |      27 | 17559725 | 14670633 |      725  49596 |        0 |        0
1518.42/1518.92	c 1518s |      27 | 17580788 | 14688333 |      725  49643 |        0 |        0
1520.42/1520.93	c 1520s |      27 | 17602625 | 14706633 |      725  49692 |        0 |        0
1522.42/1522.93	c 1522s |      27 | 17624284 | 14725033 |      725  49741 |        0 |        0
1524.42/1524.94	c 1524s |      27 | 17645207 | 14742833 |      725  49789 |        0 |        0
1526.43/1526.95	c 1526s |      27 | 17668110 | 14761533 |      725  49839 |        0 |        0
1528.42/1528.95	c 1528s |      27 | 17691422 | 14780533 |      725  49890 |        0 |        0
1530.42/1530.95	c 1530s |      27 | 17713967 | 14799133 |      725  49939 |        0 |        0
1532.42/1532.96	c 1532s |      27 | 17735396 | 14817233 |      725  49988 |        0 |        0
1534.42/1534.97	c 1534s |      27 | 17756004 | 14834933 |      725  50036 |        0 |        0
1536.42/1536.97	c 1536s |      27 | 17775327 | 14852033 |      725  50081 |        0 |        0
1538.42/1538.98	c 1538s |      27 | 17795578 | 14869533 |      725  50128 |        0 |        0
1540.42/1540.99	c 1540s |      27 | 17816805 | 14887633 |      725  50177 |        0 |        0
1542.52/1543.00	c 1542s |      27 | 17838407 | 14906033 |      725  50225 |        0 |        0
1544.52/1545.00	c 1544s |      27 | 17860192 | 14924433 |      725  50274 |        0 |        0
1546.51/1547.01	c 1547s |      27 | 17881393 | 14942533 |      725  50322 |        0 |        0
1548.51/1549.02	c 1549s |      27 | 17902012 | 14960333 |      725  50369 |        0 |        0
1550.52/1551.03	c 1551s |      27 | 17923224 | 14978033 |      725  50416 |        0 |        0
1552.51/1553.03	c 1553s |      27 | 17944282 | 14995933 |      725  50463 |        0 |        0
1554.51/1555.04	c 1555s |      27 | 17964095 | 15013233 |      725  50509 |        0 |        0
1556.51/1557.05	c 1557s |      27 | 17984807 | 15031033 |      725  50556 |        0 |        0
1558.51/1559.06	c 1559s |      27 | 18004102 | 15048233 |      725  50602 |        0 |        0
1560.52/1561.07	c 1561s |      27 | 18025117 | 15065933 |      725  50649 |        0 |        0
1562.51/1563.07	c 1563s |      27 | 18045887 | 15083733 |      725  50696 |        0 |        0
1564.51/1565.07	c 1565s |      27 | 18067568 | 15101833 |      725  50744 |        0 |        0
1566.51/1567.09	c 1567s |      27 | 18089129 | 15119933 |      725  50792 |        0 |        0
1568.51/1569.09	c 1569s |      27 | 18111999 | 15138733 |      725  50842 |        0 |        0
1570.52/1571.09	c 1571s |      27 | 18135400 | 15157733 |      725  50893 |        0 |        0
1572.52/1573.09	c 1573s |      27 | 18157363 | 15176033 |      725  50941 |        0 |        0
1574.51/1575.09	c 1575s |      27 | 18178271 | 15193933 |      725  50989 |        0 |        0
1576.61/1577.10	c 1577s |      27 | 18201242 | 15212833 |      725  51039 |        0 |        0
1578.61/1579.10	c 1579s |      27 | 18222991 | 15231033 |      725  51087 |        0 |        0
1580.61/1581.11	c 1581s |      27 | 18245252 | 15249633 |      725  51137 |        0 |        0
1582.61/1583.11	c 1583s |      27 | 18267876 | 15268333 |      725  51186 |        0 |        0
1584.62/1585.12	c 1585s |      27 | 18290020 | 15286833 |      725  51235 |        0 |        0
1586.61/1587.13	c 1587s |      27 | 18312517 | 15305433 |      725  51285 |        0 |        0
1588.61/1589.13	c 1589s |      27 | 18333052 | 15323333 |      725  51333 |        0 |        0
1590.61/1591.14	c 1591s |      27 | 18354079 | 15341533 |      725  51381 |        0 |        0
1592.61/1593.15	c 1593s |      27 | 18375789 | 15359933 |      725  51430 |        0 |        0
1594.62/1595.15	c 1595s |      27 | 18397869 | 15378333 |      725  51479 |        0 |        0
1596.61/1597.16	c 1597s |      27 | 18418745 | 15396233 |      725  51527 |        0 |        0
1598.61/1599.16	c 1599s |      27 | 18440356 | 15414433 |      725  51575 |        0 |        0
1600.61/1601.17	c 1601s |      27 | 18463757 | 15433333 |      725  51626 |        0 |        0
1602.61/1603.17	c 1603s |      27 | 18486180 | 15451733 |      725  51675 |        0 |        0
1604.61/1605.18	c 1605s |      27 | 18508727 | 15470333 |      725  51725 |        0 |        0
1606.61/1607.19	c 1607s |      27 | 18530033 | 15488533 |      725  51773 |        0 |        0
1608.61/1609.19	c 1609s |      27 | 18550264 | 15506333 |      725  51820 |        0 |        0
1610.71/1611.20	c 1611s |      27 | 18570264 | 15524033 |      725  51867 |        0 |        0
1612.70/1613.20	c 1613s |      27 | 18591068 | 15541933 |      725  51915 |        0 |        0
1614.70/1615.21	c 1615s |      27 | 18610347 | 15559333 |      725  51961 |        0 |        0
1616.70/1617.21	c 1617s |      27 | 18629797 | 15576633 |      725  52007 |        0 |        0
1618.71/1619.22	c 1619s |      27 | 18650191 | 15594433 |      725  52054 |        0 |        0
1620.70/1621.23	c 1621s |      27 | 18670106 | 15612033 |      725  52101 |        0 |        0
1622.70/1623.24	c 1623s |      27 | 18691003 | 15629933 |      725  52149 |        0 |        0
1624.70/1625.25	c 1625s |      27 | 18711311 | 15647733 |      725  52196 |        0 |        0
1626.70/1627.25	c 1627s |      27 | 18731278 | 15665333 |      725  52243 |        0 |        0
1628.71/1629.26	c 1629s |      27 | 18752820 | 15683733 |      725  52292 |        0 |        0
1630.70/1631.27	c 1631s |      27 | 18773624 | 15701633 |      725  52339 |        0 |        0
1632.70/1633.28	c 1633s |      27 | 18794271 | 15719633 |      725  52387 |        0 |        0
1634.71/1635.28	c 1635s |      27 | 18813691 | 15736933 |      725  52433 |        0 |        0
1636.71/1637.28	c 1637s |      27 | 18834460 | 15754933 |      725  52481 |        0 |        0
1638.70/1639.29	c 1639s |      27 | 18856560 | 15773333 |      725  52530 |        0 |        0
1640.71/1641.29	c 1641s |      27 | 18877999 | 15791333 |      725  52579 |        0 |        0
1642.70/1643.29	c 1643s |      27 | 18897508 | 15808433 |      725  52624 |        0 |        0
1644.70/1645.29	c 1645s |      27 | 18918194 | 15826133 |      725  52671 |        0 |        0
1646.70/1647.29	c 1647s |      27 | 18939277 | 15844133 |      725  52719 |        0 |        0
1648.80/1649.30	c 1649s |      27 | 18959944 | 15861933 |      725  52767 |        0 |        0
1650.80/1651.31	c 1651s |      27 | 18981646 | 15880033 |      725  52815 |        0 |        0
1652.80/1653.31	c 1653s |      27 | 19004396 | 15898533 |      725  52864 |        0 |        0
1654.80/1655.31	c 1655s |      27 | 19025107 | 15916433 |      725  52912 |        0 |        0
1656.80/1657.31	c 1657s |      27 | 19045109 | 15933833 |      725  52958 |        0 |        0
1658.79/1659.32	c 1659s |      27 | 19067486 | 15952333 |      725  53008 |        0 |        0
1660.79/1661.33	c 1661s |      27 | 19088982 | 15970333 |      725  53056 |        0 |        0
1662.80/1663.34	c 1663s |      27 | 19108746 | 15987533 |      725  53101 |        0 |        0
1664.79/1665.34	c 1665s |      27 | 19131591 | 16006233 |      725  53151 |        0 |        0
1666.80/1667.35	c 1667s |      27 | 19155061 | 16025233 |      725  53202 |        0 |        0
1668.80/1669.36	c 1669s |      27 | 19177689 | 16043933 |      725  53252 |        0 |        0
1670.80/1671.37	c 1671s |      27 | 19199007 | 16061933 |      725  53299 |        0 |        0
1672.80/1673.37	c 1673s |      27 | 19222042 | 16080733 |      725  53350 |        0 |        0
1674.80/1675.38	c 1675s |      27 | 19241549 | 16097933 |      725  53396 |        0 |        0
1676.80/1677.39	c 1677s |      27 | 19260493 | 16114633 |      725  53440 |        0 |        0
1678.89/1679.40	c 1679s |      27 | 19280695 | 16131933 |      725  53486 |        0 |        0
1680.89/1681.40	c 1681s |      27 | 19302184 | 16149833 |      725  53534 |        0 |        0
1682.89/1683.41	c 1683s |      27 | 19324796 | 16168433 |      725  53584 |        0 |        0
1684.89/1685.42	c 1685s |      27 | 19347197 | 16187033 |      725  53634 |        0 |        0
1686.90/1687.42	c 1687s |      27 | 19367636 | 16204633 |      725  53681 |        0 |        0
1688.89/1689.43	c 1689s |      27 | 19389700 | 16222833 |      725  53730 |        0 |        0
1690.89/1691.44	c 1691s |      27 | 19412425 | 16241533 |      725  53779 |        0 |        0
1692.89/1693.44	c 1693s |      27 | 19433653 | 16259533 |      725  53827 |        0 |        0
1694.89/1695.45	c 1695s |      27 | 19455135 | 16277633 |      725  53875 |        0 |        0
1696.90/1697.46	c 1697s |      27 | 19476246 | 16295733 |      725  53923 |        0 |        0
1698.89/1699.47	c 1699s |      27 | 19498305 | 16314333 |      725  53973 |        0 |        0
1700.89/1701.47	c 1701s |      27 | 19520699 | 16333233 |      725  54023 |        0 |        0
1702.89/1703.47	c 1703s |      27 | 19542818 | 16352033 |      725  54073 |        0 |        0
1704.89/1705.48	c 1705s |      27 | 19565553 | 16371133 |      725  54124 |        0 |        0
1706.89/1707.48	c 1707s |      27 | 19587705 | 16389533 |      725  54173 |        0 |        0
1708.89/1709.48	c 1709s |      27 | 19609472 | 16408033 |      725  54223 |        0 |        0
1710.89/1711.49	c 1711s |      27 | 19631216 | 16426533 |      725  54272 |        0 |        0
1712.89/1713.49	c 1713s |      27 | 19654219 | 16445533 |      725  54323 |        0 |        0
1714.89/1715.49	c 1715s |      27 | 19675845 | 16463833 |      725  54371 |        0 |        0
1716.89/1717.50	c 1717s |      27 | 19696795 | 16481833 |      725  54419 |        0 |        0
1718.99/1719.51	c 1719s |      27 | 19717411 | 16499633 |      725  54467 |        0 |        0
1721.00/1721.52	c 1721s |      27 | 19739402 | 16518233 |      725  54517 |        0 |        0
1722.99/1723.52	c 1723s |      27 | 19762547 | 16537033 |      725  54567 |        0 |        0
1724.99/1725.52	c 1725s |      27 | 19783499 | 16555033 |      725  54615 |        0 |        0
1726.99/1727.52	c 1727s |      27 | 19803727 | 16572733 |      725  54662 |        0 |        0
1728.99/1729.53	c 1729s |      27 | 19823694 | 16590233 |      725  54708 |        0 |        0
1731.00/1731.53	c 1731s |      27 | 19845166 | 16608333 |      725  54756 |        0 |        0
1732.99/1733.53	c 1733s |      27 | 19866655 | 16626433 |      725  54804 |        0 |        0
1734.99/1735.53	c 1735s |      27 | 19888261 | 16644633 |      725  54853 |        0 |        0
1736.99/1737.54	c 1737s |      27 | 19909734 | 16662933 |      725  54902 |        0 |        0
1738.99/1739.55	c 1739s |      27 | 19930497 | 16680733 |      725  54950 |        0 |        0
1740.99/1741.55	c 1741s |      27 | 19953187 | 16699533 |      725  55000 |        0 |        0
1742.99/1743.56	c 1743s |      27 | 19975685 | 16718333 |      725  55050 |        0 |        0
1744.98/1745.56	c 1745s |      27 | 19997376 | 16736533 |      725  55099 |        0 |        0
1746.98/1747.56	c 1747s |      27 | 20018796 | 16754733 |      725  55148 |        0 |        0
1748.98/1749.57	c 1749s |      27 | 20039816 | 16772733 |      725  55196 |        0 |        0
1750.98/1751.57	c 1751s |      27 | 20061808 | 16791033 |      725  55245 |        0 |        0
1752.99/1753.58	c 1753s |      27 | 20083784 | 16809433 |      725  55293 |        0 |        0
1754.98/1755.59	c 1755s |      27 | 20104896 | 16827433 |      725  55342 |        0 |        0
1756.98/1757.59	c 1757s |      27 | 20126743 | 16845733 |      725  55391 |        0 |        0
1759.08/1759.60	c 1759s |      27 | 20147428 | 16863533 |      725  55438 |        0 |        0
1761.08/1761.61	c 1761s |      27 | 20168859 | 16881733 |      725  55487 |        0 |        0
1763.08/1763.62	c 1763s |      27 | 20189565 | 16899533 |      725  55535 |        0 |        0
1765.08/1765.63	c 1765s |      27 | 20210349 | 16917533 |      725  55583 |        0 |        0
1767.08/1767.63	c 1767s |      27 | 20231482 | 16935733 |      725  55631 |        0 |        0
1769.08/1769.64	c 1769s |      27 | 20252797 | 16954033 |      725  55680 |        0 |        0
1771.08/1771.65	c 1771s |      27 | 20274995 | 16972633 |      725  55730 |        0 |        0
1773.08/1773.66	c 1773s |      27 | 20296305 | 16990733 |      798  55774 |        0 |        0
1775.08/1775.66	c 1775s |      27 | 20318572 | 17009333 |      798  55819 |        0 |        0
1777.09/1777.67	c 1777s |      27 | 20339715 | 17027333 |      798  55863 |        0 |        0
1779.08/1779.67	c 1779s |      27 | 20359359 | 17044533 |      798  55905 |        0 |        0
1781.08/1781.69	c 1781s |      27 | 20379602 | 17062233 |      798  55948 |        0 |        0
1783.08/1783.69	c 1783s |      27 | 20401328 | 17080433 |      798  55993 |        0 |        0
1784.79/1785.34	c 1785s |      28 | 20418608 | 17095205 |      798  56029 |        0 |        0
1786.78/1787.35	c 1787s |      28 | 20439197 | 17113205 |      798  56072 |        0 |        0
1788.78/1789.36	c 1789s |      28 | 20460006 | 17131105 |      798  56116 |        0 |        0
1790.78/1791.36	c 1791s |      28 | 20483094 | 17150005 |      798  56161 |        0 |        0
1792.78/1793.37	c 1793s |      28 | 20506772 | 17169105 |      798  56207 |        0 |        0
1794.78/1795.37	c 1795s |      28 | 20530478 | 17188405 |      798  56254 |        0 |        0
1796.78/1797.38	c 1797s |      28 | 20555021 | 17208005 |      798  56301 |        0 |        0
1798.78/1799.38	c 1799s |      28 | 20580307 | 17227705 |      798  56349 |        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-4089764-1466033567/watcher-4089764-1466033567 -o /tmp/evaluation-result-4089764-1466033567/solver-4089764-1466033567 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089764-1466033567.opb 

pid=9107
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.18 2.12 2.09 3/178 9110
/proc/meminfo: memFree=30436200/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=663996 CPUtime=0 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 2463 0 0 0 0 0 0 0 20 0 4 0 5402148 679931904 3335 33554432000 4194304 16246674 140734571258944 140734571258368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 166511 3346 441 2943 0 163405 0
[pid=9110/tid=9111] ppid=9107 vsize=680380 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 696709120 3403 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=685500 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 701952000 3421 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=689596 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 706146304 3436 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100161 s]
/proc/loadavg: 2.18 2.12 2.09 3/178 9110
/proc/meminfo: memFree=30436200/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 25871 0 0 0 5 4 0 0 20 0 4 0 5402148 1247350784 26732 33554432000 4194304 16246674 140734571258944 140734571258368 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 304529 26740 712 2943 0 301423 0
[pid=9110/tid=9111] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 26747 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 26755 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 26763 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200492 s]
/proc/loadavg: 2.18 2.12 2.09 3/178 9110
/proc/meminfo: memFree=30436200/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 50391 0 0 0 12 7 0 0 20 0 4 0 5402148 1247350784 51252 33554432000 4194304 16246674 140734571258944 140734571258368 13193365 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 304529 51263 712 2943 0 301423 0
[pid=9110/tid=9111] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 51269 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 51277 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 51288 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300469 s]
/proc/loadavg: 2.18 2.12 2.09 3/178 9110
/proc/meminfo: memFree=30436200/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 75367 0 0 0 18 11 0 0 20 0 4 0 5402148 1247350784 76229 33554432000 4194304 16246674 140734571258944 140734571240832 5708022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 304529 76245 713 2943 0 301423 0
[pid=9110/tid=9111] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 76250 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 76256 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 76266 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700345 s]
/proc/loadavg: 2.18 2.12 2.09 3/178 9110
/proc/meminfo: memFree=30436200/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 174125 0 0 0 45 24 0 0 20 0 4 0 5402148 1247350784 174986 33554432000 4194304 16246674 140734571258944 140734571240832 13192590 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 304529 174995 713 2943 0 301423 0
[pid=9110/tid=9111] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 175002 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 175011 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 175022 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.18 2.12 2.09 3/184 9116
/proc/meminfo: memFree=29451216/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 245495 0 0 0 115 34 0 0 20 0 4 0 5402148 1247350784 246336 33554432000 4194304 16246674 140734571258944 140734571241944 6843376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 304529 246336 788 2943 0 301423 0
[pid=9110/tid=9111] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 246336 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 246336 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1247350784 246336 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10036 s]
/proc/loadavg: 2.18 2.12 2.09 4/184 9116
/proc/meminfo: memFree=29363184/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=3.1 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 267390 0 0 0 272 38 0 0 20 0 4 0 5402148 1337528320 268231 33554432000 4194304 16246674 140734571258944 140734571241944 13951140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268231 788 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268231 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268231 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268231 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.25 2.13 2.10 3/184 9116
/proc/meminfo: memFree=29362980/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=6.3 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 267399 0 0 0 592 38 0 0 20 0 4 0 5402148 1337528320 268240 33554432000 4194304 16246674 140734571258944 140734571241944 5721972 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268240 788 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268240 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268240 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268240 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.23 2.13 2.10 3/184 9116
/proc/meminfo: memFree=29363004/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 267400 0 0 0 1231 38 0 0 20 0 4 0 5402148 1337528320 268241 33554432000 4194304 16246674 140734571258944 140734571241944 13965561 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268241 788 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268241 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268241 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268241 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.18 2.12 2.10 3/184 9116
/proc/meminfo: memFree=29362148/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 267409 0 0 0 2511 38 0 0 20 0 4 0 5402148 1337528320 268250 33554432000 4194304 16246674 140734571258944 140734571241944 13194716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268250 790 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268250 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268250 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268250 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.12 2.11 2.09 3/184 9116
/proc/meminfo: memFree=29362128/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 267423 0 0 0 5070 39 0 0 20 0 4 0 5402148 1337528320 268264 33554432000 4194304 16246674 140734571258944 140734571241944 12483406 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268264 790 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268264 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268264 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268264 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.34 2.17 2.11 3/183 9117
/proc/meminfo: memFree=29362020/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 267444 0 0 0 10188 40 0 0 20 0 4 0 5402148 1337528320 268285 33554432000 4194304 16246674 140734571258944 140734571241944 6013156 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268285 790 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268285 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268285 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268285 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268391 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1306180

[startup+1302.3 s]
/proc/loadavg: 2.17 2.20 2.12 3/183 9147
/proc/meminfo: memFree=29358004/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=1301.87 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 267977 0 0 0 130123 64 0 0 20 0 4 0 5402148 1337528320 268414 33554432000 4194304 16246674 140734571258944 140734571241944 12466640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268414 792 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1306180

[startup+1362.3 s]
/proc/loadavg: 2.24 2.20 2.13 3/183 9148
/proc/meminfo: memFree=29357776/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=1361.84 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 268016 0 0 0 136119 65 0 0 20 0 4 0 5402148 1337528320 268414 33554432000 4194304 16246674 140734571258944 140734571241944 5664812 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268414 792 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1306180

[startup+1422.3 s]
/proc/loadavg: 2.22 2.20 2.13 3/183 9149
/proc/meminfo: memFree=29358128/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=1421.84 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 268016 0 0 0 142119 65 0 0 20 0 4 0 5402148 1337528320 268414 33554432000 4194304 16246674 140734571258944 140734571241944 5675389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268414 792 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1306180

[startup+1482.3 s]
/proc/loadavg: 2.19 2.19 2.12 3/183 9151
/proc/meminfo: memFree=29357848/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=1481.83 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 268016 0 0 0 148116 67 0 0 20 0 4 0 5402148 1337528320 268414 33554432000 4194304 16246674 140734571258944 140734571241944 5722956 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268414 792 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1306180

[startup+1542.31 s]
/proc/loadavg: 2.22 2.20 2.13 3/183 9152
/proc/meminfo: memFree=29358080/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=1541.82 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 268016 0 0 0 154114 68 0 0 20 0 4 0 5402148 1337528320 268414 33554432000 4194304 16246674 140734571258944 140734571241944 6043269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268414 792 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1306180

[startup+1602.3 s]
/proc/loadavg: 2.23 2.20 2.13 3/183 9153
/proc/meminfo: memFree=29357820/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=1601.81 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 268016 0 0 0 160112 69 0 0 20 0 4 0 5402148 1337528320 268414 33554432000 4194304 16246674 140734571258944 140734571241944 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268414 792 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1306180

[startup+1662.3 s]
/proc/loadavg: 2.08 2.16 2.12 3/184 9206
/proc/meminfo: memFree=29356432/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=1661.79 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 268016 0 0 0 166109 70 0 0 20 0 4 0 5402148 1337528320 268414 33554432000 4194304 16246674 140734571258944 140734571240832 5717608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268414 792 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1306180

[startup+1722.3 s]
/proc/loadavg: 2.25 2.19 2.13 3/184 9230
/proc/meminfo: memFree=29356764/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=1721.79 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 268016 0 0 0 172107 72 0 0 20 0 4 0 5402148 1337528320 268414 33554432000 4194304 16246674 140734571258944 140734571241944 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268414 792 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1306180

[startup+1782.3 s]
/proc/loadavg: 2.20 2.19 2.13 3/183 9232
/proc/meminfo: memFree=29356604/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=1781.78 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 268016 0 0 0 178105 73 0 0 20 0 4 0 5402148 1337528320 268414 33554432000 4194304 16246674 140734571258944 140734571241944 13191524 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268414 792 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1306180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.15 2.18 2.13 3/183 9232
/proc/meminfo: memFree=29356368/32872528 swapFree=496356/529060
[pid=9110] ppid=9107 vsize=1306180 CPUtime=1800.08 cores=0,2,4,6
/proc/9110/stat : 9110 (toysat) R 9107 9110 5955 0 -1 4202496 268016 0 0 0 179935 73 0 0 20 0 4 0 5402148 1337528320 268414 33554432000 4194304 16246674 140734571258944 140734571241944 13928384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9110/statm: 326545 268414 792 2943 0 323439 0
[pid=9110/tid=9111] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140406002003184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9110/tid=9112] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405991513328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9110/tid=9113] ppid=9107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5402149 1337528320 268414 33554432000 4194304 16246674 140734571258944 140405903453360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1306180

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.36
CPU system time (s): 0.734888
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.734888
maximum resident set size= 1073656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268016
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= 458
involuntary context switches= 1996

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.95925 second user time and 6.558 second system time

The end

Begin job on node141 at 2016-06-16 01:32:47
IDJOB=4089764
IDBENCH=107453
IDSOLVER=2542
FILE ID=node141/4089764-1466033567
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= c7fc325831e3f18ad64ba491cab5ba90
RANDOM SEED=605693920

node141.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.547
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.09
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.547
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.547
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.54
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.547
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.547
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.56
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.547
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.547
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.547
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30436736 kB
Buffers:           43192 kB
Cached:            79428 kB
SwapCached:        13088 kB
Active:          1134736 kB
Inactive:          70888 kB
Active(anon):    1073208 kB
Inactive(anon):    12044 kB
Active(file):      61528 kB
Inactive(file):    58844 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088076 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1599564 kB
Mapped:             9492 kB
Shmem:                 0 kB
Slab:             567296 kB
SReclaimable:      11180 kB
SUnreclaim:       556116 kB
KernelStack:        1512 kB
PageTables:         7200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1745480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71716 MiB
End job on node141 at 2016-06-16 02:02:48