0.00/0.00	c 2016-06-18T01:29:03+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4099529-1466206143.opb"]
0.00/0.01	c use --random-gen="1777258114 778962124 2853431398 4016020675 3961313410 3984212339 1950647334 3893579468 353277417 3017242895 1754186238 2939411078 2113237496 1583842563 1676255086 3282948204 690852274 3133997405 2584041660 1132792294 3199635999 4211652936 2262779481 372652989 1892784799 372148322 3269500825 789146543 1920245581 2494235813 267643778 3062922465 3153780153 1061839240 2480750528 4210278436 222459518 715278325 3658142968 972754619 2284561548 262812482 2274283097 4265182960 3358257723 435336870 630557022 1083533474 2178047992 3816191631 2730372069 54563067 4266246327 2236494949 1896010146 3996653511 3591306616 960611564 3214306308 3567636924 2544609117 352734312 3452869150 534662897 3405175309 1424558560 904511031 1682779920 3616027333 2391656055 3272934304 1417318426 3073115848 1659862020 547466945 1284823988 4160649323 490184593 1558515996 2606929462 2256537672 1523141636 2192474366 82179393 3205374738 4033020816 1593715024 1407809812 3760114341 3374064868 2728869051 225377309 4075842828 2815864423 507292678 1198605253 837039004 387457141 4117686679 878680888 963235676 2522428515 3963101811 4086674243 3432109233 3876679910 74709006 3098318616 1637346936 2875650112 4009525146 1135396217 1781167019 2763783644 3188163219 1183082148 2743639047 3463306596 2434138204 3006051105 3589232999 2232082778 997901524 3795060883 1735986650 3622770180 812179851 1677117271 3062584816 693105541 2249536264 2416250511 1969939686 3654958850 3394865955 2932138180 3953535936 4080435548 2247924021 3363147364 1440611604 1894481147 397069152 335426039 1207752179 1364215135 3925686252 3593353977 453949610 3099830876 1844533190 2396382751 3809607855 1567958239 700861690 652288744 3684164535 1262399679 3091153115 2843209383 2972037603 3382349023 1815047585 4224685624 2098543847 943889807 3920234155 1120202570 1872363920 3095948610 1286189696 2937477007 1592621495 4094684039 2569286672 1582499651 3439487425 275357012 875615171 2948723432 707500777 69288568 55687370 1954149399 2403861875 1632838220 2070162832 2834549529 4118653099 795639857 1698146533 3722692814 3762064537 3481056200 1696756446 2894121282 1007409304 3602219059 3898751844 3406628221 3726000807 1807935976 3062255594 450356275 2770606385 3796560509 623615888 410435727 1521142423 1569040126 1567156406 1117542048 4036379064 765628745 2830539697 1310382334 3594433487 2802313160 3668552314 2267243441 3912840317 103461213 2637719887 729258974 4183761798 769318152 1513700360 2854764637 2464957128 2886157572 300360332 4258750497 4268031626 1818803585 1926490685 3252461449 2217036426 153882901 1528930761 2417819274 1078314173 803293645 777749726 879682804 1542324157 2564399691 3087964701 927520772 1640952073 3642953576 2648713986 4149239009 3188340508 2614191121 3709082688 2475746080 255 362436" option to reproduce the execution
0.00/0.01	c #vars 300
0.00/0.01	c #constraints 50
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      116      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      121 |      100 |      116      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      471 |      250 |      128      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |      887 |      475 |      141      3 |        0 |        0
0.08/0.14	c  0.1s |       4 |     1409 |      813 |      156      6 |        0 |        0
0.19/0.23	c  0.2s |       5 |     2051 |     1320 |      172     11 |        0 |        0
0.29/0.36	c  0.4s |       6 |     3013 |     2081 |      210     17 |        0 |        0
0.49/0.56	c  0.5s |       7 |     4360 |     3223 |      232     25 |        0 |        0
0.79/0.88	c  0.9s |       8 |     6507 |     4936 |      256     37 |        0 |        0
1.09/1.18	c  1.2s |       9 |     9716 |     7506 |      282     54 |        0 |        0
1.59/1.65	c  1.6s |      10 |    14176 |    11361 |      311     77 |        0 |        0
2.30/2.38	c  2.4s |      11 |    20916 |    17144 |      343    106 |        0 |        0
3.49/3.52	c  3.5s |      12 |    31680 |    25819 |      378    150 |        0 |        0
5.09/5.15	c  5.1s |      13 |    47048 |    38832 |      416    211 |        0 |        0
7.09/7.16	c  7.1s |      13 |    63645 |    53132 |      416    273 |        0 |        0
7.79/7.84	c  7.8s |      14 |    69644 |    58352 |      458    295 |        0 |        0
9.78/9.85	c  9.8s |      14 |    85977 |    71752 |      458    345 |        0 |        0
11.78/11.85	c 11.8s |      14 |   100857 |    84552 |      458    393 |        0 |        0
12.28/12.33	c 12.3s |      15 |   104582 |    87632 |      504    404 |        0 |        0
14.29/14.34	c 14.3s |      15 |   119315 |   100032 |      504    447 |        0 |        0
16.28/16.34	c 16.3s |      15 |   134586 |   112932 |      504    492 |        0 |        0
18.28/18.34	c 18.3s |      15 |   149140 |   125332 |      504    536 |        0 |        0
19.28/19.39	c 19.4s |      16 |   156320 |   131552 |      555    557 |        0 |        0
21.38/21.40	c 21.4s |      16 |   171311 |   144352 |      555    600 |        0 |        0
23.39/23.41	c 23.4s |      16 |   186399 |   157552 |      555    644 |        0 |        0
25.39/25.42	c 25.4s |      16 |   202020 |   170952 |      555    690 |        0 |        0
27.39/27.44	c 27.4s |      16 |   216389 |   183352 |      555    730 |        0 |        0
29.39/29.46	c 29.4s |      16 |   229269 |   194552 |      555    765 |        0 |        0
29.99/30.00	c 30.0s |      17 |   232808 |   197432 |      611    774 |        0 |        0
31.99/32.02	c 32.0s |      17 |   245594 |   208332 |      611    805 |        0 |        0
33.99/34.02	c 34.0s |      17 |   258301 |   219432 |      611    837 |        0 |        0
35.99/36.04	c 36.0s |      17 |   272292 |   231332 |      611    872 |        0 |        0
37.99/38.04	c 38.0s |      17 |   285848 |   242932 |      611    906 |        0 |        0
39.98/40.05	c 40.0s |      17 |   299773 |   254832 |      611    941 |        0 |        0
41.98/42.05	c 42.0s |      17 |   314492 |   267432 |      611    978 |        0 |        0
43.99/44.06	c 44.0s |      17 |   328032 |   279532 |      611   1013 |        0 |        0
45.98/46.07	c 46.1s |      17 |   341108 |   291132 |      611   1047 |        0 |        0
46.88/46.93	c 46.9s |      18 |   346918 |   296252 |      673   1062 |        0 |        0
48.88/48.93	c 48.9s |      18 |   361201 |   308252 |      673   1094 |        0 |        0
50.88/50.94	c 50.9s |      18 |   375256 |   320152 |      673   1126 |        0 |        0
52.89/52.94	c 52.9s |      18 |   388848 |   331852 |      673   1158 |        0 |        0
54.88/54.95	c 54.9s |      18 |   401900 |   343252 |      673   1189 |        0 |        0
56.88/56.96	c 56.9s |      18 |   415211 |   354852 |      673   1220 |        0 |        0
58.88/58.98	c 59.0s |      18 |   428639 |   366752 |      673   1252 |        0 |        0
60.88/60.98	c 61.0s |      18 |   442678 |   378952 |      673   1285 |        0 |        0
62.88/62.99	c 63.0s |      18 |   455902 |   390452 |      673   1317 |        0 |        0
64.88/65.00	c 65.0s |      18 |   469064 |   402052 |      673   1348 |        0 |        0
66.98/67.02	c 67.0s |      18 |   483805 |   414652 |      673   1383 |        0 |        0
68.97/69.03	c 69.0s |      18 |   498060 |   427152 |      673   1417 |        0 |        0
70.97/71.03	c 71.0s |      18 |   511505 |   438952 |      673   1449 |        0 |        0
72.07/72.11	c 72.1s |      19 |   517738 |   444482 |      741   1464 |        0 |        0
74.07/74.13	c 74.1s |      19 |   530829 |   455482 |      741   1491 |        0 |        0
76.07/76.14	c 76.1s |      19 |   543637 |   466582 |      741   1518 |        0 |        0
78.09/78.14	c 78.1s |      19 |   554732 |   476482 |      741   1542 |        0 |        0
80.08/80.16	c 80.1s |      19 |   566595 |   487082 |      741   1568 |        0 |        0
82.08/82.17	c 82.2s |      19 |   578647 |   497682 |      741   1595 |        0 |        0
84.08/84.18	c 84.2s |      19 |   591432 |   508882 |      741   1622 |        0 |        0
86.08/86.18	c 86.2s |      19 |   603811 |   519682 |      741   1649 |        0 |        0
88.08/88.19	c 88.2s |      19 |   616140 |   530482 |      741   1676 |        0 |        0
90.08/90.19	c 90.2s |      19 |   628708 |   541282 |      741   1703 |        0 |        0
92.08/92.19	c 92.2s |      19 |   640401 |   551582 |      741   1728 |        0 |        0
94.17/94.20	c 94.2s |      19 |   652991 |   562782 |      741   1756 |        0 |        0
96.17/96.20	c 96.2s |      19 |   665895 |   574182 |      741   1784 |        0 |        0
98.17/98.21	c 98.2s |      19 |   678083 |   584582 |      741   1810 |        0 |        0
100.18/100.23	c  100s |      19 |   689921 |   594882 |      741   1836 |        0 |        0
102.17/102.24	c  102s |      19 |   702204 |   605682 |      741   1863 |        0 |        0
104.17/104.24	c  104s |      19 |   714703 |   616682 |      741   1890 |        0 |        0
106.17/106.25	c  106s |      19 |   726823 |   627282 |      741   1917 |        0 |        0
108.17/108.26	c  108s |      19 |   739685 |   638682 |      741   1945 |        0 |        0
110.17/110.27	c  110s |      19 |   752815 |   650282 |      741   1974 |        0 |        0
112.18/112.28	c  112s |      19 |   765244 |   661282 |      741   2001 |        0 |        0
113.28/113.33	c  113s |      20 |   771438 |   666827 |      816   2014 |        0 |        0
115.27/115.35	c  115s |      20 |   784663 |   678027 |      816   2040 |        0 |        0
117.27/117.37	c  117s |      20 |   798147 |   689627 |      816   2066 |        0 |        0
119.27/119.38	c  119s |      20 |   813412 |   702527 |      816   2096 |        0 |        0
121.27/121.40	c  121s |      20 |   826091 |   713627 |      816   2121 |        0 |        0
123.37/123.40	c  123s |      20 |   837369 |   723727 |      816   2144 |        0 |        0
125.37/125.41	c  125s |      20 |   847886 |   733227 |      816   2166 |        0 |        0
127.37/127.42	c  127s |      20 |   859270 |   743327 |      816   2189 |        0 |        0
129.37/129.43	c  129s |      20 |   869799 |   752827 |      816   2210 |        0 |        0
131.37/131.45	c  131s |      20 |   881321 |   763027 |      816   2233 |        0 |        0
133.37/133.47	c  133s |      20 |   893862 |   773627 |      816   2258 |        0 |        0
135.37/135.48	c  135s |      20 |   904862 |   783427 |      816   2280 |        0 |        0
137.36/137.48	c  137s |      20 |   916248 |   793627 |      816   2303 |        0 |        0
139.36/139.48	c  139s |      20 |   927188 |   803227 |      816   2325 |        0 |        0
141.46/141.50	c  141s |      20 |   938562 |   813427 |      816   2348 |        0 |        0
143.47/143.51	c  143s |      20 |   950285 |   823627 |      816   2372 |        0 |        0
145.47/145.53	c  145s |      20 |   962432 |   834327 |      816   2396 |        0 |        0
147.48/147.54	c  147s |      20 |   974138 |   844827 |      816   2420 |        0 |        0
149.47/149.54	c  149s |      20 |   985151 |   854827 |      816   2443 |        0 |        0
151.47/151.56	c  151s |      20 |   996845 |   865227 |      816   2466 |        0 |        0
153.47/153.57	c  153s |      20 |  1008315 |   875227 |      816   2489 |        0 |        0
155.47/155.58	c  155s |      20 |  1019649 |   885227 |      816   2512 |        0 |        0
157.47/157.58	c  157s |      20 |  1032454 |   896327 |      816   2537 |        0 |        0
159.47/159.60	c  159s |      20 |  1045210 |   907527 |      816   2563 |        0 |        0
161.57/161.61	c  161s |      20 |  1057371 |   918227 |      816   2587 |        0 |        0
163.57/163.61	c  163s |      20 |  1068693 |   928227 |      816   2610 |        0 |        0
165.56/165.64	c  165s |      20 |  1080195 |   938327 |      816   2633 |        0 |        0
167.56/167.66	c  167s |      20 |  1091053 |   948027 |      816   2654 |        0 |        0
169.56/169.67	c  169s |      20 |  1101858 |   957627 |      816   2676 |        0 |        0
171.57/171.67	c  171s |      20 |  1113798 |   968127 |      816   2700 |        0 |        0
173.56/173.69	c  173s |      20 |  1126300 |   979227 |      816   2725 |        0 |        0
175.66/175.70	c  175s |      20 |  1138262 |   989927 |      816   2750 |        0 |        0
177.66/177.71	c  177s |      20 |  1149409 |   999727 |      898   2771 |        0 |        0
177.76/177.82	c  177s |      21 |  1150112 |  1000345 |      898   2772 |        0 |        0
179.76/179.82	c  179s |      21 |  1163579 |  1011545 |      898   2795 |        0 |        0
181.76/181.84	c  181s |      21 |  1176201 |  1022445 |      898   2818 |        0 |        0
183.77/183.85	c  183s |      21 |  1187923 |  1032845 |      898   2840 |        0 |        0
185.76/185.86	c  185s |      21 |  1199548 |  1042945 |      898   2860 |        0 |        0
187.76/187.87	c  187s |      21 |  1210941 |  1053045 |      898   2881 |        0 |        0
189.76/189.89	c  189s |      21 |  1222761 |  1063445 |      898   2903 |        0 |        0
191.76/191.90	c  191s |      21 |  1234996 |  1074045 |      898   2925 |        0 |        0
193.86/193.91	c  193s |      21 |  1247165 |  1084645 |      898   2947 |        0 |        0
195.86/195.92	c  195s |      21 |  1259124 |  1095045 |      898   2969 |        0 |        0
197.86/197.94	c  197s |      21 |  1270146 |  1104645 |      898   2989 |        0 |        0
199.86/199.94	c  199s |      21 |  1282403 |  1115345 |      898   3012 |        0 |        0
201.85/201.96	c  201s |      21 |  1294832 |  1125945 |      898   3034 |        0 |        0
203.85/203.97	c  203s |      21 |  1306886 |  1136445 |      898   3056 |        0 |        0
205.85/205.99	c  205s |      21 |  1318510 |  1146745 |      898   3077 |        0 |        0
207.86/207.99	c  207s |      21 |  1330397 |  1157045 |      898   3099 |        0 |        0
209.95/210.00	c  209s |      21 |  1343806 |  1168445 |      898   3123 |        0 |        0
211.95/212.01	c  212s |      21 |  1356537 |  1179445 |      898   3146 |        0 |        0
213.95/214.02	c  214s |      21 |  1369993 |  1191245 |      898   3171 |        0 |        0
215.95/216.04	c  216s |      21 |  1383113 |  1202845 |      898   3195 |        0 |        0
217.95/218.05	c  218s |      21 |  1394620 |  1213145 |      898   3217 |        0 |        0
219.97/220.06	c  220s |      21 |  1405643 |  1222945 |      898   3237 |        0 |        0
221.96/222.07	c  222s |      21 |  1417678 |  1233445 |      898   3259 |        0 |        0
223.96/224.09	c  224s |      21 |  1429107 |  1243545 |      898   3280 |        0 |        0
225.96/226.09	c  226s |      21 |  1440251 |  1253445 |      898   3301 |        0 |        0
228.06/228.10	c  228s |      21 |  1451649 |  1263645 |      898   3322 |        0 |        0
230.06/230.11	c  230s |      21 |  1463203 |  1273845 |      898   3343 |        0 |        0
232.06/232.13	c  232s |      21 |  1474774 |  1284145 |      898   3365 |        0 |        0
234.06/234.14	c  234s |      21 |  1486299 |  1294445 |      898   3387 |        0 |        0
236.05/236.15	c  236s |      21 |  1497694 |  1304545 |      898   3408 |        0 |        0
238.05/238.16	c  238s |      21 |  1509495 |  1314945 |      898   3430 |        0 |        0
240.05/240.18	c  240s |      21 |  1521381 |  1325145 |      898   3451 |        0 |        0
242.06/242.18	c  242s |      21 |  1533081 |  1335345 |      898   3473 |        0 |        0
244.05/244.19	c  244s |      21 |  1544254 |  1345245 |      898   3494 |        0 |        0
246.05/246.19	c  246s |      21 |  1556845 |  1356345 |      898   3516 |        0 |        0
248.15/248.20	c  248s |      21 |  1568057 |  1366445 |      898   3537 |        0 |        0
250.15/250.22	c  250s |      21 |  1578813 |  1376045 |      898   3557 |        0 |        0
252.15/252.22	c  252s |      21 |  1590231 |  1386245 |      898   3578 |        0 |        0
254.16/254.22	c  254s |      21 |  1601975 |  1396545 |      898   3599 |        0 |        0
256.15/256.23	c  256s |      21 |  1613243 |  1406645 |      898   3620 |        0 |        0
258.15/258.23	c  258s |      21 |  1625042 |  1417045 |      898   3641 |        0 |        0
260.15/260.25	c  260s |      21 |  1636340 |  1426945 |      898   3662 |        0 |        0
262.15/262.25	c  262s |      21 |  1646807 |  1436145 |      898   3681 |        0 |        0
264.15/264.26	c  264s |      21 |  1657071 |  1445445 |      898   3700 |        0 |        0
266.15/266.27	c  266s |      21 |  1667089 |  1454345 |      898   3718 |        0 |        0
268.15/268.27	c  268s |      21 |  1677105 |  1463445 |      898   3737 |        0 |        0
270.15/270.28	c  270s |      21 |  1688067 |  1473245 |      898   3757 |        0 |        0
272.14/272.28	c  272s |      21 |  1699240 |  1483345 |      898   3778 |        0 |        0
274.14/274.28	c  274s |      21 |  1710212 |  1493245 |      988   3798 |        0 |        0
275.74/275.87	c  275s |      22 |  1718403 |  1500622 |      988   3812 |        0 |        0
277.75/277.89	c  277s |      22 |  1730368 |  1510722 |      988   3831 |        0 |        0
279.75/279.89	c  279s |      22 |  1741066 |  1520122 |      988   3849 |        0 |        0
281.85/281.90	c  281s |      22 |  1752032 |  1529622 |      988   3867 |        0 |        0
283.86/283.90	c  283s |      22 |  1762585 |  1538822 |      988   3884 |        0 |        0
285.85/285.92	c  285s |      22 |  1773319 |  1548222 |      988   3902 |        0 |        0
287.85/287.93	c  287s |      22 |  1784708 |  1558222 |      988   3921 |        0 |        0
289.85/289.95	c  289s |      22 |  1795300 |  1567622 |      988   3938 |        0 |        0
291.85/291.96	c  291s |      22 |  1806168 |  1577022 |      988   3956 |        0 |        0
293.85/293.97	c  293s |      22 |  1816587 |  1586222 |      988   3974 |        0 |        0
295.85/295.98	c  295s |      22 |  1827293 |  1595822 |      988   3992 |        0 |        0
297.84/297.99	c  297s |      22 |  1837593 |  1605022 |      988   4009 |        0 |        0
299.94/300.00	c  299s |      22 |  1848257 |  1614422 |      988   4027 |        0 |        0
301.94/302.02	c  302s |      22 |  1859155 |  1624122 |      988   4046 |        0 |        0
303.94/304.02	c  304s |      22 |  1870197 |  1633922 |      988   4064 |        0 |        0
305.94/306.02	c  306s |      22 |  1881038 |  1643522 |      988   4083 |        0 |        0
307.95/308.03	c  308s |      22 |  1889971 |  1651622 |      988   4098 |        0 |        0
309.94/310.04	c  310s |      22 |  1900662 |  1660922 |      988   4116 |        0 |        0
311.94/312.04	c  312s |      22 |  1911470 |  1670322 |      988   4133 |        0 |        0
313.94/314.05	c  314s |      22 |  1921915 |  1678922 |      988   4150 |        0 |        0
315.94/316.06	c  316s |      22 |  1932953 |  1688422 |      988   4168 |        0 |        0
317.95/318.08	c  318s |      22 |  1944048 |  1698122 |      988   4186 |        0 |        0
319.94/320.09	c  320s |      22 |  1954549 |  1707222 |      988   4204 |        0 |        0
322.04/322.11	c  322s |      22 |  1965474 |  1716822 |      988   4222 |        0 |        0
324.04/324.13	c  324s |      22 |  1976508 |  1726522 |      988   4241 |        0 |        0
326.04/326.14	c  326s |      22 |  1987953 |  1736622 |      988   4260 |        0 |        0
328.04/328.15	c  328s |      22 |  1999441 |  1746822 |      988   4279 |        0 |        0
330.04/330.17	c  330s |      22 |  2010511 |  1756722 |      988   4298 |        0 |        0
332.04/332.19	c  332s |      22 |  2021261 |  1766422 |      988   4316 |        0 |        0
334.13/334.20	c  334s |      22 |  2032474 |  1776422 |      988   4336 |        0 |        0
336.13/336.21	c  336s |      22 |  2043630 |  1786422 |      988   4355 |        0 |        0
338.13/338.21	c  338s |      22 |  2054076 |  1795722 |      988   4372 |        0 |        0
340.13/340.23	c  340s |      22 |  2064140 |  1804722 |      988   4389 |        0 |        0
342.14/342.25	c  342s |      22 |  2074684 |  1814222 |      988   4407 |        0 |        0
344.13/344.27	c  344s |      22 |  2084480 |  1822922 |      988   4424 |        0 |        0
346.13/346.29	c  346s |      22 |  2094607 |  1831922 |      988   4441 |        0 |        0
348.24/348.30	c  348s |      22 |  2104936 |  1841022 |      988   4458 |        0 |        0
350.24/350.31	c  350s |      22 |  2116827 |  1851422 |      988   4478 |        0 |        0
352.24/352.31	c  352s |      22 |  2127796 |  1861122 |      988   4496 |        0 |        0
354.25/354.33	c  354s |      22 |  2138012 |  1870322 |      988   4513 |        0 |        0
356.24/356.35	c  356s |      22 |  2148352 |  1879522 |      988   4530 |        0 |        0
358.24/358.36	c  358s |      22 |  2158712 |  1888922 |      988   4548 |        0 |        0
360.24/360.38	c  360s |      22 |  2169112 |  1898322 |      988   4566 |        0 |        0
362.24/362.39	c  362s |      22 |  2178845 |  1907022 |      988   4582 |        0 |        0
364.34/364.41	c  364s |      22 |  2188569 |  1915822 |      988   4599 |        0 |        0
366.34/366.44	c  366s |      22 |  2197814 |  1924222 |      988   4615 |        0 |        0
368.34/368.46	c  368s |      22 |  2207477 |  1932822 |      988   4631 |        0 |        0
370.34/370.46	c  370s |      22 |  2216557 |  1941122 |      988   4646 |        0 |        0
372.34/372.47	c  372s |      22 |  2226016 |  1949722 |      988   4662 |        0 |        0
374.34/374.48	c  374s |      22 |  2235228 |  1958122 |      988   4678 |        0 |        0
376.33/376.49	c  376s |      22 |  2245161 |  1967022 |      988   4695 |        0 |        0
378.44/378.51	c  378s |      22 |  2254851 |  1975822 |      988   4712 |        0 |        0
380.43/380.51	c  380s |      22 |  2263937 |  1984022 |      988   4727 |        0 |        0
382.43/382.52	c  382s |      22 |  2273438 |  1992422 |      988   4743 |        0 |        0
384.43/384.53	c  384s |      22 |  2282833 |  2000922 |      988   4759 |        0 |        0
386.43/386.53	c  386s |      22 |  2293035 |  2010222 |      988   4776 |        0 |        0
388.43/388.54	c  388s |      22 |  2303519 |  2019522 |      988   4794 |        0 |        0
390.44/390.55	c  390s |      22 |  2314534 |  2029222 |      988   4812 |        0 |        0
392.43/392.56	c  392s |      22 |  2324824 |  2038322 |      988   4830 |        0 |        0
394.43/394.56	c  394s |      22 |  2336263 |  2048122 |      988   4848 |        0 |        0
396.43/396.58	c  396s |      22 |  2347003 |  2057622 |      988   4866 |        0 |        0
398.43/398.60	c  398s |      22 |  2357360 |  2066822 |      988   4883 |        0 |        0
400.53/400.61	c  400s |      22 |  2367283 |  2075622 |      988   4900 |        0 |        0
402.53/402.63	c  402s |      22 |  2377281 |  2084422 |      988   4917 |        0 |        0
404.53/404.64	c  404s |      22 |  2387097 |  2093222 |      988   4933 |        0 |        0
406.53/406.65	c  406s |      22 |  2396592 |  2101622 |      988   4949 |        0 |        0
408.53/408.65	c  408s |      22 |  2407537 |  2110622 |      988   4966 |        0 |        0
410.53/410.66	c  410s |      22 |  2419068 |  2120022 |      988   4984 |        0 |        0
412.53/412.66	c  412s |      22 |  2429245 |  2128922 |      988   5001 |        0 |        0
414.53/414.66	c  414s |      22 |  2440141 |  2138422 |      988   5019 |        0 |        0
416.52/416.66	c  416s |      22 |  2450442 |  2147522 |      988   5036 |        0 |        0
418.52/418.67	c  418s |      22 |  2461863 |  2157422 |      988   5055 |        0 |        0
420.52/420.68	c  420s |      22 |  2472428 |  2166622 |      988   5073 |        0 |        0
422.52/422.69	c  422s |      22 |  2483905 |  2176822 |      988   5092 |        0 |        0
424.53/424.70	c  424s |      22 |  2494928 |  2186622 |      988   5111 |        0 |        0
426.62/426.70	c  426s |      22 |  2506417 |  2196822 |      988   5130 |        0 |        0
428.62/428.71	c  428s |      22 |  2517578 |  2206522 |      988   5149 |        0 |        0
430.62/430.74	c  430s |      22 |  2528678 |  2215822 |      988   5166 |        0 |        0
432.62/432.76	c  432s |      22 |  2539486 |  2225022 |      988   5184 |        0 |        0
434.63/434.76	c  434s |      22 |  2550327 |  2234322 |      988   5202 |        0 |        0
436.63/436.77	c  436s |      22 |  2562145 |  2244522 |     1087   5219 |        0 |        0
438.13/438.23	c  438s |      23 |  2569485 |  2251038 |     1087   5231 |        0 |        0
440.13/440.25	c  440s |      23 |  2580805 |  2260638 |     1087   5247 |        0 |        0
442.13/442.26	c  442s |      23 |  2591762 |  2269938 |     1087   5263 |        0 |        0
444.12/444.27	c  444s |      23 |  2602291 |  2278938 |     1087   5279 |        0 |        0
446.12/446.27	c  446s |      23 |  2613121 |  2287738 |     1087   5294 |        0 |        0
448.12/448.27	c  448s |      23 |  2624129 |  2296838 |     1087   5310 |        0 |        0
450.12/450.28	c  450s |      23 |  2635068 |  2305138 |     1087   5324 |        0 |        0
452.22/452.30	c  452s |      23 |  2645031 |  2313538 |     1087   5339 |        0 |        0
454.23/454.32	c  454s |      23 |  2654531 |  2321838 |     1087   5353 |        0 |        0
456.22/456.34	c  456s |      23 |  2665014 |  2330538 |     1087   5368 |        0 |        0
458.22/458.35	c  458s |      23 |  2675384 |  2339338 |     1087   5383 |        0 |        0
460.22/460.36	c  460s |      23 |  2685767 |  2348238 |     1087   5399 |        0 |        0
462.22/462.37	c  462s |      23 |  2696840 |  2357538 |     1087   5415 |        0 |        0
464.22/464.39	c  464s |      23 |  2708832 |  2367538 |     1087   5432 |        0 |        0
466.32/466.40	c  466s |      23 |  2719060 |  2376338 |     1087   5447 |        0 |        0
468.32/468.40	c  468s |      23 |  2729835 |  2385538 |     1087   5463 |        0 |        0
470.32/470.41	c  470s |      23 |  2741109 |  2395238 |     1087   5480 |        0 |        0
472.32/472.43	c  472s |      23 |  2752902 |  2404738 |     1087   5496 |        0 |        0
474.31/474.43	c  474s |      23 |  2763325 |  2413238 |     1087   5511 |        0 |        0
476.32/476.44	c  476s |      23 |  2773692 |  2422438 |     1087   5527 |        0 |        0
478.31/478.45	c  478s |      23 |  2783686 |  2431438 |     1087   5542 |        0 |        0
480.31/480.47	c  480s |      23 |  2794005 |  2440738 |     1087   5558 |        0 |        0
482.31/482.48	c  482s |      23 |  2803550 |  2449238 |     1087   5573 |        0 |        0
484.31/484.49	c  484s |      23 |  2813777 |  2458138 |     1087   5588 |        0 |        0
486.31/486.50	c  486s |      23 |  2823109 |  2466338 |     1087   5602 |        0 |        0
488.42/488.50	c  488s |      23 |  2832522 |  2474638 |     1087   5617 |        0 |        0
490.41/490.50	c  490s |      23 |  2842097 |  2483038 |     1087   5631 |        0 |        0
492.41/492.52	c  492s |      23 |  2851422 |  2491438 |     1087   5646 |        0 |        0
494.41/494.53	c  494s |      23 |  2860926 |  2500038 |     1087   5660 |        0 |        0
496.41/496.55	c  496s |      23 |  2870178 |  2508238 |     1087   5675 |        0 |        0
498.41/498.56	c  498s |      23 |  2880831 |  2517538 |     1087   5691 |        0 |        0
500.41/500.58	c  500s |      23 |  2891303 |  2526638 |     1087   5706 |        0 |        0
502.41/502.58	c  502s |      23 |  2901468 |  2535338 |     1087   5721 |        0 |        0
504.51/504.60	c  504s |      23 |  2911826 |  2544438 |     1087   5737 |        0 |        0
506.51/506.63	c  506s |      23 |  2921985 |  2553438 |     1087   5753 |        0 |        0
508.51/508.64	c  508s |      23 |  2932914 |  2562838 |     1087   5769 |        0 |        0
510.51/510.66	c  510s |      23 |  2942526 |  2571238 |     1087   5783 |        0 |        0
512.51/512.66	c  512s |      23 |  2951633 |  2579138 |     1087   5797 |        0 |        0
514.51/514.68	c  514s |      23 |  2961903 |  2587938 |     1087   5812 |        0 |        0
516.51/516.69	c  516s |      23 |  2972812 |  2597338 |     1087   5829 |        0 |        0
518.51/518.69	c  518s |      23 |  2983329 |  2606638 |     1087   5845 |        0 |        0
520.51/520.69	c  520s |      23 |  2993076 |  2615338 |     1087   5860 |        0 |        0
522.61/522.71	c  522s |      23 |  3002832 |  2624038 |     1087   5875 |        0 |        0
524.62/524.73	c  524s |      23 |  3012422 |  2632538 |     1087   5889 |        0 |        0
526.61/526.74	c  526s |      23 |  3021687 |  2640838 |     1087   5904 |        0 |        0
528.61/528.76	c  528s |      23 |  3031652 |  2649538 |     1087   5919 |        0 |        0
530.61/530.76	c  530s |      23 |  3041386 |  2658138 |     1087   5933 |        0 |        0
532.61/532.77	c  532s |      23 |  3051385 |  2667038 |     1087   5949 |        0 |        0
534.61/534.78	c  534s |      23 |  3061237 |  2675738 |     1087   5964 |        0 |        0
536.61/536.79	c  536s |      23 |  3070831 |  2684338 |     1087   5978 |        0 |        0
538.71/538.80	c  538s |      23 |  3080924 |  2693338 |     1087   5994 |        0 |        0
540.71/540.82	c  540s |      23 |  3090036 |  2701638 |     1087   6008 |        0 |        0
542.71/542.84	c  542s |      23 |  3100252 |  2710738 |     1087   6024 |        0 |        0
544.70/544.85	c  544s |      23 |  3109863 |  2719438 |     1087   6039 |        0 |        0
546.71/546.86	c  546s |      23 |  3119309 |  2727938 |     1087   6054 |        0 |        0
548.70/548.88	c  548s |      23 |  3128642 |  2736438 |     1087   6068 |        0 |        0
550.70/550.88	c  550s |      23 |  3138352 |  2745138 |     1087   6084 |        0 |        0
552.80/552.91	c  552s |      23 |  3147330 |  2753338 |     1087   6098 |        0 |        0
554.80/554.91	c  554s |      23 |  3157903 |  2762538 |     1087   6114 |        0 |        0
556.80/556.91	c  556s |      23 |  3168772 |  2771938 |     1087   6130 |        0 |        0
558.81/558.93	c  558s |      23 |  3179609 |  2781338 |     1087   6146 |        0 |        0
560.80/560.94	c  560s |      23 |  3189835 |  2790538 |     1087   6162 |        0 |        0
562.80/562.95	c  562s |      23 |  3199931 |  2799438 |     1087   6177 |        0 |        0
564.80/564.96	c  564s |      23 |  3209610 |  2807838 |     1087   6192 |        0 |        0
566.80/566.99	c  566s |      23 |  3219746 |  2816438 |     1087   6207 |        0 |        0
568.90/569.01	c  568s |      23 |  3229055 |  2824638 |     1087   6221 |        0 |        0
570.91/571.01	c  571s |      23 |  3238234 |  2832838 |     1087   6235 |        0 |        0
572.90/573.02	c  573s |      23 |  3246935 |  2840638 |     1087   6249 |        0 |        0
574.90/575.03	c  575s |      23 |  3256442 |  2849038 |     1087   6263 |        0 |        0
576.90/577.05	c  577s |      23 |  3265701 |  2857238 |     1087   6277 |        0 |        0
578.90/579.05	c  579s |      23 |  3274895 |  2865338 |     1087   6291 |        0 |        0
580.90/581.07	c  581s |      23 |  3283503 |  2872938 |     1087   6304 |        0 |        0
582.90/583.07	c  583s |      23 |  3292076 |  2880538 |     1087   6318 |        0 |        0
584.90/585.08	c  585s |      23 |  3301041 |  2888438 |     1087   6331 |        0 |        0
586.89/587.08	c  587s |      23 |  3309574 |  2896038 |     1087   6344 |        0 |        0
588.99/589.10	c  589s |      23 |  3319900 |  2905038 |     1087   6360 |        0 |        0
590.99/591.12	c  591s |      23 |  3329530 |  2913538 |     1087   6375 |        0 |        0
592.99/593.14	c  593s |      23 |  3339215 |  2921938 |     1087   6389 |        0 |        0
595.00/595.14	c  595s |      23 |  3348285 |  2930038 |     1087   6403 |        0 |        0
596.99/597.17	c  597s |      23 |  3357154 |  2937938 |     1087   6417 |        0 |        0
598.99/599.18	c  599s |      23 |  3366106 |  2945738 |     1087   6430 |        0 |        0
601.09/601.22	c  601s |      23 |  3374793 |  2953438 |     1087   6444 |        0 |        0
603.09/603.24	c  603s |      23 |  3383535 |  2961138 |     1087   6457 |        0 |        0
605.10/605.24	c  605s |      23 |  3392491 |  2969038 |     1087   6470 |        0 |        0
607.11/607.26	c  607s |      23 |  3402802 |  2978038 |     1087   6486 |        0 |        0
609.10/609.27	c  609s |      23 |  3413134 |  2986938 |     1087   6501 |        0 |        0
611.10/611.28	c  611s |      23 |  3422810 |  2995538 |     1087   6516 |        0 |        0
613.10/613.28	c  613s |      23 |  3432274 |  3004038 |     1087   6531 |        0 |        0
615.20/615.30	c  615s |      23 |  3441759 |  3012438 |     1087   6546 |        0 |        0
617.20/617.31	c  617s |      23 |  3451309 |  3020938 |     1087   6560 |        0 |        0
619.20/619.33	c  619s |      23 |  3460883 |  3029338 |     1087   6575 |        0 |        0
621.19/621.34	c  621s |      23 |  3470359 |  3037938 |     1087   6590 |        0 |        0
623.19/623.34	c  623s |      23 |  3479382 |  3046038 |     1087   6604 |        0 |        0
625.19/625.36	c  625s |      23 |  3487908 |  3053738 |     1087   6617 |        0 |        0
627.19/627.36	c  627s |      23 |  3496819 |  3061738 |     1087   6631 |        0 |        0
629.20/629.37	c  629s |      23 |  3505140 |  3069238 |     1087   6644 |        0 |        0
631.19/631.39	c  631s |      23 |  3513234 |  3076538 |     1087   6657 |        0 |        0
633.19/633.39	c  633s |      23 |  3521509 |  3083938 |     1087   6670 |        0 |        0
635.29/635.40	c  635s |      23 |  3530918 |  3092238 |     1087   6684 |        0 |        0
637.29/637.41	c  637s |      23 |  3540015 |  3100438 |     1087   6698 |        0 |        0
639.29/639.43	c  639s |      23 |  3549205 |  3108538 |     1087   6712 |        0 |        0
641.30/641.44	c  641s |      23 |  3558290 |  3116538 |     1087   6726 |        0 |        0
643.29/643.45	c  643s |      23 |  3567289 |  3124538 |     1087   6740 |        0 |        0
645.29/645.47	c  645s |      23 |  3575390 |  3131838 |     1087   6753 |        0 |        0
647.29/647.48	c  647s |      23 |  3584293 |  3139738 |     1087   6767 |        0 |        0
649.29/649.48	c  649s |      23 |  3592969 |  3147538 |     1087   6780 |        0 |        0
651.29/651.49	c  651s |      23 |  3601196 |  3154938 |     1087   6793 |        0 |        0
653.40/653.50	c  653s |      23 |  3609402 |  3162238 |     1087   6806 |        0 |        0
655.39/655.51	c  655s |      23 |  3619300 |  3170838 |     1087   6820 |        0 |        0
657.39/657.54	c  657s |      23 |  3628822 |  3179238 |     1087   6835 |        0 |        0
659.39/659.56	c  659s |      23 |  3638562 |  3187938 |     1087   6850 |        0 |        0
661.39/661.57	c  661s |      23 |  3647920 |  3196338 |     1087   6864 |        0 |        0
663.39/663.58	c  663s |      23 |  3657494 |  3204938 |     1087   6879 |        0 |        0
665.49/665.61	c  665s |      23 |  3666470 |  3213038 |     1087   6893 |        0 |        0
667.49/667.63	c  667s |      23 |  3676340 |  3221838 |     1087   6908 |        0 |        0
669.49/669.65	c  669s |      23 |  3686372 |  3230738 |     1087   6924 |        0 |        0
671.49/671.67	c  671s |      23 |  3696356 |  3239638 |     1087   6939 |        0 |        0
673.49/673.67	c  673s |      23 |  3706404 |  3248638 |     1087   6954 |        0 |        0
675.49/675.69	c  675s |      23 |  3716175 |  3257438 |     1087   6970 |        0 |        0
677.49/677.69	c  677s |      23 |  3725978 |  3266338 |     1087   6985 |        0 |        0
679.48/679.69	c  679s |      23 |  3736245 |  3275338 |     1087   7000 |        0 |        0
681.58/681.71	c  681s |      23 |  3745986 |  3284038 |     1087   7015 |        0 |        0
683.58/683.72	c  683s |      23 |  3755796 |  3292738 |     1087   7030 |        0 |        0
685.58/685.75	c  685s |      23 |  3765562 |  3301438 |     1087   7045 |        0 |        0
687.58/687.77	c  687s |      23 |  3774791 |  3309638 |     1087   7060 |        0 |        0
689.59/689.78	c  689s |      23 |  3784169 |  3318138 |     1087   7074 |        0 |        0
691.58/691.78	c  691s |      23 |  3793025 |  3326138 |     1087   7088 |        0 |        0
693.68/693.80	c  693s |      23 |  3802839 |  3334838 |     1087   7103 |        0 |        0
695.68/695.82	c  695s |      23 |  3811656 |  3342838 |     1087   7117 |        0 |        0
697.68/697.83	c  697s |      23 |  3820623 |  3350938 |     1087   7131 |        0 |        0
699.68/699.85	c  699s |      23 |  3830084 |  3359438 |     1196   7144 |        0 |        0
701.69/701.86	c  701s |      23 |  3838858 |  3367438 |     1196   7157 |        0 |        0
703.68/703.88	c  703s |      23 |  3847390 |  3375238 |     1196   7169 |        0 |        0
704.08/704.25	c  704s |      24 |  3848960 |  3376662 |     1196   7172 |        0 |        0
706.08/706.25	c  706s |      24 |  3860003 |  3385862 |     1196   7186 |        0 |        0
708.08/708.26	c  708s |      24 |  3868996 |  3393462 |     1196   7198 |        0 |        0
710.08/710.28	c  710s |      24 |  3878838 |  3401362 |     1196   7211 |        0 |        0
712.08/712.29	c  712s |      24 |  3888529 |  3409662 |     1196   7224 |        0 |        0
714.08/714.29	c  714s |      24 |  3899521 |  3418662 |     1196   7238 |        0 |        0
716.18/716.31	c  716s |      24 |  3910253 |  3427862 |     1196   7252 |        0 |        0
718.19/718.32	c  718s |      24 |  3920879 |  3436662 |     1196   7266 |        0 |        0
720.18/720.33	c  720s |      24 |  3932304 |  3445662 |     1196   7281 |        0 |        0
722.18/722.36	c  722s |      24 |  3944216 |  3454462 |     1196   7295 |        0 |        0
724.18/724.38	c  724s |      24 |  3953685 |  3462362 |     1196   7307 |        0 |        0
726.18/726.38	c  726s |      24 |  3962703 |  3469962 |     1196   7319 |        0 |        0
728.28/728.40	c  728s |      24 |  3972304 |  3477362 |     1196   7331 |        0 |        0
730.29/730.41	c  730s |      24 |  3982875 |  3486162 |     1196   7345 |        0 |        0
732.28/732.42	c  732s |      24 |  3995335 |  3495062 |     1196   7359 |        0 |        0
734.28/734.43	c  734s |      24 |  4006305 |  3503862 |     1196   7373 |        0 |        0
736.28/736.45	c  736s |      24 |  4015852 |  3512262 |     1196   7386 |        0 |        0
738.28/738.45	c  738s |      24 |  4024292 |  3519862 |     1196   7398 |        0 |        0
740.28/740.45	c  740s |      24 |  4033154 |  3527662 |     1196   7411 |        0 |        0
742.27/742.47	c  742s |      24 |  4043113 |  3536562 |     1196   7425 |        0 |        0
744.27/744.48	c  744s |      24 |  4052240 |  3544662 |     1196   7437 |        0 |        0
746.37/746.50	c  746s |      24 |  4061108 |  3552362 |     1196   7450 |        0 |        0
748.37/748.51	c  748s |      24 |  4071438 |  3561262 |     1196   7464 |        0 |        0
750.37/750.52	c  750s |      24 |  4081869 |  3570362 |     1196   7478 |        0 |        0
752.38/752.53	c  752s |      24 |  4091810 |  3579162 |     1196   7492 |        0 |        0
754.37/754.54	c  754s |      24 |  4102317 |  3588462 |     1196   7507 |        0 |        0
756.37/756.54	c  756s |      24 |  4112645 |  3597662 |     1196   7521 |        0 |        0
758.37/758.56	c  758s |      24 |  4122219 |  3606262 |     1196   7535 |        0 |        0
760.37/760.58	c  760s |      24 |  4131811 |  3614862 |     1196   7548 |        0 |        0
762.37/762.58	c  762s |      24 |  4141521 |  3623262 |     1196   7562 |        0 |        0
764.48/764.61	c  764s |      24 |  4151304 |  3631962 |     1196   7575 |        0 |        0
766.48/766.62	c  766s |      24 |  4160292 |  3640062 |     1196   7588 |        0 |        0
768.48/768.63	c  768s |      24 |  4169888 |  3648562 |     1196   7601 |        0 |        0
770.48/770.65	c  770s |      24 |  4179238 |  3656862 |     1196   7614 |        0 |        0
772.48/772.66	c  772s |      24 |  4188325 |  3664862 |     1196   7627 |        0 |        0
774.47/774.68	c  774s |      24 |  4197584 |  3673162 |     1196   7640 |        0 |        0
776.58/776.71	c  776s |      24 |  4206419 |  3680962 |     1196   7653 |        0 |        0
778.57/778.73	c  778s |      24 |  4215465 |  3689062 |     1196   7665 |        0 |        0
780.57/780.73	c  780s |      24 |  4225323 |  3697762 |     1196   7679 |        0 |        0
782.57/782.75	c  782s |      24 |  4234947 |  3706162 |     1196   7693 |        0 |        0
784.57/784.77	c  784s |      24 |  4244332 |  3714362 |     1196   7706 |        0 |        0
786.57/786.78	c  786s |      24 |  4254095 |  3722862 |     1196   7719 |        0 |        0
788.58/788.79	c  788s |      24 |  4264212 |  3731562 |     1196   7733 |        0 |        0
790.67/790.80	c  790s |      24 |  4274053 |  3740262 |     1196   7747 |        0 |        0
792.67/792.80	c  792s |      24 |  4283100 |  3748162 |     1196   7759 |        0 |        0
794.67/794.83	c  794s |      24 |  4292097 |  3756062 |     1196   7772 |        0 |        0
796.66/796.83	c  796s |      24 |  4300972 |  3763962 |     1196   7784 |        0 |        0
798.66/798.84	c  798s |      24 |  4310175 |  3771962 |     1196   7797 |        0 |        0
800.67/800.86	c  800s |      24 |  4319171 |  3779862 |     1196   7809 |        0 |        0
802.66/802.87	c  802s |      24 |  4328139 |  3787662 |     1196   7822 |        0 |        0
804.67/804.88	c  804s |      24 |  4337240 |  3795562 |     1196   7834 |        0 |        0
806.77/806.90	c  806s |      24 |  4345375 |  3802762 |     1196   7846 |        0 |        0
808.77/808.92	c  808s |      24 |  4354215 |  3810462 |     1196   7858 |        0 |        0
810.77/810.93	c  810s |      24 |  4362798 |  3818062 |     1196   7870 |        0 |        0
812.78/812.95	c  812s |      24 |  4371886 |  3825862 |     1196   7882 |        0 |        0
814.77/814.97	c  814s |      24 |  4380841 |  3833662 |     1196   7894 |        0 |        0
816.77/816.98	c  816s |      24 |  4388959 |  3840962 |     1196   7906 |        0 |        0
818.77/818.99	c  818s |      24 |  4397847 |  3848862 |     1196   7918 |        0 |        0
820.77/820.99	c  820s |      24 |  4407965 |  3857662 |     1196   7932 |        0 |        0
822.77/822.99	c  822s |      24 |  4417100 |  3865862 |     1196   7945 |        0 |        0
824.87/825.01	c  825s |      24 |  4425546 |  3873462 |     1196   7957 |        0 |        0
826.86/827.04	c  827s |      24 |  4434212 |  3881262 |     1196   7970 |        0 |        0
828.86/829.05	c  829s |      24 |  4443224 |  3889362 |     1196   7982 |        0 |        0
830.86/831.06	c  831s |      24 |  4451870 |  3897162 |     1196   7995 |        0 |        0
832.86/833.06	c  833s |      24 |  4460350 |  3904762 |     1196   8007 |        0 |        0
834.87/835.08	c  835s |      24 |  4469348 |  3912862 |     1196   8020 |        0 |        0
836.97/837.11	c  837s |      24 |  4479172 |  3921562 |     1196   8033 |        0 |        0
838.96/839.13	c  839s |      24 |  4488554 |  3930062 |     1196   8047 |        0 |        0
840.96/841.16	c  841s |      24 |  4497565 |  3938262 |     1196   8060 |        0 |        0
842.96/843.16	c  843s |      24 |  4506455 |  3946262 |     1196   8072 |        0 |        0
844.96/845.16	c  845s |      24 |  4515424 |  3954362 |     1196   8085 |        0 |        0
846.96/847.17	c  847s |      24 |  4523681 |  3961862 |     1196   8097 |        0 |        0
848.96/849.17	c  849s |      24 |  4532258 |  3969462 |     1196   8109 |        0 |        0
850.95/851.18	c  851s |      24 |  4541059 |  3977362 |     1196   8122 |        0 |        0
853.06/853.21	c  853s |      24 |  4549593 |  3984962 |     1196   8134 |        0 |        0
855.06/855.22	c  855s |      24 |  4558010 |  3992462 |     1196   8146 |        0 |        0
857.06/857.23	c  857s |      24 |  4567494 |  4000762 |     1196   8159 |        0 |        0
859.07/859.24	c  859s |      24 |  4576386 |  4008662 |     1196   8171 |        0 |        0
861.06/861.26	c  861s |      24 |  4585676 |  4016762 |     1196   8184 |        0 |        0
863.06/863.28	c  863s |      24 |  4593885 |  4024062 |     1196   8196 |        0 |        0
865.06/865.28	c  865s |      24 |  4602763 |  4031862 |     1196   8208 |        0 |        0
867.16/867.30	c  867s |      24 |  4612748 |  4040662 |     1196   8222 |        0 |        0
869.16/869.30	c  869s |      24 |  4622077 |  4048962 |     1196   8235 |        0 |        0
871.17/871.30	c  871s |      24 |  4630522 |  4056662 |     1196   8247 |        0 |        0
873.16/873.31	c  873s |      24 |  4639461 |  4064662 |     1196   8260 |        0 |        0
875.16/875.31	c  875s |      24 |  4648849 |  4073062 |     1196   8273 |        0 |        0
877.16/877.34	c  877s |      24 |  4657987 |  4081262 |     1196   8286 |        0 |        0
879.16/879.35	c  879s |      24 |  4667166 |  4089562 |     1196   8299 |        0 |        0
881.16/881.36	c  881s |      24 |  4676200 |  4097662 |     1196   8312 |        0 |        0
883.16/883.38	c  883s |      24 |  4685459 |  4105962 |     1196   8326 |        0 |        0
885.16/885.39	c  885s |      24 |  4694017 |  4113562 |     1196   8338 |        0 |        0
887.26/887.42	c  887s |      24 |  4703218 |  4121762 |     1196   8351 |        0 |        0
889.25/889.43	c  889s |      24 |  4712985 |  4130262 |     1196   8364 |        0 |        0
891.25/891.44	c  891s |      24 |  4721912 |  4138262 |     1196   8377 |        0 |        0
893.25/893.44	c  893s |      24 |  4730899 |  4146262 |     1196   8389 |        0 |        0
895.26/895.46	c  895s |      24 |  4740410 |  4154762 |     1196   8403 |        0 |        0
897.25/897.47	c  897s |      24 |  4750822 |  4164062 |     1196   8417 |        0 |        0
899.25/899.47	c  899s |      24 |  4760495 |  4172662 |     1196   8431 |        0 |        0
901.25/901.48	c  901s |      24 |  4770258 |  4181262 |     1196   8445 |        0 |        0
903.25/903.49	c  903s |      24 |  4779873 |  4189862 |     1196   8458 |        0 |        0
905.35/905.50	c  905s |      24 |  4789379 |  4198262 |     1196   8472 |        0 |        0
907.36/907.50	c  907s |      24 |  4798968 |  4206762 |     1196   8485 |        0 |        0
909.35/909.52	c  909s |      24 |  4809216 |  4215762 |     1196   8499 |        0 |        0
911.35/911.53	c  911s |      24 |  4818907 |  4224262 |     1196   8513 |        0 |        0
913.35/913.54	c  913s |      24 |  4828822 |  4232762 |     1196   8526 |        0 |        0
915.35/915.54	c  915s |      24 |  4838648 |  4241262 |     1196   8540 |        0 |        0
917.35/917.56	c  917s |      24 |  4848148 |  4249562 |     1196   8553 |        0 |        0
919.35/919.57	c  919s |      24 |  4858141 |  4258462 |     1196   8567 |        0 |        0
921.35/921.58	c  921s |      24 |  4867662 |  4266862 |     1196   8581 |        0 |        0
923.45/923.60	c  923s |      24 |  4877994 |  4275362 |     1196   8594 |        0 |        0
925.45/925.62	c  925s |      24 |  4887516 |  4283862 |     1196   8608 |        0 |        0
927.45/927.64	c  927s |      24 |  4896792 |  4292162 |     1196   8621 |        0 |        0
929.45/929.64	c  929s |      24 |  4905746 |  4300062 |     1196   8633 |        0 |        0
931.44/931.64	c  931s |      24 |  4913219 |  4306762 |     1196   8644 |        0 |        0
933.44/933.64	c  933s |      24 |  4921738 |  4314362 |     1196   8656 |        0 |        0
935.44/935.65	c  935s |      24 |  4931791 |  4323262 |     1196   8670 |        0 |        0
937.44/937.65	c  937s |      24 |  4941334 |  4331662 |     1196   8683 |        0 |        0
939.44/939.68	c  939s |      24 |  4950648 |  4339962 |     1196   8697 |        0 |        0
941.45/941.68	c  941s |      24 |  4960090 |  4348362 |     1196   8710 |        0 |        0
943.44/943.69	c  943s |      24 |  4969353 |  4356662 |     1196   8723 |        0 |        0
945.55/945.70	c  945s |      24 |  4978393 |  4364762 |     1196   8736 |        0 |        0
947.55/947.71	c  947s |      24 |  4987659 |  4373062 |     1196   8749 |        0 |        0
949.55/949.73	c  949s |      24 |  4996710 |  4381262 |     1196   8762 |        0 |        0
951.55/951.74	c  951s |      24 |  5005799 |  4389362 |     1196   8775 |        0 |        0
953.56/953.75	c  953s |      24 |  5014964 |  4397462 |     1196   8788 |        0 |        0
955.55/955.76	c  955s |      24 |  5023892 |  4405462 |     1196   8801 |        0 |        0
957.55/957.79	c  957s |      24 |  5032785 |  4413262 |     1196   8813 |        0 |        0
959.65/959.81	c  959s |      24 |  5042435 |  4421862 |     1196   8827 |        0 |        0
961.65/961.83	c  961s |      24 |  5052297 |  4430562 |     1196   8841 |        0 |        0
963.65/963.84	c  963s |      24 |  5062120 |  4439062 |     1196   8854 |        0 |        0
965.65/965.85	c  965s |      24 |  5071311 |  4447262 |     1196   8867 |        0 |        0
967.64/967.86	c  967s |      24 |  5080588 |  4455562 |     1196   8880 |        0 |        0
969.64/969.88	c  969s |      24 |  5089631 |  4463562 |     1196   8893 |        0 |        0
971.74/971.90	c  971s |      24 |  5098494 |  4471462 |     1196   8905 |        0 |        0
973.74/973.92	c  973s |      24 |  5107738 |  4479662 |     1196   8919 |        0 |        0
975.74/975.94	c  975s |      24 |  5116590 |  4487562 |     1196   8931 |        0 |        0
977.75/977.96	c  977s |      24 |  5126124 |  4495962 |     1196   8944 |        0 |        0
979.74/979.97	c  979s |      24 |  5135040 |  4503962 |     1196   8957 |        0 |        0
981.74/981.98	c  981s |      24 |  5145776 |  4513262 |     1196   8972 |        0 |        0
983.74/983.99	c  983s |      24 |  5155696 |  4521862 |     1196   8986 |        0 |        0
985.84/986.01	c  985s |      24 |  5165163 |  4530362 |     1196   8999 |        0 |        0
987.84/988.02	c  988s |      24 |  5175276 |  4539162 |     1196   9013 |        0 |        0
989.85/990.04	c  990s |      24 |  5184663 |  4547562 |     1196   9026 |        0 |        0
991.84/992.04	c  992s |      24 |  5194260 |  4556062 |     1196   9040 |        0 |        0
993.84/994.06	c  994s |      24 |  5203803 |  4564562 |     1196   9053 |        0 |        0
995.84/996.07	c  996s |      24 |  5213525 |  4573062 |     1196   9067 |        0 |        0
997.84/998.09	c  998s |      24 |  5223298 |  4581762 |     1196   9081 |        0 |        0
999.94/1000.12	c 1000s |      24 |  5232514 |  4589962 |     1196   9094 |        0 |        0
1001.94/1002.13	c 1002s |      24 |  5242315 |  4598562 |     1196   9107 |        0 |        0
1003.94/1004.15	c 1004s |      24 |  5253100 |  4608062 |     1196   9122 |        0 |        0
1005.94/1006.17	c 1006s |      24 |  5263344 |  4616962 |     1196   9136 |        0 |        0
1007.94/1008.18	c 1008s |      24 |  5273272 |  4625862 |     1196   9151 |        0 |        0
1009.94/1010.18	c 1010s |      24 |  5283406 |  4634862 |     1196   9165 |        0 |        0
1011.94/1012.19	c 1012s |      24 |  5293094 |  4643562 |     1196   9179 |        0 |        0
1013.93/1014.20	c 1014s |      24 |  5303267 |  4652462 |     1196   9193 |        0 |        0
1016.03/1016.21	c 1016s |      24 |  5312750 |  4660962 |     1196   9206 |        0 |        0
1018.03/1018.22	c 1018s |      24 |  5321945 |  4669362 |     1196   9219 |        0 |        0
1020.03/1020.24	c 1020s |      24 |  5332121 |  4678462 |     1196   9234 |        0 |        0
1022.03/1022.25	c 1022s |      24 |  5341575 |  4686662 |     1196   9247 |        0 |        0
1024.04/1024.26	c 1024s |      24 |  5350780 |  4694662 |     1196   9259 |        0 |        0
1026.03/1026.27	c 1026s |      24 |  5360334 |  4703262 |     1196   9273 |        0 |        0
1028.03/1028.28	c 1028s |      24 |  5369536 |  4711462 |     1196   9286 |        0 |        0
1030.03/1030.29	c 1030s |      24 |  5379183 |  4719962 |     1196   9299 |        0 |        0
1032.13/1032.30	c 1032s |      24 |  5388577 |  4728262 |     1196   9312 |        0 |        0
1034.13/1034.31	c 1034s |      24 |  5397552 |  4736362 |     1196   9325 |        0 |        0
1036.14/1036.32	c 1036s |      24 |  5406878 |  4744562 |     1196   9338 |        0 |        0
1038.13/1038.35	c 1038s |      24 |  5416285 |  4752862 |     1196   9351 |        0 |        0
1040.13/1040.37	c 1040s |      24 |  5425479 |  4761162 |     1196   9364 |        0 |        0
1042.13/1042.39	c 1042s |      24 |  5434904 |  4769562 |     1196   9377 |        0 |        0
1044.23/1044.40	c 1044s |      24 |  5444311 |  4778062 |     1196   9391 |        0 |        0
1046.23/1046.41	c 1046s |      24 |  5453968 |  4786762 |     1196   9404 |        0 |        0
1048.23/1048.42	c 1048s |      24 |  5463615 |  4795262 |     1196   9418 |        0 |        0
1050.22/1050.42	c 1050s |      24 |  5473193 |  4803762 |     1196   9431 |        0 |        0
1052.22/1052.44	c 1052s |      24 |  5483163 |  4812562 |     1196   9445 |        0 |        0
1054.22/1054.45	c 1054s |      24 |  5492554 |  4820962 |     1196   9458 |        0 |        0
1056.22/1056.45	c 1056s |      24 |  5501890 |  4829362 |     1196   9472 |        0 |        0
1058.22/1058.46	c 1058s |      24 |  5511106 |  4837662 |     1196   9485 |        0 |        0
1060.23/1060.48	c 1060s |      24 |  5520022 |  4845662 |     1196   9497 |        0 |        0
1062.32/1062.50	c 1062s |      24 |  5528409 |  4853162 |     1196   9509 |        0 |        0
1064.32/1064.52	c 1064s |      24 |  5538239 |  4862062 |     1196   9523 |        0 |        0
1066.32/1066.54	c 1066s |      24 |  5547923 |  4870862 |     1196   9537 |        0 |        0
1068.33/1068.55	c 1068s |      24 |  5557069 |  4879162 |     1196   9551 |        0 |        0
1070.33/1070.56	c 1070s |      24 |  5566364 |  4887562 |     1196   9564 |        0 |        0
1072.34/1072.57	c 1072s |      24 |  5575419 |  4895762 |     1196   9577 |        0 |        0
1074.33/1074.58	c 1074s |      24 |  5585065 |  4904462 |     1196   9590 |        0 |        0
1076.43/1076.61	c 1076s |      24 |  5594440 |  4912962 |     1196   9604 |        0 |        0
1078.43/1078.61	c 1078s |      24 |  5606063 |  4922362 |     1196   9619 |        1 |        0
1080.43/1080.62	c 1080s |      24 |  5615473 |  4930562 |     1196   9632 |        1 |        0
1082.43/1082.63	c 1082s |      24 |  5624967 |  4938862 |     1196   9645 |        1 |        0
1084.43/1084.63	c 1084s |      24 |  5634978 |  4947662 |     1196   9659 |        1 |        0
1086.42/1086.66	c 1086s |      24 |  5644308 |  4955862 |     1196   9672 |        1 |        0
1088.42/1088.66	c 1088s |      24 |  5653761 |  4964162 |     1196   9685 |        1 |        0
1090.42/1090.66	c 1090s |      24 |  5663811 |  4972562 |     1196   9698 |        1 |        0
1092.42/1092.67	c 1092s |      24 |  5674165 |  4981362 |     1196   9712 |        1 |        0
1094.52/1094.70	c 1094s |      24 |  5684521 |  4990162 |     1196   9726 |        1 |        0
1096.53/1096.71	c 1096s |      24 |  5694335 |  4998562 |     1196   9739 |        1 |        0
1098.52/1098.72	c 1098s |      24 |  5704360 |  5007362 |     1196   9753 |        1 |        0
1100.52/1100.74	c 1100s |      24 |  5713281 |  5015162 |     1196   9765 |        1 |        0
1102.52/1102.75	c 1102s |      24 |  5722544 |  5023062 |     1196   9778 |        1 |        0
1104.52/1104.78	c 1104s |      24 |  5731371 |  5030862 |     1316   9790 |        1 |        0
1106.52/1106.78	c 1106s |      24 |  5740381 |  5038762 |     1316   9801 |        1 |        0
1108.52/1108.78	c 1108s |      24 |  5749070 |  5046262 |     1316   9812 |        1 |        0
1110.62/1110.81	c 1110s |      24 |  5758475 |  5054262 |     1316   9824 |        1 |        0
1112.62/1112.82	c 1112s |      24 |  5768079 |  5062762 |     1316   9836 |        1 |        0
1113.22/1113.40	c 1113s |      25 |  5770638 |  5065098 |     1316   9839 |        1 |        0
1115.22/1115.41	c 1115s |      25 |  5781757 |  5074198 |     1316   9852 |        1 |        0
1117.21/1117.42	c 1117s |      25 |  5792275 |  5083098 |     1316   9865 |        1 |        0
1119.21/1119.44	c 1119s |      25 |  5803851 |  5092098 |     1316   9878 |        1 |        0
1121.21/1121.46	c 1121s |      25 |  5815331 |  5100698 |     1316   9891 |        1 |        0
1123.21/1123.47	c 1123s |      25 |  5824584 |  5108698 |     1316   9902 |        1 |        0
1125.31/1125.50	c 1125s |      25 |  5835076 |  5117298 |     1316   9915 |        1 |        0
1127.32/1127.51	c 1127s |      25 |  5844709 |  5125498 |     1316   9926 |        1 |        0
1129.31/1129.54	c 1129s |      25 |  5854044 |  5133498 |     1316   9938 |        1 |        0
1131.31/1131.55	c 1131s |      25 |  5862521 |  5140798 |     1316   9949 |        1 |        0
1133.31/1133.57	c 1133s |      25 |  5872890 |  5148998 |     1316   9960 |        1 |        0
1135.41/1135.60	c 1135s |      25 |  5883204 |  5157398 |     1316   9973 |        1 |        0
1137.41/1137.61	c 1137s |      25 |  5895475 |  5166298 |     1316   9986 |        1 |        0
1139.41/1139.64	c 1139s |      25 |  5906048 |  5174998 |     1316   9998 |        1 |        0
1141.40/1141.65	c 1141s |      25 |  5914766 |  5182598 |     1316  10009 |        1 |        0
1143.40/1143.68	c 1143s |      25 |  5923757 |  5190498 |     1316  10021 |        1 |        0
1145.40/1145.68	c 1145s |      25 |  5932192 |  5197998 |     1316  10031 |        1 |        0
1147.40/1147.68	c 1147s |      25 |  5941004 |  5205898 |     1316  10043 |        1 |        0
1149.41/1149.69	c 1149s |      25 |  5949845 |  5213798 |     1316  10054 |        1 |        0
1151.50/1151.71	c 1151s |      25 |  5958124 |  5221098 |     1316  10065 |        1 |        0
1153.50/1153.72	c 1153s |      25 |  5967133 |  5228898 |     1316  10076 |        1 |        0
1155.49/1155.73	c 1155s |      25 |  5976139 |  5236698 |     1316  10087 |        1 |        0
1157.49/1157.74	c 1157s |      25 |  5986292 |  5245498 |     1316  10100 |        1 |        0
1159.49/1159.76	c 1159s |      25 |  5996455 |  5254098 |     1316  10112 |        1 |        0
1161.50/1161.77	c 1161s |      25 |  6006139 |  5262498 |     1316  10124 |        1 |        0
1163.49/1163.77	c 1163s |      25 |  6015500 |  5270698 |     1316  10136 |        1 |        0
1165.49/1165.78	c 1165s |      25 |  6025361 |  5279098 |     1316  10148 |        1 |        0
1167.59/1167.81	c 1167s |      25 |  6035061 |  5287598 |     1316  10161 |        1 |        0
1169.59/1169.84	c 1169s |      25 |  6043295 |  5294998 |     1316  10171 |        1 |        0
1171.58/1171.87	c 1171s |      25 |  6051653 |  5302398 |     1316  10182 |        1 |        0
1173.59/1173.88	c 1173s |      25 |  6059486 |  5309398 |     1316  10192 |        1 |        0
1175.58/1175.88	c 1175s |      25 |  6067440 |  5316498 |     1316  10202 |        1 |        0
1177.68/1177.90	c 1177s |      25 |  6077283 |  5324998 |     1316  10215 |        1 |        0
1179.68/1179.92	c 1179s |      25 |  6086370 |  5332898 |     1316  10226 |        1 |        0
1181.67/1181.93	c 1181s |      25 |  6095243 |  5340698 |     1316  10237 |        1 |        0
1183.67/1183.95	c 1183s |      25 |  6104525 |  5348798 |     1316  10249 |        1 |        0
1185.69/1185.97	c 1185s |      25 |  6113408 |  5356698 |     1316  10260 |        1 |        0
1187.68/1187.98	c 1187s |      25 |  6122063 |  5364398 |     1316  10272 |        1 |        0
1189.78/1190.00	c 1189s |      25 |  6130912 |  5372098 |     1316  10283 |        1 |        0
1191.77/1192.00	c 1191s |      25 |  6140127 |  5380098 |     1316  10294 |        1 |        0
1193.77/1194.02	c 1194s |      25 |  6149360 |  5388198 |     1316  10306 |        1 |        0
1195.77/1196.03	c 1196s |      25 |  6159242 |  5396798 |     1316  10318 |        1 |        0
1197.78/1198.05	c 1198s |      25 |  6168732 |  5405098 |     1316  10330 |        1 |        0
1199.77/1200.06	c 1200s |      25 |  6177780 |  5412898 |     1316  10342 |        1 |        0
1201.77/1202.07	c 1202s |      25 |  6188059 |  5421498 |     1316  10354 |        1 |        0
1203.77/1204.09	c 1204s |      25 |  6197642 |  5429798 |     1316  10366 |        1 |        0
1205.87/1206.11	c 1206s |      25 |  6207862 |  5438398 |     1316  10379 |        1 |        0
1207.87/1208.12	c 1208s |      25 |  6217235 |  5446598 |     1316  10391 |        1 |        0
1209.87/1210.12	c 1210s |      25 |  6226654 |  5454898 |     1316  10403 |        1 |        0
1211.86/1212.14	c 1212s |      25 |  6236661 |  5463598 |     1316  10415 |        1 |        0
1213.86/1214.15	c 1214s |      25 |  6245938 |  5471798 |     1316  10427 |        1 |        0
1215.86/1216.18	c 1216s |      25 |  6254870 |  5479698 |     1316  10439 |        1 |        0
1217.86/1218.19	c 1218s |      25 |  6263944 |  5487498 |     1316  10450 |        1 |        0
1219.96/1220.21	c 1220s |      25 |  6273754 |  5495998 |     1316  10462 |        1 |        0
1221.96/1222.24	c 1222s |      25 |  6283081 |  5504198 |     1316  10474 |        1 |        0
1223.95/1224.25	c 1224s |      25 |  6291683 |  5511898 |     1316  10485 |        1 |        0
1225.95/1226.25	c 1226s |      25 |  6300881 |  5519898 |     1316  10497 |        1 |        0
1227.95/1228.26	c 1228s |      25 |  6310594 |  5528298 |     1316  10509 |        1 |        0
1229.95/1230.27	c 1230s |      25 |  6319922 |  5536498 |     1316  10521 |        1 |        0
1231.94/1232.29	c 1232s |      25 |  6329640 |  5545098 |     1316  10533 |        1 |        0
1233.95/1234.30	c 1234s |      25 |  6338350 |  5552998 |     1316  10545 |        1 |        0
1236.04/1236.32	c 1236s |      25 |  6347193 |  5560898 |     1316  10556 |        1 |        0
1238.04/1238.32	c 1238s |      25 |  6356941 |  5569198 |     1316  10568 |        1 |        0
1240.04/1240.32	c 1240s |      25 |  6365975 |  5577098 |     1316  10580 |        1 |        0
1242.04/1242.35	c 1242s |      25 |  6374815 |  5584698 |     1316  10591 |        1 |        0
1244.03/1244.36	c 1244s |      25 |  6383227 |  5592098 |     1316  10601 |        1 |        0
1246.04/1246.39	c 1246s |      25 |  6391550 |  5599498 |     1316  10612 |        1 |        0
1248.13/1248.40	c 1248s |      25 |  6399740 |  5606898 |     1316  10623 |        1 |        0
1250.13/1250.43	c 1250s |      25 |  6408687 |  5614698 |     1316  10634 |        1 |        0
1252.13/1252.44	c 1252s |      25 |  6417606 |  5622598 |     1316  10645 |        1 |        0
1254.13/1254.46	c 1254s |      25 |  6427148 |  5630998 |     1316  10657 |        1 |        0
1256.13/1256.46	c 1256s |      25 |  6436705 |  5639298 |     1316  10669 |        1 |        0
1258.13/1258.48	c 1258s |      25 |  6445817 |  5647398 |     1316  10681 |        1 |        0
1260.23/1260.51	c 1260s |      25 |  6454303 |  5654998 |     1316  10692 |        1 |        0
1262.23/1262.54	c 1262s |      25 |  6462611 |  5662498 |     1316  10703 |        1 |        0
1264.22/1264.55	c 1264s |      25 |  6471435 |  5670298 |     1316  10714 |        1 |        0
1266.22/1266.56	c 1266s |      25 |  6480366 |  5678198 |     1316  10726 |        1 |        0
1268.22/1268.57	c 1268s |      25 |  6489196 |  5685898 |     1316  10737 |        1 |        0
1270.23/1270.58	c 1270s |      25 |  6499783 |  5694998 |     1316  10750 |        1 |        0
1272.23/1272.58	c 1272s |      25 |  6510120 |  5703798 |     1316  10763 |        1 |        0
1274.23/1274.59	c 1274s |      25 |  6519721 |  5712298 |     1316  10775 |        1 |        0
1276.23/1276.59	c 1276s |      25 |  6529385 |  5720598 |     1316  10787 |        1 |        0
1278.33/1278.60	c 1278s |      25 |  6538783 |  5728898 |     1316  10799 |        1 |        0
1280.33/1280.62	c 1280s |      25 |  6549096 |  5737898 |     1316  10812 |        1 |        0
1282.33/1282.62	c 1282s |      25 |  6558799 |  5746498 |     1316  10825 |        1 |        0
1284.32/1284.64	c 1284s |      25 |  6568220 |  5754898 |     1316  10837 |        1 |        0
1286.32/1286.65	c 1286s |      25 |  6577270 |  5762898 |     1316  10848 |        1 |        0
1288.32/1288.67	c 1288s |      25 |  6586482 |  5771098 |     1316  10860 |        1 |        0
1290.31/1290.69	c 1290s |      25 |  6595490 |  5778998 |     1316  10872 |        1 |        0
1292.41/1292.70	c 1292s |      25 |  6604517 |  5786998 |     1316  10883 |        1 |        0
1294.42/1294.70	c 1294s |      25 |  6613724 |  5795198 |     1316  10895 |        1 |        0
1296.41/1296.70	c 1296s |      25 |  6622912 |  5803098 |     1316  10907 |        1 |        0
1298.41/1298.71	c 1298s |      25 |  6632710 |  5811898 |     1316  10919 |        1 |        0
1300.41/1300.71	c 1300s |      25 |  6642895 |  5820998 |     1316  10932 |        1 |        0
1302.40/1302.73	c 1302s |      25 |  6652708 |  5829698 |     1316  10945 |        1 |        0
1304.41/1304.73	c 1304s |      25 |  6662235 |  5838198 |     1316  10957 |        1 |        0
1306.40/1306.74	c 1306s |      25 |  6672032 |  5846998 |     1316  10970 |        1 |        0
1308.40/1308.75	c 1308s |      25 |  6681771 |  5855698 |     1316  10982 |        1 |        0
1310.40/1310.77	c 1310s |      25 |  6691015 |  5864098 |     1316  10994 |        1 |        0
1312.39/1312.78	c 1312s |      25 |  6700342 |  5872298 |     1316  11006 |        1 |        0
1314.39/1314.79	c 1314s |      25 |  6709195 |  5880098 |     1316  11018 |        1 |        0
1316.40/1316.79	c 1316s |      25 |  6718764 |  5888498 |     1316  11030 |        1 |        0
1318.49/1318.80	c 1318s |      25 |  6727679 |  5896398 |     1316  11041 |        1 |        0
1320.49/1320.82	c 1320s |      25 |  6736440 |  5904298 |     1316  11053 |        1 |        0
1322.49/1322.83	c 1322s |      25 |  6745292 |  5912198 |     1316  11064 |        1 |        0
1324.49/1324.86	c 1324s |      25 |  6754154 |  5920098 |     1316  11075 |        1 |        0
1326.49/1326.88	c 1326s |      25 |  6763328 |  5928198 |     1316  11087 |        1 |        0
1328.49/1328.89	c 1328s |      25 |  6772067 |  5936098 |     1316  11098 |        1 |        0
1330.59/1330.90	c 1330s |      25 |  6781076 |  5944298 |     1316  11110 |        1 |        0
1332.59/1332.92	c 1332s |      25 |  6790173 |  5952298 |     1316  11122 |        1 |        0
1334.59/1334.93	c 1334s |      25 |  6798451 |  5959798 |     1316  11133 |        1 |        0
1336.59/1336.94	c 1336s |      25 |  6806657 |  5967198 |     1316  11143 |        1 |        0
1338.59/1338.94	c 1338s |      25 |  6815851 |  5975498 |     1316  11155 |        1 |        0
1340.60/1340.95	c 1340s |      25 |  6824296 |  5983198 |     1316  11167 |        1 |        0
1342.58/1342.96	c 1342s |      25 |  6833460 |  5991398 |     1316  11178 |        1 |        0
1344.58/1344.98	c 1344s |      25 |  6841840 |  5998998 |     1316  11189 |        1 |        0
1346.58/1346.98	c 1346s |      25 |  6851416 |  6007298 |     1316  11202 |        1 |        0
1348.68/1349.00	c 1348s |      25 |  6860803 |  6015598 |     1316  11213 |        1 |        0
1350.68/1351.02	c 1351s |      25 |  6870093 |  6023698 |     1316  11225 |        1 |        0
1352.68/1353.03	c 1353s |      25 |  6878847 |  6031398 |     1316  11236 |        1 |        0
1354.68/1355.03	c 1355s |      25 |  6887564 |  6039098 |     1316  11248 |        1 |        0
1356.67/1357.04	c 1357s |      25 |  6897150 |  6047498 |     1316  11260 |        1 |        0
1358.67/1359.05	c 1359s |      25 |  6906139 |  6055498 |     1316  11271 |        1 |        0
1360.67/1361.06	c 1361s |      25 |  6915181 |  6063498 |     1316  11283 |        1 |        0
1362.67/1363.08	c 1363s |      25 |  6925669 |  6072798 |     1316  11296 |        2 |        0
1364.67/1365.08	c 1365s |      25 |  6935425 |  6081498 |     1316  11309 |        2 |        0
1366.67/1367.09	c 1367s |      25 |  6945319 |  6090198 |     1316  11321 |        2 |        0
1368.77/1369.10	c 1369s |      25 |  6954377 |  6098398 |     1316  11333 |        2 |        0
1370.76/1371.12	c 1371s |      25 |  6963426 |  6106498 |     1316  11345 |        2 |        0
1372.76/1373.13	c 1373s |      25 |  6972441 |  6114598 |     1316  11357 |        2 |        0
1374.77/1375.13	c 1375s |      25 |  6981801 |  6122998 |     1316  11369 |        2 |        0
1376.76/1377.14	c 1377s |      25 |  6991127 |  6131398 |     1316  11381 |        2 |        0
1378.76/1379.15	c 1379s |      25 |  7000414 |  6139698 |     1316  11393 |        2 |        0
1380.76/1381.16	c 1381s |      25 |  7010345 |  6148398 |     1316  11405 |        2 |        0
1382.76/1383.18	c 1383s |      25 |  7019644 |  6156698 |     1316  11417 |        2 |        0
1384.76/1385.20	c 1385s |      25 |  7028601 |  6164598 |     1316  11429 |        2 |        0
1386.86/1387.21	c 1387s |      25 |  7037148 |  6172198 |     1316  11440 |        2 |        0
1388.86/1389.23	c 1389s |      25 |  7045822 |  6179998 |     1316  11451 |        2 |        0
1390.85/1391.25	c 1391s |      25 |  7054376 |  6187698 |     1316  11462 |        2 |        0
1392.85/1393.26	c 1393s |      25 |  7062568 |  6195098 |     1316  11472 |        2 |        0
1394.85/1395.27	c 1395s |      25 |  7071793 |  6203398 |     1316  11484 |        2 |        0
1396.85/1397.29	c 1397s |      25 |  7079967 |  6210798 |     1316  11495 |        2 |        0
1398.85/1399.30	c 1399s |      25 |  7089117 |  6218998 |     1316  11507 |        2 |        0
1400.94/1401.32	c 1401s |      25 |  7098608 |  6227598 |     1316  11519 |        2 |        0
1402.94/1403.32	c 1403s |      25 |  7108123 |  6236098 |     1316  11532 |        2 |        0
1404.94/1405.33	c 1405s |      25 |  7116735 |  6243798 |     1316  11543 |        2 |        0
1406.94/1407.33	c 1407s |      25 |  7126002 |  6252098 |     1316  11555 |        2 |        0
1408.94/1409.35	c 1409s |      25 |  7135022 |  6260198 |     1316  11567 |        2 |        0
1410.95/1411.35	c 1411s |      25 |  7143916 |  6268198 |     1316  11578 |        2 |        0
1412.94/1413.36	c 1413s |      25 |  7153025 |  6276398 |     1316  11590 |        2 |        0
1414.94/1415.38	c 1415s |      25 |  7163000 |  6285198 |     1316  11603 |        2 |        0
1417.04/1417.40	c 1417s |      25 |  7172201 |  6293298 |     1316  11614 |        2 |        0
1419.04/1419.43	c 1419s |      25 |  7181440 |  6301398 |     1316  11626 |        2 |        0
1421.04/1421.44	c 1421s |      25 |  7190190 |  6309198 |     1316  11637 |        2 |        0
1423.04/1423.44	c 1423s |      25 |  7199029 |  6317098 |     1316  11649 |        2 |        0
1425.04/1425.46	c 1425s |      25 |  7208524 |  6325498 |     1316  11661 |        2 |        0
1427.04/1427.47	c 1427s |      25 |  7219172 |  6334798 |     1316  11674 |        2 |        0
1429.03/1429.47	c 1429s |      25 |  7229364 |  6343698 |     1316  11687 |        2 |        0
1431.03/1431.47	c 1431s |      25 |  7239367 |  6352398 |     1316  11700 |        2 |        0
1433.13/1433.51	c 1433s |      25 |  7249382 |  6361098 |     1316  11712 |        2 |        0
1435.14/1435.51	c 1435s |      25 |  7258174 |  6368798 |     1316  11724 |        2 |        0
1437.13/1437.53	c 1437s |      25 |  7266675 |  6376498 |     1316  11735 |        2 |        0
1439.13/1439.55	c 1439s |      25 |  7275173 |  6384198 |     1316  11746 |        2 |        0
1441.13/1441.58	c 1441s |      25 |  7283653 |  6391698 |     1316  11757 |        2 |        0
1443.22/1443.60	c 1443s |      25 |  7292921 |  6399898 |     1316  11768 |        2 |        0
1445.22/1445.60	c 1445s |      25 |  7302905 |  6408598 |     1316  11781 |        2 |        0
1447.23/1447.62	c 1447s |      25 |  7311888 |  6416598 |     1316  11792 |        2 |        0
1449.22/1449.65	c 1449s |      25 |  7321074 |  6424698 |     1316  11804 |        2 |        0
1451.22/1451.69	c 1451s |      25 |  7329902 |  6432498 |     1316  11815 |        2 |        0
1453.22/1453.70	c 1453s |      25 |  7338210 |  6439898 |     1316  11826 |        2 |        0
1455.32/1455.71	c 1455s |      25 |  7347292 |  6447998 |     1316  11838 |        2 |        0
1457.32/1457.73	c 1457s |      25 |  7355854 |  6455698 |     1316  11849 |        2 |        0
1459.32/1459.75	c 1459s |      25 |  7364463 |  6463498 |     1316  11860 |        2 |        0
1461.31/1461.78	c 1461s |      25 |  7373211 |  6471298 |     1316  11871 |        2 |        0
1463.41/1463.80	c 1463s |      25 |  7381967 |  6479098 |     1316  11883 |        2 |        0
1465.41/1465.83	c 1465s |      25 |  7390327 |  6486698 |     1316  11894 |        2 |        0
1467.41/1467.84	c 1467s |      25 |  7399177 |  6494598 |     1316  11905 |        2 |        0
1469.41/1469.85	c 1469s |      25 |  7407859 |  6502398 |     1316  11916 |        2 |        0
1471.41/1471.86	c 1471s |      25 |  7416315 |  6509998 |     1316  11927 |        2 |        0
1473.40/1473.86	c 1473s |      25 |  7425173 |  6517998 |     1316  11939 |        2 |        0
1475.40/1475.88	c 1475s |      25 |  7433767 |  6525898 |     1316  11950 |        2 |        0
1477.50/1477.90	c 1477s |      25 |  7442803 |  6533898 |     1316  11962 |        2 |        0
1479.50/1479.91	c 1479s |      25 |  7451650 |  6541598 |     1316  11973 |        2 |        0
1481.49/1481.95	c 1481s |      25 |  7460111 |  6549098 |     1316  11983 |        2 |        0
1483.50/1483.96	c 1483s |      25 |  7468154 |  6556298 |     1316  11994 |        2 |        0
1485.49/1485.96	c 1485s |      25 |  7475854 |  6563298 |     1316  12004 |        2 |        0
1487.50/1487.96	c 1487s |      25 |  7484883 |  6571298 |     1316  12015 |        2 |        0
1489.50/1489.96	c 1489s |      25 |  7494386 |  6579698 |     1316  12028 |        2 |        0
1491.49/1491.96	c 1491s |      25 |  7503327 |  6587698 |     1316  12039 |        2 |        0
1493.50/1493.97	c 1493s |      25 |  7512153 |  6595598 |     1316  12051 |        2 |        0
1495.49/1495.98	c 1495s |      25 |  7520329 |  6602998 |     1316  12061 |        2 |        0
1497.49/1498.00	c 1497s |      25 |  7528668 |  6610498 |     1316  12072 |        2 |        0
1499.59/1500.01	c 1499s |      25 |  7536971 |  6617798 |     1316  12083 |        2 |        0
1501.59/1502.01	c 1501s |      25 |  7544883 |  6624898 |     1316  12093 |        2 |        0
1503.59/1504.01	c 1503s |      25 |  7552550 |  6631898 |     1316  12103 |        2 |        0
1505.59/1506.04	c 1506s |      25 |  7560417 |  6638998 |     1316  12113 |        2 |        0
1507.59/1508.06	c 1508s |      25 |  7568229 |  6645998 |     1316  12123 |        2 |        0
1509.59/1510.07	c 1510s |      25 |  7575144 |  6652398 |     1316  12133 |        2 |        0
1511.58/1512.07	c 1512s |      25 |  7584545 |  6660798 |     1316  12145 |        2 |        0
1513.58/1514.08	c 1514s |      25 |  7593411 |  6668598 |     1316  12156 |        2 |        0
1515.58/1516.08	c 1516s |      25 |  7603012 |  6676998 |     1316  12168 |        2 |        0
1517.59/1518.10	c 1518s |      25 |  7612895 |  6685198 |     1316  12180 |        2 |        0
1519.68/1520.12	c 1520s |      25 |  7621755 |  6692998 |     1316  12191 |        2 |        0
1521.67/1522.13	c 1522s |      25 |  7630123 |  6700498 |     1316  12202 |        2 |        0
1523.67/1524.14	c 1524s |      25 |  7638473 |  6707898 |     1316  12212 |        2 |        0
1525.67/1526.15	c 1526s |      25 |  7646610 |  6715098 |     1316  12223 |        2 |        0
1527.67/1528.16	c 1528s |      25 |  7654860 |  6722498 |     1316  12233 |        2 |        0
1529.68/1530.16	c 1530s |      25 |  7663906 |  6730598 |     1316  12245 |        2 |        0
1531.67/1532.16	c 1532s |      25 |  7672313 |  6738198 |     1316  12256 |        2 |        0
1533.66/1534.18	c 1534s |      25 |  7681134 |  6746098 |     1316  12268 |        2 |        0
1535.76/1536.20	c 1536s |      25 |  7690023 |  6754098 |     1316  12279 |        2 |        0
1537.76/1538.22	c 1538s |      25 |  7699056 |  6762098 |     1316  12291 |        2 |        0
1539.76/1540.23	c 1540s |      25 |  7708504 |  6770398 |     1316  12303 |        2 |        0
1541.76/1542.25	c 1542s |      25 |  7717871 |  6778598 |     1316  12314 |        2 |        0
1543.76/1544.27	c 1544s |      25 |  7726707 |  6786498 |     1316  12326 |        2 |        0
1545.76/1546.28	c 1546s |      25 |  7735483 |  6794198 |     1316  12337 |        2 |        0
1547.76/1548.28	c 1548s |      25 |  7743808 |  6801698 |     1316  12348 |        2 |        0
1549.86/1550.30	c 1550s |      25 |  7751876 |  6808898 |     1316  12358 |        2 |        0
1551.85/1552.33	c 1552s |      25 |  7760247 |  6816398 |     1316  12369 |        2 |        0
1553.85/1554.33	c 1554s |      25 |  7769100 |  6824298 |     1316  12381 |        2 |        0
1555.85/1556.34	c 1556s |      25 |  7777202 |  6831598 |     1316  12391 |        2 |        0
1557.85/1558.36	c 1558s |      25 |  7785146 |  6838798 |     1316  12402 |        2 |        0
1559.85/1560.36	c 1560s |      25 |  7793392 |  6846098 |     1316  12412 |        2 |        0
1561.84/1562.39	c 1562s |      25 |  7802343 |  6854098 |     1316  12424 |        2 |        0
1563.85/1564.39	c 1564s |      25 |  7811068 |  6861898 |     1316  12435 |        2 |        0
1565.95/1566.42	c 1566s |      25 |  7819384 |  6869398 |     1316  12446 |        2 |        0
1567.94/1568.42	c 1568s |      25 |  7828370 |  6877298 |     1316  12457 |        2 |        0
1569.94/1570.44	c 1570s |      25 |  7836405 |  6884398 |     1316  12468 |        2 |        0
1571.94/1572.45	c 1572s |      25 |  7845485 |  6892398 |     1316  12479 |        2 |        0
1573.94/1574.46	c 1574s |      25 |  7854884 |  6900798 |     1316  12491 |        2 |        0
1575.94/1576.47	c 1576s |      25 |  7864180 |  6909098 |     1316  12503 |        2 |        0
1577.94/1578.49	c 1578s |      25 |  7873111 |  6916998 |     1316  12515 |        2 |        0
1580.03/1580.52	c 1580s |      25 |  7882234 |  6925098 |     1316  12526 |        2 |        0
1582.03/1582.54	c 1582s |      25 |  7890635 |  6932698 |     1316  12537 |        2 |        0
1584.03/1584.55	c 1584s |      25 |  7899216 |  6940298 |     1316  12548 |        2 |        0
1586.03/1586.56	c 1586s |      25 |  7908772 |  6948798 |     1316  12560 |        2 |        0
1588.04/1588.56	c 1588s |      25 |  7917985 |  6956998 |     1316  12572 |        2 |        0
1590.03/1590.57	c 1590s |      25 |  7926998 |  6965198 |     1316  12584 |        2 |        0
1592.03/1592.58	c 1592s |      25 |  7935838 |  6973098 |     1316  12596 |        2 |        0
1594.03/1594.58	c 1594s |      25 |  7945307 |  6981598 |     1316  12608 |        2 |        0
1596.03/1596.59	c 1596s |      25 |  7954099 |  6989598 |     1316  12619 |        2 |        0
1598.13/1598.62	c 1598s |      25 |  7962518 |  6997298 |     1316  12630 |        2 |        0
1600.13/1600.64	c 1600s |      25 |  7971571 |  7005298 |     1316  12642 |        2 |        0
1602.12/1602.65	c 1602s |      25 |  7979936 |  7012898 |     1316  12653 |        2 |        0
1604.12/1604.65	c 1604s |      25 |  7988080 |  7020098 |     1316  12663 |        2 |        0
1606.11/1606.68	c 1606s |      25 |  7995956 |  7027298 |     1316  12674 |        2 |        0
1608.11/1608.69	c 1608s |      25 |  8003692 |  7034398 |     1316  12684 |        2 |        0
1610.21/1610.71	c 1610s |      25 |  8011119 |  7041198 |     1316  12694 |        2 |        0
1612.22/1612.71	c 1612s |      25 |  8020190 |  7049098 |     1316  12705 |        2 |        0
1614.21/1614.72	c 1614s |      25 |  8029232 |  7056898 |     1316  12717 |        2 |        0
1616.21/1616.73	c 1616s |      25 |  8039510 |  7065798 |     1316  12729 |        2 |        0
1618.21/1618.73	c 1618s |      25 |  8048765 |  7074198 |     1316  12741 |        2 |        0
1620.21/1620.74	c 1620s |      25 |  8056970 |  7081598 |     1316  12752 |        2 |        0
1622.21/1622.76	c 1622s |      25 |  8065830 |  7089498 |     1316  12764 |        2 |        0
1624.22/1624.78	c 1624s |      25 |  8075085 |  7097898 |     1316  12776 |        2 |        0
1626.21/1626.79	c 1626s |      25 |  8083721 |  7105698 |     1316  12787 |        2 |        0
1628.31/1628.81	c 1628s |      25 |  8092391 |  7113498 |     1316  12798 |        2 |        0
1630.31/1630.83	c 1630s |      25 |  8101143 |  7121498 |     1316  12810 |        2 |        0
1632.31/1632.84	c 1632s |      25 |  8109759 |  7129298 |     1316  12821 |        2 |        0
1634.31/1634.85	c 1634s |      25 |  8118200 |  7136998 |     1316  12832 |        2 |        0
1636.31/1636.85	c 1636s |      25 |  8127151 |  7144998 |     1316  12844 |        2 |        0
1638.31/1638.87	c 1638s |      25 |  8136526 |  7153498 |     1316  12856 |        2 |        0
1640.30/1640.88	c 1640s |      25 |  8146550 |  7162198 |     1316  12869 |        2 |        0
1642.40/1642.90	c 1642s |      25 |  8154878 |  7169698 |     1316  12879 |        2 |        0
1644.40/1644.91	c 1644s |      25 |  8163833 |  7177698 |     1316  12891 |        2 |        0
1646.40/1646.92	c 1646s |      25 |  8173004 |  7185798 |     1316  12903 |        2 |        0
1648.41/1648.93	c 1648s |      25 |  8181728 |  7193498 |     1316  12914 |        2 |        0
1650.40/1650.94	c 1650s |      25 |  8191308 |  7201998 |     1316  12926 |        2 |        0
1652.39/1652.96	c 1652s |      25 |  8200277 |  7209898 |     1316  12937 |        2 |        0
1654.39/1654.96	c 1654s |      25 |  8208946 |  7217598 |     1316  12949 |        2 |        0
1656.39/1656.99	c 1656s |      25 |  8217266 |  7225098 |     1316  12959 |        2 |        0
1658.40/1658.99	c 1658s |      25 |  8225525 |  7232598 |     1316  12970 |        2 |        0
1660.50/1661.02	c 1661s |      25 |  8233077 |  7239498 |     1316  12980 |        2 |        0
1662.49/1663.02	c 1663s |      25 |  8241740 |  7247298 |     1316  12992 |        2 |        0
1664.49/1665.04	c 1665s |      25 |  8250607 |  7255298 |     1316  13003 |        2 |        0
1666.49/1667.05	c 1667s |      25 |  8260071 |  7263598 |     1316  13015 |        2 |        0
1668.49/1669.05	c 1669s |      25 |  8269746 |  7272098 |     1316  13028 |        2 |        0
1670.50/1671.07	c 1671s |      25 |  8279213 |  7280598 |     1316  13040 |        2 |        0
1672.48/1673.08	c 1673s |      25 |  8288659 |  7288998 |     1316  13052 |        2 |        0
1674.48/1675.09	c 1675s |      25 |  8297371 |  7296798 |     1316  13063 |        2 |        0
1676.58/1677.11	c 1677s |      25 |  8306958 |  7305398 |     1316  13076 |        2 |        0
1678.58/1679.12	c 1679s |      25 |  8315706 |  7313198 |     1316  13087 |        2 |        0
1680.58/1681.13	c 1681s |      25 |  8324743 |  7321198 |     1316  13098 |        2 |        0
1682.59/1683.14	c 1683s |      25 |  8333318 |  7328898 |     1316  13109 |        2 |        0
1684.58/1685.15	c 1685s |      25 |  8341927 |  7336698 |     1316  13121 |        2 |        0
1686.58/1687.17	c 1687s |      25 |  8350027 |  7344098 |     1316  13132 |        2 |        0
1688.58/1689.18	c 1689s |      25 |  8358988 |  7352098 |     1316  13143 |        2 |        0
1690.68/1691.20	c 1691s |      25 |  8366785 |  7359198 |     1316  13153 |        2 |        0
1692.67/1693.23	c 1693s |      25 |  8375272 |  7366698 |     1316  13164 |        2 |        0
1694.68/1695.25	c 1695s |      25 |  8383557 |  7374098 |     1316  13175 |        2 |        0
1696.67/1697.25	c 1697s |      25 |  8391934 |  7381698 |     1316  13186 |        2 |        0
1698.67/1699.26	c 1699s |      25 |  8400959 |  7389798 |     1316  13198 |        2 |        0
1700.67/1701.28	c 1701s |      25 |  8409846 |  7397798 |     1316  13209 |        2 |        0
1702.76/1703.30	c 1703s |      25 |  8418516 |  7405598 |     1316  13221 |        2 |        0
1704.76/1705.30	c 1705s |      25 |  8426972 |  7413198 |     1316  13232 |        2 |        0
1706.77/1707.33	c 1707s |      25 |  8435705 |  7420998 |     1316  13243 |        2 |        0
1708.76/1709.34	c 1709s |      25 |  8444147 |  7428598 |     1316  13254 |        2 |        0
1710.76/1711.37	c 1711s |      25 |  8453175 |  7436798 |     1316  13266 |        2 |        0
1712.76/1713.38	c 1713s |      25 |  8462507 |  7445098 |     1316  13278 |        2 |        0
1714.85/1715.40	c 1715s |      25 |  8471506 |  7452798 |     1316  13289 |        2 |        0
1716.85/1717.41	c 1717s |      25 |  8480170 |  7460498 |     1316  13300 |        2 |        0
1718.86/1719.42	c 1719s |      25 |  8488574 |  7468098 |     1316  13311 |        2 |        0
1720.85/1721.43	c 1721s |      25 |  8497963 |  7476498 |     1316  13323 |        2 |        0
1722.85/1723.44	c 1723s |      25 |  8506768 |  7484198 |     1316  13334 |        2 |        0
1724.85/1725.46	c 1725s |      25 |  8514087 |  7490798 |     1316  13344 |        2 |        0
1726.85/1727.49	c 1727s |      25 |  8521754 |  7497598 |     1316  13353 |        2 |        0
1728.94/1729.50	c 1729s |      25 |  8529949 |  7504898 |     1316  13364 |        2 |        0
1730.95/1731.52	c 1731s |      25 |  8538104 |  7512098 |     1316  13374 |        2 |        0
1732.94/1733.54	c 1733s |      25 |  8546679 |  7519698 |     1316  13385 |        2 |        0
1734.94/1735.57	c 1735s |      25 |  8554399 |  7526698 |     1316  13395 |        2 |        0
1736.94/1737.58	c 1737s |      25 |  8562210 |  7533698 |     1316  13406 |        2 |        0
1738.94/1739.59	c 1739s |      25 |  8569899 |  7540698 |     1316  13416 |        2 |        0
1741.04/1741.60	c 1741s |      25 |  8577273 |  7547398 |     1448  13425 |        2 |        0
1742.95/1743.60	c 1743s |      25 |  8585960 |  7555098 |     1448  13435 |        2 |        0
1745.04/1745.62	c 1745s |      25 |  8594113 |  7562498 |     1448  13445 |        2 |        0
1747.04/1747.66	c 1747s |      25 |  8602009 |  7569598 |     1448  13454 |        2 |        0
1749.04/1749.68	c 1749s |      25 |  8610613 |  7577298 |     1448  13464 |        2 |        0
1751.04/1751.68	c 1751s |      25 |  8618128 |  7584098 |     1448  13473 |        2 |        0
1753.14/1753.70	c 1753s |      25 |  8625767 |  7590998 |     1448  13482 |        2 |        0
1755.14/1755.73	c 1755s |      25 |  8633071 |  7597598 |     1448  13491 |        2 |        0
1755.14/1755.78	c 1755s |      26 |  8633236 |  7597752 |     1448  13491 |        2 |        0
1757.24/1757.81	c 1757s |      26 |  8643135 |  7606052 |     1448  13502 |        2 |        0
1759.24/1759.81	c 1759s |      26 |  8652655 |  7614252 |     1448  13513 |        2 |        0
1761.23/1761.83	c 1761s |      26 |  8661359 |  7622052 |     1448  13523 |        2 |        0
1763.23/1763.85	c 1763s |      26 |  8669651 |  7629552 |     1448  13533 |        2 |        0
1765.23/1765.86	c 1765s |      26 |  8677779 |  7636852 |     1448  13543 |        2 |        0
1767.24/1767.87	c 1767s |      26 |  8685932 |  7644152 |     1448  13552 |        2 |        0
1769.23/1769.90	c 1769s |      26 |  8693674 |  7650952 |     1448  13561 |        2 |        0
1771.33/1771.90	c 1771s |      26 |  8701616 |  7658052 |     1448  13570 |        2 |        0
1773.33/1773.92	c 1773s |      26 |  8709352 |  7665052 |     1448  13580 |        2 |        0
1775.33/1775.92	c 1775s |      26 |  8716923 |  7671852 |     1448  13589 |        2 |        0
1777.33/1777.94	c 1777s |      26 |  8724712 |  7678852 |     1448  13598 |        2 |        0
1779.33/1779.94	c 1779s |      26 |  8732065 |  7685652 |     1448  13607 |        2 |        0
1781.33/1781.96	c 1781s |      26 |  8739797 |  7692552 |     1448  13616 |        2 |        0
1783.32/1783.97	c 1783s |      26 |  8748102 |  7699952 |     1448  13625 |        2 |        0
1785.42/1786.00	c 1785s |      26 |  8756516 |  7707452 |     1448  13635 |        2 |        0
1787.42/1788.01	c 1787s |      26 |  8765157 |  7715152 |     1448  13645 |        2 |        0
1789.42/1790.02	c 1790s |      26 |  8773363 |  7722552 |     1448  13655 |        2 |        0
1791.43/1792.02	c 1792s |      26 |  8781921 |  7730152 |     1448  13665 |        2 |        0
1793.42/1794.04	c 1794s |      26 |  8790441 |  7737752 |     1448  13675 |        2 |        0
1795.42/1796.06	c 1796s |      26 |  8799243 |  7745652 |     1448  13686 |        2 |        0
1797.42/1798.06	c 1798s |      26 |  8808115 |  7753552 |     1448  13696 |        2 |        0
1799.42/1800.07	c 1800s |      26 |  8816557 |  7761152 |     1448  13706 |        2 |        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-4099529-1466206143/watcher-4099529-1466206143 -o /tmp/evaluation-result-4099529-1466206143/solver-4099529-1466206143 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099529-1466206143.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.61 0.58 0.26 3/179 32155
/proc/meminfo: memFree=29671948/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=789948 CPUtime=0 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 2960 0 0 0 0 0 0 0 20 0 4 0 22660824 808906752 2809 33554432000 4194304 16246674 140736470313984 140736470313408 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 198255 2818 441 2943 0 195149 0
[pid=32155/tid=32156] ppid=32152 vsize=807356 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 826732544 2878 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=811452 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 830926848 2894 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=815548 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660824 835121152 2910 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 1.61 0.58 0.26 3/179 32155
/proc/meminfo: memFree=29671948/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 28566 0 0 0 5 3 0 0 20 0 4 0 22660824 1247350784 28405 33554432000 4194304 16246674 140736470313984 140736470313408 13191638 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 304529 28417 710 2943 0 301423 0
[pid=32155/tid=32156] ppid=32152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1247350784 28423 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1247350784 28436 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660824 1247350784 28446 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200567 s]
/proc/loadavg: 1.61 0.58 0.26 3/179 32155
/proc/meminfo: memFree=29671948/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 56398 0 0 0 13 6 0 0 20 0 4 0 22660824 1247350784 56237 33554432000 4194304 16246674 140736470313984 140736470313408 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 304529 56260 710 2943 0 301423 0
[pid=32155/tid=32156] ppid=32152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1247350784 56275 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1247350784 56289 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660824 1247350784 56300 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300509 s]
/proc/loadavg: 1.61 0.58 0.26 3/179 32155
/proc/meminfo: memFree=29671948/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 83938 0 0 0 19 10 0 0 20 0 4 0 22660824 1247350784 83776 33554432000 4194304 16246674 140736470313984 140736470313408 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 304529 83793 710 2943 0 301423 0
[pid=32155/tid=32156] ppid=32152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1247350784 83800 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1247350784 83809 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660824 1247350784 83821 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700428 s]
/proc/loadavg: 1.61 0.58 0.26 3/179 32155
/proc/meminfo: memFree=29671948/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 196642 0 0 0 42 27 0 0 20 0 4 0 22660824 1247350784 196480 33554432000 4194304 16246674 140736470313984 140736470295872 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 304529 196500 711 2943 0 301423 0
[pid=32155/tid=32156] ppid=32152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1247350784 196511 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1247350784 196519 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660824 1247350784 196527 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 1.61 0.58 0.26 3/183 32159
/proc/meminfo: memFree=28666540/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1306180 CPUtime=1.49 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 261626 0 0 0 113 36 0 0 20 0 4 0 22660824 1337528320 261445 33554432000 4194304 16246674 140736470313984 140736470296984 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 326545 261463 789 2943 0 323439 0
[pid=32155/tid=32156] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 261473 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 261480 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 261487 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.10045 s]
/proc/loadavg: 1.64 0.61 0.27 3/183 32159
/proc/meminfo: memFree=28577996/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 267433 0 0 0 272 37 0 0 20 0 4 0 22660824 1337528320 267251 33554432000 4194304 16246674 140736470313984 140736470296984 13927423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 326545 267251 789 2943 0 323439 0
[pid=32155/tid=32156] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267251 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267251 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267251 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 1.64 0.61 0.27 3/183 32159
/proc/meminfo: memFree=28577684/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 267434 0 0 0 592 37 0 0 20 0 4 0 22660824 1337528320 267252 33554432000 4194304 16246674 140736470313984 140736470295872 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 326545 267252 789 2943 0 323439 0
[pid=32155/tid=32156] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267252 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267252 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267252 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.69 0.65 0.28 3/183 32159
/proc/meminfo: memFree=28578180/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 267465 0 0 0 1231 37 0 0 20 0 4 0 22660824 1337528320 267283 33554432000 4194304 16246674 140736470313984 140736470295872 5667484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 326545 267283 789 2943 0 323439 0
[pid=32155/tid=32156] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267283 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267283 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267283 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.74 0.70 0.30 4/183 32159
/proc/meminfo: memFree=28579080/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 267467 0 0 0 2511 38 0 0 20 0 4 0 22660824 1337528320 267285 33554432000 4194304 16246674 140736470313984 140736470296984 5675369 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 326545 267285 791 2943 0 323439 0
[pid=32155/tid=32156] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267285 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267285 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267285 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.96 0.83 0.36 3/183 32159
/proc/meminfo: memFree=28578108/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 267510 0 0 0 5070 38 0 0 20 0 4 0 22660824 1337528320 267328 33554432000 4194304 16246674 140736470313984 140736470295872 6010356 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 326545 267328 791 2943 0 323439 0
[pid=32155/tid=32156] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267328 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267328 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267328 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.17 1.09 0.47 3/184 32163
/proc/meminfo: memFree=28574896/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 267542 0 0 0 10189 39 0 0 20 0 4 0 22660824 1337528320 267360 33554432000 4194304 16246674 140736470313984 140736470295872 5516116 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 326545 267360 791 2943 0 323439 0
[pid=32155/tid=32156] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267360 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267360 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1337528320 267360 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.20 2.16 1.69 3/184 32194
/proc/meminfo: memFree=28554632/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1308228 CPUtime=1302 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 268231 0 0 0 130144 56 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140736470295872 5722652 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 327057 268161 792 2943 0 323951 0
[pid=32155/tid=32156] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.16 2.16 1.72 3/183 32195
/proc/meminfo: memFree=28554696/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1308228 CPUtime=1361.97 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 268272 0 0 0 136140 57 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140736470296984 5515656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 327057 268161 792 2943 0 323951 0
[pid=32155/tid=32156] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.20 2.18 1.75 4/183 32197
/proc/meminfo: memFree=28555124/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1308228 CPUtime=1421.94 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 268318 0 0 0 142136 58 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140736470295872 13949808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 327057 268161 792 2943 0 323951 0
[pid=32155/tid=32156] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.42 2.25 1.80 3/183 32198
/proc/meminfo: memFree=28555016/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1308228 CPUtime=1481.89 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 268364 0 0 0 148131 58 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140736470296984 13191285 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 327057 268161 792 2943 0 323951 0
[pid=32155/tid=32156] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.37 2.26 1.83 3/183 32199
/proc/meminfo: memFree=28555184/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1308228 CPUtime=1541.86 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 268411 0 0 0 154127 59 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140736470295872 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 327057 268161 792 2943 0 323951 0
[pid=32155/tid=32156] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.25 2.24 1.85 3/183 32200
/proc/meminfo: memFree=28554772/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1308228 CPUtime=1601.82 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 268454 0 0 0 160123 59 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140736470295872 5523504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 327057 268161 792 2943 0 323951 0
[pid=32155/tid=32156] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.19 2.23 1.86 3/183 32201
/proc/meminfo: memFree=28555376/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1308228 CPUtime=1661.79 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 268500 0 0 0 166118 61 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140736470295872 13808416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 327057 268161 792 2943 0 323951 0
[pid=32155/tid=32156] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.12 2.20 1.87 3/183 32203
/proc/meminfo: memFree=28555408/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1308228 CPUtime=1721.75 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 268547 0 0 0 172114 61 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140736470295872 13950202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 327057 268161 792 2943 0 323951 0
[pid=32155/tid=32156] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.08 2.17 1.89 3/183 32204
/proc/meminfo: memFree=28554812/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1308228 CPUtime=1781.73 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 268576 0 0 0 178111 62 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140736470295872 5717485 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 327057 268161 792 2943 0 323951 0
[pid=32155/tid=32156] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.19 1.90 3/175 32212
/proc/meminfo: memFree=29642092/32872528 swapFree=1200228/1314692
[pid=32155] ppid=32152 vsize=1308228 CPUtime=1800.02 cores=1,3,5,7
/proc/32155/stat : 32155 (toysat) R 32152 32155 31224 0 -1 4202496 268576 0 0 0 179940 62 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140736470295872 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32155/statm: 327057 268161 792 2943 0 323951 0
[pid=32155/tid=32156] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32156/stat : 32156 (toysat) S 32152 32155 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537848900848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32155/tid=32157] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32157/stat : 32157 (toysat) S 32152 32155 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537838410992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32155/tid=32158] ppid=32152 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32155/task/32158/stat : 32158 (toysat) S 32152 32155 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660824 1339625472 268161 33554432000 4194304 16246674 140736470313984 140537827937456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1308228

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 32155 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.04
CPU user time (s): 1799.41
CPU system time (s): 0.623905
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.623905
maximum resident set size= 1072644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268576
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= 503
involuntary context switches= 1966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.76427 second user time and 6.78697 second system time

The end

Begin job on node131 at 2016-06-18 01:29:03
IDJOB=4099529
IDBENCH=1435
IDSOLVER=2542
FILE ID=node131/4099529-1466206143
RUNJOBID= node131-1466206062-31241
PBS_JOBID= 19918146
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099529-1466206143/watcher-4099529-1466206143 -o /tmp/evaluation-result-4099529-1466206143/solver-4099529-1466206143 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099529-1466206143.opb

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

MD5SUM BENCH= 40f14c006496c25f6960a32528cf1e51
RANDOM SEED=812794226

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29710676 kB
Buffers:           37288 kB
Cached:            96360 kB
SwapCached:         1500 kB
Active:          1086032 kB
Inactive:          55764 kB
Active(anon):    1007704 kB
Inactive(anon):     2640 kB
Active(file):      78328 kB
Inactive(file):    53124 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099820 kB
Dirty:             32904 kB
Writeback:             0 kB
AnonPages:       2322420 kB
Mapped:            10300 kB
Shmem:                 0 kB
Slab:             571440 kB
SReclaimable:      14436 kB
SUnreclaim:       557004 kB
KernelStack:        1448 kB
PageTables:         8600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2528088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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= 71668 MiB
End job on node131 at 2016-06-18 01:59:04