0.00/0.00	c 2016-06-19T15:10:15+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","--wbo","--search=bcd2","HOME/instance-4109166-1466341815.wbo"]
0.00/0.01	c use --random-gen="2978068168 3974356915 715097239 941972076 2672948878 2726386976 1767158814 2627299728 3440223248 2254837429 4062756510 2270478192 1707686729 3635037166 2674069678 2364112223 2971435406 2518759736 563417697 3238401969 3729023952 3839743478 2836471169 2548144504 1542236880 1176523346 2321503519 42432619 271908447 63272135 2890466981 2237916217 3769273050 359023164 451106605 3853944086 682707957 3849144987 1178455263 1827682053 2852097528 2606050754 3126209764 1413992590 2952691125 3620208611 1853623761 569977721 3822112308 2159678495 3565199618 380091376 3802185820 1566147093 1028709394 2897852692 503953399 3255800939 3488077000 3000311464 3671791765 4222290864 2479019854 2910139898 1756496799 3111733653 2753134935 616875796 3569023137 1781522946 1416370669 1833486901 226570284 3905584890 374068623 4281819982 1361284043 3839172817 1586038077 1608691038 1851829132 1207621224 4024370411 3824211224 954168679 499727455 249255005 3107834668 3002206802 2280295136 2838005076 3582941737 4193708895 3631345213 252741807 2054448536 350676554 855974695 1638212470 2185606761 4003710386 3199581158 2235492257 2660591467 1515507570 1340788286 2229387224 3279498297 1865575972 680826920 1776844262 4107405236 3207822848 265795993 424193437 2856455921 2394428797 362142933 4237050040 2200118075 1325475088 2831960934 170629352 2618633542 2041334646 2233846730 1670823022 3163450954 4150332773 399211248 3059331349 2028469785 693301967 2630792338 3103432942 1456082608 3485207452 4220352222 2291118103 766090926 1249972286 614223668 3759518206 156608650 316098301 198287585 1529109480 3187576348 1140996682 2871979225 2513738820 1572287297 3984926697 3142405212 674631762 4252036008 3542550524 3570134090 3743307330 108136066 4216167677 1146277190 4007006611 2690441927 2073533417 3575616484 2835456007 463787537 543700696 4288189275 3685264007 2260981036 707032225 1567268880 1079672596 4039653119 1790804288 3088457889 3111423133 554040441 3522442664 3753009911 3603258812 3908341437 2746972519 2031317369 199275340 2211269728 701721064 3453788277 3250613643 13243376 2949600428 3035505717 3773970245 3008429209 156080314 309855850 3749698911 3080188510 1824344869 1535560121 2957867693 3566483302 158216915 2262555313 1516975916 2667969043 1785102943 2773504506 2442206279 1571754837 1030020989 3709089966 3674361591 20132456 3946312883 3664515488 1123209957 414536696 1485365369 2518236413 1800381457 577195582 4087701110 4094726576 2502244793 247205562 4097939411 2561512284 154756560 2888415447 2388182057 3051716223 2864460073 3423700145 2892795332 504703982 3223289966 3256608479 2752509051 2732021461 1220229810 3701285867 3359699659 2803790489 971257069 522709584 4244313496 4238812542 2706573675 283083197 3771299007 1597999703 4200326480 3324514313 255 362436" option to reproduce the execution
0.00/0.02	c #vars 300
0.00/0.02	c #constraints 50
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      122      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      144 |      100 |      122      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      329 |      108 |      135      0 |        0 |        0
0.00/0.04	c #cpu_time = 0.014s
0.00/0.04	c #wall_clock_time = 0.014s
0.00/0.04	c #decision = 329
0.00/0.04	c #random_decision = 2
0.00/0.04	c #conflict = 108
0.00/0.04	c #restart = 1
0.00/0.04	o 457
0.00/0.04	c BCD2: updating upper bound: 837 -> 456
0.00/0.04	c BCD2: 0 <= obj <= 456
0.00/0.04	c BCD2: #cores=0, #unrelaxed=18, #relaxed=0, #hardened=0
0.00/0.04	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      135      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      212 |      100 |      135      0 |        0 |        0
0.00/0.08	c  0.0s |       2 |      455 |      250 |      149      1 |        0 |        0
0.08/0.12	c  0.1s |       3 |      798 |      475 |      164      3 |        0 |        0
0.08/0.19	c  0.2s |       4 |     1342 |      813 |      181      6 |        0 |        0
0.19/0.29	c  0.3s |       5 |     2026 |     1320 |      200      9 |        0 |        0
0.39/0.45	c  0.4s |       6 |     3088 |     2081 |      221     14 |        0 |        0
0.69/0.71	c  0.7s |       7 |     4542 |     3223 |      244     21 |        0 |        0
0.99/1.04	c  1.0s |       8 |     6907 |     4936 |      269     32 |        0 |        0
1.39/1.44	c  1.4s |       9 |    10476 |     7506 |      296     46 |        0 |        0
1.99/2.08	c  2.0s |      10 |    15366 |    11361 |      326     66 |        0 |        0
2.89/2.99	c  3.0s |      11 |    22536 |    17144 |      359     94 |        0 |        0
4.39/4.45	c  4.4s |      12 |    32904 |    25819 |      395    132 |        0 |        0
6.39/6.46	c  6.4s |      12 |    47721 |    38219 |      395    184 |        0 |        0
6.49/6.56	c  6.5s |      13 |    48502 |    38832 |      435    187 |        0 |        0
8.49/8.56	c  8.5s |      13 |    63496 |    51832 |      435    240 |        0 |        0
9.49/9.57	c  9.5s |      14 |    70954 |    58352 |      479    266 |        0 |        0
11.49/11.57	c 11.5s |      14 |    85211 |    70552 |      479    310 |        0 |        0
13.49/13.58	c 13.5s |      14 |    98634 |    82252 |      479    350 |        0 |        0
14.48/14.56	c 14.5s |      15 |   104776 |    87632 |      527    369 |        0 |        0
16.49/16.57	c 16.5s |      15 |   117556 |    98332 |      527    404 |        0 |        0
18.48/18.58	c 18.5s |      15 |   131341 |   110232 |      527    443 |        0 |        0
20.48/20.58	c 20.5s |      15 |   144000 |   121332 |      527    479 |        0 |        0
22.48/22.58	c 22.5s |      16 |   155587 |   131552 |      580    512 |        0 |        0
24.48/24.60	c 24.6s |      16 |   169163 |   142652 |      580    546 |        0 |        0
26.58/26.60	c 26.6s |      16 |   179821 |   152152 |      580    575 |        0 |        0
28.59/28.61	c 28.6s |      16 |   190659 |   161652 |      580    603 |        0 |        0
30.58/30.61	c 30.6s |      16 |   201648 |   171252 |      580    632 |        0 |        0
32.58/32.63	c 32.6s |      16 |   212930 |   181152 |      580    662 |        0 |        0
34.58/34.65	c 34.6s |      16 |   224674 |   191552 |      580    693 |        0 |        0
35.78/35.85	c 35.8s |      17 |   231286 |   197432 |      638    710 |        0 |        0
37.78/37.85	c 37.8s |      17 |   244387 |   208932 |      638    742 |        0 |        0
39.78/39.87	c 39.8s |      17 |   256915 |   219932 |      638    773 |        0 |        0
41.79/41.88	c 41.8s |      17 |   268909 |   230432 |      638    802 |        0 |        0
43.78/43.89	c 43.9s |      17 |   280030 |   240232 |      638    829 |        0 |        0
45.88/45.90	c 45.9s |      17 |   291187 |   249932 |      638    856 |        0 |        0
47.88/47.93	c 47.9s |      17 |   301905 |   259232 |      638    882 |        0 |        0
49.88/49.93	c 49.9s |      17 |   313673 |   269632 |      638    911 |        0 |        0
51.88/51.94	c 51.9s |      17 |   325218 |   279632 |      638    938 |        0 |        0
53.88/53.95	c 53.9s |      17 |   336288 |   289332 |      638    965 |        0 |        0
55.28/55.36	c 55.3s |      18 |   344116 |   296252 |      702    984 |        0 |        0
57.28/57.38	c 57.3s |      18 |   355858 |   306452 |      702   1010 |        0 |        0
59.28/59.40	c 59.4s |      18 |   367799 |   316852 |      702   1036 |        0 |        0
61.38/61.41	c 61.4s |      18 |   379171 |   326752 |      702   1061 |        0 |        0
63.38/63.43	c 63.4s |      18 |   389513 |   335952 |      702   1085 |        0 |        0
65.38/65.43	c 65.4s |      18 |   400310 |   345552 |      702   1109 |        0 |        0
67.37/67.45	c 67.4s |      18 |   410621 |   354752 |      702   1132 |        0 |        0
69.38/69.46	c 69.4s |      18 |   421219 |   364252 |      702   1157 |        0 |        0
71.37/71.47	c 71.4s |      18 |   431205 |   373152 |      702   1179 |        0 |        0
73.37/73.49	c 73.5s |      18 |   441009 |   381952 |      702   1202 |        0 |        0
75.47/75.51	c 75.5s |      18 |   451157 |   391052 |      702   1225 |        0 |        0
77.47/77.52	c 77.5s |      18 |   461037 |   399852 |      702   1247 |        0 |        0
79.47/79.54	c 79.5s |      18 |   471596 |   409252 |      702   1271 |        0 |        0
81.49/81.56	c 81.5s |      18 |   481875 |   418352 |      702   1294 |        0 |        0
83.48/83.57	c 83.5s |      18 |   492418 |   427652 |      702   1318 |        0 |        0
85.48/85.58	c 85.5s |      18 |   503831 |   437552 |      702   1344 |        0 |        0
86.99/87.04	c 87.0s |      19 |   511759 |   444482 |      773   1361 |        0 |        0
88.98/89.05	c 89.0s |      19 |   522719 |   454082 |      773   1383 |        0 |        0
90.98/91.07	c 91.0s |      19 |   533617 |   463582 |      773   1405 |        0 |        0
92.98/93.07	c 93.0s |      19 |   543556 |   472482 |      773   1426 |        0 |        0
94.98/95.08	c 95.0s |      19 |   553748 |   481582 |      773   1447 |        0 |        0
96.98/97.10	c 97.1s |      19 |   564492 |   491082 |      773   1469 |        0 |        0
99.08/99.11	c 99.1s |      19 |   574762 |   500282 |      773   1491 |        0 |        0
101.07/101.12	c  101s |      19 |   584695 |   509182 |      773   1511 |        0 |        0
103.07/103.13	c  103s |      19 |   594778 |   518182 |      773   1533 |        0 |        0
105.07/105.14	c  105s |      19 |   605502 |   527682 |      773   1555 |        0 |        0
107.07/107.15	c  107s |      19 |   615975 |   536982 |      773   1576 |        0 |        0
109.07/109.15	c  109s |      19 |   626236 |   546082 |      773   1598 |        0 |        0
111.08/111.16	c  111s |      19 |   635971 |   554682 |      773   1618 |        0 |        0
113.07/113.17	c  113s |      19 |   645294 |   563082 |      773   1637 |        0 |        0
115.07/115.18	c  115s |      19 |   654316 |   571182 |      773   1656 |        0 |        0
117.07/117.19	c  117s |      19 |   663583 |   579282 |      773   1675 |        0 |        0
119.17/119.21	c  119s |      19 |   673641 |   588182 |      773   1696 |        0 |        0
121.17/121.23	c  121s |      19 |   683154 |   596682 |      773   1716 |        0 |        0
123.18/123.23	c  123s |      19 |   692860 |   605282 |      773   1736 |        0 |        0
125.17/125.24	c  125s |      19 |   702735 |   613882 |      773   1756 |        0 |        0
127.17/127.25	c  127s |      19 |   712266 |   622282 |      773   1775 |        0 |        0
129.17/129.25	c  129s |      19 |   722179 |   631082 |      773   1796 |        0 |        0
131.17/131.25	c  131s |      19 |   731817 |   639682 |      773   1816 |        0 |        0
133.18/133.27	c  133s |      19 |   742248 |   648882 |      773   1837 |        0 |        0
135.17/135.28	c  135s |      19 |   752043 |   657582 |      773   1858 |        0 |        0
137.17/137.23	c  137s |      20 |   762688 |   666827 |      851   1878 |        0 |        0
139.17/139.23	c  139s |      20 |   773803 |   676127 |      851   1898 |        0 |        0
141.17/141.24	c  141s |      20 |   784738 |   685527 |      851   1918 |        0 |        0
143.17/143.25	c  143s |      20 |   795719 |   694927 |      851   1938 |        0 |        0
145.17/145.27	c  145s |      20 |   806184 |   704027 |      851   1957 |        0 |        0
147.17/147.28	c  147s |      20 |   816007 |   712527 |      851   1975 |        0 |        0
149.17/149.29	c  149s |      20 |   825292 |   720627 |      851   1992 |        0 |        0
151.27/151.31	c  151s |      20 |   834741 |   728927 |      851   2010 |        0 |        0
153.26/153.31	c  153s |      20 |   843636 |   736827 |      851   2027 |        0 |        0
155.26/155.32	c  155s |      20 |   852307 |   744627 |      851   2043 |        0 |        0
157.27/157.33	c  157s |      20 |   861806 |   752927 |      851   2061 |        0 |        0
159.26/159.34	c  159s |      20 |   871801 |   761627 |      851   2079 |        0 |        0
161.26/161.35	c  161s |      20 |   881922 |   770327 |      851   2098 |        0 |        0
163.26/163.35	c  163s |      20 |   891259 |   778527 |      851   2115 |        0 |        0
165.26/165.36	c  165s |      20 |   901346 |   787027 |      851   2133 |        0 |        0
167.27/167.36	c  167s |      20 |   910906 |   795427 |      851   2151 |        0 |        0
169.26/169.38	c  169s |      20 |   921062 |   804327 |      851   2170 |        0 |        0
171.26/171.38	c  171s |      20 |   930949 |   813027 |      851   2188 |        0 |        0
173.26/173.39	c  173s |      20 |   940118 |   821127 |      851   2206 |        0 |        0
175.36/175.41	c  175s |      20 |   949791 |   829427 |      851   2223 |        0 |        0
177.36/177.41	c  177s |      20 |   958363 |   836827 |      851   2239 |        0 |        0
179.36/179.44	c  179s |      20 |   967085 |   844327 |      851   2255 |        0 |        0
181.36/181.45	c  181s |      20 |   975687 |   851827 |      851   2271 |        0 |        0
183.36/183.47	c  183s |      20 |   983635 |   858727 |      851   2286 |        0 |        0
185.36/185.47	c  185s |      20 |   991293 |   865727 |      851   2301 |        0 |        0
187.37/187.50	c  187s |      20 |  1000351 |   873727 |      851   2318 |        0 |        0
189.47/189.52	c  189s |      20 |  1010649 |   882427 |      851   2336 |        0 |        0
191.47/191.53	c  191s |      20 |  1019920 |   890327 |      851   2353 |        0 |        0
193.46/193.55	c  193s |      20 |  1029241 |   898327 |      851   2371 |        0 |        0
195.46/195.56	c  195s |      20 |  1038740 |   906327 |      851   2388 |        0 |        0
197.46/197.56	c  197s |      20 |  1048366 |   914527 |      851   2405 |        0 |        0
199.46/199.58	c  199s |      20 |  1057626 |   922727 |      851   2423 |        0 |        0
201.46/201.58	c  201s |      20 |  1066278 |   930327 |      851   2439 |        0 |        0
203.47/203.58	c  203s |      20 |  1075894 |   938527 |      851   2457 |        0 |        0
205.46/205.58	c  205s |      20 |  1085313 |   946727 |      851   2474 |        0 |        0
207.56/207.60	c  207s |      20 |  1094354 |   954727 |      851   2491 |        0 |        0
209.56/209.61	c  209s |      20 |  1104708 |   963027 |      851   2509 |        0 |        0
211.56/211.62	c  211s |      20 |  1113783 |   970827 |      851   2526 |        0 |        0
213.56/213.65	c  213s |      20 |  1123836 |   979527 |      851   2545 |        0 |        0
215.56/215.65	c  215s |      20 |  1133441 |   987727 |      851   2562 |        0 |        0
217.56/217.67	c  217s |      20 |  1143001 |   996027 |      937   2579 |        0 |        0
218.66/218.71	c  218s |      21 |  1147897 |  1000345 |      937   2588 |        0 |        0
220.66/220.73	c  220s |      21 |  1158612 |  1009045 |      937   2605 |        0 |        0
222.66/222.73	c  222s |      21 |  1168309 |  1017345 |      937   2622 |        0 |        0
224.66/224.74	c  224s |      21 |  1177565 |  1025245 |      937   2637 |        0 |        0
226.66/226.76	c  226s |      21 |  1187202 |  1033645 |      937   2653 |        0 |        0
228.66/228.77	c  228s |      21 |  1196504 |  1041745 |      937   2669 |        0 |        0
230.65/230.79	c  230s |      21 |  1206161 |  1050345 |      937   2686 |        0 |        0
232.65/232.80	c  232s |      21 |  1215627 |  1058645 |      937   2702 |        0 |        0
234.75/234.80	c  234s |      21 |  1224427 |  1066445 |      937   2717 |        0 |        0
236.75/236.81	c  236s |      21 |  1233529 |  1074445 |      937   2733 |        0 |        0
238.76/238.83	c  238s |      21 |  1242744 |  1082645 |      937   2749 |        0 |        0
240.75/240.86	c  240s |      21 |  1250654 |  1089845 |      937   2763 |        0 |        0
242.75/242.87	c  242s |      21 |  1258224 |  1096645 |      937   2776 |        0 |        0
244.75/244.89	c  244s |      21 |  1266827 |  1104245 |      937   2791 |        0 |        0
246.75/246.89	c  246s |      21 |  1275406 |  1111845 |      937   2805 |        0 |        0
248.85/248.91	c  248s |      21 |  1283791 |  1119245 |      937   2820 |        0 |        0
250.86/250.94	c  250s |      21 |  1291618 |  1126245 |      937   2834 |        0 |        0
252.85/252.95	c  252s |      21 |  1299511 |  1133345 |      937   2847 |        0 |        0
254.85/254.97	c  254s |      21 |  1309488 |  1141845 |      937   2864 |        0 |        0
256.85/256.99	c  256s |      21 |  1319149 |  1150145 |      937   2880 |        0 |        0
258.95/259.00	c  258s |      21 |  1327958 |  1157945 |      937   2895 |        0 |        0
260.95/261.03	c  260s |      21 |  1336775 |  1165645 |      937   2910 |        0 |        0
262.95/263.04	c  263s |      21 |  1345761 |  1173645 |      937   2926 |        0 |        0
264.95/265.05	c  265s |      21 |  1355017 |  1181745 |      937   2942 |        0 |        0
266.95/267.07	c  267s |      21 |  1364853 |  1190345 |      937   2959 |        0 |        0
268.95/269.09	c  269s |      21 |  1374394 |  1198745 |      937   2975 |        0 |        0
271.05/271.10	c  271s |      21 |  1383858 |  1207145 |      937   2991 |        0 |        0
273.05/273.12	c  273s |      21 |  1392540 |  1214745 |      937   3006 |        0 |        0
275.05/275.13	c  275s |      21 |  1401814 |  1223045 |      937   3023 |        0 |        0
277.04/277.15	c  277s |      21 |  1409991 |  1230245 |      937   3037 |        0 |        0
279.04/279.17	c  279s |      21 |  1419236 |  1238345 |      937   3052 |        0 |        0
281.04/281.18	c  281s |      21 |  1427866 |  1246045 |      937   3068 |        0 |        0
283.14/283.21	c  283s |      21 |  1437176 |  1254245 |      937   3084 |        0 |        0
285.14/285.22	c  285s |      21 |  1446358 |  1262345 |      937   3100 |        0 |        0
287.16/287.23	c  287s |      21 |  1454799 |  1269845 |      937   3114 |        0 |        0
289.15/289.24	c  289s |      21 |  1463325 |  1277445 |      937   3129 |        0 |        0
291.15/291.26	c  291s |      21 |  1471700 |  1284945 |      937   3144 |        0 |        0
293.15/293.29	c  293s |      21 |  1480414 |  1292645 |      937   3159 |        0 |        0
295.25/295.30	c  295s |      21 |  1489647 |  1300745 |      937   3175 |        0 |        0
297.25/297.31	c  297s |      21 |  1498168 |  1308345 |      937   3190 |        0 |        0
299.26/299.32	c  299s |      21 |  1506610 |  1315945 |      937   3204 |        0 |        0
301.25/301.32	c  301s |      21 |  1515446 |  1323745 |      937   3219 |        0 |        0
303.25/303.34	c  303s |      21 |  1525196 |  1332145 |      937   3236 |        0 |        0
305.25/305.35	c  305s |      21 |  1534249 |  1340045 |      937   3251 |        0 |        0
307.25/307.36	c  307s |      21 |  1542983 |  1347845 |      937   3266 |        0 |        0
309.25/309.37	c  309s |      21 |  1551540 |  1355345 |      937   3281 |        0 |        0
311.25/311.37	c  311s |      21 |  1560367 |  1363145 |      937   3296 |        0 |        0
313.24/313.39	c  313s |      21 |  1568694 |  1370545 |      937   3310 |        0 |        0
315.34/315.42	c  315s |      21 |  1576918 |  1377845 |      937   3325 |        0 |        0
317.34/317.44	c  317s |      21 |  1585747 |  1385645 |      937   3340 |        0 |        0
319.34/319.44	c  319s |      21 |  1594983 |  1393645 |      937   3355 |        0 |        0
321.34/321.45	c  321s |      21 |  1604564 |  1401945 |      937   3372 |        0 |        0
323.35/323.46	c  323s |      21 |  1613915 |  1410145 |      937   3388 |        0 |        0
325.34/325.48	c  325s |      21 |  1623443 |  1418545 |      937   3404 |        0 |        0
327.34/327.49	c  327s |      21 |  1633617 |  1427345 |      937   3421 |        0 |        0
329.44/329.51	c  329s |      21 |  1642760 |  1435445 |      937   3437 |        0 |        0
331.44/331.53	c  331s |      21 |  1651695 |  1443445 |      937   3453 |        0 |        0
333.44/333.53	c  333s |      21 |  1660660 |  1451345 |      937   3468 |        0 |        0
335.44/335.53	c  335s |      21 |  1669993 |  1459245 |      937   3484 |        0 |        0
337.44/337.55	c  337s |      21 |  1678823 |  1466845 |      937   3498 |        0 |        0
339.44/339.56	c  339s |      21 |  1687341 |  1474145 |      937   3513 |        0 |        0
341.44/341.56	c  341s |      21 |  1696297 |  1481545 |      937   3527 |        0 |        0
343.43/343.58	c  343s |      21 |  1705304 |  1489045 |      937   3542 |        0 |        0
345.44/345.59	c  345s |      21 |  1714305 |  1496645 |     1031   3556 |        0 |        0
346.54/346.67	c  346s |      22 |  1718861 |  1500622 |     1031   3563 |        0 |        0
348.53/348.68	c  348s |      22 |  1728024 |  1508522 |     1031   3577 |        0 |        0
350.63/350.70	c  350s |      22 |  1735766 |  1515522 |     1031   3589 |        0 |        0
352.63/352.72	c  352s |      22 |  1745437 |  1523922 |     1031   3604 |        0 |        0
354.63/354.73	c  354s |      22 |  1755063 |  1532322 |     1031   3620 |        0 |        0
356.63/356.74	c  356s |      22 |  1764849 |  1540922 |     1031   3635 |        0 |        0
358.64/358.75	c  358s |      22 |  1774706 |  1549522 |     1031   3650 |        0 |        0
360.63/360.76	c  360s |      22 |  1783654 |  1557622 |     1031   3665 |        0 |        0
362.64/362.76	c  362s |      22 |  1793295 |  1566022 |     1031   3680 |        0 |        0
364.64/364.76	c  364s |      22 |  1803013 |  1574422 |     1031   3695 |        0 |        0
366.64/366.78	c  366s |      22 |  1812384 |  1582522 |     1031   3709 |        0 |        0
368.74/368.80	c  368s |      22 |  1821709 |  1590522 |     1031   3724 |        0 |        0
370.74/370.82	c  370s |      22 |  1830583 |  1598222 |     1031   3738 |        0 |        0
372.74/372.84	c  372s |      22 |  1839880 |  1606222 |     1031   3752 |        0 |        0
374.74/374.85	c  374s |      22 |  1848422 |  1613722 |     1031   3765 |        0 |        0
376.74/376.86	c  376s |      22 |  1856708 |  1621022 |     1031   3778 |        0 |        0
378.74/378.87	c  378s |      22 |  1865303 |  1628522 |     1031   3792 |        0 |        0
380.74/380.88	c  380s |      22 |  1873448 |  1635722 |     1031   3805 |        0 |        0
382.74/382.88	c  382s |      22 |  1881677 |  1643022 |     1031   3817 |        0 |        0
384.73/384.88	c  384s |      22 |  1890198 |  1650622 |     1031   3831 |        0 |        0
386.83/386.91	c  386s |      22 |  1898949 |  1658322 |     1031   3845 |        0 |        0
388.83/388.91	c  388s |      22 |  1907451 |  1666022 |     1031   3858 |        0 |        0
390.83/390.92	c  390s |      22 |  1915763 |  1673522 |     1031   3872 |        0 |        0
392.83/392.92	c  392s |      22 |  1924061 |  1680922 |     1031   3885 |        0 |        0
394.84/394.95	c  394s |      22 |  1932371 |  1688422 |     1031   3898 |        0 |        0
396.83/396.95	c  396s |      22 |  1940671 |  1696022 |     1031   3912 |        0 |        0
398.83/398.98	c  398s |      22 |  1949836 |  1703822 |     1031   3926 |        0 |        0
400.83/401.00	c  400s |      22 |  1958876 |  1711622 |     1031   3940 |        0 |        0
402.93/403.02	c  402s |      22 |  1967299 |  1719022 |     1031   3953 |        0 |        0
404.93/405.03	c  404s |      22 |  1975933 |  1726522 |     1031   3966 |        0 |        0
406.94/407.05	c  407s |      22 |  1984891 |  1734222 |     1031   3980 |        0 |        0
408.93/409.06	c  409s |      22 |  1993461 |  1741722 |     1031   3994 |        0 |        0
410.93/411.06	c  411s |      22 |  2001531 |  1748822 |     1031   4006 |        0 |        0
412.93/413.09	c  413s |      22 |  2009713 |  1756222 |     1031   4019 |        0 |        0
415.03/415.10	c  415s |      22 |  2017581 |  1763322 |     1031   4032 |        0 |        0
417.03/417.12	c  417s |      22 |  2025010 |  1770022 |     1031   4044 |        0 |        0
419.03/419.15	c  419s |      22 |  2034440 |  1778222 |     1031   4059 |        0 |        0
421.03/421.15	c  421s |      22 |  2042842 |  1785822 |     1031   4072 |        0 |        0
423.02/423.17	c  423s |      22 |  2051852 |  1793822 |     1031   4086 |        0 |        0
425.02/425.18	c  425s |      22 |  2062252 |  1802122 |     1031   4101 |        0 |        0
427.12/427.21	c  427s |      22 |  2071411 |  1810022 |     1031   4116 |        0 |        0
429.12/429.21	c  429s |      22 |  2080905 |  1818322 |     1031   4131 |        0 |        0
431.13/431.23	c  431s |      22 |  2089991 |  1826422 |     1031   4145 |        0 |        0
433.12/433.25	c  433s |      22 |  2099113 |  1834522 |     1031   4160 |        0 |        0
435.12/435.28	c  435s |      22 |  2107865 |  1842222 |     1031   4174 |        0 |        0
437.12/437.30	c  437s |      22 |  2116254 |  1849622 |     1031   4187 |        0 |        0
439.22/439.32	c  439s |      22 |  2123888 |  1856522 |     1031   4199 |        0 |        0
441.22/441.33	c  441s |      22 |  2131887 |  1863722 |     1031   4212 |        0 |        0
443.23/443.34	c  443s |      22 |  2140429 |  1871322 |     1031   4225 |        0 |        0
445.22/445.34	c  445s |      22 |  2149610 |  1879422 |     1031   4240 |        0 |        0
447.22/447.35	c  447s |      22 |  2159439 |  1887622 |     1031   4255 |        0 |        0
449.22/449.36	c  449s |      22 |  2169260 |  1896022 |     1031   4270 |        0 |        0
451.22/451.37	c  451s |      22 |  2177988 |  1903922 |     1031   4284 |        0 |        0
453.23/453.38	c  453s |      22 |  2185788 |  1911022 |     1031   4297 |        0 |        0
455.22/455.38	c  455s |      22 |  2194790 |  1918822 |     1031   4310 |        0 |        0
457.22/457.38	c  457s |      22 |  2202672 |  1925922 |     1031   4323 |        0 |        0
459.22/459.39	c  459s |      22 |  2211005 |  1933122 |     1031   4336 |        0 |        0
461.32/461.41	c  461s |      22 |  2219501 |  1940422 |     1031   4349 |        0 |        0
463.32/463.43	c  463s |      22 |  2228260 |  1948022 |     1031   4363 |        0 |        0
465.32/465.44	c  465s |      22 |  2237429 |  1956122 |     1031   4377 |        0 |        0
467.32/467.46	c  467s |      22 |  2246434 |  1964022 |     1031   4391 |        0 |        0
469.32/469.48	c  469s |      22 |  2254986 |  1971622 |     1031   4405 |        0 |        0
471.32/471.49	c  471s |      22 |  2263795 |  1979322 |     1031   4418 |        0 |        0
473.31/473.49	c  473s |      22 |  2271748 |  1986422 |     1031   4431 |        0 |        0
475.41/475.50	c  475s |      22 |  2279991 |  1993722 |     1031   4444 |        0 |        0
477.42/477.52	c  477s |      22 |  2288106 |  2000922 |     1031   4457 |        0 |        0
479.41/479.52	c  479s |      22 |  2296614 |  2008522 |     1031   4470 |        0 |        0
481.41/481.55	c  481s |      22 |  2304929 |  2016022 |     1031   4484 |        0 |        0
483.41/483.56	c  483s |      22 |  2313519 |  2023722 |     1031   4498 |        0 |        0
485.41/485.59	c  485s |      22 |  2321883 |  2031322 |     1031   4511 |        0 |        0
487.41/487.59	c  487s |      22 |  2330147 |  2038722 |     1031   4524 |        0 |        0
489.42/489.59	c  489s |      22 |  2338239 |  2045922 |     1031   4537 |        0 |        0
491.51/491.61	c  491s |      22 |  2346966 |  2053622 |     1031   4551 |        0 |        0
493.51/493.62	c  493s |      22 |  2355670 |  2061322 |     1031   4565 |        0 |        0
495.51/495.63	c  495s |      22 |  2364549 |  2069122 |     1031   4579 |        0 |        0
497.51/497.66	c  497s |      22 |  2373009 |  2076522 |     1031   4592 |        0 |        0
499.52/499.67	c  499s |      22 |  2381399 |  2083922 |     1031   4605 |        0 |        0
501.52/501.68	c  501s |      22 |  2390377 |  2091822 |     1031   4620 |        0 |        0
503.52/503.68	c  503s |      22 |  2401083 |  2101222 |     1031   4636 |        0 |        0
505.52/505.69	c  505s |      22 |  2411096 |  2110022 |     1031   4652 |        0 |        0
507.52/507.69	c  507s |      22 |  2420740 |  2118722 |     1031   4667 |        0 |        0
509.62/509.71	c  509s |      22 |  2430964 |  2127822 |     1031   4684 |        0 |        0
511.62/511.71	c  511s |      22 |  2440278 |  2136122 |     1031   4699 |        0 |        0
513.62/513.72	c  513s |      22 |  2450061 |  2144922 |     1031   4714 |        0 |        0
515.62/515.72	c  515s |      22 |  2459608 |  2153422 |     1031   4730 |        0 |        0
517.62/517.74	c  517s |      22 |  2470415 |  2162922 |     1031   4746 |        0 |        0
519.62/519.75	c  519s |      22 |  2481386 |  2172722 |     1031   4764 |        0 |        0
521.61/521.76	c  521s |      22 |  2492606 |  2182622 |     1031   4782 |        0 |        0
523.62/523.77	c  523s |      22 |  2503245 |  2192122 |     1031   4799 |        0 |        0
525.61/525.79	c  525s |      22 |  2513610 |  2201122 |     1031   4815 |        0 |        0
527.71/527.81	c  527s |      22 |  2523535 |  2210022 |     1031   4831 |        0 |        0
529.71/529.83	c  529s |      22 |  2532938 |  2218522 |     1031   4846 |        0 |        0
531.71/531.84	c  531s |      22 |  2542533 |  2227122 |     1031   4861 |        0 |        0
533.71/533.86	c  533s |      22 |  2551965 |  2235622 |     1135   4876 |        0 |        0
535.72/535.87	c  535s |      22 |  2561393 |  2244122 |     1135   4890 |        0 |        0
537.41/537.51	c  537s |      23 |  2569257 |  2251038 |     1135   4901 |        0 |        0
539.41/539.53	c  539s |      23 |  2577934 |  2258538 |     1135   4913 |        0 |        0
541.41/541.54	c  541s |      23 |  2587019 |  2266338 |     1135   4926 |        0 |        0
543.42/543.55	c  543s |      23 |  2596176 |  2274438 |     1135   4939 |        0 |        0
545.41/545.57	c  545s |      23 |  2604677 |  2282038 |     1135   4951 |        0 |        0
547.41/547.57	c  547s |      23 |  2613288 |  2289538 |     1135   4964 |        0 |        0
549.41/549.60	c  549s |      23 |  2621312 |  2296638 |     1135   4975 |        0 |        0
551.51/551.62	c  551s |      23 |  2630073 |  2304438 |     1135   4988 |        0 |        0
553.51/553.64	c  553s |      23 |  2638529 |  2311938 |     1135   5000 |        0 |        0
555.51/555.66	c  555s |      23 |  2646392 |  2319038 |     1135   5012 |        0 |        0
557.51/557.67	c  557s |      23 |  2655198 |  2326738 |     1135   5024 |        0 |        0
559.51/559.68	c  559s |      23 |  2664536 |  2334938 |     1135   5038 |        0 |        0
561.51/561.69	c  561s |      23 |  2673687 |  2343038 |     1135   5051 |        0 |        0
563.61/563.70	c  563s |      23 |  2682617 |  2351038 |     1135   5064 |        0 |        0
565.61/565.72	c  565s |      23 |  2691707 |  2359138 |     1135   5077 |        0 |        0
567.61/567.72	c  567s |      23 |  2700868 |  2367338 |     1135   5091 |        0 |        0
569.60/569.74	c  569s |      23 |  2709757 |  2375338 |     1135   5104 |        0 |        0
571.60/571.75	c  571s |      23 |  2718965 |  2383638 |     1135   5117 |        0 |        0
573.60/573.75	c  573s |      23 |  2727788 |  2391638 |     1135   5130 |        0 |        0
575.60/575.78	c  575s |      23 |  2735927 |  2399038 |     1135   5142 |        0 |        0
577.60/577.79	c  577s |      23 |  2743848 |  2406238 |     1135   5154 |        0 |        0
579.61/579.79	c  579s |      23 |  2752457 |  2413838 |     1135   5166 |        0 |        0
581.70/581.82	c  581s |      23 |  2760925 |  2421338 |     1135   5179 |        0 |        0
583.70/583.83	c  583s |      23 |  2769199 |  2428838 |     1135   5191 |        0 |        0
585.70/585.83	c  585s |      23 |  2777612 |  2436238 |     1135   5203 |        0 |        0
587.70/587.86	c  587s |      23 |  2785586 |  2443438 |     1135   5215 |        0 |        0
589.70/589.87	c  589s |      23 |  2794155 |  2451138 |     1135   5227 |        0 |        0
591.70/591.89	c  591s |      23 |  2803072 |  2459038 |     1135   5240 |        0 |        0
593.80/593.91	c  593s |      23 |  2811180 |  2466338 |     1135   5252 |        0 |        0
595.80/595.94	c  595s |      23 |  2819791 |  2473938 |     1135   5264 |        0 |        0
597.80/597.96	c  597s |      23 |  2828148 |  2481438 |     1135   5277 |        0 |        0
599.79/599.98	c  599s |      23 |  2836390 |  2488938 |     1135   5289 |        0 |        0
601.79/601.99	c  601s |      23 |  2844106 |  2495938 |     1135   5300 |        0 |        0
603.80/604.00	c  603s |      23 |  2852254 |  2503338 |     1135   5312 |        0 |        0
605.89/606.01	c  605s |      23 |  2860571 |  2510938 |     1135   5325 |        0 |        0
607.89/608.01	c  607s |      23 |  2868873 |  2518438 |     1135   5337 |        0 |        0
609.89/610.01	c  609s |      23 |  2876989 |  2525738 |     1135   5349 |        0 |        0
611.89/612.04	c  611s |      23 |  2885984 |  2533138 |     1135   5361 |        0 |        0
613.89/614.04	c  614s |      23 |  2895711 |  2541038 |     1135   5374 |        0 |        0
615.91/616.06	c  616s |      23 |  2905087 |  2548838 |     1135   5387 |        0 |        0
617.90/618.07	c  618s |      23 |  2915208 |  2557438 |     1135   5401 |        0 |        0
619.90/620.09	c  620s |      23 |  2924144 |  2565338 |     1135   5414 |        0 |        0
622.00/622.11	c  622s |      23 |  2934409 |  2574438 |     1135   5429 |        0 |        0
624.00/624.13	c  624s |      23 |  2943590 |  2582438 |     1135   5443 |        0 |        0
626.00/626.14	c  626s |      23 |  2953421 |  2591238 |     1135   5457 |        0 |        0
628.00/628.17	c  628s |      23 |  2962537 |  2599238 |     1135   5470 |        0 |        0
630.00/630.17	c  630s |      23 |  2971099 |  2606938 |     1135   5483 |        0 |        0
632.00/632.17	c  632s |      23 |  2979601 |  2614638 |     1135   5496 |        0 |        0
634.00/634.19	c  634s |      23 |  2988280 |  2622438 |     1135   5508 |        0 |        0
636.10/636.20	c  636s |      23 |  2996356 |  2629638 |     1135   5520 |        0 |        0
638.10/638.24	c  638s |      23 |  3004989 |  2637138 |     1135   5533 |        0 |        0
640.10/640.24	c  640s |      23 |  3013276 |  2644538 |     1135   5545 |        0 |        0
642.10/642.26	c  642s |      23 |  3022377 |  2652438 |     1135   5558 |        0 |        0
644.10/644.27	c  644s |      23 |  3031006 |  2660138 |     1135   5571 |        0 |        0
646.19/646.30	c  646s |      23 |  3039644 |  2667838 |     1135   5583 |        0 |        0
648.19/648.33	c  648s |      23 |  3049458 |  2676438 |     1135   5597 |        0 |        0
650.19/650.33	c  650s |      23 |  3058073 |  2684238 |     1135   5610 |        0 |        0
652.20/652.34	c  652s |      23 |  3067058 |  2692238 |     1135   5624 |        0 |        0
654.19/654.35	c  654s |      23 |  3076067 |  2700338 |     1135   5637 |        0 |        0
656.19/656.35	c  656s |      23 |  3084768 |  2708138 |     1135   5650 |        0 |        0
658.19/658.35	c  658s |      23 |  3093650 |  2715838 |     1135   5662 |        0 |        0
660.19/660.37	c  660s |      23 |  3102491 |  2723538 |     1135   5675 |        0 |        0
662.20/662.39	c  662s |      23 |  3110986 |  2731138 |     1135   5688 |        0 |        0
664.19/664.40	c  664s |      23 |  3119795 |  2738938 |     1135   5700 |        0 |        0
666.29/666.40	c  666s |      23 |  3128010 |  2746238 |     1135   5712 |        0 |        0
668.29/668.42	c  668s |      23 |  3136875 |  2754038 |     1135   5725 |        0 |        0
670.29/670.42	c  670s |      23 |  3146089 |  2762238 |     1135   5739 |        0 |        0
672.29/672.45	c  672s |      23 |  3154580 |  2769838 |     1135   5751 |        0 |        0
674.29/674.47	c  674s |      23 |  3163192 |  2777538 |     1135   5764 |        0 |        0
676.29/676.48	c  676s |      23 |  3171541 |  2785038 |     1135   5777 |        0 |        0
678.39/678.50	c  678s |      23 |  3180922 |  2793238 |     1135   5790 |        0 |        0
680.39/680.52	c  680s |      23 |  3190190 |  2801438 |     1135   5803 |        0 |        0
682.39/682.53	c  682s |      23 |  3199163 |  2809438 |     1135   5816 |        0 |        0
684.39/684.55	c  684s |      23 |  3208775 |  2818038 |     1135   5830 |        0 |        0
686.39/686.57	c  686s |      23 |  3217928 |  2826238 |     1135   5844 |        0 |        0
688.38/688.60	c  688s |      23 |  3226391 |  2833738 |     1135   5856 |        0 |        0
690.48/690.60	c  690s |      23 |  3234591 |  2841038 |     1135   5868 |        0 |        0
692.48/692.61	c  692s |      23 |  3242479 |  2848138 |     1135   5880 |        0 |        0
694.48/694.62	c  694s |      23 |  3250948 |  2855638 |     1135   5892 |        0 |        0
696.48/696.64	c  696s |      23 |  3259311 |  2863038 |     1135   5904 |        0 |        0
698.49/698.64	c  698s |      23 |  3267622 |  2870438 |     1135   5916 |        0 |        0
700.48/700.64	c  700s |      23 |  3275502 |  2877538 |     1135   5928 |        0 |        0
702.48/702.66	c  702s |      23 |  3283271 |  2884438 |     1135   5939 |        0 |        0
704.48/704.66	c  704s |      23 |  3291055 |  2891338 |     1135   5951 |        0 |        0
706.48/706.68	c  706s |      23 |  3298924 |  2898338 |     1135   5962 |        0 |        0
708.48/708.68	c  708s |      23 |  3306482 |  2905038 |     1135   5973 |        0 |        0
710.49/710.69	c  710s |      23 |  3314450 |  2912138 |     1135   5985 |        0 |        0
712.48/712.69	c  712s |      23 |  3322313 |  2919138 |     1135   5996 |        0 |        0
714.48/714.69	c  714s |      23 |  3330846 |  2926638 |     1135   6009 |        0 |        0
716.58/716.72	c  716s |      23 |  3339607 |  2934338 |     1135   6021 |        0 |        0
718.58/718.74	c  718s |      23 |  3347639 |  2941538 |     1135   6033 |        0 |        0
720.58/720.76	c  720s |      23 |  3355796 |  2948738 |     1135   6045 |        0 |        0
722.58/722.79	c  722s |      23 |  3363705 |  2955738 |     1135   6056 |        0 |        0
724.58/724.79	c  724s |      23 |  3372232 |  2963338 |     1135   6069 |        0 |        0
726.58/726.79	c  726s |      23 |  3380217 |  2970538 |     1135   6080 |        0 |        0
728.68/728.80	c  728s |      23 |  3388480 |  2977938 |     1135   6092 |        0 |        0
730.67/730.81	c  730s |      23 |  3396660 |  2985138 |     1135   6104 |        0 |        0
732.67/732.81	c  732s |      23 |  3405112 |  2992638 |     1135   6116 |        0 |        0
734.68/734.83	c  734s |      23 |  3412997 |  2999738 |     1135   6128 |        0 |        0
736.67/736.83	c  736s |      23 |  3420686 |  3006638 |     1135   6139 |        0 |        0
738.67/738.84	c  738s |      23 |  3430359 |  3014438 |     1135   6152 |        0 |        0
740.67/740.86	c  740s |      23 |  3438840 |  3021738 |     1135   6164 |        0 |        0
742.67/742.87	c  742s |      23 |  3447408 |  3029138 |     1135   6176 |        0 |        0
744.68/744.88	c  744s |      23 |  3456543 |  3036938 |     1135   6189 |        0 |        0
746.67/746.89	c  746s |      23 |  3466004 |  3044938 |     1135   6203 |        0 |        0
748.68/748.89	c  748s |      23 |  3475442 |  3053038 |     1135   6216 |        0 |        0
750.78/750.91	c  750s |      23 |  3484476 |  3060938 |     1135   6229 |        0 |        0
752.78/752.93	c  752s |      23 |  3492918 |  3068438 |     1135   6241 |        0 |        0
754.78/754.95	c  754s |      23 |  3501139 |  3075738 |     1135   6253 |        0 |        0
756.79/756.96	c  756s |      23 |  3509378 |  3083038 |     1135   6265 |        0 |        0
758.78/758.97	c  758s |      23 |  3517943 |  3090738 |     1135   6278 |        0 |        0
760.78/760.97	c  760s |      23 |  3526545 |  3098338 |     1135   6290 |        0 |        0
762.78/762.99	c  762s |      23 |  3534498 |  3105438 |     1135   6302 |        0 |        0
764.78/764.99	c  764s |      23 |  3542643 |  3112738 |     1135   6314 |        0 |        0
766.88/767.01	c  766s |      23 |  3550575 |  3119838 |     1135   6326 |        0 |        0
768.88/769.02	c  768s |      23 |  3558726 |  3127038 |     1135   6337 |        0 |        0
770.88/771.04	c  771s |      23 |  3567596 |  3134838 |     1135   6350 |        0 |        0
772.87/773.05	c  773s |      23 |  3575943 |  3142238 |     1135   6363 |        0 |        0
774.87/775.07	c  775s |      23 |  3584748 |  3150038 |     1135   6375 |        0 |        0
776.87/777.08	c  777s |      23 |  3594006 |  3158338 |     1135   6389 |        0 |        0
778.87/779.09	c  779s |      23 |  3602871 |  3166438 |     1135   6402 |        0 |        0
780.98/781.11	c  781s |      23 |  3611633 |  3174238 |     1135   6415 |        0 |        0
782.97/783.12	c  783s |      23 |  3619862 |  3181638 |     1135   6427 |        0 |        0
784.97/785.14	c  785s |      23 |  3627797 |  3188738 |     1135   6439 |        0 |        0
786.97/787.14	c  787s |      23 |  3636590 |  3196538 |     1135   6452 |        0 |        0
788.97/789.15	c  789s |      23 |  3645260 |  3204338 |     1135   6465 |        0 |        0
790.97/791.16	c  791s |      23 |  3653373 |  3211738 |     1135   6477 |        0 |        0
792.98/793.16	c  793s |      23 |  3662198 |  3219638 |     1135   6490 |        0 |        0
794.97/795.17	c  795s |      23 |  3670238 |  3226938 |     1135   6502 |        0 |        0
796.97/797.18	c  797s |      23 |  3678049 |  3234038 |     1135   6513 |        0 |        0
798.97/799.18	c  799s |      23 |  3686588 |  3241738 |     1135   6526 |        0 |        0
801.07/801.20	c  801s |      23 |  3695694 |  3249938 |     1135   6539 |        0 |        0
803.07/803.21	c  803s |      23 |  3704336 |  3257638 |     1135   6552 |        0 |        0
805.07/805.22	c  805s |      23 |  3712482 |  3265038 |     1135   6564 |        0 |        0
807.07/807.23	c  807s |      23 |  3721678 |  3273238 |     1135   6578 |        0 |        0
809.07/809.24	c  809s |      23 |  3730626 |  3281338 |     1135   6591 |        0 |        0
811.07/811.24	c  811s |      23 |  3739964 |  3289638 |     1135   6605 |        0 |        0
813.06/813.27	c  813s |      23 |  3749644 |  3298138 |     1135   6618 |        0 |        0
815.07/815.27	c  815s |      23 |  3757929 |  3305638 |     1135   6631 |        0 |        0
817.06/817.28	c  817s |      23 |  3766729 |  3313438 |     1135   6644 |        0 |        0
819.06/819.29	c  819s |      23 |  3775838 |  3321538 |     1135   6657 |        0 |        0
821.16/821.30	c  821s |      23 |  3785182 |  3329638 |     1135   6670 |        0 |        0
823.16/823.30	c  823s |      23 |  3793628 |  3336938 |     1135   6682 |        0 |        0
825.16/825.31	c  825s |      23 |  3803565 |  3345638 |     1135   6696 |        0 |        0
827.17/827.31	c  827s |      23 |  3811714 |  3353038 |     1249   6708 |        0 |        0
829.16/829.34	c  829s |      23 |  3819870 |  3360338 |     1249   6719 |        0 |        0
831.16/831.35	c  831s |      23 |  3828491 |  3368038 |     1249   6731 |        0 |        0
833.16/833.36	c  833s |      23 |  3836191 |  3375038 |     1249   6741 |        0 |        0
833.67/833.86	c  833s |      24 |  3838000 |  3376662 |     1249   6744 |        0 |        0
835.66/835.88	c  835s |      24 |  3847692 |  3384762 |     1249   6756 |        0 |        0
837.76/837.90	c  837s |      24 |  3857443 |  3393262 |     1249   6769 |        0 |        0
839.76/839.93	c  839s |      24 |  3866019 |  3400862 |     1249   6780 |        0 |        0
841.76/841.93	c  841s |      24 |  3874580 |  3408562 |     1249   6792 |        0 |        0
843.76/843.93	c  843s |      24 |  3883135 |  3416162 |     1249   6803 |        0 |        0
845.77/845.93	c  845s |      24 |  3891766 |  3423862 |     1249   6814 |        0 |        0
847.76/847.94	c  847s |      24 |  3901149 |  3431962 |     1249   6827 |        0 |        0
849.76/849.95	c  849s |      24 |  3910060 |  3439762 |     1249   6838 |        0 |        0
851.76/851.97	c  851s |      24 |  3919523 |  3447762 |     1249   6850 |        0 |        0
853.76/853.98	c  853s |      24 |  3928992 |  3455862 |     1249   6863 |        0 |        0
855.86/856.00	c  855s |      24 |  3938037 |  3463562 |     1249   6874 |        0 |        0
857.86/858.01	c  857s |      24 |  3947410 |  3471662 |     1249   6887 |        0 |        0
859.85/860.03	c  859s |      24 |  3957404 |  3480262 |     1249   6899 |        0 |        0
861.85/862.03	c  861s |      24 |  3966126 |  3487962 |     1249   6911 |        0 |        0
863.85/864.05	c  864s |      24 |  3974787 |  3495562 |     1249   6922 |        0 |        0
865.85/866.06	c  866s |      24 |  3983567 |  3503362 |     1249   6934 |        0 |        0
867.87/868.08	c  868s |      24 |  3992191 |  3511062 |     1249   6946 |        0 |        0
869.86/870.08	c  870s |      24 |  4001030 |  3518862 |     1249   6957 |        0 |        0
871.86/872.09	c  872s |      24 |  4009692 |  3526562 |     1249   6969 |        0 |        0
873.86/874.09	c  874s |      24 |  4018685 |  3534562 |     1249   6981 |        0 |        0
875.96/876.11	c  876s |      24 |  4027096 |  3542162 |     1249   6992 |        0 |        0
877.96/878.13	c  878s |      24 |  4035692 |  3549762 |     1249   7004 |        0 |        0
879.97/880.15	c  880s |      24 |  4044094 |  3557262 |     1249   7015 |        0 |        0
881.96/882.17	c  882s |      24 |  4052114 |  3564462 |     1249   7026 |        0 |        0
883.96/884.19	c  884s |      24 |  4060672 |  3571962 |     1249   7037 |        0 |        0
885.96/886.19	c  886s |      24 |  4068736 |  3579262 |     1249   7048 |        0 |        0
888.06/888.22	c  888s |      24 |  4077136 |  3586862 |     1249   7060 |        0 |        0
890.06/890.24	c  890s |      24 |  4086282 |  3594962 |     1249   7072 |        0 |        0
892.06/892.24	c  892s |      24 |  4094907 |  3602662 |     1249   7083 |        0 |        0
894.05/894.25	c  894s |      24 |  4104081 |  3610862 |     1249   7096 |        0 |        0
896.05/896.25	c  896s |      24 |  4112590 |  3618562 |     1249   7107 |        0 |        0
898.05/898.25	c  898s |      24 |  4120607 |  3625762 |     1249   7118 |        0 |        0
900.05/900.27	c  900s |      24 |  4128932 |  3633062 |     1249   7129 |        0 |        0
902.05/902.28	c  902s |      24 |  4137019 |  3640362 |     1249   7140 |        0 |        0
904.06/904.29	c  904s |      24 |  4145339 |  3647762 |     1249   7151 |        0 |        0
906.05/906.29	c  906s |      24 |  4154762 |  3656062 |     1249   7163 |        0 |        0
908.15/908.33	c  908s |      24 |  4163848 |  3664162 |     1249   7176 |        0 |        0
910.15/910.35	c  910s |      24 |  4172900 |  3672162 |     1249   7188 |        0 |        0
912.15/912.36	c  912s |      24 |  4181636 |  3679862 |     1249   7199 |        0 |        0
914.15/914.36	c  914s |      24 |  4189503 |  3686662 |     1249   7210 |        0 |        0
916.15/916.39	c  916s |      24 |  4197864 |  3693962 |     1249   7221 |        0 |        0
918.25/918.41	c  918s |      24 |  4206196 |  3701362 |     1249   7232 |        0 |        0
920.25/920.42	c  920s |      24 |  4214401 |  3708762 |     1249   7243 |        0 |        0
922.25/922.43	c  922s |      24 |  4222867 |  3716262 |     1249   7254 |        0 |        0
924.24/924.44	c  924s |      24 |  4230432 |  3723062 |     1249   7264 |        0 |        0
926.25/926.45	c  926s |      24 |  4238610 |  3730262 |     1249   7275 |        0 |        0
928.26/928.46	c  928s |      24 |  4246319 |  3737162 |     1249   7286 |        0 |        0
930.25/930.48	c  930s |      24 |  4254409 |  3744162 |     1249   7296 |        0 |        0
932.35/932.50	c  932s |      24 |  4262400 |  3751162 |     1249   7306 |        0 |        0
934.35/934.50	c  934s |      24 |  4270618 |  3758362 |     1249   7317 |        0 |        0
936.35/936.50	c  936s |      24 |  4279094 |  3765662 |     1249   7328 |        0 |        0
938.35/938.52	c  938s |      24 |  4287615 |  3773062 |     1249   7339 |        0 |        0
940.36/940.55	c  940s |      24 |  4295444 |  3780062 |     1249   7350 |        0 |        0
942.35/942.56	c  942s |      24 |  4303177 |  3786962 |     1249   7360 |        0 |        0
944.35/944.57	c  944s |      24 |  4311254 |  3794262 |     1249   7371 |        0 |        0
946.35/946.59	c  946s |      24 |  4319113 |  3801362 |     1249   7382 |        0 |        0
948.45/948.61	c  948s |      24 |  4327255 |  3808562 |     1249   7393 |        0 |        0
950.45/950.64	c  950s |      24 |  4335188 |  3815662 |     1249   7403 |        0 |        0
952.45/952.67	c  952s |      24 |  4342787 |  3822562 |     1249   7414 |        0 |        0
954.44/954.67	c  954s |      24 |  4350202 |  3829262 |     1249   7424 |        0 |        0
956.44/956.68	c  956s |      24 |  4358316 |  3836362 |     1249   7435 |        0 |        0
958.44/958.69	c  958s |      24 |  4365268 |  3842662 |     1249   7444 |        0 |        0
960.54/960.71	c  960s |      24 |  4372658 |  3849162 |     1249   7454 |        0 |        0
962.54/962.73	c  962s |      24 |  4381430 |  3856862 |     1249   7465 |        0 |        0
964.54/964.73	c  964s |      24 |  4389856 |  3864162 |     1249   7476 |        0 |        0
966.54/966.75	c  966s |      24 |  4397999 |  3871462 |     1249   7487 |        0 |        0
968.53/968.76	c  968s |      24 |  4405676 |  3878362 |     1249   7498 |        0 |        0
970.53/970.77	c  970s |      24 |  4413706 |  3885462 |     1249   7508 |        0 |        0
972.53/972.77	c  972s |      24 |  4422192 |  3892962 |     1249   7519 |        0 |        0
974.54/974.78	c  974s |      24 |  4430420 |  3900262 |     1249   7530 |        0 |        0
976.53/976.79	c  976s |      24 |  4438968 |  3907862 |     1249   7542 |        0 |        0
978.63/978.80	c  978s |      24 |  4448242 |  3915962 |     1249   7554 |        0 |        0
980.63/980.82	c  980s |      24 |  4455948 |  3922962 |     1249   7565 |        0 |        0
982.63/982.82	c  982s |      24 |  4463957 |  3930162 |     1249   7575 |        0 |        0
984.63/984.84	c  984s |      24 |  4471383 |  3936862 |     1249   7585 |        0 |        0
986.64/986.84	c  986s |      24 |  4479124 |  3943762 |     1249   7596 |        0 |        0
988.63/988.85	c  988s |      24 |  4486833 |  3950662 |     1249   7606 |        0 |        0
990.63/990.86	c  990s |      24 |  4493772 |  3956962 |     1249   7616 |        0 |        0
992.62/992.87	c  992s |      24 |  4500631 |  3963162 |     1249   7625 |        0 |        0
994.62/994.89	c  994s |      24 |  4508800 |  3970162 |     1249   7635 |        0 |        0
996.72/996.90	c  996s |      24 |  4516592 |  3977062 |     1249   7646 |        0 |        0
998.73/998.90	c  998s |      24 |  4524053 |  3983662 |     1249   7656 |        0 |        0
1000.72/1000.93	c 1000s |      24 |  4531744 |  3990462 |     1249   7666 |        0 |        0
1002.71/1002.95	c 1002s |      24 |  4539764 |  3997562 |     1249   7677 |        0 |        0
1004.71/1004.97	c 1004s |      24 |  4547847 |  4004762 |     1249   7687 |        0 |        0
1006.71/1006.98	c 1006s |      24 |  4555833 |  4011862 |     1249   7698 |        0 |        0
1008.81/1009.02	c 1008s |      24 |  4564338 |  4019462 |     1249   7710 |        0 |        0
1010.83/1011.05	c 1011s |      24 |  4572416 |  4026662 |     1249   7720 |        0 |        0
1012.82/1013.07	c 1013s |      24 |  4580452 |  4033862 |     1249   7731 |        0 |        0
1014.82/1015.08	c 1015s |      24 |  4588206 |  4040862 |     1249   7742 |        0 |        0
1016.82/1017.09	c 1017s |      24 |  4596429 |  4048062 |     1249   7752 |        0 |        0
1018.92/1019.11	c 1019s |      24 |  4604967 |  4055562 |     1249   7764 |        0 |        0
1020.91/1021.12	c 1021s |      24 |  4613336 |  4063062 |     1249   7775 |        0 |        0
1022.92/1023.13	c 1023s |      24 |  4621313 |  4070262 |     1249   7786 |        0 |        0
1024.91/1025.15	c 1025s |      24 |  4629238 |  4077262 |     1249   7796 |        0 |        0
1026.91/1027.16	c 1027s |      24 |  4637471 |  4084562 |     1249   7807 |        0 |        0
1028.91/1029.17	c 1029s |      24 |  4644976 |  4091362 |     1249   7817 |        0 |        0
1030.91/1031.19	c 1031s |      24 |  4652527 |  4098262 |     1249   7827 |        0 |        0
1033.00/1033.21	c 1033s |      24 |  4660210 |  4105162 |     1249   7838 |        0 |        0
1035.01/1035.23	c 1035s |      24 |  4667636 |  4111862 |     1249   7848 |        0 |        0
1037.00/1037.25	c 1037s |      24 |  4675096 |  4118562 |     1249   7858 |        0 |        0
1039.00/1039.27	c 1039s |      24 |  4682780 |  4125562 |     1249   7868 |        0 |        0
1041.10/1041.31	c 1041s |      24 |  4690415 |  4132462 |     1249   7879 |        0 |        0
1043.09/1043.34	c 1043s |      24 |  4697541 |  4138762 |     1249   7888 |        0 |        0
1045.09/1045.35	c 1045s |      24 |  4705070 |  4145362 |     1249   7898 |        0 |        0
1047.10/1047.36	c 1047s |      24 |  4712579 |  4151962 |     1249   7908 |        0 |        0
1049.09/1049.37	c 1049s |      24 |  4719609 |  4158262 |     1249   7917 |        0 |        0
1051.09/1051.40	c 1051s |      24 |  4727103 |  4165062 |     1249   7927 |        0 |        0
1053.19/1053.41	c 1053s |      24 |  4734884 |  4172162 |     1249   7938 |        0 |        0
1055.19/1055.42	c 1055s |      24 |  4742232 |  4178862 |     1249   7948 |        0 |        0
1057.19/1057.42	c 1057s |      24 |  4750461 |  4186062 |     1249   7959 |        0 |        0
1059.20/1059.44	c 1059s |      24 |  4758293 |  4193062 |     1249   7969 |        0 |        0
1061.19/1061.46	c 1061s |      24 |  4766538 |  4200462 |     1249   7980 |        0 |        0
1063.18/1063.47	c 1063s |      24 |  4774119 |  4207262 |     1249   7990 |        0 |        0
1065.18/1065.50	c 1065s |      24 |  4781460 |  4213962 |     1249   8001 |        0 |        0
1067.28/1067.50	c 1067s |      24 |  4788745 |  4220562 |     1249   8010 |        0 |        0
1069.28/1069.50	c 1069s |      24 |  4795411 |  4226662 |     1249   8020 |        0 |        0
1071.29/1071.51	c 1071s |      24 |  4803428 |  4233762 |     1249   8030 |        0 |        0
1073.28/1073.53	c 1073s |      24 |  4810819 |  4240462 |     1249   8040 |        0 |        0
1075.28/1075.53	c 1075s |      24 |  4818513 |  4247462 |     1249   8051 |        0 |        0
1077.27/1077.55	c 1077s |      24 |  4825882 |  4254162 |     1249   8061 |        0 |        0
1079.27/1079.55	c 1079s |      24 |  4832931 |  4260562 |     1249   8070 |        0 |        0
1081.27/1081.58	c 1081s |      24 |  4840007 |  4266962 |     1249   8080 |        0 |        0
1083.28/1083.58	c 1083s |      24 |  4846637 |  4272962 |     1249   8089 |        0 |        0
1085.37/1085.62	c 1085s |      24 |  4853332 |  4279062 |     1249   8098 |        0 |        0
1087.37/1087.64	c 1087s |      24 |  4860776 |  4285462 |     1249   8108 |        0 |        0
1089.37/1089.64	c 1089s |      24 |  4869463 |  4293162 |     1249   8119 |        0 |        0
1091.37/1091.65	c 1091s |      24 |  4877455 |  4300362 |     1249   8130 |        0 |        0
1093.36/1093.65	c 1093s |      24 |  4885185 |  4307262 |     1249   8141 |        0 |        0
1095.38/1095.67	c 1095s |      24 |  4892827 |  4314162 |     1249   8151 |        0 |        0
1097.37/1097.69	c 1097s |      24 |  4900632 |  4321062 |     1249   8161 |        0 |        0
1099.37/1099.69	c 1099s |      24 |  4908790 |  4328362 |     1249   8172 |        0 |        0
1101.47/1101.70	c 1101s |      24 |  4917520 |  4336062 |     1249   8184 |        0 |        0
1103.47/1103.71	c 1103s |      24 |  4924972 |  4342762 |     1249   8194 |        0 |        0
1105.47/1105.73	c 1105s |      24 |  4933793 |  4350262 |     1249   8205 |        0 |        0
1107.47/1107.74	c 1107s |      24 |  4942128 |  4357562 |     1249   8216 |        0 |        0
1109.46/1109.75	c 1109s |      24 |  4950883 |  4365162 |     1249   8228 |        0 |        0
1111.46/1111.76	c 1111s |      24 |  4959120 |  4372462 |     1249   8238 |        0 |        0
1113.46/1113.78	c 1113s |      24 |  4967379 |  4379862 |     1249   8250 |        0 |        0
1115.46/1115.78	c 1115s |      24 |  4975444 |  4387162 |     1249   8260 |        0 |        0
1117.56/1117.80	c 1117s |      24 |  4983228 |  4394262 |     1249   8271 |        0 |        0
1119.46/1119.80	c 1119s |      24 |  4991234 |  4401462 |     1249   8282 |        0 |        0
1121.56/1121.82	c 1121s |      24 |  4999636 |  4408862 |     1249   8293 |        0 |        0
1123.55/1123.85	c 1123s |      24 |  5008287 |  4416462 |     1249   8305 |        0 |        0
1125.55/1125.85	c 1125s |      24 |  5016203 |  4423462 |     1249   8315 |        0 |        0
1127.55/1127.86	c 1127s |      24 |  5024249 |  4430462 |     1249   8326 |        0 |        0
1129.56/1129.87	c 1129s |      24 |  5033124 |  4438062 |     1249   8337 |        0 |        0
1131.55/1131.89	c 1131s |      24 |  5041189 |  4445262 |     1249   8348 |        0 |        0
1133.54/1133.89	c 1133s |      24 |  5049495 |  4452562 |     1249   8359 |        0 |        0
1135.64/1135.90	c 1135s |      24 |  5057513 |  4459662 |     1249   8370 |        0 |        0
1137.64/1137.92	c 1137s |      24 |  5065477 |  4466762 |     1249   8380 |        0 |        0
1139.64/1139.95	c 1139s |      24 |  5073816 |  4474062 |     1249   8391 |        0 |        0
1141.65/1141.97	c 1141s |      24 |  5081915 |  4481262 |     1249   8402 |        0 |        0
1143.64/1143.98	c 1143s |      24 |  5090676 |  4488962 |     1249   8414 |        0 |        0
1145.64/1145.99	c 1145s |      24 |  5099471 |  4496762 |     1249   8426 |        0 |        0
1147.64/1148.00	c 1147s |      24 |  5108191 |  4504462 |     1249   8437 |        0 |        0
1149.74/1150.00	c 1149s |      24 |  5116041 |  4511362 |     1249   8448 |        0 |        0
1151.73/1152.01	c 1151s |      24 |  5123055 |  4517562 |     1249   8457 |        0 |        0
1153.74/1154.03	c 1153s |      24 |  5131121 |  4524762 |     1249   8468 |        0 |        0
1155.73/1156.03	c 1155s |      24 |  5138630 |  4531462 |     1249   8478 |        0 |        0
1157.73/1158.06	c 1158s |      24 |  5146516 |  4538462 |     1249   8488 |        0 |        0
1159.73/1160.06	c 1160s |      24 |  5154322 |  4545362 |     1249   8499 |        0 |        0
1161.73/1162.07	c 1162s |      24 |  5162041 |  4552162 |     1249   8509 |        0 |        0
1163.73/1164.07	c 1164s |      24 |  5170162 |  4559262 |     1249   8520 |        0 |        0
1165.73/1166.10	c 1166s |      24 |  5177738 |  4566062 |     1249   8530 |        0 |        0
1167.83/1168.11	c 1168s |      24 |  5184498 |  4572262 |     1249   8539 |        0 |        0
1169.83/1170.12	c 1170s |      24 |  5190931 |  4578162 |     1249   8548 |        0 |        0
1171.82/1172.13	c 1172s |      24 |  5199669 |  4585962 |     1249   8560 |        0 |        0
1173.82/1174.14	c 1174s |      24 |  5207838 |  4593262 |     1249   8571 |        0 |        0
1175.82/1176.15	c 1176s |      24 |  5215976 |  4600562 |     1249   8582 |        0 |        0
1177.83/1178.17	c 1178s |      24 |  5223294 |  4607162 |     1249   8592 |        0 |        0
1179.83/1180.17	c 1180s |      24 |  5231254 |  4614262 |     1249   8603 |        0 |        0
1181.83/1182.18	c 1182s |      24 |  5239554 |  4621662 |     1249   8614 |        0 |        0
1183.93/1184.20	c 1184s |      24 |  5248345 |  4629462 |     1249   8625 |        0 |        0
1185.93/1186.22	c 1186s |      24 |  5256529 |  4636762 |     1249   8636 |        0 |        0
1187.93/1188.22	c 1188s |      24 |  5264681 |  4643962 |     1249   8647 |        0 |        0
1189.93/1190.25	c 1190s |      24 |  5272712 |  4651162 |     1249   8658 |        0 |        0
1191.92/1192.25	c 1192s |      24 |  5280369 |  4658162 |     1249   8668 |        0 |        0
1193.92/1194.27	c 1194s |      24 |  5287783 |  4664962 |     1249   8679 |        0 |        0
1195.92/1196.29	c 1196s |      24 |  5295460 |  4671762 |     1249   8689 |        0 |        0
1197.92/1198.29	c 1198s |      24 |  5303463 |  4678862 |     1249   8700 |        0 |        0
1200.02/1200.30	c 1200s |      24 |  5312081 |  4686462 |     1249   8711 |        0 |        0
1202.03/1202.31	c 1202s |      24 |  5320519 |  4693862 |     1249   8722 |        0 |        0
1204.02/1204.34	c 1204s |      24 |  5329339 |  4701462 |     1249   8734 |        0 |        0
1206.02/1206.34	c 1206s |      24 |  5338038 |  4708762 |     1249   8745 |        0 |        0
1208.02/1208.37	c 1208s |      24 |  5346229 |  4715862 |     1249   8755 |        0 |        0
1210.02/1210.38	c 1210s |      24 |  5354469 |  4722962 |     1249   8766 |        0 |        0
1212.11/1212.41	c 1212s |      24 |  5362579 |  4729862 |     1249   8777 |        0 |        0
1214.12/1214.41	c 1214s |      24 |  5370416 |  4736762 |     1249   8787 |        0 |        0
1216.11/1216.43	c 1216s |      24 |  5378659 |  4743962 |     1249   8798 |        0 |        0
1218.11/1218.45	c 1218s |      24 |  5387280 |  4751362 |     1249   8809 |        0 |        0
1220.11/1220.47	c 1220s |      24 |  5395335 |  4758462 |     1249   8820 |        0 |        0
1222.11/1222.49	c 1222s |      24 |  5402709 |  4764862 |     1249   8830 |        0 |        0
1224.21/1224.50	c 1224s |      24 |  5410274 |  4771462 |     1249   8839 |        0 |        0
1226.22/1226.52	c 1226s |      24 |  5418348 |  4778762 |     1249   8850 |        0 |        0
1228.21/1228.53	c 1228s |      24 |  5426719 |  4786262 |     1249   8862 |        0 |        0
1230.21/1230.54	c 1230s |      24 |  5434631 |  4793362 |     1249   8872 |        0 |        0
1232.20/1232.56	c 1232s |      24 |  5441899 |  4799962 |     1249   8882 |        0 |        0
1234.20/1234.56	c 1234s |      24 |  5449321 |  4806762 |     1249   8892 |        0 |        0
1236.21/1236.59	c 1236s |      24 |  5456614 |  4813462 |     1249   8902 |        0 |        0
1238.20/1238.59	c 1238s |      24 |  5463799 |  4819962 |     1249   8912 |        0 |        0
1240.30/1240.61	c 1240s |      24 |  5470929 |  4826362 |     1249   8922 |        0 |        0
1242.29/1242.61	c 1242s |      24 |  5478339 |  4832962 |     1249   8932 |        0 |        0
1244.29/1244.63	c 1244s |      24 |  5485262 |  4839162 |     1249   8941 |        0 |        0
1246.29/1246.64	c 1246s |      24 |  5492438 |  4845562 |     1249   8951 |        0 |        0
1248.30/1248.66	c 1248s |      24 |  5499619 |  4851962 |     1249   8960 |        0 |        0
1250.29/1250.67	c 1250s |      24 |  5508250 |  4859562 |     1249   8972 |        0 |        0
1252.29/1252.69	c 1252s |      24 |  5516789 |  4867062 |     1249   8983 |        0 |        0
1254.29/1254.69	c 1254s |      24 |  5524771 |  4874262 |     1249   8994 |        0 |        0
1256.39/1256.71	c 1256s |      24 |  5532716 |  4881462 |     1249   9005 |        0 |        0
1258.39/1258.74	c 1258s |      24 |  5540171 |  4888262 |     1249   9015 |        0 |        0
1260.40/1260.77	c 1260s |      24 |  5547627 |  4895062 |     1249   9025 |        0 |        0
1262.39/1262.79	c 1262s |      24 |  5554762 |  4901562 |     1249   9035 |        0 |        0
1264.48/1264.81	c 1264s |      24 |  5562144 |  4908262 |     1249   9045 |        0 |        0
1266.48/1266.83	c 1266s |      24 |  5569324 |  4914862 |     1249   9055 |        0 |        0
1268.48/1268.85	c 1268s |      24 |  5576978 |  4921762 |     1249   9065 |        0 |        0
1270.48/1270.86	c 1270s |      24 |  5584337 |  4928462 |     1249   9075 |        0 |        0
1272.48/1272.87	c 1272s |      24 |  5592719 |  4935562 |     1249   9086 |        0 |        0
1274.48/1274.88	c 1274s |      24 |  5601265 |  4943062 |     1249   9097 |        0 |        0
1276.58/1276.90	c 1276s |      24 |  5609578 |  4950362 |     1249   9108 |        0 |        0
1278.58/1278.92	c 1278s |      24 |  5617747 |  4957562 |     1249   9119 |        0 |        0
1280.57/1280.92	c 1280s |      24 |  5625497 |  4964562 |     1249   9130 |        0 |        0
1282.57/1282.95	c 1282s |      24 |  5632860 |  4971262 |     1249   9140 |        0 |        0
1284.57/1284.97	c 1284s |      24 |  5640610 |  4978262 |     1249   9150 |        0 |        0
1286.57/1286.97	c 1286s |      24 |  5648006 |  4984962 |     1249   9160 |        0 |        0
1288.68/1289.00	c 1288s |      24 |  5655745 |  4991862 |     1249   9171 |        0 |        0
1290.68/1291.00	c 1290s |      24 |  5663297 |  4998762 |     1249   9181 |        0 |        0
1292.67/1293.02	c 1292s |      24 |  5670735 |  5005462 |     1249   9191 |        0 |        0
1294.67/1295.03	c 1294s |      24 |  5677550 |  5011562 |     1249   9200 |        0 |        0
1296.68/1297.04	c 1297s |      24 |  5685880 |  5018862 |     1249   9211 |        0 |        0
1298.67/1299.06	c 1299s |      24 |  5694076 |  5026262 |     1249   9222 |        0 |        0
1300.67/1301.09	c 1301s |      24 |  5702222 |  5033562 |     1374   9232 |        0 |        0
1302.67/1303.09	c 1303s |      24 |  5710187 |  5040662 |     1374   9242 |        0 |        0
1304.66/1305.09	c 1305s |      24 |  5717950 |  5047562 |     1374   9252 |        0 |        0
1306.76/1307.10	c 1307s |      24 |  5725861 |  5054562 |     1374   9261 |        0 |        0
1308.77/1309.12	c 1309s |      24 |  5733245 |  5061162 |     1374   9270 |        0 |        0
1309.87/1310.27	c 1310s |      25 |  5737686 |  5065098 |     1374   9276 |        0 |        0
1311.86/1312.29	c 1312s |      25 |  5748092 |  5073098 |     1374   9287 |        0 |        0
1313.96/1314.31	c 1314s |      25 |  5756902 |  5080698 |     1374   9297 |        0 |        0
1315.96/1316.31	c 1316s |      25 |  5766957 |  5089098 |     1374   9309 |        0 |        0
1317.96/1318.32	c 1318s |      25 |  5776264 |  5097198 |     1374   9320 |        0 |        0
1319.96/1320.32	c 1320s |      25 |  5784869 |  5104498 |     1374   9330 |        0 |        0
1321.96/1322.35	c 1322s |      25 |  5793131 |  5111698 |     1374   9340 |        0 |        0
1323.95/1324.36	c 1324s |      25 |  5800372 |  5118198 |     1374   9349 |        0 |        0
1325.95/1326.37	c 1326s |      25 |  5807598 |  5124698 |     1374   9358 |        0 |        0
1327.95/1328.39	c 1328s |      25 |  5814827 |  5131098 |     1374   9366 |        0 |        0
1330.05/1330.40	c 1330s |      25 |  5823660 |  5138798 |     1374   9377 |        0 |        0
1332.04/1332.42	c 1332s |      25 |  5831543 |  5145898 |     1374   9387 |        0 |        0
1334.05/1334.45	c 1334s |      25 |  5839646 |  5152798 |     1374   9396 |        0 |        0
1336.04/1336.47	c 1336s |      25 |  5847551 |  5159698 |     1374   9406 |        0 |        0
1338.04/1338.49	c 1338s |      25 |  5857141 |  5167998 |     1374   9417 |        0 |        0
1340.14/1340.52	c 1340s |      25 |  5866580 |  5175998 |     1374   9428 |        0 |        0
1342.13/1342.52	c 1342s |      25 |  5875078 |  5183198 |     1374   9438 |        0 |        0
1344.13/1344.53	c 1344s |      25 |  5882941 |  5190098 |     1374   9448 |        0 |        0
1346.14/1346.55	c 1346s |      25 |  5891276 |  5197298 |     1374   9458 |        0 |        0
1348.13/1348.58	c 1348s |      25 |  5898884 |  5203898 |     1374   9467 |        0 |        0
1350.13/1350.59	c 1350s |      25 |  5907519 |  5211298 |     1374   9477 |        0 |        0
1352.23/1352.61	c 1352s |      25 |  5915727 |  5218498 |     1374   9487 |        0 |        0
1354.23/1354.63	c 1354s |      25 |  5923794 |  5225598 |     1374   9497 |        0 |        0
1356.23/1356.64	c 1356s |      25 |  5932213 |  5232998 |     1374   9507 |        0 |        0
1358.24/1358.64	c 1358s |      25 |  5941200 |  5240898 |     1374   9518 |        0 |        0
1360.23/1360.67	c 1360s |      25 |  5949612 |  5248298 |     1374   9528 |        0 |        0
1362.22/1362.68	c 1362s |      25 |  5957731 |  5255498 |     1374   9538 |        0 |        0
1364.32/1364.70	c 1364s |      25 |  5967304 |  5263698 |     1374   9549 |        0 |        0
1366.32/1366.71	c 1366s |      25 |  5975276 |  5270798 |     1374   9559 |        0 |        0
1368.32/1368.72	c 1368s |      25 |  5983644 |  5278098 |     1374   9569 |        0 |        0
1370.33/1370.74	c 1370s |      25 |  5992639 |  5285998 |     1374   9580 |        0 |        0
1372.32/1372.76	c 1372s |      25 |  6000877 |  5293298 |     1374   9590 |        0 |        0
1374.32/1374.79	c 1374s |      25 |  6009618 |  5300998 |     1374   9600 |        0 |        0
1376.41/1376.81	c 1376s |      25 |  6017598 |  5308098 |     1374   9610 |        0 |        0
1378.42/1378.81	c 1378s |      25 |  6026007 |  5315698 |     1374   9621 |        0 |        0
1380.42/1380.82	c 1380s |      25 |  6034910 |  5323698 |     1374   9632 |        0 |        0
1382.43/1382.82	c 1382s |      25 |  6043595 |  5331398 |     1374   9642 |        0 |        0
1384.42/1384.83	c 1384s |      25 |  6052443 |  5339098 |     1374   9653 |        0 |        0
1386.42/1386.83	c 1386s |      25 |  6060621 |  5346398 |     1374   9663 |        0 |        0
1388.42/1388.84	c 1388s |      25 |  6069133 |  5353798 |     1374   9673 |        0 |        0
1390.42/1390.86	c 1390s |      25 |  6077866 |  5361498 |     1374   9684 |        0 |        0
1392.41/1392.87	c 1392s |      25 |  6087046 |  5369598 |     1374   9695 |        0 |        0
1394.42/1394.90	c 1394s |      25 |  6095580 |  5377198 |     1374   9705 |        0 |        0
1396.51/1396.92	c 1396s |      25 |  6103388 |  5384198 |     1374   9715 |        0 |        0
1398.51/1398.93	c 1398s |      25 |  6111585 |  5391498 |     1374   9725 |        0 |        0
1400.51/1400.94	c 1400s |      25 |  6119361 |  5398298 |     1374   9734 |        0 |        0
1402.50/1402.96	c 1402s |      25 |  6127175 |  5405198 |     1374   9744 |        0 |        0
1404.51/1404.98	c 1404s |      25 |  6135295 |  5412298 |     1374   9754 |        0 |        0
1406.51/1406.98	c 1406s |      25 |  6143175 |  5419298 |     1374   9763 |        0 |        0
1408.60/1409.00	c 1408s |      25 |  6150195 |  5425498 |     1374   9772 |        0 |        0
1410.60/1411.01	c 1410s |      25 |  6158287 |  5432698 |     1374   9782 |        0 |        0
1412.60/1413.01	c 1412s |      25 |  6166251 |  5439798 |     1374   9791 |        0 |        0
1414.60/1415.02	c 1414s |      25 |  6174542 |  5447198 |     1374   9801 |        0 |        0
1416.60/1417.04	c 1417s |      25 |  6183360 |  5454598 |     1374   9812 |        0 |        0
1418.61/1419.04	c 1419s |      25 |  6191937 |  5461998 |     1374   9822 |        0 |        0
1420.60/1421.07	c 1421s |      25 |  6200303 |  5469398 |     1374   9832 |        0 |        0
1422.59/1423.08	c 1423s |      25 |  6208228 |  5476398 |     1374   9841 |        0 |        0
1424.59/1425.09	c 1425s |      25 |  6216360 |  5483598 |     1374   9851 |        0 |        0
1426.69/1427.11	c 1427s |      25 |  6225226 |  5491498 |     1374   9862 |        0 |        0
1428.69/1429.13	c 1429s |      25 |  6234295 |  5499598 |     1374   9873 |        0 |        0
1430.70/1431.15	c 1431s |      25 |  6243123 |  5507498 |     1374   9884 |        0 |        0
1432.68/1433.16	c 1433s |      25 |  6251790 |  5515298 |     1374   9895 |        0 |        0
1434.68/1435.16	c 1435s |      25 |  6260280 |  5522898 |     1374   9905 |        0 |        0
1436.68/1437.17	c 1437s |      25 |  6268136 |  5529998 |     1374   9915 |        0 |        0
1438.68/1439.18	c 1439s |      25 |  6276667 |  5537498 |     1374   9925 |        0 |        0
1440.69/1441.19	c 1441s |      25 |  6285140 |  5544998 |     1374   9936 |        0 |        0
1442.78/1443.20	c 1443s |      25 |  6293715 |  5552598 |     1374   9946 |        0 |        0
1444.78/1445.21	c 1445s |      25 |  6302850 |  5560698 |     1374   9957 |        0 |        0
1446.78/1447.21	c 1447s |      25 |  6311810 |  5568498 |     1374   9968 |        0 |        0
1448.77/1449.24	c 1449s |      25 |  6320325 |  5576198 |     1374   9978 |        0 |        0
1450.77/1451.24	c 1451s |      25 |  6328812 |  5583698 |     1374   9989 |        0 |        0
1452.78/1453.26	c 1453s |      25 |  6337438 |  5591398 |     1374   9999 |        0 |        0
1454.78/1455.28	c 1455s |      25 |  6345600 |  5598698 |     1374  10009 |        0 |        0
1456.78/1457.28	c 1457s |      25 |  6353789 |  5606098 |     1374  10019 |        0 |        0
1458.88/1459.31	c 1459s |      25 |  6361893 |  5613398 |     1374  10029 |        0 |        0
1460.87/1461.34	c 1461s |      25 |  6370002 |  5620698 |     1374  10040 |        0 |        0
1462.87/1463.34	c 1463s |      25 |  6378403 |  5627998 |     1374  10050 |        0 |        0
1464.88/1465.35	c 1465s |      25 |  6387074 |  5635498 |     1374  10060 |        0 |        0
1466.87/1467.35	c 1467s |      25 |  6395457 |  5642998 |     1374  10070 |        0 |        0
1468.87/1469.35	c 1469s |      25 |  6404121 |  5650598 |     1374  10081 |        0 |        0
1470.87/1471.36	c 1471s |      25 |  6412687 |  5658098 |     1374  10091 |        0 |        0
1472.86/1473.37	c 1473s |      25 |  6422133 |  5666298 |     1374  10102 |        0 |        0
1474.86/1475.38	c 1475s |      25 |  6430927 |  5674098 |     1374  10113 |        0 |        0
1476.87/1477.39	c 1477s |      25 |  6438583 |  5680998 |     1374  10123 |        0 |        0
1478.96/1479.40	c 1479s |      25 |  6446884 |  5688298 |     1374  10133 |        0 |        0
1480.96/1481.43	c 1481s |      25 |  6454866 |  5695498 |     1374  10143 |        0 |        0
1482.96/1483.45	c 1483s |      25 |  6463642 |  5703198 |     1374  10153 |        0 |        0
1484.96/1485.46	c 1485s |      25 |  6471993 |  5710598 |     1374  10163 |        0 |        0
1486.96/1487.46	c 1487s |      25 |  6479682 |  5717498 |     1374  10173 |        0 |        0
1488.96/1489.46	c 1489s |      25 |  6487673 |  5724598 |     1374  10183 |        0 |        0
1490.96/1491.47	c 1491s |      25 |  6495504 |  5731698 |     1374  10192 |        0 |        0
1492.95/1493.48	c 1493s |      25 |  6503362 |  5738698 |     1374  10202 |        0 |        0
1495.05/1495.51	c 1495s |      25 |  6511764 |  5745998 |     1374  10212 |        0 |        0
1497.05/1497.52	c 1497s |      25 |  6518924 |  5752398 |     1374  10221 |        0 |        0
1499.05/1499.54	c 1499s |      25 |  6527444 |  5760098 |     1374  10231 |        0 |        0
1501.06/1501.57	c 1501s |      25 |  6535581 |  5767398 |     1374  10242 |        0 |        0
1503.04/1503.59	c 1503s |      25 |  6543421 |  5774498 |     1374  10251 |        0 |        0
1505.14/1505.60	c 1505s |      25 |  6550633 |  5781098 |     1374  10260 |        0 |        0
1507.14/1507.63	c 1507s |      25 |  6558970 |  5788598 |     1374  10271 |        0 |        0
1509.14/1509.64	c 1509s |      25 |  6567144 |  5795898 |     1374  10281 |        0 |        0
1511.14/1511.66	c 1511s |      25 |  6575543 |  5803498 |     1374  10291 |        0 |        0
1513.14/1513.69	c 1513s |      25 |  6583851 |  5810998 |     1374  10301 |        0 |        0
1515.24/1515.71	c 1515s |      25 |  6591957 |  5818298 |     1374  10311 |        0 |        0
1517.24/1517.73	c 1517s |      25 |  6599887 |  5825398 |     1374  10321 |        0 |        0
1519.24/1519.75	c 1519s |      25 |  6608314 |  5832898 |     1374  10332 |        0 |        0
1521.23/1521.77	c 1521s |      25 |  6616705 |  5840398 |     1374  10342 |        0 |        0
1523.23/1523.79	c 1523s |      25 |  6625229 |  5847898 |     1374  10352 |        0 |        0
1525.24/1525.79	c 1525s |      25 |  6634016 |  5855598 |     1374  10363 |        0 |        0
1527.33/1527.80	c 1527s |      25 |  6642947 |  5863398 |     1374  10374 |        0 |        0
1529.33/1529.81	c 1529s |      25 |  6652053 |  5871398 |     1374  10385 |        0 |        0
1531.33/1531.84	c 1531s |      25 |  6660975 |  5879198 |     1374  10395 |        0 |        0
1533.32/1533.84	c 1533s |      25 |  6669276 |  5886598 |     1374  10406 |        0 |        0
1535.32/1535.86	c 1535s |      25 |  6678042 |  5894398 |     1374  10416 |        0 |        0
1537.33/1537.88	c 1537s |      25 |  6686626 |  5901898 |     1374  10427 |        0 |        0
1539.32/1539.89	c 1539s |      25 |  6695658 |  5909898 |     1374  10438 |        0 |        0
1541.32/1541.89	c 1541s |      25 |  6704711 |  5918098 |     1374  10449 |        0 |        0
1543.32/1543.89	c 1543s |      25 |  6713909 |  5926198 |     1374  10460 |        0 |        0
1545.42/1545.91	c 1545s |      25 |  6723038 |  5934198 |     1374  10471 |        0 |        0
1547.42/1547.94	c 1547s |      25 |  6732419 |  5942498 |     1374  10483 |        0 |        0
1549.42/1549.94	c 1549s |      25 |  6740958 |  5950098 |     1374  10493 |        0 |        0
1551.42/1551.96	c 1551s |      25 |  6749114 |  5957398 |     1374  10503 |        0 |        0
1553.41/1553.98	c 1553s |      25 |  6757017 |  5964498 |     1374  10513 |        0 |        0
1555.41/1555.99	c 1555s |      25 |  6765206 |  5971798 |     1374  10523 |        0 |        0
1557.51/1558.01	c 1557s |      25 |  6773133 |  5978898 |     1374  10533 |        0 |        0
1559.51/1560.02	c 1559s |      25 |  6781342 |  5986198 |     1374  10543 |        0 |        0
1561.52/1562.04	c 1562s |      25 |  6789459 |  5993498 |     1374  10553 |        0 |        0
1563.50/1564.05	c 1564s |      25 |  6797190 |  6000498 |     1374  10563 |        0 |        0
1565.50/1566.06	c 1566s |      25 |  6805000 |  6007398 |     1374  10572 |        0 |        0
1567.50/1568.06	c 1568s |      25 |  6812909 |  6014598 |     1374  10582 |        0 |        0
1569.50/1570.09	c 1570s |      25 |  6820254 |  6021198 |     1374  10591 |        0 |        0
1571.60/1572.12	c 1572s |      25 |  6828029 |  6028198 |     1374  10601 |        0 |        0
1573.60/1574.15	c 1574s |      25 |  6835598 |  6035098 |     1374  10610 |        0 |        0
1575.60/1576.16	c 1576s |      25 |  6843962 |  6042598 |     1374  10620 |        0 |        0
1577.60/1578.17	c 1578s |      25 |  6853406 |  6050998 |     1374  10632 |        0 |        0
1579.69/1580.20	c 1580s |      25 |  6861566 |  6058298 |     1374  10642 |        0 |        0
1581.69/1582.20	c 1582s |      25 |  6870057 |  6065798 |     1374  10653 |        0 |        0
1583.69/1584.21	c 1584s |      25 |  6878438 |  6073098 |     1374  10663 |        0 |        0
1585.70/1586.24	c 1586s |      25 |  6887193 |  6080698 |     1374  10673 |        0 |        0
1587.69/1588.24	c 1588s |      25 |  6896690 |  6088798 |     1374  10684 |        0 |        0
1589.69/1590.24	c 1590s |      25 |  6905303 |  6096398 |     1374  10695 |        0 |        0
1591.69/1592.25	c 1592s |      25 |  6913546 |  6103798 |     1374  10705 |        0 |        0
1593.68/1594.27	c 1594s |      25 |  6922334 |  6111498 |     1374  10716 |        0 |        0
1595.69/1596.28	c 1596s |      25 |  6931176 |  6119398 |     1374  10727 |        0 |        0
1597.68/1598.28	c 1598s |      25 |  6939928 |  6127198 |     1374  10737 |        0 |        0
1599.68/1600.29	c 1600s |      25 |  6948541 |  6134898 |     1374  10748 |        0 |        0
1601.79/1602.31	c 1602s |      25 |  6957073 |  6142498 |     1374  10758 |        0 |        0
1603.79/1604.32	c 1604s |      25 |  6965549 |  6149998 |     1374  10769 |        0 |        0
1605.79/1606.33	c 1606s |      25 |  6974169 |  6157698 |     1374  10780 |        0 |        0
1607.80/1608.34	c 1608s |      25 |  6982318 |  6164998 |     1374  10790 |        0 |        0
1609.79/1610.35	c 1610s |      25 |  6989437 |  6171398 |     1374  10799 |        0 |        0
1611.79/1612.37	c 1612s |      25 |  6998211 |  6179098 |     1374  10809 |        0 |        0
1613.89/1614.40	c 1614s |      25 |  7006663 |  6186598 |     1374  10820 |        0 |        0
1615.89/1616.42	c 1616s |      25 |  7015605 |  6194498 |     1374  10830 |        0 |        0
1617.89/1618.42	c 1618s |      25 |  7023151 |  6201298 |     1374  10840 |        0 |        0
1619.89/1620.43	c 1620s |      25 |  7031627 |  6208698 |     1374  10850 |        0 |        0
1621.89/1622.43	c 1622s |      25 |  7039921 |  6215998 |     1374  10860 |        0 |        0
1623.89/1624.45	c 1624s |      25 |  7047873 |  6223098 |     1374  10870 |        0 |        0
1625.89/1626.45	c 1626s |      25 |  7056305 |  6230498 |     1374  10880 |        0 |        0
1627.89/1628.47	c 1628s |      25 |  7064079 |  6237398 |     1374  10889 |        0 |        0
1629.89/1630.49	c 1630s |      25 |  7072160 |  6244698 |     1374  10899 |        0 |        0
1631.99/1632.51	c 1632s |      25 |  7080374 |  6251998 |     1374  10909 |        0 |        0
1633.99/1634.52	c 1634s |      25 |  7088204 |  6258998 |     1374  10919 |        0 |        0
1635.99/1636.54	c 1636s |      25 |  7095728 |  6265798 |     1374  10928 |        0 |        0
1637.99/1638.56	c 1638s |      25 |  7103353 |  6272698 |     1374  10938 |        0 |        0
1639.98/1640.57	c 1640s |      25 |  7111210 |  6279798 |     1374  10948 |        0 |        0
1641.98/1642.59	c 1642s |      25 |  7119054 |  6286898 |     1374  10957 |        0 |        0
1644.09/1644.61	c 1644s |      25 |  7127178 |  6294198 |     1374  10967 |        0 |        0
1646.08/1646.62	c 1646s |      25 |  7134639 |  6301098 |     1374  10977 |        0 |        0
1648.08/1648.62	c 1648s |      25 |  7142324 |  6307998 |     1374  10986 |        0 |        0
1650.08/1650.62	c 1650s |      25 |  7149924 |  6314898 |     1374  10996 |        0 |        0
1652.08/1652.63	c 1652s |      25 |  7157490 |  6321698 |     1374  11005 |        0 |        0
1654.08/1654.64	c 1654s |      25 |  7165257 |  6328798 |     1374  11015 |        0 |        0
1656.09/1656.65	c 1656s |      25 |  7174674 |  6336698 |     1374  11026 |        0 |        0
1658.08/1658.68	c 1658s |      25 |  7182992 |  6343898 |     1374  11036 |        0 |        0
1660.08/1660.68	c 1660s |      25 |  7191189 |  6351098 |     1374  11046 |        0 |        0
1662.08/1662.70	c 1662s |      25 |  7199283 |  6358198 |     1374  11055 |        0 |        0
1664.18/1664.71	c 1664s |      25 |  7207232 |  6365198 |     1374  11065 |        0 |        0
1666.18/1666.71	c 1666s |      25 |  7215168 |  6372298 |     1374  11075 |        0 |        0
1668.19/1668.73	c 1668s |      25 |  7223434 |  6379698 |     1374  11085 |        0 |        0
1670.18/1670.74	c 1670s |      25 |  7231697 |  6387098 |     1374  11095 |        0 |        0
1672.18/1672.76	c 1672s |      25 |  7239600 |  6394098 |     1374  11105 |        0 |        0
1674.18/1674.76	c 1674s |      25 |  7247388 |  6400998 |     1374  11114 |        0 |        0
1676.18/1676.79	c 1676s |      25 |  7254981 |  6407798 |     1374  11124 |        0 |        0
1678.28/1678.81	c 1678s |      25 |  7262255 |  6414198 |     1374  11132 |        0 |        0
1680.28/1680.82	c 1680s |      25 |  7270364 |  6421198 |     1374  11142 |        0 |        0
1682.28/1682.84	c 1682s |      25 |  7278307 |  6427998 |     1374  11151 |        0 |        0
1684.28/1684.87	c 1684s |      25 |  7286803 |  6435298 |     1374  11161 |        0 |        0
1686.37/1686.90	c 1686s |      25 |  7294982 |  6442598 |     1374  11171 |        0 |        0
1688.37/1688.90	c 1688s |      25 |  7302849 |  6449698 |     1374  11181 |        0 |        0
1690.37/1690.90	c 1690s |      25 |  7310814 |  6456798 |     1374  11191 |        0 |        0
1692.38/1692.92	c 1692s |      25 |  7318874 |  6464098 |     1374  11201 |        0 |        0
1694.37/1694.93	c 1694s |      25 |  7327348 |  6471598 |     1374  11211 |        0 |        0
1696.37/1696.95	c 1696s |      25 |  7335671 |  6478998 |     1374  11222 |        0 |        0
1698.37/1698.95	c 1698s |      25 |  7344034 |  6486398 |     1374  11232 |        0 |        0
1700.37/1700.98	c 1700s |      25 |  7352075 |  6493498 |     1374  11242 |        0 |        0
1702.47/1703.00	c 1702s |      25 |  7360418 |  6500898 |     1374  11252 |        0 |        0
1704.37/1705.00	c 1704s |      25 |  7367981 |  6507798 |     1374  11261 |        0 |        0
1706.47/1707.01	c 1706s |      25 |  7376169 |  6515198 |     1374  11271 |        0 |        0
1708.47/1709.04	c 1709s |      25 |  7383978 |  6522198 |     1374  11281 |        0 |        0
1710.47/1711.05	c 1711s |      25 |  7392071 |  6529398 |     1374  11291 |        0 |        0
1712.47/1713.08	c 1713s |      25 |  7400635 |  6536998 |     1374  11301 |        0 |        0
1714.48/1715.09	c 1715s |      25 |  7408934 |  6544298 |     1374  11311 |        0 |        0
1716.47/1717.09	c 1717s |      25 |  7417477 |  6551798 |     1374  11322 |        0 |        0
1718.57/1719.10	c 1719s |      25 |  7425601 |  6558898 |     1374  11331 |        0 |        0
1720.57/1721.11	c 1721s |      25 |  7434597 |  6566698 |     1374  11342 |        0 |        0
1722.57/1723.14	c 1723s |      25 |  7442998 |  6574098 |     1374  11352 |        0 |        0
1724.57/1725.16	c 1725s |      25 |  7452105 |  6581998 |     1374  11363 |        0 |        0
1726.57/1727.17	c 1727s |      25 |  7460396 |  6589298 |     1374  11373 |        0 |        0
1728.57/1729.20	c 1729s |      25 |  7469029 |  6596998 |     1374  11384 |        0 |        0
1730.67/1731.23	c 1731s |      25 |  7476854 |  6603998 |     1374  11394 |        0 |        0
1732.67/1733.23	c 1733s |      25 |  7484885 |  6611098 |     1374  11403 |        0 |        0
1734.67/1735.27	c 1735s |      25 |  7493480 |  6618498 |     1374  11414 |        0 |        0
1736.67/1737.28	c 1737s |      25 |  7502120 |  6626098 |     1374  11424 |        0 |        0
1738.67/1739.28	c 1739s |      25 |  7510240 |  6633198 |     1374  11434 |        0 |        0
1740.66/1741.30	c 1741s |      25 |  7518833 |  6640698 |     1374  11444 |        0 |        0
1742.76/1743.30	c 1743s |      25 |  7527330 |  6648098 |     1374  11454 |        0 |        0
1744.76/1745.32	c 1745s |      25 |  7535827 |  6655598 |     1374  11465 |        0 |        0
1746.76/1747.34	c 1747s |      25 |  7544620 |  6663398 |     1374  11475 |        0 |        0
1748.76/1749.36	c 1749s |      25 |  7553372 |  6671198 |     1374  11486 |        0 |        0
1750.77/1751.37	c 1751s |      25 |  7560969 |  6678098 |     1374  11496 |        0 |        0
1752.76/1753.40	c 1753s |      25 |  7568569 |  6684798 |     1374  11505 |        0 |        0
1754.86/1755.41	c 1755s |      25 |  7576069 |  6691498 |     1374  11514 |        0 |        0
1756.86/1757.43	c 1757s |      25 |  7583445 |  6698198 |     1374  11523 |        0 |        0
1758.86/1759.45	c 1759s |      25 |  7592131 |  6705698 |     1374  11534 |        0 |        0
1760.86/1761.47	c 1761s |      25 |  7599375 |  6712098 |     1374  11542 |        0 |        0
1762.87/1763.49	c 1763s |      25 |  7607671 |  6719398 |     1374  11552 |        0 |        0
1764.86/1765.50	c 1765s |      25 |  7615526 |  6726398 |     1374  11562 |        0 |        0
1766.96/1767.52	c 1767s |      25 |  7623848 |  6733898 |     1374  11572 |        0 |        0
1768.96/1769.53	c 1769s |      25 |  7631813 |  6740998 |     1374  11582 |        0 |        0
1770.96/1771.56	c 1771s |      25 |  7639334 |  6747798 |     1374  11591 |        0 |        0
1772.96/1773.58	c 1773s |      25 |  7646843 |  6754498 |     1374  11601 |        0 |        0
1774.96/1775.58	c 1775s |      25 |  7654871 |  6761698 |     1374  11611 |        0 |        0
1777.06/1777.60	c 1777s |      25 |  7663111 |  6768998 |     1374  11621 |        0 |        0
1779.06/1779.62	c 1779s |      25 |  7670597 |  6775698 |     1374  11630 |        0 |        0
1781.07/1781.65	c 1781s |      25 |  7678908 |  6782898 |     1374  11640 |        0 |        0
1783.06/1783.68	c 1783s |      25 |  7687676 |  6790598 |     1374  11650 |        0 |        0
1785.16/1785.70	c 1785s |      25 |  7695593 |  6797598 |     1374  11660 |        0 |        0
1787.16/1787.70	c 1787s |      25 |  7703351 |  6804398 |     1374  11669 |        0 |        0
1789.17/1789.72	c 1789s |      25 |  7711754 |  6811898 |     1374  11680 |        0 |        0
1791.16/1791.73	c 1791s |      25 |  7720078 |  6819398 |     1374  11690 |        0 |        0
1793.16/1793.73	c 1793s |      25 |  7728830 |  6827098 |     1374  11701 |        0 |        0
1795.16/1795.74	c 1795s |      25 |  7737194 |  6834598 |     1374  11711 |        0 |        0
1797.16/1797.76	c 1797s |      25 |  7745607 |  6842198 |     1374  11721 |        0 |        0
1799.17/1799.79	c 1799s |      25 |  7753823 |  6849598 |     1374  11732 |        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-4109166-1466341815/watcher-4109166-1466341815 -o /tmp/evaluation-result-4109166-1466341815/solver-4109166-1466341815 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466341815-31320 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109166-1466341815.wbo 

pid=31343
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: 0.28 0.22 0.19 3/176 31349
/proc/meminfo: memFree=30353020/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=799164 CPUtime=0 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 2995 0 0 0 0 0 0 0 20 0 4 0 36228010 818343936 3355 33554432000 4194304 16246674 140734137906560 140734137905984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 200559 3365 441 2943 0 197453 0
[pid=31349/tid=31350] ppid=31343 vsize=817596 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 837218304 3428 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=822716 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 842461184 3446 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=826812 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228010 846655488 3463 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 0.28 0.22 0.19 3/176 31349
/proc/meminfo: memFree=30353020/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 26206 0 0 0 5 3 0 0 20 0 4 0 36228010 1247350784 26553 33554432000 4194304 16246674 140734137906560 140734137905984 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 304529 26561 811 2943 0 301423 0
[pid=31349/tid=31350] ppid=31343 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1247350784 26564 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1247350784 26570 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228010 1247350784 26580 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200569 s]
/proc/loadavg: 0.28 0.22 0.19 3/176 31349
/proc/meminfo: memFree=30353020/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 51288 0 0 0 12 7 0 0 20 0 4 0 36228010 1247350784 51634 33554432000 4194304 16246674 140734137906560 140734137905984 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 304529 51651 811 2943 0 301423 0
[pid=31349/tid=31350] ppid=31343 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1247350784 51659 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1247350784 51666 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228010 1247350784 51670 33554432000 4194304 16246674 140734137906560 140402772397232 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.300536 s]
/proc/loadavg: 0.28 0.22 0.19 3/176 31349
/proc/meminfo: memFree=30353020/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 77430 0 0 0 18 10 0 0 20 0 4 0 36228010 1247350784 77777 33554432000 4194304 16246674 140734137906560 140734137905984 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 304529 77787 811 2943 0 301423 0
[pid=31349/tid=31350] ppid=31343 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1247350784 77792 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1247350784 77800 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228010 1247350784 77808 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700368 s]
/proc/loadavg: 0.28 0.22 0.19 3/176 31349
/proc/meminfo: memFree=30353020/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 185157 0 0 0 44 25 0 0 20 0 4 0 36228010 1247350784 185503 33554432000 4194304 16246674 140734137906560 140734137888448 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 304529 185518 811 2943 0 301423 0
[pid=31349/tid=31350] ppid=31343 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1247350784 185527 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1247350784 185537 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228010 1247350784 185547 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 0.28 0.22 0.19 4/184 31357
/proc/meminfo: memFree=28621540/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 248709 0 0 0 115 34 0 0 20 0 4 0 36228010 1336479744 249033 33554432000 4194304 16246674 140734137906560 140734137905872 13191638 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 326289 249042 872 2943 0 323183 0
[pid=31349/tid=31350] ppid=31343 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1336479744 249047 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1336479744 249053 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1336479744 249062 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 0.28 0.22 0.19 4/184 31357
/proc/meminfo: memFree=28210232/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 267507 0 0 0 272 37 0 0 20 0 4 0 36228010 1337528320 267831 33554432000 4194304 16246674 140734137906560 140734137888448 5661483 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 326545 267831 872 2943 0 323439 0
[pid=31349/tid=31350] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267831 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267831 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267831 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 0.42 0.25 0.20 4/184 31357
/proc/meminfo: memFree=28210000/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 267513 0 0 0 592 37 0 0 20 0 4 0 36228010 1337528320 267837 33554432000 4194304 16246674 140734137906560 140734137889560 12415743 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 326545 267837 872 2943 0 323439 0
[pid=31349/tid=31350] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267837 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267837 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267837 33554432000 4194304 16246674 140734137906560 140402772397232 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: 0.55 0.27 0.20 4/184 31357
/proc/meminfo: memFree=28210036/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 267542 0 0 0 1232 37 0 0 20 0 4 0 36228010 1337528320 267866 33554432000 4194304 16246674 140734137906560 140734137888448 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 326545 267866 874 2943 0 323439 0
[pid=31349/tid=31350] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267866 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267866 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267866 33554432000 4194304 16246674 140734137906560 140402772397232 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: 0.95 0.37 0.24 5/184 31357
/proc/meminfo: memFree=28208336/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 267558 0 0 0 2511 37 0 0 20 0 4 0 36228010 1337528320 267882 33554432000 4194304 16246674 140734137906560 140734137888448 5589718 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 326545 267882 874 2943 0 323439 0
[pid=31349/tid=31350] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267882 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267882 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267882 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.44 0.54 0.29 4/183 31357
/proc/meminfo: memFree=28208360/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 267558 0 0 0 5071 37 0 0 20 0 4 0 36228010 1337528320 267882 33554432000 4194304 16246674 140734137906560 140734137888448 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 326545 267882 874 2943 0 323439 0
[pid=31349/tid=31350] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267882 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267882 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267882 33554432000 4194304 16246674 140734137906560 140402772397232 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: 1.91 0.81 0.40 4/183 31358
/proc/meminfo: memFree=28195508/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 267590 0 0 0 10190 38 0 0 20 0 4 0 36228010 1337528320 267914 33554432000 4194304 16246674 140734137906560 140734137888448 5754872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 326545 267914 874 2943 0 323439 0
[pid=31349/tid=31350] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267914 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267914 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1337528320 267914 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1339625472 268507 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.54 2.32 1.76 4/183 31389
/proc/meminfo: memFree=28178372/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1308228 CPUtime=1301.97 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 268432 0 0 0 130147 50 0 0 20 0 4 0 36228010 1339625472 268508 33554432000 4194304 16246674 140734137906560 140734137888448 5523456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 327057 268508 876 2943 0 323951 0
[pid=31349/tid=31350] ppid=31343 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1339625472 268508 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1339625472 268508 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1339625472 268508 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.46 2.34 1.79 4/183 31390
/proc/meminfo: memFree=28177904/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1308228 CPUtime=1361.92 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 268476 0 0 0 136142 50 0 0 20 0 4 0 36228010 1339625472 268508 33554432000 4194304 16246674 140734137906560 140734137888448 5711640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 327057 268508 876 2943 0 323951 0
[pid=31349/tid=31350] ppid=31343 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1339625472 268508 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1339625472 268508 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1339625472 268508 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.31 2.32 1.82 4/183 31391
/proc/meminfo: memFree=28176320/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1309252 CPUtime=1421.9 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 268773 0 0 0 142139 51 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140734137888448 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 327313 268760 876 2943 0 324207 0
[pid=31349/tid=31350] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.39 2.33 1.85 5/183 31393
/proc/meminfo: memFree=28176536/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1309252 CPUtime=1481.86 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 268819 0 0 0 148134 52 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140734137888448 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 327313 268760 876 2943 0 324207 0
[pid=31349/tid=31350] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402772397232 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) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.45 2.36 1.89 4/183 31394
/proc/meminfo: memFree=28176820/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1309252 CPUtime=1541.82 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 268864 0 0 0 154130 52 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140734137888448 5546173 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 327313 268760 876 2943 0 324207 0
[pid=31349/tid=31350] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.28 2.32 1.91 5/183 31395
/proc/meminfo: memFree=28175700/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1309252 CPUtime=1601.79 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 268901 0 0 0 160126 53 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140734137888448 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 327313 268760 876 2943 0 324207 0
[pid=31349/tid=31350] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.33 2.32 1.93 4/183 31396
/proc/meminfo: memFree=28175436/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1309252 CPUtime=1661.78 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 268901 0 0 0 166125 53 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140734137888448 6023556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 327313 268760 876 2943 0 324207 0
[pid=31349/tid=31350] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.32 2.32 1.95 4/183 31397
/proc/meminfo: memFree=28175496/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1309252 CPUtime=1721.77 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 268901 0 0 0 172124 53 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140734137888448 5823779 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 327313 268760 876 2943 0 324207 0
[pid=31349/tid=31350] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 2.34 2.32 1.97 4/183 31399
/proc/meminfo: memFree=28174692/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1309252 CPUtime=1781.76 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 268901 0 0 0 178122 54 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140734137888448 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 327313 268760 876 2943 0 324207 0
[pid=31349/tid=31350] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.31 2.32 1.98 4/184 31402
/proc/meminfo: memFree=28174776/32872528 swapFree=1370848/1518016
[pid=31349] ppid=31343 vsize=1309252 CPUtime=1800.06 cores=0,2,4,6
/proc/31349/stat : 31349 (toysat) R 31343 31349 31304 0 -1 4202496 268901 0 0 0 179952 54 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140734137888448 12474881 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31349/statm: 327313 268760 876 2943 0 324207 0
[pid=31349/tid=31350] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31350/stat : 31350 (toysat) S 31343 31349 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402793360624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31349/tid=31352] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31352/stat : 31352 (toysat) S 31343 31349 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402782870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31349/tid=31354] ppid=31343 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31349/task/31354/stat : 31354 (toysat) S 31343 31349 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228010 1340674048 268760 33554432000 4194304 16246674 140734137906560 140402772397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1309252

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.53
CPU system time (s): 0.542917
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.542917
maximum resident set size= 1075040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268901
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= 481
involuntary context switches= 1888

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96494 second user time and 19.754 second system time

The end

Begin job on node129 at 2016-06-19 15:10:15
IDJOB=4109166
IDBENCH=78685
IDSOLVER=2553
FILE ID=node129/4109166-1466341815
RUNJOBID= node129-1466341815-31320
PBS_JOBID= 19922024
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109166-1466341815/watcher-4109166-1466341815 -o /tmp/evaluation-result-4109166-1466341815/solver-4109166-1466341815 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466341815-31320 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109166-1466341815.wbo

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

MD5SUM BENCH= 8841123e57febe545fae4a69b91f873c
RANDOM SEED=1477673123

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30354976 kB
Buffers:           84388 kB
Cached:           175308 kB
SwapCached:         1804 kB
Active:           130516 kB
Inactive:         132408 kB
Active(anon):       3240 kB
Inactive(anon):     2732 kB
Active(file):     127276 kB
Inactive(file):   129676 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099348 kB
Dirty:             32644 kB
Writeback:             0 kB
AnonPages:       1520456 kB
Mapped:             6692 kB
Shmem:                 0 kB
Slab:             601784 kB
SReclaimable:      46168 kB
SUnreclaim:       555616 kB
KernelStack:        1352 kB
PageTables:         7120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1614136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-19 15:40:16