0.00/0.00	c 2016-06-30T21:17:50+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-4121370-1467314269.opb"]
0.00/0.01	c use --random-gen="696994272 2017635631 3294173230 4134121689 702694844 1062957064 548271082 3396961095 729402935 978979020 463160755 679000734 1668365969 2952471442 440202694 3870384458 1585236210 404037545 134812424 3977012145 4277138001 2983826912 2017362470 2121454970 728874383 1024089578 1503656359 2075754973 3346877672 3645375223 3724210162 3209662296 1018408980 4204273655 604314424 3734360822 3010833801 1283542685 2093418336 3958403184 3203052432 2595873536 2950410024 3521995684 2697163815 441885293 4172977660 1174361235 2280956498 2807509083 3883485521 3266543012 2390354433 2580327956 4133592678 168430199 520238083 2462191428 2723223267 3061088116 107879726 4250868495 966261075 757362034 259486273 3663524603 2432293703 2043223321 1885888652 921893105 649590121 4141566056 2844493676 2271609534 1537493944 2267035662 842863082 3205016450 275253422 1577322214 961945798 4272274127 2367112848 3805842546 125037778 2114674497 1931746648 291581061 2002882947 642931173 1322009596 2069979672 2973517744 3518355932 4006355597 1093555063 677427031 2676238744 69724903 2953231010 192071163 3505582974 2782500259 1501949459 2706722261 1150521361 1780515272 2422195945 2228049017 1162947207 3292038035 4121934844 3573216748 2277734645 2218187862 2209657490 1920610418 1815152144 4088317900 1912320449 2789781583 2805509439 11926241 736254702 3313383520 1867599436 1360709755 2713431711 2073634852 1580110085 1299414487 756392511 2739456505 814850958 4155855991 2821611083 2654538156 608385136 3510177405 2516712859 1251137307 2395284054 4137561036 1917228068 2523692004 3754535390 2361739887 3181370943 3132742347 4172683926 1503668892 506975524 3377509670 1348096629 2839590849 694618851 789552652 2057642739 1213191479 1530517852 1686822096 1197221751 2932188172 1096745388 144115953 3934090567 3035651937 1188115283 2291239725 3357981928 514917456 2075278595 2915191024 741328852 2285671749 2626710562 2685959436 1305416837 1397190779 2523657145 3673544925 1366542090 1531669449 2762176512 4162768225 2366213006 2323634617 1512884908 3718741795 2682404018 1873321812 1706816502 254971080 2914329725 982806829 2729163452 434609268 2032783671 3007415759 1766957281 1788445591 2308804957 3883679453 1850182561 2616625283 2646268719 2790010663 4199056241 1114528198 2057865288 1060877321 1423268676 3904602590 3852970953 562487201 3799877405 1818984285 2264570399 1933593159 713511358 4179951231 1649203356 290954520 1867197010 803111086 3509514019 2596292374 3921209229 455085845 2092822070 204985748 2777438813 3844582770 120335965 2590389427 2464744166 2382167457 1082908722 1332259900 805180527 84227415 652678129 1394501933 54499705 2571185038 302256842 1613063210 430700447 1183432497 3075623495 2087271640 284757765 3007681496 2007840758 2782813608 2081462609 255 362436" option to reproduce the execution
0.00/0.01	c #vars 144
0.00/0.01	c #constraints 384
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 |      176      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      163 |      100 |      176      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      372 |      250 |      194      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |      734 |      475 |      214      2 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1228 |      813 |      236      4 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1824 |     1320 |      260      7 |        0 |        0
0.19/0.22	c  0.2s |       6 |     2853 |     2081 |      315     12 |        0 |        0
0.29/0.34	c  0.3s |       7 |     4056 |     3223 |      347     18 |        0 |        0
0.49/0.51	c  0.5s |       8 |     6055 |     4936 |      382     26 |        0 |        0
0.79/0.81	c  0.8s |       9 |     8750 |     7506 |      421     39 |        0 |        0
1.10/1.18	c  1.2s |      10 |    13239 |    11361 |      464     56 |        0 |        0
1.59/1.61	c  1.6s |      11 |    21252 |    17144 |      511     80 |        0 |        0
2.19/2.24	c  2.2s |      12 |    34469 |    25819 |      563    112 |        0 |        0
3.18/3.22	c  3.2s |      13 |    51083 |    38832 |      620    157 |        0 |        0
4.58/4.63	c  4.6s |      14 |    79766 |    58352 |      682    218 |        0 |        0
6.59/6.63	c  6.6s |      14 |   112202 |    83252 |      682    289 |        0 |        0
6.88/6.99	c  7.0s |      15 |   117795 |    87632 |      751    301 |        0 |        0
8.90/8.99	c  9.0s |      15 |   151863 |   113432 |      751    369 |        0 |        0
10.29/10.36	c 10.3s |      16 |   175550 |   131552 |      827    416 |        0 |        0
12.29/12.36	c 12.3s |      16 |   215452 |   159152 |      827    481 |        0 |        0
14.29/14.37	c 14.3s |      16 |   257728 |   188352 |      827    551 |        0 |        0
14.98/15.06	c 15.0s |      17 |   270192 |   197432 |      910    572 |        0 |        0
16.98/17.06	c 17.0s |      17 |   307533 |   224632 |      910    631 |        0 |        0
18.98/19.06	c 19.0s |      17 |   347836 |   253132 |      910    693 |        0 |        0
20.99/21.07	c 21.0s |      17 |   384630 |   280632 |      910    753 |        0 |        0
22.09/22.14	c 22.1s |      18 |   407440 |   296252 |     1002    786 |        0 |        0
24.08/24.15	c 24.1s |      18 |   445914 |   323952 |     1002    841 |        0 |        0
26.08/26.15	c 26.1s |      18 |   481613 |   350952 |     1002    894 |        0 |        0
28.08/28.16	c 28.1s |      18 |   515187 |   376652 |     1002    945 |        0 |        0
30.08/30.17	c 30.1s |      18 |   552004 |   403352 |     1002    997 |        0 |        0
32.08/32.17	c 32.2s |      18 |   586059 |   429052 |     1002   1048 |        0 |        0
33.29/33.31	c 33.3s |      19 |   607639 |   444482 |     1103   1078 |        0 |        0
35.29/35.31	c 35.3s |      19 |   647259 |   471682 |     1103   1127 |        0 |        0
37.28/37.32	c 37.3s |      19 |   684380 |   498982 |     1103   1176 |        0 |        0
39.28/39.32	c 39.3s |      19 |   720465 |   525282 |     1103   1223 |        0 |        0
41.28/41.33	c 41.3s |      19 |   758036 |   551882 |     1103   1271 |        0 |        0
43.28/43.33	c 43.3s |      19 |   794711 |   579182 |     1103   1320 |        0 |        0
45.28/45.33	c 45.3s |      19 |   829128 |   604682 |     1103   1366 |        0 |        0
47.29/47.33	c 47.3s |      19 |   856335 |   627282 |     1103   1407 |        0 |        0
49.28/49.33	c 49.3s |      19 |   890061 |   652882 |     1103   1453 |        0 |        0
50.28/50.39	c 50.4s |      20 |   909653 |   666827 |     1214   1477 |        0 |        0
52.38/52.40	c 52.4s |      20 |   940838 |   690727 |     1214   1516 |        0 |        0
54.38/54.40	c 54.4s |      20 |   971685 |   714027 |     1214   1554 |        0 |        0
56.38/56.40	c 56.4s |      20 |  1001354 |   737227 |     1214   1592 |        0 |        0
58.38/58.41	c 58.4s |      20 |  1031561 |   761327 |     1214   1631 |        0 |        0
60.37/60.41	c 60.4s |      20 |  1061605 |   785327 |     1214   1670 |        0 |        0
62.37/62.41	c 62.4s |      20 |  1090450 |   808927 |     1214   1709 |        0 |        0
64.37/64.41	c 64.4s |      20 |  1124255 |   834127 |     1214   1750 |        0 |        0
66.37/66.42	c 66.4s |      20 |  1158592 |   859527 |     1214   1791 |        0 |        0
68.37/68.42	c 68.4s |      20 |  1191831 |   884527 |     1214   1832 |        0 |        0
70.38/70.42	c 70.4s |      20 |  1222423 |   907627 |     1214   1870 |        0 |        0
72.37/72.43	c 72.4s |      20 |  1253915 |   931727 |     1214   1909 |        0 |        0
74.37/74.43	c 74.4s |      20 |  1281995 |   954527 |     1214   1946 |        0 |        0
76.37/76.44	c 76.4s |      20 |  1313566 |   978227 |     1214   1985 |        0 |        0
78.27/78.32	c 78.3s |      21 |  1341581 |  1000345 |     1336   2020 |        0 |        0
80.28/80.33	c 80.3s |      21 |  1378973 |  1026445 |     1336   2059 |        0 |        0
82.28/82.33	c 82.3s |      21 |  1409847 |  1050445 |     1336   2095 |        0 |        0
84.28/84.34	c 84.3s |      21 |  1445571 |  1076445 |     1336   2133 |        0 |        0
86.27/86.35	c 86.3s |      21 |  1476746 |  1100245 |     1336   2169 |        0 |        0
88.27/88.35	c 88.3s |      21 |  1510296 |  1125145 |     1336   2206 |        0 |        0
90.28/90.35	c 90.3s |      21 |  1541571 |  1148945 |     1336   2241 |        0 |        0
92.27/92.36	c 92.3s |      21 |  1576538 |  1174445 |     1336   2279 |        0 |        0
94.27/94.36	c 94.3s |      21 |  1610775 |  1200345 |     1336   2317 |        0 |        0
96.27/96.36	c 96.3s |      21 |  1642138 |  1224645 |     1336   2354 |        0 |        0
98.27/98.36	c 98.3s |      21 |  1671165 |  1245745 |     1336   2385 |        0 |        0
100.27/100.36	c  100s |      21 |  1702165 |  1269445 |     1336   2421 |        0 |        0
102.28/102.37	c  102s |      21 |  1734191 |  1293145 |     1336   2456 |        0 |        0
104.27/104.37	c  104s |      21 |  1765449 |  1316645 |     1336   2491 |        0 |        0
106.27/106.38	c  106s |      21 |  1798678 |  1341045 |     1336   2527 |        0 |        0
108.27/108.38	c  108s |      21 |  1831864 |  1366245 |     1336   2564 |        0 |        0
110.27/110.39	c  110s |      21 |  1864452 |  1390345 |     1336   2600 |        0 |        0
112.28/112.39	c  112s |      21 |  1898652 |  1415145 |     1336   2637 |        0 |        0
114.27/114.39	c  114s |      21 |  1927079 |  1437645 |     1336   2671 |        0 |        0
116.37/116.40	c  116s |      21 |  1958774 |  1461845 |     1336   2707 |        0 |        0
118.36/118.41	c  118s |      21 |  1988110 |  1484945 |     1336   2741 |        0 |        0
119.77/119.90	c  119s |      22 |  2007128 |  1500622 |     1470   2763 |        0 |        0
121.87/121.91	c  121s |      22 |  2035693 |  1522022 |     1470   2791 |        0 |        0
123.87/123.92	c  123s |      22 |  2062800 |  1542822 |     1470   2820 |        0 |        0
125.87/125.92	c  125s |      22 |  2092855 |  1564822 |     1470   2849 |        0 |        0
127.87/127.93	c  127s |      22 |  2124270 |  1587822 |     1470   2880 |        0 |        0
129.88/129.93	c  129s |      22 |  2153863 |  1609722 |     1470   2910 |        0 |        0
131.87/131.94	c  131s |      22 |  2182180 |  1631022 |     1470   2939 |        0 |        0
133.86/133.95	c  133s |      22 |  2213167 |  1653222 |     1470   2969 |        0 |        0
135.86/135.96	c  135s |      22 |  2244243 |  1676122 |     1470   3000 |        0 |        0
137.86/137.96	c  137s |      22 |  2276065 |  1699022 |     1470   3030 |        0 |        0
139.86/139.97	c  139s |      22 |  2305806 |  1722422 |     1470   3062 |        0 |        0
141.87/141.97	c  141s |      22 |  2335719 |  1743822 |     1470   3091 |        0 |        0
143.86/143.98	c  143s |      22 |  2365114 |  1766422 |     1470   3122 |        0 |        0
145.86/145.98	c  145s |      22 |  2396040 |  1789622 |     1470   3153 |        0 |        0
147.86/147.99	c  147s |      22 |  2425039 |  1811822 |     1470   3183 |        0 |        0
149.86/149.99	c  149s |      22 |  2455786 |  1834822 |     1470   3214 |        0 |        0
151.96/152.00	c  151s |      22 |  2489217 |  1859322 |     1470   3247 |        0 |        0
153.86/154.00	c  153s |      22 |  2521586 |  1883022 |     1470   3279 |        0 |        0
155.96/156.01	c  155s |      22 |  2555725 |  1907222 |     1470   3312 |        0 |        0
157.96/158.01	c  157s |      22 |  2587299 |  1930322 |     1470   3343 |        0 |        0
159.96/160.02	c  159s |      22 |  2620394 |  1954122 |     1470   3376 |        0 |        0
161.96/162.02	c  162s |      22 |  2653327 |  1976822 |     1470   3406 |        0 |        0
163.97/164.02	c  164s |      22 |  2685760 |  1999722 |     1470   3437 |        0 |        0
165.96/166.03	c  166s |      22 |  2719092 |  2023922 |     1470   3470 |        0 |        0
167.95/168.03	c  168s |      22 |  2750281 |  2047322 |     1470   3502 |        0 |        0
169.95/170.03	c  170s |      22 |  2782847 |  2071422 |     1470   3534 |        0 |        0
171.95/172.04	c  172s |      22 |  2814774 |  2095222 |     1470   3567 |        0 |        0
173.95/174.05	c  174s |      22 |  2848186 |  2119522 |     1470   3600 |        0 |        0
175.96/176.05	c  176s |      22 |  2878589 |  2142722 |     1470   3631 |        0 |        0
177.95/178.05	c  178s |      22 |  2908762 |  2165222 |     1470   3661 |        0 |        0
179.95/180.06	c  180s |      22 |  2935365 |  2186522 |     1470   3690 |        0 |        0
181.95/182.06	c  182s |      22 |  2965094 |  2209422 |     1470   3721 |        0 |        0
183.95/184.07	c  184s |      22 |  2998243 |  2233222 |     1470   3753 |        0 |        0
185.66/185.74	c  185s |      23 |  3021210 |  2251038 |     1618   3775 |        0 |        0
187.66/187.75	c  187s |      23 |  3047310 |  2270638 |     1618   3799 |        0 |        0
189.66/189.75	c  189s |      23 |  3071383 |  2289738 |     1618   3822 |        0 |        0
191.66/191.75	c  191s |      23 |  3095485 |  2308338 |     1618   3845 |        0 |        0
193.66/193.76	c  193s |      23 |  3117036 |  2325938 |     1618   3866 |        0 |        0
195.66/195.77	c  195s |      23 |  3140962 |  2344038 |     1618   3888 |        0 |        0
197.66/197.77	c  197s |      23 |  3163650 |  2362238 |     1618   3911 |        0 |        0
199.66/199.78	c  199s |      23 |  3188685 |  2382138 |     1618   3935 |        0 |        0
201.66/201.79	c  201s |      23 |  3216884 |  2403938 |     1618   3962 |        0 |        0
203.76/203.80	c  203s |      23 |  3244406 |  2425438 |     1618   3989 |        0 |        0
205.76/205.80	c  205s |      23 |  3270853 |  2445438 |     1618   4013 |        0 |        0
207.75/207.81	c  207s |      23 |  3299381 |  2467138 |     1618   4040 |        0 |        0
209.75/209.82	c  209s |      23 |  3328109 |  2489538 |     1618   4068 |        0 |        0
211.75/211.83	c  211s |      23 |  3359616 |  2513238 |     1618   4097 |        0 |        0
213.75/213.83	c  213s |      23 |  3389366 |  2535838 |     1618   4125 |        0 |        0
215.75/215.84	c  215s |      23 |  3418878 |  2557538 |     1618   4151 |        0 |        0
217.75/217.84	c  217s |      23 |  3445887 |  2578538 |     1618   4177 |        0 |        0
219.75/219.84	c  219s |      23 |  3473704 |  2600438 |     1618   4204 |        0 |        0
221.75/221.85	c  221s |      23 |  3498434 |  2620338 |     1618   4228 |        0 |        0
223.75/223.85	c  223s |      23 |  3530007 |  2643638 |     1618   4257 |        0 |        0
225.75/225.86	c  225s |      23 |  3559560 |  2666038 |     1618   4284 |        0 |        0
227.76/227.87	c  227s |      23 |  3589060 |  2688638 |     1618   4312 |        0 |        0
229.75/229.87	c  229s |      23 |  3619573 |  2711938 |     1618   4341 |        0 |        0
231.75/231.87	c  231s |      23 |  3650915 |  2734438 |     1618   4369 |        0 |        0
233.75/233.88	c  233s |      23 |  3681309 |  2757038 |     1618   4396 |        0 |        0
235.75/235.88	c  235s |      23 |  3711430 |  2778938 |     1618   4423 |        0 |        0
237.74/237.88	c  237s |      23 |  3744886 |  2802938 |     1618   4453 |        0 |        0
239.75/239.89	c  239s |      23 |  3775098 |  2825638 |     1618   4481 |        0 |        0
241.75/241.89	c  241s |      23 |  3806404 |  2848838 |     1618   4509 |        0 |        0
243.75/243.89	c  243s |      23 |  3837064 |  2872138 |     1618   4538 |        0 |        0
245.85/245.90	c  245s |      23 |  3865532 |  2894438 |     1618   4565 |        0 |        0
247.85/247.90	c  247s |      23 |  3895194 |  2916838 |     1618   4593 |        0 |        0
249.85/249.90	c  249s |      23 |  3925196 |  2939938 |     1618   4621 |        0 |        0
251.86/251.90	c  251s |      23 |  3951106 |  2960538 |     1618   4647 |        0 |        0
253.85/253.91	c  253s |      23 |  3980239 |  2982338 |     1618   4674 |        0 |        0
255.85/255.91	c  255s |      23 |  4007463 |  3002438 |     1618   4698 |        0 |        0
257.85/257.92	c  257s |      23 |  4031160 |  3021738 |     1618   4722 |        0 |        0
259.84/259.92	c  259s |      23 |  4058502 |  3043338 |     1618   4749 |        0 |        0
261.85/261.92	c  261s |      23 |  4086734 |  3064238 |     1618   4774 |        0 |        0
263.84/263.92	c  263s |      23 |  4115506 |  3085438 |     1618   4800 |        0 |        0
265.84/265.93	c  265s |      23 |  4142281 |  3105638 |     1618   4825 |        0 |        0
267.84/267.93	c  267s |      23 |  4167340 |  3124738 |     1618   4849 |        0 |        0
269.84/269.94	c  269s |      23 |  4193056 |  3143338 |     1618   4871 |        0 |        0
271.84/271.95	c  271s |      23 |  4220731 |  3164138 |     1618   4897 |        0 |        0
273.85/273.96	c  273s |      23 |  4248086 |  3184438 |     1618   4922 |        0 |        0
275.84/275.96	c  275s |      23 |  4279248 |  3206338 |     1618   4949 |        0 |        0
277.84/277.97	c  277s |      23 |  4307180 |  3227038 |     1618   4974 |        0 |        0
279.84/279.98	c  279s |      23 |  4334341 |  3248038 |     1618   5000 |        0 |        0
281.85/281.98	c  281s |      23 |  4363125 |  3270238 |     1618   5028 |        0 |        0
283.85/283.98	c  283s |      23 |  4393465 |  3292738 |     1618   5055 |        0 |        0
285.84/285.99	c  285s |      23 |  4421880 |  3314638 |     1618   5082 |        0 |        0
287.94/288.00	c  287s |      23 |  4452189 |  3337238 |     1618   5110 |        0 |        0
289.94/290.00	c  289s |      23 |  4481226 |  3359238 |     1780   5136 |        0 |        0
291.55/291.66	c  291s |      24 |  4503799 |  3376662 |     1780   5156 |        0 |        0
293.54/293.67	c  293s |      24 |  4526355 |  3394862 |     1780   5176 |        0 |        0
295.54/295.68	c  295s |      24 |  4554647 |  3415862 |     1780   5200 |        0 |        0
297.54/297.68	c  297s |      24 |  4582141 |  3436862 |     1780   5223 |        0 |        0
299.54/299.68	c  299s |      24 |  4611044 |  3457462 |     1780   5246 |        0 |        0
301.54/301.69	c  301s |      24 |  4639600 |  3479062 |     1780   5270 |        0 |        0
303.54/303.69	c  303s |      24 |  4664915 |  3499162 |     1780   5292 |        0 |        0
305.64/305.70	c  305s |      24 |  4692180 |  3519862 |     1780   5316 |        0 |        0
307.64/307.70	c  307s |      24 |  4717674 |  3539762 |     1780   5338 |        0 |        0
309.63/309.71	c  309s |      24 |  4745346 |  3560762 |     1780   5361 |        0 |        0
311.63/311.71	c  311s |      24 |  4770986 |  3580762 |     1780   5384 |        0 |        0
313.63/313.71	c  313s |      24 |  4796358 |  3600162 |     1780   5405 |        0 |        0
315.64/315.73	c  315s |      24 |  4822452 |  3620062 |     1780   5428 |        0 |        0
317.63/317.73	c  317s |      24 |  4850236 |  3640962 |     1780   5451 |        0 |        0
319.63/319.73	c  319s |      24 |  4877572 |  3661162 |     1780   5474 |        0 |        0
321.63/321.74	c  321s |      24 |  4903642 |  3680562 |     1780   5495 |        0 |        0
323.63/323.74	c  323s |      24 |  4928951 |  3699262 |     1780   5516 |        0 |        0
325.65/325.75	c  325s |      24 |  4955404 |  3718762 |     1780   5538 |        0 |        0
327.64/327.76	c  327s |      24 |  4982398 |  3738562 |     1780   5560 |        0 |        0
329.64/329.76	c  329s |      24 |  5008478 |  3758362 |     1780   5582 |        0 |        0
331.64/331.76	c  331s |      24 |  5033499 |  3776862 |     1780   5603 |        0 |        0
333.64/333.76	c  333s |      24 |  5057648 |  3795762 |     1780   5624 |        0 |        0
335.64/335.77	c  335s |      24 |  5083717 |  3814362 |     1780   5645 |        0 |        0
337.64/337.77	c  337s |      24 |  5108607 |  3832562 |     1780   5665 |        0 |        0
339.63/339.78	c  339s |      24 |  5131029 |  3850762 |     1780   5686 |        0 |        0
341.63/341.78	c  341s |      24 |  5156951 |  3870562 |     1780   5708 |        0 |        0
343.63/343.79	c  343s |      24 |  5184567 |  3891262 |     1780   5731 |        0 |        0
345.63/345.79	c  345s |      24 |  5211823 |  3911162 |     1780   5753 |        0 |        0
347.73/347.80	c  347s |      24 |  5238759 |  3931462 |     1780   5776 |        0 |        0
349.63/349.80	c  349s |      24 |  5265956 |  3951762 |     1780   5799 |        0 |        0
351.73/351.80	c  351s |      24 |  5290496 |  3970662 |     1780   5820 |        0 |        0
353.73/353.80	c  353s |      24 |  5315123 |  3989262 |     1780   5840 |        0 |        0
355.73/355.81	c  355s |      24 |  5338382 |  4007362 |     1780   5861 |        0 |        0
357.73/357.82	c  357s |      24 |  5363882 |  4026162 |     1780   5882 |        0 |        0
359.74/359.82	c  359s |      24 |  5389105 |  4045662 |     1780   5903 |        0 |        0
361.73/361.82	c  361s |      24 |  5415554 |  4065562 |     1780   5926 |        0 |        0
363.73/363.83	c  363s |      24 |  5442301 |  4085762 |     1780   5948 |        0 |        0
365.73/365.84	c  365s |      24 |  5468693 |  4105262 |     1780   5970 |        0 |        0
367.73/367.84	c  367s |      24 |  5495037 |  4125262 |     1780   5993 |        0 |        0
369.73/369.84	c  369s |      24 |  5517166 |  4143662 |     1780   6013 |        0 |        0
371.74/371.85	c  371s |      24 |  5539053 |  4161162 |     1780   6033 |        0 |        0
373.73/373.85	c  373s |      24 |  5564817 |  4180262 |     1780   6054 |        0 |        0
375.73/375.86	c  375s |      24 |  5592479 |  4200962 |     1780   6077 |        0 |        0
377.73/377.86	c  377s |      24 |  5619542 |  4220762 |     1780   6099 |        0 |        0
379.72/379.87	c  379s |      24 |  5647572 |  4241362 |     1780   6122 |        0 |        0
381.73/381.87	c  381s |      24 |  5676035 |  4262062 |     1780   6146 |        0 |        0
383.72/383.88	c  383s |      24 |  5702078 |  4281962 |     1780   6168 |        0 |        0
385.72/385.88	c  385s |      24 |  5728649 |  4302462 |     1780   6191 |        0 |        0
387.72/387.89	c  387s |      24 |  5755011 |  4321962 |     1780   6213 |        0 |        0
389.72/389.89	c  389s |      24 |  5781554 |  4342562 |     1780   6236 |        0 |        0
391.72/391.89	c  391s |      24 |  5810549 |  4364362 |     1780   6260 |        0 |        0
393.72/393.90	c  393s |      24 |  5834624 |  4383362 |     1780   6281 |        0 |        0
395.81/395.91	c  395s |      24 |  5859790 |  4402962 |     1780   6303 |        0 |        0
397.81/397.91	c  397s |      24 |  5888665 |  4424362 |     1780   6327 |        0 |        0
399.81/399.92	c  399s |      24 |  5917027 |  4445162 |     1780   6350 |        0 |        0
401.81/401.92	c  401s |      24 |  5945775 |  4466962 |     1780   6375 |        0 |        0
403.81/403.93	c  403s |      24 |  5969959 |  4486462 |     1780   6397 |        0 |        0
405.82/405.93	c  405s |      24 |  5998126 |  4506562 |     1780   6419 |        0 |        0
407.81/407.94	c  407s |      24 |  6025325 |  4527262 |     1780   6442 |        0 |        0
409.80/409.94	c  409s |      24 |  6050536 |  4546262 |     1780   6463 |        0 |        0
411.80/411.94	c  411s |      24 |  6078399 |  4566762 |     1780   6486 |        0 |        0
413.81/413.95	c  413s |      24 |  6105087 |  4586862 |     1780   6509 |        0 |        0
415.82/415.95	c  415s |      24 |  6134027 |  4607762 |     1780   6532 |        0 |        0
417.81/417.96	c  417s |      24 |  6162968 |  4629562 |     1780   6557 |        0 |        0
419.80/419.97	c  419s |      24 |  6191518 |  4651062 |     1780   6581 |        0 |        0
421.80/421.98	c  421s |      24 |  6215414 |  4669762 |     1780   6602 |        0 |        0
423.80/423.98	c  423s |      24 |  6243695 |  4690462 |     1780   6625 |        0 |        0
425.80/425.99	c  425s |      24 |  6268071 |  4709862 |     1780   6647 |        0 |        0
427.81/427.99	c  427s |      24 |  6295974 |  4730562 |     1780   6670 |        0 |        0
429.80/429.99	c  429s |      24 |  6322789 |  4751162 |     1780   6693 |        0 |        0
431.90/432.00	c  431s |      24 |  6350074 |  4771762 |     1780   6716 |        0 |        0
433.90/434.00	c  433s |      24 |  6376361 |  4792262 |     1780   6739 |        0 |        0
435.90/436.01	c  435s |      24 |  6397454 |  4809862 |     1780   6758 |        0 |        0
437.89/438.01	c  437s |      24 |  6420049 |  4826862 |     1780   6777 |        0 |        0
439.90/440.01	c  439s |      24 |  6445895 |  4845762 |     1780   6798 |        0 |        0
441.89/442.01	c  441s |      24 |  6474646 |  4866862 |     1780   6822 |        0 |        0
443.89/444.01	c  443s |      24 |  6504900 |  4888362 |     1780   6846 |        0 |        0
445.89/446.02	c  445s |      24 |  6533990 |  4909162 |     1780   6869 |        0 |        0
447.88/448.03	c  448s |      24 |  6557390 |  4927362 |     1780   6890 |        0 |        0
449.89/450.03	c  450s |      24 |  6581836 |  4946062 |     1780   6911 |        0 |        0
451.89/452.03	c  452s |      24 |  6608291 |  4965962 |     1780   6933 |        0 |        0
453.89/454.03	c  454s |      24 |  6637344 |  4987262 |     1780   6957 |        0 |        0
455.89/456.04	c  456s |      24 |  6661080 |  5006162 |     1780   6978 |        0 |        0
457.89/458.05	c  458s |      24 |  6685577 |  5025562 |     1780   7000 |        0 |        0
459.89/460.06	c  460s |      24 |  6714175 |  5046262 |     1959   7021 |        0 |        0
461.68/461.87	c  461s |      25 |  6740048 |  5065098 |     1959   7040 |        0 |        0
463.68/463.87	c  463s |      25 |  6761621 |  5081198 |     1959   7056 |        0 |        0
465.68/465.87	c  465s |      25 |  6783512 |  5098098 |     1959   7073 |        0 |        0
467.68/467.89	c  467s |      25 |  6807038 |  5115998 |     1959   7092 |        0 |        0
469.78/469.90	c  469s |      25 |  6830615 |  5134198 |     1959   7110 |        0 |        0
471.68/471.90	c  471s |      25 |  6855237 |  5152798 |     1959   7129 |        0 |        0
473.78/473.90	c  473s |      25 |  6878442 |  5171198 |     1959   7148 |        0 |        0
475.77/475.90	c  475s |      25 |  6903936 |  5190198 |     1959   7167 |        0 |        0
477.77/477.92	c  477s |      25 |  6929282 |  5209398 |     1959   7186 |        0 |        0
479.77/479.92	c  479s |      25 |  6954677 |  5228098 |     1959   7205 |        0 |        0
481.77/481.93	c  481s |      25 |  6975940 |  5245098 |     1959   7223 |        0 |        0
483.77/483.93	c  483s |      25 |  7002111 |  5263198 |     1959   7241 |        0 |        0
485.77/485.93	c  485s |      25 |  7027255 |  5280998 |     1959   7259 |        0 |        0
487.77/487.94	c  487s |      25 |  7050638 |  5298398 |     1959   7277 |        0 |        0
489.76/489.95	c  489s |      25 |  7074612 |  5315898 |     1959   7295 |        0 |        0
491.76/491.95	c  491s |      25 |  7097146 |  5333198 |     1959   7312 |        0 |        0
493.77/493.95	c  493s |      25 |  7121114 |  5351998 |     1959   7331 |        0 |        0
495.76/495.96	c  495s |      25 |  7148461 |  5371698 |     1959   7351 |        0 |        0
497.76/497.96	c  497s |      25 |  7171803 |  5390398 |     1959   7370 |        0 |        0
499.76/499.96	c  499s |      25 |  7198836 |  5410498 |     1959   7391 |        0 |        0
501.76/501.97	c  501s |      25 |  7222645 |  5429198 |     1959   7410 |        0 |        0
503.76/503.97	c  503s |      25 |  7250962 |  5449798 |     1959   7431 |        0 |        0
505.75/505.98	c  505s |      25 |  7275323 |  5468898 |     1959   7450 |        0 |        0
507.75/507.98	c  507s |      25 |  7300526 |  5488598 |     1959   7470 |        0 |        0
509.75/509.98	c  509s |      25 |  7324117 |  5506498 |     1959   7488 |        0 |        0
511.75/511.99	c  511s |      25 |  7349223 |  5525598 |     1959   7508 |        0 |        0
513.86/514.01	c  513s |      25 |  7372267 |  5543998 |     1959   7527 |        0 |        0
515.86/516.02	c  515s |      25 |  7398559 |  5562898 |     1959   7546 |        0 |        0
517.86/518.03	c  518s |      25 |  7425700 |  5582098 |     1959   7565 |        0 |        0
519.85/520.03	c  520s |      25 |  7450278 |  5600698 |     1959   7584 |        0 |        0
521.85/522.04	c  522s |      25 |  7478183 |  5620698 |     1959   7605 |        0 |        0
523.85/524.05	c  524s |      25 |  7506579 |  5641498 |     1959   7626 |        0 |        0
525.85/526.06	c  526s |      25 |  7534899 |  5662698 |     1959   7647 |        0 |        0
527.86/528.06	c  528s |      25 |  7561684 |  5682998 |     1959   7668 |        0 |        0
529.84/530.06	c  530s |      25 |  7589814 |  5703798 |     1959   7689 |        0 |        0
531.84/532.06	c  532s |      25 |  7616388 |  5723998 |     1959   7710 |        0 |        0
533.84/534.07	c  534s |      25 |  7642357 |  5743698 |     1959   7730 |        0 |        0
535.84/536.07	c  536s |      25 |  7668511 |  5762998 |     1959   7749 |        0 |        0
537.85/538.07	c  538s |      25 |  7692997 |  5782098 |     1959   7769 |        0 |        0
539.84/540.08	c  540s |      25 |  7720622 |  5802998 |     1959   7790 |        0 |        0
541.84/542.08	c  542s |      25 |  7745827 |  5822498 |     1959   7810 |        0 |        0
543.84/544.09	c  544s |      25 |  7774748 |  5844198 |     1959   7832 |        0 |        0
545.84/546.09	c  546s |      25 |  7801860 |  5864798 |     1959   7853 |        0 |        0
547.83/548.09	c  548s |      25 |  7829777 |  5885898 |     1959   7874 |        0 |        0
549.94/550.10	c  550s |      25 |  7858239 |  5907598 |     1959   7896 |        0 |        0
551.93/552.10	c  552s |      25 |  7887579 |  5929098 |     1959   7918 |        0 |        0
553.93/554.11	c  554s |      25 |  7916012 |  5950098 |     1959   7940 |        0 |        0
555.93/556.11	c  556s |      25 |  7944342 |  5971098 |     1959   7961 |        0 |        0
557.93/558.11	c  558s |      25 |  7972667 |  5991998 |     1959   7982 |        0 |        0
559.92/560.12	c  560s |      25 |  7998074 |  6012098 |     1959   8003 |        0 |        0
561.94/562.12	c  562s |      25 |  8023405 |  6031698 |     1959   8023 |        0 |        0
563.93/564.12	c  564s |      25 |  8050218 |  6051798 |     1959   8043 |        0 |        0
565.93/566.13	c  566s |      25 |  8078649 |  6072498 |     1959   8064 |        0 |        0
567.93/568.13	c  568s |      25 |  8108306 |  6093698 |     1959   8086 |        0 |        0
569.92/570.13	c  570s |      25 |  8137676 |  6114798 |     1959   8107 |        0 |        0
571.93/572.14	c  572s |      25 |  8163705 |  6134798 |     1959   8128 |        0 |        0
573.92/574.15	c  574s |      25 |  8189044 |  6154198 |     1959   8147 |        0 |        0
575.92/576.16	c  576s |      25 |  8217672 |  6174998 |     1959   8168 |        0 |        0
577.92/578.16	c  578s |      25 |  8242732 |  6194498 |     1959   8188 |        0 |        0
579.91/580.16	c  580s |      25 |  8269338 |  6214398 |     1959   8208 |        0 |        0
581.91/582.16	c  582s |      25 |  8294314 |  6233898 |     1959   8228 |        0 |        0
583.92/584.17	c  584s |      25 |  8321429 |  6254298 |     1959   8249 |        0 |        0
585.91/586.18	c  586s |      25 |  8346057 |  6273798 |     1959   8269 |        0 |        0
587.91/588.18	c  588s |      25 |  8373620 |  6294198 |     1959   8290 |        0 |        0
589.91/590.19	c  590s |      25 |  8401560 |  6314898 |     1959   8311 |        0 |        0
591.91/592.20	c  592s |      25 |  8427069 |  6334198 |     1959   8330 |        0 |        0
594.00/594.20	c  594s |      25 |  8453593 |  6354798 |     1959   8351 |        0 |        0
596.01/596.21	c  596s |      25 |  8481056 |  6375398 |     1959   8372 |        0 |        0
598.00/598.21	c  598s |      25 |  8509797 |  6396198 |     1959   8393 |        0 |        0
600.00/600.22	c  600s |      25 |  8537949 |  6417698 |     1959   8415 |        0 |        0
602.00/602.22	c  602s |      25 |  8561769 |  6436898 |     1959   8435 |        0 |        0
604.00/604.22	c  604s |      25 |  8586009 |  6455898 |     1959   8454 |        0 |        0
606.00/606.22	c  606s |      25 |  8611506 |  6475198 |     1959   8474 |        0 |        0
607.99/608.23	c  608s |      25 |  8637665 |  6494398 |     1959   8493 |        0 |        0
609.99/610.23	c  610s |      25 |  8663763 |  6513698 |     1959   8513 |        0 |        0
612.00/612.24	c  612s |      25 |  8688076 |  6532698 |     1959   8533 |        0 |        0
614.00/614.25	c  614s |      25 |  8712987 |  6552198 |     1959   8552 |        0 |        0
615.99/616.26	c  616s |      25 |  8733545 |  6569998 |     1959   8570 |        0 |        0
618.00/618.27	c  618s |      25 |  8756311 |  6588198 |     1959   8589 |        0 |        0
619.99/620.28	c  620s |      25 |  8778663 |  6605598 |     1959   8607 |        0 |        0
621.99/622.28	c  622s |      25 |  8801872 |  6623598 |     1959   8625 |        0 |        0
623.99/624.28	c  624s |      25 |  8823708 |  6641698 |     1959   8644 |        0 |        0
625.99/626.29	c  626s |      25 |  8849854 |  6661098 |     1959   8663 |        0 |        0
628.00/628.30	c  628s |      25 |  8875517 |  6681398 |     1959   8684 |        0 |        0
629.99/630.30	c  630s |      25 |  8901902 |  6701698 |     1959   8705 |        0 |        0
632.08/632.30	c  632s |      25 |  8932661 |  6722598 |     1959   8726 |        0 |        0
634.08/634.30	c  634s |      25 |  8960161 |  6742898 |     1959   8747 |        0 |        0
636.08/636.31	c  636s |      25 |  8986567 |  6763398 |     1959   8768 |        0 |        0
638.08/638.32	c  638s |      25 |  9012464 |  6783398 |     1959   8788 |        0 |        0
640.09/640.32	c  640s |      25 |  9040902 |  6803898 |     1959   8809 |        0 |        0
642.08/642.33	c  642s |      25 |  9067398 |  6823598 |     1959   8829 |        0 |        0
644.08/644.33	c  644s |      25 |  9095134 |  6843998 |     1959   8850 |        0 |        0
646.08/646.34	c  646s |      25 |  9122987 |  6864298 |     1959   8870 |        0 |        0
648.08/648.34	c  648s |      25 |  9150562 |  6884998 |     1959   8891 |        0 |        0
650.08/650.34	c  650s |      25 |  9175241 |  6904198 |     1959   8911 |        0 |        0
652.08/652.36	c  652s |      25 |  9199900 |  6923598 |     1959   8930 |        0 |        0
654.07/654.36	c  654s |      25 |  9225911 |  6943098 |     1959   8950 |        0 |        0
656.07/656.37	c  656s |      25 |  9255007 |  6964398 |     1959   8972 |        0 |        0
658.07/658.37	c  658s |      25 |  9282527 |  6984898 |     1959   8993 |        0 |        0
660.07/660.38	c  660s |      25 |  9308461 |  7005198 |     1959   9014 |        0 |        0
662.07/662.38	c  662s |      25 |  9336202 |  7025798 |     1959   9034 |        0 |        0
664.07/664.39	c  664s |      25 |  9365496 |  7047098 |     1959   9056 |        0 |        0
666.07/666.40	c  666s |      25 |  9395765 |  7068698 |     1959   9078 |        0 |        0
668.17/668.40	c  668s |      25 |  9425038 |  7090198 |     1959   9100 |        0 |        0
670.16/670.41	c  670s |      25 |  9451105 |  7110198 |     1959   9120 |        0 |        0
672.16/672.41	c  672s |      25 |  9479623 |  7130398 |     1959   9141 |        0 |        0
674.17/674.42	c  674s |      25 |  9506646 |  7150398 |     1959   9161 |        0 |        0
676.16/676.42	c  676s |      25 |  9532293 |  7170498 |     1959   9182 |        0 |        0
678.16/678.43	c  678s |      25 |  9560291 |  7190998 |     1959   9203 |        0 |        0
680.15/680.43	c  680s |      25 |  9589367 |  7212398 |     1959   9224 |        0 |        0
682.16/682.44	c  682s |      25 |  9617924 |  7233798 |     1959   9246 |        0 |        0
684.16/684.45	c  684s |      25 |  9647725 |  7255398 |     1959   9268 |        0 |        0
686.17/686.46	c  686s |      25 |  9676878 |  7276698 |     1959   9290 |        0 |        0
688.16/688.46	c  688s |      25 |  9706422 |  7298398 |     1959   9312 |        0 |        0
690.15/690.46	c  690s |      25 |  9735648 |  7320598 |     1959   9335 |        0 |        0
692.15/692.47	c  692s |      25 |  9765033 |  7341798 |     1959   9356 |        0 |        0
694.15/694.47	c  694s |      25 |  9796766 |  7364198 |     1959   9379 |        0 |        0
696.16/696.47	c  696s |      25 |  9826183 |  7385898 |     1959   9401 |        0 |        0
698.15/698.48	c  698s |      25 |  9852818 |  7406598 |     1959   9422 |        0 |        0
700.14/700.48	c  700s |      25 |  9880081 |  7426998 |     1959   9443 |        0 |        0
702.14/702.49	c  702s |      25 |  9903992 |  7446398 |     1959   9463 |        0 |        0
704.14/704.49	c  704s |      25 |  9929152 |  7466398 |     1959   9483 |        0 |        0
706.14/706.49	c  706s |      25 |  9953761 |  7486098 |     1959   9503 |        0 |        0
708.15/708.50	c  708s |      25 |  9980095 |  7506498 |     1959   9524 |        0 |        0
710.23/710.50	c  710s |      25 | 10008641 |  7526898 |     1959   9545 |        0 |        0
712.23/712.51	c  712s |      25 | 10036380 |  7547698 |     2155   9565 |        0 |        0
714.23/714.52	c  714s |      25 | 10062107 |  7567498 |     2155   9584 |        0 |        0
716.23/716.52	c  716s |      25 | 10089932 |  7588298 |     2155   9603 |        0 |        0
717.13/717.42	c  717s |      26 | 10102160 |  7597752 |     2155   9612 |        0 |        0
719.13/719.43	c  719s |      26 | 10127783 |  7616852 |     2155   9629 |        0 |        0
721.13/721.43	c  721s |      26 | 10151966 |  7635052 |     2155   9646 |        0 |        0
723.13/723.45	c  723s |      26 | 10178906 |  7654952 |     2155   9665 |        0 |        0
725.12/725.45	c  725s |      26 | 10205385 |  7674852 |     2155   9683 |        0 |        0
727.12/727.45	c  727s |      26 | 10230318 |  7693952 |     2155   9701 |        0 |        0
729.13/729.46	c  729s |      26 | 10256840 |  7712852 |     2155   9718 |        0 |        0
731.12/731.47	c  731s |      26 | 10282934 |  7731852 |     2155   9736 |        0 |        0
733.12/733.48	c  733s |      26 | 10309686 |  7751352 |     2155   9754 |        0 |        0
735.12/735.48	c  735s |      26 | 10334404 |  7770152 |     2155   9771 |        0 |        0
737.13/737.48	c  737s |      26 | 10360037 |  7788352 |     2155   9788 |        0 |        0
739.12/739.50	c  739s |      26 | 10387443 |  7807352 |     2155   9805 |        0 |        0
741.23/741.51	c  741s |      26 | 10411568 |  7825952 |     2155   9823 |        0 |        0
743.22/743.51	c  743s |      26 | 10433749 |  7843052 |     2155   9838 |        0 |        0
745.22/745.52	c  745s |      26 | 10458882 |  7861652 |     2155   9856 |        0 |        0
747.22/747.52	c  747s |      26 | 10486469 |  7881352 |     2155   9874 |        0 |        0
749.21/749.53	c  749s |      26 | 10510820 |  7899752 |     2155   9891 |        0 |        0
751.21/751.54	c  751s |      26 | 10537571 |  7918052 |     2155   9908 |        0 |        0
753.22/753.54	c  753s |      26 | 10562097 |  7936152 |     2155   9924 |        0 |        0
755.21/755.54	c  755s |      26 | 10588505 |  7955852 |     2155   9943 |        0 |        0
757.21/757.55	c  757s |      26 | 10614858 |  7975352 |     2155   9961 |        0 |        0
759.20/759.56	c  759s |      26 | 10643622 |  7994952 |     2155   9979 |        0 |        0
761.20/761.57	c  761s |      26 | 10671503 |  8015052 |     2155   9998 |        0 |        0
763.21/763.58	c  763s |      26 | 10698225 |  8035652 |     2155  10017 |        0 |        0
765.20/765.59	c  765s |      26 | 10724850 |  8055052 |     2155  10035 |        0 |        0
767.20/767.59	c  767s |      26 | 10751353 |  8075052 |     2155  10053 |        0 |        0
769.30/769.60	c  769s |      26 | 10779712 |  8095252 |     2155  10072 |        0 |        0
771.29/771.60	c  771s |      26 | 10806807 |  8114452 |     2155  10090 |        0 |        0
773.29/773.61	c  773s |      26 | 10826050 |  8129652 |     2155  10104 |        0 |        0
775.30/775.61	c  775s |      26 | 10848789 |  8147352 |     2155  10120 |        0 |        0
777.29/777.62	c  777s |      26 | 10871981 |  8164852 |     2155  10136 |        0 |        0
779.29/779.63	c  779s |      26 | 10895722 |  8182252 |     2155  10152 |        0 |        0
781.29/781.63	c  781s |      26 | 10921655 |  8201452 |     2155  10170 |        0 |        0
783.29/783.63	c  783s |      26 | 10946550 |  8220052 |     2155  10187 |        0 |        0
785.28/785.64	c  785s |      26 | 10974009 |  8239752 |     2155  10205 |        0 |        0
787.29/787.65	c  787s |      26 | 11000133 |  8259452 |     2155  10224 |        0 |        0
789.28/789.65	c  789s |      26 | 11026824 |  8278952 |     2155  10242 |        0 |        0
791.28/791.66	c  791s |      26 | 11051902 |  8297352 |     2155  10259 |        0 |        0
793.28/793.66	c  793s |      26 | 11079503 |  8317852 |     2155  10277 |        0 |        0
795.28/795.66	c  795s |      26 | 11106279 |  8337852 |     2155  10296 |        0 |        0
797.29/797.66	c  797s |      26 | 11133075 |  8358352 |     2155  10315 |        0 |        0
799.27/799.66	c  799s |      26 | 11160741 |  8378952 |     2155  10334 |        0 |        0
801.27/801.67	c  801s |      26 | 11188138 |  8399652 |     2155  10353 |        0 |        0
803.27/803.67	c  803s |      26 | 11214666 |  8419552 |     2155  10372 |        0 |        0
805.28/805.68	c  805s |      26 | 11237291 |  8437752 |     2155  10388 |        0 |        0
807.28/807.68	c  807s |      26 | 11258755 |  8454952 |     2155  10404 |        0 |        0
809.28/809.68	c  809s |      26 | 11280666 |  8472552 |     2155  10421 |        0 |        0
811.27/811.68	c  811s |      26 | 11304601 |  8491252 |     2155  10438 |        0 |        0
813.37/813.70	c  813s |      26 | 11327518 |  8510252 |     2155  10456 |        0 |        0
815.37/815.71	c  815s |      26 | 11351672 |  8529752 |     2155  10474 |        0 |        0
817.37/817.71	c  817s |      26 | 11377786 |  8549952 |     2155  10492 |        0 |        0
819.36/819.72	c  819s |      26 | 11404397 |  8569952 |     2155  10511 |        0 |        0
821.37/821.72	c  821s |      26 | 11431718 |  8590052 |     2155  10529 |        0 |        0
823.36/823.74	c  823s |      26 | 11457489 |  8609752 |     2155  10548 |        0 |        0
825.36/825.74	c  825s |      26 | 11481161 |  8627852 |     2155  10564 |        0 |        0
827.36/827.75	c  827s |      26 | 11502756 |  8644852 |     2155  10580 |        0 |        0
829.36/829.75	c  829s |      26 | 11526134 |  8662952 |     2155  10597 |        0 |        0
831.36/831.75	c  831s |      26 | 11549391 |  8681452 |     2155  10614 |        0 |        0
833.36/833.76	c  833s |      26 | 11575263 |  8699952 |     2155  10631 |        0 |        0
835.36/835.76	c  835s |      26 | 11601831 |  8719752 |     2155  10649 |        0 |        0
837.35/837.76	c  837s |      26 | 11629740 |  8740052 |     2155  10668 |        0 |        0
839.35/839.76	c  839s |      26 | 11656227 |  8759952 |     2155  10686 |        0 |        0
841.35/841.77	c  841s |      26 | 11681139 |  8779252 |     2155  10704 |        0 |        0
843.36/843.78	c  843s |      26 | 11705626 |  8798652 |     2155  10722 |        0 |        0
845.35/845.78	c  845s |      26 | 11731190 |  8818352 |     2155  10740 |        0 |        0
847.35/847.79	c  847s |      26 | 11752875 |  8835652 |     2155  10756 |        0 |        0
849.44/849.80	c  849s |      26 | 11773286 |  8852752 |     2155  10772 |        0 |        0
851.44/851.81	c  851s |      26 | 11796261 |  8870852 |     2155  10789 |        0 |        0
853.44/853.82	c  853s |      26 | 11819672 |  8888452 |     2155  10805 |        0 |        0
855.45/855.82	c  855s |      26 | 11843679 |  8906752 |     2155  10822 |        0 |        0
857.44/857.83	c  857s |      26 | 11865462 |  8923952 |     2155  10838 |        0 |        0
859.44/859.84	c  859s |      26 | 11888774 |  8941452 |     2155  10854 |        0 |        0
861.43/861.84	c  861s |      26 | 11915200 |  8960852 |     2155  10872 |        0 |        0
863.43/863.85	c  863s |      26 | 11943399 |  8979552 |     2155  10889 |        0 |        0
865.44/865.86	c  865s |      26 | 11970043 |  8998452 |     2155  10907 |        0 |        0
867.43/867.86	c  867s |      26 | 11996282 |  9017952 |     2155  10925 |        0 |        0
869.43/869.86	c  869s |      26 | 12020648 |  9036552 |     2155  10942 |        0 |        0
871.42/871.86	c  871s |      26 | 12045011 |  9055052 |     2155  10959 |        0 |        0
873.42/873.87	c  873s |      26 | 12069110 |  9073652 |     2155  10977 |        0 |        0
875.42/875.87	c  875s |      26 | 12091138 |  9091152 |     2155  10993 |        0 |        0
877.44/877.87	c  877s |      26 | 12114748 |  9108752 |     2155  11009 |        0 |        0
879.42/879.87	c  879s |      26 | 12138779 |  9127452 |     2155  11026 |        0 |        0
881.42/881.89	c  881s |      26 | 12160244 |  9144852 |     2155  11043 |        0 |        0
883.42/883.89	c  883s |      26 | 12184108 |  9163652 |     2155  11060 |        0 |        0
885.52/885.90	c  885s |      26 | 12208595 |  9181652 |     2155  11077 |        0 |        0
887.52/887.91	c  887s |      26 | 12232524 |  9199752 |     2155  11093 |        0 |        0
889.52/889.92	c  889s |      26 | 12255835 |  9217652 |     2155  11110 |        0 |        0
891.51/891.93	c  891s |      26 | 12278283 |  9234552 |     2155  11126 |        0 |        0
893.51/893.94	c  893s |      26 | 12302573 |  9253552 |     2155  11143 |        0 |        0
895.51/895.94	c  895s |      26 | 12327347 |  9272852 |     2155  11161 |        0 |        0
897.51/897.94	c  897s |      26 | 12352854 |  9291852 |     2155  11179 |        0 |        0
899.51/899.95	c  899s |      26 | 12377847 |  9310652 |     2155  11196 |        0 |        0
901.50/901.96	c  901s |      26 | 12405624 |  9330752 |     2155  11215 |        0 |        0
903.50/903.97	c  903s |      26 | 12433368 |  9350352 |     2155  11233 |        0 |        0
905.50/905.98	c  905s |      26 | 12459868 |  9370352 |     2155  11251 |        0 |        0
907.50/907.99	c  907s |      26 | 12486571 |  9389952 |     2155  11270 |        0 |        0
909.60/910.00	c  909s |      26 | 12510997 |  9408252 |     2155  11287 |        0 |        0
911.51/912.00	c  911s |      26 | 12537141 |  9427052 |     2155  11304 |        0 |        0
913.60/914.00	c  913s |      26 | 12561497 |  9445052 |     2155  11321 |        0 |        0
915.60/916.01	c  915s |      26 | 12586719 |  9463352 |     2155  11338 |        0 |        0
917.60/918.01	c  917s |      26 | 12610956 |  9482252 |     2155  11355 |        0 |        0
919.59/920.02	c  919s |      26 | 12638143 |  9501752 |     2155  11373 |        0 |        0
921.59/922.03	c  922s |      26 | 12663918 |  9520552 |     2155  11391 |        0 |        0
923.59/924.03	c  924s |      26 | 12693029 |  9542052 |     2155  11410 |        0 |        0
925.59/926.03	c  926s |      26 | 12721097 |  9563152 |     2155  11430 |        0 |        0
927.59/928.04	c  928s |      26 | 12749058 |  9584352 |     2155  11450 |        0 |        0
929.59/930.05	c  930s |      26 | 12774839 |  9603852 |     2155  11468 |        0 |        0
931.58/932.05	c  932s |      26 | 12800744 |  9623152 |     2155  11486 |        0 |        0
933.59/934.06	c  934s |      26 | 12826580 |  9642752 |     2155  11504 |        0 |        0
935.59/936.07	c  936s |      26 | 12852511 |  9662552 |     2155  11522 |        0 |        0
937.59/938.07	c  938s |      26 | 12877295 |  9681452 |     2155  11540 |        0 |        0
939.58/940.07	c  940s |      26 | 12904344 |  9701752 |     2155  11558 |        0 |        0
941.58/942.08	c  942s |      26 | 12928567 |  9719852 |     2155  11575 |        0 |        0
943.58/944.08	c  944s |      26 | 12951202 |  9737652 |     2155  11592 |        0 |        0
945.59/946.08	c  946s |      26 | 12975966 |  9756652 |     2155  11609 |        0 |        0
947.58/948.09	c  948s |      26 | 12999453 |  9775352 |     2155  11627 |        0 |        0
949.68/950.10	c  950s |      26 | 13022235 |  9792752 |     2155  11643 |        0 |        0
951.67/952.11	c  952s |      26 | 13047643 |  9812552 |     2155  11661 |        0 |        0
953.67/954.11	c  954s |      26 | 13073496 |  9832452 |     2155  11679 |        0 |        0
955.67/956.12	c  956s |      26 | 13098630 |  9851852 |     2155  11697 |        0 |        0
957.68/958.13	c  958s |      26 | 13124433 |  9871452 |     2155  11716 |        0 |        0
959.67/960.13	c  960s |      26 | 13151748 |  9892052 |     2155  11735 |        0 |        0
961.67/962.13	c  962s |      26 | 13178727 |  9911352 |     2155  11753 |        0 |        0
963.67/964.13	c  964s |      26 | 13204338 |  9929952 |     2155  11770 |        0 |        0
965.67/966.14	c  966s |      26 | 13229884 |  9948152 |     2155  11787 |        0 |        0
967.67/968.14	c  968s |      26 | 13256650 |  9965952 |     2155  11803 |        0 |        0
969.66/970.14	c  970s |      26 | 13282883 |  9985152 |     2155  11821 |        0 |        0
971.66/972.15	c  972s |      26 | 13309717 | 10005052 |     2155  11839 |        0 |        0
973.66/974.15	c  974s |      26 | 13336020 | 10024752 |     2155  11857 |        0 |        0
975.66/976.16	c  976s |      26 | 13361556 | 10043452 |     2155  11875 |        0 |        0
977.66/978.17	c  978s |      26 | 13386089 | 10061952 |     2155  11892 |        0 |        0
979.66/980.18	c  980s |      26 | 13409521 | 10079952 |     2155  11908 |        0 |        0
981.65/982.19	c  982s |      26 | 13437815 | 10100652 |     2155  11927 |        0 |        0
983.65/984.20	c  984s |      26 | 13462441 | 10119452 |     2155  11945 |        0 |        0
985.75/986.20	c  986s |      26 | 13485199 | 10137352 |     2155  11961 |        0 |        0
987.75/988.20	c  988s |      26 | 13509000 | 10155452 |     2155  11978 |        0 |        0
989.74/990.21	c  990s |      26 | 13533119 | 10172652 |     2155  11994 |        0 |        0
991.75/992.22	c  992s |      26 | 13555987 | 10189652 |     2155  12010 |        0 |        0
993.75/994.23	c  994s |      26 | 13577931 | 10206552 |     2155  12025 |        0 |        0
995.75/996.24	c  996s |      26 | 13602869 | 10224552 |     2155  12042 |        0 |        0
997.75/998.24	c  998s |      26 | 13628457 | 10243852 |     2155  12060 |        0 |        0
999.74/1000.25	c 1000s |      26 | 13654493 | 10262652 |     2155  12077 |        0 |        0
1001.75/1002.25	c 1002s |      26 | 13679029 | 10281052 |     2155  12094 |        0 |        0
1003.74/1004.25	c 1004s |      26 | 13705002 | 10300652 |     2155  12112 |        0 |        0
1005.74/1006.26	c 1006s |      26 | 13729758 | 10319052 |     2155  12129 |        0 |        0
1007.74/1008.26	c 1008s |      26 | 13753683 | 10337252 |     2155  12146 |        0 |        0
1009.73/1010.27	c 1010s |      26 | 13778157 | 10355952 |     2155  12163 |        0 |        0
1011.73/1012.28	c 1012s |      26 | 13800749 | 10373552 |     2155  12180 |        0 |        0
1013.74/1014.29	c 1014s |      26 | 13823604 | 10390552 |     2155  12195 |        0 |        0
1015.73/1016.29	c 1016s |      26 | 13850862 | 10408252 |     2155  12212 |        0 |        0
1017.83/1018.30	c 1018s |      26 | 13877500 | 10427452 |     2155  12230 |        0 |        0
1019.83/1020.30	c 1020s |      26 | 13904186 | 10446452 |     2155  12247 |        0 |        0
1021.83/1022.31	c 1022s |      26 | 13929831 | 10465252 |     2155  12265 |        0 |        0
1023.83/1024.31	c 1024s |      26 | 13955211 | 10483852 |     2155  12282 |        0 |        0
1025.83/1026.32	c 1026s |      26 | 13980060 | 10502552 |     2155  12299 |        0 |        0
1027.82/1028.32	c 1028s |      26 | 14007280 | 10522552 |     2155  12317 |        0 |        0
1029.82/1030.33	c 1030s |      26 | 14034042 | 10541952 |     2155  12335 |        0 |        0
1031.82/1032.34	c 1032s |      26 | 14060979 | 10561352 |     2155  12353 |        0 |        0
1033.82/1034.34	c 1034s |      26 | 14085039 | 10579652 |     2155  12370 |        0 |        0
1035.83/1036.34	c 1036s |      26 | 14108427 | 10596752 |     2155  12386 |        0 |        0
1037.82/1038.34	c 1038s |      26 | 14133166 | 10615352 |     2155  12403 |        0 |        0
1039.82/1040.35	c 1040s |      26 | 14158982 | 10634852 |     2155  12421 |        0 |        0
1041.82/1042.35	c 1042s |      26 | 14184075 | 10653952 |     2155  12439 |        0 |        0
1043.82/1044.36	c 1044s |      26 | 14210579 | 10673652 |     2155  12457 |        0 |        0
1045.82/1046.36	c 1046s |      26 | 14236992 | 10692452 |     2155  12475 |        0 |        0
1047.82/1048.36	c 1048s |      26 | 14264936 | 10712252 |     2155  12493 |        0 |        0
1049.82/1050.37	c 1050s |      26 | 14290488 | 10731352 |     2155  12511 |        0 |        0
1051.82/1052.37	c 1052s |      26 | 14317132 | 10751152 |     2155  12529 |        0 |        0
1053.82/1054.37	c 1054s |      26 | 14342755 | 10770852 |     2155  12547 |        0 |        0
1055.82/1056.38	c 1056s |      26 | 14369045 | 10790352 |     2155  12565 |        0 |        0
1057.82/1058.38	c 1058s |      26 | 14395878 | 10809852 |     2155  12583 |        0 |        0
1059.81/1060.39	c 1060s |      26 | 14421948 | 10828852 |     2155  12601 |        0 |        0
1061.81/1062.39	c 1062s |      26 | 14445004 | 10847152 |     2155  12618 |        0 |        0
1063.81/1064.39	c 1064s |      26 | 14468158 | 10865052 |     2155  12634 |        0 |        0
1065.81/1066.40	c 1066s |      26 | 14491038 | 10882552 |     2155  12651 |        0 |        0
1067.91/1068.40	c 1068s |      26 | 14516181 | 10901452 |     2155  12668 |        0 |        0
1069.82/1070.40	c 1070s |      26 | 14541660 | 10919652 |     2155  12685 |        0 |        0
1071.91/1072.40	c 1072s |      26 | 14566661 | 10938152 |     2155  12702 |        0 |        0
1073.91/1074.42	c 1074s |      26 | 14592181 | 10956952 |     2155  12720 |        0 |        0
1075.91/1076.43	c 1076s |      26 | 14615362 | 10974452 |     2155  12736 |        0 |        0
1077.91/1078.43	c 1078s |      26 | 14640368 | 10992652 |     2155  12753 |        0 |        0
1079.92/1080.44	c 1080s |      26 | 14666204 | 11011352 |     2155  12770 |        0 |        0
1081.93/1082.45	c 1082s |      26 | 14690682 | 11029652 |     2155  12787 |        0 |        0
1083.92/1084.46	c 1084s |      26 | 14712914 | 11047552 |     2155  12804 |        0 |        0
1085.92/1086.46	c 1086s |      26 | 14736950 | 11066052 |     2155  12821 |        0 |        0
1087.91/1088.47	c 1088s |      26 | 14761564 | 11084952 |     2155  12838 |        0 |        0
1089.91/1090.48	c 1090s |      26 | 14785918 | 11103152 |     2155  12855 |        0 |        0
1091.92/1092.48	c 1092s |      26 | 14810363 | 11121252 |     2155  12872 |        0 |        0
1093.91/1094.48	c 1094s |      26 | 14834646 | 11139452 |     2155  12888 |        0 |        0
1095.91/1096.49	c 1096s |      26 | 14856506 | 11155852 |     2155  12904 |        0 |        0
1097.91/1098.49	c 1098s |      26 | 14880032 | 11173652 |     2155  12920 |        0 |        0
1099.91/1100.49	c 1100s |      26 | 14903425 | 11191752 |     2155  12937 |        0 |        0
1102.01/1102.50	c 1102s |      26 | 14925174 | 11207752 |     2155  12952 |        0 |        0
1104.01/1104.51	c 1104s |      26 | 14947866 | 11225652 |     2155  12968 |        0 |        0
1106.01/1106.51	c 1106s |      26 | 14966871 | 11241552 |     2155  12983 |        0 |        0
1108.01/1108.52	c 1108s |      26 | 14988034 | 11258552 |     2155  12998 |        0 |        0
1110.01/1110.53	c 1110s |      26 | 15009612 | 11275752 |     2155  13014 |        0 |        0
1112.01/1112.54	c 1112s |      26 | 15030465 | 11291752 |     2155  13029 |        0 |        0
1114.01/1114.55	c 1114s |      26 | 15053226 | 11308852 |     2155  13045 |        0 |        0
1116.02/1116.55	c 1116s |      26 | 15075637 | 11325752 |     2371  13060 |        0 |        0
1118.01/1118.57	c 1118s |      26 | 15094431 | 11341052 |     2371  13072 |        0 |        0
1120.01/1120.57	c 1120s |      26 | 15116512 | 11355452 |     2371  13084 |        0 |        0
1122.01/1122.58	c 1122s |      26 | 15137436 | 11371152 |     2371  13098 |        0 |        0
1124.01/1124.58	c 1124s |      26 | 15159237 | 11387452 |     2371  13111 |        0 |        0
1125.11/1125.67	c 1125s |      27 | 15170509 | 11396733 |     2371  13119 |        0 |        0
1127.11/1127.68	c 1127s |      27 | 15191082 | 11413333 |     2371  13133 |        0 |        0
1129.11/1129.68	c 1129s |      27 | 15212210 | 11429933 |     2371  13147 |        0 |        0
1131.21/1131.70	c 1131s |      27 | 15233067 | 11446133 |     2371  13161 |        0 |        0
1133.21/1133.71	c 1133s |      27 | 15256305 | 11463933 |     2371  13176 |        0 |        0
1135.21/1135.72	c 1135s |      27 | 15278718 | 11481633 |     2371  13190 |        0 |        0
1137.21/1137.72	c 1137s |      27 | 15300831 | 11498833 |     2371  13205 |        0 |        0
1139.21/1139.72	c 1139s |      27 | 15324243 | 11516733 |     2371  13220 |        0 |        0
1141.20/1141.73	c 1141s |      27 | 15345281 | 11533433 |     2371  13234 |        0 |        0
1143.20/1143.73	c 1143s |      27 | 15365880 | 11548933 |     2371  13247 |        0 |        0
1145.20/1145.74	c 1145s |      27 | 15388109 | 11566033 |     2371  13261 |        0 |        0
1147.20/1147.74	c 1147s |      27 | 15410028 | 11582633 |     2371  13275 |        0 |        0
1149.20/1149.75	c 1149s |      27 | 15429932 | 11598733 |     2371  13289 |        0 |        0
1151.21/1151.75	c 1151s |      27 | 15452213 | 11616133 |     2371  13303 |        0 |        0
1153.20/1153.76	c 1153s |      27 | 15475384 | 11633833 |     2371  13318 |        0 |        0
1155.20/1155.77	c 1155s |      27 | 15498738 | 11650833 |     2371  13332 |        0 |        0
1157.20/1157.78	c 1157s |      27 | 15521628 | 11668133 |     2371  13347 |        0 |        0
1159.20/1159.79	c 1159s |      27 | 15543159 | 11684533 |     2371  13361 |        0 |        0
1161.21/1161.79	c 1161s |      27 | 15568670 | 11703233 |     2371  13376 |        0 |        0
1163.31/1163.80	c 1163s |      27 | 15591135 | 11721133 |     2371  13392 |        0 |        0
1165.30/1165.81	c 1165s |      27 | 15613324 | 11738333 |     2371  13406 |        0 |        0
1167.31/1167.81	c 1167s |      27 | 15636850 | 11755933 |     2371  13421 |        0 |        0
1169.31/1169.83	c 1169s |      27 | 15659446 | 11773433 |     2371  13435 |        0 |        0
1171.31/1171.84	c 1171s |      27 | 15680421 | 11788833 |     2371  13448 |        0 |        0
1173.31/1173.84	c 1173s |      27 | 15703282 | 11805733 |     2371  13463 |        0 |        0
1175.30/1175.85	c 1175s |      27 | 15724536 | 11822433 |     2371  13477 |        0 |        0
1177.30/1177.85	c 1177s |      27 | 15744170 | 11838133 |     2371  13490 |        0 |        0
1179.30/1179.85	c 1179s |      27 | 15767756 | 11855933 |     2371  13505 |        0 |        0
1181.30/1181.86	c 1181s |      27 | 15791183 | 11873533 |     2371  13519 |        0 |        0
1183.30/1183.87	c 1183s |      27 | 15812131 | 11890833 |     2371  13534 |        0 |        0
1185.31/1185.88	c 1185s |      27 | 15836410 | 11909133 |     2371  13549 |        0 |        0
1187.30/1187.89	c 1187s |      27 | 15858303 | 11926933 |     2371  13564 |        0 |        0
1189.30/1189.89	c 1189s |      27 | 15881752 | 11944233 |     2371  13579 |        0 |        0
1191.40/1191.90	c 1191s |      27 | 15903833 | 11961733 |     2371  13594 |        0 |        0
1193.40/1193.91	c 1193s |      27 | 15928222 | 11980033 |     2371  13609 |        0 |        0
1195.40/1195.91	c 1195s |      27 | 15953485 | 11998333 |     2371  13624 |        0 |        0
1197.40/1197.91	c 1197s |      27 | 15975888 | 12015033 |     2371  13638 |        0 |        0
1199.40/1199.92	c 1199s |      27 | 15997149 | 12031433 |     2371  13652 |        0 |        0
1201.40/1201.92	c 1201s |      27 | 16020468 | 12048833 |     2371  13667 |        0 |        0
1203.40/1203.93	c 1203s |      27 | 16042549 | 12066133 |     2371  13681 |        0 |        0
1205.39/1205.94	c 1205s |      27 | 16063601 | 12083533 |     2371  13696 |        0 |        0
1207.40/1207.95	c 1207s |      27 | 16084518 | 12099733 |     2371  13710 |        0 |        0
1209.39/1209.95	c 1209s |      27 | 16107800 | 12117833 |     2371  13725 |        0 |        0
1211.39/1211.96	c 1211s |      27 | 16131330 | 12135433 |     2371  13740 |        0 |        0
1213.39/1213.96	c 1213s |      27 | 16156179 | 12154433 |     2371  13756 |        0 |        0
1215.39/1215.97	c 1215s |      27 | 16179587 | 12172433 |     2371  13771 |        0 |        0
1217.39/1217.97	c 1217s |      27 | 16201159 | 12188933 |     2371  13785 |        0 |        0
1219.40/1219.97	c 1219s |      27 | 16223790 | 12206733 |     2371  13800 |        0 |        0
1221.39/1221.97	c 1221s |      27 | 16247841 | 12224833 |     2371  13815 |        0 |        0
1223.39/1223.98	c 1223s |      27 | 16272694 | 12243233 |     2371  13830 |        0 |        0
1225.39/1225.99	c 1225s |      27 | 16297201 | 12261833 |     2371  13846 |        0 |        0
1227.49/1228.01	c 1227s |      27 | 16319094 | 12278633 |     2371  13860 |        0 |        0
1229.49/1230.01	c 1229s |      27 | 16343039 | 12296433 |     2371  13875 |        0 |        0
1231.49/1232.02	c 1232s |      27 | 16367307 | 12314833 |     2371  13890 |        0 |        0
1233.50/1234.03	c 1234s |      27 | 16390468 | 12332633 |     2371  13905 |        0 |        0
1235.49/1236.04	c 1236s |      27 | 16414378 | 12350433 |     2371  13920 |        0 |        0
1237.49/1238.04	c 1238s |      27 | 16440291 | 12369333 |     2371  13936 |        0 |        0
1239.49/1240.05	c 1240s |      27 | 16462097 | 12386533 |     2371  13951 |        0 |        0
1241.50/1242.05	c 1242s |      27 | 16486685 | 12404533 |     2371  13966 |        0 |        0
1243.49/1244.05	c 1244s |      27 | 16509438 | 12421733 |     2371  13980 |        0 |        0
1245.49/1246.06	c 1246s |      27 | 16533762 | 12439733 |     2371  13996 |        0 |        0
1247.49/1248.07	c 1248s |      27 | 16557360 | 12457433 |     2371  14010 |        0 |        0
1249.49/1250.07	c 1250s |      27 | 16581885 | 12475933 |     2371  14026 |        0 |        0
1251.49/1252.07	c 1252s |      27 | 16604562 | 12493333 |     2371  14041 |        0 |        0
1253.50/1254.09	c 1254s |      27 | 16626860 | 12510933 |     2371  14055 |        0 |        0
1255.49/1256.09	c 1256s |      27 | 16650231 | 12528433 |     2371  14070 |        0 |        0
1257.49/1258.09	c 1258s |      27 | 16671299 | 12544933 |     2371  14084 |        0 |        0
1259.59/1260.10	c 1260s |      27 | 16692034 | 12561733 |     2371  14098 |        0 |        0
1261.59/1262.11	c 1262s |      27 | 16712430 | 12578133 |     2371  14112 |        0 |        0
1263.59/1264.11	c 1264s |      27 | 16734124 | 12595333 |     2371  14126 |        0 |        0
1265.59/1266.12	c 1266s |      27 | 16757531 | 12613233 |     2371  14141 |        0 |        0
1267.58/1268.12	c 1268s |      27 | 16781476 | 12631433 |     2371  14157 |        0 |        0
1269.58/1270.12	c 1270s |      27 | 16807427 | 12650433 |     2371  14173 |        0 |        0
1271.59/1272.13	c 1272s |      27 | 16828375 | 12666533 |     2371  14186 |        0 |        0
1273.59/1274.14	c 1274s |      27 | 16851405 | 12683333 |     2371  14200 |        0 |        0
1275.60/1276.15	c 1276s |      27 | 16870961 | 12699133 |     2371  14214 |        0 |        0
1277.59/1278.15	c 1278s |      27 | 16894073 | 12716433 |     2371  14228 |        0 |        0
1279.59/1280.16	c 1280s |      27 | 16916634 | 12734133 |     2371  14243 |        0 |        0
1281.59/1282.17	c 1282s |      27 | 16940972 | 12752433 |     2371  14258 |        0 |        0
1283.59/1284.17	c 1284s |      27 | 16964934 | 12770133 |     2371  14273 |        0 |        0
1285.59/1286.18	c 1286s |      27 | 16986381 | 12787033 |     2371  14288 |        0 |        0
1287.59/1288.19	c 1288s |      27 | 17009272 | 12804433 |     2371  14302 |        0 |        0
1289.68/1290.20	c 1290s |      27 | 17032408 | 12822033 |     2371  14317 |        0 |        0
1291.68/1292.21	c 1292s |      27 | 17055408 | 12840533 |     2371  14333 |        0 |        0
1293.68/1294.22	c 1294s |      27 | 17077226 | 12858033 |     2371  14347 |        0 |        0
1295.68/1296.23	c 1296s |      27 | 17100637 | 12874833 |     2371  14361 |        0 |        0
1297.68/1298.23	c 1298s |      27 | 17122881 | 12891633 |     2371  14376 |        0 |        0
1299.69/1300.23	c 1300s |      27 | 17145576 | 12908833 |     2371  14390 |        0 |        0
1301.68/1302.24	c 1302s |      27 | 17169232 | 12925833 |     2371  14404 |        0 |        0
1303.68/1304.24	c 1304s |      27 | 17189960 | 12941833 |     2371  14418 |        0 |        0
1305.68/1306.24	c 1306s |      27 | 17213115 | 12959033 |     2371  14432 |        0 |        0
1307.68/1308.25	c 1308s |      27 | 17235625 | 12975333 |     2371  14446 |        0 |        0
1309.68/1310.25	c 1310s |      27 | 17257659 | 12992033 |     2371  14460 |        0 |        0
1311.68/1312.25	c 1312s |      27 | 17279808 | 13009033 |     2371  14474 |        0 |        0
1313.68/1314.25	c 1314s |      27 | 17301753 | 13025233 |     2371  14488 |        0 |        0
1315.68/1316.26	c 1316s |      27 | 17324537 | 13042733 |     2371  14503 |        0 |        0
1317.68/1318.26	c 1318s |      27 | 17344492 | 13059133 |     2371  14516 |        0 |        0
1319.68/1320.27	c 1320s |      27 | 17369209 | 13077633 |     2371  14532 |        0 |        0
1321.68/1322.27	c 1322s |      27 | 17391360 | 13093933 |     2371  14546 |        0 |        0
1323.67/1324.28	c 1324s |      27 | 17411448 | 13110233 |     2371  14559 |        0 |        0
1325.67/1326.29	c 1326s |      27 | 17430265 | 13126533 |     2371  14573 |        0 |        0
1327.77/1328.30	c 1328s |      27 | 17449532 | 13142233 |     2371  14586 |        0 |        0
1329.77/1330.31	c 1330s |      27 | 17469754 | 13158833 |     2371  14600 |        0 |        0
1331.77/1332.31	c 1332s |      27 | 17492649 | 13176733 |     2371  14615 |        0 |        0
1333.78/1334.32	c 1334s |      27 | 17517159 | 13195133 |     2371  14631 |        0 |        0
1335.77/1336.33	c 1336s |      27 | 17540882 | 13213333 |     2371  14646 |        0 |        0
1337.77/1338.33	c 1338s |      27 | 17564604 | 13231033 |     2371  14661 |        0 |        0
1339.77/1340.34	c 1340s |      27 | 17587828 | 13248933 |     2371  14676 |        0 |        0
1341.77/1342.34	c 1342s |      27 | 17611601 | 13266533 |     2371  14691 |        0 |        0
1343.78/1344.35	c 1344s |      27 | 17636461 | 13285133 |     2371  14706 |        0 |        0
1345.77/1346.36	c 1346s |      27 | 17661389 | 13303833 |     2371  14722 |        0 |        0
1347.77/1348.36	c 1348s |      27 | 17684572 | 13320833 |     2371  14737 |        0 |        0
1349.77/1350.37	c 1350s |      27 | 17708796 | 13338733 |     2371  14752 |        0 |        0
1351.77/1352.38	c 1352s |      27 | 17731164 | 13356433 |     2371  14767 |        0 |        0
1353.77/1354.39	c 1354s |      27 | 17753150 | 13374433 |     2371  14782 |        0 |        0
1355.78/1356.40	c 1356s |      27 | 17775053 | 13391433 |     2371  14796 |        0 |        0
1357.87/1358.40	c 1358s |      27 | 17797473 | 13408333 |     2371  14810 |        0 |        0
1359.87/1360.40	c 1360s |      27 | 17816885 | 13423433 |     2371  14823 |        0 |        0
1361.87/1362.41	c 1362s |      27 | 17839021 | 13440433 |     2371  14837 |        0 |        0
1363.87/1364.42	c 1364s |      27 | 17863456 | 13458133 |     2371  14852 |        0 |        0
1365.87/1366.42	c 1366s |      27 | 17887125 | 13476333 |     2371  14867 |        0 |        0
1367.87/1368.43	c 1368s |      27 | 17910770 | 13494233 |     2371  14882 |        0 |        0
1369.87/1370.44	c 1370s |      27 | 17934605 | 13512233 |     2371  14897 |        0 |        0
1371.87/1372.45	c 1372s |      27 | 17957872 | 13530233 |     2371  14913 |        0 |        0
1373.87/1374.47	c 1374s |      27 | 17979062 | 13546933 |     2371  14927 |        0 |        0
1375.86/1376.47	c 1376s |      27 | 17999872 | 13562933 |     2371  14940 |        0 |        0
1377.88/1378.48	c 1378s |      27 | 18022676 | 13580433 |     2371  14955 |        0 |        0
1379.87/1380.49	c 1380s |      27 | 18043134 | 13596933 |     2371  14969 |        0 |        0
1381.97/1382.50	c 1382s |      27 | 18065819 | 13614733 |     2371  14984 |        0 |        0
1383.97/1384.50	c 1384s |      27 | 18088572 | 13632133 |     2371  14998 |        0 |        0
1385.97/1386.50	c 1386s |      27 | 18113174 | 13650533 |     2371  15014 |        0 |        0
1387.97/1388.50	c 1388s |      27 | 18134411 | 13667433 |     2371  15028 |        0 |        0
1389.97/1390.50	c 1390s |      27 | 18157284 | 13684333 |     2371  15042 |        0 |        0
1391.97/1392.51	c 1392s |      27 | 18178309 | 13700733 |     2371  15056 |        0 |        0
1393.97/1394.51	c 1394s |      27 | 18200871 | 13717733 |     2371  15070 |        0 |        0
1395.96/1396.52	c 1396s |      27 | 18222467 | 13734733 |     2371  15084 |        0 |        0
1397.96/1398.53	c 1398s |      27 | 18245131 | 13752433 |     2371  15099 |        0 |        0
1399.96/1400.54	c 1400s |      27 | 18267527 | 13769533 |     2371  15114 |        0 |        0
1401.97/1402.54	c 1402s |      27 | 18291510 | 13787933 |     2371  15129 |        0 |        0
1403.96/1404.54	c 1404s |      27 | 18313434 | 13805033 |     2371  15143 |        0 |        0
1405.97/1406.55	c 1406s |      27 | 18336509 | 13822533 |     2371  15158 |        0 |        0
1407.97/1408.56	c 1408s |      27 | 18361278 | 13840833 |     2371  15174 |        0 |        0
1409.96/1410.57	c 1410s |      27 | 18382985 | 13857833 |     2371  15188 |        0 |        0
1411.97/1412.57	c 1412s |      27 | 18404586 | 13874633 |     2371  15202 |        0 |        0
1413.96/1414.58	c 1414s |      27 | 18426686 | 13891733 |     2371  15216 |        0 |        0
1415.96/1416.60	c 1416s |      27 | 18448927 | 13908633 |     2371  15231 |        0 |        0
1418.06/1418.60	c 1418s |      27 | 18473444 | 13926833 |     2371  15246 |        0 |        0
1420.06/1420.61	c 1420s |      27 | 18498369 | 13945333 |     2371  15261 |        0 |        0
1422.06/1422.61	c 1422s |      27 | 18522683 | 13963833 |     2371  15277 |        0 |        0
1424.07/1424.61	c 1424s |      27 | 18545332 | 13981333 |     2371  15292 |        0 |        0
1426.06/1426.62	c 1426s |      27 | 18568908 | 13999333 |     2371  15307 |        0 |        0
1428.06/1428.62	c 1428s |      27 | 18591561 | 14016733 |     2371  15321 |        0 |        0
1430.06/1430.63	c 1430s |      27 | 18614170 | 14033933 |     2371  15336 |        0 |        0
1432.06/1432.63	c 1432s |      27 | 18635897 | 14050233 |     2371  15350 |        0 |        0
1434.06/1434.64	c 1434s |      27 | 18657759 | 14067333 |     2371  15364 |        0 |        0
1436.06/1436.64	c 1436s |      27 | 18683238 | 14085033 |     2371  15379 |        0 |        0
1438.05/1438.65	c 1438s |      27 | 18707957 | 14102933 |     2371  15394 |        0 |        0
1440.05/1440.66	c 1440s |      27 | 18733000 | 14121233 |     2371  15409 |        0 |        0
1442.06/1442.66	c 1442s |      27 | 18757238 | 14139433 |     2371  15425 |        0 |        0
1444.06/1444.66	c 1444s |      27 | 18781752 | 14157833 |     2371  15440 |        0 |        0
1446.07/1446.67	c 1446s |      27 | 18807689 | 14176533 |     2371  15456 |        0 |        0
1448.06/1448.67	c 1448s |      27 | 18832549 | 14195033 |     2371  15471 |        0 |        0
1450.06/1450.68	c 1450s |      27 | 18856208 | 14212733 |     2371  15486 |        0 |        0
1452.06/1452.68	c 1452s |      27 | 18874447 | 14227433 |     2371  15499 |        0 |        0
1454.16/1454.70	c 1454s |      27 | 18891850 | 14241733 |     2371  15511 |        0 |        0
1456.16/1456.72	c 1456s |      27 | 18911851 | 14256033 |     2371  15523 |        0 |        0
1458.17/1458.72	c 1458s |      27 | 18927295 | 14269833 |     2371  15534 |        0 |        0
1460.16/1460.73	c 1460s |      27 | 18943721 | 14283333 |     2371  15545 |        0 |        0
1462.16/1462.74	c 1462s |      27 | 18962934 | 14298433 |     2371  15558 |        0 |        0
1464.16/1464.75	c 1464s |      27 | 18986722 | 14315933 |     2371  15573 |        0 |        0
1466.16/1466.75	c 1466s |      27 | 19012636 | 14333933 |     2371  15588 |        0 |        0
1468.16/1468.76	c 1468s |      27 | 19038066 | 14351933 |     2371  15603 |        0 |        0
1470.16/1470.77	c 1470s |      27 | 19064411 | 14370633 |     2371  15619 |        0 |        0
1472.16/1472.77	c 1472s |      27 | 19088190 | 14388433 |     2371  15634 |        0 |        0
1474.16/1474.77	c 1474s |      27 | 19114322 | 14407033 |     2371  15649 |        0 |        0
1476.15/1476.79	c 1476s |      27 | 19138648 | 14424933 |     2371  15665 |        0 |        0
1478.15/1478.79	c 1478s |      27 | 19163641 | 14442733 |     2371  15679 |        0 |        0
1480.25/1480.80	c 1480s |      27 | 19187723 | 14460233 |     2371  15694 |        0 |        0
1482.26/1482.81	c 1482s |      27 | 19212374 | 14478733 |     2371  15710 |        0 |        0
1484.25/1484.81	c 1484s |      27 | 19236999 | 14496233 |     2371  15724 |        0 |        0
1486.25/1486.82	c 1486s |      27 | 19262198 | 14514233 |     2371  15740 |        0 |        0
1488.25/1488.83	c 1488s |      27 | 19287213 | 14532933 |     2371  15755 |        0 |        0
1490.25/1490.83	c 1490s |      27 | 19312238 | 14551233 |     2371  15771 |        0 |        0
1492.25/1492.84	c 1492s |      27 | 19336603 | 14568833 |     2371  15786 |        0 |        0
1494.25/1494.85	c 1494s |      27 | 19360886 | 14587133 |     2371  15801 |        0 |        0
1496.25/1496.86	c 1496s |      27 | 19386243 | 14605433 |     2371  15816 |        0 |        0
1498.25/1498.87	c 1498s |      27 | 19412061 | 14624233 |     2371  15832 |        0 |        0
1500.25/1500.87	c 1500s |      27 | 19438054 | 14642933 |     2371  15848 |        0 |        0
1502.25/1502.89	c 1502s |      27 | 19463543 | 14661633 |     2371  15864 |        0 |        0
1504.26/1504.89	c 1504s |      27 | 19489204 | 14680733 |     2371  15880 |        0 |        0
1506.25/1506.89	c 1506s |      27 | 19514233 | 14699333 |     2371  15895 |        0 |        0
1508.25/1508.90	c 1508s |      27 | 19536247 | 14716833 |     2371  15910 |        0 |        0
1510.35/1510.90	c 1510s |      27 | 19553872 | 14731633 |     2371  15922 |        0 |        0
1512.35/1512.90	c 1512s |      27 | 19575779 | 14748633 |     2371  15937 |        0 |        0
1514.35/1514.90	c 1514s |      27 | 19600157 | 14766833 |     2371  15952 |        0 |        0
1516.25/1516.90	c 1516s |      27 | 19624916 | 14785133 |     2371  15967 |        0 |        0
1518.35/1518.90	c 1518s |      27 | 19650658 | 14803933 |     2371  15983 |        0 |        0
1520.34/1520.91	c 1520s |      27 | 19675310 | 14822133 |     2371  15998 |        0 |        0
1522.34/1522.92	c 1522s |      27 | 19695532 | 14838333 |     2371  16012 |        0 |        0
1524.34/1524.92	c 1524s |      27 | 19714608 | 14853933 |     2371  16025 |        0 |        0
1526.35/1526.94	c 1526s |      27 | 19736667 | 14871233 |     2371  16040 |        0 |        0
1528.34/1528.95	c 1528s |      27 | 19761804 | 14890233 |     2371  16056 |        0 |        0
1530.34/1530.95	c 1530s |      27 | 19787195 | 14909633 |     2371  16072 |        0 |        0
1532.34/1532.95	c 1532s |      27 | 19812210 | 14928333 |     2371  16088 |        0 |        0
1534.34/1534.96	c 1534s |      27 | 19836519 | 14946633 |     2371  16103 |        0 |        0
1536.34/1536.96	c 1536s |      27 | 19859632 | 14964733 |     2371  16118 |        0 |        0
1538.35/1538.97	c 1538s |      27 | 19881979 | 14982233 |     2371  16133 |        0 |        0
1540.34/1540.98	c 1540s |      27 | 19907397 | 15001833 |     2371  16149 |        0 |        0
1542.34/1542.98	c 1542s |      27 | 19934055 | 15021633 |     2371  16166 |        0 |        0
1544.34/1544.99	c 1544s |      27 | 19960629 | 15041433 |     2371  16183 |        0 |        0
1546.34/1547.00	c 1546s |      27 | 19983333 | 15058433 |     2371  16197 |        0 |        0
1548.44/1549.00	c 1548s |      27 | 20009079 | 15077133 |     2371  16213 |        0 |        0
1550.45/1551.01	c 1550s |      27 | 20035319 | 15096233 |     2371  16229 |        0 |        0
1552.45/1553.01	c 1552s |      27 | 20061418 | 15115133 |     2371  16244 |        0 |        0
1554.44/1555.02	c 1555s |      27 | 20086852 | 15133833 |     2371  16260 |        0 |        0
1556.44/1557.03	c 1557s |      27 | 20110525 | 15151933 |     2371  16275 |        0 |        0
1558.44/1559.04	c 1559s |      27 | 20132610 | 15169033 |     2371  16290 |        0 |        0
1560.45/1561.04	c 1561s |      27 | 20156759 | 15186633 |     2371  16304 |        0 |        0
1562.44/1563.05	c 1563s |      27 | 20179941 | 15204133 |     2371  16319 |        0 |        0
1564.44/1565.05	c 1565s |      27 | 20203784 | 15221233 |     2371  16334 |        0 |        0
1566.44/1567.06	c 1567s |      27 | 20227851 | 15239333 |     2371  16349 |        0 |        0
1568.44/1569.06	c 1569s |      27 | 20252176 | 15257433 |     2371  16364 |        0 |        0
1570.44/1571.07	c 1571s |      27 | 20277474 | 15276433 |     2371  16380 |        0 |        0
1572.45/1573.07	c 1573s |      27 | 20297641 | 15292233 |     2371  16393 |        0 |        0
1574.44/1575.08	c 1575s |      27 | 20318577 | 15309033 |     2371  16407 |        0 |        0
1576.44/1577.08	c 1577s |      27 | 20341206 | 15326333 |     2371  16422 |        0 |        0
1578.44/1579.08	c 1579s |      27 | 20363996 | 15344033 |     2371  16437 |        0 |        0
1580.44/1581.09	c 1581s |      27 | 20386733 | 15361933 |     2371  16452 |        0 |        0
1582.45/1583.10	c 1583s |      27 | 20410037 | 15379833 |     2371  16467 |        0 |        0
1584.44/1585.10	c 1585s |      27 | 20432800 | 15397533 |     2371  16482 |        0 |        0
1586.54/1587.10	c 1587s |      27 | 20456448 | 15415933 |     2371  16497 |        0 |        0
1588.54/1589.11	c 1589s |      27 | 20476527 | 15432833 |     2371  16511 |        0 |        0
1590.54/1591.12	c 1591s |      27 | 20502795 | 15452233 |     2371  16527 |        0 |        0
1592.54/1593.12	c 1593s |      27 | 20523145 | 15468633 |     2371  16541 |        0 |        0
1594.54/1595.13	c 1595s |      27 | 20541472 | 15483633 |     2371  16554 |        0 |        0
1596.53/1597.13	c 1597s |      27 | 20566231 | 15502233 |     2371  16569 |        0 |        0
1598.53/1599.14	c 1599s |      27 | 20591107 | 15521133 |     2371  16585 |        0 |        0
1600.53/1601.14	c 1601s |      27 | 20616051 | 15540033 |     2371  16601 |        0 |        0
1602.53/1603.15	c 1603s |      27 | 20641775 | 15558933 |     2371  16617 |        0 |        0
1604.53/1605.15	c 1605s |      27 | 20667955 | 15578533 |     2371  16632 |        1 |        4
1606.54/1607.15	c 1607s |      27 | 20694072 | 15597633 |     2371  16648 |        1 |        4
1608.53/1609.16	c 1609s |      27 | 20719234 | 15616533 |     2371  16664 |        1 |        4
1610.53/1611.16	c 1611s |      27 | 20743483 | 15635033 |     2371  16680 |        1 |        4
1612.53/1613.17	c 1613s |      27 | 20767908 | 15653233 |     2371  16695 |        1 |        4
1614.53/1615.18	c 1615s |      27 | 20791442 | 15670933 |     2371  16710 |        1 |        4
1616.54/1617.19	c 1617s |      27 | 20814582 | 15688533 |     2371  16725 |        1 |        4
1618.53/1619.19	c 1619s |      27 | 20840245 | 15706833 |     2371  16740 |        1 |        4
1620.63/1621.20	c 1621s |      27 | 20861195 | 15723133 |     2371  16754 |        1 |        4
1622.63/1623.21	c 1623s |      27 | 20886351 | 15741233 |     2371  16769 |        1 |        4
1624.63/1625.21	c 1625s |      27 | 20911433 | 15759833 |     2371  16784 |        1 |        4
1626.63/1627.21	c 1627s |      27 | 20937628 | 15779133 |     2371  16801 |        1 |        4
1628.63/1629.21	c 1629s |      27 | 20962426 | 15797933 |     2371  16816 |        1 |        4
1630.62/1631.22	c 1631s |      27 | 20986424 | 15816233 |     2371  16832 |        1 |        4
1632.62/1633.23	c 1633s |      27 | 21009456 | 15833833 |     2371  16847 |        1 |        4
1634.63/1635.23	c 1635s |      27 | 21031626 | 15850933 |     2371  16861 |        1 |        4
1636.63/1637.24	c 1637s |      27 | 21053788 | 15868133 |     2371  16875 |        1 |        4
1638.63/1639.24	c 1639s |      27 | 21075747 | 15885133 |     2371  16890 |        1 |        4
1640.64/1641.25	c 1641s |      27 | 21097857 | 15902533 |     2371  16904 |        1 |        4
1642.63/1643.26	c 1643s |      27 | 21121571 | 15920233 |     2371  16919 |        1 |        4
1644.63/1645.27	c 1645s |      27 | 21145124 | 15937933 |     2371  16934 |        1 |        4
1646.63/1647.28	c 1647s |      27 | 21166922 | 15955033 |     2371  16948 |        1 |        4
1648.63/1649.29	c 1649s |      27 | 21188854 | 15972033 |     2371  16963 |        1 |        4
1650.64/1651.29	c 1651s |      27 | 21212185 | 15989233 |     2371  16977 |        1 |        4
1652.63/1653.29	c 1653s |      27 | 21236943 | 16006933 |     2371  16992 |        1 |        4
1654.63/1655.29	c 1655s |      27 | 21260916 | 16024933 |     2371  17007 |        1 |        4
1656.63/1657.29	c 1657s |      27 | 21286435 | 16043433 |     2371  17023 |        1 |        4
1658.72/1659.30	c 1659s |      27 | 21310809 | 16061933 |     2371  17038 |        1 |        4
1660.72/1661.32	c 1661s |      27 | 21333010 | 16078833 |     2371  17052 |        1 |        4
1662.73/1663.32	c 1663s |      27 | 21356245 | 16096533 |     2371  17067 |        1 |        4
1664.72/1665.33	c 1665s |      27 | 21377037 | 16113233 |     2371  17081 |        1 |        4
1666.72/1667.33	c 1667s |      27 | 21401593 | 16131633 |     2371  17097 |        1 |        4
1668.72/1669.34	c 1669s |      27 | 21425280 | 16149833 |     2371  17112 |        1 |        4
1670.72/1671.34	c 1671s |      27 | 21448110 | 16167333 |     2371  17127 |        1 |        4
1672.72/1673.36	c 1673s |      27 | 21471462 | 16184833 |     2371  17141 |        1 |        4
1674.73/1675.37	c 1675s |      27 | 21495412 | 16202333 |     2371  17156 |        1 |        4
1676.72/1677.37	c 1677s |      27 | 21517693 | 16219833 |     2371  17171 |        1 |        4
1678.72/1679.40	c 1679s |      27 | 21543612 | 16238433 |     2371  17187 |        1 |        4
1680.82/1681.41	c 1681s |      27 | 21565756 | 16256033 |     2371  17201 |        1 |        4
1682.82/1683.41	c 1683s |      27 | 21587659 | 16273133 |     2371  17216 |        1 |        4
1684.82/1685.41	c 1685s |      27 | 21610618 | 16290833 |     2371  17231 |        1 |        4
1686.82/1687.42	c 1687s |      27 | 21635036 | 16309133 |     2371  17246 |        1 |        4
1688.82/1689.42	c 1689s |      27 | 21655139 | 16325333 |     2371  17260 |        1 |        4
1690.82/1691.42	c 1691s |      27 | 21679819 | 16343633 |     2371  17275 |        1 |        4
1692.82/1693.43	c 1693s |      27 | 21700776 | 16360433 |     2371  17289 |        1 |        4
1694.82/1695.43	c 1695s |      27 | 21724540 | 16378833 |     2371  17305 |        1 |        4
1696.83/1697.44	c 1697s |      27 | 21747673 | 16396633 |     2371  17320 |        1 |        4
1698.82/1699.44	c 1699s |      27 | 21773025 | 16415333 |     2371  17335 |        1 |        4
1700.82/1701.44	c 1701s |      27 | 21798882 | 16434833 |     2371  17352 |        1 |        4
1702.82/1703.45	c 1703s |      27 | 21823976 | 16453233 |     2371  17367 |        1 |        4
1704.82/1705.45	c 1705s |      27 | 21850578 | 16471733 |     2371  17383 |        1 |        4
1706.82/1707.46	c 1707s |      27 | 21875489 | 16490033 |     2371  17398 |        1 |        4
1708.82/1709.47	c 1709s |      27 | 21900590 | 16508233 |     2371  17413 |        1 |        4
1710.82/1711.47	c 1711s |      27 | 21925251 | 16526933 |     2371  17429 |        1 |        4
1712.81/1713.48	c 1713s |      27 | 21951762 | 16545933 |     2371  17445 |        1 |        4
1714.81/1715.48	c 1715s |      27 | 21976682 | 16564633 |     2371  17461 |        1 |        4
1716.81/1717.48	c 1717s |      27 | 22003607 | 16584133 |     2371  17477 |        1 |        4
1718.82/1719.48	c 1719s |      27 | 22028650 | 16602733 |     2371  17493 |        1 |        4
1720.81/1721.49	c 1721s |      27 | 22054197 | 16621933 |     2371  17509 |        1 |        4
1722.81/1723.49	c 1723s |      27 | 22077939 | 16639733 |     2371  17524 |        1 |        4
1724.81/1725.50	c 1725s |      27 | 22100811 | 16656933 |     2371  17538 |        1 |        4
1726.91/1727.50	c 1727s |      27 | 22127055 | 16675933 |     2371  17554 |        1 |        4
1728.91/1729.51	c 1729s |      27 | 22152030 | 16694233 |     2371  17570 |        1 |        4
1730.92/1731.52	c 1731s |      27 | 22177668 | 16713133 |     2371  17585 |        1 |        4
1732.92/1733.52	c 1733s |      27 | 22202718 | 16731933 |     2371  17601 |        1 |        4
1734.92/1735.52	c 1735s |      27 | 22228709 | 16750933 |     2371  17617 |        1 |        4
1736.92/1737.53	c 1737s |      27 | 22254801 | 16769433 |     2371  17633 |        1 |        4
1738.92/1739.54	c 1739s |      27 | 22281116 | 16788733 |     2371  17649 |        1 |        4
1740.91/1741.54	c 1741s |      27 | 22306722 | 16807933 |     2371  17665 |        1 |        4
1742.92/1743.55	c 1743s |      27 | 22333046 | 16827133 |     2371  17681 |        1 |        4
1744.91/1745.55	c 1745s |      27 | 22358826 | 16846333 |     2371  17697 |        1 |        4
1746.91/1747.55	c 1747s |      27 | 22383518 | 16865333 |     2371  17713 |        2 |        8
1748.91/1749.55	c 1749s |      27 | 22408509 | 16884133 |     2371  17728 |        2 |        8
1750.91/1751.56	c 1751s |      27 | 22433905 | 16903333 |     2371  17744 |        2 |        8
1752.92/1753.57	c 1753s |      27 | 22458037 | 16922433 |     2371  17760 |        2 |        8
1754.91/1755.58	c 1755s |      27 | 22478051 | 16938833 |     2371  17774 |        2 |        8
1756.91/1757.58	c 1757s |      27 | 22501701 | 16956933 |     2371  17789 |        2 |        8
1758.91/1759.58	c 1759s |      27 | 22524674 | 16974633 |     2609  17804 |        2 |        8
1760.91/1761.59	c 1761s |      27 | 22547635 | 16992033 |     2609  17817 |        2 |        8
1762.91/1763.59	c 1763s |      27 | 22570798 | 17009333 |     2609  17830 |        2 |        8
1764.91/1765.60	c 1765s |      27 | 22590341 | 17025033 |     2609  17842 |        2 |        8
1767.01/1767.61	c 1767s |      27 | 22613799 | 17042233 |     2609  17856 |        2 |        8
1769.00/1769.62	c 1769s |      27 | 22637849 | 17059933 |     2609  17869 |        2 |        8
1771.00/1771.62	c 1771s |      27 | 22662515 | 17077833 |     2609  17883 |        2 |        8
1773.00/1773.60	c 1773s |      28 | 22685842 | 17095205 |     2609  17896 |        2 |        8
1775.00/1775.60	c 1775s |      28 | 22708762 | 17113005 |     2609  17910 |        2 |        8
1777.01/1777.61	c 1777s |      28 | 22732162 | 17130805 |     2609  17923 |        2 |        8
1779.00/1779.62	c 1779s |      28 | 22754487 | 17148105 |     2609  17936 |        2 |        8
1781.00/1781.62	c 1781s |      28 | 22777615 | 17165805 |     2609  17950 |        2 |        8
1783.00/1783.62	c 1783s |      28 | 22800506 | 17183805 |     2609  17963 |        2 |        8
1785.00/1785.62	c 1785s |      28 | 22822124 | 17200605 |     2609  17976 |        2 |        8
1787.01/1787.63	c 1787s |      28 | 22841789 | 17216405 |     2609  17988 |        2 |        8
1789.01/1789.63	c 1789s |      28 | 22863619 | 17233205 |     2609  18001 |        2 |        8
1791.01/1791.64	c 1791s |      28 | 22886792 | 17250705 |     2609  18014 |        2 |        8
1793.01/1793.64	c 1793s |      28 | 22908283 | 17267205 |     2609  18027 |        2 |        8
1795.01/1795.66	c 1795s |      28 | 22931318 | 17284905 |     2609  18041 |        2 |        8
1797.01/1797.66	c 1797s |      28 | 22953733 | 17302605 |     2609  18054 |        2 |        8
1799.01/1799.67	c 1799s |      28 | 22976879 | 17320905 |     2609  18068 |        2 |        8

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

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

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


[startup+0 s]
/proc/loadavg: 2.39 2.39 2.18 3/179 19085
/proc/meminfo: memFree=27271252/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=359868 CPUtime=0 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 1281 0 0 0 0 0 0 0 20 0 4 0 12385472 368504832 1130 33554432000 4194304 16246674 140734690573184 140734690572608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 90735 1139 441 2943 0 87629 0
[pid=19085/tid=19086] ppid=19082 vsize=376252 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 385282048 1191 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=379324 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 388427776 1206 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=384444 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12385473 393670656 1223 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100134 s]
/proc/loadavg: 2.39 2.39 2.18 3/179 19085
/proc/meminfo: memFree=27271252/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 25035 0 0 0 6 3 0 0 20 0 4 0 12385472 1247350784 24873 33554432000 4194304 16246674 140734690573184 140734690572608 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 304529 24884 708 2943 0 301423 0
[pid=19085/tid=19086] ppid=19082 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1247350784 24892 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1247350784 24900 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12385473 1247350784 24906 33554432000 4194304 16246674 140734690573184 140208180808880 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.200533 s]
/proc/loadavg: 2.39 2.39 2.18 3/179 19085
/proc/meminfo: memFree=27271252/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 48486 0 0 0 12 7 0 0 20 0 4 0 12385472 1247350784 48325 33554432000 4194304 16246674 140734690573184 140734690572608 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 304529 48335 708 2943 0 301423 0
[pid=19085/tid=19086] ppid=19082 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1247350784 48342 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1247350784 48350 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12385473 1247350784 48357 33554432000 4194304 16246674 140734690573184 140208180808880 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.300495 s]
/proc/loadavg: 2.39 2.39 2.18 3/179 19085
/proc/meminfo: memFree=27271252/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 72008 0 0 0 19 10 0 0 20 0 4 0 12385472 1247350784 71847 33554432000 4194304 16246674 140734690573184 140734690572608 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 304529 71855 708 2943 0 301423 0
[pid=19085/tid=19086] ppid=19082 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1247350784 71863 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1247350784 71871 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12385473 1247350784 71876 33554432000 4194304 16246674 140734690573184 140208180808880 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.700411 s]
/proc/loadavg: 2.39 2.39 2.18 3/179 19085
/proc/meminfo: memFree=27271252/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 169057 0 0 0 45 24 0 0 20 0 4 0 12385472 1247350784 168895 33554432000 4194304 16246674 140734690573184 140734690572608 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 304529 168908 708 2943 0 301423 0
[pid=19085/tid=19086] ppid=19082 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1247350784 168915 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1247350784 168920 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12385473 1247350784 168926 33554432000 4194304 16246674 140734690573184 140208180808880 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.50043 s]
/proc/loadavg: 2.36 2.39 2.18 3/183 19089
/proc/meminfo: memFree=26288448/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 245622 0 0 0 115 34 0 0 20 0 4 0 12385472 1248399360 245440 33554432000 4194304 16246674 140734690573184 140734690572496 13192682 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 304785 245440 785 2943 0 301679 0
[pid=19085/tid=19086] ppid=19082 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1248399360 245440 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1248399360 245440 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1248399360 245440 33554432000 4194304 16246674 140734690573184 140208180808880 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: 2.36 2.39 2.18 3/183 19089
/proc/meminfo: memFree=26201276/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 267426 0 0 0 272 36 0 0 20 0 4 0 12385472 1337528320 267244 33554432000 4194304 16246674 140734690573184 140734690555072 12469033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 326545 267244 786 2943 0 323439 0
[pid=19085/tid=19086] ppid=19082 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1337528320 267244 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1337528320 267244 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1337528320 267244 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 2.33 2.38 2.18 3/183 19089
/proc/meminfo: memFree=26199916/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 267518 0 0 0 592 36 0 0 20 0 4 0 12385472 1337528320 267336 33554432000 4194304 16246674 140734690573184 140734690555072 13818349 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 326545 267336 786 2943 0 323439 0
[pid=19085/tid=19086] ppid=19082 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1337528320 267336 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1337528320 267336 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1337528320 267336 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.30 2.37 2.18 3/183 19089
/proc/meminfo: memFree=26199928/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 267543 0 0 0 1232 37 0 0 20 0 4 0 12385472 1337528320 267361 33554432000 4194304 16246674 140734690573184 140734690556184 6044452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 326545 267361 787 2943 0 323439 0
[pid=19085/tid=19086] ppid=19082 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1337528320 267361 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1337528320 267361 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1337528320 267361 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.39 2.39 2.18 3/183 19089
/proc/meminfo: memFree=26199564/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 267795 0 0 0 2511 37 0 0 20 0 4 0 12385472 1338576896 267613 33554432000 4194304 16246674 140734690573184 140734690555072 12477720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 326801 267613 790 2943 0 323695 0
[pid=19085/tid=19086] ppid=19082 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1338576896 267613 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1338576896 267613 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1338576896 267613 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.26 2.35 2.18 3/183 19089
/proc/meminfo: memFree=26199020/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 267830 0 0 0 5070 38 0 0 20 0 4 0 12385472 1338576896 267648 33554432000 4194304 16246674 140734690573184 140734690555072 6021954 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 326801 267648 790 2943 0 323695 0
[pid=19085/tid=19086] ppid=19082 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1338576896 267648 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1338576896 267648 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1338576896 267648 33554432000 4194304 16246674 140734690573184 140208180808880 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) 1307204

[startup+102.3 s]
/proc/loadavg: 2.22 2.33 2.18 4/183 19090
/proc/meminfo: memFree=26199012/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 267830 0 0 0 10189 39 0 0 20 0 4 0 12385472 1338576896 267648 33554432000 4194304 16246674 140734690573184 140734690555072 13965719 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 326801 267648 790 2943 0 323695 0
[pid=19085/tid=19086] ppid=19082 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1338576896 267648 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1338576896 267648 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1338576896 267648 33554432000 4194304 16246674 140734690573184 140208180808880 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) 1307204


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

/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1345916928 269698 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.40 2.36 2.26 4/183 19217
/proc/meminfo: memFree=26184804/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1314372 CPUtime=1301.78 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 270066 0 0 0 130112 66 0 0 20 0 4 0 12385472 1345916928 269698 33554432000 4194304 16246674 140734690573184 140734690555072 13198659 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 328593 269698 792 2943 0 325487 0
[pid=19085/tid=19086] ppid=19082 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1345916928 269698 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1345916928 269698 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1345916928 269698 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.25 2.32 2.26 3/184 19222
/proc/meminfo: memFree=26184000/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1314372 CPUtime=1361.77 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 270066 0 0 0 136111 66 0 0 20 0 4 0 12385472 1345916928 269698 33554432000 4194304 16246674 140734690573184 140734690556184 5823870 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 328593 269698 792 2943 0 325487 0
[pid=19085/tid=19086] ppid=19082 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1345916928 269698 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1345916928 269698 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1345916928 269698 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.33 2.34 2.27 3/183 19223
/proc/meminfo: memFree=26184004/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1314372 CPUtime=1421.77 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 270066 0 0 0 142109 68 0 0 20 0 4 0 12385472 1345916928 269698 33554432000 4194304 16246674 140734690573184 140734690555072 5823751 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 328593 269698 792 2943 0 325487 0
[pid=19085/tid=19086] ppid=19082 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1345916928 269698 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1345916928 269698 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1345916928 269698 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.37 2.34 2.27 3/183 19224
/proc/meminfo: memFree=26183784/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1314372 CPUtime=1481.75 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 270066 0 0 0 148106 69 0 0 20 0 4 0 12385472 1345916928 269698 33554432000 4194304 16246674 140734690573184 140734690555072 12479011 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 328593 269698 792 2943 0 325487 0
[pid=19085/tid=19086] ppid=19082 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1345916928 269698 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1345916928 269698 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1345916928 269698 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.27 2.32 2.27 3/183 19225
/proc/meminfo: memFree=26182712/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1315396 CPUtime=1541.75 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 270322 0 0 0 154105 70 0 0 20 0 4 0 12385472 1346965504 269954 33554432000 4194304 16246674 140734690573184 140734690555072 12478176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 328849 269954 792 2943 0 325743 0
[pid=19085/tid=19086] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.48 2.36 2.28 4/183 19226
/proc/meminfo: memFree=26182500/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1315396 CPUtime=1601.73 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 270322 0 0 0 160102 71 0 0 20 0 4 0 12385472 1346965504 269954 33554432000 4194304 16246674 140734690573184 140734690556184 5827980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 328849 269954 792 2943 0 325743 0
[pid=19085/tid=19086] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.50 2.39 2.29 3/183 19228
/proc/meminfo: memFree=26181412/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1315396 CPUtime=1661.72 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 270322 0 0 0 166100 72 0 0 20 0 4 0 12385472 1346965504 269954 33554432000 4194304 16246674 140734690573184 140734690556184 13192052 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 328849 269954 792 2943 0 325743 0
[pid=19085/tid=19086] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.41 2.39 2.30 3/183 19229
/proc/meminfo: memFree=26180288/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1315396 CPUtime=1721.71 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 270322 0 0 0 172098 73 0 0 20 0 4 0 12385472 1346965504 269954 33554432000 4194304 16246674 140734690573184 140734690556184 5545876 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 328849 269954 792 2943 0 325743 0
[pid=19085/tid=19086] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.43 2.39 2.30 4/183 19230
/proc/meminfo: memFree=26180036/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1315396 CPUtime=1781.7 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 270322 0 0 0 178096 74 0 0 20 0 4 0 12385472 1346965504 269954 33554432000 4194304 16246674 140734690573184 140734690555072 5808388 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 328849 269954 792 2943 0 325743 0
[pid=19085/tid=19086] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208180808880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.33 2.37 2.29 3/183 19230
/proc/meminfo: memFree=26180168/32872528 swapFree=1590004/1720820
[pid=19085] ppid=19082 vsize=1315396 CPUtime=1800.01 cores=1,3,5,7
/proc/19085/stat : 19085 (toysat) R 19082 19085 13693 0 -1 4202496 270322 0 0 0 179926 75 0 0 20 0 4 0 12385472 1346965504 269954 33554432000 4194304 16246674 140734690573184 140734690556184 5677802 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19085/statm: 328849 269954 792 2943 0 325743 0
[pid=19085/tid=19086] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19086/stat : 19086 (toysat) S 19082 19085 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208201772272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19085/tid=19087] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19087/stat : 19087 (toysat) S 19082 19085 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208191282416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19085/tid=19088] ppid=19082 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/19085/task/19088/stat : 19088 (toysat) S 19082 19085 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12385473 1346965504 269954 33554432000 4194304 16246674 140734690573184 140208180808880 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) 1315396

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.02
CPU user time (s): 1799.27
CPU system time (s): 0.751885
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 0.751885
maximum resident set size= 1079816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270322
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= 455
involuntary context switches= 1883

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46232 second user time and 7.05693 second system time

The end

Begin job on node120 at 2016-06-30 21:17:50
IDJOB=4121370
IDBENCH=110448
IDSOLVER=2542
FILE ID=node120/4121370-1467314269
RUNJOBID= node120-1467312316-18593
PBS_JOBID= 20005266
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n96-d3-i3-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121370-1467314269/watcher-4121370-1467314269 -o /tmp/evaluation-result-4121370-1467314269/solver-4121370-1467314269 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467312316-18593 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121370-1467314269.opb

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

MD5SUM BENCH= 6f11a0e94ba4ebe82cc4404049f12c7c
RANDOM SEED=21244534

node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.669
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.669
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27273580 kB
Buffers:          168044 kB
Cached:          1880292 kB
SwapCached:            0 kB
Active:          1363360 kB
Inactive:        1763652 kB
Active(anon):    1081500 kB
Inactive(anon):        0 kB
Active(file):     281860 kB
Inactive(file):  1763652 kB
Unevictable:     1720820 kB
Mlocked:         1590004 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16440 kB
Writeback:             0 kB
AnonPages:       2805868 kB
Mapped:            17112 kB
Shmem:               204 kB
Slab:             611972 kB
SReclaimable:      56012 kB
SUnreclaim:       555960 kB
KernelStack:        1480 kB
PageTables:         9628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2938384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    636928 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= 71640 MiB
End job on node120 at 2016-06-30 21:47:50