0.00/0.00	c 2016-06-30T22:02:04+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-4122554-1467316924.opb"]
0.00/0.01	c use --random-gen="2440984995 3168479391 1544763333 232039095 1695689008 3825240990 1920540829 1943329910 2280652095 2387176272 2254435387 3010008555 3721324875 1989179446 3562713595 2232788468 2182935880 2525428498 1506183575 1189122787 3627479911 3631714882 3221658598 2563179572 2609010530 748507098 3871937436 4246783461 4144396615 1437941464 4026738122 715753316 2278239275 2890652575 3474909090 4030229846 196668697 3713358914 3392573365 2275627289 643005276 783619301 248420629 2220914637 3330955349 3913932233 1851622128 1796351708 1122234103 2113766515 3404452098 3631001761 1072985426 2685512165 1109733126 2097749221 3024941844 190293942 334797495 3612397080 769215389 591254489 3219961155 4138872333 2473147953 3901975207 3281009340 311543336 2104268993 172753914 349321759 1892561423 3393138170 1969526032 2614596661 1982179296 1933105744 2449247429 3520730586 3107948864 346521527 2885034076 834026621 731378585 751148779 1482626645 1594378187 3588473313 2849376411 221325656 663947149 818488252 1966131557 1485636570 3528396579 647784229 1694334766 3940978976 776793435 3935669729 1909148136 3200150633 3383400134 3430729322 2707283824 3983700921 1687486469 1285345783 3998489117 1382425459 5205082 300816179 260712136 1910171028 380057767 418649778 1736897538 4093214774 874436567 1765986845 825923801 3271285519 1395236052 1676804885 2555827214 2031228084 1794086597 1807813720 1763241431 2551820091 328644942 3904286486 3597285500 2183290306 2805124049 1133421243 1515222329 1062184705 856640824 2107429583 322009555 1649886672 4012167139 2932774794 1235292577 63697670 2774240284 1456520814 1704684382 132195404 1159863220 1736880369 2243688511 3456769760 2185941518 2518136104 1813187728 2310556835 3525636215 1855693876 1448079132 595729924 2807751288 2645129380 3129568363 2338854083 4010572409 4167489652 1001256354 2672349151 1570136788 830131803 58019888 4096272068 3459356296 391194063 1149982904 2697874015 286287066 1703711857 1864310556 3197430604 817059876 2369331482 2709971164 3977483320 3007723704 3204379556 1004819099 3447890718 1158973135 112994533 718158413 2643211396 2435074056 325226299 157211946 862309645 10831241 147522017 3544446049 4151462269 3514189179 1687683191 2024346490 211496088 4001140936 3256310710 3724206359 4139307220 1699835006 3016479441 2317436991 2819734554 1081563961 567207249 3063273062 1575758730 1691193996 3347806347 2518024914 2561378675 1255717725 1582963318 3739760860 1592670867 1541192283 1737089283 360883199 3536157821 1380584018 4248232083 1087639577 2009551134 2700698794 1950162661 4094207077 1718084936 2342443319 2245639861 4143567409 1427741930 2005410201 1170190601 4192936156 2325297667 1562648536 3088587560 1106673322 1278654623 1342914531 2910206961 3828748388 1884187281 1480880570 2930189519 255 362436" option to reproduce the execution
0.00/0.01	c #vars 109
0.00/0.01	c #constraints 108
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       72      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      147 |      100 |       72      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      389 |      250 |       80      3 |        0 |        0
0.00/0.05	c  0.0s |       3 |      726 |      475 |       88      7 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1191 |      813 |       97     12 |        0 |        0
0.08/0.14	c  0.1s |       5 |     2072 |     1320 |      107     20 |        0 |        0
0.19/0.21	c  0.2s |       6 |     3084 |     2081 |      130     29 |        0 |        0
0.28/0.33	c  0.3s |       7 |     4806 |     3223 |      143     46 |        0 |        0
0.49/0.51	c  0.5s |       8 |     7280 |     4936 |      158     65 |        0 |        0
0.69/0.79	c  0.8s |       9 |    10620 |     7506 |      174     93 |        0 |        0
1.09/1.16	c  1.1s |      10 |    15885 |    11361 |      192    131 |        0 |        0
1.49/1.56	c  1.5s |      11 |    23977 |    17144 |      212    184 |        0 |        0
2.20/2.29	c  2.3s |      12 |    34748 |    25819 |      234    257 |        0 |        0
3.19/3.26	c  3.2s |      13 |    52565 |    38832 |      258    358 |        0 |        0
4.69/4.75	c  4.7s |      14 |    78620 |    58352 |      284    497 |        0 |        0
6.70/6.76	c  6.7s |      14 |   110740 |    84052 |      284    662 |        0 |        0
6.99/7.03	c  7.0s |      15 |   115499 |    87632 |      313    686 |        0 |        0
8.99/9.03	c  9.0s |      15 |   147214 |   112632 |      313    835 |        0 |        0
10.49/10.58	c 10.6s |      16 |   171014 |   131552 |      345    948 |        0 |        0
12.49/12.59	c 12.6s |      16 |   202239 |   156052 |      345   1080 |        0 |        0
14.49/14.59	c 14.6s |      16 |   233400 |   180952 |      345   1216 |        0 |        0
15.89/15.92	c 15.9s |      17 |   255129 |   197432 |      380   1305 |        0 |        0
17.89/17.93	c 17.9s |      17 |   282668 |   220232 |      380   1419 |        0 |        0
19.89/19.93	c 19.9s |      17 |   313066 |   244232 |      380   1538 |        0 |        0
21.88/21.93	c 21.9s |      17 |   342929 |   267932 |      380   1656 |        0 |        0
23.88/23.94	c 23.9s |      17 |   369332 |   290232 |      380   1767 |        0 |        0
24.48/24.52	c 24.5s |      18 |   376162 |   296252 |      419   1796 |        0 |        0
26.49/26.52	c 26.5s |      18 |   404244 |   318952 |      419   1898 |        0 |        0
28.48/28.52	c 28.5s |      18 |   431363 |   341952 |      419   2002 |        0 |        0
30.48/30.53	c 30.5s |      18 |   459190 |   365052 |      419   2107 |        0 |        0
32.48/32.53	c 32.5s |      18 |   485074 |   386952 |      419   2207 |        0 |        0
34.48/34.53	c 34.5s |      18 |   512425 |   409752 |      419   2310 |        0 |        0
36.48/36.54	c 36.5s |      18 |   537706 |   431652 |      419   2409 |        0 |        0
37.68/37.77	c 37.8s |      19 |   552468 |   444482 |      461   2466 |        0 |        0
39.69/39.77	c 39.8s |      19 |   581130 |   466982 |      461   2559 |        0 |        0
41.68/41.78	c 41.8s |      19 |   607299 |   488582 |      461   2648 |        0 |        0
43.69/43.78	c 43.8s |      19 |   632760 |   509982 |      461   2737 |        0 |        0
45.68/45.79	c 45.8s |      19 |   658397 |   531282 |      461   2825 |        0 |        0
47.68/47.79	c 47.8s |      19 |   686393 |   553482 |      461   2918 |        0 |        0
49.78/49.80	c 49.8s |      19 |   714088 |   575582 |      461   3010 |        0 |        0
51.69/51.80	c 51.8s |      19 |   742497 |   598882 |      461   3105 |        0 |        0
53.78/53.80	c 53.8s |      19 |   772585 |   622182 |      461   3202 |        0 |        0
55.78/55.81	c 55.8s |      19 |   803143 |   646082 |      461   3302 |        0 |        0
57.58/57.65	c 57.6s |      20 |   828266 |   666827 |      508   3386 |        0 |        0
59.58/59.65	c 59.6s |      20 |   857122 |   689827 |      508   3474 |        0 |        0
61.58/61.65	c 61.6s |      20 |   885477 |   712827 |      508   3561 |        0 |        0
63.58/63.66	c 63.6s |      20 |   914197 |   735927 |      508   3649 |        0 |        0
65.58/65.66	c 65.6s |      20 |   941860 |   758927 |      508   3736 |        0 |        0
67.58/67.67	c 67.7s |      20 |   969504 |   781527 |      508   3822 |        0 |        0
69.58/69.67	c 69.7s |      20 |   998088 |   803827 |      508   3907 |        0 |        0
71.59/71.67	c 71.7s |      20 |  1026585 |   826127 |      508   3992 |        0 |        0
73.58/73.68	c 73.7s |      20 |  1052516 |   847927 |      508   4075 |        0 |        0
75.58/75.68	c 75.7s |      20 |  1080020 |   869727 |      508   4157 |        0 |        0
77.58/77.69	c 77.7s |      20 |  1106285 |   891427 |      508   4240 |        0 |        0
79.58/79.69	c 79.7s |      20 |  1134503 |   914327 |      508   4328 |        0 |        0
81.58/81.69	c 81.7s |      20 |  1164819 |   937927 |      508   4418 |        0 |        0
83.58/83.70	c 83.7s |      20 |  1196013 |   962227 |      508   4511 |        0 |        0
85.68/85.70	c 85.7s |      20 |  1225819 |   985927 |      508   4602 |        0 |        0
86.88/86.92	c 86.9s |      21 |  1243647 |  1000345 |      559   4654 |        0 |        0
88.88/88.93	c 88.9s |      21 |  1270977 |  1022745 |      559   4731 |        0 |        0
90.88/90.93	c 90.9s |      21 |  1295029 |  1043345 |      559   4802 |        0 |        0
92.87/92.94	c 92.9s |      21 |  1321258 |  1064745 |      559   4876 |        0 |        0
94.87/94.94	c 94.9s |      21 |  1350233 |  1087345 |      559   4954 |        0 |        0
96.88/96.94	c 96.9s |      21 |  1376922 |  1109145 |      559   5029 |        0 |        0
98.87/98.95	c 98.9s |      21 |  1406075 |  1132345 |      559   5109 |        0 |        0
100.87/100.96	c  100s |      21 |  1432231 |  1153845 |      559   5182 |        0 |        0
102.87/102.96	c  102s |      21 |  1463051 |  1176945 |      559   5262 |        0 |        0
104.87/104.97	c  104s |      21 |  1490108 |  1198845 |      559   5338 |        0 |        0
106.87/106.97	c  106s |      21 |  1515883 |  1220245 |      559   5412 |        0 |        0
108.88/108.97	c  108s |      21 |  1542922 |  1241845 |      559   5487 |        0 |        0
110.87/110.98	c  110s |      21 |  1569900 |  1263645 |      559   5562 |        0 |        0
112.87/112.98	c  112s |      21 |  1598182 |  1286445 |      559   5641 |        0 |        0
114.87/114.99	c  114s |      21 |  1624429 |  1307745 |      559   5715 |        0 |        0
116.87/116.99	c  116s |      21 |  1653573 |  1330445 |      559   5794 |        0 |        0
118.87/118.99	c  118s |      21 |  1681850 |  1352645 |      559   5871 |        0 |        0
120.87/121.00	c  120s |      21 |  1711588 |  1375745 |      559   5951 |        0 |        0
122.97/123.00	c  122s |      21 |  1738658 |  1398145 |      559   6029 |        0 |        0
124.97/125.01	c  124s |      21 |  1766654 |  1420645 |      559   6108 |        0 |        0
126.97/127.01	c  126s |      21 |  1793466 |  1442645 |      559   6184 |        0 |        0
128.97/129.02	c  129s |      21 |  1821536 |  1465045 |      559   6263 |        0 |        0
130.98/131.02	c  131s |      21 |  1850463 |  1487945 |      559   6343 |        0 |        0
132.08/132.19	c  132s |      22 |  1865313 |  1500622 |      615   6383 |        0 |        0
134.07/134.19	c  134s |      22 |  1890199 |  1521622 |      615   6449 |        0 |        0
136.17/136.20	c  136s |      22 |  1914325 |  1542222 |      615   6515 |        0 |        0
138.17/138.20	c  138s |      22 |  1938936 |  1563022 |      615   6581 |        0 |        0
140.17/140.20	c  140s |      22 |  1965138 |  1584622 |      615   6649 |        0 |        0
142.16/142.21	c  142s |      22 |  1991325 |  1606422 |      615   6717 |        0 |        0
144.17/144.21	c  144s |      22 |  2016121 |  1627222 |      615   6783 |        0 |        0
146.16/146.21	c  146s |      22 |  2040447 |  1647622 |      615   6847 |        0 |        0
148.16/148.22	c  148s |      22 |  2066406 |  1669022 |      615   6915 |        0 |        0
150.16/150.23	c  150s |      22 |  2089965 |  1688922 |      615   6977 |        0 |        0
152.16/152.24	c  152s |      22 |  2114249 |  1709622 |      615   7043 |        0 |        0
154.16/154.25	c  154s |      22 |  2139065 |  1730222 |      615   7108 |        0 |        0
156.17/156.25	c  156s |      22 |  2167778 |  1752622 |      615   7179 |        0 |        0
158.16/158.26	c  158s |      22 |  2192914 |  1773622 |      615   7245 |        0 |        0
160.16/160.26	c  160s |      22 |  2215306 |  1793222 |      615   7308 |        0 |        0
162.17/162.27	c  162s |      22 |  2239521 |  1813422 |      615   7372 |        0 |        0
164.17/164.28	c  164s |      22 |  2263344 |  1833322 |      615   7435 |        0 |        0
166.17/166.28	c  166s |      22 |  2289110 |  1854522 |      615   7502 |        0 |        0
168.17/168.29	c  168s |      22 |  2315079 |  1875922 |      615   7569 |        0 |        0
170.17/170.29	c  170s |      22 |  2340005 |  1896622 |      615   7635 |        0 |        0
172.17/172.29	c  172s |      22 |  2363033 |  1916622 |      615   7698 |        0 |        0
174.26/174.30	c  174s |      22 |  2387404 |  1937422 |      615   7764 |        0 |        0
176.26/176.31	c  176s |      22 |  2413297 |  1958922 |      615   7832 |        0 |        0
178.27/178.31	c  178s |      22 |  2438634 |  1980322 |      615   7900 |        0 |        0
180.26/180.31	c  180s |      22 |  2463906 |  2002322 |      615   7970 |        0 |        0
182.26/182.32	c  182s |      22 |  2490701 |  2024322 |      615   8040 |        0 |        0
184.26/184.32	c  184s |      22 |  2514370 |  2044722 |      615   8105 |        0 |        0
186.26/186.32	c  186s |      22 |  2537566 |  2064922 |      615   8169 |        0 |        0
188.26/188.33	c  188s |      22 |  2562111 |  2085222 |      615   8234 |        0 |        0
190.27/190.33	c  190s |      22 |  2587118 |  2105922 |      615   8300 |        0 |        0
192.26/192.34	c  192s |      22 |  2609775 |  2125322 |      615   8362 |        0 |        0
194.26/194.34	c  194s |      22 |  2637263 |  2146522 |      615   8429 |        0 |        0
196.26/196.35	c  196s |      22 |  2665776 |  2168622 |      615   8499 |        0 |        0
198.26/198.36	c  198s |      22 |  2691322 |  2189422 |      615   8565 |        0 |        0
200.26/200.37	c  200s |      22 |  2717676 |  2210222 |      615   8631 |        0 |        0
202.26/202.37	c  202s |      22 |  2742800 |  2230922 |      615   8696 |        0 |        0
204.26/204.31	c  204s |      23 |  2768308 |  2251038 |      677   8754 |        0 |        0
206.25/206.32	c  206s |      23 |  2792034 |  2271338 |      677   8812 |        0 |        0
208.25/208.32	c  208s |      23 |  2816794 |  2291738 |      677   8871 |        0 |        0
210.25/210.32	c  210s |      23 |  2839684 |  2311138 |      677   8926 |        0 |        0
212.27/212.32	c  212s |      23 |  2866451 |  2332338 |      677   8987 |        0 |        0
214.26/214.34	c  214s |      23 |  2893352 |  2353538 |      677   9048 |        0 |        0
216.26/216.34	c  216s |      23 |  2917500 |  2373538 |      677   9105 |        0 |        0
218.26/218.35	c  218s |      23 |  2940710 |  2393138 |      677   9161 |        0 |        0
220.26/220.36	c  220s |      23 |  2965332 |  2413938 |      677   9221 |        0 |        0
222.26/222.36	c  222s |      23 |  2992026 |  2435538 |      677   9283 |        0 |        0
224.25/224.37	c  224s |      23 |  3018098 |  2456738 |      677   9344 |        0 |        0
226.25/226.37	c  226s |      23 |  3043337 |  2477738 |      677   9404 |        0 |        0
228.25/228.38	c  228s |      23 |  3071467 |  2499738 |      677   9468 |        0 |        0
230.25/230.39	c  230s |      23 |  3095662 |  2519738 |      677   9525 |        0 |        0
232.25/232.39	c  232s |      23 |  3119532 |  2539338 |      677   9581 |        0 |        0
234.26/234.39	c  234s |      23 |  3142800 |  2559138 |      677   9638 |        0 |        0
236.35/236.40	c  236s |      23 |  3166107 |  2579038 |      677   9696 |        0 |        0
238.35/238.41	c  238s |      23 |  3188768 |  2598438 |      677   9751 |        0 |        0
240.35/240.41	c  240s |      23 |  3212937 |  2618338 |      677   9808 |        0 |        0
242.35/242.42	c  242s |      23 |  3237088 |  2638538 |      677   9867 |        0 |        0
244.35/244.43	c  244s |      23 |  3262091 |  2658838 |      677   9925 |        0 |        0
246.35/246.43	c  246s |      23 |  3286711 |  2678938 |      677   9983 |        0 |        0
248.35/248.44	c  248s |      23 |  3311576 |  2698738 |      677  10039 |        0 |        0
250.35/250.45	c  250s |      23 |  3334619 |  2718338 |      677  10095 |        0 |        0
252.35/252.46	c  252s |      23 |  3356795 |  2737338 |      677  10150 |        0 |        0
254.35/254.46	c  254s |      23 |  3385512 |  2758338 |      677  10210 |        0 |        0
256.36/256.47	c  256s |      23 |  3407956 |  2777338 |      677  10265 |        0 |        0
258.35/258.47	c  258s |      23 |  3430240 |  2796438 |      677  10319 |        0 |        0
260.35/260.48	c  260s |      23 |  3452933 |  2815938 |      677  10375 |        0 |        0
262.35/262.49	c  262s |      23 |  3476194 |  2835038 |      677  10431 |        0 |        0
264.35/264.49	c  264s |      23 |  3502582 |  2856038 |      677  10491 |        0 |        0
266.45/266.50	c  266s |      23 |  3527574 |  2876638 |      677  10551 |        0 |        0
268.46/268.50	c  268s |      23 |  3552479 |  2897338 |      677  10611 |        0 |        0
270.45/270.51	c  270s |      23 |  3578910 |  2918438 |      677  10672 |        0 |        0
272.45/272.51	c  272s |      23 |  3605192 |  2939338 |      677  10733 |        0 |        0
274.45/274.52	c  274s |      23 |  3631189 |  2960438 |      677  10794 |        0 |        0
276.45/276.52	c  276s |      23 |  3656469 |  2981638 |      677  10856 |        0 |        0
278.44/278.53	c  278s |      23 |  3681518 |  3002438 |      677  10916 |        0 |        0
280.45/280.54	c  280s |      23 |  3704852 |  3022238 |      677  10972 |        0 |        0
282.44/282.54	c  282s |      23 |  3728897 |  3042238 |      677  11030 |        0 |        0
284.44/284.55	c  284s |      23 |  3751920 |  3061838 |      677  11086 |        0 |        0
286.44/286.55	c  286s |      23 |  3776566 |  3081938 |      677  11143 |        0 |        0
288.44/288.56	c  288s |      23 |  3800451 |  3101338 |      677  11198 |        0 |        0
290.45/290.57	c  290s |      23 |  3824568 |  3121838 |      677  11257 |        0 |        0
292.45/292.57	c  292s |      23 |  3847793 |  3141938 |      677  11315 |        0 |        0
294.45/294.57	c  294s |      23 |  3871495 |  3162238 |      677  11374 |        0 |        0
296.45/296.58	c  296s |      23 |  3895916 |  3182638 |      677  11433 |        0 |        0
298.44/298.59	c  298s |      23 |  3919516 |  3202738 |      677  11490 |        0 |        0
300.44/300.59	c  300s |      23 |  3946239 |  3224338 |      677  11553 |        0 |        0
302.45/302.60	c  302s |      23 |  3971567 |  3245138 |      677  11613 |        0 |        0
304.54/304.60	c  304s |      23 |  3995002 |  3264938 |      677  11670 |        0 |        0
306.54/306.61	c  306s |      23 |  4019965 |  3285138 |      677  11729 |        0 |        0
308.54/308.61	c  308s |      23 |  4047120 |  3306338 |      677  11790 |        0 |        0
310.54/310.62	c  310s |      23 |  4072316 |  3326638 |      677  11849 |        0 |        0
312.54/312.63	c  312s |      23 |  4095680 |  3345738 |      677  11903 |        0 |        0
314.55/314.63	c  314s |      23 |  4122345 |  3366438 |      745  11959 |        0 |        0
315.54/315.69	c  315s |      24 |  4134756 |  3376662 |      745  11986 |        0 |        0
317.54/317.70	c  317s |      24 |  4159358 |  3396862 |      745  12039 |        0 |        0
319.64/319.70	c  319s |      24 |  4184268 |  3417462 |      745  12092 |        0 |        0
321.64/321.70	c  321s |      24 |  4209907 |  3437962 |      745  12146 |        0 |        0
323.64/323.71	c  323s |      24 |  4235192 |  3458362 |      745  12199 |        0 |        0
325.64/325.72	c  325s |      24 |  4259294 |  3478162 |      745  12252 |        0 |        0
327.64/327.73	c  327s |      24 |  4282312 |  3497262 |      745  12301 |        0 |        0
329.64/329.73	c  329s |      24 |  4306598 |  3517362 |      745  12353 |        0 |        0
331.64/331.74	c  331s |      24 |  4330468 |  3536962 |      745  12404 |        0 |        0
333.64/333.74	c  333s |      24 |  4356083 |  3557062 |      745  12457 |        0 |        0
335.63/335.74	c  335s |      24 |  4382872 |  3577662 |      745  12511 |        0 |        0
337.64/337.75	c  337s |      24 |  4405989 |  3596862 |      745  12562 |        0 |        0
339.63/339.76	c  339s |      24 |  4429108 |  3615962 |      745  12612 |        0 |        0
341.63/341.76	c  341s |      24 |  4452861 |  3635662 |      745  12663 |        0 |        0
343.64/343.76	c  343s |      24 |  4475208 |  3654562 |      745  12712 |        0 |        0
345.64/345.77	c  345s |      24 |  4499850 |  3674462 |      745  12765 |        0 |        0
347.65/347.77	c  347s |      24 |  4525008 |  3694562 |      745  12817 |        0 |        0
349.64/349.78	c  349s |      24 |  4548822 |  3714162 |      745  12868 |        0 |        0
351.64/351.79	c  351s |      24 |  4572483 |  3733562 |      745  12919 |        0 |        0
353.74/353.80	c  353s |      24 |  4592576 |  3751362 |      745  12966 |        0 |        0
355.73/355.80	c  355s |      24 |  4612637 |  3769162 |      745  13012 |        0 |        0
357.73/357.81	c  357s |      24 |  4633649 |  3787062 |      745  13059 |        0 |        0
359.74/359.81	c  359s |      24 |  4652510 |  3803762 |      745  13102 |        0 |        0
361.73/361.82	c  361s |      24 |  4673553 |  3821962 |      745  13150 |        0 |        0
363.73/363.83	c  363s |      24 |  4696015 |  3840562 |      745  13198 |        0 |        0
365.73/365.83	c  365s |      24 |  4719213 |  3859662 |      745  13249 |        0 |        0
367.73/367.84	c  367s |      24 |  4739013 |  3877162 |      745  13294 |        0 |        0
369.73/369.85	c  369s |      24 |  4762562 |  3896262 |      745  13345 |        0 |        0
371.74/371.86	c  371s |      24 |  4783281 |  3914662 |      745  13393 |        0 |        0
373.73/373.87	c  373s |      24 |  4802935 |  3932162 |      745  13439 |        0 |        0
375.73/375.87	c  375s |      24 |  4823169 |  3949962 |      745  13485 |        0 |        0
377.73/377.87	c  377s |      24 |  4844823 |  3968562 |      745  13534 |        0 |        0
379.73/379.89	c  379s |      24 |  4865601 |  3986562 |      745  13581 |        0 |        0
381.83/381.90	c  381s |      24 |  4886435 |  4004662 |      745  13628 |        0 |        0
383.73/383.90	c  383s |      24 |  4907152 |  4022762 |      745  13676 |        0 |        0
385.83/385.90	c  385s |      24 |  4926550 |  4040162 |      745  13721 |        0 |        0
387.83/387.91	c  387s |      24 |  4948053 |  4058762 |      745  13770 |        0 |        0
389.83/389.92	c  389s |      24 |  4969180 |  4076962 |      745  13817 |        0 |        0
391.83/391.92	c  391s |      24 |  4989953 |  4095162 |      745  13865 |        0 |        0
393.83/393.92	c  393s |      24 |  5012729 |  4114462 |      745  13915 |        0 |        0
395.83/395.93	c  395s |      24 |  5034570 |  4133362 |      745  13965 |        0 |        0
397.83/397.93	c  397s |      24 |  5057166 |  4152662 |      745  14016 |        0 |        0
399.83/399.94	c  399s |      24 |  5079699 |  4171762 |      745  14066 |        0 |        0
401.83/401.95	c  401s |      24 |  5101530 |  4190462 |      745  14116 |        0 |        0
403.82/403.95	c  403s |      24 |  5123498 |  4209262 |      745  14165 |        0 |        0
405.83/405.96	c  405s |      24 |  5149240 |  4229262 |      745  14218 |        0 |        0
407.82/407.96	c  407s |      24 |  5172701 |  4248662 |      745  14269 |        0 |        0
409.83/409.97	c  409s |      24 |  5197100 |  4268362 |      745  14320 |        0 |        0
411.83/411.97	c  411s |      24 |  5221823 |  4288462 |      745  14373 |        0 |        0
413.83/413.98	c  413s |      24 |  5246622 |  4308462 |      745  14426 |        0 |        0
415.84/415.98	c  415s |      24 |  5271966 |  4328662 |      745  14479 |        0 |        0
417.83/417.99	c  417s |      24 |  5293811 |  4347362 |      745  14528 |        0 |        0
419.83/419.99	c  419s |      24 |  5316322 |  4366762 |      745  14579 |        0 |        0
421.83/421.99	c  421s |      24 |  5339201 |  4386262 |      745  14630 |        0 |        0
423.93/424.00	c  423s |      24 |  5361056 |  4405262 |      745  14680 |        0 |        0
425.93/426.01	c  425s |      24 |  5383694 |  4424662 |      745  14732 |        0 |        0
427.93/428.02	c  428s |      24 |  5404552 |  4442762 |      745  14779 |        0 |        0
429.92/430.03	c  430s |      24 |  5428889 |  4462162 |      745  14830 |        0 |        0
431.92/432.04	c  432s |      24 |  5453628 |  4481762 |      745  14882 |        0 |        0
433.92/434.05	c  434s |      24 |  5479118 |  4502062 |      745  14935 |        0 |        0
435.92/436.05	c  436s |      24 |  5504172 |  4522462 |      745  14989 |        0 |        0
437.92/438.06	c  438s |      24 |  5526983 |  4541862 |      745  15041 |        0 |        0
439.93/440.06	c  440s |      24 |  5549753 |  4560962 |      745  15091 |        0 |        0
441.92/442.08	c  442s |      24 |  5570689 |  4579262 |      745  15139 |        0 |        0
443.92/444.08	c  444s |      24 |  5591582 |  4597362 |      745  15187 |        0 |        0
445.92/446.09	c  446s |      24 |  5613851 |  4616262 |      745  15237 |        0 |        0
447.92/448.09	c  448s |      24 |  5636254 |  4634962 |      745  15286 |        0 |        0
450.02/450.10	c  450s |      24 |  5659012 |  4653862 |      745  15335 |        0 |        0
452.02/452.11	c  452s |      24 |  5681822 |  4672962 |      745  15384 |        0 |        0
454.02/454.11	c  454s |      24 |  5703206 |  4691362 |      745  15432 |        0 |        0
456.02/456.12	c  456s |      24 |  5725357 |  4710062 |      745  15481 |        0 |        0
458.02/458.12	c  458s |      24 |  5748649 |  4729062 |      745  15530 |        0 |        0
460.02/460.12	c  460s |      24 |  5770762 |  4747962 |      745  15580 |        0 |        0
462.03/462.13	c  462s |      24 |  5793267 |  4767262 |      745  15630 |        0 |        0
464.02/464.13	c  464s |      24 |  5816654 |  4786762 |      745  15682 |        0 |        0
466.02/466.13	c  466s |      24 |  5838820 |  4805862 |      745  15732 |        0 |        0
468.02/468.14	c  468s |      24 |  5861017 |  4824962 |      745  15782 |        0 |        0
470.02/470.14	c  470s |      24 |  5884617 |  4844562 |      745  15833 |        0 |        0
472.02/472.14	c  472s |      24 |  5907480 |  4863762 |      745  15883 |        0 |        0
474.02/474.15	c  474s |      24 |  5932060 |  4883962 |      745  15936 |        0 |        0
476.02/476.16	c  476s |      24 |  5955905 |  4903662 |      745  15988 |        0 |        0
478.02/478.16	c  478s |      24 |  5979560 |  4922962 |      745  16039 |        0 |        0
480.01/480.17	c  480s |      24 |  6003134 |  4941662 |      745  16088 |        0 |        0
482.01/482.17	c  482s |      24 |  6027080 |  4960362 |      745  16137 |        0 |        0
484.02/484.18	c  484s |      24 |  6050351 |  4979362 |      745  16187 |        0 |        0
486.01/486.18	c  486s |      24 |  6072761 |  4998462 |      745  16237 |        0 |        0
488.02/488.19	c  488s |      24 |  6094556 |  5017362 |      745  16286 |        0 |        0
490.02/490.19	c  490s |      24 |  6114452 |  5034962 |      820  16330 |        0 |        0
492.12/492.20	c  492s |      24 |  6134140 |  5052262 |      820  16371 |        0 |        0
493.62/493.70	c  493s |      25 |  6149141 |  5065098 |      820  16402 |        0 |        0
495.62/495.70	c  495s |      25 |  6172135 |  5084198 |      820  16448 |        0 |        0
497.62/497.71	c  497s |      25 |  6192536 |  5101998 |      820  16489 |        0 |        0
499.62/499.71	c  499s |      25 |  6215151 |  5120798 |      820  16534 |        0 |        0
501.62/501.71	c  501s |      25 |  6240773 |  5141198 |      820  16583 |        0 |        0
503.61/503.72	c  503s |      25 |  6265532 |  5160998 |      820  16631 |        0 |        0
505.61/505.73	c  505s |      25 |  6290386 |  5180598 |      820  16677 |        0 |        0
507.61/507.74	c  507s |      25 |  6313447 |  5199598 |      820  16722 |        0 |        0
509.61/509.74	c  509s |      25 |  6339047 |  5219798 |      820  16771 |        0 |        0
511.61/511.75	c  511s |      25 |  6365640 |  5239898 |      820  16818 |        0 |        0
513.62/513.75	c  513s |      25 |  6391844 |  5260598 |      820  16868 |        0 |        0
515.61/515.75	c  515s |      25 |  6417078 |  5280898 |      820  16916 |        0 |        0
517.61/517.76	c  517s |      25 |  6441471 |  5300998 |      820  16964 |        0 |        0
519.61/519.76	c  519s |      25 |  6466315 |  5320898 |      820  17012 |        0 |        0
521.61/521.77	c  521s |      25 |  6491856 |  5341298 |      820  17061 |        0 |        0
523.61/523.77	c  523s |      25 |  6515294 |  5360698 |      820  17107 |        0 |        0
525.61/525.77	c  525s |      25 |  6541219 |  5380998 |      820  17155 |        0 |        0
527.61/527.78	c  527s |      25 |  6565654 |  5400798 |      820  17203 |        0 |        0
529.61/529.79	c  529s |      25 |  6589404 |  5420398 |      820  17249 |        0 |        0
531.61/531.79	c  531s |      25 |  6612967 |  5439998 |      820  17296 |        0 |        0
533.70/533.80	c  533s |      25 |  6637728 |  5459898 |      820  17343 |        0 |        0
535.71/535.81	c  535s |      25 |  6662955 |  5479998 |      820  17391 |        0 |        0
537.70/537.81	c  537s |      25 |  6690225 |  5500598 |      820  17441 |        0 |        0
539.70/539.81	c  539s |      25 |  6715076 |  5520298 |      820  17488 |        0 |        0
541.70/541.82	c  541s |      25 |  6740159 |  5540098 |      820  17535 |        0 |        0
543.70/543.83	c  543s |      25 |  6761883 |  5558298 |      820  17579 |        0 |        0
545.70/545.83	c  545s |      25 |  6785967 |  5577498 |      820  17625 |        0 |        0
547.72/547.83	c  547s |      25 |  6808494 |  5596298 |      820  17669 |        0 |        0
549.71/549.84	c  549s |      25 |  6832220 |  5615598 |      820  17715 |        0 |        0
551.71/551.85	c  551s |      25 |  6855913 |  5635098 |      820  17762 |        0 |        0
553.71/553.85	c  553s |      25 |  6880980 |  5654798 |      820  17809 |        0 |        0
555.71/555.86	c  555s |      25 |  6906822 |  5674698 |      820  17857 |        0 |        0
557.71/557.86	c  557s |      25 |  6932873 |  5694798 |      820  17905 |        0 |        0
559.71/559.87	c  559s |      25 |  6953818 |  5712698 |      820  17948 |        0 |        0
561.71/561.87	c  561s |      25 |  6977566 |  5732098 |      820  17994 |        0 |        0
563.71/563.87	c  563s |      25 |  7000105 |  5751098 |      820  18040 |        0 |        0
565.71/565.88	c  565s |      25 |  7024895 |  5770898 |      820  18087 |        0 |        0
567.71/567.89	c  567s |      25 |  7052743 |  5792098 |      820  18138 |        0 |        0
569.71/569.90	c  569s |      25 |  7075676 |  5810798 |      820  18182 |        0 |        0
571.80/571.90	c  571s |      25 |  7101848 |  5831498 |      820  18232 |        0 |        0
573.80/573.90	c  573s |      25 |  7128509 |  5852098 |      820  18282 |        0 |        0
575.80/575.91	c  575s |      25 |  7151441 |  5870798 |      820  18327 |        0 |        0
577.80/577.92	c  577s |      25 |  7175614 |  5890098 |      820  18373 |        0 |        0
579.80/579.92	c  579s |      25 |  7199207 |  5909698 |      820  18420 |        0 |        0
581.81/581.93	c  581s |      25 |  7224348 |  5929498 |      820  18467 |        0 |        0
583.80/583.94	c  583s |      25 |  7249173 |  5949498 |      820  18515 |        0 |        0
585.80/585.94	c  585s |      25 |  7273389 |  5968798 |      820  18562 |        0 |        0
587.80/587.94	c  587s |      25 |  7295322 |  5987298 |      820  18606 |        0 |        0
589.80/589.95	c  589s |      25 |  7321052 |  6007198 |      820  18654 |        0 |        0
591.80/591.95	c  591s |      25 |  7343751 |  6025698 |      820  18698 |        0 |        0
593.80/593.95	c  593s |      25 |  7368486 |  6045198 |      820  18745 |        0 |        0
595.80/595.96	c  595s |      25 |  7392641 |  6064498 |      820  18792 |        0 |        0
597.80/597.97	c  597s |      25 |  7414457 |  6083098 |      820  18836 |        0 |        0
599.80/599.97	c  599s |      25 |  7435674 |  6101198 |      820  18879 |        0 |        0
601.79/601.98	c  601s |      25 |  7458607 |  6120398 |      820  18925 |        0 |        0
603.80/603.98	c  603s |      25 |  7480732 |  6138798 |      820  18969 |        0 |        0
605.79/605.99	c  605s |      25 |  7503637 |  6157198 |      820  19013 |        0 |        0
607.79/607.99	c  607s |      25 |  7529356 |  6176998 |      820  19060 |        0 |        0
609.89/610.00	c  609s |      25 |  7555672 |  6197098 |      820  19109 |        0 |        0
611.89/612.01	c  611s |      25 |  7580960 |  6216998 |      820  19156 |        0 |        0
613.89/614.01	c  613s |      25 |  7603963 |  6236098 |      820  19202 |        0 |        0
615.91/616.01	c  615s |      25 |  7625437 |  6254298 |      820  19245 |        0 |        0
617.90/618.01	c  617s |      25 |  7646015 |  6272198 |      820  19288 |        0 |        0
619.90/620.02	c  620s |      25 |  7670611 |  6291898 |      820  19335 |        0 |        0
621.90/622.03	c  622s |      25 |  7697054 |  6311698 |      820  19382 |        0 |        0
623.90/624.03	c  624s |      25 |  7723469 |  6331898 |      820  19430 |        0 |        0
625.90/626.04	c  626s |      25 |  7749050 |  6351498 |      820  19477 |        0 |        0
627.90/628.04	c  628s |      25 |  7774111 |  6371198 |      820  19524 |        0 |        0
629.89/630.05	c  630s |      25 |  7799100 |  6391398 |      820  19573 |        0 |        0
631.89/632.05	c  632s |      25 |  7824598 |  6411398 |      820  19621 |        0 |        0
633.89/634.06	c  634s |      25 |  7848493 |  6430698 |      820  19667 |        0 |        0
635.89/636.07	c  636s |      25 |  7876412 |  6451898 |      820  19717 |        0 |        0
637.90/638.07	c  638s |      25 |  7905312 |  6473498 |      820  19769 |        0 |        0
639.89/640.08	c  640s |      25 |  7928712 |  6492698 |      820  19815 |        0 |        0
641.89/642.08	c  642s |      25 |  7953057 |  6512498 |      820  19862 |        0 |        0
643.89/644.08	c  644s |      25 |  7982119 |  6534198 |      820  19914 |        0 |        0
645.89/646.09	c  646s |      25 |  8008788 |  6554598 |      820  19963 |        0 |        0
647.99/648.10	c  648s |      25 |  8033707 |  6574498 |      820  20011 |        0 |        0
649.89/650.10	c  650s |      25 |  8062689 |  6595398 |      820  20061 |        0 |        0
651.98/652.10	c  652s |      25 |  8088387 |  6615798 |      820  20110 |        0 |        0
653.98/654.11	c  654s |      25 |  8115154 |  6636298 |      820  20159 |        0 |        0
655.99/656.11	c  656s |      25 |  8138581 |  6655498 |      820  20205 |        0 |        0
657.99/658.12	c  658s |      25 |  8165877 |  6676298 |      820  20255 |        0 |        0
660.00/660.12	c  660s |      25 |  8191468 |  6696598 |      820  20304 |        0 |        0
661.99/662.12	c  662s |      25 |  8214493 |  6715798 |      820  20350 |        0 |        0
663.99/664.12	c  664s |      25 |  8241113 |  6735898 |      820  20399 |        0 |        0
665.99/666.13	c  666s |      25 |  8268094 |  6756398 |      820  20448 |        0 |        0
667.99/668.14	c  668s |      25 |  8290409 |  6775098 |      820  20492 |        0 |        0
669.99/670.14	c  670s |      25 |  8314193 |  6794298 |      820  20538 |        0 |        0
671.99/672.15	c  672s |      25 |  8339070 |  6813798 |      820  20585 |        0 |        0
673.99/674.15	c  674s |      25 |  8363897 |  6833798 |      820  20633 |        0 |        0
675.98/676.16	c  676s |      25 |  8391652 |  6854498 |      820  20682 |        0 |        0
677.98/678.16	c  678s |      25 |  8416375 |  6874098 |      820  20729 |        0 |        0
679.98/680.17	c  680s |      25 |  8436856 |  6891798 |      820  20771 |        0 |        0
681.99/682.18	c  682s |      25 |  8456733 |  6909298 |      820  20813 |        0 |        0
683.98/684.18	c  684s |      25 |  8478636 |  6927698 |      820  20857 |        0 |        0
685.98/686.18	c  686s |      25 |  8498874 |  6945298 |      820  20900 |        0 |        0
687.98/688.19	c  688s |      25 |  8517838 |  6962398 |      820  20941 |        0 |        0
690.08/690.20	c  690s |      25 |  8539792 |  6980598 |      820  20984 |        0 |        0
692.08/692.20	c  692s |      25 |  8562254 |  6999198 |      820  21029 |        0 |        0
694.08/694.21	c  694s |      25 |  8585621 |  7018298 |      820  21074 |        0 |        0
696.07/696.21	c  696s |      25 |  8608625 |  7037298 |      820  21120 |        0 |        0
698.07/698.22	c  698s |      25 |  8631835 |  7056598 |      820  21166 |        0 |        0
700.07/700.22	c  700s |      25 |  8655207 |  7075498 |      820  21212 |        0 |        0
702.07/702.23	c  702s |      25 |  8677809 |  7094198 |      820  21256 |        0 |        0
704.07/704.23	c  704s |      25 |  8701796 |  7113598 |      820  21303 |        0 |        0
706.07/706.24	c  706s |      25 |  8724320 |  7132098 |      820  21347 |        0 |        0
708.07/708.24	c  708s |      25 |  8747717 |  7150698 |      820  21391 |        0 |        0
710.07/710.25	c  710s |      25 |  8773211 |  7170098 |      820  21438 |        0 |        0
712.07/712.25	c  712s |      25 |  8796110 |  7188898 |      820  21483 |        0 |        0
714.07/714.26	c  714s |      25 |  8818147 |  7207098 |      820  21526 |        0 |        0
716.07/716.27	c  716s |      25 |  8838779 |  7224998 |      820  21569 |        0 |        0
718.06/718.27	c  718s |      25 |  8861666 |  7243898 |      820  21614 |        0 |        0
720.06/720.28	c  720s |      25 |  8884828 |  7262898 |      820  21660 |        0 |        0
722.06/722.28	c  722s |      25 |  8907015 |  7281198 |      820  21703 |        0 |        0
724.06/724.28	c  724s |      25 |  8933788 |  7301198 |      820  21751 |        0 |        0
726.07/726.29	c  726s |      25 |  8956962 |  7319798 |      820  21796 |        0 |        0
728.07/728.30	c  728s |      25 |  8979689 |  7338098 |      820  21840 |        0 |        0
730.16/730.30	c  730s |      25 |  9003530 |  7356898 |      820  21885 |        0 |        0
732.16/732.31	c  732s |      25 |  9027216 |  7375998 |      820  21930 |        0 |        0
734.16/734.31	c  734s |      25 |  9051190 |  7394698 |      820  21975 |        0 |        0
736.16/736.32	c  736s |      25 |  9074726 |  7413398 |      820  22019 |        0 |        0
738.16/738.33	c  738s |      25 |  9099106 |  7432298 |      820  22064 |        0 |        0
740.16/740.33	c  740s |      25 |  9124885 |  7451998 |      820  22112 |        0 |        0
742.16/742.33	c  742s |      25 |  9147029 |  7470198 |      820  22155 |        0 |        0
744.15/744.34	c  744s |      25 |  9171430 |  7489498 |      820  22201 |        0 |        0
746.15/746.34	c  746s |      25 |  9195195 |  7508398 |      820  22247 |        0 |        0
748.15/748.35	c  748s |      25 |  9217812 |  7526698 |      820  22291 |        0 |        0
750.16/750.36	c  750s |      25 |  9241340 |  7545998 |      903  22336 |        0 |        0
752.15/752.36	c  752s |      25 |  9264336 |  7564698 |      903  22377 |        0 |        0
754.15/754.37	c  754s |      25 |  9288068 |  7583398 |      903  22418 |        0 |        0
755.75/755.90	c  755s |      26 |  9305858 |  7597752 |      903  22449 |        0 |        0
757.75/757.91	c  757s |      26 |  9327486 |  7616052 |      903  22488 |        0 |        0
759.75/759.92	c  759s |      26 |  9352399 |  7635352 |      903  22530 |        0 |        0
761.74/761.92	c  761s |      26 |  9375965 |  7654052 |      903  22571 |        0 |        0
763.74/763.92	c  763s |      26 |  9402558 |  7673852 |      903  22614 |        0 |        0
765.74/765.93	c  765s |      26 |  9427625 |  7693652 |      903  22657 |        0 |        0
767.75/767.94	c  767s |      26 |  9450988 |  7712852 |      903  22699 |        0 |        0
769.74/769.94	c  769s |      26 |  9471118 |  7730152 |      903  22736 |        0 |        0
771.74/771.95	c  771s |      26 |  9495634 |  7748852 |      903  22777 |        0 |        0
773.74/773.95	c  773s |      26 |  9521879 |  7768752 |      903  22820 |        0 |        0
775.74/775.96	c  775s |      26 |  9547326 |  7788652 |      903  22863 |        0 |        0
777.74/777.96	c  777s |      26 |  9574131 |  7808752 |      903  22907 |        0 |        0
779.75/779.96	c  779s |      26 |  9596619 |  7827252 |      903  22947 |        0 |        0
781.74/781.97	c  781s |      26 |  9621484 |  7847152 |      903  22990 |        0 |        0
783.74/783.98	c  783s |      26 |  9642436 |  7864852 |      903  23029 |        0 |        0
785.74/785.98	c  785s |      26 |  9665990 |  7883752 |      903  23070 |        0 |        0
787.74/787.99	c  787s |      26 |  9687525 |  7901952 |      903  23109 |        0 |        0
789.84/790.00	c  789s |      26 |  9709454 |  7920652 |      903  23150 |        0 |        0
791.84/792.01	c  791s |      26 |  9728768 |  7937652 |      903  23187 |        0 |        0
793.84/794.02	c  794s |      26 |  9749035 |  7955052 |      903  23224 |        0 |        0
795.83/796.02	c  796s |      26 |  9769753 |  7972352 |      903  23262 |        0 |        0
797.83/798.03	c  798s |      26 |  9790732 |  7990052 |      903  23300 |        0 |        0
799.83/800.03	c  800s |      26 |  9809710 |  8006752 |      903  23336 |        0 |        0
801.84/802.04	c  802s |      26 |  9832583 |  8025152 |      903  23376 |        0 |        0
803.83/804.04	c  804s |      26 |  9854748 |  8043452 |      903  23416 |        0 |        0
805.82/806.05	c  806s |      26 |  9879304 |  8062752 |      903  23458 |        0 |        0
807.82/808.06	c  808s |      26 |  9902310 |  8081252 |      903  23498 |        0 |        0
809.82/810.06	c  810s |      26 |  9923741 |  8099252 |      903  23537 |        0 |        0
811.82/812.07	c  812s |      26 |  9944171 |  8117152 |      903  23576 |        0 |        0
813.83/814.08	c  814s |      26 |  9967996 |  8136152 |      903  23617 |        0 |        0
815.82/816.08	c  816s |      26 |  9991935 |  8155552 |      903  23660 |        0 |        0
817.81/818.08	c  818s |      26 | 10015682 |  8174652 |      903  23701 |        0 |        0
819.81/820.09	c  820s |      26 | 10041225 |  8194552 |      903  23745 |        0 |        0
821.91/822.10	c  822s |      26 | 10064322 |  8213352 |      903  23786 |        0 |        0
823.91/824.11	c  824s |      26 | 10087492 |  8232252 |      903  23827 |        0 |        0
825.92/826.11	c  826s |      26 | 10107934 |  8249552 |      903  23864 |        0 |        0
827.91/828.11	c  828s |      26 | 10129864 |  8267952 |      903  23904 |        0 |        0
829.91/830.12	c  830s |      26 | 10153934 |  8287552 |      903  23946 |        0 |        0
831.91/832.12	c  832s |      26 | 10178740 |  8307152 |      903  23989 |        0 |        0
833.91/834.13	c  834s |      26 | 10201890 |  8325852 |      903  24029 |        0 |        0
835.91/836.14	c  836s |      26 | 10225125 |  8344652 |      903  24069 |        0 |        0
837.90/838.14	c  838s |      26 | 10250996 |  8364752 |      903  24113 |        0 |        0
839.90/840.15	c  840s |      26 | 10274099 |  8383352 |      903  24153 |        0 |        0
841.90/842.15	c  842s |      26 | 10299126 |  8402652 |      903  24195 |        0 |        0
843.91/844.16	c  844s |      26 | 10324488 |  8422452 |      903  24238 |        0 |        0
845.90/846.16	c  846s |      26 | 10347977 |  8441652 |      903  24280 |        0 |        0
847.91/848.17	c  848s |      26 | 10374693 |  8461952 |      903  24324 |        0 |        0
849.90/850.18	c  850s |      26 | 10399413 |  8481352 |      903  24366 |        0 |        0
851.90/852.18	c  852s |      26 | 10424916 |  8501152 |      903  24410 |        0 |        0
853.90/854.18	c  854s |      26 | 10451620 |  8521752 |      903  24455 |        0 |        0
855.90/856.18	c  856s |      26 | 10476233 |  8541452 |      903  24497 |        0 |        0
857.90/858.19	c  858s |      26 | 10501443 |  8561352 |      903  24541 |        0 |        0
859.90/860.19	c  860s |      26 | 10528552 |  8582152 |      903  24586 |        0 |        0
862.00/862.20	c  862s |      26 | 10556497 |  8602852 |      903  24631 |        0 |        0
863.99/864.20	c  864s |      26 | 10582106 |  8622852 |      903  24675 |        0 |        0
865.99/866.20	c  866s |      26 | 10607668 |  8643052 |      903  24719 |        0 |        0
867.99/868.21	c  868s |      26 | 10634038 |  8663152 |      903  24763 |        0 |        0
870.00/870.21	c  870s |      26 | 10657589 |  8682152 |      903  24804 |        0 |        0
871.99/872.21	c  872s |      26 | 10684111 |  8702452 |      903  24849 |        0 |        0
873.99/874.22	c  874s |      26 | 10709066 |  8722152 |      903  24892 |        0 |        0
875.98/876.22	c  876s |      26 | 10737794 |  8743652 |      903  24939 |        0 |        0
877.98/878.22	c  878s |      26 | 10763336 |  8763652 |      903  24982 |        0 |        0
879.98/880.22	c  880s |      26 | 10790362 |  8784052 |      903  25027 |        0 |        0
881.99/882.23	c  882s |      26 | 10816495 |  8804052 |      903  25070 |        0 |        0
883.98/884.24	c  884s |      26 | 10839784 |  8822352 |      903  25110 |        0 |        0
885.98/886.24	c  886s |      26 | 10864111 |  8841352 |      903  25151 |        0 |        0
887.98/888.25	c  888s |      26 | 10885806 |  8859552 |      903  25190 |        0 |        0
889.98/890.26	c  890s |      26 | 10907811 |  8878152 |      903  25231 |        0 |        0
891.99/892.26	c  892s |      26 | 10931793 |  8897152 |      903  25272 |        0 |        0
893.98/894.27	c  894s |      26 | 10953841 |  8915552 |      903  25312 |        0 |        0
895.98/896.28	c  896s |      26 | 10976760 |  8934152 |      903  25353 |        0 |        0
897.98/898.29	c  898s |      26 | 11000133 |  8952652 |      903  25393 |        0 |        0
899.98/900.30	c  900s |      26 | 11022557 |  8970752 |      903  25432 |        0 |        0
902.08/902.30	c  902s |      26 | 11046421 |  8989552 |      903  25473 |        0 |        0
904.08/904.31	c  904s |      26 | 11069649 |  9008452 |      903  25514 |        0 |        0
906.07/906.32	c  906s |      26 | 11092326 |  9026952 |      903  25553 |        0 |        0
908.07/908.32	c  908s |      26 | 11115845 |  9045752 |      903  25594 |        0 |        0
910.07/910.33	c  910s |      26 | 11140884 |  9064952 |      903  25636 |        0 |        0
912.07/912.33	c  912s |      26 | 11162414 |  9082552 |      903  25674 |        0 |        0
914.07/914.34	c  914s |      26 | 11184787 |  9100552 |      903  25713 |        0 |        0
916.07/916.35	c  916s |      26 | 11208234 |  9119252 |      903  25754 |        0 |        0
918.07/918.35	c  918s |      26 | 11230081 |  9137252 |      903  25793 |        0 |        0
920.07/920.36	c  920s |      26 | 11253796 |  9156052 |      903  25834 |        0 |        0
922.06/922.36	c  922s |      26 | 11276811 |  9174452 |      903  25874 |        0 |        0
924.06/924.36	c  924s |      26 | 11301101 |  9193852 |      903  25916 |        0 |        0
926.07/926.37	c  926s |      26 | 11324074 |  9212752 |      903  25957 |        0 |        0
928.06/928.37	c  928s |      26 | 11349007 |  9232352 |      903  26000 |        0 |        0
930.06/930.37	c  930s |      26 | 11371140 |  9250252 |      903  26038 |        0 |        0
932.06/932.37	c  932s |      26 | 11393145 |  9267952 |      903  26077 |        0 |        0
934.06/934.37	c  934s |      26 | 11414751 |  9285852 |      903  26116 |        0 |        0
936.05/936.38	c  936s |      26 | 11437586 |  9304152 |      903  26155 |        0 |        0
938.06/938.38	c  938s |      26 | 11458971 |  9321652 |      903  26193 |        0 |        0
940.05/940.39	c  940s |      26 | 11480539 |  9339352 |      903  26232 |        0 |        0
942.15/942.40	c  942s |      26 | 11501674 |  9356952 |      903  26270 |        0 |        0
944.15/944.40	c  944s |      26 | 11524356 |  9375052 |      903  26309 |        0 |        0
946.15/946.40	c  946s |      26 | 11545424 |  9392652 |      903  26348 |        0 |        0
948.15/948.41	c  948s |      26 | 11570628 |  9412152 |      903  26390 |        0 |        0
950.16/950.41	c  950s |      26 | 11594637 |  9431052 |      903  26431 |        0 |        0
952.15/952.42	c  952s |      26 | 11618522 |  9449552 |      903  26472 |        0 |        0
954.15/954.42	c  954s |      26 | 11642328 |  9468252 |      903  26512 |        0 |        0
956.15/956.43	c  956s |      26 | 11664511 |  9486352 |      903  26552 |        0 |        0
958.15/958.43	c  958s |      26 | 11685314 |  9504152 |      903  26590 |        0 |        0
960.15/960.43	c  960s |      26 | 11707918 |  9522652 |      903  26630 |        0 |        0
962.15/962.44	c  962s |      26 | 11730629 |  9541052 |      903  26670 |        0 |        0
964.15/964.44	c  964s |      26 | 11752644 |  9559152 |      903  26710 |        0 |        0
966.14/966.45	c  966s |      26 | 11776428 |  9577952 |      903  26751 |        0 |        0
968.14/968.45	c  968s |      26 | 11802771 |  9597452 |      903  26793 |        0 |        0
970.14/970.46	c  970s |      26 | 11825369 |  9615752 |      903  26833 |        0 |        0
972.15/972.47	c  972s |      26 | 11849212 |  9634752 |      903  26874 |        0 |        0
974.14/974.47	c  974s |      26 | 11871674 |  9653052 |      903  26914 |        0 |        0
976.14/976.47	c  976s |      26 | 11893609 |  9670952 |      903  26953 |        0 |        0
978.14/978.48	c  978s |      26 | 11916370 |  9689352 |      903  26993 |        0 |        0
980.14/980.49	c  980s |      26 | 11937872 |  9707452 |      903  27032 |        0 |        0
982.14/982.49	c  982s |      26 | 11960508 |  9726152 |      903  27073 |        0 |        0
984.13/984.49	c  984s |      26 | 11983991 |  9745352 |      903  27115 |        0 |        0
986.23/986.50	c  986s |      26 | 12007152 |  9763852 |      903  27155 |        0 |        0
988.23/988.51	c  988s |      26 | 12028425 |  9781752 |      903  27194 |        0 |        0
990.23/990.51	c  990s |      26 | 12050613 |  9800052 |      903  27234 |        0 |        0
992.23/992.52	c  992s |      26 | 12073918 |  9819052 |      903  27275 |        0 |        0
994.23/994.52	c  994s |      26 | 12100692 |  9839752 |      903  27321 |        0 |        0
996.23/996.52	c  996s |      26 | 12126139 |  9859852 |      903  27364 |        0 |        0
998.23/998.52	c  998s |      26 | 12152783 |  9880352 |      903  27409 |        0 |        0
1000.23/1000.53	c 1000s |      26 | 12175947 |  9899352 |      903  27451 |        0 |        0
1002.23/1002.53	c 1002s |      26 | 12201306 |  9919252 |      903  27494 |        0 |        0
1004.23/1004.53	c 1004s |      26 | 12224362 |  9938352 |      903  27536 |        0 |        0
1006.23/1006.54	c 1006s |      26 | 12248720 |  9957852 |      903  27579 |        0 |        0
1008.23/1008.54	c 1008s |      26 | 12273970 |  9977852 |      903  27622 |        0 |        0
1010.23/1010.55	c 1010s |      26 | 12298848 |  9997152 |      903  27665 |        0 |        0
1012.23/1012.56	c 1012s |      26 | 12323431 | 10016352 |      903  27707 |        0 |        0
1014.22/1014.56	c 1014s |      26 | 12347072 | 10035352 |      903  27748 |        0 |        0
1016.23/1016.57	c 1016s |      26 | 12371251 | 10054852 |      903  27791 |        0 |        0
1018.22/1018.57	c 1018s |      26 | 12395609 | 10074452 |      903  27834 |        0 |        0
1020.22/1020.58	c 1020s |      26 | 12418850 | 10093452 |      903  27876 |        0 |        0
1022.22/1022.58	c 1022s |      26 | 12444780 | 10113252 |      903  27919 |        0 |        0
1024.22/1024.59	c 1024s |      26 | 12470565 | 10133252 |      903  27962 |        0 |        0
1026.31/1026.60	c 1026s |      26 | 12495564 | 10152552 |      903  28004 |        0 |        0
1028.22/1028.60	c 1028s |      26 | 12518448 | 10171252 |      903  28045 |        0 |        0
1030.31/1030.61	c 1030s |      26 | 12543186 | 10190752 |      903  28088 |        0 |        0
1032.31/1032.61	c 1032s |      26 | 12568776 | 10210852 |      903  28132 |        0 |        0
1034.31/1034.62	c 1034s |      26 | 12596494 | 10231352 |      903  28177 |        0 |        0
1036.30/1036.62	c 1036s |      26 | 12622761 | 10251752 |      903  28221 |        0 |        0
1038.30/1038.63	c 1038s |      26 | 12648313 | 10271352 |      903  28263 |        0 |        0
1040.31/1040.63	c 1040s |      26 | 12673448 | 10291052 |      903  28306 |        0 |        0
1042.30/1042.64	c 1042s |      26 | 12699855 | 10311152 |      903  28350 |        0 |        0
1044.30/1044.64	c 1044s |      26 | 12725861 | 10331352 |      903  28394 |        0 |        0
1046.30/1046.64	c 1046s |      26 | 12752872 | 10351852 |      903  28439 |        0 |        0
1048.30/1048.65	c 1048s |      26 | 12777587 | 10371352 |      903  28482 |        0 |        0
1050.30/1050.65	c 1050s |      26 | 12800504 | 10390252 |      903  28523 |        0 |        0
1052.30/1052.66	c 1052s |      26 | 12825977 | 10409952 |      903  28565 |        0 |        0
1054.30/1054.66	c 1054s |      26 | 12850809 | 10429852 |      903  28609 |        0 |        0
1056.29/1056.67	c 1056s |      26 | 12875473 | 10449352 |      903  28651 |        0 |        0
1058.29/1058.67	c 1058s |      26 | 12898874 | 10468152 |      903  28692 |        0 |        0
1060.29/1060.67	c 1060s |      26 | 12920765 | 10486752 |      903  28732 |        0 |        0
1062.30/1062.68	c 1062s |      26 | 12943632 | 10505452 |      903  28773 |        0 |        0
1064.29/1064.68	c 1064s |      26 | 12966188 | 10524052 |      903  28813 |        0 |        0
1066.28/1066.68	c 1066s |      26 | 12990557 | 10543052 |      903  28855 |        0 |        0
1068.28/1068.68	c 1068s |      26 | 13015511 | 10562452 |      903  28897 |        0 |        0
1070.28/1070.69	c 1070s |      26 | 13042394 | 10583252 |      903  28943 |        0 |        0
1072.38/1072.70	c 1072s |      26 | 13068268 | 10603552 |      903  28987 |        0 |        0
1074.28/1074.70	c 1074s |      26 | 13092354 | 10622852 |      903  29029 |        0 |        0
1076.38/1076.71	c 1076s |      26 | 13117874 | 10643052 |      903  29073 |        0 |        0
1078.38/1078.71	c 1078s |      26 | 13142483 | 10662452 |      903  29116 |        0 |        0
1080.39/1080.72	c 1080s |      26 | 13164421 | 10680652 |      903  29155 |        0 |        0
1082.39/1082.72	c 1082s |      26 | 13188162 | 10699552 |      903  29196 |        0 |        0
1084.39/1084.73	c 1084s |      26 | 13209977 | 10717752 |      903  29236 |        0 |        0
1086.38/1086.74	c 1086s |      26 | 13232371 | 10736452 |      903  29277 |        0 |        0
1088.38/1088.74	c 1088s |      26 | 13255001 | 10755252 |      903  29318 |        0 |        0
1090.38/1090.74	c 1090s |      26 | 13278203 | 10774052 |      903  29359 |        0 |        0
1092.38/1092.74	c 1092s |      26 | 13300367 | 10792452 |      903  29399 |        0 |        0
1094.38/1094.75	c 1094s |      26 | 13322058 | 10810552 |      903  29438 |        0 |        0
1096.38/1096.76	c 1096s |      26 | 13344694 | 10828952 |      903  29478 |        0 |        0
1098.38/1098.77	c 1098s |      26 | 13366454 | 10846952 |      903  29517 |        0 |        0
1100.37/1100.77	c 1100s |      26 | 13387283 | 10864852 |      903  29556 |        0 |        0
1102.37/1102.77	c 1102s |      26 | 13406508 | 10881852 |      903  29593 |        0 |        0
1104.37/1104.78	c 1104s |      26 | 13426011 | 10898852 |      903  29630 |        0 |        0
1106.38/1106.78	c 1106s |      26 | 13447164 | 10916752 |      903  29669 |        0 |        0
1108.37/1108.78	c 1108s |      26 | 13466201 | 10933552 |      903  29706 |        0 |        0
1110.37/1110.79	c 1110s |      26 | 13488322 | 10951652 |      903  29745 |        0 |        0
1112.47/1112.80	c 1112s |      26 | 13510207 | 10969952 |      903  29785 |        0 |        0
1114.47/1114.80	c 1114s |      26 | 13535093 | 10989352 |      903  29828 |        0 |        0
1116.46/1116.80	c 1116s |      26 | 13558537 | 11008552 |      903  29870 |        0 |        0
1118.47/1118.81	c 1118s |      26 | 13582930 | 11027752 |      903  29911 |        0 |        0
1120.46/1120.82	c 1120s |      26 | 13606762 | 11046952 |      903  29953 |        0 |        0
1122.46/1122.82	c 1122s |      26 | 13629037 | 11065852 |      903  29994 |        0 |        0
1124.46/1124.82	c 1124s |      26 | 13649853 | 11083852 |      903  30034 |        0 |        0
1126.45/1126.83	c 1126s |      26 | 13673616 | 11103652 |      903  30077 |        0 |        0
1128.45/1128.83	c 1128s |      26 | 13697826 | 11123652 |      903  30121 |        0 |        0
1130.46/1130.83	c 1130s |      26 | 13725636 | 11144552 |      903  30167 |        0 |        0
1132.45/1132.84	c 1132s |      26 | 13748753 | 11163752 |      903  30208 |        0 |        0
1134.45/1134.85	c 1134s |      26 | 13774290 | 11184152 |      903  30253 |        0 |        0
1136.45/1136.85	c 1136s |      26 | 13799156 | 11204152 |      903  30297 |        0 |        0
1138.45/1138.86	c 1138s |      26 | 13822613 | 11223752 |      903  30340 |        0 |        0
1140.46/1140.86	c 1140s |      26 | 13847453 | 11243752 |      903  30384 |        0 |        0
1142.45/1142.87	c 1142s |      26 | 13871899 | 11263552 |      903  30428 |        0 |        0
1144.45/1144.87	c 1144s |      26 | 13894795 | 11282352 |      903  30469 |        0 |        0
1146.45/1146.88	c 1146s |      26 | 13919175 | 11302252 |      903  30512 |        0 |        0
1148.45/1148.88	c 1148s |      26 | 13941781 | 11321152 |      994  30552 |        0 |        0
1150.45/1150.88	c 1150s |      26 | 13965666 | 11340052 |      994  30590 |        0 |        0
1152.45/1152.88	c 1152s |      26 | 13990187 | 11359052 |      994  30628 |        0 |        0
1154.45/1154.89	c 1154s |      26 | 14013265 | 11377352 |      994  30664 |        0 |        0
1156.44/1156.89	c 1156s |      26 | 14035470 | 11395452 |      994  30700 |        0 |        0
1156.64/1157.04	c 1157s |      27 | 14037149 | 11396733 |      994  30703 |        0 |        0
1158.64/1159.05	c 1159s |      27 | 14059028 | 11414633 |      994  30738 |        0 |        0
1160.64/1161.05	c 1161s |      27 | 14079757 | 11431933 |      994  30772 |        0 |        0
1162.64/1163.05	c 1163s |      27 | 14100797 | 11449533 |      994  30807 |        0 |        0
1164.64/1165.06	c 1165s |      27 | 14121870 | 11467333 |      994  30842 |        0 |        0
1166.63/1167.06	c 1167s |      27 | 14144486 | 11485933 |      994  30879 |        0 |        0
1168.63/1169.07	c 1169s |      27 | 14169054 | 11505433 |      994  30917 |        0 |        0
1170.63/1171.08	c 1171s |      27 | 14191552 | 11523333 |      994  30953 |        0 |        0
1172.63/1173.08	c 1173s |      27 | 14215271 | 11542233 |      994  30990 |        0 |        0
1174.63/1175.09	c 1175s |      27 | 14237458 | 11560333 |      994  31026 |        0 |        0
1176.64/1177.09	c 1177s |      27 | 14259413 | 11578333 |      994  31061 |        0 |        0
1178.73/1179.10	c 1179s |      27 | 14280633 | 11595933 |      994  31096 |        0 |        0
1180.73/1181.10	c 1181s |      27 | 14302885 | 11614033 |      994  31131 |        0 |        0
1182.73/1183.11	c 1183s |      27 | 14327174 | 11633433 |      994  31170 |        0 |        0
1184.73/1185.11	c 1185s |      27 | 14351983 | 11653033 |      994  31209 |        0 |        0
1186.72/1187.11	c 1187s |      27 | 14379409 | 11673933 |      994  31250 |        0 |        0
1188.73/1189.12	c 1189s |      27 | 14403227 | 11693033 |      994  31288 |        0 |        0
1190.72/1191.12	c 1191s |      27 | 14428416 | 11713033 |      994  31327 |        0 |        0
1192.72/1193.12	c 1193s |      27 | 14454351 | 11733033 |      994  31367 |        0 |        0
1194.72/1195.12	c 1195s |      27 | 14480494 | 11752633 |      994  31406 |        0 |        0
1196.71/1197.13	c 1197s |      27 | 14508782 | 11773033 |      994  31446 |        0 |        0
1198.73/1199.13	c 1199s |      27 | 14536535 | 11793533 |      994  31487 |        0 |        0
1200.72/1201.14	c 1201s |      27 | 14564681 | 11814333 |      994  31528 |        0 |        0
1202.72/1203.14	c 1203s |      27 | 14590545 | 11834133 |      994  31567 |        0 |        0
1204.72/1205.14	c 1205s |      27 | 14615080 | 11853133 |      994  31605 |        0 |        0
1206.71/1207.15	c 1207s |      27 | 14638079 | 11871533 |      994  31641 |        0 |        0
1208.71/1209.15	c 1209s |      27 | 14663948 | 11891233 |      994  31680 |        0 |        0
1210.72/1211.16	c 1211s |      27 | 14687844 | 11909733 |      994  31717 |        0 |        0
1212.71/1213.17	c 1213s |      27 | 14711894 | 11928433 |      994  31754 |        0 |        0
1214.71/1215.18	c 1215s |      27 | 14736375 | 11947533 |      994  31791 |        0 |        0
1216.71/1217.19	c 1217s |      27 | 14760884 | 11966633 |      994  31829 |        0 |        0
1218.71/1219.19	c 1219s |      27 | 14785230 | 11985733 |      994  31867 |        0 |        0
1220.80/1221.20	c 1221s |      27 | 14809481 | 12004933 |      994  31905 |        0 |        0
1222.70/1223.20	c 1223s |      27 | 14829177 | 12021633 |      994  31938 |        0 |        0
1224.80/1225.20	c 1225s |      27 | 14851709 | 12039633 |      994  31973 |        0 |        0
1226.80/1227.20	c 1227s |      27 | 14876241 | 12058833 |      994  32011 |        0 |        0
1228.80/1229.21	c 1229s |      27 | 14900413 | 12077833 |      994  32049 |        0 |        0
1230.80/1231.21	c 1231s |      27 | 14928140 | 12098333 |      994  32090 |        0 |        0
1232.81/1233.21	c 1233s |      27 | 14952696 | 12117633 |      994  32128 |        0 |        0
1234.80/1235.22	c 1235s |      27 | 14975683 | 12136033 |      994  32165 |        0 |        0
1236.80/1237.23	c 1237s |      27 | 14997780 | 12154233 |      994  32200 |        0 |        0
1238.79/1239.24	c 1239s |      27 | 15019689 | 12172333 |      994  32236 |        0 |        0
1240.79/1241.24	c 1241s |      27 | 15039582 | 12189333 |      994  32269 |        0 |        0
1242.79/1243.24	c 1243s |      27 | 15059657 | 12206433 |      994  32303 |        0 |        0
1244.80/1245.24	c 1245s |      27 | 15082871 | 12224833 |      994  32339 |        0 |        0
1246.79/1247.25	c 1247s |      27 | 15104779 | 12243133 |      994  32375 |        0 |        0
1248.79/1249.25	c 1249s |      27 | 15126665 | 12261333 |      994  32410 |        0 |        0
1250.79/1251.25	c 1251s |      27 | 15146411 | 12278333 |      994  32444 |        0 |        0
1252.79/1253.26	c 1253s |      27 | 15166852 | 12295833 |      994  32478 |        0 |        0
1254.79/1255.26	c 1255s |      27 | 15189499 | 12314333 |      994  32515 |        0 |        0
1256.78/1257.27	c 1257s |      27 | 15211964 | 12332933 |      994  32552 |        0 |        0
1258.78/1259.28	c 1259s |      27 | 15235275 | 12351733 |      994  32589 |        0 |        0
1260.78/1261.28	c 1261s |      27 | 15257423 | 12369933 |      994  32625 |        0 |        0
1262.78/1263.28	c 1263s |      27 | 15280585 | 12388933 |      994  32662 |        0 |        0
1264.78/1265.30	c 1265s |      27 | 15303290 | 12407833 |      994  32700 |        0 |        0
1266.78/1267.30	c 1267s |      27 | 15325442 | 12426333 |      994  32736 |        0 |        0
1268.87/1269.30	c 1269s |      27 | 15347455 | 12444433 |      994  32772 |        0 |        0
1270.87/1271.31	c 1271s |      27 | 15370642 | 12463033 |      994  32808 |        0 |        0
1272.87/1273.31	c 1273s |      27 | 15392213 | 12481233 |      994  32844 |        0 |        0
1274.87/1275.31	c 1275s |      27 | 15413299 | 12498933 |      994  32879 |        0 |        0
1276.86/1277.31	c 1277s |      27 | 15435529 | 12517333 |      994  32916 |        0 |        0
1278.87/1279.31	c 1279s |      27 | 15457435 | 12535433 |      994  32952 |        0 |        0
1280.86/1281.32	c 1281s |      27 | 15480039 | 12553533 |      994  32987 |        0 |        0
1282.87/1283.33	c 1283s |      27 | 15501373 | 12571233 |      994  33022 |        0 |        0
1284.87/1285.33	c 1285s |      27 | 15520854 | 12588133 |      994  33055 |        0 |        0
1286.87/1287.34	c 1287s |      27 | 15541892 | 12606433 |      994  33092 |        0 |        0
1288.87/1289.34	c 1289s |      27 | 15560435 | 12623133 |      994  33125 |        0 |        0
1290.87/1291.35	c 1291s |      27 | 15579868 | 12639933 |      994  33158 |        0 |        0
1292.86/1293.35	c 1293s |      27 | 15600768 | 12657433 |      994  33192 |        0 |        0
1294.86/1295.36	c 1295s |      27 | 15621721 | 12674833 |      994  33227 |        0 |        0
1296.86/1297.38	c 1297s |      27 | 15641376 | 12691933 |      994  33260 |        0 |        0
1298.86/1299.39	c 1299s |      27 | 15660240 | 12708733 |      994  33293 |        0 |        0
1300.87/1301.39	c 1301s |      27 | 15683585 | 12727233 |      994  33330 |        0 |        0
1302.96/1303.40	c 1303s |      27 | 15708913 | 12746733 |      994  33368 |        0 |        0
1304.96/1305.40	c 1305s |      27 | 15731939 | 12765633 |      994  33406 |        0 |        0
1306.95/1307.41	c 1307s |      27 | 15756109 | 12785233 |      994  33444 |        0 |        0
1308.95/1309.42	c 1309s |      27 | 15780140 | 12804633 |      994  33483 |        0 |        0
1310.95/1311.42	c 1311s |      27 | 15806469 | 12825033 |      994  33523 |        0 |        0
1312.95/1313.42	c 1313s |      27 | 15831088 | 12844633 |      994  33562 |        0 |        0
1314.95/1315.43	c 1315s |      27 | 15858951 | 12865233 |      994  33603 |        0 |        0
1316.94/1317.43	c 1317s |      27 | 15883597 | 12884733 |      994  33641 |        0 |        0
1318.94/1319.43	c 1319s |      27 | 15910044 | 12904533 |      994  33680 |        0 |        0
1320.94/1321.44	c 1321s |      27 | 15936506 | 12924833 |      994  33721 |        0 |        0
1322.95/1323.44	c 1323s |      27 | 15957651 | 12942433 |      994  33756 |        0 |        0
1324.94/1325.44	c 1325s |      27 | 15981585 | 12961533 |      994  33793 |        0 |        0
1326.94/1327.45	c 1327s |      27 | 16007233 | 12981333 |      994  33832 |        0 |        0
1328.94/1329.45	c 1329s |      27 | 16031467 | 13000233 |      994  33870 |        0 |        0
1330.94/1331.46	c 1331s |      27 | 16054276 | 13018233 |      994  33905 |        0 |        0
1332.94/1333.46	c 1333s |      27 | 16077620 | 13036833 |      994  33942 |        0 |        0
1334.95/1335.47	c 1335s |      27 | 16100393 | 13055433 |      994  33979 |        0 |        0
1336.94/1337.48	c 1337s |      27 | 16123801 | 13074233 |      994  34016 |        0 |        0
1338.94/1339.48	c 1339s |      27 | 16146361 | 13092333 |      994  34052 |        0 |        0
1340.94/1341.49	c 1341s |      27 | 16167920 | 13110233 |      994  34088 |        0 |        0
1342.94/1343.49	c 1343s |      27 | 16188621 | 13127733 |      994  34122 |        0 |        0
1345.04/1345.50	c 1345s |      27 | 16210001 | 13145733 |      994  34158 |        0 |        0
1347.05/1347.52	c 1347s |      27 | 16232557 | 13164433 |      994  34195 |        0 |        0
1349.04/1349.52	c 1349s |      27 | 16255651 | 13183833 |      994  34233 |        0 |        0
1351.04/1351.53	c 1351s |      27 | 16278556 | 13202833 |      994  34271 |        0 |        0
1353.03/1353.54	c 1353s |      27 | 16302302 | 13222133 |      994  34309 |        0 |        0
1355.03/1355.54	c 1355s |      27 | 16326328 | 13241033 |      994  34346 |        0 |        0
1357.04/1357.55	c 1357s |      27 | 16349368 | 13259733 |      994  34383 |        0 |        0
1359.03/1359.55	c 1359s |      27 | 16371092 | 13278033 |      994  34419 |        0 |        0
1361.03/1361.56	c 1361s |      27 | 16395614 | 13297833 |      994  34458 |        0 |        0
1363.03/1363.56	c 1363s |      27 | 16416593 | 13315833 |      994  34494 |        0 |        0
1365.03/1365.56	c 1365s |      27 | 16440135 | 13334733 |      994  34532 |        0 |        0
1367.03/1367.57	c 1367s |      27 | 16462288 | 13353033 |      994  34568 |        0 |        0
1369.04/1369.57	c 1369s |      27 | 16485067 | 13371633 |      994  34605 |        0 |        0
1371.04/1371.57	c 1371s |      27 | 16508867 | 13390433 |      994  34643 |        0 |        0
1373.04/1373.58	c 1373s |      27 | 16532482 | 13409233 |      994  34680 |        0 |        0
1375.04/1375.58	c 1375s |      27 | 16555109 | 13427833 |      994  34717 |        0 |        0
1377.03/1377.59	c 1377s |      27 | 16575131 | 13445033 |      994  34751 |        0 |        0
1379.04/1379.59	c 1379s |      27 | 16596825 | 13463033 |      994  34787 |        0 |        0
1381.03/1381.60	c 1381s |      27 | 16619860 | 13481433 |      994  34823 |        0 |        0
1383.13/1383.61	c 1383s |      27 | 16642273 | 13500133 |      994  34860 |        0 |        0
1385.13/1385.61	c 1385s |      27 | 16665572 | 13519233 |      994  34898 |        0 |        0
1387.13/1387.62	c 1387s |      27 | 16688986 | 13538233 |      994  34935 |        0 |        0
1389.13/1389.63	c 1389s |      27 | 16713606 | 13557733 |      994  34974 |        0 |        0
1391.14/1391.64	c 1391s |      27 | 16736886 | 13576533 |      994  35011 |        0 |        0
1393.13/1393.64	c 1393s |      27 | 16758396 | 13594633 |      994  35047 |        0 |        0
1395.13/1395.64	c 1395s |      27 | 16782087 | 13613533 |      994  35085 |        0 |        0
1397.13/1397.65	c 1397s |      27 | 16803625 | 13631333 |      994  35120 |        0 |        0
1399.13/1399.66	c 1399s |      27 | 16827702 | 13650533 |      994  35158 |        0 |        0
1401.13/1401.66	c 1401s |      27 | 16850539 | 13669333 |      994  35195 |        0 |        0
1403.14/1403.66	c 1403s |      27 | 16874363 | 13688133 |      994  35233 |        0 |        0
1405.13/1405.67	c 1405s |      27 | 16897456 | 13706933 |      994  35270 |        0 |        0
1407.13/1407.67	c 1407s |      27 | 16918942 | 13724933 |      994  35305 |        0 |        0
1409.13/1409.68	c 1409s |      27 | 16942027 | 13743533 |      994  35342 |        0 |        0
1411.13/1411.69	c 1411s |      27 | 16967787 | 13763033 |      994  35381 |        0 |        0
1413.13/1413.69	c 1413s |      27 | 16995733 | 13783333 |      994  35421 |        0 |        0
1415.12/1415.70	c 1415s |      27 | 17019785 | 13802433 |      994  35459 |        0 |        0
1417.22/1417.70	c 1417s |      27 | 17044888 | 13821933 |      994  35497 |        0 |        0
1419.22/1419.71	c 1419s |      27 | 17066320 | 13839633 |      994  35533 |        0 |        0
1421.22/1421.71	c 1421s |      27 | 17087964 | 13857533 |      994  35568 |        0 |        0
1423.22/1423.71	c 1423s |      27 | 17111415 | 13876233 |      994  35605 |        0 |        0
1425.23/1425.72	c 1425s |      27 | 17135437 | 13895133 |      994  35642 |        0 |        0
1427.22/1427.72	c 1427s |      27 | 17159227 | 13913533 |      994  35678 |        0 |        0
1429.22/1429.73	c 1429s |      27 | 17182556 | 13931933 |      994  35714 |        0 |        0
1431.22/1431.74	c 1431s |      27 | 17206323 | 13950833 |      994  35752 |        0 |        0
1433.22/1433.75	c 1433s |      27 | 17229520 | 13969533 |      994  35788 |        0 |        0
1435.22/1435.75	c 1435s |      27 | 17251692 | 13987433 |      994  35824 |        0 |        0
1437.23/1437.76	c 1437s |      27 | 17274908 | 14005633 |      994  35860 |        0 |        0
1439.22/1439.76	c 1439s |      27 | 17298932 | 14024833 |      994  35897 |        0 |        0
1441.22/1441.77	c 1441s |      27 | 17322039 | 14043433 |      994  35934 |        0 |        0
1443.22/1443.78	c 1443s |      27 | 17345929 | 14062533 |      994  35971 |        0 |        0
1445.22/1445.78	c 1445s |      27 | 17369504 | 14081533 |      994  36009 |        0 |        0
1447.23/1447.79	c 1447s |      27 | 17392401 | 14100233 |      994  36046 |        0 |        0
1449.22/1449.79	c 1449s |      27 | 17414054 | 14118033 |      994  36081 |        0 |        0
1451.22/1451.80	c 1451s |      27 | 17436559 | 14136333 |      994  36116 |        0 |        0
1453.32/1453.80	c 1453s |      27 | 17458046 | 14154233 |      994  36152 |        0 |        0
1455.32/1455.80	c 1455s |      27 | 17482529 | 14173133 |      994  36189 |        0 |        0
1457.32/1457.81	c 1457s |      27 | 17503778 | 14190633 |      994  36223 |        0 |        0
1459.33/1459.82	c 1459s |      27 | 17525073 | 14208333 |      994  36258 |        0 |        0
1461.32/1461.83	c 1461s |      27 | 17546856 | 14226133 |      994  36294 |        0 |        0
1463.32/1463.84	c 1463s |      27 | 17567635 | 14243733 |      994  36328 |        0 |        0
1465.32/1465.85	c 1465s |      27 | 17590307 | 14262033 |      994  36364 |        0 |        0
1467.32/1467.86	c 1467s |      27 | 17612729 | 14280233 |      994  36400 |        0 |        0
1469.32/1469.86	c 1469s |      27 | 17635788 | 14298633 |      994  36437 |        0 |        0
1471.32/1471.87	c 1471s |      27 | 17660576 | 14317933 |      994  36475 |        0 |        0
1473.32/1473.87	c 1473s |      27 | 17685231 | 14337133 |      994  36513 |        0 |        0
1475.31/1475.88	c 1475s |      27 | 17709665 | 14356633 |      994  36552 |        0 |        0
1477.31/1477.88	c 1477s |      27 | 17734953 | 14376533 |      994  36591 |        0 |        0
1479.31/1479.88	c 1479s |      27 | 17760245 | 14395933 |      994  36629 |        0 |        0
1481.32/1481.89	c 1481s |      27 | 17784115 | 14415033 |      994  36667 |        0 |        0
1483.31/1483.90	c 1483s |      27 | 17806512 | 14433633 |      994  36704 |        0 |        0
1485.41/1485.91	c 1485s |      27 | 17831022 | 14452933 |      994  36742 |        0 |        0
1487.41/1487.92	c 1487s |      27 | 17854690 | 14471633 |      994  36780 |        0 |        0
1489.41/1489.92	c 1489s |      27 | 17879692 | 14491033 |      994  36818 |        0 |        0
1491.41/1491.93	c 1491s |      27 | 17905681 | 14510933 |      994  36857 |        0 |        0
1493.42/1493.93	c 1493s |      27 | 17930432 | 14530233 |      994  36896 |        0 |        0
1495.41/1495.94	c 1495s |      27 | 17955388 | 14549633 |      994  36934 |        0 |        0
1497.42/1497.94	c 1497s |      27 | 17980241 | 14568933 |      994  36973 |        0 |        0
1499.42/1499.95	c 1499s |      27 | 18006603 | 14588533 |      994  37011 |        0 |        0
1501.42/1501.95	c 1501s |      27 | 18031712 | 14608033 |      994  37050 |        0 |        0
1503.42/1503.96	c 1503s |      27 | 18055447 | 14626833 |      994  37087 |        0 |        0
1505.42/1505.97	c 1505s |      27 | 18080513 | 14645833 |      994  37125 |        0 |        0
1507.42/1507.97	c 1507s |      27 | 18104433 | 14664533 |      994  37162 |        0 |        0
1509.42/1509.98	c 1509s |      27 | 18125015 | 14681833 |      994  37196 |        0 |        0
1511.42/1511.99	c 1511s |      27 | 18143266 | 14697933 |      994  37228 |        0 |        0
1513.52/1514.00	c 1513s |      27 | 18163894 | 14715333 |      994  37263 |        0 |        0
1515.51/1516.01	c 1515s |      27 | 18185741 | 14733533 |      994  37299 |        0 |        0
1517.52/1518.01	c 1517s |      27 | 18206440 | 14751233 |      994  37334 |        0 |        0
1519.51/1520.01	c 1520s |      27 | 18229840 | 14769533 |      994  37371 |        0 |        0
1521.51/1522.02	c 1522s |      27 | 18252689 | 14787833 |      994  37408 |        0 |        0
1523.51/1524.03	c 1524s |      27 | 18273149 | 14805333 |      994  37442 |        0 |        0
1525.51/1526.04	c 1526s |      27 | 18295617 | 14823933 |      994  37479 |        0 |        0
1527.52/1528.05	c 1528s |      27 | 18317866 | 14842333 |      994  37516 |        0 |        0
1529.51/1530.05	c 1530s |      27 | 18337741 | 14859333 |      994  37549 |        0 |        0
1531.51/1532.06	c 1532s |      27 | 18358760 | 14876833 |      994  37584 |        0 |        0
1533.51/1534.06	c 1534s |      27 | 18381957 | 14895433 |      994  37621 |        0 |        0
1535.51/1536.06	c 1536s |      27 | 18403555 | 14913733 |      994  37657 |        0 |        0
1537.50/1538.07	c 1538s |      27 | 18425798 | 14931833 |      994  37693 |        0 |        0
1539.51/1540.07	c 1540s |      27 | 18446412 | 14949533 |      994  37728 |        0 |        0
1541.50/1542.08	c 1542s |      27 | 18467932 | 14967533 |      994  37763 |        0 |        0
1543.50/1544.08	c 1544s |      27 | 18488547 | 14985133 |      994  37798 |        0 |        0
1545.51/1546.09	c 1546s |      27 | 18509570 | 15002633 |      994  37833 |        0 |        0
1547.61/1548.10	c 1548s |      27 | 18531980 | 15020933 |      994  37869 |        0 |        0
1549.61/1550.10	c 1550s |      27 | 18554976 | 15039933 |      994  37907 |        0 |        0
1551.61/1552.11	c 1552s |      27 | 18577547 | 15058733 |      994  37944 |        0 |        0
1553.60/1554.12	c 1554s |      27 | 18600582 | 15077633 |      994  37981 |        0 |        0
1555.60/1556.13	c 1556s |      27 | 18622944 | 15095833 |      994  38018 |        0 |        0
1557.60/1558.14	c 1558s |      27 | 18644149 | 15113733 |      994  38053 |        0 |        0
1559.60/1560.15	c 1560s |      27 | 18666307 | 15132033 |      994  38090 |        0 |        0
1561.61/1562.15	c 1562s |      27 | 18689264 | 15150533 |      994  38126 |        0 |        0
1563.60/1564.16	c 1564s |      27 | 18712708 | 15169033 |      994  38163 |        0 |        0
1565.60/1566.16	c 1566s |      27 | 18736645 | 15187933 |      994  38200 |        0 |        0
1567.60/1568.16	c 1568s |      27 | 18761284 | 15207133 |      994  38238 |        0 |        0
1569.60/1570.17	c 1570s |      27 | 18782433 | 15224833 |      994  38273 |        0 |        0
1571.60/1572.17	c 1572s |      27 | 18804366 | 15242633 |      994  38308 |        0 |        0
1573.60/1574.18	c 1574s |      27 | 18829402 | 15261633 |      994  38346 |        0 |        0
1575.60/1576.19	c 1576s |      27 | 18853694 | 15280133 |      994  38382 |        0 |        0
1577.70/1578.20	c 1578s |      27 | 18876684 | 15298433 |      994  38419 |        0 |        0
1579.69/1580.21	c 1580s |      27 | 18898752 | 15316633 |      994  38455 |        0 |        0
1581.69/1582.21	c 1582s |      27 | 18919215 | 15334033 |      994  38489 |        0 |        0
1583.70/1584.22	c 1584s |      27 | 18941257 | 15352033 |      994  38525 |        0 |        0
1585.71/1586.23	c 1586s |      27 | 18964204 | 15370533 |      994  38562 |        0 |        0
1587.70/1588.23	c 1588s |      27 | 18986251 | 15388733 |      994  38598 |        0 |        0
1589.70/1590.23	c 1590s |      27 | 19007297 | 15406233 |      994  38632 |        0 |        0
1591.70/1592.23	c 1592s |      27 | 19031869 | 15425533 |      994  38671 |        0 |        0
1593.70/1594.23	c 1594s |      27 | 19054587 | 15444133 |      994  38707 |        0 |        0
1595.71/1596.24	c 1596s |      27 | 19078230 | 15462933 |      994  38745 |        0 |        0
1597.70/1598.25	c 1598s |      27 | 19101840 | 15481933 |      994  38782 |        0 |        0
1599.70/1600.25	c 1600s |      27 | 19125200 | 15500633 |      994  38819 |        0 |        0
1601.70/1602.26	c 1602s |      27 | 19149949 | 15519933 |      994  38857 |        0 |        0
1603.70/1604.26	c 1604s |      27 | 19173541 | 15538733 |      994  38895 |        0 |        0
1605.70/1606.26	c 1606s |      27 | 19198681 | 15557833 |      994  38933 |        0 |        0
1607.70/1608.26	c 1608s |      27 | 19223094 | 15577133 |      994  38971 |        0 |        0
1609.69/1610.27	c 1610s |      27 | 19249709 | 15597533 |      994  39012 |        0 |        0
1611.69/1612.27	c 1612s |      27 | 19277045 | 15618033 |      994  39052 |        0 |        0
1613.69/1614.28	c 1614s |      27 | 19303272 | 15638033 |      994  39092 |        0 |        0
1615.69/1616.28	c 1616s |      27 | 19328856 | 15657533 |      994  39130 |        0 |        0
1617.70/1618.28	c 1618s |      27 | 19353700 | 15676833 |      994  39168 |        0 |        0
1619.69/1620.29	c 1620s |      27 | 19376086 | 15694933 |      994  39204 |        0 |        0
1621.69/1622.29	c 1622s |      27 | 19399846 | 15713333 |      994  39241 |        0 |        0
1623.79/1624.30	c 1624s |      27 | 19424764 | 15732433 |      994  39278 |        0 |        0
1625.79/1626.30	c 1626s |      27 | 19448795 | 15751533 |      994  39316 |        0 |        0
1627.78/1628.31	c 1628s |      27 | 19471545 | 15769833 |      994  39353 |        0 |        0
1629.80/1630.32	c 1630s |      27 | 19493869 | 15788533 |      994  39390 |        0 |        0
1631.79/1632.32	c 1632s |      27 | 19515368 | 15807033 |      994  39426 |        0 |        0
1633.79/1634.33	c 1634s |      27 | 19537128 | 15825533 |      994  39463 |        0 |        0
1635.79/1636.33	c 1636s |      27 | 19561314 | 15845033 |      994  39502 |        0 |        0
1637.79/1638.34	c 1638s |      27 | 19585413 | 15864333 |      994  39541 |        0 |        0
1639.79/1640.35	c 1640s |      27 | 19608712 | 15882733 |      994  39577 |        0 |        0
1641.80/1642.35	c 1642s |      27 | 19633830 | 15902633 |      994  39616 |        0 |        0
1643.79/1644.35	c 1644s |      27 | 19661181 | 15923133 |      994  39657 |        0 |        0
1645.79/1646.35	c 1646s |      27 | 19686905 | 15943133 |      994  39697 |        0 |        0
1647.79/1648.36	c 1648s |      27 | 19712346 | 15962933 |      994  39737 |        0 |        0
1649.79/1650.37	c 1650s |      27 | 19740035 | 15984233 |      994  39779 |        0 |        0
1651.79/1652.37	c 1652s |      27 | 19766326 | 16004733 |      994  39820 |        0 |        0
1653.79/1654.38	c 1654s |      27 | 19788143 | 16023033 |      994  39856 |        0 |        0
1655.79/1656.38	c 1656s |      27 | 19809080 | 16040733 |      994  39891 |        0 |        0
1657.79/1658.38	c 1658s |      27 | 19830866 | 16059133 |      994  39928 |        0 |        0
1659.79/1660.39	c 1660s |      27 | 19858429 | 16079933 |      994  39969 |        0 |        0
1661.78/1662.39	c 1662s |      27 | 19881735 | 16099033 |      994  40008 |        0 |        0
1663.79/1664.40	c 1664s |      27 | 19907382 | 16118733 |      994  40047 |        0 |        0
1665.88/1666.40	c 1666s |      27 | 19931771 | 16138033 |      994  40086 |        0 |        0
1667.88/1668.40	c 1668s |      27 | 19954097 | 16156333 |      994  40122 |        0 |        0
1669.88/1670.41	c 1670s |      27 | 19978399 | 16175633 |      994  40161 |        0 |        0
1671.88/1672.41	c 1672s |      27 | 20002527 | 16194933 |      994  40199 |        0 |        0
1673.88/1674.43	c 1674s |      27 | 20023024 | 16212633 |      994  40234 |        0 |        0
1675.89/1676.43	c 1676s |      27 | 20045930 | 16231533 |      994  40272 |        0 |        0
1677.88/1678.43	c 1678s |      27 | 20068602 | 16250233 |      994  40309 |        0 |        0
1679.88/1680.43	c 1680s |      27 | 20090567 | 16268533 |      994  40345 |        0 |        0
1681.88/1682.44	c 1682s |      27 | 20112218 | 16286733 |      994  40381 |        0 |        0
1683.88/1684.45	c 1684s |      27 | 20134373 | 16305233 |      994  40418 |        0 |        0
1685.88/1686.45	c 1686s |      27 | 20156935 | 16323933 |      994  40455 |        0 |        0
1687.88/1688.45	c 1688s |      27 | 20178997 | 16342533 |      994  40492 |        0 |        0
1689.88/1690.47	c 1690s |      27 | 20202195 | 16361733 |      994  40530 |        0 |        0
1691.88/1692.47	c 1692s |      27 | 20225289 | 16380733 |      994  40568 |        0 |        0
1693.87/1694.48	c 1694s |      27 | 20247329 | 16399433 |      994  40605 |        0 |        0
1695.87/1696.49	c 1696s |      27 | 20268940 | 16417733 |      994  40642 |        0 |        0
1697.88/1698.50	c 1698s |      27 | 20291317 | 16436333 |      994  40679 |        0 |        0
1699.97/1700.50	c 1700s |      27 | 20312774 | 16454133 |      994  40714 |        0 |        0
1701.97/1702.51	c 1702s |      27 | 20335836 | 16472733 |      994  40750 |        0 |        0
1703.98/1704.51	c 1704s |      27 | 20356690 | 16490233 |      994  40785 |        0 |        0
1705.98/1706.52	c 1706s |      27 | 20375358 | 16506333 |      994  40817 |        0 |        0
1707.98/1708.52	c 1708s |      27 | 20395456 | 16523233 |      994  40850 |        0 |        0
1709.99/1710.53	c 1710s |      27 | 20415197 | 16540033 |      994  40883 |        0 |        0
1711.98/1712.53	c 1712s |      27 | 20434808 | 16556333 |      994  40915 |        0 |        0
1713.98/1714.54	c 1714s |      27 | 20452070 | 16571733 |      994  40946 |        0 |        0
1715.98/1716.54	c 1716s |      27 | 20470687 | 16588033 |      994  40978 |        0 |        0
1717.98/1718.54	c 1718s |      27 | 20489062 | 16604033 |      994  41009 |        0 |        0
1719.99/1720.55	c 1720s |      27 | 20509873 | 16621433 |      994  41044 |        0 |        0
1721.98/1722.55	c 1722s |      27 | 20535494 | 16640633 |      994  41082 |        0 |        0
1723.98/1724.55	c 1724s |      27 | 20558416 | 16658933 |      994  41118 |        0 |        0
1725.98/1726.56	c 1726s |      27 | 20577253 | 16675133 |      994  41150 |        0 |        0
1727.98/1728.56	c 1728s |      27 | 20597054 | 16692133 |      994  41184 |        0 |        0
1729.98/1730.57	c 1730s |      27 | 20618140 | 16709633 |      994  41218 |        0 |        0
1731.98/1732.58	c 1732s |      27 | 20637710 | 16726333 |      994  41251 |        0 |        0
1733.97/1734.58	c 1734s |      27 | 20656374 | 16742733 |      994  41284 |        0 |        0
1735.97/1736.59	c 1736s |      27 | 20676690 | 16759833 |      994  41318 |        0 |        0
1737.97/1738.60	c 1738s |      27 | 20698080 | 16777533 |      994  41353 |        0 |        0
1740.07/1740.60	c 1740s |      27 | 20721588 | 16796333 |      994  41390 |        0 |        0
1742.07/1742.60	c 1742s |      27 | 20743911 | 16814733 |      994  41426 |        0 |        0
1744.08/1744.61	c 1744s |      27 | 20768195 | 16834233 |      994  41465 |        0 |        0
1746.07/1746.62	c 1746s |      27 | 20791400 | 16852933 |      994  41502 |        0 |        0
1748.07/1748.63	c 1748s |      27 | 20811930 | 16870333 |      994  41537 |        0 |        0
1750.07/1750.63	c 1750s |      27 | 20830693 | 16886733 |      994  41570 |        0 |        0
1752.07/1752.64	c 1752s |      27 | 20849656 | 16903533 |      994  41603 |        0 |        0
1754.08/1754.65	c 1754s |      27 | 20872317 | 16922033 |      994  41640 |        0 |        0
1756.07/1756.65	c 1756s |      27 | 20895953 | 16940633 |      994  41677 |        0 |        0
1758.07/1758.66	c 1758s |      27 | 20916492 | 16958133 |      994  41712 |        0 |        0
1760.07/1760.66	c 1760s |      27 | 20938538 | 16976133 |     1094  41747 |        0 |        0
1762.07/1762.67	c 1762s |      27 | 20961116 | 16994133 |     1094  41779 |        0 |        0
1764.07/1764.68	c 1764s |      27 | 20982229 | 17011933 |     1094  41811 |        0 |        0
1766.07/1766.68	c 1766s |      27 | 21003484 | 17029833 |     1094  41843 |        0 |        0
1768.07/1768.69	c 1768s |      27 | 21025339 | 17047633 |     1094  41875 |        0 |        0
1770.07/1770.69	c 1770s |      27 | 21046098 | 17064833 |     1094  41906 |        0 |        0
1772.07/1772.69	c 1772s |      27 | 21067461 | 17082433 |     1094  41938 |        0 |        0
1773.57/1774.16	c 1774s |      28 | 21082367 | 17095205 |     1094  41961 |        0 |        0
1775.57/1776.16	c 1776s |      28 | 21104289 | 17113405 |     1094  41994 |        0 |        0
1777.57/1778.16	c 1778s |      28 | 21126329 | 17131605 |     1094  42026 |        0 |        0
1779.57/1780.17	c 1780s |      28 | 21148673 | 17150005 |     1094  42060 |        0 |        0
1781.57/1782.18	c 1782s |      28 | 21173036 | 17169605 |     1094  42095 |        0 |        0
1783.56/1784.18	c 1784s |      28 | 21194342 | 17187605 |     1094  42127 |        0 |        0
1785.56/1786.18	c 1786s |      28 | 21214591 | 17205005 |     1094  42159 |        0 |        0
1787.56/1788.19	c 1788s |      28 | 21237162 | 17223605 |     1094  42192 |        0 |        0
1789.56/1790.19	c 1790s |      28 | 21260775 | 17242605 |     1094  42226 |        0 |        0
1791.66/1792.20	c 1792s |      28 | 21285407 | 17262105 |     1094  42261 |        0 |        0
1793.57/1794.20	c 1794s |      28 | 21309959 | 17281205 |     1094  42296 |        0 |        0
1795.66/1796.21	c 1796s |      28 | 21334700 | 17300505 |     1094  42331 |        0 |        0
1797.66/1798.22	c 1798s |      28 | 21361006 | 17320305 |     1094  42366 |        0 |        0
1799.66/1800.22	c 1800s |      28 | 21384182 | 17338805 |     1094  42400 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.20 1.74 1.61 3/179 7129
/proc/meminfo: memFree=29631856/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=626108 CPUtime=0 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 2318 0 0 0 0 0 0 0 20 0 4 0 2368762 641134592 2679 33554432000 4194304 16246674 140734740743600 140734740743024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7129/statm: 157039 2685 441 2943 0 153933 0
[pid=7129/tid=7130] ppid=7126 vsize=642492 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 657911808 2745 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=647612 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 663154688 2763 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=651708 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2368763 667348992 2780 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.20 1.74 1.61 3/179 7129
/proc/meminfo: memFree=29631856/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 24492 0 0 0 5 3 0 0 20 0 4 0 2368762 1247350784 24842 33554432000 4194304 16246674 140734740743600 140734740725504 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7129/statm: 304529 24849 707 2943 0 301423 0
[pid=7129/tid=7130] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 24856 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 24862 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 24867 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200445 s]
/proc/loadavg: 2.20 1.74 1.61 3/179 7129
/proc/meminfo: memFree=29631856/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 47277 0 0 0 11 8 0 0 20 0 4 0 2368762 1247350784 47626 33554432000 4194304 16246674 140734740743600 140734740725504 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7129/statm: 304529 47635 708 2943 0 301423 0
[pid=7129/tid=7130] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 47642 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 47650 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 47656 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300464 s]
/proc/loadavg: 2.20 1.74 1.61 3/179 7129
/proc/meminfo: memFree=29631856/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 70484 0 0 0 17 11 0 0 20 0 4 0 2368762 1247350784 70833 33554432000 4194304 16246674 140734740743600 140734740725504 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7129/statm: 304529 70844 708 2943 0 301423 0
[pid=7129/tid=7130] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 70851 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 70858 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 70865 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700348 s]
/proc/loadavg: 2.20 1.74 1.61 3/179 7129
/proc/meminfo: memFree=29631856/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 162212 0 0 0 45 24 0 0 20 0 4 0 2368762 1247350784 162561 33554432000 4194304 16246674 140734740743600 140734740725504 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7129/statm: 304529 162569 708 2943 0 301423 0
[pid=7129/tid=7130] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 162575 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 162582 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 162591 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.20 1.74 1.61 3/183 7133
/proc/meminfo: memFree=28650680/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 245476 0 0 0 114 35 0 0 20 0 4 0 2368762 1247350784 245805 33554432000 4194304 16246674 140734740743600 140734740742912 5659330 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7129/statm: 304529 245805 782 2943 0 301423 0
[pid=7129/tid=7130] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 245805 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 245805 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1247350784 245805 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.1004 s]
/proc/loadavg: 2.19 1.74 1.61 3/183 7133
/proc/meminfo: memFree=28562640/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 267385 0 0 0 271 38 0 0 20 0 4 0 2368762 1337528320 267714 33554432000 4194304 16246674 140734740743600 140734740726600 5823435 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7129/statm: 326545 267714 782 2943 0 323439 0
[pid=7129/tid=7130] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267714 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267714 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267714 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.19 1.74 1.61 3/183 7133
/proc/meminfo: memFree=28562056/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 267390 0 0 0 591 38 0 0 20 0 4 0 2368762 1337528320 267719 33554432000 4194304 16246674 140734740743600 140734740726600 5822788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7129/statm: 326545 267719 782 2943 0 323439 0
[pid=7129/tid=7130] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267719 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267719 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267719 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.17 1.74 1.61 3/183 7133
/proc/meminfo: memFree=28562096/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 267407 0 0 0 1231 38 0 0 20 0 4 0 2368762 1337528320 267736 33554432000 4194304 16246674 140734740743600 140734740726600 6020469 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7129/statm: 326545 267736 784 2943 0 323439 0
[pid=7129/tid=7130] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267736 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267736 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267736 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.29 1.79 1.63 3/183 7133
/proc/meminfo: memFree=28562308/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 267427 0 0 0 2510 38 0 0 20 0 4 0 2368762 1337528320 267756 33554432000 4194304 16246674 140734740743600 140734740726600 5677880 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7129/statm: 326545 267756 785 2943 0 323439 0
[pid=7129/tid=7130] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267756 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267756 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267756 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.26 1.82 1.64 3/183 7133
/proc/meminfo: memFree=28563028/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 267427 0 0 0 5069 39 0 0 20 0 4 0 2368762 1337528320 267756 33554432000 4194304 16246674 140734740743600 140734740726600 5823496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7129/statm: 326545 267756 785 2943 0 323439 0
[pid=7129/tid=7130] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267756 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267756 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267756 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.16 1.86 1.67 3/183 7134
/proc/meminfo: memFree=28562292/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 267432 0 0 0 10188 40 0 0 20 0 4 0 2368762 1337528320 267761 33554432000 4194304 16246674 140734740743600 140734740726600 5677662 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7129/statm: 326545 267761 785 2943 0 323439 0
[pid=7129/tid=7130] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267761 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267761 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1337528320 267761 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268030 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.07 2.11 1.98 4/183 7165
/proc/meminfo: memFree=28553672/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1307204 CPUtime=1301.86 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 268105 0 0 0 130123 63 0 0 20 0 4 0 2368762 1338576896 268031 33554432000 4194304 16246674 140734740743600 140734740725504 12477729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7129/statm: 326801 268031 788 2943 0 323695 0
[pid=7129/tid=7130] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.02 2.08 1.98 3/183 7166
/proc/meminfo: memFree=28553708/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1307204 CPUtime=1361.83 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 268121 0 0 0 136119 64 0 0 20 0 4 0 2368762 1338576896 268031 33554432000 4194304 16246674 140734740743600 140734740725504 5675825 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7129/statm: 326801 268031 788 2943 0 323695 0
[pid=7129/tid=7130] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.06 2.08 1.98 3/183 7167
/proc/meminfo: memFree=28553700/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1307204 CPUtime=1421.83 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 268121 0 0 0 142118 65 0 0 20 0 4 0 2368762 1338576896 268031 33554432000 4194304 16246674 140734740743600 140734740725504 13965672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7129/statm: 326801 268031 788 2943 0 323695 0
[pid=7129/tid=7130] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.02 2.07 1.98 4/183 7169
/proc/meminfo: memFree=28553580/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1307204 CPUtime=1481.81 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 268121 0 0 0 148115 66 0 0 20 0 4 0 2368762 1338576896 268031 33554432000 4194304 16246674 140734740743600 140734740725504 5708141 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7129/statm: 326801 268031 788 2943 0 323695 0
[pid=7129/tid=7130] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.18 2.10 2.00 3/183 7170
/proc/meminfo: memFree=28553828/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1307204 CPUtime=1541.81 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 268121 0 0 0 154114 67 0 0 20 0 4 0 2368762 1338576896 268031 33554432000 4194304 16246674 140734740743600 140734740726592 5522994 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7129/statm: 326801 268031 788 2943 0 323695 0
[pid=7129/tid=7130] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.06 2.08 2.00 3/184 7221
/proc/meminfo: memFree=28142772/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1307204 CPUtime=1601.8 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 268121 0 0 0 160111 69 0 0 20 0 4 0 2368762 1338576896 268031 33554432000 4194304 16246674 140734740743600 140734740726592 5827728 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7129/statm: 326801 268031 788 2943 0 323695 0
[pid=7129/tid=7130] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268031 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.06 2.08 2.00 4/183 7222
/proc/meminfo: memFree=17576004/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1307204 CPUtime=1661.78 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 268161 0 0 0 166108 70 0 0 20 0 4 0 2368762 1338576896 268071 33554432000 4194304 16246674 140734740743600 140734740725504 13191756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7129/statm: 326801 268071 788 2943 0 323695 0
[pid=7129/tid=7130] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268071 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268071 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268071 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/184 7226
/proc/meminfo: memFree=14546124/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1307204 CPUtime=1721.78 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 268161 0 0 0 172107 71 0 0 20 0 4 0 2368762 1338576896 268071 33554432000 4194304 16246674 140734740743600 140734740725504 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7129/statm: 326801 268071 788 2943 0 323695 0
[pid=7129/tid=7130] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268071 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268071 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268071 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 1.65 1.96 1.97 2/173 7258
/proc/meminfo: memFree=30011104/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1307204 CPUtime=1781.77 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 268161 0 0 0 178105 72 0 0 20 0 4 0 2368762 1338576896 268071 33554432000 4194304 16246674 140734740743600 140734740726592 5822536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7129/statm: 326801 268071 788 2943 0 323695 0
[pid=7129/tid=7130] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268071 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268071 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268071 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.55 1.92 1.95 2/173 7259
/proc/meminfo: memFree=30011100/32872528 swapFree=533456/566160
[pid=7129] ppid=7126 vsize=1307204 CPUtime=1800.06 cores=0,2,4,6
/proc/7129/stat : 7129 (toysat) R 7126 7129 4526 0 -1 4202496 268161 0 0 0 179934 72 0 0 20 0 4 0 2368762 1338576896 268071 33554432000 4194304 16246674 140734740743600 140734740726592 5823975 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7129/statm: 326801 268071 788 2943 0 323695 0
[pid=7129/tid=7130] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7130/stat : 7130 (toysat) S 7126 7129 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268071 33554432000 4194304 16246674 140734740743600 140543107509488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7129/tid=7131] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7131/stat : 7131 (toysat) S 7126 7129 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268071 33554432000 4194304 16246674 140734740743600 140543097019632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7129/tid=7132] ppid=7126 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7129/task/7132/stat : 7132 (toysat) S 7126 7129 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2368763 1338576896 268071 33554432000 4194304 16246674 140734740743600 140543086546096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1307204

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7129 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.08
CPU user time (s): 1799.35
CPU system time (s): 0.726889
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.726889
maximum resident set size= 1072284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268161
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= 436
involuntary context switches= 2289

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5953 second user time and 6.99194 second system time

The end

Begin job on node138 at 2016-06-30 22:02:04
IDJOB=4122554
IDBENCH=111173
IDSOLVER=2542
FILE ID=node138/4122554-1467316924
RUNJOBID= node138-1467316713-6968
PBS_JOBID= 20005291
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n27-d4-i2.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122554-1467316924/watcher-4122554-1467316924 -o /tmp/evaluation-result-4122554-1467316924/solver-4122554-1467316924 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1467316713-6968 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122554-1467316924.opb

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

MD5SUM BENCH= b3e393f141e33fc7964ade58baa81427
RANDOM SEED=889914811

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.487
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.487
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:        29632516 kB
Buffers:          104812 kB
Cached:           739960 kB
SwapCached:            0 kB
Active:          1333016 kB
Inactive:         604604 kB
Active(anon):    1095412 kB
Inactive(anon):        0 kB
Active(file):     237604 kB
Inactive(file):   604604 kB
Unevictable:      566160 kB
Mlocked:          533456 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16636 kB
Writeback:             0 kB
AnonPages:       1660948 kB
Mapped:            17096 kB
Shmem:               204 kB
Slab:             603940 kB
SReclaimable:      47864 kB
SUnreclaim:       556076 kB
KernelStack:        1520 kB
PageTables:         7676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1793652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node138 at 2016-06-30 22:32:05