0.00/0.00	c 2016-06-16T01:16:59+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-4089729-1466032619.opb"]
0.00/0.01	c use --random-gen="787102640 2843416780 3915431195 2228835966 3025501178 1097388668 355039911 3177542728 1918191626 187172626 4092509952 1143086848 4244181480 2027102475 3449420594 29191915 1857422403 1974180192 589571232 2724729737 791204111 1316609205 3843010731 2613573922 4231696328 2610458281 1610263640 2350159593 427836534 279586062 2811977544 108826444 989273397 272816578 191219768 1834158331 3360237148 3772038086 2160408371 3508434579 2597109488 2197612365 4071460701 2698556637 87424173 705801000 197914152 2495661690 1495812852 4144209683 653714094 2764888862 378149760 1271048083 1315256166 1104809798 2049472819 2495276332 1615823421 1490864680 2031951723 3067452148 1900078365 1122256551 2812027642 934514879 1572615494 1861257239 2828349658 1147293333 2849137218 2824165889 4211733446 1527930391 557897230 2480728147 1081472849 1330334327 823053735 2445344429 4036797468 4187005568 3368959898 1152343879 469439738 3992971843 2509233394 3749656112 2080173407 415284260 502849688 1140597036 3937334359 427318451 4253242866 2922934304 2089100645 4217468493 285348800 810273938 1638216862 256699727 1257122906 418287321 3475234352 1698130580 549511918 1719459301 757999809 1267253357 2488953714 4107518107 2384826340 1491663807 3208941761 2147003627 1427976840 2207968973 4041302517 2565719757 3782528806 2559510788 2114033268 2925285306 532808382 1496631972 4044077460 1748106787 3229924604 2463006514 197442778 2310594668 4196683646 3277056937 1774965540 3826344012 853521329 1347055643 954932874 2052163033 1962602734 3420404041 2929644945 1993791836 1419485482 966809324 2178616158 3615881281 2307415361 516423929 2699878557 2980127710 388905659 473892978 3005215353 1030758419 1823776945 2063916370 2421742466 3264959323 3682988936 75750586 2561614082 3395323605 3577452563 2013587659 2915337353 3540146762 1672558323 3333261218 3409136989 912341290 2848437641 1970900527 275337616 2330628858 554903416 4020642458 1437538859 1411122572 2868352913 1857812548 1266695833 383525737 323313889 2353703547 4071847427 191911496 3042108397 2450964854 3355853109 2865113306 3871212877 4177160298 1873512438 3105400599 2054264917 3589690763 4236342519 3160758960 3046815138 76831618 2414096273 1529396803 1862780575 562045851 2752826794 1397616572 809239846 3793792857 1393690654 3430085533 857334152 2942296932 4150192851 2365972836 3995265794 1290763102 643519771 3106992948 1711314575 2200078914 1831746372 4019043809 1705083579 2401143559 2134622794 3542639477 2575944374 1976955591 364931043 781663626 1936902456 3183509274 824347206 3994168908 971700039 2534194478 2438074146 3665197684 912292298 2344916887 3719343795 1537430724 3562679890 910262869 4277921470 2836430224 1784824524 1796572364 3175153028 516186761 3473519902 4117001850 4264404558 3777983639 255 362436" option to reproduce the execution
0.00/0.01	c #vars 119
0.00/0.01	c #constraints 60
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 |       79      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      138 |      100 |       79      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      347 |      250 |       87      2 |        0 |        0
0.00/0.06	c  0.1s |       3 |      656 |      475 |       96      5 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1194 |      813 |      106     10 |        0 |        0
0.09/0.16	c  0.1s |       5 |     1965 |     1320 |      117     17 |        0 |        0
0.18/0.23	c  0.2s |       6 |     3354 |     2081 |      142     26 |        0 |        0
0.29/0.35	c  0.3s |       7 |     5258 |     3223 |      157     39 |        0 |        0
0.49/0.52	c  0.5s |       8 |     7728 |     4936 |      173     58 |        0 |        0
0.79/0.80	c  0.8s |       9 |    11446 |     7506 |      191     82 |        0 |        0
1.19/1.20	c  1.2s |      10 |    16432 |    11361 |      211    117 |        0 |        0
1.59/1.69	c  1.7s |      11 |    24327 |    17144 |      233    164 |        0 |        0
2.39/2.42	c  2.4s |      12 |    35462 |    25819 |      257    229 |        0 |        0
3.49/3.53	c  3.5s |      13 |    51978 |    38832 |      283    319 |        0 |        0
5.19/5.22	c  5.2s |      14 |    75924 |    58352 |      312    442 |        0 |        0
7.19/7.22	c  7.2s |      14 |   100723 |    79552 |      312    565 |        0 |        0
7.89/7.99	c  8.0s |      15 |   110281 |    87632 |      344    612 |        0 |        0
9.90/10.00	c 10.0s |      15 |   136165 |   108832 |      344    725 |        0 |        0
11.99/12.01	c 12.0s |      15 |   162770 |   130332 |      344    841 |        0 |        0
12.10/12.12	c 12.1s |      16 |   164254 |   131552 |      379    847 |        0 |        0
14.09/14.13	c 14.1s |      16 |   190636 |   153352 |      379    954 |        0 |        0
16.09/16.13	c 16.1s |      16 |   219925 |   176152 |      379   1066 |        0 |        0
17.89/17.90	c 17.9s |      17 |   248520 |   197432 |      417   1171 |        0 |        0
19.89/19.91	c 19.9s |      17 |   279233 |   221332 |      417   1278 |        0 |        0
21.89/21.91	c 21.9s |      17 |   311001 |   245232 |      417   1386 |        0 |        0
23.89/23.92	c 23.9s |      17 |   341691 |   268732 |      417   1491 |        0 |        0
25.89/25.92	c 25.9s |      17 |   367800 |   290132 |      417   1587 |        0 |        0
26.39/26.48	c 26.5s |      18 |   375544 |   296252 |      459   1614 |        0 |        0
28.38/28.49	c 28.5s |      18 |   398507 |   316352 |      459   1696 |        0 |        0
30.48/30.50	c 30.5s |      18 |   422326 |   336852 |      459   1782 |        0 |        0
32.48/32.50	c 32.5s |      18 |   444062 |   356052 |      459   1862 |        0 |        0
34.48/34.51	c 34.5s |      18 |   466157 |   375552 |      459   1943 |        0 |        0
36.48/36.52	c 36.5s |      18 |   489914 |   395752 |      459   2028 |        0 |        0
38.49/38.52	c 38.5s |      18 |   512470 |   415552 |      459   2110 |        0 |        0
40.49/40.53	c 40.5s |      18 |   534829 |   435352 |      459   2191 |        0 |        0
41.39/41.47	c 41.5s |      19 |   545186 |   444482 |      505   2227 |        0 |        0
43.39/43.47	c 43.5s |      19 |   570469 |   465182 |      505   2305 |        0 |        0
45.38/45.48	c 45.5s |      19 |   596771 |   486382 |      505   2386 |        0 |        0
47.39/47.48	c 47.5s |      19 |   621575 |   506882 |      505   2464 |        0 |        0
49.38/49.49	c 49.5s |      19 |   648320 |   528282 |      505   2544 |        0 |        0
51.48/51.50	c 51.5s |      19 |   674112 |   549182 |      505   2624 |        0 |        0
53.48/53.50	c 53.5s |      19 |   699940 |   569982 |      505   2703 |        0 |        0
55.48/55.50	c 55.5s |      19 |   724250 |   590382 |      505   2780 |        0 |        0
57.48/57.51	c 57.5s |      19 |   749595 |   611482 |      505   2860 |        0 |        0
59.49/59.51	c 59.5s |      19 |   775140 |   632482 |      505   2940 |        0 |        0
61.48/61.51	c 61.5s |      19 |   799967 |   652982 |      505   3019 |        0 |        0
62.78/62.87	c 62.9s |      20 |   816815 |   666827 |      556   3070 |        0 |        0
64.78/64.87	c 64.9s |      20 |   840168 |   686927 |      556   3139 |        0 |        0
66.78/66.87	c 66.9s |      20 |   863752 |   707127 |      556   3208 |        0 |        0
68.78/68.87	c 68.9s |      20 |   887051 |   727227 |      556   3278 |        0 |        0
70.78/70.87	c 70.9s |      20 |   910695 |   747527 |      556   3348 |        0 |        0
72.77/72.88	c 72.9s |      20 |   934798 |   767827 |      556   3418 |        0 |        0
74.78/74.88	c 74.9s |      20 |   957139 |   787527 |      556   3487 |        0 |        0
76.77/76.89	c 76.9s |      20 |   980913 |   807727 |      556   3556 |        0 |        0
78.87/78.90	c 78.9s |      20 |  1003353 |   827427 |      556   3625 |        0 |        0
80.87/80.90	c 80.9s |      20 |  1025763 |   846827 |      556   3692 |        0 |        0
82.87/82.90	c 82.9s |      20 |  1048524 |   866527 |      556   3761 |        0 |        0
84.87/84.90	c 84.9s |      20 |  1070386 |   886027 |      556   3828 |        0 |        0
86.89/86.91	c 86.9s |      20 |  1093839 |   905727 |      556   3897 |        0 |        0
88.88/88.91	c 88.9s |      20 |  1118518 |   926027 |      556   3967 |        0 |        0
90.88/90.92	c 90.9s |      20 |  1143640 |   946627 |      556   4039 |        0 |        0
92.88/92.92	c 92.9s |      20 |  1169468 |   967627 |      556   4111 |        0 |        0
94.88/94.93	c 94.9s |      20 |  1194457 |   988027 |      556   4182 |        0 |        0
95.97/96.07	c 96.1s |      21 |  1210827 |  1000345 |      612   4222 |        0 |        0
97.98/98.08	c 98.1s |      21 |  1235036 |  1020645 |      612   4286 |        0 |        0
99.97/100.09	c  100s |      21 |  1259143 |  1040845 |      612   4350 |        0 |        0
101.97/102.10	c  102s |      21 |  1286526 |  1061845 |      612   4416 |        0 |        0
104.07/104.10	c  104s |      21 |  1315285 |  1083245 |      612   4483 |        0 |        0
106.07/106.10	c  106s |      21 |  1343383 |  1104745 |      612   4551 |        0 |        0
108.07/108.11	c  108s |      21 |  1368794 |  1125145 |      612   4616 |        0 |        0
110.08/110.12	c  110s |      21 |  1395476 |  1145945 |      612   4681 |        0 |        0
112.07/112.12	c  112s |      21 |  1423560 |  1167445 |      612   4749 |        0 |        0
114.07/114.13	c  114s |      21 |  1452339 |  1189045 |      612   4817 |        0 |        0
116.07/116.13	c  116s |      21 |  1479270 |  1210045 |      612   4883 |        0 |        0
118.07/118.14	c  118s |      21 |  1508005 |  1231445 |      612   4950 |        0 |        0
120.07/120.15	c  120s |      21 |  1533122 |  1251645 |      612   5014 |        0 |        0
122.07/122.15	c  122s |      21 |  1560703 |  1273145 |      612   5082 |        0 |        0
124.07/124.16	c  124s |      21 |  1586537 |  1294045 |      612   5148 |        0 |        0
126.07/126.16	c  126s |      21 |  1614431 |  1315445 |      612   5217 |        0 |        0
128.07/128.17	c  128s |      21 |  1638626 |  1335245 |      612   5279 |        0 |        0
130.07/130.17	c  130s |      21 |  1661309 |  1354345 |      612   5338 |        0 |        0
132.08/132.17	c  132s |      21 |  1685665 |  1374245 |      612   5400 |        0 |        0
134.07/134.18	c  134s |      21 |  1710905 |  1394445 |      612   5464 |        0 |        0
136.07/136.18	c  136s |      21 |  1736869 |  1414845 |      612   5528 |        0 |        0
138.07/138.19	c  138s |      21 |  1761379 |  1434745 |      612   5591 |        0 |        0
140.07/140.19	c  140s |      21 |  1785215 |  1454545 |      612   5654 |        0 |        0
142.17/142.20	c  142s |      21 |  1811317 |  1475045 |      612   5718 |        0 |        0
144.17/144.21	c  144s |      21 |  1834262 |  1494345 |      674   5778 |        0 |        0
144.87/144.90	c  144s |      22 |  1841392 |  1500622 |      674   5796 |        0 |        0
146.86/146.90	c  146s |      22 |  1861497 |  1518622 |      674   5847 |        0 |        0
148.86/148.91	c  148s |      22 |  1883236 |  1537322 |      674   5900 |        0 |        0
150.86/150.91	c  150s |      22 |  1903270 |  1555122 |      674   5951 |        0 |        0
152.87/152.91	c  152s |      22 |  1924201 |  1573122 |      674   6002 |        0 |        0
154.86/154.92	c  154s |      22 |  1945242 |  1591522 |      674   6055 |        0 |        0
156.86/156.92	c  156s |      22 |  1968119 |  1610722 |      674   6110 |        0 |        0
158.86/158.93	c  158s |      22 |  1990618 |  1629822 |      674   6164 |        0 |        0
160.86/160.94	c  160s |      22 |  2014504 |  1649622 |      674   6221 |        0 |        0
162.87/162.95	c  162s |      22 |  2035753 |  1667822 |      674   6273 |        0 |        0
164.86/164.95	c  164s |      22 |  2056056 |  1685722 |      674   6324 |        0 |        0
166.86/166.95	c  166s |      22 |  2077308 |  1703822 |      674   6377 |        0 |        0
168.86/168.96	c  168s |      22 |  2100434 |  1723222 |      674   6432 |        0 |        0
170.86/170.96	c  170s |      22 |  2123912 |  1742722 |      674   6488 |        0 |        0
172.86/172.96	c  172s |      22 |  2145695 |  1761422 |      674   6542 |        0 |        0
174.86/174.97	c  174s |      22 |  2169076 |  1780922 |      674   6598 |        0 |        0
176.86/176.97	c  176s |      22 |  2191749 |  1799722 |      674   6652 |        0 |        0
178.87/178.97	c  178s |      22 |  2215420 |  1819322 |      674   6708 |        0 |        0
180.86/180.98	c  180s |      22 |  2240580 |  1839822 |      674   6767 |        0 |        0
182.86/182.98	c  182s |      22 |  2264763 |  1860122 |      674   6826 |        0 |        0
184.87/184.99	c  184s |      22 |  2288093 |  1879722 |      674   6882 |        0 |        0
186.86/187.00	c  186s |      22 |  2310302 |  1898522 |      674   6935 |        0 |        0
188.96/189.00	c  188s |      22 |  2332692 |  1917422 |      674   6990 |        0 |        0
190.96/191.01	c  190s |      22 |  2354795 |  1936222 |      674   7044 |        0 |        0
192.96/193.02	c  193s |      22 |  2377198 |  1954622 |      674   7097 |        0 |        0
194.96/195.03	c  195s |      22 |  2399375 |  1973322 |      674   7150 |        0 |        0
196.97/197.04	c  197s |      22 |  2422391 |  1992322 |      674   7205 |        0 |        0
198.96/199.05	c  199s |      22 |  2445463 |  2011622 |      674   7260 |        0 |        0
200.96/201.05	c  201s |      22 |  2468216 |  2030222 |      674   7314 |        0 |        0
202.96/203.05	c  203s |      22 |  2492023 |  2049522 |      674   7369 |        0 |        0
204.96/205.06	c  205s |      22 |  2515904 |  2068722 |      674   7425 |        0 |        0
206.96/207.07	c  207s |      22 |  2540175 |  2088122 |      674   7481 |        0 |        0
208.96/209.07	c  209s |      22 |  2563382 |  2107622 |      674   7537 |        0 |        0
210.96/211.08	c  211s |      22 |  2586759 |  2127222 |      674   7593 |        0 |        0
212.96/213.09	c  213s |      22 |  2610242 |  2146722 |      674   7650 |        0 |        0
214.95/215.09	c  215s |      22 |  2633862 |  2166122 |      674   7705 |        0 |        0
217.05/217.10	c  217s |      22 |  2657549 |  2185522 |      674   7761 |        0 |        0
219.05/219.11	c  219s |      22 |  2679646 |  2204222 |      674   7814 |        0 |        0
221.06/221.11	c  221s |      22 |  2702301 |  2223022 |      674   7869 |        0 |        0
223.05/223.12	c  223s |      22 |  2725039 |  2241922 |      742   7921 |        0 |        0
224.05/224.12	c  224s |      23 |  2735842 |  2251038 |      742   7945 |        0 |        0
226.06/226.13	c  226s |      23 |  2756727 |  2268938 |      742   7991 |        0 |        0
228.06/228.14	c  228s |      23 |  2777077 |  2286638 |      742   8037 |        0 |        0
230.06/230.15	c  230s |      23 |  2798154 |  2304538 |      742   8084 |        0 |        0
232.06/232.15	c  232s |      23 |  2819993 |  2322638 |      742   8131 |        0 |        0
234.06/234.16	c  234s |      23 |  2843296 |  2341138 |      742   8179 |        0 |        0
236.06/236.16	c  236s |      23 |  2866766 |  2360038 |      742   8229 |        0 |        0
238.05/238.17	c  238s |      23 |  2889269 |  2378738 |      742   8278 |        0 |        0
240.05/240.17	c  240s |      23 |  2912745 |  2397738 |      742   8328 |        0 |        0
242.06/242.18	c  242s |      23 |  2936582 |  2416738 |      742   8377 |        0 |        0
244.05/244.18	c  244s |      23 |  2959362 |  2435438 |      742   8426 |        0 |        0
246.05/246.18	c  246s |      23 |  2982495 |  2453938 |      742   8475 |        0 |        0
248.05/248.19	c  248s |      23 |  3005289 |  2472438 |      742   8523 |        0 |        0
250.15/250.20	c  250s |      23 |  3030323 |  2492038 |      742   8574 |        0 |        0
252.15/252.20	c  252s |      23 |  3055925 |  2511838 |      742   8626 |        0 |        0
254.16/254.21	c  254s |      23 |  3079100 |  2530938 |      742   8676 |        0 |        0
256.15/256.21	c  256s |      23 |  3099664 |  2548638 |      742   8722 |        0 |        0
258.15/258.22	c  258s |      23 |  3122706 |  2567538 |      742   8771 |        0 |        0
260.15/260.22	c  260s |      23 |  3146821 |  2586838 |      742   8821 |        0 |        0
262.15/262.23	c  262s |      23 |  3170180 |  2605638 |      742   8871 |        0 |        0
264.15/264.24	c  264s |      23 |  3192844 |  2624438 |      742   8920 |        0 |        0
266.16/266.24	c  266s |      23 |  3215368 |  2643038 |      742   8968 |        0 |        0
268.15/268.24	c  268s |      23 |  3239640 |  2662238 |      742   9019 |        0 |        0
270.15/270.24	c  270s |      23 |  3264152 |  2681738 |      742   9069 |        0 |        0
272.15/272.25	c  272s |      23 |  3288784 |  2701138 |      742   9120 |        0 |        0
274.15/274.26	c  274s |      23 |  3312479 |  2720038 |      742   9169 |        0 |        0
276.15/276.26	c  276s |      23 |  3337421 |  2739338 |      742   9220 |        0 |        0
278.14/278.27	c  278s |      23 |  3361809 |  2758638 |      742   9271 |        0 |        0
280.14/280.28	c  280s |      23 |  3386041 |  2778138 |      742   9322 |        0 |        0
282.14/282.28	c  282s |      23 |  3411687 |  2797838 |      742   9374 |        0 |        0
284.14/284.29	c  284s |      23 |  3437427 |  2817838 |      742   9426 |        0 |        0
286.14/286.29	c  286s |      23 |  3461355 |  2837138 |      742   9477 |        0 |        0
288.15/288.30	c  288s |      23 |  3485583 |  2856438 |      742   9528 |        0 |        0
290.24/290.30	c  290s |      23 |  3509383 |  2875438 |      742   9577 |        0 |        0
292.24/292.31	c  292s |      23 |  3533604 |  2894638 |      742   9628 |        0 |        0
294.24/294.32	c  294s |      23 |  3558640 |  2914038 |      742   9679 |        0 |        0
296.24/296.33	c  296s |      23 |  3582261 |  2933338 |      742   9729 |        0 |        0
298.24/298.33	c  298s |      23 |  3605430 |  2952638 |      742   9780 |        0 |        0
300.25/300.34	c  300s |      23 |  3625909 |  2970738 |      742   9828 |        0 |        0
302.25/302.34	c  302s |      23 |  3648401 |  2989438 |      742   9877 |        0 |        0
304.25/304.34	c  304s |      23 |  3670206 |  3007838 |      742   9925 |        0 |        0
306.25/306.35	c  306s |      23 |  3690916 |  3025538 |      742   9971 |        0 |        0
308.25/308.36	c  308s |      23 |  3712510 |  3043838 |      742  10020 |        0 |        0
310.25/310.37	c  310s |      23 |  3735557 |  3062838 |      742  10070 |        0 |        0
312.24/312.37	c  312s |      23 |  3758714 |  3082238 |      742  10121 |        0 |        0
314.24/314.38	c  314s |      23 |  3782210 |  3101538 |      742  10171 |        0 |        0
316.24/316.39	c  316s |      23 |  3805522 |  3120338 |      742  10220 |        0 |        0
318.34/318.40	c  318s |      23 |  3828200 |  3138838 |      742  10269 |        0 |        0
320.34/320.40	c  320s |      23 |  3853633 |  3158538 |      742  10320 |        0 |        0
322.35/322.41	c  322s |      23 |  3877594 |  3177538 |      742  10370 |        0 |        0
324.34/324.41	c  324s |      23 |  3901171 |  3196438 |      742  10419 |        0 |        0
326.34/326.41	c  326s |      23 |  3925216 |  3215338 |      742  10468 |        0 |        0
328.34/328.41	c  328s |      23 |  3948586 |  3234238 |      742  10518 |        0 |        0
330.34/330.42	c  330s |      23 |  3972619 |  3253138 |      742  10567 |        0 |        0
332.34/332.42	c  332s |      23 |  3996495 |  3271838 |      742  10616 |        0 |        0
334.35/334.43	c  334s |      23 |  4020200 |  3290738 |      742  10666 |        0 |        0
336.34/336.44	c  336s |      23 |  4041608 |  3308638 |      742  10713 |        0 |        0
338.34/338.44	c  338s |      23 |  4063501 |  3326838 |      742  10760 |        0 |        0
340.34/340.44	c  340s |      23 |  4087400 |  3345738 |      742  10810 |        0 |        0
342.34/342.45	c  342s |      23 |  4109431 |  3363738 |      817  10854 |        0 |        0
343.74/343.86	c  343s |      24 |  4125248 |  3376662 |      817  10885 |        0 |        0
345.73/345.86	c  345s |      24 |  4148115 |  3395062 |      817  10929 |        0 |        0
347.73/347.87	c  347s |      24 |  4171552 |  3413762 |      817  10973 |        0 |        0
349.74/349.87	c  349s |      24 |  4195893 |  3432762 |      817  11018 |        0 |        0
351.73/351.87	c  351s |      24 |  4219515 |  3451262 |      817  11062 |        0 |        0
353.73/353.88	c  353s |      24 |  4243159 |  3469662 |      817  11106 |        0 |        0
355.74/355.88	c  355s |      24 |  4266929 |  3488162 |      817  11150 |        0 |        0
357.74/357.89	c  357s |      24 |  4288983 |  3506162 |      817  11193 |        0 |        0
359.74/359.89	c  359s |      24 |  4311016 |  3524362 |      817  11236 |        0 |        0
361.74/361.90	c  361s |      24 |  4333617 |  3542862 |      817  11280 |        0 |        0
363.84/363.90	c  363s |      24 |  4356563 |  3561362 |      817  11324 |        0 |        0
365.84/365.91	c  365s |      24 |  4378866 |  3579562 |      817  11367 |        0 |        0
367.84/367.91	c  367s |      24 |  4399302 |  3596862 |      817  11408 |        0 |        0
369.83/369.91	c  369s |      24 |  4421964 |  3615262 |      817  11452 |        0 |        0
371.84/371.92	c  371s |      24 |  4445174 |  3633962 |      817  11497 |        0 |        0
373.83/373.93	c  373s |      24 |  4466976 |  3651962 |      817  11540 |        0 |        0
375.83/375.93	c  375s |      24 |  4489009 |  3669862 |      817  11582 |        0 |        0
377.83/377.94	c  377s |      24 |  4510259 |  3687462 |      817  11624 |        0 |        0
379.83/379.94	c  379s |      24 |  4530518 |  3704662 |      817  11665 |        0 |        0
381.83/381.95	c  381s |      24 |  4552600 |  3722862 |      817  11708 |        0 |        0
383.84/383.95	c  383s |      24 |  4574698 |  3741062 |      817  11752 |        0 |        0
385.83/385.95	c  385s |      24 |  4596167 |  3759162 |      817  11795 |        0 |        0
387.83/387.96	c  387s |      24 |  4616697 |  3776662 |      817  11836 |        0 |        0
389.83/389.97	c  389s |      24 |  4635734 |  3793362 |      817  11876 |        0 |        0
391.83/391.98	c  391s |      24 |  4653615 |  3809462 |      817  11914 |        0 |        0
393.83/393.98	c  393s |      24 |  4672799 |  3826162 |      817  11954 |        0 |        0
395.83/395.99	c  395s |      24 |  4695998 |  3844562 |      817  11998 |        0 |        0
397.83/397.99	c  397s |      24 |  4717685 |  3862262 |      817  12041 |        0 |        0
399.93/400.00	c  399s |      24 |  4739240 |  3880262 |      817  12084 |        0 |        0
401.93/402.00	c  401s |      24 |  4763643 |  3899362 |      817  12129 |        0 |        0
403.93/404.01	c  403s |      24 |  4786498 |  3917962 |      817  12173 |        0 |        0
405.94/406.01	c  405s |      24 |  4809024 |  3936462 |      817  12217 |        0 |        0
407.93/408.02	c  408s |      24 |  4829838 |  3954062 |      817  12259 |        0 |        0
409.93/410.03	c  410s |      24 |  4853018 |  3972762 |      817  12303 |        0 |        0
411.93/412.03	c  412s |      24 |  4876951 |  3991462 |      817  12348 |        0 |        0
413.93/414.03	c  414s |      24 |  4898811 |  4009262 |      817  12390 |        0 |        0
415.93/416.04	c  416s |      24 |  4919462 |  4026762 |      817  12432 |        0 |        0
417.93/418.05	c  418s |      24 |  4941287 |  4044762 |      817  12475 |        0 |        0
419.92/420.05	c  420s |      24 |  4962013 |  4062262 |      817  12516 |        0 |        0
421.92/422.06	c  422s |      24 |  4981551 |  4079262 |      817  12557 |        0 |        0
423.92/424.06	c  424s |      24 |  5002306 |  4096762 |      817  12598 |        0 |        0
425.92/426.07	c  426s |      24 |  5023324 |  4114462 |      817  12640 |        0 |        0
427.93/428.08	c  428s |      24 |  5044289 |  4132162 |      817  12682 |        0 |        0
429.92/430.08	c  430s |      24 |  5065377 |  4149962 |      817  12725 |        0 |        0
431.92/432.09	c  432s |      24 |  5087740 |  4168262 |      817  12769 |        0 |        0
433.92/434.09	c  434s |      24 |  5109812 |  4186462 |      817  12812 |        0 |        0
435.92/436.09	c  436s |      24 |  5131143 |  4204162 |      817  12854 |        0 |        0
437.91/438.09	c  438s |      24 |  5153041 |  4222362 |      817  12897 |        0 |        0
439.92/440.10	c  440s |      24 |  5175104 |  4240562 |      817  12940 |        0 |        0
442.01/442.10	c  442s |      24 |  5199061 |  4259662 |      817  12986 |        0 |        0
444.01/444.11	c  444s |      24 |  5221693 |  4278162 |      817  13030 |        0 |        0
446.01/446.12	c  446s |      24 |  5244208 |  4296662 |      817  13074 |        0 |        0
448.01/448.13	c  448s |      24 |  5264973 |  4314362 |      817  13116 |        0 |        0
450.01/450.13	c  450s |      24 |  5285299 |  4331762 |      817  13158 |        0 |        0
452.01/452.14	c  452s |      24 |  5306543 |  4349462 |      817  13200 |        0 |        0
454.01/454.14	c  454s |      24 |  5328043 |  4367362 |      817  13243 |        0 |        0
456.01/456.15	c  456s |      24 |  5350975 |  4385762 |      817  13287 |        0 |        0
458.01/458.16	c  458s |      24 |  5371569 |  4403062 |      817  13328 |        0 |        0
460.01/460.16	c  460s |      24 |  5391213 |  4419962 |      817  13368 |        0 |        0
462.02/462.17	c  462s |      24 |  5411230 |  4437162 |      817  13409 |        0 |        0
464.01/464.17	c  464s |      24 |  5433244 |  4455062 |      817  13452 |        0 |        0
466.01/466.18	c  466s |      24 |  5457053 |  4473662 |      817  13496 |        0 |        0
468.01/468.18	c  468s |      24 |  5479159 |  4491462 |      817  13538 |        0 |        0
470.01/470.19	c  470s |      24 |  5499381 |  4508662 |      817  13579 |        0 |        0
472.11/472.20	c  472s |      24 |  5521557 |  4526562 |      817  13622 |        0 |        0
474.11/474.21	c  474s |      24 |  5542660 |  4544562 |      817  13665 |        0 |        0
476.11/476.22	c  476s |      24 |  5564648 |  4562562 |      817  13708 |        0 |        0
478.10/478.22	c  478s |      24 |  5585710 |  4580262 |      817  13750 |        0 |        0
480.10/480.23	c  480s |      24 |  5605528 |  4597362 |      817  13791 |        0 |        0
482.10/482.23	c  482s |      24 |  5626633 |  4615062 |      817  13833 |        0 |        0
484.10/484.24	c  484s |      24 |  5648204 |  4632962 |      817  13875 |        0 |        0
486.11/486.25	c  486s |      24 |  5671175 |  4651162 |      817  13919 |        0 |        0
488.10/488.26	c  488s |      24 |  5691097 |  4668262 |      817  13960 |        0 |        0
490.09/490.26	c  490s |      24 |  5711237 |  4685762 |      817  14001 |        0 |        0
492.09/492.27	c  492s |      24 |  5731281 |  4703162 |      817  14043 |        0 |        0
494.09/494.27	c  494s |      24 |  5752349 |  4721062 |      817  14085 |        0 |        0
496.10/496.28	c  496s |      24 |  5771375 |  4737862 |      817  14125 |        0 |        0
498.09/498.28	c  498s |      24 |  5791043 |  4754962 |      817  14166 |        0 |        0
500.09/500.29	c  500s |      24 |  5811463 |  4772362 |      817  14208 |        0 |        0
502.19/502.30	c  502s |      24 |  5832683 |  4790162 |      817  14250 |        0 |        0
504.19/504.30	c  504s |      24 |  5853579 |  4807762 |      817  14292 |        0 |        0
506.19/506.30	c  506s |      24 |  5873744 |  4825062 |      817  14334 |        0 |        0
508.19/508.31	c  508s |      24 |  5894391 |  4842762 |      817  14376 |        0 |        0
510.18/510.32	c  510s |      24 |  5913950 |  4859862 |      817  14416 |        0 |        0
512.19/512.33	c  512s |      24 |  5933705 |  4876962 |      817  14457 |        0 |        0
514.19/514.33	c  514s |      24 |  5953617 |  4894162 |      817  14499 |        0 |        0
516.19/516.35	c  516s |      24 |  5973986 |  4911862 |      817  14541 |        0 |        0
518.19/518.35	c  518s |      24 |  5993195 |  4928862 |      817  14582 |        0 |        0
520.19/520.37	c  520s |      24 |  6012730 |  4946062 |      817  14623 |        0 |        0
522.18/522.38	c  522s |      24 |  6032649 |  4963462 |      817  14664 |        0 |        0
524.18/524.38	c  524s |      24 |  6052670 |  4980762 |      817  14706 |        0 |        0
526.18/526.38	c  526s |      24 |  6073202 |  4998462 |      817  14748 |        0 |        0
528.17/528.39	c  528s |      24 |  6092667 |  5015662 |      817  14789 |        0 |        0
530.18/530.39	c  530s |      24 |  6111823 |  5032562 |      899  14829 |        0 |        0
532.17/532.39	c  532s |      24 |  6131671 |  5049662 |      899  14866 |        0 |        0
534.07/534.24	c  534s |      25 |  6149823 |  5065098 |      899  14899 |        0 |        0
536.07/536.25	c  536s |      25 |  6169880 |  5082098 |      899  14936 |        0 |        0
538.08/538.25	c  538s |      25 |  6190335 |  5099198 |      899  14973 |        0 |        0
540.09/540.26	c  540s |      25 |  6210655 |  5116298 |      899  15010 |        0 |        0
542.08/542.27	c  542s |      25 |  6230654 |  5133398 |      899  15048 |        0 |        0
544.08/544.28	c  544s |      25 |  6251001 |  5150898 |      899  15086 |        0 |        0
546.08/546.28	c  546s |      25 |  6271370 |  5167898 |      899  15123 |        0 |        0
548.07/548.28	c  548s |      25 |  6292571 |  5185298 |      899  15160 |        0 |        0
550.07/550.29	c  550s |      25 |  6313340 |  5202798 |      899  15198 |        0 |        0
552.08/552.30	c  552s |      25 |  6335422 |  5220798 |      899  15237 |        0 |        0
554.17/554.30	c  554s |      25 |  6356739 |  5238298 |      899  15276 |        0 |        0
556.17/556.31	c  556s |      25 |  6378014 |  5255898 |      899  15314 |        0 |        0
558.17/558.31	c  558s |      25 |  6398364 |  5273298 |      899  15351 |        0 |        0
560.17/560.32	c  560s |      25 |  6417915 |  5290198 |      899  15388 |        0 |        0
562.17/562.32	c  562s |      25 |  6438734 |  5307598 |      899  15426 |        0 |        0
564.18/564.33	c  564s |      25 |  6460016 |  5325398 |      899  15465 |        0 |        0
566.17/566.34	c  566s |      25 |  6480245 |  5342698 |      899  15502 |        0 |        0
568.16/568.34	c  568s |      25 |  6501125 |  5360098 |      899  15540 |        0 |        0
570.16/570.35	c  570s |      25 |  6522015 |  5377998 |      899  15579 |        0 |        0
572.16/572.35	c  572s |      25 |  6542683 |  5395598 |      899  15617 |        0 |        0
574.17/574.36	c  574s |      25 |  6565216 |  5413998 |      899  15657 |        0 |        0
576.16/576.37	c  576s |      25 |  6586466 |  5431798 |      899  15696 |        0 |        0
578.16/578.37	c  578s |      25 |  6607545 |  5449498 |      899  15735 |        0 |        0
580.16/580.37	c  580s |      25 |  6627721 |  5466798 |      899  15773 |        0 |        0
582.16/582.38	c  582s |      25 |  6648836 |  5484498 |      899  15811 |        0 |        0
584.16/584.38	c  584s |      25 |  6670419 |  5502498 |      899  15851 |        0 |        0
586.16/586.39	c  586s |      25 |  6692167 |  5520398 |      899  15890 |        0 |        0
588.25/588.40	c  588s |      25 |  6714947 |  5538698 |      899  15930 |        0 |        0
590.25/590.41	c  590s |      25 |  6737112 |  5557098 |      899  15970 |        0 |        0
592.25/592.41	c  592s |      25 |  6757266 |  5574498 |      899  16008 |        0 |        0
594.25/594.41	c  594s |      25 |  6775643 |  5590798 |      899  16043 |        0 |        0
596.25/596.41	c  596s |      25 |  6794343 |  5607198 |      899  16078 |        0 |        0
598.25/598.42	c  598s |      25 |  6814374 |  5624198 |      899  16116 |        0 |        0
600.24/600.42	c  600s |      25 |  6834438 |  5641598 |      899  16153 |        0 |        0
602.24/602.43	c  602s |      25 |  6856598 |  5659698 |      899  16193 |        0 |        0
604.24/604.44	c  604s |      25 |  6878930 |  5677798 |      899  16232 |        0 |        0
606.24/606.44	c  606s |      25 |  6900716 |  5695698 |      899  16271 |        0 |        0
608.24/608.44	c  608s |      25 |  6921443 |  5713298 |      899  16310 |        0 |        0
610.24/610.45	c  610s |      25 |  6943095 |  5731098 |      899  16348 |        0 |        0
612.24/612.46	c  612s |      25 |  6965513 |  5748998 |      899  16387 |        0 |        0
614.24/614.46	c  614s |      25 |  6987548 |  5766998 |      899  16427 |        0 |        0
616.24/616.47	c  616s |      25 |  7010410 |  5785398 |      899  16467 |        0 |        0
618.23/618.47	c  618s |      25 |  7031273 |  5803198 |      899  16506 |        0 |        0
620.24/620.48	c  620s |      25 |  7053074 |  5821298 |      899  16545 |        0 |        0
622.23/622.48	c  622s |      25 |  7076913 |  5839898 |      899  16586 |        0 |        0
624.23/624.48	c  624s |      25 |  7099078 |  5858098 |      899  16625 |        0 |        0
626.23/626.48	c  626s |      25 |  7119422 |  5875398 |      899  16663 |        0 |        0
628.22/628.49	c  628s |      25 |  7141098 |  5893398 |      899  16702 |        0 |        0
630.23/630.49	c  630s |      25 |  7164691 |  5911998 |      899  16743 |        0 |        0
632.22/632.50	c  632s |      25 |  7187573 |  5930298 |      899  16783 |        0 |        0
634.32/634.50	c  634s |      25 |  7210181 |  5948498 |      899  16822 |        0 |        0
636.32/636.50	c  636s |      25 |  7231443 |  5966398 |      899  16862 |        0 |        0
638.32/638.51	c  638s |      25 |  7252844 |  5984198 |      899  16901 |        0 |        0
640.33/640.52	c  640s |      25 |  7274674 |  6002298 |      899  16940 |        0 |        0
642.34/642.52	c  642s |      25 |  7296197 |  6020198 |      899  16979 |        0 |        0
644.33/644.53	c  644s |      25 |  7319257 |  6038798 |      899  17020 |        0 |        0
646.33/646.53	c  646s |      25 |  7340798 |  6056998 |      899  17060 |        0 |        0
648.32/648.54	c  648s |      25 |  7363850 |  6075898 |      899  17101 |        0 |        0
650.32/650.54	c  650s |      25 |  7385433 |  6094298 |      899  17141 |        0 |        0
652.32/652.54	c  652s |      25 |  7406279 |  6112298 |      899  17180 |        0 |        0
654.33/654.55	c  654s |      25 |  7427504 |  6130398 |      899  17220 |        0 |        0
656.32/656.55	c  656s |      25 |  7449720 |  6148898 |      899  17260 |        0 |        0
658.32/658.56	c  658s |      25 |  7472709 |  6167798 |      899  17301 |        0 |        0
660.32/660.57	c  660s |      25 |  7494078 |  6185698 |      899  17341 |        0 |        0
662.32/662.57	c  662s |      25 |  7514170 |  6202798 |      899  17378 |        0 |        0
664.32/664.57	c  664s |      25 |  7536488 |  6220998 |      899  17418 |        0 |        0
666.31/666.58	c  666s |      25 |  7558018 |  6238698 |      899  17456 |        0 |        0
668.31/668.58	c  668s |      25 |  7580868 |  6256798 |      899  17496 |        0 |        0
670.31/670.58	c  670s |      25 |  7604336 |  6275298 |      899  17536 |        0 |        0
672.31/672.59	c  672s |      25 |  7626638 |  6293498 |      899  17576 |        0 |        0
674.31/674.59	c  674s |      25 |  7650036 |  6312198 |      899  17617 |        0 |        0
676.31/676.60	c  676s |      25 |  7672920 |  6330898 |      899  17658 |        0 |        0
678.40/678.60	c  678s |      25 |  7694990 |  6349598 |      899  17699 |        0 |        0
680.40/680.61	c  680s |      25 |  7716023 |  6367298 |      899  17738 |        0 |        0
682.40/682.62	c  682s |      25 |  7738843 |  6385798 |      899  17778 |        0 |        0
684.40/684.63	c  684s |      25 |  7760695 |  6404398 |      899  17819 |        0 |        0
686.41/686.64	c  686s |      25 |  7782457 |  6422298 |      899  17858 |        0 |        0
688.41/688.65	c  688s |      25 |  7806353 |  6441198 |      899  17899 |        0 |        0
690.40/690.65	c  690s |      25 |  7829954 |  6460098 |      899  17941 |        0 |        0
692.40/692.66	c  692s |      25 |  7853168 |  6478898 |      899  17982 |        0 |        0
694.40/694.66	c  694s |      25 |  7875278 |  6497098 |      899  18022 |        0 |        0
696.40/696.67	c  696s |      25 |  7899855 |  6515898 |      899  18063 |        0 |        0
698.40/698.68	c  698s |      25 |  7920688 |  6533398 |      899  18100 |        0 |        0
700.39/700.69	c  700s |      25 |  7940256 |  6550498 |      899  18138 |        0 |        0
702.49/702.70	c  702s |      25 |  7964080 |  6569398 |      899  18179 |        0 |        0
704.49/704.71	c  704s |      25 |  7988045 |  6588498 |      899  18221 |        0 |        0
706.49/706.71	c  706s |      25 |  8012212 |  6607298 |      899  18262 |        0 |        0
708.49/708.71	c  708s |      25 |  8035841 |  6626298 |      899  18304 |        0 |        0
710.49/710.72	c  710s |      25 |  8058317 |  6645198 |      899  18345 |        0 |        0
712.48/712.72	c  712s |      25 |  8083023 |  6664098 |      899  18386 |        0 |        0
714.48/714.73	c  714s |      25 |  8107085 |  6683698 |      899  18429 |        0 |        0
716.48/716.73	c  716s |      25 |  8129096 |  6702098 |      899  18469 |        0 |        0
718.48/718.73	c  718s |      25 |  8152477 |  6720898 |      899  18510 |        0 |        0
720.48/720.74	c  720s |      25 |  8175280 |  6739498 |      899  18551 |        0 |        0
722.49/722.75	c  722s |      25 |  8197277 |  6757598 |      899  18591 |        0 |        0
724.48/724.76	c  724s |      25 |  8220179 |  6776198 |      899  18631 |        0 |        0
726.47/726.77	c  726s |      25 |  8243137 |  6794898 |      899  18672 |        0 |        0
728.47/728.77	c  728s |      25 |  8266762 |  6813698 |      899  18713 |        0 |        0
730.47/730.78	c  730s |      25 |  8291241 |  6833098 |      899  18755 |        0 |        0
732.49/732.78	c  732s |      25 |  8316354 |  6852598 |      899  18798 |        0 |        0
734.48/734.79	c  734s |      25 |  8340507 |  6871498 |      899  18839 |        0 |        0
736.47/736.79	c  736s |      25 |  8365814 |  6890898 |      899  18882 |        0 |        0
738.57/738.80	c  738s |      25 |  8389418 |  6909498 |      899  18922 |        0 |        0
740.57/740.81	c  740s |      25 |  8413628 |  6928198 |      899  18963 |        0 |        0
742.57/742.81	c  742s |      25 |  8439272 |  6947998 |      899  19007 |        0 |        0
744.57/744.82	c  744s |      25 |  8464048 |  6967498 |      899  19049 |        0 |        0
746.57/746.83	c  746s |      25 |  8486936 |  6986298 |      899  19090 |        0 |        0
748.57/748.84	c  748s |      25 |  8508534 |  7004198 |      899  19129 |        0 |        0
750.56/750.84	c  750s |      25 |  8529524 |  7021998 |      899  19168 |        0 |        0
752.57/752.84	c  752s |      25 |  8551564 |  7040298 |      899  19208 |        0 |        0
754.57/754.85	c  754s |      25 |  8573892 |  7058698 |      899  19248 |        0 |        0
756.58/756.85	c  756s |      25 |  8596544 |  7077298 |      899  19289 |        0 |        0
758.57/758.86	c  758s |      25 |  8619665 |  7096098 |      899  19330 |        0 |        0
760.57/760.86	c  760s |      25 |  8643364 |  7115098 |      899  19372 |        0 |        0
762.57/762.87	c  762s |      25 |  8666436 |  7133798 |      899  19413 |        0 |        0
764.57/764.87	c  764s |      25 |  8687889 |  7151598 |      899  19452 |        0 |        0
766.57/766.88	c  766s |      25 |  8707555 |  7168398 |      899  19488 |        0 |        0
768.57/768.88	c  768s |      25 |  8727925 |  7185598 |      899  19525 |        0 |        0
770.56/770.89	c  770s |      25 |  8746663 |  7201998 |      899  19561 |        0 |        0
772.66/772.90	c  772s |      25 |  8766170 |  7218798 |      899  19597 |        0 |        0
774.66/774.90	c  774s |      25 |  8785870 |  7235698 |      899  19634 |        0 |        0
776.66/776.91	c  776s |      25 |  8806444 |  7252898 |      899  19671 |        0 |        0
778.66/778.91	c  778s |      25 |  8828120 |  7271198 |      899  19711 |        0 |        0
780.66/780.92	c  780s |      25 |  8848080 |  7288498 |      899  19749 |        0 |        0
782.66/782.92	c  782s |      25 |  8868767 |  7306198 |      899  19787 |        0 |        0
784.65/784.93	c  784s |      25 |  8890593 |  7324398 |      899  19827 |        0 |        0
786.65/786.93	c  786s |      25 |  8913204 |  7342798 |      899  19867 |        0 |        0
788.65/788.94	c  788s |      25 |  8934506 |  7360698 |      899  19906 |        0 |        0
790.66/790.94	c  790s |      25 |  8953311 |  7377498 |      899  19943 |        0 |        0
792.65/792.95	c  792s |      25 |  8974952 |  7395398 |      899  19982 |        0 |        0
794.65/794.96	c  794s |      25 |  8995243 |  7412998 |      899  20020 |        0 |        0
796.64/796.96	c  796s |      25 |  9015271 |  7430398 |      899  20058 |        0 |        0
798.64/798.96	c  798s |      25 |  9035275 |  7447798 |      899  20096 |        0 |        0
800.65/800.97	c  800s |      25 |  9057738 |  7466198 |      899  20136 |        0 |        0
802.64/802.98	c  802s |      25 |  9079178 |  7484198 |      899  20175 |        0 |        0
804.64/804.98	c  804s |      25 |  9100610 |  7502098 |      899  20214 |        0 |        0
806.64/806.98	c  806s |      25 |  9121819 |  7519798 |      899  20253 |        0 |        0
808.64/808.99	c  808s |      25 |  9143877 |  7537698 |      899  20292 |        0 |        0
810.64/810.99	c  810s |      25 |  9166459 |  7555498 |      989  20328 |        0 |        0
812.64/812.99	c  812s |      25 |  9188756 |  7573598 |      989  20364 |        0 |        0
814.74/815.00	c  814s |      25 |  9210479 |  7591598 |      989  20400 |        0 |        0
815.34/815.69	c  815s |      26 |  9218646 |  7597752 |      989  20413 |        0 |        0
817.34/817.69	c  817s |      26 |  9241114 |  7616452 |      989  20449 |        0 |        0
819.44/819.70	c  819s |      26 |  9262219 |  7634352 |      989  20485 |        0 |        0
821.34/821.70	c  821s |      26 |  9283787 |  7652352 |      989  20520 |        0 |        0
823.44/823.71	c  823s |      26 |  9306159 |  7670552 |      989  20556 |        0 |        0
825.44/825.72	c  825s |      26 |  9328464 |  7688852 |      989  20592 |        0 |        0
827.44/827.72	c  827s |      26 |  9350766 |  7707252 |      989  20629 |        0 |        0
829.43/829.73	c  829s |      26 |  9372100 |  7725252 |      989  20664 |        0 |        0
831.44/831.74	c  831s |      26 |  9393398 |  7743352 |      989  20700 |        0 |        0
833.43/833.75	c  833s |      26 |  9416183 |  7761952 |      989  20737 |        0 |        0
835.43/835.76	c  835s |      26 |  9437214 |  7779552 |      989  20772 |        0 |        0
837.43/837.77	c  837s |      26 |  9458341 |  7797252 |      989  20808 |        0 |        0
839.43/839.77	c  839s |      26 |  9481034 |  7815552 |      989  20844 |        0 |        0
841.43/841.77	c  841s |      26 |  9503906 |  7834152 |      989  20881 |        0 |        0
843.43/843.78	c  843s |      26 |  9525370 |  7852152 |      989  20917 |        0 |        0
845.43/845.79	c  845s |      26 |  9547075 |  7870052 |      989  20952 |        0 |        0
847.52/847.80	c  847s |      26 |  9568223 |  7887952 |      989  20987 |        0 |        0
849.52/849.80	c  849s |      26 |  9589078 |  7905652 |      989  21022 |        0 |        0
851.52/851.80	c  851s |      26 |  9610257 |  7923452 |      989  21058 |        0 |        0
853.52/853.81	c  853s |      26 |  9631205 |  7941152 |      989  21093 |        0 |        0
855.53/855.81	c  855s |      26 |  9651010 |  7958252 |      989  21127 |        0 |        0
857.52/857.82	c  857s |      26 |  9673011 |  7976352 |      989  21163 |        0 |        0
859.52/859.83	c  859s |      26 |  9694327 |  7994452 |      989  21199 |        0 |        0
861.52/861.84	c  861s |      26 |  9714367 |  8012052 |      989  21233 |        0 |        0
863.51/863.85	c  863s |      26 |  9735865 |  8030252 |      989  21270 |        0 |        0
865.52/865.86	c  865s |      26 |  9757635 |  8048652 |      989  21306 |        0 |        0
867.51/867.86	c  867s |      26 |  9779766 |  8066952 |      989  21343 |        0 |        0
869.51/869.86	c  869s |      26 |  9801355 |  8084952 |      989  21378 |        0 |        0
871.51/871.86	c  871s |      26 |  9822403 |  8102852 |      989  21414 |        0 |        0
873.51/873.87	c  873s |      26 |  9843798 |  8120752 |      989  21450 |        0 |        0
875.51/875.88	c  875s |      26 |  9864309 |  8138552 |      989  21485 |        0 |        0
877.51/877.89	c  877s |      26 |  9885717 |  8156652 |      989  21521 |        0 |        0
879.50/879.89	c  879s |      26 |  9908358 |  8175352 |      989  21558 |        0 |        0
881.60/881.90	c  881s |      26 |  9930551 |  8193752 |      989  21594 |        0 |        0
883.60/883.90	c  883s |      26 |  9954912 |  8212952 |      989  21632 |        0 |        0
885.60/885.91	c  885s |      26 |  9979259 |  8231952 |      989  21670 |        0 |        0
887.60/887.92	c  887s |      26 | 10002922 |  8250952 |      989  21708 |        0 |        0
889.60/889.93	c  889s |      26 | 10025267 |  8269252 |      989  21744 |        0 |        0
891.60/891.94	c  891s |      26 | 10046252 |  8286852 |      989  21779 |        0 |        0
893.60/893.94	c  893s |      26 | 10067869 |  8304752 |      989  21814 |        0 |        0
895.59/895.95	c  895s |      26 | 10092038 |  8323452 |      989  21851 |        0 |        0
897.60/897.96	c  897s |      26 | 10115875 |  8342152 |      989  21888 |        0 |        0
899.60/899.96	c  899s |      26 | 10137682 |  8360152 |      989  21924 |        0 |        0
901.60/901.96	c  901s |      26 | 10160819 |  8378852 |      989  21961 |        0 |        0
903.60/903.96	c  903s |      26 | 10182553 |  8397052 |      989  21997 |        0 |        0
905.60/905.97	c  905s |      26 | 10204350 |  8415152 |      989  22033 |        0 |        0
907.59/907.98	c  907s |      26 | 10226405 |  8433252 |      989  22069 |        0 |        0
909.59/909.98	c  909s |      26 | 10247730 |  8451052 |      989  22104 |        0 |        0
911.60/911.99	c  911s |      26 | 10268767 |  8468752 |      989  22139 |        0 |        0
913.69/914.00	c  913s |      26 | 10290528 |  8486752 |      989  22175 |        0 |        0
915.69/916.01	c  915s |      26 | 10311268 |  8504552 |      989  22210 |        0 |        0
917.68/918.02	c  918s |      26 | 10331813 |  8522252 |      989  22246 |        0 |        0
919.68/920.02	c  920s |      26 | 10353172 |  8540252 |      989  22281 |        0 |        0
921.68/922.03	c  922s |      26 | 10372896 |  8557452 |      989  22316 |        0 |        0
923.69/924.03	c  924s |      26 | 10394059 |  8575252 |      989  22351 |        0 |        0
925.68/926.04	c  926s |      26 | 10414801 |  8592752 |      989  22386 |        0 |        0
927.68/928.04	c  928s |      26 | 10436408 |  8610552 |      989  22421 |        0 |        0
929.68/930.05	c  930s |      26 | 10458189 |  8628352 |      989  22456 |        0 |        0
931.68/932.06	c  932s |      26 | 10480498 |  8646552 |      989  22492 |        0 |        0
933.69/934.06	c  934s |      26 | 10502042 |  8664552 |      989  22528 |        0 |        0
935.68/936.06	c  936s |      26 | 10523713 |  8682252 |      989  22563 |        0 |        0
937.67/938.08	c  938s |      26 | 10545063 |  8699752 |      989  22598 |        0 |        0
939.67/940.08	c  940s |      26 | 10565847 |  8717152 |      989  22633 |        0 |        0
941.68/942.09	c  942s |      26 | 10587599 |  8734952 |      989  22668 |        0 |        0
943.68/944.09	c  944s |      26 | 10609679 |  8752852 |      989  22703 |        0 |        0
945.68/946.09	c  946s |      26 | 10632286 |  8771052 |      989  22740 |        0 |        0
947.67/948.09	c  948s |      26 | 10654464 |  8789052 |      989  22775 |        0 |        0
949.67/950.10	c  950s |      26 | 10677737 |  8807352 |      989  22812 |        0 |        0
951.77/952.10	c  952s |      26 | 10699942 |  8825452 |      989  22848 |        0 |        0
953.77/954.11	c  954s |      26 | 10724791 |  8844452 |      989  22886 |        0 |        0
955.77/956.11	c  956s |      26 | 10747116 |  8862852 |      989  22922 |        0 |        0
957.77/958.11	c  958s |      26 | 10772014 |  8882052 |      989  22960 |        0 |        0
959.77/960.11	c  960s |      26 | 10796925 |  8901052 |      989  22998 |        0 |        0
961.76/962.11	c  962s |      26 | 10820462 |  8919552 |      989  23035 |        0 |        0
963.76/964.12	c  964s |      26 | 10842737 |  8937752 |      989  23071 |        0 |        0
965.76/966.13	c  966s |      26 | 10864411 |  8955652 |      989  23106 |        0 |        0
967.77/968.13	c  968s |      26 | 10886031 |  8973352 |      989  23142 |        0 |        0
969.76/970.13	c  970s |      26 | 10909780 |  8992252 |      989  23179 |        0 |        0
971.76/972.14	c  972s |      26 | 10933800 |  9011152 |      989  23217 |        0 |        0
973.76/974.15	c  974s |      26 | 10956894 |  9029452 |      989  23253 |        0 |        0
975.76/976.15	c  976s |      26 | 10977056 |  9046652 |      989  23287 |        0 |        0
977.75/978.15	c  978s |      26 | 10997820 |  9063952 |      989  23322 |        0 |        0
979.76/980.16	c  980s |      26 | 11017273 |  9080752 |      989  23355 |        0 |        0
981.75/982.17	c  982s |      26 | 11038568 |  9098252 |      989  23390 |        0 |        0
983.75/984.17	c  984s |      26 | 11059513 |  9115652 |      989  23424 |        0 |        0
985.76/986.18	c  986s |      26 | 11081773 |  9133752 |      989  23460 |        0 |        0
987.85/988.20	c  988s |      26 | 11103260 |  9151452 |      989  23495 |        0 |        0
989.85/990.21	c  990s |      26 | 11125379 |  9169552 |      989  23531 |        0 |        0
991.86/992.21	c  992s |      26 | 11148975 |  9188252 |      989  23568 |        0 |        0
993.85/994.21	c  994s |      26 | 11171952 |  9206652 |      989  23605 |        0 |        0
995.85/996.22	c  996s |      26 | 11194702 |  9224952 |      989  23641 |        0 |        0
997.85/998.22	c  998s |      26 | 11217607 |  9243052 |      989  23677 |        0 |        0
999.85/1000.23	c 1000s |      26 | 11239356 |  9261052 |      989  23713 |        0 |        0
1001.85/1002.23	c 1002s |      26 | 11260930 |  9278852 |      989  23748 |        0 |        0
1003.85/1004.24	c 1004s |      26 | 11282636 |  9296852 |      989  23784 |        0 |        0
1005.85/1006.25	c 1006s |      26 | 11303009 |  9314152 |      989  23819 |        0 |        0
1007.84/1008.25	c 1008s |      26 | 11324091 |  9332052 |      989  23854 |        0 |        0
1009.84/1010.26	c 1010s |      26 | 11346465 |  9350452 |      989  23891 |        0 |        0
1011.84/1012.26	c 1012s |      26 | 11370560 |  9369652 |      989  23929 |        0 |        0
1013.84/1014.26	c 1014s |      26 | 11393680 |  9388052 |      989  23966 |        0 |        0
1015.84/1016.27	c 1016s |      26 | 11417370 |  9407152 |      989  24004 |        0 |        0
1017.83/1018.27	c 1018s |      26 | 11440993 |  9425552 |      989  24040 |        0 |        0
1019.83/1020.28	c 1020s |      26 | 11465948 |  9444852 |      989  24079 |        0 |        0
1021.83/1022.28	c 1022s |      26 | 11488631 |  9463452 |      989  24116 |        0 |        0
1023.84/1024.28	c 1024s |      26 | 11509099 |  9480852 |      989  24150 |        0 |        0
1025.83/1026.29	c 1026s |      26 | 11532132 |  9499152 |      989  24187 |        0 |        0
1027.83/1028.29	c 1028s |      26 | 11555509 |  9517352 |      989  24223 |        0 |        0
1029.93/1030.30	c 1030s |      26 | 11579368 |  9535952 |      989  24260 |        0 |        0
1031.93/1032.31	c 1032s |      26 | 11601015 |  9553852 |      989  24296 |        0 |        0
1033.92/1034.31	c 1034s |      26 | 11621442 |  9571252 |      989  24330 |        0 |        0
1035.93/1036.32	c 1036s |      26 | 11641016 |  9588252 |      989  24364 |        0 |        0
1037.92/1038.32	c 1038s |      26 | 11662582 |  9606052 |      989  24399 |        0 |        0
1039.92/1040.33	c 1040s |      26 | 11686696 |  9624952 |      989  24437 |        0 |        0
1041.92/1042.33	c 1042s |      26 | 11709932 |  9643452 |      989  24474 |        0 |        0
1043.92/1044.34	c 1044s |      26 | 11732748 |  9661852 |      989  24510 |        0 |        0
1045.92/1046.34	c 1046s |      26 | 11755495 |  9680352 |      989  24547 |        0 |        0
1047.92/1048.35	c 1048s |      26 | 11778500 |  9698952 |      989  24584 |        0 |        0
1049.91/1050.35	c 1050s |      26 | 11801502 |  9717052 |      989  24620 |        0 |        0
1051.91/1052.36	c 1052s |      26 | 11824311 |  9735352 |      989  24657 |        0 |        0
1053.91/1054.36	c 1054s |      26 | 11848383 |  9754552 |      989  24695 |        0 |        0
1055.91/1056.37	c 1056s |      26 | 11873016 |  9773752 |      989  24733 |        0 |        0
1057.91/1058.37	c 1058s |      26 | 11896576 |  9792652 |      989  24771 |        0 |        0
1059.91/1060.37	c 1060s |      26 | 11919276 |  9811152 |      989  24808 |        0 |        0
1061.91/1062.38	c 1062s |      26 | 11941552 |  9829552 |      989  24844 |        0 |        0
1063.91/1064.39	c 1064s |      26 | 11963781 |  9847652 |      989  24881 |        0 |        0
1065.91/1066.39	c 1066s |      26 | 11986449 |  9865852 |      989  24917 |        0 |        0
1067.91/1068.39	c 1068s |      26 | 12008085 |  9884052 |      989  24953 |        0 |        0
1069.91/1070.39	c 1070s |      26 | 12029962 |  9902052 |      989  24989 |        0 |        0
1071.90/1072.39	c 1072s |      26 | 12052041 |  9919852 |      989  25024 |        0 |        0
1073.90/1074.39	c 1074s |      26 | 12073573 |  9937352 |      989  25059 |        0 |        0
1076.00/1076.40	c 1076s |      26 | 12096590 |  9955652 |      989  25095 |        0 |        0
1078.00/1078.41	c 1078s |      26 | 12117914 |  9973252 |      989  25130 |        0 |        0
1080.00/1080.42	c 1080s |      26 | 12140825 |  9991952 |      989  25167 |        0 |        0
1082.01/1082.42	c 1082s |      26 | 12163756 | 10010752 |      989  25205 |        0 |        0
1084.00/1084.42	c 1084s |      26 | 12188336 | 10029752 |      989  25243 |        0 |        0
1086.00/1086.42	c 1086s |      26 | 12212497 | 10048852 |      989  25281 |        0 |        0
1088.00/1088.43	c 1088s |      26 | 12237230 | 10067852 |      989  25319 |        0 |        0
1090.00/1090.44	c 1090s |      26 | 12260213 | 10086452 |      989  25356 |        0 |        0
1092.00/1092.45	c 1092s |      26 | 12284114 | 10105252 |      989  25393 |        0 |        0
1094.00/1094.45	c 1094s |      26 | 12308023 | 10124052 |      989  25431 |        0 |        0
1096.00/1096.46	c 1096s |      26 | 12331120 | 10142752 |      989  25468 |        0 |        0
1097.99/1098.46	c 1098s |      26 | 12354952 | 10161452 |      989  25505 |        0 |        0
1099.99/1100.47	c 1100s |      26 | 12380434 | 10181252 |      989  25545 |        0 |        0
1101.99/1102.47	c 1102s |      26 | 12404167 | 10199952 |      989  25582 |        0 |        0
1104.00/1104.48	c 1104s |      26 | 12428256 | 10218752 |      989  25620 |        0 |        0
1105.99/1106.48	c 1106s |      26 | 12449362 | 10236252 |      989  25655 |        0 |        0
1107.99/1108.49	c 1108s |      26 | 12472900 | 10254752 |      989  25691 |        0 |        0
1110.09/1110.50	c 1110s |      26 | 12496691 | 10273352 |      989  25729 |        0 |        0
1112.09/1112.50	c 1112s |      26 | 12522310 | 10292952 |      989  25768 |        0 |        0
1114.09/1114.51	c 1114s |      26 | 12546452 | 10311752 |      989  25805 |        0 |        0
1116.10/1116.51	c 1116s |      26 | 12571162 | 10330452 |      989  25843 |        0 |        0
1118.09/1118.51	c 1118s |      26 | 12595568 | 10349252 |      989  25881 |        0 |        0
1120.09/1120.51	c 1120s |      26 | 12617601 | 10367552 |      989  25917 |        0 |        0
1122.09/1122.52	c 1122s |      26 | 12638791 | 10385652 |      989  25953 |        0 |        0
1124.09/1124.52	c 1124s |      26 | 12661816 | 10404152 |      989  25990 |        0 |        0
1126.09/1126.53	c 1126s |      26 | 12682397 | 10421452 |      989  26024 |        0 |        0
1128.10/1128.54	c 1128s |      26 | 12704958 | 10439452 |      989  26060 |        0 |        0
1130.10/1130.54	c 1130s |      26 | 12726996 | 10457652 |      989  26096 |        0 |        0
1132.09/1132.55	c 1132s |      26 | 12748354 | 10475652 |      989  26132 |        0 |        0
1134.09/1134.55	c 1134s |      26 | 12769603 | 10493352 |      989  26167 |        0 |        0
1136.09/1136.56	c 1136s |      26 | 12789311 | 10510452 |      989  26201 |        0 |        0
1138.10/1138.57	c 1138s |      26 | 12811090 | 10528352 |      989  26237 |        0 |        0
1140.09/1140.57	c 1140s |      26 | 12833650 | 10546452 |      989  26273 |        0 |        0
1142.09/1142.57	c 1142s |      26 | 12856761 | 10564652 |      989  26310 |        0 |        0
1144.09/1144.57	c 1144s |      26 | 12878932 | 10582552 |      989  26345 |        0 |        0
1146.09/1146.58	c 1146s |      26 | 12899084 | 10599652 |      989  26380 |        0 |        0
1148.10/1148.59	c 1148s |      26 | 12922448 | 10617852 |      989  26416 |        0 |        0
1150.09/1150.59	c 1150s |      26 | 12945734 | 10636052 |      989  26452 |        0 |        0
1152.09/1152.60	c 1152s |      26 | 12969171 | 10654152 |      989  26488 |        0 |        0
1154.19/1154.60	c 1154s |      26 | 12991412 | 10672052 |      989  26524 |        0 |        0
1156.18/1156.60	c 1156s |      26 | 13011904 | 10689352 |      989  26559 |        0 |        0
1158.18/1158.60	c 1158s |      26 | 13031024 | 10705952 |      989  26592 |        0 |        0
1160.19/1160.60	c 1160s |      26 | 13052116 | 10723452 |      989  26626 |        0 |        0
1162.18/1162.61	c 1162s |      26 | 13073107 | 10741052 |      989  26662 |        0 |        0
1164.18/1164.61	c 1164s |      26 | 13093225 | 10758252 |      989  26696 |        0 |        0
1166.18/1166.62	c 1166s |      26 | 13113328 | 10775452 |      989  26730 |        0 |        0
1168.18/1168.62	c 1168s |      26 | 13134494 | 10793052 |      989  26765 |        0 |        0
1170.18/1170.63	c 1170s |      26 | 13156154 | 10811052 |      989  26801 |        0 |        0
1172.19/1172.64	c 1172s |      26 | 13176361 | 10828152 |      989  26835 |        0 |        0
1174.18/1174.64	c 1174s |      26 | 13196755 | 10845452 |      989  26870 |        0 |        0
1176.18/1176.65	c 1176s |      26 | 13219066 | 10863652 |      989  26906 |        0 |        0
1178.18/1178.65	c 1178s |      26 | 13241592 | 10881952 |      989  26943 |        0 |        0
1180.18/1180.65	c 1180s |      26 | 13263272 | 10899952 |      989  26979 |        0 |        0
1182.19/1182.66	c 1182s |      26 | 13285412 | 10918052 |      989  27015 |        0 |        0
1184.18/1184.67	c 1184s |      26 | 13309188 | 10936952 |      989  27053 |        0 |        0
1186.18/1186.67	c 1186s |      26 | 13332578 | 10955752 |      989  27091 |        0 |        0
1188.18/1188.67	c 1188s |      26 | 13355884 | 10974652 |      989  27128 |        0 |        0
1190.18/1190.68	c 1190s |      26 | 13378400 | 10992852 |      989  27164 |        0 |        0
1192.19/1192.68	c 1192s |      26 | 13401091 | 11010852 |      989  27199 |        0 |        0
1194.19/1194.68	c 1194s |      26 | 13423250 | 11028452 |      989  27234 |        0 |        0
1196.18/1196.69	c 1196s |      26 | 13445273 | 11045952 |      989  27269 |        0 |        0
1198.18/1198.69	c 1198s |      26 | 13468377 | 11064252 |      989  27305 |        0 |        0
1200.28/1200.70	c 1200s |      26 | 13492521 | 11082552 |      989  27341 |        0 |        0
1202.28/1202.70	c 1202s |      26 | 13516114 | 11100552 |      989  27377 |        0 |        0
1204.28/1204.70	c 1204s |      26 | 13539659 | 11118852 |      989  27413 |        0 |        0
1206.29/1206.71	c 1206s |      26 | 13563038 | 11137252 |      989  27449 |        0 |        0
1208.28/1208.72	c 1208s |      26 | 13586916 | 11155752 |      989  27486 |        0 |        0
1210.28/1210.72	c 1210s |      26 | 13611011 | 11174552 |      989  27523 |        0 |        0
1212.28/1212.73	c 1212s |      26 | 13632543 | 11192352 |      989  27558 |        0 |        0
1214.28/1214.74	c 1214s |      26 | 13655157 | 11210452 |      989  27594 |        0 |        0
1216.29/1216.74	c 1216s |      26 | 13678340 | 11228652 |      989  27630 |        0 |        0
1218.28/1218.74	c 1218s |      26 | 13702207 | 11247252 |      989  27667 |        0 |        0
1220.28/1220.75	c 1220s |      26 | 13727541 | 11266052 |      989  27704 |        0 |        0
1222.28/1222.76	c 1222s |      26 | 13750013 | 11284152 |      989  27740 |        0 |        0
1224.28/1224.76	c 1224s |      26 | 13771944 | 11302152 |      989  27776 |        0 |        0
1226.28/1226.77	c 1226s |      26 | 13792121 | 11319252 |     1088  27809 |        0 |        0
1228.28/1228.78	c 1228s |      26 | 13812603 | 11336252 |     1088  27840 |        0 |        0
1230.28/1230.79	c 1230s |      26 | 13835195 | 11354252 |     1088  27872 |        0 |        0
1232.27/1232.79	c 1232s |      26 | 13859846 | 11373252 |     1088  27906 |        0 |        0
1234.37/1234.80	c 1234s |      26 | 13883752 | 11391752 |     1088  27940 |        0 |        0
1234.88/1235.33	c 1235s |      27 | 13890096 | 11396733 |     1088  27949 |        0 |        0
1236.87/1237.34	c 1237s |      27 | 13910523 | 11413533 |     1088  27979 |        0 |        0
1238.87/1239.35	c 1239s |      27 | 13931851 | 11430933 |     1088  28010 |        0 |        0
1240.87/1241.36	c 1241s |      27 | 13953826 | 11448733 |     1088  28042 |        0 |        0
1242.87/1243.36	c 1243s |      27 | 13977091 | 11466633 |     1088  28074 |        0 |        0
1244.88/1245.36	c 1245s |      27 | 13999606 | 11484433 |     1088  28106 |        0 |        0
1246.87/1247.37	c 1247s |      27 | 14022302 | 11502233 |     1088  28139 |        0 |        0
1248.87/1249.37	c 1249s |      27 | 14045652 | 11520333 |     1088  28171 |        0 |        0
1250.87/1251.38	c 1251s |      27 | 14068551 | 11538533 |     1088  28204 |        0 |        0
1252.87/1253.39	c 1253s |      27 | 14088518 | 11555333 |     1088  28234 |        0 |        0
1254.87/1255.40	c 1255s |      27 | 14105834 | 11570833 |     1088  28262 |        0 |        0
1256.87/1257.40	c 1257s |      27 | 14124600 | 11586733 |     1088  28290 |        0 |        0
1258.98/1259.41	c 1259s |      27 | 14143763 | 11603033 |     1088  28320 |        0 |        0
1260.97/1261.41	c 1261s |      27 | 14163448 | 11619933 |     1088  28350 |        0 |        0
1262.97/1263.42	c 1263s |      27 | 14182608 | 11636433 |     1088  28380 |        0 |        0
1264.97/1265.43	c 1265s |      27 | 14205016 | 11654233 |     1088  28412 |        0 |        0
1266.97/1267.44	c 1267s |      27 | 14226635 | 11671733 |     1088  28443 |        0 |        0
1268.98/1269.44	c 1269s |      27 | 14248223 | 11689133 |     1088  28475 |        0 |        0
1270.97/1271.45	c 1271s |      27 | 14271858 | 11707233 |     1088  28507 |        0 |        0
1272.97/1273.46	c 1273s |      27 | 14294156 | 11725233 |     1088  28540 |        0 |        0
1274.97/1275.46	c 1275s |      27 | 14317518 | 11743233 |     1088  28572 |        0 |        0
1276.97/1277.47	c 1277s |      27 | 14337495 | 11760133 |     1088  28603 |        0 |        0
1278.98/1279.47	c 1279s |      27 | 14358114 | 11777433 |     1088  28634 |        0 |        0
1280.97/1281.48	c 1281s |      27 | 14381823 | 11795833 |     1088  28667 |        0 |        0
1282.97/1283.49	c 1283s |      27 | 14405963 | 11813833 |     1088  28700 |        0 |        0
1285.07/1285.50	c 1285s |      27 | 14427312 | 11831333 |     1088  28731 |        0 |        0
1287.07/1287.50	c 1287s |      27 | 14451103 | 11849633 |     1088  28764 |        0 |        0
1289.07/1289.52	c 1289s |      27 | 14472272 | 11866933 |     1088  28796 |        0 |        0
1291.07/1291.52	c 1291s |      27 | 14492890 | 11883933 |     1088  28826 |        0 |        0
1293.06/1293.52	c 1293s |      27 | 14514904 | 11901133 |     1088  28857 |        0 |        0
1295.06/1295.53	c 1295s |      27 | 14536182 | 11918233 |     1088  28888 |        0 |        0
1297.06/1297.53	c 1297s |      27 | 14557698 | 11935633 |     1088  28920 |        0 |        0
1299.06/1299.53	c 1299s |      27 | 14579456 | 11953233 |     1088  28952 |        0 |        0
1301.06/1301.54	c 1301s |      27 | 14600609 | 11970633 |     1088  28983 |        0 |        0
1303.08/1303.55	c 1303s |      27 | 14622196 | 11988433 |     1088  29015 |        0 |        0
1305.07/1305.56	c 1305s |      27 | 14643503 | 12005933 |     1088  29047 |        0 |        0
1307.07/1307.56	c 1307s |      27 | 14664336 | 12023133 |     1088  29078 |        0 |        0
1309.07/1309.57	c 1309s |      27 | 14686561 | 12040733 |     1088  29110 |        0 |        0
1311.07/1311.57	c 1311s |      27 | 14708148 | 12058333 |     1088  29142 |        0 |        0
1313.07/1313.57	c 1313s |      27 | 14730905 | 12076233 |     1088  29174 |        0 |        0
1315.07/1315.58	c 1315s |      27 | 14754111 | 12094133 |     1088  29206 |        0 |        0
1317.06/1317.58	c 1317s |      27 | 14775353 | 12111433 |     1088  29238 |        0 |        0
1319.06/1319.59	c 1319s |      27 | 14798852 | 12129433 |     1088  29270 |        0 |        0
1321.06/1321.59	c 1321s |      27 | 14821209 | 12147433 |     1088  29303 |        0 |        0
1323.16/1323.60	c 1323s |      27 | 14841364 | 12164333 |     1088  29333 |        0 |        0
1325.07/1325.60	c 1325s |      27 | 14859909 | 12180433 |     1088  29362 |        0 |        0
1327.16/1327.61	c 1327s |      27 | 14880767 | 12197833 |     1088  29394 |        0 |        0
1329.16/1329.62	c 1329s |      27 | 14902609 | 12215433 |     1088  29425 |        0 |        0
1331.16/1331.63	c 1331s |      27 | 14924922 | 12233133 |     1088  29457 |        0 |        0
1333.16/1333.63	c 1333s |      27 | 14946364 | 12250433 |     1088  29488 |        0 |        0
1335.16/1335.64	c 1335s |      27 | 14969319 | 12268133 |     1088  29520 |        0 |        0
1337.16/1337.65	c 1337s |      27 | 14992341 | 12285933 |     1088  29553 |        0 |        0
1339.16/1339.66	c 1339s |      27 | 15014948 | 12304133 |     1088  29586 |        0 |        0
1341.16/1341.67	c 1341s |      27 | 15036407 | 12321333 |     1088  29617 |        0 |        0
1343.16/1343.67	c 1343s |      27 | 15058551 | 12338933 |     1088  29648 |        0 |        0
1345.16/1345.68	c 1345s |      27 | 15081845 | 12357133 |     1088  29681 |        0 |        0
1347.16/1347.68	c 1347s |      27 | 15102954 | 12374333 |     1088  29712 |        0 |        0
1349.15/1349.69	c 1349s |      27 | 15122437 | 12390933 |     1088  29742 |        0 |        0
1351.15/1351.69	c 1351s |      27 | 15143778 | 12408433 |     1088  29774 |        0 |        0
1353.15/1353.69	c 1353s |      27 | 15165395 | 12425933 |     1088  29806 |        0 |        0
1355.26/1355.70	c 1355s |      27 | 15188708 | 12444033 |     1088  29839 |        0 |        0
1357.26/1357.71	c 1357s |      27 | 15211610 | 12461933 |     1088  29871 |        0 |        0
1359.27/1359.71	c 1359s |      27 | 15233996 | 12479533 |     1088  29903 |        0 |        0
1361.26/1361.72	c 1361s |      27 | 15255184 | 12496733 |     1088  29934 |        0 |        0
1363.26/1363.73	c 1363s |      27 | 15275806 | 12514233 |     1088  29966 |        0 |        0
1365.26/1365.73	c 1365s |      27 | 15297370 | 12531933 |     1088  29998 |        0 |        0
1367.26/1367.74	c 1367s |      27 | 15319951 | 12550033 |     1088  30030 |        0 |        0
1369.26/1369.74	c 1369s |      27 | 15343908 | 12568533 |     1088  30064 |        0 |        0
1371.26/1371.74	c 1371s |      27 | 15366465 | 12586433 |     1088  30096 |        0 |        0
1373.26/1373.75	c 1373s |      27 | 15388664 | 12604033 |     1088  30128 |        0 |        0
1375.25/1375.75	c 1375s |      27 | 15412169 | 12622433 |     1088  30161 |        0 |        0
1377.25/1377.75	c 1377s |      27 | 15436079 | 12641033 |     1088  30195 |        0 |        0
1379.25/1379.76	c 1379s |      27 | 15459737 | 12659633 |     1088  30229 |        0 |        0
1381.26/1381.76	c 1381s |      27 | 15484091 | 12678233 |     1088  30263 |        0 |        0
1383.25/1383.77	c 1383s |      27 | 15508369 | 12697433 |     1088  30297 |        0 |        0
1385.25/1385.77	c 1385s |      27 | 15531546 | 12715633 |     1088  30330 |        0 |        0
1387.25/1387.78	c 1387s |      27 | 15554031 | 12733933 |     1088  30364 |        0 |        0
1389.25/1389.79	c 1389s |      27 | 15572775 | 12750233 |     1088  30393 |        0 |        0
1391.35/1391.80	c 1391s |      27 | 15592285 | 12766833 |     1088  30423 |        0 |        0
1393.26/1393.80	c 1393s |      27 | 15612062 | 12783633 |     1088  30453 |        0 |        0
1395.35/1395.80	c 1395s |      27 | 15633306 | 12801033 |     1088  30485 |        0 |        0
1397.35/1397.81	c 1397s |      27 | 15655874 | 12818833 |     1088  30517 |        0 |        0
1399.35/1399.82	c 1399s |      27 | 15678059 | 12836133 |     1088  30548 |        0 |        0
1401.35/1401.82	c 1401s |      27 | 15700888 | 12853733 |     1088  30580 |        0 |        0
1403.35/1403.83	c 1403s |      27 | 15723397 | 12871533 |     1088  30612 |        0 |        0
1405.36/1405.83	c 1405s |      27 | 15744882 | 12889033 |     1088  30644 |        0 |        0
1407.35/1407.83	c 1407s |      27 | 15767745 | 12907133 |     1088  30677 |        0 |        0
1409.35/1409.84	c 1409s |      27 | 15792302 | 12925633 |     1088  30711 |        0 |        0
1411.35/1411.84	c 1411s |      27 | 15813967 | 12943133 |     1088  30742 |        0 |        0
1413.35/1413.85	c 1413s |      27 | 15836462 | 12960833 |     1088  30774 |        0 |        0
1415.36/1415.86	c 1415s |      27 | 15859878 | 12978933 |     1088  30807 |        0 |        0
1417.35/1417.86	c 1417s |      27 | 15884290 | 12997533 |     1088  30841 |        0 |        0
1419.35/1419.87	c 1419s |      27 | 15906641 | 13015333 |     1088  30873 |        0 |        0
1421.35/1421.88	c 1421s |      27 | 15928984 | 13032833 |     1088  30905 |        0 |        0
1423.35/1423.88	c 1423s |      27 | 15951550 | 13050633 |     1088  30937 |        0 |        0
1425.35/1425.89	c 1425s |      27 | 15973316 | 13068133 |     1088  30968 |        0 |        0
1427.35/1427.89	c 1427s |      27 | 15996562 | 13086333 |     1088  31002 |        0 |        0
1429.34/1429.89	c 1429s |      27 | 16021508 | 13105033 |     1088  31035 |        0 |        0
1431.34/1431.89	c 1431s |      27 | 16044859 | 13123033 |     1088  31068 |        0 |        0
1433.44/1433.90	c 1433s |      27 | 16068608 | 13141333 |     1088  31101 |        0 |        0
1435.44/1435.91	c 1435s |      27 | 16091475 | 13159233 |     1088  31133 |        0 |        0
1437.44/1437.92	c 1437s |      27 | 16111880 | 13175933 |     1088  31164 |        0 |        0
1439.45/1439.92	c 1439s |      27 | 16134608 | 13193833 |     1088  31196 |        0 |        0
1441.44/1441.92	c 1441s |      27 | 16157248 | 13211933 |     1088  31229 |        0 |        0
1443.44/1443.93	c 1443s |      27 | 16178262 | 13229233 |     1088  31260 |        0 |        0
1445.44/1445.93	c 1445s |      27 | 16196330 | 13245233 |     1088  31288 |        0 |        0
1447.44/1447.93	c 1447s |      27 | 16215092 | 13261433 |     1088  31318 |        0 |        0
1449.45/1449.94	c 1449s |      27 | 16234652 | 13278333 |     1088  31348 |        0 |        0
1451.44/1451.94	c 1451s |      27 | 16255453 | 13295833 |     1088  31380 |        0 |        0
1453.44/1453.95	c 1453s |      27 | 16277720 | 13313333 |     1088  31412 |        0 |        0
1455.44/1455.95	c 1455s |      27 | 16301108 | 13331633 |     1088  31445 |        0 |        0
1457.44/1457.96	c 1457s |      27 | 16324787 | 13349533 |     1088  31478 |        0 |        0
1459.44/1459.97	c 1459s |      27 | 16347817 | 13367733 |     1088  31511 |        0 |        0
1461.44/1461.97	c 1461s |      27 | 16372233 | 13386233 |     1088  31544 |        0 |        0
1463.44/1463.97	c 1463s |      27 | 16395406 | 13404233 |     1088  31577 |        0 |        0
1465.44/1465.98	c 1465s |      27 | 16418923 | 13422333 |     1088  31610 |        0 |        0
1467.44/1467.99	c 1467s |      27 | 16441607 | 13439933 |     1088  31642 |        0 |        0
1469.44/1469.99	c 1469s |      27 | 16465378 | 13458233 |     1088  31675 |        0 |        0
1471.54/1472.00	c 1471s |      27 | 16488730 | 13476333 |     1088  31708 |        0 |        0
1473.55/1474.01	c 1473s |      27 | 16512434 | 13494133 |     1088  31740 |        0 |        0
1475.54/1476.02	c 1476s |      27 | 16534320 | 13511633 |     1088  31772 |        0 |        0
1477.54/1478.03	c 1478s |      27 | 16557299 | 13529433 |     1088  31804 |        0 |        0
1479.54/1480.03	c 1480s |      27 | 16579982 | 13546833 |     1088  31836 |        0 |        0
1481.54/1482.03	c 1482s |      27 | 16603397 | 13564633 |     1088  31868 |        0 |        0
1483.55/1484.04	c 1484s |      27 | 16624788 | 13581833 |     1088  31899 |        0 |        0
1485.54/1486.05	c 1486s |      27 | 16646264 | 13599033 |     1088  31930 |        0 |        0
1487.54/1488.05	c 1488s |      27 | 16668661 | 13616733 |     1088  31963 |        0 |        0
1489.54/1490.06	c 1490s |      27 | 16691492 | 13634633 |     1088  31995 |        0 |        0
1491.54/1492.07	c 1492s |      27 | 16713360 | 13651833 |     1088  32026 |        0 |        0
1493.53/1494.08	c 1494s |      27 | 16736979 | 13670033 |     1088  32059 |        0 |        0
1495.54/1496.09	c 1496s |      27 | 16757856 | 13686933 |     1088  32090 |        0 |        0
1497.53/1498.09	c 1498s |      27 | 16778799 | 13704233 |     1088  32121 |        0 |        0
1499.63/1500.10	c 1500s |      27 | 16802172 | 13722533 |     1088  32154 |        0 |        0
1501.63/1502.11	c 1502s |      27 | 16825528 | 13741033 |     1088  32188 |        0 |        0
1503.63/1504.11	c 1504s |      27 | 16846043 | 13758233 |     1088  32219 |        0 |        0
1505.63/1506.11	c 1506s |      27 | 16868356 | 13776433 |     1088  32252 |        0 |        0
1507.64/1508.12	c 1508s |      27 | 16891538 | 13794833 |     1088  32285 |        0 |        0
1509.63/1510.12	c 1510s |      27 | 16914904 | 13813233 |     1088  32318 |        0 |        0
1511.63/1512.13	c 1512s |      27 | 16938574 | 13831533 |     1088  32352 |        0 |        0
1513.64/1514.13	c 1514s |      27 | 16961478 | 13849833 |     1088  32385 |        0 |        0
1515.64/1516.14	c 1516s |      27 | 16984385 | 13868133 |     1088  32418 |        0 |        0
1517.64/1518.14	c 1518s |      27 | 17007631 | 13886133 |     1088  32451 |        0 |        0
1519.64/1520.15	c 1520s |      27 | 17030074 | 13904033 |     1088  32483 |        0 |        0
1521.64/1522.16	c 1522s |      27 | 17051940 | 13921633 |     1088  32515 |        0 |        0
1523.64/1524.16	c 1524s |      27 | 17075132 | 13939433 |     1088  32547 |        0 |        0
1525.64/1526.17	c 1526s |      27 | 17098779 | 13957533 |     1088  32580 |        0 |        0
1527.63/1528.18	c 1528s |      27 | 17122935 | 13975733 |     1088  32613 |        0 |        0
1529.64/1530.18	c 1530s |      27 | 17146597 | 13993933 |     1088  32646 |        0 |        0
1531.63/1532.18	c 1532s |      27 | 17167810 | 14011433 |     1088  32678 |        0 |        0
1533.63/1534.19	c 1534s |      27 | 17191954 | 14029733 |     1088  32711 |        0 |        0
1535.63/1536.19	c 1536s |      27 | 17216376 | 14048433 |     1088  32745 |        0 |        0
1537.73/1538.20	c 1538s |      27 | 17239692 | 14066633 |     1088  32778 |        0 |        0
1539.73/1540.21	c 1540s |      27 | 17263056 | 14084833 |     1088  32811 |        0 |        0
1541.74/1542.22	c 1542s |      27 | 17286272 | 14102733 |     1088  32844 |        0 |        0
1543.73/1544.23	c 1544s |      27 | 17309996 | 14121033 |     1088  32877 |        0 |        0
1545.73/1546.23	c 1546s |      27 | 17333378 | 14139033 |     1088  32909 |        0 |        0
1547.73/1548.25	c 1548s |      27 | 17356376 | 14157233 |     1088  32943 |        0 |        0
1549.73/1550.25	c 1550s |      27 | 17379946 | 14175533 |     1088  32976 |        0 |        0
1551.74/1552.26	c 1552s |      27 | 17400720 | 14192733 |     1088  33007 |        0 |        0
1553.73/1554.26	c 1554s |      27 | 17424230 | 14210933 |     1088  33040 |        0 |        0
1555.73/1556.27	c 1556s |      27 | 17446901 | 14229133 |     1088  33073 |        0 |        0
1557.73/1558.28	c 1558s |      27 | 17470568 | 14247633 |     1088  33107 |        0 |        0
1559.73/1560.28	c 1560s |      27 | 17492947 | 14265733 |     1088  33139 |        0 |        0
1561.73/1562.29	c 1562s |      27 | 17516255 | 14284033 |     1088  33173 |        0 |        0
1563.73/1564.29	c 1564s |      27 | 17537926 | 14301933 |     1088  33205 |        0 |        0
1565.83/1566.30	c 1566s |      27 | 17558461 | 14319233 |     1088  33236 |        0 |        0
1567.83/1568.31	c 1568s |      27 | 17579142 | 14336233 |     1088  33267 |        0 |        0
1569.83/1570.31	c 1570s |      27 | 17603378 | 14354533 |     1088  33300 |        0 |        0
1571.83/1572.32	c 1572s |      27 | 17626262 | 14372833 |     1088  33334 |        0 |        0
1573.82/1574.33	c 1574s |      27 | 17650669 | 14391633 |     1088  33368 |        0 |        0
1575.83/1576.34	c 1576s |      27 | 17671922 | 14408933 |     1088  33399 |        0 |        0
1577.82/1578.34	c 1578s |      27 | 17693661 | 14426733 |     1088  33432 |        0 |        0
1579.82/1580.35	c 1580s |      27 | 17716499 | 14444933 |     1088  33465 |        0 |        0
1581.82/1582.35	c 1582s |      27 | 17739079 | 14463033 |     1088  33498 |        0 |        0
1583.82/1584.36	c 1584s |      27 | 17759485 | 14480133 |     1088  33528 |        0 |        0
1585.83/1586.37	c 1586s |      27 | 17779908 | 14497033 |     1088  33559 |        0 |        0
1587.82/1588.37	c 1588s |      27 | 17800772 | 14514033 |     1088  33589 |        0 |        0
1589.82/1590.38	c 1590s |      27 | 17820753 | 14530833 |     1088  33620 |        0 |        0
1591.82/1592.39	c 1592s |      27 | 17840494 | 14547433 |     1088  33650 |        0 |        0
1593.92/1594.40	c 1594s |      27 | 17863812 | 14565433 |     1088  33682 |        0 |        0
1595.92/1596.40	c 1596s |      27 | 17886575 | 14582933 |     1088  33714 |        0 |        0
1597.83/1598.40	c 1598s |      27 | 17909609 | 14600733 |     1088  33746 |        0 |        0
1599.92/1600.41	c 1600s |      27 | 17931854 | 14618433 |     1088  33778 |        0 |        0
1601.92/1602.41	c 1602s |      27 | 17952050 | 14635333 |     1088  33808 |        0 |        0
1603.92/1604.42	c 1604s |      27 | 17971019 | 14651733 |     1088  33838 |        0 |        0
1605.92/1606.42	c 1606s |      27 | 17991925 | 14668833 |     1088  33869 |        0 |        0
1607.92/1608.43	c 1608s |      27 | 18011947 | 14685633 |     1088  33899 |        0 |        0
1609.92/1610.43	c 1610s |      27 | 18030599 | 14701633 |     1088  33928 |        0 |        0
1611.92/1612.44	c 1612s |      27 | 18048532 | 14717333 |     1088  33956 |        0 |        0
1613.91/1614.45	c 1614s |      27 | 18064889 | 14731833 |     1088  33982 |        0 |        0
1615.91/1616.46	c 1616s |      27 | 18081049 | 14746433 |     1088  34008 |        0 |        0
1617.91/1618.47	c 1618s |      27 | 18097963 | 14761433 |     1088  34035 |        0 |        0
1619.93/1620.47	c 1620s |      27 | 18115198 | 14776733 |     1088  34063 |        0 |        0
1621.92/1622.48	c 1622s |      27 | 18133742 | 14792933 |     1088  34092 |        0 |        0
1623.92/1624.49	c 1624s |      27 | 18151840 | 14808733 |     1088  34121 |        0 |        0
1625.92/1626.49	c 1626s |      27 | 18171614 | 14824833 |     1088  34150 |        0 |        0
1628.02/1628.50	c 1628s |      27 | 18192662 | 14841833 |     1088  34181 |        0 |        0
1630.02/1630.52	c 1630s |      27 | 18213468 | 14858933 |     1088  34212 |        0 |        0
1632.02/1632.52	c 1632s |      27 | 18234987 | 14876133 |     1088  34243 |        0 |        0
1634.02/1634.52	c 1634s |      27 | 18256611 | 14893433 |     1088  34274 |        0 |        0
1636.02/1636.52	c 1636s |      27 | 18278037 | 14910833 |     1088  34305 |        0 |        0
1638.02/1638.53	c 1638s |      27 | 18302036 | 14929033 |     1088  34338 |        0 |        0
1640.02/1640.54	c 1640s |      27 | 18324863 | 14946633 |     1088  34370 |        0 |        0
1642.01/1642.54	c 1642s |      27 | 18346730 | 14964033 |     1088  34402 |        0 |        0
1644.02/1644.55	c 1644s |      27 | 18368261 | 14981133 |     1088  34433 |        0 |        0
1646.01/1646.56	c 1646s |      27 | 18391558 | 14998933 |     1088  34465 |        0 |        0
1648.01/1648.56	c 1648s |      27 | 18414837 | 15016833 |     1088  34497 |        0 |        0
1650.01/1650.57	c 1650s |      27 | 18437720 | 15034833 |     1088  34530 |        0 |        0
1652.01/1652.58	c 1652s |      27 | 18459422 | 15052333 |     1088  34561 |        0 |        0
1654.02/1654.59	c 1654s |      27 | 18481589 | 15070233 |     1088  34594 |        0 |        0
1656.01/1656.60	c 1656s |      27 | 18504578 | 15088233 |     1088  34627 |        0 |        0
1658.11/1658.60	c 1658s |      27 | 18526510 | 15105833 |     1088  34658 |        0 |        0
1660.11/1660.61	c 1660s |      27 | 18546852 | 15122833 |     1088  34689 |        0 |        0
1662.11/1662.61	c 1662s |      27 | 18568701 | 15140633 |     1088  34721 |        0 |        0
1664.11/1664.62	c 1664s |      27 | 18588746 | 15157433 |     1088  34752 |        0 |        0
1666.11/1666.62	c 1666s |      27 | 18610102 | 15174633 |     1088  34783 |        0 |        0
1668.11/1668.63	c 1668s |      27 | 18631602 | 15191733 |     1088  34814 |        0 |        0
1670.11/1670.64	c 1670s |      27 | 18655875 | 15210033 |     1088  34847 |        0 |        0
1672.11/1672.65	c 1672s |      27 | 18677475 | 15227733 |     1088  34879 |        0 |        0
1674.10/1674.66	c 1674s |      27 | 18698826 | 15245033 |     1088  34910 |        0 |        0
1676.10/1676.66	c 1676s |      27 | 18721944 | 15263033 |     1088  34942 |        0 |        0
1678.11/1678.66	c 1678s |      27 | 18745662 | 15281233 |     1088  34975 |        0 |        0
1680.10/1680.67	c 1680s |      27 | 18769396 | 15299533 |     1088  35008 |        0 |        0
1682.10/1682.68	c 1682s |      27 | 18791771 | 15317433 |     1088  35041 |        0 |        0
1684.10/1684.68	c 1684s |      27 | 18815005 | 15335433 |     1088  35073 |        0 |        0
1686.11/1686.68	c 1686s |      27 | 18837488 | 15353033 |     1088  35105 |        0 |        0
1688.12/1688.69	c 1688s |      27 | 18859535 | 15370533 |     1088  35137 |        0 |        0
1690.11/1690.69	c 1690s |      27 | 18880857 | 15387733 |     1088  35168 |        0 |        0
1692.21/1692.70	c 1692s |      27 | 18903409 | 15405533 |     1088  35200 |        0 |        0
1694.21/1694.70	c 1694s |      27 | 18923248 | 15422133 |     1088  35230 |        0 |        0
1696.21/1696.70	c 1696s |      27 | 18945525 | 15439833 |     1088  35262 |        0 |        0
1698.20/1698.71	c 1698s |      27 | 18969853 | 15458633 |     1088  35296 |        0 |        0
1700.21/1700.72	c 1700s |      27 | 18992341 | 15476733 |     1088  35329 |        0 |        0
1702.20/1702.72	c 1702s |      27 | 19014971 | 15494833 |     1088  35361 |        0 |        0
1704.20/1704.72	c 1704s |      27 | 19038289 | 15513033 |     1088  35394 |        0 |        0
1706.20/1706.73	c 1706s |      27 | 19060383 | 15530933 |     1088  35427 |        0 |        0
1708.20/1708.74	c 1708s |      27 | 19082204 | 15548233 |     1088  35458 |        0 |        0
1710.20/1710.74	c 1710s |      27 | 19099835 | 15563933 |     1088  35486 |        0 |        0
1712.21/1712.75	c 1712s |      27 | 19118883 | 15580433 |     1088  35516 |        0 |        0
1714.20/1714.75	c 1714s |      27 | 19137872 | 15596933 |     1088  35546 |        0 |        0
1716.20/1716.76	c 1716s |      27 | 19158374 | 15614433 |     1088  35578 |        0 |        0
1718.20/1718.76	c 1718s |      27 | 19180579 | 15632633 |     1088  35611 |        0 |        0
1720.20/1720.77	c 1720s |      27 | 19202969 | 15650633 |     1088  35643 |        0 |        0
1722.21/1722.77	c 1722s |      27 | 19224489 | 15668633 |     1088  35676 |        0 |        0
1724.20/1724.78	c 1724s |      27 | 19245713 | 15686533 |     1088  35708 |        0 |        0
1726.20/1726.79	c 1726s |      27 | 19268460 | 15704733 |     1088  35741 |        0 |        0
1728.20/1728.79	c 1728s |      27 | 19290895 | 15722633 |     1088  35774 |        0 |        0
1730.20/1730.79	c 1730s |      27 | 19312872 | 15740633 |     1088  35806 |        0 |        0
1732.30/1732.80	c 1732s |      27 | 19335181 | 15758533 |     1088  35839 |        0 |        0
1734.30/1734.81	c 1734s |      27 | 19356946 | 15775833 |     1088  35870 |        0 |        0
1736.30/1736.81	c 1736s |      27 | 19377358 | 15792733 |     1088  35900 |        0 |        0
1738.30/1738.81	c 1738s |      27 | 19400761 | 15811033 |     1088  35933 |        0 |        0
1740.30/1740.82	c 1740s |      27 | 19423247 | 15828833 |     1088  35966 |        0 |        0
1742.30/1742.83	c 1742s |      27 | 19445144 | 15846433 |     1088  35998 |        0 |        0
1744.29/1744.84	c 1744s |      27 | 19464117 | 15862533 |     1088  36027 |        0 |        0
1746.30/1746.84	c 1746s |      27 | 19486748 | 15880533 |     1088  36059 |        0 |        0
1748.29/1748.84	c 1748s |      27 | 19508983 | 15898033 |     1088  36091 |        0 |        0
1750.29/1750.85	c 1750s |      27 | 19532022 | 15916033 |     1088  36124 |        0 |        0
1752.30/1752.86	c 1752s |      27 | 19554187 | 15933933 |     1088  36156 |        0 |        0
1754.30/1754.87	c 1754s |      27 | 19577005 | 15951833 |     1088  36188 |        0 |        0
1756.31/1756.87	c 1756s |      27 | 19599734 | 15970033 |     1088  36221 |        0 |        0
1758.30/1758.88	c 1758s |      27 | 19622955 | 15988233 |     1088  36254 |        0 |        0
1760.30/1760.88	c 1760s |      27 | 19646048 | 16006133 |     1088  36287 |        0 |        0
1762.30/1762.89	c 1762s |      27 | 19665995 | 16022933 |     1088  36317 |        0 |        0
1764.40/1764.90	c 1764s |      27 | 19686855 | 16040233 |     1088  36349 |        0 |        0
1766.40/1766.91	c 1766s |      27 | 19708034 | 16057733 |     1088  36380 |        0 |        0
1768.40/1768.91	c 1768s |      27 | 19730085 | 16075433 |     1088  36412 |        0 |        0
1770.40/1770.93	c 1770s |      27 | 19753787 | 16094133 |     1088  36446 |        0 |        0
1772.40/1772.93	c 1772s |      27 | 19778314 | 16112933 |     1088  36480 |        0 |        0
1774.40/1774.94	c 1774s |      27 | 19802093 | 16131533 |     1088  36514 |        0 |        0
1776.40/1776.94	c 1776s |      27 | 19824377 | 16149233 |     1088  36546 |        0 |        0
1778.39/1778.95	c 1778s |      27 | 19847426 | 16167533 |     1088  36579 |        0 |        0
1780.40/1780.95	c 1780s |      27 | 19870631 | 16185933 |     1088  36613 |        0 |        0
1782.39/1782.96	c 1782s |      27 | 19893102 | 16203933 |     1088  36645 |        0 |        0
1784.39/1784.96	c 1784s |      27 | 19914603 | 16221333 |     1088  36677 |        0 |        0
1786.39/1786.97	c 1786s |      27 | 19932696 | 16236833 |     1088  36704 |        0 |        0
1788.39/1788.98	c 1788s |      27 | 19950705 | 16252133 |     1088  36732 |        0 |        0
1790.40/1790.99	c 1790s |      27 | 19968804 | 16267833 |     1088  36760 |        0 |        0
1792.39/1793.00	c 1792s |      27 | 19986320 | 16283333 |     1088  36788 |        0 |        0
1794.49/1795.01	c 1794s |      27 | 20006389 | 16299833 |     1088  36818 |        0 |        0
1796.49/1797.02	c 1797s |      27 | 20025251 | 16316133 |     1088  36848 |        0 |        0
1798.49/1799.02	c 1799s |      27 | 20042974 | 16331633 |     1088  36876 |        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-4089729-1466032619/watcher-4089729-1466032619 -o /tmp/evaluation-result-4089729-1466032619/solver-4089729-1466032619 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089729-1466032619.opb 

pid=8607
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.27 2.26 2.19 3/179 8610
/proc/meminfo: memFree=29446348/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=687548 CPUtime=0 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 2559 0 0 0 0 0 0 0 20 0 4 0 5308385 704049152 2919 33554432000 4194304 16246674 140737406769840 140737406769264 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 172399 2927 441 2943 0 169293 0
[pid=8610/tid=8611] ppid=8607 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 721874944 2987 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=710076 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 727117824 3004 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5308386 731312128 3020 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.27 2.26 2.19 3/179 8610
/proc/meminfo: memFree=29446348/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 24435 0 0 0 6 3 0 0 20 0 4 0 5308385 1247350784 24784 33554432000 4194304 16246674 140737406769840 140737406769264 5662594 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 304529 24796 716 2943 0 301423 0
[pid=8610/tid=8611] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 24801 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 24807 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 24813 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200499 s]
/proc/loadavg: 2.27 2.26 2.19 3/179 8610
/proc/meminfo: memFree=29446348/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 46255 0 0 0 13 5 0 0 20 0 4 0 5308385 1247350784 46604 33554432000 4194304 16246674 140737406769840 140737406769264 13194067 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 304529 46615 716 2943 0 301423 0
[pid=8610/tid=8611] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 46621 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 46629 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 46639 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300483 s]
/proc/loadavg: 2.27 2.26 2.19 3/179 8610
/proc/meminfo: memFree=29446348/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 68056 0 0 0 21 8 0 0 20 0 4 0 5308385 1247350784 68405 33554432000 4194304 16246674 140737406769840 140737406769264 5723366 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 304529 68416 717 2943 0 301423 0
[pid=8610/tid=8611] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 68421 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 68427 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 68432 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700394 s]
/proc/loadavg: 2.27 2.26 2.19 3/179 8610
/proc/meminfo: memFree=29446348/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 156735 0 0 0 48 21 0 0 20 0 4 0 5308385 1247350784 157084 33554432000 4194304 16246674 140737406769840 140737406769264 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 304529 157094 717 2943 0 301423 0
[pid=8610/tid=8611] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 157101 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 157109 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 157116 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.27 2.26 2.19 3/183 8614
/proc/meminfo: memFree=28464768/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 245495 0 0 0 115 34 0 0 20 0 4 0 5308385 1247350784 245824 33554432000 4194304 16246674 140737406769840 140737406769152 13927331 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 304529 245824 792 2943 0 301423 0
[pid=8610/tid=8611] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 245824 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 245824 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1247350784 245824 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 8614
/proc/meminfo: memFree=28376480/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 267395 0 0 0 272 37 0 0 20 0 4 0 5308385 1337528320 267724 33554432000 4194304 16246674 140737406769840 140737406751744 13818403 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326545 267724 794 2943 0 323439 0
[pid=8610/tid=8611] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267724 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267724 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267724 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.25 2.25 2.19 4/183 8614
/proc/meminfo: memFree=28375428/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 267434 0 0 0 592 37 0 0 20 0 4 0 5308385 1337528320 267763 33554432000 4194304 16246674 140737406769840 140737406751744 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326545 267763 794 2943 0 323439 0
[pid=8610/tid=8611] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267763 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267763 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267763 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.21 2.25 2.19 3/183 8614
/proc/meminfo: memFree=28375412/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 267453 0 0 0 1232 37 0 0 20 0 4 0 5308385 1337528320 267782 33554432000 4194304 16246674 140737406769840 140737406752840 5822144 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326545 267782 794 2943 0 323439 0
[pid=8610/tid=8611] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267782 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267782 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267782 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 8614
/proc/meminfo: memFree=28375704/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 267454 0 0 0 2512 37 0 0 20 0 4 0 5308385 1337528320 267783 33554432000 4194304 16246674 140737406769840 140737406751744 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326545 267783 794 2943 0 323439 0
[pid=8610/tid=8611] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267783 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267783 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267783 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.38 2.28 2.20 3/183 8614
/proc/meminfo: memFree=28375416/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 267458 0 0 0 5070 38 0 0 20 0 4 0 5308385 1337528320 267787 33554432000 4194304 16246674 140737406769840 140737406751744 13193344 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326545 267787 794 2943 0 323439 0
[pid=8610/tid=8611] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267787 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267787 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267787 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.32 2.28 2.20 3/183 8615
/proc/meminfo: memFree=28375496/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 267493 0 0 0 10189 39 0 0 20 0 4 0 5308385 1337528320 267822 33554432000 4194304 16246674 140737406769840 140737406752840 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326545 267822 794 2943 0 323439 0
[pid=8610/tid=8611] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267822 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267822 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1337528320 267822 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268099 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.30 2.29 2.25 4/183 8695
/proc/meminfo: memFree=28376800/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1307204 CPUtime=1301.86 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 268249 0 0 0 130126 60 0 0 20 0 4 0 5308385 1338576896 268166 33554432000 4194304 16246674 140737406769840 140737406751744 5545907 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326801 268166 796 2943 0 323695 0
[pid=8610/tid=8611] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.35 2.31 2.26 3/183 8696
/proc/meminfo: memFree=28376684/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1307204 CPUtime=1361.86 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 268249 0 0 0 136124 62 0 0 20 0 4 0 5308385 1338576896 268166 33554432000 4194304 16246674 140737406769840 140737406752840 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326801 268166 796 2943 0 323695 0
[pid=8610/tid=8611] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.30 2.29 2.25 3/184 8700
/proc/meminfo: memFree=28376896/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1307204 CPUtime=1421.85 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 268249 0 0 0 142122 63 0 0 20 0 4 0 5308385 1338576896 268166 33554432000 4194304 16246674 140737406769840 140737406752840 13820656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326801 268166 796 2943 0 323695 0
[pid=8610/tid=8611] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.19 2.27 2.25 4/183 8701
/proc/meminfo: memFree=28376776/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1307204 CPUtime=1481.84 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 268249 0 0 0 148120 64 0 0 20 0 4 0 5308385 1338576896 268166 33554432000 4194304 16246674 140737406769840 140737406751744 6012036 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326801 268166 796 2943 0 323695 0
[pid=8610/tid=8611] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.23 2.27 2.25 3/183 8703
/proc/meminfo: memFree=28376904/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1307204 CPUtime=1541.84 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 268249 0 0 0 154119 65 0 0 20 0 4 0 5308385 1338576896 268166 33554432000 4194304 16246674 140737406769840 140737406751744 12474536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326801 268166 796 2943 0 323695 0
[pid=8610/tid=8611] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.31 2.29 2.26 3/183 8704
/proc/meminfo: memFree=28376412/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1307204 CPUtime=1601.82 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 268249 0 0 0 160117 65 0 0 20 0 4 0 5308385 1338576896 268166 33554432000 4194304 16246674 140737406769840 140737406751744 6844221 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326801 268166 796 2943 0 323695 0
[pid=8610/tid=8611] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.35 2.30 2.26 4/183 8705
/proc/meminfo: memFree=28376300/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1307204 CPUtime=1661.81 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 268249 0 0 0 166115 66 0 0 20 0 4 0 5308385 1338576896 268166 33554432000 4194304 16246674 140737406769840 140737406751744 12483222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326801 268166 796 2943 0 323695 0
[pid=8610/tid=8611] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.25 2.28 2.26 3/183 8706
/proc/meminfo: memFree=28376056/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1307204 CPUtime=1721.8 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 268249 0 0 0 172113 67 0 0 20 0 4 0 5308385 1338576896 268166 33554432000 4194304 16246674 140737406769840 140737406751744 13943608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326801 268166 796 2943 0 323695 0
[pid=8610/tid=8611] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.31 2.30 2.27 3/183 8707
/proc/meminfo: memFree=28376056/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1307204 CPUtime=1781.79 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 268249 0 0 0 178111 68 0 0 20 0 4 0 5308385 1338576896 268166 33554432000 4194304 16246674 140737406769840 140737406751744 5992463 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326801 268166 796 2943 0 323695 0
[pid=8610/tid=8611] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.37 2.31 2.27 3/183 8707
/proc/meminfo: memFree=28376064/32872528 swapFree=1369816/1516984
[pid=8610] ppid=8607 vsize=1307204 CPUtime=1800.09 cores=0,2,4,6
/proc/8610/stat : 8610 (toysat) R 8607 8610 5822 0 -1 4202496 268249 0 0 0 179941 68 0 0 20 0 4 0 5308385 1338576896 268166 33554432000 4194304 16246674 140737406769840 140737406752840 5669828 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8610/statm: 326801 268166 796 2943 0 323695 0
[pid=8610/tid=8611] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8611/stat : 8611 (toysat) S 8607 8610 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834586803440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8610/tid=8612] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8612/stat : 8612 (toysat) S 8607 8610 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834576313584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8610/tid=8613] ppid=8607 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8610/task/8613/stat : 8613 (toysat) S 8607 8610 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5308386 1338576896 268166 33554432000 4194304 16246674 140737406769840 139834565840048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 8610 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.11
CPU user time (s): 1799.42
CPU system time (s): 0.685895
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.685895
maximum resident set size= 1072664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268249
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= 429
involuntary context switches= 1895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.88526 second user time and 6.65099 second system time

The end

Begin job on node129 at 2016-06-16 01:16:59
IDJOB=4089729
IDBENCH=107448
IDSOLVER=2542
FILE ID=node129/4089729-1466032619
RUNJOBID= node129-1466013843-5838
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= ae93e5ac784f748386a3bfe952e5340c
RANDOM SEED=1349525099

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29446636 kB
Buffers:           33028 kB
Cached:            79100 kB
SwapCached:        20164 kB
Active:          1137608 kB
Inactive:          68920 kB
Active(anon):    1076576 kB
Inactive(anon):    20108 kB
Active(file):      61032 kB
Inactive(file):    48812 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081544 kB
Dirty:             16308 kB
Writeback:             0 kB
AnonPages:       2592656 kB
Mapped:            10244 kB
Shmem:                 0 kB
Slab:             567228 kB
SReclaimable:      11428 kB
SUnreclaim:       555800 kB
KernelStack:        1464 kB
PageTables:         9200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2734096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    561152 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= 71704 MiB
End job on node129 at 2016-06-16 01:47:00