0.00/0.00	c 2016-06-16T00:19:02+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-4089582-1466029142.opb"]
0.00/0.01	c use --random-gen="3911191869 3914181040 2269070088 896506521 1546997837 403515853 3865635710 1528067019 616054922 3260793436 430824580 2237565044 3977060026 616391805 4017511069 2661589456 3569966690 1008953046 3644284072 2879797220 3530415515 72475366 4028323401 2187515862 1138383364 1042042057 4202804281 890024396 3487781833 2800846179 107985466 4040813327 2818835764 266897640 2393679212 506306708 2011826737 2194903836 2266002820 48320009 4235460076 1713035098 1090960770 1716015981 3676481344 2243714934 1098567799 1301691999 3559148886 783142886 690915960 1423042521 669236865 3004698596 381067340 2404070063 1899785024 3552627208 3641651297 4075107352 4203097932 283810420 1576304051 225619419 4214256500 4077250125 2748009866 1569785265 2685772514 707644980 3028396745 419351670 2955915042 638059049 4262941336 1777460011 540764541 846195826 1710707303 356765493 3613364311 3125595713 736388290 3272620089 1425366514 462519823 2537134350 1620127042 3028011988 1469638356 2664284356 2221464251 970774313 230080814 94920212 3679885853 1365942323 1301025398 3610395091 1751200302 3482424545 116343658 3560415734 2291996151 258084245 2739994643 486796326 3903495858 1591409715 3909241061 2236160191 2996136156 3050138655 2300288965 1870919034 2400028150 3794479699 4228230657 1834483951 2794375575 1392979686 959232584 1542553867 710005635 3208033455 2334252653 3305615817 594907681 3670734171 1797772004 4171210693 1444148817 1950160018 1109396499 3836199196 1597751491 407617487 1095424257 4148742370 2308393456 2759423941 4176548752 2612496457 3170786608 2980504217 16266346 2298055807 1916268929 872244966 3105585601 2716879777 4023462523 4176310776 10600039 2998857647 3244301514 2645221808 4174893949 1533717769 2489620735 3486368248 1967965777 63079508 3928973048 1834625945 2340213654 3702188532 1924816481 3623927917 3600094472 3810433213 1868406003 233130353 2712908295 1308106486 1938714987 2007705030 3954786378 1897197412 2242640189 2366679315 3512009240 1480438811 499927176 3750656583 1654152529 734205394 1480100078 2747393512 1888760406 1461465482 526893059 3687164297 1825018388 3358552068 774660051 3473567147 3536592271 1425553571 1132399908 992813016 1560819533 3661628745 1636821497 854099238 2721442796 2543709620 1974956991 1542328720 908553986 3692779431 2281186580 3626582498 143792944 2451710063 2100083701 1081273728 4234241342 386476596 2136638028 793905310 3184367320 3036003023 599782370 1006611843 6807117 99079154 617218800 1528285484 3745574791 1350446801 1801204000 3948798634 4281484426 90026643 2795486037 2167921222 2366700264 4047821179 1000808980 3190198661 3115173766 2677754518 1968322598 2496039121 4088094691 608979592 4055725307 3494382412 4008211398 1854931887 1274744010 499432845 524117786 735494672 498944538 255 362436" option to reproduce the execution
0.00/0.01	c #vars 174
0.00/0.01	c #constraints 349
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      174      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      187 |      100 |      174      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      415 |      250 |      192      0 |        0 |        0
0.08/0.11	c  0.1s |       3 |      720 |      475 |      212      2 |        0 |        0
0.08/0.19	c  0.2s |       4 |     1134 |      813 |      234      4 |        0 |        0
0.28/0.31	c  0.3s |       5 |     1724 |     1320 |      258      7 |        0 |        0
0.39/0.49	c  0.5s |       6 |     2573 |     2081 |      313     11 |        0 |        0
0.68/0.77	c  0.8s |       7 |     3796 |     3223 |      345     17 |        0 |        0
0.99/1.06	c  1.0s |       8 |     5586 |     4936 |      380     24 |        0 |        0
1.49/1.50	c  1.5s |       9 |     8231 |     7506 |      419     35 |        0 |        0
2.09/2.13	c  2.1s |      10 |    12206 |    11361 |      461     51 |        0 |        0
2.99/3.06	c  3.0s |      11 |    18123 |    17144 |      508     72 |        0 |        0
4.39/4.47	c  4.5s |      12 |    27013 |    25819 |      559    101 |        0 |        0
6.39/6.48	c  6.5s |      12 |    39155 |    37719 |      559    139 |        0 |        0
6.59/6.67	c  6.7s |      13 |    40285 |    38832 |      615    142 |        0 |        0
8.58/8.68	c  8.7s |      13 |    51969 |    50232 |      615    175 |        0 |        0
9.98/10.10	c 10.1s |      14 |    60294 |    58352 |      677    198 |        0 |        0
12.08/12.11	c 12.1s |      14 |    72177 |    69952 |      677    229 |        0 |        0
14.08/14.13	c 14.1s |      14 |    83783 |    81352 |      677    259 |        0 |        0
15.18/15.21	c 15.2s |      15 |    90134 |    87632 |      745    276 |        0 |        0
17.18/17.21	c 17.2s |      15 |   101479 |    98732 |      745    302 |        0 |        0
19.18/19.22	c 19.2s |      15 |   112447 |   109532 |      745    329 |        0 |        0
21.19/21.22	c 21.2s |      15 |   123508 |   120332 |      745    355 |        0 |        0
23.18/23.22	c 23.2s |      15 |   134346 |   130932 |      820    381 |        0 |        0
23.29/23.34	c 23.3s |      16 |   134969 |   131552 |      820    382 |        0 |        0
25.28/25.35	c 25.3s |      16 |   146368 |   142752 |      820    407 |        0 |        0
27.28/27.36	c 27.3s |      16 |   157607 |   153752 |      820    431 |        0 |        0
29.28/29.36	c 29.3s |      16 |   168578 |   164552 |      820    455 |        0 |        0
31.28/31.37	c 31.4s |      16 |   179344 |   175152 |      820    479 |        0 |        0
33.29/33.39	c 33.4s |      16 |   190303 |   185952 |      820    503 |        0 |        0
35.28/35.40	c 35.4s |      16 |   201061 |   196452 |      903    526 |        0 |        0
35.49/35.59	c 35.6s |      17 |   202071 |   197432 |      903    528 |        0 |        0
37.48/37.59	c 37.6s |      17 |   213075 |   208132 |      903    550 |        0 |        0
39.58/39.60	c 39.6s |      17 |   223671 |   218532 |      903    572 |        0 |        0
41.58/41.62	c 41.6s |      17 |   234651 |   229332 |      903    594 |        0 |        0
43.58/43.63	c 43.6s |      17 |   245741 |   240232 |      903    616 |        0 |        0
45.58/45.65	c 45.6s |      17 |   256717 |   250932 |      903    638 |        0 |        0
47.58/47.66	c 47.6s |      17 |   267578 |   261632 |      903    660 |        0 |        0
49.58/49.67	c 49.7s |      17 |   278410 |   272132 |      903    681 |        0 |        0
51.58/51.69	c 51.7s |      17 |   289357 |   282832 |      903    703 |        0 |        0
53.58/53.69	c 53.7s |      17 |   299976 |   293232 |      903    724 |        0 |        0
54.18/54.27	c 54.3s |      18 |   303035 |   296252 |      994    730 |        0 |        0
56.18/56.28	c 56.3s |      18 |   313962 |   306852 |      994    750 |        0 |        0
58.18/58.29	c 58.3s |      18 |   324879 |   317452 |      994    770 |        0 |        0
60.18/60.29	c 60.3s |      18 |   335786 |   328052 |      994    789 |        0 |        0
62.28/62.30	c 62.3s |      18 |   346216 |   338152 |      994    808 |        0 |        0
64.28/64.31	c 64.3s |      18 |   356916 |   348652 |      994    828 |        0 |        0
66.29/66.31	c 66.3s |      18 |   367511 |   359052 |      994    847 |        0 |        0
68.28/68.32	c 68.3s |      18 |   378206 |   369552 |      994    867 |        0 |        0
70.28/70.32	c 70.3s |      18 |   388626 |   379752 |      994    886 |        0 |        0
72.28/72.32	c 72.3s |      18 |   398944 |   389952 |      994    905 |        0 |        0
74.28/74.33	c 74.3s |      18 |   409540 |   400352 |      994    925 |        0 |        0
76.28/76.35	c 76.3s |      18 |   419997 |   410552 |      994    944 |        0 |        0
78.28/78.36	c 78.3s |      18 |   430203 |   420552 |      994    962 |        0 |        0
80.28/80.36	c 80.3s |      18 |   440526 |   430652 |      994    981 |        0 |        0
82.28/82.38	c 82.4s |      18 |   450886 |   440852 |      994   1000 |        0 |        0
83.08/83.10	c 83.1s |      19 |   454560 |   444482 |     1094   1006 |        0 |        0
85.08/85.10	c 85.1s |      19 |   465123 |   454582 |     1094   1024 |        0 |        0
87.08/87.11	c 87.1s |      19 |   475503 |   464782 |     1094   1041 |        0 |        0
89.08/89.13	c 89.1s |      19 |   485995 |   475082 |     1094   1059 |        0 |        0
91.08/91.14	c 91.1s |      19 |   496280 |   485182 |     1094   1076 |        0 |        0
93.07/93.15	c 93.1s |      19 |   506340 |   495082 |     1094   1093 |        0 |        0
95.07/95.15	c 95.1s |      19 |   516522 |   505082 |     1094   1110 |        0 |        0
97.08/97.16	c 97.1s |      19 |   526661 |   514982 |     1094   1127 |        0 |        0
99.07/99.16	c 99.1s |      19 |   536690 |   524782 |     1094   1143 |        0 |        0
101.07/101.17	c  101s |      19 |   547262 |   534882 |     1094   1161 |        0 |        0
103.07/103.18	c  103s |      19 |   557816 |   545182 |     1094   1178 |        0 |        0
105.07/105.19	c  105s |      19 |   568095 |   555182 |     1094   1195 |        0 |        0
107.17/107.20	c  107s |      19 |   578314 |   565182 |     1094   1212 |        0 |        0
109.18/109.22	c  109s |      19 |   588611 |   575182 |     1094   1230 |        0 |        0
111.17/111.24	c  111s |      19 |   598784 |   585082 |     1094   1247 |        0 |        0
113.17/113.26	c  113s |      19 |   608818 |   594882 |     1094   1263 |        0 |        0
115.17/115.28	c  115s |      19 |   618930 |   604782 |     1094   1280 |        0 |        0
117.17/117.29	c  117s |      19 |   628796 |   614482 |     1094   1297 |        0 |        0
119.27/119.30	c  119s |      19 |   638616 |   623982 |     1094   1313 |        0 |        0
121.27/121.31	c  121s |      19 |   648798 |   633882 |     1094   1330 |        0 |        0
123.27/123.31	c  123s |      19 |   659120 |   643982 |     1094   1347 |        0 |        0
125.27/125.32	c  125s |      19 |   669336 |   653882 |     1094   1364 |        0 |        0
127.26/127.32	c  127s |      19 |   679310 |   663582 |     1204   1380 |        0 |        0
127.96/128.00	c  127s |      20 |   682578 |   666827 |     1204   1386 |        0 |        0
129.97/130.02	c  130s |      20 |   693268 |   677227 |     1204   1402 |        0 |        0
131.97/132.03	c  132s |      20 |   703464 |   687227 |     1204   1417 |        0 |        0
133.97/134.05	c  134s |      20 |   714037 |   697527 |     1204   1433 |        0 |        0
135.97/136.05	c  136s |      20 |   724227 |   707427 |     1204   1449 |        0 |        0
137.97/138.07	c  138s |      20 |   734578 |   717427 |     1204   1465 |        0 |        0
139.98/140.08	c  140s |      20 |   744954 |   727527 |     1204   1480 |        0 |        0
141.97/142.09	c  142s |      20 |   755067 |   737427 |     1204   1496 |        0 |        0
144.07/144.12	c  144s |      20 |   764947 |   746927 |     1204   1511 |        0 |        0
146.07/146.13	c  146s |      20 |   775188 |   756827 |     1204   1526 |        0 |        0
148.07/148.15	c  148s |      20 |   785096 |   766527 |     1204   1541 |        0 |        0
150.07/150.16	c  150s |      20 |   795186 |   776327 |     1204   1557 |        0 |        0
152.07/152.18	c  152s |      20 |   805510 |   786427 |     1204   1572 |        0 |        0
154.07/154.18	c  154s |      20 |   815751 |   796427 |     1204   1588 |        0 |        0
156.07/156.19	c  156s |      20 |   825717 |   806227 |     1204   1603 |        0 |        0
158.17/158.20	c  158s |      20 |   835708 |   815927 |     1204   1618 |        0 |        0
160.16/160.21	c  160s |      20 |   845577 |   825327 |     1204   1633 |        0 |        0
162.16/162.22	c  162s |      20 |   855598 |   835127 |     1204   1648 |        0 |        0
164.17/164.24	c  164s |      20 |   865523 |   844827 |     1204   1664 |        0 |        0
166.16/166.25	c  166s |      20 |   875268 |   854327 |     1204   1678 |        0 |        0
168.16/168.27	c  168s |      20 |   885111 |   863827 |     1204   1693 |        0 |        0
170.16/170.27	c  170s |      20 |   895131 |   873527 |     1204   1709 |        0 |        0
172.16/172.29	c  172s |      20 |   905274 |   883327 |     1204   1724 |        0 |        0
174.16/174.29	c  174s |      20 |   914927 |   892727 |     1204   1738 |        0 |        0
176.26/176.31	c  176s |      20 |   924801 |   902327 |     1204   1754 |        0 |        0
178.26/178.32	c  178s |      20 |   934395 |   911727 |     1204   1768 |        0 |        0
180.27/180.33	c  180s |      20 |   944111 |   921127 |     1204   1783 |        0 |        0
182.27/182.34	c  182s |      20 |   954066 |   930827 |     1204   1798 |        0 |        0
184.27/184.36	c  184s |      20 |   964242 |   940727 |     1204   1813 |        0 |        0
186.26/186.37	c  186s |      20 |   974071 |   950227 |     1204   1828 |        0 |        0
188.27/188.38	c  188s |      20 |   983910 |   959727 |     1204   1843 |        0 |        0
190.26/190.40	c  190s |      20 |   993429 |   968927 |     1204   1858 |        0 |        0
192.36/192.41	c  192s |      20 |  1003296 |   978527 |     1204   1873 |        0 |        0
194.36/194.41	c  194s |      20 |  1012822 |   987827 |     1204   1887 |        0 |        0
196.36/196.42	c  196s |      20 |  1022602 |   997327 |     1325   1901 |        0 |        0
196.96/197.07	c  197s |      21 |  1025701 |  1000345 |     1325   1906 |        0 |        0
198.96/199.08	c  199s |      21 |  1036136 |  1010245 |     1325   1920 |        0 |        0
201.06/201.10	c  201s |      21 |  1046680 |  1020345 |     1325   1934 |        0 |        0
203.06/203.11	c  203s |      21 |  1056696 |  1030145 |     1325   1948 |        0 |        0
205.06/205.11	c  205s |      21 |  1066826 |  1040045 |     1325   1962 |        0 |        0
207.07/207.13	c  207s |      21 |  1076718 |  1049745 |     1325   1976 |        0 |        0
209.06/209.14	c  209s |      21 |  1086678 |  1059345 |     1325   1990 |        0 |        0
211.06/211.14	c  211s |      21 |  1096929 |  1069245 |     1325   2004 |        0 |        0
213.06/213.14	c  213s |      21 |  1106797 |  1078845 |     1325   2018 |        0 |        0
215.06/215.15	c  215s |      21 |  1116447 |  1088245 |     1325   2031 |        0 |        0
217.06/217.16	c  217s |      21 |  1126434 |  1097945 |     1325   2045 |        0 |        0
219.06/219.17	c  219s |      21 |  1136227 |  1107545 |     1325   2059 |        0 |        0
221.06/221.18	c  221s |      21 |  1145939 |  1117045 |     1325   2072 |        0 |        0
223.05/223.19	c  223s |      21 |  1155463 |  1126245 |     1325   2086 |        0 |        0
225.15/225.20	c  225s |      21 |  1165222 |  1135845 |     1325   2099 |        0 |        0
227.15/227.22	c  227s |      21 |  1174826 |  1145245 |     1325   2113 |        0 |        0
229.15/229.23	c  229s |      21 |  1184488 |  1154545 |     1325   2126 |        0 |        0
231.16/231.25	c  231s |      21 |  1194054 |  1163845 |     1325   2139 |        0 |        0
233.15/233.27	c  233s |      21 |  1203754 |  1173145 |     1325   2153 |        0 |        0
235.15/235.28	c  235s |      21 |  1213524 |  1182645 |     1325   2166 |        0 |        0
237.16/237.29	c  237s |      21 |  1223334 |  1192045 |     1325   2180 |        0 |        0
239.26/239.30	c  239s |      21 |  1233163 |  1201545 |     1325   2193 |        0 |        0
241.26/241.30	c  241s |      21 |  1242914 |  1211045 |     1325   2207 |        0 |        0
243.26/243.32	c  243s |      21 |  1252482 |  1220245 |     1325   2220 |        0 |        0
245.25/245.33	c  245s |      21 |  1262017 |  1229545 |     1325   2233 |        0 |        0
247.25/247.33	c  247s |      21 |  1271509 |  1238745 |     1325   2246 |        0 |        0
249.25/249.35	c  249s |      21 |  1281115 |  1248045 |     1325   2260 |        0 |        0
251.25/251.36	c  251s |      21 |  1290393 |  1257045 |     1325   2273 |        0 |        0
253.26/253.38	c  253s |      21 |  1299840 |  1266245 |     1325   2286 |        0 |        0
255.25/255.38	c  255s |      21 |  1309619 |  1275745 |     1325   2299 |        0 |        0
257.25/257.40	c  257s |      21 |  1319202 |  1285145 |     1325   2313 |        0 |        0
259.35/259.40	c  259s |      21 |  1328835 |  1294445 |     1325   2326 |        0 |        0
261.35/261.42	c  261s |      21 |  1338300 |  1303645 |     1325   2339 |        0 |        0
263.35/263.42	c  263s |      21 |  1347782 |  1312945 |     1325   2352 |        0 |        0
265.35/265.42	c  265s |      21 |  1357160 |  1322045 |     1325   2365 |        0 |        0
267.35/267.43	c  267s |      21 |  1366689 |  1331245 |     1325   2379 |        0 |        0
269.35/269.45	c  269s |      21 |  1376155 |  1340345 |     1325   2392 |        0 |        0
271.35/271.47	c  271s |      21 |  1385572 |  1349445 |     1325   2405 |        0 |        0
273.35/273.48	c  273s |      21 |  1394891 |  1358045 |     1325   2417 |        0 |        0
275.35/275.48	c  275s |      21 |  1404979 |  1367745 |     1325   2431 |        0 |        0
277.35/277.49	c  277s |      21 |  1414753 |  1377345 |     1325   2445 |        0 |        0
279.44/279.51	c  279s |      21 |  1424777 |  1387045 |     1325   2458 |        0 |        0
281.44/281.52	c  281s |      21 |  1434570 |  1396545 |     1325   2472 |        0 |        0
283.43/283.55	c  283s |      21 |  1444476 |  1406045 |     1325   2486 |        0 |        0
285.43/285.56	c  285s |      21 |  1454017 |  1415245 |     1325   2499 |        0 |        0
287.43/287.58	c  287s |      21 |  1464006 |  1424945 |     1325   2513 |        0 |        0
289.44/289.60	c  289s |      21 |  1473650 |  1434345 |     1325   2526 |        0 |        0
291.53/291.62	c  291s |      21 |  1483264 |  1443545 |     1325   2539 |        0 |        0
293.53/293.64	c  293s |      21 |  1492909 |  1452745 |     1325   2552 |        0 |        0
295.53/295.66	c  295s |      21 |  1502321 |  1461945 |     1325   2565 |        0 |        0
297.53/297.67	c  297s |      21 |  1512237 |  1471545 |     1325   2579 |        0 |        0
299.53/299.68	c  299s |      21 |  1522018 |  1480945 |     1325   2592 |        0 |        0
301.54/301.69	c  301s |      21 |  1531738 |  1490345 |     1458   2606 |        0 |        0
303.63/303.71	c  303s |      21 |  1541241 |  1499545 |     1458   2618 |        0 |        0
303.83/303.95	c  303s |      22 |  1542356 |  1500622 |     1458   2619 |        0 |        0
305.83/305.96	c  305s |      22 |  1552178 |  1510122 |     1458   2631 |        0 |        0
307.83/307.98	c  307s |      22 |  1561797 |  1519522 |     1458   2644 |        0 |        0
309.83/309.99	c  309s |      22 |  1571738 |  1529122 |     1458   2656 |        0 |        0
311.93/312.01	c  311s |      22 |  1581294 |  1538322 |     1458   2668 |        0 |        0
313.93/314.01	c  313s |      22 |  1590713 |  1547422 |     1458   2680 |        0 |        0
315.93/316.02	c  316s |      22 |  1600419 |  1556822 |     1458   2692 |        0 |        0
317.93/318.05	c  318s |      22 |  1610466 |  1566422 |     1458   2705 |        0 |        0
319.93/320.06	c  320s |      22 |  1620153 |  1575722 |     1458   2717 |        0 |        0
321.93/322.07	c  322s |      22 |  1629854 |  1585022 |     1458   2729 |        0 |        0
323.92/324.08	c  324s |      22 |  1639507 |  1594122 |     1458   2741 |        0 |        0
325.92/326.09	c  326s |      22 |  1648967 |  1603122 |     1458   2752 |        0 |        0
328.03/328.11	c  328s |      22 |  1658463 |  1612322 |     1458   2764 |        0 |        0
330.02/330.12	c  330s |      22 |  1668309 |  1621922 |     1458   2777 |        0 |        0
332.02/332.12	c  332s |      22 |  1678283 |  1631622 |     1458   2789 |        0 |        0
334.01/334.13	c  334s |      22 |  1687777 |  1640922 |     1458   2801 |        0 |        0
336.01/336.13	c  336s |      22 |  1697279 |  1650222 |     1458   2814 |        0 |        0
338.01/338.13	c  338s |      22 |  1706536 |  1659222 |     1458   2825 |        0 |        0
340.02/340.15	c  340s |      22 |  1715857 |  1668322 |     1458   2837 |        0 |        0
342.01/342.16	c  342s |      22 |  1725287 |  1677522 |     1458   2849 |        0 |        0
344.01/344.17	c  344s |      22 |  1734589 |  1686622 |     1458   2861 |        0 |        0
346.01/346.17	c  346s |      22 |  1743994 |  1695622 |     1458   2873 |        0 |        0
348.01/348.18	c  348s |      22 |  1753475 |  1704722 |     1458   2884 |        0 |        0
350.11/350.20	c  350s |      22 |  1763167 |  1714122 |     1458   2897 |        0 |        0
352.11/352.21	c  352s |      22 |  1772800 |  1723522 |     1458   2909 |        0 |        0
354.10/354.23	c  354s |      22 |  1782286 |  1732622 |     1458   2921 |        0 |        0
356.10/356.24	c  356s |      22 |  1791722 |  1741822 |     1458   2933 |        0 |        0
358.10/358.25	c  358s |      22 |  1801165 |  1750922 |     1458   2945 |        0 |        0
360.10/360.25	c  360s |      22 |  1810572 |  1759922 |     1458   2956 |        0 |        0
362.11/362.26	c  362s |      22 |  1819855 |  1769022 |     1458   2968 |        0 |        0
364.10/364.27	c  364s |      22 |  1829132 |  1778022 |     1458   2980 |        0 |        0
366.10/366.29	c  366s |      22 |  1838696 |  1787222 |     1458   2992 |        0 |        0
368.10/368.29	c  368s |      22 |  1848231 |  1796522 |     1458   3004 |        0 |        0
370.19/370.30	c  370s |      22 |  1857629 |  1805722 |     1458   3016 |        0 |        0
372.19/372.30	c  372s |      22 |  1866694 |  1814522 |     1458   3027 |        0 |        0
374.20/374.32	c  374s |      22 |  1876323 |  1823922 |     1458   3040 |        0 |        0
376.19/376.33	c  376s |      22 |  1885790 |  1833022 |     1458   3051 |        0 |        0
378.19/378.33	c  378s |      22 |  1895286 |  1842022 |     1458   3063 |        0 |        0
380.19/380.34	c  380s |      22 |  1904481 |  1850922 |     1458   3075 |        0 |        0
382.19/382.34	c  382s |      22 |  1913617 |  1859622 |     1458   3086 |        0 |        0
384.18/384.36	c  384s |      22 |  1922593 |  1868122 |     1458   3097 |        0 |        0
386.19/386.36	c  386s |      22 |  1932294 |  1877622 |     1458   3109 |        0 |        0
388.18/388.37	c  388s |      22 |  1941764 |  1886822 |     1458   3121 |        0 |        0
390.18/390.37	c  390s |      22 |  1951214 |  1896022 |     1458   3133 |        0 |        0
392.18/392.38	c  392s |      22 |  1960549 |  1905122 |     1458   3145 |        0 |        0
394.18/394.39	c  394s |      22 |  1969969 |  1914322 |     1458   3157 |        0 |        0
396.18/396.39	c  396s |      22 |  1979377 |  1923522 |     1458   3169 |        0 |        0
398.18/398.39	c  398s |      22 |  1988638 |  1932522 |     1458   3181 |        0 |        0
400.18/400.39	c  400s |      22 |  1997891 |  1941422 |     1458   3193 |        0 |        0
402.28/402.40	c  402s |      22 |  2006974 |  1950222 |     1458   3204 |        0 |        0
404.28/404.41	c  404s |      22 |  2015954 |  1959022 |     1458   3215 |        0 |        0
406.28/406.42	c  406s |      22 |  2025275 |  1967822 |     1458   3227 |        0 |        0
408.29/408.43	c  408s |      22 |  2034547 |  1976722 |     1458   3239 |        0 |        0
410.28/410.44	c  410s |      22 |  2043656 |  1985622 |     1458   3250 |        0 |        0
412.28/412.45	c  412s |      22 |  2053273 |  1994822 |     1458   3262 |        0 |        0
414.27/414.46	c  414s |      22 |  2062313 |  2003622 |     1458   3274 |        0 |        0
416.27/416.46	c  416s |      22 |  2071202 |  2012122 |     1458   3285 |        0 |        0
418.27/418.48	c  418s |      22 |  2080290 |  2020922 |     1458   3296 |        0 |        0
420.38/420.51	c  420s |      22 |  2089459 |  2029722 |     1458   3308 |        0 |        0
422.37/422.52	c  422s |      22 |  2098742 |  2038722 |     1458   3319 |        0 |        0
424.37/424.54	c  424s |      22 |  2108275 |  2047822 |     1458   3331 |        0 |        0
426.37/426.54	c  426s |      22 |  2117576 |  2056822 |     1458   3343 |        0 |        0
428.37/428.54	c  428s |      22 |  2126934 |  2065822 |     1458   3354 |        0 |        0
430.37/430.55	c  430s |      22 |  2136339 |  2074822 |     1458   3366 |        0 |        0
432.37/432.57	c  432s |      22 |  2145917 |  2083622 |     1458   3378 |        0 |        0
434.36/434.58	c  434s |      22 |  2155181 |  2092522 |     1458   3389 |        0 |        0
436.36/436.58	c  436s |      22 |  2164222 |  2101322 |     1458   3401 |        0 |        0
438.46/438.60	c  438s |      22 |  2173403 |  2110322 |     1458   3412 |        0 |        0
440.46/440.61	c  440s |      22 |  2182498 |  2119122 |     1458   3424 |        0 |        0
442.45/442.62	c  442s |      22 |  2191837 |  2128122 |     1458   3436 |        0 |        0
444.46/444.64	c  444s |      22 |  2201002 |  2137022 |     1458   3447 |        0 |        0
446.45/446.66	c  446s |      22 |  2209948 |  2145722 |     1458   3458 |        0 |        0
448.45/448.66	c  448s |      22 |  2219013 |  2154422 |     1458   3470 |        0 |        0
450.45/450.68	c  450s |      22 |  2228138 |  2163222 |     1458   3481 |        0 |        0
452.45/452.69	c  452s |      22 |  2236981 |  2171822 |     1458   3492 |        0 |        0
454.55/454.70	c  454s |      22 |  2245983 |  2180322 |     1458   3503 |        0 |        0
456.56/456.71	c  456s |      22 |  2255158 |  2189222 |     1458   3515 |        0 |        0
458.55/458.72	c  458s |      22 |  2264412 |  2198222 |     1458   3527 |        0 |        0
460.55/460.73	c  460s |      22 |  2273952 |  2207422 |     1458   3539 |        0 |        0
462.54/462.74	c  462s |      22 |  2283213 |  2216422 |     1458   3550 |        0 |        0
464.54/464.76	c  464s |      22 |  2292648 |  2225522 |     1458   3562 |        0 |        0
466.55/466.76	c  466s |      22 |  2301857 |  2234422 |     1458   3574 |        0 |        0
468.54/468.78	c  468s |      22 |  2311075 |  2243322 |     1604   3584 |        0 |        0
470.34/470.56	c  470s |      23 |  2318911 |  2251038 |     1604   3593 |        0 |        0
472.34/472.57	c  472s |      23 |  2328679 |  2260338 |     1604   3604 |        0 |        0
474.34/474.59	c  474s |      23 |  2338077 |  2269438 |     1604   3615 |        0 |        0
476.35/476.60	c  476s |      23 |  2347339 |  2278438 |     1604   3626 |        0 |        0
478.44/478.62	c  478s |      23 |  2356466 |  2287238 |     1604   3636 |        0 |        0
480.44/480.63	c  480s |      23 |  2365652 |  2296038 |     1604   3647 |        0 |        0
482.44/482.65	c  482s |      23 |  2375073 |  2305238 |     1604   3658 |        0 |        0
484.44/484.67	c  484s |      23 |  2384180 |  2314138 |     1604   3668 |        0 |        0
486.44/486.68	c  486s |      23 |  2393318 |  2322938 |     1604   3679 |        0 |        0
488.45/488.69	c  488s |      23 |  2402151 |  2331438 |     1604   3689 |        0 |        0
490.54/490.71	c  490s |      23 |  2411759 |  2340738 |     1604   3700 |        0 |        0
492.54/492.72	c  492s |      23 |  2420988 |  2349738 |     1604   3710 |        0 |        0
494.54/494.74	c  494s |      23 |  2429963 |  2358538 |     1604   3721 |        0 |        0
496.54/496.75	c  496s |      23 |  2438856 |  2367238 |     1604   3731 |        0 |        0
498.54/498.76	c  498s |      23 |  2447897 |  2376038 |     1604   3742 |        0 |        0
500.54/500.77	c  500s |      23 |  2457171 |  2384838 |     1604   3752 |        0 |        0
502.53/502.79	c  502s |      23 |  2466062 |  2393338 |     1604   3762 |        0 |        0
504.63/504.80	c  504s |      23 |  2474521 |  2401538 |     1604   3772 |        0 |        0
506.63/506.82	c  506s |      23 |  2484321 |  2410738 |     1604   3783 |        0 |        0
508.63/508.84	c  508s |      23 |  2493663 |  2419838 |     1604   3794 |        0 |        0
510.63/510.85	c  510s |      23 |  2502807 |  2428638 |     1604   3804 |        0 |        0
512.63/512.86	c  512s |      23 |  2511831 |  2437438 |     1604   3814 |        0 |        0
514.63/514.87	c  514s |      23 |  2520867 |  2446238 |     1604   3825 |        0 |        0
516.63/516.89	c  516s |      23 |  2530024 |  2455038 |     1604   3835 |        0 |        0
518.73/518.90	c  518s |      23 |  2539216 |  2464038 |     1604   3846 |        0 |        0
520.72/520.93	c  520s |      23 |  2548409 |  2472938 |     1604   3857 |        0 |        0
522.72/522.94	c  522s |      23 |  2557394 |  2481638 |     1604   3867 |        0 |        0
524.73/524.96	c  524s |      23 |  2566552 |  2490438 |     1604   3877 |        0 |        0
526.72/526.96	c  526s |      23 |  2575748 |  2499238 |     1604   3888 |        0 |        0
528.72/528.96	c  528s |      23 |  2584759 |  2507938 |     1604   3898 |        0 |        0
530.72/530.99	c  530s |      23 |  2593621 |  2516538 |     1604   3908 |        0 |        0
532.71/532.99	c  532s |      23 |  2602723 |  2525338 |     1604   3919 |        0 |        0
534.81/535.01	c  534s |      23 |  2611961 |  2534238 |     1604   3929 |        0 |        0
536.82/537.03	c  537s |      23 |  2621167 |  2542938 |     1604   3940 |        0 |        0
538.81/539.05	c  539s |      23 |  2630211 |  2551538 |     1604   3950 |        0 |        0
540.81/541.07	c  541s |      23 |  2639213 |  2560138 |     1604   3960 |        0 |        0
542.81/543.07	c  543s |      23 |  2648261 |  2568738 |     1604   3970 |        0 |        0
544.81/545.07	c  545s |      23 |  2657234 |  2577338 |     1604   3980 |        0 |        0
546.81/547.08	c  547s |      23 |  2666435 |  2586238 |     1604   3991 |        0 |        0
548.81/549.09	c  549s |      23 |  2675530 |  2595038 |     1604   4001 |        0 |        0
550.91/551.12	c  551s |      23 |  2684606 |  2603538 |     1604   4012 |        0 |        0
552.90/553.13	c  553s |      23 |  2693505 |  2611938 |     1604   4022 |        0 |        0
554.90/555.13	c  555s |      23 |  2702223 |  2620238 |     1604   4031 |        0 |        0
556.90/557.14	c  557s |      23 |  2711381 |  2628838 |     1604   4042 |        0 |        0
558.91/559.15	c  559s |      23 |  2720475 |  2637438 |     1604   4052 |        0 |        0
560.90/561.15	c  561s |      23 |  2729235 |  2645838 |     1604   4062 |        0 |        0
562.90/563.15	c  563s |      23 |  2738231 |  2654438 |     1604   4072 |        0 |        0
564.90/565.17	c  565s |      23 |  2747490 |  2663338 |     1604   4083 |        0 |        0
566.90/567.19	c  567s |      23 |  2756556 |  2672138 |     1604   4093 |        0 |        0
568.90/569.20	c  569s |      23 |  2765392 |  2680738 |     1604   4103 |        0 |        0
571.01/571.21	c  571s |      23 |  2774389 |  2689538 |     1604   4114 |        0 |        0
573.00/573.22	c  573s |      23 |  2783327 |  2698238 |     1604   4124 |        0 |        0
575.00/575.24	c  575s |      23 |  2792257 |  2706838 |     1604   4134 |        0 |        0
577.00/577.26	c  577s |      23 |  2800886 |  2715238 |     1604   4144 |        0 |        0
579.00/579.26	c  579s |      23 |  2809579 |  2723738 |     1604   4154 |        0 |        0
580.99/581.28	c  581s |      23 |  2818257 |  2732238 |     1604   4165 |        0 |        0
583.00/583.30	c  583s |      23 |  2827182 |  2740838 |     1604   4175 |        0 |        0
585.09/585.31	c  585s |      23 |  2835880 |  2749238 |     1604   4185 |        0 |        0
587.09/587.32	c  587s |      23 |  2844550 |  2757538 |     1604   4195 |        0 |        0
589.09/589.32	c  589s |      23 |  2853295 |  2766038 |     1604   4205 |        0 |        0
591.09/591.35	c  591s |      23 |  2862093 |  2774438 |     1604   4215 |        0 |        0
593.08/593.35	c  593s |      23 |  2871117 |  2783138 |     1604   4225 |        0 |        0
595.09/595.36	c  595s |      23 |  2880210 |  2792038 |     1604   4236 |        0 |        0
597.08/597.36	c  597s |      23 |  2889385 |  2800938 |     1604   4246 |        0 |        0
599.08/599.38	c  599s |      23 |  2898751 |  2810038 |     1604   4257 |        0 |        0
601.18/601.40	c  601s |      23 |  2907902 |  2818938 |     1604   4267 |        0 |        0
603.17/603.41	c  603s |      23 |  2916877 |  2827638 |     1604   4278 |        0 |        0
605.17/605.41	c  605s |      23 |  2925650 |  2836138 |     1604   4288 |        0 |        0
607.18/607.43	c  607s |      23 |  2934618 |  2844838 |     1604   4298 |        0 |        0
609.17/609.45	c  609s |      23 |  2943319 |  2853238 |     1604   4308 |        0 |        0
611.17/611.45	c  611s |      23 |  2952296 |  2862038 |     1604   4319 |        0 |        0
613.17/613.46	c  613s |      23 |  2961214 |  2870738 |     1604   4329 |        0 |        0
615.17/615.49	c  615s |      23 |  2970208 |  2879338 |     1604   4339 |        0 |        0
617.17/617.49	c  617s |      23 |  2978915 |  2887838 |     1604   4349 |        0 |        0
619.17/619.50	c  619s |      23 |  2987590 |  2896238 |     1604   4359 |        0 |        0
621.27/621.51	c  621s |      23 |  2996511 |  2904938 |     1604   4370 |        0 |        0
623.26/623.51	c  623s |      23 |  3005372 |  2913338 |     1604   4380 |        0 |        0
625.26/625.51	c  625s |      23 |  3014231 |  2921838 |     1604   4390 |        0 |        0
627.26/627.54	c  627s |      23 |  3022769 |  2930238 |     1604   4400 |        0 |        0
629.27/629.55	c  629s |      23 |  3031596 |  2938738 |     1604   4410 |        0 |        0
631.26/631.57	c  631s |      23 |  3040098 |  2946938 |     1604   4420 |        0 |        0
633.26/633.58	c  633s |      23 |  3049087 |  2955538 |     1604   4430 |        0 |        0
635.26/635.59	c  635s |      23 |  3057782 |  2964038 |     1604   4440 |        0 |        0
637.26/637.59	c  637s |      23 |  3066645 |  2972538 |     1604   4450 |        0 |        0
639.36/639.60	c  639s |      23 |  3075346 |  2981038 |     1604   4460 |        0 |        0
641.36/641.62	c  641s |      23 |  3083938 |  2989338 |     1604   4470 |        0 |        0
643.35/643.63	c  643s |      23 |  3092609 |  2997738 |     1604   4480 |        0 |        0
645.35/645.64	c  645s |      23 |  3101360 |  3006038 |     1604   4490 |        0 |        0
647.35/647.64	c  647s |      23 |  3110285 |  3014438 |     1604   4500 |        0 |        0
649.35/649.66	c  649s |      23 |  3118998 |  3022638 |     1604   4510 |        0 |        0
651.35/651.67	c  651s |      23 |  3127455 |  3030638 |     1604   4519 |        0 |        0
653.36/653.68	c  653s |      23 |  3136669 |  3039438 |     1604   4529 |        0 |        0
655.35/655.69	c  655s |      23 |  3145733 |  3048238 |     1604   4540 |        0 |        0
657.45/657.70	c  657s |      23 |  3154738 |  3056938 |     1604   4550 |        0 |        0
659.45/659.71	c  659s |      23 |  3163607 |  3065538 |     1604   4560 |        0 |        0
661.45/661.72	c  661s |      23 |  3172323 |  3074038 |     1604   4570 |        0 |        0
663.44/663.73	c  663s |      23 |  3180949 |  3082438 |     1604   4580 |        0 |        0
665.45/665.75	c  665s |      23 |  3189575 |  3090938 |     1604   4590 |        0 |        0
667.45/667.76	c  667s |      23 |  3198390 |  3099438 |     1604   4601 |        0 |        0
669.45/669.79	c  669s |      23 |  3207181 |  3107838 |     1604   4611 |        0 |        0
671.55/671.80	c  671s |      23 |  3215963 |  3116338 |     1604   4621 |        0 |        0
673.55/673.82	c  673s |      23 |  3224780 |  3124838 |     1604   4631 |        0 |        0
675.55/675.84	c  675s |      23 |  3233484 |  3133138 |     1604   4641 |        0 |        0
677.55/677.85	c  677s |      23 |  3242102 |  3141038 |     1604   4650 |        0 |        0
679.55/679.87	c  679s |      23 |  3250492 |  3149038 |     1604   4659 |        0 |        0
681.54/681.87	c  681s |      23 |  3259149 |  3157238 |     1604   4669 |        0 |        0
683.54/683.89	c  683s |      23 |  3267680 |  3165238 |     1604   4679 |        0 |        0
685.64/685.91	c  685s |      23 |  3276284 |  3173538 |     1604   4689 |        0 |        0
687.64/687.91	c  687s |      23 |  3284752 |  3181738 |     1604   4698 |        0 |        0
689.64/689.92	c  689s |      23 |  3293004 |  3189738 |     1604   4708 |        0 |        0
691.64/691.93	c  691s |      23 |  3301517 |  3198038 |     1604   4718 |        0 |        0
693.63/693.93	c  693s |      23 |  3309869 |  3206138 |     1604   4727 |        0 |        0
695.63/695.93	c  695s |      23 |  3318257 |  3214238 |     1604   4737 |        0 |        0
697.63/697.94	c  697s |      23 |  3326830 |  3222338 |     1604   4746 |        0 |        0
699.64/699.96	c  699s |      23 |  3335202 |  3230238 |     1604   4756 |        0 |        0
701.63/701.98	c  701s |      23 |  3343546 |  3238238 |     1604   4765 |        0 |        0
703.63/703.99	c  703s |      23 |  3351914 |  3246338 |     1604   4775 |        0 |        0
705.73/706.01	c  705s |      23 |  3361040 |  3255238 |     1604   4786 |        0 |        0
707.73/708.02	c  708s |      23 |  3369981 |  3263938 |     1604   4796 |        0 |        0
709.73/710.02	c  710s |      23 |  3378656 |  3272438 |     1604   4806 |        0 |        0
711.73/712.04	c  712s |      23 |  3387578 |  3281038 |     1604   4816 |        0 |        0
713.72/714.05	c  714s |      23 |  3396367 |  3289638 |     1604   4826 |        0 |        0
715.72/716.06	c  716s |      23 |  3404896 |  3298038 |     1604   4836 |        0 |        0
717.72/718.07	c  718s |      23 |  3413591 |  3306538 |     1604   4846 |        0 |        0
719.72/720.08	c  720s |      23 |  3422163 |  3314838 |     1604   4856 |        0 |        0
721.72/722.09	c  722s |      23 |  3431177 |  3323538 |     1604   4866 |        0 |        0
723.72/724.10	c  724s |      23 |  3439816 |  3331638 |     1604   4876 |        0 |        0
725.82/726.12	c  726s |      23 |  3448430 |  3339938 |     1604   4886 |        0 |        0
727.82/728.14	c  728s |      23 |  3456914 |  3348238 |     1604   4896 |        0 |        0
729.82/730.14	c  730s |      23 |  3465390 |  3356438 |     1765   4905 |        0 |        0
731.81/732.16	c  732s |      23 |  3473893 |  3364638 |     1765   4914 |        0 |        0
733.81/734.17	c  734s |      23 |  3482721 |  3373138 |     1765   4923 |        0 |        0
734.71/735.03	c  735s |      24 |  3486407 |  3376662 |     1765   4927 |        0 |        0
736.71/737.03	c  737s |      24 |  3495307 |  3385162 |     1765   4936 |        0 |        0
738.71/739.05	c  739s |      24 |  3504124 |  3393562 |     1765   4945 |        0 |        0
740.71/741.06	c  741s |      24 |  3512715 |  3401862 |     1765   4954 |        0 |        0
742.71/743.07	c  743s |      24 |  3521350 |  3410162 |     1765   4963 |        0 |        0
744.71/745.10	c  745s |      24 |  3530684 |  3418762 |     1765   4973 |        0 |        0
746.81/747.10	c  747s |      24 |  3540112 |  3427262 |     1765   4982 |        0 |        0
748.80/749.12	c  749s |      24 |  3549004 |  3435462 |     1765   4991 |        0 |        0
750.80/751.12	c  751s |      24 |  3557532 |  3443762 |     1765   5000 |        0 |        0
752.80/753.14	c  753s |      24 |  3566210 |  3452162 |     1765   5009 |        0 |        0
754.80/755.15	c  755s |      24 |  3574910 |  3460562 |     1765   5018 |        0 |        0
756.81/757.16	c  757s |      24 |  3583566 |  3468962 |     1765   5027 |        0 |        0
758.80/759.17	c  759s |      24 |  3592630 |  3477762 |     1765   5036 |        0 |        0
760.80/761.18	c  761s |      24 |  3601607 |  3486462 |     1765   5046 |        0 |        0
762.79/763.19	c  763s |      24 |  3610629 |  3494962 |     1765   5055 |        0 |        0
764.89/765.21	c  765s |      24 |  3619286 |  3503462 |     1765   5064 |        0 |        0
766.89/767.22	c  767s |      24 |  3627824 |  3511662 |     1765   5073 |        0 |        0
768.90/769.23	c  769s |      24 |  3636484 |  3519962 |     1765   5082 |        0 |        0
770.89/771.23	c  771s |      24 |  3645034 |  3528262 |     1765   5091 |        0 |        0
772.89/773.24	c  773s |      24 |  3653907 |  3536562 |     1765   5100 |        0 |        0
774.89/775.25	c  775s |      24 |  3663281 |  3545062 |     1765   5109 |        0 |        0
776.89/777.27	c  777s |      24 |  3672047 |  3553462 |     1765   5118 |        0 |        0
778.89/779.28	c  779s |      24 |  3680590 |  3561762 |     1765   5127 |        0 |        0
780.90/781.28	c  781s |      24 |  3689177 |  3569962 |     1765   5136 |        0 |        0
782.89/783.28	c  783s |      24 |  3697995 |  3578462 |     1765   5146 |        0 |        0
784.89/785.29	c  785s |      24 |  3706972 |  3586562 |     1765   5154 |        0 |        0
786.99/787.31	c  787s |      24 |  3715535 |  3594862 |     1765   5163 |        0 |        0
788.99/789.31	c  789s |      24 |  3724057 |  3603062 |     1765   5172 |        0 |        0
790.99/791.32	c  791s |      24 |  3732557 |  3611062 |     1765   5181 |        0 |        0
793.00/793.34	c  793s |      24 |  3741132 |  3619062 |     1765   5190 |        0 |        0
794.99/795.35	c  795s |      24 |  3749443 |  3626962 |     1765   5198 |        0 |        0
796.99/797.35	c  797s |      24 |  3757868 |  3634762 |     1765   5207 |        0 |        0
798.99/799.35	c  799s |      24 |  3766365 |  3642862 |     1765   5215 |        0 |        0
800.99/801.37	c  801s |      24 |  3774752 |  3650862 |     1765   5224 |        0 |        0
802.99/803.37	c  803s |      24 |  3783177 |  3659062 |     1765   5233 |        0 |        0
804.98/805.38	c  805s |      24 |  3791511 |  3667162 |     1765   5242 |        0 |        0
806.98/807.38	c  807s |      24 |  3800064 |  3675462 |     1765   5251 |        0 |        0
808.98/809.39	c  809s |      24 |  3808946 |  3684062 |     1765   5260 |        0 |        0
811.08/811.42	c  811s |      24 |  3817362 |  3692262 |     1765   5269 |        0 |        0
813.08/813.45	c  813s |      24 |  3825815 |  3700362 |     1765   5278 |        0 |        0
815.09/815.45	c  815s |      24 |  3833916 |  3708262 |     1765   5286 |        0 |        0
817.08/817.45	c  817s |      24 |  3842258 |  3716362 |     1765   5295 |        0 |        0
819.08/819.47	c  819s |      24 |  3850636 |  3724362 |     1765   5304 |        0 |        0
821.08/821.49	c  821s |      24 |  3858977 |  3732462 |     1765   5312 |        0 |        0
823.17/823.50	c  823s |      24 |  3867252 |  3740462 |     1765   5321 |        0 |        0
825.17/825.50	c  825s |      24 |  3875355 |  3748262 |     1765   5330 |        0 |        0
827.18/827.51	c  827s |      24 |  3883856 |  3756562 |     1765   5338 |        0 |        0
829.17/829.53	c  829s |      24 |  3892170 |  3764562 |     1765   5347 |        0 |        0
831.17/831.53	c  831s |      24 |  3900217 |  3772362 |     1765   5356 |        0 |        0
833.17/833.53	c  833s |      24 |  3908192 |  3780062 |     1765   5364 |        0 |        0
835.17/835.56	c  835s |      24 |  3916318 |  3787962 |     1765   5373 |        0 |        0
837.17/837.56	c  837s |      24 |  3924464 |  3795862 |     1765   5381 |        0 |        0
839.17/839.56	c  839s |      24 |  3933162 |  3804162 |     1765   5390 |        0 |        0
841.17/841.58	c  841s |      24 |  3941520 |  3812262 |     1765   5399 |        0 |        0
843.16/843.59	c  843s |      24 |  3949777 |  3820262 |     1765   5408 |        0 |        0
845.26/845.61	c  845s |      24 |  3958234 |  3828462 |     1765   5416 |        0 |        0
847.26/847.62	c  847s |      24 |  3966461 |  3836462 |     1765   5425 |        0 |        0
849.26/849.62	c  849s |      24 |  3974691 |  3844562 |     1765   5434 |        0 |        0
851.26/851.65	c  851s |      24 |  3983074 |  3852762 |     1765   5443 |        0 |        0
853.25/853.66	c  853s |      24 |  3991429 |  3860862 |     1765   5452 |        0 |        0
855.25/855.68	c  855s |      24 |  3999761 |  3868962 |     1765   5460 |        0 |        0
857.25/857.69	c  857s |      24 |  4008053 |  3876862 |     1765   5469 |        0 |        0
859.25/859.69	c  859s |      24 |  4016885 |  3885062 |     1765   5478 |        0 |        0
861.35/861.70	c  861s |      24 |  4025225 |  3893162 |     1765   5487 |        0 |        0
863.36/863.71	c  863s |      24 |  4033398 |  3901162 |     1765   5495 |        0 |        0
865.36/865.72	c  865s |      24 |  4041396 |  3908962 |     1765   5504 |        0 |        0
867.36/867.74	c  867s |      24 |  4049635 |  3916962 |     1765   5512 |        0 |        0
869.35/869.74	c  869s |      24 |  4057828 |  3924862 |     1765   5521 |        0 |        0
871.35/871.76	c  871s |      24 |  4066205 |  3932762 |     1765   5530 |        0 |        0
873.36/873.78	c  873s |      24 |  4074442 |  3940762 |     1765   5538 |        0 |        0
875.35/875.80	c  875s |      24 |  4082518 |  3948662 |     1765   5547 |        0 |        0
877.45/877.82	c  877s |      24 |  4090523 |  3956462 |     1765   5555 |        0 |        0
879.45/879.84	c  879s |      24 |  4099381 |  3964962 |     1765   5564 |        0 |        0
881.45/881.86	c  881s |      24 |  4108473 |  3973662 |     1765   5574 |        0 |        0
883.45/883.87	c  883s |      24 |  4117298 |  3982162 |     1765   5583 |        0 |        0
885.45/885.88	c  885s |      24 |  4125920 |  3990462 |     1765   5592 |        0 |        0
887.45/887.89	c  887s |      24 |  4134497 |  3998762 |     1765   5601 |        0 |        0
889.55/889.90	c  889s |      24 |  4142941 |  4006962 |     1765   5610 |        0 |        0
891.55/891.92	c  891s |      24 |  4151550 |  4015162 |     1765   5619 |        0 |        0
893.54/893.94	c  893s |      24 |  4159886 |  4023162 |     1765   5627 |        0 |        0
895.54/895.97	c  895s |      24 |  4168087 |  4031062 |     1765   5636 |        0 |        0
897.55/897.98	c  897s |      24 |  4176482 |  4038862 |     1765   5644 |        0 |        0
899.54/900.00	c  899s |      24 |  4184900 |  4046962 |     1765   5653 |        0 |        0
901.64/902.02	c  902s |      24 |  4193157 |  4054762 |     1765   5662 |        0 |        0
903.63/904.03	c  904s |      24 |  4201330 |  4062662 |     1765   5670 |        0 |        0
905.63/906.03	c  906s |      24 |  4209937 |  4070962 |     1765   5679 |        0 |        0
907.63/908.06	c  908s |      24 |  4218609 |  4079262 |     1765   5688 |        0 |        0
909.64/910.08	c  910s |      24 |  4227067 |  4087362 |     1765   5697 |        0 |        0
911.74/912.12	c  912s |      24 |  4235395 |  4095362 |     1765   5706 |        0 |        0
913.73/914.14	c  914s |      24 |  4243893 |  4103562 |     1765   5714 |        0 |        0
915.73/916.16	c  916s |      24 |  4252350 |  4111562 |     1765   5723 |        0 |        0
917.73/918.18	c  918s |      24 |  4260673 |  4119362 |     1765   5732 |        0 |        0
919.73/920.19	c  920s |      24 |  4269006 |  4127362 |     1765   5740 |        0 |        0
921.83/922.21	c  922s |      24 |  4277252 |  4135362 |     1765   5749 |        0 |        0
923.83/924.23	c  924s |      24 |  4285523 |  4143262 |     1765   5758 |        0 |        0
925.83/926.24	c  926s |      24 |  4293416 |  4150862 |     1765   5766 |        0 |        0
927.83/928.24	c  928s |      24 |  4301857 |  4158862 |     1765   5774 |        0 |        0
929.82/930.26	c  930s |      24 |  4310366 |  4166862 |     1765   5783 |        0 |        0
931.82/932.30	c  932s |      24 |  4318659 |  4174662 |     1765   5792 |        0 |        0
933.92/934.31	c  934s |      24 |  4326987 |  4182762 |     1765   5800 |        0 |        0
935.93/936.32	c  936s |      24 |  4335172 |  4190662 |     1765   5809 |        0 |        0
937.92/938.34	c  938s |      24 |  4343279 |  4198562 |     1765   5818 |        0 |        0
939.92/940.35	c  940s |      24 |  4351461 |  4206562 |     1765   5826 |        0 |        0
941.92/942.37	c  942s |      24 |  4359404 |  4214362 |     1765   5835 |        0 |        0
943.92/944.38	c  944s |      24 |  4367425 |  4222162 |     1765   5843 |        0 |        0
946.02/946.41	c  946s |      24 |  4375452 |  4229862 |     1765   5852 |        0 |        0
948.02/948.43	c  948s |      24 |  4383945 |  4238062 |     1765   5860 |        0 |        0
950.03/950.45	c  950s |      24 |  4392210 |  4245962 |     1765   5869 |        0 |        0
952.03/952.46	c  952s |      24 |  4400558 |  4253962 |     1765   5878 |        0 |        0
954.03/954.46	c  954s |      24 |  4408814 |  4262062 |     1765   5886 |        0 |        0
956.02/956.48	c  956s |      24 |  4417013 |  4269962 |     1765   5895 |        0 |        0
958.12/958.50	c  958s |      24 |  4425169 |  4277662 |     1765   5903 |        0 |        0
960.13/960.52	c  960s |      24 |  4433219 |  4285362 |     1765   5912 |        0 |        0
962.12/962.54	c  962s |      24 |  4441214 |  4292962 |     1765   5920 |        0 |        0
964.12/964.55	c  964s |      24 |  4449356 |  4300562 |     1765   5928 |        0 |        0
966.12/966.56	c  966s |      24 |  4457437 |  4308162 |     1765   5936 |        0 |        0
968.12/968.58	c  968s |      24 |  4465779 |  4315662 |     1765   5945 |        0 |        0
970.13/970.58	c  970s |      24 |  4474396 |  4323362 |     1765   5953 |        0 |        0
972.23/972.61	c  972s |      24 |  4482466 |  4331162 |     1765   5961 |        0 |        0
974.22/974.64	c  974s |      24 |  4490305 |  4338662 |     1765   5970 |        0 |        0
976.22/976.67	c  976s |      24 |  4498779 |  4346962 |     1765   5979 |        0 |        0
978.22/978.68	c  978s |      24 |  4506984 |  4354962 |     1765   5987 |        0 |        0
980.22/980.68	c  980s |      24 |  4515125 |  4362962 |     1765   5996 |        0 |        0
982.32/982.71	c  982s |      24 |  4523382 |  4370962 |     1765   6005 |        0 |        0
984.32/984.71	c  984s |      24 |  4531522 |  4378862 |     1765   6013 |        0 |        0
986.32/986.71	c  986s |      24 |  4539533 |  4386662 |     1765   6022 |        0 |        0
988.32/988.72	c  988s |      24 |  4547750 |  4394562 |     1765   6030 |        0 |        0
990.32/990.74	c  990s |      24 |  4555719 |  4402262 |     1765   6039 |        0 |        0
992.32/992.76	c  992s |      24 |  4563759 |  4409962 |     1765   6047 |        0 |        0
994.32/994.77	c  994s |      24 |  4571632 |  4417662 |     1765   6055 |        0 |        0
996.32/996.77	c  996s |      24 |  4579491 |  4425262 |     1765   6063 |        0 |        0
998.32/998.78	c  998s |      24 |  4587435 |  4432962 |     1765   6072 |        0 |        0
1000.32/1000.78	c 1000s |      24 |  4595459 |  4440762 |     1765   6080 |        0 |        0
1002.31/1002.79	c 1002s |      24 |  4603255 |  4448362 |     1765   6089 |        0 |        0
1004.41/1004.81	c 1004s |      24 |  4611280 |  4456162 |     1765   6097 |        0 |        0
1006.42/1006.84	c 1006s |      24 |  4619213 |  4463762 |     1765   6105 |        0 |        0
1008.41/1008.86	c 1008s |      24 |  4627324 |  4471562 |     1765   6114 |        0 |        0
1010.41/1010.87	c 1010s |      24 |  4635840 |  4479862 |     1765   6123 |        0 |        0
1012.41/1012.88	c 1012s |      24 |  4644409 |  4487962 |     1765   6131 |        0 |        0
1014.41/1014.89	c 1014s |      24 |  4652730 |  4495962 |     1765   6140 |        0 |        0
1016.51/1016.90	c 1016s |      24 |  4661012 |  4503962 |     1765   6149 |        0 |        0
1018.52/1018.91	c 1018s |      24 |  4669286 |  4512062 |     1765   6157 |        0 |        0
1020.51/1020.92	c 1020s |      24 |  4677440 |  4519962 |     1765   6166 |        0 |        0
1022.51/1022.92	c 1022s |      24 |  4685573 |  4527862 |     1765   6175 |        0 |        0
1024.51/1024.93	c 1024s |      24 |  4693730 |  4535662 |     1765   6183 |        0 |        0
1026.51/1026.94	c 1026s |      24 |  4701585 |  4543362 |     1765   6191 |        0 |        0
1028.51/1028.95	c 1028s |      24 |  4709685 |  4551162 |     1765   6200 |        0 |        0
1030.52/1030.95	c 1030s |      24 |  4717698 |  4558862 |     1765   6208 |        0 |        0
1032.51/1032.96	c 1032s |      24 |  4725703 |  4566562 |     1765   6216 |        0 |        0
1034.51/1034.96	c 1034s |      24 |  4733919 |  4574462 |     1765   6225 |        0 |        0
1036.51/1036.98	c 1036s |      24 |  4742347 |  4582662 |     1765   6234 |        0 |        0
1038.51/1038.99	c 1038s |      24 |  4750536 |  4590462 |     1765   6242 |        0 |        0
1040.60/1041.01	c 1040s |      24 |  4758567 |  4598262 |     1765   6251 |        0 |        0
1042.61/1043.01	c 1042s |      24 |  4766590 |  4605962 |     1765   6259 |        0 |        0
1044.60/1045.02	c 1045s |      24 |  4774541 |  4613662 |     1765   6268 |        0 |        0
1046.60/1047.04	c 1047s |      24 |  4782628 |  4621462 |     1765   6276 |        0 |        0
1048.60/1049.06	c 1049s |      24 |  4790506 |  4629062 |     1765   6284 |        0 |        0
1050.60/1051.08	c 1051s |      24 |  4798412 |  4636662 |     1765   6293 |        0 |        0
1052.61/1053.10	c 1053s |      24 |  4806856 |  4644862 |     1765   6301 |        0 |        0
1054.60/1055.10	c 1055s |      24 |  4814920 |  4652662 |     1765   6310 |        0 |        0
1056.70/1057.11	c 1057s |      24 |  4822986 |  4660462 |     1765   6318 |        0 |        0
1058.71/1059.13	c 1059s |      24 |  4831393 |  4668562 |     1765   6327 |        0 |        0
1060.71/1061.13	c 1061s |      24 |  4839429 |  4676362 |     1765   6336 |        0 |        0
1062.71/1063.14	c 1063s |      24 |  4847652 |  4684262 |     1765   6344 |        0 |        0
1064.72/1065.16	c 1065s |      24 |  4855714 |  4691962 |     1765   6352 |        0 |        0
1066.71/1067.16	c 1067s |      24 |  4863989 |  4699862 |     1765   6361 |        0 |        0
1068.71/1069.17	c 1069s |      24 |  4871898 |  4707562 |     1765   6369 |        0 |        0
1070.71/1071.18	c 1071s |      24 |  4879770 |  4715162 |     1765   6378 |        0 |        0
1072.71/1073.18	c 1073s |      24 |  4887637 |  4722662 |     1765   6386 |        0 |        0
1074.71/1075.19	c 1075s |      24 |  4895549 |  4730162 |     1765   6394 |        0 |        0
1076.71/1077.19	c 1077s |      24 |  4903471 |  4737762 |     1765   6402 |        0 |        0
1078.81/1079.20	c 1079s |      24 |  4911303 |  4745062 |     1765   6410 |        0 |        0
1080.80/1081.22	c 1081s |      24 |  4919528 |  4752762 |     1765   6418 |        0 |        0
1082.80/1083.25	c 1083s |      24 |  4927661 |  4760662 |     1765   6427 |        0 |        0
1084.80/1085.25	c 1085s |      24 |  4935564 |  4768362 |     1765   6435 |        0 |        0
1086.80/1087.27	c 1087s |      24 |  4943656 |  4776262 |     1765   6444 |        0 |        0
1088.81/1089.27	c 1089s |      24 |  4951618 |  4783962 |     1765   6452 |        0 |        0
1090.80/1091.29	c 1091s |      24 |  4959657 |  4791662 |     1765   6461 |        0 |        0
1092.80/1093.29	c 1093s |      24 |  4967689 |  4799162 |     1765   6469 |        0 |        0
1094.90/1095.31	c 1095s |      24 |  4975226 |  4806462 |     1765   6477 |        0 |        0
1096.90/1097.32	c 1097s |      24 |  4983159 |  4813962 |     1765   6485 |        0 |        0
1098.90/1099.32	c 1099s |      24 |  4991015 |  4821562 |     1765   6493 |        0 |        0
1100.91/1101.33	c 1101s |      24 |  4998973 |  4829062 |     1765   6501 |        0 |        0
1102.90/1103.36	c 1103s |      24 |  5007106 |  4836762 |     1765   6510 |        0 |        0
1104.90/1105.38	c 1105s |      24 |  5014939 |  4844262 |     1765   6518 |        0 |        0
1106.90/1107.38	c 1107s |      24 |  5023516 |  4852562 |     1765   6527 |        0 |        0
1109.00/1109.40	c 1109s |      24 |  5031891 |  4860662 |     1765   6535 |        0 |        0
1111.00/1111.41	c 1111s |      24 |  5040319 |  4868662 |     1765   6544 |        0 |        0
1113.00/1113.42	c 1113s |      24 |  5048460 |  4876562 |     1765   6553 |        0 |        0
1115.00/1115.43	c 1115s |      24 |  5056801 |  4884462 |     1765   6561 |        0 |        0
1117.00/1117.44	c 1117s |      24 |  5065003 |  4892362 |     1765   6570 |        0 |        0
1118.99/1119.46	c 1119s |      24 |  5073190 |  4900262 |     1765   6578 |        0 |        0
1120.99/1121.46	c 1121s |      24 |  5081560 |  4908062 |     1765   6587 |        0 |        0
1123.00/1123.47	c 1123s |      24 |  5089858 |  4916162 |     1765   6596 |        0 |        0
1124.99/1125.48	c 1125s |      24 |  5097990 |  4924062 |     1765   6604 |        0 |        0
1126.99/1127.48	c 1127s |      24 |  5106215 |  4931862 |     1765   6613 |        0 |        0
1128.99/1129.49	c 1129s |      24 |  5114293 |  4939762 |     1765   6621 |        0 |        0
1131.09/1131.50	c 1131s |      24 |  5122607 |  4947762 |     1765   6630 |        0 |        0
1133.09/1133.52	c 1133s |      24 |  5130834 |  4955762 |     1765   6638 |        0 |        0
1135.10/1135.54	c 1135s |      24 |  5138931 |  4963562 |     1765   6647 |        0 |        0
1137.09/1137.55	c 1137s |      24 |  5147160 |  4971362 |     1765   6655 |        0 |        0
1139.09/1139.56	c 1139s |      24 |  5155411 |  4979262 |     1765   6664 |        0 |        0
1141.09/1141.59	c 1141s |      24 |  5163464 |  4987062 |     1765   6672 |        0 |        0
1143.19/1143.61	c 1143s |      24 |  5171493 |  4994462 |     1765   6680 |        0 |        0
1145.19/1145.62	c 1145s |      24 |  5179230 |  5001862 |     1765   6688 |        0 |        0
1147.20/1147.64	c 1147s |      24 |  5187147 |  5009362 |     1765   6696 |        0 |        0
1149.19/1149.66	c 1149s |      24 |  5195513 |  5017162 |     1765   6705 |        0 |        0
1151.19/1151.67	c 1151s |      24 |  5203578 |  5024962 |     1765   6713 |        0 |        0
1153.19/1153.70	c 1153s |      24 |  5211584 |  5032762 |     1942   6721 |        0 |        0
1155.29/1155.71	c 1155s |      24 |  5219399 |  5040362 |     1942   6729 |        0 |        0
1157.29/1157.72	c 1157s |      24 |  5227036 |  5047862 |     1942   6736 |        0 |        0
1159.29/1159.73	c 1159s |      24 |  5234505 |  5055162 |     1942   6743 |        0 |        0
1161.29/1161.73	c 1161s |      24 |  5242466 |  5062762 |     1942   6751 |        0 |        0
1161.89/1162.30	c 1162s |      25 |  5244909 |  5065098 |     1942   6753 |        0 |        0
1163.89/1164.31	c 1164s |      25 |  5253557 |  5073398 |     1942   6761 |        0 |        0
1165.90/1166.34	c 1166s |      25 |  5262252 |  5081698 |     1942   6770 |        0 |        0
1167.89/1168.34	c 1168s |      25 |  5270548 |  5089698 |     1942   6777 |        0 |        0
1169.89/1170.37	c 1170s |      25 |  5279149 |  5097898 |     1942   6786 |        0 |        0
1171.89/1172.38	c 1172s |      25 |  5287918 |  5106298 |     1942   6794 |        0 |        0
1173.89/1174.40	c 1174s |      25 |  5296286 |  5114298 |     1942   6802 |        0 |        0
1175.99/1176.41	c 1176s |      25 |  5304792 |  5122298 |     1942   6810 |        0 |        0
1178.00/1178.41	c 1178s |      25 |  5313066 |  5130198 |     1942   6817 |        0 |        0
1179.99/1180.42	c 1180s |      25 |  5321479 |  5138198 |     1942   6825 |        0 |        0
1181.99/1182.42	c 1182s |      25 |  5329977 |  5146198 |     1942   6833 |        0 |        0
1183.99/1184.45	c 1184s |      25 |  5338146 |  5154198 |     1942   6841 |        0 |        0
1185.99/1186.45	c 1186s |      25 |  5346257 |  5161998 |     1942   6849 |        0 |        0
1187.99/1188.45	c 1188s |      25 |  5354202 |  5169698 |     1942   6857 |        0 |        0
1190.00/1190.48	c 1190s |      25 |  5362566 |  5177798 |     1942   6865 |        0 |        0
1191.99/1192.48	c 1192s |      25 |  5370890 |  5185698 |     1942   6872 |        0 |        0
1194.09/1194.51	c 1194s |      25 |  5378983 |  5193498 |     1942   6880 |        0 |        0
1196.09/1196.52	c 1196s |      25 |  5387590 |  5201798 |     1942   6888 |        0 |        0
1198.09/1198.52	c 1198s |      25 |  5396170 |  5209898 |     1942   6896 |        0 |        0
1200.09/1200.52	c 1200s |      25 |  5404519 |  5217998 |     1942   6904 |        0 |        0
1202.09/1202.54	c 1202s |      25 |  5412810 |  5225998 |     1942   6912 |        0 |        0
1204.09/1204.55	c 1204s |      25 |  5420975 |  5233898 |     1942   6920 |        0 |        0
1206.08/1206.56	c 1206s |      25 |  5429254 |  5241898 |     1942   6928 |        0 |        0
1208.08/1208.58	c 1208s |      25 |  5437256 |  5249698 |     1942   6936 |        0 |        0
1210.08/1210.58	c 1210s |      25 |  5445298 |  5257498 |     1942   6943 |        0 |        0
1212.09/1212.58	c 1212s |      25 |  5453474 |  5265398 |     1942   6951 |        0 |        0
1214.08/1214.59	c 1214s |      25 |  5461903 |  5273498 |     1942   6959 |        0 |        0
1216.08/1216.59	c 1216s |      25 |  5470148 |  5281498 |     1942   6967 |        0 |        0
1218.18/1218.60	c 1218s |      25 |  5478563 |  5289498 |     1942   6975 |        0 |        0
1220.18/1220.62	c 1220s |      25 |  5486832 |  5297498 |     1942   6983 |        0 |        0
1222.18/1222.62	c 1222s |      25 |  5495207 |  5305598 |     1942   6991 |        0 |        0
1224.19/1224.62	c 1224s |      25 |  5503623 |  5313598 |     1942   6999 |        0 |        0
1226.18/1226.62	c 1226s |      25 |  5511768 |  5321498 |     1942   7006 |        0 |        0
1228.18/1228.65	c 1228s |      25 |  5519694 |  5328998 |     1942   7014 |        0 |        0
1230.18/1230.67	c 1230s |      25 |  5527872 |  5336798 |     1942   7022 |        0 |        0
1232.18/1232.68	c 1232s |      25 |  5536220 |  5344798 |     1942   7030 |        0 |        0
1234.18/1234.69	c 1234s |      25 |  5544431 |  5352698 |     1942   7037 |        0 |        0
1236.28/1236.72	c 1236s |      25 |  5552720 |  5360498 |     1942   7045 |        0 |        0
1238.28/1238.73	c 1238s |      25 |  5560537 |  5368098 |     1942   7052 |        0 |        0
1240.28/1240.75	c 1240s |      25 |  5568812 |  5376198 |     1942   7060 |        0 |        0
1242.28/1242.76	c 1242s |      25 |  5577361 |  5384398 |     1942   7069 |        0 |        0
1244.28/1244.76	c 1244s |      25 |  5585747 |  5392498 |     1942   7077 |        0 |        0
1246.27/1246.77	c 1246s |      25 |  5593732 |  5400198 |     1942   7084 |        0 |        0
1248.28/1248.79	c 1248s |      25 |  5601805 |  5407998 |     1942   7092 |        0 |        0
1250.37/1250.80	c 1250s |      25 |  5609972 |  5415798 |     1942   7100 |        0 |        0
1252.37/1252.82	c 1252s |      25 |  5618284 |  5423798 |     1942   7107 |        0 |        0
1254.37/1254.84	c 1254s |      25 |  5626508 |  5431798 |     1942   7115 |        0 |        0
1256.37/1256.87	c 1256s |      25 |  5634788 |  5439798 |     1942   7123 |        0 |        0
1258.37/1258.87	c 1258s |      25 |  5642972 |  5447698 |     1942   7131 |        0 |        0
1260.38/1260.88	c 1260s |      25 |  5650827 |  5455298 |     1942   7139 |        0 |        0
1262.37/1262.88	c 1262s |      25 |  5659046 |  5463298 |     1942   7147 |        0 |        0
1264.37/1264.89	c 1264s |      25 |  5667246 |  5471298 |     1942   7154 |        0 |        0
1266.47/1266.91	c 1266s |      25 |  5675447 |  5479198 |     1942   7162 |        0 |        0
1268.47/1268.91	c 1268s |      25 |  5683279 |  5486798 |     1942   7170 |        0 |        0
1270.47/1270.92	c 1270s |      25 |  5691214 |  5494498 |     1942   7177 |        0 |        0
1272.48/1272.94	c 1272s |      25 |  5698929 |  5501898 |     1942   7185 |        0 |        0
1274.48/1274.95	c 1274s |      25 |  5707520 |  5510198 |     1942   7193 |        0 |        0
1276.48/1276.95	c 1276s |      25 |  5715901 |  5518198 |     1942   7201 |        0 |        0
1278.48/1278.97	c 1278s |      25 |  5724343 |  5526198 |     1942   7209 |        0 |        0
1280.58/1281.00	c 1280s |      25 |  5732648 |  5534098 |     1942   7217 |        0 |        0
1282.58/1283.02	c 1283s |      25 |  5740619 |  5541798 |     1942   7224 |        0 |        0
1284.58/1285.03	c 1285s |      25 |  5748635 |  5549598 |     1942   7232 |        0 |        0
1286.58/1287.04	c 1287s |      25 |  5756584 |  5557298 |     1942   7239 |        0 |        0
1288.58/1289.06	c 1289s |      25 |  5764592 |  5565098 |     1942   7247 |        0 |        0
1290.57/1291.07	c 1291s |      25 |  5772721 |  5572898 |     1942   7255 |        0 |        0
1292.57/1293.08	c 1293s |      25 |  5780925 |  5580698 |     1942   7263 |        0 |        0
1294.58/1295.09	c 1295s |      25 |  5789040 |  5588398 |     1942   7270 |        0 |        0
1296.57/1297.10	c 1297s |      25 |  5796813 |  5595898 |     1942   7278 |        0 |        0
1298.67/1299.13	c 1299s |      25 |  5804701 |  5603498 |     1942   7285 |        0 |        0
1300.67/1301.14	c 1301s |      25 |  5813047 |  5611598 |     1942   7293 |        0 |        0
1302.67/1303.14	c 1303s |      25 |  5821249 |  5619598 |     1942   7301 |        0 |        0
1304.67/1305.14	c 1305s |      25 |  5829384 |  5627398 |     1942   7309 |        0 |        0
1306.68/1307.16	c 1307s |      25 |  5837349 |  5635198 |     1942   7316 |        0 |        0
1308.67/1309.18	c 1309s |      25 |  5845273 |  5642998 |     1942   7324 |        0 |        0
1310.77/1311.20	c 1311s |      25 |  5853483 |  5650998 |     1942   7332 |        0 |        0
1312.77/1313.21	c 1313s |      25 |  5861491 |  5658798 |     1942   7340 |        0 |        0
1314.77/1315.23	c 1315s |      25 |  5870137 |  5667098 |     1942   7348 |        0 |        0
1316.77/1317.25	c 1317s |      25 |  5878084 |  5674898 |     1942   7356 |        0 |        0
1318.77/1319.27	c 1319s |      25 |  5886204 |  5682798 |     1942   7363 |        0 |        0
1320.77/1321.28	c 1321s |      25 |  5894331 |  5690598 |     1942   7371 |        0 |        0
1322.87/1323.30	c 1323s |      25 |  5902311 |  5698298 |     1942   7379 |        0 |        0
1324.87/1325.32	c 1325s |      25 |  5910313 |  5706198 |     1942   7387 |        0 |        0
1326.87/1327.33	c 1327s |      25 |  5918504 |  5714098 |     1942   7394 |        0 |        0
1328.87/1329.33	c 1329s |      25 |  5926404 |  5721798 |     1942   7402 |        0 |        0
1330.87/1331.34	c 1331s |      25 |  5934181 |  5729298 |     1942   7409 |        0 |        0
1332.86/1333.34	c 1333s |      25 |  5941971 |  5736798 |     1942   7417 |        0 |        0
1334.86/1335.35	c 1335s |      25 |  5950048 |  5744498 |     1942   7425 |        0 |        0
1336.86/1337.37	c 1337s |      25 |  5957987 |  5752098 |     1942   7432 |        0 |        0
1338.86/1339.40	c 1339s |      25 |  5965824 |  5759698 |     1942   7440 |        0 |        0
1340.96/1341.41	c 1341s |      25 |  5973624 |  5767198 |     1942   7447 |        0 |        0
1342.97/1343.43	c 1343s |      25 |  5981518 |  5774898 |     1942   7455 |        0 |        0
1344.96/1345.45	c 1345s |      25 |  5989863 |  5782998 |     1942   7463 |        0 |        0
1346.96/1347.46	c 1347s |      25 |  5997864 |  5790598 |     1942   7470 |        0 |        0
1348.96/1349.47	c 1349s |      25 |  6005307 |  5797798 |     1942   7477 |        0 |        0
1350.96/1351.49	c 1351s |      25 |  6012914 |  5805198 |     1942   7485 |        0 |        0
1352.96/1353.49	c 1353s |      25 |  6020606 |  5812698 |     1942   7492 |        0 |        0
1355.07/1355.51	c 1355s |      25 |  6028577 |  5820398 |     1942   7500 |        0 |        0
1357.06/1357.52	c 1357s |      25 |  6036853 |  5828398 |     1942   7507 |        0 |        0
1359.06/1359.52	c 1359s |      25 |  6045204 |  5836498 |     1942   7515 |        0 |        0
1361.06/1361.55	c 1361s |      25 |  6053552 |  5844498 |     1942   7523 |        0 |        0
1363.06/1363.58	c 1363s |      25 |  6061696 |  5852398 |     1942   7531 |        0 |        0
1365.06/1365.58	c 1365s |      25 |  6069698 |  5860098 |     1942   7539 |        0 |        0
1367.16/1367.60	c 1367s |      25 |  6077738 |  5867898 |     1942   7546 |        0 |        0
1369.15/1369.61	c 1369s |      25 |  6085629 |  5875498 |     1942   7554 |        0 |        0
1371.15/1371.62	c 1371s |      25 |  6093614 |  5883198 |     1942   7562 |        0 |        0
1373.15/1373.62	c 1373s |      25 |  6101591 |  5890898 |     1942   7569 |        0 |        0
1375.15/1375.63	c 1375s |      25 |  6109832 |  5898798 |     1942   7577 |        0 |        0
1377.15/1377.64	c 1377s |      25 |  6117974 |  5906698 |     1942   7585 |        0 |        0
1379.16/1379.67	c 1379s |      25 |  6126150 |  5914598 |     1942   7593 |        0 |        0
1381.15/1381.69	c 1381s |      25 |  6134263 |  5922498 |     1942   7600 |        0 |        0
1383.25/1383.71	c 1383s |      25 |  6142214 |  5930298 |     1942   7608 |        0 |        0
1385.25/1385.72	c 1385s |      25 |  6150144 |  5937998 |     1942   7616 |        0 |        0
1387.25/1387.73	c 1387s |      25 |  6158027 |  5945598 |     1942   7623 |        0 |        0
1389.25/1389.74	c 1389s |      25 |  6165663 |  5952998 |     1942   7631 |        0 |        0
1391.26/1391.75	c 1391s |      25 |  6173474 |  5960598 |     1942   7638 |        0 |        0
1393.25/1393.77	c 1393s |      25 |  6181232 |  5968098 |     1942   7645 |        0 |        0
1395.25/1395.78	c 1395s |      25 |  6189324 |  5975998 |     1942   7653 |        0 |        0
1397.26/1397.79	c 1397s |      25 |  6197245 |  5983698 |     1942   7661 |        0 |        0
1399.36/1399.80	c 1399s |      25 |  6205422 |  5991598 |     1942   7669 |        0 |        0
1401.36/1401.80	c 1401s |      25 |  6213226 |  5999198 |     1942   7676 |        0 |        0
1403.36/1403.81	c 1403s |      25 |  6221012 |  6006798 |     1942   7684 |        0 |        0
1405.36/1405.83	c 1405s |      25 |  6228839 |  6014398 |     1942   7691 |        0 |        0
1407.36/1407.85	c 1407s |      25 |  6236744 |  6022098 |     1942   7699 |        0 |        0
1409.36/1409.87	c 1409s |      25 |  6244917 |  6030098 |     1942   7707 |        0 |        0
1411.36/1411.89	c 1411s |      25 |  6253004 |  6037998 |     1942   7715 |        0 |        0
1413.46/1413.90	c 1413s |      25 |  6260905 |  6045598 |     1942   7722 |        0 |        0
1415.46/1415.91	c 1415s |      25 |  6268684 |  6053198 |     1942   7730 |        0 |        0
1417.46/1417.93	c 1417s |      25 |  6276735 |  6060998 |     1942   7737 |        0 |        0
1419.46/1419.94	c 1419s |      25 |  6284425 |  6068398 |     1942   7745 |        0 |        0
1421.45/1421.96	c 1421s |      25 |  6292369 |  6076098 |     1942   7752 |        0 |        0
1423.45/1423.98	c 1423s |      25 |  6299908 |  6083398 |     1942   7759 |        0 |        0
1425.46/1425.99	c 1425s |      25 |  6307639 |  6090798 |     1942   7767 |        0 |        0
1427.56/1428.01	c 1427s |      25 |  6316246 |  6098998 |     1942   7775 |        0 |        0
1429.55/1430.01	c 1429s |      25 |  6324586 |  6106998 |     1942   7783 |        0 |        0
1431.55/1432.03	c 1432s |      25 |  6332651 |  6114798 |     1942   7790 |        0 |        0
1433.55/1434.05	c 1434s |      25 |  6340809 |  6122798 |     1942   7798 |        0 |        0
1435.55/1436.06	c 1436s |      25 |  6348862 |  6130598 |     1942   7806 |        0 |        0
1437.56/1438.08	c 1438s |      25 |  6357094 |  6138498 |     1942   7814 |        0 |        0
1439.55/1440.08	c 1440s |      25 |  6365111 |  6146298 |     1942   7822 |        0 |        0
1441.55/1442.08	c 1442s |      25 |  6373533 |  6154098 |     1942   7829 |        0 |        0
1443.55/1444.08	c 1444s |      25 |  6381304 |  6161598 |     1942   7837 |        0 |        0
1445.65/1446.11	c 1446s |      25 |  6389662 |  6169698 |     1942   7845 |        0 |        0
1447.65/1448.14	c 1448s |      25 |  6397811 |  6177598 |     1942   7853 |        0 |        0
1449.66/1450.15	c 1450s |      25 |  6405979 |  6185498 |     1942   7860 |        0 |        0
1451.65/1452.17	c 1452s |      25 |  6413743 |  6192998 |     1942   7868 |        0 |        0
1453.65/1454.18	c 1454s |      25 |  6421461 |  6200398 |     1942   7875 |        0 |        0
1455.75/1456.20	c 1456s |      25 |  6429374 |  6207998 |     1942   7883 |        0 |        0
1457.75/1458.22	c 1458s |      25 |  6437334 |  6215798 |     1942   7890 |        0 |        0
1459.75/1460.23	c 1460s |      25 |  6445108 |  6223398 |     1942   7898 |        0 |        0
1461.75/1462.26	c 1462s |      25 |  6452651 |  6230698 |     1942   7905 |        0 |        0
1463.75/1464.28	c 1464s |      25 |  6460760 |  6238598 |     1942   7913 |        0 |        0
1465.75/1466.28	c 1466s |      25 |  6468479 |  6246098 |     1942   7920 |        0 |        0
1467.75/1468.29	c 1468s |      25 |  6475897 |  6253298 |     1942   7927 |        0 |        0
1469.85/1470.30	c 1470s |      25 |  6483702 |  6260798 |     1942   7935 |        0 |        0
1471.85/1472.33	c 1472s |      25 |  6491274 |  6268198 |     1942   7942 |        0 |        0
1473.85/1474.34	c 1474s |      25 |  6499095 |  6275698 |     1942   7950 |        0 |        0
1475.84/1476.35	c 1476s |      25 |  6506864 |  6283198 |     1942   7957 |        0 |        0
1477.84/1478.35	c 1478s |      25 |  6514929 |  6290898 |     1942   7965 |        0 |        0
1479.84/1480.38	c 1480s |      25 |  6522844 |  6298598 |     1942   7972 |        0 |        0
1481.84/1482.39	c 1482s |      25 |  6530611 |  6306098 |     1942   7980 |        0 |        0
1483.94/1484.40	c 1484s |      25 |  6538507 |  6313698 |     1942   7987 |        0 |        0
1485.95/1486.42	c 1486s |      25 |  6546085 |  6321098 |     1942   7995 |        0 |        0
1487.94/1488.42	c 1488s |      25 |  6553526 |  6328398 |     1942   8002 |        0 |        0
1489.94/1490.42	c 1490s |      25 |  6561360 |  6335998 |     1942   8009 |        0 |        0
1491.94/1492.45	c 1492s |      25 |  6569337 |  6343698 |     1942   8017 |        0 |        0
1493.94/1494.47	c 1494s |      25 |  6577266 |  6351298 |     1942   8024 |        0 |        0
1495.94/1496.49	c 1496s |      25 |  6585181 |  6358998 |     1942   8032 |        0 |        0
1497.95/1498.50	c 1498s |      25 |  6593147 |  6366698 |     1942   8040 |        0 |        0
1500.04/1500.51	c 1500s |      25 |  6601085 |  6374498 |     1942   8047 |        0 |        0
1502.04/1502.54	c 1502s |      25 |  6608996 |  6382198 |     1942   8055 |        0 |        0
1504.04/1504.54	c 1504s |      25 |  6616840 |  6389898 |     1942   8063 |        0 |        0
1506.04/1506.56	c 1506s |      25 |  6624540 |  6397398 |     1942   8070 |        0 |        0
1508.04/1508.57	c 1508s |      25 |  6632400 |  6405098 |     1942   8078 |        0 |        0
1510.04/1510.58	c 1510s |      25 |  6640099 |  6412598 |     1942   8085 |        0 |        0
1512.03/1512.59	c 1512s |      25 |  6647706 |  6419998 |     1942   8092 |        0 |        0
1514.03/1514.59	c 1514s |      25 |  6655437 |  6427398 |     1942   8100 |        0 |        0
1516.13/1516.61	c 1516s |      25 |  6663175 |  6434798 |     1942   8107 |        0 |        0
1518.13/1518.62	c 1518s |      25 |  6670805 |  6442198 |     1942   8114 |        0 |        0
1520.13/1520.64	c 1520s |      25 |  6678525 |  6449698 |     1942   8122 |        0 |        0
1522.14/1522.65	c 1522s |      25 |  6686281 |  6457198 |     1942   8129 |        0 |        0
1524.13/1524.66	c 1524s |      25 |  6694815 |  6465198 |     1942   8137 |        0 |        0
1526.13/1526.68	c 1526s |      25 |  6703132 |  6473298 |     1942   8145 |        0 |        0
1528.24/1528.70	c 1528s |      25 |  6711305 |  6481298 |     1942   8153 |        0 |        0
1530.24/1530.71	c 1530s |      25 |  6719777 |  6489198 |     1942   8161 |        0 |        0
1532.24/1532.73	c 1532s |      25 |  6727803 |  6496798 |     1942   8168 |        0 |        0
1534.24/1534.74	c 1534s |      25 |  6736124 |  6504898 |     1942   8176 |        0 |        0
1536.24/1536.76	c 1536s |      25 |  6744207 |  6512698 |     1942   8184 |        0 |        0
1538.24/1538.78	c 1538s |      25 |  6752407 |  6520598 |     1942   8192 |        0 |        0
1540.24/1540.79	c 1540s |      25 |  6760513 |  6528498 |     1942   8199 |        0 |        0
1542.34/1542.80	c 1542s |      25 |  6768738 |  6536498 |     1942   8207 |        0 |        0
1544.34/1544.82	c 1544s |      25 |  6776728 |  6544098 |     1942   8215 |        0 |        0
1546.34/1546.83	c 1546s |      25 |  6784745 |  6551798 |     1942   8222 |        0 |        0
1548.33/1548.84	c 1548s |      25 |  6792906 |  6559698 |     1942   8230 |        0 |        0
1550.33/1550.85	c 1550s |      25 |  6800830 |  6567098 |     1942   8238 |        0 |        0
1552.33/1552.87	c 1552s |      25 |  6808608 |  6574498 |     1942   8245 |        0 |        0
1554.43/1554.90	c 1554s |      25 |  6816649 |  6582298 |     1942   8253 |        0 |        0
1556.43/1556.91	c 1556s |      25 |  6824797 |  6590098 |     1942   8260 |        0 |        0
1558.44/1558.92	c 1558s |      25 |  6832867 |  6597998 |     1942   8268 |        0 |        0
1560.43/1560.94	c 1560s |      25 |  6840937 |  6605798 |     1942   8276 |        0 |        0
1562.43/1562.95	c 1562s |      25 |  6848658 |  6613298 |     1942   8283 |        0 |        0
1564.43/1564.96	c 1564s |      25 |  6856721 |  6620898 |     1942   8291 |        0 |        0
1566.43/1566.96	c 1566s |      25 |  6864389 |  6628398 |     1942   8298 |        0 |        0
1568.44/1568.97	c 1568s |      25 |  6872441 |  6636098 |     1942   8306 |        0 |        0
1570.43/1570.98	c 1570s |      25 |  6880666 |  6644098 |     1942   8314 |        0 |        0
1572.43/1572.99	c 1572s |      25 |  6888852 |  6651998 |     1942   8321 |        0 |        0
1574.53/1575.01	c 1574s |      25 |  6897227 |  6659798 |     1942   8329 |        0 |        0
1576.53/1577.02	c 1577s |      25 |  6905386 |  6667598 |     1942   8337 |        0 |        0
1578.53/1579.03	c 1579s |      25 |  6913395 |  6675298 |     1942   8345 |        0 |        0
1580.53/1581.06	c 1581s |      25 |  6921610 |  6683298 |     1942   8352 |        0 |        0
1582.52/1583.06	c 1583s |      25 |  6929466 |  6690898 |     1942   8360 |        0 |        0
1584.52/1585.06	c 1585s |      25 |  6937586 |  6698798 |     1942   8368 |        0 |        0
1586.52/1587.07	c 1587s |      25 |  6945561 |  6706498 |     1942   8375 |        0 |        0
1588.62/1589.10	c 1589s |      25 |  6953544 |  6714298 |     1942   8383 |        0 |        0
1590.62/1591.11	c 1591s |      25 |  6961382 |  6721898 |     1942   8391 |        0 |        0
1592.63/1593.14	c 1593s |      25 |  6969135 |  6729398 |     1942   8398 |        0 |        0
1594.62/1595.14	c 1595s |      25 |  6977147 |  6737198 |     1942   8406 |        0 |        0
1596.62/1597.15	c 1597s |      25 |  6985407 |  6745198 |     1942   8414 |        0 |        0
1598.62/1599.16	c 1599s |      25 |  6993391 |  6752998 |     1942   8421 |        0 |        0
1600.62/1601.18	c 1601s |      25 |  7001558 |  6760798 |     1942   8429 |        0 |        0
1602.62/1603.19	c 1603s |      25 |  7009529 |  6768498 |     1942   8437 |        0 |        0
1604.63/1605.20	c 1605s |      25 |  7017490 |  6776098 |     1942   8444 |        0 |        0
1606.72/1607.23	c 1607s |      25 |  7025449 |  6783798 |     1942   8452 |        0 |        0
1608.72/1609.23	c 1609s |      25 |  7033253 |  6791398 |     1942   8459 |        0 |        0
1610.72/1611.25	c 1611s |      25 |  7041248 |  6799198 |     1942   8467 |        0 |        0
1612.72/1613.26	c 1613s |      25 |  7049049 |  6806798 |     1942   8475 |        0 |        0
1614.72/1615.26	c 1615s |      25 |  7056825 |  6814198 |     1942   8482 |        0 |        0
1616.72/1617.27	c 1617s |      25 |  7064655 |  6821798 |     1942   8490 |        0 |        0
1618.72/1619.29	c 1619s |      25 |  7072867 |  6829798 |     1942   8497 |        0 |        0
1620.72/1621.29	c 1621s |      25 |  7080915 |  6837598 |     1942   8505 |        0 |        0
1622.81/1623.30	c 1623s |      25 |  7088559 |  6845098 |     1942   8513 |        0 |        0
1624.81/1625.31	c 1625s |      25 |  7096350 |  6852698 |     1942   8520 |        0 |        0
1626.81/1627.31	c 1627s |      25 |  7104289 |  6860398 |     1942   8528 |        0 |        0
1628.82/1629.32	c 1629s |      25 |  7112302 |  6868098 |     1942   8535 |        0 |        0
1630.81/1631.34	c 1631s |      25 |  7120089 |  6875598 |     1942   8543 |        0 |        0
1632.81/1633.35	c 1633s |      25 |  7127810 |  6883098 |     1942   8550 |        0 |        0
1634.81/1635.37	c 1635s |      25 |  7135685 |  6890698 |     1942   8558 |        0 |        0
1636.82/1637.39	c 1637s |      25 |  7143611 |  6898398 |     1942   8565 |        0 |        0
1638.92/1639.41	c 1639s |      25 |  7151479 |  6905998 |     1942   8573 |        0 |        0
1640.93/1641.41	c 1641s |      25 |  7159059 |  6913298 |     1942   8580 |        0 |        0
1642.92/1643.44	c 1643s |      25 |  7166868 |  6920898 |     1942   8588 |        0 |        0
1644.92/1645.46	c 1645s |      25 |  7174754 |  6928498 |     1942   8595 |        0 |        0
1646.92/1647.48	c 1647s |      25 |  7182306 |  6935798 |     1942   8602 |        0 |        0
1649.02/1649.50	c 1649s |      25 |  7190010 |  6943198 |     1942   8610 |        0 |        0
1651.02/1651.51	c 1651s |      25 |  7197757 |  6950598 |     1942   8617 |        0 |        0
1653.02/1653.53	c 1653s |      25 |  7205682 |  6958298 |     1942   8625 |        0 |        0
1655.01/1655.55	c 1655s |      25 |  7213857 |  6966298 |     1942   8633 |        0 |        0
1657.01/1657.55	c 1657s |      25 |  7221826 |  6974098 |     1942   8640 |        0 |        0
1659.01/1659.56	c 1659s |      25 |  7229747 |  6981798 |     1942   8648 |        0 |        0
1661.01/1661.58	c 1661s |      25 |  7237880 |  6989498 |     1942   8655 |        0 |        0
1663.11/1663.60	c 1663s |      25 |  7245742 |  6997098 |     1942   8663 |        0 |        0
1665.12/1665.61	c 1665s |      25 |  7253508 |  7004598 |     1942   8670 |        0 |        0
1667.11/1667.63	c 1667s |      25 |  7261544 |  7012398 |     1942   8678 |        0 |        0
1669.11/1669.64	c 1669s |      25 |  7269380 |  7019998 |     1942   8686 |        0 |        0
1671.11/1671.64	c 1671s |      25 |  7277335 |  7027498 |     1942   8693 |        0 |        0
1673.11/1673.67	c 1673s |      25 |  7285069 |  7034898 |     1942   8700 |        0 |        0
1675.12/1675.69	c 1675s |      25 |  7292576 |  7042198 |     1942   8708 |        0 |        0
1677.11/1677.69	c 1677s |      25 |  7300231 |  7049598 |     1942   8715 |        0 |        0
1679.21/1679.72	c 1679s |      25 |  7308022 |  7057198 |     1942   8723 |        0 |        0
1681.21/1681.73	c 1681s |      25 |  7316219 |  7065098 |     1942   8730 |        0 |        0
1683.21/1683.74	c 1683s |      25 |  7324316 |  7072698 |     1942   8738 |        0 |        0
1685.21/1685.76	c 1685s |      25 |  7332260 |  7080398 |     1942   8745 |        0 |        0
1687.22/1687.77	c 1687s |      25 |  7339934 |  7087798 |     1942   8753 |        0 |        0
1689.21/1689.79	c 1689s |      25 |  7347732 |  7095298 |     1942   8760 |        0 |        0
1691.31/1691.80	c 1691s |      25 |  7355342 |  7102598 |     1942   8768 |        0 |        0
1693.31/1693.80	c 1693s |      25 |  7363703 |  7110698 |     1942   8776 |        0 |        0
1695.31/1695.81	c 1695s |      25 |  7372124 |  7118798 |     1942   8783 |        0 |        0
1697.31/1697.83	c 1697s |      25 |  7380297 |  7126698 |     1942   8791 |        0 |        0
1699.31/1699.83	c 1699s |      25 |  7388372 |  7134598 |     1942   8799 |        0 |        0
1701.31/1701.84	c 1701s |      25 |  7396926 |  7142598 |     1942   8807 |        0 |        0
1703.31/1703.85	c 1703s |      25 |  7405268 |  7150398 |     1942   8815 |        0 |        0
1705.30/1705.85	c 1705s |      25 |  7413335 |  7158198 |     1942   8822 |        0 |        0
1707.30/1707.85	c 1707s |      25 |  7421494 |  7165898 |     1942   8830 |        0 |        0
1709.30/1709.86	c 1709s |      25 |  7429752 |  7173598 |     1942   8838 |        0 |        0
1711.31/1711.87	c 1711s |      25 |  7437361 |  7180698 |     1942   8845 |        0 |        0
1713.30/1713.89	c 1713s |      25 |  7445481 |  7188598 |     1942   8852 |        0 |        0
1715.30/1715.89	c 1715s |      25 |  7453292 |  7196198 |     1942   8860 |        0 |        0
1717.40/1717.92	c 1717s |      25 |  7461225 |  7203798 |     1942   8867 |        0 |        0
1719.40/1719.93	c 1719s |      25 |  7469243 |  7211198 |     1942   8875 |        0 |        0
1721.40/1721.96	c 1721s |      25 |  7477333 |  7218898 |     1942   8882 |        0 |        0
1723.41/1723.96	c 1723s |      25 |  7485221 |  7226498 |     1942   8890 |        0 |        0
1725.40/1725.97	c 1725s |      25 |  7493004 |  7234098 |     1942   8897 |        0 |        0
1727.40/1727.97	c 1727s |      25 |  7501145 |  7241698 |     1942   8905 |        0 |        0
1729.50/1730.00	c 1729s |      25 |  7509288 |  7249498 |     1942   8913 |        0 |        0
1731.50/1732.00	c 1731s |      25 |  7516950 |  7256998 |     1942   8920 |        0 |        0
1733.50/1734.01	c 1733s |      25 |  7524802 |  7264498 |     1942   8927 |        0 |        0
1735.51/1736.02	c 1736s |      25 |  7532508 |  7271898 |     1942   8935 |        0 |        0
1737.50/1738.02	c 1738s |      25 |  7540147 |  7279298 |     1942   8942 |        0 |        0
1739.50/1740.05	c 1740s |      25 |  7547923 |  7286698 |     1942   8949 |        0 |        0
1741.50/1742.05	c 1742s |      25 |  7555777 |  7294198 |     1942   8957 |        0 |        0
1743.50/1744.05	c 1744s |      25 |  7564067 |  7302298 |     1942   8965 |        0 |        0
1745.50/1746.06	c 1746s |      25 |  7572155 |  7310198 |     1942   8973 |        0 |        0
1747.50/1748.06	c 1748s |      25 |  7580025 |  7317898 |     1942   8980 |        0 |        0
1749.50/1750.07	c 1750s |      25 |  7587998 |  7325698 |     1942   8988 |        0 |        0
1751.50/1752.09	c 1752s |      25 |  7596065 |  7333398 |     1942   8996 |        0 |        0
1753.60/1754.10	c 1754s |      25 |  7604144 |  7340998 |     1942   9003 |        0 |        0
1755.60/1756.11	c 1756s |      25 |  7611980 |  7348598 |     1942   9011 |        0 |        0
1757.60/1758.13	c 1758s |      25 |  7619842 |  7356098 |     1942   9018 |        0 |        0
1759.59/1760.16	c 1760s |      25 |  7627615 |  7363698 |     1942   9026 |        0 |        0
1761.59/1762.18	c 1762s |      25 |  7635490 |  7371198 |     1942   9033 |        0 |        0
1763.69/1764.20	c 1764s |      25 |  7643414 |  7378898 |     1942   9041 |        0 |        0
1765.69/1766.22	c 1766s |      25 |  7651355 |  7386598 |     1942   9048 |        0 |        0
1767.69/1768.24	c 1768s |      25 |  7659347 |  7394398 |     1942   9056 |        0 |        0
1769.70/1770.26	c 1770s |      25 |  7667325 |  7402198 |     1942   9064 |        0 |        0
1771.69/1772.27	c 1772s |      25 |  7675173 |  7409898 |     1942   9071 |        0 |        0
1773.69/1774.29	c 1774s |      25 |  7682899 |  7417398 |     1942   9079 |        0 |        0
1775.80/1776.31	c 1776s |      25 |  7690872 |  7425198 |     1942   9086 |        0 |        0
1777.80/1778.33	c 1778s |      25 |  7698855 |  7432998 |     1942   9094 |        0 |        0
1779.80/1780.35	c 1780s |      25 |  7706636 |  7440598 |     1942   9102 |        0 |        0
1781.81/1782.35	c 1782s |      25 |  7714288 |  7448098 |     1942   9109 |        0 |        0
1783.80/1784.36	c 1784s |      25 |  7721967 |  7455598 |     1942   9117 |        0 |        0
1785.80/1786.37	c 1786s |      25 |  7729617 |  7462998 |     1942   9124 |        0 |        0
1787.90/1788.40	c 1788s |      25 |  7737651 |  7470798 |     1942   9132 |        0 |        0
1789.90/1790.40	c 1790s |      25 |  7745893 |  7478598 |     1942   9139 |        0 |        0
1791.90/1792.42	c 1792s |      25 |  7753770 |  7486298 |     1942   9147 |        0 |        0
1793.90/1794.42	c 1794s |      25 |  7761589 |  7493898 |     1942   9154 |        0 |        0
1795.90/1796.43	c 1796s |      25 |  7769928 |  7501798 |     1942   9162 |        0 |        0
1797.90/1798.45	c 1798s |      25 |  7777798 |  7509398 |     1942   9170 |        0 |        0
1799.90/1800.47	c 1800s |      25 |  7785785 |  7516998 |     1942   9177 |        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-4089582-1466029142/watcher-4089582-1466029142 -o /tmp/evaluation-result-4089582-1466029142/solver-4089582-1466029142 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089582-1466029142.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.03 2.02 3/179 7962
/proc/meminfo: memFree=30400624/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=576956 CPUtime=0 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 2126 0 0 0 0 0 0 0 20 0 4 0 4964351 590802944 2487 33554432000 4194304 16246674 140735150322464 140735150321888 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 144495 2491 441 2943 0 141389 0
[pid=7962/tid=7963] ppid=7959 vsize=593340 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 607580160 2551 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=597436 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 611774464 2567 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=601532 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4964351 615968768 2582 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.01 2.03 2.02 3/179 7962
/proc/meminfo: memFree=30400624/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 29580 0 0 0 5 3 0 0 20 0 4 0 4964351 1247350784 29931 33554432000 4194304 16246674 140735150322464 140735150321888 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 304529 29936 712 2943 0 301423 0
[pid=7962/tid=7963] ppid=7959 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1247350784 29941 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1247350784 29945 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4964351 1247350784 29955 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200486 s]
/proc/loadavg: 2.01 2.03 2.02 3/179 7962
/proc/meminfo: memFree=30400624/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 59003 0 0 0 12 7 0 0 20 0 4 0 4964351 1247350784 59354 33554432000 4194304 16246674 140735150322464 140735150305464 6076251 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 304529 59364 712 2943 0 301423 0
[pid=7962/tid=7963] ppid=7959 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1247350784 59374 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1247350784 59385 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4964351 1247350784 59395 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300461 s]
/proc/loadavg: 2.01 2.03 2.02 3/179 7962
/proc/meminfo: memFree=30400624/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 88334 0 0 0 17 11 0 0 20 0 4 0 4964351 1247350784 88685 33554432000 4194304 16246674 140735150322464 140735150305464 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 304529 88701 712 2943 0 301423 0
[pid=7962/tid=7963] ppid=7959 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1247350784 88712 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1247350784 88723 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4964351 1247350784 88732 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700382 s]
/proc/loadavg: 2.01 2.03 2.02 3/179 7962
/proc/meminfo: memFree=30400624/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 207672 0 0 0 41 27 0 0 20 0 4 0 4964351 1247350784 208022 33554432000 4194304 16246674 140735150322464 140735150305464 13192029 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 304529 208031 712 2943 0 301423 0
[pid=7962/tid=7963] ppid=7959 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1247350784 208038 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1247350784 208048 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4964351 1247350784 208059 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.01 2.03 2.02 3/183 7966
/proc/meminfo: memFree=29417712/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 267140 0 0 0 113 36 0 0 20 0 4 0 4964351 1336479744 267470 33554432000 4194304 16246674 140735150322464 140735150304384 5545752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 326289 267470 790 2943 0 323183 0
[pid=7962/tid=7963] ppid=7959 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1336479744 267470 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1336479744 267470 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1336479744 267470 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10039 s]
/proc/loadavg: 2.01 2.03 2.01 3/183 7966
/proc/meminfo: memFree=29329776/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 267464 0 0 0 273 36 0 0 20 0 4 0 4964351 1337528320 267794 33554432000 4194304 16246674 140735150322464 140735150305464 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 326545 267794 790 2943 0 323439 0
[pid=7962/tid=7963] ppid=7959 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1337528320 267794 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1337528320 267794 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1337528320 267794 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30035 s]
/proc/loadavg: 2.01 2.03 2.01 3/182 7966
/proc/meminfo: memFree=29329760/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 267572 0 0 0 593 36 0 0 20 0 4 0 4964351 1337528320 267902 33554432000 4194304 16246674 140735150322464 140735150304384 5523091 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 326545 267902 790 2943 0 323439 0
[pid=7962/tid=7963] ppid=7959 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1337528320 267902 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1337528320 267902 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1337528320 267902 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.01 2.03 2.01 3/183 7967
/proc/meminfo: memFree=29329708/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 267575 0 0 0 1232 36 0 0 20 0 4 0 4964351 1337528320 267905 33554432000 4194304 16246674 140735150322464 140735150305464 5523208 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 326545 267905 792 2943 0 323439 0
[pid=7962/tid=7963] ppid=7959 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1337528320 267905 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1337528320 267905 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1337528320 267905 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.01 3/183 7967
/proc/meminfo: memFree=29329484/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 267831 0 0 0 2513 36 0 0 20 0 4 0 4964351 1338576896 268161 33554432000 4194304 16246674 140735150322464 140735150304384 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 326801 268161 792 2943 0 323695 0
[pid=7962/tid=7963] ppid=7959 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1338576896 268161 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1338576896 268161 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1338576896 268161 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.01 3/183 7967
/proc/meminfo: memFree=29329708/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 267831 0 0 0 5072 36 0 0 20 0 4 0 4964351 1338576896 268161 33554432000 4194304 16246674 140735150322464 140735150304384 6012131 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 326801 268161 792 2943 0 323695 0
[pid=7962/tid=7963] ppid=7959 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1338576896 268161 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1338576896 268161 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1338576896 268161 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/184 7971
/proc/meminfo: memFree=29329072/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 267831 0 0 0 10190 37 0 0 20 0 4 0 4964351 1338576896 268161 33554432000 4194304 16246674 140735150322464 140735150304384 5722656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 326801 268161 792 2943 0 323695 0
[pid=7962/tid=7963] ppid=7959 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1338576896 268161 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1338576896 268161 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1338576896 268161 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/183 8100
/proc/meminfo: memFree=29323444/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1317444 CPUtime=1361.86 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 270813 0 0 0 136134 52 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140735150304384 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 329361 270726 794 2943 0 326255 0
[pid=7962/tid=7963] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/183 8101
/proc/meminfo: memFree=29323336/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1317444 CPUtime=1421.85 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 270813 0 0 0 142132 53 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140735150304384 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 329361 270726 794 2943 0 326255 0
[pid=7962/tid=7963] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/183 8102
/proc/meminfo: memFree=29322260/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1317444 CPUtime=1481.84 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 270813 0 0 0 148131 53 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140735150304384 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 329361 270726 794 2943 0 326255 0
[pid=7962/tid=7963] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1317444

[startup+1542.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/183 8104
/proc/meminfo: memFree=29322184/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1317444 CPUtime=1541.84 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 270813 0 0 0 154130 54 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140735150304384 5523536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 329361 270726 794 2943 0 326255 0
[pid=7962/tid=7963] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 8105
/proc/meminfo: memFree=29321668/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1317444 CPUtime=1601.82 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 270813 0 0 0 160128 54 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140735150305464 5721725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 329361 270726 794 2943 0 326255 0
[pid=7962/tid=7963] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/183 8106
/proc/meminfo: memFree=29322892/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1317444 CPUtime=1661.82 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 270813 0 0 0 166127 55 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140735150304384 12483212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 329361 270726 794 2943 0 326255 0
[pid=7962/tid=7963] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 8107
/proc/meminfo: memFree=29322652/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1317444 CPUtime=1721.8 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 270813 0 0 0 172125 55 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140735150304384 5808585 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 329361 270726 794 2943 0 326255 0
[pid=7962/tid=7963] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1317444

[startup+1782.31 s]
/proc/loadavg: 2.07 2.07 2.01 3/183 8108
/proc/meminfo: memFree=29321044/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1317444 CPUtime=1781.81 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 270813 0 0 0 178125 56 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140735150304384 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 329361 270726 794 2943 0 326255 0
[pid=7962/tid=7963] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.05 2.07 2.01 3/183 8108
/proc/meminfo: memFree=29321044/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1317444 CPUtime=1800 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 270813 0 0 0 179944 56 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140735150304384 5722674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 329361 270726 794 2943 0 326255 0
[pid=7962/tid=7963] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 7962 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.05 2.07 2.01 3/183 8108
/proc/meminfo: memFree=29321044/32872528 swapFree=524788/557492
[pid=7962] ppid=7959 vsize=1317444 CPUtime=1800 cores=0,2,4,6
/proc/7962/stat : 7962 (toysat) R 7959 7962 5756 0 -1 4202496 270813 0 0 0 179944 56 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140735150304384 5722674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7962/statm: 329361 270726 794 2943 0 326255 0
[pid=7962/tid=7963] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7963/stat : 7963 (toysat) S 7959 7962 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088214269168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7962/tid=7964] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7964/stat : 7964 (toysat) S 7959 7962 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088203779312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7962/tid=7965] ppid=7959 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7962/task/7965/stat : 7965 (toysat) S 7959 7962 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4964351 1349062656 270726 33554432000 4194304 16246674 140735150322464 140088193305776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1317444

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.45
CPU system time (s): 0.560914
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.560914
maximum resident set size= 1082904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270813
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= 433
involuntary context switches= 1983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6243 second user time and 6.89695 second system time

The end

Begin job on node106 at 2016-06-16 00:19:02
IDJOB=4089582
IDBENCH=107427
IDSOLVER=2542
FILE ID=node106/4089582-1466029142
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= b1b8c7f3aeeef26c96572245207784d8
RANDOM SEED=1882908803

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.38
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.073
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:        30400888 kB
Buffers:           35876 kB
Cached:            77448 kB
SwapCached:         1480 kB
Active:          1158252 kB
Inactive:          44296 kB
Active(anon):    1090396 kB
Inactive(anon):     1188 kB
Active(file):      67856 kB
Inactive(file):    43108 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16524 kB
Writeback:             0 kB
AnonPages:       1645460 kB
Mapped:            10448 kB
Shmem:                 0 kB
Slab:             577124 kB
SReclaimable:      20984 kB
SUnreclaim:       556140 kB
KernelStack:        1520 kB
PageTables:         7144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1786988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1114112 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= 71708 MiB
End job on node106 at 2016-06-16 00:49:03