0.00/0.00	c 2016-06-16T01:23:07+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-4089750-1466032987.opb"]
0.00/0.01	c use --random-gen="3113210870 1513413219 3476887252 1438301643 3910656000 4056199079 2352145267 4093201482 2212755693 2215039046 1807951489 2163057332 1695028211 1605049721 1587333710 2689642534 1594287235 645596421 250869925 1902097629 106043748 2973122857 2556201305 1769204508 2930454514 3834679205 416863967 2915012543 2338809773 178255782 4094945063 375070238 2638635169 1278597321 137502502 3332731755 2792702366 3199102758 802178067 938449412 3439426364 146136884 3521626582 2351505174 1423985429 786146725 1882580333 3123777313 2432561132 3437546486 1334963880 1014724226 1296478365 4206199438 1758937556 3590133792 1952133039 3853114722 1005991599 1477262456 603359180 3328597695 3655574059 2257827737 3814024952 494499453 3655480 57654641 306434429 1711037584 1380697049 3891430965 2236053319 2820656424 3255300900 1267033562 2063241335 2266235803 2647766070 797195092 1683649076 229663149 2741987472 281413118 133414120 4029283525 4213933147 1384099456 1561946861 3723974887 61749939 3729967362 3651776582 477253697 1968144 2002305810 4118874802 817307456 3451988996 2292377010 3064080627 2426296742 4051828889 536202179 2545385351 1752806769 2944588078 4069793484 1363465232 2077125604 3517113536 902996603 3888280521 2544863056 3173275848 1485167051 939496367 2961696991 2747154178 3706650755 3514007133 2266352742 3144433156 4088351284 1032263291 4212221369 3421009252 3956945856 1069169792 4248655711 4292194053 757717570 3676804051 1433998180 8791621 1812786286 1525126016 214285502 2010553052 3259627320 3673676259 2141061691 2683164870 2418012428 3892599268 2872731228 2540676517 1976779224 1030777283 761679418 4035893779 11339975 1559157113 2849344862 690450651 1042389141 3335814161 1421464014 888272931 4213576228 3721313199 3299907587 167808456 47849280 1134618827 1332752526 4264771719 1731454837 373493514 4268574949 1526354818 2714115915 2874449554 931430284 3922091578 3750994966 956790054 87782654 486630315 1197004402 3883981415 3941830033 4239663646 4185261712 2963575829 2789508589 534082021 2221239443 208526155 2366080286 2325533529 3914503984 2037323436 3615823477 500573333 2203900994 3314403876 3144805164 715233147 1756659785 1481902546 3758153251 3600740253 3212018731 4204545271 3061096804 1980584967 399433290 391480877 1944778516 954181672 1134496473 1399030160 49530595 3788347289 1492723816 1426547000 1960289897 2733039313 408740292 1785885965 1017995959 3309138791 994960019 1654520516 1016110673 2769725882 2228070144 124850156 250625746 1165782920 893484079 2294110234 3721441449 4215307495 3151477517 1953382545 4998384 1835590489 209987719 1139235185 3129313953 3184225928 1838614440 366073802 1168546308 1332129130 2490626545 3453529699 3984286236 1820814768 1766110995 1039914653 1868474714 926120095 3133182435 255 362436" option to reproduce the execution
0.00/0.01	c #vars 213
0.00/0.01	c #constraints 71
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      118      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      189 |      100 |      118      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      438 |      250 |      130      0 |        0 |        0
0.00/0.08	c  0.1s |       3 |      896 |      475 |      143      2 |        0 |        0
0.08/0.13	c  0.1s |       4 |     1420 |      813 |      158      4 |        0 |        0
0.19/0.21	c  0.2s |       5 |     2092 |     1320 |      174      7 |        0 |        0
0.29/0.32	c  0.3s |       6 |     3027 |     2081 |      212     12 |        0 |        0
0.49/0.53	c  0.5s |       7 |     4474 |     3223 |      234     18 |        0 |        0
0.78/0.84	c  0.8s |       8 |     6425 |     4936 |      258     26 |        0 |        0
1.10/1.19	c  1.2s |       9 |     9495 |     7506 |      284     39 |        0 |        0
1.59/1.66	c  1.6s |      10 |    14281 |    11361 |      313     56 |        0 |        0
2.39/2.40	c  2.4s |      11 |    21038 |    17144 |      345     81 |        0 |        0
3.49/3.52	c  3.5s |      12 |    31378 |    25819 |      380    117 |        0 |        0
5.39/5.44	c  5.4s |      13 |    46466 |    38832 |      419    168 |        0 |        0
7.39/7.45	c  7.4s |      13 |    63198 |    52232 |      419    218 |        0 |        0
8.39/8.45	c  8.4s |      14 |    70745 |    58352 |      461    241 |        0 |        0
10.39/10.45	c 10.4s |      14 |    85408 |    69952 |      461    284 |        0 |        0
12.38/12.46	c 12.4s |      14 |    99883 |    81452 |      461    326 |        0 |        0
13.49/13.53	c 13.5s |      15 |   107970 |    87632 |      508    349 |        0 |        0
15.50/15.54	c 15.5s |      15 |   121846 |    99332 |      508    387 |        0 |        0
17.49/17.55	c 17.5s |      15 |   136126 |   111132 |      508    425 |        0 |        0
19.49/19.55	c 19.5s |      15 |   149300 |   122132 |      508    462 |        0 |        0
21.19/21.26	c 21.2s |      16 |   160706 |   131552 |      559    493 |        0 |        0
23.20/23.27	c 23.3s |      16 |   172914 |   142252 |      559    524 |        0 |        0
25.19/25.28	c 25.3s |      16 |   184170 |   152352 |      559    553 |        0 |        0
27.19/27.28	c 27.3s |      16 |   195005 |   162152 |      559    581 |        0 |        0
29.19/29.28	c 29.3s |      16 |   205910 |   172052 |      559    610 |        0 |        0
31.29/31.30	c 31.3s |      16 |   217243 |   182052 |      559    639 |        0 |        0
33.29/33.30	c 33.3s |      16 |   228381 |   191952 |      559    668 |        0 |        0
34.39/34.40	c 34.4s |      17 |   234746 |   197432 |      615    683 |        0 |        0
36.39/36.40	c 36.4s |      17 |   247417 |   208332 |      615    713 |        0 |        0
38.39/38.41	c 38.4s |      17 |   259312 |   218832 |      615    742 |        0 |        0
40.38/40.42	c 40.4s |      17 |   271605 |   229532 |      615    772 |        0 |        0
42.38/42.42	c 42.4s |      17 |   286173 |   241132 |      615    805 |        0 |        0
44.38/44.43	c 44.4s |      17 |   299896 |   252132 |      615    836 |        0 |        0
46.38/46.45	c 46.4s |      17 |   313272 |   262932 |      615    866 |        0 |        0
48.39/48.45	c 48.4s |      17 |   327375 |   274032 |      615    898 |        0 |        0
50.38/50.46	c 50.4s |      17 |   341044 |   284932 |      615    929 |        0 |        0
52.38/52.47	c 52.5s |      17 |   355090 |   295932 |      677    960 |        0 |        0
52.48/52.54	c 52.5s |      18 |   355486 |   296252 |      677    961 |        0 |        0
54.48/54.55	c 54.5s |      18 |   368108 |   306852 |      677    987 |        0 |        0
56.48/56.56	c 56.5s |      18 |   382726 |   318152 |      677   1017 |        0 |        0
58.48/58.56	c 58.5s |      18 |   397217 |   329352 |      677   1046 |        0 |        0
60.48/60.57	c 60.6s |      18 |   411339 |   340352 |      677   1074 |        0 |        0
62.48/62.59	c 62.6s |      18 |   425074 |   351052 |      677   1102 |        0 |        0
64.58/64.60	c 64.6s |      18 |   439628 |   361952 |      677   1131 |        0 |        0
66.58/66.61	c 66.6s |      18 |   453922 |   372752 |      677   1159 |        0 |        0
68.58/68.62	c 68.6s |      18 |   468183 |   383652 |      677   1187 |        0 |        0
70.58/70.63	c 70.6s |      18 |   482028 |   394652 |      677   1216 |        0 |        0
72.59/72.64	c 72.6s |      18 |   496098 |   405552 |      677   1245 |        0 |        0
74.58/74.64	c 74.6s |      18 |   510552 |   416752 |      677   1274 |        0 |        0
76.58/76.66	c 76.7s |      18 |   524683 |   427452 |      677   1303 |        0 |        0
78.58/78.68	c 78.7s |      18 |   539321 |   438052 |      677   1330 |        0 |        0
79.88/79.94	c 79.9s |      19 |   547861 |   444482 |      745   1347 |        0 |        0
81.88/81.94	c 81.9s |      19 |   562825 |   455782 |      745   1374 |        0 |        0
83.87/83.95	c 83.9s |      19 |   577139 |   466582 |      745   1400 |        0 |        0
85.88/85.95	c 85.9s |      19 |   591627 |   477382 |      745   1425 |        0 |        0
87.87/87.96	c 87.9s |      19 |   606208 |   487782 |      745   1451 |        0 |        0
89.87/89.96	c 89.9s |      19 |   621474 |   498582 |      745   1477 |        0 |        0
91.87/91.96	c 92.0s |      19 |   636884 |   509282 |      745   1503 |        0 |        0
93.87/93.97	c 94.0s |      19 |   652389 |   519982 |      745   1529 |        0 |        0
95.87/95.97	c 96.0s |      19 |   667478 |   530382 |      745   1554 |        0 |        0
97.88/97.97	c 98.0s |      19 |   682284 |   540882 |      745   1579 |        0 |        0
99.87/99.99	c 100.0s |      19 |   697496 |   551482 |      745   1605 |        0 |        0
101.87/101.99	c  101s |      19 |   712534 |   562082 |      745   1630 |        0 |        0
103.97/104.00	c  103s |      19 |   726625 |   572782 |      745   1657 |        0 |        0
105.97/106.01	c  105s |      19 |   740200 |   583282 |      745   1682 |        0 |        0
107.97/108.03	c  108s |      19 |   753488 |   593582 |      745   1707 |        0 |        0
109.98/110.03	c  110s |      19 |   767601 |   604182 |      745   1732 |        0 |        0
111.97/112.05	c  112s |      19 |   781822 |   614582 |      745   1757 |        0 |        0
113.98/114.05	c  114s |      19 |   795368 |   625182 |      745   1782 |        0 |        0
115.98/116.06	c  116s |      19 |   809372 |   635682 |      745   1808 |        0 |        0
117.98/118.08	c  118s |      19 |   823244 |   646382 |      745   1834 |        0 |        0
119.98/120.08	c  120s |      19 |   836243 |   656682 |      745   1858 |        0 |        0
121.97/122.10	c  122s |      19 |   849345 |   666682 |      820   1881 |        0 |        0
122.08/122.13	c  122s |      20 |   849538 |   666827 |      820   1882 |        0 |        0
124.07/124.14	c  124s |      20 |   864240 |   677527 |      820   1905 |        0 |        0
126.07/126.15	c  126s |      20 |   878024 |   688127 |      820   1929 |        0 |        0
128.07/128.16	c  128s |      20 |   891455 |   698927 |      820   1952 |        0 |        0
130.07/130.16	c  130s |      20 |   903751 |   709027 |      820   1975 |        0 |        0
132.08/132.16	c  132s |      20 |   916587 |   719527 |      820   1998 |        0 |        0
134.07/134.17	c  134s |      20 |   929925 |   729527 |      820   2020 |        0 |        0
136.07/136.17	c  136s |      20 |   943118 |   739527 |      820   2042 |        0 |        0
138.07/138.19	c  138s |      20 |   958266 |   750227 |      820   2066 |        0 |        0
140.17/140.20	c  140s |      20 |   972916 |   760927 |      820   2089 |        0 |        0
142.17/142.21	c  142s |      20 |   987546 |   771327 |      820   2112 |        0 |        0
144.18/144.22	c  144s |      20 |  1000523 |   781327 |      820   2135 |        0 |        0
146.17/146.24	c  146s |      20 |  1013409 |   791227 |      820   2157 |        0 |        0
148.17/148.25	c  148s |      20 |  1028010 |   802027 |      820   2181 |        0 |        0
150.17/150.27	c  150s |      20 |  1042219 |   812427 |      820   2204 |        0 |        0
152.17/152.29	c  152s |      20 |  1057667 |   823327 |      820   2229 |        0 |        0
154.27/154.30	c  154s |      20 |  1072252 |   833627 |      820   2251 |        0 |        0
156.27/156.31	c  156s |      20 |  1085632 |   843627 |      820   2273 |        0 |        0
158.26/158.33	c  158s |      20 |  1100444 |   854027 |      820   2296 |        0 |        0
160.26/160.33	c  160s |      20 |  1115077 |   864227 |      820   2319 |        0 |        0
162.26/162.33	c  162s |      20 |  1131415 |   874927 |      820   2343 |        0 |        0
164.26/164.34	c  164s |      20 |  1145014 |   885227 |      820   2365 |        0 |        0
166.26/166.35	c  166s |      20 |  1159073 |   895527 |      820   2388 |        0 |        0
168.27/168.35	c  168s |      20 |  1173761 |   906027 |      820   2411 |        0 |        0
170.26/170.36	c  170s |      20 |  1187352 |   916327 |      820   2434 |        0 |        0
172.26/172.39	c  172s |      20 |  1200968 |   926527 |      820   2457 |        0 |        0
174.36/174.41	c  174s |      20 |  1214491 |   936827 |      820   2480 |        0 |        0
176.36/176.41	c  176s |      20 |  1225964 |   946527 |      820   2502 |        0 |        0
178.36/178.41	c  178s |      20 |  1239228 |   956327 |      820   2524 |        0 |        0
180.36/180.43	c  180s |      20 |  1253686 |   966727 |      820   2547 |        0 |        0
182.36/182.44	c  182s |      20 |  1266568 |   976727 |      820   2569 |        0 |        0
184.36/184.44	c  184s |      20 |  1280649 |   986627 |      820   2591 |        0 |        0
186.37/186.46	c  186s |      20 |  1293648 |   996327 |      903   2612 |        0 |        0
187.27/187.30	c  187s |      21 |  1299352 |  1000345 |      903   2620 |        0 |        0
189.27/189.32	c  189s |      21 |  1311731 |  1010745 |      903   2640 |        0 |        0
191.26/191.34	c  191s |      21 |  1323910 |  1020945 |      903   2660 |        0 |        0
193.26/193.34	c  193s |      21 |  1335189 |  1030445 |      903   2679 |        0 |        0
195.26/195.36	c  195s |      21 |  1345459 |  1039245 |      903   2697 |        0 |        0
197.26/197.36	c  197s |      21 |  1356899 |  1048945 |      903   2716 |        0 |        0
199.26/199.37	c  199s |      21 |  1368335 |  1058545 |      903   2736 |        0 |        0
201.27/201.39	c  201s |      21 |  1380028 |  1068345 |      903   2756 |        0 |        0
203.26/203.39	c  203s |      21 |  1391716 |  1078145 |      903   2776 |        0 |        0
205.36/205.41	c  205s |      21 |  1404265 |  1088345 |      903   2797 |        0 |        0
207.36/207.42	c  207s |      21 |  1415679 |  1097845 |      903   2816 |        0 |        0
209.36/209.43	c  209s |      21 |  1428129 |  1108045 |      903   2837 |        0 |        0
211.35/211.44	c  211s |      21 |  1440565 |  1118045 |      903   2857 |        0 |        0
213.36/213.45	c  213s |      21 |  1452214 |  1127745 |      903   2877 |        0 |        0
215.35/215.46	c  215s |      21 |  1464864 |  1137745 |      903   2897 |        0 |        0
217.35/217.47	c  217s |      21 |  1476863 |  1147645 |      903   2917 |        0 |        0
219.35/219.49	c  219s |      21 |  1489771 |  1157845 |      903   2937 |        0 |        0
221.36/221.49	c  221s |      21 |  1501975 |  1167945 |      903   2958 |        0 |        0
223.46/223.52	c  223s |      21 |  1514567 |  1178245 |      903   2979 |        0 |        0
225.46/225.53	c  225s |      21 |  1525840 |  1187945 |      903   2999 |        0 |        0
227.46/227.54	c  227s |      21 |  1537648 |  1197945 |      903   3019 |        0 |        0
229.46/229.55	c  229s |      21 |  1548918 |  1207545 |      903   3039 |        0 |        0
231.46/231.57	c  231s |      21 |  1560976 |  1217345 |      903   3059 |        0 |        0
233.46/233.57	c  233s |      21 |  1573174 |  1227445 |      903   3079 |        0 |        0
235.46/235.58	c  235s |      21 |  1584980 |  1237045 |      903   3098 |        0 |        0
237.46/237.60	c  237s |      21 |  1596912 |  1246645 |      903   3118 |        0 |        0
239.56/239.61	c  239s |      21 |  1609436 |  1256545 |      903   3138 |        0 |        0
241.56/241.62	c  241s |      21 |  1623179 |  1266745 |      903   3159 |        0 |        0
243.56/243.62	c  243s |      21 |  1635277 |  1276445 |      903   3178 |        0 |        0
245.55/245.63	c  245s |      21 |  1647737 |  1286345 |      903   3198 |        0 |        0
247.56/247.65	c  247s |      21 |  1659594 |  1296145 |      903   3218 |        0 |        0
249.55/249.65	c  249s |      21 |  1672174 |  1306145 |      903   3238 |        0 |        0
251.55/251.67	c  251s |      21 |  1684804 |  1316245 |      903   3259 |        0 |        0
253.55/253.68	c  253s |      21 |  1698540 |  1326545 |      903   3279 |        0 |        0
255.55/255.68	c  255s |      21 |  1711608 |  1336745 |      903   3300 |        0 |        0
257.55/257.69	c  257s |      21 |  1724939 |  1347145 |      903   3321 |        0 |        0
259.56/259.70	c  259s |      21 |  1738321 |  1357445 |      903   3342 |        0 |        0
261.65/261.71	c  261s |      21 |  1750680 |  1367545 |      903   3362 |        0 |        0
263.65/263.72	c  263s |      21 |  1763697 |  1377745 |      903   3382 |        0 |        0
265.65/265.73	c  265s |      21 |  1776774 |  1387945 |      903   3403 |        0 |        0
267.65/267.74	c  267s |      21 |  1789347 |  1398045 |      903   3424 |        0 |        0
269.65/269.74	c  269s |      21 |  1802502 |  1408345 |      903   3444 |        0 |        0
271.65/271.75	c  271s |      21 |  1815911 |  1418645 |      903   3465 |        0 |        0
273.64/273.77	c  273s |      21 |  1829101 |  1428845 |      903   3486 |        0 |        0
275.64/275.78	c  275s |      21 |  1842863 |  1439245 |      903   3507 |        0 |        0
277.64/277.79	c  277s |      21 |  1856388 |  1449845 |      903   3528 |        0 |        0
279.64/279.79	c  279s |      21 |  1868812 |  1459845 |      903   3549 |        0 |        0
281.74/281.81	c  281s |      21 |  1881141 |  1469745 |      903   3569 |        0 |        0
283.75/283.83	c  283s |      21 |  1892209 |  1479145 |      903   3588 |        0 |        0
285.74/285.85	c  285s |      21 |  1904823 |  1489145 |      903   3608 |        0 |        0
287.75/287.86	c  287s |      21 |  1917630 |  1499145 |      994   3627 |        0 |        0
288.05/288.16	c  288s |      22 |  1919637 |  1500622 |      994   3630 |        0 |        0
290.05/290.18	c  290s |      22 |  1932478 |  1510422 |      994   3648 |        0 |        0
292.05/292.18	c  292s |      22 |  1944095 |  1519722 |      994   3665 |        0 |        0
294.15/294.20	c  294s |      22 |  1955801 |  1529122 |      994   3683 |        0 |        0
296.15/296.21	c  296s |      22 |  1967747 |  1539022 |      994   3701 |        0 |        0
298.15/298.22	c  298s |      22 |  1979895 |  1548722 |      994   3718 |        0 |        0
300.14/300.23	c  300s |      22 |  1991694 |  1558122 |      994   3736 |        0 |        0
302.14/302.25	c  302s |      22 |  2003280 |  1567622 |      994   3753 |        0 |        0
304.14/304.25	c  304s |      22 |  2014256 |  1576722 |      994   3770 |        0 |        0
306.14/306.25	c  306s |      22 |  2025329 |  1586022 |      994   3787 |        0 |        0
308.14/308.26	c  308s |      22 |  2037099 |  1595422 |      994   3805 |        0 |        0
310.15/310.26	c  310s |      22 |  2048356 |  1604722 |      994   3822 |        0 |        0
312.14/312.28	c  312s |      22 |  2059956 |  1614222 |      994   3840 |        0 |        0
314.24/314.30	c  314s |      22 |  2071733 |  1623922 |      994   3858 |        0 |        0
316.24/316.32	c  316s |      22 |  2083301 |  1633522 |      994   3875 |        0 |        0
318.24/318.32	c  318s |      22 |  2095079 |  1643222 |      994   3893 |        0 |        0
320.24/320.33	c  320s |      22 |  2107270 |  1653022 |      994   3911 |        0 |        0
322.25/322.34	c  322s |      22 |  2119001 |  1662522 |      994   3929 |        0 |        0
324.24/324.34	c  324s |      22 |  2130723 |  1672122 |      994   3947 |        0 |        0
326.24/326.34	c  326s |      22 |  2141534 |  1681222 |      994   3964 |        0 |        0
328.24/328.36	c  328s |      22 |  2153288 |  1690722 |      994   3981 |        0 |        0
330.24/330.37	c  330s |      22 |  2165311 |  1700522 |      994   4000 |        0 |        0
332.24/332.37	c  332s |      22 |  2176766 |  1709822 |      994   4017 |        0 |        0
334.24/334.38	c  334s |      22 |  2187524 |  1718822 |      994   4034 |        0 |        0
336.34/336.40	c  336s |      22 |  2198883 |  1728222 |      994   4051 |        0 |        0
338.34/338.40	c  338s |      22 |  2210922 |  1737822 |      994   4068 |        0 |        0
340.34/340.40	c  340s |      22 |  2221347 |  1746822 |      994   4085 |        0 |        0
342.34/342.40	c  342s |      22 |  2232007 |  1755922 |      994   4102 |        0 |        0
344.34/344.42	c  344s |      22 |  2243152 |  1765422 |      994   4119 |        0 |        0
346.33/346.44	c  346s |      22 |  2253715 |  1774422 |      994   4136 |        0 |        0
348.33/348.45	c  348s |      22 |  2265386 |  1784022 |      994   4154 |        0 |        0
350.33/350.47	c  350s |      22 |  2276994 |  1793622 |      994   4172 |        0 |        0
352.33/352.48	c  352s |      22 |  2288626 |  1803422 |      994   4190 |        0 |        0
354.33/354.50	c  354s |      22 |  2299790 |  1812822 |      994   4207 |        0 |        0
356.45/356.51	c  356s |      22 |  2310581 |  1821922 |      994   4224 |        0 |        0
358.44/358.53	c  358s |      22 |  2321650 |  1831122 |      994   4241 |        0 |        0
360.44/360.53	c  360s |      22 |  2332858 |  1840422 |      994   4258 |        0 |        0
362.44/362.53	c  362s |      22 |  2344111 |  1849522 |      994   4275 |        0 |        0
364.44/364.55	c  364s |      22 |  2355122 |  1858722 |      994   4292 |        0 |        0
366.44/366.58	c  366s |      22 |  2366470 |  1867922 |      994   4309 |        0 |        0
368.44/368.59	c  368s |      22 |  2378514 |  1877522 |      994   4327 |        0 |        0
370.53/370.61	c  370s |      22 |  2390511 |  1887322 |      994   4345 |        0 |        0
372.53/372.63	c  372s |      22 |  2401718 |  1896722 |      994   4362 |        0 |        0
374.53/374.64	c  374s |      22 |  2412943 |  1905822 |      994   4379 |        0 |        0
376.53/376.65	c  376s |      22 |  2423652 |  1914822 |      994   4396 |        0 |        0
378.53/378.67	c  378s |      22 |  2435572 |  1924322 |      994   4414 |        0 |        0
380.54/380.67	c  380s |      22 |  2447707 |  1933822 |      994   4431 |        0 |        0
382.53/382.67	c  382s |      22 |  2458844 |  1943122 |      994   4449 |        0 |        0
384.53/384.68	c  384s |      22 |  2470007 |  1952222 |      994   4466 |        0 |        0
386.53/386.68	c  386s |      22 |  2481651 |  1961422 |      994   4483 |        0 |        0
388.63/388.70	c  388s |      22 |  2493220 |  1970722 |      994   4500 |        0 |        0
390.63/390.70	c  390s |      22 |  2504804 |  1980122 |      994   4517 |        0 |        0
392.53/392.70	c  392s |      22 |  2516207 |  1989322 |      994   4534 |        0 |        0
394.63/394.72	c  394s |      22 |  2526740 |  1998222 |      994   4550 |        0 |        0
396.63/396.74	c  396s |      22 |  2538067 |  2007422 |      994   4567 |        0 |        0
398.63/398.74	c  398s |      22 |  2550262 |  2017022 |      994   4585 |        0 |        0
400.63/400.75	c  400s |      22 |  2562936 |  2026822 |      994   4604 |        0 |        0
402.64/402.77	c  402s |      22 |  2576020 |  2036822 |      994   4622 |        0 |        0
404.63/404.77	c  404s |      22 |  2587655 |  2046122 |      994   4639 |        0 |        0
406.63/406.79	c  406s |      22 |  2598621 |  2055322 |      994   4656 |        0 |        0
408.63/408.79	c  408s |      22 |  2609129 |  2064322 |      994   4673 |        0 |        0
410.73/410.81	c  410s |      22 |  2620697 |  2073622 |      994   4690 |        0 |        0
412.73/412.82	c  412s |      22 |  2631451 |  2082722 |      994   4707 |        0 |        0
414.74/414.82	c  414s |      22 |  2643008 |  2092022 |      994   4724 |        0 |        0
416.73/416.83	c  416s |      22 |  2654285 |  2101222 |      994   4741 |        0 |        0
418.73/418.83	c  418s |      22 |  2666065 |  2110522 |      994   4759 |        0 |        0
420.73/420.85	c  420s |      22 |  2677271 |  2119922 |      994   4776 |        0 |        0
422.72/422.85	c  422s |      22 |  2688800 |  2129322 |      994   4794 |        0 |        0
424.72/424.87	c  424s |      22 |  2700145 |  2138622 |      994   4811 |        0 |        0
426.73/426.88	c  426s |      22 |  2711828 |  2148022 |      994   4829 |        0 |        0
428.72/428.89	c  428s |      22 |  2723565 |  2157422 |      994   4846 |        0 |        0
430.82/430.91	c  430s |      22 |  2734850 |  2166722 |      994   4864 |        0 |        0
432.82/432.91	c  432s |      22 |  2746306 |  2175922 |      994   4881 |        0 |        0
434.82/434.93	c  434s |      22 |  2757595 |  2185222 |      994   4898 |        0 |        0
436.82/436.96	c  436s |      22 |  2768378 |  2194522 |      994   4915 |        0 |        0
438.83/438.98	c  438s |      22 |  2779518 |  2203822 |      994   4933 |        0 |        0
440.92/441.00	c  440s |      22 |  2790949 |  2213122 |      994   4950 |        0 |        0
442.92/443.01	c  442s |      22 |  2802485 |  2222622 |      994   4967 |        0 |        0
444.92/445.03	c  445s |      22 |  2813573 |  2231922 |      994   4984 |        0 |        0
446.92/447.05	c  447s |      22 |  2824693 |  2241122 |     1094   5000 |        0 |        0
448.92/449.07	c  449s |      22 |  2835970 |  2250222 |     1094   5016 |        0 |        0
449.12/449.25	c  449s |      23 |  2837064 |  2251038 |     1094   5017 |        0 |        0
451.12/451.27	c  451s |      23 |  2849128 |  2260438 |     1094   5033 |        0 |        0
453.13/453.28	c  453s |      23 |  2861044 |  2269838 |     1094   5049 |        0 |        0
455.22/455.30	c  455s |      23 |  2872422 |  2278938 |     1094   5064 |        0 |        0
457.22/457.31	c  457s |      23 |  2883560 |  2288038 |     1094   5079 |        0 |        0
459.22/459.32	c  459s |      23 |  2894667 |  2297038 |     1094   5094 |        0 |        0
461.22/461.33	c  461s |      23 |  2905958 |  2306138 |     1094   5109 |        0 |        0
463.22/463.34	c  463s |      23 |  2916483 |  2314838 |     1094   5124 |        0 |        0
465.22/465.35	c  465s |      23 |  2927966 |  2323938 |     1094   5139 |        0 |        0
467.22/467.35	c  467s |      23 |  2938798 |  2332738 |     1094   5154 |        0 |        0
469.21/469.37	c  469s |      23 |  2949321 |  2341638 |     1094   5169 |        0 |        0
471.21/471.39	c  471s |      23 |  2959334 |  2350238 |     1094   5183 |        0 |        0
473.32/473.41	c  473s |      23 |  2970783 |  2359438 |     1094   5199 |        0 |        0
475.32/475.43	c  475s |      23 |  2981119 |  2368238 |     1094   5213 |        0 |        0
477.33/477.44	c  477s |      23 |  2991576 |  2377138 |     1094   5228 |        0 |        0
479.32/479.46	c  479s |      23 |  3002209 |  2386138 |     1094   5243 |        0 |        0
481.32/481.48	c  481s |      23 |  3012632 |  2394838 |     1094   5258 |        0 |        0
483.32/483.49	c  483s |      23 |  3022939 |  2403738 |     1094   5273 |        0 |        0
485.32/485.50	c  485s |      23 |  3032229 |  2412038 |     1094   5287 |        0 |        0
487.42/487.50	c  487s |      23 |  3041656 |  2420438 |     1094   5301 |        0 |        0
489.42/489.51	c  489s |      23 |  3051729 |  2429138 |     1094   5315 |        0 |        0
491.42/491.53	c  491s |      23 |  3061736 |  2437638 |     1094   5329 |        0 |        0
493.42/493.54	c  493s |      23 |  3072033 |  2446338 |     1094   5344 |        0 |        0
495.41/495.55	c  495s |      23 |  3082680 |  2455238 |     1094   5359 |        0 |        0
497.41/497.56	c  497s |      23 |  3092545 |  2463838 |     1094   5374 |        0 |        0
499.42/499.58	c  499s |      23 |  3103059 |  2472638 |     1094   5388 |        0 |        0
501.41/501.58	c  501s |      23 |  3112833 |  2481038 |     1094   5402 |        0 |        0
503.51/503.60	c  503s |      23 |  3122753 |  2489838 |     1094   5417 |        0 |        0
505.51/505.60	c  505s |      23 |  3132780 |  2498538 |     1094   5431 |        0 |        0
507.51/507.60	c  507s |      23 |  3142887 |  2507038 |     1094   5446 |        0 |        0
509.51/509.62	c  509s |      23 |  3152340 |  2515338 |     1094   5459 |        0 |        0
511.52/511.64	c  511s |      23 |  3161475 |  2523238 |     1094   5473 |        0 |        0
513.51/513.65	c  513s |      23 |  3171655 |  2531738 |     1094   5487 |        0 |        0
515.51/515.67	c  515s |      23 |  3182349 |  2540538 |     1094   5502 |        0 |        0
517.51/517.68	c  517s |      23 |  3192816 |  2549138 |     1094   5516 |        0 |        0
519.61/519.70	c  519s |      23 |  3203009 |  2557538 |     1094   5530 |        0 |        0
521.61/521.70	c  521s |      23 |  3213257 |  2566238 |     1094   5545 |        0 |        0
523.61/523.71	c  523s |      23 |  3224694 |  2575438 |     1094   5561 |        0 |        0
525.61/525.72	c  525s |      23 |  3235165 |  2584138 |     1094   5575 |        0 |        0
527.61/527.74	c  527s |      23 |  3246556 |  2593338 |     1094   5591 |        0 |        0
529.60/529.75	c  529s |      23 |  3257476 |  2602038 |     1094   5605 |        0 |        0
531.60/531.78	c  531s |      23 |  3268042 |  2610638 |     1094   5620 |        0 |        0
533.60/533.79	c  533s |      23 |  3278806 |  2619638 |     1094   5635 |        0 |        0
535.71/535.80	c  535s |      23 |  3289001 |  2628338 |     1094   5649 |        0 |        0
537.71/537.82	c  537s |      23 |  3299242 |  2636938 |     1094   5664 |        0 |        0
539.71/539.84	c  539s |      23 |  3309677 |  2645838 |     1094   5678 |        0 |        0
541.71/541.86	c  541s |      23 |  3321193 |  2654938 |     1094   5694 |        0 |        0
543.71/543.87	c  543s |      23 |  3333386 |  2664438 |     1094   5709 |        0 |        0
545.71/545.89	c  545s |      23 |  3344389 |  2673438 |     1094   5725 |        0 |        0
547.82/547.90	c  547s |      23 |  3354531 |  2682038 |     1094   5739 |        0 |        0
549.81/549.93	c  549s |      23 |  3364506 |  2690538 |     1094   5753 |        0 |        0
551.81/551.95	c  551s |      23 |  3374935 |  2699238 |     1094   5768 |        0 |        0
553.81/553.98	c  553s |      23 |  3386017 |  2708138 |     1094   5783 |        0 |        0
555.91/556.00	c  555s |      23 |  3396167 |  2716538 |     1094   5797 |        0 |        0
557.91/558.03	c  558s |      23 |  3406981 |  2725338 |     1094   5811 |        0 |        0
559.91/560.03	c  560s |      23 |  3417329 |  2734138 |     1094   5826 |        0 |        0
561.90/562.05	c  562s |      23 |  3427016 |  2742738 |     1094   5840 |        0 |        0
563.90/564.06	c  564s |      23 |  3437495 |  2751838 |     1094   5855 |        0 |        0
565.90/566.06	c  566s |      23 |  3447832 |  2760638 |     1094   5870 |        0 |        0
567.90/568.07	c  568s |      23 |  3458267 |  2769438 |     1094   5885 |        0 |        0
569.90/570.08	c  570s |      23 |  3468576 |  2778238 |     1094   5899 |        0 |        0
571.91/572.09	c  572s |      23 |  3478369 |  2786738 |     1094   5914 |        0 |        0
574.00/574.11	c  574s |      23 |  3488326 |  2795138 |     1094   5928 |        0 |        0
576.00/576.14	c  576s |      23 |  3498115 |  2803338 |     1094   5942 |        0 |        0
578.00/578.16	c  578s |      23 |  3507542 |  2811538 |     1094   5955 |        0 |        0
580.01/580.16	c  580s |      23 |  3516801 |  2819638 |     1094   5969 |        0 |        0
582.01/582.17	c  582s |      23 |  3526525 |  2828038 |     1094   5983 |        0 |        0
584.01/584.18	c  584s |      23 |  3536455 |  2836438 |     1094   5997 |        0 |        0
586.00/586.19	c  586s |      23 |  3547032 |  2844938 |     1094   6011 |        0 |        0
588.00/588.20	c  588s |      23 |  3557105 |  2853438 |     1094   6025 |        0 |        0
590.10/590.21	c  590s |      23 |  3566599 |  2861538 |     1094   6039 |        0 |        0
592.10/592.23	c  592s |      23 |  3576419 |  2870038 |     1094   6053 |        0 |        0
594.10/594.25	c  594s |      23 |  3586228 |  2878338 |     1094   6067 |        0 |        0
596.11/596.27	c  596s |      23 |  3596775 |  2887138 |     1094   6082 |        0 |        0
598.10/598.29	c  598s |      23 |  3606444 |  2895438 |     1094   6096 |        0 |        0
600.10/600.29	c  600s |      23 |  3616735 |  2904038 |     1094   6111 |        0 |        0
602.10/602.29	c  602s |      23 |  3626609 |  2912538 |     1094   6125 |        0 |        0
604.20/604.31	c  604s |      23 |  3635932 |  2920738 |     1094   6138 |        0 |        0
606.20/606.32	c  606s |      23 |  3646525 |  2929638 |     1094   6153 |        0 |        0
608.20/608.33	c  608s |      23 |  3657640 |  2938638 |     1094   6168 |        0 |        0
610.20/610.34	c  610s |      23 |  3668092 |  2947738 |     1094   6183 |        0 |        0
612.19/612.35	c  612s |      23 |  3678724 |  2957038 |     1094   6199 |        0 |        0
614.19/614.36	c  614s |      23 |  3689439 |  2965938 |     1094   6214 |        0 |        0
616.19/616.37	c  616s |      23 |  3699802 |  2974538 |     1094   6228 |        0 |        0
618.20/618.38	c  618s |      23 |  3709586 |  2982838 |     1094   6242 |        0 |        0
620.19/620.40	c  620s |      23 |  3720261 |  2991538 |     1094   6256 |        0 |        0
622.29/622.41	c  622s |      23 |  3731050 |  3000238 |     1094   6271 |        0 |        0
624.29/624.43	c  624s |      23 |  3741699 |  3009038 |     1094   6286 |        0 |        0
626.29/626.43	c  626s |      23 |  3752688 |  3018038 |     1094   6301 |        0 |        0
628.29/628.45	c  628s |      23 |  3763414 |  3027038 |     1094   6316 |        0 |        0
630.30/630.45	c  630s |      23 |  3775318 |  3036338 |     1094   6331 |        0 |        0
632.29/632.47	c  632s |      23 |  3786447 |  3045338 |     1094   6346 |        0 |        0
634.29/634.49	c  634s |      23 |  3797570 |  3054338 |     1094   6361 |        0 |        0
636.30/636.49	c  636s |      23 |  3808663 |  3063238 |     1094   6376 |        0 |        0
638.40/638.50	c  638s |      23 |  3820061 |  3072138 |     1094   6391 |        0 |        0
640.40/640.52	c  640s |      23 |  3830992 |  3081038 |     1094   6406 |        0 |        0
642.40/642.53	c  642s |      23 |  3841731 |  3089838 |     1094   6421 |        0 |        0
644.40/644.53	c  644s |      23 |  3852451 |  3098638 |     1094   6436 |        0 |        0
646.39/646.55	c  646s |      23 |  3862965 |  3107438 |     1094   6450 |        0 |        0
648.39/648.55	c  648s |      23 |  3872713 |  3115938 |     1094   6464 |        0 |        0
650.39/650.56	c  650s |      23 |  3882175 |  3124238 |     1094   6478 |        0 |        0
652.39/652.56	c  652s |      23 |  3893273 |  3133038 |     1094   6493 |        0 |        0
654.40/654.58	c  654s |      23 |  3904429 |  3142138 |     1094   6508 |        0 |        0
656.39/656.59	c  656s |      23 |  3915052 |  3150938 |     1094   6523 |        0 |        0
658.49/658.60	c  658s |      23 |  3925926 |  3159738 |     1094   6538 |        0 |        0
660.49/660.60	c  660s |      23 |  3937228 |  3168838 |     1094   6553 |        0 |        0
662.49/662.61	c  662s |      23 |  3948630 |  3177838 |     1094   6568 |        0 |        0
664.49/664.63	c  664s |      23 |  3960415 |  3187038 |     1094   6584 |        0 |        0
666.50/666.63	c  666s |      23 |  3971729 |  3195938 |     1094   6599 |        0 |        0
668.49/668.65	c  668s |      23 |  3983270 |  3205038 |     1094   6614 |        0 |        0
670.49/670.67	c  670s |      23 |  3995797 |  3214538 |     1094   6631 |        0 |        0
672.49/672.68	c  672s |      23 |  4007933 |  3223838 |     1094   6646 |        0 |        0
674.59/674.70	c  674s |      23 |  4018890 |  3232738 |     1094   6661 |        0 |        0
676.59/676.72	c  676s |      23 |  4029334 |  3241538 |     1094   6676 |        0 |        0
678.59/678.74	c  678s |      23 |  4040227 |  3250238 |     1094   6691 |        0 |        0
680.59/680.74	c  680s |      23 |  4051495 |  3259138 |     1094   6706 |        0 |        0
682.59/682.76	c  682s |      23 |  4062882 |  3268238 |     1094   6721 |        0 |        0
684.58/684.76	c  684s |      23 |  4074585 |  3277338 |     1094   6737 |        0 |        0
686.58/686.78	c  686s |      23 |  4086108 |  3286438 |     1094   6752 |        0 |        0
688.59/688.78	c  688s |      23 |  4097753 |  3295438 |     1094   6767 |        0 |        0
690.58/690.80	c  690s |      23 |  4108780 |  3304338 |     1094   6782 |        0 |        0
692.68/692.80	c  692s |      23 |  4120318 |  3313138 |     1094   6797 |        0 |        0
694.68/694.82	c  694s |      23 |  4131987 |  3322138 |     1094   6812 |        0 |        0
696.68/696.83	c  696s |      23 |  4143603 |  3331138 |     1094   6828 |        0 |        0
698.68/698.84	c  698s |      23 |  4153955 |  3339638 |     1094   6842 |        0 |        0
700.69/700.85	c  700s |      23 |  4164342 |  3348038 |     1094   6856 |        0 |        0
702.68/702.86	c  702s |      23 |  4175970 |  3357138 |     1204   6871 |        0 |        0
704.68/704.88	c  704s |      23 |  4186220 |  3365538 |     1204   6884 |        0 |        0
706.68/706.88	c  706s |      23 |  4197176 |  3374138 |     1204   6897 |        0 |        0
707.29/707.44	c  707s |      24 |  4200429 |  3376662 |     1204   6901 |        0 |        0
709.28/709.45	c  709s |      24 |  4212367 |  3385862 |     1204   6915 |        0 |        0
711.28/711.45	c  711s |      24 |  4224047 |  3394862 |     1204   6929 |        0 |        0
713.28/713.45	c  713s |      24 |  4235444 |  3403662 |     1204   6943 |        0 |        0
715.28/715.46	c  715s |      24 |  4245966 |  3412262 |     1204   6956 |        0 |        0
717.28/717.48	c  717s |      24 |  4256638 |  3421062 |     1204   6970 |        0 |        0
719.28/719.50	c  719s |      24 |  4267463 |  3429862 |     1204   6984 |        0 |        0
721.37/721.52	c  721s |      24 |  4278233 |  3438862 |     1204   6997 |        0 |        0
723.37/723.52	c  723s |      24 |  4289289 |  3447762 |     1204   7011 |        0 |        0
725.37/725.52	c  725s |      24 |  4300707 |  3456762 |     1204   7025 |        0 |        0
727.37/727.54	c  727s |      24 |  4312384 |  3465762 |     1204   7039 |        0 |        0
729.37/729.55	c  729s |      24 |  4324089 |  3474662 |     1204   7053 |        0 |        0
731.37/731.55	c  731s |      24 |  4335711 |  3483662 |     1204   7067 |        0 |        0
733.36/733.58	c  733s |      24 |  4346064 |  3492162 |     1204   7081 |        0 |        0
735.36/735.58	c  735s |      24 |  4356534 |  3500662 |     1204   7094 |        0 |        0
737.36/737.59	c  737s |      24 |  4368190 |  3509162 |     1204   7107 |        0 |        0
739.46/739.60	c  739s |      24 |  4379500 |  3517662 |     1204   7120 |        0 |        0
741.47/741.61	c  741s |      24 |  4390233 |  3525962 |     1204   7133 |        0 |        0
743.47/743.61	c  743s |      24 |  4400045 |  3533862 |     1204   7146 |        0 |        0
745.46/745.63	c  745s |      24 |  4410913 |  3542362 |     1204   7159 |        0 |        0
747.46/747.63	c  747s |      24 |  4421538 |  3551062 |     1204   7172 |        0 |        0
749.46/749.66	c  749s |      24 |  4432017 |  3559562 |     1204   7186 |        0 |        0
751.46/751.68	c  751s |      24 |  4442778 |  3568262 |     1204   7199 |        0 |        0
753.46/753.69	c  753s |      24 |  4455350 |  3577762 |     1204   7214 |        0 |        0
755.56/755.71	c  755s |      24 |  4467216 |  3587062 |     1204   7229 |        0 |        0
757.55/757.73	c  757s |      24 |  4478021 |  3595962 |     1204   7243 |        0 |        0
759.55/759.74	c  759s |      24 |  4488687 |  3604562 |     1204   7256 |        0 |        0
761.55/761.76	c  761s |      24 |  4499374 |  3612962 |     1204   7269 |        0 |        0
763.55/763.76	c  763s |      24 |  4510150 |  3621962 |     1204   7283 |        0 |        0
765.56/765.77	c  765s |      24 |  4521519 |  3631062 |     1204   7297 |        0 |        0
767.55/767.77	c  767s |      24 |  4533496 |  3640262 |     1204   7311 |        0 |        0
769.55/769.78	c  769s |      24 |  4543742 |  3648662 |     1204   7324 |        0 |        0
771.54/771.79	c  771s |      24 |  4554044 |  3656862 |     1204   7337 |        0 |        0
773.54/773.79	c  773s |      24 |  4564209 |  3664862 |     1204   7349 |        0 |        0
775.64/775.81	c  775s |      24 |  4574908 |  3673162 |     1204   7363 |        0 |        0
777.65/777.82	c  777s |      24 |  4585527 |  3681562 |     1204   7376 |        0 |        0
779.64/779.83	c  779s |      24 |  4596764 |  3690162 |     1204   7389 |        0 |        0
781.63/781.84	c  781s |      24 |  4608337 |  3698862 |     1204   7403 |        0 |        0
783.63/783.86	c  783s |      24 |  4619221 |  3707362 |     1204   7416 |        0 |        0
785.63/785.88	c  785s |      24 |  4631427 |  3716362 |     1204   7430 |        0 |        0
787.63/787.89	c  787s |      24 |  4642361 |  3724962 |     1204   7444 |        0 |        0
789.74/789.90	c  789s |      24 |  4654199 |  3733962 |     1204   7457 |        0 |        0
791.73/791.91	c  791s |      24 |  4665450 |  3742662 |     1204   7471 |        0 |        0
793.73/793.91	c  793s |      24 |  4674607 |  3750862 |     1204   7484 |        0 |        0
795.73/795.93	c  795s |      24 |  4684459 |  3759162 |     1204   7497 |        0 |        0
797.73/797.95	c  797s |      24 |  4694804 |  3767462 |     1204   7510 |        0 |        0
799.72/799.96	c  799s |      24 |  4705613 |  3776462 |     1204   7524 |        0 |        0
801.74/801.98	c  801s |      24 |  4715583 |  3785162 |     1204   7538 |        0 |        0
803.73/803.99	c  803s |      24 |  4726563 |  3793762 |     1204   7552 |        0 |        0
805.83/806.01	c  805s |      24 |  4737770 |  3802462 |     1204   7565 |        0 |        0
807.83/808.03	c  808s |      24 |  4747994 |  3810762 |     1204   7578 |        0 |        0
809.82/810.05	c  810s |      24 |  4757930 |  3818962 |     1204   7591 |        0 |        0
811.82/812.07	c  812s |      24 |  4768181 |  3827162 |     1204   7603 |        0 |        0
813.83/814.07	c  814s |      24 |  4778387 |  3835262 |     1204   7616 |        0 |        0
815.82/816.08	c  816s |      24 |  4790196 |  3844262 |     1204   7630 |        0 |        0
817.82/818.09	c  818s |      24 |  4801431 |  3852862 |     1204   7643 |        0 |        0
819.82/820.09	c  820s |      24 |  4812355 |  3861462 |     1204   7657 |        0 |        0
821.92/822.10	c  822s |      24 |  4824019 |  3870162 |     1204   7670 |        0 |        0
823.91/824.12	c  824s |      24 |  4835915 |  3878562 |     1204   7683 |        0 |        0
825.92/826.14	c  826s |      24 |  4848053 |  3887362 |     1204   7697 |        0 |        0
827.91/828.14	c  828s |      24 |  4860184 |  3895962 |     1204   7711 |        0 |        0
829.91/830.16	c  830s |      24 |  4871467 |  3904462 |     1204   7724 |        0 |        0
831.91/832.17	c  832s |      24 |  4881975 |  3913062 |     1204   7737 |        0 |        0
833.91/834.19	c  834s |      24 |  4892477 |  3921462 |     1204   7750 |        0 |        0
836.01/836.21	c  836s |      24 |  4902700 |  3929462 |     1204   7763 |        0 |        0
838.01/838.21	c  838s |      24 |  4913393 |  3937562 |     1204   7776 |        0 |        0
840.00/840.23	c  840s |      24 |  4924849 |  3946262 |     1204   7789 |        0 |        0
842.00/842.24	c  842s |      24 |  4936146 |  3954562 |     1204   7802 |        0 |        0
844.00/844.26	c  844s |      24 |  4948082 |  3963462 |     1204   7816 |        0 |        0
846.00/846.28	c  846s |      24 |  4958449 |  3971862 |     1204   7829 |        0 |        0
848.00/848.29	c  848s |      24 |  4969250 |  3980162 |     1204   7842 |        0 |        0
850.11/850.31	c  850s |      24 |  4980192 |  3988662 |     1204   7856 |        0 |        0
852.10/852.33	c  852s |      24 |  4990341 |  3996762 |     1204   7868 |        0 |        0
854.10/854.34	c  854s |      24 |  5000469 |  4004762 |     1204   7881 |        0 |        0
856.10/856.35	c  856s |      24 |  5010780 |  4012762 |     1204   7894 |        0 |        0
858.10/858.37	c  858s |      24 |  5022383 |  4021462 |     1204   7907 |        0 |        0
860.10/860.37	c  860s |      24 |  5033128 |  4029962 |     1204   7920 |        0 |        0
862.09/862.38	c  862s |      24 |  5045887 |  4038962 |     1204   7934 |        0 |        0
864.09/864.39	c  864s |      24 |  5058341 |  4047962 |     1204   7948 |        0 |        0
866.09/866.39	c  866s |      24 |  5070780 |  4057062 |     1204   7963 |        0 |        0
868.19/868.40	c  868s |      24 |  5082480 |  4066062 |     1204   7976 |        0 |        0
870.19/870.41	c  870s |      24 |  5093326 |  4074862 |     1204   7990 |        0 |        0
872.20/872.42	c  872s |      24 |  5104564 |  4083362 |     1204   8003 |        0 |        0
874.19/874.43	c  874s |      24 |  5115684 |  4091862 |     1204   8017 |        0 |        0
876.19/876.45	c  876s |      24 |  5125717 |  4099862 |     1204   8029 |        0 |        0
878.19/878.45	c  878s |      24 |  5136626 |  4108462 |     1204   8042 |        0 |        0
880.18/880.48	c  880s |      24 |  5146445 |  4116662 |     1204   8055 |        0 |        0
882.28/882.50	c  882s |      24 |  5156666 |  4125162 |     1204   8069 |        0 |        0
884.19/884.50	c  884s |      24 |  5167606 |  4133962 |     1204   8082 |        0 |        0
886.28/886.50	c  886s |      24 |  5178948 |  4142662 |     1204   8096 |        0 |        0
888.28/888.53	c  888s |      24 |  5188633 |  4150762 |     1204   8109 |        0 |        0
890.27/890.55	c  890s |      24 |  5198512 |  4159062 |     1204   8122 |        0 |        0
892.27/892.56	c  892s |      24 |  5209320 |  4167462 |     1204   8135 |        0 |        0
894.27/894.56	c  894s |      24 |  5221286 |  4176262 |     1204   8148 |        0 |        0
896.29/896.59	c  896s |      24 |  5232785 |  4185262 |     1204   8163 |        0 |        0
898.38/898.60	c  898s |      24 |  5244065 |  4194062 |     1204   8176 |        0 |        0
900.38/900.60	c  900s |      24 |  5254784 |  4202562 |     1204   8189 |        0 |        0
902.38/902.61	c  902s |      24 |  5265391 |  4211162 |     1204   8203 |        0 |        0
904.38/904.64	c  904s |      24 |  5275900 |  4219262 |     1204   8215 |        0 |        0
906.38/906.64	c  906s |      24 |  5286703 |  4227562 |     1204   8228 |        0 |        0
908.38/908.64	c  908s |      24 |  5297916 |  4236262 |     1204   8242 |        0 |        0
910.37/910.64	c  910s |      24 |  5308712 |  4244862 |     1204   8255 |        0 |        0
912.37/912.66	c  912s |      24 |  5318341 |  4252862 |     1204   8268 |        0 |        0
914.37/914.68	c  914s |      24 |  5328833 |  4261062 |     1204   8281 |        0 |        0
916.37/916.69	c  916s |      24 |  5340075 |  4269462 |     1204   8294 |        0 |        0
918.47/918.70	c  918s |      24 |  5350676 |  4277662 |     1204   8307 |        0 |        0
920.47/920.71	c  920s |      24 |  5361209 |  4286262 |     1204   8320 |        0 |        0
922.46/922.72	c  922s |      24 |  5371337 |  4294662 |     1204   8333 |        0 |        0
924.46/924.73	c  924s |      24 |  5381929 |  4303162 |     1204   8347 |        0 |        0
926.46/926.73	c  926s |      24 |  5392985 |  4311862 |     1204   8360 |        0 |        0
928.46/928.73	c  928s |      24 |  5403403 |  4320262 |     1204   8373 |        0 |        0
930.47/930.74	c  930s |      24 |  5415527 |  4329162 |     1204   8387 |        0 |        0
932.46/932.74	c  932s |      24 |  5426876 |  4338162 |     1204   8401 |        0 |        0
934.46/934.76	c  934s |      24 |  5437384 |  4346662 |     1204   8415 |        0 |        0
936.46/936.78	c  936s |      24 |  5448191 |  4355262 |     1204   8428 |        0 |        0
938.46/938.79	c  938s |      24 |  5459886 |  4364262 |     1204   8442 |        0 |        0
940.45/940.79	c  940s |      24 |  5470676 |  4372662 |     1204   8455 |        0 |        0
942.56/942.80	c  942s |      24 |  5481016 |  4380862 |     1204   8468 |        0 |        0
944.55/944.82	c  944s |      24 |  5491362 |  4388962 |     1204   8480 |        0 |        0
946.55/946.84	c  946s |      24 |  5502201 |  4397562 |     1204   8494 |        0 |        0
948.55/948.84	c  948s |      24 |  5513599 |  4406162 |     1204   8507 |        0 |        0
950.54/950.86	c  950s |      24 |  5525510 |  4415062 |     1204   8521 |        0 |        0
952.54/952.86	c  952s |      24 |  5537481 |  4423762 |     1204   8535 |        0 |        0
954.55/954.87	c  954s |      24 |  5549132 |  4432662 |     1204   8549 |        0 |        0
956.54/956.88	c  956s |      24 |  5559923 |  4441162 |     1204   8562 |        0 |        0
958.54/958.89	c  958s |      24 |  5570124 |  4449362 |     1204   8575 |        0 |        0
960.64/960.90	c  960s |      24 |  5580297 |  4457462 |     1204   8587 |        0 |        0
962.64/962.91	c  962s |      24 |  5591257 |  4465962 |     1204   8601 |        0 |        0
964.64/964.95	c  964s |      24 |  5602122 |  4474262 |     1204   8613 |        0 |        0
966.64/966.96	c  966s |      24 |  5613803 |  4482762 |     1204   8627 |        0 |        0
968.63/968.97	c  968s |      24 |  5624622 |  4491162 |     1204   8640 |        0 |        0
970.63/970.97	c  970s |      24 |  5635099 |  4499562 |     1204   8653 |        0 |        0
972.63/972.98	c  972s |      24 |  5646023 |  4507962 |     1204   8666 |        0 |        0
974.63/974.99	c  974s |      24 |  5656854 |  4516462 |     1204   8679 |        0 |        0
976.73/977.01	c  977s |      24 |  5667107 |  4524862 |     1204   8692 |        0 |        0
978.73/979.02	c  979s |      24 |  5677956 |  4533162 |     1204   8705 |        0 |        0
980.73/981.03	c  981s |      24 |  5688798 |  4541562 |     1204   8718 |        0 |        0
982.73/983.04	c  983s |      24 |  5698660 |  4549462 |     1204   8730 |        0 |        0
984.73/985.07	c  985s |      24 |  5709760 |  4557962 |     1204   8744 |        0 |        0
986.73/987.09	c  987s |      24 |  5719742 |  4565762 |     1204   8756 |        0 |        0
988.73/989.09	c  989s |      24 |  5730574 |  4574062 |     1204   8769 |        0 |        0
990.72/991.10	c  991s |      24 |  5740955 |  4582462 |     1204   8782 |        0 |        0
992.82/993.10	c  993s |      24 |  5751046 |  4590262 |     1204   8794 |        0 |        0
994.82/995.11	c  995s |      24 |  5762489 |  4598662 |     1204   8807 |        0 |        0
996.82/997.13	c  997s |      24 |  5773764 |  4607362 |     1204   8821 |        0 |        0
998.82/999.15	c  999s |      24 |  5784180 |  4615662 |     1204   8834 |        0 |        0
1000.82/1001.15	c 1001s |      24 |  5794068 |  4623562 |     1204   8846 |        0 |        0
1002.82/1003.16	c 1003s |      24 |  5804585 |  4631462 |     1204   8859 |        0 |        0
1004.82/1005.16	c 1005s |      24 |  5814776 |  4639862 |     1204   8872 |        0 |        0
1006.81/1007.17	c 1007s |      24 |  5824764 |  4647562 |     1204   8884 |        0 |        0
1008.81/1009.20	c 1009s |      24 |  5834884 |  4655462 |     1204   8896 |        0 |        0
1010.91/1011.20	c 1011s |      24 |  5845125 |  4663262 |     1204   8909 |        0 |        0
1012.92/1013.22	c 1013s |      24 |  5855157 |  4671062 |     1204   8921 |        0 |        0
1014.91/1015.22	c 1015s |      24 |  5864651 |  4678762 |     1204   8933 |        0 |        0
1016.91/1017.24	c 1017s |      24 |  5874590 |  4686762 |     1204   8946 |        0 |        0
1018.91/1019.25	c 1019s |      24 |  5884652 |  4694862 |     1204   8958 |        0 |        0
1020.90/1021.26	c 1021s |      24 |  5895199 |  4702962 |     1204   8971 |        0 |        0
1022.90/1023.26	c 1023s |      24 |  5906487 |  4711162 |     1204   8984 |        0 |        0
1024.91/1025.30	c 1025s |      24 |  5916468 |  4719062 |     1204   8997 |        0 |        0
1027.01/1027.31	c 1027s |      24 |  5927413 |  4727362 |     1204   9010 |        0 |        0
1029.01/1029.32	c 1029s |      24 |  5938345 |  4735962 |     1204   9023 |        0 |        0
1031.00/1031.34	c 1031s |      24 |  5948254 |  4744162 |     1204   9036 |        0 |        0
1033.00/1033.35	c 1033s |      24 |  5959490 |  4752962 |     1204   9049 |        0 |        0
1035.00/1035.37	c 1035s |      24 |  5971041 |  4761562 |     1204   9063 |        0 |        0
1037.01/1037.39	c 1037s |      24 |  5981753 |  4769762 |     1204   9076 |        0 |        0
1039.10/1039.40	c 1039s |      24 |  5993368 |  4778362 |     1204   9089 |        0 |        0
1041.10/1041.41	c 1041s |      24 |  6004866 |  4787162 |     1204   9103 |        0 |        0
1043.09/1043.41	c 1043s |      24 |  6015736 |  4795462 |     1204   9116 |        0 |        0
1045.09/1045.43	c 1045s |      24 |  6027147 |  4804162 |     1204   9130 |        0 |        0
1047.09/1047.44	c 1047s |      24 |  6037803 |  4812562 |     1204   9143 |        0 |        0
1049.10/1049.44	c 1049s |      24 |  6048193 |  4820762 |     1204   9156 |        0 |        0
1051.09/1051.46	c 1051s |      24 |  6058960 |  4829262 |     1204   9169 |        0 |        0
1053.09/1053.46	c 1053s |      24 |  6068860 |  4837462 |     1204   9182 |        0 |        0
1055.08/1055.47	c 1055s |      24 |  6079738 |  4845762 |     1204   9195 |        0 |        0
1057.08/1057.49	c 1057s |      24 |  6089968 |  4853862 |     1204   9208 |        0 |        0
1059.18/1059.50	c 1059s |      24 |  6101825 |  4862462 |     1204   9221 |        0 |        0
1061.18/1061.51	c 1061s |      24 |  6111702 |  4870462 |     1204   9234 |        0 |        0
1063.18/1063.51	c 1063s |      24 |  6122255 |  4878662 |     1204   9246 |        0 |        0
1065.18/1065.52	c 1065s |      24 |  6132426 |  4886962 |     1204   9260 |        0 |        0
1067.18/1067.54	c 1067s |      24 |  6142917 |  4895362 |     1204   9273 |        0 |        0
1069.18/1069.55	c 1069s |      24 |  6153304 |  4903562 |     1204   9286 |        0 |        0
1071.18/1071.57	c 1071s |      24 |  6162378 |  4911362 |     1204   9298 |        0 |        0
1073.17/1073.58	c 1073s |      24 |  6172059 |  4919362 |     1204   9310 |        0 |        0
1075.17/1075.59	c 1075s |      24 |  6181210 |  4927062 |     1204   9322 |        0 |        0
1077.27/1077.61	c 1077s |      24 |  6191689 |  4935462 |     1204   9335 |        0 |        0
1079.27/1079.63	c 1079s |      24 |  6201921 |  4943762 |     1204   9348 |        0 |        0
1081.26/1081.64	c 1081s |      24 |  6212378 |  4951762 |     1204   9361 |        0 |        0
1083.27/1083.65	c 1083s |      24 |  6222579 |  4960062 |     1204   9374 |        0 |        0
1085.26/1085.66	c 1085s |      24 |  6232973 |  4968762 |     1204   9388 |        0 |        0
1087.26/1087.68	c 1087s |      24 |  6241751 |  4976462 |     1204   9400 |        0 |        0
1089.36/1089.70	c 1089s |      24 |  6252805 |  4985462 |     1204   9414 |        0 |        0
1091.36/1091.70	c 1091s |      24 |  6263192 |  4994262 |     1204   9428 |        0 |        0
1093.36/1093.72	c 1093s |      24 |  6274602 |  5003262 |     1204   9442 |        0 |        0
1095.37/1095.72	c 1095s |      24 |  6284414 |  5011562 |     1204   9456 |        0 |        0
1097.36/1097.72	c 1097s |      24 |  6294491 |  5019962 |     1204   9469 |        0 |        0
1099.36/1099.73	c 1099s |      24 |  6305477 |  5029062 |     1325   9483 |        0 |        0
1101.36/1101.74	c 1101s |      24 |  6315171 |  5037262 |     1325   9495 |        0 |        0
1103.36/1103.75	c 1103s |      24 |  6324125 |  5044962 |     1325   9506 |        0 |        0
1105.36/1105.76	c 1105s |      24 |  6333432 |  5052962 |     1325   9518 |        0 |        0
1107.36/1107.76	c 1107s |      24 |  6342276 |  5060862 |     1325   9530 |        0 |        0
1108.36/1108.76	c 1108s |      25 |  6347241 |  5065098 |     1325   9536 |        0 |        0
1110.35/1110.78	c 1110s |      25 |  6357989 |  5074098 |     1325   9549 |        0 |        0
1112.35/1112.79	c 1112s |      25 |  6368183 |  5082798 |     1325   9561 |        0 |        0
1114.45/1114.80	c 1114s |      25 |  6378126 |  5091298 |     1325   9573 |        0 |        0
1116.45/1116.80	c 1116s |      25 |  6387722 |  5099698 |     1325   9585 |        0 |        0
1118.45/1118.82	c 1118s |      25 |  6397930 |  5108398 |     1325   9598 |        0 |        0
1120.44/1120.83	c 1120s |      25 |  6408212 |  5116998 |     1325   9610 |        0 |        0
1122.44/1122.83	c 1122s |      25 |  6418120 |  5125498 |     1325   9622 |        0 |        0
1124.44/1124.84	c 1124s |      25 |  6427503 |  5133698 |     1325   9634 |        0 |        0
1126.44/1126.85	c 1126s |      25 |  6437207 |  5142098 |     1325   9646 |        0 |        0
1128.44/1128.87	c 1128s |      25 |  6447002 |  5150498 |     1325   9658 |        0 |        0
1130.44/1130.88	c 1130s |      25 |  6457173 |  5159098 |     1325   9671 |        0 |        0
1132.43/1132.90	c 1132s |      25 |  6466867 |  5167398 |     1325   9683 |        0 |        0
1134.53/1134.91	c 1134s |      25 |  6476456 |  5175598 |     1325   9695 |        0 |        0
1136.53/1136.91	c 1136s |      25 |  6486070 |  5183898 |     1325   9707 |        0 |        0
1138.53/1138.92	c 1138s |      25 |  6495380 |  5191998 |     1325   9718 |        0 |        0
1140.52/1140.93	c 1140s |      25 |  6505071 |  5200198 |     1325   9730 |        0 |        0
1142.53/1142.94	c 1142s |      25 |  6514510 |  5208298 |     1325   9742 |        0 |        0
1144.52/1144.94	c 1144s |      25 |  6523514 |  5216198 |     1325   9753 |        0 |        0
1146.52/1146.95	c 1146s |      25 |  6533465 |  5224598 |     1325   9765 |        0 |        0
1148.52/1148.98	c 1148s |      25 |  6543889 |  5233098 |     1325   9778 |        0 |        0
1150.52/1150.98	c 1150s |      25 |  6553495 |  5241098 |     1325   9789 |        0 |        0
1152.52/1152.98	c 1152s |      25 |  6562594 |  5249098 |     1325   9801 |        0 |        0
1154.52/1154.98	c 1154s |      25 |  6571873 |  5256998 |     1325   9812 |        0 |        0
1156.62/1157.00	c 1156s |      25 |  6581266 |  5264998 |     1325   9824 |        0 |        0
1158.61/1159.01	c 1158s |      25 |  6590658 |  5272998 |     1325   9835 |        0 |        0
1160.61/1161.04	c 1161s |      25 |  6600369 |  5281198 |     1325   9847 |        0 |        0
1162.61/1163.05	c 1163s |      25 |  6609854 |  5289398 |     1325   9859 |        0 |        0
1164.62/1165.07	c 1165s |      25 |  6619138 |  5297498 |     1325   9870 |        0 |        0
1166.61/1167.09	c 1167s |      25 |  6627891 |  5305298 |     1325   9882 |        0 |        0
1168.71/1169.12	c 1169s |      25 |  6637091 |  5313498 |     1325   9894 |        0 |        0
1170.71/1171.14	c 1171s |      25 |  6646132 |  5321498 |     1325   9905 |        0 |        0
1172.70/1173.15	c 1173s |      25 |  6655462 |  5329598 |     1325   9917 |        0 |        0
1174.70/1175.15	c 1175s |      25 |  6664652 |  5337598 |     1325   9928 |        0 |        0
1176.71/1177.16	c 1177s |      25 |  6673333 |  5345398 |     1325   9940 |        0 |        0
1178.70/1179.18	c 1179s |      25 |  6681893 |  5352998 |     1325   9950 |        0 |        0
1180.70/1181.18	c 1181s |      25 |  6690840 |  5360798 |     1325   9962 |        0 |        0
1182.80/1183.20	c 1183s |      25 |  6699939 |  5368798 |     1325   9973 |        0 |        0
1184.80/1185.21	c 1185s |      25 |  6709135 |  5376598 |     1325   9985 |        0 |        0
1186.81/1187.22	c 1187s |      25 |  6718497 |  5384698 |     1325   9996 |        0 |        0
1188.82/1189.23	c 1189s |      25 |  6727516 |  5392498 |     1325  10008 |        0 |        0
1190.81/1191.23	c 1191s |      25 |  6736562 |  5400498 |     1325  10019 |        0 |        0
1192.80/1193.23	c 1193s |      25 |  6745665 |  5408498 |     1325  10031 |        0 |        0
1194.80/1195.23	c 1195s |      25 |  6754611 |  5416498 |     1325  10042 |        0 |        0
1196.80/1197.24	c 1197s |      25 |  6763964 |  5424598 |     1325  10054 |        0 |        0
1198.80/1199.26	c 1199s |      25 |  6773285 |  5432798 |     1325  10066 |        0 |        0
1200.81/1201.27	c 1201s |      25 |  6783037 |  5440998 |     1325  10077 |        0 |        0
1202.80/1203.28	c 1203s |      25 |  6792738 |  5449198 |     1325  10089 |        0 |        0
1204.90/1205.30	c 1205s |      25 |  6801602 |  5456898 |     1325  10100 |        0 |        0
1206.90/1207.31	c 1207s |      25 |  6810752 |  5464698 |     1325  10112 |        0 |        0
1208.90/1209.33	c 1209s |      25 |  6819675 |  5472498 |     1325  10123 |        0 |        0
1210.89/1211.35	c 1211s |      25 |  6828672 |  5480298 |     1325  10134 |        0 |        0
1212.90/1213.37	c 1213s |      25 |  6837519 |  5488098 |     1325  10145 |        0 |        0
1214.89/1215.38	c 1215s |      25 |  6845957 |  5495598 |     1325  10156 |        0 |        0
1216.99/1217.40	c 1217s |      25 |  6854695 |  5503398 |     1325  10167 |        0 |        0
1218.99/1219.42	c 1219s |      25 |  6863691 |  5511298 |     1325  10179 |        0 |        0
1220.98/1221.44	c 1221s |      25 |  6872291 |  5518898 |     1325  10190 |        0 |        0
1222.98/1223.46	c 1223s |      25 |  6880676 |  5526398 |     1325  10201 |        0 |        0
1224.99/1225.46	c 1225s |      25 |  6889128 |  5533998 |     1325  10212 |        0 |        0
1226.98/1227.46	c 1227s |      25 |  6897677 |  5541698 |     1325  10223 |        0 |        0
1228.98/1229.48	c 1229s |      25 |  6906448 |  5549398 |     1325  10234 |        0 |        0
1231.08/1231.50	c 1231s |      25 |  6915718 |  5557298 |     1325  10245 |        0 |        0
1233.08/1233.51	c 1233s |      25 |  6925232 |  5565298 |     1325  10257 |        0 |        0
1235.08/1235.52	c 1235s |      25 |  6934576 |  5573198 |     1325  10268 |        0 |        0
1237.08/1237.53	c 1237s |      25 |  6943925 |  5581198 |     1325  10280 |        0 |        0
1239.08/1239.53	c 1239s |      25 |  6952687 |  5588898 |     1325  10291 |        0 |        0
1241.07/1241.54	c 1241s |      25 |  6962038 |  5596898 |     1325  10302 |        0 |        0
1243.07/1243.58	c 1243s |      25 |  6971877 |  5605198 |     1325  10315 |        0 |        0
1245.07/1245.58	c 1245s |      25 |  6980466 |  5612798 |     1325  10325 |        0 |        0
1247.17/1247.61	c 1247s |      25 |  6989227 |  5620498 |     1325  10337 |        0 |        0
1249.17/1249.63	c 1249s |      25 |  6998244 |  5628298 |     1325  10348 |        0 |        0
1251.16/1251.64	c 1251s |      25 |  7007233 |  5635998 |     1325  10359 |        0 |        0
1253.16/1253.66	c 1253s |      25 |  7016537 |  5643998 |     1325  10371 |        0 |        0
1255.16/1255.68	c 1255s |      25 |  7026328 |  5652198 |     1325  10382 |        0 |        0
1257.16/1257.68	c 1257s |      25 |  7035611 |  5660098 |     1325  10394 |        0 |        0
1259.26/1259.70	c 1259s |      25 |  7044622 |  5667798 |     1325  10405 |        0 |        0
1261.16/1261.70	c 1261s |      25 |  7053499 |  5675298 |     1325  10416 |        0 |        0
1263.26/1263.71	c 1263s |      25 |  7062460 |  5682998 |     1325  10427 |        0 |        0
1265.26/1265.72	c 1265s |      25 |  7071324 |  5690598 |     1325  10438 |        0 |        0
1267.26/1267.72	c 1267s |      25 |  7080026 |  5698398 |     1325  10449 |        0 |        0
1269.26/1269.74	c 1269s |      25 |  7088985 |  5706198 |     1325  10461 |        0 |        0
1271.26/1271.74	c 1271s |      25 |  7098145 |  5714098 |     1325  10472 |        0 |        0
1273.25/1273.74	c 1273s |      25 |  7106854 |  5721798 |     1325  10483 |        0 |        0
1275.25/1275.76	c 1275s |      25 |  7115128 |  5729198 |     1325  10494 |        0 |        0
1277.25/1277.77	c 1277s |      25 |  7123773 |  5736798 |     1325  10505 |        0 |        0
1279.25/1279.79	c 1279s |      25 |  7132991 |  5744798 |     1325  10516 |        0 |        0
1281.36/1281.80	c 1281s |      25 |  7142755 |  5753098 |     1325  10528 |        0 |        0
1283.36/1283.81	c 1283s |      25 |  7152230 |  5761198 |     1325  10540 |        0 |        0
1285.36/1285.82	c 1285s |      25 |  7161274 |  5769198 |     1325  10551 |        0 |        0
1287.36/1287.84	c 1287s |      25 |  7170493 |  5777098 |     1325  10563 |        0 |        0
1289.35/1289.87	c 1289s |      25 |  7179422 |  5784898 |     1325  10574 |        0 |        0
1291.35/1291.89	c 1291s |      25 |  7188487 |  5792798 |     1325  10586 |        0 |        0
1293.45/1293.93	c 1293s |      25 |  7197102 |  5800398 |     1325  10597 |        0 |        0
1295.46/1295.95	c 1295s |      25 |  7205704 |  5807998 |     1325  10608 |        0 |        0
1297.45/1297.96	c 1297s |      25 |  7214538 |  5815698 |     1325  10619 |        0 |        0
1299.45/1299.96	c 1299s |      25 |  7224263 |  5823798 |     1325  10630 |        0 |        0
1301.45/1301.98	c 1301s |      25 |  7233206 |  5831498 |     1325  10642 |        0 |        0
1303.44/1303.99	c 1303s |      25 |  7241805 |  5839098 |     1325  10653 |        0 |        0
1305.54/1306.01	c 1306s |      25 |  7250017 |  5846498 |     1325  10663 |        0 |        0
1307.55/1308.04	c 1308s |      25 |  7258522 |  5853998 |     1325  10674 |        0 |        0
1309.54/1310.05	c 1310s |      25 |  7267465 |  5861898 |     1325  10686 |        0 |        0
1311.54/1312.06	c 1312s |      25 |  7276661 |  5869798 |     1325  10697 |        0 |        0
1313.54/1314.07	c 1314s |      25 |  7285471 |  5877398 |     1325  10708 |        0 |        0
1315.54/1316.07	c 1316s |      25 |  7294775 |  5885298 |     1325  10719 |        0 |        0
1317.54/1318.08	c 1318s |      25 |  7303887 |  5893198 |     1325  10731 |        0 |        0
1319.54/1320.09	c 1320s |      25 |  7313105 |  5900998 |     1325  10742 |        0 |        0
1321.53/1322.09	c 1322s |      25 |  7321866 |  5908598 |     1325  10753 |        0 |        0
1323.53/1324.09	c 1324s |      25 |  7330919 |  5916198 |     1325  10764 |        0 |        0
1325.63/1326.10	c 1326s |      25 |  7340052 |  5924098 |     1325  10775 |        0 |        0
1327.63/1328.12	c 1328s |      25 |  7349603 |  5932198 |     1325  10787 |        0 |        0
1329.63/1330.12	c 1330s |      25 |  7358853 |  5940098 |     1325  10798 |        0 |        0
1331.63/1332.13	c 1332s |      25 |  7368071 |  5947998 |     1325  10810 |        0 |        0
1333.62/1334.14	c 1334s |      25 |  7377011 |  5955898 |     1325  10821 |        0 |        0
1335.62/1336.16	c 1336s |      25 |  7385905 |  5963598 |     1325  10832 |        0 |        0
1337.62/1338.16	c 1338s |      25 |  7395553 |  5971698 |     1325  10844 |        0 |        0
1339.62/1340.18	c 1340s |      25 |  7405320 |  5979898 |     1325  10856 |        0 |        0
1341.71/1342.21	c 1342s |      25 |  7415793 |  5988298 |     1325  10868 |        0 |        0
1343.72/1344.21	c 1344s |      25 |  7425187 |  5996198 |     1325  10880 |        0 |        0
1345.71/1346.23	c 1346s |      25 |  7435271 |  6004598 |     1325  10892 |        0 |        0
1347.71/1348.24	c 1348s |      25 |  7444262 |  6012498 |     1325  10903 |        0 |        0
1349.71/1350.25	c 1350s |      25 |  7452878 |  6020098 |     1325  10914 |        0 |        0
1351.71/1352.26	c 1352s |      25 |  7461334 |  6027598 |     1325  10925 |        0 |        0
1353.71/1354.27	c 1354s |      25 |  7470056 |  6035298 |     1325  10936 |        0 |        0
1355.71/1356.28	c 1356s |      25 |  7478393 |  6042798 |     1325  10947 |        0 |        0
1357.81/1358.31	c 1358s |      25 |  7487534 |  6050698 |     1325  10958 |        0 |        0
1359.80/1360.33	c 1360s |      25 |  7497020 |  6058698 |     1325  10970 |        0 |        0
1361.80/1362.35	c 1362s |      25 |  7506497 |  6066798 |     1325  10981 |        0 |        0
1363.80/1364.35	c 1364s |      25 |  7515612 |  6074498 |     1325  10992 |        0 |        0
1365.81/1366.36	c 1366s |      25 |  7524698 |  6082198 |     1325  11004 |        0 |        0
1367.80/1368.37	c 1368s |      25 |  7533537 |  6089898 |     1325  11015 |        0 |        0
1369.80/1370.37	c 1370s |      25 |  7542121 |  6097398 |     1325  11026 |        0 |        0
1371.80/1372.39	c 1372s |      25 |  7550649 |  6104998 |     1325  11036 |        0 |        0
1373.90/1374.41	c 1374s |      25 |  7559068 |  6112498 |     1325  11047 |        0 |        0
1375.90/1376.42	c 1376s |      25 |  7567561 |  6119998 |     1325  11058 |        0 |        0
1377.91/1378.43	c 1378s |      25 |  7575416 |  6127198 |     1325  11069 |        0 |        0
1379.90/1380.44	c 1380s |      25 |  7583546 |  6134498 |     1325  11079 |        0 |        0
1381.90/1382.45	c 1382s |      25 |  7591906 |  6141998 |     1325  11090 |        0 |        0
1383.90/1384.46	c 1384s |      25 |  7600125 |  6149298 |     1325  11100 |        0 |        0
1385.90/1386.47	c 1386s |      25 |  7608562 |  6156498 |     1325  11111 |        0 |        0
1387.90/1388.48	c 1388s |      25 |  7617199 |  6164198 |     1325  11122 |        0 |        0
1389.91/1390.49	c 1390s |      25 |  7625763 |  6171698 |     1325  11133 |        0 |        0
1392.01/1392.51	c 1392s |      25 |  7634291 |  6179198 |     1325  11143 |        0 |        0
1394.01/1394.53	c 1394s |      25 |  7642864 |  6186898 |     1325  11155 |        0 |        0
1396.01/1396.55	c 1396s |      25 |  7651409 |  6194498 |     1325  11166 |        0 |        0
1398.01/1398.56	c 1398s |      25 |  7659646 |  6201898 |     1325  11176 |        0 |        0
1400.01/1400.58	c 1400s |      25 |  7668168 |  6209398 |     1325  11187 |        0 |        0
1402.01/1402.59	c 1402s |      25 |  7676584 |  6216998 |     1325  11198 |        0 |        0
1404.10/1404.62	c 1404s |      25 |  7685051 |  6224598 |     1325  11209 |        0 |        0
1406.10/1406.66	c 1406s |      25 |  7693084 |  6231898 |     1325  11220 |        0 |        0
1408.10/1408.67	c 1408s |      25 |  7702072 |  6239698 |     1325  11231 |        0 |        0
1410.10/1410.68	c 1410s |      25 |  7710642 |  6247198 |     1325  11242 |        0 |        0
1412.20/1412.70	c 1412s |      25 |  7719045 |  6254498 |     1325  11252 |        0 |        0
1414.21/1414.71	c 1414s |      25 |  7727308 |  6261698 |     1325  11263 |        0 |        0
1416.20/1416.74	c 1416s |      25 |  7736470 |  6269498 |     1325  11274 |        0 |        0
1418.20/1418.76	c 1418s |      25 |  7745406 |  6276998 |     1325  11285 |        0 |        0
1420.20/1420.76	c 1420s |      25 |  7754247 |  6284398 |     1325  11296 |        0 |        0
1422.20/1422.78	c 1422s |      25 |  7762718 |  6291698 |     1325  11307 |        0 |        0
1424.20/1424.78	c 1424s |      25 |  7771609 |  6299298 |     1325  11318 |        0 |        0
1426.20/1426.78	c 1426s |      25 |  7780401 |  6306798 |     1325  11328 |        0 |        0
1428.20/1428.79	c 1428s |      25 |  7788758 |  6314198 |     1325  11339 |        0 |        0
1430.30/1430.82	c 1430s |      25 |  7797037 |  6321398 |     1325  11350 |        0 |        0
1432.30/1432.83	c 1432s |      25 |  7805514 |  6328898 |     1325  11360 |        0 |        0
1434.30/1434.85	c 1434s |      25 |  7814155 |  6336398 |     1325  11371 |        0 |        0
1436.30/1436.86	c 1436s |      25 |  7822352 |  6343798 |     1325  11382 |        0 |        0
1438.30/1438.87	c 1438s |      25 |  7830209 |  6350898 |     1325  11392 |        0 |        0
1440.29/1440.88	c 1440s |      25 |  7838391 |  6357998 |     1325  11402 |        0 |        0
1442.29/1442.89	c 1442s |      25 |  7846976 |  6365598 |     1325  11413 |        0 |        0
1444.29/1444.90	c 1444s |      25 |  7855349 |  6372998 |     1325  11424 |        0 |        0
1446.39/1446.90	c 1446s |      25 |  7864026 |  6380398 |     1325  11435 |        0 |        0
1448.39/1448.90	c 1448s |      25 |  7872973 |  6387998 |     1325  11446 |        0 |        0
1450.40/1450.90	c 1450s |      25 |  7881369 |  6395498 |     1325  11457 |        0 |        0
1452.39/1452.91	c 1452s |      25 |  7889550 |  6402798 |     1325  11467 |        0 |        0
1454.39/1454.93	c 1454s |      25 |  7898015 |  6410298 |     1325  11478 |        0 |        0
1456.39/1456.94	c 1456s |      25 |  7906214 |  6417498 |     1325  11488 |        0 |        0
1458.39/1458.96	c 1458s |      25 |  7914439 |  6424698 |     1325  11499 |        0 |        0
1460.40/1460.97	c 1460s |      25 |  7922649 |  6431898 |     1325  11509 |        0 |        0
1462.39/1462.98	c 1462s |      25 |  7931255 |  6439298 |     1325  11520 |        0 |        0
1464.49/1465.00	c 1464s |      25 |  7940066 |  6446898 |     1325  11531 |        0 |        0
1466.49/1467.00	c 1466s |      25 |  7949017 |  6454598 |     1325  11542 |        0 |        0
1468.49/1469.01	c 1468s |      25 |  7957898 |  6462398 |     1325  11554 |        0 |        0
1470.49/1471.03	c 1471s |      25 |  7966445 |  6470098 |     1325  11565 |        0 |        0
1472.49/1473.04	c 1473s |      25 |  7974935 |  6477598 |     1325  11575 |        0 |        0
1474.49/1475.06	c 1475s |      25 |  7983647 |  6485298 |     1325  11587 |        0 |        0
1476.49/1477.08	c 1477s |      25 |  7992142 |  6492798 |     1325  11597 |        0 |        0
1478.59/1479.10	c 1479s |      25 |  8000754 |  6500398 |     1325  11608 |        0 |        0
1480.59/1481.13	c 1481s |      25 |  8009240 |  6507998 |     1325  11619 |        0 |        0
1482.59/1483.15	c 1483s |      25 |  8017609 |  6515398 |     1325  11630 |        0 |        0
1484.60/1485.17	c 1485s |      25 |  8025603 |  6522698 |     1325  11641 |        0 |        0
1486.59/1487.18	c 1487s |      25 |  8033490 |  6529798 |     1325  11651 |        0 |        0
1488.59/1489.19	c 1489s |      25 |  8041960 |  6537298 |     1325  11662 |        0 |        0
1490.69/1491.21	c 1491s |      25 |  8051257 |  6545298 |     1325  11673 |        0 |        0
1492.69/1493.23	c 1493s |      25 |  8060445 |  6553298 |     1325  11685 |        0 |        0
1494.69/1495.25	c 1495s |      25 |  8070083 |  6561498 |     1325  11696 |        0 |        0
1496.70/1497.27	c 1497s |      25 |  8078983 |  6569198 |     1325  11708 |        0 |        0
1498.69/1499.27	c 1499s |      25 |  8088167 |  6576998 |     1325  11719 |        0 |        0
1500.79/1501.30	c 1501s |      25 |  8096285 |  6584398 |     1325  11730 |        0 |        0
1502.79/1503.31	c 1503s |      25 |  8104629 |  6591698 |     1325  11740 |        0 |        0
1504.79/1505.34	c 1505s |      25 |  8113428 |  6599298 |     1325  11751 |        0 |        0
1506.79/1507.35	c 1507s |      25 |  8121666 |  6606698 |     1325  11762 |        0 |        0
1508.79/1509.35	c 1509s |      25 |  8130231 |  6614398 |     1325  11773 |        0 |        0
1510.79/1511.37	c 1511s |      25 |  8138683 |  6621898 |     1325  11784 |        0 |        0
1512.79/1513.38	c 1513s |      25 |  8146936 |  6629298 |     1325  11794 |        0 |        0
1514.79/1515.39	c 1515s |      25 |  8155781 |  6637098 |     1325  11805 |        0 |        0
1516.79/1517.39	c 1517s |      25 |  8164494 |  6644698 |     1325  11816 |        0 |        0
1518.79/1519.39	c 1519s |      25 |  8173026 |  6652098 |     1325  11827 |        0 |        0
1520.89/1521.41	c 1521s |      25 |  8180904 |  6659198 |     1325  11837 |        0 |        0
1522.88/1523.41	c 1523s |      25 |  8188832 |  6666298 |     1325  11848 |        0 |        0
1524.88/1525.43	c 1525s |      25 |  8196830 |  6673398 |     1325  11858 |        0 |        0
1526.88/1527.47	c 1527s |      25 |  8205176 |  6680698 |     1325  11869 |        0 |        0
1528.88/1529.48	c 1529s |      25 |  8212988 |  6687798 |     1325  11879 |        0 |        0
1530.98/1531.51	c 1531s |      25 |  8221272 |  6695198 |     1325  11890 |        0 |        0
1532.99/1533.53	c 1533s |      25 |  8230222 |  6703098 |     1325  11901 |        0 |        0
1534.98/1535.55	c 1535s |      25 |  8239107 |  6710698 |     1325  11912 |        0 |        0
1536.98/1537.56	c 1537s |      25 |  8247732 |  6718198 |     1325  11923 |        0 |        0
1538.98/1539.57	c 1539s |      25 |  8256358 |  6725798 |     1325  11934 |        0 |        0
1540.98/1541.58	c 1541s |      25 |  8264169 |  6732898 |     1325  11944 |        0 |        0
1542.98/1543.59	c 1543s |      25 |  8272390 |  6740298 |     1325  11955 |        0 |        0
1544.99/1545.59	c 1545s |      25 |  8280792 |  6747698 |     1325  11965 |        0 |        0
1547.08/1547.60	c 1547s |      25 |  8289927 |  6755598 |     1325  11977 |        0 |        0
1549.08/1549.60	c 1549s |      25 |  8298432 |  6763098 |     1325  11988 |        0 |        0
1551.08/1551.61	c 1551s |      25 |  8307177 |  6770698 |     1325  11999 |        0 |        0
1553.08/1553.62	c 1553s |      25 |  8315526 |  6778098 |     1325  12009 |        0 |        0
1555.08/1555.63	c 1555s |      25 |  8323975 |  6785398 |     1325  12020 |        0 |        0
1557.08/1557.65	c 1557s |      25 |  8332201 |  6792798 |     1325  12031 |        0 |        0
1559.08/1559.66	c 1559s |      25 |  8340511 |  6800198 |     1325  12041 |        0 |        0
1561.08/1561.67	c 1561s |      25 |  8349356 |  6807798 |     1325  12052 |        0 |        0
1563.08/1563.69	c 1563s |      25 |  8358213 |  6815498 |     1325  12064 |        0 |        0
1565.18/1565.70	c 1565s |      25 |  8367196 |  6823198 |     1325  12075 |        0 |        0
1567.17/1567.70	c 1567s |      25 |  8376080 |  6830798 |     1325  12086 |        0 |        0
1569.18/1569.71	c 1569s |      25 |  8384878 |  6838298 |     1325  12097 |        0 |        0
1571.17/1571.71	c 1571s |      25 |  8394300 |  6846098 |     1325  12108 |        0 |        0
1573.17/1573.73	c 1573s |      25 |  8404255 |  6854098 |     1325  12120 |        0 |        0
1575.17/1575.73	c 1575s |      25 |  8414010 |  6862198 |     1325  12131 |        0 |        0
1577.17/1577.75	c 1577s |      25 |  8423265 |  6869998 |     1325  12143 |        0 |        0
1579.18/1579.75	c 1579s |      25 |  8432254 |  6877698 |     1325  12154 |        0 |        0
1581.17/1581.77	c 1581s |      25 |  8441857 |  6885598 |     1325  12165 |        0 |        0
1583.17/1583.78	c 1583s |      25 |  8451212 |  6893498 |     1325  12177 |        0 |        0
1585.27/1585.80	c 1585s |      25 |  8460617 |  6901398 |     1325  12188 |        0 |        0
1587.27/1587.82	c 1587s |      25 |  8470181 |  6909298 |     1325  12199 |        0 |        0
1589.27/1589.83	c 1589s |      25 |  8478870 |  6916798 |     1325  12210 |        0 |        0
1591.28/1591.85	c 1591s |      25 |  8488297 |  6924698 |     1325  12222 |        0 |        0
1593.27/1593.86	c 1593s |      25 |  8497342 |  6932298 |     1325  12233 |        0 |        0
1595.27/1595.87	c 1595s |      25 |  8506290 |  6939798 |     1325  12244 |        0 |        0
1597.27/1597.89	c 1597s |      25 |  8515785 |  6947398 |     1325  12255 |        0 |        0
1599.37/1599.90	c 1599s |      25 |  8525749 |  6955298 |     1325  12266 |        0 |        0
1601.37/1601.93	c 1601s |      25 |  8535324 |  6963198 |     1325  12278 |        0 |        0
1603.38/1603.97	c 1603s |      25 |  8544282 |  6970898 |     1325  12289 |        0 |        0
1605.37/1606.00	c 1605s |      25 |  8552928 |  6978498 |     1325  12300 |        0 |        0
1607.47/1608.00	c 1607s |      25 |  8561948 |  6986298 |     1325  12311 |        0 |        0
1609.47/1610.02	c 1610s |      25 |  8570773 |  6993998 |     1325  12322 |        0 |        0
1611.47/1612.02	c 1612s |      25 |  8579937 |  7001598 |     1325  12333 |        0 |        0
1613.47/1614.04	c 1614s |      25 |  8589454 |  7009498 |     1325  12345 |        0 |        0
1615.47/1616.04	c 1616s |      25 |  8598280 |  7017098 |     1325  12356 |        0 |        0
1617.47/1618.07	c 1618s |      25 |  8606884 |  7024598 |     1325  12367 |        0 |        0
1619.56/1620.10	c 1620s |      25 |  8615514 |  7032098 |     1325  12377 |        0 |        0
1621.56/1622.11	c 1622s |      25 |  8624329 |  7039698 |     1325  12388 |        0 |        0
1623.56/1624.13	c 1624s |      25 |  8633011 |  7047198 |     1325  12399 |        0 |        0
1625.56/1626.16	c 1626s |      25 |  8642056 |  7054898 |     1325  12410 |        0 |        0
1627.57/1628.17	c 1628s |      25 |  8650932 |  7062498 |     1325  12422 |        0 |        0
1629.57/1630.20	c 1630s |      25 |  8659890 |  7070298 |     1325  12433 |        0 |        0
1631.67/1632.23	c 1632s |      25 |  8668025 |  7077598 |     1325  12443 |        0 |        0
1633.67/1634.24	c 1634s |      25 |  8675997 |  7084698 |     1325  12454 |        0 |        0
1635.67/1636.25	c 1636s |      25 |  8683924 |  7091698 |     1325  12464 |        0 |        0
1637.67/1638.27	c 1638s |      25 |  8692240 |  7099098 |     1325  12474 |        0 |        0
1639.68/1640.28	c 1640s |      25 |  8700992 |  7106698 |     1325  12485 |        0 |        0
1641.67/1642.29	c 1642s |      25 |  8710006 |  7114498 |     1325  12497 |        0 |        0
1643.77/1644.30	c 1644s |      25 |  8718447 |  7121898 |     1325  12507 |        0 |        0
1645.77/1646.31	c 1646s |      25 |  8727136 |  7129498 |     1325  12518 |        0 |        0
1647.77/1648.32	c 1648s |      25 |  8735954 |  7137098 |     1325  12529 |        0 |        0
1649.77/1650.33	c 1650s |      25 |  8745183 |  7144998 |     1325  12541 |        0 |        0
1651.77/1652.35	c 1652s |      25 |  8753902 |  7152498 |     1325  12552 |        0 |        0
1653.77/1654.36	c 1654s |      25 |  8762634 |  7160098 |     1325  12563 |        0 |        0
1655.77/1656.39	c 1656s |      25 |  8772201 |  7167898 |     1325  12574 |        0 |        0
1657.87/1658.40	c 1658s |      25 |  8780806 |  7174998 |     1325  12585 |        0 |        0
1659.86/1660.42	c 1660s |      25 |  8789875 |  7182598 |     1325  12596 |        0 |        0
1661.86/1662.42	c 1662s |      25 |  8798691 |  7190098 |     1325  12606 |        0 |        0
1663.87/1664.43	c 1664s |      25 |  8807704 |  7197698 |     1325  12617 |        0 |        0
1665.86/1666.44	c 1666s |      25 |  8816927 |  7205598 |     1325  12629 |        0 |        0
1667.86/1668.44	c 1668s |      25 |  8825761 |  7213198 |     1325  12640 |        0 |        0
1669.86/1670.47	c 1670s |      25 |  8835736 |  7221298 |     1325  12652 |        0 |        0
1671.86/1672.47	c 1672s |      25 |  8845406 |  7229298 |     1325  12663 |        0 |        0
1673.86/1674.48	c 1674s |      25 |  8855646 |  7237498 |     1325  12675 |        0 |        0
1675.87/1676.50	c 1676s |      25 |  8865530 |  7245598 |     1325  12687 |        0 |        0
1677.96/1678.52	c 1678s |      25 |  8873839 |  7252798 |     1325  12697 |        0 |        0
1679.96/1680.53	c 1680s |      25 |  8882286 |  7260098 |     1325  12708 |        0 |        0
1681.96/1682.54	c 1682s |      25 |  8891747 |  7267898 |     1325  12719 |        0 |        0
1683.96/1684.54	c 1684s |      25 |  8900905 |  7275598 |     1325  12730 |        0 |        0
1685.96/1686.54	c 1686s |      25 |  8910262 |  7283498 |     1325  12742 |        0 |        0
1687.96/1688.55	c 1688s |      25 |  8919448 |  7291198 |     1325  12753 |        0 |        0
1689.96/1690.57	c 1690s |      25 |  8928266 |  7298798 |     1325  12764 |        0 |        0
1691.95/1692.57	c 1692s |      25 |  8937909 |  7306898 |     1325  12775 |        0 |        0
1693.95/1694.58	c 1694s |      25 |  8947318 |  7314798 |     1325  12787 |        0 |        0
1695.95/1696.59	c 1696s |      25 |  8956542 |  7322598 |     1325  12798 |        0 |        0
1698.05/1698.61	c 1698s |      25 |  8965429 |  7330298 |     1325  12809 |        0 |        0
1700.06/1700.62	c 1700s |      25 |  8973849 |  7337598 |     1325  12820 |        0 |        0
1702.05/1702.63	c 1702s |      25 |  8983320 |  7345598 |     1325  12831 |        0 |        0
1704.05/1704.64	c 1704s |      25 |  8992159 |  7353198 |     1325  12842 |        0 |        0
1706.05/1706.66	c 1706s |      25 |  9001322 |  7360998 |     1325  12854 |        0 |        0
1708.05/1708.68	c 1708s |      25 |  9010613 |  7368898 |     1325  12865 |        0 |        0
1710.15/1710.71	c 1710s |      25 |  9019583 |  7376498 |     1325  12876 |        0 |        0
1712.16/1712.72	c 1712s |      25 |  9028199 |  7383998 |     1325  12887 |        0 |        0
1714.16/1714.72	c 1714s |      25 |  9036557 |  7391198 |     1325  12897 |        0 |        0
1716.16/1716.74	c 1716s |      25 |  9044767 |  7398398 |     1325  12908 |        0 |        0
1718.16/1718.76	c 1718s |      25 |  9053176 |  7405798 |     1325  12918 |        0 |        0
1720.16/1720.76	c 1720s |      25 |  9060964 |  7412698 |     1325  12928 |        0 |        0
1722.16/1722.77	c 1722s |      25 |  9069410 |  7420098 |     1325  12939 |        0 |        0
1724.16/1724.77	c 1724s |      25 |  9077747 |  7427398 |     1325  12950 |        0 |        0
1726.16/1726.79	c 1726s |      25 |  9086160 |  7434698 |     1325  12960 |        0 |        0
1728.26/1728.80	c 1728s |      25 |  9095055 |  7442398 |     1325  12971 |        0 |        0
1730.26/1730.80	c 1730s |      25 |  9103538 |  7449898 |     1325  12982 |        0 |        0
1732.26/1732.80	c 1732s |      25 |  9112141 |  7457398 |     1325  12993 |        0 |        0
1734.26/1734.81	c 1734s |      25 |  9120678 |  7464898 |     1325  13004 |        0 |        0
1736.25/1736.81	c 1736s |      25 |  9129808 |  7472598 |     1325  13015 |        0 |        0
1738.25/1738.82	c 1738s |      25 |  9139285 |  7480598 |     1325  13027 |        0 |        0
1740.25/1740.84	c 1740s |      25 |  9147987 |  7488098 |     1325  13037 |        0 |        0
1742.25/1742.85	c 1742s |      25 |  9156600 |  7495598 |     1325  13048 |        0 |        0
1744.25/1744.86	c 1744s |      25 |  9164630 |  7502698 |     1325  13059 |        0 |        0
1746.26/1746.88	c 1746s |      25 |  9172855 |  7509898 |     1325  13069 |        0 |        0
1748.25/1748.89	c 1748s |      25 |  9181536 |  7517498 |     1325  13080 |        0 |        0
1750.35/1750.90	c 1750s |      25 |  9190486 |  7525198 |     1325  13091 |        0 |        0
1752.35/1752.90	c 1752s |      25 |  9199677 |  7532898 |     1325  13102 |        0 |        0
1754.35/1754.92	c 1754s |      25 |  9208457 |  7540498 |     1325  13113 |        0 |        0
1756.35/1756.93	c 1756s |      25 |  9216851 |  7547698 |     1458  13123 |        0 |        0
1758.35/1758.94	c 1758s |      25 |  9225737 |  7555198 |     1458  13133 |        0 |        0
1760.35/1760.95	c 1760s |      25 |  9234210 |  7562398 |     1458  13143 |        0 |        0
1762.35/1762.98	c 1762s |      25 |  9242301 |  7569498 |     1458  13152 |        0 |        0
1764.44/1765.01	c 1764s |      25 |  9249913 |  7576398 |     1458  13161 |        0 |        0
1766.44/1767.02	c 1767s |      25 |  9258435 |  7583698 |     1458  13171 |        0 |        0
1768.44/1769.03	c 1769s |      25 |  9266651 |  7590898 |     1458  13180 |        0 |        0
1770.45/1771.01	c 1770s |      26 |  9274700 |  7597752 |     1458  13189 |        0 |        0
1772.44/1773.04	c 1773s |      26 |  9284328 |  7605652 |     1458  13200 |        0 |        0
1774.44/1775.04	c 1775s |      26 |  9293235 |  7613252 |     1458  13209 |        0 |        0
1776.44/1777.04	c 1777s |      26 |  9302234 |  7620752 |     1458  13219 |        0 |        0
1778.44/1779.06	c 1779s |      26 |  9311308 |  7628552 |     1458  13229 |        0 |        0
1780.45/1781.08	c 1781s |      26 |  9320257 |  7636052 |     1458  13239 |        0 |        0
1782.44/1783.08	c 1783s |      26 |  9329109 |  7643652 |     1458  13249 |        0 |        0
1784.54/1785.10	c 1785s |      26 |  9337126 |  7650752 |     1458  13258 |        0 |        0
1786.54/1787.12	c 1787s |      26 |  9345651 |  7658152 |     1458  13267 |        0 |        0
1788.54/1789.15	c 1789s |      26 |  9354147 |  7665552 |     1458  13277 |        0 |        0
1790.54/1791.16	c 1791s |      26 |  9362499 |  7672852 |     1458  13286 |        0 |        0
1792.55/1793.17	c 1793s |      26 |  9371364 |  7680452 |     1458  13296 |        0 |        0
1794.55/1795.20	c 1795s |      26 |  9380407 |  7687952 |     1458  13306 |        0 |        0
1796.65/1797.22	c 1797s |      26 |  9388840 |  7695252 |     1458  13315 |        0 |        0
1798.64/1799.22	c 1799s |      26 |  9396940 |  7702252 |     1458  13324 |        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-4089750-1466032987/watcher-4089750-1466032987 -o /tmp/evaluation-result-4089750-1466032987/solver-4089750-1466032987 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089750-1466032987.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.09 2.01 3/179 8472
/proc/meminfo: memFree=30409116/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 2801 0 0 0 0 0 0 0 20 0 4 0 5348845 766963712 3162 33554432000 4194304 16246674 140734594069552 140734594068976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 188015 3171 441 2943 0 184909 0
[pid=8472/tid=8473] ppid=8469 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 784789504 3230 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 788983808 3246 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 794226688 3263 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100186 s]
/proc/loadavg: 2.16 2.09 2.01 3/179 8472
/proc/meminfo: memFree=30409116/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 26632 0 0 0 5 3 0 0 20 0 4 0 5348845 1247350784 26982 33554432000 4194304 16246674 140734594069552 140734594068976 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 304529 26989 713 2943 0 301423 0
[pid=8472/tid=8473] ppid=8469 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1247350784 26995 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1247350784 27004 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1247350784 27013 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200517 s]
/proc/loadavg: 2.16 2.09 2.01 3/179 8472
/proc/meminfo: memFree=30409116/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 51224 0 0 0 12 7 0 0 20 0 4 0 5348845 1247350784 51575 33554432000 4194304 16246674 140734594069552 140734594068976 5723205 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 304529 51589 713 2943 0 301423 0
[pid=8472/tid=8473] ppid=8469 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1247350784 51595 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1247350784 51599 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1247350784 51604 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300537 s]
/proc/loadavg: 2.16 2.09 2.01 3/179 8472
/proc/meminfo: memFree=30409116/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 76390 0 0 0 19 10 0 0 20 0 4 0 5348845 1247350784 76740 33554432000 4194304 16246674 140734594069552 140734594051456 13191638 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 304529 76750 713 2943 0 301423 0
[pid=8472/tid=8473] ppid=8469 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1247350784 76755 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1247350784 76763 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1247350784 76768 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700451 s]
/proc/loadavg: 2.16 2.09 2.01 3/179 8472
/proc/meminfo: memFree=30409116/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 178574 0 0 0 47 22 0 0 20 0 4 0 5348845 1247350784 178925 33554432000 4194304 16246674 140734594069552 140734594051456 6011022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 304529 178932 713 2943 0 301423 0
[pid=8472/tid=8473] ppid=8469 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1247350784 178936 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1247350784 178942 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1247350784 178951 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50045 s]
/proc/loadavg: 2.16 2.09 2.01 3/183 8476
/proc/meminfo: memFree=29426304/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 245653 0 0 0 119 30 0 0 20 0 4 0 5348845 1248399360 245983 33554432000 4194304 16246674 140734594069552 140734594051456 5808208 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 304785 245983 788 2943 0 301679 0
[pid=8472/tid=8473] ppid=8469 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1248399360 245983 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1248399360 245983 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1248399360 245983 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10046 s]
/proc/loadavg: 2.16 2.09 2.01 3/183 8476
/proc/meminfo: memFree=29339380/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 267421 0 0 0 276 33 0 0 20 0 4 0 5348845 1337528320 267751 33554432000 4194304 16246674 140734594069552 140734594051456 13923798 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326545 267751 788 2943 0 323439 0
[pid=8472/tid=8473] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267751 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267751 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267751 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30046 s]
/proc/loadavg: 2.15 2.09 2.01 3/183 8476
/proc/meminfo: memFree=29337800/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 267526 0 0 0 596 33 0 0 20 0 4 0 5348845 1337528320 267856 33554432000 4194304 16246674 140734594069552 140734594051456 12482824 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326545 267856 788 2943 0 323439 0
[pid=8472/tid=8473] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267856 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267856 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267856 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7005 s]
/proc/loadavg: 2.22 2.10 2.02 3/183 8476
/proc/meminfo: memFree=29337452/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 267567 0 0 0 1235 33 0 0 20 0 4 0 5348845 1337528320 267897 33554432000 4194304 16246674 140734594069552 140734594052552 12874809 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326545 267897 788 2943 0 323439 0
[pid=8472/tid=8473] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267897 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267897 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267897 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5006 s]
/proc/loadavg: 2.17 2.10 2.02 3/183 8476
/proc/meminfo: memFree=29338312/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 267570 0 0 0 2515 34 0 0 20 0 4 0 5348845 1337528320 267900 33554432000 4194304 16246674 140734594069552 140734594052552 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326545 267900 790 2943 0 323439 0
[pid=8472/tid=8473] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267900 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267900 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267900 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1006 s]
/proc/loadavg: 2.11 2.09 2.01 3/183 8476
/proc/meminfo: memFree=29337344/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 267573 0 0 0 5074 34 0 0 20 0 4 0 5348845 1337528320 267903 33554432000 4194304 16246674 140734594069552 140734594051456 5676387 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326545 267903 790 2943 0 323439 0
[pid=8472/tid=8473] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267903 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267903 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267903 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.19 2.12 2.02 3/183 8477
/proc/meminfo: memFree=29336768/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 267573 0 0 0 10193 35 0 0 20 0 4 0 5348845 1337528320 267903 33554432000 4194304 16246674 140734594069552 140734594051456 13950202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326545 267903 790 2943 0 323439 0
[pid=8472/tid=8473] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267903 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267903 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1337528320 267903 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268375 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.17 2.16 2.09 3/183 8508
/proc/meminfo: memFree=29331208/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1307204 CPUtime=1301.85 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 268210 0 0 0 130131 54 0 0 20 0 4 0 5348845 1338576896 268375 33554432000 4194304 16246674 140734594069552 140734594051456 5668736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326801 268375 792 2943 0 323695 0
[pid=8472/tid=8473] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268375 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268375 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268375 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/183 8510
/proc/meminfo: memFree=29330728/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1307204 CPUtime=1361.8 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 268252 0 0 0 136126 54 0 0 20 0 4 0 5348845 1338576896 268375 33554432000 4194304 16246674 140734594069552 140734594051456 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326801 268375 792 2943 0 323695 0
[pid=8472/tid=8473] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268375 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268375 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268375 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 8511
/proc/meminfo: memFree=29331936/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1307204 CPUtime=1421.8 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 268257 0 0 0 142125 55 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 140734594051456 5546160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326801 268380 792 2943 0 323695 0
[pid=8472/tid=8473] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.10 2.14 2.09 3/183 8512
/proc/meminfo: memFree=29331692/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1307204 CPUtime=1481.79 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 268257 0 0 0 148123 56 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 140734594051456 5861552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326801 268380 792 2943 0 323695 0
[pid=8472/tid=8473] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.17 2.16 2.10 3/183 8513
/proc/meminfo: memFree=29332060/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1307204 CPUtime=1541.79 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 268257 0 0 0 154123 56 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 140734594051456 5546001 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326801 268380 792 2943 0 323695 0
[pid=8472/tid=8473] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.19 2.17 2.10 3/183 8563
/proc/meminfo: memFree=29334940/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1307204 CPUtime=1601.77 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 268257 0 0 0 160121 56 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 140734594051456 5822416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326801 268380 792 2943 0 323695 0
[pid=8472/tid=8473] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.14 2.16 2.10 3/183 8567
/proc/meminfo: memFree=29334716/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1307204 CPUtime=1661.76 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 268257 0 0 0 166119 57 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 140734594051456 6026371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326801 268380 792 2943 0 323695 0
[pid=8472/tid=8473] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.12 2.16 2.10 3/183 8569
/proc/meminfo: memFree=29334148/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1307204 CPUtime=1721.76 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 268257 0 0 0 172118 58 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 140734594051456 5666933 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326801 268380 792 2943 0 323695 0
[pid=8472/tid=8473] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268380 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.13 2.16 2.10 3/183 8570
/proc/meminfo: memFree=29333904/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1307204 CPUtime=1781.74 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 268272 0 0 0 178116 58 0 0 20 0 4 0 5348845 1338576896 268395 33554432000 4194304 16246674 140734594069552 140734594051456 5722364 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326801 268395 792 2943 0 323695 0
[pid=8472/tid=8473] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268395 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268395 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268395 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.09 2.15 2.09 3/183 8570
/proc/meminfo: memFree=29333780/32872528 swapFree=524788/557492
[pid=8472] ppid=8469 vsize=1307204 CPUtime=1800.04 cores=1,3,5,7
/proc/8472/stat : 8472 (toysat) R 8469 8472 5756 0 -1 4202496 268272 0 0 0 179945 59 0 0 20 0 4 0 5348845 1338576896 268395 33554432000 4194304 16246674 140734594069552 140734594051456 13928656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8472/statm: 326801 268395 792 2943 0 323695 0
[pid=8472/tid=8473] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8473/stat : 8473 (toysat) S 8469 8472 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268395 33554432000 4194304 16246674 140734594069552 139770243034352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8472/tid=8474] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8474/stat : 8474 (toysat) S 8469 8472 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268395 33554432000 4194304 16246674 140734594069552 139770232544496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8472/tid=8475] ppid=8469 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8472/task/8475/stat : 8475 (toysat) S 8469 8472 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5348845 1338576896 268395 33554432000 4194304 16246674 140734594069552 139770114075824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1307204

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.46
CPU system time (s): 0.592909
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.592909
maximum resident set size= 1073580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268272
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= 476
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.5267 second user time and 19.1541 second system time

The end

Begin job on node106 at 2016-06-16 01:23:07
IDJOB=4089750
IDBENCH=107451
IDSOLVER=2542
FILE ID=node106/4089750-1466032987
RUNJOBID= node106-1466012020-5773
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/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v071-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089750-1466032987/watcher-4089750-1466032987 -o /tmp/evaluation-result-4089750-1466032987/solver-4089750-1466032987 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089750-1466032987.opb

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

MD5SUM BENCH= 0ae3ca3759504cec181b2a449ffaf274
RANDOM SEED=1452619584

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:        30409744 kB
Buffers:           42092 kB
Cached:            78408 kB
SwapCached:         1476 kB
Active:          1143292 kB
Inactive:          51040 kB
Active(anon):    1074904 kB
Inactive(anon):     1188 kB
Active(file):      68388 kB
Inactive(file):    49852 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099848 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       1709728 kB
Mapped:            10460 kB
Shmem:                 0 kB
Slab:             576616 kB
SReclaimable:      20788 kB
SUnreclaim:       555828 kB
KernelStack:        1520 kB
PageTables:         7324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1773624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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 01:53:08