0.00/0.00	c 2016-06-16T19:59:10+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-4095952-1466099950.opb"]
0.00/0.01	c use --random-gen="1553960304 2602725766 3124440584 1479255182 621239031 881547854 4285372761 526612177 1589155035 1421811624 377588600 3707665993 340133156 3961272561 529555181 2676984643 300631513 3234422062 2571888537 1420926943 2296156983 2888056237 1196369349 1425628201 226949693 302893279 3190117685 1485870935 3159119362 3154132254 1498967431 3602784532 1138529546 2762665015 2746234025 2626102652 1201903843 1238788827 3242053906 2163519694 4185155786 2603348632 2404885113 1468737186 3293328908 1037243777 462103788 3879201443 3205011491 910519052 997453329 673834312 3552603683 1519767692 982246203 3530835247 3157644635 2060572325 2390299466 2418594618 829165235 2680122614 3587680724 2420883370 2785269346 1178502233 253599604 485042936 22622890 1923497216 2740222332 3776808269 1610428911 2541869260 2823983772 1023344230 4031438317 3814602660 3311910326 727372754 2842150154 3174580325 1472538188 3653189776 3570403654 4056938111 3306491166 3497440124 755224327 233955181 1424269062 1861939235 2831963751 3844072838 4102322663 1180989792 2523013753 3070718030 719535409 539586789 4067757903 845741398 3826905280 3630106946 3249867148 3033306822 2849775496 330500221 1898861256 294996642 2248987429 2722043626 832911095 3543603997 807681421 2823306098 230525092 1394383164 2756690570 2566535078 1137463756 2993984668 1516684788 3982757557 1431139544 2162740618 147944254 1990935001 2873065516 1114505910 1189284973 380302837 1199116381 3063793019 881398062 3292416494 2954283575 421524912 3681609825 1855997506 1498032502 1984125027 333886279 479667678 127107530 1149822333 714777033 3636716414 1908079348 2204309928 2328084764 204547952 3261396931 109922929 1067796881 4028543717 1682143912 1258677640 2762060021 4107664598 715401298 2597920129 921912111 406489585 3088824604 223118464 1378278361 2388877248 2795069500 3306392933 760385989 1448008552 1865197942 1342944315 2813653596 3869413892 262251046 3047653815 3045399155 585308005 4100600622 3729610772 1623779513 3336554154 104564886 2353338886 1434004364 2996506757 61622586 1892842607 3562998392 1642929679 2290439681 3827822082 3938622627 3122368457 498323772 4149886990 4219093988 2154518007 2919623683 3468616266 3210853376 1161207884 611133861 907130906 2253742037 2815155340 1556826633 2836925120 3358949445 2780765024 591395887 3022757941 1731720084 4067532790 2705121342 3897127149 3199070940 2377626662 4182351577 3534948038 2112370492 2691732288 3857174014 327132800 2125548235 111013114 3302020969 194306008 201843225 4242423904 3995963316 2450775356 2293772926 2016061796 1602074783 1264071006 2660008247 2739584003 977607900 1879920303 3814773981 2172750634 2550060531 3521592886 1819896318 2102586213 370345947 3467635890 278566199 1148072613 3519035549 841408179 2792765878 170783889 255 362436" option to reproduce the execution
0.00/0.01	c #vars 281
0.00/0.01	c #constraints 140
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 |      140      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      169 |      100 |      140      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      493 |      250 |      154      0 |        0 |        0
0.00/0.05	c  0.0s |       3 |      874 |      475 |      170      1 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1318 |      813 |      188      4 |        0 |        0
0.09/0.13	c  0.1s |       5 |     2102 |     1320 |      207      6 |        0 |        0
0.19/0.21	c  0.2s |       6 |     3231 |     2081 |      251     10 |        0 |        0
0.30/0.32	c  0.3s |       7 |     4899 |     3223 |      277     16 |        0 |        0
0.39/0.49	c  0.5s |       8 |     7564 |     4936 |      305     24 |        0 |        0
0.69/0.76	c  0.8s |       9 |    11157 |     7506 |      336     34 |        0 |        0
1.10/1.14	c  1.1s |      10 |    16403 |    11361 |      370     48 |        0 |        0
1.49/1.56	c  1.5s |      11 |    24008 |    17144 |      408     69 |        0 |        0
2.30/2.32	c  2.3s |      12 |    35424 |    25819 |      449     99 |        0 |        0
3.10/3.44	c  3.4s |      13 |    52484 |    38832 |      494    140 |        0 |        0
5.09/5.13	c  5.1s |      14 |    80558 |    58352 |      544    200 |        0 |        0
7.09/7.13	c  7.1s |      14 |   113070 |    82052 |      544    269 |        0 |        0
7.49/7.57	c  7.6s |      15 |   120292 |    87632 |      599    284 |        0 |        0
9.49/9.58	c  9.6s |      15 |   150790 |   110632 |      599    347 |        0 |        0
11.40/11.43	c 11.4s |      16 |   179074 |   131552 |      659    407 |        0 |        0
13.39/13.44	c 13.4s |      16 |   208021 |   153052 |      659    460 |        0 |        0
15.39/15.44	c 15.4s |      16 |   237103 |   174552 |      659    513 |        0 |        0
17.39/17.45	c 17.4s |      16 |   266913 |   196652 |      725    568 |        0 |        0
17.49/17.52	c 17.5s |      17 |   267944 |   197432 |      725    570 |        0 |        0
19.49/19.53	c 19.5s |      17 |   293027 |   217232 |      725    615 |        0 |        0
21.49/21.53	c 21.5s |      17 |   323198 |   239532 |      725    667 |        0 |        0
23.49/23.54	c 23.5s |      17 |   353877 |   262332 |      725    720 |        0 |        0
25.48/25.54	c 25.5s |      17 |   383418 |   284532 |      725    772 |        0 |        0
26.59/26.60	c 26.6s |      18 |   399386 |   296252 |      798    799 |        0 |        0
28.59/28.61	c 28.6s |      18 |   428793 |   317852 |      798    843 |        0 |        0
30.59/30.62	c 30.6s |      18 |   458247 |   339552 |      798    888 |        0 |        0
32.59/32.62	c 32.6s |      18 |   489672 |   361652 |      798    934 |        0 |        0
34.59/34.62	c 34.6s |      18 |   518970 |   382952 |      798    979 |        0 |        0
36.59/36.63	c 36.6s |      18 |   546818 |   404252 |      798   1023 |        0 |        0
38.59/38.63	c 38.6s |      18 |   574882 |   424652 |      798   1066 |        0 |        0
40.48/40.54	c 40.5s |      19 |   601494 |   444482 |      878   1107 |        0 |        0
42.48/42.54	c 42.5s |      19 |   628026 |   465082 |      878   1147 |        0 |        0
44.48/44.55	c 44.5s |      19 |   656722 |   486482 |      878   1188 |        0 |        0
46.49/46.55	c 46.5s |      19 |   684813 |   507682 |      878   1230 |        0 |        0
48.48/48.55	c 48.5s |      19 |   712621 |   528782 |      878   1271 |        0 |        0
50.48/50.56	c 50.5s |      19 |   740801 |   549782 |      878   1311 |        0 |        0
52.48/52.57	c 52.6s |      19 |   767853 |   570382 |      878   1351 |        0 |        0
54.48/54.57	c 54.6s |      19 |   795798 |   591282 |      878   1392 |        0 |        0
56.49/56.57	c 56.6s |      19 |   823872 |   612382 |      878   1433 |        0 |        0
58.49/58.58	c 58.6s |      19 |   849827 |   632482 |      878   1472 |        0 |        0
60.49/60.58	c 60.6s |      19 |   877198 |   652982 |      878   1512 |        0 |        0
61.99/62.01	c 62.0s |      20 |   895258 |   666827 |      966   1538 |        0 |        0
63.98/64.02	c 64.0s |      20 |   922838 |   687827 |      966   1576 |        0 |        0
65.98/66.03	c 66.0s |      20 |   948530 |   707027 |      966   1611 |        0 |        0
67.98/68.03	c 68.0s |      20 |   974174 |   726427 |      966   1646 |        0 |        0
69.98/70.04	c 70.0s |      20 |   999736 |   745727 |      966   1681 |        0 |        0
71.98/72.04	c 72.0s |      20 |  1024247 |   764427 |      966   1716 |        0 |        0
73.99/74.05	c 74.0s |      20 |  1052885 |   785027 |      966   1753 |        0 |        0
75.98/76.06	c 76.0s |      20 |  1079964 |   805427 |      966   1790 |        0 |        0
77.98/78.07	c 78.1s |      20 |  1105754 |   824827 |      966   1825 |        0 |        0
79.98/80.07	c 80.1s |      20 |  1131542 |   844027 |      966   1860 |        0 |        0
81.98/82.08	c 82.1s |      20 |  1159807 |   864327 |      966   1897 |        0 |        0
83.98/84.09	c 84.1s |      20 |  1187974 |   885327 |      966   1935 |        0 |        0
85.98/86.09	c 86.1s |      20 |  1215724 |   906027 |      966   1972 |        0 |        0
87.97/88.09	c 88.1s |      20 |  1241553 |   926127 |      966   2009 |        0 |        0
89.97/90.09	c 90.1s |      20 |  1267763 |   945627 |      966   2044 |        0 |        0
92.07/92.10	c 92.1s |      20 |  1294278 |   965227 |      966   2080 |        0 |        0
94.07/94.11	c 94.1s |      20 |  1320115 |   984527 |      966   2116 |        0 |        0
95.67/95.71	c 95.7s |      21 |  1340839 |  1000345 |     1063   2144 |        0 |        0
97.67/97.72	c 97.7s |      21 |  1365644 |  1019245 |     1063   2174 |        0 |        0
99.67/99.72	c 99.7s |      21 |  1390947 |  1038445 |     1063   2206 |        0 |        0
101.67/101.73	c  101s |      21 |  1417302 |  1057945 |     1063   2237 |        0 |        0
103.69/103.73	c  103s |      21 |  1440614 |  1076145 |     1063   2267 |        0 |        0
105.68/105.74	c  105s |      21 |  1464264 |  1094645 |     1063   2297 |        0 |        0
107.68/107.74	c  107s |      21 |  1490177 |  1114445 |     1063   2330 |        0 |        0
109.68/109.75	c  109s |      21 |  1514040 |  1133445 |     1063   2361 |        0 |        0
111.68/111.75	c  111s |      21 |  1538940 |  1152845 |     1063   2393 |        0 |        0
113.68/113.77	c  113s |      21 |  1565503 |  1172745 |     1063   2426 |        0 |        0
115.67/115.77	c  115s |      21 |  1591818 |  1192545 |     1063   2458 |        0 |        0
117.67/117.78	c  117s |      21 |  1617426 |  1212045 |     1063   2490 |        0 |        0
119.67/119.78	c  119s |      21 |  1642513 |  1231045 |     1063   2522 |        0 |        0
121.67/121.79	c  121s |      21 |  1669597 |  1250645 |     1063   2554 |        0 |        0
123.77/123.80	c  123s |      21 |  1693766 |  1268845 |     1063   2584 |        0 |        0
125.78/125.80	c  125s |      21 |  1720348 |  1288245 |     1063   2617 |        0 |        0
127.77/127.81	c  127s |      21 |  1746378 |  1308045 |     1063   2650 |        0 |        0
129.77/129.82	c  129s |      21 |  1773110 |  1328045 |     1063   2683 |        0 |        0
131.77/131.83	c  131s |      21 |  1799876 |  1347845 |     1063   2716 |        0 |        0
133.77/133.83	c  133s |      21 |  1824087 |  1367145 |     1063   2748 |        0 |        0
135.77/135.84	c  135s |      21 |  1848181 |  1386145 |     1063   2780 |        0 |        0
137.78/137.85	c  137s |      21 |  1873738 |  1405945 |     1063   2814 |        0 |        0
139.77/139.85	c  139s |      21 |  1900901 |  1425845 |     1063   2848 |        0 |        0
141.77/141.86	c  141s |      21 |  1928387 |  1445745 |     1063   2882 |        0 |        0
143.77/143.86	c  143s |      21 |  1954803 |  1465645 |     1063   2917 |        0 |        0
145.77/145.87	c  145s |      21 |  1979913 |  1485245 |     1063   2951 |        0 |        0
147.57/147.60	c  147s |      22 |  1999892 |  1500622 |     1170   2976 |        0 |        0
149.57/149.60	c  149s |      22 |  2023328 |  1518522 |     1170   3004 |        0 |        0
151.57/151.61	c  151s |      22 |  2046668 |  1536722 |     1170   3031 |        0 |        0
153.57/153.61	c  153s |      22 |  2071550 |  1556022 |     1170   3060 |        0 |        0
155.57/155.62	c  155s |      22 |  2095920 |  1574422 |     1170   3087 |        0 |        0
157.58/157.62	c  157s |      22 |  2119134 |  1592222 |     1170   3114 |        0 |        0
159.57/159.62	c  159s |      22 |  2143518 |  1610122 |     1170   3141 |        0 |        0
161.57/161.62	c  161s |      22 |  2169321 |  1629322 |     1170   3170 |        0 |        0
163.57/163.63	c  163s |      22 |  2193671 |  1648222 |     1170   3198 |        0 |        0
165.56/165.63	c  165s |      22 |  2217003 |  1666322 |     1170   3226 |        0 |        0
167.57/167.64	c  167s |      22 |  2239936 |  1684022 |     1170   3253 |        0 |        0
169.56/169.65	c  169s |      22 |  2264172 |  1702022 |     1170   3280 |        0 |        0
171.56/171.65	c  171s |      22 |  2287179 |  1719722 |     1170   3307 |        0 |        0
173.56/173.65	c  173s |      22 |  2309969 |  1737322 |     1170   3334 |        0 |        0
175.56/175.65	c  175s |      22 |  2332560 |  1754522 |     1170   3360 |        0 |        0
177.56/177.65	c  177s |      22 |  2356260 |  1772522 |     1170   3387 |        0 |        0
179.57/179.66	c  179s |      22 |  2380225 |  1790722 |     1170   3415 |        0 |        0
181.56/181.67	c  181s |      22 |  2404220 |  1808722 |     1170   3442 |        0 |        0
183.56/183.67	c  183s |      22 |  2428504 |  1827122 |     1170   3471 |        0 |        0
185.56/185.67	c  185s |      22 |  2450443 |  1844122 |     1170   3497 |        0 |        0
187.57/187.68	c  187s |      22 |  2471444 |  1860822 |     1170   3522 |        0 |        0
189.57/189.69	c  189s |      22 |  2495244 |  1878822 |     1170   3550 |        0 |        0
191.57/191.69	c  191s |      22 |  2518210 |  1896322 |     1170   3576 |        0 |        0
193.57/193.69	c  193s |      22 |  2541449 |  1914422 |     1170   3604 |        0 |        0
195.67/195.70	c  195s |      22 |  2563939 |  1931622 |     1170   3630 |        0 |        0
197.67/197.71	c  197s |      22 |  2586248 |  1948622 |     1170   3656 |        0 |        0
199.67/199.71	c  199s |      22 |  2607544 |  1965122 |     1170   3682 |        0 |        0
201.67/201.72	c  201s |      22 |  2631138 |  1983022 |     1170   3710 |        0 |        0
203.67/203.73	c  203s |      22 |  2655215 |  2000822 |     1170   3739 |        0 |        0
205.66/205.73	c  205s |      22 |  2679437 |  2018922 |     1170   3767 |        0 |        0
207.66/207.73	c  207s |      22 |  2704069 |  2037422 |     1170   3795 |        0 |        0
209.66/209.74	c  209s |      22 |  2728949 |  2055622 |     1170   3823 |        0 |        0
211.66/211.74	c  211s |      22 |  2752905 |  2073522 |     1170   3850 |        0 |        0
213.67/213.75	c  213s |      22 |  2776947 |  2091922 |     1170   3879 |        0 |        0
215.66/215.76	c  215s |      22 |  2801131 |  2110222 |     1170   3907 |        0 |        0
217.66/217.76	c  217s |      22 |  2824480 |  2127822 |     1170   3934 |        0 |        0
219.66/219.77	c  219s |      22 |  2847579 |  2145522 |     1170   3961 |        0 |        0
221.66/221.78	c  221s |      22 |  2871706 |  2163522 |     1170   3990 |        0 |        0
223.66/223.79	c  223s |      22 |  2897260 |  2182822 |     1170   4019 |        0 |        0
225.66/225.79	c  225s |      22 |  2921791 |  2201522 |     1170   4047 |        0 |        0
227.76/227.80	c  227s |      22 |  2947018 |  2220422 |     1170   4076 |        0 |        0
229.76/229.81	c  229s |      22 |  2972061 |  2238822 |     1287   4103 |        0 |        0
231.16/231.20	c  231s |      23 |  2988531 |  2251038 |     1287   4120 |        0 |        0
233.16/233.21	c  233s |      23 |  3012724 |  2268938 |     1287   4145 |        0 |        0
235.15/235.21	c  235s |      23 |  3033898 |  2285338 |     1287   4168 |        0 |        0
237.15/237.21	c  237s |      23 |  3054303 |  2301438 |     1287   4190 |        0 |        0
239.15/239.22	c  239s |      23 |  3077514 |  2318938 |     1287   4215 |        0 |        0
241.16/241.22	c  241s |      23 |  3101379 |  2335938 |     1287   4239 |        0 |        0
243.15/243.23	c  243s |      23 |  3123317 |  2352538 |     1287   4262 |        0 |        0
245.15/245.25	c  245s |      23 |  3144549 |  2368838 |     1287   4285 |        0 |        0
247.15/247.25	c  247s |      23 |  3167506 |  2386138 |     1287   4309 |        0 |        0
249.15/249.25	c  249s |      23 |  3189663 |  2402938 |     1287   4332 |        0 |        0
251.16/251.26	c  251s |      23 |  3211891 |  2419938 |     1287   4356 |        0 |        0
253.16/253.27	c  253s |      23 |  3232895 |  2435938 |     1287   4378 |        0 |        0
255.16/255.28	c  255s |      23 |  3254191 |  2452238 |     1287   4401 |        0 |        0
257.16/257.29	c  257s |      23 |  3277053 |  2468938 |     1287   4424 |        0 |        0
259.16/259.29	c  259s |      23 |  3299402 |  2486238 |     1287   4449 |        0 |        0
261.25/261.30	c  261s |      23 |  3321243 |  2503438 |     1287   4473 |        0 |        0
263.26/263.31	c  263s |      23 |  3345164 |  2521338 |     1287   4498 |        0 |        0
265.25/265.31	c  265s |      23 |  3369286 |  2539238 |     1287   4523 |        0 |        0
267.25/267.32	c  267s |      23 |  3392132 |  2556538 |     1287   4548 |        0 |        0
269.25/269.32	c  269s |      23 |  3416246 |  2574438 |     1287   4573 |        0 |        0
271.25/271.33	c  271s |      23 |  3439782 |  2591938 |     1287   4598 |        0 |        0
273.25/273.34	c  273s |      23 |  3463435 |  2609038 |     1287   4623 |        0 |        0
275.26/275.35	c  275s |      23 |  3486189 |  2626038 |     1287   4647 |        0 |        0
277.25/277.36	c  277s |      23 |  3510554 |  2643638 |     1287   4672 |        0 |        0
279.25/279.37	c  279s |      23 |  3535902 |  2661338 |     1287   4697 |        0 |        0
281.25/281.38	c  281s |      23 |  3561074 |  2679438 |     1287   4722 |        0 |        0
283.25/283.38	c  283s |      23 |  3585105 |  2697438 |     1287   4748 |        0 |        0
285.26/285.38	c  285s |      23 |  3609281 |  2714738 |     1287   4772 |        0 |        0
287.25/287.39	c  287s |      23 |  3633880 |  2732838 |     1287   4798 |        0 |        0
289.25/289.39	c  289s |      23 |  3657891 |  2750738 |     1287   4823 |        0 |        0
291.35/291.40	c  291s |      23 |  3681914 |  2768338 |     1287   4848 |        0 |        0
293.35/293.40	c  293s |      23 |  3705297 |  2786038 |     1287   4873 |        0 |        0
295.35/295.41	c  295s |      23 |  3727857 |  2803238 |     1287   4897 |        0 |        0
297.35/297.41	c  297s |      23 |  3752197 |  2820638 |     1287   4922 |        0 |        0
299.34/299.41	c  299s |      23 |  3775715 |  2838238 |     1287   4947 |        0 |        0
301.34/301.41	c  301s |      23 |  3799489 |  2856138 |     1287   4973 |        0 |        0
303.34/303.42	c  303s |      23 |  3823201 |  2873838 |     1287   4997 |        0 |        0
305.34/305.43	c  305s |      23 |  3847808 |  2891938 |     1287   5023 |        0 |        0
307.34/307.45	c  307s |      23 |  3870172 |  2908638 |     1287   5046 |        0 |        0
309.35/309.45	c  309s |      23 |  3891576 |  2924838 |     1287   5069 |        0 |        0
311.34/311.45	c  311s |      23 |  3913309 |  2941138 |     1287   5092 |        0 |        0
313.34/313.46	c  313s |      23 |  3933701 |  2956638 |     1287   5114 |        0 |        0
315.34/315.47	c  315s |      23 |  3955920 |  2973838 |     1287   5139 |        0 |        0
317.34/317.47	c  317s |      23 |  3978353 |  2990838 |     1287   5163 |        0 |        0
319.35/319.48	c  319s |      23 |  4000996 |  3007538 |     1287   5187 |        0 |        0
321.35/321.49	c  321s |      23 |  4024372 |  3025038 |     1287   5212 |        0 |        0
323.44/323.50	c  323s |      23 |  4046967 |  3042038 |     1287   5236 |        0 |        0
325.44/325.51	c  325s |      23 |  4070146 |  3059338 |     1287   5261 |        0 |        0
327.44/327.51	c  327s |      23 |  4092956 |  3076138 |     1287   5285 |        0 |        0
329.44/329.52	c  329s |      23 |  4116409 |  3093438 |     1287   5309 |        0 |        0
331.45/331.53	c  331s |      23 |  4139060 |  3110638 |     1287   5334 |        0 |        0
333.44/333.54	c  333s |      23 |  4162791 |  3128238 |     1287   5359 |        0 |        0
335.44/335.54	c  335s |      23 |  4186012 |  3145338 |     1287   5383 |        0 |        0
337.44/337.55	c  337s |      23 |  4208573 |  3162038 |     1287   5407 |        0 |        0
339.44/339.55	c  339s |      23 |  4230992 |  3178838 |     1287   5430 |        0 |        0
341.44/341.56	c  341s |      23 |  4251779 |  3194838 |     1287   5453 |        0 |        0
343.45/343.57	c  343s |      23 |  4272786 |  3210738 |     1287   5475 |        0 |        0
345.44/345.59	c  345s |      23 |  4294295 |  3227138 |     1287   5498 |        0 |        0
347.44/347.59	c  347s |      23 |  4314496 |  3242438 |     1287   5520 |        0 |        0
349.54/349.60	c  349s |      23 |  4334850 |  3257838 |     1287   5542 |        0 |        0
351.54/351.61	c  351s |      23 |  4357581 |  3274338 |     1287   5566 |        0 |        0
353.53/353.62	c  353s |      23 |  4379408 |  3290938 |     1287   5589 |        0 |        0
355.54/355.63	c  355s |      23 |  4401934 |  3307738 |     1287   5613 |        0 |        0
357.53/357.63	c  357s |      23 |  4423005 |  3323938 |     1287   5636 |        0 |        0
359.53/359.64	c  359s |      23 |  4445533 |  3340838 |     1287   5660 |        0 |        0
361.53/361.65	c  361s |      23 |  4468899 |  3357538 |     1416   5683 |        0 |        0
363.53/363.65	c  363s |      23 |  4493124 |  3375038 |     1416   5706 |        0 |        0
363.73/363.84	c  363s |      24 |  4495410 |  3376662 |     1416   5708 |        0 |        0
365.73/365.84	c  365s |      24 |  4518051 |  3393362 |     1416   5729 |        0 |        0
367.75/367.85	c  367s |      24 |  4537736 |  3408662 |     1416   5749 |        0 |        0
369.74/369.86	c  369s |      24 |  4560413 |  3425562 |     1416   5771 |        0 |        0
371.74/371.86	c  371s |      24 |  4581821 |  3441162 |     1416   5792 |        0 |        0
373.74/373.87	c  373s |      24 |  4603382 |  3457362 |     1416   5813 |        0 |        0
375.74/375.87	c  375s |      24 |  4625097 |  3473462 |     1416   5834 |        0 |        0
377.74/377.88	c  377s |      24 |  4644749 |  3488262 |     1416   5853 |        0 |        0
379.74/379.89	c  379s |      24 |  4667428 |  3504962 |     1416   5875 |        0 |        0
381.84/381.90	c  381s |      24 |  4691396 |  3522862 |     1416   5899 |        0 |        0
383.83/383.90	c  383s |      24 |  4716471 |  3540662 |     1416   5922 |        0 |        0
385.83/385.90	c  385s |      24 |  4741555 |  3558162 |     1416   5945 |        0 |        0
387.83/387.91	c  387s |      24 |  4767864 |  3576762 |     1416   5969 |        0 |        0
389.83/389.91	c  389s |      24 |  4792909 |  3595162 |     1416   5993 |        0 |        0
391.84/391.91	c  391s |      24 |  4818590 |  3613162 |     1416   6017 |        0 |        0
393.83/393.92	c  393s |      24 |  4844211 |  3630862 |     1416   6040 |        0 |        0
395.84/395.93	c  395s |      24 |  4870741 |  3648962 |     1416   6063 |        0 |        0
397.83/397.94	c  397s |      24 |  4895026 |  3666362 |     1416   6086 |        0 |        0
399.83/399.95	c  399s |      24 |  4917920 |  3683062 |     1416   6108 |        0 |        0
401.84/401.96	c  401s |      24 |  4938309 |  3698162 |     1416   6128 |        0 |        0
403.83/403.97	c  403s |      24 |  4961069 |  3714862 |     1416   6149 |        0 |        0
405.83/405.97	c  405s |      24 |  4985483 |  3732062 |     1416   6172 |        0 |        0
407.83/407.99	c  407s |      24 |  5007142 |  3748662 |     1416   6194 |        0 |        0
409.93/410.00	c  409s |      24 |  5031612 |  3765862 |     1416   6216 |        0 |        0
411.93/412.00	c  411s |      24 |  5056019 |  3783062 |     1416   6239 |        0 |        0
413.94/414.00	c  413s |      24 |  5078431 |  3799562 |     1416   6261 |        0 |        0
415.93/416.01	c  415s |      24 |  5102105 |  3816462 |     1416   6283 |        0 |        0
417.93/418.01	c  417s |      24 |  5124386 |  3832562 |     1416   6304 |        0 |        0
419.93/420.01	c  419s |      24 |  5148903 |  3849662 |     1416   6326 |        0 |        0
421.93/422.01	c  422s |      24 |  5170753 |  3865662 |     1416   6347 |        0 |        0
423.92/424.02	c  424s |      24 |  5193931 |  3882362 |     1416   6369 |        0 |        0
425.93/426.02	c  426s |      24 |  5219278 |  3899762 |     1416   6392 |        0 |        0
427.92/428.03	c  428s |      24 |  5242533 |  3916962 |     1416   6415 |        0 |        0
429.92/430.04	c  430s |      24 |  5268503 |  3934362 |     1416   6438 |        0 |        0
431.92/432.04	c  432s |      24 |  5293074 |  3951162 |     1416   6460 |        0 |        0
433.92/434.05	c  434s |      24 |  5316280 |  3968262 |     1416   6482 |        0 |        0
435.93/436.05	c  436s |      24 |  5338291 |  3984062 |     1416   6502 |        0 |        0
437.92/438.06	c  438s |      24 |  5360267 |  4000862 |     1416   6524 |        0 |        0
439.92/440.07	c  440s |      24 |  5382815 |  4017262 |     1416   6545 |        0 |        0
441.92/442.08	c  442s |      24 |  5404723 |  4034162 |     1416   6567 |        0 |        0
443.92/444.08	c  444s |      24 |  5426899 |  4050562 |     1416   6588 |        0 |        0
445.92/446.09	c  446s |      24 |  5450178 |  4067362 |     1416   6610 |        0 |        0
447.93/448.09	c  448s |      24 |  5474353 |  4084762 |     1416   6633 |        0 |        0
449.92/450.09	c  450s |      24 |  5499731 |  4102562 |     1416   6656 |        0 |        0
451.93/452.09	c  452s |      24 |  5525880 |  4120562 |     1416   6680 |        0 |        0
454.03/454.10	c  454s |      24 |  5550348 |  4137562 |     1416   6702 |        0 |        0
456.03/456.11	c  456s |      24 |  5575081 |  4154162 |     1416   6723 |        0 |        0
458.03/458.11	c  458s |      24 |  5598808 |  4169962 |     1416   6743 |        0 |        0
460.03/460.13	c  460s |      24 |  5623486 |  4186462 |     1416   6764 |        0 |        0
462.03/462.13	c  462s |      24 |  5645771 |  4202262 |     1416   6784 |        0 |        0
464.03/464.14	c  464s |      24 |  5668652 |  4218162 |     1416   6805 |        0 |        0
466.03/466.15	c  466s |      24 |  5691720 |  4234162 |     1416   6825 |        0 |        0
468.02/468.15	c  468s |      24 |  5714951 |  4250662 |     1416   6847 |        0 |        0
470.03/470.16	c  470s |      24 |  5739081 |  4267462 |     1416   6869 |        0 |        0
472.02/472.16	c  472s |      24 |  5763234 |  4284162 |     1416   6891 |        0 |        0
474.02/474.18	c  474s |      24 |  5788895 |  4301862 |     1416   6914 |        0 |        0
476.02/476.18	c  476s |      24 |  5812492 |  4318662 |     1416   6936 |        0 |        0
478.02/478.19	c  478s |      24 |  5836118 |  4335662 |     1416   6958 |        0 |        0
480.02/480.19	c  480s |      24 |  5860054 |  4352962 |     1416   6981 |        0 |        0
482.13/482.20	c  482s |      24 |  5883243 |  4370262 |     1416   7004 |        0 |        0
484.12/484.21	c  484s |      24 |  5906296 |  4387362 |     1416   7026 |        0 |        0
486.12/486.21	c  486s |      24 |  5932936 |  4405862 |     1416   7051 |        0 |        0
488.12/488.22	c  488s |      24 |  5955902 |  4422862 |     1416   7073 |        0 |        0
490.12/490.22	c  490s |      24 |  5979015 |  4440362 |     1416   7095 |        0 |        0
492.12/492.22	c  492s |      24 |  6001292 |  4456362 |     1416   7116 |        0 |        0
494.12/494.23	c  494s |      24 |  6027223 |  4473962 |     1416   7139 |        0 |        0
496.11/496.24	c  496s |      24 |  6051716 |  4490362 |     1416   7161 |        0 |        0
498.11/498.24	c  498s |      24 |  6071630 |  4505662 |     1416   7181 |        0 |        0
500.11/500.24	c  500s |      24 |  6094727 |  4521762 |     1416   7202 |        0 |        0
502.11/502.25	c  502s |      24 |  6117323 |  4538262 |     1416   7224 |        0 |        0
504.12/504.26	c  504s |      24 |  6141064 |  4555462 |     1416   7246 |        0 |        0
506.11/506.26	c  506s |      24 |  6165731 |  4572562 |     1416   7269 |        0 |        0
508.11/508.27	c  508s |      24 |  6189839 |  4589962 |     1416   7292 |        0 |        0
510.11/510.28	c  510s |      24 |  6215247 |  4607962 |     1416   7316 |        0 |        0
512.11/512.29	c  512s |      24 |  6238086 |  4624362 |     1416   7337 |        0 |        0
514.11/514.29	c  514s |      24 |  6263306 |  4641162 |     1416   7359 |        0 |        0
516.12/516.29	c  516s |      24 |  6289080 |  4658962 |     1416   7383 |        0 |        0
518.11/518.29	c  518s |      24 |  6315951 |  4677462 |     1416   7407 |        0 |        0
520.21/520.30	c  520s |      24 |  6340644 |  4694862 |     1416   7430 |        0 |        0
522.21/522.31	c  522s |      24 |  6365873 |  4712762 |     1416   7453 |        0 |        0
524.21/524.31	c  524s |      24 |  6390275 |  4729562 |     1416   7475 |        0 |        0
526.21/526.31	c  526s |      24 |  6416702 |  4747162 |     1416   7498 |        0 |        0
528.21/528.33	c  528s |      24 |  6437897 |  4763062 |     1416   7519 |        0 |        0
530.21/530.34	c  530s |      24 |  6464471 |  4780962 |     1416   7543 |        0 |        0
532.22/532.35	c  532s |      24 |  6489840 |  4798162 |     1416   7565 |        0 |        0
534.21/534.35	c  534s |      24 |  6511545 |  4814262 |     1416   7586 |        0 |        0
536.21/536.35	c  536s |      24 |  6532353 |  4830962 |     1416   7608 |        0 |        0
538.22/538.36	c  538s |      24 |  6554354 |  4847662 |     1416   7630 |        0 |        0
540.21/540.37	c  540s |      24 |  6574084 |  4861862 |     1416   7648 |        0 |        0
542.21/542.37	c  542s |      24 |  6596845 |  4878262 |     1416   7670 |        0 |        0
544.21/544.38	c  544s |      24 |  6621333 |  4896162 |     1416   7694 |        0 |        0
546.21/546.39	c  546s |      24 |  6646054 |  4914262 |     1416   7718 |        0 |        0
548.21/548.39	c  548s |      24 |  6672059 |  4931862 |     1416   7741 |        0 |        0
550.21/550.39	c  550s |      24 |  6697640 |  4949162 |     1416   7764 |        0 |        0
552.31/552.41	c  552s |      24 |  6724106 |  4967062 |     1416   7787 |        0 |        0
554.31/554.41	c  554s |      24 |  6750480 |  4985862 |     1416   7812 |        0 |        0
556.31/556.43	c  556s |      24 |  6775288 |  5003462 |     1416   7836 |        0 |        0
558.31/558.43	c  558s |      24 |  6799452 |  5020762 |     1416   7858 |        0 |        0
560.30/560.44	c  560s |      24 |  6824769 |  5038362 |     1558   7880 |        0 |        0
562.31/562.45	c  562s |      24 |  6851803 |  5055862 |     1558   7901 |        0 |        0
563.41/563.52	c  563s |      25 |  6865835 |  5065098 |     1558   7913 |        0 |        0
565.40/565.52	c  565s |      25 |  6886315 |  5081298 |     1558   7931 |        0 |        0
567.40/567.53	c  567s |      25 |  6907942 |  5098098 |     1558   7951 |        0 |        0
569.40/569.53	c  569s |      25 |  6931146 |  5115698 |     1558   7972 |        0 |        0
571.40/571.54	c  571s |      25 |  6953999 |  5132998 |     1558   7992 |        0 |        0
573.41/573.55	c  573s |      25 |  6977219 |  5150798 |     1558   8013 |        0 |        0
575.40/575.55	c  575s |      25 |  7000068 |  5168098 |     1558   8034 |        0 |        0
577.40/577.55	c  577s |      25 |  7020859 |  5184498 |     1558   8053 |        0 |        0
579.41/579.56	c  579s |      25 |  7043390 |  5201998 |     1558   8074 |        0 |        0
581.41/581.58	c  581s |      25 |  7066911 |  5219498 |     1558   8095 |        0 |        0
583.41/583.59	c  583s |      25 |  7089619 |  5236998 |     1558   8115 |        0 |        0
585.41/585.59	c  585s |      25 |  7111870 |  5253898 |     1558   8135 |        0 |        0
587.51/587.60	c  587s |      25 |  7135291 |  5271698 |     1558   8156 |        0 |        0
589.51/589.61	c  589s |      25 |  7156403 |  5288198 |     1558   8176 |        0 |        0
591.51/591.61	c  591s |      25 |  7178827 |  5304898 |     1558   8195 |        0 |        0
593.50/593.61	c  593s |      25 |  7201727 |  5321698 |     1558   8215 |        0 |        0
595.50/595.63	c  595s |      25 |  7224063 |  5338098 |     1558   8234 |        0 |        0
597.51/597.63	c  597s |      25 |  7246581 |  5354498 |     1558   8254 |        0 |        0
599.50/599.64	c  599s |      25 |  7269694 |  5371298 |     1558   8273 |        0 |        0
601.50/601.64	c  601s |      25 |  7291072 |  5387798 |     1558   8293 |        0 |        0
603.50/603.65	c  603s |      25 |  7312241 |  5404098 |     1558   8312 |        0 |        0
605.50/605.65	c  605s |      25 |  7333746 |  5420498 |     1558   8331 |        0 |        0
607.51/607.66	c  607s |      25 |  7354712 |  5436398 |     1558   8350 |        0 |        0
609.50/609.67	c  609s |      25 |  7376044 |  5453098 |     1558   8370 |        0 |        0
611.50/611.68	c  611s |      25 |  7398610 |  5469898 |     1558   8390 |        0 |        0
613.50/613.69	c  613s |      25 |  7419724 |  5485798 |     1558   8408 |        0 |        0
615.50/615.69	c  615s |      25 |  7441291 |  5501998 |     1558   8427 |        0 |        0
617.50/617.69	c  617s |      25 |  7463592 |  5518498 |     1558   8447 |        0 |        0
619.50/619.69	c  619s |      25 |  7486946 |  5535698 |     1558   8467 |        0 |        0
621.50/621.70	c  621s |      25 |  7509310 |  5552598 |     1558   8487 |        0 |        0
623.60/623.70	c  623s |      25 |  7530615 |  5569198 |     1558   8506 |        0 |        0
625.59/625.70	c  625s |      25 |  7553240 |  5585898 |     1558   8526 |        0 |        0
627.59/627.72	c  627s |      25 |  7576731 |  5603198 |     1558   8546 |        0 |        0
629.59/629.72	c  629s |      25 |  7600068 |  5620198 |     1558   8566 |        0 |        0
631.60/631.73	c  631s |      25 |  7623519 |  5636898 |     1558   8586 |        0 |        0
633.59/633.74	c  633s |      25 |  7645163 |  5653098 |     1558   8605 |        0 |        0
635.59/635.75	c  635s |      25 |  7668289 |  5669998 |     1558   8625 |        0 |        0
637.59/637.75	c  637s |      25 |  7690713 |  5686598 |     1558   8645 |        0 |        0
639.59/639.76	c  639s |      25 |  7714976 |  5703698 |     1558   8666 |        0 |        0
641.60/641.77	c  641s |      25 |  7736458 |  5719898 |     1558   8685 |        0 |        0
643.59/643.78	c  643s |      25 |  7758451 |  5736198 |     1558   8705 |        0 |        0
645.59/645.79	c  645s |      25 |  7781423 |  5752998 |     1558   8725 |        0 |        0
647.60/647.79	c  647s |      25 |  7805538 |  5770798 |     1558   8746 |        0 |        0
649.70/649.80	c  649s |      25 |  7828355 |  5787798 |     1558   8766 |        0 |        0
651.70/651.81	c  651s |      25 |  7849463 |  5803798 |     1558   8786 |        0 |        0
653.70/653.81	c  653s |      25 |  7872019 |  5820698 |     1558   8806 |        0 |        0
655.70/655.81	c  655s |      25 |  7895408 |  5837398 |     1558   8826 |        0 |        0
657.70/657.82	c  657s |      25 |  7919044 |  5854898 |     1558   8847 |        0 |        0
659.70/659.83	c  659s |      25 |  7941797 |  5871798 |     1558   8867 |        0 |        0
661.70/661.84	c  661s |      25 |  7965291 |  5888698 |     1558   8887 |        0 |        0
663.70/663.84	c  663s |      25 |  7987621 |  5905298 |     1558   8907 |        0 |        0
665.70/665.85	c  665s |      25 |  8010489 |  5921798 |     1558   8927 |        0 |        0
667.69/667.85	c  667s |      25 |  8033153 |  5938898 |     1558   8947 |        0 |        0
669.69/669.86	c  669s |      25 |  8054746 |  5955398 |     1558   8967 |        0 |        0
671.69/671.87	c  671s |      25 |  8076534 |  5972298 |     1558   8988 |        0 |        0
673.69/673.87	c  673s |      25 |  8099947 |  5989498 |     1558   9008 |        0 |        0
675.70/675.88	c  675s |      25 |  8123007 |  6006098 |     1558   9028 |        0 |        0
677.69/677.89	c  677s |      25 |  8145986 |  6022998 |     1558   9049 |        0 |        0
679.79/679.90	c  679s |      25 |  8166115 |  6038798 |     1558   9067 |        0 |        0
681.79/681.90	c  681s |      25 |  8188101 |  6054898 |     1558   9087 |        0 |        0
683.79/683.91	c  683s |      25 |  8211004 |  6071698 |     1558   9107 |        0 |        0
685.79/685.91	c  685s |      25 |  8232403 |  6088098 |     1558   9127 |        0 |        0
687.80/687.92	c  687s |      25 |  8252461 |  6103598 |     1558   9145 |        0 |        0
689.79/689.92	c  689s |      25 |  8276011 |  6120798 |     1558   9166 |        0 |        0
691.79/691.93	c  691s |      25 |  8300073 |  6138598 |     1558   9188 |        0 |        0
693.79/693.93	c  693s |      25 |  8320765 |  6154998 |     1558   9207 |        0 |        0
695.79/695.94	c  695s |      25 |  8342542 |  6171598 |     1558   9227 |        0 |        0
697.79/697.95	c  697s |      25 |  8364351 |  6187998 |     1558   9247 |        0 |        0
699.79/699.96	c  699s |      25 |  8384995 |  6204198 |     1558   9267 |        0 |        0
701.78/701.97	c  701s |      25 |  8406126 |  6220298 |     1558   9286 |        0 |        0
703.78/703.97	c  703s |      25 |  8428551 |  6237198 |     1558   9307 |        0 |        0
705.78/705.97	c  705s |      25 |  8449650 |  6253398 |     1558   9326 |        0 |        0
707.78/707.97	c  707s |      25 |  8473062 |  6270598 |     1558   9347 |        0 |        0
709.79/709.97	c  709s |      25 |  8496506 |  6287598 |     1558   9368 |        0 |        0
711.78/711.98	c  711s |      25 |  8517982 |  6303698 |     1558   9387 |        0 |        0
713.78/713.98	c  713s |      25 |  8539682 |  6319998 |     1558   9406 |        0 |        0
715.78/715.99	c  715s |      25 |  8561514 |  6336098 |     1558   9426 |        0 |        0
717.78/717.99	c  717s |      25 |  8583435 |  6352698 |     1558   9446 |        0 |        0
719.88/720.00	c  719s |      25 |  8604120 |  6368698 |     1558   9465 |        0 |        0
721.88/722.01	c  721s |      25 |  8626388 |  6385998 |     1558   9486 |        0 |        0
723.88/724.01	c  724s |      25 |  8649133 |  6403098 |     1558   9506 |        0 |        0
725.88/726.02	c  726s |      25 |  8670190 |  6419298 |     1558   9526 |        0 |        0
727.88/728.03	c  728s |      25 |  8693503 |  6436298 |     1558   9546 |        0 |        0
729.87/730.04	c  730s |      25 |  8716833 |  6453798 |     1558   9568 |        0 |        0
731.87/732.04	c  732s |      25 |  8738471 |  6470498 |     1558   9588 |        0 |        0
733.88/734.05	c  734s |      25 |  8762127 |  6488098 |     1558   9609 |        0 |        0
735.87/736.06	c  736s |      25 |  8785052 |  6504998 |     1558   9629 |        0 |        0
737.87/738.06	c  738s |      25 |  8805282 |  6520598 |     1558   9648 |        0 |        0
739.87/740.07	c  740s |      25 |  8828396 |  6537598 |     1558   9668 |        0 |        0
741.88/742.08	c  742s |      25 |  8850252 |  6554298 |     1558   9688 |        0 |        0
743.88/744.09	c  744s |      25 |  8873023 |  6571098 |     1558   9709 |        0 |        0
745.87/746.09	c  746s |      25 |  8894797 |  6587298 |     1558   9728 |        0 |        0
747.97/748.10	c  748s |      25 |  8918057 |  6604598 |     1558   9749 |        0 |        0
749.97/750.10	c  750s |      25 |  8940802 |  6621198 |     1558   9769 |        0 |        0
751.97/752.10	c  752s |      25 |  8963572 |  6637798 |     1558   9789 |        0 |        0
753.96/754.10	c  754s |      25 |  8984817 |  6654198 |     1558   9808 |        0 |        0
755.97/756.11	c  756s |      25 |  9006900 |  6670698 |     1558   9828 |        0 |        0
757.96/758.12	c  758s |      25 |  9028556 |  6687298 |     1558   9848 |        0 |        0
759.96/760.12	c  760s |      25 |  9051717 |  6704298 |     1558   9868 |        0 |        0
761.96/762.12	c  762s |      25 |  9073763 |  6720798 |     1558   9888 |        0 |        0
763.96/764.13	c  764s |      25 |  9095057 |  6736798 |     1558   9908 |        0 |        0
765.96/766.14	c  766s |      25 |  9117575 |  6753298 |     1558   9927 |        0 |        0
767.97/768.14	c  768s |      25 |  9139939 |  6770298 |     1558   9948 |        0 |        0
769.96/770.15	c  770s |      25 |  9162402 |  6787098 |     1558   9968 |        0 |        0
771.95/772.16	c  772s |      25 |  9185794 |  6804398 |     1558   9989 |        0 |        0
773.95/774.17	c  774s |      25 |  9209535 |  6822098 |     1558  10011 |        0 |        0
775.95/776.18	c  776s |      25 |  9231233 |  6838598 |     1558  10031 |        0 |        0
777.96/778.19	c  778s |      25 |  9255102 |  6856098 |     1558  10053 |        0 |        0
779.95/780.19	c  780s |      25 |  9279859 |  6873798 |     1558  10074 |        0 |        0
782.05/782.20	c  782s |      25 |  9303051 |  6890798 |     1558  10095 |        0 |        0
784.05/784.21	c  784s |      25 |  9326766 |  6908198 |     1558  10116 |        0 |        0
786.05/786.22	c  786s |      25 |  9349243 |  6925298 |     1558  10137 |        0 |        0
788.05/788.23	c  788s |      25 |  9371764 |  6941798 |     1558  10157 |        0 |        0
790.05/790.24	c  790s |      25 |  9394813 |  6958598 |     1558  10177 |        0 |        0
792.05/792.25	c  792s |      25 |  9413783 |  6973498 |     1558  10195 |        0 |        0
794.05/794.26	c  794s |      25 |  9433406 |  6988498 |     1558  10213 |        0 |        0
796.05/796.26	c  796s |      25 |  9455487 |  7004798 |     1558  10233 |        0 |        0
798.04/798.27	c  798s |      25 |  9475378 |  7020498 |     1558  10252 |        0 |        0
800.04/800.28	c  800s |      25 |  9498750 |  7037898 |     1558  10273 |        0 |        0
802.04/802.28	c  802s |      25 |  9520634 |  7054298 |     1558  10292 |        0 |        0
804.05/804.29	c  804s |      25 |  9541782 |  7070398 |     1558  10312 |        0 |        0
806.05/806.29	c  806s |      25 |  9562238 |  7086098 |     1558  10331 |        0 |        0
808.15/808.30	c  808s |      25 |  9583185 |  7102198 |     1558  10350 |        0 |        0
810.14/810.30	c  810s |      25 |  9602232 |  7116698 |     1558  10367 |        0 |        0
812.14/812.31	c  812s |      25 |  9623725 |  7132798 |     1558  10387 |        0 |        0
814.15/814.32	c  814s |      25 |  9645802 |  7149498 |     1558  10407 |        0 |        0
816.14/816.33	c  816s |      25 |  9667504 |  7165998 |     1558  10426 |        0 |        0
818.14/818.33	c  818s |      25 |  9688376 |  7182498 |     1558  10446 |        0 |        0
820.14/820.34	c  820s |      25 |  9710694 |  7199398 |     1558  10467 |        0 |        0
822.14/822.35	c  822s |      25 |  9732898 |  7216198 |     1558  10487 |        0 |        0
824.14/824.36	c  824s |      25 |  9755321 |  7232798 |     1558  10507 |        0 |        0
826.13/826.36	c  826s |      25 |  9777323 |  7249698 |     1558  10527 |        0 |        0
828.13/828.36	c  828s |      25 |  9798952 |  7266498 |     1558  10547 |        0 |        0
830.13/830.37	c  830s |      25 |  9820337 |  7282498 |     1558  10567 |        0 |        0
832.13/832.37	c  832s |      25 |  9841023 |  7298298 |     1558  10586 |        0 |        0
834.13/834.38	c  834s |      25 |  9861794 |  7313898 |     1558  10605 |        0 |        0
836.13/836.39	c  836s |      25 |  9882276 |  7329298 |     1558  10624 |        0 |        0
838.13/838.39	c  838s |      25 |  9906606 |  7346798 |     1558  10645 |        0 |        0
840.22/840.40	c  840s |      25 |  9932000 |  7364998 |     1558  10667 |        0 |        0
842.22/842.41	c  842s |      25 |  9956583 |  7382598 |     1558  10688 |        0 |        0
844.22/844.41	c  844s |      25 |  9980233 |  7399798 |     1558  10709 |        0 |        0
846.23/846.42	c  846s |      25 | 10005596 |  7417598 |     1558  10731 |        0 |        0
848.24/848.42	c  848s |      25 | 10031142 |  7435598 |     1558  10752 |        0 |        0
850.22/850.42	c  850s |      25 | 10056454 |  7453398 |     1558  10774 |        0 |        0
852.22/852.42	c  852s |      25 | 10081733 |  7471198 |     1558  10796 |        0 |        0
854.22/854.43	c  854s |      25 | 10104508 |  7488198 |     1558  10816 |        0 |        0
856.22/856.43	c  856s |      25 | 10128578 |  7505598 |     1558  10837 |        0 |        0
858.23/858.44	c  858s |      25 | 10153460 |  7523498 |     1558  10859 |        0 |        0
860.22/860.45	c  860s |      25 | 10175858 |  7539698 |     1558  10878 |        0 |        0
862.22/862.45	c  862s |      25 | 10195450 |  7554898 |     1714  10895 |        0 |        0
864.22/864.46	c  864s |      25 | 10215382 |  7570198 |     1714  10911 |        0 |        0
866.22/866.46	c  866s |      25 | 10234997 |  7585198 |     1714  10928 |        0 |        0
867.92/868.19	c  868s |      26 | 10251507 |  7597752 |     1714  10941 |        0 |        0
870.01/870.20	c  870s |      26 | 10270603 |  7612952 |     1714  10957 |        0 |        0
872.01/872.21	c  872s |      26 | 10291004 |  7628552 |     1714  10974 |        0 |        0
874.01/874.21	c  874s |      26 | 10310926 |  7644252 |     1714  10991 |        0 |        0
876.01/876.22	c  876s |      26 | 10330923 |  7659552 |     1714  11007 |        0 |        0
878.02/878.23	c  878s |      26 | 10353165 |  7675752 |     1714  11025 |        0 |        0
880.00/880.23	c  880s |      26 | 10376350 |  7692652 |     1714  11043 |        0 |        0
882.00/882.23	c  882s |      26 | 10398166 |  7708952 |     1714  11060 |        0 |        0
884.00/884.24	c  884s |      26 | 10420703 |  7726252 |     1714  11079 |        0 |        0
886.00/886.25	c  886s |      26 | 10440137 |  7741752 |     1714  11095 |        0 |        0
888.00/888.25	c  888s |      26 | 10463141 |  7758452 |     1714  11113 |        0 |        0
890.00/890.26	c  890s |      26 | 10485022 |  7774452 |     1714  11131 |        0 |        0
892.00/892.27	c  892s |      26 | 10505955 |  7790252 |     1714  11148 |        0 |        0
894.00/894.27	c  894s |      26 | 10528000 |  7806652 |     1714  11165 |        0 |        0
895.99/896.28	c  896s |      26 | 10550798 |  7823652 |     1714  11184 |        0 |        0
897.99/898.29	c  898s |      26 | 10576153 |  7841452 |     1714  11203 |        0 |        0
900.10/900.30	c  900s |      26 | 10598713 |  7858152 |     1714  11220 |        0 |        0
902.10/902.31	c  902s |      26 | 10621219 |  7874952 |     1714  11238 |        0 |        0
904.10/904.31	c  904s |      26 | 10642787 |  7891052 |     1714  11256 |        0 |        0
906.10/906.31	c  906s |      26 | 10663157 |  7906652 |     1714  11273 |        0 |        0
908.10/908.31	c  908s |      26 | 10685072 |  7923052 |     1714  11290 |        0 |        0
910.09/910.32	c  910s |      26 | 10705507 |  7939252 |     1714  11308 |        0 |        0
912.10/912.32	c  912s |      26 | 10726149 |  7954852 |     1714  11324 |        0 |        0
914.09/914.33	c  914s |      26 | 10747503 |  7971252 |     1714  11342 |        0 |        0
916.09/916.33	c  916s |      26 | 10772860 |  7989052 |     1714  11361 |        0 |        0
918.09/918.35	c  918s |      26 | 10796388 |  8006452 |     1714  11380 |        0 |        0
920.08/920.35	c  920s |      26 | 10817960 |  8022952 |     1714  11398 |        0 |        0
922.08/922.35	c  922s |      26 | 10841327 |  8040452 |     1714  11417 |        0 |        0
924.09/924.36	c  924s |      26 | 10863518 |  8057052 |     1714  11435 |        0 |        0
926.08/926.36	c  926s |      26 | 10886161 |  8074152 |     1714  11454 |        0 |        0
928.08/928.36	c  928s |      26 | 10908958 |  8091252 |     1714  11473 |        0 |        0
930.08/930.37	c  930s |      26 | 10932065 |  8107952 |     1714  11491 |        0 |        0
932.08/932.38	c  932s |      26 | 10954940 |  8125552 |     1714  11510 |        0 |        0
934.08/934.38	c  934s |      26 | 10978019 |  8143552 |     1714  11530 |        0 |        0
936.07/936.39	c  936s |      26 | 11000736 |  8160452 |     1714  11548 |        0 |        0
938.07/938.39	c  938s |      26 | 11022478 |  8176852 |     1714  11566 |        0 |        0
940.18/940.40	c  940s |      26 | 11043243 |  8192852 |     1714  11583 |        0 |        0
942.18/942.41	c  942s |      26 | 11063663 |  8208752 |     1714  11600 |        0 |        0
944.18/944.41	c  944s |      26 | 11086323 |  8225652 |     1714  11619 |        0 |        0
946.18/946.42	c  946s |      26 | 11110248 |  8242552 |     1714  11637 |        0 |        0
948.17/948.43	c  948s |      26 | 11132468 |  8259452 |     1714  11655 |        0 |        0
950.17/950.43	c  950s |      26 | 11153974 |  8276052 |     1714  11673 |        0 |        0
952.17/952.44	c  952s |      26 | 11177905 |  8293352 |     1714  11692 |        0 |        0
954.17/954.44	c  954s |      26 | 11201452 |  8310052 |     1714  11711 |        0 |        0
956.17/956.45	c  956s |      26 | 11223214 |  8326752 |     1714  11729 |        0 |        0
958.18/958.46	c  958s |      26 | 11246860 |  8344252 |     1714  11748 |        0 |        0
960.17/960.47	c  960s |      26 | 11270408 |  8361952 |     1714  11767 |        0 |        0
962.17/962.47	c  962s |      26 | 11294744 |  8379852 |     1714  11786 |        0 |        0
964.17/964.47	c  964s |      26 | 11319687 |  8398152 |     1714  11806 |        0 |        0
966.17/966.47	c  966s |      26 | 11341237 |  8414752 |     1714  11824 |        0 |        0
968.17/968.48	c  968s |      26 | 11363211 |  8432152 |     1714  11842 |        0 |        0
970.16/970.48	c  970s |      26 | 11388566 |  8450852 |     1714  11863 |        0 |        0
972.16/972.49	c  972s |      26 | 11410984 |  8467652 |     1714  11881 |        0 |        0
974.26/974.50	c  974s |      26 | 11433380 |  8484052 |     1714  11899 |        0 |        0
976.26/976.50	c  976s |      26 | 11457068 |  8501552 |     1714  11919 |        0 |        0
978.26/978.51	c  978s |      26 | 11481493 |  8518752 |     1714  11937 |        0 |        0
980.26/980.51	c  980s |      26 | 11502870 |  8535552 |     1714  11956 |        0 |        0
982.25/982.52	c  982s |      26 | 11526192 |  8552952 |     1714  11975 |        0 |        0
984.25/984.53	c  984s |      26 | 11550741 |  8571252 |     1714  11995 |        0 |        0
986.25/986.53	c  986s |      26 | 11575127 |  8588852 |     1714  12015 |        0 |        0
988.25/988.54	c  988s |      26 | 11597412 |  8605752 |     1714  12033 |        0 |        0
990.25/990.54	c  990s |      26 | 11620205 |  8623152 |     1714  12052 |        0 |        0
992.25/992.54	c  992s |      26 | 11643799 |  8640052 |     1714  12071 |        0 |        0
994.24/994.54	c  994s |      26 | 11667168 |  8657352 |     1714  12090 |        0 |        0
996.24/996.55	c  996s |      26 | 11689424 |  8674452 |     1714  12109 |        0 |        0
998.24/998.55	c  998s |      26 | 11711856 |  8691252 |     1714  12127 |        0 |        0
1000.24/1000.56	c 1000s |      26 | 11734523 |  8708252 |     1714  12146 |        0 |        0
1002.25/1002.57	c 1002s |      26 | 11760218 |  8726852 |     1714  12166 |        0 |        0
1004.24/1004.58	c 1004s |      26 | 11783458 |  8744252 |     1714  12185 |        0 |        0
1006.24/1006.58	c 1006s |      26 | 11805923 |  8761352 |     1714  12204 |        0 |        0
1008.24/1008.59	c 1008s |      26 | 11827985 |  8778052 |     1714  12223 |        0 |        0
1010.24/1010.59	c 1010s |      26 | 11849110 |  8793652 |     1714  12240 |        0 |        0
1012.24/1012.59	c 1012s |      26 | 11872083 |  8810952 |     1714  12259 |        0 |        0
1014.25/1014.60	c 1014s |      26 | 11896014 |  8828352 |     1714  12278 |        0 |        0
1016.34/1016.61	c 1016s |      26 | 11918852 |  8845552 |     1714  12298 |        0 |        0
1018.34/1018.62	c 1018s |      26 | 11940571 |  8861752 |     1714  12316 |        0 |        0
1020.34/1020.63	c 1020s |      26 | 11961904 |  8877952 |     1714  12333 |        0 |        0
1022.34/1022.63	c 1022s |      26 | 11984189 |  8894952 |     1714  12352 |        0 |        0
1024.34/1024.64	c 1024s |      26 | 12006582 |  8911452 |     1714  12371 |        0 |        0
1026.34/1026.64	c 1026s |      26 | 12030409 |  8928452 |     1714  12390 |        0 |        0
1028.34/1028.64	c 1028s |      26 | 12053338 |  8945352 |     1714  12408 |        0 |        0
1030.33/1030.65	c 1030s |      26 | 12075090 |  8961552 |     1714  12426 |        0 |        0
1032.33/1032.66	c 1032s |      26 | 12099522 |  8979852 |     1714  12446 |        0 |        0
1034.33/1034.67	c 1034s |      26 | 12123067 |  8997352 |     1714  12465 |        0 |        0
1036.33/1036.67	c 1036s |      26 | 12147147 |  9014852 |     1714  12485 |        0 |        0
1038.32/1038.67	c 1038s |      26 | 12169092 |  9031252 |     1714  12503 |        0 |        0
1040.32/1040.68	c 1040s |      26 | 12190284 |  9048052 |     1714  12521 |        0 |        0
1042.32/1042.68	c 1042s |      26 | 12212563 |  9065452 |     1714  12540 |        0 |        0
1044.32/1044.69	c 1044s |      26 | 12234951 |  9082552 |     1714  12559 |        0 |        0
1046.42/1046.70	c 1046s |      26 | 12257426 |  9099752 |     1714  12578 |        0 |        0
1048.43/1048.70	c 1048s |      26 | 12280602 |  9117252 |     1714  12598 |        0 |        0
1050.42/1050.71	c 1050s |      26 | 12303347 |  9134152 |     1714  12617 |        0 |        0
1052.42/1052.71	c 1052s |      26 | 12325381 |  9151152 |     1714  12635 |        0 |        0
1054.42/1054.72	c 1054s |      26 | 12347786 |  9167852 |     1714  12654 |        0 |        0
1056.42/1056.73	c 1056s |      26 | 12372246 |  9185952 |     1714  12674 |        0 |        0
1058.42/1058.73	c 1058s |      26 | 12395744 |  9203552 |     1714  12694 |        0 |        0
1060.43/1060.73	c 1060s |      26 | 12415032 |  9219352 |     1714  12711 |        0 |        0
1062.42/1062.74	c 1062s |      26 | 12434415 |  9234852 |     1714  12729 |        0 |        0
1064.42/1064.76	c 1064s |      26 | 12456356 |  9251852 |     1714  12748 |        0 |        0
1066.42/1066.76	c 1066s |      26 | 12476895 |  9268052 |     1714  12765 |        0 |        0
1068.42/1068.77	c 1068s |      26 | 12499195 |  9284552 |     1714  12784 |        0 |        0
1070.42/1070.78	c 1070s |      26 | 12520293 |  9300452 |     1714  12801 |        0 |        0
1072.41/1072.78	c 1072s |      26 | 12540270 |  9315852 |     1714  12819 |        0 |        0
1074.41/1074.79	c 1074s |      26 | 12562558 |  9333052 |     1714  12838 |        0 |        0
1076.41/1076.79	c 1076s |      26 | 12584475 |  9350052 |     1714  12857 |        0 |        0
1078.51/1078.80	c 1078s |      26 | 12607250 |  9367452 |     1714  12876 |        0 |        0
1080.50/1080.80	c 1080s |      26 | 12630103 |  9384652 |     1714  12895 |        0 |        0
1082.41/1082.80	c 1082s |      26 | 12654181 |  9402052 |     1714  12915 |        0 |        0
1084.50/1084.81	c 1084s |      26 | 12678664 |  9419852 |     1714  12934 |        0 |        0
1086.50/1086.82	c 1086s |      26 | 12702133 |  9437852 |     1714  12954 |        0 |        0
1088.50/1088.83	c 1088s |      26 | 12725146 |  9455052 |     1714  12974 |        0 |        0
1090.50/1090.84	c 1090s |      26 | 12748355 |  9471852 |     1714  12992 |        0 |        0
1092.50/1092.86	c 1092s |      26 | 12769758 |  9488252 |     1714  13010 |        0 |        0
1094.50/1094.86	c 1094s |      26 | 12791218 |  9504752 |     1714  13029 |        0 |        0
1096.50/1096.87	c 1096s |      26 | 12813868 |  9521552 |     1714  13048 |        0 |        0
1098.50/1098.88	c 1098s |      26 | 12837249 |  9538452 |     1714  13067 |        0 |        0
1100.49/1100.88	c 1100s |      26 | 12860392 |  9555852 |     1714  13086 |        0 |        0
1102.49/1102.88	c 1102s |      26 | 12882415 |  9572252 |     1714  13104 |        0 |        0
1104.50/1104.89	c 1104s |      26 | 12905336 |  9589952 |     1714  13124 |        0 |        0
1106.49/1106.90	c 1106s |      26 | 12930527 |  9608252 |     1714  13144 |        0 |        0
1108.59/1108.90	c 1108s |      26 | 12954135 |  9625752 |     1714  13164 |        0 |        0
1110.59/1110.91	c 1110s |      26 | 12976503 |  9642552 |     1714  13183 |        0 |        0
1112.59/1112.92	c 1112s |      26 | 13000649 |  9659952 |     1714  13202 |        0 |        0
1114.59/1114.93	c 1114s |      26 | 13025227 |  9678252 |     1714  13223 |        0 |        0
1116.59/1116.93	c 1116s |      26 | 13047166 |  9695252 |     1714  13242 |        0 |        0
1118.58/1118.93	c 1118s |      26 | 13070897 |  9712852 |     1714  13261 |        0 |        0
1120.58/1120.94	c 1120s |      26 | 13093854 |  9730052 |     1714  13280 |        0 |        0
1122.58/1122.95	c 1122s |      26 | 13115489 |  9746552 |     1714  13299 |        0 |        0
1124.58/1124.95	c 1124s |      26 | 13138301 |  9763952 |     1714  13318 |        0 |        0
1126.58/1126.96	c 1126s |      26 | 13162325 |  9781752 |     1714  13338 |        0 |        0
1128.58/1128.97	c 1128s |      26 | 13183092 |  9797852 |     1714  13355 |        0 |        0
1130.58/1130.97	c 1130s |      26 | 13203171 |  9813652 |     1714  13373 |        0 |        0
1132.58/1132.98	c 1132s |      26 | 13226936 |  9831552 |     1714  13392 |        0 |        0
1134.58/1134.99	c 1134s |      26 | 13249475 |  9848952 |     1714  13412 |        0 |        0
1136.58/1136.99	c 1136s |      26 | 13271955 |  9865652 |     1714  13431 |        0 |        0
1138.67/1139.00	c 1138s |      26 | 13294848 |  9882752 |     1714  13450 |        0 |        0
1140.68/1141.01	c 1140s |      26 | 13319733 |  9900752 |     1714  13470 |        0 |        0
1142.68/1143.01	c 1143s |      26 | 13342850 |  9918152 |     1714  13489 |        0 |        0
1144.68/1145.02	c 1145s |      26 | 13366508 |  9935752 |     1714  13509 |        0 |        0
1146.68/1147.02	c 1147s |      26 | 13388494 |  9951852 |     1714  13527 |        0 |        0
1148.67/1149.03	c 1149s |      26 | 13412144 |  9969152 |     1714  13546 |        0 |        0
1150.68/1151.03	c 1151s |      26 | 13436125 |  9986452 |     1714  13566 |        0 |        0
1152.67/1153.04	c 1153s |      26 | 13462458 | 10005252 |     1714  13587 |        0 |        0
1154.67/1155.04	c 1155s |      26 | 13488348 | 10023952 |     1714  13608 |        0 |        0
1156.67/1157.04	c 1157s |      26 | 13512207 | 10042052 |     1714  13628 |        0 |        0
1158.66/1159.04	c 1159s |      26 | 13538043 | 10061352 |     1714  13650 |        0 |        0
1160.66/1161.05	c 1161s |      26 | 13563802 | 10080452 |     1714  13671 |        0 |        0
1162.67/1163.06	c 1163s |      26 | 13588966 | 10098552 |     1714  13692 |        0 |        0
1164.66/1165.07	c 1165s |      26 | 13614375 | 10117052 |     1714  13712 |        0 |        0
1166.66/1167.08	c 1167s |      26 | 13637947 | 10134552 |     1714  13731 |        0 |        0
1168.66/1169.08	c 1169s |      26 | 13660378 | 10151252 |     1714  13750 |        0 |        0
1170.66/1171.09	c 1171s |      26 | 13682508 | 10168252 |     1714  13769 |        0 |        0
1172.76/1173.10	c 1173s |      26 | 13706169 | 10184952 |     1714  13787 |        0 |        0
1174.66/1175.10	c 1175s |      26 | 13730157 | 10202352 |     1714  13806 |        0 |        0
1176.76/1177.10	c 1177s |      26 | 13753696 | 10219252 |     1714  13825 |        0 |        0
1178.75/1179.11	c 1179s |      26 | 13778544 | 10237152 |     1714  13845 |        0 |        0
1180.75/1181.12	c 1181s |      26 | 13799796 | 10253452 |     1714  13863 |        0 |        0
1182.75/1183.12	c 1183s |      26 | 13822812 | 10270052 |     1714  13882 |        0 |        0
1184.76/1185.12	c 1185s |      26 | 13847146 | 10287952 |     1714  13901 |        0 |        0
1186.75/1187.13	c 1187s |      26 | 13872226 | 10305952 |     1714  13921 |        0 |        0
1188.75/1189.13	c 1189s |      26 | 13896440 | 10323652 |     1714  13941 |        0 |        0
1190.75/1191.14	c 1191s |      26 | 13919479 | 10341052 |     1714  13961 |        0 |        0
1192.74/1193.15	c 1193s |      26 | 13941909 | 10357952 |     1714  13979 |        0 |        0
1194.74/1195.16	c 1195s |      26 | 13964737 | 10375252 |     1714  13999 |        0 |        0
1196.75/1197.17	c 1197s |      26 | 13987224 | 10392352 |     1714  14017 |        0 |        0
1198.74/1199.17	c 1199s |      26 | 14009596 | 10409452 |     1714  14036 |        0 |        0
1200.74/1201.18	c 1201s |      26 | 14032003 | 10426452 |     1714  14055 |        0 |        0
1202.74/1203.18	c 1203s |      26 | 14054362 | 10443352 |     1714  14074 |        0 |        0
1204.74/1205.19	c 1205s |      26 | 14078301 | 10460252 |     1714  14093 |        0 |        0
1206.84/1207.20	c 1207s |      26 | 14100721 | 10477052 |     1714  14112 |        0 |        0
1208.85/1209.21	c 1209s |      26 | 14124244 | 10494752 |     1714  14131 |        0 |        0
1210.84/1211.21	c 1211s |      26 | 14148693 | 10513052 |     1714  14152 |        0 |        0
1212.84/1213.22	c 1213s |      26 | 14172630 | 10530352 |     1714  14171 |        0 |        0
1214.84/1215.22	c 1215s |      26 | 14196975 | 10548452 |     1714  14192 |        0 |        0
1216.84/1217.22	c 1217s |      26 | 14218711 | 10565152 |     1714  14210 |        0 |        0
1218.84/1219.23	c 1219s |      26 | 14241223 | 10582152 |     1714  14230 |        0 |        0
1220.83/1221.23	c 1221s |      26 | 14266147 | 10600352 |     1714  14250 |        0 |        0
1222.83/1223.24	c 1223s |      26 | 14289755 | 10617752 |     1714  14270 |        0 |        0
1224.83/1225.25	c 1225s |      26 | 14311983 | 10634552 |     1714  14288 |        0 |        0
1226.83/1227.26	c 1227s |      26 | 14334787 | 10651652 |     1714  14308 |        0 |        0
1228.83/1229.27	c 1229s |      26 | 14359677 | 10669552 |     1714  14328 |        0 |        0
1230.83/1231.27	c 1231s |      26 | 14383593 | 10686752 |     1714  14347 |        0 |        0
1232.83/1233.28	c 1233s |      26 | 14407035 | 10703952 |     1714  14366 |        0 |        0
1234.83/1235.28	c 1235s |      26 | 14429413 | 10720352 |     1714  14384 |        0 |        0
1236.83/1237.29	c 1237s |      26 | 14452308 | 10737352 |     1714  14403 |        0 |        0
1238.92/1239.30	c 1239s |      26 | 14475329 | 10754552 |     1714  14423 |        0 |        0
1240.92/1241.31	c 1241s |      26 | 14499303 | 10771852 |     1714  14442 |        0 |        0
1242.93/1243.31	c 1243s |      26 | 14523639 | 10789352 |     1714  14462 |        0 |        0
1244.92/1245.33	c 1245s |      26 | 14545995 | 10806252 |     1714  14481 |        0 |        0
1246.92/1247.33	c 1247s |      26 | 14570104 | 10823552 |     1714  14500 |        0 |        0
1248.92/1249.34	c 1249s |      26 | 14593880 | 10841152 |     1714  14520 |        0 |        0
1250.92/1251.35	c 1251s |      26 | 14617089 | 10858552 |     1714  14539 |        0 |        0
1252.92/1253.36	c 1253s |      26 | 14640289 | 10875852 |     1714  14559 |        0 |        0
1254.92/1255.36	c 1255s |      26 | 14663848 | 10892952 |     1714  14578 |        0 |        0
1256.92/1257.37	c 1257s |      26 | 14688314 | 10910652 |     1714  14598 |        0 |        0
1258.91/1259.38	c 1259s |      26 | 14712182 | 10928352 |     1714  14618 |        0 |        0
1260.91/1261.38	c 1261s |      26 | 14735586 | 10945952 |     1714  14637 |        0 |        0
1262.91/1263.39	c 1263s |      26 | 14759182 | 10963552 |     1714  14657 |        0 |        0
1264.92/1265.39	c 1265s |      26 | 14783315 | 10981552 |     1714  14677 |        0 |        0
1267.01/1267.40	c 1267s |      26 | 14805653 | 10998652 |     1714  14697 |        0 |        0
1269.01/1269.41	c 1269s |      26 | 14829627 | 11016352 |     1714  14716 |        0 |        0
1271.00/1271.41	c 1271s |      26 | 14852617 | 11033752 |     1714  14736 |        0 |        0
1273.00/1273.41	c 1273s |      26 | 14872848 | 11049852 |     1714  14754 |        0 |        0
1275.00/1275.42	c 1275s |      26 | 14897562 | 11068052 |     1714  14774 |        0 |        0
1277.01/1277.42	c 1277s |      26 | 14921352 | 11085652 |     1714  14794 |        0 |        0
1279.00/1279.42	c 1279s |      26 | 14947910 | 11103852 |     1714  14815 |        0 |        0
1281.00/1281.43	c 1281s |      26 | 14971092 | 11121852 |     1714  14835 |        0 |        0
1283.00/1283.43	c 1283s |      26 | 14994222 | 11139152 |     1714  14854 |        0 |        0
1285.00/1285.43	c 1285s |      26 | 15018666 | 11157052 |     1714  14874 |        0 |        0
1287.01/1287.44	c 1287s |      26 | 15043793 | 11174852 |     1714  14894 |        0 |        0
1288.99/1289.44	c 1289s |      26 | 15068473 | 11192752 |     1714  14915 |        0 |        0
1290.99/1291.45	c 1291s |      26 | 15090476 | 11210352 |     1714  14934 |        0 |        0
1292.99/1293.46	c 1293s |      26 | 15114777 | 11228852 |     1714  14955 |        0 |        0
1294.99/1295.46	c 1295s |      26 | 15139643 | 11247252 |     1714  14976 |        0 |        0
1297.00/1297.47	c 1297s |      26 | 15161237 | 11263652 |     1714  14994 |        0 |        0
1299.00/1299.47	c 1299s |      26 | 15183466 | 11280852 |     1714  15014 |        0 |        0
1301.00/1301.49	c 1301s |      26 | 15206165 | 11298352 |     1714  15033 |        0 |        0
1303.00/1303.49	c 1303s |      26 | 15228638 | 11315352 |     1886  15052 |        0 |        0
1304.99/1305.49	c 1305s |      26 | 15249352 | 11331552 |     1886  15069 |        0 |        0
1307.09/1307.50	c 1307s |      26 | 15271282 | 11347952 |     1886  15085 |        0 |        0
1309.09/1309.51	c 1309s |      26 | 15293888 | 11364452 |     1886  15102 |        0 |        0
1311.09/1311.52	c 1311s |      26 | 15316972 | 11381552 |     1886  15120 |        0 |        0
1312.79/1313.21	c 1313s |      27 | 15336640 | 11396733 |     1886  15136 |        0 |        0
1314.79/1315.22	c 1315s |      27 | 15357051 | 11412833 |     1886  15151 |        0 |        0
1316.79/1317.23	c 1317s |      27 | 15376414 | 11428033 |     1886  15166 |        0 |        0
1318.79/1319.24	c 1319s |      27 | 15397574 | 11444233 |     1886  15182 |        0 |        0
1320.78/1321.25	c 1321s |      27 | 15420367 | 11461733 |     1886  15199 |        0 |        0
1322.78/1323.26	c 1323s |      27 | 15442605 | 11478833 |     1886  15216 |        0 |        0
1324.78/1325.27	c 1325s |      27 | 15464130 | 11495433 |     1886  15232 |        0 |        0
1326.78/1327.28	c 1327s |      27 | 15484416 | 11511433 |     1886  15248 |        0 |        0
1328.78/1329.28	c 1329s |      27 | 15505021 | 11527633 |     1886  15264 |        0 |        0
1330.77/1331.29	c 1331s |      27 | 15525495 | 11543633 |     1886  15280 |        0 |        0
1332.87/1333.30	c 1333s |      27 | 15544505 | 11558633 |     1886  15295 |        0 |        0
1334.87/1335.30	c 1335s |      27 | 15566188 | 11574633 |     1886  15310 |        0 |        0
1336.87/1337.31	c 1337s |      27 | 15587037 | 11590733 |     1886  15326 |        0 |        0
1338.87/1339.32	c 1339s |      27 | 15606296 | 11606133 |     1886  15341 |        0 |        0
1340.88/1341.33	c 1341s |      27 | 15623837 | 11620133 |     1886  15355 |        0 |        0
1342.87/1343.33	c 1343s |      27 | 15642613 | 11634833 |     1886  15369 |        0 |        0
1344.87/1345.34	c 1345s |      27 | 15662368 | 11650233 |     1886  15384 |        0 |        0
1346.87/1347.35	c 1347s |      27 | 15681867 | 11665633 |     1886  15399 |        0 |        0
1348.87/1349.36	c 1349s |      27 | 15701326 | 11680533 |     1886  15414 |        0 |        0
1350.87/1351.37	c 1351s |      27 | 15718763 | 11694533 |     1886  15428 |        0 |        0
1352.88/1353.38	c 1353s |      27 | 15738551 | 11709733 |     1886  15443 |        0 |        0
1354.87/1355.38	c 1355s |      27 | 15757354 | 11724233 |     1886  15457 |        0 |        0
1356.87/1357.38	c 1357s |      27 | 15774111 | 11737933 |     1886  15470 |        0 |        0
1358.86/1359.39	c 1359s |      27 | 15790893 | 11751633 |     1886  15484 |        0 |        0
1360.86/1361.39	c 1361s |      27 | 15807407 | 11765333 |     1886  15497 |        0 |        0
1362.96/1363.40	c 1363s |      27 | 15826560 | 11780833 |     1886  15513 |        0 |        0
1364.97/1365.40	c 1365s |      27 | 15846282 | 11796633 |     1886  15528 |        0 |        0
1366.96/1367.41	c 1367s |      27 | 15864067 | 11811333 |     1886  15543 |        0 |        0
1368.96/1369.42	c 1369s |      27 | 15882719 | 11826633 |     1886  15558 |        0 |        0
1370.96/1371.43	c 1371s |      27 | 15901668 | 11842033 |     1886  15573 |        0 |        0
1372.96/1373.43	c 1373s |      27 | 15922037 | 11858033 |     1886  15589 |        0 |        0
1374.97/1375.44	c 1375s |      27 | 15943466 | 11874633 |     1886  15605 |        0 |        0
1376.96/1377.45	c 1377s |      27 | 15964121 | 11890633 |     1886  15621 |        0 |        0
1378.96/1379.46	c 1379s |      27 | 15984265 | 11906233 |     1886  15637 |        0 |        0
1380.96/1381.46	c 1381s |      27 | 16003553 | 11921433 |     1886  15652 |        0 |        0
1382.96/1383.46	c 1383s |      27 | 16023193 | 11937233 |     1886  15667 |        0 |        0
1384.96/1385.47	c 1385s |      27 | 16045598 | 11954233 |     1886  15684 |        0 |        0
1386.97/1387.47	c 1387s |      27 | 16068234 | 11971533 |     1886  15701 |        0 |        0
1388.96/1389.47	c 1389s |      27 | 16089357 | 11987833 |     1886  15717 |        0 |        0
1390.96/1391.49	c 1391s |      27 | 16110605 | 12004233 |     1886  15734 |        0 |        0
1392.96/1393.49	c 1393s |      27 | 16131570 | 12020233 |     1886  15749 |        0 |        0
1394.96/1395.49	c 1395s |      27 | 16151805 | 12036133 |     1886  15765 |        0 |        0
1397.05/1397.50	c 1397s |      27 | 16172435 | 12052333 |     1886  15781 |        0 |        0
1399.06/1399.51	c 1399s |      27 | 16194041 | 12069133 |     1886  15798 |        0 |        0
1401.05/1401.51	c 1401s |      27 | 16214565 | 12085033 |     1886  15814 |        0 |        0
1403.05/1403.52	c 1403s |      27 | 16234698 | 12100233 |     1886  15829 |        0 |        0
1405.05/1405.53	c 1405s |      27 | 16255986 | 12116933 |     1886  15845 |        0 |        0
1407.05/1407.53	c 1407s |      27 | 16277009 | 12133333 |     1886  15862 |        0 |        0
1409.06/1409.54	c 1409s |      27 | 16296988 | 12149233 |     1886  15878 |        0 |        0
1411.05/1411.55	c 1411s |      27 | 16319764 | 12166433 |     1886  15896 |        0 |        0
1413.05/1413.55	c 1413s |      27 | 16341146 | 12182433 |     1886  15912 |        0 |        0
1415.05/1415.57	c 1415s |      27 | 16361565 | 12198133 |     1886  15928 |        0 |        0
1417.05/1417.57	c 1417s |      27 | 16383950 | 12214833 |     1886  15945 |        0 |        0
1419.06/1419.58	c 1419s |      27 | 16407322 | 12232233 |     1886  15963 |        0 |        0
1421.06/1421.59	c 1421s |      27 | 16429748 | 12248933 |     1886  15980 |        0 |        0
1423.05/1423.59	c 1423s |      27 | 16450503 | 12265233 |     1886  15997 |        0 |        0
1425.05/1425.59	c 1425s |      27 | 16473886 | 12282833 |     1886  16015 |        0 |        0
1427.15/1427.60	c 1427s |      27 | 16497681 | 12300533 |     1886  16033 |        0 |        0
1429.15/1429.60	c 1429s |      27 | 16521506 | 12318333 |     1886  16051 |        0 |        0
1431.15/1431.61	c 1431s |      27 | 16545157 | 12335933 |     1886  16069 |        0 |        0
1433.16/1433.61	c 1433s |      27 | 16567933 | 12352833 |     1886  16086 |        0 |        0
1435.15/1435.61	c 1435s |      27 | 16588519 | 12368833 |     1886  16102 |        0 |        0
1437.15/1437.63	c 1437s |      27 | 16610984 | 12385933 |     1886  16119 |        0 |        0
1439.15/1439.63	c 1439s |      27 | 16633118 | 12402833 |     1886  16137 |        0 |        0
1441.15/1441.64	c 1441s |      27 | 16654232 | 12419133 |     1886  16153 |        0 |        0
1443.15/1443.64	c 1443s |      27 | 16676756 | 12435833 |     1886  16170 |        0 |        0
1445.15/1445.65	c 1445s |      27 | 16698855 | 12452333 |     1886  16187 |        0 |        0
1447.15/1447.66	c 1447s |      27 | 16719858 | 12468633 |     1886  16204 |        0 |        0
1449.14/1449.67	c 1449s |      27 | 16739875 | 12484233 |     1886  16219 |        0 |        0
1451.14/1451.68	c 1451s |      27 | 16760878 | 12500333 |     1886  16236 |        0 |        0
1453.14/1453.68	c 1453s |      27 | 16781219 | 12516133 |     1886  16252 |        0 |        0
1455.15/1455.68	c 1455s |      27 | 16802501 | 12532633 |     1886  16269 |        0 |        0
1457.14/1457.68	c 1457s |      27 | 16822304 | 12549033 |     1886  16285 |        0 |        0
1459.15/1459.69	c 1459s |      27 | 16843006 | 12565033 |     1886  16301 |        0 |        0
1461.25/1461.70	c 1461s |      27 | 16864329 | 12581133 |     1886  16318 |        0 |        0
1463.25/1463.70	c 1463s |      27 | 16886838 | 12598333 |     1886  16335 |        0 |        0
1465.25/1465.70	c 1465s |      27 | 16910639 | 12616233 |     1886  16353 |        0 |        0
1467.26/1467.71	c 1467s |      27 | 16931430 | 12632733 |     1886  16370 |        0 |        0
1469.25/1469.72	c 1469s |      27 | 16952838 | 12649333 |     1886  16387 |        0 |        0
1471.25/1471.73	c 1471s |      27 | 16974306 | 12665833 |     1886  16404 |        0 |        0
1473.25/1473.73	c 1473s |      27 | 16995317 | 12682233 |     1886  16421 |        0 |        0
1475.25/1475.74	c 1475s |      27 | 17017936 | 12699233 |     1886  16438 |        0 |        0
1477.25/1477.74	c 1477s |      27 | 17039199 | 12715833 |     1886  16455 |        0 |        0
1479.24/1479.75	c 1479s |      27 | 17060975 | 12732433 |     1886  16472 |        0 |        0
1481.24/1481.75	c 1481s |      27 | 17082840 | 12748833 |     1886  16489 |        0 |        0
1483.24/1483.76	c 1483s |      27 | 17104794 | 12765633 |     1886  16506 |        0 |        0
1485.24/1485.77	c 1485s |      27 | 17126481 | 12782433 |     1886  16523 |        0 |        0
1487.24/1487.78	c 1487s |      27 | 17150500 | 12800333 |     1886  16541 |        0 |        0
1489.25/1489.78	c 1489s |      27 | 17173079 | 12817833 |     1886  16559 |        0 |        0
1491.24/1491.79	c 1491s |      27 | 17195855 | 12835233 |     1886  16577 |        0 |        0
1493.34/1493.80	c 1493s |      27 | 17219954 | 12853233 |     1886  16595 |        0 |        0
1495.34/1495.81	c 1495s |      27 | 17241496 | 12870133 |     1886  16612 |        0 |        0
1497.34/1497.81	c 1497s |      27 | 17263524 | 12886833 |     1886  16629 |        0 |        0
1499.35/1499.82	c 1499s |      27 | 17286586 | 12904433 |     1886  16647 |        0 |        0
1501.35/1501.84	c 1501s |      27 | 17307585 | 12921133 |     1886  16664 |        0 |        0
1503.34/1503.84	c 1503s |      27 | 17329955 | 12937933 |     1886  16681 |        0 |        0
1505.34/1505.84	c 1505s |      27 | 17347695 | 12953033 |     1886  16697 |        0 |        0
1507.34/1507.85	c 1507s |      27 | 17368392 | 12968933 |     1886  16713 |        0 |        0
1509.34/1509.85	c 1509s |      27 | 17389946 | 12985133 |     1886  16730 |        0 |        0
1511.35/1511.86	c 1511s |      27 | 17411240 | 13001533 |     1886  16746 |        0 |        0
1513.34/1513.87	c 1513s |      27 | 17431903 | 13017333 |     1886  16762 |        0 |        0
1515.34/1515.88	c 1515s |      27 | 17452658 | 13033033 |     1886  16778 |        0 |        0
1517.34/1517.89	c 1517s |      27 | 17474345 | 13049133 |     1886  16795 |        0 |        0
1519.44/1519.90	c 1519s |      27 | 17496109 | 13065733 |     1886  16812 |        0 |        0
1521.43/1521.90	c 1521s |      27 | 17517473 | 13082533 |     1886  16829 |        0 |        0
1523.44/1523.91	c 1523s |      27 | 17541883 | 13100833 |     1886  16847 |        0 |        0
1525.43/1525.93	c 1525s |      27 | 17564259 | 13117733 |     1886  16865 |        0 |        0
1527.43/1527.94	c 1527s |      27 | 17587786 | 13135033 |     1886  16882 |        0 |        0
1529.43/1529.94	c 1529s |      27 | 17612145 | 13153033 |     1886  16901 |        0 |        0
1531.43/1531.95	c 1531s |      27 | 17636197 | 13171133 |     1886  16919 |        0 |        0
1533.43/1533.95	c 1533s |      27 | 17659674 | 13188933 |     1886  16937 |        0 |        0
1535.44/1535.95	c 1535s |      27 | 17679207 | 13204733 |     1886  16954 |        0 |        0
1537.43/1537.96	c 1537s |      27 | 17701499 | 13221933 |     1886  16971 |        0 |        0
1539.43/1539.96	c 1539s |      27 | 17723539 | 13238633 |     1886  16988 |        0 |        0
1541.43/1541.96	c 1541s |      27 | 17746697 | 13256233 |     1886  17006 |        0 |        0
1543.43/1543.97	c 1543s |      27 | 17770622 | 13274033 |     1886  17024 |        0 |        0
1545.44/1545.98	c 1545s |      27 | 17796064 | 13292533 |     1886  17043 |        0 |        0
1547.44/1547.99	c 1547s |      27 | 17819704 | 13310733 |     1886  17062 |        0 |        0
1549.44/1549.99	c 1549s |      27 | 17843148 | 13328833 |     1886  17080 |        0 |        0
1551.44/1551.99	c 1551s |      27 | 17865208 | 13345633 |     1886  17097 |        0 |        0
1553.53/1554.00	c 1553s |      27 | 17888073 | 13363233 |     1886  17115 |        0 |        0
1555.53/1556.00	c 1555s |      27 | 17908909 | 13379233 |     1886  17131 |        0 |        0
1557.54/1558.01	c 1557s |      27 | 17932646 | 13397033 |     1886  17149 |        0 |        0
1559.53/1560.02	c 1560s |      27 | 17955102 | 13414233 |     1886  17167 |        0 |        0
1561.53/1562.03	c 1562s |      27 | 17977924 | 13431433 |     1886  17185 |        0 |        0
1563.53/1564.03	c 1564s |      27 | 17997607 | 13446733 |     1886  17200 |        0 |        0
1565.53/1566.04	c 1566s |      27 | 18018637 | 13462233 |     1886  17216 |        0 |        0
1567.53/1568.05	c 1568s |      27 | 18041715 | 13479733 |     1886  17234 |        0 |        0
1569.54/1570.06	c 1570s |      27 | 18063513 | 13496333 |     1886  17251 |        0 |        0
1571.53/1572.06	c 1572s |      27 | 18086304 | 13513633 |     1886  17269 |        0 |        0
1573.53/1574.07	c 1574s |      27 | 18108383 | 13530533 |     1886  17286 |        0 |        0
1575.53/1576.07	c 1576s |      27 | 18132706 | 13548833 |     1886  17305 |        0 |        0
1577.53/1578.08	c 1578s |      27 | 18155345 | 13565933 |     1886  17322 |        0 |        0
1579.54/1580.08	c 1580s |      27 | 18177704 | 13582733 |     1886  17339 |        0 |        0
1581.53/1582.09	c 1582s |      27 | 18200993 | 13600133 |     1886  17357 |        0 |        0
1583.53/1584.09	c 1584s |      27 | 18223859 | 13617533 |     1886  17375 |        0 |        0
1585.63/1586.10	c 1586s |      27 | 18246879 | 13635133 |     1886  17393 |        0 |        0
1587.63/1588.10	c 1588s |      27 | 18267294 | 13650533 |     1886  17409 |        0 |        0
1589.63/1590.11	c 1590s |      27 | 18289167 | 13667433 |     1886  17426 |        0 |        0
1591.64/1592.12	c 1592s |      27 | 18311185 | 13684233 |     1886  17443 |        0 |        0
1593.63/1594.14	c 1594s |      27 | 18334825 | 13702133 |     1886  17461 |        0 |        0
1595.63/1596.14	c 1596s |      27 | 18357173 | 13719433 |     1886  17479 |        0 |        0
1597.63/1598.14	c 1598s |      27 | 18381896 | 13737733 |     1886  17498 |        0 |        0
1599.63/1600.15	c 1600s |      27 | 18403745 | 13754833 |     1886  17515 |        0 |        0
1601.63/1602.16	c 1602s |      27 | 18424854 | 13771033 |     1886  17532 |        0 |        0
1603.63/1604.17	c 1604s |      27 | 18446734 | 13787533 |     1886  17548 |        0 |        0
1605.63/1606.17	c 1606s |      27 | 18467983 | 13804033 |     1886  17565 |        0 |        0
1607.63/1608.18	c 1608s |      27 | 18488084 | 13819833 |     1886  17582 |        0 |        0
1609.62/1610.18	c 1610s |      27 | 18508582 | 13835933 |     1886  17598 |        0 |        0
1611.62/1612.18	c 1612s |      27 | 18529775 | 13852333 |     1886  17615 |        0 |        0
1613.72/1614.20	c 1614s |      27 | 18552691 | 13869633 |     1886  17632 |        0 |        0
1615.62/1616.20	c 1616s |      27 | 18575274 | 13886733 |     1886  17650 |        0 |        0
1617.72/1618.21	c 1618s |      27 | 18596888 | 13903633 |     1886  17667 |        0 |        0
1619.72/1620.22	c 1620s |      27 | 18621410 | 13922033 |     1886  17686 |        0 |        0
1621.72/1622.22	c 1622s |      27 | 18644522 | 13939733 |     1886  17704 |        0 |        0
1623.72/1624.23	c 1624s |      27 | 18666335 | 13956633 |     1886  17722 |        0 |        0
1625.73/1626.23	c 1626s |      27 | 18691473 | 13974933 |     1886  17740 |        0 |        0
1627.72/1628.23	c 1628s |      27 | 18715306 | 13992333 |     1886  17758 |        0 |        0
1629.72/1630.23	c 1630s |      27 | 18739155 | 14010233 |     1886  17776 |        0 |        0
1631.72/1632.24	c 1632s |      27 | 18762693 | 14027733 |     1886  17794 |        0 |        0
1633.72/1634.25	c 1634s |      27 | 18786183 | 14045133 |     1886  17812 |        0 |        0
1635.72/1636.25	c 1636s |      27 | 18808400 | 14062333 |     1886  17830 |        0 |        0
1637.72/1638.25	c 1638s |      27 | 18829645 | 14079333 |     1886  17847 |        0 |        0
1639.72/1640.25	c 1640s |      27 | 18851939 | 14096733 |     1886  17865 |        0 |        0
1641.72/1642.26	c 1642s |      27 | 18875285 | 14114533 |     1886  17883 |        0 |        0
1643.72/1644.27	c 1644s |      27 | 18897608 | 14130833 |     1886  17900 |        0 |        0
1645.72/1646.28	c 1646s |      27 | 18921703 | 14148533 |     1886  17918 |        0 |        0
1647.73/1648.28	c 1648s |      27 | 18945336 | 14166233 |     1886  17936 |        0 |        0
1649.72/1650.29	c 1650s |      27 | 18967359 | 14183133 |     1886  17953 |        0 |        0
1651.82/1652.30	c 1652s |      27 | 18990701 | 14200533 |     1886  17971 |        0 |        0
1653.82/1654.30	c 1654s |      27 | 19010390 | 14215333 |     1886  17986 |        0 |        0
1655.82/1656.31	c 1656s |      27 | 19031371 | 14231333 |     1886  18002 |        0 |        0
1657.82/1658.31	c 1658s |      27 | 19052610 | 14247833 |     1886  18019 |        0 |        0
1659.82/1660.32	c 1660s |      27 | 19074459 | 14264633 |     1886  18036 |        0 |        0
1661.82/1662.33	c 1662s |      27 | 19095326 | 14280833 |     1886  18053 |        0 |        0
1663.82/1664.34	c 1664s |      27 | 19117102 | 14297633 |     1886  18070 |        0 |        0
1665.82/1666.35	c 1666s |      27 | 19140565 | 14315033 |     1886  18088 |        0 |        0
1667.82/1668.35	c 1668s |      27 | 19163214 | 14332233 |     1886  18105 |        0 |        0
1669.82/1670.35	c 1670s |      27 | 19184773 | 14348433 |     1886  18122 |        0 |        0
1671.82/1672.35	c 1672s |      27 | 19207111 | 14364933 |     1886  18139 |        0 |        0
1673.81/1674.36	c 1674s |      27 | 19228230 | 14381233 |     1886  18155 |        0 |        0
1675.81/1676.36	c 1676s |      27 | 19247891 | 14396533 |     1886  18171 |        0 |        0
1677.81/1678.36	c 1678s |      27 | 19269051 | 14412533 |     1886  18187 |        0 |        0
1679.81/1680.37	c 1680s |      27 | 19290742 | 14429433 |     1886  18205 |        0 |        0
1681.82/1682.37	c 1682s |      27 | 19314585 | 14447433 |     1886  18223 |        0 |        0
1683.81/1684.38	c 1684s |      27 | 19336712 | 14463733 |     1886  18240 |        0 |        0
1685.81/1686.39	c 1686s |      27 | 19357894 | 14479833 |     1886  18256 |        0 |        0
1687.91/1688.40	c 1688s |      27 | 19378091 | 14495633 |     1886  18272 |        0 |        0
1689.91/1690.40	c 1690s |      27 | 19399924 | 14512233 |     1886  18289 |        0 |        0
1691.91/1692.41	c 1692s |      27 | 19422360 | 14529333 |     1886  18307 |        0 |        0
1693.92/1694.41	c 1694s |      27 | 19443612 | 14545633 |     1886  18324 |        0 |        0
1695.92/1696.41	c 1696s |      27 | 19465099 | 14562233 |     1886  18341 |        0 |        0
1697.92/1698.42	c 1698s |      27 | 19489099 | 14580033 |     1886  18359 |        0 |        0
1699.92/1700.43	c 1700s |      27 | 19512132 | 14597333 |     1886  18376 |        0 |        0
1701.91/1702.44	c 1702s |      27 | 19534771 | 14614433 |     1886  18394 |        0 |        0
1703.91/1704.45	c 1704s |      27 | 19555936 | 14630433 |     1886  18410 |        0 |        0
1705.92/1706.45	c 1706s |      27 | 19579236 | 14647433 |     1886  18428 |        0 |        0
1707.91/1708.46	c 1708s |      27 | 19602152 | 14664533 |     1886  18445 |        0 |        0
1709.91/1710.47	c 1710s |      27 | 19625650 | 14681933 |     1886  18463 |        0 |        0
1711.91/1712.47	c 1712s |      27 | 19647903 | 14698533 |     1886  18480 |        0 |        0
1713.91/1714.49	c 1714s |      27 | 19667655 | 14713833 |     1886  18496 |        0 |        0
1715.92/1716.49	c 1716s |      27 | 19686867 | 14729333 |     1886  18511 |        0 |        0
1717.91/1718.49	c 1718s |      27 | 19708137 | 14745733 |     1886  18528 |        0 |        0
1719.91/1720.49	c 1720s |      27 | 19728457 | 14761633 |     1886  18544 |        0 |        0
1722.01/1722.51	c 1722s |      27 | 19751512 | 14778833 |     1886  18562 |        0 |        0
1724.01/1724.52	c 1724s |      27 | 19772984 | 14795333 |     1886  18579 |        0 |        0
1726.01/1726.53	c 1726s |      27 | 19794014 | 14811733 |     1886  18596 |        0 |        0
1728.01/1728.53	c 1728s |      27 | 19814260 | 14827533 |     1886  18612 |        0 |        0
1730.01/1730.54	c 1730s |      27 | 19835890 | 14843433 |     1886  18628 |        0 |        0
1732.00/1732.54	c 1732s |      27 | 19859716 | 14861133 |     1886  18646 |        0 |        0
1734.00/1734.55	c 1734s |      27 | 19881605 | 14877733 |     1886  18663 |        0 |        0
1736.00/1736.55	c 1736s |      27 | 19903400 | 14894233 |     1886  18680 |        0 |        0
1738.00/1738.56	c 1738s |      27 | 19925896 | 14911133 |     1886  18697 |        0 |        0
1740.01/1740.57	c 1740s |      27 | 19948404 | 14928833 |     1886  18715 |        0 |        0
1742.00/1742.58	c 1742s |      27 | 19968624 | 14943933 |     1886  18730 |        0 |        0
1744.00/1744.59	c 1744s |      27 | 19990071 | 14959933 |     1886  18747 |        0 |        0
1746.10/1746.60	c 1746s |      27 | 20012239 | 14976533 |     1886  18764 |        0 |        0
1748.10/1748.60	c 1748s |      27 | 20032200 | 14991933 |     1886  18779 |        0 |        0
1750.10/1750.60	c 1750s |      27 | 20051506 | 15006433 |     1886  18794 |        0 |        0
1752.11/1752.61	c 1752s |      27 | 20073235 | 15022533 |     1886  18810 |        0 |        0
1754.10/1754.61	c 1754s |      27 | 20094684 | 15039333 |     1886  18827 |        0 |        0
1756.11/1756.61	c 1756s |      27 | 20117007 | 15056633 |     1886  18845 |        0 |        0
1758.11/1758.62	c 1758s |      27 | 20136960 | 15072233 |     1886  18861 |        0 |        0
1760.11/1760.62	c 1760s |      27 | 20157808 | 15088533 |     1886  18877 |        0 |        0
1762.11/1762.62	c 1762s |      27 | 20177282 | 15103933 |     1886  18893 |        0 |        0
1764.11/1764.63	c 1764s |      27 | 20197315 | 15118733 |     1886  18908 |        0 |        0
1766.10/1766.63	c 1766s |      27 | 20219173 | 15135133 |     1886  18924 |        0 |        0
1768.10/1768.63	c 1768s |      27 | 20239024 | 15149933 |     1886  18939 |        0 |        0
1770.10/1770.63	c 1770s |      27 | 20261898 | 15166833 |     1886  18957 |        0 |        0
1772.10/1772.64	c 1772s |      27 | 20283800 | 15183533 |     1886  18974 |        0 |        0
1774.11/1774.65	c 1774s |      27 | 20304587 | 15200033 |     1886  18991 |        0 |        0
1776.10/1776.65	c 1776s |      27 | 20326302 | 15216033 |     1886  19007 |        0 |        0
1778.10/1778.66	c 1778s |      27 | 20347672 | 15231833 |     1886  19023 |        0 |        0
1780.10/1780.67	c 1780s |      27 | 20367505 | 15246933 |     1886  19038 |        0 |        0
1782.10/1782.67	c 1782s |      27 | 20389061 | 15263233 |     1886  19055 |        0 |        0
1784.10/1784.68	c 1784s |      27 | 20410112 | 15279433 |     1886  19071 |        0 |        0
1786.10/1786.68	c 1786s |      27 | 20431849 | 15295733 |     1886  19088 |        0 |        0
1788.10/1788.68	c 1788s |      27 | 20451186 | 15310633 |     1886  19103 |        0 |        0
1790.10/1790.69	c 1790s |      27 | 20472220 | 15326933 |     1886  19120 |        0 |        0
1792.10/1792.70	c 1792s |      27 | 20493087 | 15342933 |     1886  19136 |        0 |        0
1794.20/1794.70	c 1794s |      27 | 20515676 | 15359833 |     1886  19154 |        0 |        0
1796.20/1796.72	c 1796s |      27 | 20535585 | 15375233 |     1886  19169 |        0 |        0
1798.19/1798.72	c 1798s |      27 | 20556969 | 15391333 |     1886  19186 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.38 2.29 2.20 3/179 16188
/proc/meminfo: memFree=30125356/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=686524 CPUtime=0 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 2553 0 0 0 0 0 0 0 20 0 4 0 12042123 703000576 3425 33554432000 4194304 16246674 140737414576544 140737414575968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 172399 3433 441 2943 0 169293 0
[pid=16188/tid=16189] ppid=16185 vsize=703932 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 720826368 3493 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 726069248 3511 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 729214976 3525 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.38 2.29 2.20 3/179 16188
/proc/meminfo: memFree=30125356/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 24336 0 0 0 5 4 0 0 20 0 4 0 12042123 1247350784 25197 33554432000 4194304 16246674 140737414576544 140737414575968 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 304529 25207 707 2943 0 301423 0
[pid=16188/tid=16189] ppid=16185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1247350784 25214 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1247350784 25220 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1247350784 25226 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200494 s]
/proc/loadavg: 2.38 2.29 2.20 3/179 16188
/proc/meminfo: memFree=30125356/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 46439 0 0 0 12 7 0 0 20 0 4 0 12042123 1247350784 47300 33554432000 4194304 16246674 140737414576544 140737414575968 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 304529 47307 707 2943 0 301423 0
[pid=16188/tid=16189] ppid=16185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1247350784 47315 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1247350784 47320 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1247350784 47327 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300465 s]
/proc/loadavg: 2.38 2.29 2.20 3/179 16188
/proc/meminfo: memFree=30125356/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1218116 CPUtime=0.3 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 68785 0 0 0 19 11 0 0 20 0 4 0 12042123 1247350784 69647 33554432000 4194304 16246674 140737414576544 140737414575968 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 304529 69656 707 2943 0 301423 0
[pid=16188/tid=16189] ppid=16185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1247350784 69661 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1247350784 69668 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1247350784 69676 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1218116

[startup+0.700395 s]
/proc/loadavg: 2.38 2.29 2.20 3/179 16188
/proc/meminfo: memFree=30125356/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 157112 0 0 0 45 24 0 0 20 0 4 0 12042123 1247350784 157973 33554432000 4194304 16246674 140737414576544 140737414559544 5676613 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 304529 157983 708 2943 0 301423 0
[pid=16188/tid=16189] ppid=16185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1247350784 157989 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1247350784 157996 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1247350784 158004 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.38 2.29 2.20 3/183 16192
/proc/meminfo: memFree=28247728/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 245650 0 0 0 111 38 0 0 20 0 4 0 12042123 1248399360 246491 33554432000 4194304 16246674 140737414576544 140737414559544 5662871 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 304785 246491 782 2943 0 301679 0
[pid=16188/tid=16189] ppid=16185 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1248399360 246491 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1248399360 246491 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1248399360 246491 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.38 2.29 2.20 3/183 16192
/proc/meminfo: memFree=28060644/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1306180 CPUtime=3.1 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 267468 0 0 0 269 41 0 0 20 0 4 0 12042123 1337528320 268309 33554432000 4194304 16246674 140737414576544 140737414558464 5721984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 326545 268309 782 2943 0 323439 0
[pid=16188/tid=16189] ppid=16185 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1337528320 268309 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1337528320 268309 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1337528320 268309 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 1306180

[startup+6.30039 s]
/proc/loadavg: 2.43 2.30 2.21 3/183 16192
/proc/meminfo: memFree=28058784/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 267523 0 0 0 588 41 0 0 20 0 4 0 12042123 1337528320 268364 33554432000 4194304 16246674 140737414576544 140737414559544 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 326545 268364 783 2943 0 323439 0
[pid=16188/tid=16189] ppid=16185 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1337528320 268364 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1337528320 268364 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1337528320 268364 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.39 2.29 2.21 3/183 16192
/proc/meminfo: memFree=28058932/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 267582 0 0 0 1228 41 0 0 20 0 4 0 12042123 1338576896 268423 33554432000 4194304 16246674 140737414576544 140737414559544 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 326801 268423 784 2943 0 323695 0
[pid=16188/tid=16189] ppid=16185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1338576896 268423 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1338576896 268423 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1338576896 268423 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5004 s]
/proc/loadavg: 2.38 2.29 2.21 3/183 16192
/proc/meminfo: memFree=28060864/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 267582 0 0 0 2507 41 0 0 20 0 4 0 12042123 1338576896 268423 33554432000 4194304 16246674 140737414576544 140737414559544 6011892 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 326801 268423 784 2943 0 323695 0
[pid=16188/tid=16189] ppid=16185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1338576896 268423 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1338576896 268423 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1338576896 268423 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1004 s]
/proc/loadavg: 2.31 2.29 2.21 3/184 16195
/proc/meminfo: memFree=28059204/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 267751 0 0 0 5066 42 0 0 20 0 4 0 12042123 1338576896 268592 33554432000 4194304 16246674 140737414576544 140737414558464 6012096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 326801 268592 786 2943 0 323695 0
[pid=16188/tid=16189] ppid=16185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1338576896 268592 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1338576896 268592 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1338576896 268592 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.24 2.27 2.20 3/184 16196
/proc/meminfo: memFree=28058880/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1308228 CPUtime=102.27 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 267851 0 0 0 10184 43 0 0 20 0 4 0 12042123 1339625472 268692 33554432000 4194304 16246674 140737414576544 140737414558464 13818240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 327057 268692 786 2943 0 323951 0
[pid=16188/tid=16189] ppid=16185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1339625472 268692 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1339625472 268692 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1339625472 268692 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1308228


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

/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.22 2.17 2.17 3/183 16251
/proc/meminfo: memFree=28051620/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1310276 CPUtime=1361.86 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 269037 0 0 0 136121 65 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 140737414558464 5545919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 327569 269434 788 2943 0 324463 0
[pid=16188/tid=16189] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.18 2.17 2.17 3/183 16252
/proc/meminfo: memFree=28051612/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1310276 CPUtime=1421.85 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 269037 0 0 0 142119 66 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 140737414559544 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 327569 269434 788 2943 0 324463 0
[pid=16188/tid=16189] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.21 2.18 2.18 3/183 16253
/proc/meminfo: memFree=28051480/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1310276 CPUtime=1481.84 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 269037 0 0 0 148117 67 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 140737414558464 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 327569 269434 788 2943 0 324463 0
[pid=16188/tid=16189] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1310276

[startup+1542.3 s]
/proc/loadavg: 2.13 2.16 2.17 3/183 16254
/proc/meminfo: memFree=28051468/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1310276 CPUtime=1541.83 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 269037 0 0 0 154115 68 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 140737414559544 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 327569 269434 788 2943 0 324463 0
[pid=16188/tid=16189] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.15 2.16 2.17 3/183 16255
/proc/meminfo: memFree=28051488/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1310276 CPUtime=1601.83 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 269037 0 0 0 160113 70 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 140737414559544 6011839 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 327569 269434 788 2943 0 324463 0
[pid=16188/tid=16189] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.27 2.19 2.18 3/182 16256
/proc/meminfo: memFree=28051252/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1310276 CPUtime=1661.82 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 269037 0 0 0 166111 71 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 140737414559544 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 327569 269434 788 2943 0 324463 0
[pid=16188/tid=16189] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.39 2.23 2.19 3/183 16258
/proc/meminfo: memFree=28051124/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1310276 CPUtime=1721.81 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 269037 0 0 0 172109 72 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 140737414559544 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 327569 269434 788 2943 0 324463 0
[pid=16188/tid=16189] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 16259
/proc/meminfo: memFree=28051004/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1310276 CPUtime=1781.81 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 269037 0 0 0 178108 73 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 140737414559544 6010073 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 327569 269434 788 2943 0 324463 0
[pid=16188/tid=16189] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.33 2.25 2.20 3/183 16259
/proc/meminfo: memFree=28051004/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1310276 CPUtime=1800.09 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 269037 0 0 0 179936 73 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 140737414559544 5822492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 327569 269434 788 2943 0 324463 0
[pid=16188/tid=16189] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1310276

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

[startup+1800.6 s]
/proc/loadavg: 2.33 2.25 2.20 3/183 16259
/proc/meminfo: memFree=28051004/32872528 swapFree=17100/1797424
[pid=16188] ppid=16185 vsize=1310276 CPUtime=1800.09 cores=0,2,4,6
/proc/16188/stat : 16188 (toysat) R 16185 16188 15996 0 -1 4202496 269037 0 0 0 179936 73 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 140737414559544 5822492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16188/statm: 327569 269434 788 2943 0 324463 0
[pid=16188/tid=16189] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16189/stat : 16189 (toysat) S 16185 16188 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993282489584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16188/tid=16190] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16190/stat : 16190 (toysat) S 16185 16188 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993271999728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16188/tid=16191] ppid=16185 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16188/task/16191/stat : 16191 (toysat) S 16185 16188 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042123 1341722624 269434 33554432000 4194304 16246674 140737414576544 139993183939760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1310276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.37
CPU system time (s): 0.735888
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.735888
maximum resident set size= 1077736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269037
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= 461
involuntary context switches= 2846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66829 second user time and 6.86296 second system time

The end

Begin job on node123 at 2016-06-16 19:59:10
IDJOB=4095952
IDBENCH=107545
IDSOLVER=2542
FILE ID=node123/4095952-1466099950
RUNJOBID= node123-1466098149-16012
PBS_JOBID= 19904045
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-70.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095952-1466099950/watcher-4095952-1466099950 -o /tmp/evaluation-result-4095952-1466099950/solver-4095952-1466099950 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466098149-16012 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095952-1466099950.opb

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

MD5SUM BENCH= 81759c64f3cd5262cf5092ac9ecdc7a3
RANDOM SEED=1625957464

node123.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.791
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.58
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.791
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.791
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.56
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.791
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.57
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.791
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.56
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.791
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.791
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.56
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.791
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:        30141880 kB
Buffers:           39152 kB
Cached:           121292 kB
SwapCached:         2184 kB
Active:           151904 kB
Inactive:          73768 kB
Active(anon):      66072 kB
Inactive(anon):     1392 kB
Active(file):      85832 kB
Inactive(file):    72376 kB
Unevictable:     1797424 kB
Mlocked:           17100 kB
SwapTotal:      67108856 kB
SwapFree:       67099016 kB
Dirty:             32648 kB
Writeback:             0 kB
AnonPages:       1932968 kB
Mapped:             9792 kB
Shmem:                 0 kB
Slab:             568760 kB
SReclaimable:      13152 kB
SUnreclaim:       555608 kB
KernelStack:        1472 kB
PageTables:         9680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2925852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1859584 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= 71604 MiB
End job on node123 at 2016-06-16 20:29:11