0.00/0.00	c 2016-06-15T21:39:49+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-4088987-1466019589.opb"]
0.00/0.01	c use --random-gen="1998234316 1781304399 1385082291 907569940 3290700740 1010373776 1746102040 4248672385 3500745151 3877093939 2289502380 3757250342 376652331 2681709037 2755545087 2822383560 4118541499 1117672331 314603149 2544875845 416639288 373821953 2733024169 2858188150 1826054928 2200210647 822498843 1301936951 953588069 2276720288 1302641747 840892762 3175125598 669328480 1816602345 2450544145 2372392116 2107462596 1820674274 1469566997 2469949452 731218483 6540942 246279916 3947160797 1012412838 887770505 2902010087 3569600129 3247818849 1258469580 3472496214 3653594967 4205488391 92150095 4196680077 78750769 865073923 4236929018 3884820363 3837714969 1560505014 2601129806 3530870719 348936592 3359033618 1835030355 408011814 2937126423 3482741480 2217481346 134472702 733822485 1476168420 2627582229 2704877675 4072324850 3640896373 3797906658 1458894972 3669811497 3779740653 2203172891 2190109715 23532282 1549160853 16860098 1921648830 1593190651 2603466650 16111999 3026526992 3435012891 3466003956 1094065379 1758741038 710122866 576459068 127300860 1825115127 3971839947 3033755094 3894478404 1501829956 2234690491 2642910846 3293285352 1331140232 3164830040 3138282291 252292465 2240435502 1872181382 38274984 1574453203 3874534790 3872359348 1528648593 4131579637 1108038974 3704492312 1831853485 4232489584 4224587356 153740173 2031424583 2539464438 767369989 3331637286 1756645299 1996784918 484326316 2152267618 2645435802 3887855310 1659145285 1801607110 3413032714 3709579802 1323988802 2153370820 3369022352 527356457 4044326698 3854578057 2368503568 570365962 2386877622 290250173 794104263 2957189621 613714295 4241630754 184021450 586764518 3523682561 2936354555 2002921183 3144315126 1684944505 777191076 1360035581 2651013370 3471806932 3496408008 3464067933 2866965006 722788663 1357464603 1975100783 1229284910 1197520182 781847468 979395803 3300610375 2806964591 1441366775 2818405031 1374575449 1020523160 2047610694 3835538453 636800513 2369252399 3576146973 2951090171 645607071 4224523361 2077643944 3490696257 1399604462 450480854 4258980915 1003581188 2200231950 3572605163 2266221408 1979159757 3760306369 2723502222 1647846014 2990227539 3874348286 2311262939 3950320487 1386962228 3862597143 3247219402 551902759 3046817351 2203415049 1197660348 2363596916 3794824593 2981018338 3115053020 4118925515 2509412193 163122570 3392787757 1646402632 3365234408 2497443920 1703661536 1847483788 4047728355 2622123489 2273376673 3355434224 565013438 1601116617 917126745 1931322637 644177860 1967956967 600937878 2867596596 4205067225 1018437399 2692321668 2529723581 914115057 2665523322 3211127248 4232502127 249598126 1573906512 461281352 1358940894 3226354100 4117215735 939571540 1362826255 1858973155 2714938243 273236477 255 362436" option to reproduce the execution
0.00/0.01	c #vars 92
0.00/0.01	c #constraints 185
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 |       92      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      148 |      100 |       92      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      356 |      250 |      102      2 |        0 |        0
0.00/0.06	c  0.1s |       3 |      634 |      475 |      113      5 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1023 |      813 |      125      9 |        0 |        0
0.09/0.17	c  0.2s |       5 |     1574 |     1320 |      138     15 |        0 |        0
0.19/0.26	c  0.2s |       6 |     2402 |     2081 |      168     23 |        0 |        0
0.39/0.40	c  0.4s |       7 |     3597 |     3223 |      185     34 |        0 |        0
0.59/0.62	c  0.6s |       8 |     5377 |     4936 |      204     50 |        0 |        0
0.89/0.92	c  0.9s |       9 |     8044 |     7506 |      225     71 |        0 |        0
1.20/1.25	c  1.2s |      10 |    12025 |    11361 |      248    100 |        0 |        0
1.68/1.77	c  1.8s |      11 |    17987 |    17144 |      273    141 |        0 |        0
2.48/2.50	c  2.5s |      12 |    26913 |    25819 |      301    197 |        0 |        0
3.58/3.63	c  3.6s |      13 |    40476 |    38832 |      332    274 |        0 |        0
5.29/5.36	c  5.3s |      14 |    62135 |    58352 |      366    380 |        0 |        0
7.29/7.36	c  7.3s |      14 |    86330 |    80552 |      366    491 |        0 |        0
7.99/8.00	c  8.0s |      15 |    93917 |    87632 |      403    526 |        0 |        0
9.90/10.00	c 10.0s |      15 |   117171 |   109732 |      403    627 |        0 |        0
11.89/11.98	c 12.0s |      16 |   140638 |   131552 |      444    726 |        0 |        0
13.89/13.99	c 14.0s |      16 |   165015 |   153552 |      444    818 |        0 |        0
15.89/15.99	c 16.0s |      16 |   188500 |   175552 |      444    911 |        0 |        0
17.89/17.99	c 18.0s |      17 |   212102 |   197432 |      489   1001 |        0 |        0
19.90/19.99	c 20.0s |      17 |   235047 |   219232 |      489   1085 |        0 |        0
21.89/22.00	c 22.0s |      17 |   257897 |   241132 |      489   1169 |        0 |        0
23.99/24.00	c 24.0s |      17 |   280963 |   262832 |      489   1252 |        0 |        0
25.99/26.00	c 26.0s |      17 |   303877 |   284532 |      489   1335 |        0 |        0
26.98/27.09	c 27.1s |      18 |   316178 |   296252 |      538   1379 |        0 |        0
28.98/29.09	c 29.1s |      18 |   338736 |   317652 |      538   1454 |        0 |        0
31.08/31.10	c 31.1s |      18 |   361887 |   339352 |      538   1530 |        0 |        0
32.99/33.10	c 33.1s |      18 |   385111 |   361052 |      538   1606 |        0 |        0
35.08/35.10	c 35.1s |      18 |   408774 |   382652 |      538   1682 |        0 |        0
37.08/37.10	c 37.1s |      18 |   431438 |   404152 |      538   1757 |        0 |        0
39.08/39.11	c 39.1s |      18 |   454075 |   425952 |      538   1834 |        0 |        0
40.79/40.83	c 40.8s |      19 |   473627 |   444482 |      592   1898 |        0 |        0
42.78/42.84	c 42.8s |      19 |   497171 |   465782 |      592   1966 |        0 |        0
44.78/44.84	c 44.8s |      19 |   520141 |   486682 |      592   2033 |        0 |        0
46.78/46.85	c 46.8s |      19 |   543167 |   507882 |      592   2100 |        0 |        0
48.78/48.85	c 48.8s |      19 |   566706 |   528982 |      592   2168 |        0 |        0
50.78/50.85	c 50.8s |      19 |   589159 |   549982 |      592   2235 |        0 |        0
52.78/52.86	c 52.8s |      19 |   612247 |   570882 |      592   2302 |        0 |        0
54.78/54.86	c 54.9s |      19 |   634827 |   591982 |      592   2370 |        0 |        0
56.78/56.87	c 56.9s |      19 |   658656 |   613282 |      592   2439 |        0 |        0
58.78/58.87	c 58.9s |      19 |   681653 |   634382 |      592   2506 |        0 |        0
60.78/60.88	c 60.9s |      19 |   704386 |   655582 |      592   2574 |        0 |        0
61.88/61.94	c 61.9s |      20 |   716508 |   666827 |      652   2609 |        0 |        0
63.89/63.94	c 63.9s |      20 |   738343 |   687427 |      652   2669 |        0 |        0
65.88/65.94	c 65.9s |      20 |   760383 |   708227 |      652   2729 |        0 |        0
67.88/67.95	c 67.9s |      20 |   782621 |   728727 |      652   2789 |        0 |        0
69.88/69.95	c 69.9s |      20 |   805184 |   749527 |      652   2850 |        0 |        0
71.88/71.96	c 72.0s |      20 |   827700 |   770327 |      652   2910 |        0 |        0
73.88/73.97	c 74.0s |      20 |   850031 |   791227 |      652   2971 |        0 |        0
75.89/75.97	c 76.0s |      20 |   872741 |   811827 |      652   3032 |        0 |        0
77.88/77.97	c 78.0s |      20 |   894680 |   832527 |      652   3092 |        0 |        0
79.88/79.98	c 80.0s |      20 |   917523 |   853627 |      652   3154 |        0 |        0
81.88/81.99	c 82.0s |      20 |   940183 |   874027 |      652   3214 |        0 |        0
83.88/83.99	c 84.0s |      20 |   962009 |   894727 |      652   3274 |        0 |        0
85.98/86.00	c 86.0s |      20 |   983712 |   915227 |      652   3335 |        0 |        0
87.88/88.00	c 88.0s |      20 |  1006240 |   935827 |      652   3395 |        0 |        0
89.98/90.00	c 90.0s |      20 |  1028373 |   956527 |      652   3456 |        0 |        0
91.98/92.00	c 92.0s |      20 |  1051848 |   977227 |      652   3517 |        0 |        0
93.97/94.01	c 94.0s |      20 |  1074477 |   997727 |      718   3575 |        0 |        0
94.17/94.27	c 94.3s |      21 |  1077450 |  1000345 |      718   3582 |        0 |        0
96.17/96.27	c 96.3s |      21 |  1099458 |  1020945 |      718   3637 |        0 |        0
98.17/98.27	c 98.3s |      21 |  1121716 |  1041545 |      718   3692 |        0 |        0
100.18/100.28	c  100s |      21 |  1143829 |  1062145 |      718   3747 |        0 |        0
102.17/102.29	c  102s |      21 |  1165854 |  1082745 |      718   3802 |        0 |        0
104.27/104.30	c  104s |      21 |  1189144 |  1103545 |      718   3857 |        0 |        0
106.27/106.30	c  106s |      21 |  1211750 |  1124045 |      718   3912 |        0 |        0
108.27/108.31	c  108s |      21 |  1233065 |  1144245 |      718   3966 |        0 |        0
110.27/110.31	c  110s |      21 |  1255023 |  1164645 |      718   4020 |        0 |        0
112.27/112.31	c  112s |      21 |  1277249 |  1185245 |      718   4075 |        0 |        0
114.28/114.32	c  114s |      21 |  1299340 |  1205945 |      718   4130 |        0 |        0
116.28/116.33	c  116s |      21 |  1322631 |  1226945 |      718   4187 |        0 |        0
118.28/118.33	c  118s |      21 |  1344441 |  1247345 |      718   4241 |        0 |        0
120.28/120.34	c  120s |      21 |  1366587 |  1267945 |      718   4296 |        0 |        0
122.28/122.35	c  122s |      21 |  1388826 |  1288745 |      718   4351 |        0 |        0
124.28/124.35	c  124s |      21 |  1410950 |  1309645 |      718   4407 |        0 |        0
126.27/126.35	c  126s |      21 |  1432828 |  1330045 |      718   4461 |        0 |        0
128.27/128.36	c  128s |      21 |  1455053 |  1350345 |      718   4515 |        0 |        0
130.27/130.36	c  130s |      21 |  1476965 |  1370845 |      718   4570 |        0 |        0
132.27/132.36	c  132s |      21 |  1498873 |  1391345 |      718   4625 |        0 |        0
134.28/134.36	c  134s |      21 |  1521028 |  1411845 |      718   4680 |        0 |        0
136.27/136.37	c  136s |      21 |  1543535 |  1432645 |      718   4735 |        0 |        0
138.27/138.37	c  138s |      21 |  1565690 |  1453045 |      718   4790 |        0 |        0
140.27/140.38	c  140s |      21 |  1588495 |  1473845 |      718   4846 |        0 |        0
142.27/142.38	c  142s |      21 |  1611036 |  1494645 |      790   4900 |        0 |        0
142.86/142.96	c  142s |      22 |  1617727 |  1500622 |      790   4914 |        0 |        0
144.86/144.96	c  144s |      22 |  1639647 |  1520422 |      790   4962 |        0 |        0
146.86/146.97	c  146s |      22 |  1661391 |  1540122 |      790   5010 |        0 |        0
148.86/148.97	c  148s |      22 |  1682838 |  1560022 |      790   5059 |        0 |        0
150.86/150.98	c  150s |      22 |  1704664 |  1580022 |      790   5107 |        0 |        0
152.87/152.98	c  152s |      22 |  1726591 |  1600022 |      790   5156 |        0 |        0
154.87/154.98	c  154s |      22 |  1747788 |  1620022 |      790   5205 |        0 |        0
156.87/156.99	c  156s |      22 |  1769118 |  1640222 |      790   5254 |        0 |        0
158.97/159.00	c  158s |      22 |  1790745 |  1660422 |      790   5303 |        0 |        0
160.97/161.00	c  160s |      22 |  1812895 |  1680622 |      790   5352 |        0 |        0
162.97/163.01	c  162s |      22 |  1834833 |  1701022 |      790   5402 |        0 |        0
164.97/165.02	c  165s |      22 |  1856750 |  1721522 |      790   5452 |        0 |        0
166.97/167.02	c  167s |      22 |  1878448 |  1741922 |      790   5502 |        0 |        0
168.97/169.02	c  169s |      22 |  1900124 |  1761722 |      790   5550 |        0 |        0
170.97/171.03	c  171s |      22 |  1921929 |  1781722 |      790   5599 |        0 |        0
172.96/173.03	c  173s |      22 |  1943440 |  1802022 |      790   5648 |        0 |        0
174.97/175.04	c  175s |      22 |  1965298 |  1822322 |      790   5698 |        0 |        0
176.96/177.04	c  177s |      22 |  1987741 |  1842322 |      790   5746 |        0 |        0
178.96/179.05	c  179s |      22 |  2010878 |  1862422 |      790   5796 |        0 |        0
180.96/181.06	c  181s |      22 |  2032655 |  1882622 |      790   5845 |        0 |        0
182.96/183.06	c  183s |      22 |  2054532 |  1902622 |      790   5894 |        0 |        0
184.96/185.06	c  185s |      22 |  2076600 |  1923022 |      790   5943 |        0 |        0
186.97/187.07	c  187s |      22 |  2099094 |  1943522 |      790   5994 |        0 |        0
188.96/189.08	c  189s |      22 |  2120891 |  1963722 |      790   6043 |        0 |        0
190.96/191.09	c  191s |      22 |  2144592 |  1984522 |      790   6094 |        0 |        0
192.96/193.10	c  193s |      22 |  2166760 |  2004622 |      790   6143 |        0 |        0
195.05/195.10	c  195s |      22 |  2188455 |  2024622 |      790   6192 |        0 |        0
197.05/197.10	c  197s |      22 |  2210367 |  2044622 |      790   6240 |        0 |        0
199.07/199.11	c  199s |      22 |  2232078 |  2064622 |      790   6289 |        0 |        0
201.06/201.12	c  201s |      22 |  2253922 |  2084822 |      790   6338 |        0 |        0
203.06/203.12	c  203s |      22 |  2275300 |  2105022 |      790   6388 |        0 |        0
205.06/205.13	c  205s |      22 |  2297557 |  2125322 |      790   6437 |        0 |        0
207.06/207.13	c  207s |      22 |  2319909 |  2145722 |      790   6487 |        0 |        0
209.06/209.14	c  209s |      22 |  2341719 |  2165922 |      790   6537 |        0 |        0
211.05/211.14	c  211s |      22 |  2363524 |  2186122 |      790   6586 |        0 |        0
213.05/213.15	c  213s |      22 |  2385949 |  2206722 |      790   6636 |        0 |        0
215.05/215.16	c  215s |      22 |  2407883 |  2227022 |      790   6686 |        0 |        0
217.05/217.16	c  217s |      22 |  2429412 |  2247122 |      870   6732 |        0 |        0
217.45/217.56	c  217s |      23 |  2433615 |  2251038 |      870   6741 |        0 |        0
219.45/219.56	c  219s |      23 |  2455161 |  2270338 |      870   6783 |        0 |        0
221.45/221.56	c  221s |      23 |  2476274 |  2289538 |      870   6826 |        0 |        0
223.44/223.57	c  223s |      23 |  2497236 |  2308738 |      870   6869 |        0 |        0
225.45/225.57	c  225s |      23 |  2518679 |  2328138 |      870   6912 |        0 |        0
227.44/227.58	c  227s |      23 |  2540373 |  2347738 |      870   6955 |        0 |        0
229.44/229.58	c  229s |      23 |  2561521 |  2367138 |      870   6998 |        0 |        0
231.44/231.59	c  231s |      23 |  2582663 |  2386538 |      870   7041 |        0 |        0
233.44/233.59	c  233s |      23 |  2605620 |  2405938 |      870   7085 |        0 |        0
235.54/235.60	c  235s |      23 |  2626875 |  2425538 |      870   7128 |        0 |        0
237.54/237.61	c  237s |      23 |  2649342 |  2445138 |      870   7172 |        0 |        0
239.54/239.62	c  239s |      23 |  2670874 |  2464438 |      870   7214 |        0 |        0
241.54/241.63	c  241s |      23 |  2692597 |  2483838 |      870   7257 |        0 |        0
243.54/243.64	c  243s |      23 |  2714809 |  2503538 |      870   7301 |        0 |        0
245.54/245.64	c  245s |      23 |  2737659 |  2523138 |      870   7345 |        0 |        0
247.55/247.64	c  247s |      23 |  2759206 |  2542438 |      870   7387 |        0 |        0
249.54/249.65	c  249s |      23 |  2780836 |  2561838 |      870   7430 |        0 |        0
251.54/251.65	c  251s |      23 |  2802127 |  2580838 |      870   7472 |        0 |        0
253.54/253.66	c  253s |      23 |  2823109 |  2600038 |      870   7515 |        0 |        0
255.54/255.67	c  255s |      23 |  2844085 |  2619538 |      870   7558 |        0 |        0
257.53/257.67	c  257s |      23 |  2865338 |  2639038 |      870   7602 |        0 |        0
259.54/259.67	c  259s |      23 |  2887229 |  2658838 |      870   7646 |        0 |        0
261.53/261.67	c  261s |      23 |  2908864 |  2678438 |      870   7689 |        0 |        0
263.53/263.67	c  263s |      23 |  2930547 |  2698538 |      870   7734 |        0 |        0
265.53/265.67	c  265s |      23 |  2952236 |  2718438 |      870   7778 |        0 |        0
267.53/267.68	c  267s |      23 |  2973583 |  2738038 |      870   7822 |        0 |        0
269.54/269.68	c  269s |      23 |  2993965 |  2757138 |      870   7864 |        0 |        0
271.53/271.69	c  271s |      23 |  3014710 |  2776338 |      870   7907 |        0 |        0
273.63/273.70	c  273s |      23 |  3035653 |  2796238 |      870   7951 |        0 |        0
275.63/275.71	c  275s |      23 |  3057237 |  2816238 |      870   7995 |        0 |        0
277.63/277.71	c  277s |      23 |  3078830 |  2836138 |      870   8039 |        0 |        0
279.63/279.72	c  279s |      23 |  3099884 |  2855738 |      870   8083 |        0 |        0
281.63/281.72	c  281s |      23 |  3121180 |  2875738 |      870   8127 |        0 |        0
283.63/283.72	c  283s |      23 |  3142260 |  2895338 |      870   8171 |        0 |        0
285.62/285.72	c  285s |      23 |  3163597 |  2915538 |      870   8216 |        0 |        0
287.62/287.73	c  287s |      23 |  3185505 |  2935738 |      870   8261 |        0 |        0
289.62/289.74	c  289s |      23 |  3207510 |  2955638 |      870   8305 |        0 |        0
291.62/291.75	c  291s |      23 |  3228036 |  2974938 |      870   8347 |        0 |        0
293.63/293.76	c  293s |      23 |  3249055 |  2994338 |      870   8390 |        0 |        0
295.61/295.76	c  295s |      23 |  3270593 |  3013438 |      870   8433 |        0 |        0
297.61/297.76	c  297s |      23 |  3291898 |  3032438 |      870   8475 |        0 |        0
299.62/299.76	c  299s |      23 |  3312979 |  3051638 |      870   8518 |        0 |        0
301.62/301.77	c  301s |      23 |  3333703 |  3070838 |      870   8560 |        0 |        0
303.63/303.78	c  303s |      23 |  3355313 |  3090038 |      870   8603 |        0 |        0
305.62/305.79	c  305s |      23 |  3376043 |  3109038 |      870   8645 |        0 |        0
307.62/307.80	c  307s |      23 |  3396714 |  3128438 |      870   8688 |        0 |        0
309.72/309.81	c  309s |      23 |  3418291 |  3147738 |      870   8731 |        0 |        0
311.72/311.82	c  311s |      23 |  3439719 |  3167138 |      870   8774 |        0 |        0
313.72/313.83	c  313s |      23 |  3461609 |  3186538 |      870   8817 |        0 |        0
315.72/315.83	c  315s |      23 |  3483345 |  3205638 |      870   8859 |        0 |        0
317.71/317.84	c  317s |      23 |  3505043 |  3225038 |      870   8902 |        0 |        0
319.71/319.84	c  319s |      23 |  3526275 |  3244238 |      870   8945 |        0 |        0
321.71/321.85	c  321s |      23 |  3548166 |  3263738 |      870   8988 |        0 |        0
323.71/323.86	c  323s |      23 |  3570438 |  3283638 |      870   9033 |        0 |        0
325.71/325.87	c  325s |      23 |  3592631 |  3303638 |      870   9077 |        0 |        0
327.72/327.87	c  327s |      23 |  3614179 |  3323438 |      870   9122 |        0 |        0
329.71/329.87	c  329s |      23 |  3636561 |  3343538 |      870   9166 |        0 |        0
331.71/331.87	c  331s |      23 |  3659068 |  3363338 |      958   9208 |        0 |        0
333.11/333.24	c  333s |      24 |  3674340 |  3376662 |      958   9235 |        0 |        0
335.10/335.25	c  335s |      24 |  3695079 |  3395562 |      958   9273 |        0 |        0
337.10/337.26	c  337s |      24 |  3716281 |  3414562 |      958   9312 |        0 |        0
339.10/339.27	c  339s |      24 |  3737238 |  3433462 |      958   9350 |        0 |        0
341.11/341.27	c  341s |      24 |  3758171 |  3452662 |      958   9389 |        0 |        0
343.11/343.28	c  343s |      24 |  3779178 |  3471862 |      958   9427 |        0 |        0
345.10/345.29	c  345s |      24 |  3800137 |  3490962 |      958   9466 |        0 |        0
347.20/347.30	c  347s |      24 |  3820841 |  3510062 |      958   9505 |        0 |        0
349.20/349.31	c  349s |      24 |  3842190 |  3529562 |      958   9544 |        0 |        0
351.20/351.32	c  351s |      24 |  3863465 |  3548762 |      958   9583 |        0 |        0
353.20/353.32	c  353s |      24 |  3884307 |  3567662 |      958   9622 |        0 |        0
355.20/355.33	c  355s |      24 |  3905592 |  3586562 |      958   9660 |        0 |        0
357.19/357.33	c  357s |      24 |  3926645 |  3605562 |      958   9698 |        0 |        0
359.19/359.33	c  359s |      24 |  3947717 |  3624562 |      958   9737 |        0 |        0
361.19/361.34	c  361s |      24 |  3967580 |  3643162 |      958   9775 |        0 |        0
363.19/363.34	c  363s |      24 |  3987297 |  3661862 |      958   9812 |        0 |        0
365.19/365.35	c  365s |      24 |  4007568 |  3680662 |      958   9850 |        0 |        0
367.18/367.35	c  367s |      24 |  4028156 |  3699862 |      958   9889 |        0 |        0
369.18/369.35	c  369s |      24 |  4048779 |  3719162 |      958   9928 |        0 |        0
371.18/371.35	c  371s |      24 |  4068888 |  3738262 |      958   9967 |        0 |        0
373.18/373.36	c  373s |      24 |  4089233 |  3757462 |      958  10006 |        0 |        0
375.18/375.36	c  375s |      24 |  4109443 |  3776162 |      958  10044 |        0 |        0
377.18/377.36	c  377s |      24 |  4130131 |  3795262 |      958  10082 |        0 |        0
379.18/379.37	c  379s |      24 |  4151246 |  3814662 |      958  10122 |        0 |        0
381.18/381.37	c  381s |      24 |  4171257 |  3833062 |      958  10159 |        0 |        0
383.17/383.38	c  383s |      24 |  4191502 |  3851762 |      958  10196 |        0 |        0
385.17/385.39	c  385s |      24 |  4211701 |  3870662 |      958  10235 |        0 |        0
387.18/387.39	c  387s |      24 |  4232548 |  3889962 |      958  10274 |        0 |        0
389.17/389.39	c  389s |      24 |  4253458 |  3909362 |      958  10313 |        0 |        0
391.27/391.40	c  391s |      24 |  4274770 |  3928962 |      958  10353 |        0 |        0
393.27/393.40	c  393s |      24 |  4295109 |  3947762 |      958  10391 |        0 |        0
395.26/395.41	c  395s |      24 |  4316277 |  3966962 |      958  10430 |        0 |        0
397.27/397.42	c  397s |      24 |  4336795 |  3986362 |      958  10469 |        0 |        0
399.28/399.42	c  399s |      24 |  4357777 |  4005862 |      958  10509 |        0 |        0
401.27/401.43	c  401s |      24 |  4379520 |  4025562 |      958  10549 |        0 |        0
403.27/403.44	c  403s |      24 |  4400815 |  4045262 |      958  10589 |        0 |        0
405.26/405.45	c  405s |      24 |  4422300 |  4064962 |      958  10629 |        0 |        0
407.26/407.46	c  407s |      24 |  4442634 |  4083862 |      958  10667 |        0 |        0
409.26/409.47	c  409s |      24 |  4463166 |  4102962 |      958  10705 |        0 |        0
411.27/411.47	c  411s |      24 |  4484112 |  4122362 |      958  10744 |        0 |        0
413.26/413.48	c  413s |      24 |  4504435 |  4141462 |      958  10783 |        0 |        0
415.26/415.49	c  415s |      24 |  4525436 |  4160662 |      958  10822 |        0 |        0
417.36/417.50	c  417s |      24 |  4546620 |  4179962 |      958  10861 |        0 |        0
419.36/419.50	c  419s |      24 |  4567594 |  4199462 |      958  10901 |        0 |        0
421.36/421.51	c  421s |      24 |  4588848 |  4218562 |      958  10939 |        0 |        0
423.36/423.51	c  423s |      24 |  4609687 |  4238062 |      958  10979 |        0 |        0
425.36/425.52	c  425s |      24 |  4630698 |  4257362 |      958  11018 |        0 |        0
427.36/427.52	c  427s |      24 |  4651669 |  4276962 |      958  11057 |        0 |        0
429.36/429.53	c  429s |      24 |  4672865 |  4296862 |      958  11098 |        0 |        0
431.36/431.54	c  431s |      24 |  4693992 |  4316262 |      958  11137 |        0 |        0
433.37/433.55	c  433s |      24 |  4715329 |  4335862 |      958  11177 |        0 |        0
435.36/435.55	c  435s |      24 |  4736806 |  4355662 |      958  11217 |        0 |        0
437.35/437.56	c  437s |      24 |  4758414 |  4375562 |      958  11257 |        0 |        0
439.35/439.56	c  439s |      24 |  4780035 |  4395662 |      958  11298 |        0 |        0
441.35/441.56	c  441s |      24 |  4802386 |  4415562 |      958  11339 |        0 |        0
443.35/443.56	c  443s |      24 |  4823278 |  4434562 |      958  11377 |        0 |        0
445.36/445.57	c  445s |      24 |  4844149 |  4453362 |      958  11415 |        0 |        0
447.35/447.57	c  447s |      24 |  4864736 |  4472362 |      958  11453 |        0 |        0
449.34/449.57	c  449s |      24 |  4884514 |  4490662 |      958  11490 |        0 |        0
451.34/451.58	c  451s |      24 |  4905196 |  4509662 |      958  11529 |        0 |        0
453.34/453.59	c  453s |      24 |  4925927 |  4528762 |      958  11567 |        0 |        0
455.35/455.59	c  455s |      24 |  4946220 |  4547562 |      958  11605 |        0 |        0
457.35/457.59	c  457s |      24 |  4967212 |  4567062 |      958  11645 |        0 |        0
459.45/459.61	c  459s |      24 |  4988467 |  4586262 |      958  11684 |        0 |        0
461.45/461.61	c  461s |      24 |  5009905 |  4605362 |      958  11722 |        0 |        0
463.45/463.62	c  463s |      24 |  5030813 |  4624862 |      958  11762 |        0 |        0
465.45/465.62	c  465s |      24 |  5052524 |  4644862 |      958  11802 |        0 |        0
467.45/467.63	c  467s |      24 |  5073855 |  4664262 |      958  11841 |        0 |        0
469.45/469.63	c  469s |      24 |  5094659 |  4683462 |      958  11880 |        0 |        0
471.45/471.64	c  471s |      24 |  5115717 |  4703262 |      958  11920 |        0 |        0
473.45/473.65	c  473s |      24 |  5137060 |  4723062 |      958  11960 |        0 |        0
475.44/475.65	c  475s |      24 |  5158001 |  4742262 |      958  11999 |        0 |        0
477.44/477.66	c  477s |      24 |  5178536 |  4761162 |      958  12037 |        0 |        0
479.44/479.66	c  479s |      24 |  5199213 |  4780162 |      958  12076 |        0 |        0
481.44/481.67	c  481s |      24 |  5220922 |  4799162 |      958  12114 |        0 |        0
483.44/483.67	c  483s |      24 |  5242459 |  4818662 |      958  12154 |        0 |        0
485.43/485.67	c  485s |      24 |  5262942 |  4837862 |      958  12193 |        0 |        0
487.43/487.68	c  487s |      24 |  5284084 |  4857562 |      958  12233 |        0 |        0
489.44/489.68	c  489s |      24 |  5305139 |  4876862 |      958  12272 |        0 |        0
491.43/491.69	c  491s |      24 |  5326963 |  4896662 |      958  12312 |        0 |        0
493.43/493.69	c  493s |      24 |  5348135 |  4915862 |      958  12351 |        0 |        0
495.43/495.69	c  495s |      24 |  5368683 |  4935062 |      958  12390 |        0 |        0
497.43/497.69	c  497s |      24 |  5389844 |  4954862 |      958  12430 |        0 |        0
499.53/499.70	c  499s |      24 |  5411777 |  4974762 |      958  12470 |        0 |        0
501.54/501.71	c  501s |      24 |  5434159 |  4995062 |      958  12512 |        0 |        0
503.53/503.71	c  503s |      24 |  5455280 |  5014362 |      958  12551 |        0 |        0
505.53/505.72	c  505s |      24 |  5476437 |  5034062 |     1054  12590 |        0 |        0
507.53/507.73	c  507s |      24 |  5498078 |  5053562 |     1054  12626 |        0 |        0
508.73/508.92	c  508s |      25 |  5510505 |  5065098 |     1054  12647 |        0 |        0
510.72/510.93	c  510s |      25 |  5530038 |  5083498 |     1054  12681 |        0 |        0
512.72/512.93	c  512s |      25 |  5550010 |  5101998 |     1054  12715 |        0 |        0
514.73/514.93	c  514s |      25 |  5570075 |  5120098 |     1054  12748 |        0 |        0
516.72/516.94	c  516s |      25 |  5590628 |  5138098 |     1054  12781 |        0 |        0
518.72/518.94	c  518s |      25 |  5611193 |  5157198 |     1054  12817 |        0 |        0
520.72/520.95	c  520s |      25 |  5631678 |  5176098 |     1054  12852 |        0 |        0
522.71/522.96	c  522s |      25 |  5652111 |  5194998 |     1054  12886 |        0 |        0
524.71/524.96	c  524s |      25 |  5672307 |  5213698 |     1054  12921 |        0 |        0
526.72/526.97	c  526s |      25 |  5693077 |  5232398 |     1054  12955 |        0 |        0
528.71/528.97	c  528s |      25 |  5714435 |  5251398 |     1054  12991 |        0 |        0
530.71/530.97	c  530s |      25 |  5735027 |  5270598 |     1054  13026 |        0 |        0
532.71/532.98	c  532s |      25 |  5755293 |  5289498 |     1054  13061 |        0 |        0
534.71/534.99	c  534s |      25 |  5776004 |  5308298 |     1054  13096 |        0 |        0
536.81/537.00	c  536s |      25 |  5796032 |  5326598 |     1054  13129 |        0 |        0
538.71/539.00	c  538s |      25 |  5815478 |  5344598 |     1054  13162 |        0 |        0
540.81/541.01	c  540s |      25 |  5835115 |  5362898 |     1054  13196 |        0 |        0
542.81/543.02	c  543s |      25 |  5855030 |  5381198 |     1054  13230 |        0 |        0
544.81/545.02	c  545s |      25 |  5874682 |  5399598 |     1054  13264 |        0 |        0
546.81/547.02	c  547s |      25 |  5894910 |  5418398 |     1054  13298 |        0 |        0
548.81/549.02	c  549s |      25 |  5915306 |  5437098 |     1054  13333 |        0 |        0
550.81/551.03	c  551s |      25 |  5935593 |  5456198 |     1054  13368 |        0 |        0
552.80/553.03	c  553s |      25 |  5955191 |  5474498 |     1054  13402 |        0 |        0
554.80/555.04	c  555s |      25 |  5974801 |  5492498 |     1054  13435 |        0 |        0
556.80/557.05	c  557s |      25 |  5995573 |  5511598 |     1054  13470 |        0 |        0
558.80/559.05	c  559s |      25 |  6016189 |  5530498 |     1054  13505 |        0 |        0
560.81/561.06	c  561s |      25 |  6037305 |  5549698 |     1054  13541 |        0 |        0
562.80/563.06	c  563s |      25 |  6058619 |  5568398 |     1054  13576 |        0 |        0
564.79/565.07	c  565s |      25 |  6079135 |  5587098 |     1054  13610 |        0 |        0
566.79/567.07	c  567s |      25 |  6099668 |  5605998 |     1054  13645 |        0 |        0
568.79/569.08	c  569s |      25 |  6120430 |  5624998 |     1054  13680 |        0 |        0
570.80/571.08	c  571s |      25 |  6143010 |  5644498 |     1054  13716 |        0 |        0
572.79/573.08	c  573s |      25 |  6164655 |  5663998 |     1054  13752 |        0 |        0
574.78/575.08	c  575s |      25 |  6184199 |  5682198 |     1054  13786 |        0 |        0
576.78/577.09	c  577s |      25 |  6203922 |  5700498 |     1054  13819 |        0 |        0
578.79/579.10	c  579s |      25 |  6224251 |  5718998 |     1054  13853 |        0 |        0
580.89/581.11	c  581s |      25 |  6244661 |  5737198 |     1054  13887 |        0 |        0
582.90/583.11	c  583s |      25 |  6265283 |  5755498 |     1054  13920 |        0 |        0
584.89/585.12	c  585s |      25 |  6284893 |  5773598 |     1054  13954 |        0 |        0
586.89/587.13	c  587s |      25 |  6304477 |  5791698 |     1054  13987 |        0 |        0
588.89/589.13	c  589s |      25 |  6324110 |  5810598 |     1054  14022 |        0 |        0
590.89/591.13	c  591s |      25 |  6344015 |  5829598 |     1054  14057 |        0 |        0
592.89/593.14	c  593s |      25 |  6364743 |  5848598 |     1054  14092 |        0 |        0
594.89/595.15	c  595s |      25 |  6385073 |  5867398 |     1054  14126 |        0 |        0
596.88/597.15	c  597s |      25 |  6404715 |  5885898 |     1054  14161 |        0 |        0
598.88/599.16	c  599s |      25 |  6424972 |  5904998 |     1054  14196 |        0 |        0
600.88/601.16	c  601s |      25 |  6445600 |  5924298 |     1054  14232 |        0 |        0
602.88/603.17	c  603s |      25 |  6466390 |  5943798 |     1054  14268 |        0 |        0
604.88/605.18	c  605s |      25 |  6486245 |  5962798 |     1054  14303 |        0 |        0
606.87/607.18	c  607s |      25 |  6506631 |  5982098 |     1054  14338 |        0 |        0
608.87/609.18	c  609s |      25 |  6527108 |  6001298 |     1054  14374 |        0 |        0
610.87/611.19	c  611s |      25 |  6547909 |  6020998 |     1054  14410 |        0 |        0
612.97/613.20	c  613s |      25 |  6569049 |  6040198 |     1054  14446 |        0 |        0
614.98/615.20	c  615s |      25 |  6590040 |  6059798 |     1054  14482 |        0 |        0
616.98/617.20	c  617s |      25 |  6609245 |  6077698 |     1054  14515 |        0 |        0
618.97/619.21	c  619s |      25 |  6628844 |  6095598 |     1054  14548 |        0 |        0
620.97/621.22	c  621s |      25 |  6648559 |  6113798 |     1054  14581 |        0 |        0
622.97/623.23	c  623s |      25 |  6668598 |  6132298 |     1054  14615 |        0 |        0
624.97/625.24	c  625s |      25 |  6688921 |  6150298 |     1054  14649 |        0 |        0
626.97/627.24	c  627s |      25 |  6709103 |  6168498 |     1054  14682 |        0 |        0
628.98/629.26	c  629s |      25 |  6728958 |  6186598 |     1054  14716 |        0 |        0
630.97/631.27	c  631s |      25 |  6748715 |  6205098 |     1054  14750 |        0 |        0
632.97/633.27	c  633s |      25 |  6767777 |  6223398 |     1054  14783 |        0 |        0
634.96/635.28	c  635s |      25 |  6787852 |  6242398 |     1054  14819 |        0 |        0
636.96/637.28	c  637s |      25 |  6807924 |  6261098 |     1054  14853 |        0 |        0
638.97/639.29	c  639s |      25 |  6828262 |  6279898 |     1054  14888 |        0 |        0
640.96/641.29	c  641s |      25 |  6849153 |  6298798 |     1054  14923 |        0 |        0
642.96/643.29	c  643s |      25 |  6870225 |  6317498 |     1054  14958 |        0 |        0
644.96/645.29	c  645s |      25 |  6890436 |  6336298 |     1054  14992 |        0 |        0
647.06/647.30	c  647s |      25 |  6911603 |  6355598 |     1054  15028 |        0 |        0
649.06/649.31	c  649s |      25 |  6932165 |  6374698 |     1054  15063 |        0 |        0
651.06/651.32	c  651s |      25 |  6953257 |  6394198 |     1054  15099 |        0 |        0
653.06/653.33	c  653s |      25 |  6973143 |  6412498 |     1054  15133 |        0 |        0
655.05/655.33	c  655s |      25 |  6993609 |  6431098 |     1054  15167 |        0 |        0
657.05/657.33	c  657s |      25 |  7014077 |  6449698 |     1054  15202 |        0 |        0
659.05/659.34	c  659s |      25 |  7035255 |  6468398 |     1054  15236 |        0 |        0
661.05/661.34	c  661s |      25 |  7056105 |  6487398 |     1054  15271 |        0 |        0
663.06/663.35	c  663s |      25 |  7076886 |  6506198 |     1054  15306 |        0 |        0
665.05/665.36	c  665s |      25 |  7097955 |  6524998 |     1054  15341 |        0 |        0
667.05/667.36	c  667s |      25 |  7119044 |  6543698 |     1054  15376 |        0 |        0
669.05/669.36	c  669s |      25 |  7139863 |  6563098 |     1054  15412 |        0 |        0
671.05/671.36	c  671s |      25 |  7159992 |  6581298 |     1054  15445 |        0 |        0
673.05/673.37	c  673s |      25 |  7180049 |  6599798 |     1054  15479 |        0 |        0
675.04/675.37	c  675s |      25 |  7199820 |  6618298 |     1054  15513 |        0 |        0
677.04/677.37	c  677s |      25 |  7220448 |  6637098 |     1054  15548 |        0 |        0
679.04/679.38	c  679s |      25 |  7242097 |  6656398 |     1054  15584 |        0 |        0
681.04/681.39	c  681s |      25 |  7262330 |  6675398 |     1054  15619 |        0 |        0
683.14/683.40	c  683s |      25 |  7283317 |  6694598 |     1054  15655 |        0 |        0
685.14/685.41	c  685s |      25 |  7304732 |  6713698 |     1054  15690 |        0 |        0
687.13/687.41	c  687s |      25 |  7326607 |  6733198 |     1054  15726 |        0 |        0
689.14/689.41	c  689s |      25 |  7348148 |  6752598 |     1054  15762 |        0 |        0
691.14/691.41	c  691s |      25 |  7369160 |  6771998 |     1054  15798 |        0 |        0
693.14/693.42	c  693s |      25 |  7390432 |  6791598 |     1054  15834 |        0 |        0
695.13/695.43	c  695s |      25 |  7411499 |  6810798 |     1054  15870 |        0 |        0
697.14/697.43	c  697s |      25 |  7430057 |  6828398 |     1054  15902 |        0 |        0
699.13/699.44	c  699s |      25 |  7448887 |  6846098 |     1054  15935 |        0 |        0
701.13/701.44	c  701s |      25 |  7467951 |  6864398 |     1054  15969 |        0 |        0
703.13/703.45	c  703s |      25 |  7487319 |  6882598 |     1054  16002 |        0 |        0
705.13/705.45	c  705s |      25 |  7507256 |  6900498 |     1054  16035 |        0 |        0
707.13/707.46	c  707s |      25 |  7526646 |  6918698 |     1054  16069 |        0 |        0
709.13/709.46	c  709s |      25 |  7546266 |  6936798 |     1054  16102 |        0 |        0
711.12/711.46	c  711s |      25 |  7565960 |  6955298 |     1054  16136 |        0 |        0
713.12/713.47	c  713s |      25 |  7586048 |  6973798 |     1054  16170 |        0 |        0
715.12/715.47	c  715s |      25 |  7605776 |  6992198 |     1054  16204 |        0 |        0
717.12/717.48	c  717s |      25 |  7626107 |  7010798 |     1054  16238 |        0 |        0
719.12/719.48	c  719s |      25 |  7646188 |  7028898 |     1054  16272 |        0 |        0
721.12/721.49	c  721s |      25 |  7666020 |  7047098 |     1054  16305 |        0 |        0
723.22/723.50	c  723s |      25 |  7685415 |  7065098 |     1054  16338 |        0 |        0
725.21/725.51	c  725s |      25 |  7705279 |  7083298 |     1054  16372 |        0 |        0
727.21/727.51	c  727s |      25 |  7725433 |  7101698 |     1054  16406 |        0 |        0
729.21/729.51	c  729s |      25 |  7745131 |  7119898 |     1054  16440 |        0 |        0
731.22/731.52	c  731s |      25 |  7764944 |  7138498 |     1054  16474 |        0 |        0
733.21/733.52	c  733s |      25 |  7784458 |  7156798 |     1054  16508 |        0 |        0
735.21/735.53	c  735s |      25 |  7804029 |  7175098 |     1054  16541 |        0 |        0
737.21/737.53	c  737s |      25 |  7824477 |  7193998 |     1054  16576 |        0 |        0
739.21/739.54	c  739s |      25 |  7844669 |  7212398 |     1054  16610 |        0 |        0
741.21/741.54	c  741s |      25 |  7864699 |  7231098 |     1054  16645 |        0 |        0
743.21/743.54	c  743s |      25 |  7885429 |  7250198 |     1054  16680 |        0 |        0
745.20/745.54	c  745s |      25 |  7906052 |  7268398 |     1054  16714 |        0 |        0
747.20/747.55	c  747s |      25 |  7926522 |  7287098 |     1054  16749 |        0 |        0
749.20/749.56	c  749s |      25 |  7947025 |  7306098 |     1054  16784 |        0 |        0
751.20/751.56	c  751s |      25 |  7967656 |  7325298 |     1054  16820 |        0 |        0
753.20/753.57	c  753s |      25 |  7987682 |  7343898 |     1054  16854 |        0 |        0
755.19/755.58	c  755s |      25 |  8008448 |  7362298 |     1054  16888 |        0 |        0
757.19/757.59	c  757s |      25 |  8029052 |  7381198 |     1054  16923 |        0 |        0
759.19/759.59	c  759s |      25 |  8049420 |  7400198 |     1054  16958 |        0 |        0
761.29/761.60	c  761s |      25 |  8070438 |  7419298 |     1054  16993 |        0 |        0
763.29/763.60	c  763s |      25 |  8091994 |  7438398 |     1054  17028 |        0 |        0
765.29/765.60	c  765s |      25 |  8113229 |  7457698 |     1054  17064 |        0 |        0
767.28/767.61	c  767s |      25 |  8133215 |  7475998 |     1054  17098 |        0 |        0
769.29/769.61	c  769s |      25 |  8153947 |  7494398 |     1054  17132 |        0 |        0
771.29/771.62	c  771s |      25 |  8174985 |  7513098 |     1054  17166 |        0 |        0
773.29/773.62	c  773s |      25 |  8195909 |  7532098 |     1054  17201 |        0 |        0
775.29/775.63	c  775s |      25 |  8216483 |  7551298 |     1160  17235 |        0 |        0
777.28/777.64	c  777s |      25 |  8236973 |  7570098 |     1160  17267 |        0 |        0
779.28/779.64	c  779s |      25 |  8257473 |  7588798 |     1160  17298 |        0 |        0
780.18/780.59	c  780s |      26 |  8267148 |  7597752 |     1160  17314 |        0 |        0
782.18/782.59	c  782s |      26 |  8285828 |  7614752 |     1160  17342 |        0 |        0
784.28/784.60	c  784s |      26 |  8304016 |  7631552 |     1160  17370 |        0 |        0
786.28/786.60	c  786s |      26 |  8322572 |  7648952 |     1160  17399 |        0 |        0
788.28/788.61	c  788s |      26 |  8341278 |  7666252 |     1160  17428 |        0 |        0
790.27/790.61	c  790s |      26 |  8360083 |  7683452 |     1160  17457 |        0 |        0
792.27/792.61	c  792s |      26 |  8379036 |  7700752 |     1160  17486 |        0 |        0
794.27/794.62	c  794s |      26 |  8397865 |  7717752 |     1160  17515 |        0 |        0
796.27/796.63	c  796s |      26 |  8417091 |  7735652 |     1160  17545 |        0 |        0
798.27/798.63	c  798s |      26 |  8436771 |  7753052 |     1160  17574 |        0 |        0
800.27/800.64	c  800s |      26 |  8456655 |  7770552 |     1160  17604 |        0 |        0
802.27/802.65	c  802s |      26 |  8475961 |  7788052 |     1160  17633 |        0 |        0
804.26/804.65	c  804s |      26 |  8494863 |  7805452 |     1160  17663 |        0 |        0
806.26/806.65	c  806s |      26 |  8513547 |  7822752 |     1160  17692 |        0 |        0
808.27/808.66	c  808s |      26 |  8532983 |  7840752 |     1160  17722 |        0 |        0
810.26/810.67	c  810s |      26 |  8552187 |  7857652 |     1160  17750 |        0 |        0
812.26/812.67	c  812s |      26 |  8570767 |  7874452 |     1160  17778 |        0 |        0
814.26/814.68	c  814s |      26 |  8589686 |  7891752 |     1160  17807 |        0 |        0
816.25/816.68	c  816s |      26 |  8608132 |  7909052 |     1160  17836 |        0 |        0
818.25/818.69	c  818s |      26 |  8626193 |  7926052 |     1160  17865 |        0 |        0
820.27/820.69	c  820s |      26 |  8644393 |  7942752 |     1160  17893 |        0 |        0
822.26/822.69	c  822s |      26 |  8662685 |  7959852 |     1160  17922 |        0 |        0
824.36/824.70	c  824s |      26 |  8681776 |  7977152 |     1160  17951 |        0 |        0
826.36/826.71	c  826s |      26 |  8700745 |  7994452 |     1160  17980 |        0 |        0
828.36/828.71	c  828s |      26 |  8719553 |  8011952 |     1160  18009 |        0 |        0
830.36/830.71	c  830s |      26 |  8738560 |  8029452 |     1160  18039 |        0 |        0
832.36/832.73	c  832s |      26 |  8757694 |  8047252 |     1160  18069 |        0 |        0
834.36/834.74	c  834s |      26 |  8776518 |  8064852 |     1160  18098 |        0 |        0
836.36/836.74	c  836s |      26 |  8795045 |  8081952 |     1160  18127 |        0 |        0
838.36/838.74	c  838s |      26 |  8813882 |  8099552 |     1160  18157 |        0 |        0
840.36/840.75	c  840s |      26 |  8833059 |  8117352 |     1160  18187 |        0 |        0
842.36/842.75	c  842s |      26 |  8851603 |  8134252 |     1160  18215 |        0 |        0
844.35/844.75	c  844s |      26 |  8869743 |  8151252 |     1160  18244 |        0 |        0
846.35/846.76	c  846s |      26 |  8888699 |  8168552 |     1160  18273 |        0 |        0
848.35/848.77	c  848s |      26 |  8908057 |  8186252 |     1160  18303 |        0 |        0
850.35/850.78	c  850s |      26 |  8927135 |  8203552 |     1160  18332 |        0 |        0
852.35/852.78	c  852s |      26 |  8946031 |  8220852 |     1160  18361 |        0 |        0
854.36/854.79	c  854s |      26 |  8964697 |  8238352 |     1160  18390 |        0 |        0
856.35/856.79	c  856s |      26 |  8983657 |  8255752 |     1160  18419 |        0 |        0
858.45/858.80	c  858s |      26 |  9002584 |  8273152 |     1160  18449 |        0 |        0
860.45/860.81	c  860s |      26 |  9021997 |  8291052 |     1160  18479 |        0 |        0
862.45/862.81	c  862s |      26 |  9041490 |  8308952 |     1160  18509 |        0 |        0
864.45/864.82	c  864s |      26 |  9061147 |  8326552 |     1160  18538 |        0 |        0
866.46/866.83	c  866s |      26 |  9080144 |  8344452 |     1160  18568 |        0 |        0
868.45/868.84	c  868s |      26 |  9098482 |  8361252 |     1160  18596 |        0 |        0
870.45/870.85	c  870s |      26 |  9117121 |  8378052 |     1160  18625 |        0 |        0
872.45/872.86	c  872s |      26 |  9135998 |  8394852 |     1160  18653 |        0 |        0
874.45/874.86	c  874s |      26 |  9155496 |  8412152 |     1160  18682 |        0 |        0
876.45/876.87	c  876s |      26 |  9174753 |  8429352 |     1160  18711 |        0 |        0
878.44/878.87	c  878s |      26 |  9193801 |  8446452 |     1160  18739 |        0 |        0
880.44/880.87	c  880s |      26 |  9212946 |  8463752 |     1160  18768 |        0 |        0
882.44/882.88	c  882s |      26 |  9231940 |  8481152 |     1160  18797 |        0 |        0
884.44/884.89	c  884s |      26 |  9251762 |  8498552 |     1160  18827 |        0 |        0
886.54/886.90	c  886s |      26 |  9270978 |  8515752 |     1160  18855 |        0 |        0
888.55/888.92	c  888s |      26 |  9289816 |  8533152 |     1160  18885 |        0 |        0
890.54/890.92	c  890s |      26 |  9308129 |  8550352 |     1160  18913 |        0 |        0
892.54/892.93	c  892s |      26 |  9327419 |  8568252 |     1160  18944 |        0 |        0
894.54/894.93	c  894s |      26 |  9346400 |  8585752 |     1160  18973 |        0 |        0
896.54/896.93	c  896s |      26 |  9365957 |  8603352 |     1160  19003 |        0 |        0
898.54/898.94	c  898s |      26 |  9384554 |  8620652 |     1160  19032 |        0 |        0
900.55/900.95	c  900s |      26 |  9403893 |  8637952 |     1160  19061 |        0 |        0
902.54/902.96	c  902s |      26 |  9423020 |  8655552 |     1160  19091 |        0 |        0
904.54/904.96	c  904s |      26 |  9442444 |  8673152 |     1160  19120 |        0 |        0
906.54/906.97	c  906s |      26 |  9461667 |  8690152 |     1160  19149 |        0 |        0
908.54/908.97	c  908s |      26 |  9480571 |  8707652 |     1160  19178 |        0 |        0
910.55/910.97	c  910s |      26 |  9499883 |  8725052 |     1160  19207 |        0 |        0
912.54/912.98	c  912s |      26 |  9519218 |  8742652 |     1160  19237 |        0 |        0
914.54/914.98	c  914s |      26 |  9538671 |  8760452 |     1160  19267 |        0 |        0
916.54/916.99	c  916s |      26 |  9558582 |  8778452 |     1160  19297 |        0 |        0
918.64/919.00	c  918s |      26 |  9577689 |  8795652 |     1160  19326 |        0 |        0
920.64/921.01	c  920s |      26 |  9596625 |  8812952 |     1160  19355 |        0 |        0
922.65/923.01	c  922s |      26 |  9615669 |  8830452 |     1160  19385 |        0 |        0
924.64/925.02	c  925s |      26 |  9635534 |  8848452 |     1160  19415 |        0 |        0
926.64/927.02	c  927s |      26 |  9655632 |  8866452 |     1160  19446 |        0 |        0
928.64/929.02	c  929s |      26 |  9676504 |  8884552 |     1160  19476 |        0 |        0
930.64/931.03	c  931s |      26 |  9695267 |  8901952 |     1160  19505 |        0 |        0
932.64/933.04	c  933s |      26 |  9714133 |  8919552 |     1160  19535 |        0 |        0
934.64/935.04	c  935s |      26 |  9732603 |  8936652 |     1160  19564 |        0 |        0
936.64/937.05	c  937s |      26 |  9751426 |  8954152 |     1160  19593 |        0 |        0
938.64/939.06	c  939s |      26 |  9770445 |  8971452 |     1160  19622 |        0 |        0
940.64/941.07	c  941s |      26 |  9789201 |  8989152 |     1160  19652 |        0 |        0
942.64/943.07	c  943s |      26 |  9808095 |  9006752 |     1160  19681 |        0 |        0
944.64/945.07	c  945s |      26 |  9827190 |  9023952 |     1160  19710 |        0 |        0
946.64/947.09	c  947s |      26 |  9846415 |  9041452 |     1160  19740 |        0 |        0
948.63/949.09	c  949s |      26 |  9866599 |  9059752 |     1160  19771 |        0 |        0
950.63/951.10	c  951s |      26 |  9885360 |  9077052 |     1160  19800 |        0 |        0
952.73/953.10	c  953s |      26 |  9903896 |  9093852 |     1160  19828 |        0 |        0
954.73/955.11	c  955s |      26 |  9922476 |  9110952 |     1160  19856 |        0 |        0
956.74/957.12	c  957s |      26 |  9941145 |  9128152 |     1160  19885 |        0 |        0
958.73/959.12	c  959s |      26 |  9960119 |  9145652 |     1160  19914 |        0 |        0
960.73/961.13	c  961s |      26 |  9979720 |  9163152 |     1160  19944 |        0 |        0
962.73/963.13	c  963s |      26 |  9998713 |  9180752 |     1160  19974 |        0 |        0
964.73/965.14	c  965s |      26 | 10017598 |  9198052 |     1160  20003 |        0 |        0
966.73/967.15	c  967s |      26 | 10036340 |  9215552 |     1160  20032 |        0 |        0
968.74/969.15	c  969s |      26 | 10055178 |  9233052 |     1160  20061 |        0 |        0
970.73/971.16	c  971s |      26 | 10073978 |  9250152 |     1160  20090 |        0 |        0
972.73/973.16	c  973s |      26 | 10093109 |  9267752 |     1160  20120 |        0 |        0
974.73/975.16	c  975s |      26 | 10112558 |  9285152 |     1160  20149 |        0 |        0
976.73/977.17	c  977s |      26 | 10131644 |  9302452 |     1160  20178 |        0 |        0
978.73/979.18	c  979s |      26 | 10150845 |  9320052 |     1160  20208 |        0 |        0
980.73/981.18	c  981s |      26 | 10169469 |  9337652 |     1160  20238 |        0 |        0
982.73/983.18	c  983s |      26 | 10188514 |  9355452 |     1160  20267 |        0 |        0
984.73/985.19	c  985s |      26 | 10207752 |  9373252 |     1160  20297 |        0 |        0
986.73/987.19	c  987s |      26 | 10227010 |  9391152 |     1160  20327 |        0 |        0
988.82/989.20	c  989s |      26 | 10246676 |  9409152 |     1160  20358 |        0 |        0
990.83/991.20	c  991s |      26 | 10266408 |  9427252 |     1160  20388 |        0 |        0
992.82/993.21	c  993s |      26 | 10285462 |  9444452 |     1160  20417 |        0 |        0
994.82/995.21	c  995s |      26 | 10304408 |  9461652 |     1160  20446 |        0 |        0
996.82/997.22	c  997s |      26 | 10323302 |  9479452 |     1160  20476 |        0 |        0
998.83/999.22	c  999s |      26 | 10342507 |  9497052 |     1160  20506 |        0 |        0
1000.83/1001.22	c 1001s |      26 | 10361923 |  9514652 |     1160  20535 |        0 |        0
1002.84/1003.23	c 1003s |      26 | 10381992 |  9533152 |     1160  20567 |        0 |        0
1004.83/1005.24	c 1005s |      26 | 10400971 |  9550152 |     1160  20595 |        0 |        0
1006.83/1007.24	c 1007s |      26 | 10420343 |  9567352 |     1160  20624 |        0 |        0
1008.83/1009.24	c 1009s |      26 | 10439414 |  9584452 |     1160  20653 |        0 |        0
1010.82/1011.25	c 1011s |      26 | 10458928 |  9602052 |     1160  20682 |        0 |        0
1012.83/1013.25	c 1013s |      26 | 10478619 |  9619752 |     1160  20712 |        0 |        0
1014.82/1015.26	c 1015s |      26 | 10498305 |  9637552 |     1160  20742 |        0 |        0
1016.82/1017.27	c 1017s |      26 | 10518459 |  9655452 |     1160  20772 |        0 |        0
1018.82/1019.27	c 1019s |      26 | 10538216 |  9672852 |     1160  20802 |        0 |        0
1020.82/1021.27	c 1021s |      26 | 10557509 |  9690952 |     1160  20832 |        0 |        0
1022.82/1023.28	c 1023s |      26 | 10577496 |  9708852 |     1160  20862 |        0 |        0
1024.83/1025.29	c 1025s |      26 | 10597702 |  9726352 |     1160  20892 |        0 |        0
1026.92/1027.30	c 1027s |      26 | 10617770 |  9744352 |     1160  20922 |        0 |        0
1028.92/1029.30	c 1029s |      26 | 10638045 |  9762452 |     1160  20953 |        0 |        0
1030.92/1031.31	c 1031s |      26 | 10658668 |  9781152 |     1160  20984 |        0 |        0
1032.92/1033.32	c 1033s |      26 | 10677566 |  9798552 |     1160  21013 |        0 |        0
1034.92/1035.33	c 1035s |      26 | 10696212 |  9815352 |     1160  21042 |        0 |        0
1036.93/1037.33	c 1037s |      26 | 10714183 |  9831852 |     1160  21069 |        0 |        0
1038.92/1039.34	c 1039s |      26 | 10732837 |  9848652 |     1160  21097 |        0 |        0
1040.92/1041.35	c 1041s |      26 | 10750975 |  9865552 |     1160  21126 |        0 |        0
1042.92/1043.36	c 1043s |      26 | 10769142 |  9882752 |     1160  21154 |        0 |        0
1044.92/1045.36	c 1045s |      26 | 10787988 |  9900252 |     1160  21184 |        0 |        0
1046.93/1047.37	c 1047s |      26 | 10806927 |  9917752 |     1160  21213 |        0 |        0
1048.92/1049.37	c 1049s |      26 | 10826684 |  9935652 |     1160  21243 |        0 |        0
1050.92/1051.38	c 1051s |      26 | 10846017 |  9953452 |     1160  21273 |        0 |        0
1052.92/1053.38	c 1053s |      26 | 10864896 |  9970552 |     1160  21302 |        0 |        0
1054.92/1055.39	c 1055s |      26 | 10883670 |  9987752 |     1160  21331 |        0 |        0
1056.92/1057.39	c 1057s |      26 | 10902637 | 10004852 |     1160  21360 |        0 |        0
1058.93/1059.40	c 1059s |      26 | 10921529 | 10022352 |     1160  21389 |        0 |        0
1061.02/1061.40	c 1061s |      26 | 10941274 | 10040352 |     1160  21419 |        0 |        0
1063.02/1063.40	c 1063s |      26 | 10961060 | 10058552 |     1160  21450 |        0 |        0
1065.02/1065.41	c 1065s |      26 | 10980640 | 10076252 |     1160  21480 |        0 |        0
1067.02/1067.41	c 1067s |      26 | 11000695 | 10094452 |     1160  21511 |        0 |        0
1069.02/1069.42	c 1069s |      26 | 11021260 | 10112352 |     1160  21541 |        0 |        0
1071.02/1071.42	c 1071s |      26 | 11039998 | 10129852 |     1160  21570 |        0 |        0
1073.02/1073.43	c 1073s |      26 | 11059287 | 10147352 |     1160  21600 |        0 |        0
1075.02/1075.45	c 1075s |      26 | 11078578 | 10165152 |     1160  21630 |        0 |        0
1077.02/1077.45	c 1077s |      26 | 11097903 | 10182852 |     1160  21659 |        0 |        0
1079.01/1079.46	c 1079s |      26 | 11117564 | 10201052 |     1160  21690 |        0 |        0
1081.02/1081.47	c 1081s |      26 | 11137745 | 10218952 |     1160  21720 |        0 |        0
1083.01/1083.47	c 1083s |      26 | 11158426 | 10237252 |     1160  21751 |        0 |        0
1085.01/1085.47	c 1085s |      26 | 11178243 | 10255152 |     1160  21781 |        0 |        0
1087.01/1087.48	c 1087s |      26 | 11198233 | 10273352 |     1160  21812 |        0 |        0
1089.01/1089.48	c 1089s |      26 | 11218610 | 10291352 |     1160  21842 |        0 |        0
1091.01/1091.49	c 1091s |      26 | 11237907 | 10309152 |     1160  21872 |        0 |        0
1093.02/1093.49	c 1093s |      26 | 11257412 | 10326852 |     1160  21902 |        0 |        0
1095.11/1095.50	c 1095s |      26 | 11276621 | 10345052 |     1160  21932 |        0 |        0
1097.11/1097.51	c 1097s |      26 | 11295985 | 10363152 |     1160  21963 |        0 |        0
1099.11/1099.51	c 1099s |      26 | 11315752 | 10380852 |     1160  21992 |        0 |        0
1101.12/1101.52	c 1101s |      26 | 11336434 | 10399552 |     1160  22024 |        0 |        0
1103.12/1103.52	c 1103s |      26 | 11356808 | 10417652 |     1160  22054 |        0 |        0
1105.12/1105.53	c 1105s |      26 | 11376882 | 10435852 |     1160  22085 |        0 |        0
1107.11/1107.53	c 1107s |      26 | 11396615 | 10453852 |     1160  22115 |        0 |        0
1109.11/1109.53	c 1109s |      26 | 11416288 | 10472152 |     1160  22146 |        0 |        0
1111.11/1111.53	c 1111s |      26 | 11435766 | 10490252 |     1160  22176 |        0 |        0
1113.11/1113.54	c 1113s |      26 | 11455332 | 10508652 |     1160  22207 |        0 |        0
1115.12/1115.54	c 1115s |      26 | 11475574 | 10527652 |     1160  22239 |        0 |        0
1117.11/1117.55	c 1117s |      26 | 11495424 | 10545952 |     1160  22270 |        0 |        0
1119.11/1119.55	c 1119s |      26 | 11515649 | 10564552 |     1160  22301 |        0 |        0
1121.11/1121.55	c 1121s |      26 | 11536068 | 10583152 |     1160  22333 |        0 |        0
1123.11/1123.56	c 1123s |      26 | 11556308 | 10601452 |     1160  22363 |        0 |        0
1125.11/1125.56	c 1125s |      26 | 11576870 | 10620152 |     1160  22395 |        0 |        0
1127.12/1127.57	c 1127s |      26 | 11597418 | 10639152 |     1160  22427 |        0 |        0
1129.11/1129.58	c 1129s |      26 | 11617120 | 10656952 |     1160  22457 |        0 |        0
1131.11/1131.59	c 1131s |      26 | 11635426 | 10673852 |     1160  22485 |        0 |        0
1133.21/1133.60	c 1133s |      26 | 11653983 | 10690852 |     1160  22513 |        0 |        0
1135.21/1135.60	c 1135s |      26 | 11672477 | 10707952 |     1160  22542 |        0 |        0
1137.21/1137.61	c 1137s |      26 | 11691556 | 10725352 |     1160  22571 |        0 |        0
1139.21/1139.62	c 1139s |      26 | 11710355 | 10742952 |     1160  22601 |        0 |        0
1141.20/1141.63	c 1141s |      26 | 11729171 | 10760352 |     1160  22630 |        0 |        0
1143.20/1143.64	c 1143s |      26 | 11747984 | 10777452 |     1160  22658 |        0 |        0
1145.20/1145.65	c 1145s |      26 | 11766371 | 10794352 |     1160  22687 |        0 |        0
1147.20/1147.66	c 1147s |      26 | 11785124 | 10811852 |     1160  22716 |        0 |        0
1149.21/1149.67	c 1149s |      26 | 11804488 | 10829652 |     1160  22746 |        0 |        0
1151.20/1151.67	c 1151s |      26 | 11823671 | 10847352 |     1160  22775 |        0 |        0
1153.20/1153.67	c 1153s |      26 | 11841777 | 10864652 |     1160  22804 |        0 |        0
1155.20/1155.68	c 1155s |      26 | 11860662 | 10881952 |     1160  22833 |        0 |        0
1157.20/1157.69	c 1157s |      26 | 11879505 | 10899452 |     1160  22863 |        0 |        0
1159.30/1159.70	c 1159s |      26 | 11899318 | 10917252 |     1160  22893 |        0 |        0
1161.30/1161.70	c 1161s |      26 | 11918281 | 10934752 |     1160  22922 |        0 |        0
1163.31/1163.71	c 1163s |      26 | 11937802 | 10952352 |     1160  22952 |        0 |        0
1165.31/1165.72	c 1165s |      26 | 11957625 | 10970152 |     1160  22981 |        0 |        0
1167.31/1167.73	c 1167s |      26 | 11977492 | 10988352 |     1160  23012 |        0 |        0
1169.31/1169.73	c 1169s |      26 | 11996039 | 11005752 |     1160  23041 |        0 |        0
1171.30/1171.74	c 1171s |      26 | 12014961 | 11023452 |     1160  23071 |        0 |        0
1173.31/1173.74	c 1173s |      26 | 12033708 | 11040852 |     1160  23100 |        0 |        0
1175.30/1175.74	c 1175s |      26 | 12053153 | 11058752 |     1160  23130 |        0 |        0
1177.30/1177.75	c 1177s |      26 | 12072488 | 11076752 |     1160  23160 |        0 |        0
1179.30/1179.76	c 1179s |      26 | 12091559 | 11094452 |     1160  23190 |        0 |        0
1181.30/1181.76	c 1181s |      26 | 12110787 | 11112352 |     1160  23220 |        0 |        0
1183.31/1183.76	c 1183s |      26 | 12130020 | 11130252 |     1160  23250 |        0 |        0
1185.30/1185.76	c 1185s |      26 | 12149996 | 11148652 |     1160  23281 |        0 |        0
1187.30/1187.78	c 1187s |      26 | 12169171 | 11166152 |     1160  23310 |        0 |        0
1189.30/1189.78	c 1189s |      26 | 12187719 | 11183152 |     1160  23339 |        0 |        0
1191.30/1191.78	c 1191s |      26 | 12207031 | 11199752 |     1160  23367 |        0 |        0
1193.40/1193.80	c 1193s |      26 | 12226497 | 11216952 |     1160  23396 |        0 |        0
1195.40/1195.80	c 1195s |      26 | 12245414 | 11234452 |     1160  23425 |        0 |        0
1197.40/1197.81	c 1197s |      26 | 12265115 | 11252052 |     1160  23454 |        0 |        0
1199.40/1199.82	c 1199s |      26 | 12284764 | 11269852 |     1160  23484 |        0 |        0
1201.39/1201.82	c 1201s |      26 | 12305195 | 11288052 |     1160  23515 |        0 |        0
1203.39/1203.82	c 1203s |      26 | 12324890 | 11305652 |     1160  23545 |        0 |        0
1205.39/1205.82	c 1205s |      26 | 12344933 | 11323952 |     1276  23574 |        0 |        0
1207.40/1207.83	c 1207s |      26 | 12363847 | 11341352 |     1276  23600 |        0 |        0
1209.39/1209.84	c 1209s |      26 | 12383471 | 11359452 |     1276  23628 |        0 |        0
1211.40/1211.85	c 1211s |      26 | 12402708 | 11377552 |     1276  23656 |        0 |        0
1213.40/1213.85	c 1213s |      26 | 12422842 | 11395352 |     1276  23683 |        0 |        0
1213.60/1214.01	c 1213s |      27 | 12424322 | 11396733 |     1276  23685 |        0 |        0
1215.60/1216.02	c 1216s |      27 | 12441020 | 11412033 |     1276  23709 |        0 |        0
1217.60/1218.03	c 1218s |      27 | 12458429 | 11427533 |     1276  23732 |        0 |        0
1219.60/1220.04	c 1220s |      27 | 12475783 | 11443333 |     1276  23757 |        0 |        0
1221.59/1222.05	c 1222s |      27 | 12493517 | 11458833 |     1276  23780 |        0 |        0
1223.59/1224.05	c 1224s |      27 | 12511202 | 11474633 |     1276  23804 |        0 |        0
1225.59/1226.06	c 1226s |      27 | 12528775 | 11490933 |     1276  23829 |        0 |        0
1227.59/1228.07	c 1228s |      27 | 12546485 | 11507233 |     1276  23854 |        0 |        0
1229.59/1230.07	c 1230s |      27 | 12564420 | 11523833 |     1276  23880 |        0 |        0
1231.60/1232.08	c 1232s |      27 | 12582344 | 11540233 |     1276  23905 |        0 |        0
1233.59/1234.09	c 1234s |      27 | 12600110 | 11556533 |     1276  23930 |        0 |        0
1235.69/1236.10	c 1236s |      27 | 12618300 | 11572633 |     1276  23955 |        0 |        0
1237.69/1238.10	c 1238s |      27 | 12636008 | 11588733 |     1276  23979 |        0 |        0
1239.69/1240.11	c 1240s |      27 | 12654136 | 11604833 |     1276  24004 |        0 |        0
1241.69/1242.11	c 1242s |      27 | 12671529 | 11620933 |     1276  24029 |        0 |        0
1243.70/1244.12	c 1244s |      27 | 12689276 | 11637233 |     1276  24054 |        0 |        0
1245.69/1246.13	c 1246s |      27 | 12706881 | 11653333 |     1276  24078 |        0 |        0
1247.69/1248.14	c 1248s |      27 | 12724865 | 11669533 |     1276  24103 |        0 |        0
1249.69/1250.14	c 1250s |      27 | 12742895 | 11686033 |     1276  24128 |        0 |        0
1251.69/1252.15	c 1252s |      27 | 12760665 | 11702533 |     1276  24153 |        0 |        0
1253.69/1254.15	c 1254s |      27 | 12778495 | 11718933 |     1276  24178 |        0 |        0
1255.69/1256.15	c 1256s |      27 | 12796490 | 11735033 |     1276  24203 |        0 |        0
1257.69/1258.16	c 1258s |      27 | 12813925 | 11751133 |     1276  24228 |        0 |        0
1259.69/1260.16	c 1260s |      27 | 12831436 | 11767533 |     1276  24253 |        0 |        0
1261.69/1262.17	c 1262s |      27 | 12849652 | 11784033 |     1276  24278 |        0 |        0
1263.68/1264.17	c 1264s |      27 | 12868214 | 11800533 |     1276  24303 |        0 |        0
1265.69/1266.17	c 1266s |      27 | 12886286 | 11817133 |     1276  24329 |        0 |        0
1267.68/1268.18	c 1268s |      27 | 12904624 | 11833233 |     1276  24353 |        0 |        0
1269.68/1270.18	c 1270s |      27 | 12922384 | 11849333 |     1276  24378 |        0 |        0
1271.68/1272.18	c 1272s |      27 | 12940608 | 11865633 |     1276  24403 |        0 |        0
1273.68/1274.19	c 1274s |      27 | 12959013 | 11882133 |     1276  24428 |        0 |        0
1275.69/1276.20	c 1276s |      27 | 12977060 | 11898633 |     1276  24453 |        0 |        0
1277.79/1278.21	c 1278s |      27 | 12995467 | 11915233 |     1276  24479 |        0 |        0
1279.78/1280.21	c 1280s |      27 | 13014469 | 11931833 |     1276  24504 |        0 |        0
1281.78/1282.22	c 1282s |      27 | 13033509 | 11948533 |     1276  24530 |        0 |        0
1283.78/1284.22	c 1284s |      27 | 13052531 | 11965433 |     1276  24556 |        0 |        0
1285.78/1286.23	c 1286s |      27 | 13070935 | 11982033 |     1276  24581 |        0 |        0
1287.79/1288.23	c 1288s |      27 | 13090156 | 11998933 |     1276  24607 |        0 |        0
1289.78/1290.24	c 1290s |      27 | 13110164 | 12015433 |     1276  24632 |        0 |        0
1291.78/1292.24	c 1292s |      27 | 13128726 | 12031933 |     1276  24657 |        0 |        0
1293.78/1294.24	c 1294s |      27 | 13147123 | 12048533 |     1276  24683 |        0 |        0
1295.78/1296.25	c 1296s |      27 | 13166227 | 12065333 |     1276  24708 |        0 |        0
1297.78/1298.25	c 1298s |      27 | 13184854 | 12082333 |     1276  24734 |        0 |        0
1299.78/1300.26	c 1300s |      27 | 13203351 | 12099133 |     1276  24760 |        0 |        0
1301.78/1302.27	c 1302s |      27 | 13222413 | 12116533 |     1276  24787 |        0 |        0
1303.78/1304.27	c 1304s |      27 | 13241757 | 12133633 |     1276  24813 |        0 |        0
1305.78/1306.28	c 1306s |      27 | 13260780 | 12150333 |     1276  24838 |        0 |        0
1307.78/1308.29	c 1308s |      27 | 13280788 | 12167433 |     1276  24865 |        0 |        0
1309.88/1310.30	c 1310s |      27 | 13299619 | 12184033 |     1276  24890 |        0 |        0
1311.89/1312.31	c 1312s |      27 | 13318484 | 12200833 |     1276  24916 |        0 |        0
1313.88/1314.31	c 1314s |      27 | 13336573 | 12217633 |     1276  24941 |        0 |        0
1315.88/1316.32	c 1316s |      27 | 13354356 | 12234033 |     1276  24966 |        0 |        0
1317.88/1318.32	c 1318s |      27 | 13372503 | 12250733 |     1276  24992 |        0 |        0
1319.88/1320.33	c 1320s |      27 | 13390750 | 12267633 |     1276  25018 |        0 |        0
1321.89/1322.34	c 1322s |      27 | 13409338 | 12284233 |     1276  25043 |        0 |        0
1323.88/1324.34	c 1324s |      27 | 13427628 | 12301033 |     1276  25069 |        0 |        0
1325.88/1326.35	c 1326s |      27 | 13446819 | 12318333 |     1276  25095 |        0 |        0
1327.88/1328.36	c 1328s |      27 | 13466011 | 12334933 |     1276  25121 |        0 |        0
1329.88/1330.36	c 1330s |      27 | 13484583 | 12351833 |     1276  25147 |        0 |        0
1331.88/1332.37	c 1332s |      27 | 13504120 | 12369033 |     1276  25173 |        0 |        0
1333.88/1334.38	c 1334s |      27 | 13524058 | 12386433 |     1276  25200 |        0 |        0
1335.88/1336.38	c 1336s |      27 | 13543541 | 12403233 |     1276  25226 |        0 |        0
1337.87/1338.38	c 1338s |      27 | 13561024 | 12419533 |     1276  25250 |        0 |        0
1339.87/1340.39	c 1340s |      27 | 13578913 | 12435933 |     1276  25276 |        0 |        0
1341.97/1342.40	c 1342s |      27 | 13596991 | 12452733 |     1276  25301 |        0 |        0
1343.97/1344.40	c 1344s |      27 | 13615395 | 12469733 |     1276  25327 |        0 |        0
1345.98/1346.41	c 1346s |      27 | 13633476 | 12486333 |     1276  25353 |        0 |        0
1347.97/1348.42	c 1348s |      27 | 13651806 | 12503133 |     1276  25378 |        0 |        0
1349.97/1350.43	c 1350s |      27 | 13670027 | 12519733 |     1276  25404 |        0 |        0
1351.97/1352.44	c 1352s |      27 | 13688172 | 12536433 |     1276  25429 |        0 |        0
1353.97/1354.44	c 1354s |      27 | 13706731 | 12553333 |     1276  25455 |        0 |        0
1355.98/1356.44	c 1356s |      27 | 13725008 | 12570333 |     1276  25481 |        0 |        0
1357.97/1358.45	c 1358s |      27 | 13743639 | 12587333 |     1276  25507 |        0 |        0
1359.98/1360.46	c 1360s |      27 | 13762602 | 12604633 |     1276  25534 |        0 |        0
1361.98/1362.47	c 1362s |      27 | 13781536 | 12621933 |     1276  25561 |        0 |        0
1363.97/1364.47	c 1364s |      27 | 13800334 | 12638533 |     1276  25586 |        0 |        0
1365.97/1366.47	c 1366s |      27 | 13819180 | 12655533 |     1276  25612 |        0 |        0
1367.98/1368.47	c 1368s |      27 | 13837434 | 12672333 |     1276  25638 |        0 |        0
1369.97/1370.48	c 1370s |      27 | 13855571 | 12689433 |     1276  25664 |        0 |        0
1371.97/1372.49	c 1372s |      27 | 13874068 | 12706633 |     1276  25690 |        0 |        0
1373.97/1374.49	c 1374s |      27 | 13892502 | 12723733 |     1276  25717 |        0 |        0
1375.97/1376.50	c 1376s |      27 | 13910977 | 12740433 |     1276  25742 |        0 |        0
1378.07/1378.50	c 1378s |      27 | 13929812 | 12757533 |     1276  25769 |        0 |        0
1380.08/1380.51	c 1380s |      27 | 13948824 | 12774833 |     1276  25795 |        0 |        0
1382.07/1382.51	c 1382s |      27 | 13967082 | 12791733 |     1276  25821 |        0 |        0
1384.07/1384.53	c 1384s |      27 | 13985823 | 12808933 |     1276  25848 |        0 |        0
1386.07/1386.54	c 1386s |      27 | 14004258 | 12825933 |     1276  25874 |        0 |        0
1388.07/1388.54	c 1388s |      27 | 14023153 | 12842633 |     1276  25899 |        0 |        0
1390.07/1390.55	c 1390s |      27 | 14042306 | 12859433 |     1276  25925 |        0 |        0
1392.06/1392.55	c 1392s |      27 | 14060757 | 12876333 |     1276  25951 |        0 |        0
1394.06/1394.55	c 1394s |      27 | 14079391 | 12893133 |     1276  25977 |        0 |        0
1396.06/1396.55	c 1396s |      27 | 14097793 | 12909733 |     1276  26002 |        0 |        0
1398.07/1398.56	c 1398s |      27 | 14116810 | 12926333 |     1276  26028 |        0 |        0
1400.07/1400.56	c 1400s |      27 | 14134645 | 12942933 |     1276  26053 |        0 |        0
1402.08/1402.57	c 1402s |      27 | 14152844 | 12959633 |     1276  26079 |        0 |        0
1404.07/1404.57	c 1404s |      27 | 14171012 | 12976533 |     1276  26105 |        0 |        0
1406.07/1406.58	c 1406s |      27 | 14189986 | 12993633 |     1276  26131 |        0 |        0
1408.07/1408.58	c 1408s |      27 | 14209037 | 13010333 |     1276  26156 |        0 |        0
1410.07/1410.59	c 1410s |      27 | 14227991 | 13027333 |     1276  26182 |        0 |        0
1412.17/1412.60	c 1412s |      27 | 14246684 | 13044233 |     1276  26208 |        0 |        0
1414.07/1414.60	c 1414s |      27 | 14264806 | 13060933 |     1276  26234 |        0 |        0
1416.16/1416.60	c 1416s |      27 | 14282894 | 13077433 |     1276  26259 |        0 |        0
1418.16/1418.61	c 1418s |      27 | 14301459 | 13094633 |     1276  26285 |        0 |        0
1420.16/1420.61	c 1420s |      27 | 14321509 | 13112333 |     1276  26313 |        0 |        0
1422.16/1422.62	c 1422s |      27 | 14341057 | 13129333 |     1276  26339 |        0 |        0
1424.17/1424.63	c 1424s |      27 | 14359779 | 13146333 |     1276  26365 |        0 |        0
1426.16/1426.63	c 1426s |      27 | 14379282 | 13163633 |     1276  26391 |        0 |        0
1428.16/1428.63	c 1428s |      27 | 14398898 | 13181133 |     1276  26418 |        0 |        0
1430.16/1430.64	c 1430s |      27 | 14417313 | 13198133 |     1276  26444 |        0 |        0
1432.16/1432.65	c 1432s |      27 | 14435986 | 13215733 |     1276  26471 |        0 |        0
1434.16/1434.66	c 1434s |      27 | 14454599 | 13233033 |     1276  26498 |        0 |        0
1436.17/1436.67	c 1436s |      27 | 14474459 | 13250433 |     1276  26524 |        0 |        0
1438.16/1438.67	c 1438s |      27 | 14493619 | 13268133 |     1276  26552 |        0 |        0
1440.16/1440.67	c 1440s |      27 | 14512355 | 13285533 |     1276  26578 |        0 |        0
1442.16/1442.68	c 1442s |      27 | 14529909 | 13301933 |     1276  26603 |        0 |        0
1444.16/1444.69	c 1444s |      27 | 14547768 | 13318533 |     1276  26629 |        0 |        0
1446.26/1446.70	c 1446s |      27 | 14565541 | 13334933 |     1276  26654 |        0 |        0
1448.16/1448.70	c 1448s |      27 | 14583808 | 13351533 |     1276  26679 |        0 |        0
1450.26/1450.70	c 1450s |      27 | 14602717 | 13368033 |     1276  26704 |        0 |        0
1452.26/1452.71	c 1452s |      27 | 14620744 | 13384733 |     1276  26730 |        0 |        0
1454.26/1454.71	c 1454s |      27 | 14638671 | 13401333 |     1276  26755 |        0 |        0
1456.26/1456.72	c 1456s |      27 | 14656701 | 13418433 |     1276  26781 |        0 |        0
1458.26/1458.73	c 1458s |      27 | 14675323 | 13435433 |     1276  26807 |        0 |        0
1460.26/1460.73	c 1460s |      27 | 14693979 | 13452533 |     1276  26834 |        0 |        0
1462.25/1462.74	c 1462s |      27 | 14713179 | 13469733 |     1276  26860 |        0 |        0
1464.25/1464.74	c 1464s |      27 | 14732030 | 13487133 |     1276  26887 |        0 |        0
1466.25/1466.75	c 1466s |      27 | 14750504 | 13504233 |     1276  26913 |        0 |        0
1468.25/1468.76	c 1468s |      27 | 14769320 | 13521733 |     1276  26940 |        0 |        0
1470.27/1470.77	c 1470s |      27 | 14788397 | 13539233 |     1276  26967 |        0 |        0
1472.26/1472.78	c 1472s |      27 | 14808008 | 13556833 |     1276  26994 |        0 |        0
1474.26/1474.78	c 1474s |      27 | 14826762 | 13574133 |     1276  27020 |        0 |        0
1476.26/1476.79	c 1476s |      27 | 14845427 | 13591533 |     1276  27047 |        0 |        0
1478.26/1478.79	c 1478s |      27 | 14864346 | 13609133 |     1276  27074 |        0 |        0
1480.36/1480.80	c 1480s |      27 | 14883684 | 13626933 |     1276  27101 |        0 |        0
1482.26/1482.80	c 1482s |      27 | 14904074 | 13644833 |     1276  27129 |        0 |        0
1484.36/1484.80	c 1484s |      27 | 14924202 | 13662833 |     1276  27156 |        0 |        0
1486.36/1486.80	c 1486s |      27 | 14942731 | 13680133 |     1276  27183 |        0 |        0
1488.36/1488.81	c 1488s |      27 | 14960673 | 13696833 |     1276  27208 |        0 |        0
1490.36/1490.81	c 1490s |      27 | 14979346 | 13714033 |     1276  27235 |        0 |        0
1492.36/1492.82	c 1492s |      27 | 14997991 | 13731333 |     1276  27261 |        0 |        0
1494.35/1494.82	c 1494s |      27 | 15017082 | 13749033 |     1276  27288 |        0 |        0
1496.35/1496.82	c 1496s |      27 | 15036674 | 13766833 |     1276  27315 |        0 |        0
1498.35/1498.83	c 1498s |      27 | 15055733 | 13784533 |     1276  27343 |        0 |        0
1500.35/1500.83	c 1500s |      27 | 15075292 | 13802733 |     1276  27370 |        0 |        0
1502.35/1502.83	c 1502s |      27 | 15093720 | 13819733 |     1276  27397 |        0 |        0
1504.36/1504.84	c 1504s |      27 | 15111280 | 13836033 |     1276  27421 |        0 |        0
1506.35/1506.84	c 1506s |      27 | 15129434 | 13852433 |     1276  27446 |        0 |        0
1508.35/1508.84	c 1508s |      27 | 15148241 | 13868933 |     1276  27472 |        0 |        0
1510.35/1510.85	c 1510s |      27 | 15167348 | 13885533 |     1276  27497 |        0 |        0
1512.35/1512.85	c 1512s |      27 | 15185781 | 13902433 |     1276  27523 |        0 |        0
1514.35/1514.86	c 1514s |      27 | 15203624 | 13918933 |     1276  27548 |        0 |        0
1516.35/1516.86	c 1516s |      27 | 15221933 | 13935433 |     1276  27573 |        0 |        0
1518.35/1518.86	c 1518s |      27 | 15240706 | 13951933 |     1276  27598 |        0 |        0
1520.34/1520.87	c 1520s |      27 | 15258840 | 13968433 |     1276  27624 |        0 |        0
1522.34/1522.87	c 1522s |      27 | 15277244 | 13985733 |     1276  27650 |        0 |        0
1524.34/1524.88	c 1524s |      27 | 15295815 | 14003033 |     1276  27677 |        0 |        0
1526.35/1526.88	c 1526s |      27 | 15314391 | 14020133 |     1276  27703 |        0 |        0
1528.34/1528.89	c 1528s |      27 | 15333058 | 14037233 |     1276  27729 |        0 |        0
1530.44/1530.90	c 1530s |      27 | 15352064 | 14054333 |     1276  27755 |        0 |        0
1532.45/1532.91	c 1532s |      27 | 15371217 | 14071233 |     1276  27781 |        0 |        0
1534.45/1534.92	c 1534s |      27 | 15389644 | 14088433 |     1276  27807 |        0 |        0
1536.45/1536.92	c 1536s |      27 | 15408396 | 14106133 |     1276  27834 |        0 |        0
1538.46/1538.93	c 1538s |      27 | 15427219 | 14123833 |     1276  27862 |        0 |        0
1540.45/1540.93	c 1540s |      27 | 15446252 | 14141333 |     1276  27888 |        0 |        0
1542.45/1542.94	c 1542s |      27 | 15464370 | 14158233 |     1276  27914 |        0 |        0
1544.45/1544.95	c 1544s |      27 | 15482961 | 14175533 |     1276  27941 |        0 |        0
1546.45/1546.95	c 1546s |      27 | 15501953 | 14193133 |     1276  27968 |        0 |        0
1548.45/1548.95	c 1548s |      27 | 15520723 | 14210433 |     1276  27994 |        0 |        0
1550.45/1550.95	c 1550s |      27 | 15540220 | 14228233 |     1276  28022 |        0 |        0
1552.44/1552.96	c 1552s |      27 | 15559304 | 14245733 |     1276  28048 |        0 |        0
1554.44/1554.96	c 1554s |      27 | 15578146 | 14263133 |     1276  28075 |        0 |        0
1556.44/1556.96	c 1556s |      27 | 15597339 | 14280833 |     1276  28102 |        0 |        0
1558.44/1558.97	c 1558s |      27 | 15616659 | 14299033 |     1276  28130 |        0 |        0
1560.45/1560.97	c 1560s |      27 | 15635539 | 14317033 |     1276  28158 |        0 |        0
1562.44/1562.97	c 1562s |      27 | 15655092 | 14335233 |     1276  28185 |        0 |        0
1564.44/1564.98	c 1564s |      27 | 15675136 | 14353633 |     1276  28214 |        0 |        0
1566.44/1566.98	c 1566s |      27 | 15693935 | 14370933 |     1276  28240 |        0 |        0
1568.44/1568.98	c 1568s |      27 | 15712943 | 14387933 |     1276  28266 |        0 |        0
1570.45/1570.99	c 1570s |      27 | 15731221 | 14405133 |     1276  28293 |        0 |        0
1572.44/1573.00	c 1572s |      27 | 15750426 | 14422833 |     1276  28320 |        0 |        0
1574.54/1575.00	c 1574s |      27 | 15770437 | 14440733 |     1276  28347 |        0 |        0
1576.54/1577.01	c 1576s |      27 | 15789312 | 14458533 |     1276  28374 |        0 |        0
1578.54/1579.02	c 1579s |      27 | 15808652 | 14476333 |     1276  28402 |        0 |        0
1580.54/1581.03	c 1581s |      27 | 15828287 | 14494533 |     1276  28430 |        0 |        0
1582.54/1583.03	c 1583s |      27 | 15849128 | 14513133 |     1276  28458 |        0 |        0
1584.54/1585.03	c 1585s |      27 | 15868669 | 14531133 |     1276  28486 |        0 |        0
1586.53/1587.04	c 1587s |      27 | 15888665 | 14549733 |     1276  28514 |        0 |        0
1588.53/1589.04	c 1589s |      27 | 15909182 | 14568133 |     1276  28543 |        0 |        0
1590.53/1591.05	c 1591s |      27 | 15929196 | 14585933 |     1276  28570 |        0 |        0
1592.53/1593.05	c 1593s |      27 | 15947710 | 14602833 |     1276  28596 |        0 |        0
1594.54/1595.05	c 1595s |      27 | 15965433 | 14619533 |     1276  28621 |        0 |        0
1596.53/1597.06	c 1597s |      27 | 15983233 | 14636333 |     1276  28647 |        0 |        0
1598.53/1599.06	c 1599s |      27 | 16000963 | 14653133 |     1276  28673 |        0 |        0
1600.53/1601.07	c 1601s |      27 | 16019277 | 14670433 |     1276  28699 |        0 |        0
1602.53/1603.08	c 1603s |      27 | 16037140 | 14687333 |     1276  28725 |        0 |        0
1604.55/1605.09	c 1605s |      27 | 16055634 | 14704633 |     1276  28751 |        0 |        0
1606.54/1607.09	c 1607s |      27 | 16073954 | 14721633 |     1276  28777 |        0 |        0
1608.54/1609.09	c 1609s |      27 | 16092761 | 14738933 |     1276  28804 |        0 |        0
1610.54/1611.09	c 1611s |      27 | 16111236 | 14755933 |     1276  28830 |        0 |        0
1612.63/1613.10	c 1613s |      27 | 16129625 | 14773233 |     1276  28856 |        0 |        0
1614.63/1615.11	c 1615s |      27 | 16148443 | 14790633 |     1276  28883 |        0 |        0
1616.64/1617.11	c 1617s |      27 | 16167638 | 14808233 |     1276  28910 |        0 |        0
1618.63/1619.12	c 1619s |      27 | 16186869 | 14825833 |     1276  28937 |        0 |        0
1620.63/1621.12	c 1621s |      27 | 16204611 | 14842333 |     1276  28962 |        0 |        0
1622.63/1623.13	c 1623s |      27 | 16222002 | 14858733 |     1276  28987 |        0 |        0
1624.63/1625.13	c 1625s |      27 | 16239982 | 14875433 |     1276  29013 |        0 |        0
1626.63/1627.14	c 1627s |      27 | 16258750 | 14892733 |     1276  29039 |        0 |        0
1628.64/1629.14	c 1629s |      27 | 16277103 | 14909433 |     1276  29065 |        0 |        0
1630.63/1631.15	c 1631s |      27 | 16296090 | 14927133 |     1276  29092 |        0 |        0
1632.63/1633.16	c 1633s |      27 | 16314371 | 14944333 |     1276  29118 |        0 |        0
1634.63/1635.16	c 1635s |      27 | 16333076 | 14961633 |     1276  29145 |        0 |        0
1636.63/1637.17	c 1637s |      27 | 16351498 | 14978933 |     1276  29171 |        0 |        0
1638.63/1639.17	c 1639s |      27 | 16370152 | 14996333 |     1276  29198 |        0 |        0
1640.63/1641.18	c 1641s |      27 | 16388849 | 15013933 |     1276  29225 |        0 |        0
1642.63/1643.19	c 1643s |      27 | 16407970 | 15032033 |     1276  29252 |        0 |        0
1644.63/1645.19	c 1645s |      27 | 16426937 | 15049533 |     1276  29279 |        0 |        0
1646.73/1647.20	c 1647s |      27 | 16447089 | 15067433 |     1276  29307 |        0 |        0
1648.73/1649.21	c 1649s |      27 | 16465836 | 15084833 |     1276  29333 |        0 |        0
1650.74/1651.21	c 1651s |      27 | 16483992 | 15102133 |     1276  29360 |        0 |        0
1652.73/1653.23	c 1653s |      27 | 16502754 | 15119833 |     1276  29387 |        0 |        0
1654.73/1655.23	c 1655s |      27 | 16522557 | 15138133 |     1276  29415 |        0 |        0
1656.73/1657.23	c 1657s |      27 | 16542119 | 15155933 |     1276  29442 |        0 |        0
1658.73/1659.24	c 1659s |      27 | 16562233 | 15174033 |     1276  29470 |        0 |        0
1660.73/1661.24	c 1661s |      27 | 16581208 | 15191433 |     1276  29497 |        0 |        0
1662.74/1663.26	c 1663s |      27 | 16601482 | 15209433 |     1276  29525 |        0 |        0
1664.73/1665.27	c 1665s |      27 | 16621361 | 15228133 |     1276  29553 |        0 |        0
1666.73/1667.27	c 1667s |      27 | 16641364 | 15245833 |     1276  29580 |        0 |        0
1668.73/1669.28	c 1669s |      27 | 16660131 | 15263233 |     1276  29607 |        0 |        0
1670.73/1671.29	c 1671s |      27 | 16679194 | 15281133 |     1276  29635 |        0 |        0
1672.73/1673.29	c 1673s |      27 | 16697709 | 15298833 |     1276  29662 |        0 |        0
1674.73/1675.29	c 1675s |      27 | 16716990 | 15317033 |     1276  29690 |        0 |        0
1676.82/1677.30	c 1677s |      27 | 16736591 | 15335033 |     1276  29717 |        0 |        0
1678.82/1679.31	c 1679s |      27 | 16756653 | 15352933 |     1276  29745 |        0 |        0
1680.82/1681.31	c 1681s |      27 | 16775969 | 15371333 |     1276  29773 |        0 |        0
1682.82/1683.32	c 1683s |      27 | 16795685 | 15389533 |     1276  29801 |        0 |        0
1684.83/1685.33	c 1685s |      27 | 16815336 | 15407633 |     1276  29829 |        0 |        0
1686.82/1687.34	c 1687s |      27 | 16835288 | 15426033 |     1276  29857 |        0 |        0
1688.82/1689.35	c 1689s |      27 | 16855316 | 15444433 |     1276  29885 |        0 |        0
1690.82/1691.35	c 1691s |      27 | 16874649 | 15462733 |     1276  29913 |        0 |        0
1692.82/1693.35	c 1693s |      27 | 16893391 | 15480333 |     1276  29940 |        0 |        0
1694.82/1695.36	c 1695s |      27 | 16912452 | 15498133 |     1276  29968 |        0 |        0
1696.83/1697.37	c 1697s |      27 | 16932597 | 15516333 |     1276  29995 |        0 |        0
1698.82/1699.37	c 1699s |      27 | 16952389 | 15534633 |     1276  30024 |        0 |        0
1700.82/1701.38	c 1701s |      27 | 16971818 | 15552633 |     1276  30051 |        0 |        0
1702.82/1703.38	c 1703s |      27 | 16992626 | 15570833 |     1276  30079 |        0 |        0
1704.82/1705.39	c 1705s |      27 | 17012297 | 15588933 |     1276  30107 |        0 |        0
1706.83/1707.39	c 1707s |      27 | 17032639 | 15607233 |     1276  30135 |        0 |        0
1708.82/1709.39	c 1709s |      27 | 17052407 | 15625633 |     1276  30163 |        0 |        0
1710.82/1711.39	c 1711s |      27 | 17073091 | 15644133 |     1276  30192 |        0 |        0
1712.92/1713.40	c 1713s |      27 | 17093458 | 15662033 |     1276  30219 |        0 |        0
1714.92/1715.41	c 1715s |      27 | 17113399 | 15679333 |     1276  30246 |        0 |        0
1716.92/1717.41	c 1717s |      27 | 17133360 | 15697533 |     1276  30274 |        0 |        0
1718.93/1719.41	c 1719s |      27 | 17155748 | 15716233 |     1276  30303 |        0 |        0
1720.92/1721.42	c 1721s |      27 | 17177145 | 15735233 |     1276  30332 |        0 |        0
1722.92/1723.42	c 1723s |      27 | 17196910 | 15753533 |     1276  30360 |        0 |        0
1724.92/1725.43	c 1725s |      27 | 17217491 | 15772033 |     1276  30388 |        0 |        0
1726.92/1727.44	c 1727s |      27 | 17238422 | 15790833 |     1276  30417 |        0 |        0
1728.92/1729.45	c 1729s |      27 | 17259208 | 15809933 |     1276  30446 |        0 |        0
1730.93/1731.45	c 1731s |      27 | 17277612 | 15826533 |     1276  30472 |        0 |        0
1732.92/1733.46	c 1733s |      27 | 17296397 | 15842933 |     1276  30497 |        0 |        0
1734.92/1735.47	c 1735s |      27 | 17314494 | 15859233 |     1276  30522 |        0 |        0
1736.92/1737.47	c 1737s |      27 | 17332905 | 15876133 |     1276  30547 |        0 |        0
1738.92/1739.48	c 1739s |      27 | 17351466 | 15893133 |     1276  30573 |        0 |        0
1740.92/1741.48	c 1741s |      27 | 17370569 | 15910233 |     1276  30600 |        0 |        0
1742.92/1743.49	c 1743s |      27 | 17389470 | 15927433 |     1276  30626 |        0 |        0
1745.01/1745.50	c 1745s |      27 | 17408779 | 15944833 |     1276  30652 |        0 |        0
1747.01/1747.51	c 1747s |      27 | 17428348 | 15962033 |     1276  30679 |        0 |        0
1749.01/1749.52	c 1749s |      27 | 17447154 | 15979433 |     1276  30705 |        0 |        0
1751.01/1751.53	c 1751s |      27 | 17465478 | 15996733 |     1276  30732 |        0 |        0
1753.02/1753.54	c 1753s |      27 | 17484676 | 16014533 |     1276  30759 |        0 |        0
1755.01/1755.55	c 1755s |      27 | 17503351 | 16031533 |     1276  30785 |        0 |        0
1757.01/1757.56	c 1757s |      27 | 17521692 | 16048133 |     1276  30810 |        0 |        0
1759.01/1759.56	c 1759s |      27 | 17540303 | 16065433 |     1276  30837 |        0 |        0
1761.01/1761.56	c 1761s |      27 | 17559072 | 16083133 |     1276  30864 |        0 |        0
1763.01/1763.57	c 1763s |      27 | 17578460 | 16101033 |     1276  30891 |        0 |        0
1765.01/1765.57	c 1765s |      27 | 17597288 | 16118133 |     1276  30918 |        0 |        0
1767.01/1767.58	c 1767s |      27 | 17616284 | 16135133 |     1276  30944 |        0 |        0
1769.01/1769.58	c 1769s |      27 | 17635143 | 16152833 |     1276  30971 |        0 |        0
1771.01/1771.58	c 1771s |      27 | 17654939 | 16170733 |     1276  30998 |        0 |        0
1773.01/1773.59	c 1773s |      27 | 17674573 | 16188733 |     1276  31026 |        0 |        0
1775.02/1775.59	c 1775s |      27 | 17693724 | 16206633 |     1276  31053 |        0 |        0
1777.01/1777.60	c 1777s |      27 | 17712557 | 16224333 |     1276  31080 |        0 |        0
1779.11/1779.60	c 1779s |      27 | 17731480 | 16241833 |     1276  31107 |        0 |        0
1781.11/1781.61	c 1781s |      27 | 17750887 | 16260133 |     1276  31135 |        0 |        0
1783.11/1783.61	c 1783s |      27 | 17770420 | 16278533 |     1276  31163 |        0 |        0
1785.11/1785.61	c 1785s |      27 | 17790504 | 16296933 |     1276  31192 |        0 |        0
1787.12/1787.62	c 1787s |      27 | 17810368 | 16315233 |     1276  31220 |        0 |        0
1789.11/1789.62	c 1789s |      27 | 17830185 | 16333233 |     1276  31247 |        0 |        0
1791.11/1791.63	c 1791s |      27 | 17848508 | 16350433 |     1276  31274 |        0 |        0
1793.11/1793.64	c 1793s |      27 | 17867240 | 16367933 |     1276  31301 |        0 |        0
1795.11/1795.65	c 1795s |      27 | 17886469 | 16385933 |     1276  31328 |        0 |        0
1797.11/1797.65	c 1797s |      27 | 17906753 | 16404433 |     1276  31357 |        0 |        0
1799.11/1799.66	c 1799s |      27 | 17926011 | 16422233 |     1276  31384 |        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-4088987-1466019589/watcher-4088987-1466019589 -o /tmp/evaluation-result-4088987-1466019589/solver-4088987-1466019589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9688 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088987-1466019589.opb 

pid=9767
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: 1.33 1.28 1.62 3/181 9770
/proc/meminfo: memFree=29752924/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 2897 0 0 0 0 0 0 0 20 0 4 0 4005321 793178112 2747 33554432000 4194304 16246674 140737262379664 140737262379088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 194159 2758 441 2943 0 191053 0
[pid=9770/tid=9771] ppid=9767 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 811003904 2817 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=796092 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 815198208 2835 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=801212 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005321 820441088 2851 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 1.33 1.28 1.62 3/181 9770
/proc/meminfo: memFree=29752924/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 28955 0 0 0 5 4 0 0 20 0 4 0 4005321 1247350784 28795 33554432000 4194304 16246674 140737262379664 140737262379088 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 304529 28808 712 2943 0 301423 0
[pid=9770/tid=9771] ppid=9767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1247350784 28816 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1247350784 28821 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005321 1247350784 28827 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200519 s]
/proc/loadavg: 1.33 1.28 1.62 3/181 9770
/proc/meminfo: memFree=29752924/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 56999 0 0 0 12 7 0 0 20 0 4 0 4005321 1247350784 56839 33554432000 4194304 16246674 140737262379664 140737262379088 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 304529 56851 712 2943 0 301423 0
[pid=9770/tid=9771] ppid=9767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1247350784 56857 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1247350784 56865 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005321 1247350784 56876 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300435 s]
/proc/loadavg: 1.33 1.28 1.62 3/181 9770
/proc/meminfo: memFree=29752924/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 85244 0 0 0 18 11 0 0 20 0 4 0 4005321 1247350784 85084 33554432000 4194304 16246674 140737262379664 140737262379088 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 304529 85099 712 2943 0 301423 0
[pid=9770/tid=9771] ppid=9767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1247350784 85107 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1247350784 85113 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005321 1247350784 85118 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700406 s]
/proc/loadavg: 1.33 1.28 1.62 3/181 9770
/proc/meminfo: memFree=29752924/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 198193 0 0 0 42 27 0 0 20 0 4 0 4005321 1247350784 198033 33554432000 4194304 16246674 140737262379664 140737262362664 5723366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 304529 198049 712 2943 0 301423 0
[pid=9770/tid=9771] ppid=9767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1247350784 198054 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1247350784 198060 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005321 1247350784 198069 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 1.33 1.28 1.62 3/182 9774
/proc/meminfo: memFree=28728264/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1305156 CPUtime=1.48 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 267281 0 0 0 113 35 0 0 20 0 4 0 4005321 1336479744 267100 33554432000 4194304 16246674 140737262379664 140737262361536 5589756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 326289 267100 789 2943 0 323183 0
[pid=9770/tid=9771] ppid=9767 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1336479744 267100 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1336479744 267100 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1336479744 267100 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 1.33 1.28 1.62 3/185 9823
/proc/meminfo: memFree=29168368/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 267386 0 0 0 273 35 0 0 20 0 4 0 4005321 1337528320 267205 33554432000 4194304 16246674 140737262379664 140737262362664 5822704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 326545 267205 789 2943 0 323439 0
[pid=9770/tid=9771] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267205 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267205 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267205 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 1.39 1.29 1.62 4/185 9823
/proc/meminfo: memFree=28263556/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 267404 0 0 0 593 36 0 0 20 0 4 0 4005321 1337528320 267223 33554432000 4194304 16246674 140737262379664 140737262361536 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 326545 267223 789 2943 0 323439 0
[pid=9770/tid=9771] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267223 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267223 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267223 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.43 1.31 1.62 3/185 9823
/proc/meminfo: memFree=28263444/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 267511 0 0 0 1233 36 0 0 20 0 4 0 4005321 1337528320 267330 33554432000 4194304 16246674 140737262379664 140737262362664 5722730 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 326545 267330 789 2943 0 323439 0
[pid=9770/tid=9771] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267330 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267330 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267330 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.56 1.34 1.63 3/186 9826
/proc/meminfo: memFree=28263956/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 267514 0 0 0 2513 36 0 0 20 0 4 0 4005321 1337528320 267333 33554432000 4194304 16246674 140737262379664 140737262362664 5754764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 326545 267333 791 2943 0 323439 0
[pid=9770/tid=9771] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267333 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267333 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267333 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.78 1.41 1.64 3/186 9826
/proc/meminfo: memFree=28263676/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 267528 0 0 0 5072 36 0 0 20 0 4 0 4005321 1337528320 267347 33554432000 4194304 16246674 140737262379664 140737262362664 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 326545 267347 792 2943 0 323439 0
[pid=9770/tid=9771] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267347 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267347 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1337528320 267347 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.10 1.54 1.67 3/185 9827
/proc/meminfo: memFree=28262008/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 267676 0 0 0 10190 38 0 0 20 0 4 0 4005321 1338576896 267495 33554432000 4194304 16246674 140737262379664 140737262362664 6012285 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 326801 267495 792 2943 0 323695 0
[pid=9770/tid=9771] ppid=9767 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1338576896 267495 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1338576896 267495 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1338576896 267495 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 268952 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.32 2.26 2.07 3/185 9881
/proc/meminfo: memFree=28247124/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1312324 CPUtime=1361.88 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 269228 0 0 0 136125 63 0 0 20 0 4 0 4005321 1343819776 268952 33554432000 4194304 16246674 140737262379664 140737262362664 13809224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 328081 268952 793 2943 0 324975 0
[pid=9770/tid=9771] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 268952 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 268952 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 268952 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.23 2.24 2.08 3/185 9882
/proc/meminfo: memFree=28245388/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1312324 CPUtime=1421.87 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 269464 0 0 0 142123 64 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140737262362664 5823863 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 328081 269188 793 2943 0 324975 0
[pid=9770/tid=9771] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.33 2.26 2.09 3/184 9883
/proc/meminfo: memFree=28243300/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1312324 CPUtime=1481.86 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 269464 0 0 0 148121 65 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140737262361536 5822548 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 328081 269188 793 2943 0 324975 0
[pid=9770/tid=9771] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.28 2.25 2.10 3/185 9885
/proc/meminfo: memFree=28243520/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1312324 CPUtime=1541.85 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 269464 0 0 0 154119 66 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140737262361536 13965472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 328081 269188 793 2943 0 324975 0
[pid=9770/tid=9771] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.22 2.24 2.10 4/185 9886
/proc/meminfo: memFree=28243620/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1312324 CPUtime=1601.83 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 269464 0 0 0 160117 66 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140737262362664 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 328081 269188 793 2943 0 324975 0
[pid=9770/tid=9771] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.12 2.21 2.09 3/185 9887
/proc/meminfo: memFree=28243848/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1312324 CPUtime=1661.83 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 269464 0 0 0 166115 68 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140737262361536 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 328081 269188 793 2943 0 324975 0
[pid=9770/tid=9771] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.26 2.23 2.10 3/185 9888
/proc/meminfo: memFree=28241476/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1312324 CPUtime=1721.82 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 269464 0 0 0 172113 69 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140737262361536 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 328081 269188 793 2943 0 324975 0
[pid=9770/tid=9771] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.31 2.26 2.12 3/185 9889
/proc/meminfo: memFree=28239844/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1312324 CPUtime=1781.81 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 269464 0 0 0 178111 70 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140737262361536 5721620 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 328081 269188 793 2943 0 324975 0
[pid=9770/tid=9771] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.38 2.27 2.12 4/185 9890
/proc/meminfo: memFree=28240220/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1312324 CPUtime=1800.01 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 269464 0 0 0 179931 70 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140737262362664 13198582 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 328081 269188 793 2943 0 324975 0
[pid=9770/tid=9771] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1312324

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

[startup+1800.5 s]
/proc/loadavg: 2.38 2.27 2.12 4/185 9890
/proc/meminfo: memFree=28240220/32872528 swapFree=1481856/1661728
[pid=9770] ppid=9767 vsize=1312324 CPUtime=1800.01 cores=0,2,4,6
/proc/9770/stat : 9770 (toysat) R 9767 9770 6232 0 -1 4202496 269464 0 0 0 179931 70 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140737262362664 13198582 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9770/statm: 328081 269188 793 2943 0 324975 0
[pid=9770/tid=9771] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9771/stat : 9771 (toysat) S 9767 9770 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478822460656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9770/tid=9772] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9772/stat : 9772 (toysat) S 9767 9770 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478811970800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9770/tid=9773] ppid=9767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9770/task/9773/stat : 9773 (toysat) S 9767 9770 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4005321 1343819776 269188 33554432000 4194304 16246674 140737262379664 140478801497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1312324

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.32
CPU system time (s): 0.703892
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.703892
maximum resident set size= 1076752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269464
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= 364
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46332 second user time and 7.08092 second system time

The end

Begin job on node134 at 2016-06-15 21:39:49
IDJOB=4088987
IDBENCH=107342
IDSOLVER=2542
FILE ID=node134/4088987-1466019589
RUNJOBID= node134-1466019588-9688
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid4x23.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088987-1466019589/watcher-4088987-1466019589 -o /tmp/evaluation-result-4088987-1466019589/solver-4088987-1466019589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9688 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088987-1466019589.opb

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

MD5SUM BENCH= 4dbd1841c7857e29f8a2b97876764ec3
RANDOM SEED=1328283603

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29772556 kB
Buffers:           12052 kB
Cached:            76576 kB
SwapCached:        17304 kB
Active:           694428 kB
Inactive:          42100 kB
Active(anon):     632068 kB
Inactive(anon):    17948 kB
Active(file):      62360 kB
Inactive(file):    24152 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083696 kB
Dirty:             32984 kB
Writeback:             0 kB
AnonPages:       2296696 kB
Mapped:             9800 kB
Shmem:                 0 kB
Slab:             567536 kB
SReclaimable:      10976 kB
SUnreclaim:       556560 kB
KernelStack:        1536 kB
PageTables:         9496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2790116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 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 node134 at 2016-06-15 22:09:50