0.00/0.00	c 2016-06-30T21:51:36+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-4122162-1467316296.opb"]
0.00/0.01	c use --random-gen="739431383 101195707 890676403 453385717 966912406 338135224 3719706661 3050020323 3487785194 2588308418 700030732 2256235059 1227338160 1679365773 718301659 3905325843 4107662027 3556536563 460091302 885911308 512618587 3861250319 3130970259 1147523055 191506899 1557406063 334190728 1991987468 4047685178 578423865 4073986486 747486643 1010977976 39224517 2188296564 1065952884 2177554021 487702540 2730929854 2195720384 1042405227 4076326837 647326916 186457126 3453014499 1949883771 1530592193 3226709852 1312032793 1563227310 2489091663 694735018 3811171514 661179592 3869587274 3939463894 424519563 748566164 4169904001 4063672693 200083455 2716136194 3567760783 1145380051 1950309360 3302907549 3892203441 665826829 1413357300 1789675861 3974735274 4279922640 2943820683 3416509971 3171857254 1594543812 1100888634 3792349901 1700322229 1654478966 4084121055 561878846 3763750816 3982747056 3920590153 551236276 1378384530 4180511160 602245884 1741281285 3287267236 1752582953 3459408600 2214716404 1544311789 1946442111 4216895438 4124576019 3867183012 3089909161 472296210 2115360194 2339736138 3669133712 2410715393 3089765635 708297961 3230678209 4050892092 2758815238 1220937419 3129653149 3822139670 1515223052 2715706860 4174758934 2798541250 575407711 2716951076 3766380749 2409859167 3289205466 438774865 3183075417 1531470802 617639198 205417877 1709902393 1919088730 4239288455 3623973831 968410109 4251936006 1979256429 3394453130 2214804294 736965243 1355382454 1094199386 2936096441 3077675418 1722145372 3507498784 1855258309 1096273877 3363682034 2094327847 1096574820 3388645920 552254878 2614942827 1196347367 2824116035 1752511382 1160752993 3359238277 1290791211 514821349 829762693 4196292143 2663181222 569115215 4239297253 2553640370 3368042676 215020424 1669428653 3122354159 1523889978 2684849682 1140850680 889011765 1366125441 10317077 2222451667 2988292746 1329388399 102064373 1335714026 2875946214 773665697 402458823 60252270 3158470000 4068486692 1554884540 1413699657 4225319047 126543958 129921299 1179233531 991168224 3069167603 2390582137 3431070371 527978116 2981789680 2236196332 2493071960 2811304901 399590855 76440330 548846308 1348809352 379148658 1798705965 3055995603 602451468 208003434 2831708421 4283573754 1740003550 1679675582 3605298207 3005154266 979046597 580140825 2234618203 4242407073 3271034371 286539691 3226166501 2176531378 4211167145 4134513783 1856724759 480305173 331048672 2341046109 842040611 1788835442 3044405469 4153523218 3441954764 248110419 2970558415 3403502409 3279133468 3341751743 1667710242 4033589833 3194062497 1057485353 2413351271 1532602326 3191660225 2278060425 703557948 3621371435 1308401001 451861956 34212814 2809929418 1453978031 597227466 3826335781 255 362436" option to reproduce the execution
0.00/0.01	c #vars 301
0.00/0.01	c #constraints 300
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      200      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      186 |      100 |      200      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      459 |      250 |      221      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      851 |      475 |      244      1 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1351 |      813 |      269      2 |        0 |        0
0.09/0.15	c  0.1s |       5 |     2080 |     1320 |      296      4 |        0 |        0
0.19/0.24	c  0.2s |       6 |     3093 |     2081 |      359      7 |        0 |        0
0.29/0.37	c  0.4s |       7 |     5064 |     3223 |      395     12 |        0 |        0
0.49/0.56	c  0.5s |       8 |     7344 |     4936 |      435     18 |        0 |        0
0.79/0.88	c  0.9s |       9 |    10695 |     7506 |      479     26 |        0 |        0
1.20/1.26	c  1.2s |      10 |    15833 |    11361 |      527     38 |        0 |        0
1.69/1.74	c  1.7s |      11 |    23568 |    17144 |      580     55 |        0 |        0
2.49/2.57	c  2.6s |      12 |    35271 |    25819 |      638     78 |        0 |        0
3.69/3.73	c  3.7s |      13 |    52881 |    38832 |      702    110 |        0 |        0
5.49/5.53	c  5.5s |      14 |    78715 |    58352 |      773    154 |        0 |        0
7.49/7.53	c  7.5s |      14 |   108285 |    80252 |      773    205 |        0 |        0
8.09/8.18	c  8.2s |      15 |   118354 |    87632 |      851    223 |        0 |        0
10.09/10.18	c 10.2s |      15 |   143291 |   106932 |      851    260 |        0 |        0
12.09/12.19	c 12.2s |      15 |   170482 |   127332 |      851    300 |        0 |        0
12.59/12.62	c 12.6s |      16 |   175866 |   131552 |      937    308 |        0 |        0
14.58/14.63	c 14.6s |      16 |   201880 |   152052 |      937    345 |        0 |        0
16.59/16.63	c 16.6s |      16 |   227229 |   172352 |      937    383 |        0 |        0
18.58/18.63	c 18.6s |      16 |   254040 |   193052 |      937    421 |        0 |        0
18.98/19.09	c 19.1s |      17 |   259403 |   197432 |     1031    428 |        0 |        0
20.99/21.10	c 21.1s |      17 |   284538 |   216932 |     1031    460 |        0 |        0
22.99/23.10	c 23.1s |      17 |   309254 |   236332 |     1031    492 |        0 |        0
25.09/25.11	c 25.1s |      17 |   335402 |   256132 |     1031    525 |        0 |        0
27.09/27.11	c 27.1s |      17 |   360999 |   275532 |     1031    557 |        0 |        0
29.09/29.12	c 29.1s |      17 |   386338 |   295032 |     1135    589 |        0 |        0
29.19/29.27	c 29.3s |      18 |   387919 |   296252 |     1135    591 |        0 |        0
31.19/31.27	c 31.3s |      18 |   412479 |   315052 |     1135    621 |        0 |        0
33.19/33.28	c 33.3s |      18 |   436012 |   333052 |     1135    649 |        0 |        0
35.19/35.28	c 35.3s |      18 |   459525 |   350852 |     1135    676 |        0 |        0
37.18/37.29	c 37.3s |      18 |   483877 |   369252 |     1135    704 |        0 |        0
39.18/39.29	c 39.3s |      18 |   506827 |   386552 |     1135    731 |        0 |        0
41.18/41.30	c 41.3s |      18 |   529553 |   403552 |     1135    757 |        0 |        0
43.28/43.31	c 43.3s |      18 |   552197 |   420452 |     1135    783 |        0 |        0
45.28/45.31	c 45.3s |      18 |   575383 |   438452 |     1135    811 |        0 |        0
45.98/46.01	c 46.0s |      19 |   583101 |   444482 |     1249    820 |        0 |        0
47.98/48.02	c 48.0s |      19 |   606499 |   462282 |     1249    845 |        0 |        0
49.98/50.03	c 50.0s |      19 |   631088 |   480482 |     1249    870 |        0 |        0
51.98/52.03	c 52.0s |      19 |   655158 |   498882 |     1249    896 |        0 |        0
53.99/54.04	c 54.0s |      19 |   678479 |   516482 |     1249    921 |        0 |        0
55.98/56.04	c 56.0s |      19 |   702627 |   534882 |     1249    947 |        0 |        0
57.98/58.05	c 58.0s |      19 |   725719 |   552482 |     1249    972 |        0 |        0
59.97/60.05	c 60.0s |      19 |   750068 |   570682 |     1249    997 |        0 |        0
61.97/62.06	c 62.0s |      19 |   775126 |   589582 |     1249   1024 |        0 |        0
63.97/64.07	c 64.1s |      19 |   799493 |   607782 |     1249   1050 |        0 |        0
65.99/66.07	c 66.1s |      19 |   823167 |   625882 |     1249   1075 |        0 |        0
67.98/68.08	c 68.1s |      19 |   846879 |   643882 |     1249   1100 |        0 |        0
69.98/70.09	c 70.1s |      19 |   870735 |   661782 |     1249   1125 |        0 |        0
70.68/70.70	c 70.7s |      20 |   877349 |   666827 |     1374   1132 |        0 |        0
72.69/72.71	c 72.7s |      20 |   900394 |   684727 |     1374   1155 |        0 |        0
74.68/74.71	c 74.7s |      20 |   924207 |   703227 |     1374   1178 |        0 |        0
76.68/76.72	c 76.7s |      20 |   948135 |   721327 |     1374   1201 |        0 |        0
78.68/78.73	c 78.7s |      20 |   970530 |   738427 |     1374   1224 |        0 |        0
80.68/80.73	c 80.7s |      20 |   991878 |   755227 |     1374   1245 |        0 |        0
82.68/82.73	c 82.7s |      20 |  1012616 |   771527 |     1374   1266 |        0 |        0
84.69/84.74	c 84.7s |      20 |  1032860 |   787327 |     1374   1287 |        0 |        0
86.68/86.74	c 86.7s |      20 |  1054102 |   803427 |     1374   1308 |        0 |        0
88.68/88.75	c 88.7s |      20 |  1074451 |   819727 |     1374   1329 |        0 |        0
90.68/90.75	c 90.7s |      20 |  1096502 |   836727 |     1374   1351 |        0 |        0
92.67/92.76	c 92.7s |      20 |  1118736 |   854027 |     1374   1374 |        0 |        0
94.68/94.76	c 94.7s |      20 |  1140722 |   871127 |     1374   1396 |        0 |        0
96.67/96.76	c 96.7s |      20 |  1163064 |   888127 |     1374   1418 |        0 |        0
98.67/98.77	c 98.8s |      20 |  1185865 |   905227 |     1374   1441 |        0 |        0
100.67/100.78	c  100s |      20 |  1209235 |   923027 |     1374   1464 |        0 |        0
102.67/102.78	c  102s |      20 |  1231922 |   940827 |     1374   1487 |        0 |        0
104.67/104.78	c  104s |      20 |  1255130 |   958227 |     1374   1509 |        0 |        0
106.68/106.79	c  106s |      20 |  1275935 |   974527 |     1374   1530 |        0 |        0
108.77/108.80	c  108s |      20 |  1298765 |   991527 |     1374   1553 |        0 |        0
109.77/109.87	c  109s |      21 |  1311366 |  1000345 |     1512   1563 |        0 |        0
111.78/111.87	c  111s |      21 |  1331430 |  1016145 |     1512   1582 |        0 |        0
113.77/113.88	c  113s |      21 |  1352693 |  1032145 |     1512   1601 |        0 |        0
115.77/115.89	c  115s |      21 |  1373550 |  1048345 |     1512   1620 |        0 |        0
117.78/117.89	c  117s |      21 |  1393520 |  1063445 |     1512   1639 |        0 |        0
119.77/119.89	c  119s |      21 |  1414186 |  1079045 |     1512   1657 |        0 |        0
121.87/121.91	c  121s |      21 |  1434905 |  1095145 |     1512   1677 |        0 |        0
123.87/123.91	c  123s |      21 |  1455352 |  1111245 |     1512   1696 |        0 |        0
125.87/125.92	c  125s |      21 |  1475886 |  1127545 |     1512   1715 |        0 |        0
127.87/127.93	c  127s |      21 |  1495108 |  1142845 |     1512   1734 |        0 |        0
129.87/129.94	c  129s |      21 |  1516606 |  1159145 |     1512   1753 |        0 |        0
131.87/131.95	c  131s |      21 |  1538280 |  1176245 |     1512   1774 |        0 |        0
133.86/133.97	c  133s |      21 |  1559268 |  1192545 |     1512   1793 |        0 |        0
135.86/135.97	c  135s |      21 |  1580964 |  1209245 |     1512   1813 |        0 |        0
137.86/137.98	c  137s |      21 |  1601187 |  1225045 |     1512   1832 |        0 |        0
139.86/139.98	c  139s |      21 |  1623166 |  1241245 |     1512   1852 |        0 |        0
141.87/141.99	c  141s |      21 |  1642912 |  1256845 |     1512   1870 |        0 |        0
143.87/144.00	c  143s |      21 |  1662669 |  1272345 |     1512   1889 |        0 |        0
145.97/146.00	c  145s |      21 |  1684245 |  1288645 |     1512   1908 |        0 |        0
147.97/148.01	c  147s |      21 |  1705886 |  1305245 |     1512   1928 |        0 |        0
149.97/150.02	c  150s |      21 |  1728480 |  1322745 |     1512   1949 |        0 |        0
151.97/152.02	c  152s |      21 |  1751007 |  1339745 |     1512   1969 |        0 |        0
153.98/154.02	c  154s |      21 |  1773959 |  1357245 |     1512   1990 |        0 |        0
155.97/156.03	c  156s |      21 |  1794061 |  1372745 |     1512   2009 |        0 |        0
157.97/158.03	c  158s |      21 |  1814087 |  1388845 |     1512   2028 |        0 |        0
159.97/160.04	c  160s |      21 |  1835929 |  1405545 |     1512   2048 |        0 |        0
161.97/162.04	c  162s |      21 |  1856808 |  1421345 |     1512   2067 |        0 |        0
163.97/164.04	c  164s |      21 |  1876729 |  1436945 |     1512   2086 |        0 |        0
165.96/166.05	c  166s |      21 |  1897631 |  1453445 |     1512   2106 |        0 |        0
167.96/168.06	c  168s |      21 |  1918429 |  1469045 |     1512   2124 |        0 |        0
169.96/170.07	c  170s |      21 |  1938798 |  1484745 |     1512   2143 |        0 |        0
171.96/172.07	c  172s |      21 |  1959033 |  1500245 |     1664   2161 |        0 |        0
172.06/172.12	c  172s |      22 |  1959546 |  1500622 |     1664   2161 |        0 |        0
174.06/174.12	c  174s |      22 |  1981455 |  1517322 |     1664   2179 |        0 |        0
176.07/176.13	c  176s |      22 |  2003214 |  1533622 |     1664   2197 |        0 |        0
178.06/178.14	c  178s |      22 |  2026693 |  1551122 |     1664   2217 |        0 |        0
180.06/180.15	c  180s |      22 |  2046810 |  1566922 |     1664   2234 |        0 |        0
182.06/182.16	c  182s |      22 |  2068263 |  1583422 |     1664   2252 |        0 |        0
184.06/184.16	c  184s |      22 |  2091169 |  1600722 |     1664   2271 |        0 |        0
186.06/186.17	c  186s |      22 |  2113602 |  1617522 |     1664   2290 |        0 |        0
188.07/188.18	c  188s |      22 |  2136417 |  1634622 |     1664   2309 |        0 |        0
190.06/190.18	c  190s |      22 |  2157252 |  1650822 |     1664   2326 |        0 |        0
192.06/192.19	c  192s |      22 |  2180587 |  1667722 |     1664   2345 |        0 |        0
194.15/194.20	c  194s |      22 |  2204450 |  1685222 |     1664   2364 |        0 |        0
196.16/196.21	c  196s |      22 |  2226301 |  1702022 |     1664   2383 |        0 |        0
198.16/198.23	c  198s |      22 |  2248704 |  1719222 |     1664   2402 |        0 |        0
200.17/200.23	c  200s |      22 |  2270129 |  1735322 |     1664   2419 |        0 |        0
202.16/202.23	c  202s |      22 |  2291761 |  1751622 |     1664   2437 |        0 |        0
204.16/204.24	c  204s |      22 |  2311677 |  1767522 |     1664   2455 |        0 |        0
206.16/206.24	c  206s |      22 |  2332624 |  1783622 |     1664   2473 |        0 |        0
208.15/208.25	c  208s |      22 |  2354110 |  1799922 |     1664   2491 |        0 |        0
210.16/210.25	c  210s |      22 |  2376686 |  1817122 |     1664   2509 |        0 |        0
212.15/212.26	c  212s |      22 |  2393684 |  1831122 |     1664   2525 |        0 |        0
214.15/214.26	c  214s |      22 |  2413973 |  1846722 |     1664   2542 |        0 |        0
216.15/216.27	c  216s |      22 |  2434490 |  1862522 |     1664   2559 |        0 |        0
218.15/218.28	c  218s |      22 |  2456100 |  1878822 |     1664   2577 |        0 |        0
220.15/220.28	c  220s |      22 |  2477443 |  1894722 |     1664   2595 |        0 |        0
222.16/222.30	c  222s |      22 |  2499077 |  1910822 |     1664   2613 |        0 |        0
224.25/224.31	c  224s |      22 |  2520255 |  1926922 |     1664   2630 |        0 |        0
226.25/226.33	c  226s |      22 |  2541022 |  1942822 |     1664   2648 |        0 |        0
228.24/228.33	c  228s |      22 |  2561469 |  1958722 |     1664   2665 |        0 |        0
230.24/230.34	c  230s |      22 |  2581263 |  1974122 |     1664   2682 |        0 |        0
232.24/232.35	c  232s |      22 |  2603001 |  1990522 |     1664   2700 |        0 |        0
234.25/234.36	c  234s |      22 |  2626010 |  2007422 |     1664   2719 |        0 |        0
236.24/236.37	c  236s |      22 |  2646914 |  2023122 |     1664   2736 |        0 |        0
238.24/238.38	c  238s |      22 |  2669459 |  2040022 |     1664   2754 |        0 |        0
240.24/240.38	c  240s |      22 |  2691422 |  2056522 |     1664   2773 |        0 |        0
242.35/242.40	c  242s |      22 |  2714399 |  2073422 |     1664   2791 |        0 |        0
244.35/244.40	c  244s |      22 |  2737968 |  2090922 |     1664   2811 |        0 |        0
246.35/246.41	c  246s |      22 |  2759306 |  2107422 |     1664   2829 |        0 |        0
248.34/248.42	c  248s |      22 |  2782339 |  2124422 |     1664   2848 |        0 |        0
250.34/250.43	c  250s |      22 |  2805555 |  2141922 |     1664   2867 |        0 |        0
252.34/252.43	c  252s |      22 |  2827644 |  2158922 |     1664   2886 |        0 |        0
254.34/254.43	c  254s |      22 |  2847609 |  2174722 |     1664   2903 |        0 |        0
256.35/256.44	c  256s |      22 |  2868283 |  2190622 |     1664   2921 |        0 |        0
258.34/258.44	c  258s |      22 |  2889302 |  2206322 |     1664   2938 |        0 |        0
260.34/260.44	c  260s |      22 |  2909242 |  2221722 |     1664   2955 |        0 |        0
262.34/262.45	c  262s |      22 |  2930889 |  2237822 |     1831   2972 |        0 |        0
264.04/264.11	c  264s |      23 |  2948259 |  2251038 |     1831   2986 |        0 |        0
266.03/266.11	c  266s |      23 |  2970035 |  2267338 |     1831   3002 |        0 |        0
268.03/268.12	c  268s |      23 |  2989722 |  2282538 |     1831   3018 |        0 |        0
270.03/270.13	c  270s |      23 |  3010548 |  2298538 |     1831   3034 |        0 |        0
272.03/272.14	c  272s |      23 |  3031066 |  2314438 |     1831   3050 |        0 |        0
274.03/274.15	c  274s |      23 |  3050641 |  2329938 |     1831   3065 |        0 |        0
276.03/276.15	c  276s |      23 |  3070674 |  2345638 |     1831   3081 |        0 |        0
278.03/278.15	c  278s |      23 |  3089325 |  2360238 |     1831   3096 |        0 |        0
280.03/280.15	c  280s |      23 |  3110223 |  2376338 |     1831   3112 |        0 |        0
282.03/282.16	c  282s |      23 |  3132420 |  2393138 |     1831   3129 |        0 |        0
284.03/284.16	c  284s |      23 |  3154668 |  2410038 |     1831   3146 |        0 |        0
286.04/286.17	c  286s |      23 |  3176000 |  2426038 |     1831   3162 |        0 |        0
288.03/288.18	c  288s |      23 |  3194103 |  2440738 |     1831   3177 |        0 |        0
290.03/290.18	c  290s |      23 |  3212177 |  2455338 |     1831   3191 |        0 |        0
292.03/292.19	c  292s |      23 |  3230653 |  2470038 |     1831   3206 |        0 |        0
294.03/294.19	c  294s |      23 |  3251244 |  2485838 |     1831   3222 |        0 |        0
296.12/296.20	c  296s |      23 |  3269437 |  2500438 |     1831   3237 |        0 |        0
298.13/298.21	c  298s |      23 |  3288294 |  2514938 |     1831   3251 |        0 |        0
300.12/300.22	c  300s |      23 |  3307218 |  2529338 |     1831   3266 |        0 |        0
302.12/302.22	c  302s |      23 |  3327545 |  2545038 |     1831   3282 |        0 |        0
304.12/304.23	c  304s |      23 |  3346347 |  2560338 |     1831   3297 |        0 |        0
306.12/306.24	c  306s |      23 |  3365442 |  2575438 |     1831   3313 |        0 |        0
308.12/308.24	c  308s |      23 |  3383937 |  2590138 |     1831   3327 |        0 |        0
310.12/310.25	c  310s |      23 |  3404693 |  2606638 |     1831   3344 |        0 |        0
312.11/312.26	c  312s |      23 |  3425848 |  2622538 |     1831   3360 |        0 |        0
314.11/314.27	c  314s |      23 |  3443712 |  2636638 |     1831   3374 |        0 |        0
316.11/316.28	c  316s |      23 |  3462008 |  2650838 |     1831   3389 |        0 |        0
318.11/318.28	c  318s |      23 |  3481122 |  2665438 |     1831   3403 |        0 |        0
320.12/320.29	c  320s |      23 |  3501352 |  2680838 |     1831   3419 |        0 |        0
322.12/322.30	c  322s |      23 |  3521462 |  2696738 |     1831   3435 |        0 |        0
324.22/324.31	c  324s |      23 |  3542093 |  2712638 |     1831   3451 |        0 |        0
326.22/326.31	c  326s |      23 |  3561428 |  2727838 |     1831   3467 |        0 |        0
328.21/328.32	c  328s |      23 |  3579322 |  2742238 |     1831   3481 |        0 |        0
330.21/330.32	c  330s |      23 |  3600346 |  2758038 |     1831   3497 |        0 |        0
332.22/332.33	c  332s |      23 |  3621085 |  2773938 |     1831   3513 |        0 |        0
334.21/334.33	c  334s |      23 |  3639246 |  2788238 |     1831   3528 |        0 |        0
336.21/336.34	c  336s |      23 |  3656994 |  2802338 |     1831   3542 |        0 |        0
338.20/338.35	c  338s |      23 |  3673695 |  2816338 |     1831   3556 |        0 |        0
340.20/340.36	c  340s |      23 |  3693334 |  2831638 |     1831   3571 |        0 |        0
342.20/342.37	c  342s |      23 |  3713449 |  2847638 |     1831   3588 |        0 |        0
344.21/344.39	c  344s |      23 |  3731709 |  2862338 |     1831   3602 |        0 |        0
346.20/346.39	c  346s |      23 |  3751712 |  2877838 |     1831   3618 |        0 |        0
348.30/348.40	c  348s |      23 |  3770475 |  2892938 |     1831   3633 |        0 |        0
350.30/350.42	c  350s |      23 |  3791368 |  2909038 |     1831   3650 |        0 |        0
352.30/352.42	c  352s |      23 |  3810966 |  2924438 |     1831   3665 |        0 |        0
354.30/354.43	c  354s |      23 |  3829620 |  2939238 |     1831   3680 |        0 |        0
356.30/356.43	c  356s |      23 |  3849179 |  2954538 |     1831   3696 |        0 |        0
358.30/358.43	c  358s |      23 |  3869457 |  2970038 |     1831   3711 |        0 |        0
360.30/360.44	c  360s |      23 |  3889732 |  2985638 |     1831   3727 |        0 |        0
362.30/362.45	c  362s |      23 |  3907709 |  2999938 |     1831   3742 |        0 |        0
364.30/364.46	c  364s |      23 |  3927694 |  3015338 |     1831   3757 |        0 |        0
366.30/366.46	c  366s |      23 |  3946555 |  3030338 |     1831   3772 |        0 |        0
368.29/368.46	c  368s |      23 |  3965147 |  3044938 |     1831   3787 |        0 |        0
370.29/370.46	c  370s |      23 |  3983103 |  3059138 |     1831   3801 |        0 |        0
372.29/372.46	c  372s |      23 |  3998574 |  3072438 |     1831   3815 |        0 |        0
374.29/374.46	c  374s |      23 |  4015551 |  3086638 |     1831   3829 |        0 |        0
376.29/376.48	c  376s |      23 |  4035439 |  3102338 |     1831   3845 |        0 |        0
378.29/378.49	c  378s |      23 |  4056182 |  3118138 |     1831   3861 |        0 |        0
380.28/380.49	c  380s |      23 |  4074928 |  3133238 |     1831   3876 |        0 |        0
382.38/382.50	c  382s |      23 |  4095896 |  3149238 |     1831   3893 |        0 |        0
384.38/384.51	c  384s |      23 |  4115236 |  3164638 |     1831   3908 |        0 |        0
386.38/386.51	c  386s |      23 |  4134923 |  3179938 |     1831   3924 |        0 |        0
388.39/388.52	c  388s |      23 |  4156291 |  3195638 |     1831   3940 |        0 |        0
390.39/390.53	c  390s |      23 |  4176758 |  3211438 |     1831   3956 |        0 |        0
392.38/392.53	c  392s |      23 |  4195989 |  3226338 |     1831   3971 |        0 |        0
394.38/394.53	c  394s |      23 |  4216424 |  3242238 |     1831   3987 |        0 |        0
396.38/396.54	c  396s |      23 |  4238516 |  3258638 |     1831   4004 |        0 |        0
398.38/398.55	c  398s |      23 |  4259777 |  3274838 |     1831   4020 |        0 |        0
400.38/400.56	c  400s |      23 |  4281174 |  3290538 |     1831   4036 |        0 |        0
402.37/402.57	c  402s |      23 |  4301531 |  3306338 |     1831   4052 |        0 |        0
404.37/404.58	c  404s |      23 |  4318865 |  3320738 |     1831   4066 |        0 |        0
406.47/406.60	c  406s |      23 |  4338362 |  3335738 |     1831   4081 |        0 |        0
408.46/408.61	c  408s |      23 |  4357668 |  3350738 |     1831   4097 |        0 |        0
410.46/410.62	c  410s |      23 |  4377667 |  3365838 |     2015   4111 |        0 |        0
411.86/412.03	c  412s |      24 |  4391063 |  3376662 |     2015   4121 |        0 |        0
413.86/414.04	c  414s |      24 |  4410246 |  3391962 |     2015   4135 |        0 |        0
415.87/416.04	c  416s |      24 |  4430794 |  3407262 |     2015   4149 |        0 |        0
417.87/418.05	c  418s |      24 |  4452599 |  3423662 |     2015   4164 |        0 |        0
419.86/420.05	c  420s |      24 |  4472651 |  3438662 |     2015   4178 |        0 |        0
421.86/422.06	c  422s |      24 |  4492348 |  3453262 |     2015   4191 |        0 |        0
423.86/424.06	c  424s |      24 |  4513464 |  3468962 |     2015   4206 |        0 |        0
425.86/426.07	c  426s |      24 |  4533475 |  3483662 |     2015   4219 |        0 |        0
427.87/428.08	c  428s |      24 |  4552685 |  3498562 |     2015   4233 |        0 |        0
429.86/430.09	c  430s |      24 |  4572892 |  3513962 |     2015   4248 |        0 |        0
431.96/432.10	c  432s |      24 |  4593643 |  3529662 |     2015   4262 |        0 |        0
433.96/434.10	c  434s |      24 |  4612848 |  3544362 |     2015   4276 |        0 |        0
435.96/436.12	c  436s |      24 |  4630016 |  3558162 |     2015   4289 |        0 |        0
437.95/438.12	c  438s |      24 |  4650795 |  3573662 |     2015   4303 |        0 |        0
439.96/440.12	c  440s |      24 |  4672402 |  3589662 |     2015   4318 |        0 |        0
441.95/442.13	c  442s |      24 |  4690838 |  3604262 |     2015   4331 |        0 |        0
443.95/444.14	c  444s |      24 |  4708534 |  3618362 |     2015   4344 |        0 |        0
445.96/446.14	c  446s |      24 |  4727469 |  3633262 |     2015   4358 |        0 |        0
447.96/448.15	c  448s |      24 |  4745275 |  3647162 |     2015   4371 |        0 |        0
449.96/450.16	c  450s |      24 |  4764280 |  3661862 |     2015   4385 |        0 |        0
451.97/452.17	c  452s |      24 |  4780943 |  3674962 |     2015   4397 |        0 |        0
453.96/454.18	c  454s |      24 |  4801721 |  3690462 |     2015   4411 |        0 |        0
455.96/456.18	c  456s |      24 |  4820391 |  3704662 |     2015   4424 |        0 |        0
457.95/458.19	c  458s |      24 |  4835771 |  3717562 |     2015   4436 |        0 |        0
460.05/460.20	c  460s |      24 |  4854364 |  3732062 |     2015   4450 |        0 |        0
462.05/462.21	c  462s |      24 |  4874844 |  3747662 |     2015   4464 |        0 |        0
464.06/464.21	c  464s |      24 |  4894527 |  3762662 |     2015   4478 |        0 |        0
466.05/466.22	c  466s |      24 |  4913564 |  3777362 |     2015   4492 |        0 |        0
468.04/468.23	c  468s |      24 |  4932706 |  3792462 |     2015   4506 |        0 |        0
470.04/470.23	c  470s |      24 |  4953142 |  3807562 |     2015   4520 |        0 |        0
472.04/472.24	c  472s |      24 |  4973817 |  3823062 |     2015   4535 |        0 |        0
474.05/474.25	c  474s |      24 |  4993850 |  3838362 |     2015   4549 |        0 |        0
476.04/476.26	c  476s |      24 |  5013753 |  3853462 |     2015   4563 |        0 |        0
478.04/478.28	c  478s |      24 |  5032447 |  3868162 |     2015   4576 |        0 |        0
480.04/480.28	c  480s |      24 |  5053032 |  3883862 |     2015   4591 |        0 |        0
482.03/482.29	c  482s |      24 |  5073351 |  3899162 |     2015   4605 |        0 |        0
484.13/484.30	c  484s |      24 |  5092177 |  3913562 |     2015   4619 |        0 |        0
486.04/486.30	c  486s |      24 |  5112381 |  3928562 |     2015   4633 |        0 |        0
488.13/488.31	c  488s |      24 |  5133766 |  3944662 |     2015   4648 |        0 |        0
490.13/490.32	c  490s |      24 |  5155451 |  3960762 |     2015   4662 |        0 |        0
492.13/492.32	c  492s |      24 |  5176333 |  3976662 |     2015   4677 |        0 |        0
494.13/494.33	c  494s |      24 |  5195097 |  3991162 |     2015   4691 |        0 |        0
496.13/496.33	c  496s |      24 |  5213683 |  4005262 |     2015   4704 |        0 |        0
498.13/498.34	c  498s |      24 |  5232483 |  4019962 |     2015   4717 |        0 |        0
500.12/500.34	c  500s |      24 |  5251359 |  4034562 |     2015   4731 |        0 |        0
502.12/502.35	c  502s |      24 |  5270634 |  4049562 |     2015   4745 |        0 |        0
504.12/504.37	c  504s |      24 |  5289476 |  4064362 |     2015   4759 |        0 |        0
506.12/506.38	c  506s |      24 |  5308680 |  4078962 |     2015   4772 |        0 |        0
508.13/508.38	c  508s |      24 |  5326138 |  4092662 |     2015   4785 |        0 |        0
510.13/510.39	c  510s |      24 |  5345775 |  4107862 |     2015   4799 |        0 |        0
512.22/512.40	c  512s |      24 |  5365665 |  4122862 |     2015   4813 |        0 |        0
514.22/514.41	c  514s |      24 |  5384914 |  4137762 |     2015   4827 |        0 |        0
516.22/516.41	c  516s |      24 |  5404523 |  4152362 |     2015   4840 |        0 |        0
518.22/518.42	c  518s |      24 |  5423919 |  4166762 |     2015   4853 |        0 |        0
520.22/520.42	c  520s |      24 |  5442642 |  4181162 |     2015   4867 |        0 |        0
522.21/522.43	c  522s |      24 |  5462760 |  4195862 |     2015   4880 |        0 |        0
524.21/524.43	c  524s |      24 |  5482702 |  4210662 |     2015   4894 |        0 |        0
526.21/526.44	c  526s |      24 |  5501283 |  4224762 |     2015   4907 |        0 |        0
528.22/528.44	c  528s |      24 |  5520845 |  4239262 |     2015   4921 |        0 |        0
530.22/530.44	c  530s |      24 |  5540756 |  4253962 |     2015   4935 |        0 |        0
532.22/532.46	c  532s |      24 |  5559264 |  4268262 |     2015   4948 |        0 |        0
534.21/534.47	c  534s |      24 |  5579230 |  4282962 |     2015   4962 |        0 |        0
536.21/536.48	c  536s |      24 |  5599690 |  4297962 |     2015   4975 |        0 |        0
538.21/538.49	c  538s |      24 |  5620178 |  4313062 |     2015   4990 |        0 |        0
540.31/540.50	c  540s |      24 |  5639176 |  4327862 |     2015   5003 |        0 |        0
542.31/542.51	c  542s |      24 |  5659100 |  4342962 |     2015   5017 |        0 |        0
544.31/544.52	c  544s |      24 |  5678829 |  4357962 |     2015   5031 |        0 |        0
546.31/546.53	c  546s |      24 |  5699633 |  4373262 |     2015   5046 |        0 |        0
548.30/548.53	c  548s |      24 |  5720407 |  4388662 |     2015   5060 |        0 |        0
550.30/550.54	c  550s |      24 |  5738120 |  4402662 |     2015   5073 |        0 |        0
552.30/552.55	c  552s |      24 |  5757419 |  4416962 |     2015   5086 |        0 |        0
554.31/554.55	c  554s |      24 |  5777949 |  4431962 |     2015   5100 |        0 |        0
556.30/556.55	c  556s |      24 |  5798880 |  4447162 |     2015   5114 |        0 |        0
558.30/558.56	c  558s |      24 |  5817977 |  4462262 |     2015   5128 |        0 |        0
560.30/560.56	c  560s |      24 |  5837978 |  4476962 |     2015   5142 |        0 |        0
562.30/562.57	c  562s |      24 |  5855457 |  4490862 |     2015   5155 |        0 |        0
564.30/564.57	c  564s |      24 |  5875219 |  4505662 |     2015   5169 |        0 |        0
566.31/566.58	c  566s |      24 |  5896948 |  4521262 |     2015   5183 |        0 |        0
568.30/568.58	c  568s |      24 |  5916558 |  4535962 |     2015   5197 |        0 |        0
570.30/570.59	c  570s |      24 |  5936772 |  4551062 |     2015   5211 |        0 |        0
572.30/572.59	c  572s |      24 |  5956696 |  4566162 |     2015   5225 |        0 |        0
574.30/574.59	c  574s |      24 |  5975928 |  4580762 |     2015   5238 |        0 |        0
576.40/576.60	c  576s |      24 |  5995528 |  4595562 |     2015   5252 |        0 |        0
578.29/578.60	c  578s |      24 |  6015914 |  4610762 |     2015   5266 |        0 |        0
580.39/580.60	c  580s |      24 |  6035989 |  4625762 |     2015   5280 |        0 |        0
582.39/582.61	c  582s |      24 |  6056149 |  4640762 |     2015   5294 |        0 |        0
584.39/584.61	c  584s |      24 |  6075316 |  4654862 |     2015   5307 |        0 |        0
586.39/586.62	c  586s |      24 |  6093631 |  4668662 |     2015   5320 |        0 |        0
588.39/588.63	c  588s |      24 |  6112113 |  4682562 |     2015   5333 |        0 |        0
590.38/590.64	c  590s |      24 |  6131446 |  4696962 |     2015   5346 |        0 |        0
592.38/592.65	c  592s |      24 |  6149758 |  4710962 |     2015   5359 |        0 |        0
594.37/594.65	c  594s |      24 |  6168539 |  4725062 |     2015   5372 |        0 |        0
596.38/596.65	c  596s |      24 |  6187865 |  4739562 |     2015   5386 |        0 |        0
598.38/598.66	c  598s |      24 |  6204762 |  4752762 |     2015   5398 |        0 |        0
600.39/600.66	c  600s |      24 |  6223532 |  4767162 |     2015   5411 |        0 |        0
602.38/602.67	c  602s |      24 |  6242773 |  4782062 |     2015   5425 |        0 |        0
604.38/604.68	c  604s |      24 |  6262427 |  4797062 |     2015   5439 |        0 |        0
606.38/606.69	c  606s |      24 |  6282781 |  4811962 |     2015   5453 |        0 |        0
608.37/608.69	c  608s |      24 |  6303041 |  4827062 |     2015   5467 |        0 |        0
610.47/610.70	c  610s |      24 |  6323728 |  4842462 |     2015   5481 |        0 |        0
612.48/612.70	c  612s |      24 |  6344913 |  4857762 |     2015   5496 |        0 |        0
614.47/614.71	c  614s |      24 |  6364723 |  4872862 |     2015   5510 |        0 |        0
616.47/616.71	c  616s |      24 |  6386040 |  4888262 |     2015   5524 |        0 |        0
618.46/618.72	c  618s |      24 |  6406656 |  4903462 |     2015   5538 |        0 |        0
620.46/620.72	c  620s |      24 |  6426497 |  4918862 |     2015   5552 |        0 |        0
622.47/622.73	c  622s |      24 |  6446713 |  4934162 |     2015   5567 |        0 |        0
624.46/624.74	c  624s |      24 |  6467417 |  4949362 |     2015   5581 |        0 |        0
626.47/626.75	c  626s |      24 |  6487811 |  4964762 |     2015   5595 |        0 |        0
628.46/628.75	c  628s |      24 |  6506768 |  4979262 |     2015   5608 |        0 |        0
630.46/630.76	c  630s |      24 |  6526318 |  4994062 |     2015   5622 |        0 |        0
632.46/632.76	c  632s |      24 |  6545929 |  5009062 |     2015   5636 |        0 |        0
634.47/634.77	c  634s |      24 |  6562879 |  5022562 |     2015   5649 |        0 |        0
636.46/636.78	c  636s |      24 |  6580003 |  5035662 |     2217   5660 |        0 |        0
638.46/638.79	c  638s |      24 |  6597879 |  5049362 |     2217   5672 |        0 |        0
640.46/640.79	c  640s |      24 |  6615971 |  5063062 |     2217   5684 |        0 |        0
640.76/641.08	c  641s |      25 |  6618660 |  5065098 |     2217   5685 |        0 |        0
642.76/643.09	c  643s |      25 |  6641026 |  5081698 |     2217   5699 |        0 |        0
644.76/645.09	c  645s |      25 |  6660889 |  5096898 |     2217   5712 |        0 |        0
646.76/647.09	c  647s |      25 |  6682687 |  5113298 |     2217   5726 |        0 |        0
648.76/649.09	c  649s |      25 |  6704465 |  5129598 |     2217   5740 |        0 |        0
650.85/651.10	c  651s |      25 |  6724332 |  5144498 |     2217   5752 |        0 |        0
652.85/653.10	c  653s |      25 |  6743343 |  5159098 |     2217   5765 |        0 |        0
654.85/655.11	c  655s |      25 |  6762924 |  5174098 |     2217   5778 |        0 |        0
656.85/657.12	c  657s |      25 |  6782491 |  5189198 |     2217   5790 |        0 |        0
658.84/659.13	c  659s |      25 |  6803475 |  5204698 |     2217   5804 |        0 |        0
660.85/661.14	c  661s |      25 |  6822905 |  5219398 |     2217   5816 |        0 |        0
662.84/663.15	c  663s |      25 |  6843312 |  5235198 |     2217   5830 |        0 |        0
664.84/665.15	c  665s |      25 |  6865225 |  5251198 |     2217   5843 |        0 |        0
666.84/667.16	c  667s |      25 |  6886712 |  5267298 |     2217   5857 |        0 |        0
668.84/669.17	c  669s |      25 |  6907360 |  5283498 |     2217   5871 |        0 |        0
670.84/671.18	c  671s |      25 |  6928008 |  5299198 |     2217   5884 |        0 |        0
672.83/673.19	c  673s |      25 |  6947801 |  5314498 |     2217   5897 |        0 |        0
674.93/675.20	c  675s |      25 |  6966341 |  5328898 |     2217   5909 |        0 |        0
676.93/677.21	c  677s |      25 |  6986349 |  5343598 |     2217   5922 |        0 |        0
678.93/679.22	c  679s |      25 |  7002878 |  5357198 |     2217   5933 |        0 |        0
680.93/681.23	c  681s |      25 |  7022745 |  5372398 |     2217   5946 |        0 |        0
682.93/683.23	c  683s |      25 |  7043574 |  5387598 |     2217   5959 |        0 |        0
684.93/685.24	c  685s |      25 |  7062514 |  5402198 |     2217   5972 |        0 |        0
686.92/687.25	c  687s |      25 |  7082253 |  5416898 |     2217   5984 |        0 |        0
688.92/689.25	c  689s |      25 |  7100859 |  5430998 |     2217   5996 |        0 |        0
690.93/691.25	c  691s |      25 |  7119448 |  5445598 |     2217   6009 |        0 |        0
692.93/693.26	c  693s |      25 |  7139553 |  5460298 |     2217   6021 |        0 |        0
694.94/695.26	c  695s |      25 |  7160906 |  5475898 |     2217   6035 |        0 |        0
696.93/697.26	c  697s |      25 |  7182273 |  5491598 |     2217   6048 |        0 |        0
698.92/699.27	c  699s |      25 |  7203726 |  5507598 |     2217   6062 |        0 |        0
700.92/701.28	c  701s |      25 |  7224659 |  5522898 |     2217   6075 |        0 |        0
702.92/703.29	c  703s |      25 |  7246001 |  5538398 |     2217   6088 |        0 |        0
704.93/705.29	c  705s |      25 |  7266073 |  5553298 |     2217   6101 |        0 |        0
706.91/707.30	c  707s |      25 |  7286730 |  5568098 |     2217   6114 |        0 |        0
709.01/709.30	c  709s |      25 |  7307716 |  5583798 |     2217   6127 |        0 |        0
711.01/711.31	c  711s |      25 |  7329691 |  5599498 |     2217   6140 |        0 |        0
713.01/713.32	c  713s |      25 |  7349188 |  5614998 |     2217   6153 |        0 |        0
715.01/715.33	c  715s |      25 |  7368635 |  5629998 |     2217   6166 |        0 |        0
717.02/717.34	c  717s |      25 |  7388193 |  5645198 |     2217   6179 |        0 |        0
719.01/719.34	c  719s |      25 |  7408989 |  5661298 |     2217   6193 |        0 |        0
721.01/721.35	c  721s |      25 |  7430302 |  5676798 |     2217   6206 |        0 |        0
723.01/723.36	c  723s |      25 |  7451435 |  5692598 |     2217   6219 |        0 |        0
725.01/725.37	c  725s |      25 |  7472745 |  5708498 |     2217   6233 |        0 |        0
727.00/727.37	c  727s |      25 |  7495812 |  5724298 |     2217   6246 |        0 |        0
729.01/729.38	c  729s |      25 |  7515839 |  5739298 |     2217   6259 |        0 |        0
731.00/731.39	c  731s |      25 |  7534394 |  5753798 |     2217   6272 |        0 |        0
733.11/733.41	c  733s |      25 |  7553524 |  5768698 |     2217   6284 |        0 |        0
735.11/735.41	c  735s |      25 |  7572218 |  5782698 |     2217   6296 |        0 |        0
737.10/737.42	c  737s |      25 |  7590862 |  5796998 |     2217   6308 |        0 |        0
739.10/739.43	c  739s |      25 |  7610078 |  5811698 |     2217   6321 |        0 |        0
741.11/741.44	c  741s |      25 |  7631621 |  5827598 |     2217   6334 |        0 |        0
743.10/743.45	c  743s |      25 |  7653540 |  5843698 |     2217   6348 |        0 |        0
745.10/745.46	c  745s |      25 |  7674736 |  5859298 |     2217   6361 |        0 |        0
747.10/747.46	c  747s |      25 |  7697095 |  5875598 |     2217   6375 |        0 |        0
749.10/749.46	c  749s |      25 |  7717849 |  5891098 |     2217   6388 |        0 |        0
751.10/751.47	c  751s |      25 |  7739645 |  5906998 |     2217   6402 |        0 |        0
753.09/753.48	c  753s |      25 |  7760392 |  5922698 |     2217   6415 |        0 |        0
755.09/755.49	c  755s |      25 |  7780988 |  5938598 |     2217   6429 |        0 |        0
757.09/757.49	c  757s |      25 |  7802978 |  5954498 |     2217   6443 |        0 |        0
759.19/759.50	c  759s |      25 |  7824245 |  5970598 |     2217   6457 |        0 |        0
761.19/761.51	c  761s |      25 |  7845424 |  5986098 |     2217   6470 |        0 |        0
763.19/763.51	c  763s |      25 |  7866368 |  6001798 |     2217   6483 |        0 |        0
765.18/765.52	c  765s |      25 |  7888679 |  6018198 |     2217   6498 |        0 |        0
767.18/767.53	c  767s |      25 |  7908381 |  6033398 |     2217   6511 |        0 |        0
769.18/769.53	c  769s |      25 |  7931311 |  6050098 |     2217   6525 |        0 |        0
771.19/771.54	c  771s |      25 |  7953089 |  6066698 |     2217   6539 |        0 |        0
773.19/773.55	c  773s |      25 |  7973943 |  6082398 |     2217   6553 |        0 |        0
775.20/775.56	c  775s |      25 |  7997369 |  6098998 |     2217   6567 |        0 |        0
777.18/777.56	c  777s |      25 |  8019918 |  6115498 |     2217   6581 |        0 |        0
779.18/779.57	c  779s |      25 |  8042298 |  6131998 |     2217   6596 |        0 |        0
781.18/781.57	c  781s |      25 |  8064681 |  6148398 |     2217   6610 |        0 |        0
783.18/783.57	c  783s |      25 |  8085411 |  6164298 |     2217   6623 |        0 |        0
785.19/785.58	c  785s |      25 |  8107465 |  6180698 |     2217   6638 |        0 |        0
787.17/787.59	c  787s |      25 |  8128698 |  6196798 |     2217   6651 |        0 |        0
789.27/789.60	c  789s |      25 |  8149741 |  6212698 |     2217   6665 |        0 |        0
791.27/791.61	c  791s |      25 |  8168537 |  6226998 |     2217   6678 |        0 |        0
793.27/793.61	c  793s |      25 |  8189345 |  6242798 |     2217   6691 |        0 |        0
795.27/795.61	c  795s |      25 |  8209949 |  6258398 |     2217   6705 |        0 |        0
797.27/797.62	c  797s |      25 |  8231505 |  6274098 |     2217   6718 |        0 |        0
799.26/799.62	c  799s |      25 |  8253116 |  6289598 |     2217   6732 |        0 |        0
801.26/801.63	c  801s |      25 |  8273879 |  6305298 |     2217   6746 |        0 |        0
803.26/803.64	c  803s |      25 |  8291751 |  6319698 |     2217   6758 |        0 |        0
805.26/805.65	c  805s |      25 |  8311419 |  6334598 |     2217   6771 |        0 |        0
807.27/807.65	c  807s |      25 |  8332387 |  6349698 |     2217   6784 |        0 |        0
809.28/809.66	c  809s |      25 |  8352962 |  6364898 |     2217   6798 |        0 |        0
811.27/811.66	c  811s |      25 |  8372766 |  6380198 |     2217   6811 |        0 |        0
813.27/813.67	c  813s |      25 |  8392044 |  6394798 |     2217   6824 |        0 |        0
815.27/815.67	c  815s |      25 |  8411916 |  6409798 |     2217   6837 |        0 |        0
817.26/817.69	c  817s |      25 |  8429735 |  6423798 |     2217   6849 |        0 |        0
819.27/819.69	c  819s |      25 |  8449929 |  6438798 |     2217   6862 |        0 |        0
821.37/821.71	c  821s |      25 |  8471019 |  6454398 |     2217   6876 |        0 |        0
823.36/823.72	c  823s |      25 |  8491451 |  6469598 |     2217   6889 |        0 |        0
825.36/825.74	c  825s |      25 |  8509798 |  6484398 |     2217   6902 |        0 |        0
827.36/827.74	c  827s |      25 |  8526571 |  6497598 |     2217   6913 |        0 |        0
829.36/829.74	c  829s |      25 |  8545087 |  6511898 |     2217   6926 |        0 |        0
831.36/831.75	c  831s |      25 |  8565290 |  6527198 |     2217   6939 |        0 |        0
833.36/833.76	c  833s |      25 |  8581919 |  6540898 |     2217   6951 |        0 |        0
835.35/835.76	c  835s |      25 |  8599059 |  6554998 |     2217   6963 |        0 |        0
837.35/837.76	c  837s |      25 |  8615511 |  6568698 |     2217   6975 |        0 |        0
839.35/839.76	c  839s |      25 |  8632944 |  6582798 |     2217   6987 |        0 |        0
841.35/841.78	c  841s |      25 |  8649917 |  6596698 |     2217   6999 |        0 |        0
843.36/843.79	c  843s |      25 |  8669157 |  6611598 |     2217   7012 |        0 |        0
845.45/845.80	c  845s |      25 |  8687597 |  6626398 |     2217   7025 |        0 |        0
847.45/847.81	c  847s |      25 |  8706794 |  6641298 |     2217   7038 |        0 |        0
849.45/849.82	c  849s |      25 |  8725007 |  6655598 |     2217   7051 |        0 |        0
851.45/851.82	c  851s |      25 |  8745465 |  6670898 |     2217   7064 |        0 |        0
853.45/853.83	c  853s |      25 |  8765551 |  6686098 |     2217   7077 |        0 |        0
855.45/855.84	c  855s |      25 |  8784111 |  6700798 |     2217   7090 |        0 |        0
857.45/857.85	c  857s |      25 |  8803295 |  6715698 |     2217   7103 |        0 |        0
859.46/859.86	c  859s |      25 |  8820394 |  6729398 |     2217   7115 |        0 |        0
861.45/861.86	c  861s |      25 |  8842163 |  6745598 |     2217   7129 |        0 |        0
863.45/863.86	c  863s |      25 |  8860443 |  6759898 |     2217   7142 |        0 |        0
865.46/865.87	c  865s |      25 |  8879862 |  6774898 |     2217   7155 |        0 |        0
867.45/867.88	c  867s |      25 |  8898185 |  6789398 |     2217   7168 |        0 |        0
869.45/869.89	c  869s |      25 |  8918196 |  6804398 |     2217   7181 |        0 |        0
871.55/871.90	c  871s |      25 |  8938648 |  6819598 |     2217   7194 |        0 |        0
873.55/873.91	c  873s |      25 |  8958454 |  6834298 |     2217   7207 |        0 |        0
875.55/875.91	c  875s |      25 |  8977640 |  6849298 |     2217   7220 |        0 |        0
877.55/877.92	c  877s |      25 |  8995577 |  6863298 |     2217   7232 |        0 |        0
879.55/879.93	c  879s |      25 |  9015145 |  6878198 |     2217   7245 |        0 |        0
881.55/881.94	c  881s |      25 |  9034347 |  6892998 |     2217   7258 |        0 |        0
883.54/883.95	c  883s |      25 |  9052201 |  6906698 |     2217   7270 |        0 |        0
885.54/885.95	c  885s |      25 |  9070609 |  6920998 |     2217   7283 |        0 |        0
887.54/887.95	c  887s |      25 |  9090793 |  6936298 |     2217   7296 |        0 |        0
889.55/889.96	c  889s |      25 |  9111651 |  6951698 |     2217   7309 |        0 |        0
891.54/891.97	c  891s |      25 |  9132581 |  6966998 |     2217   7323 |        0 |        0
893.54/893.98	c  893s |      25 |  9153724 |  6982598 |     2217   7336 |        0 |        0
895.54/895.98	c  895s |      25 |  9173466 |  6997898 |     2217   7350 |        0 |        0
897.54/897.99	c  897s |      25 |  9194047 |  7013198 |     2217   7363 |        0 |        0
899.55/899.99	c  899s |      25 |  9212019 |  7026798 |     2217   7375 |        0 |        0
901.54/901.99	c  901s |      25 |  9230683 |  7040898 |     2217   7388 |        0 |        0
903.54/904.00	c  903s |      25 |  9251202 |  7055998 |     2217   7401 |        0 |        0
905.64/906.00	c  905s |      25 |  9271987 |  7071398 |     2217   7414 |        0 |        0
907.64/908.00	c  907s |      25 |  9290936 |  7085998 |     2217   7427 |        0 |        0
909.64/910.01	c  909s |      25 |  9311229 |  7100898 |     2217   7440 |        0 |        0
911.65/912.01	c  911s |      25 |  9330326 |  7115398 |     2217   7453 |        0 |        0
913.64/914.03	c  914s |      25 |  9348326 |  7129198 |     2217   7465 |        0 |        0
915.65/916.03	c  916s |      25 |  9367889 |  7143498 |     2217   7478 |        0 |        0
917.64/918.04	c  918s |      25 |  9387075 |  7157698 |     2217   7490 |        0 |        0
919.64/920.04	c  920s |      25 |  9407156 |  7172798 |     2217   7504 |        0 |        0
921.64/922.05	c  922s |      25 |  9427611 |  7187898 |     2217   7517 |        0 |        0
923.65/924.05	c  924s |      25 |  9446888 |  7202398 |     2217   7530 |        0 |        0
925.64/926.06	c  926s |      25 |  9467785 |  7218698 |     2217   7544 |        0 |        0
927.64/928.07	c  928s |      25 |  9488529 |  7233498 |     2217   7557 |        0 |        0
929.64/930.07	c  930s |      25 |  9505222 |  7246798 |     2217   7569 |        0 |        0
931.64/932.08	c  932s |      25 |  9525494 |  7262798 |     2217   7582 |        0 |        0
933.65/934.09	c  934s |      25 |  9546325 |  7278898 |     2217   7596 |        0 |        0
935.64/936.10	c  936s |      25 |  9563426 |  7292398 |     2217   7608 |        0 |        0
937.74/938.11	c  938s |      25 |  9581683 |  7306498 |     2217   7620 |        0 |        0
939.74/940.11	c  940s |      25 |  9600146 |  7320798 |     2217   7633 |        0 |        0
941.74/942.11	c  942s |      25 |  9620153 |  7335798 |     2217   7646 |        0 |        0
943.74/944.12	c  944s |      25 |  9640592 |  7351098 |     2217   7659 |        0 |        0
945.74/946.12	c  946s |      25 |  9662040 |  7366398 |     2217   7673 |        0 |        0
947.74/948.12	c  948s |      25 |  9682151 |  7381698 |     2217   7686 |        0 |        0
949.73/950.12	c  950s |      25 |  9701385 |  7395898 |     2217   7699 |        0 |        0
951.73/952.13	c  952s |      25 |  9717335 |  7408298 |     2217   7709 |        0 |        0
953.73/954.15	c  954s |      25 |  9732749 |  7420898 |     2217   7720 |        0 |        0
955.73/956.17	c  956s |      25 |  9748848 |  7433298 |     2217   7731 |        0 |        0
957.74/958.17	c  958s |      25 |  9766935 |  7446598 |     2217   7742 |        0 |        0
959.73/960.18	c  960s |      25 |  9784485 |  7459798 |     2217   7754 |        0 |        0
961.84/962.20	c  962s |      25 |  9800247 |  7472098 |     2217   7765 |        0 |        0
963.84/964.20	c  964s |      25 |  9818496 |  7486198 |     2217   7777 |        0 |        0
965.84/966.20	c  966s |      25 |  9838420 |  7500898 |     2217   7789 |        0 |        0
967.84/968.21	c  968s |      25 |  9856799 |  7514998 |     2217   7802 |        0 |        0
969.84/970.23	c  970s |      25 |  9876131 |  7529898 |     2217   7815 |        0 |        0
971.84/972.24	c  972s |      25 |  9894284 |  7543998 |     2439   7827 |        0 |        0
973.84/974.24	c  974s |      25 |  9912790 |  7558098 |     2439   7838 |        0 |        0
975.83/976.25	c  976s |      25 |  9933028 |  7573298 |     2439   7850 |        0 |        0
977.83/978.26	c  978s |      25 |  9952364 |  7588298 |     2439   7861 |        0 |        0
979.13/979.55	c  979s |      26 |  9965307 |  7597752 |     2439   7869 |        0 |        0
981.13/981.56	c  981s |      26 |  9985428 |  7612652 |     2439   7880 |        0 |        0
983.14/983.57	c  983s |      26 | 10005029 |  7627452 |     2439   7892 |        0 |        0
985.13/985.58	c  985s |      26 | 10024178 |  7642452 |     2439   7903 |        0 |        0
987.13/987.59	c  987s |      26 | 10041755 |  7656252 |     2439   7914 |        0 |        0
989.13/989.59	c  989s |      26 | 10061296 |  7670852 |     2439   7925 |        0 |        0
991.13/991.59	c  991s |      26 | 10079825 |  7685352 |     2439   7936 |        0 |        0
993.23/993.61	c  993s |      26 | 10098274 |  7699652 |     2439   7947 |        0 |        0
995.23/995.62	c  995s |      26 | 10117224 |  7714052 |     2439   7959 |        0 |        0
997.23/997.63	c  997s |      26 | 10136329 |  7728552 |     2439   7970 |        0 |        0
999.23/999.64	c  999s |      26 | 10158295 |  7744152 |     2439   7982 |        0 |        0
1001.22/1001.64	c 1001s |      26 | 10176918 |  7758252 |     2439   7993 |        0 |        0
1003.22/1003.64	c 1003s |      26 | 10195549 |  7772752 |     2439   8004 |        0 |        0
1005.23/1005.65	c 1005s |      26 | 10214274 |  7786952 |     2439   8015 |        0 |        0
1007.24/1007.65	c 1007s |      26 | 10232847 |  7800952 |     2439   8026 |        0 |        0
1009.23/1009.67	c 1009s |      26 | 10249978 |  7813852 |     2439   8036 |        0 |        0
1011.23/1011.67	c 1011s |      26 | 10267799 |  7827352 |     2439   8046 |        0 |        0
1013.23/1013.67	c 1013s |      26 | 10284881 |  7840552 |     2439   8057 |        0 |        0
1015.23/1015.69	c 1015s |      26 | 10302804 |  7854152 |     2439   8067 |        0 |        0
1017.33/1017.70	c 1017s |      26 | 10321149 |  7868052 |     2439   8078 |        0 |        0
1019.34/1019.71	c 1019s |      26 | 10340658 |  7882752 |     2439   8089 |        0 |        0
1021.33/1021.71	c 1021s |      26 | 10359044 |  7896752 |     2439   8100 |        0 |        0
1023.33/1023.72	c 1023s |      26 | 10377169 |  7911352 |     2439   8112 |        0 |        0
1025.33/1025.72	c 1025s |      26 | 10393075 |  7924352 |     2439   8121 |        0 |        0
1027.33/1027.73	c 1027s |      26 | 10411304 |  7938752 |     2439   8133 |        0 |        0
1029.33/1029.73	c 1029s |      26 | 10430275 |  7953152 |     2439   8144 |        0 |        0
1031.33/1031.75	c 1031s |      26 | 10448081 |  7966652 |     2439   8154 |        0 |        0
1033.33/1033.76	c 1033s |      26 | 10467005 |  7980552 |     2439   8165 |        0 |        0
1035.33/1035.77	c 1035s |      26 | 10484762 |  7994152 |     2439   8175 |        0 |        0
1037.33/1037.77	c 1037s |      26 | 10503072 |  8008152 |     2439   8186 |        0 |        0
1039.32/1039.78	c 1039s |      26 | 10522075 |  8022252 |     2439   8197 |        0 |        0
1041.33/1041.79	c 1041s |      26 | 10540369 |  8036352 |     2439   8208 |        0 |        0
1043.32/1043.79	c 1043s |      26 | 10559731 |  8050652 |     2439   8219 |        0 |        0
1045.42/1045.80	c 1045s |      26 | 10579078 |  8065352 |     2439   8230 |        0 |        0
1047.42/1047.81	c 1047s |      26 | 10597516 |  8079452 |     2439   8241 |        0 |        0
1049.42/1049.82	c 1049s |      26 | 10617809 |  8094652 |     2439   8253 |        0 |        0
1051.42/1051.82	c 1051s |      26 | 10638926 |  8110552 |     2439   8265 |        0 |        0
1053.43/1053.83	c 1053s |      26 | 10659567 |  8126052 |     2439   8278 |        0 |        0
1055.42/1055.84	c 1055s |      26 | 10680615 |  8141752 |     2439   8290 |        0 |        0
1057.42/1057.85	c 1057s |      26 | 10700421 |  8156852 |     2439   8302 |        0 |        0
1059.42/1059.85	c 1059s |      26 | 10720714 |  8172252 |     2439   8314 |        0 |        0
1061.42/1061.86	c 1061s |      26 | 10741668 |  8188052 |     2439   8326 |        0 |        0
1063.42/1063.86	c 1063s |      26 | 10762653 |  8203452 |     2439   8338 |        0 |        0
1065.42/1065.86	c 1065s |      26 | 10782502 |  8217952 |     2439   8350 |        0 |        0
1067.42/1067.87	c 1067s |      26 | 10800668 |  8232752 |     2439   8362 |        0 |        0
1069.42/1069.88	c 1069s |      26 | 10820012 |  8246952 |     2439   8373 |        0 |        0
1071.42/1071.90	c 1071s |      26 | 10840490 |  8261852 |     2439   8385 |        0 |        0
1073.51/1073.90	c 1073s |      26 | 10861496 |  8277952 |     2439   8398 |        0 |        0
1075.52/1075.91	c 1075s |      26 | 10881132 |  8293152 |     2439   8410 |        0 |        0
1077.51/1077.91	c 1077s |      26 | 10900164 |  8307652 |     2439   8421 |        0 |        0
1079.51/1079.91	c 1079s |      26 | 10919484 |  8322352 |     2439   8433 |        0 |        0
1081.51/1081.91	c 1081s |      26 | 10937227 |  8335952 |     2439   8443 |        0 |        0
1083.51/1083.91	c 1083s |      26 | 10954055 |  8349952 |     2439   8454 |        0 |        0
1085.52/1085.92	c 1085s |      26 | 10975044 |  8365452 |     2439   8466 |        0 |        0
1087.53/1087.93	c 1087s |      26 | 10994833 |  8380552 |     2439   8478 |        0 |        0
1089.52/1089.93	c 1089s |      26 | 11014479 |  8395352 |     2439   8490 |        0 |        0
1091.52/1091.93	c 1091s |      26 | 11034765 |  8410452 |     2439   8502 |        0 |        0
1093.52/1093.94	c 1093s |      26 | 11053974 |  8424952 |     2439   8513 |        0 |        0
1095.52/1095.96	c 1095s |      26 | 11075033 |  8440152 |     2439   8526 |        0 |        0
1097.52/1097.96	c 1097s |      26 | 11095827 |  8455352 |     2439   8538 |        0 |        0
1099.52/1099.97	c 1099s |      26 | 11114323 |  8469352 |     2439   8549 |        0 |        0
1101.52/1101.97	c 1101s |      26 | 11133064 |  8484052 |     2439   8560 |        0 |        0
1103.51/1103.98	c 1103s |      26 | 11150716 |  8498052 |     2439   8572 |        0 |        0
1105.51/1105.98	c 1105s |      26 | 11170003 |  8512852 |     2439   8583 |        0 |        0
1107.51/1107.98	c 1107s |      26 | 11191627 |  8528652 |     2439   8596 |        0 |        0
1109.52/1109.99	c 1109s |      26 | 11209388 |  8542252 |     2439   8607 |        0 |        0
1111.51/1111.99	c 1111s |      26 | 11228413 |  8556352 |     2439   8618 |        0 |        0
1113.61/1114.00	c 1113s |      26 | 11247374 |  8570352 |     2439   8629 |        0 |        0
1115.61/1116.00	c 1115s |      26 | 11267138 |  8585052 |     2439   8641 |        0 |        0
1117.61/1118.01	c 1117s |      26 | 11288845 |  8600952 |     2439   8654 |        0 |        0
1119.61/1120.01	c 1119s |      26 | 11309845 |  8616352 |     2439   8666 |        0 |        0
1121.62/1122.02	c 1121s |      26 | 11329575 |  8631352 |     2439   8678 |        0 |        0
1123.61/1124.02	c 1124s |      26 | 11347565 |  8645552 |     2439   8689 |        0 |        0
1125.61/1126.03	c 1126s |      26 | 11365573 |  8659252 |     2439   8700 |        0 |        0
1127.61/1128.04	c 1128s |      26 | 11381862 |  8672152 |     2439   8710 |        0 |        0
1129.61/1130.05	c 1130s |      26 | 11399522 |  8685752 |     2439   8721 |        0 |        0
1131.62/1132.05	c 1132s |      26 | 11417936 |  8699652 |     2439   8731 |        0 |        0
1133.61/1134.07	c 1134s |      26 | 11437692 |  8714352 |     2439   8743 |        0 |        0
1135.61/1136.07	c 1136s |      26 | 11457213 |  8728552 |     2439   8754 |        0 |        0
1137.61/1138.08	c 1138s |      26 | 11474632 |  8741952 |     2439   8764 |        0 |        0
1139.61/1140.09	c 1140s |      26 | 11491562 |  8755252 |     2439   8775 |        0 |        0
1141.61/1142.09	c 1142s |      26 | 11511118 |  8769552 |     2439   8786 |        0 |        0
1143.72/1144.10	c 1144s |      26 | 11529304 |  8783352 |     2439   8797 |        0 |        0
1145.71/1146.12	c 1146s |      26 | 11547777 |  8797552 |     2439   8809 |        0 |        0
1147.71/1148.14	c 1148s |      26 | 11567336 |  8812352 |     2439   8820 |        0 |        0
1149.71/1150.14	c 1150s |      26 | 11588128 |  8827852 |     2439   8833 |        0 |        0
1151.71/1152.15	c 1152s |      26 | 11608377 |  8842952 |     2439   8844 |        0 |        0
1153.71/1154.15	c 1154s |      26 | 11629262 |  8858152 |     2439   8856 |        0 |        0
1155.71/1156.17	c 1156s |      26 | 11648464 |  8872552 |     2439   8868 |        0 |        0
1157.71/1158.18	c 1158s |      26 | 11669634 |  8888052 |     2439   8880 |        0 |        0
1159.70/1160.19	c 1160s |      26 | 11690406 |  8903252 |     2439   8892 |        0 |        0
1161.80/1162.20	c 1162s |      26 | 11711000 |  8918452 |     2439   8905 |        0 |        0
1163.80/1164.20	c 1164s |      26 | 11732007 |  8934352 |     2439   8917 |        0 |        0
1165.80/1166.21	c 1166s |      26 | 11751292 |  8948652 |     2439   8928 |        0 |        0
1167.81/1168.22	c 1168s |      26 | 11771702 |  8963152 |     2439   8940 |        0 |        0
1169.80/1170.22	c 1170s |      26 | 11788846 |  8976852 |     2439   8950 |        0 |        0
1171.80/1172.23	c 1172s |      26 | 11807582 |  8990852 |     2439   8961 |        0 |        0
1173.80/1174.24	c 1174s |      26 | 11825808 |  9004552 |     2439   8972 |        0 |        0
1175.80/1176.25	c 1176s |      26 | 11846215 |  9019452 |     2439   8984 |        0 |        0
1177.81/1178.25	c 1178s |      26 | 11865300 |  9033852 |     2439   8995 |        0 |        0
1179.80/1180.25	c 1180s |      26 | 11885314 |  9048652 |     2439   9007 |        0 |        0
1181.80/1182.26	c 1182s |      26 | 11904371 |  9063352 |     2439   9018 |        0 |        0
1183.80/1184.26	c 1184s |      26 | 11925415 |  9078652 |     2439   9030 |        0 |        0
1185.80/1186.27	c 1186s |      26 | 11944861 |  9093852 |     2439   9042 |        0 |        0
1187.80/1188.27	c 1188s |      26 | 11964232 |  9108552 |     2439   9054 |        0 |        0
1189.80/1190.27	c 1190s |      26 | 11986119 |  9124452 |     2439   9067 |        0 |        0
1191.80/1192.27	c 1192s |      26 | 12006598 |  9139852 |     2439   9079 |        0 |        0
1193.80/1194.29	c 1194s |      26 | 12024772 |  9154052 |     2439   9090 |        0 |        0
1195.80/1196.29	c 1196s |      26 | 12044707 |  9168352 |     2439   9101 |        0 |        0
1197.90/1198.30	c 1198s |      26 | 12066421 |  9183652 |     2439   9113 |        0 |        0
1199.90/1200.31	c 1200s |      26 | 12088138 |  9199352 |     2439   9125 |        0 |        0
1201.91/1202.32	c 1202s |      26 | 12108038 |  9214252 |     2439   9137 |        0 |        0
1203.90/1204.33	c 1204s |      26 | 12127865 |  9229452 |     2439   9149 |        0 |        0
1205.90/1206.33	c 1206s |      26 | 12144738 |  9243052 |     2439   9160 |        0 |        0
1207.90/1208.34	c 1208s |      26 | 12164267 |  9258352 |     2439   9172 |        0 |        0
1209.90/1210.36	c 1210s |      26 | 12184659 |  9274052 |     2439   9184 |        0 |        0
1211.91/1212.37	c 1212s |      26 | 12204051 |  9288852 |     2439   9196 |        0 |        0
1213.90/1214.37	c 1214s |      26 | 12223818 |  9303652 |     2439   9208 |        0 |        0
1215.90/1216.38	c 1216s |      26 | 12243073 |  9318552 |     2439   9220 |        0 |        0
1217.90/1218.38	c 1218s |      26 | 12262557 |  9333252 |     2439   9232 |        0 |        0
1219.90/1220.39	c 1220s |      26 | 12282516 |  9348152 |     2439   9244 |        0 |        0
1222.00/1222.40	c 1222s |      26 | 12300959 |  9362952 |     2439   9255 |        0 |        0
1224.00/1224.41	c 1224s |      26 | 12318346 |  9376752 |     2439   9266 |        0 |        0
1226.00/1226.42	c 1226s |      26 | 12337428 |  9391052 |     2439   9278 |        0 |        0
1228.00/1228.43	c 1228s |      26 | 12355227 |  9405052 |     2439   9289 |        0 |        0
1230.00/1230.44	c 1230s |      26 | 12374107 |  9419252 |     2439   9300 |        0 |        0
1231.99/1232.45	c 1232s |      26 | 12393465 |  9433652 |     2439   9312 |        0 |        0
1233.99/1234.45	c 1234s |      26 | 12412719 |  9448052 |     2439   9323 |        0 |        0
1236.00/1236.46	c 1236s |      26 | 12429802 |  9460752 |     2439   9333 |        0 |        0
1237.99/1238.46	c 1238s |      26 | 12446051 |  9473752 |     2439   9343 |        0 |        0
1239.99/1240.46	c 1240s |      26 | 12462996 |  9486752 |     2439   9354 |        0 |        0
1241.99/1242.46	c 1242s |      26 | 12481165 |  9500052 |     2439   9364 |        0 |        0
1243.99/1244.48	c 1244s |      26 | 12500452 |  9514552 |     2439   9376 |        0 |        0
1246.00/1246.49	c 1246s |      26 | 12520548 |  9529752 |     2439   9388 |        0 |        0
1247.99/1248.49	c 1248s |      26 | 12538392 |  9543852 |     2439   9399 |        0 |        0
1250.09/1250.50	c 1250s |      26 | 12558761 |  9558752 |     2439   9411 |        0 |        0
1252.09/1252.51	c 1252s |      26 | 12577881 |  9573252 |     2439   9423 |        0 |        0
1254.09/1254.52	c 1254s |      26 | 12597306 |  9587552 |     2439   9434 |        0 |        0
1256.09/1256.52	c 1256s |      26 | 12617466 |  9602652 |     2439   9446 |        0 |        0
1258.10/1258.54	c 1258s |      26 | 12637868 |  9617552 |     2439   9458 |        0 |        0
1260.09/1260.55	c 1260s |      26 | 12658024 |  9632852 |     2439   9470 |        0 |        0
1262.09/1262.55	c 1262s |      26 | 12678926 |  9648052 |     2439   9482 |        0 |        0
1264.09/1264.56	c 1264s |      26 | 12698833 |  9663452 |     2439   9494 |        0 |        0
1266.09/1266.58	c 1266s |      26 | 12718144 |  9678952 |     2439   9507 |        0 |        0
1268.08/1268.58	c 1268s |      26 | 12738000 |  9693752 |     2439   9518 |        0 |        0
1270.09/1270.59	c 1270s |      26 | 12757446 |  9708852 |     2439   9530 |        0 |        0
1272.18/1272.60	c 1272s |      26 | 12775831 |  9723552 |     2439   9542 |        0 |        0
1274.18/1274.60	c 1274s |      26 | 12795117 |  9738452 |     2439   9553 |        0 |        0
1276.18/1276.62	c 1276s |      26 | 12814607 |  9752752 |     2439   9565 |        0 |        0
1278.18/1278.63	c 1278s |      26 | 12834187 |  9767552 |     2439   9576 |        0 |        0
1280.18/1280.63	c 1280s |      26 | 12852582 |  9781452 |     2439   9587 |        0 |        0
1282.19/1282.64	c 1282s |      26 | 12870996 |  9795852 |     2439   9598 |        0 |        0
1284.18/1284.65	c 1284s |      26 | 12889652 |  9810052 |     2439   9610 |        0 |        0
1286.18/1286.67	c 1286s |      26 | 12909810 |  9825152 |     2439   9622 |        0 |        0
1288.18/1288.68	c 1288s |      26 | 12928974 |  9840052 |     2439   9633 |        0 |        0
1290.18/1290.68	c 1290s |      26 | 12947515 |  9854752 |     2439   9645 |        0 |        0
1292.20/1292.69	c 1292s |      26 | 12969025 |  9870352 |     2439   9657 |        0 |        0
1294.19/1294.70	c 1294s |      26 | 12989202 |  9885152 |     2439   9669 |        0 |        0
1296.29/1296.72	c 1296s |      26 | 13007215 |  9898752 |     2439   9680 |        0 |        0
1298.29/1298.73	c 1298s |      26 | 13026189 |  9913052 |     2439   9691 |        0 |        0
1300.29/1300.74	c 1300s |      26 | 13046731 |  9927752 |     2439   9703 |        0 |        0
1302.29/1302.75	c 1302s |      26 | 13066416 |  9942052 |     2439   9714 |        0 |        0
1304.29/1304.75	c 1304s |      26 | 13087338 |  9956852 |     2439   9726 |        0 |        0
1306.29/1306.76	c 1306s |      26 | 13104815 |  9970052 |     2439   9736 |        0 |        0
1308.29/1308.76	c 1308s |      26 | 13123894 |  9984552 |     2439   9747 |        0 |        0
1310.28/1310.76	c 1310s |      26 | 13141094 |  9997852 |     2439   9758 |        0 |        0
1312.28/1312.77	c 1312s |      26 | 13160599 | 10012252 |     2439   9769 |        0 |        0
1314.28/1314.77	c 1314s |      26 | 13179502 | 10026152 |     2439   9780 |        0 |        0
1316.29/1316.78	c 1316s |      26 | 13198926 | 10040652 |     2439   9792 |        0 |        0
1318.28/1318.79	c 1318s |      26 | 13217874 | 10055152 |     2439   9803 |        0 |        0
1320.28/1320.79	c 1320s |      26 | 13237909 | 10070152 |     2439   9815 |        0 |        0
1322.38/1322.80	c 1322s |      26 | 13254649 | 10083052 |     2439   9825 |        0 |        0
1324.38/1324.80	c 1324s |      26 | 13272983 | 10097352 |     2439   9836 |        0 |        0
1326.38/1326.81	c 1326s |      26 | 13292026 | 10111952 |     2439   9848 |        0 |        0
1328.39/1328.81	c 1328s |      26 | 13311650 | 10126752 |     2439   9859 |        0 |        0
1330.38/1330.82	c 1330s |      26 | 13330722 | 10140952 |     2439   9871 |        0 |        0
1332.38/1332.82	c 1332s |      26 | 13350556 | 10155552 |     2439   9882 |        0 |        0
1334.38/1334.83	c 1334s |      26 | 13369483 | 10169752 |     2439   9893 |        0 |        0
1336.38/1336.84	c 1336s |      26 | 13388316 | 10183752 |     2439   9904 |        0 |        0
1338.38/1338.85	c 1338s |      26 | 13407569 | 10198352 |     2439   9916 |        0 |        0
1340.38/1340.86	c 1340s |      26 | 13426764 | 10212652 |     2439   9927 |        0 |        0
1342.37/1342.86	c 1342s |      26 | 13445454 | 10226752 |     2439   9938 |        0 |        0
1344.37/1344.87	c 1344s |      26 | 13464259 | 10240952 |     2439   9949 |        0 |        0
1346.37/1346.87	c 1346s |      26 | 13483434 | 10255052 |     2439   9961 |        0 |        0
1348.38/1348.88	c 1348s |      26 | 13502056 | 10269052 |     2439   9972 |        0 |        0
1350.39/1350.88	c 1350s |      26 | 13520182 | 10282952 |     2439   9983 |        0 |        0
1352.38/1352.88	c 1352s |      26 | 13538780 | 10296852 |     2439   9994 |        0 |        0
1354.38/1354.89	c 1354s |      26 | 13556083 | 10310452 |     2439  10004 |        0 |        0
1356.48/1356.90	c 1356s |      26 | 13573357 | 10323952 |     2439  10015 |        0 |        0
1358.48/1358.91	c 1358s |      26 | 13591130 | 10337752 |     2439  10026 |        0 |        0
1360.48/1360.91	c 1360s |      26 | 13608030 | 10351152 |     2439  10036 |        0 |        0
1362.48/1362.93	c 1362s |      26 | 13627047 | 10365852 |     2439  10048 |        0 |        0
1364.48/1364.94	c 1364s |      26 | 13644533 | 10379152 |     2439  10058 |        0 |        0
1366.48/1366.94	c 1366s |      26 | 13665942 | 10394552 |     2439  10071 |        0 |        0
1368.48/1368.95	c 1368s |      26 | 13684851 | 10409252 |     2439  10082 |        0 |        0
1370.47/1370.96	c 1370s |      26 | 13703192 | 10423152 |     2439  10093 |        0 |        0
1372.48/1372.97	c 1372s |      26 | 13721028 | 10437252 |     2439  10104 |        0 |        0
1374.47/1374.98	c 1374s |      26 | 13739667 | 10451452 |     2439  10116 |        0 |        0
1376.47/1376.99	c 1376s |      26 | 13757717 | 10465452 |     2439  10127 |        0 |        0
1378.57/1379.00	c 1378s |      26 | 13775747 | 10479652 |     2439  10138 |        0 |        0
1380.57/1381.01	c 1380s |      26 | 13795414 | 10494652 |     2439  10150 |        0 |        0
1382.57/1383.01	c 1382s |      26 | 13813907 | 10508452 |     2439  10161 |        0 |        0
1384.58/1385.01	c 1384s |      26 | 13833349 | 10523052 |     2439  10172 |        0 |        0
1386.57/1387.01	c 1386s |      26 | 13852128 | 10537552 |     2439  10184 |        0 |        0
1388.57/1389.02	c 1389s |      26 | 13871205 | 10552152 |     2439  10195 |        0 |        0
1390.57/1391.02	c 1391s |      26 | 13888374 | 10565552 |     2439  10206 |        0 |        0
1392.57/1393.03	c 1393s |      26 | 13907500 | 10579852 |     2439  10217 |        0 |        0
1394.57/1395.04	c 1395s |      26 | 13927238 | 10594552 |     2439  10229 |        0 |        0
1396.57/1397.04	c 1397s |      26 | 13945299 | 10608852 |     2439  10240 |        0 |        0
1398.56/1399.04	c 1399s |      26 | 13963964 | 10623052 |     2439  10251 |        0 |        0
1400.56/1401.04	c 1401s |      26 | 13981097 | 10636652 |     2439  10262 |        0 |        0
1402.56/1403.06	c 1403s |      26 | 13999923 | 10650952 |     2439  10273 |        0 |        0
1404.57/1405.06	c 1405s |      26 | 14017186 | 10664452 |     2439  10284 |        0 |        0
1406.58/1407.06	c 1407s |      26 | 14033838 | 10677452 |     2439  10294 |        0 |        0
1408.57/1409.07	c 1409s |      26 | 14051725 | 10691152 |     2439  10305 |        0 |        0
1410.57/1411.08	c 1411s |      26 | 14068320 | 10704252 |     2439  10315 |        0 |        0
1412.57/1413.09	c 1413s |      26 | 14085793 | 10717952 |     2439  10326 |        0 |        0
1414.67/1415.10	c 1415s |      26 | 14106360 | 10733352 |     2439  10338 |        0 |        0
1416.67/1417.11	c 1417s |      26 | 14126516 | 10748452 |     2439  10350 |        0 |        0
1418.67/1419.12	c 1419s |      26 | 14146923 | 10763752 |     2439  10362 |        0 |        0
1420.66/1421.12	c 1421s |      26 | 14165554 | 10777852 |     2439  10374 |        0 |        0
1422.66/1423.12	c 1423s |      26 | 14183170 | 10791552 |     2439  10384 |        0 |        0
1424.66/1425.13	c 1425s |      26 | 14202719 | 10806052 |     2439  10396 |        0 |        0
1426.66/1427.14	c 1427s |      26 | 14220092 | 10819552 |     2439  10406 |        0 |        0
1428.66/1429.15	c 1429s |      26 | 14237681 | 10832352 |     2439  10417 |        0 |        0
1430.67/1431.15	c 1431s |      26 | 14257462 | 10846852 |     2439  10428 |        0 |        0
1432.66/1433.15	c 1433s |      26 | 14277743 | 10861452 |     2439  10440 |        0 |        0
1434.66/1435.15	c 1435s |      26 | 14296494 | 10875652 |     2439  10451 |        0 |        0
1436.67/1437.16	c 1437s |      26 | 14313945 | 10889752 |     2439  10462 |        0 |        0
1438.67/1439.17	c 1439s |      26 | 14329330 | 10902852 |     2439  10472 |        0 |        0
1440.67/1441.18	c 1441s |      26 | 14346959 | 10916852 |     2439  10483 |        0 |        0
1442.66/1443.19	c 1443s |      26 | 14367543 | 10932452 |     2439  10496 |        0 |        0
1444.66/1445.19	c 1445s |      26 | 14387359 | 10947152 |     2439  10507 |        0 |        0
1446.76/1447.20	c 1447s |      26 | 14405964 | 10961952 |     2439  10519 |        0 |        0
1448.76/1449.20	c 1449s |      26 | 14425072 | 10976952 |     2439  10531 |        0 |        0
1450.76/1451.22	c 1451s |      26 | 14444577 | 10991652 |     2439  10543 |        0 |        0
1452.77/1453.22	c 1453s |      26 | 14463598 | 11006352 |     2439  10555 |        0 |        0
1454.76/1455.23	c 1455s |      26 | 14481904 | 11021352 |     2439  10566 |        0 |        0
1456.76/1457.23	c 1457s |      26 | 14499309 | 11034552 |     2439  10577 |        0 |        0
1458.76/1459.24	c 1459s |      26 | 14517684 | 11048652 |     2439  10588 |        0 |        0
1460.76/1461.24	c 1461s |      26 | 14535787 | 11062852 |     2439  10599 |        0 |        0
1462.76/1463.25	c 1463s |      26 | 14551100 | 11075652 |     2439  10609 |        0 |        0
1464.76/1465.26	c 1465s |      26 | 14569336 | 11089952 |     2439  10620 |        0 |        0
1466.76/1467.27	c 1467s |      26 | 14588596 | 11104452 |     2439  10631 |        0 |        0
1468.76/1469.28	c 1469s |      26 | 14606967 | 11118552 |     2439  10642 |        0 |        0
1470.76/1471.29	c 1471s |      26 | 14625721 | 11132552 |     2439  10653 |        0 |        0
1472.76/1473.29	c 1473s |      26 | 14642882 | 11146052 |     2439  10664 |        0 |        0
1474.85/1475.30	c 1475s |      26 | 14660927 | 11159852 |     2439  10675 |        0 |        0
1476.86/1477.31	c 1477s |      26 | 14680203 | 11174452 |     2439  10686 |        0 |        0
1478.85/1479.31	c 1479s |      26 | 14700956 | 11189852 |     2439  10698 |        0 |        0
1480.85/1481.31	c 1481s |      26 | 14721223 | 11205152 |     2439  10710 |        0 |        0
1482.85/1483.32	c 1483s |      26 | 14740641 | 11219552 |     2439  10721 |        0 |        0
1484.85/1485.32	c 1485s |      26 | 14761616 | 11234952 |     2439  10734 |        0 |        0
1486.86/1487.32	c 1487s |      26 | 14782323 | 11249952 |     2439  10746 |        0 |        0
1488.85/1489.32	c 1489s |      26 | 14802427 | 11264952 |     2439  10758 |        0 |        0
1490.85/1491.34	c 1491s |      26 | 14822851 | 11280052 |     2439  10770 |        0 |        0
1492.85/1493.35	c 1493s |      26 | 14843643 | 11295552 |     2439  10782 |        0 |        0
1494.86/1495.36	c 1495s |      26 | 14863043 | 11310352 |     2439  10794 |        0 |        0
1496.86/1497.37	c 1497s |      26 | 14881674 | 11324752 |     2683  10804 |        0 |        0
1498.87/1499.37	c 1499s |      26 | 14899313 | 11338352 |     2683  10814 |        0 |        0
1500.86/1501.37	c 1501s |      26 | 14918861 | 11352952 |     2683  10824 |        0 |        0
1502.86/1503.38	c 1503s |      26 | 14937188 | 11367452 |     2683  10835 |        0 |        0
1504.86/1505.38	c 1505s |      26 | 14955032 | 11381352 |     2683  10845 |        0 |        0
1506.86/1507.39	c 1507s |      26 | 14973662 | 11396252 |     2683  10855 |        0 |        0
1506.96/1507.48	c 1507s |      27 | 14974244 | 11396733 |     2683  10856 |        0 |        0
1508.95/1509.48	c 1509s |      27 | 14995365 | 11412233 |     2683  10867 |        0 |        0
1510.96/1511.49	c 1511s |      27 | 15016512 | 11427833 |     2683  10877 |        0 |        0
1513.05/1513.51	c 1513s |      27 | 15035230 | 11441733 |     2683  10887 |        0 |        0
1515.05/1515.51	c 1515s |      27 | 15053757 | 11455533 |     2683  10897 |        0 |        0
1517.05/1517.52	c 1517s |      27 | 15072911 | 11470233 |     2683  10907 |        0 |        0
1519.05/1519.53	c 1519s |      27 | 15088594 | 11482633 |     2683  10916 |        0 |        0
1521.05/1521.54	c 1521s |      27 | 15105769 | 11496033 |     2683  10925 |        0 |        0
1523.06/1523.54	c 1523s |      27 | 15124487 | 11510433 |     2683  10935 |        0 |        0
1525.05/1525.55	c 1525s |      27 | 15143676 | 11524633 |     2683  10945 |        0 |        0
1527.05/1527.56	c 1527s |      27 | 15161618 | 11538233 |     2683  10955 |        0 |        0
1529.05/1529.56	c 1529s |      27 | 15180022 | 11551933 |     2683  10965 |        0 |        0
1531.05/1531.57	c 1531s |      27 | 15199485 | 11566733 |     2683  10975 |        0 |        0
1533.05/1533.57	c 1533s |      27 | 15217574 | 11580933 |     2683  10985 |        0 |        0
1535.05/1535.58	c 1535s |      27 | 15234801 | 11594233 |     2683  10994 |        0 |        0
1537.05/1537.58	c 1537s |      27 | 15253371 | 11607733 |     2683  11004 |        0 |        0
1539.04/1539.59	c 1539s |      27 | 15272027 | 11621633 |     2683  11014 |        0 |        0
1541.14/1541.60	c 1541s |      27 | 15291758 | 11636033 |     2683  11024 |        0 |        0
1543.14/1543.60	c 1543s |      27 | 15310461 | 11649733 |     2683  11033 |        0 |        0
1545.15/1545.61	c 1545s |      27 | 15328269 | 11663333 |     2683  11043 |        0 |        0
1547.14/1547.63	c 1547s |      27 | 15346742 | 11677333 |     2683  11053 |        0 |        0
1549.14/1549.64	c 1549s |      27 | 15364650 | 11691133 |     2683  11062 |        0 |        0
1551.14/1551.64	c 1551s |      27 | 15381077 | 11703733 |     2683  11071 |        0 |        0
1553.14/1553.65	c 1553s |      27 | 15397505 | 11716633 |     2683  11080 |        0 |        0
1555.14/1555.66	c 1555s |      27 | 15414652 | 11729633 |     2683  11089 |        0 |        0
1557.15/1557.67	c 1557s |      27 | 15432301 | 11742533 |     2683  11098 |        0 |        0
1559.14/1559.67	c 1559s |      27 | 15450648 | 11756233 |     2683  11108 |        0 |        0
1561.14/1561.68	c 1561s |      27 | 15468265 | 11769633 |     2683  11117 |        0 |        0
1563.14/1563.69	c 1563s |      27 | 15488159 | 11784333 |     2683  11127 |        0 |        0
1565.14/1565.69	c 1565s |      27 | 15506714 | 11798533 |     2683  11137 |        0 |        0
1567.25/1567.70	c 1567s |      27 | 15525539 | 11812633 |     2683  11147 |        0 |        0
1569.25/1569.72	c 1569s |      27 | 15545460 | 11827133 |     2683  11157 |        0 |        0
1571.25/1571.73	c 1571s |      27 | 15565350 | 11842033 |     2683  11168 |        0 |        0
1573.24/1573.73	c 1573s |      27 | 15582769 | 11855433 |     2683  11177 |        0 |        0
1575.24/1575.74	c 1575s |      27 | 15598890 | 11868433 |     2683  11186 |        0 |        0
1577.24/1577.76	c 1577s |      27 | 15615256 | 11881433 |     2683  11196 |        0 |        0
1579.25/1579.77	c 1579s |      27 | 15632857 | 11894833 |     2683  11205 |        0 |        0
1581.24/1581.77	c 1581s |      27 | 15649698 | 11908033 |     2683  11214 |        0 |        0
1583.24/1583.77	c 1583s |      27 | 15667733 | 11921233 |     2683  11223 |        0 |        0
1585.24/1585.78	c 1585s |      27 | 15683935 | 11934233 |     2683  11233 |        0 |        0
1587.24/1587.80	c 1587s |      27 | 15702130 | 11947933 |     2683  11242 |        0 |        0
1589.34/1589.80	c 1589s |      27 | 15722027 | 11962833 |     2683  11253 |        0 |        0
1591.35/1591.81	c 1591s |      27 | 15740684 | 11976833 |     2683  11263 |        0 |        0
1593.34/1593.82	c 1593s |      27 | 15760221 | 11991533 |     2683  11273 |        0 |        0
1595.34/1595.82	c 1595s |      27 | 15778262 | 12005633 |     2683  11283 |        0 |        0
1597.34/1597.84	c 1597s |      27 | 15798084 | 12020033 |     2683  11293 |        0 |        0
1599.34/1599.84	c 1599s |      27 | 15816077 | 12033733 |     2683  11302 |        0 |        0
1601.33/1601.85	c 1601s |      27 | 15835432 | 12048033 |     2683  11312 |        0 |        0
1603.34/1603.85	c 1603s |      27 | 15856217 | 12063333 |     2683  11323 |        0 |        0
1605.33/1605.86	c 1605s |      27 | 15872895 | 12077033 |     2683  11333 |        0 |        0
1607.33/1607.87	c 1607s |      27 | 15890225 | 12090433 |     2683  11342 |        0 |        0
1609.33/1609.88	c 1609s |      27 | 15909060 | 12104333 |     2683  11352 |        0 |        0
1611.33/1611.89	c 1611s |      27 | 15927212 | 12117933 |     2683  11361 |        0 |        0
1613.44/1613.90	c 1613s |      27 | 15946604 | 12131933 |     2683  11371 |        0 |        0
1615.44/1615.91	c 1615s |      27 | 15967254 | 12146633 |     2683  11382 |        0 |        0
1617.44/1617.92	c 1617s |      27 | 15986042 | 12161033 |     2683  11392 |        0 |        0
1619.44/1619.92	c 1619s |      27 | 16004053 | 12174733 |     2683  11401 |        0 |        0
1621.43/1621.92	c 1621s |      27 | 16023775 | 12189633 |     2683  11412 |        0 |        0
1623.43/1623.93	c 1623s |      27 | 16044069 | 12204533 |     2683  11422 |        0 |        0
1625.44/1625.94	c 1625s |      27 | 16064083 | 12219233 |     2683  11433 |        0 |        0
1627.43/1627.95	c 1627s |      27 | 16082651 | 12233033 |     2683  11442 |        0 |        0
1629.43/1629.96	c 1629s |      27 | 16101594 | 12247733 |     2683  11453 |        0 |        0
1631.43/1631.97	c 1631s |      27 | 16121373 | 12262333 |     2683  11463 |        0 |        0
1633.43/1633.97	c 1633s |      27 | 16141176 | 12276133 |     2683  11473 |        0 |        0
1635.43/1635.98	c 1635s |      27 | 16160481 | 12290733 |     2683  11483 |        0 |        0
1637.44/1637.99	c 1637s |      27 | 16176879 | 12303833 |     2683  11492 |        0 |        0
1639.43/1639.99	c 1639s |      27 | 16195167 | 12317633 |     2683  11502 |        0 |        0
1641.43/1641.99	c 1641s |      27 | 16213526 | 12331633 |     2683  11512 |        0 |        0
1643.53/1644.01	c 1643s |      27 | 16232035 | 12345933 |     2683  11522 |        0 |        0
1645.53/1646.01	c 1645s |      27 | 16252335 | 12361033 |     2683  11533 |        0 |        0
1647.53/1648.01	c 1647s |      27 | 16269153 | 12374633 |     2683  11542 |        0 |        0
1649.53/1650.03	c 1650s |      27 | 16286551 | 12388433 |     2683  11552 |        0 |        0
1651.54/1652.03	c 1652s |      27 | 16306442 | 12403733 |     2683  11563 |        0 |        0
1653.53/1654.03	c 1654s |      27 | 16325076 | 12418333 |     2683  11573 |        0 |        0
1655.53/1656.04	c 1656s |      27 | 16340796 | 12430833 |     2683  11582 |        0 |        0
1657.53/1658.05	c 1658s |      27 | 16360721 | 12445733 |     2683  11593 |        0 |        0
1659.54/1660.06	c 1660s |      27 | 16378904 | 12459833 |     2683  11603 |        0 |        0
1661.53/1662.06	c 1662s |      27 | 16399098 | 12474733 |     2683  11613 |        0 |        0
1663.53/1664.07	c 1664s |      27 | 16416940 | 12489133 |     2683  11624 |        0 |        0
1665.53/1666.08	c 1666s |      27 | 16437074 | 12503433 |     2683  11634 |        0 |        0
1667.53/1668.09	c 1668s |      27 | 16456604 | 12517933 |     2683  11644 |        0 |        0
1669.53/1670.09	c 1670s |      27 | 16474966 | 12532133 |     2683  11654 |        0 |        0
1671.54/1672.09	c 1672s |      27 | 16495310 | 12547233 |     2683  11665 |        0 |        0
1673.53/1674.09	c 1674s |      27 | 16514598 | 12561833 |     2683  11675 |        0 |        0
1675.63/1676.11	c 1676s |      27 | 16532391 | 12575433 |     2683  11685 |        0 |        0
1677.63/1678.11	c 1678s |      27 | 16551528 | 12589633 |     2683  11695 |        0 |        0
1679.63/1680.12	c 1680s |      27 | 16570971 | 12604933 |     2683  11705 |        0 |        0
1681.63/1682.12	c 1682s |      27 | 16589731 | 12619033 |     2683  11715 |        0 |        0
1683.63/1684.12	c 1684s |      27 | 16608153 | 12633133 |     2683  11725 |        0 |        0
1685.63/1686.13	c 1686s |      27 | 16626702 | 12647033 |     2683  11735 |        0 |        0
1687.62/1688.15	c 1688s |      27 | 16646743 | 12661733 |     2683  11746 |        0 |        0
1689.62/1690.16	c 1690s |      27 | 16665950 | 12675733 |     2683  11756 |        0 |        0
1691.62/1692.16	c 1692s |      27 | 16684543 | 12689733 |     2683  11766 |        0 |        0
1693.63/1694.18	c 1694s |      27 | 16702734 | 12703633 |     2683  11776 |        0 |        0
1695.62/1696.19	c 1696s |      27 | 16719636 | 12716633 |     2683  11785 |        0 |        0
1697.72/1698.20	c 1698s |      27 | 16737936 | 12730633 |     2683  11795 |        0 |        0
1699.72/1700.21	c 1700s |      27 | 16756064 | 12744233 |     2683  11804 |        0 |        0
1701.72/1702.22	c 1702s |      27 | 16775327 | 12758533 |     2683  11815 |        0 |        0
1703.72/1704.24	c 1704s |      27 | 16792856 | 12771833 |     2683  11824 |        0 |        0
1705.72/1706.24	c 1706s |      27 | 16811542 | 12785933 |     2683  11834 |        0 |        0
1707.73/1708.24	c 1708s |      27 | 16829352 | 12799433 |     2683  11843 |        0 |        0
1709.73/1710.26	c 1710s |      27 | 16847983 | 12813233 |     2683  11853 |        0 |        0
1711.73/1712.26	c 1712s |      27 | 16866253 | 12827133 |     2683  11863 |        0 |        0
1713.73/1714.27	c 1714s |      27 | 16884337 | 12841133 |     2683  11873 |        0 |        0
1715.72/1716.28	c 1716s |      27 | 16901410 | 12854233 |     2683  11882 |        0 |        0
1717.73/1718.29	c 1718s |      27 | 16921464 | 12868233 |     2683  11892 |        0 |        0
1719.72/1720.29	c 1720s |      27 | 16939155 | 12881433 |     2683  11902 |        0 |        0
1721.82/1722.30	c 1722s |      27 | 16958434 | 12895933 |     2683  11912 |        0 |        0
1723.82/1724.31	c 1724s |      27 | 16977098 | 12909833 |     2683  11922 |        0 |        0
1725.82/1726.32	c 1726s |      27 | 16995977 | 12923433 |     2683  11931 |        0 |        0
1727.82/1728.32	c 1728s |      27 | 17014140 | 12937333 |     2683  11941 |        0 |        0
1729.83/1730.33	c 1730s |      27 | 17033397 | 12951933 |     2683  11951 |        0 |        0
1731.82/1732.34	c 1732s |      27 | 17052965 | 12966433 |     2683  11962 |        0 |        0
1733.82/1734.35	c 1734s |      27 | 17072969 | 12981133 |     2683  11972 |        0 |        0
1735.82/1736.36	c 1736s |      27 | 17094595 | 12996433 |     2683  11983 |        0 |        0
1737.82/1738.37	c 1738s |      27 | 17114436 | 13010933 |     2683  11993 |        0 |        0
1739.82/1740.38	c 1740s |      27 | 17134613 | 13025733 |     2683  12004 |        0 |        0
1741.82/1742.38	c 1742s |      27 | 17154888 | 13041033 |     2683  12015 |        0 |        0
1743.82/1744.38	c 1744s |      27 | 17173677 | 13055033 |     2683  12025 |        0 |        0
1745.82/1746.39	c 1746s |      27 | 17193109 | 13069533 |     2683  12035 |        0 |        0
1747.92/1748.40	c 1748s |      27 | 17213080 | 13084533 |     2683  12046 |        0 |        0
1749.92/1750.41	c 1750s |      27 | 17233183 | 13099333 |     2683  12056 |        0 |        0
1751.92/1752.43	c 1752s |      27 | 17251144 | 13113033 |     2683  12066 |        0 |        0
1753.91/1754.43	c 1754s |      27 | 17270102 | 13127033 |     2683  12076 |        0 |        0
1755.91/1756.44	c 1756s |      27 | 17289447 | 13141533 |     2683  12086 |        0 |        0
1757.91/1758.46	c 1758s |      27 | 17308602 | 13156033 |     2683  12096 |        0 |        0
1759.91/1760.46	c 1760s |      27 | 17322834 | 13167733 |     2683  12104 |        0 |        0
1761.91/1762.47	c 1762s |      27 | 17341614 | 13181233 |     2683  12114 |        0 |        0
1763.92/1764.47	c 1764s |      27 | 17360380 | 13194433 |     2683  12123 |        0 |        0
1765.91/1766.47	c 1766s |      27 | 17377133 | 13207433 |     2683  12133 |        0 |        0
1767.91/1768.48	c 1768s |      27 | 17394854 | 13221033 |     2683  12142 |        0 |        0
1769.91/1770.49	c 1770s |      27 | 17412698 | 13234733 |     2683  12152 |        0 |        0
1772.01/1772.50	c 1772s |      27 | 17431015 | 13248433 |     2683  12161 |        0 |        0
1774.01/1774.51	c 1774s |      27 | 17449908 | 13262333 |     2683  12171 |        0 |        0
1776.02/1776.52	c 1776s |      27 | 17468127 | 13276233 |     2683  12181 |        0 |        0
1778.01/1778.53	c 1778s |      27 | 17484142 | 13288733 |     2683  12190 |        0 |        0
1780.01/1780.53	c 1780s |      27 | 17502112 | 13302733 |     2683  12200 |        0 |        0
1782.01/1782.54	c 1782s |      27 | 17519124 | 13316233 |     2683  12209 |        0 |        0
1784.01/1784.55	c 1784s |      27 | 17536335 | 13329533 |     2683  12219 |        0 |        0
1786.01/1786.57	c 1786s |      27 | 17555136 | 13343633 |     2683  12229 |        0 |        0
1788.01/1788.58	c 1788s |      27 | 17573901 | 13357833 |     2683  12239 |        0 |        0
1790.00/1790.58	c 1790s |      27 | 17592867 | 13372033 |     2683  12249 |        0 |        0
1792.00/1792.59	c 1792s |      27 | 17612108 | 13386633 |     2683  12259 |        0 |        0
1794.01/1794.60	c 1794s |      27 | 17630695 | 13400933 |     2683  12269 |        0 |        0
1796.11/1796.60	c 1796s |      27 | 17649626 | 13415533 |     2683  12280 |        0 |        0
1798.12/1798.61	c 1798s |      27 | 17668569 | 13430033 |     2683  12290 |        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-4122162-1467316296/watcher-4122162-1467316296 -o /tmp/evaluation-result-4122162-1467316296/solver-4122162-1467316296 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467316293-17793 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122162-1467316296.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.12 1.20 1.52 3/179 17972
/proc/meminfo: memFree=29969880/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 2916 0 0 0 0 0 0 0 20 0 4 0 10660668 797372416 2765 33554432000 4194304 16246674 140734523369584 140734523369008 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 195183 2773 441 2943 0 192077 0
[pid=17972/tid=17973] ppid=17969 vsize=796092 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 815198208 2835 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=801212 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 820441088 2854 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10660668 824635392 2870 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 1.12 1.20 1.52 3/179 17972
/proc/meminfo: memFree=29969880/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 24797 0 0 0 6 3 0 0 20 0 4 0 10660668 1247350784 24636 33554432000 4194304 16246674 140734523369584 140734523352576 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 304529 24644 707 2943 0 301423 0
[pid=17972/tid=17973] ppid=17969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1247350784 24650 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1247350784 24657 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10660668 1247350784 24663 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200507 s]
/proc/loadavg: 1.12 1.20 1.52 3/179 17972
/proc/meminfo: memFree=29969880/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 47488 0 0 0 13 6 0 0 20 0 4 0 10660668 1247350784 47326 33554432000 4194304 16246674 140734523369584 140734523352576 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 304529 47337 707 2943 0 301423 0
[pid=17972/tid=17973] ppid=17969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1247350784 47342 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1247350784 47348 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10660668 1247350784 47358 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300499 s]
/proc/loadavg: 1.12 1.20 1.52 3/179 17972
/proc/meminfo: memFree=29969880/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 70043 0 0 0 21 8 0 0 20 0 4 0 10660668 1247350784 69882 33554432000 4194304 16246674 140734523369584 140734523352576 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 304529 69893 707 2943 0 301423 0
[pid=17972/tid=17973] ppid=17969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1247350784 69898 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1247350784 69906 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10660668 1247350784 69916 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700373 s]
/proc/loadavg: 1.12 1.20 1.52 3/179 17972
/proc/meminfo: memFree=29969880/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 161032 0 0 0 49 20 0 0 20 0 4 0 10660668 1247350784 160870 33554432000 4194304 16246674 140734523369584 140734523352576 13194729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 304529 160879 707 2943 0 301423 0
[pid=17972/tid=17973] ppid=17969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1247350784 160885 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1247350784 160896 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10660668 1247350784 160903 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 1.12 1.20 1.52 3/183 18025
/proc/meminfo: memFree=29936520/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 245727 0 0 0 116 33 0 0 20 0 4 0 10660668 1248399360 245545 33554432000 4194304 16246674 140734523369584 140734523368896 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 304785 245545 784 2943 0 301679 0
[pid=17972/tid=17973] ppid=17969 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1248399360 245545 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1248399360 245545 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1248399360 245545 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 1.12 1.20 1.52 3/183 18025
/proc/meminfo: memFree=28989532/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 267469 0 0 0 273 36 0 0 20 0 4 0 10660668 1337528320 267287 33554432000 4194304 16246674 140734523369584 140734523351488 12483198 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 326545 267287 784 2943 0 323439 0
[pid=17972/tid=17973] ppid=17969 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1337528320 267287 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1337528320 267287 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1337528320 267287 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 1.19 1.21 1.52 3/183 18025
/proc/meminfo: memFree=28901120/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 267478 0 0 0 593 36 0 0 20 0 4 0 10660668 1337528320 267296 33554432000 4194304 16246674 140734523369584 140734523351488 5553716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 326545 267296 784 2943 0 323439 0
[pid=17972/tid=17973] ppid=17969 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1337528320 267296 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1337528320 267296 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1337528320 267296 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.26 1.22 1.52 3/183 18025
/proc/meminfo: memFree=28899920/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 267851 0 0 0 1233 36 0 0 20 0 4 0 10660668 1339625472 267669 33554432000 4194304 16246674 140734523369584 140734523352584 6075251 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 327057 267669 784 2943 0 323951 0
[pid=17972/tid=17973] ppid=17969 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1339625472 267669 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1339625472 267669 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1339625472 267669 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 1.42 1.26 1.53 2/176 18027
/proc/meminfo: memFree=29969168/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 268081 0 0 0 2512 37 0 0 20 0 4 0 10660668 1339625472 267899 33554432000 4194304 16246674 140734523369584 140734523351488 5808212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 327057 267899 784 2943 0 323951 0
[pid=17972/tid=17973] ppid=17969 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1339625472 267899 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1339625472 267899 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1339625472 267899 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 1.74 1.35 1.55 3/183 18074
/proc/meminfo: memFree=28899744/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 268083 0 0 0 5071 37 0 0 20 0 4 0 10660668 1339625472 267901 33554432000 4194304 16246674 140734523369584 140734523351488 12477724 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 327057 267901 786 2943 0 323951 0
[pid=17972/tid=17973] ppid=17969 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1339625472 267901 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1339625472 267901 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1339625472 267901 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 1.88 1.45 1.57 3/183 18075
/proc/meminfo: memFree=28898764/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 268083 0 0 0 10190 38 0 0 20 0 4 0 10660668 1339625472 267901 33554432000 4194304 16246674 140734523369584 140734523351488 6024552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 327057 267901 786 2943 0 323951 0
[pid=17972/tid=17973] ppid=17969 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1339625472 267901 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1339625472 267901 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1339625472 267901 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 1.88 3/183 18177
/proc/meminfo: memFree=28876952/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1314372 CPUtime=1361.88 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 270010 0 0 0 136123 65 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140734523352584 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 328593 269694 787 2943 0 325487 0
[pid=17972/tid=17973] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.06 2.03 1.89 3/182 18178
/proc/meminfo: memFree=28877680/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1314372 CPUtime=1421.87 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 270010 0 0 0 142121 66 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140734523351488 5661964 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 328593 269694 787 2943 0 325487 0
[pid=17972/tid=17973] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 1.91 3/183 18180
/proc/meminfo: memFree=28877224/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1314372 CPUtime=1481.85 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 270010 0 0 0 148118 67 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140734523352584 6012131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 328593 269694 787 2943 0 325487 0
[pid=17972/tid=17973] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 1.91 3/183 18182
/proc/meminfo: memFree=28876796/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1314372 CPUtime=1541.85 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 270010 0 0 0 154117 68 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140734523351488 5823516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 328593 269694 787 2943 0 325487 0
[pid=17972/tid=17973] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269694 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 1.91 3/183 18183
/proc/meminfo: memFree=28877180/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1314372 CPUtime=1601.83 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 270011 0 0 0 160114 69 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140734523351488 5822492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 328593 269695 788 2943 0 325487 0
[pid=17972/tid=17973] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 1.91 3/183 18184
/proc/meminfo: memFree=28877436/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1314372 CPUtime=1661.83 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 270011 0 0 0 166112 71 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140734523351488 5523539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 328593 269695 788 2943 0 325487 0
[pid=17972/tid=17973] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 1.92 3/184 18188
/proc/meminfo: memFree=28872636/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1314372 CPUtime=1721.82 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 270011 0 0 0 172110 72 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140734523351488 5669575 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 328593 269695 788 2943 0 325487 0
[pid=17972/tid=17973] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 1.92 3/183 18189
/proc/meminfo: memFree=28872228/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1314372 CPUtime=1781.81 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 270011 0 0 0 178109 72 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140734523351488 5822275 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 328593 269695 788 2943 0 325487 0
[pid=17972/tid=17973] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 1.92 3/183 18191
/proc/meminfo: memFree=28872416/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1314372 CPUtime=1800.01 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 270011 0 0 0 179928 73 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140734523352584 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 328593 269695 788 2943 0 325487 0
[pid=17972/tid=17973] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1314372

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

[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 1.92 3/183 18191
/proc/meminfo: memFree=28872416/32872528 swapFree=240816/273520
[pid=17972] ppid=17969 vsize=1314372 CPUtime=1800.01 cores=1,3,5,7
/proc/17972/stat : 17972 (toysat) R 17969 17972 15535 0 -1 4202496 270011 0 0 0 179928 73 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140734523352584 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17972/statm: 328593 269695 788 2943 0 325487 0
[pid=17972/tid=17973] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17973/stat : 17973 (toysat) S 17969 17972 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449902734576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17972/tid=17974] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17974/stat : 17974 (toysat) S 17969 17972 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449892244720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17972/tid=17975] ppid=17969 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17972/task/17975/stat : 17975 (toysat) S 17969 17972 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10660668 1345916928 269695 33554432000 4194304 16246674 140734523369584 140449881771184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1314372

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.29
CPU system time (s): 0.730888
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.730888
maximum resident set size= 1078780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270011
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= 405
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.566 second user time and 8.85465 second system time

The end

Begin job on node107 at 2016-06-30 21:51:36
IDJOB=4122162
IDBENCH=110953
IDSOLVER=2542
FILE ID=node107/4122162-1467316296
RUNJOBID= node107-1467316293-17793
PBS_JOBID= 20005268
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-75.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122162-1467316296/watcher-4122162-1467316296 -o /tmp/evaluation-result-4122162-1467316296/solver-4122162-1467316296 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467316293-17793 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122162-1467316296.opb

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

MD5SUM BENCH= 6d4fd78673f3bb9351f5abf64f972836
RANDOM SEED=281015666

node107.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		: 2667.110
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	: 5334.22
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		: 2667.110
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		: 2667.110
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.39
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		: 2667.110
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		: 2667.110
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.54
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		: 2667.110
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		: 2667.110
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.56
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		: 2667.110
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:        29970632 kB
Buffers:          134624 kB
Cached:           669760 kB
SwapCached:            0 kB
Active:          1342648 kB
Inactive:         542556 kB
Active(anon):    1083384 kB
Inactive(anon):        4 kB
Active(file):     259264 kB
Inactive(file):   542552 kB
Unevictable:      273520 kB
Mlocked:          240816 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32992 kB
Writeback:             0 kB
AnonPages:       1356544 kB
Mapped:            16964 kB
Shmem:               204 kB
Slab:             610444 kB
SReclaimable:      53908 kB
SUnreclaim:       556536 kB
KernelStack:        1520 kB
PageTables:         6508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1493240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node107 at 2016-06-30 22:21:37