0.00/0.00	c 2016-06-15T21:39:51+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-4088994-1466019591.opb"]
0.00/0.01	c use --random-gen="2855062109 1406723057 2440472661 2427019209 545317454 1093548384 3096406672 1905422213 2965247932 432598950 608988989 765333635 2718093290 3711706610 1351060164 1369121406 693522518 546709543 1665891739 2265067838 1054724379 1208994064 1428029259 3764661747 819342265 1036954998 1583921359 1733830409 4180465849 188970442 282601506 1535227788 2399359053 4109774601 2744068717 3273442336 1434129444 1501685660 2771811521 2157673770 3294426290 3174195728 4247645577 2869051648 1847458504 1029909522 1227857475 2100493078 661211 3852763830 2255015585 4162609031 521393815 3962166398 2339822121 1508256326 3745629673 1579335376 3532835324 4148856791 3903796179 1774385512 2669457458 1717555609 3548149686 2956536395 2561793338 1903173619 2306066837 3314278687 250295816 877674856 1777239599 2567711249 2204885333 1884179590 708104951 3408596056 1127363338 3228708635 675794629 1186706114 4281534014 182802676 4182648235 1517184789 395677734 2430978117 529957319 2476765367 3852688986 3848614200 1921819019 1120127741 1144398714 2973233990 730151316 1419102826 3403687254 2299413855 830055408 1701037949 4237614483 2396353655 3670735937 1724260029 3517387753 2248972445 3171845193 702275732 2393004905 2194316367 334977457 3600970230 4129082278 3708221647 1377695411 1563933417 75052646 1857710649 1842340943 1900575162 3086263055 2685140215 1992528513 2828136710 683966335 2640518041 4167261010 1502485908 3002217773 510806044 741677873 1352284395 3956942190 2158570327 4048461541 866251769 435937247 2307625516 2549801955 1584689786 3445359209 3390792152 2446457510 603736260 1685564494 3215406807 1223040365 3637613161 3535848564 1549868370 3019395816 2180193891 817593280 1521936656 2100403986 2536099366 2859490061 1648424755 728103043 3933091171 2456077036 788594043 686808758 3443037078 593431327 3380486620 2929622395 2940561003 4004955372 1410649764 1651070549 3605426919 1958926762 3112601773 3823714489 3019801950 4193986825 1723908916 2024439344 2062609891 612255291 4218991488 3744174284 957498879 1333696997 2046441688 3973741178 527248444 3575792130 3592829874 3151106840 1658542054 2222770007 3610529322 1703655603 3299678976 4280428267 704714894 122590305 1496354522 3226064574 410074786 326955946 1404106701 966220640 2418894429 3972200900 1995336709 2871837775 2937080950 1683416440 1747231511 3467022643 1833486910 4154326261 2875300125 2994232597 947041731 1735061664 1834033722 888867903 22265525 1293394539 4173305537 3185165713 2350758958 929335365 1792154721 3019634253 2606784100 2259617602 1778440240 1445925069 4071686585 2185010338 578122745 3563584170 548164146 997255939 3540678364 1942063255 4094557941 822137028 1570146795 973753298 1260250932 3598128480 1446924769 850921420 3921850038 2010108401 3922476217 2827602659 804214172 255 362436" option to reproduce the execution
0.00/0.01	c #vars 100
0.00/0.01	c #constraints 201
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 |      100      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      169 |      100 |      100      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      383 |      250 |      111      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      650 |      475 |      123      4 |        0 |        0
0.09/0.12	c  0.1s |       4 |     1023 |      813 |      136      8 |        0 |        0
0.09/0.19	c  0.2s |       5 |     1573 |     1320 |      150     13 |        0 |        0
0.19/0.29	c  0.3s |       6 |     2379 |     2081 |      182     21 |        0 |        0
0.39/0.45	c  0.4s |       7 |     3573 |     3223 |      201     31 |        0 |        0
0.69/0.70	c  0.7s |       8 |     5352 |     4936 |      222     45 |        0 |        0
0.88/0.99	c  1.0s |       9 |     7998 |     7506 |      245     64 |        0 |        0
1.28/1.36	c  1.3s |      10 |    12060 |    11361 |      270     91 |        0 |        0
1.89/1.93	c  1.9s |      11 |    18014 |    17144 |      297    128 |        0 |        0
2.69/2.77	c  2.8s |      12 |    27074 |    25819 |      327    179 |        0 |        0
3.99/4.05	c  4.0s |      13 |    40707 |    38832 |      360    249 |        0 |        0
5.89/5.98	c  6.0s |      14 |    61406 |    58352 |      397    346 |        0 |        0
7.88/7.98	c  8.0s |      14 |    82840 |    78552 |      397    439 |        0 |        0
8.79/8.88	c  8.9s |      15 |    92342 |    87632 |      437    480 |        0 |        0
10.78/10.89	c 10.9s |      15 |   113977 |   107532 |      437    564 |        0 |        0
12.78/12.89	c 12.9s |      15 |   135114 |   127132 |      437    646 |        0 |        0
13.30/13.34	c 13.3s |      16 |   139856 |   131552 |      481    664 |        0 |        0
15.29/15.34	c 15.3s |      16 |   160973 |   150852 |      481    739 |        0 |        0
17.29/17.34	c 17.3s |      16 |   182107 |   170152 |      481    813 |        0 |        0
19.29/19.34	c 19.3s |      16 |   202562 |   189452 |      481    887 |        0 |        0
20.09/20.18	c 20.2s |      17 |   211416 |   197432 |      530    917 |        0 |        0
22.10/22.18	c 22.2s |      17 |   231945 |   216532 |      530    984 |        0 |        0
24.09/24.19	c 24.2s |      17 |   252296 |   235732 |      530   1052 |        0 |        0
26.09/26.19	c 26.2s |      17 |   272872 |   255032 |      530   1120 |        0 |        0
28.18/28.20	c 28.2s |      17 |   293312 |   274432 |      530   1188 |        0 |        0
30.18/30.20	c 30.2s |      17 |   313740 |   293732 |      530   1257 |        0 |        0
30.38/30.46	c 30.5s |      18 |   316453 |   296252 |      583   1265 |        0 |        0
32.38/32.46	c 32.5s |      18 |   336802 |   315252 |      583   1326 |        0 |        0
34.38/34.47	c 34.5s |      18 |   357155 |   334152 |      583   1387 |        0 |        0
36.39/36.47	c 36.5s |      18 |   377975 |   353152 |      583   1448 |        0 |        0
38.38/38.48	c 38.5s |      18 |   399000 |   372152 |      583   1509 |        0 |        0
40.38/40.49	c 40.5s |      18 |   419268 |   390852 |      583   1569 |        0 |        0
42.48/42.50	c 42.5s |      18 |   439636 |   409652 |      583   1630 |        0 |        0
44.48/44.51	c 44.5s |      18 |   461053 |   428752 |      583   1691 |        0 |        0
46.09/46.18	c 46.2s |      19 |   478096 |   444482 |      642   1741 |        0 |        0
48.08/48.19	c 48.2s |      19 |   498599 |   463482 |      642   1797 |        0 |        0
50.18/50.20	c 50.2s |      19 |   518970 |   482282 |      642   1852 |        0 |        0
52.18/52.21	c 52.2s |      19 |   539763 |   501082 |      642   1907 |        0 |        0
54.18/54.21	c 54.2s |      19 |   560254 |   519782 |      642   1962 |        0 |        0
56.19/56.22	c 56.2s |      19 |   580630 |   538382 |      642   2017 |        0 |        0
58.18/58.23	c 58.2s |      19 |   600909 |   556782 |      642   2071 |        0 |        0
60.18/60.23	c 60.2s |      19 |   621450 |   575182 |      642   2126 |        0 |        0
62.18/62.23	c 62.2s |      19 |   641502 |   593682 |      642   2180 |        0 |        0
64.18/64.25	c 64.2s |      19 |   661986 |   612582 |      642   2236 |        0 |        0
66.18/66.25	c 66.2s |      19 |   682252 |   631382 |      642   2291 |        0 |        0
68.19/68.26	c 68.2s |      19 |   702304 |   650182 |      642   2347 |        0 |        0
69.98/70.05	c 70.0s |      20 |   720068 |   666827 |      707   2394 |        0 |        0
71.98/72.06	c 72.0s |      20 |   739579 |   685327 |      707   2444 |        0 |        0
73.98/74.06	c 74.0s |      20 |   759520 |   703927 |      707   2494 |        0 |        0
75.98/76.06	c 76.0s |      20 |   779833 |   722527 |      707   2544 |        0 |        0
77.97/78.07	c 78.1s |      20 |   799782 |   741127 |      707   2594 |        0 |        0
79.97/80.08	c 80.1s |      20 |   820013 |   759427 |      707   2643 |        0 |        0
81.97/82.08	c 82.1s |      20 |   840029 |   777927 |      707   2693 |        0 |        0
83.97/84.08	c 84.1s |      20 |   860262 |   796527 |      707   2743 |        0 |        0
85.98/86.09	c 86.1s |      20 |   880645 |   815027 |      707   2792 |        0 |        0
87.99/88.09	c 88.1s |      20 |   900495 |   833527 |      707   2842 |        0 |        0
90.08/90.10	c 90.1s |      20 |   920114 |   852127 |      707   2892 |        0 |        0
92.08/92.10	c 92.1s |      20 |   939779 |   870827 |      707   2942 |        0 |        0
94.07/94.11	c 94.1s |      20 |   959644 |   889427 |      707   2992 |        0 |        0
96.07/96.11	c 96.1s |      20 |   979785 |   907927 |      707   3042 |        0 |        0
98.07/98.12	c 98.1s |      20 |   999752 |   926327 |      707   3092 |        0 |        0
100.08/100.12	c  100s |      20 |  1019698 |   944427 |      707   3140 |        0 |        0
102.07/102.12	c  102s |      20 |  1039381 |   962527 |      707   3189 |        0 |        0
104.07/104.12	c  104s |      20 |  1059288 |   980927 |      707   3239 |        0 |        0
106.07/106.13	c  106s |      20 |  1078832 |   999327 |      778   3287 |        0 |        0
106.17/106.24	c  106s |      21 |  1079894 |  1000345 |      778   3289 |        0 |        0
108.17/108.24	c  108s |      21 |  1100147 |  1018445 |      778   3334 |        0 |        0
110.17/110.25	c  110s |      21 |  1119823 |  1036045 |      778   3377 |        0 |        0
112.17/112.25	c  112s |      21 |  1138512 |  1053845 |      778   3420 |        0 |        0
114.17/114.26	c  114s |      21 |  1158299 |  1071845 |      778   3465 |        0 |        0
116.17/116.27	c  116s |      21 |  1177935 |  1089945 |      778   3509 |        0 |        0
118.17/118.28	c  118s |      21 |  1197578 |  1107845 |      778   3553 |        0 |        0
120.17/120.28	c  120s |      21 |  1217515 |  1125645 |      778   3596 |        0 |        0
122.18/122.28	c  122s |      21 |  1237260 |  1143345 |      778   3640 |        0 |        0
124.17/124.28	c  124s |      21 |  1256559 |  1161045 |      778   3684 |        0 |        0
126.17/126.29	c  126s |      21 |  1276038 |  1178845 |      778   3727 |        0 |        0
128.27/128.30	c  128s |      21 |  1295146 |  1196545 |      778   3771 |        0 |        0
130.27/130.31	c  130s |      21 |  1313960 |  1214445 |      778   3815 |        0 |        0
132.27/132.32	c  132s |      21 |  1333496 |  1232445 |      778   3859 |        0 |        0
134.27/134.32	c  134s |      21 |  1353074 |  1250345 |      778   3902 |        0 |        0
136.27/136.33	c  136s |      21 |  1372802 |  1268645 |      778   3947 |        0 |        0
138.27/138.34	c  138s |      21 |  1392622 |  1286445 |      778   3991 |        0 |        0
140.26/140.34	c  140s |      21 |  1411867 |  1304345 |      778   4035 |        0 |        0
142.26/142.35	c  142s |      21 |  1432117 |  1322345 |      778   4080 |        0 |        0
144.27/144.36	c  144s |      21 |  1451917 |  1340445 |      778   4124 |        0 |        0
146.28/146.36	c  146s |      21 |  1471233 |  1358545 |      778   4168 |        0 |        0
148.27/148.36	c  148s |      21 |  1490225 |  1376345 |      778   4212 |        0 |        0
150.27/150.37	c  150s |      21 |  1509128 |  1394345 |      778   4256 |        0 |        0
152.27/152.38	c  152s |      21 |  1528466 |  1412245 |      778   4300 |        0 |        0
154.26/154.39	c  154s |      21 |  1548671 |  1430145 |      778   4344 |        0 |        0
156.27/156.39	c  156s |      21 |  1569957 |  1447945 |      778   4388 |        0 |        0
158.26/158.39	c  158s |      21 |  1590311 |  1465945 |      778   4432 |        0 |        0
160.36/160.40	c  160s |      21 |  1610620 |  1484045 |      778   4477 |        0 |        0
162.16/162.25	c  162s |      22 |  1628376 |  1500622 |      856   4515 |        0 |        0
164.16/164.25	c  164s |      22 |  1647548 |  1518522 |      856   4555 |        0 |        0
166.17/166.26	c  166s |      22 |  1666671 |  1536122 |      856   4595 |        0 |        0
168.16/168.26	c  168s |      22 |  1685730 |  1553822 |      856   4634 |        0 |        0
170.16/170.27	c  170s |      22 |  1705466 |  1571522 |      856   4674 |        0 |        0
172.16/172.27	c  172s |      22 |  1725042 |  1588922 |      856   4713 |        0 |        0
174.16/174.28	c  174s |      22 |  1744197 |  1606322 |      856   4752 |        0 |        0
176.16/176.29	c  176s |      22 |  1764438 |  1623922 |      856   4791 |        0 |        0
178.17/178.30	c  178s |      22 |  1783999 |  1641622 |      856   4831 |        0 |        0
180.26/180.30	c  180s |      22 |  1803734 |  1659322 |      856   4870 |        0 |        0
182.26/182.31	c  182s |      22 |  1822890 |  1677022 |      856   4910 |        0 |        0
184.26/184.32	c  184s |      22 |  1841841 |  1694622 |      856   4950 |        0 |        0
186.26/186.32	c  186s |      22 |  1860660 |  1712022 |      856   4989 |        0 |        0
188.26/188.33	c  188s |      22 |  1879554 |  1729522 |      856   5028 |        0 |        0
190.27/190.34	c  190s |      22 |  1899404 |  1747122 |      856   5067 |        0 |        0
192.26/192.34	c  192s |      22 |  1919204 |  1764522 |      856   5106 |        0 |        0
194.26/194.35	c  194s |      22 |  1938172 |  1781822 |      856   5145 |        0 |        0
196.26/196.35	c  196s |      22 |  1957675 |  1799622 |      856   5185 |        0 |        0
198.26/198.36	c  198s |      22 |  1976958 |  1817222 |      856   5225 |        0 |        0
200.26/200.36	c  200s |      22 |  1996352 |  1834722 |      856   5264 |        0 |        0
202.26/202.37	c  202s |      22 |  2015460 |  1852122 |      856   5303 |        0 |        0
204.26/204.37	c  204s |      22 |  2034841 |  1869622 |      856   5342 |        0 |        0
206.25/206.38	c  206s |      22 |  2053757 |  1887122 |      856   5382 |        0 |        0
208.25/208.38	c  208s |      22 |  2072662 |  1904422 |      856   5421 |        0 |        0
210.25/210.39	c  210s |      22 |  2091390 |  1921722 |      856   5459 |        0 |        0
212.26/212.39	c  212s |      22 |  2110467 |  1939322 |      856   5499 |        0 |        0
214.35/214.40	c  214s |      22 |  2130691 |  1957222 |      856   5539 |        0 |        0
216.35/216.41	c  216s |      22 |  2149496 |  1974522 |      856   5578 |        0 |        0
218.35/218.41	c  218s |      22 |  2168210 |  1991922 |      856   5617 |        0 |        0
220.36/220.41	c  220s |      22 |  2187727 |  2009422 |      856   5656 |        0 |        0
222.36/222.42	c  222s |      22 |  2206965 |  2027022 |      856   5696 |        0 |        0
224.36/224.43	c  224s |      22 |  2226599 |  2044822 |      856   5735 |        0 |        0
226.36/226.43	c  226s |      22 |  2246584 |  2062322 |      856   5775 |        0 |        0
228.36/228.44	c  228s |      22 |  2265519 |  2079922 |      856   5814 |        0 |        0
230.35/230.44	c  230s |      22 |  2284264 |  2097522 |      856   5854 |        0 |        0
232.35/232.44	c  232s |      22 |  2303855 |  2115222 |      856   5893 |        0 |        0
234.36/234.45	c  234s |      22 |  2322859 |  2132822 |      856   5933 |        0 |        0
236.35/236.45	c  236s |      22 |  2342144 |  2150122 |      856   5972 |        0 |        0
238.35/238.46	c  238s |      22 |  2361259 |  2167622 |      856   6011 |        0 |        0
240.35/240.47	c  240s |      22 |  2380078 |  2185122 |      856   6050 |        0 |        0
242.35/242.47	c  242s |      22 |  2399090 |  2202722 |      856   6090 |        0 |        0
244.35/244.47	c  244s |      22 |  2418872 |  2220322 |      856   6129 |        0 |        0
246.35/246.48	c  246s |      22 |  2438105 |  2237822 |      942   6168 |        0 |        0
247.95/248.03	c  248s |      23 |  2452564 |  2251038 |      942   6195 |        0 |        0
249.95/250.04	c  250s |      23 |  2471657 |  2268238 |      942   6230 |        0 |        0
251.95/252.04	c  252s |      23 |  2490573 |  2285438 |      942   6265 |        0 |        0
253.95/254.05	c  254s |      23 |  2509561 |  2302838 |      942   6301 |        0 |        0
255.95/256.06	c  256s |      23 |  2528518 |  2320238 |      942   6336 |        0 |        0
257.95/258.06	c  258s |      23 |  2548345 |  2337738 |      942   6372 |        0 |        0
259.95/260.07	c  260s |      23 |  2567413 |  2354638 |      942   6406 |        0 |        0
261.95/262.08	c  262s |      23 |  2586462 |  2371938 |      942   6442 |        0 |        0
263.96/264.08	c  264s |      23 |  2605260 |  2389038 |      942   6477 |        0 |        0
265.95/266.09	c  266s |      23 |  2624436 |  2406038 |      942   6512 |        0 |        0
267.95/268.09	c  268s |      23 |  2643536 |  2423338 |      942   6547 |        0 |        0
269.95/270.09	c  270s |      23 |  2662674 |  2440738 |      942   6583 |        0 |        0
272.05/272.10	c  272s |      23 |  2681864 |  2457838 |      942   6617 |        0 |        0
274.05/274.10	c  274s |      23 |  2700760 |  2475138 |      942   6653 |        0 |        0
276.05/276.11	c  276s |      23 |  2720433 |  2492538 |      942   6689 |        0 |        0
278.04/278.11	c  278s |      23 |  2740326 |  2509938 |      942   6724 |        0 |        0
280.04/280.12	c  280s |      23 |  2759196 |  2527038 |      942   6759 |        0 |        0
282.04/282.12	c  282s |      23 |  2778343 |  2544338 |      942   6794 |        0 |        0
284.04/284.12	c  284s |      23 |  2797433 |  2561538 |      942   6830 |        0 |        0
286.05/286.13	c  286s |      23 |  2816061 |  2578638 |      942   6865 |        0 |        0
288.04/288.13	c  288s |      23 |  2835197 |  2595938 |      942   6900 |        0 |        0
290.04/290.14	c  290s |      23 |  2854750 |  2613338 |      942   6936 |        0 |        0
292.04/292.15	c  292s |      23 |  2874741 |  2630538 |      942   6971 |        0 |        0
294.04/294.16	c  294s |      23 |  2893996 |  2647738 |      942   7006 |        0 |        0
296.04/296.16	c  296s |      23 |  2913109 |  2664738 |      942   7041 |        0 |        0
298.05/298.17	c  298s |      23 |  2931437 |  2681738 |      942   7075 |        0 |        0
300.05/300.18	c  300s |      23 |  2950374 |  2698938 |      942   7111 |        0 |        0
302.05/302.19	c  302s |      23 |  2969772 |  2716338 |      942   7146 |        0 |        0
304.15/304.20	c  304s |      23 |  2988905 |  2733738 |      942   7182 |        0 |        0
306.15/306.20	c  306s |      23 |  3008263 |  2751238 |      942   7218 |        0 |        0
308.14/308.20	c  308s |      23 |  3027006 |  2767938 |      942   7252 |        0 |        0
310.15/310.20	c  310s |      23 |  3045507 |  2784938 |      942   7286 |        0 |        0
312.14/312.22	c  312s |      23 |  3065477 |  2802138 |      942   7322 |        0 |        0
314.14/314.22	c  314s |      23 |  3084976 |  2819638 |      942   7357 |        0 |        0
316.14/316.23	c  316s |      23 |  3104960 |  2837038 |      942   7393 |        0 |        0
318.14/318.24	c  318s |      23 |  3124251 |  2854438 |      942   7429 |        0 |        0
320.15/320.25	c  320s |      23 |  3144032 |  2872038 |      942   7465 |        0 |        0
322.14/322.25	c  322s |      23 |  3163139 |  2889438 |      942   7500 |        0 |        0
324.14/324.26	c  324s |      23 |  3182745 |  2907138 |      942   7537 |        0 |        0
326.14/326.27	c  326s |      23 |  3202454 |  2924438 |      942   7572 |        0 |        0
328.13/328.28	c  328s |      23 |  3221570 |  2941438 |      942   7607 |        0 |        0
330.13/330.28	c  330s |      23 |  3240305 |  2958338 |      942   7641 |        0 |        0
332.14/332.29	c  332s |      23 |  3259291 |  2975238 |      942   7676 |        0 |        0
334.23/334.30	c  334s |      23 |  3277771 |  2992438 |      942   7711 |        0 |        0
336.24/336.30	c  336s |      23 |  3296384 |  3009838 |      942   7746 |        0 |        0
338.24/338.31	c  338s |      23 |  3314844 |  3027238 |      942   7782 |        0 |        0
340.24/340.32	c  340s |      23 |  3333871 |  3044538 |      942   7817 |        0 |        0
342.24/342.32	c  342s |      23 |  3352487 |  3061838 |      942   7853 |        0 |        0
344.25/344.32	c  344s |      23 |  3371250 |  3079238 |      942   7888 |        0 |        0
346.24/346.33	c  346s |      23 |  3390733 |  3096538 |      942   7924 |        0 |        0
348.24/348.34	c  348s |      23 |  3410511 |  3114038 |      942   7960 |        0 |        0
350.24/350.35	c  350s |      23 |  3430557 |  3131438 |      942   7996 |        0 |        0
352.24/352.35	c  352s |      23 |  3449753 |  3148638 |      942   8031 |        0 |        0
354.24/354.36	c  354s |      23 |  3468489 |  3165738 |      942   8065 |        0 |        0
356.23/356.37	c  356s |      23 |  3486785 |  3182938 |      942   8101 |        0 |        0
358.23/358.37	c  358s |      23 |  3505549 |  3200438 |      942   8136 |        0 |        0
360.23/360.38	c  360s |      23 |  3524536 |  3217938 |      942   8172 |        0 |        0
362.23/362.38	c  362s |      23 |  3542868 |  3235038 |      942   8207 |        0 |        0
364.23/364.38	c  364s |      23 |  3561926 |  3252338 |      942   8243 |        0 |        0
366.24/366.39	c  366s |      23 |  3581035 |  3269538 |      942   8278 |        0 |        0
368.33/368.40	c  368s |      23 |  3600689 |  3287038 |      942   8314 |        0 |        0
370.34/370.40	c  370s |      23 |  3620189 |  3304038 |      942   8349 |        0 |        0
372.34/372.40	c  372s |      23 |  3639366 |  3321338 |      942   8384 |        0 |        0
374.34/374.41	c  374s |      23 |  3658518 |  3338738 |      942   8420 |        0 |        0
376.33/376.41	c  376s |      23 |  3676904 |  3355738 |     1037   8454 |        0 |        0
378.34/378.42	c  378s |      23 |  3695064 |  3372738 |     1037   8485 |        0 |        0
378.73/378.87	c  378s |      24 |  3699301 |  3376662 |     1037   8493 |        0 |        0
380.73/380.88	c  380s |      24 |  3717628 |  3393362 |     1037   8524 |        0 |        0
382.74/382.89	c  382s |      24 |  3736457 |  3410162 |     1037   8555 |        0 |        0
384.83/384.90	c  384s |      24 |  3755324 |  3427062 |     1037   8587 |        0 |        0
386.83/386.91	c  386s |      24 |  3774027 |  3443762 |     1037   8618 |        0 |        0
388.83/388.92	c  388s |      24 |  3792164 |  3460362 |     1037   8649 |        0 |        0
390.83/390.93	c  390s |      24 |  3810447 |  3477062 |     1037   8680 |        0 |        0
392.82/392.94	c  392s |      24 |  3828527 |  3493762 |     1037   8711 |        0 |        0
394.83/394.95	c  394s |      24 |  3846605 |  3510562 |     1037   8742 |        0 |        0
396.82/396.95	c  396s |      24 |  3864731 |  3527262 |     1037   8773 |        0 |        0
398.82/398.96	c  398s |      24 |  3882700 |  3543962 |     1037   8804 |        0 |        0
400.83/400.97	c  400s |      24 |  3900499 |  3560462 |     1037   8835 |        0 |        0
402.83/402.97	c  402s |      24 |  3918498 |  3576862 |     1037   8866 |        0 |        0
404.84/404.97	c  404s |      24 |  3936776 |  3593462 |     1037   8897 |        0 |        0
406.83/406.98	c  406s |      24 |  3956733 |  3610362 |     1037   8928 |        0 |        0
408.83/408.98	c  408s |      24 |  3976156 |  3626862 |     1037   8959 |        0 |        0
410.83/410.98	c  410s |      24 |  3994732 |  3643662 |     1037   8990 |        0 |        0
412.83/412.99	c  412s |      24 |  4013234 |  3660062 |     1037   9021 |        0 |        0
414.83/414.99	c  414s |      24 |  4031974 |  3676462 |     1037   9051 |        0 |        0
416.83/416.99	c  416s |      24 |  4050423 |  3693162 |     1037   9082 |        0 |        0
418.93/419.00	c  418s |      24 |  4068583 |  3709862 |     1037   9114 |        0 |        0
420.93/421.00	c  420s |      24 |  4086990 |  3726462 |     1037   9145 |        0 |        0
422.92/423.01	c  423s |      24 |  4105622 |  3743062 |     1037   9176 |        0 |        0
424.92/425.02	c  425s |      24 |  4124377 |  3759862 |     1037   9207 |        0 |        0
426.93/427.03	c  427s |      24 |  4142892 |  3776162 |     1037   9237 |        0 |        0
428.93/429.04	c  429s |      24 |  4160946 |  3792862 |     1037   9268 |        0 |        0
430.92/431.04	c  431s |      24 |  4179136 |  3809662 |     1037   9300 |        0 |        0
432.92/433.05	c  433s |      24 |  4197083 |  3826362 |     1037   9331 |        0 |        0
434.92/435.05	c  435s |      24 |  4214914 |  3842762 |     1037   9362 |        0 |        0
436.92/437.06	c  437s |      24 |  4233516 |  3859162 |     1037   9392 |        0 |        0
438.93/439.06	c  439s |      24 |  4251601 |  3875762 |     1037   9423 |        0 |        0
440.92/441.07	c  441s |      24 |  4269902 |  3892462 |     1037   9454 |        0 |        0
442.92/443.07	c  443s |      24 |  4288352 |  3909262 |     1037   9486 |        0 |        0
444.92/445.08	c  445s |      24 |  4307024 |  3925862 |     1037   9517 |        0 |        0
446.92/447.09	c  447s |      24 |  4324984 |  3942562 |     1037   9548 |        0 |        0
448.92/449.10	c  449s |      24 |  4344022 |  3958962 |     1037   9579 |        0 |        0
451.02/451.11	c  451s |      24 |  4362575 |  3975362 |     1037   9609 |        0 |        0
453.02/453.11	c  453s |      24 |  4380666 |  3991762 |     1037   9640 |        0 |        0
455.01/455.12	c  455s |      24 |  4398901 |  4008462 |     1037   9671 |        0 |        0
457.01/457.13	c  457s |      24 |  4417189 |  4025462 |     1037   9703 |        0 |        0
459.01/459.13	c  459s |      24 |  4435696 |  4042162 |     1037   9734 |        0 |        0
461.01/461.14	c  461s |      24 |  4454144 |  4058962 |     1037   9766 |        0 |        0
463.02/463.15	c  463s |      24 |  4472794 |  4075662 |     1037   9797 |        0 |        0
465.01/465.15	c  465s |      24 |  4491328 |  4092362 |     1037   9828 |        0 |        0
467.01/467.16	c  467s |      24 |  4509269 |  4109162 |     1037   9859 |        0 |        0
469.01/469.17	c  469s |      24 |  4527416 |  4125962 |     1037   9891 |        0 |        0
471.01/471.18	c  471s |      24 |  4545846 |  4142562 |     1037   9922 |        0 |        0
473.03/473.18	c  473s |      24 |  4564172 |  4158962 |     1037   9952 |        0 |        0
475.02/475.19	c  475s |      24 |  4582829 |  4175762 |     1037   9983 |        0 |        0
477.02/477.19	c  477s |      24 |  4601551 |  4192562 |     1037  10015 |        0 |        0
479.02/479.19	c  479s |      24 |  4620149 |  4208962 |     1037  10045 |        0 |        0
481.12/481.20	c  481s |      24 |  4638318 |  4225462 |     1037  10076 |        0 |        0
483.11/483.20	c  483s |      24 |  4656836 |  4242162 |     1037  10107 |        0 |        0
485.02/485.20	c  485s |      24 |  4675298 |  4258762 |     1037  10138 |        0 |        0
487.11/487.20	c  487s |      24 |  4693034 |  4275362 |     1037  10169 |        0 |        0
489.11/489.21	c  489s |      24 |  4711364 |  4291862 |     1037  10200 |        0 |        0
491.11/491.22	c  491s |      24 |  4730048 |  4308762 |     1037  10232 |        0 |        0
493.11/493.22	c  493s |      24 |  4748075 |  4325362 |     1037  10262 |        0 |        0
495.11/495.23	c  495s |      24 |  4766154 |  4342062 |     1037  10294 |        0 |        0
497.12/497.24	c  497s |      24 |  4784420 |  4358862 |     1037  10325 |        0 |        0
499.12/499.25	c  499s |      24 |  4803246 |  4375762 |     1037  10357 |        0 |        0
501.11/501.26	c  501s |      24 |  4822377 |  4392662 |     1037  10388 |        0 |        0
503.11/503.27	c  503s |      24 |  4841967 |  4409662 |     1037  10420 |        0 |        0
505.11/505.27	c  505s |      24 |  4860720 |  4426462 |     1037  10451 |        0 |        0
507.12/507.28	c  507s |      24 |  4880469 |  4443362 |     1037  10483 |        0 |        0
509.11/509.28	c  509s |      24 |  4899302 |  4460162 |     1037  10514 |        0 |        0
511.11/511.29	c  511s |      24 |  4919221 |  4477062 |     1037  10546 |        0 |        0
513.21/513.30	c  513s |      24 |  4938523 |  4493962 |     1037  10577 |        0 |        0
515.21/515.31	c  515s |      24 |  4958199 |  4511262 |     1037  10610 |        0 |        0
517.21/517.32	c  517s |      24 |  4977671 |  4528062 |     1037  10641 |        0 |        0
519.22/519.32	c  519s |      24 |  4997431 |  4544862 |     1037  10673 |        0 |        0
521.21/521.32	c  521s |      24 |  5015052 |  4561362 |     1037  10703 |        0 |        0
523.21/523.32	c  523s |      24 |  5032705 |  4577962 |     1037  10734 |        0 |        0
525.20/525.33	c  525s |      24 |  5051224 |  4594762 |     1037  10766 |        0 |        0
527.21/527.33	c  527s |      24 |  5069757 |  4611462 |     1037  10797 |        0 |        0
529.21/529.34	c  529s |      24 |  5088435 |  4628362 |     1037  10828 |        0 |        0
531.22/531.34	c  531s |      24 |  5107580 |  4645462 |     1037  10860 |        0 |        0
533.21/533.35	c  533s |      24 |  5126085 |  4662162 |     1037  10891 |        0 |        0
535.21/535.36	c  535s |      24 |  5143786 |  4678262 |     1037  10921 |        0 |        0
537.21/537.36	c  537s |      24 |  5161393 |  4694562 |     1037  10952 |        0 |        0
539.20/539.37	c  539s |      24 |  5179284 |  4711162 |     1037  10982 |        0 |        0
541.21/541.38	c  541s |      24 |  5197003 |  4727762 |     1037  11013 |        0 |        0
543.20/543.39	c  543s |      24 |  5215152 |  4744562 |     1037  11045 |        0 |        0
545.30/545.41	c  545s |      24 |  5233844 |  4761262 |     1037  11076 |        0 |        0
547.30/547.41	c  547s |      24 |  5253926 |  4777762 |     1037  11106 |        0 |        0
549.30/549.41	c  549s |      24 |  5272211 |  4794162 |     1037  11137 |        0 |        0
551.30/551.42	c  551s |      24 |  5290821 |  4810962 |     1037  11168 |        0 |        0
553.31/553.42	c  553s |      24 |  5309971 |  4828162 |     1037  11201 |        0 |        0
555.30/555.43	c  555s |      24 |  5327955 |  4845162 |     1037  11232 |        0 |        0
557.30/557.44	c  557s |      24 |  5346261 |  4861562 |     1037  11263 |        0 |        0
559.30/559.45	c  559s |      24 |  5364340 |  4878262 |     1037  11294 |        0 |        0
561.30/561.45	c  561s |      24 |  5382420 |  4895062 |     1037  11325 |        0 |        0
563.30/563.46	c  563s |      24 |  5400998 |  4911762 |     1037  11357 |        0 |        0
565.31/565.47	c  565s |      24 |  5419806 |  4928362 |     1037  11388 |        0 |        0
567.30/567.47	c  567s |      24 |  5437646 |  4944862 |     1037  11419 |        0 |        0
569.31/569.47	c  569s |      24 |  5456165 |  4961362 |     1037  11450 |        0 |        0
571.31/571.48	c  571s |      24 |  5474865 |  4977862 |     1037  11480 |        0 |        0
573.31/573.48	c  573s |      24 |  5493531 |  4994762 |     1037  11512 |        0 |        0
575.31/575.49	c  575s |      24 |  5512224 |  5011662 |     1037  11544 |        0 |        0
577.30/577.49	c  577s |      24 |  5530339 |  5028062 |     1037  11574 |        0 |        0
579.40/579.50	c  579s |      24 |  5548648 |  5044162 |     1141  11602 |        0 |        0
581.40/581.50	c  581s |      24 |  5566224 |  5060362 |     1141  11629 |        0 |        0
581.91/582.08	c  582s |      25 |  5571397 |  5065098 |     1141  11637 |        0 |        0
583.90/584.09	c  584s |      25 |  5588860 |  5081098 |     1141  11664 |        0 |        0
586.00/586.10	c  586s |      25 |  5605971 |  5097198 |     1141  11692 |        0 |        0
588.00/588.10	c  588s |      25 |  5624035 |  5113398 |     1141  11719 |        0 |        0
590.00/590.11	c  590s |      25 |  5642488 |  5129598 |     1141  11747 |        0 |        0
592.00/592.12	c  592s |      25 |  5659718 |  5145898 |     1141  11775 |        0 |        0
594.01/594.12	c  594s |      25 |  5676984 |  5161798 |     1141  11802 |        0 |        0
596.00/596.13	c  596s |      25 |  5693913 |  5177698 |     1141  11829 |        0 |        0
598.00/598.13	c  598s |      25 |  5711541 |  5193898 |     1141  11856 |        0 |        0
600.00/600.13	c  600s |      25 |  5729593 |  5210198 |     1141  11884 |        0 |        0
601.99/602.13	c  602s |      25 |  5747229 |  5226198 |     1141  11911 |        0 |        0
603.99/604.14	c  604s |      25 |  5765614 |  5242398 |     1141  11938 |        0 |        0
606.00/606.15	c  606s |      25 |  5783550 |  5258498 |     1141  11966 |        0 |        0
607.99/608.15	c  608s |      25 |  5801170 |  5274498 |     1141  11993 |        0 |        0
609.99/610.16	c  610s |      25 |  5819105 |  5290698 |     1141  12021 |        0 |        0
612.00/612.16	c  612s |      25 |  5836897 |  5306798 |     1141  12048 |        0 |        0
614.00/614.16	c  614s |      25 |  5854457 |  5322798 |     1141  12075 |        0 |        0
616.00/616.17	c  616s |      25 |  5872139 |  5338998 |     1141  12103 |        0 |        0
618.00/618.18	c  618s |      25 |  5890373 |  5355298 |     1141  12130 |        0 |        0
620.00/620.19	c  620s |      25 |  5908320 |  5371498 |     1141  12158 |        0 |        0
622.00/622.19	c  622s |      25 |  5925873 |  5387798 |     1141  12186 |        0 |        0
624.10/624.20	c  624s |      25 |  5943564 |  5403798 |     1141  12213 |        0 |        0
626.09/626.21	c  626s |      25 |  5961326 |  5420098 |     1141  12241 |        0 |        0
628.10/628.21	c  628s |      25 |  5978856 |  5436198 |     1141  12268 |        0 |        0
630.09/630.21	c  630s |      25 |  5996768 |  5452898 |     1141  12296 |        0 |        0
632.09/632.22	c  632s |      25 |  6014872 |  5469498 |     1141  12324 |        0 |        0
634.09/634.22	c  634s |      25 |  6033108 |  5485898 |     1141  12352 |        0 |        0
636.09/636.23	c  636s |      25 |  6051540 |  5502298 |     1141  12380 |        0 |        0
638.10/638.24	c  638s |      25 |  6069805 |  5518698 |     1141  12408 |        0 |        0
640.10/640.24	c  640s |      25 |  6088498 |  5534998 |     1141  12436 |        0 |        0
642.10/642.25	c  642s |      25 |  6106519 |  5551398 |     1141  12464 |        0 |        0
644.10/644.25	c  644s |      25 |  6125428 |  5567598 |     1141  12492 |        0 |        0
646.09/646.26	c  646s |      25 |  6144185 |  5583898 |     1141  12519 |        0 |        0
648.09/648.27	c  648s |      25 |  6162036 |  5599698 |     1141  12546 |        0 |        0
650.10/650.27	c  650s |      25 |  6179477 |  5615598 |     1141  12573 |        0 |        0
652.09/652.28	c  652s |      25 |  6196901 |  5630998 |     1141  12599 |        0 |        0
654.09/654.28	c  654s |      25 |  6214400 |  5646698 |     1141  12626 |        0 |        0
656.09/656.29	c  656s |      25 |  6231905 |  5662398 |     1141  12652 |        0 |        0
658.19/658.30	c  658s |      25 |  6249372 |  5678198 |     1141  12679 |        0 |        0
660.19/660.31	c  660s |      25 |  6266906 |  5694098 |     1141  12706 |        0 |        0
662.20/662.31	c  662s |      25 |  6284253 |  5710098 |     1141  12734 |        0 |        0
664.19/664.31	c  664s |      25 |  6302468 |  5726298 |     1141  12761 |        0 |        0
666.19/666.32	c  666s |      25 |  6320084 |  5742498 |     1141  12789 |        0 |        0
668.19/668.32	c  668s |      25 |  6338085 |  5758898 |     1141  12816 |        0 |        0
670.18/670.32	c  670s |      25 |  6355863 |  5775198 |     1141  12844 |        0 |        0
672.18/672.33	c  672s |      25 |  6373482 |  5791498 |     1141  12872 |        0 |        0
674.19/674.34	c  674s |      25 |  6391423 |  5807998 |     1141  12900 |        0 |        0
676.18/676.35	c  676s |      25 |  6409531 |  5824298 |     1141  12928 |        0 |        0
678.18/678.36	c  678s |      25 |  6428092 |  5840698 |     1141  12956 |        0 |        0
680.19/680.37	c  680s |      25 |  6446803 |  5857298 |     1141  12984 |        0 |        0
682.19/682.37	c  682s |      25 |  6465158 |  5873798 |     1141  13012 |        0 |        0
684.20/684.38	c  684s |      25 |  6482822 |  5890098 |     1141  13040 |        0 |        0
686.19/686.39	c  686s |      25 |  6500472 |  5906298 |     1141  13068 |        0 |        0
688.19/688.39	c  688s |      25 |  6517920 |  5922498 |     1141  13095 |        0 |        0
690.29/690.40	c  690s |      25 |  6535875 |  5938498 |     1141  13122 |        0 |        0
692.28/692.41	c  692s |      25 |  6553460 |  5954498 |     1141  13149 |        0 |        0
694.28/694.41	c  694s |      25 |  6571172 |  5970498 |     1141  13177 |        0 |        0
696.29/696.42	c  696s |      25 |  6588108 |  5986398 |     1141  13204 |        0 |        0
698.28/698.42	c  698s |      25 |  6604874 |  6002298 |     1141  13231 |        0 |        0
700.28/700.42	c  700s |      25 |  6622578 |  6018598 |     1141  13258 |        0 |        0
702.28/702.43	c  702s |      25 |  6639895 |  6034798 |     1141  13286 |        0 |        0
704.28/704.43	c  704s |      25 |  6657482 |  6051198 |     1141  13314 |        0 |        0
706.28/706.44	c  706s |      25 |  6675127 |  6067598 |     1141  13342 |        0 |        0
708.29/708.44	c  708s |      25 |  6692499 |  6083798 |     1141  13369 |        0 |        0
710.28/710.45	c  710s |      25 |  6710235 |  6100098 |     1141  13397 |        0 |        0
712.28/712.46	c  712s |      25 |  6727760 |  6116398 |     1141  13425 |        0 |        0
714.28/714.46	c  714s |      25 |  6745650 |  6132598 |     1141  13452 |        0 |        0
716.28/716.47	c  716s |      25 |  6763298 |  6148898 |     1141  13480 |        0 |        0
718.29/718.47	c  718s |      25 |  6780865 |  6165398 |     1141  13508 |        0 |        0
720.28/720.48	c  720s |      25 |  6799190 |  6181698 |     1141  13536 |        0 |        0
722.28/722.49	c  722s |      25 |  6817423 |  6198298 |     1141  13564 |        0 |        0
724.37/724.50	c  724s |      25 |  6835417 |  6214498 |     1141  13592 |        0 |        0
726.37/726.50	c  726s |      25 |  6853177 |  6230598 |     1141  13619 |        0 |        0
728.37/728.51	c  728s |      25 |  6870892 |  6246898 |     1141  13647 |        0 |        0
730.39/730.52	c  730s |      25 |  6888843 |  6263398 |     1141  13675 |        0 |        0
732.38/732.52	c  732s |      25 |  6907442 |  6280098 |     1141  13703 |        0 |        0
734.38/734.53	c  734s |      25 |  6925603 |  6296298 |     1141  13731 |        0 |        0
736.38/736.53	c  736s |      25 |  6943945 |  6312998 |     1141  13759 |        0 |        0
738.38/738.53	c  738s |      25 |  6962128 |  6329598 |     1141  13788 |        0 |        0
740.38/740.55	c  740s |      25 |  6979991 |  6345998 |     1141  13816 |        0 |        0
742.38/742.56	c  742s |      25 |  6998085 |  6362598 |     1141  13844 |        0 |        0
744.38/744.56	c  744s |      25 |  7015618 |  6378398 |     1141  13871 |        0 |        0
746.38/746.57	c  746s |      25 |  7033377 |  6394498 |     1141  13898 |        0 |        0
748.37/748.57	c  748s |      25 |  7050452 |  6410298 |     1141  13925 |        0 |        0
750.37/750.58	c  750s |      25 |  7068525 |  6426398 |     1141  13952 |        0 |        0
752.38/752.58	c  752s |      25 |  7086765 |  6442298 |     1141  13979 |        0 |        0
754.37/754.58	c  754s |      25 |  7104367 |  6458298 |     1141  14006 |        0 |        0
756.37/756.59	c  756s |      25 |  7122157 |  6474198 |     1141  14033 |        0 |        0
758.47/758.60	c  758s |      25 |  7139834 |  6490298 |     1141  14061 |        0 |        0
760.47/760.61	c  760s |      25 |  7157427 |  6506598 |     1141  14089 |        0 |        0
762.47/762.62	c  762s |      25 |  7175705 |  6522598 |     1141  14116 |        0 |        0
764.48/764.62	c  764s |      25 |  7192856 |  6538798 |     1141  14143 |        0 |        0
766.47/766.63	c  766s |      25 |  7211028 |  6555098 |     1141  14171 |        0 |        0
768.47/768.63	c  768s |      25 |  7229473 |  6571498 |     1141  14199 |        0 |        0
770.47/770.64	c  770s |      25 |  7247590 |  6587798 |     1141  14227 |        0 |        0
772.47/772.64	c  772s |      25 |  7265955 |  6604398 |     1141  14255 |        0 |        0
774.47/774.65	c  774s |      25 |  7284099 |  6620898 |     1141  14283 |        0 |        0
776.48/776.66	c  776s |      25 |  7301769 |  6637198 |     1141  14311 |        0 |        0
778.47/778.66	c  778s |      25 |  7320382 |  6653398 |     1141  14339 |        0 |        0
780.47/780.66	c  780s |      25 |  7338413 |  6669798 |     1141  14367 |        0 |        0
782.47/782.67	c  782s |      25 |  7356384 |  6686398 |     1141  14395 |        0 |        0
784.47/784.67	c  784s |      25 |  7374502 |  6703098 |     1141  14423 |        0 |        0
786.47/786.68	c  786s |      25 |  7392296 |  6719198 |     1141  14451 |        0 |        0
788.47/788.68	c  788s |      25 |  7409774 |  6735598 |     1141  14479 |        0 |        0
790.47/790.69	c  790s |      25 |  7427570 |  6752098 |     1141  14507 |        0 |        0
792.56/792.70	c  792s |      25 |  7445424 |  6768698 |     1141  14535 |        0 |        0
794.56/794.71	c  794s |      25 |  7463663 |  6785298 |     1141  14563 |        0 |        0
796.56/796.72	c  796s |      25 |  7482221 |  6801798 |     1141  14592 |        0 |        0
798.57/798.72	c  798s |      25 |  7500581 |  6817698 |     1141  14619 |        0 |        0
800.56/800.73	c  800s |      25 |  7519006 |  6833998 |     1141  14646 |        0 |        0
802.57/802.74	c  802s |      25 |  7538283 |  6850598 |     1141  14675 |        0 |        0
804.57/804.74	c  804s |      25 |  7557277 |  6867298 |     1141  14703 |        0 |        0
806.57/806.75	c  806s |      25 |  7574975 |  6883298 |     1141  14730 |        0 |        0
808.57/808.75	c  808s |      25 |  7592194 |  6898698 |     1141  14757 |        0 |        0
810.57/810.76	c  810s |      25 |  7609539 |  6914198 |     1141  14783 |        0 |        0
812.56/812.76	c  812s |      25 |  7626682 |  6930098 |     1141  14810 |        0 |        0
814.56/814.77	c  814s |      25 |  7645031 |  6946398 |     1141  14838 |        0 |        0
816.56/816.77	c  816s |      25 |  7662944 |  6962598 |     1141  14865 |        0 |        0
818.56/818.78	c  818s |      25 |  7681296 |  6978798 |     1141  14893 |        0 |        0
820.57/820.78	c  820s |      25 |  7699905 |  6995098 |     1141  14920 |        0 |        0
822.56/822.79	c  822s |      25 |  7718397 |  7011198 |     1141  14948 |        0 |        0
824.56/824.79	c  824s |      25 |  7736374 |  7027198 |     1141  14975 |        0 |        0
826.66/826.80	c  826s |      25 |  7754187 |  7043098 |     1141  15002 |        0 |        0
828.66/828.81	c  828s |      25 |  7772194 |  7059198 |     1141  15029 |        0 |        0
830.66/830.82	c  830s |      25 |  7789783 |  7075298 |     1141  15057 |        0 |        0
832.67/832.83	c  832s |      25 |  7807649 |  7091198 |     1141  15084 |        0 |        0
834.67/834.84	c  834s |      25 |  7825579 |  7107498 |     1141  15111 |        0 |        0
836.67/836.85	c  836s |      25 |  7843283 |  7123098 |     1141  15138 |        0 |        0
838.67/838.86	c  838s |      25 |  7861148 |  7139398 |     1141  15165 |        0 |        0
840.66/840.87	c  840s |      25 |  7879991 |  7155798 |     1141  15193 |        0 |        0
842.66/842.87	c  842s |      25 |  7898261 |  7171998 |     1141  15221 |        0 |        0
844.67/844.88	c  844s |      25 |  7917075 |  7188498 |     1141  15249 |        0 |        0
846.66/846.88	c  846s |      25 |  7935172 |  7204498 |     1141  15276 |        0 |        0
848.66/848.90	c  848s |      25 |  7952792 |  7220698 |     1141  15304 |        0 |        0
850.76/850.91	c  850s |      25 |  7970112 |  7236698 |     1141  15331 |        0 |        0
852.76/852.92	c  852s |      25 |  7987742 |  7252798 |     1141  15358 |        0 |        0
854.76/854.92	c  854s |      25 |  8006340 |  7268698 |     1141  15385 |        0 |        0
856.76/856.92	c  856s |      25 |  8024136 |  7284598 |     1141  15413 |        0 |        0
858.76/858.93	c  858s |      25 |  8042740 |  7300898 |     1141  15440 |        0 |        0
860.76/860.93	c  860s |      25 |  8060704 |  7317498 |     1141  15469 |        0 |        0
862.76/862.94	c  862s |      25 |  8078854 |  7333798 |     1141  15496 |        0 |        0
864.75/864.95	c  864s |      25 |  8096784 |  7349698 |     1141  15523 |        0 |        0
866.76/866.95	c  866s |      25 |  8114230 |  7365698 |     1141  15551 |        0 |        0
868.76/868.95	c  868s |      25 |  8131951 |  7381998 |     1141  15578 |        0 |        0
870.75/870.96	c  870s |      25 |  8150357 |  7398598 |     1141  15607 |        0 |        0
872.75/872.97	c  872s |      25 |  8168743 |  7415198 |     1141  15635 |        0 |        0
874.75/874.97	c  874s |      25 |  8186580 |  7431698 |     1141  15663 |        0 |        0
876.75/876.97	c  876s |      25 |  8204513 |  7447798 |     1141  15691 |        0 |        0
878.76/878.98	c  878s |      25 |  8222600 |  7464098 |     1141  15719 |        0 |        0
880.76/880.98	c  880s |      25 |  8241256 |  7480498 |     1141  15747 |        0 |        0
882.75/882.99	c  882s |      25 |  8260260 |  7497098 |     1141  15775 |        0 |        0
884.85/885.00	c  884s |      25 |  8278462 |  7513298 |     1141  15802 |        0 |        0
886.85/887.00	c  886s |      25 |  8296323 |  7529498 |     1141  15830 |        0 |        0
888.85/889.01	c  888s |      25 |  8313885 |  7545898 |     1256  15857 |        0 |        0
890.86/891.01	c  890s |      25 |  8331895 |  7561998 |     1256  15882 |        0 |        0
892.85/893.01	c  892s |      25 |  8350176 |  7577998 |     1256  15907 |        0 |        0
894.85/895.02	c  895s |      25 |  8368173 |  7594698 |     1256  15933 |        0 |        0
895.15/895.38	c  895s |      26 |  8371600 |  7597752 |     1256  15938 |        0 |        0
897.14/897.39	c  897s |      26 |  8389258 |  7613652 |     1256  15962 |        0 |        0
899.14/899.39	c  899s |      26 |  8406568 |  7629352 |     1256  15987 |        0 |        0
901.24/901.40	c  901s |      26 |  8423542 |  7644752 |     1256  16011 |        0 |        0
903.24/903.41	c  903s |      26 |  8440133 |  7660152 |     1256  16034 |        0 |        0
905.25/905.41	c  905s |      26 |  8457251 |  7675752 |     1256  16059 |        0 |        0
907.25/907.42	c  907s |      26 |  8474717 |  7691652 |     1256  16083 |        0 |        0
909.25/909.43	c  909s |      26 |  8492162 |  7707652 |     1256  16108 |        0 |        0
911.25/911.43	c  911s |      26 |  8509021 |  7723352 |     1256  16132 |        0 |        0
913.24/913.44	c  913s |      26 |  8525679 |  7739252 |     1256  16157 |        0 |        0
915.24/915.44	c  915s |      26 |  8542813 |  7755152 |     1256  16181 |        0 |        0
917.25/917.45	c  917s |      26 |  8559986 |  7771152 |     1256  16206 |        0 |        0
919.24/919.46	c  919s |      26 |  8577077 |  7786952 |     1256  16231 |        0 |        0
921.24/921.46	c  921s |      26 |  8594975 |  7802752 |     1256  16255 |        0 |        0
923.24/923.47	c  923s |      26 |  8612722 |  7818352 |     1256  16279 |        0 |        0
925.24/925.48	c  925s |      26 |  8630266 |  7833952 |     1256  16303 |        0 |        0
927.24/927.49	c  927s |      26 |  8647843 |  7849752 |     1256  16328 |        0 |        0
929.24/929.50	c  929s |      26 |  8665306 |  7865252 |     1256  16352 |        0 |        0
931.33/931.51	c  931s |      26 |  8682585 |  7880952 |     1256  16376 |        0 |        0
933.33/933.52	c  933s |      26 |  8699916 |  7896852 |     1256  16401 |        0 |        0
935.33/935.53	c  935s |      26 |  8717181 |  7912652 |     1256  16425 |        0 |        0
937.33/937.54	c  937s |      26 |  8734709 |  7928652 |     1256  16450 |        0 |        0
939.34/939.54	c  939s |      26 |  8751422 |  7944352 |     1256  16474 |        0 |        0
941.33/941.54	c  941s |      26 |  8768438 |  7959952 |     1256  16498 |        0 |        0
943.32/943.54	c  943s |      26 |  8785342 |  7975452 |     1256  16522 |        0 |        0
945.32/945.55	c  945s |      26 |  8802851 |  7991152 |     1256  16546 |        0 |        0
947.33/947.56	c  947s |      26 |  8819882 |  8006852 |     1256  16571 |        0 |        0
949.33/949.57	c  949s |      26 |  8837568 |  8022952 |     1256  16596 |        0 |        0
951.34/951.57	c  951s |      26 |  8854946 |  8038852 |     1256  16620 |        0 |        0
953.33/953.58	c  953s |      26 |  8872547 |  8054952 |     1256  16645 |        0 |        0
955.33/955.59	c  955s |      26 |  8891759 |  8071252 |     1256  16671 |        0 |        0
957.33/957.59	c  957s |      26 |  8909335 |  8087052 |     1256  16695 |        0 |        0
959.43/959.60	c  959s |      26 |  8927187 |  8103152 |     1256  16720 |        0 |        0
961.43/961.60	c  961s |      26 |  8944408 |  8118952 |     1256  16744 |        0 |        0
963.32/963.60	c  963s |      26 |  8961932 |  8134752 |     1256  16769 |        0 |        0
965.42/965.61	c  965s |      26 |  8979335 |  8151052 |     1256  16794 |        0 |        0
967.42/967.62	c  967s |      26 |  8997070 |  8167452 |     1256  16820 |        0 |        0
969.42/969.62	c  969s |      26 |  9014380 |  8183552 |     1256  16845 |        0 |        0
971.42/971.63	c  971s |      26 |  9032258 |  8199652 |     1256  16869 |        0 |        0
973.42/973.63	c  973s |      26 |  9049317 |  8215352 |     1256  16894 |        0 |        0
975.41/975.63	c  975s |      26 |  9066353 |  8231152 |     1256  16918 |        0 |        0
977.41/977.64	c  977s |      26 |  9084130 |  8246752 |     1256  16942 |        0 |        0
979.41/979.65	c  979s |      26 |  9101743 |  8262452 |     1256  16967 |        0 |        0
981.41/981.67	c  981s |      26 |  9118619 |  8278352 |     1256  16991 |        0 |        0
983.41/983.68	c  983s |      26 |  9136826 |  8294252 |     1256  17016 |        0 |        0
985.42/985.69	c  985s |      26 |  9155224 |  8310652 |     1256  17041 |        0 |        0
987.41/987.69	c  987s |      26 |  9172802 |  8326452 |     1256  17066 |        0 |        0
989.51/989.70	c  989s |      26 |  9190268 |  8342352 |     1256  17090 |        0 |        0
991.51/991.70	c  991s |      26 |  9207834 |  8358152 |     1256  17115 |        0 |        0
993.51/993.71	c  993s |      26 |  9225840 |  8374352 |     1256  17140 |        0 |        0
995.50/995.71	c  995s |      26 |  9244208 |  8390452 |     1256  17165 |        0 |        0
997.51/997.72	c  997s |      26 |  9262952 |  8406252 |     1256  17189 |        0 |        0
999.50/999.72	c  999s |      26 |  9280722 |  8421852 |     1256  17214 |        0 |        0
1001.50/1001.73	c 1001s |      26 |  9298938 |  8438052 |     1256  17239 |        0 |        0
1003.51/1003.74	c 1003s |      26 |  9317612 |  8454052 |     1256  17263 |        0 |        0
1005.51/1005.74	c 1005s |      26 |  9335487 |  8470052 |     1256  17288 |        0 |        0
1007.51/1007.76	c 1007s |      26 |  9353979 |  8486352 |     1256  17314 |        0 |        0
1009.51/1009.77	c 1009s |      26 |  9371887 |  8502152 |     1256  17338 |        0 |        0
1011.51/1011.77	c 1011s |      26 |  9389836 |  8517752 |     1256  17362 |        0 |        0
1013.50/1013.77	c 1013s |      26 |  9407203 |  8533552 |     1256  17387 |        0 |        0
1015.50/1015.78	c 1015s |      26 |  9425691 |  8549552 |     1256  17412 |        0 |        0
1017.50/1017.78	c 1017s |      26 |  9443120 |  8565552 |     1256  17436 |        0 |        0
1019.51/1019.79	c 1019s |      26 |  9461926 |  8581752 |     1256  17462 |        0 |        0
1021.50/1021.80	c 1021s |      26 |  9480995 |  8597452 |     1256  17486 |        0 |        0
1023.59/1023.81	c 1023s |      26 |  9498714 |  8613552 |     1256  17511 |        0 |        0
1025.59/1025.81	c 1025s |      26 |  9516766 |  8629752 |     1256  17536 |        0 |        0
1027.59/1027.82	c 1027s |      26 |  9535151 |  8646152 |     1256  17561 |        0 |        0
1029.59/1029.83	c 1029s |      26 |  9553299 |  8662352 |     1256  17586 |        0 |        0
1031.61/1031.83	c 1031s |      26 |  9571750 |  8678652 |     1256  17612 |        0 |        0
1033.60/1033.83	c 1033s |      26 |  9590267 |  8695052 |     1256  17637 |        0 |        0
1035.60/1035.85	c 1035s |      26 |  9608499 |  8711352 |     1256  17662 |        0 |        0
1037.60/1037.86	c 1037s |      26 |  9627276 |  8727952 |     1256  17688 |        0 |        0
1039.59/1039.86	c 1039s |      26 |  9645304 |  8744352 |     1256  17713 |        0 |        0
1041.60/1041.87	c 1041s |      26 |  9662957 |  8760552 |     1256  17739 |        0 |        0
1043.59/1043.87	c 1043s |      26 |  9680944 |  8777152 |     1256  17764 |        0 |        0
1045.58/1045.88	c 1045s |      26 |  9699022 |  8793452 |     1256  17790 |        0 |        0
1047.58/1047.89	c 1047s |      26 |  9718328 |  8809952 |     1256  17815 |        0 |        0
1049.68/1049.90	c 1049s |      26 |  9736349 |  8826452 |     1256  17841 |        0 |        0
1051.68/1051.90	c 1051s |      26 |  9755689 |  8842952 |     1256  17866 |        0 |        0
1053.68/1053.90	c 1053s |      26 |  9773706 |  8859352 |     1256  17892 |        0 |        0
1055.68/1055.91	c 1055s |      26 |  9791851 |  8875652 |     1256  17917 |        0 |        0
1057.68/1057.91	c 1057s |      26 |  9809888 |  8892052 |     1256  17942 |        0 |        0
1059.67/1059.92	c 1059s |      26 |  9828561 |  8908052 |     1256  17967 |        0 |        0
1061.68/1061.92	c 1061s |      26 |  9846745 |  8923952 |     1256  17992 |        0 |        0
1063.68/1063.92	c 1063s |      26 |  9865640 |  8940652 |     1256  18018 |        0 |        0
1065.69/1065.93	c 1065s |      26 |  9885740 |  8957752 |     1256  18044 |        0 |        0
1067.68/1067.94	c 1067s |      26 |  9905139 |  8974152 |     1256  18070 |        0 |        0
1069.68/1069.94	c 1069s |      26 |  9924632 |  8990752 |     1256  18096 |        0 |        0
1071.68/1071.95	c 1071s |      26 |  9942466 |  9006752 |     1256  18120 |        0 |        0
1073.67/1073.96	c 1073s |      26 |  9960272 |  9022752 |     1256  18145 |        0 |        0
1075.68/1075.96	c 1075s |      26 |  9979766 |  9038952 |     1256  18170 |        0 |        0
1077.67/1077.97	c 1077s |      26 |  9998476 |  9055152 |     1256  18195 |        0 |        0
1079.67/1079.98	c 1079s |      26 | 10016896 |  9071552 |     1256  18220 |        0 |        0
1081.67/1081.99	c 1081s |      26 | 10035172 |  9087752 |     1256  18245 |        0 |        0
1083.66/1083.99	c 1083s |      26 | 10053070 |  9104252 |     1256  18271 |        0 |        0
1085.76/1086.00	c 1085s |      26 | 10070994 |  9120452 |     1256  18296 |        0 |        0
1087.77/1088.01	c 1087s |      26 | 10089749 |  9136952 |     1256  18322 |        0 |        0
1089.76/1090.02	c 1090s |      26 | 10108279 |  9153352 |     1256  18347 |        0 |        0
1091.76/1092.02	c 1092s |      26 | 10126172 |  9169552 |     1256  18372 |        0 |        0
1093.76/1094.02	c 1094s |      26 | 10144796 |  9185952 |     1256  18398 |        0 |        0
1095.76/1096.03	c 1096s |      26 | 10163599 |  9202652 |     1256  18424 |        0 |        0
1097.76/1098.05	c 1098s |      26 | 10181096 |  9218952 |     1256  18449 |        0 |        0
1099.77/1100.05	c 1100s |      26 | 10198636 |  9235252 |     1256  18474 |        0 |        0
1101.76/1102.05	c 1102s |      26 | 10216578 |  9251652 |     1256  18500 |        0 |        0
1103.75/1104.06	c 1104s |      26 | 10234814 |  9268052 |     1256  18525 |        0 |        0
1105.75/1106.06	c 1106s |      26 | 10253591 |  9284552 |     1256  18551 |        0 |        0
1107.75/1108.07	c 1108s |      26 | 10271465 |  9300652 |     1256  18576 |        0 |        0
1109.76/1110.08	c 1110s |      26 | 10289728 |  9317152 |     1256  18601 |        0 |        0
1111.75/1112.08	c 1112s |      26 | 10307912 |  9333552 |     1256  18627 |        0 |        0
1113.75/1114.09	c 1114s |      26 | 10326482 |  9349952 |     1256  18652 |        0 |        0
1115.85/1116.10	c 1116s |      26 | 10345416 |  9366452 |     1256  18678 |        0 |        0
1117.85/1118.11	c 1118s |      26 | 10363585 |  9382952 |     1256  18703 |        0 |        0
1119.85/1120.11	c 1120s |      26 | 10383002 |  9399752 |     1256  18729 |        0 |        0
1121.85/1122.11	c 1122s |      26 | 10402517 |  9416952 |     1256  18756 |        0 |        0
1123.84/1124.11	c 1124s |      26 | 10421742 |  9433652 |     1256  18782 |        0 |        0
1125.84/1126.12	c 1126s |      26 | 10440226 |  9449752 |     1256  18807 |        0 |        0
1127.85/1128.13	c 1128s |      26 | 10458532 |  9466052 |     1256  18832 |        0 |        0
1129.85/1130.13	c 1130s |      26 | 10477018 |  9482652 |     1256  18858 |        0 |        0
1131.85/1132.14	c 1132s |      26 | 10495829 |  9499252 |     1256  18884 |        0 |        0
1133.85/1134.15	c 1134s |      26 | 10514552 |  9516252 |     1256  18910 |        0 |        0
1135.84/1136.15	c 1136s |      26 | 10532847 |  9533052 |     1256  18936 |        0 |        0
1137.84/1138.15	c 1138s |      26 | 10550704 |  9549652 |     1256  18962 |        0 |        0
1139.84/1140.15	c 1140s |      26 | 10568938 |  9566152 |     1256  18988 |        0 |        0
1141.84/1142.16	c 1142s |      26 | 10587260 |  9582652 |     1256  19013 |        0 |        0
1143.84/1144.17	c 1144s |      26 | 10605933 |  9598852 |     1256  19038 |        0 |        0
1145.83/1146.18	c 1146s |      26 | 10624785 |  9615252 |     1256  19064 |        0 |        0
1147.83/1148.19	c 1148s |      26 | 10643353 |  9631152 |     1256  19088 |        0 |        0
1149.84/1150.19	c 1150s |      26 | 10661762 |  9647452 |     1256  19113 |        0 |        0
1151.94/1152.20	c 1152s |      26 | 10680141 |  9663952 |     1256  19139 |        0 |        0
1153.94/1154.21	c 1154s |      26 | 10698988 |  9679952 |     1256  19164 |        0 |        0
1155.94/1156.21	c 1156s |      26 | 10718504 |  9696252 |     1256  19189 |        0 |        0
1157.93/1158.22	c 1158s |      26 | 10737177 |  9712352 |     1256  19214 |        0 |        0
1159.93/1160.22	c 1160s |      26 | 10755659 |  9728552 |     1256  19239 |        0 |        0
1161.93/1162.22	c 1162s |      26 | 10774511 |  9744952 |     1256  19264 |        0 |        0
1163.93/1164.23	c 1164s |      26 | 10792549 |  9761352 |     1256  19290 |        0 |        0
1165.93/1166.23	c 1166s |      26 | 10809796 |  9777552 |     1256  19315 |        0 |        0
1167.93/1168.24	c 1168s |      26 | 10827733 |  9794252 |     1256  19341 |        0 |        0
1169.92/1170.26	c 1170s |      26 | 10845714 |  9811052 |     1256  19367 |        0 |        0
1171.92/1172.26	c 1172s |      26 | 10864594 |  9828052 |     1256  19393 |        0 |        0
1173.92/1174.27	c 1174s |      26 | 10883188 |  9845052 |     1256  19419 |        0 |        0
1175.92/1176.27	c 1176s |      26 | 10901519 |  9861852 |     1256  19446 |        0 |        0
1177.93/1178.28	c 1178s |      26 | 10919980 |  9878552 |     1256  19471 |        0 |        0
1179.92/1180.29	c 1180s |      26 | 10938629 |  9895452 |     1256  19498 |        0 |        0
1181.92/1182.29	c 1182s |      26 | 10957716 |  9912152 |     1256  19523 |        0 |        0
1183.91/1184.29	c 1184s |      26 | 10976802 |  9929052 |     1256  19550 |        0 |        0
1186.01/1186.30	c 1186s |      26 | 10994941 |  9945852 |     1256  19576 |        0 |        0
1188.01/1188.30	c 1188s |      26 | 11014909 |  9962752 |     1256  19602 |        0 |        0
1190.03/1190.31	c 1190s |      26 | 11033804 |  9979652 |     1256  19628 |        0 |        0
1192.02/1192.31	c 1192s |      26 | 11052793 |  9996252 |     1256  19654 |        0 |        0
1194.02/1194.32	c 1194s |      26 | 11072110 | 10013052 |     1256  19680 |        0 |        0
1196.02/1196.32	c 1196s |      26 | 11090660 | 10029752 |     1256  19706 |        0 |        0
1198.02/1198.33	c 1198s |      26 | 11110696 | 10046952 |     1256  19733 |        0 |        0
1200.01/1200.35	c 1200s |      26 | 11129422 | 10063752 |     1256  19759 |        0 |        0
1202.02/1202.35	c 1202s |      26 | 11148388 | 10080652 |     1256  19785 |        0 |        0
1204.01/1204.36	c 1204s |      26 | 11167149 | 10097252 |     1256  19811 |        0 |        0
1206.00/1206.36	c 1206s |      26 | 11186998 | 10114352 |     1256  19837 |        0 |        0
1208.00/1208.37	c 1208s |      26 | 11207160 | 10131152 |     1256  19863 |        0 |        0
1210.00/1210.37	c 1210s |      26 | 11226089 | 10147552 |     1256  19889 |        0 |        0
1212.01/1212.38	c 1212s |      26 | 11245049 | 10164052 |     1256  19914 |        0 |        0
1214.00/1214.40	c 1214s |      26 | 11263985 | 10181052 |     1256  19941 |        0 |        0
1216.10/1216.40	c 1216s |      26 | 11283835 | 10198052 |     1256  19967 |        0 |        0
1218.11/1218.41	c 1218s |      26 | 11303563 | 10215152 |     1256  19993 |        0 |        0
1220.11/1220.43	c 1220s |      26 | 11322433 | 10231852 |     1256  20019 |        0 |        0
1222.11/1222.43	c 1222s |      26 | 11342514 | 10248752 |     1256  20046 |        0 |        0
1224.12/1224.43	c 1224s |      26 | 11362407 | 10265752 |     1256  20072 |        0 |        0
1226.11/1226.43	c 1226s |      26 | 11381086 | 10282652 |     1256  20098 |        0 |        0
1228.11/1228.44	c 1228s |      26 | 11399602 | 10299452 |     1256  20124 |        0 |        0
1230.10/1230.44	c 1230s |      26 | 11418803 | 10316552 |     1256  20151 |        0 |        0
1232.10/1232.45	c 1232s |      26 | 11437523 | 10333652 |     1256  20178 |        0 |        0
1234.10/1234.45	c 1234s |      26 | 11457261 | 10350752 |     1256  20204 |        0 |        0
1236.11/1236.46	c 1236s |      26 | 11476259 | 10367652 |     1256  20231 |        0 |        0
1238.10/1238.46	c 1238s |      26 | 11495496 | 10384452 |     1256  20257 |        0 |        0
1240.10/1240.47	c 1240s |      26 | 11515226 | 10401752 |     1256  20284 |        0 |        0
1242.10/1242.47	c 1242s |      26 | 11533904 | 10418452 |     1256  20310 |        0 |        0
1244.09/1244.49	c 1244s |      26 | 11552427 | 10435152 |     1256  20335 |        0 |        0
1246.10/1246.49	c 1246s |      26 | 11571344 | 10451252 |     1256  20360 |        0 |        0
1248.09/1248.50	c 1248s |      26 | 11590266 | 10467552 |     1256  20385 |        0 |        0
1250.19/1250.50	c 1250s |      26 | 11609435 | 10483852 |     1256  20411 |        0 |        0
1252.19/1252.51	c 1252s |      26 | 11628301 | 10500352 |     1256  20436 |        0 |        0
1254.18/1254.52	c 1254s |      26 | 11646713 | 10517152 |     1256  20462 |        0 |        0
1256.19/1256.52	c 1256s |      26 | 11664951 | 10533652 |     1256  20488 |        0 |        0
1258.20/1258.52	c 1258s |      26 | 11683242 | 10550052 |     1256  20513 |        0 |        0
1260.19/1260.52	c 1260s |      26 | 11701851 | 10566452 |     1256  20538 |        0 |        0
1262.19/1262.53	c 1262s |      26 | 11720798 | 10582952 |     1256  20564 |        0 |        0
1264.18/1264.54	c 1264s |      26 | 11739739 | 10599552 |     1256  20590 |        0 |        0
1266.18/1266.54	c 1266s |      26 | 11757998 | 10616352 |     1256  20616 |        0 |        0
1268.18/1268.55	c 1268s |      26 | 11776352 | 10633252 |     1256  20642 |        0 |        0
1270.19/1270.55	c 1270s |      26 | 11795165 | 10649952 |     1256  20668 |        0 |        0
1272.18/1272.55	c 1272s |      26 | 11813781 | 10666652 |     1256  20694 |        0 |        0
1274.18/1274.56	c 1274s |      26 | 11832381 | 10683552 |     1256  20720 |        0 |        0
1276.18/1276.56	c 1276s |      26 | 11851905 | 10700252 |     1256  20746 |        0 |        0
1278.17/1278.57	c 1278s |      26 | 11871822 | 10717352 |     1256  20772 |        0 |        0
1280.18/1280.58	c 1280s |      26 | 11890120 | 10734252 |     1256  20798 |        0 |        0
1282.17/1282.58	c 1282s |      26 | 11909026 | 10751352 |     1256  20825 |        0 |        0
1284.17/1284.59	c 1284s |      26 | 11927696 | 10768452 |     1256  20851 |        0 |        0
1286.17/1286.59	c 1286s |      26 | 11946561 | 10785652 |     1256  20878 |        0 |        0
1288.27/1288.60	c 1288s |      26 | 11965955 | 10802452 |     1256  20904 |        0 |        0
1290.27/1290.60	c 1290s |      26 | 11984723 | 10819252 |     1256  20930 |        0 |        0
1292.27/1292.61	c 1292s |      26 | 12004531 | 10836152 |     1256  20956 |        0 |        0
1294.26/1294.62	c 1294s |      26 | 12023865 | 10853152 |     1256  20983 |        0 |        0
1296.26/1296.62	c 1296s |      26 | 12043302 | 10870352 |     1256  21009 |        0 |        0
1298.27/1298.62	c 1298s |      26 | 12063380 | 10887752 |     1256  21036 |        0 |        0
1300.27/1300.62	c 1300s |      26 | 12082700 | 10905052 |     1256  21063 |        0 |        0
1302.27/1302.63	c 1302s |      26 | 12101434 | 10922052 |     1256  21090 |        0 |        0
1304.27/1304.63	c 1304s |      26 | 12119172 | 10938652 |     1256  21115 |        0 |        0
1306.26/1306.63	c 1306s |      26 | 12137065 | 10955252 |     1256  21141 |        0 |        0
1308.26/1308.64	c 1308s |      26 | 12155940 | 10972552 |     1256  21168 |        0 |        0
1310.26/1310.65	c 1310s |      26 | 12174672 | 10989752 |     1256  21195 |        0 |        0
1312.26/1312.65	c 1312s |      26 | 12193496 | 11006752 |     1256  21221 |        0 |        0
1314.26/1314.65	c 1314s |      26 | 12211860 | 11023552 |     1256  21247 |        0 |        0
1316.26/1316.66	c 1316s |      26 | 12231351 | 11040552 |     1256  21274 |        0 |        0
1318.25/1318.66	c 1318s |      26 | 12249924 | 11057552 |     1256  21300 |        0 |        0
1320.25/1320.67	c 1320s |      26 | 12269045 | 11074752 |     1256  21327 |        0 |        0
1322.25/1322.67	c 1322s |      26 | 12287764 | 11091752 |     1256  21353 |        0 |        0
1324.25/1324.68	c 1324s |      26 | 12307811 | 11108952 |     1256  21380 |        0 |        0
1326.26/1326.68	c 1326s |      26 | 12326161 | 11125852 |     1256  21406 |        0 |        0
1328.25/1328.70	c 1328s |      26 | 12343832 | 11142352 |     1256  21432 |        0 |        0
1330.35/1330.70	c 1330s |      26 | 12362291 | 11159052 |     1256  21458 |        0 |        0
1332.35/1332.71	c 1332s |      26 | 12380316 | 11175952 |     1256  21484 |        0 |        0
1334.34/1334.71	c 1334s |      26 | 12399296 | 11193252 |     1256  21511 |        0 |        0
1336.34/1336.71	c 1336s |      26 | 12418990 | 11210552 |     1256  21538 |        0 |        0
1338.35/1338.72	c 1338s |      26 | 12437836 | 11227552 |     1256  21564 |        0 |        0
1340.34/1340.72	c 1340s |      26 | 12456748 | 11244252 |     1256  21590 |        0 |        0
1342.34/1342.72	c 1342s |      26 | 12475685 | 11261552 |     1256  21617 |        0 |        0
1344.34/1344.73	c 1344s |      26 | 12494799 | 11278552 |     1256  21644 |        0 |        0
1346.34/1346.73	c 1346s |      26 | 12514642 | 11295952 |     1256  21671 |        0 |        0
1348.34/1348.73	c 1348s |      26 | 12534437 | 11313052 |     1256  21698 |        0 |        0
1350.34/1350.74	c 1350s |      26 | 12554177 | 11329952 |     1382  21722 |        0 |        0
1352.34/1352.74	c 1352s |      26 | 12575000 | 11346952 |     1382  21746 |        0 |        0
1354.34/1354.75	c 1354s |      26 | 12595940 | 11363852 |     1382  21769 |        0 |        0
1356.34/1356.75	c 1356s |      26 | 12615931 | 11381052 |     1382  21794 |        0 |        0
1358.14/1358.58	c 1358s |      27 | 12633404 | 11396733 |     1382  21816 |        0 |        0
1360.14/1360.59	c 1360s |      27 | 12651404 | 11412933 |     1382  21839 |        0 |        0
1362.24/1362.60	c 1362s |      27 | 12669798 | 11429333 |     1382  21862 |        0 |        0
1364.23/1364.61	c 1364s |      27 | 12688383 | 11445133 |     1382  21884 |        0 |        0
1366.23/1366.61	c 1366s |      27 | 12707150 | 11461433 |     1382  21907 |        0 |        0
1368.23/1368.61	c 1368s |      27 | 12725545 | 11477533 |     1382  21929 |        0 |        0
1370.23/1370.62	c 1370s |      27 | 12744062 | 11494033 |     1382  21953 |        0 |        0
1372.23/1372.63	c 1372s |      27 | 12761964 | 11510433 |     1382  21976 |        0 |        0
1374.22/1374.64	c 1374s |      27 | 12779979 | 11526933 |     1382  21999 |        0 |        0
1376.23/1376.64	c 1376s |      27 | 12798697 | 11543133 |     1382  22022 |        0 |        0
1378.23/1378.64	c 1378s |      27 | 12817195 | 11559633 |     1382  22045 |        0 |        0
1380.24/1380.65	c 1380s |      27 | 12836571 | 11576233 |     1382  22068 |        0 |        0
1382.23/1382.65	c 1382s |      27 | 12854838 | 11592233 |     1382  22091 |        0 |        0
1384.23/1384.65	c 1384s |      27 | 12872546 | 11608333 |     1382  22113 |        0 |        0
1386.23/1386.66	c 1386s |      27 | 12889942 | 11624533 |     1382  22136 |        0 |        0
1388.23/1388.67	c 1388s |      27 | 12908037 | 11641133 |     1382  22160 |        0 |        0
1390.23/1390.70	c 1390s |      27 | 12926507 | 11657533 |     1382  22183 |        0 |        0
1392.23/1392.70	c 1392s |      27 | 12944149 | 11673933 |     1382  22206 |        0 |        0
1394.32/1394.71	c 1394s |      27 | 12962475 | 11690433 |     1382  22229 |        0 |        0
1396.32/1396.71	c 1396s |      27 | 12981057 | 11707233 |     1382  22253 |        0 |        0
1398.32/1398.72	c 1398s |      27 | 12999589 | 11723933 |     1382  22276 |        0 |        0
1400.32/1400.73	c 1400s |      27 | 13018941 | 11740633 |     1382  22300 |        0 |        0
1402.32/1402.73	c 1402s |      27 | 13037117 | 11757133 |     1382  22323 |        0 |        0
1404.32/1404.75	c 1404s |      27 | 13055124 | 11773333 |     1382  22346 |        0 |        0
1406.31/1406.75	c 1406s |      27 | 13072962 | 11789933 |     1382  22369 |        0 |        0
1408.31/1408.76	c 1408s |      27 | 13090989 | 11806533 |     1382  22393 |        0 |        0
1410.31/1410.77	c 1410s |      27 | 13108774 | 11823233 |     1382  22416 |        0 |        0
1412.31/1412.77	c 1412s |      27 | 13127396 | 11839933 |     1382  22440 |        0 |        0
1414.31/1414.78	c 1414s |      27 | 13145174 | 11856233 |     1382  22463 |        0 |        0
1416.31/1416.78	c 1416s |      27 | 13162732 | 11872133 |     1382  22485 |        0 |        0
1418.31/1418.79	c 1418s |      27 | 13180645 | 11888533 |     1382  22508 |        0 |        0
1420.30/1420.79	c 1420s |      27 | 13198841 | 11905133 |     1382  22531 |        0 |        0
1422.40/1422.80	c 1422s |      27 | 13217002 | 11921933 |     1382  22555 |        0 |        0
1424.40/1424.81	c 1424s |      27 | 13234297 | 11938133 |     1382  22578 |        0 |        0
1426.40/1426.81	c 1426s |      27 | 13252718 | 11954833 |     1382  22602 |        0 |        0
1428.40/1428.81	c 1428s |      27 | 13270911 | 11970833 |     1382  22624 |        0 |        0
1430.40/1430.82	c 1430s |      27 | 13289933 | 11987533 |     1382  22648 |        0 |        0
1432.40/1432.83	c 1432s |      27 | 13308090 | 12003933 |     1382  22671 |        0 |        0
1434.39/1434.84	c 1434s |      27 | 13326046 | 12019633 |     1382  22693 |        0 |        0
1436.39/1436.85	c 1436s |      27 | 13344200 | 12035633 |     1382  22716 |        0 |        0
1438.40/1438.86	c 1438s |      27 | 13362301 | 12051933 |     1382  22739 |        0 |        0
1440.39/1440.86	c 1440s |      27 | 13380730 | 12068733 |     1382  22762 |        0 |        0
1442.40/1442.86	c 1442s |      27 | 13399298 | 12085533 |     1382  22786 |        0 |        0
1444.39/1444.87	c 1444s |      27 | 13418412 | 12102433 |     1382  22810 |        0 |        0
1446.39/1446.88	c 1446s |      27 | 13437200 | 12119433 |     1382  22834 |        0 |        0
1448.40/1448.88	c 1448s |      27 | 13455010 | 12135933 |     1382  22857 |        0 |        0
1450.39/1450.89	c 1450s |      27 | 13473093 | 12152433 |     1382  22880 |        0 |        0
1452.49/1452.90	c 1452s |      27 | 13491161 | 12168633 |     1382  22903 |        0 |        0
1454.48/1454.90	c 1454s |      27 | 13509586 | 12185333 |     1382  22927 |        0 |        0
1456.48/1456.91	c 1456s |      27 | 13528053 | 12202033 |     1382  22950 |        0 |        0
1458.48/1458.92	c 1458s |      27 | 13546629 | 12218533 |     1382  22973 |        0 |        0
1460.49/1460.93	c 1460s |      27 | 13564376 | 12234933 |     1382  22996 |        0 |        0
1462.48/1462.94	c 1462s |      27 | 13582400 | 12251333 |     1382  23019 |        0 |        0
1464.48/1464.94	c 1464s |      27 | 13600916 | 12267633 |     1382  23042 |        0 |        0
1466.48/1466.94	c 1466s |      27 | 13618683 | 12284033 |     1382  23066 |        0 |        0
1468.48/1468.95	c 1468s |      27 | 13636704 | 12300333 |     1382  23089 |        0 |        0
1470.48/1470.96	c 1470s |      27 | 13654915 | 12316333 |     1382  23111 |        0 |        0
1472.48/1472.97	c 1472s |      27 | 13673443 | 12332633 |     1382  23134 |        0 |        0
1474.47/1474.98	c 1474s |      27 | 13692184 | 12348733 |     1382  23157 |        0 |        0
1476.47/1476.98	c 1476s |      27 | 13710721 | 12364733 |     1382  23179 |        0 |        0
1478.47/1478.98	c 1478s |      27 | 13729117 | 12380933 |     1382  23202 |        0 |        0
1480.47/1480.99	c 1480s |      27 | 13747808 | 12397933 |     1382  23226 |        0 |        0
1482.57/1483.00	c 1482s |      27 | 13765960 | 12414633 |     1382  23249 |        0 |        0
1484.58/1485.01	c 1484s |      27 | 13784076 | 12431433 |     1382  23273 |        0 |        0
1486.57/1487.01	c 1487s |      27 | 13802788 | 12448133 |     1382  23297 |        0 |        0
1488.57/1489.02	c 1489s |      27 | 13821146 | 12464733 |     1382  23320 |        0 |        0
1490.57/1491.03	c 1491s |      27 | 13839531 | 12481233 |     1382  23343 |        0 |        0
1492.57/1493.05	c 1493s |      27 | 13858146 | 12497833 |     1382  23367 |        0 |        0
1494.58/1495.05	c 1495s |      27 | 13877103 | 12514533 |     1382  23390 |        0 |        0
1496.57/1497.05	c 1497s |      27 | 13895986 | 12531533 |     1382  23414 |        0 |        0
1498.57/1499.05	c 1499s |      27 | 13914023 | 12548033 |     1382  23438 |        0 |        0
1500.57/1501.06	c 1501s |      27 | 13931900 | 12564533 |     1382  23461 |        0 |        0
1502.56/1503.07	c 1503s |      27 | 13950670 | 12581333 |     1382  23485 |        0 |        0
1504.56/1505.07	c 1505s |      27 | 13970231 | 12598133 |     1382  23508 |        0 |        0
1506.57/1507.08	c 1507s |      27 | 13989137 | 12614433 |     1382  23531 |        0 |        0
1508.56/1509.09	c 1509s |      27 | 14007949 | 12630933 |     1382  23554 |        0 |        0
1510.56/1511.09	c 1511s |      27 | 14026338 | 12647333 |     1382  23577 |        0 |        0
1512.56/1513.10	c 1513s |      27 | 14045257 | 12664133 |     1382  23601 |        0 |        0
1514.66/1515.11	c 1515s |      27 | 14064244 | 12680733 |     1382  23624 |        0 |        0
1516.66/1517.11	c 1517s |      27 | 14083387 | 12697333 |     1382  23648 |        0 |        0
1518.67/1519.12	c 1519s |      27 | 14101927 | 12713833 |     1382  23671 |        0 |        0
1520.66/1521.13	c 1521s |      27 | 14119592 | 12730133 |     1382  23694 |        0 |        0
1522.66/1523.13	c 1523s |      27 | 14137830 | 12746933 |     1382  23718 |        0 |        0
1524.66/1525.14	c 1525s |      27 | 14155933 | 12763533 |     1382  23741 |        0 |        0
1526.66/1527.14	c 1527s |      27 | 14174282 | 12779833 |     1382  23764 |        0 |        0
1528.66/1529.14	c 1529s |      27 | 14193672 | 12796433 |     1382  23787 |        0 |        0
1530.65/1531.15	c 1531s |      27 | 14212531 | 12813033 |     1382  23811 |        0 |        0
1532.65/1533.16	c 1533s |      27 | 14231150 | 12829733 |     1382  23834 |        0 |        0
1534.65/1535.16	c 1535s |      27 | 14249560 | 12846533 |     1382  23858 |        0 |        0
1536.65/1537.17	c 1537s |      27 | 14267702 | 12863533 |     1382  23882 |        0 |        0
1538.65/1539.19	c 1539s |      27 | 14286465 | 12880433 |     1382  23906 |        0 |        0
1540.66/1541.19	c 1541s |      27 | 14305882 | 12896933 |     1382  23929 |        0 |        0
1542.75/1543.20	c 1543s |      27 | 14323470 | 12913433 |     1382  23952 |        0 |        0
1544.75/1545.20	c 1545s |      27 | 14342134 | 12930533 |     1382  23976 |        0 |        0
1546.75/1547.21	c 1547s |      27 | 14360863 | 12947633 |     1382  24000 |        0 |        0
1548.75/1549.21	c 1549s |      27 | 14379687 | 12964533 |     1382  24024 |        0 |        0
1550.76/1551.22	c 1551s |      27 | 14397989 | 12981133 |     1382  24048 |        0 |        0
1552.76/1553.22	c 1553s |      27 | 14416505 | 12998133 |     1382  24072 |        0 |        0
1554.75/1555.23	c 1555s |      27 | 14434672 | 13014633 |     1382  24095 |        0 |        0
1556.75/1557.23	c 1557s |      27 | 14453990 | 13031533 |     1382  24119 |        0 |        0
1558.75/1559.24	c 1559s |      27 | 14472339 | 13048233 |     1382  24142 |        0 |        0
1560.75/1561.24	c 1561s |      27 | 14491009 | 13064633 |     1382  24165 |        0 |        0
1562.76/1563.25	c 1563s |      27 | 14509370 | 13081633 |     1382  24189 |        0 |        0
1564.75/1565.27	c 1565s |      27 | 14527865 | 13098633 |     1382  24213 |        0 |        0
1566.75/1567.27	c 1567s |      27 | 14545980 | 13115333 |     1382  24237 |        0 |        0
1568.75/1569.27	c 1569s |      27 | 14564702 | 13132233 |     1382  24261 |        0 |        0
1570.75/1571.27	c 1571s |      27 | 14584755 | 13149733 |     1382  24285 |        0 |        0
1572.75/1573.28	c 1573s |      27 | 14603905 | 13167233 |     1382  24310 |        0 |        0
1574.75/1575.28	c 1575s |      27 | 14623601 | 13184333 |     1382  24334 |        0 |        0
1576.74/1577.29	c 1577s |      27 | 14642060 | 13201433 |     1382  24358 |        0 |        0
1578.75/1579.29	c 1579s |      27 | 14660745 | 13218433 |     1382  24382 |        0 |        0
1580.84/1581.30	c 1581s |      27 | 14679686 | 13235633 |     1382  24406 |        0 |        0
1582.84/1583.31	c 1583s |      27 | 14698272 | 13252433 |     1382  24430 |        0 |        0
1584.84/1585.31	c 1585s |      27 | 14717501 | 13269333 |     1382  24454 |        0 |        0
1586.85/1587.32	c 1587s |      27 | 14735552 | 13285833 |     1382  24477 |        0 |        0
1588.84/1589.33	c 1589s |      27 | 14753734 | 13302533 |     1382  24500 |        0 |        0
1590.84/1591.33	c 1591s |      27 | 14771959 | 13319433 |     1382  24524 |        0 |        0
1592.84/1593.34	c 1593s |      27 | 14790121 | 13336533 |     1382  24548 |        0 |        0
1594.84/1595.35	c 1595s |      27 | 14808536 | 13353533 |     1382  24572 |        0 |        0
1596.85/1597.36	c 1597s |      27 | 14827270 | 13370533 |     1382  24596 |        0 |        0
1598.84/1599.37	c 1599s |      27 | 14845793 | 13387433 |     1382  24620 |        0 |        0
1600.84/1601.37	c 1601s |      27 | 14864029 | 13404333 |     1382  24644 |        0 |        0
1602.85/1603.38	c 1603s |      27 | 14883597 | 13421633 |     1382  24668 |        0 |        0
1604.85/1605.38	c 1605s |      27 | 14902297 | 13438633 |     1382  24692 |        0 |        0
1606.85/1607.39	c 1607s |      27 | 14920313 | 13455533 |     1382  24716 |        0 |        0
1608.85/1609.39	c 1609s |      27 | 14938968 | 13472433 |     1382  24740 |        0 |        0
1610.94/1611.40	c 1611s |      27 | 14957307 | 13489133 |     1382  24763 |        0 |        0
1612.94/1613.40	c 1613s |      27 | 14975880 | 13506133 |     1382  24787 |        0 |        0
1614.94/1615.41	c 1615s |      27 | 14995636 | 13523133 |     1382  24811 |        0 |        0
1616.94/1617.42	c 1617s |      27 | 15014435 | 13539833 |     1382  24835 |        0 |        0
1618.94/1619.42	c 1619s |      27 | 15033028 | 13556933 |     1382  24859 |        0 |        0
1620.95/1621.43	c 1621s |      27 | 15052093 | 13573533 |     1382  24882 |        0 |        0
1622.94/1623.44	c 1623s |      27 | 15070739 | 13590133 |     1382  24905 |        0 |        0
1624.94/1625.46	c 1625s |      27 | 15090009 | 13606933 |     1382  24929 |        0 |        0
1626.94/1627.47	c 1627s |      27 | 15108841 | 13623333 |     1382  24952 |        0 |        0
1628.94/1629.48	c 1629s |      27 | 15127392 | 13639633 |     1382  24975 |        0 |        0
1630.95/1631.49	c 1631s |      27 | 15147050 | 13656333 |     1382  24999 |        0 |        0
1632.94/1633.49	c 1633s |      27 | 15166500 | 13673033 |     1382  25022 |        0 |        0
1635.04/1635.50	c 1635s |      27 | 15185270 | 13689733 |     1382  25046 |        0 |        0
1637.04/1637.51	c 1637s |      27 | 15205435 | 13707033 |     1382  25070 |        0 |        0
1639.04/1639.52	c 1639s |      27 | 15224339 | 13724333 |     1382  25094 |        0 |        0
1641.04/1641.52	c 1641s |      27 | 15242339 | 13741133 |     1382  25118 |        0 |        0
1643.04/1643.52	c 1643s |      27 | 15261218 | 13758033 |     1382  25142 |        0 |        0
1645.03/1645.53	c 1645s |      27 | 15280087 | 13775433 |     1382  25166 |        0 |        0
1647.03/1647.54	c 1647s |      27 | 15299050 | 13792533 |     1382  25190 |        0 |        0
1649.04/1649.55	c 1649s |      27 | 15318366 | 13809733 |     1382  25215 |        0 |        0
1651.04/1651.56	c 1651s |      27 | 15337813 | 13827133 |     1382  25239 |        0 |        0
1653.04/1653.57	c 1653s |      27 | 15356577 | 13844233 |     1382  25263 |        0 |        0
1655.04/1655.57	c 1655s |      27 | 15374177 | 13860733 |     1382  25286 |        0 |        0
1657.04/1657.58	c 1657s |      27 | 15391919 | 13877333 |     1382  25310 |        0 |        0
1659.04/1659.58	c 1659s |      27 | 15409591 | 13894133 |     1382  25333 |        0 |        0
1661.04/1661.59	c 1661s |      27 | 15427436 | 13910333 |     1382  25356 |        0 |        0
1663.04/1663.59	c 1663s |      27 | 15445494 | 13926933 |     1382  25380 |        0 |        0
1665.13/1665.60	c 1665s |      27 | 15463372 | 13943833 |     1382  25404 |        0 |        0
1667.14/1667.61	c 1667s |      27 | 15481639 | 13960733 |     1382  25427 |        0 |        0
1669.13/1669.61	c 1669s |      27 | 15499868 | 13977633 |     1382  25451 |        0 |        0
1671.13/1671.62	c 1671s |      27 | 15518880 | 13994333 |     1382  25475 |        0 |        0
1673.13/1673.63	c 1673s |      27 | 15536989 | 14011133 |     1382  25498 |        0 |        0
1675.13/1675.63	c 1675s |      27 | 15556273 | 14028133 |     1382  25522 |        0 |        0
1677.14/1677.64	c 1677s |      27 | 15574428 | 14045033 |     1382  25546 |        0 |        0
1679.13/1679.64	c 1679s |      27 | 15592762 | 14062033 |     1382  25570 |        0 |        0
1681.14/1681.65	c 1681s |      27 | 15611735 | 14078833 |     1382  25594 |        0 |        0
1683.14/1683.65	c 1683s |      27 | 15631112 | 14096033 |     1382  25618 |        0 |        0
1685.13/1685.66	c 1685s |      27 | 15650599 | 14113333 |     1382  25643 |        0 |        0
1687.13/1687.67	c 1687s |      27 | 15670812 | 14130533 |     1382  25667 |        0 |        0
1689.14/1689.67	c 1689s |      27 | 15690643 | 14147533 |     1382  25691 |        0 |        0
1691.13/1691.68	c 1691s |      27 | 15709464 | 14164833 |     1382  25715 |        0 |        0
1693.13/1693.69	c 1693s |      27 | 15729046 | 14182033 |     1382  25740 |        0 |        0
1695.13/1695.69	c 1695s |      27 | 15748135 | 14199333 |     1382  25764 |        0 |        0
1697.23/1697.70	c 1697s |      27 | 15767328 | 14215933 |     1382  25788 |        0 |        0
1699.23/1699.70	c 1699s |      27 | 15786217 | 14232633 |     1382  25811 |        0 |        0
1701.23/1701.71	c 1701s |      27 | 15804136 | 14248933 |     1382  25834 |        0 |        0
1703.23/1703.72	c 1703s |      27 | 15822723 | 14265533 |     1382  25858 |        0 |        0
1705.22/1705.72	c 1705s |      27 | 15841197 | 14282133 |     1382  25881 |        0 |        0
1707.22/1707.73	c 1707s |      27 | 15860836 | 14298933 |     1382  25905 |        0 |        0
1709.22/1709.73	c 1709s |      27 | 15878925 | 14315433 |     1382  25928 |        0 |        0
1711.24/1711.75	c 1711s |      27 | 15897630 | 14332133 |     1382  25952 |        0 |        0
1713.23/1713.75	c 1713s |      27 | 15917698 | 14348933 |     1382  25975 |        0 |        0
1715.23/1715.76	c 1715s |      27 | 15936872 | 14366033 |     1382  26000 |        0 |        0
1717.23/1717.76	c 1717s |      27 | 15955748 | 14383033 |     1382  26024 |        0 |        0
1719.23/1719.77	c 1719s |      27 | 15974767 | 14400233 |     1382  26048 |        0 |        0
1721.23/1721.78	c 1721s |      27 | 15995002 | 14417733 |     1382  26073 |        0 |        0
1723.23/1723.79	c 1723s |      27 | 16015000 | 14434933 |     1382  26097 |        0 |        0
1725.32/1725.80	c 1725s |      27 | 16034218 | 14451933 |     1382  26121 |        0 |        0
1727.32/1727.80	c 1727s |      27 | 16053472 | 14469333 |     1382  26146 |        0 |        0
1729.32/1729.81	c 1729s |      27 | 16072281 | 14486233 |     1382  26169 |        0 |        0
1731.32/1731.81	c 1731s |      27 | 16091611 | 14503333 |     1382  26194 |        0 |        0
1733.32/1733.82	c 1733s |      27 | 16111223 | 14520833 |     1382  26218 |        0 |        0
1735.33/1735.82	c 1735s |      27 | 16130315 | 14538133 |     1382  26243 |        0 |        0
1737.32/1737.83	c 1737s |      27 | 16150687 | 14555633 |     1382  26268 |        0 |        0
1739.32/1739.84	c 1739s |      27 | 16171903 | 14573333 |     1382  26293 |        0 |        0
1741.32/1741.84	c 1741s |      27 | 16189700 | 14589633 |     1382  26316 |        0 |        0
1743.32/1743.85	c 1743s |      27 | 16208023 | 14606633 |     1382  26339 |        0 |        0
1745.33/1745.86	c 1745s |      27 | 16225851 | 14623133 |     1382  26363 |        0 |        0
1747.32/1747.86	c 1747s |      27 | 16244146 | 14639633 |     1382  26386 |        0 |        0
1749.32/1749.86	c 1749s |      27 | 16262550 | 14656233 |     1382  26409 |        0 |        0
1751.32/1751.87	c 1751s |      27 | 16280363 | 14672733 |     1382  26432 |        0 |        0
1753.32/1753.88	c 1753s |      27 | 16298862 | 14689233 |     1382  26456 |        0 |        0
1755.32/1755.88	c 1755s |      27 | 16317294 | 14706133 |     1382  26479 |        0 |        0
1757.33/1757.89	c 1757s |      27 | 16335386 | 14722933 |     1382  26503 |        0 |        0
1759.32/1759.89	c 1759s |      27 | 16353303 | 14739433 |     1382  26526 |        0 |        0
1761.32/1761.89	c 1761s |      27 | 16371253 | 14756033 |     1382  26550 |        0 |        0
1763.42/1763.91	c 1763s |      27 | 16389723 | 14773033 |     1382  26574 |        0 |        0
1765.42/1765.91	c 1765s |      27 | 16408375 | 14790133 |     1382  26598 |        0 |        0
1767.42/1767.92	c 1767s |      27 | 16426895 | 14807233 |     1382  26622 |        0 |        0
1769.43/1769.93	c 1769s |      27 | 16445391 | 14823833 |     1382  26645 |        0 |        0
1771.42/1771.93	c 1771s |      27 | 16463713 | 14841033 |     1382  26669 |        0 |        0
1773.42/1773.94	c 1773s |      27 | 16481968 | 14857833 |     1382  26693 |        0 |        0
1775.42/1775.94	c 1775s |      27 | 16500467 | 14874833 |     1382  26717 |        0 |        0
1777.42/1777.95	c 1777s |      27 | 16519047 | 14892033 |     1382  26741 |        0 |        0
1779.42/1779.96	c 1779s |      27 | 16538035 | 14909133 |     1382  26765 |        0 |        0
1781.42/1781.96	c 1781s |      27 | 16556070 | 14925833 |     1382  26789 |        0 |        0
1783.41/1783.96	c 1783s |      27 | 16574501 | 14943033 |     1382  26813 |        0 |        0
1785.41/1785.96	c 1785s |      27 | 16594111 | 14960733 |     1382  26838 |        0 |        0
1787.41/1787.97	c 1787s |      27 | 16613105 | 14977733 |     1382  26862 |        0 |        0
1789.41/1789.97	c 1789s |      27 | 16631378 | 14994733 |     1382  26886 |        0 |        0
1791.42/1791.97	c 1791s |      27 | 16649495 | 15011933 |     1382  26910 |        0 |        0
1793.41/1793.97	c 1793s |      27 | 16667740 | 15028833 |     1382  26934 |        0 |        0
1795.42/1795.98	c 1795s |      27 | 16686031 | 15045833 |     1382  26958 |        0 |        0
1797.42/1797.98	c 1797s |      27 | 16704500 | 15062733 |     1382  26982 |        0 |        0
1799.42/1799.98	c 1799s |      27 | 16723275 | 15079833 |     1382  27006 |        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-4088994-1466019591/watcher-4088994-1466019591 -o /tmp/evaluation-result-4088994-1466019591/solver-4088994-1466019591 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9689 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088994-1466019591.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.33 1.28 1.62 4/181 9819
/proc/meminfo: memFree=29333548/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 2695 0 0 0 0 0 0 0 20 0 4 0 4005526 740749312 3057 33554432000 4194304 16246674 140734842809952 140734842809376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9819/statm: 181359 3067 441 2943 0 178253 0
[pid=9819/tid=9820] ppid=9816 vsize=741820 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 759623680 3131 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 763817984 3148 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 769060864 3165 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 1.33 1.28 1.62 4/181 9819
/proc/meminfo: memFree=29333548/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 28931 0 0 0 5 4 0 0 20 0 4 0 4005526 1247350784 29282 33554432000 4194304 16246674 140734842809952 140734842792944 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 304529 29295 711 2943 0 301423 0
[pid=9819/tid=9820] ppid=9816 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1247350784 29304 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1247350784 29310 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1247350784 29315 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200444 s]
/proc/loadavg: 1.33 1.28 1.62 4/181 9819
/proc/meminfo: memFree=29333548/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 57674 0 0 0 12 7 0 0 20 0 4 0 4005526 1247350784 58025 33554432000 4194304 16246674 140734842809952 140734842792944 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 304529 58040 711 2943 0 301423 0
[pid=9819/tid=9820] ppid=9816 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1247350784 58050 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1247350784 58056 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1247350784 58068 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300467 s]
/proc/loadavg: 1.33 1.28 1.62 4/181 9819
/proc/meminfo: memFree=29333548/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 86632 0 0 0 18 11 0 0 20 0 4 0 4005526 1247350784 86982 33554432000 4194304 16246674 140734842809952 140734842792944 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 304529 86994 711 2943 0 301423 0
[pid=9819/tid=9820] ppid=9816 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1247350784 87003 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1247350784 87010 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1247350784 87018 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700415 s]
/proc/loadavg: 1.33 1.28 1.62 4/181 9819
/proc/meminfo: memFree=29333548/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 201188 0 0 0 44 25 0 0 20 0 4 0 4005526 1247350784 201538 33554432000 4194304 16246674 140734842809952 140734842792952 5523192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 304529 201551 711 2943 0 301423 0
[pid=9819/tid=9820] ppid=9816 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1247350784 201564 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1247350784 201571 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1247350784 201578 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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: 1.33 1.28 1.62 3/185 9823
/proc/meminfo: memFree=28351080/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 267275 0 0 0 116 33 0 0 20 0 4 0 4005526 1336479744 267605 33554432000 4194304 16246674 140734842809952 140734842791872 6020976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 326289 267605 788 2943 0 323183 0
[pid=9819/tid=9820] ppid=9816 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1336479744 267605 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1336479744 267605 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1336479744 267605 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10042 s]
/proc/loadavg: 1.33 1.28 1.62 3/185 9823
/proc/meminfo: memFree=28263288/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 267413 0 0 0 276 33 0 0 20 0 4 0 4005526 1337528320 267743 33554432000 4194304 16246674 140734842809952 140734842791872 13820875 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 326545 267743 790 2943 0 323439 0
[pid=9819/tid=9820] ppid=9816 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1337528320 267743 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1337528320 267743 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1337528320 267743 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30044 s]
/proc/loadavg: 1.39 1.29 1.62 3/185 9823
/proc/meminfo: memFree=28263472/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 267414 0 0 0 596 33 0 0 20 0 4 0 4005526 1337528320 267744 33554432000 4194304 16246674 140734842809952 140734842791872 5722656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 326545 267744 790 2943 0 323439 0
[pid=9819/tid=9820] ppid=9816 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1337528320 267744 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1337528320 267744 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1337528320 267744 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.43 1.31 1.62 3/186 9826
/proc/meminfo: memFree=28263072/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 267428 0 0 0 1235 33 0 0 20 0 4 0 4005526 1337528320 267758 33554432000 4194304 16246674 140734842809952 140734842791872 5546243 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 326545 267758 790 2943 0 323439 0
[pid=9819/tid=9820] ppid=9816 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1337528320 267758 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1337528320 267758 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1337528320 267758 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.56 1.34 1.63 3/186 9826
/proc/meminfo: memFree=28264160/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 267556 0 0 0 2515 34 0 0 20 0 4 0 4005526 1337528320 267886 33554432000 4194304 16246674 140734842809952 140734842791872 5724015 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 326545 267886 790 2943 0 323439 0
[pid=9819/tid=9820] ppid=9816 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1337528320 267886 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1337528320 267886 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1337528320 267886 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1006 s]
/proc/loadavg: 1.78 1.41 1.64 3/186 9826
/proc/meminfo: memFree=28263556/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 267750 0 0 0 5073 35 0 0 20 0 4 0 4005526 1338576896 268080 33554432000 4194304 16246674 140734842809952 140734842792952 12483286 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 326801 268080 790 2943 0 323695 0
[pid=9819/tid=9820] ppid=9816 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1338576896 268080 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1338576896 268080 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1338576896 268080 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.10 1.54 1.67 3/185 9827
/proc/meminfo: memFree=28262256/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 267826 0 0 0 10192 36 0 0 20 0 4 0 4005526 1338576896 268156 33554432000 4194304 16246674 140734842809952 140734842791872 5722608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 326801 268156 790 2943 0 323695 0
[pid=9819/tid=9820] ppid=9816 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1338576896 268156 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1338576896 268156 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1338576896 268156 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1342771200 269438 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.32 2.26 2.07 3/185 9881
/proc/meminfo: memFree=28247124/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1312324 CPUtime=1361.94 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 269274 0 0 0 136125 69 0 0 20 0 4 0 4005526 1343819776 269532 33554432000 4194304 16246674 140734842809952 140734842792952 5722604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 328081 269532 792 2943 0 324975 0
[pid=9819/tid=9820] ppid=9816 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1343819776 269532 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1343819776 269532 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1343819776 269532 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.23 2.24 2.08 3/185 9882
/proc/meminfo: memFree=28245388/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1312324 CPUtime=1421.91 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 269478 0 0 0 142121 70 0 0 20 0 4 0 4005526 1343819776 269694 33554432000 4194304 16246674 140734842809952 140734842791872 12483317 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 328081 269694 792 2943 0 324975 0
[pid=9819/tid=9820] ppid=9816 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1343819776 269694 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1343819776 269694 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1343819776 269694 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.33 2.26 2.09 4/185 9884
/proc/meminfo: memFree=28243292/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1314372 CPUtime=1481.87 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 270033 0 0 0 148116 71 0 0 20 0 4 0 4005526 1345916928 270206 33554432000 4194304 16246674 140734842809952 140734842792952 13954168 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 328593 270206 792 2943 0 325487 0
[pid=9819/tid=9820] ppid=9816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1345916928 270206 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1345916928 270206 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1345916928 270206 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.28 2.25 2.10 3/185 9885
/proc/meminfo: memFree=28243520/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1314372 CPUtime=1541.86 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 270060 0 0 0 154114 72 0 0 20 0 4 0 4005526 1345916928 270206 33554432000 4194304 16246674 140734842809952 140734842791872 5676365 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 328593 270206 792 2943 0 325487 0
[pid=9819/tid=9820] ppid=9816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1345916928 270206 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1345916928 270206 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1345916928 270206 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.22 2.24 2.10 3/185 9886
/proc/meminfo: memFree=28243620/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1314372 CPUtime=1601.85 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 270060 0 0 0 160111 74 0 0 20 0 4 0 4005526 1345916928 270206 33554432000 4194304 16246674 140734842809952 140734842791872 5829927 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 328593 270206 792 2943 0 325487 0
[pid=9819/tid=9820] ppid=9816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1345916928 270206 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1345916928 270206 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1345916928 270206 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.12 2.21 2.09 4/185 9887
/proc/meminfo: memFree=28243848/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1314372 CPUtime=1661.84 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 270060 0 0 0 166109 75 0 0 20 0 4 0 4005526 1345916928 270206 33554432000 4194304 16246674 140734842809952 140734842792952 5669465 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 328593 270206 792 2943 0 325487 0
[pid=9819/tid=9820] ppid=9816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1345916928 270206 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1345916928 270206 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1345916928 270206 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.26 2.23 2.10 3/185 9888
/proc/meminfo: memFree=28241476/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1317444 CPUtime=1721.83 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 270582 0 0 0 172106 77 0 0 20 0 4 0 4005526 1349062656 270728 33554432000 4194304 16246674 140734842809952 140734842791872 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 329361 270728 792 2943 0 326255 0
[pid=9819/tid=9820] ppid=9816 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1349062656 270728 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1349062656 270728 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1349062656 270728 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.31 2.26 2.12 3/184 9889
/proc/meminfo: memFree=28239852/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1317444 CPUtime=1781.81 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 270828 0 0 0 178103 78 0 0 20 0 4 0 4005526 1349062656 270974 33554432000 4194304 16246674 140734842809952 140734842791872 5667355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 329361 270974 792 2943 0 326255 0
[pid=9819/tid=9820] ppid=9816 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1349062656 270974 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1349062656 270974 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1349062656 270974 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.43 2.29 2.13 4/185 9988
/proc/meminfo: memFree=28922164/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1317444 CPUtime=1800.02 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 270828 0 0 0 179923 79 0 0 20 0 4 0 4005526 1349062656 270974 33554432000 4194304 16246674 140734842809952 140734842809048 5673995 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 329361 270974 792 2943 0 326255 0
[pid=9819/tid=9820] ppid=9816 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1349062656 270974 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1349062656 270974 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1349062656 270974 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1317444

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

[startup+1800.5 s]
/proc/loadavg: 2.43 2.29 2.13 4/185 9988
/proc/meminfo: memFree=28922164/32872528 swapFree=1481856/1661728
[pid=9819] ppid=9816 vsize=1317444 CPUtime=1800.02 cores=1,3,5,7
/proc/9819/stat : 9819 (toysat) R 9816 9819 6232 0 -1 4202496 270828 0 0 0 179923 79 0 0 20 0 4 0 4005526 1349062656 270974 33554432000 4194304 16246674 140734842809952 140734842809048 5673995 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9819/statm: 329361 270974 792 2943 0 326255 0
[pid=9819/tid=9820] ppid=9816 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9820/stat : 9820 (toysat) S 9816 9819 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4005527 1349062656 270974 33554432000 4194304 16246674 140734842809952 139868148575472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9819/tid=9821] ppid=9816 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9821/stat : 9821 (toysat) S 9816 9819 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4005527 1349062656 270974 33554432000 4194304 16246674 140734842809952 139868138085616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9819/tid=9822] ppid=9816 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/9819/task/9822/stat : 9822 (toysat) S 9816 9819 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4005527 1349062656 270974 33554432000 4194304 16246674 140734842809952 139868025908400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1317444

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.24
CPU system time (s): 0.790879
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.790879
maximum resident set size= 1083896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270828
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= 455
involuntary context switches= 1867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0692 second user time and 16.8914 second system time

The end

Begin job on node134 at 2016-06-15 21:39:51
IDJOB=4088994
IDBENCH=107343
IDSOLVER=2542
FILE ID=node134/4088994-1466019591
RUNJOBID= node134-1466019588-9689
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid4x25-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088994-1466019591/watcher-4088994-1466019591 -o /tmp/evaluation-result-4088994-1466019591/solver-4088994-1466019591 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9689 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088994-1466019591.opb

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

MD5SUM BENCH= 02d2803cd09d5ebf299bd6cbc8fa9060
RANDOM SEED=1328283603

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29333912 kB
Buffers:           12124 kB
Cached:            76596 kB
SwapCached:        17304 kB
Active:          1132532 kB
Inactive:          41868 kB
Active(anon):    1070096 kB
Inactive(anon):    17948 kB
Active(file):      62436 kB
Inactive(file):    23920 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083696 kB
Dirty:             33008 kB
Writeback:             0 kB
AnonPages:       2730132 kB
Mapped:            10432 kB
Shmem:                 0 kB
Slab:             567804 kB
SReclaimable:      10776 kB
SUnreclaim:       557028 kB
KernelStack:        1496 kB
PageTables:         9172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2877156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 71704 MiB
End job on node134 at 2016-06-15 22:09:52