0.00/0.00	c 2016-06-15T19:31:49+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4088658-1466011909.opb"]
0.00/0.01	c use --random-gen="1285108690 839446134 4244615302 1734714845 4190587903 3452254520 2699725788 3933399973 1720048380 805099614 3281162642 4214248433 4149673605 1768012803 2352409735 3553974434 2062909895 856998695 3562427216 743688347 4059014007 2521261232 2567432797 1005178687 71818587 4104839417 1316990207 2286098611 3751396720 548171660 3597960776 4004802576 3035455682 1227623222 1451502609 1391607281 1255601967 607435688 4091548718 4194417193 1321969688 3083871316 3788544160 2901109223 3852787810 1797757949 554710609 2309650297 640204786 2416572412 61368595 646966441 2868848656 460966000 2990686634 3072400715 1894966935 3142208773 3845331485 2611137926 994159876 3125872330 2011549138 2929723997 2141121612 2941470046 1611174441 2859006721 988905688 4282156335 3285290701 1387361161 1509021348 1634816047 613419574 1629634132 146678429 1227428317 650479652 3789067579 796728966 3925463076 879706412 4198077760 778902201 4210175450 2916643310 83458071 3909016616 245985145 5633867 2804531593 3349848290 1237314227 3528768459 2692409135 2762421838 2575082853 1187609808 4242228865 1990010660 1540275111 805277912 1072545020 1307706022 1249942111 3102319010 2564764642 2591094769 2394721457 3556019580 1228300167 4154262514 735715881 139838617 4181172516 502910341 1020737521 3147925298 3817352279 2097706082 180122645 3702896572 2300569229 3464839880 1343053829 3568889032 3022957508 3608853665 2330682376 1790643458 3019556383 3975519486 1294355644 2145077670 2632542101 538411026 3802985390 543404017 2443131373 3368714646 1453238430 1336138301 2225382098 3423677618 3301144593 336730837 2053266723 2973362285 1346504740 3878070413 976682717 1253532356 2569757371 2135830067 1671774924 1435818755 2497622963 303965605 3771604487 17981569 1571232374 1339719265 1004642043 505860592 3091638125 1637870462 950257997 3547133415 3788164502 1392514397 1722899503 1224006460 739327256 2126747232 4214514997 663878608 249973925 614400040 249895889 3838199948 2974791299 2791040702 1208921370 1158556170 1542517541 249533667 1046091093 1421386515 2680156223 898996467 2569191619 2176554534 827782292 914622881 1400734676 302307249 246365582 1027033936 129471375 1140770990 1790528903 2225382487 4238992598 2085875751 4184235795 1003638846 1399572216 2357424711 2158540905 1743393806 2243329966 1357314391 4062225715 3556786188 3307040422 2234174315 2210065242 3103039525 1921433417 2275753579 3354719890 882408206 2783110691 2631364284 4204254245 2011202710 3443412637 2720236980 1876357126 2948843440 1834716037 811446513 399369132 3567170514 2748805437 2906965038 890438722 2280269513 1914408400 4134293780 331880093 1241844534 3282733440 1620604791 1222731413 2040281895 1109858314 1692766475 2333157611 38212194 791949409 263847830 4191647859 3409401365 4236883463 255 362436" option to reproduce the execution
0.00/0.01	c #vars 201
0.00/0.01	c #constraints 101
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 |      134      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      190 |      100 |      134      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      431 |      250 |      148      0 |        0 |        0
0.00/0.05	c  0.0s |       3 |      814 |      475 |      163      2 |        0 |        0
0.00/0.07	c  0.1s |       4 |     1295 |      813 |      180      4 |        0 |        0
0.09/0.12	c  0.1s |       5 |     1964 |     1320 |      199      7 |        0 |        0
0.09/0.17	c  0.2s |       6 |     3023 |     2081 |      241     11 |        0 |        0
0.19/0.28	c  0.3s |       7 |     4730 |     3223 |      266     18 |        0 |        0
0.39/0.41	c  0.4s |       8 |     7189 |     4936 |      293     27 |        0 |        0
0.59/0.66	c  0.6s |       9 |    11123 |     7506 |      323     40 |        0 |        0
0.89/0.98	c  1.0s |      10 |    16673 |    11361 |      356     60 |        0 |        0
1.29/1.38	c  1.4s |      11 |    24136 |    17144 |      392     84 |        0 |        0
1.89/1.92	c  1.9s |      12 |    36460 |    25819 |      432    119 |        0 |        0
2.68/2.74	c  2.7s |      13 |    54323 |    38832 |      476    168 |        0 |        0
3.88/3.97	c  4.0s |      14 |    81417 |    58352 |      524    236 |        0 |        0
5.89/5.96	c  5.9s |      15 |   121633 |    87632 |      577    335 |        0 |        0
7.89/7.96	c  7.9s |      15 |   165377 |   118632 |      577    434 |        0 |        0
8.80/8.81	c  8.8s |      16 |   184354 |   131552 |      635    476 |        0 |        0
10.79/10.82	c 10.8s |      16 |   226050 |   160952 |      635    562 |        0 |        0
12.79/12.82	c 12.8s |      16 |   267232 |   189052 |      635    645 |        0 |        0
13.49/13.52	c 13.5s |      17 |   278625 |   197432 |      699    670 |        0 |        0
15.49/15.52	c 15.5s |      17 |   317660 |   225832 |      699    742 |        0 |        0
17.49/17.53	c 17.5s |      17 |   360033 |   255632 |      699    818 |        0 |        0
19.49/19.53	c 19.5s |      17 |   402067 |   284432 |      699    892 |        0 |        0
20.28/20.32	c 20.3s |      18 |   418980 |   296252 |      769    922 |        0 |        0
22.28/22.33	c 22.3s |      18 |   457714 |   324252 |      769    989 |        0 |        0
24.29/24.34	c 24.3s |      18 |   497124 |   352752 |      769   1058 |        0 |        0
26.28/26.34	c 26.3s |      18 |   536999 |   381452 |      769   1127 |        0 |        0
28.28/28.34	c 28.3s |      18 |   573692 |   408752 |      769   1194 |        0 |        0
30.28/30.34	c 30.3s |      18 |   611002 |   436752 |      769   1262 |        0 |        0
30.79/30.90	c 30.9s |      19 |   621658 |   444482 |      846   1281 |        0 |        0
32.88/32.90	c 32.9s |      19 |   657444 |   471082 |      846   1340 |        0 |        0
34.88/34.90	c 34.9s |      19 |   696336 |   498482 |      846   1402 |        0 |        0
36.88/36.90	c 36.9s |      19 |   730945 |   524082 |      846   1458 |        0 |        0
38.89/38.91	c 38.9s |      19 |   765055 |   548882 |      846   1512 |        0 |        0
40.89/40.91	c 40.9s |      19 |   800090 |   574282 |      846   1567 |        0 |        0
42.89/42.92	c 42.9s |      19 |   837371 |   601482 |      846   1626 |        0 |        0
44.88/44.92	c 44.9s |      19 |   873104 |   627682 |      846   1683 |        0 |        0
46.88/46.93	c 46.9s |      19 |   908054 |   652982 |      846   1738 |        0 |        0
47.98/48.03	c 48.0s |      20 |   926867 |   666827 |      931   1768 |        0 |        0
49.98/50.04	c 50.0s |      20 |   959148 |   691627 |      931   1818 |        0 |        0
51.98/52.05	c 52.0s |      20 |   994732 |   718227 |      931   1873 |        0 |        0
53.98/54.05	c 54.0s |      20 |  1033321 |   745627 |      931   1928 |        0 |        0
55.98/56.05	c 56.0s |      20 |  1072353 |   773727 |      931   1983 |        0 |        0
57.98/58.06	c 58.0s |      20 |  1106670 |   799527 |      931   2035 |        0 |        0
59.97/60.07	c 60.1s |      20 |  1141881 |   826027 |      931   2090 |        0 |        0
61.97/62.07	c 62.1s |      20 |  1180454 |   854027 |      931   2147 |        0 |        0
63.98/64.08	c 64.1s |      20 |  1217186 |   880927 |      931   2201 |        0 |        0
65.99/66.08	c 66.1s |      20 |  1251997 |   906127 |      931   2253 |        0 |        0
67.98/68.08	c 68.1s |      20 |  1285944 |   931327 |      931   2306 |        0 |        0
69.98/70.09	c 70.1s |      20 |  1323050 |   957627 |      931   2362 |        0 |        0
71.98/72.09	c 72.1s |      20 |  1363480 |   984727 |      931   2419 |        0 |        0
73.18/73.27	c 73.3s |      21 |  1386077 |  1000345 |     1025   2450 |        0 |        0
75.18/75.27	c 75.3s |      21 |  1418808 |  1024945 |     1025   2496 |        0 |        0
77.18/77.27	c 77.3s |      21 |  1452789 |  1049545 |     1025   2543 |        0 |        0
79.18/79.28	c 79.3s |      21 |  1484491 |  1073045 |     1025   2587 |        0 |        0
81.18/81.28	c 81.3s |      21 |  1521223 |  1099145 |     1025   2636 |        0 |        0
83.17/83.29	c 83.3s |      21 |  1558794 |  1124745 |     1025   2684 |        0 |        0
85.17/85.29	c 85.3s |      21 |  1595846 |  1149945 |     1025   2732 |        0 |        0
87.17/87.29	c 87.3s |      21 |  1628353 |  1173745 |     1025   2777 |        0 |        0
89.18/89.29	c 89.3s |      21 |  1664463 |  1198845 |     1025   2825 |        0 |        0
91.17/91.30	c 91.3s |      21 |  1702458 |  1225145 |     1025   2875 |        0 |        0
93.27/93.30	c 93.3s |      21 |  1739301 |  1250845 |     1025   2924 |        0 |        0
95.27/95.31	c 95.3s |      21 |  1781383 |  1277845 |     1025   2975 |        0 |        0
97.27/97.31	c 97.3s |      21 |  1817249 |  1303145 |     1025   3023 |        0 |        0
99.27/99.32	c 99.3s |      21 |  1854837 |  1329245 |     1025   3073 |        0 |        0
101.28/101.32	c  101s |      21 |  1893983 |  1355645 |     1025   3123 |        0 |        0
103.27/103.33	c  103s |      21 |  1930154 |  1381345 |     1025   3172 |        0 |        0
105.28/105.33	c  105s |      21 |  1971088 |  1408445 |     1025   3223 |        0 |        0
107.28/107.34	c  107s |      21 |  2009868 |  1434345 |     1025   3273 |        0 |        0
109.28/109.35	c  109s |      21 |  2053676 |  1462945 |     1025   3327 |        0 |        0
111.27/111.36	c  111s |      21 |  2092076 |  1488345 |     1025   3375 |        0 |        0
112.18/112.25	c  112s |      22 |  2112054 |  1500622 |     1128   3396 |        0 |        0
114.17/114.26	c  114s |      22 |  2147270 |  1526122 |     1128   3439 |        0 |        0
116.17/116.26	c  116s |      22 |  2178779 |  1549522 |     1128   3480 |        0 |        0
118.17/118.27	c  118s |      22 |  2214501 |  1573922 |     1128   3522 |        0 |        0
120.17/120.27	c  120s |      22 |  2246381 |  1597222 |     1128   3562 |        0 |        0
122.18/122.27	c  122s |      22 |  2280392 |  1621622 |     1128   3604 |        0 |        0
124.17/124.27	c  124s |      22 |  2315556 |  1646922 |     1128   3647 |        0 |        0
126.17/126.28	c  126s |      22 |  2352061 |  1673322 |     1128   3693 |        0 |        0
128.17/128.28	c  128s |      22 |  2385897 |  1697722 |     1128   3735 |        0 |        0
130.17/130.28	c  130s |      22 |  2419378 |  1722322 |     1128   3778 |        0 |        0
132.17/132.29	c  132s |      22 |  2455197 |  1747522 |     1128   3822 |        0 |        0
134.17/134.29	c  134s |      22 |  2493111 |  1773822 |     1128   3867 |        0 |        0
136.17/136.30	c  136s |      22 |  2534439 |  1801122 |     1128   3914 |        0 |        0
138.26/138.30	c  138s |      22 |  2573168 |  1828022 |     1128   3960 |        0 |        0
140.26/140.30	c  140s |      22 |  2605017 |  1851422 |     1128   4000 |        0 |        0
142.26/142.31	c  142s |      22 |  2640757 |  1876822 |     1128   4043 |        0 |        0
144.26/144.31	c  144s |      22 |  2678002 |  1902422 |     1128   4087 |        0 |        0
146.27/146.31	c  146s |      22 |  2712105 |  1927122 |     1128   4129 |        0 |        0
148.27/148.31	c  148s |      22 |  2749714 |  1952822 |     1128   4174 |        0 |        0
150.27/150.32	c  150s |      22 |  2792636 |  1981322 |     1128   4223 |        0 |        0
152.27/152.32	c  152s |      22 |  2837542 |  2009622 |     1128   4271 |        0 |        0
154.27/154.33	c  154s |      22 |  2880472 |  2037822 |     1128   4320 |        0 |        0
156.27/156.34	c  156s |      22 |  2922532 |  2065522 |     1128   4367 |        0 |        0
158.26/158.34	c  158s |      22 |  2966172 |  2092922 |     1128   4413 |        0 |        0
160.26/160.34	c  160s |      22 |  3009716 |  2120422 |     1128   4461 |        0 |        0
162.26/162.35	c  162s |      22 |  3049146 |  2147222 |     1128   4507 |        0 |        0
164.26/164.35	c  164s |      22 |  3086175 |  2172922 |     1128   4551 |        0 |        0
166.26/166.36	c  166s |      22 |  3125513 |  2198422 |     1128   4595 |        0 |        0
168.27/168.36	c  168s |      22 |  3167243 |  2225522 |     1128   4641 |        0 |        0
170.26/170.36	c  170s |      22 |  3203331 |  2250322 |     1241   4681 |        0 |        0
170.36/170.41	c  170s |      23 |  3204622 |  2251038 |     1241   4682 |        0 |        0
172.36/172.41	c  172s |      23 |  3237906 |  2275338 |     1241   4720 |        0 |        0
174.36/174.42	c  174s |      23 |  3270893 |  2299938 |     1241   4759 |        0 |        0
176.37/176.42	c  176s |      23 |  3303144 |  2323838 |     1241   4796 |        0 |        0
178.37/178.43	c  178s |      23 |  3336125 |  2348138 |     1241   4834 |        0 |        0
180.37/180.43	c  180s |      23 |  3370806 |  2373338 |     1241   4873 |        0 |        0
182.37/182.43	c  182s |      23 |  3404511 |  2398238 |     1241   4912 |        0 |        0
184.36/184.44	c  184s |      23 |  3436807 |  2422238 |     1241   4950 |        0 |        0
186.36/186.44	c  186s |      23 |  3473718 |  2448538 |     1241   4991 |        0 |        0
188.36/188.45	c  188s |      23 |  3511662 |  2475238 |     1241   5032 |        0 |        0
190.37/190.45	c  190s |      23 |  3547321 |  2500538 |     1241   5071 |        0 |        0
192.36/192.45	c  192s |      23 |  3582671 |  2525438 |     1241   5110 |        0 |        0
194.36/194.46	c  194s |      23 |  3614804 |  2549338 |     1241   5148 |        0 |        0
196.36/196.46	c  196s |      23 |  3653045 |  2575438 |     1241   5188 |        0 |        0
198.36/198.47	c  198s |      23 |  3688609 |  2600938 |     1241   5228 |        0 |        0
200.36/200.47	c  200s |      23 |  3720771 |  2623638 |     1241   5264 |        0 |        0
202.36/202.48	c  202s |      23 |  3757469 |  2648738 |     1241   5303 |        0 |        0
204.36/204.48	c  204s |      23 |  3794157 |  2674138 |     1241   5343 |        0 |        0
206.35/206.48	c  206s |      23 |  3828060 |  2697638 |     1241   5379 |        0 |        0
208.35/208.49	c  208s |      23 |  3860491 |  2721638 |     1241   5417 |        0 |        0
210.35/210.49	c  210s |      23 |  3896798 |  2746838 |     1241   5457 |        0 |        0
212.36/212.49	c  212s |      23 |  3930627 |  2771438 |     1241   5495 |        0 |        0
214.35/214.50	c  214s |      23 |  3964743 |  2795438 |     1241   5533 |        0 |        0
216.46/216.50	c  216s |      23 |  4002475 |  2820738 |     1241   5572 |        0 |        0
218.46/218.50	c  218s |      23 |  4038201 |  2845638 |     1241   5611 |        0 |        0
220.46/220.51	c  220s |      23 |  4073409 |  2869738 |     1241   5649 |        0 |        0
222.46/222.51	c  222s |      23 |  4110242 |  2894938 |     1241   5688 |        0 |        0
224.47/224.51	c  224s |      23 |  4146313 |  2920138 |     1241   5728 |        0 |        0
226.46/226.52	c  226s |      23 |  4185559 |  2946538 |     1241   5769 |        0 |        0
228.46/228.52	c  228s |      23 |  4220668 |  2971638 |     1241   5808 |        0 |        0
230.45/230.52	c  230s |      23 |  4255419 |  2996538 |     1241   5848 |        0 |        0
232.45/232.52	c  232s |      23 |  4294268 |  3021938 |     1241   5888 |        0 |        0
234.45/234.52	c  234s |      23 |  4333419 |  3048138 |     1241   5929 |        0 |        0
236.46/236.53	c  236s |      23 |  4374619 |  3074038 |     1241   5969 |        0 |        0
238.45/238.53	c  238s |      23 |  4414591 |  3100538 |     1241   6011 |        0 |        0
240.45/240.54	c  240s |      23 |  4450155 |  3125738 |     1241   6051 |        0 |        0
242.45/242.54	c  242s |      23 |  4482596 |  3149438 |     1241   6088 |        0 |        0
244.44/244.55	c  244s |      23 |  4513003 |  3171438 |     1241   6122 |        0 |        0
246.46/246.55	c  246s |      23 |  4547960 |  3195338 |     1241   6160 |        0 |        0
248.45/248.56	c  248s |      23 |  4584007 |  3219638 |     1241   6198 |        0 |        0
250.45/250.56	c  250s |      23 |  4619111 |  3243938 |     1241   6236 |        0 |        0
252.45/252.56	c  252s |      23 |  4655452 |  3269438 |     1241   6276 |        0 |        0
254.45/254.57	c  254s |      23 |  4688378 |  3293638 |     1241   6314 |        0 |        0
256.45/256.57	c  256s |      23 |  4720501 |  3317038 |     1241   6351 |        0 |        0
258.45/258.58	c  258s |      23 |  4755293 |  3341638 |     1241   6389 |        0 |        0
260.44/260.59	c  260s |      23 |  4789039 |  3364738 |     1366   6424 |        0 |        0
261.54/261.61	c  261s |      24 |  4806836 |  3376662 |     1366   6441 |        0 |        0
263.54/263.62	c  263s |      24 |  4840275 |  3401662 |     1366   6476 |        0 |        0
265.54/265.62	c  265s |      24 |  4869839 |  3423462 |     1366   6507 |        0 |        0
267.54/267.62	c  267s |      24 |  4896872 |  3443962 |     1366   6536 |        0 |        0
269.55/269.63	c  269s |      24 |  4929115 |  3467862 |     1366   6570 |        0 |        0
271.54/271.63	c  271s |      24 |  4962157 |  3492562 |     1366   6605 |        0 |        0
273.54/273.63	c  273s |      24 |  4996912 |  3516962 |     1366   6640 |        0 |        0
275.54/275.64	c  275s |      24 |  5030528 |  3540462 |     1366   6674 |        0 |        0
277.53/277.65	c  277s |      24 |  5066821 |  3565662 |     1366   6709 |        0 |        0
279.53/279.65	c  279s |      24 |  5102524 |  3590262 |     1366   6744 |        0 |        0
281.54/281.66	c  281s |      24 |  5140072 |  3614962 |     1366   6779 |        0 |        0
283.53/283.66	c  283s |      24 |  5175130 |  3638962 |     1366   6813 |        0 |        0
285.53/285.67	c  285s |      24 |  5211607 |  3663962 |     1366   6848 |        0 |        0
287.53/287.68	c  287s |      24 |  5245923 |  3687162 |     1366   6882 |        0 |        0
289.53/289.68	c  289s |      24 |  5276685 |  3708762 |     1366   6913 |        0 |        0
291.53/291.68	c  291s |      24 |  5311019 |  3733162 |     1366   6947 |        0 |        0
293.53/293.69	c  293s |      24 |  5349556 |  3758462 |     1366   6983 |        0 |        0
295.53/295.69	c  295s |      24 |  5386412 |  3783762 |     1366   7020 |        0 |        0
297.53/297.69	c  297s |      24 |  5419106 |  3807462 |     1366   7053 |        0 |        0
299.53/299.69	c  299s |      24 |  5452640 |  3830962 |     1366   7086 |        0 |        0
301.63/301.70	c  301s |      24 |  5485241 |  3853962 |     1366   7119 |        0 |        0
303.64/303.71	c  303s |      24 |  5521733 |  3879162 |     1366   7155 |        0 |        0
305.63/305.72	c  305s |      24 |  5552996 |  3901962 |     1366   7187 |        0 |        0
307.63/307.72	c  307s |      24 |  5586527 |  3925062 |     1366   7220 |        0 |        0
309.63/309.72	c  309s |      24 |  5618598 |  3947962 |     1366   7253 |        0 |        0
311.63/311.72	c  311s |      24 |  5652412 |  3970762 |     1366   7286 |        0 |        0
313.63/313.73	c  313s |      24 |  5685453 |  3993262 |     1366   7318 |        0 |        0
315.63/315.73	c  315s |      24 |  5713703 |  4013862 |     1366   7348 |        0 |        0
317.63/317.74	c  317s |      24 |  5747956 |  4037362 |     1366   7381 |        0 |        0
319.62/319.74	c  319s |      24 |  5777840 |  4058162 |     1366   7411 |        0 |        0
321.62/321.75	c  321s |      24 |  5812003 |  4080162 |     1366   7442 |        0 |        0
323.62/323.76	c  323s |      24 |  5848312 |  4104162 |     1366   7477 |        0 |        0
325.62/325.76	c  325s |      24 |  5887560 |  4129562 |     1366   7513 |        0 |        0
327.62/327.77	c  327s |      24 |  5926149 |  4154262 |     1366   7548 |        0 |        0
329.62/329.77	c  329s |      24 |  5969562 |  4180962 |     1366   7586 |        0 |        0
331.62/331.78	c  331s |      24 |  6007261 |  4203962 |     1366   7619 |        0 |        0
333.62/333.78	c  333s |      24 |  6045316 |  4229362 |     1366   7655 |        0 |        0
335.62/335.78	c  335s |      24 |  6077675 |  4252762 |     1366   7689 |        0 |        0
337.63/337.79	c  337s |      24 |  6112729 |  4276762 |     1366   7723 |        0 |        0
339.62/339.79	c  339s |      24 |  6145717 |  4300262 |     1366   7757 |        0 |        0
341.71/341.80	c  341s |      24 |  6178689 |  4323162 |     1366   7790 |        0 |        0
343.71/343.80	c  343s |      24 |  6214958 |  4347862 |     1366   7825 |        0 |        0
345.71/345.80	c  345s |      24 |  6254936 |  4373762 |     1366   7862 |        0 |        0
347.72/347.81	c  347s |      24 |  6301150 |  4401362 |     1366   7901 |        0 |        0
349.72/349.81	c  349s |      24 |  6344538 |  4427262 |     1366   7939 |        0 |        0
351.71/351.81	c  351s |      24 |  6388103 |  4453562 |     1366   7976 |        0 |        0
353.71/353.82	c  353s |      24 |  6430624 |  4479062 |     1366   8013 |        0 |        0
355.71/355.82	c  355s |      24 |  6468326 |  4503362 |     1366   8047 |        0 |        0
357.71/357.83	c  357s |      24 |  6507288 |  4528562 |     1366   8084 |        0 |        0
359.72/359.84	c  359s |      24 |  6545531 |  4553562 |     1366   8120 |        0 |        0
361.71/361.85	c  361s |      24 |  6578859 |  4576962 |     1366   8153 |        0 |        0
363.70/363.85	c  363s |      24 |  6611611 |  4599862 |     1366   8186 |        0 |        0
365.70/365.85	c  365s |      24 |  6643750 |  4621762 |     1366   8217 |        0 |        0
367.70/367.86	c  367s |      24 |  6680659 |  4645362 |     1366   8251 |        0 |        0
369.70/369.86	c  369s |      24 |  6716854 |  4669162 |     1366   8285 |        0 |        0
371.70/371.86	c  371s |      24 |  6749618 |  4691562 |     1366   8318 |        0 |        0
373.70/373.87	c  373s |      24 |  6780521 |  4712862 |     1366   8348 |        0 |        0
375.69/375.87	c  375s |      24 |  6816748 |  4737062 |     1366   8383 |        0 |        0
377.69/377.87	c  377s |      24 |  6853282 |  4761362 |     1366   8417 |        0 |        0
379.69/379.88	c  379s |      24 |  6888528 |  4785662 |     1366   8452 |        0 |        0
381.70/381.88	c  381s |      24 |  6920515 |  4808462 |     1366   8484 |        0 |        0
383.69/383.89	c  383s |      24 |  6951646 |  4829862 |     1366   8515 |        0 |        0
385.69/385.89	c  385s |      24 |  6987326 |  4853062 |     1366   8548 |        0 |        0
387.69/387.89	c  387s |      24 |  7023381 |  4875862 |     1366   8581 |        0 |        0
389.69/389.89	c  389s |      24 |  7057655 |  4898562 |     1366   8613 |        0 |        0
391.69/391.90	c  391s |      24 |  7095682 |  4922362 |     1366   8648 |        0 |        0
393.70/393.90	c  393s |      24 |  7133226 |  4946362 |     1366   8682 |        0 |        0
395.79/395.90	c  395s |      24 |  7167584 |  4968962 |     1366   8715 |        0 |        0
397.79/397.91	c  397s |      24 |  7205439 |  4992762 |     1366   8749 |        0 |        0
399.79/399.91	c  399s |      24 |  7245443 |  5018162 |     1366   8785 |        0 |        0
401.79/401.92	c  401s |      24 |  7284530 |  5043862 |     1503   8819 |        0 |        0
403.60/403.73	c  403s |      25 |  7316744 |  5065098 |     1503   8847 |        0 |        0
405.59/405.73	c  405s |      25 |  7340168 |  5084198 |     1503   8871 |        0 |        0
407.59/407.74	c  407s |      25 |  7366668 |  5104398 |     1503   8898 |        0 |        0
409.59/409.74	c  409s |      25 |  7396726 |  5126898 |     1503   8927 |        0 |        0
411.58/411.75	c  411s |      25 |  7425685 |  5148798 |     1503   8955 |        0 |        0
413.59/413.76	c  413s |      25 |  7454011 |  5170298 |     1503   8983 |        0 |        0
415.58/415.76	c  415s |      25 |  7484096 |  5192798 |     1503   9012 |        0 |        0
417.58/417.77	c  417s |      25 |  7511522 |  5213398 |     1503   9038 |        0 |        0
419.58/419.77	c  419s |      25 |  7541552 |  5236098 |     1503   9068 |        0 |        0
421.58/421.78	c  421s |      25 |  7573481 |  5259098 |     1503   9097 |        0 |        0
423.58/423.78	c  423s |      25 |  7607564 |  5283698 |     1503   9129 |        0 |        0
425.59/425.79	c  425s |      25 |  7637506 |  5305998 |     1503   9158 |        0 |        0
427.59/427.79	c  427s |      25 |  7665710 |  5327398 |     1503   9186 |        0 |        0
429.58/429.79	c  429s |      25 |  7695788 |  5349698 |     1503   9214 |        0 |        0
431.68/431.80	c  431s |      25 |  7725863 |  5372098 |     1503   9243 |        0 |        0
433.68/433.80	c  433s |      25 |  7758369 |  5395798 |     1503   9274 |        0 |        0
435.68/435.81	c  435s |      25 |  7790074 |  5419098 |     1503   9305 |        0 |        0
437.68/437.82	c  437s |      25 |  7824585 |  5443498 |     1503   9336 |        0 |        0
439.68/439.83	c  439s |      25 |  7853654 |  5464698 |     1503   9364 |        0 |        0
441.67/441.83	c  441s |      25 |  7887230 |  5488598 |     1503   9395 |        0 |        0
443.67/443.84	c  443s |      25 |  7923069 |  5512498 |     1503   9426 |        0 |        0
445.67/445.85	c  445s |      25 |  7953089 |  5533898 |     1503   9454 |        0 |        0
447.67/447.85	c  447s |      25 |  7986425 |  5556598 |     1503   9483 |        0 |        0
449.67/449.85	c  449s |      25 |  8020529 |  5578998 |     1503   9512 |        0 |        0
451.66/451.86	c  451s |      25 |  8058083 |  5603498 |     1503   9544 |        0 |        0
453.67/453.86	c  453s |      25 |  8093699 |  5626498 |     1503   9574 |        0 |        0
455.67/455.87	c  455s |      25 |  8129998 |  5650698 |     1503   9606 |        0 |        0
457.67/457.87	c  457s |      25 |  8160474 |  5672298 |     1503   9634 |        0 |        0
459.68/459.88	c  459s |      25 |  8187276 |  5692098 |     1503   9659 |        0 |        0
461.66/461.89	c  461s |      25 |  8217555 |  5712898 |     1503   9686 |        0 |        0
463.66/463.90	c  463s |      25 |  8254875 |  5737398 |     1503   9718 |        0 |        0
465.76/465.90	c  465s |      25 |  8289875 |  5761498 |     1503   9750 |        0 |        0
467.76/467.91	c  467s |      25 |  8323765 |  5783598 |     1503   9778 |        0 |        0
469.76/469.91	c  469s |      25 |  8360195 |  5807498 |     1503   9810 |        0 |        0
471.77/471.92	c  471s |      25 |  8397140 |  5831598 |     1503   9841 |        0 |        0
473.76/473.92	c  473s |      25 |  8430995 |  5854598 |     1503   9871 |        0 |        0
475.76/475.92	c  475s |      25 |  8464144 |  5877498 |     1503   9901 |        0 |        0
477.76/477.92	c  477s |      25 |  8497723 |  5900398 |     1503   9931 |        0 |        0
479.76/479.93	c  479s |      25 |  8528570 |  5921798 |     1503   9958 |        0 |        0
481.76/481.93	c  481s |      25 |  8561328 |  5944098 |     1503   9988 |        0 |        0
483.75/483.93	c  483s |      25 |  8592981 |  5966198 |     1503  10016 |        0 |        0
485.75/485.94	c  485s |      25 |  8627206 |  5989598 |     1503  10047 |        0 |        0
487.75/487.94	c  487s |      25 |  8659739 |  6012498 |     1503  10076 |        0 |        0
489.75/489.94	c  489s |      25 |  8693139 |  6035498 |     1503  10107 |        0 |        0
491.75/491.95	c  491s |      25 |  8723546 |  6057998 |     1503  10136 |        0 |        0
493.75/493.96	c  493s |      25 |  8753318 |  6079998 |     1503  10164 |        0 |        0
495.75/495.97	c  495s |      25 |  8781450 |  6101298 |     1503  10192 |        0 |        0
497.75/497.98	c  497s |      25 |  8811368 |  6123298 |     1503  10221 |        0 |        0
499.75/499.99	c  499s |      25 |  8839678 |  6144198 |     1503  10247 |        0 |        0
501.75/501.99	c  501s |      25 |  8869956 |  6166198 |     1503  10276 |        0 |        0
503.75/503.99	c  503s |      25 |  8902486 |  6189598 |     1503  10306 |        0 |        0
505.74/506.00	c  505s |      25 |  8935537 |  6213198 |     1503  10337 |        0 |        0
507.84/508.00	c  507s |      25 |  8966548 |  6236298 |     1503  10366 |        0 |        0
509.84/510.00	c  509s |      25 |  8996041 |  6257798 |     1503  10394 |        0 |        0
511.84/512.00	c  511s |      25 |  9023817 |  6277898 |     1503  10420 |        0 |        0
513.84/514.01	c  513s |      25 |  9053334 |  6299498 |     1503  10448 |        0 |        0
515.84/516.02	c  516s |      25 |  9085047 |  6321698 |     1503  10477 |        0 |        0
517.84/518.02	c  518s |      25 |  9114263 |  6343198 |     1503  10505 |        0 |        0
519.83/520.02	c  520s |      25 |  9141712 |  6363798 |     1503  10532 |        0 |        0
521.83/522.03	c  522s |      25 |  9172856 |  6385498 |     1503  10560 |        0 |        0
523.83/524.03	c  524s |      25 |  9201606 |  6406798 |     1503  10588 |        0 |        0
525.83/526.03	c  526s |      25 |  9232306 |  6429698 |     1503  10617 |        0 |        0
527.83/528.03	c  528s |      25 |  9261471 |  6451398 |     1503  10645 |        0 |        0
529.83/530.04	c  530s |      25 |  9290783 |  6472598 |     1503  10673 |        0 |        0
531.84/532.04	c  532s |      25 |  9319749 |  6492598 |     1503  10699 |        0 |        0
533.84/534.05	c  534s |      25 |  9348947 |  6512798 |     1503  10725 |        0 |        0
535.83/536.06	c  536s |      25 |  9379687 |  6533998 |     1503  10753 |        0 |        0
537.84/538.06	c  538s |      25 |  9408572 |  6553698 |     1503  10779 |        0 |        0
539.83/540.07	c  540s |      25 |  9440266 |  6575298 |     1503  10807 |        0 |        0
541.83/542.07	c  542s |      25 |  9469144 |  6596298 |     1503  10834 |        0 |        0
543.83/544.07	c  544s |      25 |  9502035 |  6618698 |     1503  10863 |        0 |        0
545.83/546.08	c  546s |      25 |  9529243 |  6637698 |     1503  10888 |        0 |        0
547.83/548.09	c  548s |      25 |  9557820 |  6657798 |     1503  10914 |        0 |        0
549.83/550.10	c  550s |      25 |  9591597 |  6680198 |     1503  10943 |        0 |        0
551.82/552.10	c  552s |      25 |  9622744 |  6701698 |     1503  10972 |        0 |        0
553.92/554.11	c  554s |      25 |  9654144 |  6724298 |     1503  11001 |        0 |        0
555.92/556.11	c  556s |      25 |  9683261 |  6745198 |     1503  11028 |        0 |        0
557.92/558.12	c  558s |      25 |  9710612 |  6765298 |     1503  11054 |        0 |        0
559.91/560.12	c  560s |      25 |  9740730 |  6786498 |     1503  11081 |        0 |        0
561.92/562.13	c  562s |      25 |  9775208 |  6809698 |     1503  11112 |        0 |        0
563.91/564.13	c  564s |      25 |  9805785 |  6831198 |     1503  11140 |        0 |        0
565.91/566.13	c  566s |      25 |  9838950 |  6853998 |     1503  11169 |        0 |        0
567.91/568.14	c  568s |      25 |  9872962 |  6876798 |     1503  11199 |        0 |        0
569.91/570.14	c  570s |      25 |  9905071 |  6899598 |     1503  11228 |        0 |        0
571.91/572.15	c  572s |      25 |  9934011 |  6920198 |     1503  11255 |        0 |        0
573.91/574.15	c  574s |      25 |  9967150 |  6942598 |     1503  11284 |        0 |        0
575.91/576.16	c  576s |      25 | 10003103 |  6965698 |     1503  11315 |        0 |        0
577.91/578.17	c  578s |      25 | 10037059 |  6988198 |     1503  11344 |        0 |        0
579.91/580.18	c  580s |      25 | 10064189 |  7008698 |     1503  11370 |        0 |        0
581.90/582.18	c  582s |      25 | 10085253 |  7025698 |     1503  11392 |        0 |        0
583.91/584.18	c  584s |      25 | 10109279 |  7043898 |     1503  11416 |        0 |        0
585.90/586.19	c  586s |      25 | 10134439 |  7062898 |     1503  11441 |        0 |        0
587.90/588.19	c  588s |      25 | 10163155 |  7082998 |     1503  11467 |        0 |        0
589.90/590.20	c  590s |      25 | 10197208 |  7104598 |     1503  11495 |        0 |        0
592.00/592.20	c  592s |      25 | 10231055 |  7126498 |     1503  11524 |        0 |        0
594.00/594.21	c  594s |      25 | 10265104 |  7148098 |     1503  11552 |        0 |        0
596.00/596.21	c  596s |      25 | 10296869 |  7169798 |     1503  11581 |        0 |        0
597.99/598.22	c  598s |      25 | 10327537 |  7190898 |     1503  11608 |        0 |        0
600.00/600.22	c  600s |      25 | 10361329 |  7213298 |     1503  11637 |        0 |        0
602.00/602.22	c  602s |      25 | 10391655 |  7235098 |     1503  11666 |        0 |        0
604.00/604.23	c  604s |      25 | 10425341 |  7257098 |     1503  11695 |        0 |        0
606.00/606.23	c  606s |      25 | 10462420 |  7280898 |     1503  11726 |        0 |        0
608.00/608.24	c  608s |      25 | 10496916 |  7303798 |     1503  11755 |        0 |        0
610.00/610.24	c  610s |      25 | 10530688 |  7326198 |     1503  11785 |        0 |        0
611.99/612.24	c  612s |      25 | 10567278 |  7349998 |     1503  11816 |        0 |        0
613.99/614.24	c  614s |      25 | 10599383 |  7371998 |     1503  11844 |        0 |        0
615.99/616.25	c  616s |      25 | 10635210 |  7395198 |     1503  11875 |        0 |        0
618.00/618.26	c  618s |      25 | 10665688 |  7416698 |     1503  11903 |        0 |        0
619.99/620.26	c  620s |      25 | 10698769 |  7439198 |     1503  11932 |        0 |        0
621.99/622.27	c  622s |      25 | 10733927 |  7461698 |     1503  11962 |        0 |        0
623.98/624.28	c  624s |      25 | 10772448 |  7485998 |     1503  11993 |        0 |        0
625.98/626.28	c  626s |      25 | 10808888 |  7509898 |     1503  12025 |        0 |        0
627.99/628.29	c  628s |      25 | 10844577 |  7533698 |     1503  12056 |        0 |        0
629.99/630.30	c  630s |      25 | 10874104 |  7555198 |     1654  12082 |        0 |        0
632.09/632.30	c  632s |      25 | 10900454 |  7574398 |     1654  12104 |        0 |        0
634.08/634.31	c  634s |      25 | 10930079 |  7595498 |     1654  12130 |        0 |        0
634.28/634.51	c  634s |      26 | 10933566 |  7597752 |     1654  12132 |        0 |        0
636.28/636.52	c  636s |      26 | 10962223 |  7618452 |     1654  12157 |        0 |        0
638.28/638.52	c  638s |      26 | 10991149 |  7638952 |     1654  12181 |        0 |        0
640.28/640.53	c  640s |      26 | 11017986 |  7658752 |     1654  12205 |        0 |        0
642.29/642.53	c  642s |      26 | 11051653 |  7681852 |     1654  12232 |        0 |        0
644.28/644.53	c  644s |      26 | 11082027 |  7703952 |     1654  12258 |        0 |        0
646.28/646.54	c  646s |      26 | 11106878 |  7723152 |     1654  12280 |        0 |        0
648.28/648.55	c  648s |      26 | 11136296 |  7744852 |     1654  12306 |        0 |        0
650.28/650.55	c  650s |      26 | 11169149 |  7767652 |     1654  12333 |        0 |        0
652.27/652.56	c  652s |      26 | 11198373 |  7788752 |     1654  12358 |        0 |        0
654.28/654.56	c  654s |      26 | 11229873 |  7811352 |     1654  12385 |        0 |        0
656.27/656.57	c  656s |      26 | 11261318 |  7833352 |     1654  12411 |        0 |        0
658.27/658.58	c  658s |      26 | 11292007 |  7855252 |     1654  12436 |        0 |        0
660.27/660.58	c  660s |      26 | 11321954 |  7875852 |     1654  12461 |        0 |        0
662.27/662.58	c  662s |      26 | 11351597 |  7896452 |     1654  12485 |        0 |        0
664.27/664.59	c  664s |      26 | 11383162 |  7918152 |     1654  12511 |        0 |        0
666.26/666.59	c  666s |      26 | 11412380 |  7938552 |     1654  12535 |        0 |        0
668.26/668.60	c  668s |      26 | 11444253 |  7960252 |     1654  12561 |        0 |        0
670.36/670.60	c  670s |      26 | 11479085 |  7983552 |     1654  12588 |        0 |        0
672.36/672.60	c  672s |      26 | 11517235 |  8008752 |     1654  12618 |        0 |        0
674.36/674.61	c  674s |      26 | 11550006 |  8031452 |     1654  12644 |        0 |        0
676.37/676.62	c  676s |      26 | 11583183 |  8054252 |     1654  12671 |        0 |        0
678.36/678.62	c  678s |      26 | 11614322 |  8075952 |     1654  12697 |        0 |        0
680.36/680.63	c  680s |      26 | 11646429 |  8098052 |     1654  12723 |        0 |        0
682.35/682.63	c  682s |      26 | 11680485 |  8121852 |     1654  12752 |        0 |        0
684.35/684.64	c  684s |      26 | 11707302 |  8142452 |     1654  12776 |        0 |        0
686.35/686.64	c  686s |      26 | 11742194 |  8166352 |     1654  12804 |        0 |        0
688.36/688.65	c  688s |      26 | 11775518 |  8188852 |     1654  12831 |        0 |        0
690.35/690.65	c  690s |      26 | 11806027 |  8209952 |     1654  12856 |        0 |        0
692.34/692.66	c  692s |      26 | 11840216 |  8233252 |     1654  12883 |        0 |        0
694.34/694.66	c  694s |      26 | 11870174 |  8254152 |     1654  12908 |        0 |        0
696.34/696.66	c  696s |      26 | 11900718 |  8275852 |     1654  12933 |        0 |        0
698.35/698.67	c  698s |      26 | 11929937 |  8296752 |     1654  12958 |        0 |        0
700.35/700.68	c  700s |      26 | 11959300 |  8317352 |     1654  12982 |        0 |        0
702.34/702.69	c  702s |      26 | 11992903 |  8339852 |     1654  13009 |        0 |        0
704.34/704.69	c  704s |      26 | 12020284 |  8360152 |     1654  13032 |        0 |        0
706.44/706.70	c  706s |      26 | 12049112 |  8380352 |     1654  13056 |        0 |        0
708.44/708.71	c  708s |      26 | 12075508 |  8399852 |     1654  13080 |        0 |        0
710.45/710.71	c  710s |      26 | 12101825 |  8419452 |     1654  13103 |        0 |        0
712.43/712.72	c  712s |      26 | 12132613 |  8441552 |     1654  13129 |        0 |        0
714.43/714.72	c  714s |      26 | 12167422 |  8464952 |     1654  13157 |        0 |        0
716.43/716.73	c  716s |      26 | 12198085 |  8486652 |     1654  13182 |        0 |        0
718.43/718.73	c  718s |      26 | 12228894 |  8508952 |     1654  13209 |        0 |        0
720.43/720.73	c  720s |      26 | 12259297 |  8530652 |     1654  13234 |        0 |        0
722.44/722.73	c  722s |      26 | 12287884 |  8551752 |     1654  13259 |        0 |        0
724.43/724.74	c  724s |      26 | 12316118 |  8572252 |     1654  13284 |        0 |        0
726.43/726.75	c  726s |      26 | 12347084 |  8593752 |     1654  13309 |        0 |        0
728.43/728.75	c  728s |      26 | 12378150 |  8615552 |     1654  13335 |        0 |        0
730.43/730.76	c  730s |      26 | 12410468 |  8637652 |     1654  13361 |        0 |        0
732.43/732.76	c  732s |      26 | 12440245 |  8658152 |     1654  13385 |        0 |        0
734.42/734.77	c  734s |      26 | 12472466 |  8680052 |     1654  13411 |        0 |        0
736.42/736.77	c  736s |      26 | 12506676 |  8702352 |     1654  13437 |        0 |        0
738.43/738.77	c  738s |      26 | 12536499 |  8723352 |     1654  13462 |        0 |        0
740.43/740.78	c  740s |      26 | 12563106 |  8742952 |     1654  13485 |        0 |        0
742.42/742.79	c  742s |      26 | 12589977 |  8762652 |     1654  13509 |        0 |        0
744.43/744.80	c  744s |      26 | 12618018 |  8782652 |     1654  13533 |        0 |        0
746.52/746.80	c  746s |      26 | 12650244 |  8805052 |     1654  13559 |        0 |        0
748.52/748.80	c  748s |      26 | 12681778 |  8826652 |     1654  13585 |        0 |        0
750.52/750.81	c  750s |      26 | 12710309 |  8846852 |     1654  13609 |        0 |        0
752.52/752.81	c  752s |      26 | 12738448 |  8866652 |     1654  13633 |        0 |        0
754.52/754.82	c  754s |      26 | 12764151 |  8885652 |     1654  13655 |        0 |        0
756.52/756.83	c  756s |      26 | 12794060 |  8906652 |     1654  13680 |        0 |        0
758.52/758.83	c  758s |      26 | 12824523 |  8928652 |     1654  13706 |        0 |        0
760.51/760.83	c  760s |      26 | 12855209 |  8949152 |     1654  13730 |        0 |        0
762.51/762.84	c  762s |      26 | 12880811 |  8967452 |     1654  13752 |        0 |        0
764.51/764.85	c  764s |      26 | 12908774 |  8986452 |     1654  13774 |        0 |        0
766.52/766.86	c  766s |      26 | 12938230 |  9006052 |     1654  13797 |        0 |        0
768.51/768.86	c  768s |      26 | 12966716 |  9025352 |     1654  13820 |        0 |        0
770.51/770.87	c  770s |      26 | 12996838 |  9044552 |     1654  13843 |        0 |        0
772.51/772.87	c  772s |      26 | 13026034 |  9064352 |     1654  13867 |        0 |        0
774.52/774.88	c  774s |      26 | 13058486 |  9085252 |     1654  13892 |        0 |        0
776.52/776.88	c  776s |      26 | 13087632 |  9104952 |     1654  13915 |        0 |        0
778.52/778.88	c  778s |      26 | 13117602 |  9125352 |     1654  13939 |        0 |        0
780.51/780.89	c  780s |      26 | 13148826 |  9146852 |     1654  13964 |        0 |        0
782.51/782.89	c  782s |      26 | 13183149 |  9168752 |     1654  13990 |        0 |        0
784.61/784.90	c  784s |      26 | 13213882 |  9189352 |     1654  14015 |        0 |        0
786.61/786.91	c  786s |      26 | 13245143 |  9209352 |     1654  14038 |        0 |        0
788.61/788.91	c  788s |      26 | 13267826 |  9225252 |     1654  14057 |        0 |        0
790.61/790.91	c  790s |      26 | 13296199 |  9243952 |     1654  14079 |        0 |        0
792.60/792.92	c  792s |      26 | 13327411 |  9263752 |     1654  14103 |        0 |        0
794.60/794.92	c  794s |      26 | 13357412 |  9283752 |     1654  14126 |        0 |        0
796.60/796.92	c  796s |      26 | 13385066 |  9302152 |     1654  14148 |        0 |        0
798.60/798.93	c  798s |      26 | 13411263 |  9321452 |     1654  14171 |        0 |        0
800.61/800.93	c  800s |      26 | 13436396 |  9340252 |     1654  14193 |        0 |        0
802.59/802.94	c  802s |      26 | 13471150 |  9362752 |     1654  14219 |        0 |        0
804.59/804.94	c  804s |      26 | 13503674 |  9383452 |     1654  14244 |        0 |        0
806.59/806.95	c  806s |      26 | 13537079 |  9404452 |     1654  14269 |        0 |        0
808.59/808.95	c  808s |      26 | 13571098 |  9426752 |     1654  14296 |        0 |        0
810.59/810.96	c  810s |      26 | 13602720 |  9447252 |     1654  14320 |        0 |        0
812.60/812.97	c  812s |      26 | 13628679 |  9464752 |     1654  14341 |        0 |        0
814.60/814.97	c  814s |      26 | 13661291 |  9484652 |     1654  14364 |        0 |        0
816.59/816.97	c  816s |      26 | 13693033 |  9504752 |     1654  14388 |        0 |        0
818.59/818.97	c  818s |      26 | 13724915 |  9524452 |     1654  14412 |        0 |        0
820.59/820.98	c  820s |      26 | 13757730 |  9545252 |     1654  14437 |        0 |        0
822.60/822.99	c  822s |      26 | 13789997 |  9566052 |     1654  14461 |        0 |        0
824.59/825.00	c  824s |      26 | 13824270 |  9586452 |     1654  14486 |        0 |        0
826.69/827.00	c  826s |      26 | 13858672 |  9607652 |     1654  14511 |        0 |        0
828.69/829.00	c  828s |      26 | 13896032 |  9630452 |     1654  14538 |        0 |        0
830.69/831.01	c  830s |      26 | 13932646 |  9652852 |     1654  14565 |        0 |        0
832.68/833.01	c  832s |      26 | 13966223 |  9673252 |     1654  14589 |        0 |        0
834.69/835.01	c  834s |      26 | 14001755 |  9696152 |     1654  14616 |        0 |        0
836.68/837.02	c  837s |      26 | 14035074 |  9718552 |     1654  14642 |        0 |        0
838.68/839.03	c  839s |      26 | 14067768 |  9740252 |     1654  14668 |        0 |        0
840.68/841.03	c  841s |      26 | 14097670 |  9759352 |     1654  14690 |        0 |        0
842.68/843.03	c  843s |      26 | 14131559 |  9780452 |     1654  14716 |        0 |        0
844.68/845.04	c  845s |      26 | 14168544 |  9803352 |     1654  14743 |        0 |        0
846.69/847.05	c  847s |      26 | 14205382 |  9826052 |     1654  14769 |        0 |        0
848.68/849.06	c  849s |      26 | 14240161 |  9847452 |     1654  14795 |        0 |        0
850.68/851.06	c  851s |      26 | 14275779 |  9869852 |     1654  14821 |        0 |        0
852.67/853.07	c  853s |      26 | 14307976 |  9890752 |     1654  14846 |        0 |        0
854.67/855.07	c  855s |      26 | 14338456 |  9910152 |     1654  14869 |        0 |        0
856.68/857.07	c  857s |      26 | 14372819 |  9931152 |     1654  14894 |        0 |        0
858.67/859.08	c  859s |      26 | 14408193 |  9953352 |     1654  14921 |        0 |        0
860.67/861.08	c  861s |      26 | 14438233 |  9972652 |     1654  14944 |        0 |        0
862.66/863.08	c  863s |      26 | 14474780 |  9994452 |     1654  14970 |        0 |        0
864.66/865.09	c  865s |      26 | 14508637 | 10016652 |     1654  14996 |        0 |        0
866.76/867.10	c  867s |      26 | 14541734 | 10038252 |     1654  15022 |        0 |        0
868.67/869.10	c  869s |      26 | 14570811 | 10057852 |     1654  15045 |        0 |        0
870.76/871.10	c  871s |      26 | 14599457 | 10077152 |     1654  15068 |        0 |        0
872.76/873.10	c  873s |      26 | 14632426 | 10098552 |     1654  15093 |        0 |        0
874.76/875.10	c  875s |      26 | 14668301 | 10120352 |     1654  15119 |        0 |        0
876.76/877.10	c  877s |      26 | 14705222 | 10142452 |     1654  15146 |        0 |        0
878.76/879.11	c  879s |      26 | 14740388 | 10164152 |     1654  15171 |        0 |        0
880.77/881.12	c  881s |      26 | 14775858 | 10186252 |     1654  15198 |        0 |        0
882.76/883.12	c  883s |      26 | 14813375 | 10208652 |     1654  15224 |        0 |        0
884.76/885.13	c  885s |      26 | 14848442 | 10230452 |     1654  15250 |        0 |        0
886.76/887.13	c  887s |      26 | 14878132 | 10250852 |     1654  15275 |        0 |        0
888.76/889.14	c  889s |      26 | 14906409 | 10271052 |     1654  15299 |        0 |        0
890.76/891.14	c  891s |      26 | 14932712 | 10289352 |     1654  15320 |        0 |        0
892.76/893.15	c  893s |      26 | 14959821 | 10307552 |     1654  15342 |        0 |        0
894.75/895.16	c  895s |      26 | 14988462 | 10326152 |     1654  15364 |        0 |        0
896.75/897.16	c  897s |      26 | 15014319 | 10343752 |     1654  15385 |        0 |        0
898.75/899.17	c  899s |      26 | 15045071 | 10364652 |     1654  15410 |        0 |        0
900.75/901.18	c  901s |      26 | 15074624 | 10385152 |     1654  15434 |        0 |        0
902.77/903.19	c  903s |      26 | 15107221 | 10405452 |     1654  15458 |        0 |        0
904.76/905.19	c  905s |      26 | 15136085 | 10424352 |     1654  15480 |        0 |        0
906.86/907.20	c  907s |      26 | 15166250 | 10443952 |     1654  15503 |        0 |        0
908.86/909.20	c  909s |      26 | 15198800 | 10464352 |     1654  15528 |        0 |        0
910.86/911.20	c  911s |      26 | 15229402 | 10485152 |     1654  15552 |        0 |        0
912.86/913.21	c  913s |      26 | 15256881 | 10504152 |     1654  15575 |        0 |        0
914.87/915.21	c  915s |      26 | 15285536 | 10523652 |     1654  15598 |        0 |        0
916.86/917.21	c  917s |      26 | 15316577 | 10543952 |     1654  15622 |        0 |        0
918.86/919.22	c  919s |      26 | 15348462 | 10564152 |     1654  15646 |        0 |        0
920.86/921.22	c  921s |      26 | 15378063 | 10583352 |     1654  15669 |        0 |        0
922.85/923.23	c  923s |      26 | 15410075 | 10603752 |     1654  15693 |        0 |        0
924.86/925.23	c  925s |      26 | 15436366 | 10622752 |     1654  15715 |        0 |        0
926.85/927.24	c  927s |      26 | 15462231 | 10640752 |     1654  15737 |        0 |        0
928.85/929.24	c  929s |      26 | 15491531 | 10660552 |     1654  15760 |        0 |        0
930.85/931.24	c  931s |      26 | 15520523 | 10680252 |     1654  15783 |        0 |        0
932.85/933.25	c  933s |      26 | 15548676 | 10699252 |     1654  15806 |        0 |        0
934.85/935.26	c  935s |      26 | 15574483 | 10717752 |     1654  15828 |        0 |        0
936.86/937.27	c  937s |      26 | 15603544 | 10738152 |     1654  15852 |        0 |        0
938.85/939.27	c  939s |      26 | 15631172 | 10757452 |     1654  15875 |        0 |        0
940.85/941.28	c  941s |      26 | 15662757 | 10778652 |     1654  15900 |        0 |        0
942.85/943.29	c  943s |      26 | 15687991 | 10796352 |     1654  15921 |        0 |        0
944.85/945.29	c  945s |      26 | 15717059 | 10815952 |     1654  15945 |        0 |        0
946.95/947.30	c  947s |      26 | 15747669 | 10836352 |     1654  15969 |        0 |        0
948.85/949.30	c  949s |      26 | 15777037 | 10855852 |     1654  15992 |        0 |        0
950.95/951.31	c  951s |      26 | 15811246 | 10876952 |     1654  16017 |        0 |        0
952.95/953.31	c  953s |      26 | 15844921 | 10898952 |     1654  16043 |        0 |        0
954.95/955.31	c  955s |      26 | 15876528 | 10919752 |     1654  16068 |        0 |        0
956.95/957.31	c  957s |      26 | 15910935 | 10941352 |     1654  16094 |        0 |        0
958.96/959.32	c  959s |      26 | 15946568 | 10963052 |     1654  16120 |        0 |        0
960.95/961.33	c  961s |      26 | 15979555 | 10985252 |     1654  16146 |        0 |        0
962.95/963.33	c  963s |      26 | 16008116 | 11005252 |     1654  16169 |        0 |        0
964.95/965.33	c  965s |      26 | 16039355 | 11025352 |     1654  16193 |        0 |        0
966.95/967.34	c  967s |      26 | 16071220 | 11045652 |     1654  16218 |        0 |        0
968.95/969.34	c  969s |      26 | 16104321 | 11067152 |     1654  16243 |        0 |        0
970.96/971.35	c  971s |      26 | 16139691 | 11089252 |     1654  16270 |        0 |        0
972.95/973.35	c  973s |      26 | 16174750 | 11110752 |     1654  16295 |        0 |        0
974.95/975.36	c  975s |      26 | 16202374 | 11130252 |     1654  16319 |        0 |        0
976.95/977.36	c  977s |      26 | 16233377 | 11150852 |     1654  16343 |        0 |        0
978.95/979.37	c  979s |      26 | 16268324 | 11173052 |     1654  16369 |        0 |        0
980.95/981.38	c  981s |      26 | 16303766 | 11194952 |     1654  16395 |        0 |        0
982.94/983.39	c  983s |      26 | 16336454 | 11215852 |     1654  16420 |        0 |        0
984.94/985.39	c  985s |      26 | 16370224 | 11236852 |     1654  16446 |        0 |        0
986.94/987.39	c  987s |      26 | 16406344 | 11259452 |     1654  16472 |        0 |        0
989.04/989.40	c  989s |      26 | 16441711 | 11282152 |     1654  16499 |        0 |        0
991.04/991.41	c  991s |      26 | 16476380 | 11303752 |     1654  16525 |        0 |        0
993.05/993.41	c  993s |      26 | 16511249 | 11325452 |     1820  16550 |        0 |        0
995.04/995.42	c  995s |      26 | 16545772 | 11346052 |     1820  16572 |        0 |        0
997.04/997.42	c  997s |      26 | 16578504 | 11367052 |     1820  16595 |        0 |        0
999.04/999.43	c  999s |      26 | 16614216 | 11387952 |     1820  16618 |        0 |        0
999.84/1000.26	c 1000s |      27 | 16628316 | 11396733 |     1820  16627 |        0 |        0
1001.85/1002.27	c 1002s |      27 | 16655143 | 11416733 |     1820  16648 |        0 |        0
1003.84/1004.28	c 1004s |      27 | 16680035 | 11435633 |     1820  16669 |        0 |        0
1005.84/1006.28	c 1006s |      27 | 16702482 | 11452933 |     1820  16687 |        0 |        0
1007.84/1008.29	c 1008s |      27 | 16726338 | 11470633 |     1820  16707 |        0 |        0
1009.94/1010.30	c 1010s |      27 | 16749529 | 11488833 |     1820  16726 |        0 |        0
1011.94/1012.30	c 1012s |      27 | 16776242 | 11508333 |     1820  16747 |        0 |        0
1013.95/1014.30	c 1014s |      27 | 16806014 | 11529533 |     1820  16770 |        0 |        0
1015.94/1016.31	c 1016s |      27 | 16835340 | 11550233 |     1820  16793 |        0 |        0
1017.94/1018.31	c 1018s |      27 | 16862146 | 11570333 |     1820  16814 |        0 |        0
1019.94/1020.32	c 1020s |      27 | 16890329 | 11590333 |     1820  16836 |        0 |        0
1021.94/1022.32	c 1022s |      27 | 16920992 | 11611533 |     1820  16858 |        0 |        0
1023.94/1024.33	c 1024s |      27 | 16945776 | 11629833 |     1820  16878 |        0 |        0
1025.95/1026.33	c 1026s |      27 | 16974652 | 11650333 |     1820  16900 |        0 |        0
1027.94/1028.34	c 1028s |      27 | 16999322 | 11668333 |     1820  16919 |        0 |        0
1029.94/1030.35	c 1030s |      27 | 17028343 | 11688133 |     1820  16941 |        0 |        0
1031.94/1032.35	c 1032s |      27 | 17053810 | 11706533 |     1820  16961 |        0 |        0
1033.94/1034.35	c 1034s |      27 | 17081971 | 11726233 |     1820  16982 |        0 |        0
1035.94/1036.36	c 1036s |      27 | 17111690 | 11747233 |     1820  17005 |        0 |        0
1037.94/1038.36	c 1038s |      27 | 17141474 | 11768233 |     1820  17027 |        0 |        0
1039.93/1040.37	c 1040s |      27 | 17168777 | 11788033 |     1820  17048 |        0 |        0
1041.93/1042.37	c 1042s |      27 | 17194360 | 11806233 |     1820  17068 |        0 |        0
1043.93/1044.38	c 1044s |      27 | 17218983 | 11823933 |     1820  17087 |        0 |        0
1045.93/1046.38	c 1046s |      27 | 17242892 | 11841933 |     1820  17107 |        0 |        0
1047.94/1048.38	c 1048s |      27 | 17270159 | 11861933 |     1820  17128 |        0 |        0
1049.93/1050.38	c 1050s |      27 | 17295363 | 11880633 |     1820  17148 |        0 |        0
1051.93/1052.39	c 1052s |      27 | 17322014 | 11899733 |     1820  17169 |        0 |        0
1053.93/1054.39	c 1054s |      27 | 17350019 | 11919633 |     1820  17190 |        0 |        0
1056.03/1056.40	c 1056s |      27 | 17376612 | 11938933 |     1820  17211 |        0 |        0
1058.03/1058.40	c 1058s |      27 | 17407257 | 11960333 |     1820  17234 |        0 |        0
1060.04/1060.41	c 1060s |      27 | 17439524 | 11982833 |     1820  17258 |        0 |        0
1062.03/1062.41	c 1062s |      27 | 17471137 | 12004533 |     1820  17282 |        0 |        0
1064.03/1064.42	c 1064s |      27 | 17499742 | 12024733 |     1820  17303 |        0 |        0
1066.03/1066.42	c 1066s |      27 | 17528343 | 12045533 |     1820  17325 |        0 |        0
1068.03/1068.42	c 1068s |      27 | 17556986 | 12065633 |     1820  17347 |        0 |        0
1070.03/1070.43	c 1070s |      27 | 17584559 | 12084633 |     1820  17367 |        0 |        0
1072.03/1072.43	c 1072s |      27 | 17613203 | 12104433 |     1820  17389 |        0 |        0
1074.03/1074.43	c 1074s |      27 | 17640187 | 12123733 |     1820  17409 |        0 |        0
1076.03/1076.44	c 1076s |      27 | 17669518 | 12144433 |     1820  17432 |        0 |        0
1078.04/1078.45	c 1078s |      27 | 17697174 | 12164633 |     1820  17453 |        0 |        0
1080.03/1080.45	c 1080s |      27 | 17724257 | 12184533 |     1820  17474 |        0 |        0
1082.04/1082.46	c 1082s |      27 | 17755933 | 12206333 |     1820  17498 |        0 |        0
1084.03/1084.47	c 1084s |      27 | 17784662 | 12226533 |     1820  17520 |        0 |        0
1086.03/1086.47	c 1086s |      27 | 17812975 | 12247133 |     1820  17541 |        0 |        0
1088.03/1088.48	c 1088s |      27 | 17842825 | 12268033 |     1820  17564 |        0 |        0
1090.03/1090.48	c 1090s |      27 | 17871116 | 12288333 |     1820  17585 |        0 |        0
1092.04/1092.49	c 1092s |      27 | 17897386 | 12307033 |     1820  17606 |        0 |        0
1094.03/1094.49	c 1094s |      27 | 17926760 | 12327133 |     1820  17627 |        0 |        0
1096.13/1096.50	c 1096s |      27 | 17958316 | 12348533 |     1820  17651 |        0 |        0
1098.13/1098.50	c 1098s |      27 | 17987180 | 12368833 |     1820  17672 |        0 |        0
1100.13/1100.51	c 1100s |      27 | 18018006 | 12389333 |     1820  17695 |        0 |        0
1102.12/1102.52	c 1102s |      27 | 18054930 | 12412333 |     1820  17719 |        0 |        0
1104.13/1104.53	c 1104s |      27 | 18090569 | 12434133 |     1820  17743 |        0 |        0
1106.12/1106.54	c 1106s |      27 | 18125334 | 12455733 |     1820  17766 |        0 |        0
1108.12/1108.54	c 1108s |      27 | 18157453 | 12476333 |     1820  17789 |        0 |        0
1110.12/1110.54	c 1110s |      27 | 18192590 | 12498133 |     1820  17812 |        0 |        0
1112.12/1112.54	c 1112s |      27 | 18227001 | 12519633 |     1820  17836 |        0 |        0
1114.13/1114.54	c 1114s |      27 | 18258934 | 12540633 |     1820  17858 |        0 |        0
1116.14/1116.54	c 1116s |      27 | 18292921 | 12562233 |     1820  17882 |        0 |        0
1118.13/1118.55	c 1118s |      27 | 18324194 | 12582933 |     1820  17904 |        0 |        0
1120.13/1120.55	c 1120s |      27 | 18355054 | 12603133 |     1820  17926 |        0 |        0
1122.13/1122.56	c 1122s |      27 | 18387369 | 12623733 |     1820  17949 |        0 |        0
1124.13/1124.57	c 1124s |      27 | 18417996 | 12644133 |     1820  17971 |        0 |        0
1126.13/1126.58	c 1126s |      27 | 18449920 | 12664433 |     1820  17993 |        0 |        0
1128.12/1128.58	c 1128s |      27 | 18482491 | 12684933 |     1820  18015 |        0 |        0
1130.12/1130.58	c 1130s |      27 | 18515669 | 12706333 |     1820  18038 |        0 |        0
1132.12/1132.59	c 1132s |      27 | 18553819 | 12729633 |     1820  18064 |        0 |        0
1134.12/1134.59	c 1134s |      27 | 18587567 | 12751733 |     1820  18087 |        0 |        0
1136.22/1136.60	c 1136s |      27 | 18620365 | 12773633 |     1820  18111 |        0 |        0
1138.13/1138.60	c 1138s |      27 | 18648558 | 12793033 |     1820  18132 |        0 |        0
1140.23/1140.61	c 1140s |      27 | 18677100 | 12812133 |     1820  18153 |        0 |        0
1142.23/1142.62	c 1142s |      27 | 18706735 | 12831833 |     1820  18174 |        0 |        0
1144.22/1144.62	c 1144s |      27 | 18735488 | 12851733 |     1820  18196 |        0 |        0
1146.22/1146.62	c 1146s |      27 | 18768002 | 12873133 |     1820  18219 |        0 |        0
1148.22/1148.63	c 1148s |      27 | 18801921 | 12895033 |     1820  18243 |        0 |        0
1150.23/1150.63	c 1150s |      27 | 18835828 | 12917033 |     1820  18267 |        0 |        0
1152.22/1152.63	c 1152s |      27 | 18866758 | 12937833 |     1820  18289 |        0 |        0
1154.22/1154.64	c 1154s |      27 | 18901042 | 12959633 |     1820  18313 |        0 |        0
1156.22/1156.65	c 1156s |      27 | 18925894 | 12977733 |     1820  18332 |        0 |        0
1158.22/1158.65	c 1158s |      27 | 18959130 | 12999533 |     1820  18356 |        0 |        0
1160.23/1160.66	c 1160s |      27 | 18992275 | 13022433 |     1820  18380 |        0 |        0
1162.22/1162.66	c 1162s |      27 | 19020533 | 13041833 |     1820  18401 |        0 |        0
1164.22/1164.67	c 1164s |      27 | 19049858 | 13061733 |     1820  18423 |        0 |        0
1166.22/1166.67	c 1166s |      27 | 19079905 | 13082233 |     1820  18445 |        0 |        0
1168.22/1168.67	c 1168s |      27 | 19110513 | 13102533 |     1820  18467 |        0 |        0
1170.22/1170.67	c 1170s |      27 | 19141948 | 13123233 |     1820  18489 |        0 |        0
1172.22/1172.68	c 1172s |      27 | 19169009 | 13142233 |     1820  18510 |        0 |        0
1174.21/1174.68	c 1174s |      27 | 19197951 | 13161633 |     1820  18531 |        0 |        0
1176.21/1176.69	c 1176s |      27 | 19227325 | 13181633 |     1820  18552 |        0 |        0
1178.21/1178.69	c 1178s |      27 | 19254482 | 13200733 |     1820  18572 |        0 |        0
1180.21/1180.69	c 1180s |      27 | 19285029 | 13221533 |     1820  18595 |        0 |        0
1182.22/1182.70	c 1182s |      27 | 19313706 | 13241633 |     1820  18616 |        0 |        0
1184.21/1184.70	c 1184s |      27 | 19340423 | 13259833 |     1820  18636 |        0 |        0
1186.31/1186.70	c 1186s |      27 | 19367881 | 13277933 |     1820  18656 |        0 |        0
1188.31/1188.71	c 1188s |      27 | 19401404 | 13298433 |     1820  18678 |        0 |        0
1190.32/1190.71	c 1190s |      27 | 19431198 | 13317633 |     1820  18699 |        0 |        0
1192.31/1192.72	c 1192s |      27 | 19463195 | 13337533 |     1820  18721 |        0 |        0
1194.32/1194.72	c 1194s |      27 | 19497064 | 13358533 |     1820  18743 |        0 |        0
1196.31/1196.73	c 1196s |      27 | 19531342 | 13380033 |     1820  18767 |        0 |        0
1198.31/1198.74	c 1198s |      27 | 19565347 | 13402233 |     1820  18790 |        0 |        0
1200.31/1200.74	c 1200s |      27 | 19598473 | 13423533 |     1820  18813 |        0 |        0
1202.31/1202.74	c 1202s |      27 | 19632465 | 13444833 |     1820  18837 |        0 |        0
1204.31/1204.75	c 1204s |      27 | 19665291 | 13465333 |     1820  18859 |        0 |        0
1206.31/1206.75	c 1206s |      27 | 19698163 | 13485933 |     1820  18881 |        0 |        0
1208.31/1208.76	c 1208s |      27 | 19731488 | 13506733 |     1820  18904 |        0 |        0
1210.32/1210.76	c 1210s |      27 | 19764787 | 13527133 |     1820  18926 |        0 |        0
1212.31/1212.76	c 1212s |      27 | 19797041 | 13547633 |     1820  18948 |        0 |        0
1214.31/1214.76	c 1214s |      27 | 19831760 | 13568533 |     1820  18971 |        0 |        0
1216.32/1216.76	c 1216s |      27 | 19864361 | 13589133 |     1820  18993 |        0 |        0
1218.31/1218.77	c 1218s |      27 | 19891052 | 13607533 |     1820  19013 |        0 |        0
1220.31/1220.77	c 1220s |      27 | 19923573 | 13628233 |     1820  19035 |        0 |        0
1222.31/1222.78	c 1222s |      27 | 19958294 | 13649233 |     1820  19058 |        0 |        0
1224.31/1224.78	c 1224s |      27 | 19993249 | 13670133 |     1820  19081 |        0 |        0
1226.31/1226.79	c 1226s |      27 | 20026301 | 13690433 |     1820  19103 |        0 |        0
1228.31/1228.79	c 1228s |      27 | 20058218 | 13711733 |     1820  19126 |        0 |        0
1230.31/1230.79	c 1230s |      27 | 20088523 | 13731533 |     1820  19148 |        0 |        0
1232.40/1232.80	c 1232s |      27 | 20119391 | 13751333 |     1820  19169 |        0 |        0
1234.40/1234.80	c 1234s |      27 | 20148461 | 13770833 |     1820  19190 |        0 |        0
1236.40/1236.81	c 1236s |      27 | 20176359 | 13789133 |     1820  19210 |        0 |        0
1238.40/1238.81	c 1238s |      27 | 20204456 | 13807933 |     1820  19230 |        0 |        0
1240.42/1240.82	c 1240s |      27 | 20234414 | 13827133 |     1820  19251 |        0 |        0
1242.41/1242.83	c 1242s |      27 | 20264674 | 13846633 |     1820  19272 |        0 |        0
1244.41/1244.83	c 1244s |      27 | 20295945 | 13866333 |     1820  19294 |        0 |        0
1246.41/1246.84	c 1246s |      27 | 20327576 | 13886533 |     1820  19316 |        0 |        0
1248.41/1248.85	c 1248s |      27 | 20357717 | 13905933 |     1820  19337 |        0 |        0
1250.41/1250.86	c 1250s |      27 | 20388081 | 13925433 |     1820  19358 |        0 |        0
1252.41/1252.86	c 1252s |      27 | 20416838 | 13944833 |     1820  19379 |        0 |        0
1254.41/1254.87	c 1254s |      27 | 20441583 | 13962833 |     1820  19398 |        0 |        0
1256.40/1256.88	c 1256s |      27 | 20470994 | 13982333 |     1820  19419 |        0 |        0
1258.40/1258.88	c 1258s |      27 | 20505041 | 14003433 |     1820  19442 |        0 |        0
1260.40/1260.89	c 1260s |      27 | 20538441 | 14024533 |     1820  19465 |        0 |        0
1262.41/1262.89	c 1262s |      27 | 20574005 | 14045933 |     1820  19488 |        0 |        0
1264.40/1264.89	c 1264s |      27 | 20602139 | 14065033 |     1820  19509 |        0 |        0
1266.40/1266.89	c 1266s |      27 | 20631292 | 14084133 |     1820  19530 |        0 |        0
1268.50/1268.90	c 1268s |      27 | 20661817 | 14102933 |     1820  19550 |        0 |        0
1270.50/1270.90	c 1270s |      27 | 20693247 | 14122333 |     1820  19571 |        0 |        0
1272.50/1272.91	c 1272s |      27 | 20721101 | 14140633 |     1820  19591 |        0 |        0
1274.51/1274.92	c 1274s |      27 | 20748924 | 14158733 |     1820  19610 |        0 |        0
1276.50/1276.92	c 1276s |      27 | 20782476 | 14179133 |     1820  19632 |        0 |        0
1278.50/1278.93	c 1278s |      27 | 20815135 | 14200733 |     1820  19656 |        0 |        0
1280.50/1280.93	c 1280s |      27 | 20847839 | 14220433 |     1820  19677 |        0 |        0
1282.50/1282.94	c 1282s |      27 | 20875718 | 14239533 |     1820  19698 |        0 |        0
1284.50/1284.94	c 1284s |      27 | 20902324 | 14257733 |     1820  19718 |        0 |        0
1286.50/1286.95	c 1286s |      27 | 20935030 | 14278133 |     1820  19740 |        0 |        0
1288.50/1288.95	c 1288s |      27 | 20965598 | 14298633 |     1820  19762 |        0 |        0
1290.50/1290.95	c 1290s |      27 | 20993801 | 14317833 |     1820  19783 |        0 |        0
1292.49/1292.95	c 1292s |      27 | 21022752 | 14337333 |     1820  19804 |        0 |        0
1294.49/1294.96	c 1294s |      27 | 21049856 | 14355933 |     1820  19824 |        0 |        0
1296.50/1296.96	c 1296s |      27 | 21078045 | 14374833 |     1820  19844 |        0 |        0
1298.49/1298.97	c 1298s |      27 | 21109730 | 14395233 |     1820  19866 |        0 |        0
1300.49/1300.97	c 1300s |      27 | 21143598 | 14416633 |     1820  19890 |        0 |        0
1302.50/1302.98	c 1302s |      27 | 21178607 | 14437833 |     1820  19913 |        0 |        0
1304.50/1304.99	c 1304s |      27 | 21210404 | 14458733 |     1820  19935 |        0 |        0
1306.51/1306.99	c 1306s |      27 | 21238142 | 14478733 |     1820  19956 |        0 |        0
1308.50/1309.00	c 1308s |      27 | 21266057 | 14498333 |     1820  19978 |        0 |        0
1310.60/1311.00	c 1310s |      27 | 21296672 | 14519133 |     1820  20000 |        0 |        0
1312.60/1313.01	c 1312s |      27 | 21324412 | 14539033 |     1820  20021 |        0 |        0
1314.60/1315.01	c 1314s |      27 | 21354971 | 14559733 |     1820  20044 |        0 |        0
1316.60/1317.02	c 1317s |      27 | 21384921 | 14579533 |     1820  20065 |        0 |        0
1318.60/1319.02	c 1319s |      27 | 21416028 | 14600233 |     1820  20088 |        0 |        0
1320.60/1321.03	c 1321s |      27 | 21447928 | 14621933 |     1820  20111 |        0 |        0
1322.60/1323.03	c 1323s |      27 | 21478338 | 14642833 |     1820  20134 |        0 |        0
1324.59/1325.03	c 1325s |      27 | 21508777 | 14663633 |     1820  20156 |        0 |        0
1326.59/1327.03	c 1327s |      27 | 21536313 | 14683333 |     1820  20177 |        0 |        0
1328.59/1329.04	c 1329s |      27 | 21560536 | 14700933 |     1820  20196 |        0 |        0
1330.60/1331.04	c 1331s |      27 | 21589924 | 14721033 |     1820  20218 |        0 |        0
1332.59/1333.04	c 1333s |      27 | 21620956 | 14741833 |     1820  20241 |        0 |        0
1334.59/1335.05	c 1335s |      27 | 21647911 | 14760133 |     1820  20261 |        0 |        0
1336.59/1337.06	c 1337s |      27 | 21671641 | 14777233 |     1820  20279 |        0 |        0
1338.59/1339.06	c 1339s |      27 | 21700238 | 14795633 |     1820  20299 |        0 |        0
1340.59/1341.07	c 1341s |      27 | 21727783 | 14814133 |     1820  20319 |        0 |        0
1342.59/1343.08	c 1343s |      27 | 21756482 | 14833033 |     1820  20340 |        0 |        0
1344.59/1345.09	c 1345s |      27 | 21785826 | 14852933 |     1820  20361 |        0 |        0
1346.59/1347.09	c 1347s |      27 | 21816558 | 14872933 |     1820  20383 |        0 |        0
1348.59/1349.09	c 1349s |      27 | 21846609 | 14892533 |     1820  20404 |        0 |        0
1350.59/1351.10	c 1351s |      27 | 21877995 | 14912233 |     1820  20426 |        0 |        0
1352.60/1353.10	c 1353s |      27 | 21910230 | 14933033 |     1820  20449 |        0 |        0
1354.69/1355.10	c 1355s |      27 | 21940239 | 14953033 |     1820  20470 |        0 |        0
1356.69/1357.10	c 1357s |      27 | 21971300 | 14972633 |     1820  20492 |        0 |        0
1358.69/1359.11	c 1359s |      27 | 22003857 | 14992633 |     1820  20513 |        0 |        0
1360.69/1361.11	c 1361s |      27 | 22038095 | 15013633 |     1820  20536 |        0 |        0
1362.69/1363.12	c 1363s |      27 | 22070516 | 15034433 |     1820  20559 |        0 |        0
1364.70/1365.12	c 1365s |      27 | 22100886 | 15054633 |     1820  20581 |        0 |        0
1366.69/1367.13	c 1367s |      27 | 22133679 | 15075533 |     1820  20603 |        0 |        0
1368.69/1369.13	c 1369s |      27 | 22163469 | 15094933 |     1820  20625 |        0 |        0
1370.69/1371.14	c 1371s |      27 | 22191789 | 15114033 |     1820  20645 |        0 |        0
1372.69/1373.14	c 1373s |      27 | 22220944 | 15133033 |     1820  20666 |        0 |        0
1374.69/1375.15	c 1375s |      27 | 22251879 | 15152833 |     1820  20688 |        0 |        0
1376.69/1377.16	c 1377s |      27 | 22284253 | 15172733 |     1820  20709 |        0 |        0
1378.69/1379.17	c 1379s |      27 | 22316323 | 15193333 |     1820  20732 |        0 |        0
1380.69/1381.17	c 1381s |      27 | 22342304 | 15211733 |     1820  20752 |        0 |        0
1382.68/1383.18	c 1383s |      27 | 22370020 | 15231433 |     1820  20773 |        0 |        0
1384.68/1385.18	c 1385s |      27 | 22395913 | 15250033 |     1820  20793 |        0 |        0
1386.69/1387.18	c 1387s |      27 | 22429491 | 15271733 |     1820  20816 |        0 |        0
1388.68/1389.19	c 1389s |      27 | 22461911 | 15293433 |     1820  20840 |        0 |        0
1390.68/1391.19	c 1391s |      27 | 22494943 | 15314433 |     1820  20862 |        0 |        0
1392.78/1393.20	c 1393s |      27 | 22523835 | 15333633 |     1820  20883 |        0 |        0
1394.78/1395.20	c 1395s |      27 | 22556394 | 15355033 |     1820  20907 |        0 |        0
1396.78/1397.21	c 1397s |      27 | 22586962 | 15375133 |     1820  20928 |        0 |        0
1398.79/1399.21	c 1399s |      27 | 22619031 | 15396033 |     1820  20951 |        0 |        0
1400.78/1401.22	c 1401s |      27 | 22652213 | 15416933 |     1820  20974 |        0 |        0
1402.78/1403.22	c 1403s |      27 | 22682044 | 15437333 |     1820  20996 |        0 |        0
1404.78/1405.23	c 1405s |      27 | 22710139 | 15456333 |     1820  21016 |        0 |        0
1406.78/1407.24	c 1407s |      27 | 22739971 | 15476033 |     1820  21037 |        0 |        0
1408.78/1409.24	c 1409s |      27 | 22771467 | 15496133 |     1820  21059 |        0 |        0
1410.78/1411.24	c 1411s |      27 | 22804193 | 15516933 |     1820  21082 |        0 |        0
1412.78/1413.25	c 1413s |      27 | 22836515 | 15537333 |     1820  21104 |        0 |        0
1414.78/1415.25	c 1415s |      27 | 22868329 | 15557733 |     1820  21126 |        0 |        0
1416.78/1417.26	c 1417s |      27 | 22899430 | 15578833 |     1820  21149 |        0 |        0
1418.78/1419.27	c 1419s |      27 | 22924203 | 15597333 |     1820  21169 |        0 |        0
1420.79/1421.27	c 1421s |      27 | 22950420 | 15616633 |     1820  21189 |        0 |        0
1422.78/1423.28	c 1423s |      27 | 22979392 | 15636233 |     1820  21210 |        0 |        0
1424.78/1425.29	c 1425s |      27 | 23009536 | 15656433 |     1820  21232 |        0 |        0
1426.78/1427.29	c 1427s |      27 | 23039024 | 15677033 |     1820  21255 |        0 |        0
1428.88/1429.30	c 1429s |      27 | 23071268 | 15698333 |     1820  21278 |        0 |        0
1430.88/1431.31	c 1431s |      27 | 23103406 | 15719633 |     1820  21301 |        0 |        0
1432.89/1433.32	c 1433s |      27 | 23134782 | 15740433 |     1820  21323 |        0 |        0
1434.88/1435.32	c 1435s |      27 | 23168234 | 15761633 |     1820  21346 |        0 |        0
1436.88/1437.32	c 1437s |      27 | 23201663 | 15783033 |     1820  21369 |        0 |        0
1438.88/1439.32	c 1439s |      27 | 23234715 | 15804233 |     1820  21392 |        0 |        0
1440.88/1441.33	c 1441s |      27 | 23269430 | 15825333 |     1820  21415 |        0 |        0
1442.88/1443.33	c 1443s |      27 | 23303143 | 15846733 |     1820  21438 |        0 |        0
1444.87/1445.34	c 1445s |      27 | 23336908 | 15868033 |     1820  21462 |        0 |        0
1446.87/1447.35	c 1447s |      27 | 23369658 | 15890133 |     1820  21485 |        0 |        0
1448.87/1449.35	c 1449s |      27 | 23403364 | 15911933 |     1820  21509 |        0 |        0
1450.87/1451.36	c 1451s |      27 | 23431555 | 15931033 |     1820  21530 |        0 |        0
1452.87/1453.37	c 1453s |      27 | 23465305 | 15951333 |     1820  21552 |        0 |        0
1454.88/1455.37	c 1455s |      27 | 23498855 | 15971933 |     1820  21574 |        0 |        0
1456.87/1457.38	c 1457s |      27 | 23530242 | 15992833 |     1820  21597 |        0 |        0
1458.87/1459.39	c 1459s |      27 | 23565588 | 16015033 |     1820  21621 |        0 |        0
1460.87/1461.39	c 1461s |      27 | 23598850 | 16035433 |     1820  21644 |        0 |        0
1462.97/1463.40	c 1463s |      27 | 23629517 | 16054833 |     1820  21665 |        0 |        0
1464.97/1465.41	c 1465s |      27 | 23663967 | 16075533 |     1820  21687 |        0 |        0
1466.97/1467.42	c 1467s |      27 | 23697028 | 16095833 |     1820  21709 |        0 |        0
1468.98/1469.42	c 1469s |      27 | 23727021 | 16115633 |     1820  21731 |        0 |        0
1470.97/1471.42	c 1471s |      27 | 23753734 | 16134133 |     1820  21751 |        0 |        0
1472.97/1473.43	c 1473s |      27 | 23784854 | 16154733 |     1820  21773 |        0 |        0
1474.97/1475.43	c 1475s |      27 | 23814111 | 16174533 |     1820  21794 |        0 |        0
1476.98/1477.43	c 1477s |      27 | 23843110 | 16193733 |     1820  21815 |        0 |        0
1478.97/1479.44	c 1479s |      27 | 23869029 | 16211633 |     1820  21835 |        0 |        0
1480.97/1481.44	c 1481s |      27 | 23901189 | 16233133 |     1820  21858 |        0 |        0
1482.97/1483.45	c 1483s |      27 | 23933050 | 16253133 |     1820  21880 |        0 |        0
1484.97/1485.45	c 1485s |      27 | 23957197 | 16271433 |     1820  21899 |        0 |        0
1486.97/1487.46	c 1487s |      27 | 23983232 | 16290233 |     1820  21920 |        0 |        0
1488.97/1489.46	c 1489s |      27 | 24010462 | 16309933 |     1820  21941 |        0 |        0
1490.97/1491.47	c 1491s |      27 | 24036743 | 16328633 |     1820  21961 |        0 |        0
1492.97/1493.48	c 1493s |      27 | 24066281 | 16349433 |     1820  21984 |        0 |        0
1494.96/1495.49	c 1495s |      27 | 24098210 | 16370833 |     1820  22007 |        0 |        0
1496.96/1497.49	c 1497s |      27 | 24127205 | 16391633 |     1820  22029 |        0 |        0
1499.06/1499.50	c 1499s |      27 | 24156751 | 16412433 |     1820  22052 |        0 |        0
1501.07/1501.51	c 1501s |      27 | 24187251 | 16432433 |     1820  22074 |        0 |        0
1503.06/1503.51	c 1503s |      27 | 24215908 | 16452233 |     1820  22095 |        0 |        0
1505.07/1505.52	c 1505s |      27 | 24245234 | 16471933 |     1820  22117 |        0 |        0
1507.07/1507.53	c 1507s |      27 | 24277429 | 16493733 |     1820  22140 |        0 |        0
1509.07/1509.53	c 1509s |      27 | 24306247 | 16513433 |     1820  22161 |        0 |        0
1511.08/1511.54	c 1511s |      27 | 24338487 | 16534333 |     1820  22184 |        0 |        0
1513.07/1513.55	c 1513s |      27 | 24370471 | 16555433 |     1820  22207 |        0 |        0
1515.07/1515.55	c 1515s |      27 | 24402778 | 16576133 |     1820  22229 |        0 |        0
1517.07/1517.56	c 1517s |      27 | 24434636 | 16597133 |     1820  22252 |        0 |        0
1519.07/1519.56	c 1519s |      27 | 24467221 | 16618533 |     1820  22275 |        0 |        0
1521.07/1521.56	c 1521s |      27 | 24501377 | 16640133 |     1820  22299 |        0 |        0
1523.07/1523.56	c 1523s |      27 | 24531093 | 16661333 |     1820  22322 |        0 |        0
1525.07/1525.57	c 1525s |      27 | 24559329 | 16681333 |     1820  22343 |        0 |        0
1527.07/1527.57	c 1527s |      27 | 24590629 | 16701533 |     1820  22365 |        0 |        0
1529.07/1529.58	c 1529s |      27 | 24624816 | 16722633 |     1820  22388 |        0 |        0
1531.07/1531.59	c 1531s |      27 | 24659083 | 16744533 |     1820  22412 |        0 |        0
1533.07/1533.59	c 1533s |      27 | 24692851 | 16766133 |     1820  22435 |        0 |        0
1535.06/1535.59	c 1535s |      27 | 24728147 | 16787633 |     1820  22458 |        0 |        0
1537.06/1537.59	c 1537s |      27 | 24761669 | 16808733 |     1820  22481 |        0 |        0
1539.06/1539.60	c 1539s |      27 | 24797276 | 16829933 |     1820  22504 |        0 |        0
1541.16/1541.60	c 1541s |      27 | 24831111 | 16851833 |     1820  22528 |        0 |        0
1543.16/1543.60	c 1543s |      27 | 24860096 | 16872033 |     1820  22550 |        0 |        0
1545.17/1545.61	c 1545s |      27 | 24894447 | 16893533 |     1820  22573 |        0 |        0
1547.16/1547.62	c 1547s |      27 | 24927512 | 16915833 |     1820  22598 |        0 |        0
1549.16/1549.63	c 1549s |      27 | 24959057 | 16936333 |     1820  22620 |        0 |        0
1551.16/1551.63	c 1551s |      27 | 24990629 | 16957133 |     1820  22642 |        0 |        0
1553.16/1553.63	c 1553s |      27 | 25022893 | 16978633 |     2003  22665 |        0 |        0
1555.16/1555.63	c 1555s |      27 | 25052678 | 16999333 |     2003  22685 |        0 |        0
1557.17/1557.64	c 1557s |      27 | 25082974 | 17019633 |     2003  22705 |        0 |        0
1559.16/1559.64	c 1559s |      27 | 25110735 | 17039433 |     2003  22725 |        0 |        0
1561.16/1561.65	c 1561s |      27 | 25142721 | 17060833 |     2003  22746 |        0 |        0
1563.16/1563.66	c 1563s |      27 | 25173966 | 17080933 |     2003  22766 |        0 |        0
1564.56/1565.05	c 1565s |      28 | 25196307 | 17095205 |     2003  22780 |        0 |        0
1566.56/1567.06	c 1567s |      28 | 25224017 | 17116005 |     2003  22800 |        0 |        0
1568.56/1569.07	c 1569s |      28 | 25251846 | 17136405 |     2003  22820 |        0 |        0
1570.55/1571.08	c 1571s |      28 | 25276808 | 17155405 |     2003  22838 |        0 |        0
1572.56/1573.08	c 1573s |      28 | 25301648 | 17174005 |     2003  22856 |        0 |        0
1574.55/1575.09	c 1575s |      28 | 25327767 | 17193405 |     2003  22875 |        0 |        0
1576.55/1577.10	c 1577s |      28 | 25355678 | 17213505 |     2003  22895 |        0 |        0
1578.65/1579.10	c 1579s |      28 | 25384222 | 17234105 |     2003  22915 |        0 |        0
1580.65/1581.10	c 1581s |      28 | 25411371 | 17255005 |     2003  22936 |        0 |        0
1582.65/1583.10	c 1583s |      28 | 25440318 | 17275605 |     2003  22956 |        0 |        0
1584.66/1585.11	c 1585s |      28 | 25471394 | 17297005 |     2003  22977 |        0 |        0
1586.65/1587.12	c 1587s |      28 | 25500785 | 17317405 |     2003  22997 |        0 |        0
1588.65/1589.12	c 1589s |      28 | 25531286 | 17338705 |     2003  23018 |        0 |        0
1590.66/1591.12	c 1591s |      28 | 25562741 | 17359105 |     2003  23038 |        0 |        0
1592.66/1593.13	c 1593s |      28 | 25593515 | 17379305 |     2003  23058 |        0 |        0
1594.66/1595.14	c 1595s |      28 | 25622914 | 17400205 |     2003  23078 |        0 |        0
1596.66/1597.14	c 1597s |      28 | 25649058 | 17419105 |     2003  23096 |        0 |        0
1598.65/1599.15	c 1599s |      28 | 25673499 | 17437105 |     2003  23114 |        0 |        0
1600.65/1601.15	c 1601s |      28 | 25700103 | 17456305 |     2003  23133 |        0 |        0
1602.65/1603.16	c 1603s |      28 | 25726845 | 17474905 |     2003  23151 |        0 |        0
1604.65/1605.17	c 1605s |      28 | 25753876 | 17494105 |     2003  23170 |        0 |        0
1606.66/1607.17	c 1607s |      28 | 25781754 | 17513505 |     2003  23189 |        0 |        0
1608.65/1609.17	c 1609s |      28 | 25808770 | 17532705 |     2003  23208 |        0 |        0
1610.65/1611.18	c 1611s |      28 | 25833527 | 17550605 |     2003  23225 |        0 |        0
1612.65/1613.19	c 1613s |      28 | 25860064 | 17569505 |     2003  23244 |        0 |        0
1614.65/1615.19	c 1615s |      28 | 25886454 | 17588105 |     2003  23262 |        0 |        0
1616.75/1617.20	c 1617s |      28 | 25908092 | 17604405 |     2003  23279 |        0 |        0
1618.75/1619.20	c 1619s |      28 | 25931908 | 17622105 |     2003  23296 |        0 |        0
1620.75/1621.21	c 1621s |      28 | 25959024 | 17641805 |     2003  23315 |        0 |        0
1622.75/1623.22	c 1623s |      28 | 25984306 | 17659705 |     2003  23333 |        0 |        0
1624.75/1625.23	c 1625s |      28 | 26012473 | 17679105 |     2003  23352 |        0 |        0
1626.75/1627.23	c 1627s |      28 | 26040230 | 17698505 |     2003  23371 |        0 |        0
1628.75/1629.24	c 1629s |      28 | 26064830 | 17716205 |     2003  23389 |        0 |        0
1630.74/1631.24	c 1631s |      28 | 26095854 | 17736905 |     2003  23409 |        0 |        0
1632.74/1633.25	c 1633s |      28 | 26126257 | 17757505 |     2003  23429 |        0 |        0
1634.74/1635.25	c 1635s |      28 | 26156834 | 17778305 |     2003  23450 |        0 |        0
1636.74/1637.26	c 1637s |      28 | 26186089 | 17799005 |     2003  23470 |        0 |        0
1638.74/1639.27	c 1639s |      28 | 26216757 | 17819505 |     2003  23490 |        0 |        0
1640.75/1641.27	c 1641s |      28 | 26246298 | 17839505 |     2003  23510 |        0 |        0
1642.75/1643.27	c 1643s |      28 | 26275591 | 17859405 |     2003  23529 |        0 |        0
1644.75/1645.28	c 1645s |      28 | 26298088 | 17876305 |     2003  23546 |        0 |        0
1646.75/1647.28	c 1647s |      28 | 26325460 | 17895405 |     2003  23565 |        0 |        0
1648.75/1649.29	c 1649s |      28 | 26354227 | 17915605 |     2003  23585 |        0 |        0
1650.75/1651.29	c 1651s |      28 | 26382557 | 17935705 |     2003  23605 |        0 |        0
1652.75/1653.30	c 1653s |      28 | 26413970 | 17957005 |     2003  23625 |        0 |        0
1654.85/1655.31	c 1655s |      28 | 26437543 | 17974905 |     2003  23643 |        0 |        0
1656.85/1657.31	c 1657s |      28 | 26463438 | 17993805 |     2003  23661 |        0 |        0
1658.84/1659.31	c 1659s |      28 | 26492003 | 18013805 |     2003  23681 |        0 |        0
1660.84/1661.32	c 1661s |      28 | 26521474 | 18034305 |     2003  23701 |        0 |        0
1662.85/1663.32	c 1663s |      28 | 26554373 | 18056405 |     2003  23723 |        0 |        0
1664.84/1665.32	c 1665s |      28 | 26584306 | 18078005 |     2003  23744 |        0 |        0
1666.84/1667.33	c 1667s |      28 | 26611738 | 18098305 |     2003  23764 |        0 |        0
1668.84/1669.34	c 1669s |      28 | 26641326 | 18118305 |     2003  23783 |        0 |        0
1670.84/1671.34	c 1671s |      28 | 26671700 | 18139205 |     2003  23804 |        0 |        0
1672.84/1673.35	c 1673s |      28 | 26700753 | 18158905 |     2003  23823 |        0 |        0
1674.85/1675.36	c 1675s |      28 | 26730824 | 18178905 |     2003  23843 |        0 |        0
1676.84/1677.36	c 1677s |      28 | 26752003 | 18195105 |     2003  23858 |        0 |        0
1678.84/1679.37	c 1679s |      28 | 26774134 | 18211205 |     2003  23874 |        0 |        0
1680.84/1681.37	c 1681s |      28 | 26798542 | 18228305 |     2003  23891 |        0 |        0
1682.84/1683.38	c 1683s |      28 | 26826305 | 18246105 |     2003  23909 |        0 |        0
1684.84/1685.39	c 1685s |      28 | 26854964 | 18265505 |     2003  23928 |        0 |        0
1686.84/1687.40	c 1687s |      28 | 26885612 | 18284605 |     2003  23946 |        0 |        0
1688.93/1689.40	c 1689s |      28 | 26915476 | 18303305 |     2003  23965 |        0 |        0
1690.93/1691.41	c 1691s |      28 | 26945107 | 18322805 |     2003  23984 |        0 |        0
1692.93/1693.42	c 1693s |      28 | 26976260 | 18342805 |     2003  24004 |        0 |        0
1694.94/1695.43	c 1695s |      28 | 27005224 | 18362205 |     2003  24022 |        0 |        0
1696.95/1697.43	c 1697s |      28 | 27033955 | 18381805 |     2003  24042 |        0 |        0
1698.94/1699.44	c 1699s |      28 | 27059249 | 18398805 |     2003  24058 |        0 |        0
1700.94/1701.44	c 1701s |      28 | 27087970 | 18417105 |     2003  24077 |        0 |        0
1702.94/1703.44	c 1703s |      28 | 27115877 | 18435205 |     2003  24094 |        0 |        0
1704.94/1705.45	c 1705s |      28 | 27143933 | 18453705 |     2003  24113 |        0 |        0
1706.94/1707.45	c 1707s |      28 | 27174567 | 18473905 |     2003  24132 |        0 |        0
1708.94/1709.46	c 1709s |      28 | 27204499 | 18493505 |     2003  24152 |        0 |        0
1710.93/1711.47	c 1711s |      28 | 27231767 | 18511905 |     2003  24170 |        0 |        0
1712.93/1713.47	c 1713s |      28 | 27253003 | 18527605 |     2003  24185 |        0 |        0
1714.93/1715.47	c 1715s |      28 | 27279067 | 18545405 |     2003  24203 |        0 |        0
1716.93/1717.49	c 1717s |      28 | 27306633 | 18563505 |     2003  24221 |        0 |        0
1718.94/1719.49	c 1719s |      28 | 27336116 | 18582505 |     2003  24239 |        0 |        0
1720.93/1721.49	c 1721s |      28 | 27360823 | 18599605 |     2003  24256 |        0 |        0
1722.93/1723.49	c 1723s |      28 | 27388859 | 18618005 |     2003  24274 |        0 |        0
1724.93/1725.49	c 1725s |      28 | 27417678 | 18637205 |     2003  24293 |        0 |        0
1727.04/1727.50	c 1727s |      28 | 27447354 | 18656905 |     2003  24313 |        0 |        0
1729.04/1729.51	c 1729s |      28 | 27476581 | 18676305 |     2003  24332 |        0 |        0
1731.04/1731.51	c 1731s |      28 | 27504406 | 18694805 |     2003  24350 |        0 |        0
1733.03/1733.52	c 1733s |      28 | 27531135 | 18712405 |     2003  24367 |        0 |        0
1735.03/1735.52	c 1735s |      28 | 27560802 | 18730805 |     2003  24385 |        0 |        0
1737.03/1737.53	c 1737s |      28 | 27589420 | 18748705 |     2003  24403 |        0 |        0
1739.03/1739.53	c 1739s |      28 | 27615277 | 18765605 |     2003  24419 |        0 |        0
1741.03/1741.53	c 1741s |      28 | 27641516 | 18783905 |     2003  24437 |        0 |        0
1743.04/1743.53	c 1743s |      28 | 27669465 | 18802305 |     2003  24455 |        0 |        0
1745.03/1745.54	c 1745s |      28 | 27696970 | 18820705 |     2003  24473 |        0 |        0
1747.03/1747.55	c 1747s |      28 | 27724835 | 18838905 |     2003  24491 |        0 |        0
1749.03/1749.55	c 1749s |      28 | 27756773 | 18858705 |     2003  24511 |        0 |        0
1751.02/1751.55	c 1751s |      28 | 27785395 | 18876905 |     2003  24529 |        0 |        0
1753.03/1753.56	c 1753s |      28 | 27816314 | 18895705 |     2003  24547 |        0 |        0
1755.02/1755.57	c 1755s |      28 | 27846804 | 18915405 |     2003  24567 |        0 |        0
1757.02/1757.57	c 1757s |      28 | 27874543 | 18933705 |     2003  24585 |        0 |        0
1759.02/1759.58	c 1759s |      28 | 27902730 | 18952705 |     2003  24603 |        0 |        0
1761.03/1761.59	c 1761s |      28 | 27930551 | 18970605 |     2003  24621 |        0 |        0
1763.03/1763.59	c 1763s |      28 | 27957893 | 18988805 |     2003  24639 |        0 |        0
1765.04/1765.60	c 1765s |      28 | 27984238 | 19006705 |     2003  24657 |        0 |        0
1767.13/1767.60	c 1767s |      28 | 28014975 | 19026505 |     2003  24676 |        0 |        0
1769.13/1769.60	c 1769s |      28 | 28041621 | 19044905 |     2003  24694 |        0 |        0
1771.13/1771.61	c 1771s |      28 | 28066716 | 19062605 |     2003  24712 |        0 |        0
1773.13/1773.61	c 1773s |      28 | 28096748 | 19082205 |     2003  24731 |        0 |        0
1775.13/1775.62	c 1775s |      28 | 28127159 | 19101405 |     2003  24750 |        0 |        0
1777.13/1777.63	c 1777s |      28 | 28156548 | 19120205 |     2003  24768 |        0 |        0
1779.12/1779.64	c 1779s |      28 | 28188536 | 19140005 |     2003  24788 |        0 |        0
1781.12/1781.64	c 1781s |      28 | 28217896 | 19158305 |     2003  24805 |        0 |        0
1783.12/1783.65	c 1783s |      28 | 28247208 | 19177105 |     2003  24824 |        0 |        0
1785.12/1785.65	c 1785s |      28 | 28275335 | 19195305 |     2003  24842 |        0 |        0
1787.13/1787.65	c 1787s |      28 | 28302335 | 19213005 |     2003  24859 |        0 |        0
1789.12/1789.66	c 1789s |      28 | 28329157 | 19230305 |     2003  24876 |        0 |        0
1791.12/1791.67	c 1791s |      28 | 28355238 | 19246805 |     2003  24893 |        0 |        0
1793.12/1793.68	c 1793s |      28 | 28382785 | 19263805 |     2003  24909 |        0 |        0
1795.12/1795.68	c 1795s |      28 | 28412337 | 19281905 |     2003  24927 |        0 |        0
1797.12/1797.69	c 1797s |      28 | 28439704 | 19299905 |     2003  24945 |        0 |        0
1799.13/1799.69	c 1799s |      28 | 28467024 | 19317905 |     2003  24963 |        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-4088658-1466011909/watcher-4088658-1466011909 -o /tmp/evaluation-result-4088658-1466011909/solver-4088658-1466011909 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088658-1466011909.opb 

pid=6515
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.00 2.05 2.07 3/179 6518
/proc/meminfo: memFree=30461028/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=632388 CPUtime=0 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 2347 0 0 0 0 0 0 0 20 0 4 0 3236332 647565312 2197 33554432000 4194304 16246674 140734159136112 140734159135536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 158865 2206 442 2943 0 155759 0
[pid=6518/tid=6519] ppid=6515 vsize=649796 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 665391104 2262 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=652868 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 668536832 2278 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=657988 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3236332 673779712 2295 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.00 2.05 2.07 3/179 6518
/proc/meminfo: memFree=30461028/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 24003 0 0 0 6 3 0 0 20 0 4 0 3236332 1247350784 23843 33554432000 4194304 16246674 140734159136112 140734159135536 6010521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 304529 23851 716 2943 0 301423 0
[pid=6518/tid=6519] ppid=6515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1247350784 23856 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1247350784 23864 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3236332 1247350784 23874 33554432000 4194304 16246674 140734159136112 139698050682032 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.200498 s]
/proc/loadavg: 2.00 2.05 2.07 3/179 6518
/proc/meminfo: memFree=30461028/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 45768 0 0 0 13 6 0 0 20 0 4 0 3236332 1247350784 45607 33554432000 4194304 16246674 140734159136112 140734159135536 5664948 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 304529 45616 716 2943 0 301423 0
[pid=6518/tid=6519] ppid=6515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1247350784 45625 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1247350784 45632 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3236332 1247350784 45638 33554432000 4194304 16246674 140734159136112 139698050682032 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.300472 s]
/proc/loadavg: 2.00 2.05 2.07 3/179 6518
/proc/meminfo: memFree=30461028/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 68286 0 0 0 20 9 0 0 20 0 4 0 3236332 1247350784 68126 33554432000 4194304 16246674 140734159136112 140734159135536 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 304529 68134 717 2943 0 301423 0
[pid=6518/tid=6519] ppid=6515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1247350784 68141 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1247350784 68148 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3236332 1247350784 68153 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700393 s]
/proc/loadavg: 2.00 2.05 2.07 3/179 6518
/proc/meminfo: memFree=30461028/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 156810 0 0 0 48 20 0 0 20 0 4 0 3236332 1247350784 156650 33554432000 4194304 16246674 140734159136112 140734159119112 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 304529 156659 717 2943 0 301423 0
[pid=6518/tid=6519] ppid=6515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1247350784 156665 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1247350784 156672 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3236332 1247350784 156678 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.00 2.05 2.07 3/183 6522
/proc/meminfo: memFree=29481164/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 245591 0 0 0 117 32 0 0 20 0 4 0 3236332 1248399360 245410 33554432000 4194304 16246674 140734159136112 140734159119112 5670792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 304785 245410 791 2943 0 301679 0
[pid=6518/tid=6519] ppid=6515 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1248399360 245410 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1248399360 245410 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1248399360 245410 33554432000 4194304 16246674 140734159136112 139698050682032 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.10041 s]
/proc/loadavg: 2.00 2.05 2.07 4/183 6522
/proc/meminfo: memFree=29393604/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 267416 0 0 0 273 35 0 0 20 0 4 0 3236332 1337528320 267235 33554432000 4194304 16246674 140734159136112 140734159118016 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 326545 267235 791 2943 0 323439 0
[pid=6518/tid=6519] ppid=6515 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1337528320 267235 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1337528320 267235 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1337528320 267235 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.00 2.05 2.07 3/183 6522
/proc/meminfo: memFree=29392524/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 267525 0 0 0 593 36 0 0 20 0 4 0 3236332 1337528320 267344 33554432000 4194304 16246674 140734159136112 140734159119112 5666984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 326545 267344 791 2943 0 323439 0
[pid=6518/tid=6519] ppid=6515 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1337528320 267344 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1337528320 267344 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1337528320 267344 33554432000 4194304 16246674 140734159136112 139698050682032 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.00 2.05 2.07 3/183 6522
/proc/meminfo: memFree=29392620/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 267526 0 0 0 1233 36 0 0 20 0 4 0 3236332 1337528320 267345 33554432000 4194304 16246674 140734159136112 140734159118016 6837445 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 326545 267345 791 2943 0 323439 0
[pid=6518/tid=6519] ppid=6515 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1337528320 267345 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1337528320 267345 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1337528320 267345 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.00 2.04 2.07 3/183 6522
/proc/meminfo: memFree=29392988/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 267538 0 0 0 2512 36 0 0 20 0 4 0 3236332 1337528320 267357 33554432000 4194304 16246674 140734159136112 140734159118016 8224776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 326545 267357 792 2943 0 323439 0
[pid=6518/tid=6519] ppid=6515 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1337528320 267357 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1337528320 267357 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1337528320 267357 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.06 2.05 2.07 3/183 6522
/proc/meminfo: memFree=29390236/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 267723 0 0 0 5071 37 0 0 20 0 4 0 3236332 1338576896 267542 33554432000 4194304 16246674 140734159136112 140734159118016 5523124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 326801 267542 794 2943 0 323695 0
[pid=6518/tid=6519] ppid=6515 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1338576896 267542 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1338576896 267542 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1338576896 267542 33554432000 4194304 16246674 140734159136112 139698050682032 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.09 2.06 2.07 3/184 6524
/proc/meminfo: memFree=29389616/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 267781 0 0 0 10190 38 0 0 20 0 4 0 3236332 1338576896 267600 33554432000 4194304 16246674 140734159136112 140734159118016 12474918 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 326801 267600 794 2943 0 323695 0
[pid=6518/tid=6519] ppid=6515 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1338576896 267600 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1338576896 267600 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1338576896 267600 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 139698050682032 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) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.11 2.13 2.07 3/183 6603
/proc/meminfo: memFree=29389332/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1308228 CPUtime=1361.89 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 268239 0 0 0 136120 69 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 140734159119112 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 327057 267934 797 2943 0 323951 0
[pid=6518/tid=6519] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.10 2.12 2.07 3/183 6605
/proc/meminfo: memFree=29383544/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1308228 CPUtime=1421.89 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 268239 0 0 0 142119 70 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 140734159118016 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 327057 267934 797 2943 0 323951 0
[pid=6518/tid=6519] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.03 2.09 2.06 3/183 6606
/proc/meminfo: memFree=29382296/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1308228 CPUtime=1481.87 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 268239 0 0 0 148116 71 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 140734159118016 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 327057 267934 797 2943 0 323951 0
[pid=6518/tid=6519] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.16 2.11 2.07 3/183 6607
/proc/meminfo: memFree=29372240/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1308228 CPUtime=1541.87 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 268239 0 0 0 154115 72 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 140734159118016 13923792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 327057 267934 797 2943 0 323951 0
[pid=6518/tid=6519] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 267934 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.11 2.10 2.07 3/183 6608
/proc/meminfo: memFree=29369004/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1308228 CPUtime=1601.85 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 268420 0 0 0 160112 73 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 140734159118016 12474557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 327057 268115 797 2943 0 323951 0
[pid=6518/tid=6519] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/183 6609
/proc/meminfo: memFree=29369228/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1308228 CPUtime=1661.84 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 268420 0 0 0 166110 74 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 140734159118016 13191604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 327057 268115 797 2943 0 323951 0
[pid=6518/tid=6519] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.18 2.12 2.08 3/184 6614
/proc/meminfo: memFree=29368536/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1308228 CPUtime=1721.83 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 268420 0 0 0 172108 75 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 140734159118016 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 327057 268115 797 2943 0 323951 0
[pid=6518/tid=6519] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.16 2.12 2.08 3/184 6637
/proc/meminfo: memFree=29368584/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1308228 CPUtime=1781.82 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 268420 0 0 0 178105 77 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 140734159118016 12483674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 327057 268115 797 2943 0 323951 0
[pid=6518/tid=6519] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.11 2.11 2.08 3/184 6638
/proc/meminfo: memFree=29368388/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1308228 CPUtime=1800.02 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 268420 0 0 0 179925 77 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 140734159118016 6022340 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 327057 268115 797 2943 0 323951 0
[pid=6518/tid=6519] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1308228

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6518 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.11 2.11 2.08 3/184 6638
/proc/meminfo: memFree=29368388/32872528 swapFree=496356/529060
[pid=6518] ppid=6515 vsize=1308228 CPUtime=1800.02 cores=0,2,4,6
/proc/6518/stat : 6518 (toysat) R 6515 6518 5955 0 -1 4202496 268420 0 0 0 179925 77 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 140734159118016 6022340 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6518/statm: 327057 268115 797 2943 0 323951 0
[pid=6518/tid=6519] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6519/stat : 6519 (toysat) S 6515 6518 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698071645424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6518/tid=6520] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6520/stat : 6520 (toysat) S 6515 6518 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698061155568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6518/tid=6521] ppid=6515 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6518/task/6521/stat : 6521 (toysat) S 6515 6518 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3236332 1339625472 268115 33554432000 4194304 16246674 140734159136112 139698050682032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1308228

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.26
CPU system time (s): 0.776881
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 0.776881
maximum resident set size= 1072460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268420
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= 395
involuntary context switches= 1866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48732 second user time and 7.01393 second system time

The end

Begin job on node141 at 2016-06-15 19:31:49
IDJOB=4088658
IDBENCH=107295
IDSOLVER=2542
FILE ID=node141/4088658-1466011909
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid5x20split.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088658-1466011909/watcher-4088658-1466011909 -o /tmp/evaluation-result-4088658-1466011909/solver-4088658-1466011909 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088658-1466011909.opb

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

MD5SUM BENCH= 5a98b135f390caa9849cd49e757e033d
RANDOM SEED=361360279

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30462192 kB
Buffers:            7852 kB
Cached:            70772 kB
SwapCached:        13076 kB
Active:          1147280 kB
Inactive:          32132 kB
Active(anon):    1091396 kB
Inactive(anon):    12008 kB
Active(file):      55884 kB
Inactive(file):    20124 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088052 kB
Dirty:             16616 kB
Writeback:             0 kB
AnonPages:       1620484 kB
Mapped:            10384 kB
Shmem:                 0 kB
Slab:             566228 kB
SReclaimable:      10008 kB
SUnreclaim:       556220 kB
KernelStack:        1520 kB
PageTables:         7180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1764220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    792576 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= 71716 MiB
End job on node141 at 2016-06-15 20:01:50