0.00/0.00	c 2016-06-16T20:29:11+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-4096057-1466101751.opb"]
0.00/0.01	c use --random-gen="1676818045 2654852138 4179799164 3586518987 2817604859 3296319195 48449861 4145464199 2629654931 2739844865 1319527603 52707888 4294407508 203750778 1963487393 1687700400 614611990 2530403029 3677372046 2207182798 1685903447 3607330243 660759517 3102867857 1285838322 3066247415 3018163238 2554560191 2921184918 3991840536 2491468619 4094118801 4248492270 1835964077 3337125340 1498638523 2454332511 2809729486 816915080 4191604190 3529745857 1517080391 2943279869 1301516026 207849479 3395098547 531295827 142004761 2866507889 717415426 370764791 1720245751 3828629843 1487945968 1039173615 2125073792 592583293 780473358 1698892028 1704001103 685683256 3885705112 2064375859 3999317070 1886132346 290737262 1276894165 2024795710 3363454817 3843708630 4085000857 1543507183 3266678672 1974772783 1969437507 2319805784 3386966789 540815975 1700069628 3442731589 102714358 577014326 1897828564 3753263359 3449506618 745298262 3115025013 1003980834 2637592683 739690664 437511018 1882412768 4160142542 1267141014 4273540214 784257108 881049762 3271096965 1124741072 1664541885 3879111108 503922443 2593938490 3973921982 3624368279 3558994908 436242890 1915118006 646053449 865404001 376956497 1342176071 214935417 754075243 3442345352 2749656686 194276239 2402269938 3806767709 1654466062 3135683103 2887875147 2680221442 255959460 2324016910 4042299207 1157872122 864347138 2195420219 2620783834 3187555852 2741132608 522599794 392979699 4053692399 4117106859 3448341068 241119857 3376116361 3544913536 943245646 988125719 3259968981 585854118 3150842781 1384168880 2940326022 2601964870 1518820437 30111178 3178070861 1677574855 2787107164 4215125783 4167693184 99679166 2265808870 3637140428 1533533302 1590938991 402736504 2641640704 1676142730 1074869894 390604731 2801135251 1084191525 1202790074 3098941739 1903905009 4129059430 2093003352 1979782679 375150799 1760490750 1125694193 1953968330 2623342281 1583115917 4072530011 3871778948 3157718969 1628367029 3789438599 2564674425 1388598237 535117476 487565161 1452980633 3734432595 3951089378 3753020024 3339496627 2292126183 3921335769 2534741230 892284349 1641786314 1977137834 3376109606 3231749802 2519711219 3677080629 1132776618 3746264293 479771542 70702856 3130860873 3572430007 1959808522 1316193684 998342957 2197144616 1344807268 2754550697 1555966050 3164408422 2083767928 494397537 1477138934 3699677902 2250362881 3854670565 1662481092 2076580023 3111361937 1217067401 3888992198 2045390251 3625467263 3468395299 610463727 810629184 2623284012 3992661250 2301431357 3330909393 527685228 1518064003 2836997637 3862513423 1268173673 3969823955 3764246411 219809241 2332073584 4136852650 4124520630 1509152074 3263557404 760847411 2202358239 461837396 3597106612 3093973535 553222373 255 362436" option to reproduce the execution
0.00/0.01	c #vars 301
0.00/0.01	c #constraints 150
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 |      150      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      215 |      100 |      150      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      434 |      250 |      165      1 |        0 |        0
0.00/0.05	c  0.0s |       3 |      764 |      475 |      182      1 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1231 |      813 |      201      4 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2061 |     1320 |      222      6 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3030 |     2081 |      270     10 |        0 |        0
0.29/0.36	c  0.3s |       7 |     4749 |     3223 |      297     15 |        0 |        0
0.49/0.54	c  0.5s |       8 |     7090 |     4936 |      327     22 |        0 |        0
0.79/0.84	c  0.8s |       9 |    10459 |     7506 |      360     32 |        0 |        0
1.19/1.20	c  1.2s |      10 |    15677 |    11361 |      397     46 |        0 |        0
1.59/1.67	c  1.7s |      11 |    23940 |    17144 |      437     66 |        0 |        0
2.30/2.39	c  2.4s |      12 |    36423 |    25819 |      481     95 |        0 |        0
3.40/3.46	c  3.4s |      13 |    55561 |    38832 |      530    135 |        0 |        0
5.09/5.19	c  5.2s |      14 |    81745 |    58352 |      583    189 |        0 |        0
7.19/7.20	c  7.2s |      14 |   115608 |    82952 |      583    254 |        0 |        0
7.49/7.59	c  7.6s |      15 |   122242 |    87632 |      642    266 |        0 |        0
9.59/9.60	c  9.6s |      15 |   150371 |   108532 |      642    317 |        0 |        0
11.59/11.60	c 11.6s |      15 |   179397 |   130532 |      642    372 |        0 |        0
11.69/11.70	c 11.7s |      16 |   180731 |   131552 |      707    374 |        0 |        0
13.69/13.71	c 13.7s |      16 |   207523 |   152052 |      707    421 |        0 |        0
15.69/15.71	c 15.7s |      16 |   235514 |   173452 |      707    471 |        0 |        0
17.69/17.72	c 17.7s |      16 |   264158 |   194652 |      707    520 |        0 |        0
17.89/17.98	c 18.0s |      17 |   267809 |   197432 |      778    526 |        0 |        0
19.89/19.98	c 20.0s |      17 |   293301 |   217132 |      778    566 |        0 |        0
21.88/21.99	c 22.0s |      17 |   319032 |   237032 |      778    608 |        0 |        0
23.88/24.00	c 24.0s |      17 |   347399 |   258032 |      778    651 |        0 |        0
25.98/26.00	c 26.0s |      17 |   375328 |   279232 |      778    695 |        0 |        0
27.49/27.58	c 27.6s |      18 |   397972 |   296252 |      856    730 |        0 |        0
29.48/29.58	c 29.6s |      18 |   425422 |   317452 |      856    771 |        0 |        0
31.48/31.58	c 31.6s |      18 |   454091 |   339252 |      856    815 |        0 |        0
33.48/33.58	c 33.6s |      18 |   482924 |   360852 |      856    857 |        0 |        0
35.48/35.59	c 35.6s |      18 |   511015 |   382352 |      856    900 |        0 |        0
37.49/37.59	c 37.6s |      18 |   538396 |   403352 |      856    941 |        0 |        0
39.48/39.60	c 39.6s |      18 |   567235 |   424752 |      856    984 |        0 |        0
41.48/41.56	c 41.5s |      19 |   593136 |   444482 |      942   1022 |        0 |        0
43.48/43.56	c 43.5s |      19 |   618724 |   463682 |      942   1057 |        0 |        0
45.48/45.56	c 45.5s |      19 |   645719 |   483982 |      942   1095 |        0 |        0
47.48/47.57	c 47.6s |      19 |   672919 |   504382 |      942   1133 |        0 |        0
49.48/49.58	c 49.6s |      19 |   699021 |   524282 |      942   1170 |        0 |        0
51.48/51.58	c 51.6s |      19 |   725045 |   544482 |      942   1207 |        0 |        0
53.48/53.58	c 53.6s |      19 |   751825 |   564682 |      942   1245 |        0 |        0
55.48/55.60	c 55.6s |      19 |   777974 |   584682 |      942   1282 |        0 |        0
57.58/57.61	c 57.6s |      19 |   805054 |   605182 |      942   1320 |        0 |        0
59.58/59.62	c 59.6s |      19 |   831362 |   625482 |      942   1358 |        0 |        0
61.59/61.63	c 61.6s |      19 |   856138 |   644982 |      942   1394 |        0 |        0
63.58/63.63	c 63.6s |      19 |   881833 |   664682 |     1037   1430 |        0 |        0
63.78/63.85	c 63.8s |      20 |   884824 |   666827 |     1037   1434 |        0 |        0
65.78/65.86	c 65.8s |      20 |   907500 |   685427 |     1037   1464 |        0 |        0
67.78/67.86	c 67.8s |      20 |   933005 |   705627 |     1037   1497 |        0 |        0
69.77/69.87	c 69.9s |      20 |   956036 |   724427 |     1037   1528 |        0 |        0
71.77/71.87	c 71.9s |      20 |   980986 |   743727 |     1037   1560 |        0 |        0
73.78/73.88	c 73.9s |      20 |  1003952 |   761427 |     1037   1589 |        0 |        0
75.77/75.89	c 75.9s |      20 |  1028576 |   780327 |     1037   1621 |        0 |        0
77.78/77.89	c 77.9s |      20 |  1052666 |   798627 |     1037   1651 |        0 |        0
79.78/79.89	c 79.9s |      20 |  1074416 |   815827 |     1037   1679 |        0 |        0
81.88/81.90	c 81.9s |      20 |  1097809 |   834427 |     1037   1710 |        0 |        0
83.88/83.91	c 83.9s |      20 |  1122365 |   853627 |     1037   1742 |        0 |        0
85.88/85.92	c 85.9s |      20 |  1145830 |   871527 |     1037   1771 |        0 |        0
87.88/87.93	c 87.9s |      20 |  1168599 |   889727 |     1037   1801 |        0 |        0
89.88/89.94	c 89.9s |      20 |  1193185 |   909127 |     1037   1834 |        0 |        0
91.88/91.94	c 91.9s |      20 |  1216731 |   927627 |     1037   1864 |        0 |        0
93.87/93.95	c 93.9s |      20 |  1240661 |   946427 |     1037   1896 |        0 |        0
95.88/95.96	c 95.9s |      20 |  1265955 |   966227 |     1037   1928 |        0 |        0
97.88/97.96	c 98.0s |      20 |  1288272 |   984227 |     1037   1958 |        0 |        0
99.57/99.68	c 99.7s |      21 |  1309200 |  1000345 |     1141   1984 |        0 |        0
101.57/101.69	c  101s |      21 |  1335284 |  1020545 |     1141   2019 |        0 |        0
103.57/103.69	c  103s |      21 |  1361970 |  1040745 |     1141   2053 |        0 |        0
105.58/105.70	c  105s |      21 |  1389109 |  1061645 |     1141   2089 |        0 |        0
107.67/107.70	c  107s |      21 |  1417295 |  1083345 |     1141   2126 |        0 |        0
109.67/109.70	c  109s |      21 |  1444155 |  1103945 |     1141   2162 |        0 |        0
111.68/111.70	c  111s |      21 |  1469464 |  1124045 |     1141   2196 |        0 |        0
113.67/113.70	c  113s |      21 |  1495796 |  1144545 |     1141   2231 |        0 |        0
115.67/115.71	c  115s |      21 |  1522135 |  1164545 |     1141   2265 |        0 |        0
117.68/117.71	c  117s |      21 |  1550247 |  1185745 |     1141   2300 |        0 |        0
119.67/119.72	c  119s |      21 |  1577659 |  1206045 |     1141   2335 |        0 |        0
121.67/121.72	c  121s |      21 |  1605416 |  1226545 |     1141   2370 |        0 |        0
123.67/123.72	c  123s |      21 |  1632665 |  1246745 |     1141   2404 |        0 |        0
125.67/125.73	c  125s |      21 |  1659926 |  1266945 |     1141   2439 |        0 |        0
127.68/127.73	c  127s |      21 |  1687650 |  1287145 |     1141   2473 |        0 |        0
129.67/129.73	c  129s |      21 |  1714290 |  1307345 |     1141   2507 |        0 |        0
131.67/131.74	c  131s |      21 |  1742881 |  1328445 |     1141   2543 |        0 |        0
133.67/133.75	c  133s |      21 |  1769997 |  1348945 |     1141   2579 |        0 |        0
135.67/135.76	c  135s |      21 |  1797733 |  1369345 |     1141   2613 |        0 |        0
137.67/137.76	c  137s |      21 |  1825201 |  1389945 |     1141   2649 |        0 |        0
139.67/139.77	c  139s |      21 |  1851032 |  1409545 |     1141   2682 |        0 |        0
141.66/141.77	c  141s |      21 |  1879665 |  1430645 |     1141   2718 |        0 |        0
143.66/143.77	c  143s |      21 |  1906630 |  1451145 |     1141   2753 |        0 |        0
145.66/145.79	c  145s |      21 |  1933599 |  1471645 |     1141   2788 |        0 |        0
147.66/147.79	c  147s |      21 |  1959915 |  1491445 |     1256   2821 |        0 |        0
148.76/148.83	c  148s |      22 |  1972001 |  1500622 |     1256   2835 |        0 |        0
150.78/150.84	c  150s |      22 |  1991608 |  1516722 |     1256   2857 |        0 |        0
152.77/152.85	c  152s |      22 |  2010972 |  1532222 |     1256   2879 |        0 |        0
154.77/154.86	c  154s |      22 |  2032041 |  1548422 |     1256   2902 |        0 |        0
156.77/156.86	c  156s |      22 |  2053038 |  1564522 |     1256   2924 |        0 |        0
158.77/158.87	c  158s |      22 |  2073917 |  1580722 |     1256   2948 |        0 |        0
160.77/160.88	c  160s |      22 |  2095040 |  1596722 |     1256   2970 |        0 |        0
162.77/162.89	c  162s |      22 |  2115171 |  1611922 |     1256   2992 |        0 |        0
164.77/164.89	c  164s |      22 |  2134917 |  1627022 |     1256   3013 |        0 |        0
166.77/166.89	c  166s |      22 |  2156022 |  1643122 |     1256   3036 |        0 |        0
168.77/168.89	c  168s |      22 |  2178199 |  1659622 |     1256   3060 |        0 |        0
170.87/170.90	c  170s |      22 |  2202905 |  1677622 |     1256   3085 |        0 |        0
172.87/172.91	c  172s |      22 |  2224041 |  1693622 |     1256   3108 |        0 |        0
174.87/174.91	c  174s |      22 |  2245755 |  1709722 |     1256   3131 |        0 |        0
176.86/176.92	c  176s |      22 |  2265806 |  1725222 |     1256   3153 |        0 |        0
178.86/178.93	c  178s |      22 |  2288888 |  1742322 |     1256   3177 |        0 |        0
180.86/180.93	c  180s |      22 |  2310490 |  1758622 |     1256   3201 |        0 |        0
182.86/182.94	c  182s |      22 |  2332098 |  1775222 |     1256   3224 |        0 |        0
184.87/184.95	c  184s |      22 |  2354708 |  1792522 |     1256   3249 |        0 |        0
186.86/186.95	c  186s |      22 |  2375599 |  1808622 |     1256   3272 |        0 |        0
188.86/188.97	c  188s |      22 |  2395286 |  1824122 |     1256   3294 |        0 |        0
190.86/190.98	c  190s |      22 |  2416606 |  1840022 |     1256   3316 |        0 |        0
192.86/193.00	c  192s |      22 |  2438449 |  1856022 |     1256   3339 |        0 |        0
194.96/195.00	c  194s |      22 |  2459808 |  1872422 |     1256   3362 |        0 |        0
196.96/197.01	c  196s |      22 |  2481007 |  1889222 |     1256   3386 |        0 |        0
198.96/199.01	c  199s |      22 |  2502047 |  1905422 |     1256   3409 |        0 |        0
200.96/201.02	c  201s |      22 |  2523060 |  1922022 |     1256   3433 |        0 |        0
202.96/203.02	c  203s |      22 |  2544256 |  1938322 |     1256   3456 |        0 |        0
204.95/205.03	c  205s |      22 |  2566421 |  1955022 |     1256   3480 |        0 |        0
206.95/207.03	c  207s |      22 |  2587520 |  1971322 |     1256   3503 |        0 |        0
208.96/209.03	c  209s |      22 |  2608491 |  1987022 |     1256   3526 |        0 |        0
210.95/211.04	c  211s |      22 |  2632014 |  2004222 |     1256   3550 |        0 |        0
212.95/213.05	c  213s |      22 |  2656388 |  2021922 |     1256   3576 |        0 |        0
214.95/215.05	c  215s |      22 |  2679965 |  2039222 |     1256   3600 |        0 |        0
216.95/217.05	c  217s |      22 |  2702372 |  2056422 |     1256   3625 |        0 |        0
218.96/219.06	c  219s |      22 |  2726024 |  2074422 |     1256   3650 |        0 |        0
220.95/221.07	c  221s |      22 |  2746651 |  2090422 |     1256   3673 |        0 |        0
222.95/223.07	c  223s |      22 |  2769267 |  2107222 |     1256   3697 |        0 |        0
224.96/225.08	c  225s |      22 |  2791320 |  2124022 |     1256   3721 |        0 |        0
226.96/227.09	c  227s |      22 |  2812978 |  2140622 |     1256   3745 |        0 |        0
228.96/229.10	c  229s |      22 |  2837371 |  2158322 |     1256   3770 |        0 |        0
230.96/231.10	c  231s |      22 |  2860322 |  2175322 |     1256   3794 |        0 |        0
233.06/233.11	c  233s |      22 |  2883850 |  2192822 |     1256   3819 |        0 |        0
235.06/235.11	c  235s |      22 |  2905186 |  2209622 |     1256   3843 |        0 |        0
237.05/237.11	c  237s |      22 |  2928507 |  2227022 |     1256   3868 |        0 |        0
239.05/239.12	c  239s |      22 |  2950402 |  2243522 |     1382   3890 |        0 |        0
239.86/239.99	c  239s |      23 |  2960095 |  2251038 |     1382   3900 |        0 |        0
241.85/241.99	c  241s |      23 |  2981443 |  2267938 |     1382   3922 |        0 |        0
243.95/244.00	c  243s |      23 |  3005609 |  2285738 |     1382   3944 |        0 |        0
245.95/246.01	c  246s |      23 |  3030196 |  2304138 |     1382   3968 |        0 |        0
247.95/248.02	c  248s |      23 |  3054120 |  2322238 |     1382   3992 |        0 |        0
249.95/250.02	c  250s |      23 |  3075768 |  2338838 |     1382   4014 |        0 |        0
251.96/252.03	c  252s |      23 |  3096673 |  2354838 |     1382   4034 |        0 |        0
253.95/254.03	c  254s |      23 |  3119234 |  2371638 |     1382   4056 |        0 |        0
255.95/256.04	c  256s |      23 |  3140572 |  2387338 |     1382   4077 |        0 |        0
257.95/258.05	c  258s |      23 |  3161200 |  2403038 |     1382   4097 |        0 |        0
259.95/260.06	c  260s |      23 |  3183183 |  2420138 |     1382   4120 |        0 |        0
261.95/262.06	c  262s |      23 |  3206335 |  2437838 |     1382   4143 |        0 |        0
263.95/264.07	c  264s |      23 |  3230368 |  2455538 |     1382   4166 |        0 |        0
265.94/266.08	c  266s |      23 |  3253764 |  2472838 |     1382   4189 |        0 |        0
267.94/268.08	c  268s |      23 |  3274344 |  2489138 |     1382   4210 |        0 |        0
269.94/270.09	c  270s |      23 |  3297449 |  2506438 |     1382   4233 |        0 |        0
271.94/272.09	c  272s |      23 |  3320368 |  2523638 |     1382   4255 |        0 |        0
274.04/274.10	c  274s |      23 |  3343092 |  2540538 |     1382   4277 |        0 |        0
275.94/276.10	c  276s |      23 |  3367567 |  2558638 |     1382   4301 |        0 |        0
278.05/278.10	c  278s |      23 |  3393143 |  2577338 |     1382   4325 |        0 |        0
280.05/280.11	c  280s |      23 |  3416482 |  2594838 |     1382   4348 |        0 |        0
282.05/282.12	c  282s |      23 |  3439027 |  2611838 |     1382   4370 |        0 |        0
284.05/284.12	c  284s |      23 |  3461607 |  2628838 |     1382   4393 |        0 |        0
286.06/286.12	c  286s |      23 |  3482127 |  2645038 |     1382   4414 |        0 |        0
288.05/288.13	c  288s |      23 |  3503870 |  2661638 |     1382   4436 |        0 |        0
290.05/290.14	c  290s |      23 |  3526755 |  2679038 |     1382   4459 |        0 |        0
292.05/292.15	c  292s |      23 |  3550315 |  2696338 |     1382   4481 |        0 |        0
294.05/294.16	c  294s |      23 |  3574318 |  2713738 |     1382   4504 |        0 |        0
296.05/296.17	c  296s |      23 |  3597602 |  2731138 |     1382   4527 |        0 |        0
298.05/298.17	c  298s |      23 |  3619000 |  2747738 |     1382   4549 |        0 |        0
300.05/300.18	c  300s |      23 |  3641718 |  2764438 |     1382   4571 |        0 |        0
302.05/302.18	c  302s |      23 |  3665057 |  2781538 |     1382   4593 |        0 |        0
304.04/304.19	c  304s |      23 |  3687847 |  2798338 |     1382   4615 |        0 |        0
306.14/306.20	c  306s |      23 |  3706531 |  2813238 |     1382   4635 |        0 |        0
308.14/308.20	c  308s |      23 |  3728503 |  2829738 |     1382   4657 |        0 |        0
310.15/310.21	c  310s |      23 |  3751315 |  2846738 |     1382   4679 |        0 |        0
312.14/312.21	c  312s |      23 |  3772462 |  2863138 |     1382   4701 |        0 |        0
314.14/314.22	c  314s |      23 |  3796193 |  2880938 |     1382   4724 |        0 |        0
316.14/316.22	c  316s |      23 |  3820821 |  2898938 |     1382   4748 |        0 |        0
318.14/318.23	c  318s |      23 |  3845228 |  2916738 |     1382   4771 |        0 |        0
320.14/320.24	c  320s |      23 |  3868620 |  2933638 |     1382   4793 |        0 |        0
322.14/322.25	c  322s |      23 |  3889815 |  2949938 |     1382   4814 |        0 |        0
324.14/324.25	c  324s |      23 |  3911702 |  2966338 |     1382   4836 |        0 |        0
326.13/326.26	c  326s |      23 |  3934416 |  2982938 |     1382   4858 |        0 |        0
328.13/328.26	c  328s |      23 |  3959194 |  3001038 |     1382   4881 |        0 |        0
330.14/330.26	c  330s |      23 |  3981837 |  3018138 |     1382   4904 |        0 |        0
332.15/332.27	c  332s |      23 |  4003050 |  3034238 |     1382   4925 |        0 |        0
334.14/334.27	c  334s |      23 |  4024476 |  3050538 |     1382   4946 |        0 |        0
336.14/336.28	c  336s |      23 |  4047631 |  3067438 |     1382   4968 |        0 |        0
338.14/338.28	c  338s |      23 |  4072572 |  3085738 |     1382   4992 |        0 |        0
340.14/340.29	c  340s |      23 |  4095248 |  3102938 |     1382   5015 |        0 |        0
342.24/342.30	c  342s |      23 |  4118656 |  3119838 |     1382   5037 |        0 |        0
344.24/344.30	c  344s |      23 |  4141330 |  3136338 |     1382   5059 |        0 |        0
346.24/346.31	c  346s |      23 |  4164934 |  3153338 |     1382   5081 |        0 |        0
348.24/348.32	c  348s |      23 |  4187565 |  3170438 |     1382   5104 |        0 |        0
350.24/350.33	c  350s |      23 |  4212136 |  3188238 |     1382   5127 |        0 |        0
352.24/352.33	c  352s |      23 |  4236139 |  3205538 |     1382   5150 |        0 |        0
354.24/354.34	c  354s |      23 |  4259498 |  3222638 |     1382   5172 |        0 |        0
356.23/356.35	c  356s |      23 |  4281312 |  3238838 |     1382   5193 |        0 |        0
358.23/358.35	c  358s |      23 |  4304729 |  3255838 |     1382   5215 |        0 |        0
360.23/360.35	c  360s |      23 |  4327536 |  3272938 |     1382   5238 |        0 |        0
362.23/362.36	c  362s |      23 |  4349524 |  3289338 |     1382   5259 |        0 |        0
364.23/364.37	c  364s |      23 |  4371557 |  3305438 |     1382   5280 |        0 |        0
366.24/366.37	c  366s |      23 |  4392757 |  3321738 |     1382   5302 |        0 |        0
368.23/368.38	c  368s |      23 |  4414410 |  3337838 |     1382   5323 |        0 |        0
370.23/370.39	c  370s |      23 |  4436619 |  3354638 |     1521   5345 |        0 |        0
372.33/372.40	c  372s |      23 |  4459055 |  3371238 |     1521   5365 |        0 |        0
372.94/373.05	c  373s |      24 |  4466184 |  3376662 |     1521   5371 |        0 |        0
374.93/375.06	c  375s |      24 |  4487637 |  3392962 |     1521   5391 |        0 |        0
376.93/377.07	c  377s |      24 |  4511328 |  3410262 |     1521   5411 |        0 |        0
378.93/379.07	c  379s |      24 |  4534032 |  3427262 |     1521   5431 |        0 |        0
380.93/381.08	c  381s |      24 |  4558081 |  3444662 |     1521   5452 |        0 |        0
382.93/383.08	c  383s |      24 |  4582101 |  3462262 |     1521   5473 |        0 |        0
384.93/385.08	c  385s |      24 |  4605834 |  3479962 |     1521   5494 |        0 |        0
386.92/387.09	c  387s |      24 |  4628315 |  3497262 |     1521   5515 |        0 |        0
389.02/389.10	c  389s |      24 |  4652098 |  3514562 |     1521   5536 |        0 |        0
391.03/391.11	c  391s |      24 |  4675489 |  3531762 |     1521   5556 |        0 |        0
393.03/393.11	c  393s |      24 |  4698280 |  3549362 |     1521   5577 |        0 |        0
395.03/395.11	c  395s |      24 |  4721354 |  3566762 |     1521   5598 |        0 |        0
397.04/397.12	c  397s |      24 |  4743284 |  3583562 |     1521   5618 |        0 |        0
399.03/399.13	c  399s |      24 |  4766658 |  3600962 |     1521   5639 |        0 |        0
401.03/401.14	c  401s |      24 |  4788893 |  3618162 |     1521   5659 |        0 |        0
403.03/403.14	c  403s |      24 |  4807676 |  3633562 |     1521   5678 |        0 |        0
405.03/405.16	c  405s |      24 |  4829318 |  3650162 |     1521   5698 |        0 |        0
407.04/407.16	c  407s |      24 |  4849434 |  3665962 |     1521   5716 |        0 |        0
409.03/409.17	c  409s |      24 |  4869292 |  3681762 |     1521   5735 |        0 |        0
411.03/411.17	c  411s |      24 |  4891830 |  3698662 |     1521   5756 |        0 |        0
413.03/413.17	c  413s |      24 |  4915071 |  3716062 |     1521   5776 |        0 |        0
415.03/415.18	c  415s |      24 |  4936373 |  3732562 |     1521   5796 |        0 |        0
417.03/417.18	c  417s |      24 |  4957567 |  3748862 |     1521   5816 |        0 |        0
419.03/419.19	c  419s |      24 |  4980534 |  3765962 |     1521   5836 |        0 |        0
421.03/421.19	c  421s |      24 |  5003376 |  3783462 |     1521   5857 |        0 |        0
423.12/423.20	c  423s |      24 |  5027217 |  3801362 |     1521   5878 |        0 |        0
425.12/425.21	c  425s |      24 |  5050767 |  3818862 |     1521   5899 |        0 |        0
427.12/427.21	c  427s |      24 |  5073719 |  3836262 |     1521   5920 |        0 |        0
429.12/429.23	c  429s |      24 |  5096793 |  3853362 |     1521   5941 |        0 |        0
431.13/431.23	c  431s |      24 |  5119476 |  3870762 |     1521   5961 |        0 |        0
433.12/433.24	c  433s |      24 |  5145765 |  3889762 |     1521   5984 |        0 |        0
435.12/435.25	c  435s |      24 |  5170299 |  3908262 |     1521   6007 |        0 |        0
437.12/437.25	c  437s |      24 |  5195164 |  3926662 |     1521   6029 |        0 |        0
439.12/439.26	c  439s |      24 |  5220736 |  3945162 |     1521   6051 |        0 |        0
441.13/441.26	c  441s |      24 |  5245625 |  3963662 |     1521   6074 |        0 |        0
443.12/443.26	c  443s |      24 |  5269942 |  3981562 |     1521   6096 |        0 |        0
445.12/445.26	c  445s |      24 |  5293432 |  3999562 |     1521   6117 |        0 |        0
447.12/447.27	c  447s |      24 |  5318624 |  4018362 |     1521   6140 |        0 |        0
449.12/449.27	c  449s |      24 |  5343054 |  4036662 |     1521   6162 |        0 |        0
451.12/451.27	c  451s |      24 |  5367071 |  4054362 |     1521   6183 |        0 |        0
453.12/453.27	c  453s |      24 |  5391210 |  4071462 |     1521   6204 |        0 |        0
455.11/455.28	c  455s |      24 |  5414515 |  4089062 |     1521   6225 |        0 |        0
457.11/457.28	c  457s |      24 |  5439209 |  4106762 |     1521   6247 |        0 |        0
459.12/459.29	c  459s |      24 |  5463087 |  4123962 |     1521   6268 |        0 |        0
461.12/461.29	c  461s |      24 |  5487312 |  4141562 |     1521   6289 |        0 |        0
463.13/463.29	c  463s |      24 |  5509900 |  4158862 |     1521   6310 |        0 |        0
465.12/465.30	c  465s |      24 |  5531531 |  4175462 |     1521   6330 |        0 |        0
467.22/467.30	c  467s |      24 |  5554798 |  4192962 |     1521   6351 |        0 |        0
469.22/469.31	c  469s |      24 |  5577417 |  4210162 |     1521   6372 |        0 |        0
471.22/471.32	c  471s |      24 |  5600395 |  4227262 |     1521   6393 |        0 |        0
473.22/473.32	c  473s |      24 |  5621742 |  4244062 |     1521   6413 |        0 |        0
475.22/475.33	c  475s |      24 |  5642468 |  4260362 |     1521   6433 |        0 |        0
477.22/477.34	c  477s |      24 |  5664484 |  4277062 |     1521   6453 |        0 |        0
479.22/479.34	c  479s |      24 |  5685868 |  4293562 |     1521   6473 |        0 |        0
481.21/481.34	c  481s |      24 |  5705640 |  4309062 |     1521   6492 |        0 |        0
483.21/483.34	c  483s |      24 |  5727934 |  4325962 |     1521   6512 |        0 |        0
485.21/485.35	c  485s |      24 |  5750272 |  4342962 |     1521   6533 |        0 |        0
487.22/487.35	c  487s |      24 |  5771655 |  4359162 |     1521   6553 |        0 |        0
489.21/489.35	c  489s |      24 |  5793200 |  4375862 |     1521   6573 |        0 |        0
491.21/491.36	c  491s |      24 |  5813980 |  4391862 |     1521   6592 |        0 |        0
493.21/493.36	c  493s |      24 |  5836438 |  4408862 |     1521   6613 |        0 |        0
495.21/495.37	c  495s |      24 |  5857143 |  4424762 |     1521   6632 |        0 |        0
497.22/497.38	c  497s |      24 |  5878895 |  4441162 |     1521   6652 |        0 |        0
499.21/499.38	c  499s |      24 |  5901742 |  4458262 |     1521   6673 |        0 |        0
501.21/501.38	c  501s |      24 |  5925422 |  4476062 |     1521   6695 |        0 |        0
503.21/503.39	c  503s |      24 |  5948996 |  4493662 |     1521   6716 |        0 |        0
505.21/505.39	c  505s |      24 |  5972549 |  4511062 |     1521   6737 |        0 |        0
507.21/507.39	c  507s |      24 |  5996017 |  4528462 |     1521   6758 |        0 |        0
509.31/509.41	c  509s |      24 |  6017224 |  4544962 |     1521   6778 |        0 |        0
511.31/511.41	c  511s |      24 |  6039177 |  4561562 |     1521   6798 |        0 |        0
513.31/513.41	c  513s |      24 |  6062380 |  4578862 |     1521   6819 |        0 |        0
515.30/515.42	c  515s |      24 |  6087199 |  4596862 |     1521   6841 |        0 |        0
517.30/517.43	c  517s |      24 |  6108627 |  4613362 |     1521   6861 |        0 |        0
519.30/519.44	c  519s |      24 |  6132840 |  4630362 |     1521   6881 |        0 |        0
521.31/521.44	c  521s |      24 |  6156148 |  4647762 |     1521   6902 |        0 |        0
523.30/523.45	c  523s |      24 |  6179468 |  4664962 |     1521   6923 |        0 |        0
525.30/525.46	c  525s |      24 |  6202686 |  4682162 |     1521   6943 |        0 |        0
527.30/527.46	c  527s |      24 |  6225748 |  4699462 |     1521   6964 |        0 |        0
529.30/529.46	c  529s |      24 |  6246717 |  4715462 |     1521   6983 |        0 |        0
531.31/531.47	c  531s |      24 |  6267180 |  4730662 |     1521   7002 |        0 |        0
533.30/533.48	c  533s |      24 |  6287842 |  4746162 |     1521   7021 |        0 |        0
535.30/535.49	c  535s |      24 |  6307239 |  4760862 |     1521   7038 |        0 |        0
537.30/537.49	c  537s |      24 |  6328151 |  4776562 |     1521   7057 |        0 |        0
539.40/539.50	c  539s |      24 |  6350770 |  4793162 |     1521   7077 |        0 |        0
541.41/541.51	c  541s |      24 |  6374338 |  4810162 |     1521   7098 |        0 |        0
543.42/543.52	c  543s |      24 |  6396218 |  4826562 |     1521   7118 |        0 |        0
545.41/545.54	c  545s |      24 |  6416674 |  4842662 |     1521   7138 |        0 |        0
547.41/547.54	c  547s |      24 |  6439170 |  4859462 |     1521   7158 |        0 |        0
549.41/549.55	c  549s |      24 |  6462306 |  4876662 |     1521   7179 |        0 |        0
551.41/551.55	c  551s |      24 |  6481711 |  4892162 |     1521   7197 |        0 |        0
553.41/553.55	c  553s |      24 |  6502058 |  4907662 |     1521   7216 |        0 |        0
555.41/555.56	c  555s |      24 |  6522926 |  4923662 |     1521   7236 |        0 |        0
557.41/557.56	c  557s |      24 |  6543740 |  4939362 |     1521   7255 |        0 |        0
559.41/559.57	c  559s |      24 |  6565729 |  4955862 |     1521   7275 |        0 |        0
561.41/561.58	c  561s |      24 |  6586917 |  4971862 |     1521   7294 |        0 |        0
563.41/563.58	c  563s |      24 |  6607699 |  4987562 |     1521   7313 |        0 |        0
565.41/565.59	c  565s |      24 |  6628467 |  5003162 |     1521   7332 |        0 |        0
567.40/567.60	c  567s |      24 |  6649832 |  5019262 |     1521   7352 |        0 |        0
569.50/569.60	c  569s |      24 |  6670679 |  5034762 |     1674   7370 |        0 |        0
571.50/571.61	c  571s |      24 |  6690503 |  5049862 |     1674   7386 |        0 |        0
573.40/573.52	c  573s |      25 |  6710978 |  5065098 |     1674   7403 |        0 |        0
575.40/575.54	c  575s |      25 |  6731071 |  5080998 |     1674   7420 |        0 |        0
577.41/577.54	c  577s |      25 |  6751138 |  5096198 |     1674   7437 |        0 |        0
579.40/579.54	c  579s |      25 |  6771271 |  5111298 |     1674   7454 |        0 |        0
581.40/581.55	c  581s |      25 |  6791238 |  5126398 |     1674   7470 |        0 |        0
583.40/583.56	c  583s |      25 |  6810718 |  5141698 |     1674   7487 |        0 |        0
585.40/585.56	c  585s |      25 |  6831349 |  5157098 |     1674   7504 |        0 |        0
587.40/587.57	c  587s |      25 |  6851429 |  5172098 |     1674   7520 |        0 |        0
589.40/589.58	c  589s |      25 |  6870933 |  5186598 |     1674   7536 |        0 |        0
591.40/591.58	c  591s |      25 |  6890453 |  5201398 |     1674   7552 |        0 |        0
593.40/593.58	c  593s |      25 |  6908718 |  5215998 |     1674   7568 |        0 |        0
595.40/595.59	c  595s |      25 |  6927987 |  5230898 |     1674   7585 |        0 |        0
597.40/597.59	c  597s |      25 |  6944929 |  5244398 |     1674   7600 |        0 |        0
599.40/599.60	c  599s |      25 |  6965137 |  5260098 |     1674   7617 |        0 |        0
601.49/601.61	c  601s |      25 |  6985649 |  5275898 |     1674   7634 |        0 |        0
603.49/603.62	c  603s |      25 |  7008835 |  5293098 |     1674   7653 |        0 |        0
605.49/605.62	c  605s |      25 |  7031993 |  5310298 |     1674   7672 |        0 |        0
607.49/607.63	c  607s |      25 |  7051760 |  5325898 |     1674   7689 |        0 |        0
609.49/609.64	c  609s |      25 |  7071912 |  5341298 |     1674   7706 |        0 |        0
611.50/611.65	c  611s |      25 |  7092163 |  5357398 |     1674   7723 |        0 |        0
613.49/613.65	c  613s |      25 |  7113143 |  5373598 |     1674   7741 |        0 |        0
615.49/615.66	c  615s |      25 |  7132087 |  5388798 |     1674   7758 |        0 |        0
617.49/617.67	c  617s |      25 |  7152534 |  5404398 |     1674   7775 |        0 |        0
619.49/619.68	c  619s |      25 |  7170269 |  5418898 |     1674   7791 |        0 |        0
621.50/621.68	c  621s |      25 |  7190264 |  5434298 |     1674   7808 |        0 |        0
623.49/623.70	c  623s |      25 |  7208552 |  5448998 |     1674   7824 |        0 |        0
625.59/625.70	c  625s |      25 |  7227385 |  5463998 |     1674   7840 |        0 |        0
627.59/627.71	c  627s |      25 |  7246632 |  5478798 |     1674   7857 |        0 |        0
629.60/629.72	c  629s |      25 |  7266527 |  5494298 |     1674   7873 |        0 |        0
631.60/631.72	c  631s |      25 |  7287595 |  5510198 |     1674   7891 |        0 |        0
633.60/633.73	c  633s |      25 |  7307162 |  5525098 |     1674   7907 |        0 |        0
635.60/635.73	c  635s |      25 |  7327925 |  5540998 |     1674   7925 |        0 |        0
637.59/637.74	c  637s |      25 |  7351436 |  5558598 |     1674   7944 |        0 |        0
639.59/639.75	c  639s |      25 |  7374264 |  5575698 |     1674   7963 |        0 |        0
641.59/641.76	c  641s |      25 |  7396201 |  5592698 |     1674   7981 |        0 |        0
643.59/643.76	c  643s |      25 |  7418235 |  5609198 |     1674   8000 |        0 |        0
645.60/645.76	c  645s |      25 |  7437933 |  5624798 |     1674   8017 |        0 |        0
647.59/647.77	c  647s |      25 |  7457284 |  5639298 |     1674   8033 |        0 |        0
649.59/649.78	c  649s |      25 |  7479433 |  5655898 |     1674   8051 |        0 |        0
651.59/651.78	c  651s |      25 |  7501688 |  5672698 |     1674   8070 |        0 |        0
653.59/653.79	c  653s |      25 |  7526263 |  5690298 |     1674   8090 |        0 |        0
655.69/655.80	c  655s |      25 |  7545705 |  5705098 |     1674   8106 |        0 |        0
657.59/657.80	c  657s |      25 |  7568088 |  5721698 |     1674   8125 |        0 |        0
659.69/659.81	c  659s |      25 |  7588037 |  5737298 |     1674   8142 |        0 |        0
661.69/661.81	c  661s |      25 |  7605024 |  5750798 |     1674   8157 |        0 |        0
663.69/663.82	c  663s |      25 |  7623384 |  5764998 |     1674   8173 |        0 |        0
665.68/665.83	c  665s |      25 |  7643935 |  5781098 |     1674   8191 |        0 |        0
667.69/667.83	c  667s |      25 |  7665206 |  5797398 |     1674   8209 |        0 |        0
669.68/669.84	c  669s |      25 |  7683600 |  5811598 |     1674   8225 |        0 |        0
671.68/671.86	c  671s |      25 |  7703555 |  5826998 |     1674   8243 |        0 |        0
673.69/673.86	c  673s |      25 |  7724132 |  5842498 |     1674   8260 |        0 |        0
675.69/675.87	c  675s |      25 |  7745603 |  5858798 |     1674   8278 |        0 |        0
677.69/677.88	c  677s |      25 |  7765222 |  5873598 |     1674   8295 |        0 |        0
679.69/679.89	c  679s |      25 |  7784323 |  5888398 |     1674   8311 |        0 |        0
681.78/681.90	c  681s |      25 |  7803446 |  5903298 |     1674   8328 |        0 |        0
683.78/683.91	c  683s |      25 |  7823290 |  5918498 |     1674   8345 |        0 |        0
685.78/685.92	c  685s |      25 |  7844455 |  5933898 |     1674   8362 |        0 |        0
687.78/687.93	c  687s |      25 |  7864775 |  5949498 |     1674   8380 |        0 |        0
689.77/689.93	c  689s |      25 |  7886564 |  5965598 |     1674   8398 |        0 |        0
691.78/691.94	c  691s |      25 |  7908578 |  5981998 |     1674   8416 |        0 |        0
693.77/693.94	c  693s |      25 |  7929561 |  5998198 |     1674   8435 |        0 |        0
695.77/695.95	c  695s |      25 |  7952578 |  6015198 |     1674   8454 |        0 |        0
697.77/697.95	c  697s |      25 |  7973235 |  6030598 |     1674   8471 |        0 |        0
699.77/699.96	c  699s |      25 |  7995599 |  6047398 |     1674   8490 |        0 |        0
701.77/701.97	c  701s |      25 |  8017627 |  6064398 |     1674   8509 |        0 |        0
703.77/703.97	c  703s |      25 |  8039428 |  6081298 |     1674   8528 |        0 |        0
705.77/705.99	c  705s |      25 |  8061413 |  6097698 |     1674   8547 |        0 |        0
707.87/708.00	c  707s |      25 |  8081402 |  6112798 |     1674   8564 |        0 |        0
709.87/710.01	c  709s |      25 |  8100757 |  6127598 |     1674   8580 |        0 |        0
711.87/712.01	c  711s |      25 |  8119945 |  6142098 |     1674   8597 |        0 |        0
713.88/714.02	c  714s |      25 |  8139527 |  6157098 |     1674   8614 |        0 |        0
715.87/716.03	c  716s |      25 |  8161181 |  6173298 |     1674   8632 |        0 |        0
717.86/718.04	c  718s |      25 |  8182189 |  6188898 |     1674   8649 |        0 |        0
719.86/720.05	c  720s |      25 |  8204191 |  6205098 |     1674   8668 |        0 |        0
721.86/722.05	c  722s |      25 |  8226519 |  6222298 |     1674   8687 |        0 |        0
723.86/724.05	c  724s |      25 |  8248265 |  6238598 |     1674   8705 |        0 |        0
725.87/726.06	c  726s |      25 |  8271036 |  6254998 |     1674   8724 |        0 |        0
727.86/728.07	c  728s |      25 |  8294453 |  6272198 |     1674   8743 |        0 |        0
729.86/730.07	c  730s |      25 |  8315350 |  6288298 |     1674   8761 |        0 |        0
731.86/732.09	c  732s |      25 |  8335407 |  6303798 |     1674   8779 |        0 |        0
733.85/734.09	c  734s |      25 |  8356767 |  6319998 |     1674   8797 |        0 |        0
735.96/736.10	c  736s |      25 |  8379316 |  6336498 |     1674   8815 |        0 |        0
737.85/738.10	c  738s |      25 |  8401760 |  6353098 |     1674   8834 |        0 |        0
739.95/740.11	c  740s |      25 |  8424146 |  6369998 |     1674   8853 |        0 |        0
741.95/742.11	c  742s |      25 |  8445782 |  6386398 |     1674   8872 |        0 |        0
743.95/744.11	c  744s |      25 |  8468921 |  6403498 |     1674   8891 |        0 |        0
745.95/746.12	c  746s |      25 |  8490539 |  6419898 |     1674   8910 |        0 |        0
747.96/748.12	c  748s |      25 |  8511038 |  6435398 |     1674   8927 |        0 |        0
749.96/750.12	c  750s |      25 |  8530444 |  6450398 |     1674   8944 |        0 |        0
751.95/752.13	c  752s |      25 |  8551722 |  6466098 |     1674   8962 |        0 |        0
753.95/754.13	c  754s |      25 |  8573056 |  6482198 |     1674   8980 |        0 |        0
755.95/756.14	c  756s |      25 |  8591840 |  6497098 |     1674   8997 |        0 |        0
757.95/758.15	c  758s |      25 |  8613087 |  6513298 |     1674   9015 |        0 |        0
759.95/760.15	c  760s |      25 |  8634298 |  6529298 |     1674   9033 |        0 |        0
761.95/762.16	c  762s |      25 |  8654870 |  6544998 |     1674   9051 |        0 |        0
763.94/764.17	c  764s |      25 |  8674828 |  6560198 |     1674   9068 |        0 |        0
765.94/766.18	c  766s |      25 |  8692277 |  6574198 |     1674   9084 |        0 |        0
767.94/768.19	c  768s |      25 |  8712050 |  6589398 |     1674   9102 |        0 |        0
770.04/770.21	c  770s |      25 |  8734626 |  6606098 |     1674   9121 |        0 |        0
772.04/772.21	c  772s |      25 |  8756797 |  6622498 |     1674   9139 |        0 |        0
774.04/774.22	c  774s |      25 |  8776593 |  6637898 |     1674   9157 |        0 |        0
776.04/776.22	c  776s |      25 |  8797185 |  6653898 |     1674   9176 |        0 |        0
778.03/778.23	c  778s |      25 |  8819507 |  6670698 |     1674   9195 |        0 |        0
780.03/780.24	c  780s |      25 |  8842118 |  6687698 |     1674   9215 |        0 |        0
782.05/782.24	c  782s |      25 |  8863776 |  6703998 |     1674   9234 |        0 |        0
784.04/784.24	c  784s |      25 |  8885727 |  6720698 |     1674   9254 |        0 |        0
786.04/786.25	c  786s |      25 |  8906720 |  6736798 |     1674   9273 |        0 |        0
788.04/788.26	c  788s |      25 |  8928009 |  6752898 |     1674   9292 |        0 |        0
790.04/790.27	c  790s |      25 |  8951007 |  6769998 |     1674   9311 |        0 |        0
792.04/792.28	c  792s |      25 |  8973805 |  6786798 |     1674   9330 |        0 |        0
794.04/794.28	c  794s |      25 |  8993811 |  6802098 |     1674   9347 |        0 |        0
796.04/796.29	c  796s |      25 |  9012529 |  6816598 |     1674   9363 |        0 |        0
798.03/798.29	c  798s |      25 |  9032877 |  6832098 |     1674   9380 |        0 |        0
800.03/800.29	c  800s |      25 |  9056790 |  6849598 |     1674   9400 |        0 |        0
802.13/802.30	c  802s |      25 |  9079175 |  6866498 |     1674   9419 |        0 |        0
804.13/804.31	c  804s |      25 |  9099777 |  6881598 |     1674   9436 |        0 |        0
806.14/806.31	c  806s |      25 |  9121431 |  6897898 |     1674   9454 |        0 |        0
808.13/808.33	c  808s |      25 |  9142474 |  6913798 |     1674   9472 |        0 |        0
810.12/810.33	c  810s |      25 |  9162763 |  6929298 |     1674   9489 |        0 |        0
812.13/812.33	c  812s |      25 |  9183758 |  6944698 |     1674   9506 |        0 |        0
814.12/814.35	c  814s |      25 |  9205328 |  6960798 |     1674   9524 |        0 |        0
816.13/816.35	c  816s |      25 |  9224954 |  6976098 |     1674   9541 |        0 |        0
818.12/818.36	c  818s |      25 |  9245320 |  6992098 |     1674   9559 |        0 |        0
820.12/820.36	c  820s |      25 |  9266198 |  7007898 |     1674   9577 |        0 |        0
822.12/822.37	c  822s |      25 |  9285091 |  7022898 |     1674   9594 |        0 |        0
824.12/824.37	c  824s |      25 |  9303870 |  7037798 |     1674   9611 |        0 |        0
826.12/826.38	c  826s |      25 |  9325668 |  7054098 |     1674   9629 |        0 |        0
828.12/828.38	c  828s |      25 |  9347573 |  7070798 |     1674   9648 |        0 |        0
830.11/830.39	c  830s |      25 |  9369630 |  7087498 |     1674   9667 |        0 |        0
832.11/832.39	c  832s |      25 |  9392333 |  7104698 |     1674   9687 |        0 |        0
834.21/834.40	c  834s |      25 |  9414237 |  7121298 |     1674   9706 |        0 |        0
836.21/836.41	c  836s |      25 |  9434741 |  7137698 |     1674   9725 |        0 |        0
838.21/838.42	c  838s |      25 |  9456934 |  7154798 |     1674   9745 |        0 |        0
840.21/840.42	c  840s |      25 |  9478760 |  7171798 |     1674   9764 |        0 |        0
842.20/842.43	c  842s |      25 |  9499425 |  7188298 |     1674   9783 |        0 |        0
844.20/844.44	c  844s |      25 |  9523000 |  7205798 |     1674   9803 |        0 |        0
846.20/846.44	c  846s |      25 |  9545596 |  7223098 |     1674   9823 |        0 |        0
848.21/848.45	c  848s |      25 |  9567614 |  7240298 |     1674   9843 |        0 |        0
850.21/850.46	c  850s |      25 |  9591106 |  7257898 |     1674   9864 |        0 |        0
852.21/852.46	c  852s |      25 |  9612668 |  7274798 |     1674   9883 |        0 |        0
854.21/854.47	c  854s |      25 |  9634494 |  7291998 |     1674   9903 |        0 |        0
856.20/856.48	c  856s |      25 |  9653684 |  7306898 |     1674   9920 |        0 |        0
858.20/858.48	c  858s |      25 |  9672253 |  7321398 |     1674   9937 |        0 |        0
860.20/860.49	c  860s |      25 |  9691684 |  7336098 |     1674   9954 |        0 |        0
862.21/862.49	c  862s |      25 |  9713277 |  7352798 |     1674   9973 |        0 |        0
864.30/864.50	c  864s |      25 |  9735774 |  7370298 |     1674   9993 |        0 |        0
866.30/866.50	c  866s |      25 |  9759247 |  7388098 |     1674  10014 |        0 |        0
868.30/868.51	c  868s |      25 |  9782015 |  7405398 |     1674  10034 |        0 |        0
870.30/870.52	c  870s |      25 |  9805575 |  7422898 |     1674  10054 |        0 |        0
872.30/872.53	c  872s |      25 |  9828134 |  7440098 |     1674  10074 |        0 |        0
874.30/874.53	c  874s |      25 |  9849312 |  7456098 |     1674  10092 |        0 |        0
876.29/876.54	c  876s |      25 |  9870029 |  7471898 |     1674  10110 |        0 |        0
878.29/878.55	c  878s |      25 |  9889979 |  7486998 |     1674  10128 |        0 |        0
880.29/880.56	c  880s |      25 |  9910565 |  7502498 |     1674  10145 |        0 |        0
882.29/882.56	c  882s |      25 |  9931418 |  7517798 |     1674  10163 |        0 |        0
884.29/884.57	c  884s |      25 |  9949178 |  7531898 |     1674  10179 |        0 |        0
886.29/886.57	c  886s |      25 |  9969198 |  7547098 |     1842  10196 |        0 |        0
888.28/888.58	c  888s |      25 |  9991367 |  7564298 |     1842  10214 |        0 |        0
890.28/890.59	c  890s |      25 | 10015158 |  7581898 |     1842  10233 |        0 |        0
892.28/892.51	c  892s |      26 | 10036323 |  7597752 |     1842  10249 |        0 |        0
894.28/894.52	c  894s |      26 | 10056896 |  7613552 |     1842  10265 |        0 |        0
896.29/896.53	c  896s |      26 | 10077204 |  7629752 |     1842  10281 |        0 |        0
898.27/898.53	c  898s |      26 | 10096864 |  7644952 |     1842  10296 |        0 |        0
900.27/900.54	c  900s |      26 | 10116787 |  7660152 |     1842  10311 |        0 |        0
902.27/902.55	c  902s |      26 | 10137835 |  7676252 |     1842  10327 |        0 |        0
904.27/904.56	c  904s |      26 | 10158778 |  7692252 |     1842  10343 |        0 |        0
906.28/906.57	c  906s |      26 | 10179040 |  7707852 |     1842  10359 |        0 |        0
908.27/908.58	c  908s |      26 | 10200493 |  7724252 |     1842  10375 |        0 |        0
910.27/910.59	c  910s |      26 | 10221902 |  7740552 |     1842  10392 |        0 |        0
912.27/912.59	c  912s |      26 | 10245145 |  7757652 |     1842  10409 |        0 |        0
914.27/914.59	c  914s |      26 | 10268195 |  7775052 |     1842  10426 |        0 |        0
916.37/916.60	c  916s |      26 | 10289197 |  7791252 |     1842  10442 |        0 |        0
918.38/918.62	c  918s |      26 | 10311662 |  7808552 |     1842  10459 |        0 |        0
920.37/920.62	c  920s |      26 | 10334207 |  7825552 |     1842  10476 |        0 |        0
922.37/922.63	c  922s |      26 | 10356726 |  7842252 |     1842  10493 |        0 |        0
924.37/924.64	c  924s |      26 | 10380239 |  7859652 |     1842  10511 |        0 |        0
926.37/926.65	c  926s |      26 | 10402319 |  7876252 |     1842  10527 |        0 |        0
928.37/928.67	c  928s |      26 | 10424046 |  7892752 |     1842  10544 |        0 |        0
930.37/930.67	c  930s |      26 | 10445873 |  7909152 |     1842  10560 |        0 |        0
932.37/932.68	c  932s |      26 | 10466433 |  7925252 |     1842  10576 |        0 |        0
934.36/934.68	c  934s |      26 | 10487252 |  7941052 |     1842  10592 |        0 |        0
936.36/936.68	c  936s |      26 | 10509933 |  7958052 |     1842  10609 |        0 |        0
938.36/938.69	c  938s |      26 | 10533426 |  7975252 |     1842  10626 |        0 |        0
940.46/940.70	c  940s |      26 | 10556285 |  7992652 |     1842  10643 |        0 |        0
942.36/942.70	c  942s |      26 | 10577518 |  8009052 |     1842  10660 |        0 |        0
944.46/944.70	c  944s |      26 | 10600902 |  8026752 |     1842  10677 |        0 |        0
946.45/946.71	c  946s |      26 | 10623850 |  8043952 |     1842  10695 |        0 |        0
948.45/948.72	c  948s |      26 | 10647798 |  8061652 |     1842  10712 |        0 |        0
950.45/950.72	c  950s |      26 | 10670536 |  8078652 |     1842  10729 |        0 |        0
952.46/952.73	c  952s |      26 | 10693928 |  8096152 |     1842  10747 |        0 |        0
954.45/954.74	c  954s |      26 | 10716031 |  8113252 |     1842  10764 |        0 |        0
956.45/956.74	c  956s |      26 | 10737130 |  8129652 |     1842  10781 |        0 |        0
958.45/958.74	c  958s |      26 | 10758722 |  8146252 |     1842  10797 |        0 |        0
960.45/960.75	c  960s |      26 | 10780827 |  8162952 |     1842  10814 |        0 |        0
962.45/962.76	c  962s |      26 | 10802355 |  8179552 |     1842  10831 |        0 |        0
964.45/964.76	c  964s |      26 | 10823236 |  8195752 |     1842  10847 |        0 |        0
966.45/966.77	c  966s |      26 | 10845524 |  8212852 |     1842  10865 |        0 |        0
968.44/968.77	c  968s |      26 | 10869783 |  8230152 |     1842  10882 |        0 |        0
970.44/970.77	c  970s |      26 | 10891770 |  8246852 |     1842  10899 |        0 |        0
972.44/972.79	c  972s |      26 | 10915699 |  8264252 |     1842  10917 |        0 |        0
974.44/974.79	c  974s |      26 | 10938717 |  8281252 |     1842  10934 |        0 |        0
976.44/976.80	c  976s |      26 | 10961185 |  8298052 |     1842  10951 |        0 |        0
978.53/978.81	c  978s |      26 | 10983812 |  8315252 |     1842  10969 |        0 |        0
980.53/980.81	c  980s |      26 | 11006534 |  8332652 |     1842  10986 |        0 |        0
982.53/982.82	c  982s |      26 | 11025705 |  8348252 |     1842  11002 |        0 |        0
984.53/984.82	c  984s |      26 | 11047328 |  8365152 |     1842  11019 |        0 |        0
986.53/986.83	c  986s |      26 | 11067384 |  8380852 |     1842  11035 |        0 |        0
988.52/988.83	c  988s |      26 | 11087328 |  8396652 |     1842  11051 |        0 |        0
990.52/990.83	c  990s |      26 | 11110171 |  8413852 |     1842  11069 |        0 |        0
992.52/992.85	c  992s |      26 | 11132298 |  8430652 |     1842  11086 |        0 |        0
994.52/994.85	c  994s |      26 | 11154234 |  8447252 |     1842  11103 |        0 |        0
996.52/996.85	c  996s |      26 | 11175067 |  8463252 |     1842  11119 |        0 |        0
998.53/998.85	c  998s |      26 | 11196345 |  8479652 |     1842  11136 |        0 |        0
1000.52/1000.86	c 1000s |      26 | 11217933 |  8496452 |     1842  11153 |        0 |        0
1002.52/1002.87	c 1002s |      26 | 11237671 |  8512152 |     1842  11169 |        0 |        0
1004.52/1004.88	c 1004s |      26 | 11260298 |  8529452 |     1842  11186 |        0 |        0
1006.52/1006.89	c 1006s |      26 | 11283258 |  8546652 |     1842  11204 |        0 |        0
1008.52/1008.89	c 1008s |      26 | 11305540 |  8563552 |     1842  11221 |        0 |        0
1010.52/1010.90	c 1010s |      26 | 11328805 |  8580852 |     1842  11238 |        0 |        0
1012.62/1012.91	c 1012s |      26 | 11351470 |  8597552 |     1842  11255 |        0 |        0
1014.62/1014.91	c 1014s |      26 | 11373420 |  8614152 |     1842  11272 |        0 |        0
1016.61/1016.92	c 1016s |      26 | 11396781 |  8631652 |     1842  11290 |        0 |        0
1018.61/1018.93	c 1018s |      26 | 11420016 |  8648952 |     1842  11308 |        0 |        0
1020.62/1020.94	c 1020s |      26 | 11442976 |  8666352 |     1842  11325 |        0 |        0
1022.61/1022.95	c 1022s |      26 | 11465019 |  8682852 |     1842  11342 |        0 |        0
1024.61/1024.95	c 1024s |      26 | 11487613 |  8700052 |     1842  11360 |        0 |        0
1026.61/1026.96	c 1026s |      26 | 11508464 |  8716352 |     1842  11376 |        0 |        0
1028.60/1028.97	c 1028s |      26 | 11531265 |  8733452 |     1842  11394 |        0 |        0
1030.60/1030.97	c 1030s |      26 | 11552468 |  8749952 |     1842  11410 |        0 |        0
1032.61/1032.99	c 1032s |      26 | 11574225 |  8766952 |     1842  11428 |        0 |        0
1034.60/1034.99	c 1034s |      26 | 11595313 |  8783452 |     1842  11444 |        0 |        0
1036.60/1037.00	c 1036s |      26 | 11618863 |  8800652 |     1842  11462 |        0 |        0
1038.70/1039.00	c 1038s |      26 | 11642424 |  8818252 |     1842  11480 |        0 |        0
1040.70/1041.01	c 1040s |      26 | 11666847 |  8836052 |     1842  11498 |        0 |        0
1042.70/1043.01	c 1042s |      26 | 11688716 |  8852752 |     1842  11515 |        0 |        0
1044.70/1045.02	c 1045s |      26 | 11710007 |  8869252 |     1842  11532 |        0 |        0
1046.69/1047.02	c 1047s |      26 | 11732448 |  8885952 |     1842  11549 |        0 |        0
1048.69/1049.04	c 1049s |      26 | 11753691 |  8902252 |     1842  11566 |        0 |        0
1050.69/1051.04	c 1051s |      26 | 11775502 |  8918952 |     1842  11582 |        0 |        0
1052.69/1053.05	c 1053s |      26 | 11796082 |  8934752 |     1842  11599 |        0 |        0
1054.70/1055.06	c 1055s |      26 | 11815217 |  8949252 |     1842  11613 |        0 |        0
1056.70/1057.06	c 1057s |      26 | 11837081 |  8965852 |     1842  11630 |        0 |        0
1058.69/1059.06	c 1059s |      26 | 11858601 |  8982152 |     1842  11647 |        0 |        0
1060.69/1061.07	c 1061s |      26 | 11878146 |  8997752 |     1842  11663 |        0 |        0
1062.69/1063.08	c 1063s |      26 | 11898190 |  9013552 |     1842  11679 |        0 |        0
1064.69/1065.09	c 1065s |      26 | 11919370 |  9030052 |     1842  11696 |        0 |        0
1066.70/1067.09	c 1067s |      26 | 11942486 |  9047352 |     1842  11714 |        0 |        0
1068.78/1069.10	c 1069s |      26 | 11963757 |  9063552 |     1842  11730 |        0 |        0
1070.78/1071.11	c 1071s |      26 | 11984436 |  9078852 |     1842  11746 |        0 |        0
1072.78/1073.12	c 1073s |      26 | 12004174 |  9093752 |     1842  11761 |        0 |        0
1074.78/1075.12	c 1075s |      26 | 12024152 |  9109252 |     1842  11777 |        0 |        0
1076.78/1077.12	c 1077s |      26 | 12046453 |  9126152 |     1842  11794 |        0 |        0
1078.78/1079.13	c 1079s |      26 | 12069396 |  9143152 |     1842  11811 |        0 |        0
1080.78/1081.14	c 1081s |      26 | 12087886 |  9157752 |     1842  11826 |        0 |        0
1082.78/1083.15	c 1083s |      26 | 12107739 |  9172752 |     1842  11841 |        0 |        0
1084.78/1085.15	c 1085s |      26 | 12128591 |  9188252 |     1842  11857 |        0 |        0
1086.78/1087.15	c 1087s |      26 | 12150026 |  9204252 |     1842  11873 |        0 |        0
1088.78/1089.17	c 1089s |      26 | 12169780 |  9219352 |     1842  11889 |        0 |        0
1090.78/1091.17	c 1091s |      26 | 12190529 |  9235252 |     1842  11905 |        0 |        0
1092.77/1093.18	c 1093s |      26 | 12212999 |  9251552 |     1842  11922 |        0 |        0
1094.77/1095.19	c 1095s |      26 | 12232585 |  9266752 |     1842  11937 |        0 |        0
1096.87/1097.20	c 1097s |      26 | 12253573 |  9282752 |     1842  11953 |        0 |        0
1098.87/1099.21	c 1099s |      26 | 12273920 |  9298152 |     1842  11969 |        0 |        0
1100.87/1101.22	c 1101s |      26 | 12293421 |  9312752 |     1842  11984 |        0 |        0
1102.87/1103.23	c 1103s |      26 | 12311950 |  9327152 |     1842  11998 |        0 |        0
1104.86/1105.24	c 1105s |      26 | 12332075 |  9342252 |     1842  12014 |        0 |        0
1106.86/1107.24	c 1107s |      26 | 12353757 |  9358452 |     1842  12030 |        0 |        0
1108.86/1109.26	c 1109s |      26 | 12373394 |  9373452 |     1842  12045 |        0 |        0
1110.86/1111.26	c 1111s |      26 | 12394383 |  9389052 |     1842  12061 |        0 |        0
1112.87/1113.26	c 1113s |      26 | 12416189 |  9405052 |     1842  12078 |        0 |        0
1114.86/1115.26	c 1115s |      26 | 12436649 |  9420152 |     1842  12093 |        0 |        0
1116.86/1117.26	c 1117s |      26 | 12458528 |  9436152 |     1842  12109 |        0 |        0
1118.85/1119.27	c 1119s |      26 | 12481163 |  9452452 |     1842  12126 |        0 |        0
1120.85/1121.27	c 1121s |      26 | 12501126 |  9468452 |     1842  12142 |        0 |        0
1122.86/1123.28	c 1123s |      26 | 12525276 |  9486352 |     1842  12160 |        0 |        0
1124.85/1125.28	c 1125s |      26 | 12547296 |  9503452 |     1842  12178 |        0 |        0
1126.85/1127.28	c 1127s |      26 | 12569814 |  9520452 |     1842  12195 |        0 |        0
1128.84/1129.28	c 1129s |      26 | 12593806 |  9538352 |     1842  12213 |        0 |        0
1130.84/1131.29	c 1131s |      26 | 12616571 |  9555652 |     1842  12230 |        0 |        0
1132.84/1133.29	c 1133s |      26 | 12638672 |  9572652 |     1842  12248 |        0 |        0
1134.85/1135.30	c 1135s |      26 | 12661281 |  9590152 |     1842  12265 |        0 |        0
1136.94/1137.31	c 1137s |      26 | 12683708 |  9607952 |     1842  12283 |        0 |        0
1138.94/1139.32	c 1139s |      26 | 12708664 |  9626652 |     1842  12302 |        0 |        0
1140.94/1141.33	c 1141s |      26 | 12730323 |  9642952 |     1842  12319 |        0 |        0
1142.94/1143.34	c 1143s |      26 | 12752274 |  9659552 |     1842  12336 |        0 |        0
1144.94/1145.34	c 1145s |      26 | 12774978 |  9676852 |     1842  12353 |        0 |        0
1146.95/1147.35	c 1147s |      26 | 12795405 |  9693152 |     1842  12370 |        0 |        0
1148.94/1149.35	c 1149s |      26 | 12817889 |  9709952 |     1842  12387 |        0 |        0
1150.94/1151.36	c 1151s |      26 | 12842361 |  9727852 |     1842  12405 |        0 |        0
1152.94/1153.36	c 1153s |      26 | 12865734 |  9745252 |     1842  12423 |        0 |        0
1154.94/1155.37	c 1155s |      26 | 12888071 |  9762752 |     1842  12440 |        0 |        0
1156.95/1157.37	c 1157s |      26 | 12910630 |  9779752 |     1842  12458 |        0 |        0
1158.94/1159.38	c 1159s |      26 | 12935214 |  9797752 |     1842  12476 |        0 |        0
1160.94/1161.39	c 1161s |      26 | 12959127 |  9815352 |     1842  12494 |        0 |        0
1162.93/1163.39	c 1163s |      26 | 12983063 |  9833052 |     1842  12511 |        0 |        0
1165.03/1165.40	c 1165s |      26 | 13004660 |  9849752 |     1842  12528 |        0 |        0
1167.03/1167.41	c 1167s |      26 | 13025104 |  9865652 |     1842  12544 |        0 |        0
1169.03/1169.41	c 1169s |      26 | 13045716 |  9881652 |     1842  12561 |        0 |        0
1171.03/1171.42	c 1171s |      26 | 13065777 |  9897452 |     1842  12577 |        0 |        0
1173.02/1173.43	c 1173s |      26 | 13086994 |  9913852 |     1842  12593 |        0 |        0
1175.02/1175.44	c 1175s |      26 | 13110812 |  9931552 |     1842  12611 |        0 |        0
1177.02/1177.45	c 1177s |      26 | 13134572 |  9949152 |     1842  12629 |        0 |        0
1179.02/1179.45	c 1179s |      26 | 13158602 |  9966752 |     1842  12647 |        0 |        0
1181.03/1181.45	c 1181s |      26 | 13181154 |  9983952 |     1842  12665 |        0 |        0
1183.02/1183.46	c 1183s |      26 | 13202193 |  9999752 |     1842  12681 |        0 |        0
1185.02/1185.47	c 1185s |      26 | 13222065 | 10014552 |     1842  12696 |        0 |        0
1187.02/1187.48	c 1187s |      26 | 13240060 | 10028752 |     1842  12711 |        0 |        0
1189.01/1189.49	c 1189s |      26 | 13260264 | 10043752 |     1842  12726 |        0 |        0
1191.11/1191.50	c 1191s |      26 | 13281540 | 10059652 |     1842  12742 |        0 |        0
1193.12/1193.51	c 1193s |      26 | 13300663 | 10074052 |     1842  12757 |        0 |        0
1195.11/1195.51	c 1195s |      26 | 13320581 | 10089452 |     1842  12773 |        0 |        0
1197.11/1197.52	c 1197s |      26 | 13339243 | 10103752 |     1842  12787 |        0 |        0
1199.11/1199.52	c 1199s |      26 | 13359251 | 10118852 |     1842  12803 |        0 |        0
1201.11/1201.53	c 1201s |      26 | 13378584 | 10133652 |     1842  12818 |        0 |        0
1203.11/1203.53	c 1203s |      26 | 13398705 | 10148352 |     1842  12833 |        0 |        0
1205.10/1205.54	c 1205s |      26 | 13417192 | 10162652 |     1842  12847 |        0 |        0
1207.10/1207.54	c 1207s |      26 | 13435491 | 10176552 |     1842  12861 |        0 |        0
1209.10/1209.55	c 1209s |      26 | 13453090 | 10190152 |     1842  12875 |        0 |        0
1211.10/1211.56	c 1211s |      26 | 13471571 | 10204152 |     1842  12890 |        0 |        0
1213.10/1213.57	c 1213s |      26 | 13489421 | 10218052 |     1842  12904 |        0 |        0
1215.10/1215.58	c 1215s |      26 | 13507125 | 10231552 |     1842  12918 |        0 |        0
1217.10/1217.59	c 1217s |      26 | 13524699 | 10244952 |     1842  12931 |        0 |        0
1219.19/1219.60	c 1219s |      26 | 13544115 | 10259152 |     1842  12946 |        0 |        0
1221.20/1221.60	c 1221s |      26 | 13562515 | 10273452 |     1842  12960 |        0 |        0
1223.20/1223.61	c 1223s |      26 | 13580893 | 10287652 |     1842  12975 |        0 |        0
1225.20/1225.63	c 1225s |      26 | 13601063 | 10303052 |     1842  12991 |        0 |        0
1227.21/1227.63	c 1227s |      26 | 13621166 | 10318552 |     1842  13006 |        0 |        0
1229.20/1229.65	c 1229s |      26 | 13642491 | 10334452 |     1842  13023 |        0 |        0
1231.19/1231.66	c 1231s |      26 | 13663591 | 10350652 |     1842  13039 |        0 |        0
1233.19/1233.67	c 1233s |      26 | 13683878 | 10366252 |     1842  13055 |        0 |        0
1235.19/1235.67	c 1235s |      26 | 13704510 | 10382152 |     1842  13071 |        0 |        0
1237.20/1237.67	c 1237s |      26 | 13724684 | 10397452 |     1842  13087 |        0 |        0
1239.19/1239.67	c 1239s |      26 | 13743279 | 10411752 |     1842  13101 |        0 |        0
1241.19/1241.68	c 1241s |      26 | 13763945 | 10427252 |     1842  13117 |        0 |        0
1243.19/1243.69	c 1243s |      26 | 13782586 | 10441252 |     1842  13131 |        0 |        0
1245.19/1245.69	c 1245s |      26 | 13802607 | 10456352 |     1842  13147 |        0 |        0
1247.19/1247.69	c 1247s |      26 | 13822642 | 10471852 |     1842  13162 |        0 |        0
1249.19/1249.70	c 1249s |      26 | 13843092 | 10487452 |     1842  13178 |        0 |        0
1251.28/1251.71	c 1251s |      26 | 13862477 | 10502352 |     1842  13193 |        0 |        0
1253.28/1253.71	c 1253s |      26 | 13882097 | 10517152 |     1842  13209 |        0 |        0
1255.28/1255.73	c 1255s |      26 | 13901608 | 10532252 |     1842  13224 |        0 |        0
1257.27/1257.73	c 1257s |      26 | 13920879 | 10546952 |     1842  13239 |        0 |        0
1259.27/1259.73	c 1259s |      26 | 13939215 | 10561352 |     1842  13253 |        0 |        0
1261.28/1261.74	c 1261s |      26 | 13959968 | 10576552 |     1842  13269 |        0 |        0
1263.27/1263.75	c 1263s |      26 | 13981940 | 10592852 |     1842  13286 |        0 |        0
1265.28/1265.76	c 1265s |      26 | 14002458 | 10608252 |     1842  13301 |        0 |        0
1267.27/1267.76	c 1267s |      26 | 14021462 | 10622952 |     1842  13316 |        0 |        0
1269.27/1269.77	c 1269s |      26 | 14041876 | 10638252 |     1842  13332 |        0 |        0
1271.28/1271.77	c 1271s |      26 | 14064165 | 10654852 |     1842  13349 |        0 |        0
1273.27/1273.77	c 1273s |      26 | 14085331 | 10671452 |     1842  13365 |        0 |        0
1275.27/1275.77	c 1275s |      26 | 14105841 | 10687552 |     1842  13382 |        0 |        0
1277.27/1277.78	c 1277s |      26 | 14126956 | 10703652 |     1842  13398 |        0 |        0
1279.26/1279.78	c 1279s |      26 | 14151531 | 10722052 |     1842  13416 |        0 |        0
1281.27/1281.79	c 1281s |      26 | 14175724 | 10739652 |     1842  13434 |        0 |        0
1283.27/1283.79	c 1283s |      26 | 14199267 | 10756852 |     1842  13452 |        0 |        0
1285.26/1285.79	c 1285s |      26 | 14221074 | 10773952 |     1842  13469 |        0 |        0
1287.36/1287.80	c 1287s |      26 | 14243733 | 10791452 |     1842  13487 |        0 |        0
1289.36/1289.81	c 1289s |      26 | 14265263 | 10808152 |     1842  13504 |        0 |        0
1291.36/1291.81	c 1291s |      26 | 14287066 | 10824752 |     1842  13520 |        0 |        0
1293.36/1293.82	c 1293s |      26 | 14310275 | 10842552 |     1842  13538 |        0 |        0
1295.36/1295.82	c 1295s |      26 | 14332413 | 10859252 |     1842  13555 |        0 |        0
1297.36/1297.83	c 1297s |      26 | 14353730 | 10875652 |     1842  13572 |        0 |        0
1299.35/1299.84	c 1299s |      26 | 14376350 | 10892752 |     1842  13589 |        0 |        0
1301.35/1301.85	c 1301s |      26 | 14399616 | 10909852 |     1842  13607 |        0 |        0
1303.35/1303.85	c 1303s |      26 | 14418793 | 10925352 |     1842  13622 |        0 |        0
1305.35/1305.86	c 1305s |      26 | 14439909 | 10941652 |     1842  13639 |        0 |        0
1307.35/1307.87	c 1307s |      26 | 14462961 | 10958752 |     1842  13656 |        0 |        0
1309.34/1309.88	c 1309s |      26 | 14487346 | 10976652 |     1842  13675 |        0 |        0
1311.44/1311.90	c 1311s |      26 | 14511011 | 10994352 |     1842  13693 |        0 |        0
1313.44/1313.90	c 1313s |      26 | 14532664 | 11010752 |     1842  13709 |        0 |        0
1315.44/1315.91	c 1315s |      26 | 14554198 | 11026752 |     1842  13725 |        0 |        0
1317.45/1317.91	c 1317s |      26 | 14575040 | 11042752 |     1842  13741 |        0 |        0
1319.44/1319.92	c 1319s |      26 | 14595725 | 11058952 |     1842  13757 |        0 |        0
1321.44/1321.93	c 1321s |      26 | 14615094 | 11074352 |     1842  13772 |        0 |        0
1323.44/1323.93	c 1323s |      26 | 14636243 | 11090752 |     1842  13789 |        0 |        0
1325.44/1325.94	c 1325s |      26 | 14656968 | 11106952 |     1842  13805 |        0 |        0
1327.44/1327.94	c 1327s |      26 | 14676164 | 11122452 |     1842  13820 |        0 |        0
1329.44/1329.96	c 1329s |      26 | 14697105 | 11138652 |     1842  13836 |        0 |        0
1331.43/1331.96	c 1331s |      26 | 14716357 | 11153552 |     1842  13851 |        0 |        0
1333.43/1333.98	c 1333s |      26 | 14735840 | 11168852 |     1842  13867 |        0 |        0
1335.43/1335.98	c 1335s |      26 | 14757232 | 11184852 |     1842  13883 |        0 |        0
1337.43/1337.99	c 1337s |      26 | 14778200 | 11200752 |     1842  13898 |        0 |        0
1339.44/1339.99	c 1339s |      26 | 14799188 | 11216652 |     1842  13914 |        0 |        0
1341.43/1341.99	c 1341s |      26 | 14819235 | 11231752 |     1842  13929 |        0 |        0
1343.53/1344.00	c 1343s |      26 | 14840065 | 11247652 |     1842  13945 |        0 |        0
1345.53/1346.00	c 1345s |      26 | 14861552 | 11263752 |     1842  13961 |        0 |        0
1347.53/1348.01	c 1347s |      26 | 14883631 | 11280552 |     1842  13978 |        0 |        0
1349.53/1350.01	c 1349s |      26 | 14907433 | 11298052 |     1842  13996 |        0 |        0
1351.54/1352.01	c 1352s |      26 | 14927463 | 11313952 |     1842  14012 |        0 |        0
1353.54/1354.02	c 1354s |      26 | 14950423 | 11331352 |     2027  14028 |        0 |        0
1355.54/1356.03	c 1356s |      26 | 14974960 | 11349452 |     2027  14045 |        0 |        0
1357.54/1358.03	c 1358s |      26 | 14996678 | 11366352 |     2027  14060 |        0 |        0
1359.53/1360.04	c 1360s |      26 | 15020073 | 11383552 |     2027  14076 |        0 |        0
1361.13/1361.64	c 1361s |      27 | 15036925 | 11396733 |     2027  14089 |        0 |        0
1363.13/1363.64	c 1363s |      27 | 15054306 | 11410733 |     2027  14101 |        0 |        0
1365.13/1365.66	c 1365s |      27 | 15074438 | 11426033 |     2027  14115 |        0 |        0
1367.13/1367.66	c 1367s |      27 | 15095298 | 11441633 |     2027  14130 |        0 |        0
1369.14/1369.66	c 1369s |      27 | 15114404 | 11456033 |     2027  14143 |        0 |        0
1371.13/1371.67	c 1371s |      27 | 15135172 | 11470833 |     2027  14157 |        0 |        0
1373.13/1373.69	c 1373s |      27 | 15154936 | 11485433 |     2027  14170 |        0 |        0
1375.23/1375.70	c 1375s |      27 | 15174623 | 11501033 |     2027  14184 |        0 |        0
1377.23/1377.70	c 1377s |      27 | 15195042 | 11516633 |     2027  14199 |        0 |        0
1379.23/1379.70	c 1379s |      27 | 15215575 | 11531833 |     2027  14213 |        0 |        0
1381.24/1381.70	c 1381s |      27 | 15236954 | 11547733 |     2027  14228 |        0 |        0
1383.23/1383.71	c 1383s |      27 | 15257584 | 11562833 |     2027  14241 |        0 |        0
1385.23/1385.72	c 1385s |      27 | 15275056 | 11576633 |     2027  14254 |        0 |        0
1387.23/1387.73	c 1387s |      27 | 15293922 | 11591033 |     2027  14267 |        0 |        0
1389.23/1389.73	c 1389s |      27 | 15312632 | 11605633 |     2027  14281 |        0 |        0
1391.23/1391.73	c 1391s |      27 | 15333557 | 11621033 |     2027  14295 |        0 |        0
1393.23/1393.75	c 1393s |      27 | 15354669 | 11636033 |     2027  14309 |        0 |        0
1395.22/1395.76	c 1395s |      27 | 15373869 | 11650433 |     2027  14322 |        0 |        0
1397.22/1397.76	c 1397s |      27 | 15393858 | 11664833 |     2027  14335 |        0 |        0
1399.22/1399.77	c 1399s |      27 | 15413736 | 11679533 |     2027  14349 |        0 |        0
1401.22/1401.78	c 1401s |      27 | 15434218 | 11694733 |     2027  14363 |        0 |        0
1403.24/1403.78	c 1403s |      27 | 15454521 | 11709533 |     2027  14377 |        0 |        0
1405.23/1405.80	c 1405s |      27 | 15474777 | 11724433 |     2027  14390 |        0 |        0
1407.33/1407.81	c 1407s |      27 | 15495296 | 11739433 |     2027  14404 |        0 |        0
1409.33/1409.81	c 1409s |      27 | 15515032 | 11754333 |     2027  14418 |        0 |        0
1411.33/1411.81	c 1411s |      27 | 15534523 | 11769133 |     2027  14432 |        0 |        0
1413.33/1413.82	c 1413s |      27 | 15552629 | 11783333 |     2027  14445 |        0 |        0
1415.33/1415.84	c 1415s |      27 | 15573632 | 11798933 |     2027  14459 |        0 |        0
1417.33/1417.84	c 1417s |      27 | 15595497 | 11815233 |     2027  14474 |        0 |        0
1419.33/1419.85	c 1419s |      27 | 15614256 | 11830033 |     2027  14488 |        0 |        0
1421.33/1421.85	c 1421s |      27 | 15633660 | 11844733 |     2027  14501 |        0 |        0
1423.32/1423.85	c 1423s |      27 | 15651642 | 11858933 |     2027  14514 |        0 |        0
1425.32/1425.86	c 1425s |      27 | 15670494 | 11873233 |     2027  14527 |        0 |        0
1427.33/1427.88	c 1427s |      27 | 15689740 | 11887633 |     2027  14541 |        0 |        0
1429.32/1429.88	c 1429s |      27 | 15709209 | 11902133 |     2027  14554 |        0 |        0
1431.32/1431.88	c 1431s |      27 | 15730154 | 11917433 |     2027  14568 |        0 |        0
1433.42/1433.90	c 1433s |      27 | 15749016 | 11932033 |     2027  14581 |        0 |        0
1435.42/1435.90	c 1435s |      27 | 15767261 | 11945833 |     2027  14594 |        0 |        0
1437.42/1437.91	c 1437s |      27 | 15787346 | 11960633 |     2027  14608 |        0 |        0
1439.43/1439.92	c 1439s |      27 | 15806849 | 11974833 |     2027  14621 |        0 |        0
1441.42/1441.92	c 1441s |      27 | 15827572 | 11990133 |     2027  14635 |        0 |        0
1443.42/1443.93	c 1443s |      27 | 15846219 | 12004133 |     2027  14648 |        0 |        0
1445.42/1445.94	c 1445s |      27 | 15864999 | 12018633 |     2027  14661 |        0 |        0
1447.42/1447.94	c 1447s |      27 | 15886379 | 12034333 |     2027  14676 |        0 |        0
1449.43/1449.94	c 1449s |      27 | 15905377 | 12049133 |     2027  14690 |        0 |        0
1451.42/1451.96	c 1451s |      27 | 15922800 | 12062933 |     2027  14702 |        0 |        0
1453.42/1453.96	c 1453s |      27 | 15941641 | 12077233 |     2027  14716 |        0 |        0
1455.42/1455.97	c 1455s |      27 | 15961724 | 12092433 |     2027  14730 |        0 |        0
1457.42/1457.99	c 1457s |      27 | 15982313 | 12107633 |     2027  14744 |        0 |        0
1459.42/1459.99	c 1459s |      27 | 16002496 | 12122833 |     2027  14758 |        0 |        0
1461.42/1461.99	c 1461s |      27 | 16022238 | 12137733 |     2027  14771 |        0 |        0
1463.51/1464.00	c 1463s |      27 | 16042880 | 12152833 |     2027  14785 |        0 |        0
1465.51/1466.01	c 1465s |      27 | 16062902 | 12168033 |     2027  14799 |        0 |        0
1467.51/1468.02	c 1468s |      27 | 16083021 | 12183133 |     2027  14813 |        0 |        0
1469.51/1470.02	c 1470s |      27 | 16104183 | 12198633 |     2027  14828 |        0 |        0
1471.51/1472.03	c 1472s |      27 | 16123799 | 12213533 |     2027  14841 |        0 |        0
1473.52/1474.05	c 1474s |      27 | 16143061 | 12227733 |     2027  14854 |        0 |        0
1475.51/1476.05	c 1476s |      27 | 16164142 | 12242933 |     2027  14868 |        0 |        0
1477.51/1478.05	c 1478s |      27 | 16184133 | 12257533 |     2027  14882 |        0 |        0
1479.51/1480.06	c 1480s |      27 | 16204532 | 12272433 |     2027  14896 |        0 |        0
1481.51/1482.07	c 1482s |      27 | 16224198 | 12286833 |     2027  14909 |        0 |        0
1483.52/1484.07	c 1484s |      27 | 16242316 | 12300733 |     2027  14922 |        0 |        0
1485.51/1486.08	c 1486s |      27 | 16260674 | 12315033 |     2027  14935 |        0 |        0
1487.51/1488.09	c 1488s |      27 | 16282342 | 12330633 |     2027  14949 |        0 |        0
1489.61/1490.10	c 1490s |      27 | 16299105 | 12344333 |     2027  14962 |        0 |        0
1491.61/1492.11	c 1492s |      27 | 16318593 | 12359433 |     2027  14976 |        0 |        0
1493.61/1494.12	c 1494s |      27 | 16339615 | 12374833 |     2027  14990 |        0 |        0
1495.62/1496.13	c 1496s |      27 | 16359078 | 12389133 |     2027  15003 |        0 |        0
1497.62/1498.14	c 1498s |      27 | 16379036 | 12403733 |     2027  15016 |        0 |        0
1499.61/1500.14	c 1500s |      27 | 16397794 | 12418633 |     2027  15030 |        0 |        0
1501.61/1502.15	c 1502s |      27 | 16415851 | 12432733 |     2027  15043 |        0 |        0
1503.61/1504.15	c 1504s |      27 | 16435376 | 12447533 |     2027  15057 |        0 |        0
1505.61/1506.16	c 1506s |      27 | 16455830 | 12463033 |     2027  15071 |        0 |        0
1507.62/1508.17	c 1508s |      27 | 16473042 | 12476633 |     2027  15084 |        0 |        0
1509.61/1510.18	c 1510s |      27 | 16493764 | 12491833 |     2027  15098 |        0 |        0
1511.61/1512.18	c 1512s |      27 | 16516613 | 12508233 |     2027  15113 |        0 |        0
1513.61/1514.19	c 1514s |      27 | 16537062 | 12523933 |     2027  15127 |        0 |        0
1515.61/1516.19	c 1516s |      27 | 16556335 | 12539233 |     2027  15141 |        0 |        0
1517.71/1518.20	c 1518s |      27 | 16576440 | 12554433 |     2027  15155 |        0 |        0
1519.71/1520.21	c 1520s |      27 | 16597693 | 12569833 |     2027  15169 |        0 |        0
1521.71/1522.21	c 1522s |      27 | 16617872 | 12585433 |     2027  15184 |        0 |        0
1523.71/1524.21	c 1524s |      27 | 16640631 | 12601933 |     2027  15199 |        0 |        0
1525.71/1526.22	c 1526s |      27 | 16661745 | 12617433 |     2027  15213 |        0 |        0
1527.70/1528.23	c 1528s |      27 | 16684176 | 12633533 |     2027  15228 |        0 |        0
1529.71/1530.24	c 1530s |      27 | 16704410 | 12648933 |     2027  15242 |        0 |        0
1531.70/1532.25	c 1532s |      27 | 16724033 | 12664133 |     2027  15256 |        0 |        0
1533.70/1534.25	c 1534s |      27 | 16744437 | 12679833 |     2027  15271 |        0 |        0
1535.70/1536.25	c 1536s |      27 | 16766613 | 12696033 |     2027  15286 |        0 |        0
1537.70/1538.26	c 1538s |      27 | 16787698 | 12711533 |     2027  15300 |        0 |        0
1539.70/1540.27	c 1540s |      27 | 16808987 | 12727333 |     2027  15314 |        0 |        0
1541.71/1542.27	c 1542s |      27 | 16828585 | 12742633 |     2027  15328 |        0 |        0
1543.70/1544.28	c 1544s |      27 | 16848467 | 12758233 |     2027  15343 |        0 |        0
1545.71/1546.28	c 1546s |      27 | 16869849 | 12774033 |     2027  15358 |        0 |        0
1547.71/1548.29	c 1548s |      27 | 16890987 | 12789633 |     2027  15372 |        0 |        0
1549.81/1550.30	c 1550s |      27 | 16912091 | 12805233 |     2027  15386 |        0 |        0
1551.81/1552.30	c 1552s |      27 | 16933955 | 12821433 |     2027  15401 |        0 |        0
1553.81/1554.31	c 1554s |      27 | 16953297 | 12836333 |     2027  15415 |        0 |        0
1555.81/1556.32	c 1556s |      27 | 16973100 | 12851333 |     2027  15429 |        0 |        0
1557.81/1558.33	c 1558s |      27 | 16991224 | 12865133 |     2027  15442 |        0 |        0
1559.80/1560.34	c 1560s |      27 | 17012981 | 12881233 |     2027  15456 |        0 |        0
1561.80/1562.34	c 1562s |      27 | 17034009 | 12896833 |     2027  15471 |        0 |        0
1563.81/1564.35	c 1564s |      27 | 17055717 | 12913033 |     2027  15486 |        0 |        0
1565.80/1566.35	c 1566s |      27 | 17078038 | 12929433 |     2027  15501 |        0 |        0
1567.80/1568.35	c 1568s |      27 | 17098698 | 12944733 |     2027  15515 |        0 |        0
1569.80/1570.36	c 1570s |      27 | 17117815 | 12959533 |     2027  15528 |        0 |        0
1571.80/1572.37	c 1572s |      27 | 17135877 | 12973533 |     2027  15541 |        0 |        0
1573.80/1574.37	c 1574s |      27 | 17155226 | 12987833 |     2027  15555 |        0 |        0
1575.81/1576.38	c 1576s |      27 | 17175000 | 13002633 |     2027  15568 |        0 |        0
1577.80/1578.38	c 1578s |      27 | 17195659 | 13017933 |     2027  15582 |        0 |        0
1579.80/1580.39	c 1580s |      27 | 17215717 | 13033233 |     2027  15596 |        0 |        0
1581.80/1582.39	c 1582s |      27 | 17235804 | 13048333 |     2027  15610 |        0 |        0
1583.90/1584.40	c 1584s |      27 | 17256704 | 13063833 |     2027  15625 |        0 |        0
1585.90/1586.40	c 1586s |      27 | 17276552 | 13078933 |     2027  15638 |        0 |        0
1587.90/1588.41	c 1588s |      27 | 17298555 | 13094533 |     2027  15653 |        0 |        0
1589.89/1590.42	c 1590s |      27 | 17318913 | 13110233 |     2027  15667 |        0 |        0
1591.89/1592.43	c 1592s |      27 | 17337325 | 13124733 |     2027  15680 |        0 |        0
1593.89/1594.44	c 1594s |      27 | 17358612 | 13140133 |     2027  15695 |        0 |        0
1595.89/1596.45	c 1596s |      27 | 17377602 | 13155033 |     2027  15708 |        0 |        0
1597.91/1598.46	c 1598s |      27 | 17397928 | 13170133 |     2027  15722 |        0 |        0
1599.90/1600.47	c 1600s |      27 | 17419482 | 13185833 |     2027  15737 |        0 |        0
1601.90/1602.48	c 1602s |      27 | 17440983 | 13201233 |     2027  15751 |        0 |        0
1603.90/1604.49	c 1604s |      27 | 17461195 | 13216233 |     2027  15765 |        0 |        0
1605.90/1606.49	c 1606s |      27 | 17481644 | 13231433 |     2027  15779 |        0 |        0
1607.90/1608.49	c 1608s |      27 | 17502301 | 13246733 |     2027  15793 |        0 |        0
1609.90/1610.50	c 1610s |      27 | 17521678 | 13261833 |     2027  15807 |        0 |        0
1612.00/1612.50	c 1612s |      27 | 17540607 | 13276033 |     2027  15820 |        0 |        0
1614.00/1614.51	c 1614s |      27 | 17562968 | 13291833 |     2027  15835 |        0 |        0
1616.00/1616.52	c 1616s |      27 | 17583826 | 13307133 |     2027  15849 |        0 |        0
1618.00/1618.53	c 1618s |      27 | 17602909 | 13321733 |     2027  15862 |        0 |        0
1620.00/1620.53	c 1620s |      27 | 17623880 | 13336833 |     2027  15876 |        0 |        0
1622.00/1622.53	c 1622s |      27 | 17644999 | 13351833 |     2027  15890 |        0 |        0
1623.99/1624.55	c 1624s |      27 | 17665550 | 13366733 |     2027  15904 |        0 |        0
1625.99/1626.56	c 1626s |      27 | 17686148 | 13381633 |     2027  15917 |        0 |        0
1627.99/1628.57	c 1628s |      27 | 17707291 | 13396633 |     2027  15931 |        0 |        0
1629.99/1630.57	c 1630s |      27 | 17726450 | 13410933 |     2027  15944 |        0 |        0
1632.00/1632.58	c 1632s |      27 | 17748040 | 13426833 |     2027  15959 |        0 |        0
1633.99/1634.58	c 1634s |      27 | 17769066 | 13441933 |     2027  15973 |        0 |        0
1635.99/1636.59	c 1636s |      27 | 17789490 | 13456933 |     2027  15986 |        0 |        0
1637.99/1638.59	c 1638s |      27 | 17808815 | 13471533 |     2027  16000 |        0 |        0
1640.09/1640.60	c 1640s |      27 | 17828576 | 13486933 |     2027  16014 |        0 |        0
1642.09/1642.61	c 1642s |      27 | 17848321 | 13502033 |     2027  16028 |        0 |        0
1644.10/1644.61	c 1644s |      27 | 17868420 | 13517233 |     2027  16042 |        0 |        0
1646.09/1646.62	c 1646s |      27 | 17886799 | 13531833 |     2027  16055 |        0 |        0
1648.09/1648.63	c 1648s |      27 | 17906923 | 13546833 |     2027  16069 |        0 |        0
1650.09/1650.63	c 1650s |      27 | 17925829 | 13561233 |     2027  16083 |        0 |        0
1652.08/1652.64	c 1652s |      27 | 17945247 | 13576133 |     2027  16096 |        0 |        0
1654.08/1654.65	c 1654s |      27 | 17965405 | 13591433 |     2027  16111 |        0 |        0
1656.09/1656.65	c 1656s |      27 | 17985795 | 13606733 |     2027  16125 |        0 |        0
1658.08/1658.65	c 1658s |      27 | 18005422 | 13621833 |     2027  16139 |        0 |        0
1660.08/1660.65	c 1660s |      27 | 18025036 | 13637133 |     2027  16153 |        0 |        0
1662.08/1662.66	c 1662s |      27 | 18047351 | 13653433 |     2027  16168 |        0 |        0
1664.08/1664.66	c 1664s |      27 | 18068180 | 13669133 |     2027  16182 |        0 |        0
1666.09/1666.67	c 1666s |      27 | 18089506 | 13685433 |     2027  16197 |        0 |        0
1668.08/1668.69	c 1668s |      27 | 18110957 | 13701633 |     2027  16212 |        0 |        0
1670.08/1670.69	c 1670s |      27 | 18130790 | 13716233 |     2027  16226 |        0 |        0
1672.08/1672.69	c 1672s |      27 | 18153028 | 13732533 |     2027  16241 |        0 |        0
1674.18/1674.70	c 1674s |      27 | 18174076 | 13748033 |     2027  16255 |        0 |        0
1676.18/1676.71	c 1676s |      27 | 18194728 | 13763533 |     2027  16269 |        0 |        0
1678.19/1678.71	c 1678s |      27 | 18216838 | 13779633 |     2027  16284 |        0 |        0
1680.18/1680.72	c 1680s |      27 | 18233850 | 13793033 |     2027  16297 |        0 |        0
1682.19/1682.73	c 1682s |      27 | 18254477 | 13808333 |     2027  16311 |        0 |        0
1684.19/1684.75	c 1684s |      27 | 18273122 | 13823033 |     2027  16324 |        0 |        0
1686.19/1686.76	c 1686s |      27 | 18294675 | 13838733 |     2027  16339 |        0 |        0
1688.19/1688.77	c 1688s |      27 | 18312954 | 13853033 |     2027  16352 |        0 |        0
1690.19/1690.77	c 1690s |      27 | 18334791 | 13868833 |     2027  16367 |        0 |        0
1692.19/1692.77	c 1692s |      27 | 18356071 | 13884733 |     2027  16381 |        0 |        0
1694.19/1694.78	c 1694s |      27 | 18374134 | 13899233 |     2027  16395 |        0 |        0
1696.19/1696.79	c 1696s |      27 | 18394092 | 13914133 |     2027  16409 |        0 |        0
1698.18/1698.79	c 1698s |      27 | 18414639 | 13929433 |     2027  16423 |        0 |        0
1700.28/1700.80	c 1700s |      27 | 18435443 | 13944933 |     2027  16437 |        0 |        0
1702.18/1702.80	c 1702s |      27 | 18454674 | 13959533 |     2027  16451 |        0 |        0
1704.28/1704.81	c 1704s |      27 | 18472650 | 13973133 |     2027  16463 |        0 |        0
1706.28/1706.81	c 1706s |      27 | 18493799 | 13988033 |     2027  16477 |        0 |        0
1708.28/1708.83	c 1708s |      27 | 18511808 | 14002133 |     2027  16490 |        0 |        0
1710.28/1710.84	c 1710s |      27 | 18531026 | 14016533 |     2027  16504 |        0 |        0
1712.29/1712.85	c 1712s |      27 | 18550968 | 14031433 |     2027  16517 |        0 |        0
1714.28/1714.86	c 1714s |      27 | 18572062 | 14047333 |     2027  16532 |        0 |        0
1716.28/1716.86	c 1716s |      27 | 18592857 | 14062633 |     2027  16546 |        0 |        0
1718.28/1718.87	c 1718s |      27 | 18612582 | 14077333 |     2027  16560 |        0 |        0
1720.28/1720.88	c 1720s |      27 | 18635224 | 14093133 |     2027  16575 |        0 |        0
1722.28/1722.89	c 1722s |      27 | 18656365 | 14108533 |     2027  16589 |        0 |        0
1724.28/1724.89	c 1724s |      27 | 18674535 | 14122933 |     2027  16603 |        0 |        0
1726.28/1726.90	c 1726s |      27 | 18693804 | 14137833 |     2027  16616 |        0 |        0
1728.38/1728.90	c 1728s |      27 | 18716229 | 14154533 |     2027  16632 |        0 |        0
1730.38/1730.92	c 1730s |      27 | 18739521 | 14171333 |     2027  16647 |        0 |        0
1732.38/1732.92	c 1732s |      27 | 18761008 | 14187433 |     2027  16662 |        0 |        0
1734.38/1734.92	c 1734s |      27 | 18783197 | 14203133 |     2027  16677 |        0 |        0
1736.38/1736.93	c 1736s |      27 | 18803662 | 14218333 |     2027  16691 |        0 |        0
1738.38/1738.94	c 1738s |      27 | 18820943 | 14232333 |     2027  16704 |        0 |        0
1740.37/1740.95	c 1740s |      27 | 18840078 | 14246933 |     2027  16717 |        0 |        0
1742.37/1742.95	c 1742s |      27 | 18859822 | 14261533 |     2027  16731 |        0 |        0
1744.37/1744.96	c 1744s |      27 | 18881518 | 14277533 |     2027  16745 |        0 |        0
1746.38/1746.96	c 1746s |      27 | 18902684 | 14293033 |     2027  16760 |        0 |        0
1748.37/1748.96	c 1748s |      27 | 18922313 | 14308033 |     2027  16773 |        0 |        0
1750.37/1750.96	c 1750s |      27 | 18940748 | 14322333 |     2027  16786 |        0 |        0
1752.37/1752.98	c 1752s |      27 | 18962125 | 14337433 |     2027  16800 |        0 |        0
1754.37/1754.98	c 1754s |      27 | 18982484 | 14352333 |     2027  16814 |        0 |        0
1756.37/1756.99	c 1756s |      27 | 19002869 | 14367433 |     2027  16828 |        0 |        0
1758.38/1758.99	c 1758s |      27 | 19022634 | 14382133 |     2027  16842 |        0 |        0
1760.47/1761.00	c 1760s |      27 | 19043025 | 14397433 |     2027  16856 |        0 |        0
1762.47/1763.00	c 1762s |      27 | 19065664 | 14413633 |     2027  16871 |        0 |        0
1764.47/1765.01	c 1765s |      27 | 19086059 | 14429033 |     2027  16885 |        0 |        0
1766.47/1767.02	c 1767s |      27 | 19106037 | 14443933 |     2027  16899 |        0 |        0
1768.47/1769.02	c 1769s |      27 | 19126387 | 14458933 |     2027  16913 |        0 |        0
1770.48/1771.03	c 1771s |      27 | 19146205 | 14473833 |     2027  16927 |        0 |        0
1772.47/1773.04	c 1773s |      27 | 19165476 | 14488633 |     2027  16940 |        0 |        0
1774.47/1775.06	c 1775s |      27 | 19184288 | 14502933 |     2027  16954 |        0 |        0
1776.47/1777.07	c 1777s |      27 | 19205541 | 14518233 |     2027  16968 |        0 |        0
1778.47/1779.08	c 1779s |      27 | 19227097 | 14534133 |     2027  16982 |        0 |        0
1780.47/1781.09	c 1781s |      27 | 19248077 | 14549733 |     2027  16997 |        0 |        0
1782.47/1783.09	c 1783s |      27 | 19267223 | 14564733 |     2027  17011 |        0 |        0
1784.56/1785.10	c 1785s |      27 | 19286771 | 14579333 |     2027  17024 |        0 |        0
1786.56/1787.11	c 1787s |      27 | 19307699 | 14594533 |     2027  17038 |        0 |        0
1788.57/1789.12	c 1789s |      27 | 19327049 | 14609033 |     2027  17052 |        0 |        0
1790.56/1791.12	c 1791s |      27 | 19344653 | 14623333 |     2027  17065 |        0 |        0
1792.57/1793.13	c 1793s |      27 | 19364560 | 14638133 |     2027  17079 |        0 |        0
1794.56/1795.14	c 1795s |      27 | 19384704 | 14653033 |     2027  17093 |        0 |        0
1796.57/1797.14	c 1797s |      27 | 19405659 | 14668433 |     2027  17107 |        0 |        0
1798.57/1799.16	c 1799s |      27 | 19425167 | 14683133 |     2027  17121 |        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-4096057-1466101751/watcher-4096057-1466101751 -o /tmp/evaluation-result-4096057-1466101751/solver-4096057-1466101751 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466098149-16012 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096057-1466101751.opb 

pid=16350
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.33 2.25 2.20 3/179 16353
/proc/meminfo: memFree=30043004/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 2760 0 0 0 0 0 0 0 20 0 4 0 12222231 756477952 2609 33554432000 4194304 16246674 140734836325472 140734836324896 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 185455 2618 441 2943 0 182349 0
[pid=16353/tid=16354] ppid=16350 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 774303744 2677 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 778498048 2694 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222231 782692352 2710 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 2.33 2.25 2.20 3/179 16353
/proc/meminfo: memFree=30043004/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 24942 0 0 0 6 3 0 0 20 0 4 0 12222231 1247350784 24780 33554432000 4194304 16246674 140734836325472 140734836324896 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 304529 24788 707 2943 0 301423 0
[pid=16353/tid=16354] ppid=16350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1247350784 24797 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1247350784 24802 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222231 1247350784 24809 33554432000 4194304 16246674 140734836325472 140363875470512 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.200486 s]
/proc/loadavg: 2.33 2.25 2.20 3/179 16353
/proc/meminfo: memFree=30043004/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 47432 0 0 0 13 6 0 0 20 0 4 0 12222231 1247350784 47270 33554432000 4194304 16246674 140734836325472 140734836324896 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 304529 47279 707 2943 0 301423 0
[pid=16353/tid=16354] ppid=16350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1247350784 47288 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1247350784 47297 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222231 1247350784 47301 33554432000 4194304 16246674 140734836325472 140363875470512 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.300473 s]
/proc/loadavg: 2.33 2.25 2.20 3/179 16353
/proc/meminfo: memFree=30043004/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 70245 0 0 0 20 9 0 0 20 0 4 0 12222231 1247350784 70084 33554432000 4194304 16246674 140734836325472 140734836324896 5589077 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 304529 70101 707 2943 0 301423 0
[pid=16353/tid=16354] ppid=16350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1247350784 70113 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1247350784 70123 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222231 1247350784 70132 33554432000 4194304 16246674 140734836325472 140363875470512 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.700405 s]
/proc/loadavg: 2.33 2.25 2.20 3/179 16353
/proc/meminfo: memFree=30043004/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 161173 0 0 0 49 19 0 0 20 0 4 0 12222231 1247350784 161012 33554432000 4194304 16246674 140734836325472 140734836308472 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 304529 161024 707 2943 0 301423 0
[pid=16353/tid=16354] ppid=16350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1247350784 161032 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1247350784 161037 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222231 1247350784 161042 33554432000 4194304 16246674 140734836325472 140363875470512 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.50038 s]
/proc/loadavg: 2.33 2.25 2.20 3/183 16357
/proc/meminfo: memFree=28238276/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 245611 0 0 0 116 32 0 0 20 0 4 0 12222231 1248399360 245429 33554432000 4194304 16246674 140734836325472 140734836308472 5722540 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 304785 245429 782 2943 0 301679 0
[pid=16353/tid=16354] ppid=16350 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1248399360 245429 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1248399360 245429 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1248399360 245429 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.31 2.24 2.19 3/183 16357
/proc/meminfo: memFree=28063188/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 267437 0 0 0 273 36 0 0 20 0 4 0 12222231 1337528320 267255 33554432000 4194304 16246674 140734836325472 140734836308472 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 326545 267255 782 2943 0 323439 0
[pid=16353/tid=16354] ppid=16350 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1337528320 267255 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1337528320 267255 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1337528320 267255 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.31 2.24 2.19 3/183 16357
/proc/meminfo: memFree=28060360/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 267592 0 0 0 593 36 0 0 20 0 4 0 12222231 1338576896 267410 33554432000 4194304 16246674 140734836325472 140734836307392 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 326801 267410 784 2943 0 323695 0
[pid=16353/tid=16354] ppid=16350 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1338576896 267410 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1338576896 267410 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1338576896 267410 33554432000 4194304 16246674 140734836325472 140363875470512 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.36 2.25 2.20 3/183 16357
/proc/meminfo: memFree=28059764/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 267824 0 0 0 1233 36 0 0 20 0 4 0 12222231 1338576896 267642 33554432000 4194304 16246674 140734836325472 140734836308472 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 326801 267642 785 2943 0 323695 0
[pid=16353/tid=16354] ppid=16350 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1338576896 267642 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1338576896 267642 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1338576896 267642 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 16357
/proc/meminfo: memFree=28060340/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 267825 0 0 0 2513 36 0 0 20 0 4 0 12222231 1338576896 267643 33554432000 4194304 16246674 140734836325472 140734836307392 5523504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 326801 267643 786 2943 0 323695 0
[pid=16353/tid=16354] ppid=16350 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1338576896 267643 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1338576896 267643 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1338576896 267643 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.25 2.24 2.19 3/184 16360
/proc/meminfo: memFree=28059084/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 268081 0 0 0 5072 36 0 0 20 0 4 0 12222231 1339625472 267899 33554432000 4194304 16246674 140734836325472 140734836308472 5523404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 327057 267899 786 2943 0 323951 0
[pid=16353/tid=16354] ppid=16350 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1339625472 267899 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1339625472 267899 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1339625472 267899 33554432000 4194304 16246674 140734836325472 140363875470512 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) 1308228

[startup+102.3 s]
/proc/loadavg: 2.16 2.21 2.18 3/184 16361
/proc/meminfo: memFree=28059648/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 268081 0 0 0 10190 38 0 0 20 0 4 0 12222231 1339625472 267899 33554432000 4194304 16246674 140734836325472 140734836308472 6026032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 327057 267899 786 2943 0 323951 0
[pid=16353/tid=16354] ppid=16350 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1339625472 267899 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1339625472 267899 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1339625472 267899 33554432000 4194304 16246674 140734836325472 140363875470512 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) 1308228


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

/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1340674048 268413 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1309252

[startup+1302.3 s]
/proc/loadavg: 2.50 2.30 2.21 4/184 16439
/proc/meminfo: memFree=28053060/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1309252 CPUtime=1301.85 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 268770 0 0 0 130126 59 0 0 20 0 4 0 12222231 1340674048 268413 33554432000 4194304 16246674 140734836325472 140734836308472 5677731 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 327313 268413 788 2943 0 324207 0
[pid=16353/tid=16354] ppid=16350 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1340674048 268413 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1340674048 268413 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1340674048 268413 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.52 2.33 2.22 3/183 16441
/proc/meminfo: memFree=28050964/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1311300 CPUtime=1361.83 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 269193 0 0 0 136123 60 0 0 20 0 4 0 12222231 1342771200 268818 33554432000 4194304 16246674 140734836325472 140734836307392 5822416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 327825 268818 788 2943 0 324719 0
[pid=16353/tid=16354] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268818 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268818 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268818 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.53 2.36 2.23 3/183 16443
/proc/meminfo: memFree=28049456/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1311300 CPUtime=1421.83 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 269289 0 0 0 142122 61 0 0 20 0 4 0 12222231 1342771200 268914 33554432000 4194304 16246674 140734836325472 140734836307392 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 327825 268914 788 2943 0 324719 0
[pid=16353/tid=16354] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268914 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268914 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268914 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.63 2.40 2.25 4/184 16444
/proc/meminfo: memFree=28049820/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1311300 CPUtime=1481.81 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 269289 0 0 0 148120 61 0 0 20 0 4 0 12222231 1342771200 268914 33554432000 4194304 16246674 140734836325472 140734836307392 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 327825 268914 788 2943 0 324719 0
[pid=16353/tid=16354] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268914 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268914 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268914 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.51 2.40 2.26 3/183 16445
/proc/meminfo: memFree=28048856/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1311300 CPUtime=1541.81 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 269300 0 0 0 154119 62 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140734836307392 6836785 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 327825 268925 788 2943 0 324719 0
[pid=16353/tid=16354] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.68 2.45 2.29 3/183 16445
/proc/meminfo: memFree=28047816/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1311300 CPUtime=1601.8 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 269300 0 0 0 160116 64 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140734836307392 12482187 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 327825 268925 788 2943 0 324719 0
[pid=16353/tid=16354] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1311300

[startup+1662.3 s]
/proc/loadavg: 2.68 2.48 2.30 3/183 16447
/proc/meminfo: memFree=28047840/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1311300 CPUtime=1661.78 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 269300 0 0 0 166114 64 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140734836307392 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 327825 268925 788 2943 0 324719 0
[pid=16353/tid=16354] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1311300

[startup+1722.3 s]
/proc/loadavg: 2.48 2.45 2.30 3/183 16448
/proc/meminfo: memFree=28047632/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1311300 CPUtime=1721.78 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 269300 0 0 0 172113 65 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140734836308472 5672975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 327825 268925 788 2943 0 324719 0
[pid=16353/tid=16354] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1311300

[startup+1782.3 s]
/proc/loadavg: 2.51 2.46 2.31 3/183 16449
/proc/meminfo: memFree=28047172/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1311300 CPUtime=1781.77 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 269300 0 0 0 178112 65 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140734836307392 5717852 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 327825 268925 788 2943 0 324719 0
[pid=16353/tid=16354] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1311300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.52 2.46 2.31 3/183 16450
/proc/meminfo: memFree=28047128/32872528 swapFree=17100/1797424
[pid=16353] ppid=16350 vsize=1311300 CPUtime=1800.07 cores=0,2,4,6
/proc/16353/stat : 16353 (toysat) R 16350 16353 15996 0 -1 4202496 269300 0 0 0 179941 66 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140734836307392 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16353/statm: 327825 268925 788 2943 0 324719 0
[pid=16353/tid=16354] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16354/stat : 16354 (toysat) S 16350 16353 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363896433904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16353/tid=16355] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16355/stat : 16355 (toysat) S 16350 16353 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363885944048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16353/tid=16356] ppid=16350 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16353/task/16356/stat : 16356 (toysat) S 16350 16353 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222231 1342771200 268925 33554432000 4194304 16246674 140734836325472 140363875470512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1311300

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.42
CPU system time (s): 0.661899
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1311300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.661899
maximum resident set size= 1075700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269300
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= 462
involuntary context switches= 2633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6584 second user time and 17.0004 second system time

The end

Begin job on node123 at 2016-06-16 20:29:11
IDJOB=4096057
IDBENCH=107560
IDSOLVER=2542
FILE ID=node123/4096057-1466101751
RUNJOBID= node123-1466098149-16012
PBS_JOBID= 19904045
Free space on /tmp= 71620 MiB

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

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

MD5SUM BENCH= 16b5d717fccb8d96b7ef9b18c24f223e
RANDOM SEED=102740834

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30061644 kB
Buffers:           42080 kB
Cached:           121700 kB
SwapCached:         2184 kB
Active:           232380 kB
Inactive:          76900 kB
Active(anon):     146028 kB
Inactive(anon):     1392 kB
Active(file):      86352 kB
Inactive(file):    75508 kB
Unevictable:     1797424 kB
Mlocked:           17100 kB
SwapTotal:      67108856 kB
SwapFree:       67099016 kB
Dirty:             32616 kB
Writeback:             0 kB
AnonPages:       2012880 kB
Mapped:             9860 kB
Shmem:                 0 kB
Slab:             568408 kB
SReclaimable:      12796 kB
SUnreclaim:       555612 kB
KernelStack:        1520 kB
PageTables:         8676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2925852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1859584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71604 MiB
End job on node123 at 2016-06-16 20:59:12