0.00/0.00	c 2016-06-16T19:51:43+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-4095931-1466099503.opb"]
0.00/0.01	c use --random-gen="2154383709 4280662508 764106628 1147200795 433135801 2686635722 3904743895 2141514151 3611332288 1859217416 270496233 3512742864 3423688367 4014185765 257011460 3174536766 1166083190 1556761770 190324140 2372122228 4234286522 2055738938 4255327263 1608414308 1468734382 974151190 817879766 1548493717 676647841 523625055 1428208295 17532547 2725960011 3180034633 3585655138 2896607545 2967570762 611131021 1984897612 4047016342 3841876088 3397423346 854614261 283417692 3668739244 1937461895 3057776963 2670362593 4236698305 3550425940 3398326245 1339400296 2966028131 2127720808 2544471471 3389357281 3243324282 3643630448 770736029 4182986574 309721170 4240776070 4216166480 1219337827 313866383 2897608894 1320626122 438119254 3926832732 1528039575 1115150926 2792283498 4250717319 2128730767 17750924 334427077 2745041028 2378214234 743420525 3869825175 2092027347 1649307294 2595264328 330693034 3304430966 574011196 2029344507 3840913696 406228681 2893346705 1113887236 3581433183 57833327 168112526 2007437219 4038747306 3742336167 1961266720 2236203495 795082757 1835334111 423526576 543384968 2510062121 2274122438 59348600 2574584589 2519386860 1621183406 2949390279 1466076546 2258221538 2736561708 3723594856 2534939978 2820653826 2818683965 832807182 3318725503 2283718542 3621702048 329659981 3535402978 116099962 3854452579 4107877159 1266054374 2550132079 2743584775 43258041 1121776582 1785226702 694627119 2970514551 1037140965 2339586143 3724301624 1798284117 1325513321 1217469245 3419302522 4269562458 743105654 1765782495 4198218043 1433352876 1123881570 1405862345 1125454000 1110914460 727177257 1959396659 3716919320 1829273893 578159343 640624400 1142994077 109705446 2389575995 3729700890 1483881185 392940970 1522945999 4135847834 260667691 2940830217 3050636341 1597452294 2661336866 2308576862 4049039297 2450437149 373255206 2358820222 2676780608 1928601534 1351275264 3236968810 2152742773 3670435342 280742422 3436607824 3138743683 1538288899 1137678056 1323355651 615588841 1111970322 2122532937 342669843 2403225093 3710656318 3768309061 203510441 2788898569 64532641 3844363829 3182925702 696890306 3273314839 4253412444 3700285299 2167088172 2366965226 2555037788 2058827808 2498522746 3823644229 2053723766 1039032864 614118561 1990486951 22001595 3678447979 950486843 2030771306 3175992613 2274809089 1719613802 2851233309 2762112006 1628288539 2740218918 4173513876 3848506438 825851141 2119105720 1304125979 1033273453 2335811336 3097036658 3235606528 2991776807 1621783649 3110050460 3606795038 1900934043 1052371215 1658123545 2295890122 2440840279 3754938158 3949516225 2888717021 3708462411 1981043611 1510502022 1295242266 2758479483 2485687373 3026257037 607216137 840188392 3165792457 2550415846 3521208145 255 362436" option to reproduce the execution
0.00/0.01	c #vars 181
0.00/0.01	c #constraints 90
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 |       90      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      161 |      100 |       90      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      454 |      250 |      100      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      964 |      475 |      111      4 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1472 |      813 |      123      8 |        0 |        0
0.09/0.18	c  0.2s |       5 |     2625 |     1320 |      136     14 |        0 |        0
0.19/0.27	c  0.3s |       6 |     3927 |     2081 |      165     21 |        0 |        0
0.39/0.44	c  0.4s |       7 |     6170 |     3223 |      182     31 |        0 |        0
0.59/0.69	c  0.7s |       8 |     8583 |     4936 |      201     46 |        0 |        0
0.99/1.07	c  1.1s |       9 |    11895 |     7506 |      222     65 |        0 |        0
1.38/1.46	c  1.4s |      10 |    17311 |    11361 |      245     92 |        0 |        0
1.99/2.07	c  2.1s |      11 |    25160 |    17144 |      270    130 |        0 |        0
3.09/3.13	c  3.1s |      12 |    36251 |    25819 |      297    181 |        0 |        0
4.49/4.54	c  4.5s |      13 |    55359 |    38832 |      327    255 |        0 |        0
6.39/6.41	c  6.4s |      14 |    85120 |    58352 |      360    357 |        0 |        0
8.38/8.42	c  8.4s |      14 |   114498 |    77252 |      360    451 |        0 |        0
9.48/9.50	c  9.5s |      15 |   132403 |    87632 |      397    503 |        0 |        0
11.48/11.50	c 11.5s |      15 |   160347 |   107432 |      397    589 |        0 |        0
13.48/13.50	c 13.5s |      15 |   187833 |   127132 |      397    677 |        0 |        0
13.88/13.95	c 13.9s |      16 |   193496 |   131552 |      437    696 |        0 |        0
15.88/15.95	c 15.9s |      16 |   216268 |   149152 |      437    768 |        0 |        0
17.89/17.95	c 17.9s |      16 |   240002 |   166852 |      437    842 |        0 |        0
19.89/19.96	c 19.9s |      16 |   266104 |   185452 |      437    919 |        0 |        0
21.19/21.29	c 21.3s |      17 |   281572 |   197432 |      481    969 |        0 |        0
23.19/23.29	c 23.3s |      17 |   304577 |   215032 |      481   1035 |        0 |        0
25.19/25.30	c 25.3s |      17 |   326332 |   231732 |      481   1099 |        0 |        0
27.29/27.30	c 27.3s |      17 |   350372 |   249732 |      481   1167 |        0 |        0
29.29/29.31	c 29.3s |      17 |   376117 |   268832 |      481   1241 |        0 |        0
31.29/31.32	c 31.3s |      17 |   398591 |   285932 |      481   1305 |        0 |        0
32.49/32.53	c 32.5s |      18 |   411506 |   296252 |      530   1343 |        0 |        0
34.48/34.54	c 34.5s |      18 |   436108 |   313052 |      530   1401 |        0 |        0
36.48/36.54	c 36.5s |      18 |   462007 |   330152 |      530   1460 |        0 |        0
38.49/38.55	c 38.5s |      18 |   482366 |   345552 |      530   1514 |        0 |        0
40.48/40.56	c 40.5s |      18 |   501338 |   360852 |      530   1567 |        0 |        0
42.48/42.56	c 42.6s |      18 |   520687 |   375852 |      530   1619 |        0 |        0
44.48/44.57	c 44.6s |      18 |   538444 |   390852 |      530   1670 |        0 |        0
46.48/46.57	c 46.6s |      18 |   556103 |   405752 |      530   1722 |        0 |        0
48.49/48.58	c 48.6s |      18 |   575938 |   421852 |      530   1779 |        0 |        0
50.48/50.59	c 50.6s |      18 |   592996 |   436252 |      530   1828 |        0 |        0
51.69/51.77	c 51.8s |      19 |   602530 |   444482 |      583   1855 |        0 |        0
53.68/53.77	c 53.8s |      19 |   624473 |   460282 |      583   1905 |        0 |        0
55.68/55.78	c 55.8s |      19 |   645793 |   475882 |      583   1955 |        0 |        0
57.68/57.79	c 57.8s |      19 |   665186 |   491682 |      583   2005 |        0 |        0
59.68/59.80	c 59.8s |      19 |   683199 |   506782 |      583   2053 |        0 |        0
61.78/61.80	c 61.8s |      19 |   700725 |   521682 |      583   2101 |        0 |        0
63.78/63.81	c 63.8s |      19 |   719404 |   537182 |      583   2150 |        0 |        0
65.78/65.81	c 65.8s |      19 |   737116 |   552182 |      583   2199 |        0 |        0
67.78/67.82	c 67.8s |      19 |   753030 |   566082 |      583   2243 |        0 |        0
69.78/69.83	c 69.8s |      19 |   770179 |   580482 |      583   2289 |        0 |        0
71.78/71.85	c 71.8s |      19 |   787817 |   595482 |      583   2337 |        0 |        0
73.78/73.86	c 73.8s |      19 |   806627 |   610682 |      583   2385 |        0 |        0
75.77/75.86	c 75.9s |      19 |   823908 |   624982 |      583   2430 |        0 |        0
77.77/77.87	c 77.9s |      19 |   842159 |   639382 |      583   2476 |        0 |        0
79.77/79.89	c 79.9s |      19 |   860514 |   654082 |      583   2523 |        0 |        0
81.57/81.62	c 81.6s |      20 |   877675 |   666827 |      642   2562 |        0 |        0
83.58/83.62	c 83.6s |      20 |   899402 |   683727 |      642   2612 |        0 |        0
85.57/85.63	c 85.6s |      20 |   919419 |   699527 |      642   2658 |        0 |        0
87.57/87.64	c 87.6s |      20 |   940846 |   716927 |      642   2709 |        0 |        0
89.57/89.65	c 89.6s |      20 |   964220 |   734827 |      642   2763 |        0 |        0
91.57/91.66	c 91.6s |      20 |   984077 |   751627 |      642   2813 |        0 |        0
93.58/93.67	c 93.7s |      20 |  1003535 |   768427 |      642   2862 |        0 |        0
95.58/95.67	c 95.7s |      20 |  1024233 |   785527 |      642   2913 |        0 |        0
97.58/97.67	c 97.7s |      20 |  1043816 |   802227 |      642   2962 |        0 |        0
99.57/99.68	c 99.7s |      20 |  1063256 |   818727 |      642   3011 |        0 |        0
101.57/101.69	c  101s |      20 |  1083003 |   835127 |      642   3060 |        0 |        0
103.57/103.69	c  103s |      20 |  1103711 |   851327 |      642   3108 |        0 |        0
105.68/105.70	c  105s |      20 |  1122199 |   867027 |      642   3155 |        0 |        0
107.67/107.71	c  107s |      20 |  1140831 |   882727 |      642   3202 |        0 |        0
109.67/109.72	c  109s |      20 |  1162155 |   899827 |      642   3253 |        0 |        0
111.67/111.73	c  111s |      20 |  1181852 |   916627 |      642   3303 |        0 |        0
113.67/113.73	c  113s |      20 |  1201871 |   933327 |      642   3353 |        0 |        0
115.67/115.73	c  115s |      20 |  1222176 |   950527 |      642   3404 |        0 |        0
117.67/117.74	c  117s |      20 |  1242713 |   967727 |      642   3455 |        0 |        0
119.66/119.74	c  119s |      20 |  1261342 |   983227 |      642   3500 |        0 |        0
121.66/121.75	c  121s |      20 |  1278950 |   998027 |      707   3542 |        0 |        0
121.96/122.07	c  122s |      21 |  1281684 |  1000345 |      707   3548 |        0 |        0
123.96/124.08	c  124s |      21 |  1308296 |  1018345 |      707   3596 |        0 |        0
125.96/126.08	c  126s |      21 |  1332456 |  1035245 |      707   3641 |        0 |        0
127.96/128.09	c  128s |      21 |  1356010 |  1052545 |      707   3687 |        0 |        0
130.06/130.10	c  130s |      21 |  1375876 |  1068145 |      707   3729 |        0 |        0
132.07/132.10	c  132s |      21 |  1396579 |  1084445 |      707   3773 |        0 |        0
134.06/134.11	c  134s |      21 |  1420090 |  1101745 |      707   3819 |        0 |        0
136.06/136.11	c  136s |      21 |  1444506 |  1119145 |      707   3865 |        0 |        0
138.06/138.11	c  138s |      21 |  1468848 |  1135945 |      707   3910 |        0 |        0
140.06/140.11	c  140s |      21 |  1493425 |  1152645 |      707   3955 |        0 |        0
142.06/142.12	c  142s |      21 |  1516131 |  1168945 |      707   3999 |        0 |        0
144.07/144.12	c  144s |      21 |  1537321 |  1185245 |      707   4042 |        0 |        0
146.06/146.12	c  146s |      21 |  1560417 |  1202145 |      707   4088 |        0 |        0
148.05/148.13	c  148s |      21 |  1582171 |  1218645 |      707   4132 |        0 |        0
150.05/150.14	c  150s |      21 |  1599417 |  1232945 |      707   4170 |        0 |        0
152.05/152.15	c  152s |      21 |  1616926 |  1247345 |      707   4209 |        0 |        0
154.06/154.16	c  154s |      21 |  1635598 |  1261845 |      707   4248 |        0 |        0
156.05/156.17	c  156s |      21 |  1654171 |  1276645 |      707   4288 |        0 |        0
158.05/158.17	c  158s |      21 |  1673713 |  1292745 |      707   4330 |        0 |        0
160.05/160.18	c  160s |      21 |  1694402 |  1308845 |      707   4373 |        0 |        0
162.05/162.18	c  162s |      21 |  1712431 |  1323745 |      707   4413 |        0 |        0
164.05/164.19	c  164s |      21 |  1732464 |  1339545 |      707   4456 |        0 |        0
166.05/166.20	c  166s |      21 |  1751604 |  1355245 |      707   4497 |        0 |        0
168.15/168.20	c  168s |      21 |  1770559 |  1370645 |      707   4539 |        0 |        0
170.15/170.21	c  170s |      21 |  1789320 |  1385745 |      707   4579 |        0 |        0
172.14/172.21	c  172s |      21 |  1805734 |  1399845 |      707   4617 |        0 |        0
174.14/174.21	c  174s |      21 |  1821846 |  1413645 |      707   4653 |        0 |        0
176.14/176.21	c  176s |      21 |  1840350 |  1428845 |      707   4694 |        0 |        0
178.15/178.22	c  178s |      21 |  1859283 |  1444145 |      707   4735 |        0 |        0
180.14/180.22	c  180s |      21 |  1877881 |  1459545 |      707   4776 |        0 |        0
182.15/182.23	c  182s |      21 |  1897642 |  1475145 |      707   4818 |        0 |        0
184.15/184.24	c  184s |      21 |  1918296 |  1491145 |      778   4861 |        0 |        0
185.45/185.59	c  185s |      22 |  1930505 |  1500622 |      778   4884 |        0 |        0
187.54/187.60	c  187s |      22 |  1947641 |  1514922 |      778   4919 |        0 |        0
189.54/189.61	c  189s |      22 |  1965150 |  1529322 |      778   4954 |        0 |        0
191.54/191.62	c  191s |      22 |  1982466 |  1543522 |      778   4989 |        0 |        0
193.55/193.63	c  193s |      22 |  1999245 |  1557322 |      778   5023 |        0 |        0
195.54/195.64	c  195s |      22 |  2015515 |  1571222 |      778   5057 |        0 |        0
197.54/197.64	c  197s |      22 |  2032170 |  1585222 |      778   5092 |        0 |        0
199.54/199.65	c  199s |      22 |  2051944 |  1600222 |      778   5129 |        0 |        0
201.54/201.65	c  201s |      22 |  2068915 |  1614122 |      778   5163 |        0 |        0
203.54/203.65	c  203s |      22 |  2086488 |  1628922 |      778   5199 |        0 |        0
205.54/205.66	c  205s |      22 |  2102043 |  1642422 |      778   5232 |        0 |        0
207.53/207.67	c  207s |      22 |  2120953 |  1657422 |      778   5269 |        0 |        0
209.53/209.67	c  209s |      22 |  2139703 |  1672522 |      778   5306 |        0 |        0
211.53/211.67	c  211s |      22 |  2157017 |  1686722 |      778   5341 |        0 |        0
213.53/213.68	c  213s |      22 |  2174049 |  1700922 |      778   5376 |        0 |        0
215.54/215.69	c  215s |      22 |  2191871 |  1715522 |      778   5412 |        0 |        0
217.53/217.69	c  217s |      22 |  2209504 |  1730122 |      778   5448 |        0 |        0
219.53/219.69	c  219s |      22 |  2227027 |  1744822 |      778   5484 |        0 |        0
221.53/221.69	c  221s |      22 |  2244878 |  1759522 |      778   5521 |        0 |        0
223.63/223.70	c  223s |      22 |  2264097 |  1774522 |      778   5558 |        0 |        0
225.62/225.71	c  225s |      22 |  2284435 |  1789722 |      778   5595 |        0 |        0
227.63/227.72	c  227s |      22 |  2305639 |  1804922 |      778   5632 |        0 |        0
229.62/229.73	c  229s |      22 |  2325758 |  1820122 |      778   5670 |        0 |        0
231.62/231.73	c  231s |      22 |  2345931 |  1836222 |      778   5709 |        0 |        0
233.62/233.73	c  233s |      22 |  2362881 |  1850722 |      778   5744 |        0 |        0
235.62/235.75	c  235s |      22 |  2379820 |  1865122 |      778   5779 |        0 |        0
237.62/237.75	c  237s |      22 |  2395781 |  1878822 |      778   5812 |        0 |        0
239.62/239.77	c  239s |      22 |  2411835 |  1892722 |      778   5847 |        0 |        0
241.61/241.77	c  241s |      22 |  2428174 |  1906622 |      778   5880 |        0 |        0
243.62/243.77	c  243s |      22 |  2444532 |  1920322 |      778   5914 |        0 |        0
245.62/245.78	c  245s |      22 |  2462495 |  1934822 |      778   5949 |        0 |        0
247.62/247.78	c  247s |      22 |  2479705 |  1949122 |      778   5984 |        0 |        0
249.63/249.79	c  249s |      22 |  2495807 |  1962622 |      778   6016 |        0 |        0
251.72/251.80	c  251s |      22 |  2511014 |  1975522 |      778   6047 |        0 |        0
253.72/253.80	c  253s |      22 |  2527582 |  1989222 |      778   6080 |        0 |        0
255.72/255.81	c  255s |      22 |  2543502 |  2002822 |      778   6113 |        0 |        0
257.72/257.82	c  257s |      22 |  2559243 |  2016422 |      778   6146 |        0 |        0
259.72/259.83	c  259s |      22 |  2575250 |  2030022 |      778   6179 |        0 |        0
261.72/261.83	c  261s |      22 |  2590818 |  2043422 |      778   6212 |        0 |        0
263.71/263.83	c  263s |      22 |  2608158 |  2057322 |      778   6246 |        0 |        0
265.71/265.84	c  265s |      22 |  2623251 |  2070222 |      778   6278 |        0 |        0
267.71/267.86	c  267s |      22 |  2637801 |  2083122 |      778   6310 |        0 |        0
269.71/269.87	c  269s |      22 |  2654330 |  2097022 |      778   6345 |        0 |        0
271.71/271.88	c  271s |      22 |  2672592 |  2112122 |      778   6382 |        0 |        0
273.70/273.89	c  273s |      22 |  2690439 |  2127222 |      778   6419 |        0 |        0
275.80/275.90	c  275s |      22 |  2710651 |  2143422 |      778   6458 |        0 |        0
277.80/277.90	c  277s |      22 |  2729229 |  2158622 |      778   6495 |        0 |        0
279.80/279.91	c  279s |      22 |  2749618 |  2174122 |      778   6533 |        0 |        0
281.80/281.91	c  281s |      22 |  2768688 |  2189322 |      778   6571 |        0 |        0
283.81/283.92	c  283s |      22 |  2789248 |  2205422 |      778   6609 |        0 |        0
285.80/285.92	c  285s |      22 |  2812970 |  2222222 |      778   6651 |        0 |        0
287.80/287.93	c  287s |      22 |  2834633 |  2238722 |      856   6691 |        0 |        0
289.31/289.43	c  289s |      23 |  2851156 |  2251038 |      856   6719 |        0 |        0
291.30/291.44	c  291s |      23 |  2875397 |  2267738 |      856   6757 |        0 |        0
293.30/293.44	c  293s |      23 |  2897266 |  2284338 |      856   6794 |        0 |        0
295.30/295.45	c  295s |      23 |  2919738 |  2300738 |      856   6831 |        0 |        0
297.30/297.45	c  297s |      23 |  2945881 |  2318238 |      856   6870 |        0 |        0
299.30/299.46	c  299s |      23 |  2968411 |  2334338 |      856   6906 |        0 |        0
301.30/301.47	c  301s |      23 |  2987386 |  2349138 |      856   6938 |        0 |        0
303.30/303.47	c  303s |      23 |  3005009 |  2363838 |      856   6971 |        0 |        0
305.30/305.47	c  305s |      23 |  3024581 |  2379338 |      856   7006 |        0 |        0
307.29/307.48	c  307s |      23 |  3047159 |  2396338 |      856   7044 |        0 |        0
309.29/309.49	c  309s |      23 |  3068257 |  2412538 |      856   7080 |        0 |        0
311.39/311.50	c  311s |      23 |  3089460 |  2428538 |      856   7115 |        0 |        0
313.29/313.50	c  313s |      23 |  3113451 |  2444938 |      856   7152 |        0 |        0
315.39/315.50	c  315s |      23 |  3136018 |  2460838 |      856   7188 |        0 |        0
317.39/317.50	c  317s |      23 |  3157295 |  2476638 |      856   7223 |        0 |        0
319.39/319.51	c  319s |      23 |  3178699 |  2492838 |      856   7259 |        0 |        0
321.39/321.51	c  321s |      23 |  3204809 |  2510838 |      856   7300 |        0 |        0
323.40/323.52	c  323s |      23 |  3229862 |  2528738 |      856   7340 |        0 |        0
325.39/325.52	c  325s |      23 |  3254224 |  2546438 |      856   7379 |        0 |        0
327.38/327.52	c  327s |      23 |  3275993 |  2563938 |      856   7418 |        0 |        0
329.38/329.53	c  329s |      23 |  3300764 |  2582338 |      856   7459 |        0 |        0
331.38/331.53	c  331s |      23 |  3324248 |  2599938 |      856   7498 |        0 |        0
333.38/333.54	c  333s |      23 |  3346668 |  2616538 |      856   7536 |        0 |        0
335.39/335.55	c  335s |      23 |  3369407 |  2633738 |      856   7574 |        0 |        0
337.38/337.56	c  337s |      23 |  3391626 |  2650938 |      856   7612 |        0 |        0
339.38/339.57	c  339s |      23 |  3412002 |  2667238 |      856   7648 |        0 |        0
341.38/341.57	c  341s |      23 |  3432181 |  2683338 |      856   7685 |        0 |        0
343.38/343.59	c  343s |      23 |  3450608 |  2698938 |      856   7719 |        0 |        0
345.38/345.59	c  345s |      23 |  3469080 |  2714038 |      856   7753 |        0 |        0
347.37/347.60	c  347s |      23 |  3487679 |  2729338 |      856   7787 |        0 |        0
349.47/349.61	c  349s |      23 |  3506990 |  2744738 |      856   7822 |        0 |        0
351.47/351.61	c  351s |      23 |  3529547 |  2760938 |      856   7858 |        0 |        0
353.47/353.61	c  353s |      23 |  3549572 |  2776738 |      856   7893 |        0 |        0
355.47/355.62	c  355s |      23 |  3568374 |  2791238 |      856   7925 |        0 |        0
357.47/357.63	c  357s |      23 |  3587961 |  2806438 |      856   7959 |        0 |        0
359.47/359.64	c  359s |      23 |  3605199 |  2820938 |      856   7992 |        0 |        0
361.47/361.65	c  361s |      23 |  3623515 |  2835738 |      856   8025 |        0 |        0
363.47/363.66	c  363s |      23 |  3643586 |  2851638 |      856   8061 |        0 |        0
365.47/365.66	c  365s |      23 |  3665088 |  2868138 |      856   8098 |        0 |        0
367.46/367.66	c  367s |      23 |  3684864 |  2884138 |      856   8133 |        0 |        0
369.47/369.67	c  369s |      23 |  3705857 |  2900338 |      856   8170 |        0 |        0
371.47/371.68	c  371s |      23 |  3726017 |  2916138 |      856   8205 |        0 |        0
373.47/373.68	c  373s |      23 |  3747098 |  2932538 |      856   8242 |        0 |        0
375.47/375.68	c  375s |      23 |  3770973 |  2950338 |      856   8282 |        0 |        0
377.46/377.69	c  377s |      23 |  3792520 |  2966838 |      856   8318 |        0 |        0
379.56/379.70	c  379s |      23 |  3818193 |  2983838 |      856   8357 |        0 |        0
381.57/381.71	c  381s |      23 |  3842449 |  3000438 |      856   8394 |        0 |        0
383.56/383.71	c  383s |      23 |  3864236 |  3016838 |      856   8431 |        0 |        0
385.56/385.72	c  385s |      23 |  3885784 |  3033138 |      856   8468 |        0 |        0
387.56/387.73	c  387s |      23 |  3905917 |  3048838 |      856   8503 |        0 |        0
389.56/389.73	c  389s |      23 |  3925170 |  3063938 |      856   8536 |        0 |        0
391.56/391.74	c  391s |      23 |  3944650 |  3079238 |      856   8570 |        0 |        0
393.56/393.75	c  393s |      23 |  3967486 |  3095938 |      856   8608 |        0 |        0
395.55/395.75	c  395s |      23 |  3989013 |  3112038 |      856   8644 |        0 |        0
397.55/397.76	c  397s |      23 |  4014240 |  3128838 |      856   8681 |        0 |        0
399.55/399.76	c  399s |      23 |  4034961 |  3144738 |      856   8717 |        0 |        0
401.55/401.77	c  401s |      23 |  4057066 |  3161138 |      856   8754 |        0 |        0
403.55/403.78	c  403s |      23 |  4080868 |  3177838 |      856   8792 |        0 |        0
405.55/405.78	c  405s |      23 |  4105614 |  3195138 |      856   8830 |        0 |        0
407.55/407.79	c  407s |      23 |  4129135 |  3211738 |      856   8868 |        0 |        0
409.54/409.79	c  409s |      23 |  4154192 |  3229038 |      856   8907 |        0 |        0
411.65/411.80	c  411s |      23 |  4176681 |  3245838 |      856   8945 |        0 |        0
413.65/413.80	c  413s |      23 |  4198519 |  3262738 |      856   8983 |        0 |        0
415.66/415.81	c  415s |      23 |  4223922 |  3279738 |      856   9021 |        0 |        0
417.65/417.81	c  417s |      23 |  4246735 |  3295838 |      856   9056 |        0 |        0
419.65/419.82	c  419s |      23 |  4269971 |  3312938 |      856   9095 |        0 |        0
421.65/421.83	c  421s |      23 |  4294695 |  3329938 |      856   9133 |        0 |        0
423.65/423.83	c  423s |      23 |  4315615 |  3345638 |      856   9168 |        0 |        0
425.65/425.85	c  425s |      23 |  4339037 |  3362338 |      942   9204 |        0 |        0
427.54/427.76	c  427s |      24 |  4356582 |  3376662 |      942   9233 |        0 |        0
429.54/429.77	c  429s |      24 |  4375364 |  3391762 |      942   9264 |        0 |        0
431.54/431.77	c  431s |      24 |  4391948 |  3405862 |      942   9292 |        0 |        0
433.54/433.78	c  433s |      24 |  4410256 |  3420962 |      942   9323 |        0 |        0
435.55/435.79	c  435s |      24 |  4427392 |  3435062 |      942   9352 |        0 |        0
437.54/437.79	c  437s |      24 |  4442699 |  3448262 |      942   9379 |        0 |        0
439.64/439.81	c  439s |      24 |  4458676 |  3461962 |      942   9407 |        0 |        0
441.64/441.82	c  441s |      24 |  4476754 |  3476562 |      942   9437 |        0 |        0
443.63/443.82	c  443s |      24 |  4494731 |  3490962 |      942   9466 |        0 |        0
445.63/445.83	c  445s |      24 |  4512891 |  3505562 |      942   9496 |        0 |        0
447.64/447.83	c  447s |      24 |  4530767 |  3519962 |      942   9525 |        0 |        0
449.63/449.84	c  449s |      24 |  4550058 |  3535062 |      942   9556 |        0 |        0
451.63/451.85	c  451s |      24 |  4567644 |  3549362 |      942   9586 |        0 |        0
453.63/453.85	c  453s |      24 |  4585138 |  3563462 |      942   9614 |        0 |        0
455.63/455.86	c  455s |      24 |  4601008 |  3576962 |      942   9642 |        0 |        0
457.63/457.87	c  457s |      24 |  4620782 |  3591962 |      942   9672 |        0 |        0
459.63/459.88	c  459s |      24 |  4638280 |  3606262 |      942   9701 |        0 |        0
461.62/461.88	c  461s |      24 |  4656230 |  3620362 |      942   9730 |        0 |        0
463.62/463.89	c  463s |      24 |  4674119 |  3633962 |      942   9758 |        0 |        0
465.72/465.90	c  465s |      24 |  4690734 |  3647662 |      942   9786 |        0 |        0
467.72/467.90	c  467s |      24 |  4709225 |  3662362 |      942   9816 |        0 |        0
469.72/469.90	c  469s |      24 |  4729794 |  3678062 |      942   9848 |        0 |        0
471.73/471.91	c  471s |      24 |  4747366 |  3692562 |      942   9878 |        0 |        0
473.72/473.91	c  473s |      24 |  4767824 |  3707962 |      942   9910 |        0 |        0
475.72/475.92	c  475s |      24 |  4787289 |  3723662 |      942   9942 |        0 |        0
477.71/477.93	c  477s |      24 |  4807082 |  3739262 |      942   9974 |        0 |        0
479.71/479.94	c  479s |      24 |  4823718 |  3753262 |      942  10003 |        0 |        0
481.72/481.94	c  481s |      24 |  4840573 |  3767162 |      942  10031 |        0 |        0
483.71/483.95	c  483s |      24 |  4858194 |  3781362 |      942  10060 |        0 |        0
485.71/485.96	c  485s |      24 |  4876926 |  3796162 |      942  10090 |        0 |        0
487.72/487.97	c  487s |      24 |  4895422 |  3811162 |      942  10121 |        0 |        0
489.72/489.98	c  489s |      24 |  4914110 |  3826262 |      942  10152 |        0 |        0
491.72/491.99	c  491s |      24 |  4932482 |  3841062 |      942  10183 |        0 |        0
493.72/494.00	c  493s |      24 |  4951409 |  3856062 |      942  10213 |        0 |        0
495.81/496.01	c  495s |      24 |  4970472 |  3871062 |      942  10244 |        0 |        0
497.81/498.02	c  498s |      24 |  4986970 |  3884962 |      942  10273 |        0 |        0
499.81/500.03	c  500s |      24 |  5004028 |  3899062 |      942  10301 |        0 |        0
501.81/502.03	c  502s |      24 |  5021134 |  3913162 |      942  10330 |        0 |        0
503.81/504.04	c  504s |      24 |  5037561 |  3926962 |      942  10358 |        0 |        0
505.81/506.04	c  506s |      24 |  5053501 |  3940662 |      942  10386 |        0 |        0
507.80/508.04	c  508s |      24 |  5071231 |  3954762 |      942  10415 |        0 |        0
509.80/510.05	c  510s |      24 |  5089772 |  3969362 |      942  10445 |        0 |        0
511.80/512.06	c  512s |      24 |  5109072 |  3984462 |      942  10476 |        0 |        0
513.80/514.06	c  514s |      24 |  5127123 |  3998962 |      942  10506 |        0 |        0
515.80/516.07	c  516s |      24 |  5143156 |  4012262 |      942  10533 |        0 |        0
517.79/518.08	c  518s |      24 |  5159285 |  4025662 |      942  10560 |        0 |        0
519.79/520.08	c  520s |      24 |  5175195 |  4039162 |      942  10587 |        0 |        0
521.79/522.08	c  522s |      24 |  5192906 |  4053462 |      942  10616 |        0 |        0
523.80/524.10	c  524s |      24 |  5209550 |  4067562 |      942  10645 |        0 |        0
525.90/526.11	c  526s |      24 |  5226753 |  4081962 |      942  10674 |        0 |        0
527.90/528.12	c  528s |      24 |  5243457 |  4095962 |      942  10703 |        0 |        0
529.90/530.12	c  530s |      24 |  5259067 |  4109562 |      942  10730 |        0 |        0
531.89/532.13	c  532s |      24 |  5275237 |  4123162 |      942  10758 |        0 |        0
533.89/534.14	c  534s |      24 |  5292544 |  4137362 |      942  10788 |        0 |        0
535.89/536.14	c  536s |      24 |  5311414 |  4152162 |      942  10818 |        0 |        0
537.89/538.14	c  538s |      24 |  5327624 |  4165862 |      942  10846 |        0 |        0
539.89/540.15	c  540s |      24 |  5346922 |  4181062 |      942  10877 |        0 |        0
541.88/542.16	c  542s |      24 |  5366805 |  4196962 |      942  10910 |        0 |        0
543.88/544.16	c  544s |      24 |  5385795 |  4212362 |      942  10941 |        0 |        0
545.88/546.17	c  546s |      24 |  5403956 |  4227362 |      942  10972 |        0 |        0
547.88/548.18	c  548s |      24 |  5424164 |  4243162 |      942  11004 |        0 |        0
549.88/550.19	c  550s |      24 |  5445491 |  4259462 |      942  11038 |        0 |        0
551.88/552.20	c  552s |      24 |  5466015 |  4275362 |      942  11070 |        0 |        0
553.98/554.20	c  554s |      24 |  5484842 |  4290462 |      942  11101 |        0 |        0
555.97/556.21	c  556s |      24 |  5504802 |  4306162 |      942  11133 |        0 |        0
557.97/558.22	c  558s |      24 |  5524725 |  4321562 |      942  11165 |        0 |        0
559.97/560.22	c  560s |      24 |  5543187 |  4336762 |      942  11196 |        0 |        0
561.98/562.23	c  562s |      24 |  5563631 |  4352862 |      942  11229 |        0 |        0
563.97/564.23	c  564s |      24 |  5584099 |  4368662 |      942  11262 |        0 |        0
565.97/566.24	c  566s |      24 |  5604174 |  4384362 |      942  11294 |        0 |        0
567.96/568.24	c  568s |      24 |  5624103 |  4399862 |      942  11326 |        0 |        0
569.96/570.25	c  570s |      24 |  5643952 |  4415462 |      942  11358 |        0 |        0
571.96/572.26	c  572s |      24 |  5661401 |  4429962 |      942  11388 |        0 |        0
573.97/574.26	c  574s |      24 |  5680076 |  4444762 |      942  11418 |        0 |        0
575.96/576.27	c  576s |      24 |  5700284 |  4460062 |      942  11449 |        0 |        0
577.96/578.28	c  578s |      24 |  5717990 |  4474262 |      942  11479 |        0 |        0
579.95/580.28	c  580s |      24 |  5738307 |  4489762 |      942  11511 |        0 |        0
581.95/582.29	c  582s |      24 |  5755482 |  4504162 |      942  11540 |        0 |        0
584.06/584.30	c  584s |      24 |  5773553 |  4518862 |      942  11570 |        0 |        0
586.07/586.31	c  586s |      24 |  5790329 |  4533162 |      942  11600 |        0 |        0
588.06/588.31	c  588s |      24 |  5807288 |  4547262 |      942  11629 |        0 |        0
590.06/590.31	c  590s |      24 |  5826451 |  4562462 |      942  11660 |        0 |        0
592.06/592.32	c  592s |      24 |  5843846 |  4576662 |      942  11689 |        0 |        0
594.06/594.32	c  594s |      24 |  5860057 |  4590262 |      942  11717 |        0 |        0
596.07/596.32	c  596s |      24 |  5876804 |  4604062 |      942  11745 |        0 |        0
598.06/598.33	c  598s |      24 |  5895999 |  4619062 |      942  11776 |        0 |        0
600.06/600.34	c  600s |      24 |  5914041 |  4633862 |      942  11806 |        0 |        0
602.06/602.34	c  602s |      24 |  5930251 |  4647562 |      942  11834 |        0 |        0
604.06/604.36	c  604s |      24 |  5946951 |  4661362 |      942  11862 |        0 |        0
606.06/606.36	c  606s |      24 |  5963955 |  4675062 |      942  11890 |        0 |        0
608.06/608.37	c  608s |      24 |  5981022 |  4689262 |      942  11920 |        0 |        0
610.05/610.38	c  610s |      24 |  5997771 |  4703062 |      942  11948 |        0 |        0
612.05/612.38	c  612s |      24 |  6013680 |  4716562 |      942  11976 |        0 |        0
614.05/614.39	c  614s |      24 |  6030105 |  4730262 |      942  12003 |        0 |        0
616.15/616.40	c  616s |      24 |  6048925 |  4745062 |      942  12034 |        0 |        0
618.15/618.40	c  618s |      24 |  6069668 |  4760662 |      942  12065 |        0 |        0
620.04/620.40	c  620s |      24 |  6088082 |  4775562 |      942  12096 |        0 |        0
622.14/622.40	c  622s |      24 |  6107259 |  4790762 |      942  12127 |        0 |        0
624.14/624.41	c  624s |      24 |  6126403 |  4805662 |      942  12157 |        0 |        0
626.14/626.41	c  626s |      24 |  6143536 |  4819862 |      942  12186 |        0 |        0
628.14/628.43	c  628s |      24 |  6160849 |  4834162 |      942  12216 |        0 |        0
630.14/630.43	c  630s |      24 |  6177228 |  4848162 |      942  12244 |        0 |        0
632.14/632.44	c  632s |      24 |  6193598 |  4861962 |      942  12273 |        0 |        0
634.14/634.45	c  634s |      24 |  6210429 |  4875962 |      942  12301 |        0 |        0
636.13/636.45	c  636s |      24 |  6227715 |  4890362 |      942  12331 |        0 |        0
638.13/638.46	c  638s |      24 |  6246280 |  4904762 |      942  12360 |        0 |        0
640.13/640.46	c  640s |      24 |  6266185 |  4919962 |      942  12392 |        0 |        0
642.14/642.47	c  642s |      24 |  6288414 |  4937262 |      942  12427 |        0 |        0
644.13/644.48	c  644s |      24 |  6308255 |  4953162 |      942  12460 |        0 |        0
646.13/646.48	c  646s |      24 |  6329528 |  4969762 |      942  12494 |        0 |        0
648.13/648.49	c  648s |      24 |  6350474 |  4986062 |      942  12527 |        0 |        0
650.23/650.51	c  650s |      24 |  6372318 |  5002762 |      942  12562 |        0 |        0
652.23/652.51	c  652s |      24 |  6391283 |  5017962 |      942  12593 |        0 |        0
654.23/654.51	c  654s |      24 |  6409853 |  5032362 |     1037  12621 |        0 |        0
656.23/656.53	c  656s |      24 |  6425307 |  5045562 |     1037  12646 |        0 |        0
658.23/658.54	c  658s |      24 |  6442015 |  5059462 |     1037  12672 |        0 |        0
659.12/659.41	c  659s |      25 |  6448560 |  5065098 |     1037  12682 |        0 |        0
661.12/661.41	c  661s |      25 |  6467841 |  5079798 |     1037  12709 |        0 |        0
663.13/663.42	c  663s |      25 |  6488409 |  5094998 |     1037  12737 |        0 |        0
665.12/665.43	c  665s |      25 |  6507051 |  5108698 |     1037  12763 |        0 |        0
667.12/667.43	c  667s |      25 |  6524993 |  5122798 |     1037  12789 |        0 |        0
669.12/669.44	c  669s |      25 |  6542989 |  5136898 |     1037  12815 |        0 |        0
671.12/671.44	c  671s |      25 |  6560036 |  5150198 |     1037  12840 |        0 |        0
673.11/673.45	c  673s |      25 |  6578201 |  5165098 |     1037  12867 |        0 |        0
675.12/675.46	c  675s |      25 |  6596446 |  5180198 |     1037  12895 |        0 |        0
677.11/677.46	c  677s |      25 |  6614265 |  5194698 |     1037  12922 |        0 |        0
679.11/679.47	c  679s |      25 |  6631359 |  5208498 |     1037  12948 |        0 |        0
681.11/681.47	c  681s |      25 |  6649149 |  5222698 |     1037  12974 |        0 |        0
683.12/683.48	c  683s |      25 |  6664822 |  5235698 |     1037  12998 |        0 |        0
685.12/685.49	c  685s |      25 |  6682118 |  5250198 |     1037  13025 |        0 |        0
687.11/687.49	c  687s |      25 |  6698261 |  5263898 |     1037  13050 |        0 |        0
689.11/689.49	c  689s |      25 |  6714389 |  5277198 |     1037  13075 |        0 |        0
691.21/691.50	c  691s |      25 |  6732381 |  5291598 |     1037  13102 |        0 |        0
693.21/693.51	c  693s |      25 |  6749776 |  5305798 |     1037  13128 |        0 |        0
695.21/695.52	c  695s |      25 |  6767439 |  5319598 |     1037  13154 |        0 |        0
697.22/697.53	c  697s |      25 |  6785115 |  5333798 |     1037  13180 |        0 |        0
699.21/699.55	c  699s |      25 |  6803009 |  5347698 |     1037  13206 |        0 |        0
701.21/701.56	c  701s |      25 |  6817490 |  5360098 |     1037  13228 |        0 |        0
703.21/703.56	c  703s |      25 |  6834272 |  5373498 |     1037  13253 |        0 |        0
705.20/705.57	c  705s |      25 |  6851302 |  5387198 |     1037  13278 |        0 |        0
707.20/707.57	c  707s |      25 |  6865999 |  5399498 |     1037  13301 |        0 |        0
709.21/709.57	c  709s |      25 |  6881831 |  5412298 |     1037  13324 |        0 |        0
711.20/711.58	c  711s |      25 |  6897878 |  5425298 |     1037  13348 |        0 |        0
713.20/713.58	c  713s |      25 |  6914472 |  5438898 |     1037  13373 |        0 |        0
715.20/715.59	c  715s |      25 |  6931601 |  5452498 |     1037  13399 |        0 |        0
717.29/717.60	c  717s |      25 |  6948826 |  5466298 |     1037  13424 |        0 |        0
719.29/719.60	c  719s |      25 |  6965121 |  5479598 |     1037  13449 |        0 |        0
721.30/721.61	c  721s |      25 |  6980609 |  5492698 |     1037  13473 |        0 |        0
723.29/723.62	c  723s |      25 |  6997634 |  5506298 |     1037  13498 |        0 |        0
725.29/725.63	c  725s |      25 |  7013530 |  5519298 |     1037  13522 |        0 |        0
727.29/727.63	c  727s |      25 |  7028347 |  5531898 |     1037  13546 |        0 |        0
729.29/729.64	c  729s |      25 |  7042774 |  5543998 |     1037  13568 |        0 |        0
731.30/731.65	c  731s |      25 |  7056559 |  5555498 |     1037  13590 |        0 |        0
733.29/733.65	c  733s |      25 |  7073979 |  5569098 |     1037  13615 |        0 |        0
735.29/735.65	c  735s |      25 |  7092255 |  5583498 |     1037  13641 |        0 |        0
737.29/737.66	c  737s |      25 |  7110635 |  5597798 |     1037  13668 |        0 |        0
739.29/739.66	c  739s |      25 |  7128337 |  5611698 |     1037  13694 |        0 |        0
741.29/741.67	c  741s |      25 |  7146915 |  5626098 |     1037  13720 |        0 |        0
743.29/743.68	c  743s |      25 |  7165492 |  5640698 |     1037  13747 |        0 |        0
745.30/745.68	c  745s |      25 |  7182059 |  5654498 |     1037  13773 |        0 |        0
747.30/747.69	c  747s |      25 |  7200913 |  5668998 |     1037  13800 |        0 |        0
749.40/749.70	c  749s |      25 |  7217803 |  5682798 |     1037  13826 |        0 |        0
751.40/751.71	c  751s |      25 |  7233238 |  5695698 |     1037  13849 |        0 |        0
753.39/753.73	c  753s |      25 |  7249695 |  5709098 |     1037  13874 |        0 |        0
755.40/755.74	c  755s |      25 |  7266867 |  5722998 |     1037  13900 |        0 |        0
757.39/757.74	c  757s |      25 |  7284832 |  5737198 |     1037  13926 |        0 |        0
759.39/759.75	c  759s |      25 |  7302887 |  5751198 |     1037  13951 |        0 |        0
761.39/761.76	c  761s |      25 |  7321880 |  5765598 |     1037  13978 |        0 |        0
763.39/763.77	c  763s |      25 |  7340227 |  5779498 |     1037  14003 |        0 |        0
765.40/765.77	c  765s |      25 |  7356327 |  5792398 |     1037  14027 |        0 |        0
767.39/767.77	c  767s |      25 |  7375080 |  5806298 |     1037  14052 |        0 |        0
769.39/769.78	c  769s |      25 |  7393152 |  5819998 |     1037  14078 |        0 |        0
771.39/771.79	c  771s |      25 |  7411271 |  5834598 |     1037  14105 |        0 |        0
773.49/773.80	c  773s |      25 |  7429394 |  5849498 |     1037  14132 |        0 |        0
775.49/775.80	c  775s |      25 |  7447499 |  5864098 |     1037  14159 |        0 |        0
777.39/777.80	c  777s |      25 |  7465416 |  5878498 |     1037  14186 |        0 |        0
779.49/779.81	c  779s |      25 |  7482460 |  5892498 |     1037  14212 |        0 |        0
781.49/781.82	c  781s |      25 |  7500904 |  5907098 |     1037  14239 |        0 |        0
783.48/783.83	c  783s |      25 |  7519977 |  5922098 |     1037  14267 |        0 |        0
785.48/785.83	c  785s |      25 |  7538203 |  5936498 |     1037  14294 |        0 |        0
787.48/787.84	c  787s |      25 |  7555386 |  5950498 |     1037  14320 |        0 |        0
789.49/789.85	c  789s |      25 |  7571573 |  5963998 |     1037  14345 |        0 |        0
791.48/791.85	c  791s |      25 |  7588084 |  5977698 |     1037  14370 |        0 |        0
793.48/793.86	c  793s |      25 |  7605568 |  5991598 |     1037  14396 |        0 |        0
795.48/795.87	c  795s |      25 |  7622168 |  6005398 |     1037  14421 |        0 |        0
797.48/797.88	c  797s |      25 |  7640449 |  6019798 |     1037  14448 |        0 |        0
799.49/799.89	c  799s |      25 |  7658222 |  6034098 |     1037  14475 |        0 |        0
801.48/801.90	c  801s |      25 |  7675127 |  6048198 |     1037  14501 |        0 |        0
803.59/803.91	c  803s |      25 |  7691529 |  6061598 |     1037  14526 |        0 |        0
805.59/805.91	c  805s |      25 |  7708288 |  6075098 |     1037  14551 |        0 |        0
807.59/807.91	c  807s |      25 |  7725446 |  6088898 |     1037  14577 |        0 |        0
809.59/809.92	c  809s |      25 |  7742648 |  6102198 |     1037  14601 |        0 |        0
811.59/811.93	c  811s |      25 |  7759668 |  6115898 |     1037  14626 |        0 |        0
813.59/813.94	c  813s |      25 |  7776586 |  6129198 |     1037  14651 |        0 |        0
815.58/815.95	c  815s |      25 |  7793365 |  6142798 |     1037  14676 |        0 |        0
817.58/817.96	c  817s |      25 |  7810809 |  6156998 |     1037  14702 |        0 |        0
819.58/819.97	c  819s |      25 |  7828718 |  6170698 |     1037  14728 |        0 |        0
821.58/821.97	c  821s |      25 |  7845717 |  6184498 |     1037  14753 |        0 |        0
823.59/823.97	c  823s |      25 |  7861448 |  6197598 |     1037  14777 |        0 |        0
825.58/825.98	c  825s |      25 |  7876608 |  6210298 |     1037  14801 |        0 |        0
827.58/827.99	c  827s |      25 |  7890862 |  6222698 |     1037  14824 |        0 |        0
829.58/829.99	c  829s |      25 |  7906856 |  6235798 |     1037  14848 |        0 |        0
831.58/832.00	c  831s |      25 |  7922320 |  6248698 |     1037  14872 |        0 |        0
833.68/834.01	c  833s |      25 |  7941585 |  6262998 |     1037  14899 |        0 |        0
835.69/836.01	c  836s |      25 |  7960929 |  6277598 |     1037  14926 |        0 |        0
837.68/838.02	c  838s |      25 |  7980203 |  6292498 |     1037  14953 |        0 |        0
839.68/840.03	c  840s |      25 |  7999604 |  6307098 |     1037  14980 |        0 |        0
841.68/842.03	c  842s |      25 |  8018141 |  6321598 |     1037  15007 |        0 |        0
843.68/844.04	c  844s |      25 |  8039363 |  6336298 |     1037  15035 |        0 |        0
845.68/846.05	c  846s |      25 |  8058724 |  6350898 |     1037  15062 |        0 |        0
847.67/848.06	c  848s |      25 |  8077351 |  6365298 |     1037  15089 |        0 |        0
849.67/850.07	c  850s |      25 |  8096849 |  6379798 |     1037  15115 |        0 |        0
851.67/852.08	c  852s |      25 |  8116060 |  6394498 |     1037  15143 |        0 |        0
853.67/854.09	c  854s |      25 |  8136658 |  6409098 |     1037  15170 |        0 |        0
855.67/856.09	c  856s |      25 |  8156168 |  6423998 |     1037  15197 |        0 |        0
857.68/858.10	c  858s |      25 |  8174306 |  6438098 |     1037  15224 |        0 |        0
859.77/860.11	c  860s |      25 |  8192842 |  6452098 |     1037  15249 |        0 |        0
861.77/862.12	c  862s |      25 |  8212956 |  6466698 |     1037  15276 |        0 |        0
863.77/864.12	c  864s |      25 |  8234039 |  6480898 |     1037  15302 |        0 |        0
865.77/866.13	c  866s |      25 |  8253985 |  6495398 |     1037  15329 |        0 |        0
867.77/868.14	c  868s |      25 |  8275659 |  6509898 |     1037  15356 |        0 |        0
869.77/870.15	c  870s |      25 |  8294978 |  6524098 |     1037  15382 |        0 |        0
871.77/872.15	c  872s |      25 |  8318498 |  6539098 |     1037  15410 |        0 |        0
873.77/874.16	c  874s |      25 |  8339726 |  6554098 |     1037  15438 |        0 |        0
875.77/876.17	c  876s |      25 |  8359269 |  6568298 |     1037  15464 |        0 |        0
877.77/878.18	c  878s |      25 |  8376830 |  6582498 |     1037  15491 |        0 |        0
879.77/880.19	c  880s |      25 |  8395068 |  6596798 |     1037  15517 |        0 |        0
881.78/882.19	c  882s |      25 |  8415973 |  6611998 |     1037  15545 |        0 |        0
883.78/884.19	c  884s |      25 |  8434847 |  6626098 |     1037  15572 |        0 |        0
885.88/886.20	c  886s |      25 |  8452954 |  6640298 |     1037  15598 |        0 |        0
887.88/888.22	c  888s |      25 |  8474133 |  6655198 |     1037  15625 |        0 |        0
889.87/890.23	c  890s |      25 |  8492581 |  6669198 |     1037  15651 |        0 |        0
891.88/892.24	c  892s |      25 |  8508449 |  6682098 |     1037  15675 |        0 |        0
893.87/894.25	c  894s |      25 |  8527306 |  6696298 |     1037  15702 |        0 |        0
895.87/896.25	c  896s |      25 |  8543913 |  6709798 |     1037  15727 |        0 |        0
897.87/898.26	c  898s |      25 |  8561968 |  6724098 |     1037  15754 |        0 |        0
899.87/900.26	c  900s |      25 |  8582167 |  6738598 |     1037  15781 |        0 |        0
901.87/902.27	c  902s |      25 |  8601474 |  6752898 |     1037  15807 |        0 |        0
903.88/904.27	c  904s |      25 |  8621791 |  6768098 |     1037  15835 |        0 |        0
905.87/906.27	c  906s |      25 |  8641037 |  6782298 |     1037  15861 |        0 |        0
907.87/908.27	c  908s |      25 |  8660836 |  6796898 |     1037  15888 |        0 |        0
909.87/910.28	c  910s |      25 |  8681717 |  6811898 |     1037  15916 |        0 |        0
911.87/912.29	c  912s |      25 |  8702124 |  6826498 |     1037  15944 |        0 |        0
913.97/914.30	c  914s |      25 |  8721361 |  6840798 |     1037  15970 |        0 |        0
915.97/916.32	c  916s |      25 |  8740239 |  6854998 |     1037  15997 |        0 |        0
917.97/918.33	c  918s |      25 |  8759639 |  6869298 |     1037  16024 |        0 |        0
919.97/920.34	c  920s |      25 |  8778824 |  6883398 |     1037  16050 |        0 |        0
921.96/922.35	c  922s |      25 |  8798896 |  6898498 |     1037  16078 |        0 |        0
923.96/924.35	c  924s |      25 |  8817221 |  6912598 |     1037  16104 |        0 |        0
925.97/926.35	c  926s |      25 |  8836893 |  6926898 |     1037  16131 |        0 |        0
927.96/928.36	c  928s |      25 |  8854113 |  6940298 |     1037  16156 |        0 |        0
929.96/930.37	c  930s |      25 |  8872848 |  6954398 |     1037  16182 |        0 |        0
931.96/932.38	c  932s |      25 |  8890769 |  6967898 |     1037  16208 |        0 |        0
933.96/934.38	c  934s |      25 |  8911756 |  6981998 |     1037  16234 |        0 |        0
935.96/936.39	c  936s |      25 |  8932852 |  6996198 |     1037  16260 |        0 |        0
938.07/938.40	c  938s |      25 |  8952300 |  7010298 |     1037  16286 |        0 |        0
940.06/940.41	c  940s |      25 |  8970549 |  7024298 |     1037  16312 |        0 |        0
942.06/942.42	c  942s |      25 |  8988694 |  7038298 |     1037  16338 |        0 |        0
944.06/944.43	c  944s |      25 |  9007502 |  7052398 |     1037  16365 |        0 |        0
946.06/946.44	c  946s |      25 |  9027533 |  7066698 |     1037  16391 |        0 |        0
948.06/948.44	c  948s |      25 |  9048522 |  7080898 |     1037  16418 |        0 |        0
950.06/950.45	c  950s |      25 |  9068253 |  7095098 |     1037  16444 |        0 |        0
952.06/952.46	c  952s |      25 |  9087458 |  7109098 |     1037  16470 |        0 |        0
954.06/954.46	c  954s |      25 |  9110353 |  7124298 |     1037  16498 |        0 |        0
956.06/956.47	c  956s |      25 |  9133527 |  7139498 |     1037  16527 |        0 |        0
958.06/958.48	c  958s |      25 |  9153568 |  7153698 |     1037  16553 |        0 |        0
960.07/960.49	c  960s |      25 |  9174588 |  7167998 |     1037  16580 |        0 |        0
962.06/962.49	c  962s |      25 |  9193405 |  7181898 |     1037  16605 |        0 |        0
964.16/964.50	c  964s |      25 |  9212307 |  7195998 |     1037  16631 |        0 |        0
966.16/966.50	c  966s |      25 |  9231558 |  7209998 |     1037  16657 |        0 |        0
968.16/968.51	c  968s |      25 |  9249858 |  7223998 |     1037  16683 |        0 |        0
970.16/970.51	c  970s |      25 |  9267069 |  7237798 |     1037  16709 |        0 |        0
972.17/972.52	c  972s |      25 |  9283585 |  7251398 |     1037  16734 |        0 |        0
974.16/974.53	c  974s |      25 |  9300353 |  7264998 |     1037  16760 |        0 |        0
976.16/976.53	c  976s |      25 |  9316778 |  7278198 |     1037  16784 |        0 |        0
978.16/978.54	c  978s |      25 |  9332162 |  7290998 |     1037  16808 |        0 |        0
980.16/980.55	c  980s |      25 |  9349413 |  7304598 |     1037  16834 |        0 |        0
982.16/982.56	c  982s |      25 |  9366581 |  7318498 |     1037  16859 |        0 |        0
984.16/984.58	c  984s |      25 |  9382689 |  7331898 |     1037  16884 |        0 |        0
986.16/986.58	c  986s |      25 |  9400785 |  7345698 |     1037  16910 |        0 |        0
988.16/988.59	c  988s |      25 |  9422099 |  7360298 |     1037  16937 |        0 |        0
990.26/990.60	c  990s |      25 |  9440347 |  7374198 |     1037  16963 |        0 |        0
992.26/992.61	c  992s |      25 |  9459250 |  7388098 |     1037  16989 |        0 |        0
994.26/994.63	c  994s |      25 |  9477406 |  7401998 |     1037  17015 |        0 |        0
996.26/996.64	c  996s |      25 |  9493922 |  7414998 |     1037  17039 |        0 |        0
998.26/998.66	c  998s |      25 |  9512626 |  7428998 |     1037  17065 |        0 |        0
1000.26/1000.67	c 1000s |      25 |  9530704 |  7442398 |     1037  17089 |        0 |        0
1002.25/1002.68	c 1002s |      25 |  9546292 |  7455098 |     1037  17113 |        0 |        0
1004.25/1004.69	c 1004s |      25 |  9563015 |  7468498 |     1037  17138 |        0 |        0
1006.35/1006.70	c 1006s |      25 |  9578807 |  7481698 |     1037  17162 |        0 |        0
1008.36/1008.71	c 1008s |      25 |  9593920 |  7494698 |     1037  17186 |        0 |        0
1010.35/1010.71	c 1010s |      25 |  9610555 |  7507998 |     1037  17211 |        0 |        0
1012.35/1012.72	c 1012s |      25 |  9626238 |  7520998 |     1037  17235 |        0 |        0
1014.35/1014.72	c 1014s |      25 |  9641901 |  7533898 |     1037  17259 |        0 |        0
1016.35/1016.73	c 1016s |      25 |  9658206 |  7546898 |     1141  17283 |        0 |        0
1018.36/1018.75	c 1018s |      25 |  9674126 |  7559998 |     1141  17305 |        0 |        0
1020.35/1020.76	c 1020s |      25 |  9693272 |  7574098 |     1141  17328 |        0 |        0
1022.35/1022.76	c 1022s |      25 |  9708312 |  7586298 |     1141  17349 |        0 |        0
1024.25/1024.67	c 1024s |      26 |  9722310 |  7597752 |     1141  17369 |        0 |        0
1026.25/1026.68	c 1026s |      26 |  9738035 |  7609952 |     1141  17389 |        0 |        0
1028.26/1028.69	c 1028s |      26 |  9752402 |  7621952 |     1141  17409 |        0 |        0
1030.25/1030.70	c 1030s |      26 |  9770727 |  7635552 |     1141  17432 |        0 |        0
1032.35/1032.71	c 1032s |      26 |  9788431 |  7648652 |     1141  17455 |        0 |        0
1034.35/1034.72	c 1034s |      26 |  9805234 |  7661652 |     1141  17477 |        0 |        0
1036.35/1036.72	c 1036s |      26 |  9821324 |  7674852 |     1141  17499 |        0 |        0
1038.35/1038.73	c 1038s |      26 |  9841556 |  7689052 |     1141  17523 |        0 |        0
1040.35/1040.73	c 1040s |      26 |  9858417 |  7702252 |     1141  17545 |        0 |        0
1042.34/1042.74	c 1042s |      26 |  9871918 |  7713952 |     1141  17565 |        0 |        0
1044.34/1044.75	c 1044s |      26 |  9884375 |  7725152 |     1141  17584 |        0 |        0
1046.34/1046.76	c 1046s |      26 |  9897755 |  7736952 |     1141  17604 |        0 |        0
1048.34/1048.77	c 1048s |      26 |  9913610 |  7749752 |     1141  17626 |        0 |        0
1050.35/1050.77	c 1050s |      26 |  9929663 |  7762552 |     1141  17647 |        0 |        0
1052.35/1052.78	c 1052s |      26 |  9947933 |  7776052 |     1141  17670 |        0 |        0
1054.45/1054.80	c 1054s |      26 |  9963164 |  7788152 |     1141  17691 |        0 |        0
1056.45/1056.80	c 1056s |      26 |  9978560 |  7800752 |     1141  17712 |        0 |        0
1058.45/1058.81	c 1058s |      26 |  9993436 |  7813052 |     1141  17733 |        0 |        0
1060.45/1060.82	c 1060s |      26 | 10008190 |  7825252 |     1141  17753 |        0 |        0
1062.45/1062.83	c 1062s |      26 | 10023673 |  7837952 |     1141  17775 |        0 |        0
1064.45/1064.83	c 1064s |      26 | 10039104 |  7850452 |     1141  17796 |        0 |        0
1066.44/1066.84	c 1066s |      26 | 10053024 |  7862252 |     1141  17816 |        0 |        0
1068.44/1068.85	c 1068s |      26 | 10066093 |  7873552 |     1141  17835 |        0 |        0
1070.44/1070.85	c 1070s |      26 | 10080414 |  7885852 |     1141  17856 |        0 |        0
1072.44/1072.87	c 1072s |      26 | 10095374 |  7898552 |     1141  17877 |        0 |        0
1074.45/1074.88	c 1074s |      26 | 10110243 |  7911052 |     1141  17899 |        0 |        0
1076.44/1076.89	c 1076s |      26 | 10125755 |  7924052 |     1141  17921 |        0 |        0
1078.54/1078.90	c 1078s |      26 | 10141497 |  7936952 |     1141  17942 |        0 |        0
1080.54/1080.91	c 1080s |      26 | 10157351 |  7950252 |     1141  17965 |        0 |        0
1082.54/1082.91	c 1082s |      26 | 10172484 |  7963052 |     1141  17987 |        0 |        0
1084.54/1084.92	c 1084s |      26 | 10188192 |  7976352 |     1141  18009 |        0 |        0
1086.54/1086.93	c 1086s |      26 | 10205660 |  7990152 |     1141  18032 |        0 |        0
1088.54/1088.93	c 1088s |      26 | 10224232 |  8003652 |     1141  18055 |        0 |        0
1090.54/1090.95	c 1090s |      26 | 10242869 |  8017652 |     1141  18079 |        0 |        0
1092.54/1092.95	c 1092s |      26 | 10262362 |  8031852 |     1141  18103 |        0 |        0
1094.54/1094.96	c 1094s |      26 | 10281148 |  8045752 |     1141  18127 |        0 |        0
1096.54/1096.97	c 1096s |      26 | 10296859 |  8058552 |     1141  18148 |        0 |        0
1098.54/1098.99	c 1098s |      26 | 10312099 |  8071452 |     1141  18170 |        0 |        0
1100.54/1100.99	c 1100s |      26 | 10328588 |  8084852 |     1141  18193 |        0 |        0
1102.53/1102.99	c 1102s |      26 | 10344205 |  8097552 |     1141  18215 |        0 |        0
1104.63/1105.01	c 1104s |      26 | 10359457 |  8110152 |     1141  18236 |        0 |        0
1106.63/1107.01	c 1106s |      26 | 10375549 |  8122752 |     1141  18257 |        0 |        0
1108.63/1109.02	c 1109s |      26 | 10389299 |  8134552 |     1141  18277 |        0 |        0
1110.64/1111.04	c 1111s |      26 | 10404476 |  8147052 |     1141  18298 |        0 |        0
1112.63/1113.04	c 1113s |      26 | 10424791 |  8161752 |     1141  18323 |        0 |        0
1114.64/1115.04	c 1115s |      26 | 10444394 |  8176052 |     1141  18348 |        0 |        0
1116.64/1117.05	c 1117s |      26 | 10461558 |  8189352 |     1141  18370 |        0 |        0
1118.64/1119.05	c 1119s |      26 | 10477693 |  8202152 |     1141  18392 |        0 |        0
1120.64/1121.06	c 1121s |      26 | 10493927 |  8214952 |     1141  18414 |        0 |        0
1122.64/1123.07	c 1123s |      26 | 10509615 |  8227752 |     1141  18435 |        0 |        0
1124.64/1125.08	c 1125s |      26 | 10524596 |  8240252 |     1141  18457 |        0 |        0
1126.64/1127.09	c 1127s |      26 | 10540269 |  8252952 |     1141  18478 |        0 |        0
1128.64/1129.09	c 1129s |      26 | 10555806 |  8265752 |     1141  18500 |        0 |        0
1130.64/1131.10	c 1131s |      26 | 10570729 |  8278252 |     1141  18521 |        0 |        0
1132.64/1133.10	c 1133s |      26 | 10586340 |  8291352 |     1141  18543 |        0 |        0
1134.74/1135.11	c 1135s |      26 | 10601169 |  8303752 |     1141  18564 |        0 |        0
1136.74/1137.12	c 1137s |      26 | 10616389 |  8315952 |     1141  18585 |        0 |        0
1138.73/1139.14	c 1139s |      26 | 10630405 |  8327952 |     1141  18605 |        0 |        0
1140.73/1141.15	c 1141s |      26 | 10644841 |  8340352 |     1141  18626 |        0 |        0
1142.73/1143.16	c 1143s |      26 | 10658623 |  8352352 |     1141  18647 |        0 |        0
1144.74/1145.16	c 1145s |      26 | 10673705 |  8365052 |     1141  18668 |        0 |        0
1146.73/1147.17	c 1147s |      26 | 10687281 |  8376952 |     1141  18688 |        0 |        0
1148.73/1149.17	c 1149s |      26 | 10702976 |  8389852 |     1141  18710 |        0 |        0
1150.73/1151.17	c 1151s |      26 | 10718317 |  8402552 |     1141  18732 |        0 |        0
1152.73/1153.19	c 1153s |      26 | 10735109 |  8415952 |     1141  18754 |        0 |        0
1154.83/1155.20	c 1155s |      26 | 10750600 |  8428952 |     1141  18777 |        0 |        0
1156.73/1157.20	c 1157s |      26 | 10766089 |  8441752 |     1141  18798 |        0 |        0
1158.83/1159.22	c 1159s |      26 | 10779317 |  8453152 |     1141  18818 |        0 |        0
1160.83/1161.22	c 1161s |      26 | 10792857 |  8464752 |     1141  18837 |        0 |        0
1162.83/1163.23	c 1163s |      26 | 10807571 |  8477052 |     1141  18858 |        0 |        0
1164.83/1165.23	c 1165s |      26 | 10822151 |  8489452 |     1141  18879 |        0 |        0
1166.83/1167.23	c 1167s |      26 | 10837562 |  8502652 |     1141  18901 |        0 |        0
1168.83/1169.23	c 1169s |      26 | 10851926 |  8515152 |     1141  18923 |        0 |        0
1170.83/1171.25	c 1171s |      26 | 10866478 |  8527652 |     1141  18944 |        0 |        0
1172.83/1173.26	c 1173s |      26 | 10882056 |  8540852 |     1141  18966 |        0 |        0
1174.83/1175.26	c 1175s |      26 | 10896727 |  8553352 |     1141  18988 |        0 |        0
1176.83/1177.27	c 1177s |      26 | 10911262 |  8565952 |     1141  19009 |        0 |        0
1178.83/1179.28	c 1179s |      26 | 10925858 |  8578352 |     1141  19030 |        0 |        0
1180.82/1181.29	c 1181s |      26 | 10940444 |  8590852 |     1141  19051 |        0 |        0
1182.82/1183.29	c 1183s |      26 | 10954644 |  8603152 |     1141  19072 |        0 |        0
1184.92/1185.31	c 1185s |      26 | 10969397 |  8615652 |     1141  19093 |        0 |        0
1186.92/1187.32	c 1187s |      26 | 10983587 |  8627852 |     1141  19114 |        0 |        0
1188.92/1189.32	c 1189s |      26 | 10997877 |  8640052 |     1141  19135 |        0 |        0
1190.93/1191.33	c 1191s |      26 | 11012992 |  8652652 |     1141  19157 |        0 |        0
1192.92/1193.34	c 1193s |      26 | 11029535 |  8665852 |     1141  19179 |        0 |        0
1194.92/1195.35	c 1195s |      26 | 11045333 |  8678552 |     1141  19201 |        0 |        0
1196.92/1197.35	c 1197s |      26 | 11058965 |  8690352 |     1141  19221 |        0 |        0
1198.92/1199.37	c 1199s |      26 | 11072871 |  8702252 |     1141  19241 |        0 |        0
1200.93/1201.38	c 1201s |      26 | 11086979 |  8714552 |     1141  19262 |        0 |        0
1202.92/1203.39	c 1203s |      26 | 11102618 |  8727852 |     1141  19285 |        0 |        0
1205.02/1205.40	c 1205s |      26 | 11118029 |  8740852 |     1141  19307 |        0 |        0
1207.02/1207.41	c 1207s |      26 | 11133312 |  8753752 |     1141  19329 |        0 |        0
1209.02/1209.42	c 1209s |      26 | 11147407 |  8765852 |     1141  19349 |        0 |        0
1211.02/1211.42	c 1211s |      26 | 11162385 |  8778452 |     1141  19371 |        0 |        0
1213.02/1213.42	c 1213s |      26 | 11176686 |  8790752 |     1141  19391 |        0 |        0
1215.02/1215.43	c 1215s |      26 | 11190638 |  8802552 |     1141  19412 |        0 |        0
1217.03/1217.43	c 1217s |      26 | 11205054 |  8814652 |     1141  19432 |        0 |        0
1219.02/1219.44	c 1219s |      26 | 11219106 |  8826452 |     1141  19452 |        0 |        0
1221.02/1221.44	c 1221s |      26 | 11233766 |  8838652 |     1141  19473 |        0 |        0
1223.02/1223.44	c 1223s |      26 | 11247931 |  8850652 |     1141  19493 |        0 |        0
1225.03/1225.45	c 1225s |      26 | 11262118 |  8862552 |     1141  19514 |        0 |        0
1227.02/1227.46	c 1227s |      26 | 11275592 |  8874552 |     1141  19534 |        0 |        0
1229.02/1229.46	c 1229s |      26 | 11289009 |  8886352 |     1141  19554 |        0 |        0
1231.02/1231.48	c 1231s |      26 | 11302561 |  8898352 |     1141  19574 |        0 |        0
1233.02/1233.49	c 1233s |      26 | 11315713 |  8910152 |     1141  19595 |        0 |        0
1235.12/1235.51	c 1235s |      26 | 11328112 |  8921252 |     1141  19614 |        0 |        0
1237.13/1237.51	c 1237s |      26 | 11340596 |  8932352 |     1141  19632 |        0 |        0
1239.12/1239.53	c 1239s |      26 | 11352604 |  8943252 |     1141  19651 |        0 |        0
1241.12/1241.53	c 1241s |      26 | 11366283 |  8954952 |     1141  19671 |        0 |        0
1243.12/1243.54	c 1243s |      26 | 11379411 |  8966652 |     1141  19691 |        0 |        0
1245.12/1245.55	c 1245s |      26 | 11393252 |  8978652 |     1141  19711 |        0 |        0
1247.12/1247.55	c 1247s |      26 | 11407221 |  8990952 |     1141  19732 |        0 |        0
1249.12/1249.57	c 1249s |      26 | 11422382 |  9003952 |     1141  19754 |        0 |        0
1251.11/1251.58	c 1251s |      26 | 11436889 |  9016452 |     1141  19775 |        0 |        0
1253.11/1253.59	c 1253s |      26 | 11450435 |  9028452 |     1141  19796 |        0 |        0
1255.11/1255.59	c 1255s |      26 | 11465383 |  9041452 |     1141  19817 |        0 |        0
1257.21/1257.61	c 1257s |      26 | 11478611 |  9053252 |     1141  19837 |        0 |        0
1259.22/1259.61	c 1259s |      26 | 11492041 |  9065152 |     1141  19858 |        0 |        0
1261.21/1261.62	c 1261s |      26 | 11504637 |  9076352 |     1141  19876 |        0 |        0
1263.21/1263.62	c 1263s |      26 | 11518692 |  9088452 |     1141  19897 |        0 |        0
1265.21/1265.64	c 1265s |      26 | 11531688 |  9100052 |     1141  19916 |        0 |        0
1267.21/1267.64	c 1267s |      26 | 11544957 |  9111652 |     1141  19936 |        0 |        0
1269.21/1269.65	c 1269s |      26 | 11559034 |  9123252 |     1141  19956 |        0 |        0
1271.22/1271.66	c 1271s |      26 | 11574626 |  9135552 |     1141  19977 |        0 |        0
1273.21/1273.67	c 1273s |      26 | 11587826 |  9147452 |     1141  19996 |        0 |        0
1275.21/1275.68	c 1275s |      26 | 11601809 |  9159652 |     1141  20017 |        0 |        0
1277.21/1277.69	c 1277s |      26 | 11614954 |  9171352 |     1141  20037 |        0 |        0
1279.31/1279.70	c 1279s |      26 | 11627536 |  9182452 |     1141  20056 |        0 |        0
1281.31/1281.70	c 1281s |      26 | 11642032 |  9194852 |     1141  20077 |        0 |        0
1283.31/1283.70	c 1283s |      26 | 11654694 |  9206052 |     1141  20096 |        0 |        0
1285.31/1285.71	c 1285s |      26 | 11668217 |  9217852 |     1141  20116 |        0 |        0
1287.31/1287.72	c 1287s |      26 | 11681913 |  9229852 |     1141  20136 |        0 |        0
1289.31/1289.73	c 1289s |      26 | 11695299 |  9241452 |     1141  20156 |        0 |        0
1291.31/1291.75	c 1291s |      26 | 11710703 |  9254452 |     1141  20178 |        0 |        0
1293.31/1293.76	c 1293s |      26 | 11726584 |  9267752 |     1141  20200 |        0 |        0
1295.30/1295.77	c 1295s |      26 | 11741616 |  9280452 |     1141  20222 |        0 |        0
1297.31/1297.78	c 1297s |      26 | 11756600 |  9292852 |     1141  20243 |        0 |        0
1299.31/1299.79	c 1299s |      26 | 11771182 |  9305352 |     1141  20264 |        0 |        0
1301.31/1301.79	c 1301s |      26 | 11785391 |  9317752 |     1141  20285 |        0 |        0
1303.31/1303.79	c 1303s |      26 | 11800124 |  9330152 |     1141  20306 |        0 |        0
1305.42/1305.81	c 1305s |      26 | 11814213 |  9341952 |     1141  20326 |        0 |        0
1307.41/1307.83	c 1307s |      26 | 11828675 |  9353652 |     1141  20345 |        0 |        0
1309.41/1309.84	c 1309s |      26 | 11842040 |  9364952 |     1141  20364 |        0 |        0
1311.41/1311.85	c 1311s |      26 | 11855292 |  9376252 |     1141  20384 |        0 |        0
1313.41/1313.86	c 1313s |      26 | 11869179 |  9388052 |     1141  20403 |        0 |        0
1315.41/1315.88	c 1315s |      26 | 11883447 |  9400052 |     1141  20424 |        0 |        0
1317.41/1317.88	c 1317s |      26 | 11897594 |  9411852 |     1141  20444 |        0 |        0
1319.41/1319.89	c 1319s |      26 | 11911582 |  9423652 |     1141  20463 |        0 |        0
1321.41/1321.89	c 1321s |      26 | 11925866 |  9435452 |     1141  20484 |        0 |        0
1323.51/1323.90	c 1323s |      26 | 11940054 |  9447452 |     1141  20504 |        0 |        0
1325.51/1325.91	c 1325s |      26 | 11955515 |  9460352 |     1141  20526 |        0 |        0
1327.51/1327.91	c 1327s |      26 | 11972002 |  9473652 |     1141  20548 |        0 |        0
1329.51/1329.91	c 1329s |      26 | 11988445 |  9486852 |     1141  20571 |        0 |        0
1331.50/1331.92	c 1331s |      26 | 12005492 |  9500152 |     1141  20593 |        0 |        0
1333.50/1333.93	c 1333s |      26 | 12025693 |  9514052 |     1141  20617 |        0 |        0
1335.50/1335.93	c 1335s |      26 | 12040249 |  9525852 |     1141  20637 |        0 |        0
1337.50/1337.94	c 1337s |      26 | 12054349 |  9537952 |     1141  20657 |        0 |        0
1339.51/1339.95	c 1339s |      26 | 12069216 |  9550552 |     1141  20679 |        0 |        0
1341.50/1341.96	c 1341s |      26 | 12085843 |  9563852 |     1141  20701 |        0 |        0
1343.50/1343.97	c 1343s |      26 | 12100776 |  9576152 |     1141  20722 |        0 |        0
1345.50/1345.98	c 1345s |      26 | 12115524 |  9588552 |     1141  20743 |        0 |        0
1347.50/1347.99	c 1347s |      26 | 12130069 |  9600552 |     1141  20763 |        0 |        0
1349.60/1350.00	c 1349s |      26 | 12144278 |  9612652 |     1141  20783 |        0 |        0
1351.61/1352.02	c 1352s |      26 | 12158119 |  9624552 |     1141  20804 |        0 |        0
1353.60/1354.02	c 1354s |      26 | 12173541 |  9637852 |     1141  20826 |        0 |        0
1355.60/1356.03	c 1356s |      26 | 12190827 |  9652252 |     1141  20851 |        0 |        0
1357.60/1358.04	c 1358s |      26 | 12206396 |  9665452 |     1141  20873 |        0 |        0
1359.60/1360.04	c 1360s |      26 | 12223082 |  9678952 |     1141  20896 |        0 |        0
1361.60/1362.04	c 1362s |      26 | 12238506 |  9691852 |     1141  20917 |        0 |        0
1363.60/1364.06	c 1364s |      26 | 12255116 |  9705752 |     1141  20941 |        0 |        0
1365.60/1366.06	c 1366s |      26 | 12271365 |  9719552 |     1141  20965 |        0 |        0
1367.60/1368.07	c 1368s |      26 | 12287025 |  9732552 |     1141  20987 |        0 |        0
1369.60/1370.08	c 1370s |      26 | 12303238 |  9745552 |     1141  21009 |        0 |        0
1371.59/1372.08	c 1372s |      26 | 12319322 |  9758652 |     1141  21031 |        0 |        0
1373.60/1374.08	c 1374s |      26 | 12334809 |  9771552 |     1141  21053 |        0 |        0
1375.59/1376.08	c 1376s |      26 | 12349826 |  9784052 |     1141  21074 |        0 |        0
1377.60/1378.09	c 1378s |      26 | 12364703 |  9796752 |     1141  21096 |        0 |        0
1379.70/1380.10	c 1380s |      26 | 12381230 |  9810352 |     1141  21119 |        0 |        0
1381.70/1382.10	c 1382s |      26 | 12397000 |  9823552 |     1141  21142 |        0 |        0
1383.70/1384.11	c 1384s |      26 | 12413906 |  9837252 |     1141  21165 |        0 |        0
1385.70/1386.12	c 1386s |      26 | 12433577 |  9851952 |     1141  21190 |        0 |        0
1387.70/1388.13	c 1388s |      26 | 12450665 |  9865352 |     1141  21213 |        0 |        0
1389.69/1390.14	c 1390s |      26 | 12466500 |  9878252 |     1141  21235 |        0 |        0
1391.69/1392.15	c 1392s |      26 | 12481701 |  9891152 |     1141  21257 |        0 |        0
1393.69/1394.15	c 1394s |      26 | 12496997 |  9903552 |     1141  21278 |        0 |        0
1395.69/1396.16	c 1396s |      26 | 12514943 |  9917352 |     1141  21302 |        0 |        0
1397.70/1398.16	c 1398s |      26 | 12533389 |  9931352 |     1141  21326 |        0 |        0
1399.69/1400.17	c 1400s |      26 | 12551365 |  9944852 |     1141  21349 |        0 |        0
1401.69/1402.18	c 1402s |      26 | 12570727 |  9958952 |     1141  21372 |        0 |        0
1403.69/1404.18	c 1404s |      26 | 12589379 |  9973052 |     1141  21396 |        0 |        0
1405.79/1406.20	c 1406s |      26 | 12605746 |  9986752 |     1141  21420 |        0 |        0
1407.79/1408.20	c 1408s |      26 | 12623056 | 10000752 |     1141  21443 |        0 |        0
1409.79/1410.21	c 1410s |      26 | 12641051 | 10014852 |     1141  21467 |        0 |        0
1411.79/1412.21	c 1412s |      26 | 12658780 | 10028552 |     1141  21491 |        0 |        0
1413.79/1414.23	c 1414s |      26 | 12675680 | 10041852 |     1141  21513 |        0 |        0
1415.79/1416.24	c 1416s |      26 | 12692577 | 10054752 |     1141  21536 |        0 |        0
1417.79/1418.24	c 1418s |      26 | 12707995 | 10067452 |     1141  21557 |        0 |        0
1419.79/1420.25	c 1420s |      26 | 12723653 | 10080252 |     1141  21579 |        0 |        0
1421.78/1422.25	c 1422s |      26 | 12739104 | 10092652 |     1141  21600 |        0 |        0
1423.78/1424.25	c 1424s |      26 | 12753579 | 10104752 |     1141  21621 |        0 |        0
1425.78/1426.26	c 1426s |      26 | 12767963 | 10116752 |     1141  21641 |        0 |        0
1427.78/1428.28	c 1428s |      26 | 12782470 | 10128752 |     1141  21661 |        0 |        0
1429.78/1430.28	c 1430s |      26 | 12796981 | 10140852 |     1141  21682 |        0 |        0
1431.79/1432.29	c 1432s |      26 | 12812522 | 10153552 |     1141  21703 |        0 |        0
1433.78/1434.29	c 1434s |      26 | 12829032 | 10166752 |     1141  21726 |        0 |        0
1435.88/1436.30	c 1436s |      26 | 12846736 | 10179952 |     1141  21748 |        0 |        0
1437.89/1438.31	c 1438s |      26 | 12862690 | 10192552 |     1141  21769 |        0 |        0
1439.89/1440.32	c 1440s |      26 | 12879781 | 10205952 |     1141  21792 |        0 |        0
1441.89/1442.33	c 1442s |      26 | 12895752 | 10218552 |     1141  21813 |        0 |        0
1443.90/1444.34	c 1444s |      26 | 12910201 | 10230852 |     1141  21834 |        0 |        0
1445.89/1446.35	c 1446s |      26 | 12924064 | 10242552 |     1141  21854 |        0 |        0
1447.89/1448.36	c 1448s |      26 | 12938034 | 10254052 |     1141  21874 |        0 |        0
1449.89/1450.37	c 1450s |      26 | 12952060 | 10265852 |     1141  21893 |        0 |        0
1451.89/1452.39	c 1452s |      26 | 12966158 | 10278052 |     1141  21914 |        0 |        0
1453.89/1454.39	c 1454s |      26 | 12980809 | 10290152 |     1141  21935 |        0 |        0
1455.89/1456.39	c 1456s |      26 | 12995746 | 10302552 |     1141  21955 |        0 |        0
1457.89/1458.39	c 1458s |      26 | 13010231 | 10314552 |     1141  21976 |        0 |        0
1459.88/1460.39	c 1460s |      26 | 13025728 | 10326952 |     1141  21997 |        0 |        0
1461.98/1462.40	c 1462s |      26 | 13040702 | 10339552 |     1141  22018 |        0 |        0
1463.98/1464.42	c 1464s |      26 | 13055752 | 10352152 |     1141  22039 |        0 |        0
1465.99/1466.43	c 1466s |      26 | 13069698 | 10363952 |     1141  22059 |        0 |        0
1467.98/1468.45	c 1468s |      26 | 13084169 | 10376052 |     1141  22080 |        0 |        0
1469.98/1470.46	c 1470s |      26 | 13098660 | 10388352 |     1141  22101 |        0 |        0
1471.98/1472.46	c 1472s |      26 | 13115512 | 10401452 |     1141  22123 |        0 |        0
1473.98/1474.46	c 1474s |      26 | 13134926 | 10415652 |     1141  22147 |        0 |        0
1475.98/1476.47	c 1476s |      26 | 13151672 | 10429152 |     1141  22170 |        0 |        0
1477.99/1478.48	c 1478s |      26 | 13168467 | 10442552 |     1141  22193 |        0 |        0
1479.98/1480.49	c 1480s |      26 | 13185013 | 10455952 |     1141  22215 |        0 |        0
1482.08/1482.51	c 1482s |      26 | 13199858 | 10468352 |     1141  22237 |        0 |        0
1484.08/1484.51	c 1484s |      26 | 13214127 | 10480652 |     1141  22257 |        0 |        0
1486.08/1486.52	c 1486s |      26 | 13228179 | 10492852 |     1141  22278 |        0 |        0
1488.08/1488.54	c 1488s |      26 | 13241613 | 10504752 |     1141  22298 |        0 |        0
1490.08/1490.55	c 1490s |      26 | 13255203 | 10516652 |     1141  22318 |        0 |        0
1492.08/1492.57	c 1492s |      26 | 13269971 | 10529152 |     1141  22339 |        0 |        0
1494.07/1494.57	c 1494s |      26 | 13286589 | 10541952 |     1141  22361 |        0 |        0
1496.07/1496.57	c 1496s |      26 | 13302308 | 10554552 |     1141  22383 |        0 |        0
1498.07/1498.58	c 1498s |      26 | 13316956 | 10566952 |     1141  22404 |        0 |        0
1500.08/1500.58	c 1500s |      26 | 13331665 | 10579452 |     1141  22425 |        0 |        0
1502.07/1502.58	c 1502s |      26 | 13347141 | 10592352 |     1141  22447 |        0 |        0
1504.07/1504.58	c 1504s |      26 | 13363041 | 10605452 |     1141  22469 |        0 |        0
1506.17/1506.60	c 1506s |      26 | 13377409 | 10617552 |     1141  22490 |        0 |        0
1508.17/1508.60	c 1508s |      26 | 13392900 | 10630252 |     1141  22511 |        0 |        0
1510.17/1510.60	c 1510s |      26 | 13409996 | 10643752 |     1141  22534 |        0 |        0
1512.18/1512.62	c 1512s |      26 | 13425496 | 10656752 |     1141  22556 |        0 |        0
1514.18/1514.63	c 1514s |      26 | 13440048 | 10668952 |     1141  22577 |        0 |        0
1516.18/1516.64	c 1516s |      26 | 13455029 | 10681452 |     1141  22598 |        0 |        0
1518.18/1518.65	c 1518s |      26 | 13470217 | 10694052 |     1141  22620 |        0 |        0
1520.18/1520.66	c 1520s |      26 | 13484863 | 10706252 |     1141  22640 |        0 |        0
1522.18/1522.67	c 1522s |      26 | 13498370 | 10718052 |     1141  22660 |        0 |        0
1524.18/1524.68	c 1524s |      26 | 13511940 | 10730152 |     1141  22681 |        0 |        0
1526.18/1526.69	c 1526s |      26 | 13525327 | 10742052 |     1141  22701 |        0 |        0
1528.28/1528.70	c 1528s |      26 | 13538499 | 10753552 |     1141  22721 |        0 |        0
1530.28/1530.71	c 1530s |      26 | 13553007 | 10765752 |     1141  22741 |        0 |        0
1532.28/1532.71	c 1532s |      26 | 13567912 | 10778452 |     1141  22763 |        0 |        0
1534.27/1534.72	c 1534s |      26 | 13582492 | 10790952 |     1141  22784 |        0 |        0
1536.28/1536.72	c 1536s |      26 | 13596637 | 10803052 |     1141  22805 |        0 |        0
1538.27/1538.73	c 1538s |      26 | 13612078 | 10815752 |     1141  22827 |        0 |        0
1540.27/1540.73	c 1540s |      26 | 13629566 | 10829252 |     1141  22850 |        0 |        0
1542.27/1542.74	c 1542s |      26 | 13644428 | 10841652 |     1141  22871 |        0 |        0
1544.27/1544.75	c 1544s |      26 | 13659643 | 10854152 |     1141  22892 |        0 |        0
1546.28/1546.76	c 1546s |      26 | 13673689 | 10866352 |     1141  22913 |        0 |        0
1548.27/1548.76	c 1548s |      26 | 13688496 | 10878752 |     1141  22934 |        0 |        0
1550.27/1550.77	c 1550s |      26 | 13703144 | 10891252 |     1141  22955 |        0 |        0
1552.27/1552.77	c 1552s |      26 | 13720294 | 10904352 |     1141  22978 |        0 |        0
1554.27/1554.77	c 1554s |      26 | 13735402 | 10916652 |     1141  22999 |        0 |        0
1556.27/1556.78	c 1556s |      26 | 13753548 | 10930552 |     1141  23022 |        0 |        0
1558.28/1558.78	c 1558s |      26 | 13771670 | 10944552 |     1141  23046 |        0 |        0
1560.37/1560.80	c 1560s |      26 | 13788694 | 10958252 |     1141  23069 |        0 |        0
1562.37/1562.81	c 1562s |      26 | 13804834 | 10971152 |     1141  23091 |        0 |        0
1564.37/1564.81	c 1564s |      26 | 13821629 | 10984252 |     1141  23114 |        0 |        0
1566.37/1566.82	c 1566s |      26 | 13837141 | 10996652 |     1141  23135 |        0 |        0
1568.37/1568.83	c 1568s |      26 | 13854471 | 11009252 |     1141  23156 |        0 |        0
1570.37/1570.84	c 1570s |      26 | 13870386 | 11021752 |     1141  23177 |        0 |        0
1572.37/1572.84	c 1572s |      26 | 13887061 | 11034852 |     1141  23200 |        0 |        0
1574.36/1574.84	c 1574s |      26 | 13904857 | 11048752 |     1141  23224 |        0 |        0
1576.36/1576.85	c 1576s |      26 | 13919670 | 11061152 |     1141  23244 |        0 |        0
1578.36/1578.87	c 1578s |      26 | 13935966 | 11074252 |     1141  23267 |        0 |        0
1580.37/1580.88	c 1580s |      26 | 13951629 | 11086852 |     1141  23288 |        0 |        0
1582.36/1582.89	c 1582s |      26 | 13967390 | 11100152 |     1141  23311 |        0 |        0
1584.46/1584.90	c 1584s |      26 | 13985168 | 11113952 |     1141  23334 |        0 |        0
1586.46/1586.91	c 1586s |      26 | 14006524 | 11128652 |     1141  23359 |        0 |        0
1588.46/1588.91	c 1588s |      26 | 14025108 | 11142152 |     1141  23382 |        0 |        0
1590.46/1590.93	c 1590s |      26 | 14041494 | 11155052 |     1141  23404 |        0 |        0
1592.47/1592.94	c 1592s |      26 | 14058149 | 11168252 |     1141  23427 |        0 |        0
1594.46/1594.95	c 1594s |      26 | 14073586 | 11180852 |     1141  23449 |        0 |        0
1596.46/1596.95	c 1596s |      26 | 14089137 | 11193252 |     1141  23470 |        0 |        0
1598.46/1598.96	c 1598s |      26 | 14104638 | 11206052 |     1141  23491 |        0 |        0
1600.46/1600.98	c 1600s |      26 | 14119014 | 11218152 |     1141  23512 |        0 |        0
1602.46/1602.99	c 1602s |      26 | 14133836 | 11229852 |     1141  23532 |        0 |        0
1604.46/1604.99	c 1604s |      26 | 14148261 | 11241452 |     1141  23552 |        0 |        0
1606.56/1607.01	c 1606s |      26 | 14163753 | 11254052 |     1141  23573 |        0 |        0
1608.56/1609.01	c 1608s |      26 | 14180995 | 11267252 |     1141  23596 |        0 |        0
1610.57/1611.01	c 1611s |      26 | 14197009 | 11280652 |     1141  23619 |        0 |        0
1612.56/1613.02	c 1613s |      26 | 14213573 | 11294352 |     1141  23642 |        0 |        0
1614.56/1615.03	c 1615s |      26 | 14229860 | 11307852 |     1141  23665 |        0 |        0
1616.57/1617.04	c 1617s |      26 | 14244927 | 11320552 |     1256  23685 |        0 |        0
1618.56/1619.04	c 1619s |      26 | 14262078 | 11334352 |     1256  23707 |        0 |        0
1620.56/1621.04	c 1621s |      26 | 14276371 | 11346552 |     1256  23726 |        0 |        0
1622.56/1623.06	c 1623s |      26 | 14290709 | 11358952 |     1256  23745 |        0 |        0
1624.56/1625.08	c 1625s |      26 | 14305256 | 11370952 |     1256  23763 |        0 |        0
1626.57/1627.09	c 1627s |      26 | 14321158 | 11383752 |     1256  23783 |        0 |        0
1628.56/1629.09	c 1629s |      27 | 14337404 | 11396733 |     1256  23803 |        0 |        0
1630.56/1631.09	c 1631s |      27 | 14358399 | 11410733 |     1256  23824 |        0 |        0
1632.66/1633.10	c 1633s |      27 | 14380226 | 11425033 |     1256  23847 |        0 |        0
1634.66/1635.11	c 1635s |      27 | 14401865 | 11439433 |     1256  23869 |        0 |        0
1636.66/1637.12	c 1637s |      27 | 14423248 | 11453633 |     1256  23891 |        0 |        0
1638.66/1639.12	c 1639s |      27 | 14441571 | 11467033 |     1256  23912 |        0 |        0
1640.66/1641.12	c 1641s |      27 | 14459722 | 11480233 |     1256  23932 |        0 |        0
1642.66/1643.13	c 1643s |      27 | 14478938 | 11493833 |     1256  23953 |        0 |        0
1644.66/1645.13	c 1645s |      27 | 14499063 | 11507633 |     1256  23974 |        0 |        0
1646.65/1647.14	c 1647s |      27 | 14517495 | 11520633 |     1256  23994 |        0 |        0
1648.65/1649.15	c 1649s |      27 | 14540471 | 11535233 |     1256  24017 |        0 |        0
1650.66/1651.15	c 1651s |      27 | 14559049 | 11548433 |     1256  24037 |        0 |        0
1652.65/1653.16	c 1653s |      27 | 14579439 | 11562533 |     1256  24059 |        0 |        0
1654.65/1655.17	c 1655s |      27 | 14600809 | 11576333 |     1256  24080 |        0 |        0
1656.65/1657.17	c 1657s |      27 | 14616101 | 11588833 |     1256  24099 |        0 |        0
1658.65/1659.19	c 1659s |      27 | 14632564 | 11601733 |     1256  24119 |        0 |        0
1660.66/1661.19	c 1661s |      27 | 14649370 | 11614433 |     1256  24139 |        0 |        0
1662.65/1663.20	c 1663s |      27 | 14664500 | 11625833 |     1256  24156 |        0 |        0
1664.75/1665.21	c 1665s |      27 | 14679065 | 11637733 |     1256  24175 |        0 |        0
1666.75/1667.22	c 1667s |      27 | 14694800 | 11650333 |     1256  24194 |        0 |        0
1668.76/1669.23	c 1669s |      27 | 14711910 | 11663033 |     1256  24214 |        0 |        0
1670.75/1671.23	c 1671s |      27 | 14726639 | 11675333 |     1256  24233 |        0 |        0
1672.76/1673.24	c 1673s |      27 | 14742496 | 11688233 |     1256  24253 |        0 |        0
1674.75/1675.25	c 1675s |      27 | 14758402 | 11700933 |     1256  24272 |        0 |        0
1676.75/1677.25	c 1677s |      27 | 14773703 | 11713333 |     1256  24292 |        0 |        0
1678.75/1679.26	c 1679s |      27 | 14793305 | 11727133 |     1256  24313 |        0 |        0
1680.75/1681.27	c 1681s |      27 | 14810187 | 11740033 |     1256  24333 |        0 |        0
1682.75/1683.28	c 1683s |      27 | 14827584 | 11753433 |     1256  24354 |        0 |        0
1684.76/1685.29	c 1685s |      27 | 14844492 | 11766233 |     1256  24373 |        0 |        0
1686.85/1687.30	c 1687s |      27 | 14862867 | 11779833 |     1256  24394 |        0 |        0
1688.85/1689.31	c 1689s |      27 | 14881129 | 11793533 |     1256  24415 |        0 |        0
1690.85/1691.32	c 1691s |      27 | 14902270 | 11808033 |     1256  24438 |        0 |        0
1692.85/1693.34	c 1693s |      27 | 14923540 | 11822033 |     1256  24460 |        0 |        0
1694.85/1695.35	c 1695s |      27 | 14940666 | 11835033 |     1256  24479 |        0 |        0
1696.85/1697.35	c 1697s |      27 | 14954858 | 11847233 |     1256  24498 |        0 |        0
1698.85/1699.36	c 1699s |      27 | 14969470 | 11859333 |     1256  24517 |        0 |        0
1700.85/1701.36	c 1701s |      27 | 14984398 | 11871733 |     1256  24536 |        0 |        0
1702.85/1703.37	c 1703s |      27 | 14999754 | 11884133 |     1256  24555 |        0 |        0
1704.84/1705.38	c 1705s |      27 | 15013899 | 11895833 |     1256  24573 |        0 |        0
1706.85/1707.38	c 1707s |      27 | 15030027 | 11908233 |     1256  24592 |        0 |        0
1708.84/1709.39	c 1709s |      27 | 15045800 | 11920933 |     1256  24612 |        0 |        0
1710.94/1711.41	c 1711s |      27 | 15060319 | 11933133 |     1256  24631 |        0 |        0
1712.94/1713.41	c 1713s |      27 | 15075216 | 11945333 |     1256  24649 |        0 |        0
1714.94/1715.41	c 1715s |      27 | 15089546 | 11957033 |     1256  24667 |        0 |        0
1716.94/1717.42	c 1717s |      27 | 15106605 | 11969533 |     1256  24687 |        0 |        0
1718.95/1719.44	c 1719s |      27 | 15121742 | 11981533 |     1256  24705 |        0 |        0
1720.94/1721.44	c 1721s |      27 | 15138123 | 11994933 |     1256  24726 |        0 |        0
1722.94/1723.44	c 1723s |      27 | 15155954 | 12008533 |     1256  24747 |        0 |        0
1724.94/1725.44	c 1725s |      27 | 15171650 | 12021733 |     1256  24767 |        0 |        0
1726.94/1727.46	c 1727s |      27 | 15189258 | 12035333 |     1256  24788 |        0 |        0
1728.94/1729.47	c 1729s |      27 | 15205905 | 12048233 |     1256  24808 |        0 |        0
1730.94/1731.48	c 1731s |      27 | 15226948 | 12062333 |     1256  24830 |        0 |        0
1732.94/1733.49	c 1733s |      27 | 15245869 | 12076033 |     1256  24851 |        0 |        0
1735.04/1735.50	c 1735s |      27 | 15266985 | 12090033 |     1256  24873 |        0 |        0
1737.05/1737.51	c 1737s |      27 | 15288599 | 12104733 |     1256  24895 |        0 |        0
1739.05/1739.51	c 1739s |      27 | 15306626 | 12118333 |     1256  24916 |        0 |        0
1741.05/1741.52	c 1741s |      27 | 15325836 | 12131833 |     1256  24937 |        0 |        0
1743.05/1743.53	c 1743s |      27 | 15347327 | 12146133 |     1256  24959 |        0 |        0
1745.04/1745.54	c 1745s |      27 | 15365466 | 12159233 |     1256  24980 |        0 |        0
1747.04/1747.55	c 1747s |      27 | 15382555 | 12172233 |     1256  25000 |        0 |        0
1749.04/1749.55	c 1749s |      27 | 15399071 | 12184833 |     1256  25019 |        0 |        0
1751.04/1751.56	c 1751s |      27 | 15417786 | 12198333 |     1256  25040 |        0 |        0
1753.05/1753.57	c 1753s |      27 | 15439284 | 12212833 |     1256  25062 |        0 |        0
1755.04/1755.58	c 1755s |      27 | 15455600 | 12225233 |     1256  25081 |        0 |        0
1757.04/1757.58	c 1757s |      27 | 15476004 | 12239333 |     1256  25103 |        0 |        0
1759.04/1759.58	c 1759s |      27 | 15495756 | 12253933 |     1256  25126 |        0 |        0
1761.04/1761.59	c 1761s |      27 | 15513074 | 12267233 |     1256  25146 |        0 |        0
1763.04/1763.59	c 1763s |      27 | 15534985 | 12282033 |     1256  25169 |        0 |        0
1765.15/1765.61	c 1765s |      27 | 15556820 | 12296333 |     1256  25191 |        0 |        0
1767.14/1767.61	c 1767s |      27 | 15577839 | 12310133 |     1256  25213 |        0 |        0
1769.14/1769.61	c 1769s |      27 | 15598377 | 12324233 |     1256  25235 |        0 |        0
1771.14/1771.62	c 1771s |      27 | 15616529 | 12337533 |     1256  25255 |        0 |        0
1773.14/1773.62	c 1773s |      27 | 15633346 | 12350433 |     1256  25275 |        0 |        0
1775.14/1775.63	c 1775s |      27 | 15651519 | 12363733 |     1256  25295 |        0 |        0
1777.14/1777.64	c 1777s |      27 | 15667776 | 12376133 |     1256  25315 |        0 |        0
1779.14/1779.64	c 1779s |      27 | 15683937 | 12388833 |     1256  25334 |        0 |        0
1781.14/1781.65	c 1781s |      27 | 15700061 | 12401533 |     1256  25354 |        0 |        0
1783.14/1783.65	c 1783s |      27 | 15715193 | 12414133 |     1256  25373 |        0 |        0
1785.13/1785.66	c 1785s |      27 | 15729987 | 12426533 |     1256  25392 |        0 |        0
1787.14/1787.66	c 1787s |      27 | 15745001 | 12439033 |     1256  25411 |        0 |        0
1789.13/1789.68	c 1789s |      27 | 15760312 | 12451933 |     1256  25431 |        0 |        0
1791.13/1791.68	c 1791s |      27 | 15775639 | 12464733 |     1256  25451 |        0 |        0
1793.13/1793.69	c 1793s |      27 | 15790534 | 12477533 |     1256  25471 |        0 |        0
1795.23/1795.70	c 1795s |      27 | 15805522 | 12490233 |     1256  25491 |        0 |        0
1797.23/1797.70	c 1797s |      27 | 15820409 | 12502533 |     1256  25510 |        0 |        0
1799.24/1799.72	c 1799s |      27 | 15835685 | 12514833 |     1256  25528 |        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-4095931-1466099503/watcher-4095931-1466099503 -o /tmp/evaluation-result-4095931-1466099503/solver-4095931-1466099503 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23942 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095931-1466099503.opb 

pid=24327
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.01 2.04 2.00 3/178 24330
/proc/meminfo: memFree=30750944/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=699836 CPUtime=0 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 2609 0 0 0 0 0 0 0 20 0 4 0 12000200 716632064 2970 33554432000 4194304 16246674 140736555754640 140736555754064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 175727 2978 441 2943 0 172621 0
[pid=24330/tid=24331] ppid=24327 vsize=718268 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 735506432 3040 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 739700736 3058 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 743895040 3073 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 24330
/proc/meminfo: memFree=30750944/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 25053 0 0 0 6 3 0 0 20 0 4 0 12000200 1247350784 25403 33554432000 4194304 16246674 140736555754640 140736555754064 5674353 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 304529 25410 707 2943 0 301423 0
[pid=24330/tid=24331] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 25418 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 25429 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 25437 33554432000 4194304 16246674 140736555754640 140678231223472 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.200523 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 24330
/proc/meminfo: memFree=30750944/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 48045 0 0 0 13 6 0 0 20 0 4 0 12000200 1247350784 48394 33554432000 4194304 16246674 140736555754640 140736555754064 5724508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 304529 48402 707 2943 0 301423 0
[pid=24330/tid=24331] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 48409 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 48417 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 48426 33554432000 4194304 16246674 140736555754640 140678231223472 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.300488 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 24330
/proc/meminfo: memFree=30750944/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 71174 0 0 0 20 9 0 0 20 0 4 0 12000200 1247350784 71523 33554432000 4194304 16246674 140736555754640 140736555754064 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 304529 71535 707 2943 0 301423 0
[pid=24330/tid=24331] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 71543 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 71548 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 71555 33554432000 4194304 16246674 140736555754640 140678231223472 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.700398 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 24330
/proc/meminfo: memFree=30750944/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 166911 0 0 0 45 24 0 0 20 0 4 0 12000200 1247350784 167260 33554432000 4194304 16246674 140736555754640 140736555736512 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 304529 167274 707 2943 0 301423 0
[pid=24330/tid=24331] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 167282 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 167287 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 167293 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.01 2.04 2.00 3/182 24334
/proc/meminfo: memFree=29768900/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1218116 CPUtime=1.48 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 245503 0 0 0 113 35 0 0 20 0 4 0 12000200 1247350784 245832 33554432000 4194304 16246674 140736555754640 140736555753952 13192071 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 304529 245832 782 2943 0 301423 0
[pid=24330/tid=24331] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 245832 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 245832 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1247350784 245832 33554432000 4194304 16246674 140736555754640 140678231223472 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) 1218116

[startup+3.10045 s]
/proc/loadavg: 2.01 2.04 2.00 3/182 24334
/proc/meminfo: memFree=29681108/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 267383 0 0 0 272 37 0 0 20 0 4 0 12000200 1337528320 267712 33554432000 4194304 16246674 140736555754640 140736555737640 5823835 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326545 267712 782 2943 0 323439 0
[pid=24330/tid=24331] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267712 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267712 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267712 33554432000 4194304 16246674 140736555754640 140678231223472 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.30045 s]
/proc/loadavg: 2.01 2.04 2.00 3/182 24334
/proc/meminfo: memFree=29680760/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 267410 0 0 0 592 37 0 0 20 0 4 0 12000200 1337528320 267739 33554432000 4194304 16246674 140736555754640 140736555737640 13966775 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326545 267739 782 2943 0 323439 0
[pid=24330/tid=24331] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267739 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267739 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267739 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7005 s]
/proc/loadavg: 2.01 2.04 2.00 3/182 24334
/proc/meminfo: memFree=29680676/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 267453 0 0 0 1231 37 0 0 20 0 4 0 12000200 1337528320 267782 33554432000 4194304 16246674 140736555754640 140736555736512 5523360 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326545 267782 782 2943 0 323439 0
[pid=24330/tid=24331] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267782 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267782 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267782 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.01 2.04 2.00 3/182 24335
/proc/meminfo: memFree=29681536/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 267461 0 0 0 2511 38 0 0 20 0 4 0 12000200 1337528320 267790 33554432000 4194304 16246674 140736555754640 140736555737640 5672416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326545 267790 785 2943 0 323439 0
[pid=24330/tid=24331] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267790 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267790 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267790 33554432000 4194304 16246674 140736555754640 140678231223472 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) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.08 2.05 2.00 3/182 24384
/proc/meminfo: memFree=29685328/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 267461 0 0 0 5070 38 0 0 20 0 4 0 12000200 1337528320 267790 33554432000 4194304 16246674 140736555754640 140736555736512 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326545 267790 785 2943 0 323439 0
[pid=24330/tid=24331] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267790 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267790 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 267790 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 24386
/proc/meminfo: memFree=29682504/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 267504 0 0 0 10189 39 0 0 20 0 4 0 12000200 1337528320 268083 33554432000 4194304 16246674 140736555754640 140736555736512 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326545 268083 786 2943 0 323439 0
[pid=24330/tid=24331] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 268083 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 268083 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1337528320 268083 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24440
/proc/meminfo: memFree=29675744/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1307204 CPUtime=1361.9 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 268109 0 0 0 136133 57 0 0 20 0 4 0 12000200 1338576896 268354 33554432000 4194304 16246674 140736555754640 140736555736512 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326801 268354 789 2943 0 323695 0
[pid=24330/tid=24331] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24441
/proc/meminfo: memFree=29676308/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1307204 CPUtime=1421.89 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 268109 0 0 0 142131 58 0 0 20 0 4 0 12000200 1338576896 268354 33554432000 4194304 16246674 140736555754640 140736555736512 5523404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326801 268354 789 2943 0 323695 0
[pid=24330/tid=24331] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 24442
/proc/meminfo: memFree=29675948/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1307204 CPUtime=1481.88 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 268109 0 0 0 148129 59 0 0 20 0 4 0 12000200 1338576896 268354 33554432000 4194304 16246674 140736555754640 140736555736512 5667556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326801 268354 789 2943 0 323695 0
[pid=24330/tid=24331] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.13 2.04 2.01 3/183 24443
/proc/meminfo: memFree=29675692/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1307204 CPUtime=1541.88 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 268109 0 0 0 154128 60 0 0 20 0 4 0 12000200 1338576896 268354 33554432000 4194304 16246674 140736555754640 140736555736512 5667484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326801 268354 789 2943 0 323695 0
[pid=24330/tid=24331] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 24445
/proc/meminfo: memFree=29675936/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1307204 CPUtime=1601.86 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 268109 0 0 0 160126 60 0 0 20 0 4 0 12000200 1338576896 268354 33554432000 4194304 16246674 140736555754640 140736555736512 5523504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326801 268354 789 2943 0 323695 0
[pid=24330/tid=24331] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 24446
/proc/meminfo: memFree=29675824/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1307204 CPUtime=1661.85 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 268109 0 0 0 166124 61 0 0 20 0 4 0 12000200 1338576896 268354 33554432000 4194304 16246674 140736555754640 140736555737640 5677164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326801 268354 789 2943 0 323695 0
[pid=24330/tid=24331] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.19 2.07 2.01 3/184 24450
/proc/meminfo: memFree=29676212/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1307204 CPUtime=1721.84 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 268109 0 0 0 172122 62 0 0 20 0 4 0 12000200 1338576896 268354 33554432000 4194304 16246674 140736555754640 140736555736512 5522913 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326801 268354 789 2943 0 323695 0
[pid=24330/tid=24331] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 24451
/proc/meminfo: memFree=29675984/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1307204 CPUtime=1781.84 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 268109 0 0 0 178121 63 0 0 20 0 4 0 12000200 1338576896 268354 33554432000 4194304 16246674 140736555754640 140736555737640 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326801 268354 789 2943 0 323695 0
[pid=24330/tid=24331] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 24451
/proc/meminfo: memFree=29676476/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1307204 CPUtime=1800.03 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 268109 0 0 0 179940 63 0 0 20 0 4 0 12000200 1338576896 268354 33554432000 4194304 16246674 140736555754640 140736555737640 13818354 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326801 268354 789 2943 0 323695 0
[pid=24330/tid=24331] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1307204

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

[startup+1800.5 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 24451
/proc/meminfo: memFree=29676476/32872528 swapFree=162364/176672
[pid=24330] ppid=24327 vsize=1307204 CPUtime=1800.03 cores=0,2,4,6
/proc/24330/stat : 24330 (toysat) R 24327 24330 23926 0 -1 4202496 268109 0 0 0 179940 63 0 0 20 0 4 0 12000200 1338576896 268354 33554432000 4194304 16246674 140736555754640 140736555737640 13818354 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24330/statm: 326801 268354 789 2943 0 323695 0
[pid=24330/tid=24331] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24331/stat : 24331 (toysat) S 24327 24330 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678353890544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24330/tid=24332] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24332/stat : 24332 (toysat) S 24327 24330 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678343400688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24330/tid=24333] ppid=24327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24330/task/24333/stat : 24333 (toysat) S 24327 24330 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12000201 1338576896 268354 33554432000 4194304 16246674 140736555754640 140678231223472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.41
CPU system time (s): 0.638902
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.638902
maximum resident set size= 1073416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268109
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= 355
involuntary context switches= 1983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75482 second user time and 20.4619 second system time

The end

Begin job on node105 at 2016-06-16 19:51:43
IDJOB=4095931
IDBENCH=107542
IDSOLVER=2542
FILE ID=node105/4095931-1466099503
RUNJOBID= node105-1466095897-23942
PBS_JOBID= 19904031
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 3f67f1c5310e0c4cd3031f2a33d577b8
RANDOM SEED=1999539043

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30751976 kB
Buffers:           44376 kB
Cached:           121760 kB
SwapCached:         1480 kB
Active:          1165368 kB
Inactive:          78104 kB
Active(anon):    1077828 kB
Inactive(anon):     1660 kB
Active(file):      87540 kB
Inactive(file):    76444 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097232 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       1252504 kB
Mapped:             9420 kB
Shmem:                 0 kB
Slab:             568760 kB
SReclaimable:      12576 kB
SUnreclaim:       556184 kB
KernelStack:        1448 kB
PageTables:         6420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1393684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1085440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node105 at 2016-06-16 20:21:43