0.00/0.00	c 2016-06-18T22:02:04+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-4106943-1466280124.opb"]
0.00/0.01	c use --random-gen="3227962188 1427150519 2216078056 1870291285 4266044811 1127655977 1296917572 3028689798 1474146713 3253828077 265589235 2156266084 2294069422 2435645923 1161147922 878454823 775759212 1609630700 3669641020 764405135 1212667940 3708514431 3121506170 57960035 3790366327 943776931 1483989235 304748060 57436229 1467930911 872421530 402933470 2271205164 4100250331 1718865731 1212008280 3536795437 2323605856 1580771030 2652982988 2822633972 3947954739 3743529960 2157494024 2536107008 119217029 2851615535 1161156896 4250851224 2874973126 2000410616 3865744124 4150360035 748838918 21446241 948274792 1600928341 1912326768 1982361062 424621633 1524559612 1487703270 4285542313 2958261583 860614846 3427583904 384296747 1149133811 2912113803 708145264 2546105408 2173587913 936480610 168903296 1245367236 2743785138 3520087106 7025954 3847116513 1454977546 1034695833 4038947497 3263136656 4010168929 903361037 2369668400 2069805333 153440481 2776446882 3129938596 3372565475 3485432947 3458905292 2186377982 3096356196 2159652633 3096564217 4099139025 4293005655 144782136 1285960204 3577145808 3149203621 1152372256 4231134834 703450994 1908782667 4229053891 3080554412 1923100839 248839487 712452319 3800832270 2202747564 596314105 524535890 1065589901 4258576692 2106205173 3364367844 638536268 2332476648 1531025838 414082231 1674407323 352399453 2174015320 582924338 1344727266 3823107592 1603854231 2536740301 3519363429 624147414 1200935781 1811335450 2917891323 2594285184 3341429879 3753948647 83004794 1566113107 2002520621 1999180083 1778323928 2903831291 3225455088 3410703095 4108695262 2595496757 3877940159 1770527500 2890360705 3294650689 673331321 319938456 762248371 2717253284 3340826644 1447049606 705573570 169283470 3675418418 2184089463 2358498753 2257167229 1227293014 2815358462 607264322 1531713622 3559562738 3631687943 312607402 2313090517 2531483281 2410556221 1275927629 3626881373 2164195781 1972817017 3571938732 981059417 1177740456 3260812339 781077222 2307210452 3293269666 530869424 1996017418 1223276628 3539269990 1689827768 273185873 3155879825 1783190089 1411972453 1319066835 3058077500 1734111854 4021504497 3134560127 2050445000 3907703744 2815233482 3861895541 2010869288 2025395413 3535687160 1580197541 1884823698 1481076589 1175612585 369940179 1081606675 3608820353 3497511508 3240445823 2322537664 1631444716 2022486398 1060352922 2812700978 3597924917 2395915041 1310088686 3399635627 3305330450 3888464576 781129355 3627616673 412529113 215376559 3948131049 2705604386 912107995 2063373425 4044102003 3484110522 2285864784 3395023456 1732855560 893093608 647042281 3225445768 708917837 2949169373 467961080 1377331539 3602934339 3406125061 961895485 3721357116 246223544 3967212144 664825937 2845366287 255 362436" option to reproduce the execution
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 302
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     2209      0 |        0 |        0
0.09/0.15	c  0.1s |       1 |      218 |      100 |     2209      0 |        0 |        0
0.09/0.20	c  0.1s |       2 |     4009 |      250 |     2430      0 |        0 |        0
0.29/0.32	c  0.2s |       3 |     7695 |      475 |     2673      0 |        0 |        0
0.49/0.51	c  0.4s |       4 |     9600 |      813 |     2941      0 |        0 |        0
0.79/0.80	c  0.7s |       5 |    15699 |     1320 |     3236      0 |        0 |        0
1.09/1.20	c  1.1s |       6 |    24972 |     2081 |     3917      0 |        0 |        0
1.59/1.67	c  1.6s |       7 |    32388 |     3223 |     4309      0 |        0 |        0
2.38/2.47	c  2.4s |       8 |    57689 |     4936 |     4740      1 |        0 |        0
3.59/3.67	c  3.6s |       9 |    90810 |     7506 |     5214      2 |        0 |        0
5.29/5.39	c  5.3s |      10 |   132895 |    11361 |     5736      3 |        0 |        0
7.38/7.42	c  7.3s |      10 |   175319 |    16161 |     5736      4 |        0 |        0
7.78/7.82	c  7.7s |      11 |   181604 |    17144 |     6310      5 |        0 |        0
9.78/9.84	c  9.7s |      11 |   214258 |    21244 |     6310      6 |        0 |        0
11.78/11.83	c 11.7s |      12 |   242696 |    25819 |     6942      7 |        0 |        0
13.78/13.87	c 13.8s |      12 |   277382 |    29819 |     6942      8 |        0 |        0
15.78/15.88	c 15.8s |      12 |   299700 |    34119 |     6942     10 |        0 |        0
17.89/17.91	c 17.8s |      12 |   325686 |    38419 |     6942     11 |        0 |        0
18.08/18.10	c 18.0s |      13 |   328237 |    38832 |     7637     11 |        0 |        0
20.09/20.14	c 20.0s |      13 |   347694 |    42732 |     7637     12 |        0 |        0
22.08/22.16	c 22.1s |      13 |   366969 |    46832 |     7637     13 |        0 |        0
24.18/24.21	c 24.1s |      13 |   377571 |    50332 |     7637     14 |        0 |        0
26.18/26.25	c 26.1s |      13 |   397754 |    54532 |     7637     15 |        0 |        0
28.18/28.27	c 28.2s |      13 |   408981 |    58132 |     8401     16 |        0 |        0
28.28/28.39	c 28.3s |      14 |   410018 |    58352 |     8401     16 |        0 |        0
30.28/30.39	c 30.3s |      14 |   440024 |    62052 |     8401     16 |        0 |        0
32.38/32.43	c 32.3s |      14 |   469913 |    66052 |     8401     17 |        0 |        0
34.39/34.46	c 34.4s |      14 |   492758 |    69952 |     8401     18 |        0 |        0
36.38/36.49	c 36.4s |      14 |   505102 |    73752 |     8401     19 |        0 |        0
38.48/38.55	c 38.4s |      14 |   510899 |    76752 |     8401     20 |        0 |        0
40.48/40.56	c 40.5s |      14 |   532956 |    80052 |     8401     21 |        0 |        0
42.58/42.69	c 42.6s |      14 |   558155 |    84052 |     8401     22 |        0 |        0
44.58/44.68	c 44.6s |      15 |   570380 |    87632 |     9242     22 |        0 |        0
46.58/46.69	c 46.6s |      15 |   592941 |    90632 |     9242     23 |        0 |        0
48.59/48.70	c 48.6s |      15 |   601425 |    94032 |     9242     24 |        0 |        0
50.68/50.72	c 50.6s |      15 |   605222 |    97532 |     9242     24 |        0 |        0
52.68/52.75	c 52.6s |      15 |   609900 |   100932 |     9242     25 |        0 |        0
54.68/54.79	c 54.7s |      15 |   613381 |   103732 |     9242     26 |        0 |        0
56.78/56.81	c 56.7s |      15 |   616770 |   106932 |     9242     26 |        0 |        0
58.97/59.07	c 59.0s |      15 |   619219 |   109232 |     9242     27 |        0 |        0
61.07/61.10	c 61.0s |      15 |   623143 |   112732 |     9242     28 |        0 |        0
63.07/63.12	c 63.0s |      15 |   626229 |   115532 |     9242     28 |        0 |        0
65.08/65.14	c 65.0s |      15 |   629559 |   118732 |     9242     29 |        0 |        0
67.07/67.16	c 67.1s |      15 |   633162 |   122032 |     9242     29 |        0 |        0
69.18/69.20	c 69.1s |      15 |   637574 |   124632 |     9242     30 |        0 |        0
71.17/71.23	c 71.1s |      15 |   648720 |   128232 |     9242     31 |        0 |        0
73.07/73.12	c 73.0s |      16 |   661423 |   131552 |    10167     31 |        0 |        0
75.08/75.17	c 75.1s |      16 |   681123 |   134552 |    10167     32 |        0 |        0
77.18/77.25	c 77.2s |      16 |   692543 |   138152 |    10167     33 |        0 |        0
79.27/79.31	c 79.2s |      16 |   714710 |   140952 |    10167     33 |        0 |        0
81.27/81.32	c 81.2s |      16 |   732618 |   144152 |    10167     34 |        0 |        0
83.27/83.36	c 83.3s |      16 |   761801 |   148052 |    10167     34 |        0 |        0
85.27/85.37	c 85.3s |      16 |   774962 |   151052 |    10167     35 |        0 |        0
87.27/87.38	c 87.3s |      16 |   784359 |   153752 |    10167     36 |        0 |        0
89.27/89.40	c 89.3s |      16 |   800544 |   157052 |    10167     36 |        0 |        0
91.37/91.43	c 91.3s |      16 |   807434 |   159452 |    10167     37 |        0 |        0
93.37/93.47	c 93.4s |      16 |   823033 |   163152 |    10167     37 |        0 |        0
95.37/95.48	c 95.4s |      16 |   844518 |   165852 |    10167     38 |        0 |        0
97.47/97.51	c 97.4s |      16 |   864288 |   169752 |    10167     39 |        0 |        0
99.47/99.55	c 99.4s |      16 |   882162 |   173752 |    10167     39 |        0 |        0
101.48/101.59	c  101s |      16 |   895330 |   177152 |    10167     40 |        0 |        0
103.58/103.63	c  103s |      16 |   909838 |   180952 |    10167     41 |        0 |        0
105.57/105.66	c  105s |      16 |   918674 |   183752 |    10167     41 |        0 |        0
107.57/107.68	c  107s |      16 |   927342 |   186852 |    10167     42 |        0 |        0
109.67/109.71	c  109s |      16 |   938682 |   190652 |    10167     43 |        0 |        0
111.67/111.72	c  111s |      16 |   945102 |   194452 |    10167     43 |        0 |        0
113.77/113.84	c  113s |      16 |   961588 |   197352 |    11184     44 |        0 |        0
113.77/113.88	c  113s |      17 |   962442 |   197432 |    11184     44 |        0 |        0
115.78/115.88	c  115s |      17 |   985048 |   200432 |    11184     44 |        0 |        0
117.87/117.91	c  117s |      17 |  1006293 |   203932 |    11184     45 |        0 |        0
119.87/119.95	c  119s |      17 |  1030457 |   207532 |    11184     46 |        0 |        0
122.27/122.30	c  122s |      17 |  1038961 |   210732 |    11184     46 |        0 |        0
124.27/124.36	c  124s |      17 |  1062689 |   214432 |    11184     47 |        0 |        0
126.36/126.40	c  126s |      17 |  1074480 |   218032 |    11184     47 |        0 |        0
128.36/128.42	c  128s |      17 |  1096162 |   221432 |    11184     48 |        0 |        0
130.36/130.48	c  130s |      17 |  1109168 |   224932 |    11184     49 |        0 |        0
132.36/132.49	c  132s |      17 |  1117641 |   227832 |    11184     49 |        0 |        0
134.47/134.52	c  134s |      17 |  1125416 |   230432 |    11184     50 |        0 |        0
136.46/136.55	c  136s |      17 |  1136912 |   234032 |    11184     50 |        0 |        0
138.66/138.72	c  138s |      17 |  1142318 |   236332 |    11184     51 |        0 |        0
140.66/140.76	c  140s |      17 |  1165668 |   240032 |    11184     51 |        0 |        0
142.66/142.78	c  142s |      17 |  1186563 |   243932 |    11184     52 |        0 |        0
144.76/144.83	c  144s |      17 |  1203975 |   247132 |    11184     53 |        0 |        0
146.76/146.85	c  146s |      17 |  1222892 |   250932 |    11184     53 |        0 |        0
148.77/148.87	c  148s |      17 |  1232440 |   254232 |    11184     54 |        0 |        0
150.76/150.90	c  150s |      17 |  1242994 |   257232 |    11184     54 |        0 |        0
152.86/152.91	c  152s |      17 |  1256153 |   260532 |    11184     55 |        0 |        0
154.86/154.93	c  154s |      17 |  1275411 |   263332 |    11184     55 |        0 |        0
156.86/156.98	c  156s |      17 |  1289909 |   266832 |    11184     56 |        0 |        0
158.96/159.02	c  158s |      17 |  1302606 |   270532 |    11184     57 |        0 |        0
160.96/161.04	c  160s |      17 |  1317124 |   273732 |    11184     57 |        0 |        0
162.96/163.06	c  162s |      17 |  1325173 |   276432 |    11184     58 |        0 |        0
165.06/165.14	c  165s |      17 |  1333064 |   279532 |    11184     58 |        0 |        0
167.05/167.15	c  167s |      17 |  1339231 |   282432 |    11184     59 |        0 |        0
169.05/169.15	c  169s |      17 |  1345259 |   285332 |    11184     59 |        0 |        0
171.06/171.19	c  171s |      17 |  1352547 |   288032 |    11184     60 |        0 |        0
173.46/173.55	c  173s |      17 |  1355333 |   289732 |    11184     60 |        0 |        0
175.46/175.58	c  175s |      17 |  1359379 |   292432 |    11184     61 |        0 |        0
177.46/177.52	c  177s |      18 |  1366672 |   296252 |    12303     61 |        0 |        0
179.47/179.58	c  179s |      18 |  1376915 |   299252 |    12303     62 |        0 |        0
181.56/181.60	c  181s |      18 |  1383515 |   302352 |    12303     62 |        0 |        0
183.56/183.68	c  183s |      18 |  1394310 |   305152 |    12303     62 |        0 |        0
185.66/185.70	c  185s |      18 |  1399459 |   307952 |    12303     63 |        0 |        0
187.66/187.73	c  187s |      18 |  1403896 |   310752 |    12303     63 |        0 |        0
189.76/189.80	c  189s |      18 |  1406526 |   312452 |    12303     64 |        0 |        0
191.76/191.86	c  191s |      18 |  1412189 |   315552 |    12303     64 |        0 |        0
193.86/193.91	c  193s |      18 |  1419201 |   318352 |    12303     65 |        0 |        0
195.86/195.93	c  195s |      18 |  1429761 |   320352 |    12303     65 |        0 |        0
197.85/197.97	c  197s |      18 |  1448263 |   323652 |    12303     65 |        0 |        0
199.85/199.97	c  199s |      18 |  1464977 |   327252 |    12303     66 |        0 |        0
201.85/201.98	c  201s |      18 |  1480097 |   330552 |    12303     67 |        0 |        0
203.95/204.00	c  203s |      18 |  1485852 |   333152 |    12303     67 |        0 |        0
205.96/206.02	c  205s |      18 |  1494369 |   336752 |    12303     67 |        0 |        0
207.95/208.06	c  207s |      18 |  1514577 |   339952 |    12303     68 |        0 |        0
209.95/210.07	c  209s |      18 |  1526009 |   342452 |    12303     68 |        0 |        0
211.95/212.08	c  211s |      18 |  1541546 |   345752 |    12303     69 |        0 |        0
214.05/214.11	c  214s |      18 |  1550990 |   349252 |    12303     69 |        0 |        0
216.05/216.13	c  216s |      18 |  1562106 |   352652 |    12303     70 |        0 |        0
218.06/218.19	c  218s |      18 |  1577300 |   355252 |    12303     70 |        0 |        0
220.16/220.22	c  220s |      18 |  1596697 |   358352 |    12303     71 |        0 |        0
222.15/222.26	c  222s |      18 |  1611454 |   361752 |    12303     71 |        0 |        0
224.15/224.27	c  224s |      18 |  1619885 |   364652 |    12303     72 |        0 |        0
226.15/226.28	c  226s |      18 |  1628857 |   367652 |    12303     72 |        0 |        0
228.15/228.28	c  228s |      18 |  1634385 |   370252 |    12303     73 |        0 |        0
230.15/230.28	c  230s |      18 |  1642430 |   372952 |    12303     73 |        0 |        0
232.14/232.29	c  232s |      18 |  1647605 |   375752 |    12303     74 |        0 |        0
234.24/234.30	c  234s |      18 |  1653620 |   378752 |    12303     74 |        0 |        0
236.65/236.77	c  236s |      18 |  1658664 |   381152 |    12303     75 |        0 |        0
238.65/238.78	c  238s |      18 |  1681698 |   384052 |    12303     75 |        0 |        0
240.65/240.79	c  240s |      18 |  1699559 |   387152 |    12303     76 |        0 |        0
242.75/242.81	c  242s |      18 |  1721460 |   390552 |    12303     76 |        0 |        0
244.75/244.84	c  244s |      18 |  1743694 |   394052 |    12303     77 |        0 |        0
246.85/246.90	c  246s |      18 |  1757916 |   397452 |    12303     77 |        0 |        0
248.86/248.97	c  248s |      18 |  1767822 |   400652 |    12303     78 |        0 |        0
250.96/251.03	c  250s |      18 |  1786673 |   403852 |    12303     78 |        0 |        0
252.95/253.08	c  252s |      18 |  1794186 |   406652 |    12303     79 |        0 |        0
254.95/255.09	c  254s |      18 |  1799185 |   408852 |    12303     79 |        0 |        0
257.05/257.15	c  257s |      18 |  1808545 |   412052 |    12303     79 |        0 |        0
259.05/259.18	c  259s |      18 |  1816648 |   415152 |    12303     80 |        0 |        0
261.55/261.68	c  261s |      18 |  1824254 |   418052 |    12303     80 |        0 |        0
263.55/263.69	c  263s |      18 |  1839019 |   421152 |    12303     81 |        0 |        0
265.65/265.71	c  265s |      18 |  1861994 |   424052 |    12303     81 |        0 |        0
267.65/267.74	c  267s |      18 |  1881796 |   427452 |    12303     82 |        0 |        0
269.65/269.80	c  269s |      18 |  1895884 |   430752 |    12303     82 |        0 |        0
271.75/271.85	c  271s |      18 |  1903687 |   433852 |    12303     83 |        0 |        0
273.85/273.90	c  273s |      18 |  1912662 |   436852 |    12303     83 |        0 |        0
275.84/275.93	c  275s |      18 |  1916218 |   438652 |    12303     84 |        0 |        0
277.84/277.96	c  277s |      18 |  1921033 |   441652 |    13534     84 |        0 |        0
279.94/280.03	c  279s |      18 |  1928458 |   444452 |    13534     84 |        0 |        0
279.94/280.05	c  279s |      19 |  1928488 |   444482 |    13534     84 |        0 |        0
282.44/282.52	c  282s |      19 |  1945394 |   445582 |    13534     85 |        0 |        0
284.44/284.53	c  284s |      19 |  1984377 |   449082 |    13534     85 |        0 |        0
286.44/286.55	c  286s |      19 |  2002216 |   452182 |    13534     86 |        0 |        0
288.45/288.57	c  288s |      19 |  2013413 |   455182 |    13534     86 |        0 |        0
290.44/290.58	c  290s |      19 |  2022551 |   458282 |    13534     86 |        0 |        0
292.54/292.63	c  292s |      19 |  2046301 |   460982 |    13534     87 |        0 |        0
294.54/294.66	c  294s |      19 |  2065098 |   464282 |    13534     87 |        0 |        0
296.64/296.73	c  296s |      19 |  2077652 |   467382 |    13534     88 |        0 |        0
298.64/298.75	c  298s |      19 |  2082919 |   469482 |    13534     88 |        0 |        0
300.64/300.79	c  300s |      19 |  2105408 |   472582 |    13534     89 |        0 |        0
302.75/302.84	c  302s |      19 |  2118555 |   475582 |    13534     89 |        0 |        0
304.74/304.89	c  304s |      19 |  2131504 |   478882 |    13534     89 |        0 |        0
306.94/307.04	c  306s |      19 |  2138271 |   481582 |    13534     90 |        0 |        0
308.94/309.05	c  308s |      19 |  2157334 |   484982 |    13534     90 |        0 |        0
310.94/311.10	c  310s |      19 |  2168229 |   487882 |    13534     91 |        0 |        0
313.04/313.11	c  313s |      19 |  2180051 |   490782 |    13534     91 |        0 |        0
315.14/315.21	c  315s |      19 |  2190688 |   493582 |    13534     92 |        0 |        0
317.13/317.24	c  317s |      19 |  2196085 |   496282 |    13534     92 |        0 |        0
319.14/319.29	c  319s |      19 |  2203209 |   498882 |    13534     92 |        0 |        0
321.23/321.34	c  321s |      19 |  2206686 |   501182 |    13534     93 |        0 |        0
323.43/323.53	c  323s |      19 |  2212792 |   502782 |    13534     93 |        0 |        0
325.43/325.55	c  325s |      19 |  2224396 |   504282 |    13534     93 |        0 |        0
327.43/327.57	c  327s |      19 |  2238982 |   507082 |    13534     94 |        0 |        0
329.53/329.62	c  329s |      19 |  2247867 |   510182 |    13534     94 |        0 |        0
331.53/331.68	c  331s |      19 |  2258833 |   512982 |    13534     94 |        0 |        0
333.54/333.68	c  333s |      19 |  2265470 |   515582 |    13534     95 |        0 |        0
335.64/335.74	c  335s |      19 |  2271789 |   518382 |    13534     95 |        0 |        0
337.63/337.77	c  337s |      19 |  2277785 |   520882 |    13534     96 |        0 |        0
340.84/340.92	c  340s |      19 |  2287079 |   523682 |    13534     96 |        0 |        0
342.84/342.94	c  342s |      19 |  2304024 |   526682 |    13534     96 |        0 |        0
344.84/344.95	c  344s |      19 |  2310930 |   529482 |    13534     97 |        0 |        0
346.84/346.96	c  346s |      19 |  2318273 |   532182 |    13534     97 |        0 |        0
348.84/348.99	c  348s |      19 |  2326652 |   534582 |    13534     98 |        0 |        0
350.93/351.06	c  350s |      19 |  2341376 |   537782 |    13534     98 |        0 |        0
352.93/353.06	c  352s |      19 |  2348076 |   540582 |    13534     98 |        0 |        0
354.93/355.07	c  354s |      19 |  2357524 |   543382 |    13534     99 |        0 |        0
357.03/357.14	c  357s |      19 |  2367429 |   546482 |    13534     99 |        0 |        0
359.03/359.17	c  359s |      19 |  2373340 |   549382 |    13534    100 |        0 |        0
361.04/361.17	c  361s |      19 |  2379534 |   552482 |    13534    100 |        0 |        0
363.14/363.21	c  363s |      19 |  2384484 |   555482 |    13534    101 |        0 |        0
365.13/365.21	c  365s |      19 |  2389532 |   558382 |    13534    101 |        0 |        0
367.13/367.24	c  367s |      19 |  2392889 |   561082 |    13534    101 |        0 |        0
369.13/369.25	c  369s |      19 |  2398790 |   562782 |    13534    102 |        0 |        0
371.23/371.31	c  371s |      19 |  2410558 |   565982 |    13534    102 |        0 |        0
373.33/373.40	c  373s |      19 |  2420028 |   568582 |    13534    102 |        0 |        0
375.34/375.45	c  375s |      19 |  2427478 |   570982 |    13534    103 |        0 |        0
377.33/377.47	c  377s |      19 |  2432593 |   573682 |    13534    103 |        0 |        0
379.63/379.79	c  379s |      19 |  2434622 |   574282 |    13534    103 |        0 |        0
381.93/382.06	c  381s |      19 |  2439171 |   574682 |    13534    103 |        0 |        0
383.92/384.07	c  383s |      19 |  2451034 |   577482 |    13534    104 |        0 |        0
385.92/386.09	c  385s |      19 |  2465190 |   580882 |    13534    104 |        0 |        0
388.03/388.10	c  388s |      19 |  2476975 |   582982 |    13534    105 |        0 |        0
390.03/390.15	c  390s |      19 |  2497615 |   586182 |    13534    105 |        0 |        0
392.03/392.18	c  392s |      19 |  2520595 |   589282 |    13534    105 |        0 |        0
394.04/394.19	c  394s |      19 |  2532567 |   591582 |    13534    106 |        0 |        0
396.14/396.22	c  396s |      19 |  2557715 |   595182 |    13534    106 |        0 |        0
398.13/398.26	c  398s |      19 |  2576910 |   597782 |    13534    107 |        0 |        0
400.13/400.26	c  400s |      19 |  2598279 |   601282 |    13534    107 |        0 |        0
402.23/402.32	c  402s |      19 |  2605933 |   603382 |    13534    108 |        0 |        0
404.23/404.37	c  404s |      19 |  2643614 |   607482 |    13534    108 |        0 |        0
406.23/406.39	c  406s |      19 |  2665940 |   610482 |    13534    109 |        0 |        0
408.23/408.40	c  408s |      19 |  2695090 |   613182 |    13534    109 |        0 |        0
410.32/410.45	c  410s |      19 |  2713500 |   616382 |    13534    109 |        0 |        0
412.32/412.47	c  412s |      19 |  2727768 |   619582 |    13534    110 |        0 |        0
414.62/414.80	c  414s |      19 |  2741123 |   622382 |    13534    110 |        0 |        0
416.72/416.85	c  416s |      19 |  2756921 |   625782 |    13534    111 |        0 |        0
418.72/418.87	c  418s |      19 |  2766910 |   628982 |    13534    111 |        0 |        0
420.72/420.87	c  420s |      19 |  2780758 |   631282 |    13534    112 |        0 |        0
422.82/422.90	c  422s |      19 |  2785996 |   634482 |    13534    112 |        0 |        0
424.83/424.93	c  424s |      19 |  2794588 |   637682 |    13534    112 |        0 |        0
426.82/426.97	c  426s |      19 |  2801596 |   640682 |    13534    113 |        0 |        0
428.91/429.05	c  428s |      19 |  2807022 |   643482 |    13534    113 |        0 |        0
430.91/431.06	c  430s |      19 |  2811519 |   646282 |    13534    114 |        0 |        0
432.91/433.07	c  432s |      19 |  2815744 |   648482 |    13534    114 |        0 |        0
435.01/435.15	c  435s |      19 |  2825018 |   651482 |    13534    115 |        0 |        0
437.02/437.17	c  437s |      19 |  2833371 |   653982 |    13534    115 |        0 |        0
439.03/439.19	c  439s |      19 |  2845623 |   657182 |    13534    115 |        0 |        0
441.02/441.20	c  441s |      19 |  2851510 |   658882 |    13534    116 |        0 |        0
443.12/443.20	c  443s |      19 |  2866072 |   662482 |    14888    116 |        0 |        0
445.12/445.24	c  445s |      19 |  2882748 |   665682 |    14888    116 |        0 |        0
446.02/446.19	c  446s |      20 |  2886969 |   666827 |    14888    117 |        0 |        0
448.12/448.24	c  448s |      20 |  2905371 |   669027 |    14888    117 |        0 |        0
450.22/450.31	c  450s |      20 |  2921933 |   672027 |    14888    117 |        0 |        0
452.22/452.37	c  452s |      20 |  2928105 |   674427 |    14888    118 |        0 |        0
454.21/454.39	c  454s |      20 |  2933743 |   676627 |    14888    118 |        0 |        0
456.31/456.44	c  456s |      20 |  2968192 |   679827 |    14888    118 |        0 |        0
458.41/458.50	c  458s |      20 |  2982249 |   682527 |    14888    119 |        0 |        0
460.41/460.57	c  460s |      20 |  2992478 |   685227 |    14888    119 |        0 |        0
462.41/462.57	c  462s |      20 |  3005759 |   687927 |    14888    119 |        0 |        0
464.51/464.61	c  464s |      20 |  3013272 |   689827 |    14888    120 |        0 |        0
466.52/466.65	c  466s |      20 |  3021934 |   692827 |    14888    120 |        0 |        0
468.51/468.69	c  468s |      20 |  3040196 |   695927 |    14888    120 |        0 |        0
470.61/470.73	c  470s |      20 |  3051625 |   698527 |    14888    121 |        0 |        0
472.71/472.82	c  472s |      20 |  3060912 |   700927 |    14888    121 |        0 |        0
474.71/474.84	c  474s |      20 |  3066858 |   703027 |    14888    121 |        0 |        0
476.91/477.01	c  476s |      20 |  3073374 |   705627 |    14888    122 |        0 |        0
478.91/479.06	c  478s |      20 |  3081255 |   708927 |    14888    122 |        0 |        0
480.92/481.09	c  480s |      20 |  3089151 |   711727 |    14888    122 |        0 |        0
483.02/483.14	c  483s |      20 |  3099917 |   714427 |    14888    123 |        0 |        0
485.11/485.22	c  485s |      20 |  3108859 |   716927 |    14888    123 |        0 |        0
487.21/487.31	c  487s |      20 |  3113589 |   719227 |    14888    123 |        0 |        0
489.21/489.37	c  489s |      20 |  3116778 |   721027 |    14888    124 |        0 |        0
491.31/491.44	c  491s |      20 |  3125358 |   724227 |    14888    124 |        0 |        0
493.41/493.51	c  493s |      20 |  3132436 |   726827 |    14888    124 |        0 |        0
495.41/495.52	c  495s |      20 |  3144772 |   729327 |    14888    125 |        0 |        0
497.51/497.61	c  497s |      20 |  3156368 |   731827 |    14888    125 |        0 |        0
499.52/499.62	c  499s |      20 |  3164999 |   733627 |    14888    125 |        0 |        0
501.51/501.64	c  501s |      20 |  3168741 |   735927 |    14888    126 |        0 |        0
503.61/503.72	c  503s |      20 |  3173235 |   738627 |    14888    126 |        0 |        0
505.61/505.72	c  505s |      20 |  3182306 |   741127 |    14888    126 |        0 |        0
507.61/507.75	c  507s |      20 |  3187514 |   743127 |    14888    127 |        0 |        0
509.71/509.85	c  509s |      20 |  3199553 |   745727 |    14888    127 |        0 |        0
511.81/511.96	c  511s |      20 |  3209670 |   748027 |    14888    127 |        0 |        0
513.92/514.05	c  513s |      20 |  3213141 |   750027 |    14888    127 |        0 |        0
515.91/516.08	c  515s |      20 |  3217628 |   751827 |    14888    128 |        0 |        0
518.01/518.14	c  518s |      20 |  3221351 |   753827 |    14888    128 |        0 |        0
520.01/520.18	c  520s |      20 |  3223714 |   755627 |    14888    128 |        0 |        0
522.21/522.38	c  522s |      20 |  3227815 |   757927 |    14888    129 |        0 |        0
524.31/524.40	c  524s |      20 |  3234679 |   760427 |    14888    129 |        0 |        0
526.31/526.42	c  526s |      20 |  3241458 |   762927 |    14888    129 |        0 |        0
528.31/528.47	c  528s |      20 |  3248734 |   765227 |    14888    129 |        0 |        0
530.41/530.51	c  530s |      20 |  3255447 |   767427 |    14888    130 |        0 |        0
532.41/532.53	c  532s |      20 |  3264673 |   769827 |    14888    130 |        0 |        0
534.40/534.57	c  534s |      20 |  3270147 |   772227 |    14888    130 |        0 |        0
536.50/536.62	c  536s |      20 |  3278096 |   774227 |    14888    131 |        0 |        0
538.50/538.67	c  538s |      20 |  3284923 |   776827 |    14888    131 |        0 |        0
540.60/540.73	c  540s |      20 |  3293285 |   779327 |    14888    131 |        0 |        0
542.70/542.83	c  542s |      20 |  3302550 |   781127 |    14888    132 |        0 |        0
544.71/544.87	c  544s |      20 |  3310493 |   783427 |    14888    132 |        0 |        0
546.81/546.91	c  546s |      20 |  3321129 |   786027 |    14888    132 |        0 |        0
548.80/548.98	c  548s |      20 |  3325850 |   788427 |    14888    133 |        0 |        0
550.90/551.02	c  550s |      20 |  3336954 |   791427 |    14888    133 |        0 |        0
552.90/553.04	c  552s |      20 |  3351391 |   793927 |    14888    133 |        0 |        0
555.00/555.12	c  555s |      20 |  3360192 |   796127 |    14888    134 |        0 |        0
557.10/557.20	c  557s |      20 |  3365811 |   798627 |    14888    134 |        0 |        0
559.10/559.25	c  559s |      20 |  3373960 |   801127 |    14888    134 |        0 |        0
561.30/561.45	c  561s |      20 |  3379481 |   803527 |    14888    135 |        0 |        0
563.30/563.47	c  563s |      20 |  3384116 |   805627 |    14888    135 |        0 |        0
565.40/565.52	c  565s |      20 |  3388904 |   807927 |    14888    135 |        0 |        0
567.50/567.60	c  567s |      20 |  3392661 |   810127 |    14888    135 |        0 |        0
569.50/569.64	c  569s |      20 |  3394922 |   811827 |    14888    136 |        0 |        0
571.50/571.64	c  571s |      20 |  3402542 |   814327 |    14888    136 |        0 |        0
573.60/573.74	c  573s |      20 |  3409071 |   816727 |    14888    136 |        0 |        0
575.80/575.98	c  575s |      20 |  3413639 |   818727 |    14888    137 |        0 |        0
577.90/578.06	c  577s |      20 |  3416336 |   820727 |    14888    137 |        0 |        0
580.19/580.38	c  580s |      20 |  3418194 |   821927 |    14888    137 |        0 |        0
582.30/582.45	c  582s |      20 |  3423467 |   824327 |    14888    137 |        0 |        0
584.40/584.57	c  584s |      20 |  3427085 |   826327 |    14888    138 |        0 |        0
586.41/586.57	c  586s |      20 |  3431096 |   829027 |    14888    138 |        0 |        0
588.50/588.60	c  588s |      20 |  3436212 |   831627 |    14888    138 |        0 |        0
590.50/590.67	c  590s |      20 |  3440544 |   833927 |    14888    139 |        0 |        0
592.50/592.68	c  592s |      20 |  3448355 |   836527 |    14888    139 |        0 |        0
594.60/594.73	c  594s |      20 |  3453832 |   838827 |    14888    139 |        0 |        0
596.60/596.75	c  596s |      20 |  3459709 |   840927 |    14888    139 |        0 |        0
598.70/598.83	c  598s |      20 |  3464353 |   842827 |    14888    140 |        0 |        0
600.80/600.90	c  600s |      20 |  3470972 |   845427 |    14888    140 |        0 |        0
602.79/603.00	c  602s |      20 |  3476652 |   847827 |    14888    140 |        0 |        0
604.99/605.12	c  605s |      20 |  3483389 |   849627 |    14888    141 |        0 |        0
606.99/607.18	c  607s |      20 |  3492686 |   852127 |    14888    141 |        0 |        0
608.99/609.18	c  609s |      20 |  3503669 |   854727 |    14888    141 |        0 |        0
611.09/611.21	c  611s |      20 |  3511986 |   856927 |    14888    142 |        0 |        0
613.09/613.28	c  613s |      20 |  3517836 |   859027 |    14888    142 |        0 |        0
615.19/615.34	c  615s |      20 |  3524910 |   861327 |    14888    142 |        0 |        0
617.20/617.35	c  617s |      20 |  3538716 |   863227 |    14888    142 |        0 |        0
619.19/619.39	c  619s |      20 |  3557647 |   865327 |    14888    143 |        0 |        0
621.19/621.39	c  621s |      20 |  3571838 |   867827 |    14888    143 |        0 |        0
623.29/623.43	c  623s |      20 |  3585039 |   870427 |    14888    143 |        0 |        0
625.29/625.44	c  625s |      20 |  3589811 |   872327 |    14888    144 |        0 |        0
627.29/627.45	c  627s |      20 |  3596172 |   874927 |    14888    144 |        0 |        0
629.40/629.51	c  629s |      20 |  3610349 |   877727 |    14888    144 |        0 |        0
631.50/631.64	c  631s |      20 |  3621888 |   880327 |    14888    145 |        0 |        0
633.49/633.64	c  633s |      20 |  3631058 |   883227 |    14888    145 |        0 |        0
635.59/635.70	c  635s |      20 |  3647649 |   886227 |    14888    145 |        0 |        0
637.59/637.76	c  637s |      20 |  3658509 |   888827 |    14888    146 |        0 |        0
639.59/639.79	c  639s |      20 |  3667740 |   892327 |    14888    146 |        0 |        0
641.69/641.82	c  641s |      20 |  3676693 |   895327 |    14888    147 |        0 |        0
643.69/643.85	c  643s |      20 |  3689615 |   898427 |    14888    147 |        0 |        0
645.68/645.88	c  645s |      20 |  3700327 |   901227 |    14888    147 |        0 |        0
647.78/647.91	c  647s |      20 |  3716196 |   903827 |    14888    148 |        0 |        0
649.78/649.91	c  649s |      20 |  3727070 |   906627 |    14888    148 |        0 |        0
651.78/651.98	c  651s |      20 |  3730944 |   908827 |    14888    148 |        0 |        0
653.88/654.07	c  653s |      20 |  3739451 |   910727 |    14888    149 |        0 |        0
655.88/656.10	c  655s |      20 |  3745259 |   913227 |    14888    149 |        0 |        0
657.99/658.10	c  658s |      20 |  3752268 |   916027 |    14888    149 |        0 |        0
659.98/660.15	c  660s |      20 |  3765431 |   918727 |    14888    150 |        0 |        0
661.98/662.17	c  662s |      20 |  3775730 |   921427 |    14888    150 |        0 |        0
664.08/664.23	c  664s |      20 |  3789531 |   924027 |    14888    150 |        0 |        0
666.18/666.30	c  666s |      20 |  3794959 |   926527 |    14888    151 |        0 |        0
668.18/668.33	c  668s |      20 |  3812848 |   929127 |    14888    151 |        0 |        0
670.18/670.38	c  670s |      20 |  3821552 |   931627 |    14888    151 |        0 |        0
672.29/672.44	c  672s |      20 |  3831004 |   933927 |    14888    152 |        0 |        0
674.28/674.48	c  674s |      20 |  3834695 |   936227 |    14888    152 |        0 |        0
676.38/676.53	c  676s |      20 |  3839759 |   938627 |    14888    152 |        0 |        0
678.68/678.86	c  678s |      20 |  3846749 |   940827 |    14888    153 |        0 |        0
680.68/680.89	c  680s |      20 |  3852390 |   943127 |    14888    153 |        0 |        0
682.78/682.93	c  682s |      20 |  3855956 |   945427 |    14888    153 |        0 |        0
684.88/685.07	c  684s |      20 |  3866149 |   947927 |    14888    154 |        0 |        0
686.98/687.11	c  687s |      20 |  3870766 |   949927 |    14888    154 |        0 |        0
688.98/689.17	c  689s |      20 |  3880304 |   952127 |    14888    154 |        0 |        0
690.99/691.18	c  691s |      20 |  3890909 |   954627 |    14888    154 |        0 |        0
693.08/693.24	c  693s |      20 |  3902453 |   957227 |    14888    155 |        0 |        0
695.08/695.27	c  695s |      20 |  3908893 |   959727 |    14888    155 |        0 |        0
697.08/697.27	c  697s |      20 |  3915926 |   962127 |    14888    155 |        0 |        0
699.08/699.28	c  699s |      20 |  3919656 |   964227 |    14888    156 |        0 |        0
701.18/701.32	c  701s |      20 |  3923762 |   966727 |    14888    156 |        0 |        0
703.18/703.33	c  703s |      20 |  3928316 |   968927 |    14888    156 |        0 |        0
705.18/705.34	c  705s |      20 |  3932198 |   970927 |    14888    157 |        0 |        0
707.27/707.41	c  707s |      20 |  3940931 |   973827 |    14888    157 |        0 |        0
709.27/709.42	c  709s |      20 |  3944785 |   976127 |    14888    157 |        0 |        0
711.47/711.61	c  711s |      20 |  3949390 |   978527 |    14888    158 |        0 |        0
713.57/713.73	c  713s |      20 |  3953124 |   980727 |    14888    158 |        0 |        0
715.57/715.79	c  715s |      20 |  3975164 |   983527 |    14888    158 |        0 |        0
717.77/717.94	c  717s |      20 |  3998932 |   985927 |    14888    159 |        0 |        0
719.77/719.95	c  719s |      20 |  4006522 |   988427 |    14888    159 |        0 |        0
721.87/722.00	c  721s |      20 |  4019474 |   991027 |    14888    159 |        0 |        0
723.88/724.02	c  723s |      20 |  4036359 |   993327 |    16377    159 |        0 |        0
725.87/726.04	c  725s |      20 |  4070439 |   995827 |    16377    160 |        0 |        0
727.87/728.06	c  727s |      20 |  4091726 |   999027 |    16377    160 |        0 |        0
728.87/729.07	c  728s |      21 |  4103619 |  1000345 |    16377    160 |        0 |        0
730.97/731.10	c  731s |      21 |  4125172 |  1002645 |    16377    160 |        0 |        0
732.97/733.14	c  733s |      21 |  4157157 |  1005245 |    16377    161 |        0 |        0
735.07/735.22	c  735s |      21 |  4174963 |  1008345 |    16377    161 |        0 |        0
737.08/737.29	c  737s |      21 |  4191195 |  1010545 |    16377    161 |        0 |        0
739.17/739.33	c  739s |      21 |  4204459 |  1013245 |    16377    162 |        0 |        0
741.18/741.33	c  741s |      21 |  4227676 |  1016445 |    16377    162 |        0 |        0
743.18/743.35	c  743s |      21 |  4244877 |  1019245 |    16377    162 |        0 |        0
745.18/745.37	c  745s |      21 |  4254348 |  1021745 |    16377    163 |        0 |        0
747.28/747.41	c  747s |      21 |  4263230 |  1024445 |    16377    163 |        0 |        0
749.28/749.44	c  749s |      21 |  4269899 |  1026645 |    16377    163 |        0 |        0
751.57/751.79	c  751s |      21 |  4278074 |  1028545 |    16377    164 |        0 |        0
753.58/753.79	c  753s |      21 |  4295753 |  1030545 |    16377    164 |        0 |        0
755.67/755.83	c  755s |      21 |  4326270 |  1033545 |    16377    164 |        0 |        0
757.77/757.94	c  757s |      21 |  4345442 |  1036545 |    16377    165 |        0 |        0
759.77/759.99	c  759s |      21 |  4373486 |  1039245 |    16377    165 |        0 |        0
761.86/762.03	c  761s |      21 |  4383269 |  1041645 |    16377    165 |        0 |        0
763.86/764.06	c  763s |      21 |  4396945 |  1044145 |    16377    165 |        0 |        0
765.86/766.06	c  765s |      21 |  4402620 |  1046145 |    16377    166 |        0 |        0
767.87/768.08	c  767s |      21 |  4418179 |  1048945 |    16377    166 |        0 |        0
769.96/770.17	c  770s |      21 |  4425365 |  1051545 |    16377    166 |        0 |        0
772.06/772.23	c  772s |      21 |  4439762 |  1053945 |    16377    167 |        0 |        0
774.16/774.33	c  774s |      21 |  4447276 |  1056145 |    16377    167 |        0 |        0
776.16/776.39	c  776s |      21 |  4451111 |  1058045 |    16377    167 |        0 |        0
778.26/778.49	c  778s |      21 |  4456535 |  1059945 |    16377    167 |        0 |        0
780.36/780.58	c  780s |      21 |  4464792 |  1061845 |    16377    168 |        0 |        0
782.45/782.64	c  782s |      21 |  4467452 |  1063645 |    16377    168 |        0 |        0
784.55/784.72	c  784s |      21 |  4469291 |  1065345 |    16377    168 |        0 |        0
788.45/788.60	c  788s |      21 |  4471699 |  1066745 |    16377    168 |        0 |        0
790.45/790.60	c  790s |      21 |  4487390 |  1068745 |    16377    168 |        0 |        0
792.45/792.65	c  792s |      21 |  4494799 |  1071445 |    16377    169 |        0 |        0
794.45/794.69	c  794s |      21 |  4508707 |  1074145 |    16377    169 |        0 |        0
796.55/796.76	c  796s |      21 |  4519934 |  1076545 |    16377    169 |        0 |        0
798.54/798.76	c  798s |      21 |  4534683 |  1078945 |    16377    170 |        0 |        0
800.64/800.81	c  800s |      21 |  4546050 |  1081445 |    16377    170 |        0 |        0
802.64/802.86	c  802s |      21 |  4554385 |  1083645 |    16377    170 |        0 |        0
804.64/804.89	c  804s |      21 |  4558949 |  1085645 |    16377    170 |        0 |        0
806.74/806.94	c  806s |      21 |  4563780 |  1088045 |    16377    171 |        0 |        0
809.24/809.41	c  809s |      21 |  4568633 |  1090345 |    16377    171 |        0 |        0
811.23/811.46	c  811s |      21 |  4589623 |  1093545 |    16377    171 |        0 |        0
813.23/813.47	c  813s |      21 |  4598993 |  1095845 |    16377    172 |        0 |        0
815.33/815.51	c  815s |      21 |  4606864 |  1098445 |    16377    172 |        0 |        0
817.34/817.56	c  817s |      21 |  4631215 |  1101045 |    16377    172 |        0 |        0
819.43/819.64	c  819s |      21 |  4661056 |  1103645 |    16377    173 |        0 |        0
821.53/821.71	c  821s |      21 |  4677361 |  1106245 |    16377    173 |        0 |        0
823.53/823.73	c  823s |      21 |  4690359 |  1108745 |    16377    173 |        0 |        0
825.63/825.81	c  825s |      21 |  4703550 |  1111145 |    16377    174 |        0 |        0
827.63/827.82	c  827s |      21 |  4721658 |  1113645 |    16377    174 |        0 |        0
829.63/829.87	c  829s |      21 |  4741642 |  1116345 |    16377    174 |        0 |        0
831.73/831.95	c  831s |      21 |  4743602 |  1118245 |    16377    174 |        0 |        0
833.72/834.00	c  833s |      21 |  4757017 |  1120545 |    16377    175 |        0 |        0
835.82/836.07	c  835s |      21 |  4764650 |  1122845 |    16377    175 |        0 |        0
838.02/838.21	c  838s |      21 |  4768015 |  1124545 |    16377    175 |        0 |        0
840.02/840.26	c  840s |      21 |  4771231 |  1126245 |    16377    175 |        0 |        0
842.12/842.30	c  842s |      21 |  4774716 |  1127845 |    16377    176 |        0 |        0
845.12/845.38	c  845s |      21 |  4777192 |  1129245 |    16377    176 |        0 |        0
847.21/847.42	c  847s |      21 |  4786760 |  1131645 |    16377    176 |        0 |        0
849.22/849.45	c  849s |      21 |  4797089 |  1134245 |    16377    176 |        0 |        0
851.21/851.46	c  851s |      21 |  4802897 |  1136545 |    16377    177 |        0 |        0
853.21/853.46	c  853s |      21 |  4812022 |  1139145 |    16377    177 |        0 |        0
855.31/855.56	c  855s |      21 |  4819852 |  1141445 |    16377    177 |        0 |        0
857.41/857.67	c  857s |      21 |  4822094 |  1143345 |    16377    177 |        0 |        0
859.41/859.68	c  859s |      21 |  4825823 |  1145045 |    16377    178 |        0 |        0
861.50/861.76	c  861s |      21 |  4830149 |  1146945 |    16377    178 |        0 |        0
863.51/863.78	c  863s |      21 |  4841424 |  1149145 |    16377    178 |        0 |        0
865.60/865.82	c  865s |      21 |  4847820 |  1151545 |    16377    178 |        0 |        0
867.61/867.85	c  867s |      21 |  4857407 |  1153645 |    16377    179 |        0 |        0
869.71/869.91	c  869s |      21 |  4868645 |  1156345 |    16377    179 |        0 |        0
871.71/871.95	c  871s |      21 |  4879460 |  1158945 |    16377    179 |        0 |        0
873.81/874.03	c  873s |      21 |  4883904 |  1160945 |    16377    180 |        0 |        0
875.80/876.07	c  875s |      21 |  4890811 |  1163145 |    16377    180 |        0 |        0
877.91/878.15	c  878s |      21 |  4898370 |  1165545 |    16377    180 |        0 |        0
879.90/880.19	c  880s |      21 |  4905066 |  1167945 |    16377    180 |        0 |        0
881.90/882.19	c  882s |      21 |  4907700 |  1169945 |    16377    181 |        0 |        0
884.00/884.26	c  884s |      21 |  4914208 |  1172345 |    16377    181 |        0 |        0
886.10/886.33	c  886s |      21 |  4917093 |  1174345 |    16377    181 |        0 |        0
888.10/888.34	c  888s |      21 |  4921392 |  1175245 |    16377    181 |        0 |        0
890.20/890.42	c  890s |      21 |  4925836 |  1177245 |    16377    181 |        0 |        0
892.20/892.47	c  892s |      21 |  4931817 |  1179145 |    16377    182 |        0 |        0
894.30/894.53	c  894s |      21 |  4936437 |  1181445 |    16377    182 |        0 |        0
896.29/896.57	c  896s |      21 |  4940276 |  1183845 |    16377    182 |        0 |        0
898.39/898.65	c  898s |      21 |  4943518 |  1186145 |    16377    183 |        0 |        0
900.39/900.67	c  900s |      21 |  4948803 |  1188445 |    16377    183 |        0 |        0
902.49/902.74	c  902s |      21 |  4952319 |  1190745 |    16377    183 |        0 |        0
906.18/906.49	c  906s |      21 |  4954692 |  1191245 |    16377    183 |        0 |        0
908.18/908.50	c  908s |      21 |  4961700 |  1192845 |    16377    183 |        0 |        0
910.48/910.72	c  910s |      21 |  4973806 |  1194945 |    16377    184 |        0 |        0
912.47/912.76	c  912s |      21 |  5012101 |  1198145 |    16377    184 |        0 |        0
914.47/914.79	c  914s |      21 |  5033173 |  1200945 |    16377    184 |        0 |        0
916.57/916.83	c  916s |      21 |  5045948 |  1202945 |    16377    185 |        0 |        0
918.58/918.85	c  918s |      21 |  5060793 |  1205745 |    16377    185 |        0 |        0
920.57/920.90	c  920s |      21 |  5072204 |  1207945 |    16377    185 |        0 |        0
922.67/922.92	c  922s |      21 |  5078471 |  1209745 |    16377    185 |        0 |        0
924.67/924.94	c  924s |      21 |  5081630 |  1211345 |    16377    186 |        0 |        0
926.68/926.96	c  926s |      21 |  5086769 |  1212945 |    16377    186 |        0 |        0
928.78/929.01	c  928s |      21 |  5102235 |  1215645 |    16377    186 |        0 |        0
930.78/931.06	c  930s |      21 |  5107906 |  1217845 |    16377    186 |        0 |        0
932.88/933.14	c  933s |      21 |  5111702 |  1219745 |    16377    187 |        0 |        0
934.87/935.16	c  935s |      21 |  5116321 |  1222145 |    16377    187 |        0 |        0
936.97/937.22	c  937s |      21 |  5120997 |  1224345 |    16377    187 |        0 |        0
938.97/939.24	c  939s |      21 |  5128029 |  1226045 |    16377    187 |        0 |        0
940.96/941.28	c  941s |      21 |  5140843 |  1228145 |    16377    188 |        0 |        0
943.06/943.32	c  943s |      21 |  5147287 |  1230145 |    16377    188 |        0 |        0
945.06/945.36	c  945s |      21 |  5150920 |  1232045 |    16377    188 |        0 |        0
947.17/947.45	c  947s |      21 |  5155892 |  1233945 |    16377    188 |        0 |        0
949.16/949.47	c  949s |      21 |  5157885 |  1235645 |    16377    189 |        0 |        0
951.26/951.55	c  951s |      21 |  5160606 |  1237645 |    16377    189 |        0 |        0
953.36/953.67	c  953s |      21 |  5167904 |  1239745 |    16377    189 |        0 |        0
955.36/955.68	c  955s |      21 |  5171017 |  1241545 |    16377    189 |        0 |        0
957.46/957.73	c  957s |      21 |  5178159 |  1243245 |    16377    189 |        0 |        0
959.46/959.73	c  959s |      21 |  5185720 |  1245145 |    16377    190 |        0 |        0
961.46/961.74	c  961s |      21 |  5191800 |  1247145 |    16377    190 |        0 |        0
963.45/963.75	c  963s |      21 |  5195597 |  1249045 |    16377    190 |        0 |        0
965.45/965.75	c  965s |      21 |  5198386 |  1250945 |    16377    190 |        0 |        0
967.55/967.82	c  967s |      21 |  5202687 |  1253045 |    16377    191 |        0 |        0
969.55/969.84	c  969s |      21 |  5206136 |  1255145 |    16377    191 |        0 |        0
971.55/971.87	c  971s |      21 |  5208157 |  1257145 |    16377    191 |        0 |        0
973.65/973.96	c  973s |      21 |  5213083 |  1259145 |    16377    191 |        0 |        0
975.75/976.02	c  975s |      21 |  5217572 |  1260845 |    16377    192 |        0 |        0
977.75/978.07	c  977s |      21 |  5219689 |  1262745 |    16377    192 |        0 |        0
979.85/980.13	c  980s |      21 |  5222910 |  1264745 |    16377    192 |        0 |        0
983.46/983.78	c  983s |      21 |  5223951 |  1264845 |    16377    192 |        0 |        0
985.55/985.83	c  985s |      21 |  5240293 |  1267145 |    16377    192 |        0 |        0
987.55/987.88	c  987s |      21 |  5249772 |  1269345 |    16377    193 |        0 |        0
989.65/989.97	c  989s |      21 |  5255339 |  1271645 |    16377    193 |        0 |        0
991.64/991.98	c  991s |      21 |  5259427 |  1273845 |    16377    193 |        0 |        0
993.74/994.05	c  993s |      21 |  5267738 |  1276145 |    16377    193 |        0 |        0
995.74/996.08	c  995s |      21 |  5270257 |  1277745 |    16377    194 |        0 |        0
997.75/998.09	c  997s |      21 |  5275337 |  1280245 |    16377    194 |        0 |        0
999.84/1000.19	c 1000s |      21 |  5280753 |  1281645 |    16377    194 |        0 |        0
1001.93/1002.25	c 1002s |      21 |  5289145 |  1283945 |    16377    194 |        0 |        0
1003.93/1004.26	c 1004s |      21 |  5292534 |  1285645 |    16377    195 |        0 |        0
1006.03/1006.30	c 1006s |      21 |  5296899 |  1287445 |    16377    195 |        0 |        0
1008.03/1008.33	c 1008s |      21 |  5301352 |  1289545 |    16377    195 |        0 |        0
1010.13/1010.41	c 1010s |      21 |  5307001 |  1291745 |    16377    195 |        0 |        0
1012.33/1012.64	c 1012s |      21 |  5309434 |  1293645 |    16377    196 |        0 |        0
1014.33/1014.64	c 1014s |      21 |  5322143 |  1295945 |    16377    196 |        0 |        0
1016.44/1016.73	c 1016s |      21 |  5334667 |  1298545 |    16377    196 |        0 |        0
1018.43/1018.78	c 1018s |      21 |  5341043 |  1300545 |    16377    196 |        0 |        0
1020.53/1020.87	c 1020s |      21 |  5349590 |  1302445 |    16377    197 |        0 |        0
1022.52/1022.89	c 1022s |      21 |  5352772 |  1304445 |    16377    197 |        0 |        0
1024.62/1024.97	c 1024s |      21 |  5356639 |  1306545 |    16377    197 |        0 |        0
1026.72/1027.00	c 1026s |      21 |  5366324 |  1308545 |    16377    197 |        0 |        0
1028.72/1029.09	c 1028s |      21 |  5374794 |  1310545 |    16377    198 |        0 |        0
1030.82/1031.17	c 1031s |      21 |  5378580 |  1312445 |    16377    198 |        0 |        0
1032.83/1033.17	c 1033s |      21 |  5380388 |  1314145 |    16377    198 |        0 |        0
1034.82/1035.17	c 1035s |      21 |  5384770 |  1315845 |    16377    198 |        0 |        0
1036.92/1037.25	c 1037s |      21 |  5388629 |  1317645 |    16377    198 |        0 |        0
1039.02/1039.34	c 1039s |      21 |  5394412 |  1319545 |    16377    199 |        0 |        0
1041.01/1041.39	c 1041s |      21 |  5396648 |  1321245 |    16377    199 |        0 |        0
1043.11/1043.41	c 1043s |      21 |  5398165 |  1322745 |    16377    199 |        0 |        0
1045.12/1045.47	c 1045s |      21 |  5402139 |  1324545 |    16377    199 |        0 |        0
1047.23/1047.51	c 1047s |      21 |  5405048 |  1326345 |    16377    199 |        0 |        0
1049.22/1049.57	c 1049s |      21 |  5406678 |  1327945 |    16377    200 |        0 |        0
1051.62/1051.94	c 1051s |      21 |  5407207 |  1328345 |    16377    200 |        0 |        0
1053.72/1054.01	c 1053s |      21 |  5414777 |  1330045 |    16377    200 |        0 |        0
1055.81/1056.10	c 1056s |      21 |  5427886 |  1332545 |    16377    200 |        0 |        0
1057.81/1058.14	c 1058s |      21 |  5431385 |  1334445 |    16377    200 |        0 |        0
1059.91/1060.21	c 1060s |      21 |  5437476 |  1336245 |    16377    201 |        0 |        0
1061.91/1062.24	c 1062s |      21 |  5444393 |  1338245 |    16377    201 |        0 |        0
1064.01/1064.36	c 1064s |      21 |  5452210 |  1340445 |    16377    201 |        0 |        0
1066.01/1066.38	c 1066s |      21 |  5455098 |  1342145 |    16377    201 |        0 |        0
1068.12/1068.47	c 1068s |      21 |  5458315 |  1343945 |    16377    202 |        0 |        0
1070.11/1070.50	c 1070s |      21 |  5463460 |  1346045 |    16377    202 |        0 |        0
1072.20/1072.57	c 1072s |      21 |  5470164 |  1348045 |    16377    202 |        0 |        0
1074.30/1074.67	c 1074s |      21 |  5472924 |  1349845 |    16377    202 |        0 |        0
1076.40/1076.77	c 1076s |      21 |  5475232 |  1351545 |    16377    203 |        0 |        0
1078.50/1078.83	c 1078s |      21 |  5477241 |  1353345 |    16377    203 |        0 |        0
1080.60/1080.95	c 1080s |      21 |  5480179 |  1355245 |    16377    203 |        0 |        0
1082.70/1083.05	c 1082s |      21 |  5482161 |  1357045 |    16377    203 |        0 |        0
1084.70/1085.08	c 1084s |      21 |  5485210 |  1358645 |    16377    203 |        0 |        0
1086.81/1087.17	c 1087s |      21 |  5488761 |  1360245 |    16377    204 |        0 |        0
1088.90/1089.23	c 1089s |      21 |  5491131 |  1361845 |    16377    204 |        0 |        0
1091.00/1091.31	c 1091s |      21 |  5492863 |  1363445 |    16377    204 |        0 |        0
1093.09/1093.41	c 1093s |      21 |  5496259 |  1365245 |    16377    204 |        0 |        0
1095.09/1095.47	c 1095s |      21 |  5499174 |  1366945 |    16377    204 |        0 |        0
1097.19/1097.55	c 1097s |      21 |  5500794 |  1368545 |    16377    205 |        0 |        0
1099.29/1099.65	c 1099s |      21 |  5502901 |  1370245 |    16377    205 |        0 |        0
1101.69/1102.06	c 1101s |      21 |  5503651 |  1370745 |    16377    205 |        0 |        0
1103.79/1104.15	c 1104s |      21 |  5506749 |  1372945 |    16377    205 |        0 |        0
1105.89/1106.24	c 1106s |      21 |  5510206 |  1375045 |    16377    205 |        0 |        0
1107.89/1108.26	c 1108s |      21 |  5513771 |  1376845 |    16377    206 |        0 |        0
1109.99/1110.32	c 1110s |      21 |  5517586 |  1378945 |    16377    206 |        0 |        0
1111.99/1112.36	c 1112s |      21 |  5520177 |  1380945 |    16377    206 |        0 |        0
1114.08/1114.44	c 1114s |      21 |  5523118 |  1383045 |    16377    206 |        0 |        0
1116.08/1116.49	c 1116s |      21 |  5525652 |  1384845 |    16377    207 |        0 |        0
1118.18/1118.57	c 1118s |      21 |  5528508 |  1386645 |    16377    207 |        0 |        0
1120.18/1120.58	c 1120s |      21 |  5531714 |  1388545 |    16377    207 |        0 |        0
1122.68/1123.08	c 1122s |      21 |  5532159 |  1388945 |    16377    207 |        0 |        0
1124.78/1125.14	c 1125s |      21 |  5535433 |  1390745 |    16377    207 |        0 |        0
1126.78/1127.18	c 1127s |      21 |  5541164 |  1393145 |    16377    208 |        0 |        0
1128.88/1129.21	c 1129s |      21 |  5547319 |  1395845 |    16377    208 |        0 |        0
1130.88/1131.26	c 1131s |      21 |  5556932 |  1398645 |    16377    208 |        0 |        0
1132.99/1133.32	c 1133s |      21 |  5564781 |  1401245 |    16377    208 |        0 |        0
1134.98/1135.37	c 1135s |      21 |  5571052 |  1403545 |    16377    209 |        0 |        0
1137.08/1137.42	c 1137s |      21 |  5575889 |  1406345 |    16377    209 |        0 |        0
1139.08/1139.44	c 1139s |      21 |  5579390 |  1408845 |    16377    209 |        0 |        0
1141.07/1141.46	c 1141s |      21 |  5582881 |  1411345 |    16377    210 |        0 |        0
1143.17/1143.51	c 1143s |      21 |  5586651 |  1413645 |    16377    210 |        0 |        0
1145.17/1145.58	c 1145s |      21 |  5597232 |  1416245 |    16377    210 |        0 |        0
1147.18/1147.59	c 1147s |      21 |  5601905 |  1418245 |    16377    211 |        0 |        0
1149.27/1149.63	c 1149s |      21 |  5607403 |  1420745 |    16377    211 |        0 |        0
1151.27/1151.68	c 1151s |      21 |  5613805 |  1423345 |    16377    211 |        0 |        0
1153.37/1153.71	c 1153s |      21 |  5620486 |  1425445 |    16377    211 |        0 |        0
1155.37/1155.76	c 1155s |      21 |  5626696 |  1427545 |    16377    212 |        0 |        0
1157.47/1157.82	c 1157s |      21 |  5631995 |  1429845 |    16377    212 |        0 |        0
1159.46/1159.84	c 1159s |      21 |  5634297 |  1431745 |    16377    212 |        0 |        0
1161.47/1161.89	c 1161s |      21 |  5640720 |  1433845 |    16377    212 |        0 |        0
1163.56/1164.00	c 1163s |      21 |  5643507 |  1435745 |    16377    213 |        0 |        0
1165.66/1166.05	c 1165s |      21 |  5646589 |  1437845 |    16377    213 |        0 |        0
1169.06/1169.42	c 1169s |      21 |  5648284 |  1439245 |    16377    213 |        0 |        0
1171.05/1171.44	c 1171s |      21 |  5652148 |  1441445 |    16377    213 |        0 |        0
1173.05/1173.48	c 1173s |      21 |  5656402 |  1443345 |    16377    214 |        0 |        0
1175.05/1175.49	c 1175s |      21 |  5659638 |  1445445 |    16377    214 |        0 |        0
1177.15/1177.51	c 1177s |      21 |  5664076 |  1447545 |    16377    214 |        0 |        0
1179.16/1179.56	c 1179s |      21 |  5668032 |  1449645 |    16377    214 |        0 |        0
1181.26/1181.62	c 1181s |      21 |  5670828 |  1451645 |    16377    215 |        0 |        0
1183.25/1183.63	c 1183s |      21 |  5673038 |  1453745 |    16377    215 |        0 |        0
1185.25/1185.69	c 1185s |      21 |  5676421 |  1455945 |    16377    215 |        0 |        0
1188.45/1188.84	c 1188s |      21 |  5679306 |  1457045 |    16377    215 |        0 |        0
1190.55/1190.98	c 1190s |      21 |  5691758 |  1459345 |    16377    216 |        0 |        0
1192.65/1193.04	c 1192s |      21 |  5700588 |  1461645 |    16377    216 |        0 |        0
1194.64/1195.07	c 1194s |      21 |  5711006 |  1464345 |    16377    216 |        0 |        0
1196.65/1197.09	c 1196s |      21 |  5715905 |  1466645 |    16377    216 |        0 |        0
1199.44/1199.85	c 1199s |      21 |  5718321 |  1467845 |    16377    217 |        0 |        0
1201.54/1201.90	c 1201s |      21 |  5722100 |  1470345 |    16377    217 |        0 |        0
1203.54/1203.92	c 1203s |      21 |  5729133 |  1472845 |    16377    217 |        0 |        0
1205.64/1206.00	c 1205s |      21 |  5735122 |  1475245 |    16377    217 |        0 |        0
1207.65/1208.01	c 1207s |      21 |  5743116 |  1477245 |    16377    218 |        0 |        0
1209.64/1210.07	c 1209s |      21 |  5750833 |  1479745 |    16377    218 |        0 |        0
1211.74/1212.13	c 1212s |      21 |  5758123 |  1482145 |    16377    218 |        0 |        0
1213.74/1214.18	c 1214s |      21 |  5761210 |  1484245 |    16377    218 |        0 |        0
1215.84/1216.21	c 1216s |      21 |  5763631 |  1486045 |    16377    219 |        0 |        0
1217.84/1218.27	c 1218s |      21 |  5767577 |  1488445 |    16377    219 |        0 |        0
1219.84/1220.29	c 1220s |      21 |  5777021 |  1490845 |    18015    219 |        0 |        0
1221.93/1222.33	c 1222s |      21 |  5784369 |  1492745 |    18015    219 |        0 |        0
1223.93/1224.37	c 1224s |      21 |  5790813 |  1495045 |    18015    220 |        0 |        0
1226.03/1226.42	c 1226s |      21 |  5795994 |  1497445 |    18015    220 |        0 |        0
1228.03/1228.46	c 1228s |      21 |  5799733 |  1500045 |    18015    220 |        0 |        0
1228.53/1228.96	c 1228s |      22 |  5801415 |  1500622 |    18015    220 |        0 |        0
1230.63/1231.05	c 1230s |      22 |  5807346 |  1502822 |    18015    220 |        0 |        0
1232.62/1233.08	c 1232s |      22 |  5811383 |  1504822 |    18015    221 |        0 |        0
1234.73/1235.11	c 1235s |      22 |  5815773 |  1507322 |    18015    221 |        0 |        0
1236.83/1237.25	c 1237s |      22 |  5817279 |  1507722 |    18015    221 |        0 |        0
1238.93/1239.34	c 1239s |      22 |  5826487 |  1510222 |    18015    221 |        0 |        0
1241.03/1241.40	c 1241s |      22 |  5838883 |  1512622 |    18015    222 |        0 |        0
1243.03/1243.44	c 1243s |      22 |  5853202 |  1515322 |    18015    222 |        0 |        0
1245.03/1245.47	c 1245s |      22 |  5859234 |  1517722 |    18015    222 |        0 |        0
1247.13/1247.56	c 1247s |      22 |  5862924 |  1519822 |    18015    222 |        0 |        0
1249.33/1249.74	c 1249s |      22 |  5867694 |  1521822 |    18015    223 |        0 |        0
1252.92/1253.39	c 1253s |      22 |  5871451 |  1524122 |    18015    223 |        0 |        0
1255.03/1255.43	c 1255s |      22 |  5880539 |  1526522 |    18015    223 |        0 |        0
1257.02/1257.50	c 1257s |      22 |  5890965 |  1529622 |    18015    223 |        0 |        0
1259.12/1259.52	c 1259s |      22 |  5895285 |  1532722 |    18015    224 |        0 |        0
1261.11/1261.54	c 1261s |      22 |  5901388 |  1535922 |    18015    224 |        0 |        0
1263.11/1263.58	c 1263s |      22 |  5906078 |  1538722 |    18015    224 |        0 |        0
1265.11/1265.59	c 1265s |      22 |  5909964 |  1541122 |    18015    225 |        0 |        0
1267.21/1267.62	c 1267s |      22 |  5917115 |  1543822 |    18015    225 |        0 |        0
1269.22/1269.66	c 1269s |      22 |  5925318 |  1546622 |    18015    225 |        0 |        0
1271.51/1271.98	c 1271s |      22 |  5932746 |  1549022 |    18015    226 |        0 |        0
1273.61/1274.01	c 1273s |      22 |  5939137 |  1551722 |    18015    226 |        0 |        0
1275.60/1276.09	c 1275s |      22 |  5945199 |  1554422 |    18015    226 |        0 |        0
1277.70/1278.17	c 1278s |      22 |  5950044 |  1556822 |    18015    226 |        0 |        0
1279.90/1280.30	c 1280s |      22 |  5954415 |  1558422 |    18015    227 |        0 |        0
1281.90/1282.31	c 1282s |      22 |  5964677 |  1561422 |    18015    227 |        0 |        0
1283.90/1284.35	c 1284s |      22 |  5969737 |  1564122 |    18015    227 |        0 |        0
1285.90/1286.36	c 1286s |      22 |  5977757 |  1566622 |    18015    227 |        0 |        0
1287.90/1288.37	c 1288s |      22 |  5980783 |  1568522 |    18015    228 |        0 |        0
1289.99/1290.41	c 1290s |      22 |  5987820 |  1571022 |    18015    228 |        0 |        0
1291.99/1292.47	c 1292s |      22 |  5993592 |  1573922 |    18015    228 |        0 |        0
1294.29/1294.73	c 1294s |      22 |  6001757 |  1576422 |    18015    229 |        0 |        0
1296.39/1296.81	c 1296s |      22 |  6005541 |  1579522 |    18015    229 |        0 |        0
1298.39/1298.84	c 1298s |      22 |  6008901 |  1582022 |    18015    229 |        0 |        0
1300.39/1300.87	c 1300s |      22 |  6011865 |  1584322 |    18015    229 |        0 |        0
1303.30/1303.79	c 1303s |      22 |  6014892 |  1586322 |    18015    230 |        0 |        0
1305.39/1305.82	c 1305s |      22 |  6019060 |  1588922 |    18015    230 |        0 |        0
1307.49/1307.91	c 1307s |      22 |  6021763 |  1590622 |    18015    230 |        0 |        0
1309.49/1309.96	c 1309s |      22 |  6024724 |  1592722 |    18015    230 |        0 |        0
1311.49/1311.99	c 1311s |      22 |  6027435 |  1594422 |    18015    230 |        0 |        0
1313.79/1314.23	c 1314s |      22 |  6029441 |  1596122 |    18015    231 |        0 |        0
1315.89/1316.32	c 1316s |      22 |  6037281 |  1598222 |    18015    231 |        0 |        0
1317.89/1318.35	c 1318s |      22 |  6040540 |  1600222 |    18015    231 |        0 |        0
1319.99/1320.42	c 1320s |      22 |  6050343 |  1602522 |    18015    231 |        0 |        0
1321.99/1322.50	c 1322s |      22 |  6052638 |  1604322 |    18015    232 |        0 |        0
1324.08/1324.54	c 1324s |      22 |  6054972 |  1606622 |    18015    232 |        0 |        0
1326.18/1326.61	c 1326s |      22 |  6057293 |  1608922 |    18015    232 |        0 |        0
1328.18/1328.67	c 1328s |      22 |  6060180 |  1610622 |    18015    232 |        0 |        0
1330.48/1330.93	c 1330s |      22 |  6066869 |  1612922 |    18015    233 |        0 |        0
1332.57/1333.00	c 1332s |      22 |  6073991 |  1615422 |    18015    233 |        0 |        0
1334.57/1335.05	c 1334s |      22 |  6078075 |  1617822 |    18015    233 |        0 |        0
1336.57/1337.09	c 1336s |      22 |  6081347 |  1620222 |    18015    233 |        0 |        0
1338.67/1339.11	c 1339s |      22 |  6084329 |  1622222 |    18015    234 |        0 |        0
1340.68/1341.14	c 1341s |      22 |  6089707 |  1623822 |    18015    234 |        0 |        0
1342.66/1343.16	c 1343s |      22 |  6095459 |  1626222 |    18015    234 |        0 |        0
1344.76/1345.23	c 1345s |      22 |  6098838 |  1628722 |    18015    234 |        0 |        0
1346.76/1347.28	c 1347s |      22 |  6103835 |  1630922 |    18015    234 |        0 |        0
1348.86/1349.35	c 1349s |      22 |  6110856 |  1633622 |    18015    235 |        0 |        0
1350.96/1351.40	c 1351s |      22 |  6113385 |  1636022 |    18015    235 |        0 |        0
1352.96/1353.42	c 1353s |      22 |  6116494 |  1638522 |    18015    235 |        0 |        0
1354.96/1355.49	c 1355s |      22 |  6120804 |  1640422 |    18015    236 |        0 |        0
1357.06/1357.55	c 1357s |      22 |  6125399 |  1643322 |    18015    236 |        0 |        0
1359.16/1359.60	c 1359s |      22 |  6131948 |  1646122 |    18015    236 |        0 |        0
1361.15/1361.66	c 1361s |      22 |  6139528 |  1648422 |    18015    236 |        0 |        0
1363.25/1363.74	c 1363s |      22 |  6145105 |  1650122 |    18015    237 |        0 |        0
1365.25/1365.78	c 1365s |      22 |  6153242 |  1652922 |    18015    237 |        0 |        0
1367.35/1367.83	c 1367s |      22 |  6161107 |  1655522 |    18015    237 |        0 |        0
1369.36/1369.89	c 1369s |      22 |  6167893 |  1657822 |    18015    237 |        0 |        0
1371.45/1371.94	c 1371s |      22 |  6175381 |  1659622 |    18015    238 |        0 |        0
1373.45/1373.99	c 1373s |      22 |  6184579 |  1661622 |    18015    238 |        0 |        0
1375.54/1376.09	c 1375s |      22 |  6190234 |  1664122 |    18015    238 |        0 |        0
1377.64/1378.17	c 1378s |      22 |  6194476 |  1666522 |    18015    238 |        0 |        0
1379.74/1380.21	c 1380s |      22 |  6198836 |  1668922 |    18015    239 |        0 |        0
1381.74/1382.27	c 1382s |      22 |  6203021 |  1671522 |    18015    239 |        0 |        0
1383.84/1384.35	c 1384s |      22 |  6206284 |  1673522 |    18015    239 |        0 |        0
1385.94/1386.47	c 1386s |      22 |  6212136 |  1675722 |    18015    239 |        0 |        0
1387.95/1388.49	c 1388s |      22 |  6215958 |  1677722 |    18015    240 |        0 |        0
1390.05/1390.52	c 1390s |      22 |  6223790 |  1679822 |    18015    240 |        0 |        0
1392.05/1392.56	c 1392s |      22 |  6229029 |  1682022 |    18015    240 |        0 |        0
1394.15/1394.61	c 1394s |      22 |  6232459 |  1684122 |    18015    240 |        0 |        0
1396.15/1396.66	c 1396s |      22 |  6235676 |  1685922 |    18015    241 |        0 |        0
1398.25/1398.76	c 1398s |      22 |  6238311 |  1688222 |    18015    241 |        0 |        0
1400.35/1400.82	c 1400s |      22 |  6241503 |  1690622 |    18015    241 |        0 |        0
1402.45/1402.90	c 1402s |      22 |  6245857 |  1692822 |    18015    241 |        0 |        0
1404.65/1405.14	c 1405s |      22 |  6250213 |  1694922 |    18015    242 |        0 |        0
1406.65/1407.16	c 1407s |      22 |  6258301 |  1697522 |    18015    242 |        0 |        0
1408.74/1409.21	c 1409s |      22 |  6263033 |  1699322 |    18015    242 |        0 |        0
1410.74/1411.26	c 1411s |      22 |  6267548 |  1701522 |    18015    242 |        0 |        0
1412.84/1413.30	c 1413s |      22 |  6270991 |  1703822 |    18015    242 |        0 |        0
1414.84/1415.33	c 1415s |      22 |  6273059 |  1705822 |    18015    243 |        0 |        0
1416.84/1417.35	c 1417s |      22 |  6275891 |  1708122 |    18015    243 |        0 |        0
1418.85/1419.37	c 1419s |      22 |  6278140 |  1710222 |    18015    243 |        0 |        0
1420.84/1421.40	c 1421s |      22 |  6280825 |  1712222 |    18015    243 |        0 |        0
1422.93/1423.41	c 1423s |      22 |  6283552 |  1714122 |    18015    244 |        0 |        0
1424.93/1425.42	c 1425s |      22 |  6285781 |  1716122 |    18015    244 |        0 |        0
1427.03/1427.50	c 1427s |      22 |  6287779 |  1717922 |    18015    244 |        0 |        0
1429.03/1429.53	c 1429s |      22 |  6289805 |  1719922 |    18015    244 |        0 |        0
1431.13/1431.61	c 1431s |      22 |  6291935 |  1722022 |    18015    244 |        0 |        0
1433.14/1433.65	c 1433s |      22 |  6293943 |  1724022 |    18015    245 |        0 |        0
1435.24/1435.71	c 1435s |      22 |  6296254 |  1725922 |    18015    245 |        0 |        0
1437.23/1437.77	c 1437s |      22 |  6299724 |  1728322 |    18015    245 |        0 |        0
1439.33/1439.88	c 1439s |      22 |  6303276 |  1730422 |    18015    245 |        0 |        0
1441.43/1441.93	c 1441s |      22 |  6304929 |  1732022 |    18015    246 |        0 |        0
1443.43/1443.97	c 1443s |      22 |  6307276 |  1734122 |    18015    246 |        0 |        0
1445.43/1445.99	c 1445s |      22 |  6309190 |  1736022 |    18015    246 |        0 |        0
1447.53/1448.05	c 1447s |      22 |  6311557 |  1737422 |    18015    246 |        0 |        0
1449.53/1450.06	c 1449s |      22 |  6314122 |  1739522 |    18015    246 |        0 |        0
1451.73/1452.27	c 1452s |      22 |  6317750 |  1741422 |    18015    247 |        0 |        0
1453.83/1454.34	c 1454s |      22 |  6321494 |  1742522 |    18015    247 |        0 |        0
1455.83/1456.37	c 1456s |      22 |  6328354 |  1745122 |    18015    247 |        0 |        0
1457.93/1458.42	c 1458s |      22 |  6331475 |  1747322 |    18015    247 |        0 |        0
1460.13/1460.66	c 1460s |      22 |  6334995 |  1749522 |    18015    248 |        0 |        0
1462.22/1462.71	c 1462s |      22 |  6340303 |  1751822 |    18015    248 |        0 |        0
1464.22/1464.74	c 1464s |      22 |  6345504 |  1754322 |    18015    248 |        0 |        0
1466.22/1466.78	c 1466s |      22 |  6351894 |  1756722 |    18015    248 |        0 |        0
1468.33/1468.88	c 1468s |      22 |  6354688 |  1758622 |    18015    249 |        0 |        0
1470.43/1470.94	c 1470s |      22 |  6362642 |  1761422 |    18015    249 |        0 |        0
1472.42/1472.97	c 1472s |      22 |  6365840 |  1763822 |    18015    249 |        0 |        0
1474.52/1475.01	c 1474s |      22 |  6368180 |  1766022 |    18015    249 |        0 |        0
1476.62/1477.11	c 1477s |      22 |  6370693 |  1767922 |    18015    250 |        0 |        0
1478.62/1479.15	c 1479s |      22 |  6373853 |  1770022 |    18015    250 |        0 |        0
1480.72/1481.22	c 1481s |      22 |  6377113 |  1772522 |    18015    250 |        0 |        0
1482.72/1483.26	c 1483s |      22 |  6379600 |  1774522 |    18015    250 |        0 |        0
1484.83/1485.32	c 1485s |      22 |  6381879 |  1776522 |    18015    250 |        0 |        0
1486.82/1487.32	c 1487s |      22 |  6384889 |  1778722 |    18015    251 |        0 |        0
1488.82/1489.37	c 1489s |      22 |  6387605 |  1780722 |    18015    251 |        0 |        0
1490.92/1491.46	c 1491s |      22 |  6389699 |  1782722 |    18015    251 |        0 |        0
1492.92/1493.49	c 1493s |      22 |  6392191 |  1783622 |    18015    251 |        0 |        0
1495.02/1495.52	c 1495s |      22 |  6393715 |  1785122 |    18015    251 |        0 |        0
1497.02/1497.56	c 1497s |      22 |  6395303 |  1786622 |    18015    252 |        0 |        0
1499.12/1499.68	c 1499s |      22 |  6398075 |  1789022 |    18015    252 |        0 |        0
1501.22/1501.73	c 1501s |      22 |  6400897 |  1791222 |    18015    252 |        0 |        0
1503.22/1503.75	c 1503s |      22 |  6403561 |  1793222 |    18015    252 |        0 |        0
1505.52/1506.02	c 1505s |      22 |  6405396 |  1795022 |    18015    253 |        0 |        0
1507.52/1508.02	c 1507s |      22 |  6408529 |  1797022 |    18015    253 |        0 |        0
1509.52/1510.06	c 1509s |      22 |  6411377 |  1799222 |    18015    253 |        0 |        0
1511.62/1512.10	c 1511s |      22 |  6415487 |  1801322 |    18015    253 |        0 |        0
1513.62/1514.17	c 1514s |      22 |  6417587 |  1803222 |    18015    253 |        0 |        0
1515.63/1516.19	c 1516s |      22 |  6419207 |  1804822 |    18015    254 |        0 |        0
1517.73/1518.23	c 1518s |      22 |  6421498 |  1806922 |    18015    254 |        0 |        0
1519.82/1520.32	c 1520s |      22 |  6423791 |  1809122 |    18015    254 |        0 |        0
1521.92/1522.40	c 1522s |      22 |  6426283 |  1811222 |    18015    254 |        0 |        0
1523.92/1524.42	c 1524s |      22 |  6427946 |  1812422 |    18015    254 |        0 |        0
1525.92/1526.48	c 1526s |      22 |  6429441 |  1813922 |    18015    255 |        0 |        0
1527.92/1528.49	c 1528s |      22 |  6431962 |  1816222 |    18015    255 |        0 |        0
1530.01/1530.53	c 1530s |      22 |  6433725 |  1817122 |    18015    255 |        0 |        0
1532.12/1532.61	c 1532s |      22 |  6437436 |  1818922 |    18015    255 |        0 |        0
1534.11/1534.63	c 1534s |      22 |  6439867 |  1821022 |    18015    255 |        0 |        0
1536.11/1536.65	c 1536s |      22 |  6442393 |  1822922 |    18015    256 |        0 |        0
1538.11/1538.66	c 1538s |      22 |  6445413 |  1825222 |    18015    256 |        0 |        0
1540.21/1540.71	c 1540s |      22 |  6447963 |  1827222 |    18015    256 |        0 |        0
1542.21/1542.74	c 1542s |      22 |  6450078 |  1829322 |    18015    256 |        0 |        0
1544.22/1544.77	c 1544s |      22 |  6452323 |  1831222 |    18015    256 |        0 |        0
1546.32/1546.84	c 1546s |      22 |  6454929 |  1833222 |    18015    257 |        0 |        0
1548.41/1548.92	c 1548s |      22 |  6457240 |  1835522 |    18015    257 |        0 |        0
1550.41/1550.94	c 1550s |      22 |  6459299 |  1837522 |    18015    257 |        0 |        0
1552.52/1553.00	c 1552s |      22 |  6463620 |  1837922 |    18015    257 |        0 |        0
1554.52/1555.09	c 1554s |      22 |  6477669 |  1840222 |    18015    257 |        0 |        0
1556.62/1557.10	c 1556s |      22 |  6492578 |  1841722 |    18015    258 |        0 |        0
1558.62/1559.18	c 1559s |      22 |  6513412 |  1844422 |    18015    258 |        0 |        0
1560.72/1561.24	c 1561s |      22 |  6527966 |  1846722 |    18015    258 |        0 |        0
1562.72/1563.27	c 1563s |      22 |  6540454 |  1849022 |    18015    258 |        0 |        0
1564.82/1565.30	c 1565s |      22 |  6551738 |  1851122 |    18015    259 |        0 |        0
1566.92/1567.40	c 1567s |      22 |  6558671 |  1853322 |    18015    259 |        0 |        0
1568.91/1569.42	c 1569s |      22 |  6564292 |  1855322 |    18015    259 |        0 |        0
1571.01/1571.52	c 1571s |      22 |  6568948 |  1857322 |    18015    259 |        0 |        0
1573.01/1573.54	c 1573s |      22 |  6572107 |  1858722 |    18015    260 |        0 |        0
1575.02/1575.57	c 1575s |      22 |  6577596 |  1860722 |    18015    260 |        0 |        0
1577.12/1577.66	c 1577s |      22 |  6581949 |  1862922 |    18015    260 |        0 |        0
1579.11/1579.67	c 1579s |      22 |  6585406 |  1865022 |    18015    260 |        0 |        0
1581.11/1581.68	c 1581s |      22 |  6590238 |  1867022 |    18015    260 |        0 |        0
1583.21/1583.71	c 1583s |      22 |  6592408 |  1868622 |    18015    261 |        0 |        0
1585.21/1585.73	c 1585s |      22 |  6599400 |  1870022 |    18015    261 |        0 |        0
1587.21/1587.77	c 1587s |      22 |  6612952 |  1872422 |    18015    261 |        0 |        0
1589.32/1589.85	c 1589s |      22 |  6619463 |  1874422 |    18015    261 |        0 |        0
1591.31/1591.90	c 1591s |      22 |  6636345 |  1876622 |    18015    261 |        0 |        0
1593.41/1593.99	c 1593s |      22 |  6643322 |  1879022 |    18015    262 |        0 |        0
1595.51/1596.04	c 1595s |      22 |  6650419 |  1881322 |    18015    262 |        0 |        0
1597.51/1598.09	c 1597s |      22 |  6656769 |  1883322 |    18015    262 |        0 |        0
1599.61/1600.14	c 1600s |      22 |  6661443 |  1885222 |    18015    262 |        0 |        0
1601.61/1602.18	c 1602s |      22 |  6664071 |  1886822 |    18015    263 |        0 |        0
1603.71/1604.23	c 1604s |      22 |  6670587 |  1888322 |    18015    263 |        0 |        0
1605.71/1606.27	c 1606s |      22 |  6676929 |  1890522 |    18015    263 |        0 |        0
1607.80/1608.37	c 1608s |      22 |  6682543 |  1892622 |    18015    263 |        0 |        0
1609.90/1610.45	c 1610s |      22 |  6692038 |  1894322 |    18015    263 |        0 |        0
1612.00/1612.51	c 1612s |      22 |  6695648 |  1895722 |    18015    264 |        0 |        0
1614.00/1614.55	c 1614s |      22 |  6699662 |  1897422 |    18015    264 |        0 |        0
1616.10/1616.68	c 1616s |      22 |  6703428 |  1899122 |    18015    264 |        0 |        0
1618.20/1618.78	c 1618s |      22 |  6705770 |  1900822 |    18015    264 |        0 |        0
1620.30/1620.87	c 1620s |      22 |  6707903 |  1902522 |    18015    264 |        0 |        0
1622.40/1622.96	c 1622s |      22 |  6711051 |  1904222 |    18015    265 |        0 |        0
1624.41/1624.99	c 1624s |      22 |  6714245 |  1906122 |    18015    265 |        0 |        0
1628.20/1628.79	c 1628s |      22 |  6714717 |  1906322 |    18015    265 |        0 |        0
1630.30/1630.81	c 1630s |      22 |  6725849 |  1909622 |    18015    265 |        0 |        0
1632.30/1632.82	c 1632s |      22 |  6730438 |  1912422 |    18015    265 |        0 |        0
1634.31/1634.84	c 1634s |      22 |  6736018 |  1914922 |    18015    266 |        0 |        0
1636.30/1636.85	c 1636s |      22 |  6743215 |  1917522 |    18015    266 |        0 |        0
1638.30/1638.88	c 1638s |      22 |  6749765 |  1920122 |    18015    266 |        0 |        0
1640.60/1641.18	c 1641s |      22 |  6754201 |  1922522 |    18015    267 |        0 |        0
1642.70/1643.23	c 1643s |      22 |  6758101 |  1924922 |    18015    267 |        0 |        0
1644.80/1645.34	c 1645s |      22 |  6761104 |  1927122 |    18015    267 |        0 |        0
1646.90/1647.44	c 1647s |      22 |  6763314 |  1928822 |    18015    267 |        0 |        0
1648.89/1649.49	c 1649s |      22 |  6766566 |  1930722 |    18015    267 |        0 |        0
1650.99/1651.56	c 1651s |      22 |  6769172 |  1932722 |    18015    268 |        0 |        0
1653.00/1653.59	c 1653s |      22 |  6771908 |  1935122 |    18015    268 |        0 |        0
1655.09/1655.60	c 1655s |      22 |  6775029 |  1937422 |    18015    268 |        0 |        0
1657.09/1657.60	c 1657s |      22 |  6778775 |  1939622 |    18015    268 |        0 |        0
1659.29/1659.83	c 1659s |      22 |  6782652 |  1941522 |    18015    269 |        0 |        0
1661.39/1661.91	c 1661s |      22 |  6787586 |  1943822 |    18015    269 |        0 |        0
1663.40/1663.94	c 1663s |      22 |  6794125 |  1944522 |    18015    269 |        0 |        0
1665.50/1666.02	c 1665s |      22 |  6813761 |  1946722 |    18015    269 |        0 |        0
1667.60/1668.11	c 1668s |      22 |  6823823 |  1948722 |    18015    269 |        0 |        0
1669.61/1670.15	c 1670s |      22 |  6834806 |  1950522 |    18015    270 |        0 |        0
1671.70/1672.23	c 1672s |      22 |  6850559 |  1952222 |    18015    270 |        0 |        0
1673.70/1674.26	c 1674s |      22 |  6884780 |  1955022 |    18015    270 |        0 |        0
1675.70/1676.29	c 1676s |      22 |  6910609 |  1957522 |    18015    270 |        0 |        0
1677.80/1678.39	c 1678s |      22 |  6916900 |  1959222 |    18015    271 |        0 |        0
1680.00/1680.55	c 1680s |      22 |  6920195 |  1960822 |    18015    271 |        0 |        0
1682.00/1682.55	c 1682s |      22 |  6927219 |  1963022 |    18015    271 |        0 |        0
1684.10/1684.63	c 1684s |      22 |  6937971 |  1965322 |    18015    271 |        0 |        0
1686.10/1686.63	c 1686s |      22 |  6948692 |  1967422 |    18015    271 |        0 |        0
1688.09/1688.66	c 1688s |      22 |  6957853 |  1969322 |    18015    272 |        0 |        0
1690.19/1690.70	c 1690s |      22 |  6962247 |  1971322 |    18015    272 |        0 |        0
1692.29/1692.84	c 1692s |      22 |  6965093 |  1972922 |    18015    272 |        0 |        0
1694.29/1694.85	c 1694s |      22 |  6971282 |  1974822 |    18015    272 |        0 |        0
1696.29/1696.86	c 1696s |      22 |  6974852 |  1976622 |    18015    272 |        0 |        0
1698.39/1698.96	c 1698s |      22 |  6979817 |  1978422 |    18015    273 |        0 |        0
1700.40/1700.99	c 1700s |      22 |  6984957 |  1980322 |    18015    273 |        0 |        0
1702.50/1703.07	c 1702s |      22 |  6989260 |  1982222 |    18015    273 |        0 |        0
1704.59/1705.19	c 1705s |      22 |  6993885 |  1984022 |    18015    273 |        0 |        0
1706.69/1707.27	c 1707s |      22 |  6995945 |  1985722 |    18015    273 |        0 |        0
1708.69/1709.27	c 1709s |      22 |  6998979 |  1987422 |    18015    274 |        0 |        0
1711.59/1712.17	c 1712s |      22 |  7003387 |  1988322 |    18015    274 |        0 |        0
1713.59/1714.18	c 1714s |      22 |  7018931 |  1990522 |    18015    274 |        0 |        0
1715.69/1716.22	c 1716s |      22 |  7028331 |  1992422 |    18015    274 |        0 |        0
1717.79/1718.32	c 1718s |      22 |  7036252 |  1994122 |    18015    274 |        0 |        0
1719.79/1720.37	c 1720s |      22 |  7037547 |  1995322 |    18015    275 |        0 |        0
1721.89/1722.40	c 1722s |      22 |  7039425 |  1996822 |    18015    275 |        0 |        0
1723.89/1724.47	c 1724s |      22 |  7054270 |  1998922 |    18015    275 |        0 |        0
1725.98/1726.51	c 1726s |      22 |  7062583 |  2000722 |    18015    275 |        0 |        0
1727.99/1728.57	c 1728s |      22 |  7068642 |  2002622 |    18015    275 |        0 |        0
1730.19/1730.77	c 1730s |      22 |  7075699 |  2004422 |    18015    276 |        0 |        0
1732.19/1732.78	c 1732s |      22 |  7079085 |  2006222 |    18015    276 |        0 |        0
1734.28/1734.85	c 1734s |      22 |  7084196 |  2008022 |    18015    276 |        0 |        0
1736.38/1736.92	c 1736s |      22 |  7091876 |  2010022 |    18015    276 |        0 |        0
1738.38/1738.98	c 1738s |      22 |  7094838 |  2011722 |    18015    276 |        0 |        0
1740.48/1741.01	c 1740s |      22 |  7096163 |  2013022 |    18015    276 |        0 |        0
1742.58/1743.11	c 1743s |      22 |  7097175 |  2014022 |    18015    277 |        0 |        0
1745.49/1746.06	c 1745s |      22 |  7099201 |  2015222 |    18015    277 |        0 |        0
1747.48/1748.07	c 1747s |      22 |  7106787 |  2017422 |    18015    277 |        0 |        0
1749.58/1750.17	c 1750s |      22 |  7110824 |  2019222 |    18015    277 |        0 |        0
1751.68/1752.28	c 1752s |      22 |  7113446 |  2020922 |    18015    277 |        0 |        0
1753.78/1754.33	c 1754s |      22 |  7119944 |  2022822 |    18015    278 |        0 |        0
1755.88/1756.45	c 1756s |      22 |  7121636 |  2024022 |    18015    278 |        0 |        0
1757.88/1758.47	c 1758s |      22 |  7126090 |  2025922 |    18015    278 |        0 |        0
1759.88/1760.47	c 1760s |      22 |  7130206 |  2027622 |    18015    278 |        0 |        0
1761.89/1762.50	c 1762s |      22 |  7132053 |  2029222 |    18015    278 |        0 |        0
1763.98/1764.50	c 1764s |      22 |  7133765 |  2030622 |    18015    278 |        0 |        0
1766.39/1766.96	c 1766s |      22 |  7134501 |  2031222 |    18015    278 |        0 |        0
1768.59/1769.11	c 1769s |      22 |  7142268 |  2032022 |    18015    279 |        0 |        0
1770.58/1771.14	c 1771s |      22 |  7161823 |  2034722 |    18015    279 |        0 |        0
1772.68/1773.23	c 1773s |      22 |  7174301 |  2037022 |    18015    279 |        0 |        0
1774.68/1775.24	c 1775s |      22 |  7194837 |  2039422 |    18015    279 |        0 |        0
1776.78/1777.34	c 1777s |      22 |  7214300 |  2041622 |    18015    280 |        0 |        0
1778.78/1779.38	c 1779s |      22 |  7221469 |  2043722 |    18015    280 |        0 |        0
1780.88/1781.48	c 1781s |      22 |  7236062 |  2046022 |    18015    280 |        0 |        0
1782.98/1783.50	c 1783s |      22 |  7244390 |  2048122 |    18015    280 |        0 |        0
1784.98/1785.54	c 1785s |      22 |  7252560 |  2049922 |    18015    281 |        0 |        0
1787.08/1787.62	c 1787s |      22 |  7258861 |  2051922 |    18015    281 |        0 |        0
1789.18/1789.75	c 1789s |      22 |  7261009 |  2053522 |    18015    281 |        0 |        0
1791.18/1791.78	c 1791s |      22 |  7266042 |  2054922 |    18015    281 |        0 |        0
1793.28/1793.87	c 1793s |      22 |  7269433 |  2056722 |    18015    281 |        0 |        0
1795.38/1795.93	c 1795s |      22 |  7272674 |  2058522 |    18015    281 |        0 |        0
1797.87/1798.49	c 1798s |      22 |  7276269 |  2060022 |    18015    282 |        0 |        0
1799.97/1800.55	c 1800s |      22 |  7287533 |  2061722 |    18015    282 |        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-4106943-1466280124/watcher-4106943-1466280124 -o /tmp/evaluation-result-4106943-1466280124/solver-4106943-1466280124 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106943-1466280124.opb 

pid=24065
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.29 2.33 2.28 3/181 24068
/proc/meminfo: memFree=28892420/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 2698 0 0 0 0 0 0 0 20 0 4 0 30058359 740749312 3058 33554432000 4194304 16246674 140735273378576 140735273378000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 181359 3069 441 2943 0 178253 0
[pid=24068/tid=24069] ppid=24065 vsize=741820 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 759623680 3130 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 763817984 3148 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=750012 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30058359 768012288 3165 33554432000 4194304 16246674 140735273378576 140005309664432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 2.29 2.33 2.28 3/181 24068
/proc/meminfo: memFree=28892420/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 22052 0 0 0 7 2 0 0 20 0 4 0 30058359 1251545088 22359 33554432000 4194304 16246674 140735273378576 140735273377888 5892908 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24068/statm: 305553 22359 838 2943 0 302447 0
[pid=24068/tid=24069] ppid=24065 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1251545088 22359 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1251545088 22359 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1251545088 22359 33554432000 4194304 16246674 140735273378576 140005309664432 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) 1222212

[startup+0.200544 s]
/proc/loadavg: 2.29 2.33 2.28 3/181 24068
/proc/meminfo: memFree=28892420/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1222212 CPUtime=0.19 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 41001 0 0 0 14 5 0 0 20 0 4 0 30058359 1251545088 41308 33554432000 4194304 16246674 140735273378576 140735273361568 5532301 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24068/statm: 305553 41317 876 2943 0 302447 0
[pid=24068/tid=24069] ppid=24065 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1251545088 41322 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1251545088 41327 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1251545088 41332 33554432000 4194304 16246674 140735273378576 140005309664432 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) 1222212

[startup+0.300485 s]
/proc/loadavg: 2.29 2.33 2.28 3/181 24068
/proc/meminfo: memFree=28892420/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1222212 CPUtime=0.29 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 66556 0 0 0 21 8 0 0 20 0 4 0 30058359 1251545088 66863 33554432000 4194304 16246674 140735273378576 140735273361568 5707789 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24068/statm: 305553 66876 876 2943 0 302447 0
[pid=24068/tid=24069] ppid=24065 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1251545088 66883 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1251545088 66894 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1251545088 66905 33554432000 4194304 16246674 140735273378576 140005309664432 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) 1222212

[startup+0.700429 s]
/proc/loadavg: 2.29 2.33 2.28 3/181 24068
/proc/meminfo: memFree=28892420/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 167594 0 0 0 47 22 0 0 20 0 4 0 30058359 1251545088 167901 33554432000 4194304 16246674 140735273378576 140735273360448 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 305553 167913 876 2943 0 302447 0
[pid=24068/tid=24069] ppid=24065 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1251545088 167920 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1251545088 167926 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1251545088 167935 33554432000 4194304 16246674 140735273378576 140005309664432 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) 1222212

[startup+1.50043 s]
/proc/loadavg: 2.29 2.33 2.28 3/185 24072
/proc/meminfo: memFree=27831372/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1301060 CPUtime=1.48 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 266256 0 0 0 113 35 0 0 20 0 4 0 30058359 1332285440 266563 33554432000 4194304 16246674 140735273378576 140735273360448 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 325265 266563 879 2943 0 322159 0
[pid=24068/tid=24069] ppid=24065 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1332285440 266563 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1332285440 266563 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1332285440 266563 33554432000 4194304 16246674 140735273378576 140005309664432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10038 s]
/proc/loadavg: 2.27 2.32 2.28 3/185 24072
/proc/meminfo: memFree=27821096/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 267972 0 0 0 273 35 0 0 20 0 4 0 30058359 1338576896 268279 33554432000 4194304 16246674 140735273378576 140735273360448 5754712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 326801 268279 889 2943 0 323695 0
[pid=24068/tid=24069] ppid=24065 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1338576896 268279 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1338576896 268279 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1338576896 268279 33554432000 4194304 16246674 140735273378576 140005309664432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.27 2.32 2.28 3/185 24072
/proc/meminfo: memFree=27818588/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 268503 0 0 0 593 36 0 0 20 0 4 0 30058359 1341722624 268810 33554432000 4194304 16246674 140735273378576 140735273360448 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 327569 268810 890 2943 0 324463 0
[pid=24068/tid=24069] ppid=24065 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1341722624 268810 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1341722624 268810 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1341722624 268810 33554432000 4194304 16246674 140735273378576 140005309664432 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.30 2.33 2.28 3/185 24072
/proc/meminfo: memFree=27813064/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1315396 CPUtime=12.68 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 270021 0 0 0 1232 36 0 0 20 0 4 0 30058359 1346965504 270328 33554432000 4194304 16246674 140735273378576 140735273360448 4221997 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 328849 270328 890 2943 0 325743 0
[pid=24068/tid=24069] ppid=24065 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1346965504 270328 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1346965504 270328 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1346965504 270328 33554432000 4194304 16246674 140735273378576 140005309664432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1315396

[startup+25.5004 s]
/proc/loadavg: 2.34 2.33 2.28 4/185 24072
/proc/meminfo: memFree=27799376/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1328708 CPUtime=25.49 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 273349 0 0 0 2512 37 0 0 20 0 4 0 30058359 1360596992 273656 33554432000 4194304 16246674 140735273378576 140735273360448 5721725 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 332177 273656 890 2943 0 329071 0
[pid=24068/tid=24069] ppid=24065 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1360596992 273656 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1360596992 273656 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1360596992 273656 33554432000 4194304 16246674 140735273378576 140005309664432 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) 1328708

[startup+51.1004 s]
/proc/loadavg: 2.35 2.34 2.28 4/185 24072
/proc/meminfo: memFree=27799500/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1328708 CPUtime=51.08 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 273349 0 0 0 5071 37 0 0 20 0 4 0 30058359 1360596992 273656 33554432000 4194304 16246674 140735273378576 140735273360448 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 332177 273656 890 2943 0 329071 0
[pid=24068/tid=24069] ppid=24065 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1360596992 273656 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1360596992 273656 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1360596992 273656 33554432000 4194304 16246674 140735273378576 140005309664432 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) 1328708

[startup+102.3 s]
/proc/loadavg: 2.24 2.31 2.27 4/185 24074
/proc/meminfo: memFree=27798068/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1328708 CPUtime=102.27 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 273349 0 0 0 10188 39 0 0 20 0 4 0 30058359 1360596992 273656 33554432000 4194304 16246674 140735273378576 140735273360448 13963936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 332177 273656 890 2943 0 329071 0
[pid=24068/tid=24069] ppid=24065 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1360596992 273656 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1360596992 273656 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1360596992 273656 33554432000 4194304 16246674 140735273378576 140005309664432 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) 1328708


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

/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1387859968 280315 33554432000 4194304 16246674 140735273378576 140005309664432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1355332

[startup+1302.3 s]
/proc/loadavg: 2.38 2.32 2.28 3/184 24202
/proc/meminfo: memFree=27761252/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1355332 CPUtime=1301.89 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 280348 0 0 0 130134 55 0 0 20 0 4 0 30058359 1387859968 280315 33554432000 4194304 16246674 140735273378576 140735273360448 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 338833 280315 890 2943 0 335727 0
[pid=24068/tid=24069] ppid=24065 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1387859968 280315 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1387859968 280315 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1387859968 280315 33554432000 4194304 16246674 140735273378576 140005309664432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1355332

[startup+1362.3 s]
/proc/loadavg: 2.31 2.31 2.27 3/185 24204
/proc/meminfo: memFree=27752968/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1355332 CPUtime=1361.85 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 280393 0 0 0 136129 56 0 0 20 0 4 0 30058359 1387859968 280315 33554432000 4194304 16246674 140735273378576 140735273360448 6012096 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 338833 280315 890 2943 0 335727 0
[pid=24068/tid=24069] ppid=24065 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1387859968 280315 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1387859968 280315 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1387859968 280315 33554432000 4194304 16246674 140735273378576 140005309664432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1355332

[startup+1422.3 s]
/proc/loadavg: 2.33 2.32 2.27 3/185 24205
/proc/meminfo: memFree=27733048/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1375812 CPUtime=1421.83 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 285532 0 0 0 142125 58 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140735273360448 5861160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 343953 285435 890 2943 0 340847 0
[pid=24068/tid=24069] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005309664432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1375812

[startup+1482.3 s]
/proc/loadavg: 2.45 2.36 2.29 3/185 24206
/proc/meminfo: memFree=27731884/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1375812 CPUtime=1481.82 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 285535 0 0 0 148124 58 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140735273360448 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 343953 285435 890 2943 0 340847 0
[pid=24068/tid=24069] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005309664432 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) 1375812

[startup+1542.3 s]
/proc/loadavg: 2.29 2.33 2.28 3/185 24207
/proc/meminfo: memFree=27732100/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1375812 CPUtime=1541.81 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 285535 0 0 0 154122 59 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140735273360448 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 343953 285435 890 2943 0 340847 0
[pid=24068/tid=24069] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005309664432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1375812

[startup+1602.3 s]
/proc/loadavg: 2.23 2.31 2.27 3/185 24208
/proc/meminfo: memFree=27731756/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1375812 CPUtime=1601.81 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 285535 0 0 0 160121 60 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140735273360448 6842264 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 343953 285435 890 2943 0 340847 0
[pid=24068/tid=24069] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005309664432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1375812

[startup+1662.3 s]
/proc/loadavg: 2.32 2.32 2.27 3/185 24210
/proc/meminfo: memFree=27731784/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1375812 CPUtime=1661.8 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 285535 0 0 0 166120 60 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140735273360448 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 343953 285435 890 2943 0 340847 0
[pid=24068/tid=24069] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005309664432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1375812

[startup+1722.3 s]
/proc/loadavg: 2.18 2.28 2.26 3/186 24214
/proc/meminfo: memFree=27731360/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1375812 CPUtime=1721.79 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 285535 0 0 0 172118 61 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140735273360448 5545788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 343953 285435 890 2943 0 340847 0
[pid=24068/tid=24069] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005309664432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1375812

[startup+1782.31 s]
/proc/loadavg: 2.19 2.27 2.26 3/185 24215
/proc/meminfo: memFree=27719700/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1375812 CPUtime=1781.79 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 285535 0 0 0 178117 62 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140735273361576 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 343953 285435 890 2943 0 340847 0
[pid=24068/tid=24069] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005309664432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1375812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.22 2.27 2.26 3/185 24215
/proc/meminfo: memFree=27715904/32872528 swapFree=1505436/1685308
[pid=24068] ppid=24065 vsize=1375812 CPUtime=1800.07 cores=1,3,5,7
/proc/24068/stat : 24068 (toysat) R 24065 24068 21389 0 -1 4202496 285535 0 0 0 179945 62 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140735273376448 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24068/statm: 343953 285435 890 2943 0 340847 0
[pid=24068/tid=24069] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24069/stat : 24069 (toysat) S 24065 24068 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005330627824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24068/tid=24070] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24070/stat : 24070 (toysat) S 24065 24068 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005320137968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24068/tid=24071] ppid=24065 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/24068/task/24071/stat : 24071 (toysat) S 24065 24068 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30058359 1408831488 285435 33554432000 4194304 16246674 140735273378576 140005309664432 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) 1375812

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 24068 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.09
CPU user time (s): 1799.46
CPU system time (s): 0.629904
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1375812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.629904
maximum resident set size= 1141740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285535
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= 422
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0613 second user time and 14.5818 second system time

The end

Begin job on node135 at 2016-06-18 22:02:04
IDJOB=4106943
IDBENCH=48335
IDSOLVER=2542
FILE ID=node135/4106943-1466280124
RUNJOBID= node135-1466266561-21406
PBS_JOBID= 19918237
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_5_15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106943-1466280124/watcher-4106943-1466280124 -o /tmp/evaluation-result-4106943-1466280124/solver-4106943-1466280124 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106943-1466280124.opb

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

MD5SUM BENCH= 2b927be10d6e21370847ee6c94426772
RANDOM SEED=386496340

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28892948 kB
Buffers:          165292 kB
Cached:           286032 kB
SwapCached:          716 kB
Active:          1244016 kB
Inactive:         308128 kB
Active(anon):    1101868 kB
Inactive(anon):     1308 kB
Active(file):     142148 kB
Inactive(file):   306820 kB
Unevictable:     1685308 kB
Mlocked:         1505436 kB
SwapTotal:      67108856 kB
SwapFree:       67100444 kB
Dirty:             16920 kB
Writeback:             0 kB
AnonPages:       2785392 kB
Mapped:            10452 kB
Shmem:                 0 kB
Slab:             607112 kB
SReclaimable:      50176 kB
SUnreclaim:       556936 kB
KernelStack:        1480 kB
PageTables:         9584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2927960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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= 71672 MiB
End job on node135 at 2016-06-18 22:32:05