0.00/0.00	c 2016-06-15T20:26:05+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-4088763-1466015165.opb"]
0.00/0.01	c use --random-gen="2196821117 5462246 829959287 1841455133 463690126 820696442 2338931807 83597853 687793810 1173783050 4049253102 1300019349 2421186207 1105133467 1834809773 1587057110 234286474 679999738 3926822975 3131000527 2249699586 3698358304 4086952721 1469460672 3626801257 3075296671 3926722035 535264040 1797782368 3628916785 3136662821 3425167326 1593435499 797637905 2376409107 1268768368 1876971402 116131709 644365751 3909114337 2701419310 244967923 3198990514 3778032180 3892851710 1577738129 2922280719 3107813723 945607629 247294091 3145730598 1082050078 2873622127 3032520886 3691987514 3467432978 603963072 4031413814 561980638 3192501761 3362088777 3679775399 1798864906 2667303081 1656634146 1374903459 3010551336 3777623958 2735302677 380943001 1888615811 1699144598 3376249996 974627786 1133013499 1100136554 3137586479 795070343 3389144388 4098335947 3054248292 2754591355 2242498698 3125508696 1031122932 2481838719 3758119020 3980719583 2535997237 1410521655 3936475386 866485579 859033737 1020399311 4261553510 450715468 1584212085 558391411 3930998559 2913567522 3779396172 160339301 3556839625 63175379 3593503744 216959148 3726270397 620862113 3279635109 3861460050 1531771072 4279781971 525304732 75190664 3586550341 4276518572 252458598 3161322045 4283260120 1133051918 1705542865 2471303319 2767687331 1398707299 3551455306 2193633804 3931029282 334741471 4094901890 3962108559 1592637789 4177335346 2676579620 1890309323 2411268328 3705101382 4006808555 3451973312 1592729510 1561506390 4189427757 3396966099 1998076033 3586982689 2936627718 1490281619 3734559157 795725676 4127701721 1033741177 304411642 1823570238 3356919667 3089610551 2412455440 2130846625 2320153426 2743401262 2447364386 62596650 3582214623 851760336 389947387 2648491355 1784263474 525350792 2351564368 3998182296 3591374140 3682967439 2695221466 3760984062 502643490 124442448 1672780021 244144893 944410654 910917442 99525650 2934598958 1358911352 2673807083 3061389504 669639153 907771210 2371011211 4186432869 4136557506 1599049140 1696659567 1313379890 4135499485 1423281942 523904568 1957060525 2401139303 3346880003 596637879 557038380 1264567012 3821610578 3294755597 3490737870 3677526504 1351715615 2786938168 2232040842 3411453257 4120056812 2209961409 3035049655 2526324188 3112064202 2215440435 3214539559 2716414078 565193187 2306671100 466683067 492659970 779580091 381594539 3990520128 1543103234 1814593328 730510111 1980282865 3732844429 1966940402 65987194 2084138195 2256043987 1556472049 2440514426 2876844706 2960656476 2763565530 619280279 1817226327 1760028633 3325170177 383283058 1187353283 2548289985 1306578297 2143769744 895020094 948301148 2569187367 3549181243 3593411737 2322859612 3072667406 560826477 829191853 1831931558 255 362436" option to reproduce the execution
0.00/0.01	c #vars 801
0.00/0.01	c #constraints 401
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      534      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      490 |      100 |      534      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |     1083 |      250 |      588      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |     1832 |      475 |      647      0 |        0 |        0
0.00/0.09	c  0.1s |       4 |     2670 |      813 |      712      0 |        0 |        0
0.09/0.14	c  0.1s |       5 |     3618 |     1320 |      784      1 |        0 |        0
0.19/0.22	c  0.2s |       6 |     5312 |     2081 |      950      2 |        0 |        0
0.29/0.36	c  0.3s |       7 |     7041 |     3223 |     1045      4 |        0 |        0
0.49/0.53	c  0.5s |       8 |     9620 |     4936 |     1150      6 |        0 |        0
0.79/0.81	c  0.8s |       9 |    13189 |     7506 |     1265      9 |        0 |        0
1.19/1.24	c  1.2s |      10 |    18490 |    11361 |     1392     14 |        0 |        0
1.79/1.87	c  1.8s |      11 |    26041 |    17144 |     1532     19 |        0 |        0
2.79/2.83	c  2.8s |      12 |    37155 |    25819 |     1686     27 |        0 |        0
3.99/4.07	c  4.0s |      13 |    55081 |    38832 |     1855     39 |        0 |        0
5.99/6.08	c  6.1s |      13 |    80465 |    56532 |     1855     54 |        0 |        0
6.19/6.26	c  6.2s |      14 |    83036 |    58352 |     2041     55 |        0 |        0
8.19/8.26	c  8.2s |      14 |   111418 |    77852 |     2041     70 |        0 |        0
9.39/9.44	c  9.4s |      15 |   124722 |    87632 |     2246     78 |        0 |        0
11.39/11.44	c 11.4s |      15 |   148805 |   104932 |     2246     91 |        0 |        0
13.39/13.45	c 13.4s |      15 |   172930 |   122932 |     2246    104 |        0 |        0
14.39/14.43	c 14.4s |      16 |   184644 |   131552 |     2471    110 |        0 |        0
16.38/16.43	c 16.4s |      16 |   208675 |   149452 |     2471    123 |        0 |        0
18.38/18.45	c 18.4s |      16 |   236420 |   169252 |     2471    136 |        0 |        0
20.38/20.45	c 20.4s |      16 |   259584 |   186652 |     2471    148 |        0 |        0
21.59/21.67	c 21.6s |      17 |   274127 |   197432 |     2719    155 |        0 |        0
23.59/23.68	c 23.7s |      17 |   297230 |   213832 |     2719    165 |        0 |        0
25.59/25.68	c 25.7s |      17 |   319150 |   229732 |     2719    175 |        0 |        0
27.59/27.69	c 27.7s |      17 |   341437 |   246232 |     2719    185 |        0 |        0
29.59/29.69	c 29.7s |      17 |   363451 |   262332 |     2719    195 |        0 |        0
31.59/31.69	c 31.7s |      17 |   386466 |   279132 |     2719    206 |        0 |        0
33.38/33.44	c 33.4s |      18 |   410297 |   296252 |     2991    216 |        0 |        0
35.38/35.45	c 35.4s |      18 |   430845 |   311052 |     2991    224 |        0 |        0
37.39/37.46	c 37.4s |      18 |   450830 |   326152 |     2991    233 |        0 |        0
39.38/39.47	c 39.4s |      18 |   467869 |   340052 |     2991    241 |        0 |        0
41.38/41.47	c 41.4s |      18 |   488507 |   355452 |     2991    250 |        0 |        0
43.38/43.47	c 43.4s |      18 |   512179 |   372952 |     2991    260 |        0 |        0
45.38/45.48	c 45.5s |      18 |   534977 |   389552 |     2991    270 |        0 |        0
47.48/47.50	c 47.5s |      18 |   552000 |   403452 |     2991    278 |        0 |        0
49.38/49.50	c 49.5s |      18 |   573136 |   419252 |     2991    288 |        0 |        0
51.48/51.51	c 51.5s |      18 |   593761 |   435452 |     2991    297 |        0 |        0
52.78/52.81	c 52.8s |      19 |   605043 |   444482 |     3291    302 |        0 |        0
54.78/54.82	c 54.8s |      19 |   623262 |   458682 |     3291    310 |        0 |        0
56.78/56.82	c 56.8s |      19 |   647045 |   476182 |     3291    319 |        0 |        0
58.78/58.83	c 58.8s |      19 |   665483 |   490982 |     3291    328 |        0 |        0
60.78/60.83	c 60.8s |      19 |   679425 |   502682 |     3291    334 |        0 |        0
62.79/62.84	c 62.8s |      19 |   696050 |   516182 |     3291    341 |        0 |        0
64.78/64.84	c 64.8s |      19 |   718798 |   533882 |     3291    351 |        0 |        0
66.78/66.84	c 66.8s |      19 |   739776 |   549982 |     3291    360 |        0 |        0
68.78/68.85	c 68.8s |      19 |   759731 |   565182 |     3291    368 |        0 |        0
70.77/70.85	c 70.8s |      19 |   776839 |   578682 |     3291    376 |        0 |        0
72.77/72.85	c 72.8s |      19 |   796120 |   593282 |     3291    384 |        0 |        0
74.78/74.86	c 74.8s |      19 |   819186 |   610582 |     3291    393 |        0 |        0
76.77/76.87	c 76.8s |      19 |   841859 |   627582 |     3291    402 |        0 |        0
78.77/78.88	c 78.9s |      19 |   863255 |   643882 |     3291    411 |        0 |        0
80.77/80.89	c 80.9s |      19 |   884122 |   659782 |     3291    420 |        0 |        0
81.97/82.10	c 82.1s |      20 |   892838 |   666827 |     3621    423 |        0 |        0
84.07/84.10	c 84.1s |      20 |   907160 |   678527 |     3621    429 |        0 |        0
86.07/86.10	c 86.1s |      20 |   923764 |   691127 |     3621    435 |        0 |        0
87.97/88.10	c 88.1s |      20 |   942356 |   705627 |     3621    442 |        0 |        0
90.06/90.10	c 90.1s |      20 |   962947 |   721727 |     3621    450 |        0 |        0
92.06/92.10	c 92.1s |      20 |   985500 |   738727 |     3621    459 |        0 |        0
94.06/94.11	c 94.1s |      20 |  1005715 |   754327 |     3621    466 |        0 |        0
96.06/96.12	c 96.1s |      20 |  1023563 |   768527 |     3621    473 |        0 |        0
98.06/98.13	c 98.1s |      20 |  1042869 |   783027 |     3621    480 |        0 |        0
100.07/100.14	c  100s |      20 |  1064356 |   799327 |     3621    488 |        0 |        0
102.06/102.15	c  102s |      20 |  1083448 |   813927 |     3621    495 |        0 |        0
104.06/104.15	c  104s |      20 |  1098020 |   826127 |     3621    501 |        0 |        0
106.07/106.16	c  106s |      20 |  1115172 |   839527 |     3621    508 |        0 |        0
108.06/108.17	c  108s |      20 |  1129200 |   851327 |     3621    514 |        0 |        0
110.07/110.17	c  110s |      20 |  1144320 |   863727 |     3621    520 |        0 |        0
112.06/112.18	c  112s |      20 |  1157034 |   874627 |     3621    525 |        0 |        0
114.06/114.18	c  114s |      20 |  1176571 |   889627 |     3621    533 |        0 |        0
116.06/116.19	c  116s |      20 |  1196764 |   904627 |     3621    540 |        0 |        0
118.16/118.20	c  118s |      20 |  1217059 |   920127 |     3621    548 |        0 |        0
120.16/120.21	c  120s |      20 |  1229966 |   931127 |     3621    553 |        0 |        0
122.16/122.21	c  122s |      20 |  1248585 |   945627 |     3621    560 |        0 |        0
124.16/124.22	c  124s |      20 |  1267997 |   960727 |     3621    568 |        0 |        0
126.16/126.23	c  126s |      20 |  1287269 |   975927 |     3621    575 |        0 |        0
128.15/128.24	c  128s |      20 |  1302665 |   988427 |     3621    582 |        0 |        0
129.95/130.00	c  129s |      21 |  1317872 |  1000345 |     3984    587 |        0 |        0
131.96/132.01	c  131s |      21 |  1336564 |  1014545 |     3984    593 |        0 |        0
133.95/134.01	c  133s |      21 |  1352523 |  1026545 |     3984    599 |        0 |        0
135.95/136.02	c  135s |      21 |  1370597 |  1040245 |     3984    605 |        0 |        0
137.95/138.02	c  137s |      21 |  1389770 |  1054745 |     3984    611 |        0 |        0
139.95/140.03	c  140s |      21 |  1406276 |  1067945 |     3984    617 |        0 |        0
141.96/142.03	c  142s |      21 |  1421864 |  1080445 |     3984    623 |        0 |        0
143.95/144.04	c  144s |      21 |  1443656 |  1096745 |     3984    630 |        0 |        0
145.95/146.04	c  146s |      21 |  1464436 |  1112845 |     3984    638 |        0 |        0
147.95/148.04	c  148s |      21 |  1487019 |  1129845 |     3984    645 |        0 |        0
149.95/150.06	c  150s |      21 |  1512033 |  1147645 |     3984    654 |        0 |        0
151.95/152.06	c  152s |      21 |  1533751 |  1163945 |     3984    661 |        0 |        0
153.96/154.07	c  154s |      21 |  1559114 |  1182845 |     3984    670 |        0 |        0
155.95/156.07	c  156s |      21 |  1582661 |  1200445 |     3984    678 |        0 |        0
157.94/158.08	c  158s |      21 |  1607450 |  1218745 |     3984    686 |        0 |        0
159.94/160.08	c  160s |      21 |  1630653 |  1236045 |     3984    694 |        0 |        0
161.94/162.09	c  162s |      21 |  1649765 |  1250545 |     3984    701 |        0 |        0
164.04/164.10	c  164s |      21 |  1668616 |  1264645 |     3984    708 |        0 |        0
166.05/166.10	c  166s |      21 |  1683391 |  1276445 |     3984    713 |        0 |        0
168.03/168.12	c  168s |      21 |  1698698 |  1288645 |     3984    719 |        0 |        0
170.03/170.13	c  170s |      21 |  1714904 |  1301645 |     3984    725 |        0 |        0
172.04/172.14	c  172s |      21 |  1732082 |  1315245 |     3984    731 |        0 |        0
174.04/174.15	c  174s |      21 |  1751014 |  1329845 |     3984    738 |        0 |        0
176.05/176.16	c  176s |      21 |  1766053 |  1342145 |     3984    743 |        0 |        0
178.03/178.17	c  178s |      21 |  1782170 |  1354945 |     3984    749 |        0 |        0
180.03/180.17	c  180s |      21 |  1799960 |  1368745 |     3984    756 |        0 |        0
182.03/182.18	c  182s |      21 |  1819329 |  1383545 |     3984    763 |        0 |        0
184.03/184.18	c  184s |      21 |  1837758 |  1397345 |     3984    769 |        0 |        0
186.03/186.19	c  186s |      21 |  1856167 |  1411745 |     3984    776 |        0 |        0
188.03/188.20	c  188s |      21 |  1874565 |  1425645 |     3984    782 |        0 |        0
190.13/190.21	c  190s |      21 |  1895438 |  1441345 |     3984    789 |        0 |        0
192.12/192.21	c  192s |      21 |  1914099 |  1455445 |     3984    796 |        0 |        0
194.12/194.21	c  194s |      21 |  1933537 |  1470545 |     3984    803 |        0 |        0
196.12/196.23	c  196s |      21 |  1948383 |  1482745 |     3984    809 |        0 |        0
198.12/198.24	c  198s |      21 |  1964433 |  1495345 |     4383    814 |        0 |        0
199.03/199.11	c  199s |      22 |  1970954 |  1500622 |     4383    816 |        0 |        0
201.02/201.11	c  201s |      22 |  1986553 |  1511822 |     4383    821 |        0 |        0
203.02/203.11	c  203s |      22 |  2004585 |  1524522 |     4383    826 |        0 |        0
205.01/205.12	c  205s |      22 |  2027789 |  1540722 |     4383    833 |        0 |        0
207.01/207.12	c  207s |      22 |  2049925 |  1556222 |     4383    840 |        0 |        0
209.03/209.12	c  209s |      22 |  2069511 |  1570422 |     4383    846 |        0 |        0
211.02/211.13	c  211s |      22 |  2089967 |  1585022 |     4383    851 |        0 |        0
213.02/213.13	c  213s |      22 |  2110432 |  1599622 |     4383    858 |        0 |        0
215.02/215.14	c  215s |      22 |  2127998 |  1612922 |     4383    863 |        0 |        0
217.02/217.14	c  217s |      22 |  2150663 |  1628622 |     4383    870 |        0 |        0
219.02/219.16	c  219s |      22 |  2171436 |  1643722 |     4383    876 |        0 |        0
221.02/221.16	c  221s |      22 |  2186468 |  1655122 |     4383    881 |        0 |        0
223.02/223.17	c  223s |      22 |  2203778 |  1668122 |     4383    886 |        0 |        0
225.01/225.17	c  225s |      22 |  2216862 |  1678622 |     4383    891 |        0 |        0
227.01/227.18	c  227s |      22 |  2237473 |  1693522 |     4383    897 |        0 |        0
229.01/229.19	c  229s |      22 |  2257074 |  1707922 |     4383    903 |        0 |        0
231.11/231.20	c  231s |      22 |  2275898 |  1721822 |     4383    909 |        0 |        0
233.12/233.21	c  233s |      22 |  2297794 |  1737722 |     4383    915 |        0 |        0
235.11/235.21	c  235s |      22 |  2318247 |  1753022 |     4383    921 |        0 |        0
237.10/237.21	c  237s |      22 |  2338754 |  1768022 |     4383    928 |        0 |        0
239.10/239.21	c  239s |      22 |  2360832 |  1784022 |     4383    934 |        0 |        0
241.10/241.22	c  241s |      22 |  2381969 |  1799222 |     4383    941 |        0 |        0
243.11/243.22	c  243s |      22 |  2400885 |  1813122 |     4383    947 |        0 |        0
245.10/245.23	c  245s |      22 |  2416822 |  1825622 |     4383    952 |        0 |        0
247.09/247.24	c  247s |      22 |  2432224 |  1837922 |     4383    956 |        0 |        0
249.09/249.24	c  249s |      22 |  2449370 |  1851222 |     4383    962 |        0 |        0
251.09/251.24	c  251s |      22 |  2466309 |  1864022 |     4383    967 |        0 |        0
253.09/253.25	c  253s |      22 |  2489460 |  1880822 |     4383    974 |        0 |        0
255.10/255.25	c  255s |      22 |  2512987 |  1898122 |     4383    981 |        0 |        0
257.08/257.25	c  257s |      22 |  2534823 |  1914122 |     4383    988 |        0 |        0
259.09/259.26	c  259s |      22 |  2554928 |  1929122 |     4383    994 |        0 |        0
261.09/261.27	c  261s |      22 |  2576198 |  1944122 |     4383   1000 |        0 |        0
263.09/263.28	c  263s |      22 |  2593333 |  1956822 |     4383   1005 |        0 |        0
265.10/265.28	c  265s |      22 |  2609987 |  1970022 |     4383   1010 |        0 |        0
267.08/267.28	c  267s |      22 |  2625005 |  1981722 |     4383   1015 |        0 |        0
269.08/269.28	c  269s |      22 |  2641343 |  1994722 |     4383   1021 |        0 |        0
271.08/271.29	c  271s |      22 |  2656165 |  2006322 |     4383   1025 |        0 |        0
273.18/273.30	c  273s |      22 |  2668518 |  2016222 |     4383   1029 |        0 |        0
275.18/275.32	c  275s |      22 |  2684117 |  2028322 |     4383   1034 |        0 |        0
277.19/277.34	c  277s |      22 |  2698719 |  2039922 |     4383   1039 |        0 |        0
279.18/279.35	c  279s |      22 |  2712882 |  2051522 |     4383   1044 |        0 |        0
281.18/281.36	c  281s |      22 |  2730113 |  2064722 |     4383   1049 |        0 |        0
283.18/283.36	c  283s |      22 |  2742643 |  2075322 |     4383   1054 |        0 |        0
285.17/285.37	c  285s |      22 |  2756910 |  2087022 |     4383   1059 |        0 |        0
287.17/287.39	c  287s |      22 |  2772354 |  2099222 |     4383   1064 |        0 |        0
289.28/289.42	c  289s |      22 |  2787945 |  2111322 |     4383   1069 |        0 |        0
291.27/291.44	c  291s |      22 |  2808585 |  2126722 |     4383   1075 |        0 |        0
293.27/293.45	c  293s |      22 |  2827100 |  2140922 |     4383   1081 |        0 |        0
295.27/295.46	c  295s |      22 |  2844348 |  2154222 |     4383   1086 |        0 |        0
297.27/297.47	c  297s |      22 |  2859911 |  2166322 |     4383   1091 |        0 |        0
299.27/299.47	c  299s |      22 |  2875497 |  2178322 |     4383   1096 |        0 |        0
301.27/301.48	c  301s |      22 |  2895347 |  2193122 |     4383   1102 |        0 |        0
303.26/303.48	c  303s |      22 |  2912647 |  2206722 |     4383   1108 |        0 |        0
305.37/305.50	c  305s |      22 |  2930784 |  2220622 |     4383   1114 |        0 |        0
307.36/307.51	c  307s |      22 |  2949773 |  2235222 |     4822   1119 |        0 |        0
309.36/309.52	c  309s |      22 |  2966417 |  2247922 |     4822   1124 |        0 |        0
309.76/309.92	c  309s |      23 |  2970708 |  2251038 |     4822   1125 |        0 |        0
311.76/311.94	c  311s |      23 |  2986769 |  2263138 |     4822   1130 |        0 |        0
313.76/313.94	c  313s |      23 |  3003468 |  2276338 |     4822   1135 |        0 |        0
315.76/315.96	c  315s |      23 |  3018002 |  2288138 |     4822   1139 |        0 |        0
317.76/317.97	c  317s |      23 |  3034729 |  2301038 |     4822   1144 |        0 |        0
319.75/319.97	c  319s |      23 |  3056082 |  2317238 |     4822   1150 |        0 |        0
321.76/321.98	c  321s |      23 |  3070363 |  2328738 |     4822   1155 |        0 |        0
323.76/323.99	c  323s |      23 |  3084492 |  2340338 |     4822   1159 |        0 |        0
325.86/326.01	c  325s |      23 |  3099820 |  2351938 |     4822   1164 |        0 |        0
327.86/328.02	c  327s |      23 |  3113894 |  2362938 |     4822   1168 |        0 |        0
329.86/330.03	c  330s |      23 |  3129176 |  2374438 |     4822   1172 |        0 |        0
331.85/332.04	c  332s |      23 |  3143601 |  2385838 |     4822   1176 |        0 |        0
333.85/334.05	c  334s |      23 |  3159578 |  2398238 |     4822   1181 |        0 |        0
335.85/336.06	c  336s |      23 |  3177645 |  2411938 |     4822   1186 |        0 |        0
337.85/338.07	c  338s |      23 |  3196015 |  2425838 |     4822   1191 |        0 |        0
339.85/340.08	c  340s |      23 |  3214773 |  2440038 |     4822   1197 |        0 |        0
341.85/342.08	c  342s |      23 |  3230910 |  2452738 |     4822   1202 |        0 |        0
343.85/344.09	c  344s |      23 |  3255228 |  2470038 |     4822   1209 |        0 |        0
345.84/346.09	c  346s |      23 |  3270905 |  2482138 |     4822   1213 |        0 |        0
347.94/348.10	c  348s |      23 |  3284907 |  2492938 |     4822   1218 |        0 |        0
349.94/350.12	c  350s |      23 |  3302187 |  2506238 |     4822   1223 |        0 |        0
351.94/352.14	c  352s |      23 |  3319390 |  2519338 |     4822   1227 |        0 |        0
353.94/354.16	c  354s |      23 |  3338283 |  2533238 |     4822   1233 |        0 |        0
355.93/356.16	c  356s |      23 |  3358020 |  2547938 |     4822   1238 |        0 |        0
357.93/358.17	c  358s |      23 |  3379171 |  2563638 |     4822   1244 |        0 |        0
359.93/360.17	c  360s |      23 |  3397089 |  2577938 |     4822   1250 |        0 |        0
361.93/362.18	c  362s |      23 |  3415993 |  2592538 |     4822   1255 |        0 |        0
363.93/364.18	c  364s |      23 |  3433634 |  2606038 |     4822   1260 |        0 |        0
365.93/366.19	c  366s |      23 |  3452605 |  2619738 |     4822   1266 |        0 |        0
367.92/368.19	c  368s |      23 |  3473105 |  2635238 |     4822   1272 |        0 |        0
369.92/370.19	c  370s |      23 |  3494769 |  2651038 |     4822   1278 |        0 |        0
372.02/372.20	c  372s |      23 |  3511123 |  2663838 |     4822   1283 |        0 |        0
374.02/374.22	c  374s |      23 |  3532175 |  2679438 |     4822   1289 |        0 |        0
376.03/376.26	c  376s |      23 |  3553138 |  2695138 |     4822   1295 |        0 |        0
378.01/378.27	c  378s |      23 |  3574114 |  2711238 |     4822   1301 |        0 |        0
380.02/380.29	c  380s |      23 |  3596550 |  2727638 |     4822   1307 |        0 |        0
382.02/382.29	c  382s |      23 |  3612194 |  2740238 |     4822   1312 |        0 |        0
384.02/384.29	c  384s |      23 |  3629040 |  2753138 |     4822   1317 |        0 |        0
386.12/386.30	c  386s |      23 |  3648277 |  2767338 |     4822   1322 |        0 |        0
388.12/388.31	c  388s |      23 |  3662170 |  2778638 |     4822   1327 |        0 |        0
390.11/390.32	c  390s |      23 |  3677845 |  2791538 |     4822   1332 |        0 |        0
392.11/392.34	c  392s |      23 |  3691874 |  2803138 |     4822   1336 |        0 |        0
394.11/394.35	c  394s |      23 |  3707966 |  2815638 |     4822   1341 |        0 |        0
396.11/396.36	c  396s |      23 |  3724826 |  2829038 |     4822   1346 |        0 |        0
398.11/398.37	c  398s |      23 |  3743080 |  2842938 |     4822   1352 |        0 |        0
400.11/400.38	c  400s |      23 |  3762056 |  2856738 |     4822   1357 |        0 |        0
402.10/402.39	c  402s |      23 |  3777933 |  2868538 |     4822   1362 |        0 |        0
404.10/404.39	c  404s |      23 |  3797853 |  2883138 |     4822   1367 |        0 |        0
406.10/406.39	c  406s |      23 |  3819742 |  2898838 |     4822   1373 |        0 |        0
408.20/408.40	c  408s |      23 |  3841219 |  2914938 |     4822   1379 |        0 |        0
410.20/410.41	c  410s |      23 |  3861393 |  2930138 |     4822   1385 |        0 |        0
412.20/412.41	c  412s |      23 |  3878027 |  2943038 |     4822   1390 |        0 |        0
414.20/414.42	c  414s |      23 |  3897526 |  2957538 |     4822   1396 |        0 |        0
416.20/416.43	c  416s |      23 |  3917632 |  2972638 |     4822   1402 |        0 |        0
418.19/418.43	c  418s |      23 |  3938751 |  2988638 |     4822   1408 |        0 |        0
420.20/420.44	c  420s |      23 |  3957482 |  3003138 |     4822   1413 |        0 |        0
422.21/422.44	c  422s |      23 |  3975869 |  3017138 |     4822   1419 |        0 |        0
424.20/424.45	c  424s |      23 |  3996161 |  3032738 |     4822   1425 |        0 |        0
426.20/426.46	c  426s |      23 |  4013261 |  3045938 |     4822   1430 |        0 |        0
428.19/428.47	c  428s |      23 |  4035060 |  3062138 |     4822   1436 |        0 |        0
430.19/430.47	c  430s |      23 |  4055222 |  3077538 |     4822   1442 |        0 |        0
432.20/432.48	c  432s |      23 |  4074181 |  3091938 |     4822   1448 |        0 |        0
434.19/434.50	c  434s |      23 |  4093967 |  3107138 |     4822   1454 |        0 |        0
436.29/436.50	c  436s |      23 |  4116094 |  3123538 |     4822   1461 |        0 |        0
438.29/438.51	c  438s |      23 |  4134483 |  3137638 |     4822   1466 |        0 |        0
440.29/440.51	c  440s |      23 |  4152086 |  3150938 |     4822   1471 |        0 |        0
442.29/442.52	c  442s |      23 |  4165462 |  3161738 |     4822   1475 |        0 |        0
444.29/444.54	c  444s |      23 |  4178496 |  3172038 |     4822   1479 |        0 |        0
446.29/446.55	c  446s |      23 |  4193762 |  3183738 |     4822   1484 |        0 |        0
448.28/448.57	c  448s |      23 |  4208854 |  3195638 |     4822   1489 |        0 |        0
450.28/450.57	c  450s |      23 |  4226711 |  3209438 |     4822   1494 |        0 |        0
452.28/452.58	c  452s |      23 |  4243464 |  3222238 |     4822   1499 |        0 |        0
454.28/454.59	c  454s |      23 |  4263975 |  3237738 |     4822   1505 |        0 |        0
456.29/456.60	c  456s |      23 |  4283286 |  3252538 |     4822   1511 |        0 |        0
458.38/458.61	c  458s |      23 |  4302009 |  3266638 |     4822   1516 |        0 |        0
460.38/460.61	c  460s |      23 |  4322903 |  3282638 |     4822   1523 |        0 |        0
462.38/462.62	c  462s |      23 |  4341583 |  3296938 |     4822   1528 |        0 |        0
464.38/464.62	c  464s |      23 |  4361159 |  3311038 |     4822   1534 |        0 |        0
466.38/466.63	c  466s |      23 |  4379014 |  3324638 |     4822   1539 |        0 |        0
468.38/468.65	c  468s |      23 |  4396295 |  3336738 |     4822   1544 |        0 |        0
470.37/470.65	c  470s |      23 |  4416498 |  3351538 |     4822   1549 |        0 |        0
472.37/472.66	c  472s |      23 |  4435062 |  3365638 |     5305   1554 |        0 |        0
474.17/474.47	c  474s |      24 |  4449286 |  3376662 |     5305   1558 |        0 |        0
476.18/476.47	c  476s |      24 |  4468709 |  3389762 |     5305   1562 |        0 |        0
478.17/478.48	c  478s |      24 |  4484874 |  3401862 |     5305   1567 |        0 |        0
480.17/480.48	c  480s |      24 |  4504443 |  3415062 |     5305   1571 |        0 |        0
482.17/482.48	c  482s |      24 |  4526490 |  3430462 |     5305   1577 |        0 |        0
484.17/484.49	c  484s |      24 |  4547290 |  3444762 |     5305   1582 |        0 |        0
486.27/486.54	c  486s |      24 |  4567118 |  3459062 |     5305   1587 |        0 |        0
488.27/488.55	c  488s |      24 |  4582518 |  3470762 |     5305   1591 |        0 |        0
490.26/490.55	c  490s |      24 |  4603518 |  3485562 |     5305   1596 |        0 |        0
492.26/492.56	c  492s |      24 |  4622749 |  3499562 |     5305   1601 |        0 |        0
494.26/494.57	c  494s |      24 |  4641855 |  3512962 |     5305   1605 |        0 |        0
496.26/496.57	c  496s |      24 |  4662097 |  3527362 |     5305   1610 |        0 |        0
498.25/498.57	c  498s |      24 |  4680886 |  3541162 |     5305   1615 |        0 |        0
500.26/500.57	c  500s |      24 |  4698966 |  3554062 |     5305   1620 |        0 |        0
502.25/502.58	c  502s |      24 |  4713252 |  3565462 |     5305   1623 |        0 |        0
504.25/504.59	c  504s |      24 |  4730163 |  3577662 |     5305   1628 |        0 |        0
506.25/506.60	c  506s |      24 |  4748638 |  3591062 |     5305   1632 |        0 |        0
508.34/508.60	c  508s |      24 |  4765047 |  3602862 |     5305   1636 |        0 |        0
510.34/510.61	c  510s |      24 |  4785202 |  3617362 |     5305   1641 |        0 |        0
512.36/512.62	c  512s |      24 |  4804372 |  3631362 |     5305   1646 |        0 |        0
514.35/514.62	c  514s |      24 |  4818576 |  3642362 |     5305   1650 |        0 |        0
516.35/516.63	c  516s |      24 |  4835754 |  3654962 |     5305   1654 |        0 |        0
518.34/518.66	c  518s |      24 |  4846078 |  3663762 |     5305   1658 |        0 |        0
520.34/520.68	c  520s |      24 |  4863278 |  3676962 |     5305   1662 |        0 |        0
522.35/522.69	c  522s |      24 |  4877821 |  3687962 |     5305   1666 |        0 |        0
524.45/524.71	c  524s |      24 |  4896193 |  3701762 |     5305   1671 |        0 |        0
526.44/526.71	c  526s |      24 |  4912908 |  3714362 |     5305   1675 |        0 |        0
528.44/528.71	c  528s |      24 |  4929834 |  3727062 |     5305   1679 |        0 |        0
530.44/530.75	c  530s |      24 |  4950070 |  3741062 |     5305   1684 |        0 |        0
532.44/532.75	c  532s |      24 |  4967142 |  3753762 |     5305   1689 |        0 |        0
534.45/534.76	c  534s |      24 |  4979081 |  3763462 |     5305   1692 |        0 |        0
536.44/536.76	c  536s |      24 |  4996066 |  3775862 |     5305   1696 |        0 |        0
538.43/538.76	c  538s |      24 |  5015630 |  3789962 |     5305   1701 |        0 |        0
540.43/540.76	c  540s |      24 |  5033289 |  3803062 |     5305   1706 |        0 |        0
542.43/542.77	c  542s |      24 |  5053945 |  3818262 |     5305   1711 |        0 |        0
544.43/544.77	c  544s |      24 |  5071757 |  3831462 |     5305   1716 |        0 |        0
546.44/546.78	c  546s |      24 |  5089916 |  3845362 |     5305   1720 |        0 |        0
548.42/548.79	c  548s |      24 |  5109006 |  3859762 |     5305   1725 |        0 |        0
550.42/550.79	c  550s |      24 |  5129025 |  3873962 |     5305   1730 |        0 |        0
552.52/552.81	c  552s |      24 |  5145903 |  3886662 |     5305   1735 |        0 |        0
554.52/554.82	c  554s |      24 |  5162792 |  3898962 |     5305   1739 |        0 |        0
556.52/556.84	c  556s |      24 |  5176784 |  3910162 |     5305   1743 |        0 |        0
558.52/558.85	c  558s |      24 |  5197465 |  3924762 |     5305   1748 |        0 |        0
560.52/560.86	c  560s |      24 |  5216203 |  3937862 |     5305   1753 |        0 |        0
562.52/562.86	c  562s |      24 |  5237541 |  3953262 |     5305   1758 |        0 |        0
564.52/564.87	c  564s |      24 |  5256805 |  3967262 |     5305   1763 |        0 |        0
566.52/566.87	c  566s |      24 |  5277629 |  3982762 |     5305   1768 |        0 |        0
568.52/568.88	c  568s |      24 |  5294582 |  3995262 |     5305   1773 |        0 |        0
570.51/570.89	c  570s |      24 |  5313094 |  4008762 |     5305   1777 |        0 |        0
572.51/572.90	c  572s |      24 |  5326710 |  4019362 |     5305   1781 |        0 |        0
574.61/574.91	c  574s |      24 |  5343931 |  4032462 |     5305   1785 |        0 |        0
576.61/576.91	c  576s |      24 |  5359876 |  4044662 |     5305   1790 |        0 |        0
578.60/578.92	c  578s |      24 |  5374426 |  4055662 |     5305   1794 |        0 |        0
580.61/580.92	c  580s |      24 |  5388741 |  4066662 |     5305   1797 |        0 |        0
582.60/582.92	c  582s |      24 |  5406792 |  4079862 |     5305   1802 |        0 |        0
584.60/584.93	c  584s |      24 |  5422772 |  4091762 |     5305   1806 |        0 |        0
586.60/586.93	c  586s |      24 |  5440735 |  4104862 |     5305   1811 |        0 |        0
588.60/588.94	c  588s |      24 |  5457875 |  4117462 |     5305   1815 |        0 |        0
590.60/590.94	c  590s |      24 |  5477599 |  4131762 |     5305   1820 |        0 |        0
592.60/592.94	c  592s |      24 |  5496238 |  4145262 |     5305   1825 |        0 |        0
594.59/594.95	c  594s |      24 |  5513864 |  4158362 |     5305   1829 |        0 |        0
596.59/596.95	c  596s |      24 |  5527468 |  4168862 |     5305   1833 |        0 |        0
598.59/598.96	c  598s |      24 |  5541613 |  4179762 |     5305   1837 |        0 |        0
600.59/600.97	c  600s |      24 |  5560162 |  4193462 |     5305   1841 |        0 |        0
602.60/602.99	c  602s |      24 |  5575048 |  4205562 |     5305   1845 |        0 |        0
604.60/605.00	c  604s |      24 |  5592177 |  4218162 |     5305   1850 |        0 |        0
606.70/607.00	c  606s |      24 |  5608610 |  4231262 |     5305   1854 |        0 |        0
608.69/609.00	c  608s |      24 |  5622132 |  4241862 |     5305   1858 |        0 |        0
610.69/611.01	c  610s |      24 |  5637832 |  4253762 |     5305   1862 |        0 |        0
612.69/613.02	c  612s |      24 |  5656957 |  4267862 |     5305   1867 |        0 |        0
614.70/615.03	c  615s |      24 |  5673242 |  4279962 |     5305   1871 |        0 |        0
616.69/617.03	c  617s |      24 |  5684450 |  4289262 |     5305   1874 |        0 |        0
618.68/619.04	c  619s |      24 |  5696094 |  4298562 |     5305   1878 |        0 |        0
620.68/621.05	c  621s |      24 |  5709259 |  4309162 |     5305   1881 |        0 |        0
622.68/623.07	c  623s |      24 |  5723408 |  4319662 |     5305   1885 |        0 |        0
624.68/625.08	c  625s |      24 |  5738743 |  4331162 |     5305   1889 |        0 |        0
626.69/627.08	c  627s |      24 |  5755205 |  4343962 |     5305   1893 |        0 |        0
628.77/629.10	c  629s |      24 |  5772281 |  4356662 |     5305   1898 |        0 |        0
630.77/631.11	c  631s |      24 |  5790274 |  4369762 |     5305   1902 |        0 |        0
632.77/633.11	c  633s |      24 |  5807906 |  4382662 |     5305   1907 |        0 |        0
634.77/635.11	c  635s |      24 |  5825150 |  4395462 |     5305   1911 |        0 |        0
636.77/637.11	c  637s |      24 |  5843107 |  4407962 |     5305   1916 |        0 |        0
638.77/639.13	c  639s |      24 |  5859530 |  4420362 |     5305   1920 |        0 |        0
640.77/641.15	c  641s |      24 |  5874835 |  4431962 |     5305   1924 |        0 |        0
642.77/643.15	c  643s |      24 |  5890873 |  4443962 |     5305   1928 |        0 |        0
644.77/645.15	c  645s |      24 |  5907503 |  4456462 |     5305   1932 |        0 |        0
646.76/647.16	c  647s |      24 |  5922667 |  4467562 |     5305   1936 |        0 |        0
648.77/649.20	c  649s |      24 |  5938646 |  4479762 |     5305   1941 |        0 |        0
650.76/651.20	c  651s |      24 |  5951770 |  4489662 |     5305   1944 |        0 |        0
652.86/653.20	c  653s |      24 |  5965094 |  4499462 |     5305   1947 |        0 |        0
654.86/655.21	c  655s |      24 |  5978863 |  4510562 |     5305   1951 |        0 |        0
656.85/657.22	c  657s |      24 |  5993620 |  4522062 |     5305   1955 |        0 |        0
658.85/659.24	c  659s |      24 |  6009279 |  4533862 |     5305   1959 |        0 |        0
660.86/661.24	c  661s |      24 |  6027272 |  4547562 |     5305   1964 |        0 |        0
662.85/663.25	c  663s |      24 |  6041396 |  4558462 |     5305   1968 |        0 |        0
664.85/665.26	c  665s |      24 |  6053573 |  4568262 |     5305   1971 |        0 |        0
666.84/667.28	c  667s |      24 |  6064385 |  4577262 |     5305   1974 |        0 |        0
668.84/669.29	c  669s |      24 |  6079600 |  4589162 |     5305   1978 |        0 |        0
670.94/671.30	c  671s |      24 |  6098482 |  4602862 |     5305   1983 |        0 |        0
672.95/673.31	c  673s |      24 |  6117306 |  4616662 |     5305   1988 |        0 |        0
674.94/675.32	c  675s |      24 |  6132111 |  4627862 |     5305   1992 |        0 |        0
676.94/677.35	c  677s |      24 |  6144230 |  4637562 |     5305   1995 |        0 |        0
678.94/679.36	c  679s |      24 |  6159578 |  4649062 |     5305   1999 |        0 |        0
680.95/681.37	c  681s |      24 |  6174696 |  4660362 |     5305   2003 |        0 |        0
682.95/683.37	c  683s |      24 |  6189109 |  4671662 |     5305   2007 |        0 |        0
684.95/685.38	c  685s |      24 |  6204523 |  4683662 |     5305   2011 |        0 |        0
687.04/687.40	c  687s |      24 |  6217099 |  4693162 |     5305   2015 |        0 |        0
689.04/689.42	c  689s |      24 |  6228729 |  4702162 |     5305   2018 |        0 |        0
691.04/691.43	c  691s |      24 |  6241714 |  4712162 |     5305   2021 |        0 |        0
693.04/693.44	c  693s |      24 |  6253868 |  4721862 |     5305   2024 |        0 |        0
695.04/695.46	c  695s |      24 |  6268124 |  4732862 |     5305   2028 |        0 |        0
697.05/697.48	c  697s |      24 |  6283778 |  4744862 |     5305   2033 |        0 |        0
699.04/699.49	c  699s |      24 |  6300741 |  4757262 |     5305   2037 |        0 |        0
701.14/701.51	c  701s |      24 |  6314248 |  4767762 |     5305   2041 |        0 |        0
703.14/703.52	c  703s |      24 |  6330051 |  4779462 |     5305   2045 |        0 |        0
705.14/705.52	c  705s |      24 |  6341327 |  4788662 |     5305   2048 |        0 |        0
707.14/707.54	c  707s |      24 |  6354227 |  4798862 |     5305   2051 |        0 |        0
709.15/709.55	c  709s |      24 |  6365470 |  4807962 |     5305   2054 |        0 |        0
711.14/711.55	c  711s |      24 |  6376752 |  4816962 |     5305   2058 |        0 |        0
713.14/713.56	c  713s |      24 |  6392895 |  4829162 |     5305   2062 |        0 |        0
715.14/715.57	c  715s |      24 |  6406763 |  4839962 |     5305   2066 |        0 |        0
717.14/717.57	c  717s |      24 |  6422446 |  4851162 |     5305   2070 |        0 |        0
719.14/719.59	c  719s |      24 |  6437581 |  4862562 |     5305   2074 |        0 |        0
721.14/721.60	c  721s |      24 |  6454828 |  4875662 |     5305   2078 |        0 |        0
723.24/723.62	c  723s |      24 |  6470396 |  4887462 |     5305   2082 |        0 |        0
725.23/725.63	c  725s |      24 |  6485118 |  4898862 |     5305   2086 |        0 |        0
727.23/727.66	c  727s |      24 |  6499133 |  4909562 |     5305   2090 |        0 |        0
729.23/729.67	c  729s |      24 |  6513154 |  4920362 |     5305   2094 |        0 |        0
731.24/731.67	c  731s |      24 |  6529025 |  4932262 |     5305   2098 |        0 |        0
733.23/733.67	c  733s |      24 |  6544430 |  4944862 |     5305   2102 |        0 |        0
735.23/735.68	c  735s |      24 |  6557182 |  4954862 |     5305   2106 |        0 |        0
737.33/737.71	c  737s |      24 |  6570649 |  4965562 |     5305   2109 |        0 |        0
739.33/739.72	c  739s |      24 |  6584053 |  4975662 |     5305   2113 |        0 |        0
741.33/741.72	c  741s |      24 |  6596727 |  4985462 |     5305   2116 |        0 |        0
743.34/743.74	c  743s |      24 |  6609470 |  4995562 |     5305   2120 |        0 |        0
745.33/745.74	c  745s |      24 |  6626425 |  5008262 |     5305   2124 |        0 |        0
747.33/747.75	c  747s |      24 |  6643430 |  5021262 |     5305   2129 |        0 |        0
749.33/749.75	c  749s |      24 |  6659557 |  5033662 |     5836   2133 |        0 |        0
751.33/751.76	c  751s |      24 |  6675055 |  5045862 |     5836   2136 |        0 |        0
753.33/753.79	c  753s |      24 |  6688364 |  5056362 |     5836   2140 |        0 |        0
755.13/755.51	c  755s |      25 |  6699671 |  5065098 |     5836   2143 |        0 |        0
757.12/757.51	c  757s |      25 |  6720301 |  5079598 |     5836   2147 |        0 |        0
759.12/759.52	c  759s |      25 |  6738235 |  5092898 |     5836   2151 |        0 |        0
761.12/761.52	c  761s |      25 |  6755419 |  5105898 |     5836   2156 |        0 |        0
763.13/763.57	c  763s |      25 |  6771603 |  5118398 |     5836   2160 |        0 |        0
765.12/765.58	c  765s |      25 |  6788483 |  5131098 |     5836   2164 |        0 |        0
767.22/767.61	c  767s |      25 |  6806477 |  5144198 |     5836   2168 |        0 |        0
769.23/769.61	c  769s |      25 |  6823180 |  5157098 |     5836   2172 |        0 |        0
771.23/771.62	c  771s |      25 |  6833628 |  5165798 |     5836   2175 |        0 |        0
773.23/773.64	c  773s |      25 |  6843865 |  5174698 |     5836   2177 |        0 |        0
775.24/775.64	c  775s |      25 |  6856526 |  5184498 |     5836   2181 |        0 |        0
777.23/777.65	c  777s |      25 |  6877046 |  5199398 |     5836   2185 |        0 |        0
779.23/779.65	c  779s |      25 |  6895988 |  5213698 |     5836   2190 |        0 |        0
781.23/781.67	c  781s |      25 |  6911847 |  5225798 |     5836   2194 |        0 |        0
783.23/783.68	c  783s |      25 |  6928939 |  5239198 |     5836   2198 |        0 |        0
785.23/785.68	c  785s |      25 |  6942767 |  5250498 |     5836   2201 |        0 |        0
787.23/787.70	c  787s |      25 |  6957739 |  5262298 |     5836   2205 |        0 |        0
789.33/789.76	c  789s |      25 |  6971621 |  5272798 |     5836   2209 |        0 |        0
791.32/791.78	c  791s |      25 |  6990943 |  5286498 |     5836   2213 |        0 |        0
793.32/793.78	c  793s |      25 |  7010945 |  5300998 |     5836   2217 |        0 |        0
795.32/795.79	c  795s |      25 |  7027073 |  5313898 |     5836   2222 |        0 |        0
797.42/797.80	c  797s |      25 |  7047108 |  5328698 |     5836   2226 |        0 |        0
799.43/799.81	c  799s |      25 |  7063733 |  5341598 |     5836   2230 |        0 |        0
801.42/801.82	c  801s |      25 |  7082940 |  5355998 |     5836   2235 |        0 |        0
803.42/803.82	c  803s |      25 |  7096307 |  5366398 |     5836   2238 |        0 |        0
805.42/805.84	c  805s |      25 |  7106442 |  5374898 |     5836   2241 |        0 |        0
807.42/807.86	c  807s |      25 |  7123339 |  5387198 |     5836   2245 |        0 |        0
809.42/809.86	c  809s |      25 |  7143096 |  5401298 |     5836   2249 |        0 |        0
811.43/811.88	c  811s |      25 |  7164056 |  5417098 |     5836   2254 |        0 |        0
813.52/813.90	c  813s |      25 |  7181212 |  5430098 |     5836   2259 |        0 |        0
815.52/815.92	c  815s |      25 |  7199736 |  5443898 |     5836   2263 |        0 |        0
817.52/817.93	c  817s |      25 |  7215372 |  5455598 |     5836   2267 |        0 |        0
819.52/819.93	c  819s |      25 |  7231343 |  5467898 |     5836   2270 |        0 |        0
821.52/821.93	c  821s |      25 |  7246695 |  5479698 |     5836   2274 |        0 |        0
823.52/823.94	c  823s |      25 |  7266936 |  5494798 |     5836   2279 |        0 |        0
825.52/825.96	c  825s |      25 |  7283549 |  5507998 |     5836   2283 |        0 |        0
827.52/827.97	c  827s |      25 |  7299320 |  5520098 |     5836   2287 |        0 |        0
829.51/829.99	c  829s |      25 |  7311525 |  5529798 |     5836   2290 |        0 |        0
831.51/831.99	c  831s |      25 |  7322559 |  5538798 |     5836   2293 |        0 |        0
833.61/834.00	c  833s |      25 |  7336126 |  5549698 |     5836   2296 |        0 |        0
835.62/836.05	c  836s |      25 |  7347287 |  5558898 |     5836   2299 |        0 |        0
837.61/838.06	c  838s |      25 |  7359720 |  5568998 |     5836   2302 |        0 |        0
839.62/840.07	c  840s |      25 |  7374770 |  5580798 |     5836   2306 |        0 |        0
841.62/842.09	c  842s |      25 |  7391153 |  5593398 |     5836   2310 |        0 |        0
843.72/844.12	c  844s |      25 |  7403983 |  5603498 |     5836   2313 |        0 |        0
845.72/846.12	c  846s |      25 |  7416091 |  5612798 |     5836   2316 |        0 |        0
847.72/848.12	c  848s |      25 |  7428947 |  5622498 |     5836   2319 |        0 |        0
849.71/850.12	c  850s |      25 |  7443928 |  5633498 |     5836   2323 |        0 |        0
851.71/852.15	c  852s |      25 |  7457709 |  5644298 |     5836   2326 |        0 |        0
853.71/854.15	c  854s |      25 |  7470837 |  5654398 |     5836   2329 |        0 |        0
855.71/856.16	c  856s |      25 |  7488611 |  5667198 |     5836   2334 |        0 |        0
857.72/858.16	c  858s |      25 |  7505865 |  5680698 |     5836   2338 |        0 |        0
859.71/860.18	c  860s |      25 |  7522988 |  5693198 |     5836   2342 |        0 |        0
861.71/862.18	c  862s |      25 |  7537518 |  5704598 |     5836   2346 |        0 |        0
863.71/864.18	c  864s |      25 |  7550178 |  5714198 |     5836   2349 |        0 |        0
865.71/866.20	c  866s |      25 |  7562334 |  5723998 |     5836   2352 |        0 |        0
867.81/868.22	c  868s |      25 |  7578365 |  5736198 |     5836   2356 |        0 |        0
869.82/870.23	c  870s |      25 |  7590776 |  5746798 |     5836   2359 |        0 |        0
871.81/872.23	c  872s |      25 |  7602472 |  5755998 |     5836   2362 |        0 |        0
873.81/874.27	c  874s |      25 |  7613473 |  5765498 |     5836   2365 |        0 |        0
875.81/876.29	c  876s |      25 |  7622466 |  5773298 |     5836   2367 |        0 |        0
877.81/878.29	c  878s |      25 |  7632419 |  5781698 |     5836   2370 |        0 |        0
879.91/880.30	c  880s |      25 |  7641912 |  5789598 |     5836   2373 |        0 |        0
881.81/882.30	c  882s |      25 |  7654127 |  5798598 |     5836   2375 |        0 |        0
883.91/884.31	c  884s |      25 |  7669403 |  5810098 |     5836   2379 |        0 |        0
885.91/886.32	c  886s |      25 |  7681211 |  5819698 |     5836   2382 |        0 |        0
887.91/888.32	c  888s |      25 |  7695420 |  5831098 |     5836   2386 |        0 |        0
889.91/890.32	c  890s |      25 |  7704928 |  5839198 |     5836   2388 |        0 |        0
891.91/892.33	c  892s |      25 |  7715657 |  5847898 |     5836   2391 |        0 |        0
893.92/894.35	c  894s |      25 |  7728470 |  5858498 |     5836   2394 |        0 |        0
895.91/896.36	c  896s |      25 |  7737642 |  5866198 |     5836   2397 |        0 |        0
897.91/898.36	c  898s |      25 |  7750987 |  5876398 |     5836   2400 |        0 |        0
899.91/900.38	c  900s |      25 |  7762189 |  5885898 |     5836   2403 |        0 |        0
902.01/902.40	c  902s |      25 |  7774984 |  5895898 |     5836   2406 |        0 |        0
904.01/904.40	c  904s |      25 |  7790378 |  5907698 |     5836   2410 |        0 |        0
906.01/906.41	c  906s |      25 |  7803787 |  5918198 |     5836   2413 |        0 |        0
908.01/908.47	c  908s |      25 |  7820723 |  5930998 |     5836   2417 |        0 |        0
910.01/910.48	c  910s |      25 |  7837847 |  5944098 |     5836   2422 |        0 |        0
912.01/912.48	c  912s |      25 |  7855380 |  5957198 |     5836   2426 |        0 |        0
914.01/914.49	c  914s |      25 |  7874926 |  5972098 |     5836   2431 |        0 |        0
916.10/916.51	c  916s |      25 |  7895795 |  5987298 |     5836   2435 |        0 |        0
918.11/918.57	c  918s |      25 |  7912505 |  5999898 |     5836   2440 |        0 |        0
920.10/920.58	c  920s |      25 |  7928607 |  6012098 |     5836   2443 |        0 |        0
922.10/922.59	c  922s |      25 |  7947641 |  6026198 |     5836   2448 |        0 |        0
924.10/924.59	c  924s |      25 |  7964540 |  6039198 |     5836   2452 |        0 |        0
926.10/926.59	c  926s |      25 |  7984384 |  6053398 |     5836   2457 |        0 |        0
928.20/928.60	c  928s |      25 |  7997771 |  6064298 |     5836   2460 |        0 |        0
930.21/930.60	c  930s |      25 |  8010872 |  6074898 |     5836   2463 |        0 |        0
932.20/932.61	c  932s |      25 |  8024440 |  6085598 |     5836   2467 |        0 |        0
934.20/934.62	c  934s |      25 |  8037680 |  6096198 |     5836   2470 |        0 |        0
936.20/936.64	c  936s |      25 |  8052915 |  6107698 |     5836   2474 |        0 |        0
938.21/938.64	c  938s |      25 |  8067647 |  6119198 |     5836   2478 |        0 |        0
940.21/940.65	c  940s |      25 |  8084075 |  6131798 |     5836   2482 |        0 |        0
942.20/942.66	c  942s |      25 |  8094224 |  6140698 |     5836   2484 |        0 |        0
944.20/944.68	c  944s |      25 |  8106301 |  6150498 |     5836   2488 |        0 |        0
946.30/946.70	c  946s |      25 |  8117270 |  6159498 |     5836   2490 |        0 |        0
948.30/948.71	c  948s |      25 |  8131806 |  6170198 |     5836   2494 |        0 |        0
950.30/950.77	c  950s |      25 |  8142075 |  6178498 |     5836   2497 |        0 |        0
952.31/952.78	c  952s |      25 |  8157223 |  6189698 |     5836   2500 |        0 |        0
954.30/954.79	c  954s |      25 |  8169433 |  6199498 |     5836   2503 |        0 |        0
956.40/956.80	c  956s |      25 |  8179872 |  6208098 |     5836   2506 |        0 |        0
958.40/958.81	c  958s |      25 |  8193341 |  6218098 |     5836   2509 |        0 |        0
960.40/960.81	c  960s |      25 |  8206493 |  6228898 |     5836   2513 |        0 |        0
962.40/962.82	c  962s |      25 |  8223300 |  6242098 |     5836   2517 |        0 |        0
964.41/964.82	c  964s |      25 |  8239531 |  6254698 |     5836   2521 |        0 |        0
966.40/966.82	c  966s |      25 |  8251251 |  6264298 |     5836   2524 |        0 |        0
968.40/968.83	c  968s |      25 |  8264438 |  6274898 |     5836   2528 |        0 |        0
970.39/970.83	c  970s |      25 |  8278614 |  6286098 |     5836   2531 |        0 |        0
972.39/972.84	c  972s |      25 |  8294806 |  6298498 |     5836   2535 |        0 |        0
974.39/974.85	c  974s |      25 |  8310322 |  6310698 |     5836   2539 |        0 |        0
976.40/976.87	c  976s |      25 |  8326905 |  6323498 |     5836   2543 |        0 |        0
978.39/978.88	c  978s |      25 |  8344190 |  6336698 |     5836   2547 |        0 |        0
980.39/980.88	c  980s |      25 |  8361763 |  6349698 |     5836   2552 |        0 |        0
982.39/982.89	c  982s |      25 |  8380603 |  6364098 |     5836   2556 |        0 |        0
984.49/984.90	c  984s |      25 |  8395987 |  6375798 |     5836   2560 |        0 |        0
986.49/986.90	c  986s |      25 |  8413687 |  6388998 |     5836   2564 |        0 |        0
988.50/988.91	c  988s |      25 |  8429152 |  6401098 |     5836   2568 |        0 |        0
990.49/990.93	c  990s |      25 |  8443028 |  6411898 |     5836   2571 |        0 |        0
992.49/992.94	c  992s |      25 |  8461852 |  6425198 |     5836   2576 |        0 |        0
994.49/994.95	c  994s |      25 |  8483452 |  6441198 |     5836   2581 |        0 |        0
996.49/996.96	c  996s |      25 |  8498310 |  6452898 |     5836   2585 |        0 |        0
998.50/998.97	c  998s |      25 |  8517615 |  6466698 |     5836   2589 |        0 |        0
1000.49/1000.98	c 1000s |      25 |  8536312 |  6480598 |     5836   2593 |        0 |        0
1002.49/1002.98	c 1002s |      25 |  8554832 |  6494198 |     5836   2598 |        0 |        0
1004.49/1004.99	c 1004s |      25 |  8571808 |  6506898 |     5836   2602 |        0 |        0
1006.59/1007.00	c 1006s |      25 |  8592407 |  6521598 |     5836   2607 |        0 |        0
1008.60/1009.01	c 1008s |      25 |  8612137 |  6535498 |     5836   2611 |        0 |        0
1010.60/1011.01	c 1010s |      25 |  8632890 |  6550398 |     5836   2616 |        0 |        0
1012.60/1013.02	c 1012s |      25 |  8653318 |  6565198 |     5836   2621 |        0 |        0
1014.59/1015.03	c 1015s |      25 |  8672284 |  6578898 |     5836   2625 |        0 |        0
1016.59/1017.04	c 1017s |      25 |  8686076 |  6589598 |     5836   2628 |        0 |        0
1018.59/1019.05	c 1019s |      25 |  8702872 |  6602098 |     5836   2632 |        0 |        0
1020.59/1021.06	c 1021s |      25 |  8719769 |  6614998 |     5836   2636 |        0 |        0
1022.60/1023.07	c 1023s |      25 |  8737579 |  6628398 |     5836   2641 |        0 |        0
1024.59/1025.08	c 1025s |      25 |  8756107 |  6642398 |     5836   2645 |        0 |        0
1026.59/1027.09	c 1027s |      25 |  8767266 |  6651698 |     5836   2648 |        0 |        0
1028.69/1029.11	c 1029s |      25 |  8777514 |  6660298 |     5836   2651 |        0 |        0
1030.69/1031.13	c 1031s |      25 |  8791686 |  6671298 |     5836   2654 |        0 |        0
1032.69/1033.14	c 1033s |      25 |  8803549 |  6680898 |     5836   2657 |        0 |        0
1034.70/1035.16	c 1035s |      25 |  8820178 |  6693498 |     5836   2662 |        0 |        0
1036.69/1037.17	c 1037s |      25 |  8839851 |  6708298 |     5836   2666 |        0 |        0
1038.69/1039.17	c 1039s |      25 |  8859881 |  6722798 |     5836   2671 |        0 |        0
1040.69/1041.18	c 1041s |      25 |  8876691 |  6735098 |     5836   2675 |        0 |        0
1042.69/1043.19	c 1043s |      25 |  8896851 |  6749098 |     5836   2679 |        0 |        0
1044.79/1045.20	c 1045s |      25 |  8913106 |  6761198 |     5836   2683 |        0 |        0
1046.79/1047.22	c 1047s |      25 |  8933293 |  6775598 |     5836   2688 |        0 |        0
1048.78/1049.22	c 1049s |      25 |  8953206 |  6789898 |     5836   2692 |        0 |        0
1050.78/1051.23	c 1051s |      25 |  8971167 |  6803298 |     5836   2697 |        0 |        0
1052.78/1053.23	c 1053s |      25 |  8990056 |  6817098 |     5836   2701 |        0 |        0
1054.78/1055.24	c 1055s |      25 |  9009030 |  6831598 |     5836   2706 |        0 |        0
1056.79/1057.25	c 1057s |      25 |  9025387 |  6844098 |     5836   2710 |        0 |        0
1058.78/1059.26	c 1059s |      25 |  9042276 |  6856998 |     5836   2714 |        0 |        0
1060.79/1061.26	c 1061s |      25 |  9057175 |  6868598 |     5836   2718 |        0 |        0
1062.79/1063.27	c 1063s |      25 |  9074355 |  6881198 |     5836   2722 |        0 |        0
1064.79/1065.29	c 1065s |      25 |  9093238 |  6895198 |     5836   2726 |        0 |        0
1066.88/1067.30	c 1067s |      25 |  9111448 |  6909098 |     5836   2730 |        0 |        0
1068.79/1069.30	c 1069s |      25 |  9129670 |  6922198 |     5836   2735 |        0 |        0
1070.88/1071.30	c 1071s |      25 |  9150075 |  6937498 |     5836   2739 |        0 |        0
1072.88/1073.31	c 1073s |      25 |  9165668 |  6949698 |     5836   2743 |        0 |        0
1074.88/1075.31	c 1075s |      25 |  9179492 |  6960198 |     5836   2747 |        0 |        0
1076.88/1077.31	c 1077s |      25 |  9193002 |  6970998 |     5836   2750 |        0 |        0
1078.88/1079.33	c 1079s |      25 |  9207111 |  6981998 |     5836   2754 |        0 |        0
1080.89/1081.33	c 1081s |      25 |  9220255 |  6992598 |     5836   2757 |        0 |        0
1082.88/1083.36	c 1083s |      25 |  9235272 |  7003798 |     5836   2761 |        0 |        0
1084.88/1085.38	c 1085s |      25 |  9246870 |  7013398 |     5836   2764 |        0 |        0
1086.98/1087.43	c 1087s |      25 |  9257959 |  7022498 |     5836   2767 |        0 |        0
1088.98/1089.44	c 1089s |      25 |  9275328 |  7035398 |     5836   2771 |        0 |        0
1090.98/1091.45	c 1091s |      25 |  9290215 |  7046598 |     5836   2774 |        0 |        0
1092.98/1093.49	c 1093s |      25 |  9303390 |  7057198 |     5836   2778 |        0 |        0
1095.08/1095.50	c 1095s |      25 |  9314268 |  7065998 |     5836   2780 |        0 |        0
1097.08/1097.51	c 1097s |      25 |  9329939 |  7077298 |     5836   2784 |        0 |        0
1099.08/1099.51	c 1099s |      25 |  9345709 |  7088898 |     5836   2788 |        0 |        0
1101.08/1101.53	c 1101s |      25 |  9358109 |  7099098 |     5836   2791 |        0 |        0
1103.08/1103.53	c 1103s |      25 |  9375572 |  7111898 |     5836   2795 |        0 |        0
1105.08/1105.55	c 1105s |      25 |  9391927 |  7124098 |     5836   2799 |        0 |        0
1107.08/1107.55	c 1107s |      25 |  9407648 |  7135998 |     5836   2803 |        0 |        0
1109.08/1109.55	c 1109s |      25 |  9421578 |  7146298 |     5836   2806 |        0 |        0
1111.07/1111.56	c 1111s |      25 |  9436628 |  7157698 |     5836   2810 |        0 |        0
1113.07/1113.56	c 1113s |      25 |  9452102 |  7169598 |     5836   2814 |        0 |        0
1115.08/1115.57	c 1115s |      25 |  9466005 |  7180498 |     5836   2817 |        0 |        0
1117.07/1117.57	c 1117s |      25 |  9483109 |  7193398 |     5836   2821 |        0 |        0
1119.07/1119.57	c 1119s |      25 |  9499904 |  7206198 |     5836   2825 |        0 |        0
1121.07/1121.58	c 1121s |      25 |  9516172 |  7218698 |     5836   2829 |        0 |        0
1123.08/1123.59	c 1123s |      25 |  9534262 |  7231898 |     5836   2834 |        0 |        0
1125.18/1125.61	c 1125s |      25 |  9552167 |  7245698 |     5836   2838 |        0 |        0
1127.18/1127.63	c 1127s |      25 |  9566713 |  7256798 |     5836   2842 |        0 |        0
1129.18/1129.63	c 1129s |      25 |  9584552 |  7270498 |     5836   2846 |        0 |        0
1131.18/1131.64	c 1131s |      25 |  9602994 |  7284198 |     5836   2850 |        0 |        0
1133.18/1133.66	c 1133s |      25 |  9618655 |  7295698 |     5836   2854 |        0 |        0
1135.18/1135.66	c 1135s |      25 |  9631799 |  7305598 |     5836   2857 |        0 |        0
1137.18/1137.68	c 1137s |      25 |  9646960 |  7316698 |     5836   2861 |        0 |        0
1139.18/1139.68	c 1139s |      25 |  9665076 |  7329698 |     5836   2865 |        0 |        0
1141.17/1141.69	c 1141s |      25 |  9684919 |  7343698 |     5836   2869 |        0 |        0
1143.27/1143.70	c 1143s |      25 |  9704612 |  7358398 |     5836   2874 |        0 |        0
1145.27/1145.70	c 1145s |      25 |  9719959 |  7369698 |     5836   2878 |        0 |        0
1147.27/1147.72	c 1147s |      25 |  9734816 |  7381198 |     5836   2882 |        0 |        0
1149.27/1149.73	c 1149s |      25 |  9751202 |  7393298 |     5836   2885 |        0 |        0
1151.28/1151.74	c 1151s |      25 |  9766793 |  7405498 |     5836   2889 |        0 |        0
1153.27/1153.74	c 1153s |      25 |  9786245 |  7419998 |     5836   2894 |        0 |        0
1155.27/1155.74	c 1155s |      25 |  9804055 |  7432998 |     5836   2898 |        0 |        0
1157.27/1157.75	c 1157s |      25 |  9825889 |  7448398 |     5836   2903 |        0 |        0
1159.27/1159.78	c 1159s |      25 |  9847780 |  7463698 |     5836   2908 |        0 |        0
1161.37/1161.81	c 1161s |      25 |  9862603 |  7474798 |     5836   2912 |        0 |        0
1163.37/1163.81	c 1163s |      25 |  9880716 |  7487598 |     5836   2916 |        0 |        0
1165.37/1165.82	c 1165s |      25 |  9905449 |  7505098 |     5836   2921 |        0 |        0
1167.37/1167.83	c 1167s |      25 |  9924420 |  7518998 |     5836   2926 |        0 |        0
1169.37/1169.84	c 1169s |      25 |  9944839 |  7533598 |     5836   2930 |        0 |        0
1171.37/1171.85	c 1171s |      25 |  9961333 |  7546198 |     6420   2934 |        0 |        0
1173.37/1173.85	c 1173s |      25 |  9979953 |  7559798 |     6420   2938 |        0 |        0
1175.36/1175.87	c 1175s |      25 |  9998390 |  7573098 |     6420   2942 |        0 |        0
1177.36/1177.87	c 1177s |      25 | 10015526 |  7585498 |     6420   2946 |        0 |        0
1179.16/1179.63	c 1179s |      26 | 10032261 |  7597752 |     6420   2949 |        0 |        0
1181.16/1181.63	c 1181s |      26 | 10050122 |  7610752 |     6420   2953 |        0 |        0
1183.17/1183.64	c 1183s |      26 | 10067440 |  7623152 |     6420   2957 |        0 |        0
1185.16/1185.66	c 1185s |      26 | 10082400 |  7634452 |     6420   2960 |        0 |        0
1187.16/1187.68	c 1187s |      26 | 10095621 |  7644952 |     6420   2963 |        0 |        0
1189.26/1189.71	c 1189s |      26 | 10110895 |  7655852 |     6420   2967 |        0 |        0
1191.26/1191.72	c 1191s |      26 | 10122687 |  7665252 |     6420   2969 |        0 |        0
1193.26/1193.74	c 1193s |      26 | 10134058 |  7674852 |     6420   2972 |        0 |        0
1195.26/1195.75	c 1195s |      26 | 10145557 |  7684352 |     6420   2975 |        0 |        0
1197.26/1197.77	c 1197s |      26 | 10153045 |  7690952 |     6420   2977 |        0 |        0
1199.26/1199.78	c 1199s |      26 | 10164318 |  7699752 |     6420   2980 |        0 |        0
1201.26/1201.79	c 1201s |      26 | 10179771 |  7711352 |     6420   2983 |        0 |        0
1203.26/1203.79	c 1203s |      26 | 10193360 |  7721552 |     6420   2986 |        0 |        0
1205.36/1205.80	c 1205s |      26 | 10206235 |  7731352 |     6420   2989 |        0 |        0
1207.36/1207.81	c 1207s |      26 | 10218517 |  7741052 |     6420   2992 |        0 |        0
1209.36/1209.82	c 1209s |      26 | 10232092 |  7751552 |     6420   2995 |        0 |        0
1211.36/1211.83	c 1211s |      26 | 10247601 |  7762452 |     6420   2998 |        0 |        0
1213.36/1213.84	c 1213s |      26 | 10262479 |  7773752 |     6420   3001 |        0 |        0
1215.36/1215.85	c 1215s |      26 | 10275363 |  7783252 |     6420   3004 |        0 |        0
1217.36/1217.86	c 1217s |      26 | 10290741 |  7794952 |     6420   3007 |        0 |        0
1219.36/1219.87	c 1219s |      26 | 10300278 |  7802552 |     6420   3010 |        0 |        0
1221.36/1221.89	c 1221s |      26 | 10316360 |  7814252 |     6420   3013 |        0 |        0
1223.46/1223.90	c 1223s |      26 | 10330767 |  7824952 |     6420   3016 |        0 |        0
1225.46/1225.91	c 1225s |      26 | 10348000 |  7837252 |     6420   3020 |        0 |        0
1227.46/1227.93	c 1227s |      26 | 10365360 |  7849552 |     6420   3023 |        0 |        0
1229.47/1229.93	c 1229s |      26 | 10383497 |  7862252 |     6420   3027 |        0 |        0
1231.46/1231.95	c 1231s |      26 | 10401405 |  7874152 |     6420   3031 |        0 |        0
1233.46/1233.96	c 1233s |      26 | 10416924 |  7885852 |     6420   3034 |        0 |        0
1235.56/1236.03	c 1236s |      26 | 10427309 |  7894252 |     6420   3037 |        0 |        0
1237.56/1238.04	c 1238s |      26 | 10438488 |  7902852 |     6420   3039 |        0 |        0
1239.56/1240.05	c 1240s |      26 | 10450849 |  7912152 |     6420   3042 |        0 |        0
1241.56/1242.06	c 1242s |      26 | 10463410 |  7921552 |     6420   3044 |        0 |        0
1243.56/1244.06	c 1244s |      26 | 10478449 |  7932952 |     6420   3048 |        0 |        0
1245.56/1246.08	c 1246s |      26 | 10497400 |  7947452 |     6420   3052 |        0 |        0
1247.56/1248.09	c 1248s |      26 | 10511032 |  7958252 |     6420   3055 |        0 |        0
1249.66/1250.10	c 1250s |      26 | 10527223 |  7970252 |     6420   3059 |        0 |        0
1251.65/1252.12	c 1252s |      26 | 10542357 |  7981652 |     6420   3062 |        0 |        0
1253.66/1254.13	c 1254s |      26 | 10558143 |  7993652 |     6420   3066 |        0 |        0
1255.65/1256.14	c 1256s |      26 | 10571274 |  8003752 |     6420   3069 |        0 |        0
1257.65/1258.16	c 1258s |      26 | 10582823 |  8013352 |     6420   3071 |        0 |        0
1259.65/1260.18	c 1260s |      26 | 10593911 |  8021452 |     6420   3074 |        0 |        0
1261.65/1262.19	c 1262s |      26 | 10604772 |  8030052 |     6420   3076 |        0 |        0
1263.75/1264.21	c 1264s |      26 | 10616052 |  8039052 |     6420   3079 |        0 |        0
1265.76/1266.22	c 1266s |      26 | 10632779 |  8051352 |     6420   3083 |        0 |        0
1267.75/1268.22	c 1268s |      26 | 10646329 |  8061652 |     6420   3086 |        0 |        0
1269.75/1270.24	c 1270s |      26 | 10660689 |  8072852 |     6420   3089 |        0 |        0
1271.75/1272.25	c 1272s |      26 | 10676868 |  8084752 |     6420   3093 |        0 |        0
1273.75/1274.26	c 1274s |      26 | 10691157 |  8095652 |     6420   3096 |        0 |        0
1275.75/1276.27	c 1276s |      26 | 10705764 |  8106652 |     6420   3099 |        0 |        0
1277.75/1278.29	c 1278s |      26 | 10720793 |  8118052 |     6420   3102 |        0 |        0
1279.85/1280.30	c 1280s |      26 | 10734928 |  8129052 |     6420   3106 |        0 |        0
1281.85/1282.30	c 1282s |      26 | 10749064 |  8140152 |     6420   3109 |        0 |        0
1283.85/1284.30	c 1284s |      26 | 10766830 |  8153252 |     6420   3113 |        0 |        0
1285.85/1286.31	c 1286s |      26 | 10782066 |  8164452 |     6420   3116 |        0 |        0
1287.85/1288.32	c 1288s |      26 | 10792445 |  8172952 |     6420   3119 |        0 |        0
1289.85/1290.34	c 1290s |      26 | 10809331 |  8185252 |     6420   3122 |        0 |        0
1291.85/1292.34	c 1292s |      26 | 10824362 |  8197252 |     6420   3126 |        0 |        0
1293.84/1294.34	c 1294s |      26 | 10842033 |  8210952 |     6420   3130 |        0 |        0
1295.84/1296.35	c 1296s |      26 | 10860966 |  8225252 |     6420   3134 |        0 |        0
1297.84/1298.36	c 1298s |      26 | 10877479 |  8237652 |     6420   3138 |        0 |        0
1299.85/1300.36	c 1300s |      26 | 10897907 |  8252852 |     6420   3142 |        0 |        0
1301.85/1302.36	c 1302s |      26 | 10917244 |  8266852 |     6420   3146 |        0 |        0
1303.85/1304.38	c 1304s |      26 | 10933667 |  8279452 |     6420   3150 |        0 |        0
1305.85/1306.38	c 1306s |      26 | 10949588 |  8291452 |     6420   3153 |        0 |        0
1307.85/1308.38	c 1308s |      26 | 10965481 |  8303452 |     6420   3157 |        0 |        0
1309.85/1310.39	c 1310s |      26 | 10982211 |  8315752 |     6420   3161 |        0 |        0
1311.96/1312.41	c 1312s |      26 | 10999367 |  8328852 |     6420   3164 |        0 |        0
1313.95/1314.43	c 1314s |      26 | 11016602 |  8342152 |     6420   3168 |        0 |        0
1315.95/1316.45	c 1316s |      26 | 11028423 |  8351952 |     6420   3171 |        0 |        0
1317.95/1318.45	c 1318s |      26 | 11044537 |  8363852 |     6420   3175 |        0 |        0
1319.95/1320.45	c 1320s |      26 | 11061175 |  8376052 |     6420   3178 |        0 |        0
1321.95/1322.46	c 1322s |      26 | 11076727 |  8387652 |     6420   3181 |        0 |        0
1323.95/1324.47	c 1324s |      26 | 11091757 |  8398552 |     6420   3185 |        0 |        0
1325.94/1326.47	c 1326s |      26 | 11104412 |  8408752 |     6420   3188 |        0 |        0
1327.94/1328.47	c 1328s |      26 | 11120242 |  8420652 |     6420   3191 |        0 |        0
1329.94/1330.50	c 1330s |      26 | 11136168 |  8432752 |     6420   3195 |        0 |        0
1332.04/1332.50	c 1332s |      26 | 11148062 |  8442652 |     6420   3197 |        0 |        0
1334.04/1334.53	c 1334s |      26 | 11156443 |  8449952 |     6420   3200 |        0 |        0
1336.05/1336.54	c 1336s |      26 | 11165021 |  8457252 |     6420   3202 |        0 |        0
1338.04/1338.54	c 1338s |      26 | 11173697 |  8464652 |     6420   3204 |        0 |        0
1340.14/1340.60	c 1340s |      26 | 11185230 |  8473852 |     6420   3206 |        0 |        0
1342.14/1342.61	c 1342s |      26 | 11201558 |  8486052 |     6420   3210 |        0 |        0
1344.14/1344.62	c 1344s |      26 | 11214569 |  8496552 |     6420   3213 |        0 |        0
1346.14/1346.64	c 1346s |      26 | 11223393 |  8504052 |     6420   3215 |        0 |        0
1348.14/1348.65	c 1348s |      26 | 11237194 |  8514152 |     6420   3218 |        0 |        0
1350.14/1350.67	c 1350s |      26 | 11251639 |  8525552 |     6420   3222 |        0 |        0
1352.14/1352.67	c 1352s |      26 | 11265368 |  8535652 |     6420   3225 |        0 |        0
1354.14/1354.67	c 1354s |      26 | 11282600 |  8547952 |     6420   3228 |        0 |        0
1356.24/1356.78	c 1356s |      26 | 11299758 |  8561052 |     6420   3232 |        0 |        0
1358.24/1358.78	c 1358s |      26 | 11311310 |  8570052 |     6420   3235 |        0 |        0
1360.24/1360.79	c 1360s |      26 | 11324417 |  8579552 |     6420   3237 |        0 |        0
1362.33/1362.80	c 1362s |      26 | 11341634 |  8591652 |     6420   3241 |        0 |        0
1364.33/1364.80	c 1364s |      26 | 11357722 |  8603852 |     6420   3245 |        0 |        0
1366.33/1366.81	c 1366s |      26 | 11371652 |  8614952 |     6420   3248 |        0 |        0
1368.33/1368.81	c 1368s |      26 | 11386949 |  8626952 |     6420   3251 |        0 |        0
1370.33/1370.82	c 1370s |      26 | 11401043 |  8638252 |     6420   3255 |        0 |        0
1372.34/1372.83	c 1372s |      26 | 11417038 |  8650652 |     6420   3258 |        0 |        0
1374.33/1374.84	c 1374s |      26 | 11433042 |  8663552 |     6420   3262 |        0 |        0
1376.33/1376.85	c 1376s |      26 | 11444331 |  8672752 |     6420   3265 |        0 |        0
1378.33/1378.86	c 1378s |      26 | 11459216 |  8684252 |     6420   3268 |        0 |        0
1380.33/1380.87	c 1380s |      26 | 11473919 |  8695652 |     6420   3272 |        0 |        0
1382.34/1382.88	c 1382s |      26 | 11489807 |  8707152 |     6420   3275 |        0 |        0
1384.34/1384.88	c 1384s |      26 | 11506641 |  8719552 |     6420   3279 |        0 |        0
1386.34/1386.89	c 1386s |      26 | 11526582 |  8733552 |     6420   3283 |        0 |        0
1388.44/1388.92	c 1388s |      26 | 11541219 |  8744652 |     6420   3286 |        0 |        0
1390.44/1390.95	c 1390s |      26 | 11553765 |  8753852 |     6420   3289 |        0 |        0
1392.44/1392.96	c 1392s |      26 | 11568804 |  8765352 |     6420   3292 |        0 |        0
1394.44/1394.97	c 1394s |      26 | 11583733 |  8776852 |     6420   3295 |        0 |        0
1396.54/1397.00	c 1396s |      26 | 11597589 |  8787552 |     6420   3298 |        0 |        0
1398.53/1399.02	c 1398s |      26 | 11613946 |  8800052 |     6420   3302 |        0 |        0
1400.53/1401.02	c 1400s |      26 | 11630377 |  8812052 |     6420   3306 |        0 |        0
1402.53/1403.04	c 1403s |      26 | 11642451 |  8821452 |     6420   3308 |        0 |        0
1404.53/1405.05	c 1405s |      26 | 11656746 |  8832352 |     6420   3311 |        0 |        0
1406.54/1407.05	c 1407s |      26 | 11670472 |  8843252 |     6420   3315 |        0 |        0
1408.53/1409.06	c 1409s |      26 | 11685915 |  8855452 |     6420   3318 |        0 |        0
1410.53/1411.07	c 1411s |      26 | 11699571 |  8866052 |     6420   3321 |        0 |        0
1412.53/1413.08	c 1413s |      26 | 11712704 |  8876552 |     6420   3324 |        0 |        0
1414.53/1415.09	c 1415s |      26 | 11722967 |  8885152 |     6420   3327 |        0 |        0
1416.53/1417.10	c 1417s |      26 | 11732952 |  8893452 |     6420   3329 |        0 |        0
1418.63/1419.10	c 1419s |      26 | 11746719 |  8903752 |     6420   3332 |        0 |        0
1420.62/1421.11	c 1421s |      26 | 11760005 |  8913952 |     6420   3335 |        0 |        0
1422.63/1423.12	c 1423s |      26 | 11776439 |  8926152 |     6420   3339 |        0 |        0
1424.63/1425.13	c 1425s |      26 | 11795148 |  8939952 |     6420   3343 |        0 |        0
1426.63/1427.15	c 1427s |      26 | 11814315 |  8953352 |     6420   3347 |        0 |        0
1428.63/1429.17	c 1429s |      26 | 11830317 |  8965252 |     6420   3350 |        0 |        0
1430.64/1431.18	c 1431s |      26 | 11844746 |  8975952 |     6420   3353 |        0 |        0
1432.63/1433.18	c 1433s |      26 | 11859371 |  8987452 |     6420   3357 |        0 |        0
1434.63/1435.19	c 1435s |      26 | 11875477 |  8999852 |     6420   3360 |        0 |        0
1436.73/1437.20	c 1437s |      26 | 11891137 |  9011852 |     6420   3364 |        0 |        0
1438.73/1439.22	c 1439s |      26 | 11903909 |  9022452 |     6420   3367 |        0 |        0
1440.73/1441.22	c 1441s |      26 | 11921240 |  9035552 |     6420   3371 |        0 |        0
1442.73/1443.23	c 1443s |      26 | 11932654 |  9044852 |     6420   3373 |        0 |        0
1444.72/1445.23	c 1445s |      26 | 11940360 |  9051952 |     6420   3376 |        0 |        0
1446.72/1447.24	c 1447s |      26 | 11953665 |  9062552 |     6420   3379 |        0 |        0
1448.72/1449.24	c 1449s |      26 | 11967346 |  9073052 |     6420   3382 |        0 |        0
1450.72/1451.24	c 1451s |      26 | 11983717 |  9085352 |     6420   3385 |        0 |        0
1452.73/1453.25	c 1453s |      26 | 11996129 |  9095352 |     6420   3388 |        0 |        0
1454.72/1455.26	c 1455s |      26 | 12008033 |  9105152 |     6420   3391 |        0 |        0
1456.82/1457.30	c 1457s |      26 | 12023243 |  9117052 |     6420   3395 |        0 |        0
1458.82/1459.31	c 1459s |      26 | 12039323 |  9129552 |     6420   3398 |        0 |        0
1460.83/1461.33	c 1461s |      26 | 12052618 |  9140252 |     6420   3401 |        0 |        0
1462.83/1463.34	c 1463s |      26 | 12064593 |  9149852 |     6420   3404 |        0 |        0
1464.83/1465.35	c 1465s |      26 | 12079430 |  9161352 |     6420   3407 |        0 |        0
1466.83/1467.40	c 1467s |      26 | 12092471 |  9171852 |     6420   3411 |        0 |        0
1468.92/1469.41	c 1469s |      26 | 12107956 |  9183852 |     6420   3414 |        0 |        0
1470.92/1471.42	c 1471s |      26 | 12117240 |  9191852 |     6420   3416 |        0 |        0
1472.92/1473.45	c 1473s |      26 | 12125715 |  9199052 |     6420   3418 |        0 |        0
1474.92/1475.46	c 1475s |      26 | 12139262 |  9209652 |     6420   3422 |        0 |        0
1476.93/1477.47	c 1477s |      26 | 12151840 |  9219952 |     6420   3425 |        0 |        0
1478.92/1479.48	c 1479s |      26 | 12165965 |  9231252 |     6420   3428 |        0 |        0
1480.92/1481.49	c 1481s |      26 | 12178807 |  9241152 |     6420   3431 |        0 |        0
1483.02/1483.50	c 1483s |      26 | 12190656 |  9250652 |     6420   3433 |        0 |        0
1485.02/1485.51	c 1485s |      26 | 12201738 |  9259452 |     6420   3436 |        0 |        0
1487.02/1487.53	c 1487s |      26 | 12211858 |  9267952 |     6420   3439 |        0 |        0
1489.03/1489.54	c 1489s |      26 | 12224827 |  9277952 |     6420   3441 |        0 |        0
1491.02/1491.55	c 1491s |      26 | 12238632 |  9288552 |     6420   3445 |        0 |        0
1493.02/1493.55	c 1493s |      26 | 12252841 |  9299952 |     6420   3448 |        0 |        0
1495.02/1495.56	c 1495s |      26 | 12267778 |  9311052 |     6420   3451 |        0 |        0
1497.02/1497.57	c 1497s |      26 | 12282916 |  9322752 |     6420   3455 |        0 |        0
1499.02/1499.59	c 1499s |      26 | 12297915 |  9334252 |     6420   3458 |        0 |        0
1501.12/1501.61	c 1501s |      26 | 12311432 |  9345152 |     6420   3461 |        0 |        0
1503.12/1503.63	c 1503s |      26 | 12324090 |  9354952 |     6420   3464 |        0 |        0
1505.11/1505.63	c 1505s |      26 | 12335056 |  9363552 |     6420   3466 |        0 |        0
1507.11/1507.65	c 1507s |      26 | 12344958 |  9371652 |     6420   3469 |        0 |        0
1509.11/1509.67	c 1509s |      26 | 12354912 |  9379852 |     6420   3471 |        0 |        0
1511.21/1511.70	c 1511s |      26 | 12364656 |  9387652 |     6420   3474 |        0 |        0
1513.22/1513.72	c 1513s |      26 | 12379627 |  9398752 |     6420   3477 |        0 |        0
1515.21/1515.72	c 1515s |      26 | 12395885 |  9410952 |     6420   3480 |        0 |        0
1517.21/1517.74	c 1517s |      26 | 12410885 |  9422352 |     6420   3484 |        0 |        0
1519.22/1519.76	c 1519s |      26 | 12427563 |  9434652 |     6420   3487 |        0 |        0
1521.22/1521.77	c 1521s |      26 | 12443071 |  9446152 |     6420   3491 |        0 |        0
1523.22/1523.77	c 1523s |      26 | 12455564 |  9456352 |     6420   3494 |        0 |        0
1525.22/1525.77	c 1525s |      26 | 12474168 |  9469252 |     6420   3498 |        0 |        0
1527.22/1527.78	c 1527s |      26 | 12487772 |  9480252 |     6420   3501 |        0 |        0
1529.21/1529.78	c 1529s |      26 | 12502916 |  9491252 |     6420   3504 |        0 |        0
1531.21/1531.79	c 1531s |      26 | 12522746 |  9505752 |     6420   3508 |        0 |        0
1533.21/1533.79	c 1533s |      26 | 12541878 |  9519252 |     6420   3512 |        0 |        0
1535.31/1535.81	c 1535s |      26 | 12559629 |  9532452 |     6420   3516 |        0 |        0
1537.32/1537.81	c 1537s |      26 | 12574342 |  9543752 |     6420   3520 |        0 |        0
1539.31/1539.84	c 1539s |      26 | 12587958 |  9553952 |     6420   3523 |        0 |        0
1541.31/1541.85	c 1541s |      26 | 12602860 |  9565752 |     6420   3526 |        0 |        0
1543.31/1543.85	c 1543s |      26 | 12617787 |  9576952 |     6420   3529 |        0 |        0
1545.31/1545.86	c 1545s |      26 | 12631599 |  9587152 |     6420   3532 |        0 |        0
1547.31/1547.88	c 1547s |      26 | 12643493 |  9596752 |     6420   3535 |        0 |        0
1549.31/1549.88	c 1549s |      26 | 12659959 |  9609452 |     6420   3539 |        0 |        0
1551.30/1551.89	c 1551s |      26 | 12673842 |  9619952 |     6420   3542 |        0 |        0
1553.41/1553.90	c 1553s |      26 | 12688640 |  9631552 |     6420   3545 |        0 |        0
1555.41/1555.91	c 1555s |      26 | 12700303 |  9640952 |     6420   3548 |        0 |        0
1557.41/1557.92	c 1557s |      26 | 12717067 |  9653552 |     6420   3552 |        0 |        0
1559.42/1559.93	c 1559s |      26 | 12734732 |  9666452 |     6420   3555 |        0 |        0
1561.41/1561.94	c 1561s |      26 | 12745224 |  9675352 |     6420   3558 |        0 |        0
1563.41/1563.95	c 1563s |      26 | 12754797 |  9683152 |     6420   3560 |        0 |        0
1565.41/1565.96	c 1565s |      26 | 12764719 |  9691352 |     6420   3563 |        0 |        0
1567.41/1567.97	c 1567s |      26 | 12777674 |  9701852 |     6420   3566 |        0 |        0
1569.41/1569.99	c 1569s |      26 | 12794719 |  9713752 |     6420   3569 |        0 |        0
1571.51/1572.00	c 1571s |      26 | 12813072 |  9727352 |     6420   3573 |        0 |        0
1573.51/1574.01	c 1573s |      26 | 12827512 |  9738352 |     6420   3577 |        0 |        0
1575.51/1576.02	c 1575s |      26 | 12842107 |  9749552 |     6420   3580 |        0 |        0
1577.51/1578.02	c 1577s |      26 | 12858839 |  9761952 |     6420   3584 |        0 |        0
1579.51/1580.03	c 1580s |      26 | 12874522 |  9774252 |     6420   3587 |        0 |        0
1581.51/1582.04	c 1582s |      26 | 12886932 |  9784552 |     6420   3590 |        0 |        0
1583.51/1584.04	c 1584s |      26 | 12897298 |  9793252 |     6420   3593 |        0 |        0
1585.50/1586.04	c 1586s |      26 | 12911082 |  9804352 |     6420   3596 |        0 |        0
1587.50/1588.05	c 1588s |      26 | 12928671 |  9816952 |     6420   3600 |        0 |        0
1589.50/1590.05	c 1590s |      26 | 12939992 |  9826352 |     6420   3602 |        0 |        0
1591.50/1592.06	c 1592s |      26 | 12952876 |  9836552 |     6420   3605 |        0 |        0
1593.51/1594.08	c 1594s |      26 | 12964337 |  9845952 |     6420   3608 |        0 |        0
1595.50/1596.08	c 1596s |      26 | 12976727 |  9855452 |     6420   3611 |        0 |        0
1597.50/1598.09	c 1598s |      26 | 12990981 |  9866652 |     6420   3614 |        0 |        0
1599.60/1600.10	c 1600s |      26 | 13006143 |  9878452 |     6420   3618 |        0 |        0
1601.60/1602.11	c 1602s |      26 | 13022773 |  9890952 |     6420   3621 |        0 |        0
1603.60/1604.13	c 1604s |      26 | 13034317 |  9900052 |     6420   3624 |        0 |        0
1605.60/1606.13	c 1606s |      26 | 13052458 |  9913052 |     6420   3628 |        0 |        0
1607.60/1608.14	c 1608s |      26 | 13070689 |  9926552 |     6420   3632 |        0 |        0
1609.60/1610.15	c 1610s |      26 | 13088673 |  9940252 |     6420   3636 |        0 |        0
1611.60/1612.18	c 1612s |      26 | 13105821 |  9953352 |     6420   3640 |        0 |        0
1613.60/1614.19	c 1614s |      26 | 13118145 |  9963552 |     6420   3643 |        0 |        0
1615.70/1616.20	c 1616s |      26 | 13128397 |  9972052 |     6420   3645 |        0 |        0
1617.71/1618.22	c 1618s |      26 | 13143530 |  9983252 |     6420   3648 |        0 |        0
1619.70/1620.23	c 1620s |      26 | 13157585 |  9994052 |     6420   3651 |        0 |        0
1621.70/1622.24	c 1622s |      26 | 13171405 | 10004552 |     6420   3655 |        0 |        0
1623.70/1624.24	c 1624s |      26 | 13182057 | 10013052 |     6420   3657 |        0 |        0
1625.70/1626.26	c 1626s |      26 | 13198157 | 10025952 |     6420   3661 |        0 |        0
1627.70/1628.26	c 1628s |      26 | 13210459 | 10035452 |     6420   3664 |        0 |        0
1629.70/1630.27	c 1630s |      26 | 13227543 | 10048252 |     6420   3667 |        0 |        0
1631.70/1632.28	c 1632s |      26 | 13240779 | 10058452 |     6420   3670 |        0 |        0
1633.70/1634.29	c 1634s |      26 | 13257316 | 10070752 |     6420   3674 |        0 |        0
1635.80/1636.30	c 1636s |      26 | 13269606 | 10080852 |     6420   3677 |        0 |        0
1637.80/1638.34	c 1638s |      26 | 13280937 | 10090052 |     6420   3680 |        0 |        0
1639.79/1640.34	c 1640s |      26 | 13293410 | 10100152 |     6420   3682 |        0 |        0
1641.80/1642.35	c 1642s |      26 | 13306298 | 10110152 |     6420   3685 |        0 |        0
1643.79/1644.37	c 1644s |      26 | 13317772 | 10119252 |     6420   3688 |        0 |        0
1645.79/1646.39	c 1646s |      26 | 13331540 | 10129952 |     6420   3691 |        0 |        0
1647.89/1648.40	c 1648s |      26 | 13346284 | 10141452 |     6420   3695 |        0 |        0
1649.89/1650.41	c 1650s |      26 | 13358506 | 10150952 |     6420   3697 |        0 |        0
1651.89/1652.41	c 1652s |      26 | 13373528 | 10162252 |     6420   3701 |        0 |        0
1653.90/1654.42	c 1654s |      26 | 13389560 | 10173752 |     6420   3704 |        0 |        0
1655.89/1656.42	c 1656s |      26 | 13404156 | 10184152 |     6420   3707 |        0 |        0
1657.89/1658.42	c 1658s |      26 | 13420835 | 10196552 |     6420   3711 |        0 |        0
1659.89/1660.44	c 1660s |      26 | 13433819 | 10206752 |     6420   3714 |        0 |        0
1661.89/1662.44	c 1662s |      26 | 13447386 | 10216952 |     6420   3717 |        0 |        0
1663.90/1664.45	c 1664s |      26 | 13463096 | 10228852 |     6420   3720 |        0 |        0
1665.90/1666.45	c 1666s |      26 | 13480885 | 10242452 |     6420   3724 |        0 |        0
1667.90/1668.46	c 1668s |      26 | 13494525 | 10253152 |     6420   3728 |        0 |        0
1669.89/1670.47	c 1670s |      26 | 13514374 | 10267852 |     6420   3732 |        0 |        0
1671.89/1672.47	c 1672s |      26 | 13526994 | 10277852 |     6420   3735 |        0 |        0
1673.89/1674.48	c 1674s |      26 | 13547047 | 10292752 |     6420   3739 |        0 |        0
1675.90/1676.49	c 1676s |      26 | 13565408 | 10305952 |     6420   3743 |        0 |        0
1677.99/1678.51	c 1678s |      26 | 13587568 | 10321952 |     6420   3748 |        0 |        0
1679.99/1680.52	c 1680s |      26 | 13603638 | 10334052 |     6420   3751 |        0 |        0
1681.99/1682.53	c 1682s |      26 | 13619201 | 10345852 |     6420   3754 |        0 |        0
1683.99/1684.54	c 1684s |      26 | 13639715 | 10360252 |     6420   3759 |        0 |        0
1685.99/1686.54	c 1686s |      26 | 13653805 | 10371352 |     6420   3762 |        0 |        0
1688.00/1688.54	c 1688s |      26 | 13671314 | 10384752 |     6420   3766 |        0 |        0
1689.99/1690.54	c 1690s |      26 | 13687311 | 10397452 |     6420   3770 |        0 |        0
1691.99/1692.55	c 1692s |      26 | 13701511 | 10408552 |     6420   3773 |        0 |        0
1693.99/1694.57	c 1694s |      26 | 13716116 | 10419452 |     6420   3776 |        0 |        0
1696.09/1696.60	c 1696s |      26 | 13732589 | 10432352 |     6420   3780 |        0 |        0
1698.09/1698.60	c 1698s |      26 | 13752933 | 10446852 |     6420   3784 |        0 |        0
1700.09/1700.61	c 1700s |      26 | 13774253 | 10462252 |     6420   3788 |        0 |        0
1702.09/1702.62	c 1702s |      26 | 13793853 | 10476752 |     6420   3793 |        0 |        0
1704.09/1704.62	c 1704s |      26 | 13813261 | 10490552 |     6420   3797 |        0 |        0
1706.09/1706.67	c 1706s |      26 | 13827288 | 10500852 |     6420   3800 |        0 |        0
1708.09/1708.67	c 1708s |      26 | 13841110 | 10511552 |     6420   3803 |        0 |        0
1710.09/1710.67	c 1710s |      26 | 13857453 | 10524452 |     6420   3807 |        0 |        0
1712.08/1712.70	c 1712s |      26 | 13869986 | 10534152 |     6420   3810 |        0 |        0
1714.18/1714.71	c 1714s |      26 | 13884202 | 10545152 |     6420   3813 |        0 |        0
1716.18/1716.72	c 1716s |      26 | 13900552 | 10557052 |     6420   3816 |        0 |        0
1718.18/1718.73	c 1718s |      26 | 13917064 | 10569152 |     6420   3820 |        0 |        0
1720.18/1720.74	c 1720s |      26 | 13933894 | 10581152 |     6420   3823 |        0 |        0
1722.19/1722.75	c 1722s |      26 | 13948621 | 10592652 |     6420   3826 |        0 |        0
1724.18/1724.76	c 1724s |      26 | 13957554 | 10599752 |     6420   3829 |        0 |        0
1726.18/1726.77	c 1726s |      26 | 13973612 | 10612352 |     6420   3832 |        0 |        0
1728.18/1728.78	c 1728s |      26 | 13987826 | 10623352 |     6420   3835 |        0 |        0
1730.18/1730.78	c 1730s |      26 | 14004387 | 10635852 |     6420   3839 |        0 |        0
1732.28/1732.80	c 1732s |      26 | 14017263 | 10645452 |     6420   3842 |        0 |        0
1734.28/1734.81	c 1734s |      26 | 14030264 | 10655452 |     6420   3845 |        0 |        0
1736.28/1736.82	c 1736s |      26 | 14046057 | 10667252 |     6420   3848 |        0 |        0
1738.28/1738.83	c 1738s |      26 | 14060897 | 10678652 |     6420   3852 |        0 |        0
1740.28/1740.84	c 1740s |      26 | 14078888 | 10692052 |     6420   3856 |        0 |        0
1742.28/1742.85	c 1742s |      26 | 14096134 | 10705352 |     6420   3860 |        0 |        0
1744.27/1744.86	c 1744s |      26 | 14117599 | 10720352 |     6420   3864 |        0 |        0
1746.28/1746.86	c 1746s |      26 | 14131919 | 10731152 |     6420   3867 |        0 |        0
1748.27/1748.87	c 1748s |      26 | 14145890 | 10741852 |     6420   3870 |        0 |        0
1750.38/1750.93	c 1750s |      26 | 14155364 | 10749752 |     6420   3873 |        0 |        0
1752.38/1752.94	c 1752s |      26 | 14164416 | 10757452 |     6420   3875 |        0 |        0
1754.38/1754.97	c 1754s |      26 | 14173127 | 10764752 |     6420   3877 |        0 |        0
1756.38/1756.97	c 1756s |      26 | 14184123 | 10773652 |     6420   3879 |        0 |        0
1758.39/1758.97	c 1758s |      26 | 14195378 | 10782852 |     6420   3882 |        0 |        0
1760.38/1760.98	c 1760s |      26 | 14207183 | 10792252 |     6420   3885 |        0 |        0
1762.38/1762.99	c 1762s |      26 | 14219895 | 10801852 |     6420   3888 |        0 |        0
1764.48/1765.01	c 1764s |      26 | 14232168 | 10811752 |     6420   3891 |        0 |        0
1766.48/1767.01	c 1766s |      26 | 14246050 | 10822352 |     6420   3894 |        0 |        0
1768.58/1769.12	c 1769s |      26 | 14258948 | 10832252 |     6420   3897 |        0 |        0
1770.58/1771.13	c 1771s |      26 | 14275926 | 10844552 |     6420   3900 |        0 |        0
1772.57/1773.13	c 1773s |      26 | 14288502 | 10854852 |     6420   3903 |        0 |        0
1774.57/1775.14	c 1775s |      26 | 14304586 | 10866852 |     6420   3907 |        0 |        0
1776.57/1777.14	c 1777s |      26 | 14324777 | 10881952 |     6420   3911 |        0 |        0
1778.57/1779.14	c 1779s |      26 | 14338447 | 10892252 |     6420   3914 |        0 |        0
1780.57/1781.15	c 1781s |      26 | 14350443 | 10901552 |     6420   3917 |        0 |        0
1782.58/1783.17	c 1783s |      26 | 14362899 | 10911552 |     6420   3920 |        0 |        0
1784.57/1785.19	c 1785s |      26 | 14375881 | 10921952 |     6420   3923 |        0 |        0
1786.67/1787.20	c 1787s |      26 | 14386613 | 10930652 |     6420   3925 |        0 |        0
1788.67/1789.21	c 1789s |      26 | 14399255 | 10940952 |     6420   3928 |        0 |        0
1790.67/1791.22	c 1791s |      26 | 14408243 | 10948552 |     6420   3931 |        0 |        0
1792.67/1793.22	c 1793s |      26 | 14424222 | 10961452 |     6420   3934 |        0 |        0
1794.67/1795.23	c 1795s |      26 | 14440514 | 10973552 |     6420   3938 |        0 |        0
1796.67/1797.24	c 1797s |      26 | 14456712 | 10985852 |     6420   3941 |        0 |        0
1798.67/1799.25	c 1799s |      26 | 14471760 | 10997152 |     6420   3945 |        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-4088763-1466015165/watcher-4088763-1466015165 -o /tmp/evaluation-result-4088763-1466015165/solver-4088763-1466015165 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088763-1466015165.opb 

pid=6812
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.15 2.11 2.09 3/179 6815
/proc/meminfo: memFree=30417868/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 2778 0 0 0 0 0 0 0 20 0 4 0 3561925 760672256 2627 33554432000 4194304 16246674 140735291056400 140735291055824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 186479 2635 441 2943 0 183373 0
[pid=6815/tid=6816] ppid=6812 vsize=760252 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 778498048 2695 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 783740928 2713 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3561925 787935232 2729 33554432000 4194304 16246674 140735291056400 140374612888752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.15 2.11 2.09 3/179 6815
/proc/meminfo: memFree=30417868/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 24178 0 0 0 6 3 0 0 20 0 4 0 3561925 1247350784 24017 33554432000 4194304 16246674 140735291056400 140735291055824 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 304529 24028 709 2943 0 301423 0
[pid=6815/tid=6816] ppid=6812 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1247350784 24036 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1247350784 24042 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3561925 1247350784 24049 33554432000 4194304 16246674 140735291056400 140374612888752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20058 s]
/proc/loadavg: 2.15 2.11 2.09 3/179 6815
/proc/meminfo: memFree=30417868/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 45744 0 0 0 12 7 0 0 20 0 4 0 3561925 1247350784 45582 33554432000 4194304 16246674 140735291056400 140735291055824 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 304529 45593 716 2943 0 301423 0
[pid=6815/tid=6816] ppid=6812 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1247350784 45599 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1247350784 45605 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3561925 1247350784 45611 33554432000 4194304 16246674 140735291056400 140374612888752 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.300529 s]
/proc/loadavg: 2.15 2.11 2.09 3/179 6815
/proc/meminfo: memFree=30417868/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 67033 0 0 0 19 10 0 0 20 0 4 0 3561925 1247350784 66871 33554432000 4194304 16246674 140735291056400 140735291055824 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 304529 66882 716 2943 0 301423 0
[pid=6815/tid=6816] ppid=6812 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1247350784 66887 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1247350784 66893 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3561925 1247350784 66902 33554432000 4194304 16246674 140735291056400 140374612888752 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.700414 s]
/proc/loadavg: 2.15 2.11 2.09 3/179 6815
/proc/meminfo: memFree=30417868/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 149865 0 0 0 50 19 0 0 20 0 4 0 3561925 1247350784 149703 33554432000 4194304 16246674 140735291056400 140735291039400 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 304529 149712 717 2943 0 301423 0
[pid=6815/tid=6816] ppid=6812 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1247350784 149720 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1247350784 149726 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3561925 1247350784 149731 33554432000 4194304 16246674 140735291056400 140374612888752 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.50044 s]
/proc/loadavg: 2.15 2.11 2.09 3/183 6819
/proc/meminfo: memFree=29495772/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1222212 CPUtime=1.49 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 246435 0 0 0 118 31 0 0 20 0 4 0 3561925 1251545088 246253 33554432000 4194304 16246674 140735291056400 140735291038272 5673627 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 305553 246253 791 2943 0 302447 0
[pid=6815/tid=6816] ppid=6812 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1251545088 246253 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1251545088 246253 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1251545088 246253 33554432000 4194304 16246674 140735291056400 140374612888752 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) 1222212

[startup+3.10043 s]
/proc/loadavg: 2.15 2.11 2.09 3/183 6819
/proc/meminfo: memFree=29361728/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1302084 CPUtime=3.09 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 266318 0 0 0 275 34 0 0 20 0 4 0 3561925 1333334016 266136 33554432000 4194304 16246674 140735291056400 140735291039400 5823408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 325521 266136 791 2943 0 322415 0
[pid=6815/tid=6816] ppid=6812 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1333334016 266136 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1333334016 266136 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1333334016 266136 33554432000 4194304 16246674 140735291056400 140374612888752 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) 1302084

[startup+6.30044 s]
/proc/loadavg: 2.14 2.11 2.09 3/183 6819
/proc/meminfo: memFree=29345172/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 268600 0 0 0 595 34 0 0 20 0 4 0 3561925 1341722624 268418 33554432000 4194304 16246674 140735291056400 140735291039400 13965544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 327569 268418 791 2943 0 324463 0
[pid=6815/tid=6816] ppid=6812 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1341722624 268418 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1341722624 268418 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1341722624 268418 33554432000 4194304 16246674 140735291056400 140374612888752 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) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.13 2.11 2.09 3/183 6819
/proc/meminfo: memFree=29344432/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 268600 0 0 0 1235 34 0 0 20 0 4 0 3561925 1341722624 268418 33554432000 4194304 16246674 140735291056400 140735291039400 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 327569 268418 791 2943 0 324463 0
[pid=6815/tid=6816] ppid=6812 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1341722624 268418 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1341722624 268418 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1341722624 268418 33554432000 4194304 16246674 140735291056400 140374612888752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.18 2.12 2.09 3/183 6819
/proc/meminfo: memFree=29343232/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 269113 0 0 0 2514 35 0 0 20 0 4 0 3561925 1343819776 268931 33554432000 4194304 16246674 140735291056400 140735291039400 5553752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 328081 268931 792 2943 0 324975 0
[pid=6815/tid=6816] ppid=6812 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1343819776 268931 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1343819776 268931 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1343819776 268931 33554432000 4194304 16246674 140735291056400 140374612888752 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) 1312324

[startup+51.1006 s]
/proc/loadavg: 2.18 2.12 2.10 4/183 6819
/proc/meminfo: memFree=29341964/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 269372 0 0 0 5073 35 0 0 20 0 4 0 3561925 1344868352 269189 33554432000 4194304 16246674 140735291056400 140735291039400 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 328337 269189 794 2943 0 325231 0
[pid=6815/tid=6816] ppid=6812 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1344868352 269189 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1344868352 269189 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1344868352 269189 33554432000 4194304 16246674 140735291056400 140374612888752 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) 1313348

[startup+102.301 s]
/proc/loadavg: 2.18 2.13 2.10 3/183 6820
/proc/meminfo: memFree=29335604/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1319492 CPUtime=102.27 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 270920 0 0 0 10191 36 0 0 20 0 4 0 3561925 1351159808 270726 33554432000 4194304 16246674 140735291056400 140735291039400 5823709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 329873 270726 795 2943 0 326767 0
[pid=6815/tid=6816] ppid=6812 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1351159808 270726 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1351159808 270726 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1351159808 270726 33554432000 4194304 16246674 140735291056400 140374612888752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1319492


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

/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374612888752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1336900

[startup+1302.3 s]
/proc/loadavg: 2.18 2.15 2.10 3/183 6949
/proc/meminfo: memFree=29310888/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1336900 CPUtime=1301.85 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 275649 0 0 0 130128 57 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140735291038272 5822722 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 334225 275078 795 2943 0 331119 0
[pid=6815/tid=6816] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374612888752 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) 1336900

[startup+1362.3 s]
/proc/loadavg: 2.06 2.12 2.09 3/183 6950
/proc/meminfo: memFree=29310532/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1336900 CPUtime=1361.83 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 275649 0 0 0 136126 57 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140735291039400 5676656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 334225 275078 795 2943 0 331119 0
[pid=6815/tid=6816] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374612888752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 6951
/proc/meminfo: memFree=29310416/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1336900 CPUtime=1421.84 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 275649 0 0 0 142125 59 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140735291038272 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 334225 275078 795 2943 0 331119 0
[pid=6815/tid=6816] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374612888752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.20 2.14 2.10 3/184 6955
/proc/meminfo: memFree=29287776/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1336900 CPUtime=1481.82 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 275649 0 0 0 148122 60 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140735291039400 5722381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 334225 275078 795 2943 0 331119 0
[pid=6815/tid=6816] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374612888752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.11 2.13 2.09 3/183 6957
/proc/meminfo: memFree=29287764/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1336900 CPUtime=1541.82 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 275649 0 0 0 154121 61 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140735291038272 5673315 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 334225 275078 795 2943 0 331119 0
[pid=6815/tid=6816] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374612888752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.20 2.15 2.10 3/183 6958
/proc/meminfo: memFree=29287372/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1336900 CPUtime=1601.8 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 275649 0 0 0 160118 62 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140735291039400 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 334225 275078 795 2943 0 331119 0
[pid=6815/tid=6816] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374612888752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.11 2.13 2.09 3/183 6959
/proc/meminfo: memFree=29199932/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1336900 CPUtime=1661.79 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 275649 0 0 0 166116 63 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140735291039400 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 334225 275078 795 2943 0 331119 0
[pid=6815/tid=6816] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374612888752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.24 2.17 2.10 3/183 6960
/proc/meminfo: memFree=29199672/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1336900 CPUtime=1721.78 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 275649 0 0 0 172114 64 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140735291038272 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 334225 275078 795 2943 0 331119 0
[pid=6815/tid=6816] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275078 33554432000 4194304 16246674 140735291056400 140374612888752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.21 2.18 2.10 3/183 6961
/proc/meminfo: memFree=29198004/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1336900 CPUtime=1781.77 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 275650 0 0 0 178112 65 0 0 20 0 4 0 3561925 1368985600 275334 33554432000 4194304 16246674 140735291056400 140735291038272 5808128 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 334225 275334 795 2943 0 331119 0
[pid=6815/tid=6816] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275334 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275334 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275334 33554432000 4194304 16246674 140735291056400 140374612888752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.22 2.18 2.11 3/183 6961
/proc/meminfo: memFree=29198008/32872528 swapFree=496356/529060
[pid=6815] ppid=6812 vsize=1336900 CPUtime=1800.07 cores=1,3,5,7
/proc/6815/stat : 6815 (toysat) R 6812 6815 5955 0 -1 4202496 275650 0 0 0 179942 65 0 0 20 0 4 0 3561925 1368985600 275334 33554432000 4194304 16246674 140735291056400 140735291039400 5545840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6815/statm: 334225 275334 795 2943 0 331119 0
[pid=6815/tid=6816] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6816/stat : 6816 (toysat) S 6812 6815 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275334 33554432000 4194304 16246674 140735291056400 140374633852144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6815/tid=6817] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6817/stat : 6817 (toysat) S 6812 6815 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275334 33554432000 4194304 16246674 140735291056400 140374623362288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6815/tid=6818] ppid=6812 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6815/task/6818/stat : 6818 (toysat) S 6812 6815 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3561925 1368985600 275334 33554432000 4194304 16246674 140735291056400 140374612888752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1336900

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.43
CPU system time (s): 0.657899
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.657899
maximum resident set size= 1101336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275650
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= 403
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.19775 second user time and 20.2289 second system time

The end

Begin job on node141 at 2016-06-15 20:26:05
IDJOB=4088763
IDBENCH=107310
IDSOLVER=2542
FILE ID=node141/4088763-1466015165
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088763-1466015165/watcher-4088763-1466015165 -o /tmp/evaluation-result-4088763-1466015165/solver-4088763-1466015165 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088763-1466015165.opb

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

MD5SUM BENCH= 15d584fee2de01a20a1ad5b7c23eed53
RANDOM SEED=1264382649

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30418412 kB
Buffers:           13056 kB
Cached:            71916 kB
SwapCached:        13072 kB
Active:          1186604 kB
Inactive:          37760 kB
Active(anon):    1129740 kB
Inactive(anon):    12008 kB
Active(file):      56864 kB
Inactive(file):    25752 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       1656256 kB
Mapped:            10320 kB
Shmem:                 0 kB
Slab:             566100 kB
SReclaimable:      10036 kB
SUnreclaim:       556064 kB
KernelStack:        1520 kB
PageTables:         7188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1798012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1153024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node141 at 2016-06-15 20:56:06